@aztec/l1-artifacts 0.86.0-nightly.20250427 → 0.86.0-nightly.20250429

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 (122) hide show
  1. package/dest/CoinIssuerAbi.d.ts +0 -24
  2. package/dest/CoinIssuerAbi.d.ts.map +1 -1
  3. package/dest/CoinIssuerAbi.js +0 -32
  4. package/dest/EmpireBaseAbi.d.ts +0 -24
  5. package/dest/EmpireBaseAbi.d.ts.map +1 -1
  6. package/dest/EmpireBaseAbi.js +0 -32
  7. package/dest/ErrorsAbi.d.ts +0 -24
  8. package/dest/ErrorsAbi.d.ts.map +1 -1
  9. package/dest/ErrorsAbi.js +0 -32
  10. package/dest/ExtRollupLibAbi.d.ts +0 -24
  11. package/dest/ExtRollupLibAbi.d.ts.map +1 -1
  12. package/dest/ExtRollupLibAbi.js +0 -32
  13. package/dest/ExtRollupLibBytecode.d.ts +1 -1
  14. package/dest/ExtRollupLibBytecode.d.ts.map +1 -1
  15. package/dest/ExtRollupLibBytecode.js +1 -1
  16. package/dest/FeeAssetHandlerAbi.d.ts +0 -24
  17. package/dest/FeeAssetHandlerAbi.d.ts.map +1 -1
  18. package/dest/FeeAssetHandlerAbi.js +0 -32
  19. package/dest/FeeJuicePortalAbi.d.ts +0 -24
  20. package/dest/FeeJuicePortalAbi.d.ts.map +1 -1
  21. package/dest/FeeJuicePortalAbi.js +0 -32
  22. package/dest/FeeJuicePortalBytecode.d.ts +1 -1
  23. package/dest/FeeJuicePortalBytecode.js +1 -1
  24. package/dest/ForwarderAbi.d.ts +0 -24
  25. package/dest/ForwarderAbi.d.ts.map +1 -1
  26. package/dest/ForwarderAbi.js +0 -32
  27. package/dest/GovernanceAbi.d.ts +0 -24
  28. package/dest/GovernanceAbi.d.ts.map +1 -1
  29. package/dest/GovernanceAbi.js +0 -32
  30. package/dest/GovernanceProposerAbi.d.ts +0 -24
  31. package/dest/GovernanceProposerAbi.d.ts.map +1 -1
  32. package/dest/GovernanceProposerAbi.js +0 -32
  33. package/dest/GovernanceProposerBytecode.d.ts +1 -1
  34. package/dest/GovernanceProposerBytecode.js +1 -1
  35. package/dest/HonkVerifierAbi.d.ts +0 -24
  36. package/dest/HonkVerifierAbi.d.ts.map +1 -1
  37. package/dest/HonkVerifierAbi.js +0 -32
  38. package/dest/HonkVerifierBytecode.d.ts +1 -1
  39. package/dest/HonkVerifierBytecode.d.ts.map +1 -1
  40. package/dest/HonkVerifierBytecode.js +1 -1
  41. package/dest/IERC20Abi.d.ts +0 -24
  42. package/dest/IERC20Abi.d.ts.map +1 -1
  43. package/dest/IERC20Abi.js +0 -32
  44. package/dest/IVerifierAbi.d.ts +0 -24
  45. package/dest/IVerifierAbi.d.ts.map +1 -1
  46. package/dest/IVerifierAbi.js +0 -32
  47. package/dest/InboxAbi.d.ts +0 -24
  48. package/dest/InboxAbi.d.ts.map +1 -1
  49. package/dest/InboxAbi.js +0 -32
  50. package/dest/InboxBytecode.d.ts +1 -1
  51. package/dest/InboxBytecode.js +1 -1
  52. package/dest/MockVerifierAbi.d.ts +0 -24
  53. package/dest/MockVerifierAbi.d.ts.map +1 -1
  54. package/dest/MockVerifierAbi.js +0 -32
  55. package/dest/NewGovernanceProposerPayloadAbi.d.ts +0 -24
  56. package/dest/NewGovernanceProposerPayloadAbi.d.ts.map +1 -1
  57. package/dest/NewGovernanceProposerPayloadAbi.js +0 -32
  58. package/dest/NewGovernanceProposerPayloadBytecode.d.ts +1 -1
  59. package/dest/NewGovernanceProposerPayloadBytecode.js +1 -1
  60. package/dest/OutboxAbi.d.ts +0 -24
  61. package/dest/OutboxAbi.d.ts.map +1 -1
  62. package/dest/OutboxAbi.js +0 -32
  63. package/dest/OutboxBytecode.d.ts +1 -1
  64. package/dest/OutboxBytecode.js +1 -1
  65. package/dest/RegisterNewRollupVersionPayloadAbi.d.ts +0 -24
  66. package/dest/RegisterNewRollupVersionPayloadAbi.d.ts.map +1 -1
  67. package/dest/RegisterNewRollupVersionPayloadAbi.js +0 -32
  68. package/dest/RegisterNewRollupVersionPayloadBytecode.d.ts +1 -1
  69. package/dest/RegisterNewRollupVersionPayloadBytecode.js +1 -1
  70. package/dest/RegistryAbi.d.ts +0 -24
  71. package/dest/RegistryAbi.d.ts.map +1 -1
  72. package/dest/RegistryAbi.js +0 -32
  73. package/dest/RegistryBytecode.d.ts +1 -1
  74. package/dest/RegistryBytecode.js +1 -1
  75. package/dest/RewardDistributorAbi.d.ts +0 -24
  76. package/dest/RewardDistributorAbi.d.ts.map +1 -1
  77. package/dest/RewardDistributorAbi.js +0 -32
  78. package/dest/RewardDistributorBytecode.d.ts +1 -1
  79. package/dest/RewardDistributorBytecode.js +1 -1
  80. package/dest/RollupAbi.d.ts +8 -24
  81. package/dest/RollupAbi.d.ts.map +1 -1
  82. package/dest/RollupAbi.js +10 -32
  83. package/dest/RollupBytecode.d.ts +6 -6
  84. package/dest/RollupBytecode.d.ts.map +1 -1
  85. package/dest/RollupBytecode.js +6 -6
  86. package/dest/SlashFactoryAbi.d.ts +0 -24
  87. package/dest/SlashFactoryAbi.d.ts.map +1 -1
  88. package/dest/SlashFactoryAbi.js +0 -32
  89. package/dest/SlashFactoryBytecode.d.ts +1 -1
  90. package/dest/SlashFactoryBytecode.js +1 -1
  91. package/dest/SlasherAbi.d.ts +0 -24
  92. package/dest/SlasherAbi.d.ts.map +1 -1
  93. package/dest/SlasherAbi.js +0 -32
  94. package/dest/SlashingProposerAbi.d.ts +0 -24
  95. package/dest/SlashingProposerAbi.d.ts.map +1 -1
  96. package/dest/SlashingProposerAbi.js +0 -32
  97. package/dest/StakingAssetHandlerAbi.d.ts +0 -24
  98. package/dest/StakingAssetHandlerAbi.d.ts.map +1 -1
  99. package/dest/StakingAssetHandlerAbi.js +0 -32
  100. package/dest/StakingAssetHandlerBytecode.d.ts +1 -1
  101. package/dest/StakingAssetHandlerBytecode.js +1 -1
  102. package/dest/TestERC20Abi.d.ts +0 -24
  103. package/dest/TestERC20Abi.d.ts.map +1 -1
  104. package/dest/TestERC20Abi.js +0 -32
  105. package/dest/TokenPortalAbi.d.ts +0 -24
  106. package/dest/TokenPortalAbi.d.ts.map +1 -1
  107. package/dest/TokenPortalAbi.js +0 -32
  108. package/dest/TokenPortalBytecode.d.ts +1 -1
  109. package/dest/TokenPortalBytecode.js +1 -1
  110. package/dest/UniswapPortalAbi.d.ts +0 -24
  111. package/dest/UniswapPortalAbi.d.ts.map +1 -1
  112. package/dest/UniswapPortalAbi.js +0 -32
  113. package/dest/UniswapPortalBytecode.d.ts +1 -1
  114. package/dest/UniswapPortalBytecode.js +1 -1
  115. package/dest/ValidatorSelectionLibAbi.d.ts +0 -24
  116. package/dest/ValidatorSelectionLibAbi.d.ts.map +1 -1
  117. package/dest/ValidatorSelectionLibAbi.js +0 -32
  118. package/dest/ValidatorSelectionLibBytecode.d.ts +1 -1
  119. package/dest/ValidatorSelectionLibBytecode.js +1 -1
  120. package/dest/checksum.d.ts +1 -1
  121. package/dest/checksum.js +1 -1
  122. package/package.json +1 -1
@@ -768,18 +768,6 @@ export declare const GovernanceProposerAbi: readonly [{
768
768
  readonly type: "uint256";
769
769
  readonly internalType: "uint256";
770
770
  }];
771
- }, {
772
- readonly type: "error";
773
- readonly name: "Rollup__InvalidChainId";
774
- readonly inputs: readonly [{
775
- readonly name: "expected";
776
- readonly type: "uint256";
777
- readonly internalType: "uint256";
778
- }, {
779
- readonly name: "actual";
780
- readonly type: "uint256";
781
- readonly internalType: "uint256";
782
- }];
783
771
  }, {
784
772
  readonly type: "error";
785
773
  readonly name: "Rollup__InvalidInHash";
@@ -844,18 +832,6 @@ export declare const GovernanceProposerAbi: readonly [{
844
832
  readonly type: "uint256";
845
833
  readonly internalType: "Timestamp";
846
834
  }];
847
- }, {
848
- readonly type: "error";
849
- readonly name: "Rollup__InvalidVersion";
850
- readonly inputs: readonly [{
851
- readonly name: "expected";
852
- readonly type: "uint256";
853
- readonly internalType: "uint256";
854
- }, {
855
- readonly name: "actual";
856
- readonly type: "uint256";
857
- readonly internalType: "uint256";
858
- }];
859
835
  }, {
860
836
  readonly type: "error";
861
837
  readonly name: "Rollup__ManaLimitExceeded";
@@ -1 +1 @@
1
- {"version":3,"file":"GovernanceProposerAbi.d.ts","sourceRoot":"","sources":["../src/GovernanceProposerAbi.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAssDxB,CAAC"}
1
+ {"version":3,"file":"GovernanceProposerAbi.d.ts","sourceRoot":"","sources":["../src/GovernanceProposerAbi.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAsqDxB,CAAC"}
@@ -1015,22 +1015,6 @@
1015
1015
  }
1016
1016
  ]
1017
1017
  },
1018
- {
1019
- "type": "error",
1020
- "name": "Rollup__InvalidChainId",
1021
- "inputs": [
1022
- {
1023
- "name": "expected",
1024
- "type": "uint256",
1025
- "internalType": "uint256"
1026
- },
1027
- {
1028
- "name": "actual",
1029
- "type": "uint256",
1030
- "internalType": "uint256"
1031
- }
1032
- ]
1033
- },
1034
1018
  {
1035
1019
  "type": "error",
1036
1020
  "name": "Rollup__InvalidInHash",
@@ -1116,22 +1100,6 @@
1116
1100
  }
1117
1101
  ]
1118
1102
  },
