@arbitrum/nitro-contracts 1.0.2 → 1.0.3-beta.1

package/build/contracts/src/osp/OneStepProverHostIo.sol/OneStepProverHostIo.json

@@ -0,0 +1,477 @@
+{
+  "_format": "hh-sol-artifact-1",
+  "contractName": "OneStepProverHostIo",
+  "sourceName": "src/osp/OneStepProverHostIo.sol",
+  "abi": [
+    {
+      "inputs": [
+        {
+          "components": [
+            {
+              "internalType": "uint256",
+              "name": "maxInboxMessagesRead",
+              "type": "uint256"
+            },
+            {
+              "internalType": "contract IBridge",
+              "name": "bridge",
+              "type": "address"
+            }
+          ],
+          "internalType": "struct ExecutionContext",
+          "name": "execCtx",
+          "type": "tuple"
+        },
+        {
+          "components": [
+            {
+              "internalType": "enum MachineStatus",
+              "name": "status",
+              "type": "uint8"
+            },
+            {
+              "components": [
+                {
+                  "components": [
+                    {
+                      "components": [
+                        {
+                          "internalType": "enum ValueType",
+                          "name": "valueType",
+                          "type": "uint8"
+                        },
+                        {
+                          "internalType": "uint256",
+                          "name": "contents",
+                          "type": "uint256"
+                        }
+                      ],
+                      "internalType": "struct Value[]",
+                      "name": "inner",
+                      "type": "tuple[]"
+                    }
+                  ],
+                  "internalType": "struct ValueArray",
+                  "name": "proved",
+                  "type": "tuple"
+                },
+                {
+                  "internalType": "bytes32",
+                  "name": "remainingHash",
+                  "type": "bytes32"
+                }
+              ],
+              "internalType": "struct ValueStack",
+              "name": "valueStack",
+              "type": "tuple"
+            },
+            {
+              "components": [
+                {
+                  "components": [
+                    {
+                      "components": [
+                        {
+                          "internalType": "enum ValueType",
+                          "name": "valueType",
+                          "type": "uint8"
+                        },
+                        {
+                          "internalType": "uint256",
+                          "name": "contents",
+                          "type": "uint256"
+                        }
+                      ],
+                      "internalType": "struct Value[]",
+                      "name": "inner",
+                      "type": "tuple[]"
+                    }
+                  ],
+                  "internalType": "struct ValueArray",
+                  "name": "proved",
+                  "type": "tuple"
+                },
+                {
+                  "internalType": "bytes32",
+                  "name": "remainingHash",
+                  "type": "bytes32"
+                }
+              ],
+              "internalType": "struct ValueStack",
+              "name": "internalStack",
+              "type": "tuple"
+            },
+            {
+              "components": [
+                {
+                  "components": [
+                    {
+                      "components": [
+                        {
+                          "internalType": "enum ValueType",
+                          "name": "valueType",
+                          "type": "uint8"
+                        },
+                        {
+                          "internalType": "uint256",
+                          "name": "contents",
+                          "type": "uint256"
+                        }
+                      ],
+                      "internalType": "struct Value",
+                      "name": "returnPc",
+                      "type": "tuple"
+                    },
+                    {
+                      "internalType": "bytes32",
+                      "name": "localsMerkleRoot",
+                      "type": "bytes32"
+                    },
+                    {
+                      "internalType": "uint32",
+                      "name": "callerModule",
+                      "type": "uint32"
+                    },
+                    {
+                      "internalType": "uint32",
+                      "name": "callerModuleInternals",
+                      "type": "uint32"
+                    }
+                  ],
+                  "internalType": "struct StackFrame[]",
+                  "name": "proved",
+                  "type": "tuple[]"
+                },
+                {
+                  "internalType": "bytes32",
+                  "name": "remainingHash",
+                  "type": "bytes32"
+                }
+              ],
+              "internalType": "struct StackFrameWindow",
+              "name": "frameStack",
+              "type": "tuple"
+            },
+            {
+              "internalType": "bytes32",
+              "name": "globalStateHash",
+              "type": "bytes32"
+            },
+            {
+              "internalType": "uint32",
+              "name": "moduleIdx",
+              "type": "uint32"
+            },
+            {
+              "internalType": "uint32",
+              "name": "functionIdx",
+              "type": "uint32"
+            },
+            {
+              "internalType": "uint32",
+              "name": "functionPc",
+              "type": "uint32"
+            },
+            {
+              "internalType": "bytes32",
+              "name": "modulesRoot",
+              "type": "bytes32"
+            }
+          ],
+          "internalType": "struct Machine",
+          "name": "startMach",
+          "type": "tuple"
+        },
+        {
+          "components": [
+            {
+              "internalType": "bytes32",
+              "name": "globalsMerkleRoot",
+              "type": "bytes32"
+            },
+            {
+              "components": [
+                {
+                  "internalType": "uint64",
+                  "name": "size",
+                  "type": "uint64"
+                },
+                {
+                  "internalType": "uint64",
+                  "name": "maxSize",
+                  "type": "uint64"
+                },
+                {
+                  "internalType": "bytes32",
+                  "name": "merkleRoot",
+                  "type": "bytes32"
+                }
+              ],
+              "internalType": "struct ModuleMemory",
+              "name": "moduleMemory",
+              "type": "tuple"
+            },
+            {
+              "internalType": "bytes32",
+              "name": "tablesMerkleRoot",
+              "type": "bytes32"
+            },
+            {
+              "internalType": "bytes32",
+              "name": "functionsMerkleRoot",
+              "type": "bytes32"
+            },
+            {
+              "internalType": "uint32",
+              "name": "internalsOffset",
+              "type": "uint32"
+            }
+          ],
+          "internalType": "struct Module",
+          "name": "startMod",
+          "type": "tuple"
+        },
+        {
+          "components": [
+            {
+              "internalType": "uint16",
+              "name": "opcode",
+              "type": "uint16"
+            },
+            {
+              "internalType": "uint256",
+              "name": "argumentData",
+              "type": "uint256"
+            }
+          ],
+          "internalType": "struct Instruction",
+          "name": "inst",
+          "type": "tuple"
+        },
+        {
+          "internalType": "bytes",
+          "name": "proof",
+          "type": "bytes"
+        }
+      ],
+      "name": "executeOneStep",
+      "outputs": [
+        {
+          "components": [
+            {
+              "internalType": "enum MachineStatus",
+              "name": "status",
+              "type": "uint8"
+            },
+            {
+              "components": [
+                {
+                  "components": [
+                    {
+                      "components": [
+                        {
+                          "internalType": "enum ValueType",
+                          "name": "valueType",
+                          "type": "uint8"
+                        },
+                        {
+                          "internalType": "uint256",
+                          "name": "contents",
+                          "type": "uint256"
+                        }
+                      ],
+                      "internalType": "struct Value[]",
+                      "name": "inner",
+                      "type": "tuple[]"
+                    }
+                  ],
+                  "internalType": "struct ValueArray",
+                  "name": "proved",
+                  "type": "tuple"
+                },
+                {
+                  "internalType": "bytes32",
+                  "name": "remainingHash",
+                  "type": "bytes32"
+                }
+              ],
+              "internalType": "struct ValueStack",
+              "name": "valueStack",
+              "type": "tuple"
+            },
+            {
+              "components": [
+                {
+                  "components": [
+                    {
+                      "components": [
+                        {
+                          "internalType": "enum ValueType",
+                          "name": "valueType",
+                          "type": "uint8"
+                        },
+                        {
+                          "internalType": "uint256",
+                          "name": "contents",
+                          "type": "uint256"
+                        }
+                      ],
+                      "internalType": "struct Value[]",
+                      "name": "inner",
+                      "type": "tuple[]"
+                    }
+                  ],
+                  "internalType": "struct ValueArray",
+                  "name": "proved",
+                  "type": "tuple"
+                },
+                {
+                  "internalType": "bytes32",
+                  "name": "remainingHash",
+                  "type": "bytes32"
+                }
+              ],
+              "internalType": "struct ValueStack",
+              "name": "internalStack",
+              "type": "tuple"
+            },
+            {
+              "components": [
+                {
+                  "components": [
+                    {
+                      "components": [
+                        {
+                          "internalType": "enum ValueType",
+                          "name": "valueType",
+                          "type": "uint8"
+                        },
+                        {
+                          "internalType": "uint256",
+                          "name": "contents",
+                          "type": "uint256"
+                        }
+                      ],
+                      "internalType": "struct Value",
+                      "name": "returnPc",
+                      "type": "tuple"
+                    },
+                    {
+                      "internalType": "bytes32",
+                      "name": "localsMerkleRoot",
+                      "type": "bytes32"
+                    },
+                    {
+                      "internalType": "uint32",
+                      "name": "callerModule",
+                      "type": "uint32"
+                    },
+                    {
+                      "internalType": "uint32",
+                      "name": "callerModuleInternals",
+                      "type": "uint32"
+                    }
+                  ],
+                  "internalType": "struct StackFrame[]",
+                  "name": "proved",
+                  "type": "tuple[]"
+                },
+                {
+                  "internalType": "bytes32",
+                  "name": "remainingHash",
+                  "type": "bytes32"
+                }
+              ],
+              "internalType": "struct StackFrameWindow",
+              "name": "frameStack",
+              "type": "tuple"
+            },
+            {
+              "internalType": "bytes32",
+              "name": "globalStateHash",
+              "type": "bytes32"
+            },
+            {
+              "internalType": "uint32",
+              "name": "moduleIdx",
+              "type": "uint32"
+            },
+            {
+              "internalType": "uint32",
+              "name": "functionIdx",
+              "type": "uint32"
+            },
+            {
+              "internalType": "uint32",
+              "name": "functionPc",
+              "type": "uint32"
+            },
+            {
+              "internalType": "bytes32",
+              "name": "modulesRoot",
+              "type": "bytes32"
+            }
+          ],
+          "internalType": "struct Machine",
+          "name": "mach",
+          "type": "tuple"
+        },
+        {
+          "components": [
+            {
+              "internalType": "bytes32",
+              "name": "globalsMerkleRoot",
+              "type": "bytes32"
+            },
+            {
+              "components": [
+                {
+                  "internalType": "uint64",
+                  "name": "size",
+                  "type": "uint64"
+                },
+                {
+                  "internalType": "uint64",
+                  "name": "maxSize",
+                  "type": "uint64"
+                },
+                {
+                  "internalType": "bytes32",
+                  "name": "merkleRoot",
+                  "type": "bytes32"
+                }
+              ],
+              "internalType": "struct ModuleMemory",
+              "name": "moduleMemory",
+              "type": "tuple"
+            },
+            {
+              "internalType": "bytes32",
+              "name": "tablesMerkleRoot",
+              "type": "bytes32"
+            },
+            {
+              "internalType": "bytes32",
+              "name": "functionsMerkleRoot",
+              "type": "bytes32"
+            },
+            {
+              "internalType": "uint32",
+              "name": "internalsOffset",
+              "type": "uint32"
+            }
+          ],
+          "internalType": "struct Module",
+          "name": "mod",
+          "type": "tuple"
+        }
+      ],
+      "stateMutability": "view",
+      "type": "function"
+    }
+  ],
+  "bytecode": "0x608060405234801561001057600080fd5b5061265e806100206000396000f3fe608060405234801561001057600080fd5b506004361061002b5760003560e01c8063da78e7d114610030575b600080fd5b61004361003e366004611b5a565b61005a565b604051610051929190611d6c565b60405180910390f35b610062611a4c565b6040805160a0810182526000808252825160608082018552828252602080830184905282860184905284019190915292820181905291810182905260808101919091526100ae87612214565b91506100bf36879003870187612317565b905060006100d060208701876123ae565b9050611af561801061ffff8316108015906100f1575061801361ffff831611155b156100ff57506101a8610189565b61ffff8216618020141561011657506102f0610189565b61ffff8216618021141561012d5750610590610189565b61ffff8216618022141561014457506108b5610189565b60405162461bcd60e51b8152602060048201526015602482015274494e56414c49445f4d454d4f52595f4f50434f444560581b60448201526064015b60405180910390fd5b61019b8a85858a8a8a8763ffffffff16565b5050965096945050505050565b60006101b760208501856123ae565b90506101c1611aff565b60006101ce8585836108c1565b60808a015191935091506101e18361099c565b146102215760405162461bcd60e51b815260206004820152601060248201526f4241445f474c4f42414c5f535441544560801b6044820152606401610180565b61ffff8316618010148061023a575061ffff8316618011145b1561025c57610257888884896102528987818d6123d2565b610a10565b6102d4565b61ffff83166180121415610274576102578883610bb8565b61ffff8316618013141561028c576102578883610c4f565b60405162461bcd60e51b815260206004820152601a60248201527f494e56414c49445f474c4f42414c53544154455f4f50434f44450000000000006044820152606401610180565b6102dd8261099c565b6080909801979097525050505050505050565b60006103076103028760200151610cc5565b610cea565b63ffffffff16905060006103216103028860200151610cc5565b63ffffffff1690508560200151600001516001600160401b03168160206103489190612412565b118061035d575061035a602082612440565b15155b15610384578660025b9081600381111561037957610379611c3d565b815250505050610588565b6000610391602083612454565b90506000806103ac6040518060200160405280606081525090565b60208a01516103be90858a8a87610d7b565b9094509092509050606060008989868181106103dc576103dc612468565b919091013560f81c91508590506103f28161247e565b95505060ff81166104cb5736600061040c8b88818f6123d2565b91509150858282604051610421929190612499565b6040518091039020146104655760405162461bcd60e51b815260206004820152600c60248201526b4241445f505245494d41474560a01b6044820152606401610180565b60006104728b6020612412565b90508181111561047f5750805b61048b818c84866123d2565b8080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525092975061050c95505050505050565b60405162461bcd60e51b81526020600482015260166024820152752aa725a727aba72fa82922a4a6a0a3a2afa82927a7a360511b6044820152606401610180565b60005b82518110156105505761053c858285848151811061052f5761052f612468565b016020015160f81c610e15565b9450806105488161247e565b91505061050f565b5061055c838786610e9b565b60208d015160400152815161057f9061057490610f1a565b60208f015190610f4d565b50505050505050505b505050505050565b60006105a26103028760200151610cc5565b63ffffffff16905060006105bc6103028860200151610cc5565b63ffffffff16905060006105db6105d68960200151610cc5565b610f5d565b6001600160401b0316905060208601351580156105f9575088358110155b15610621578760035b9081600381111561061557610615611c3d565b81525050505050610588565b602080880151516001600160401b03169061063d908490612412565b1180610652575061064f602083612440565b15155b1561065f57876002610602565b600061066c602084612454565b90506000806106876040518060200160405280606081525090565b60208b015161069990858b8b87610d7b565b90945090925090508888848181106106b3576106b3612468565b909101356001600160f81b0319161590506107065760405162461bcd60e51b81526020600482015260136024820152722aa725a727aba72fa4a72127ac2fa82927a7a360691b6044820152606401610180565b826107108161247e565b935050611af56000808c60200135141561072e57610fee915061076e565b60018c602001351415610745576112ed915061076e565b8d60025b9081600381111561075c5761075c611c3d565b81525050505050505050505050610588565b61078e8f888d8d89908092610785939291906123d2565b8663ffffffff16565b90508061079d578d6002610749565b5050828810156107e35760405162461bcd60e51b81526020600482015260116024820152702120a22fa6a2a9a9a0a3a2afa82927a7a360791b6044820152606401610180565b60006107ef848a6124a9565b905060005b60208163ffffffff1610801561081857508161081663ffffffff83168b612412565b105b156108715761085d8463ffffffff83168d8d826108358f8c612412565b61083f9190612412565b81811061084e5761084e612468565b919091013560f81c9050610e15565b935080610869816124c0565b9150506107f4565b61087c838786610e9b565b60208e0151604001526108a461089182610f1a565b8f60200151610f4d90919063ffffffff16565b505050505050505050505050505050565b50506001909252505050565b6108c9611aff565b816108d2611b24565b6108da611b24565b60005b600260ff82161015610925576108f488888661158f565b848360ff166002811061090957610909612468565b602002019190915293508061091d816124e4565b9150506108dd565b5060005b600260ff8216101561097f576109408888866115ab565b838360ff166002811061095557610955612468565b6001600160401b039093166020939093020191909152935080610977816124e4565b915050610929565b506040805180820190915291825260208201529590945092505050565b8051805160209182015192820151805190830151604080516c23b637b130b61039ba30ba329d60991b81870152602d810194909452604d8401959095526001600160c01b031960c092831b8116606d850152911b1660758201528251808203605d018152607d909101909252815191012090565b6000610a226103028860200151610cc5565b63ffffffff1690506000610a3c6103028960200151610cc5565b9050600263ffffffff821610610a5457876002610366565b602080880151516001600160401b031690610a70908490612412565b1180610a855750610a82602083612440565b15155b15610a9257876002610366565b6000610a9f602084612454565b9050600080610aba6040518060200160405280606081525090565b60208b0151610acc90858a8a87610d7b565b9094509092509050618010610ae460208b018b6123ae565b61ffff161415610b2957610b1b848b600001518763ffffffff1660028110610b0e57610b0e612468565b6020020151839190610e9b565b60208c015160400152610baa565b618011610b3960208b018b6123ae565b61ffff161415610b68578951829063ffffffff871660028110610b5e57610b5e612468565b6020020152610baa565b60405162461bcd60e51b81526020600482015260176024820152764241445f474c4f42414c5f53544154455f4f50434f444560481b6044820152606401610180565b505050505050505050505050565b6000610bca6103028460200151610cc5565b9050600263ffffffff821610610be257505060029052565b610c4a610c3f83602001518363ffffffff1660028110610c0457610c04612468565b602002015160408051808201909152600080825260208201525060408051808201909152600181526001600160401b03909116602082015290565b602085015190610f4d565b505050565b6000610c616105d68460200151610cc5565b90506000610c756103028560200151610cc5565b9050600263ffffffff821610610c8f575050600290915250565b8183602001518263ffffffff1660028110610cac57610cac612468565b6001600160401b03909216602092909202015250505050565b60408051808201909152600080825260208201528151610ce490611612565b92915050565b60208101516000908183516006811115610d0657610d06611c3d565b14610d3d5760405162461bcd60e51b81526020600482015260076024820152662727aa2fa4999960c91b6044820152606401610180565b6401000000008110610ce45760405162461bcd60e51b81526020600482015260076024820152662120a22fa4999960c91b6044820152606401610180565b600080610d946040518060200160405280606081525090565b839150610da286868461158f565b9093509150610db2868684611722565b925090506000610dc3828986610e9b565b905088604001518114610e095760405162461bcd60e51b815260206004820152600e60248201526d15d493d391d7d3515357d493d3d560921b6044820152606401610180565b50955095509592505050565b600060208310610e5f5760405162461bcd60e51b81526020600482015260156024820152740848288bea68aa8be988a828cbe84b2a88abe9288b605b1b6044820152606401610180565b600083610e6e600160206124a9565b610e7891906124a9565b610e83906008612504565b60ff848116821b911b198616179150505b9392505050565b6040516b26b2b6b7b93c903632b0b31d60a11b6020820152602c81018290526000908190604c01604051602081830303815290604052805190602001209050610f118585836040518060400160405280601381526020017226b2b6b7b93c9036b2b935b632903a3932b29d60691b8152506117fc565b95945050505050565b604080518082019091526000808252602082015250604080518082019091526000815263ffffffff909116602082015290565b8151610f5990826118ce565b5050565b6020810151600090600183516006811115610f7a57610f7a611c3d565b14610fb15760405162461bcd60e51b81526020600482015260076024820152661393d517d24d8d60ca1b6044820152606401610180565b600160401b8110610ce45760405162461bcd60e51b815260206004820152600760248201526610905117d24d8d60ca1b6044820152606401610180565b600060288210156110365760405162461bcd60e51b81526020600482015260126024820152712120a22fa9a2a8a4a72127ac2fa82927a7a360711b6044820152606401610180565b6000611044848460206115ab565b50809150506000848460405161105b929190612499565b60405190819003902090506000806001600160401b0388161561111b5761108860408a0160208b01612523565b6001600160a01b03166316bf55796110a160018b61254c565b6040516001600160e01b031960e084901b1681526001600160401b03909116600482015260240160206040518083038186803b1580156110e057600080fd5b505afa1580156110f4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111189190612574565b91505b6001600160401b038416156111cd5761113a60408a0160208b01612523565b6001600160a01b031663d5719dc261115360018761254c565b6040516001600160e01b031960e084901b1681526001600160401b03909116600482015260240160206040518083038186803b15801561119257600080fd5b505afa1580156111a6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111ca9190612574565b90505b6040805160208101849052908101849052606081018290526000906080016040516020818303038152906040528051906020012090508960200160208101906112169190612523565b6040516316bf557960e01b81526001600160401b038b1660048201526001600160a01b0391909116906316bf55799060240160206040518083038186803b15801561126057600080fd5b505afa158015611274573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112989190612574565b81146112dd5760405162461bcd60e51b81526020600482015260146024820152734241445f534551494e424f585f4d45535341474560601b6044820152606401610180565b5060019998505050505050505050565b600060718210156113345760405162461bcd60e51b81526020600482015260116024820152702120a22fa222a620aca2a22fa82927a7a360791b6044820152606401610180565b60006001600160401b038516156113e8576113556040870160208801612523565b6001600160a01b031663d5719dc261136e60018861254c565b6040516001600160e01b031960e084901b1681526001600160401b03909116600482015260240160206040518083038186803b1580156113ad57600080fd5b505afa1580156113c1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113e59190612574565b90505b60006113f784607181886123d2565b604051611405929190612499565b6040518091039020905060008585600081811061142457611424612468565b9050013560f81c60f81b9050600061143e878760016119c1565b50905060008282611453607160218b8d6123d2565b8760405160200161146895949392919061258d565b60408051601f198184030181528282528051602091820120838201899052838301819052825180850384018152606090940190925282519201919091209091506114b860408c0160208d01612523565b604051636ab8cee160e11b81526001600160401b038c1660048201526001600160a01b03919091169063d5719dc29060240160206040518083038186803b15801561150257600080fd5b505afa158015611516573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061153a9190612574565b811461157e5760405162461bcd60e51b81526020600482015260136024820152724241445f44454c415945445f4d45535341474560681b6044820152606401610180565b5060019a9950505050505050505050565b6000818161159e8686846119c1565b9097909650945050505050565b600081815b6008811015611609576008836001600160401b0316901b92508585838181106115db576115db612468565b919091013560f81c939093179250816115f38161247e565b92505080806116019061247e565b9150506115b0565b50935093915050565b604080518082019091526000808252602082015281518051611636906001906124a9565b8151811061164657611646612468565b602002602001015190506000600183600001515161166491906124a9565b6001600160401b0381111561167b5761167b611e94565b6040519080825280602002602001820160405280156116c057816020015b60408051808201909152600080825260208201528152602001906001900390816116995790505b50905060005b815181101561171b5783518051829081106116e3576116e3612468565b60200260200101518282815181106116fd576116fd612468565b602002602001018190525080806117139061247e565b9150506116c6565b5090915290565b60408051602081019091526060815281600061173f868684611a16565b92509050600060ff82166001600160401b0381111561176057611760611e94565b604051908082528060200260200182016040528015611789578160200160208202803683370190505b50905060005b8260ff168160ff1610156117e0576117a888888661158f565b838360ff16815181106117bd576117bd612468565b6020026020010181965082815250505080806117d8906124e4565b91505061178f565b5060405180602001604052808281525093505050935093915050565b8160005b8551518110156118c557600185166118615782828760000151838151811061182a5761182a612468565b6020026020010151604051602001611844939291906125cc565b6040516020818303038152906040528051906020012091506118ac565b828660000151828151811061187857611878612468565b602002602001015183604051602001611893939291906125cc565b6040516020818303038152906040528051906020012091505b60019490941c93806118bd8161247e565b915050611800565b50949350505050565b8151516000906118df906001612412565b6001600160401b038111156118f6576118f6611e94565b60405190808252806020026020018201604052801561193b57816020015b60408051808201909152600080825260208201528152602001906001900390816119145790505b50905060005b83515181101561199757835180518290811061195f5761195f612468565b602002602001015182828151811061197957611979612468565b6020026020010181905250808061198f9061247e565b915050611941565b508181846000015151815181106119b0576119b0612468565b602090810291909101015290915250565b600081815b602081101561160957600883901b92508585838181106119e8576119e8612468565b919091013560f81c93909317925081611a008161247e565b9250508080611a0e9061247e565b9150506119c6565b600081848482818110611a2b57611a2b612468565b919091013560f81c9250819050611a418161247e565b915050935093915050565b6040805161012081019091528060008152602001611a8160408051606080820183529181019182529081526000602082015290565b8152602001611aa760408051606080820183529181019182529081526000602082015290565b8152602001611acc604051806040016040528060608152602001600080191681525090565b815260006020820181905260408201819052606082018190526080820181905260a09091015290565b611afd612612565b565b6040518060400160405280611b12611b24565b8152602001611b1f611b24565b905290565b60405180604001604052806002906020820280368337509192915050565b600060408284031215611b5457600080fd5b50919050565b6000806000806000808688036101a0811215611b7557600080fd5b611b7f8989611b42565b965060408801356001600160401b0380821115611b9b57600080fd5b90890190610120828c031215611bb057600080fd5b81975060e0605f1984011215611bc557600080fd5b60608a019650611bd98b6101408c01611b42565b95506101808a0135925080831115611bf057600080fd5b828a0192508a601f840112611c0457600080fd5b8235915080821115611c1557600080fd5b50896020828401011115611c2857600080fd5b60208201935080925050509295509295509295565b634e487b7160e01b600052602160045260246000fd5b60048110611c6357611c63611c3d565b9052565b805160078110611c7957611c79611c3d565b8252602090810151910152565b805160408084529051602084830181905281516060860181905260009392820191849160808801905b80841015611cd657611cc2828651611c67565b938201936001939093019290850190611caf565b509581015196019590955250919392505050565b8051604080845281518482018190526000926060916020918201918388019190865b82811015611d55578451611d21858251611c67565b80830151858901528781015163ffffffff90811688870152908701511660808501529381019360a090930192600101611d0c565b509687015197909601969096525093949350505050565b6000610100808352611d818184018651611c53565b602085015161012084810152611d9b610220850182611c86565b9050604086015160ff198086840301610140870152611dba8383611c86565b925060608801519150808684030161016087015250611dd98282611cea565b915050608086015161018085015260a0860151611dff6101a086018263ffffffff169052565b5060c086015163ffffffff81166101c08601525060e086015163ffffffff81166101e086015250908501516102008401529050610e9460208301848051825260208101516001600160401b0380825116602085015280602083015116604085015250604081015160608401525060408101516080830152606081015160a083015263ffffffff60808201511660c08301525050565b634e487b7160e01b600052604160045260246000fd5b604080519081016001600160401b0381118282101715611ecc57611ecc611e94565b60405290565b604051602081016001600160401b0381118282101715611ecc57611ecc611e94565b604051608081016001600160401b0381118282101715611ecc57611ecc611e94565b60405161012081016001600160401b0381118282101715611ecc57611ecc611e94565b60405160a081016001600160401b0381118282101715611ecc57611ecc611e94565b604051606081016001600160401b0381118282101715611ecc57611ecc611e94565b604051601f8201601f191681016001600160401b0381118282101715611fa557611fa5611e94565b604052919050565b803560048110611fbc57600080fd5b919050565b60006001600160401b03821115611fda57611fda611e94565b5060051b60200190565b600060408284031215611ff657600080fd5b611ffe611eaa565b905081356007811061200f57600080fd5b808252506020820135602082015292915050565b6000604080838503121561203657600080fd5b61203e611eaa565b915082356001600160401b038082111561205757600080fd5b8185019150602080838803121561206d57600080fd5b612075611ed2565b83358381111561208457600080fd5b80850194505087601f85011261209957600080fd5b833592506120ae6120a984611fc1565b611f7d565b83815260069390931b840182019282810190898511156120cd57600080fd5b948301945b848610156120f3576120e48a87611fe4565b825294860194908301906120d2565b8252508552948501359484019490945250909392505050565b803563ffffffff81168114611fbc57600080fd5b6000604080838503121561213357600080fd5b61213b611eaa565b915082356001600160401b0381111561215357600080fd5b8301601f8101851361216457600080fd5b803560206121746120a983611fc1565b82815260a0928302840182019282820191908985111561219357600080fd5b948301945b848610156121fc5780868b0312156121b05760008081fd5b6121b8611ef4565b6121c28b88611fe4565b8152878701358582015260606121d981890161210c565b898301526121e96080890161210c565b9082015283529485019491830191612198565b50808752505080860135818601525050505092915050565b6000610120823603121561222757600080fd5b61222f611f16565b61223883611fad565b815260208301356001600160401b038082111561225457600080fd5b61226036838701612023565b6020840152604085013591508082111561227957600080fd5b61228536838701612023565b6040840152606085013591508082111561229e57600080fd5b506122ab36828601612120565b606083015250608083013560808201526122c760a0840161210c565b60a08201526122d860c0840161210c565b60c08201526122e960e0840161210c565b60e082015261010092830135928101929092525090565b80356001600160401b0381168114611fbc57600080fd5b600081830360e081121561232a57600080fd5b612332611f39565b833581526060601f198301121561234857600080fd5b612350611f5b565b915061235e60208501612300565b825261236c60408501612300565b6020830152606084013560408301528160208201526080840135604082015260a084013560608201526123a160c0850161210c565b6080820152949350505050565b6000602082840312156123c057600080fd5b813561ffff81168114610e9457600080fd5b600080858511156123e257600080fd5b838611156123ef57600080fd5b5050820193919092039150565b634e487b7160e01b600052601160045260246000fd5b60008219821115612425576124256123fc565b500190565b634e487b7160e01b600052601260045260246000fd5b60008261244f5761244f61242a565b500690565b6000826124635761246361242a565b500490565b634e487b7160e01b600052603260045260246000fd5b6000600019821415612492576124926123fc565b5060010190565b8183823760009101908152919050565b6000828210156124bb576124bb6123fc565b500390565b600063ffffffff808316818114156124da576124da6123fc565b6001019392505050565b600060ff821660ff8114156124fb576124fb6123fc565b60010192915050565b600081600019048311821515161561251e5761251e6123fc565b500290565b60006020828403121561253557600080fd5b81356001600160a01b0381168114610e9457600080fd5b60006001600160401b038381169083168181101561256c5761256c6123fc565b039392505050565b60006020828403121561258657600080fd5b5051919050565b6001600160f81b031986168152606085901b6bffffffffffffffffffffffff191660018201528284601583013760159201918201526035019392505050565b6000845160005b818110156125ed57602081880181015185830152016125d3565b818111156125fc576000828501525b5091909101928352506020820152604001919050565b634e487b7160e01b600052605160045260246000fdfea26469706673582212202aa1e7388a9a42e1384b0b69b84b69873a46962b9f0cf4af65dc318c4d27df5064736f6c63430008090033",
+  "deployedBytecode": "0x608060405234801561001057600080fd5b506004361061002b5760003560e01c8063da78e7d114610030575b600080fd5b61004361003e366004611b5a565b61005a565b604051610051929190611d6c565b60405180910390f35b610062611a4c565b6040805160a0810182526000808252825160608082018552828252602080830184905282860184905284019190915292820181905291810182905260808101919091526100ae87612214565b91506100bf36879003870187612317565b905060006100d060208701876123ae565b9050611af561801061ffff8316108015906100f1575061801361ffff831611155b156100ff57506101a8610189565b61ffff8216618020141561011657506102f0610189565b61ffff8216618021141561012d5750610590610189565b61ffff8216618022141561014457506108b5610189565b60405162461bcd60e51b8152602060048201526015602482015274494e56414c49445f4d454d4f52595f4f50434f444560581b60448201526064015b60405180910390fd5b61019b8a85858a8a8a8763ffffffff16565b5050965096945050505050565b60006101b760208501856123ae565b90506101c1611aff565b60006101ce8585836108c1565b60808a015191935091506101e18361099c565b146102215760405162461bcd60e51b815260206004820152601060248201526f4241445f474c4f42414c5f535441544560801b6044820152606401610180565b61ffff8316618010148061023a575061ffff8316618011145b1561025c57610257888884896102528987818d6123d2565b610a10565b6102d4565b61ffff83166180121415610274576102578883610bb8565b61ffff8316618013141561028c576102578883610c4f565b60405162461bcd60e51b815260206004820152601a60248201527f494e56414c49445f474c4f42414c53544154455f4f50434f44450000000000006044820152606401610180565b6102dd8261099c565b6080909801979097525050505050505050565b60006103076103028760200151610cc5565b610cea565b63ffffffff16905060006103216103028860200151610cc5565b63ffffffff1690508560200151600001516001600160401b03168160206103489190612412565b118061035d575061035a602082612440565b15155b15610384578660025b9081600381111561037957610379611c3d565b815250505050610588565b6000610391602083612454565b90506000806103ac6040518060200160405280606081525090565b60208a01516103be90858a8a87610d7b565b9094509092509050606060008989868181106103dc576103dc612468565b919091013560f81c91508590506103f28161247e565b95505060ff81166104cb5736600061040c8b88818f6123d2565b91509150858282604051610421929190612499565b6040518091039020146104655760405162461bcd60e51b815260206004820152600c60248201526b4241445f505245494d41474560a01b6044820152606401610180565b60006104728b6020612412565b90508181111561047f5750805b61048b818c84866123d2565b8080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525092975061050c95505050505050565b60405162461bcd60e51b81526020600482015260166024820152752aa725a727aba72fa82922a4a6a0a3a2afa82927a7a360511b6044820152606401610180565b60005b82518110156105505761053c858285848151811061052f5761052f612468565b016020015160f81c610e15565b9450806105488161247e565b91505061050f565b5061055c838786610e9b565b60208d015160400152815161057f9061057490610f1a565b60208f015190610f4d565b50505050505050505b505050505050565b60006105a26103028760200151610cc5565b63ffffffff16905060006105bc6103028860200151610cc5565b63ffffffff16905060006105db6105d68960200151610cc5565b610f5d565b6001600160401b0316905060208601351580156105f9575088358110155b15610621578760035b9081600381111561061557610615611c3d565b81525050505050610588565b602080880151516001600160401b03169061063d908490612412565b1180610652575061064f602083612440565b15155b1561065f57876002610602565b600061066c602084612454565b90506000806106876040518060200160405280606081525090565b60208b015161069990858b8b87610d7b565b90945090925090508888848181106106b3576106b3612468565b909101356001600160f81b0319161590506107065760405162461bcd60e51b81526020600482015260136024820152722aa725a727aba72fa4a72127ac2fa82927a7a360691b6044820152606401610180565b826107108161247e565b935050611af56000808c60200135141561072e57610fee915061076e565b60018c602001351415610745576112ed915061076e565b8d60025b9081600381111561075c5761075c611c3d565b81525050505050505050505050610588565b61078e8f888d8d89908092610785939291906123d2565b8663ffffffff16565b90508061079d578d6002610749565b5050828810156107e35760405162461bcd60e51b81526020600482015260116024820152702120a22fa6a2a9a9a0a3a2afa82927a7a360791b6044820152606401610180565b60006107ef848a6124a9565b905060005b60208163ffffffff1610801561081857508161081663ffffffff83168b612412565b105b156108715761085d8463ffffffff83168d8d826108358f8c612412565b61083f9190612412565b81811061084e5761084e612468565b919091013560f81c9050610e15565b935080610869816124c0565b9150506107f4565b61087c838786610e9b565b60208e0151604001526108a461089182610f1a565b8f60200151610f4d90919063ffffffff16565b505050505050505050505050505050565b50506001909252505050565b6108c9611aff565b816108d2611b24565b6108da611b24565b60005b600260ff82161015610925576108f488888661158f565b848360ff166002811061090957610909612468565b602002019190915293508061091d816124e4565b9150506108dd565b5060005b600260ff8216101561097f576109408888866115ab565b838360ff166002811061095557610955612468565b6001600160401b039093166020939093020191909152935080610977816124e4565b915050610929565b506040805180820190915291825260208201529590945092505050565b8051805160209182015192820151805190830151604080516c23b637b130b61039ba30ba329d60991b81870152602d810194909452604d8401959095526001600160c01b031960c092831b8116606d850152911b1660758201528251808203605d018152607d909101909252815191012090565b6000610a226103028860200151610cc5565b63ffffffff1690506000610a3c6103028960200151610cc5565b9050600263ffffffff821610610a5457876002610366565b602080880151516001600160401b031690610a70908490612412565b1180610a855750610a82602083612440565b15155b15610a9257876002610366565b6000610a9f602084612454565b9050600080610aba6040518060200160405280606081525090565b60208b0151610acc90858a8a87610d7b565b9094509092509050618010610ae460208b018b6123ae565b61ffff161415610b2957610b1b848b600001518763ffffffff1660028110610b0e57610b0e612468565b6020020151839190610e9b565b60208c015160400152610baa565b618011610b3960208b018b6123ae565b61ffff161415610b68578951829063ffffffff871660028110610b5e57610b5e612468565b6020020152610baa565b60405162461bcd60e51b81526020600482015260176024820152764241445f474c4f42414c5f53544154455f4f50434f444560481b6044820152606401610180565b505050505050505050505050565b6000610bca6103028460200151610cc5565b9050600263ffffffff821610610be257505060029052565b610c4a610c3f83602001518363ffffffff1660028110610c0457610c04612468565b602002015160408051808201909152600080825260208201525060408051808201909152600181526001600160401b03909116602082015290565b602085015190610f4d565b505050565b6000610c616105d68460200151610cc5565b90506000610c756103028560200151610cc5565b9050600263ffffffff821610610c8f575050600290915250565b8183602001518263ffffffff1660028110610cac57610cac612468565b6001600160401b03909216602092909202015250505050565b60408051808201909152600080825260208201528151610ce490611612565b92915050565b60208101516000908183516006811115610d0657610d06611c3d565b14610d3d5760405162461bcd60e51b81526020600482015260076024820152662727aa2fa4999960c91b6044820152606401610180565b6401000000008110610ce45760405162461bcd60e51b81526020600482015260076024820152662120a22fa4999960c91b6044820152606401610180565b600080610d946040518060200160405280606081525090565b839150610da286868461158f565b9093509150610db2868684611722565b925090506000610dc3828986610e9b565b905088604001518114610e095760405162461bcd60e51b815260206004820152600e60248201526d15d493d391d7d3515357d493d3d560921b6044820152606401610180565b50955095509592505050565b600060208310610e5f5760405162461bcd60e51b81526020600482015260156024820152740848288bea68aa8be988a828cbe84b2a88abe9288b605b1b6044820152606401610180565b600083610e6e600160206124a9565b610e7891906124a9565b610e83906008612504565b60ff848116821b911b198616179150505b9392505050565b6040516b26b2b6b7b93c903632b0b31d60a11b6020820152602c81018290526000908190604c01604051602081830303815290604052805190602001209050610f118585836040518060400160405280601381526020017226b2b6b7b93c9036b2b935b632903a3932b29d60691b8152506117fc565b95945050505050565b604080518082019091526000808252602082015250604080518082019091526000815263ffffffff909116602082015290565b8151610f5990826118ce565b5050565b6020810151600090600183516006811115610f7a57610f7a611c3d565b14610fb15760405162461bcd60e51b81526020600482015260076024820152661393d517d24d8d60ca1b6044820152606401610180565b600160401b8110610ce45760405162461bcd60e51b815260206004820152600760248201526610905117d24d8d60ca1b6044820152606401610180565b600060288210156110365760405162461bcd60e51b81526020600482015260126024820152712120a22fa9a2a8a4a72127ac2fa82927a7a360711b6044820152606401610180565b6000611044848460206115ab565b50809150506000848460405161105b929190612499565b60405190819003902090506000806001600160401b0388161561111b5761108860408a0160208b01612523565b6001600160a01b03166316bf55796110a160018b61254c565b6040516001600160e01b031960e084901b1681526001600160401b03909116600482015260240160206040518083038186803b1580156110e057600080fd5b505afa1580156110f4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111189190612574565b91505b6001600160401b038416156111cd5761113a60408a0160208b01612523565b6001600160a01b031663d5719dc261115360018761254c565b6040516001600160e01b031960e084901b1681526001600160401b03909116600482015260240160206040518083038186803b15801561119257600080fd5b505afa1580156111a6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111ca9190612574565b90505b6040805160208101849052908101849052606081018290526000906080016040516020818303038152906040528051906020012090508960200160208101906112169190612523565b6040516316bf557960e01b81526001600160401b038b1660048201526001600160a01b0391909116906316bf55799060240160206040518083038186803b15801561126057600080fd5b505afa158015611274573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112989190612574565b81146112dd5760405162461bcd60e51b81526020600482015260146024820152734241445f534551494e424f585f4d45535341474560601b6044820152606401610180565b5060019998505050505050505050565b600060718210156113345760405162461bcd60e51b81526020600482015260116024820152702120a22fa222a620aca2a22fa82927a7a360791b6044820152606401610180565b60006001600160401b038516156113e8576113556040870160208801612523565b6001600160a01b031663d5719dc261136e60018861254c565b6040516001600160e01b031960e084901b1681526001600160401b03909116600482015260240160206040518083038186803b1580156113ad57600080fd5b505afa1580156113c1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113e59190612574565b90505b60006113f784607181886123d2565b604051611405929190612499565b6040518091039020905060008585600081811061142457611424612468565b9050013560f81c60f81b9050600061143e878760016119c1565b50905060008282611453607160218b8d6123d2565b8760405160200161146895949392919061258d565b60408051601f198184030181528282528051602091820120838201899052838301819052825180850384018152606090940190925282519201919091209091506114b860408c0160208d01612523565b604051636ab8cee160e11b81526001600160401b038c1660048201526001600160a01b03919091169063d5719dc29060240160206040518083038186803b15801561150257600080fd5b505afa158015611516573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061153a9190612574565b811461157e5760405162461bcd60e51b81526020600482015260136024820152724241445f44454c415945445f4d45535341474560681b6044820152606401610180565b5060019a9950505050505050505050565b6000818161159e8686846119c1565b9097909650945050505050565b600081815b6008811015611609576008836001600160401b0316901b92508585838181106115db576115db612468565b919091013560f81c939093179250816115f38161247e565b92505080806116019061247e565b9150506115b0565b50935093915050565b604080518082019091526000808252602082015281518051611636906001906124a9565b8151811061164657611646612468565b602002602001015190506000600183600001515161166491906124a9565b6001600160401b0381111561167b5761167b611e94565b6040519080825280602002602001820160405280156116c057816020015b60408051808201909152600080825260208201528152602001906001900390816116995790505b50905060005b815181101561171b5783518051829081106116e3576116e3612468565b60200260200101518282815181106116fd576116fd612468565b602002602001018190525080806117139061247e565b9150506116c6565b5090915290565b60408051602081019091526060815281600061173f868684611a16565b92509050600060ff82166001600160401b0381111561176057611760611e94565b604051908082528060200260200182016040528015611789578160200160208202803683370190505b50905060005b8260ff168160ff1610156117e0576117a888888661158f565b838360ff16815181106117bd576117bd612468565b6020026020010181965082815250505080806117d8906124e4565b91505061178f565b5060405180602001604052808281525093505050935093915050565b8160005b8551518110156118c557600185166118615782828760000151838151811061182a5761182a612468565b6020026020010151604051602001611844939291906125cc565b6040516020818303038152906040528051906020012091506118ac565b828660000151828151811061187857611878612468565b602002602001015183604051602001611893939291906125cc565b6040516020818303038152906040528051906020012091505b60019490941c93806118bd8161247e565b915050611800565b50949350505050565b8151516000906118df906001612412565b6001600160401b038111156118f6576118f6611e94565b60405190808252806020026020018201604052801561193b57816020015b60408051808201909152600080825260208201528152602001906001900390816119145790505b50905060005b83515181101561199757835180518290811061195f5761195f612468565b602002602001015182828151811061197957611979612468565b6020026020010181905250808061198f9061247e565b915050611941565b508181846000015151815181106119b0576119b0612468565b602090810291909101015290915250565b600081815b602081101561160957600883901b92508585838181106119e8576119e8612468565b919091013560f81c93909317925081611a008161247e565b9250508080611a0e9061247e565b9150506119c6565b600081848482818110611a2b57611a2b612468565b919091013560f81c9250819050611a418161247e565b915050935093915050565b6040805161012081019091528060008152602001611a8160408051606080820183529181019182529081526000602082015290565b8152602001611aa760408051606080820183529181019182529081526000602082015290565b8152602001611acc604051806040016040528060608152602001600080191681525090565b815260006020820181905260408201819052606082018190526080820181905260a09091015290565b611afd612612565b565b6040518060400160405280611b12611b24565b8152602001611b1f611b24565b905290565b60405180604001604052806002906020820280368337509192915050565b600060408284031215611b5457600080fd5b50919050565b6000806000806000808688036101a0811215611b7557600080fd5b611b7f8989611b42565b965060408801356001600160401b0380821115611b9b57600080fd5b90890190610120828c031215611bb057600080fd5b81975060e0605f1984011215611bc557600080fd5b60608a019650611bd98b6101408c01611b42565b95506101808a0135925080831115611bf057600080fd5b828a0192508a601f840112611c0457600080fd5b8235915080821115611c1557600080fd5b50896020828401011115611c2857600080fd5b60208201935080925050509295509295509295565b634e487b7160e01b600052602160045260246000fd5b60048110611c6357611c63611c3d565b9052565b805160078110611c7957611c79611c3d565b8252602090810151910152565b805160408084529051602084830181905281516060860181905260009392820191849160808801905b80841015611cd657611cc2828651611c67565b938201936001939093019290850190611caf565b509581015196019590955250919392505050565b8051604080845281518482018190526000926060916020918201918388019190865b82811015611d55578451611d21858251611c67565b80830151858901528781015163ffffffff90811688870152908701511660808501529381019360a090930192600101611d0c565b509687015197909601969096525093949350505050565b6000610100808352611d818184018651611c53565b602085015161012084810152611d9b610220850182611c86565b9050604086015160ff198086840301610140870152611dba8383611c86565b925060608801519150808684030161016087015250611dd98282611cea565b915050608086015161018085015260a0860151611dff6101a086018263ffffffff169052565b5060c086015163ffffffff81166101c08601525060e086015163ffffffff81166101e086015250908501516102008401529050610e9460208301848051825260208101516001600160401b0380825116602085015280602083015116604085015250604081015160608401525060408101516080830152606081015160a083015263ffffffff60808201511660c08301525050565b634e487b7160e01b600052604160045260246000fd5b604080519081016001600160401b0381118282101715611ecc57611ecc611e94565b60405290565b604051602081016001600160401b0381118282101715611ecc57611ecc611e94565b604051608081016001600160401b0381118282101715611ecc57611ecc611e94565b60405161012081016001600160401b0381118282101715611ecc57611ecc611e94565b60405160a081016001600160401b0381118282101715611ecc57611ecc611e94565b604051606081016001600160401b0381118282101715611ecc57611ecc611e94565b604051601f8201601f191681016001600160401b0381118282101715611fa557611fa5611e94565b604052919050565b803560048110611fbc57600080fd5b919050565b60006001600160401b03821115611fda57611fda611e94565b5060051b60200190565b600060408284031215611ff657600080fd5b611ffe611eaa565b905081356007811061200f57600080fd5b808252506020820135602082015292915050565b6000604080838503121561203657600080fd5b61203e611eaa565b915082356001600160401b038082111561205757600080fd5b8185019150602080838803121561206d57600080fd5b612075611ed2565b83358381111561208457600080fd5b80850194505087601f85011261209957600080fd5b833592506120ae6120a984611fc1565b611f7d565b83815260069390931b840182019282810190898511156120cd57600080fd5b948301945b848610156120f3576120e48a87611fe4565b825294860194908301906120d2565b8252508552948501359484019490945250909392505050565b803563ffffffff81168114611fbc57600080fd5b6000604080838503121561213357600080fd5b61213b611eaa565b915082356001600160401b0381111561215357600080fd5b8301601f8101851361216457600080fd5b803560206121746120a983611fc1565b82815260a0928302840182019282820191908985111561219357600080fd5b948301945b848610156121fc5780868b0312156121b05760008081fd5b6121b8611ef4565b6121c28b88611fe4565b8152878701358582015260606121d981890161210c565b898301526121e96080890161210c565b9082015283529485019491830191612198565b50808752505080860135818601525050505092915050565b6000610120823603121561222757600080fd5b61222f611f16565b61223883611fad565b815260208301356001600160401b038082111561225457600080fd5b61226036838701612023565b6020840152604085013591508082111561227957600080fd5b61228536838701612023565b6040840152606085013591508082111561229e57600080fd5b506122ab36828601612120565b606083015250608083013560808201526122c760a0840161210c565b60a08201526122d860c0840161210c565b60c08201526122e960e0840161210c565b60e082015261010092830135928101929092525090565b80356001600160401b0381168114611fbc57600080fd5b600081830360e081121561232a57600080fd5b612332611f39565b833581526060601f198301121561234857600080fd5b612350611f5b565b915061235e60208501612300565b825261236c60408501612300565b6020830152606084013560408301528160208201526080840135604082015260a084013560608201526123a160c0850161210c565b6080820152949350505050565b6000602082840312156123c057600080fd5b813561ffff81168114610e9457600080fd5b600080858511156123e257600080fd5b838611156123ef57600080fd5b5050820193919092039150565b634e487b7160e01b600052601160045260246000fd5b60008219821115612425576124256123fc565b500190565b634e487b7160e01b600052601260045260246000fd5b60008261244f5761244f61242a565b500690565b6000826124635761246361242a565b500490565b634e487b7160e01b600052603260045260246000fd5b6000600019821415612492576124926123fc565b5060010190565b8183823760009101908152919050565b6000828210156124bb576124bb6123fc565b500390565b600063ffffffff808316818114156124da576124da6123fc565b6001019392505050565b600060ff821660ff8114156124fb576124fb6123fc565b60010192915050565b600081600019048311821515161561251e5761251e6123fc565b500290565b60006020828403121561253557600080fd5b81356001600160a01b0381168114610e9457600080fd5b60006001600160401b038381169083168181101561256c5761256c6123fc565b039392505050565b60006020828403121561258657600080fd5b5051919050565b6001600160f81b031986168152606085901b6bffffffffffffffffffffffff191660018201528284601583013760159201918201526035019392505050565b6000845160005b818110156125ed57602081880181015185830152016125d3565b818111156125fc576000828501525b5091909101928352506020820152604001919050565b634e487b7160e01b600052605160045260246000fdfea26469706673582212202aa1e7388a9a42e1384b0b69b84b69873a46962b9f0cf4af65dc318c4d27df5064736f6c63430008090033",
+  "linkReferences": {},
+  "deployedLinkReferences": {}
+}

package/build/contracts/src/osp/OneStepProverMath.sol/OneStepProverMath.dbg.json

@@ -0,0 +1,4 @@
+{
+  "_format": "hh-sol-dbg-1",
+  "buildInfo": "../../../build-info/419b36ebbd1e491d550576571e91ba6c.json"
+}