[{"inputs":[{"components":[{"internalType":"bytes","name":"seal","type":"bytes"},{"components":[{"internalType":"bytes32","name":"preStateDigest","type":"bytes32"},{"internalType":"bytes32","name":"postStateDigest","type":"bytes32"},{"components":[{"internalType":"enum SystemExitCode","name":"system","type":"uint8"},{"internalType":"uint8","name":"user","type":"uint8"}],"internalType":"struct ExitCode","name":"exitCode","type":"tuple"},{"internalType":"bytes32","name":"input","type":"bytes32"},{"internalType":"bytes32","name":"output","type":"bytes32"}],"internalType":"struct ReceiptMetadata","name":"meta","type":"tuple"}],"internalType":"struct Receipt","name":"receipt","type":"tuple"}],"name":"verify","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes","name":"seal","type":"bytes"},{"internalType":"bytes32","name":"imageId","type":"bytes32"},{"internalType":"bytes32","name":"postStateDigest","type":"bytes32"},{"internalType":"bytes32","name":"journalHash","type":"bytes32"}],"name":"verify","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256[2]","name":"_pA","type":"uint256[2]"},{"internalType":"uint256[2][2]","name":"_pB","type":"uint256[2][2]"},{"internalType":"uint256[2]","name":"_pC","type":"uint256[2]"},{"internalType":"uint256[4]","name":"_pubSignals","type":"uint256[4]"}],"name":"verifyProof","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"}]

