[{"inputs":[{"internalType":"address","name":"_block_hash_oracle","type":"address"},{"internalType":"address","name":"_vecrv_oracle","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"BLOCK_HASH_ORACLE","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"VE_ORACLE","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"bytes","name":"_block_header_rlp","type":"bytes"},{"internalType":"bytes","name":"_proof_rlp","type":"bytes"}],"name":"verifyDelegationByBlockHash","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"uint256","name":"_block_number","type":"uint256"},{"internalType":"bytes","name":"_proof_rlp","type":"bytes"}],"name":"verifyDelegationByStateRoot","outputs":[],"stateMutability":"nonpayable","type":"function"}]

0x608060405234801561001057600080fd5b506004361061004c5760003560e01c8063082e7b41146100515780634814c7891461009457806393cba2c5146100a9578063b8b9a65c146100bc575b600080fd5b6100787f000000000000000000000000297a536954c4a41d9b24c40293c4dbfa9ea0869f81565b6040516001600160a01b03909116815260200160405180910390f35b6100a76100a236600461157b565b6100e3565b005b6100a76100b73660046115ef565b610225565b6100787f000000000000000000000000852f32c22c5035ea12566edfb4415625776d75d581565b60006100ee836102be565b80519091506101385760405162461bcd60e51b8152602060048201526011602482015270092dcecc2d8d2c840c4d8dec6d6d0c2e6d607b1b60448201526064015b60405180910390fd5b6040818101519051639724283f60e01b815260048101919091527f000000000000000000000000297a536954c4a41d9b24c40293c4dbfa9ea0869f6001600160a01b031690639724283f90602401602060405180830381865afa1580156101a3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906101c7919061163c565b81511461020b5760405162461bcd60e51b8152602060048201526012602482015271084d8dec6d6d0c2e6d040dad2e6dac2e8c6d60731b604482015260640161012f565b61021f8482604001518360200151856103ba565b50505050565b60405162dfe68160e41b8152600481018390526000907f000000000000000000000000297a536954c4a41d9b24c40293c4dbfa9ea0869f6001600160a01b031690630dfe681090602401602060405180830381865afa15801561028c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906102b0919061163c565b905061021f848483856103ba565b604080516080808201835260008083526020808401829052838501829052606080850183905285519384018652828452838201839052838601839052830182905284518086018652828152810182905284518086019095528551855285810190850152919290919061033490610693565b610693565b9050600b81511161034457600080fd5b6103678160038151811061035a5761035a611655565b60200260200101516107a9565b60208301528051610385908290600890811061035a5761035a611655565b604083015280516103a3908290600b90811061035a5761035a611655565b606083015250825160209093019290922082525090565b60006103f061032f8360408051808201825260008082526020918201528151808301909252825182529182019181019190915290565b905080516002146104435760405162461bcd60e51b815260206004820152601860248201527f496e76616c6964206e756d626572206f662070726f6f66730000000000000000604482015260640161012f565b60405173de1e6a7e8297076f070e857130e593107a0e0cf560601b60208201526000906104ac9060340160405160208183030381529060405280519060200120856104a78560008151811061049a5761049a611655565b6020026020010151610693565b6107f7565b80519091506104fd5760405162461bcd60e51b815260206004820152601f60248201527f44656c6567617465206163636f756e7420646f6573206e6f7420657869737400604482015260640161012f565b6040805160016020820152469181019190915260009061059a9060600160408051601f198184030181528282528051602091820120908301526001600160a01b038a169082015260600160408051601f19818403018152828252805160209182012090830152016040516020818303038152906040528051906020012083606001516105958660018151811061049a5761049a611655565b61095c565b60200151905073de1e6a7e8297076f070e857130e593107a0e0cf4196001600160a01b038216016106005760405162461bcd60e51b815260206004820152601060248201526f11195b1959d85d19481b9bdd081cd95d60821b604482015260640161012f565b604051631292e32b60e01b81526001600160a01b0388811660048301528281166024830152604482018890527f000000000000000000000000852f32c22c5035ea12566edfb4415625776d75d51690631292e32b90606401600060405180830381600087803b15801561067257600080fd5b505af1158015610686573d6000803e3d6000fd5b5050505050505050505050565b606061069e826109ea565b6106a757600080fd5b60006106b283610a25565b905060008167ffffffffffffffff8111156106cf576106cf6114d8565b60405190808252806020026020018201604052801561071457816020015b60408051808201909152600080825260208201528152602001906001900390816106ed5790505b50905060006107268560200151610aaa565b85602001516107359190611681565b90506000805b8481101561079e5761074c83610b25565b915060405180604001604052808381526020018481525084828151811061077557610775611655565b602090810291909101015261078a8284611681565b92508061079681611694565b91505061073b565b509195945050505050565b8051600090158015906107be57508151602110155b6107c757600080fd5b6000806107d384610bce565b8151919350915060208210156107ef5760208290036101000a90045b949350505050565b6040805160a0810182526000808252602082018190529181018290526060810182905260808101919091526000610850848660405160200161083b91815260200190565b60405160208183030381529060405285610c15565b6040805160a08101825260008082526020820181905291810182905260608101829052608081019190915290915081516000036108905791506109559050565b60006108c661032f8460408051808201825260008082526020918201528151808301909252825182529182019181019190915290565b905080516004146108d657600080fd5b6001825280516108f190829060009061035a5761035a611655565b6020830152805161090f908290600190811061035a5761035a611655565b6040830152805161092d908290600290811061035a5761035a611655565b6060830152805161094b908290600390811061035a5761035a611655565b6080830152509150505b9392505050565b60408051808201909152600080825260208201526000610989848660405160200161083b91815260200190565b60408051808201909152600080825260208201529091508151156109e157600181526040805180820182526000808252602091820152815180830190925283518252808401908201526109db906107a9565b60208201525b95945050505050565b805160009081036109fd57506000919050565b6020820151805160001a9060c0821015610a1b575060009392505050565b5060019392505050565b80516000908103610a3857506000919050565b600080610a488460200151610aaa565b8460200151610a579190611681565b9050600084600001518560200151610a6f9190611681565b90505b80821015610aa157610a8382610b25565b610a8d9083611681565b915082610a9981611694565b935050610a72565b50909392505050565b8051600090811a6080811015610ac35750600092915050565b60b8811080610ade575060c08110801590610ade575060f881105b15610aec5750600192915050565b60c0811015610b1957610b01600160b86116ad565b610b0e9060ff16826116c6565b610955906001611681565b610b01600160f86116ad565b80516000908190811a6080811015610b405760019150610bc7565b60b8811015610b6657610b546080826116c6565b610b5f906001611681565b9150610bc7565b60c0811015610b935760b78103600185019450806020036101000a85510460018201810193505050610bc7565b60f8811015610ba757610b5460c0826116c6565b60f78103600185019450806020036101000a855104600182018101935050505b5092915050565b6000806000610be08460200151610aaa565b90506000818560200151610bf49190611681565b90506000828660000151610c0891906116c6565b9196919550909350505050565b60606000610c2484600061105d565b90506000806060610c48604051806040016040528060008152602001600081525090565b8651600003610c99577f56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b4218914610c7d57600080fd5b5050604080516000815260208101909152935061095592505050565b60005b87518110156110505780158015610cdb5750610cd7888281518110610cc357610cc3611655565b602002602001015160208101519051902090565b8a14155b15610ce557600080fd5b8015801590610d155750610d11888281518110610d0457610d04611655565b6020026020010151611203565b8414155b15610d1f57600080fd5b610d3488828151811061049a5761049a611655565b92508251600203610ee05760006060610d6e610d6986600081518110610d5c57610d5c611655565b602002602001015161125f565b6112dd565b90925090506000610d80888a84611378565b9050610d8c8189611681565b97508151811015610def5760018b51610da591906116c6565b841015610db157600080fd5b60005b6040519080825280601f01601f191660200182016040528015610dde576020820181803683370190505b509950505050505050505050610955565b8215610e555760018b51610e0391906116c6565b841015610e0f57600080fd5b8851881015610e1f576000610db4565b85600181518110610e3257610e32611655565b60200260200101519450610e458561125f565b9950505050505050505050610955565b60018b51610e6391906116c6565b8403610e6e57600080fd5b610e9186600181518110610e8457610e84611655565b60200260200101516109ea565b610ebf57610eb886600181518110610eab57610eab611655565b6020026020010151611403565b9650610ed8565b610ed586600181518110610cc357610cc3611655565b96505b50505061103e565b825160110361103e5785518514611002576000868681518110610f0557610f05611655565b016020015160f81c9050610f1a600187611681565b955060108160ff1610610f2c57600080fd5b610f51848260ff1681518110610f4457610f44611655565b602002602001015161141b565b15610f8d5760018951610f6491906116c6565b8214610f6f57600080fd5b50506040805160008152602081019091529550610955945050505050565b610fa5848260ff1681518110610e8457610e84611655565b610fc857610fc1848260ff1681518110610eab57610eab611655565b9450610fe3565b610fe0848260ff1681518110610cc357610cc3611655565b94505b60018951610ff191906116c6565b8203610ffc57600080fd5b5061103e565b6001885161101091906116c6565b811461101b57600080fd5b61103183601081518110610d5c57610d5c611655565b9650505050505050610955565b8061104881611694565b915050610c9c565b5050505050509392505050565b6060600083511161106d57600080fd5b60008351600261107d91906116d9565b90508083111561108c57600080fd5b61109683826116c6565b90508067ffffffffffffffff8111156110b1576110b16114d8565b6040519080825280601f01601f1916602001820160405280156110db576020820181803683370190505b5091506000835b6110ec8386611681565b8110156111ea576110fe600282611706565b60000361116a5760048661111360028461171a565b8151811061112357611123611655565b602001015160f81c60f81b60f81c60ff16901c600f1660f81b84838151811061114e5761114e611655565b60200101906001600160f81b031916908160001a9053506111cb565b60008661117860028461171a565b8151811061118857611188611655565b602001015160f81c60f81b60f81c60ff16901c600f1660f81b8483815181106111b3576111b3611655565b60200101906001600160f81b031916908160001a9053505b6111d6600183611681565b91506111e3600182611681565b90506110e2565b50825181146111fb576111fb61172e565b505092915050565b6000602082600001511015611222576020820151825190205b92915050565b60208201518251902060405160200161123d91815260200190565b604051602081830303815290604052805190602001209050919050565b919050565b805160609061126d57600080fd5b60008061127984610bce565b9150915060008167ffffffffffffffff811115611298576112986114d8565b6040519080825280601f01601f1916602001820160405280156112c2576020820181803683370190505b509050602081016112d484828561143e565b50949350505050565b6000606060008351116112ef57600080fd5b600060048460008151811061130657611306611655565b60209101015160f81c901c600f169050600081810361132b5750600092506002611362565b8160010361133f5750600092506001611362565b816002036113535750600192506002611362565b8160030361004c575060019250825b8361136d868361105d565b935093505050915091565b6000805b83516113888683611681565b1080156113955750825181105b156107ef578281815181106113ac576113ac611655565b01602001516001600160f81b031916846113c68784611681565b815181106113d6576113d6611655565b01602001516001600160f81b031916146113f1579050610955565b806113fb81611694565b91505061137c565b600080600061141184610bce565b9020949350505050565b805160009060011461142f57506000919050565b50602001515160001a60801490565b8060000361144b57505050565b602081106114835782518252611462602084611681565b925061146f602083611681565b915061147c6020826116c6565b905061144b565b80156114bc57600060016114988360206116c6565b6114a490610100611828565b6114ae91906116c6565b845184518216911916178352505b505050565b80356001600160a01b038116811461125a57600080fd5b634e487b7160e01b600052604160045260246000fd5b600082601f8301126114ff57600080fd5b813567ffffffffffffffff8082111561151a5761151a6114d8565b604051601f8301601f19908116603f01168101908282118183101715611542576115426114d8565b8160405283815286602085880101111561155b57600080fd5b836020870160208301376000602085830101528094505050505092915050565b60008060006060848603121561159057600080fd5b611599846114c1565b9250602084013567ffffffffffffffff808211156115b657600080fd5b6115c2878388016114ee565b935060408601359150808211156115d857600080fd5b506115e5868287016114ee565b9150509250925092565b60008060006060848603121561160457600080fd5b61160d846114c1565b925060208401359150604084013567ffffffffffffffff81111561163057600080fd5b6115e5868287016114ee565b60006020828403121561164e57600080fd5b5051919050565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b8082018082111561121c5761121c61166b565b6000600182016116a6576116a661166b565b5060010190565b60ff828116828216039081111561121c5761121c61166b565b8181038181111561121c5761121c61166b565b808202811582820484141761121c5761121c61166b565b634e487b7160e01b600052601260045260246000fd5b600082611715576117156116f0565b500690565b600082611729576117296116f0565b500490565b634e487b7160e01b600052600160045260246000fd5b600181815b8085111561177f5781600019048211156117655761176561166b565b8085161561177257918102915b93841c9390800290611749565b509250929050565b6000826117965750600161121c565b816117a35750600061121c565b81600181146117b957600281146117c3576117df565b600191505061121c565b60ff8411156117d4576117d461166b565b50506001821b61121c565b5060208310610133831016604e8410600b8410161715611802575081810a61121c565b61180c8383611744565b80600019048211156118205761182061166b565b029392505050565b6000610955838361178756fea2646970667358221220edc2d293aca1e7eb34941556f692d6e5066aca60bfd6dc045c61b14b95baa10564736f6c63430008120033

