@aztec/l1-artifacts 0.0.1-commit.f146247c → 0.0.1-commit.f1df4d2

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 (56) 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/foundry.toml +1 -1
  6. package/l1-contracts/generated/HonkVerifier.sol +65 -70
  7. package/l1-contracts/out/CoinIssuer.sol/CoinIssuer.json +1 -1
  8. package/l1-contracts/out/DateGatedRelayer.sol/DateGatedRelayer.json +1 -1
  9. package/l1-contracts/out/DeployAztecL1Contracts.s.sol/DeployAztecL1Contracts.json +1 -1
  10. package/l1-contracts/out/DeployAztecL1Contracts.t.sol/DeployAztecL1ContractsTest.json +1 -1
  11. package/l1-contracts/out/DeployRollupForUpgrade.s.sol/DeployRollupForUpgrade.json +1 -1
  12. package/l1-contracts/out/DeployRollupForUpgrade.t.sol/DeployRollupForUpgradeTest.json +1 -1
  13. package/l1-contracts/out/DeployRollupLib.sol/DeployRollupLib.json +1 -1
  14. package/l1-contracts/out/DeploymentConfiguration.sol/DeploymentConfiguration.json +1 -1
  15. package/l1-contracts/out/FeeAssetHandler.sol/FeeAssetHandler.json +1 -1
  16. package/l1-contracts/out/FlushRewarder.sol/FlushRewarder.json +1 -1
  17. package/l1-contracts/out/HonkVerifier.sol/BaseHonkVerifier.json +1 -1
  18. package/l1-contracts/out/HonkVerifier.sol/CommitmentSchemeLib.json +1 -1
  19. package/l1-contracts/out/HonkVerifier.sol/FrLib.json +1 -1
  20. package/l1-contracts/out/HonkVerifier.sol/Honk.json +1 -1
  21. package/l1-contracts/out/HonkVerifier.sol/HonkVerificationKey.json +1 -1
  22. package/l1-contracts/out/HonkVerifier.sol/HonkVerifier.json +1 -1
  23. package/l1-contracts/out/HonkVerifier.sol/IVerifier.json +1 -1
  24. package/l1-contracts/out/HonkVerifier.sol/RelationsLib.json +1 -1
  25. package/l1-contracts/out/HonkVerifier.sol/TranscriptLib.json +1 -1
  26. package/l1-contracts/out/IDateGatedRelayer.sol/IDateGatedRelayer.json +1 -1
  27. package/l1-contracts/out/IFlushRewarder.sol/IFlushRewarder.json +1 -1
  28. package/l1-contracts/out/IMintableERC20.sol/IMintableERC20.json +1 -1
  29. package/l1-contracts/out/ISlashFactory.sol/ISlashFactory.json +1 -1
  30. package/l1-contracts/out/InputsExtractor.sol/InputsExtractor.json +1 -1
  31. package/l1-contracts/out/MockERC20.sol/MockERC20.json +1 -1
  32. package/l1-contracts/out/MockERC721.sol/MockERC721.json +1 -1
  33. package/l1-contracts/out/MockFeeJuicePortal.sol/MockFeeJuicePortal.json +1 -1
  34. package/l1-contracts/out/MockVerifier.sol/MockVerifier.json +1 -1
  35. package/l1-contracts/out/MockZKPassportVerifier.sol/MockZKPassportVerifier.json +1 -1
  36. package/l1-contracts/out/MultiAdder.sol/MultiAdder.json +1 -1
  37. package/l1-contracts/out/RegisterNewRollupVersionPayload.sol/RegisterNewRollupVersionPayload.json +1 -1
  38. package/l1-contracts/out/Registry.sol/Registry.json +1 -1
  39. package/l1-contracts/out/RewardDistributor.sol/RewardDistributor.json +1 -1
  40. package/l1-contracts/out/RollupConfiguration.sol/RollupConfiguration.json +1 -1
  41. package/l1-contracts/out/SlashFactory.sol/SlashFactory.json +1 -1
  42. package/l1-contracts/out/SlashPayload.sol/SlashPayload.json +1 -1
  43. package/l1-contracts/out/StakingAssetHandler.sol/StakingAssetHandler.json +1 -1
  44. package/l1-contracts/out/StdError.sol/stdError.json +1 -1
  45. package/l1-contracts/out/TestERC20.sol/TestERC20.json +1 -1
  46. package/l1-contracts/out/ZKPassportHelper.sol/ZKPassportHelper.json +1 -1
  47. package/l1-contracts/out/ZKPassportRootVerifier.sol/ZKPassportRootVerifier.json +1 -1
  48. package/l1-contracts/out/ZKPassportSubVerifier.sol/ZKPassportSubVerifier.json +1 -1
  49. package/l1-contracts/out/build-info/{bcca871da7c17f8e.json → 6b707081690bc1a6.json} +1 -1
  50. package/l1-contracts/out/build-info/{33d81a4b1b05e4ba.json → 8103921c6e825236.json} +1 -1
  51. package/l1-contracts/out/shouting.t.sol/ScreamAndShoutTest.json +1 -1
  52. package/l1-contracts/script/deploy/DeployRollupForUpgrade.s.sol +17 -1
  53. package/l1-contracts/test/script/DeployAztecL1Contracts.t.sol +61 -0
  54. package/l1-contracts/test/script/DeployRollupForUpgrade.t.sol +112 -0
  55. package/package.json +1 -1
  56. package/l1-contracts/solc-0.8.30 +0 -0
package/dest/HonkVerifierBytecode.d.ts CHANGED
@@ -1,9 +1,9 @@
1
1
  /**
2
2
  * HonkVerifier bytecode.
3
3
  */