608060405234801561001057600080fd5b50610fb6806100206000396000f3fe608060405234801561001057600080fd5b50600436106100415760003560e01c806304b18430146100465780635fe8c13b1461006d5780636efef00914610080575b600080fd5b610059610054366004610b69565b610093565b604051901515815260200160405180910390f35b61005961007b366004610c91565b610195565b61005961008e366004610ceb565b61070d565b60008060006100ad6100a88560200151610785565b6108e8565b91509150600084600001518060200190518101906100cb9190610d8f565b9050306001600160a01b0316635fe8c13b82600001518360200151846040015160405180608001604052806f1eece9585d11a13832b205d334d9747881526020016f06b74fed6685c71e0cf31d881093df868152602001898152602001888152506040518563ffffffff1660e01b815260040161014b9493929190610e52565b602060405180830381865afa158015610168573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061018c9190610ef9565b95945050505050565b60006106a8565b7f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4781106101cd576000805260206000f35b50565b600060405183815284602082015285604082015260408160608360076107d05a03fa915081610203576000805260206000f35b825160408201526020830151606082015260408360808360066107d05a03fa91505080610234576000805260206000f35b5050505050565b7f0bae4e8249e16a7a60ccd0215fbe09b3850e8c18213acdb7f3e778e83909cb5585527f295a20c060882ebb89c0339f67c0659b89ab239bfa1239943d6e73841804e11c6020860152600060808601866102d887357f1b88e5dd5422d4c00bda2bc18bc9ac5aba22b30f81d6f6f68620226b984ac2667f094bd9c4b3869496bcf8ab0f733cc6b64243b5d408d09b701b16e7ddd124b17e846101d0565b61032860208801357f0f680c08630f998c5fac176e593c8c7ee279105baff2d93aeaed5a5add0ccfd67f2110dccdaf8ae02a1da45b139c06df34536f19e6826d66879420751a419c1a10846101d0565b61037860408801357f25ee06c4f9429471049948199b2973a538d9baff5425b52ce978bc88547ddc237f0e65c1c9ab69133c2e7399aa172eb5a89ccb7e7ba844a10f87c8cc729a0b3b79846101d0565b6103c860608801357f23fdad98b64dbcbc1866faf6f7da3d769c91699bb729c94271dc428811d95e517f0b7c7639a64cb5505831eb09e75d41862c63b1f3ec55fc432a60b989eeaad5a5846101d0565b50823581527f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4760208401357f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4703066020820152833560408201526020840135606082015260408401356080820152606084013560a08201527f2d4d9aa7e302d9df41749d5507949d05dbea33fbb16c643b22f599a2be6df2e260c08201527f14bedd503c37ceb061d8ec60209fe345ce89830a19230301f076caff004d192660e08201527f0967032fcbf776d1afc985f88877f182d38480a653f2decaa9794cbc3bf3060c6101008201527f0e187847ad4c798374d0d6732bf501847dd68bc0e071241e0213bc7fc13db7ab6101208201527f304cfbd1e08a704a99f5e847d93f8c3caafddec46b7a0d379da69a4d112346a76101408201527f1739c1b1a457a8c7313123d24d2f9192f896b7c63eea05a9d57f06547ad0cec8610160820152600087015161018082015260206000018701516101a08201527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26101c08201527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6101e08201527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b6102008201527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa610220820152843561024082015260208501356102608201527f0a6008ab4cc1bd4d647ed2cff1e0b8ca0054671933e88db5a3b9ddd1da3e639b6102808201527f10c52794a66c080c8ac9277927ca7445ca3ddd0329d8608d7597717b7c92ff9c6102a08201527f072d09dcb173b12b4fb9e03211117343ccddcfe1b0ed51773de3a1d4b77a39ef6102c08201527f2a76ad9b76212033cf9639834b6c49af0f1edff4a14d9573bed2a1e045c70ce26102e08201526020816103008360086107d05a03fa9051169695505050505050565b60405161038081016040526106c0600084013561019c565b6106cd602084013561019c565b6106da604084013561019c565b6106e7606084013561019c565b6106f4608084013561019c565b610701818486888a61023b565b90508060005260206000f35b60008060405180604001604052808781526020016040518060a0016040528088815260200187815260200160405180604001604052806000600281111561075657610756610f22565b8152600060209182018190529183528201526040018690529052905061077b81610093565b9695505050505050565b60006002806040516107ae907072697363302e526563656970744d65746160781b815260110190565b602060405180830381855afa1580156107cb573d6000803e3d6000fd5b5050506040513d601f19601f820116820180604052508101906107ee9190610f38565b6060840151845160208601516080870151604088015151601890600281111561081957610819610f22565b60408a810151602090810151825191820199909952908101969096526060860194909452608085019290925260a084015263ffffffff909116901b60e01b6001600160e01b03191660c082015260f89190911b6001600160f81b03191660c4820152600160fa1b60c882015260ca0160408051601f19818403018152908290526108a291610f51565b602060405180830381855afa1580156108bf573d6000803e3d6000fd5b5050506040513d601f19601f820116820180604052508101906108e29190610f38565b92915050565b60008080610a358460008190506008817eff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff16901b6008827fff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff0016901c1790506010817dffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff16901b6010827fffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff000016901c1790506020817bffffffff00000000ffffffff00000000ffffffff00000000ffffffff16901b6020827fffffffff00000000ffffffff00000000ffffffff00000000ffffffff0000000016901c17905060408177ffffffffffffffff0000000000000000ffffffffffffffff16901b60408277ffffffffffffffff0000000000000000ffffffffffffffff1916901c179050608081901b608082901c179050919050565b6fffffffffffffffffffffffffffffffff81169560809190911c945092505050565b634e487b7160e01b600052604160045260246000fd5b6040805190810167ffffffffffffffff81118282101715610a9057610a90610a57565b60405290565b60405160a0810167ffffffffffffffff81118282101715610a9057610a90610a57565b6040516060810167ffffffffffffffff81118282101715610a9057610a90610a57565b600082601f830112610aed57600080fd5b813567ffffffffffffffff80821115610b0857610b08610a57565b604051601f8301601f19908116603f01168101908282118183101715610b3057610b30610a57565b81604052838152866020858801011115610b4957600080fd5b836020870160208301376000602085830101528094505050505092915050565b600060208284031215610b7b57600080fd5b813567ffffffffffffffff80821115610b9357600080fd5b9083019081850360e0811215610ba857600080fd5b610bb0610a6d565b833583811115610bbf57600080fd5b610bcb88828701610adc565b82525060c0601f1983011215610be057600080fd5b610be8610a96565b925060208401358352604084013560208401526040605f1983011215610c0d57600080fd5b610c15610a6d565b9150606084013560038110610c2957600080fd5b8252608084013560ff81168114610c3f57600080fd5b602083810191909152604084019290925260a0840135606084015260c09093013560808301528201529392505050565b80604081018310156108e257600080fd5b80608081018310156108e257600080fd5b6000806000806101808587031215610ca857600080fd5b610cb28686610c6f565b9350610cc18660408701610c80565b9250610cd08660c08701610c6f565b9150610ce0866101008701610c80565b905092959194509250565b60008060008060808587031215610d0157600080fd5b843567ffffffffffffffff811115610d1857600080fd5b610d2487828801610adc565b97602087013597506040870135966060013595509350505050565b600082601f830112610d5057600080fd5b610d58610a6d565b806040840185811115610d6a57600080fd5b845b81811015610d84578051845260209384019301610d6c565b509095945050505050565b60006101008284031215610da257600080fd5b610daa610ab9565b610db48484610d3f565b8152604084605f850112610dc757600080fd5b610dcf610a6d565b8060c0860187811115610de157600080fd5b8387015b81811015610e0657610df78982610d3f565b84526020909301928401610de5565b50816020860152610e178882610d3f565b84860152505050508091505092915050565b8060005b6002811015610e4c578151845260209384019390910190600101610e2d565b50505050565b6101808101610e618287610e29565b60408083018660005b6002808210610e795750610eb4565b82518460005b83811015610e9d578251825260209283019290910190600101610e7f565b505050928401925060209190910190600101610e6a565b50505050610ec560c0830185610e29565b61010082018360005b6004811015610eed578151835260209283019290910190600101610ece565b50505095945050505050565b600060208284031215610f0b57600080fd5b81518015158114610f1b57600080fd5b9392505050565b634e487b7160e01b600052602160045260246000fd5b600060208284031215610f4a57600080fd5b5051919050565b6000825160005b81811015610f725760208186018101518583015201610f58565b50600092019182525091905056fea26469706673582212201e7f22c5bc8da02707736266357894aa90485842d9efa83f666a12e102810ce464736f6c63430008140033