530:3066:3:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;857:42;;;;;;;;-1:-1:-1;;;;;178:32:4;;;160:51;;148:2;133:18;857:42:3;;;;;;;1252:593;;;;;;:::i;:::-;;:::i;:::-;;2044:323;;;;;;:::i;:::-;;:::i;817:34::-;;;;;1252:593;1410:40;1453:44;1479:17;1453:25;:44::i;:::-;1515:17;;1410:87;;-1:-1:-1;1507:61:3;;;;-1:-1:-1;;;1507:61:3;;2542:2:4;1507:61:3;;;2524:21:4;2581:2;2561:18;;;2554:30;-1:-1:-1;;;2600:18:4;;;2593:47;2657:18;;1507:61:3;;;;;;;;;1671:19;;;;;1620:71;;-1:-1:-1;;;1620:71:3;;;;;2832:25:4;;;;1637:17:3;-1:-1:-1;;;;;1620:50:3;;;;2805:18:4;;1620:71:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;1599:17;;:92;1578:157;;;;-1:-1:-1;;;1578:157:3;;3259:2:4;1578:157:3;;;3241:21:4;3298:2;3278:18;;;3271:30;-1:-1:-1;;;3317:18:4;;;3310:48;3375:18;;1578:157:3;3057:342:4;1578:157:3;1753:85;1771:5;1778:12;:19;;;1799:12;:26;;;1827:10;1753:17;:85::i;:::-;1746:92;1252:593;;;:::o;2044:323::-;2214:65;;-1:-1:-1;;;2214:65:3;;;;;2832:25:4;;;2193:18:3;;2231:17;-1:-1:-1;;;;;2214:50:3;;;;2805:18:4;;2214:65:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2193:86;;2297:63;2315:5;2322:13;2337:10;2349;2297:17;:63::i;1570:610:2:-;-1:-1:-1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1701:28:0;;;;;;;;1709:11;;1701:28;;1659:15;;;1701:28;;;;-1:-1:-1;;;;;1768:36:2;;:34;:36::i;:27::-;:34;:36::i;:::-;1726:78;;544:2;1823:12;:19;:44;1815:53;;;;;;1910:46;:12;449:1;1910:37;;;;;;;;:::i;:::-;;;;;;;:44;:46::i;:::-;1879:20;;;:78;1983:33;;:42;;:12;;495:1;;1983:33;;;;;;:::i;:42::-;1967:13;;;:58;2054:36;;:45;;:12;;544:2;;2054:36;;;;;;:::i;:45::-;2035:16;;;:64;-1:-1:-1;2123:26:2;;;;;;;;;;2109:40;;-1:-1:-1;2035:6:2;1570:610::o;2465:1129:3:-;2626:33;2662:29;:20;:8;-1:-1:-1;;;;;;;;;;;;;;;;;1701:28:0;;;;;;;;1709:11;;1701:28;;1659:15;;;1701:28;;;;;;;;1515:221;2662:29:3;2626:65;;2709:6;:13;2726:1;2709:18;2701:55;;;;-1:-1:-1;;;2701:55:3;;3738:2:4;2701:55:3;;;3720:21:4;3777:2;3757:18;;;3750:30;3816:26;3796:18;;;3789:54;3860:18;;2701:55:3;3536:348:4;2701:55:3;780:29;;-1:-1:-1;;;780:29:3;;;4018:66:4;2800:31:3;;2834:127;;4100:12:4;;780:29:3;;;;;;;;;;;;770:40;;;;;;2910:9;2933:18;:6;2940:1;2933:9;;;;;;;;:::i;:::-;;;;;;;:16;:18::i;:::-;2834:32;:127::i;:::-;2979:14;;2800:161;;-1:-1:-1;2971:58:3;;;;-1:-1:-1;;;2971:58:3;;4325:2:4;2971:58:3;;;4307:21:4;4364:2;4344:18;;;4337:30;4403:33;4383:18;;;4376:61;4454:18;;2971:58:3;4123:355:4;2971:58:3;3238:28;;;3249:1;3238:28;;;4663:36:4;3252:13:3;4715:18:4;;;4708:34;;;;3071:10:3;;3100:341;;4636:18:4;;3238:28:3;;;-1:-1:-1;;3238:28:3;;;;;;;;;3228:39;;3238:28;3228:39;;;;3196:154;;;4927:25:4;-1:-1:-1;;;;;4988:32:4;;4968:18;;;4961:60;4900:18;;3196:154:3;;;-1:-1:-1;;3196:154:3;;;;;;;;;3186:165;;3196:154;3186:165;;;;3158:207;;;2832:25:4;2805:18;3158:207:3;;;;;;;;;;;;3148:218;;;;;;3380:7;:19;;;3413:18;:6;3420:1;3413:9;;;;;;;;:::i;:18::-;3100:34;:341::i;:::-;:347;;;;-1:-1:-1;;;;;;;;3467:17:3;;;3459:46;;;;-1:-1:-1;;;3459:46:3;;5416:2:4;3459:46:3;;;5398:21:4;5455:2;5435:18;;;5428:30;-1:-1:-1;;;5474:18:4;;;5467:46;5530:18;;3459:46:3;5214:340:4;3459:46:3;3523:64;;-1:-1:-1;;;3523:64:3;;-1:-1:-1;;;;;5817:15:4;;;3523:64:3;;;5799:34:4;5869:15;;;5849:18;;;5842:43;5901:18;;;5894:34;;;3536:9:3;3523:41;;;;5734:18:4;;3523:64:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3516:71;;;2465:1129;;;;:::o;2948:519:0:-;3008:16;3044:12;3051:4;3044:6;:12::i;:::-;3036:21;;;;;;3068:13;3084:14;3093:4;3084:8;:14::i;:::-;3068:30;;3108:23;3148:5;3134:20;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;;;;;;;3134:20:0;;;;;;;;;;;;;;;;3108:46;;3165:14;3196:27;3211:4;:11;;;3196:14;:27::i;:::-;3182:4;:11;;;:41;;;;:::i;:::-;3165:58;-1:-1:-1;3233:15:0;;3258:179;3282:5;3278:1;:9;3258:179;;;3318:19;3330:6;3318:11;:19::i;:::-;3308:29;;3363:24;;;;;;;;3371:7;3363:24;;;;3380:6;3363:24;;;3351:6;3358:1;3351:9;;;;;;;;:::i;:::-;;;;;;;;;;:36;3410:16;3419:7;3410:6;:16;:::i;:::-;3401:25;-1:-1:-1;3289:3:0;;;;:::i;:::-;;;;3258:179;;;-1:-1:-1;3454:6:0;;2948:519;-1:-1:-1;;;;;2948:519:0:o;6051:467::-;6138:8;;6111:7;;6138:12;;;;:30;;-1:-1:-1;6154:8:0;;6166:2;-1:-1:-1;6154:14:0;6138:30;6130:39;;;;;;6181:14;6197:11;6212:21;6228:4;6212:15;:21::i;:::-;6301:13;;6180:53;;-1:-1:-1;6180:53:0;-1:-1:-1;6397:2:0;6389:11;;6386:92;;;6454:2;6450:12;;;6445:3;6441:22;6429:35;;6386:92;6505:6;6051:467;-1:-1:-1;;;;6051:467:0:o;2461:942:2:-;-1:-1:-1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2706:25:2;2734:147;2793:14;2838:12;2821:30;;;;;;6470:19:4;;6514:2;6505:12;;6341:182;2821:30:2;;;;;;;;;;;;;2865:6;2734:45;:147::i;:::-;-1:-1:-1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2706:175:2;;-1:-1:-1;2929:12:2;:19;2952:1;2929:24;2925:69;;2976:7;-1:-1:-1;2969:14:2;;-1:-1:-1;2969:14:2;2925:69;3004:37;3044:33;:24;:12;-1:-1:-1;;;;;;;;;;;;;;;;;1701:28:0;;;;;;;;1709:11;;1701:28;;1659:15;;;1701:28;;;;;;;;1515:221;3044:33:2;3004:73;;3095:10;:17;3116:1;3095:22;3087:31;;;;;;3146:4;3129:21;;3176:13;;:22;;:10;;3129:14;;3176:13;;;;:::i;:22::-;3160:13;;;:38;3226:13;;:22;;:10;;3237:1;;3226:13;;;;;;:::i;:22::-;3208:15;;;:40;3288:13;;:22;;:10;;3299:1;;3288:13;;;;;;:::i;:22::-;3258:19;;;:53;3348:13;;:22;;:10;;3359:1;;3348:13;;;;;;:::i;:22::-;3321:16;;;:50;-1:-1:-1;3321:7:2;-1:-1:-1;;2461:942:2;;;;;;:::o;3657:593::-;-1:-1:-1;;;;;;;;;;;;;;;;;3865:26:2;3894:146;3953:16;4000:9;3983:27;;;;;;6470:19:4;;6514:2;6505:12;;6341:182;3894:146:2;-1:-1:-1;;;;;;;;;;;;;;;;;3865:175:2;;-1:-1:-1;4088:20:2;;:25;4084:137;;4144:4;4129:19;;-1:-1:-1;;;;;;;;;;;;;;;;;1701:28:0;;;;;;;;1709:11;;1701:28;;1659:15;;;1701:28;;;;4176:34:2;;:32;:34::i;:::-;4162:11;;;:48;4084:137;4238:5;3657:593;-1:-1:-1;;;;;3657:593:2:o;3571:321:0:-;3651:8;;3631:4;;3651:13;;3647:31;;-1:-1:-1;3673:5:0;;3571:321;-1:-1:-1;3571:321:0:o;3647:31::-;3727:11;;;;3788:13;;3689:11;3780:22;;330:4;3826:24;;3822:42;;;-1:-1:-1;3859:5:0;;3571:321;-1:-1:-1;;;3571:321:0:o;3822:42::-;-1:-1:-1;3881:4:0;;3571:321;-1:-1:-1;;;3571:321:0:o;7346:424::-;7430:8;;7407:7;;7430:13;;7426:27;;-1:-1:-1;7452:1:0;;7346:424;-1:-1:-1;7346:424:0:o;7426:27::-;7464:13;7491:15;7523:27;7538:4;:11;;;7523:14;:27::i;:::-;7509:4;:11;;;:41;;;;:::i;:::-;7491:59;;7560:14;7591:4;:8;;;7577:4;:11;;;:22;;;;:::i;:::-;7560:39;;7609:132;7626:6;7616:7;:16;7609:132;;;7668:20;7680:7;7668:11;:20::i;:::-;7658:30;;:7;:30;:::i;:::-;7648:40;-1:-1:-1;7723:7:0;;;;:::i;:::-;;;;7609:132;;;-1:-1:-1;7758:5:0;;7346:424;-1:-1:-1;;;7346:424:0:o;9134:581::-;9278:13;;9196:7;;9270:22;;241:4;9316:26;;9312:397;;;-1:-1:-1;9365:1:0;;9134:581;-1:-1:-1;;9134:581:0:o;9312:397::-;286:4;9387:25;;;:83;;-1:-1:-1;330:4:0;9417:25;;;;;:52;;-1:-1:-1;373:4:0;9446:23;;9417:52;9383:326;;;-1:-1:-1;9493:1:0;;9134:581;-1:-1:-1;;9134:581:0:o;9383:326::-;330:4;9515:24;;9511:198;;;9601:21;9621:1;286:4;9601:21;:::i;:::-;9592:31;;;;:5;:31;:::i;:::-;:35;;9626:1;9592:35;:::i;9511:198::-;9674:19;9692:1;373:4;9674:19;:::i;7819:1263::-;7985:13;;7878:7;;;;7977:22;;241:4;8023:26;;8019:1032;;;8075:1;8065:11;;8019:1032;;;286:4;8097:25;;8093:958;;;8148:26;241:4;8148:5;:26;:::i;:::-;:30;;8177:1;8148:30;:::i;:::-;8138:40;;8093:958;;;330:4;8199:24;;8195:856;;;8292:4;8285:5;8281:16;8371:1;8363:6;8359:14;8349:24;;8510:7;8506:2;8502:16;8497:3;8493:26;8484:6;8478:13;8474:46;8607:1;8598:7;8594:15;8585:7;8581:29;8570:40;;;;8195:856;;;373:4;8644:23;;8640:411;;;8693:24;330:4;8693:5;:24;:::i;8640:411::-;8805:4;8798:5;8794:16;8849:1;8841:6;8837:14;8827:24;;8920:7;8916:2;8912:16;8907:3;8903:26;8894:6;8888:13;8884:46;9024:1;9015:7;9011:15;9002:7;8998:29;8987:40;;;;8640:411;-1:-1:-1;9068:7:0;7819:1263;-1:-1:-1;;7819:1263:0:o;2392:281::-;2461:7;2470;2489:14;2506:27;2521:4;:11;;;2506:14;:27::i;:::-;2489:44;;2543:14;2574:6;2560:4;:11;;;:20;;;;:::i;:::-;2543:37;;2590:11;2615:6;2604:4;:8;;;:17;;;;:::i;:::-;2654:6;;2590:31;;-1:-1:-1;2392:281:0;;-1:-1:-1;;;;2392:281:0:o;1330:5838:1:-;1481:18;1511:19;1533:23;1548:4;1554:1;1533:14;:23::i;:::-;1511:45;;1566:20;1601;1631:31;1673:33;-1:-1:-1;;;;;;;;;;;;;;;;;;;1673:33:1;1721:5;:12;1737:1;1721:17;1717:273;;1866:66;1834:98;;1809:137;;;;;;-1:-1:-1;;1967:12:1;;;1977:1;1967:12;;;;;;;;;-1:-1:-1;1960:19:1;;-1:-1:-1;;;1960:19:1;1717:273;2058:9;2053:5109;2077:5;:12;2073:1;:16;2053:5109;;;2351:6;;:50;;;;;2373:28;:5;2379:1;2373:8;;;;;;;;:::i;:::-;;;;;;;4158:11:0;;;;4193:8;;4268:19;;;4054:272;2373:28:1;2361:8;:40;;2351:50;2347:97;;;2421:8;;;2347:97;2558:6;;;;;:48;;;2584:22;2597:5;2603:1;2597:8;;;;;;;;:::i;:::-;;;;;;;2584:12;:22::i;:::-;2568:12;:38;;2558:48;2554:95;;;2626:8;;;2554:95;2775:17;:5;2781:1;2775:8;;;;;;;;:::i;:17::-;2768:24;;2811:4;:11;2826:1;2811:16;2807:4345;;2890:11;2919:20;2977:85;3027:17;:4;3032:1;3027:7;;;;;;;;:::i;:::-;;;;;;;:15;:17::i;:::-;2977:28;:85::i;:::-;2957:105;;-1:-1:-1;2957:105:1;-1:-1:-1;3081:20:1;3104:128;3145:12;3179:6;2957:105;3104:19;:128::i;:::-;3081:151;-1:-1:-1;3250:28:1;3081:151;3250:28;;:::i;:::-;;;3316:7;:14;3301:12;:29;3297:995;;;4106:1;4091:5;:12;:16;;;;:::i;:::-;4087:1;:20;4083:149;;;4201:8;;;4083:149;4271:1;4261:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;4261:12:1;;4254:19;;;;;;;;;;;;;3297:995;4314:6;4310:1176;;;4403:1;4388:5;:12;:16;;;;:::i;:::-;4384:1;:20;4380:144;;;4493:8;;;4380:144;4565:6;:13;4550:12;:28;4546:102;;;4623:1;4613:12;;4546:102;4681:4;4686:1;4681:7;;;;;;;;:::i;:::-;;;;;;;4670:18;;4717;:8;:16;:18::i;:::-;4710:25;;;;;;;;;;;;;4310:1176;4875:1;4860:5;:12;:16;;;;:::i;:::-;4855:1;:21;4851:139;;4959:8;;;4851:139;5017:16;:4;5022:1;5017:7;;;;;;;;:::i;:::-;;;;;;;:14;:16::i;:::-;5012:456;;5204:26;:4;5209:1;5204:7;;;;;;;;:::i;:::-;;;;;;;:24;:26::i;:::-;5189:41;;5012:456;;;5418:27;:4;5423:1;5418:7;;;;;;;;:::i;:27::-;5403:42;;5012:456;2829:2671;;;2807:4345;;;5510:4;:11;5525:2;5510:17;5506:1646;;5599:6;:13;5583:12;:29;5579:1559;;5727:12;5748:6;5755:12;5748:20;;;;;;;;:::i;:::-;;;;;;;;-1:-1:-1;5791:17:1;5807:1;5791:17;;:::i;:::-;;;5844:2;5834:6;:12;;;5830:146;;5945:8;;;5830:146;6002:34;6023:4;6028:6;6023:12;;;;;;;;;;:::i;:::-;;;;;;;6002:20;:34::i;:::-;5998:556;;;6122:1;6107:5;:12;:16;;;;:::i;:::-;6102:1;:21;6098:157;;6220:8;;;6098:157;-1:-1:-1;;6288:12:1;;;6298:1;6288:12;;;;;;;;;-1:-1:-1;6281:19:1;;-1:-1:-1;;;;;6281:19:1;5998:556;6334:21;:4;6339:6;6334:12;;;;;;;;;;:::i;:21::-;6329:225;;6398:31;:4;6403:6;6398:12;;;;;;;;;;:::i;:31::-;6383:46;;6329:225;;;6499:32;:4;6504:6;6499:12;;;;;;;;;;:::i;:32::-;6484:47;;6329:225;6630:1;6615:5;:12;:16;;;;:::i;:::-;6610:1;:21;6606:141;;6716:8;;;6606:141;5614:1151;5579:1559;;;6961:1;6946:5;:12;:16;;;;:::i;:::-;6941:1;:21;6937:135;;7041:8;;;6937:135;7101:18;:4;7106:2;7101:8;;;;;;;;:::i;:18::-;7094:25;;;;;;;;;;5579:1559;2091:3;;;;:::i;:::-;;;;2053:5109;;;;1501:5667;;;;;1330:5838;;;;;:::o;9177:845::-;9288:20;9345:1;9328:7;:14;:18;9320:27;;;;;;9358:14;9375:7;:14;9392:1;9375:18;;;;:::i;:::-;9358:35;;9426:6;9411:11;:21;;9403:30;;;;;;9443:21;9453:11;9443:21;;:::i;:::-;;;9495:6;9485:17;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;9485:17:1;-1:-1:-1;9475:27:1;-1:-1:-1;9512:21:1;9565:11;9548:418;9582:20;9596:6;9582:11;:20;:::i;:::-;9578:1;:24;9548:418;;;9630:5;9634:1;9630;:5;:::i;:::-;9639:1;9630:10;9626:298;;9739:1;9720:7;9728:5;9732:1;9728;:5;:::i;:::-;9720:14;;;;;;;;:::i;:::-;;;;;;;;;9714:21;;:26;;;;9744:3;9713:34;9685:80;;9660:7;9668:13;9660:22;;;;;;;;:::i;:::-;;;;:105;-1:-1:-1;;;;;9660:105:1;;;;;;;;;9626:298;;;9883:1;9864:7;9872:5;9876:1;9872;:5;:::i;:::-;9864:14;;;;;;;;:::i;:::-;;;;;;;;;9858:21;;:26;;;;9888:3;9857:34;9829:80;;9804:7;9812:13;9804:22;;;;;;;;:::i;:::-;;;;:105;-1:-1:-1;;;;;9804:105:1;;;;;;;;;9626:298;9937:18;9954:1;9937:18;;:::i;:::-;;-1:-1:-1;9604:6:1;9609:1;9604:6;;:::i;:::-;;;9548:418;;;;10000:7;:14;9983:13;:31;9976:39;;;;:::i;:::-;9310:712;;9177:845;;;;:::o;7733:280::-;7822:7;7856:2;7845:4;:8;;;:13;7841:166;;;4158:11:0;;;;4193:8;;4268:19;;7881:24:1;7874:31;7733:280;-1:-1:-1;;7733:280:1:o;7841:166::-;4158:11:0;;;;4193:8;;4268:19;;7953:42:1;;;;;;6470:19:4;;6514:2;6505:12;;6341:182;7953:42:1;;;;;;;;;;;;;7943:53;;;;;;7936:60;;7733:280;;;:::o;7841:166::-;7733:280;;;:::o;6859:379:0:-;6952:8;;6920:12;;6944:21;;;;;;6977:14;6993:11;7008:21;7024:4;7008:15;:21::i;:::-;6976:53;;;;7039:19;7071:3;7061:14;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;7061:14:0;-1:-1:-1;7039:36:0;-1:-1:-1;7149:4:0;7145:17;;7182:26;7187:6;7145:17;7204:3;7182:4;:26::i;:::-;-1:-1:-1;7225:6:0;6859:379;-1:-1:-1;;;;6859:379:0:o;8374:797:1:-;8470:11;8483:20;8540:1;8523:7;:14;:18;8515:27;;;;;;8552:20;8597:1;8582:7;8590:1;8582:10;;;;;;;;:::i;:::-;;;;;;;;8576:22;;8602:3;8575:30;;-1:-1:-1;8615:19:1;8648:17;;;8644:458;;-1:-1:-1;8719:5:1;;-1:-1:-1;8695:1:1;8644:458;;;8745:12;8761:1;8745:17;8741:361;;-1:-1:-1;8816:5:1;;-1:-1:-1;8792:1:1;8741:361;;;8842:12;8858:1;8842:17;8838:264;;-1:-1:-1;8913:4:1;;-1:-1:-1;8889:1:1;8838:264;;;8938:12;8954:1;8938:17;8934:168;;-1:-1:-1;8985:1:1;;-1:-1:-1;8985:1:1;8934:168;9119:6;9127:36;9142:7;9151:11;9127:14;:36::i;:::-;9111:53;;;;;;8374:797;;;:::o;10028:351::-;10161:7;;10199:156;10226:9;;10211:12;10215:8;10211:1;:12;:::i;:::-;:24;:41;;;;;10243:2;:9;10239:1;:13;10211:41;10199:156;;;10297:2;10300:1;10297:5;;;;;;;;:::i;:::-;;;;;-1:-1:-1;;;;;;10297:5:1;10277:2;10280:12;10284:8;10280:1;:12;:::i;:::-;10277:16;;;;;;;;:::i;:::-;;;;;-1:-1:-1;;;;;;10277:16:1;:25;10273:72;;10329:1;-1:-1:-1;10322:8:1;;10273:72;10254:3;;;;:::i;:::-;;;;10199:156;;4484:270:0;4554:7;4574:14;4590:11;4605:21;4621:4;4605:15;:21::i;:::-;4693:22;;;4484:270;-1:-1:-1;;;;4484:270:0:o;8019:349:1:-;8136:8;;8116:4;;8148:1;8136:13;8132:56;;-1:-1:-1;8172:5:1;;8019:349;-1:-1:-1;8019:349:1:o;8132:56::-;-1:-1:-1;8231:11:1;;;8288:13;8197:7;8280:22;8333:4;8328:9;;8019:349::o;9873:768:0:-;9954:3;9961:1;9954:8;9950:21;;9873:768;;;:::o;9950:21::-;410:2;10035:16;;10028:194;;10125:10;;10112:24;;10164:16;410:2;10131:3;10164:16;:::i;:::-;;-1:-1:-1;10194:17:0;410:2;10194:17;;:::i;:::-;;-1:-1:-1;10053:16:0;410:2;10053:16;;:::i;:::-;;;10028:194;;;10236:7;;10232:403;;10343:12;10383:1;10364:15;10376:3;410:2;10364:15;:::i;:::-;10358:22;;:3;:22;:::i;:::-;:26;;;;:::i;:::-;10444:10;;10519:11;;10515:22;;10456:9;;10440:26;10589:21;10576:35;;-1:-1:-1;10232:403:0;9873:768;;;:::o;222:173:4:-;290:20;;-1:-1:-1;;;;;339:31:4;;329:42;;319:70;;385:1;382;375:12;400:127;461:10;456:3;452:20;449:1;442:31;492:4;489:1;482:15;516:4;513:1;506:15;532:718;574:5;627:3;620:4;612:6;608:17;604:27;594:55;;645:1;642;635:12;594:55;681:6;668:20;707:18;744:2;740;737:10;734:36;;;750:18;;:::i;:::-;825:2;819:9;793:2;879:13;;-1:-1:-1;;875:22:4;;;899:2;871:31;867:40;855:53;;;923:18;;;943:22;;;920:46;917:72;;;969:18;;:::i;:::-;1009:10;1005:2;998:22;1044:2;1036:6;1029:18;1090:3;1083:4;1078:2;1070:6;1066:15;1062:26;1059:35;1056:55;;;1107:1;1104;1097:12;1056:55;1171:2;1164:4;1156:6;1152:17;1145:4;1137:6;1133:17;1120:54;1218:1;1211:4;1206:2;1198:6;1194:15;1190:26;1183:37;1238:6;1229:15;;;;;;532:718;;;;:::o;1255:613::-;1350:6;1358;1366;1419:2;1407:9;1398:7;1394:23;1390:32;1387:52;;;1435:1;1432;1425:12;1387:52;1458:29;1477:9;1458:29;:::i;:::-;1448:39;;1538:2;1527:9;1523:18;1510:32;1561:18;1602:2;1594:6;1591:14;1588:34;;;1618:1;1615;1608:12;1588:34;1641:49;1682:7;1673:6;1662:9;1658:22;1641:49;:::i;:::-;1631:59;;1743:2;1732:9;1728:18;1715:32;1699:48;;1772:2;1762:8;1759:16;1756:36;;;1788:1;1785;1778:12;1756:36;;1811:51;1854:7;1843:8;1832:9;1828:24;1811:51;:::i;:::-;1801:61;;;1255:613;;;;;:::o;1873:462::-;1959:6;1967;1975;2028:2;2016:9;2007:7;2003:23;1999:32;1996:52;;;2044:1;2041;2034:12;1996:52;2067:29;2086:9;2067:29;:::i;:::-;2057:39;;2143:2;2132:9;2128:18;2115:32;2105:42;;2198:2;2187:9;2183:18;2170:32;2225:18;2217:6;2214:30;2211:50;;;2257:1;2254;2247:12;2211:50;2280:49;2321:7;2312:6;2301:9;2297:22;2280:49;:::i;2868:184::-;2938:6;2991:2;2979:9;2970:7;2966:23;2962:32;2959:52;;;3007:1;3004;2997:12;2959:52;-1:-1:-1;3030:16:4;;2868:184;-1:-1:-1;2868:184:4:o;3404:127::-;3465:10;3460:3;3456:20;3453:1;3446:31;3496:4;3493:1;3486:15;3520:4;3517:1;3510:15;5939:127;6000:10;5995:3;5991:20;5988:1;5981:31;6031:4;6028:1;6021:15;6055:4;6052:1;6045:15;6071:125;6136:9;;;6157:10;;;6154:36;;;6170:18;;:::i;6201:135::-;6240:3;6261:17;;;6258:43;;6281:18;;:::i;:::-;-1:-1:-1;6328:1:4;6317:13;;6201:135::o;6528:151::-;6618:4;6611:12;;;6597;;;6593:31;;6636:14;;6633:40;;;6653:18;;:::i;6684:128::-;6751:9;;;6772:11;;;6769:37;;;6786:18;;:::i;6817:168::-;6890:9;;;6921;;6938:15;;;6932:22;;6918:37;6908:71;;6959:18;;:::i;6990:127::-;7051:10;7046:3;7042:20;7039:1;7032:31;7082:4;7079:1;7072:15;7106:4;7103:1;7096:15;7122:112;7154:1;7180;7170:35;;7185:18;;:::i;:::-;-1:-1:-1;7219:9:4;;7122:112::o;7239:120::-;7279:1;7305;7295:35;;7310:18;;:::i;:::-;-1:-1:-1;7344:9:4;;7239:120::o;7364:127::-;7425:10;7420:3;7416:20;7413:1;7406:31;7456:4;7453:1;7446:15;7480:4;7477:1;7470:15;7496:422;7585:1;7628:5;7585:1;7642:270;7663:7;7653:8;7650:21;7642:270;;;7722:4;7718:1;7714:6;7710:17;7704:4;7701:27;7698:53;;;7731:18;;:::i;:::-;7781:7;7771:8;7767:22;7764:55;;;7801:16;;;;7764:55;7880:22;;;;7840:15;;;;7642:270;;;7646:3;7496:422;;;;;:::o;7923:806::-;7972:5;8002:8;7992:80;;-1:-1:-1;8043:1:4;8057:5;;7992:80;8091:4;8081:76;;-1:-1:-1;8128:1:4;8142:5;;8081:76;8173:4;8191:1;8186:59;;;;8259:1;8254:130;;;;8166:218;;8186:59;8216:1;8207:10;;8230:5;;;8254:130;8291:3;8281:8;8278:17;8275:43;;;8298:18;;:::i;:::-;-1:-1:-1;;8354:1:4;8340:16;;8369:5;;8166:218;;8468:2;8458:8;8455:16;8449:3;8443:4;8440:13;8436:36;8430:2;8420:8;8417:16;8412:2;8406:4;8403:12;8399:35;8396:77;8393:159;;;-1:-1:-1;8505:19:4;;;8537:5;;8393:159;8584:34;8609:8;8603:4;8584:34;:::i;:::-;8654:6;8650:1;8646:6;8642:19;8633:7;8630:32;8627:58;;;8665:18;;:::i;:::-;8703:20;;7923:806;-1:-1:-1;;;7923:806:4:o;8734:131::-;8794:5;8823:36;8850:8;8844:4;8823:36;:::i

ipfs://edc2d293aca1e7eb34941556f692d6e5066aca60bfd6dc045c61b14b95baa105