@aztec/l1-artifacts 0.0.1-commit.2e2504e2 → 0.0.1-commit.2eb6648a

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (22) hide show
  1. package/dest/HonkVerifierBytecode.d.ts +2 -2
  2. package/dest/HonkVerifierBytecode.d.ts.map +1 -1
  3. package/dest/HonkVerifierBytecode.js +1 -1
  4. package/l1-contracts/cache/solidity-files-cache.json +1 -1
  5. package/l1-contracts/generated/HonkVerifier.sol +57 -57
  6. package/l1-contracts/out/DeployAztecL1Contracts.s.sol/DeployAztecL1Contracts.json +1 -1
  7. package/l1-contracts/out/DeployAztecL1Contracts.t.sol/DeployAztecL1ContractsTest.json +1 -1
  8. package/l1-contracts/out/DeployRollupForUpgrade.s.sol/DeployRollupForUpgrade.json +1 -1
  9. package/l1-contracts/out/DeployRollupForUpgrade.t.sol/DeployRollupForUpgradeTest.json +1 -1
  10. package/l1-contracts/out/DeployRollupLib.sol/DeployRollupLib.json +1 -1
  11. package/l1-contracts/out/HonkVerifier.sol/BaseHonkVerifier.json +1 -1
  12. package/l1-contracts/out/HonkVerifier.sol/CommitmentSchemeLib.json +1 -1
  13. package/l1-contracts/out/HonkVerifier.sol/FrLib.json +1 -1
  14. package/l1-contracts/out/HonkVerifier.sol/Honk.json +1 -1
  15. package/l1-contracts/out/HonkVerifier.sol/HonkVerificationKey.json +1 -1
  16. package/l1-contracts/out/HonkVerifier.sol/HonkVerifier.json +1 -1
  17. package/l1-contracts/out/HonkVerifier.sol/IVerifier.json +1 -1
  18. package/l1-contracts/out/HonkVerifier.sol/RelationsLib.json +1 -1
  19. package/l1-contracts/out/HonkVerifier.sol/TranscriptLib.json +1 -1
  20. package/l1-contracts/out/build-info/{8103921c6e825236.json → 948f40d6c0589dfb.json} +1 -1
  21. package/l1-contracts/out/shouting.t.sol/ScreamAndShoutTest.json +1 -1
  22. package/package.json +1 -1
package/dest/HonkVerifierBytecode.d.ts CHANGED
@@ -1,9 +1,9 @@
1
1
  /**
2
2
  * HonkVerifier bytecode.
3
3
  */