0x608060405234801561001057600080fd5b50600436106100415760003560e01c806304b18430146100465780635fe8c13b1461006d5780636efef00914610080575b600080fd5b610059610054366004610b69565b610093565b604051901515815260200160405180910390f35b61005961007b366004610c91565b610195565b61005961008e366004610ceb565b61070d565b60008060006100ad6100a88560200151610785565b6108e8565b91509150600084600001518060200190518101906100cb9190610d8f565b9050306001600160a01b0316635fe8c13b82600001518360200151846040015160405180608001604052806f1eece9585d11a13832b205d334d9747881526020016f06b74fed6685c71e0cf31d881093df868152602001898152602001888152506040518563ffffffff1660e01b815260040161014b9493929190610e52565b602060405180830381865afa158015610168573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061018c9190610ef9565b95945050505050565b60006106a8565b7f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4781106101cd576000805260206000f35b50565b600060405183815284602082015285604082015260408160608360076107d05a03fa915081610203576000805260206000f35b825160408201526020830151606082015260408360808360066107d05a03fa91505080610234576000805260206000f35b5050505050565b7f0bae4e8249e16a7a60ccd0215fbe09b3850e8c18213acdb7f3e778e83909cb5585527f295a20c060882ebb89c0339f67c0659b89ab239bfa1239943d6e73841804e11c6020860152600060808601866102d887357f1b88e5dd5422d4c00bda2bc18bc9ac5aba22b30f81d6f6f68620226b984ac2667f094bd9c4b3869496bcf8ab0f733cc6b64243b5d408d09b701b16e7ddd124b17e846101d0565b61032860208801357f0f680c08630f998c5fac176e593c8c7ee279105baff2d93aeaed5a5add0ccfd67f2110dccdaf8ae02a1da45b139c06df34536f19e6826d66879420751a419c1a10846101d0565b61037860408801357f25ee06c4f9429471049948199b2973a538d9baff5425b52ce978bc88547ddc237f0e65c1c9ab69133c2e7399aa172eb5a89ccb7e7ba844a10f87c8cc729a0b3b79846101d0565b6103c860608801357f23fdad98b64dbcbc1866faf6f7da3d769c91699bb729c94271dc428811d95e517f0b7c7639a64cb5505831eb09e75d41862c63b1f3ec55fc432a60b989eeaad5a5846101d0565b50823581527f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4760208401357f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4703066020820152833560408201526020840135606082015260408401356080820152606084013560a08201527f2d4d9aa7e302d9df41749d5507949d05dbea33fbb16c643b22f599a2be6df2e260c08201527f14bedd503c37ceb061d8ec60209fe345ce89830a19230301f076caff004d192660e08201527f0967032fcbf776d1afc985f88877f182d38480a653f2decaa9794cbc3bf3060c6101008201527f0e187847ad4c798374d0d6732bf501847dd68bc0e071241e0213bc7fc13db7ab6101208201527f304cfbd1e08a704a99f5e847d93f8c3caafddec46b7a0d379da69a4d112346a76101408201527f1739c1b1a457a8c7313123d24d2f9192f896b7c63eea05a9d57f06547ad0cec8610160820152600087015161018082015260206000018701516101a08201527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26101c08201527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6101e08201527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b6102008201527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa610220820152843561024082015260208501356102608201527f0a6008ab4cc1bd4d647ed2cff1e0b8ca0054671933e88db5a3b9ddd1da3e639b6102808201527f10c52794a66c080c8ac9277927ca7445ca3ddd0329d8608d7597717b7c92ff9c6102a08201527f072d09dcb173b12b4fb9e03211117343ccddcfe1b0ed51773de3a1d4b77a39ef6102c08201527f2a76ad9b76212033cf9639834b6c49af0f1edff4a14d9573bed2a1e045c70ce26102e08201526020816103008360086107d05a03fa9051169695505050505050565b60405161038081016040526106c0600084013561019c565b6106cd602084013561019c565b6106da604084013561019c565b6106e7606084013561019c565b6106f4608084013561019c565b610701818486888a61023b565b90508060005260206000f35b60008060405180604001604052808781526020016040518060a0016040528088815260200187815260200160405180604001604052806000600281111561075657610756610f22565b8152600060209182018190529183528201526040018690529052905061077b81610093565b9695505050505050565b60006002806040516107ae907072697363302e526563656970744d65746160781b815260110190565b602060405180830381855afa1580156107cb573d6000803e3d6000fd5b5050506040513d601f19601f820116820180604052508101906107ee9190610f38565b6060840151845160208601516080870151604088015151601890600281111561081957610819610f22565b60408a810151602090810151825191820199909952908101969096526060860194909452608085019290925260a084015263ffffffff909116901b60e01b6001600160e01b03191660c082015260f89190911b6001600160f81b03191660c4820152600160fa1b60c882015260ca0160408051601f19818403018152908290526108a291610f51565b602060405180830381855afa1580156108bf573d6000803e3d6000fd5b5050506040513d601f19601f820116820180604052508101906108e29190610f38565b92915050565b60008080610a358460008190506008817eff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff16901b6008827fff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff0016901c1790506010817dffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff16901b6010827fffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff000016901c1790506020817bffffffff00000000ffffffff00000000ffffffff00000000ffffffff16901b6020827fffffffff00000000ffffffff00000000ffffffff00000000ffffffff0000000016901c17905060408177ffffffffffffffff0000000000000000ffffffffffffffff16901b60408277ffffffffffffffff0000000000000000ffffffffffffffff1916901c179050608081901b608082901c179050919050565b6fffffffffffffffffffffffffffffffff81169560809190911c945092505050565b634e487b7160e01b600052604160045260246000fd5b6040805190810167ffffffffffffffff81118282101715610a9057610a90610a57565b60405290565b60405160a0810167ffffffffffffffff81118282101715610a9057610a90610a57565b6040516060810167ffffffffffffffff81118282101715610a9057610a90610a57565b600082601f830112610aed57600080fd5b813567ffffffffffffffff80821115610b0857610b08610a57565b604051601f8301601f19908116603f01168101908282118183101715610b3057610b30610a57565b81604052838152866020858801011115610b4957600080fd5b836020870160208301376000602085830101528094505050505092915050565b600060208284031215610b7b57600080fd5b813567ffffffffffffffff80821115610b9357600080fd5b9083019081850360e0811215610ba857600080fd5b610bb0610a6d565b833583811115610bbf57600080fd5b610bcb88828701610adc565b82525060c0601f1983011215610be057600080fd5b610be8610a96565b925060208401358352604084013560208401526040605f1983011215610c0d57600080fd5b610c15610a6d565b9150606084013560038110610c2957600080fd5b8252608084013560ff81168114610c3f57600080fd5b602083810191909152604084019290925260a0840135606084015260c09093013560808301528201529392505050565b80604081018310156108e257600080fd5b80608081018310156108e257600080fd5b6000806000806101808587031215610ca857600080fd5b610cb28686610c6f565b9350610cc18660408701610c80565b9250610cd08660c08701610c6f565b9150610ce0866101008701610c80565b905092959194509250565b60008060008060808587031215610d0157600080fd5b843567ffffffffffffffff811115610d1857600080fd5b610d2487828801610adc565b97602087013597506040870135966060013595509350505050565b600082601f830112610d5057600080fd5b610d58610a6d565b806040840185811115610d6a57600080fd5b845b81811015610d84578051845260209384019301610d6c565b509095945050505050565b60006101008284031215610da257600080fd5b610daa610ab9565b610db48484610d3f565b8152604084605f850112610dc757600080fd5b610dcf610a6d565b8060c0860187811115610de157600080fd5b8387015b81811015610e0657610df78982610d3f565b84526020909301928401610de5565b50816020860152610e178882610d3f565b84860152505050508091505092915050565b8060005b6002811015610e4c578151845260209384019390910190600101610e2d565b50505050565b6101808101610e618287610e29565b60408083018660005b6002808210610e795750610eb4565b82518460005b83811015610e9d578251825260209283019290910190600101610e7f565b505050928401925060209190910190600101610e6a565b50505050610ec560c0830185610e29565b61010082018360005b6004811015610eed578151835260209283019290910190600101610ece565b50505095945050505050565b600060208284031215610f0b57600080fd5b81518015158114610f1b57600080fd5b9392505050565b634e487b7160e01b600052602160045260246000fd5b600060208284031215610f4a57600080fd5b5051919050565b6000825160005b81811015610f725760208186018101518583015201610f58565b50600092019182525091905056fea26469706673582212201e7f22c5bc8da02707736266357894aa90485842d9efa83f666a12e102810ce464736f6c63430008140033