4
- export declare const HonkVerifierBytecode = "0x610100604052348015610010575f5ffd5b506301000000608052601860a0527f14df98df2670d6b3040164748f97485945b94d6558c54e148cf7cc5f64f0d1f860c05260af60e05260805160a05160c05160e051615d606100de5f395f818161018101526107ae01525f61016001525f8181605b01528181609401528181610101015281816101a2015281816108c7015281816109d401528181610a0001528181610a7b015281816112d401528181611374015281816115c30152818161160f0152818161165d015281816116b40152612cde01525f5050615d605ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b366004615966565b610054565b604051901515815260200160405180910390f35b5f5f61007f7f000000000000000000000000000000000000000000000000000000000000000061028c565b905061008c816020615a42565b85146100ee577f0000000000000000000000000000000000000000000000000000000000000000856100bf836020615a42565b6040516359895a5360e01b81526004810193909352602483019190915260448201526064015b60405180910390fd5b5f6100f761033a565b90505f61012588887f000000000000000000000000000000000000000000000000000000000000000061034f565b9050601082604001516101389190615a59565b85146101575760405163fa06659360e01b815260040160405180910390fd5b5f6101c68288887f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000006106a6565b90506102168787808060200260200160405190810160405280939291908181526020018383602002808284375f920191909152505085518551602081015160409091015191935091506001610758565b8151606001525f61022783836108bf565b905080610247576040516313f8744360e31b815260040160405180910390fd5b5f6102538486856109c0565b905080610273576040516352ec174560e11b815260040160405180910390fd5b81801561027d5750805b9b9a5050505050505050505050565b5f8061029a60026008615a42565b905060016102a9600885615a42565b6102b39190615a42565b6102bd9082615a6c565b90506102cb60016029615a42565b6102d59082615a6c565b905060026102e4600185615a59565b6102ee9190615a42565b6102f89082615a6c565b9050610305600184615a42565b61030f9082615a6c565b905061031c600280615a42565b6103269082615a6c565b9050610333601082615a6c565b9392505050565b6103426151e0565b61034a611786565b905090565b61035761557e565b5f805b60108110156103b957610386868387610374602083615a6c565b9261038193929190615a7f565b6120c0565b8351826010811061039957610399615aa6565b6020020181815250506020826103af9190615a6c565b915060010161035a565b506103dd8582866103cb604083615a6c565b926103d893929190615a7f565b6120d3565b60208301526103ed604082615a6c565b90506104008582866103cb604083615a6c565b6040808401919091526104139082615a6c565b90506104268582866103cb604083615a6c565b6060830152610436604082615a6c565b90506104498582866103cb604083615a6c565b60c0830152610459604082615a6c565b905061046c8582866103cb604083615a6c565b60e083015261047c604082615a6c565b905061048f8582866103cb604083615a6c565b608083015261049f604082615a6c565b90506104b28582866103cb604083615a6c565b6101008301526104c3604082615a6c565b90506104d68582866103cb604083615a6c565b60a08301526104e6604082615a6c565b90505f5b83811015610564575f5b600881101561055b5761050e878488610374602083615a6c565b84610120015183601c811061052557610525615aa6565b6020020151826008811061053b5761053b615aa6565b6020020181815250506020836105519190615a6c565b92506001016104f4565b506001016104ea565b505f5b60298110156105b857610581868387610374602083615a6c565b836101400151826029811061059857610598615aa6565b6020020181815250506020826105ae9190615a6c565b9150600101610567565b505f5b6105c6600185615a59565b81101561060f576105de8683876103cb604083615a6c565b83610160015182601b81106105f5576105f5615aa6565b6020020152610605604083615a6c565b91506001016105bb565b505f5b838110156106625761062b868387610374602083615a6c565b83610180015182601c811061064257610642615aa6565b6020020181815250506020826106589190615a6c565b9150600101610612565b506106748582866103cb604083615a6c565b6101a0830152610685604082615a6c565b90506106988582866103cb604083615a6c565b6101c0830152509392505050565b6106ae6156c6565b5f6106bd888888888886612160565b90835290506106cc81896121c3565b602084019190915290506106e081846122b2565b604084019190915290506106f5888285612341565b606084019190915290506107098882612415565b6080840191909152905061071e8882856124a0565b60a08401919091529050610733888285612615565b60c0840191909152905061074788826126da565b5060e0830152509695505050505050565b5f60018082610785866107808961077b6107768a6310000000615a6c565b612717565b61272f565b61274a565b90505f6107a38761079e8a61077b6107768b6001615a6c565b612763565b90505f5b6107d260107f0000000000000000000000000000000000000000000000000000000000000000615a59565b81101561083f575f6107fc8c83815181106107ef576107ef615aa6565b602002602001015161278b565b905061080c8661077b868461274a565b955061081c8561077b858461274a565b9450610828848b61274a565b9350610834838b612763565b9250506001016107a7565b505f5b60108110156108a6575f8a826010811061085e5761085e615aa6565b602002015190506108738661077b868461274a565b95506108838561077b858461274a565b945061088f848b61274a565b935061089b838b612763565b925050600101610842565b506108b184846127a0565b9a9950505050505050505050565b5f806001815b7f0000000000000000000000000000000000000000000000000000000000000000811015610996575f86610120015182601c811061090557610905615aa6565b602002015190505f61091782866127ae565b905080610937576040516313f8744360e31b815260040160405180910390fd5b5f876060015184601c811061094e5761094e615aa6565b6020020151905061095f83826127ce565b9550610986886040015185601c811061097a5761097a615aa6565b6020020151868361297d565b94505050508060010190506108c5565b505f6109b0866101400151865f01518760200151856129a8565b90508281145b9695505050505050565b5f6109c961573e565b5f6109f88460a001517f0000000000000000000000000000000000000000000000000000000000000000612a21565b90505f610a267f00000000000000000000000000000000000000000000000000000000000000006024615a6c565b610a31906002615a6c565b67ffffffffffffffff811115610a4957610a49615aba565b604051908082528060200260200182016040528015610a72578160200160208202803683370190505b5090505f610aa17f00000000000000000000000000000000000000000000000000000000000000006024615a6c565b610aac906002615a6c565b67ffffffffffffffff811115610ac457610ac4615aba565b604051908082528060200260200182016040528015610b0857816020015b604080518082019091525f8082526020820152815260200190600190039081610ae25790505b509050610b3a610b358760e00151855f81518110610b2857610b28615aa6565b6020026020010151612763565b612aeb565b84610120018181525050610b6e610b358760e00151855f81518110610b6157610b61615aa6565b602002602001015161274a565b610140850181905261012085015160c0880151610b8f92610780919061272f565b845260a0860151610bbf90610ba390612aeb565b61077b86610120015161079e8a60c0015189610140015161272f565b6020850152815160019083905f90610bd957610bd9615aa6565b602002602001018181525050876101a00151815f81518110610bfd57610bfd615aa6565b6020908102919091010152600160a08501525f60c085015283515f516020615d0b5f395f51905f5203604085015260208401515f516020615d0b5f395f51905f5203606085015260015b60248111610cea57610c6185604001518660a0015161272f565b838281518110610c7357610c73615aa6565b602002602001018181525050610cbc8560c001516107808b6101400151600185610c9d9190615a59565b60298110610cad57610cad615aa6565b60200201518860a0015161272f565b60c086015260a08501516080880151610cd5919061272f565b60a0860152610ce381615ace565b9050610c47565b505f5b6005811015610db8575f610d02601d83615a6c565b90505f610d10602484615a6c565b9050610d41858381518110610d2757610d27615aa6565b602002602001015161078089606001518a60a0015161272f565b858381518110610d5357610d53615aa6565b602002602001018181525050610d908760c001516107808d61014001518460298110610d8157610d81615aa6565b60200201518a60a0015161272f565b60c088015260a087015160808a0151610da9919061272f565b60a08801525050600101610ced565b50866060015181600181518110610dd157610dd1615aa6565b6020026020010181905250866080015181600281518110610df457610df4615aa6565b60200260200101819052508660a0015181600381518110610e1757610e17615aa6565b60200260200101819052508660c0015181600481518110610e3a57610e3a615aa6565b60200260200101819052508660e0015181600581518110610e5d57610e5d615aa6565b602002602001018190525086610100015181600681518110610e8157610e81615aa6565b602002602001018190525086610120015181600781518110610ea557610ea5615aa6565b602002602001018190525086610140015181600881518110610ec957610ec9615aa6565b602002602001018190525086610160015181600981518110610eed57610eed615aa6565b6020026020010181905250866101c0015181600a81518110610f1157610f11615aa6565b602002602001018190525086610180015181600b81518110610f3557610f35615aa6565b6020026020010181905250866101a0015181600c81518110610f5957610f59615aa6565b6020026020010181905250866101e0015181600d81518110610f7d57610f7d615aa6565b602002602001018190525086610200015181600e81518110610fa157610fa1615aa6565b602002602001018190525086610220015181600f81518110610fc557610fc5615aa6565b602002602001018190525086610240015181601081518110610fe957610fe9615aa6565b60200260200101819052508661026001518160118151811061100d5761100d615aa6565b60200260200101819052508661028001518160128151811061103157611031615aa6565b6020026020010181905250866102a001518160138151811061105557611055615aa6565b6020026020010181905250866102c001518160148151811061107957611079615aa6565b6020026020010181905250866102e001518160158151811061109d5761109d615aa6565b6020026020010181905250866103000151816016815181106110c1576110c1615aa6565b6020026020010181905250866103200151816017815181106110e5576110e5615aa6565b60200260200101819052508661034001518160188151811061110957611109615aa6565b60200260200101819052508661036001518160198151811061112d5761112d615aa6565b602002602001018190525086610380015181601a8151811061115157611151615aa6565b6020026020010181905250866103a0015181601b8151811061117557611175615aa6565b6020026020010181905250866103c0015181601c8151811061119957611199615aa6565b6020026020010181905250876020015181601d815181106111bc576111bc615aa6565b6020026020010181905250876040015181601e815181106111df576111df615aa6565b6020026020010181905250876060015181601f8151811061120257611202615aa6565b602002602001018190525087608001518160208151811061122557611225615aa6565b60200260200101819052508760a001518160218151811061124857611248615aa6565b60200260200101819052508761010001518160228151811061126c5761126c615aa6565b60200260200101819052508760c001518160238151811061128f5761128f615aa6565b60200260200101819052508760e00151816024815181106112b2576112b2615aa6565b60200260200101819052505f6112f887606001518660c001518b6101800151877f0000000000000000000000000000000000000000000000000000000000000000612b5b565b9050611322815f8151811061130f5761130f615aa6565b602002602001015186610120015161272f565b608086018190526101808a01515160c0890151611353929161078091611348919061272f565b88610140015161272f565b608086015260c087015161136690612cba565b60a08601525f5b61139860017f0000000000000000000000000000000000000000000000000000000000000000615a59565b8110156115a7576113c8610b358960e00151878460016113b89190615a6c565b81518110610b2857610b28615aa6565b61012087015260e08801516113f790610b3590876113e7856001615a6c565b81518110610b6157610b61615aa6565b61014087015260a0860151610120870151611412919061272f565b61016087015260a086015160c089015161143a9161142f9161272f565b87610140015161272f565b610180870181905261146f905f516020615d0b5f395f51905f52036101608801515f516020615d0b5f395f51905f520361274a565b848261147d60246001615a6c565b6114879190615a6c565b8151811061149757611497615aa6565b6020026020010181815250505f6114da8761018001518c61018001518460016114c09190615a6c565b601c81106114d0576114d0615aa6565b602002015161272f565b905061151481610780896101600151868660016114f79190615a6c565b8151811061150757611507615aa6565b602002602001015161272f565b905061152487608001518261274a565b608088015260a087015160c08a015161154a916115409161272f565b8a60c0015161272f565b60a08801526101608b015182601b811061156657611566615aa6565b6020020151848361157960246001615a6c565b6115839190615a6c565b8151811061159357611593615aa6565b60209081029190910101525060010161136d565b50604080518082019091526001815260026020820152826115e97f00000000000000000000000000000000000000000000000000000000000000006024615a6c565b815181106115f9576115f9615aa6565b60209081029190910101526080850151836116357f00000000000000000000000000000000000000000000000000000000000000006024615a6c565b8151811061164557611645615aa6565b60209081029190910101526101c089015180836116837f00000000000000000000000000000000000000000000000000000000000000006024615a6c565b61168e906001615a6c565b8151811061169e5761169e615aa6565b602090810291909101015260e0880151846116da7f00000000000000000000000000000000000000000000000000000000000000006024615a6c565b6116e5906001615a6c565b815181106116f5576116f5615aa6565b6020026020010181815250505f61170c8486612cc5565b90505f61171883612de0565b90505f6117298d5f01518484612e31565b90505f5f6117398f5f0151612ea7565b9150915061174682612f73565b61174f81612f73565b61175a858385613016565b9450611767848285613016565b93506117738585613052565b9f9e505050505050505050505050505050565b61178e6151e0565b50604080516103e08101825263010000008152601860208083019190915260af82840152825180840184527f1d9cb9d7cc64006646f3df3e62b599798c8c61b2c476167bd745f13cbcb336cf81527f24e6761b164d72e79971c2ca847f1bfc7963f76fb4744dbd3fbf884b9d13f816818301526060830152825180840184527f2e941d384dd60cf65119590a8dd0f73b837023432814b7d4c61a1fff5816cfdb81527f0f7add8130ab78e8060be7a64a44019567902336a55b0d134baaa7c59e8c0fc2818301526080830152825180840184527f27847eb60113003e6048d692010d2f34a6bab66abacbcd61caef29cab6d449c381527f0efd0069e03aae24e155656868bc035df2981e9fd15976796ac646416782aa538183015260a0830152825180840184527f0a5b2a5256090326a00a42163677b4829941efbc11eb19bef1b5539efd61294c81527f27a19d279cceed3879d7450443897882caf7e3581ba3353c1f78ba1e6b82ac488183015260c0830152825180840184527f028286f63006d05df4908855d06596e9340a64db1b4e01b51f396764d3515ca781527f0cdb7d89e67240094775e5741041f607a485833412e08898b56c3c05652bfe0e8183015260e0830152825180840184527f2579ebceccd9bfa3fdd390fc03ae3abf05d351b7339cf3db68861b9fd0a9d90881527f297157bfac210a90374c90cd46287129d4bd134d61b0969a7e08eca684e517df81830152610100830152825180840184527f14e11f086d7ccfc3c02ecfbc088af8a76c737f6b09014c4493310b6f43c12b1e81527f2a68571d45e0c3e4845d1b9a44e95e1d3848f411ba63e1aae95709c95667555181830152610120830152825180840184527f20b9abe371b2651322996fb63b36d13538d0c0db6f6ccbddb728721b3f5e5c9681527f0246dc1b27480f4038ec2f99f3f4c6ee65d7712e1976dd5f06188f8bb0ed49c781830152610140830152825180840184527ebef0d9b68a8330fbda054d5f7d397a7bfc315cd43688a5bf9e4a79a9cfb57281527f18a87e55ecdea0b2388e9f0e850bde15f3c508d102b4bb1e7a1b7f60cdab368681830152610160830152825180840184527f263821169579a7db7bf164508ea7b1951aae6af5732b77341ab62bbf1e445eb481527f26eb45d875b3b31dbb51c82f14091c0b6281a77c0c5ac5f7faad686301fa453081830152610180830152825180840184527f1e123d620a2d96e97adf481e65d9a1f6a7f8c41d5ef8bd31cc45ea6f80184c3d81527f2e5794a1f47815a3c0158369fb50e721ab32603fd4edb543dd1a3bd5f9cb4ae6818301526101a0830152825180840184527f053f97c8e42c90dc2b46d69775469f54e39427c5faef3e9a0db94b6bb9f831eb81527f09f90c434a3a2ee58cc00018ac8da9526ce387f97a448de1553a61d5efca293e818301526101c0830152825180840184527ec3459f447a9931225bf4741d1c9aeca29b38a105771775e41c0f8b997a8d3781527f2f073c67b0df2d38f9b9cf970173b532309414a7725bfe9b070c49a9cb0120ac818301526101e0830152825180840184527f0568f5f391b0ca1ad7d6a3a0c6ccd54d226e036169095edf2bc7e84267269a7781527f2637d9fb5c49a52121f77ef8b87cb0b6cbb647758fadb59a0fcbc36a3e4cbf8181830152610200830152825180840184527f0aedc518303b97e839f61f7e684e5841ae8d0d666e29f05419da1f986a6cef2b81527f131ed1a4df863fe4ea7f94b3d6d18d818e7ecdc30a39f4cbfb04df05a9f6f01681830152610220830152825180840184527f1fbb79e803c3e062879d9aa10a20054f46a9515b55459ff99630034f7cff656d81527f2881cf95f7536ca8aec1407af3d385fea3a24c44514900f5e0566f663c4790e881830152610240830152825180840184527f12ff283fe9460e4a0e67fe6079694a88005ee164708ed01a2e5705daa6dd1cd981527f1392475bbbaef7536ff1c546bccc3f93238232277f08b3d672e4b66fbcec138381830152610260830152825180840184527f222f6d2115dfd437c0b182f3912b74d35a4286de3353d36d8e93f1db57352b0d81527f20b55b77c275a90c61a0ddd0cadbfa4b41f35d690c9bc016a3da6f9a7e07d75e81830152610280830152825180840184527f07b7bf778a4a4f5fe35c10e8bb9e467109c368c662322deef1f6819d96983ac981527f18350deae666b24be7d654cf1437ebed2ad8d92e3359b208d186709f722e9b19818301526102a0830152825180840184527f1f15f6fd77323dab76d5af9ede42360e803af182791a91cef61f325c40b57ef381527f2cda7a98826a052e73f61bb13ca429b7cedb05d13a5fc48154caa314ab124a2e818301526102c0830152825180840184527f259b6f7636b3ee6a0db3f71518910d684dbbfa67bf1202dbfca1f584aa0abd5f81527f164fac6641a65692bf1a1bbfae3a4f67c46e825ceeb91a1b66a0ca4225a732fc818301526102e0830152825180840184527f1d0e7748f66648e20212db2fe8b9bbe8345459705b18918f2cf9dd08d35eaa0981527f092b3c3841f37b28c82c68e1ba4f97e271d61b29d9390fccfcb68b0041d991e381830152610300830152825180840184527f2194d92617bbb3ba3d9e53f4f13c5c7c6fc5ae0c56f06e0a35747f24625e576381527f11ca88979a66ada092bb26e2b64b8602eb63f6e2fc21862f6fefead2978de7e081830152610320830152825180840184527f1d346dd159688f85b77717f8197777c6ced8daf349335d74908736241f5f332881527f10e952d77959f4aa6fe9cb7222d9901d06ddfeea51240c79980d4daac814444381830152610340830152825180840184527f20b8784b739f9968d269d3db4e7e7e7e666acd5804af5ff4a54f8dfbea8d257281527f21ad5edf078583d5e29052c50b4e8d46067ddaae2aa2345c15a755074d932f9581830152610360830152825180840184527f062b31b3719d79c253d59707efcc41556e43d9f4f122ba79d3484e023fb4da7d81527f283eb52c07506637e09fb73d7875ada840d8e4c75295a90dc312b4d2571c52c38183015261038083015282518084018452600181526002818301526103a083015282518084019093527f0989b1e1b8f685966ad282d1c4bb61b585653712c257ccad59c6f098e1aa6ee083527f2be85d735fa2155cb588417ba94164a383d3adae5b70546c4bf28888aee6299f908301526103c081019190915290565b5f6103336120ce8385615ae6565b61278b565b604080518082019091525f808252602082015260408051808201909152805f516020615ceb5f395f51905f5261210c60205f8789615a7f565b61211591615ae6565b61211f9190615b03565b81526020908101905f516020615ceb5f395f51905f5290612144906040908789615a7f565b61214d91615ae6565b6121579190615b03565b90529392505050565b61218760405180608001604052805f81526020015f81526020015f81526020015f81525090565b5f6121958888888888613246565b90835292506121a48389613515565b6040850191909152602084019190915291989197509095505050505050565b6121cb6157ae565b5f6121d46157cd565b8481526101008401805151602080840191909152905181015160408084019190915260a086018051516060850152518201516080840152516122379161221c91849101615b22565b6040516020818303038152906040528051906020012061278b565b91505f6122438361359c565b50808552905060015b6122586001601c615a59565b8110156122a8576122898561226e600184615a59565b601b811061227e5761227e615aa6565b60200201518361272f565b8582601b811061229b5761229b615aa6565b602002015260010161224c565b5050509250929050565b6122ba6157eb565b5f6122d18460405160200161221c91815260200190565b93506122dc8461359c565b50825260015b838110156123395761231a836122f9600184615a59565b601c811061230957612309615aa6565b6020020151846114c0600185615a59565b8382601c811061232c5761232c615aa6565b60200201526001016122e2565b509093915050565b6123496157eb565b5f805b8381101561240b5761235c61580a565b8581525f5b60088110156123c55787610120015183601c811061238157612381615aa6565b6020020151816008811061239757612397615aa6565b6020020151826123a8836001615a6c565b600981106123b8576123b8615aa6565b6020020152600101612361565b506123da8160405160200161221c9190615b55565b95505f6123e68761359c565b8685601c81106123f8576123f8615aa6565b602002019190915250505060010161234c565b5090949293505050565b5f5f61241f615829565b8381525f5b602981101561247257856101400151816029811061244457612444615aa6565b602002015182612455836001615a6c565b602a811061246557612465615aa6565b6020020152600101612424565b506124878160405160200161221c9190615b89565b91505f6124938361359c565b5096929550919350505050565b5f80806124ae600185615a59565b6124b9906002615a42565b6124c4906001615a6c565b67ffffffffffffffff8111156124dc576124dc615aba565b604051908082528060200260200182016040528015612505578160200160208202803683370190505b50905084815f8151811061251b5761251b615aa6565b60209081029190910101525f5b612533600186615a59565b8110156125e65786610160015181601b811061255157612551615aa6565b60200201515182612563836002615a42565b61256e906001615a6c565b8151811061257e5761257e615aa6565b60200260200101818152505086610160015181601b81106125a1576125a1615aa6565b602002015160200151828260026125b89190615a42565b6125c3906002615a6c565b815181106125d3576125d3615aa6565b6020908102919091010152600101612528565b506125fb8160405160200161221c9190615bbd565b91505f6126078361359c565b509792965091945050505050565b5f8080612623846001615a6c565b67ffffffffffffffff81111561263b5761263b615aba565b604051908082528060200260200182016040528015612664578160200160208202803683370190505b50905084815f8151811061267a5761267a615aa6565b60209081029190910101525f5b848110156125e65786610180015181601c81106126a6576126a6615aa6565b6020020151826126b7836001615a6c565b815181106126c7576126c7615aa6565b6020908102919091010152600101612687565b5f5f6126e4615848565b8381526101a085018051516020808401919091529051810151604080840191909152516124879161221c91849101615bf2565b5f5f516020615d0b5f395f51905f52825b0692915050565b5f5f516020615d0b5f395f51905f5282840990505b92915050565b5f5f516020615d0b5f395f51905f528284089392505050565b5f5f516020615d0b5f395f51905f52825f516020615d0b5f395f51905f520384089392505050565b5f5f516020615d0b5f395f51905f5282612728565b5f6103338361077b84612aeb565b815160208301515f9182916127c3919061274a565b929092149392505050565b60408051610100810182527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec5181526102d060208201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff1191810191909152609060608201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71608082015260f060a08201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd3160c08201526113b060e08201525f906001825b60088110156128b5576128ab8261077b8784612763565b9150600101612894565b506128be615866565b5f5b600881101561291f575f8482600881106128dc576128dc615aa6565b602002015190506128f18161077b8985612763565b90506128fc81612aeb565b90508083836008811061291157612911615aa6565b6020020152506001016128c0565b505f5b6008811015612972575f87826008811061293e5761293e615aa6565b6020020151905061295b818484600881106114d0576114d0615aa6565b9050612967868261274a565b955050600101612922565b506109b6848361272f565b5f5f61299360016107808561077b896001612763565b905061299f848261272f565b95945050505050565b5f6129b16157eb565b6129bc8682856135d5565b6129c886868386613781565b6129d486868386613969565b6129df868285613bb8565b6129ea868285613dac565b6129f6868683866140ef565b612a018682856145a1565b612a0c8682856149b3565b612a17868285614d74565b6109b68185615074565b60605f8267ffffffffffffffff811115612a3d57612a3d615aba565b604051908082528060200260200182016040528015612a66578160200160208202803683370190505b50905083815f81518110612a7c57612a7c615aa6565b602090810291909101015260015b83811015612ae357612abe82612aa1600184615a59565b81518110612ab157612ab1615aa6565b6020026020010151612cba565b828281518110612ad057612ad0615aa6565b6020908102919091010152600101612a8a565b509392505050565b5f5f8290505f604051602081526020808201526020604082015282606082015260025f516020615d0b5f395f51905f520360808201525f516020615d0b5f395f51905f5260a082015260205f60c08360055afa80612b47575f5ffd5b505f51608091909101604052949350505050565b60605f8267ffffffffffffffff811115612b7757612b77615aba565b604051908082528060200260200182016040528015612ba0578160200160208202803683370190505b509050825b8015612caf575f85612bb8600184615a59565b81518110612bc857612bc8615aa6565b602002602001015190505f89600184612be19190615a59565b601c8110612bf157612bf1615aa6565b602002015190505f612c4c612c10612c09858d61272f565b600261272f565b61079e8b612c1f600189615a59565b601c8110612c2f57612c2f615aa6565b602002015161077b612c468861077b60018a612763565b87612763565b9050612c6d8161077b610b35612c678761077b600189612763565b8661274a565b99508990508085612c7f600187615a59565b81518110612c8f57612c8f615aa6565b60200260200101818152505050505080612ca890615c25565b9050612ba5565b509695505050505050565b5f612744828361272f565b604080518082019091525f80825260208201525f612d047f00000000000000000000000000000000000000000000000000000000000000006024615a6c565b612d0f906002615a6c565b90505f5b81811015612d4557612d3d858281518110612d3057612d30615aa6565b6020026020010151612f73565b600101612d13565b50604051600190815b60018401811015612daa5760208102870160208202870181515160408501528151602001516060850152805160808501525050604080830160606040850160075afa8316925060408260808460065afa90921691600101612d4e565b5080518452602081015160208501525080612dd8576040516352ec174560e11b815260040160405180910390fd5b505092915050565b604080518082019091525f80825260208201525f516020615ceb5f395f51905f5282602001515f516020615ceb5f395f51905f52612e1e9190615a59565b612e289190615b03565b60208301525090565b5f5f5f612e3d86612ea7565b91509150612e49615866565b82518152602080840151818301528251604080840191909152838201516060840152875160808401528782015160a0840152865160c08401528682015160e084015251612e9c9161221c91849101615c3a565b979650505050505050565b6040805180820182525f80825260208083018281528451808601865283815280830193845286519287015195870151606088015160cc90811b608892831b6044998a1b90961795909517949094178652608088015160a089015160c08a015160e08b0151871b90841b918a1b90921717179092526101008701516101208801516101408901516101608a0151861b90851b91891b909217171781526101808701516101a08801516101c08901516101e09099015190941b9790921b9290951b1717939093179092529091565b805160208201515f5f516020615ceb5f395f51905f528380095f516020615ceb5f395f51905f5260035f516020615ceb5f395f51905f52838709085f516020615ceb5f395f51905f5284850914915050806130105760405162461bcd60e51b815260206004820152601960248201527f706f696e74206973206e6f74206f6e207468652063757276650000000000000060448201526064016100e5565b50505050565b604080518082019091525f8082526020820152604080518082019091525f808252602082015261304683866150cd565b905061299f8185615139565b81516020808401518351848301516040805194850195909552938301919091527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c260608301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60808301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60a08301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60c083015260e08201526101008101919091527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c16101208201527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b06101408201527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe46101608201527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101808201525f9081906101a00160405160208183030381529060405290505f5f60086001600160a01b0316836040516131e89190615c6e565b5f60405180830381855afa9150503d805f8114613220576040519150601f19603f3d011682016040523d82523d5f602084013e613225565b606091505b50915091508180156109b65750808060200190518101906109b69190615c84565b5f8080613254846001615a6c565b61325f906006615a6c565b67ffffffffffffffff81111561327757613277615aba565b6040519080825280602002602001820160405280156132a0578160200160208202803683370190505b509050845f1b815f815181106132b8576132b8615aa6565b60209081029190910101525f5b6132d0601086615a59565b811015613321578787828181106132e9576132e9615aa6565b90506020020135828260016132fe9190615a6c565b8151811061330e5761330e615aa6565b60209081029190910101526001016132c5565b505f5b601081101561339257885161334c90826010811061334457613344615aa6565b602002015190565b8282601061335b896001615a6c565b6133659190615a59565b61336f9190615a6c565b8151811061337f5761337f615aa6565b6020908102919091010152600101613324565b50602088015151816133a5866001615a6c565b815181106133b5576133b5615aa6565b602090810291909101810191909152888101510151816133d6866001615a6c565b6133e1906001615a6c565b815181106133f1576133f1615aa6565b60209081029190910101526040880151518161340e866001615a6c565b613419906002615a6c565b8151811061342957613429615aa6565b602090810291909101810191909152604089015101518161344b866001615a6c565b613456906003615a6c565b8151811061346657613466615aa6565b602090810291909101015260608801515181613483866001615a6c565b61348e906004615a6c565b8151811061349e5761349e615aa6565b60209081029190910181019190915260608901510151816134c0866001615a6c565b6134cb906005615a6c565b815181106134db576134db615aa6565b6020026020010181815250506134fb8160405160200161221c9190615bbd565b91506135068261359c565b50989197509095505050505050565b5f5f5f613520615885565b85815260c0858101805151602080850191909152905181015160408085019190915260e08801805151606086015251820151608080860191909152880180515160a0860152518201519284019290925290516135829161221c91849101615ca3565b915061358d8261359c565b90979096509194509092505050565b5f80826f7fffffffffffffffffffffffffffffff8116607f82901c6135c08261278b565b94506135cb8161278b565b9350505050915091565b5f6135e18460076151b0565b90507f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f80000005f61364261363c613616856003612763565b61077b6136316136268b5f6151b0565b61077b8c601d6151b0565b61077b8b601c6151b0565b8361272f565b90506136c36136b861369f61368661366d856107806136628d60026151b0565b61077b8e601c6151b0565b61078061367b8c60036151b0565b61077b8d601d6151b0565b6107806136948b60046151b0565b61077b8c601e6151b0565b6107806136ad8a60056151b0565b61077b8b601f6151b0565b6107808860016151b0565b90506136e2816107806136d7866001612763565b61077b8a60276151b0565b90506136ee818461272f565b90506136fa818561272f565b8552505f905061373461372a61371f61371488601c6151b0565b61078089601f6151b0565b61079e8860246151b0565b610780875f6151b0565b90506137458161077b846002612763565b90506137568161077b846001612763565b9050613762818361272f565b905061376e818461272f565b9050808460015b60200201525050505050565b5f5f5f6137b76137ad61379589601c6151b0565b6107806137a38b60126151b0565b8a6020015161272f565b876040015161274a565b90506137f08161077b6137e66137ce8b601d6151b0565b6107806137dc8d60136151b0565b8c6020015161272f565b896040015161274a565b90506138158161077b6137e66138078b601e6151b0565b6107806137dc8d60146151b0565b905061383a8161077b6137e661382c8b601f6151b0565b6107806137dc8d60156151b0565b92505f905061385e6137ad61385089601c6151b0565b6107806137a38b600e6151b0565b90506138838161077b6137e66138758b601d6151b0565b6107806137dc8d600f6151b0565b90506138a88161077b6137e661389a8b601e6151b0565b6107806137dc8d60106151b0565b90506138cd8161077b6137e66138bf8b601f6151b0565b6107806137dc8d60116151b0565b91505f90506138f46138ee6138e38960206151b0565b6107808a601a6151b0565b8461272f565b90506139298161079e61392361390b8b60286151b0565b6107806139198d601b6151b0565b8c6060015161272f565b8561272f565b9050613935818561272f565b6040860152505f61395861392361394d89601b6151b0565b61077b8a60286151b0565b606090950194909452505050505050565b5f5f5f61397e8660200151876020015161272f565b90506139e26139c76139b96139a16139978b60166151b0565b8a6040015161274a565b6107806139af8c60176151b0565b8b6020015161272f565b6107806139238b60186151b0565b6107806139d86139238b60196151b0565b896020015161272f565b9250505f6139f88660200151876020015161272f565b90505f613a25613a0c6137e68a601c6151b0565b610780613a1a8b60036151b0565b61077b8c60246151b0565b90505f613a4e613a368a601d6151b0565b610780613a438c5f6151b0565b61077b8d60256151b0565b90505f613a78613a5f8b601e6151b0565b610780613a6d8d60016151b0565b61077b8e60266151b0565b9050613ab3613a9c613a9285610780868e6020015161272f565b610780848861272f565b6107806137dc613aad8e60046151b0565b8861272f565b9450505050505f613ac86138ee8860216151b0565b90505f613ad96138ee8960216151b0565b90505f613b11613af8613aed8b60236151b0565b6107808c60066151b0565b61079e613b068c60236151b0565b61077b8d60066151b0565b90505f613b35613b2f613b24878961272f565b61077b8d60216151b0565b83612763565b9050613b41818861272f565b90505f613b69613b5b613b558d60066151b0565b8761272f565b61079e613b558e60226151b0565b90505f613b778c60236151b0565b90505f613b87613b2f838461272f565b60808c0185905260a08c018490529050613ba1818b61272f565b8b6006602002015250505050505050505050505050565b5f613bc45f6001612763565b90505f613bd25f6002612763565b90505f613be05f6003612763565b90505f613bfc613bf188601d6151b0565b61079e89601c6151b0565b90505f613c18613c0d89601e6151b0565b61079e8a601d6151b0565b90505f613c34613c298a601f6151b0565b61079e8b601e6151b0565b90505f613c50613c458b60246151b0565b61079e8c601f6151b0565b905083613c618161077b818b61274a565b9050613c718161077b878a61274a565b9050613c818161077b878961274a565b9050613c928161077b8d60086151b0565b9050613c9e818a61272f565b60e08b01525082613cb38161077b818b61274a565b9050613cc38161077b868a61274a565b9050613cd38161077b868961274a565b9050613ce48161077b8d60086151b0565b9050613cf0818a61272f565b6101008b01525081613d068161077b818b61274a565b9050613d168161077b858a61274a565b9050613d268161077b858961274a565b9050613d378161077b8d60086151b0565b9050613d43818a61272f565b6101208b01525080613d598161077b818b61274a565b9050613d698161077b848a61274a565b9050613d798161077b848961274a565b9050613d8a8161077b8d60086151b0565b9050613d96818a61272f565b610140909a019990995250505050505050505050565b613de56040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b613df084601d6151b0565b8152613dfd84601e6151b0565b6020820152613e0d8460246151b0565b6040820152613e1d8460276151b0565b6060820152613e2d8460266151b0565b6080820152613e3d8460256151b0565b60a08201525f613e4e8560026151b0565b90505f613e5b865f6151b0565b90505f613e6f8460400151855f0151612763565b90505f613e848560200151866020015161272f565b606086015190915086905f90613e9a908061272f565b90505f613eb2613aad89602001518a6060015161272f565b90505f613ed1613eca8a60a001518b6040015161274a565b8a5161274a565b9050613ee0613b55828861272f565b9050613f07613f01613efb613ef58487612763565b88612763565b8461274a565b8361274a565b9050613f2f613f24613f19838761272f565b61077b8f60096151b0565b61077b60018a612763565b6101608c015250505050602085015160808601515f91613f4e9161274a565b90505f613f6c613f6288606001518861272f565b8860200151612763565b90505f613f90613f7c848761272f565b6107806139238b60a001518c5f0151612763565b9050613fb8613fad613fa2838c61272f565b61077b8e60096151b0565b61077b600189612763565b6101808b0152505f9150613fd99050613fd283601161274a565b875161272f565b90505f613fe6838461274a565b9050613ff2818261274a565b90505f61400083600961272f565b90506140296140236138ee61401c8b60a001518c5f015161274a565b8b5161274a565b82612763565b60c089018190525f9061404490613aad90613f19908d61272f565b90506140578b600b60200201518261274a565b6101608c0152505086515f925061407e9150613fd290614077908061274a565b885161274a565b90505f6140be6140998361077b8a5f01518b60a00151612763565b602089015161079e906140ac908061274a565b61077b8b602001518c6080015161274a565b90506140db89600c6020020151610780613aad613f19858d61272f565b89600c602002015250505050505050505050565b614159604051806101e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b83515f90614167908061272f565b90505f61417782875f015161272f565b905061418d61418788601e6151b0565b8261272f565b8084526141a2906107806139238a601d6151b0565b8084526141be906107806141b78a601c6151b0565b895161272f565b8084526141d0906107808960016151b0565b808452602084018190526141e99061079e89601f6151b0565b83526141f9613bf18860246151b0565b608084015261421761420c8860276151b0565b61079e89601f6151b0565b606084015260808301516142309061077b816001612763565b6101c08401526080830151614270906142669061425f9061077b60015f516020615d0b5f395f51905f52615a59565b600161274a565b846060015161272f565b60a084018190526142a6906142989061077b61428d8b60026151b0565b61077b8c60036151b0565b61077b613b558a600a6151b0565b85600e60200201526101c08301516142ca906142989061077b61428d8b60026151b0565b6101e086015282516142ef9061077b6142e48a60026151b0565b61077b8b60036151b0565b6101208401525f61430e61430489601f6151b0565b8560200151612763565b905061431f8161077b836001612763565b60e085015261433261363c8960266151b0565b604085018190526143519061078061434b8b60256151b0565b8661272f565b604085018190526143719061078061436a8b60246151b0565b8a5161272f565b604085015261438e6143848960276151b0565b8560400151612763565b60408501525f6143a2613c298a60266151b0565b90506143f46143cf61363c61425f886080015160015f516020615d0b5f395f51905f5261077b9190615a59565b61077b61425f886040015160015f516020615d0b5f395f51905f5261077b9190615a59565b60c086015260408501516144169061440c908061272f565b8660400151612763565b61010086015260c0850151614448906144349061077b8c60046151b0565b61077b6144428c600a6151b0565b8961272f565b6102008801526101c0850151614467906144349061077b8c60046151b0565b610220880152610100850151614486906144349061077b8c60046151b0565b61024088015260e08501516144a09061077b8b60046151b0565b6101408601526144bf6144b48a60256151b0565b61079e8b601d6151b0565b61016086015260808501516144fd90613c29906144f29061425f9061077b60015f516020615d0b5f395f51905f52615a59565b87610160015161272f565b61018086018190526101208601516101a08701819052614534916107809061077b6145298e60056151b0565b61077b8f60026151b0565b6101a08601819052855161455491906107809061077b6145298e5f6151b0565b6101a0860181905261014086015161456c919061274a565b6101a086018190526145869061077b6144428c600a6151b0565b6101a0860181905287600d6020020152505050505050505050565b6145da6040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b61460f6145f66145eb86601c6151b0565b61077b8760256151b0565b6107806146048760246151b0565b61077b88601d6151b0565b815261465461464961463061462587601c6151b0565b61077b88601f6151b0565b61078061463e88601d6151b0565b61077b89601e6151b0565b61079e8660266151b0565b6040820181905261466990600160441b61272f565b6040820181905261467f9061079e8660276151b0565b604082018190528151614692919061274a565b604082018190526146a89061077b8660056151b0565b604082015280516146bd90600160441b61272f565b8082526146dd906107806146d28760246151b0565b61077b8860256151b0565b808252602082018190526147049061079e6146f987601e6151b0565b61078088601f6151b0565b6020820181905261471a9061077b8660046151b0565b60208201528051606082018190526147379061078086601f6151b0565b6060820181905261475b9061079e6147508760266151b0565b6107808860276151b0565b606082018190526147709061077b865f6151b0565b8160600181815250505f61479961478f8360200151846040015161274a565b836060015161274a565b90506147aa8161077b8760036151b0565b90506147c26147ba8660256151b0565b61400061272f565b608083018190526147d8906107808760246151b0565b608083018190526147eb9061400061272f565b608083018190526148019061078087601e6151b0565b608083018190526148149061400061272f565b6080830181905261482a9061078087601d6151b0565b6080830181905261483d9061400061272f565b608083018190526148539061078087601c6151b0565b608083018190526148699061079e87601f6151b0565b6080830181905261487f9061077b8760056151b0565b60808301526148926147ba8660266151b0565b60a083018190526148a8906107808760256151b0565b60a083018190526148bb9061400061272f565b60a083018190526148d1906107808760246151b0565b60a083018190526148e49061400061272f565b60a083018190526148fa9061078087601f6151b0565b60a0830181905261490d9061400061272f565b60a083018190526149239061078087601e6151b0565b60a083018190526149399061079e8760276151b0565b60a0830181905261494e9061077b875f6151b0565b60a0830181905260808301515f91614966919061274a565b90506149778161077b8860046151b0565b9050614983828261274a565b60c0840181905261499c9061077b613b5589600b6151b0565b60c084018190528560136020020152505050505050565b614a296040518061022001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b614a42614a3785601c6151b0565b6107808660026151b0565b8152614a5d614a5285601d6151b0565b6107808660036151b0565b6020820152614a7b614a7085601e6151b0565b6107808660046151b0565b6040820152614a99614a8e85601f6151b0565b6107808660056151b0565b60608201528051614acb90614ac490614abd90614ab6908061272f565b845161272f565b835161272f565b825161272f565b60808201526020810151614b0990614aff90614af590614aeb908061272f565b846020015161272f565b836020015161272f565b826020015161272f565b60a08201526040810151614b4790614b3d90614b3390614b29908061272f565b846040015161272f565b836040015161272f565b826040015161272f565b60c08201526060810151614b7b90614b7190614b6790614266908061272f565b836060015161272f565b826060015161272f565b60e0820152608081015160a0820151614b94919061274a565b61010082015260c081015160e0820151614bae919061274a565b61012082015260a0810151614bd290614bc7908061274a565b82610120015161274a565b61014082015260e0810151614bf690614beb908061274a565b82610100015161274a565b610160820152610120810151614c0c908061274a565b6101e08201819052614c2d90614c22908061274a565b82610160015161274a565b6101e0820152610100810151614c43908061274a565b6101a08201819052614c6490614c59908061274a565b82610140015161274a565b6101a08201819052610160820151614c7b9161274a565b6101808201526101408101516101e0820151614c97919061274a565b6101c0820152614cab61363c85600c6151b0565b6102008201819052610280840151610180830151614cd6926107809161077b9061079e8a60246151b0565b8360146020020152614d06836015602002015161078083610200015161077b856101a0015161079e8a60256151b0565b8360156020020152614d36836016602002015161078083610200015161077b856101c0015161079e8a60266151b0565b8360166020020152614d66836017602002015161078083610200015161077b856101e0015161079e8a60276151b0565b836017602002015250505050565b614dc66040518061016001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f6040518060800160405280614dfb7f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e7612717565b8152602001614e297f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b612717565b8152602001614e567e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac15612717565b8152602001614e847f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b612717565b90529050614ea1614e9686601c6151b0565b6107808760026151b0565b6101208301819052614ee090614ed590614eca90614ebf908061272f565b85610120015161272f565b84610120015161272f565b83610120015161272f565b8252614eed85601d6151b0565b6020830152614efd85601e6151b0565b6040830152614f0d85601f6151b0565b606083015281516020830151614f359161478f91614f2b919061274a565b846040015161274a565b6080830152614f486138ee86600d6151b0565b6101408301528151614f6990614f5f90835f6114d0565b836080015161274a565b60a0830152614f95846018602002015161078084610140015161077b8660a0015161079e8b60246151b0565b6103008501526020820151614fb090614f5f908360016114d0565b60c0830152614fdc846019602002015161078084610140015161077b8660c0015161079e8b60256151b0565b6103208501526040820151614ff790614f5f908360026114d0565b60e083015261502384601a602002015161078084610140015161077b8660e0015161079e8b60266151b0565b610340850152606082015161503e90614f5f908360036114d0565b61010083015261506c84601b602002015161078084610140015161077b86610100015161079e8b60276151b0565b84601b613775565b815160015b601c8110156150c6576150bc826107808684601c811061509b5761509b615aa6565b6020020151866150ac600187615a59565b601b81106114d0576114d0615aa6565b9150600101615079565b5092915050565b604080518082019091525f8082526020820152604080518082019091525f8082526020820152604051835181526020840151602082015284604082015260408160608360075afa8061511d575f5ffd5b5080518252602080820151908301526060016040529392505050565b604080518082019091525f8082526020820152604080518082019091525f80825260208201526040518451815260208501516020820152835160408201526020840151606082015260408160808360065afa80615194575f5ffd5b5080518252602080820151908301526080016040529392505050565b5f828260288111156151c4576151c4615cd6565b602981106151d4576151d4615aa6565b60200201519392505050565b604051806103e001604052805f81526020015f81526020015f815260200161521960405180604001604052805f81526020015f81525090565b815260200161523960405180604001604052805f81526020015f81525090565b815260200161525960405180604001604052805f81526020015f81525090565b815260200161527960405180604001604052805f81526020015f81525090565b815260200161529960405180604001604052805f81526020015f81525090565b81526020016152b960405180604001604052805f81526020015f81525090565b81526020016152d960405180604001604052805f81526020015f81525090565b81526020016152f960405180604001604052805f81526020015f81525090565b815260200161531960405180604001604052805f81526020015f81525090565b815260200161533960405180604001604052805f81526020015f81525090565b815260200161535960405180604001604052805f81526020015f81525090565b815260200161537960405180604001604052805f81526020015f81525090565b815260200161539960405180604001604052805f81526020015f81525090565b81526020016153b960405180604001604052805f81526020015f81525090565b81526020016153d960405180604001604052805f81526020015f81525090565b81526020016153f960405180604001604052805f81526020015f81525090565b815260200161541960405180604001604052805f81526020015f81525090565b815260200161543960405180604001604052805f81526020015f81525090565b815260200161545960405180604001604052805f81526020015f81525090565b815260200161547960405180604001604052805f81526020015f81525090565b815260200161549960405180604001604052805f81526020015f81525090565b81526020016154b960405180604001604052805f81526020015f81525090565b81526020016154d960405180604001604052805f81526020015f81525090565b81526020016154f960405180604001604052805f81526020015f81525090565b815260200161551960405180604001604052805f81526020015f81525090565b815260200161553960405180604001604052805f81526020015f81525090565b815260200161555960405180604001604052805f81526020015f81525090565b815260200161557960405180604001604052805f81526020015f81525090565b905290565b604051806101e001604052806155926158a3565b81526020016155b260405180604001604052805f81526020015f81525090565b81526020016155d260405180604001604052805f81526020015f81525090565b81526020016155f260405180604001604052805f81526020015f81525090565b815260200161561260405180604001604052805f81526020015f81525090565b815260200161563260405180604001604052805f81526020015f81525090565b815260200161565260405180604001604052805f81526020015f81525090565b815260200161567260405180604001604052805f81526020015f81525090565b815260200161569260405180604001604052805f81526020015f81525090565b815260200161569f6158c2565b81526020016156ac6158f0565b81526020016156b961590f565b81526020016155396157eb565b6040518061010001604052806156f960405180608001604052805f81526020015f81526020015f81526020015f81525090565b81526020016157066157ae565b81526020016157136157eb565b81526020016157206157eb565b81526020015f81526020015f81526020015f81526020015f81525090565b604051806101c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f815260200161577c615948565b8152602001615789615948565b81526020015f81526020015f81526020015f81526020015f8152602001606081525090565b604051806103600160405280601b906020820280368337509192915050565b6040518060a001604052806005906020820280368337509192915050565b604051806103800160405280601c906020820280368337509192915050565b6040518061012001604052806009906020820280368337509192915050565b604051806105400160405280602a906020820280368337509192915050565b60405180606001604052806003906020820280368337509192915050565b6040518061010001604052806008906020820280368337509192915050565b6040518060e001604052806007906020820280368337509192915050565b6040518061020001604052806010906020820280368337509192915050565b604051806103800160405280601c905b6158da615866565b8152602001906001900390816158d25790505090565b6040518061052001604052806029906020820280368337509192915050565b604051806103600160405280601b905b604080518082019091525f808252602082015281526020019060019003908161591f5790505090565b60405180608001604052806004906020820280368337509192915050565b5f5f5f5f60408587031215615979575f5ffd5b843567ffffffffffffffff81111561598f575f5ffd5b8501601f8101871361599f575f5ffd5b803567ffffffffffffffff8111156159b5575f5ffd5b8760208284010111156159c6575f5ffd5b60209182019550935085013567ffffffffffffffff8111156159e6575f5ffd5b8501601f810187136159f6575f5ffd5b803567ffffffffffffffff811115615a0c575f5ffd5b8760208260051b8401011115615a20575f5ffd5b949793965060200194505050565b634e487b7160e01b5f52601160045260245ffd5b808202811582820484141761274457612744615a2e565b8181038181111561274457612744615a2e565b8082018082111561274457612744615a2e565b5f5f85851115615a8d575f5ffd5b83861115615a99575f5ffd5b5050820193919092039150565b634e487b7160e01b5f52603260045260245ffd5b634e487b7160e01b5f52604160045260245ffd5b5f60018201615adf57615adf615a2e565b5060010190565b80356020831015612744575f19602084900360031b1b1692915050565b5f82615b1d57634e487b7160e01b5f52601260045260245ffd5b500690565b5f8183825b6005811015615b46578151835260209283019290910190600101615b27565b50505060a08201905092915050565b5f8183825b6009811015615b79578151835260209283019290910190600101615b5a565b5050506101208201905092915050565b5f8183825b602a811015615bad578151835260209283019290910190600101615b8e565b5050506105408201905092915050565b81515f90829060208501835b82811015615be7578151845260209384019390910190600101615bc9565b509195945050505050565b5f8183825b6003811015615c16578151835260209283019290910190600101615bf7565b50505060608201905092915050565b5f81615c3357615c33615a2e565b505f190190565b5f8183825b6008811015615c5e578151835260209283019290910190600101615c3f565b5050506101008201905092915050565b5f82518060208501845e5f920191825250919050565b5f60208284031215615c94575f5ffd5b81518015158114610333575f5ffd5b5f8183825b6007811015615cc7578151835260209283019290910190600101615ca8565b50505060e08201905092915050565b634e487b7160e01b5f52602160045260245ffdfe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4730644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001a2646970667358221220eeb5ba06059313776a210a02ab545b3d9b62c7056e7bc1a59aa7af942a17f91364736f6c634300081e0033";
4
+ export declare const HonkVerifierBytecode = "0x610100604052348015610010575f5ffd5b506301000000608052601860a0527f2a2b5260a5f8fc50eea08d0543f7f5dc2aa4825beef73ff808ad417326ded21160c05260a760e05260805160a05160c05160e051615cdd6100de5f395f818161018101526107ae01525f61016001525f8181605b01528181609401528181610101015281816101a2015281816108c7015281816109d401528181610a0001528181610a7b015281816112d401528181611374015281816115c30152818161160f0152818161165d015281816116b40152612cdd01525f5050615cdd5ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b3660046158e3565b610054565b604051901515815260200160405180910390f35b5f5f61007f7f000000000000000000000000000000000000000000000000000000000000000061028c565b905061008c8160206159bf565b85146100ee577f0000000000000000000000000000000000000000000000000000000000000000856100bf8360206159bf565b6040516359895a5360e01b81526004810193909352602483019190915260448201526064015b60405180910390fd5b5f6100f761033a565b90505f61012588887f000000000000000000000000000000000000000000000000000000000000000061034f565b90506008826040015161013891906159d6565b85146101575760405163fa06659360e01b815260040160405180910390fd5b5f6101c68288887f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000006106a6565b90506102168787808060200260200160405190810160405280939291908181526020018383602002808284375f920191909152505085518551602081015160409091015191935091506001610758565b8151606001525f61022783836108bf565b905080610247576040516313f8744360e31b815260040160405180910390fd5b5f6102538486856109c0565b905080610273576040516352ec174560e11b815260040160405180910390fd5b81801561027d5750805b9b9a5050505050505050505050565b5f8061029a600260086159bf565b905060016102a96008856159bf565b6102b391906159bf565b6102bd90826159e9565b90506102cb600160296159bf565b6102d590826159e9565b905060026102e46001856159d6565b6102ee91906159bf565b6102f890826159e9565b90506103056001846159bf565b61030f90826159e9565b905061031c6002806159bf565b61032690826159e9565b90506103336008826159e9565b9392505050565b61034261517c565b61034a611786565b905090565b61035761551a565b5f805b60088110156103b9576103868683876103746020836159e9565b92610381939291906159fc565b6120bf565b8351826008811061039957610399615a23565b6020020181815250506020826103af91906159e9565b915060010161035a565b506103dd8582866103cb6040836159e9565b926103d8939291906159fc565b6120d2565b60208301526103ed6040826159e9565b90506104008582866103cb6040836159e9565b60408084019190915261041390826159e9565b90506104268582866103cb6040836159e9565b60608301526104366040826159e9565b90506104498582866103cb6040836159e9565b60c08301526104596040826159e9565b905061046c8582866103cb6040836159e9565b60e083015261047c6040826159e9565b905061048f8582866103cb6040836159e9565b608083015261049f6040826159e9565b90506104b28582866103cb6040836159e9565b6101008301526104c36040826159e9565b90506104d68582866103cb6040836159e9565b60a08301526104e66040826159e9565b90505f5b83811015610564575f5b600881101561055b5761050e8784886103746020836159e9565b84610120015183601c811061052557610525615a23565b6020020151826008811061053b5761053b615a23565b60200201818152505060208361055191906159e9565b92506001016104f4565b506001016104ea565b505f5b60298110156105b8576105818683876103746020836159e9565b836101400151826029811061059857610598615a23565b6020020181815250506020826105ae91906159e9565b9150600101610567565b505f5b6105c66001856159d6565b81101561060f576105de8683876103cb6040836159e9565b83610160015182601b81106105f5576105f5615a23565b60200201526106056040836159e9565b91506001016105bb565b505f5b838110156106625761062b8683876103746020836159e9565b83610180015182601c811061064257610642615a23565b60200201818152505060208261065891906159e9565b9150600101610612565b506106748582866103cb6040836159e9565b6101a08301526106856040826159e9565b90506106988582866103cb6040836159e9565b6101c0830152509392505050565b6106ae615662565b5f6106bd88888888888661215f565b90835290506106cc81896121c2565b602084019190915290506106e081846122b1565b604084019190915290506106f5888285612340565b606084019190915290506107098882612414565b6080840191909152905061071e88828561249f565b60a08401919091529050610733888285612614565b60c0840191909152905061074788826126d9565b5060e0830152509695505050505050565b5f60018082610785866107808961077b6107768a63100000006159e9565b612716565b61272e565b612749565b90505f6107a38761079e8a61077b6107768b60016159e9565b612762565b90505f5b6107d260087f00000000000000000000000000000000000000000000000000000000000000006159d6565b81101561083f575f6107fc8c83815181106107ef576107ef615a23565b602002602001015161278a565b905061080c8661077b8684612749565b955061081c8561077b8584612749565b9450610828848b612749565b9350610834838b612762565b9250506001016107a7565b505f5b60088110156108a6575f8a826008811061085e5761085e615a23565b602002015190506108738661077b8684612749565b95506108838561077b8584612749565b945061088f848b612749565b935061089b838b612762565b925050600101610842565b506108b1848461279f565b9a9950505050505050505050565b5f806001815b7f0000000000000000000000000000000000000000000000000000000000000000811015610996575f86610120015182601c811061090557610905615a23565b602002015190505f61091782866127ad565b905080610937576040516313f8744360e31b815260040160405180910390fd5b5f876060015184601c811061094e5761094e615a23565b6020020151905061095f83826127cd565b9550610986886040015185601c811061097a5761097a615a23565b6020020151868361297c565b94505050508060010190506108c5565b505f6109b0866101400151865f01518760200151856129a7565b90508281145b9695505050505050565b5f6109c96156da565b5f6109f88460a001517f0000000000000000000000000000000000000000000000000000000000000000612a20565b90505f610a267f000000000000000000000000000000000000000000000000000000000000000060246159e9565b610a319060026159e9565b67ffffffffffffffff811115610a4957610a49615a37565b604051908082528060200260200182016040528015610a72578160200160208202803683370190505b5090505f610aa17f000000000000000000000000000000000000000000000000000000000000000060246159e9565b610aac9060026159e9565b67ffffffffffffffff811115610ac457610ac4615a37565b604051908082528060200260200182016040528015610b0857816020015b604080518082019091525f8082526020820152815260200190600190039081610ae25790505b509050610b3a610b358760e00151855f81518110610b2857610b28615a23565b6020026020010151612762565b612aea565b84610120018181525050610b6e610b358760e00151855f81518110610b6157610b61615a23565b6020026020010151612749565b610140850181905261012085015160c0880151610b8f92610780919061272e565b845260a0860151610bbf90610ba390612aea565b61077b86610120015161079e8a60c0015189610140015161272e565b6020850152815160019083905f90610bd957610bd9615a23565b602002602001018181525050876101a00151815f81518110610bfd57610bfd615a23565b6020908102919091010152600160a08501525f60c085015283515f516020615c885f395f51905f5203604085015260208401515f516020615c885f395f51905f5203606085015260015b60248111610cea57610c6185604001518660a0015161272e565b838281518110610c7357610c73615a23565b602002602001018181525050610cbc8560c001516107808b6101400151600185610c9d91906159d6565b60298110610cad57610cad615a23565b60200201518860a0015161272e565b60c086015260a08501516080880151610cd5919061272e565b60a0860152610ce381615a4b565b9050610c47565b505f5b6005811015610db8575f610d02601d836159e9565b90505f610d106024846159e9565b9050610d41858381518110610d2757610d27615a23565b602002602001015161078089606001518a60a0015161272e565b858381518110610d5357610d53615a23565b602002602001018181525050610d908760c001516107808d61014001518460298110610d8157610d81615a23565b60200201518a60a0015161272e565b60c088015260a087015160808a0151610da9919061272e565b60a08801525050600101610ced565b50866060015181600181518110610dd157610dd1615a23565b6020026020010181905250866080015181600281518110610df457610df4615a23565b60200260200101819052508660a0015181600381518110610e1757610e17615a23565b60200260200101819052508660c0015181600481518110610e3a57610e3a615a23565b60200260200101819052508660e0015181600581518110610e5d57610e5d615a23565b602002602001018190525086610100015181600681518110610e8157610e81615a23565b602002602001018190525086610120015181600781518110610ea557610ea5615a23565b602002602001018190525086610140015181600881518110610ec957610ec9615a23565b602002602001018190525086610160015181600981518110610eed57610eed615a23565b6020026020010181905250866101c0015181600a81518110610f1157610f11615a23565b602002602001018190525086610180015181600b81518110610f3557610f35615a23565b6020026020010181905250866101a0015181600c81518110610f5957610f59615a23565b6020026020010181905250866101e0015181600d81518110610f7d57610f7d615a23565b602002602001018190525086610200015181600e81518110610fa157610fa1615a23565b602002602001018190525086610220015181600f81518110610fc557610fc5615a23565b602002602001018190525086610240015181601081518110610fe957610fe9615a23565b60200260200101819052508661026001518160118151811061100d5761100d615a23565b60200260200101819052508661028001518160128151811061103157611031615a23565b6020026020010181905250866102a001518160138151811061105557611055615a23565b6020026020010181905250866102c001518160148151811061107957611079615a23565b6020026020010181905250866102e001518160158151811061109d5761109d615a23565b6020026020010181905250866103000151816016815181106110c1576110c1615a23565b6020026020010181905250866103200151816017815181106110e5576110e5615a23565b60200260200101819052508661034001518160188151811061110957611109615a23565b60200260200101819052508661036001518160198151811061112d5761112d615a23565b602002602001018190525086610380015181601a8151811061115157611151615a23565b6020026020010181905250866103a0015181601b8151811061117557611175615a23565b6020026020010181905250866103c0015181601c8151811061119957611199615a23565b6020026020010181905250876020015181601d815181106111bc576111bc615a23565b6020026020010181905250876040015181601e815181106111df576111df615a23565b6020026020010181905250876060015181601f8151811061120257611202615a23565b602002602001018190525087608001518160208151811061122557611225615a23565b60200260200101819052508760a001518160218151811061124857611248615a23565b60200260200101819052508761010001518160228151811061126c5761126c615a23565b60200260200101819052508760c001518160238151811061128f5761128f615a23565b60200260200101819052508760e00151816024815181106112b2576112b2615a23565b60200260200101819052505f6112f887606001518660c001518b6101800151877f0000000000000000000000000000000000000000000000000000000000000000612b5a565b9050611322815f8151811061130f5761130f615a23565b602002602001015186610120015161272e565b608086018190526101808a01515160c0890151611353929161078091611348919061272e565b88610140015161272e565b608086015260c087015161136690612cb9565b60a08601525f5b61139860017f00000000000000000000000000000000000000000000000000000000000000006159d6565b8110156115a7576113c8610b358960e00151878460016113b891906159e9565b81518110610b2857610b28615a23565b61012087015260e08801516113f790610b3590876113e78560016159e9565b81518110610b6157610b61615a23565b61014087015260a0860151610120870151611412919061272e565b61016087015260a086015160c089015161143a9161142f9161272e565b87610140015161272e565b610180870181905261146f905f516020615c885f395f51905f52036101608801515f516020615c885f395f51905f5203612749565b848261147d602460016159e9565b61148791906159e9565b8151811061149757611497615a23565b6020026020010181815250505f6114da8761018001518c61018001518460016114c091906159e9565b601c81106114d0576114d0615a23565b602002015161272e565b905061151481610780896101600151868660016114f791906159e9565b8151811061150757611507615a23565b602002602001015161272e565b9050611524876080015182612749565b608088015260a087015160c08a015161154a916115409161272e565b8a60c0015161272e565b60a08801526101608b015182601b811061156657611566615a23565b60200201518483611579602460016159e9565b61158391906159e9565b8151811061159357611593615a23565b60209081029190910101525060010161136d565b50604080518082019091526001815260026020820152826115e97f000000000000000000000000000000000000000000000000000000000000000060246159e9565b815181106115f9576115f9615a23565b60209081029190910101526080850151836116357f000000000000000000000000000000000000000000000000000000000000000060246159e9565b8151811061164557611645615a23565b60209081029190910101526101c089015180836116837f000000000000000000000000000000000000000000000000000000000000000060246159e9565b61168e9060016159e9565b8151811061169e5761169e615a23565b602090810291909101015260e0880151846116da7f000000000000000000000000000000000000000000000000000000000000000060246159e9565b6116e59060016159e9565b815181106116f5576116f5615a23565b6020026020010181815250505f61170c8486612cc4565b90505f61171883612ddf565b90505f6117298d5f01518484612e30565b90505f5f6117398f5f0151612ea6565b9150915061174682612f0f565b61174f81612f0f565b61175a858385612fb2565b9450611767848285612fb2565b93506117738585612fee565b9f9e505050505050505050505050505050565b61178e61517c565b50604080516103e08101825263010000008152601860208083019190915260a782840152825180840184527f18c6087a838ade00055af96167c66ed82bd61083e95a5698d02761ffcf18677881527f1fd017276fd7706340f47f878241ad75b974ec211dd6aebb5e5f7d40f4033859818301526060830152825180840184527f18228be8b71b6267946fbc462cca4088fd3c3b5befd50aab6de0140aee0292af81527f1d5a8e23918e6f5930dedeeac9f3269683238877bceb9d3860fd3e2f52b56035818301526080830152825180840184527f140d09360a71c7a29f191bcb60e3f62e054b03a33644871a06ef8cb26c5ffe5681527f0ce20cdfec8ce2c91d98c163807c9ca2a5c1315b1d0071d9c6e3c57520edc6f58183015260a0830152825180840184527f2f5b1dbafd4c9d7435b5c8f7b19b6eac214fab5a025a9774663aa1398866ba9981527f10c7d7ef97c4d196f740e9d6dab60736d2d99b2cfa5342da80f7ed5a22c9236c8183015260c0830152825180840184527f1aefbc54dd417853702cdc27106d13a6f9b3bb7ab7384f438949934ce9843c7681527f1f3b3f51541a29f12035776a9d2ccf07b2e0a0891a95ed3ff2cf7f2c57dc73238183015260e0830152825180840184527f188e1c7cfa6ebe53dfab59fa057f5c6315995ed43c5b91637e31c5f0ab44334e81527f0adde4d3b509c249dcb37cbb8bf2dd53393a9ddedc3ada8131e84bc53b4a29f581830152610100830152825180840184527f0d5cd90aceba65851b2ed0af6db9a5d741f62886d05381d516916a3e1b72cbf681527f08207020e5d8f9360f392c108796ee1b6b58c6cd8a259a85ac8c76ac30fcac4581830152610120830152825180840184527f27b4841b6b4aa22edf2c98eda49a04ac953d6127eeff64ea5d1ef8beae3d6a5081527f07356cdfd24d7f59c69ae104fa59f954a302635ba625738d6fae8fbc1d3ddbfa81830152610140830152825180840184527f1c119291fc3ce86c9ce2a0c8347508e1e04fb13e74f536addfe0d53844bdaaa281527f1c260b4b7cee1aae9f52e83829b2b3be9e100fa1a67bece4bab790cfb526ea3e81830152610160830152825180840184527f15c05b909cbeee858ccfacf06e010370bfdb32968a95df9198dca438b045e50281527f03b87e8fb7ef51593fe5b0ba64f9b21b2210a738bada629f9ba8fe384de9eaf781830152610180830152825180840184527d6983c28806afaf1f1a258a7c231734f11fd8647f5c2971d41d779f359bcb81527f03f921f76c2cc4695d6ff07f92c0eea9b35cbb45da3766dee91d7497ffcb33a5818301526101a0830152825180840184527f17fe8cdf110f8af822620031f2645657cfa813d1dbf1bbd6b9b2137836f26d8d81527f13dc656b951ebda7907af6f461f99b181db140fced5bfe1a387a7cf17b28617a818301526101c0830152825180840184527f2c989a2ec3d4c85362b7c455765374888cfd1388e5cce42103b640e1f30b082a81527f15a122d1fe538855ec57fed6bffdbf17bfc8596b5bec698111b3b14c13efa801818301526101e0830152825180840184527f1f8532bb3e82f9722893a0912aa28d8cdeff200e140294782fc4a140ae8daa2a81527f2dfba347dcfde136ba7af67c81bbde662154a025867020a539b2629e82e696e381830152610200830152825180840184527f2feeed83c247c4a15f4b38e5752a6063fa522cdd12f3cbff22f28af3c578f5be81527f1fa005246305a8ce09021e77cfaedab8804398dd098a585613aa3b88a95c282d81830152610220830152825180840184527f0583543b354291c8547657758a197df52ae28c99f8aa23ab94754578c91ee41681527f1a2e10eb7fc5df171390a07148db02f6c50ab73b197ad7995321172cfbb2a1e281830152610240830152825180840184527f128686dedb77c7cb509be16f4444b4e6e6677d29d7688624e75b1942c21639b981527f2dd7e75919a9430b73f1afd7476d7e85b715561f4638d763be86eb9f6d414d0d81830152610260830152825180840184527f3011371cf9af8da17a99bac9400dc8130d5c8e80bb049dc0f68a3dcd71e22db881527f0ef5ef63ff733810bb5f3d0b29bc709eb7ca91765c2115ef386e3bf9967199e881830152610280830152825180840184527f10448f11a3ee571b99b76b75e5478f5b93329b5d09db94c3386aeca4ae60da7c81527f18dfb2765543a9688d8594c9a38e12651fb0e295bb563c70d3d182acea1fb9ee818301526102a0830152825180840184527f0d9c20cd67c25d1cc52be765d9a6d1e6ebbef0b223663751f64b625478fc3f6981527e5dd2bde3a26d831270b56a052455487206c7dde308b9174490b9d16464548d818301526102c0830152825180840184527f2f9836beaef073001c53cde434646295bbf40f36ebef0ff567b4a9ccfc5e053781527f0d212f43681e6ec1f75be9c9248255d9162123989da78b1d6796d9bf8327e350818301526102e0830152825180840184527f26a73f9cd40e4c9e9be3c882b8756e3da294e72da98bc21a2be3ae138235725781527f259cc202dc998d7ee2c13011de1e60e343deecdc2fa366de9802bd503661e4d581830152610300830152825180840184527f2194d92617bbb3ba3d9e53f4f13c5c7c6fc5ae0c56f06e0a35747f24625e576381527f11ca88979a66ada092bb26e2b64b8602eb63f6e2fc21862f6fefead2978de7e081830152610320830152825180840184527f1d346dd159688f85b77717f8197777c6ced8daf349335d74908736241f5f332881527f10e952d77959f4aa6fe9cb7222d9901d06ddfeea51240c79980d4daac814444381830152610340830152825180840184527f20b8784b739f9968d269d3db4e7e7e7e666acd5804af5ff4a54f8dfbea8d257281527f21ad5edf078583d5e29052c50b4e8d46067ddaae2aa2345c15a755074d932f9581830152610360830152825180840184527f062b31b3719d79c253d59707efcc41556e43d9f4f122ba79d3484e023fb4da7d81527f283eb52c07506637e09fb73d7875ada840d8e4c75295a90dc312b4d2571c52c38183015261038083015282518084018452600181526002818301526103a083015282518084019093527f274625a785b4433d3f7408db292a347f3517045493f185c0ccc07cfef5b652a883527f138082eaffbf47d522f5898d4445843724a51849296633009931f6da097a9607908301526103c081019190915290565b5f6103336120cd8385615a63565b61278a565b604080518082019091525f808252602082015260408051808201909152805f516020615c685f395f51905f5261210b60205f87896159fc565b61211491615a63565b61211e9190615a80565b81526020908101905f516020615c685f395f51905f52906121439060409087896159fc565b61214c91615a63565b6121569190615a80565b90529392505050565b61218660405180608001604052805f81526020015f81526020015f81526020015f81525090565b5f61219488888888886131e2565b90835292506121a383896134b1565b6040850191909152602084019190915291989197509095505050505050565b6121ca61574a565b5f6121d3615769565b8481526101008401805151602080840191909152905181015160408084019190915260a086018051516060850152518201516080840152516122369161221b91849101615a9f565b6040516020818303038152906040528051906020012061278a565b91505f61224283613538565b50808552905060015b6122576001601c6159d6565b8110156122a7576122888561226d6001846159d6565b601b811061227d5761227d615a23565b60200201518361272e565b8582601b811061229a5761229a615a23565b602002015260010161224b565b5050509250929050565b6122b9615787565b5f6122d08460405160200161221b91815260200190565b93506122db84613538565b50825260015b8381101561233857612319836122f86001846159d6565b601c811061230857612308615a23565b6020020151846114c06001856159d6565b8382601c811061232b5761232b615a23565b60200201526001016122e1565b509093915050565b612348615787565b5f805b8381101561240a5761235b6157a6565b8581525f5b60088110156123c45787610120015183601c811061238057612380615a23565b6020020151816008811061239657612396615a23565b6020020151826123a78360016159e9565b600981106123b7576123b7615a23565b6020020152600101612360565b506123d98160405160200161221b9190615ad2565b95505f6123e587613538565b8685601c81106123f7576123f7615a23565b602002019190915250505060010161234b565b5090949293505050565b5f5f61241e6157c5565b8381525f5b602981101561247157856101400151816029811061244357612443615a23565b6020020151826124548360016159e9565b602a811061246457612464615a23565b6020020152600101612423565b506124868160405160200161221b9190615b06565b91505f61249283613538565b5096929550919350505050565b5f80806124ad6001856159d6565b6124b89060026159bf565b6124c39060016159e9565b67ffffffffffffffff8111156124db576124db615a37565b604051908082528060200260200182016040528015612504578160200160208202803683370190505b50905084815f8151811061251a5761251a615a23565b60209081029190910101525f5b6125326001866159d6565b8110156125e55786610160015181601b811061255057612550615a23565b602002015151826125628360026159bf565b61256d9060016159e9565b8151811061257d5761257d615a23565b60200260200101818152505086610160015181601b81106125a0576125a0615a23565b602002015160200151828260026125b791906159bf565b6125c29060026159e9565b815181106125d2576125d2615a23565b6020908102919091010152600101612527565b506125fa8160405160200161221b9190615b3a565b91505f61260683613538565b509792965091945050505050565b5f80806126228460016159e9565b67ffffffffffffffff81111561263a5761263a615a37565b604051908082528060200260200182016040528015612663578160200160208202803683370190505b50905084815f8151811061267957612679615a23565b60209081029190910101525f5b848110156125e55786610180015181601c81106126a5576126a5615a23565b6020020151826126b68360016159e9565b815181106126c6576126c6615a23565b6020908102919091010152600101612686565b5f5f6126e36157e4565b8381526101a085018051516020808401919091529051810151604080840191909152516124869161221b91849101615b6f565b5f5f516020615c885f395f51905f52825b0692915050565b5f5f516020615c885f395f51905f5282840990505b92915050565b5f5f516020615c885f395f51905f528284089392505050565b5f5f516020615c885f395f51905f52825f516020615c885f395f51905f520384089392505050565b5f5f516020615c885f395f51905f5282612727565b5f6103338361077b84612aea565b815160208301515f9182916127c29190612749565b929092149392505050565b60408051610100810182527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec5181526102d060208201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff1191810191909152609060608201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71608082015260f060a08201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd3160c08201526113b060e08201525f906001825b60088110156128b4576128aa8261077b8784612762565b9150600101612893565b506128bd615802565b5f5b600881101561291e575f8482600881106128db576128db615a23565b602002015190506128f08161077b8985612762565b90506128fb81612aea565b90508083836008811061291057612910615a23565b6020020152506001016128bf565b505f5b6008811015612971575f87826008811061293d5761293d615a23565b6020020151905061295a818484600881106114d0576114d0615a23565b90506129668682612749565b955050600101612921565b506109b6848361272e565b5f5f61299260016107808561077b896001612762565b905061299e848261272e565b95945050505050565b5f6129b0615787565b6129bb868285613571565b6129c78686838661371d565b6129d386868386613905565b6129de868285613b54565b6129e9868285613d48565b6129f58686838661408b565b612a0086828561453d565b612a0b86828561494f565b612a16868285614d10565b6109b68185615010565b60605f8267ffffffffffffffff811115612a3c57612a3c615a37565b604051908082528060200260200182016040528015612a65578160200160208202803683370190505b50905083815f81518110612a7b57612a7b615a23565b602090810291909101015260015b83811015612ae257612abd82612aa06001846159d6565b81518110612ab057612ab0615a23565b6020026020010151612cb9565b828281518110612acf57612acf615a23565b6020908102919091010152600101612a89565b509392505050565b5f5f8290505f604051602081526020808201526020604082015282606082015260025f516020615c885f395f51905f520360808201525f516020615c885f395f51905f5260a082015260205f60c08360055afa80612b46575f5ffd5b505f51608091909101604052949350505050565b60605f8267ffffffffffffffff811115612b7657612b76615a37565b604051908082528060200260200182016040528015612b9f578160200160208202803683370190505b509050825b8015612cae575f85612bb76001846159d6565b81518110612bc757612bc7615a23565b602002602001015190505f89600184612be091906159d6565b601c8110612bf057612bf0615a23565b602002015190505f612c4b612c0f612c08858d61272e565b600261272e565b61079e8b612c1e6001896159d6565b601c8110612c2e57612c2e615a23565b602002015161077b612c458861077b60018a612762565b87612762565b9050612c6c8161077b610b35612c668761077b600189612762565b86612749565b99508990508085612c7e6001876159d6565b81518110612c8e57612c8e615a23565b60200260200101818152505050505080612ca790615ba2565b9050612ba4565b509695505050505050565b5f612743828361272e565b604080518082019091525f80825260208201525f612d037f000000000000000000000000000000000000000000000000000000000000000060246159e9565b612d0e9060026159e9565b90505f5b81811015612d4457612d3c858281518110612d2f57612d2f615a23565b6020026020010151612f0f565b600101612d12565b50604051600190815b60018401811015612da95760208102870160208202870181515160408501528151602001516060850152805160808501525050604080830160606040850160075afa8316925060408260808460065afa90921691600101612d4d565b5080518452602081015160208501525080612dd7576040516352ec174560e11b815260040160405180910390fd5b505092915050565b604080518082019091525f80825260208201525f516020615c685f395f51905f5282602001515f516020615c685f395f51905f52612e1d91906159d6565b612e279190615a80565b60208301525090565b5f5f5f612e3c86612ea6565b91509150612e48615802565b82518152602080840151818301528251604080840191909152838201516060840152875160808401528782015160a0840152865160c08401528682015160e084015251612e9b9161221b91849101615bb7565b979650505050505050565b6040805180820182525f808252602080830182815284518086018652838152808301938452865192870151608890811b9093178552948601516060870151831b179052608085015160a0860151821b17845260c085015160e090950151901b9093179092529091565b805160208201515f5f516020615c685f395f51905f528380095f516020615c685f395f51905f5260035f516020615c685f395f51905f52838709085f516020615c685f395f51905f528485091491505080612fac5760405162461bcd60e51b815260206004820152601960248201527f706f696e74206973206e6f74206f6e207468652063757276650000000000000060448201526064016100e5565b50505050565b604080518082019091525f8082526020820152604080518082019091525f8082526020820152612fe28386615069565b905061299e81856150d5565b81516020808401518351848301516040805194850195909552938301919091527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c260608301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60808301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60a08301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60c083015260e08201526101008101919091527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c16101208201527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b06101408201527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe46101608201527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101808201525f9081906101a00160405160208183030381529060405290505f5f60086001600160a01b0316836040516131849190615beb565b5f60405180830381855afa9150503d805f81146131bc576040519150601f19603f3d011682016040523d82523d5f602084013e6131c1565b606091505b50915091508180156109b65750808060200190518101906109b69190615c01565b5f80806131f08460016159e9565b6131fb9060066159e9565b67ffffffffffffffff81111561321357613213615a37565b60405190808252806020026020018201604052801561323c578160200160208202803683370190505b509050845f1b815f8151811061325457613254615a23565b60209081029190910101525f5b61326c6008866159d6565b8110156132bd5787878281811061328557613285615a23565b905060200201358282600161329a91906159e9565b815181106132aa576132aa615a23565b6020908102919091010152600101613261565b505f5b600881101561332e5788516132e89082600881106132e0576132e0615a23565b602002015190565b828260086132f78960016159e9565b61330191906159d6565b61330b91906159e9565b8151811061331b5761331b615a23565b60209081029190910101526001016132c0565b50602088015151816133418660016159e9565b8151811061335157613351615a23565b602090810291909101810191909152888101510151816133728660016159e9565b61337d9060016159e9565b8151811061338d5761338d615a23565b6020908102919091010152604088015151816133aa8660016159e9565b6133b59060026159e9565b815181106133c5576133c5615a23565b60209081029190910181019190915260408901510151816133e78660016159e9565b6133f29060036159e9565b8151811061340257613402615a23565b60209081029190910101526060880151518161341f8660016159e9565b61342a9060046159e9565b8151811061343a5761343a615a23565b602090810291909101810191909152606089015101518161345c8660016159e9565b6134679060056159e9565b8151811061347757613477615a23565b6020026020010181815250506134978160405160200161221b9190615b3a565b91506134a282613538565b50989197509095505050505050565b5f5f5f6134bc615821565b85815260c0858101805151602080850191909152905181015160408085019190915260e08801805151606086015251820151608080860191909152880180515160a08601525182015192840192909252905161351e9161221b91849101615c20565b915061352982613538565b90979096509194509092505050565b5f80826f7fffffffffffffffffffffffffffffff8116607f82901c61355c8261278a565b94506135678161278a565b9350505050915091565b5f61357d84600761514c565b90507f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f80000005f6135de6135d86135b2856003612762565b61077b6135cd6135c28b5f61514c565b61077b8c601d61514c565b61077b8b601c61514c565b8361272e565b905061365f61365461363b613622613609856107806135fe8d600261514c565b61077b8e601c61514c565b6107806136178c600361514c565b61077b8d601d61514c565b6107806136308b600461514c565b61077b8c601e61514c565b6107806136498a600561514c565b61077b8b601f61514c565b61078088600161514c565b905061367e81610780613673866001612762565b61077b8a602761514c565b905061368a818461272e565b9050613696818561272e565b8552505f90506136d06136c66136bb6136b088601c61514c565b61078089601f61514c565b61079e88602461514c565b610780875f61514c565b90506136e18161077b846002612762565b90506136f28161077b846001612762565b90506136fe818361272e565b905061370a818461272e565b9050808460015b60200201525050505050565b5f5f5f61375361374961373189601c61514c565b61078061373f8b601261514c565b8a6020015161272e565b8760400151612749565b905061378c8161077b61378261376a8b601d61514c565b6107806137788d601361514c565b8c6020015161272e565b8960400151612749565b90506137b18161077b6137826137a38b601e61514c565b6107806137788d601461514c565b90506137d68161077b6137826137c88b601f61514c565b6107806137788d601561514c565b92505f90506137fa6137496137ec89601c61514c565b61078061373f8b600e61514c565b905061381f8161077b6137826138118b601d61514c565b6107806137788d600f61514c565b90506138448161077b6137826138368b601e61514c565b6107806137788d601061514c565b90506138698161077b61378261385b8b601f61514c565b6107806137788d601161514c565b91505f905061389061388a61387f89602061514c565b6107808a601a61514c565b8461272e565b90506138c58161079e6138bf6138a78b602861514c565b6107806138b58d601b61514c565b8c6060015161272e565b8561272e565b90506138d1818561272e565b6040860152505f6138f46138bf6138e989601b61514c565b61077b8a602861514c565b606090950194909452505050505050565b5f5f5f61391a8660200151876020015161272e565b905061397e61396361395561393d6139338b601661514c565b8a60400151612749565b61078061394b8c601761514c565b8b6020015161272e565b6107806138bf8b601861514c565b6107806139746138bf8b601961514c565b896020015161272e565b9250505f6139948660200151876020015161272e565b90505f6139c16139a86137828a601c61514c565b6107806139b68b600361514c565b61077b8c602461514c565b90505f6139ea6139d28a601d61514c565b6107806139df8c5f61514c565b61077b8d602561514c565b90505f613a146139fb8b601e61514c565b610780613a098d600161514c565b61077b8e602661514c565b9050613a4f613a38613a2e85610780868e6020015161272e565b610780848861272e565b610780613778613a498e600461514c565b8861272e565b9450505050505f613a6461388a88602161514c565b90505f613a7561388a89602161514c565b90505f613aad613a94613a898b602361514c565b6107808c600661514c565b61079e613aa28c602361514c565b61077b8d600661514c565b90505f613ad1613acb613ac0878961272e565b61077b8d602161514c565b83612762565b9050613add818861272e565b90505f613b05613af7613af18d600661514c565b8761272e565b61079e613af18e602261514c565b90505f613b138c602361514c565b90505f613b23613acb838461272e565b60808c0185905260a08c018490529050613b3d818b61272e565b8b6006602002015250505050505050505050505050565b5f613b605f6001612762565b90505f613b6e5f6002612762565b90505f613b7c5f6003612762565b90505f613b98613b8d88601d61514c565b61079e89601c61514c565b90505f613bb4613ba989601e61514c565b61079e8a601d61514c565b90505f613bd0613bc58a601f61514c565b61079e8b601e61514c565b90505f613bec613be18b602461514c565b61079e8c601f61514c565b905083613bfd8161077b818b612749565b9050613c0d8161077b878a612749565b9050613c1d8161077b8789612749565b9050613c2e8161077b8d600861514c565b9050613c3a818a61272e565b60e08b01525082613c4f8161077b818b612749565b9050613c5f8161077b868a612749565b9050613c6f8161077b8689612749565b9050613c808161077b8d600861514c565b9050613c8c818a61272e565b6101008b01525081613ca28161077b818b612749565b9050613cb28161077b858a612749565b9050613cc28161077b8589612749565b9050613cd38161077b8d600861514c565b9050613cdf818a61272e565b6101208b01525080613cf58161077b818b612749565b9050613d058161077b848a612749565b9050613d158161077b8489612749565b9050613d268161077b8d600861514c565b9050613d32818a61272e565b610140909a019990995250505050505050505050565b613d816040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b613d8c84601d61514c565b8152613d9984601e61514c565b6020820152613da984602461514c565b6040820152613db984602761514c565b6060820152613dc984602661514c565b6080820152613dd984602561514c565b60a08201525f613dea85600261514c565b90505f613df7865f61514c565b90505f613e0b8460400151855f0151612762565b90505f613e208560200151866020015161272e565b606086015190915086905f90613e36908061272e565b90505f613e4e613a4989602001518a6060015161272e565b90505f613e6d613e668a60a001518b60400151612749565b8a51612749565b9050613e7c613af1828861272e565b9050613ea3613e9d613e97613e918487612762565b88612762565b84612749565b83612749565b9050613ecb613ec0613eb5838761272e565b61077b8f600961514c565b61077b60018a612762565b6101608c015250505050602085015160808601515f91613eea91612749565b90505f613f08613efe88606001518861272e565b8860200151612762565b90505f613f2c613f18848761272e565b6107806138bf8b60a001518c5f0151612762565b9050613f54613f49613f3e838c61272e565b61077b8e600961514c565b61077b600189612762565b6101808b0152505f9150613f759050613f6e836011612749565b875161272e565b90505f613f828384612749565b9050613f8e8182612749565b90505f613f9c83600961272e565b9050613fc5613fbf61388a613fb88b60a001518c5f0151612749565b8b51612749565b82612762565b60c089018190525f90613fe090613a4990613eb5908d61272e565b9050613ff38b600b602002015182612749565b6101608c0152505086515f925061401a9150613f6e906140139080612749565b8851612749565b90505f61405a6140358361077b8a5f01518b60a00151612762565b602089015161079e906140489080612749565b61077b8b602001518c60800151612749565b905061407789600c6020020151610780613a49613eb5858d61272e565b89600c602002015250505050505050505050565b6140f5604051806101e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b83515f90614103908061272e565b90505f61411382875f015161272e565b905061412961412388601e61514c565b8261272e565b80845261413e906107806138bf8a601d61514c565b80845261415a906107806141538a601c61514c565b895161272e565b80845261416c9061078089600161514c565b808452602084018190526141859061079e89601f61514c565b8352614195613b8d88602461514c565b60808401526141b36141a888602761514c565b61079e89601f61514c565b606084015260808301516141cc9061077b816001612762565b6101c0840152608083015161420c90614202906141fb9061077b60015f516020615c885f395f51905f526159d6565b6001612749565b846060015161272e565b60a08401819052614242906142349061077b6142298b600261514c565b61077b8c600361514c565b61077b613af18a600a61514c565b85600e60200201526101c0830151614266906142349061077b6142298b600261514c565b6101e0860152825161428b9061077b6142808a600261514c565b61077b8b600361514c565b6101208401525f6142aa6142a089601f61514c565b8560200151612762565b90506142bb8161077b836001612762565b60e08501526142ce6135d889602661514c565b604085018190526142ed906107806142e78b602561514c565b8661272e565b6040850181905261430d906107806143068b602461514c565b8a5161272e565b604085015261432a61432089602761514c565b8560400151612762565b60408501525f61433e613bc58a602661514c565b905061439061436b6135d86141fb886080015160015f516020615c885f395f51905f5261077b91906159d6565b61077b6141fb886040015160015f516020615c885f395f51905f5261077b91906159d6565b60c086015260408501516143b2906143a8908061272e565b8660400151612762565b61010086015260c08501516143e4906143d09061077b8c600461514c565b61077b6143de8c600a61514c565b8961272e565b6102008801526101c0850151614403906143d09061077b8c600461514c565b610220880152610100850151614422906143d09061077b8c600461514c565b61024088015260e085015161443c9061077b8b600461514c565b61014086015261445b6144508a602561514c565b61079e8b601d61514c565b610160860152608085015161449990613bc59061448e906141fb9061077b60015f516020615c885f395f51905f526159d6565b87610160015161272e565b61018086018190526101208601516101a087018190526144d0916107809061077b6144c58e600561514c565b61077b8f600261514c565b6101a0860181905285516144f091906107809061077b6144c58e5f61514c565b6101a086018190526101408601516145089190612749565b6101a086018190526145229061077b6143de8c600a61514c565b6101a0860181905287600d6020020152505050505050505050565b6145766040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6145ab61459261458786601c61514c565b61077b87602561514c565b6107806145a087602461514c565b61077b88601d61514c565b81526145f06145e56145cc6145c187601c61514c565b61077b88601f61514c565b6107806145da88601d61514c565b61077b89601e61514c565b61079e86602661514c565b6040820181905261460590600160441b61272e565b6040820181905261461b9061079e86602761514c565b60408201819052815161462e9190612749565b604082018190526146449061077b86600561514c565b6040820152805161465990600160441b61272e565b8082526146799061078061466e87602461514c565b61077b88602561514c565b808252602082018190526146a09061079e61469587601e61514c565b61078088601f61514c565b602082018190526146b69061077b86600461514c565b60208201528051606082018190526146d39061078086601f61514c565b606082018190526146f79061079e6146ec87602661514c565b61078088602761514c565b6060820181905261470c9061077b865f61514c565b8160600181815250505f61473561472b83602001518460400151612749565b8360600151612749565b90506147468161077b87600361514c565b905061475e61475686602561514c565b61400061272e565b608083018190526147749061078087602461514c565b608083018190526147879061400061272e565b6080830181905261479d9061078087601e61514c565b608083018190526147b09061400061272e565b608083018190526147c69061078087601d61514c565b608083018190526147d99061400061272e565b608083018190526147ef9061078087601c61514c565b608083018190526148059061079e87601f61514c565b6080830181905261481b9061077b87600561514c565b608083015261482e61475686602661514c565b60a083018190526148449061078087602561514c565b60a083018190526148579061400061272e565b60a0830181905261486d9061078087602461514c565b60a083018190526148809061400061272e565b60a083018190526148969061078087601f61514c565b60a083018190526148a99061400061272e565b60a083018190526148bf9061078087601e61514c565b60a083018190526148d59061079e87602761514c565b60a083018190526148ea9061077b875f61514c565b60a0830181905260808301515f916149029190612749565b90506149138161077b88600461514c565b905061491f8282612749565b60c084018190526149389061077b613af189600b61514c565b60c084018190528560136020020152505050505050565b6149c56040518061022001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6149de6149d385601c61514c565b61078086600261514c565b81526149f96149ee85601d61514c565b61078086600361514c565b6020820152614a17614a0c85601e61514c565b61078086600461514c565b6040820152614a35614a2a85601f61514c565b61078086600561514c565b60608201528051614a6790614a6090614a5990614a52908061272e565b845161272e565b835161272e565b825161272e565b60808201526020810151614aa590614a9b90614a9190614a87908061272e565b846020015161272e565b836020015161272e565b826020015161272e565b60a08201526040810151614ae390614ad990614acf90614ac5908061272e565b846040015161272e565b836040015161272e565b826040015161272e565b60c08201526060810151614b1790614b0d90614b0390614202908061272e565b836060015161272e565b826060015161272e565b60e0820152608081015160a0820151614b309190612749565b61010082015260c081015160e0820151614b4a9190612749565b61012082015260a0810151614b6e90614b639080612749565b826101200151612749565b61014082015260e0810151614b9290614b879080612749565b826101000151612749565b610160820152610120810151614ba89080612749565b6101e08201819052614bc990614bbe9080612749565b826101600151612749565b6101e0820152610100810151614bdf9080612749565b6101a08201819052614c0090614bf59080612749565b826101400151612749565b6101a08201819052610160820151614c1791612749565b6101808201526101408101516101e0820151614c339190612749565b6101c0820152614c476135d885600c61514c565b6102008201819052610280840151610180830151614c72926107809161077b9061079e8a602461514c565b8360146020020152614ca2836015602002015161078083610200015161077b856101a0015161079e8a602561514c565b8360156020020152614cd2836016602002015161078083610200015161077b856101c0015161079e8a602661514c565b8360166020020152614d02836017602002015161078083610200015161077b856101e0015161079e8a602761514c565b836017602002015250505050565b614d626040518061016001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f6040518060800160405280614d977f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e7612716565b8152602001614dc57f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b612716565b8152602001614df27e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac15612716565b8152602001614e207f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b612716565b90529050614e3d614e3286601c61514c565b61078087600261514c565b6101208301819052614e7c90614e7190614e6690614e5b908061272e565b85610120015161272e565b84610120015161272e565b83610120015161272e565b8252614e8985601d61514c565b6020830152614e9985601e61514c565b6040830152614ea985601f61514c565b606083015281516020830151614ed19161472b91614ec79190612749565b8460400151612749565b6080830152614ee461388a86600d61514c565b6101408301528151614f0590614efb90835f6114d0565b8360800151612749565b60a0830152614f31846018602002015161078084610140015161077b8660a0015161079e8b602461514c565b6103008501526020820151614f4c90614efb908360016114d0565b60c0830152614f78846019602002015161078084610140015161077b8660c0015161079e8b602561514c565b6103208501526040820151614f9390614efb908360026114d0565b60e0830152614fbf84601a602002015161078084610140015161077b8660e0015161079e8b602661514c565b6103408501526060820151614fda90614efb908360036114d0565b61010083015261500884601b602002015161078084610140015161077b86610100015161079e8b602761514c565b84601b613711565b815160015b601c81101561506257615058826107808684601c811061503757615037615a23565b6020020151866150486001876159d6565b601b81106114d0576114d0615a23565b9150600101615015565b5092915050565b604080518082019091525f8082526020820152604080518082019091525f8082526020820152604051835181526020840151602082015284604082015260408160608360075afa806150b9575f5ffd5b5080518252602080820151908301526060016040529392505050565b604080518082019091525f8082526020820152604080518082019091525f80825260208201526040518451815260208501516020820152835160408201526020840151606082015260408160808360065afa80615130575f5ffd5b5080518252602080820151908301526080016040529392505050565b5f8282602881111561516057615160615c53565b6029811061517057615170615a23565b60200201519392505050565b604051806103e001604052805f81526020015f81526020015f81526020016151b560405180604001604052805f81526020015f81525090565b81526020016151d560405180604001604052805f81526020015f81525090565b81526020016151f560405180604001604052805f81526020015f81525090565b815260200161521560405180604001604052805f81526020015f81525090565b815260200161523560405180604001604052805f81526020015f81525090565b815260200161525560405180604001604052805f81526020015f81525090565b815260200161527560405180604001604052805f81526020015f81525090565b815260200161529560405180604001604052805f81526020015f81525090565b81526020016152b560405180604001604052805f81526020015f81525090565b81526020016152d560405180604001604052805f81526020015f81525090565b81526020016152f560405180604001604052805f81526020015f81525090565b815260200161531560405180604001604052805f81526020015f81525090565b815260200161533560405180604001604052805f81526020015f81525090565b815260200161535560405180604001604052805f81526020015f81525090565b815260200161537560405180604001604052805f81526020015f81525090565b815260200161539560405180604001604052805f81526020015f81525090565b81526020016153b560405180604001604052805f81526020015f81525090565b81526020016153d560405180604001604052805f81526020015f81525090565b81526020016153f560405180604001604052805f81526020015f81525090565b815260200161541560405180604001604052805f81526020015f81525090565b815260200161543560405180604001604052805f81526020015f81525090565b815260200161545560405180604001604052805f81526020015f81525090565b815260200161547560405180604001604052805f81526020015f81525090565b815260200161549560405180604001604052805f81526020015f81525090565b81526020016154b560405180604001604052805f81526020015f81525090565b81526020016154d560405180604001604052805f81526020015f81525090565b81526020016154f560405180604001604052805f81526020015f81525090565b815260200161551560405180604001604052805f81526020015f81525090565b905290565b604051806101e0016040528061552e615802565b815260200161554e60405180604001604052805f81526020015f81525090565b815260200161556e60405180604001604052805f81526020015f81525090565b815260200161558e60405180604001604052805f81526020015f81525090565b81526020016155ae60405180604001604052805f81526020015f81525090565b81526020016155ce60405180604001604052805f81526020015f81525090565b81526020016155ee60405180604001604052805f81526020015f81525090565b815260200161560e60405180604001604052805f81526020015f81525090565b815260200161562e60405180604001604052805f81526020015f81525090565b815260200161563b61583f565b815260200161564861586d565b815260200161565561588c565b81526020016154d5615787565b60405180610100016040528061569560405180608001604052805f81526020015f81526020015f81526020015f81525090565b81526020016156a261574a565b81526020016156af615787565b81526020016156bc615787565b81526020015f81526020015f81526020015f81526020015f81525090565b604051806101c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020016157186158c5565b81526020016157256158c5565b81526020015f81526020015f81526020015f81526020015f8152602001606081525090565b604051806103600160405280601b906020820280368337509192915050565b6040518060a001604052806005906020820280368337509192915050565b604051806103800160405280601c906020820280368337509192915050565b6040518061012001604052806009906020820280368337509192915050565b604051806105400160405280602a906020820280368337509192915050565b60405180606001604052806003906020820280368337509192915050565b6040518061010001604052806008906020820280368337509192915050565b6040518060e001604052806007906020820280368337509192915050565b604051806103800160405280601c905b615857615802565b81526020019060019003908161584f5790505090565b6040518061052001604052806029906020820280368337509192915050565b604051806103600160405280601b905b604080518082019091525f808252602082015281526020019060019003908161589c5790505090565b60405180608001604052806004906020820280368337509192915050565b5f5f5f5f604085870312156158f6575f5ffd5b843567ffffffffffffffff81111561590c575f5ffd5b8501601f8101871361591c575f5ffd5b803567ffffffffffffffff811115615932575f5ffd5b876020828401011115615943575f5ffd5b60209182019550935085013567ffffffffffffffff811115615963575f5ffd5b8501601f81018713615973575f5ffd5b803567ffffffffffffffff811115615989575f5ffd5b8760208260051b840101111561599d575f5ffd5b949793965060200194505050565b634e487b7160e01b5f52601160045260245ffd5b8082028115828204841417612743576127436159ab565b81810381811115612743576127436159ab565b80820180821115612743576127436159ab565b5f5f85851115615a0a575f5ffd5b83861115615a16575f5ffd5b5050820193919092039150565b634e487b7160e01b5f52603260045260245ffd5b634e487b7160e01b5f52604160045260245ffd5b5f60018201615a5c57615a5c6159ab565b5060010190565b80356020831015612743575f19602084900360031b1b1692915050565b5f82615a9a57634e487b7160e01b5f52601260045260245ffd5b500690565b5f8183825b6005811015615ac3578151835260209283019290910190600101615aa4565b50505060a08201905092915050565b5f8183825b6009811015615af6578151835260209283019290910190600101615ad7565b5050506101208201905092915050565b5f8183825b602a811015615b2a578151835260209283019290910190600101615b0b565b5050506105408201905092915050565b81515f90829060208501835b82811015615b64578151845260209384019390910190600101615b46565b509195945050505050565b5f8183825b6003811015615b93578151835260209283019290910190600101615b74565b50505060608201905092915050565b5f81615bb057615bb06159ab565b505f190190565b5f8183825b6008811015615bdb578151835260209283019290910190600101615bbc565b5050506101008201905092915050565b5f82518060208501845e5f920191825250919050565b5f60208284031215615c11575f5ffd5b81518015158114610333575f5ffd5b5f8183825b6007811015615c44578151835260209283019290910190600101615c25565b50505060e08201905092915050565b634e487b7160e01b5f52602160045260245ffdfe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4730644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001a26469706673582212200501a538f2a85eb33da9cff1fa5d29cfadb39b1125c5500a0bbcd3d2a7ba025464736f6c634300081e0033";
5
5
  /**
6
6
  * HonkVerifier link references.
7
7
  */