4
- export declare const HonkVerifierBytecode = "0x610100604052348015610010575f5ffd5b506301000000608052601860a0527f2a2b5260a5f8fc50eea08d0543f7f5dc2aa4825beef73ff808ad417326ded21160c05260a760e05260805160a05160c05160e051615cdd6100de5f395f818161018101526107ae01525f61016001525f8181605b01528181609401528181610101015281816101a2015281816108c7015281816109d401528181610a0001528181610a7b015281816112d401528181611374015281816115c30152818161160f0152818161165d015281816116b40152612cdd01525f5050615cdd5ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b3660046158e3565b610054565b604051901515815260200160405180910390f35b5f5f61007f7f000000000000000000000000000000000000000000000000000000000000000061028c565b905061008c8160206159bf565b85146100ee577f0000000000000000000000000000000000000000000000000000000000000000856100bf8360206159bf565b6040516359895a5360e01b81526004810193909352602483019190915260448201526064015b60405180910390fd5b5f6100f761033a565b90505f61012588887f000000000000000000000000000000000000000000000000000000000000000061034f565b90506008826040015161013891906159d6565b85146101575760405163fa06659360e01b815260040160405180910390fd5b5f6101c68288887f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000006106a6565b90506102168787808060200260200160405190810160405280939291908181526020018383602002808284375f920191909152505085518551602081015160409091015191935091506001610758565b8151606001525f61022783836108bf565b905080610247576040516313f8744360e31b815260040160405180910390fd5b5f6102538486856109c0565b905080610273576040516352ec174560e11b815260040160405180910390fd5b81801561027d5750805b9b9a5050505050505050505050565b5f8061029a600260086159bf565b905060016102a96008856159bf565b6102b391906159bf565b6102bd90826159e9565b90506102cb600160296159bf565b6102d590826159e9565b905060026102e46001856159d6565b6102ee91906159bf565b6102f890826159e9565b90506103056001846159bf565b61030f90826159e9565b905061031c6002806159bf565b61032690826159e9565b90506103336008826159e9565b9392505050565b61034261517c565b61034a611786565b905090565b61035761551a565b5f805b60088110156103b9576103868683876103746020836159e9565b92610381939291906159fc565b6120bf565b8351826008811061039957610399615a23565b6020020181815250506020826103af91906159e9565b915060010161035a565b506103dd8582866103cb6040836159e9565b926103d8939291906159fc565b6120d2565b60208301526103ed6040826159e9565b90506104008582866103cb6040836159e9565b60408084019190915261041390826159e9565b90506104268582866103cb6040836159e9565b60608301526104366040826159e9565b90506104498582866103cb6040836159e9565b60c08301526104596040826159e9565b905061046c8582866103cb6040836159e9565b60e083015261047c6040826159e9565b905061048f8582866103cb6040836159e9565b608083015261049f6040826159e9565b90506104b28582866103cb6040836159e9565b6101008301526104c36040826159e9565b90506104d68582866103cb6040836159e9565b60a08301526104e66040826159e9565b90505f5b83811015610564575f5b600881101561055b5761050e8784886103746020836159e9565b84610120015183601c811061052557610525615a23565b6020020151826008811061053b5761053b615a23565b60200201818152505060208361055191906159e9565b92506001016104f4565b506001016104ea565b505f5b60298110156105b8576105818683876103746020836159e9565b836101400151826029811061059857610598615a23565b6020020181815250506020826105ae91906159e9565b9150600101610567565b505f5b6105c66001856159d6565b81101561060f576105de8683876103cb6040836159e9565b83610160015182601b81106105f5576105f5615a23565b60200201526106056040836159e9565b91506001016105bb565b505f5b838110156106625761062b8683876103746020836159e9565b83610180015182601c811061064257610642615a23565b60200201818152505060208261065891906159e9565b9150600101610612565b506106748582866103cb6040836159e9565b6101a08301526106856040826159e9565b90506106988582866103cb6040836159e9565b6101c0830152509392505050565b6106ae615662565b5f6106bd88888888888661215f565b90835290506106cc81896121c2565b602084019190915290506106e081846122b1565b604084019190915290506106f5888285612340565b606084019190915290506107098882612414565b6080840191909152905061071e88828561249f565b60a08401919091529050610733888285612614565b60c0840191909152905061074788826126d9565b5060e0830152509695505050505050565b5f60018082610785866107808961077b6107768a63100000006159e9565b612716565b61272e565b612749565b90505f6107a38761079e8a61077b6107768b60016159e9565b612762565b90505f5b6107d260087f00000000000000000000000000000000000000000000000000000000000000006159d6565b81101561083f575f6107fc8c83815181106107ef576107ef615a23565b602002602001015161278a565b905061080c8661077b8684612749565b955061081c8561077b8584612749565b9450610828848b612749565b9350610834838b612762565b9250506001016107a7565b505f5b60088110156108a6575f8a826008811061085e5761085e615a23565b602002015190506108738661077b8684612749565b95506108838561077b8584612749565b945061088f848b612749565b935061089b838b612762565b925050600101610842565b506108b1848461279f565b9a9950505050505050505050565b5f806001815b7f0000000000000000000000000000000000000000000000000000000000000000811015610996575f86610120015182601c811061090557610905615a23565b602002015190505f61091782866127ad565b905080610937576040516313f8744360e31b815260040160405180910390fd5b5f876060015184601c811061094e5761094e615a23565b6020020151905061095f83826127cd565b9550610986886040015185601c811061097a5761097a615a23565b6020020151868361297c565b94505050508060010190506108c5565b505f6109b0866101400151865f01518760200151856129a7565b90508281145b9695505050505050565b5f6109c96156da565b5f6109f88460a001517f0000000000000000000000000000000000000000000000000000000000000000612a20565b90505f610a267f000000000000000000000000000000000000000000000000000000000000000060246159e9565b610a319060026159e9565b67ffffffffffffffff811115610a4957610a49615a37565b604051908082528060200260200182016040528015610a72578160200160208202803683370190505b5090505f610aa17f000000000000000000000000000000000000000000000000000000000000000060246159e9565b610aac9060026159e9565b67ffffffffffffffff811115610ac457610ac4615a37565b604051908082528060200260200182016040528015610b0857816020015b604080518082019091525f8082526020820152815260200190600190039081610ae25790505b509050610b3a610b358760e00151855f81518110610b2857610b28615a23565b6020026020010151612762565b612aea565b84610120018181525050610b6e610b358760e00151855f81518110610b6157610b61615a23565b6020026020010151612749565b610140850181905261012085015160c0880151610b8f92610780919061272e565b845260a0860151610bbf90610ba390612aea565b61077b86610120015161079e8a60c0015189610140015161272e565b6020850152815160019083905f90610bd957610bd9615a23565b602002602001018181525050876101a00151815f81518110610bfd57610bfd615a23565b6020908102919091010152600160a08501525f60c085015283515f516020615c885f395f51905f5203604085015260208401515f516020615c885f395f51905f5203606085015260015b60248111610cea57610c6185604001518660a0015161272e565b838281518110610c7357610c73615a23565b602002602001018181525050610cbc8560c001516107808b6101400151600185610c9d91906159d6565b60298110610cad57610cad615a23565b60200201518860a0015161272e565b60c086015260a08501516080880151610cd5919061272e565b60a0860152610ce381615a4b565b9050610c47565b505f5b6005811015610db8575f610d02601d836159e9565b90505f610d106024846159e9565b9050610d41858381518110610d2757610d27615a23565b602002602001015161078089606001518a60a0015161272e565b858381518110610d5357610d53615a23565b602002602001018181525050610d908760c001516107808d61014001518460298110610d8157610d81615a23565b60200201518a60a0015161272e565b60c088015260a087015160808a0151610da9919061272e565b60a08801525050600101610ced565b50866060015181600181518110610dd157610dd1615a23565b6020026020010181905250866080015181600281518110610df457610df4615a23565b60200260200101819052508660a0015181600381518110610e1757610e17615a23565b60200260200101819052508660c0015181600481518110610e3a57610e3a615a23565b60200260200101819052508660e0015181600581518110610e5d57610e5d615a23565b602002602001018190525086610100015181600681518110610e8157610e81615a23565b602002602001018190525086610120015181600781518110610ea557610ea5615a23565b602002602001018190525086610140015181600881518110610ec957610ec9615a23565b602002602001018190525086610160015181600981518110610eed57610eed615a23565b6020026020010181905250866101c0015181600a81518110610f1157610f11615a23565b602002602001018190525086610180015181600b81518110610f3557610f35615a23565b6020026020010181905250866101a0015181600c81518110610f5957610f59615a23565b6020026020010181905250866101e0015181600d81518110610f7d57610f7d615a23565b602002602001018190525086610200015181600e81518110610fa157610fa1615a23565b602002602001018190525086610220015181600f81518110610fc557610fc5615a23565b602002602001018190525086610240015181601081518110610fe957610fe9615a23565b60200260200101819052508661026001518160118151811061100d5761100d615a23565b60200260200101819052508661028001518160128151811061103157611031615a23565b6020026020010181905250866102a001518160138151811061105557611055615a23565b6020026020010181905250866102c001518160148151811061107957611079615a23565b6020026020010181905250866102e001518160158151811061109d5761109d615a23565b6020026020010181905250866103000151816016815181106110c1576110c1615a23565b6020026020010181905250866103200151816017815181106110e5576110e5615a23565b60200260200101819052508661034001518160188151811061110957611109615a23565b60200260200101819052508661036001518160198151811061112d5761112d615a23565b602002602001018190525086610380015181601a8151811061115157611151615a23565b6020026020010181905250866103a0015181601b8151811061117557611175615a23565b6020026020010181905250866103c0015181601c8151811061119957611199615a23565b6020026020010181905250876020015181601d815181106111bc576111bc615a23565b6020026020010181905250876040015181601e815181106111df576111df615a23565b6020026020010181905250876060015181601f8151811061120257611202615a23565b602002602001018190525087608001518160208151811061122557611225615a23565b60200260200101819052508760a001518160218151811061124857611248615a23565b60200260200101819052508761010001518160228151811061126c5761126c615a23565b60200260200101819052508760c001518160238151811061128f5761128f615a23565b60200260200101819052508760e00151816024815181106112b2576112b2615a23565b60200260200101819052505f6112f887606001518660c001518b6101800151877f0000000000000000000000000000000000000000000000000000000000000000612b5a565b9050611322815f8151811061130f5761130f615a23565b602002602001015186610120015161272e565b608086018190526101808a01515160c0890151611353929161078091611348919061272e565b88610140015161272e565b608086015260c087015161136690612cb9565b60a08601525f5b61139860017f00000000000000000000000000000000000000000000000000000000000000006159d6565b8110156115a7576113c8610b358960e00151878460016113b891906159e9565b81518110610b2857610b28615a23565b61012087015260e08801516113f790610b3590876113e78560016159e9565b81518110610b6157610b61615a23565b61014087015260a0860151610120870151611412919061272e565b61016087015260a086015160c089015161143a9161142f9161272e565b87610140015161272e565b610180870181905261146f905f516020615c885f395f51905f52036101608801515f516020615c885f395f51905f5203612749565b848261147d602460016159e9565b61148791906159e9565b8151811061149757611497615a23565b6020026020010181815250505f6114da8761018001518c61018001518460016114c091906159e9565b601c81106114d0576114d0615a23565b602002015161272e565b905061151481610780896101600151868660016114f791906159e9565b8151811061150757611507615a23565b602002602001015161272e565b9050611524876080015182612749565b608088015260a087015160c08a015161154a916115409161272e565b8a60c0015161272e565b60a08801526101608b015182601b811061156657611566615a23565b60200201518483611579602460016159e9565b61158391906159e9565b8151811061159357611593615a23565b60209081029190910101525060010161136d565b50604080518082019091526001815260026020820152826115e97f000000000000000000000000000000000000000000000000000000000000000060246159e9565b815181106115f9576115f9615a23565b60209081029190910101526080850151836116357f000000000000000000000000000000000000000000000000000000000000000060246159e9565b8151811061164557611645615a23565b60209081029190910101526101c089015180836116837f000000000000000000000000000000000000000000000000000000000000000060246159e9565b61168e9060016159e9565b8151811061169e5761169e615a23565b602090810291909101015260e0880151846116da7f000000000000000000000000000000000000000000000000000000000000000060246159e9565b6116e59060016159e9565b815181106116f5576116f5615a23565b6020026020010181815250505f61170c8486612cc4565b90505f61171883612ddf565b90505f6117298d5f01518484612e30565b90505f5f6117398f5f0151612ea6565b9150915061174682612f0f565b61174f81612f0f565b61175a858385612fb2565b9450611767848285612fb2565b93506117738585612fee565b9f9e505050505050505050505050505050565b61178e61517c565b50604080516103e08101825263010000008152601860208083019190915260a782840152825180840184527f18c6087a838ade00055af96167c66ed82bd61083e95a5698d02761ffcf18677881527f1fd017276fd7706340f47f878241ad75b974ec211dd6aebb5e5f7d40f4033859818301526060830152825180840184527f18228be8b71b6267946fbc462cca4088fd3c3b5befd50aab6de0140aee0292af81527f1d5a8e23918e6f5930dedeeac9f3269683238877bceb9d3860fd3e2f52b56035818301526080830152825180840184527f140d09360a71c7a29f191bcb60e3f62e054b03a33644871a06ef8cb26c5ffe5681527f0ce20cdfec8ce2c91d98c163807c9ca2a5c1315b1d0071d9c6e3c57520edc6f58183015260a0830152825180840184527f2f5b1dbafd4c9d7435b5c8f7b19b6eac214fab5a025a9774663aa1398866ba9981527f10c7d7ef97c4d196f740e9d6dab60736d2d99b2cfa5342da80f7ed5a22c9236c8183015260c0830152825180840184527f1aefbc54dd417853702cdc27106d13a6f9b3bb7ab7384f438949934ce9843c7681527f1f3b3f51541a29f12035776a9d2ccf07b2e0a0891a95ed3ff2cf7f2c57dc73238183015260e0830152825180840184527f188e1c7cfa6ebe53dfab59fa057f5c6315995ed43c5b91637e31c5f0ab44334e81527f0adde4d3b509c249dcb37cbb8bf2dd53393a9ddedc3ada8131e84bc53b4a29f581830152610100830152825180840184527f0d5cd90aceba65851b2ed0af6db9a5d741f62886d05381d516916a3e1b72cbf681527f08207020e5d8f9360f392c108796ee1b6b58c6cd8a259a85ac8c76ac30fcac4581830152610120830152825180840184527f27b4841b6b4aa22edf2c98eda49a04ac953d6127eeff64ea5d1ef8beae3d6a5081527f07356cdfd24d7f59c69ae104fa59f954a302635ba625738d6fae8fbc1d3ddbfa81830152610140830152825180840184527f1c119291fc3ce86c9ce2a0c8347508e1e04fb13e74f536addfe0d53844bdaaa281527f1c260b4b7cee1aae9f52e83829b2b3be9e100fa1a67bece4bab790cfb526ea3e81830152610160830152825180840184527f15c05b909cbeee858ccfacf06e010370bfdb32968a95df9198dca438b045e50281527f03b87e8fb7ef51593fe5b0ba64f9b21b2210a738bada629f9ba8fe384de9eaf781830152610180830152825180840184527d6983c28806afaf1f1a258a7c231734f11fd8647f5c2971d41d779f359bcb81527f03f921f76c2cc4695d6ff07f92c0eea9b35cbb45da3766dee91d7497ffcb33a5818301526101a0830152825180840184527f17fe8cdf110f8af822620031f2645657cfa813d1dbf1bbd6b9b2137836f26d8d81527f13dc656b951ebda7907af6f461f99b181db140fced5bfe1a387a7cf17b28617a818301526101c0830152825180840184527f2c989a2ec3d4c85362b7c455765374888cfd1388e5cce42103b640e1f30b082a81527f15a122d1fe538855ec57fed6bffdbf17bfc8596b5bec698111b3b14c13efa801818301526101e0830152825180840184527f1f8532bb3e82f9722893a0912aa28d8cdeff200e140294782fc4a140ae8daa2a81527f2dfba347dcfde136ba7af67c81bbde662154a025867020a539b2629e82e696e381830152610200830152825180840184527f2feeed83c247c4a15f4b38e5752a6063fa522cdd12f3cbff22f28af3c578f5be81527f1fa005246305a8ce09021e77cfaedab8804398dd098a585613aa3b88a95c282d81830152610220830152825180840184527f0583543b354291c8547657758a197df52ae28c99f8aa23ab94754578c91ee41681527f1a2e10eb7fc5df171390a07148db02f6c50ab73b197ad7995321172cfbb2a1e281830152610240830152825180840184527f128686dedb77c7cb509be16f4444b4e6e6677d29d7688624e75b1942c21639b981527f2dd7e75919a9430b73f1afd7476d7e85b715561f4638d763be86eb9f6d414d0d81830152610260830152825180840184527f3011371cf9af8da17a99bac9400dc8130d5c8e80bb049dc0f68a3dcd71e22db881527f0ef5ef63ff733810bb5f3d0b29bc709eb7ca91765c2115ef386e3bf9967199e881830152610280830152825180840184527f10448f11a3ee571b99b76b75e5478f5b93329b5d09db94c3386aeca4ae60da7c81527f18dfb2765543a9688d8594c9a38e12651fb0e295bb563c70d3d182acea1fb9ee818301526102a0830152825180840184527f0d9c20cd67c25d1cc52be765d9a6d1e6ebbef0b223663751f64b625478fc3f6981527e5dd2bde3a26d831270b56a052455487206c7dde308b9174490b9d16464548d818301526102c0830152825180840184527f2f9836beaef073001c53cde434646295bbf40f36ebef0ff567b4a9ccfc5e053781527f0d212f43681e6ec1f75be9c9248255d9162123989da78b1d6796d9bf8327e350818301526102e0830152825180840184527f26a73f9cd40e4c9e9be3c882b8756e3da294e72da98bc21a2be3ae138235725781527f259cc202dc998d7ee2c13011de1e60e343deecdc2fa366de9802bd503661e4d581830152610300830152825180840184527f2194d92617bbb3ba3d9e53f4f13c5c7c6fc5ae0c56f06e0a35747f24625e576381527f11ca88979a66ada092bb26e2b64b8602eb63f6e2fc21862f6fefead2978de7e081830152610320830152825180840184527f1d346dd159688f85b77717f8197777c6ced8daf349335d74908736241f5f332881527f10e952d77959f4aa6fe9cb7222d9901d06ddfeea51240c79980d4daac814444381830152610340830152825180840184527f20b8784b739f9968d269d3db4e7e7e7e666acd5804af5ff4a54f8dfbea8d257281527f21ad5edf078583d5e29052c50b4e8d46067ddaae2aa2345c15a755074d932f9581830152610360830152825180840184527f062b31b3719d79c253d59707efcc41556e43d9f4f122ba79d3484e023fb4da7d81527f283eb52c07506637e09fb73d7875ada840d8e4c75295a90dc312b4d2571c52c38183015261038083015282518084018452600181526002818301526103a083015282518084019093527f274625a785b4433d3f7408db292a347f3517045493f185c0ccc07cfef5b652a883527f138082eaffbf47d522f5898d4445843724a51849296633009931f6da097a9607908301526103c081019190915290565b5f6103336120cd8385615a63565b61278a565b604080518082019091525f808252602082015260408051808201909152805f516020615c685f395f51905f5261210b60205f87896159fc565b61211491615a63565b61211e9190615a80565b81526020908101905f516020615c685f395f51905f52906121439060409087896159fc565b61214c91615a63565b6121569190615a80565b90529392505050565b61218660405180608001604052805f81526020015f81526020015f81526020015f81525090565b5f61219488888888886131e2565b90835292506121a383896134b1565b6040850191909152602084019190915291989197509095505050505050565b6121ca61574a565b5f6121d3615769565b8481526101008401805151602080840191909152905181015160408084019190915260a086018051516060850152518201516080840152516122369161221b91849101615a9f565b6040516020818303038152906040528051906020012061278a565b91505f61224283613538565b50808552905060015b6122576001601c6159d6565b8110156122a7576122888561226d6001846159d6565b601b811061227d5761227d615a23565b60200201518361272e565b8582601b811061229a5761229a615a23565b602002015260010161224b565b5050509250929050565b6122b9615787565b5f6122d08460405160200161221b91815260200190565b93506122db84613538565b50825260015b8381101561233857612319836122f86001846159d6565b601c811061230857612308615a23565b6020020151846114c06001856159d6565b8382601c811061232b5761232b615a23565b60200201526001016122e1565b509093915050565b612348615787565b5f805b8381101561240a5761235b6157a6565b8581525f5b60088110156123c45787610120015183601c811061238057612380615a23565b6020020151816008811061239657612396615a23565b6020020151826123a78360016159e9565b600981106123b7576123b7615a23565b6020020152600101612360565b506123d98160405160200161221b9190615ad2565b95505f6123e587613538565b8685601c81106123f7576123f7615a23565b602002019190915250505060010161234b565b5090949293505050565b5f5f61241e6157c5565b8381525f5b602981101561247157856101400151816029811061244357612443615a23565b6020020151826124548360016159e9565b602a811061246457612464615a23565b6020020152600101612423565b506124868160405160200161221b9190615b06565b91505f61249283613538565b5096929550919350505050565b5f80806124ad6001856159d6565b6124b89060026159bf565b6124c39060016159e9565b67ffffffffffffffff8111156124db576124db615a37565b604051908082528060200260200182016040528015612504578160200160208202803683370190505b50905084815f8151811061251a5761251a615a23565b60209081029190910101525f5b6125326001866159d6565b8110156125e55786610160015181601b811061255057612550615a23565b602002015151826125628360026159bf565b61256d9060016159e9565b8151811061257d5761257d615a23565b60200260200101818152505086610160015181601b81106125a0576125a0615a23565b602002015160200151828260026125b791906159bf565b6125c29060026159e9565b815181106125d2576125d2615a23565b6020908102919091010152600101612527565b506125fa8160405160200161221b9190615b3a565b91505f61260683613538565b509792965091945050505050565b5f80806126228460016159e9565b67ffffffffffffffff81111561263a5761263a615a37565b604051908082528060200260200182016040528015612663578160200160208202803683370190505b50905084815f8151811061267957612679615a23565b60209081029190910101525f5b848110156125e55786610180015181601c81106126a5576126a5615a23565b6020020151826126b68360016159e9565b815181106126c6576126c6615a23565b6020908102919091010152600101612686565b5f5f6126e36157e4565b8381526101a085018051516020808401919091529051810151604080840191909152516124869161221b91849101615b6f565b5f5f516020615c885f395f51905f52825b0692915050565b5f5f516020615c885f395f51905f5282840990505b92915050565b5f5f516020615c885f395f51905f528284089392505050565b5f5f516020615c885f395f51905f52825f516020615c885f395f51905f520384089392505050565b5f5f516020615c885f395f51905f5282612727565b5f6103338361077b84612aea565b815160208301515f9182916127c29190612749565b929092149392505050565b60408051610100810182527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec5181526102d060208201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff1191810191909152609060608201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71608082015260f060a08201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd3160c08201526113b060e08201525f906001825b60088110156128b4576128aa8261077b8784612762565b9150600101612893565b506128bd615802565b5f5b600881101561291e575f8482600881106128db576128db615a23565b602002015190506128f08161077b8985612762565b90506128fb81612aea565b90508083836008811061291057612910615a23565b6020020152506001016128bf565b505f5b6008811015612971575f87826008811061293d5761293d615a23565b6020020151905061295a818484600881106114d0576114d0615a23565b90506129668682612749565b955050600101612921565b506109b6848361272e565b5f5f61299260016107808561077b896001612762565b905061299e848261272e565b95945050505050565b5f6129b0615787565b6129bb868285613571565b6129c78686838661371d565b6129d386868386613905565b6129de868285613b54565b6129e9868285613d48565b6129f58686838661408b565b612a0086828561453d565b612a0b86828561494f565b612a16868285614d10565b6109b68185615010565b60605f8267ffffffffffffffff811115612a3c57612a3c615a37565b604051908082528060200260200182016040528015612a65578160200160208202803683370190505b50905083815f81518110612a7b57612a7b615a23565b602090810291909101015260015b83811015612ae257612abd82612aa06001846159d6565b81518110612ab057612ab0615a23565b6020026020010151612cb9565b828281518110612acf57612acf615a23565b6020908102919091010152600101612a89565b509392505050565b5f5f8290505f604051602081526020808201526020604082015282606082015260025f516020615c885f395f51905f520360808201525f516020615c885f395f51905f5260a082015260205f60c08360055afa80612b46575f5ffd5b505f51608091909101604052949350505050565b60605f8267ffffffffffffffff811115612b7657612b76615a37565b604051908082528060200260200182016040528015612b9f578160200160208202803683370190505b509050825b8015612cae575f85612bb76001846159d6565b81518110612bc757612bc7615a23565b602002602001015190505f89600184612be091906159d6565b601c8110612bf057612bf0615a23565b602002015190505f612c4b612c0f612c08858d61272e565b600261272e565b61079e8b612c1e6001896159d6565b601c8110612c2e57612c2e615a23565b602002015161077b612c458861077b60018a612762565b87612762565b9050612c6c8161077b610b35612c668761077b600189612762565b86612749565b99508990508085612c7e6001876159d6565b81518110612c8e57612c8e615a23565b60200260200101818152505050505080612ca790615ba2565b9050612ba4565b509695505050505050565b5f612743828361272e565b604080518082019091525f80825260208201525f612d037f000000000000000000000000000000000000000000000000000000000000000060246159e9565b612d0e9060026159e9565b90505f5b81811015612d4457612d3c858281518110612d2f57612d2f615a23565b6020026020010151612f0f565b600101612d12565b50604051600190815b60018401811015612da95760208102870160208202870181515160408501528151602001516060850152805160808501525050604080830160606040850160075afa8316925060408260808460065afa90921691600101612d4d565b5080518452602081015160208501525080612dd7576040516352ec174560e11b815260040160405180910390fd5b505092915050565b604080518082019091525f80825260208201525f516020615c685f395f51905f5282602001515f516020615c685f395f51905f52612e1d91906159d6565b612e279190615a80565b60208301525090565b5f5f5f612e3c86612ea6565b91509150612e48615802565b82518152602080840151818301528251604080840191909152838201516060840152875160808401528782015160a0840152865160c08401528682015160e084015251612e9b9161221b91849101615bb7565b979650505050505050565b6040805180820182525f808252602080830182815284518086018652838152808301938452865192870151608890811b9093178552948601516060870151831b179052608085015160a0860151821b17845260c085015160e090950151901b9093179092529091565b805160208201515f5f516020615c685f395f51905f528380095f516020615c685f395f51905f5260035f516020615c685f395f51905f52838709085f516020615c685f395f51905f528485091491505080612fac5760405162461bcd60e51b815260206004820152601960248201527f706f696e74206973206e6f74206f6e207468652063757276650000000000000060448201526064016100e5565b50505050565b604080518082019091525f8082526020820152604080518082019091525f8082526020820152612fe28386615069565b905061299e81856150d5565b81516020808401518351848301516040805194850195909552938301919091527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c260608301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60808301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60a08301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60c083015260e08201526101008101919091527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c16101208201527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b06101408201527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe46101608201527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101808201525f9081906101a00160405160208183030381529060405290505f5f60086001600160a01b0316836040516131849190615beb565b5f60405180830381855afa9150503d805f81146131bc576040519150601f19603f3d011682016040523d82523d5f602084013e6131c1565b606091505b50915091508180156109b65750808060200190518101906109b69190615c01565b5f80806131f08460016159e9565b6131fb9060066159e9565b67ffffffffffffffff81111561321357613213615a37565b60405190808252806020026020018201604052801561323c578160200160208202803683370190505b509050845f1b815f8151811061325457613254615a23565b60209081029190910101525f5b61326c6008866159d6565b8110156132bd5787878281811061328557613285615a23565b905060200201358282600161329a91906159e9565b815181106132aa576132aa615a23565b6020908102919091010152600101613261565b505f5b600881101561332e5788516132e89082600881106132e0576132e0615a23565b602002015190565b828260086132f78960016159e9565b61330191906159d6565b61330b91906159e9565b8151811061331b5761331b615a23565b60209081029190910101526001016132c0565b50602088015151816133418660016159e9565b8151811061335157613351615a23565b602090810291909101810191909152888101510151816133728660016159e9565b61337d9060016159e9565b8151811061338d5761338d615a23565b6020908102919091010152604088015151816133aa8660016159e9565b6133b59060026159e9565b815181106133c5576133c5615a23565b60209081029190910181019190915260408901510151816133e78660016159e9565b6133f29060036159e9565b8151811061340257613402615a23565b60209081029190910101526060880151518161341f8660016159e9565b61342a9060046159e9565b8151811061343a5761343a615a23565b602090810291909101810191909152606089015101518161345c8660016159e9565b6134679060056159e9565b8151811061347757613477615a23565b6020026020010181815250506134978160405160200161221b9190615b3a565b91506134a282613538565b50989197509095505050505050565b5f5f5f6134bc615821565b85815260c0858101805151602080850191909152905181015160408085019190915260e08801805151606086015251820151608080860191909152880180515160a08601525182015192840192909252905161351e9161221b91849101615c20565b915061352982613538565b90979096509194509092505050565b5f80826f7fffffffffffffffffffffffffffffff8116607f82901c61355c8261278a565b94506135678161278a565b9350505050915091565b5f61357d84600761514c565b90507f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f80000005f6135de6135d86135b2856003612762565b61077b6135cd6135c28b5f61514c565b61077b8c601d61514c565b61077b8b601c61514c565b8361272e565b905061365f61365461363b613622613609856107806135fe8d600261514c565b61077b8e601c61514c565b6107806136178c600361514c565b61077b8d601d61514c565b6107806136308b600461514c565b61077b8c601e61514c565b6107806136498a600561514c565b61077b8b601f61514c565b61078088600161514c565b905061367e81610780613673866001612762565b61077b8a602761514c565b905061368a818461272e565b9050613696818561272e565b8552505f90506136d06136c66136bb6136b088601c61514c565b61078089601f61514c565b61079e88602461514c565b610780875f61514c565b90506136e18161077b846002612762565b90506136f28161077b846001612762565b90506136fe818361272e565b905061370a818461272e565b9050808460015b60200201525050505050565b5f5f5f61375361374961373189601c61514c565b61078061373f8b601261514c565b8a6020015161272e565b8760400151612749565b905061378c8161077b61378261376a8b601d61514c565b6107806137788d601361514c565b8c6020015161272e565b8960400151612749565b90506137b18161077b6137826137a38b601e61514c565b6107806137788d601461514c565b90506137d68161077b6137826137c88b601f61514c565b6107806137788d601561514c565b92505f90506137fa6137496137ec89601c61514c565b61078061373f8b600e61514c565b905061381f8161077b6137826138118b601d61514c565b6107806137788d600f61514c565b90506138448161077b6137826138368b601e61514c565b6107806137788d601061514c565b90506138698161077b61378261385b8b601f61514c565b6107806137788d601161514c565b91505f905061389061388a61387f89602061514c565b6107808a601a61514c565b8461272e565b90506138c58161079e6138bf6138a78b602861514c565b6107806138b58d601b61514c565b8c6060015161272e565b8561272e565b90506138d1818561272e565b6040860152505f6138f46138bf6138e989601b61514c565b61077b8a602861514c565b606090950194909452505050505050565b5f5f5f61391a8660200151876020015161272e565b905061397e61396361395561393d6139338b601661514c565b8a60400151612749565b61078061394b8c601761514c565b8b6020015161272e565b6107806138bf8b601861514c565b6107806139746138bf8b601961514c565b896020015161272e565b9250505f6139948660200151876020015161272e565b90505f6139c16139a86137828a601c61514c565b6107806139b68b600361514c565b61077b8c602461514c565b90505f6139ea6139d28a601d61514c565b6107806139df8c5f61514c565b61077b8d602561514c565b90505f613a146139fb8b601e61514c565b610780613a098d600161514c565b61077b8e602661514c565b9050613a4f613a38613a2e85610780868e6020015161272e565b610780848861272e565b610780613778613a498e600461514c565b8861272e565b9450505050505f613a6461388a88602161514c565b90505f613a7561388a89602161514c565b90505f613aad613a94613a898b602361514c565b6107808c600661514c565b61079e613aa28c602361514c565b61077b8d600661514c565b90505f613ad1613acb613ac0878961272e565b61077b8d602161514c565b83612762565b9050613add818861272e565b90505f613b05613af7613af18d600661514c565b8761272e565b61079e613af18e602261514c565b90505f613b138c602361514c565b90505f613b23613acb838461272e565b60808c0185905260a08c018490529050613b3d818b61272e565b8b6006602002015250505050505050505050505050565b5f613b605f6001612762565b90505f613b6e5f6002612762565b90505f613b7c5f6003612762565b90505f613b98613b8d88601d61514c565b61079e89601c61514c565b90505f613bb4613ba989601e61514c565b61079e8a601d61514c565b90505f613bd0613bc58a601f61514c565b61079e8b601e61514c565b90505f613bec613be18b602461514c565b61079e8c601f61514c565b905083613bfd8161077b818b612749565b9050613c0d8161077b878a612749565b9050613c1d8161077b8789612749565b9050613c2e8161077b8d600861514c565b9050613c3a818a61272e565b60e08b01525082613c4f8161077b818b612749565b9050613c5f8161077b868a612749565b9050613c6f8161077b8689612749565b9050613c808161077b8d600861514c565b9050613c8c818a61272e565b6101008b01525081613ca28161077b818b612749565b9050613cb28161077b858a612749565b9050613cc28161077b8589612749565b9050613cd38161077b8d600861514c565b9050613cdf818a61272e565b6101208b01525080613cf58161077b818b612749565b9050613d058161077b848a612749565b9050613d158161077b8489612749565b9050613d268161077b8d600861514c565b9050613d32818a61272e565b610140909a019990995250505050505050505050565b613d816040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b613d8c84601d61514c565b8152613d9984601e61514c565b6020820152613da984602461514c565b6040820152613db984602761514c565b6060820152613dc984602661514c565b6080820152613dd984602561514c565b60a08201525f613dea85600261514c565b90505f613df7865f61514c565b90505f613e0b8460400151855f0151612762565b90505f613e208560200151866020015161272e565b606086015190915086905f90613e36908061272e565b90505f613e4e613a4989602001518a6060015161272e565b90505f613e6d613e668a60a001518b60400151612749565b8a51612749565b9050613e7c613af1828861272e565b9050613ea3613e9d613e97613e918487612762565b88612762565b84612749565b83612749565b9050613ecb613ec0613eb5838761272e565b61077b8f600961514c565b61077b60018a612762565b6101608c015250505050602085015160808601515f91613eea91612749565b90505f613f08613efe88606001518861272e565b8860200151612762565b90505f613f2c613f18848761272e565b6107806138bf8b60a001518c5f0151612762565b9050613f54613f49613f3e838c61272e565b61077b8e600961514c565b61077b600189612762565b6101808b0152505f9150613f759050613f6e836011612749565b875161272e565b90505f613f828384612749565b9050613f8e8182612749565b90505f613f9c83600961272e565b9050613fc5613fbf61388a613fb88b60a001518c5f0151612749565b8b51612749565b82612762565b60c089018190525f90613fe090613a4990613eb5908d61272e565b9050613ff38b600b602002015182612749565b6101608c0152505086515f925061401a9150613f6e906140139080612749565b8851612749565b90505f61405a6140358361077b8a5f01518b60a00151612762565b602089015161079e906140489080612749565b61077b8b602001518c60800151612749565b905061407789600c6020020151610780613a49613eb5858d61272e565b89600c602002015250505050505050505050565b6140f5604051806101e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b83515f90614103908061272e565b90505f61411382875f015161272e565b905061412961412388601e61514c565b8261272e565b80845261413e906107806138bf8a601d61514c565b80845261415a906107806141538a601c61514c565b895161272e565b80845261416c9061078089600161514c565b808452602084018190526141859061079e89601f61514c565b8352614195613b8d88602461514c565b60808401526141b36141a888602761514c565b61079e89601f61514c565b606084015260808301516141cc9061077b816001612762565b6101c0840152608083015161420c90614202906141fb9061077b60015f516020615c885f395f51905f526159d6565b6001612749565b846060015161272e565b60a08401819052614242906142349061077b6142298b600261514c565b61077b8c600361514c565b61077b613af18a600a61514c565b85600e60200201526101c0830151614266906142349061077b6142298b600261514c565b6101e0860152825161428b9061077b6142808a600261514c565b61077b8b600361514c565b6101208401525f6142aa6142a089601f61514c565b8560200151612762565b90506142bb8161077b836001612762565b60e08501526142ce6135d889602661514c565b604085018190526142ed906107806142e78b602561514c565b8661272e565b6040850181905261430d906107806143068b602461514c565b8a5161272e565b604085015261432a61432089602761514c565b8560400151612762565b60408501525f61433e613bc58a602661514c565b905061439061436b6135d86141fb886080015160015f516020615c885f395f51905f5261077b91906159d6565b61077b6141fb886040015160015f516020615c885f395f51905f5261077b91906159d6565b60c086015260408501516143b2906143a8908061272e565b8660400151612762565b61010086015260c08501516143e4906143d09061077b8c600461514c565b61077b6143de8c600a61514c565b8961272e565b6102008801526101c0850151614403906143d09061077b8c600461514c565b610220880152610100850151614422906143d09061077b8c600461514c565b61024088015260e085015161443c9061077b8b600461514c565b61014086015261445b6144508a602561514c565b61079e8b601d61514c565b610160860152608085015161449990613bc59061448e906141fb9061077b60015f516020615c885f395f51905f526159d6565b87610160015161272e565b61018086018190526101208601516101a087018190526144d0916107809061077b6144c58e600561514c565b61077b8f600261514c565b6101a0860181905285516144f091906107809061077b6144c58e5f61514c565b6101a086018190526101408601516145089190612749565b6101a086018190526145229061077b6143de8c600a61514c565b6101a0860181905287600d6020020152505050505050505050565b6145766040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6145ab61459261458786601c61514c565b61077b87602561514c565b6107806145a087602461514c565b61077b88601d61514c565b81526145f06145e56145cc6145c187601c61514c565b61077b88601f61514c565b6107806145da88601d61514c565b61077b89601e61514c565b61079e86602661514c565b6040820181905261460590600160441b61272e565b6040820181905261461b9061079e86602761514c565b60408201819052815161462e9190612749565b604082018190526146449061077b86600561514c565b6040820152805161465990600160441b61272e565b8082526146799061078061466e87602461514c565b61077b88602561514c565b808252602082018190526146a09061079e61469587601e61514c565b61078088601f61514c565b602082018190526146b69061077b86600461514c565b60208201528051606082018190526146d39061078086601f61514c565b606082018190526146f79061079e6146ec87602661514c565b61078088602761514c565b6060820181905261470c9061077b865f61514c565b8160600181815250505f61473561472b83602001518460400151612749565b8360600151612749565b90506147468161077b87600361514c565b905061475e61475686602561514c565b61400061272e565b608083018190526147749061078087602461514c565b608083018190526147879061400061272e565b6080830181905261479d9061078087601e61514c565b608083018190526147b09061400061272e565b608083018190526147c69061078087601d61514c565b608083018190526147d99061400061272e565b608083018190526147ef9061078087601c61514c565b608083018190526148059061079e87601f61514c565b6080830181905261481b9061077b87600561514c565b608083015261482e61475686602661514c565b60a083018190526148449061078087602561514c565b60a083018190526148579061400061272e565b60a0830181905261486d9061078087602461514c565b60a083018190526148809061400061272e565b60a083018190526148969061078087601f61514c565b60a083018190526148a99061400061272e565b60a083018190526148bf9061078087601e61514c565b60a083018190526148d59061079e87602761514c565b60a083018190526148ea9061077b875f61514c565b60a0830181905260808301515f916149029190612749565b90506149138161077b88600461514c565b905061491f8282612749565b60c084018190526149389061077b613af189600b61514c565b60c084018190528560136020020152505050505050565b6149c56040518061022001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6149de6149d385601c61514c565b61078086600261514c565b81526149f96149ee85601d61514c565b61078086600361514c565b6020820152614a17614a0c85601e61514c565b61078086600461514c565b6040820152614a35614a2a85601f61514c565b61078086600561514c565b60608201528051614a6790614a6090614a5990614a52908061272e565b845161272e565b835161272e565b825161272e565b60808201526020810151614aa590614a9b90614a9190614a87908061272e565b846020015161272e565b836020015161272e565b826020015161272e565b60a08201526040810151614ae390614ad990614acf90614ac5908061272e565b846040015161272e565b836040015161272e565b826040015161272e565b60c08201526060810151614b1790614b0d90614b0390614202908061272e565b836060015161272e565b826060015161272e565b60e0820152608081015160a0820151614b309190612749565b61010082015260c081015160e0820151614b4a9190612749565b61012082015260a0810151614b6e90614b639080612749565b826101200151612749565b61014082015260e0810151614b9290614b879080612749565b826101000151612749565b610160820152610120810151614ba89080612749565b6101e08201819052614bc990614bbe9080612749565b826101600151612749565b6101e0820152610100810151614bdf9080612749565b6101a08201819052614c0090614bf59080612749565b826101400151612749565b6101a08201819052610160820151614c1791612749565b6101808201526101408101516101e0820151614c339190612749565b6101c0820152614c476135d885600c61514c565b6102008201819052610280840151610180830151614c72926107809161077b9061079e8a602461514c565b8360146020020152614ca2836015602002015161078083610200015161077b856101a0015161079e8a602561514c565b8360156020020152614cd2836016602002015161078083610200015161077b856101c0015161079e8a602661514c565b8360166020020152614d02836017602002015161078083610200015161077b856101e0015161079e8a602761514c565b836017602002015250505050565b614d626040518061016001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f6040518060800160405280614d977f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e7612716565b8152602001614dc57f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b612716565b8152602001614df27e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac15612716565b8152602001614e207f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b612716565b90529050614e3d614e3286601c61514c565b61078087600261514c565b6101208301819052614e7c90614e7190614e6690614e5b908061272e565b85610120015161272e565b84610120015161272e565b83610120015161272e565b8252614e8985601d61514c565b6020830152614e9985601e61514c565b6040830152614ea985601f61514c565b606083015281516020830151614ed19161472b91614ec79190612749565b8460400151612749565b6080830152614ee461388a86600d61514c565b6101408301528151614f0590614efb90835f6114d0565b8360800151612749565b60a0830152614f31846018602002015161078084610140015161077b8660a0015161079e8b602461514c565b6103008501526020820151614f4c90614efb908360016114d0565b60c0830152614f78846019602002015161078084610140015161077b8660c0015161079e8b602561514c565b6103208501526040820151614f9390614efb908360026114d0565b60e0830152614fbf84601a602002015161078084610140015161077b8660e0015161079e8b602661514c565b6103408501526060820151614fda90614efb908360036114d0565b61010083015261500884601b602002015161078084610140015161077b86610100015161079e8b602761514c565b84601b613711565b815160015b601c81101561506257615058826107808684601c811061503757615037615a23565b6020020151866150486001876159d6565b601b81106114d0576114d0615a23565b9150600101615015565b5092915050565b604080518082019091525f8082526020820152604080518082019091525f8082526020820152604051835181526020840151602082015284604082015260408160608360075afa806150b9575f5ffd5b5080518252602080820151908301526060016040529392505050565b604080518082019091525f8082526020820152604080518082019091525f80825260208201526040518451815260208501516020820152835160408201526020840151606082015260408160808360065afa80615130575f5ffd5b5080518252602080820151908301526080016040529392505050565b5f8282602881111561516057615160615c53565b6029811061517057615170615a23565b60200201519392505050565b604051806103e001604052805f81526020015f81526020015f81526020016151b560405180604001604052805f81526020015f81525090565b81526020016151d560405180604001604052805f81526020015f81525090565b81526020016151f560405180604001604052805f81526020015f81525090565b815260200161521560405180604001604052805f81526020015f81525090565b815260200161523560405180604001604052805f81526020015f81525090565b815260200161525560405180604001604052805f81526020015f81525090565b815260200161527560405180604001604052805f81526020015f81525090565b815260200161529560405180604001604052805f81526020015f81525090565b81526020016152b560405180604001604052805f81526020015f81525090565b81526020016152d560405180604001604052805f81526020015f81525090565b81526020016152f560405180604001604052805f81526020015f81525090565b815260200161531560405180604001604052805f81526020015f81525090565b815260200161533560405180604001604052805f81526020015f81525090565b815260200161535560405180604001604052805f81526020015f81525090565b815260200161537560405180604001604052805f81526020015f81525090565b815260200161539560405180604001604052805f81526020015f81525090565b81526020016153b560405180604001604052805f81526020015f81525090565b81526020016153d560405180604001604052805f81526020015f81525090565b81526020016153f560405180604001604052805f81526020015f81525090565b815260200161541560405180604001604052805f81526020015f81525090565b815260200161543560405180604001604052805f81526020015f81525090565b815260200161545560405180604001604052805f81526020015f81525090565b815260200161547560405180604001604052805f81526020015f81525090565b815260200161549560405180604001604052805f81526020015f81525090565b81526020016154b560405180604001604052805f81526020015f81525090565b81526020016154d560405180604001604052805f81526020015f81525090565b81526020016154f560405180604001604052805f81526020015f81525090565b815260200161551560405180604001604052805f81526020015f81525090565b905290565b604051806101e0016040528061552e615802565b815260200161554e60405180604001604052805f81526020015f81525090565b815260200161556e60405180604001604052805f81526020015f81525090565b815260200161558e60405180604001604052805f81526020015f81525090565b81526020016155ae60405180604001604052805f81526020015f81525090565b81526020016155ce60405180604001604052805f81526020015f81525090565b81526020016155ee60405180604001604052805f81526020015f81525090565b815260200161560e60405180604001604052805f81526020015f81525090565b815260200161562e60405180604001604052805f81526020015f81525090565b815260200161563b61583f565b815260200161564861586d565b815260200161565561588c565b81526020016154d5615787565b60405180610100016040528061569560405180608001604052805f81526020015f81526020015f81526020015f81525090565b81526020016156a261574a565b81526020016156af615787565b81526020016156bc615787565b81526020015f81526020015f81526020015f81526020015f81525090565b604051806101c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020016157186158c5565b81526020016157256158c5565b81526020015f81526020015f81526020015f81526020015f8152602001606081525090565b604051806103600160405280601b906020820280368337509192915050565b6040518060a001604052806005906020820280368337509192915050565b604051806103800160405280601c906020820280368337509192915050565b6040518061012001604052806009906020820280368337509192915050565b604051806105400160405280602a906020820280368337509192915050565b60405180606001604052806003906020820280368337509192915050565b6040518061010001604052806008906020820280368337509192915050565b6040518060e001604052806007906020820280368337509192915050565b604051806103800160405280601c905b615857615802565b81526020019060019003908161584f5790505090565b6040518061052001604052806029906020820280368337509192915050565b604051806103600160405280601b905b604080518082019091525f808252602082015281526020019060019003908161589c5790505090565b60405180608001604052806004906020820280368337509192915050565b5f5f5f5f604085870312156158f6575f5ffd5b843567ffffffffffffffff81111561590c575f5ffd5b8501601f8101871361591c575f5ffd5b803567ffffffffffffffff811115615932575f5ffd5b876020828401011115615943575f5ffd5b60209182019550935085013567ffffffffffffffff811115615963575f5ffd5b8501601f81018713615973575f5ffd5b803567ffffffffffffffff811115615989575f5ffd5b8760208260051b840101111561599d575f5ffd5b949793965060200194505050565b634e487b7160e01b5f52601160045260245ffd5b8082028115828204841417612743576127436159ab565b81810381811115612743576127436159ab565b80820180821115612743576127436159ab565b5f5f85851115615a0a575f5ffd5b83861115615a16575f5ffd5b5050820193919092039150565b634e487b7160e01b5f52603260045260245ffd5b634e487b7160e01b5f52604160045260245ffd5b5f60018201615a5c57615a5c6159ab565b5060010190565b80356020831015612743575f19602084900360031b1b1692915050565b5f82615a9a57634e487b7160e01b5f52601260045260245ffd5b500690565b5f8183825b6005811015615ac3578151835260209283019290910190600101615aa4565b50505060a08201905092915050565b5f8183825b6009811015615af6578151835260209283019290910190600101615ad7565b5050506101208201905092915050565b5f8183825b602a811015615b2a578151835260209283019290910190600101615b0b565b5050506105408201905092915050565b81515f90829060208501835b82811015615b64578151845260209384019390910190600101615b46565b509195945050505050565b5f8183825b6003811015615b93578151835260209283019290910190600101615b74565b50505060608201905092915050565b5f81615bb057615bb06159ab565b505f190190565b5f8183825b6008811015615bdb578151835260209283019290910190600101615bbc565b5050506101008201905092915050565b5f82518060208501845e5f920191825250919050565b5f60208284031215615c11575f5ffd5b81518015158114610333575f5ffd5b5f8183825b6007811015615c44578151835260209283019290910190600101615c25565b50505060e08201905092915050565b634e487b7160e01b5f52602160045260245ffdfe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4730644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001a26469706673582212200501a538f2a85eb33da9cff1fa5d29cfadb39b1125c5500a0bbcd3d2a7ba025464736f6c634300081e0033";
4
+ export declare const HonkVerifierBytecode = "0x610100604052348015610010575f5ffd5b506301000000608052601860a0527f03283433ea4127dbfc7e979496d557867240e6a1ca611eb1684aaadb63b9a7fd60c05260a760e05260805160a05160c05160e051615cdf6100de5f395f818161018101526107ae01525f61016001525f8181605b01528181609401528181610101015281816101a2015281816108c7015281816109d401528181610a0001528181610a7b015281816112d401528181611374015281816115c30152818161160f0152818161165d015281816116b40152612cdf01525f5050615cdf5ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b3660046158e5565b610054565b604051901515815260200160405180910390f35b5f5f61007f7f000000000000000000000000000000000000000000000000000000000000000061028c565b905061008c8160206159c1565b85146100ee577f0000000000000000000000000000000000000000000000000000000000000000856100bf8360206159c1565b6040516359895a5360e01b81526004810193909352602483019190915260448201526064015b60405180910390fd5b5f6100f761033a565b90505f61012588887f000000000000000000000000000000000000000000000000000000000000000061034f565b90506008826040015161013891906159d8565b85146101575760405163fa06659360e01b815260040160405180910390fd5b5f6101c68288887f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000006106a6565b90506102168787808060200260200160405190810160405280939291908181526020018383602002808284375f920191909152505085518551602081015160409091015191935091506001610758565b8151606001525f61022783836108bf565b905080610247576040516313f8744360e31b815260040160405180910390fd5b5f6102538486856109c0565b905080610273576040516352ec174560e11b815260040160405180910390fd5b81801561027d5750805b9b9a5050505050505050505050565b5f8061029a600260086159c1565b905060016102a96008856159c1565b6102b391906159c1565b6102bd90826159eb565b90506102cb600160296159c1565b6102d590826159eb565b905060026102e46001856159d8565b6102ee91906159c1565b6102f890826159eb565b90506103056001846159c1565b61030f90826159eb565b905061031c6002806159c1565b61032690826159eb565b90506103336008826159eb565b9392505050565b61034261517e565b61034a611786565b905090565b61035761551c565b5f805b60088110156103b9576103868683876103746020836159eb565b92610381939291906159fe565b6120c1565b8351826008811061039957610399615a25565b6020020181815250506020826103af91906159eb565b915060010161035a565b506103dd8582866103cb6040836159eb565b926103d8939291906159fe565b6120d4565b60208301526103ed6040826159eb565b90506104008582866103cb6040836159eb565b60408084019190915261041390826159eb565b90506104268582866103cb6040836159eb565b60608301526104366040826159eb565b90506104498582866103cb6040836159eb565b60c08301526104596040826159eb565b905061046c8582866103cb6040836159eb565b60e083015261047c6040826159eb565b905061048f8582866103cb6040836159eb565b608083015261049f6040826159eb565b90506104b28582866103cb6040836159eb565b6101008301526104c36040826159eb565b90506104d68582866103cb6040836159eb565b60a08301526104e66040826159eb565b90505f5b83811015610564575f5b600881101561055b5761050e8784886103746020836159eb565b84610120015183601c811061052557610525615a25565b6020020151826008811061053b5761053b615a25565b60200201818152505060208361055191906159eb565b92506001016104f4565b506001016104ea565b505f5b60298110156105b8576105818683876103746020836159eb565b836101400151826029811061059857610598615a25565b6020020181815250506020826105ae91906159eb565b9150600101610567565b505f5b6105c66001856159d8565b81101561060f576105de8683876103cb6040836159eb565b83610160015182601b81106105f5576105f5615a25565b60200201526106056040836159eb565b91506001016105bb565b505f5b838110156106625761062b8683876103746020836159eb565b83610180015182601c811061064257610642615a25565b60200201818152505060208261065891906159eb565b9150600101610612565b506106748582866103cb6040836159eb565b6101a08301526106856040826159eb565b90506106988582866103cb6040836159eb565b6101c0830152509392505050565b6106ae615664565b5f6106bd888888888886612161565b90835290506106cc81896121c4565b602084019190915290506106e081846122b3565b604084019190915290506106f5888285612342565b606084019190915290506107098882612416565b6080840191909152905061071e8882856124a1565b60a08401919091529050610733888285612616565b60c0840191909152905061074788826126db565b5060e0830152509695505050505050565b5f60018082610785866107808961077b6107768a63100000006159eb565b612718565b612730565b61274b565b90505f6107a38761079e8a61077b6107768b60016159eb565b612764565b90505f5b6107d260087f00000000000000000000000000000000000000000000000000000000000000006159d8565b81101561083f575f6107fc8c83815181106107ef576107ef615a25565b602002602001015161278c565b905061080c8661077b868461274b565b955061081c8561077b858461274b565b9450610828848b61274b565b9350610834838b612764565b9250506001016107a7565b505f5b60088110156108a6575f8a826008811061085e5761085e615a25565b602002015190506108738661077b868461274b565b95506108838561077b858461274b565b945061088f848b61274b565b935061089b838b612764565b925050600101610842565b506108b184846127a1565b9a9950505050505050505050565b5f806001815b7f0000000000000000000000000000000000000000000000000000000000000000811015610996575f86610120015182601c811061090557610905615a25565b602002015190505f61091782866127af565b905080610937576040516313f8744360e31b815260040160405180910390fd5b5f876060015184601c811061094e5761094e615a25565b6020020151905061095f83826127cf565b9550610986886040015185601c811061097a5761097a615a25565b6020020151868361297e565b94505050508060010190506108c5565b505f6109b0866101400151865f01518760200151856129a9565b90508281145b9695505050505050565b5f6109c96156dc565b5f6109f88460a001517f0000000000000000000000000000000000000000000000000000000000000000612a22565b90505f610a267f000000000000000000000000000000000000000000000000000000000000000060246159eb565b610a319060026159eb565b67ffffffffffffffff811115610a4957610a49615a39565b604051908082528060200260200182016040528015610a72578160200160208202803683370190505b5090505f610aa17f000000000000000000000000000000000000000000000000000000000000000060246159eb565b610aac9060026159eb565b67ffffffffffffffff811115610ac457610ac4615a39565b604051908082528060200260200182016040528015610b0857816020015b604080518082019091525f8082526020820152815260200190600190039081610ae25790505b509050610b3a610b358760e00151855f81518110610b2857610b28615a25565b6020026020010151612764565b612aec565b84610120018181525050610b6e610b358760e00151855f81518110610b6157610b61615a25565b602002602001015161274b565b610140850181905261012085015160c0880151610b8f926107809190612730565b845260a0860151610bbf90610ba390612aec565b61077b86610120015161079e8a60c00151896101400151612730565b6020850152815160019083905f90610bd957610bd9615a25565b602002602001018181525050876101a00151815f81518110610bfd57610bfd615a25565b6020908102919091010152600160a08501525f60c085015283515f516020615c8a5f395f51905f5203604085015260208401515f516020615c8a5f395f51905f5203606085015260015b60248111610cea57610c6185604001518660a00151612730565b838281518110610c7357610c73615a25565b602002602001018181525050610cbc8560c001516107808b6101400151600185610c9d91906159d8565b60298110610cad57610cad615a25565b60200201518860a00151612730565b60c086015260a08501516080880151610cd59190612730565b60a0860152610ce381615a4d565b9050610c47565b505f5b6005811015610db8575f610d02601d836159eb565b90505f610d106024846159eb565b9050610d41858381518110610d2757610d27615a25565b602002602001015161078089606001518a60a00151612730565b858381518110610d5357610d53615a25565b602002602001018181525050610d908760c001516107808d61014001518460298110610d8157610d81615a25565b60200201518a60a00151612730565b60c088015260a087015160808a0151610da99190612730565b60a08801525050600101610ced565b50866060015181600181518110610dd157610dd1615a25565b6020026020010181905250866080015181600281518110610df457610df4615a25565b60200260200101819052508660a0015181600381518110610e1757610e17615a25565b60200260200101819052508660c0015181600481518110610e3a57610e3a615a25565b60200260200101819052508660e0015181600581518110610e5d57610e5d615a25565b602002602001018190525086610100015181600681518110610e8157610e81615a25565b602002602001018190525086610120015181600781518110610ea557610ea5615a25565b602002602001018190525086610140015181600881518110610ec957610ec9615a25565b602002602001018190525086610160015181600981518110610eed57610eed615a25565b6020026020010181905250866101c0015181600a81518110610f1157610f11615a25565b602002602001018190525086610180015181600b81518110610f3557610f35615a25565b6020026020010181905250866101a0015181600c81518110610f5957610f59615a25565b6020026020010181905250866101e0015181600d81518110610f7d57610f7d615a25565b602002602001018190525086610200015181600e81518110610fa157610fa1615a25565b602002602001018190525086610220015181600f81518110610fc557610fc5615a25565b602002602001018190525086610240015181601081518110610fe957610fe9615a25565b60200260200101819052508661026001518160118151811061100d5761100d615a25565b60200260200101819052508661028001518160128151811061103157611031615a25565b6020026020010181905250866102a001518160138151811061105557611055615a25565b6020026020010181905250866102c001518160148151811061107957611079615a25565b6020026020010181905250866102e001518160158151811061109d5761109d615a25565b6020026020010181905250866103000151816016815181106110c1576110c1615a25565b6020026020010181905250866103200151816017815181106110e5576110e5615a25565b60200260200101819052508661034001518160188151811061110957611109615a25565b60200260200101819052508661036001518160198151811061112d5761112d615a25565b602002602001018190525086610380015181601a8151811061115157611151615a25565b6020026020010181905250866103a0015181601b8151811061117557611175615a25565b6020026020010181905250866103c0015181601c8151811061119957611199615a25565b6020026020010181905250876020015181601d815181106111bc576111bc615a25565b6020026020010181905250876040015181601e815181106111df576111df615a25565b6020026020010181905250876060015181601f8151811061120257611202615a25565b602002602001018190525087608001518160208151811061122557611225615a25565b60200260200101819052508760a001518160218151811061124857611248615a25565b60200260200101819052508761010001518160228151811061126c5761126c615a25565b60200260200101819052508760c001518160238151811061128f5761128f615a25565b60200260200101819052508760e00151816024815181106112b2576112b2615a25565b60200260200101819052505f6112f887606001518660c001518b6101800151877f0000000000000000000000000000000000000000000000000000000000000000612b5c565b9050611322815f8151811061130f5761130f615a25565b6020026020010151866101200151612730565b608086018190526101808a01515160c08901516113539291610780916113489190612730565b886101400151612730565b608086015260c087015161136690612cbb565b60a08601525f5b61139860017f00000000000000000000000000000000000000000000000000000000000000006159d8565b8110156115a7576113c8610b358960e00151878460016113b891906159eb565b81518110610b2857610b28615a25565b61012087015260e08801516113f790610b3590876113e78560016159eb565b81518110610b6157610b61615a25565b61014087015260a08601516101208701516114129190612730565b61016087015260a086015160c089015161143a9161142f91612730565b876101400151612730565b610180870181905261146f905f516020615c8a5f395f51905f52036101608801515f516020615c8a5f395f51905f520361274b565b848261147d602460016159eb565b61148791906159eb565b8151811061149757611497615a25565b6020026020010181815250505f6114da8761018001518c61018001518460016114c091906159eb565b601c81106114d0576114d0615a25565b6020020151612730565b905061151481610780896101600151868660016114f791906159eb565b8151811061150757611507615a25565b6020026020010151612730565b905061152487608001518261274b565b608088015260a087015160c08a015161154a9161154091612730565b8a60c00151612730565b60a08801526101608b015182601b811061156657611566615a25565b60200201518483611579602460016159eb565b61158391906159eb565b8151811061159357611593615a25565b60209081029190910101525060010161136d565b50604080518082019091526001815260026020820152826115e97f000000000000000000000000000000000000000000000000000000000000000060246159eb565b815181106115f9576115f9615a25565b60209081029190910101526080850151836116357f000000000000000000000000000000000000000000000000000000000000000060246159eb565b8151811061164557611645615a25565b60209081029190910101526101c089015180836116837f000000000000000000000000000000000000000000000000000000000000000060246159eb565b61168e9060016159eb565b8151811061169e5761169e615a25565b602090810291909101015260e0880151846116da7f000000000000000000000000000000000000000000000000000000000000000060246159eb565b6116e59060016159eb565b815181106116f5576116f5615a25565b6020026020010181815250505f61170c8486612cc6565b90505f61171883612de1565b90505f6117298d5f01518484612e32565b90505f5f6117398f5f0151612ea8565b9150915061174682612f11565b61174f81612f11565b61175a858385612fb4565b9450611767848285612fb4565b93506117738585612ff0565b9f9e505050505050505050505050505050565b61178e61517e565b50604080516103e08101825263010000008152601860208083019190915260a782840152825180840184527f29f13b36c63603df2c6cdd0b843a5ccf83c98ea1a0fb68c4a0db553cab1311da81527f1c715aa948a89a92d1cf42c53c6e9b75bc7ef5b6a26551089ea4592af7bc23c6818301526060830152825180840184527f28ef3f7c626ce65a6902c8f5df1099fa1a7134bb48e6d3d08ee16db205e889b381527f2a959acd6e8b7f1d2637e82e3ee258a7d836c1af9fcbf966717010080df1eaa2818301526080830152825180840184527f06a12e97212b59b98c6c2fe4eb2a5c72a30cc0e1e91f0e4ed172b799a9fab7d581527f1fb4b0f8e12e5cd975184c58041a8a7bbe34d5f4c761ae2f2230149a51e9e6548183015260a0830152825180840184527f0c067799b7cabe77e4eb7e35ee24e367b0f6cc07232ef176d11978b6548e676781527f0b7570919561a62913a84189015f45f1778bc4fab1418fe058f679314a5abd9c8183015260c0830152825180840184527f2c51ac1e1c0f608352eb0056b45a45f2ad450d772cfcd9cc5c81b9f76474e37281527f1baa38146c622af2bb4f30efa399a689783bc8f588af0352f9501970ba20a87b8183015260e0830152825180840184527f030e47bfb15824bb1a220786bbcfede7bd47a6a1c514ae8e941217d19eca1a0681527f13d415b5a45fd6dc6993e94f773608278d071c1c040782915a0c6a64656deb8a81830152610100830152825180840184527f0d5cd90aceba65851b2ed0af6db9a5d741f62886d05381d516916a3e1b72cbf681527f08207020e5d8f9360f392c108796ee1b6b58c6cd8a259a85ac8c76ac30fcac4581830152610120830152825180840184527f1eb813f3af6a65dbd7199c4f80225777d30877959a5efd16b9460252ee9455a381527f23db0e832dacb3d57e84df60498392ceb8c9ebded1f3486433ca9d51eb9f5e1881830152610140830152825180840184527f1075a1f463c1fcf4a98ef8157e0b313a1845f58e2fcfd9024d936f2cb7a4a33a81527f28f5f4038a3cf23fdd1e1b2edfe561b0457053ffd7c4eb48ddfee86d380b4ff481830152610160830152825180840184527f108ba73a24e693b4280b41380e417e1a66581a60e698d7ad91ba6796af94cfc781527f22dd20de874310e033e20f35adf11eb07b5be49df338dc524dcf7127413426b881830152610180830152825180840184527f2ea423222f367697033b489ae4007f685f80dad5e179257bb95cb8f3b615bb9081527f30066d85237e0918961a583a9cfaf0cfa21213fa902f4feabbf4a0bf835cd1d9818301526101a0830152825180840184527f10cedadab7e912bbe987fc86334eed65f97df6fd5f55eef455d5c50fa34a745d81527f1945f210a1324a76edca3a9dafea7f5ee9327c42200a8590c5e5228ae339fa4b818301526101c0830152825180840184527f01279e522f1aa5ee5f175649ac506acd35eea3f5aa52cd96e35aaf2ace0acf0b81527f17309146bcd19bf48eb704e50be86506b8f6641c27827844c382e179c3efad1a818301526101e0830152825180840184527f2532ed35f6d84a7987415f529052293b0299c119ac3ea159ed09d489b9ff3b8581527f0291068f76ff6a133110ba332df3acbd2c429ef6fc7dc4e5890a30bd9925745981830152610200830152825180840184527f09000a699e3ad80b08fbffe0f39319201c3c7df4e18b0dcf360e3ba7bba497ca81527f024c9d2daf06a9effedaa31c8d3b10a2e61ed7de526d32ad7854dee103cda93881830152610220830152825180840184527f12e3ff67a11b346fd08116eafe67cecdde0ce46a78fd23693e943b79178dca1681527f1e25a991ccb6c56209cb6b4d2d00eb050886b10164dc4c72a8afce6b859f50dd81830152610240830152825180840184527f0dcadef02eb38d2acb010e6034aae7ef2455bb9f0502ef7d8294724d0f48d3c181527f21aabf13f5bb0d86af4f22d133a143cd8a8b84f5f5fcd411cca79ab0324a7cae81830152610260830152825180840184527f07dd9d2903434c1b090f16695e1933982b73338172cfbf30bd300c5c30dc3e4881527f0683d4bbb0a94563fe197f1c94783375e1d39967506a6a1ed84dfb3dab76e0b981830152610280830152825180840184527f28f0fe6358b508e50d0c0974e90ca964107acf7c6410c12fc3fb548626c31ff681527f096568eeeaa264778d6197602ec70948ebee44cee79334edcf01cd4128077762818301526102a0830152825180840184527f1925b8a1fc15bda192821e9617de6226fc18da486488b66c9b02370a0f02ee5581527f2f217ad241880b147481da14527aa1732c9e68a95e011f579a394cb2f254c059818301526102c0830152825180840184527f1c3e3dd8ed2267546aec250cd822afcb940ee0df0f2ac62ccc64ef10a32fa39b81527f04d84ffe345778db75e2003b3a2947fb5d612646f169b4749bd0f6d2a00b21d5818301526102e0830152825180840184527eb5bffe09de82571170c06d65833eb42cfe96327efdb70e31ffab79d854ef1281527f2ebca7701bb11eab3da3ca5e88bee81374034d18f452407a4016d69b64427cbe81830152610300830152825180840184527f2194d92617bbb3ba3d9e53f4f13c5c7c6fc5ae0c56f06e0a35747f24625e576381527f11ca88979a66ada092bb26e2b64b8602eb63f6e2fc21862f6fefead2978de7e081830152610320830152825180840184527f1d346dd159688f85b77717f8197777c6ced8daf349335d74908736241f5f332881527f10e952d77959f4aa6fe9cb7222d9901d06ddfeea51240c79980d4daac814444381830152610340830152825180840184527f20b8784b739f9968d269d3db4e7e7e7e666acd5804af5ff4a54f8dfbea8d257281527f21ad5edf078583d5e29052c50b4e8d46067ddaae2aa2345c15a755074d932f9581830152610360830152825180840184527f062b31b3719d79c253d59707efcc41556e43d9f4f122ba79d3484e023fb4da7d81527f283eb52c07506637e09fb73d7875ada840d8e4c75295a90dc312b4d2571c52c38183015261038083015282518084018452600181526002818301526103a083015282518084019093527f177e3cdf761b7ac2ca1a76ed4d7808b7df0dc7b82589529a692642fa1d94c67683527f016f7afe942b343181bdb40aaf4b5aece1c9d2aed1cd4ff3a7c3dadf36bbd494908301526103c081019190915290565b5f6103336120cf8385615a65565b61278c565b604080518082019091525f808252602082015260408051808201909152805f516020615c6a5f395f51905f5261210d60205f87896159fe565b61211691615a65565b6121209190615a82565b81526020908101905f516020615c6a5f395f51905f52906121459060409087896159fe565b61214e91615a65565b6121589190615a82565b90529392505050565b61218860405180608001604052805f81526020015f81526020015f81526020015f81525090565b5f61219688888888886131e4565b90835292506121a583896134b3565b6040850191909152602084019190915291989197509095505050505050565b6121cc61574c565b5f6121d561576b565b8481526101008401805151602080840191909152905181015160408084019190915260a086018051516060850152518201516080840152516122389161221d91849101615aa1565b6040516020818303038152906040528051906020012061278c565b91505f6122448361353a565b50808552905060015b6122596001601c6159d8565b8110156122a95761228a8561226f6001846159d8565b601b811061227f5761227f615a25565b602002015183612730565b8582601b811061229c5761229c615a25565b602002015260010161224d565b5050509250929050565b6122bb615789565b5f6122d28460405160200161221d91815260200190565b93506122dd8461353a565b50825260015b8381101561233a5761231b836122fa6001846159d8565b601c811061230a5761230a615a25565b6020020151846114c06001856159d8565b8382601c811061232d5761232d615a25565b60200201526001016122e3565b509093915050565b61234a615789565b5f805b8381101561240c5761235d6157a8565b8581525f5b60088110156123c65787610120015183601c811061238257612382615a25565b6020020151816008811061239857612398615a25565b6020020151826123a98360016159eb565b600981106123b9576123b9615a25565b6020020152600101612362565b506123db8160405160200161221d9190615ad4565b95505f6123e78761353a565b8685601c81106123f9576123f9615a25565b602002019190915250505060010161234d565b5090949293505050565b5f5f6124206157c7565b8381525f5b602981101561247357856101400151816029811061244557612445615a25565b6020020151826124568360016159eb565b602a811061246657612466615a25565b6020020152600101612425565b506124888160405160200161221d9190615b08565b91505f6124948361353a565b5096929550919350505050565b5f80806124af6001856159d8565b6124ba9060026159c1565b6124c59060016159eb565b67ffffffffffffffff8111156124dd576124dd615a39565b604051908082528060200260200182016040528015612506578160200160208202803683370190505b50905084815f8151811061251c5761251c615a25565b60209081029190910101525f5b6125346001866159d8565b8110156125e75786610160015181601b811061255257612552615a25565b602002015151826125648360026159c1565b61256f9060016159eb565b8151811061257f5761257f615a25565b60200260200101818152505086610160015181601b81106125a2576125a2615a25565b602002015160200151828260026125b991906159c1565b6125c49060026159eb565b815181106125d4576125d4615a25565b6020908102919091010152600101612529565b506125fc8160405160200161221d9190615b3c565b91505f6126088361353a565b509792965091945050505050565b5f80806126248460016159eb565b67ffffffffffffffff81111561263c5761263c615a39565b604051908082528060200260200182016040528015612665578160200160208202803683370190505b50905084815f8151811061267b5761267b615a25565b60209081029190910101525f5b848110156125e75786610180015181601c81106126a7576126a7615a25565b6020020151826126b88360016159eb565b815181106126c8576126c8615a25565b6020908102919091010152600101612688565b5f5f6126e56157e6565b8381526101a085018051516020808401919091529051810151604080840191909152516124889161221d91849101615b71565b5f5f516020615c8a5f395f51905f52825b0692915050565b5f5f516020615c8a5f395f51905f5282840990505b92915050565b5f5f516020615c8a5f395f51905f528284089392505050565b5f5f516020615c8a5f395f51905f52825f516020615c8a5f395f51905f520384089392505050565b5f5f516020615c8a5f395f51905f5282612729565b5f6103338361077b84612aec565b815160208301515f9182916127c4919061274b565b929092149392505050565b60408051610100810182527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec5181526102d060208201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff1191810191909152609060608201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71608082015260f060a08201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd3160c08201526113b060e08201525f906001825b60088110156128b6576128ac8261077b8784612764565b9150600101612895565b506128bf615804565b5f5b6008811015612920575f8482600881106128dd576128dd615a25565b602002015190506128f28161077b8985612764565b90506128fd81612aec565b90508083836008811061291257612912615a25565b6020020152506001016128c1565b505f5b6008811015612973575f87826008811061293f5761293f615a25565b6020020151905061295c818484600881106114d0576114d0615a25565b9050612968868261274b565b955050600101612923565b506109b68483612730565b5f5f61299460016107808561077b896001612764565b90506129a08482612730565b95945050505050565b5f6129b2615789565b6129bd868285613573565b6129c98686838661371f565b6129d586868386613907565b6129e0868285613b56565b6129eb868285613d4a565b6129f78686838661408d565b612a0286828561453f565b612a0d868285614951565b612a18868285614d12565b6109b68185615012565b60605f8267ffffffffffffffff811115612a3e57612a3e615a39565b604051908082528060200260200182016040528015612a67578160200160208202803683370190505b50905083815f81518110612a7d57612a7d615a25565b602090810291909101015260015b83811015612ae457612abf82612aa26001846159d8565b81518110612ab257612ab2615a25565b6020026020010151612cbb565b828281518110612ad157612ad1615a25565b6020908102919091010152600101612a8b565b509392505050565b5f5f8290505f604051602081526020808201526020604082015282606082015260025f516020615c8a5f395f51905f520360808201525f516020615c8a5f395f51905f5260a082015260205f60c08360055afa80612b48575f5ffd5b505f51608091909101604052949350505050565b60605f8267ffffffffffffffff811115612b7857612b78615a39565b604051908082528060200260200182016040528015612ba1578160200160208202803683370190505b509050825b8015612cb0575f85612bb96001846159d8565b81518110612bc957612bc9615a25565b602002602001015190505f89600184612be291906159d8565b601c8110612bf257612bf2615a25565b602002015190505f612c4d612c11612c0a858d612730565b6002612730565b61079e8b612c206001896159d8565b601c8110612c3057612c30615a25565b602002015161077b612c478861077b60018a612764565b87612764565b9050612c6e8161077b610b35612c688761077b600189612764565b8661274b565b99508990508085612c806001876159d8565b81518110612c9057612c90615a25565b60200260200101818152505050505080612ca990615ba4565b9050612ba6565b509695505050505050565b5f6127458283612730565b604080518082019091525f80825260208201525f612d057f000000000000000000000000000000000000000000000000000000000000000060246159eb565b612d109060026159eb565b90505f5b81811015612d4657612d3e858281518110612d3157612d31615a25565b6020026020010151612f11565b600101612d14565b50604051600190815b60018401811015612dab5760208102870160208202870181515160408501528151602001516060850152805160808501525050604080830160606040850160075afa8316925060408260808460065afa90921691600101612d4f565b5080518452602081015160208501525080612dd9576040516352ec174560e11b815260040160405180910390fd5b505092915050565b604080518082019091525f80825260208201525f516020615c6a5f395f51905f5282602001515f516020615c6a5f395f51905f52612e1f91906159d8565b612e299190615a82565b60208301525090565b5f5f5f612e3e86612ea8565b91509150612e4a615804565b82518152602080840151818301528251604080840191909152838201516060840152875160808401528782015160a0840152865160c08401528682015160e084015251612e9d9161221d91849101615bb9565b979650505050505050565b6040805180820182525f808252602080830182815284518086018652838152808301938452865192870151608890811b9093178552948601516060870151831b179052608085015160a0860151821b17845260c085015160e090950151901b9093179092529091565b805160208201515f5f516020615c6a5f395f51905f528380095f516020615c6a5f395f51905f5260035f516020615c6a5f395f51905f52838709085f516020615c6a5f395f51905f528485091491505080612fae5760405162461bcd60e51b815260206004820152601960248201527f706f696e74206973206e6f74206f6e207468652063757276650000000000000060448201526064016100e5565b50505050565b604080518082019091525f8082526020820152604080518082019091525f8082526020820152612fe4838661506b565b90506129a081856150d7565b81516020808401518351848301516040805194850195909552938301919091527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c260608301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60808301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60a08301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60c083015260e08201526101008101919091527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c16101208201527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b06101408201527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe46101608201527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101808201525f9081906101a00160405160208183030381529060405290505f5f60086001600160a01b0316836040516131869190615bed565b5f60405180830381855afa9150503d805f81146131be576040519150601f19603f3d011682016040523d82523d5f602084013e6131c3565b606091505b50915091508180156109b65750808060200190518101906109b69190615c03565b5f80806131f28460016159eb565b6131fd9060066159eb565b67ffffffffffffffff81111561321557613215615a39565b60405190808252806020026020018201604052801561323e578160200160208202803683370190505b509050845f1b815f8151811061325657613256615a25565b60209081029190910101525f5b61326e6008866159d8565b8110156132bf5787878281811061328757613287615a25565b905060200201358282600161329c91906159eb565b815181106132ac576132ac615a25565b6020908102919091010152600101613263565b505f5b60088110156133305788516132ea9082600881106132e2576132e2615a25565b602002015190565b828260086132f98960016159eb565b61330391906159d8565b61330d91906159eb565b8151811061331d5761331d615a25565b60209081029190910101526001016132c2565b50602088015151816133438660016159eb565b8151811061335357613353615a25565b602090810291909101810191909152888101510151816133748660016159eb565b61337f9060016159eb565b8151811061338f5761338f615a25565b6020908102919091010152604088015151816133ac8660016159eb565b6133b79060026159eb565b815181106133c7576133c7615a25565b60209081029190910181019190915260408901510151816133e98660016159eb565b6133f49060036159eb565b8151811061340457613404615a25565b6020908102919091010152606088015151816134218660016159eb565b61342c9060046159eb565b8151811061343c5761343c615a25565b602090810291909101810191909152606089015101518161345e8660016159eb565b6134699060056159eb565b8151811061347957613479615a25565b6020026020010181815250506134998160405160200161221d9190615b3c565b91506134a48261353a565b50989197509095505050505050565b5f5f5f6134be615823565b85815260c0858101805151602080850191909152905181015160408085019190915260e08801805151606086015251820151608080860191909152880180515160a0860152518201519284019290925290516135209161221d91849101615c22565b915061352b8261353a565b90979096509194509092505050565b5f80826f7fffffffffffffffffffffffffffffff8116607f82901c61355e8261278c565b94506135698161278c565b9350505050915091565b5f61357f84600761514e565b90507f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f80000005f6135e06135da6135b4856003612764565b61077b6135cf6135c48b5f61514e565b61077b8c601d61514e565b61077b8b601c61514e565b83612730565b905061366161365661363d61362461360b856107806136008d600261514e565b61077b8e601c61514e565b6107806136198c600361514e565b61077b8d601d61514e565b6107806136328b600461514e565b61077b8c601e61514e565b61078061364b8a600561514e565b61077b8b601f61514e565b61078088600161514e565b905061368081610780613675866001612764565b61077b8a602761514e565b905061368c8184612730565b90506136988185612730565b8552505f90506136d26136c86136bd6136b288601c61514e565b61078089601f61514e565b61079e88602461514e565b610780875f61514e565b90506136e38161077b846002612764565b90506136f48161077b846001612764565b90506137008183612730565b905061370c8184612730565b9050808460015b60200201525050505050565b5f5f5f61375561374b61373389601c61514e565b6107806137418b601261514e565b8a60200151612730565b876040015161274b565b905061378e8161077b61378461376c8b601d61514e565b61078061377a8d601361514e565b8c60200151612730565b896040015161274b565b90506137b38161077b6137846137a58b601e61514e565b61078061377a8d601461514e565b90506137d88161077b6137846137ca8b601f61514e565b61078061377a8d601561514e565b92505f90506137fc61374b6137ee89601c61514e565b6107806137418b600e61514e565b90506138218161077b6137846138138b601d61514e565b61078061377a8d600f61514e565b90506138468161077b6137846138388b601e61514e565b61078061377a8d601061514e565b905061386b8161077b61378461385d8b601f61514e565b61078061377a8d601161514e565b91505f905061389261388c61388189602061514e565b6107808a601a61514e565b84612730565b90506138c78161079e6138c16138a98b602861514e565b6107806138b78d601b61514e565b8c60600151612730565b85612730565b90506138d38185612730565b6040860152505f6138f66138c16138eb89601b61514e565b61077b8a602861514e565b606090950194909452505050505050565b5f5f5f61391c86602001518760200151612730565b905061398061396561395761393f6139358b601661514e565b8a6040015161274b565b61078061394d8c601761514e565b8b60200151612730565b6107806138c18b601861514e565b6107806139766138c18b601961514e565b8960200151612730565b9250505f61399686602001518760200151612730565b90505f6139c36139aa6137848a601c61514e565b6107806139b88b600361514e565b61077b8c602461514e565b90505f6139ec6139d48a601d61514e565b6107806139e18c5f61514e565b61077b8d602561514e565b90505f613a166139fd8b601e61514e565b610780613a0b8d600161514e565b61077b8e602661514e565b9050613a51613a3a613a3085610780868e60200151612730565b6107808488612730565b61078061377a613a4b8e600461514e565b88612730565b9450505050505f613a6661388c88602161514e565b90505f613a7761388c89602161514e565b90505f613aaf613a96613a8b8b602361514e565b6107808c600661514e565b61079e613aa48c602361514e565b61077b8d600661514e565b90505f613ad3613acd613ac28789612730565b61077b8d602161514e565b83612764565b9050613adf8188612730565b90505f613b07613af9613af38d600661514e565b87612730565b61079e613af38e602261514e565b90505f613b158c602361514e565b90505f613b25613acd8384612730565b60808c0185905260a08c018490529050613b3f818b612730565b8b6006602002015250505050505050505050505050565b5f613b625f6001612764565b90505f613b705f6002612764565b90505f613b7e5f6003612764565b90505f613b9a613b8f88601d61514e565b61079e89601c61514e565b90505f613bb6613bab89601e61514e565b61079e8a601d61514e565b90505f613bd2613bc78a601f61514e565b61079e8b601e61514e565b90505f613bee613be38b602461514e565b61079e8c601f61514e565b905083613bff8161077b818b61274b565b9050613c0f8161077b878a61274b565b9050613c1f8161077b878961274b565b9050613c308161077b8d600861514e565b9050613c3c818a612730565b60e08b01525082613c518161077b818b61274b565b9050613c618161077b868a61274b565b9050613c718161077b868961274b565b9050613c828161077b8d600861514e565b9050613c8e818a612730565b6101008b01525081613ca48161077b818b61274b565b9050613cb48161077b858a61274b565b9050613cc48161077b858961274b565b9050613cd58161077b8d600861514e565b9050613ce1818a612730565b6101208b01525080613cf78161077b818b61274b565b9050613d078161077b848a61274b565b9050613d178161077b848961274b565b9050613d288161077b8d600861514e565b9050613d34818a612730565b610140909a019990995250505050505050505050565b613d836040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b613d8e84601d61514e565b8152613d9b84601e61514e565b6020820152613dab84602461514e565b6040820152613dbb84602761514e565b6060820152613dcb84602661514e565b6080820152613ddb84602561514e565b60a08201525f613dec85600261514e565b90505f613df9865f61514e565b90505f613e0d8460400151855f0151612764565b90505f613e2285602001518660200151612730565b606086015190915086905f90613e389080612730565b90505f613e50613a4b89602001518a60600151612730565b90505f613e6f613e688a60a001518b6040015161274b565b8a5161274b565b9050613e7e613af38288612730565b9050613ea5613e9f613e99613e938487612764565b88612764565b8461274b565b8361274b565b9050613ecd613ec2613eb78387612730565b61077b8f600961514e565b61077b60018a612764565b6101608c015250505050602085015160808601515f91613eec9161274b565b90505f613f0a613f00886060015188612730565b8860200151612764565b90505f613f2e613f1a8487612730565b6107806138c18b60a001518c5f0151612764565b9050613f56613f4b613f40838c612730565b61077b8e600961514e565b61077b600189612764565b6101808b0152505f9150613f779050613f7083601161274b565b8751612730565b90505f613f84838461274b565b9050613f90818261274b565b90505f613f9e836009612730565b9050613fc7613fc161388c613fba8b60a001518c5f015161274b565b8b5161274b565b82612764565b60c089018190525f90613fe290613a4b90613eb7908d612730565b9050613ff58b600b60200201518261274b565b6101608c0152505086515f925061401c9150613f7090614015908061274b565b885161274b565b90505f61405c6140378361077b8a5f01518b60a00151612764565b602089015161079e9061404a908061274b565b61077b8b602001518c6080015161274b565b905061407989600c6020020151610780613a4b613eb7858d612730565b89600c602002015250505050505050505050565b6140f7604051806101e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b83515f906141059080612730565b90505f61411582875f0151612730565b905061412b61412588601e61514e565b82612730565b808452614140906107806138c18a601d61514e565b80845261415c906107806141558a601c61514e565b8951612730565b80845261416e9061078089600161514e565b808452602084018190526141879061079e89601f61514e565b8352614197613b8f88602461514e565b60808401526141b56141aa88602761514e565b61079e89601f61514e565b606084015260808301516141ce9061077b816001612764565b6101c0840152608083015161420e90614204906141fd9061077b60015f516020615c8a5f395f51905f526159d8565b600161274b565b8460600151612730565b60a08401819052614244906142369061077b61422b8b600261514e565b61077b8c600361514e565b61077b613af38a600a61514e565b85600e60200201526101c0830151614268906142369061077b61422b8b600261514e565b6101e0860152825161428d9061077b6142828a600261514e565b61077b8b600361514e565b6101208401525f6142ac6142a289601f61514e565b8560200151612764565b90506142bd8161077b836001612764565b60e08501526142d06135da89602661514e565b604085018190526142ef906107806142e98b602561514e565b86612730565b6040850181905261430f906107806143088b602461514e565b8a51612730565b604085015261432c61432289602761514e565b8560400151612764565b60408501525f614340613bc78a602661514e565b905061439261436d6135da6141fd886080015160015f516020615c8a5f395f51905f5261077b91906159d8565b61077b6141fd886040015160015f516020615c8a5f395f51905f5261077b91906159d8565b60c086015260408501516143b4906143aa9080612730565b8660400151612764565b61010086015260c08501516143e6906143d29061077b8c600461514e565b61077b6143e08c600a61514e565b89612730565b6102008801526101c0850151614405906143d29061077b8c600461514e565b610220880152610100850151614424906143d29061077b8c600461514e565b61024088015260e085015161443e9061077b8b600461514e565b61014086015261445d6144528a602561514e565b61079e8b601d61514e565b610160860152608085015161449b90613bc790614490906141fd9061077b60015f516020615c8a5f395f51905f526159d8565b876101600151612730565b61018086018190526101208601516101a087018190526144d2916107809061077b6144c78e600561514e565b61077b8f600261514e565b6101a0860181905285516144f291906107809061077b6144c78e5f61514e565b6101a0860181905261014086015161450a919061274b565b6101a086018190526145249061077b6143e08c600a61514e565b6101a0860181905287600d6020020152505050505050505050565b6145786040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6145ad61459461458986601c61514e565b61077b87602561514e565b6107806145a287602461514e565b61077b88601d61514e565b81526145f26145e76145ce6145c387601c61514e565b61077b88601f61514e565b6107806145dc88601d61514e565b61077b89601e61514e565b61079e86602661514e565b6040820181905261460790600160441b612730565b6040820181905261461d9061079e86602761514e565b604082018190528151614630919061274b565b604082018190526146469061077b86600561514e565b6040820152805161465b90600160441b612730565b80825261467b9061078061467087602461514e565b61077b88602561514e565b808252602082018190526146a29061079e61469787601e61514e565b61078088601f61514e565b602082018190526146b89061077b86600461514e565b60208201528051606082018190526146d59061078086601f61514e565b606082018190526146f99061079e6146ee87602661514e565b61078088602761514e565b6060820181905261470e9061077b865f61514e565b8160600181815250505f61473761472d8360200151846040015161274b565b836060015161274b565b90506147488161077b87600361514e565b905061476061475886602561514e565b614000612730565b608083018190526147769061078087602461514e565b6080830181905261478990614000612730565b6080830181905261479f9061078087601e61514e565b608083018190526147b290614000612730565b608083018190526147c89061078087601d61514e565b608083018190526147db90614000612730565b608083018190526147f19061078087601c61514e565b608083018190526148079061079e87601f61514e565b6080830181905261481d9061077b87600561514e565b608083015261483061475886602661514e565b60a083018190526148469061078087602561514e565b60a0830181905261485990614000612730565b60a0830181905261486f9061078087602461514e565b60a0830181905261488290614000612730565b60a083018190526148989061078087601f61514e565b60a083018190526148ab90614000612730565b60a083018190526148c19061078087601e61514e565b60a083018190526148d79061079e87602761514e565b60a083018190526148ec9061077b875f61514e565b60a0830181905260808301515f91614904919061274b565b90506149158161077b88600461514e565b9050614921828261274b565b60c0840181905261493a9061077b613af389600b61514e565b60c084018190528560136020020152505050505050565b6149c76040518061022001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6149e06149d585601c61514e565b61078086600261514e565b81526149fb6149f085601d61514e565b61078086600361514e565b6020820152614a19614a0e85601e61514e565b61078086600461514e565b6040820152614a37614a2c85601f61514e565b61078086600561514e565b60608201528051614a6990614a6290614a5b90614a549080612730565b8451612730565b8351612730565b8251612730565b60808201526020810151614aa790614a9d90614a9390614a899080612730565b8460200151612730565b8360200151612730565b8260200151612730565b60a08201526040810151614ae590614adb90614ad190614ac79080612730565b8460400151612730565b8360400151612730565b8260400151612730565b60c08201526060810151614b1990614b0f90614b05906142049080612730565b8360600151612730565b8260600151612730565b60e0820152608081015160a0820151614b32919061274b565b61010082015260c081015160e0820151614b4c919061274b565b61012082015260a0810151614b7090614b65908061274b565b82610120015161274b565b61014082015260e0810151614b9490614b89908061274b565b82610100015161274b565b610160820152610120810151614baa908061274b565b6101e08201819052614bcb90614bc0908061274b565b82610160015161274b565b6101e0820152610100810151614be1908061274b565b6101a08201819052614c0290614bf7908061274b565b82610140015161274b565b6101a08201819052610160820151614c199161274b565b6101808201526101408101516101e0820151614c35919061274b565b6101c0820152614c496135da85600c61514e565b6102008201819052610280840151610180830151614c74926107809161077b9061079e8a602461514e565b8360146020020152614ca4836015602002015161078083610200015161077b856101a0015161079e8a602561514e565b8360156020020152614cd4836016602002015161078083610200015161077b856101c0015161079e8a602661514e565b8360166020020152614d04836017602002015161078083610200015161077b856101e0015161079e8a602761514e565b836017602002015250505050565b614d646040518061016001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f6040518060800160405280614d997f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e7612718565b8152602001614dc77f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b612718565b8152602001614df47e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac15612718565b8152602001614e227f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b612718565b90529050614e3f614e3486601c61514e565b61078087600261514e565b6101208301819052614e7e90614e7390614e6890614e5d9080612730565b856101200151612730565b846101200151612730565b836101200151612730565b8252614e8b85601d61514e565b6020830152614e9b85601e61514e565b6040830152614eab85601f61514e565b606083015281516020830151614ed39161472d91614ec9919061274b565b846040015161274b565b6080830152614ee661388c86600d61514e565b6101408301528151614f0790614efd90835f6114d0565b836080015161274b565b60a0830152614f33846018602002015161078084610140015161077b8660a0015161079e8b602461514e565b6103008501526020820151614f4e90614efd908360016114d0565b60c0830152614f7a846019602002015161078084610140015161077b8660c0015161079e8b602561514e565b6103208501526040820151614f9590614efd908360026114d0565b60e0830152614fc184601a602002015161078084610140015161077b8660e0015161079e8b602661514e565b6103408501526060820151614fdc90614efd908360036114d0565b61010083015261500a84601b602002015161078084610140015161077b86610100015161079e8b602761514e565b84601b613713565b815160015b601c8110156150645761505a826107808684601c811061503957615039615a25565b60200201518661504a6001876159d8565b601b81106114d0576114d0615a25565b9150600101615017565b5092915050565b604080518082019091525f8082526020820152604080518082019091525f8082526020820152604051835181526020840151602082015284604082015260408160608360075afa806150bb575f5ffd5b5080518252602080820151908301526060016040529392505050565b604080518082019091525f8082526020820152604080518082019091525f80825260208201526040518451815260208501516020820152835160408201526020840151606082015260408160808360065afa80615132575f5ffd5b5080518252602080820151908301526080016040529392505050565b5f8282602881111561516257615162615c55565b6029811061517257615172615a25565b60200201519392505050565b604051806103e001604052805f81526020015f81526020015f81526020016151b760405180604001604052805f81526020015f81525090565b81526020016151d760405180604001604052805f81526020015f81525090565b81526020016151f760405180604001604052805f81526020015f81525090565b815260200161521760405180604001604052805f81526020015f81525090565b815260200161523760405180604001604052805f81526020015f81525090565b815260200161525760405180604001604052805f81526020015f81525090565b815260200161527760405180604001604052805f81526020015f81525090565b815260200161529760405180604001604052805f81526020015f81525090565b81526020016152b760405180604001604052805f81526020015f81525090565b81526020016152d760405180604001604052805f81526020015f81525090565b81526020016152f760405180604001604052805f81526020015f81525090565b815260200161531760405180604001604052805f81526020015f81525090565b815260200161533760405180604001604052805f81526020015f81525090565b815260200161535760405180604001604052805f81526020015f81525090565b815260200161537760405180604001604052805f81526020015f81525090565b815260200161539760405180604001604052805f81526020015f81525090565b81526020016153b760405180604001604052805f81526020015f81525090565b81526020016153d760405180604001604052805f81526020015f81525090565b81526020016153f760405180604001604052805f81526020015f81525090565b815260200161541760405180604001604052805f81526020015f81525090565b815260200161543760405180604001604052805f81526020015f81525090565b815260200161545760405180604001604052805f81526020015f81525090565b815260200161547760405180604001604052805f81526020015f81525090565b815260200161549760405180604001604052805f81526020015f81525090565b81526020016154b760405180604001604052805f81526020015f81525090565b81526020016154d760405180604001604052805f81526020015f81525090565b81526020016154f760405180604001604052805f81526020015f81525090565b815260200161551760405180604001604052805f81526020015f81525090565b905290565b604051806101e00160405280615530615804565b815260200161555060405180604001604052805f81526020015f81525090565b815260200161557060405180604001604052805f81526020015f81525090565b815260200161559060405180604001604052805f81526020015f81525090565b81526020016155b060405180604001604052805f81526020015f81525090565b81526020016155d060405180604001604052805f81526020015f81525090565b81526020016155f060405180604001604052805f81526020015f81525090565b815260200161561060405180604001604052805f81526020015f81525090565b815260200161563060405180604001604052805f81526020015f81525090565b815260200161563d615841565b815260200161564a61586f565b815260200161565761588e565b81526020016154d7615789565b60405180610100016040528061569760405180608001604052805f81526020015f81526020015f81526020015f81525090565b81526020016156a461574c565b81526020016156b1615789565b81526020016156be615789565b81526020015f81526020015f81526020015f81526020015f81525090565b604051806101c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f815260200161571a6158c7565b81526020016157276158c7565b81526020015f81526020015f81526020015f81526020015f8152602001606081525090565b604051806103600160405280601b906020820280368337509192915050565b6040518060a001604052806005906020820280368337509192915050565b604051806103800160405280601c906020820280368337509192915050565b6040518061012001604052806009906020820280368337509192915050565b604051806105400160405280602a906020820280368337509192915050565b60405180606001604052806003906020820280368337509192915050565b6040518061010001604052806008906020820280368337509192915050565b6040518060e001604052806007906020820280368337509192915050565b604051806103800160405280601c905b615859615804565b8152602001906001900390816158515790505090565b6040518061052001604052806029906020820280368337509192915050565b604051806103600160405280601b905b604080518082019091525f808252602082015281526020019060019003908161589e5790505090565b60405180608001604052806004906020820280368337509192915050565b5f5f5f5f604085870312156158f8575f5ffd5b843567ffffffffffffffff81111561590e575f5ffd5b8501601f8101871361591e575f5ffd5b803567ffffffffffffffff811115615934575f5ffd5b876020828401011115615945575f5ffd5b60209182019550935085013567ffffffffffffffff811115615965575f5ffd5b8501601f81018713615975575f5ffd5b803567ffffffffffffffff81111561598b575f5ffd5b8760208260051b840101111561599f575f5ffd5b949793965060200194505050565b634e487b7160e01b5f52601160045260245ffd5b8082028115828204841417612745576127456159ad565b81810381811115612745576127456159ad565b80820180821115612745576127456159ad565b5f5f85851115615a0c575f5ffd5b83861115615a18575f5ffd5b5050820193919092039150565b634e487b7160e01b5f52603260045260245ffd5b634e487b7160e01b5f52604160045260245ffd5b5f60018201615a5e57615a5e6159ad565b5060010190565b80356020831015612745575f19602084900360031b1b1692915050565b5f82615a9c57634e487b7160e01b5f52601260045260245ffd5b500690565b5f8183825b6005811015615ac5578151835260209283019290910190600101615aa6565b50505060a08201905092915050565b5f8183825b6009811015615af8578151835260209283019290910190600101615ad9565b5050506101208201905092915050565b5f8183825b602a811015615b2c578151835260209283019290910190600101615b0d565b5050506105408201905092915050565b81515f90829060208501835b82811015615b66578151845260209384019390910190600101615b48565b509195945050505050565b5f8183825b6003811015615b95578151835260209283019290910190600101615b76565b50505060608201905092915050565b5f81615bb257615bb26159ad565b505f190190565b5f8183825b6008811015615bdd578151835260209283019290910190600101615bbe565b5050506101008201905092915050565b5f82518060208501845e5f920191825250919050565b5f60208284031215615c13575f5ffd5b81518015158114610333575f5ffd5b5f8183825b6007811015615c46578151835260209283019290910190600101615c27565b50505060e08201905092915050565b634e487b7160e01b5f52602160045260245ffdfe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4730644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001a2646970667358221220bb551b63faf3bcc45955d63161945b29a2216ffcd1742eac2a726a6312f1312464736f6c634300081e0033";
5
5
  /**
6
6
  * HonkVerifier link references.
7
7
  */