2975:2190:3:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4135:313;;;;;;:::i;:::-;;:::i;:::-;;;3250:14:4;;3243:22;3225:41;;3213:2;3198:18;4135:313:3;;;;;;;3867:4268:2;;;;;;:::i;:::-;;:::i;4797:366:3:-;;;;;;:::i;:::-;;:::i;4135:313::-;4196:4;4213:13;4228;4245:34;4257:21;:7;:12;;;:19;:21::i;:::-;4245:11;:34::i;:::-;4212:67;;;;4289:16;4319:7;:12;;;4308:32;;;;;;;;;;;;:::i;:::-;4289:51;;4357:4;-1:-1:-1;;;;;4357:16:3;;4374:4;:6;;;4382:4;:6;;;4390:4;:6;;;4357:84;;;;;;;;3281:34;4357:84;;;;3371:34;4357:84;;;;4427:5;4357:84;;;;4434:5;4357:84;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;4350:91;4135:313;-1:-1:-1;;;;;4135:313:3:o;3867:4268:2:-;4058:4;4097:163;;;4154:1;4151;4148:8;4138:108;;4190:1;4187;4180:12;4223:4;4220:1;4213:15;4138:108;4097:163;:::o;4352:738::-;4403:11;4448:4;4442:11;4482:1;4477:3;4470:14;4522:1;4517:2;4512:3;4508:12;4501:23;4562:1;4557:2;4552:3;4548:12;4541:23;4639:2;4634:3;4630:2;4625:3;4622:1;4615:4;4608:5;4604:16;4593:49;4582:60;;4670:7;4660:107;;4711:1;4708;4701:12;4744:4;4741:1;4734:15;4660:107;4812:2;4806:9;4801:2;4796:3;4792:12;4785:31;4868:2;4864;4860:11;4854:18;4849:2;4844:3;4840:12;4833:40;4948:2;4944;4939:3;4934;4931:1;4924:4;4917:5;4913:16;4902:49;4891:60;;;4979:7;4969:107;;5020:1;5017;5010:12;5053:4;5050:1;5043:15;4969:107;;4352:738;;;;:::o;5104:2405::-;5292:4;5279:18;;5336:4;5331:2;5321:13;;5314:27;5159:4;5209:8;5199:19;;5203:4;5415:62;5444:32;;5438:4;5432;5203;5415:62;:::i;:::-;5495:63;5553:2;5541:10;5537:19;5524:33;5518:4;5512;5506;5495:63;:::i;:::-;5576;5634:2;5622:10;5618:19;5605:33;5599:4;5593;5587;5576:63;:::i;:::-;5657;5715:2;5703:10;5699:19;5686:33;5680:4;5674;5668;5657:63;:::i;:::-;;5791:2;5778:16;5767:9;5760:35;5878:1;5871:2;5867;5863:11;5850:25;5847:1;5843:33;5839:41;5834:2;5823:9;5819:18;5812:69;5960:2;5947:16;5942:2;5931:9;5927:18;5920:44;6029:2;6025;6021:11;6008:25;6003:2;5992:9;5988:18;5981:53;6100:2;6096;6092:11;6079:25;6073:3;6062:9;6058:19;6051:54;6171:2;6167;6163:11;6150:25;6144:3;6133:9;6129:19;6122:54;6248:6;6242:3;6231:9;6227:19;6220:35;6300:6;6294:3;6283:9;6279:19;6272:35;6378:6;6372:3;6361:9;6357:19;6350:35;6430:6;6424:3;6413:9;6409:19;6402:35;6482:6;6476:3;6465:9;6461:19;6454:35;6534:6;6528:3;6517:9;6513:19;6506:35;6627:3;6621:4;6617:14;6611:21;6605:3;6594:9;6590:19;6583:50;6703:2;6698:3;6694:12;6688:4;6684:23;6678:30;6672:3;6661:9;6657:19;6650:59;6781:7;6775:3;6764:9;6760:19;6753:36;6834:7;6828:3;6817:9;6813:19;6806:36;6887:7;6881:3;6870:9;6866:19;6859:36;6940:7;6934:3;6923:9;6919:19;6912:36;7028:2;7015:16;7009:3;6998:9;6994:19;6987:45;7098:2;7094;7090:11;7077:25;7071:3;7060:9;7056:19;7049:54;7175:7;7169:3;7158:9;7154:19;7147:36;7228:7;7222:3;7211:9;7207:19;7200:36;7281:7;7275:3;7264:9;7260:19;7253:36;7334:7;7328:3;7317:9;7313:19;7306:36;7434:4;7423:9;7418:3;7407:9;7404:1;7397:4;7390:5;7386:16;7375:64;7478:16;;7465:30;;5104:2405;-1:-1:-1;;;;;;5104:2405:2:o;:::-;7541:4;7535:11;7582:8;7576:4;7572:19;7566:4;7559:33;7658:45;7699:1;7686:11;7682:19;7669:33;7658:45;:::i;:::-;7717:46;7758:2;7745:11;7741:20;7728:34;7717:46;:::i;:::-;7777;7818:2;7805:11;7801:20;7788:34;7777:46;:::i;:::-;7837;7878:2;7865:11;7861:20;7848:34;7837:46;:::i;:::-;7897:47;7938:3;7925:11;7921:21;7908:35;7897:47;:::i;:::-;8013:46;8054:4;8041:11;8036:3;8031;8026;8013:46;:::i;:::-;7998:61;;8083:7;8080:1;8073:18;8114:4;8111:1;8104:15;4797:366:3;4940:4;4960:22;4985:139;;;;;;;;5006:4;4985:139;;;;5012:102;;;;;;;;5028:7;5012:102;;;;5037:15;5012:102;;;;5054:34;;;;;;;;5063:21;5054:34;;;;;;;;:::i;:::-;;;5086:1;5054:34;;;;;;;5012:102;;;;;;;;;;;4985:139;;4960:164;-1:-1:-1;5141:15:3;4960:164;5141:6;:15::i;:::-;5134:22;4797:366;-1:-1:-1;;;;;;4797:366:3:o;1691:534:1:-;1759:7;1785:433;1657:27;;;;;-1:-1:-1;;;8801:32:4;;8858:2;8849:12;;8600:267;1657:27:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;1891:10;;;;1919:19;;1956:20;;;;1994:11;;;;2054:13;;;;:20;2079:2;;2047:28;;;;;;;;:::i;:::-;2106:13;;;;;:18;;;;;1805:403;;;;;9380:19:4;;;;9415:12;;;9408:28;;;;9452:12;;;9445:28;;;;9489:12;;;9482:28;;;;9526:13;;;9519:29;2047:34:1;;;;;;9571:3:4;9622:16;-1:-1:-1;;;;;;9618:25:4;9603:13;;;9596:48;9679:16;;;;;-1:-1:-1;;;;;;9679:16:4;9660:13;;;9653:48;-1:-1:-1;;;9717:13:4;;;9710:61;9787:13;;1805:403:1;;;-1:-1:-1;;1805:403:1;;;;;;;;;;1785:433;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;1778:440;1691:534;-1:-1:-1;;1691:534:1:o;3733:234:3:-;3793:7;;;3840:40;3872:6;1412:9;1433:5;1429:9;;1634:1;1559;1563:66;1559:70;1558:77;;1544:1;1469;1473:66;1469:70;1468:77;;1467:169;1463:173;;1845:2;1770:1;1774:66;1770:70;1769:78;;1754:2;1679:1;1683:66;1679:70;1678:78;;1677:171;1673:175;;2057:2;1982:1;1986:66;1982:70;1981:78;;1966:2;1891:1;1895:66;1891:70;1890:78;;1889:171;1885:175;;2269:2;2194:1;2198:66;2194:70;2193:78;;2178:2;2103:1;-1:-1:-1;;2103:70:3;2102:78;;2101:171;2097:175;;2333:3;2328:1;:8;;2320:3;2315:1;:8;;2314:23;2310:27;;1350:990;;;;3840:40;3898:35;;;;3955:3;3943:15;;;;;-1:-1:-1;3733:234:3;-1:-1:-1;;;3733:234:3:o;14:127:4:-;75:10;70:3;66:20;63:1;56:31;106:4;103:1;96:15;130:4;127:1;120:15;146:252;213:4;207:11;;;245:17;;292:18;277:34;;313:22;;;274:62;271:88;;;339:18;;:::i;:::-;375:4;368:24;146:252;:::o;403:253::-;475:2;469:9;517:4;505:17;;552:18;537:34;;573:22;;;534:62;531:88;;;599:18;;:::i;661:253::-;733:2;727:9;775:4;763:17;;810:18;795:34;;831:22;;;792:62;789:88;;;857:18;;:::i;919:718::-;961:5;1014:3;1007:4;999:6;995:17;991:27;981:55;;1032:1;1029;1022:12;981:55;1068:6;1055:20;1094:18;1131:2;1127;1124:10;1121:36;;;1137:18;;:::i;:::-;1212:2;1206:9;1180:2;1266:13;;-1:-1:-1;;1262:22:4;;;1286:2;1258:31;1254:40;1242:53;;;1310:18;;;1330:22;;;1307:46;1304:72;;;1356:18;;:::i;:::-;1396:10;1392:2;1385:22;1431:2;1423:6;1416:18;1477:3;1470:4;1465:2;1457:6;1453:15;1449:26;1446:35;1443:55;;;1494:1;1491;1484:12;1443:55;1558:2;1551:4;1543:6;1539:17;1532:4;1524:6;1520:17;1507:54;1605:1;1598:4;1593:2;1585:6;1581:15;1577:26;1570:37;1625:6;1616:15;;;;;;919:718;;;;:::o;1642:1438::-;1726:6;1779:2;1767:9;1758:7;1754:23;1750:32;1747:52;;;1795:1;1792;1785:12;1747:52;1835:9;1822:23;1864:18;1905:2;1897:6;1894:14;1891:34;;;1921:1;1918;1911:12;1891:34;1944:22;;;;1985:16;;;2021:4;2013:13;;2010:33;;;2039:1;2036;2029:12;2010:33;2065:17;;:::i;:::-;2120:2;2107:16;2148:2;2138:8;2135:16;2132:36;;;2164:1;2161;2154:12;2132:36;2191:44;2227:7;2216:8;2212:2;2208:17;2191:44;:::i;:::-;2177:59;;-1:-1:-1;2270:4:4;-1:-1:-1;;2252:16:4;;2248:27;2245:47;;;2288:1;2285;2278:12;2245:47;2316:22;;:::i;:::-;2301:37;;2384:2;2380;2376:11;2363:25;2354:7;2347:42;2444:4;2440:2;2436:13;2423:27;2418:2;2409:7;2405:16;2398:53;2485:4;2479:2;2475:7;2471:2;2467:16;2463:27;2460:47;;;2503:1;2500;2493:12;2460:47;2531:17;;:::i;:::-;2516:32;;2593:2;2589;2585:11;2572:25;2628:1;2619:7;2616:14;2606:42;;2644:1;2641;2634:12;2606:42;2657:24;;2726:3;2718:12;;2705:26;2775:4;2762:18;;2750:31;;2740:59;;2795:1;2792;2785:12;2740:59;2828:2;2815:16;;;2808:33;;;;2870:4;2857:18;;2850:35;;;;2940:4;2932:13;;2919:27;2914:2;2901:16;;2894:53;3003:4;2995:13;;;2982:27;2976:3;2963:17;;2956:54;3026:14;;3019:31;3030:5;1642:1438;-1:-1:-1;;;1642:1438:4:o;3277:159::-;3371:6;3404:2;3392:15;;3389:24;-1:-1:-1;3386:44:4;;;3426:1;3423;3416:12;3441:175;3550:6;3583:3;3571:16;;3568:25;-1:-1:-1;3565:45:4;;;3606:1;3603;3596:12;3621:662;3832:6;3840;3848;3856;3909:3;3897:9;3888:7;3884:23;3880:33;3877:53;;;3926:1;3923;3916:12;3877:53;3949;3994:7;3983:9;3949:53;:::i;:::-;3939:63;;4021:77;4090:7;4085:2;4074:9;4070:18;4021:77;:::i;:::-;4011:87;;4117:63;4172:7;4166:3;4155:9;4151:19;4117:63;:::i;:::-;4107:73;;4199:78;4269:7;4263:3;4252:9;4248:19;4199:78;:::i;:::-;4189:88;;3621:662;;;;;;;:::o;4288:525::-;4383:6;4391;4399;4407;4460:3;4448:9;4439:7;4435:23;4431:33;4428:53;;;4477:1;4474;4467:12;4428:53;4517:9;4504:23;4550:18;4542:6;4539:30;4536:50;;;4582:1;4579;4572:12;4536:50;4605:49;4646:7;4637:6;4626:9;4622:22;4605:49;:::i;:::-;4595:59;4701:2;4686:18;;4673:32;;-1:-1:-1;4752:2:4;4737:18;;4724:32;;4803:2;4788:18;4775:32;;-1:-1:-1;4288:525:4;-1:-1:-1;;;;4288:525:4:o;4818:483::-;4879:5;4932:3;4925:4;4917:6;4913:17;4909:27;4899:55;;4950:1;4947;4940:12;4899:55;4974:17;;:::i;:::-;5013:3;5051:2;5043:6;5039:15;5077:3;5069:6;5066:15;5063:35;;;5094:1;5091;5084:12;5063:35;5118:6;5133:139;5149:6;5144:3;5141:15;5133:139;;;5217:10;;5205:23;;5257:4;5248:14;;;;5166;5133:139;;;-1:-1:-1;5290:5:4;;4818:483;-1:-1:-1;;;;;4818:483:4:o;5306:909::-;5398:6;5451:3;5439:9;5430:7;5426:23;5422:33;5419:53;;;5468:1;5465;5458:12;5419:53;5494:22;;:::i;:::-;5539:55;5586:7;5575:9;5539:55;:::i;:::-;5532:5;5525:70;5614:2;5659:7;5654:2;5643:9;5639:18;5635:32;5625:60;;5681:1;5678;5671:12;5625:60;5705:17;;:::i;:::-;5744:3;5785;5774:9;5770:19;5812:7;5804:6;5801:19;5798:39;;;5833:1;5830;5823:12;5798:39;5872:2;5861:9;5857:18;5884:176;5900:6;5895:3;5892:15;5884:176;;;5966:49;6007:7;6002:3;5966:49;:::i;:::-;5954:62;;6045:4;6036:14;;;;5917:12;;5884:176;;;5888:3;6094:5;6087:4;6080:5;6076:16;6069:31;6132:52;6176:7;6168:6;6132:52;:::i;:::-;6127:2;6120:5;6116:14;6109:76;;;;;6204:5;6194:15;;;5306:909;;;;:::o;6220:326::-;6313:5;6336:1;6346:194;6360:4;6357:1;6354:11;6346:194;;;6419:13;;6407:26;;6456:4;6480:12;;;;6515:15;;;;6380:1;6373:9;6346:194;;;6350:3;;6220:326;;:::o;6551:1630::-;6999:3;6984:19;;7012:43;6988:9;7037:6;7012:43;:::i;:::-;7074:2;7111;7100:9;7096:18;7156:6;7180:1;7190:586;7254:4;7287:2;7284:1;7281:9;7271:30;;7294:5;;;7271:30;7324:13;;7363:3;7446:1;7460:234;7476:2;7471:3;7468:11;7460:234;;;7547:15;;7533:30;;7590:4;7663:17;;;;7620:14;;;;7498:1;7489:11;7460:234;;;-1:-1:-1;;;7714:12:4;;;;-1:-1:-1;7761:4:4;7749:17;;;;;7217:1;7210:9;7190:586;;;7194:3;;;;7785:53;7833:3;7822:9;7818:19;7810:6;7785:53;:::i;:::-;7875:3;7864:9;7860:19;7927:6;7953:1;7963:212;7979:4;7974:3;7971:13;7963:212;;;8044:15;;8030:30;;8083:4;8109:14;;;;8148:17;;;;8003:1;7994:11;7963:212;;;7967:3;;;6551:1630;;;;;;;:::o;8186:277::-;8253:6;8306:2;8294:9;8285:7;8281:23;8277:32;8274:52;;;8322:1;8319;8312:12;8274:52;8354:9;8348:16;8407:5;8400:13;8393:21;8386:5;8383:32;8373:60;;8429:1;8426;8419:12;8373:60;8452:5;8186:277;-1:-1:-1;;;8186:277:4:o;8468:127::-;8529:10;8524:3;8520:20;8517:1;8510:31;8560:4;8557:1;8550:15;8584:4;8581:1;8574:15;8872:184;8942:6;8995:2;8983:9;8974:7;8970:23;8966:32;8963:52;;;9011:1;9008;9001:12;8963:52;-1:-1:-1;9034:16:4;;8872:184;-1:-1:-1;8872:184:4:o;9811:412::-;9940:3;9978:6;9972:13;10003:1;10013:129;10027:6;10024:1;10021:13;10013:129;;;10125:4;10109:14;;;10105:25;;10099:32;10086:11;;;10079:53;10042:12;10013:129;;;-1:-1:-1;10197:1:4;10161:16;;10186:13;;;-1:-1:-1;10161:16:4;9811:412;-1:-1:-1;9811:412:4:o

ipfs://1e7f22c5bc8da02707736266357894aa90485842d9efa83f666a12e102810ce4