1119
- {
1120
- "type": "error",
1121
- "name": "Rollup__InvalidVersion",
1122
- "inputs": [
1123
- {
1124
- "name": "expected",
1125
- "type": "uint256",
1126
- "internalType": "uint256"
1127
- },
1128
- {
1129
- "name": "actual",
1130
- "type": "uint256",
1131
- "internalType": "uint256"
1132
- }
1133
- ]
1134
- },
1135
1103
  {
1136
1104
  "type": "error",
1137
1105
  "name": "Rollup__ManaLimitExceeded",
@@ -1,7 +1,7 @@
1
1
  /**
2
2
  * GovernanceProposer bytecode.
3
3
  */
4
- export declare const GovernanceProposerBytecode = "0x60e060405234801561000f575f5ffd5b50604051610bf0380380610bf083398101604081905261002e916100c7565b608082905260a08190528181610045600282610106565b60805160a0519091821161007a576040516365424f5b60e11b8152600481019290925260248201526044015b60405180910390fd5b505060a05160805190808211156100ad5760405163103804ad60e11b815260048101929092526024820152604401610071565b5050506001600160a01b0390931660c05250610125915050565b5f5f5f606084860312156100d9575f5ffd5b83516001600160a01b03811681146100ef575f5ffd5b602085015160409095015190969495509392505050565b5f8261012057634e487b7160e01b5f52601260045260245ffd5b500490565b60805160a05160c051610a8661016a5f395f818160af01528181610501015261083a01525f8181610168015261080c01525f818161021a015261040a0152610a865ff3fe608060405234801561000f575f5ffd5b50600436106100a6575f3560e01c80636dd7d8ea1161006e5780636dd7d8ea14610192578063a97f36a8146101a5578063b59c46fb146101ad578063c9e525df14610215578063d11eb2b21461023c578063de7b5d141461024f575f5ffd5b806306433b1b146100aa5780630d61b519146100ee57806362c69d7214610111578063693f917e146101635780636c1032af1461018a575b5f5ffd5b6100d17f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b0390911681526020015b60405180910390f35b6101016100fc366004610908565b610257565b60405190151581526020016100e5565b61015561011f366004610936565b6001600160a01b038084165f90815260208181526040808320868452825280832093851683526002909301905220549392505050565b6040519081526020016100e5565b6101557f000000000000000000000000000000000000000000000000000000000000000081565b6100d16104fe565b6101016101a0366004610975565b610584565b610155600581565b6101f06101bb366004610997565b5f602081815292815260408082209093529081522080546001909101546001600160a01b03811690600160a01b900460ff1683565b604080519384526001600160a01b0390921660208401521515908201526060016100e5565b6101557f000000000000000000000000000000000000000000000000000000000000000081565b61015561024a366004610908565b610806565b6100d1610837565b5f5f610261610837565b9050806001600160a01b0381163b61029d57604051635fa9262560e01b81526001600160a01b0390911660048201526024015b60405180910390fd5b505f8190505f816001600160a01b031663d8e3784c6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156102df573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061030391906109c1565b90505f61030f82610806565b90508086106103315760405163117e3a7760e31b815260040160405180910390fd5b8061033d6005886109d8565b1015868290916103695760405163c3d7aa4f60e01b815260048101929092526024820152604401610294565b50506001600160a01b0384165f90815260208181526040808320898452909152902060018101548790600160a01b900460ff16156103bd5760405163058240ed60e31b815260040161029491815260200190565b5060018101546001600160a01b03166103e957604051630b560ca160e11b815260040160405180910390fd5b60018101546001600160a01b03165f908152600282016020526040902054807f000000000000000000000000000000000000000000000000000000000000000080821015610453576040516357d5327960e11b815260048101929092526024820152604401610294565b505060018201805460ff60a01b198116600160a01b1790915560405189916001600160a01b0316907f7bfd03e44f31b1867e10c41d419cd8073b4719d321ccc5c3a3c79ac2babab3c3905f90a360018201546104b7906001600160a01b0316610894565b60018301546001600160a01b0316906104ef576040516323653eff60e21b81526001600160a01b039091166004820152602401610294565b50600198975050505050505050565b5f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663289b3c0d6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561055b573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061057f91906109f7565b905090565b5f5f61058e610837565b9050806001600160a01b0381163b6105c557604051635fa9262560e01b81526001600160a01b039091166004820152602401610294565b505f8190505f816001600160a01b031663d8e3784c6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610607573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061062b91906109c1565b90505f61063782610806565b6001600160a01b0385165f9081526020818152604080832084845290915290208054919250908311839061068157604051631d30a86560e11b815260040161029491815260200190565b505f846001600160a01b0316633b10244b6040518163ffffffff1660e01b81526004016020604051808303815f875af11580156106c0573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106e491906109f7565b905033816001600160a01b038116821461072457604051633a8db46b60e21b81526001600160a01b03928316600482015291166024820152604401610294565b50506001600160a01b0388165f90815260028301602052604081208054600192906107509084906109d8565b909155505083825560018201546001600160a01b0389811691161480159061079e575060018201546001600160a01b039081165f90815260028401602052604080822054928b168252902054115b156107c1576001820180546001600160a01b0319166001600160a01b038a161790555b604051339084906001600160a01b038b16907f75b35ca960bbb2cc550471a4098b1a96255dd657fe926e331754cd7c2e4489b3905f90a4506001979650505050505050565b5f6108317f000000000000000000000000000000000000000000000000000000000000000083610a12565b92915050565b5f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663971b0e6b6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561055b573d5f5f3e3d5ffd5b5f61089d6104fe565b604051630126795160e01b81526001600160a01b03848116600483015291909116906301267951906024016020604051808303815f875af11580156108e4573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108319190610a31565b5f60208284031215610918575f5ffd5b5035919050565b6001600160a01b0381168114610933575f5ffd5b50565b5f5f5f60608486031215610948575f5ffd5b83356109538161091f565b925060208401359150604084013561096a8161091f565b809150509250925092565b5f60208284031215610985575f5ffd5b81356109908161091f565b9392505050565b5f5f604083850312156109a8575f5ffd5b82356109b38161091f565b946020939093013593505050565b5f602082840312156109d1575f5ffd5b5051919050565b8082018082111561083157634e487b7160e01b5f52601160045260245ffd5b5f60208284031215610a07575f5ffd5b81516109908161091f565b5f82610a2c57634e487b7160e01b5f52601260045260245ffd5b500490565b5f60208284031215610a41575f5ffd5b81518015158114610990575f5ffdfea26469706673582212205e295b9d8ee598f6496aebd08674d9a95c614a880bf9e19147ba969d0857fb3164736f6c634300081b0033";
4
+ export declare const GovernanceProposerBytecode = "0x60e060405234801561000f575f5ffd5b50604051610bf0380380610bf083398101604081905261002e916100c7565b608082905260a08190528181610045600282610106565b60805160a0519091821161007a576040516365424f5b60e11b8152600481019290925260248201526044015b60405180910390fd5b505060a05160805190808211156100ad5760405163103804ad60e11b815260048101929092526024820152604401610071565b5050506001600160a01b0390931660c05250610125915050565b5f5f5f606084860312156100d9575f5ffd5b83516001600160a01b03811681146100ef575f5ffd5b602085015160409095015190969495509392505050565b5f8261012057634e487b7160e01b5f52601260045260245ffd5b500490565b60805160a05160c051610a8661016a5f395f818160af01528181610501015261083a01525f8181610168015261080c01525f818161021a015261040a0152610a865ff3fe608060405234801561000f575f5ffd5b50600436106100a6575f3560e01c80636dd7d8ea1161006e5780636dd7d8ea14610192578063a97f36a8146101a5578063b59c46fb146101ad578063c9e525df14610215578063d11eb2b21461023c578063de7b5d141461024f575f5ffd5b806306433b1b146100aa5780630d61b519146100ee57806362c69d7214610111578063693f917e146101635780636c1032af1461018a575b5f5ffd5b6100d17f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b0390911681526020015b60405180910390f35b6101016100fc366004610908565b610257565b60405190151581526020016100e5565b61015561011f366004610936565b6001600160a01b038084165f90815260208181526040808320868452825280832093851683526002909301905220549392505050565b6040519081526020016100e5565b6101557f000000000000000000000000000000000000000000000000000000000000000081565b6100d16104fe565b6101016101a0366004610975565b610584565b610155600581565b6101f06101bb366004610997565b5f602081815292815260408082209093529081522080546001909101546001600160a01b03811690600160a01b900460ff1683565b604080519384526001600160a01b0390921660208401521515908201526060016100e5565b6101557f000000000000000000000000000000000000000000000000000000000000000081565b61015561024a366004610908565b610806565b6100d1610837565b5f5f610261610837565b9050806001600160a01b0381163b61029d57604051635fa9262560e01b81526001600160a01b0390911660048201526024015b60405180910390fd5b505f8190505f816001600160a01b031663d8e3784c6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156102df573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061030391906109c1565b90505f61030f82610806565b90508086106103315760405163117e3a7760e31b815260040160405180910390fd5b8061033d6005886109d8565b1015868290916103695760405163c3d7aa4f60e01b815260048101929092526024820152604401610294565b50506001600160a01b0384165f90815260208181526040808320898452909152902060018101548790600160a01b900460ff16156103bd5760405163058240ed60e31b815260040161029491815260200190565b5060018101546001600160a01b03166103e957604051630b560ca160e11b815260040160405180910390fd5b60018101546001600160a01b03165f908152600282016020526040902054807f000000000000000000000000000000000000000000000000000000000000000080821015610453576040516357d5327960e11b815260048101929092526024820152604401610294565b505060018201805460ff60a01b198116600160a01b1790915560405189916001600160a01b0316907f7bfd03e44f31b1867e10c41d419cd8073b4719d321ccc5c3a3c79ac2babab3c3905f90a360018201546104b7906001600160a01b0316610894565b60018301546001600160a01b0316906104ef576040516323653eff60e21b81526001600160a01b039091166004820152602401610294565b50600198975050505050505050565b5f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663289b3c0d6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561055b573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061057f91906109f7565b905090565b5f5f61058e610837565b9050806001600160a01b0381163b6105c557604051635fa9262560e01b81526001600160a01b039091166004820152602401610294565b505f8190505f816001600160a01b031663d8e3784c6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610607573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061062b91906109c1565b90505f61063782610806565b6001600160a01b0385165f9081526020818152604080832084845290915290208054919250908311839061068157604051631d30a86560e11b815260040161029491815260200190565b505f846001600160a01b0316633b10244b6040518163ffffffff1660e01b81526004016020604051808303815f875af11580156106c0573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106e491906109f7565b905033816001600160a01b038116821461072457604051633a8db46b60e21b81526001600160a01b03928316600482015291166024820152604401610294565b50506001600160a01b0388165f90815260028301602052604081208054600192906107509084906109d8565b909155505083825560018201546001600160a01b0389811691161480159061079e575060018201546001600160a01b039081165f90815260028401602052604080822054928b168252902054115b156107c1576001820180546001600160a01b0319166001600160a01b038a161790555b604051339084906001600160a01b038b16907f75b35ca960bbb2cc550471a4098b1a96255dd657fe926e331754cd7c2e4489b3905f90a4506001979650505050505050565b5f6108317f000000000000000000000000000000000000000000000000000000000000000083610a12565b92915050565b5f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663971b0e6b6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561055b573d5f5f3e3d5ffd5b5f61089d6104fe565b604051630126795160e01b81526001600160a01b03848116600483015291909116906301267951906024016020604051808303815f875af11580156108e4573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108319190610a31565b5f60208284031215610918575f5ffd5b5035919050565b6001600160a01b0381168114610933575f5ffd5b50565b5f5f5f60608486031215610948575f5ffd5b83356109538161091f565b925060208401359150604084013561096a8161091f565b809150509250925092565b5f60208284031215610985575f5ffd5b81356109908161091f565b9392505050565b5f5f604083850312156109a8575f5ffd5b82356109b38161091f565b946020939093013593505050565b5f602082840312156109d1575f5ffd5b5051919050565b8082018082111561083157634e487b7160e01b5f52601160045260245ffd5b5f60208284031215610a07575f5ffd5b81516109908161091f565b5f82610a2c57634e487b7160e01b5f52601260045260245ffd5b500490565b5f60208284031215610a41575f5ffd5b81518015158114610990575f5ffdfea26469706673582212201fd60e63f975a5e932cbb88b374ce99e91745fa7d8585f9955d0131ae494f7b864736f6c634300081b0033";
5
5
  /**
6
6
  * GovernanceProposer link references.
7
7
  */
@@ -1,6 +1,6 @@
1
1
  /**
2
2
  * GovernanceProposer bytecode.
3
- */ export const GovernanceProposerBytecode = "0x60e060405234801561000f575f5ffd5b50604051610bf0380380610bf083398101604081905261002e916100c7565b608082905260a08190528181610045600282610106565b60805160a0519091821161007a576040516365424f5b60e11b8152600481019290925260248201526044015b60405180910390fd5b505060a05160805190808211156100ad5760405163103804ad60e11b815260048101929092526024820152604401610071565b5050506001600160a01b0390931660c05250610125915050565b5f5f5f606084860312156100d9575f5ffd5b83516001600160a01b03811681146100ef575f5ffd5b602085015160409095015190969495509392505050565b5f8261012057634e487b7160e01b5f52601260045260245ffd5b500490565b60805160a05160c051610a8661016a5f395f818160af01528181610501015261083a01525f8181610168015261080c01525f818161021a015261040a0152610a865ff3fe608060405234801561000f575f5ffd5b50600436106100a6575f3560e01c80636dd7d8ea1161006e5780636dd7d8ea14610192578063a97f36a8146101a5578063b59c46fb146101ad578063c9e525df14610215578063d11eb2b21461023c578063de7b5d141461024f575f5ffd5b806306433b1b146100aa5780630d61b519146100ee57806362c69d7214610111578063693f917e146101635780636c1032af1461018a575b5f5ffd5b6100d17f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b0390911681526020015b60405180910390f35b6101016100fc366004610908565b610257565b60405190151581526020016100e5565b61015561011f366004610936565b6001600160a01b038084165f90815260208181526040808320868452825280832093851683526002909301905220549392505050565b6040519081526020016100e5565b6101557f000000000000000000000000000000000000000000000000000000000000000081565b6100d16104fe565b6101016101a0366004610975565b610584565b610155600581565b6101f06101bb366004610997565b5f602081815292815260408082209093529081522080546001909101546001600160a01b03811690600160a01b900460ff1683565b604080519384526001600160a01b0390921660208401521515908201526060016100e5565b6101557f000000000000000000000000000000000000000000000000000000000000000081565b61015561024a366004610908565b610806565b6100d1610837565b5f5f610261610837565b9050806001600160a01b0381163b61029d57604051635fa9262560e01b81526001600160a01b0390911660048201526024015b60405180910390fd5b505f8190505f816001600160a01b031663d8e3784c6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156102df573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061030391906109c1565b90505f61030f82610806565b90508086106103315760405163117e3a7760e31b815260040160405180910390fd5b8061033d6005886109d8565b1015868290916103695760405163c3d7aa4f60e01b815260048101929092526024820152604401610294565b50506001600160a01b0384165f90815260208181526040808320898452909152902060018101548790600160a01b900460ff16156103bd5760405163058240ed60e31b815260040161029491815260200190565b5060018101546001600160a01b03166103e957604051630b560ca160e11b815260040160405180910390fd5b60018101546001600160a01b03165f908152600282016020526040902054807f000000000000000000000000000000000000000000000000000000000000000080821015610453576040516357d5327960e11b815260048101929092526024820152604401610294565b505060018201805460ff60a01b198116600160a01b1790915560405189916001600160a01b0316907f7bfd03e44f31b1867e10c41d419cd8073b4719d321ccc5c3a3c79ac2babab3c3905f90a360018201546104b7906001600160a01b0316610894565b60018301546001600160a01b0316906104ef576040516323653eff60e21b81526001600160a01b039091166004820152602401610294565b50600198975050505050505050565b5f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663289b3c0d6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561055b573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061057f91906109f7565b905090565b5f5f61058e610837565b9050806001600160a01b0381163b6105c557604051635fa9262560e01b81526001600160a01b039091166004820152602401610294565b505f8190505f816001600160a01b031663d8e3784c6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610607573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061062b91906109c1565b90505f61063782610806565b6001600160a01b0385165f9081526020818152604080832084845290915290208054919250908311839061068157604051631d30a86560e11b815260040161029491815260200190565b505f846001600160a01b0316633b10244b6040518163ffffffff1660e01b81526004016020604051808303815f875af11580156106c0573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106e491906109f7565b905033816001600160a01b038116821461072457604051633a8db46b60e21b81526001600160a01b03928316600482015291166024820152604401610294565b50506001600160a01b0388165f90815260028301602052604081208054600192906107509084906109d8565b909155505083825560018201546001600160a01b0389811691161480159061079e575060018201546001600160a01b039081165f90815260028401602052604080822054928b168252902054115b156107c1576001820180546001600160a01b0319166001600160a01b038a161790555b604051339084906001600160a01b038b16907f75b35ca960bbb2cc550471a4098b1a96255dd657fe926e331754cd7c2e4489b3905f90a4506001979650505050505050565b5f6108317f000000000000000000000000000000000000000000000000000000000000000083610a12565b92915050565b5f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663971b0e6b6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561055b573d5f5f3e3d5ffd5b5f61089d6104fe565b604051630126795160e01b81526001600160a01b03848116600483015291909116906301267951906024016020604051808303815f875af11580156108e4573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108319190610a31565b5f60208284031215610918575f5ffd5b5035919050565b6001600160a01b0381168114610933575f5ffd5b50565b5f5f5f60608486031215610948575f5ffd5b83356109538161091f565b925060208401359150604084013561096a8161091f565b809150509250925092565b5f60208284031215610985575f5ffd5b81356109908161091f565b9392505050565b5f5f604083850312156109a8575f5ffd5b82356109b38161091f565b946020939093013593505050565b5f602082840312156109d1575f5ffd5b5051919050565b8082018082111561083157634e487b7160e01b5f52601160045260245ffd5b5f60208284031215610a07575f5ffd5b81516109908161091f565b5f82610a2c57634e487b7160e01b5f52601260045260245ffd5b500490565b5f60208284031215610a41575f5ffd5b81518015158114610990575f5ffdfea26469706673582212205e295b9d8ee598f6496aebd08674d9a95c614a880bf9e19147ba969d0857fb3164736f6c634300081b0033";
3
+ */ export const GovernanceProposerBytecode = "0x60e060405234801561000f575f5ffd5b50604051610bf0380380610bf083398101604081905261002e916100c7565b608082905260a08190528181610045600282610106565b60805160a0519091821161007a576040516365424f5b60e11b8152600481019290925260248201526044015b60405180910390fd5b505060a05160805190808211156100ad5760405163103804ad60e11b815260048101929092526024820152604401610071565b5050506001600160a01b0390931660c05250610125915050565b5f5f5f606084860312156100d9575f5ffd5b83516001600160a01b03811681146100ef575f5ffd5b602085015160409095015190969495509392505050565b5f8261012057634e487b7160e01b5f52601260045260245ffd5b500490565b60805160a05160c051610a8661016a5f395f818160af01528181610501015261083a01525f8181610168015261080c01525f818161021a015261040a0152610a865ff3fe608060405234801561000f575f5ffd5b50600436106100a6575f3560e01c80636dd7d8ea1161006e5780636dd7d8ea14610192578063a97f36a8146101a5578063b59c46fb146101ad578063c9e525df14610215578063d11eb2b21461023c578063de7b5d141461024f575f5ffd5b806306433b1b146100aa5780630d61b519146100ee57806362c69d7214610111578063693f917e146101635780636c1032af1461018a575b5f5ffd5b6100d17f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b0390911681526020015b60405180910390f35b6101016100fc366004610908565b610257565b60405190151581526020016100e5565b61015561011f366004610936565b6001600160a01b038084165f90815260208181526040808320868452825280832093851683526002909301905220549392505050565b6040519081526020016100e5565b6101557f000000000000000000000000000000000000000000000000000000000000000081565b6100d16104fe565b6101016101a0366004610975565b610584565b610155600581565b6101f06101bb366004610997565b5f602081815292815260408082209093529081522080546001909101546001600160a01b03811690600160a01b900460ff1683565b604080519384526001600160a01b0390921660208401521515908201526060016100e5565b6101557f000000000000000000000000000000000000000000000000000000000000000081565b61015561024a366004610908565b610806565b6100d1610837565b5f5f610261610837565b9050806001600160a01b0381163b61029d57604051635fa9262560e01b81526001600160a01b0390911660048201526024015b60405180910390fd5b505f8190505f816001600160a01b031663d8e3784c6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156102df573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061030391906109c1565b90505f61030f82610806565b90508086106103315760405163117e3a7760e31b815260040160405180910390fd5b8061033d6005886109d8565b1015868290916103695760405163c3d7aa4f60e01b815260048101929092526024820152604401610294565b50506001600160a01b0384165f90815260208181526040808320898452909152902060018101548790600160a01b900460ff16156103bd5760405163058240ed60e31b815260040161029491815260200190565b5060018101546001600160a01b03166103e957604051630b560ca160e11b815260040160405180910390fd5b60018101546001600160a01b03165f908152600282016020526040902054807f000000000000000000000000000000000000000000000000000000000000000080821015610453576040516357d5327960e11b815260048101929092526024820152604401610294565b505060018201805460ff60a01b198116600160a01b1790915560405189916001600160a01b0316907f7bfd03e44f31b1867e10c41d419cd8073b4719d321ccc5c3a3c79ac2babab3c3905f90a360018201546104b7906001600160a01b0316610894565b60018301546001600160a01b0316906104ef576040516323653eff60e21b81526001600160a01b039091166004820152602401610294565b50600198975050505050505050565b5f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663289b3c0d6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561055b573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061057f91906109f7565b905090565b5f5f61058e610837565b9050806001600160a01b0381163b6105c557604051635fa9262560e01b81526001600160a01b039091166004820152602401610294565b505f8190505f816001600160a01b031663d8e3784c6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610607573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061062b91906109c1565b90505f61063782610806565b6001600160a01b0385165f9081526020818152604080832084845290915290208054919250908311839061068157604051631d30a86560e11b815260040161029491815260200190565b505f846001600160a01b0316633b10244b6040518163ffffffff1660e01b81526004016020604051808303815f875af11580156106c0573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106e491906109f7565b905033816001600160a01b038116821461072457604051633a8db46b60e21b81526001600160a01b03928316600482015291166024820152604401610294565b50506001600160a01b0388165f90815260028301602052604081208054600192906107509084906109d8565b909155505083825560018201546001600160a01b0389811691161480159061079e575060018201546001600160a01b039081165f90815260028401602052604080822054928b168252902054115b156107c1576001820180546001600160a01b0319166001600160a01b038a161790555b604051339084906001600160a01b038b16907f75b35ca960bbb2cc550471a4098b1a96255dd657fe926e331754cd7c2e4489b3905f90a4506001979650505050505050565b5f6108317f000000000000000000000000000000000000000000000000000000000000000083610a12565b92915050565b5f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663971b0e6b6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561055b573d5f5f3e3d5ffd5b5f61089d6104fe565b604051630126795160e01b81526001600160a01b03848116600483015291909116906301267951906024016020604051808303815f875af11580156108e4573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108319190610a31565b5f60208284031215610918575f5ffd5b5035919050565b6001600160a01b0381168114610933575f5ffd5b50565b5f5f5f60608486031215610948575f5ffd5b83356109538161091f565b925060208401359150604084013561096a8161091f565b809150509250925092565b5f60208284031215610985575f5ffd5b81356109908161091f565b9392505050565b5f5f604083850312156109a8575f5ffd5b82356109b38161091f565b946020939093013593505050565b5f602082840312156109d1575f5ffd5b5051919050565b8082018082111561083157634e487b7160e01b5f52601160045260245ffd5b5f60208284031215610a07575f5ffd5b81516109908161091f565b5f82610a2c57634e487b7160e01b5f52601260045260245ffd5b500490565b5f60208284031215610a41575f5ffd5b81518015158114610990575f5ffdfea26469706673582212201fd60e63f975a5e932cbb88b374ce99e91745fa7d8585f9955d0131ae494f7b864736f6c634300081b0033";
4
4
  /**
5
5
  * GovernanceProposer link references.
6
6
  */ export const GovernanceProposerLinkReferences = {};
@@ -705,18 +705,6 @@ export declare const HonkVerifierAbi: readonly [{
705
705
  readonly type: "uint256";
706
706
  readonly internalType: "uint256";
707
707
  }];
708
- }, {
709
- readonly type: "error";
710
- readonly name: "Rollup__InvalidChainId";
711
- readonly inputs: readonly [{
712
- readonly name: "expected";
713
- readonly type: "uint256";
714
- readonly internalType: "uint256";
715
- }, {
716
- readonly name: "actual";
717
- readonly type: "uint256";
718
- readonly internalType: "uint256";
719
- }];
720
708
  }, {
721
709
  readonly type: "error";
722
710
  readonly name: "Rollup__InvalidInHash";
@@ -781,18 +769,6 @@ export declare const HonkVerifierAbi: readonly [{
781
769
  readonly type: "uint256";
782
770
  readonly internalType: "Timestamp";
783
771
  }];
784
- }, {
785
- readonly type: "error";
786
- readonly name: "Rollup__InvalidVersion";
787
- readonly inputs: readonly [{
788
- readonly name: "expected";
789
- readonly type: "uint256";
790
- readonly internalType: "uint256";
791
- }, {
792
- readonly name: "actual";
793
- readonly type: "uint256";
794
- readonly internalType: "uint256";
795
- }];
796
772
  }, {
797
773
  readonly type: "error";
798
774
  readonly name: "Rollup__ManaLimitExceeded";
@@ -1 +1 @@
1
- {"version":3,"file":"HonkVerifierAbi.d.ts","sourceRoot":"","sources":["../src/HonkVerifierAbi.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA2+ClB,CAAC"}
1
+ {"version":3,"file":"HonkVerifierAbi.d.ts","sourceRoot":"","sources":["../src/HonkVerifierAbi.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA28ClB,CAAC"}
@@ -933,22 +933,6 @@
933
933
  }
934
934
  ]
935
935
  },