8
8
  export declare const HonkVerifierLinkReferences: {};
9
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiSG9ua1ZlcmlmaWVyQnl0ZWNvZGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9Ib25rVmVyaWZpZXJCeXRlY29kZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQTs7R0FFRztBQUNILGVBQU8sTUFBTSxvQkFBb0IsNjM5Q0FBNjM5QyxDQUFDO0FBQy81OUM7O0dBRUc7QUFDSCxlQUFPLE1BQU0sMEJBQTBCLElBQWMsQ0FBQyJ9
9
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiSG9ua1ZlcmlmaWVyQnl0ZWNvZGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9Ib25rVmVyaWZpZXJCeXRlY29kZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQTs7R0FFRztBQUNILGVBQU8sTUFBTSxvQkFBb0IsaTQ5Q0FBaTQ5QyxDQUFDO0FBQ242OUM7O0dBRUc7QUFDSCxlQUFPLE1BQU0sMEJBQTBCLElBQWMsQ0FBQyJ9
package/dest/HonkVerifierBytecode.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"HonkVerifierBytecode.d.ts","sourceRoot":"","sources":["../src/HonkVerifierBytecode.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,eAAO,MAAM,oBAAoB,639CAA639C,CAAC;AAC/59C;;GAEG;AACH,eAAO,MAAM,0BAA0B,IAAc,CAAC"}
1
+ {"version":3,"file":"HonkVerifierBytecode.d.ts","sourceRoot":"","sources":["../src/HonkVerifierBytecode.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,eAAO,MAAM,oBAAoB,i49CAAi49C,CAAC;AACn69C;;GAEG;AACH,eAAO,MAAM,0BAA0B,IAAc,CAAC"}
package/dest/HonkVerifierBytecode.js CHANGED
@@ -1,6 +1,6 @@
1
1
  /**
2
2
  * HonkVerifier bytecode.
3
- */ export const HonkVerifierBytecode = "0x610100604052348015610010575f5ffd5b506301000000608052601860a0527f2a2b5260a5f8fc50eea08d0543f7f5dc2aa4825beef73ff808ad417326ded21160c05260a760e05260805160a05160c05160e051615cdd6100de5f395f818161018101526107ae01525f61016001525f8181605b01528181609401528181610101015281816101a2015281816108c7015281816109d401528181610a0001528181610a7b015281816112d401528181611374015281816115c30152818161160f0152818161165d015281816116b40152612cdd01525f5050615cdd5ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b3660046158e3565b610054565b604051901515815260200160405180910390f35b5f5f61007f7f000000000000000000000000000000000000000000000000000000000000000061028c565b905061008c8160206159bf565b85146100ee577f0000000000000000000000000000000000000000000000000000000000000000856100bf8360206159bf565b6040516359895a5360e01b81526004810193909352602483019190915260448201526064015b60405180910390fd5b5f6100f761033a565b90505f61012588887f000000000000000000000000000000000000000000000000000000000000000061034f565b90506008826040015161013891906159d6565b85146101575760405163fa06659360e01b815260040160405180910390fd5b5f6101c68288887f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000006106a6565b90506102168787808060200260200160405190810160405280939291908181526020018383602002808284375f920191909152505085518551602081015160409091015191935091506001610758565b8151606001525f61022783836108bf565b905080610247576040516313f8744360e31b815260040160405180910390fd5b5f6102538486856109c0565b905080610273576040516352ec174560e11b815260040160405180910390fd5b81801561027d5750805b9b9a5050505050505050505050565b5f8061029a600260086159bf565b905060016102a96008856159bf565b6102b391906159bf565b6102bd90826159e9565b90506102cb600160296159bf565b6102d590826159e9565b905060026102e46001856159d6565b6102ee91906159bf565b6102f890826159e9565b90506103056001846159bf565b61030f90826159e9565b905061031c6002806159bf565b61032690826159e9565b90506103336008826159e9565b9392505050565b61034261517c565b61034a611786565b905090565b61035761551a565b5f805b60088110156103b9576103868683876103746020836159e9565b92610381939291906159fc565b6120bf565b8351826008811061039957610399615a23565b6020020181815250506020826103af91906159e9565b915060010161035a565b506103dd8582866103cb6040836159e9565b926103d8939291906159fc565b6120d2565b60208301526103ed6040826159e9565b90506104008582866103cb6040836159e9565b60408084019190915261041390826159e9565b90506104268582866103cb6040836159e9565b60608301526104366040826159e9565b90506104498582866103cb6040836159e9565b60c08301526104596040826159e9565b905061046c8582866103cb6040836159e9565b60e083015261047c6040826159e9565b905061048f8582866103cb6040836159e9565b608083015261049f6040826159e9565b90506104b28582866103cb6040836159e9565b6101008301526104c36040826159e9565b90506104d68582866103cb6040836159e9565b60a08301526104e66040826159e9565b90505f5b83811015610564575f5b600881101561055b5761050e8784886103746020836159e9565b84610120015183601c811061052557610525615a23565b6020020151826008811061053b5761053b615a23565b60200201818152505060208361055191906159e9565b92506001016104f4565b506001016104ea565b505f5b60298110156105b8576105818683876103746020836159e9565b836101400151826029811061059857610598615a23565b6020020181815250506020826105ae91906159e9565b9150600101610567565b505f5b6105c66001856159d6565b81101561060f576105de8683876103cb6040836159e9565b83610160015182601b81106105f5576105f5615a23565b60200201526106056040836159e9565b91506001016105bb565b505f5b838110156106625761062b8683876103746020836159e9565b83610180015182601c811061064257610642615a23565b60200201818152505060208261065891906159e9565b9150600101610612565b506106748582866103cb6040836159e9565b6101a08301526106856040826159e9565b90506106988582866103cb6040836159e9565b6101c0830152509392505050565b6106ae615662565b5f6106bd88888888888661215f565b90835290506106cc81896121c2565b602084019190915290506106e081846122b1565b604084019190915290506106f5888285612340565b606084019190915290506107098882612414565b6080840191909152905061071e88828561249f565b60a08401919091529050610733888285612614565b60c0840191909152905061074788826126d9565b5060e0830152509695505050505050565b5f60018082610785866107808961077b6107768a63100000006159e9565b612716565b61272e565b612749565b90505f6107a38761079e8a61077b6107768b60016159e9565b612762565b90505f5b6107d260087f00000000000000000000000000000000000000000000000000000000000000006159d6565b81101561083f575f6107fc8c83815181106107ef576107ef615a23565b602002602001015161278a565b905061080c8661077b8684612749565b955061081c8561077b8584612749565b9450610828848b612749565b9350610834838b612762565b9250506001016107a7565b505f5b60088110156108a6575f8a826008811061085e5761085e615a23565b602002015190506108738661077b8684612749565b95506108838561077b8584612749565b945061088f848b612749565b935061089b838b612762565b925050600101610842565b506108b1848461279f565b9a9950505050505050505050565b5f806001815b7f0000000000000000000000000000000000000000000000000000000000000000811015610996575f86610120015182601c811061090557610905615a23565b602002015190505f61091782866127ad565b905080610937576040516313f8744360e31b815260040160405180910390fd5b5f876060015184601c811061094e5761094e615a23565b6020020151905061095f83826127cd565b9550610986886040015185601c811061097a5761097a615a23565b6020020151868361297c565b94505050508060010190506108c5565b505f6109b0866101400151865f01518760200151856129a7565b90508281145b9695505050505050565b5f6109c96156da565b5f6109f88460a001517f0000000000000000000000000000000000000000000000000000000000000000612a20565b90505f610a267f000000000000000000000000000000000000000000000000000000000000000060246159e9565b610a319060026159e9565b67ffffffffffffffff811115610a4957610a49615a37565b604051908082528060200260200182016040528015610a72578160200160208202803683370190505b5090505f610aa17f000000000000000000000000000000000000000000000000000000000000000060246159e9565b610aac9060026159e9565b67ffffffffffffffff811115610ac457610ac4615a37565b604051908082528060200260200182016040528015610b0857816020015b604080518082019091525f8082526020820152815260200190600190039081610ae25790505b509050610b3a610b358760e00151855f81518110610b2857610b28615a23565b6020026020010151612762565b612aea565b84610120018181525050610b6e610b358760e00151855f81518110610b6157610b61615a23565b6020026020010151612749565b610140850181905261012085015160c0880151610b8f92610780919061272e565b845260a0860151610bbf90610ba390612aea565b61077b86610120015161079e8a60c0015189610140015161272e565b6020850152815160019083905f90610bd957610bd9615a23565b602002602001018181525050876101a00151815f81518110610bfd57610bfd615a23565b6020908102919091010152600160a08501525f60c085015283515f516020615c885f395f51905f5203604085015260208401515f516020615c885f395f51905f5203606085015260015b60248111610cea57610c6185604001518660a0015161272e565b838281518110610c7357610c73615a23565b602002602001018181525050610cbc8560c001516107808b6101400151600185610c9d91906159d6565b60298110610cad57610cad615a23565b60200201518860a0015161272e565b60c086015260a08501516080880151610cd5919061272e565b60a0860152610ce381615a4b565b9050610c47565b505f5b6005811015610db8575f610d02601d836159e9565b90505f610d106024846159e9565b9050610d41858381518110610d2757610d27615a23565b602002602001015161078089606001518a60a0015161272e565b858381518110610d5357610d53615a23565b602002602001018181525050610d908760c001516107808d61014001518460298110610d8157610d81615a23565b60200201518a60a0015161272e565b60c088015260a087015160808a0151610da9919061272e565b60a08801525050600101610ced565b50866060015181600181518110610dd157610dd1615a23565b6020026020010181905250866080015181600281518110610df457610df4615a23565b60200260200101819052508660a0015181600381518110610e1757610e17615a23565b60200260200101819052508660c0015181600481518110610e3a57610e3a615a23565b60200260200101819052508660e0015181600581518110610e5d57610e5d615a23565b602002602001018190525086610100015181600681518110610e8157610e81615a23565b602002602001018190525086610120015181600781518110610ea557610ea5615a23565b602002602001018190525086610140015181600881518110610ec957610ec9615a23565b602002602001018190525086610160015181600981518110610eed57610eed615a23565b6020026020010181905250866101c0015181600a81518110610f1157610f11615a23565b602002602001018190525086610180015181600b81518110610f3557610f35615a23565b6020026020010181905250866101a0015181600c81518110610f5957610f59615a23565b6020026020010181905250866101e0015181600d81518110610f7d57610f7d615a23565b602002602001018190525086610200015181600e81518110610fa157610fa1615a23565b602002602001018190525086610220015181600f81518110610fc557610fc5615a23565b602002602001018190525086610240015181601081518110610fe957610fe9615a23565b60200260200101819052508661026001518160118151811061100d5761100d615a23565b60200260200101819052508661028001518160128151811061103157611031615a23565b6020026020010181905250866102a001518160138151811061105557611055615a23565b6020026020010181905250866102c001518160148151811061107957611079615a23565b6020026020010181905250866102e001518160158151811061109d5761109d615a23565b6020026020010181905250866103000151816016815181106110c1576110c1615a23565b6020026020010181905250866103200151816017815181106110e5576110e5615a23565b60200260200101819052508661034001518160188151811061110957611109615a23565b60200260200101819052508661036001518160198151811061112d5761112d615a23565b602002602001018190525086610380015181601a8151811061115157611151615a23565b6020026020010181905250866103a0015181601b8151811061117557611175615a23565b6020026020010181905250866103c0015181601c8151811061119957611199615a23565b6020026020010181905250876020015181601d815181106111bc576111bc615a23565b6020026020010181905250876040015181601e815181106111df576111df615a23565b6020026020010181905250876060015181601f8151811061120257611202615a23565b602002602001018190525087608001518160208151811061122557611225615a23565b60200260200101819052508760a001518160218151811061124857611248615a23565b60200260200101819052508761010001518160228151811061126c5761126c615a23565b60200260200101819052508760c001518160238151811061128f5761128f615a23565b60200260200101819052508760e00151816024815181106112b2576112b2615a23565b60200260200101819052505f6112f887606001518660c001518b6101800151877f0000000000000000000000000000000000000000000000000000000000000000612b5a565b9050611322815f8151811061130f5761130f615a23565b602002602001015186610120015161272e565b608086018190526101808a01515160c0890151611353929161078091611348919061272e565b88610140015161272e565b608086015260c087015161136690612cb9565b60a08601525f5b61139860017f00000000000000000000000000000000000000000000000000000000000000006159d6565b8110156115a7576113c8610b358960e00151878460016113b891906159e9565b81518110610b2857610b28615a23565b61012087015260e08801516113f790610b3590876113e78560016159e9565b81518110610b6157610b61615a23565b61014087015260a0860151610120870151611412919061272e565b61016087015260a086015160c089015161143a9161142f9161272e565b87610140015161272e565b610180870181905261146f905f516020615c885f395f51905f52036101608801515f516020615c885f395f51905f5203612749565b848261147d602460016159e9565b61148791906159e9565b8151811061149757611497615a23565b6020026020010181815250505f6114da8761018001518c61018001518460016114c091906159e9565b601c81106114d0576114d0615a23565b602002015161272e565b905061151481610780896101600151868660016114f791906159e9565b8151811061150757611507615a23565b602002602001015161272e565b9050611524876080015182612749565b608088015260a087015160c08a015161154a916115409161272e565b8a60c0015161272e565b60a08801526101608b015182601b811061156657611566615a23565b60200201518483611579602460016159e9565b61158391906159e9565b8151811061159357611593615a23565b60209081029190910101525060010161136d565b50604080518082019091526001815260026020820152826115e97f000000000000000000000000000000000000000000000000000000000000000060246159e9565b815181106115f9576115f9615a23565b60209081029190910101526080850151836116357f000000000000000000000000000000000000000000000000000000000000000060246159e9565b8151811061164557611645615a23565b60209081029190910101526101c089015180836116837f000000000000000000000000000000000000000000000000000000000000000060246159e9565b61168e9060016159e9565b8151811061169e5761169e615a23565b602090810291909101015260e0880151846116da7f000000000000000000000000000000000000000000000000000000000000000060246159e9565b6116e59060016159e9565b815181106116f5576116f5615a23565b6020026020010181815250505f61170c8486612cc4565b90505f61171883612ddf565b90505f6117298d5f01518484612e30565b90505f5f6117398f5f0151612ea6565b9150915061174682612f0f565b61174f81612f0f565b61175a858385612fb2565b9450611767848285612fb2565b93506117738585612fee565b9f9e505050505050505050505050505050565b61178e61517c565b50604080516103e08101825263010000008152601860208083019190915260a782840152825180840184527f18c6087a838ade00055af96167c66ed82bd61083e95a5698d02761ffcf18677881527f1fd017276fd7706340f47f878241ad75b974ec211dd6aebb5e5f7d40f4033859818301526060830152825180840184527f18228be8b71b6267946fbc462cca4088fd3c3b5befd50aab6de0140aee0292af81527f1d5a8e23918e6f5930dedeeac9f3269683238877bceb9d3860fd3e2f52b56035818301526080830152825180840184527f140d09360a71c7a29f191bcb60e3f62e054b03a33644871a06ef8cb26c5ffe5681527f0ce20cdfec8ce2c91d98c163807c9ca2a5c1315b1d0071d9c6e3c57520edc6f58183015260a0830152825180840184527f2f5b1dbafd4c9d7435b5c8f7b19b6eac214fab5a025a9774663aa1398866ba9981527f10c7d7ef97c4d196f740e9d6dab60736d2d99b2cfa5342da80f7ed5a22c9236c8183015260c0830152825180840184527f1aefbc54dd417853702cdc27106d13a6f9b3bb7ab7384f438949934ce9843c7681527f1f3b3f51541a29f12035776a9d2ccf07b2e0a0891a95ed3ff2cf7f2c57dc73238183015260e0830152825180840184527f188e1c7cfa6ebe53dfab59fa057f5c6315995ed43c5b91637e31c5f0ab44334e81527f0adde4d3b509c249dcb37cbb8bf2dd53393a9ddedc3ada8131e84bc53b4a29f581830152610100830152825180840184527f0d5cd90aceba65851b2ed0af6db9a5d741f62886d05381d516916a3e1b72cbf681527f08207020e5d8f9360f392c108796ee1b6b58c6cd8a259a85ac8c76ac30fcac4581830152610120830152825180840184527f27b4841b6b4aa22edf2c98eda49a04ac953d6127eeff64ea5d1ef8beae3d6a5081527f07356cdfd24d7f59c69ae104fa59f954a302635ba625738d6fae8fbc1d3ddbfa81830152610140830152825180840184527f1c119291fc3ce86c9ce2a0c8347508e1e04fb13e74f536addfe0d53844bdaaa281527f1c260b4b7cee1aae9f52e83829b2b3be9e100fa1a67bece4bab790cfb526ea3e81830152610160830152825180840184527f15c05b909cbeee858ccfacf06e010370bfdb32968a95df9198dca438b045e50281527f03b87e8fb7ef51593fe5b0ba64f9b21b2210a738bada629f9ba8fe384de9eaf781830152610180830152825180840184527d6983c28806afaf1f1a258a7c231734f11fd8647f5c2971d41d779f359bcb81527f03f921f76c2cc4695d6ff07f92c0eea9b35cbb45da3766dee91d7497ffcb33a5818301526101a0830152825180840184527f17fe8cdf110f8af822620031f2645657cfa813d1dbf1bbd6b9b2137836f26d8d81527f13dc656b951ebda7907af6f461f99b181db140fced5bfe1a387a7cf17b28617a818301526101c0830152825180840184527f2c989a2ec3d4c85362b7c455765374888cfd1388e5cce42103b640e1f30b082a81527f15a122d1fe538855ec57fed6bffdbf17bfc8596b5bec698111b3b14c13efa801818301526101e0830152825180840184527f1f8532bb3e82f9722893a0912aa28d8cdeff200e140294782fc4a140ae8daa2a81527f2dfba347dcfde136ba7af67c81bbde662154a025867020a539b2629e82e696e381830152610200830152825180840184527f2feeed83c247c4a15f4b38e5752a6063fa522cdd12f3cbff22f28af3c578f5be81527f1fa005246305a8ce09021e77cfaedab8804398dd098a585613aa3b88a95c282d81830152610220830152825180840184527f0583543b354291c8547657758a197df52ae28c99f8aa23ab94754578c91ee41681527f1a2e10eb7fc5df171390a07148db02f6c50ab73b197ad7995321172cfbb2a1e281830152610240830152825180840184527f128686dedb77c7cb509be16f4444b4e6e6677d29d7688624e75b1942c21639b981527f2dd7e75919a9430b73f1afd7476d7e85b715561f4638d763be86eb9f6d414d0d81830152610260830152825180840184527f3011371cf9af8da17a99bac9400dc8130d5c8e80bb049dc0f68a3dcd71e22db881527f0ef5ef63ff733810bb5f3d0b29bc709eb7ca91765c2115ef386e3bf9967199e881830152610280830152825180840184527f10448f11a3ee571b99b76b75e5478f5b93329b5d09db94c3386aeca4ae60da7c81527f18dfb2765543a9688d8594c9a38e12651fb0e295bb563c70d3d182acea1fb9ee818301526102a0830152825180840184527f0d9c20cd67c25d1cc52be765d9a6d1e6ebbef0b223663751f64b625478fc3f6981527e5dd2bde3a26d831270b56a052455487206c7dde308b9174490b9d16464548d818301526102c0830152825180840184527f2f9836beaef073001c53cde434646295bbf40f36ebef0ff567b4a9ccfc5e053781527f0d212f43681e6ec1f75be9c9248255d9162123989da78b1d6796d9bf8327e350818301526102e0830152825180840184527f26a73f9cd40e4c9e9be3c882b8756e3da294e72da98bc21a2be3ae138235725781527f259cc202dc998d7ee2c13011de1e60e343deecdc2fa366de9802bd503661e4d581830152610300830152825180840184527f2194d92617bbb3ba3d9e53f4f13c5c7c6fc5ae0c56f06e0a35747f24625e576381527f11ca88979a66ada092bb26e2b64b8602eb63f6e2fc21862f6fefead2978de7e081830152610320830152825180840184527f1d346dd159688f85b77717f8197777c6ced8daf349335d74908736241f5f332881527f10e952d77959f4aa6fe9cb7222d9901d06ddfeea51240c79980d4daac814444381830152610340830152825180840184527f20b8784b739f9968d269d3db4e7e7e7e666acd5804af5ff4a54f8dfbea8d257281527f21ad5edf078583d5e29052c50b4e8d46067ddaae2aa2345c15a755074d932f9581830152610360830152825180840184527f062b31b3719d79c253d59707efcc41556e43d9f4f122ba79d3484e023fb4da7d81527f283eb52c07506637e09fb73d7875ada840d8e4c75295a90dc312b4d2571c52c38183015261038083015282518084018452600181526002818301526103a083015282518084019093527f274625a785b4433d3f7408db292a347f3517045493f185c0ccc07cfef5b652a883527f138082eaffbf47d522f5898d4445843724a51849296633009931f6da097a9607908301526103c081019190915290565b5f6103336120cd8385615a63565b61278a565b604080518082019091525f808252602082015260408051808201909152805f516020615c685f395f51905f5261210b60205f87896159fc565b61211491615a63565b61211e9190615a80565b81526020908101905f516020615c685f395f51905f52906121439060409087896159fc565b61214c91615a63565b6121569190615a80565b90529392505050565b61218660405180608001604052805f81526020015f81526020015f81526020015f81525090565b5f61219488888888886131e2565b90835292506121a383896134b1565b6040850191909152602084019190915291989197509095505050505050565b6121ca61574a565b5f6121d3615769565b8481526101008401805151602080840191909152905181015160408084019190915260a086018051516060850152518201516080840152516122369161221b91849101615a9f565b6040516020818303038152906040528051906020012061278a565b91505f61224283613538565b50808552905060015b6122576001601c6159d6565b8110156122a7576122888561226d6001846159d6565b601b811061227d5761227d615a23565b60200201518361272e565b8582601b811061229a5761229a615a23565b602002015260010161224b565b5050509250929050565b6122b9615787565b5f6122d08460405160200161221b91815260200190565b93506122db84613538565b50825260015b8381101561233857612319836122f86001846159d6565b601c811061230857612308615a23565b6020020151846114c06001856159d6565b8382601c811061232b5761232b615a23565b60200201526001016122e1565b509093915050565b612348615787565b5f805b8381101561240a5761235b6157a6565b8581525f5b60088110156123c45787610120015183601c811061238057612380615a23565b6020020151816008811061239657612396615a23565b6020020151826123a78360016159e9565b600981106123b7576123b7615a23565b6020020152600101612360565b506123d98160405160200161221b9190615ad2565b95505f6123e587613538565b8685601c81106123f7576123f7615a23565b602002019190915250505060010161234b565b5090949293505050565b5f5f61241e6157c5565b8381525f5b602981101561247157856101400151816029811061244357612443615a23565b6020020151826124548360016159e9565b602a811061246457612464615a23565b6020020152600101612423565b506124868160405160200161221b9190615b06565b91505f61249283613538565b5096929550919350505050565b5f80806124ad6001856159d6565b6124b89060026159bf565b6124c39060016159e9565b67ffffffffffffffff8111156124db576124db615a37565b604051908082528060200260200182016040528015612504578160200160208202803683370190505b50905084815f8151811061251a5761251a615a23565b60209081029190910101525f5b6125326001866159d6565b8110156125e55786610160015181601b811061255057612550615a23565b602002015151826125628360026159bf565b61256d9060016159e9565b8151811061257d5761257d615a23565b60200260200101818152505086610160015181601b81106125a0576125a0615a23565b602002015160200151828260026125b791906159bf565b6125c29060026159e9565b815181106125d2576125d2615a23565b6020908102919091010152600101612527565b506125fa8160405160200161221b9190615b3a565b91505f61260683613538565b509792965091945050505050565b5f80806126228460016159e9565b67ffffffffffffffff81111561263a5761263a615a37565b604051908082528060200260200182016040528015612663578160200160208202803683370190505b50905084815f8151811061267957612679615a23565b60209081029190910101525f5b848110156125e55786610180015181601c81106126a5576126a5615a23565b6020020151826126b68360016159e9565b815181106126c6576126c6615a23565b6020908102919091010152600101612686565b5f5f6126e36157e4565b8381526101a085018051516020808401919091529051810151604080840191909152516124869161221b91849101615b6f565b5f5f516020615c885f395f51905f52825b0692915050565b5f5f516020615c885f395f51905f5282840990505b92915050565b5f5f516020615c885f395f51905f528284089392505050565b5f5f516020615c885f395f51905f52825f516020615c885f395f51905f520384089392505050565b5f5f516020615c885f395f51905f5282612727565b5f6103338361077b84612aea565b815160208301515f9182916127c29190612749565b929092149392505050565b60408051610100810182527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec5181526102d060208201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff1191810191909152609060608201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71608082015260f060a08201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd3160c08201526113b060e08201525f906001825b60088110156128b4576128aa8261077b8784612762565b9150600101612893565b506128bd615802565b5f5b600881101561291e575f8482600881106128db576128db615a23565b602002015190506128f08161077b8985612762565b90506128fb81612aea565b90508083836008811061291057612910615a23565b6020020152506001016128bf565b505f5b6008811015612971575f87826008811061293d5761293d615a23565b6020020151905061295a818484600881106114d0576114d0615a23565b90506129668682612749565b955050600101612921565b506109b6848361272e565b5f5f61299260016107808561077b896001612762565b905061299e848261272e565b95945050505050565b5f6129b0615787565b6129bb868285613571565b6129c78686838661371d565b6129d386868386613905565b6129de868285613b54565b6129e9868285613d48565b6129f58686838661408b565b612a0086828561453d565b612a0b86828561494f565b612a16868285614d10565b6109b68185615010565b60605f8267ffffffffffffffff811115612a3c57612a3c615a37565b604051908082528060200260200182016040528015612a65578160200160208202803683370190505b50905083815f81518110612a7b57612a7b615a23565b602090810291909101015260015b83811015612ae257612abd82612aa06001846159d6565b81518110612ab057612ab0615a23565b6020026020010151612cb9565b828281518110612acf57612acf615a23565b6020908102919091010152600101612a89565b509392505050565b5f5f8290505f604051602081526020808201526020604082015282606082015260025f516020615c885f395f51905f520360808201525f516020615c885f395f51905f5260a082015260205f60c08360055afa80612b46575f5ffd5b505f51608091909101604052949350505050565b60605f8267ffffffffffffffff811115612b7657612b76615a37565b604051908082528060200260200182016040528015612b9f578160200160208202803683370190505b509050825b8015612cae575f85612bb76001846159d6565b81518110612bc757612bc7615a23565b602002602001015190505f89600184612be091906159d6565b601c8110612bf057612bf0615a23565b602002015190505f612c4b612c0f612c08858d61272e565b600261272e565b61079e8b612c1e6001896159d6565b601c8110612c2e57612c2e615a23565b602002015161077b612c458861077b60018a612762565b87612762565b9050612c6c8161077b610b35612c668761077b600189612762565b86612749565b99508990508085612c7e6001876159d6565b81518110612c8e57612c8e615a23565b60200260200101818152505050505080612ca790615ba2565b9050612ba4565b509695505050505050565b5f612743828361272e565b604080518082019091525f80825260208201525f612d037f000000000000000000000000000000000000000000000000000000000000000060246159e9565b612d0e9060026159e9565b90505f5b81811015612d4457612d3c858281518110612d2f57612d2f615a23565b6020026020010151612f0f565b600101612d12565b50604051600190815b60018401811015612da95760208102870160208202870181515160408501528151602001516060850152805160808501525050604080830160606040850160075afa8316925060408260808460065afa90921691600101612d4d565b5080518452602081015160208501525080612dd7576040516352ec174560e11b815260040160405180910390fd5b505092915050565b604080518082019091525f80825260208201525f516020615c685f395f51905f5282602001515f516020615c685f395f51905f52612e1d91906159d6565b612e279190615a80565b60208301525090565b5f5f5f612e3c86612ea6565b91509150612e48615802565b82518152602080840151818301528251604080840191909152838201516060840152875160808401528782015160a0840152865160c08401528682015160e084015251612e9b9161221b91849101615bb7565b979650505050505050565b6040805180820182525f808252602080830182815284518086018652838152808301938452865192870151608890811b9093178552948601516060870151831b179052608085015160a0860151821b17845260c085015160e090950151901b9093179092529091565b805160208201515f5f516020615c685f395f51905f528380095f516020615c685f395f51905f5260035f516020615c685f395f51905f52838709085f516020615c685f395f51905f528485091491505080612fac5760405162461bcd60e51b815260206004820152601960248201527f706f696e74206973206e6f74206f6e207468652063757276650000000000000060448201526064016100e5565b50505050565b604080518082019091525f8082526020820152604080518082019091525f8082526020820152612fe28386615069565b905061299e81856150d5565b81516020808401518351848301516040805194850195909552938301919091527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c260608301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60808301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60a08301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60c083015260e08201526101008101919091527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c16101208201527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b06101408201527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe46101608201527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101808201525f9081906101a00160405160208183030381529060405290505f5f60086001600160a01b0316836040516131849190615beb565b5f60405180830381855afa9150503d805f81146131bc576040519150601f19603f3d011682016040523d82523d5f602084013e6131c1565b606091505b50915091508180156109b65750808060200190518101906109b69190615c01565b5f80806131f08460016159e9565b6131fb9060066159e9565b67ffffffffffffffff81111561321357613213615a37565b60405190808252806020026020018201604052801561323c578160200160208202803683370190505b509050845f1b815f8151811061325457613254615a23565b60209081029190910101525f5b61326c6008866159d6565b8110156132bd5787878281811061328557613285615a23565b905060200201358282600161329a91906159e9565b815181106132aa576132aa615a23565b6020908102919091010152600101613261565b505f5b600881101561332e5788516132e89082600881106132e0576132e0615a23565b602002015190565b828260086132f78960016159e9565b61330191906159d6565b61330b91906159e9565b8151811061331b5761331b615a23565b60209081029190910101526001016132c0565b50602088015151816133418660016159e9565b8151811061335157613351615a23565b602090810291909101810191909152888101510151816133728660016159e9565b61337d9060016159e9565b8151811061338d5761338d615a23565b6020908102919091010152604088015151816133aa8660016159e9565b6133b59060026159e9565b815181106133c5576133c5615a23565b60209081029190910181019190915260408901510151816133e78660016159e9565b6133f29060036159e9565b8151811061340257613402615a23565b60209081029190910101526060880151518161341f8660016159e9565b61342a9060046159e9565b8151811061343a5761343a615a23565b602090810291909101810191909152606089015101518161345c8660016159e9565b6134679060056159e9565b8151811061347757613477615a23565b6020026020010181815250506134978160405160200161221b9190615b3a565b91506134a282613538565b50989197509095505050505050565b5f5f5f6134bc615821565b85815260c0858101805151602080850191909152905181015160408085019190915260e08801805151606086015251820151608080860191909152880180515160a08601525182015192840192909252905161351e9161221b91849101615c20565b915061352982613538565b90979096509194509092505050565b5f80826f7fffffffffffffffffffffffffffffff8116607f82901c61355c8261278a565b94506135678161278a565b9350505050915091565b5f61357d84600761514c565b90507f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f80000005f6135de6135d86135b2856003612762565b61077b6135cd6135c28b5f61514c565b61077b8c601d61514c565b61077b8b601c61514c565b8361272e565b905061365f61365461363b613622613609856107806135fe8d600261514c565b61077b8e601c61514c565b6107806136178c600361514c565b61077b8d601d61514c565b6107806136308b600461514c565b61077b8c601e61514c565b6107806136498a600561514c565b61077b8b601f61514c565b61078088600161514c565b905061367e81610780613673866001612762565b61077b8a602761514c565b905061368a818461272e565b9050613696818561272e565b8552505f90506136d06136c66136bb6136b088601c61514c565b61078089601f61514c565b61079e88602461514c565b610780875f61514c565b90506136e18161077b846002612762565b90506136f28161077b846001612762565b90506136fe818361272e565b905061370a818461272e565b9050808460015b60200201525050505050565b5f5f5f61375361374961373189601c61514c565b61078061373f8b601261514c565b8a6020015161272e565b8760400151612749565b905061378c8161077b61378261376a8b601d61514c565b6107806137788d601361514c565b8c6020015161272e565b8960400151612749565b90506137b18161077b6137826137a38b601e61514c565b6107806137788d601461514c565b90506137d68161077b6137826137c88b601f61514c565b6107806137788d601561514c565b92505f90506137fa6137496137ec89601c61514c565b61078061373f8b600e61514c565b905061381f8161077b6137826138118b601d61514c565b6107806137788d600f61514c565b90506138448161077b6137826138368b601e61514c565b6107806137788d601061514c565b90506138698161077b61378261385b8b601f61514c565b6107806137788d601161514c565b91505f905061389061388a61387f89602061514c565b6107808a601a61514c565b8461272e565b90506138c58161079e6138bf6138a78b602861514c565b6107806138b58d601b61514c565b8c6060015161272e565b8561272e565b90506138d1818561272e565b6040860152505f6138f46138bf6138e989601b61514c565b61077b8a602861514c565b606090950194909452505050505050565b5f5f5f61391a8660200151876020015161272e565b905061397e61396361395561393d6139338b601661514c565b8a60400151612749565b61078061394b8c601761514c565b8b6020015161272e565b6107806138bf8b601861514c565b6107806139746138bf8b601961514c565b896020015161272e565b9250505f6139948660200151876020015161272e565b90505f6139c16139a86137828a601c61514c565b6107806139b68b600361514c565b61077b8c602461514c565b90505f6139ea6139d28a601d61514c565b6107806139df8c5f61514c565b61077b8d602561514c565b90505f613a146139fb8b601e61514c565b610780613a098d600161514c565b61077b8e602661514c565b9050613a4f613a38613a2e85610780868e6020015161272e565b610780848861272e565b610780613778613a498e600461514c565b8861272e565b9450505050505f613a6461388a88602161514c565b90505f613a7561388a89602161514c565b90505f613aad613a94613a898b602361514c565b6107808c600661514c565b61079e613aa28c602361514c565b61077b8d600661514c565b90505f613ad1613acb613ac0878961272e565b61077b8d602161514c565b83612762565b9050613add818861272e565b90505f613b05613af7613af18d600661514c565b8761272e565b61079e613af18e602261514c565b90505f613b138c602361514c565b90505f613b23613acb838461272e565b60808c0185905260a08c018490529050613b3d818b61272e565b8b6006602002015250505050505050505050505050565b5f613b605f6001612762565b90505f613b6e5f6002612762565b90505f613b7c5f6003612762565b90505f613b98613b8d88601d61514c565b61079e89601c61514c565b90505f613bb4613ba989601e61514c565b61079e8a601d61514c565b90505f613bd0613bc58a601f61514c565b61079e8b601e61514c565b90505f613bec613be18b602461514c565b61079e8c601f61514c565b905083613bfd8161077b818b612749565b9050613c0d8161077b878a612749565b9050613c1d8161077b8789612749565b9050613c2e8161077b8d600861514c565b9050613c3a818a61272e565b60e08b01525082613c4f8161077b818b612749565b9050613c5f8161077b868a612749565b9050613c6f8161077b8689612749565b9050613c808161077b8d600861514c565b9050613c8c818a61272e565b6101008b01525081613ca28161077b818b612749565b9050613cb28161077b858a612749565b9050613cc28161077b8589612749565b9050613cd38161077b8d600861514c565b9050613cdf818a61272e565b6101208b01525080613cf58161077b818b612749565b9050613d058161077b848a612749565b9050613d158161077b8489612749565b9050613d268161077b8d600861514c565b9050613d32818a61272e565b610140909a019990995250505050505050505050565b613d816040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b613d8c84601d61514c565b8152613d9984601e61514c565b6020820152613da984602461514c565b6040820152613db984602761514c565b6060820152613dc984602661514c565b6080820152613dd984602561514c565b60a08201525f613dea85600261514c565b90505f613df7865f61514c565b90505f613e0b8460400151855f0151612762565b90505f613e208560200151866020015161272e565b606086015190915086905f90613e36908061272e565b90505f613e4e613a4989602001518a6060015161272e565b90505f613e6d613e668a60a001518b60400151612749565b8a51612749565b9050613e7c613af1828861272e565b9050613ea3613e9d613e97613e918487612762565b88612762565b84612749565b83612749565b9050613ecb613ec0613eb5838761272e565b61077b8f600961514c565b61077b60018a612762565b6101608c015250505050602085015160808601515f91613eea91612749565b90505f613f08613efe88606001518861272e565b8860200151612762565b90505f613f2c613f18848761272e565b6107806138bf8b60a001518c5f0151612762565b9050613f54613f49613f3e838c61272e565b61077b8e600961514c565b61077b600189612762565b6101808b0152505f9150613f759050613f6e836011612749565b875161272e565b90505f613f828384612749565b9050613f8e8182612749565b90505f613f9c83600961272e565b9050613fc5613fbf61388a613fb88b60a001518c5f0151612749565b8b51612749565b82612762565b60c089018190525f90613fe090613a4990613eb5908d61272e565b9050613ff38b600b602002015182612749565b6101608c0152505086515f925061401a9150613f6e906140139080612749565b8851612749565b90505f61405a6140358361077b8a5f01518b60a00151612762565b602089015161079e906140489080612749565b61077b8b602001518c60800151612749565b905061407789600c6020020151610780613a49613eb5858d61272e565b89600c602002015250505050505050505050565b6140f5604051806101e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b83515f90614103908061272e565b90505f61411382875f015161272e565b905061412961412388601e61514c565b8261272e565b80845261413e906107806138bf8a601d61514c565b80845261415a906107806141538a601c61514c565b895161272e565b80845261416c9061078089600161514c565b808452602084018190526141859061079e89601f61514c565b8352614195613b8d88602461514c565b60808401526141b36141a888602761514c565b61079e89601f61514c565b606084015260808301516141cc9061077b816001612762565b6101c0840152608083015161420c90614202906141fb9061077b60015f516020615c885f395f51905f526159d6565b6001612749565b846060015161272e565b60a08401819052614242906142349061077b6142298b600261514c565b61077b8c600361514c565b61077b613af18a600a61514c565b85600e60200201526101c0830151614266906142349061077b6142298b600261514c565b6101e0860152825161428b9061077b6142808a600261514c565b61077b8b600361514c565b6101208401525f6142aa6142a089601f61514c565b8560200151612762565b90506142bb8161077b836001612762565b60e08501526142ce6135d889602661514c565b604085018190526142ed906107806142e78b602561514c565b8661272e565b6040850181905261430d906107806143068b602461514c565b8a5161272e565b604085015261432a61432089602761514c565b8560400151612762565b60408501525f61433e613bc58a602661514c565b905061439061436b6135d86141fb886080015160015f516020615c885f395f51905f5261077b91906159d6565b61077b6141fb886040015160015f516020615c885f395f51905f5261077b91906159d6565b60c086015260408501516143b2906143a8908061272e565b8660400151612762565b61010086015260c08501516143e4906143d09061077b8c600461514c565b61077b6143de8c600a61514c565b8961272e565b6102008801526101c0850151614403906143d09061077b8c600461514c565b610220880152610100850151614422906143d09061077b8c600461514c565b61024088015260e085015161443c9061077b8b600461514c565b61014086015261445b6144508a602561514c565b61079e8b601d61514c565b610160860152608085015161449990613bc59061448e906141fb9061077b60015f516020615c885f395f51905f526159d6565b87610160015161272e565b61018086018190526101208601516101a087018190526144d0916107809061077b6144c58e600561514c565b61077b8f600261514c565b6101a0860181905285516144f091906107809061077b6144c58e5f61514c565b6101a086018190526101408601516145089190612749565b6101a086018190526145229061077b6143de8c600a61514c565b6101a0860181905287600d6020020152505050505050505050565b6145766040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6145ab61459261458786601c61514c565b61077b87602561514c565b6107806145a087602461514c565b61077b88601d61514c565b81526145f06145e56145cc6145c187601c61514c565b61077b88601f61514c565b6107806145da88601d61514c565b61077b89601e61514c565b61079e86602661514c565b6040820181905261460590600160441b61272e565b6040820181905261461b9061079e86602761514c565b60408201819052815161462e9190612749565b604082018190526146449061077b86600561514c565b6040820152805161465990600160441b61272e565b8082526146799061078061466e87602461514c565b61077b88602561514c565b808252602082018190526146a09061079e61469587601e61514c565b61078088601f61514c565b602082018190526146b69061077b86600461514c565b60208201528051606082018190526146d39061078086601f61514c565b606082018190526146f79061079e6146ec87602661514c565b61078088602761514c565b6060820181905261470c9061077b865f61514c565b8160600181815250505f61473561472b83602001518460400151612749565b8360600151612749565b90506147468161077b87600361514c565b905061475e61475686602561514c565b61400061272e565b608083018190526147749061078087602461514c565b608083018190526147879061400061272e565b6080830181905261479d9061078087601e61514c565b608083018190526147b09061400061272e565b608083018190526147c69061078087601d61514c565b608083018190526147d99061400061272e565b608083018190526147ef9061078087601c61514c565b608083018190526148059061079e87601f61514c565b6080830181905261481b9061077b87600561514c565b608083015261482e61475686602661514c565b60a083018190526148449061078087602561514c565b60a083018190526148579061400061272e565b60a0830181905261486d9061078087602461514c565b60a083018190526148809061400061272e565b60a083018190526148969061078087601f61514c565b60a083018190526148a99061400061272e565b60a083018190526148bf9061078087601e61514c565b60a083018190526148d59061079e87602761514c565b60a083018190526148ea9061077b875f61514c565b60a0830181905260808301515f916149029190612749565b90506149138161077b88600461514c565b905061491f8282612749565b60c084018190526149389061077b613af189600b61514c565b60c084018190528560136020020152505050505050565b6149c56040518061022001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6149de6149d385601c61514c565b61078086600261514c565b81526149f96149ee85601d61514c565b61078086600361514c565b6020820152614a17614a0c85601e61514c565b61078086600461514c565b6040820152614a35614a2a85601f61514c565b61078086600561514c565b60608201528051614a6790614a6090614a5990614a52908061272e565b845161272e565b835161272e565b825161272e565b60808201526020810151614aa590614a9b90614a9190614a87908061272e565b846020015161272e565b836020015161272e565b826020015161272e565b60a08201526040810151614ae390614ad990614acf90614ac5908061272e565b846040015161272e565b836040015161272e565b826040015161272e565b60c08201526060810151614b1790614b0d90614b0390614202908061272e565b836060015161272e565b826060015161272e565b60e0820152608081015160a0820151614b309190612749565b61010082015260c081015160e0820151614b4a9190612749565b61012082015260a0810151614b6e90614b639080612749565b826101200151612749565b61014082015260e0810151614b9290614b879080612749565b826101000151612749565b610160820152610120810151614ba89080612749565b6101e08201819052614bc990614bbe9080612749565b826101600151612749565b6101e0820152610100810151614bdf9080612749565b6101a08201819052614c0090614bf59080612749565b826101400151612749565b6101a08201819052610160820151614c1791612749565b6101808201526101408101516101e0820151614c339190612749565b6101c0820152614c476135d885600c61514c565b6102008201819052610280840151610180830151614c72926107809161077b9061079e8a602461514c565b8360146020020152614ca2836015602002015161078083610200015161077b856101a0015161079e8a602561514c565b8360156020020152614cd2836016602002015161078083610200015161077b856101c0015161079e8a602661514c565b8360166020020152614d02836017602002015161078083610200015161077b856101e0015161079e8a602761514c565b836017602002015250505050565b614d626040518061016001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f6040518060800160405280614d977f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e7612716565b8152602001614dc57f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b612716565b8152602001614df27e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac15612716565b8152602001614e207f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b612716565b90529050614e3d614e3286601c61514c565b61078087600261514c565b6101208301819052614e7c90614e7190614e6690614e5b908061272e565b85610120015161272e565b84610120015161272e565b83610120015161272e565b8252614e8985601d61514c565b6020830152614e9985601e61514c565b6040830152614ea985601f61514c565b606083015281516020830151614ed19161472b91614ec79190612749565b8460400151612749565b6080830152614ee461388a86600d61514c565b6101408301528151614f0590614efb90835f6114d0565b8360800151612749565b60a0830152614f31846018602002015161078084610140015161077b8660a0015161079e8b602461514c565b6103008501526020820151614f4c90614efb908360016114d0565b60c0830152614f78846019602002015161078084610140015161077b8660c0015161079e8b602561514c565b6103208501526040820151614f9390614efb908360026114d0565b60e0830152614fbf84601a602002015161078084610140015161077b8660e0015161079e8b602661514c565b6103408501526060820151614fda90614efb908360036114d0565b61010083015261500884601b602002015161078084610140015161077b86610100015161079e8b602761514c565b84601b613711565b815160015b601c81101561506257615058826107808684601c811061503757615037615a23565b6020020151866150486001876159d6565b601b81106114d0576114d0615a23565b9150600101615015565b5092915050565b604080518082019091525f8082526020820152604080518082019091525f8082526020820152604051835181526020840151602082015284604082015260408160608360075afa806150b9575f5ffd5b5080518252602080820151908301526060016040529392505050565b604080518082019091525f8082526020820152604080518082019091525f80825260208201526040518451815260208501516020820152835160408201526020840151606082015260408160808360065afa80615130575f5ffd5b5080518252602080820151908301526080016040529392505050565b5f8282602881111561516057615160615c53565b6029811061517057615170615a23565b60200201519392505050565b604051806103e001604052805f81526020015f81526020015f81526020016151b560405180604001604052805f81526020015f81525090565b81526020016151d560405180604001604052805f81526020015f81525090565b81526020016151f560405180604001604052805f81526020015f81525090565b815260200161521560405180604001604052805f81526020015f81525090565b815260200161523560405180604001604052805f81526020015f81525090565b815260200161525560405180604001604052805f81526020015f81525090565b815260200161527560405180604001604052805f81526020015f81525090565b815260200161529560405180604001604052805f81526020015f81525090565b81526020016152b560405180604001604052805f81526020015f81525090565b81526020016152d560405180604001604052805f81526020015f81525090565b81526020016152f560405180604001604052805f81526020015f81525090565b815260200161531560405180604001604052805f81526020015f81525090565b815260200161533560405180604001604052805f81526020015f81525090565b815260200161535560405180604001604052805f81526020015f81525090565b815260200161537560405180604001604052805f81526020015f81525090565b815260200161539560405180604001604052805f81526020015f81525090565b81526020016153b560405180604001604052805f81526020015f81525090565b81526020016153d560405180604001604052805f81526020015f81525090565b81526020016153f560405180604001604052805f81526020015f81525090565b815260200161541560405180604001604052805f81526020015f81525090565b815260200161543560405180604001604052805f81526020015f81525090565b815260200161545560405180604001604052805f81526020015f81525090565b815260200161547560405180604001604052805f81526020015f81525090565b815260200161549560405180604001604052805f81526020015f81525090565b81526020016154b560405180604001604052805f81526020015f81525090565b81526020016154d560405180604001604052805f81526020015f81525090565b81526020016154f560405180604001604052805f81526020015f81525090565b815260200161551560405180604001604052805f81526020015f81525090565b905290565b604051806101e0016040528061552e615802565b815260200161554e60405180604001604052805f81526020015f81525090565b815260200161556e60405180604001604052805f81526020015f81525090565b815260200161558e60405180604001604052805f81526020015f81525090565b81526020016155ae60405180604001604052805f81526020015f81525090565b81526020016155ce60405180604001604052805f81526020015f81525090565b81526020016155ee60405180604001604052805f81526020015f81525090565b815260200161560e60405180604001604052805f81526020015f81525090565b815260200161562e60405180604001604052805f81526020015f81525090565b815260200161563b61583f565b815260200161564861586d565b815260200161565561588c565b81526020016154d5615787565b60405180610100016040528061569560405180608001604052805f81526020015f81526020015f81526020015f81525090565b81526020016156a261574a565b81526020016156af615787565b81526020016156bc615787565b81526020015f81526020015f81526020015f81526020015f81525090565b604051806101c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020016157186158c5565b81526020016157256158c5565b81526020015f81526020015f81526020015f81526020015f8152602001606081525090565b604051806103600160405280601b906020820280368337509192915050565b6040518060a001604052806005906020820280368337509192915050565b604051806103800160405280601c906020820280368337509192915050565b6040518061012001604052806009906020820280368337509192915050565b604051806105400160405280602a906020820280368337509192915050565b60405180606001604052806003906020820280368337509192915050565b6040518061010001604052806008906020820280368337509192915050565b6040518060e001604052806007906020820280368337509192915050565b604051806103800160405280601c905b615857615802565b81526020019060019003908161584f5790505090565b6040518061052001604052806029906020820280368337509192915050565b604051806103600160405280601b905b604080518082019091525f808252602082015281526020019060019003908161589c5790505090565b60405180608001604052806004906020820280368337509192915050565b5f5f5f5f604085870312156158f6575f5ffd5b843567ffffffffffffffff81111561590c575f5ffd5b8501601f8101871361591c575f5ffd5b803567ffffffffffffffff811115615932575f5ffd5b876020828401011115615943575f5ffd5b60209182019550935085013567ffffffffffffffff811115615963575f5ffd5b8501601f81018713615973575f5ffd5b803567ffffffffffffffff811115615989575f5ffd5b8760208260051b840101111561599d575f5ffd5b949793965060200194505050565b634e487b7160e01b5f52601160045260245ffd5b8082028115828204841417612743576127436159ab565b81810381811115612743576127436159ab565b80820180821115612743576127436159ab565b5f5f85851115615a0a575f5ffd5b83861115615a16575f5ffd5b5050820193919092039150565b634e487b7160e01b5f52603260045260245ffd5b634e487b7160e01b5f52604160045260245ffd5b5f60018201615a5c57615a5c6159ab565b5060010190565b80356020831015612743575f19602084900360031b1b1692915050565b5f82615a9a57634e487b7160e01b5f52601260045260245ffd5b500690565b5f8183825b6005811015615ac3578151835260209283019290910190600101615aa4565b50505060a08201905092915050565b5f8183825b6009811015615af6578151835260209283019290910190600101615ad7565b5050506101208201905092915050565b5f8183825b602a811015615b2a578151835260209283019290910190600101615b0b565b5050506105408201905092915050565b81515f90829060208501835b82811015615b64578151845260209384019390910190600101615b46565b509195945050505050565b5f8183825b6003811015615b93578151835260209283019290910190600101615b74565b50505060608201905092915050565b5f81615bb057615bb06159ab565b505f190190565b5f8183825b6008811015615bdb578151835260209283019290910190600101615bbc565b5050506101008201905092915050565b5f82518060208501845e5f920191825250919050565b5f60208284031215615c11575f5ffd5b81518015158114610333575f5ffd5b5f8183825b6007811015615c44578151835260209283019290910190600101615c25565b50505060e08201905092915050565b634e487b7160e01b5f52602160045260245ffdfe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4730644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001a26469706673582212200501a538f2a85eb33da9cff1fa5d29cfadb39b1125c5500a0bbcd3d2a7ba025464736f6c634300081e0033";
3
+ */ export const HonkVerifierBytecode = "0x610100604052348015610010575f5ffd5b506301000000608052601860a0527f03283433ea4127dbfc7e979496d557867240e6a1ca611eb1684aaadb63b9a7fd60c05260a760e05260805160a05160c05160e051615cdf6100de5f395f818161018101526107ae01525f61016001525f8181605b01528181609401528181610101015281816101a2015281816108c7015281816109d401528181610a0001528181610a7b015281816112d401528181611374015281816115c30152818161160f0152818161165d015281816116b40152612cdf01525f5050615cdf5ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b3660046158e5565b610054565b604051901515815260200160405180910390f35b5f5f61007f7f000000000000000000000000000000000000000000000000000000000000000061028c565b905061008c8160206159c1565b85146100ee577f0000000000000000000000000000000000000000000000000000000000000000856100bf8360206159c1565b6040516359895a5360e01b81526004810193909352602483019190915260448201526064015b60405180910390fd5b5f6100f761033a565b90505f61012588887f000000000000000000000000000000000000000000000000000000000000000061034f565b90506008826040015161013891906159d8565b85146101575760405163fa06659360e01b815260040160405180910390fd5b5f6101c68288887f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000006106a6565b90506102168787808060200260200160405190810160405280939291908181526020018383602002808284375f920191909152505085518551602081015160409091015191935091506001610758565b8151606001525f61022783836108bf565b905080610247576040516313f8744360e31b815260040160405180910390fd5b5f6102538486856109c0565b905080610273576040516352ec174560e11b815260040160405180910390fd5b81801561027d5750805b9b9a5050505050505050505050565b5f8061029a600260086159c1565b905060016102a96008856159c1565b6102b391906159c1565b6102bd90826159eb565b90506102cb600160296159c1565b6102d590826159eb565b905060026102e46001856159d8565b6102ee91906159c1565b6102f890826159eb565b90506103056001846159c1565b61030f90826159eb565b905061031c6002806159c1565b61032690826159eb565b90506103336008826159eb565b9392505050565b61034261517e565b61034a611786565b905090565b61035761551c565b5f805b60088110156103b9576103868683876103746020836159eb565b92610381939291906159fe565b6120c1565b8351826008811061039957610399615a25565b6020020181815250506020826103af91906159eb565b915060010161035a565b506103dd8582866103cb6040836159eb565b926103d8939291906159fe565b6120d4565b60208301526103ed6040826159eb565b90506104008582866103cb6040836159eb565b60408084019190915261041390826159eb565b90506104268582866103cb6040836159eb565b60608301526104366040826159eb565b90506104498582866103cb6040836159eb565b60c08301526104596040826159eb565b905061046c8582866103cb6040836159eb565b60e083015261047c6040826159eb565b905061048f8582866103cb6040836159eb565b608083015261049f6040826159eb565b90506104b28582866103cb6040836159eb565b6101008301526104c36040826159eb565b90506104d68582866103cb6040836159eb565b60a08301526104e66040826159eb565b90505f5b83811015610564575f5b600881101561055b5761050e8784886103746020836159eb565b84610120015183601c811061052557610525615a25565b6020020151826008811061053b5761053b615a25565b60200201818152505060208361055191906159eb565b92506001016104f4565b506001016104ea565b505f5b60298110156105b8576105818683876103746020836159eb565b836101400151826029811061059857610598615a25565b6020020181815250506020826105ae91906159eb565b9150600101610567565b505f5b6105c66001856159d8565b81101561060f576105de8683876103cb6040836159eb565b83610160015182601b81106105f5576105f5615a25565b60200201526106056040836159eb565b91506001016105bb565b505f5b838110156106625761062b8683876103746020836159eb565b83610180015182601c811061064257610642615a25565b60200201818152505060208261065891906159eb565b9150600101610612565b506106748582866103cb6040836159eb565b6101a08301526106856040826159eb565b90506106988582866103cb6040836159eb565b6101c0830152509392505050565b6106ae615664565b5f6106bd888888888886612161565b90835290506106cc81896121c4565b602084019190915290506106e081846122b3565b604084019190915290506106f5888285612342565b606084019190915290506107098882612416565b6080840191909152905061071e8882856124a1565b60a08401919091529050610733888285612616565b60c0840191909152905061074788826126db565b5060e0830152509695505050505050565b5f60018082610785866107808961077b6107768a63100000006159eb565b612718565b612730565b61274b565b90505f6107a38761079e8a61077b6107768b60016159eb565b612764565b90505f5b6107d260087f00000000000000000000000000000000000000000000000000000000000000006159d8565b81101561083f575f6107fc8c83815181106107ef576107ef615a25565b602002602001015161278c565b905061080c8661077b868461274b565b955061081c8561077b858461274b565b9450610828848b61274b565b9350610834838b612764565b9250506001016107a7565b505f5b60088110156108a6575f8a826008811061085e5761085e615a25565b602002015190506108738661077b868461274b565b95506108838561077b858461274b565b945061088f848b61274b565b935061089b838b612764565b925050600101610842565b506108b184846127a1565b9a9950505050505050505050565b5f806001815b7f0000000000000000000000000000000000000000000000000000000000000000811015610996575f86610120015182601c811061090557610905615a25565b602002015190505f61091782866127af565b905080610937576040516313f8744360e31b815260040160405180910390fd5b5f876060015184601c811061094e5761094e615a25565b6020020151905061095f83826127cf565b9550610986886040015185601c811061097a5761097a615a25565b6020020151868361297e565b94505050508060010190506108c5565b505f6109b0866101400151865f01518760200151856129a9565b90508281145b9695505050505050565b5f6109c96156dc565b5f6109f88460a001517f0000000000000000000000000000000000000000000000000000000000000000612a22565b90505f610a267f000000000000000000000000000000000000000000000000000000000000000060246159eb565b610a319060026159eb565b67ffffffffffffffff811115610a4957610a49615a39565b604051908082528060200260200182016040528015610a72578160200160208202803683370190505b5090505f610aa17f000000000000000000000000000000000000000000000000000000000000000060246159eb565b610aac9060026159eb565b67ffffffffffffffff811115610ac457610ac4615a39565b604051908082528060200260200182016040528015610b0857816020015b604080518082019091525f8082526020820152815260200190600190039081610ae25790505b509050610b3a610b358760e00151855f81518110610b2857610b28615a25565b6020026020010151612764565b612aec565b84610120018181525050610b6e610b358760e00151855f81518110610b6157610b61615a25565b602002602001015161274b565b610140850181905261012085015160c0880151610b8f926107809190612730565b845260a0860151610bbf90610ba390612aec565b61077b86610120015161079e8a60c00151896101400151612730565b6020850152815160019083905f90610bd957610bd9615a25565b602002602001018181525050876101a00151815f81518110610bfd57610bfd615a25565b6020908102919091010152600160a08501525f60c085015283515f516020615c8a5f395f51905f5203604085015260208401515f516020615c8a5f395f51905f5203606085015260015b60248111610cea57610c6185604001518660a00151612730565b838281518110610c7357610c73615a25565b602002602001018181525050610cbc8560c001516107808b6101400151600185610c9d91906159d8565b60298110610cad57610cad615a25565b60200201518860a00151612730565b60c086015260a08501516080880151610cd59190612730565b60a0860152610ce381615a4d565b9050610c47565b505f5b6005811015610db8575f610d02601d836159eb565b90505f610d106024846159eb565b9050610d41858381518110610d2757610d27615a25565b602002602001015161078089606001518a60a00151612730565b858381518110610d5357610d53615a25565b602002602001018181525050610d908760c001516107808d61014001518460298110610d8157610d81615a25565b60200201518a60a00151612730565b60c088015260a087015160808a0151610da99190612730565b60a08801525050600101610ced565b50866060015181600181518110610dd157610dd1615a25565b6020026020010181905250866080015181600281518110610df457610df4615a25565b60200260200101819052508660a0015181600381518110610e1757610e17615a25565b60200260200101819052508660c0015181600481518110610e3a57610e3a615a25565b60200260200101819052508660e0015181600581518110610e5d57610e5d615a25565b602002602001018190525086610100015181600681518110610e8157610e81615a25565b602002602001018190525086610120015181600781518110610ea557610ea5615a25565b602002602001018190525086610140015181600881518110610ec957610ec9615a25565b602002602001018190525086610160015181600981518110610eed57610eed615a25565b6020026020010181905250866101c0015181600a81518110610f1157610f11615a25565b602002602001018190525086610180015181600b81518110610f3557610f35615a25565b6020026020010181905250866101a0015181600c81518110610f5957610f59615a25565b6020026020010181905250866101e0015181600d81518110610f7d57610f7d615a25565b602002602001018190525086610200015181600e81518110610fa157610fa1615a25565b602002602001018190525086610220015181600f81518110610fc557610fc5615a25565b602002602001018190525086610240015181601081518110610fe957610fe9615a25565b60200260200101819052508661026001518160118151811061100d5761100d615a25565b60200260200101819052508661028001518160128151811061103157611031615a25565b6020026020010181905250866102a001518160138151811061105557611055615a25565b6020026020010181905250866102c001518160148151811061107957611079615a25565b6020026020010181905250866102e001518160158151811061109d5761109d615a25565b6020026020010181905250866103000151816016815181106110c1576110c1615a25565b6020026020010181905250866103200151816017815181106110e5576110e5615a25565b60200260200101819052508661034001518160188151811061110957611109615a25565b60200260200101819052508661036001518160198151811061112d5761112d615a25565b602002602001018190525086610380015181601a8151811061115157611151615a25565b6020026020010181905250866103a0015181601b8151811061117557611175615a25565b6020026020010181905250866103c0015181601c8151811061119957611199615a25565b6020026020010181905250876020015181601d815181106111bc576111bc615a25565b6020026020010181905250876040015181601e815181106111df576111df615a25565b6020026020010181905250876060015181601f8151811061120257611202615a25565b602002602001018190525087608001518160208151811061122557611225615a25565b60200260200101819052508760a001518160218151811061124857611248615a25565b60200260200101819052508761010001518160228151811061126c5761126c615a25565b60200260200101819052508760c001518160238151811061128f5761128f615a25565b60200260200101819052508760e00151816024815181106112b2576112b2615a25565b60200260200101819052505f6112f887606001518660c001518b6101800151877f0000000000000000000000000000000000000000000000000000000000000000612b5c565b9050611322815f8151811061130f5761130f615a25565b6020026020010151866101200151612730565b608086018190526101808a01515160c08901516113539291610780916113489190612730565b886101400151612730565b608086015260c087015161136690612cbb565b60a08601525f5b61139860017f00000000000000000000000000000000000000000000000000000000000000006159d8565b8110156115a7576113c8610b358960e00151878460016113b891906159eb565b81518110610b2857610b28615a25565b61012087015260e08801516113f790610b3590876113e78560016159eb565b81518110610b6157610b61615a25565b61014087015260a08601516101208701516114129190612730565b61016087015260a086015160c089015161143a9161142f91612730565b876101400151612730565b610180870181905261146f905f516020615c8a5f395f51905f52036101608801515f516020615c8a5f395f51905f520361274b565b848261147d602460016159eb565b61148791906159eb565b8151811061149757611497615a25565b6020026020010181815250505f6114da8761018001518c61018001518460016114c091906159eb565b601c81106114d0576114d0615a25565b6020020151612730565b905061151481610780896101600151868660016114f791906159eb565b8151811061150757611507615a25565b6020026020010151612730565b905061152487608001518261274b565b608088015260a087015160c08a015161154a9161154091612730565b8a60c00151612730565b60a08801526101608b015182601b811061156657611566615a25565b60200201518483611579602460016159eb565b61158391906159eb565b8151811061159357611593615a25565b60209081029190910101525060010161136d565b50604080518082019091526001815260026020820152826115e97f000000000000000000000000000000000000000000000000000000000000000060246159eb565b815181106115f9576115f9615a25565b60209081029190910101526080850151836116357f000000000000000000000000000000000000000000000000000000000000000060246159eb565b8151811061164557611645615a25565b60209081029190910101526101c089015180836116837f000000000000000000000000000000000000000000000000000000000000000060246159eb565b61168e9060016159eb565b8151811061169e5761169e615a25565b602090810291909101015260e0880151846116da7f000000000000000000000000000000000000000000000000000000000000000060246159eb565b6116e59060016159eb565b815181106116f5576116f5615a25565b6020026020010181815250505f61170c8486612cc6565b90505f61171883612de1565b90505f6117298d5f01518484612e32565b90505f5f6117398f5f0151612ea8565b9150915061174682612f11565b61174f81612f11565b61175a858385612fb4565b9450611767848285612fb4565b93506117738585612ff0565b9f9e505050505050505050505050505050565b61178e61517e565b50604080516103e08101825263010000008152601860208083019190915260a782840152825180840184527f29f13b36c63603df2c6cdd0b843a5ccf83c98ea1a0fb68c4a0db553cab1311da81527f1c715aa948a89a92d1cf42c53c6e9b75bc7ef5b6a26551089ea4592af7bc23c6818301526060830152825180840184527f28ef3f7c626ce65a6902c8f5df1099fa1a7134bb48e6d3d08ee16db205e889b381527f2a959acd6e8b7f1d2637e82e3ee258a7d836c1af9fcbf966717010080df1eaa2818301526080830152825180840184527f06a12e97212b59b98c6c2fe4eb2a5c72a30cc0e1e91f0e4ed172b799a9fab7d581527f1fb4b0f8e12e5cd975184c58041a8a7bbe34d5f4c761ae2f2230149a51e9e6548183015260a0830152825180840184527f0c067799b7cabe77e4eb7e35ee24e367b0f6cc07232ef176d11978b6548e676781527f0b7570919561a62913a84189015f45f1778bc4fab1418fe058f679314a5abd9c8183015260c0830152825180840184527f2c51ac1e1c0f608352eb0056b45a45f2ad450d772cfcd9cc5c81b9f76474e37281527f1baa38146c622af2bb4f30efa399a689783bc8f588af0352f9501970ba20a87b8183015260e0830152825180840184527f030e47bfb15824bb1a220786bbcfede7bd47a6a1c514ae8e941217d19eca1a0681527f13d415b5a45fd6dc6993e94f773608278d071c1c040782915a0c6a64656deb8a81830152610100830152825180840184527f0d5cd90aceba65851b2ed0af6db9a5d741f62886d05381d516916a3e1b72cbf681527f08207020e5d8f9360f392c108796ee1b6b58c6cd8a259a85ac8c76ac30fcac4581830152610120830152825180840184527f1eb813f3af6a65dbd7199c4f80225777d30877959a5efd16b9460252ee9455a381527f23db0e832dacb3d57e84df60498392ceb8c9ebded1f3486433ca9d51eb9f5e1881830152610140830152825180840184527f1075a1f463c1fcf4a98ef8157e0b313a1845f58e2fcfd9024d936f2cb7a4a33a81527f28f5f4038a3cf23fdd1e1b2edfe561b0457053ffd7c4eb48ddfee86d380b4ff481830152610160830152825180840184527f108ba73a24e693b4280b41380e417e1a66581a60e698d7ad91ba6796af94cfc781527f22dd20de874310e033e20f35adf11eb07b5be49df338dc524dcf7127413426b881830152610180830152825180840184527f2ea423222f367697033b489ae4007f685f80dad5e179257bb95cb8f3b615bb9081527f30066d85237e0918961a583a9cfaf0cfa21213fa902f4feabbf4a0bf835cd1d9818301526101a0830152825180840184527f10cedadab7e912bbe987fc86334eed65f97df6fd5f55eef455d5c50fa34a745d81527f1945f210a1324a76edca3a9dafea7f5ee9327c42200a8590c5e5228ae339fa4b818301526101c0830152825180840184527f01279e522f1aa5ee5f175649ac506acd35eea3f5aa52cd96e35aaf2ace0acf0b81527f17309146bcd19bf48eb704e50be86506b8f6641c27827844c382e179c3efad1a818301526101e0830152825180840184527f2532ed35f6d84a7987415f529052293b0299c119ac3ea159ed09d489b9ff3b8581527f0291068f76ff6a133110ba332df3acbd2c429ef6fc7dc4e5890a30bd9925745981830152610200830152825180840184527f09000a699e3ad80b08fbffe0f39319201c3c7df4e18b0dcf360e3ba7bba497ca81527f024c9d2daf06a9effedaa31c8d3b10a2e61ed7de526d32ad7854dee103cda93881830152610220830152825180840184527f12e3ff67a11b346fd08116eafe67cecdde0ce46a78fd23693e943b79178dca1681527f1e25a991ccb6c56209cb6b4d2d00eb050886b10164dc4c72a8afce6b859f50dd81830152610240830152825180840184527f0dcadef02eb38d2acb010e6034aae7ef2455bb9f0502ef7d8294724d0f48d3c181527f21aabf13f5bb0d86af4f22d133a143cd8a8b84f5f5fcd411cca79ab0324a7cae81830152610260830152825180840184527f07dd9d2903434c1b090f16695e1933982b73338172cfbf30bd300c5c30dc3e4881527f0683d4bbb0a94563fe197f1c94783375e1d39967506a6a1ed84dfb3dab76e0b981830152610280830152825180840184527f28f0fe6358b508e50d0c0974e90ca964107acf7c6410c12fc3fb548626c31ff681527f096568eeeaa264778d6197602ec70948ebee44cee79334edcf01cd4128077762818301526102a0830152825180840184527f1925b8a1fc15bda192821e9617de6226fc18da486488b66c9b02370a0f02ee5581527f2f217ad241880b147481da14527aa1732c9e68a95e011f579a394cb2f254c059818301526102c0830152825180840184527f1c3e3dd8ed2267546aec250cd822afcb940ee0df0f2ac62ccc64ef10a32fa39b81527f04d84ffe345778db75e2003b3a2947fb5d612646f169b4749bd0f6d2a00b21d5818301526102e0830152825180840184527eb5bffe09de82571170c06d65833eb42cfe96327efdb70e31ffab79d854ef1281527f2ebca7701bb11eab3da3ca5e88bee81374034d18f452407a4016d69b64427cbe81830152610300830152825180840184527f2194d92617bbb3ba3d9e53f4f13c5c7c6fc5ae0c56f06e0a35747f24625e576381527f11ca88979a66ada092bb26e2b64b8602eb63f6e2fc21862f6fefead2978de7e081830152610320830152825180840184527f1d346dd159688f85b77717f8197777c6ced8daf349335d74908736241f5f332881527f10e952d77959f4aa6fe9cb7222d9901d06ddfeea51240c79980d4daac814444381830152610340830152825180840184527f20b8784b739f9968d269d3db4e7e7e7e666acd5804af5ff4a54f8dfbea8d257281527f21ad5edf078583d5e29052c50b4e8d46067ddaae2aa2345c15a755074d932f9581830152610360830152825180840184527f062b31b3719d79c253d59707efcc41556e43d9f4f122ba79d3484e023fb4da7d81527f283eb52c07506637e09fb73d7875ada840d8e4c75295a90dc312b4d2571c52c38183015261038083015282518084018452600181526002818301526103a083015282518084019093527f177e3cdf761b7ac2ca1a76ed4d7808b7df0dc7b82589529a692642fa1d94c67683527f016f7afe942b343181bdb40aaf4b5aece1c9d2aed1cd4ff3a7c3dadf36bbd494908301526103c081019190915290565b5f6103336120cf8385615a65565b61278c565b604080518082019091525f808252602082015260408051808201909152805f516020615c6a5f395f51905f5261210d60205f87896159fe565b61211691615a65565b6121209190615a82565b81526020908101905f516020615c6a5f395f51905f52906121459060409087896159fe565b61214e91615a65565b6121589190615a82565b90529392505050565b61218860405180608001604052805f81526020015f81526020015f81526020015f81525090565b5f61219688888888886131e4565b90835292506121a583896134b3565b6040850191909152602084019190915291989197509095505050505050565b6121cc61574c565b5f6121d561576b565b8481526101008401805151602080840191909152905181015160408084019190915260a086018051516060850152518201516080840152516122389161221d91849101615aa1565b6040516020818303038152906040528051906020012061278c565b91505f6122448361353a565b50808552905060015b6122596001601c6159d8565b8110156122a95761228a8561226f6001846159d8565b601b811061227f5761227f615a25565b602002015183612730565b8582601b811061229c5761229c615a25565b602002015260010161224d565b5050509250929050565b6122bb615789565b5f6122d28460405160200161221d91815260200190565b93506122dd8461353a565b50825260015b8381101561233a5761231b836122fa6001846159d8565b601c811061230a5761230a615a25565b6020020151846114c06001856159d8565b8382601c811061232d5761232d615a25565b60200201526001016122e3565b509093915050565b61234a615789565b5f805b8381101561240c5761235d6157a8565b8581525f5b60088110156123c65787610120015183601c811061238257612382615a25565b6020020151816008811061239857612398615a25565b6020020151826123a98360016159eb565b600981106123b9576123b9615a25565b6020020152600101612362565b506123db8160405160200161221d9190615ad4565b95505f6123e78761353a565b8685601c81106123f9576123f9615a25565b602002019190915250505060010161234d565b5090949293505050565b5f5f6124206157c7565b8381525f5b602981101561247357856101400151816029811061244557612445615a25565b6020020151826124568360016159eb565b602a811061246657612466615a25565b6020020152600101612425565b506124888160405160200161221d9190615b08565b91505f6124948361353a565b5096929550919350505050565b5f80806124af6001856159d8565b6124ba9060026159c1565b6124c59060016159eb565b67ffffffffffffffff8111156124dd576124dd615a39565b604051908082528060200260200182016040528015612506578160200160208202803683370190505b50905084815f8151811061251c5761251c615a25565b60209081029190910101525f5b6125346001866159d8565b8110156125e75786610160015181601b811061255257612552615a25565b602002015151826125648360026159c1565b61256f9060016159eb565b8151811061257f5761257f615a25565b60200260200101818152505086610160015181601b81106125a2576125a2615a25565b602002015160200151828260026125b991906159c1565b6125c49060026159eb565b815181106125d4576125d4615a25565b6020908102919091010152600101612529565b506125fc8160405160200161221d9190615b3c565b91505f6126088361353a565b509792965091945050505050565b5f80806126248460016159eb565b67ffffffffffffffff81111561263c5761263c615a39565b604051908082528060200260200182016040528015612665578160200160208202803683370190505b50905084815f8151811061267b5761267b615a25565b60209081029190910101525f5b848110156125e75786610180015181601c81106126a7576126a7615a25565b6020020151826126b88360016159eb565b815181106126c8576126c8615a25565b6020908102919091010152600101612688565b5f5f6126e56157e6565b8381526101a085018051516020808401919091529051810151604080840191909152516124889161221d91849101615b71565b5f5f516020615c8a5f395f51905f52825b0692915050565b5f5f516020615c8a5f395f51905f5282840990505b92915050565b5f5f516020615c8a5f395f51905f528284089392505050565b5f5f516020615c8a5f395f51905f52825f516020615c8a5f395f51905f520384089392505050565b5f5f516020615c8a5f395f51905f5282612729565b5f6103338361077b84612aec565b815160208301515f9182916127c4919061274b565b929092149392505050565b60408051610100810182527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec5181526102d060208201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff1191810191909152609060608201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71608082015260f060a08201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd3160c08201526113b060e08201525f906001825b60088110156128b6576128ac8261077b8784612764565b9150600101612895565b506128bf615804565b5f5b6008811015612920575f8482600881106128dd576128dd615a25565b602002015190506128f28161077b8985612764565b90506128fd81612aec565b90508083836008811061291257612912615a25565b6020020152506001016128c1565b505f5b6008811015612973575f87826008811061293f5761293f615a25565b6020020151905061295c818484600881106114d0576114d0615a25565b9050612968868261274b565b955050600101612923565b506109b68483612730565b5f5f61299460016107808561077b896001612764565b90506129a08482612730565b95945050505050565b5f6129b2615789565b6129bd868285613573565b6129c98686838661371f565b6129d586868386613907565b6129e0868285613b56565b6129eb868285613d4a565b6129f78686838661408d565b612a0286828561453f565b612a0d868285614951565b612a18868285614d12565b6109b68185615012565b60605f8267ffffffffffffffff811115612a3e57612a3e615a39565b604051908082528060200260200182016040528015612a67578160200160208202803683370190505b50905083815f81518110612a7d57612a7d615a25565b602090810291909101015260015b83811015612ae457612abf82612aa26001846159d8565b81518110612ab257612ab2615a25565b6020026020010151612cbb565b828281518110612ad157612ad1615a25565b6020908102919091010152600101612a8b565b509392505050565b5f5f8290505f604051602081526020808201526020604082015282606082015260025f516020615c8a5f395f51905f520360808201525f516020615c8a5f395f51905f5260a082015260205f60c08360055afa80612b48575f5ffd5b505f51608091909101604052949350505050565b60605f8267ffffffffffffffff811115612b7857612b78615a39565b604051908082528060200260200182016040528015612ba1578160200160208202803683370190505b509050825b8015612cb0575f85612bb96001846159d8565b81518110612bc957612bc9615a25565b602002602001015190505f89600184612be291906159d8565b601c8110612bf257612bf2615a25565b602002015190505f612c4d612c11612c0a858d612730565b6002612730565b61079e8b612c206001896159d8565b601c8110612c3057612c30615a25565b602002015161077b612c478861077b60018a612764565b87612764565b9050612c6e8161077b610b35612c688761077b600189612764565b8661274b565b99508990508085612c806001876159d8565b81518110612c9057612c90615a25565b60200260200101818152505050505080612ca990615ba4565b9050612ba6565b509695505050505050565b5f6127458283612730565b604080518082019091525f80825260208201525f612d057f000000000000000000000000000000000000000000000000000000000000000060246159eb565b612d109060026159eb565b90505f5b81811015612d4657612d3e858281518110612d3157612d31615a25565b6020026020010151612f11565b600101612d14565b50604051600190815b60018401811015612dab5760208102870160208202870181515160408501528151602001516060850152805160808501525050604080830160606040850160075afa8316925060408260808460065afa90921691600101612d4f565b5080518452602081015160208501525080612dd9576040516352ec174560e11b815260040160405180910390fd5b505092915050565b604080518082019091525f80825260208201525f516020615c6a5f395f51905f5282602001515f516020615c6a5f395f51905f52612e1f91906159d8565b612e299190615a82565b60208301525090565b5f5f5f612e3e86612ea8565b91509150612e4a615804565b82518152602080840151818301528251604080840191909152838201516060840152875160808401528782015160a0840152865160c08401528682015160e084015251612e9d9161221d91849101615bb9565b979650505050505050565b6040805180820182525f808252602080830182815284518086018652838152808301938452865192870151608890811b9093178552948601516060870151831b179052608085015160a0860151821b17845260c085015160e090950151901b9093179092529091565b805160208201515f5f516020615c6a5f395f51905f528380095f516020615c6a5f395f51905f5260035f516020615c6a5f395f51905f52838709085f516020615c6a5f395f51905f528485091491505080612fae5760405162461bcd60e51b815260206004820152601960248201527f706f696e74206973206e6f74206f6e207468652063757276650000000000000060448201526064016100e5565b50505050565b604080518082019091525f8082526020820152604080518082019091525f8082526020820152612fe4838661506b565b90506129a081856150d7565b81516020808401518351848301516040805194850195909552938301919091527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c260608301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60808301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60a08301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60c083015260e08201526101008101919091527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c16101208201527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b06101408201527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe46101608201527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101808201525f9081906101a00160405160208183030381529060405290505f5f60086001600160a01b0316836040516131869190615bed565b5f60405180830381855afa9150503d805f81146131be576040519150601f19603f3d011682016040523d82523d5f602084013e6131c3565b606091505b50915091508180156109b65750808060200190518101906109b69190615c03565b5f80806131f28460016159eb565b6131fd9060066159eb565b67ffffffffffffffff81111561321557613215615a39565b60405190808252806020026020018201604052801561323e578160200160208202803683370190505b509050845f1b815f8151811061325657613256615a25565b60209081029190910101525f5b61326e6008866159d8565b8110156132bf5787878281811061328757613287615a25565b905060200201358282600161329c91906159eb565b815181106132ac576132ac615a25565b6020908102919091010152600101613263565b505f5b60088110156133305788516132ea9082600881106132e2576132e2615a25565b602002015190565b828260086132f98960016159eb565b61330391906159d8565b61330d91906159eb565b8151811061331d5761331d615a25565b60209081029190910101526001016132c2565b50602088015151816133438660016159eb565b8151811061335357613353615a25565b602090810291909101810191909152888101510151816133748660016159eb565b61337f9060016159eb565b8151811061338f5761338f615a25565b6020908102919091010152604088015151816133ac8660016159eb565b6133b79060026159eb565b815181106133c7576133c7615a25565b60209081029190910181019190915260408901510151816133e98660016159eb565b6133f49060036159eb565b8151811061340457613404615a25565b6020908102919091010152606088015151816134218660016159eb565b61342c9060046159eb565b8151811061343c5761343c615a25565b602090810291909101810191909152606089015101518161345e8660016159eb565b6134699060056159eb565b8151811061347957613479615a25565b6020026020010181815250506134998160405160200161221d9190615b3c565b91506134a48261353a565b50989197509095505050505050565b5f5f5f6134be615823565b85815260c0858101805151602080850191909152905181015160408085019190915260e08801805151606086015251820151608080860191909152880180515160a0860152518201519284019290925290516135209161221d91849101615c22565b915061352b8261353a565b90979096509194509092505050565b5f80826f7fffffffffffffffffffffffffffffff8116607f82901c61355e8261278c565b94506135698161278c565b9350505050915091565b5f61357f84600761514e565b90507f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f80000005f6135e06135da6135b4856003612764565b61077b6135cf6135c48b5f61514e565b61077b8c601d61514e565b61077b8b601c61514e565b83612730565b905061366161365661363d61362461360b856107806136008d600261514e565b61077b8e601c61514e565b6107806136198c600361514e565b61077b8d601d61514e565b6107806136328b600461514e565b61077b8c601e61514e565b61078061364b8a600561514e565b61077b8b601f61514e565b61078088600161514e565b905061368081610780613675866001612764565b61077b8a602761514e565b905061368c8184612730565b90506136988185612730565b8552505f90506136d26136c86136bd6136b288601c61514e565b61078089601f61514e565b61079e88602461514e565b610780875f61514e565b90506136e38161077b846002612764565b90506136f48161077b846001612764565b90506137008183612730565b905061370c8184612730565b9050808460015b60200201525050505050565b5f5f5f61375561374b61373389601c61514e565b6107806137418b601261514e565b8a60200151612730565b876040015161274b565b905061378e8161077b61378461376c8b601d61514e565b61078061377a8d601361514e565b8c60200151612730565b896040015161274b565b90506137b38161077b6137846137a58b601e61514e565b61078061377a8d601461514e565b90506137d88161077b6137846137ca8b601f61514e565b61078061377a8d601561514e565b92505f90506137fc61374b6137ee89601c61514e565b6107806137418b600e61514e565b90506138218161077b6137846138138b601d61514e565b61078061377a8d600f61514e565b90506138468161077b6137846138388b601e61514e565b61078061377a8d601061514e565b905061386b8161077b61378461385d8b601f61514e565b61078061377a8d601161514e565b91505f905061389261388c61388189602061514e565b6107808a601a61514e565b84612730565b90506138c78161079e6138c16138a98b602861514e565b6107806138b78d601b61514e565b8c60600151612730565b85612730565b90506138d38185612730565b6040860152505f6138f66138c16138eb89601b61514e565b61077b8a602861514e565b606090950194909452505050505050565b5f5f5f61391c86602001518760200151612730565b905061398061396561395761393f6139358b601661514e565b8a6040015161274b565b61078061394d8c601761514e565b8b60200151612730565b6107806138c18b601861514e565b6107806139766138c18b601961514e565b8960200151612730565b9250505f61399686602001518760200151612730565b90505f6139c36139aa6137848a601c61514e565b6107806139b88b600361514e565b61077b8c602461514e565b90505f6139ec6139d48a601d61514e565b6107806139e18c5f61514e565b61077b8d602561514e565b90505f613a166139fd8b601e61514e565b610780613a0b8d600161514e565b61077b8e602661514e565b9050613a51613a3a613a3085610780868e60200151612730565b6107808488612730565b61078061377a613a4b8e600461514e565b88612730565b9450505050505f613a6661388c88602161514e565b90505f613a7761388c89602161514e565b90505f613aaf613a96613a8b8b602361514e565b6107808c600661514e565b61079e613aa48c602361514e565b61077b8d600661514e565b90505f613ad3613acd613ac28789612730565b61077b8d602161514e565b83612764565b9050613adf8188612730565b90505f613b07613af9613af38d600661514e565b87612730565b61079e613af38e602261514e565b90505f613b158c602361514e565b90505f613b25613acd8384612730565b60808c0185905260a08c018490529050613b3f818b612730565b8b6006602002015250505050505050505050505050565b5f613b625f6001612764565b90505f613b705f6002612764565b90505f613b7e5f6003612764565b90505f613b9a613b8f88601d61514e565b61079e89601c61514e565b90505f613bb6613bab89601e61514e565b61079e8a601d61514e565b90505f613bd2613bc78a601f61514e565b61079e8b601e61514e565b90505f613bee613be38b602461514e565b61079e8c601f61514e565b905083613bff8161077b818b61274b565b9050613c0f8161077b878a61274b565b9050613c1f8161077b878961274b565b9050613c308161077b8d600861514e565b9050613c3c818a612730565b60e08b01525082613c518161077b818b61274b565b9050613c618161077b868a61274b565b9050613c718161077b868961274b565b9050613c828161077b8d600861514e565b9050613c8e818a612730565b6101008b01525081613ca48161077b818b61274b565b9050613cb48161077b858a61274b565b9050613cc48161077b858961274b565b9050613cd58161077b8d600861514e565b9050613ce1818a612730565b6101208b01525080613cf78161077b818b61274b565b9050613d078161077b848a61274b565b9050613d178161077b848961274b565b9050613d288161077b8d600861514e565b9050613d34818a612730565b610140909a019990995250505050505050505050565b613d836040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b613d8e84601d61514e565b8152613d9b84601e61514e565b6020820152613dab84602461514e565b6040820152613dbb84602761514e565b6060820152613dcb84602661514e565b6080820152613ddb84602561514e565b60a08201525f613dec85600261514e565b90505f613df9865f61514e565b90505f613e0d8460400151855f0151612764565b90505f613e2285602001518660200151612730565b606086015190915086905f90613e389080612730565b90505f613e50613a4b89602001518a60600151612730565b90505f613e6f613e688a60a001518b6040015161274b565b8a5161274b565b9050613e7e613af38288612730565b9050613ea5613e9f613e99613e938487612764565b88612764565b8461274b565b8361274b565b9050613ecd613ec2613eb78387612730565b61077b8f600961514e565b61077b60018a612764565b6101608c015250505050602085015160808601515f91613eec9161274b565b90505f613f0a613f00886060015188612730565b8860200151612764565b90505f613f2e613f1a8487612730565b6107806138c18b60a001518c5f0151612764565b9050613f56613f4b613f40838c612730565b61077b8e600961514e565b61077b600189612764565b6101808b0152505f9150613f779050613f7083601161274b565b8751612730565b90505f613f84838461274b565b9050613f90818261274b565b90505f613f9e836009612730565b9050613fc7613fc161388c613fba8b60a001518c5f015161274b565b8b5161274b565b82612764565b60c089018190525f90613fe290613a4b90613eb7908d612730565b9050613ff58b600b60200201518261274b565b6101608c0152505086515f925061401c9150613f7090614015908061274b565b885161274b565b90505f61405c6140378361077b8a5f01518b60a00151612764565b602089015161079e9061404a908061274b565b61077b8b602001518c6080015161274b565b905061407989600c6020020151610780613a4b613eb7858d612730565b89600c602002015250505050505050505050565b6140f7604051806101e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b83515f906141059080612730565b90505f61411582875f0151612730565b905061412b61412588601e61514e565b82612730565b808452614140906107806138c18a601d61514e565b80845261415c906107806141558a601c61514e565b8951612730565b80845261416e9061078089600161514e565b808452602084018190526141879061079e89601f61514e565b8352614197613b8f88602461514e565b60808401526141b56141aa88602761514e565b61079e89601f61514e565b606084015260808301516141ce9061077b816001612764565b6101c0840152608083015161420e90614204906141fd9061077b60015f516020615c8a5f395f51905f526159d8565b600161274b565b8460600151612730565b60a08401819052614244906142369061077b61422b8b600261514e565b61077b8c600361514e565b61077b613af38a600a61514e565b85600e60200201526101c0830151614268906142369061077b61422b8b600261514e565b6101e0860152825161428d9061077b6142828a600261514e565b61077b8b600361514e565b6101208401525f6142ac6142a289601f61514e565b8560200151612764565b90506142bd8161077b836001612764565b60e08501526142d06135da89602661514e565b604085018190526142ef906107806142e98b602561514e565b86612730565b6040850181905261430f906107806143088b602461514e565b8a51612730565b604085015261432c61432289602761514e565b8560400151612764565b60408501525f614340613bc78a602661514e565b905061439261436d6135da6141fd886080015160015f516020615c8a5f395f51905f5261077b91906159d8565b61077b6141fd886040015160015f516020615c8a5f395f51905f5261077b91906159d8565b60c086015260408501516143b4906143aa9080612730565b8660400151612764565b61010086015260c08501516143e6906143d29061077b8c600461514e565b61077b6143e08c600a61514e565b89612730565b6102008801526101c0850151614405906143d29061077b8c600461514e565b610220880152610100850151614424906143d29061077b8c600461514e565b61024088015260e085015161443e9061077b8b600461514e565b61014086015261445d6144528a602561514e565b61079e8b601d61514e565b610160860152608085015161449b90613bc790614490906141fd9061077b60015f516020615c8a5f395f51905f526159d8565b876101600151612730565b61018086018190526101208601516101a087018190526144d2916107809061077b6144c78e600561514e565b61077b8f600261514e565b6101a0860181905285516144f291906107809061077b6144c78e5f61514e565b6101a0860181905261014086015161450a919061274b565b6101a086018190526145249061077b6143e08c600a61514e565b6101a0860181905287600d6020020152505050505050505050565b6145786040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6145ad61459461458986601c61514e565b61077b87602561514e565b6107806145a287602461514e565b61077b88601d61514e565b81526145f26145e76145ce6145c387601c61514e565b61077b88601f61514e565b6107806145dc88601d61514e565b61077b89601e61514e565b61079e86602661514e565b6040820181905261460790600160441b612730565b6040820181905261461d9061079e86602761514e565b604082018190528151614630919061274b565b604082018190526146469061077b86600561514e565b6040820152805161465b90600160441b612730565b80825261467b9061078061467087602461514e565b61077b88602561514e565b808252602082018190526146a29061079e61469787601e61514e565b61078088601f61514e565b602082018190526146b89061077b86600461514e565b60208201528051606082018190526146d59061078086601f61514e565b606082018190526146f99061079e6146ee87602661514e565b61078088602761514e565b6060820181905261470e9061077b865f61514e565b8160600181815250505f61473761472d8360200151846040015161274b565b836060015161274b565b90506147488161077b87600361514e565b905061476061475886602561514e565b614000612730565b608083018190526147769061078087602461514e565b6080830181905261478990614000612730565b6080830181905261479f9061078087601e61514e565b608083018190526147b290614000612730565b608083018190526147c89061078087601d61514e565b608083018190526147db90614000612730565b608083018190526147f19061078087601c61514e565b608083018190526148079061079e87601f61514e565b6080830181905261481d9061077b87600561514e565b608083015261483061475886602661514e565b60a083018190526148469061078087602561514e565b60a0830181905261485990614000612730565b60a0830181905261486f9061078087602461514e565b60a0830181905261488290614000612730565b60a083018190526148989061078087601f61514e565b60a083018190526148ab90614000612730565b60a083018190526148c19061078087601e61514e565b60a083018190526148d79061079e87602761514e565b60a083018190526148ec9061077b875f61514e565b60a0830181905260808301515f91614904919061274b565b90506149158161077b88600461514e565b9050614921828261274b565b60c0840181905261493a9061077b613af389600b61514e565b60c084018190528560136020020152505050505050565b6149c76040518061022001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6149e06149d585601c61514e565b61078086600261514e565b81526149fb6149f085601d61514e565b61078086600361514e565b6020820152614a19614a0e85601e61514e565b61078086600461514e565b6040820152614a37614a2c85601f61514e565b61078086600561514e565b60608201528051614a6990614a6290614a5b90614a549080612730565b8451612730565b8351612730565b8251612730565b60808201526020810151614aa790614a9d90614a9390614a899080612730565b8460200151612730565b8360200151612730565b8260200151612730565b60a08201526040810151614ae590614adb90614ad190614ac79080612730565b8460400151612730565b8360400151612730565b8260400151612730565b60c08201526060810151614b1990614b0f90614b05906142049080612730565b8360600151612730565b8260600151612730565b60e0820152608081015160a0820151614b32919061274b565b61010082015260c081015160e0820151614b4c919061274b565b61012082015260a0810151614b7090614b65908061274b565b82610120015161274b565b61014082015260e0810151614b9490614b89908061274b565b82610100015161274b565b610160820152610120810151614baa908061274b565b6101e08201819052614bcb90614bc0908061274b565b82610160015161274b565b6101e0820152610100810151614be1908061274b565b6101a08201819052614c0290614bf7908061274b565b82610140015161274b565b6101a08201819052610160820151614c199161274b565b6101808201526101408101516101e0820151614c35919061274b565b6101c0820152614c496135da85600c61514e565b6102008201819052610280840151610180830151614c74926107809161077b9061079e8a602461514e565b8360146020020152614ca4836015602002015161078083610200015161077b856101a0015161079e8a602561514e565b8360156020020152614cd4836016602002015161078083610200015161077b856101c0015161079e8a602661514e565b8360166020020152614d04836017602002015161078083610200015161077b856101e0015161079e8a602761514e565b836017602002015250505050565b614d646040518061016001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f6040518060800160405280614d997f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e7612718565b8152602001614dc77f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b612718565b8152602001614df47e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac15612718565b8152602001614e227f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b612718565b90529050614e3f614e3486601c61514e565b61078087600261514e565b6101208301819052614e7e90614e7390614e6890614e5d9080612730565b856101200151612730565b846101200151612730565b836101200151612730565b8252614e8b85601d61514e565b6020830152614e9b85601e61514e565b6040830152614eab85601f61514e565b606083015281516020830151614ed39161472d91614ec9919061274b565b846040015161274b565b6080830152614ee661388c86600d61514e565b6101408301528151614f0790614efd90835f6114d0565b836080015161274b565b60a0830152614f33846018602002015161078084610140015161077b8660a0015161079e8b602461514e565b6103008501526020820151614f4e90614efd908360016114d0565b60c0830152614f7a846019602002015161078084610140015161077b8660c0015161079e8b602561514e565b6103208501526040820151614f9590614efd908360026114d0565b60e0830152614fc184601a602002015161078084610140015161077b8660e0015161079e8b602661514e565b6103408501526060820151614fdc90614efd908360036114d0565b61010083015261500a84601b602002015161078084610140015161077b86610100015161079e8b602761514e565b84601b613713565b815160015b601c8110156150645761505a826107808684601c811061503957615039615a25565b60200201518661504a6001876159d8565b601b81106114d0576114d0615a25565b9150600101615017565b5092915050565b604080518082019091525f8082526020820152604080518082019091525f8082526020820152604051835181526020840151602082015284604082015260408160608360075afa806150bb575f5ffd5b5080518252602080820151908301526060016040529392505050565b604080518082019091525f8082526020820152604080518082019091525f80825260208201526040518451815260208501516020820152835160408201526020840151606082015260408160808360065afa80615132575f5ffd5b5080518252602080820151908301526080016040529392505050565b5f8282602881111561516257615162615c55565b6029811061517257615172615a25565b60200201519392505050565b604051806103e001604052805f81526020015f81526020015f81526020016151b760405180604001604052805f81526020015f81525090565b81526020016151d760405180604001604052805f81526020015f81525090565b81526020016151f760405180604001604052805f81526020015f81525090565b815260200161521760405180604001604052805f81526020015f81525090565b815260200161523760405180604001604052805f81526020015f81525090565b815260200161525760405180604001604052805f81526020015f81525090565b815260200161527760405180604001604052805f81526020015f81525090565b815260200161529760405180604001604052805f81526020015f81525090565b81526020016152b760405180604001604052805f81526020015f81525090565b81526020016152d760405180604001604052805f81526020015f81525090565b81526020016152f760405180604001604052805f81526020015f81525090565b815260200161531760405180604001604052805f81526020015f81525090565b815260200161533760405180604001604052805f81526020015f81525090565b815260200161535760405180604001604052805f81526020015f81525090565b815260200161537760405180604001604052805f81526020015f81525090565b815260200161539760405180604001604052805f81526020015f81525090565b81526020016153b760405180604001604052805f81526020015f81525090565b81526020016153d760405180604001604052805f81526020015f81525090565b81526020016153f760405180604001604052805f81526020015f81525090565b815260200161541760405180604001604052805f81526020015f81525090565b815260200161543760405180604001604052805f81526020015f81525090565b815260200161545760405180604001604052805f81526020015f81525090565b815260200161547760405180604001604052805f81526020015f81525090565b815260200161549760405180604001604052805f81526020015f81525090565b81526020016154b760405180604001604052805f81526020015f81525090565b81526020016154d760405180604001604052805f81526020015f81525090565b81526020016154f760405180604001604052805f81526020015f81525090565b815260200161551760405180604001604052805f81526020015f81525090565b905290565b604051806101e00160405280615530615804565b815260200161555060405180604001604052805f81526020015f81525090565b815260200161557060405180604001604052805f81526020015f81525090565b815260200161559060405180604001604052805f81526020015f81525090565b81526020016155b060405180604001604052805f81526020015f81525090565b81526020016155d060405180604001604052805f81526020015f81525090565b81526020016155f060405180604001604052805f81526020015f81525090565b815260200161561060405180604001604052805f81526020015f81525090565b815260200161563060405180604001604052805f81526020015f81525090565b815260200161563d615841565b815260200161564a61586f565b815260200161565761588e565b81526020016154d7615789565b60405180610100016040528061569760405180608001604052805f81526020015f81526020015f81526020015f81525090565b81526020016156a461574c565b81526020016156b1615789565b81526020016156be615789565b81526020015f81526020015f81526020015f81526020015f81525090565b604051806101c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f815260200161571a6158c7565b81526020016157276158c7565b81526020015f81526020015f81526020015f81526020015f8152602001606081525090565b604051806103600160405280601b906020820280368337509192915050565b6040518060a001604052806005906020820280368337509192915050565b604051806103800160405280601c906020820280368337509192915050565b6040518061012001604052806009906020820280368337509192915050565b604051806105400160405280602a906020820280368337509192915050565b60405180606001604052806003906020820280368337509192915050565b6040518061010001604052806008906020820280368337509192915050565b6040518060e001604052806007906020820280368337509192915050565b604051806103800160405280601c905b615859615804565b8152602001906001900390816158515790505090565b6040518061052001604052806029906020820280368337509192915050565b604051806103600160405280601b905b604080518082019091525f808252602082015281526020019060019003908161589e5790505090565b60405180608001604052806004906020820280368337509192915050565b5f5f5f5f604085870312156158f8575f5ffd5b843567ffffffffffffffff81111561590e575f5ffd5b8501601f8101871361591e575f5ffd5b803567ffffffffffffffff811115615934575f5ffd5b876020828401011115615945575f5ffd5b60209182019550935085013567ffffffffffffffff811115615965575f5ffd5b8501601f81018713615975575f5ffd5b803567ffffffffffffffff81111561598b575f5ffd5b8760208260051b840101111561599f575f5ffd5b949793965060200194505050565b634e487b7160e01b5f52601160045260245ffd5b8082028115828204841417612745576127456159ad565b81810381811115612745576127456159ad565b80820180821115612745576127456159ad565b5f5f85851115615a0c575f5ffd5b83861115615a18575f5ffd5b5050820193919092039150565b634e487b7160e01b5f52603260045260245ffd5b634e487b7160e01b5f52604160045260245ffd5b5f60018201615a5e57615a5e6159ad565b5060010190565b80356020831015612745575f19602084900360031b1b1692915050565b5f82615a9c57634e487b7160e01b5f52601260045260245ffd5b500690565b5f8183825b6005811015615ac5578151835260209283019290910190600101615aa6565b50505060a08201905092915050565b5f8183825b6009811015615af8578151835260209283019290910190600101615ad9565b5050506101208201905092915050565b5f8183825b602a811015615b2c578151835260209283019290910190600101615b0d565b5050506105408201905092915050565b81515f90829060208501835b82811015615b66578151845260209384019390910190600101615b48565b509195945050505050565b5f8183825b6003811015615b95578151835260209283019290910190600101615b76565b50505060608201905092915050565b5f81615bb257615bb26159ad565b505f190190565b5f8183825b6008811015615bdd578151835260209283019290910190600101615bbe565b5050506101008201905092915050565b5f82518060208501845e5f920191825250919050565b5f60208284031215615c13575f5ffd5b81518015158114610333575f5ffd5b5f8183825b6007811015615c46578151835260209283019290910190600101615c27565b50505060e08201905092915050565b634e487b7160e01b5f52602160045260245ffdfe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4730644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001a2646970667358221220bb551b63faf3bcc45955d63161945b29a2216ffcd1742eac2a726a6312f1312464736f6c634300081e0033";
4
4
  /**
5
5
  * HonkVerifier link references.
6
6
  */ export const HonkVerifierLinkReferences = {};