8
8
  export declare const HonkVerifierLinkReferences: {};
9
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiSG9ua1ZlcmlmaWVyQnl0ZWNvZGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9Ib25rVmVyaWZpZXJCeXRlY29kZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQTs7R0FFRztBQUNILGVBQU8sTUFBTSxvQkFBb0IsbW8rQ0FBbW8rQyxDQUFDO0FBQ3JxK0M7O0dBRUc7QUFDSCxlQUFPLE1BQU0sMEJBQTBCLElBQWMsQ0FBQyJ9
9
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiSG9ua1ZlcmlmaWVyQnl0ZWNvZGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9Ib25rVmVyaWZpZXJCeXRlY29kZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQTs7R0FFRztBQUNILGVBQU8sTUFBTSxvQkFBb0IsNjM5Q0FBNjM5QyxDQUFDO0FBQy81OUM7O0dBRUc7QUFDSCxlQUFPLE1BQU0sMEJBQTBCLElBQWMsQ0FBQyJ9
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,mo+CAAmo+C,CAAC;AACrq+C;;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,639CAA639C,CAAC;AAC/59C;;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 = "0x610100604052348015610010575f5ffd5b506301000000608052601860a0527f14df98df2670d6b3040164748f97485945b94d6558c54e148cf7cc5f64f0d1f860c05260af60e05260805160a05160c05160e051615d606100de5f395f818161018101526107ae01525f61016001525f8181605b01528181609401528181610101015281816101a2015281816108c7015281816109d401528181610a0001528181610a7b015281816112d401528181611374015281816115c30152818161160f0152818161165d015281816116b40152612cde01525f5050615d605ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b366004615966565b610054565b604051901515815260200160405180910390f35b5f5f61007f7f000000000000000000000000000000000000000000000000000000000000000061028c565b905061008c816020615a42565b85146100ee577f0000000000000000000000000000000000000000000000000000000000000000856100bf836020615a42565b6040516359895a5360e01b81526004810193909352602483019190915260448201526064015b60405180910390fd5b5f6100f761033a565b90505f61012588887f000000000000000000000000000000000000000000000000000000000000000061034f565b9050601082604001516101389190615a59565b85146101575760405163fa06659360e01b815260040160405180910390fd5b5f6101c68288887f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000006106a6565b90506102168787808060200260200160405190810160405280939291908181526020018383602002808284375f920191909152505085518551602081015160409091015191935091506001610758565b8151606001525f61022783836108bf565b905080610247576040516313f8744360e31b815260040160405180910390fd5b5f6102538486856109c0565b905080610273576040516352ec174560e11b815260040160405180910390fd5b81801561027d5750805b9b9a5050505050505050505050565b5f8061029a60026008615a42565b905060016102a9600885615a42565b6102b39190615a42565b6102bd9082615a6c565b90506102cb60016029615a42565b6102d59082615a6c565b905060026102e4600185615a59565b6102ee9190615a42565b6102f89082615a6c565b9050610305600184615a42565b61030f9082615a6c565b905061031c600280615a42565b6103269082615a6c565b9050610333601082615a6c565b9392505050565b6103426151e0565b61034a611786565b905090565b61035761557e565b5f805b60108110156103b957610386868387610374602083615a6c565b9261038193929190615a7f565b6120c0565b8351826010811061039957610399615aa6565b6020020181815250506020826103af9190615a6c565b915060010161035a565b506103dd8582866103cb604083615a6c565b926103d893929190615a7f565b6120d3565b60208301526103ed604082615a6c565b90506104008582866103cb604083615a6c565b6040808401919091526104139082615a6c565b90506104268582866103cb604083615a6c565b6060830152610436604082615a6c565b90506104498582866103cb604083615a6c565b60c0830152610459604082615a6c565b905061046c8582866103cb604083615a6c565b60e083015261047c604082615a6c565b905061048f8582866103cb604083615a6c565b608083015261049f604082615a6c565b90506104b28582866103cb604083615a6c565b6101008301526104c3604082615a6c565b90506104d68582866103cb604083615a6c565b60a08301526104e6604082615a6c565b90505f5b83811015610564575f5b600881101561055b5761050e878488610374602083615a6c565b84610120015183601c811061052557610525615aa6565b6020020151826008811061053b5761053b615aa6565b6020020181815250506020836105519190615a6c565b92506001016104f4565b506001016104ea565b505f5b60298110156105b857610581868387610374602083615a6c565b836101400151826029811061059857610598615aa6565b6020020181815250506020826105ae9190615a6c565b9150600101610567565b505f5b6105c6600185615a59565b81101561060f576105de8683876103cb604083615a6c565b83610160015182601b81106105f5576105f5615aa6565b6020020152610605604083615a6c565b91506001016105bb565b505f5b838110156106625761062b868387610374602083615a6c565b83610180015182601c811061064257610642615aa6565b6020020181815250506020826106589190615a6c565b9150600101610612565b506106748582866103cb604083615a6c565b6101a0830152610685604082615a6c565b90506106988582866103cb604083615a6c565b6101c0830152509392505050565b6106ae6156c6565b5f6106bd888888888886612160565b90835290506106cc81896121c3565b602084019190915290506106e081846122b2565b604084019190915290506106f5888285612341565b606084019190915290506107098882612415565b6080840191909152905061071e8882856124a0565b60a08401919091529050610733888285612615565b60c0840191909152905061074788826126da565b5060e0830152509695505050505050565b5f60018082610785866107808961077b6107768a6310000000615a6c565b612717565b61272f565b61274a565b90505f6107a38761079e8a61077b6107768b6001615a6c565b612763565b90505f5b6107d260107f0000000000000000000000000000000000000000000000000000000000000000615a59565b81101561083f575f6107fc8c83815181106107ef576107ef615aa6565b602002602001015161278b565b905061080c8661077b868461274a565b955061081c8561077b858461274a565b9450610828848b61274a565b9350610834838b612763565b9250506001016107a7565b505f5b60108110156108a6575f8a826010811061085e5761085e615aa6565b602002015190506108738661077b868461274a565b95506108838561077b858461274a565b945061088f848b61274a565b935061089b838b612763565b925050600101610842565b506108b184846127a0565b9a9950505050505050505050565b5f806001815b7f0000000000000000000000000000000000000000000000000000000000000000811015610996575f86610120015182601c811061090557610905615aa6565b602002015190505f61091782866127ae565b905080610937576040516313f8744360e31b815260040160405180910390fd5b5f876060015184601c811061094e5761094e615aa6565b6020020151905061095f83826127ce565b9550610986886040015185601c811061097a5761097a615aa6565b6020020151868361297d565b94505050508060010190506108c5565b505f6109b0866101400151865f01518760200151856129a8565b90508281145b9695505050505050565b5f6109c961573e565b5f6109f88460a001517f0000000000000000000000000000000000000000000000000000000000000000612a21565b90505f610a267f00000000000000000000000000000000000000000000000000000000000000006024615a6c565b610a31906002615a6c565b67ffffffffffffffff811115610a4957610a49615aba565b604051908082528060200260200182016040528015610a72578160200160208202803683370190505b5090505f610aa17f00000000000000000000000000000000000000000000000000000000000000006024615a6c565b610aac906002615a6c565b67ffffffffffffffff811115610ac457610ac4615aba565b604051908082528060200260200182016040528015610b0857816020015b604080518082019091525f8082526020820152815260200190600190039081610ae25790505b509050610b3a610b358760e00151855f81518110610b2857610b28615aa6565b6020026020010151612763565b612aeb565b84610120018181525050610b6e610b358760e00151855f81518110610b6157610b61615aa6565b602002602001015161274a565b610140850181905261012085015160c0880151610b8f92610780919061272f565b845260a0860151610bbf90610ba390612aeb565b61077b86610120015161079e8a60c0015189610140015161272f565b6020850152815160019083905f90610bd957610bd9615aa6565b602002602001018181525050876101a00151815f81518110610bfd57610bfd615aa6565b6020908102919091010152600160a08501525f60c085015283515f516020615d0b5f395f51905f5203604085015260208401515f516020615d0b5f395f51905f5203606085015260015b60248111610cea57610c6185604001518660a0015161272f565b838281518110610c7357610c73615aa6565b602002602001018181525050610cbc8560c001516107808b6101400151600185610c9d9190615a59565b60298110610cad57610cad615aa6565b60200201518860a0015161272f565b60c086015260a08501516080880151610cd5919061272f565b60a0860152610ce381615ace565b9050610c47565b505f5b6005811015610db8575f610d02601d83615a6c565b90505f610d10602484615a6c565b9050610d41858381518110610d2757610d27615aa6565b602002602001015161078089606001518a60a0015161272f565b858381518110610d5357610d53615aa6565b602002602001018181525050610d908760c001516107808d61014001518460298110610d8157610d81615aa6565b60200201518a60a0015161272f565b60c088015260a087015160808a0151610da9919061272f565b60a08801525050600101610ced565b50866060015181600181518110610dd157610dd1615aa6565b6020026020010181905250866080015181600281518110610df457610df4615aa6565b60200260200101819052508660a0015181600381518110610e1757610e17615aa6565b60200260200101819052508660c0015181600481518110610e3a57610e3a615aa6565b60200260200101819052508660e0015181600581518110610e5d57610e5d615aa6565b602002602001018190525086610100015181600681518110610e8157610e81615aa6565b602002602001018190525086610120015181600781518110610ea557610ea5615aa6565b602002602001018190525086610140015181600881518110610ec957610ec9615aa6565b602002602001018190525086610160015181600981518110610eed57610eed615aa6565b6020026020010181905250866101c0015181600a81518110610f1157610f11615aa6565b602002602001018190525086610180015181600b81518110610f3557610f35615aa6565b6020026020010181905250866101a0015181600c81518110610f5957610f59615aa6565b6020026020010181905250866101e0015181600d81518110610f7d57610f7d615aa6565b602002602001018190525086610200015181600e81518110610fa157610fa1615aa6565b602002602001018190525086610220015181600f81518110610fc557610fc5615aa6565b602002602001018190525086610240015181601081518110610fe957610fe9615aa6565b60200260200101819052508661026001518160118151811061100d5761100d615aa6565b60200260200101819052508661028001518160128151811061103157611031615aa6565b6020026020010181905250866102a001518160138151811061105557611055615aa6565b6020026020010181905250866102c001518160148151811061107957611079615aa6565b6020026020010181905250866102e001518160158151811061109d5761109d615aa6565b6020026020010181905250866103000151816016815181106110c1576110c1615aa6565b6020026020010181905250866103200151816017815181106110e5576110e5615aa6565b60200260200101819052508661034001518160188151811061110957611109615aa6565b60200260200101819052508661036001518160198151811061112d5761112d615aa6565b602002602001018190525086610380015181601a8151811061115157611151615aa6565b6020026020010181905250866103a0015181601b8151811061117557611175615aa6565b6020026020010181905250866103c0015181601c8151811061119957611199615aa6565b6020026020010181905250876020015181601d815181106111bc576111bc615aa6565b6020026020010181905250876040015181601e815181106111df576111df615aa6565b6020026020010181905250876060015181601f8151811061120257611202615aa6565b602002602001018190525087608001518160208151811061122557611225615aa6565b60200260200101819052508760a001518160218151811061124857611248615aa6565b60200260200101819052508761010001518160228151811061126c5761126c615aa6565b60200260200101819052508760c001518160238151811061128f5761128f615aa6565b60200260200101819052508760e00151816024815181106112b2576112b2615aa6565b60200260200101819052505f6112f887606001518660c001518b6101800151877f0000000000000000000000000000000000000000000000000000000000000000612b5b565b9050611322815f8151811061130f5761130f615aa6565b602002602001015186610120015161272f565b608086018190526101808a01515160c0890151611353929161078091611348919061272f565b88610140015161272f565b608086015260c087015161136690612cba565b60a08601525f5b61139860017f0000000000000000000000000000000000000000000000000000000000000000615a59565b8110156115a7576113c8610b358960e00151878460016113b89190615a6c565b81518110610b2857610b28615aa6565b61012087015260e08801516113f790610b3590876113e7856001615a6c565b81518110610b6157610b61615aa6565b61014087015260a0860151610120870151611412919061272f565b61016087015260a086015160c089015161143a9161142f9161272f565b87610140015161272f565b610180870181905261146f905f516020615d0b5f395f51905f52036101608801515f516020615d0b5f395f51905f520361274a565b848261147d60246001615a6c565b6114879190615a6c565b8151811061149757611497615aa6565b6020026020010181815250505f6114da8761018001518c61018001518460016114c09190615a6c565b601c81106114d0576114d0615aa6565b602002015161272f565b905061151481610780896101600151868660016114f79190615a6c565b8151811061150757611507615aa6565b602002602001015161272f565b905061152487608001518261274a565b608088015260a087015160c08a015161154a916115409161272f565b8a60c0015161272f565b60a08801526101608b015182601b811061156657611566615aa6565b6020020151848361157960246001615a6c565b6115839190615a6c565b8151811061159357611593615aa6565b60209081029190910101525060010161136d565b50604080518082019091526001815260026020820152826115e97f00000000000000000000000000000000000000000000000000000000000000006024615a6c565b815181106115f9576115f9615aa6565b60209081029190910101526080850151836116357f00000000000000000000000000000000000000000000000000000000000000006024615a6c565b8151811061164557611645615aa6565b60209081029190910101526101c089015180836116837f00000000000000000000000000000000000000000000000000000000000000006024615a6c565b61168e906001615a6c565b8151811061169e5761169e615aa6565b602090810291909101015260e0880151846116da7f00000000000000000000000000000000000000000000000000000000000000006024615a6c565b6116e5906001615a6c565b815181106116f5576116f5615aa6565b6020026020010181815250505f61170c8486612cc5565b90505f61171883612de0565b90505f6117298d5f01518484612e31565b90505f5f6117398f5f0151612ea7565b9150915061174682612f73565b61174f81612f73565b61175a858385613016565b9450611767848285613016565b93506117738585613052565b9f9e505050505050505050505050505050565b61178e6151e0565b50604080516103e08101825263010000008152601860208083019190915260af82840152825180840184527f1d9cb9d7cc64006646f3df3e62b599798c8c61b2c476167bd745f13cbcb336cf81527f24e6761b164d72e79971c2ca847f1bfc7963f76fb4744dbd3fbf884b9d13f816818301526060830152825180840184527f2e941d384dd60cf65119590a8dd0f73b837023432814b7d4c61a1fff5816cfdb81527f0f7add8130ab78e8060be7a64a44019567902336a55b0d134baaa7c59e8c0fc2818301526080830152825180840184527f27847eb60113003e6048d692010d2f34a6bab66abacbcd61caef29cab6d449c381527f0efd0069e03aae24e155656868bc035df2981e9fd15976796ac646416782aa538183015260a0830152825180840184527f0a5b2a5256090326a00a42163677b4829941efbc11eb19bef1b5539efd61294c81527f27a19d279cceed3879d7450443897882caf7e3581ba3353c1f78ba1e6b82ac488183015260c0830152825180840184527f028286f63006d05df4908855d06596e9340a64db1b4e01b51f396764d3515ca781527f0cdb7d89e67240094775e5741041f607a485833412e08898b56c3c05652bfe0e8183015260e0830152825180840184527f2579ebceccd9bfa3fdd390fc03ae3abf05d351b7339cf3db68861b9fd0a9d90881527f297157bfac210a90374c90cd46287129d4bd134d61b0969a7e08eca684e517df81830152610100830152825180840184527f14e11f086d7ccfc3c02ecfbc088af8a76c737f6b09014c4493310b6f43c12b1e81527f2a68571d45e0c3e4845d1b9a44e95e1d3848f411ba63e1aae95709c95667555181830152610120830152825180840184527f20b9abe371b2651322996fb63b36d13538d0c0db6f6ccbddb728721b3f5e5c9681527f0246dc1b27480f4038ec2f99f3f4c6ee65d7712e1976dd5f06188f8bb0ed49c781830152610140830152825180840184527ebef0d9b68a8330fbda054d5f7d397a7bfc315cd43688a5bf9e4a79a9cfb57281527f18a87e55ecdea0b2388e9f0e850bde15f3c508d102b4bb1e7a1b7f60cdab368681830152610160830152825180840184527f263821169579a7db7bf164508ea7b1951aae6af5732b77341ab62bbf1e445eb481527f26eb45d875b3b31dbb51c82f14091c0b6281a77c0c5ac5f7faad686301fa453081830152610180830152825180840184527f1e123d620a2d96e97adf481e65d9a1f6a7f8c41d5ef8bd31cc45ea6f80184c3d81527f2e5794a1f47815a3c0158369fb50e721ab32603fd4edb543dd1a3bd5f9cb4ae6818301526101a0830152825180840184527f053f97c8e42c90dc2b46d69775469f54e39427c5faef3e9a0db94b6bb9f831eb81527f09f90c434a3a2ee58cc00018ac8da9526ce387f97a448de1553a61d5efca293e818301526101c0830152825180840184527ec3459f447a9931225bf4741d1c9aeca29b38a105771775e41c0f8b997a8d3781527f2f073c67b0df2d38f9b9cf970173b532309414a7725bfe9b070c49a9cb0120ac818301526101e0830152825180840184527f0568f5f391b0ca1ad7d6a3a0c6ccd54d226e036169095edf2bc7e84267269a7781527f2637d9fb5c49a52121f77ef8b87cb0b6cbb647758fadb59a0fcbc36a3e4cbf8181830152610200830152825180840184527f0aedc518303b97e839f61f7e684e5841ae8d0d666e29f05419da1f986a6cef2b81527f131ed1a4df863fe4ea7f94b3d6d18d818e7ecdc30a39f4cbfb04df05a9f6f01681830152610220830152825180840184527f1fbb79e803c3e062879d9aa10a20054f46a9515b55459ff99630034f7cff656d81527f2881cf95f7536ca8aec1407af3d385fea3a24c44514900f5e0566f663c4790e881830152610240830152825180840184527f12ff283fe9460e4a0e67fe6079694a88005ee164708ed01a2e5705daa6dd1cd981527f1392475bbbaef7536ff1c546bccc3f93238232277f08b3d672e4b66fbcec138381830152610260830152825180840184527f222f6d2115dfd437c0b182f3912b74d35a4286de3353d36d8e93f1db57352b0d81527f20b55b77c275a90c61a0ddd0cadbfa4b41f35d690c9bc016a3da6f9a7e07d75e81830152610280830152825180840184527f07b7bf778a4a4f5fe35c10e8bb9e467109c368c662322deef1f6819d96983ac981527f18350deae666b24be7d654cf1437ebed2ad8d92e3359b208d186709f722e9b19818301526102a0830152825180840184527f1f15f6fd77323dab76d5af9ede42360e803af182791a91cef61f325c40b57ef381527f2cda7a98826a052e73f61bb13ca429b7cedb05d13a5fc48154caa314ab124a2e818301526102c0830152825180840184527f259b6f7636b3ee6a0db3f71518910d684dbbfa67bf1202dbfca1f584aa0abd5f81527f164fac6641a65692bf1a1bbfae3a4f67c46e825ceeb91a1b66a0ca4225a732fc818301526102e0830152825180840184527f1d0e7748f66648e20212db2fe8b9bbe8345459705b18918f2cf9dd08d35eaa0981527f092b3c3841f37b28c82c68e1ba4f97e271d61b29d9390fccfcb68b0041d991e381830152610300830152825180840184527f2194d92617bbb3ba3d9e53f4f13c5c7c6fc5ae0c56f06e0a35747f24625e576381527f11ca88979a66ada092bb26e2b64b8602eb63f6e2fc21862f6fefead2978de7e081830152610320830152825180840184527f1d346dd159688f85b77717f8197777c6ced8daf349335d74908736241f5f332881527f10e952d77959f4aa6fe9cb7222d9901d06ddfeea51240c79980d4daac814444381830152610340830152825180840184527f20b8784b739f9968d269d3db4e7e7e7e666acd5804af5ff4a54f8dfbea8d257281527f21ad5edf078583d5e29052c50b4e8d46067ddaae2aa2345c15a755074d932f9581830152610360830152825180840184527f062b31b3719d79c253d59707efcc41556e43d9f4f122ba79d3484e023fb4da7d81527f283eb52c07506637e09fb73d7875ada840d8e4c75295a90dc312b4d2571c52c38183015261038083015282518084018452600181526002818301526103a083015282518084019093527f0989b1e1b8f685966ad282d1c4bb61b585653712c257ccad59c6f098e1aa6ee083527f2be85d735fa2155cb588417ba94164a383d3adae5b70546c4bf28888aee6299f908301526103c081019190915290565b5f6103336120ce8385615ae6565b61278b565b604080518082019091525f808252602082015260408051808201909152805f516020615ceb5f395f51905f5261210c60205f8789615a7f565b61211591615ae6565b61211f9190615b03565b81526020908101905f516020615ceb5f395f51905f5290612144906040908789615a7f565b61214d91615ae6565b6121579190615b03565b90529392505050565b61218760405180608001604052805f81526020015f81526020015f81526020015f81525090565b5f6121958888888888613246565b90835292506121a48389613515565b6040850191909152602084019190915291989197509095505050505050565b6121cb6157ae565b5f6121d46157cd565b8481526101008401805151602080840191909152905181015160408084019190915260a086018051516060850152518201516080840152516122379161221c91849101615b22565b6040516020818303038152906040528051906020012061278b565b91505f6122438361359c565b50808552905060015b6122586001601c615a59565b8110156122a8576122898561226e600184615a59565b601b811061227e5761227e615aa6565b60200201518361272f565b8582601b811061229b5761229b615aa6565b602002015260010161224c565b5050509250929050565b6122ba6157eb565b5f6122d18460405160200161221c91815260200190565b93506122dc8461359c565b50825260015b838110156123395761231a836122f9600184615a59565b601c811061230957612309615aa6565b6020020151846114c0600185615a59565b8382601c811061232c5761232c615aa6565b60200201526001016122e2565b509093915050565b6123496157eb565b5f805b8381101561240b5761235c61580a565b8581525f5b60088110156123c55787610120015183601c811061238157612381615aa6565b6020020151816008811061239757612397615aa6565b6020020151826123a8836001615a6c565b600981106123b8576123b8615aa6565b6020020152600101612361565b506123da8160405160200161221c9190615b55565b95505f6123e68761359c565b8685601c81106123f8576123f8615aa6565b602002019190915250505060010161234c565b5090949293505050565b5f5f61241f615829565b8381525f5b602981101561247257856101400151816029811061244457612444615aa6565b602002015182612455836001615a6c565b602a811061246557612465615aa6565b6020020152600101612424565b506124878160405160200161221c9190615b89565b91505f6124938361359c565b5096929550919350505050565b5f80806124ae600185615a59565b6124b9906002615a42565b6124c4906001615a6c565b67ffffffffffffffff8111156124dc576124dc615aba565b604051908082528060200260200182016040528015612505578160200160208202803683370190505b50905084815f8151811061251b5761251b615aa6565b60209081029190910101525f5b612533600186615a59565b8110156125e65786610160015181601b811061255157612551615aa6565b60200201515182612563836002615a42565b61256e906001615a6c565b8151811061257e5761257e615aa6565b60200260200101818152505086610160015181601b81106125a1576125a1615aa6565b602002015160200151828260026125b89190615a42565b6125c3906002615a6c565b815181106125d3576125d3615aa6565b6020908102919091010152600101612528565b506125fb8160405160200161221c9190615bbd565b91505f6126078361359c565b509792965091945050505050565b5f8080612623846001615a6c565b67ffffffffffffffff81111561263b5761263b615aba565b604051908082528060200260200182016040528015612664578160200160208202803683370190505b50905084815f8151811061267a5761267a615aa6565b60209081029190910101525f5b848110156125e65786610180015181601c81106126a6576126a6615aa6565b6020020151826126b7836001615a6c565b815181106126c7576126c7615aa6565b6020908102919091010152600101612687565b5f5f6126e4615848565b8381526101a085018051516020808401919091529051810151604080840191909152516124879161221c91849101615bf2565b5f5f516020615d0b5f395f51905f52825b0692915050565b5f5f516020615d0b5f395f51905f5282840990505b92915050565b5f5f516020615d0b5f395f51905f528284089392505050565b5f5f516020615d0b5f395f51905f52825f516020615d0b5f395f51905f520384089392505050565b5f5f516020615d0b5f395f51905f5282612728565b5f6103338361077b84612aeb565b815160208301515f9182916127c3919061274a565b929092149392505050565b60408051610100810182527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec5181526102d060208201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff1191810191909152609060608201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71608082015260f060a08201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd3160c08201526113b060e08201525f906001825b60088110156128b5576128ab8261077b8784612763565b9150600101612894565b506128be615866565b5f5b600881101561291f575f8482600881106128dc576128dc615aa6565b602002015190506128f18161077b8985612763565b90506128fc81612aeb565b90508083836008811061291157612911615aa6565b6020020152506001016128c0565b505f5b6008811015612972575f87826008811061293e5761293e615aa6565b6020020151905061295b818484600881106114d0576114d0615aa6565b9050612967868261274a565b955050600101612922565b506109b6848361272f565b5f5f61299360016107808561077b896001612763565b905061299f848261272f565b95945050505050565b5f6129b16157eb565b6129bc8682856135d5565b6129c886868386613781565b6129d486868386613969565b6129df868285613bb8565b6129ea868285613dac565b6129f6868683866140ef565b612a018682856145a1565b612a0c8682856149b3565b612a17868285614d74565b6109b68185615074565b60605f8267ffffffffffffffff811115612a3d57612a3d615aba565b604051908082528060200260200182016040528015612a66578160200160208202803683370190505b50905083815f81518110612a7c57612a7c615aa6565b602090810291909101015260015b83811015612ae357612abe82612aa1600184615a59565b81518110612ab157612ab1615aa6565b6020026020010151612cba565b828281518110612ad057612ad0615aa6565b6020908102919091010152600101612a8a565b509392505050565b5f5f8290505f604051602081526020808201526020604082015282606082015260025f516020615d0b5f395f51905f520360808201525f516020615d0b5f395f51905f5260a082015260205f60c08360055afa80612b47575f5ffd5b505f51608091909101604052949350505050565b60605f8267ffffffffffffffff811115612b7757612b77615aba565b604051908082528060200260200182016040528015612ba0578160200160208202803683370190505b509050825b8015612caf575f85612bb8600184615a59565b81518110612bc857612bc8615aa6565b602002602001015190505f89600184612be19190615a59565b601c8110612bf157612bf1615aa6565b602002015190505f612c4c612c10612c09858d61272f565b600261272f565b61079e8b612c1f600189615a59565b601c8110612c2f57612c2f615aa6565b602002015161077b612c468861077b60018a612763565b87612763565b9050612c6d8161077b610b35612c678761077b600189612763565b8661274a565b99508990508085612c7f600187615a59565b81518110612c8f57612c8f615aa6565b60200260200101818152505050505080612ca890615c25565b9050612ba5565b509695505050505050565b5f612744828361272f565b604080518082019091525f80825260208201525f612d047f00000000000000000000000000000000000000000000000000000000000000006024615a6c565b612d0f906002615a6c565b90505f5b81811015612d4557612d3d858281518110612d3057612d30615aa6565b6020026020010151612f73565b600101612d13565b50604051600190815b60018401811015612daa5760208102870160208202870181515160408501528151602001516060850152805160808501525050604080830160606040850160075afa8316925060408260808460065afa90921691600101612d4e565b5080518452602081015160208501525080612dd8576040516352ec174560e11b815260040160405180910390fd5b505092915050565b604080518082019091525f80825260208201525f516020615ceb5f395f51905f5282602001515f516020615ceb5f395f51905f52612e1e9190615a59565b612e289190615b03565b60208301525090565b5f5f5f612e3d86612ea7565b91509150612e49615866565b82518152602080840151818301528251604080840191909152838201516060840152875160808401528782015160a0840152865160c08401528682015160e084015251612e9c9161221c91849101615c3a565b979650505050505050565b6040805180820182525f80825260208083018281528451808601865283815280830193845286519287015195870151606088015160cc90811b608892831b6044998a1b90961795909517949094178652608088015160a089015160c08a015160e08b0151871b90841b918a1b90921717179092526101008701516101208801516101408901516101608a0151861b90851b91891b909217171781526101808701516101a08801516101c08901516101e09099015190941b9790921b9290951b1717939093179092529091565b805160208201515f5f516020615ceb5f395f51905f528380095f516020615ceb5f395f51905f5260035f516020615ceb5f395f51905f52838709085f516020615ceb5f395f51905f5284850914915050806130105760405162461bcd60e51b815260206004820152601960248201527f706f696e74206973206e6f74206f6e207468652063757276650000000000000060448201526064016100e5565b50505050565b604080518082019091525f8082526020820152604080518082019091525f808252602082015261304683866150cd565b905061299f8185615139565b81516020808401518351848301516040805194850195909552938301919091527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c260608301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60808301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60a08301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60c083015260e08201526101008101919091527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c16101208201527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b06101408201527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe46101608201527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101808201525f9081906101a00160405160208183030381529060405290505f5f60086001600160a01b0316836040516131e89190615c6e565b5f60405180830381855afa9150503d805f8114613220576040519150601f19603f3d011682016040523d82523d5f602084013e613225565b606091505b50915091508180156109b65750808060200190518101906109b69190615c84565b5f8080613254846001615a6c565b61325f906006615a6c565b67ffffffffffffffff81111561327757613277615aba565b6040519080825280602002602001820160405280156132a0578160200160208202803683370190505b509050845f1b815f815181106132b8576132b8615aa6565b60209081029190910101525f5b6132d0601086615a59565b811015613321578787828181106132e9576132e9615aa6565b90506020020135828260016132fe9190615a6c565b8151811061330e5761330e615aa6565b60209081029190910101526001016132c5565b505f5b601081101561339257885161334c90826010811061334457613344615aa6565b602002015190565b8282601061335b896001615a6c565b6133659190615a59565b61336f9190615a6c565b8151811061337f5761337f615aa6565b6020908102919091010152600101613324565b50602088015151816133a5866001615a6c565b815181106133b5576133b5615aa6565b602090810291909101810191909152888101510151816133d6866001615a6c565b6133e1906001615a6c565b815181106133f1576133f1615aa6565b60209081029190910101526040880151518161340e866001615a6c565b613419906002615a6c565b8151811061342957613429615aa6565b602090810291909101810191909152604089015101518161344b866001615a6c565b613456906003615a6c565b8151811061346657613466615aa6565b602090810291909101015260608801515181613483866001615a6c565b61348e906004615a6c565b8151811061349e5761349e615aa6565b60209081029190910181019190915260608901510151816134c0866001615a6c565b6134cb906005615a6c565b815181106134db576134db615aa6565b6020026020010181815250506134fb8160405160200161221c9190615bbd565b91506135068261359c565b50989197509095505050505050565b5f5f5f613520615885565b85815260c0858101805151602080850191909152905181015160408085019190915260e08801805151606086015251820151608080860191909152880180515160a0860152518201519284019290925290516135829161221c91849101615ca3565b915061358d8261359c565b90979096509194509092505050565b5f80826f7fffffffffffffffffffffffffffffff8116607f82901c6135c08261278b565b94506135cb8161278b565b9350505050915091565b5f6135e18460076151b0565b90507f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f80000005f61364261363c613616856003612763565b61077b6136316136268b5f6151b0565b61077b8c601d6151b0565b61077b8b601c6151b0565b8361272f565b90506136c36136b861369f61368661366d856107806136628d60026151b0565b61077b8e601c6151b0565b61078061367b8c60036151b0565b61077b8d601d6151b0565b6107806136948b60046151b0565b61077b8c601e6151b0565b6107806136ad8a60056151b0565b61077b8b601f6151b0565b6107808860016151b0565b90506136e2816107806136d7866001612763565b61077b8a60276151b0565b90506136ee818461272f565b90506136fa818561272f565b8552505f905061373461372a61371f61371488601c6151b0565b61078089601f6151b0565b61079e8860246151b0565b610780875f6151b0565b90506137458161077b846002612763565b90506137568161077b846001612763565b9050613762818361272f565b905061376e818461272f565b9050808460015b60200201525050505050565b5f5f5f6137b76137ad61379589601c6151b0565b6107806137a38b60126151b0565b8a6020015161272f565b876040015161274a565b90506137f08161077b6137e66137ce8b601d6151b0565b6107806137dc8d60136151b0565b8c6020015161272f565b896040015161274a565b90506138158161077b6137e66138078b601e6151b0565b6107806137dc8d60146151b0565b905061383a8161077b6137e661382c8b601f6151b0565b6107806137dc8d60156151b0565b92505f905061385e6137ad61385089601c6151b0565b6107806137a38b600e6151b0565b90506138838161077b6137e66138758b601d6151b0565b6107806137dc8d600f6151b0565b90506138a88161077b6137e661389a8b601e6151b0565b6107806137dc8d60106151b0565b90506138cd8161077b6137e66138bf8b601f6151b0565b6107806137dc8d60116151b0565b91505f90506138f46138ee6138e38960206151b0565b6107808a601a6151b0565b8461272f565b90506139298161079e61392361390b8b60286151b0565b6107806139198d601b6151b0565b8c6060015161272f565b8561272f565b9050613935818561272f565b6040860152505f61395861392361394d89601b6151b0565b61077b8a60286151b0565b606090950194909452505050505050565b5f5f5f61397e8660200151876020015161272f565b90506139e26139c76139b96139a16139978b60166151b0565b8a6040015161274a565b6107806139af8c60176151b0565b8b6020015161272f565b6107806139238b60186151b0565b6107806139d86139238b60196151b0565b896020015161272f565b9250505f6139f88660200151876020015161272f565b90505f613a25613a0c6137e68a601c6151b0565b610780613a1a8b60036151b0565b61077b8c60246151b0565b90505f613a4e613a368a601d6151b0565b610780613a438c5f6151b0565b61077b8d60256151b0565b90505f613a78613a5f8b601e6151b0565b610780613a6d8d60016151b0565b61077b8e60266151b0565b9050613ab3613a9c613a9285610780868e6020015161272f565b610780848861272f565b6107806137dc613aad8e60046151b0565b8861272f565b9450505050505f613ac86138ee8860216151b0565b90505f613ad96138ee8960216151b0565b90505f613b11613af8613aed8b60236151b0565b6107808c60066151b0565b61079e613b068c60236151b0565b61077b8d60066151b0565b90505f613b35613b2f613b24878961272f565b61077b8d60216151b0565b83612763565b9050613b41818861272f565b90505f613b69613b5b613b558d60066151b0565b8761272f565b61079e613b558e60226151b0565b90505f613b778c60236151b0565b90505f613b87613b2f838461272f565b60808c0185905260a08c018490529050613ba1818b61272f565b8b6006602002015250505050505050505050505050565b5f613bc45f6001612763565b90505f613bd25f6002612763565b90505f613be05f6003612763565b90505f613bfc613bf188601d6151b0565b61079e89601c6151b0565b90505f613c18613c0d89601e6151b0565b61079e8a601d6151b0565b90505f613c34613c298a601f6151b0565b61079e8b601e6151b0565b90505f613c50613c458b60246151b0565b61079e8c601f6151b0565b905083613c618161077b818b61274a565b9050613c718161077b878a61274a565b9050613c818161077b878961274a565b9050613c928161077b8d60086151b0565b9050613c9e818a61272f565b60e08b01525082613cb38161077b818b61274a565b9050613cc38161077b868a61274a565b9050613cd38161077b868961274a565b9050613ce48161077b8d60086151b0565b9050613cf0818a61272f565b6101008b01525081613d068161077b818b61274a565b9050613d168161077b858a61274a565b9050613d268161077b858961274a565b9050613d378161077b8d60086151b0565b9050613d43818a61272f565b6101208b01525080613d598161077b818b61274a565b9050613d698161077b848a61274a565b9050613d798161077b848961274a565b9050613d8a8161077b8d60086151b0565b9050613d96818a61272f565b610140909a019990995250505050505050505050565b613de56040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b613df084601d6151b0565b8152613dfd84601e6151b0565b6020820152613e0d8460246151b0565b6040820152613e1d8460276151b0565b6060820152613e2d8460266151b0565b6080820152613e3d8460256151b0565b60a08201525f613e4e8560026151b0565b90505f613e5b865f6151b0565b90505f613e6f8460400151855f0151612763565b90505f613e848560200151866020015161272f565b606086015190915086905f90613e9a908061272f565b90505f613eb2613aad89602001518a6060015161272f565b90505f613ed1613eca8a60a001518b6040015161274a565b8a5161274a565b9050613ee0613b55828861272f565b9050613f07613f01613efb613ef58487612763565b88612763565b8461274a565b8361274a565b9050613f2f613f24613f19838761272f565b61077b8f60096151b0565b61077b60018a612763565b6101608c015250505050602085015160808601515f91613f4e9161274a565b90505f613f6c613f6288606001518861272f565b8860200151612763565b90505f613f90613f7c848761272f565b6107806139238b60a001518c5f0151612763565b9050613fb8613fad613fa2838c61272f565b61077b8e60096151b0565b61077b600189612763565b6101808b0152505f9150613fd99050613fd283601161274a565b875161272f565b90505f613fe6838461274a565b9050613ff2818261274a565b90505f61400083600961272f565b90506140296140236138ee61401c8b60a001518c5f015161274a565b8b5161274a565b82612763565b60c089018190525f9061404490613aad90613f19908d61272f565b90506140578b600b60200201518261274a565b6101608c0152505086515f925061407e9150613fd290614077908061274a565b885161274a565b90505f6140be6140998361077b8a5f01518b60a00151612763565b602089015161079e906140ac908061274a565b61077b8b602001518c6080015161274a565b90506140db89600c6020020151610780613aad613f19858d61272f565b89600c602002015250505050505050505050565b614159604051806101e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b83515f90614167908061272f565b90505f61417782875f015161272f565b905061418d61418788601e6151b0565b8261272f565b8084526141a2906107806139238a601d6151b0565b8084526141be906107806141b78a601c6151b0565b895161272f565b8084526141d0906107808960016151b0565b808452602084018190526141e99061079e89601f6151b0565b83526141f9613bf18860246151b0565b608084015261421761420c8860276151b0565b61079e89601f6151b0565b606084015260808301516142309061077b816001612763565b6101c08401526080830151614270906142669061425f9061077b60015f516020615d0b5f395f51905f52615a59565b600161274a565b846060015161272f565b60a084018190526142a6906142989061077b61428d8b60026151b0565b61077b8c60036151b0565b61077b613b558a600a6151b0565b85600e60200201526101c08301516142ca906142989061077b61428d8b60026151b0565b6101e086015282516142ef9061077b6142e48a60026151b0565b61077b8b60036151b0565b6101208401525f61430e61430489601f6151b0565b8560200151612763565b905061431f8161077b836001612763565b60e085015261433261363c8960266151b0565b604085018190526143519061078061434b8b60256151b0565b8661272f565b604085018190526143719061078061436a8b60246151b0565b8a5161272f565b604085015261438e6143848960276151b0565b8560400151612763565b60408501525f6143a2613c298a60266151b0565b90506143f46143cf61363c61425f886080015160015f516020615d0b5f395f51905f5261077b9190615a59565b61077b61425f886040015160015f516020615d0b5f395f51905f5261077b9190615a59565b60c086015260408501516144169061440c908061272f565b8660400151612763565b61010086015260c0850151614448906144349061077b8c60046151b0565b61077b6144428c600a6151b0565b8961272f565b6102008801526101c0850151614467906144349061077b8c60046151b0565b610220880152610100850151614486906144349061077b8c60046151b0565b61024088015260e08501516144a09061077b8b60046151b0565b6101408601526144bf6144b48a60256151b0565b61079e8b601d6151b0565b61016086015260808501516144fd90613c29906144f29061425f9061077b60015f516020615d0b5f395f51905f52615a59565b87610160015161272f565b61018086018190526101208601516101a08701819052614534916107809061077b6145298e60056151b0565b61077b8f60026151b0565b6101a08601819052855161455491906107809061077b6145298e5f6151b0565b6101a0860181905261014086015161456c919061274a565b6101a086018190526145869061077b6144428c600a6151b0565b6101a0860181905287600d6020020152505050505050505050565b6145da6040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b61460f6145f66145eb86601c6151b0565b61077b8760256151b0565b6107806146048760246151b0565b61077b88601d6151b0565b815261465461464961463061462587601c6151b0565b61077b88601f6151b0565b61078061463e88601d6151b0565b61077b89601e6151b0565b61079e8660266151b0565b6040820181905261466990600160441b61272f565b6040820181905261467f9061079e8660276151b0565b604082018190528151614692919061274a565b604082018190526146a89061077b8660056151b0565b604082015280516146bd90600160441b61272f565b8082526146dd906107806146d28760246151b0565b61077b8860256151b0565b808252602082018190526147049061079e6146f987601e6151b0565b61078088601f6151b0565b6020820181905261471a9061077b8660046151b0565b60208201528051606082018190526147379061078086601f6151b0565b6060820181905261475b9061079e6147508760266151b0565b6107808860276151b0565b606082018190526147709061077b865f6151b0565b8160600181815250505f61479961478f8360200151846040015161274a565b836060015161274a565b90506147aa8161077b8760036151b0565b90506147c26147ba8660256151b0565b61400061272f565b608083018190526147d8906107808760246151b0565b608083018190526147eb9061400061272f565b608083018190526148019061078087601e6151b0565b608083018190526148149061400061272f565b6080830181905261482a9061078087601d6151b0565b6080830181905261483d9061400061272f565b608083018190526148539061078087601c6151b0565b608083018190526148699061079e87601f6151b0565b6080830181905261487f9061077b8760056151b0565b60808301526148926147ba8660266151b0565b60a083018190526148a8906107808760256151b0565b60a083018190526148bb9061400061272f565b60a083018190526148d1906107808760246151b0565b60a083018190526148e49061400061272f565b60a083018190526148fa9061078087601f6151b0565b60a0830181905261490d9061400061272f565b60a083018190526149239061078087601e6151b0565b60a083018190526149399061079e8760276151b0565b60a0830181905261494e9061077b875f6151b0565b60a0830181905260808301515f91614966919061274a565b90506149778161077b8860046151b0565b9050614983828261274a565b60c0840181905261499c9061077b613b5589600b6151b0565b60c084018190528560136020020152505050505050565b614a296040518061022001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b614a42614a3785601c6151b0565b6107808660026151b0565b8152614a5d614a5285601d6151b0565b6107808660036151b0565b6020820152614a7b614a7085601e6151b0565b6107808660046151b0565b6040820152614a99614a8e85601f6151b0565b6107808660056151b0565b60608201528051614acb90614ac490614abd90614ab6908061272f565b845161272f565b835161272f565b825161272f565b60808201526020810151614b0990614aff90614af590614aeb908061272f565b846020015161272f565b836020015161272f565b826020015161272f565b60a08201526040810151614b4790614b3d90614b3390614b29908061272f565b846040015161272f565b836040015161272f565b826040015161272f565b60c08201526060810151614b7b90614b7190614b6790614266908061272f565b836060015161272f565b826060015161272f565b60e0820152608081015160a0820151614b94919061274a565b61010082015260c081015160e0820151614bae919061274a565b61012082015260a0810151614bd290614bc7908061274a565b82610120015161274a565b61014082015260e0810151614bf690614beb908061274a565b82610100015161274a565b610160820152610120810151614c0c908061274a565b6101e08201819052614c2d90614c22908061274a565b82610160015161274a565b6101e0820152610100810151614c43908061274a565b6101a08201819052614c6490614c59908061274a565b82610140015161274a565b6101a08201819052610160820151614c7b9161274a565b6101808201526101408101516101e0820151614c97919061274a565b6101c0820152614cab61363c85600c6151b0565b6102008201819052610280840151610180830151614cd6926107809161077b9061079e8a60246151b0565b8360146020020152614d06836015602002015161078083610200015161077b856101a0015161079e8a60256151b0565b8360156020020152614d36836016602002015161078083610200015161077b856101c0015161079e8a60266151b0565b8360166020020152614d66836017602002015161078083610200015161077b856101e0015161079e8a60276151b0565b836017602002015250505050565b614dc66040518061016001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f6040518060800160405280614dfb7f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e7612717565b8152602001614e297f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b612717565b8152602001614e567e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac15612717565b8152602001614e847f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b612717565b90529050614ea1614e9686601c6151b0565b6107808760026151b0565b6101208301819052614ee090614ed590614eca90614ebf908061272f565b85610120015161272f565b84610120015161272f565b83610120015161272f565b8252614eed85601d6151b0565b6020830152614efd85601e6151b0565b6040830152614f0d85601f6151b0565b606083015281516020830151614f359161478f91614f2b919061274a565b846040015161274a565b6080830152614f486138ee86600d6151b0565b6101408301528151614f6990614f5f90835f6114d0565b836080015161274a565b60a0830152614f95846018602002015161078084610140015161077b8660a0015161079e8b60246151b0565b6103008501526020820151614fb090614f5f908360016114d0565b60c0830152614fdc846019602002015161078084610140015161077b8660c0015161079e8b60256151b0565b6103208501526040820151614ff790614f5f908360026114d0565b60e083015261502384601a602002015161078084610140015161077b8660e0015161079e8b60266151b0565b610340850152606082015161503e90614f5f908360036114d0565b61010083015261506c84601b602002015161078084610140015161077b86610100015161079e8b60276151b0565b84601b613775565b815160015b601c8110156150c6576150bc826107808684601c811061509b5761509b615aa6565b6020020151866150ac600187615a59565b601b81106114d0576114d0615aa6565b9150600101615079565b5092915050565b604080518082019091525f8082526020820152604080518082019091525f8082526020820152604051835181526020840151602082015284604082015260408160608360075afa8061511d575f5ffd5b5080518252602080820151908301526060016040529392505050565b604080518082019091525f8082526020820152604080518082019091525f80825260208201526040518451815260208501516020820152835160408201526020840151606082015260408160808360065afa80615194575f5ffd5b5080518252602080820151908301526080016040529392505050565b5f828260288111156151c4576151c4615cd6565b602981106151d4576151d4615aa6565b60200201519392505050565b604051806103e001604052805f81526020015f81526020015f815260200161521960405180604001604052805f81526020015f81525090565b815260200161523960405180604001604052805f81526020015f81525090565b815260200161525960405180604001604052805f81526020015f81525090565b815260200161527960405180604001604052805f81526020015f81525090565b815260200161529960405180604001604052805f81526020015f81525090565b81526020016152b960405180604001604052805f81526020015f81525090565b81526020016152d960405180604001604052805f81526020015f81525090565b81526020016152f960405180604001604052805f81526020015f81525090565b815260200161531960405180604001604052805f81526020015f81525090565b815260200161533960405180604001604052805f81526020015f81525090565b815260200161535960405180604001604052805f81526020015f81525090565b815260200161537960405180604001604052805f81526020015f81525090565b815260200161539960405180604001604052805f81526020015f81525090565b81526020016153b960405180604001604052805f81526020015f81525090565b81526020016153d960405180604001604052805f81526020015f81525090565b81526020016153f960405180604001604052805f81526020015f81525090565b815260200161541960405180604001604052805f81526020015f81525090565b815260200161543960405180604001604052805f81526020015f81525090565b815260200161545960405180604001604052805f81526020015f81525090565b815260200161547960405180604001604052805f81526020015f81525090565b815260200161549960405180604001604052805f81526020015f81525090565b81526020016154b960405180604001604052805f81526020015f81525090565b81526020016154d960405180604001604052805f81526020015f81525090565b81526020016154f960405180604001604052805f81526020015f81525090565b815260200161551960405180604001604052805f81526020015f81525090565b815260200161553960405180604001604052805f81526020015f81525090565b815260200161555960405180604001604052805f81526020015f81525090565b815260200161557960405180604001604052805f81526020015f81525090565b905290565b604051806101e001604052806155926158a3565b81526020016155b260405180604001604052805f81526020015f81525090565b81526020016155d260405180604001604052805f81526020015f81525090565b81526020016155f260405180604001604052805f81526020015f81525090565b815260200161561260405180604001604052805f81526020015f81525090565b815260200161563260405180604001604052805f81526020015f81525090565b815260200161565260405180604001604052805f81526020015f81525090565b815260200161567260405180604001604052805f81526020015f81525090565b815260200161569260405180604001604052805f81526020015f81525090565b815260200161569f6158c2565b81526020016156ac6158f0565b81526020016156b961590f565b81526020016155396157eb565b6040518061010001604052806156f960405180608001604052805f81526020015f81526020015f81526020015f81525090565b81526020016157066157ae565b81526020016157136157eb565b81526020016157206157eb565b81526020015f81526020015f81526020015f81526020015f81525090565b604051806101c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f815260200161577c615948565b8152602001615789615948565b81526020015f81526020015f81526020015f81526020015f8152602001606081525090565b604051806103600160405280601b906020820280368337509192915050565b6040518060a001604052806005906020820280368337509192915050565b604051806103800160405280601c906020820280368337509192915050565b6040518061012001604052806009906020820280368337509192915050565b604051806105400160405280602a906020820280368337509192915050565b60405180606001604052806003906020820280368337509192915050565b6040518061010001604052806008906020820280368337509192915050565b6040518060e001604052806007906020820280368337509192915050565b6040518061020001604052806010906020820280368337509192915050565b604051806103800160405280601c905b6158da615866565b8152602001906001900390816158d25790505090565b6040518061052001604052806029906020820280368337509192915050565b604051806103600160405280601b905b604080518082019091525f808252602082015281526020019060019003908161591f5790505090565b60405180608001604052806004906020820280368337509192915050565b5f5f5f5f60408587031215615979575f5ffd5b843567ffffffffffffffff81111561598f575f5ffd5b8501601f8101871361599f575f5ffd5b803567ffffffffffffffff8111156159b5575f5ffd5b8760208284010111156159c6575f5ffd5b60209182019550935085013567ffffffffffffffff8111156159e6575f5ffd5b8501601f810187136159f6575f5ffd5b803567ffffffffffffffff811115615a0c575f5ffd5b8760208260051b8401011115615a20575f5ffd5b949793965060200194505050565b634e487b7160e01b5f52601160045260245ffd5b808202811582820484141761274457612744615a2e565b8181038181111561274457612744615a2e565b8082018082111561274457612744615a2e565b5f5f85851115615a8d575f5ffd5b83861115615a99575f5ffd5b5050820193919092039150565b634e487b7160e01b5f52603260045260245ffd5b634e487b7160e01b5f52604160045260245ffd5b5f60018201615adf57615adf615a2e565b5060010190565b80356020831015612744575f19602084900360031b1b1692915050565b5f82615b1d57634e487b7160e01b5f52601260045260245ffd5b500690565b5f8183825b6005811015615b46578151835260209283019290910190600101615b27565b50505060a08201905092915050565b5f8183825b6009811015615b79578151835260209283019290910190600101615b5a565b5050506101208201905092915050565b5f8183825b602a811015615bad578151835260209283019290910190600101615b8e565b5050506105408201905092915050565b81515f90829060208501835b82811015615be7578151845260209384019390910190600101615bc9565b509195945050505050565b5f8183825b6003811015615c16578151835260209283019290910190600101615bf7565b50505060608201905092915050565b5f81615c3357615c33615a2e565b505f190190565b5f8183825b6008811015615c5e578151835260209283019290910190600101615c3f565b5050506101008201905092915050565b5f82518060208501845e5f920191825250919050565b5f60208284031215615c94575f5ffd5b81518015158114610333575f5ffd5b5f8183825b6007811015615cc7578151835260209283019290910190600101615ca8565b50505060e08201905092915050565b634e487b7160e01b5f52602160045260245ffdfe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4730644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001a2646970667358221220eeb5ba06059313776a210a02ab545b3d9b62c7056e7bc1a59aa7af942a17f91364736f6c634300081e0033";
3
+ */ export const HonkVerifierBytecode = "0x610100604052348015610010575f5ffd5b506301000000608052601860a0527f2a2b5260a5f8fc50eea08d0543f7f5dc2aa4825beef73ff808ad417326ded21160c05260a760e05260805160a05160c05160e051615cdd6100de5f395f818161018101526107ae01525f61016001525f8181605b01528181609401528181610101015281816101a2015281816108c7015281816109d401528181610a0001528181610a7b015281816112d401528181611374015281816115c30152818161160f0152818161165d015281816116b40152612cdd01525f5050615cdd5ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b3660046158e3565b610054565b604051901515815260200160405180910390f35b5f5f61007f7f000000000000000000000000000000000000000000000000000000000000000061028c565b905061008c8160206159bf565b85146100ee577f0000000000000000000000000000000000000000000000000000000000000000856100bf8360206159bf565b6040516359895a5360e01b81526004810193909352602483019190915260448201526064015b60405180910390fd5b5f6100f761033a565b90505f61012588887f000000000000000000000000000000000000000000000000000000000000000061034f565b90506008826040015161013891906159d6565b85146101575760405163fa06659360e01b815260040160405180910390fd5b5f6101c68288887f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000006106a6565b90506102168787808060200260200160405190810160405280939291908181526020018383602002808284375f920191909152505085518551602081015160409091015191935091506001610758565b8151606001525f61022783836108bf565b905080610247576040516313f8744360e31b815260040160405180910390fd5b5f6102538486856109c0565b905080610273576040516352ec174560e11b815260040160405180910390fd5b81801561027d5750805b9b9a5050505050505050505050565b5f8061029a600260086159bf565b905060016102a96008856159bf565b6102b391906159bf565b6102bd90826159e9565b90506102cb600160296159bf565b6102d590826159e9565b905060026102e46001856159d6565b6102ee91906159bf565b6102f890826159e9565b90506103056001846159bf565b61030f90826159e9565b905061031c6002806159bf565b61032690826159e9565b90506103336008826159e9565b9392505050565b61034261517c565b61034a611786565b905090565b61035761551a565b5f805b60088110156103b9576103868683876103746020836159e9565b92610381939291906159fc565b6120bf565b8351826008811061039957610399615a23565b6020020181815250506020826103af91906159e9565b915060010161035a565b506103dd8582866103cb6040836159e9565b926103d8939291906159fc565b6120d2565b60208301526103ed6040826159e9565b90506104008582866103cb6040836159e9565b60408084019190915261041390826159e9565b90506104268582866103cb6040836159e9565b60608301526104366040826159e9565b90506104498582866103cb6040836159e9565b60c08301526104596040826159e9565b905061046c8582866103cb6040836159e9565b60e083015261047c6040826159e9565b905061048f8582866103cb6040836159e9565b608083015261049f6040826159e9565b90506104b28582866103cb6040836159e9565b6101008301526104c36040826159e9565b90506104d68582866103cb6040836159e9565b60a08301526104e66040826159e9565b90505f5b83811015610564575f5b600881101561055b5761050e8784886103746020836159e9565b84610120015183601c811061052557610525615a23565b6020020151826008811061053b5761053b615a23565b60200201818152505060208361055191906159e9565b92506001016104f4565b506001016104ea565b505f5b60298110156105b8576105818683876103746020836159e9565b836101400151826029811061059857610598615a23565b6020020181815250506020826105ae91906159e9565b9150600101610567565b505f5b6105c66001856159d6565b81101561060f576105de8683876103cb6040836159e9565b83610160015182601b81106105f5576105f5615a23565b60200201526106056040836159e9565b91506001016105bb565b505f5b838110156106625761062b8683876103746020836159e9565b83610180015182601c811061064257610642615a23565b60200201818152505060208261065891906159e9565b9150600101610612565b506106748582866103cb6040836159e9565b6101a08301526106856040826159e9565b90506106988582866103cb6040836159e9565b6101c0830152509392505050565b6106ae615662565b5f6106bd88888888888661215f565b90835290506106cc81896121c2565b602084019190915290506106e081846122b1565b604084019190915290506106f5888285612340565b606084019190915290506107098882612414565b6080840191909152905061071e88828561249f565b60a08401919091529050610733888285612614565b60c0840191909152905061074788826126d9565b5060e0830152509695505050505050565b5f60018082610785866107808961077b6107768a63100000006159e9565b612716565b61272e565b612749565b90505f6107a38761079e8a61077b6107768b60016159e9565b612762565b90505f5b6107d260087f00000000000000000000000000000000000000000000000000000000000000006159d6565b81101561083f575f6107fc8c83815181106107ef576107ef615a23565b602002602001015161278a565b905061080c8661077b8684612749565b955061081c8561077b8584612749565b9450610828848b612749565b9350610834838b612762565b9250506001016107a7565b505f5b60088110156108a6575f8a826008811061085e5761085e615a23565b602002015190506108738661077b8684612749565b95506108838561077b8584612749565b945061088f848b612749565b935061089b838b612762565b925050600101610842565b506108b1848461279f565b9a9950505050505050505050565b5f806001815b7f0000000000000000000000000000000000000000000000000000000000000000811015610996575f86610120015182601c811061090557610905615a23565b602002015190505f61091782866127ad565b905080610937576040516313f8744360e31b815260040160405180910390fd5b5f876060015184601c811061094e5761094e615a23565b6020020151905061095f83826127cd565b9550610986886040015185601c811061097a5761097a615a23565b6020020151868361297c565b94505050508060010190506108c5565b505f6109b0866101400151865f01518760200151856129a7565b90508281145b9695505050505050565b5f6109c96156da565b5f6109f88460a001517f0000000000000000000000000000000000000000000000000000000000000000612a20565b90505f610a267f000000000000000000000000000000000000000000000000000000000000000060246159e9565b610a319060026159e9565b67ffffffffffffffff811115610a4957610a49615a37565b604051908082528060200260200182016040528015610a72578160200160208202803683370190505b5090505f610aa17f000000000000000000000000000000000000000000000000000000000000000060246159e9565b610aac9060026159e9565b67ffffffffffffffff811115610ac457610ac4615a37565b604051908082528060200260200182016040528015610b0857816020015b604080518082019091525f8082526020820152815260200190600190039081610ae25790505b509050610b3a610b358760e00151855f81518110610b2857610b28615a23565b6020026020010151612762565b612aea565b84610120018181525050610b6e610b358760e00151855f81518110610b6157610b61615a23565b6020026020010151612749565b610140850181905261012085015160c0880151610b8f92610780919061272e565b845260a0860151610bbf90610ba390612aea565b61077b86610120015161079e8a60c0015189610140015161272e565b6020850152815160019083905f90610bd957610bd9615a23565b602002602001018181525050876101a00151815f81518110610bfd57610bfd615a23565b6020908102919091010152600160a08501525f60c085015283515f516020615c885f395f51905f5203604085015260208401515f516020615c885f395f51905f5203606085015260015b60248111610cea57610c6185604001518660a0015161272e565b838281518110610c7357610c73615a23565b602002602001018181525050610cbc8560c001516107808b6101400151600185610c9d91906159d6565b60298110610cad57610cad615a23565b60200201518860a0015161272e565b60c086015260a08501516080880151610cd5919061272e565b60a0860152610ce381615a4b565b9050610c47565b505f5b6005811015610db8575f610d02601d836159e9565b90505f610d106024846159e9565b9050610d41858381518110610d2757610d27615a23565b602002602001015161078089606001518a60a0015161272e565b858381518110610d5357610d53615a23565b602002602001018181525050610d908760c001516107808d61014001518460298110610d8157610d81615a23565b60200201518a60a0015161272e565b60c088015260a087015160808a0151610da9919061272e565b60a08801525050600101610ced565b50866060015181600181518110610dd157610dd1615a23565b6020026020010181905250866080015181600281518110610df457610df4615a23565b60200260200101819052508660a0015181600381518110610e1757610e17615a23565b60200260200101819052508660c0015181600481518110610e3a57610e3a615a23565b60200260200101819052508660e0015181600581518110610e5d57610e5d615a23565b602002602001018190525086610100015181600681518110610e8157610e81615a23565b602002602001018190525086610120015181600781518110610ea557610ea5615a23565b602002602001018190525086610140015181600881518110610ec957610ec9615a23565b602002602001018190525086610160015181600981518110610eed57610eed615a23565b6020026020010181905250866101c0015181600a81518110610f1157610f11615a23565b602002602001018190525086610180015181600b81518110610f3557610f35615a23565b6020026020010181905250866101a0015181600c81518110610f5957610f59615a23565b6020026020010181905250866101e0015181600d81518110610f7d57610f7d615a23565b602002602001018190525086610200015181600e81518110610fa157610fa1615a23565b602002602001018190525086610220015181600f81518110610fc557610fc5615a23565b602002602001018190525086610240015181601081518110610fe957610fe9615a23565b60200260200101819052508661026001518160118151811061100d5761100d615a23565b60200260200101819052508661028001518160128151811061103157611031615a23565b6020026020010181905250866102a001518160138151811061105557611055615a23565b6020026020010181905250866102c001518160148151811061107957611079615a23565b6020026020010181905250866102e001518160158151811061109d5761109d615a23565b6020026020010181905250866103000151816016815181106110c1576110c1615a23565b6020026020010181905250866103200151816017815181106110e5576110e5615a23565b60200260200101819052508661034001518160188151811061110957611109615a23565b60200260200101819052508661036001518160198151811061112d5761112d615a23565b602002602001018190525086610380015181601a8151811061115157611151615a23565b6020026020010181905250866103a0015181601b8151811061117557611175615a23565b6020026020010181905250866103c0015181601c8151811061119957611199615a23565b6020026020010181905250876020015181601d815181106111bc576111bc615a23565b6020026020010181905250876040015181601e815181106111df576111df615a23565b6020026020010181905250876060015181601f8151811061120257611202615a23565b602002602001018190525087608001518160208151811061122557611225615a23565b60200260200101819052508760a001518160218151811061124857611248615a23565b60200260200101819052508761010001518160228151811061126c5761126c615a23565b60200260200101819052508760c001518160238151811061128f5761128f615a23565b60200260200101819052508760e00151816024815181106112b2576112b2615a23565b60200260200101819052505f6112f887606001518660c001518b6101800151877f0000000000000000000000000000000000000000000000000000000000000000612b5a565b9050611322815f8151811061130f5761130f615a23565b602002602001015186610120015161272e565b608086018190526101808a01515160c0890151611353929161078091611348919061272e565b88610140015161272e565b608086015260c087015161136690612cb9565b60a08601525f5b61139860017f00000000000000000000000000000000000000000000000000000000000000006159d6565b8110156115a7576113c8610b358960e00151878460016113b891906159e9565b81518110610b2857610b28615a23565b61012087015260e08801516113f790610b3590876113e78560016159e9565b81518110610b6157610b61615a23565b61014087015260a0860151610120870151611412919061272e565b61016087015260a086015160c089015161143a9161142f9161272e565b87610140015161272e565b610180870181905261146f905f516020615c885f395f51905f52036101608801515f516020615c885f395f51905f5203612749565b848261147d602460016159e9565b61148791906159e9565b8151811061149757611497615a23565b6020026020010181815250505f6114da8761018001518c61018001518460016114c091906159e9565b601c81106114d0576114d0615a23565b602002015161272e565b905061151481610780896101600151868660016114f791906159e9565b8151811061150757611507615a23565b602002602001015161272e565b9050611524876080015182612749565b608088015260a087015160c08a015161154a916115409161272e565b8a60c0015161272e565b60a08801526101608b015182601b811061156657611566615a23565b60200201518483611579602460016159e9565b61158391906159e9565b8151811061159357611593615a23565b60209081029190910101525060010161136d565b50604080518082019091526001815260026020820152826115e97f000000000000000000000000000000000000000000000000000000000000000060246159e9565b815181106115f9576115f9615a23565b60209081029190910101526080850151836116357f000000000000000000000000000000000000000000000000000000000000000060246159e9565b8151811061164557611645615a23565b60209081029190910101526101c089015180836116837f000000000000000000000000000000000000000000000000000000000000000060246159e9565b61168e9060016159e9565b8151811061169e5761169e615a23565b602090810291909101015260e0880151846116da7f000000000000000000000000000000000000000000000000000000000000000060246159e9565b6116e59060016159e9565b815181106116f5576116f5615a23565b6020026020010181815250505f61170c8486612cc4565b90505f61171883612ddf565b90505f6117298d5f01518484612e30565b90505f5f6117398f5f0151612ea6565b9150915061174682612f0f565b61174f81612f0f565b61175a858385612fb2565b9450611767848285612fb2565b93506117738585612fee565b9f9e505050505050505050505050505050565b61178e61517c565b50604080516103e08101825263010000008152601860208083019190915260a782840152825180840184527f18c6087a838ade00055af96167c66ed82bd61083e95a5698d02761ffcf18677881527f1fd017276fd7706340f47f878241ad75b974ec211dd6aebb5e5f7d40f4033859818301526060830152825180840184527f18228be8b71b6267946fbc462cca4088fd3c3b5befd50aab6de0140aee0292af81527f1d5a8e23918e6f5930dedeeac9f3269683238877bceb9d3860fd3e2f52b56035818301526080830152825180840184527f140d09360a71c7a29f191bcb60e3f62e054b03a33644871a06ef8cb26c5ffe5681527f0ce20cdfec8ce2c91d98c163807c9ca2a5c1315b1d0071d9c6e3c57520edc6f58183015260a0830152825180840184527f2f5b1dbafd4c9d7435b5c8f7b19b6eac214fab5a025a9774663aa1398866ba9981527f10c7d7ef97c4d196f740e9d6dab60736d2d99b2cfa5342da80f7ed5a22c9236c8183015260c0830152825180840184527f1aefbc54dd417853702cdc27106d13a6f9b3bb7ab7384f438949934ce9843c7681527f1f3b3f51541a29f12035776a9d2ccf07b2e0a0891a95ed3ff2cf7f2c57dc73238183015260e0830152825180840184527f188e1c7cfa6ebe53dfab59fa057f5c6315995ed43c5b91637e31c5f0ab44334e81527f0adde4d3b509c249dcb37cbb8bf2dd53393a9ddedc3ada8131e84bc53b4a29f581830152610100830152825180840184527f0d5cd90aceba65851b2ed0af6db9a5d741f62886d05381d516916a3e1b72cbf681527f08207020e5d8f9360f392c108796ee1b6b58c6cd8a259a85ac8c76ac30fcac4581830152610120830152825180840184527f27b4841b6b4aa22edf2c98eda49a04ac953d6127eeff64ea5d1ef8beae3d6a5081527f07356cdfd24d7f59c69ae104fa59f954a302635ba625738d6fae8fbc1d3ddbfa81830152610140830152825180840184527f1c119291fc3ce86c9ce2a0c8347508e1e04fb13e74f536addfe0d53844bdaaa281527f1c260b4b7cee1aae9f52e83829b2b3be9e100fa1a67bece4bab790cfb526ea3e81830152610160830152825180840184527f15c05b909cbeee858ccfacf06e010370bfdb32968a95df9198dca438b045e50281527f03b87e8fb7ef51593fe5b0ba64f9b21b2210a738bada629f9ba8fe384de9eaf781830152610180830152825180840184527d6983c28806afaf1f1a258a7c231734f11fd8647f5c2971d41d779f359bcb81527f03f921f76c2cc4695d6ff07f92c0eea9b35cbb45da3766dee91d7497ffcb33a5818301526101a0830152825180840184527f17fe8cdf110f8af822620031f2645657cfa813d1dbf1bbd6b9b2137836f26d8d81527f13dc656b951ebda7907af6f461f99b181db140fced5bfe1a387a7cf17b28617a818301526101c0830152825180840184527f2c989a2ec3d4c85362b7c455765374888cfd1388e5cce42103b640e1f30b082a81527f15a122d1fe538855ec57fed6bffdbf17bfc8596b5bec698111b3b14c13efa801818301526101e0830152825180840184527f1f8532bb3e82f9722893a0912aa28d8cdeff200e140294782fc4a140ae8daa2a81527f2dfba347dcfde136ba7af67c81bbde662154a025867020a539b2629e82e696e381830152610200830152825180840184527f2feeed83c247c4a15f4b38e5752a6063fa522cdd12f3cbff22f28af3c578f5be81527f1fa005246305a8ce09021e77cfaedab8804398dd098a585613aa3b88a95c282d81830152610220830152825180840184527f0583543b354291c8547657758a197df52ae28c99f8aa23ab94754578c91ee41681527f1a2e10eb7fc5df171390a07148db02f6c50ab73b197ad7995321172cfbb2a1e281830152610240830152825180840184527f128686dedb77c7cb509be16f4444b4e6e6677d29d7688624e75b1942c21639b981527f2dd7e75919a9430b73f1afd7476d7e85b715561f4638d763be86eb9f6d414d0d81830152610260830152825180840184527f3011371cf9af8da17a99bac9400dc8130d5c8e80bb049dc0f68a3dcd71e22db881527f0ef5ef63ff733810bb5f3d0b29bc709eb7ca91765c2115ef386e3bf9967199e881830152610280830152825180840184527f10448f11a3ee571b99b76b75e5478f5b93329b5d09db94c3386aeca4ae60da7c81527f18dfb2765543a9688d8594c9a38e12651fb0e295bb563c70d3d182acea1fb9ee818301526102a0830152825180840184527f0d9c20cd67c25d1cc52be765d9a6d1e6ebbef0b223663751f64b625478fc3f6981527e5dd2bde3a26d831270b56a052455487206c7dde308b9174490b9d16464548d818301526102c0830152825180840184527f2f9836beaef073001c53cde434646295bbf40f36ebef0ff567b4a9ccfc5e053781527f0d212f43681e6ec1f75be9c9248255d9162123989da78b1d6796d9bf8327e350818301526102e0830152825180840184527f26a73f9cd40e4c9e9be3c882b8756e3da294e72da98bc21a2be3ae138235725781527f259cc202dc998d7ee2c13011de1e60e343deecdc2fa366de9802bd503661e4d581830152610300830152825180840184527f2194d92617bbb3ba3d9e53f4f13c5c7c6fc5ae0c56f06e0a35747f24625e576381527f11ca88979a66ada092bb26e2b64b8602eb63f6e2fc21862f6fefead2978de7e081830152610320830152825180840184527f1d346dd159688f85b77717f8197777c6ced8daf349335d74908736241f5f332881527f10e952d77959f4aa6fe9cb7222d9901d06ddfeea51240c79980d4daac814444381830152610340830152825180840184527f20b8784b739f9968d269d3db4e7e7e7e666acd5804af5ff4a54f8dfbea8d257281527f21ad5edf078583d5e29052c50b4e8d46067ddaae2aa2345c15a755074d932f9581830152610360830152825180840184527f062b31b3719d79c253d59707efcc41556e43d9f4f122ba79d3484e023fb4da7d81527f283eb52c07506637e09fb73d7875ada840d8e4c75295a90dc312b4d2571c52c38183015261038083015282518084018452600181526002818301526103a083015282518084019093527f274625a785b4433d3f7408db292a347f3517045493f185c0ccc07cfef5b652a883527f138082eaffbf47d522f5898d4445843724a51849296633009931f6da097a9607908301526103c081019190915290565b5f6103336120cd8385615a63565b61278a565b604080518082019091525f808252602082015260408051808201909152805f516020615c685f395f51905f5261210b60205f87896159fc565b61211491615a63565b61211e9190615a80565b81526020908101905f516020615c685f395f51905f52906121439060409087896159fc565b61214c91615a63565b6121569190615a80565b90529392505050565b61218660405180608001604052805f81526020015f81526020015f81526020015f81525090565b5f61219488888888886131e2565b90835292506121a383896134b1565b6040850191909152602084019190915291989197509095505050505050565b6121ca61574a565b5f6121d3615769565b8481526101008401805151602080840191909152905181015160408084019190915260a086018051516060850152518201516080840152516122369161221b91849101615a9f565b6040516020818303038152906040528051906020012061278a565b91505f61224283613538565b50808552905060015b6122576001601c6159d6565b8110156122a7576122888561226d6001846159d6565b601b811061227d5761227d615a23565b60200201518361272e565b8582601b811061229a5761229a615a23565b602002015260010161224b565b5050509250929050565b6122b9615787565b5f6122d08460405160200161221b91815260200190565b93506122db84613538565b50825260015b8381101561233857612319836122f86001846159d6565b601c811061230857612308615a23565b6020020151846114c06001856159d6565b8382601c811061232b5761232b615a23565b60200201526001016122e1565b509093915050565b612348615787565b5f805b8381101561240a5761235b6157a6565b8581525f5b60088110156123c45787610120015183601c811061238057612380615a23565b6020020151816008811061239657612396615a23565b6020020151826123a78360016159e9565b600981106123b7576123b7615a23565b6020020152600101612360565b506123d98160405160200161221b9190615ad2565b95505f6123e587613538565b8685601c81106123f7576123f7615a23565b602002019190915250505060010161234b565b5090949293505050565b5f5f61241e6157c5565b8381525f5b602981101561247157856101400151816029811061244357612443615a23565b6020020151826124548360016159e9565b602a811061246457612464615a23565b6020020152600101612423565b506124868160405160200161221b9190615b06565b91505f61249283613538565b5096929550919350505050565b5f80806124ad6001856159d6565b6124b89060026159bf565b6124c39060016159e9565b67ffffffffffffffff8111156124db576124db615a37565b604051908082528060200260200182016040528015612504578160200160208202803683370190505b50905084815f8151811061251a5761251a615a23565b60209081029190910101525f5b6125326001866159d6565b8110156125e55786610160015181601b811061255057612550615a23565b602002015151826125628360026159bf565b61256d9060016159e9565b8151811061257d5761257d615a23565b60200260200101818152505086610160015181601b81106125a0576125a0615a23565b602002015160200151828260026125b791906159bf565b6125c29060026159e9565b815181106125d2576125d2615a23565b6020908102919091010152600101612527565b506125fa8160405160200161221b9190615b3a565b91505f61260683613538565b509792965091945050505050565b5f80806126228460016159e9565b67ffffffffffffffff81111561263a5761263a615a37565b604051908082528060200260200182016040528015612663578160200160208202803683370190505b50905084815f8151811061267957612679615a23565b60209081029190910101525f5b848110156125e55786610180015181601c81106126a5576126a5615a23565b6020020151826126b68360016159e9565b815181106126c6576126c6615a23565b6020908102919091010152600101612686565b5f5f6126e36157e4565b8381526101a085018051516020808401919091529051810151604080840191909152516124869161221b91849101615b6f565b5f5f516020615c885f395f51905f52825b0692915050565b5f5f516020615c885f395f51905f5282840990505b92915050565b5f5f516020615c885f395f51905f528284089392505050565b5f5f516020615c885f395f51905f52825f516020615c885f395f51905f520384089392505050565b5f5f516020615c885f395f51905f5282612727565b5f6103338361077b84612aea565b815160208301515f9182916127c29190612749565b929092149392505050565b60408051610100810182527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec5181526102d060208201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff1191810191909152609060608201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71608082015260f060a08201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd3160c08201526113b060e08201525f906001825b60088110156128b4576128aa8261077b8784612762565b9150600101612893565b506128bd615802565b5f5b600881101561291e575f8482600881106128db576128db615a23565b602002015190506128f08161077b8985612762565b90506128fb81612aea565b90508083836008811061291057612910615a23565b6020020152506001016128bf565b505f5b6008811015612971575f87826008811061293d5761293d615a23565b6020020151905061295a818484600881106114d0576114d0615a23565b90506129668682612749565b955050600101612921565b506109b6848361272e565b5f5f61299260016107808561077b896001612762565b905061299e848261272e565b95945050505050565b5f6129b0615787565b6129bb868285613571565b6129c78686838661371d565b6129d386868386613905565b6129de868285613b54565b6129e9868285613d48565b6129f58686838661408b565b612a0086828561453d565b612a0b86828561494f565b612a16868285614d10565b6109b68185615010565b60605f8267ffffffffffffffff811115612a3c57612a3c615a37565b604051908082528060200260200182016040528015612a65578160200160208202803683370190505b50905083815f81518110612a7b57612a7b615a23565b602090810291909101015260015b83811015612ae257612abd82612aa06001846159d6565b81518110612ab057612ab0615a23565b6020026020010151612cb9565b828281518110612acf57612acf615a23565b6020908102919091010152600101612a89565b509392505050565b5f5f8290505f604051602081526020808201526020604082015282606082015260025f516020615c885f395f51905f520360808201525f516020615c885f395f51905f5260a082015260205f60c08360055afa80612b46575f5ffd5b505f51608091909101604052949350505050565b60605f8267ffffffffffffffff811115612b7657612b76615a37565b604051908082528060200260200182016040528015612b9f578160200160208202803683370190505b509050825b8015612cae575f85612bb76001846159d6565b81518110612bc757612bc7615a23565b602002602001015190505f89600184612be091906159d6565b601c8110612bf057612bf0615a23565b602002015190505f612c4b612c0f612c08858d61272e565b600261272e565b61079e8b612c1e6001896159d6565b601c8110612c2e57612c2e615a23565b602002015161077b612c458861077b60018a612762565b87612762565b9050612c6c8161077b610b35612c668761077b600189612762565b86612749565b99508990508085612c7e6001876159d6565b81518110612c8e57612c8e615a23565b60200260200101818152505050505080612ca790615ba2565b9050612ba4565b509695505050505050565b5f612743828361272e565b604080518082019091525f80825260208201525f612d037f000000000000000000000000000000000000000000000000000000000000000060246159e9565b612d0e9060026159e9565b90505f5b81811015612d4457612d3c858281518110612d2f57612d2f615a23565b6020026020010151612f0f565b600101612d12565b50604051600190815b60018401811015612da95760208102870160208202870181515160408501528151602001516060850152805160808501525050604080830160606040850160075afa8316925060408260808460065afa90921691600101612d4d565b5080518452602081015160208501525080612dd7576040516352ec174560e11b815260040160405180910390fd5b505092915050565b604080518082019091525f80825260208201525f516020615c685f395f51905f5282602001515f516020615c685f395f51905f52612e1d91906159d6565b612e279190615a80565b60208301525090565b5f5f5f612e3c86612ea6565b91509150612e48615802565b82518152602080840151818301528251604080840191909152838201516060840152875160808401528782015160a0840152865160c08401528682015160e084015251612e9b9161221b91849101615bb7565b979650505050505050565b6040805180820182525f808252602080830182815284518086018652838152808301938452865192870151608890811b9093178552948601516060870151831b179052608085015160a0860151821b17845260c085015160e090950151901b9093179092529091565b805160208201515f5f516020615c685f395f51905f528380095f516020615c685f395f51905f5260035f516020615c685f395f51905f52838709085f516020615c685f395f51905f528485091491505080612fac5760405162461bcd60e51b815260206004820152601960248201527f706f696e74206973206e6f74206f6e207468652063757276650000000000000060448201526064016100e5565b50505050565b604080518082019091525f8082526020820152604080518082019091525f8082526020820152612fe28386615069565b905061299e81856150d5565b81516020808401518351848301516040805194850195909552938301919091527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c260608301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60808301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60a08301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60c083015260e08201526101008101919091527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c16101208201527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b06101408201527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe46101608201527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101808201525f9081906101a00160405160208183030381529060405290505f5f60086001600160a01b0316836040516131849190615beb565b5f60405180830381855afa9150503d805f81146131bc576040519150601f19603f3d011682016040523d82523d5f602084013e6131c1565b606091505b50915091508180156109b65750808060200190518101906109b69190615c01565b5f80806131f08460016159e9565b6131fb9060066159e9565b67ffffffffffffffff81111561321357613213615a37565b60405190808252806020026020018201604052801561323c578160200160208202803683370190505b509050845f1b815f8151811061325457613254615a23565b60209081029190910101525f5b61326c6008866159d6565b8110156132bd5787878281811061328557613285615a23565b905060200201358282600161329a91906159e9565b815181106132aa576132aa615a23565b6020908102919091010152600101613261565b505f5b600881101561332e5788516132e89082600881106132e0576132e0615a23565b602002015190565b828260086132f78960016159e9565b61330191906159d6565b61330b91906159e9565b8151811061331b5761331b615a23565b60209081029190910101526001016132c0565b50602088015151816133418660016159e9565b8151811061335157613351615a23565b602090810291909101810191909152888101510151816133728660016159e9565b61337d9060016159e9565b8151811061338d5761338d615a23565b6020908102919091010152604088015151816133aa8660016159e9565b6133b59060026159e9565b815181106133c5576133c5615a23565b60209081029190910181019190915260408901510151816133e78660016159e9565b6133f29060036159e9565b8151811061340257613402615a23565b60209081029190910101526060880151518161341f8660016159e9565b61342a9060046159e9565b8151811061343a5761343a615a23565b602090810291909101810191909152606089015101518161345c8660016159e9565b6134679060056159e9565b8151811061347757613477615a23565b6020026020010181815250506134978160405160200161221b9190615b3a565b91506134a282613538565b50989197509095505050505050565b5f5f5f6134bc615821565b85815260c0858101805151602080850191909152905181015160408085019190915260e08801805151606086015251820151608080860191909152880180515160a08601525182015192840192909252905161351e9161221b91849101615c20565b915061352982613538565b90979096509194509092505050565b5f80826f7fffffffffffffffffffffffffffffff8116607f82901c61355c8261278a565b94506135678161278a565b9350505050915091565b5f61357d84600761514c565b90507f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f80000005f6135de6135d86135b2856003612762565b61077b6135cd6135c28b5f61514c565b61077b8c601d61514c565b61077b8b601c61514c565b8361272e565b905061365f61365461363b613622613609856107806135fe8d600261514c565b61077b8e601c61514c565b6107806136178c600361514c565b61077b8d601d61514c565b6107806136308b600461514c565b61077b8c601e61514c565b6107806136498a600561514c565b61077b8b601f61514c565b61078088600161514c565b905061367e81610780613673866001612762565b61077b8a602761514c565b905061368a818461272e565b9050613696818561272e565b8552505f90506136d06136c66136bb6136b088601c61514c565b61078089601f61514c565b61079e88602461514c565b610780875f61514c565b90506136e18161077b846002612762565b90506136f28161077b846001612762565b90506136fe818361272e565b905061370a818461272e565b9050808460015b60200201525050505050565b5f5f5f61375361374961373189601c61514c565b61078061373f8b601261514c565b8a6020015161272e565b8760400151612749565b905061378c8161077b61378261376a8b601d61514c565b6107806137788d601361514c565b8c6020015161272e565b8960400151612749565b90506137b18161077b6137826137a38b601e61514c565b6107806137788d601461514c565b90506137d68161077b6137826137c88b601f61514c565b6107806137788d601561514c565b92505f90506137fa6137496137ec89601c61514c565b61078061373f8b600e61514c565b905061381f8161077b6137826138118b601d61514c565b6107806137788d600f61514c565b90506138448161077b6137826138368b601e61514c565b6107806137788d601061514c565b90506138698161077b61378261385b8b601f61514c565b6107806137788d601161514c565b91505f905061389061388a61387f89602061514c565b6107808a601a61514c565b8461272e565b90506138c58161079e6138bf6138a78b602861514c565b6107806138b58d601b61514c565b8c6060015161272e565b8561272e565b90506138d1818561272e565b6040860152505f6138f46138bf6138e989601b61514c565b61077b8a602861514c565b606090950194909452505050505050565b5f5f5f61391a8660200151876020015161272e565b905061397e61396361395561393d6139338b601661514c565b8a60400151612749565b61078061394b8c601761514c565b8b6020015161272e565b6107806138bf8b601861514c565b6107806139746138bf8b601961514c565b896020015161272e565b9250505f6139948660200151876020015161272e565b90505f6139c16139a86137828a601c61514c565b6107806139b68b600361514c565b61077b8c602461514c565b90505f6139ea6139d28a601d61514c565b6107806139df8c5f61514c565b61077b8d602561514c565b90505f613a146139fb8b601e61514c565b610780613a098d600161514c565b61077b8e602661514c565b9050613a4f613a38613a2e85610780868e6020015161272e565b610780848861272e565b610780613778613a498e600461514c565b8861272e565b9450505050505f613a6461388a88602161514c565b90505f613a7561388a89602161514c565b90505f613aad613a94613a898b602361514c565b6107808c600661514c565b61079e613aa28c602361514c565b61077b8d600661514c565b90505f613ad1613acb613ac0878961272e565b61077b8d602161514c565b83612762565b9050613add818861272e565b90505f613b05613af7613af18d600661514c565b8761272e565b61079e613af18e602261514c565b90505f613b138c602361514c565b90505f613b23613acb838461272e565b60808c0185905260a08c018490529050613b3d818b61272e565b8b6006602002015250505050505050505050505050565b5f613b605f6001612762565b90505f613b6e5f6002612762565b90505f613b7c5f6003612762565b90505f613b98613b8d88601d61514c565b61079e89601c61514c565b90505f613bb4613ba989601e61514c565b61079e8a601d61514c565b90505f613bd0613bc58a601f61514c565b61079e8b601e61514c565b90505f613bec613be18b602461514c565b61079e8c601f61514c565b905083613bfd8161077b818b612749565b9050613c0d8161077b878a612749565b9050613c1d8161077b8789612749565b9050613c2e8161077b8d600861514c565b9050613c3a818a61272e565b60e08b01525082613c4f8161077b818b612749565b9050613c5f8161077b868a612749565b9050613c6f8161077b8689612749565b9050613c808161077b8d600861514c565b9050613c8c818a61272e565b6101008b01525081613ca28161077b818b612749565b9050613cb28161077b858a612749565b9050613cc28161077b8589612749565b9050613cd38161077b8d600861514c565b9050613cdf818a61272e565b6101208b01525080613cf58161077b818b612749565b9050613d058161077b848a612749565b9050613d158161077b8489612749565b9050613d268161077b8d600861514c565b9050613d32818a61272e565b610140909a019990995250505050505050505050565b613d816040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b613d8c84601d61514c565b8152613d9984601e61514c565b6020820152613da984602461514c565b6040820152613db984602761514c565b6060820152613dc984602661514c565b6080820152613dd984602561514c565b60a08201525f613dea85600261514c565b90505f613df7865f61514c565b90505f613e0b8460400151855f0151612762565b90505f613e208560200151866020015161272e565b606086015190915086905f90613e36908061272e565b90505f613e4e613a4989602001518a6060015161272e565b90505f613e6d613e668a60a001518b60400151612749565b8a51612749565b9050613e7c613af1828861272e565b9050613ea3613e9d613e97613e918487612762565b88612762565b84612749565b83612749565b9050613ecb613ec0613eb5838761272e565b61077b8f600961514c565b61077b60018a612762565b6101608c015250505050602085015160808601515f91613eea91612749565b90505f613f08613efe88606001518861272e565b8860200151612762565b90505f613f2c613f18848761272e565b6107806138bf8b60a001518c5f0151612762565b9050613f54613f49613f3e838c61272e565b61077b8e600961514c565b61077b600189612762565b6101808b0152505f9150613f759050613f6e836011612749565b875161272e565b90505f613f828384612749565b9050613f8e8182612749565b90505f613f9c83600961272e565b9050613fc5613fbf61388a613fb88b60a001518c5f0151612749565b8b51612749565b82612762565b60c089018190525f90613fe090613a4990613eb5908d61272e565b9050613ff38b600b602002015182612749565b6101608c0152505086515f925061401a9150613f6e906140139080612749565b8851612749565b90505f61405a6140358361077b8a5f01518b60a00151612762565b602089015161079e906140489080612749565b61077b8b602001518c60800151612749565b905061407789600c6020020151610780613a49613eb5858d61272e565b89600c602002015250505050505050505050565b6140f5604051806101e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b83515f90614103908061272e565b90505f61411382875f015161272e565b905061412961412388601e61514c565b8261272e565b80845261413e906107806138bf8a601d61514c565b80845261415a906107806141538a601c61514c565b895161272e565b80845261416c9061078089600161514c565b808452602084018190526141859061079e89601f61514c565b8352614195613b8d88602461514c565b60808401526141b36141a888602761514c565b61079e89601f61514c565b606084015260808301516141cc9061077b816001612762565b6101c0840152608083015161420c90614202906141fb9061077b60015f516020615c885f395f51905f526159d6565b6001612749565b846060015161272e565b60a08401819052614242906142349061077b6142298b600261514c565b61077b8c600361514c565b61077b613af18a600a61514c565b85600e60200201526101c0830151614266906142349061077b6142298b600261514c565b6101e0860152825161428b9061077b6142808a600261514c565b61077b8b600361514c565b6101208401525f6142aa6142a089601f61514c565b8560200151612762565b90506142bb8161077b836001612762565b60e08501526142ce6135d889602661514c565b604085018190526142ed906107806142e78b602561514c565b8661272e565b6040850181905261430d906107806143068b602461514c565b8a5161272e565b604085015261432a61432089602761514c565b8560400151612762565b60408501525f61433e613bc58a602661514c565b905061439061436b6135d86141fb886080015160015f516020615c885f395f51905f5261077b91906159d6565b61077b6141fb886040015160015f516020615c885f395f51905f5261077b91906159d6565b60c086015260408501516143b2906143a8908061272e565b8660400151612762565b61010086015260c08501516143e4906143d09061077b8c600461514c565b61077b6143de8c600a61514c565b8961272e565b6102008801526101c0850151614403906143d09061077b8c600461514c565b610220880152610100850151614422906143d09061077b8c600461514c565b61024088015260e085015161443c9061077b8b600461514c565b61014086015261445b6144508a602561514c565b61079e8b601d61514c565b610160860152608085015161449990613bc59061448e906141fb9061077b60015f516020615c885f395f51905f526159d6565b87610160015161272e565b61018086018190526101208601516101a087018190526144d0916107809061077b6144c58e600561514c565b61077b8f600261514c565b6101a0860181905285516144f091906107809061077b6144c58e5f61514c565b6101a086018190526101408601516145089190612749565b6101a086018190526145229061077b6143de8c600a61514c565b6101a0860181905287600d6020020152505050505050505050565b6145766040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6145ab61459261458786601c61514c565b61077b87602561514c565b6107806145a087602461514c565b61077b88601d61514c565b81526145f06145e56145cc6145c187601c61514c565b61077b88601f61514c565b6107806145da88601d61514c565b61077b89601e61514c565b61079e86602661514c565b6040820181905261460590600160441b61272e565b6040820181905261461b9061079e86602761514c565b60408201819052815161462e9190612749565b604082018190526146449061077b86600561514c565b6040820152805161465990600160441b61272e565b8082526146799061078061466e87602461514c565b61077b88602561514c565b808252602082018190526146a09061079e61469587601e61514c565b61078088601f61514c565b602082018190526146b69061077b86600461514c565b60208201528051606082018190526146d39061078086601f61514c565b606082018190526146f79061079e6146ec87602661514c565b61078088602761514c565b6060820181905261470c9061077b865f61514c565b8160600181815250505f61473561472b83602001518460400151612749565b8360600151612749565b90506147468161077b87600361514c565b905061475e61475686602561514c565b61400061272e565b608083018190526147749061078087602461514c565b608083018190526147879061400061272e565b6080830181905261479d9061078087601e61514c565b608083018190526147b09061400061272e565b608083018190526147c69061078087601d61514c565b608083018190526147d99061400061272e565b608083018190526147ef9061078087601c61514c565b608083018190526148059061079e87601f61514c565b6080830181905261481b9061077b87600561514c565b608083015261482e61475686602661514c565b60a083018190526148449061078087602561514c565b60a083018190526148579061400061272e565b60a0830181905261486d9061078087602461514c565b60a083018190526148809061400061272e565b60a083018190526148969061078087601f61514c565b60a083018190526148a99061400061272e565b60a083018190526148bf9061078087601e61514c565b60a083018190526148d59061079e87602761514c565b60a083018190526148ea9061077b875f61514c565b60a0830181905260808301515f916149029190612749565b90506149138161077b88600461514c565b905061491f8282612749565b60c084018190526149389061077b613af189600b61514c565b60c084018190528560136020020152505050505050565b6149c56040518061022001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6149de6149d385601c61514c565b61078086600261514c565b81526149f96149ee85601d61514c565b61078086600361514c565b6020820152614a17614a0c85601e61514c565b61078086600461514c565b6040820152614a35614a2a85601f61514c565b61078086600561514c565b60608201528051614a6790614a6090614a5990614a52908061272e565b845161272e565b835161272e565b825161272e565b60808201526020810151614aa590614a9b90614a9190614a87908061272e565b846020015161272e565b836020015161272e565b826020015161272e565b60a08201526040810151614ae390614ad990614acf90614ac5908061272e565b846040015161272e565b836040015161272e565b826040015161272e565b60c08201526060810151614b1790614b0d90614b0390614202908061272e565b836060015161272e565b826060015161272e565b60e0820152608081015160a0820151614b309190612749565b61010082015260c081015160e0820151614b4a9190612749565b61012082015260a0810151614b6e90614b639080612749565b826101200151612749565b61014082015260e0810151614b9290614b879080612749565b826101000151612749565b610160820152610120810151614ba89080612749565b6101e08201819052614bc990614bbe9080612749565b826101600151612749565b6101e0820152610100810151614bdf9080612749565b6101a08201819052614c0090614bf59080612749565b826101400151612749565b6101a08201819052610160820151614c1791612749565b6101808201526101408101516101e0820151614c339190612749565b6101c0820152614c476135d885600c61514c565b6102008201819052610280840151610180830151614c72926107809161077b9061079e8a602461514c565b8360146020020152614ca2836015602002015161078083610200015161077b856101a0015161079e8a602561514c565b8360156020020152614cd2836016602002015161078083610200015161077b856101c0015161079e8a602661514c565b8360166020020152614d02836017602002015161078083610200015161077b856101e0015161079e8a602761514c565b836017602002015250505050565b614d626040518061016001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f6040518060800160405280614d977f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e7612716565b8152602001614dc57f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b612716565b8152602001614df27e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac15612716565b8152602001614e207f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b612716565b90529050614e3d614e3286601c61514c565b61078087600261514c565b6101208301819052614e7c90614e7190614e6690614e5b908061272e565b85610120015161272e565b84610120015161272e565b83610120015161272e565b8252614e8985601d61514c565b6020830152614e9985601e61514c565b6040830152614ea985601f61514c565b606083015281516020830151614ed19161472b91614ec79190612749565b8460400151612749565b6080830152614ee461388a86600d61514c565b6101408301528151614f0590614efb90835f6114d0565b8360800151612749565b60a0830152614f31846018602002015161078084610140015161077b8660a0015161079e8b602461514c565b6103008501526020820151614f4c90614efb908360016114d0565b60c0830152614f78846019602002015161078084610140015161077b8660c0015161079e8b602561514c565b6103208501526040820151614f9390614efb908360026114d0565b60e0830152614fbf84601a602002015161078084610140015161077b8660e0015161079e8b602661514c565b6103408501526060820151614fda90614efb908360036114d0565b61010083015261500884601b602002015161078084610140015161077b86610100015161079e8b602761514c565b84601b613711565b815160015b601c81101561506257615058826107808684601c811061503757615037615a23565b6020020151866150486001876159d6565b601b81106114d0576114d0615a23565b9150600101615015565b5092915050565b604080518082019091525f8082526020820152604080518082019091525f8082526020820152604051835181526020840151602082015284604082015260408160608360075afa806150b9575f5ffd5b5080518252602080820151908301526060016040529392505050565b604080518082019091525f8082526020820152604080518082019091525f80825260208201526040518451815260208501516020820152835160408201526020840151606082015260408160808360065afa80615130575f5ffd5b5080518252602080820151908301526080016040529392505050565b5f8282602881111561516057615160615c53565b6029811061517057615170615a23565b60200201519392505050565b604051806103e001604052805f81526020015f81526020015f81526020016151b560405180604001604052805f81526020015f81525090565b81526020016151d560405180604001604052805f81526020015f81525090565b81526020016151f560405180604001604052805f81526020015f81525090565b815260200161521560405180604001604052805f81526020015f81525090565b815260200161523560405180604001604052805f81526020015f81525090565b815260200161525560405180604001604052805f81526020015f81525090565b815260200161527560405180604001604052805f81526020015f81525090565b815260200161529560405180604001604052805f81526020015f81525090565b81526020016152b560405180604001604052805f81526020015f81525090565b81526020016152d560405180604001604052805f81526020015f81525090565b81526020016152f560405180604001604052805f81526020015f81525090565b815260200161531560405180604001604052805f81526020015f81525090565b815260200161533560405180604001604052805f81526020015f81525090565b815260200161535560405180604001604052805f81526020015f81525090565b815260200161537560405180604001604052805f81526020015f81525090565b815260200161539560405180604001604052805f81526020015f81525090565b81526020016153b560405180604001604052805f81526020015f81525090565b81526020016153d560405180604001604052805f81526020015f81525090565b81526020016153f560405180604001604052805f81526020015f81525090565b815260200161541560405180604001604052805f81526020015f81525090565b815260200161543560405180604001604052805f81526020015f81525090565b815260200161545560405180604001604052805f81526020015f81525090565b815260200161547560405180604001604052805f81526020015f81525090565b815260200161549560405180604001604052805f81526020015f81525090565b81526020016154b560405180604001604052805f81526020015f81525090565b81526020016154d560405180604001604052805f81526020015f81525090565b81526020016154f560405180604001604052805f81526020015f81525090565b815260200161551560405180604001604052805f81526020015f81525090565b905290565b604051806101e0016040528061552e615802565b815260200161554e60405180604001604052805f81526020015f81525090565b815260200161556e60405180604001604052805f81526020015f81525090565b815260200161558e60405180604001604052805f81526020015f81525090565b81526020016155ae60405180604001604052805f81526020015f81525090565b81526020016155ce60405180604001604052805f81526020015f81525090565b81526020016155ee60405180604001604052805f81526020015f81525090565b815260200161560e60405180604001604052805f81526020015f81525090565b815260200161562e60405180604001604052805f81526020015f81525090565b815260200161563b61583f565b815260200161564861586d565b815260200161565561588c565b81526020016154d5615787565b60405180610100016040528061569560405180608001604052805f81526020015f81526020015f81526020015f81525090565b81526020016156a261574a565b81526020016156af615787565b81526020016156bc615787565b81526020015f81526020015f81526020015f81526020015f81525090565b604051806101c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020016157186158c5565b81526020016157256158c5565b81526020015f81526020015f81526020015f81526020015f8152602001606081525090565b604051806103600160405280601b906020820280368337509192915050565b6040518060a001604052806005906020820280368337509192915050565b604051806103800160405280601c906020820280368337509192915050565b6040518061012001604052806009906020820280368337509192915050565b604051806105400160405280602a906020820280368337509192915050565b60405180606001604052806003906020820280368337509192915050565b6040518061010001604052806008906020820280368337509192915050565b6040518060e001604052806007906020820280368337509192915050565b604051806103800160405280601c905b615857615802565b81526020019060019003908161584f5790505090565b6040518061052001604052806029906020820280368337509192915050565b604051806103600160405280601b905b604080518082019091525f808252602082015281526020019060019003908161589c5790505090565b60405180608001604052806004906020820280368337509192915050565b5f5f5f5f604085870312156158f6575f5ffd5b843567ffffffffffffffff81111561590c575f5ffd5b8501601f8101871361591c575f5ffd5b803567ffffffffffffffff811115615932575f5ffd5b876020828401011115615943575f5ffd5b60209182019550935085013567ffffffffffffffff811115615963575f5ffd5b8501601f81018713615973575f5ffd5b803567ffffffffffffffff811115615989575f5ffd5b8760208260051b840101111561599d575f5ffd5b949793965060200194505050565b634e487b7160e01b5f52601160045260245ffd5b8082028115828204841417612743576127436159ab565b81810381811115612743576127436159ab565b80820180821115612743576127436159ab565b5f5f85851115615a0a575f5ffd5b83861115615a16575f5ffd5b5050820193919092039150565b634e487b7160e01b5f52603260045260245ffd5b634e487b7160e01b5f52604160045260245ffd5b5f60018201615a5c57615a5c6159ab565b5060010190565b80356020831015612743575f19602084900360031b1b1692915050565b5f82615a9a57634e487b7160e01b5f52601260045260245ffd5b500690565b5f8183825b6005811015615ac3578151835260209283019290910190600101615aa4565b50505060a08201905092915050565b5f8183825b6009811015615af6578151835260209283019290910190600101615ad7565b5050506101208201905092915050565b5f8183825b602a811015615b2a578151835260209283019290910190600101615b0b565b5050506105408201905092915050565b81515f90829060208501835b82811015615b64578151845260209384019390910190600101615b46565b509195945050505050565b5f8183825b6003811015615b93578151835260209283019290910190600101615b74565b50505060608201905092915050565b5f81615bb057615bb06159ab565b505f190190565b5f8183825b6008811015615bdb578151835260209283019290910190600101615bbc565b5050506101008201905092915050565b5f82518060208501845e5f920191825250919050565b5f60208284031215615c11575f5ffd5b81518015158114610333575f5ffd5b5f8183825b6007811015615c44578151835260209283019290910190600101615c25565b50505060e08201905092915050565b634e487b7160e01b5f52602160045260245ffdfe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4730644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001a26469706673582212200501a538f2a85eb33da9cff1fa5d29cfadb39b1125c5500a0bbcd3d2a7ba025464736f6c634300081e0033";
4
4
  /**
5
5
  * HonkVerifier link references.
6
6
  */ export const HonkVerifierLinkReferences = {};