936
- {
937
- "type": "error",
938
- "name": "Rollup__InvalidChainId",
939
- "inputs": [
940
- {
941
- "name": "expected",
942
- "type": "uint256",
943
- "internalType": "uint256"
944
- },
945
- {
946
- "name": "actual",
947
- "type": "uint256",
948
- "internalType": "uint256"
949
- }
950
- ]
951
- },
952
936
  {
953
937
  "type": "error",
954
938
  "name": "Rollup__InvalidInHash",
@@ -1034,22 +1018,6 @@
1034
1018
  }
1035
1019
  ]
1036
1020
  },
1037
- {
1038
- "type": "error",
1039
- "name": "Rollup__InvalidVersion",
1040
- "inputs": [
1041
- {
1042
- "name": "expected",
1043
- "type": "uint256",
1044
- "internalType": "uint256"
1045
- },
1046
- {
1047
- "name": "actual",
1048
- "type": "uint256",
1049
- "internalType": "uint256"
1050
- }
1051
- ]
1052
- },
1053
1021
  {
1054
1022
  "type": "error",
1055
1023
  "name": "Rollup__ManaLimitExceeded",
@@ -1,7 +1,7 @@
1
1
  /**
2
2
  * HonkVerifier bytecode.
3
3
  */
4
- export declare const HonkVerifierBytecode = "0x60e0604052348015600e575f5ffd5b506302000000608052601960a0526103da60c05260805160a05160c05161525c61005a5f395f61063401525f818161073f01528181610d210152610dbd01525f6105d8015261525c5ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b366004614e7e565b610054565b604051901515815260200160405180910390f35b5f6100626101c86020614f56565b8414610081576040516376ba560560e11b815260040160405180910390fd5b5f61008a6101a5565b90505f61009787876101ba565b9050601082604001516100aa9190614f6d565b84146100c95760405163fa06659360e01b815260040160405180910390fd5b5f6100e0828787865f015187604001516001610513565b90506101308686808060200260200160405190810160405280939291908181526020018383602002808284375f9201919091525050855185516060810151608090910151919350915060016105c2565b815160a001525f6101418383610737565b905080610161576040516313f8744360e31b815260040160405180910390fd5b5f61016d848685610838565b90508061018d576040516352ec174560e11b815260040160405180910390fd5b8180156101975750805b9a9950505050505050505050565b6101ad614956565b6101b56110b5565b905090565b6101c2614ad3565b5f805b6010811015610224576101f18583866101df826020614f80565b926101ec93929190614f93565b61199c565b8351826010811061020457610204614fba565b60200201818152505060208261021a9190614f80565b91506001016101c5565b50610248848285610236826080614f80565b9261024393929190614f93565b6119fd565b6020830152610258608082614f80565b905061026b848285610236826080614f80565b604083015261027b608082614f80565b905061028e848285610236826080614f80565b606083015261029e608082614f80565b90506102b1848285610236826080614f80565b60c08301526102c1608082614f80565b90506102d4848285610236826080614f80565b60e08301526102e4608082614f80565b90506102f7848285610236826080614f80565b60808084019190915261030a9082614f80565b905061031d848285610236826080614f80565b61010083015261032e608082614f80565b9050610341848285610236826080614f80565b60a0830152610351608082614f80565b90505f5b601c8110156103d0575f5b60088110156103c75761037a8684876101df826020614f80565b84610120015183601c811061039157610391614fba565b602002015182600881106103a7576103a7614fba565b6020020181815250506020836103bd9190614f80565b9250600101610360565b50600101610355565b505f5b6028811015610424576103ed8583866101df826020614f80565b836101400151826028811061040457610404614fba565b60200201818152505060208261041a9190614f80565b91506001016103d3565b505f5b6104336001601c614f6d565b81101561047c5761044b858386610236826080614f80565b83610160015182601b811061046257610462614fba565b6020020152610472608083614f80565b9150600101610427565b505f5b601c8110156104d0576104998583866101df826020614f80565b83610180015182601c81106104b0576104b0614fba565b6020020181815250506020826104c69190614f80565b915060010161047f565b506104e2848285610236826080614f80565b6101a08301526104f3608082614f80565b9050610506848285610236826080614f80565b6101c08301525092915050565b61051b614b9d565b5f61052b88888888888887611acd565b908352905061053a8189611b23565b6020840191909152905061054d81611cbd565b604084019190915290506105618882611d1e565b606084019190915290506105758882611df2565b608084019190915290506105898882611e7d565b60a0840191909152905061059d8882611feb565b60c084019190915290506105b1888261205d565b5060e0830152509695505050505050565b5f6001808261060b86610606896106016105fc8a7f0000000000000000000000000000000000000000000000000000000000000000614f80565b6120b4565b6120d2565b6120eb565b90505f610629876106248a6106016105fc8b6001614f80565b612104565b90505f5b61065860107f0000000000000000000000000000000000000000000000000000000000000000614f6d565b8110156106c5575f6106828c838151811061067557610675614fba565b60200260200101516120b4565b90506106928661060186846120eb565b95506106a28561060185846120eb565b94506106ae848b6120eb565b93506106ba838b612104565b92505060010161062d565b505f5b601081101561072c575f8a82601081106106e4576106e4614fba565b602002015190506106f98661060186846120eb565b95506107098561060185846120eb565b9450610715848b6120eb565b9350610721838b612104565b9250506001016106c8565b506101978484612133565b5f806001815b7f000000000000000000000000000000000000000000000000000000000000000081101561080e575f86610120015182601c811061077d5761077d614fba565b602002015190505f61078f8286612141565b9050806107af576040516313f8744360e31b815260040160405180910390fd5b5f876060015184601c81106107c6576107c6614fba565b602002015190506107d7838261215e565b95506107fe886040015185601c81106107f2576107f2614fba565b6020020151868361230d565b945050505080600101905061073d565b505f610828866101400151865f0151876020015185612338565b90508281145b9695505050505050565b5f61087f6040518061012001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f61088d8460a001516123a6565b9050610897614bf6565b61089f614c15565b60e08601516108be906108b990855f5b6020020151612104565b61240b565b60a085015260e08601516108dd906108b990855f5b60200201516120eb565b60c080860182905260a0860151908801516108fc9261060691906120d2565b845260a086015161092a906109109061240b565b6106018660a001516106248a60c001518960c001516120d2565b6020850152600182526101a088015161094290612474565b81526001606085018190525f60808601525b602381116109fa5761097561096b865f01516124b3565b86606001516120d2565b83826046811061098757610987614fba565b602002015260808501516101408a01516109ca9190610606906109ab600186614f6d565b602881106109bb576109bb614fba565b602002015188606001516120d2565b8560800181815250506109e5856060015188608001516120d2565b60608601526109f381614fce565b9050610954565b505f610a0860236001614f80565b90505b60288111610a8957610a2361096b86602001516124b3565b838260468110610a3557610a35614fba565b602002015260808501516101408a0151610a599190610606906109ab600186614f6d565b856080018181525050610a74856060015188608001516120d2565b6060860152610a8281614fce565b9050610a0b565b50606087015181600160200201526080870151816002602002015260a0870151816003602002015260c0870151816004602002015260e0870151816005602002015261010087015181600660200201526101208701518160076020020152610140870151816008602002015261016087015181600960200201526101a087015181600a602002015261018087015181600b60200201526101c087015181600c60200201526101e087015181600d602002015261020087015181600e602002015261022087015181600f60200201526102408701518160106020020152610260870151816011602002015261028087015181601260200201526102a087015181601360200201526102c087015181601460200201526102e08701518160156020020152610300870151816016602002015261032087015181601760200201526103408701518160186020020152610360870151816019602002015261038087015181601a60200201526103a087015181601b6020020181905250610c0f8860200151612474565b6103808201526040880151610c2390612474565b6103a08201526060880151610c3790612474565b6103c08201526080880151610c4b90612474565b6103e082015260a0880151610c5f90612474565b610400820152610100880151610c7490612474565b61042082015260c0880151610c8890612474565b61044082015260e0880151610c9c90612474565b6104608201526020880151610cb090612474565b6104808201526040880151610cc490612474565b6104a08201526060880151610cd890612474565b6104c08201526080880151610cec90612474565b6104e082015260a0880151610d0090612474565b610500820152606086015160808501516101808a01515f92610d45929091877f00000000000000000000000000000000000000000000000000000000000000006124cb565b805160a0870151919250610d58916120d2565b604086018190526101808a01515160c0890151610d88929161060691610d7e91906120d2565b8860c001516120d2565b604086015260c0870151610d9b906125e6565b60608601525f5b610dae6001601c614f6d565b811015610fb0575f610de160017f0000000000000000000000000000000000000000000000000000000000000000614f6d565b821015905080610f5657610e146108b98a60e0015188856001610e049190614f80565b601c81106108af576108af614fba565b60a088015260e0890151610e42906108b99088610e32866001614f80565b601c81106108d3576108d3614fba565b60c0880152606087015160a0880151610e5b91906120d2565b60e0880152606087015160c08a0151610e7791610d7e916120d2565b6101008801819052610e9990610e8c906124b3565b6106068960e001516124b3565b8583610ea760286001614f80565b610eb19190614f80565b60468110610ec157610ec1614fba565b60200201526101008701516101808c01515f91610efd91610ee3866001614f80565b601c8110610ef357610ef3614fba565b60200201516120d2565b9050610f19816106068a60e0015187876001610ee39190614f80565b9050610f298860400151826120eb565b6040890152606088015160c08b0151610f4f91610f45916120d2565b8b60c001516120d2565b6060890152505b610f7a8b610160015183601b8110610f7057610f70614fba565b6020020151612474565b8483610f8860286001614f80565b610f929190614f80565b60468110610fa257610fa2614fba565b602002015250600101610da2565b5060408051808201909152600181526002602082015282610fd3601c6028614f80565b60468110610fe357610fe3614fba565b6020020152604085015183610ffa601c6028614f80565b6046811061100a5761100a614fba565b60200201526101c08901515f9061102090612474565b90508083611030601c6028614f80565b61103b906001614f80565b6046811061104b5761104b614fba565b602002015260e088015184611062601c6028614f80565b61106d906001614f80565b6046811061107d5761107d614fba565b60200201525f61108d84866125f1565b90505f611099836126b7565b90506110a582826126fd565b9c9b505050505050505050505050565b6110bd614956565b50604080516103c0810182526302000000815260196020808301919091526103da82840152825180840184527f0ae57cd47806848c50165f0c4917d38cc5eb0af11649c6fc76780e105344435181527f042faf7cdbbf6d1d0684a8a3d79de33063e943a5839831ce6db62629c8c44920818301526060830152825180840184527f0200d2366ab4f3f4dffb5be4e7ff781bfd3b1e2b7e5b73e712cd08a0243c7ffc81527f077d8e31407df757c220804ae7ad2f3f5248df8b90b007e1abf39d164a5cdf62818301526080830152825180840184527f1164f2b11e6c02e2571b0100230ea39c6acb8bc0b437fbcfcabed5a93c7ded1881527f19273a9d336b9d21c344725a6e4a14027714769c830444f44decccfd691c2ed88183015260a0830152825180840184527f016e1cd6000c5dbc5f10f4880adcc66e3f7b75dc98b0cd3ab0d8bca86d2a9e7381527f1e6f31bf8fad26a5a4b4c571b4003a9ffdc384d73108b573374894c9a9e006e88183015260c0830152825180840184527f23544c2646425adabd75a0b866033df3c1e3193dc621f6e265339f5d5b492ee281527f29aeb23f155d4ac57266448859da505cf5577551591b94617720ce3d5b925da88183015260e0830152825180840184527f22a447ad3203488131455b9208b871b36c6e28dcfb7b730ef7d4f68bed4f5c1781527f1d858dfdd02595a7c6bdb325600cc43efeed091d5a9a9455fe61fcd2d03f8eff81830152610100830152825180840184527f1550d16ad64750f0a0e372a5ed168a684009d4fbb34893a0ed1e05335358c6ce81527f17b8176a4a71e489bcd8e9a7698b97f93ef18421ff09e3d3a1a5a73d2d997fc081830152610120830152825180840184527f0619de9c6dbdfc387a335d76411a23ed4181354cbd5811fc03d5a4822d8856d581527f0ec8094f6a1fc5b553208f3c7074282f5679feefc038e5ee1af5c61f9ef2eede81830152610140830152825180840184527f0a3252aaed624cf3ce77eab4ef4df5828224e8e98339dd0130bcddd2358f916d81527f16d83a3b6be9e43bf37a07dd084abb1a325b54b2ef2726cffcb1affe38ec04b481830152610160830152825180840184527f1366651907909af84a24670b4e3f52456e24bd64bb6acc19b6cb0d6334fdbe2981527f2cc6fab362492e97f5fe4f9884d45f0c092ad3af60fe6073ed3f2c1f4fb6948581830152610180830152825180840184527f144389bf21d69b9fecff358460ca3555ff8a7641a98619ff6121344c265b7fdc81527f13986ebd433db028067a4c9b6e10da53a2828a769bc5c898677c78d6a044b79a818301526101a0830152825180840184527f2fd9a9da4b07634a7b112d63bec79d3f824c4ac81bff755d6d0ebb65b026346f81527f28f0e75a194b56ffc2b3dbf2f5051171a10413bae01ecea0031042833839591f818301526101c0830152825180840184527f01fa7edf318aa7211f327ccb3bdd92b32d79f5ee3a7949efb9e88a4f3bddcc9881527f1ba29a4c4653b9f38806d3cb2fc2c1b43fa5cec42ae2f33c884d3862549d261a818301526101e0830152825180840184527f08f3f6947571c56f93962be14ec85a45fe19e7b939559ddf7583a8423fe37a4c81527f09281ace4f38251ad8d5a580b7e3694664f933c868bea8c8a04597a4e531cb3881830152610200830152825180840184527f17c0f29c8dc3352efbb82d8c346f80c70b5ed28a2a9f183bcdf872e6b100f35a81527f222f72401b84e28695ed41e1f9c7223465f796e3be036fbb2d7a534d14f7dcd481830152610220830152825180840184527f1a1da5a6685a98858bf14e6bfdbd6e2840143e97ce480c931b5b0a7e097fedc881527f20cd1d6c1a31eafc9679b3eb9712d3887bb0187eabdf4b3c0c650f019ef19de681830152610240830152825180840184527f133696757442fa0bc7bf0eea9d5b1b2aaf56734cdd80df2de1c5ac1928ff2b0c81527f0885ef0d3fcde5314b88b0af60bec3b97f6c99d04c3444e68685e5e5f2024f7d81830152610260830152825180840184527f059b43491165c54f21b6208e973343129e4bfb63c9499a231729fc5b7d7db88581527f25c64e605a5e2a8bed3d45e811e270257e2ab9624ec80edc51d5e8457492d25981830152610280830152825180840184527f0fd44360fb29d6fba1a07aab991d4a5f3fb31cbed89766797bbb30c20c2f04ce81527f303746e8b829187bc875677b0202d1d57bca8729bedad8ebdecebc43ccef1cd2818301526102a0830152825180840184527f22fd219f3a0bb954a06915019ef17d58b9a78578f26306205b1ac1215337198d81527f1ba159b75339f0f8c49414eb9127cd43b84a97418b56b6ac98d122ca39e9932a818301526102c0830152825180840184527f23d6433c7bda1340ea4fe704dbed25394cff0fbbc07ddb8e229092c85ac4655381527f219794a1b9939ae882e86e6c6a45d99d467a0a138d3bd75e1246f27fa1f6003c818301526102e0830152825180840184527f067607670a8c6bf72dfd1f574681d912c1d2169b15796740f6204a446b3c07ee81527ee5cd6ea9eb13b69adb01c1720d1b8bef018edb1cfe9fd8acd37fc6c46441bb81830152610300830152825180840184527f2d3b348bc42dc7a7a93c561c8bb904c7b495760c83d98ac81df59ea039dacdb481527f18e84d573845d585fd12a76a3b5dc2aebb4dc3af808c54766d12dc8f732fb2c681830152610320830152825180840184527f0bd98728e7fdb6e869a017828037b77fa5783ec9eeecee3cd6d8854c650ed23081527f1c8acca16d6882b7d71ee98bfd259124aaf059426a439056ed5133cf9d5fa9e281830152610340830152825180840184527f06f21ea3d538f9918bb9677e352931998d0d41c75ef07cc567c6da9937f13a6c81527f1e8c5de3f2d47dbe2691364d9cbfc07346aaac3aedc0622c22dee2bb1ad33ecb81830152610360830152825180840184526001815260028183015261038083015282518084019093527f0e00479531a7eb37fe441382f46ab6df6169154d4a4fc095581900f4c91dbc5283527f02a59398072a0b8743be71f9177d66d39d275a55e3b88832484d85896b038054908301526103a081019190915290565b5f602082146119e95760405162461bcd60e51b815260206004820152601460248201527334b73b30b634b210313cba32b99039b1b0b630b960611b60448201526064015b60405180910390fd5b6119f66105fc8385614fe6565b9392505050565b611a05614c43565b60808214611a4b5760405162461bcd60e51b81526020600482015260136024820152721a5b9d985b1a5908189e5d195cc81c1bda5b9d606a1b60448201526064016119e0565b604080516080810190915280611a6460205f8688614f93565b611a6d91614fe6565b8152602090810190611a83906040908688614f93565b611a8c91614fe6565b8152602001611a9f606060408688614f93565b611aa891614fe6565b8152602001611abb608060608688614f93565b611ac491614fe6565b90529392505050565b611ad5614c67565b5f611ae4898989898989612901565b604086019190915260208501919091529083529250611b03838a612da7565b608085019190915260608401919091529199919850909650505050505050565b611b2b614c97565b5f611b34614cb6565b848152610100848101805151602080850191909152815181015160408086019190915282518101516060808701919091529251830151608086015260a080890180515191870191909152805183015160c0870152805182015160e087015251909201519284019290925251611bca91611baf91849101615003565b604051602081830303815290604052805190602001206120b4565b9150611bd582612e76565b6020850152835260015b611beb6002601961504b565b811015611c6b57611c0883604051602001611baf91815260200190565b9250611c1383612e76565b85611c1f846002614f56565b60198110611c2f57611c2f614fba565b6020020186611c3f856002614f56565b611c4a906001614f80565b60198110611c5a57611c5a614fba565b602002019190915252600101611bdf565b50611c8282604051602001611baf91815260200190565b91505f611c8e83612e76565b85611c9b60016019614f6d565b60198110611cab57611cab614fba565b60200201919091525050509250929050565b611cc5614cd5565b5f805b601c811015611d1757611ce784604051602001611baf91815260200190565b93505f611cf385612e76565b8584601c8110611d0557611d05614fba565b60200201919091525050600101611cc8565b5090929050565b611d26614cd5565b5f805b601c811015611de957611d3a614cb6565b8481525f5b6008811015611da35786610120015183601c8110611d5f57611d5f614fba565b60200201518160088110611d7557611d75614fba565b602002015182611d86836001614f80565b60098110611d9657611d96614fba565b6020020152600101611d3f565b50611db881604051602001611baf9190615003565b94505f611dc486612e76565b8685601c8110611dd657611dd6614fba565b6020020191909152505050600101611d29565b50909391925050565b5f5f611dfc614cf4565b8381525f5b6028811015611e4f578561014001518160288110611e2157611e21614fba565b602002015182611e32836001614f80565b60298110611e4257611e42614fba565b6020020152600101611e01565b50611e6481604051602001611baf919061505e565b91505f611e7083612e76565b5096929550919350505050565b5f5f611e87614d13565b8381525f5b611e986001601c614f6d565b811015611fd65785610160015181601b8110611eb657611eb6614fba565b60200201515182611ec8836004614f56565b611ed3906001614f80565b606d8110611ee357611ee3614fba565b602002015261016086015181601b8110611eff57611eff614fba565b60200201516020015182826004611f169190614f56565b611f21906002614f80565b606d8110611f3157611f31614fba565b602002015261016086015181601b8110611f4d57611f4d614fba565b60200201516040015182611f62836004614f56565b611f6d906003614f80565b606d8110611f7d57611f7d614fba565b602002015261016086015181601b8110611f9957611f99614fba565b60200201516060015182611fae836004614f56565b611fb9906004614f80565b606d8110611fc957611fc9614fba565b6020020152600101611e8c565b50611e6481604051602001611baf9190615092565b5f5f611ff5614d32565b8381525f5b601c8110156120485785610180015181601c811061201a5761201a614fba565b60200201518261202b836001614f80565b601d811061203b5761203b614fba565b6020020152600101611ffa565b50611e6481604051602001611baf91906150c6565b5f5f612067614d51565b8381526101a085018051516020808401919091528151810151604080850191909152825181015160608086019190915292519092015160808401529051611e6491611baf918491016150fa565b5f6120cc5f51602061523c5f395f51905f528361512d565b92915050565b5f5f51602061523c5f395f51905f528284099392505050565b5f5f51602061523c5f395f51905f528284089392505050565b5f5f51602061523c5f395f51905f5261212a835f51602061523c5f395f51905f52614f6d565b84089392505050565b5f6119f6836106018461240b565b81515f908190612153908560016108d3565b929092149392505050565b60408051610100810182527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec5181526102d060208201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff1191810191909152609060608201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71608082015260f060a08201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd3160c08201526113b060e08201525f906001825b60088110156122455761223b826106018784612104565b9150600101612224565b5061224e614d6f565b5f5b60088110156122af575f84826008811061226c5761226c614fba565b60200201519050612281816106018985612104565b905061228c8161240b565b9050808383600881106122a1576122a1614fba565b602002015250600101612250565b505f5b6008811015612302575f8782600881106122ce576122ce614fba565b602002015190506122eb81848460088110610ef357610ef3614fba565b90506122f786826120eb565b9550506001016122b2565b5061082e84836120d2565b5f5f612323600161060685610601896001612104565b905061232f84826120d2565b95945050505050565b5f612341614d8e565b61234c868285612ea6565b61235886868386613052565b6123648686838661323a565b61236f868285613436565b61237a86828561361e565b61238686868386613967565b612391868285614201565b61239c8682856145cc565b61082e81856148c1565b6123ae614cd5565b81815260015b601c811015612405576123e6826123cc600184614f6d565b601c81106123dc576123dc614fba565b60200201516125e6565b8282601c81106123f8576123f8614fba565b60200201526001016123b4565b50919050565b5f5f8290505f604051602081526020808201526020604082015282606082015260025f51602061523c5f395f51905f520360808201525f51602061523c5f395f51905f5260a082015260205f60c08360055afa905080612469575f5ffd5b50505f519392505050565b61247c614dad565b604051806040016040528060888460200151901b845f015117815260200160888460600151901b8460400151178152509050919050565b5f6120cc825f51602061523c5f395f51905f52614f6d565b6124d3614cd5565b601c5b80156125dc575f846124e9600184614f6d565b601c81106124f9576124f9614fba565b602002015190505f8861250d600185614f6d565b601c811061251d5761251d614fba565b602002015190505f61257861253c612535858c6120d2565b60026120d2565b6106248a61254b600189614f6d565b601c811061255b5761255b614fba565b60200201516106016125728861060160018a612104565b87612104565b9050612599816106016108b961259387610601600189612104565b866120eb565b90508584116125c85797508780856125b2600187614f6d565b601c81106125c2576125c2614fba565b60200201525b505050806125d590615140565b90506124d6565b5095945050505050565b5f6120cc82836120d2565b6125f9614dad565b5f612606601c6028614f80565b612611906002614f80565b90506001604051855151604082015285516020015160608201528451608082015260408160606040840160075afa8216915060015b8381101561269f5760208102870160208202870181515160408501528151602001516060850152805160808501525050604080830160606040850160075afa8316925060408260808460065afa90921691600101612646565b50805184526020810151602085015250505092915050565b6126bf614dad565b5f51602061521c5f395f51905f5282602001515f51602061521c5f395f51905f526126ea9190614f6d565b6126f4919061512d565b60208301525090565b81516020808401518351848301516040805194850195909552938301919091527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c260608301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60808301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60a08301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60c083015260e08201526101008101919091527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c16101208201527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b06101408201527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe46101608201527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101808201525f9081906101a00160405160208183030381529060405290505f5f60086001600160a01b0316836040516128939190615155565b5f60405180830381855afa9150503d805f81146128cb576040519150601f19603f3d011682016040523d82523d5f602084013e6128d0565b606091505b50915091505f818060200190518101906128ea919061516b565b90508280156128f65750805b979650505050505050565b5f80808080612911876003614f80565b61291c90600c614f80565b6001600160401b038111156129335761293361518a565b60405190808252806020026020018201604052801561295c578160200160208202803683370190505b509050875f1b815f8151811061297457612974614fba565b602002602001018181525050865f1b8160018151811061299657612996614fba565b602002602001018181525050855f1b816002815181106129b8576129b8614fba565b60209081029190910101525f5b6129d0601089614f6d565b811015612a21578a8a828181106129e9576129e9614fba565b90506020020135828260036129fe9190614f80565b81518110612a0e57612a0e614fba565b60209081029190910101526001016129c5565b505f5b6010811015612a92578b51612a4c908260108110612a4457612a44614fba565b602002015190565b82826010612a5b8c6003614f80565b612a659190614f6d565b612a6f9190614f80565b81518110612a7f57612a7f614fba565b6020908102919091010152600101612a24565b5060208b01515181612aa5896003614f80565b81518110612ab557612ab5614fba565b6020908102919091018101919091528b810151015181612ad6896003614f80565b612ae1906001614f80565b81518110612af157612af1614fba565b6020908102919091018101919091528b01516040015181612b13896003614f80565b612b1e906002614f80565b81518110612b2e57612b2e614fba565b6020908102919091018101919091528b01516060015181612b50896003614f80565b612b5b906003614f80565b81518110612b6b57612b6b614fba565b602090810291909101015260408b01515181612b88896003614f80565b612b93906004614f80565b81518110612ba357612ba3614fba565b60209081029190910181019190915260408c0151015181612bc5896003614f80565b612bd0906005614f80565b81518110612be057612be0614fba565b60209081029190910101526040808c0151015181612bff896003614f80565b612c0a906006614f80565b81518110612c1a57612c1a614fba565b602090810291909101015260408b01516060015181612c3a896003614f80565b612c45906007614f80565b81518110612c5557612c55614fba565b602090810291909101015260608b01515181612c72896003614f80565b612c7d906008614f80565b81518110612c8d57612c8d614fba565b60209081029190910181019190915260608c0151015181612caf896003614f80565b612cba906009614f80565b81518110612cca57612cca614fba565b602090810291909101015260608b01516040015181612cea896003614f80565b612cf590600a614f80565b81518110612d0557612d05614fba565b60209081029190910101526060808c0151015181612d24896003614f80565b612d2f90600b614f80565b81518110612d3f57612d3f614fba565b602002602001018181525050612d5f81604051602001611baf919061519e565b9150612d6a82612e76565b6040805160208101869052929750909550612d859101611baf565b91505f612d9183612e76565b50959c949b509499509097509195505050505050565b5f5f5f612db2614dc5565b85815260c085810180515160208085019190915281518101516040808601919091528251810151606080870191909152925183015160808087019190915260e0808b0180515160a089015280518501519688019690965285518301519087015293518301516101008601529288018051516101208601528051820151610140860152805184015161016086015251909101516101808401529051612e5c91611baf918491016151d3565b9150612e6782612e76565b90979096509194509092505050565b5f80826001600160801b038116608082901c612e91826120b4565b9450612e9c816120b4565b9350505050915091565b5f612eb2846007614926565b90507f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f80000005f612f13612f0d612ee7856003612104565b610601612f02612ef78b5f614926565b6106018c601c614926565b6106018b601b614926565b836120d2565b9050612f94612f89612f70612f57612f3e85610606612f338d6002614926565b6106018e601b614926565b610606612f4c8c6003614926565b6106018d601c614926565b610606612f658b6004614926565b6106018c601d614926565b610606612f7e8a6005614926565b6106018b601e614926565b610606886001614926565b9050612fb381610606612fa8866001612104565b6106018a6026614926565b9050612fbf81846120d2565b9050612fcb81856120d2565b8552505f9050613005612ffb612ff0612fe588601b614926565b61060689601e614926565b610624886023614926565b610606875f614926565b905061301681610601846002612104565b905061302781610601846001612104565b905061303381836120d2565b905061303f81846120d2565b9050808460015b60200201525050505050565b5f5f5f61308861307e61306689601b614926565b6106066130748b6011614926565b8a606001516120d2565b87608001516120eb565b90506130c1816106016130b761309f8b601c614926565b6106066130ad8d6012614926565b8c606001516120d2565b89608001516120eb565b90506130e6816106016130b76130d88b601d614926565b6106066130ad8d6013614926565b905061310b816106016130b76130fd8b601e614926565b6106066130ad8d6014614926565b92505f905061312f61307e61312189601b614926565b6106066130748b600d614926565b9050613154816106016130b76131468b601c614926565b6106066130ad8d600e614926565b9050613179816106016130b761316b8b601d614926565b6106066130ad8d600f614926565b905061319e816106016130b76131908b601e614926565b6106066130ad8d6010614926565b91505f90506131c56131bf6131b489601f614926565b6106068a6019614926565b846120d2565b90506131fa816106246131f46131dc8b6027614926565b6106066131ea8d601a614926565b8c60a001516120d2565b856120d2565b905061320681856120d2565b6040860152505f6132296131f461321e89601a614926565b6106018a6027614926565b606090950194909452505050505050565b5f5f6132986132806132686132536130b78a6015614926565b6106066132618b6016614926565b8a516120d2565b6106066132768a6017614926565b89602001516120d2565b61060661328e896018614926565b88604001516120d2565b91505f6132cf6132b66132ac89601b614926565b88608001516120eb565b6106066132c48a6003614926565b6106018b6023614926565b90505f6132f86132e089601c614926565b6106066132ed8b5f614926565b6106018c6024614926565b90505f6133226133098a601d614926565b6106066133178c6001614926565b6106018d6025614926565b905061336161334961333b85610606868d5f01516120d2565b610606848c602001516120d2565b6106066133578c6004614926565b8b604001516120d2565b93505050505f6133756131bf886020614926565b90505f6133866131bf896020614926565b90505f6133be6133a561339a8b6022614926565b6106068c6006614926565b6106246133b38c6022614926565b6106018d6006614926565b90505f6133e26133dc6133d187896120d2565b6106018d6020614926565b83612104565b90506133ee81886120d2565b90505f6134166134086134028d6006614926565b876120d2565b6106246134028e6021614926565b60808a018390529050808960055b60200201525050505050505050505050565b5f6134425f6001612104565b90505f6134505f6002612104565b90505f61345e5f6003612104565b90505f61347a61346f88601c614926565b61062489601b614926565b90505f61349661348b89601d614926565b6106248a601c614926565b90505f6134b26134a78a601e614926565b6106248b601d614926565b90505f6134ce6134c38b6023614926565b6106248c601e614926565b9050836134df81610601818b6120eb565b90506134ef81610601878a6120eb565b90506134ff8161060187896120eb565b9050613510816106018d6008614926565b905061351c818a6120d2565b60c08b0152508261353181610601818b6120eb565b905061354181610601868a6120eb565b90506135518161060186896120eb565b9050613562816106018d6008614926565b905061356e818a6120d2565b60e08b0152508161358381610601818b6120eb565b905061359381610601858a6120eb565b90506135a38161060185896120eb565b90506135b4816106018d6008614926565b90506135c0818a6120d2565b6101008b015250806135d681610601818b6120eb565b90506135e681610601848a6120eb565b90506135f68161060184896120eb565b9050613607816106018d6008614926565b9050613613818a6120d2565b9050808a6009613424565b6136576040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b61366284601c614926565b815261366f84601d614926565b602082015261367f846023614926565b604082015261368f846026614926565b606082015261369f846025614926565b60808201526136af846024614926565b60a08201525f6136c0856002614926565b90505f6136cd865f614926565b90505f6136e18460400151855f0151612104565b90505f6136f6856020015186602001516120d2565b606086015190915086905f9061370c90806120d2565b90505f61372a61372489602001518a606001516120d2565b886120d2565b90505f6137496137428a60a001518b604001516120eb565b8a516120eb565b905061375861340282886120d2565b905061377f61377961377361376d8487612104565b88612104565b846120eb565b836120eb565b90506137a761379c61379183876120d2565b6106018f6009614926565b61060160018a612104565b6101408c015250505050602085015160808601515f916137c6916120eb565b90505f6137e46137da8860600151886120d2565b8860200151612104565b90505f6138086137f484876120d2565b6106066131f48b60a001518c5f0151612104565b905061383061382561381a838c6120d2565b6106018e6009614926565b610601600189612104565b6101608b0152505f9150613851905061384a8360116120eb565b87516120d2565b90505f61385e83846120eb565b905061386a81826120eb565b90505f6138788360096120d2565b90506138a161389b6131bf6138948b60a001518c5f01516120eb565b8b516120eb565b82612104565b60c089018190525f906138bc9061372490613791908d6120d2565b90506138cf8b600a6020020151826120eb565b6101408c0152505086515f92506138f6915061384a906138ef90806120eb565b88516120eb565b90505f613936613911836106018a5f01518b60a00151612104565b60208901516106249061392490806120eb565b6106018b602001518c608001516120eb565b905061395389600b6020020151610606613724613791858d6120d2565b89600b602002015250505050505050505050565b6139fb604051806102c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b613a30613a17613a0c87601b614926565b610601886024614926565b610606613a25886023614926565b61060189601c614926565b8152613a75613a6a613a51613a4688601b614926565b61060189601e614926565b610606613a5f89601c614926565b6106018a601d614926565b610624876025614926565b60408201819052613a8a90600160441b6120d2565b60408201819052613aa090610624876026614926565b604082018190528151613ab391906120eb565b60408201819052613ac990610601876005614926565b60408201528051613ade90600160441b6120d2565b808252613afe90610606613af3886023614926565b610601896024614926565b80825260208201819052613b1a90610624612fe588601d614926565b60208201819052613b3090610601876004614926565b6020820152805160608201819052613b4d9061060687601e614926565b60608201819052613b7190610624613b66886025614926565b610606896026614926565b60608201819052613b8690610601875f614926565b8160600181815250505f613baf613ba5836020015184604001516120eb565b83606001516120eb565b9050613bc081610601886003614926565b9050613bd8613bd0876024614926565b6140006120d2565b60808301819052613bee90610606886023614926565b60808301819052613c01906140006120d2565b60808301819052613c179061060688601d614926565b60808301819052613c2a906140006120d2565b60808301819052613c409061060688601c614926565b60808301819052613c53906140006120d2565b60808301819052613c699061060688601b614926565b60808301819052613c7f9061062488601e614926565b60808301819052613c9590610601886005614926565b6080830152613ca8613bd0876025614926565b60a08301819052613cbe90610606886024614926565b60a08301819052613cd1906140006120d2565b60a08301819052613ce790610606886023614926565b60a08301819052613cfa906140006120d2565b60a08301819052613d109061060688601e614926565b60a08301819052613d23906140006120d2565b60a08301819052613d399061060688601d614926565b60a08301819052613d4f90610624886026614926565b60a08301819052613d6490610601885f614926565b60a0830181905260808301515f91613d7c91906120eb565b9050613d8d81610601896004614926565b9050613da7613d9d88601d614926565b87604001516120d2565b60c08401819052613dc0906106066132768a601c614926565b60c08401819052613de090610606613dd98a601b614926565b89516120d2565b60c08401819052613df690610606896001614926565b60c0840181905260e08401819052613e139061062489601e614926565b60c0840152613e2661346f886023614926565b610140840152613e45613e3a886026614926565b61062489601e614926565b610120840152610140830151613e6a90613e5f90806120d2565b846101400151612104565b610280840152610140830151613eac90613ea190613e9a9061060160015f51602061523c5f395f51905f52614f6d565b60016120eb565b8461012001516120d2565b6101608401819052613ee390613ed590610601613eca8b6002614926565b6106018c6003614926565b6106016134028a600a614926565b6101a0860152610280830151613f0590613ed590610601613eca8b6002614926565b6101c086015260c0830151613f2d90610601613f228a6002614926565b6106018b6003614926565b6101e08401525f613f4c613f4289601e614926565b8560e00151612104565b9050613f5b61389b82836120d2565b6101a0850152613f6f61328e896025614926565b6101008501819052613f9390610606613f898b6024614926565b8a602001516120d2565b6101008501819052613fad906106066132618b6023614926565b610100850152613fcc613fc1896026614926565b856101000151612104565b6101008501525f613fe16134a78a6025614926565b905061403561400f612f0d613e9a88610140015160015f51602061523c5f395f51905f526106019190614f6d565b610601613e9a88610100015160015f51602061523c5f395f51905f526106019190614f6d565b61018086015261010085015161405a9061404f90806120d2565b866101000151612104565b6101c086015261018085015161408d90614079906106018c6007614926565b6106016140878c600a614926565b896120d2565b6101e08801526102808501516140ac90614079906106018c6007614926565b6102008801526101c08501516140cb90614079906106018c6007614926565b6102208801526101a08501516140e6906106018b6007614926565b6102008601526141056140fa8a6024614926565b6106248b601c614926565b610220860152610140850151614144906134a79061413990613e9a9061060160015f51602061523c5f395f51905f52614f6d565b8761022001516120d2565b61024086018190526101e0860151610260870181905261417b91610606906106016141708e6005614926565b6106018f6002614926565b610260860181905260c086015161419e9190610606906106016141708e5f614926565b61026086018190526102008601516141b691906120eb565b61026086018190526141cc9061377390866120eb565b6102a086018190526141e6906106016140878c600a614926565b6102a0860181905287600c6020020152505050505050505050565b6142776040518061022001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b61429061428585601b614926565b610606866002614926565b81526142ab6142a085601c614926565b610606866003614926565b60208201526142c96142be85601d614926565b610606866004614926565b60408201526142e76142dc85601e614926565b610606866005614926565b60608201528051614319906143129061430b9061430490806120d2565b84516120d2565b83516120d2565b82516120d2565b608082015260208101516143579061434d906143439061433990806120d2565b84602001516120d2565b83602001516120d2565b82602001516120d2565b60a082015260408101516143959061438b906143819061437790806120d2565b84604001516120d2565b83604001516120d2565b82604001516120d2565b60c082015260608101516143d3906143c9906143bf906143b590806120d2565b84606001516120d2565b83606001516120d2565b82606001516120d2565b60e0820152608081015160a08201516143ec91906120eb565b61010082015260c081015160e082015161440691906120eb565b61012082015260a081015161442a9061441f90806120eb565b8261012001516120eb565b61014082015260e081015161444e9061444390806120eb565b8261010001516120eb565b61016082015261012081015161446490806120eb565b6101e082018190526144859061447a90806120eb565b8261016001516120eb565b6101e082015261010081015161449b90806120eb565b6101a082018190526144bc906144b190806120eb565b8261014001516120eb565b6101a082018190526101608201516144d3916120eb565b6101808201526101408101516101e08201516144ef91906120eb565b6101c0820152614503612f0d85600b614926565b610200820181905261024084015161018083015161452e9261060691610601906106248a6023614926565b836012602002015261455e8360136020020151610606836102000151610601856101a001516106248a6024614926565b836013602002015261458e8360146020020151610606836102000151610601856101c001516106248a6025614926565b83601460200201526145be8360156020020151610606836102000151610601856101e001516106248a6026614926565b836015602002015250505050565b61461e6040518061016001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f60405180608001604052806146537f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e76120b4565b81526020016146817f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b6120b4565b81526020016146ae7e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac156120b4565b81526020016146dc7f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b6120b4565b905290506146f96146ee86601b614926565b610606876002614926565b610120830181905261472d9061472290613ea19061471790806120d2565b8561012001516120d2565b8361012001516120d2565b825261473a85601c614926565b602083015261474a85601d614926565b604083015261475a85601e614926565b60608301528151602083015161478291613ba59161477891906120eb565b84604001516120eb565b60808301526147956131bf86600c614926565b61014083015281516147b6906147ac90835f610ef3565b83608001516120eb565b60a08301526147e284601660200201516106068461014001516106018660a001516106248b6023614926565b6102c085015260208201516147fd906147ac90836001610ef3565b60c083015261482984601760200201516106068461014001516106018660c001516106248b6024614926565b6102e08501526040820151614844906147ac90836002610ef3565b60e083015261487084601860200201516106068461014001516106018660e001516106248b6025614926565b610300850152606082015161488b906147ac90836003610ef3565b6101008301526148b984601960200201516106068461014001516106018661010001516106248b6026614926565b846019613046565b5f6148cd8184816108d3565b905060015b601a81101561491f57614915826106068684601a81106148f4576148f4614fba565b602002015186614905600187614f6d565b60198110610ef357610ef3614fba565b91506001016148d2565b5092915050565b5f8282602781111561493a5761493a615207565b6028811061494a5761494a614fba565b60200201519392505050565b604051806103c001604052805f81526020015f81526020015f815260200161497c614dad565b8152602001614989614dad565b8152602001614996614dad565b81526020016149a3614dad565b81526020016149b0614dad565b81526020016149bd614dad565b81526020016149ca614dad565b81526020016149d7614dad565b81526020016149e4614dad565b81526020016149f1614dad565b81526020016149fe614dad565b8152602001614a0b614dad565b8152602001614a18614dad565b8152602001614a25614dad565b8152602001614a32614dad565b8152602001614a3f614dad565b8152602001614a4c614dad565b8152602001614a59614dad565b8152602001614a66614dad565b8152602001614a73614dad565b8152602001614a80614dad565b8152602001614a8d614dad565b8152602001614a9a614dad565b8152602001614aa7614dad565b8152602001614ab4614dad565b8152602001614ac1614dad565b8152602001614ace614dad565b905290565b604051806101e00160405280614ae7614de4565b8152602001614af4614c43565b8152602001614b01614c43565b8152602001614b0e614c43565b8152602001614b1b614c43565b8152602001614b28614c43565b8152602001614b35614c43565b8152602001614b42614c43565b8152602001614b4f614c43565b8152602001614b5c614e03565b8152602001614b69614e31565b8152602001614b76614e50565b8152602001614b83614cd5565b8152602001614b90614c43565b8152602001614ace614c43565b604051806101000160405280614bb1614c67565b8152602001614bbe614c97565b8152602001614bcb614cd5565b8152602001614bd8614cd5565b81526020015f81526020015f81526020015f81526020015f81525090565b604051806108c001604052806046906020820280368337509192915050565b604051806108c001604052806046905b614c2d614dad565b815260200190600190039081614c255790505090565b60405180608001604052805f81526020015f81526020015f81526020015f81525090565b6040518060c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6040518061032001604052806019906020820280368337509192915050565b6040518061012001604052806009906020820280368337509192915050565b604051806103800160405280601c906020820280368337509192915050565b6040518061052001604052806029906020820280368337509192915050565b60405180610da00160405280606d906020820280368337509192915050565b604051806103a00160405280601d906020820280368337509192915050565b6040518060a001604052806005906020820280368337509192915050565b6040518061010001604052806008906020820280368337509192915050565b604051806103400160405280601a906020820280368337509192915050565b60405180604001604052805f81526020015f81525090565b604051806101a00160405280600d906020820280368337509192915050565b6040518061020001604052806010906020820280368337509192915050565b604051806103800160405280601c905b614e1b614d6f565b815260200190600190039081614e135790505090565b6040518061050001604052806028906020820280368337509192915050565b604051806103600160405280601b905b614e68614c43565b815260200190600190039081614e605790505090565b5f5f5f5f60408587031215614e91575f5ffd5b84356001600160401b03811115614ea6575f5ffd5b8501601f81018713614eb6575f5ffd5b80356001600160401b03811115614ecb575f5ffd5b876020828401011115614edc575f5ffd5b6020918201955093508501356001600160401b03811115614efb575f5ffd5b8501601f81018713614f0b575f5ffd5b80356001600160401b03811115614f20575f5ffd5b8760208260051b8401011115614f34575f5ffd5b949793965060200194505050565b634e487b7160e01b5f52601160045260245ffd5b80820281158282048414176120cc576120cc614f42565b818103818111156120cc576120cc614f42565b808201808211156120cc576120cc614f42565b5f5f85851115614fa1575f5ffd5b83861115614fad575f5ffd5b5050820193919092039150565b634e487b7160e01b5f52603260045260245ffd5b5f60018201614fdf57614fdf614f42565b5060010190565b803560208310156120cc575f19602084900360031b1b1692915050565b5f8183825b6009811015615027578151835260209283019290910190600101615008565b5050506101208201905092915050565b634e487b7160e01b5f52601260045260245ffd5b5f8261505957615059615037565b500490565b5f8183825b6029811015615082578151835260209283019290910190600101615063565b5050506105208201905092915050565b5f8183825b606d8110156150b6578151835260209283019290910190600101615097565b505050610da08201905092915050565b5f8183825b601d8110156150ea5781518352602092830192909101906001016150cb565b5050506103a08201905092915050565b5f8183825b600581101561511e5781518352602092830192909101906001016150ff565b50505060a08201905092915050565b5f8261513b5761513b615037565b500690565b5f8161514e5761514e614f42565b505f190190565b5f82518060208501845e5f920191825250919050565b5f6020828403121561517b575f5ffd5b815180151581146119f6575f5ffd5b634e487b7160e01b5f52604160045260245ffd5b81515f90829060208501835b828110156151c85781518452602093840193909101906001016151aa565b509195945050505050565b5f8183825b600d8110156151f75781518352602092830192909101906001016151d8565b5050506101a08201905092915050565b634e487b7160e01b5f52602160045260245ffdfe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4730644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001";
4
+ export declare const HonkVerifierBytecode = "0x60e0604052348015600e575f5ffd5b506302000000608052601960a05261040c60c05260805160a05160c05161525d61005a5f395f61063401525f818161073f01528181610d210152610dbd01525f6105d8015261525d5ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b366004614e7f565b610054565b604051901515815260200160405180910390f35b5f6100626101c86020614f57565b8414610081576040516376ba560560e11b815260040160405180910390fd5b5f61008a6101a5565b90505f61009787876101ba565b9050601082604001516100aa9190614f6e565b84146100c95760405163fa06659360e01b815260040160405180910390fd5b5f6100e0828787865f015187604001516001610513565b90506101308686808060200260200160405190810160405280939291908181526020018383602002808284375f9201919091525050855185516060810151608090910151919350915060016105c2565b815160a001525f6101418383610737565b905080610161576040516313f8744360e31b815260040160405180910390fd5b5f61016d848685610838565b90508061018d576040516352ec174560e11b815260040160405180910390fd5b8180156101975750805b9a9950505050505050505050565b6101ad614957565b6101b56110b5565b905090565b6101c2614ad4565b5f805b6010811015610224576101f18583866101df826020614f81565b926101ec93929190614f94565b61199d565b8351826010811061020457610204614fbb565b60200201818152505060208261021a9190614f81565b91506001016101c5565b50610248848285610236826080614f81565b9261024393929190614f94565b6119fe565b6020830152610258608082614f81565b905061026b848285610236826080614f81565b604083015261027b608082614f81565b905061028e848285610236826080614f81565b606083015261029e608082614f81565b90506102b1848285610236826080614f81565b60c08301526102c1608082614f81565b90506102d4848285610236826080614f81565b60e08301526102e4608082614f81565b90506102f7848285610236826080614f81565b60808084019190915261030a9082614f81565b905061031d848285610236826080614f81565b61010083015261032e608082614f81565b9050610341848285610236826080614f81565b60a0830152610351608082614f81565b90505f5b601c8110156103d0575f5b60088110156103c75761037a8684876101df826020614f81565b84610120015183601c811061039157610391614fbb565b602002015182600881106103a7576103a7614fbb565b6020020181815250506020836103bd9190614f81565b9250600101610360565b50600101610355565b505f5b6028811015610424576103ed8583866101df826020614f81565b836101400151826028811061040457610404614fbb565b60200201818152505060208261041a9190614f81565b91506001016103d3565b505f5b6104336001601c614f6e565b81101561047c5761044b858386610236826080614f81565b83610160015182601b811061046257610462614fbb565b6020020152610472608083614f81565b9150600101610427565b505f5b601c8110156104d0576104998583866101df826020614f81565b83610180015182601c81106104b0576104b0614fbb565b6020020181815250506020826104c69190614f81565b915060010161047f565b506104e2848285610236826080614f81565b6101a08301526104f3608082614f81565b9050610506848285610236826080614f81565b6101c08301525092915050565b61051b614b9e565b5f61052b88888888888887611ace565b908352905061053a8189611b24565b6020840191909152905061054d81611cbe565b604084019190915290506105618882611d1f565b606084019190915290506105758882611df3565b608084019190915290506105898882611e7e565b60a0840191909152905061059d8882611fec565b60c084019190915290506105b1888261205e565b5060e0830152509695505050505050565b5f6001808261060b86610606896106016105fc8a7f0000000000000000000000000000000000000000000000000000000000000000614f81565b6120b5565b6120d3565b6120ec565b90505f610629876106248a6106016105fc8b6001614f81565b612105565b90505f5b61065860107f0000000000000000000000000000000000000000000000000000000000000000614f6e565b8110156106c5575f6106828c838151811061067557610675614fbb565b60200260200101516120b5565b90506106928661060186846120ec565b95506106a28561060185846120ec565b94506106ae848b6120ec565b93506106ba838b612105565b92505060010161062d565b505f5b601081101561072c575f8a82601081106106e4576106e4614fbb565b602002015190506106f98661060186846120ec565b95506107098561060185846120ec565b9450610715848b6120ec565b9350610721838b612105565b9250506001016106c8565b506101978484612134565b5f806001815b7f000000000000000000000000000000000000000000000000000000000000000081101561080e575f86610120015182601c811061077d5761077d614fbb565b602002015190505f61078f8286612142565b9050806107af576040516313f8744360e31b815260040160405180910390fd5b5f876060015184601c81106107c6576107c6614fbb565b602002015190506107d7838261215f565b95506107fe886040015185601c81106107f2576107f2614fbb565b6020020151868361230e565b945050505080600101905061073d565b505f610828866101400151865f0151876020015185612339565b90508281145b9695505050505050565b5f61087f6040518061012001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f61088d8460a001516123a7565b9050610897614bf7565b61089f614c16565b60e08601516108be906108b990855f5b6020020151612105565b61240c565b60a085015260e08601516108dd906108b990855f5b60200201516120ec565b60c080860182905260a0860151908801516108fc9261060691906120d3565b845260a086015161092a906109109061240c565b6106018660a001516106248a60c001518960c001516120d3565b6020850152600182526101a088015161094290612475565b81526001606085018190525f60808601525b602381116109fa5761097561096b865f01516124b4565b86606001516120d3565b83826046811061098757610987614fbb565b602002015260808501516101408a01516109ca9190610606906109ab600186614f6e565b602881106109bb576109bb614fbb565b602002015188606001516120d3565b8560800181815250506109e5856060015188608001516120d3565b60608601526109f381614fcf565b9050610954565b505f610a0860236001614f81565b90505b60288111610a8957610a2361096b86602001516124b4565b838260468110610a3557610a35614fbb565b602002015260808501516101408a0151610a599190610606906109ab600186614f6e565b856080018181525050610a74856060015188608001516120d3565b6060860152610a8281614fcf565b9050610a0b565b50606087015181600160200201526080870151816002602002015260a0870151816003602002015260c0870151816004602002015260e0870151816005602002015261010087015181600660200201526101208701518160076020020152610140870151816008602002015261016087015181600960200201526101a087015181600a602002015261018087015181600b60200201526101c087015181600c60200201526101e087015181600d602002015261020087015181600e602002015261022087015181600f60200201526102408701518160106020020152610260870151816011602002015261028087015181601260200201526102a087015181601360200201526102c087015181601460200201526102e08701518160156020020152610300870151816016602002015261032087015181601760200201526103408701518160186020020152610360870151816019602002015261038087015181601a60200201526103a087015181601b6020020181905250610c0f8860200151612475565b6103808201526040880151610c2390612475565b6103a08201526060880151610c3790612475565b6103c08201526080880151610c4b90612475565b6103e082015260a0880151610c5f90612475565b610400820152610100880151610c7490612475565b61042082015260c0880151610c8890612475565b61044082015260e0880151610c9c90612475565b6104608201526020880151610cb090612475565b6104808201526040880151610cc490612475565b6104a08201526060880151610cd890612475565b6104c08201526080880151610cec90612475565b6104e082015260a0880151610d0090612475565b610500820152606086015160808501516101808a01515f92610d45929091877f00000000000000000000000000000000000000000000000000000000000000006124cc565b805160a0870151919250610d58916120d3565b604086018190526101808a01515160c0890151610d88929161060691610d7e91906120d3565b8860c001516120d3565b604086015260c0870151610d9b906125e7565b60608601525f5b610dae6001601c614f6e565b811015610fb0575f610de160017f0000000000000000000000000000000000000000000000000000000000000000614f6e565b821015905080610f5657610e146108b98a60e0015188856001610e049190614f81565b601c81106108af576108af614fbb565b60a088015260e0890151610e42906108b99088610e32866001614f81565b601c81106108d3576108d3614fbb565b60c0880152606087015160a0880151610e5b91906120d3565b60e0880152606087015160c08a0151610e7791610d7e916120d3565b6101008801819052610e9990610e8c906124b4565b6106068960e001516124b4565b8583610ea760286001614f81565b610eb19190614f81565b60468110610ec157610ec1614fbb565b60200201526101008701516101808c01515f91610efd91610ee3866001614f81565b601c8110610ef357610ef3614fbb565b60200201516120d3565b9050610f19816106068a60e0015187876001610ee39190614f81565b9050610f298860400151826120ec565b6040890152606088015160c08b0151610f4f91610f45916120d3565b8b60c001516120d3565b6060890152505b610f7a8b610160015183601b8110610f7057610f70614fbb565b6020020151612475565b8483610f8860286001614f81565b610f929190614f81565b60468110610fa257610fa2614fbb565b602002015250600101610da2565b5060408051808201909152600181526002602082015282610fd3601c6028614f81565b60468110610fe357610fe3614fbb565b6020020152604085015183610ffa601c6028614f81565b6046811061100a5761100a614fbb565b60200201526101c08901515f9061102090612475565b90508083611030601c6028614f81565b61103b906001614f81565b6046811061104b5761104b614fbb565b602002015260e088015184611062601c6028614f81565b61106d906001614f81565b6046811061107d5761107d614fbb565b60200201525f61108d84866125f2565b90505f611099836126b8565b90506110a582826126fe565b9c9b505050505050505050505050565b6110bd614957565b50604080516103c08101825263020000008152601960208083019190915261040c82840152825180840184527f1b285a124dfa8ba4bdb5cde28217ade40b508f9f2cfa517332061c15ff9a9d8881527f15ce29ba3f68532371904499b97ea7f7a757c95cdea1bb132e64d5320d5bbd81818301526060830152825180840184527f2b111f4d74315f217076a3c08ec3880dad94be9487414f5f80110c3bcacb8e4c81527f2659109f2b57b0e445294ce0aed486724107f704540f9a4cb45f73e853d30478818301526080830152825180840184527f2c7d16ddbf130d2022acb209b448ad6f3f9da983f41d807cdfd2a6761414467481527f020058a70f9c50a45c4f48cf0eb68fc7b786419a6f02b2aa9a16015d30123caf8183015260a0830152825180840184527f1acdec345da2362d7b150ea9fc2032c44a7c76b48c2414d0961e9c756de869b881527f09264aa8fea5ff631eb3d6b5f7c597b37e03d00a61a9106c5ca1cbc5c5a69eb98183015260c0830152825180840184527f07cbb5fa335237a205972e9bc6dc6ab4ccdb210328f9d52f9604bfbec3aebdf081527f10ad27fd98be3b03d39847e686e60bf113e424c6b0af6083fb6b731663b8ad8a8183015260e0830152825180840184527f1cad710543f567004d808b35edd0bb820c06cf7bfcc273701c88c609e1b4333281527f15c21f9f2b6741e488677b627a0c17c95316a7acc4bdb350004c63fbf290916481830152610100830152825180840184527f25a5859635c879aab2434f0abb7d4d49ee8c6caab3e0be1e5dcc5b20164f96ef81527f2b8c29f921dad7a6b79c13d62ad140d6b2d14c0723f5650775209438e58af12281830152610120830152825180840184527f2e62f8aec83612797dc8d235f85fdab20528f574822b60508930fb330a3ee9aa81527f076cbf3a903ae099a82dafb7180a89d03b292e0a98f39f05b806a8b833ed183c81830152610140830152825180840184527f037f5f4d5025ce1a8b44200e2656f1975ea7fc6df430dc711e56da47ef6896f081527f1ae9821ec0ea851e96c4ccd86e9cd6139899a8662779c4da479acd710eee4ad381830152610160830152825180840184527f0fba55f96bb5e9a9047fd16bf4dd797d2905f6b0d2782af7edf09ad521a9fc4c81527f1ee3d7ce4ac96181180c351824926c9e7824dee0f7aa5ebf29a055fba2c79ae981830152610180830152825180840184527f05265fa09b37c19e2117f50d2e5d6513153a8552b1b98132b5142a18a359dac981527f120fea243f55a22e14d2e17ab5c0f2bbcca6ee747a80315560e8688aa9c80b7e818301526101a0830152825180840184527f07519bf4b53f5f8a28908792195587a318f46f116943b19081e6d8f3495eb3c181527f1af950fce5e027817b06cf3f79669ef2800b1f67040935d2af5afc0ae2ddcd62818301526101c0830152825180840184527f2292878d80e2e24fb4c03a19d57de02e17f26fca4f22383ed953e43882814c5081527f2162addc49b8c57dbc947b972118b1366f965631ab8bb2c4ba0b92af557d6b09818301526101e0830152825180840184527f054c35b0934f74311af7de46428784983f9e7e971d2854dd825e5f2aaa58563381527f2d74df704ba7a1c98b7a85d20b1335dfad688f3aa24a2d2f6b4e390796e5511c81830152610200830152825180840184527f273f504fa31101379461e9d306f80997ada1d48d502fc9975c0ae6433c0dd1ed81527f02dc873d13d05ae77f0dbe30e434356d87d70408b750f2fc57126bac12580b9881830152610220830152825180840184527f1d0640b0141265b51ebbd66d2ae0f311e709edc620170a3ce02ca365ba5a393d81527f0877adfd03c41c6cce5b60c6504d5deac52d880a918e8d8188bee5fc5e2a250581830152610240830152825180840184527f0f4ca3794dd40e321885df1150521e9ce6a49d29ea05d5737d59b7619131ce3481527f0154e0aba701ea6c86c975c6e9248f81d68e76ea615feebfe714aada042ba30181830152610260830152825180840184527f0fa831427fef81bad0184d14dadc6824e5b6abe8372f43ce0a8e9ed4772d49e381527f0a9bf95d10fd9724fd3b1b1aa85e1ad7d80ed25a23b9280fed6b46d8d704d01881830152610280830152825180840184527f1e6e3fb66f5ad38bec9384867c59b7ec67af14b1096f5deed19286592abe305081527f10606cf2ae5541863ee9fab6393c2cdd2b817f3497f1dbe09dfa42c8e4b9c20a818301526102a0830152825180840184527f26432d30b6e35f1ca8877c03ea9aa4f7aa7a571f4a6bf864c17b9812fc977fc081527f240db861760ad9e0fd282ce10f6fca8068606919e5e84a324ddb31ffdedc8b6d818301526102c0830152825180840184527f1063b2656d1fe0966493b6c13e5d4ed12bbabe577de7bd0ba841ec6ef7f9c17f81527f2c4ed9208bf52fb02ece075af2ba99cc926a86db76f479c4e16eacc2e4ff485e818301526102e0830152825180840184527f2f4e0e73619e22e05200bd9de4ea73a3fc38ac033787e58016ef8f6e0c20b1fb81527f2f2b94d720217b157176b458c9d8f1b192a1466618a7901bce7f435a1edd6da181830152610300830152825180840184527f2003a0aec140164182e4ff65e13c9fd005e08922f739d8b6423dcf8fa26f9ec281527f13793b4ea820fac86bf339259e4c76e9e5a49a35f7c1a1ccf7f2ed9e0215748881830152610320830152825180840184527f1abe3e80fbe4e7e479e25e018648cfbf398a6057281cecf3c3a76f220a62474081527f29a28edb5e574311167384f452aa8112795513c8c164fcbcd592386a7fbfc33381830152610340830152825180840184527f21ad8f9bf46d94bf9d93469d756464c74999dbb805c6ab7b2bfcb5c3a495c81081527f224803cf8531674748532f90c6a2a835030a07111344dc02418159a6178927a881830152610360830152825180840184526001815260028183015261038083015282518084019093527f271491fdcc97336875995d22adace6f395268ca0b7727f1ac2f37022b1239d7183527f13589ca41778848b7d2499e540f9bbd1934c34a0b62baefe2b67089a5353de86908301526103a081019190915290565b5f602082146119ea5760405162461bcd60e51b815260206004820152601460248201527334b73b30b634b210313cba32b99039b1b0b630b960611b60448201526064015b60405180910390fd5b6119f76105fc8385614fe7565b9392505050565b611a06614c44565b60808214611a4c5760405162461bcd60e51b81526020600482015260136024820152721a5b9d985b1a5908189e5d195cc81c1bda5b9d606a1b60448201526064016119e1565b604080516080810190915280611a6560205f8688614f94565b611a6e91614fe7565b8152602090810190611a84906040908688614f94565b611a8d91614fe7565b8152602001611aa0606060408688614f94565b611aa991614fe7565b8152602001611abc608060608688614f94565b611ac591614fe7565b90529392505050565b611ad6614c68565b5f611ae5898989898989612902565b604086019190915260208501919091529083529250611b04838a612da8565b608085019190915260608401919091529199919850909650505050505050565b611b2c614c98565b5f611b35614cb7565b848152610100848101805151602080850191909152815181015160408086019190915282518101516060808701919091529251830151608086015260a080890180515191870191909152805183015160c0870152805182015160e087015251909201519284019290925251611bcb91611bb091849101615004565b604051602081830303815290604052805190602001206120b5565b9150611bd682612e77565b6020850152835260015b611bec6002601961504c565b811015611c6c57611c0983604051602001611bb091815260200190565b9250611c1483612e77565b85611c20846002614f57565b60198110611c3057611c30614fbb565b6020020186611c40856002614f57565b611c4b906001614f81565b60198110611c5b57611c5b614fbb565b602002019190915252600101611be0565b50611c8382604051602001611bb091815260200190565b91505f611c8f83612e77565b85611c9c60016019614f6e565b60198110611cac57611cac614fbb565b60200201919091525050509250929050565b611cc6614cd6565b5f805b601c811015611d1857611ce884604051602001611bb091815260200190565b93505f611cf485612e77565b8584601c8110611d0657611d06614fbb565b60200201919091525050600101611cc9565b5090929050565b611d27614cd6565b5f805b601c811015611dea57611d3b614cb7565b8481525f5b6008811015611da45786610120015183601c8110611d6057611d60614fbb565b60200201518160088110611d7657611d76614fbb565b602002015182611d87836001614f81565b60098110611d9757611d97614fbb565b6020020152600101611d40565b50611db981604051602001611bb09190615004565b94505f611dc586612e77565b8685601c8110611dd757611dd7614fbb565b6020020191909152505050600101611d2a565b50909391925050565b5f5f611dfd614cf5565b8381525f5b6028811015611e50578561014001518160288110611e2257611e22614fbb565b602002015182611e33836001614f81565b60298110611e4357611e43614fbb565b6020020152600101611e02565b50611e6581604051602001611bb0919061505f565b91505f611e7183612e77565b5096929550919350505050565b5f5f611e88614d14565b8381525f5b611e996001601c614f6e565b811015611fd75785610160015181601b8110611eb757611eb7614fbb565b60200201515182611ec9836004614f57565b611ed4906001614f81565b606d8110611ee457611ee4614fbb565b602002015261016086015181601b8110611f0057611f00614fbb565b60200201516020015182826004611f179190614f57565b611f22906002614f81565b606d8110611f3257611f32614fbb565b602002015261016086015181601b8110611f4e57611f4e614fbb565b60200201516040015182611f63836004614f57565b611f6e906003614f81565b606d8110611f7e57611f7e614fbb565b602002015261016086015181601b8110611f9a57611f9a614fbb565b60200201516060015182611faf836004614f57565b611fba906004614f81565b606d8110611fca57611fca614fbb565b6020020152600101611e8d565b50611e6581604051602001611bb09190615093565b5f5f611ff6614d33565b8381525f5b601c8110156120495785610180015181601c811061201b5761201b614fbb565b60200201518261202c836001614f81565b601d811061203c5761203c614fbb565b6020020152600101611ffb565b50611e6581604051602001611bb091906150c7565b5f5f612068614d52565b8381526101a085018051516020808401919091528151810151604080850191909152825181015160608086019190915292519092015160808401529051611e6591611bb0918491016150fb565b5f6120cd5f51602061523d5f395f51905f528361512e565b92915050565b5f5f51602061523d5f395f51905f528284099392505050565b5f5f51602061523d5f395f51905f528284089392505050565b5f5f51602061523d5f395f51905f5261212b835f51602061523d5f395f51905f52614f6e565b84089392505050565b5f6119f7836106018461240c565b81515f908190612154908560016108d3565b929092149392505050565b60408051610100810182527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec5181526102d060208201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff1191810191909152609060608201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71608082015260f060a08201527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd3160c08201526113b060e08201525f906001825b60088110156122465761223c826106018784612105565b9150600101612225565b5061224f614d70565b5f5b60088110156122b0575f84826008811061226d5761226d614fbb565b60200201519050612282816106018985612105565b905061228d8161240c565b9050808383600881106122a2576122a2614fbb565b602002015250600101612251565b505f5b6008811015612303575f8782600881106122cf576122cf614fbb565b602002015190506122ec81848460088110610ef357610ef3614fbb565b90506122f886826120ec565b9550506001016122b3565b5061082e84836120d3565b5f5f612324600161060685610601896001612105565b905061233084826120d3565b95945050505050565b5f612342614d8f565b61234d868285612ea7565b61235986868386613053565b6123658686838661323b565b612370868285613437565b61237b86828561361f565b61238786868386613968565b612392868285614202565b61239d8682856145cd565b61082e81856148c2565b6123af614cd6565b81815260015b601c811015612406576123e7826123cd600184614f6e565b601c81106123dd576123dd614fbb565b60200201516125e7565b8282601c81106123f9576123f9614fbb565b60200201526001016123b5565b50919050565b5f5f8290505f604051602081526020808201526020604082015282606082015260025f51602061523d5f395f51905f520360808201525f51602061523d5f395f51905f5260a082015260205f60c08360055afa90508061246a575f5ffd5b50505f519392505050565b61247d614dae565b604051806040016040528060888460200151901b845f015117815260200160888460600151901b8460400151178152509050919050565b5f6120cd825f51602061523d5f395f51905f52614f6e565b6124d4614cd6565b601c5b80156125dd575f846124ea600184614f6e565b601c81106124fa576124fa614fbb565b602002015190505f8861250e600185614f6e565b601c811061251e5761251e614fbb565b602002015190505f61257961253d612536858c6120d3565b60026120d3565b6106248a61254c600189614f6e565b601c811061255c5761255c614fbb565b60200201516106016125738861060160018a612105565b87612105565b905061259a816106016108b961259487610601600189612105565b866120ec565b90508584116125c95797508780856125b3600187614f6e565b601c81106125c3576125c3614fbb565b60200201525b505050806125d690615141565b90506124d7565b5095945050505050565b5f6120cd82836120d3565b6125fa614dae565b5f612607601c6028614f81565b612612906002614f81565b90506001604051855151604082015285516020015160608201528451608082015260408160606040840160075afa8216915060015b838110156126a05760208102870160208202870181515160408501528151602001516060850152805160808501525050604080830160606040850160075afa8316925060408260808460065afa90921691600101612647565b50805184526020810151602085015250505092915050565b6126c0614dae565b5f51602061521d5f395f51905f5282602001515f51602061521d5f395f51905f526126eb9190614f6e565b6126f5919061512e565b60208301525090565b81516020808401518351848301516040805194850195909552938301919091527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c260608301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60808301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60a08301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60c083015260e08201526101008101919091527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c16101208201527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b06101408201527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe46101608201527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101808201525f9081906101a00160405160208183030381529060405290505f5f60086001600160a01b0316836040516128949190615156565b5f60405180830381855afa9150503d805f81146128cc576040519150601f19603f3d011682016040523d82523d5f602084013e6128d1565b606091505b50915091505f818060200190518101906128eb919061516c565b90508280156128f75750805b979650505050505050565b5f80808080612912876003614f81565b61291d90600c614f81565b6001600160401b038111156129345761293461518b565b60405190808252806020026020018201604052801561295d578160200160208202803683370190505b509050875f1b815f8151811061297557612975614fbb565b602002602001018181525050865f1b8160018151811061299757612997614fbb565b602002602001018181525050855f1b816002815181106129b9576129b9614fbb565b60209081029190910101525f5b6129d1601089614f6e565b811015612a22578a8a828181106129ea576129ea614fbb565b90506020020135828260036129ff9190614f81565b81518110612a0f57612a0f614fbb565b60209081029190910101526001016129c6565b505f5b6010811015612a93578b51612a4d908260108110612a4557612a45614fbb565b602002015190565b82826010612a5c8c6003614f81565b612a669190614f6e565b612a709190614f81565b81518110612a8057612a80614fbb565b6020908102919091010152600101612a25565b5060208b01515181612aa6896003614f81565b81518110612ab657612ab6614fbb565b6020908102919091018101919091528b810151015181612ad7896003614f81565b612ae2906001614f81565b81518110612af257612af2614fbb565b6020908102919091018101919091528b01516040015181612b14896003614f81565b612b1f906002614f81565b81518110612b2f57612b2f614fbb565b6020908102919091018101919091528b01516060015181612b51896003614f81565b612b5c906003614f81565b81518110612b6c57612b6c614fbb565b602090810291909101015260408b01515181612b89896003614f81565b612b94906004614f81565b81518110612ba457612ba4614fbb565b60209081029190910181019190915260408c0151015181612bc6896003614f81565b612bd1906005614f81565b81518110612be157612be1614fbb565b60209081029190910101526040808c0151015181612c00896003614f81565b612c0b906006614f81565b81518110612c1b57612c1b614fbb565b602090810291909101015260408b01516060015181612c3b896003614f81565b612c46906007614f81565b81518110612c5657612c56614fbb565b602090810291909101015260608b01515181612c73896003614f81565b612c7e906008614f81565b81518110612c8e57612c8e614fbb565b60209081029190910181019190915260608c0151015181612cb0896003614f81565b612cbb906009614f81565b81518110612ccb57612ccb614fbb565b602090810291909101015260608b01516040015181612ceb896003614f81565b612cf690600a614f81565b81518110612d0657612d06614fbb565b60209081029190910101526060808c0151015181612d25896003614f81565b612d3090600b614f81565b81518110612d4057612d40614fbb565b602002602001018181525050612d6081604051602001611bb0919061519f565b9150612d6b82612e77565b6040805160208101869052929750909550612d869101611bb0565b91505f612d9283612e77565b50959c949b509499509097509195505050505050565b5f5f5f612db3614dc6565b85815260c085810180515160208085019190915281518101516040808601919091528251810151606080870191909152925183015160808087019190915260e0808b0180515160a089015280518501519688019690965285518301519087015293518301516101008601529288018051516101208601528051820151610140860152805184015161016086015251909101516101808401529051612e5d91611bb0918491016151d4565b9150612e6882612e77565b90979096509194509092505050565b5f80826001600160801b038116608082901c612e92826120b5565b9450612e9d816120b5565b9350505050915091565b5f612eb3846007614927565b90507f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f80000005f612f14612f0e612ee8856003612105565b610601612f03612ef88b5f614927565b6106018c601c614927565b6106018b601b614927565b836120d3565b9050612f95612f8a612f71612f58612f3f85610606612f348d6002614927565b6106018e601b614927565b610606612f4d8c6003614927565b6106018d601c614927565b610606612f668b6004614927565b6106018c601d614927565b610606612f7f8a6005614927565b6106018b601e614927565b610606886001614927565b9050612fb481610606612fa9866001612105565b6106018a6026614927565b9050612fc081846120d3565b9050612fcc81856120d3565b8552505f9050613006612ffc612ff1612fe688601b614927565b61060689601e614927565b610624886023614927565b610606875f614927565b905061301781610601846002612105565b905061302881610601846001612105565b905061303481836120d3565b905061304081846120d3565b9050808460015b60200201525050505050565b5f5f5f61308961307f61306789601b614927565b6106066130758b6011614927565b8a606001516120d3565b87608001516120ec565b90506130c2816106016130b86130a08b601c614927565b6106066130ae8d6012614927565b8c606001516120d3565b89608001516120ec565b90506130e7816106016130b86130d98b601d614927565b6106066130ae8d6013614927565b905061310c816106016130b86130fe8b601e614927565b6106066130ae8d6014614927565b92505f905061313061307f61312289601b614927565b6106066130758b600d614927565b9050613155816106016130b86131478b601c614927565b6106066130ae8d600e614927565b905061317a816106016130b861316c8b601d614927565b6106066130ae8d600f614927565b905061319f816106016130b86131918b601e614927565b6106066130ae8d6010614927565b91505f90506131c66131c06131b589601f614927565b6106068a6019614927565b846120d3565b90506131fb816106246131f56131dd8b6027614927565b6106066131eb8d601a614927565b8c60a001516120d3565b856120d3565b905061320781856120d3565b6040860152505f61322a6131f561321f89601a614927565b6106018a6027614927565b606090950194909452505050505050565b5f5f6132996132816132696132546130b88a6015614927565b6106066132628b6016614927565b8a516120d3565b6106066132778a6017614927565b89602001516120d3565b61060661328f896018614927565b88604001516120d3565b91505f6132d06132b76132ad89601b614927565b88608001516120ec565b6106066132c58a6003614927565b6106018b6023614927565b90505f6132f96132e189601c614927565b6106066132ee8b5f614927565b6106018c6024614927565b90505f61332361330a8a601d614927565b6106066133188c6001614927565b6106018d6025614927565b905061336261334a61333c85610606868d5f01516120d3565b610606848c602001516120d3565b6106066133588c6004614927565b8b604001516120d3565b93505050505f6133766131c0886020614927565b90505f6133876131c0896020614927565b90505f6133bf6133a661339b8b6022614927565b6106068c6006614927565b6106246133b48c6022614927565b6106018d6006614927565b90505f6133e36133dd6133d287896120d3565b6106018d6020614927565b83612105565b90506133ef81886120d3565b90505f6134176134096134038d6006614927565b876120d3565b6106246134038e6021614927565b60808a018390529050808960055b60200201525050505050505050505050565b5f6134435f6001612105565b90505f6134515f6002612105565b90505f61345f5f6003612105565b90505f61347b61347088601c614927565b61062489601b614927565b90505f61349761348c89601d614927565b6106248a601c614927565b90505f6134b36134a88a601e614927565b6106248b601d614927565b90505f6134cf6134c48b6023614927565b6106248c601e614927565b9050836134e081610601818b6120ec565b90506134f081610601878a6120ec565b90506135008161060187896120ec565b9050613511816106018d6008614927565b905061351d818a6120d3565b60c08b0152508261353281610601818b6120ec565b905061354281610601868a6120ec565b90506135528161060186896120ec565b9050613563816106018d6008614927565b905061356f818a6120d3565b60e08b0152508161358481610601818b6120ec565b905061359481610601858a6120ec565b90506135a48161060185896120ec565b90506135b5816106018d6008614927565b90506135c1818a6120d3565b6101008b015250806135d781610601818b6120ec565b90506135e781610601848a6120ec565b90506135f78161060184896120ec565b9050613608816106018d6008614927565b9050613614818a6120d3565b9050808a6009613425565b6136586040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b61366384601c614927565b815261367084601d614927565b6020820152613680846023614927565b6040820152613690846026614927565b60608201526136a0846025614927565b60808201526136b0846024614927565b60a08201525f6136c1856002614927565b90505f6136ce865f614927565b90505f6136e28460400151855f0151612105565b90505f6136f7856020015186602001516120d3565b606086015190915086905f9061370d90806120d3565b90505f61372b61372589602001518a606001516120d3565b886120d3565b90505f61374a6137438a60a001518b604001516120ec565b8a516120ec565b905061375961340382886120d3565b905061378061377a61377461376e8487612105565b88612105565b846120ec565b836120ec565b90506137a861379d61379283876120d3565b6106018f6009614927565b61060160018a612105565b6101408c015250505050602085015160808601515f916137c7916120ec565b90505f6137e56137db8860600151886120d3565b8860200151612105565b90505f6138096137f584876120d3565b6106066131f58b60a001518c5f0151612105565b905061383161382661381b838c6120d3565b6106018e6009614927565b610601600189612105565b6101608b0152505f9150613852905061384b8360116120ec565b87516120d3565b90505f61385f83846120ec565b905061386b81826120ec565b90505f6138798360096120d3565b90506138a261389c6131c06138958b60a001518c5f01516120ec565b8b516120ec565b82612105565b60c089018190525f906138bd9061372590613792908d6120d3565b90506138d08b600a6020020151826120ec565b6101408c0152505086515f92506138f7915061384b906138f090806120ec565b88516120ec565b90505f613937613912836106018a5f01518b60a00151612105565b60208901516106249061392590806120ec565b6106018b602001518c608001516120ec565b905061395489600b6020020151610606613725613792858d6120d3565b89600b602002015250505050505050505050565b6139fc604051806102c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b613a31613a18613a0d87601b614927565b610601886024614927565b610606613a26886023614927565b61060189601c614927565b8152613a76613a6b613a52613a4788601b614927565b61060189601e614927565b610606613a6089601c614927565b6106018a601d614927565b610624876025614927565b60408201819052613a8b90600160441b6120d3565b60408201819052613aa190610624876026614927565b604082018190528151613ab491906120ec565b60408201819052613aca90610601876005614927565b60408201528051613adf90600160441b6120d3565b808252613aff90610606613af4886023614927565b610601896024614927565b80825260208201819052613b1b90610624612fe688601d614927565b60208201819052613b3190610601876004614927565b6020820152805160608201819052613b4e9061060687601e614927565b60608201819052613b7290610624613b67886025614927565b610606896026614927565b60608201819052613b8790610601875f614927565b8160600181815250505f613bb0613ba6836020015184604001516120ec565b83606001516120ec565b9050613bc181610601886003614927565b9050613bd9613bd1876024614927565b6140006120d3565b60808301819052613bef90610606886023614927565b60808301819052613c02906140006120d3565b60808301819052613c189061060688601d614927565b60808301819052613c2b906140006120d3565b60808301819052613c419061060688601c614927565b60808301819052613c54906140006120d3565b60808301819052613c6a9061060688601b614927565b60808301819052613c809061062488601e614927565b60808301819052613c9690610601886005614927565b6080830152613ca9613bd1876025614927565b60a08301819052613cbf90610606886024614927565b60a08301819052613cd2906140006120d3565b60a08301819052613ce890610606886023614927565b60a08301819052613cfb906140006120d3565b60a08301819052613d119061060688601e614927565b60a08301819052613d24906140006120d3565b60a08301819052613d3a9061060688601d614927565b60a08301819052613d5090610624886026614927565b60a08301819052613d6590610601885f614927565b60a0830181905260808301515f91613d7d91906120ec565b9050613d8e81610601896004614927565b9050613da8613d9e88601d614927565b87604001516120d3565b60c08401819052613dc1906106066132778a601c614927565b60c08401819052613de190610606613dda8a601b614927565b89516120d3565b60c08401819052613df790610606896001614927565b60c0840181905260e08401819052613e149061062489601e614927565b60c0840152613e27613470886023614927565b610140840152613e46613e3b886026614927565b61062489601e614927565b610120840152610140830151613e6b90613e6090806120d3565b846101400151612105565b610280840152610140830151613ead90613ea290613e9b9061060160015f51602061523d5f395f51905f52614f6e565b60016120ec565b8461012001516120d3565b6101608401819052613ee490613ed690610601613ecb8b6002614927565b6106018c6003614927565b6106016134038a600a614927565b6101a0860152610280830151613f0690613ed690610601613ecb8b6002614927565b6101c086015260c0830151613f2e90610601613f238a6002614927565b6106018b6003614927565b6101e08401525f613f4d613f4389601e614927565b8560e00151612105565b9050613f5c61389c82836120d3565b6101a0850152613f7061328f896025614927565b6101008501819052613f9490610606613f8a8b6024614927565b8a602001516120d3565b6101008501819052613fae906106066132628b6023614927565b610100850152613fcd613fc2896026614927565b856101000151612105565b6101008501525f613fe26134a88a6025614927565b9050614036614010612f0e613e9b88610140015160015f51602061523d5f395f51905f526106019190614f6e565b610601613e9b88610100015160015f51602061523d5f395f51905f526106019190614f6e565b61018086015261010085015161405b9061405090806120d3565b866101000151612105565b6101c086015261018085015161408e9061407a906106018c6007614927565b6106016140888c600a614927565b896120d3565b6101e08801526102808501516140ad9061407a906106018c6007614927565b6102008801526101c08501516140cc9061407a906106018c6007614927565b6102208801526101a08501516140e7906106018b6007614927565b6102008601526141066140fb8a6024614927565b6106248b601c614927565b610220860152610140850151614145906134a89061413a90613e9b9061060160015f51602061523d5f395f51905f52614f6e565b8761022001516120d3565b61024086018190526101e0860151610260870181905261417c91610606906106016141718e6005614927565b6106018f6002614927565b610260860181905260c086015161419f9190610606906106016141718e5f614927565b61026086018190526102008601516141b791906120ec565b61026086018190526141cd9061377490866120ec565b6102a086018190526141e7906106016140888c600a614927565b6102a0860181905287600c6020020152505050505050505050565b6142786040518061022001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b61429161428685601b614927565b610606866002614927565b81526142ac6142a185601c614927565b610606866003614927565b60208201526142ca6142bf85601d614927565b610606866004614927565b60408201526142e86142dd85601e614927565b610606866005614927565b6060820152805161431a906143139061430c9061430590806120d3565b84516120d3565b83516120d3565b82516120d3565b608082015260208101516143589061434e906143449061433a90806120d3565b84602001516120d3565b83602001516120d3565b82602001516120d3565b60a082015260408101516143969061438c906143829061437890806120d3565b84604001516120d3565b83604001516120d3565b82604001516120d3565b60c082015260608101516143d4906143ca906143c0906143b690806120d3565b84606001516120d3565b83606001516120d3565b82606001516120d3565b60e0820152608081015160a08201516143ed91906120ec565b61010082015260c081015160e082015161440791906120ec565b61012082015260a081015161442b9061442090806120ec565b8261012001516120ec565b61014082015260e081015161444f9061444490806120ec565b8261010001516120ec565b61016082015261012081015161446590806120ec565b6101e082018190526144869061447b90806120ec565b8261016001516120ec565b6101e082015261010081015161449c90806120ec565b6101a082018190526144bd906144b290806120ec565b8261014001516120ec565b6101a082018190526101608201516144d4916120ec565b6101808201526101408101516101e08201516144f091906120ec565b6101c0820152614504612f0e85600b614927565b610200820181905261024084015161018083015161452f9261060691610601906106248a6023614927565b836012602002015261455f8360136020020151610606836102000151610601856101a001516106248a6024614927565b836013602002015261458f8360146020020151610606836102000151610601856101c001516106248a6025614927565b83601460200201526145bf8360156020020151610606836102000151610601856101e001516106248a6026614927565b836015602002015250505050565b61461f6040518061016001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f60405180608001604052806146547f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e76120b5565b81526020016146827f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b6120b5565b81526020016146af7e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac156120b5565b81526020016146dd7f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b6120b5565b905290506146fa6146ef86601b614927565b610606876002614927565b610120830181905261472e9061472390613ea29061471890806120d3565b8561012001516120d3565b8361012001516120d3565b825261473b85601c614927565b602083015261474b85601d614927565b604083015261475b85601e614927565b60608301528151602083015161478391613ba69161477991906120ec565b84604001516120ec565b60808301526147966131c086600c614927565b61014083015281516147b7906147ad90835f610ef3565b83608001516120ec565b60a08301526147e384601660200201516106068461014001516106018660a001516106248b6023614927565b6102c085015260208201516147fe906147ad90836001610ef3565b60c083015261482a84601760200201516106068461014001516106018660c001516106248b6024614927565b6102e08501526040820151614845906147ad90836002610ef3565b60e083015261487184601860200201516106068461014001516106018660e001516106248b6025614927565b610300850152606082015161488c906147ad90836003610ef3565b6101008301526148ba84601960200201516106068461014001516106018661010001516106248b6026614927565b846019613047565b5f6148ce8184816108d3565b905060015b601a81101561492057614916826106068684601a81106148f5576148f5614fbb565b602002015186614906600187614f6e565b60198110610ef357610ef3614fbb565b91506001016148d3565b5092915050565b5f8282602781111561493b5761493b615208565b6028811061494b5761494b614fbb565b60200201519392505050565b604051806103c001604052805f81526020015f81526020015f815260200161497d614dae565b815260200161498a614dae565b8152602001614997614dae565b81526020016149a4614dae565b81526020016149b1614dae565b81526020016149be614dae565b81526020016149cb614dae565b81526020016149d8614dae565b81526020016149e5614dae565b81526020016149f2614dae565b81526020016149ff614dae565b8152602001614a0c614dae565b8152602001614a19614dae565b8152602001614a26614dae565b8152602001614a33614dae565b8152602001614a40614dae565b8152602001614a4d614dae565b8152602001614a5a614dae565b8152602001614a67614dae565b8152602001614a74614dae565b8152602001614a81614dae565b8152602001614a8e614dae565b8152602001614a9b614dae565b8152602001614aa8614dae565b8152602001614ab5614dae565b8152602001614ac2614dae565b8152602001614acf614dae565b905290565b604051806101e00160405280614ae8614de5565b8152602001614af5614c44565b8152602001614b02614c44565b8152602001614b0f614c44565b8152602001614b1c614c44565b8152602001614b29614c44565b8152602001614b36614c44565b8152602001614b43614c44565b8152602001614b50614c44565b8152602001614b5d614e04565b8152602001614b6a614e32565b8152602001614b77614e51565b8152602001614b84614cd6565b8152602001614b91614c44565b8152602001614acf614c44565b604051806101000160405280614bb2614c68565b8152602001614bbf614c98565b8152602001614bcc614cd6565b8152602001614bd9614cd6565b81526020015f81526020015f81526020015f81526020015f81525090565b604051806108c001604052806046906020820280368337509192915050565b604051806108c001604052806046905b614c2e614dae565b815260200190600190039081614c265790505090565b60405180608001604052805f81526020015f81526020015f81526020015f81525090565b6040518060c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6040518061032001604052806019906020820280368337509192915050565b6040518061012001604052806009906020820280368337509192915050565b604051806103800160405280601c906020820280368337509192915050565b6040518061052001604052806029906020820280368337509192915050565b60405180610da00160405280606d906020820280368337509192915050565b604051806103a00160405280601d906020820280368337509192915050565b6040518060a001604052806005906020820280368337509192915050565b6040518061010001604052806008906020820280368337509192915050565b604051806103400160405280601a906020820280368337509192915050565b60405180604001604052805f81526020015f81525090565b604051806101a00160405280600d906020820280368337509192915050565b6040518061020001604052806010906020820280368337509192915050565b604051806103800160405280601c905b614e1c614d70565b815260200190600190039081614e145790505090565b6040518061050001604052806028906020820280368337509192915050565b604051806103600160405280601b905b614e69614c44565b815260200190600190039081614e615790505090565b5f5f5f5f60408587031215614e92575f5ffd5b84356001600160401b03811115614ea7575f5ffd5b8501601f81018713614eb7575f5ffd5b80356001600160401b03811115614ecc575f5ffd5b876020828401011115614edd575f5ffd5b6020918201955093508501356001600160401b03811115614efc575f5ffd5b8501601f81018713614f0c575f5ffd5b80356001600160401b03811115614f21575f5ffd5b8760208260051b8401011115614f35575f5ffd5b949793965060200194505050565b634e487b7160e01b5f52601160045260245ffd5b80820281158282048414176120cd576120cd614f43565b818103818111156120cd576120cd614f43565b808201808211156120cd576120cd614f43565b5f5f85851115614fa2575f5ffd5b83861115614fae575f5ffd5b5050820193919092039150565b634e487b7160e01b5f52603260045260245ffd5b5f60018201614fe057614fe0614f43565b5060010190565b803560208310156120cd575f19602084900360031b1b1692915050565b5f8183825b6009811015615028578151835260209283019290910190600101615009565b5050506101208201905092915050565b634e487b7160e01b5f52601260045260245ffd5b5f8261505a5761505a615038565b500490565b5f8183825b6029811015615083578151835260209283019290910190600101615064565b5050506105208201905092915050565b5f8183825b606d8110156150b7578151835260209283019290910190600101615098565b505050610da08201905092915050565b5f8183825b601d8110156150eb5781518352602092830192909101906001016150cc565b5050506103a08201905092915050565b5f8183825b600581101561511f578151835260209283019290910190600101615100565b50505060a08201905092915050565b5f8261513c5761513c615038565b500690565b5f8161514f5761514f614f43565b505f190190565b5f82518060208501845e5f920191825250919050565b5f6020828403121561517c575f5ffd5b815180151581146119f7575f5ffd5b634e487b7160e01b5f52604160045260245ffd5b81515f90829060208501835b828110156151c95781518452602093840193909101906001016151ab565b509195945050505050565b5f8183825b600d8110156151f85781518352602092830192909101906001016151d9565b5050506101a08201905092915050565b634e487b7160e01b5f52602160045260245ffdfe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4730644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001";
5
5
  /**
6
6
  * HonkVerifier link references.
7
7
  */
@@ -1 +1 @@
1
- {"version":3,"file":"HonkVerifierBytecode.d.ts","sourceRoot":"","sources":["../src/HonkVerifierBytecode.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,eAAO,MAAM,oBAAoB,m3yCAAm3yC,CAAC;AACr5yC;;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,q3yCAAq3yC,CAAC;AACv5yC;;GAEG;AACH,eAAO,MAAM,0BAA0B,IAAc,CAAC"}