[{"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":"MIN_SLOPE_CHANGES_CNT","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"VE_ORACLE","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_user","type":"address"},{"internalType":"bytes","name":"_block_header_rlp","type":"bytes"},{"internalType":"bytes","name":"_proof_rlp","type":"bytes"}],"name":"verifyBalanceByBlockHash","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_user","type":"address"},{"internalType":"uint256","name":"_block_number","type":"uint256"},{"internalType":"bytes","name":"_proof_rlp","type":"bytes"}],"name":"verifyBalanceByStateRoot","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes","name":"_block_header_rlp","type":"bytes"},{"internalType":"bytes","name":"_proof_rlp","type":"bytes"}],"name":"verifyTotalByBlockHash","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_block_number","type":"uint256"},{"internalType":"bytes","name":"_proof_rlp","type":"bytes"}],"name":"verifyTotalByStateRoot","outputs":[],"stateMutability":"nonpayable","type":"function"}]

0x608060405234801561001057600080fd5b506004361061007d5760003560e01c80636b13273d1161005b5780636b13273d146100f1578063923bbb2314610104578063b8b9a65c14610117578063db51cbab1461013e57600080fd5b806306ca798614610082578063082e7b411461009d5780631282ff57146100dc575b600080fd5b61008a600481565b6040519081526020015b60405180910390f35b6100c47f000000000000000000000000297a536954c4a41d9b24c40293c4dbfa9ea0869f81565b6040516001600160a01b039091168152602001610094565b6100ef6100ea366004611d36565b610151565b005b6100ef6100ff366004611d9a565b6101f0565b6100ef610112366004611dee565b6102f2565b6100c47f000000000000000000000000852f32c22c5035ea12566edfb4415625776d75d581565b6100ef61014c366004611e45565b610410565b600061016461015f83610497565b6104c4565b90506001815110156101915760405162461bcd60e51b815260040161018890611eaf565b60405180910390fd5b6000806101b885846000815181106101ab576101ab611ee6565b60200260200101516105da565b915091506101e982826101e4866001815181106101d7576101d7611ee6565b60200260200101516104c4565b61071f565b5050505050565b60006101fe61015f83610497565b90506001815110156102225760405162461bcd60e51b815260040161018890611eaf565b60405162dfe68160e41b8152600481018490526000907f000000000000000000000000297a536954c4a41d9b24c40293c4dbfa9ea0869f6001600160a01b031690630dfe681090602401602060405180830381865afa158015610289573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906102ad9190611efc565b905060006102d582846000815181106102c8576102c8611ee6565b6020026020010151610a7d565b90506101e981866101e4866001815181106101d7576101d7611ee6565b600061030061015f83610497565b90506001815110156103245760405162461bcd60e51b815260040161018890611eaf565b60405162dfe68160e41b8152600481018490526000907f000000000000000000000000297a536954c4a41d9b24c40293c4dbfa9ea0869f6001600160a01b031690630dfe681090602401602060405180830381865afa15801561038b573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906103af9190611efc565b905060006103ca82846000815181106102c8576102c8611ee6565b90506103e781866101e4866001815181106101d7576101d7611ee6565b610408868287610403876002815181106101d7576101d7611ee6565b610b38565b505050505050565b600061041e61015f83610497565b90506001815110156104425760405162461bcd60e51b815260040161018890611eaf565b60008061045c85846000815181106101ab576101ab611ee6565b9150915061047b82826101e4866001815181106101d7576101d7611ee6565b610408868383610403876002815181106101d7576101d7611ee6565b60408051808201825260008082526020918201528151808301909252825182529182019181019190915290565b60606104cf82610d22565b6104d857600080fd5b60006104e383610d5d565b905060008167ffffffffffffffff81111561050057610500611c93565b60405190808252806020026020018201604052801561054557816020015b604080518082019091526000808252602082015281526020019060019003908161051e5790505b50905060006105578560200151610de2565b85602001516105669190611f2b565b90506000805b848110156105cf5761057d83610e64565b91506040518060400160405280838152602001848152508482815181106105a6576105a6611ee6565b60209081029190910101526105bb8284611f2b565b9250806105c781611f3e565b91505061056c565b509195945050505050565b60008060006105e885610f0d565b805190915061062d5760405162461bcd60e51b8152602060048201526011602482015270092dcecc2d8d2c840c4d8dec6d6d0c2e6d607b1b6044820152606401610188565b6040818101519051639724283f60e01b815260048101919091527f000000000000000000000000297a536954c4a41d9b24c40293c4dbfa9ea0869f6001600160a01b031690639724283f90602401602060405180830381865afa158015610698573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106bc9190611efc565b8151146107005760405162461bcd60e51b8152602060048201526012602482015271084d8dec6d6d0c2e6d040dad2e6dac2e8c6d60731b6044820152606401610188565b61070e816020015185610a7d565b816040015192509250509250929050565b600461072d60006001611f2b565b610738906004611f2b565b6107429190611f2b565b815110156107925760405162461bcd60e51b815260206004820152601e60248201527f496e76616c6964206e756d626572206f6620746f74616c2070726f6f667300006044820152606401610188565b60006107dd60036040516020016107ab91815260200190565b60405160208183030381529060405280519060200120856107d8856000815181106101d7576101d7611ee6565b610fe9565b60200151905060006108546107f3826001611f2b565b60408051600460208201528591015b6040516020818303038152906040528051906020012060001c6108259190611f2b565b60405160200161083791815260200190565b60405160208183030381529060405280519060200120878661106d565b9050600062093a8080836040015161086c9190611f6d565b6108769190611f81565b6108839062093a80611f2b565b90506000610892816001611f2b565b61089d906004611f2b565b85516108a99190611f98565b67ffffffffffffffff8111156108c1576108c1611c93565b6040519080825280602002602001820160405280156108ea578160200160208202803683370190505b50905060005b6108fc60006001611f2b565b610907906004611f2b565b86516109139190611f98565b8110156109ef576109b4600761092c62093a8084611f81565b6109369086611f2b565b60408051602081019390935282015260600160408051601f198184030181528282528051602091820120908301520160405160208183030381529060405280519060200120896107d889856000600161098f9190611f2b565b61099a906004611f2b565b6109a49190611f2b565b815181106101d7576101d7611ee6565b602001518282815181106109ca576109ca611ee6565b6020026020010190600f0b9081600f0b81525050806109e890611f3e565b90506108f0565b506040516367baa12b60e11b81526001600160a01b037f000000000000000000000000852f32c22c5035ea12566edfb4415625776d75d5169063cf75425690610a42908790879086908c90600401611fab565b600060405180830381600087803b158015610a5c57600080fd5b505af1158015610a70573d6000803e3d6000fd5b5050505050505050505050565b604051732f9daeff5bd9466debfd5d3c4b1f7101524a715160611b60208201526000908190610ace906034016040516020818303038152906040528051906020012085610ac9866104c4565b6111db565b8051909150610b2b5760405162461bcd60e51b815260206004820152602360248201527f566f74696e67457363726f77206163636f756e7420646f6573206e6f742065786044820152621a5cdd60ea1b6064820152608401610188565b6060015190505b92915050565b610b4460006001611f2b565b610b4f906004611f2b565b610b5a906002611f2b565b815114610ba95760405162461bcd60e51b815260206004820181905260248201527f496e76616c6964206e756d626572206f662062616c616e63652070726f6f66736044820152606401610188565b6000610bf6600686604051602001610bd49291909182526001600160a01b0316602082015260400190565b60408051601f19818403018152828252805160209182012090830152016107ab565b6020015190506000610c55610c0c826001611f2b565b83600589604051602001610c339291909182526001600160a01b0316602082015260400190565b60408051601f1981840301815282825280516020918201209083015201610802565b90506000610ccb610c67826001611f2b565b610c72906004611f2b565b60408051600260208201526001600160a01b038b169181019190915260600160408051601f1981840301815282825280516020918201209083015201604051602081830303815290604052805190602001208887611301565b604051639903dcd960e01b81529091506001600160a01b037f000000000000000000000000852f32c22c5035ea12566edfb4415625776d75d51690639903dcd990610a42908a908790879087908c90600401612039565b80516000908103610d3557506000919050565b6020820151805160001a9060c0821015610d53575060009392505050565b5060019392505050565b80516000908103610d7057506000919050565b600080610d808460200151610de2565b8460200151610d8f9190611f2b565b9050600084600001518560200151610da79190611f2b565b90505b80821015610dd957610dbb82610e64565b610dc59083611f2b565b915082610dd181611f3e565b935050610daa565b50909392505050565b8051600090811a6080811015610dfb5750600092915050565b60b8811080610e16575060c08110801590610e16575060f881105b15610e245750600192915050565b60c0811015610e5857610e39600160b86120a6565b610e469060ff1682611f98565b610e51906001611f2b565b9392505050565b610e39600160f86120a6565b80516000908190811a6080811015610e7f5760019150610f06565b60b8811015610ea557610e93608082611f98565b610e9e906001611f2b565b9150610f06565b60c0811015610ed25760b78103600185019450806020036101000a85510460018201810193505050610f06565b60f8811015610ee657610e9360c082611f98565b60f78103600185019450806020036101000a855104600182018101935050505b5092915050565b6040805160808101825260008082526020820181905291810182905260608101919091526040805160808101825260008082526020820181905291810182905260608101919091526000610f6361015f85610497565b9050600b815111610f7357600080fd5b610f9681600381518110610f8957610f89611ee6565b6020026020010151611354565b60208301528051610fb49082906008908110610f8957610f89611ee6565b60408301528051610fd2908290600b908110610f8957610f89611ee6565b606083015250825160209093019290922082525090565b6040805180820190915260008082526020820152600061102b848660405160200161101691815260200190565b604051602081830303815290604052856113a2565b6040805180820190915260008082526020820152909150815115611064576001815261105e61105983610497565b611354565b60208201525b95945050505050565b6040805160808101825260008082526020820181905291810182905260608101919091526110d3846040516020016110a791815260200190565b60405160208183030381529060405280519060200120846107d88589815181106101d7576101d7611ee6565b60200151600f0b81526111246110ea856001611f2b565b6040516020016110fc91815260200190565b60405160208183030381529060405280519060200120846107d8858960016109a49190611f2b565b602090810151600f0b9082015261117961113f856002611f2b565b60405160200161115191815260200190565b60405160208183030381529060405280519060200120846107d8858960026109a49190611f2b565b6020015160408201526111ca611190856003611f2b565b6040516020016111a291815260200190565b60405160208183030381529060405280519060200120846107d8858960036109a49190611f2b565b602001516060820152949350505050565b6040805160a081018252600080825260208201819052918101829052606081018290526080810191909152600061121f848660405160200161101691815260200190565b6040805160a081018252600080825260208201819052918101829052606081018290526080810191909152909150815160000361125f579150610e519050565b600061126d61015f84610497565b9050805160041461127d57600080fd5b600182528051611298908290600090610f8957610f89611ee6565b602083015280516112b69082906001908110610f8957610f89611ee6565b604083015280516112d49082906002908110610f8957610f89611ee6565b606083015280516112f29082906003908110610f8957610f89611ee6565b60808301525095945050505050565b604080518082019091526000808252602082015261132b846040516020016110a791815260200190565b60200151600f0b81526113426110ea856001611f2b565b60209081015190820152949350505050565b80516000901580159061136957508151602110155b61137257600080fd5b60008061137e846117ea565b81519193509150602082101561139a5760208290036101000a90045b949350505050565b606060006113b1846000611831565b905060008060606113d5604051806040016040528060008152602001600081525090565b8651600003611426577f56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421891461140a57600080fd5b50506040805160008152602081019091529350610e5192505050565b60005b87518110156117dd5780158015611468575061146488828151811061145057611450611ee6565b602002602001015160208101519051902090565b8a14155b1561147257600080fd5b80158015906114a2575061149e88828151811061149157611491611ee6565b60200260200101516119d7565b8414155b156114ac57600080fd5b6114c18882815181106101d7576101d7611ee6565b9250825160020361166d57600060606114fb6114f6866000815181106114e9576114e9611ee6565b6020026020010151611a31565b611aaf565b9092509050600061150d888a84611b4a565b90506115198189611f2b565b9750815181101561157c5760018b516115329190611f98565b84101561153e57600080fd5b60005b6040519080825280601f01601f19166020018201604052801561156b576020820181803683370190505b509950505050505050505050610e51565b82156115e25760018b516115909190611f98565b84101561159c57600080fd5b88518810156115ac576000611541565b856001815181106115bf576115bf611ee6565b602002602001015194506115d285611a31565b9950505050505050505050610e51565b60018b516115f09190611f98565b84036115fb57600080fd5b61161e8660018151811061161157611611611ee6565b6020026020010151610d22565b61164c576116458660018151811061163857611638611ee6565b6020026020010151611bd5565b9650611665565b6116628660018151811061145057611450611ee6565b96505b5050506117cb565b82516011036117cb578551851461178f57600086868151811061169257611692611ee6565b016020015160f81c90506116a7600187611f2b565b955060108160ff16106116b957600080fd5b6116de848260ff16815181106116d1576116d1611ee6565b6020026020010151611bed565b1561171a57600189516116f19190611f98565b82146116fc57600080fd5b50506040805160008152602081019091529550610e51945050505050565b611732848260ff168151811061161157611611611ee6565b6117555761174e848260ff168151811061163857611638611ee6565b9450611770565b61176d848260ff168151811061145057611450611ee6565b94505b6001895161177e9190611f98565b820361178957600080fd5b506117cb565b6001885161179d9190611f98565b81146117a857600080fd5b6117be836010815181106114e9576114e9611ee6565b9650505050505050610e51565b806117d581611f3e565b915050611429565b5050505050509392505050565b60008060006117fc8460200151610de2565b905060008185602001516118109190611f2b565b905060008286600001516118249190611f98565b9196919550909350505050565b6060600083511161184157600080fd5b6000835160026118519190611f81565b90508083111561186057600080fd5b61186a8382611f98565b90508067ffffffffffffffff81111561188557611885611c93565b6040519080825280601f01601f1916602001820160405280156118af576020820181803683370190505b5091506000835b6118c08386611f2b565b8110156119be576118d26002826120bf565b60000361193e576004866118e7600284611f6d565b815181106118f7576118f7611ee6565b602001015160f81c60f81b60f81c60ff16901c600f1660f81b84838151811061192257611922611ee6565b60200101906001600160f81b031916908160001a90535061199f565b60008661194c600284611f6d565b8151811061195c5761195c611ee6565b602001015160f81c60f81b60f81c60ff16901c600f1660f81b84838151811061198757611987611ee6565b60200101906001600160f81b031916908160001a9053505b6119aa600183611f2b565b91506119b7600182611f2b565b90506118b6565b50825181146119cf576119cf6120d3565b505092915050565b60006020826000015110156119f457602082015182519020610b32565b602082015182519020604051602001611a0f91815260200190565b604051602081830303815290604052805190602001209050919050565b919050565b8051606090611a3f57600080fd5b600080611a4b846117ea565b9150915060008167ffffffffffffffff811115611a6a57611a6a611c93565b6040519080825280601f01601f191660200182016040528015611a94576020820181803683370190505b50905060208101611aa6848285611c10565b50949350505050565b600060606000835111611ac157600080fd5b6000600484600081518110611ad857611ad8611ee6565b60209101015160f81c901c600f1690506000818103611afd5750600092506002611b34565b81600103611b115750600092506001611b34565b81600203611b255750600192506002611b34565b8160030361007d575060019250825b83611b3f8683611831565b935093505050915091565b6000805b8351611b5a8683611f2b565b108015611b675750825181105b1561139a57828181518110611b7e57611b7e611ee6565b01602001516001600160f81b03191684611b988784611f2b565b81518110611ba857611ba8611ee6565b01602001516001600160f81b03191614611bc3579050610e51565b80611bcd81611f3e565b915050611b4e565b6000806000611be3846117ea565b9020949350505050565b8051600090600114611c0157506000919050565b50602001515160001a60801490565b80600003611c1d57505050565b60208110611c555782518252611c34602084611f2b565b9250611c41602083611f2b565b9150611c4e602082611f98565b9050611c1d565b8015611c8e5760006001611c6a836020611f98565b611c76906101006121cd565b611c809190611f98565b845184518216911916178352505b505050565b634e487b7160e01b600052604160045260246000fd5b600082601f830112611cba57600080fd5b813567ffffffffffffffff80821115611cd557611cd5611c93565b604051601f8301601f19908116603f01168101908282118183101715611cfd57611cfd611c93565b81604052838152866020858801011115611d1657600080fd5b836020870160208301376000602085830101528094505050505092915050565b60008060408385031215611d4957600080fd5b823567ffffffffffffffff80821115611d6157600080fd5b611d6d86838701611ca9565b93506020850135915080821115611d8357600080fd5b50611d9085828601611ca9565b9150509250929050565b60008060408385031215611dad57600080fd5b82359150602083013567ffffffffffffffff811115611dcb57600080fd5b611d9085828601611ca9565b80356001600160a01b0381168114611a2c57600080fd5b600080600060608486031215611e0357600080fd5b611e0c84611dd7565b925060208401359150604084013567ffffffffffffffff811115611e2f57600080fd5b611e3b86828701611ca9565b9150509250925092565b600080600060608486031215611e5a57600080fd5b611e6384611dd7565b9250602084013567ffffffffffffffff80821115611e8057600080fd5b611e8c87838801611ca9565b93506040860135915080821115611ea257600080fd5b50611e3b86828701611ca9565b60208082526018908201527f496e76616c6964206e756d626572206f662070726f6f66730000000000000000604082015260600190565b634e487b7160e01b600052603260045260246000fd5b600060208284031215611f0e57600080fd5b5051919050565b634e487b7160e01b600052601160045260246000fd5b80820180821115610b3257610b32611f15565b600060018201611f5057611f50611f15565b5060010190565b634e487b7160e01b600052601260045260246000fd5b600082611f7c57611f7c611f57565b500490565b8082028115828204841417610b3257610b32611f15565b81810381811115610b3257610b32611f15565b600060e082018683526020611fe9818501888051600f0b82526020810151600f0b602083015260408101516040830152606081015160608301525050565b60e060a08501528551918290528086019161010085019060005b81811015612022578451600f0b83529383019391830191600101612003565b50508093505050508260c083015295945050505050565b6001600160a01b038616815260208101859052610120810161208560408301868051600f0b82526020810151600f0b602083015260408101516040830152606081015160608301525050565b8351600f0b60c083015260209093015160e082015261010001529392505050565b60ff8281168282160390811115610b3257610b32611f15565b6000826120ce576120ce611f57565b500690565b634e487b7160e01b600052600160045260246000fd5b600181815b8085111561212457816000190482111561210a5761210a611f15565b8085161561211757918102915b93841c93908002906120ee565b509250929050565b60008261213b57506001610b32565b8161214857506000610b32565b816001811461215e576002811461216857612184565b6001915050610b32565b60ff84111561217957612179611f15565b50506001821b610b32565b5060208310610133831016604e8410600b84101617156121a7575081810a610b32565b6121b183836120e9565b80600019048211156121c5576121c5611f15565b029392505050565b6000610e51838361212c56fea2646970667358221220bd162171899c822f41b3ae1c9c9b220141e2fe0a42ec2b91b6be0ce23a9d125764736f6c63430008120033

435:3725:3:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1114:49:4;;1162:1;1114:49;;;;;160:25:5;;;148:2;133:18;1114:49:4;;;;;;;;560:42:3;;;;;;;;-1:-1:-1;;;;;360:32:5;;;342:51;;330:2;315:18;560:42:3;196:203:5;2434:453:3;;;;;;:::i;:::-;;:::i;:::-;;3025:510;;;;;;:::i;:::-;;:::i;1691:615::-;;;;;;:::i;:::-;;:::i;2162:34:4:-;;;;;948:557:3;;;;;;:::i;:::-;;:::i;2434:453::-;2564:33;2600:31;:22;:10;:20;:22::i;:::-;:29;:31::i;:::-;2564:67;;2666:1;2649:6;:13;:18;;2641:55;;;;-1:-1:-1;;;2641:55:3;;;;;;;:::i;:::-;;;;;;;;;2707:20;2729;2753:56;2780:17;2799:6;2806:1;2799:9;;;;;;;;:::i;:::-;;;;;;;2753:26;:56::i;:::-;2706:103;;;;2820:60;2833:12;2847;2861:18;:6;2868:1;2861:9;;;;;;;;:::i;:::-;;;;;;;:16;:18::i;:::-;2820:12;:60::i;:::-;2554:333;;;2434:453;;:::o;3025:510::-;3146:33;3182:31;:22;:10;:20;:22::i;:31::-;3146:67;;3248:1;3231:6;:13;:18;;3223:55;;;;-1:-1:-1;;;3223:55:3;;;;;;;:::i;:::-;3309:65;;-1:-1:-1;;;3309:65:3;;;;;160:25:5;;;3288:18:3;;3326:17;-1:-1:-1;;;;;3309:50:3;;;;133:18:5;;3309:65:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;3288:86;;3384:20;3407:49;3434:10;3446:6;3453:1;3446:9;;;;;;;;:::i;:::-;;;;;;;3407:26;:49::i;:::-;3384:72;;3467:61;3480:12;3494:13;3509:18;:6;3516:1;3509:9;;;;;;;;:::i;1691:615::-;1837:33;1873:31;:22;:10;:20;:22::i;:31::-;1837:67;;1939:1;1922:6;:13;:18;;1914:55;;;;-1:-1:-1;;;1914:55:3;;;;;;;:::i;:::-;2000:65;;-1:-1:-1;;;2000:65:3;;;;;160:25:5;;;1979:18:3;;2017:17;-1:-1:-1;;;;;2000:50:3;;;;133:18:5;;2000:65:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;1979:86;;2075:20;2098:49;2125:10;2137:6;2144:1;2137:9;;;;;;;;:::i;2098:49::-;2075:72;;2158:61;2171:12;2185:13;2200:18;:6;2207:1;2200:9;;;;;;;;:::i;2158:61::-;2229:70;2244:5;2251:12;2265:13;2280:18;:6;2287:1;2280:9;;;;;;;;:::i;:18::-;2229:14;:70::i;:::-;1827:479;;;1691:615;;;:::o;948:557::-;1103:33;1139:31;:22;:10;:20;:22::i;:31::-;1103:67;;1205:1;1188:6;:13;:18;;1180:55;;;;-1:-1:-1;;;1180:55:3;;;;;;;:::i;:::-;1246:20;1268;1292:56;1319:17;1338:6;1345:1;1338:9;;;;;;;;:::i;1292:56::-;1245:103;;;;1359:60;1372:12;1386;1400:18;:6;1407:1;1400:9;;;;;;;;:::i;1359:60::-;1429:69;1444:5;1451:12;1465;1479:18;:6;1486:1;1479:9;;;;;;;;:::i;1515:221:0:-;-1:-1:-1;;;;;;;;;;;;;;;;;1701:28:0;;;;;;;;1709:11;;1701:28;;1659:15;;;1701:28;;;;;;;;1515:221::o;2948:519::-;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;3541:617:3:-;3689:7;3698;3717:40;3760:44;3786:17;3760:25;:44::i;:::-;3822:17;;3717:87;;-1:-1:-1;3814:61:3;;;;-1:-1:-1;;;3814:61:3;;4737:2:5;3814:61:3;;;4719:21:5;4776:2;4756:18;;;4749:30;-1:-1:-1;;;4795:18:5;;;4788:47;4852:18;;3814:61:3;4535:341:5;3814:61:3;3978:19;;;;;3927:71;;-1:-1:-1;;;3927:71:3;;;;;160:25:5;;;;3944:17:3;-1:-1:-1;;;;;3927:50:3;;;;133:18:5;;3927:71:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;3906:17;;:92;3885:157;;;;-1:-1:-1;;;3885:157:3;;5083:2:5;3885:157:3;;;5065:21:5;5122:2;5102:18;;;5095:30;-1:-1:-1;;;5141:18:5;;;5134:48;5199:18;;3885:157:3;4881:342:5;3885:157:3;4060:69;4087:12;:26;;;4115:13;4060:26;:69::i;:::-;4131:12;:19;;;4052:99;;;;;3541:617;;;;;:::o;2329:1435:4:-;1162:1;2058:17;2002:1;2074;2058:17;:::i;:::-;2130:25;;2154:1;2130:25;:::i;:::-;2503:45;;;;:::i;:::-;2486:6;:13;:62;;2478:105;;;;-1:-1:-1;;;2478:105:4;;5430:2:5;2478:105:4;;;5412:21:5;5469:2;5449:18;;;5442:30;5508:32;5488:18;;;5481:60;5558:18;;2478:105:4;5228:354:5;2478:105:4;2625:13;2641:160;1403:1;2699:22;;;;;;160:25:5;;148:2;133:18;;14:177;2699:22:4;;;;;;;;;;;;;2689:33;;;;;;2736:11;2761:30;:6;2002:1;2761:21;;;;;;;;:::i;:30::-;2641:34;:160::i;:::-;:166;;;;-1:-1:-1;2817:39:4;2859:199;2058:17;2817:39;2074:1;2058:17;:::i;:::-;2961:30;;;1512:1;2961:30;;;160:25:5;2996:5:4;;133:18:5;2961:30:4;;;;;;;;;;;;;2951:41;;;;;;2943:50;;:58;;;;:::i;:::-;2932:70;;;;;;160:25:5;;148:2;133:18;;14:177;2932:70:4;;;;;;;;;;;;;2922:81;;;;;;3017:11;3042:6;2859:14;:199::i;:::-;2817:241;;3068:13;1099:9;;3091:13;:16;;;:23;;;;:::i;:::-;:30;;;;:::i;:::-;3084:37;;1099:9;3084:37;:::i;:::-;3068:53;-1:-1:-1;3131:29:4;2058:17;3131:29;2074:1;2058:17;:::i;:::-;2130:25;;2154:1;2130:25;:::i;:::-;3176:6;:13;:37;;;;:::i;:::-;3163:51;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3163:51:4;;3131:83;;3229:9;3224:371;2058:17;2002:1;2074;2058:17;:::i;:::-;2130:25;;2154:1;2130:25;:::i;:::-;3248:6;:13;:37;;;;:::i;:::-;3244:1;:41;3224:371;;;3339:237;1677:1;3461:8;1099:9;3461:1;:8;:::i;:::-;3453:16;;:5;:16;:::i;:::-;3422:48;;;;;;6324:25:5;;;;6365:18;;6358:34;6297:18;;3422:48:4;;;-1:-1:-1;;3422:48:4;;;;;;;;;3412:59;;3422:48;3412:59;;;;3401:71;;;160:25:5;133:18;3401:71:4;;;;;;;;;;;;3391:82;;;;;;3491:11;3520:42;:6;3551:1;2002;2074;2058:17;;;;:::i;:::-;2130:25;;2154:1;2130:25;:::i;:::-;3527;;;;:::i;:::-;3520:33;;;;;;;;:::i;3339:237::-;:243;;;3306:13;3320:1;3306:16;;;;;;;;:::i;:::-;;;;;;:278;;;;;;;;;;;3287:3;;;;:::i;:::-;;;3224:371;;;-1:-1:-1;3612:145:4;;-1:-1:-1;;;3612:145:4;;-1:-1:-1;;;;;3625:9:4;3612:36;;;;:145;;3662:5;;3681:13;;3708;;3735:12;;3612:145;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3605:152;;;;2329:1435;;;:::o;6396:448::-;1326:31;;-1:-1:-1;;;1326:31:4;;;7941:66:5;6537:7:4;;;;6590:139;;8023:12:5;;1326:31:4;;;;;;;;;;;;1316:42;;;;;;6668:15;6697:22;:13;:20;:22::i;:::-;6590:32;:139::i;:::-;6747:14;;6556:173;;-1:-1:-1;6739:62:4;;;;-1:-1:-1;;;6739:62:4;;8248:2:5;6739:62:4;;;8230:21:5;8287:2;8267:18;;;8260:30;8326:34;8306:18;;;8299:62;-1:-1:-1;;;8377:18:5;;;8370:33;8420:19;;6739:62:4;8046:399:5;6739:62:4;6818:19;;;;-1:-1:-1;6396:448:4;;;;;:::o;3817:1334::-;1820:28;1759:1;1847;1820:28;:::i;:::-;1904:30;;1933:1;1904:30;:::i;:::-;4015:26;;4040:1;4015:26;:::i;:::-;3998:6;:13;:43;3990:88;;;;-1:-1:-1;;;3990:88:4;;8652:2:5;3990:88:4;;;8634:21:5;;;8671:18;;;8664:30;8730:34;8710:18;;;8703:62;8782:18;;3990:88:4;8450:356:5;3990:88:4;4120:24;4147:241;1459:1;4277:4;4243:39;;;;;;;;8985:25:5;;;-1:-1:-1;;;;;9046:32:5;9041:2;9026:18;;9019:60;8973:2;8958:18;;8811:274;4243:39:4;;;;-1:-1:-1;;4243:39:4;;;;;;;;;4233:50;;4243:39;4233:50;;;;4222:62;;;160:25:5;133:18;4222:62:4;14:177:5;4147:241:4;:247;;;;-1:-1:-1;4404:44:4;4451:249;1820:28;4404:44;1847:1;1820:28;:::i;:::-;4627:16;1570:1;4615:4;4579:41;;;;;;;;8985:25:5;;;-1:-1:-1;;;;;9046:32:5;9041:2;9026:18;;9019:60;8973:2;8958:18;;8811:274;4579:41:4;;;;-1:-1:-1;;4579:41:4;;;;;;;;;4569:52;;4579:41;4569:52;;;;4558:64;;;160:25:5;133:18;4558:64:4;14:177:5;4451:249:4;4404:296;-1:-1:-1;4710:40:4;4753:199;1820:28;4710:40;1847:1;1820:28;:::i;:::-;1904:30;;1933:1;1904:30;:::i;:::-;4857:37;;;1624:1;4857:37;;;8985:25:5;-1:-1:-1;;;;;9046:32:5;;9026:18;;;9019:60;;;;8958:18;;4857:37:4;;;-1:-1:-1;;4857:37:4;;;;;;;;;4847:48;;4857:37;4847:48;;;;4836:60;;;160:25:5;133:18;4836:60:4;;;;;;;;;;;;4826:71;;;;;;4911:11;4936:6;4753:23;:199::i;:::-;4970:174;;-1:-1:-1;;;4970:174:4;;4710:242;;-1:-1:-1;;;;;;4983:9:4;4970:38;;;;:174;;5022:4;;5040:16;;5070:18;;4710:242;;5122:12;;4970:174;;;:::i;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;:::-;9585:42;9134:581;-1:-1:-1;;;9134:581:0:o;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;1570:610:2:-;-1:-1:-1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1726:39:2;1768:36;:27;:15;:25;:27::i;:36::-;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;3657:593::-;-1:-1:-1;;;;;;;;;;;;;;;;;3865:26:2;3894:146;3953:16;4000:9;3983:27;;;;;;10078:19:5;;10122:2;10113:12;;9949:182;3983:27:2;;;;;;;;;;;;;4024:6;3894:45;:146::i;:::-;-1:-1:-1;;;;;;;;;;;;;;;;;3865:175:2;;-1:-1:-1;4088:20:2;;:25;4084:137;;4144:4;4129:19;;4176:34;:25;:13;:23;:25::i;:::-;:32;:34::i;:::-;4162:11;;;:48;4084:137;4238:5;3657:593;-1:-1:-1;;;;;3657:593:2:o;5157:754:4:-;-1:-1:-1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5348:102:4;5404:4;5393:16;;;;;;160:25:5;;148:2;133:18;;14:177;5393:16:4;;;;;;;;;;;;;5383:27;;;;;;5412:11;5425:24;:6;5432:7;5425:15;;;;;;;;:::i;5348:102::-;:108;;;5325:133;;;;5492:119;5548:17;5556:4;5564:1;5548:17;:::i;:::-;5537:29;;;;;;160:25:5;;148:2;133:18;;14:177;5537:29:4;;;;;;;;;;;;;5527:40;;;;;;5569:11;5582:28;:6;5589:7;5599:1;5589:11;;;;:::i;5492:119::-;:125;;;;;5468:151;;:7;;;:151;5636:119;5692:17;5700:4;5708:1;5692:17;:::i;:::-;5681:29;;;;;;160:25:5;;148:2;133:18;;14:177;5681:29:4;;;;;;;;;;;;;5671:40;;;;;;5713:11;5726:28;:6;5733:7;5743:1;5733:11;;;;:::i;5636:119::-;:125;;;5629:4;;;:132;5779:119;5835:17;5843:4;5851:1;5835:17;:::i;:::-;5824:29;;;;;;160:25:5;;148:2;133:18;;14:177;5824:29:4;;;;;;;;;;;;;5814:40;;;;;;5856:11;5869:28;:6;5876:7;5886:1;5876:11;;;;:::i;5779:119::-;:125;;;5771:5;;;:133;:1;5157:754;-1:-1:-1;;;;5157:754:4:o;2461:942:2:-;-1:-1:-1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2706:25:2;2734:147;2793:14;2838:12;2821:30;;;;;;10078:19:5;;10122:2;10113:12;;9949:182;2734:147:2;-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;:22;:24::i;:33::-;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:16:2;2461:942;-1:-1:-1;;;;;2461:942:2:o;5917:473:4:-;-1:-1:-1;;;;;;;;;;;;;;;;;6129:102:4;6185:4;6174:16;;;;;;160:25:5;;148:2;133:18;;14:177;6129:102:4;:108;;;6103:136;;;;6258:119;6314:17;6322:4;6330:1;6314:17;:::i;6258:119::-;:125;;;;;6249:6;;;:134;:2;5917:473;-1:-1:-1;;;;5917:473:4:o;6051:467:0:-;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;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;2392:281:0:-;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;9177:845:1:-;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;4054:272:0;7841:166:1;4158:11:0;;;;4193:8;;4268:19;;7953:42:1;;;;;;10078:19:5;;10122:2;10113:12;;9949: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;404:127:5:-;465:10;460:3;456:20;453:1;446:31;496:4;493:1;486:15;520:4;517:1;510:15;536:718;578:5;631:3;624:4;616:6;612:17;608:27;598:55;;649:1;646;639:12;598:55;685:6;672:20;711:18;748:2;744;741:10;738:36;;;754:18;;:::i;:::-;829:2;823:9;797:2;883:13;;-1:-1:-1;;879:22:5;;;903:2;875:31;871:40;859:53;;;927:18;;;947:22;;;924:46;921:72;;;973:18;;:::i;:::-;1013:10;1009:2;1002:22;1048:2;1040:6;1033:18;1094:3;1087:4;1082:2;1074:6;1070:15;1066:26;1063:35;1060:55;;;1111:1;1108;1101:12;1060:55;1175:2;1168:4;1160:6;1156:17;1149:4;1141:6;1137:17;1124:54;1222:1;1215:4;1210:2;1202:6;1198:15;1194:26;1187:37;1242:6;1233:15;;;;;;536:718;;;;:::o;1259:539::-;1345:6;1353;1406:2;1394:9;1385:7;1381:23;1377:32;1374:52;;;1422:1;1419;1412:12;1374:52;1462:9;1449:23;1491:18;1532:2;1524:6;1521:14;1518:34;;;1548:1;1545;1538:12;1518:34;1571:49;1612:7;1603:6;1592:9;1588:22;1571:49;:::i;:::-;1561:59;;1673:2;1662:9;1658:18;1645:32;1629:48;;1702:2;1692:8;1689:16;1686:36;;;1718:1;1715;1708:12;1686:36;;1741:51;1784:7;1773:8;1762:9;1758:24;1741:51;:::i;:::-;1731:61;;;1259:539;;;;;:::o;1803:388::-;1880:6;1888;1941:2;1929:9;1920:7;1916:23;1912:32;1909:52;;;1957:1;1954;1947:12;1909:52;1993:9;1980:23;1970:33;;2054:2;2043:9;2039:18;2026:32;2081:18;2073:6;2070:30;2067:50;;;2113:1;2110;2103:12;2067:50;2136:49;2177:7;2168:6;2157:9;2153:22;2136:49;:::i;2196:173::-;2264:20;;-1:-1:-1;;;;;2313:31:5;;2303:42;;2293:70;;2359:1;2356;2349:12;2374:462;2460:6;2468;2476;2529:2;2517:9;2508:7;2504:23;2500:32;2497:52;;;2545:1;2542;2535:12;2497:52;2568:29;2587:9;2568:29;:::i;:::-;2558:39;;2644:2;2633:9;2629:18;2616:32;2606:42;;2699:2;2688:9;2684:18;2671:32;2726:18;2718:6;2715:30;2712:50;;;2758:1;2755;2748:12;2712:50;2781:49;2822:7;2813:6;2802:9;2798:22;2781:49;:::i;:::-;2771:59;;;2374:462;;;;;:::o;2841:613::-;2936:6;2944;2952;3005:2;2993:9;2984:7;2980:23;2976:32;2973:52;;;3021:1;3018;3011:12;2973:52;3044:29;3063:9;3044:29;:::i;:::-;3034:39;;3124:2;3113:9;3109:18;3096:32;3147:18;3188:2;3180:6;3177:14;3174:34;;;3204:1;3201;3194:12;3174:34;3227:49;3268:7;3259:6;3248:9;3244:22;3227:49;:::i;:::-;3217:59;;3329:2;3318:9;3314:18;3301:32;3285:48;;3358:2;3348:8;3345:16;3342:36;;;3374:1;3371;3364:12;3342:36;;3397:51;3440:7;3429:8;3418:9;3414:24;3397:51;:::i;3459:348::-;3661:2;3643:21;;;3700:2;3680:18;;;3673:30;3739:26;3734:2;3719:18;;3712:54;3798:2;3783:18;;3459:348::o;3812:127::-;3873:10;3868:3;3864:20;3861:1;3854:31;3904:4;3901:1;3894:15;3928:4;3925:1;3918:15;3944:184;4014:6;4067:2;4055:9;4046:7;4042:23;4038:32;4035:52;;;4083:1;4080;4073:12;4035:52;-1:-1:-1;4106:16:5;;3944:184;-1:-1:-1;3944:184:5:o;4133:127::-;4194:10;4189:3;4185:20;4182:1;4175:31;4225:4;4222:1;4215:15;4249:4;4246:1;4239:15;4265:125;4330:9;;;4351:10;;;4348:36;;;4364:18;;:::i;4395:135::-;4434:3;4455:17;;;4452:43;;4475:18;;:::i;:::-;-1:-1:-1;4522:1:5;4511:13;;4395:135::o;5587:127::-;5648:10;5643:3;5639:20;5636:1;5629:31;5679:4;5676:1;5669:15;5703:4;5700:1;5693:15;5719:120;5759:1;5785;5775:35;;5790:18;;:::i;:::-;-1:-1:-1;5824:9:5;;5719:120::o;5844:168::-;5917:9;;;5948;;5965:15;;;5959:22;;5945:37;5935:71;;5986:18;;:::i;6017:128::-;6084:9;;;6105:11;;;6102:37;;;6119:18;;:::i;6880:927::-;7150:4;7198:3;7187:9;7183:19;7229:6;7218:9;7211:25;7255:2;7266:51;7313:2;7302:9;7298:18;7290:6;6677:5;6671:12;6667:2;6656:28;6651:3;6644:41;6749:4;6742:5;6738:16;6732:23;6728:2;6717:39;6710:4;6705:3;6701:14;6694:63;6806:4;6799:5;6795:16;6789:23;6782:4;6777:3;6773:14;6766:47;6862:4;6855:5;6851:16;6845:23;6838:4;6833:3;6829:14;6822:47;;;6585:290;7266:51;7354:3;7348;7333:19;;7326:32;7407:13;;7429:22;;;;7509:15;;;;7482:3;7467:19;;;7542:1;7552:185;7566:6;7563:1;7560:13;7552:185;;;7642:13;;7638:2;7627:29;7615:42;;7712:15;;;;7677:12;;;;7588:1;7581:9;7552:185;;;7556:3;;7754;7746:11;;;;;7794:6;7788:3;7777:9;7773:19;7766:35;6880:927;;;;;;;:::o;9090:698::-;-1:-1:-1;;;;;9475:32:5;;9457:51;;9539:2;9524:18;;9517:34;;;9444:3;9429:19;;9560:51;9607:2;9592:18;;9584:6;6677:5;6671:12;6667:2;6656:28;6651:3;6644:41;6749:4;6742:5;6738:16;6732:23;6728:2;6717:39;6710:4;6705:3;6701:14;6694:63;6806:4;6799:5;6795:16;6789:23;6782:4;6777:3;6773:14;6766:47;6862:4;6855:5;6851:16;6845:23;6838:4;6833:3;6829:14;6822:47;;;6585:290;9560:51;9663:13;;9659:2;9648:29;9642:3;9627:19;;9620:58;9733:2;9721:15;;;9715:22;9709:3;9694:19;;9687:51;9769:3;9754:19;9747:35;9090:698;;-1:-1:-1;;;9090:698:5:o;9793:151::-;9883:4;9876:12;;;9862;;;9858:31;;9901:14;;9898:40;;;9918:18;;:::i;10136:112::-;10168:1;10194;10184:35;;10199:18;;:::i;:::-;-1:-1:-1;10233:9:5;;10136:112::o;10253:127::-;10314:10;10309:3;10305:20;10302:1;10295:31;10345:4;10342:1;10335:15;10369:4;10366:1;10359:15;10385:422;10474:1;10517:5;10474:1;10531:270;10552:7;10542:8;10539:21;10531:270;;;10611:4;10607:1;10603:6;10599:17;10593:4;10590:27;10587:53;;;10620:18;;:::i;:::-;10670:7;10660:8;10656:22;10653:55;;;10690:16;;;;10653:55;10769:22;;;;10729:15;;;;10531:270;;;10535:3;10385:422;;;;;:::o;10812:806::-;10861:5;10891:8;10881:80;;-1:-1:-1;10932:1:5;10946:5;;10881:80;10980:4;10970:76;;-1:-1:-1;11017:1:5;11031:5;;10970:76;11062:4;11080:1;11075:59;;;;11148:1;11143:130;;;;11055:218;;11075:59;11105:1;11096:10;;11119:5;;;11143:130;11180:3;11170:8;11167:17;11164:43;;;11187:18;;:::i;:::-;-1:-1:-1;;11243:1:5;11229:16;;11258:5;;11055:218;;11357:2;11347:8;11344:16;11338:3;11332:4;11329:13;11325:36;11319:2;11309:8;11306:16;11301:2;11295:4;11292:12;11288:35;11285:77;11282:159;;;-1:-1:-1;11394:19:5;;;11426:5;;11282:159;11473:34;11498:8;11492:4;11473:34;:::i;:::-;11543:6;11539:1;11535:6;11531:19;11522:7;11519:32;11516:58;;;11554:18;;:::i;:::-;11592:20;;10812:806;-1:-1:-1;;;10812:806:5:o;11623:131::-;11683:5;11712:36;11739:8;11733:4;11712:36;:::i

ipfs://bd162171899c822f41b3ae1c9c9b220141e2fe0a42ec2b91b6be0ce23a9d1257