You're Invited:Meet the Socket Team at BlackHat and DEF CON in Las Vegas, Aug 4-6.RSVP →
Socket
Book a DemoInstallSign in
Socket
Book a DemoInstallSign in

@aztec/l1-artifacts

Package Overview
Dependencies
Maintainers
6
Versions
373
Alerts
File Explorer

Advanced tools

License
Socket logo

Install Socket

Detect and block malicious and high-risk dependencies

Install

@aztec/l1-artifacts - npm Package Compare versions

Comparing version

1.0.0-nightly.20250722
to
1.0.0-nightly.20250723

2

dest/HonkVerifierBytecode.d.ts
/**
* HonkVerifier bytecode.
*/
export declare const HonkVerifierBytecode = "0x60e060405234801561000f575f5ffd5b506302000000608052601960a05260ae60c05260805160a05160c0516152e56100605f395f818160d6015261065001525f818161075b01528181610d030152610da001525f6105f401526152e55ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b366004614ee7565b610054565b604051901515815260200160405180910390f35b5f6100626101c86020614fbf565b8414610081576040516376ba560560e11b815260040160405180910390fd5b5f61008a6101c1565b90505f61009787876101d6565b9050601082604001516100aa9190614fd6565b84146100c95760405163fa06659360e01b815260040160405180910390fd5b5f6100fc828787865f01517f0000000000000000000000000000000000000000000000000000000000000000600161052f565b905061014c8686808060200260200160405190810160405280939291908181526020018383602002808284375f9201919091525050855185516060810151608090910151919350915060016105de565b815160a001525f61015d8383610753565b90508061017d576040516313f8744360e31b815260040160405180910390fd5b5f610189848685610854565b9050806101a9576040516352ec174560e11b815260040160405180910390fd5b8180156101b35750805b9a9950505050505050505050565b6101c961493d565b6101d161109e565b905090565b6101de614aba565b5f805b60108110156102405761020d8583866101fb826020614fe9565b9261020893929190614ffc565b611985565b8351826010811061022057610220615023565b6020020181815250506020826102369190614fe9565b91506001016101e1565b50610264848285610252826080614fe9565b9261025f93929190614ffc565b6119f3565b6020830152610274608082614fe9565b9050610287848285610252826080614fe9565b6040830152610297608082614fe9565b90506102aa848285610252826080614fe9565b60608301526102ba608082614fe9565b90506102cd848285610252826080614fe9565b60c08301526102dd608082614fe9565b90506102f0848285610252826080614fe9565b60e0830152610300608082614fe9565b9050610313848285610252826080614fe9565b6080808401919091526103269082614fe9565b9050610339848285610252826080614fe9565b61010083015261034a608082614fe9565b905061035d848285610252826080614fe9565b60a083015261036d608082614fe9565b90505f5b601c8110156103ec575f5b60088110156103e3576103968684876101fb826020614fe9565b84610120015183601c81106103ad576103ad615023565b602002015182600881106103c3576103c3615023565b6020020181815250506020836103d99190614fe9565b925060010161037c565b50600101610371565b505f5b6028811015610440576104098583866101fb826020614fe9565b836101400151826028811061042057610420615023565b6020020181815250506020826104369190614fe9565b91506001016103ef565b505f5b61044f6001601c614fd6565b81101561049857610467858386610252826080614fe9565b83610160015182601b811061047e5761047e615023565b602002015261048e608083614fe9565b9150600101610443565b505f5b601c8110156104ec576104b58583866101fb826020614fe9565b83610180015182601c81106104cc576104cc615023565b6020020181815250506020826104e29190614fe9565b915060010161049b565b506104fe848285610252826080614fe9565b6101a083015261050f608082614fe9565b9050610522848285610252826080614fe9565b6101c08301525092915050565b610537614b84565b5f61054788888888888887611ad2565b90835290506105568189611b28565b6020840191909152905061056981611c79565b6040840191909152905061057d8882611cda565b606084019190915290506105918882611dae565b608084019190915290506105a58882611e39565b60a084019190915290506105b98882611fa7565b60c084019190915290506105cd8882612019565b5060e0830152509695505050505050565b5f60018082610627866106228961061d6106188a7f0000000000000000000000000000000000000000000000000000000000000000614fe9565b612070565b61208e565b6120a7565b90505f610645876106408a61061d6106188b6001614fe9565b6120c0565b90505f5b61067460107f0000000000000000000000000000000000000000000000000000000000000000614fd6565b8110156106e1575f61069e8c838151811061069157610691615023565b6020026020010151612070565b90506106ae8661061d86846120a7565b95506106be8561061d85846120a7565b94506106ca848b6120a7565b93506106d6838b6120c0565b925050600101610649565b505f5b6010811015610748575f8a826010811061070057610700615023565b602002015190506107158661061d86846120a7565b95506107258561061d85846120a7565b9450610731848b6120a7565b935061073d838b6120c0565b9250506001016106e4565b506101b384846120ef565b5f806001815b7f000000000000000000000000000000000000000000000000000000000000000081101561082a575f86610120015182601c811061079957610799615023565b602002015190505f6107ab82866120fd565b9050806107cb576040516313f8744360e31b815260040160405180910390fd5b5f876060015184601c81106107e2576107e2615023565b602002015190506107f3838261211a565b955061081a886040015185601c811061080e5761080e615023565b602002015186836122c9565b9450505050806001019050610759565b505f610844866101400151865f01518760200151856122f4565b90508281145b9695505050505050565b5f61085d614bdd565b5f61086b8460a00151612362565b9050610875614c41565b61087d614c60565b60e086015161089c9061089790855f5b60200201516120c0565b6123c7565b60e0808601919091528601516108bd9061089790855f5b60200201516120a7565b610100850181905260e085015160c08801516108dd92610622919061208e565b845260a086015161090c906108f1906123c7565b61061d8660e001516106408a60c0015189610100015161208e565b6020850152600182526101a088015161092490612430565b81526001606085018190525f60808601525b602381116109dc5761095761094d865f015161246f565b866060015161208e565b83826046811061096957610969615023565b602002015260808501516101408a01516109ac91906106229061098d600186614fd6565b6028811061099d5761099d615023565b6020020151886060015161208e565b8560800181815250506109c78560600151886080015161208e565b60608601526109d581615037565b9050610936565b505f6109ea60236001614fe9565b90505b60288111610a6b57610a0561094d866020015161246f565b838260468110610a1757610a17615023565b602002015260808501516101408a0151610a3b91906106229061098d600186614fd6565b856080018181525050610a568560600151886080015161208e565b6060860152610a6481615037565b90506109ed565b50606087015181600160200201526080870151816002602002015260a0870151816003602002015260c0870151816004602002015260e0870151816005602002015261010087015181600660200201526101208701518160076020020152610140870151816008602002015261016087015181600960200201526101a087015181600a602002015261018087015181600b60200201526101c087015181600c60200201526101e087015181600d602002015261020087015181600e602002015261022087015181600f60200201526102408701518160106020020152610260870151816011602002015261028087015181601260200201526102a087015181601360200201526102c087015181601460200201526102e08701518160156020020152610300870151816016602002015261032087015181601760200201526103408701518160186020020152610360870151816019602002015261038087015181601a60200201526103a087015181601b6020020181905250610bf18860200151612430565b6103808201526040880151610c0590612430565b6103a08201526060880151610c1990612430565b6103c08201526080880151610c2d90612430565b6103e082015260a0880151610c4190612430565b610400820152610100880151610c5690612430565b61042082015260c0880151610c6a90612430565b61044082015260e0880151610c7e90612430565b6104608201526020880151610c9290612430565b6104808201526040880151610ca690612430565b6104a08201526060880151610cba90612430565b6104c08201526080880151610cce90612430565b6104e082015260a0880151610ce290612430565b610500820152606086015160808501516101808a01515f92610d27929091877f0000000000000000000000000000000000000000000000000000000000000000612487565b805160e0870151919250610d3a9161208e565b604086018190526101808a01515160c0890151610d6b929161062291610d60919061208e565b88610100015161208e565b604086015260c0870151610d7e906125a2565b60608601525f5b610d916001601c614fd6565b811015610f99575f610dc460017f0000000000000000000000000000000000000000000000000000000000000000614fd6565b821015905080610f3f57610df76108978a60e0015188856001610de79190614fe9565b601c811061088d5761088d615023565b60e080890191909152890151610e27906108979088610e17866001614fe9565b601c81106108b3576108b3615023565b610100880152606087015160e0880151610e41919061208e565b610120880152606087015160c08a0151610e5e91610d609161208e565b6101408801819052610e8190610e739061246f565b61062289610120015161246f565b8583610e8f60286001614fe9565b610e999190614fe9565b60468110610ea957610ea9615023565b60200201526101408701516101808c01515f91610ee591610ecb866001614fe9565b601c8110610edb57610edb615023565b602002015161208e565b9050610f02816106228a610120015187876001610ecb9190614fe9565b9050610f128860400151826120a7565b6040890152606088015160c08b0151610f3891610f2e9161208e565b8b60c0015161208e565b6060890152505b610f638b610160015183601b8110610f5957610f59615023565b6020020151612430565b8483610f7160286001614fe9565b610f7b9190614fe9565b60468110610f8b57610f8b615023565b602002015250600101610d85565b5060408051808201909152600181526002602082015282610fbc601c6028614fe9565b60468110610fcc57610fcc615023565b6020020152604085015183610fe3601c6028614fe9565b60468110610ff357610ff3615023565b60200201526101c08901515f9061100990612430565b90508083611019601c6028614fe9565b611024906001614fe9565b6046811061103457611034615023565b602002015260e08801518461104b601c6028614fe9565b611056906001614fe9565b6046811061106657611066615023565b60200201525f61107684866125ad565b90505f61108283612673565b905061108e82826126b9565b9c9b505050505050505050505050565b6110a661493d565b50604080516103c08101825263020000008152601960208083019190915260ae82840152825180840184527f22696def6ba042691d7acd6fa25934fe1c9e5de5c469612391ebd22c48be0f8081527f2dc236171d93e509ede0fd359d1d47271883927333e7669bf48f0784fadb673c818301526060830152825180840184527f0bc785e8f051e28438dae007d21d94441afc7b888c94e2e6a3befd5e835c362a81527f2db6375b7cac58eef6ee93462a215d18a6f53e104ee53c527aa6b87f070effac818301526080830152825180840184527f12b7b6d578593ed283c59e2eb69176e9cde8068f657d228a935b6f0fc2b43baa81527f214a606183ed469bcc1d34c77fdbace499f918bd9726d4459d2d7c91a518b2738183015260a0830152825180840184527f18f8c2805dee1fdea805a4173d12643b1b24bb352374859851703ff77fb0ac1e81527f1f3aa367e3de395b1f684432c49a16e9f30292beeb15f25b186c9472c072bde68183015260c0830152825180840184527f0e410bf26af1978d4ca2440c6f55406c8fb930ecb1f052480c221c50c0289d6c81527f089da36b9216fb5679acaa2f41291689d394af1bc2fae9db4d5540fa956020a48183015260e0830152825180840184527f0da8119fa8fc399f4904cec5e1d0b9aaefe7256297a2151d61612b7002f400af81527f2596c9a11637799c8ad71ff6fea1f96f36def0b3ec40a1b71c623ef388fe83dc81830152610100830152825180840184527f107d2d79c20982125b9f302008ecbd7b7f25eebc71271311c28f58223170c78b81527f0f3c9104533084fca88d92d900c94cb1400899b1c3c2b40cf32807f7d8517f4781830152610120830152825180840184527f1951fc625025ca763cac91d30a1574a060830934789bd547a43b2103a7e84beb81527f0486f6b8c90f9363d898ee8964f3fed10a67d63de21cf285004abca9a9731d2981830152610140830152825180840184527f0354da312985896e31fbfbd7131af497a257877abe81dcb4aa8e8fbdd13b051481527f25d6652f1323d49067e2fec59e422d6796344df25044821e1e7408d9bd3f3cfb81830152610160830152825180840184527f22df977d5ef467d4731103a23e9d2137539cf9a112de5ccceef105a59790e40781527f1f3652575e985375d282d5bbeec17a6bbff3257ed22ef54134c8f0640e47338281830152610180830152825180840184527f27cc327364079b1e7d81a8962fe981187c2a331197513451a2372a8ef3ed3e7381527f0c7865e5b377f695a60ac352a193f9bbdb722d538a0fdfe34ca9455cecc3cf31818301526101a0830152825180840184527f1e864805831de2f312142f0cdb28d9799ed4758ccec32456aeb71e6c214454f881527f1e043e1fab8ff92cd7091ce6cc4a06291f3b408ccb87a104a42e48ba961f3cf9818301526101c0830152825180840184527f2316113dac58cacfbf02275257d1bf07154876a7e4d7b5aec9e63ae5134ab94581527f1cf38b5f697f6d2bd3f06e46c9fe03c93acf1556b0677848314130e53e1f27b5818301526101e0830152825180840184527f20c9b6a09e4cd18ea34483a257722597242273cd7baf010a60f09fd25e388a9581527f19bae9fba8320ce1a68d5317604c8f5d8a94ebb0b87955970285015abb2af9bb81830152610200830152825180840184527f1f7006852e1afaad20d30ce0e37a0c19384fdb779e7c3888141e7121059b4ed681527f0dddfa19796d5302b78797d3cc38975a59d37d73f5e1a67d64256dce2c8c1fc481830152610220830152825180840184527f2a754f9f52c759f0b70df69f50194b475e822c6272667e31e22e843b66ddf74381527f1938e68acc23ed0ee57a5ced4f2e12a6751da1e7ea3d8e76f6a709003798e3a681830152610240830152825180840184527f1d019605ead26ec05976012bc6a62878235d2e1f14cd7a58c6acd4c7ab28523881527f1893a0c07f22d3bb10acbe0b6c417df8b78b8a1ee6a56d3ab18f36557af0ac2781830152610260830152825180840184527f29e324a26d863a2390f2ed2c2a7823d65aa877934064c8d27ce0cfd90f116d5a81527f036ae82a7c729b2588a5ec964632703a38a3b49dca955f1f96b82867c1ff1e0a81830152610280830152825180840184527f0a654cd867ee3d600ef4c89eb02d71420f08a6acaa5f39f96f99bfd07cc35e4181527f01a061aaff968b4eb5d9146cef0d4b6c538d53a26e1ba71bbbd376d4214d1983818301526102a0830152825180840184527f074d9534828a7c8ec0c6064d640447b700311f108d67def19fceeb734592c53f81527f1ff29032983e9aab2e25db7eef479799e4039c100284fe877ed78a3e8b057696818301526102c0830152825180840184527f1176bf2829bd97cca0a9b315335df4a1a368e63255c2e697f0f70a24aee9e6eb81527f179efce3df1390e0ab671ede6889762c35a1a811e8f15cd671c41df987a0f38c818301526102e0830152825180840184527f275a0bb22f8c37a3476d71c556d266909fdde001df48d48a78940343ccb0b48a81527f2a4cc2119d1bd729845e8630c5b1aec652a2f2a7ae690c52238e3eafd44b385681830152610300830152825180840184527f1e1d6ac562a951aa01bc279a090d34488936a6404b3c75294fd260df0d36689381527f1643515b25c47e776b6d99eb3ce8b4613b209886681842e5c39ee92efe72c27281830152610320830152825180840184527f09d569252b4b229e483b00b1e67384ac4db29395d32e28c82f8b73983d30ac6b81527f2c47d5809e56ba32be655d4177db195bb450fd12587756c4b85b6506a7844ddb81830152610340830152825180840184527f1f59b85de9212665c6c3e59fb35ab6609d72f5ad8007449dc8019a5886fad88f81527f21c9b787b5e0109e8ab3c2293b8c67fa9ec871818722fb8bea77aa6477aaae4c81830152610360830152825180840184526001815260028183015261038083015282518084019093527f27d06697a891eae97032a6d3b390cedea50b8bcc9e6bc3b810905f4a265f4d1583527f11fe9108de55a1aeeebde848798ad77b7b21c3622180619df21c6f97f8bddf0d908301526103a081019190915290565b5f602082146119df5760405162461bcd60e51b815260206004820152602e60248201525f5160206152855f395f51905f5260448201526d393ab1ba1023391039b1b0b630b960911b60648201526084015b60405180910390fd5b6119ec610618838561504f565b9392505050565b6119fb614c8e565b60808214611a505760405162461bcd60e51b815260206004820152602f60248201525f5160206152855f395f51905f5260448201526e1c9d58dd08184811cc481c1bda5b9d608a1b60648201526084016119d6565b604080516080810190915280611a6960205f8688614ffc565b611a729161504f565b8152602090810190611a88906040908688614ffc565b611a919161504f565b8152602001611aa4606060408688614ffc565b611aad9161504f565b8152602001611ac0608060608688614ffc565b611ac99161504f565b90529392505050565b611ada614cb2565b5f611ae98989898989896128ad565b604086019190915260208501919091529083529250611b08838a612d53565b608085019190915260608401919091529199919850909650505050505050565b611b30614ce2565b5f611b39614d01565b848152610100848101805151602080850191909152815181015160408086019190915282518101516060808701919091529251830151608086015260a080890180515191870191909152805183015160c0870152805182015160e087015251909201519284019290925251611bcf91611bb49184910161506c565b60405160208183030381529060405280519060200120612070565b9150611bda82612e22565b6020850152835260015b611bf06002601a6150b4565b811015611c7057611c0d83604051602001611bb491815260200190565b9250611c1883612e22565b85611c24846002614fbf565b601a8110611c3457611c34615023565b6020020186611c44856002614fbf565b611c4f906001614fe9565b601a8110611c5f57611c5f615023565b602002019190915252600101611be4565b50509250929050565b611c81614d20565b5f805b601c811015611cd357611ca384604051602001611bb491815260200190565b93505f611caf85612e22565b8584601c8110611cc157611cc1615023565b60200201919091525050600101611c84565b5090929050565b611ce2614d20565b5f805b601c811015611da557611cf6614d01565b8481525f5b6008811015611d5f5786610120015183601c8110611d1b57611d1b615023565b60200201518160088110611d3157611d31615023565b602002015182611d42836001614fe9565b60098110611d5257611d52615023565b6020020152600101611cfb565b50611d7481604051602001611bb4919061506c565b94505f611d8086612e22565b8685601c8110611d9257611d92615023565b6020020191909152505050600101611ce5565b50909391925050565b5f5f611db8614d3f565b8381525f5b6028811015611e0b578561014001518160288110611ddd57611ddd615023565b602002015182611dee836001614fe9565b60298110611dfe57611dfe615023565b6020020152600101611dbd565b50611e2081604051602001611bb491906150c7565b91505f611e2c83612e22565b5096929550919350505050565b5f5f611e43614d5e565b8381525f5b611e546001601c614fd6565b811015611f925785610160015181601b8110611e7257611e72615023565b60200201515182611e84836004614fbf565b611e8f906001614fe9565b606d8110611e9f57611e9f615023565b602002015261016086015181601b8110611ebb57611ebb615023565b60200201516020015182826004611ed29190614fbf565b611edd906002614fe9565b606d8110611eed57611eed615023565b602002015261016086015181601b8110611f0957611f09615023565b60200201516040015182611f1e836004614fbf565b611f29906003614fe9565b606d8110611f3957611f39615023565b602002015261016086015181601b8110611f5557611f55615023565b60200201516060015182611f6a836004614fbf565b611f75906004614fe9565b606d8110611f8557611f85615023565b6020020152600101611e48565b50611e2081604051602001611bb491906150fb565b5f5f611fb1614d7d565b8381525f5b601c8110156120045785610180015181601c8110611fd657611fd6615023565b602002015182611fe7836001614fe9565b601d8110611ff757611ff7615023565b6020020152600101611fb6565b50611e2081604051602001611bb4919061512f565b5f5f612023614d9c565b8381526101a085018051516020808401919091528151810151604080850191909152825181015160608086019190915292519092015160808401529051611e2091611bb491849101615163565b5f6120885f5160206152c55f395f51905f5283615196565b92915050565b5f5f5160206152c55f395f51905f528284099392505050565b5f5f5160206152c55f395f51905f528284089392505050565b5f5f5160206152c55f395f51905f526120e6835f5160206152c55f395f51905f52614fd6565b84089392505050565b5f6119ec8361061d846123c7565b81515f90819061210f908560016108b3565b929092149392505050565b60408051610100810182527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec5181526102d060208201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff1191810191909152609060608201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71608082015260f060a08201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd3160c08201526113b060e08201525f906001825b6008811015612201576121f78261061d87846120c0565b91506001016121e0565b5061220a614dba565b5f5b600881101561226b575f84826008811061222857612228615023565b6020020151905061223d8161061d89856120c0565b9050612248816123c7565b90508083836008811061225d5761225d615023565b60200201525060010161220c565b505f5b60088110156122be575f87826008811061228a5761228a615023565b602002015190506122a781848460088110610edb57610edb615023565b90506122b386826120a7565b95505060010161226e565b5061084a848361208e565b5f5f6122df60016106228561061d8960016120c0565b90506122eb848261208e565b95945050505050565b5f6122fd614dd9565b612308868285612e52565b61231486868386612ffe565b612320868683866131e6565b61232b868285613411565b612336868285613605565b6123428686838661394e565b61234d8682856141e8565b6123588682856145b3565b61084a81856148a8565b61236a614d20565b81815260015b601c8110156123c1576123a282612388600184614fd6565b601c811061239857612398615023565b60200201516125a2565b8282601c81106123b4576123b4615023565b6020020152600101612370565b50919050565b5f5f8290505f604051602081526020808201526020604082015282606082015260025f5160206152c55f395f51905f520360808201525f5160206152c55f395f51905f5260a082015260205f60c08360055afa905080612425575f5ffd5b50505f519392505050565b612438614df8565b604051806040016040528060888460200151901b845f015117815260200160888460600151901b8460400151178152509050919050565b5f612088825f5160206152c55f395f51905f52614fd6565b61248f614d20565b601c5b8015612598575f846124a5600184614fd6565b601c81106124b5576124b5615023565b602002015190505f886124c9600185614fd6565b601c81106124d9576124d9615023565b602002015190505f6125346124f86124f1858c61208e565b600261208e565b6106408a612507600189614fd6565b601c811061251757612517615023565b602002015161061d61252e8861061d60018a6120c0565b876120c0565b90506125558161061d61089761254f8761061d6001896120c0565b866120a7565b905085841161258457975087808561256e600187614fd6565b601c811061257e5761257e615023565b60200201525b50505080612591906151a9565b9050612492565b5095945050505050565b5f612088828361208e565b6125b5614df8565b5f6125c2601c6028614fe9565b6125cd906002614fe9565b90506001604051855151604082015285516020015160608201528451608082015260408160606040840160075afa8216915060015b8381101561265b5760208102870160208202870181515160408501528151602001516060850152805160808501525050604080830160606040850160075afa8316925060408260808460065afa90921691600101612602565b50805184526020810151602085015250505092915050565b61267b614df8565b5f5160206152a55f395f51905f5282602001515f5160206152a55f395f51905f526126a69190614fd6565b6126b09190615196565b60208301525090565b81516020808401518351848301516040805194850195909552938301919091527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c260608301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60808301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60a08301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60c083015260e08201526101008101919091527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c16101208201527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b06101408201527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe46101608201527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101808201525f9081906101a00160405160208183030381529060405290505f5f60086001600160a01b03168360405161284f91906151be565b5f60405180830381855afa9150503d805f8114612887576040519150601f19603f3d011682016040523d82523d5f602084013e61288c565b606091505b509150915081801561084a57508080602001905181019061084a91906151d4565b5f808080806128bd876003614fe9565b6128c890600c614fe9565b6001600160401b038111156128df576128df6151f3565b604051908082528060200260200182016040528015612908578160200160208202803683370190505b509050875f1b815f8151811061292057612920615023565b602002602001018181525050865f1b8160018151811061294257612942615023565b602002602001018181525050855f1b8160028151811061296457612964615023565b60209081029190910101525f5b61297c601089614fd6565b8110156129cd578a8a8281811061299557612995615023565b90506020020135828260036129aa9190614fe9565b815181106129ba576129ba615023565b6020908102919091010152600101612971565b505f5b6010811015612a3e578b516129f89082601081106129f0576129f0615023565b602002015190565b82826010612a078c6003614fe9565b612a119190614fd6565b612a1b9190614fe9565b81518110612a2b57612a2b615023565b60209081029190910101526001016129d0565b5060208b01515181612a51896003614fe9565b81518110612a6157612a61615023565b6020908102919091018101919091528b810151015181612a82896003614fe9565b612a8d906001614fe9565b81518110612a9d57612a9d615023565b6020908102919091018101919091528b01516040015181612abf896003614fe9565b612aca906002614fe9565b81518110612ada57612ada615023565b6020908102919091018101919091528b01516060015181612afc896003614fe9565b612b07906003614fe9565b81518110612b1757612b17615023565b602090810291909101015260408b01515181612b34896003614fe9565b612b3f906004614fe9565b81518110612b4f57612b4f615023565b60209081029190910181019190915260408c0151015181612b71896003614fe9565b612b7c906005614fe9565b81518110612b8c57612b8c615023565b60209081029190910101526040808c0151015181612bab896003614fe9565b612bb6906006614fe9565b81518110612bc657612bc6615023565b602090810291909101015260408b01516060015181612be6896003614fe9565b612bf1906007614fe9565b81518110612c0157612c01615023565b602090810291909101015260608b01515181612c1e896003614fe9565b612c29906008614fe9565b81518110612c3957612c39615023565b60209081029190910181019190915260608c0151015181612c5b896003614fe9565b612c66906009614fe9565b81518110612c7657612c76615023565b602090810291909101015260608b01516040015181612c96896003614fe9565b612ca190600a614fe9565b81518110612cb157612cb1615023565b60209081029190910101526060808c0151015181612cd0896003614fe9565b612cdb90600b614fe9565b81518110612ceb57612ceb615023565b602002602001018181525050612d0b81604051602001611bb49190615207565b9150612d1682612e22565b6040805160208101869052929750909550612d319101611bb4565b91505f612d3d83612e22565b50959c949b509499509097509195505050505050565b5f5f5f612d5e614e10565b85815260c085810180515160208085019190915281518101516040808601919091528251810151606080870191909152925183015160808087019190915260e0808b0180515160a089015280518501519688019690965285518301519087015293518301516101008601529288018051516101208601528051820151610140860152805184015161016086015251909101516101808401529051612e0891611bb49184910161523c565b9150612e1382612e22565b90979096509194509092505050565b5f80826001600160801b038116608082901c612e3d82612070565b9450612e4881612070565b9350505050915091565b5f612e5e84600761490d565b90507f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f80000005f612ebf612eb9612e938560036120c0565b61061d612eae612ea38b5f61490d565b61061d8c601c61490d565b61061d8b601b61490d565b8361208e565b9050612f40612f35612f1c612f03612eea85610622612edf8d600261490d565b61061d8e601b61490d565b610622612ef88c600361490d565b61061d8d601c61490d565b610622612f118b600461490d565b61061d8c601d61490d565b610622612f2a8a600561490d565b61061d8b601e61490d565b61062288600161490d565b9050612f5f81610622612f548660016120c0565b61061d8a602661490d565b9050612f6b818461208e565b9050612f77818561208e565b8552505f9050612fb1612fa7612f9c612f9188601b61490d565b61062289601e61490d565b61064088602361490d565b610622875f61490d565b9050612fc28161061d8460026120c0565b9050612fd38161061d8460016120c0565b9050612fdf818361208e565b9050612feb818461208e565b9050808460015b60200201525050505050565b5f5f5f61303461302a61301289601b61490d565b6106226130208b601161490d565b8a6060015161208e565b87608001516120a7565b905061306d8161061d61306361304b8b601c61490d565b6106226130598d601261490d565b8c6060015161208e565b89608001516120a7565b90506130928161061d6130636130848b601d61490d565b6106226130598d601361490d565b90506130b78161061d6130636130a98b601e61490d565b6106226130598d601461490d565b92505f90506130db61302a6130cd89601b61490d565b6106226130208b600d61490d565b90506131008161061d6130636130f28b601c61490d565b6106226130598d600e61490d565b90506131258161061d6130636131178b601d61490d565b6106226130598d600f61490d565b905061314a8161061d61306361313c8b601e61490d565b6106226130598d601061490d565b91505f905061317161316b61316089601f61490d565b6106228a601961490d565b8461208e565b90506131a6816106406131a06131888b602761490d565b6106226131968d601a61490d565b8c60a0015161208e565b8561208e565b90506131b2818561208e565b6040860152505f6131d56131a06131ca89601a61490d565b61061d8a602761490d565b606090950194909452505050505050565b5f5f61324461322c6132146131ff6130638a601561490d565b61062261320d8b601661490d565b8a5161208e565b6106226132228a601761490d565b896020015161208e565b61062261323a89601861490d565b886040015161208e565b91505f61327b61326261325889601b61490d565b88608001516120a7565b6106226132708a600361490d565b61061d8b602361490d565b90505f6132a461328c89601c61490d565b6106226132998b5f61490d565b61061d8c602461490d565b90505f6132ce6132b58a601d61490d565b6106226132c38c600161490d565b61061d8d602561490d565b905061330d6132f56132e785610622868d5f015161208e565b610622848c6020015161208e565b6106226133038c600461490d565b8b6040015161208e565b93505050505f61332161316b88602061490d565b90505f61333261316b89602061490d565b90505f61336a6133516133468b602261490d565b6106228c600661490d565b61064061335f8c602261490d565b61061d8d600661490d565b90505f61338e61338861337d878961208e565b61061d8d602061490d565b836120c0565b905061339a818861208e565b90505f6133c26133b46133ae8d600661490d565b8761208e565b6106406133ae8e602161490d565b90505f6133d08c602261490d565b90505f6133e0613388838461208e565b60808c0185905260a08c0184905290506133fa818b61208e565b8b6006602002015250505050505050505050505050565b5f61341d5f60016120c0565b90505f61342b5f60026120c0565b90505f6134395f60036120c0565b90505f61345561344a88601c61490d565b61064089601b61490d565b90505f61347161346689601d61490d565b6106408a601c61490d565b90505f61348d6134828a601e61490d565b6106408b601d61490d565b90505f6134a961349e8b602361490d565b6106408c601e61490d565b9050836134ba8161061d818b6120a7565b90506134ca8161061d878a6120a7565b90506134da8161061d87896120a7565b90506134eb8161061d8d600861490d565b90506134f7818a61208e565b60e08b0152508261350c8161061d818b6120a7565b905061351c8161061d868a6120a7565b905061352c8161061d86896120a7565b905061353d8161061d8d600861490d565b9050613549818a61208e565b6101008b0152508161355f8161061d818b6120a7565b905061356f8161061d858a6120a7565b905061357f8161061d85896120a7565b90506135908161061d8d600861490d565b905061359c818a61208e565b6101208b015250806135b28161061d818b6120a7565b90506135c28161061d848a6120a7565b90506135d28161061d84896120a7565b90506135e38161061d8d600861490d565b90506135ef818a61208e565b610140909a019990995250505050505050505050565b61363e6040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b61364984601c61490d565b815261365684601d61490d565b602082015261366684602361490d565b604082015261367684602661490d565b606082015261368684602561490d565b608082015261369684602461490d565b60a08201525f6136a785600261490d565b90505f6136b4865f61490d565b90505f6136c88460400151855f01516120c0565b90505f6136dd8560200151866020015161208e565b606086015190915086905f906136f3908061208e565b90505f61371161370b89602001518a6060015161208e565b8861208e565b90505f6137306137298a60a001518b604001516120a7565b8a516120a7565b905061373f6133ae828861208e565b905061376661376061375a61375484876120c0565b886120c0565b846120a7565b836120a7565b905061378e613783613778838761208e565b61061d8f600961490d565b61061d60018a6120c0565b6101608c015250505050602085015160808601515f916137ad916120a7565b90505f6137cb6137c188606001518861208e565b88602001516120c0565b90505f6137ef6137db848761208e565b6106226131a08b60a001518c5f01516120c0565b905061381761380c613801838c61208e565b61061d8e600961490d565b61061d6001896120c0565b6101808b0152505f915061383890506138318360116120a7565b875161208e565b90505f61384583846120a7565b905061385181826120a7565b90505f61385f83600961208e565b905061388861388261316b61387b8b60a001518c5f01516120a7565b8b516120a7565b826120c0565b60c089018190525f906138a39061370b90613778908d61208e565b90506138b68b600b6020020151826120a7565b6101608c0152505086515f92506138dd9150613831906138d690806120a7565b88516120a7565b90505f61391d6138f88361061d8a5f01518b60a001516120c0565b60208901516106409061390b90806120a7565b61061d8b602001518c608001516120a7565b905061393a89600c602002015161062261370b613778858d61208e565b89600c602002015250505050505050505050565b6139e2604051806102c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b613a176139fe6139f387601b61490d565b61061d88602461490d565b610622613a0c88602361490d565b61061d89601c61490d565b8152613a5c613a51613a38613a2d88601b61490d565b61061d89601e61490d565b610622613a4689601c61490d565b61061d8a601d61490d565b61064087602561490d565b60408201819052613a7190600160441b61208e565b60408201819052613a879061064087602661490d565b604082018190528151613a9a91906120a7565b60408201819052613ab09061061d87600561490d565b60408201528051613ac590600160441b61208e565b808252613ae590610622613ada88602361490d565b61061d89602461490d565b80825260208201819052613b0190610640612f9188601d61490d565b60208201819052613b179061061d87600461490d565b6020820152805160608201819052613b349061062287601e61490d565b60608201819052613b5890610640613b4d88602561490d565b61062289602661490d565b60608201819052613b6d9061061d875f61490d565b8160600181815250505f613b96613b8c836020015184604001516120a7565b83606001516120a7565b9050613ba78161061d88600361490d565b9050613bbf613bb787602461490d565b61400061208e565b60808301819052613bd59061062288602361490d565b60808301819052613be89061400061208e565b60808301819052613bfe9061062288601d61490d565b60808301819052613c119061400061208e565b60808301819052613c279061062288601c61490d565b60808301819052613c3a9061400061208e565b60808301819052613c509061062288601b61490d565b60808301819052613c669061064088601e61490d565b60808301819052613c7c9061061d88600561490d565b6080830152613c8f613bb787602561490d565b60a08301819052613ca59061062288602461490d565b60a08301819052613cb89061400061208e565b60a08301819052613cce9061062288602361490d565b60a08301819052613ce19061400061208e565b60a08301819052613cf79061062288601e61490d565b60a08301819052613d0a9061400061208e565b60a08301819052613d209061062288601d61490d565b60a08301819052613d369061064088602661490d565b60a08301819052613d4b9061061d885f61490d565b60a0830181905260808301515f91613d6391906120a7565b9050613d748161061d89600461490d565b9050613d8e613d8488601d61490d565b876040015161208e565b60c08401819052613da7906106226132228a601c61490d565b60c08401819052613dc790610622613dc08a601b61490d565b895161208e565b60c08401819052613ddd9061062289600161490d565b60c0840181905260e08401819052613dfa9061064089601e61490d565b60c0840152613e0d61344a88602361490d565b610140840152613e2c613e2188602661490d565b61064089601e61490d565b610120840152610140830151613e5190613e46908061208e565b8461014001516120c0565b610280840152610140830151613e9390613e8890613e819061061d60015f5160206152c55f395f51905f52614fd6565b60016120a7565b84610120015161208e565b6101608401819052613eca90613ebc9061061d613eb18b600261490d565b61061d8c600361490d565b61061d6133ae8a600a61490d565b6101c0860152610280830151613eec90613ebc9061061d613eb18b600261490d565b6101e086015260c0830151613f149061061d613f098a600261490d565b61061d8b600361490d565b6101e08401525f613f33613f2989601e61490d565b8560e001516120c0565b9050613f42613882828361208e565b6101a0850152613f5661323a89602561490d565b6101008501819052613f7a90610622613f708b602461490d565b8a6020015161208e565b6101008501819052613f949061062261320d8b602361490d565b610100850152613fb3613fa889602661490d565b8561010001516120c0565b6101008501525f613fc86134828a602561490d565b905061401c613ff6612eb9613e8188610140015160015f5160206152c55f395f51905f5261061d9190614fd6565b61061d613e8188610100015160015f5160206152c55f395f51905f5261061d9190614fd6565b61018086015261010085015161404190614036908061208e565b8661010001516120c0565b6101c0860152610180850151614074906140609061061d8c600761490d565b61061d61406e8c600a61490d565b8961208e565b610200880152610280850151614093906140609061061d8c600761490d565b6102208801526101c08501516140b2906140609061061d8c600761490d565b6102408801526101a08501516140cd9061061d8b600761490d565b6102008601526140ec6140e18a602461490d565b6106408b601c61490d565b61022086015261014085015161412b906134829061412090613e819061061d60015f5160206152c55f395f51905f52614fd6565b87610220015161208e565b61024086018190526101e08601516102608701819052614162916106229061061d6141578e600561490d565b61061d8f600261490d565b610260860181905260c086015161418591906106229061061d6141578e5f61490d565b610260860181905261020086015161419d91906120a7565b61026086018190526141b39061375a90866120a7565b6102a086018190526141cd9061061d61406e8c600a61490d565b6102a0860181905287600d6020020152505050505050505050565b61425e6040518061022001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b61427761426c85601b61490d565b61062286600261490d565b815261429261428785601c61490d565b61062286600361490d565b60208201526142b06142a585601d61490d565b61062286600461490d565b60408201526142ce6142c385601e61490d565b61062286600561490d565b60608201528051614300906142f9906142f2906142eb908061208e565b845161208e565b835161208e565b825161208e565b6080820152602081015161433e906143349061432a90614320908061208e565b846020015161208e565b836020015161208e565b826020015161208e565b60a0820152604081015161437c90614372906143689061435e908061208e565b846040015161208e565b836040015161208e565b826040015161208e565b60c082015260608101516143ba906143b0906143a69061439c908061208e565b846060015161208e565b836060015161208e565b826060015161208e565b60e0820152608081015160a08201516143d391906120a7565b61010082015260c081015160e08201516143ed91906120a7565b61012082015260a08101516144119061440690806120a7565b8261012001516120a7565b61014082015260e08101516144359061442a90806120a7565b8261010001516120a7565b61016082015261012081015161444b90806120a7565b6101e0820181905261446c9061446190806120a7565b8261016001516120a7565b6101e082015261010081015161448290806120a7565b6101a082018190526144a39061449890806120a7565b8261014001516120a7565b6101a082018190526101608201516144ba916120a7565b6101808201526101408101516101e08201516144d691906120a7565b6101c08201526144ea612eb985600b61490d565b6102008201819052610260840151610180830151614515926106229161061d906106408a602361490d565b8360136020020152614545836014602002015161062283610200015161061d856101a001516106408a602461490d565b8360146020020152614575836015602002015161062283610200015161061d856101c001516106408a602561490d565b83601560200201526145a5836016602002015161062283610200015161061d856101e001516106408a602661490d565b836016602002015250505050565b6146056040518061016001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f604051806080016040528061463a7f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e7612070565b81526020016146687f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b612070565b81526020016146957e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac15612070565b81526020016146c37f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b612070565b905290506146e06146d586601b61490d565b61062287600261490d565b61012083018190526147149061470990613e88906146fe908061208e565b85610120015161208e565b83610120015161208e565b825261472185601c61490d565b602083015261473185601d61490d565b604083015261474185601e61490d565b60608301528151602083015161476991613b8c9161475f91906120a7565b84604001516120a7565b608083015261477c61316b86600c61490d565b610140830152815161479d9061479390835f610edb565b83608001516120a7565b60a08301526147c9846017602002015161062284610140015161061d8660a001516106408b602361490d565b6102e085015260208201516147e49061479390836001610edb565b60c0830152614810846018602002015161062284610140015161061d8660c001516106408b602461490d565b610300850152604082015161482b9061479390836002610edb565b60e0830152614857846019602002015161062284610140015161061d8660e001516106408b602561490d565b61032085015260608201516148729061479390836003610edb565b6101008301526148a084601a602002015161062284610140015161061d8661010001516106408b602661490d565b84601a612ff2565b5f6148b48184816108b3565b905060015b601b811015614906576148fc826106228684601b81106148db576148db615023565b6020020151866148ec600187614fd6565b601a8110610edb57610edb615023565b91506001016148b9565b5092915050565b5f8282602781111561492157614921615270565b6028811061493157614931615023565b60200201519392505050565b604051806103c001604052805f81526020015f81526020015f8152602001614963614df8565b8152602001614970614df8565b815260200161497d614df8565b815260200161498a614df8565b8152602001614997614df8565b81526020016149a4614df8565b81526020016149b1614df8565b81526020016149be614df8565b81526020016149cb614df8565b81526020016149d8614df8565b81526020016149e5614df8565b81526020016149f2614df8565b81526020016149ff614df8565b8152602001614a0c614df8565b8152602001614a19614df8565b8152602001614a26614df8565b8152602001614a33614df8565b8152602001614a40614df8565b8152602001614a4d614df8565b8152602001614a5a614df8565b8152602001614a67614df8565b8152602001614a74614df8565b8152602001614a81614df8565b8152602001614a8e614df8565b8152602001614a9b614df8565b8152602001614aa8614df8565b8152602001614ab5614df8565b905290565b604051806101e00160405280614ace614e2f565b8152602001614adb614c8e565b8152602001614ae8614c8e565b8152602001614af5614c8e565b8152602001614b02614c8e565b8152602001614b0f614c8e565b8152602001614b1c614c8e565b8152602001614b29614c8e565b8152602001614b36614c8e565b8152602001614b43614e4e565b8152602001614b50614e7c565b8152602001614b5d614e9b565b8152602001614b6a614d20565b8152602001614b77614c8e565b8152602001614ab5614c8e565b604051806101000160405280614b98614cb2565b8152602001614ba5614ce2565b8152602001614bb2614d20565b8152602001614bbf614d20565b81526020015f81526020015f81526020015f81526020015f81525090565b6040518061018001604052805f81526020015f81526020015f81526020015f81526020015f8152602001614c0f614ec9565b8152602001614c1c614ec9565b81526020015f81526020015f81526020015f81526020015f8152602001614ab5614d20565b604051806108c001604052806046906020820280368337509192915050565b604051806108c001604052806046905b614c78614df8565b815260200190600190039081614c705790505090565b60405180608001604052805f81526020015f81526020015f81526020015f81525090565b6040518060c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b604051806103400160405280601a906020820280368337509192915050565b6040518061012001604052806009906020820280368337509192915050565b604051806103800160405280601c906020820280368337509192915050565b6040518061052001604052806029906020820280368337509192915050565b60405180610da00160405280606d906020820280368337509192915050565b604051806103a00160405280601d906020820280368337509192915050565b6040518060a001604052806005906020820280368337509192915050565b6040518061010001604052806008906020820280368337509192915050565b604051806103600160405280601b906020820280368337509192915050565b60405180604001604052805f81526020015f81525090565b604051806101a00160405280600d906020820280368337509192915050565b6040518061020001604052806010906020820280368337509192915050565b604051806103800160405280601c905b614e66614dba565b815260200190600190039081614e5e5790505090565b6040518061050001604052806028906020820280368337509192915050565b604051806103600160405280601b905b614eb3614c8e565b815260200190600190039081614eab5790505090565b60405180608001604052806004906020820280368337509192915050565b5f5f5f5f60408587031215614efa575f5ffd5b84356001600160401b03811115614f0f575f5ffd5b8501601f81018713614f1f575f5ffd5b80356001600160401b03811115614f34575f5ffd5b876020828401011115614f45575f5ffd5b6020918201955093508501356001600160401b03811115614f64575f5ffd5b8501601f81018713614f74575f5ffd5b80356001600160401b03811115614f89575f5ffd5b8760208260051b8401011115614f9d575f5ffd5b949793965060200194505050565b634e487b7160e01b5f52601160045260245ffd5b808202811582820484141761208857612088614fab565b8181038181111561208857612088614fab565b8082018082111561208857612088614fab565b5f5f8585111561500a575f5ffd5b83861115615016575f5ffd5b5050820193919092039150565b634e487b7160e01b5f52603260045260245ffd5b5f6001820161504857615048614fab565b5060010190565b80356020831015612088575f19602084900360031b1b1692915050565b5f8183825b6009811015615090578151835260209283019290910190600101615071565b5050506101208201905092915050565b634e487b7160e01b5f52601260045260245ffd5b5f826150c2576150c26150a0565b500490565b5f8183825b60298110156150eb5781518352602092830192909101906001016150cc565b5050506105208201905092915050565b5f8183825b606d81101561511f578151835260209283019290910190600101615100565b505050610da08201905092915050565b5f8183825b601d811015615153578151835260209283019290910190600101615134565b5050506103a08201905092915050565b5f8183825b6005811015615187578151835260209283019290910190600101615168565b50505060a08201905092915050565b5f826151a4576151a46150a0565b500690565b5f816151b7576151b7614fab565b505f190190565b5f82518060208501845e5f920191825250919050565b5f602082840312156151e4575f5ffd5b815180151581146119ec575f5ffd5b634e487b7160e01b5f52604160045260245ffd5b81515f90829060208501835b82811015615231578151845260209384019390910190600101615213565b509195945050505050565b5f8183825b600d811015615260578151835260209283019290910190600101615241565b5050506101a08201905092915050565b634e487b7160e01b5f52602160045260245ffdfe696e76616c6964206e756d626572206f6620627974657320746f20636f6e737430644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4730644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001";
export declare const HonkVerifierBytecode = "0x60e060405234801561000f575f5ffd5b506302000000608052601960a05260ae60c05260805160a05160c0516153eb6100605f395f818160d6015261065001525f818161075b01528181610d110152610dae01525f6105f401526153eb5ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b366004614fed565b610054565b604051901515815260200160405180910390f35b5f6100626101c960206150c5565b8414610081576040516376ba560560e11b815260040160405180910390fd5b5f61008a6101c1565b90505f61009787876101d6565b9050601082604001516100aa91906150dc565b84146100c95760405163fa06659360e01b815260040160405180910390fd5b5f6100fc828787865f01517f0000000000000000000000000000000000000000000000000000000000000000600161052f565b905061014c8686808060200260200160405190810160405280939291908181526020018383602002808284375f9201919091525050855185516060810151608090910151919350915060016105de565b815160a001525f61015d8383610753565b90508061017d576040516313f8744360e31b815260040160405180910390fd5b5f610189848685610854565b9050806101a9576040516352ec174560e11b815260040160405180910390fd5b8180156101b35750805b9a9950505050505050505050565b6101c9614a55565b6101d16110ac565b905090565b6101de614bdf565b5f805b60108110156102405761020d8583866101fb8260206150ef565b9261020893929190615102565b6119e5565b8351826010811061022057610220615129565b60200201818152505060208261023691906150ef565b91506001016101e1565b506102648482856102528260806150ef565b9261025f93929190615102565b611a53565b60208301526102746080826150ef565b90506102878482856102528260806150ef565b60408301526102976080826150ef565b90506102aa8482856102528260806150ef565b60608301526102ba6080826150ef565b90506102cd8482856102528260806150ef565b60c08301526102dd6080826150ef565b90506102f08482856102528260806150ef565b60e08301526103006080826150ef565b90506103138482856102528260806150ef565b60808084019190915261032690826150ef565b90506103398482856102528260806150ef565b61010083015261034a6080826150ef565b905061035d8482856102528260806150ef565b60a083015261036d6080826150ef565b90505f5b601c8110156103ec575f5b60088110156103e3576103968684876101fb8260206150ef565b84610120015183601c81106103ad576103ad615129565b602002015182600881106103c3576103c3615129565b6020020181815250506020836103d991906150ef565b925060010161037c565b50600101610371565b505f5b6029811015610440576104098583866101fb8260206150ef565b836101400151826029811061042057610420615129565b60200201818152505060208261043691906150ef565b91506001016103ef565b505f5b61044f6001601c6150dc565b811015610498576104678583866102528260806150ef565b83610160015182601b811061047e5761047e615129565b602002015261048e6080836150ef565b9150600101610443565b505f5b601c8110156104ec576104b58583866101fb8260206150ef565b83610180015182601c81106104cc576104cc615129565b6020020181815250506020826104e291906150ef565b915060010161049b565b506104fe8482856102528260806150ef565b6101a083015261050f6080826150ef565b90506105228482856102528260806150ef565b6101c08301525092915050565b610537614ca9565b5f61054788888888888887611b32565b90835290506105568189611b88565b6020840191909152905061056981611d68565b6040840191909152905061057d8882611dc9565b606084019190915290506105918882611e9d565b608084019190915290506105a58882611f28565b60a084019190915290506105b98882612096565b60c084019190915290506105cd8882612108565b5060e0830152509695505050505050565b5f60018082610627866106228961061d6106188a7f00000000000000000000000000000000000000000000000000000000000000006150ef565b61215f565b61217d565b612196565b90505f610645876106408a61061d6106188b60016150ef565b6121af565b90505f5b61067460107f00000000000000000000000000000000000000000000000000000000000000006150dc565b8110156106e1575f61069e8c838151811061069157610691615129565b602002602001015161215f565b90506106ae8661061d8684612196565b95506106be8561061d8584612196565b94506106ca848b612196565b93506106d6838b6121af565b925050600101610649565b505f5b6010811015610748575f8a826010811061070057610700615129565b602002015190506107158661061d8684612196565b95506107258561061d8584612196565b9450610731848b612196565b935061073d838b6121af565b9250506001016106e4565b506101b384846121de565b5f806001815b7f000000000000000000000000000000000000000000000000000000000000000081101561082a575f86610120015182601c811061079957610799615129565b602002015190505f6107ab82866121ec565b9050806107cb576040516313f8744360e31b815260040160405180910390fd5b5f876060015184601c81106107e2576107e2615129565b602002015190506107f38382612209565b955061081a886040015185601c811061080e5761080e615129565b602002015186836123b8565b9450505050806001019050610759565b505f610844866101400151865f01518760200151856123e3565b90508281145b9695505050505050565b5f61085d614d02565b5f61086b8460a0015161245d565b9050610875614d66565b61087d614d85565b60e086015161089c9061089790855f5b60200201516121af565b6124c2565b60e0808601919091528601516108bd9061089790855f5b6020020151612196565b610100850181905260e085015160c08801516108dd92610622919061217d565b845260a086015161090c906108f1906124c2565b61061d8660e001516106408a60c0015189610100015161217d565b6020850152600182526101a08801516109249061252b565b81526001606085018190525f60808601525b602481116109dc5761095761094d865f015161256a565b866060015161217d565b83826047811061096957610969615129565b602002015260808501516101408a01516109ac91906106229061098d6001866150dc565b6029811061099d5761099d615129565b6020020151886060015161217d565b8560800181815250506109c78560600151886080015161217d565b60608601526109d58161513d565b9050610936565b505f6109ea602460016150ef565b90505b60298111610a6b57610a0561094d866020015161256a565b838260478110610a1757610a17615129565b602002015260808501516101408a0151610a3b91906106229061098d6001866150dc565b856080018181525050610a568560600151886080015161217d565b6060860152610a648161513d565b90506109ed565b50606087015181600160200201526080870151816002602002015260a0870151816003602002015260c0870151816004602002015260e0870151816005602002015261010087015181600660200201526101208701518160076020020152610140870151816008602002015261016087015181600960200201526101c087015181600a602002015261018087015181600b60200201526101a087015181600c60200201526101e087015181600d602002015261020087015181600e602002015261022087015181600f60200201526102408701518160106020020152610260870151816011602002015261028087015181601260200201526102a087015181601360200201526102c087015181601460200201526102e08701518160156020020152610300870151816016602002015261032087015181601760200201526103408701518160186020020152610360870151816019602002015261038087015181601a60200201526103a087015181601b60200201526103c087015181601c6020020181905250610bff886020015161252b565b6103a08201526040880151610c139061252b565b6103c08201526060880151610c279061252b565b6103e08201526080880151610c3b9061252b565b61040082015260a0880151610c4f9061252b565b610420820152610100880151610c649061252b565b61044082015260c0880151610c789061252b565b61046082015260e0880151610c8c9061252b565b6104808201526020880151610ca09061252b565b6104a08201526040880151610cb49061252b565b6104c08201526060880151610cc89061252b565b6104e08201526080880151610cdc9061252b565b61050082015260a0880151610cf09061252b565b610520820152606086015160808501516101808a01515f92610d35929091877f0000000000000000000000000000000000000000000000000000000000000000612582565b805160e0870151919250610d489161217d565b604086018190526101808a01515160c0890151610d79929161062291610d6e919061217d565b88610100015161217d565b604086015260c0870151610d8c9061269d565b60608601525f5b610d9f6001601c6150dc565b811015610fa7575f610dd260017f00000000000000000000000000000000000000000000000000000000000000006150dc565b821015905080610f4d57610e056108978a60e0015188856001610df591906150ef565b601c811061088d5761088d615129565b60e080890191909152890151610e35906108979088610e258660016150ef565b601c81106108b3576108b3615129565b610100880152606087015160e0880151610e4f919061217d565b610120880152606087015160c08a0151610e6c91610d6e9161217d565b6101408801819052610e8f90610e819061256a565b61062289610120015161256a565b8583610e9d602960016150ef565b610ea791906150ef565b60478110610eb757610eb7615129565b60200201526101408701516101808c01515f91610ef391610ed98660016150ef565b601c8110610ee957610ee9615129565b602002015161217d565b9050610f10816106228a610120015187876001610ed991906150ef565b9050610f20886040015182612196565b6040890152606088015160c08b0151610f4691610f3c9161217d565b8b60c0015161217d565b6060890152505b610f718b610160015183601b8110610f6757610f67615129565b602002015161252b565b8483610f7f602960016150ef565b610f8991906150ef565b60478110610f9957610f99615129565b602002015250600101610d93565b5060408051808201909152600181526002602082015282610fca601c60296150ef565b60478110610fda57610fda615129565b6020020152604085015183610ff1601c60296150ef565b6047811061100157611001615129565b60200201526101c08901515f906110179061252b565b90508083611027601c60296150ef565b6110329060016150ef565b6047811061104257611042615129565b602002015260e088015184611059601c60296150ef565b6110649060016150ef565b6047811061107457611074615129565b60200201525f61108484866126a8565b90505f6110908361276e565b905061109c82826127b4565b9c9b505050505050505050505050565b6110b4614a55565b50604080516103e08101825263020000008152601960208083019190915260ae82840152825180840184527f09334c98e7aa9d7c893c773e5cb601e88d34e2ef7a4b533d0271f52f65ad9ea881527f290f24eecb29156e1c4c3c08e409cbfcff9c1c077b6f536da97add2cffb8afe2818301526060830152825180840184527f23dcce77911e304e9dda87ef0525786c282a5425faab8be7f10743701cd8c65081527f279115fe862b11b138912829edb3b505f786aec0e29349e1e4baee9af6215e17818301526080830152825180840184527f232b1c8cbd5732691cdb9507533b22abeab5b312b00374975df090a0e42bed5981527f210cf5d6545df63b6dd6d508f7882e09b5a7d4805204c9b7425884862830cfde8183015260a0830152825180840184527f16185e75e98c7ba964ae5c1e128aabe6f5ab04a4b8c09657be3514b48f94afe881527f088f19d4953eb874bf037356dfa95eaf0b3d1ab719cf7ef1f0898bfc3bc1db3e8183015260c0830152825180840184527f1abd9df724831049545dbbd49a4f63af6b92b7f61d3cb203148467cc13519dba81527f1d909d25e6881a97db7772cf7f8ced73cf4913c4a3bea527622a19df373f53a98183015260e0830152825180840184527f17627dd50e14246aab4a7150c0835fb9385aa1eed28a9c38bcd8d2169f19358a81527f2a083a32fa64a595408a76e1b57303655e10d845f3cb803ba3a1c78aba1621bd81830152610100830152825180840184527f107d2d79c20982125b9f302008ecbd7b7f25eebc71271311c28f58223170c78b81527f0f3c9104533084fca88d92d900c94cb1400899b1c3c2b40cf32807f7d8517f4781830152610120830152825180840184527f03c8ba688220487daf92373540f3765c2e604baf121468ca5b913513690a4db981527f2c89160c84f7903b29fd626c25b76e58cbdc6be9a60c152703906d7d31e3b3c981830152610140830152825180840184527f04d60e98f94b55bfa9f433d502c9a164c16dcd5296d2843db8d4576a7b1a2cd081527f077d01892b9defa2ed388a5d54e6201c9f84ae43066455f1d09312be390db3fb81830152610160830152825180840184527f1ef4446f8ca19fc96ce47a212e25745a0fd6cc2e3a2e976139308ecfb1e6d5e481527f1cb75ce9d1d3a466c69c23f529de08578fb97590dd662bd6584a412519165e7a81830152610180830152825180840184527f16a547c67a7ed2a3fe79fa3cc7993fe239ca7c82da7a6bd4074084995e03aae681527f0b9bacc018ae81a696836033bdd5610e7fecb72c7cf3300ceb5bea7a9e6e5a7c818301526101a0830152825180840184527f1467fe37cb78030724b4d9ca59e522bfc05d4b043095e3fe5974399fdaa91f9481527f28ce91fd4eb517e79c85634d86feb74b7eb5e5e5bde75cc15c486bc04eeb5378818301526101c0830152825180840184527f24e1cd532e4c38c706308147778c46c1cfdb33ad817388518d1bfc9857dd7d0681527f117474e5171baea921b5fbc29dfdd1b637586d9cc493e0d95ed50c7ca7d2d8e3818301526101e0830152825180840184527f065c1127662a86c5886c290a6d7a848b8c307ffb9b0045128d2ac9d650d95f3281527f28bf9f9b979d273ae5577d24a76e13c83643fc1a957e090ea54cffbfe91f36b381830152610200830152825180840184527f09b964172f864b545e7b823e282729898d4a30629017630aea5087ac443c25a181527edfac5c45419a30ae002477ffd5184996affcf63ea58e94924184849765a3ba81830152610220830152825180840184527f0873705797c37e9b8b23b95bc3832b91917f18c106b809462d6d5975e0308c2681527f2179de359723b356c77ae71adee34a9fcc0da24c5cb7b684d12d37d11a08804781830152610240830152825180840184527f2ecf822725e04ce88844f575583620ac7254bf438f1ee188d6684bc7a24b51cf81527f2f031e3ce043a92f07b20b0b756d078a221c11aa5adfe122d6f0777b09770b2681830152610260830152825180840184527f16ae70bb7787988077c851c775c916c796bc3465ea27104714a0218407b57c6281527f0f87fd3d7073f34b5a275b0f8ede893d5fa70755ffcb44776793984368db5c0381830152610280830152825180840184527f253eb74f80aea955ecdc21c8bc616709ac8df436e56c7b218ab712f1bafbcf8181527f2ac603b5d188870c0decec31a3a88195f38fba0620920e65b86dfa0d63c68bfe818301526102a0830152825180840184527f0bf12249b1b1c067aeab52836f3a91823af5a5d9999e3a45f497cfed2ec45ac581527f2356185ea1d8e799a4558aa583033657b6865b21b2d7636aa13540a16f2076a2818301526102c0830152825180840184527e571b59727b0412772104738959df5ed480d2252d1fe166ef7a1dd80ce90ab581527f2051b5690608c36afb2993a5fb03e3c59cc1f5305d40f8da07705e3640a5f23a818301526102e0830152825180840184527e61ffb769200b8e428cd1f04935f0c9642bed1468d81f380a17baffee08ba4f81527f29123dbe8af19645c63d758d3ba7ea45ca7bccae7f84b49d393a6d72f68fa63181830152610300830152825180840184527f275a0bb22f8c37a3476d71c556d266909fdde001df48d48a78940343ccb0b48a81527f2a4cc2119d1bd729845e8630c5b1aec652a2f2a7ae690c52238e3eafd44b385681830152610320830152825180840184527f1e1d6ac562a951aa01bc279a090d34488936a6404b3c75294fd260df0d36689381527f1643515b25c47e776b6d99eb3ce8b4613b209886681842e5c39ee92efe72c27281830152610340830152825180840184527f09d569252b4b229e483b00b1e67384ac4db29395d32e28c82f8b73983d30ac6b81527f2c47d5809e56ba32be655d4177db195bb450fd12587756c4b85b6506a7844ddb81830152610360830152825180840184527f1f59b85de9212665c6c3e59fb35ab6609d72f5ad8007449dc8019a5886fad88f81527f21c9b787b5e0109e8ab3c2293b8c67fa9ec871818722fb8bea77aa6477aaae4c8183015261038083015282518084018452600181526002818301526103a083015282518084019093527f231b37b6408a23429458d5dfb1a3ae2f4f12e0f7001a206a6bbbb664bb2cf66983527f153d3d8224622574551f8091c7202b1e3f34b69f9a61bf46307f98ff3c50e657908301526103c081019190915290565b5f60208214611a3f5760405162461bcd60e51b815260206004820152602e60248201525f51602061538b5f395f51905f5260448201526d393ab1ba1023391039b1b0b630b960911b60648201526084015b60405180910390fd5b611a4c6106188385615155565b9392505050565b611a5b614db3565b60808214611ab05760405162461bcd60e51b815260206004820152602f60248201525f51602061538b5f395f51905f5260448201526e1c9d58dd08184811cc481c1bda5b9d608a1b6064820152608401611a36565b604080516080810190915280611ac960205f8688615102565b611ad291615155565b8152602090810190611ae8906040908688615102565b611af191615155565b8152602001611b04606060408688615102565b611b0d91615155565b8152602001611b20608060608688615102565b611b2991615155565b90529392505050565b611b3a614dd7565b5f611b498989898989896129a8565b604086019190915260208501919091529083529250611b68838a612e4e565b608085019190915260608401919091529199919850909650505050505050565b611b90614e07565b5f611b99614e26565b848152610100848101805151602080850191909152815181015160408086019190915282518101516060808701919091529251830151608086015260a080890180515191870191909152805183015160c0870152805182015160e087015251909201519284019290925251611c2f91611c1491849101615172565b6040516020818303038152906040528051906020012061215f565b9150611c3a82612f1d565b6020850152835260015b6002611c526001601c6150dc565b611c5c91906151ba565b811015611cdc57611c7983604051602001611c1491815260200190565b9250611c8483612f1d565b85611c908460026150c5565b601b8110611ca057611ca0615129565b6020020186611cb08560026150c5565b611cbb9060016150ef565b601b8110611ccb57611ccb615129565b602002019190915252600101611c44565b50611ce96001601c6150dc565b6001166001148015611d0657506002611d046001601c6150dc565b115b15611d6057611d2182604051602001611c1491815260200190565b91505f611d2d83612f1d565b856001611d3b81601c6150dc565b611d4591906150dc565b601b8110611d5557611d55615129565b602002019190915250505b509250929050565b611d70614e45565b5f805b601c811015611dc257611d9284604051602001611c1491815260200190565b93505f611d9e85612f1d565b8584601c8110611db057611db0615129565b60200201919091525050600101611d73565b5090929050565b611dd1614e45565b5f805b601c811015611e9457611de5614e26565b8481525f5b6008811015611e4e5786610120015183601c8110611e0a57611e0a615129565b60200201518160088110611e2057611e20615129565b602002015182611e318360016150ef565b60098110611e4157611e41615129565b6020020152600101611dea565b50611e6381604051602001611c149190615172565b94505f611e6f86612f1d565b8685601c8110611e8157611e81615129565b6020020191909152505050600101611dd4565b50909391925050565b5f5f611ea7614e64565b8381525f5b6029811015611efa578561014001518160298110611ecc57611ecc615129565b602002015182611edd8360016150ef565b602a8110611eed57611eed615129565b6020020152600101611eac565b50611f0f81604051602001611c1491906151cd565b91505f611f1b83612f1d565b5096929550919350505050565b5f5f611f32614e83565b8381525f5b611f436001601c6150dc565b8110156120815785610160015181601b8110611f6157611f61615129565b60200201515182611f738360046150c5565b611f7e9060016150ef565b606d8110611f8e57611f8e615129565b602002015261016086015181601b8110611faa57611faa615129565b60200201516020015182826004611fc191906150c5565b611fcc9060026150ef565b606d8110611fdc57611fdc615129565b602002015261016086015181601b8110611ff857611ff8615129565b6020020151604001518261200d8360046150c5565b6120189060036150ef565b606d811061202857612028615129565b602002015261016086015181601b811061204457612044615129565b602002015160600151826120598360046150c5565b6120649060046150ef565b606d811061207457612074615129565b6020020152600101611f37565b50611f0f81604051602001611c149190615201565b5f5f6120a0614ea2565b8381525f5b601c8110156120f35785610180015181601c81106120c5576120c5615129565b6020020151826120d68360016150ef565b601d81106120e6576120e6615129565b60200201526001016120a5565b50611f0f81604051602001611c149190615235565b5f5f612112614ec1565b8381526101a085018051516020808401919091528151810151604080850191909152825181015160608086019190915292519092015160808401529051611f0f91611c1491849101615269565b5f6121775f5160206153cb5f395f51905f528361529c565b92915050565b5f5f5160206153cb5f395f51905f528284099392505050565b5f5f5160206153cb5f395f51905f528284089392505050565b5f5f5160206153cb5f395f51905f526121d5835f5160206153cb5f395f51905f526150dc565b84089392505050565b5f611a4c8361061d846124c2565b81515f9081906121fe908560016108b3565b929092149392505050565b60408051610100810182527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec5181526102d060208201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff1191810191909152609060608201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71608082015260f060a08201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd3160c08201526113b060e08201525f906001825b60088110156122f0576122e68261061d87846121af565b91506001016122cf565b506122f9614edf565b5f5b600881101561235a575f84826008811061231757612317615129565b6020020151905061232c8161061d89856121af565b9050612337816124c2565b90508083836008811061234c5761234c615129565b6020020152506001016122fb565b505f5b60088110156123ad575f87826008811061237957612379615129565b6020020151905061239681848460088110610ee957610ee9615129565b90506123a28682612196565b95505060010161235d565b5061084a848361217d565b5f5f6123ce60016106228561061d8960016121af565b90506123da848261217d565b95945050505050565b5f6123ec614e45565b6123f7868285612f4d565b612403868683866130f9565b61240f868683866132e5565b61241a868285613510565b612425868285613704565b61243186868386613a4d565b61243d86868386613f00565b6124488682856142ff565b6124538682856146c0565b61084a81856149c0565b612465614e45565b81815260015b601c8110156124bc5761249d826124836001846150dc565b601c811061249357612493615129565b602002015161269d565b8282601c81106124af576124af615129565b602002015260010161246b565b50919050565b5f5f8290505f604051602081526020808201526020604082015282606082015260025f5160206153cb5f395f51905f520360808201525f5160206153cb5f395f51905f5260a082015260205f60c08360055afa905080612520575f5ffd5b50505f519392505050565b612533614efe565b604051806040016040528060888460200151901b845f015117815260200160888460600151901b8460400151178152509050919050565b5f612177825f5160206153cb5f395f51905f526150dc565b61258a614e45565b601c5b8015612693575f846125a06001846150dc565b601c81106125b0576125b0615129565b602002015190505f886125c46001856150dc565b601c81106125d4576125d4615129565b602002015190505f61262f6125f36125ec858c61217d565b600261217d565b6106408a6126026001896150dc565b601c811061261257612612615129565b602002015161061d6126298861061d60018a6121af565b876121af565b90506126508161061d61089761264a8761061d6001896121af565b86612196565b905085841161267f5797508780856126696001876150dc565b601c811061267957612679615129565b60200201525b5050508061268c906152af565b905061258d565b5095945050505050565b5f612177828361217d565b6126b0614efe565b5f6126bd601c60296150ef565b6126c89060026150ef565b90506001604051855151604082015285516020015160608201528451608082015260408160606040840160075afa8216915060015b838110156127565760208102870160208202870181515160408501528151602001516060850152805160808501525050604080830160606040850160075afa8316925060408260808460065afa909216916001016126fd565b50805184526020810151602085015250505092915050565b612776614efe565b5f5160206153ab5f395f51905f5282602001515f5160206153ab5f395f51905f526127a191906150dc565b6127ab919061529c565b60208301525090565b81516020808401518351848301516040805194850195909552938301919091527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c260608301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60808301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60a08301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60c083015260e08201526101008101919091527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c16101208201527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b06101408201527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe46101608201527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101808201525f9081906101a00160405160208183030381529060405290505f5f60086001600160a01b03168360405161294a91906152c4565b5f60405180830381855afa9150503d805f8114612982576040519150601f19603f3d011682016040523d82523d5f602084013e612987565b606091505b509150915081801561084a57508080602001905181019061084a91906152da565b5f808080806129b88760036150ef565b6129c390600c6150ef565b6001600160401b038111156129da576129da6152f9565b604051908082528060200260200182016040528015612a03578160200160208202803683370190505b509050875f1b815f81518110612a1b57612a1b615129565b602002602001018181525050865f1b81600181518110612a3d57612a3d615129565b602002602001018181525050855f1b81600281518110612a5f57612a5f615129565b60209081029190910101525f5b612a776010896150dc565b811015612ac8578a8a82818110612a9057612a90615129565b9050602002013582826003612aa591906150ef565b81518110612ab557612ab5615129565b6020908102919091010152600101612a6c565b505f5b6010811015612b39578b51612af3908260108110612aeb57612aeb615129565b602002015190565b82826010612b028c60036150ef565b612b0c91906150dc565b612b1691906150ef565b81518110612b2657612b26615129565b6020908102919091010152600101612acb565b5060208b01515181612b4c8960036150ef565b81518110612b5c57612b5c615129565b6020908102919091018101919091528b810151015181612b7d8960036150ef565b612b889060016150ef565b81518110612b9857612b98615129565b6020908102919091018101919091528b01516040015181612bba8960036150ef565b612bc59060026150ef565b81518110612bd557612bd5615129565b6020908102919091018101919091528b01516060015181612bf78960036150ef565b612c029060036150ef565b81518110612c1257612c12615129565b602090810291909101015260408b01515181612c2f8960036150ef565b612c3a9060046150ef565b81518110612c4a57612c4a615129565b60209081029190910181019190915260408c0151015181612c6c8960036150ef565b612c779060056150ef565b81518110612c8757612c87615129565b60209081029190910101526040808c0151015181612ca68960036150ef565b612cb19060066150ef565b81518110612cc157612cc1615129565b602090810291909101015260408b01516060015181612ce18960036150ef565b612cec9060076150ef565b81518110612cfc57612cfc615129565b602090810291909101015260608b01515181612d198960036150ef565b612d249060086150ef565b81518110612d3457612d34615129565b60209081029190910181019190915260608c0151015181612d568960036150ef565b612d619060096150ef565b81518110612d7157612d71615129565b602090810291909101015260608b01516040015181612d918960036150ef565b612d9c90600a6150ef565b81518110612dac57612dac615129565b60209081029190910101526060808c0151015181612dcb8960036150ef565b612dd690600b6150ef565b81518110612de657612de6615129565b602002602001018181525050612e0681604051602001611c14919061530d565b9150612e1182612f1d565b6040805160208101869052929750909550612e2c9101611c14565b91505f612e3883612f1d565b50959c949b509499509097509195505050505050565b5f5f5f612e59614f16565b85815260c085810180515160208085019190915281518101516040808601919091528251810151606080870191909152925183015160808087019190915260e0808b0180515160a089015280518501519688019690965285518301519087015293518301516101008601529288018051516101208601528051820151610140860152805184015161016086015251909101516101808401529051612f0391611c1491849101615342565b9150612f0e82612f1d565b90979096509194509092505050565b5f80826001600160801b038116608082901c612f388261215f565b9450612f438161215f565b9350505050915091565b5f612f59846007614a25565b90507f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f80000005f612fba612fb4612f8e8560036121af565b61061d612fa9612f9e8b5f614a25565b61061d8c601d614a25565b61061d8b601c614a25565b8361217d565b905061303b613030613017612ffe612fe585610622612fda8d6002614a25565b61061d8e601c614a25565b610622612ff38c6003614a25565b61061d8d601d614a25565b61062261300c8b6004614a25565b61061d8c601e614a25565b6106226130258a6005614a25565b61061d8b601f614a25565b610622886001614a25565b905061305a8161062261304f8660016121af565b61061d8a6027614a25565b9050613066818461217d565b9050613072818561217d565b8552505f90506130ac6130a261309761308c88601c614a25565b61062289601f614a25565b610640886024614a25565b610622875f614a25565b90506130bd8161061d8460026121af565b90506130ce8161061d8460016121af565b90506130da818361217d565b90506130e6818461217d565b9050808460015b60200201525050505050565b5f5f5f61312f61312561310d89601c614a25565b61062261311b8b6012614a25565b8a6060015161217d565b8760800151612196565b90506131688161061d61315e6131468b601d614a25565b6106226131548d6013614a25565b8c6060015161217d565b8960800151612196565b905061318d8161061d61315e61317f8b601e614a25565b6106226131548d6014614a25565b90506131b28161061d61315e6131a48b601f614a25565b6106226131548d6015614a25565b92505f90506131d66131256131c889601c614a25565b61062261311b8b600e614a25565b90506131fb8161061d61315e6131ed8b601d614a25565b6106226131548d600f614a25565b90506132208161061d61315e6132128b601e614a25565b6106226131548d6010614a25565b90506132458161061d61315e6132378b601f614a25565b6106226131548d6011614a25565b91505f905061326c61326661325b896020614a25565b6106228a601a614a25565b8461217d565b90506132a18161064061329b6132838b6028614a25565b6106226132918d601b614a25565b8c60a0015161217d565b8561217d565b90506132ad818561217d565b6040860152505f6132d061329b6132c589601b614a25565b61061d8a6028614a25565b9050808560035b602002015250505050505050565b5f5f61334361332b6133136132fe61315e8a6016614a25565b61062261330c8b6017614a25565b8a5161217d565b6106226133218a6018614a25565b896020015161217d565b610622613339896019614a25565b886040015161217d565b91505f61337a61336161335789601c614a25565b8860800151612196565b61062261336f8a6003614a25565b61061d8b6024614a25565b90505f6133a361338b89601d614a25565b6106226133988b5f614a25565b61061d8c6025614a25565b90505f6133cd6133b48a601e614a25565b6106226133c28c6001614a25565b61061d8d6026614a25565b905061340c6133f46133e685610622868d5f015161217d565b610622848c6020015161217d565b6106226134028c6004614a25565b8b6040015161217d565b93505050505f613420613266886021614a25565b90505f613431613266896021614a25565b90505f6134696134506134458b6023614a25565b6106228c6006614a25565b61064061345e8c6023614a25565b61061d8d6006614a25565b90505f61348d61348761347c878961217d565b61061d8d6021614a25565b836121af565b9050613499818861217d565b90505f6134c16134b36134ad8d6006614a25565b8761217d565b6106406134ad8e6022614a25565b90505f6134cf8c6023614a25565b90505f6134df613487838461217d565b60808c0185905260a08c0184905290506134f9818b61217d565b8b6006602002015250505050505050505050505050565b5f61351c5f60016121af565b90505f61352a5f60026121af565b90505f6135385f60036121af565b90505f61355461354988601d614a25565b61064089601c614a25565b90505f61357061356589601e614a25565b6106408a601d614a25565b90505f61358c6135818a601f614a25565b6106408b601e614a25565b90505f6135a861359d8b6024614a25565b6106408c601f614a25565b9050836135b98161061d818b612196565b90506135c98161061d878a612196565b90506135d98161061d8789612196565b90506135ea8161061d8d6008614a25565b90506135f6818a61217d565b60e08b0152508261360b8161061d818b612196565b905061361b8161061d868a612196565b905061362b8161061d8689612196565b905061363c8161061d8d6008614a25565b9050613648818a61217d565b6101008b0152508161365e8161061d818b612196565b905061366e8161061d858a612196565b905061367e8161061d8589612196565b905061368f8161061d8d6008614a25565b905061369b818a61217d565b6101208b015250806136b18161061d818b612196565b90506136c18161061d848a612196565b90506136d18161061d8489612196565b90506136e28161061d8d6008614a25565b90506136ee818a61217d565b610140909a019990995250505050505050505050565b61373d6040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b61374884601d614a25565b815261375584601e614a25565b6020820152613765846024614a25565b6040820152613775846027614a25565b6060820152613785846026614a25565b6080820152613795846025614a25565b60a08201525f6137a6856002614a25565b90505f6137b3865f614a25565b90505f6137c78460400151855f01516121af565b90505f6137dc8560200151866020015161217d565b606086015190915086905f906137f2908061217d565b90505f61381061380a89602001518a6060015161217d565b8861217d565b90505f61382f6138288a60a001518b60400151612196565b8a51612196565b905061383e6134ad828861217d565b905061386561385f61385961385384876121af565b886121af565b84612196565b83612196565b905061388d613882613877838761217d565b61061d8f6009614a25565b61061d60018a6121af565b6101608c015250505050602085015160808601515f916138ac91612196565b90505f6138ca6138c088606001518861217d565b88602001516121af565b90505f6138ee6138da848761217d565b61062261329b8b60a001518c5f01516121af565b905061391661390b613900838c61217d565b61061d8e6009614a25565b61061d6001896121af565b6101808b0152505f91506139379050613930836011612196565b875161217d565b90505f6139448384612196565b90506139508182612196565b90505f61395e83600961217d565b905061398761398161326661397a8b60a001518c5f0151612196565b8b51612196565b826121af565b60c089018190525f906139a29061380a90613877908d61217d565b90506139b58b600b602002015182612196565b6101608c0152505086515f92506139dc9150613930906139d59080612196565b8851612196565b90505f613a1c6139f78361061d8a5f01518b60a001516121af565b602089015161064090613a0a9080612196565b61061d8b602001518c60800151612196565b9050613a3989600c602002015161062261380a613877858d61217d565b89600c602002015250505050505050505050565b613ab7604051806101e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b613acf613ac586601e614a25565b856040015161217d565b808252613aee90610622613ae488601d614a25565b876020015161217d565b808252613b039061062261393088601c614a25565b808252613b1590610622876001614a25565b80825260208201819052613b2e9061064087601f614a25565b8152613b49613b3e866024614a25565b61064087601c614a25565b6080820152613b67613b5c866027614a25565b61064087601f614a25565b60608201526080810151613b8990613b7f908061217d565b82608001516121af565b6101c08201526080810151613bc990613bbf90613bb89061061d60015f5160206153cb5f395f51905f526150dc565b6001612196565b826060015161217d565b60a08201819052613bff90613bf19061061d613be6896002614a25565b61061d8a6003614a25565b61061d61329b88600a614a25565b83600e60200201526101c0810151613c2390613bf19061061d613be6896002614a25565b6101e08401528051613c489061061d613c3d886002614a25565b61061d896003614a25565b6101208201525f613c67613c5d87601f614a25565b83602001516121af565b9050613c76613981828361217d565b60e0830152613c93613c89876026614a25565b866040015161217d565b60408301819052613cb690610622613cac896025614a25565b886020015161217d565b60408301819052613cd690610622613ccf896024614a25565b885161217d565b6040830152613cf3613ce9876027614a25565b83604001516121af565b60408301525f613d12613d07886026614a25565b61064089601e614a25565b9050613d64613d3f612fb4613bb8866080015160015f5160206153cb5f395f51905f5261061d91906150dc565b61061d613bb8866040015160015f5160206153cb5f395f51905f5261061d91906150dc565b60c08401526040830151613d8690613d7c908061217d565b84604001516121af565b61010084015260c0830151613db290613da49061061d8a6007614a25565b61061d6134ad8a600a614a25565b6102008601526101c0830151613dd190613da49061061d8a6007614a25565b610220860152610100830151613df090613da49061061d8a6007614a25565b61024086015260e0830151613e0a9061061d896007614a25565b610140840152613e29613e1e886025614a25565b61064089601d614a25565b6101608401526080830151613e6790613d0790613e5c90613bb89061061d60015f5160206153cb5f395f51905f526150dc565b85610160015161217d565b61018084018190526101208401516101a08501819052613e9e916106229061061d613e938c6005614a25565b61061d8d6002614a25565b6101a084018190528351613ebe91906106229061061d613e938c5f614a25565b6101a08401819052610140840151613ed69190612196565b6101a08401819052613ef09061061d6134ad8a600a614a25565b6101a0840181905285600d6132d7565b613f396040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b613f6e613f55613f4a87601c614a25565b61061d886025614a25565b610622613f63886024614a25565b61061d89601d614a25565b8152613fb3613fa8613f8f613f8488601c614a25565b61061d89601f614a25565b610622613f9d89601d614a25565b61061d8a601e614a25565b610640876026614a25565b60408201819052613fc890600160441b61217d565b60408201819052613fde90610640876027614a25565b604082018190528151613ff19190612196565b604082018190526140079061061d876005614a25565b6040820152805161401c90600160441b61217d565b80825261403c90610622614031886024614a25565b61061d896025614a25565b808252602082018190526140589061064061308c88601e614a25565b6020820181905261406e9061061d876004614a25565b602082015280516060820181905261408b9061062287601f614a25565b606082018190526140af906106406140a4886026614a25565b610622896027614a25565b606082018190526140c49061061d875f614a25565b8160600181815250505f6140ed6140e383602001518460400151612196565b8360600151612196565b90506140fe8161061d886003614a25565b905061411661410e876025614a25565b61400061217d565b6080830181905261412c90610622886024614a25565b6080830181905261413f9061400061217d565b608083018190526141559061062288601e614a25565b608083018190526141689061400061217d565b6080830181905261417e9061062288601d614a25565b608083018190526141919061400061217d565b608083018190526141a79061062288601c614a25565b608083018190526141bd9061064088601f614a25565b608083018190526141d39061061d886005614a25565b60808301526141e661410e876026614a25565b60a083018190526141fc90610622886025614a25565b60a0830181905261420f9061400061217d565b60a0830181905261422590610622886024614a25565b60a083018190526142389061400061217d565b60a0830181905261424e9061062288601f614a25565b60a083018190526142619061400061217d565b60a083018190526142779061062288601e614a25565b60a0830181905261428d90610640886027614a25565b60a083018190526142a29061061d885f614a25565b60a0830181905260808301515f916142ba9190612196565b90506142cb8161061d896004614a25565b90506142d78282612196565b60c084018190526142f09061061d6134ad8a600b614a25565b60c084018190528560136132d7565b6143756040518061022001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b61438e61438385601c614a25565b610622866002614a25565b81526143a961439e85601d614a25565b610622866003614a25565b60208201526143c76143bc85601e614a25565b610622866004614a25565b60408201526143e56143da85601f614a25565b610622866005614a25565b60608201528051614417906144109061440990614402908061217d565b845161217d565b835161217d565b825161217d565b608082015260208101516144559061444b9061444190614437908061217d565b846020015161217d565b836020015161217d565b826020015161217d565b60a08201526040810151614493906144899061447f90614475908061217d565b846040015161217d565b836040015161217d565b826040015161217d565b60c082015260608101516144c790613bbf906144bd906144b3908061217d565b846060015161217d565b836060015161217d565b60e0820152608081015160a08201516144e09190612196565b61010082015260c081015160e08201516144fa9190612196565b61012082015260a081015161451e906145139080612196565b826101200151612196565b61014082015260e0810151614542906145379080612196565b826101000151612196565b6101608201526101208101516145589080612196565b6101e082018190526145799061456e9080612196565b826101600151612196565b6101e082015261010081015161458f9080612196565b6101a082018190526145b0906145a59080612196565b826101400151612196565b6101a082018190526101608201516145c791612196565b6101808201526101408101516101e08201516145e39190612196565b6101c08201526145f7612fb485600c614a25565b6102008201819052610280840151610180830151614622926106229161061d906106408a6024614a25565b8360146020020152614652836015602002015161062283610200015161061d856101a001516106408a6025614a25565b8360156020020152614682836016602002015161062283610200015161061d856101c001516106408a6026614a25565b83601660200201526146b2836017602002015161062283610200015161061d856101e001516106408a6027614a25565b836017602002015250505050565b6147126040518061016001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f60405180608001604052806147477f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e761215f565b81526020016147757f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b61215f565b81526020016147a27e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac1561215f565b81526020016147d07f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b61215f565b905290506147ed6147e286601c614a25565b610622876002614a25565b610120830181905261482c90614821906148169061480b908061217d565b85610120015161217d565b84610120015161217d565b83610120015161217d565b825261483985601d614a25565b602083015261484985601e614a25565b604083015261485985601f614a25565b606083015281516020830151614881916140e3916148779190612196565b8460400151612196565b608083015261489461326686600d614a25565b61014083015281516148b5906148ab90835f610ee9565b8360800151612196565b60a08301526148e1846018602002015161062284610140015161061d8660a001516106408b6024614a25565b61030085015260208201516148fc906148ab90836001610ee9565b60c0830152614928846019602002015161062284610140015161061d8660c001516106408b6025614a25565b6103208501526040820151614943906148ab90836002610ee9565b60e083015261496f84601a602002015161062284610140015161061d8660e001516106408b6026614a25565b610340850152606082015161498a906148ab90836003610ee9565b6101008301526149b884601b602002015161062284610140015161061d8661010001516106408b6027614a25565b84601b6130ed565b5f6149cc8184816108b3565b905060015b601c811015614a1e57614a14826106228684601c81106149f3576149f3615129565b602002015186614a046001876150dc565b601b8110610ee957610ee9615129565b91506001016149d1565b5092915050565b5f82826028811115614a3957614a39615376565b60298110614a4957614a49615129565b60200201519392505050565b604051806103e001604052805f81526020015f81526020015f8152602001614a7b614efe565b8152602001614a88614efe565b8152602001614a95614efe565b8152602001614aa2614efe565b8152602001614aaf614efe565b8152602001614abc614efe565b8152602001614ac9614efe565b8152602001614ad6614efe565b8152602001614ae3614efe565b8152602001614af0614efe565b8152602001614afd614efe565b8152602001614b0a614efe565b8152602001614b17614efe565b8152602001614b24614efe565b8152602001614b31614efe565b8152602001614b3e614efe565b8152602001614b4b614efe565b8152602001614b58614efe565b8152602001614b65614efe565b8152602001614b72614efe565b8152602001614b7f614efe565b8152602001614b8c614efe565b8152602001614b99614efe565b8152602001614ba6614efe565b8152602001614bb3614efe565b8152602001614bc0614efe565b8152602001614bcd614efe565b8152602001614bda614efe565b905290565b604051806101e00160405280614bf3614f35565b8152602001614c00614db3565b8152602001614c0d614db3565b8152602001614c1a614db3565b8152602001614c27614db3565b8152602001614c34614db3565b8152602001614c41614db3565b8152602001614c4e614db3565b8152602001614c5b614db3565b8152602001614c68614f54565b8152602001614c75614f82565b8152602001614c82614fa1565b8152602001614c8f614e45565b8152602001614c9c614db3565b8152602001614bda614db3565b604051806101000160405280614cbd614dd7565b8152602001614cca614e07565b8152602001614cd7614e45565b8152602001614ce4614e45565b81526020015f81526020015f81526020015f81526020015f81525090565b6040518061018001604052805f81526020015f81526020015f81526020015f81526020015f8152602001614d34614fcf565b8152602001614d41614fcf565b81526020015f81526020015f81526020015f81526020015f8152602001614bda614e45565b604051806108e001604052806047906020820280368337509192915050565b604051806108e001604052806047905b614d9d614efe565b815260200190600190039081614d955790505090565b60405180608001604052805f81526020015f81526020015f81526020015f81525090565b6040518060c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b604051806103600160405280601b906020820280368337509192915050565b6040518061012001604052806009906020820280368337509192915050565b604051806103800160405280601c906020820280368337509192915050565b604051806105400160405280602a906020820280368337509192915050565b60405180610da00160405280606d906020820280368337509192915050565b604051806103a00160405280601d906020820280368337509192915050565b6040518060a001604052806005906020820280368337509192915050565b6040518061010001604052806008906020820280368337509192915050565b60405180604001604052805f81526020015f81525090565b604051806101a00160405280600d906020820280368337509192915050565b6040518061020001604052806010906020820280368337509192915050565b604051806103800160405280601c905b614f6c614edf565b815260200190600190039081614f645790505090565b6040518061052001604052806029906020820280368337509192915050565b604051806103600160405280601b905b614fb9614db3565b815260200190600190039081614fb15790505090565b60405180608001604052806004906020820280368337509192915050565b5f5f5f5f60408587031215615000575f5ffd5b84356001600160401b03811115615015575f5ffd5b8501601f81018713615025575f5ffd5b80356001600160401b0381111561503a575f5ffd5b87602082840101111561504b575f5ffd5b6020918201955093508501356001600160401b0381111561506a575f5ffd5b8501601f8101871361507a575f5ffd5b80356001600160401b0381111561508f575f5ffd5b8760208260051b84010111156150a3575f5ffd5b949793965060200194505050565b634e487b7160e01b5f52601160045260245ffd5b8082028115828204841417612177576121776150b1565b81810381811115612177576121776150b1565b80820180821115612177576121776150b1565b5f5f85851115615110575f5ffd5b8386111561511c575f5ffd5b5050820193919092039150565b634e487b7160e01b5f52603260045260245ffd5b5f6001820161514e5761514e6150b1565b5060010190565b80356020831015612177575f19602084900360031b1b1692915050565b5f8183825b6009811015615196578151835260209283019290910190600101615177565b5050506101208201905092915050565b634e487b7160e01b5f52601260045260245ffd5b5f826151c8576151c86151a6565b500490565b5f8183825b602a8110156151f15781518352602092830192909101906001016151d2565b5050506105408201905092915050565b5f8183825b606d811015615225578151835260209283019290910190600101615206565b505050610da08201905092915050565b5f8183825b601d81101561525957815183526020928301929091019060010161523a565b5050506103a08201905092915050565b5f8183825b600581101561528d57815183526020928301929091019060010161526e565b50505060a08201905092915050565b5f826152aa576152aa6151a6565b500690565b5f816152bd576152bd6150b1565b505f190190565b5f82518060208501845e5f920191825250919050565b5f602082840312156152ea575f5ffd5b81518015158114611a4c575f5ffd5b634e487b7160e01b5f52604160045260245ffd5b81515f90829060208501835b82811015615337578151845260209384019390910190600101615319565b509195945050505050565b5f8183825b600d811015615366578151835260209283019290910190600101615347565b5050506101a08201905092915050565b634e487b7160e01b5f52602160045260245ffdfe696e76616c6964206e756d626572206f6620627974657320746f20636f6e737430644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4730644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001";
/**

@@ -6,0 +6,0 @@ * HonkVerifier link references.

2

dest/HonkVerifierBytecode.js
/**
* HonkVerifier bytecode.
*/ export const HonkVerifierBytecode = "0x60e060405234801561000f575f5ffd5b506302000000608052601960a05260ae60c05260805160a05160c0516152e56100605f395f818160d6015261065001525f818161075b01528181610d030152610da001525f6105f401526152e55ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b366004614ee7565b610054565b604051901515815260200160405180910390f35b5f6100626101c86020614fbf565b8414610081576040516376ba560560e11b815260040160405180910390fd5b5f61008a6101c1565b90505f61009787876101d6565b9050601082604001516100aa9190614fd6565b84146100c95760405163fa06659360e01b815260040160405180910390fd5b5f6100fc828787865f01517f0000000000000000000000000000000000000000000000000000000000000000600161052f565b905061014c8686808060200260200160405190810160405280939291908181526020018383602002808284375f9201919091525050855185516060810151608090910151919350915060016105de565b815160a001525f61015d8383610753565b90508061017d576040516313f8744360e31b815260040160405180910390fd5b5f610189848685610854565b9050806101a9576040516352ec174560e11b815260040160405180910390fd5b8180156101b35750805b9a9950505050505050505050565b6101c961493d565b6101d161109e565b905090565b6101de614aba565b5f805b60108110156102405761020d8583866101fb826020614fe9565b9261020893929190614ffc565b611985565b8351826010811061022057610220615023565b6020020181815250506020826102369190614fe9565b91506001016101e1565b50610264848285610252826080614fe9565b9261025f93929190614ffc565b6119f3565b6020830152610274608082614fe9565b9050610287848285610252826080614fe9565b6040830152610297608082614fe9565b90506102aa848285610252826080614fe9565b60608301526102ba608082614fe9565b90506102cd848285610252826080614fe9565b60c08301526102dd608082614fe9565b90506102f0848285610252826080614fe9565b60e0830152610300608082614fe9565b9050610313848285610252826080614fe9565b6080808401919091526103269082614fe9565b9050610339848285610252826080614fe9565b61010083015261034a608082614fe9565b905061035d848285610252826080614fe9565b60a083015261036d608082614fe9565b90505f5b601c8110156103ec575f5b60088110156103e3576103968684876101fb826020614fe9565b84610120015183601c81106103ad576103ad615023565b602002015182600881106103c3576103c3615023565b6020020181815250506020836103d99190614fe9565b925060010161037c565b50600101610371565b505f5b6028811015610440576104098583866101fb826020614fe9565b836101400151826028811061042057610420615023565b6020020181815250506020826104369190614fe9565b91506001016103ef565b505f5b61044f6001601c614fd6565b81101561049857610467858386610252826080614fe9565b83610160015182601b811061047e5761047e615023565b602002015261048e608083614fe9565b9150600101610443565b505f5b601c8110156104ec576104b58583866101fb826020614fe9565b83610180015182601c81106104cc576104cc615023565b6020020181815250506020826104e29190614fe9565b915060010161049b565b506104fe848285610252826080614fe9565b6101a083015261050f608082614fe9565b9050610522848285610252826080614fe9565b6101c08301525092915050565b610537614b84565b5f61054788888888888887611ad2565b90835290506105568189611b28565b6020840191909152905061056981611c79565b6040840191909152905061057d8882611cda565b606084019190915290506105918882611dae565b608084019190915290506105a58882611e39565b60a084019190915290506105b98882611fa7565b60c084019190915290506105cd8882612019565b5060e0830152509695505050505050565b5f60018082610627866106228961061d6106188a7f0000000000000000000000000000000000000000000000000000000000000000614fe9565b612070565b61208e565b6120a7565b90505f610645876106408a61061d6106188b6001614fe9565b6120c0565b90505f5b61067460107f0000000000000000000000000000000000000000000000000000000000000000614fd6565b8110156106e1575f61069e8c838151811061069157610691615023565b6020026020010151612070565b90506106ae8661061d86846120a7565b95506106be8561061d85846120a7565b94506106ca848b6120a7565b93506106d6838b6120c0565b925050600101610649565b505f5b6010811015610748575f8a826010811061070057610700615023565b602002015190506107158661061d86846120a7565b95506107258561061d85846120a7565b9450610731848b6120a7565b935061073d838b6120c0565b9250506001016106e4565b506101b384846120ef565b5f806001815b7f000000000000000000000000000000000000000000000000000000000000000081101561082a575f86610120015182601c811061079957610799615023565b602002015190505f6107ab82866120fd565b9050806107cb576040516313f8744360e31b815260040160405180910390fd5b5f876060015184601c81106107e2576107e2615023565b602002015190506107f3838261211a565b955061081a886040015185601c811061080e5761080e615023565b602002015186836122c9565b9450505050806001019050610759565b505f610844866101400151865f01518760200151856122f4565b90508281145b9695505050505050565b5f61085d614bdd565b5f61086b8460a00151612362565b9050610875614c41565b61087d614c60565b60e086015161089c9061089790855f5b60200201516120c0565b6123c7565b60e0808601919091528601516108bd9061089790855f5b60200201516120a7565b610100850181905260e085015160c08801516108dd92610622919061208e565b845260a086015161090c906108f1906123c7565b61061d8660e001516106408a60c0015189610100015161208e565b6020850152600182526101a088015161092490612430565b81526001606085018190525f60808601525b602381116109dc5761095761094d865f015161246f565b866060015161208e565b83826046811061096957610969615023565b602002015260808501516101408a01516109ac91906106229061098d600186614fd6565b6028811061099d5761099d615023565b6020020151886060015161208e565b8560800181815250506109c78560600151886080015161208e565b60608601526109d581615037565b9050610936565b505f6109ea60236001614fe9565b90505b60288111610a6b57610a0561094d866020015161246f565b838260468110610a1757610a17615023565b602002015260808501516101408a0151610a3b91906106229061098d600186614fd6565b856080018181525050610a568560600151886080015161208e565b6060860152610a6481615037565b90506109ed565b50606087015181600160200201526080870151816002602002015260a0870151816003602002015260c0870151816004602002015260e0870151816005602002015261010087015181600660200201526101208701518160076020020152610140870151816008602002015261016087015181600960200201526101a087015181600a602002015261018087015181600b60200201526101c087015181600c60200201526101e087015181600d602002015261020087015181600e602002015261022087015181600f60200201526102408701518160106020020152610260870151816011602002015261028087015181601260200201526102a087015181601360200201526102c087015181601460200201526102e08701518160156020020152610300870151816016602002015261032087015181601760200201526103408701518160186020020152610360870151816019602002015261038087015181601a60200201526103a087015181601b6020020181905250610bf18860200151612430565b6103808201526040880151610c0590612430565b6103a08201526060880151610c1990612430565b6103c08201526080880151610c2d90612430565b6103e082015260a0880151610c4190612430565b610400820152610100880151610c5690612430565b61042082015260c0880151610c6a90612430565b61044082015260e0880151610c7e90612430565b6104608201526020880151610c9290612430565b6104808201526040880151610ca690612430565b6104a08201526060880151610cba90612430565b6104c08201526080880151610cce90612430565b6104e082015260a0880151610ce290612430565b610500820152606086015160808501516101808a01515f92610d27929091877f0000000000000000000000000000000000000000000000000000000000000000612487565b805160e0870151919250610d3a9161208e565b604086018190526101808a01515160c0890151610d6b929161062291610d60919061208e565b88610100015161208e565b604086015260c0870151610d7e906125a2565b60608601525f5b610d916001601c614fd6565b811015610f99575f610dc460017f0000000000000000000000000000000000000000000000000000000000000000614fd6565b821015905080610f3f57610df76108978a60e0015188856001610de79190614fe9565b601c811061088d5761088d615023565b60e080890191909152890151610e27906108979088610e17866001614fe9565b601c81106108b3576108b3615023565b610100880152606087015160e0880151610e41919061208e565b610120880152606087015160c08a0151610e5e91610d609161208e565b6101408801819052610e8190610e739061246f565b61062289610120015161246f565b8583610e8f60286001614fe9565b610e999190614fe9565b60468110610ea957610ea9615023565b60200201526101408701516101808c01515f91610ee591610ecb866001614fe9565b601c8110610edb57610edb615023565b602002015161208e565b9050610f02816106228a610120015187876001610ecb9190614fe9565b9050610f128860400151826120a7565b6040890152606088015160c08b0151610f3891610f2e9161208e565b8b60c0015161208e565b6060890152505b610f638b610160015183601b8110610f5957610f59615023565b6020020151612430565b8483610f7160286001614fe9565b610f7b9190614fe9565b60468110610f8b57610f8b615023565b602002015250600101610d85565b5060408051808201909152600181526002602082015282610fbc601c6028614fe9565b60468110610fcc57610fcc615023565b6020020152604085015183610fe3601c6028614fe9565b60468110610ff357610ff3615023565b60200201526101c08901515f9061100990612430565b90508083611019601c6028614fe9565b611024906001614fe9565b6046811061103457611034615023565b602002015260e08801518461104b601c6028614fe9565b611056906001614fe9565b6046811061106657611066615023565b60200201525f61107684866125ad565b90505f61108283612673565b905061108e82826126b9565b9c9b505050505050505050505050565b6110a661493d565b50604080516103c08101825263020000008152601960208083019190915260ae82840152825180840184527f22696def6ba042691d7acd6fa25934fe1c9e5de5c469612391ebd22c48be0f8081527f2dc236171d93e509ede0fd359d1d47271883927333e7669bf48f0784fadb673c818301526060830152825180840184527f0bc785e8f051e28438dae007d21d94441afc7b888c94e2e6a3befd5e835c362a81527f2db6375b7cac58eef6ee93462a215d18a6f53e104ee53c527aa6b87f070effac818301526080830152825180840184527f12b7b6d578593ed283c59e2eb69176e9cde8068f657d228a935b6f0fc2b43baa81527f214a606183ed469bcc1d34c77fdbace499f918bd9726d4459d2d7c91a518b2738183015260a0830152825180840184527f18f8c2805dee1fdea805a4173d12643b1b24bb352374859851703ff77fb0ac1e81527f1f3aa367e3de395b1f684432c49a16e9f30292beeb15f25b186c9472c072bde68183015260c0830152825180840184527f0e410bf26af1978d4ca2440c6f55406c8fb930ecb1f052480c221c50c0289d6c81527f089da36b9216fb5679acaa2f41291689d394af1bc2fae9db4d5540fa956020a48183015260e0830152825180840184527f0da8119fa8fc399f4904cec5e1d0b9aaefe7256297a2151d61612b7002f400af81527f2596c9a11637799c8ad71ff6fea1f96f36def0b3ec40a1b71c623ef388fe83dc81830152610100830152825180840184527f107d2d79c20982125b9f302008ecbd7b7f25eebc71271311c28f58223170c78b81527f0f3c9104533084fca88d92d900c94cb1400899b1c3c2b40cf32807f7d8517f4781830152610120830152825180840184527f1951fc625025ca763cac91d30a1574a060830934789bd547a43b2103a7e84beb81527f0486f6b8c90f9363d898ee8964f3fed10a67d63de21cf285004abca9a9731d2981830152610140830152825180840184527f0354da312985896e31fbfbd7131af497a257877abe81dcb4aa8e8fbdd13b051481527f25d6652f1323d49067e2fec59e422d6796344df25044821e1e7408d9bd3f3cfb81830152610160830152825180840184527f22df977d5ef467d4731103a23e9d2137539cf9a112de5ccceef105a59790e40781527f1f3652575e985375d282d5bbeec17a6bbff3257ed22ef54134c8f0640e47338281830152610180830152825180840184527f27cc327364079b1e7d81a8962fe981187c2a331197513451a2372a8ef3ed3e7381527f0c7865e5b377f695a60ac352a193f9bbdb722d538a0fdfe34ca9455cecc3cf31818301526101a0830152825180840184527f1e864805831de2f312142f0cdb28d9799ed4758ccec32456aeb71e6c214454f881527f1e043e1fab8ff92cd7091ce6cc4a06291f3b408ccb87a104a42e48ba961f3cf9818301526101c0830152825180840184527f2316113dac58cacfbf02275257d1bf07154876a7e4d7b5aec9e63ae5134ab94581527f1cf38b5f697f6d2bd3f06e46c9fe03c93acf1556b0677848314130e53e1f27b5818301526101e0830152825180840184527f20c9b6a09e4cd18ea34483a257722597242273cd7baf010a60f09fd25e388a9581527f19bae9fba8320ce1a68d5317604c8f5d8a94ebb0b87955970285015abb2af9bb81830152610200830152825180840184527f1f7006852e1afaad20d30ce0e37a0c19384fdb779e7c3888141e7121059b4ed681527f0dddfa19796d5302b78797d3cc38975a59d37d73f5e1a67d64256dce2c8c1fc481830152610220830152825180840184527f2a754f9f52c759f0b70df69f50194b475e822c6272667e31e22e843b66ddf74381527f1938e68acc23ed0ee57a5ced4f2e12a6751da1e7ea3d8e76f6a709003798e3a681830152610240830152825180840184527f1d019605ead26ec05976012bc6a62878235d2e1f14cd7a58c6acd4c7ab28523881527f1893a0c07f22d3bb10acbe0b6c417df8b78b8a1ee6a56d3ab18f36557af0ac2781830152610260830152825180840184527f29e324a26d863a2390f2ed2c2a7823d65aa877934064c8d27ce0cfd90f116d5a81527f036ae82a7c729b2588a5ec964632703a38a3b49dca955f1f96b82867c1ff1e0a81830152610280830152825180840184527f0a654cd867ee3d600ef4c89eb02d71420f08a6acaa5f39f96f99bfd07cc35e4181527f01a061aaff968b4eb5d9146cef0d4b6c538d53a26e1ba71bbbd376d4214d1983818301526102a0830152825180840184527f074d9534828a7c8ec0c6064d640447b700311f108d67def19fceeb734592c53f81527f1ff29032983e9aab2e25db7eef479799e4039c100284fe877ed78a3e8b057696818301526102c0830152825180840184527f1176bf2829bd97cca0a9b315335df4a1a368e63255c2e697f0f70a24aee9e6eb81527f179efce3df1390e0ab671ede6889762c35a1a811e8f15cd671c41df987a0f38c818301526102e0830152825180840184527f275a0bb22f8c37a3476d71c556d266909fdde001df48d48a78940343ccb0b48a81527f2a4cc2119d1bd729845e8630c5b1aec652a2f2a7ae690c52238e3eafd44b385681830152610300830152825180840184527f1e1d6ac562a951aa01bc279a090d34488936a6404b3c75294fd260df0d36689381527f1643515b25c47e776b6d99eb3ce8b4613b209886681842e5c39ee92efe72c27281830152610320830152825180840184527f09d569252b4b229e483b00b1e67384ac4db29395d32e28c82f8b73983d30ac6b81527f2c47d5809e56ba32be655d4177db195bb450fd12587756c4b85b6506a7844ddb81830152610340830152825180840184527f1f59b85de9212665c6c3e59fb35ab6609d72f5ad8007449dc8019a5886fad88f81527f21c9b787b5e0109e8ab3c2293b8c67fa9ec871818722fb8bea77aa6477aaae4c81830152610360830152825180840184526001815260028183015261038083015282518084019093527f27d06697a891eae97032a6d3b390cedea50b8bcc9e6bc3b810905f4a265f4d1583527f11fe9108de55a1aeeebde848798ad77b7b21c3622180619df21c6f97f8bddf0d908301526103a081019190915290565b5f602082146119df5760405162461bcd60e51b815260206004820152602e60248201525f5160206152855f395f51905f5260448201526d393ab1ba1023391039b1b0b630b960911b60648201526084015b60405180910390fd5b6119ec610618838561504f565b9392505050565b6119fb614c8e565b60808214611a505760405162461bcd60e51b815260206004820152602f60248201525f5160206152855f395f51905f5260448201526e1c9d58dd08184811cc481c1bda5b9d608a1b60648201526084016119d6565b604080516080810190915280611a6960205f8688614ffc565b611a729161504f565b8152602090810190611a88906040908688614ffc565b611a919161504f565b8152602001611aa4606060408688614ffc565b611aad9161504f565b8152602001611ac0608060608688614ffc565b611ac99161504f565b90529392505050565b611ada614cb2565b5f611ae98989898989896128ad565b604086019190915260208501919091529083529250611b08838a612d53565b608085019190915260608401919091529199919850909650505050505050565b611b30614ce2565b5f611b39614d01565b848152610100848101805151602080850191909152815181015160408086019190915282518101516060808701919091529251830151608086015260a080890180515191870191909152805183015160c0870152805182015160e087015251909201519284019290925251611bcf91611bb49184910161506c565b60405160208183030381529060405280519060200120612070565b9150611bda82612e22565b6020850152835260015b611bf06002601a6150b4565b811015611c7057611c0d83604051602001611bb491815260200190565b9250611c1883612e22565b85611c24846002614fbf565b601a8110611c3457611c34615023565b6020020186611c44856002614fbf565b611c4f906001614fe9565b601a8110611c5f57611c5f615023565b602002019190915252600101611be4565b50509250929050565b611c81614d20565b5f805b601c811015611cd357611ca384604051602001611bb491815260200190565b93505f611caf85612e22565b8584601c8110611cc157611cc1615023565b60200201919091525050600101611c84565b5090929050565b611ce2614d20565b5f805b601c811015611da557611cf6614d01565b8481525f5b6008811015611d5f5786610120015183601c8110611d1b57611d1b615023565b60200201518160088110611d3157611d31615023565b602002015182611d42836001614fe9565b60098110611d5257611d52615023565b6020020152600101611cfb565b50611d7481604051602001611bb4919061506c565b94505f611d8086612e22565b8685601c8110611d9257611d92615023565b6020020191909152505050600101611ce5565b50909391925050565b5f5f611db8614d3f565b8381525f5b6028811015611e0b578561014001518160288110611ddd57611ddd615023565b602002015182611dee836001614fe9565b60298110611dfe57611dfe615023565b6020020152600101611dbd565b50611e2081604051602001611bb491906150c7565b91505f611e2c83612e22565b5096929550919350505050565b5f5f611e43614d5e565b8381525f5b611e546001601c614fd6565b811015611f925785610160015181601b8110611e7257611e72615023565b60200201515182611e84836004614fbf565b611e8f906001614fe9565b606d8110611e9f57611e9f615023565b602002015261016086015181601b8110611ebb57611ebb615023565b60200201516020015182826004611ed29190614fbf565b611edd906002614fe9565b606d8110611eed57611eed615023565b602002015261016086015181601b8110611f0957611f09615023565b60200201516040015182611f1e836004614fbf565b611f29906003614fe9565b606d8110611f3957611f39615023565b602002015261016086015181601b8110611f5557611f55615023565b60200201516060015182611f6a836004614fbf565b611f75906004614fe9565b606d8110611f8557611f85615023565b6020020152600101611e48565b50611e2081604051602001611bb491906150fb565b5f5f611fb1614d7d565b8381525f5b601c8110156120045785610180015181601c8110611fd657611fd6615023565b602002015182611fe7836001614fe9565b601d8110611ff757611ff7615023565b6020020152600101611fb6565b50611e2081604051602001611bb4919061512f565b5f5f612023614d9c565b8381526101a085018051516020808401919091528151810151604080850191909152825181015160608086019190915292519092015160808401529051611e2091611bb491849101615163565b5f6120885f5160206152c55f395f51905f5283615196565b92915050565b5f5f5160206152c55f395f51905f528284099392505050565b5f5f5160206152c55f395f51905f528284089392505050565b5f5f5160206152c55f395f51905f526120e6835f5160206152c55f395f51905f52614fd6565b84089392505050565b5f6119ec8361061d846123c7565b81515f90819061210f908560016108b3565b929092149392505050565b60408051610100810182527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec5181526102d060208201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff1191810191909152609060608201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71608082015260f060a08201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd3160c08201526113b060e08201525f906001825b6008811015612201576121f78261061d87846120c0565b91506001016121e0565b5061220a614dba565b5f5b600881101561226b575f84826008811061222857612228615023565b6020020151905061223d8161061d89856120c0565b9050612248816123c7565b90508083836008811061225d5761225d615023565b60200201525060010161220c565b505f5b60088110156122be575f87826008811061228a5761228a615023565b602002015190506122a781848460088110610edb57610edb615023565b90506122b386826120a7565b95505060010161226e565b5061084a848361208e565b5f5f6122df60016106228561061d8960016120c0565b90506122eb848261208e565b95945050505050565b5f6122fd614dd9565b612308868285612e52565b61231486868386612ffe565b612320868683866131e6565b61232b868285613411565b612336868285613605565b6123428686838661394e565b61234d8682856141e8565b6123588682856145b3565b61084a81856148a8565b61236a614d20565b81815260015b601c8110156123c1576123a282612388600184614fd6565b601c811061239857612398615023565b60200201516125a2565b8282601c81106123b4576123b4615023565b6020020152600101612370565b50919050565b5f5f8290505f604051602081526020808201526020604082015282606082015260025f5160206152c55f395f51905f520360808201525f5160206152c55f395f51905f5260a082015260205f60c08360055afa905080612425575f5ffd5b50505f519392505050565b612438614df8565b604051806040016040528060888460200151901b845f015117815260200160888460600151901b8460400151178152509050919050565b5f612088825f5160206152c55f395f51905f52614fd6565b61248f614d20565b601c5b8015612598575f846124a5600184614fd6565b601c81106124b5576124b5615023565b602002015190505f886124c9600185614fd6565b601c81106124d9576124d9615023565b602002015190505f6125346124f86124f1858c61208e565b600261208e565b6106408a612507600189614fd6565b601c811061251757612517615023565b602002015161061d61252e8861061d60018a6120c0565b876120c0565b90506125558161061d61089761254f8761061d6001896120c0565b866120a7565b905085841161258457975087808561256e600187614fd6565b601c811061257e5761257e615023565b60200201525b50505080612591906151a9565b9050612492565b5095945050505050565b5f612088828361208e565b6125b5614df8565b5f6125c2601c6028614fe9565b6125cd906002614fe9565b90506001604051855151604082015285516020015160608201528451608082015260408160606040840160075afa8216915060015b8381101561265b5760208102870160208202870181515160408501528151602001516060850152805160808501525050604080830160606040850160075afa8316925060408260808460065afa90921691600101612602565b50805184526020810151602085015250505092915050565b61267b614df8565b5f5160206152a55f395f51905f5282602001515f5160206152a55f395f51905f526126a69190614fd6565b6126b09190615196565b60208301525090565b81516020808401518351848301516040805194850195909552938301919091527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c260608301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60808301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60a08301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60c083015260e08201526101008101919091527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c16101208201527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b06101408201527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe46101608201527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101808201525f9081906101a00160405160208183030381529060405290505f5f60086001600160a01b03168360405161284f91906151be565b5f60405180830381855afa9150503d805f8114612887576040519150601f19603f3d011682016040523d82523d5f602084013e61288c565b606091505b509150915081801561084a57508080602001905181019061084a91906151d4565b5f808080806128bd876003614fe9565b6128c890600c614fe9565b6001600160401b038111156128df576128df6151f3565b604051908082528060200260200182016040528015612908578160200160208202803683370190505b509050875f1b815f8151811061292057612920615023565b602002602001018181525050865f1b8160018151811061294257612942615023565b602002602001018181525050855f1b8160028151811061296457612964615023565b60209081029190910101525f5b61297c601089614fd6565b8110156129cd578a8a8281811061299557612995615023565b90506020020135828260036129aa9190614fe9565b815181106129ba576129ba615023565b6020908102919091010152600101612971565b505f5b6010811015612a3e578b516129f89082601081106129f0576129f0615023565b602002015190565b82826010612a078c6003614fe9565b612a119190614fd6565b612a1b9190614fe9565b81518110612a2b57612a2b615023565b60209081029190910101526001016129d0565b5060208b01515181612a51896003614fe9565b81518110612a6157612a61615023565b6020908102919091018101919091528b810151015181612a82896003614fe9565b612a8d906001614fe9565b81518110612a9d57612a9d615023565b6020908102919091018101919091528b01516040015181612abf896003614fe9565b612aca906002614fe9565b81518110612ada57612ada615023565b6020908102919091018101919091528b01516060015181612afc896003614fe9565b612b07906003614fe9565b81518110612b1757612b17615023565b602090810291909101015260408b01515181612b34896003614fe9565b612b3f906004614fe9565b81518110612b4f57612b4f615023565b60209081029190910181019190915260408c0151015181612b71896003614fe9565b612b7c906005614fe9565b81518110612b8c57612b8c615023565b60209081029190910101526040808c0151015181612bab896003614fe9565b612bb6906006614fe9565b81518110612bc657612bc6615023565b602090810291909101015260408b01516060015181612be6896003614fe9565b612bf1906007614fe9565b81518110612c0157612c01615023565b602090810291909101015260608b01515181612c1e896003614fe9565b612c29906008614fe9565b81518110612c3957612c39615023565b60209081029190910181019190915260608c0151015181612c5b896003614fe9565b612c66906009614fe9565b81518110612c7657612c76615023565b602090810291909101015260608b01516040015181612c96896003614fe9565b612ca190600a614fe9565b81518110612cb157612cb1615023565b60209081029190910101526060808c0151015181612cd0896003614fe9565b612cdb90600b614fe9565b81518110612ceb57612ceb615023565b602002602001018181525050612d0b81604051602001611bb49190615207565b9150612d1682612e22565b6040805160208101869052929750909550612d319101611bb4565b91505f612d3d83612e22565b50959c949b509499509097509195505050505050565b5f5f5f612d5e614e10565b85815260c085810180515160208085019190915281518101516040808601919091528251810151606080870191909152925183015160808087019190915260e0808b0180515160a089015280518501519688019690965285518301519087015293518301516101008601529288018051516101208601528051820151610140860152805184015161016086015251909101516101808401529051612e0891611bb49184910161523c565b9150612e1382612e22565b90979096509194509092505050565b5f80826001600160801b038116608082901c612e3d82612070565b9450612e4881612070565b9350505050915091565b5f612e5e84600761490d565b90507f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f80000005f612ebf612eb9612e938560036120c0565b61061d612eae612ea38b5f61490d565b61061d8c601c61490d565b61061d8b601b61490d565b8361208e565b9050612f40612f35612f1c612f03612eea85610622612edf8d600261490d565b61061d8e601b61490d565b610622612ef88c600361490d565b61061d8d601c61490d565b610622612f118b600461490d565b61061d8c601d61490d565b610622612f2a8a600561490d565b61061d8b601e61490d565b61062288600161490d565b9050612f5f81610622612f548660016120c0565b61061d8a602661490d565b9050612f6b818461208e565b9050612f77818561208e565b8552505f9050612fb1612fa7612f9c612f9188601b61490d565b61062289601e61490d565b61064088602361490d565b610622875f61490d565b9050612fc28161061d8460026120c0565b9050612fd38161061d8460016120c0565b9050612fdf818361208e565b9050612feb818461208e565b9050808460015b60200201525050505050565b5f5f5f61303461302a61301289601b61490d565b6106226130208b601161490d565b8a6060015161208e565b87608001516120a7565b905061306d8161061d61306361304b8b601c61490d565b6106226130598d601261490d565b8c6060015161208e565b89608001516120a7565b90506130928161061d6130636130848b601d61490d565b6106226130598d601361490d565b90506130b78161061d6130636130a98b601e61490d565b6106226130598d601461490d565b92505f90506130db61302a6130cd89601b61490d565b6106226130208b600d61490d565b90506131008161061d6130636130f28b601c61490d565b6106226130598d600e61490d565b90506131258161061d6130636131178b601d61490d565b6106226130598d600f61490d565b905061314a8161061d61306361313c8b601e61490d565b6106226130598d601061490d565b91505f905061317161316b61316089601f61490d565b6106228a601961490d565b8461208e565b90506131a6816106406131a06131888b602761490d565b6106226131968d601a61490d565b8c60a0015161208e565b8561208e565b90506131b2818561208e565b6040860152505f6131d56131a06131ca89601a61490d565b61061d8a602761490d565b606090950194909452505050505050565b5f5f61324461322c6132146131ff6130638a601561490d565b61062261320d8b601661490d565b8a5161208e565b6106226132228a601761490d565b896020015161208e565b61062261323a89601861490d565b886040015161208e565b91505f61327b61326261325889601b61490d565b88608001516120a7565b6106226132708a600361490d565b61061d8b602361490d565b90505f6132a461328c89601c61490d565b6106226132998b5f61490d565b61061d8c602461490d565b90505f6132ce6132b58a601d61490d565b6106226132c38c600161490d565b61061d8d602561490d565b905061330d6132f56132e785610622868d5f015161208e565b610622848c6020015161208e565b6106226133038c600461490d565b8b6040015161208e565b93505050505f61332161316b88602061490d565b90505f61333261316b89602061490d565b90505f61336a6133516133468b602261490d565b6106228c600661490d565b61064061335f8c602261490d565b61061d8d600661490d565b90505f61338e61338861337d878961208e565b61061d8d602061490d565b836120c0565b905061339a818861208e565b90505f6133c26133b46133ae8d600661490d565b8761208e565b6106406133ae8e602161490d565b90505f6133d08c602261490d565b90505f6133e0613388838461208e565b60808c0185905260a08c0184905290506133fa818b61208e565b8b6006602002015250505050505050505050505050565b5f61341d5f60016120c0565b90505f61342b5f60026120c0565b90505f6134395f60036120c0565b90505f61345561344a88601c61490d565b61064089601b61490d565b90505f61347161346689601d61490d565b6106408a601c61490d565b90505f61348d6134828a601e61490d565b6106408b601d61490d565b90505f6134a961349e8b602361490d565b6106408c601e61490d565b9050836134ba8161061d818b6120a7565b90506134ca8161061d878a6120a7565b90506134da8161061d87896120a7565b90506134eb8161061d8d600861490d565b90506134f7818a61208e565b60e08b0152508261350c8161061d818b6120a7565b905061351c8161061d868a6120a7565b905061352c8161061d86896120a7565b905061353d8161061d8d600861490d565b9050613549818a61208e565b6101008b0152508161355f8161061d818b6120a7565b905061356f8161061d858a6120a7565b905061357f8161061d85896120a7565b90506135908161061d8d600861490d565b905061359c818a61208e565b6101208b015250806135b28161061d818b6120a7565b90506135c28161061d848a6120a7565b90506135d28161061d84896120a7565b90506135e38161061d8d600861490d565b90506135ef818a61208e565b610140909a019990995250505050505050505050565b61363e6040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b61364984601c61490d565b815261365684601d61490d565b602082015261366684602361490d565b604082015261367684602661490d565b606082015261368684602561490d565b608082015261369684602461490d565b60a08201525f6136a785600261490d565b90505f6136b4865f61490d565b90505f6136c88460400151855f01516120c0565b90505f6136dd8560200151866020015161208e565b606086015190915086905f906136f3908061208e565b90505f61371161370b89602001518a6060015161208e565b8861208e565b90505f6137306137298a60a001518b604001516120a7565b8a516120a7565b905061373f6133ae828861208e565b905061376661376061375a61375484876120c0565b886120c0565b846120a7565b836120a7565b905061378e613783613778838761208e565b61061d8f600961490d565b61061d60018a6120c0565b6101608c015250505050602085015160808601515f916137ad916120a7565b90505f6137cb6137c188606001518861208e565b88602001516120c0565b90505f6137ef6137db848761208e565b6106226131a08b60a001518c5f01516120c0565b905061381761380c613801838c61208e565b61061d8e600961490d565b61061d6001896120c0565b6101808b0152505f915061383890506138318360116120a7565b875161208e565b90505f61384583846120a7565b905061385181826120a7565b90505f61385f83600961208e565b905061388861388261316b61387b8b60a001518c5f01516120a7565b8b516120a7565b826120c0565b60c089018190525f906138a39061370b90613778908d61208e565b90506138b68b600b6020020151826120a7565b6101608c0152505086515f92506138dd9150613831906138d690806120a7565b88516120a7565b90505f61391d6138f88361061d8a5f01518b60a001516120c0565b60208901516106409061390b90806120a7565b61061d8b602001518c608001516120a7565b905061393a89600c602002015161062261370b613778858d61208e565b89600c602002015250505050505050505050565b6139e2604051806102c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b613a176139fe6139f387601b61490d565b61061d88602461490d565b610622613a0c88602361490d565b61061d89601c61490d565b8152613a5c613a51613a38613a2d88601b61490d565b61061d89601e61490d565b610622613a4689601c61490d565b61061d8a601d61490d565b61064087602561490d565b60408201819052613a7190600160441b61208e565b60408201819052613a879061064087602661490d565b604082018190528151613a9a91906120a7565b60408201819052613ab09061061d87600561490d565b60408201528051613ac590600160441b61208e565b808252613ae590610622613ada88602361490d565b61061d89602461490d565b80825260208201819052613b0190610640612f9188601d61490d565b60208201819052613b179061061d87600461490d565b6020820152805160608201819052613b349061062287601e61490d565b60608201819052613b5890610640613b4d88602561490d565b61062289602661490d565b60608201819052613b6d9061061d875f61490d565b8160600181815250505f613b96613b8c836020015184604001516120a7565b83606001516120a7565b9050613ba78161061d88600361490d565b9050613bbf613bb787602461490d565b61400061208e565b60808301819052613bd59061062288602361490d565b60808301819052613be89061400061208e565b60808301819052613bfe9061062288601d61490d565b60808301819052613c119061400061208e565b60808301819052613c279061062288601c61490d565b60808301819052613c3a9061400061208e565b60808301819052613c509061062288601b61490d565b60808301819052613c669061064088601e61490d565b60808301819052613c7c9061061d88600561490d565b6080830152613c8f613bb787602561490d565b60a08301819052613ca59061062288602461490d565b60a08301819052613cb89061400061208e565b60a08301819052613cce9061062288602361490d565b60a08301819052613ce19061400061208e565b60a08301819052613cf79061062288601e61490d565b60a08301819052613d0a9061400061208e565b60a08301819052613d209061062288601d61490d565b60a08301819052613d369061064088602661490d565b60a08301819052613d4b9061061d885f61490d565b60a0830181905260808301515f91613d6391906120a7565b9050613d748161061d89600461490d565b9050613d8e613d8488601d61490d565b876040015161208e565b60c08401819052613da7906106226132228a601c61490d565b60c08401819052613dc790610622613dc08a601b61490d565b895161208e565b60c08401819052613ddd9061062289600161490d565b60c0840181905260e08401819052613dfa9061064089601e61490d565b60c0840152613e0d61344a88602361490d565b610140840152613e2c613e2188602661490d565b61064089601e61490d565b610120840152610140830151613e5190613e46908061208e565b8461014001516120c0565b610280840152610140830151613e9390613e8890613e819061061d60015f5160206152c55f395f51905f52614fd6565b60016120a7565b84610120015161208e565b6101608401819052613eca90613ebc9061061d613eb18b600261490d565b61061d8c600361490d565b61061d6133ae8a600a61490d565b6101c0860152610280830151613eec90613ebc9061061d613eb18b600261490d565b6101e086015260c0830151613f149061061d613f098a600261490d565b61061d8b600361490d565b6101e08401525f613f33613f2989601e61490d565b8560e001516120c0565b9050613f42613882828361208e565b6101a0850152613f5661323a89602561490d565b6101008501819052613f7a90610622613f708b602461490d565b8a6020015161208e565b6101008501819052613f949061062261320d8b602361490d565b610100850152613fb3613fa889602661490d565b8561010001516120c0565b6101008501525f613fc86134828a602561490d565b905061401c613ff6612eb9613e8188610140015160015f5160206152c55f395f51905f5261061d9190614fd6565b61061d613e8188610100015160015f5160206152c55f395f51905f5261061d9190614fd6565b61018086015261010085015161404190614036908061208e565b8661010001516120c0565b6101c0860152610180850151614074906140609061061d8c600761490d565b61061d61406e8c600a61490d565b8961208e565b610200880152610280850151614093906140609061061d8c600761490d565b6102208801526101c08501516140b2906140609061061d8c600761490d565b6102408801526101a08501516140cd9061061d8b600761490d565b6102008601526140ec6140e18a602461490d565b6106408b601c61490d565b61022086015261014085015161412b906134829061412090613e819061061d60015f5160206152c55f395f51905f52614fd6565b87610220015161208e565b61024086018190526101e08601516102608701819052614162916106229061061d6141578e600561490d565b61061d8f600261490d565b610260860181905260c086015161418591906106229061061d6141578e5f61490d565b610260860181905261020086015161419d91906120a7565b61026086018190526141b39061375a90866120a7565b6102a086018190526141cd9061061d61406e8c600a61490d565b6102a0860181905287600d6020020152505050505050505050565b61425e6040518061022001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b61427761426c85601b61490d565b61062286600261490d565b815261429261428785601c61490d565b61062286600361490d565b60208201526142b06142a585601d61490d565b61062286600461490d565b60408201526142ce6142c385601e61490d565b61062286600561490d565b60608201528051614300906142f9906142f2906142eb908061208e565b845161208e565b835161208e565b825161208e565b6080820152602081015161433e906143349061432a90614320908061208e565b846020015161208e565b836020015161208e565b826020015161208e565b60a0820152604081015161437c90614372906143689061435e908061208e565b846040015161208e565b836040015161208e565b826040015161208e565b60c082015260608101516143ba906143b0906143a69061439c908061208e565b846060015161208e565b836060015161208e565b826060015161208e565b60e0820152608081015160a08201516143d391906120a7565b61010082015260c081015160e08201516143ed91906120a7565b61012082015260a08101516144119061440690806120a7565b8261012001516120a7565b61014082015260e08101516144359061442a90806120a7565b8261010001516120a7565b61016082015261012081015161444b90806120a7565b6101e0820181905261446c9061446190806120a7565b8261016001516120a7565b6101e082015261010081015161448290806120a7565b6101a082018190526144a39061449890806120a7565b8261014001516120a7565b6101a082018190526101608201516144ba916120a7565b6101808201526101408101516101e08201516144d691906120a7565b6101c08201526144ea612eb985600b61490d565b6102008201819052610260840151610180830151614515926106229161061d906106408a602361490d565b8360136020020152614545836014602002015161062283610200015161061d856101a001516106408a602461490d565b8360146020020152614575836015602002015161062283610200015161061d856101c001516106408a602561490d565b83601560200201526145a5836016602002015161062283610200015161061d856101e001516106408a602661490d565b836016602002015250505050565b6146056040518061016001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f604051806080016040528061463a7f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e7612070565b81526020016146687f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b612070565b81526020016146957e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac15612070565b81526020016146c37f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b612070565b905290506146e06146d586601b61490d565b61062287600261490d565b61012083018190526147149061470990613e88906146fe908061208e565b85610120015161208e565b83610120015161208e565b825261472185601c61490d565b602083015261473185601d61490d565b604083015261474185601e61490d565b60608301528151602083015161476991613b8c9161475f91906120a7565b84604001516120a7565b608083015261477c61316b86600c61490d565b610140830152815161479d9061479390835f610edb565b83608001516120a7565b60a08301526147c9846017602002015161062284610140015161061d8660a001516106408b602361490d565b6102e085015260208201516147e49061479390836001610edb565b60c0830152614810846018602002015161062284610140015161061d8660c001516106408b602461490d565b610300850152604082015161482b9061479390836002610edb565b60e0830152614857846019602002015161062284610140015161061d8660e001516106408b602561490d565b61032085015260608201516148729061479390836003610edb565b6101008301526148a084601a602002015161062284610140015161061d8661010001516106408b602661490d565b84601a612ff2565b5f6148b48184816108b3565b905060015b601b811015614906576148fc826106228684601b81106148db576148db615023565b6020020151866148ec600187614fd6565b601a8110610edb57610edb615023565b91506001016148b9565b5092915050565b5f8282602781111561492157614921615270565b6028811061493157614931615023565b60200201519392505050565b604051806103c001604052805f81526020015f81526020015f8152602001614963614df8565b8152602001614970614df8565b815260200161497d614df8565b815260200161498a614df8565b8152602001614997614df8565b81526020016149a4614df8565b81526020016149b1614df8565b81526020016149be614df8565b81526020016149cb614df8565b81526020016149d8614df8565b81526020016149e5614df8565b81526020016149f2614df8565b81526020016149ff614df8565b8152602001614a0c614df8565b8152602001614a19614df8565b8152602001614a26614df8565b8152602001614a33614df8565b8152602001614a40614df8565b8152602001614a4d614df8565b8152602001614a5a614df8565b8152602001614a67614df8565b8152602001614a74614df8565b8152602001614a81614df8565b8152602001614a8e614df8565b8152602001614a9b614df8565b8152602001614aa8614df8565b8152602001614ab5614df8565b905290565b604051806101e00160405280614ace614e2f565b8152602001614adb614c8e565b8152602001614ae8614c8e565b8152602001614af5614c8e565b8152602001614b02614c8e565b8152602001614b0f614c8e565b8152602001614b1c614c8e565b8152602001614b29614c8e565b8152602001614b36614c8e565b8152602001614b43614e4e565b8152602001614b50614e7c565b8152602001614b5d614e9b565b8152602001614b6a614d20565b8152602001614b77614c8e565b8152602001614ab5614c8e565b604051806101000160405280614b98614cb2565b8152602001614ba5614ce2565b8152602001614bb2614d20565b8152602001614bbf614d20565b81526020015f81526020015f81526020015f81526020015f81525090565b6040518061018001604052805f81526020015f81526020015f81526020015f81526020015f8152602001614c0f614ec9565b8152602001614c1c614ec9565b81526020015f81526020015f81526020015f81526020015f8152602001614ab5614d20565b604051806108c001604052806046906020820280368337509192915050565b604051806108c001604052806046905b614c78614df8565b815260200190600190039081614c705790505090565b60405180608001604052805f81526020015f81526020015f81526020015f81525090565b6040518060c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b604051806103400160405280601a906020820280368337509192915050565b6040518061012001604052806009906020820280368337509192915050565b604051806103800160405280601c906020820280368337509192915050565b6040518061052001604052806029906020820280368337509192915050565b60405180610da00160405280606d906020820280368337509192915050565b604051806103a00160405280601d906020820280368337509192915050565b6040518060a001604052806005906020820280368337509192915050565b6040518061010001604052806008906020820280368337509192915050565b604051806103600160405280601b906020820280368337509192915050565b60405180604001604052805f81526020015f81525090565b604051806101a00160405280600d906020820280368337509192915050565b6040518061020001604052806010906020820280368337509192915050565b604051806103800160405280601c905b614e66614dba565b815260200190600190039081614e5e5790505090565b6040518061050001604052806028906020820280368337509192915050565b604051806103600160405280601b905b614eb3614c8e565b815260200190600190039081614eab5790505090565b60405180608001604052806004906020820280368337509192915050565b5f5f5f5f60408587031215614efa575f5ffd5b84356001600160401b03811115614f0f575f5ffd5b8501601f81018713614f1f575f5ffd5b80356001600160401b03811115614f34575f5ffd5b876020828401011115614f45575f5ffd5b6020918201955093508501356001600160401b03811115614f64575f5ffd5b8501601f81018713614f74575f5ffd5b80356001600160401b03811115614f89575f5ffd5b8760208260051b8401011115614f9d575f5ffd5b949793965060200194505050565b634e487b7160e01b5f52601160045260245ffd5b808202811582820484141761208857612088614fab565b8181038181111561208857612088614fab565b8082018082111561208857612088614fab565b5f5f8585111561500a575f5ffd5b83861115615016575f5ffd5b5050820193919092039150565b634e487b7160e01b5f52603260045260245ffd5b5f6001820161504857615048614fab565b5060010190565b80356020831015612088575f19602084900360031b1b1692915050565b5f8183825b6009811015615090578151835260209283019290910190600101615071565b5050506101208201905092915050565b634e487b7160e01b5f52601260045260245ffd5b5f826150c2576150c26150a0565b500490565b5f8183825b60298110156150eb5781518352602092830192909101906001016150cc565b5050506105208201905092915050565b5f8183825b606d81101561511f578151835260209283019290910190600101615100565b505050610da08201905092915050565b5f8183825b601d811015615153578151835260209283019290910190600101615134565b5050506103a08201905092915050565b5f8183825b6005811015615187578151835260209283019290910190600101615168565b50505060a08201905092915050565b5f826151a4576151a46150a0565b500690565b5f816151b7576151b7614fab565b505f190190565b5f82518060208501845e5f920191825250919050565b5f602082840312156151e4575f5ffd5b815180151581146119ec575f5ffd5b634e487b7160e01b5f52604160045260245ffd5b81515f90829060208501835b82811015615231578151845260209384019390910190600101615213565b509195945050505050565b5f8183825b600d811015615260578151835260209283019290910190600101615241565b5050506101a08201905092915050565b634e487b7160e01b5f52602160045260245ffdfe696e76616c6964206e756d626572206f6620627974657320746f20636f6e737430644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4730644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001";
*/ export const HonkVerifierBytecode = "0x60e060405234801561000f575f5ffd5b506302000000608052601960a05260ae60c05260805160a05160c0516153eb6100605f395f818160d6015261065001525f818161075b01528181610d110152610dae01525f6105f401526153eb5ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b366004614fed565b610054565b604051901515815260200160405180910390f35b5f6100626101c960206150c5565b8414610081576040516376ba560560e11b815260040160405180910390fd5b5f61008a6101c1565b90505f61009787876101d6565b9050601082604001516100aa91906150dc565b84146100c95760405163fa06659360e01b815260040160405180910390fd5b5f6100fc828787865f01517f0000000000000000000000000000000000000000000000000000000000000000600161052f565b905061014c8686808060200260200160405190810160405280939291908181526020018383602002808284375f9201919091525050855185516060810151608090910151919350915060016105de565b815160a001525f61015d8383610753565b90508061017d576040516313f8744360e31b815260040160405180910390fd5b5f610189848685610854565b9050806101a9576040516352ec174560e11b815260040160405180910390fd5b8180156101b35750805b9a9950505050505050505050565b6101c9614a55565b6101d16110ac565b905090565b6101de614bdf565b5f805b60108110156102405761020d8583866101fb8260206150ef565b9261020893929190615102565b6119e5565b8351826010811061022057610220615129565b60200201818152505060208261023691906150ef565b91506001016101e1565b506102648482856102528260806150ef565b9261025f93929190615102565b611a53565b60208301526102746080826150ef565b90506102878482856102528260806150ef565b60408301526102976080826150ef565b90506102aa8482856102528260806150ef565b60608301526102ba6080826150ef565b90506102cd8482856102528260806150ef565b60c08301526102dd6080826150ef565b90506102f08482856102528260806150ef565b60e08301526103006080826150ef565b90506103138482856102528260806150ef565b60808084019190915261032690826150ef565b90506103398482856102528260806150ef565b61010083015261034a6080826150ef565b905061035d8482856102528260806150ef565b60a083015261036d6080826150ef565b90505f5b601c8110156103ec575f5b60088110156103e3576103968684876101fb8260206150ef565b84610120015183601c81106103ad576103ad615129565b602002015182600881106103c3576103c3615129565b6020020181815250506020836103d991906150ef565b925060010161037c565b50600101610371565b505f5b6029811015610440576104098583866101fb8260206150ef565b836101400151826029811061042057610420615129565b60200201818152505060208261043691906150ef565b91506001016103ef565b505f5b61044f6001601c6150dc565b811015610498576104678583866102528260806150ef565b83610160015182601b811061047e5761047e615129565b602002015261048e6080836150ef565b9150600101610443565b505f5b601c8110156104ec576104b58583866101fb8260206150ef565b83610180015182601c81106104cc576104cc615129565b6020020181815250506020826104e291906150ef565b915060010161049b565b506104fe8482856102528260806150ef565b6101a083015261050f6080826150ef565b90506105228482856102528260806150ef565b6101c08301525092915050565b610537614ca9565b5f61054788888888888887611b32565b90835290506105568189611b88565b6020840191909152905061056981611d68565b6040840191909152905061057d8882611dc9565b606084019190915290506105918882611e9d565b608084019190915290506105a58882611f28565b60a084019190915290506105b98882612096565b60c084019190915290506105cd8882612108565b5060e0830152509695505050505050565b5f60018082610627866106228961061d6106188a7f00000000000000000000000000000000000000000000000000000000000000006150ef565b61215f565b61217d565b612196565b90505f610645876106408a61061d6106188b60016150ef565b6121af565b90505f5b61067460107f00000000000000000000000000000000000000000000000000000000000000006150dc565b8110156106e1575f61069e8c838151811061069157610691615129565b602002602001015161215f565b90506106ae8661061d8684612196565b95506106be8561061d8584612196565b94506106ca848b612196565b93506106d6838b6121af565b925050600101610649565b505f5b6010811015610748575f8a826010811061070057610700615129565b602002015190506107158661061d8684612196565b95506107258561061d8584612196565b9450610731848b612196565b935061073d838b6121af565b9250506001016106e4565b506101b384846121de565b5f806001815b7f000000000000000000000000000000000000000000000000000000000000000081101561082a575f86610120015182601c811061079957610799615129565b602002015190505f6107ab82866121ec565b9050806107cb576040516313f8744360e31b815260040160405180910390fd5b5f876060015184601c81106107e2576107e2615129565b602002015190506107f38382612209565b955061081a886040015185601c811061080e5761080e615129565b602002015186836123b8565b9450505050806001019050610759565b505f610844866101400151865f01518760200151856123e3565b90508281145b9695505050505050565b5f61085d614d02565b5f61086b8460a0015161245d565b9050610875614d66565b61087d614d85565b60e086015161089c9061089790855f5b60200201516121af565b6124c2565b60e0808601919091528601516108bd9061089790855f5b6020020151612196565b610100850181905260e085015160c08801516108dd92610622919061217d565b845260a086015161090c906108f1906124c2565b61061d8660e001516106408a60c0015189610100015161217d565b6020850152600182526101a08801516109249061252b565b81526001606085018190525f60808601525b602481116109dc5761095761094d865f015161256a565b866060015161217d565b83826047811061096957610969615129565b602002015260808501516101408a01516109ac91906106229061098d6001866150dc565b6029811061099d5761099d615129565b6020020151886060015161217d565b8560800181815250506109c78560600151886080015161217d565b60608601526109d58161513d565b9050610936565b505f6109ea602460016150ef565b90505b60298111610a6b57610a0561094d866020015161256a565b838260478110610a1757610a17615129565b602002015260808501516101408a0151610a3b91906106229061098d6001866150dc565b856080018181525050610a568560600151886080015161217d565b6060860152610a648161513d565b90506109ed565b50606087015181600160200201526080870151816002602002015260a0870151816003602002015260c0870151816004602002015260e0870151816005602002015261010087015181600660200201526101208701518160076020020152610140870151816008602002015261016087015181600960200201526101c087015181600a602002015261018087015181600b60200201526101a087015181600c60200201526101e087015181600d602002015261020087015181600e602002015261022087015181600f60200201526102408701518160106020020152610260870151816011602002015261028087015181601260200201526102a087015181601360200201526102c087015181601460200201526102e08701518160156020020152610300870151816016602002015261032087015181601760200201526103408701518160186020020152610360870151816019602002015261038087015181601a60200201526103a087015181601b60200201526103c087015181601c6020020181905250610bff886020015161252b565b6103a08201526040880151610c139061252b565b6103c08201526060880151610c279061252b565b6103e08201526080880151610c3b9061252b565b61040082015260a0880151610c4f9061252b565b610420820152610100880151610c649061252b565b61044082015260c0880151610c789061252b565b61046082015260e0880151610c8c9061252b565b6104808201526020880151610ca09061252b565b6104a08201526040880151610cb49061252b565b6104c08201526060880151610cc89061252b565b6104e08201526080880151610cdc9061252b565b61050082015260a0880151610cf09061252b565b610520820152606086015160808501516101808a01515f92610d35929091877f0000000000000000000000000000000000000000000000000000000000000000612582565b805160e0870151919250610d489161217d565b604086018190526101808a01515160c0890151610d79929161062291610d6e919061217d565b88610100015161217d565b604086015260c0870151610d8c9061269d565b60608601525f5b610d9f6001601c6150dc565b811015610fa7575f610dd260017f00000000000000000000000000000000000000000000000000000000000000006150dc565b821015905080610f4d57610e056108978a60e0015188856001610df591906150ef565b601c811061088d5761088d615129565b60e080890191909152890151610e35906108979088610e258660016150ef565b601c81106108b3576108b3615129565b610100880152606087015160e0880151610e4f919061217d565b610120880152606087015160c08a0151610e6c91610d6e9161217d565b6101408801819052610e8f90610e819061256a565b61062289610120015161256a565b8583610e9d602960016150ef565b610ea791906150ef565b60478110610eb757610eb7615129565b60200201526101408701516101808c01515f91610ef391610ed98660016150ef565b601c8110610ee957610ee9615129565b602002015161217d565b9050610f10816106228a610120015187876001610ed991906150ef565b9050610f20886040015182612196565b6040890152606088015160c08b0151610f4691610f3c9161217d565b8b60c0015161217d565b6060890152505b610f718b610160015183601b8110610f6757610f67615129565b602002015161252b565b8483610f7f602960016150ef565b610f8991906150ef565b60478110610f9957610f99615129565b602002015250600101610d93565b5060408051808201909152600181526002602082015282610fca601c60296150ef565b60478110610fda57610fda615129565b6020020152604085015183610ff1601c60296150ef565b6047811061100157611001615129565b60200201526101c08901515f906110179061252b565b90508083611027601c60296150ef565b6110329060016150ef565b6047811061104257611042615129565b602002015260e088015184611059601c60296150ef565b6110649060016150ef565b6047811061107457611074615129565b60200201525f61108484866126a8565b90505f6110908361276e565b905061109c82826127b4565b9c9b505050505050505050505050565b6110b4614a55565b50604080516103e08101825263020000008152601960208083019190915260ae82840152825180840184527f09334c98e7aa9d7c893c773e5cb601e88d34e2ef7a4b533d0271f52f65ad9ea881527f290f24eecb29156e1c4c3c08e409cbfcff9c1c077b6f536da97add2cffb8afe2818301526060830152825180840184527f23dcce77911e304e9dda87ef0525786c282a5425faab8be7f10743701cd8c65081527f279115fe862b11b138912829edb3b505f786aec0e29349e1e4baee9af6215e17818301526080830152825180840184527f232b1c8cbd5732691cdb9507533b22abeab5b312b00374975df090a0e42bed5981527f210cf5d6545df63b6dd6d508f7882e09b5a7d4805204c9b7425884862830cfde8183015260a0830152825180840184527f16185e75e98c7ba964ae5c1e128aabe6f5ab04a4b8c09657be3514b48f94afe881527f088f19d4953eb874bf037356dfa95eaf0b3d1ab719cf7ef1f0898bfc3bc1db3e8183015260c0830152825180840184527f1abd9df724831049545dbbd49a4f63af6b92b7f61d3cb203148467cc13519dba81527f1d909d25e6881a97db7772cf7f8ced73cf4913c4a3bea527622a19df373f53a98183015260e0830152825180840184527f17627dd50e14246aab4a7150c0835fb9385aa1eed28a9c38bcd8d2169f19358a81527f2a083a32fa64a595408a76e1b57303655e10d845f3cb803ba3a1c78aba1621bd81830152610100830152825180840184527f107d2d79c20982125b9f302008ecbd7b7f25eebc71271311c28f58223170c78b81527f0f3c9104533084fca88d92d900c94cb1400899b1c3c2b40cf32807f7d8517f4781830152610120830152825180840184527f03c8ba688220487daf92373540f3765c2e604baf121468ca5b913513690a4db981527f2c89160c84f7903b29fd626c25b76e58cbdc6be9a60c152703906d7d31e3b3c981830152610140830152825180840184527f04d60e98f94b55bfa9f433d502c9a164c16dcd5296d2843db8d4576a7b1a2cd081527f077d01892b9defa2ed388a5d54e6201c9f84ae43066455f1d09312be390db3fb81830152610160830152825180840184527f1ef4446f8ca19fc96ce47a212e25745a0fd6cc2e3a2e976139308ecfb1e6d5e481527f1cb75ce9d1d3a466c69c23f529de08578fb97590dd662bd6584a412519165e7a81830152610180830152825180840184527f16a547c67a7ed2a3fe79fa3cc7993fe239ca7c82da7a6bd4074084995e03aae681527f0b9bacc018ae81a696836033bdd5610e7fecb72c7cf3300ceb5bea7a9e6e5a7c818301526101a0830152825180840184527f1467fe37cb78030724b4d9ca59e522bfc05d4b043095e3fe5974399fdaa91f9481527f28ce91fd4eb517e79c85634d86feb74b7eb5e5e5bde75cc15c486bc04eeb5378818301526101c0830152825180840184527f24e1cd532e4c38c706308147778c46c1cfdb33ad817388518d1bfc9857dd7d0681527f117474e5171baea921b5fbc29dfdd1b637586d9cc493e0d95ed50c7ca7d2d8e3818301526101e0830152825180840184527f065c1127662a86c5886c290a6d7a848b8c307ffb9b0045128d2ac9d650d95f3281527f28bf9f9b979d273ae5577d24a76e13c83643fc1a957e090ea54cffbfe91f36b381830152610200830152825180840184527f09b964172f864b545e7b823e282729898d4a30629017630aea5087ac443c25a181527edfac5c45419a30ae002477ffd5184996affcf63ea58e94924184849765a3ba81830152610220830152825180840184527f0873705797c37e9b8b23b95bc3832b91917f18c106b809462d6d5975e0308c2681527f2179de359723b356c77ae71adee34a9fcc0da24c5cb7b684d12d37d11a08804781830152610240830152825180840184527f2ecf822725e04ce88844f575583620ac7254bf438f1ee188d6684bc7a24b51cf81527f2f031e3ce043a92f07b20b0b756d078a221c11aa5adfe122d6f0777b09770b2681830152610260830152825180840184527f16ae70bb7787988077c851c775c916c796bc3465ea27104714a0218407b57c6281527f0f87fd3d7073f34b5a275b0f8ede893d5fa70755ffcb44776793984368db5c0381830152610280830152825180840184527f253eb74f80aea955ecdc21c8bc616709ac8df436e56c7b218ab712f1bafbcf8181527f2ac603b5d188870c0decec31a3a88195f38fba0620920e65b86dfa0d63c68bfe818301526102a0830152825180840184527f0bf12249b1b1c067aeab52836f3a91823af5a5d9999e3a45f497cfed2ec45ac581527f2356185ea1d8e799a4558aa583033657b6865b21b2d7636aa13540a16f2076a2818301526102c0830152825180840184527e571b59727b0412772104738959df5ed480d2252d1fe166ef7a1dd80ce90ab581527f2051b5690608c36afb2993a5fb03e3c59cc1f5305d40f8da07705e3640a5f23a818301526102e0830152825180840184527e61ffb769200b8e428cd1f04935f0c9642bed1468d81f380a17baffee08ba4f81527f29123dbe8af19645c63d758d3ba7ea45ca7bccae7f84b49d393a6d72f68fa63181830152610300830152825180840184527f275a0bb22f8c37a3476d71c556d266909fdde001df48d48a78940343ccb0b48a81527f2a4cc2119d1bd729845e8630c5b1aec652a2f2a7ae690c52238e3eafd44b385681830152610320830152825180840184527f1e1d6ac562a951aa01bc279a090d34488936a6404b3c75294fd260df0d36689381527f1643515b25c47e776b6d99eb3ce8b4613b209886681842e5c39ee92efe72c27281830152610340830152825180840184527f09d569252b4b229e483b00b1e67384ac4db29395d32e28c82f8b73983d30ac6b81527f2c47d5809e56ba32be655d4177db195bb450fd12587756c4b85b6506a7844ddb81830152610360830152825180840184527f1f59b85de9212665c6c3e59fb35ab6609d72f5ad8007449dc8019a5886fad88f81527f21c9b787b5e0109e8ab3c2293b8c67fa9ec871818722fb8bea77aa6477aaae4c8183015261038083015282518084018452600181526002818301526103a083015282518084019093527f231b37b6408a23429458d5dfb1a3ae2f4f12e0f7001a206a6bbbb664bb2cf66983527f153d3d8224622574551f8091c7202b1e3f34b69f9a61bf46307f98ff3c50e657908301526103c081019190915290565b5f60208214611a3f5760405162461bcd60e51b815260206004820152602e60248201525f51602061538b5f395f51905f5260448201526d393ab1ba1023391039b1b0b630b960911b60648201526084015b60405180910390fd5b611a4c6106188385615155565b9392505050565b611a5b614db3565b60808214611ab05760405162461bcd60e51b815260206004820152602f60248201525f51602061538b5f395f51905f5260448201526e1c9d58dd08184811cc481c1bda5b9d608a1b6064820152608401611a36565b604080516080810190915280611ac960205f8688615102565b611ad291615155565b8152602090810190611ae8906040908688615102565b611af191615155565b8152602001611b04606060408688615102565b611b0d91615155565b8152602001611b20608060608688615102565b611b2991615155565b90529392505050565b611b3a614dd7565b5f611b498989898989896129a8565b604086019190915260208501919091529083529250611b68838a612e4e565b608085019190915260608401919091529199919850909650505050505050565b611b90614e07565b5f611b99614e26565b848152610100848101805151602080850191909152815181015160408086019190915282518101516060808701919091529251830151608086015260a080890180515191870191909152805183015160c0870152805182015160e087015251909201519284019290925251611c2f91611c1491849101615172565b6040516020818303038152906040528051906020012061215f565b9150611c3a82612f1d565b6020850152835260015b6002611c526001601c6150dc565b611c5c91906151ba565b811015611cdc57611c7983604051602001611c1491815260200190565b9250611c8483612f1d565b85611c908460026150c5565b601b8110611ca057611ca0615129565b6020020186611cb08560026150c5565b611cbb9060016150ef565b601b8110611ccb57611ccb615129565b602002019190915252600101611c44565b50611ce96001601c6150dc565b6001166001148015611d0657506002611d046001601c6150dc565b115b15611d6057611d2182604051602001611c1491815260200190565b91505f611d2d83612f1d565b856001611d3b81601c6150dc565b611d4591906150dc565b601b8110611d5557611d55615129565b602002019190915250505b509250929050565b611d70614e45565b5f805b601c811015611dc257611d9284604051602001611c1491815260200190565b93505f611d9e85612f1d565b8584601c8110611db057611db0615129565b60200201919091525050600101611d73565b5090929050565b611dd1614e45565b5f805b601c811015611e9457611de5614e26565b8481525f5b6008811015611e4e5786610120015183601c8110611e0a57611e0a615129565b60200201518160088110611e2057611e20615129565b602002015182611e318360016150ef565b60098110611e4157611e41615129565b6020020152600101611dea565b50611e6381604051602001611c149190615172565b94505f611e6f86612f1d565b8685601c8110611e8157611e81615129565b6020020191909152505050600101611dd4565b50909391925050565b5f5f611ea7614e64565b8381525f5b6029811015611efa578561014001518160298110611ecc57611ecc615129565b602002015182611edd8360016150ef565b602a8110611eed57611eed615129565b6020020152600101611eac565b50611f0f81604051602001611c1491906151cd565b91505f611f1b83612f1d565b5096929550919350505050565b5f5f611f32614e83565b8381525f5b611f436001601c6150dc565b8110156120815785610160015181601b8110611f6157611f61615129565b60200201515182611f738360046150c5565b611f7e9060016150ef565b606d8110611f8e57611f8e615129565b602002015261016086015181601b8110611faa57611faa615129565b60200201516020015182826004611fc191906150c5565b611fcc9060026150ef565b606d8110611fdc57611fdc615129565b602002015261016086015181601b8110611ff857611ff8615129565b6020020151604001518261200d8360046150c5565b6120189060036150ef565b606d811061202857612028615129565b602002015261016086015181601b811061204457612044615129565b602002015160600151826120598360046150c5565b6120649060046150ef565b606d811061207457612074615129565b6020020152600101611f37565b50611f0f81604051602001611c149190615201565b5f5f6120a0614ea2565b8381525f5b601c8110156120f35785610180015181601c81106120c5576120c5615129565b6020020151826120d68360016150ef565b601d81106120e6576120e6615129565b60200201526001016120a5565b50611f0f81604051602001611c149190615235565b5f5f612112614ec1565b8381526101a085018051516020808401919091528151810151604080850191909152825181015160608086019190915292519092015160808401529051611f0f91611c1491849101615269565b5f6121775f5160206153cb5f395f51905f528361529c565b92915050565b5f5f5160206153cb5f395f51905f528284099392505050565b5f5f5160206153cb5f395f51905f528284089392505050565b5f5f5160206153cb5f395f51905f526121d5835f5160206153cb5f395f51905f526150dc565b84089392505050565b5f611a4c8361061d846124c2565b81515f9081906121fe908560016108b3565b929092149392505050565b60408051610100810182527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec5181526102d060208201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff1191810191909152609060608201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71608082015260f060a08201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd3160c08201526113b060e08201525f906001825b60088110156122f0576122e68261061d87846121af565b91506001016122cf565b506122f9614edf565b5f5b600881101561235a575f84826008811061231757612317615129565b6020020151905061232c8161061d89856121af565b9050612337816124c2565b90508083836008811061234c5761234c615129565b6020020152506001016122fb565b505f5b60088110156123ad575f87826008811061237957612379615129565b6020020151905061239681848460088110610ee957610ee9615129565b90506123a28682612196565b95505060010161235d565b5061084a848361217d565b5f5f6123ce60016106228561061d8960016121af565b90506123da848261217d565b95945050505050565b5f6123ec614e45565b6123f7868285612f4d565b612403868683866130f9565b61240f868683866132e5565b61241a868285613510565b612425868285613704565b61243186868386613a4d565b61243d86868386613f00565b6124488682856142ff565b6124538682856146c0565b61084a81856149c0565b612465614e45565b81815260015b601c8110156124bc5761249d826124836001846150dc565b601c811061249357612493615129565b602002015161269d565b8282601c81106124af576124af615129565b602002015260010161246b565b50919050565b5f5f8290505f604051602081526020808201526020604082015282606082015260025f5160206153cb5f395f51905f520360808201525f5160206153cb5f395f51905f5260a082015260205f60c08360055afa905080612520575f5ffd5b50505f519392505050565b612533614efe565b604051806040016040528060888460200151901b845f015117815260200160888460600151901b8460400151178152509050919050565b5f612177825f5160206153cb5f395f51905f526150dc565b61258a614e45565b601c5b8015612693575f846125a06001846150dc565b601c81106125b0576125b0615129565b602002015190505f886125c46001856150dc565b601c81106125d4576125d4615129565b602002015190505f61262f6125f36125ec858c61217d565b600261217d565b6106408a6126026001896150dc565b601c811061261257612612615129565b602002015161061d6126298861061d60018a6121af565b876121af565b90506126508161061d61089761264a8761061d6001896121af565b86612196565b905085841161267f5797508780856126696001876150dc565b601c811061267957612679615129565b60200201525b5050508061268c906152af565b905061258d565b5095945050505050565b5f612177828361217d565b6126b0614efe565b5f6126bd601c60296150ef565b6126c89060026150ef565b90506001604051855151604082015285516020015160608201528451608082015260408160606040840160075afa8216915060015b838110156127565760208102870160208202870181515160408501528151602001516060850152805160808501525050604080830160606040850160075afa8316925060408260808460065afa909216916001016126fd565b50805184526020810151602085015250505092915050565b612776614efe565b5f5160206153ab5f395f51905f5282602001515f5160206153ab5f395f51905f526127a191906150dc565b6127ab919061529c565b60208301525090565b81516020808401518351848301516040805194850195909552938301919091527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c260608301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60808301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60a08301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60c083015260e08201526101008101919091527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c16101208201527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b06101408201527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe46101608201527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101808201525f9081906101a00160405160208183030381529060405290505f5f60086001600160a01b03168360405161294a91906152c4565b5f60405180830381855afa9150503d805f8114612982576040519150601f19603f3d011682016040523d82523d5f602084013e612987565b606091505b509150915081801561084a57508080602001905181019061084a91906152da565b5f808080806129b88760036150ef565b6129c390600c6150ef565b6001600160401b038111156129da576129da6152f9565b604051908082528060200260200182016040528015612a03578160200160208202803683370190505b509050875f1b815f81518110612a1b57612a1b615129565b602002602001018181525050865f1b81600181518110612a3d57612a3d615129565b602002602001018181525050855f1b81600281518110612a5f57612a5f615129565b60209081029190910101525f5b612a776010896150dc565b811015612ac8578a8a82818110612a9057612a90615129565b9050602002013582826003612aa591906150ef565b81518110612ab557612ab5615129565b6020908102919091010152600101612a6c565b505f5b6010811015612b39578b51612af3908260108110612aeb57612aeb615129565b602002015190565b82826010612b028c60036150ef565b612b0c91906150dc565b612b1691906150ef565b81518110612b2657612b26615129565b6020908102919091010152600101612acb565b5060208b01515181612b4c8960036150ef565b81518110612b5c57612b5c615129565b6020908102919091018101919091528b810151015181612b7d8960036150ef565b612b889060016150ef565b81518110612b9857612b98615129565b6020908102919091018101919091528b01516040015181612bba8960036150ef565b612bc59060026150ef565b81518110612bd557612bd5615129565b6020908102919091018101919091528b01516060015181612bf78960036150ef565b612c029060036150ef565b81518110612c1257612c12615129565b602090810291909101015260408b01515181612c2f8960036150ef565b612c3a9060046150ef565b81518110612c4a57612c4a615129565b60209081029190910181019190915260408c0151015181612c6c8960036150ef565b612c779060056150ef565b81518110612c8757612c87615129565b60209081029190910101526040808c0151015181612ca68960036150ef565b612cb19060066150ef565b81518110612cc157612cc1615129565b602090810291909101015260408b01516060015181612ce18960036150ef565b612cec9060076150ef565b81518110612cfc57612cfc615129565b602090810291909101015260608b01515181612d198960036150ef565b612d249060086150ef565b81518110612d3457612d34615129565b60209081029190910181019190915260608c0151015181612d568960036150ef565b612d619060096150ef565b81518110612d7157612d71615129565b602090810291909101015260608b01516040015181612d918960036150ef565b612d9c90600a6150ef565b81518110612dac57612dac615129565b60209081029190910101526060808c0151015181612dcb8960036150ef565b612dd690600b6150ef565b81518110612de657612de6615129565b602002602001018181525050612e0681604051602001611c14919061530d565b9150612e1182612f1d565b6040805160208101869052929750909550612e2c9101611c14565b91505f612e3883612f1d565b50959c949b509499509097509195505050505050565b5f5f5f612e59614f16565b85815260c085810180515160208085019190915281518101516040808601919091528251810151606080870191909152925183015160808087019190915260e0808b0180515160a089015280518501519688019690965285518301519087015293518301516101008601529288018051516101208601528051820151610140860152805184015161016086015251909101516101808401529051612f0391611c1491849101615342565b9150612f0e82612f1d565b90979096509194509092505050565b5f80826001600160801b038116608082901c612f388261215f565b9450612f438161215f565b9350505050915091565b5f612f59846007614a25565b90507f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f80000005f612fba612fb4612f8e8560036121af565b61061d612fa9612f9e8b5f614a25565b61061d8c601d614a25565b61061d8b601c614a25565b8361217d565b905061303b613030613017612ffe612fe585610622612fda8d6002614a25565b61061d8e601c614a25565b610622612ff38c6003614a25565b61061d8d601d614a25565b61062261300c8b6004614a25565b61061d8c601e614a25565b6106226130258a6005614a25565b61061d8b601f614a25565b610622886001614a25565b905061305a8161062261304f8660016121af565b61061d8a6027614a25565b9050613066818461217d565b9050613072818561217d565b8552505f90506130ac6130a261309761308c88601c614a25565b61062289601f614a25565b610640886024614a25565b610622875f614a25565b90506130bd8161061d8460026121af565b90506130ce8161061d8460016121af565b90506130da818361217d565b90506130e6818461217d565b9050808460015b60200201525050505050565b5f5f5f61312f61312561310d89601c614a25565b61062261311b8b6012614a25565b8a6060015161217d565b8760800151612196565b90506131688161061d61315e6131468b601d614a25565b6106226131548d6013614a25565b8c6060015161217d565b8960800151612196565b905061318d8161061d61315e61317f8b601e614a25565b6106226131548d6014614a25565b90506131b28161061d61315e6131a48b601f614a25565b6106226131548d6015614a25565b92505f90506131d66131256131c889601c614a25565b61062261311b8b600e614a25565b90506131fb8161061d61315e6131ed8b601d614a25565b6106226131548d600f614a25565b90506132208161061d61315e6132128b601e614a25565b6106226131548d6010614a25565b90506132458161061d61315e6132378b601f614a25565b6106226131548d6011614a25565b91505f905061326c61326661325b896020614a25565b6106228a601a614a25565b8461217d565b90506132a18161064061329b6132838b6028614a25565b6106226132918d601b614a25565b8c60a0015161217d565b8561217d565b90506132ad818561217d565b6040860152505f6132d061329b6132c589601b614a25565b61061d8a6028614a25565b9050808560035b602002015250505050505050565b5f5f61334361332b6133136132fe61315e8a6016614a25565b61062261330c8b6017614a25565b8a5161217d565b6106226133218a6018614a25565b896020015161217d565b610622613339896019614a25565b886040015161217d565b91505f61337a61336161335789601c614a25565b8860800151612196565b61062261336f8a6003614a25565b61061d8b6024614a25565b90505f6133a361338b89601d614a25565b6106226133988b5f614a25565b61061d8c6025614a25565b90505f6133cd6133b48a601e614a25565b6106226133c28c6001614a25565b61061d8d6026614a25565b905061340c6133f46133e685610622868d5f015161217d565b610622848c6020015161217d565b6106226134028c6004614a25565b8b6040015161217d565b93505050505f613420613266886021614a25565b90505f613431613266896021614a25565b90505f6134696134506134458b6023614a25565b6106228c6006614a25565b61064061345e8c6023614a25565b61061d8d6006614a25565b90505f61348d61348761347c878961217d565b61061d8d6021614a25565b836121af565b9050613499818861217d565b90505f6134c16134b36134ad8d6006614a25565b8761217d565b6106406134ad8e6022614a25565b90505f6134cf8c6023614a25565b90505f6134df613487838461217d565b60808c0185905260a08c0184905290506134f9818b61217d565b8b6006602002015250505050505050505050505050565b5f61351c5f60016121af565b90505f61352a5f60026121af565b90505f6135385f60036121af565b90505f61355461354988601d614a25565b61064089601c614a25565b90505f61357061356589601e614a25565b6106408a601d614a25565b90505f61358c6135818a601f614a25565b6106408b601e614a25565b90505f6135a861359d8b6024614a25565b6106408c601f614a25565b9050836135b98161061d818b612196565b90506135c98161061d878a612196565b90506135d98161061d8789612196565b90506135ea8161061d8d6008614a25565b90506135f6818a61217d565b60e08b0152508261360b8161061d818b612196565b905061361b8161061d868a612196565b905061362b8161061d8689612196565b905061363c8161061d8d6008614a25565b9050613648818a61217d565b6101008b0152508161365e8161061d818b612196565b905061366e8161061d858a612196565b905061367e8161061d8589612196565b905061368f8161061d8d6008614a25565b905061369b818a61217d565b6101208b015250806136b18161061d818b612196565b90506136c18161061d848a612196565b90506136d18161061d8489612196565b90506136e28161061d8d6008614a25565b90506136ee818a61217d565b610140909a019990995250505050505050505050565b61373d6040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b61374884601d614a25565b815261375584601e614a25565b6020820152613765846024614a25565b6040820152613775846027614a25565b6060820152613785846026614a25565b6080820152613795846025614a25565b60a08201525f6137a6856002614a25565b90505f6137b3865f614a25565b90505f6137c78460400151855f01516121af565b90505f6137dc8560200151866020015161217d565b606086015190915086905f906137f2908061217d565b90505f61381061380a89602001518a6060015161217d565b8861217d565b90505f61382f6138288a60a001518b60400151612196565b8a51612196565b905061383e6134ad828861217d565b905061386561385f61385961385384876121af565b886121af565b84612196565b83612196565b905061388d613882613877838761217d565b61061d8f6009614a25565b61061d60018a6121af565b6101608c015250505050602085015160808601515f916138ac91612196565b90505f6138ca6138c088606001518861217d565b88602001516121af565b90505f6138ee6138da848761217d565b61062261329b8b60a001518c5f01516121af565b905061391661390b613900838c61217d565b61061d8e6009614a25565b61061d6001896121af565b6101808b0152505f91506139379050613930836011612196565b875161217d565b90505f6139448384612196565b90506139508182612196565b90505f61395e83600961217d565b905061398761398161326661397a8b60a001518c5f0151612196565b8b51612196565b826121af565b60c089018190525f906139a29061380a90613877908d61217d565b90506139b58b600b602002015182612196565b6101608c0152505086515f92506139dc9150613930906139d59080612196565b8851612196565b90505f613a1c6139f78361061d8a5f01518b60a001516121af565b602089015161064090613a0a9080612196565b61061d8b602001518c60800151612196565b9050613a3989600c602002015161062261380a613877858d61217d565b89600c602002015250505050505050505050565b613ab7604051806101e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b613acf613ac586601e614a25565b856040015161217d565b808252613aee90610622613ae488601d614a25565b876020015161217d565b808252613b039061062261393088601c614a25565b808252613b1590610622876001614a25565b80825260208201819052613b2e9061064087601f614a25565b8152613b49613b3e866024614a25565b61064087601c614a25565b6080820152613b67613b5c866027614a25565b61064087601f614a25565b60608201526080810151613b8990613b7f908061217d565b82608001516121af565b6101c08201526080810151613bc990613bbf90613bb89061061d60015f5160206153cb5f395f51905f526150dc565b6001612196565b826060015161217d565b60a08201819052613bff90613bf19061061d613be6896002614a25565b61061d8a6003614a25565b61061d61329b88600a614a25565b83600e60200201526101c0810151613c2390613bf19061061d613be6896002614a25565b6101e08401528051613c489061061d613c3d886002614a25565b61061d896003614a25565b6101208201525f613c67613c5d87601f614a25565b83602001516121af565b9050613c76613981828361217d565b60e0830152613c93613c89876026614a25565b866040015161217d565b60408301819052613cb690610622613cac896025614a25565b886020015161217d565b60408301819052613cd690610622613ccf896024614a25565b885161217d565b6040830152613cf3613ce9876027614a25565b83604001516121af565b60408301525f613d12613d07886026614a25565b61064089601e614a25565b9050613d64613d3f612fb4613bb8866080015160015f5160206153cb5f395f51905f5261061d91906150dc565b61061d613bb8866040015160015f5160206153cb5f395f51905f5261061d91906150dc565b60c08401526040830151613d8690613d7c908061217d565b84604001516121af565b61010084015260c0830151613db290613da49061061d8a6007614a25565b61061d6134ad8a600a614a25565b6102008601526101c0830151613dd190613da49061061d8a6007614a25565b610220860152610100830151613df090613da49061061d8a6007614a25565b61024086015260e0830151613e0a9061061d896007614a25565b610140840152613e29613e1e886025614a25565b61064089601d614a25565b6101608401526080830151613e6790613d0790613e5c90613bb89061061d60015f5160206153cb5f395f51905f526150dc565b85610160015161217d565b61018084018190526101208401516101a08501819052613e9e916106229061061d613e938c6005614a25565b61061d8d6002614a25565b6101a084018190528351613ebe91906106229061061d613e938c5f614a25565b6101a08401819052610140840151613ed69190612196565b6101a08401819052613ef09061061d6134ad8a600a614a25565b6101a0840181905285600d6132d7565b613f396040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b613f6e613f55613f4a87601c614a25565b61061d886025614a25565b610622613f63886024614a25565b61061d89601d614a25565b8152613fb3613fa8613f8f613f8488601c614a25565b61061d89601f614a25565b610622613f9d89601d614a25565b61061d8a601e614a25565b610640876026614a25565b60408201819052613fc890600160441b61217d565b60408201819052613fde90610640876027614a25565b604082018190528151613ff19190612196565b604082018190526140079061061d876005614a25565b6040820152805161401c90600160441b61217d565b80825261403c90610622614031886024614a25565b61061d896025614a25565b808252602082018190526140589061064061308c88601e614a25565b6020820181905261406e9061061d876004614a25565b602082015280516060820181905261408b9061062287601f614a25565b606082018190526140af906106406140a4886026614a25565b610622896027614a25565b606082018190526140c49061061d875f614a25565b8160600181815250505f6140ed6140e383602001518460400151612196565b8360600151612196565b90506140fe8161061d886003614a25565b905061411661410e876025614a25565b61400061217d565b6080830181905261412c90610622886024614a25565b6080830181905261413f9061400061217d565b608083018190526141559061062288601e614a25565b608083018190526141689061400061217d565b6080830181905261417e9061062288601d614a25565b608083018190526141919061400061217d565b608083018190526141a79061062288601c614a25565b608083018190526141bd9061064088601f614a25565b608083018190526141d39061061d886005614a25565b60808301526141e661410e876026614a25565b60a083018190526141fc90610622886025614a25565b60a0830181905261420f9061400061217d565b60a0830181905261422590610622886024614a25565b60a083018190526142389061400061217d565b60a0830181905261424e9061062288601f614a25565b60a083018190526142619061400061217d565b60a083018190526142779061062288601e614a25565b60a0830181905261428d90610640886027614a25565b60a083018190526142a29061061d885f614a25565b60a0830181905260808301515f916142ba9190612196565b90506142cb8161061d896004614a25565b90506142d78282612196565b60c084018190526142f09061061d6134ad8a600b614a25565b60c084018190528560136132d7565b6143756040518061022001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b61438e61438385601c614a25565b610622866002614a25565b81526143a961439e85601d614a25565b610622866003614a25565b60208201526143c76143bc85601e614a25565b610622866004614a25565b60408201526143e56143da85601f614a25565b610622866005614a25565b60608201528051614417906144109061440990614402908061217d565b845161217d565b835161217d565b825161217d565b608082015260208101516144559061444b9061444190614437908061217d565b846020015161217d565b836020015161217d565b826020015161217d565b60a08201526040810151614493906144899061447f90614475908061217d565b846040015161217d565b836040015161217d565b826040015161217d565b60c082015260608101516144c790613bbf906144bd906144b3908061217d565b846060015161217d565b836060015161217d565b60e0820152608081015160a08201516144e09190612196565b61010082015260c081015160e08201516144fa9190612196565b61012082015260a081015161451e906145139080612196565b826101200151612196565b61014082015260e0810151614542906145379080612196565b826101000151612196565b6101608201526101208101516145589080612196565b6101e082018190526145799061456e9080612196565b826101600151612196565b6101e082015261010081015161458f9080612196565b6101a082018190526145b0906145a59080612196565b826101400151612196565b6101a082018190526101608201516145c791612196565b6101808201526101408101516101e08201516145e39190612196565b6101c08201526145f7612fb485600c614a25565b6102008201819052610280840151610180830151614622926106229161061d906106408a6024614a25565b8360146020020152614652836015602002015161062283610200015161061d856101a001516106408a6025614a25565b8360156020020152614682836016602002015161062283610200015161061d856101c001516106408a6026614a25565b83601660200201526146b2836017602002015161062283610200015161061d856101e001516106408a6027614a25565b836017602002015250505050565b6147126040518061016001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f60405180608001604052806147477f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e761215f565b81526020016147757f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b61215f565b81526020016147a27e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac1561215f565b81526020016147d07f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b61215f565b905290506147ed6147e286601c614a25565b610622876002614a25565b610120830181905261482c90614821906148169061480b908061217d565b85610120015161217d565b84610120015161217d565b83610120015161217d565b825261483985601d614a25565b602083015261484985601e614a25565b604083015261485985601f614a25565b606083015281516020830151614881916140e3916148779190612196565b8460400151612196565b608083015261489461326686600d614a25565b61014083015281516148b5906148ab90835f610ee9565b8360800151612196565b60a08301526148e1846018602002015161062284610140015161061d8660a001516106408b6024614a25565b61030085015260208201516148fc906148ab90836001610ee9565b60c0830152614928846019602002015161062284610140015161061d8660c001516106408b6025614a25565b6103208501526040820151614943906148ab90836002610ee9565b60e083015261496f84601a602002015161062284610140015161061d8660e001516106408b6026614a25565b610340850152606082015161498a906148ab90836003610ee9565b6101008301526149b884601b602002015161062284610140015161061d8661010001516106408b6027614a25565b84601b6130ed565b5f6149cc8184816108b3565b905060015b601c811015614a1e57614a14826106228684601c81106149f3576149f3615129565b602002015186614a046001876150dc565b601b8110610ee957610ee9615129565b91506001016149d1565b5092915050565b5f82826028811115614a3957614a39615376565b60298110614a4957614a49615129565b60200201519392505050565b604051806103e001604052805f81526020015f81526020015f8152602001614a7b614efe565b8152602001614a88614efe565b8152602001614a95614efe565b8152602001614aa2614efe565b8152602001614aaf614efe565b8152602001614abc614efe565b8152602001614ac9614efe565b8152602001614ad6614efe565b8152602001614ae3614efe565b8152602001614af0614efe565b8152602001614afd614efe565b8152602001614b0a614efe565b8152602001614b17614efe565b8152602001614b24614efe565b8152602001614b31614efe565b8152602001614b3e614efe565b8152602001614b4b614efe565b8152602001614b58614efe565b8152602001614b65614efe565b8152602001614b72614efe565b8152602001614b7f614efe565b8152602001614b8c614efe565b8152602001614b99614efe565b8152602001614ba6614efe565b8152602001614bb3614efe565b8152602001614bc0614efe565b8152602001614bcd614efe565b8152602001614bda614efe565b905290565b604051806101e00160405280614bf3614f35565b8152602001614c00614db3565b8152602001614c0d614db3565b8152602001614c1a614db3565b8152602001614c27614db3565b8152602001614c34614db3565b8152602001614c41614db3565b8152602001614c4e614db3565b8152602001614c5b614db3565b8152602001614c68614f54565b8152602001614c75614f82565b8152602001614c82614fa1565b8152602001614c8f614e45565b8152602001614c9c614db3565b8152602001614bda614db3565b604051806101000160405280614cbd614dd7565b8152602001614cca614e07565b8152602001614cd7614e45565b8152602001614ce4614e45565b81526020015f81526020015f81526020015f81526020015f81525090565b6040518061018001604052805f81526020015f81526020015f81526020015f81526020015f8152602001614d34614fcf565b8152602001614d41614fcf565b81526020015f81526020015f81526020015f81526020015f8152602001614bda614e45565b604051806108e001604052806047906020820280368337509192915050565b604051806108e001604052806047905b614d9d614efe565b815260200190600190039081614d955790505090565b60405180608001604052805f81526020015f81526020015f81526020015f81525090565b6040518060c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b604051806103600160405280601b906020820280368337509192915050565b6040518061012001604052806009906020820280368337509192915050565b604051806103800160405280601c906020820280368337509192915050565b604051806105400160405280602a906020820280368337509192915050565b60405180610da00160405280606d906020820280368337509192915050565b604051806103a00160405280601d906020820280368337509192915050565b6040518060a001604052806005906020820280368337509192915050565b6040518061010001604052806008906020820280368337509192915050565b60405180604001604052805f81526020015f81525090565b604051806101a00160405280600d906020820280368337509192915050565b6040518061020001604052806010906020820280368337509192915050565b604051806103800160405280601c905b614f6c614edf565b815260200190600190039081614f645790505090565b6040518061052001604052806029906020820280368337509192915050565b604051806103600160405280601b905b614fb9614db3565b815260200190600190039081614fb15790505090565b60405180608001604052806004906020820280368337509192915050565b5f5f5f5f60408587031215615000575f5ffd5b84356001600160401b03811115615015575f5ffd5b8501601f81018713615025575f5ffd5b80356001600160401b0381111561503a575f5ffd5b87602082840101111561504b575f5ffd5b6020918201955093508501356001600160401b0381111561506a575f5ffd5b8501601f8101871361507a575f5ffd5b80356001600160401b0381111561508f575f5ffd5b8760208260051b84010111156150a3575f5ffd5b949793965060200194505050565b634e487b7160e01b5f52601160045260245ffd5b8082028115828204841417612177576121776150b1565b81810381811115612177576121776150b1565b80820180821115612177576121776150b1565b5f5f85851115615110575f5ffd5b8386111561511c575f5ffd5b5050820193919092039150565b634e487b7160e01b5f52603260045260245ffd5b5f6001820161514e5761514e6150b1565b5060010190565b80356020831015612177575f19602084900360031b1b1692915050565b5f8183825b6009811015615196578151835260209283019290910190600101615177565b5050506101208201905092915050565b634e487b7160e01b5f52601260045260245ffd5b5f826151c8576151c86151a6565b500490565b5f8183825b602a8110156151f15781518352602092830192909101906001016151d2565b5050506105408201905092915050565b5f8183825b606d811015615225578151835260209283019290910190600101615206565b505050610da08201905092915050565b5f8183825b601d81101561525957815183526020928301929091019060010161523a565b5050506103a08201905092915050565b5f8183825b600581101561528d57815183526020928301929091019060010161526e565b50505060a08201905092915050565b5f826152aa576152aa6151a6565b500690565b5f816152bd576152bd6150b1565b505f190190565b5f82518060208501845e5f920191825250919050565b5f602082840312156152ea575f5ffd5b81518015158114611a4c575f5ffd5b634e487b7160e01b5f52604160045260245ffd5b81515f90829060208501835b82811015615337578151845260209384019390910190600101615319565b509195945050505050565b5f8183825b600d811015615366578151835260209283019290910190600101615347565b5050506101a08201905092915050565b634e487b7160e01b5f52602160045260245ffdfe696e76616c6964206e756d626572206f6620627974657320746f20636f6e737430644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4730644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001";
/**
* HonkVerifier link references.
*/ export const HonkVerifierLinkReferences = {};

2

package.json
{
"name": "@aztec/l1-artifacts",
"version": "1.0.0-nightly.20250722",
"version": "1.0.0-nightly.20250723",
"type": "module",

@@ -5,0 +5,0 @@ "exports": {

dest/HonkVerifierBytecode.d.ts.map

Sorry, the diff of this file is not supported yet