;; SPDX-License-Identifier: BUSL-1.1
(impl-trait 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.proposal-trait.proposal-trait)
(define-constant ONE_8 u100000000)
(define-constant MAX_UINT u240282366920938463463374607431768211455)
(define-public (execute (sender principal))
(begin
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP2SKHCYFGAGS36NRWEAVVDMW3JJ3J3ECJB0BDGYZ)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP2SKHCYFGAGS36NRWEAVVDMW3JJ3J3ECJB0BDGYZ { chain-id: u1, pubkey: 0x038429959a880fe75b2f4ed4b889e2b39ede678e110c8bc10e03eda53214e9588d})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP283XACVBV6X590YE55794HG5HFMPCR66H1PSCY8)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP283XACVBV6X590YE55794HG5HFMPCR66H1PSCY8 { chain-id: u1, pubkey: 0x03fc4b23a61500d4cec12dfd3ff31af5bde41ff6c160b4d5f14816cf130a620300})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP34AXBV40V14KEPBETSK093QGC222C0QA4PEEFES)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP34AXBV40V14KEPBETSK093QGC222C0QA4PEEFES { chain-id: u1, pubkey: 0x02efa12f49003cebba0849cd0a5573bb96acd3252b1283c471162f76efca5640df})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP2TB6D426DBH7Y16R8BKBNCDD62DEDPFR6GYPK6K)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP2TB6D426DBH7Y16R8BKBNCDD62DEDPFR6GYPK6K { chain-id: u2, pubkey: 0x0236b2ec30ae477f4f777008f405b2627954f16ba500ea657de1fce00f0789ddf6})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP2P01805BR670HWWFPRFFR4FX1JQT0G6RYK4M1S7)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP2P01805BR670HWWFPRFFR4FX1JQT0G6RYK4M1S7 { chain-id: u2, pubkey: 0x0367c4f139711aa1bc8938e32c18ff81ddf81422ff73ce64336ea7fd0d0e336966})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP2T808DY8F37XT99A1B911JHEDVQK1VWDHM5DE4A)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP2T808DY8F37XT99A1B911JHEDVQK1VWDHM5DE4A { chain-id: u2, pubkey: 0x0334fb881d51b3a6fdcd681fb8f76563b72b6d949218a3b29e698d67e0cd325fda})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP3P5KEY7Y9DXPD4F3XMEYNJSJHJN051CWMMJEFN3)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP3P5KEY7Y9DXPD4F3XMEYNJSJHJN051CWMMJEFN3 { chain-id: u3, pubkey: 0x0216718a0fe5d310a6497fb046395b228b958f09e61cc15bd72356b97ff8091791})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP25HXN4BW6ZWC4E1F8W2Y9A944REZKSEY37D1FSN)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP25HXN4BW6ZWC4E1F8W2Y9A944REZKSEY37D1FSN { chain-id: u3, pubkey: 0x03c7fee346be775e23d14ba08644ee2b828008b27b96644c7f8ee1742215bfb77f})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP1RE3DZ3P8CYXZYZHT5DDJNYWGZFYCXE2H0DVV7V)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP1RE3DZ3P8CYXZYZHT5DDJNYWGZFYCXE2H0DVV7V { chain-id: u3, pubkey: 0x021637eae8718a47ff99f03c0a1b8a8fc8288508c3923d979bc55ad74f24b3ae53})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP6JKZXGSXPXGP2PN81A8KP1ZAJ0T92N47DWC6JT)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP6JKZXGSXPXGP2PN81A8KP1ZAJ0T92N47DWC6JT { chain-id: u4, pubkey: 0x02bdfc9a3d595dd74be2faad9eab8925a2481ee5624d4584ba6e0f6b135c54a30e})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP5GV5NWY2D2QFK4BGKVMRMXWS0HXD23XZA5WH1S)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP5GV5NWY2D2QFK4BGKVMRMXWS0HXD23XZA5WH1S { chain-id: u4, pubkey: 0x038dd2548d4f4d86095a086cecd3831da0a5cea61c28b3e3cb536d8af0b79476f9})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP1MDCBB0K5PKNCNWYJE7QZEE2KRCV3ZPSKGQJC20)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP1MDCBB0K5PKNCNWYJE7QZEE2KRCV3ZPSKGQJC20 { chain-id: u4, pubkey: 0x02d946a55698950316e9f5125c8fe77dd639957f207c7de57aaf2a42857ec9f3a8})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP331R062MPN5TYRKN8KCP8N2ZE7HV2GYGDDXYA6P)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP331R062MPN5TYRKN8KCP8N2ZE7HV2GYGDDXYA6P { chain-id: u5, pubkey: 0x03b68105407bcd8d78853e28de81e3d10f8c22585cbb4e669808f144a79490de72})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP2YM7WBM60YFCJDME6NSN1QR860CXQVM3YEPT79N)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP2YM7WBM60YFCJDME6NSN1QR860CXQVM3YEPT79N { chain-id: u5, pubkey: 0x030d8592623c0e2841939d9c9bd2bd57c88c69796aa064b0b0f00b9920a7186dd2})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP1QCDY536WCNJFYJ2VYVRAN6DF53EZY1D951YTTX)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP1QCDY536WCNJFYJ2VYVRAN6DF53EZY1D951YTTX { chain-id: u5, pubkey: 0x03f11194efff4556fe4a4246717c4ae09a528a121b344cd579a4e7e10b7b183d11})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP1F6XT8V42Q4TA2ZF7KCECE688PE697Z8XQY9R4Y)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP1F6XT8V42Q4TA2ZF7KCECE688PE697Z8XQY9R4Y { chain-id: u6, pubkey: 0x03ca8683c818d5983dbf405bdb04f224525bf33c02d0d8eb171cc67028c48bac52})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP7H14WAZQ9C72JHGMHHPWA32FTPZXSJYCG6AY6V)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP7H14WAZQ9C72JHGMHHPWA32FTPZXSJYCG6AY6V { chain-id: u6, pubkey: 0x02b3f1579a97e436d0717c4a0313aa5d0e5d6b9b922d6de037891f368f1ebf8a40})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SPAJ90VG2WRHV4TF5W9EQFKQ9PB59AE04967FM85)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SPAJ90VG2WRHV4TF5W9EQFKQ9PB59AE04967FM85 { chain-id: u6, pubkey: 0x0283512910785c62cb57220a14c1c3b0a8cd1eca33f12277749cfa9cf72e292b94})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP18PW39RSZ42Y00M8Q23FR4F6QG6TNWQ0T2SGYV6)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP18PW39RSZ42Y00M8Q23FR4F6QG6TNWQ0T2SGYV6 { chain-id: u7, pubkey: 0x03949d4bd02dc067fbac3dc0fdf9b2abbe99596229a50091f82d51ba328707cc66})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP25VB3RF69QC0BQ8S1FHFQM6KBQFXYKE02CXRFNK)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP25VB3RF69QC0BQ8S1FHFQM6KBQFXYKE02CXRFNK { chain-id: u7, pubkey: 0x03eaac9c9149cd7738a7c678cca57e13f99fdd01d2a74374a9cb4a7135bccdc4dd})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP315CZT4CAMPHV8NH47P2ZQ5N2GJCSBKX68KM0GF)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP315CZT4CAMPHV8NH47P2ZQ5N2GJCSBKX68KM0GF { chain-id: u7, pubkey: 0x03b26ab8b4e5f42c169510d1906deddaba90f4ac41c0609178175123488260d059})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SPN2Q4AP6KSACK1M7VY5NVFJG3FBW5HMPNY1KCJE)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SPN2Q4AP6KSACK1M7VY5NVFJG3FBW5HMPNY1KCJE { chain-id: u8, pubkey: 0x023a3005904fdb5abbc15ed13ca1b33ecfecf9c8411d7c290c7525fb743c985978})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SPHNHV7FXM8WFXVBJXDRF5X364GWT0985J79WDRW)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SPHNHV7FXM8WFXVBJXDRF5X364GWT0985J79WDRW { chain-id: u8, pubkey: 0x03827816ed8008e8ae7f9d765bfde422677e18cd9c91a9b7b165e1b990232cd338})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SPAT0YYKET6K6AVXF357JYH9TAES882C8K87JJZN)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SPAT0YYKET6K6AVXF357JYH9TAES882C8K87JJZN { chain-id: u8, pubkey: 0x029798aab27bec8881170bad762ef9e47a0f793fd71e4cd4ca9eb8460f2f95db83})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP3XCD06R5W0KX3XMCY28FVGXW022F8M6NRBRH34Y)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP3XCD06R5W0KX3XMCY28FVGXW022F8M6NRBRH34Y { chain-id: u9, pubkey: 0x037cfeb79e068b13a79893257cefd52767187757a14674ee352f4e922cdcd5e5b0})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP3KCXKQ44F5YYS7D0HMN204H7380V9P0S2YTGBRF)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP3KCXKQ44F5YYS7D0HMN204H7380V9P0S2YTGBRF { chain-id: u9, pubkey: 0x03238275d4a4aea3ca139a6f34be67d6b4f2c7760a3bdb392c547fc97243ae48c2})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP1SPPT7HNYG52KQJ4075CXQKEHK3Z4MW90NSNH0D)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP1SPPT7HNYG52KQJ4075CXQKEHK3Z4MW90NSNH0D { chain-id: u9, pubkey: 0x02d1a2b1d3af00484047b353883b3e1d35d8763376426587545f5c95992912523b})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP1Q6WBZQNJW9BB821H3R5PS1ZSZ7GMDRYA8WTKCW)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP1Q6WBZQNJW9BB821H3R5PS1ZSZ7GMDRYA8WTKCW { chain-id: u10, pubkey: 0x02bc40e6bc72fd82cd24a8959be35c6e6ce4292dad986850fac3e60bc24cd0ecdc})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP3KCD9SJY3J9FSEA71V326XPHDXCZ3PEYSF15R87)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP3KCD9SJY3J9FSEA71V326XPHDXCZ3PEYSF15R87 { chain-id: u10, pubkey: 0x02e4cbbf43bcded3adb974143dd47963b4c66d8ecae240fb55aa1726c10f648c54})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP136A47KHMJ6GS3SK72MY9JXA2A1EWYBZ04VMF2J)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP136A47KHMJ6GS3SK72MY9JXA2A1EWYBZ04VMF2J { chain-id: u10, pubkey: 0x0364ad103493723acaf41c36ea3bbbfd554f22d73ba0c97cedbe515987e8a2a9ee})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP2TDPPHGGCGJQPEFM7ZVFFXHPT3VAJZ0FZCBWRX7)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP2TDPPHGGCGJQPEFM7ZVFFXHPT3VAJZ0FZCBWRX7 { chain-id: u11, pubkey: 0x0326980b2eec9929d653bb4e3b9aac0487597825a928033bb489fe22667177138f})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP32ZG82K9V6N140WMA9HQJN5NPKE3EEV1C0X7G7X)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP32ZG82K9V6N140WMA9HQJN5NPKE3EEV1C0X7G7X { chain-id: u11, pubkey: 0x039e99d6fd82eb9c60c0f9191bc23f51339db11c9ad18ff0ea58d5ff05ab086b1d})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP2Y5H12MRBXY2F8XK0MA258M714NPRE9TK7M7Z2)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP2Y5H12MRBXY2F8XK0MA258M714NPRE9TK7M7Z2 { chain-id: u11, pubkey: 0x037602c2d6dd8280043c4eb4d7c840aae128fe024096a93da3b81207f241a6e361})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP1T0YKFK276B84QSPRH1Q14SR88RB1E3H38DDVSC)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP1T0YKFK276B84QSPRH1Q14SR88RB1E3H38DDVSC { chain-id: u12, pubkey: 0x03e599f6a1a6fc141cf6d29b395fe2077ea623b9d4d3791b96804e415322f7dcd6})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP3506CMRJJRWZYVTPB6EXFJDBYBTHHXN8B1JKH3)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP3506CMRJJRWZYVTPB6EXFJDBYBTHHXN8B1JKH3 { chain-id: u12, pubkey: 0x0206c4fa530f62a8df569fb08374cda7362023e412a6e0c351cf189fb3d07897ac})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP7G9F63CMGTK0081WP59HB6HAKQ2CY6S8FN4HR8)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP7G9F63CMGTK0081WP59HB6HAKQ2CY6S8FN4HR8 { chain-id: u12, pubkey: 0x03a8080742e1c160d58d0bea39a8b298d1308927c4a4af38567aaf23738c0a79c9})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SP1PX3MAYCZPYQBTTVKJWV6MZXR349JMFWN36BZY3)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SP1PX3MAYCZPYQBTTVKJWV6MZXR349JMFWN36BZY3 { chain-id: u13, pubkey: 0x02844118d795d5e24151406737d504c7afff595bda317ed7c253715fe454b1945c})))
(and (is-err (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 get-validator-or-fail 'SPW3PR7CKD4J03JHJ673Y3J547RKMDS94C0NDVTD)) (try! (contract-call? 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.cross-bridge-registry-v2-01 add-validator 'SPW3PR7CKD4J03JHJ673Y3J547RKMDS94C0NDVTD { chain-id: u13, pubkey: 0x0291bc4797bcbc6eae79f9a0f3dbd4762f6b4b8ef5811190cedcee660c1d9949d2})))
(ok true)))