@aztec/l1-artifacts 0.82.2-alpha-testnet.5 → 0.82.3-nightly.20250330
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dest/ExtRollupLibAbi.d.ts +12 -0
- package/dest/ExtRollupLibAbi.d.ts.map +1 -1
- package/dest/ExtRollupLibAbi.js +16 -0
- package/dest/ExtRollupLibBytecode.d.ts +1 -1
- package/dest/ExtRollupLibBytecode.d.ts.map +1 -1
- package/dest/ExtRollupLibBytecode.js +1 -1
- package/dest/FeeJuicePortalBytecode.d.ts +1 -1
- package/dest/FeeJuicePortalBytecode.js +1 -1
- package/dest/GovernanceProposerBytecode.d.ts +1 -1
- package/dest/GovernanceProposerBytecode.js +1 -1
- package/dest/HonkVerifierBytecode.d.ts +1 -1
- package/dest/HonkVerifierBytecode.d.ts.map +1 -1
- package/dest/HonkVerifierBytecode.js +1 -1
- package/dest/NewGovernanceProposerPayloadBytecode.d.ts +1 -1
- package/dest/NewGovernanceProposerPayloadBytecode.js +1 -1
- package/dest/OutboxBytecode.d.ts +1 -1
- package/dest/OutboxBytecode.js +1 -1
- package/dest/RollupAbi.d.ts +13 -1
- package/dest/RollupAbi.d.ts.map +1 -1
- package/dest/RollupAbi.js +17 -1
- package/dest/RollupBytecode.d.ts +6 -6
- package/dest/RollupBytecode.d.ts.map +1 -1
- package/dest/RollupBytecode.js +6 -6
- package/dest/RollupStorage.d.ts +2 -2
- package/dest/RollupStorage.js +2 -2
- package/dest/SlashFactoryBytecode.d.ts +1 -1
- package/dest/SlashFactoryBytecode.d.ts.map +1 -1
- package/dest/SlashFactoryBytecode.js +1 -1
- package/dest/SlasherBytecode.d.ts +1 -1
- package/dest/SlasherBytecode.js +1 -1
- package/dest/SlashingProposerBytecode.d.ts +1 -1
- package/dest/SlashingProposerBytecode.js +1 -1
- package/dest/TestERC20Abi.d.ts +1 -1
- package/dest/TestERC20Abi.js +1 -1
- package/dest/TestERC20Bytecode.d.ts +1 -1
- package/dest/TestERC20Bytecode.js +1 -1
- package/dest/TokenPortalBytecode.d.ts +1 -1
- package/dest/TokenPortalBytecode.js +1 -1
- package/dest/UniswapPortalBytecode.d.ts +1 -1
- package/dest/UniswapPortalBytecode.js +1 -1
- package/dest/ValidatorSelectionLibBytecode.d.ts +1 -1
- package/dest/ValidatorSelectionLibBytecode.js +1 -1
- package/dest/checksum.d.ts +1 -1
- package/dest/checksum.js +1 -1
- package/package.json +1 -1
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* HonkVerifier bytecode.
|
|
3
3
|
*/
|
|
4
|
-
export declare const HonkVerifierBytecode = "0x60e0604052348015600e575f5ffd5b506302000000608052601960a0526103dc60c05260805160a05160c05161507f61005a5f395f61057101525f818161061d01528181610bf60152610c9201525f61051a015261507f5ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b366004614ca1565b610054565b604051901515815260200160405180910390f35b5f6100626101b86020614d79565b8414610081576040516376ba560560e11b815260040160405180910390fd5b5f61008a610198565b90505f61009787876101ad565b604083015190915084146100be5760405163fa06659360e01b815260040160405180910390fd5b5f6100d5828787865f015187604001516001610455565b90506101238686808060200260200160405190810160405280939291908181526020018383602002808284375f92019190915250508451606081015160809091015190925090506001610504565b815160a001525f6101348383610615565b905080610154576040516313f8744360e31b815260040160405180910390fd5b5f610160848685610716565b905080610180576040516352ec174560e11b815260040160405180910390fd5b81801561018a5750805b9a9950505050505050505050565b6101a06147a5565b6101a8610f8a565b905090565b6101b5614922565b6101ca6101c560805f8587614d90565b611872565b81526101de6101c561010060808587614d90565b60208201526101f66101c56101806101008587614d90565b604082015261020e6101c56102006101808587614d90565b60a08201526102266101c56102806102008587614d90565b60c082015261023e6101c56103006102808587614d90565b60608201526102566101c56103806103008587614d90565b60e082015261026e6101c56104006103808587614d90565b60808201526104005f5b601c811015610305575f5b60088110156102fc576102af86848761029d826020614db7565b926102aa93929190614d90565b611947565b84610100015183601c81106102c6576102c6614dca565b602002015182600881106102dc576102dc614dca565b6020020181815250506020836102f29190614db7565b9250600101610283565b50600101610278565b505f5b60288110156103595761032285838661029d826020614db7565b836101200151826028811061033957610339614dca565b60200201818152505060208261034f9190614db7565b9150600101610308565b505f5b6103686001601c614dde565b8110156103be5761038d858386610380826080614db7565b926101c593929190614d90565b83610140015182601b81106103a4576103a4614dca565b60200201526103b4608083614db7565b915060010161035c565b505f5b601c811015610412576103db85838661029d826020614db7565b83610160015182601c81106103f2576103f2614dca565b6020020181815250506020826104089190614db7565b91506001016103c1565b50610424848285610380826080614db7565b610180830152610435816080614db7565b9050610448848285610380826080614db7565b6101a08301525092915050565b61045d6149df565b5f61046d888888888888876119a3565b908352905061047c81896119f9565b6020840191909152905061048f81611b94565b604084019190915290506104a38882611bf5565b606084019190915290506104b78882611cc9565b608084019190915290506104cb8882611d54565b60a084019190915290506104df8882611ec2565b60c084019190915290506104f38882611f34565b5060e0830152509695505050505050565b5f6001808261054d866105488961054361053e8a7f0000000000000000000000000000000000000000000000000000000000000000614db7565b611f8b565b611fa9565b611fc2565b90505f61056b876105668a61054361053e8b6001614db7565b611fdb565b90505f5b7f00000000000000000000000000000000000000000000000000000000000000008110156105fd575f6105ba8b83815181106105ad576105ad614dca565b6020026020010151611f8b565b90506105ca866105438684611fc2565b95506105da856105438584611fc2565b94506105e6848b611fc2565b93506105f2838b611fdb565b92505060010161056f565b50610608848461200a565b9998505050505050505050565b5f806001815b7f00000000000000000000000000000000000000000000000000000000000000008110156106ec575f86610100015182601c811061065b5761065b614dca565b602002015190505f61066d8286612018565b90508061068d576040516313f8744360e31b815260040160405180910390fd5b5f876060015184601c81106106a4576106a4614dca565b602002015190506106b58382612035565b95506106dc886040015185601c81106106d0576106d0614dca565b602002015186836121e4565b945050505080600101905061061b565b505f610706866101200151865f015187602001518561220f565b90508281145b9695505050505050565b5f61075d6040518061012001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f61076b8460a0015161227d565b9050610775614a38565b61077d614a57565b60e086015161079c9061079790855f5b6020020151611fdb565b6122e2565b60a085015260e08601516107bb9061079790855f5b6020020151611fc2565b60c080860182905260a0860151908801516107da926105489190611fa9565b845260a0860151610808906107ee906122e2565b6105438660a001516105668a60c001518960c00151611fa9565b6020850152600182526101808801516108209061234b565b81526001606085018190525f60808601525b602381116108d857610853610849865f015161238a565b8660600151611fa9565b83826046811061086557610865614dca565b602002015260808501516101208a01516108a8919061054890610889600186614dde565b6028811061089957610899614dca565b60200201518860600151611fa9565b8560800181815250506108c385606001518860800151611fa9565b60608601526108d181614df1565b9050610832565b505f6108e660236001614db7565b90505b6028811161096757610901610849866020015161238a565b83826046811061091357610913614dca565b602002015260808501516101208a0151610937919061054890610889600186614dde565b85608001818152505061095285606001518860800151611fa9565b606086015261096081614df1565b90506108e9565b50606087015181600160200201526080870151816002602002015260a0870151816003602002015260c0870151816004602002015260e0870151816005602002015261010087015181600660200201526101208701518160076020020152610140870151816008602002015261016087015181600960200201526101a087015181600a602002015261018087015181600b60200201526101c087015181600c60200201526101e087015181600d602002015261020087015181600e602002015261022087015181600f60200201526102408701518160106020020152610260870151816011602002015261028087015181601260200201526102a087015181601360200201526102c087015181601460200201526102e08701518160156020020152610300870151816016602002015261032087015181601760200201526103408701518160186020020152610360870151816019602002015261038087015181601a60200201526103a087015181601b60200201528751610ae89061234b565b6103808201526020880151610afc9061234b565b6103a08201526040880151610b109061234b565b6103c08201526060880151610b249061234b565b6103e08201526080880151610b389061234b565b61040082015260e0880151610b4c9061234b565b61042082015260a0880151610b609061234b565b61044082015260c0880151610b749061234b565b6104608201528751610b859061234b565b6104808201526020880151610b999061234b565b6104a08201526040880151610bad9061234b565b6104c08201526060880151610bc19061234b565b6104e08201526080880151610bd59061234b565b610500820152606086015160808501516101608a01515f92610c1a929091877f00000000000000000000000000000000000000000000000000000000000000006123a2565b805160a0870151919250610c2d91611fa9565b604086018190526101608a01515160c0890151610c5d929161054891610c539190611fa9565b8860c00151611fa9565b604086015260c0870151610c70906124bd565b60608601525f5b610c836001601c614dde565b811015610e85575f610cb660017f0000000000000000000000000000000000000000000000000000000000000000614dde565b821015905080610e2b57610ce96107978a60e0015188856001610cd99190614db7565b601c811061078d5761078d614dca565b60a088015260e0890151610d17906107979088610d07866001614db7565b601c81106107b1576107b1614dca565b60c0880152606087015160a0880151610d309190611fa9565b60e0880152606087015160c08a0151610d4c91610c5391611fa9565b6101008801819052610d6e90610d619061238a565b6105488960e0015161238a565b8583610d7c60286001614db7565b610d869190614db7565b60468110610d9657610d96614dca565b60200201526101008701516101608c01515f91610dd291610db8866001614db7565b601c8110610dc857610dc8614dca565b6020020151611fa9565b9050610dee816105488a60e0015187876001610db89190614db7565b9050610dfe886040015182611fc2565b6040890152606088015160c08b0151610e2491610e1a91611fa9565b8b60c00151611fa9565b6060890152505b610e4f8b610140015183601b8110610e4557610e45614dca565b602002015161234b565b8483610e5d60286001614db7565b610e679190614db7565b60468110610e7757610e77614dca565b602002015250600101610c77565b5060408051808201909152600181526002602082015282610ea8601c6028614db7565b60468110610eb857610eb8614dca565b6020020152604085015183610ecf601c6028614db7565b60468110610edf57610edf614dca565b60200201526101a08901515f90610ef59061234b565b90508083610f05601c6028614db7565b610f10906001614db7565b60468110610f2057610f20614dca565b602002015260e088015184610f37601c6028614db7565b610f42906001614db7565b60468110610f5257610f52614dca565b60200201525f610f6284866124c8565b90505f610f6e8361258e565b9050610f7a82826125d4565b9c9b505050505050505050505050565b610f926147a5565b50604080516103c0810182526302000000815260196020808301919091526103dc82840152825180840184527f1f425781e8ef39130b9af37c4df3857dbb57f2c90d773a08dd7bb7223b9c769881527f0b56e6215d3442928b7fd2700b92c9e8f3db72528391ea9c3dc5b88100b958c8818301526060830152825180840184527f199782d5140a68faee5649fa0c0933ae33d898e4ef9d26c8b26bbae6e7544cc581527f0e9d20233f97e641a42027a82d82bfce00c1bac9b53bcf5abf8ec4ee8f57e61e818301526080830152825180840184527f22e9b5f48c858336b414888d3f8033059991647ecf9dd3b832ca9a6f233341db81527f116a43b4e5b709bea4a365956014caa84cf282dc638950aacbada1441d959b928183015260a0830152825180840184527f18ae7c4b61cab36b249cb55057e45bd5db24e439dcab7c418f3e7fa7afa7d7d181527f017d54b734ef59f5862640014bb25dd0ccea353a3f0162b894e88e1c76591daf8183015260c0830152825180840184527f057038a56e9cbebbbdee44328a472c92f427492675502989e327a0429ccf8ef681527f22e2ec127490ecdc92f161ce9450ea748c19e51c0db29111a2704e630f690fce8183015260e0830152825180840184527f2948f25ca9fdd65741a9721edb32a72c0ee12ff54a74a94714de246dd5b27fbb81527f1fafc1bb412198f7cf48b164a6621747f66f8d05891d421f6cb8a0abb48d05f381830152610100830152825180840184527f035d97a928b728d4f4d460c4bdcf11ea8c8bd382f233fe512c394b0b6da9152481527f26961d0bf338d36d2b5ec2f59675073ad262b9bacae3bc100ea54158e763f64781830152610120830152825180840184527f267cfcb47328b7ae6ae044add074918836d0ee7bcd39ced6454cd7f5afecbd1481527f2cbf9b2a5c0fd7af4913b00bb7b922b2553530f7f96d3553f777d9a82603bf5581830152610140830152825180840184527f2b99286034390238d2f87e4a340ec8b43f63e68f4074539df890f4a7c99d842781527f21fcf1b038a7607d36b729d9bb8f7a2b1d9baf7a726a34ad30b3958b7704412081830152610160830152825180840184527f2b04321531676dac0c855123ea0834800a44730384b0f03c77a884e6b896ad5c81527f06f2a41ce4704c3c8f461b27c3d8b5647dd528aed884e5266da0e8a71e0cc73081830152610180830152825180840184527f04307c6f14c1ef3d0b77cb3ae4ca3f9d3499300f88550a76483ec705fb6339e481527f2e6a6c88b20eecd02c1ec2b0154d3bba59b0f429aac1956ee81cea28214b7196818301526101a0830152825180840184527f27188ec9792bf29d81ceec5c249bb2b736ae0844be6954e55b71e6d1cc83dbd581527f1f35519c1d02549cb1883916501985cee5acd60d65423098d7bfbedb060d5c15818301526101c0830152825180840184527f0d131d17a863d1b8c580de3daaa9b2db4bafec94bc8cf7f938b2862897ecfcb781527f239a4ed4df51b3e7b8d0ed6601d6b3ddd36f8cfe5a8dca6c0bf519fd053c8e52818301526101e0830152825180840184527f05a0d344dcbd02bea6acff5c011d642f7904a1869cae2f2058163f07305bc0ce81527f23ec1edcaa244a5e10bb67f327a64b7d763b6ebf703a9efab4b43f3d025b4b7581830152610200830152825180840184527f26a043c8feec2b650aca9a4d01c03695028f8141a8dbbb2f324a7d7992ded6b181527f1d2423009b702d2a7407db0f12f77b00472c0a6f67b585bc2293ff3e6c1cc9c181830152610220830152825180840184527f0fc5bf9cc0c2731f10fbcd23c51651d8ac79f4f2913ea450a9bc9650fb05cb3881527f1eb327112d3d4680915309eb953d82ac47921027dc89ba914f83d39663eb425b81830152610240830152825180840184527f14cc2150916f412892dcd75efcc5aa2da33214ed3452e23cf604588acddeea4481527f1134a39331aa8bb2cf2a27dd82668aa34aa6f84695df48fd252db9447e97390181830152610260830152825180840184527f193d9924725390a4f0f09086e3b578a35e8fc91be6a8dc43345058d5187b2d0b81527f023e6d2627aa62fb44d78e3637f34ab51f82ad5bf90f7d1706ff85e6588fa85e81830152610280830152825180840184527f0fe7cf270c80d8c953574b9cd045788a23620a606eca8616fd7b0817272974b981527f026512584f1ffd93699d7c3d10cc1033f5d22a485056525a06b04f699345838e818301526102a0830152825180840184527f0f17eebdd648a22a2534c6f62afaf6c7825fa2ae41f98d398eec5758e92b5fa281527f0645f63ec34efb355d9c56043a633de3f41fd9af61a7d3ecf46a87e203007cc6818301526102c0830152825180840184527f0525a86d809801993377e82c6810d7124bb2f1995759aba65bf60b0c4fda8f3181527f1b8f05120eb2c53b2cad8099860699db5fc9dce89d1de77360d25f3b83d83baa818301526102e0830152825180840184527f0d1c51a0944e73b5bf5059109cfc7756b18ab597ee97fcdceb68e08e7a9325ec81527f2d0ebb65c43bb88f0e0af105cb368e35a8117262fa463c5e4a91e60a63285d5881830152610300830152825180840184527f237fc3d6ca839bf8fe66beb52f778994d8d05f3496301df3cb1030649802eb1881527f1013ad0339d32e695efdc9e28675f47f332bda5954966f00469214f4ee763b8481830152610320830152825180840184527f0c124a2788b4e0e45ebc1003affc7b699ea00567da3fa1f4bef7f9f97698340481527f0655bd829b537acf9fdc36831274395bdd5d3c181d2e84ddd3dfa1192c5f518481830152610340830152825180840184527f2664e1b3d5bd93796c3e968511ad456c3b10db55de4e939e1a8eb6279d99ea9a81527f2a8a81f4857a08db4de35ca43cc4e145c8719ce30616be286b5a565e4ee99e9c81830152610360830152825180840184526001815260028183015261038083015282518084019093527f10e0775469485c408ab9b0f95d6b3fd5dcaeced274c1a3ba0105915195dc046283527f21369c8875c1b7ede3133157e0412ce94cbf2ad6e7b5c3e666fb0b04fc5cf855908301526103a081019190915290565b61187a614a85565b608082146118c55760405162461bcd60e51b81526020600482015260136024820152721a5b9d985b1a5908189e5d195cc81c1bda5b9d606a1b60448201526064015b60405180910390fd5b6040805160808101909152806118de60205f8688614d90565b6118e791614e09565b81526020908101906118fd906040908688614d90565b61190691614e09565b8152602001611919606060408688614d90565b61192291614e09565b8152602001611935608060608688614d90565b61193e91614e09565b90529392505050565b5f6020821461198f5760405162461bcd60e51b815260206004820152601460248201527334b73b30b634b210313cba32b99039b1b0b630b960611b60448201526064016118bc565b61199c61053e8385614e09565b9392505050565b6119ab614aa9565b5f6119ba8989898989896127d8565b6040860191909152602085019190915290835292506119d9838a612bfa565b608085019190915260608401919091529199919850909650505050505050565b611a01614ad9565b5f611a0a614af8565b84815260e0848101805151602080850191909152815181015160408086019190915282518101516060808701919091529251830151608080870191909152880180515160a0870152805183015160c08701528051820151948601949094529251909101516101008401529051611aa191611a8691849101614e26565b60405160208183030381529060405280519060200120611f8b565b9150611aac82612cc5565b6020850152835260015b611ac260026019614e6e565b811015611b4257611adf83604051602001611a8691815260200190565b9250611aea83612cc5565b85611af6846002614d79565b60198110611b0657611b06614dca565b6020020186611b16856002614d79565b611b21906001614db7565b60198110611b3157611b31614dca565b602002019190915252600101611ab6565b50611b5982604051602001611a8691815260200190565b91505f611b6583612cc5565b85611b7260016019614dde565b60198110611b8257611b82614dca565b60200201919091525050509250929050565b611b9c614b17565b5f805b601c811015611bee57611bbe84604051602001611a8691815260200190565b93505f611bca85612cc5565b8584601c8110611bdc57611bdc614dca565b60200201919091525050600101611b9f565b5090929050565b611bfd614b17565b5f805b601c811015611cc057611c11614af8565b8481525f5b6008811015611c7a5786610100015183601c8110611c3657611c36614dca565b60200201518160088110611c4c57611c4c614dca565b602002015182611c5d836001614db7565b60098110611c6d57611c6d614dca565b6020020152600101611c16565b50611c8f81604051602001611a869190614e26565b94505f611c9b86612cc5565b8685601c8110611cad57611cad614dca565b6020020191909152505050600101611c00565b50909391925050565b5f5f611cd3614b36565b8381525f5b6028811015611d26578561012001518160288110611cf857611cf8614dca565b602002015182611d09836001614db7565b60298110611d1957611d19614dca565b6020020152600101611cd8565b50611d3b81604051602001611a869190614e81565b91505f611d4783612cc5565b5096929550919350505050565b5f5f611d5e614b55565b8381525f5b611d6f6001601c614dde565b811015611ead5785610140015181601b8110611d8d57611d8d614dca565b60200201515182611d9f836004614d79565b611daa906001614db7565b606d8110611dba57611dba614dca565b602002015261014086015181601b8110611dd657611dd6614dca565b60200201516020015182826004611ded9190614d79565b611df8906002614db7565b606d8110611e0857611e08614dca565b602002015261014086015181601b8110611e2457611e24614dca565b60200201516040015182611e39836004614d79565b611e44906003614db7565b606d8110611e5457611e54614dca565b602002015261014086015181601b8110611e7057611e70614dca565b60200201516060015182611e85836004614d79565b611e90906004614db7565b606d8110611ea057611ea0614dca565b6020020152600101611d63565b50611d3b81604051602001611a869190614eb5565b5f5f611ecc614b74565b8381525f5b601c811015611f1f5785610160015181601c8110611ef157611ef1614dca565b602002015182611f02836001614db7565b601d8110611f1257611f12614dca565b6020020152600101611ed1565b50611d3b81604051602001611a869190614ee9565b5f5f611f3e614b93565b83815261018085018051516020808401919091528151810151604080850191909152825181015160608086019190915292519092015160808401529051611d3b91611a8691849101614f1d565b5f611fa35f51602061505f5f395f51905f5283614f50565b92915050565b5f5f51602061505f5f395f51905f528284099392505050565b5f5f51602061505f5f395f51905f528284089392505050565b5f5f51602061505f5f395f51905f52612001835f51602061505f5f395f51905f52614dde565b84089392505050565b5f61199c83610543846122e2565b81515f90819061202a908560016107b1565b929092149392505050565b60408051610100810182527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec5181526102d060208201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff1191810191909152609060608201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71608082015260f060a08201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd3160c08201526113b060e08201525f906001825b600881101561211c57612112826105438784611fdb565b91506001016120fb565b50612125614bb1565b5f5b6008811015612186575f84826008811061214357612143614dca565b60200201519050612158816105438985611fdb565b9050612163816122e2565b90508083836008811061217857612178614dca565b602002015250600101612127565b505f5b60088110156121d9575f8782600881106121a5576121a5614dca565b602002015190506121c281848460088110610dc857610dc8614dca565b90506121ce8682611fc2565b955050600101612189565b5061070c8483611fa9565b5f5f6121fa600161054885610543896001611fdb565b90506122068482611fa9565b95945050505050565b5f612218614bd0565b612223868285612cf5565b61222f86868386612ea1565b61223b86868386613089565b612246868285613285565b61225186828561346d565b61225d868683866137b6565b612268868285614050565b61227386828561441b565b61070c8185614710565b612285614b17565b81815260015b601c8110156122dc576122bd826122a3600184614dde565b601c81106122b3576122b3614dca565b60200201516124bd565b8282601c81106122cf576122cf614dca565b602002015260010161228b565b50919050565b5f5f8290505f604051602081526020808201526020604082015282606082015260025f51602061505f5f395f51905f520360808201525f51602061505f5f395f51905f5260a082015260205f60c08360055afa905080612340575f5ffd5b50505f519392505050565b612353614bef565b604051806040016040528060888460200151901b845f015117815260200160888460600151901b8460400151178152509050919050565b5f611fa3825f51602061505f5f395f51905f52614dde565b6123aa614b17565b601c5b80156124b3575f846123c0600184614dde565b601c81106123d0576123d0614dca565b602002015190505f886123e4600185614dde565b601c81106123f4576123f4614dca565b602002015190505f61244f61241361240c858c611fa9565b6002611fa9565b6105668a612422600189614dde565b601c811061243257612432614dca565b60200201516105436124498861054360018a611fdb565b87611fdb565b90506124708161054361079761246a87610543600189611fdb565b86611fc2565b905085841161249f579750878085612489600187614dde565b601c811061249957612499614dca565b60200201525b505050806124ac90614f63565b90506123ad565b5095945050505050565b5f611fa38283611fa9565b6124d0614bef565b5f6124dd601c6028614db7565b6124e8906002614db7565b90506001604051855151604082015285516020015160608201528451608082015260408160606040840160075afa8216915060015b838110156125765760208102870160208202870181515160408501528151602001516060850152805160808501525050604080830160606040850160075afa8316925060408260808460065afa9092169160010161251d565b50805184526020810151602085015250505092915050565b612596614bef565b5f51602061503f5f395f51905f5282602001515f51602061503f5f395f51905f526125c19190614dde565b6125cb9190614f50565b60208301525090565b81516020808401518351848301516040805194850195909552938301919091527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c260608301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60808301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60a08301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60c083015260e08201526101008101919091527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c16101208201527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b06101408201527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe46101608201527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101808201525f9081906101a00160405160208183030381529060405290505f5f60086001600160a01b03168360405161276a9190614f78565b5f60405180830381855afa9150503d805f81146127a2576040519150601f19603f3d011682016040523d82523d5f602084013e6127a7565b606091505b50915091505f818060200190518101906127c19190614f8e565b90508280156127cd5750805b979650505050505050565b5f808080806127e8876003614db7565b6127f390600c614db7565b6001600160401b0381111561280a5761280a614fad565b604051908082528060200260200182016040528015612833578160200160208202803683370190505b509050875f1b815f8151811061284b5761284b614dca565b602002602001018181525050865f1b8160018151811061286d5761286d614dca565b602002602001018181525050855f1b8160028151811061288f5761288f614dca565b60209081029190910101525f5b878110156128ee578a8a828181106128b6576128b6614dca565b90506020020135828260036128cb9190614db7565b815181106128db576128db614dca565b602090810291909101015260010161289c565b508a5151816128fe896003614db7565b8151811061290e5761290e614dca565b6020908102919091018101919091528b5101518161292d896003614db7565b612938906001614db7565b8151811061294857612948614dca565b60209081029190910101528a516040015181612965896003614db7565b612970906002614db7565b8151811061298057612980614dca565b60209081029190910101528a51606001518161299d896003614db7565b6129a8906003614db7565b815181106129b8576129b8614dca565b6020908102919091018101919091528b015151816129d7896003614db7565b6129e2906004614db7565b815181106129f2576129f2614dca565b6020908102919091018101919091528b810151015181612a13896003614db7565b612a1e906005614db7565b81518110612a2e57612a2e614dca565b6020908102919091018101919091528b01516040015181612a50896003614db7565b612a5b906006614db7565b81518110612a6b57612a6b614dca565b6020908102919091018101919091528b01516060015181612a8d896003614db7565b612a98906007614db7565b81518110612aa857612aa8614dca565b602090810291909101015260408b01515181612ac5896003614db7565b612ad0906008614db7565b81518110612ae057612ae0614dca565b60209081029190910181019190915260408c0151015181612b02896003614db7565b612b0d906009614db7565b81518110612b1d57612b1d614dca565b60209081029190910101526040808c0151015181612b3c896003614db7565b612b4790600a614db7565b81518110612b5757612b57614dca565b602090810291909101015260408b01516060015181612b77896003614db7565b612b8290600b614db7565b81518110612b9257612b92614dca565b602002602001018181525050612bb281604051602001611a869190614fc1565b9150612bbd82612cc5565b6040805160208101869052929750909550612bd89101611a86565b91505f612be483612cc5565b50959c949b509499509097509195505050505050565b5f5f5f612c05614c07565b85815260a0858101805151602080850191909152815181015160408086019190915282518101516060808701919091529251830151608086015260c0808a0180515195870195909552845183015190860152835181015160e086015292518201516101008501528188018051516101208601528051820151610140860152805184015161016086015251909101516101808401529051612cab91611a8691849101614ff6565b9150612cb682612cc5565b90979096509194509092505050565b5f80826001600160801b038116608082901c612ce082611f8b565b9450612ceb81611f8b565b9350505050915091565b5f612d01846007614775565b90507f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f80000005f612d62612d5c612d36856003611fdb565b610543612d51612d468b5f614775565b6105438c601c614775565b6105438b601b614775565b83611fa9565b9050612de3612dd8612dbf612da6612d8d85610548612d828d6002614775565b6105438e601b614775565b610548612d9b8c6003614775565b6105438d601c614775565b610548612db48b6004614775565b6105438c601d614775565b610548612dcd8a6005614775565b6105438b601e614775565b610548886001614775565b9050612e0281610548612df7866001611fdb565b6105438a6026614775565b9050612e0e8184611fa9565b9050612e1a8185611fa9565b8552505f9050612e54612e4a612e3f612e3488601b614775565b61054889601e614775565b610566886023614775565b610548875f614775565b9050612e6581610543846002611fdb565b9050612e7681610543846001611fdb565b9050612e828183611fa9565b9050612e8e8184611fa9565b9050808460015b60200201525050505050565b5f5f5f612ed7612ecd612eb589601b614775565b610548612ec38b6011614775565b8a60600151611fa9565b8760800151611fc2565b9050612f1081610543612f06612eee8b601c614775565b610548612efc8d6012614775565b8c60600151611fa9565b8960800151611fc2565b9050612f3581610543612f06612f278b601d614775565b610548612efc8d6013614775565b9050612f5a81610543612f06612f4c8b601e614775565b610548612efc8d6014614775565b92505f9050612f7e612ecd612f7089601b614775565b610548612ec38b600d614775565b9050612fa381610543612f06612f958b601c614775565b610548612efc8d600e614775565b9050612fc881610543612f06612fba8b601d614775565b610548612efc8d600f614775565b9050612fed81610543612f06612fdf8b601e614775565b610548612efc8d6010614775565b91505f905061301461300e61300389601f614775565b6105488a6019614775565b84611fa9565b90506130498161056661304361302b8b6027614775565b6105486130398d601a614775565b8c60a00151611fa9565b85611fa9565b90506130558185611fa9565b6040860152505f61307861304361306d89601a614775565b6105438a6027614775565b606090950194909452505050505050565b5f5f6130e76130cf6130b76130a2612f068a6015614775565b6105486130b08b6016614775565b8a51611fa9565b6105486130c58a6017614775565b8960200151611fa9565b6105486130dd896018614775565b8860400151611fa9565b91505f61311e6131056130fb89601b614775565b8860800151611fc2565b6105486131138a6003614775565b6105438b6023614775565b90505f61314761312f89601c614775565b61054861313c8b5f614775565b6105438c6024614775565b90505f6131716131588a601d614775565b6105486131668c6001614775565b6105438d6025614775565b90506131b061319861318a85610548868d5f0151611fa9565b610548848c60200151611fa9565b6105486131a68c6004614775565b8b60400151611fa9565b93505050505f6131c461300e886020614775565b90505f6131d561300e896020614775565b90505f61320d6131f46131e98b6022614775565b6105488c6006614775565b6105666132028c6022614775565b6105438d6006614775565b90505f61323161322b6132208789611fa9565b6105438d6020614775565b83611fdb565b905061323d8188611fa9565b90505f6132656132576132518d6006614775565b87611fa9565b6105666132518e6021614775565b60808a018390529050808960055b60200201525050505050505050505050565b5f6132915f6001611fdb565b90505f61329f5f6002611fdb565b90505f6132ad5f6003611fdb565b90505f6132c96132be88601c614775565b61056689601b614775565b90505f6132e56132da89601d614775565b6105668a601c614775565b90505f6133016132f68a601e614775565b6105668b601d614775565b90505f61331d6133128b6023614775565b6105668c601e614775565b90508361332e81610543818b611fc2565b905061333e81610543878a611fc2565b905061334e816105438789611fc2565b905061335f816105438d6008614775565b905061336b818a611fa9565b60c08b0152508261338081610543818b611fc2565b905061339081610543868a611fc2565b90506133a0816105438689611fc2565b90506133b1816105438d6008614775565b90506133bd818a611fa9565b60e08b015250816133d281610543818b611fc2565b90506133e281610543858a611fc2565b90506133f2816105438589611fc2565b9050613403816105438d6008614775565b905061340f818a611fa9565b6101008b0152508061342581610543818b611fc2565b905061343581610543848a611fc2565b9050613445816105438489611fc2565b9050613456816105438d6008614775565b9050613462818a611fa9565b9050808a6009613273565b6134a66040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6134b184601c614775565b81526134be84601d614775565b60208201526134ce846023614775565b60408201526134de846026614775565b60608201526134ee846025614775565b60808201526134fe846024614775565b60a08201525f61350f856002614775565b90505f61351c865f614775565b90505f6135308460400151855f0151611fdb565b90505f61354585602001518660200151611fa9565b606086015190915086905f9061355b9080611fa9565b90505f61357961357389602001518a60600151611fa9565b88611fa9565b90505f6135986135918a60a001518b60400151611fc2565b8a51611fc2565b90506135a76132518288611fa9565b90506135ce6135c86135c26135bc8487611fdb565b88611fdb565b84611fc2565b83611fc2565b90506135f66135eb6135e08387611fa9565b6105438f6009614775565b61054360018a611fdb565b6101408c015250505050602085015160808601515f9161361591611fc2565b90505f613633613629886060015188611fa9565b8860200151611fdb565b90505f6136576136438487611fa9565b6105486130438b60a001518c5f0151611fdb565b905061367f613674613669838c611fa9565b6105438e6009614775565b610543600189611fdb565b6101608b0152505f91506136a09050613699836011611fc2565b8751611fa9565b90505f6136ad8384611fc2565b90506136b98182611fc2565b90505f6136c7836009611fa9565b90506136f06136ea61300e6136e38b60a001518c5f0151611fc2565b8b51611fc2565b82611fdb565b60c089018190525f9061370b90613573906135e0908d611fa9565b905061371e8b600a602002015182611fc2565b6101408c0152505086515f925061374591506136999061373e9080611fc2565b8851611fc2565b90505f613785613760836105438a5f01518b60a00151611fdb565b6020890151610566906137739080611fc2565b6105438b602001518c60800151611fc2565b90506137a289600b60200201516105486135736135e0858d611fa9565b89600b602002015250505050505050505050565b61384a604051806102c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b61387f61386661385b87601b614775565b610543886024614775565b610548613874886023614775565b61054389601c614775565b81526138c46138b96138a061389588601b614775565b61054389601e614775565b6105486138ae89601c614775565b6105438a601d614775565b610566876025614775565b604082018190526138d990600160441b611fa9565b604082018190526138ef90610566876026614775565b6040820181905281516139029190611fc2565b6040820181905261391890610543876005614775565b6040820152805161392d90600160441b611fa9565b80825261394d90610548613942886023614775565b610543896024614775565b8082526020820181905261396990610566612e3488601d614775565b6020820181905261397f90610543876004614775565b602082015280516060820181905261399c9061054887601e614775565b606082018190526139c0906105666139b5886025614775565b610548896026614775565b606082018190526139d590610543875f614775565b8160600181815250505f6139fe6139f483602001518460400151611fc2565b8360600151611fc2565b9050613a0f81610543886003614775565b9050613a27613a1f876024614775565b614000611fa9565b60808301819052613a3d90610548886023614775565b60808301819052613a5090614000611fa9565b60808301819052613a669061054888601d614775565b60808301819052613a7990614000611fa9565b60808301819052613a8f9061054888601c614775565b60808301819052613aa290614000611fa9565b60808301819052613ab89061054888601b614775565b60808301819052613ace9061056688601e614775565b60808301819052613ae490610543886005614775565b6080830152613af7613a1f876025614775565b60a08301819052613b0d90610548886024614775565b60a08301819052613b2090614000611fa9565b60a08301819052613b3690610548886023614775565b60a08301819052613b4990614000611fa9565b60a08301819052613b5f9061054888601e614775565b60a08301819052613b7290614000611fa9565b60a08301819052613b889061054888601d614775565b60a08301819052613b9e90610566886026614775565b60a08301819052613bb390610543885f614775565b60a0830181905260808301515f91613bcb9190611fc2565b9050613bdc81610543896004614775565b9050613bf6613bec88601d614775565b8760400151611fa9565b60c08401819052613c0f906105486130c58a601c614775565b60c08401819052613c2f90610548613c288a601b614775565b8951611fa9565b60c08401819052613c4590610548896001614775565b60c0840181905260e08401819052613c629061056689601e614775565b60c0840152613c756132be886023614775565b610140840152613c94613c89886026614775565b61056689601e614775565b610120840152610140830151613cb990613cae9080611fa9565b846101400151611fdb565b610280840152610140830151613cfb90613cf090613ce99061054360015f51602061505f5f395f51905f52614dde565b6001611fc2565b846101200151611fa9565b6101608401819052613d3290613d2490610543613d198b6002614775565b6105438c6003614775565b6105436132518a600a614775565b6101a0860152610280830151613d5490613d2490610543613d198b6002614775565b6101c086015260c0830151613d7c90610543613d718a6002614775565b6105438b6003614775565b6101e08401525f613d9b613d9189601e614775565b8560e00151611fdb565b9050613daa6136ea8283611fa9565b6101a0850152613dbe6130dd896025614775565b6101008501819052613de290610548613dd88b6024614775565b8a60200151611fa9565b6101008501819052613dfc906105486130b08b6023614775565b610100850152613e1b613e10896026614775565b856101000151611fdb565b6101008501525f613e306132f68a6025614775565b9050613e84613e5e612d5c613ce988610140015160015f51602061505f5f395f51905f526105439190614dde565b610543613ce988610100015160015f51602061505f5f395f51905f526105439190614dde565b610180860152610100850151613ea990613e9e9080611fa9565b866101000151611fdb565b6101c0860152610180850151613edc90613ec8906105438c6007614775565b610543613ed68c600a614775565b89611fa9565b6101e0880152610280850151613efb90613ec8906105438c6007614775565b6102008801526101c0850151613f1a90613ec8906105438c6007614775565b6102208801526101a0850151613f35906105438b6007614775565b610200860152613f54613f498a6024614775565b6105668b601c614775565b610220860152610140850151613f93906132f690613f8890613ce99061054360015f51602061505f5f395f51905f52614dde565b876102200151611fa9565b61024086018190526101e08601516102608701819052613fca9161054890610543613fbf8e6005614775565b6105438f6002614775565b610260860181905260c0860151613fed919061054890610543613fbf8e5f614775565b61026086018190526102008601516140059190611fc2565b610260860181905261401b906135c29086611fc2565b6102a0860181905261403590610543613ed68c600a614775565b6102a0860181905287600c6020020152505050505050505050565b6140c66040518061022001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6140df6140d485601b614775565b610548866002614775565b81526140fa6140ef85601c614775565b610548866003614775565b602082015261411861410d85601d614775565b610548866004614775565b604082015261413661412b85601e614775565b610548866005614775565b60608201528051614168906141619061415a906141539080611fa9565b8451611fa9565b8351611fa9565b8251611fa9565b608082015260208101516141a69061419c90614192906141889080611fa9565b8460200151611fa9565b8360200151611fa9565b8260200151611fa9565b60a082015260408101516141e4906141da906141d0906141c69080611fa9565b8460400151611fa9565b8360400151611fa9565b8260400151611fa9565b60c08201526060810151614222906142189061420e906142049080611fa9565b8460600151611fa9565b8360600151611fa9565b8260600151611fa9565b60e0820152608081015160a082015161423b9190611fc2565b61010082015260c081015160e08201516142559190611fc2565b61012082015260a08101516142799061426e9080611fc2565b826101200151611fc2565b61014082015260e081015161429d906142929080611fc2565b826101000151611fc2565b6101608201526101208101516142b39080611fc2565b6101e082018190526142d4906142c99080611fc2565b826101600151611fc2565b6101e08201526101008101516142ea9080611fc2565b6101a0820181905261430b906143009080611fc2565b826101400151611fc2565b6101a0820181905261016082015161432291611fc2565b6101808201526101408101516101e082015161433e9190611fc2565b6101c0820152614352612d5c85600b614775565b610200820181905261024084015161018083015161437d9261054891610543906105668a6023614775565b83601260200201526143ad8360136020020151610548836102000151610543856101a001516105668a6024614775565b83601360200201526143dd8360146020020151610548836102000151610543856101c001516105668a6025614775565b836014602002015261440d8360156020020151610548836102000151610543856101e001516105668a6026614775565b836015602002015250505050565b61446d6040518061016001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f60405180608001604052806144a27f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e7611f8b565b81526020016144d07f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b611f8b565b81526020016144fd7e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac15611f8b565b815260200161452b7f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b611f8b565b9052905061454861453d86601b614775565b610548876002614775565b610120830181905261457c9061457190613cf0906145669080611fa9565b856101200151611fa9565b836101200151611fa9565b825261458985601c614775565b602083015261459985601d614775565b60408301526145a985601e614775565b6060830152815160208301516145d1916139f4916145c79190611fc2565b8460400151611fc2565b60808301526145e461300e86600c614775565b6101408301528151614605906145fb90835f610dc8565b8360800151611fc2565b60a083015261463184601660200201516105488461014001516105438660a001516105668b6023614775565b6102c0850152602082015161464c906145fb90836001610dc8565b60c083015261467884601760200201516105488461014001516105438660c001516105668b6024614775565b6102e08501526040820151614693906145fb90836002610dc8565b60e08301526146bf84601860200201516105488461014001516105438660e001516105668b6025614775565b61030085015260608201516146da906145fb90836003610dc8565b61010083015261470884601960200201516105488461014001516105438661010001516105668b6026614775565b846019612e95565b5f61471c8184816107b1565b905060015b601a81101561476e57614764826105488684601a811061474357614743614dca565b602002015186614754600187614dde565b60198110610dc857610dc8614dca565b9150600101614721565b5092915050565b5f828260278111156147895761478961502a565b6028811061479957614799614dca565b60200201519392505050565b604051806103c001604052805f81526020015f81526020015f81526020016147cb614bef565b81526020016147d8614bef565b81526020016147e5614bef565b81526020016147f2614bef565b81526020016147ff614bef565b815260200161480c614bef565b8152602001614819614bef565b8152602001614826614bef565b8152602001614833614bef565b8152602001614840614bef565b815260200161484d614bef565b815260200161485a614bef565b8152602001614867614bef565b8152602001614874614bef565b8152602001614881614bef565b815260200161488e614bef565b815260200161489b614bef565b81526020016148a8614bef565b81526020016148b5614bef565b81526020016148c2614bef565b81526020016148cf614bef565b81526020016148dc614bef565b81526020016148e9614bef565b81526020016148f6614bef565b8152602001614903614bef565b8152602001614910614bef565b815260200161491d614bef565b905290565b604051806101c00160405280614936614a85565b8152602001614943614a85565b8152602001614950614a85565b815260200161495d614a85565b815260200161496a614a85565b8152602001614977614a85565b8152602001614984614a85565b8152602001614991614a85565b815260200161499e614c26565b81526020016149ab614c54565b81526020016149b8614c73565b81526020016149c5614b17565b81526020016149d2614a85565b815260200161491d614a85565b6040518061010001604052806149f3614aa9565b8152602001614a00614ad9565b8152602001614a0d614b17565b8152602001614a1a614b17565b81526020015f81526020015f81526020015f81526020015f81525090565b604051806108c001604052806046906020820280368337509192915050565b604051806108c001604052806046905b614a6f614bef565b815260200190600190039081614a675790505090565b60405180608001604052805f81526020015f81526020015f81526020015f81525090565b6040518060c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6040518061032001604052806019906020820280368337509192915050565b6040518061012001604052806009906020820280368337509192915050565b604051806103800160405280601c906020820280368337509192915050565b6040518061052001604052806029906020820280368337509192915050565b60405180610da00160405280606d906020820280368337509192915050565b604051806103a00160405280601d906020820280368337509192915050565b6040518060a001604052806005906020820280368337509192915050565b6040518061010001604052806008906020820280368337509192915050565b604051806103400160405280601a906020820280368337509192915050565b60405180604001604052805f81526020015f81525090565b604051806101a00160405280600d906020820280368337509192915050565b604051806103800160405280601c905b614c3e614bb1565b815260200190600190039081614c365790505090565b6040518061050001604052806028906020820280368337509192915050565b604051806103600160405280601b905b614c8b614a85565b815260200190600190039081614c835790505090565b5f5f5f5f60408587031215614cb4575f5ffd5b84356001600160401b03811115614cc9575f5ffd5b8501601f81018713614cd9575f5ffd5b80356001600160401b03811115614cee575f5ffd5b876020828401011115614cff575f5ffd5b6020918201955093508501356001600160401b03811115614d1e575f5ffd5b8501601f81018713614d2e575f5ffd5b80356001600160401b03811115614d43575f5ffd5b8760208260051b8401011115614d57575f5ffd5b949793965060200194505050565b634e487b7160e01b5f52601160045260245ffd5b8082028115828204841417611fa357611fa3614d65565b5f5f85851115614d9e575f5ffd5b83861115614daa575f5ffd5b5050820193919092039150565b80820180821115611fa357611fa3614d65565b634e487b7160e01b5f52603260045260245ffd5b81810381811115611fa357611fa3614d65565b5f60018201614e0257614e02614d65565b5060010190565b80356020831015611fa3575f19602084900360031b1b1692915050565b5f8183825b6009811015614e4a578151835260209283019290910190600101614e2b565b5050506101208201905092915050565b634e487b7160e01b5f52601260045260245ffd5b5f82614e7c57614e7c614e5a565b500490565b5f8183825b6029811015614ea5578151835260209283019290910190600101614e86565b5050506105208201905092915050565b5f8183825b606d811015614ed9578151835260209283019290910190600101614eba565b505050610da08201905092915050565b5f8183825b601d811015614f0d578151835260209283019290910190600101614eee565b5050506103a08201905092915050565b5f8183825b6005811015614f41578151835260209283019290910190600101614f22565b50505060a08201905092915050565b5f82614f5e57614f5e614e5a565b500690565b5f81614f7157614f71614d65565b505f190190565b5f82518060208501845e5f920191825250919050565b5f60208284031215614f9e575f5ffd5b8151801515811461199c575f5ffd5b634e487b7160e01b5f52604160045260245ffd5b81515f90829060208501835b82811015614feb578151845260209384019390910190600101614fcd565b509195945050505050565b5f8183825b600d81101561501a578151835260209283019290910190600101614ffb565b5050506101a08201905092915050565b634e487b7160e01b5f52602160045260245ffdfe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4730644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001";
|
|
4
|
+
export declare const HonkVerifierBytecode = "0x60e0604052348015600e575f5ffd5b506302000000608052601960a0526103dc60c05260805160a05160c05161507d61005a5f395f61057101525f818161061d01528181610bf60152610c9201525f61051a015261507d5ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b366004614c9f565b610054565b604051901515815260200160405180910390f35b5f6100626101b86020614d77565b8414610081576040516376ba560560e11b815260040160405180910390fd5b5f61008a610198565b90505f61009787876101ad565b604083015190915084146100be5760405163fa06659360e01b815260040160405180910390fd5b5f6100d5828787865f015187604001516001610455565b90506101238686808060200260200160405190810160405280939291908181526020018383602002808284375f92019190915250508451606081015160809091015190925090506001610504565b815160a001525f6101348383610615565b905080610154576040516313f8744360e31b815260040160405180910390fd5b5f610160848685610716565b905080610180576040516352ec174560e11b815260040160405180910390fd5b81801561018a5750805b9a9950505050505050505050565b6101a06147a3565b6101a8610f8a565b905090565b6101b5614920565b6101ca6101c560805f8587614d8e565b611870565b81526101de6101c561010060808587614d8e565b60208201526101f66101c56101806101008587614d8e565b604082015261020e6101c56102006101808587614d8e565b60a08201526102266101c56102806102008587614d8e565b60c082015261023e6101c56103006102808587614d8e565b60608201526102566101c56103806103008587614d8e565b60e082015261026e6101c56104006103808587614d8e565b60808201526104005f5b601c811015610305575f5b60088110156102fc576102af86848761029d826020614db5565b926102aa93929190614d8e565b611945565b84610100015183601c81106102c6576102c6614dc8565b602002015182600881106102dc576102dc614dc8565b6020020181815250506020836102f29190614db5565b9250600101610283565b50600101610278565b505f5b60288110156103595761032285838661029d826020614db5565b836101200151826028811061033957610339614dc8565b60200201818152505060208261034f9190614db5565b9150600101610308565b505f5b6103686001601c614ddc565b8110156103be5761038d858386610380826080614db5565b926101c593929190614d8e565b83610140015182601b81106103a4576103a4614dc8565b60200201526103b4608083614db5565b915060010161035c565b505f5b601c811015610412576103db85838661029d826020614db5565b83610160015182601c81106103f2576103f2614dc8565b6020020181815250506020826104089190614db5565b91506001016103c1565b50610424848285610380826080614db5565b610180830152610435816080614db5565b9050610448848285610380826080614db5565b6101a08301525092915050565b61045d6149dd565b5f61046d888888888888876119a1565b908352905061047c81896119f7565b6020840191909152905061048f81611b92565b604084019190915290506104a38882611bf3565b606084019190915290506104b78882611cc7565b608084019190915290506104cb8882611d52565b60a084019190915290506104df8882611ec0565b60c084019190915290506104f38882611f32565b5060e0830152509695505050505050565b5f6001808261054d866105488961054361053e8a7f0000000000000000000000000000000000000000000000000000000000000000614db5565b611f89565b611fa7565b611fc0565b90505f61056b876105668a61054361053e8b6001614db5565b611fd9565b90505f5b7f00000000000000000000000000000000000000000000000000000000000000008110156105fd575f6105ba8b83815181106105ad576105ad614dc8565b6020026020010151611f89565b90506105ca866105438684611fc0565b95506105da856105438584611fc0565b94506105e6848b611fc0565b93506105f2838b611fd9565b92505060010161056f565b506106088484612008565b9998505050505050505050565b5f806001815b7f00000000000000000000000000000000000000000000000000000000000000008110156106ec575f86610100015182601c811061065b5761065b614dc8565b602002015190505f61066d8286612016565b90508061068d576040516313f8744360e31b815260040160405180910390fd5b5f876060015184601c81106106a4576106a4614dc8565b602002015190506106b58382612033565b95506106dc886040015185601c81106106d0576106d0614dc8565b602002015186836121e2565b945050505080600101905061061b565b505f610706866101200151865f015187602001518561220d565b90508281145b9695505050505050565b5f61075d6040518061012001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f61076b8460a0015161227b565b9050610775614a36565b61077d614a55565b60e086015161079c9061079790855f5b6020020151611fd9565b6122e0565b60a085015260e08601516107bb9061079790855f5b6020020151611fc0565b60c080860182905260a0860151908801516107da926105489190611fa7565b845260a0860151610808906107ee906122e0565b6105438660a001516105668a60c001518960c00151611fa7565b60208501526001825261018088015161082090612349565b81526001606085018190525f60808601525b602381116108d857610853610849865f0151612388565b8660600151611fa7565b83826046811061086557610865614dc8565b602002015260808501516101208a01516108a8919061054890610889600186614ddc565b6028811061089957610899614dc8565b60200201518860600151611fa7565b8560800181815250506108c385606001518860800151611fa7565b60608601526108d181614def565b9050610832565b505f6108e660236001614db5565b90505b60288111610967576109016108498660200151612388565b83826046811061091357610913614dc8565b602002015260808501516101208a0151610937919061054890610889600186614ddc565b85608001818152505061095285606001518860800151611fa7565b606086015261096081614def565b90506108e9565b50606087015181600160200201526080870151816002602002015260a0870151816003602002015260c0870151816004602002015260e0870151816005602002015261010087015181600660200201526101208701518160076020020152610140870151816008602002015261016087015181600960200201526101a087015181600a602002015261018087015181600b60200201526101c087015181600c60200201526101e087015181600d602002015261020087015181600e602002015261022087015181600f60200201526102408701518160106020020152610260870151816011602002015261028087015181601260200201526102a087015181601360200201526102c087015181601460200201526102e08701518160156020020152610300870151816016602002015261032087015181601760200201526103408701518160186020020152610360870151816019602002015261038087015181601a60200201526103a087015181601b60200201528751610ae890612349565b6103808201526020880151610afc90612349565b6103a08201526040880151610b1090612349565b6103c08201526060880151610b2490612349565b6103e08201526080880151610b3890612349565b61040082015260e0880151610b4c90612349565b61042082015260a0880151610b6090612349565b61044082015260c0880151610b7490612349565b6104608201528751610b8590612349565b6104808201526020880151610b9990612349565b6104a08201526040880151610bad90612349565b6104c08201526060880151610bc190612349565b6104e08201526080880151610bd590612349565b610500820152606086015160808501516101608a01515f92610c1a929091877f00000000000000000000000000000000000000000000000000000000000000006123a0565b805160a0870151919250610c2d91611fa7565b604086018190526101608a01515160c0890151610c5d929161054891610c539190611fa7565b8860c00151611fa7565b604086015260c0870151610c70906124bb565b60608601525f5b610c836001601c614ddc565b811015610e85575f610cb660017f0000000000000000000000000000000000000000000000000000000000000000614ddc565b821015905080610e2b57610ce96107978a60e0015188856001610cd99190614db5565b601c811061078d5761078d614dc8565b60a088015260e0890151610d17906107979088610d07866001614db5565b601c81106107b1576107b1614dc8565b60c0880152606087015160a0880151610d309190611fa7565b60e0880152606087015160c08a0151610d4c91610c5391611fa7565b6101008801819052610d6e90610d6190612388565b6105488960e00151612388565b8583610d7c60286001614db5565b610d869190614db5565b60468110610d9657610d96614dc8565b60200201526101008701516101608c01515f91610dd291610db8866001614db5565b601c8110610dc857610dc8614dc8565b6020020151611fa7565b9050610dee816105488a60e0015187876001610db89190614db5565b9050610dfe886040015182611fc0565b6040890152606088015160c08b0151610e2491610e1a91611fa7565b8b60c00151611fa7565b6060890152505b610e4f8b610140015183601b8110610e4557610e45614dc8565b6020020151612349565b8483610e5d60286001614db5565b610e679190614db5565b60468110610e7757610e77614dc8565b602002015250600101610c77565b5060408051808201909152600181526002602082015282610ea8601c6028614db5565b60468110610eb857610eb8614dc8565b6020020152604085015183610ecf601c6028614db5565b60468110610edf57610edf614dc8565b60200201526101a08901515f90610ef590612349565b90508083610f05601c6028614db5565b610f10906001614db5565b60468110610f2057610f20614dc8565b602002015260e088015184610f37601c6028614db5565b610f42906001614db5565b60468110610f5257610f52614dc8565b60200201525f610f6284866124c6565b90505f610f6e8361258c565b9050610f7a82826125d2565b9c9b505050505050505050505050565b610f926147a3565b50604080516103c0810182526302000000815260196020808301919091526103dc82840152825180840184527f2d1644381176a5220fea3fbf8f4cc18ebd361b172ae8dbb598905d277c3a141181527f236b58d7f7ae15d8daca353e9557598a0156892325dd60a27f05585f96245889818301526060830152825180840184527f1b7ef0d8e0f38d080a57223ffd9625789c6648e010a9abfee0afdf2d0e43816281527f2bc6f961485b572e3f7d037ae3a1f3f64dd871ace1b00d970a9f0c8f4361f06c818301526080830152825180840184527f18be2c9e73467ece25b654654bd239f29b3e64b8859a52390db468faecf431b381527f076bcbbd35fb736567a165ddf12d465f8a600475443e390427712f3202440c818183015260a0830152825180840184527f05b38626963542331f1d2d78163169426f5a7b5addc73b51d12fb4c59e37b04581527e866359a49f1c93b1bb261057d6e4b1f92d5f69fc89e7b1339b77339a89b39b8183015260c0830152825180840184527f1d3ff1b7a225e64087c00cf1d492f13380709e1ba6977876ed004696f541323b81527f2cf52e27d42ba6f39e7b8327b6c453b19ecfe7fc6b359a62981c0721edfd4c198183015260e0830152825180840184527f08e8e285e28ef2b139112435e4df4247822ec70f006b05b5249fccfcd79fddb481527f29385fe945c5e0eef4e73bdebea090b3576972ca3fe253c76ba88e992192acac81830152610100830152825180840184527f035d97a928b728d4f4d460c4bdcf11ea8c8bd382f233fe512c394b0b6da9152481527f26961d0bf338d36d2b5ec2f59675073ad262b9bacae3bc100ea54158e763f64781830152610120830152825180840184527f1d44c740ff7b5c95d5ef1ed5bb4a28f8d36c95a90ab308843b0c7075c1ac2fa381527f06d79b78bebd8e80872ba4e51d66f1c468b91b83a9b4dd930f545086d859cba081830152610140830152825180840184527f010f7242a57dee2de1bba0fae22bee5cdc00231b45ab68eb81c3df2e5ba9556881527f28cd14ae4b882d8e9b92574bbf8f693b1936a17b526b76ae522f01c1480bd94981830152610160830152825180840184527ea7b7a47969fa9261bdfb09514744fbea5d298e6ddf8a1fa47385ddd3983b3181527f2ab8bb693cc040110af7b7a53fd0ecabfc413c6d196be90216bcf0df21c61e1c81830152610180830152825180840184527f1e57e4bf1b1cd80bd7950dbf64e43edf45f72fa2539594be2abfb3fc1d1f483f81527f0454b71139d260eb381bab4056fbb94898cda5e3d0d2edf519180edbe899d6d4818301526101a0830152825180840184527f148d6f0c9b027aab5b72f7d3d150e6bf88109c24786ca01653328cf3846b22bb81527f2b8b3a4f7f69850e245fb05b45a6f6eb145572031fd1cc2cd97491e850107c6d818301526101c0830152825180840184527f20d0321ba406ce2d9dfee9eba30c16dca07749359e874185f792755dd80d791881527f1cb0f428d1583cf1f34089575e09c27ac6ddebbddaa24df523573b94aa3364af818301526101e0830152825180840184527f289d1be577265e7334a8c069889411d69d0bf4d2389fbfc57f24007b1482922a81527f1f76fe46cd8db234fddb6cb910a683894b24fe496d8e8a7eb4b682f299b6f5ff81830152610200830152825180840184527f052737248cfd139d3c8b339f55ca6a22dd590157e9779902ba6202022bfbcd2381527f1793a35eff38e280f2347478da0c1c4fc9380d576b7778732259c175aea8df8281830152610220830152825180840184527f0ef59408ce800a3b63abc70f6faa334197691a333ac42da8855d2341f8eaabe181527f0fc75de7bf885e4069161b8bc9d1e4e07468e9c72a1eb55084bd28c773b0427981830152610240830152825180840184527f1996e070f27c39979a2780d42ccc1ac654dbd26d49e11ed4608cd0643648029381527f2797a0b59d1439f29212bdac825730d5d5376c849872556287dc411c1f7050f081830152610260830152825180840184527f27b593be567446dfeda5a8ee2b824ab27adfcbd55e4c72cf50b1f2ce8bcbcb9581527f2e8285514e3f57ad321ec87e1d56a4ac83a5109420e02064dd46be43c139a5c181830152610280830152825180840184527f1c3cc03f16966b1492abfb062c48d1ff06c977af63fd7e02a8ae25d51d58237c81527f177a3396c8f8bf5affd446371f8997977b52c310cb109b7160dfd783f7c8acb3818301526102a0830152825180840184527f1cb8239dbde005dcb109ab1d7b2de26db8fa727442ff522c8bded7abcdb1a83a81527f024e973f56aed991ab8ac8fafbfe3a67c005f06d21a06b28f60934041d3af837818301526102c0830152825180840184527f1686ec12934280ebfda8d5f378ad75dbc190b12df154d7a2bc2218540a3d744681527f264ad164797201890dfa6209646eb16bbf21204989a872d745486782e74808b0818301526102e0830152825180840184527f0d1c51a0944e73b5bf5059109cfc7756b18ab597ee97fcdceb68e08e7a9325ec81527f2d0ebb65c43bb88f0e0af105cb368e35a8117262fa463c5e4a91e60a63285d5881830152610300830152825180840184527f237fc3d6ca839bf8fe66beb52f778994d8d05f3496301df3cb1030649802eb1881527f1013ad0339d32e695efdc9e28675f47f332bda5954966f00469214f4ee763b8481830152610320830152825180840184527f0c124a2788b4e0e45ebc1003affc7b699ea00567da3fa1f4bef7f9f97698340481527f0655bd829b537acf9fdc36831274395bdd5d3c181d2e84ddd3dfa1192c5f518481830152610340830152825180840184527f2664e1b3d5bd93796c3e968511ad456c3b10db55de4e939e1a8eb6279d99ea9a81527f2a8a81f4857a08db4de35ca43cc4e145c8719ce30616be286b5a565e4ee99e9c81830152610360830152825180840184526001815260028183015261038083015282518084019093527f196202a889f368eaeee689b789fec194c7ab4522d60218cc4e48684b081120be83527f2cc2c8c8634cfd25e733a4437aa565c646141e9e0054b41de3d8c0e7873624f5908301526103a081019190915290565b611878614a83565b608082146118c35760405162461bcd60e51b81526020600482015260136024820152721a5b9d985b1a5908189e5d195cc81c1bda5b9d606a1b60448201526064015b60405180910390fd5b6040805160808101909152806118dc60205f8688614d8e565b6118e591614e07565b81526020908101906118fb906040908688614d8e565b61190491614e07565b8152602001611917606060408688614d8e565b61192091614e07565b8152602001611933608060608688614d8e565b61193c91614e07565b90529392505050565b5f6020821461198d5760405162461bcd60e51b815260206004820152601460248201527334b73b30b634b210313cba32b99039b1b0b630b960611b60448201526064016118ba565b61199a61053e8385614e07565b9392505050565b6119a9614aa7565b5f6119b88989898989896127d6565b6040860191909152602085019190915290835292506119d7838a612bf8565b608085019190915260608401919091529199919850909650505050505050565b6119ff614ad7565b5f611a08614af6565b84815260e0848101805151602080850191909152815181015160408086019190915282518101516060808701919091529251830151608080870191909152880180515160a0870152805183015160c08701528051820151948601949094529251909101516101008401529051611a9f91611a8491849101614e24565b60405160208183030381529060405280519060200120611f89565b9150611aaa82612cc3565b6020850152835260015b611ac060026019614e6c565b811015611b4057611add83604051602001611a8491815260200190565b9250611ae883612cc3565b85611af4846002614d77565b60198110611b0457611b04614dc8565b6020020186611b14856002614d77565b611b1f906001614db5565b60198110611b2f57611b2f614dc8565b602002019190915252600101611ab4565b50611b5782604051602001611a8491815260200190565b91505f611b6383612cc3565b85611b7060016019614ddc565b60198110611b8057611b80614dc8565b60200201919091525050509250929050565b611b9a614b15565b5f805b601c811015611bec57611bbc84604051602001611a8491815260200190565b93505f611bc885612cc3565b8584601c8110611bda57611bda614dc8565b60200201919091525050600101611b9d565b5090929050565b611bfb614b15565b5f805b601c811015611cbe57611c0f614af6565b8481525f5b6008811015611c785786610100015183601c8110611c3457611c34614dc8565b60200201518160088110611c4a57611c4a614dc8565b602002015182611c5b836001614db5565b60098110611c6b57611c6b614dc8565b6020020152600101611c14565b50611c8d81604051602001611a849190614e24565b94505f611c9986612cc3565b8685601c8110611cab57611cab614dc8565b6020020191909152505050600101611bfe565b50909391925050565b5f5f611cd1614b34565b8381525f5b6028811015611d24578561012001518160288110611cf657611cf6614dc8565b602002015182611d07836001614db5565b60298110611d1757611d17614dc8565b6020020152600101611cd6565b50611d3981604051602001611a849190614e7f565b91505f611d4583612cc3565b5096929550919350505050565b5f5f611d5c614b53565b8381525f5b611d6d6001601c614ddc565b811015611eab5785610140015181601b8110611d8b57611d8b614dc8565b60200201515182611d9d836004614d77565b611da8906001614db5565b606d8110611db857611db8614dc8565b602002015261014086015181601b8110611dd457611dd4614dc8565b60200201516020015182826004611deb9190614d77565b611df6906002614db5565b606d8110611e0657611e06614dc8565b602002015261014086015181601b8110611e2257611e22614dc8565b60200201516040015182611e37836004614d77565b611e42906003614db5565b606d8110611e5257611e52614dc8565b602002015261014086015181601b8110611e6e57611e6e614dc8565b60200201516060015182611e83836004614d77565b611e8e906004614db5565b606d8110611e9e57611e9e614dc8565b6020020152600101611d61565b50611d3981604051602001611a849190614eb3565b5f5f611eca614b72565b8381525f5b601c811015611f1d5785610160015181601c8110611eef57611eef614dc8565b602002015182611f00836001614db5565b601d8110611f1057611f10614dc8565b6020020152600101611ecf565b50611d3981604051602001611a849190614ee7565b5f5f611f3c614b91565b83815261018085018051516020808401919091528151810151604080850191909152825181015160608086019190915292519092015160808401529051611d3991611a8491849101614f1b565b5f611fa15f51602061505d5f395f51905f5283614f4e565b92915050565b5f5f51602061505d5f395f51905f528284099392505050565b5f5f51602061505d5f395f51905f528284089392505050565b5f5f51602061505d5f395f51905f52611fff835f51602061505d5f395f51905f52614ddc565b84089392505050565b5f61199a83610543846122e0565b81515f908190612028908560016107b1565b929092149392505050565b60408051610100810182527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec5181526102d060208201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff1191810191909152609060608201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71608082015260f060a08201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd3160c08201526113b060e08201525f906001825b600881101561211a57612110826105438784611fd9565b91506001016120f9565b50612123614baf565b5f5b6008811015612184575f84826008811061214157612141614dc8565b60200201519050612156816105438985611fd9565b9050612161816122e0565b90508083836008811061217657612176614dc8565b602002015250600101612125565b505f5b60088110156121d7575f8782600881106121a3576121a3614dc8565b602002015190506121c081848460088110610dc857610dc8614dc8565b90506121cc8682611fc0565b955050600101612187565b5061070c8483611fa7565b5f5f6121f8600161054885610543896001611fd9565b90506122048482611fa7565b95945050505050565b5f612216614bce565b612221868285612cf3565b61222d86868386612e9f565b61223986868386613087565b612244868285613283565b61224f86828561346b565b61225b868683866137b4565b61226686828561404e565b612271868285614419565b61070c818561470e565b612283614b15565b81815260015b601c8110156122da576122bb826122a1600184614ddc565b601c81106122b1576122b1614dc8565b60200201516124bb565b8282601c81106122cd576122cd614dc8565b6020020152600101612289565b50919050565b5f5f8290505f604051602081526020808201526020604082015282606082015260025f51602061505d5f395f51905f520360808201525f51602061505d5f395f51905f5260a082015260205f60c08360055afa90508061233e575f5ffd5b50505f519392505050565b612351614bed565b604051806040016040528060888460200151901b845f015117815260200160888460600151901b8460400151178152509050919050565b5f611fa1825f51602061505d5f395f51905f52614ddc565b6123a8614b15565b601c5b80156124b1575f846123be600184614ddc565b601c81106123ce576123ce614dc8565b602002015190505f886123e2600185614ddc565b601c81106123f2576123f2614dc8565b602002015190505f61244d61241161240a858c611fa7565b6002611fa7565b6105668a612420600189614ddc565b601c811061243057612430614dc8565b60200201516105436124478861054360018a611fd9565b87611fd9565b905061246e8161054361079761246887610543600189611fd9565b86611fc0565b905085841161249d579750878085612487600187614ddc565b601c811061249757612497614dc8565b60200201525b505050806124aa90614f61565b90506123ab565b5095945050505050565b5f611fa18283611fa7565b6124ce614bed565b5f6124db601c6028614db5565b6124e6906002614db5565b90506001604051855151604082015285516020015160608201528451608082015260408160606040840160075afa8216915060015b838110156125745760208102870160208202870181515160408501528151602001516060850152805160808501525050604080830160606040850160075afa8316925060408260808460065afa9092169160010161251b565b50805184526020810151602085015250505092915050565b612594614bed565b5f51602061503d5f395f51905f5282602001515f51602061503d5f395f51905f526125bf9190614ddc565b6125c99190614f4e565b60208301525090565b81516020808401518351848301516040805194850195909552938301919091527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c260608301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60808301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60a08301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60c083015260e08201526101008101919091527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c16101208201527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b06101408201527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe46101608201527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101808201525f9081906101a00160405160208183030381529060405290505f5f60086001600160a01b0316836040516127689190614f76565b5f60405180830381855afa9150503d805f81146127a0576040519150601f19603f3d011682016040523d82523d5f602084013e6127a5565b606091505b50915091505f818060200190518101906127bf9190614f8c565b90508280156127cb5750805b979650505050505050565b5f808080806127e6876003614db5565b6127f190600c614db5565b6001600160401b0381111561280857612808614fab565b604051908082528060200260200182016040528015612831578160200160208202803683370190505b509050875f1b815f8151811061284957612849614dc8565b602002602001018181525050865f1b8160018151811061286b5761286b614dc8565b602002602001018181525050855f1b8160028151811061288d5761288d614dc8565b60209081029190910101525f5b878110156128ec578a8a828181106128b4576128b4614dc8565b90506020020135828260036128c99190614db5565b815181106128d9576128d9614dc8565b602090810291909101015260010161289a565b508a5151816128fc896003614db5565b8151811061290c5761290c614dc8565b6020908102919091018101919091528b5101518161292b896003614db5565b612936906001614db5565b8151811061294657612946614dc8565b60209081029190910101528a516040015181612963896003614db5565b61296e906002614db5565b8151811061297e5761297e614dc8565b60209081029190910101528a51606001518161299b896003614db5565b6129a6906003614db5565b815181106129b6576129b6614dc8565b6020908102919091018101919091528b015151816129d5896003614db5565b6129e0906004614db5565b815181106129f0576129f0614dc8565b6020908102919091018101919091528b810151015181612a11896003614db5565b612a1c906005614db5565b81518110612a2c57612a2c614dc8565b6020908102919091018101919091528b01516040015181612a4e896003614db5565b612a59906006614db5565b81518110612a6957612a69614dc8565b6020908102919091018101919091528b01516060015181612a8b896003614db5565b612a96906007614db5565b81518110612aa657612aa6614dc8565b602090810291909101015260408b01515181612ac3896003614db5565b612ace906008614db5565b81518110612ade57612ade614dc8565b60209081029190910181019190915260408c0151015181612b00896003614db5565b612b0b906009614db5565b81518110612b1b57612b1b614dc8565b60209081029190910101526040808c0151015181612b3a896003614db5565b612b4590600a614db5565b81518110612b5557612b55614dc8565b602090810291909101015260408b01516060015181612b75896003614db5565b612b8090600b614db5565b81518110612b9057612b90614dc8565b602002602001018181525050612bb081604051602001611a849190614fbf565b9150612bbb82612cc3565b6040805160208101869052929750909550612bd69101611a84565b91505f612be283612cc3565b50959c949b509499509097509195505050505050565b5f5f5f612c03614c05565b85815260a0858101805151602080850191909152815181015160408086019190915282518101516060808701919091529251830151608086015260c0808a0180515195870195909552845183015190860152835181015160e086015292518201516101008501528188018051516101208601528051820151610140860152805184015161016086015251909101516101808401529051612ca991611a8491849101614ff4565b9150612cb482612cc3565b90979096509194509092505050565b5f80826001600160801b038116608082901c612cde82611f89565b9450612ce981611f89565b9350505050915091565b5f612cff846007614773565b90507f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f80000005f612d60612d5a612d34856003611fd9565b610543612d4f612d448b5f614773565b6105438c601c614773565b6105438b601b614773565b83611fa7565b9050612de1612dd6612dbd612da4612d8b85610548612d808d6002614773565b6105438e601b614773565b610548612d998c6003614773565b6105438d601c614773565b610548612db28b6004614773565b6105438c601d614773565b610548612dcb8a6005614773565b6105438b601e614773565b610548886001614773565b9050612e0081610548612df5866001611fd9565b6105438a6026614773565b9050612e0c8184611fa7565b9050612e188185611fa7565b8552505f9050612e52612e48612e3d612e3288601b614773565b61054889601e614773565b610566886023614773565b610548875f614773565b9050612e6381610543846002611fd9565b9050612e7481610543846001611fd9565b9050612e808183611fa7565b9050612e8c8184611fa7565b9050808460015b60200201525050505050565b5f5f5f612ed5612ecb612eb389601b614773565b610548612ec18b6011614773565b8a60600151611fa7565b8760800151611fc0565b9050612f0e81610543612f04612eec8b601c614773565b610548612efa8d6012614773565b8c60600151611fa7565b8960800151611fc0565b9050612f3381610543612f04612f258b601d614773565b610548612efa8d6013614773565b9050612f5881610543612f04612f4a8b601e614773565b610548612efa8d6014614773565b92505f9050612f7c612ecb612f6e89601b614773565b610548612ec18b600d614773565b9050612fa181610543612f04612f938b601c614773565b610548612efa8d600e614773565b9050612fc681610543612f04612fb88b601d614773565b610548612efa8d600f614773565b9050612feb81610543612f04612fdd8b601e614773565b610548612efa8d6010614773565b91505f905061301261300c61300189601f614773565b6105488a6019614773565b84611fa7565b9050613047816105666130416130298b6027614773565b6105486130378d601a614773565b8c60a00151611fa7565b85611fa7565b90506130538185611fa7565b6040860152505f61307661304161306b89601a614773565b6105438a6027614773565b606090950194909452505050505050565b5f5f6130e56130cd6130b56130a0612f048a6015614773565b6105486130ae8b6016614773565b8a51611fa7565b6105486130c38a6017614773565b8960200151611fa7565b6105486130db896018614773565b8860400151611fa7565b91505f61311c6131036130f989601b614773565b8860800151611fc0565b6105486131118a6003614773565b6105438b6023614773565b90505f61314561312d89601c614773565b61054861313a8b5f614773565b6105438c6024614773565b90505f61316f6131568a601d614773565b6105486131648c6001614773565b6105438d6025614773565b90506131ae61319661318885610548868d5f0151611fa7565b610548848c60200151611fa7565b6105486131a48c6004614773565b8b60400151611fa7565b93505050505f6131c261300c886020614773565b90505f6131d361300c896020614773565b90505f61320b6131f26131e78b6022614773565b6105488c6006614773565b6105666132008c6022614773565b6105438d6006614773565b90505f61322f61322961321e8789611fa7565b6105438d6020614773565b83611fd9565b905061323b8188611fa7565b90505f61326361325561324f8d6006614773565b87611fa7565b61056661324f8e6021614773565b60808a018390529050808960055b60200201525050505050505050505050565b5f61328f5f6001611fd9565b90505f61329d5f6002611fd9565b90505f6132ab5f6003611fd9565b90505f6132c76132bc88601c614773565b61056689601b614773565b90505f6132e36132d889601d614773565b6105668a601c614773565b90505f6132ff6132f48a601e614773565b6105668b601d614773565b90505f61331b6133108b6023614773565b6105668c601e614773565b90508361332c81610543818b611fc0565b905061333c81610543878a611fc0565b905061334c816105438789611fc0565b905061335d816105438d6008614773565b9050613369818a611fa7565b60c08b0152508261337e81610543818b611fc0565b905061338e81610543868a611fc0565b905061339e816105438689611fc0565b90506133af816105438d6008614773565b90506133bb818a611fa7565b60e08b015250816133d081610543818b611fc0565b90506133e081610543858a611fc0565b90506133f0816105438589611fc0565b9050613401816105438d6008614773565b905061340d818a611fa7565b6101008b0152508061342381610543818b611fc0565b905061343381610543848a611fc0565b9050613443816105438489611fc0565b9050613454816105438d6008614773565b9050613460818a611fa7565b9050808a6009613271565b6134a46040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6134af84601c614773565b81526134bc84601d614773565b60208201526134cc846023614773565b60408201526134dc846026614773565b60608201526134ec846025614773565b60808201526134fc846024614773565b60a08201525f61350d856002614773565b90505f61351a865f614773565b90505f61352e8460400151855f0151611fd9565b90505f61354385602001518660200151611fa7565b606086015190915086905f906135599080611fa7565b90505f61357761357189602001518a60600151611fa7565b88611fa7565b90505f61359661358f8a60a001518b60400151611fc0565b8a51611fc0565b90506135a561324f8288611fa7565b90506135cc6135c66135c06135ba8487611fd9565b88611fd9565b84611fc0565b83611fc0565b90506135f46135e96135de8387611fa7565b6105438f6009614773565b61054360018a611fd9565b6101408c015250505050602085015160808601515f9161361391611fc0565b90505f613631613627886060015188611fa7565b8860200151611fd9565b90505f6136556136418487611fa7565b6105486130418b60a001518c5f0151611fd9565b905061367d613672613667838c611fa7565b6105438e6009614773565b610543600189611fd9565b6101608b0152505f915061369e9050613697836011611fc0565b8751611fa7565b90505f6136ab8384611fc0565b90506136b78182611fc0565b90505f6136c5836009611fa7565b90506136ee6136e861300c6136e18b60a001518c5f0151611fc0565b8b51611fc0565b82611fd9565b60c089018190525f9061370990613571906135de908d611fa7565b905061371c8b600a602002015182611fc0565b6101408c0152505086515f925061374391506136979061373c9080611fc0565b8851611fc0565b90505f61378361375e836105438a5f01518b60a00151611fd9565b6020890151610566906137719080611fc0565b6105438b602001518c60800151611fc0565b90506137a089600b60200201516105486135716135de858d611fa7565b89600b602002015250505050505050505050565b613848604051806102c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b61387d61386461385987601b614773565b610543886024614773565b610548613872886023614773565b61054389601c614773565b81526138c26138b761389e61389388601b614773565b61054389601e614773565b6105486138ac89601c614773565b6105438a601d614773565b610566876025614773565b604082018190526138d790600160441b611fa7565b604082018190526138ed90610566876026614773565b6040820181905281516139009190611fc0565b6040820181905261391690610543876005614773565b6040820152805161392b90600160441b611fa7565b80825261394b90610548613940886023614773565b610543896024614773565b8082526020820181905261396790610566612e3288601d614773565b6020820181905261397d90610543876004614773565b602082015280516060820181905261399a9061054887601e614773565b606082018190526139be906105666139b3886025614773565b610548896026614773565b606082018190526139d390610543875f614773565b8160600181815250505f6139fc6139f283602001518460400151611fc0565b8360600151611fc0565b9050613a0d81610543886003614773565b9050613a25613a1d876024614773565b614000611fa7565b60808301819052613a3b90610548886023614773565b60808301819052613a4e90614000611fa7565b60808301819052613a649061054888601d614773565b60808301819052613a7790614000611fa7565b60808301819052613a8d9061054888601c614773565b60808301819052613aa090614000611fa7565b60808301819052613ab69061054888601b614773565b60808301819052613acc9061056688601e614773565b60808301819052613ae290610543886005614773565b6080830152613af5613a1d876025614773565b60a08301819052613b0b90610548886024614773565b60a08301819052613b1e90614000611fa7565b60a08301819052613b3490610548886023614773565b60a08301819052613b4790614000611fa7565b60a08301819052613b5d9061054888601e614773565b60a08301819052613b7090614000611fa7565b60a08301819052613b869061054888601d614773565b60a08301819052613b9c90610566886026614773565b60a08301819052613bb190610543885f614773565b60a0830181905260808301515f91613bc99190611fc0565b9050613bda81610543896004614773565b9050613bf4613bea88601d614773565b8760400151611fa7565b60c08401819052613c0d906105486130c38a601c614773565b60c08401819052613c2d90610548613c268a601b614773565b8951611fa7565b60c08401819052613c4390610548896001614773565b60c0840181905260e08401819052613c609061056689601e614773565b60c0840152613c736132bc886023614773565b610140840152613c92613c87886026614773565b61056689601e614773565b610120840152610140830151613cb790613cac9080611fa7565b846101400151611fd9565b610280840152610140830151613cf990613cee90613ce79061054360015f51602061505d5f395f51905f52614ddc565b6001611fc0565b846101200151611fa7565b6101608401819052613d3090613d2290610543613d178b6002614773565b6105438c6003614773565b61054361324f8a600a614773565b6101a0860152610280830151613d5290613d2290610543613d178b6002614773565b6101c086015260c0830151613d7a90610543613d6f8a6002614773565b6105438b6003614773565b6101e08401525f613d99613d8f89601e614773565b8560e00151611fd9565b9050613da86136e88283611fa7565b6101a0850152613dbc6130db896025614773565b6101008501819052613de090610548613dd68b6024614773565b8a60200151611fa7565b6101008501819052613dfa906105486130ae8b6023614773565b610100850152613e19613e0e896026614773565b856101000151611fd9565b6101008501525f613e2e6132f48a6025614773565b9050613e82613e5c612d5a613ce788610140015160015f51602061505d5f395f51905f526105439190614ddc565b610543613ce788610100015160015f51602061505d5f395f51905f526105439190614ddc565b610180860152610100850151613ea790613e9c9080611fa7565b866101000151611fd9565b6101c0860152610180850151613eda90613ec6906105438c6007614773565b610543613ed48c600a614773565b89611fa7565b6101e0880152610280850151613ef990613ec6906105438c6007614773565b6102008801526101c0850151613f1890613ec6906105438c6007614773565b6102208801526101a0850151613f33906105438b6007614773565b610200860152613f52613f478a6024614773565b6105668b601c614773565b610220860152610140850151613f91906132f490613f8690613ce79061054360015f51602061505d5f395f51905f52614ddc565b876102200151611fa7565b61024086018190526101e08601516102608701819052613fc89161054890610543613fbd8e6005614773565b6105438f6002614773565b610260860181905260c0860151613feb919061054890610543613fbd8e5f614773565b61026086018190526102008601516140039190611fc0565b6102608601819052614019906135c09086611fc0565b6102a0860181905261403390610543613ed48c600a614773565b6102a0860181905287600c6020020152505050505050505050565b6140c46040518061022001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6140dd6140d285601b614773565b610548866002614773565b81526140f86140ed85601c614773565b610548866003614773565b602082015261411661410b85601d614773565b610548866004614773565b604082015261413461412985601e614773565b610548866005614773565b606082015280516141669061415f90614158906141519080611fa7565b8451611fa7565b8351611fa7565b8251611fa7565b608082015260208101516141a49061419a90614190906141869080611fa7565b8460200151611fa7565b8360200151611fa7565b8260200151611fa7565b60a082015260408101516141e2906141d8906141ce906141c49080611fa7565b8460400151611fa7565b8360400151611fa7565b8260400151611fa7565b60c08201526060810151614220906142169061420c906142029080611fa7565b8460600151611fa7565b8360600151611fa7565b8260600151611fa7565b60e0820152608081015160a08201516142399190611fc0565b61010082015260c081015160e08201516142539190611fc0565b61012082015260a08101516142779061426c9080611fc0565b826101200151611fc0565b61014082015260e081015161429b906142909080611fc0565b826101000151611fc0565b6101608201526101208101516142b19080611fc0565b6101e082018190526142d2906142c79080611fc0565b826101600151611fc0565b6101e08201526101008101516142e89080611fc0565b6101a08201819052614309906142fe9080611fc0565b826101400151611fc0565b6101a0820181905261016082015161432091611fc0565b6101808201526101408101516101e082015161433c9190611fc0565b6101c0820152614350612d5a85600b614773565b610200820181905261024084015161018083015161437b9261054891610543906105668a6023614773565b83601260200201526143ab8360136020020151610548836102000151610543856101a001516105668a6024614773565b83601360200201526143db8360146020020151610548836102000151610543856101c001516105668a6025614773565b836014602002015261440b8360156020020151610548836102000151610543856101e001516105668a6026614773565b836015602002015250505050565b61446b6040518061016001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f60405180608001604052806144a07f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e7611f89565b81526020016144ce7f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b611f89565b81526020016144fb7e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac15611f89565b81526020016145297f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b611f89565b9052905061454661453b86601b614773565b610548876002614773565b610120830181905261457a9061456f90613cee906145649080611fa7565b856101200151611fa7565b836101200151611fa7565b825261458785601c614773565b602083015261459785601d614773565b60408301526145a785601e614773565b6060830152815160208301516145cf916139f2916145c59190611fc0565b8460400151611fc0565b60808301526145e261300c86600c614773565b6101408301528151614603906145f990835f610dc8565b8360800151611fc0565b60a083015261462f84601660200201516105488461014001516105438660a001516105668b6023614773565b6102c0850152602082015161464a906145f990836001610dc8565b60c083015261467684601760200201516105488461014001516105438660c001516105668b6024614773565b6102e08501526040820151614691906145f990836002610dc8565b60e08301526146bd84601860200201516105488461014001516105438660e001516105668b6025614773565b61030085015260608201516146d8906145f990836003610dc8565b61010083015261470684601960200201516105488461014001516105438661010001516105668b6026614773565b846019612e93565b5f61471a8184816107b1565b905060015b601a81101561476c57614762826105488684601a811061474157614741614dc8565b602002015186614752600187614ddc565b60198110610dc857610dc8614dc8565b915060010161471f565b5092915050565b5f8282602781111561478757614787615028565b6028811061479757614797614dc8565b60200201519392505050565b604051806103c001604052805f81526020015f81526020015f81526020016147c9614bed565b81526020016147d6614bed565b81526020016147e3614bed565b81526020016147f0614bed565b81526020016147fd614bed565b815260200161480a614bed565b8152602001614817614bed565b8152602001614824614bed565b8152602001614831614bed565b815260200161483e614bed565b815260200161484b614bed565b8152602001614858614bed565b8152602001614865614bed565b8152602001614872614bed565b815260200161487f614bed565b815260200161488c614bed565b8152602001614899614bed565b81526020016148a6614bed565b81526020016148b3614bed565b81526020016148c0614bed565b81526020016148cd614bed565b81526020016148da614bed565b81526020016148e7614bed565b81526020016148f4614bed565b8152602001614901614bed565b815260200161490e614bed565b815260200161491b614bed565b905290565b604051806101c00160405280614934614a83565b8152602001614941614a83565b815260200161494e614a83565b815260200161495b614a83565b8152602001614968614a83565b8152602001614975614a83565b8152602001614982614a83565b815260200161498f614a83565b815260200161499c614c24565b81526020016149a9614c52565b81526020016149b6614c71565b81526020016149c3614b15565b81526020016149d0614a83565b815260200161491b614a83565b6040518061010001604052806149f1614aa7565b81526020016149fe614ad7565b8152602001614a0b614b15565b8152602001614a18614b15565b81526020015f81526020015f81526020015f81526020015f81525090565b604051806108c001604052806046906020820280368337509192915050565b604051806108c001604052806046905b614a6d614bed565b815260200190600190039081614a655790505090565b60405180608001604052805f81526020015f81526020015f81526020015f81525090565b6040518060c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6040518061032001604052806019906020820280368337509192915050565b6040518061012001604052806009906020820280368337509192915050565b604051806103800160405280601c906020820280368337509192915050565b6040518061052001604052806029906020820280368337509192915050565b60405180610da00160405280606d906020820280368337509192915050565b604051806103a00160405280601d906020820280368337509192915050565b6040518060a001604052806005906020820280368337509192915050565b6040518061010001604052806008906020820280368337509192915050565b604051806103400160405280601a906020820280368337509192915050565b60405180604001604052805f81526020015f81525090565b604051806101a00160405280600d906020820280368337509192915050565b604051806103800160405280601c905b614c3c614baf565b815260200190600190039081614c345790505090565b6040518061050001604052806028906020820280368337509192915050565b604051806103600160405280601b905b614c89614a83565b815260200190600190039081614c815790505090565b5f5f5f5f60408587031215614cb2575f5ffd5b84356001600160401b03811115614cc7575f5ffd5b8501601f81018713614cd7575f5ffd5b80356001600160401b03811115614cec575f5ffd5b876020828401011115614cfd575f5ffd5b6020918201955093508501356001600160401b03811115614d1c575f5ffd5b8501601f81018713614d2c575f5ffd5b80356001600160401b03811115614d41575f5ffd5b8760208260051b8401011115614d55575f5ffd5b949793965060200194505050565b634e487b7160e01b5f52601160045260245ffd5b8082028115828204841417611fa157611fa1614d63565b5f5f85851115614d9c575f5ffd5b83861115614da8575f5ffd5b5050820193919092039150565b80820180821115611fa157611fa1614d63565b634e487b7160e01b5f52603260045260245ffd5b81810381811115611fa157611fa1614d63565b5f60018201614e0057614e00614d63565b5060010190565b80356020831015611fa1575f19602084900360031b1b1692915050565b5f8183825b6009811015614e48578151835260209283019290910190600101614e29565b5050506101208201905092915050565b634e487b7160e01b5f52601260045260245ffd5b5f82614e7a57614e7a614e58565b500490565b5f8183825b6029811015614ea3578151835260209283019290910190600101614e84565b5050506105208201905092915050565b5f8183825b606d811015614ed7578151835260209283019290910190600101614eb8565b505050610da08201905092915050565b5f8183825b601d811015614f0b578151835260209283019290910190600101614eec565b5050506103a08201905092915050565b5f8183825b6005811015614f3f578151835260209283019290910190600101614f20565b50505060a08201905092915050565b5f82614f5c57614f5c614e58565b500690565b5f81614f6f57614f6f614d63565b505f190190565b5f82518060208501845e5f920191825250919050565b5f60208284031215614f9c575f5ffd5b8151801515811461199a575f5ffd5b634e487b7160e01b5f52604160045260245ffd5b81515f90829060208501835b82811015614fe9578151845260209384019390910190600101614fcb565b509195945050505050565b5f8183825b600d811015615018578151835260209283019290910190600101614ff9565b5050506101a08201905092915050565b634e487b7160e01b5f52602160045260245ffdfe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4730644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001";
|
|
5
5
|
/**
|
|
6
6
|
* HonkVerifier link references.
|
|
7
7
|
*/
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"HonkVerifierBytecode.d.ts","sourceRoot":"","sources":["../src/HonkVerifierBytecode.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,eAAO,MAAM,oBAAoB,
|
|
1
|
+
{"version":3,"file":"HonkVerifierBytecode.d.ts","sourceRoot":"","sources":["../src/HonkVerifierBytecode.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,eAAO,MAAM,oBAAoB,q7wCAAq7wC,CAAC;AACv9wC;;GAEG;AACH,eAAO,MAAM,0BAA0B,IAAc,CAAC"}
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* HonkVerifier bytecode.
|
|
3
|
-
*/ export const HonkVerifierBytecode = "0x60e0604052348015600e575f5ffd5b506302000000608052601960a0526103dc60c05260805160a05160c05161507f61005a5f395f61057101525f818161061d01528181610bf60152610c9201525f61051a015261507f5ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b366004614ca1565b610054565b604051901515815260200160405180910390f35b5f6100626101b86020614d79565b8414610081576040516376ba560560e11b815260040160405180910390fd5b5f61008a610198565b90505f61009787876101ad565b604083015190915084146100be5760405163fa06659360e01b815260040160405180910390fd5b5f6100d5828787865f015187604001516001610455565b90506101238686808060200260200160405190810160405280939291908181526020018383602002808284375f92019190915250508451606081015160809091015190925090506001610504565b815160a001525f6101348383610615565b905080610154576040516313f8744360e31b815260040160405180910390fd5b5f610160848685610716565b905080610180576040516352ec174560e11b815260040160405180910390fd5b81801561018a5750805b9a9950505050505050505050565b6101a06147a5565b6101a8610f8a565b905090565b6101b5614922565b6101ca6101c560805f8587614d90565b611872565b81526101de6101c561010060808587614d90565b60208201526101f66101c56101806101008587614d90565b604082015261020e6101c56102006101808587614d90565b60a08201526102266101c56102806102008587614d90565b60c082015261023e6101c56103006102808587614d90565b60608201526102566101c56103806103008587614d90565b60e082015261026e6101c56104006103808587614d90565b60808201526104005f5b601c811015610305575f5b60088110156102fc576102af86848761029d826020614db7565b926102aa93929190614d90565b611947565b84610100015183601c81106102c6576102c6614dca565b602002015182600881106102dc576102dc614dca565b6020020181815250506020836102f29190614db7565b9250600101610283565b50600101610278565b505f5b60288110156103595761032285838661029d826020614db7565b836101200151826028811061033957610339614dca565b60200201818152505060208261034f9190614db7565b9150600101610308565b505f5b6103686001601c614dde565b8110156103be5761038d858386610380826080614db7565b926101c593929190614d90565b83610140015182601b81106103a4576103a4614dca565b60200201526103b4608083614db7565b915060010161035c565b505f5b601c811015610412576103db85838661029d826020614db7565b83610160015182601c81106103f2576103f2614dca565b6020020181815250506020826104089190614db7565b91506001016103c1565b50610424848285610380826080614db7565b610180830152610435816080614db7565b9050610448848285610380826080614db7565b6101a08301525092915050565b61045d6149df565b5f61046d888888888888876119a3565b908352905061047c81896119f9565b6020840191909152905061048f81611b94565b604084019190915290506104a38882611bf5565b606084019190915290506104b78882611cc9565b608084019190915290506104cb8882611d54565b60a084019190915290506104df8882611ec2565b60c084019190915290506104f38882611f34565b5060e0830152509695505050505050565b5f6001808261054d866105488961054361053e8a7f0000000000000000000000000000000000000000000000000000000000000000614db7565b611f8b565b611fa9565b611fc2565b90505f61056b876105668a61054361053e8b6001614db7565b611fdb565b90505f5b7f00000000000000000000000000000000000000000000000000000000000000008110156105fd575f6105ba8b83815181106105ad576105ad614dca565b6020026020010151611f8b565b90506105ca866105438684611fc2565b95506105da856105438584611fc2565b94506105e6848b611fc2565b93506105f2838b611fdb565b92505060010161056f565b50610608848461200a565b9998505050505050505050565b5f806001815b7f00000000000000000000000000000000000000000000000000000000000000008110156106ec575f86610100015182601c811061065b5761065b614dca565b602002015190505f61066d8286612018565b90508061068d576040516313f8744360e31b815260040160405180910390fd5b5f876060015184601c81106106a4576106a4614dca565b602002015190506106b58382612035565b95506106dc886040015185601c81106106d0576106d0614dca565b602002015186836121e4565b945050505080600101905061061b565b505f610706866101200151865f015187602001518561220f565b90508281145b9695505050505050565b5f61075d6040518061012001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f61076b8460a0015161227d565b9050610775614a38565b61077d614a57565b60e086015161079c9061079790855f5b6020020151611fdb565b6122e2565b60a085015260e08601516107bb9061079790855f5b6020020151611fc2565b60c080860182905260a0860151908801516107da926105489190611fa9565b845260a0860151610808906107ee906122e2565b6105438660a001516105668a60c001518960c00151611fa9565b6020850152600182526101808801516108209061234b565b81526001606085018190525f60808601525b602381116108d857610853610849865f015161238a565b8660600151611fa9565b83826046811061086557610865614dca565b602002015260808501516101208a01516108a8919061054890610889600186614dde565b6028811061089957610899614dca565b60200201518860600151611fa9565b8560800181815250506108c385606001518860800151611fa9565b60608601526108d181614df1565b9050610832565b505f6108e660236001614db7565b90505b6028811161096757610901610849866020015161238a565b83826046811061091357610913614dca565b602002015260808501516101208a0151610937919061054890610889600186614dde565b85608001818152505061095285606001518860800151611fa9565b606086015261096081614df1565b90506108e9565b50606087015181600160200201526080870151816002602002015260a0870151816003602002015260c0870151816004602002015260e0870151816005602002015261010087015181600660200201526101208701518160076020020152610140870151816008602002015261016087015181600960200201526101a087015181600a602002015261018087015181600b60200201526101c087015181600c60200201526101e087015181600d602002015261020087015181600e602002015261022087015181600f60200201526102408701518160106020020152610260870151816011602002015261028087015181601260200201526102a087015181601360200201526102c087015181601460200201526102e08701518160156020020152610300870151816016602002015261032087015181601760200201526103408701518160186020020152610360870151816019602002015261038087015181601a60200201526103a087015181601b60200201528751610ae89061234b565b6103808201526020880151610afc9061234b565b6103a08201526040880151610b109061234b565b6103c08201526060880151610b249061234b565b6103e08201526080880151610b389061234b565b61040082015260e0880151610b4c9061234b565b61042082015260a0880151610b609061234b565b61044082015260c0880151610b749061234b565b6104608201528751610b859061234b565b6104808201526020880151610b999061234b565b6104a08201526040880151610bad9061234b565b6104c08201526060880151610bc19061234b565b6104e08201526080880151610bd59061234b565b610500820152606086015160808501516101608a01515f92610c1a929091877f00000000000000000000000000000000000000000000000000000000000000006123a2565b805160a0870151919250610c2d91611fa9565b604086018190526101608a01515160c0890151610c5d929161054891610c539190611fa9565b8860c00151611fa9565b604086015260c0870151610c70906124bd565b60608601525f5b610c836001601c614dde565b811015610e85575f610cb660017f0000000000000000000000000000000000000000000000000000000000000000614dde565b821015905080610e2b57610ce96107978a60e0015188856001610cd99190614db7565b601c811061078d5761078d614dca565b60a088015260e0890151610d17906107979088610d07866001614db7565b601c81106107b1576107b1614dca565b60c0880152606087015160a0880151610d309190611fa9565b60e0880152606087015160c08a0151610d4c91610c5391611fa9565b6101008801819052610d6e90610d619061238a565b6105488960e0015161238a565b8583610d7c60286001614db7565b610d869190614db7565b60468110610d9657610d96614dca565b60200201526101008701516101608c01515f91610dd291610db8866001614db7565b601c8110610dc857610dc8614dca565b6020020151611fa9565b9050610dee816105488a60e0015187876001610db89190614db7565b9050610dfe886040015182611fc2565b6040890152606088015160c08b0151610e2491610e1a91611fa9565b8b60c00151611fa9565b6060890152505b610e4f8b610140015183601b8110610e4557610e45614dca565b602002015161234b565b8483610e5d60286001614db7565b610e679190614db7565b60468110610e7757610e77614dca565b602002015250600101610c77565b5060408051808201909152600181526002602082015282610ea8601c6028614db7565b60468110610eb857610eb8614dca565b6020020152604085015183610ecf601c6028614db7565b60468110610edf57610edf614dca565b60200201526101a08901515f90610ef59061234b565b90508083610f05601c6028614db7565b610f10906001614db7565b60468110610f2057610f20614dca565b602002015260e088015184610f37601c6028614db7565b610f42906001614db7565b60468110610f5257610f52614dca565b60200201525f610f6284866124c8565b90505f610f6e8361258e565b9050610f7a82826125d4565b9c9b505050505050505050505050565b610f926147a5565b50604080516103c0810182526302000000815260196020808301919091526103dc82840152825180840184527f1f425781e8ef39130b9af37c4df3857dbb57f2c90d773a08dd7bb7223b9c769881527f0b56e6215d3442928b7fd2700b92c9e8f3db72528391ea9c3dc5b88100b958c8818301526060830152825180840184527f199782d5140a68faee5649fa0c0933ae33d898e4ef9d26c8b26bbae6e7544cc581527f0e9d20233f97e641a42027a82d82bfce00c1bac9b53bcf5abf8ec4ee8f57e61e818301526080830152825180840184527f22e9b5f48c858336b414888d3f8033059991647ecf9dd3b832ca9a6f233341db81527f116a43b4e5b709bea4a365956014caa84cf282dc638950aacbada1441d959b928183015260a0830152825180840184527f18ae7c4b61cab36b249cb55057e45bd5db24e439dcab7c418f3e7fa7afa7d7d181527f017d54b734ef59f5862640014bb25dd0ccea353a3f0162b894e88e1c76591daf8183015260c0830152825180840184527f057038a56e9cbebbbdee44328a472c92f427492675502989e327a0429ccf8ef681527f22e2ec127490ecdc92f161ce9450ea748c19e51c0db29111a2704e630f690fce8183015260e0830152825180840184527f2948f25ca9fdd65741a9721edb32a72c0ee12ff54a74a94714de246dd5b27fbb81527f1fafc1bb412198f7cf48b164a6621747f66f8d05891d421f6cb8a0abb48d05f381830152610100830152825180840184527f035d97a928b728d4f4d460c4bdcf11ea8c8bd382f233fe512c394b0b6da9152481527f26961d0bf338d36d2b5ec2f59675073ad262b9bacae3bc100ea54158e763f64781830152610120830152825180840184527f267cfcb47328b7ae6ae044add074918836d0ee7bcd39ced6454cd7f5afecbd1481527f2cbf9b2a5c0fd7af4913b00bb7b922b2553530f7f96d3553f777d9a82603bf5581830152610140830152825180840184527f2b99286034390238d2f87e4a340ec8b43f63e68f4074539df890f4a7c99d842781527f21fcf1b038a7607d36b729d9bb8f7a2b1d9baf7a726a34ad30b3958b7704412081830152610160830152825180840184527f2b04321531676dac0c855123ea0834800a44730384b0f03c77a884e6b896ad5c81527f06f2a41ce4704c3c8f461b27c3d8b5647dd528aed884e5266da0e8a71e0cc73081830152610180830152825180840184527f04307c6f14c1ef3d0b77cb3ae4ca3f9d3499300f88550a76483ec705fb6339e481527f2e6a6c88b20eecd02c1ec2b0154d3bba59b0f429aac1956ee81cea28214b7196818301526101a0830152825180840184527f27188ec9792bf29d81ceec5c249bb2b736ae0844be6954e55b71e6d1cc83dbd581527f1f35519c1d02549cb1883916501985cee5acd60d65423098d7bfbedb060d5c15818301526101c0830152825180840184527f0d131d17a863d1b8c580de3daaa9b2db4bafec94bc8cf7f938b2862897ecfcb781527f239a4ed4df51b3e7b8d0ed6601d6b3ddd36f8cfe5a8dca6c0bf519fd053c8e52818301526101e0830152825180840184527f05a0d344dcbd02bea6acff5c011d642f7904a1869cae2f2058163f07305bc0ce81527f23ec1edcaa244a5e10bb67f327a64b7d763b6ebf703a9efab4b43f3d025b4b7581830152610200830152825180840184527f26a043c8feec2b650aca9a4d01c03695028f8141a8dbbb2f324a7d7992ded6b181527f1d2423009b702d2a7407db0f12f77b00472c0a6f67b585bc2293ff3e6c1cc9c181830152610220830152825180840184527f0fc5bf9cc0c2731f10fbcd23c51651d8ac79f4f2913ea450a9bc9650fb05cb3881527f1eb327112d3d4680915309eb953d82ac47921027dc89ba914f83d39663eb425b81830152610240830152825180840184527f14cc2150916f412892dcd75efcc5aa2da33214ed3452e23cf604588acddeea4481527f1134a39331aa8bb2cf2a27dd82668aa34aa6f84695df48fd252db9447e97390181830152610260830152825180840184527f193d9924725390a4f0f09086e3b578a35e8fc91be6a8dc43345058d5187b2d0b81527f023e6d2627aa62fb44d78e3637f34ab51f82ad5bf90f7d1706ff85e6588fa85e81830152610280830152825180840184527f0fe7cf270c80d8c953574b9cd045788a23620a606eca8616fd7b0817272974b981527f026512584f1ffd93699d7c3d10cc1033f5d22a485056525a06b04f699345838e818301526102a0830152825180840184527f0f17eebdd648a22a2534c6f62afaf6c7825fa2ae41f98d398eec5758e92b5fa281527f0645f63ec34efb355d9c56043a633de3f41fd9af61a7d3ecf46a87e203007cc6818301526102c0830152825180840184527f0525a86d809801993377e82c6810d7124bb2f1995759aba65bf60b0c4fda8f3181527f1b8f05120eb2c53b2cad8099860699db5fc9dce89d1de77360d25f3b83d83baa818301526102e0830152825180840184527f0d1c51a0944e73b5bf5059109cfc7756b18ab597ee97fcdceb68e08e7a9325ec81527f2d0ebb65c43bb88f0e0af105cb368e35a8117262fa463c5e4a91e60a63285d5881830152610300830152825180840184527f237fc3d6ca839bf8fe66beb52f778994d8d05f3496301df3cb1030649802eb1881527f1013ad0339d32e695efdc9e28675f47f332bda5954966f00469214f4ee763b8481830152610320830152825180840184527f0c124a2788b4e0e45ebc1003affc7b699ea00567da3fa1f4bef7f9f97698340481527f0655bd829b537acf9fdc36831274395bdd5d3c181d2e84ddd3dfa1192c5f518481830152610340830152825180840184527f2664e1b3d5bd93796c3e968511ad456c3b10db55de4e939e1a8eb6279d99ea9a81527f2a8a81f4857a08db4de35ca43cc4e145c8719ce30616be286b5a565e4ee99e9c81830152610360830152825180840184526001815260028183015261038083015282518084019093527f10e0775469485c408ab9b0f95d6b3fd5dcaeced274c1a3ba0105915195dc046283527f21369c8875c1b7ede3133157e0412ce94cbf2ad6e7b5c3e666fb0b04fc5cf855908301526103a081019190915290565b61187a614a85565b608082146118c55760405162461bcd60e51b81526020600482015260136024820152721a5b9d985b1a5908189e5d195cc81c1bda5b9d606a1b60448201526064015b60405180910390fd5b6040805160808101909152806118de60205f8688614d90565b6118e791614e09565b81526020908101906118fd906040908688614d90565b61190691614e09565b8152602001611919606060408688614d90565b61192291614e09565b8152602001611935608060608688614d90565b61193e91614e09565b90529392505050565b5f6020821461198f5760405162461bcd60e51b815260206004820152601460248201527334b73b30b634b210313cba32b99039b1b0b630b960611b60448201526064016118bc565b61199c61053e8385614e09565b9392505050565b6119ab614aa9565b5f6119ba8989898989896127d8565b6040860191909152602085019190915290835292506119d9838a612bfa565b608085019190915260608401919091529199919850909650505050505050565b611a01614ad9565b5f611a0a614af8565b84815260e0848101805151602080850191909152815181015160408086019190915282518101516060808701919091529251830151608080870191909152880180515160a0870152805183015160c08701528051820151948601949094529251909101516101008401529051611aa191611a8691849101614e26565b60405160208183030381529060405280519060200120611f8b565b9150611aac82612cc5565b6020850152835260015b611ac260026019614e6e565b811015611b4257611adf83604051602001611a8691815260200190565b9250611aea83612cc5565b85611af6846002614d79565b60198110611b0657611b06614dca565b6020020186611b16856002614d79565b611b21906001614db7565b60198110611b3157611b31614dca565b602002019190915252600101611ab6565b50611b5982604051602001611a8691815260200190565b91505f611b6583612cc5565b85611b7260016019614dde565b60198110611b8257611b82614dca565b60200201919091525050509250929050565b611b9c614b17565b5f805b601c811015611bee57611bbe84604051602001611a8691815260200190565b93505f611bca85612cc5565b8584601c8110611bdc57611bdc614dca565b60200201919091525050600101611b9f565b5090929050565b611bfd614b17565b5f805b601c811015611cc057611c11614af8565b8481525f5b6008811015611c7a5786610100015183601c8110611c3657611c36614dca565b60200201518160088110611c4c57611c4c614dca565b602002015182611c5d836001614db7565b60098110611c6d57611c6d614dca565b6020020152600101611c16565b50611c8f81604051602001611a869190614e26565b94505f611c9b86612cc5565b8685601c8110611cad57611cad614dca565b6020020191909152505050600101611c00565b50909391925050565b5f5f611cd3614b36565b8381525f5b6028811015611d26578561012001518160288110611cf857611cf8614dca565b602002015182611d09836001614db7565b60298110611d1957611d19614dca565b6020020152600101611cd8565b50611d3b81604051602001611a869190614e81565b91505f611d4783612cc5565b5096929550919350505050565b5f5f611d5e614b55565b8381525f5b611d6f6001601c614dde565b811015611ead5785610140015181601b8110611d8d57611d8d614dca565b60200201515182611d9f836004614d79565b611daa906001614db7565b606d8110611dba57611dba614dca565b602002015261014086015181601b8110611dd657611dd6614dca565b60200201516020015182826004611ded9190614d79565b611df8906002614db7565b606d8110611e0857611e08614dca565b602002015261014086015181601b8110611e2457611e24614dca565b60200201516040015182611e39836004614d79565b611e44906003614db7565b606d8110611e5457611e54614dca565b602002015261014086015181601b8110611e7057611e70614dca565b60200201516060015182611e85836004614d79565b611e90906004614db7565b606d8110611ea057611ea0614dca565b6020020152600101611d63565b50611d3b81604051602001611a869190614eb5565b5f5f611ecc614b74565b8381525f5b601c811015611f1f5785610160015181601c8110611ef157611ef1614dca565b602002015182611f02836001614db7565b601d8110611f1257611f12614dca565b6020020152600101611ed1565b50611d3b81604051602001611a869190614ee9565b5f5f611f3e614b93565b83815261018085018051516020808401919091528151810151604080850191909152825181015160608086019190915292519092015160808401529051611d3b91611a8691849101614f1d565b5f611fa35f51602061505f5f395f51905f5283614f50565b92915050565b5f5f51602061505f5f395f51905f528284099392505050565b5f5f51602061505f5f395f51905f528284089392505050565b5f5f51602061505f5f395f51905f52612001835f51602061505f5f395f51905f52614dde565b84089392505050565b5f61199c83610543846122e2565b81515f90819061202a908560016107b1565b929092149392505050565b60408051610100810182527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec5181526102d060208201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff1191810191909152609060608201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71608082015260f060a08201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd3160c08201526113b060e08201525f906001825b600881101561211c57612112826105438784611fdb565b91506001016120fb565b50612125614bb1565b5f5b6008811015612186575f84826008811061214357612143614dca565b60200201519050612158816105438985611fdb565b9050612163816122e2565b90508083836008811061217857612178614dca565b602002015250600101612127565b505f5b60088110156121d9575f8782600881106121a5576121a5614dca565b602002015190506121c281848460088110610dc857610dc8614dca565b90506121ce8682611fc2565b955050600101612189565b5061070c8483611fa9565b5f5f6121fa600161054885610543896001611fdb565b90506122068482611fa9565b95945050505050565b5f612218614bd0565b612223868285612cf5565b61222f86868386612ea1565b61223b86868386613089565b612246868285613285565b61225186828561346d565b61225d868683866137b6565b612268868285614050565b61227386828561441b565b61070c8185614710565b612285614b17565b81815260015b601c8110156122dc576122bd826122a3600184614dde565b601c81106122b3576122b3614dca565b60200201516124bd565b8282601c81106122cf576122cf614dca565b602002015260010161228b565b50919050565b5f5f8290505f604051602081526020808201526020604082015282606082015260025f51602061505f5f395f51905f520360808201525f51602061505f5f395f51905f5260a082015260205f60c08360055afa905080612340575f5ffd5b50505f519392505050565b612353614bef565b604051806040016040528060888460200151901b845f015117815260200160888460600151901b8460400151178152509050919050565b5f611fa3825f51602061505f5f395f51905f52614dde565b6123aa614b17565b601c5b80156124b3575f846123c0600184614dde565b601c81106123d0576123d0614dca565b602002015190505f886123e4600185614dde565b601c81106123f4576123f4614dca565b602002015190505f61244f61241361240c858c611fa9565b6002611fa9565b6105668a612422600189614dde565b601c811061243257612432614dca565b60200201516105436124498861054360018a611fdb565b87611fdb565b90506124708161054361079761246a87610543600189611fdb565b86611fc2565b905085841161249f579750878085612489600187614dde565b601c811061249957612499614dca565b60200201525b505050806124ac90614f63565b90506123ad565b5095945050505050565b5f611fa38283611fa9565b6124d0614bef565b5f6124dd601c6028614db7565b6124e8906002614db7565b90506001604051855151604082015285516020015160608201528451608082015260408160606040840160075afa8216915060015b838110156125765760208102870160208202870181515160408501528151602001516060850152805160808501525050604080830160606040850160075afa8316925060408260808460065afa9092169160010161251d565b50805184526020810151602085015250505092915050565b612596614bef565b5f51602061503f5f395f51905f5282602001515f51602061503f5f395f51905f526125c19190614dde565b6125cb9190614f50565b60208301525090565b81516020808401518351848301516040805194850195909552938301919091527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c260608301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60808301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60a08301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60c083015260e08201526101008101919091527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c16101208201527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b06101408201527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe46101608201527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101808201525f9081906101a00160405160208183030381529060405290505f5f60086001600160a01b03168360405161276a9190614f78565b5f60405180830381855afa9150503d805f81146127a2576040519150601f19603f3d011682016040523d82523d5f602084013e6127a7565b606091505b50915091505f818060200190518101906127c19190614f8e565b90508280156127cd5750805b979650505050505050565b5f808080806127e8876003614db7565b6127f390600c614db7565b6001600160401b0381111561280a5761280a614fad565b604051908082528060200260200182016040528015612833578160200160208202803683370190505b509050875f1b815f8151811061284b5761284b614dca565b602002602001018181525050865f1b8160018151811061286d5761286d614dca565b602002602001018181525050855f1b8160028151811061288f5761288f614dca565b60209081029190910101525f5b878110156128ee578a8a828181106128b6576128b6614dca565b90506020020135828260036128cb9190614db7565b815181106128db576128db614dca565b602090810291909101015260010161289c565b508a5151816128fe896003614db7565b8151811061290e5761290e614dca565b6020908102919091018101919091528b5101518161292d896003614db7565b612938906001614db7565b8151811061294857612948614dca565b60209081029190910101528a516040015181612965896003614db7565b612970906002614db7565b8151811061298057612980614dca565b60209081029190910101528a51606001518161299d896003614db7565b6129a8906003614db7565b815181106129b8576129b8614dca565b6020908102919091018101919091528b015151816129d7896003614db7565b6129e2906004614db7565b815181106129f2576129f2614dca565b6020908102919091018101919091528b810151015181612a13896003614db7565b612a1e906005614db7565b81518110612a2e57612a2e614dca565b6020908102919091018101919091528b01516040015181612a50896003614db7565b612a5b906006614db7565b81518110612a6b57612a6b614dca565b6020908102919091018101919091528b01516060015181612a8d896003614db7565b612a98906007614db7565b81518110612aa857612aa8614dca565b602090810291909101015260408b01515181612ac5896003614db7565b612ad0906008614db7565b81518110612ae057612ae0614dca565b60209081029190910181019190915260408c0151015181612b02896003614db7565b612b0d906009614db7565b81518110612b1d57612b1d614dca565b60209081029190910101526040808c0151015181612b3c896003614db7565b612b4790600a614db7565b81518110612b5757612b57614dca565b602090810291909101015260408b01516060015181612b77896003614db7565b612b8290600b614db7565b81518110612b9257612b92614dca565b602002602001018181525050612bb281604051602001611a869190614fc1565b9150612bbd82612cc5565b6040805160208101869052929750909550612bd89101611a86565b91505f612be483612cc5565b50959c949b509499509097509195505050505050565b5f5f5f612c05614c07565b85815260a0858101805151602080850191909152815181015160408086019190915282518101516060808701919091529251830151608086015260c0808a0180515195870195909552845183015190860152835181015160e086015292518201516101008501528188018051516101208601528051820151610140860152805184015161016086015251909101516101808401529051612cab91611a8691849101614ff6565b9150612cb682612cc5565b90979096509194509092505050565b5f80826001600160801b038116608082901c612ce082611f8b565b9450612ceb81611f8b565b9350505050915091565b5f612d01846007614775565b90507f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f80000005f612d62612d5c612d36856003611fdb565b610543612d51612d468b5f614775565b6105438c601c614775565b6105438b601b614775565b83611fa9565b9050612de3612dd8612dbf612da6612d8d85610548612d828d6002614775565b6105438e601b614775565b610548612d9b8c6003614775565b6105438d601c614775565b610548612db48b6004614775565b6105438c601d614775565b610548612dcd8a6005614775565b6105438b601e614775565b610548886001614775565b9050612e0281610548612df7866001611fdb565b6105438a6026614775565b9050612e0e8184611fa9565b9050612e1a8185611fa9565b8552505f9050612e54612e4a612e3f612e3488601b614775565b61054889601e614775565b610566886023614775565b610548875f614775565b9050612e6581610543846002611fdb565b9050612e7681610543846001611fdb565b9050612e828183611fa9565b9050612e8e8184611fa9565b9050808460015b60200201525050505050565b5f5f5f612ed7612ecd612eb589601b614775565b610548612ec38b6011614775565b8a60600151611fa9565b8760800151611fc2565b9050612f1081610543612f06612eee8b601c614775565b610548612efc8d6012614775565b8c60600151611fa9565b8960800151611fc2565b9050612f3581610543612f06612f278b601d614775565b610548612efc8d6013614775565b9050612f5a81610543612f06612f4c8b601e614775565b610548612efc8d6014614775565b92505f9050612f7e612ecd612f7089601b614775565b610548612ec38b600d614775565b9050612fa381610543612f06612f958b601c614775565b610548612efc8d600e614775565b9050612fc881610543612f06612fba8b601d614775565b610548612efc8d600f614775565b9050612fed81610543612f06612fdf8b601e614775565b610548612efc8d6010614775565b91505f905061301461300e61300389601f614775565b6105488a6019614775565b84611fa9565b90506130498161056661304361302b8b6027614775565b6105486130398d601a614775565b8c60a00151611fa9565b85611fa9565b90506130558185611fa9565b6040860152505f61307861304361306d89601a614775565b6105438a6027614775565b606090950194909452505050505050565b5f5f6130e76130cf6130b76130a2612f068a6015614775565b6105486130b08b6016614775565b8a51611fa9565b6105486130c58a6017614775565b8960200151611fa9565b6105486130dd896018614775565b8860400151611fa9565b91505f61311e6131056130fb89601b614775565b8860800151611fc2565b6105486131138a6003614775565b6105438b6023614775565b90505f61314761312f89601c614775565b61054861313c8b5f614775565b6105438c6024614775565b90505f6131716131588a601d614775565b6105486131668c6001614775565b6105438d6025614775565b90506131b061319861318a85610548868d5f0151611fa9565b610548848c60200151611fa9565b6105486131a68c6004614775565b8b60400151611fa9565b93505050505f6131c461300e886020614775565b90505f6131d561300e896020614775565b90505f61320d6131f46131e98b6022614775565b6105488c6006614775565b6105666132028c6022614775565b6105438d6006614775565b90505f61323161322b6132208789611fa9565b6105438d6020614775565b83611fdb565b905061323d8188611fa9565b90505f6132656132576132518d6006614775565b87611fa9565b6105666132518e6021614775565b60808a018390529050808960055b60200201525050505050505050505050565b5f6132915f6001611fdb565b90505f61329f5f6002611fdb565b90505f6132ad5f6003611fdb565b90505f6132c96132be88601c614775565b61056689601b614775565b90505f6132e56132da89601d614775565b6105668a601c614775565b90505f6133016132f68a601e614775565b6105668b601d614775565b90505f61331d6133128b6023614775565b6105668c601e614775565b90508361332e81610543818b611fc2565b905061333e81610543878a611fc2565b905061334e816105438789611fc2565b905061335f816105438d6008614775565b905061336b818a611fa9565b60c08b0152508261338081610543818b611fc2565b905061339081610543868a611fc2565b90506133a0816105438689611fc2565b90506133b1816105438d6008614775565b90506133bd818a611fa9565b60e08b015250816133d281610543818b611fc2565b90506133e281610543858a611fc2565b90506133f2816105438589611fc2565b9050613403816105438d6008614775565b905061340f818a611fa9565b6101008b0152508061342581610543818b611fc2565b905061343581610543848a611fc2565b9050613445816105438489611fc2565b9050613456816105438d6008614775565b9050613462818a611fa9565b9050808a6009613273565b6134a66040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6134b184601c614775565b81526134be84601d614775565b60208201526134ce846023614775565b60408201526134de846026614775565b60608201526134ee846025614775565b60808201526134fe846024614775565b60a08201525f61350f856002614775565b90505f61351c865f614775565b90505f6135308460400151855f0151611fdb565b90505f61354585602001518660200151611fa9565b606086015190915086905f9061355b9080611fa9565b90505f61357961357389602001518a60600151611fa9565b88611fa9565b90505f6135986135918a60a001518b60400151611fc2565b8a51611fc2565b90506135a76132518288611fa9565b90506135ce6135c86135c26135bc8487611fdb565b88611fdb565b84611fc2565b83611fc2565b90506135f66135eb6135e08387611fa9565b6105438f6009614775565b61054360018a611fdb565b6101408c015250505050602085015160808601515f9161361591611fc2565b90505f613633613629886060015188611fa9565b8860200151611fdb565b90505f6136576136438487611fa9565b6105486130438b60a001518c5f0151611fdb565b905061367f613674613669838c611fa9565b6105438e6009614775565b610543600189611fdb565b6101608b0152505f91506136a09050613699836011611fc2565b8751611fa9565b90505f6136ad8384611fc2565b90506136b98182611fc2565b90505f6136c7836009611fa9565b90506136f06136ea61300e6136e38b60a001518c5f0151611fc2565b8b51611fc2565b82611fdb565b60c089018190525f9061370b90613573906135e0908d611fa9565b905061371e8b600a602002015182611fc2565b6101408c0152505086515f925061374591506136999061373e9080611fc2565b8851611fc2565b90505f613785613760836105438a5f01518b60a00151611fdb565b6020890151610566906137739080611fc2565b6105438b602001518c60800151611fc2565b90506137a289600b60200201516105486135736135e0858d611fa9565b89600b602002015250505050505050505050565b61384a604051806102c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b61387f61386661385b87601b614775565b610543886024614775565b610548613874886023614775565b61054389601c614775565b81526138c46138b96138a061389588601b614775565b61054389601e614775565b6105486138ae89601c614775565b6105438a601d614775565b610566876025614775565b604082018190526138d990600160441b611fa9565b604082018190526138ef90610566876026614775565b6040820181905281516139029190611fc2565b6040820181905261391890610543876005614775565b6040820152805161392d90600160441b611fa9565b80825261394d90610548613942886023614775565b610543896024614775565b8082526020820181905261396990610566612e3488601d614775565b6020820181905261397f90610543876004614775565b602082015280516060820181905261399c9061054887601e614775565b606082018190526139c0906105666139b5886025614775565b610548896026614775565b606082018190526139d590610543875f614775565b8160600181815250505f6139fe6139f483602001518460400151611fc2565b8360600151611fc2565b9050613a0f81610543886003614775565b9050613a27613a1f876024614775565b614000611fa9565b60808301819052613a3d90610548886023614775565b60808301819052613a5090614000611fa9565b60808301819052613a669061054888601d614775565b60808301819052613a7990614000611fa9565b60808301819052613a8f9061054888601c614775565b60808301819052613aa290614000611fa9565b60808301819052613ab89061054888601b614775565b60808301819052613ace9061056688601e614775565b60808301819052613ae490610543886005614775565b6080830152613af7613a1f876025614775565b60a08301819052613b0d90610548886024614775565b60a08301819052613b2090614000611fa9565b60a08301819052613b3690610548886023614775565b60a08301819052613b4990614000611fa9565b60a08301819052613b5f9061054888601e614775565b60a08301819052613b7290614000611fa9565b60a08301819052613b889061054888601d614775565b60a08301819052613b9e90610566886026614775565b60a08301819052613bb390610543885f614775565b60a0830181905260808301515f91613bcb9190611fc2565b9050613bdc81610543896004614775565b9050613bf6613bec88601d614775565b8760400151611fa9565b60c08401819052613c0f906105486130c58a601c614775565b60c08401819052613c2f90610548613c288a601b614775565b8951611fa9565b60c08401819052613c4590610548896001614775565b60c0840181905260e08401819052613c629061056689601e614775565b60c0840152613c756132be886023614775565b610140840152613c94613c89886026614775565b61056689601e614775565b610120840152610140830151613cb990613cae9080611fa9565b846101400151611fdb565b610280840152610140830151613cfb90613cf090613ce99061054360015f51602061505f5f395f51905f52614dde565b6001611fc2565b846101200151611fa9565b6101608401819052613d3290613d2490610543613d198b6002614775565b6105438c6003614775565b6105436132518a600a614775565b6101a0860152610280830151613d5490613d2490610543613d198b6002614775565b6101c086015260c0830151613d7c90610543613d718a6002614775565b6105438b6003614775565b6101e08401525f613d9b613d9189601e614775565b8560e00151611fdb565b9050613daa6136ea8283611fa9565b6101a0850152613dbe6130dd896025614775565b6101008501819052613de290610548613dd88b6024614775565b8a60200151611fa9565b6101008501819052613dfc906105486130b08b6023614775565b610100850152613e1b613e10896026614775565b856101000151611fdb565b6101008501525f613e306132f68a6025614775565b9050613e84613e5e612d5c613ce988610140015160015f51602061505f5f395f51905f526105439190614dde565b610543613ce988610100015160015f51602061505f5f395f51905f526105439190614dde565b610180860152610100850151613ea990613e9e9080611fa9565b866101000151611fdb565b6101c0860152610180850151613edc90613ec8906105438c6007614775565b610543613ed68c600a614775565b89611fa9565b6101e0880152610280850151613efb90613ec8906105438c6007614775565b6102008801526101c0850151613f1a90613ec8906105438c6007614775565b6102208801526101a0850151613f35906105438b6007614775565b610200860152613f54613f498a6024614775565b6105668b601c614775565b610220860152610140850151613f93906132f690613f8890613ce99061054360015f51602061505f5f395f51905f52614dde565b876102200151611fa9565b61024086018190526101e08601516102608701819052613fca9161054890610543613fbf8e6005614775565b6105438f6002614775565b610260860181905260c0860151613fed919061054890610543613fbf8e5f614775565b61026086018190526102008601516140059190611fc2565b610260860181905261401b906135c29086611fc2565b6102a0860181905261403590610543613ed68c600a614775565b6102a0860181905287600c6020020152505050505050505050565b6140c66040518061022001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6140df6140d485601b614775565b610548866002614775565b81526140fa6140ef85601c614775565b610548866003614775565b602082015261411861410d85601d614775565b610548866004614775565b604082015261413661412b85601e614775565b610548866005614775565b60608201528051614168906141619061415a906141539080611fa9565b8451611fa9565b8351611fa9565b8251611fa9565b608082015260208101516141a69061419c90614192906141889080611fa9565b8460200151611fa9565b8360200151611fa9565b8260200151611fa9565b60a082015260408101516141e4906141da906141d0906141c69080611fa9565b8460400151611fa9565b8360400151611fa9565b8260400151611fa9565b60c08201526060810151614222906142189061420e906142049080611fa9565b8460600151611fa9565b8360600151611fa9565b8260600151611fa9565b60e0820152608081015160a082015161423b9190611fc2565b61010082015260c081015160e08201516142559190611fc2565b61012082015260a08101516142799061426e9080611fc2565b826101200151611fc2565b61014082015260e081015161429d906142929080611fc2565b826101000151611fc2565b6101608201526101208101516142b39080611fc2565b6101e082018190526142d4906142c99080611fc2565b826101600151611fc2565b6101e08201526101008101516142ea9080611fc2565b6101a0820181905261430b906143009080611fc2565b826101400151611fc2565b6101a0820181905261016082015161432291611fc2565b6101808201526101408101516101e082015161433e9190611fc2565b6101c0820152614352612d5c85600b614775565b610200820181905261024084015161018083015161437d9261054891610543906105668a6023614775565b83601260200201526143ad8360136020020151610548836102000151610543856101a001516105668a6024614775565b83601360200201526143dd8360146020020151610548836102000151610543856101c001516105668a6025614775565b836014602002015261440d8360156020020151610548836102000151610543856101e001516105668a6026614775565b836015602002015250505050565b61446d6040518061016001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f60405180608001604052806144a27f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e7611f8b565b81526020016144d07f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b611f8b565b81526020016144fd7e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac15611f8b565b815260200161452b7f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b611f8b565b9052905061454861453d86601b614775565b610548876002614775565b610120830181905261457c9061457190613cf0906145669080611fa9565b856101200151611fa9565b836101200151611fa9565b825261458985601c614775565b602083015261459985601d614775565b60408301526145a985601e614775565b6060830152815160208301516145d1916139f4916145c79190611fc2565b8460400151611fc2565b60808301526145e461300e86600c614775565b6101408301528151614605906145fb90835f610dc8565b8360800151611fc2565b60a083015261463184601660200201516105488461014001516105438660a001516105668b6023614775565b6102c0850152602082015161464c906145fb90836001610dc8565b60c083015261467884601760200201516105488461014001516105438660c001516105668b6024614775565b6102e08501526040820151614693906145fb90836002610dc8565b60e08301526146bf84601860200201516105488461014001516105438660e001516105668b6025614775565b61030085015260608201516146da906145fb90836003610dc8565b61010083015261470884601960200201516105488461014001516105438661010001516105668b6026614775565b846019612e95565b5f61471c8184816107b1565b905060015b601a81101561476e57614764826105488684601a811061474357614743614dca565b602002015186614754600187614dde565b60198110610dc857610dc8614dca565b9150600101614721565b5092915050565b5f828260278111156147895761478961502a565b6028811061479957614799614dca565b60200201519392505050565b604051806103c001604052805f81526020015f81526020015f81526020016147cb614bef565b81526020016147d8614bef565b81526020016147e5614bef565b81526020016147f2614bef565b81526020016147ff614bef565b815260200161480c614bef565b8152602001614819614bef565b8152602001614826614bef565b8152602001614833614bef565b8152602001614840614bef565b815260200161484d614bef565b815260200161485a614bef565b8152602001614867614bef565b8152602001614874614bef565b8152602001614881614bef565b815260200161488e614bef565b815260200161489b614bef565b81526020016148a8614bef565b81526020016148b5614bef565b81526020016148c2614bef565b81526020016148cf614bef565b81526020016148dc614bef565b81526020016148e9614bef565b81526020016148f6614bef565b8152602001614903614bef565b8152602001614910614bef565b815260200161491d614bef565b905290565b604051806101c00160405280614936614a85565b8152602001614943614a85565b8152602001614950614a85565b815260200161495d614a85565b815260200161496a614a85565b8152602001614977614a85565b8152602001614984614a85565b8152602001614991614a85565b815260200161499e614c26565b81526020016149ab614c54565b81526020016149b8614c73565b81526020016149c5614b17565b81526020016149d2614a85565b815260200161491d614a85565b6040518061010001604052806149f3614aa9565b8152602001614a00614ad9565b8152602001614a0d614b17565b8152602001614a1a614b17565b81526020015f81526020015f81526020015f81526020015f81525090565b604051806108c001604052806046906020820280368337509192915050565b604051806108c001604052806046905b614a6f614bef565b815260200190600190039081614a675790505090565b60405180608001604052805f81526020015f81526020015f81526020015f81525090565b6040518060c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6040518061032001604052806019906020820280368337509192915050565b6040518061012001604052806009906020820280368337509192915050565b604051806103800160405280601c906020820280368337509192915050565b6040518061052001604052806029906020820280368337509192915050565b60405180610da00160405280606d906020820280368337509192915050565b604051806103a00160405280601d906020820280368337509192915050565b6040518060a001604052806005906020820280368337509192915050565b6040518061010001604052806008906020820280368337509192915050565b604051806103400160405280601a906020820280368337509192915050565b60405180604001604052805f81526020015f81525090565b604051806101a00160405280600d906020820280368337509192915050565b604051806103800160405280601c905b614c3e614bb1565b815260200190600190039081614c365790505090565b6040518061050001604052806028906020820280368337509192915050565b604051806103600160405280601b905b614c8b614a85565b815260200190600190039081614c835790505090565b5f5f5f5f60408587031215614cb4575f5ffd5b84356001600160401b03811115614cc9575f5ffd5b8501601f81018713614cd9575f5ffd5b80356001600160401b03811115614cee575f5ffd5b876020828401011115614cff575f5ffd5b6020918201955093508501356001600160401b03811115614d1e575f5ffd5b8501601f81018713614d2e575f5ffd5b80356001600160401b03811115614d43575f5ffd5b8760208260051b8401011115614d57575f5ffd5b949793965060200194505050565b634e487b7160e01b5f52601160045260245ffd5b8082028115828204841417611fa357611fa3614d65565b5f5f85851115614d9e575f5ffd5b83861115614daa575f5ffd5b5050820193919092039150565b80820180821115611fa357611fa3614d65565b634e487b7160e01b5f52603260045260245ffd5b81810381811115611fa357611fa3614d65565b5f60018201614e0257614e02614d65565b5060010190565b80356020831015611fa3575f19602084900360031b1b1692915050565b5f8183825b6009811015614e4a578151835260209283019290910190600101614e2b565b5050506101208201905092915050565b634e487b7160e01b5f52601260045260245ffd5b5f82614e7c57614e7c614e5a565b500490565b5f8183825b6029811015614ea5578151835260209283019290910190600101614e86565b5050506105208201905092915050565b5f8183825b606d811015614ed9578151835260209283019290910190600101614eba565b505050610da08201905092915050565b5f8183825b601d811015614f0d578151835260209283019290910190600101614eee565b5050506103a08201905092915050565b5f8183825b6005811015614f41578151835260209283019290910190600101614f22565b50505060a08201905092915050565b5f82614f5e57614f5e614e5a565b500690565b5f81614f7157614f71614d65565b505f190190565b5f82518060208501845e5f920191825250919050565b5f60208284031215614f9e575f5ffd5b8151801515811461199c575f5ffd5b634e487b7160e01b5f52604160045260245ffd5b81515f90829060208501835b82811015614feb578151845260209384019390910190600101614fcd565b509195945050505050565b5f8183825b600d81101561501a578151835260209283019290910190600101614ffb565b5050506101a08201905092915050565b634e487b7160e01b5f52602160045260245ffdfe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4730644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001";
|
|
3
|
+
*/ export const HonkVerifierBytecode = "0x60e0604052348015600e575f5ffd5b506302000000608052601960a0526103dc60c05260805160a05160c05161507d61005a5f395f61057101525f818161061d01528181610bf60152610c9201525f61051a015261507d5ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b366004614c9f565b610054565b604051901515815260200160405180910390f35b5f6100626101b86020614d77565b8414610081576040516376ba560560e11b815260040160405180910390fd5b5f61008a610198565b90505f61009787876101ad565b604083015190915084146100be5760405163fa06659360e01b815260040160405180910390fd5b5f6100d5828787865f015187604001516001610455565b90506101238686808060200260200160405190810160405280939291908181526020018383602002808284375f92019190915250508451606081015160809091015190925090506001610504565b815160a001525f6101348383610615565b905080610154576040516313f8744360e31b815260040160405180910390fd5b5f610160848685610716565b905080610180576040516352ec174560e11b815260040160405180910390fd5b81801561018a5750805b9a9950505050505050505050565b6101a06147a3565b6101a8610f8a565b905090565b6101b5614920565b6101ca6101c560805f8587614d8e565b611870565b81526101de6101c561010060808587614d8e565b60208201526101f66101c56101806101008587614d8e565b604082015261020e6101c56102006101808587614d8e565b60a08201526102266101c56102806102008587614d8e565b60c082015261023e6101c56103006102808587614d8e565b60608201526102566101c56103806103008587614d8e565b60e082015261026e6101c56104006103808587614d8e565b60808201526104005f5b601c811015610305575f5b60088110156102fc576102af86848761029d826020614db5565b926102aa93929190614d8e565b611945565b84610100015183601c81106102c6576102c6614dc8565b602002015182600881106102dc576102dc614dc8565b6020020181815250506020836102f29190614db5565b9250600101610283565b50600101610278565b505f5b60288110156103595761032285838661029d826020614db5565b836101200151826028811061033957610339614dc8565b60200201818152505060208261034f9190614db5565b9150600101610308565b505f5b6103686001601c614ddc565b8110156103be5761038d858386610380826080614db5565b926101c593929190614d8e565b83610140015182601b81106103a4576103a4614dc8565b60200201526103b4608083614db5565b915060010161035c565b505f5b601c811015610412576103db85838661029d826020614db5565b83610160015182601c81106103f2576103f2614dc8565b6020020181815250506020826104089190614db5565b91506001016103c1565b50610424848285610380826080614db5565b610180830152610435816080614db5565b9050610448848285610380826080614db5565b6101a08301525092915050565b61045d6149dd565b5f61046d888888888888876119a1565b908352905061047c81896119f7565b6020840191909152905061048f81611b92565b604084019190915290506104a38882611bf3565b606084019190915290506104b78882611cc7565b608084019190915290506104cb8882611d52565b60a084019190915290506104df8882611ec0565b60c084019190915290506104f38882611f32565b5060e0830152509695505050505050565b5f6001808261054d866105488961054361053e8a7f0000000000000000000000000000000000000000000000000000000000000000614db5565b611f89565b611fa7565b611fc0565b90505f61056b876105668a61054361053e8b6001614db5565b611fd9565b90505f5b7f00000000000000000000000000000000000000000000000000000000000000008110156105fd575f6105ba8b83815181106105ad576105ad614dc8565b6020026020010151611f89565b90506105ca866105438684611fc0565b95506105da856105438584611fc0565b94506105e6848b611fc0565b93506105f2838b611fd9565b92505060010161056f565b506106088484612008565b9998505050505050505050565b5f806001815b7f00000000000000000000000000000000000000000000000000000000000000008110156106ec575f86610100015182601c811061065b5761065b614dc8565b602002015190505f61066d8286612016565b90508061068d576040516313f8744360e31b815260040160405180910390fd5b5f876060015184601c81106106a4576106a4614dc8565b602002015190506106b58382612033565b95506106dc886040015185601c81106106d0576106d0614dc8565b602002015186836121e2565b945050505080600101905061061b565b505f610706866101200151865f015187602001518561220d565b90508281145b9695505050505050565b5f61075d6040518061012001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f61076b8460a0015161227b565b9050610775614a36565b61077d614a55565b60e086015161079c9061079790855f5b6020020151611fd9565b6122e0565b60a085015260e08601516107bb9061079790855f5b6020020151611fc0565b60c080860182905260a0860151908801516107da926105489190611fa7565b845260a0860151610808906107ee906122e0565b6105438660a001516105668a60c001518960c00151611fa7565b60208501526001825261018088015161082090612349565b81526001606085018190525f60808601525b602381116108d857610853610849865f0151612388565b8660600151611fa7565b83826046811061086557610865614dc8565b602002015260808501516101208a01516108a8919061054890610889600186614ddc565b6028811061089957610899614dc8565b60200201518860600151611fa7565b8560800181815250506108c385606001518860800151611fa7565b60608601526108d181614def565b9050610832565b505f6108e660236001614db5565b90505b60288111610967576109016108498660200151612388565b83826046811061091357610913614dc8565b602002015260808501516101208a0151610937919061054890610889600186614ddc565b85608001818152505061095285606001518860800151611fa7565b606086015261096081614def565b90506108e9565b50606087015181600160200201526080870151816002602002015260a0870151816003602002015260c0870151816004602002015260e0870151816005602002015261010087015181600660200201526101208701518160076020020152610140870151816008602002015261016087015181600960200201526101a087015181600a602002015261018087015181600b60200201526101c087015181600c60200201526101e087015181600d602002015261020087015181600e602002015261022087015181600f60200201526102408701518160106020020152610260870151816011602002015261028087015181601260200201526102a087015181601360200201526102c087015181601460200201526102e08701518160156020020152610300870151816016602002015261032087015181601760200201526103408701518160186020020152610360870151816019602002015261038087015181601a60200201526103a087015181601b60200201528751610ae890612349565b6103808201526020880151610afc90612349565b6103a08201526040880151610b1090612349565b6103c08201526060880151610b2490612349565b6103e08201526080880151610b3890612349565b61040082015260e0880151610b4c90612349565b61042082015260a0880151610b6090612349565b61044082015260c0880151610b7490612349565b6104608201528751610b8590612349565b6104808201526020880151610b9990612349565b6104a08201526040880151610bad90612349565b6104c08201526060880151610bc190612349565b6104e08201526080880151610bd590612349565b610500820152606086015160808501516101608a01515f92610c1a929091877f00000000000000000000000000000000000000000000000000000000000000006123a0565b805160a0870151919250610c2d91611fa7565b604086018190526101608a01515160c0890151610c5d929161054891610c539190611fa7565b8860c00151611fa7565b604086015260c0870151610c70906124bb565b60608601525f5b610c836001601c614ddc565b811015610e85575f610cb660017f0000000000000000000000000000000000000000000000000000000000000000614ddc565b821015905080610e2b57610ce96107978a60e0015188856001610cd99190614db5565b601c811061078d5761078d614dc8565b60a088015260e0890151610d17906107979088610d07866001614db5565b601c81106107b1576107b1614dc8565b60c0880152606087015160a0880151610d309190611fa7565b60e0880152606087015160c08a0151610d4c91610c5391611fa7565b6101008801819052610d6e90610d6190612388565b6105488960e00151612388565b8583610d7c60286001614db5565b610d869190614db5565b60468110610d9657610d96614dc8565b60200201526101008701516101608c01515f91610dd291610db8866001614db5565b601c8110610dc857610dc8614dc8565b6020020151611fa7565b9050610dee816105488a60e0015187876001610db89190614db5565b9050610dfe886040015182611fc0565b6040890152606088015160c08b0151610e2491610e1a91611fa7565b8b60c00151611fa7565b6060890152505b610e4f8b610140015183601b8110610e4557610e45614dc8565b6020020151612349565b8483610e5d60286001614db5565b610e679190614db5565b60468110610e7757610e77614dc8565b602002015250600101610c77565b5060408051808201909152600181526002602082015282610ea8601c6028614db5565b60468110610eb857610eb8614dc8565b6020020152604085015183610ecf601c6028614db5565b60468110610edf57610edf614dc8565b60200201526101a08901515f90610ef590612349565b90508083610f05601c6028614db5565b610f10906001614db5565b60468110610f2057610f20614dc8565b602002015260e088015184610f37601c6028614db5565b610f42906001614db5565b60468110610f5257610f52614dc8565b60200201525f610f6284866124c6565b90505f610f6e8361258c565b9050610f7a82826125d2565b9c9b505050505050505050505050565b610f926147a3565b50604080516103c0810182526302000000815260196020808301919091526103dc82840152825180840184527f2d1644381176a5220fea3fbf8f4cc18ebd361b172ae8dbb598905d277c3a141181527f236b58d7f7ae15d8daca353e9557598a0156892325dd60a27f05585f96245889818301526060830152825180840184527f1b7ef0d8e0f38d080a57223ffd9625789c6648e010a9abfee0afdf2d0e43816281527f2bc6f961485b572e3f7d037ae3a1f3f64dd871ace1b00d970a9f0c8f4361f06c818301526080830152825180840184527f18be2c9e73467ece25b654654bd239f29b3e64b8859a52390db468faecf431b381527f076bcbbd35fb736567a165ddf12d465f8a600475443e390427712f3202440c818183015260a0830152825180840184527f05b38626963542331f1d2d78163169426f5a7b5addc73b51d12fb4c59e37b04581527e866359a49f1c93b1bb261057d6e4b1f92d5f69fc89e7b1339b77339a89b39b8183015260c0830152825180840184527f1d3ff1b7a225e64087c00cf1d492f13380709e1ba6977876ed004696f541323b81527f2cf52e27d42ba6f39e7b8327b6c453b19ecfe7fc6b359a62981c0721edfd4c198183015260e0830152825180840184527f08e8e285e28ef2b139112435e4df4247822ec70f006b05b5249fccfcd79fddb481527f29385fe945c5e0eef4e73bdebea090b3576972ca3fe253c76ba88e992192acac81830152610100830152825180840184527f035d97a928b728d4f4d460c4bdcf11ea8c8bd382f233fe512c394b0b6da9152481527f26961d0bf338d36d2b5ec2f59675073ad262b9bacae3bc100ea54158e763f64781830152610120830152825180840184527f1d44c740ff7b5c95d5ef1ed5bb4a28f8d36c95a90ab308843b0c7075c1ac2fa381527f06d79b78bebd8e80872ba4e51d66f1c468b91b83a9b4dd930f545086d859cba081830152610140830152825180840184527f010f7242a57dee2de1bba0fae22bee5cdc00231b45ab68eb81c3df2e5ba9556881527f28cd14ae4b882d8e9b92574bbf8f693b1936a17b526b76ae522f01c1480bd94981830152610160830152825180840184527ea7b7a47969fa9261bdfb09514744fbea5d298e6ddf8a1fa47385ddd3983b3181527f2ab8bb693cc040110af7b7a53fd0ecabfc413c6d196be90216bcf0df21c61e1c81830152610180830152825180840184527f1e57e4bf1b1cd80bd7950dbf64e43edf45f72fa2539594be2abfb3fc1d1f483f81527f0454b71139d260eb381bab4056fbb94898cda5e3d0d2edf519180edbe899d6d4818301526101a0830152825180840184527f148d6f0c9b027aab5b72f7d3d150e6bf88109c24786ca01653328cf3846b22bb81527f2b8b3a4f7f69850e245fb05b45a6f6eb145572031fd1cc2cd97491e850107c6d818301526101c0830152825180840184527f20d0321ba406ce2d9dfee9eba30c16dca07749359e874185f792755dd80d791881527f1cb0f428d1583cf1f34089575e09c27ac6ddebbddaa24df523573b94aa3364af818301526101e0830152825180840184527f289d1be577265e7334a8c069889411d69d0bf4d2389fbfc57f24007b1482922a81527f1f76fe46cd8db234fddb6cb910a683894b24fe496d8e8a7eb4b682f299b6f5ff81830152610200830152825180840184527f052737248cfd139d3c8b339f55ca6a22dd590157e9779902ba6202022bfbcd2381527f1793a35eff38e280f2347478da0c1c4fc9380d576b7778732259c175aea8df8281830152610220830152825180840184527f0ef59408ce800a3b63abc70f6faa334197691a333ac42da8855d2341f8eaabe181527f0fc75de7bf885e4069161b8bc9d1e4e07468e9c72a1eb55084bd28c773b0427981830152610240830152825180840184527f1996e070f27c39979a2780d42ccc1ac654dbd26d49e11ed4608cd0643648029381527f2797a0b59d1439f29212bdac825730d5d5376c849872556287dc411c1f7050f081830152610260830152825180840184527f27b593be567446dfeda5a8ee2b824ab27adfcbd55e4c72cf50b1f2ce8bcbcb9581527f2e8285514e3f57ad321ec87e1d56a4ac83a5109420e02064dd46be43c139a5c181830152610280830152825180840184527f1c3cc03f16966b1492abfb062c48d1ff06c977af63fd7e02a8ae25d51d58237c81527f177a3396c8f8bf5affd446371f8997977b52c310cb109b7160dfd783f7c8acb3818301526102a0830152825180840184527f1cb8239dbde005dcb109ab1d7b2de26db8fa727442ff522c8bded7abcdb1a83a81527f024e973f56aed991ab8ac8fafbfe3a67c005f06d21a06b28f60934041d3af837818301526102c0830152825180840184527f1686ec12934280ebfda8d5f378ad75dbc190b12df154d7a2bc2218540a3d744681527f264ad164797201890dfa6209646eb16bbf21204989a872d745486782e74808b0818301526102e0830152825180840184527f0d1c51a0944e73b5bf5059109cfc7756b18ab597ee97fcdceb68e08e7a9325ec81527f2d0ebb65c43bb88f0e0af105cb368e35a8117262fa463c5e4a91e60a63285d5881830152610300830152825180840184527f237fc3d6ca839bf8fe66beb52f778994d8d05f3496301df3cb1030649802eb1881527f1013ad0339d32e695efdc9e28675f47f332bda5954966f00469214f4ee763b8481830152610320830152825180840184527f0c124a2788b4e0e45ebc1003affc7b699ea00567da3fa1f4bef7f9f97698340481527f0655bd829b537acf9fdc36831274395bdd5d3c181d2e84ddd3dfa1192c5f518481830152610340830152825180840184527f2664e1b3d5bd93796c3e968511ad456c3b10db55de4e939e1a8eb6279d99ea9a81527f2a8a81f4857a08db4de35ca43cc4e145c8719ce30616be286b5a565e4ee99e9c81830152610360830152825180840184526001815260028183015261038083015282518084019093527f196202a889f368eaeee689b789fec194c7ab4522d60218cc4e48684b081120be83527f2cc2c8c8634cfd25e733a4437aa565c646141e9e0054b41de3d8c0e7873624f5908301526103a081019190915290565b611878614a83565b608082146118c35760405162461bcd60e51b81526020600482015260136024820152721a5b9d985b1a5908189e5d195cc81c1bda5b9d606a1b60448201526064015b60405180910390fd5b6040805160808101909152806118dc60205f8688614d8e565b6118e591614e07565b81526020908101906118fb906040908688614d8e565b61190491614e07565b8152602001611917606060408688614d8e565b61192091614e07565b8152602001611933608060608688614d8e565b61193c91614e07565b90529392505050565b5f6020821461198d5760405162461bcd60e51b815260206004820152601460248201527334b73b30b634b210313cba32b99039b1b0b630b960611b60448201526064016118ba565b61199a61053e8385614e07565b9392505050565b6119a9614aa7565b5f6119b88989898989896127d6565b6040860191909152602085019190915290835292506119d7838a612bf8565b608085019190915260608401919091529199919850909650505050505050565b6119ff614ad7565b5f611a08614af6565b84815260e0848101805151602080850191909152815181015160408086019190915282518101516060808701919091529251830151608080870191909152880180515160a0870152805183015160c08701528051820151948601949094529251909101516101008401529051611a9f91611a8491849101614e24565b60405160208183030381529060405280519060200120611f89565b9150611aaa82612cc3565b6020850152835260015b611ac060026019614e6c565b811015611b4057611add83604051602001611a8491815260200190565b9250611ae883612cc3565b85611af4846002614d77565b60198110611b0457611b04614dc8565b6020020186611b14856002614d77565b611b1f906001614db5565b60198110611b2f57611b2f614dc8565b602002019190915252600101611ab4565b50611b5782604051602001611a8491815260200190565b91505f611b6383612cc3565b85611b7060016019614ddc565b60198110611b8057611b80614dc8565b60200201919091525050509250929050565b611b9a614b15565b5f805b601c811015611bec57611bbc84604051602001611a8491815260200190565b93505f611bc885612cc3565b8584601c8110611bda57611bda614dc8565b60200201919091525050600101611b9d565b5090929050565b611bfb614b15565b5f805b601c811015611cbe57611c0f614af6565b8481525f5b6008811015611c785786610100015183601c8110611c3457611c34614dc8565b60200201518160088110611c4a57611c4a614dc8565b602002015182611c5b836001614db5565b60098110611c6b57611c6b614dc8565b6020020152600101611c14565b50611c8d81604051602001611a849190614e24565b94505f611c9986612cc3565b8685601c8110611cab57611cab614dc8565b6020020191909152505050600101611bfe565b50909391925050565b5f5f611cd1614b34565b8381525f5b6028811015611d24578561012001518160288110611cf657611cf6614dc8565b602002015182611d07836001614db5565b60298110611d1757611d17614dc8565b6020020152600101611cd6565b50611d3981604051602001611a849190614e7f565b91505f611d4583612cc3565b5096929550919350505050565b5f5f611d5c614b53565b8381525f5b611d6d6001601c614ddc565b811015611eab5785610140015181601b8110611d8b57611d8b614dc8565b60200201515182611d9d836004614d77565b611da8906001614db5565b606d8110611db857611db8614dc8565b602002015261014086015181601b8110611dd457611dd4614dc8565b60200201516020015182826004611deb9190614d77565b611df6906002614db5565b606d8110611e0657611e06614dc8565b602002015261014086015181601b8110611e2257611e22614dc8565b60200201516040015182611e37836004614d77565b611e42906003614db5565b606d8110611e5257611e52614dc8565b602002015261014086015181601b8110611e6e57611e6e614dc8565b60200201516060015182611e83836004614d77565b611e8e906004614db5565b606d8110611e9e57611e9e614dc8565b6020020152600101611d61565b50611d3981604051602001611a849190614eb3565b5f5f611eca614b72565b8381525f5b601c811015611f1d5785610160015181601c8110611eef57611eef614dc8565b602002015182611f00836001614db5565b601d8110611f1057611f10614dc8565b6020020152600101611ecf565b50611d3981604051602001611a849190614ee7565b5f5f611f3c614b91565b83815261018085018051516020808401919091528151810151604080850191909152825181015160608086019190915292519092015160808401529051611d3991611a8491849101614f1b565b5f611fa15f51602061505d5f395f51905f5283614f4e565b92915050565b5f5f51602061505d5f395f51905f528284099392505050565b5f5f51602061505d5f395f51905f528284089392505050565b5f5f51602061505d5f395f51905f52611fff835f51602061505d5f395f51905f52614ddc565b84089392505050565b5f61199a83610543846122e0565b81515f908190612028908560016107b1565b929092149392505050565b60408051610100810182527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec5181526102d060208201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff1191810191909152609060608201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71608082015260f060a08201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd3160c08201526113b060e08201525f906001825b600881101561211a57612110826105438784611fd9565b91506001016120f9565b50612123614baf565b5f5b6008811015612184575f84826008811061214157612141614dc8565b60200201519050612156816105438985611fd9565b9050612161816122e0565b90508083836008811061217657612176614dc8565b602002015250600101612125565b505f5b60088110156121d7575f8782600881106121a3576121a3614dc8565b602002015190506121c081848460088110610dc857610dc8614dc8565b90506121cc8682611fc0565b955050600101612187565b5061070c8483611fa7565b5f5f6121f8600161054885610543896001611fd9565b90506122048482611fa7565b95945050505050565b5f612216614bce565b612221868285612cf3565b61222d86868386612e9f565b61223986868386613087565b612244868285613283565b61224f86828561346b565b61225b868683866137b4565b61226686828561404e565b612271868285614419565b61070c818561470e565b612283614b15565b81815260015b601c8110156122da576122bb826122a1600184614ddc565b601c81106122b1576122b1614dc8565b60200201516124bb565b8282601c81106122cd576122cd614dc8565b6020020152600101612289565b50919050565b5f5f8290505f604051602081526020808201526020604082015282606082015260025f51602061505d5f395f51905f520360808201525f51602061505d5f395f51905f5260a082015260205f60c08360055afa90508061233e575f5ffd5b50505f519392505050565b612351614bed565b604051806040016040528060888460200151901b845f015117815260200160888460600151901b8460400151178152509050919050565b5f611fa1825f51602061505d5f395f51905f52614ddc565b6123a8614b15565b601c5b80156124b1575f846123be600184614ddc565b601c81106123ce576123ce614dc8565b602002015190505f886123e2600185614ddc565b601c81106123f2576123f2614dc8565b602002015190505f61244d61241161240a858c611fa7565b6002611fa7565b6105668a612420600189614ddc565b601c811061243057612430614dc8565b60200201516105436124478861054360018a611fd9565b87611fd9565b905061246e8161054361079761246887610543600189611fd9565b86611fc0565b905085841161249d579750878085612487600187614ddc565b601c811061249757612497614dc8565b60200201525b505050806124aa90614f61565b90506123ab565b5095945050505050565b5f611fa18283611fa7565b6124ce614bed565b5f6124db601c6028614db5565b6124e6906002614db5565b90506001604051855151604082015285516020015160608201528451608082015260408160606040840160075afa8216915060015b838110156125745760208102870160208202870181515160408501528151602001516060850152805160808501525050604080830160606040850160075afa8316925060408260808460065afa9092169160010161251b565b50805184526020810151602085015250505092915050565b612594614bed565b5f51602061503d5f395f51905f5282602001515f51602061503d5f395f51905f526125bf9190614ddc565b6125c99190614f4e565b60208301525090565b81516020808401518351848301516040805194850195909552938301919091527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c260608301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60808301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60a08301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60c083015260e08201526101008101919091527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c16101208201527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b06101408201527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe46101608201527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101808201525f9081906101a00160405160208183030381529060405290505f5f60086001600160a01b0316836040516127689190614f76565b5f60405180830381855afa9150503d805f81146127a0576040519150601f19603f3d011682016040523d82523d5f602084013e6127a5565b606091505b50915091505f818060200190518101906127bf9190614f8c565b90508280156127cb5750805b979650505050505050565b5f808080806127e6876003614db5565b6127f190600c614db5565b6001600160401b0381111561280857612808614fab565b604051908082528060200260200182016040528015612831578160200160208202803683370190505b509050875f1b815f8151811061284957612849614dc8565b602002602001018181525050865f1b8160018151811061286b5761286b614dc8565b602002602001018181525050855f1b8160028151811061288d5761288d614dc8565b60209081029190910101525f5b878110156128ec578a8a828181106128b4576128b4614dc8565b90506020020135828260036128c99190614db5565b815181106128d9576128d9614dc8565b602090810291909101015260010161289a565b508a5151816128fc896003614db5565b8151811061290c5761290c614dc8565b6020908102919091018101919091528b5101518161292b896003614db5565b612936906001614db5565b8151811061294657612946614dc8565b60209081029190910101528a516040015181612963896003614db5565b61296e906002614db5565b8151811061297e5761297e614dc8565b60209081029190910101528a51606001518161299b896003614db5565b6129a6906003614db5565b815181106129b6576129b6614dc8565b6020908102919091018101919091528b015151816129d5896003614db5565b6129e0906004614db5565b815181106129f0576129f0614dc8565b6020908102919091018101919091528b810151015181612a11896003614db5565b612a1c906005614db5565b81518110612a2c57612a2c614dc8565b6020908102919091018101919091528b01516040015181612a4e896003614db5565b612a59906006614db5565b81518110612a6957612a69614dc8565b6020908102919091018101919091528b01516060015181612a8b896003614db5565b612a96906007614db5565b81518110612aa657612aa6614dc8565b602090810291909101015260408b01515181612ac3896003614db5565b612ace906008614db5565b81518110612ade57612ade614dc8565b60209081029190910181019190915260408c0151015181612b00896003614db5565b612b0b906009614db5565b81518110612b1b57612b1b614dc8565b60209081029190910101526040808c0151015181612b3a896003614db5565b612b4590600a614db5565b81518110612b5557612b55614dc8565b602090810291909101015260408b01516060015181612b75896003614db5565b612b8090600b614db5565b81518110612b9057612b90614dc8565b602002602001018181525050612bb081604051602001611a849190614fbf565b9150612bbb82612cc3565b6040805160208101869052929750909550612bd69101611a84565b91505f612be283612cc3565b50959c949b509499509097509195505050505050565b5f5f5f612c03614c05565b85815260a0858101805151602080850191909152815181015160408086019190915282518101516060808701919091529251830151608086015260c0808a0180515195870195909552845183015190860152835181015160e086015292518201516101008501528188018051516101208601528051820151610140860152805184015161016086015251909101516101808401529051612ca991611a8491849101614ff4565b9150612cb482612cc3565b90979096509194509092505050565b5f80826001600160801b038116608082901c612cde82611f89565b9450612ce981611f89565b9350505050915091565b5f612cff846007614773565b90507f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f80000005f612d60612d5a612d34856003611fd9565b610543612d4f612d448b5f614773565b6105438c601c614773565b6105438b601b614773565b83611fa7565b9050612de1612dd6612dbd612da4612d8b85610548612d808d6002614773565b6105438e601b614773565b610548612d998c6003614773565b6105438d601c614773565b610548612db28b6004614773565b6105438c601d614773565b610548612dcb8a6005614773565b6105438b601e614773565b610548886001614773565b9050612e0081610548612df5866001611fd9565b6105438a6026614773565b9050612e0c8184611fa7565b9050612e188185611fa7565b8552505f9050612e52612e48612e3d612e3288601b614773565b61054889601e614773565b610566886023614773565b610548875f614773565b9050612e6381610543846002611fd9565b9050612e7481610543846001611fd9565b9050612e808183611fa7565b9050612e8c8184611fa7565b9050808460015b60200201525050505050565b5f5f5f612ed5612ecb612eb389601b614773565b610548612ec18b6011614773565b8a60600151611fa7565b8760800151611fc0565b9050612f0e81610543612f04612eec8b601c614773565b610548612efa8d6012614773565b8c60600151611fa7565b8960800151611fc0565b9050612f3381610543612f04612f258b601d614773565b610548612efa8d6013614773565b9050612f5881610543612f04612f4a8b601e614773565b610548612efa8d6014614773565b92505f9050612f7c612ecb612f6e89601b614773565b610548612ec18b600d614773565b9050612fa181610543612f04612f938b601c614773565b610548612efa8d600e614773565b9050612fc681610543612f04612fb88b601d614773565b610548612efa8d600f614773565b9050612feb81610543612f04612fdd8b601e614773565b610548612efa8d6010614773565b91505f905061301261300c61300189601f614773565b6105488a6019614773565b84611fa7565b9050613047816105666130416130298b6027614773565b6105486130378d601a614773565b8c60a00151611fa7565b85611fa7565b90506130538185611fa7565b6040860152505f61307661304161306b89601a614773565b6105438a6027614773565b606090950194909452505050505050565b5f5f6130e56130cd6130b56130a0612f048a6015614773565b6105486130ae8b6016614773565b8a51611fa7565b6105486130c38a6017614773565b8960200151611fa7565b6105486130db896018614773565b8860400151611fa7565b91505f61311c6131036130f989601b614773565b8860800151611fc0565b6105486131118a6003614773565b6105438b6023614773565b90505f61314561312d89601c614773565b61054861313a8b5f614773565b6105438c6024614773565b90505f61316f6131568a601d614773565b6105486131648c6001614773565b6105438d6025614773565b90506131ae61319661318885610548868d5f0151611fa7565b610548848c60200151611fa7565b6105486131a48c6004614773565b8b60400151611fa7565b93505050505f6131c261300c886020614773565b90505f6131d361300c896020614773565b90505f61320b6131f26131e78b6022614773565b6105488c6006614773565b6105666132008c6022614773565b6105438d6006614773565b90505f61322f61322961321e8789611fa7565b6105438d6020614773565b83611fd9565b905061323b8188611fa7565b90505f61326361325561324f8d6006614773565b87611fa7565b61056661324f8e6021614773565b60808a018390529050808960055b60200201525050505050505050505050565b5f61328f5f6001611fd9565b90505f61329d5f6002611fd9565b90505f6132ab5f6003611fd9565b90505f6132c76132bc88601c614773565b61056689601b614773565b90505f6132e36132d889601d614773565b6105668a601c614773565b90505f6132ff6132f48a601e614773565b6105668b601d614773565b90505f61331b6133108b6023614773565b6105668c601e614773565b90508361332c81610543818b611fc0565b905061333c81610543878a611fc0565b905061334c816105438789611fc0565b905061335d816105438d6008614773565b9050613369818a611fa7565b60c08b0152508261337e81610543818b611fc0565b905061338e81610543868a611fc0565b905061339e816105438689611fc0565b90506133af816105438d6008614773565b90506133bb818a611fa7565b60e08b015250816133d081610543818b611fc0565b90506133e081610543858a611fc0565b90506133f0816105438589611fc0565b9050613401816105438d6008614773565b905061340d818a611fa7565b6101008b0152508061342381610543818b611fc0565b905061343381610543848a611fc0565b9050613443816105438489611fc0565b9050613454816105438d6008614773565b9050613460818a611fa7565b9050808a6009613271565b6134a46040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6134af84601c614773565b81526134bc84601d614773565b60208201526134cc846023614773565b60408201526134dc846026614773565b60608201526134ec846025614773565b60808201526134fc846024614773565b60a08201525f61350d856002614773565b90505f61351a865f614773565b90505f61352e8460400151855f0151611fd9565b90505f61354385602001518660200151611fa7565b606086015190915086905f906135599080611fa7565b90505f61357761357189602001518a60600151611fa7565b88611fa7565b90505f61359661358f8a60a001518b60400151611fc0565b8a51611fc0565b90506135a561324f8288611fa7565b90506135cc6135c66135c06135ba8487611fd9565b88611fd9565b84611fc0565b83611fc0565b90506135f46135e96135de8387611fa7565b6105438f6009614773565b61054360018a611fd9565b6101408c015250505050602085015160808601515f9161361391611fc0565b90505f613631613627886060015188611fa7565b8860200151611fd9565b90505f6136556136418487611fa7565b6105486130418b60a001518c5f0151611fd9565b905061367d613672613667838c611fa7565b6105438e6009614773565b610543600189611fd9565b6101608b0152505f915061369e9050613697836011611fc0565b8751611fa7565b90505f6136ab8384611fc0565b90506136b78182611fc0565b90505f6136c5836009611fa7565b90506136ee6136e861300c6136e18b60a001518c5f0151611fc0565b8b51611fc0565b82611fd9565b60c089018190525f9061370990613571906135de908d611fa7565b905061371c8b600a602002015182611fc0565b6101408c0152505086515f925061374391506136979061373c9080611fc0565b8851611fc0565b90505f61378361375e836105438a5f01518b60a00151611fd9565b6020890151610566906137719080611fc0565b6105438b602001518c60800151611fc0565b90506137a089600b60200201516105486135716135de858d611fa7565b89600b602002015250505050505050505050565b613848604051806102c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b61387d61386461385987601b614773565b610543886024614773565b610548613872886023614773565b61054389601c614773565b81526138c26138b761389e61389388601b614773565b61054389601e614773565b6105486138ac89601c614773565b6105438a601d614773565b610566876025614773565b604082018190526138d790600160441b611fa7565b604082018190526138ed90610566876026614773565b6040820181905281516139009190611fc0565b6040820181905261391690610543876005614773565b6040820152805161392b90600160441b611fa7565b80825261394b90610548613940886023614773565b610543896024614773565b8082526020820181905261396790610566612e3288601d614773565b6020820181905261397d90610543876004614773565b602082015280516060820181905261399a9061054887601e614773565b606082018190526139be906105666139b3886025614773565b610548896026614773565b606082018190526139d390610543875f614773565b8160600181815250505f6139fc6139f283602001518460400151611fc0565b8360600151611fc0565b9050613a0d81610543886003614773565b9050613a25613a1d876024614773565b614000611fa7565b60808301819052613a3b90610548886023614773565b60808301819052613a4e90614000611fa7565b60808301819052613a649061054888601d614773565b60808301819052613a7790614000611fa7565b60808301819052613a8d9061054888601c614773565b60808301819052613aa090614000611fa7565b60808301819052613ab69061054888601b614773565b60808301819052613acc9061056688601e614773565b60808301819052613ae290610543886005614773565b6080830152613af5613a1d876025614773565b60a08301819052613b0b90610548886024614773565b60a08301819052613b1e90614000611fa7565b60a08301819052613b3490610548886023614773565b60a08301819052613b4790614000611fa7565b60a08301819052613b5d9061054888601e614773565b60a08301819052613b7090614000611fa7565b60a08301819052613b869061054888601d614773565b60a08301819052613b9c90610566886026614773565b60a08301819052613bb190610543885f614773565b60a0830181905260808301515f91613bc99190611fc0565b9050613bda81610543896004614773565b9050613bf4613bea88601d614773565b8760400151611fa7565b60c08401819052613c0d906105486130c38a601c614773565b60c08401819052613c2d90610548613c268a601b614773565b8951611fa7565b60c08401819052613c4390610548896001614773565b60c0840181905260e08401819052613c609061056689601e614773565b60c0840152613c736132bc886023614773565b610140840152613c92613c87886026614773565b61056689601e614773565b610120840152610140830151613cb790613cac9080611fa7565b846101400151611fd9565b610280840152610140830151613cf990613cee90613ce79061054360015f51602061505d5f395f51905f52614ddc565b6001611fc0565b846101200151611fa7565b6101608401819052613d3090613d2290610543613d178b6002614773565b6105438c6003614773565b61054361324f8a600a614773565b6101a0860152610280830151613d5290613d2290610543613d178b6002614773565b6101c086015260c0830151613d7a90610543613d6f8a6002614773565b6105438b6003614773565b6101e08401525f613d99613d8f89601e614773565b8560e00151611fd9565b9050613da86136e88283611fa7565b6101a0850152613dbc6130db896025614773565b6101008501819052613de090610548613dd68b6024614773565b8a60200151611fa7565b6101008501819052613dfa906105486130ae8b6023614773565b610100850152613e19613e0e896026614773565b856101000151611fd9565b6101008501525f613e2e6132f48a6025614773565b9050613e82613e5c612d5a613ce788610140015160015f51602061505d5f395f51905f526105439190614ddc565b610543613ce788610100015160015f51602061505d5f395f51905f526105439190614ddc565b610180860152610100850151613ea790613e9c9080611fa7565b866101000151611fd9565b6101c0860152610180850151613eda90613ec6906105438c6007614773565b610543613ed48c600a614773565b89611fa7565b6101e0880152610280850151613ef990613ec6906105438c6007614773565b6102008801526101c0850151613f1890613ec6906105438c6007614773565b6102208801526101a0850151613f33906105438b6007614773565b610200860152613f52613f478a6024614773565b6105668b601c614773565b610220860152610140850151613f91906132f490613f8690613ce79061054360015f51602061505d5f395f51905f52614ddc565b876102200151611fa7565b61024086018190526101e08601516102608701819052613fc89161054890610543613fbd8e6005614773565b6105438f6002614773565b610260860181905260c0860151613feb919061054890610543613fbd8e5f614773565b61026086018190526102008601516140039190611fc0565b6102608601819052614019906135c09086611fc0565b6102a0860181905261403390610543613ed48c600a614773565b6102a0860181905287600c6020020152505050505050505050565b6140c46040518061022001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6140dd6140d285601b614773565b610548866002614773565b81526140f86140ed85601c614773565b610548866003614773565b602082015261411661410b85601d614773565b610548866004614773565b604082015261413461412985601e614773565b610548866005614773565b606082015280516141669061415f90614158906141519080611fa7565b8451611fa7565b8351611fa7565b8251611fa7565b608082015260208101516141a49061419a90614190906141869080611fa7565b8460200151611fa7565b8360200151611fa7565b8260200151611fa7565b60a082015260408101516141e2906141d8906141ce906141c49080611fa7565b8460400151611fa7565b8360400151611fa7565b8260400151611fa7565b60c08201526060810151614220906142169061420c906142029080611fa7565b8460600151611fa7565b8360600151611fa7565b8260600151611fa7565b60e0820152608081015160a08201516142399190611fc0565b61010082015260c081015160e08201516142539190611fc0565b61012082015260a08101516142779061426c9080611fc0565b826101200151611fc0565b61014082015260e081015161429b906142909080611fc0565b826101000151611fc0565b6101608201526101208101516142b19080611fc0565b6101e082018190526142d2906142c79080611fc0565b826101600151611fc0565b6101e08201526101008101516142e89080611fc0565b6101a08201819052614309906142fe9080611fc0565b826101400151611fc0565b6101a0820181905261016082015161432091611fc0565b6101808201526101408101516101e082015161433c9190611fc0565b6101c0820152614350612d5a85600b614773565b610200820181905261024084015161018083015161437b9261054891610543906105668a6023614773565b83601260200201526143ab8360136020020151610548836102000151610543856101a001516105668a6024614773565b83601360200201526143db8360146020020151610548836102000151610543856101c001516105668a6025614773565b836014602002015261440b8360156020020151610548836102000151610543856101e001516105668a6026614773565b836015602002015250505050565b61446b6040518061016001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f60405180608001604052806144a07f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e7611f89565b81526020016144ce7f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b611f89565b81526020016144fb7e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac15611f89565b81526020016145297f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b611f89565b9052905061454661453b86601b614773565b610548876002614773565b610120830181905261457a9061456f90613cee906145649080611fa7565b856101200151611fa7565b836101200151611fa7565b825261458785601c614773565b602083015261459785601d614773565b60408301526145a785601e614773565b6060830152815160208301516145cf916139f2916145c59190611fc0565b8460400151611fc0565b60808301526145e261300c86600c614773565b6101408301528151614603906145f990835f610dc8565b8360800151611fc0565b60a083015261462f84601660200201516105488461014001516105438660a001516105668b6023614773565b6102c0850152602082015161464a906145f990836001610dc8565b60c083015261467684601760200201516105488461014001516105438660c001516105668b6024614773565b6102e08501526040820151614691906145f990836002610dc8565b60e08301526146bd84601860200201516105488461014001516105438660e001516105668b6025614773565b61030085015260608201516146d8906145f990836003610dc8565b61010083015261470684601960200201516105488461014001516105438661010001516105668b6026614773565b846019612e93565b5f61471a8184816107b1565b905060015b601a81101561476c57614762826105488684601a811061474157614741614dc8565b602002015186614752600187614ddc565b60198110610dc857610dc8614dc8565b915060010161471f565b5092915050565b5f8282602781111561478757614787615028565b6028811061479757614797614dc8565b60200201519392505050565b604051806103c001604052805f81526020015f81526020015f81526020016147c9614bed565b81526020016147d6614bed565b81526020016147e3614bed565b81526020016147f0614bed565b81526020016147fd614bed565b815260200161480a614bed565b8152602001614817614bed565b8152602001614824614bed565b8152602001614831614bed565b815260200161483e614bed565b815260200161484b614bed565b8152602001614858614bed565b8152602001614865614bed565b8152602001614872614bed565b815260200161487f614bed565b815260200161488c614bed565b8152602001614899614bed565b81526020016148a6614bed565b81526020016148b3614bed565b81526020016148c0614bed565b81526020016148cd614bed565b81526020016148da614bed565b81526020016148e7614bed565b81526020016148f4614bed565b8152602001614901614bed565b815260200161490e614bed565b815260200161491b614bed565b905290565b604051806101c00160405280614934614a83565b8152602001614941614a83565b815260200161494e614a83565b815260200161495b614a83565b8152602001614968614a83565b8152602001614975614a83565b8152602001614982614a83565b815260200161498f614a83565b815260200161499c614c24565b81526020016149a9614c52565b81526020016149b6614c71565b81526020016149c3614b15565b81526020016149d0614a83565b815260200161491b614a83565b6040518061010001604052806149f1614aa7565b81526020016149fe614ad7565b8152602001614a0b614b15565b8152602001614a18614b15565b81526020015f81526020015f81526020015f81526020015f81525090565b604051806108c001604052806046906020820280368337509192915050565b604051806108c001604052806046905b614a6d614bed565b815260200190600190039081614a655790505090565b60405180608001604052805f81526020015f81526020015f81526020015f81525090565b6040518060c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6040518061032001604052806019906020820280368337509192915050565b6040518061012001604052806009906020820280368337509192915050565b604051806103800160405280601c906020820280368337509192915050565b6040518061052001604052806029906020820280368337509192915050565b60405180610da00160405280606d906020820280368337509192915050565b604051806103a00160405280601d906020820280368337509192915050565b6040518060a001604052806005906020820280368337509192915050565b6040518061010001604052806008906020820280368337509192915050565b604051806103400160405280601a906020820280368337509192915050565b60405180604001604052805f81526020015f81525090565b604051806101a00160405280600d906020820280368337509192915050565b604051806103800160405280601c905b614c3c614baf565b815260200190600190039081614c345790505090565b6040518061050001604052806028906020820280368337509192915050565b604051806103600160405280601b905b614c89614a83565b815260200190600190039081614c815790505090565b5f5f5f5f60408587031215614cb2575f5ffd5b84356001600160401b03811115614cc7575f5ffd5b8501601f81018713614cd7575f5ffd5b80356001600160401b03811115614cec575f5ffd5b876020828401011115614cfd575f5ffd5b6020918201955093508501356001600160401b03811115614d1c575f5ffd5b8501601f81018713614d2c575f5ffd5b80356001600160401b03811115614d41575f5ffd5b8760208260051b8401011115614d55575f5ffd5b949793965060200194505050565b634e487b7160e01b5f52601160045260245ffd5b8082028115828204841417611fa157611fa1614d63565b5f5f85851115614d9c575f5ffd5b83861115614da8575f5ffd5b5050820193919092039150565b80820180821115611fa157611fa1614d63565b634e487b7160e01b5f52603260045260245ffd5b81810381811115611fa157611fa1614d63565b5f60018201614e0057614e00614d63565b5060010190565b80356020831015611fa1575f19602084900360031b1b1692915050565b5f8183825b6009811015614e48578151835260209283019290910190600101614e29565b5050506101208201905092915050565b634e487b7160e01b5f52601260045260245ffd5b5f82614e7a57614e7a614e58565b500490565b5f8183825b6029811015614ea3578151835260209283019290910190600101614e84565b5050506105208201905092915050565b5f8183825b606d811015614ed7578151835260209283019290910190600101614eb8565b505050610da08201905092915050565b5f8183825b601d811015614f0b578151835260209283019290910190600101614eec565b5050506103a08201905092915050565b5f8183825b6005811015614f3f578151835260209283019290910190600101614f20565b50505060a08201905092915050565b5f82614f5c57614f5c614e58565b500690565b5f81614f6f57614f6f614d63565b505f190190565b5f82518060208501845e5f920191825250919050565b5f60208284031215614f9c575f5ffd5b8151801515811461199a575f5ffd5b634e487b7160e01b5f52604160045260245ffd5b81515f90829060208501835b82811015614fe9578151845260209384019390910190600101614fcb565b509195945050505050565b5f8183825b600d811015615018578151835260209283019290910190600101614ff9565b5050506101a08201905092915050565b634e487b7160e01b5f52602160045260245ffdfe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4730644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001";
|
|
4
4
|
/**
|
|
5
5
|
* HonkVerifier link references.
|
|
6
6
|
*/ export const HonkVerifierLinkReferences = {};
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* NewGovernanceProposerPayload bytecode.
|
|
3
3
|
*/
|
|
4
|
-
export declare const NewGovernanceProposerPayloadBytecode = "
|
|
4
|
+
export declare const NewGovernanceProposerPayloadBytecode = "0x60c060405234801561000f575f5ffd5b5060405161103138038061103183398101604081905261002e916100a7565b6001600160a01b038116608052604051819061029b906103e8906100519061009a565b6001600160a01b03909316835260208301919091526040820152606001604051809103905ff080158015610087573d5f5f3e3d5ffd5b506001600160a01b031660a052506100d4565b610bf08061044183390190565b5f602082840312156100b7575f5ffd5b81516001600160a01b03811681146100cd575f5ffd5b9392505050565b60805160a0516103406101015f395f818160a101526101a101525f81816048015261010901526103405ff3fe608060405234801561000f575f5ffd5b506004361061003f575f3560e01c806306433b1b14610043578063504d080b14610087578063e2d150981461009c575b5f5ffd5b61006a7f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b0390911681526020015b60405180910390f35b61008f6100c3565b60405161007e9190610226565b61006a7f000000000000000000000000000000000000000000000000000000000000000081565b6040805160018082528183019092526060915f9190816020015b604080518082019091525f8152606060208201528152602001906001900390816100dd5790505090505f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663289b3c0d6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610163573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061018791906102c9565b6040805180820182526001600160a01b03838116825282517f0000000000000000000000000000000000000000000000000000000000000000909116602480830191909152835180830390910181526044909101909252602082810180516001600160e01b0316635c83e07560e11b17905281019190915283519192509083905f90610215576102156102f6565b602090810291909101015250919050565b5f602082016020835280845180835260408501915060408160051b8601019250602086015f5b828110156102bd57868503603f19018452815180516001600160a01b0316865260209081015160408288018190528151908801819052909181908301606089015e5f606082890101526060601f19601f8301168801019650505060208201915060208401935060018101905061024c565b50929695505050505050565b5f602082840312156102d9575f5ffd5b81516001600160a01b03811681146102ef575f5ffd5b9392505050565b634e487b7160e01b5f52603260045260245ffdfea2646970667358221220f3102ad630c53592458364b2bd65f6dd4fc530407bdd03c9231e2dfe20d87e2964736f6c634300081b003360e060405234801561000f575f5ffd5b50604051610bf0380380610bf083398101604081905261002e916100c7565b608082905260a08190528181610045600282610106565b60805160a0519091821161007a576040516365424f5b60e11b8152600481019290925260248201526044015b60405180910390fd5b505060a05160805190808211156100ad5760405163103804ad60e11b815260048101929092526024820152604401610071565b5050506001600160a01b0390931660c05250610125915050565b5f5f5f606084860312156100d9575f5ffd5b83516001600160a01b03811681146100ef575f5ffd5b602085015160409095015190969495509392505050565b5f8261012057634e487b7160e01b5f52601260045260245ffd5b500490565b60805160a05160c051610a8661016a5f395f818160af01528181610501015261083a01525f8181610168015261080c01525f818161021a015261040a0152610a865ff3fe608060405234801561000f575f5ffd5b50600436106100a6575f3560e01c80636dd7d8ea1161006e5780636dd7d8ea14610192578063a97f36a8146101a5578063b59c46fb146101ad578063c9e525df14610215578063d11eb2b21461023c578063de7b5d141461024f575f5ffd5b806306433b1b146100aa5780630d61b519146100ee57806362c69d7214610111578063693f917e146101635780636c1032af1461018a575b5f5ffd5b6100d17f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b0390911681526020015b60405180910390f35b6101016100fc366004610908565b610257565b60405190151581526020016100e5565b61015561011f366004610936565b6001600160a01b038084165f90815260208181526040808320868452825280832093851683526002909301905220549392505050565b6040519081526020016100e5565b6101557f000000000000000000000000000000000000000000000000000000000000000081565b6100d16104fe565b6101016101a0366004610975565b610584565b610155600581565b6101f06101bb366004610997565b5f602081815292815260408082209093529081522080546001909101546001600160a01b03811690600160a01b900460ff1683565b604080519384526001600160a01b0390921660208401521515908201526060016100e5565b6101557f000000000000000000000000000000000000000000000000000000000000000081565b61015561024a366004610908565b610806565b6100d1610837565b5f5f610261610837565b9050806001600160a01b0381163b61029d57604051635fa9262560e01b81526001600160a01b0390911660048201526024015b60405180910390fd5b505f8190505f816001600160a01b031663d8e3784c6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156102df573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061030391906109c1565b90505f61030f82610806565b90508086106103315760405163117e3a7760e31b815260040160405180910390fd5b8061033d6005886109d8565b1015868290916103695760405163c3d7aa4f60e01b815260048101929092526024820152604401610294565b50506001600160a01b0384165f90815260208181526040808320898452909152902060018101548790600160a01b900460ff16156103bd5760405163058240ed60e31b815260040161029491815260200190565b5060018101546001600160a01b03166103e957604051630b560ca160e11b815260040160405180910390fd5b60018101546001600160a01b03165f908152600282016020526040902054807f000000000000000000000000000000000000000000000000000000000000000080821015610453576040516357d5327960e11b815260048101929092526024820152604401610294565b505060018201805460ff60a01b198116600160a01b1790915560405189916001600160a01b0316907f7bfd03e44f31b1867e10c41d419cd8073b4719d321ccc5c3a3c79ac2babab3c3905f90a360018201546104b7906001600160a01b0316610894565b60018301546001600160a01b0316906104ef576040516323653eff60e21b81526001600160a01b039091166004820152602401610294565b50600198975050505050505050565b5f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663289b3c0d6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561055b573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061057f91906109f7565b905090565b5f5f61058e610837565b9050806001600160a01b0381163b6105c557604051635fa9262560e01b81526001600160a01b039091166004820152602401610294565b505f8190505f816001600160a01b031663d8e3784c6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610607573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061062b91906109c1565b90505f61063782610806565b6001600160a01b0385165f9081526020818152604080832084845290915290208054919250908311839061068157604051631d30a86560e11b815260040161029491815260200190565b505f846001600160a01b0316633b10244b6040518163ffffffff1660e01b81526004016020604051808303815f875af11580156106c0573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106e491906109f7565b905033816001600160a01b038116821461072457604051633a8db46b60e21b81526001600160a01b03928316600482015291166024820152604401610294565b50506001600160a01b0388165f90815260028301602052604081208054600192906107509084906109d8565b909155505083825560018201546001600160a01b0389811691161480159061079e575060018201546001600160a01b039081165f90815260028401602052604080822054928b168252902054115b156107c1576001820180546001600160a01b0319166001600160a01b038a161790555b604051339084906001600160a01b038b16907f75b35ca960bbb2cc550471a4098b1a96255dd657fe926e331754cd7c2e4489b3905f90a4506001979650505050505050565b5f6108317f000000000000000000000000000000000000000000000000000000000000000083610a12565b92915050565b5f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663a4d2342a6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561055b573d5f5f3e3d5ffd5b5f61089d6104fe565b604051630126795160e01b81526001600160a01b03848116600483015291909116906301267951906024016020604051808303815f875af11580156108e4573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108319190610a31565b5f60208284031215610918575f5ffd5b5035919050565b6001600160a01b0381168114610933575f5ffd5b50565b5f5f5f60608486031215610948575f5ffd5b83356109538161091f565b925060208401359150604084013561096a8161091f565b809150509250925092565b5f60208284031215610985575f5ffd5b81356109908161091f565b9392505050565b5f5f604083850312156109a8575f5ffd5b82356109b38161091f565b946020939093013593505050565b5f602082840312156109d1575f5ffd5b5051919050565b8082018082111561083157634e487b7160e01b5f52601160045260245ffd5b5f60208284031215610a07575f5ffd5b81516109908161091f565b5f82610a2c57634e487b7160e01b5f52601260045260245ffd5b500490565b5f60208284031215610a41575f5ffd5b81518015158114610990575f5ffdfea2646970667358221220b9a8deab6337fadc0852bffc5d4a759a5953e84a0e405ca598493257bad988d364736f6c634300081b0033";
|
|
5
5
|
/**
|
|
6
6
|
* NewGovernanceProposerPayload link references.
|
|
7
7
|
*/
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* NewGovernanceProposerPayload bytecode.
|
|
3
|
-
*/ export const NewGovernanceProposerPayloadBytecode = "
|
|
3
|
+
*/ export const NewGovernanceProposerPayloadBytecode = "0x60c060405234801561000f575f5ffd5b5060405161103138038061103183398101604081905261002e916100a7565b6001600160a01b038116608052604051819061029b906103e8906100519061009a565b6001600160a01b03909316835260208301919091526040820152606001604051809103905ff080158015610087573d5f5f3e3d5ffd5b506001600160a01b031660a052506100d4565b610bf08061044183390190565b5f602082840312156100b7575f5ffd5b81516001600160a01b03811681146100cd575f5ffd5b9392505050565b60805160a0516103406101015f395f818160a101526101a101525f81816048015261010901526103405ff3fe608060405234801561000f575f5ffd5b506004361061003f575f3560e01c806306433b1b14610043578063504d080b14610087578063e2d150981461009c575b5f5ffd5b61006a7f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b0390911681526020015b60405180910390f35b61008f6100c3565b60405161007e9190610226565b61006a7f000000000000000000000000000000000000000000000000000000000000000081565b6040805160018082528183019092526060915f9190816020015b604080518082019091525f8152606060208201528152602001906001900390816100dd5790505090505f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663289b3c0d6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610163573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061018791906102c9565b6040805180820182526001600160a01b03838116825282517f0000000000000000000000000000000000000000000000000000000000000000909116602480830191909152835180830390910181526044909101909252602082810180516001600160e01b0316635c83e07560e11b17905281019190915283519192509083905f90610215576102156102f6565b602090810291909101015250919050565b5f602082016020835280845180835260408501915060408160051b8601019250602086015f5b828110156102bd57868503603f19018452815180516001600160a01b0316865260209081015160408288018190528151908801819052909181908301606089015e5f606082890101526060601f19601f8301168801019650505060208201915060208401935060018101905061024c565b50929695505050505050565b5f602082840312156102d9575f5ffd5b81516001600160a01b03811681146102ef575f5ffd5b9392505050565b634e487b7160e01b5f52603260045260245ffdfea2646970667358221220f3102ad630c53592458364b2bd65f6dd4fc530407bdd03c9231e2dfe20d87e2964736f6c634300081b003360e060405234801561000f575f5ffd5b50604051610bf0380380610bf083398101604081905261002e916100c7565b608082905260a08190528181610045600282610106565b60805160a0519091821161007a576040516365424f5b60e11b8152600481019290925260248201526044015b60405180910390fd5b505060a05160805190808211156100ad5760405163103804ad60e11b815260048101929092526024820152604401610071565b5050506001600160a01b0390931660c05250610125915050565b5f5f5f606084860312156100d9575f5ffd5b83516001600160a01b03811681146100ef575f5ffd5b602085015160409095015190969495509392505050565b5f8261012057634e487b7160e01b5f52601260045260245ffd5b500490565b60805160a05160c051610a8661016a5f395f818160af01528181610501015261083a01525f8181610168015261080c01525f818161021a015261040a0152610a865ff3fe608060405234801561000f575f5ffd5b50600436106100a6575f3560e01c80636dd7d8ea1161006e5780636dd7d8ea14610192578063a97f36a8146101a5578063b59c46fb146101ad578063c9e525df14610215578063d11eb2b21461023c578063de7b5d141461024f575f5ffd5b806306433b1b146100aa5780630d61b519146100ee57806362c69d7214610111578063693f917e146101635780636c1032af1461018a575b5f5ffd5b6100d17f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b0390911681526020015b60405180910390f35b6101016100fc366004610908565b610257565b60405190151581526020016100e5565b61015561011f366004610936565b6001600160a01b038084165f90815260208181526040808320868452825280832093851683526002909301905220549392505050565b6040519081526020016100e5565b6101557f000000000000000000000000000000000000000000000000000000000000000081565b6100d16104fe565b6101016101a0366004610975565b610584565b610155600581565b6101f06101bb366004610997565b5f602081815292815260408082209093529081522080546001909101546001600160a01b03811690600160a01b900460ff1683565b604080519384526001600160a01b0390921660208401521515908201526060016100e5565b6101557f000000000000000000000000000000000000000000000000000000000000000081565b61015561024a366004610908565b610806565b6100d1610837565b5f5f610261610837565b9050806001600160a01b0381163b61029d57604051635fa9262560e01b81526001600160a01b0390911660048201526024015b60405180910390fd5b505f8190505f816001600160a01b031663d8e3784c6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156102df573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061030391906109c1565b90505f61030f82610806565b90508086106103315760405163117e3a7760e31b815260040160405180910390fd5b8061033d6005886109d8565b1015868290916103695760405163c3d7aa4f60e01b815260048101929092526024820152604401610294565b50506001600160a01b0384165f90815260208181526040808320898452909152902060018101548790600160a01b900460ff16156103bd5760405163058240ed60e31b815260040161029491815260200190565b5060018101546001600160a01b03166103e957604051630b560ca160e11b815260040160405180910390fd5b60018101546001600160a01b03165f908152600282016020526040902054807f000000000000000000000000000000000000000000000000000000000000000080821015610453576040516357d5327960e11b815260048101929092526024820152604401610294565b505060018201805460ff60a01b198116600160a01b1790915560405189916001600160a01b0316907f7bfd03e44f31b1867e10c41d419cd8073b4719d321ccc5c3a3c79ac2babab3c3905f90a360018201546104b7906001600160a01b0316610894565b60018301546001600160a01b0316906104ef576040516323653eff60e21b81526001600160a01b039091166004820152602401610294565b50600198975050505050505050565b5f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663289b3c0d6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561055b573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061057f91906109f7565b905090565b5f5f61058e610837565b9050806001600160a01b0381163b6105c557604051635fa9262560e01b81526001600160a01b039091166004820152602401610294565b505f8190505f816001600160a01b031663d8e3784c6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610607573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061062b91906109c1565b90505f61063782610806565b6001600160a01b0385165f9081526020818152604080832084845290915290208054919250908311839061068157604051631d30a86560e11b815260040161029491815260200190565b505f846001600160a01b0316633b10244b6040518163ffffffff1660e01b81526004016020604051808303815f875af11580156106c0573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106e491906109f7565b905033816001600160a01b038116821461072457604051633a8db46b60e21b81526001600160a01b03928316600482015291166024820152604401610294565b50506001600160a01b0388165f90815260028301602052604081208054600192906107509084906109d8565b909155505083825560018201546001600160a01b0389811691161480159061079e575060018201546001600160a01b039081165f90815260028401602052604080822054928b168252902054115b156107c1576001820180546001600160a01b0319166001600160a01b038a161790555b604051339084906001600160a01b038b16907f75b35ca960bbb2cc550471a4098b1a96255dd657fe926e331754cd7c2e4489b3905f90a4506001979650505050505050565b5f6108317f000000000000000000000000000000000000000000000000000000000000000083610a12565b92915050565b5f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663a4d2342a6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561055b573d5f5f3e3d5ffd5b5f61089d6104fe565b604051630126795160e01b81526001600160a01b03848116600483015291909116906301267951906024016020604051808303815f875af11580156108e4573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108319190610a31565b5f60208284031215610918575f5ffd5b5035919050565b6001600160a01b0381168114610933575f5ffd5b50565b5f5f5f60608486031215610948575f5ffd5b83356109538161091f565b925060208401359150604084013561096a8161091f565b809150509250925092565b5f60208284031215610985575f5ffd5b81356109908161091f565b9392505050565b5f5f604083850312156109a8575f5ffd5b82356109b38161091f565b946020939093013593505050565b5f602082840312156109d1575f5ffd5b5051919050565b8082018082111561083157634e487b7160e01b5f52601160045260245ffd5b5f60208284031215610a07575f5ffd5b81516109908161091f565b5f82610a2c57634e487b7160e01b5f52601260045260245ffd5b500490565b5f60208284031215610a41575f5ffd5b81518015158114610990575f5ffdfea2646970667358221220b9a8deab6337fadc0852bffc5d4a759a5953e84a0e405ca598493257bad988d364736f6c634300081b0033";
|
|
4
4
|
/**
|
|
5
5
|
* NewGovernanceProposerPayload link references.
|
|
6
6
|
*/ export const NewGovernanceProposerPayloadLinkReferences = {};
|
package/dest/OutboxBytecode.d.ts
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* Outbox bytecode.
|
|
3
3
|
*/
|
|
4
|
-
export declare const OutboxBytecode = "
|
|
4
|
+
export declare const OutboxBytecode = "0x60a060405234801561000f575f5ffd5b50604051610a36380380610a3683398101604081905261002e9161003f565b6001600160a01b031660805261006c565b5f6020828403121561004f575f5ffd5b81516001600160a01b0381168114610065575f5ffd5b9392505050565b60805161099e6100985f395f818160f201528181610130015281816101e50152610276015261099e5ff3fe608060405234801561000f575f5ffd5b5060043610610055575f3560e01c80632249f653146100595780633d96c2c9146100865780637fb349671461009b57806384f15db2146100ae5780639611c5c2146100ed575b5f5ffd5b61006c6100673660046106b1565b61012c565b604080519283526020830191909152015b60405180910390f35b6100996100943660046106c8565b6101da565b005b6100996100a93660046106f1565b610274565b6100dd6100bc36600461078a565b5f918252602082815260408084209284526002909201905290205460ff1690565b604051901515815260200161007d565b6101147f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b03909116815260200161007d565b5f5f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663b67d057b6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561018a573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906101ae91906107aa565b8311156101bf57505f928392509050565b50505f90815260208190526040902080546001909101549091565b336001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146102235760405163164a486160e11b815260040160405180910390fd5b5f83815260208181526040918290208481556001018390559051828152839185917fd3fab397eb3e47fb43090430543ca9623e09aeddf27bfde1bf7bdca871ee9ebc910160405180910390a3505050565b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663b67d057b6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156102d0573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102f491906107aa565b841115849061032257604051630e194a6d60e01b815260040161031991815260200190565b60405180910390fd5b5061033360608601604087016107dc565b6001600160a01b0316331461034e60608701604088016107dc565b339091610381576040516357aad58160e01b81526001600160a01b03928316600482015291166024820152604401610319565b5050466060860135146103a7576040516315dfb1f160e21b815260040160405180910390fd5b5f848152602081905260409020805485816103d857604051635228479160e11b815260040161031991815260200190565b505f8581526002830160205260409020548690869060ff161561041757604051633f5c70b560e21b815260048101929092526024820152604401610319565b5050600182015480848082111561044a57604051631206f36760e21b815260048101929092526024820152604401610319565b505f9050610465610460368b90038b018b610860565b6104d9565b90506104748686838a8761053b565b5f87815260028501602052604090819020805460ff1916600117905551819084908a907f34bc3301c4660a5642d2246e175e7fea498c94258d39dcaa555a52464dbb083d906104c6908c815260200190565b60405180910390a4505050505050505050565b80516020808301516040808501518151855181860152948401519185019190915281516001600160a01b03166060850152910151608083015260a08201525f906105359060c0015b60405160208183030381529060405261061c565b92915050565b82825f5b868110156105d4576001808316148061058e57610589848a8a85818110610568576105686108ee565b90506020020135604051602001610521929190918252602082015260400190565b6105c5565b6105c58989848181106105a3576105a36108ee565b9050602002013585604051602001610521929190918252602082015260400190565b935050600191821c910161053f565b508282868682841461060f57604051635f216bf160e01b81526004810194909452602484019290925260448301526064820152608401610319565b5050505050505050505050565b6040805160018082528183019092525f916020820181803683370190505060028360405161064a9190610919565b602060405180830381855afa158015610665573d5f5f3e3d5ffd5b5050506040513d601f19601f8201168201806040525081019061068891906107aa565b604051602001610699929190610924565b60405160208183030381529060405261053590610942565b5f602082840312156106c1575f5ffd5b5035919050565b5f5f5f606084860312156106da575f5ffd5b505081359360208301359350604090920135919050565b5f5f5f5f5f858703610100811215610707575f5ffd5b60a0811215610714575f5ffd5b5085945060a0850135935060c0850135925060e085013567ffffffffffffffff81111561073f575f5ffd5b8601601f8101881361074f575f5ffd5b803567ffffffffffffffff811115610765575f5ffd5b8860208260051b8401011115610779575f5ffd5b959894975092955050506020019190565b5f5f6040838503121561079b575f5ffd5b50508035926020909101359150565b5f602082840312156107ba575f5ffd5b5051919050565b80356001600160a01b03811681146107d7575f5ffd5b919050565b5f602082840312156107ec575f5ffd5b6107f5826107c1565b9392505050565b6040516060810167ffffffffffffffff8111828210171561082b57634e487b7160e01b5f52604160045260245ffd5b60405290565b6040805190810167ffffffffffffffff8111828210171561082b57634e487b7160e01b5f52604160045260245ffd5b5f81830360a081128015610872575f5ffd5b5061087b6107fc565b6040821215610888575f5ffd5b610890610831565b843581526020808601359082015281526040603f19830112156108b1575f5ffd5b6108b9610831565b91506108c7604085016107c1565b82526060840135602080840191909152810191909152608090920135604083015250919050565b634e487b7160e01b5f52603260045260245ffd5b5f81518060208401855e5f93019283525090919050565b5f6107f58284610902565b5f61092f8285610902565b60ff199390931683525050601f01919050565b80516020808301519190811015610962575f198160200360031b1b821691505b5091905056fea2646970667358221220c9880d38f4985e7c81391e85e034e857d0d9e8f6fa48fd750396086ad2e5fa8264736f6c634300081b0033";
|
|
5
5
|
/**
|
|
6
6
|
* Outbox link references.
|
|
7
7
|
*/
|
package/dest/OutboxBytecode.js
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* Outbox bytecode.
|
|
3
|
-
*/ export const OutboxBytecode = "
|
|
3
|
+
*/ export const OutboxBytecode = "0x60a060405234801561000f575f5ffd5b50604051610a36380380610a3683398101604081905261002e9161003f565b6001600160a01b031660805261006c565b5f6020828403121561004f575f5ffd5b81516001600160a01b0381168114610065575f5ffd5b9392505050565b60805161099e6100985f395f818160f201528181610130015281816101e50152610276015261099e5ff3fe608060405234801561000f575f5ffd5b5060043610610055575f3560e01c80632249f653146100595780633d96c2c9146100865780637fb349671461009b57806384f15db2146100ae5780639611c5c2146100ed575b5f5ffd5b61006c6100673660046106b1565b61012c565b604080519283526020830191909152015b60405180910390f35b6100996100943660046106c8565b6101da565b005b6100996100a93660046106f1565b610274565b6100dd6100bc36600461078a565b5f918252602082815260408084209284526002909201905290205460ff1690565b604051901515815260200161007d565b6101147f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b03909116815260200161007d565b5f5f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663b67d057b6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561018a573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906101ae91906107aa565b8311156101bf57505f928392509050565b50505f90815260208190526040902080546001909101549091565b336001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146102235760405163164a486160e11b815260040160405180910390fd5b5f83815260208181526040918290208481556001018390559051828152839185917fd3fab397eb3e47fb43090430543ca9623e09aeddf27bfde1bf7bdca871ee9ebc910160405180910390a3505050565b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663b67d057b6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156102d0573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102f491906107aa565b841115849061032257604051630e194a6d60e01b815260040161031991815260200190565b60405180910390fd5b5061033360608601604087016107dc565b6001600160a01b0316331461034e60608701604088016107dc565b339091610381576040516357aad58160e01b81526001600160a01b03928316600482015291166024820152604401610319565b5050466060860135146103a7576040516315dfb1f160e21b815260040160405180910390fd5b5f848152602081905260409020805485816103d857604051635228479160e11b815260040161031991815260200190565b505f8581526002830160205260409020548690869060ff161561041757604051633f5c70b560e21b815260048101929092526024820152604401610319565b5050600182015480848082111561044a57604051631206f36760e21b815260048101929092526024820152604401610319565b505f9050610465610460368b90038b018b610860565b6104d9565b90506104748686838a8761053b565b5f87815260028501602052604090819020805460ff1916600117905551819084908a907f34bc3301c4660a5642d2246e175e7fea498c94258d39dcaa555a52464dbb083d906104c6908c815260200190565b60405180910390a4505050505050505050565b80516020808301516040808501518151855181860152948401519185019190915281516001600160a01b03166060850152910151608083015260a08201525f906105359060c0015b60405160208183030381529060405261061c565b92915050565b82825f5b868110156105d4576001808316148061058e57610589848a8a85818110610568576105686108ee565b90506020020135604051602001610521929190918252602082015260400190565b6105c5565b6105c58989848181106105a3576105a36108ee565b9050602002013585604051602001610521929190918252602082015260400190565b935050600191821c910161053f565b508282868682841461060f57604051635f216bf160e01b81526004810194909452602484019290925260448301526064820152608401610319565b5050505050505050505050565b6040805160018082528183019092525f916020820181803683370190505060028360405161064a9190610919565b602060405180830381855afa158015610665573d5f5f3e3d5ffd5b5050506040513d601f19601f8201168201806040525081019061068891906107aa565b604051602001610699929190610924565b60405160208183030381529060405261053590610942565b5f602082840312156106c1575f5ffd5b5035919050565b5f5f5f606084860312156106da575f5ffd5b505081359360208301359350604090920135919050565b5f5f5f5f5f858703610100811215610707575f5ffd5b60a0811215610714575f5ffd5b5085945060a0850135935060c0850135925060e085013567ffffffffffffffff81111561073f575f5ffd5b8601601f8101881361074f575f5ffd5b803567ffffffffffffffff811115610765575f5ffd5b8860208260051b8401011115610779575f5ffd5b959894975092955050506020019190565b5f5f6040838503121561079b575f5ffd5b50508035926020909101359150565b5f602082840312156107ba575f5ffd5b5051919050565b80356001600160a01b03811681146107d7575f5ffd5b919050565b5f602082840312156107ec575f5ffd5b6107f5826107c1565b9392505050565b6040516060810167ffffffffffffffff8111828210171561082b57634e487b7160e01b5f52604160045260245ffd5b60405290565b6040805190810167ffffffffffffffff8111828210171561082b57634e487b7160e01b5f52604160045260245ffd5b5f81830360a081128015610872575f5ffd5b5061087b6107fc565b6040821215610888575f5ffd5b610890610831565b843581526020808601359082015281526040603f19830112156108b1575f5ffd5b6108b9610831565b91506108c7604085016107c1565b82526060840135602080840191909152810191909152608090920135604083015250919050565b634e487b7160e01b5f52603260045260245ffd5b5f81518060208401855e5f93019283525090919050565b5f6107f58284610902565b5f61092f8285610902565b60ff199390931683525050601f01919050565b80516020808301519190811015610962575f198160200360031b1b821691505b5091905056fea2646970667358221220c9880d38f4985e7c81391e85e034e857d0d9e8f6fa48fd750396086ad2e5fa8264736f6c634300081b0033";
|
|
4
4
|
/**
|
|
5
5
|
* Outbox link references.
|
|
6
6
|
*/ export const OutboxLinkReferences = {};
|
package/dest/RollupAbi.d.ts
CHANGED
|
@@ -1122,6 +1122,18 @@ export declare const RollupAbi: readonly [{
|
|
|
1122
1122
|
readonly type: "int256";
|
|
1123
1123
|
readonly internalType: "int256";
|
|
1124
1124
|
}];
|
|
1125
|
+
}, {
|
|
1126
|
+
readonly type: "error";
|
|
1127
|
+
readonly name: "SafeCastOverflowedUintDowncast";
|
|
1128
|
+
readonly inputs: readonly [{
|
|
1129
|
+
readonly name: "bits";
|
|
1130
|
+
readonly type: "uint8";
|
|
1131
|
+
readonly internalType: "uint8";
|
|
1132
|
+
}, {
|
|
1133
|
+
readonly name: "value";
|
|
1134
|
+
readonly type: "uint256";
|
|
1135
|
+
readonly internalType: "uint256";
|
|
1136
|
+
}];
|
|
1125
1137
|
}, {
|
|
1126
1138
|
readonly type: "error";
|
|
1127
1139
|
readonly name: "SampleLib__IndexOutOfBounds";
|
|
@@ -1792,7 +1804,7 @@ export declare const RollupAbi: readonly [{
|
|
|
1792
1804
|
readonly type: "address[]";
|
|
1793
1805
|
readonly internalType: "address[]";
|
|
1794
1806
|
}];
|
|
1795
|
-
readonly stateMutability: "
|
|
1807
|
+
readonly stateMutability: "nonpayable";
|
|
1796
1808
|
}, {
|
|
1797
1809
|
readonly type: "function";
|
|
1798
1810
|
readonly name: "getEpochDuration";
|