Analysis Run

[codex:1045159] OpenAI Codex v0.77.0 (research preview)
[codex:1045159] --------
[codex:1045159] workdir: /tmp/codex-multi-v9jbi5e3
[codex:1045159] model: gpt-5.2-codex
[codex:1045159] provider: openai
[codex:1045159] approval: never
[codex:1045159] sandbox: read-only
[codex:1045159] reasoning effort: xhigh
[codex:1045159] reasoning summaries: auto
[codex:1045159] session id: 019b76ca-1476-7a21-940b-98c0216176ea
[codex:1045159] --------
[codex:1045159] user
[codex:1045159] You are a profit-focused exploit hunter analyzing EVM bytecode. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1045159] 
[codex:1045159] Read `BYTECODE_BUNDLE.txt` completely before concluding.
[codex:1045159] 
[codex:1045159] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1045159] - Gas inefficiency, code quality, or best practices
[codex:1045159] - Theoretical vulnerabilities without a clear extraction path
[codex:1045159] - Generic footguns (unchecked return values, etc.) unless they enable theft
[codex:1045159] - Issues requiring social engineering or off-chain coordination
[codex:1045159] 
[codex:1045159] PATTERNS WORTH INVESTIGATING in bytecode:
[codex:1045159] - CALL/DELEGATECALL with controllable destination or calldata
[codex:1045159] - Value transfers (CALL with non-zero value) without prior CALLER/ORIGIN checks
[codex:1045159] - SSTORE to low slots (0-10) that might be owner/admin storage
[codex:1045159] - ecrecover (signature validation) - look for missing nonce/replay protection
[codex:1045159] - External calls before state updates (reentrancy)
[codex:1045159] - SELFDESTRUCT with controllable beneficiary
[codex:1045159] - Proxy patterns (DELEGATECALL to storage slot) with unprotected upgrade paths
[codex:1045159] 
[codex:1045159] For each finding, you MUST explain:
[codex:1045159] 1. The specific bytecode pattern/offsets that indicate the vulnerability
[codex:1045159] 2. The concrete sequence of transactions to extract value
[codex:1045159] 3. Why you believe this is exploitable (not just suspicious)
[codex:1045159] 
[codex:1045159] If you cannot identify a concrete profit path from bytecode alone: set no_findings=true.
[codex:1045159] Do NOT hallucinate. Bytecode-only analysis is limited - be honest about uncertainty.
[codex:1045159] 
[codex:1045159] Output MUST be valid JSON matching the provided schema.
[codex:1045159] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1045159] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1045159] mcp startup: no servers
[codex:1045159] 
[codex:1045159] thinking
[codex:1045159] **Planning to read BYTECODE_BUNDLE.txt**
[codex:1045159] exec
[codex:1045159] /bin/bash -lc ls in /tmp/codex-multi-v9jbi5e3 succeeded in 6ms:
[codex:1045159] BYTECODE_BUNDLE.txt
[codex:1045159] codex-output-schema.json
[codex:1045159] exec
[codex:1045159] /bin/bash -lc 'cat BYTECODE_BUNDLE.txt' in /tmp/codex-multi-v9jbi5e3 succeeded in 6ms:
[codex:1045159] Runtime bytecode bundle for best-effort auditing.
[codex:1045159] Note: without verified source, conclusions are low-confidence unless a concrete pattern is visible.
[codex:1045159] 
[codex:1045159] FILE: runtime_bytecode.hex
[codex:1045159] 0x6080604052600436106100b55760003560e01c8063bdfa558411610069578063ecd415091161004e578063ecd41509146101a6578063ed0fe4e0146101c6578063f2fde38b146101e657600080fd5b8063bdfa558414610173578063df8de3e71461018657600080fd5b8063715018a61161009a578063715018a614610123578063754390d6146101385780638da5cb5b1461014b57600080fd5b80632a2fd050146100c15780632d3f2bbf146100e357600080fd5b366100bc57005b600080fd5b3480156100cd57600080fd5b506100e16100dc366004612273565b610206565b005b3480156100ef57600080fd5b506101036100fe366004612392565b6102b4565b604080519384526020840192909252908201526060015b60405180910390f35b34801561012f57600080fd5b506100e1610562565b6100e1610146366004612448565b610576565b34801561015757600080fd5b506000546040516001600160a01b03909116815260200161011a565b6101036101813660046124c3565b6105b2565b34801561019257600080fd5b506100e16101a1366004612535565b6109da565b3480156101b257600080fd5b506100e16101c1366004612559565b610a5e565b3480156101d257600080fd5b506100e16101e1366004612535565b610aeb565b3480156101f257600080fd5b506100e1610201366004612535565b610b28565b61020e610bd2565b6040517f095ea7b30000000000000000000000000000000000000000000000000000000081526001600160a01b038281166004830152751aba4714957d300d0e549208b31adb10000000000000602483015283169063095ea7b3906044016020604051808303816000875af115801561028b573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906102af91906125a4565b505050565b336000908152600160205260408120548190819060ff166102d457600080fd5b60006102e1878787610c46565b9050610322856000815181106102f9576102f96125c1565b60200260200101518883600081518110610315576103156125c1565b6020026020010151610d8a565b61032e8186308a610eed565b60408051600280825260608201835260009260208301908036833701905050905085600181518110610362576103626125c1565b60200260200101518160008151811061037d5761037d6125c1565b60200260200101906001600160a01b031690816001600160a01b031681525050856000815181106103b0576103b06125c1565b6020026020010151816001815181106103cb576103cb6125c1565b60200260200101906001600160a01b031690816001600160a01b031681525050600086600181518110610400576104006125c1565b60209081029190910101516040516370a0823160e01b81523060048201526001600160a01b03909116906370a0823190602401602060405180830381865afa158015610450573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061047491906125f0565b905061049b8760018151811061048c5761048c6125c1565b60200260200101518a83610d8a565b60006104a883308c611074565b905060006104e4856001815181106104c2576104c26125c1565b60200260200101516104de60648661131c90919063ffffffff16565b90611331565b6104ef906064612638565b90506000610502846104de85606461131c565b61050d906064612638565b9050600061054387600181518110610527576105276125c1565b60200260200101516104de60648761131c90919063ffffffff16565b61054e906064612638565b929d919c50919a5098505050505050505050565b61056a610bd2565b610574600061133d565b565b3360009081526001602052604090205460ff1661059257600080fd5b6105ac6105a43686900386018661264b565b8484846113a5565b50505050565b336000908152600160205260408120548190819060ff166105d257600080fd5b604080516001808252818301909252600091602080830190803683370190505090503081600081518110610608576106086125c1565b6001600160a01b039283166020918202929092018101919091526003546040805189840281810185019092528981526000946106649493169290918b918b91829185019084908082843760009201919091525061164092505050565b905060008787600081811061067b5761067b6125c1565b90506020020160208101906106909190612535565b6040516370a0823160e01b81526001600160a01b03848116600483015291909116906370a0823190602401602060405180830381865afa1580156106d8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106fc91906125f0565b90506001600160a01b0382161561076f578935156107625761076282610727368d90038d018d61264b565b8a8a808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152508992506116fa915050565b61076f828c8c8b8b611825565b88156108885760008888600081811061078a5761078a6125c1565b905060200201602081019061079f9190612535565b6040516370a0823160e01b81526001600160a01b03858116600483015291909116906370a0823190602401602060405180830381865afa1580156107e7573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061080b91906125f0565b6108159083612638565b905089811015610886576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f4d696e206175746f73776170206661696c65640000000000000000000000000060448201526064015b60405180910390fd5b505b600080836001600160a01b0316630902f1ac6040518163ffffffff1660e01b8152600401606060405180830381865afa1580156108c9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108ed91906126da565b506dffffffffffffffffffffffffffff1691506dffffffffffffffffffffffffffff16915060008d6001600160a01b03166370a082318f6040518263ffffffff1660e01b815260040161094f91906001600160a01b0391909116815260200190565b602060405180830381865afa15801561096c573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061099091906125f0565b905034156109c65760405141903480156108fc02916000818181858888f193505050501580156109c4573d6000803e3d6000fd5b505b919d909c50909a5098505050505050505050565b6109e2610bd2565b6040516370a0823160e01b81523060048201526000906001600160a01b038316906370a0823190602401602060405180830381865afa158015610a29573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a4d91906125f0565b9050610a5a823283610d8a565b5050565b610a66610bd2565b60005b8151811015610a5a576001806000848481518110610a8957610a896125c1565b6020908102919091018101516001600160a01b0316825281019190915260400160002080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001691151591909117905580610ae38161272a565b915050610a69565b610af3610bd2565b6040516001600160a01b038216904780156108fc02916000818181858888f19350505050158015610a5a573d6000803e3d6000fd5b610b30610bd2565b6001600160a01b038116610bc6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201527f6464726573730000000000000000000000000000000000000000000000000000606482015260840161087d565b610bcf8161133d565b50565b6000546001600160a01b03163314610574576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015260640161087d565b6060815167ffffffffffffffff811115610c6257610c626122ac565b604051908082528060200260200182016040528015610c8b578160200160208202803683370190505b509050828160018351610c9e9190612638565b81518110610cae57610cae6125c1565b602002602001018181525050600060018351610cca9190612638565b90505b8015610d8257600080610d1d8786610ce6600187612638565b81518110610cf657610cf66125c1565b6020026020010151878681518110610d1057610d106125c1565b6020026020010151611e7b565b91509150610d45848481518110610d3657610d366125c1565b60200260200101518383611f49565b84610d51600186612638565b81518110610d6157610d616125c1565b60200260200101818152505050508080610d7a90612762565b915050610ccd565b509392505050565b604080516001600160a01b038481166024830152604480830185905283518084039091018152606490920183526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001790529151600092839290871691610e1491906127bb565b6000604051808303816000865af19150503d8060008114610e51576040519150601f19603f3d011682016040523d82523d6000602084013e610e56565b606091505b5091509150818015610e80575080511580610e80575080806020019051810190610e8091906125a4565b610ee6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600260248201527f5354000000000000000000000000000000000000000000000000000000000000604482015260640161087d565b5050505050565b60005b60018451610efe9190612638565b811015610ee657600080858381518110610f1a57610f1a6125c1565b602002602001015186846001610f3091906127d7565b81518110610f4057610f406125c1565b6020026020010151915091506000610f588383611f97565b509050600088610f698660016127d7565b81518110610f7957610f796125c1565b60200260200101519050600080836001600160a01b0316866001600160a01b031614610fa757826000610fab565b6000835b91509150600060028b51610fbf9190612638565b8810610fcb5789610fcd565b885b604080516000815260208101918290527f022c0d9f000000000000000000000000000000000000000000000000000000009091529091506001600160a01b038a169063022c0d9f9061102890869086908690602481016127ea565b600060405180830381600087803b15801561104257600080fd5b505af1158015611056573d6000803e3d6000fd5b5050505050505050505050808061106c9061272a565b915050610ef0565b6000805b600185516110869190612638565b811015610d82576000808683815181106110a2576110a26125c1565b6020026020010151878460016110b891906127d7565b815181106110c8576110c86125c1565b60200260200101519150915060006110e08383611f97565b50905060008690506000806000836001600160a01b0316630902f1ac6040518163ffffffff1660e01b8152600401606060405180830381865afa15801561112b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061114f91906126da565b506dffffffffffffffffffffffffffff1691506dffffffffffffffffffffffffffff169150600080866001600160a01b0316896001600160a01b03161461119757828461119a565b83835b6040516370a0823160e01b81526001600160a01b038981166004830152929450909250611217918491908c16906370a0823190602401602060405180830381865afa1580156111ed573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061121191906125f0565b906120da565b9a506112248b83836120e6565b945050505050600080846001600160a01b0316876001600160a01b03161461124e57826000611252565b6000835b91509150600060028d516112669190612638565b8910611272578b611274565b8a5b604080516000815260208101918290527f022c0d9f000000000000000000000000000000000000000000000000000000009091529091506001600160a01b0386169063022c0d9f906112cf90869086908690602481016127ea565b600060405180830381600087803b1580156112e957600080fd5b505af11580156112fd573d6000803e3d6000fd5b50505050505050505050505080806113149061272a565b915050611078565b60006113288284612859565b90505b92915050565b60006113288284612870565b600080546001600160a01b038381167fffffffffffffffffffffffff0000000000000000000000000000000000000000831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b6000838360008181106113ba576113ba6125c1565b90506020020160208101906113cf9190612535565b6040516370a0823160e01b81523060048201529091506000906001600160a01b038316906370a0823190602401602060405180830381865afa158015611419573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061143d91906125f0565b905060008084511161146c5760408051600180825281830190925290602080830190803683370190505061146e565b835b905083516000036114ae57328160008151811061148d5761148d6125c1565b60200260200101906001600160a01b031690816001600160a01b0316815250505b6000611502600360009054906101000a90046001600160a01b031688888080602002602001604051908101604052809392919081815260200183836020028082843760009201919091525061164092505050565b90506001600160a01b03811661151757600080fd5b61155781898989808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152508892506116fa915050565b60408881015190516370a0823160e01b81523060048201526001600160a01b038616906370a0823190602401602060405180830381865afa1580156115a0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906115c491906125f0565b6115ce9085612638565b1115611636576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f4869676820696e20757361676500000000000000000000000000000000000000604482015260640161087d565b5050505050505050565b6000826001600160a01b031663e6a4390583600081518110611664576116646125c1565b60200260200101518460018151811061167f5761167f6125c1565b60200260200101516040518363ffffffff1660e01b81526004016116b99291906001600160a01b0392831681529116602082015260400190565b602060405180830381865afa1580156116d6573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061132891906128ab565b8251156117c65760005b81518110156117c057600061171e8686600001518661212e565b60208601519091501561175657846020015181600181518110611743576117436125c1565b6020026020010151101561175657600080fd5b6117888460008151811061176c5761176c6125c1565b60200260200101518783600081518110610315576103156125c1565b6117ad818585858151811061179f5761179f6125c1565b602002602001015189610eed565b50806117b88161272a565b915050611704565b506105ac565b60005b8151811015610ee65760006117e386866020015186610c46565b90506117fb8460008151811061176c5761176c6125c1565b611812818585858151811061179f5761179f6125c1565b508061181d8161272a565b9150506117c9565b60008282600081811061183a5761183a6125c1565b905060200201602081019061184f9190612535565b6040516370a0823160e01b81523060048201526001600160a01b0391909116906370a0823190602401602060405180830381865afa158015611895573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906118b991906125f0565b60408051608081018252600080825260208201819052818301819052606080830182905283516002808252918101909452939450909290919081602001602082028036833701905050905084846001818110611917576119176125c1565b905060200201602081019061192c9190612535565b8160008151811061193f5761193f6125c1565b60200260200101906001600160a01b031690816001600160a01b03168152505084846000818110611972576119726125c1565b90506020020160208101906119879190612535565b8160018151811061199a5761199a6125c1565b6001600160a01b03929092166020928302919091019091015260408051600180825281830190925260009181602001602082028036833701905050905030816000815181106119eb576119eb6125c1565b6001600160a01b03909216602092830291909101909101526064611a156080890160608a016128c8565b15611a1e575060015b6040516370a0823160e01b81523060048201526000906001600160a01b038b16906370a0823190602401602060405180830381865afa158015611a65573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611a8991906125f0565b905060005b82811015611ccb5760008211611aa5576000611aaf565b611aaf8383612870565b865260208a013515611b7457611b098c611ace368d90038d018d61264b565b8b8b808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152508a92506116fa915050565b6040516370a0823160e01b81523060048201526001600160a01b038c16906370a0823190602401602060405180830381865afa158015611b4d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611b7191906125f0565b86525b6040516370a0823160e01b81526001600160a01b038c16600482018190526000916370a0823190602401602060405180830381865afa158015611bbb573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611bdf91906125f0565b9050611c158a8a6001818110611bf757611bf76125c1565b9050602002016020810190611c0c9190612535565b88518f90610d8a565b611c3a8686600081518110611c2c57611c2c6125c1565b60200260200101518f611074565b506040516370a0823160e01b81526001600160a01b038d16600482018190526000916370a0823190602401602060405180830381865afa158015611c82573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611ca691906125f0565b9050818110611cb6575050611ccb565b50508080611cc39061272a565b915050611a8e565b5087876000818110611cdf57611cdf6125c1565b9050602002016020810190611cf49190612535565b6040516370a0823160e01b81523060048201526001600160a01b0391909116906370a0823190602401602060405180830381865afa158015611d3a573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611d5e91906125f0565b861115611e6e57886040013588886000818110611d7d57611d7d6125c1565b9050602002016020810190611d929190612535565b6040516370a0823160e01b81523060048201526001600160a01b0391909116906370a0823190602401602060405180830381865afa158015611dd8573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611dfc91906125f0565b611e069088612638565b1115611e6e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f4869676820696e20757361676500000000000000000000000000000000000000604482015260640161087d565b5050505050505050505050565b6000806000611e8a8585611f97565b509050600080876001600160a01b0316630902f1ac6040518163ffffffff1660e01b8152600401606060405180830381865afa158015611ece573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611ef291906126da565b506dffffffffffffffffffffffffffff1691506dffffffffffffffffffffffffffff169150826001600160a01b0316876001600160a01b031614611f37578082611f3a565b81815b90999098509650505050505050565b600080611f626103e8611f5c868861131c565b9061131c565b90506000611f766103e5611f5c86896120da565b9050611f8d6001611f878385612870565b90612252565b9695505050505050565b600080826001600160a01b0316846001600160a01b03160361203b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f556e697377617056324c6962726172793a204944454e544943414c5f4144445260448201527f4553534553000000000000000000000000000000000000000000000000000000606482015260840161087d565b826001600160a01b0316846001600160a01b03161061205b57828461205e565b83835b90925090506001600160a01b0382166120d3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f556e697377617056324c6962726172793a205a45524f5f414444524553530000604482015260640161087d565b9250929050565b60006113288284612638565b6000806120f5856103e561131c565b90506000612103828561131c565b9050600061211783611f87886103e861131c565b90506121238183612870565b979650505050505050565b6060815167ffffffffffffffff81111561214a5761214a6122ac565b604051908082528060200260200182016040528015612173578160200160208202803683370190505b509050828160008151811061218a5761218a6125c1565b60200260200101818152505060005b600183516121a79190612638565b811015610d82576000806121ed878685815181106121c7576121c76125c1565b6020026020010151878660016121dd91906127d7565b81518110610d1057610d106125c1565b91509150612215848481518110612206576122066125c1565b602002602001015183836120e6565b846122218560016127d7565b81518110612231576122316125c1565b6020026020010181815250505050808061224a9061272a565b915050612199565b600061132882846127d7565b6001600160a01b0381168114610bcf57600080fd5b6000806040838503121561228657600080fd5b82356122918161225e565b915060208301356122a18161225e565b809150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600082601f8301126122ec57600080fd5b8135602067ffffffffffffffff80831115612309576123096122ac565b8260051b6040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0603f8301168101818110848211171561234c5761234c6122ac565b60405293845285810183019383810192508785111561236a57600080fd5b83870191505b848210156121235781356123838161225e565b83529183019190830190612370565b6000806000606084860312156123a757600080fd5b83356123b28161225e565b925060208401359150604084013567ffffffffffffffff8111156123d557600080fd5b6123e1868287016122db565b9150509250925092565b6000608082840312156123fd57600080fd5b50919050565b60008083601f84011261241557600080fd5b50813567ffffffffffffffff81111561242d57600080fd5b6020830191508360208260051b85010111156120d357600080fd5b60008060008060c0858703121561245e57600080fd5b61246886866123eb565b9350608085013567ffffffffffffffff8082111561248557600080fd5b61249188838901612403565b909550935060a08701359150808211156124aa57600080fd5b506124b7878288016122db565b91505092959194509250565b600080600080600060e086880312156124db57600080fd5b85356124e68161225e565b94506124f587602088016123eb565b935060a0860135925060c086013567ffffffffffffffff81111561251857600080fd5b61252488828901612403565b969995985093965092949392505050565b60006020828403121561254757600080fd5b81356125528161225e565b9392505050565b60006020828403121561256b57600080fd5b813567ffffffffffffffff81111561258257600080fd5b61258e848285016122db565b949350505050565b8015158114610bcf57600080fd5b6000602082840312156125b657600080fd5b815161255281612596565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60006020828403121561260257600080fd5b5051919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b8181038181111561132b5761132b612609565b60006080828403121561265d57600080fd5b6040516080810181811067ffffffffffffffff82111715612680576126806122ac565b806040525082358152602083013560208201526040830135604082015260608301356126ab81612596565b60608201529392505050565b80516dffffffffffffffffffffffffffff811681146126d557600080fd5b919050565b6000806000606084860312156126ef57600080fd5b6126f8846126b7565b9250612706602085016126b7565b9150604084015163ffffffff8116811461271f57600080fd5b809150509250925092565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff820361275b5761275b612609565b5060010190565b60008161277157612771612609565b507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190565b60005b838110156127b257818101518382015260200161279a565b50506000910152565b600082516127cd818460208701612797565b9190910192915050565b8082018082111561132b5761132b612609565b8481528360208201526001600160a01b038316604082015260806060820152600082518060808401526128248160a0850160208701612797565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169190910160a00195945050505050565b808202811582820484141761132b5761132b612609565b6000826128a6577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500490565b6000602082840312156128bd57600080fd5b81516125528161225e565b6000602082840312156128da57600080fd5b81356125528161259656fea264697066735822122037325df4b976dd71a3ac09560684bc0cddef1c0fbebb9151fa9c98243a2d774e64736f6c63430008130033
[codex:1045159] 
[codex:1045159] 
[codex:1045159] thinking
[codex:1045159] **Analyzing contract bytecode for exploits**
[codex:1045159] thinking
[codex:1045159] **Evaluating storage and call security in bytecode**
[codex:1045159] 
[codex:1045159] I’m wrapping up the analysis of storage masks, access controls, and external calls like delegatecall or selfdestruct. I’m considering a quick automated check for delegatecall or selfdestruct opcodes in the bytecode to confirm exploit absence before concluding no findings.
[codex:1045159] exec
[codex:1045159] /bin/bash -lc "python - <<'PY'
[codex:1045159] import re
[codex:1045159] from pathlib import Path
[codex:1045159] hexstr = Path('/tmp/codex-multi-v9jbi5e3/BYTECODE_BUNDLE.txt').read_text().split('0x',1)[1].split('\\n',1)[0].strip()
[codex:1045159] # first line has runtime bytecode? Actually text includes header then 'FILE: runtime_bytecode.hex' then next line is 0x...
[codex:1045159] # We'll parse that line
[codex:1045159] lines = Path('/tmp/codex-multi-v9jbi5e3/BYTECODE_BUNDLE.txt').read_text().splitlines()
[codex:1045159] hexline = None
[codex:1045159] for i,l in enumerate(lines):
[codex:1045159]     if l.startswith('0x'):
[codex:1045159]         hexline = l.strip()
[codex:1045159]         break
[codex:1045159] if not hexline:
[codex:1045159]     print('no hex line')
[codex:1045159]     raise SystemExit
[codex:1045159] hexstr = hexline[2:]
[codex:1045159] # parse
[codex:1045159] b = bytes.fromhex(hexstr)
[codex:1045159] # opcode lengths for push
[codex:1045159] push_len = {i: i-0x5f for i in range(0x60, 0x80)}
[codex:1045159] # scan
[codex:1045159] ops = []
[codex:1045159] idx=0
[codex:1045159] while idx < len(b):
[codex:1045159]     op = b[idx]
[codex:1045159]     ops.append((idx, op))
[codex:1045159]     idx += 1
[codex:1045159]     if 0x60 <= op <= 0x7f:
[codex:1045159]         idx += op - 0x5f
[codex:1045159] # check delegatecall and selfdestruct
[codex:1045159] for name, opcode in [('DELEGATECALL',0xf4),('SELFDESTRUCT',0xff)]:
[codex:1045159]     positions = [i for i,op in ops if op==opcode]
[codex:1045159]     print(name, len(positions))
[codex:1045159]     if positions:
[codex:1045159]         print(' positions', positions[:10])
[codex:1045159] PY" in /tmp/codex-multi-v9jbi5e3 succeeded in 60ms:
[codex:1045159] DELEGATECALL 1
[codex:1045159]  positions [10483]
[codex:1045159] SELFDESTRUCT 0
[codex:1045159] 
[codex:1045159] thinking
[codex:1045159] **Analyzing delegatecall context and target**
[codex:1045159] exec
[codex:1045159] /bin/bash -lc "python - <<'PY'
[codex:1045159] from pathlib import Path
[codex:1045159] hexline = None
[codex:1045159] for l in Path('/tmp/codex-multi-v9jbi5e3/BYTECODE_BUNDLE.txt').read_text().splitlines():
[codex:1045159]     if l.startswith('0x'):
[codex:1045159]         hexline = l.strip(); break
[codex:1045159] b = bytes.fromhex(hexline[2:])
[codex:1045159] # disassemble minimal
[codex:1045159] opnames = {0xf4:'DELEGATECALL',0xff:'SELFDESTRUCT',0xf1:'CALL',0xfa:'STATICCALL',0xf2:'CALLCODE'}
[codex:1045159] # fill with PUSH names
[codex:1045159] for i in range(0x60,0x80):
[codex:1045159]     opnames[i] = f'PUSH{i-0x5f}'
[codex:1045159] # We'll collect instructions with offset
[codex:1045159] insts = []
[codex:1045159] idx=0
[codex:1045159] while idx < len(b):
[codex:1045159]     op = b[idx]
[codex:1045159]     start=idx
[codex:1045159]     idx +=1
[codex:1045159]     arg=None
[codex:1045159]     if 0x60 <= op <= 0x7f:
[codex:1045159]         l = op-0x5f
[codex:1045159]         arg = b[idx:idx+l]
[codex:1045159]         idx += l
[codex:1045159]     insts.append((start,op,arg))
[codex:1045159] # find delegatecall offset
[codex:1045159] positions=[i for i,(off,op,arg) in enumerate(insts) if op==0xf4]
[codex:1045159] print('delegatecall inst index', positions)
[codex:1045159] if positions:
[codex:1045159]     i=positions[0]
[codex:1045159]     for off,op,arg in insts[i-10:i+10]:
[codex:1045159]         name=opnames.get(op,f'OP{op:02x}')
[codex:1045159]         if arg is not None:
[codex:1045159]             print(f'{off:06x}: {name} 0x{arg.hex()}')
[codex:1045159]         else:
[codex:1045159]             print(f'{off:06x}: {name}')
[codex:1045159] PY" in /tmp/codex-multi-v9jbi5e3 succeeded in 32ms:
[codex:1045159] delegatecall inst index [6658]
[codex:1045159] 0028e4: OP56
[codex:1045159] 0028e5: OPfe
[codex:1045159] 0028e6: OPa2
[codex:1045159] 0028e7: PUSH5 0x6970667358
[codex:1045159] 0028ed: OP22
[codex:1045159] 0028ee: OP12
[codex:1045159] 0028ef: OP20
[codex:1045159] 0028f0: OP37
[codex:1045159] 0028f1: OP32
[codex:1045159] 0028f2: OP5d
[codex:1045159] 0028f3: DELEGATECALL
[codex:1045159] 0028f4: OPb9
[codex:1045159] 0028f5: PUSH23 0xdd71a3ac09560684bc0cddef1c0fbebb9151fa9c98243a
[codex:1045159] 00290d: OP2d
[codex:1045159] 00290e: PUSH24 0x4e64736f6c63430008130033
[codex:1045159] 
[codex:1045159] thinking
[codex:1045159] **Analyzing disassembler output and preparing JSON**
[codex:1045159] 
[codex:1045159] I’m confirming that the delegatecall instruction appears only within the metadata section after the invalid opcode marking code end, meaning it’s not part of executable code and poses no upgradeability risk. Given this, I’ll create a JSON output indicating no findings with an appropriate summary and an empty findings array, carefully matching the expected schema.
[codex:1045159] codex
[codex:1045159] {"no_findings":true,"summary":"No concrete, exploitable value-extraction path identified from the provided runtime bytecode bundle.","findings":[]}
[codex:1045159] tokens used
[codex:1045159] 24,319
[codex:1045159] {"no_findings":true,"summary":"No concrete, exploitable value-extraction path identified from the provided runtime bytecode bundle.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-31T23:44:29.806306+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable value-extraction path identified from the provided runtime bytecode bundle.",
    "raw_final": {
        "summary": "No concrete, exploitable value-extraction path identified from the provided runtime bytecode bundle.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00b5
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0xbdfa5584
00000019: GT
0000001a: PUSH2 0x0069
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xecd41509
00000024: GT
00000025: PUSH2 0x004e
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xecd41509
0000002f: EQ
00000030: PUSH2 0x01a6
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xed0fe4e0
0000003a: EQ
0000003b: PUSH2 0x01c6
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x01e6
00000049: JUMPI
0000004a: PUSH1 0x00
0000004c: DUP1
0000004d: REVERT
0000004e: JUMPDEST
0000004f: DUP1
00000050: PUSH4 0xbdfa5584
00000055: EQ
00000056: PUSH2 0x0173
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0xdf8de3e7
00000060: EQ
00000061: PUSH2 0x0186
00000064: JUMPI
00000065: PUSH1 0x00
00000067: DUP1
00000068: REVERT
00000069: JUMPDEST
0000006a: DUP1
0000006b: PUSH4 0x715018a6
00000070: GT
00000071: PUSH2 0x009a
00000074: JUMPI
00000075: DUP1
00000076: PUSH4 0x715018a6
0000007b: EQ
0000007c: PUSH2 0x0123
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0x754390d6
00000086: EQ
00000087: PUSH2 0x0138
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x8da5cb5b
00000091: EQ
00000092: PUSH2 0x014b
00000095: JUMPI
00000096: PUSH1 0x00
00000098: DUP1
00000099: REVERT
0000009a: JUMPDEST
0000009b: DUP1
0000009c: PUSH4 0x2a2fd050
000000a1: EQ
000000a2: PUSH2 0x00c1
000000a5: JUMPI
000000a6: DUP1
000000a7: PUSH4 0x2d3f2bbf
000000ac: EQ
000000ad: PUSH2 0x00e3
000000b0: JUMPI
000000b1: PUSH1 0x00
000000b3: DUP1
000000b4: REVERT
000000b5: JUMPDEST
000000b6: CALLDATASIZE
000000b7: PUSH2 0x00bc
000000ba: JUMPI
000000bb: STOP
000000bc: JUMPDEST
000000bd: PUSH1 0x00
000000bf: DUP1
000000c0: REVERT
000000c1: JUMPDEST
000000c2: CALLVALUE
000000c3: DUP1
000000c4: ISZERO
000000c5: PUSH2 0x00cd
000000c8: JUMPI
000000c9: PUSH1 0x00
000000cb: DUP1
000000cc: REVERT
000000cd: JUMPDEST
000000ce: POP
000000cf: PUSH2 0x00e1
000000d2: PUSH2 0x00dc
000000d5: CALLDATASIZE
000000d6: PUSH1 0x04
000000d8: PUSH2 0x2273
000000db: JUMP
000000dc: JUMPDEST
000000dd: PUSH2 0x0206
000000e0: JUMP
000000e1: JUMPDEST
000000e2: STOP
000000e3: JUMPDEST
000000e4: CALLVALUE
000000e5: DUP1
000000e6: ISZERO
000000e7: PUSH2 0x00ef
000000ea: JUMPI
000000eb: PUSH1 0x00
000000ed: DUP1
000000ee: REVERT
000000ef: JUMPDEST
000000f0: POP
000000f1: PUSH2 0x0103
000000f4: PUSH2 0x00fe
000000f7: CALLDATASIZE
000000f8: PUSH1 0x04
000000fa: PUSH2 0x2392
000000fd: JUMP
000000fe: JUMPDEST
000000ff: PUSH2 0x02b4
00000102: JUMP
00000103: JUMPDEST
00000104: PUSH1 0x40
00000106: DUP1
00000107: MLOAD
00000108: SWAP4
00000109: DUP5
0000010a: MSTORE
0000010b: PUSH1 0x20
0000010d: DUP5
0000010e: ADD
0000010f: SWAP3
00000110: SWAP1
00000111: SWAP3
00000112: MSTORE
00000113: SWAP1
00000114: DUP3
00000115: ADD
00000116: MSTORE
00000117: PUSH1 0x60
00000119: ADD
0000011a: JUMPDEST
0000011b: PUSH1 0x40
0000011d: MLOAD
0000011e: DUP1
0000011f: SWAP2
00000120: SUB
00000121: SWAP1
00000122: RETURN
00000123: JUMPDEST
00000124: CALLVALUE
00000125: DUP1
00000126: ISZERO
00000127: PUSH2 0x012f
0000012a: JUMPI
0000012b: PUSH1 0x00
0000012d: DUP1
0000012e: REVERT
0000012f: JUMPDEST
00000130: POP
00000131: PUSH2 0x00e1
00000134: PUSH2 0x0562
00000137: JUMP
00000138: JUMPDEST
00000139: PUSH2 0x00e1
0000013c: PUSH2 0x0146
0000013f: CALLDATASIZE
00000140: PUSH1 0x04
00000142: PUSH2 0x2448
00000145: JUMP
00000146: JUMPDEST
00000147: PUSH2 0x0576
0000014a: JUMP
0000014b: JUMPDEST
0000014c: CALLVALUE
0000014d: DUP1
0000014e: ISZERO
0000014f: PUSH2 0x0157
00000152: JUMPI
00000153: PUSH1 0x00
00000155: DUP1
00000156: REVERT
00000157: JUMPDEST
00000158: POP
00000159: PUSH1 0x00
0000015b: SLOAD
0000015c: PUSH1 0x40
0000015e: MLOAD
0000015f: PUSH1 0x01
00000161: PUSH1 0x01
00000163: PUSH1 0xa0
00000165: SHL
00000166: SUB
00000167: SWAP1
00000168: SWAP2
00000169: AND
0000016a: DUP2
0000016b: MSTORE
0000016c: PUSH1 0x20
0000016e: ADD
0000016f: PUSH2 0x011a
00000172: JUMP
00000173: JUMPDEST
00000174: PUSH2 0x0103
00000177: PUSH2 0x0181
0000017a: CALLDATASIZE
0000017b: PUSH1 0x04
0000017d: PUSH2 0x24c3
00000180: JUMP
00000181: JUMPDEST
00000182: PUSH2 0x05b2
00000185: JUMP
00000186: JUMPDEST
00000187: CALLVALUE
00000188: DUP1
00000189: ISZERO
0000018a: PUSH2 0x0192
0000018d: JUMPI
0000018e: PUSH1 0x00
00000190: DUP1
00000191: REVERT
00000192: JUMPDEST
00000193: POP
00000194: PUSH2 0x00e1
00000197: PUSH2 0x01a1
0000019a: CALLDATASIZE
0000019b: PUSH1 0x04
0000019d: PUSH2 0x2535
000001a0: JUMP
000001a1: JUMPDEST
000001a2: PUSH2 0x09da
000001a5: JUMP
000001a6: JUMPDEST
000001a7: CALLVALUE
000001a8: DUP1
000001a9: ISZERO
000001aa: PUSH2 0x01b2
000001ad: JUMPI
000001ae: PUSH1 0x00
000001b0: DUP1
000001b1: REVERT
000001b2: JUMPDEST
000001b3: POP
000001b4: PUSH2 0x00e1
000001b7: PUSH2 0x01c1
000001ba: CALLDATASIZE
000001bb: PUSH1 0x04
000001bd: PUSH2 0x2559
000001c0: JUMP
000001c1: JUMPDEST
000001c2: PUSH2 0x0a5e
000001c5: JUMP
000001c6: JUMPDEST
000001c7: CALLVALUE
000001c8: DUP1
000001c9: ISZERO
000001ca: PUSH2 0x01d2
000001cd: JUMPI
000001ce: PUSH1 0x00
000001d0: DUP1
000001d1: REVERT
000001d2: JUMPDEST
000001d3: POP
000001d4: PUSH2 0x00e1
000001d7: PUSH2 0x01e1
000001da: CALLDATASIZE
000001db: PUSH1 0x04
000001dd: PUSH2 0x2535
000001e0: JUMP
000001e1: JUMPDEST
000001e2: PUSH2 0x0aeb
000001e5: JUMP
000001e6: JUMPDEST
000001e7: CALLVALUE
000001e8: DUP1
000001e9: ISZERO
000001ea: PUSH2 0x01f2
000001ed: JUMPI
000001ee: PUSH1 0x00
000001f0: DUP1
000001f1: REVERT
000001f2: JUMPDEST
000001f3: POP
000001f4: PUSH2 0x00e1
000001f7: PUSH2 0x0201
000001fa: CALLDATASIZE
000001fb: PUSH1 0x04
000001fd: PUSH2 0x2535
00000200: JUMP
00000201: JUMPDEST
00000202: PUSH2 0x0b28
00000205: JUMP
00000206: JUMPDEST
00000207: PUSH2 0x020e
0000020a: PUSH2 0x0bd2
0000020d: JUMP
0000020e: JUMPDEST
0000020f: PUSH1 0x40
00000211: MLOAD
00000212: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000
00000233: DUP2
00000234: MSTORE
00000235: PUSH1 0x01
00000237: PUSH1 0x01
00000239: PUSH1 0xa0
0000023b: SHL
0000023c: SUB
0000023d: DUP3
0000023e: DUP2
0000023f: AND
00000240: PUSH1 0x04
00000242: DUP4
00000243: ADD
00000244: MSTORE
00000245: PUSH22 0x1aba4714957d300d0e549208b31adb10000000000000
0000025c: PUSH1 0x24
0000025e: DUP4
0000025f: ADD
00000260: MSTORE
00000261: DUP4
00000262: AND
00000263: SWAP1
00000264: PUSH4 0x095ea7b3
00000269: SWAP1
0000026a: PUSH1 0x44
0000026c: ADD
0000026d: PUSH1 0x20
0000026f: PUSH1 0x40
00000271: MLOAD
00000272: DUP1
00000273: DUP4
00000274: SUB
00000275: DUP2
00000276: PUSH1 0x00
00000278: DUP8
00000279: GAS
0000027a: CALL
0000027b: ISZERO
0000027c: DUP1
0000027d: ISZERO
0000027e: PUSH2 0x028b
00000281: JUMPI
00000282: RETURNDATASIZE
00000283: PUSH1 0x00
00000285: DUP1
00000286: RETURNDATACOPY
00000287: RETURNDATASIZE
00000288: PUSH1 0x00
0000028a: REVERT
0000028b: JUMPDEST
0000028c: POP
0000028d: POP
0000028e: POP
0000028f: POP
00000290: PUSH1 0x40
00000292: MLOAD
00000293: RETURNDATASIZE
00000294: PUSH1 0x1f
00000296: NOT
00000297: PUSH1 0x1f
00000299: DUP3
0000029a: ADD
0000029b: AND
0000029c: DUP3
0000029d: ADD
0000029e: DUP1
0000029f: PUSH1 0x40
000002a1: MSTORE
000002a2: POP
000002a3: DUP2
000002a4: ADD
000002a5: SWAP1
000002a6: PUSH2 0x02af
000002a9: SWAP2
000002aa: SWAP1
000002ab: PUSH2 0x25a4
000002ae: JUMP
000002af: JUMPDEST
000002b0: POP
000002b1: POP
000002b2: POP
000002b3: JUMP
000002b4: JUMPDEST
000002b5: CALLER
000002b6: PUSH1 0x00
000002b8: SWAP1
000002b9: DUP2
000002ba: MSTORE
000002bb: PUSH1 0x01
000002bd: PUSH1 0x20
000002bf: MSTORE
000002c0: PUSH1 0x40
000002c2: DUP2
000002c3: KECCAK256
000002c4: SLOAD
000002c5: DUP2
000002c6: SWAP1
000002c7: DUP2
000002c8: SWAP1
000002c9: PUSH1 0xff
000002cb: AND
000002cc: PUSH2 0x02d4
000002cf: JUMPI
000002d0: PUSH1 0x00
000002d2: DUP1
000002d3: REVERT
000002d4: JUMPDEST
000002d5: PUSH1 0x00
000002d7: PUSH2 0x02e1
000002da: DUP8
000002db: DUP8
000002dc: DUP8
000002dd: PUSH2 0x0c46
000002e0: JUMP
000002e1: JUMPDEST
000002e2: SWAP1
000002e3: POP
000002e4: PUSH2 0x0322
000002e7: DUP6
000002e8: PUSH1 0x00
000002ea: DUP2
000002eb: MLOAD
000002ec: DUP2
000002ed: LT
000002ee: PUSH2 0x02f9
000002f1: JUMPI
000002f2: PUSH2 0x02f9
000002f5: PUSH2 0x25c1
000002f8: JUMP
000002f9: JUMPDEST
000002fa: PUSH1 0x20
000002fc: MUL
000002fd: PUSH1 0x20
000002ff: ADD
00000300: ADD
00000301: MLOAD
00000302: DUP9
00000303: DUP4
00000304: PUSH1 0x00
00000306: DUP2
00000307: MLOAD
00000308: DUP2
00000309: LT
0000030a: PUSH2 0x0315
0000030d: JUMPI
0000030e: PUSH2 0x0315
00000311: PUSH2 0x25c1
00000314: JUMP
00000315: JUMPDEST
00000316: PUSH1 0x20
00000318: MUL
00000319: PUSH1 0x20
0000031b: ADD
0000031c: ADD
0000031d: MLOAD
0000031e: PUSH2 0x0d8a
00000321: JUMP
00000322: JUMPDEST
00000323: PUSH2 0x032e
00000326: DUP2
00000327: DUP7
00000328: ADDRESS
00000329: DUP11
0000032a: PUSH2 0x0eed
0000032d: JUMP
0000032e: JUMPDEST
0000032f: PUSH1 0x40
00000331: DUP1
00000332: MLOAD
00000333: PUSH1 0x02
00000335: DUP1
00000336: DUP3
00000337: MSTORE
00000338: PUSH1 0x60
0000033a: DUP3
0000033b: ADD
0000033c: DUP4
0000033d: MSTORE
0000033e: PUSH1 0x00
00000340: SWAP3
00000341: PUSH1 0x20
00000343: DUP4
00000344: ADD
00000345: SWAP1
00000346: DUP1
00000347: CALLDATASIZE
00000348: DUP4
00000349: CALLDATACOPY
0000034a: ADD
0000034b: SWAP1
0000034c: POP
0000034d: POP
0000034e: SWAP1
0000034f: POP
00000350: DUP6
00000351: PUSH1 0x01
00000353: DUP2
00000354: MLOAD
00000355: DUP2
00000356: LT
00000357: PUSH2 0x0362
0000035a: JUMPI
0000035b: PUSH2 0x0362
0000035e: PUSH2 0x25c1
00000361: JUMP
00000362: JUMPDEST
00000363: PUSH1 0x20
00000365: MUL
00000366: PUSH1 0x20
00000368: ADD
00000369: ADD
0000036a: MLOAD
0000036b: DUP2
0000036c: PUSH1 0x00
0000036e: DUP2
0000036f: MLOAD
00000370: DUP2
00000371: LT
00000372: PUSH2 0x037d
00000375: JUMPI
00000376: PUSH2 0x037d
00000379: PUSH2 0x25c1
0000037c: JUMP
0000037d: JUMPDEST
0000037e: PUSH1 0x20
00000380: MUL
00000381: PUSH1 0x20
00000383: ADD
00000384: ADD
00000385: SWAP1
00000386: PUSH1 0x01
00000388: PUSH1 0x01
0000038a: PUSH1 0xa0
0000038c: SHL
0000038d: SUB
0000038e: AND
0000038f: SWAP1
00000390: DUP2
00000391: PUSH1 0x01
00000393: PUSH1 0x01
00000395: PUSH1 0xa0
00000397: SHL
00000398: SUB
00000399: AND
0000039a: DUP2
0000039b: MSTORE
0000039c: POP
0000039d: POP
0000039e: DUP6
0000039f: PUSH1 0x00
000003a1: DUP2
000003a2: MLOAD
000003a3: DUP2
000003a4: LT
000003a5: PUSH2 0x03b0
000003a8: JUMPI
000003a9: PUSH2 0x03b0
000003ac: PUSH2 0x25c1
000003af: JUMP
000003b0: JUMPDEST
000003b1: PUSH1 0x20
000003b3: MUL
000003b4: PUSH1 0x20
000003b6: ADD
000003b7: ADD
000003b8: MLOAD
000003b9: DUP2
000003ba: PUSH1 0x01
000003bc: DUP2
000003bd: MLOAD
000003be: DUP2
000003bf: LT
000003c0: PUSH2 0x03cb
000003c3: JUMPI
000003c4: PUSH2 0x03cb
000003c7: PUSH2 0x25c1
000003ca: JUMP
000003cb: JUMPDEST
000003cc: PUSH1 0x20
000003ce: MUL
000003cf: PUSH1 0x20
000003d1: ADD
000003d2: ADD
000003d3: SWAP1
000003d4: PUSH1 0x01
000003d6: PUSH1 0x01
000003d8: PUSH1 0xa0
000003da: SHL
000003db: SUB
000003dc: AND
000003dd: SWAP1
000003de: DUP2
000003df: PUSH1 0x01
000003e1: PUSH1 0x01
000003e3: PUSH1 0xa0
000003e5: SHL
000003e6: SUB
000003e7: AND
000003e8: DUP2
000003e9: MSTORE
000003ea: POP
000003eb: POP
000003ec: PUSH1 0x00
000003ee: DUP7
000003ef: PUSH1 0x01
000003f1: DUP2
000003f2: MLOAD
000003f3: DUP2
000003f4: LT
000003f5: PUSH2 0x0400
000003f8: JUMPI
000003f9: PUSH2 0x0400
000003fc: PUSH2 0x25c1
000003ff: JUMP
00000400: JUMPDEST
00000401: PUSH1 0x20
00000403: SWAP1
00000404: DUP2
00000405: MUL
00000406: SWAP2
00000407: SWAP1
00000408: SWAP2
00000409: ADD
0000040a: ADD
0000040b: MLOAD
0000040c: PUSH1 0x40
0000040e: MLOAD
0000040f: PUSH4 0x70a08231
00000414: PUSH1 0xe0
00000416: SHL
00000417: DUP2
00000418: MSTORE
00000419: ADDRESS
0000041a: PUSH1 0x04
0000041c: DUP3
0000041d: ADD
0000041e: MSTORE
0000041f: PUSH1 0x01
00000421: PUSH1 0x01
00000423: PUSH1 0xa0
00000425: SHL
00000426: SUB
00000427: SWAP1
00000428: SWAP2
00000429: AND
0000042a: SWAP1
0000042b: PUSH4 0x70a08231
00000430: SWAP1
00000431: PUSH1 0x24
00000433: ADD
00000434: PUSH1 0x20
00000436: PUSH1 0x40
00000438: MLOAD
00000439: DUP1
0000043a: DUP4
0000043b: SUB
0000043c: DUP2
0000043d: DUP7
0000043e: GAS
0000043f: STATICCALL
00000440: ISZERO
00000441: DUP1
00000442: ISZERO
00000443: PUSH2 0x0450
00000446: JUMPI
00000447: RETURNDATASIZE
00000448: PUSH1 0x00
0000044a: DUP1
0000044b: RETURNDATACOPY
0000044c: RETURNDATASIZE
0000044d: PUSH1 0x00
0000044f: REVERT
00000450: JUMPDEST
00000451: POP
00000452: POP
00000453: POP
00000454: POP
00000455: PUSH1 0x40
00000457: MLOAD
00000458: RETURNDATASIZE
00000459: PUSH1 0x1f
0000045b: NOT
0000045c: PUSH1 0x1f
0000045e: DUP3
0000045f: ADD
00000460: AND
00000461: DUP3
00000462: ADD
00000463: DUP1
00000464: PUSH1 0x40
00000466: MSTORE
00000467: POP
00000468: DUP2
00000469: ADD
0000046a: SWAP1
0000046b: PUSH2 0x0474
0000046e: SWAP2
0000046f: SWAP1
00000470: PUSH2 0x25f0
00000473: JUMP
00000474: JUMPDEST
00000475: SWAP1
00000476: POP
00000477: PUSH2 0x049b
0000047a: DUP8
0000047b: PUSH1 0x01
0000047d: DUP2
0000047e: MLOAD
0000047f: DUP2
00000480: LT
00000481: PUSH2 0x048c
00000484: JUMPI
00000485: PUSH2 0x048c
00000488: PUSH2 0x25c1
0000048b: JUMP
0000048c: JUMPDEST
0000048d: PUSH1 0x20
0000048f: MUL
00000490: PUSH1 0x20
00000492: ADD
00000493: ADD
00000494: MLOAD
00000495: DUP11
00000496: DUP4
00000497: PUSH2 0x0d8a
0000049a: JUMP
0000049b: JUMPDEST
0000049c: PUSH1 0x00
0000049e: PUSH2 0x04a8
000004a1: DUP4
000004a2: ADDRESS
000004a3: DUP13
000004a4: PUSH2 0x1074
000004a7: JUMP
000004a8: JUMPDEST
000004a9: SWAP1
000004aa: POP
000004ab: PUSH1 0x00
000004ad: PUSH2 0x04e4
000004b0: DUP6
000004b1: PUSH1 0x01
000004b3: DUP2
000004b4: MLOAD
000004b5: DUP2
000004b6: LT
000004b7: PUSH2 0x04c2
000004ba: JUMPI
000004bb: PUSH2 0x04c2
000004be: PUSH2 0x25c1
000004c1: JUMP
000004c2: JUMPDEST
000004c3: PUSH1 0x20
000004c5: MUL
000004c6: PUSH1 0x20
000004c8: ADD
000004c9: ADD
000004ca: MLOAD
000004cb: PUSH2 0x04de
000004ce: PUSH1 0x64
000004d0: DUP7
000004d1: PUSH2 0x131c
000004d4: SWAP1
000004d5: SWAP2
000004d6: SWAP1
000004d7: PUSH4 0xffffffff
000004dc: AND
000004dd: JUMP
000004de: JUMPDEST
000004df: SWAP1
000004e0: PUSH2 0x1331
000004e3: JUMP
000004e4: JUMPDEST
000004e5: PUSH2 0x04ef
000004e8: SWAP1
000004e9: PUSH1 0x64
000004eb: PUSH2 0x2638
000004ee: JUMP
000004ef: JUMPDEST
000004f0: SWAP1
000004f1: POP
000004f2: PUSH1 0x00
000004f4: PUSH2 0x0502
000004f7: DUP5
000004f8: PUSH2 0x04de
000004fb: DUP6
000004fc: PUSH1 0x64
000004fe: PUSH2 0x131c
00000501: JUMP
00000502: JUMPDEST
00000503: PUSH2 0x050d
00000506: SWAP1
00000507: PUSH1 0x64
00000509: PUSH2 0x2638
0000050c: JUMP
0000050d: JUMPDEST
0000050e: SWAP1
0000050f: POP
00000510: PUSH1 0x00
00000512: PUSH2 0x0543
00000515: DUP8
00000516: PUSH1 0x01
00000518: DUP2
00000519: MLOAD
0000051a: DUP2
0000051b: LT
0000051c: PUSH2 0x0527
0000051f: JUMPI
00000520: PUSH2 0x0527
00000523: PUSH2 0x25c1
00000526: JUMP
00000527: JUMPDEST
00000528: PUSH1 0x20
0000052a: MUL
0000052b: PUSH1 0x20
0000052d: ADD
0000052e: ADD
0000052f: MLOAD
00000530: PUSH2 0x04de
00000533: PUSH1 0x64
00000535: DUP8
00000536: PUSH2 0x131c
00000539: SWAP1
0000053a: SWAP2
0000053b: SWAP1
0000053c: PUSH4 0xffffffff
00000541: AND
00000542: JUMP
00000543: JUMPDEST
00000544: PUSH2 0x054e
00000547: SWAP1
00000548: PUSH1 0x64
0000054a: PUSH2 0x2638
0000054d: JUMP
0000054e: JUMPDEST
0000054f: SWAP3
00000550: SWAP14
00000551: SWAP2
00000552: SWAP13
00000553: POP
00000554: SWAP2
00000555: SWAP11
00000556: POP
00000557: SWAP9
00000558: POP
00000559: POP
0000055a: POP
0000055b: POP
0000055c: POP
0000055d: POP
0000055e: POP
0000055f: POP
00000560: POP
00000561: JUMP
00000562: JUMPDEST
00000563: PUSH2 0x056a
00000566: PUSH2 0x0bd2
00000569: JUMP
0000056a: JUMPDEST
0000056b: PUSH2 0x0574
0000056e: PUSH1 0x00
00000570: PUSH2 0x133d
00000573: JUMP
00000574: JUMPDEST
00000575: JUMP
00000576: JUMPDEST
00000577: CALLER
00000578: PUSH1 0x00
0000057a: SWAP1
0000057b: DUP2
0000057c: MSTORE
0000057d: PUSH1 0x01
0000057f: PUSH1 0x20
00000581: MSTORE
00000582: PUSH1 0x40
00000584: SWAP1
00000585: KECCAK256
00000586: SLOAD
00000587: PUSH1 0xff
00000589: AND
0000058a: PUSH2 0x0592
0000058d: JUMPI
0000058e: PUSH1 0x00
00000590: DUP1
00000591: REVERT
00000592: JUMPDEST
00000593: PUSH2 0x05ac
00000596: PUSH2 0x05a4
00000599: CALLDATASIZE
0000059a: DUP7
0000059b: SWAP1
0000059c: SUB
0000059d: DUP7
0000059e: ADD
0000059f: DUP7
000005a0: PUSH2 0x264b
000005a3: JUMP
000005a4: JUMPDEST
000005a5: DUP5
000005a6: DUP5
000005a7: DUP5
000005a8: PUSH2 0x13a5
000005ab: JUMP
000005ac: JUMPDEST
000005ad: POP
000005ae: POP
000005af: POP
000005b0: POP
000005b1: JUMP
000005b2: JUMPDEST
000005b3: CALLER
000005b4: PUSH1 0x00
000005b6: SWAP1
000005b7: DUP2
000005b8: MSTORE
000005b9: PUSH1 0x01
000005bb: PUSH1 0x20
000005bd: MSTORE
000005be: PUSH1 0x40
000005c0: DUP2
000005c1: KECCAK256
000005c2: SLOAD
000005c3: DUP2
000005c4: SWAP1
000005c5: DUP2
000005c6: SWAP1
000005c7: PUSH1 0xff
000005c9: AND
000005ca: PUSH2 0x05d2
000005cd: JUMPI
000005ce: PUSH1 0x00
000005d0: DUP1
000005d1: REVERT
000005d2: JUMPDEST
000005d3: PUSH1 0x40
000005d5: DUP1
000005d6: MLOAD
000005d7: PUSH1 0x01
000005d9: DUP1
000005da: DUP3
000005db: MSTORE
000005dc: DUP2
000005dd: DUP4
000005de: ADD
000005df: SWAP1
000005e0: SWAP3
000005e1: MSTORE
000005e2: PUSH1 0x00
000005e4: SWAP2
000005e5: PUSH1 0x20
000005e7: DUP1
000005e8: DUP4
000005e9: ADD
000005ea: SWAP1
000005eb: DUP1
000005ec: CALLDATASIZE
000005ed: DUP4
000005ee: CALLDATACOPY
000005ef: ADD
000005f0: SWAP1
000005f1: POP
000005f2: POP
000005f3: SWAP1
000005f4: POP
000005f5: ADDRESS
000005f6: DUP2
000005f7: PUSH1 0x00
000005f9: DUP2
000005fa: MLOAD
000005fb: DUP2
000005fc: LT
000005fd: PUSH2 0x0608
00000600: JUMPI
00000601: PUSH2 0x0608
00000604: PUSH2 0x25c1
00000607: JUMP
00000608: JUMPDEST
00000609: PUSH1 0x01
0000060b: PUSH1 0x01
0000060d: PUSH1 0xa0
0000060f: SHL
00000610: SUB
00000611: SWAP3
00000612: DUP4
00000613: AND
00000614: PUSH1 0x20
00000616: SWAP2
00000617: DUP3
00000618: MUL
00000619: SWAP3
0000061a: SWAP1
0000061b: SWAP3
0000061c: ADD
0000061d: DUP2
0000061e: ADD
0000061f: SWAP2
00000620: SWAP1
00000621: SWAP2
00000622: MSTORE
00000623: PUSH1 0x03
00000625: SLOAD
00000626: PUSH1 0x40
00000628: DUP1
00000629: MLOAD
0000062a: DUP10
0000062b: DUP5
0000062c: MUL
0000062d: DUP2
0000062e: DUP2
0000062f: ADD
00000630: DUP6
00000631: ADD
00000632: SWAP1
00000633: SWAP3
00000634: MSTORE
00000635: DUP10
00000636: DUP2
00000637: MSTORE
00000638: PUSH1 0x00
0000063a: SWAP5
0000063b: PUSH2 0x0664
0000063e: SWAP5
0000063f: SWAP4
00000640: AND
00000641: SWAP3
00000642: SWAP1
00000643: SWAP2
00000644: DUP12
00000645: SWAP2
00000646: DUP12
00000647: SWAP2
00000648: DUP3
00000649: SWAP2
0000064a: DUP6
0000064b: ADD
0000064c: SWAP1
0000064d: DUP5
0000064e: SWAP1
0000064f: DUP1
00000650: DUP3
00000651: DUP5
00000652: CALLDATACOPY
00000653: PUSH1 0x00
00000655: SWAP3
00000656: ADD
00000657: SWAP2
00000658: SWAP1
00000659: SWAP2
0000065a: MSTORE
0000065b: POP
0000065c: PUSH2 0x1640
0000065f: SWAP3
00000660: POP
00000661: POP
00000662: POP
00000663: JUMP
00000664: JUMPDEST
00000665: SWAP1
00000666: POP
00000667: PUSH1 0x00
00000669: DUP8
0000066a: DUP8
0000066b: PUSH1 0x00
0000066d: DUP2
0000066e: DUP2
0000066f: LT
00000670: PUSH2 0x067b
00000673: JUMPI
00000674: PUSH2 0x067b
00000677: PUSH2 0x25c1
0000067a: JUMP
0000067b: JUMPDEST
0000067c: SWAP1
0000067d: POP
0000067e: PUSH1 0x20
00000680: MUL
00000681: ADD
00000682: PUSH1 0x20
00000684: DUP2
00000685: ADD
00000686: SWAP1
00000687: PUSH2 0x0690
0000068a: SWAP2
0000068b: SWAP1
0000068c: PUSH2 0x2535
0000068f: JUMP
00000690: JUMPDEST
00000691: PUSH1 0x40
00000693: MLOAD
00000694: PUSH4 0x70a08231
00000699: PUSH1 0xe0
0000069b: SHL
0000069c: DUP2
0000069d: MSTORE
0000069e: PUSH1 0x01
000006a0: PUSH1 0x01
000006a2: PUSH1 0xa0
000006a4: SHL
000006a5: SUB
000006a6: DUP5
000006a7: DUP2
000006a8: AND
000006a9: PUSH1 0x04
000006ab: DUP4
000006ac: ADD
000006ad: MSTORE
000006ae: SWAP2
000006af: SWAP1
000006b0: SWAP2
000006b1: AND
000006b2: SWAP1
000006b3: PUSH4 0x70a08231
000006b8: SWAP1
000006b9: PUSH1 0x24
000006bb: ADD
000006bc: PUSH1 0x20
000006be: PUSH1 0x40
000006c0: MLOAD
000006c1: DUP1
000006c2: DUP4
000006c3: SUB
000006c4: DUP2
000006c5: DUP7
000006c6: GAS
000006c7: STATICCALL
000006c8: ISZERO
000006c9: DUP1
000006ca: ISZERO
000006cb: PUSH2 0x06d8
000006ce: JUMPI
000006cf: RETURNDATASIZE
000006d0: PUSH1 0x00
000006d2: DUP1
000006d3: RETURNDATACOPY
000006d4: RETURNDATASIZE
000006d5: PUSH1 0x00
000006d7: REVERT
000006d8: JUMPDEST
000006d9: POP
000006da: POP
000006db: POP
000006dc: POP
000006dd: PUSH1 0x40
000006df: MLOAD
000006e0: RETURNDATASIZE
000006e1: PUSH1 0x1f
000006e3: NOT
000006e4: PUSH1 0x1f
000006e6: DUP3
000006e7: ADD
000006e8: AND
000006e9: DUP3
000006ea: ADD
000006eb: DUP1
000006ec: PUSH1 0x40
000006ee: MSTORE
000006ef: POP
000006f0: DUP2
000006f1: ADD
000006f2: SWAP1
000006f3: PUSH2 0x06fc
000006f6: SWAP2
000006f7: SWAP1
000006f8: PUSH2 0x25f0
000006fb: JUMP
000006fc: JUMPDEST
000006fd: SWAP1
000006fe: POP
000006ff: PUSH1 0x01
00000701: PUSH1 0x01
00000703: PUSH1 0xa0
00000705: SHL
00000706: SUB
00000707: DUP3
00000708: AND
00000709: ISZERO
0000070a: PUSH2 0x076f
0000070d: JUMPI
0000070e: DUP10
0000070f: CALLDATALOAD
00000710: ISZERO
00000711: PUSH2 0x0762
00000714: JUMPI
00000715: PUSH2 0x0762
00000718: DUP3
00000719: PUSH2 0x0727
0000071c: CALLDATASIZE
0000071d: DUP14
0000071e: SWAP1
0000071f: SUB
00000720: DUP14
00000721: ADD
00000722: DUP14
00000723: PUSH2 0x264b
00000726: JUMP
00000727: JUMPDEST
00000728: DUP11
00000729: DUP11
0000072a: DUP1
0000072b: DUP1
0000072c: PUSH1 0x20
0000072e: MUL
0000072f: PUSH1 0x20
00000731: ADD
00000732: PUSH1 0x40
00000734: MLOAD
00000735: SWAP1
00000736: DUP2
00000737: ADD
00000738: PUSH1 0x40
0000073a: MSTORE
0000073b: DUP1
0000073c: SWAP4
0000073d: SWAP3
0000073e: SWAP2
0000073f: SWAP1
00000740: DUP2
00000741: DUP2
00000742: MSTORE
00000743: PUSH1 0x20
00000745: ADD
00000746: DUP4
00000747: DUP4
00000748: PUSH1 0x20
0000074a: MUL
0000074b: DUP1
0000074c: DUP3
0000074d: DUP5
0000074e: CALLDATACOPY
0000074f: PUSH1 0x00
00000751: SWAP3
00000752: ADD
00000753: SWAP2
00000754: SWAP1
00000755: SWAP2
00000756: MSTORE
00000757: POP
00000758: DUP10
00000759: SWAP3
0000075a: POP
0000075b: PUSH2 0x16fa
0000075e: SWAP2
0000075f: POP
00000760: POP
00000761: JUMP
00000762: JUMPDEST
00000763: PUSH2 0x076f
00000766: DUP3
00000767: DUP13
00000768: DUP13
00000769: DUP12
0000076a: DUP12
0000076b: PUSH2 0x1825
0000076e: JUMP
0000076f: JUMPDEST
00000770: DUP9
00000771: ISZERO
00000772: PUSH2 0x0888
00000775: JUMPI
00000776: PUSH1 0x00
00000778: DUP9
00000779: DUP9
0000077a: PUSH1 0x00
0000077c: DUP2
0000077d: DUP2
0000077e: LT
0000077f: PUSH2 0x078a
00000782: JUMPI
00000783: PUSH2 0x078a
00000786: PUSH2 0x25c1
00000789: JUMP
0000078a: JUMPDEST
0000078b: SWAP1
0000078c: POP
0000078d: PUSH1 0x20
0000078f: MUL
00000790: ADD
00000791: PUSH1 0x20
00000793: DUP2
00000794: ADD
00000795: SWAP1
00000796: PUSH2 0x079f
00000799: SWAP2
0000079a: SWAP1
0000079b: PUSH2 0x2535
0000079e: JUMP
0000079f: JUMPDEST
000007a0: PUSH1 0x40
000007a2: MLOAD
000007a3: PUSH4 0x70a08231
000007a8: PUSH1 0xe0
000007aa: SHL
000007ab: DUP2
000007ac: MSTORE
000007ad: PUSH1 0x01
000007af: PUSH1 0x01
000007b1: PUSH1 0xa0
000007b3: SHL
000007b4: SUB
000007b5: DUP6
000007b6: DUP2
000007b7: AND
000007b8: PUSH1 0x04
000007ba: DUP4
000007bb: ADD
000007bc: MSTORE
000007bd: SWAP2
000007be: SWAP1
000007bf: SWAP2
000007c0: AND
000007c1: SWAP1
000007c2: PUSH4 0x70a08231
000007c7: SWAP1
000007c8: PUSH1 0x24
000007ca: ADD
000007cb: PUSH1 0x20
000007cd: PUSH1 0x40
000007cf: MLOAD
000007d0: DUP1
000007d1: DUP4
000007d2: SUB
000007d3: DUP2
000007d4: DUP7
000007d5: GAS
000007d6: STATICCALL
000007d7: ISZERO
000007d8: DUP1
000007d9: ISZERO
000007da: PUSH2 0x07e7
000007dd: JUMPI
000007de: RETURNDATASIZE
000007df: PUSH1 0x00
000007e1: DUP1
000007e2: RETURNDATACOPY
000007e3: RETURNDATASIZE
000007e4: PUSH1 0x00
000007e6: REVERT
000007e7: JUMPDEST
000007e8: POP
000007e9: POP
000007ea: POP
000007eb: POP
000007ec: PUSH1 0x40
000007ee: MLOAD
000007ef: RETURNDATASIZE
000007f0: PUSH1 0x1f
000007f2: NOT
000007f3: PUSH1 0x1f
000007f5: DUP3
000007f6: ADD
000007f7: AND
000007f8: DUP3
000007f9: ADD
000007fa: DUP1
000007fb: PUSH1 0x40
000007fd: MSTORE
000007fe: POP
000007ff: DUP2
00000800: ADD
00000801: SWAP1
00000802: PUSH2 0x080b
00000805: SWAP2
00000806: SWAP1
00000807: PUSH2 0x25f0
0000080a: JUMP
0000080b: JUMPDEST
0000080c: PUSH2 0x0815
0000080f: SWAP1
00000810: DUP4
00000811: PUSH2 0x2638
00000814: JUMP
00000815: JUMPDEST
00000816: SWAP1
00000817: POP
00000818: DUP10
00000819: DUP2
0000081a: LT
0000081b: ISZERO
0000081c: PUSH2 0x0886
0000081f: JUMPI
00000820: PUSH1 0x40
00000822: MLOAD
00000823: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000844: DUP2
00000845: MSTORE
00000846: PUSH1 0x20
00000848: PUSH1 0x04
0000084a: DUP3
0000084b: ADD
0000084c: MSTORE
0000084d: PUSH1 0x13
0000084f: PUSH1 0x24
00000851: DUP3
00000852: ADD
00000853: MSTORE
00000854: PUSH32 0x4d696e206175746f73776170206661696c656400000000000000000000000000
00000875: PUSH1 0x44
00000877: DUP3
00000878: ADD
00000879: MSTORE
0000087a: PUSH1 0x64
0000087c: ADD
0000087d: JUMPDEST
0000087e: PUSH1 0x40
00000880: MLOAD
00000881: DUP1
00000882: SWAP2
00000883: SUB
00000884: SWAP1
00000885: REVERT
00000886: JUMPDEST
00000887: POP
00000888: JUMPDEST
00000889: PUSH1 0x00
0000088b: DUP1
0000088c: DUP4
0000088d: PUSH1 0x01
0000088f: PUSH1 0x01
00000891: PUSH1 0xa0
00000893: SHL
00000894: SUB
00000895: AND
00000896: PUSH4 0x0902f1ac
0000089b: PUSH1 0x40
0000089d: MLOAD
0000089e: DUP2
0000089f: PUSH4 0xffffffff
000008a4: AND
000008a5: PUSH1 0xe0
000008a7: SHL
000008a8: DUP2
000008a9: MSTORE
000008aa: PUSH1 0x04
000008ac: ADD
000008ad: PUSH1 0x60
000008af: PUSH1 0x40
000008b1: MLOAD
000008b2: DUP1
000008b3: DUP4
000008b4: SUB
000008b5: DUP2
000008b6: DUP7
000008b7: GAS
000008b8: STATICCALL
000008b9: ISZERO
000008ba: DUP1
000008bb: ISZERO
000008bc: PUSH2 0x08c9
000008bf: JUMPI
000008c0: RETURNDATASIZE
000008c1: PUSH1 0x00
000008c3: DUP1
000008c4: RETURNDATACOPY
000008c5: RETURNDATASIZE
000008c6: PUSH1 0x00
000008c8: REVERT
000008c9: JUMPDEST
000008ca: POP
000008cb: POP
000008cc: POP
000008cd: POP
000008ce: PUSH1 0x40
000008d0: MLOAD
000008d1: RETURNDATASIZE
000008d2: PUSH1 0x1f
000008d4: NOT
000008d5: PUSH1 0x1f
000008d7: DUP3
000008d8: ADD
000008d9: AND
000008da: DUP3
000008db: ADD
000008dc: DUP1
000008dd: PUSH1 0x40
000008df: MSTORE
000008e0: POP
000008e1: DUP2
000008e2: ADD
000008e3: SWAP1
000008e4: PUSH2 0x08ed
000008e7: SWAP2
000008e8: SWAP1
000008e9: PUSH2 0x26da
000008ec: JUMP
000008ed: JUMPDEST
000008ee: POP
000008ef: PUSH14 0xffffffffffffffffffffffffffff
000008fe: AND
000008ff: SWAP2
00000900: POP
00000901: PUSH14 0xffffffffffffffffffffffffffff
00000910: AND
00000911: SWAP2
00000912: POP
00000913: PUSH1 0x00
00000915: DUP14
00000916: PUSH1 0x01
00000918: PUSH1 0x01
0000091a: PUSH1 0xa0
0000091c: SHL
0000091d: SUB
0000091e: AND
0000091f: PUSH4 0x70a08231
00000924: DUP16
00000925: PUSH1 0x40
00000927: MLOAD
00000928: DUP3
00000929: PUSH4 0xffffffff
0000092e: AND
0000092f: PUSH1 0xe0
00000931: SHL
00000932: DUP2
00000933: MSTORE
00000934: PUSH1 0x04
00000936: ADD
00000937: PUSH2 0x094f
0000093a: SWAP2
0000093b: SWAP1
0000093c: PUSH1 0x01
0000093e: PUSH1 0x01
00000940: PUSH1 0xa0
00000942: SHL
00000943: SUB
00000944: SWAP2
00000945: SWAP1
00000946: SWAP2
00000947: AND
00000948: DUP2
00000949: MSTORE
0000094a: PUSH1 0x20
0000094c: ADD
0000094d: SWAP1
0000094e: JUMP
0000094f: JUMPDEST
00000950: PUSH1 0x20
00000952: PUSH1 0x40
00000954: MLOAD
00000955: DUP1
00000956: DUP4
00000957: SUB
00000958: DUP2
00000959: DUP7
0000095a: GAS
0000095b: STATICCALL
0000095c: ISZERO
0000095d: DUP1
0000095e: ISZERO
0000095f: PUSH2 0x096c
00000962: JUMPI
00000963: RETURNDATASIZE
00000964: PUSH1 0x00
00000966: DUP1
00000967: RETURNDATACOPY
00000968: RETURNDATASIZE
00000969: PUSH1 0x00
0000096b: REVERT
0000096c: JUMPDEST
0000096d: POP
0000096e: POP
0000096f: POP
00000970: POP
00000971: PUSH1 0x40
00000973: MLOAD
00000974: RETURNDATASIZE
00000975: PUSH1 0x1f
00000977: NOT
00000978: PUSH1 0x1f
0000097a: DUP3
0000097b: ADD
0000097c: AND
0000097d: DUP3
0000097e: ADD
0000097f: DUP1
00000980: PUSH1 0x40
00000982: MSTORE
00000983: POP
00000984: DUP2
00000985: ADD
00000986: SWAP1
00000987: PUSH2 0x0990
0000098a: SWAP2
0000098b: SWAP1
0000098c: PUSH2 0x25f0
0000098f: JUMP
00000990: JUMPDEST
00000991: SWAP1
00000992: POP
00000993: CALLVALUE
00000994: ISZERO
00000995: PUSH2 0x09c6
00000998: JUMPI
00000999: PUSH1 0x40
0000099b: MLOAD
0000099c: COINBASE
0000099d: SWAP1
0000099e: CALLVALUE
0000099f: DUP1
000009a0: ISZERO
000009a1: PUSH2 0x08fc
000009a4: MUL
000009a5: SWAP2
000009a6: PUSH1 0x00
000009a8: DUP2
000009a9: DUP2
000009aa: DUP2
000009ab: DUP6
000009ac: DUP9
000009ad: DUP9
000009ae: CALL
000009af: SWAP4
000009b0: POP
000009b1: POP
000009b2: POP
000009b3: POP
000009b4: ISZERO
000009b5: DUP1
000009b6: ISZERO
000009b7: PUSH2 0x09c4
000009ba: JUMPI
000009bb: RETURNDATASIZE
000009bc: PUSH1 0x00
000009be: DUP1
000009bf: RETURNDATACOPY
000009c0: RETURNDATASIZE
000009c1: PUSH1 0x00
000009c3: REVERT
000009c4: JUMPDEST
000009c5: POP
000009c6: JUMPDEST
000009c7: SWAP2
000009c8: SWAP14
000009c9: SWAP1
000009ca: SWAP13
000009cb: POP
000009cc: SWAP1
000009cd: SWAP11
000009ce: POP
000009cf: SWAP9
000009d0: POP
000009d1: POP
000009d2: POP
000009d3: POP
000009d4: POP
000009d5: POP
000009d6: POP
000009d7: POP
000009d8: POP
000009d9: JUMP
000009da: JUMPDEST
000009db: PUSH2 0x09e2
000009de: PUSH2 0x0bd2
000009e1: JUMP
000009e2: JUMPDEST
000009e3: PUSH1 0x40
000009e5: MLOAD
000009e6: PUSH4 0x70a08231
000009eb: PUSH1 0xe0
000009ed: SHL
000009ee: DUP2
000009ef: MSTORE
000009f0: ADDRESS
000009f1: PUSH1 0x04
000009f3: DUP3
000009f4: ADD
000009f5: MSTORE
000009f6: PUSH1 0x00
000009f8: SWAP1
000009f9: PUSH1 0x01
000009fb: PUSH1 0x01
000009fd: PUSH1 0xa0
000009ff: SHL
00000a00: SUB
00000a01: DUP4
00000a02: AND
00000a03: SWAP1
00000a04: PUSH4 0x70a08231
00000a09: SWAP1
00000a0a: PUSH1 0x24
00000a0c: ADD
00000a0d: PUSH1 0x20
00000a0f: PUSH1 0x40
00000a11: MLOAD
00000a12: DUP1
00000a13: DUP4
00000a14: SUB
00000a15: DUP2
00000a16: DUP7
00000a17: GAS
00000a18: STATICCALL
00000a19: ISZERO
00000a1a: DUP1
00000a1b: ISZERO
00000a1c: PUSH2 0x0a29
00000a1f: JUMPI
00000a20: RETURNDATASIZE
00000a21: PUSH1 0x00
00000a23: DUP1
00000a24: RETURNDATACOPY
00000a25: RETURNDATASIZE
00000a26: PUSH1 0x00
00000a28: REVERT
00000a29: JUMPDEST
00000a2a: POP
00000a2b: POP
00000a2c: POP
00000a2d: POP
00000a2e: PUSH1 0x40
00000a30: MLOAD
00000a31: RETURNDATASIZE
00000a32: PUSH1 0x1f
00000a34: NOT
00000a35: PUSH1 0x1f
00000a37: DUP3
00000a38: ADD
00000a39: AND
00000a3a: DUP3
00000a3b: ADD
00000a3c: DUP1
00000a3d: PUSH1 0x40
00000a3f: MSTORE
00000a40: POP
00000a41: DUP2
00000a42: ADD
00000a43: SWAP1
00000a44: PUSH2 0x0a4d
00000a47: SWAP2
00000a48: SWAP1
00000a49: PUSH2 0x25f0
00000a4c: JUMP
00000a4d: JUMPDEST
00000a4e: SWAP1
00000a4f: POP
00000a50: PUSH2 0x0a5a
00000a53: DUP3
00000a54: ORIGIN
00000a55: DUP4
00000a56: PUSH2 0x0d8a
00000a59: JUMP
00000a5a: JUMPDEST
00000a5b: POP
00000a5c: POP
00000a5d: JUMP
00000a5e: JUMPDEST
00000a5f: PUSH2 0x0a66
00000a62: PUSH2 0x0bd2
00000a65: JUMP
00000a66: JUMPDEST
00000a67: PUSH1 0x00
00000a69: JUMPDEST
00000a6a: DUP2
00000a6b: MLOAD
00000a6c: DUP2
00000a6d: LT
00000a6e: ISZERO
00000a6f: PUSH2 0x0a5a
00000a72: JUMPI
00000a73: PUSH1 0x01
00000a75: DUP1
00000a76: PUSH1 0x00
00000a78: DUP5
00000a79: DUP5
00000a7a: DUP2
00000a7b: MLOAD
00000a7c: DUP2
00000a7d: LT
00000a7e: PUSH2 0x0a89
00000a81: JUMPI
00000a82: PUSH2 0x0a89
00000a85: PUSH2 0x25c1
00000a88: JUMP
00000a89: JUMPDEST
00000a8a: PUSH1 0x20
00000a8c: SWAP1
00000a8d: DUP2
00000a8e: MUL
00000a8f: SWAP2
00000a90: SWAP1
00000a91: SWAP2
00000a92: ADD
00000a93: DUP2
00000a94: ADD
00000a95: MLOAD
00000a96: PUSH1 0x01
00000a98: PUSH1 0x01
00000a9a: PUSH1 0xa0
00000a9c: SHL
00000a9d: SUB
00000a9e: AND
00000a9f: DUP3
00000aa0: MSTORE
00000aa1: DUP2
00000aa2: ADD
00000aa3: SWAP2
00000aa4: SWAP1
00000aa5: SWAP2
00000aa6: MSTORE
00000aa7: PUSH1 0x40
00000aa9: ADD
00000aaa: PUSH1 0x00
00000aac: KECCAK256
00000aad: DUP1
00000aae: SLOAD
00000aaf: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000ad0: AND
00000ad1: SWAP2
00000ad2: ISZERO
00000ad3: ISZERO
00000ad4: SWAP2
00000ad5: SWAP1
00000ad6: SWAP2
00000ad7: OR
00000ad8: SWAP1
00000ad9: SSTORE
00000ada: DUP1
00000adb: PUSH2 0x0ae3
00000ade: DUP2
00000adf: PUSH2 0x272a
00000ae2: JUMP
00000ae3: JUMPDEST
00000ae4: SWAP2
00000ae5: POP
00000ae6: POP
00000ae7: PUSH2 0x0a69
00000aea: JUMP
00000aeb: JUMPDEST
00000aec: PUSH2 0x0af3
00000aef: PUSH2 0x0bd2
00000af2: JUMP
00000af3: JUMPDEST
00000af4: PUSH1 0x40
00000af6: MLOAD
00000af7: PUSH1 0x01
00000af9: PUSH1 0x01
00000afb: PUSH1 0xa0
00000afd: SHL
00000afe: SUB
00000aff: DUP3
00000b00: AND
00000b01: SWAP1
00000b02: SELFBALANCE
00000b03: DUP1
00000b04: ISZERO
00000b05: PUSH2 0x08fc
00000b08: MUL
00000b09: SWAP2
00000b0a: PUSH1 0x00
00000b0c: DUP2
00000b0d: DUP2
00000b0e: DUP2
00000b0f: DUP6
00000b10: DUP9
00000b11: DUP9
00000b12: CALL
00000b13: SWAP4
00000b14: POP
00000b15: POP
00000b16: POP
00000b17: POP
00000b18: ISZERO
00000b19: DUP1
00000b1a: ISZERO
00000b1b: PUSH2 0x0a5a
00000b1e: JUMPI
00000b1f: RETURNDATASIZE
00000b20: PUSH1 0x00
00000b22: DUP1
00000b23: RETURNDATACOPY
00000b24: RETURNDATASIZE
00000b25: PUSH1 0x00
00000b27: REVERT
00000b28: JUMPDEST
00000b29: PUSH2 0x0b30
00000b2c: PUSH2 0x0bd2
00000b2f: JUMP
00000b30: JUMPDEST
00000b31: PUSH1 0x01
00000b33: PUSH1 0x01
00000b35: PUSH1 0xa0
00000b37: SHL
00000b38: SUB
00000b39: DUP2
00000b3a: AND
00000b3b: PUSH2 0x0bc6
00000b3e: JUMPI
00000b3f: PUSH1 0x40
00000b41: MLOAD
00000b42: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b63: DUP2
00000b64: MSTORE
00000b65: PUSH1 0x20
00000b67: PUSH1 0x04
00000b69: DUP3
00000b6a: ADD
00000b6b: MSTORE
00000b6c: PUSH1 0x26
00000b6e: PUSH1 0x24
00000b70: DUP3
00000b71: ADD
00000b72: MSTORE
00000b73: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000b94: PUSH1 0x44
00000b96: DUP3
00000b97: ADD
00000b98: MSTORE
00000b99: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00000bba: PUSH1 0x64
00000bbc: DUP3
00000bbd: ADD
00000bbe: MSTORE
00000bbf: PUSH1 0x84
00000bc1: ADD
00000bc2: PUSH2 0x087d
00000bc5: JUMP
00000bc6: JUMPDEST
00000bc7: PUSH2 0x0bcf
00000bca: DUP2
00000bcb: PUSH2 0x133d
00000bce: JUMP
00000bcf: JUMPDEST
00000bd0: POP
00000bd1: JUMP
00000bd2: JUMPDEST
00000bd3: PUSH1 0x00
00000bd5: SLOAD
00000bd6: PUSH1 0x01
00000bd8: PUSH1 0x01
00000bda: PUSH1 0xa0
00000bdc: SHL
00000bdd: SUB
00000bde: AND
00000bdf: CALLER
00000be0: EQ
00000be1: PUSH2 0x0574
00000be4: JUMPI
00000be5: PUSH1 0x40
00000be7: MLOAD
00000be8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c09: DUP2
00000c0a: MSTORE
00000c0b: PUSH1 0x20
00000c0d: PUSH1 0x04
00000c0f: DUP3
00000c10: ADD
00000c11: DUP2
00000c12: SWAP1
00000c13: MSTORE
00000c14: PUSH1 0x24
00000c16: DUP3
00000c17: ADD
00000c18: MSTORE
00000c19: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000c3a: PUSH1 0x44
00000c3c: DUP3
00000c3d: ADD
00000c3e: MSTORE
00000c3f: PUSH1 0x64
00000c41: ADD
00000c42: PUSH2 0x087d
00000c45: JUMP
00000c46: JUMPDEST
00000c47: PUSH1 0x60
00000c49: DUP2
00000c4a: MLOAD
00000c4b: PUSH8 0xffffffffffffffff
00000c54: DUP2
00000c55: GT
00000c56: ISZERO
00000c57: PUSH2 0x0c62
00000c5a: JUMPI
00000c5b: PUSH2 0x0c62
00000c5e: PUSH2 0x22ac
00000c61: JUMP
00000c62: JUMPDEST
00000c63: PUSH1 0x40
00000c65: MLOAD
00000c66: SWAP1
00000c67: DUP1
00000c68: DUP3
00000c69: MSTORE
00000c6a: DUP1
00000c6b: PUSH1 0x20
00000c6d: MUL
00000c6e: PUSH1 0x20
00000c70: ADD
00000c71: DUP3
00000c72: ADD
00000c73: PUSH1 0x40
00000c75: MSTORE
00000c76: DUP1
00000c77: ISZERO
00000c78: PUSH2 0x0c8b
00000c7b: JUMPI
00000c7c: DUP2
00000c7d: PUSH1 0x20
00000c7f: ADD
00000c80: PUSH1 0x20
00000c82: DUP3
00000c83: MUL
00000c84: DUP1
00000c85: CALLDATASIZE
00000c86: DUP4
00000c87: CALLDATACOPY
00000c88: ADD
00000c89: SWAP1
00000c8a: POP
00000c8b: JUMPDEST
00000c8c: POP
00000c8d: SWAP1
00000c8e: POP
00000c8f: DUP3
00000c90: DUP2
00000c91: PUSH1 0x01
00000c93: DUP4
00000c94: MLOAD
00000c95: PUSH2 0x0c9e
00000c98: SWAP2
00000c99: SWAP1
00000c9a: PUSH2 0x2638
00000c9d: JUMP
00000c9e: JUMPDEST
00000c9f: DUP2
00000ca0: MLOAD
00000ca1: DUP2
00000ca2: LT
00000ca3: PUSH2 0x0cae
00000ca6: JUMPI
00000ca7: PUSH2 0x0cae
00000caa: PUSH2 0x25c1
00000cad: JUMP
00000cae: JUMPDEST
00000caf: PUSH1 0x20
00000cb1: MUL
00000cb2: PUSH1 0x20
00000cb4: ADD
00000cb5: ADD
00000cb6: DUP2
00000cb7: DUP2
00000cb8: MSTORE
00000cb9: POP
00000cba: POP
00000cbb: PUSH1 0x00
00000cbd: PUSH1 0x01
00000cbf: DUP4
00000cc0: MLOAD
00000cc1: PUSH2 0x0cca
00000cc4: SWAP2
00000cc5: SWAP1
00000cc6: PUSH2 0x2638
00000cc9: JUMP
00000cca: JUMPDEST
00000ccb: SWAP1
00000ccc: POP
00000ccd: JUMPDEST
00000cce: DUP1
00000ccf: ISZERO
00000cd0: PUSH2 0x0d82
00000cd3: JUMPI
00000cd4: PUSH1 0x00
00000cd6: DUP1
00000cd7: PUSH2 0x0d1d
00000cda: DUP8
00000cdb: DUP7
00000cdc: PUSH2 0x0ce6
00000cdf: PUSH1 0x01
00000ce1: DUP8
00000ce2: PUSH2 0x2638
00000ce5: JUMP
00000ce6: JUMPDEST
00000ce7: DUP2
00000ce8: MLOAD
00000ce9: DUP2
00000cea: LT
00000ceb: PUSH2 0x0cf6
00000cee: JUMPI
00000cef: PUSH2 0x0cf6
00000cf2: PUSH2 0x25c1
00000cf5: JUMP
00000cf6: JUMPDEST
00000cf7: PUSH1 0x20
00000cf9: MUL
00000cfa: PUSH1 0x20
00000cfc: ADD
00000cfd: ADD
00000cfe: MLOAD
00000cff: DUP8
00000d00: DUP7
00000d01: DUP2
00000d02: MLOAD
00000d03: DUP2
00000d04: LT
00000d05: PUSH2 0x0d10
00000d08: JUMPI
00000d09: PUSH2 0x0d10
00000d0c: PUSH2 0x25c1
00000d0f: JUMP
00000d10: JUMPDEST
00000d11: PUSH1 0x20
00000d13: MUL
00000d14: PUSH1 0x20
00000d16: ADD
00000d17: ADD
00000d18: MLOAD
00000d19: PUSH2 0x1e7b
00000d1c: JUMP
00000d1d: JUMPDEST
00000d1e: SWAP2
00000d1f: POP
00000d20: SWAP2
00000d21: POP
00000d22: PUSH2 0x0d45
00000d25: DUP5
00000d26: DUP5
00000d27: DUP2
00000d28: MLOAD
00000d29: DUP2
00000d2a: LT
00000d2b: PUSH2 0x0d36
00000d2e: JUMPI
00000d2f: PUSH2 0x0d36
00000d32: PUSH2 0x25c1
00000d35: JUMP
00000d36: JUMPDEST
00000d37: PUSH1 0x20
00000d39: MUL
00000d3a: PUSH1 0x20
00000d3c: ADD
00000d3d: ADD
00000d3e: MLOAD
00000d3f: DUP4
00000d40: DUP4
00000d41: PUSH2 0x1f49
00000d44: JUMP
00000d45: JUMPDEST
00000d46: DUP5
00000d47: PUSH2 0x0d51
00000d4a: PUSH1 0x01
00000d4c: DUP7
00000d4d: PUSH2 0x2638
00000d50: JUMP
00000d51: JUMPDEST
00000d52: DUP2
00000d53: MLOAD
00000d54: DUP2
00000d55: LT
00000d56: PUSH2 0x0d61
00000d59: JUMPI
00000d5a: PUSH2 0x0d61
00000d5d: PUSH2 0x25c1
00000d60: JUMP
00000d61: JUMPDEST
00000d62: PUSH1 0x20
00000d64: MUL
00000d65: PUSH1 0x20
00000d67: ADD
00000d68: ADD
00000d69: DUP2
00000d6a: DUP2
00000d6b: MSTORE
00000d6c: POP
00000d6d: POP
00000d6e: POP
00000d6f: POP
00000d70: DUP1
00000d71: DUP1
00000d72: PUSH2 0x0d7a
00000d75: SWAP1
00000d76: PUSH2 0x2762
00000d79: JUMP
00000d7a: JUMPDEST
00000d7b: SWAP2
00000d7c: POP
00000d7d: POP
00000d7e: PUSH2 0x0ccd
00000d81: JUMP
00000d82: JUMPDEST
00000d83: POP
00000d84: SWAP4
00000d85: SWAP3
00000d86: POP
00000d87: POP
00000d88: POP
00000d89: JUMP
00000d8a: JUMPDEST
00000d8b: PUSH1 0x40
00000d8d: DUP1
00000d8e: MLOAD
00000d8f: PUSH1 0x01
00000d91: PUSH1 0x01
00000d93: PUSH1 0xa0
00000d95: SHL
00000d96: SUB
00000d97: DUP5
00000d98: DUP2
00000d99: AND
00000d9a: PUSH1 0x24
00000d9c: DUP4
00000d9d: ADD
00000d9e: MSTORE
00000d9f: PUSH1 0x44
00000da1: DUP1
00000da2: DUP4
00000da3: ADD
00000da4: DUP6
00000da5: SWAP1
00000da6: MSTORE
00000da7: DUP4
00000da8: MLOAD
00000da9: DUP1
00000daa: DUP5
00000dab: SUB
00000dac: SWAP1
00000dad: SWAP2
00000dae: ADD
00000daf: DUP2
00000db0: MSTORE
00000db1: PUSH1 0x64
00000db3: SWAP1
00000db4: SWAP3
00000db5: ADD
00000db6: DUP4
00000db7: MSTORE
00000db8: PUSH1 0x20
00000dba: DUP3
00000dbb: ADD
00000dbc: DUP1
00000dbd: MLOAD
00000dbe: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000ddb: AND
00000ddc: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00000dfd: OR
00000dfe: SWAP1
00000dff: MSTORE
00000e00: SWAP2
00000e01: MLOAD
00000e02: PUSH1 0x00
00000e04: SWAP3
00000e05: DUP4
00000e06: SWAP3
00000e07: SWAP1
00000e08: DUP8
00000e09: AND
00000e0a: SWAP2
00000e0b: PUSH2 0x0e14
00000e0e: SWAP2
00000e0f: SWAP1
00000e10: PUSH2 0x27bb
00000e13: JUMP
00000e14: JUMPDEST
00000e15: PUSH1 0x00
00000e17: PUSH1 0x40
00000e19: MLOAD
00000e1a: DUP1
00000e1b: DUP4
00000e1c: SUB
00000e1d: DUP2
00000e1e: PUSH1 0x00
00000e20: DUP7
00000e21: GAS
00000e22: CALL
00000e23: SWAP2
00000e24: POP
00000e25: POP
00000e26: RETURNDATASIZE
00000e27: DUP1
00000e28: PUSH1 0x00
00000e2a: DUP2
00000e2b: EQ
00000e2c: PUSH2 0x0e51
00000e2f: JUMPI
00000e30: PUSH1 0x40
00000e32: MLOAD
00000e33: SWAP2
00000e34: POP
00000e35: PUSH1 0x1f
00000e37: NOT
00000e38: PUSH1 0x3f
00000e3a: RETURNDATASIZE
00000e3b: ADD
00000e3c: AND
00000e3d: DUP3
00000e3e: ADD
00000e3f: PUSH1 0x40
00000e41: MSTORE
00000e42: RETURNDATASIZE
00000e43: DUP3
00000e44: MSTORE
00000e45: RETURNDATASIZE
00000e46: PUSH1 0x00
00000e48: PUSH1 0x20
00000e4a: DUP5
00000e4b: ADD
00000e4c: RETURNDATACOPY
00000e4d: PUSH2 0x0e56
00000e50: JUMP
00000e51: JUMPDEST
00000e52: PUSH1 0x60
00000e54: SWAP2
00000e55: POP
00000e56: JUMPDEST
00000e57: POP
00000e58: SWAP2
00000e59: POP
00000e5a: SWAP2
00000e5b: POP
00000e5c: DUP2
00000e5d: DUP1
00000e5e: ISZERO
00000e5f: PUSH2 0x0e80
00000e62: JUMPI
00000e63: POP
00000e64: DUP1
00000e65: MLOAD
00000e66: ISZERO
00000e67: DUP1
00000e68: PUSH2 0x0e80
00000e6b: JUMPI
00000e6c: POP
00000e6d: DUP1
00000e6e: DUP1
00000e6f: PUSH1 0x20
00000e71: ADD
00000e72: SWAP1
00000e73: MLOAD
00000e74: DUP2
00000e75: ADD
00000e76: SWAP1
00000e77: PUSH2 0x0e80
00000e7a: SWAP2
00000e7b: SWAP1
00000e7c: PUSH2 0x25a4
00000e7f: JUMP
00000e80: JUMPDEST
00000e81: PUSH2 0x0ee6
00000e84: JUMPI
00000e85: PUSH1 0x40
00000e87: MLOAD
00000e88: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ea9: DUP2
00000eaa: MSTORE
00000eab: PUSH1 0x20
00000ead: PUSH1 0x04
00000eaf: DUP3
00000eb0: ADD
00000eb1: MSTORE
00000eb2: PUSH1 0x02
00000eb4: PUSH1 0x24
00000eb6: DUP3
00000eb7: ADD
00000eb8: MSTORE
00000eb9: PUSH32 0x5354000000000000000000000000000000000000000000000000000000000000
00000eda: PUSH1 0x44
00000edc: DUP3
00000edd: ADD
00000ede: MSTORE
00000edf: PUSH1 0x64
00000ee1: ADD
00000ee2: PUSH2 0x087d
00000ee5: JUMP
00000ee6: JUMPDEST
00000ee7: POP
00000ee8: POP
00000ee9: POP
00000eea: POP
00000eeb: POP
00000eec: JUMP
00000eed: JUMPDEST
00000eee: PUSH1 0x00
00000ef0: JUMPDEST
00000ef1: PUSH1 0x01
00000ef3: DUP5
00000ef4: MLOAD
00000ef5: PUSH2 0x0efe
00000ef8: SWAP2
00000ef9: SWAP1
00000efa: PUSH2 0x2638
00000efd: JUMP
00000efe: JUMPDEST
00000eff: DUP2
00000f00: LT
00000f01: ISZERO
00000f02: PUSH2 0x0ee6
00000f05: JUMPI
00000f06: PUSH1 0x00
00000f08: DUP1
00000f09: DUP6
00000f0a: DUP4
00000f0b: DUP2
00000f0c: MLOAD
00000f0d: DUP2
00000f0e: LT
00000f0f: PUSH2 0x0f1a
00000f12: JUMPI
00000f13: PUSH2 0x0f1a
00000f16: PUSH2 0x25c1
00000f19: JUMP
00000f1a: JUMPDEST
00000f1b: PUSH1 0x20
00000f1d: MUL
00000f1e: PUSH1 0x20
00000f20: ADD
00000f21: ADD
00000f22: MLOAD
00000f23: DUP7
00000f24: DUP5
00000f25: PUSH1 0x01
00000f27: PUSH2 0x0f30
00000f2a: SWAP2
00000f2b: SWAP1
00000f2c: PUSH2 0x27d7
00000f2f: JUMP
00000f30: JUMPDEST
00000f31: DUP2
00000f32: MLOAD
00000f33: DUP2
00000f34: LT
00000f35: PUSH2 0x0f40
00000f38: JUMPI
00000f39: PUSH2 0x0f40
00000f3c: PUSH2 0x25c1
00000f3f: JUMP
00000f40: JUMPDEST
00000f41: PUSH1 0x20
00000f43: MUL
00000f44: PUSH1 0x20
00000f46: ADD
00000f47: ADD
00000f48: MLOAD
00000f49: SWAP2
00000f4a: POP
00000f4b: SWAP2
00000f4c: POP
00000f4d: PUSH1 0x00
00000f4f: PUSH2 0x0f58
00000f52: DUP4
00000f53: DUP4
00000f54: PUSH2 0x1f97
00000f57: JUMP
00000f58: JUMPDEST
00000f59: POP
00000f5a: SWAP1
00000f5b: POP
00000f5c: PUSH1 0x00
00000f5e: DUP9
00000f5f: PUSH2 0x0f69
00000f62: DUP7
00000f63: PUSH1 0x01
00000f65: PUSH2 0x27d7
00000f68: JUMP
00000f69: JUMPDEST
00000f6a: DUP2
00000f6b: MLOAD
00000f6c: DUP2
00000f6d: LT
00000f6e: PUSH2 0x0f79
00000f71: JUMPI
00000f72: PUSH2 0x0f79
00000f75: PUSH2 0x25c1
00000f78: JUMP
00000f79: JUMPDEST
00000f7a: PUSH1 0x20
00000f7c: MUL
00000f7d: PUSH1 0x20
00000f7f: ADD
00000f80: ADD
00000f81: MLOAD
00000f82: SWAP1
00000f83: POP
00000f84: PUSH1 0x00
00000f86: DUP1
00000f87: DUP4
00000f88: PUSH1 0x01
00000f8a: PUSH1 0x01
00000f8c: PUSH1 0xa0
00000f8e: SHL
00000f8f: SUB
00000f90: AND
00000f91: DUP7
00000f92: PUSH1 0x01
00000f94: PUSH1 0x01
00000f96: PUSH1 0xa0
00000f98: SHL
00000f99: SUB
00000f9a: AND
00000f9b: EQ
00000f9c: PUSH2 0x0fa7
00000f9f: JUMPI
00000fa0: DUP3
00000fa1: PUSH1 0x00
00000fa3: PUSH2 0x0fab
00000fa6: JUMP
00000fa7: JUMPDEST
00000fa8: PUSH1 0x00
00000faa: DUP4
00000fab: JUMPDEST
00000fac: SWAP2
00000fad: POP
00000fae: SWAP2
00000faf: POP
00000fb0: PUSH1 0x00
00000fb2: PUSH1 0x02
00000fb4: DUP12
00000fb5: MLOAD
00000fb6: PUSH2 0x0fbf
00000fb9: SWAP2
00000fba: SWAP1
00000fbb: PUSH2 0x2638
00000fbe: JUMP
00000fbf: JUMPDEST
00000fc0: DUP9
00000fc1: LT
00000fc2: PUSH2 0x0fcb
00000fc5: JUMPI
00000fc6: DUP10
00000fc7: PUSH2 0x0fcd
00000fca: JUMP
00000fcb: JUMPDEST
00000fcc: DUP9
00000fcd: JUMPDEST
00000fce: PUSH1 0x40
00000fd0: DUP1
00000fd1: MLOAD
00000fd2: PUSH1 0x00
00000fd4: DUP2
00000fd5: MSTORE
00000fd6: PUSH1 0x20
00000fd8: DUP2
00000fd9: ADD
00000fda: SWAP2
00000fdb: DUP3
00000fdc: SWAP1
00000fdd: MSTORE
00000fde: PUSH32 0x022c0d9f00000000000000000000000000000000000000000000000000000000
00000fff: SWAP1
00001000: SWAP2
00001001: MSTORE
00001002: SWAP1
00001003: SWAP2
00001004: POP
00001005: PUSH1 0x01
00001007: PUSH1 0x01
00001009: PUSH1 0xa0
0000100b: SHL
0000100c: SUB
0000100d: DUP11
0000100e: AND
0000100f: SWAP1
00001010: PUSH4 0x022c0d9f
00001015: SWAP1
00001016: PUSH2 0x1028
00001019: SWAP1
0000101a: DUP7
0000101b: SWAP1
0000101c: DUP7
0000101d: SWAP1
0000101e: DUP7
0000101f: SWAP1
00001020: PUSH1 0x24
00001022: DUP2
00001023: ADD
00001024: PUSH2 0x27ea
00001027: JUMP
00001028: JUMPDEST
00001029: PUSH1 0x00
0000102b: PUSH1 0x40
0000102d: MLOAD
0000102e: DUP1
0000102f: DUP4
00001030: SUB
00001031: DUP2
00001032: PUSH1 0x00
00001034: DUP8
00001035: DUP1
00001036: EXTCODESIZE
00001037: ISZERO
00001038: DUP1
00001039: ISZERO
0000103a: PUSH2 0x1042
0000103d: JUMPI
0000103e: PUSH1 0x00
00001040: DUP1
00001041: REVERT
00001042: JUMPDEST
00001043: POP
00001044: GAS
00001045: CALL
00001046: ISZERO
00001047: DUP1
00001048: ISZERO
00001049: PUSH2 0x1056
0000104c: JUMPI
0000104d: RETURNDATASIZE
0000104e: PUSH1 0x00
00001050: DUP1
00001051: RETURNDATACOPY
00001052: RETURNDATASIZE
00001053: PUSH1 0x00
00001055: REVERT
00001056: JUMPDEST
00001057: POP
00001058: POP
00001059: POP
0000105a: POP
0000105b: POP
0000105c: POP
0000105d: POP
0000105e: POP
0000105f: POP
00001060: POP
00001061: POP
00001062: DUP1
00001063: DUP1
00001064: PUSH2 0x106c
00001067: SWAP1
00001068: PUSH2 0x272a
0000106b: JUMP
0000106c: JUMPDEST
0000106d: SWAP2
0000106e: POP
0000106f: POP
00001070: PUSH2 0x0ef0
00001073: JUMP
00001074: JUMPDEST
00001075: PUSH1 0x00
00001077: DUP1
00001078: JUMPDEST
00001079: PUSH1 0x01
0000107b: DUP6
0000107c: MLOAD
0000107d: PUSH2 0x1086
00001080: SWAP2
00001081: SWAP1
00001082: PUSH2 0x2638
00001085: JUMP
00001086: JUMPDEST
00001087: DUP2
00001088: LT
00001089: ISZERO
0000108a: PUSH2 0x0d82
0000108d: JUMPI
0000108e: PUSH1 0x00
00001090: DUP1
00001091: DUP7
00001092: DUP4
00001093: DUP2
00001094: MLOAD
00001095: DUP2
00001096: LT
00001097: PUSH2 0x10a2
0000109a: JUMPI
0000109b: PUSH2 0x10a2
0000109e: PUSH2 0x25c1
000010a1: JUMP
000010a2: JUMPDEST
000010a3: PUSH1 0x20
000010a5: MUL
000010a6: PUSH1 0x20
000010a8: ADD
000010a9: ADD
000010aa: MLOAD
000010ab: DUP8
000010ac: DUP5
000010ad: PUSH1 0x01
000010af: PUSH2 0x10b8
000010b2: SWAP2
000010b3: SWAP1
000010b4: PUSH2 0x27d7
000010b7: JUMP
000010b8: JUMPDEST
000010b9: DUP2
000010ba: MLOAD
000010bb: DUP2
000010bc: LT
000010bd: PUSH2 0x10c8
000010c0: JUMPI
000010c1: PUSH2 0x10c8
000010c4: PUSH2 0x25c1
000010c7: JUMP
000010c8: JUMPDEST
000010c9: PUSH1 0x20
000010cb: MUL
000010cc: PUSH1 0x20
000010ce: ADD
000010cf: ADD
000010d0: MLOAD
000010d1: SWAP2
000010d2: POP
000010d3: SWAP2
000010d4: POP
000010d5: PUSH1 0x00
000010d7: PUSH2 0x10e0
000010da: DUP4
000010db: DUP4
000010dc: PUSH2 0x1f97
000010df: JUMP
000010e0: JUMPDEST
000010e1: POP
000010e2: SWAP1
000010e3: POP
000010e4: PUSH1 0x00
000010e6: DUP7
000010e7: SWAP1
000010e8: POP
000010e9: PUSH1 0x00
000010eb: DUP1
000010ec: PUSH1 0x00
000010ee: DUP4
000010ef: PUSH1 0x01
000010f1: PUSH1 0x01
000010f3: PUSH1 0xa0
000010f5: SHL
000010f6: SUB
000010f7: AND
000010f8: PUSH4 0x0902f1ac
000010fd: PUSH1 0x40
000010ff: MLOAD
00001100: DUP2
00001101: PUSH4 0xffffffff
00001106: AND
00001107: PUSH1 0xe0
00001109: SHL
0000110a: DUP2
0000110b: MSTORE
0000110c: PUSH1 0x04
0000110e: ADD
0000110f: PUSH1 0x60
00001111: PUSH1 0x40
00001113: MLOAD
00001114: DUP1
00001115: DUP4
00001116: SUB
00001117: DUP2
00001118: DUP7
00001119: GAS
0000111a: STATICCALL
0000111b: ISZERO
0000111c: DUP1
0000111d: ISZERO
0000111e: PUSH2 0x112b
00001121: JUMPI
00001122: RETURNDATASIZE
00001123: PUSH1 0x00
00001125: DUP1
00001126: RETURNDATACOPY
00001127: RETURNDATASIZE
00001128: PUSH1 0x00
0000112a: REVERT
0000112b: JUMPDEST
0000112c: POP
0000112d: POP
0000112e: POP
0000112f: POP
00001130: PUSH1 0x40
00001132: MLOAD
00001133: RETURNDATASIZE
00001134: PUSH1 0x1f
00001136: NOT
00001137: PUSH1 0x1f
00001139: DUP3
0000113a: ADD
0000113b: AND
0000113c: DUP3
0000113d: ADD
0000113e: DUP1
0000113f: PUSH1 0x40
00001141: MSTORE
00001142: POP
00001143: DUP2
00001144: ADD
00001145: SWAP1
00001146: PUSH2 0x114f
00001149: SWAP2
0000114a: SWAP1
0000114b: PUSH2 0x26da
0000114e: JUMP
0000114f: JUMPDEST
00001150: POP
00001151: PUSH14 0xffffffffffffffffffffffffffff
00001160: AND
00001161: SWAP2
00001162: POP
00001163: PUSH14 0xffffffffffffffffffffffffffff
00001172: AND
00001173: SWAP2
00001174: POP
00001175: PUSH1 0x00
00001177: DUP1
00001178: DUP7
00001179: PUSH1 0x01
0000117b: PUSH1 0x01
0000117d: PUSH1 0xa0
0000117f: SHL
00001180: SUB
00001181: AND
00001182: DUP10
00001183: PUSH1 0x01
00001185: PUSH1 0x01
00001187: PUSH1 0xa0
00001189: SHL
0000118a: SUB
0000118b: AND
0000118c: EQ
0000118d: PUSH2 0x1197
00001190: JUMPI
00001191: DUP3
00001192: DUP5
00001193: PUSH2 0x119a
00001196: JUMP
00001197: JUMPDEST
00001198: DUP4
00001199: DUP4
0000119a: JUMPDEST
0000119b: PUSH1 0x40
0000119d: MLOAD
0000119e: PUSH4 0x70a08231
000011a3: PUSH1 0xe0
000011a5: SHL
000011a6: DUP2
000011a7: MSTORE
000011a8: PUSH1 0x01
000011aa: PUSH1 0x01
000011ac: PUSH1 0xa0
000011ae: SHL
000011af: SUB
000011b0: DUP10
000011b1: DUP2
000011b2: AND
000011b3: PUSH1 0x04
000011b5: DUP4
000011b6: ADD
000011b7: MSTORE
000011b8: SWAP3
000011b9: SWAP5
000011ba: POP
000011bb: SWAP1
000011bc: SWAP3
000011bd: POP
000011be: PUSH2 0x1217
000011c1: SWAP2
000011c2: DUP5
000011c3: SWAP2
000011c4: SWAP1
000011c5: DUP13
000011c6: AND
000011c7: SWAP1
000011c8: PUSH4 0x70a08231
000011cd: SWAP1
000011ce: PUSH1 0x24
000011d0: ADD
000011d1: PUSH1 0x20
000011d3: PUSH1 0x40
000011d5: MLOAD
000011d6: DUP1
000011d7: DUP4
000011d8: SUB
000011d9: DUP2
000011da: DUP7
000011db: GAS
000011dc: STATICCALL
000011dd: ISZERO
000011de: DUP1
000011df: ISZERO
000011e0: PUSH2 0x11ed
000011e3: JUMPI
000011e4: RETURNDATASIZE
000011e5: PUSH1 0x00
000011e7: DUP1
000011e8: RETURNDATACOPY
000011e9: RETURNDATASIZE
000011ea: PUSH1 0x00
000011ec: REVERT
000011ed: JUMPDEST
000011ee: POP
000011ef: POP
000011f0: POP
000011f1: POP
000011f2: PUSH1 0x40
000011f4: MLOAD
000011f5: RETURNDATASIZE
000011f6: PUSH1 0x1f
000011f8: NOT
000011f9: PUSH1 0x1f
000011fb: DUP3
000011fc: ADD
000011fd: AND
000011fe: DUP3
000011ff: ADD
00001200: DUP1
00001201: PUSH1 0x40
00001203: MSTORE
00001204: POP
00001205: DUP2
00001206: ADD
00001207: SWAP1
00001208: PUSH2 0x1211
0000120b: SWAP2
0000120c: SWAP1
0000120d: PUSH2 0x25f0
00001210: JUMP
00001211: JUMPDEST
00001212: SWAP1
00001213: PUSH2 0x20da
00001216: JUMP
00001217: JUMPDEST
00001218: SWAP11
00001219: POP
0000121a: PUSH2 0x1224
0000121d: DUP12
0000121e: DUP4
0000121f: DUP4
00001220: PUSH2 0x20e6
00001223: JUMP
00001224: JUMPDEST
00001225: SWAP5
00001226: POP
00001227: POP
00001228: POP
00001229: POP
0000122a: POP
0000122b: PUSH1 0x00
0000122d: DUP1
0000122e: DUP5
0000122f: PUSH1 0x01
00001231: PUSH1 0x01
00001233: PUSH1 0xa0
00001235: SHL
00001236: SUB
00001237: AND
00001238: DUP8
00001239: PUSH1 0x01
0000123b: PUSH1 0x01
0000123d: PUSH1 0xa0
0000123f: SHL
00001240: SUB
00001241: AND
00001242: EQ
00001243: PUSH2 0x124e
00001246: JUMPI
00001247: DUP3
00001248: PUSH1 0x00
0000124a: PUSH2 0x1252
0000124d: JUMP
0000124e: JUMPDEST
0000124f: PUSH1 0x00
00001251: DUP4
00001252: JUMPDEST
00001253: SWAP2
00001254: POP
00001255: SWAP2
00001256: POP
00001257: PUSH1 0x00
00001259: PUSH1 0x02
0000125b: DUP14
0000125c: MLOAD
0000125d: PUSH2 0x1266
00001260: SWAP2
00001261: SWAP1
00001262: PUSH2 0x2638
00001265: JUMP
00001266: JUMPDEST
00001267: DUP10
00001268: LT
00001269: PUSH2 0x1272
0000126c: JUMPI
0000126d: DUP12
0000126e: PUSH2 0x1274
00001271: JUMP
00001272: JUMPDEST
00001273: DUP11
00001274: JUMPDEST
00001275: PUSH1 0x40
00001277: DUP1
00001278: MLOAD
00001279: PUSH1 0x00
0000127b: DUP2
0000127c: MSTORE
0000127d: PUSH1 0x20
0000127f: DUP2
00001280: ADD
00001281: SWAP2
00001282: DUP3
00001283: SWAP1
00001284: MSTORE
00001285: PUSH32 0x022c0d9f00000000000000000000000000000000000000000000000000000000
000012a6: SWAP1
000012a7: SWAP2
000012a8: MSTORE
000012a9: SWAP1
000012aa: SWAP2
000012ab: POP
000012ac: PUSH1 0x01
000012ae: PUSH1 0x01
000012b0: PUSH1 0xa0
000012b2: SHL
000012b3: SUB
000012b4: DUP7
000012b5: AND
000012b6: SWAP1
000012b7: PUSH4 0x022c0d9f
000012bc: SWAP1
000012bd: PUSH2 0x12cf
000012c0: SWAP1
000012c1: DUP7
000012c2: SWAP1
000012c3: DUP7
000012c4: SWAP1
000012c5: DUP7
000012c6: SWAP1
000012c7: PUSH1 0x24
000012c9: DUP2
000012ca: ADD
000012cb: PUSH2 0x27ea
000012ce: JUMP
000012cf: JUMPDEST
000012d0: PUSH1 0x00
000012d2: PUSH1 0x40
000012d4: MLOAD
000012d5: DUP1
000012d6: DUP4
000012d7: SUB
000012d8: DUP2
000012d9: PUSH1 0x00
000012db: DUP8
000012dc: DUP1
000012dd: EXTCODESIZE
000012de: ISZERO
000012df: DUP1
000012e0: ISZERO
000012e1: PUSH2 0x12e9
000012e4: JUMPI
000012e5: PUSH1 0x00
000012e7: DUP1
000012e8: REVERT
000012e9: JUMPDEST
000012ea: POP
000012eb: GAS
000012ec: CALL
000012ed: ISZERO
000012ee: DUP1
000012ef: ISZERO
000012f0: PUSH2 0x12fd
000012f3: JUMPI
000012f4: RETURNDATASIZE
000012f5: PUSH1 0x00
000012f7: DUP1
000012f8: RETURNDATACOPY
000012f9: RETURNDATASIZE
000012fa: PUSH1 0x00
000012fc: REVERT
000012fd: JUMPDEST
000012fe: POP
000012ff: POP
00001300: POP
00001301: POP
00001302: POP
00001303: POP
00001304: POP
00001305: POP
00001306: POP
00001307: POP
00001308: POP
00001309: POP
0000130a: DUP1
0000130b: DUP1
0000130c: PUSH2 0x1314
0000130f: SWAP1
00001310: PUSH2 0x272a
00001313: JUMP
00001314: JUMPDEST
00001315: SWAP2
00001316: POP
00001317: POP
00001318: PUSH2 0x1078
0000131b: JUMP
0000131c: JUMPDEST
0000131d: PUSH1 0x00
0000131f: PUSH2 0x1328
00001322: DUP3
00001323: DUP5
00001324: PUSH2 0x2859
00001327: JUMP
00001328: JUMPDEST
00001329: SWAP1
0000132a: POP
0000132b: JUMPDEST
0000132c: SWAP3
0000132d: SWAP2
0000132e: POP
0000132f: POP
00001330: JUMP
00001331: JUMPDEST
00001332: PUSH1 0x00
00001334: PUSH2 0x1328
00001337: DUP3
00001338: DUP5
00001339: PUSH2 0x2870
0000133c: JUMP
0000133d: JUMPDEST
0000133e: PUSH1 0x00
00001340: DUP1
00001341: SLOAD
00001342: PUSH1 0x01
00001344: PUSH1 0x01
00001346: PUSH1 0xa0
00001348: SHL
00001349: SUB
0000134a: DUP4
0000134b: DUP2
0000134c: AND
0000134d: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000136e: DUP4
0000136f: AND
00001370: DUP2
00001371: OR
00001372: DUP5
00001373: SSTORE
00001374: PUSH1 0x40
00001376: MLOAD
00001377: SWAP2
00001378: SWAP1
00001379: SWAP3
0000137a: AND
0000137b: SWAP3
0000137c: DUP4
0000137d: SWAP2
0000137e: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000139f: SWAP2
000013a0: SWAP1
000013a1: LOG3
000013a2: POP
000013a3: POP
000013a4: JUMP
000013a5: JUMPDEST
000013a6: PUSH1 0x00
000013a8: DUP4
000013a9: DUP4
000013aa: PUSH1 0x00
000013ac: DUP2
000013ad: DUP2
000013ae: LT
000013af: PUSH2 0x13ba
000013b2: JUMPI
000013b3: PUSH2 0x13ba
000013b6: PUSH2 0x25c1
000013b9: JUMP
000013ba: JUMPDEST
000013bb: SWAP1
000013bc: POP
000013bd: PUSH1 0x20
000013bf: MUL
000013c0: ADD
000013c1: PUSH1 0x20
000013c3: DUP2
000013c4: ADD
000013c5: SWAP1
000013c6: PUSH2 0x13cf
000013c9: SWAP2
000013ca: SWAP1
000013cb: PUSH2 0x2535
000013ce: JUMP
000013cf: JUMPDEST
000013d0: PUSH1 0x40
000013d2: MLOAD
000013d3: PUSH4 0x70a08231
000013d8: PUSH1 0xe0
000013da: SHL
000013db: DUP2
000013dc: MSTORE
000013dd: ADDRESS
000013de: PUSH1 0x04
000013e0: DUP3
000013e1: ADD
000013e2: MSTORE
000013e3: SWAP1
000013e4: SWAP2
000013e5: POP
000013e6: PUSH1 0x00
000013e8: SWAP1
000013e9: PUSH1 0x01
000013eb: PUSH1 0x01
000013ed: PUSH1 0xa0
000013ef: SHL
000013f0: SUB
000013f1: DUP4
000013f2: AND
000013f3: SWAP1
000013f4: PUSH4 0x70a08231
000013f9: SWAP1
000013fa: PUSH1 0x24
000013fc: ADD
000013fd: PUSH1 0x20
000013ff: PUSH1 0x40
00001401: MLOAD
00001402: DUP1
00001403: DUP4
00001404: SUB
00001405: DUP2
00001406: DUP7
00001407: GAS
00001408: STATICCALL
00001409: ISZERO
0000140a: DUP1
0000140b: ISZERO
0000140c: PUSH2 0x1419
0000140f: JUMPI
00001410: RETURNDATASIZE
00001411: PUSH1 0x00
00001413: DUP1
00001414: RETURNDATACOPY
00001415: RETURNDATASIZE
00001416: PUSH1 0x00
00001418: REVERT
00001419: JUMPDEST
0000141a: POP
0000141b: POP
0000141c: POP
0000141d: POP
0000141e: PUSH1 0x40
00001420: MLOAD
00001421: RETURNDATASIZE
00001422: PUSH1 0x1f
00001424: NOT
00001425: PUSH1 0x1f
00001427: DUP3
00001428: ADD
00001429: AND
0000142a: DUP3
0000142b: ADD
0000142c: DUP1
0000142d: PUSH1 0x40
0000142f: MSTORE
00001430: POP
00001431: DUP2
00001432: ADD
00001433: SWAP1
00001434: PUSH2 0x143d
00001437: SWAP2
00001438: SWAP1
00001439: PUSH2 0x25f0
0000143c: JUMP
0000143d: JUMPDEST
0000143e: SWAP1
0000143f: POP
00001440: PUSH1 0x00
00001442: DUP1
00001443: DUP5
00001444: MLOAD
00001445: GT
00001446: PUSH2 0x146c
00001449: JUMPI
0000144a: PUSH1 0x40
0000144c: DUP1
0000144d: MLOAD
0000144e: PUSH1 0x01
00001450: DUP1
00001451: DUP3
00001452: MSTORE
00001453: DUP2
00001454: DUP4
00001455: ADD
00001456: SWAP1
00001457: SWAP3
00001458: MSTORE
00001459: SWAP1
0000145a: PUSH1 0x20
0000145c: DUP1
0000145d: DUP4
0000145e: ADD
0000145f: SWAP1
00001460: DUP1
00001461: CALLDATASIZE
00001462: DUP4
00001463: CALLDATACOPY
00001464: ADD
00001465: SWAP1
00001466: POP
00001467: POP
00001468: PUSH2 0x146e
0000146b: JUMP
0000146c: JUMPDEST
0000146d: DUP4
0000146e: JUMPDEST
0000146f: SWAP1
00001470: POP
00001471: DUP4
00001472: MLOAD
00001473: PUSH1 0x00
00001475: SUB
00001476: PUSH2 0x14ae
00001479: JUMPI
0000147a: ORIGIN
0000147b: DUP2
0000147c: PUSH1 0x00
0000147e: DUP2
0000147f: MLOAD
00001480: DUP2
00001481: LT
00001482: PUSH2 0x148d
00001485: JUMPI
00001486: PUSH2 0x148d
00001489: PUSH2 0x25c1
0000148c: JUMP
0000148d: JUMPDEST
0000148e: PUSH1 0x20
00001490: MUL
00001491: PUSH1 0x20
00001493: ADD
00001494: ADD
00001495: SWAP1
00001496: PUSH1 0x01
00001498: PUSH1 0x01
0000149a: PUSH1 0xa0
0000149c: SHL
0000149d: SUB
0000149e: AND
0000149f: SWAP1
000014a0: DUP2
000014a1: PUSH1 0x01
000014a3: PUSH1 0x01
000014a5: PUSH1 0xa0
000014a7: SHL
000014a8: SUB
000014a9: AND
000014aa: DUP2
000014ab: MSTORE
000014ac: POP
000014ad: POP
000014ae: JUMPDEST
000014af: PUSH1 0x00
000014b1: PUSH2 0x1502
000014b4: PUSH1 0x03
000014b6: PUSH1 0x00
000014b8: SWAP1
000014b9: SLOAD
000014ba: SWAP1
000014bb: PUSH2 0x0100
000014be: EXP
000014bf: SWAP1
000014c0: DIV
000014c1: PUSH1 0x01
000014c3: PUSH1 0x01
000014c5: PUSH1 0xa0
000014c7: SHL
000014c8: SUB
000014c9: AND
000014ca: DUP9
000014cb: DUP9
000014cc: DUP1
000014cd: DUP1
000014ce: PUSH1 0x20
000014d0: MUL
000014d1: PUSH1 0x20
000014d3: ADD
000014d4: PUSH1 0x40
000014d6: MLOAD
000014d7: SWAP1
000014d8: DUP2
000014d9: ADD
000014da: PUSH1 0x40
000014dc: MSTORE
000014dd: DUP1
000014de: SWAP4
000014df: SWAP3
000014e0: SWAP2
000014e1: SWAP1
000014e2: DUP2
000014e3: DUP2
000014e4: MSTORE
000014e5: PUSH1 0x20
000014e7: ADD
000014e8: DUP4
000014e9: DUP4
000014ea: PUSH1 0x20
000014ec: MUL
000014ed: DUP1
000014ee: DUP3
000014ef: DUP5
000014f0: CALLDATACOPY
000014f1: PUSH1 0x00
000014f3: SWAP3
000014f4: ADD
000014f5: SWAP2
000014f6: SWAP1
000014f7: SWAP2
000014f8: MSTORE
000014f9: POP
000014fa: PUSH2 0x1640
000014fd: SWAP3
000014fe: POP
000014ff: POP
00001500: POP
00001501: JUMP
00001502: JUMPDEST
00001503: SWAP1
00001504: POP
00001505: PUSH1 0x01
00001507: PUSH1 0x01
00001509: PUSH1 0xa0
0000150b: SHL
0000150c: SUB
0000150d: DUP2
0000150e: AND
0000150f: PUSH2 0x1517
00001512: JUMPI
00001513: PUSH1 0x00
00001515: DUP1
00001516: REVERT
00001517: JUMPDEST
00001518: PUSH2 0x1557
0000151b: DUP2
0000151c: DUP10
0000151d: DUP10
0000151e: DUP10
0000151f: DUP1
00001520: DUP1
00001521: PUSH1 0x20
00001523: MUL
00001524: PUSH1 0x20
00001526: ADD
00001527: PUSH1 0x40
00001529: MLOAD
0000152a: SWAP1
0000152b: DUP2
0000152c: ADD
0000152d: PUSH1 0x40
0000152f: MSTORE
00001530: DUP1
00001531: SWAP4
00001532: SWAP3
00001533: SWAP2
00001534: SWAP1
00001535: DUP2
00001536: DUP2
00001537: MSTORE
00001538: PUSH1 0x20
0000153a: ADD
0000153b: DUP4
0000153c: DUP4
0000153d: PUSH1 0x20
0000153f: MUL
00001540: DUP1
00001541: DUP3
00001542: DUP5
00001543: CALLDATACOPY
00001544: PUSH1 0x00
00001546: SWAP3
00001547: ADD
00001548: SWAP2
00001549: SWAP1
0000154a: SWAP2
0000154b: MSTORE
0000154c: POP
0000154d: DUP9
0000154e: SWAP3
0000154f: POP
00001550: PUSH2 0x16fa
00001553: SWAP2
00001554: POP
00001555: POP
00001556: JUMP
00001557: JUMPDEST
00001558: PUSH1 0x40
0000155a: DUP9
0000155b: DUP2
0000155c: ADD
0000155d: MLOAD
0000155e: SWAP1
0000155f: MLOAD
00001560: PUSH4 0x70a08231
00001565: PUSH1 0xe0
00001567: SHL
00001568: DUP2
00001569: MSTORE
0000156a: ADDRESS
0000156b: PUSH1 0x04
0000156d: DUP3
0000156e: ADD
0000156f: MSTORE
00001570: PUSH1 0x01
00001572: PUSH1 0x01
00001574: PUSH1 0xa0
00001576: SHL
00001577: SUB
00001578: DUP7
00001579: AND
0000157a: SWAP1
0000157b: PUSH4 0x70a08231
00001580: SWAP1
00001581: PUSH1 0x24
00001583: ADD
00001584: PUSH1 0x20
00001586: PUSH1 0x40
00001588: MLOAD
00001589: DUP1
0000158a: DUP4
0000158b: SUB
0000158c: DUP2
0000158d: DUP7
0000158e: GAS
0000158f: STATICCALL
00001590: ISZERO
00001591: DUP1
00001592: ISZERO
00001593: PUSH2 0x15a0
00001596: JUMPI
00001597: RETURNDATASIZE
00001598: PUSH1 0x00
0000159a: DUP1
0000159b: RETURNDATACOPY
0000159c: RETURNDATASIZE
0000159d: PUSH1 0x00
0000159f: REVERT
000015a0: JUMPDEST
000015a1: POP
000015a2: POP
000015a3: POP
000015a4: POP
000015a5: PUSH1 0x40
000015a7: MLOAD
000015a8: RETURNDATASIZE
000015a9: PUSH1 0x1f
000015ab: NOT
000015ac: PUSH1 0x1f
000015ae: DUP3
000015af: ADD
000015b0: AND
000015b1: DUP3
000015b2: ADD
000015b3: DUP1
000015b4: PUSH1 0x40
000015b6: MSTORE
000015b7: POP
000015b8: DUP2
000015b9: ADD
000015ba: SWAP1
000015bb: PUSH2 0x15c4
000015be: SWAP2
000015bf: SWAP1
000015c0: PUSH2 0x25f0
000015c3: JUMP
000015c4: JUMPDEST
000015c5: PUSH2 0x15ce
000015c8: SWAP1
000015c9: DUP6
000015ca: PUSH2 0x2638
000015cd: JUMP
000015ce: JUMPDEST
000015cf: GT
000015d0: ISZERO
000015d1: PUSH2 0x1636
000015d4: JUMPI
000015d5: PUSH1 0x40
000015d7: MLOAD
000015d8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015f9: DUP2
000015fa: MSTORE
000015fb: PUSH1 0x20
000015fd: PUSH1 0x04
000015ff: DUP3
00001600: ADD
00001601: MSTORE
00001602: PUSH1 0x0d
00001604: PUSH1 0x24
00001606: DUP3
00001607: ADD
00001608: MSTORE
00001609: PUSH32 0x4869676820696e20757361676500000000000000000000000000000000000000
0000162a: PUSH1 0x44
0000162c: DUP3
0000162d: ADD
0000162e: MSTORE
0000162f: PUSH1 0x64
00001631: ADD
00001632: PUSH2 0x087d
00001635: JUMP
00001636: JUMPDEST
00001637: POP
00001638: POP
00001639: POP
0000163a: POP
0000163b: POP
0000163c: POP
0000163d: POP
0000163e: POP
0000163f: JUMP
00001640: JUMPDEST
00001641: PUSH1 0x00
00001643: DUP3
00001644: PUSH1 0x01
00001646: PUSH1 0x01
00001648: PUSH1 0xa0
0000164a: SHL
0000164b: SUB
0000164c: AND
0000164d: PUSH4 0xe6a43905
00001652: DUP4
00001653: PUSH1 0x00
00001655: DUP2
00001656: MLOAD
00001657: DUP2
00001658: LT
00001659: PUSH2 0x1664
0000165c: JUMPI
0000165d: PUSH2 0x1664
00001660: PUSH2 0x25c1
00001663: JUMP
00001664: JUMPDEST
00001665: PUSH1 0x20
00001667: MUL
00001668: PUSH1 0x20
0000166a: ADD
0000166b: ADD
0000166c: MLOAD
0000166d: DUP5
0000166e: PUSH1 0x01
00001670: DUP2
00001671: MLOAD
00001672: DUP2
00001673: LT
00001674: PUSH2 0x167f
00001677: JUMPI
00001678: PUSH2 0x167f
0000167b: PUSH2 0x25c1
0000167e: JUMP
0000167f: JUMPDEST
00001680: PUSH1 0x20
00001682: MUL
00001683: PUSH1 0x20
00001685: ADD
00001686: ADD
00001687: MLOAD
00001688: PUSH1 0x40
0000168a: MLOAD
0000168b: DUP4
0000168c: PUSH4 0xffffffff
00001691: AND
00001692: PUSH1 0xe0
00001694: SHL
00001695: DUP2
00001696: MSTORE
00001697: PUSH1 0x04
00001699: ADD
0000169a: PUSH2 0x16b9
0000169d: SWAP3
0000169e: SWAP2
0000169f: SWAP1
000016a0: PUSH1 0x01
000016a2: PUSH1 0x01
000016a4: PUSH1 0xa0
000016a6: SHL
000016a7: SUB
000016a8: SWAP3
000016a9: DUP4
000016aa: AND
000016ab: DUP2
000016ac: MSTORE
000016ad: SWAP2
000016ae: AND
000016af: PUSH1 0x20
000016b1: DUP3
000016b2: ADD
000016b3: MSTORE
000016b4: PUSH1 0x40
000016b6: ADD
000016b7: SWAP1
000016b8: JUMP
000016b9: JUMPDEST
000016ba: PUSH1 0x20
000016bc: PUSH1 0x40
000016be: MLOAD
000016bf: DUP1
000016c0: DUP4
000016c1: SUB
000016c2: DUP2
000016c3: DUP7
000016c4: GAS
000016c5: STATICCALL
000016c6: ISZERO
000016c7: DUP1
000016c8: ISZERO
000016c9: PUSH2 0x16d6
000016cc: JUMPI
000016cd: RETURNDATASIZE
000016ce: PUSH1 0x00
000016d0: DUP1
000016d1: RETURNDATACOPY
000016d2: RETURNDATASIZE
000016d3: PUSH1 0x00
000016d5: REVERT
000016d6: JUMPDEST
000016d7: POP
000016d8: POP
000016d9: POP
000016da: POP
000016db: PUSH1 0x40
000016dd: MLOAD
000016de: RETURNDATASIZE
000016df: PUSH1 0x1f
000016e1: NOT
000016e2: PUSH1 0x1f
000016e4: DUP3
000016e5: ADD
000016e6: AND
000016e7: DUP3
000016e8: ADD
000016e9: DUP1
000016ea: PUSH1 0x40
000016ec: MSTORE
000016ed: POP
000016ee: DUP2
000016ef: ADD
000016f0: SWAP1
000016f1: PUSH2 0x1328
000016f4: SWAP2
000016f5: SWAP1
000016f6: PUSH2 0x28ab
000016f9: JUMP
000016fa: JUMPDEST
000016fb: DUP3
000016fc: MLOAD
000016fd: ISZERO
000016fe: PUSH2 0x17c6
00001701: JUMPI
00001702: PUSH1 0x00
00001704: JUMPDEST
00001705: DUP2
00001706: MLOAD
00001707: DUP2
00001708: LT
00001709: ISZERO
0000170a: PUSH2 0x17c0
0000170d: JUMPI
0000170e: PUSH1 0x00
00001710: PUSH2 0x171e
00001713: DUP7
00001714: DUP7
00001715: PUSH1 0x00
00001717: ADD
00001718: MLOAD
00001719: DUP7
0000171a: PUSH2 0x212e
0000171d: JUMP
0000171e: JUMPDEST
0000171f: PUSH1 0x20
00001721: DUP7
00001722: ADD
00001723: MLOAD
00001724: SWAP1
00001725: SWAP2
00001726: POP
00001727: ISZERO
00001728: PUSH2 0x1756
0000172b: JUMPI
0000172c: DUP5
0000172d: PUSH1 0x20
0000172f: ADD
00001730: MLOAD
00001731: DUP2
00001732: PUSH1 0x01
00001734: DUP2
00001735: MLOAD
00001736: DUP2
00001737: LT
00001738: PUSH2 0x1743
0000173b: JUMPI
0000173c: PUSH2 0x1743
0000173f: PUSH2 0x25c1
00001742: JUMP
00001743: JUMPDEST
00001744: PUSH1 0x20
00001746: MUL
00001747: PUSH1 0x20
00001749: ADD
0000174a: ADD
0000174b: MLOAD
0000174c: LT
0000174d: ISZERO
0000174e: PUSH2 0x1756
00001751: JUMPI
00001752: PUSH1 0x00
00001754: DUP1
00001755: REVERT
00001756: JUMPDEST
00001757: PUSH2 0x1788
0000175a: DUP5
0000175b: PUSH1 0x00
0000175d: DUP2
0000175e: MLOAD
0000175f: DUP2
00001760: LT
00001761: PUSH2 0x176c
00001764: JUMPI
00001765: PUSH2 0x176c
00001768: PUSH2 0x25c1
0000176b: JUMP
0000176c: JUMPDEST
0000176d: PUSH1 0x20
0000176f: MUL
00001770: PUSH1 0x20
00001772: ADD
00001773: ADD
00001774: MLOAD
00001775: DUP8
00001776: DUP4
00001777: PUSH1 0x00
00001779: DUP2
0000177a: MLOAD
0000177b: DUP2
0000177c: LT
0000177d: PUSH2 0x0315
00001780: JUMPI
00001781: PUSH2 0x0315
00001784: PUSH2 0x25c1
00001787: JUMP
00001788: JUMPDEST
00001789: PUSH2 0x17ad
0000178c: DUP2
0000178d: DUP6
0000178e: DUP6
0000178f: DUP6
00001790: DUP2
00001791: MLOAD
00001792: DUP2
00001793: LT
00001794: PUSH2 0x179f
00001797: JUMPI
00001798: PUSH2 0x179f
0000179b: PUSH2 0x25c1
0000179e: JUMP
0000179f: JUMPDEST
000017a0: PUSH1 0x20
000017a2: MUL
000017a3: PUSH1 0x20
000017a5: ADD
000017a6: ADD
000017a7: MLOAD
000017a8: DUP10
000017a9: PUSH2 0x0eed
000017ac: JUMP
000017ad: JUMPDEST
000017ae: POP
000017af: DUP1
000017b0: PUSH2 0x17b8
000017b3: DUP2
000017b4: PUSH2 0x272a
000017b7: JUMP
000017b8: JUMPDEST
000017b9: SWAP2
000017ba: POP
000017bb: POP
000017bc: PUSH2 0x1704
000017bf: JUMP
000017c0: JUMPDEST
000017c1: POP
000017c2: PUSH2 0x05ac
000017c5: JUMP
000017c6: JUMPDEST
000017c7: PUSH1 0x00
000017c9: JUMPDEST
000017ca: DUP2
000017cb: MLOAD
000017cc: DUP2
000017cd: LT
000017ce: ISZERO
000017cf: PUSH2 0x0ee6
000017d2: JUMPI
000017d3: PUSH1 0x00
000017d5: PUSH2 0x17e3
000017d8: DUP7
000017d9: DUP7
000017da: PUSH1 0x20
000017dc: ADD
000017dd: MLOAD
000017de: DUP7
000017df: PUSH2 0x0c46
000017e2: JUMP
000017e3: JUMPDEST
000017e4: SWAP1
000017e5: POP
000017e6: PUSH2 0x17fb
000017e9: DUP5
000017ea: PUSH1 0x00
000017ec: DUP2
000017ed: MLOAD
000017ee: DUP2
000017ef: LT
000017f0: PUSH2 0x176c
000017f3: JUMPI
000017f4: PUSH2 0x176c
000017f7: PUSH2 0x25c1
000017fa: JUMP
000017fb: JUMPDEST
000017fc: PUSH2 0x1812
000017ff: DUP2
00001800: DUP6
00001801: DUP6
00001802: DUP6
00001803: DUP2
00001804: MLOAD
00001805: DUP2
00001806: LT
00001807: PUSH2 0x179f
0000180a: JUMPI
0000180b: PUSH2 0x179f
0000180e: PUSH2 0x25c1
00001811: JUMP
00001812: JUMPDEST
00001813: POP
00001814: DUP1
00001815: PUSH2 0x181d
00001818: DUP2
00001819: PUSH2 0x272a
0000181c: JUMP
0000181d: JUMPDEST
0000181e: SWAP2
0000181f: POP
00001820: POP
00001821: PUSH2 0x17c9
00001824: JUMP
00001825: JUMPDEST
00001826: PUSH1 0x00
00001828: DUP3
00001829: DUP3
0000182a: PUSH1 0x00
0000182c: DUP2
0000182d: DUP2
0000182e: LT
0000182f: PUSH2 0x183a
00001832: JUMPI
00001833: PUSH2 0x183a
00001836: PUSH2 0x25c1
00001839: JUMP
0000183a: JUMPDEST
0000183b: SWAP1
0000183c: POP
0000183d: PUSH1 0x20
0000183f: MUL
00001840: ADD
00001841: PUSH1 0x20
00001843: DUP2
00001844: ADD
00001845: SWAP1
00001846: PUSH2 0x184f
00001849: SWAP2
0000184a: SWAP1
0000184b: PUSH2 0x2535
0000184e: JUMP
0000184f: JUMPDEST
00001850: PUSH1 0x40
00001852: MLOAD
00001853: PUSH4 0x70a08231
00001858: PUSH1 0xe0
0000185a: SHL
0000185b: DUP2
0000185c: MSTORE
0000185d: ADDRESS
0000185e: PUSH1 0x04
00001860: DUP3
00001861: ADD
00001862: MSTORE
00001863: PUSH1 0x01
00001865: PUSH1 0x01
00001867: PUSH1 0xa0
00001869: SHL
0000186a: SUB
0000186b: SWAP2
0000186c: SWAP1
0000186d: SWAP2
0000186e: AND
0000186f: SWAP1
00001870: PUSH4 0x70a08231
00001875: SWAP1
00001876: PUSH1 0x24
00001878: ADD
00001879: PUSH1 0x20
0000187b: PUSH1 0x40
0000187d: MLOAD
0000187e: DUP1
0000187f: DUP4
00001880: SUB
00001881: DUP2
00001882: DUP7
00001883: GAS
00001884: STATICCALL
00001885: ISZERO
00001886: DUP1
00001887: ISZERO
00001888: PUSH2 0x1895
0000188b: JUMPI
0000188c: RETURNDATASIZE
0000188d: PUSH1 0x00
0000188f: DUP1
00001890: RETURNDATACOPY
00001891: RETURNDATASIZE
00001892: PUSH1 0x00
00001894: REVERT
00001895: JUMPDEST
00001896: POP
00001897: POP
00001898: POP
00001899: POP
0000189a: PUSH1 0x40
0000189c: MLOAD
0000189d: RETURNDATASIZE
0000189e: PUSH1 0x1f
000018a0: NOT
000018a1: PUSH1 0x1f
000018a3: DUP3
000018a4: ADD
000018a5: AND
000018a6: DUP3
000018a7: ADD
000018a8: DUP1
000018a9: PUSH1 0x40
000018ab: MSTORE
000018ac: POP
000018ad: DUP2
000018ae: ADD
000018af: SWAP1
000018b0: PUSH2 0x18b9
000018b3: SWAP2
000018b4: SWAP1
000018b5: PUSH2 0x25f0
000018b8: JUMP
000018b9: JUMPDEST
000018ba: PUSH1 0x40
000018bc: DUP1
000018bd: MLOAD
000018be: PUSH1 0x80
000018c0: DUP2
000018c1: ADD
000018c2: DUP3
000018c3: MSTORE
000018c4: PUSH1 0x00
000018c6: DUP1
000018c7: DUP3
000018c8: MSTORE
000018c9: PUSH1 0x20
000018cb: DUP3
000018cc: ADD
000018cd: DUP2
000018ce: SWAP1
000018cf: MSTORE
000018d0: DUP2
000018d1: DUP4
000018d2: ADD
000018d3: DUP2
000018d4: SWAP1
000018d5: MSTORE
000018d6: PUSH1 0x60
000018d8: DUP1
000018d9: DUP4
000018da: ADD
000018db: DUP3
000018dc: SWAP1
000018dd: MSTORE
000018de: DUP4
000018df: MLOAD
000018e0: PUSH1 0x02
000018e2: DUP1
000018e3: DUP3
000018e4: MSTORE
000018e5: SWAP2
000018e6: DUP2
000018e7: ADD
000018e8: SWAP1
000018e9: SWAP5
000018ea: MSTORE
000018eb: SWAP4
000018ec: SWAP5
000018ed: POP
000018ee: SWAP1
000018ef: SWAP3
000018f0: SWAP1
000018f1: SWAP2
000018f2: SWAP1
000018f3: DUP2
000018f4: PUSH1 0x20
000018f6: ADD
000018f7: PUSH1 0x20
000018f9: DUP3
000018fa: MUL
000018fb: DUP1
000018fc: CALLDATASIZE
000018fd: DUP4
000018fe: CALLDATACOPY
000018ff: ADD
00001900: SWAP1
00001901: POP
00001902: POP
00001903: SWAP1
00001904: POP
00001905: DUP5
00001906: DUP5
00001907: PUSH1 0x01
00001909: DUP2
0000190a: DUP2
0000190b: LT
0000190c: PUSH2 0x1917
0000190f: JUMPI
00001910: PUSH2 0x1917
00001913: PUSH2 0x25c1
00001916: JUMP
00001917: JUMPDEST
00001918: SWAP1
00001919: POP
0000191a: PUSH1 0x20
0000191c: MUL
0000191d: ADD
0000191e: PUSH1 0x20
00001920: DUP2
00001921: ADD
00001922: SWAP1
00001923: PUSH2 0x192c
00001926: SWAP2
00001927: SWAP1
00001928: PUSH2 0x2535
0000192b: JUMP
0000192c: JUMPDEST
0000192d: DUP2
0000192e: PUSH1 0x00
00001930: DUP2
00001931: MLOAD
00001932: DUP2
00001933: LT
00001934: PUSH2 0x193f
00001937: JUMPI
00001938: PUSH2 0x193f
0000193b: PUSH2 0x25c1
0000193e: JUMP
0000193f: JUMPDEST
00001940: PUSH1 0x20
00001942: MUL
00001943: PUSH1 0x20
00001945: ADD
00001946: ADD
00001947: SWAP1
00001948: PUSH1 0x01
0000194a: PUSH1 0x01
0000194c: PUSH1 0xa0
0000194e: SHL
0000194f: SUB
00001950: AND
00001951: SWAP1
00001952: DUP2
00001953: PUSH1 0x01
00001955: PUSH1 0x01
00001957: PUSH1 0xa0
00001959: SHL
0000195a: SUB
0000195b: AND
0000195c: DUP2
0000195d: MSTORE
0000195e: POP
0000195f: POP
00001960: DUP5
00001961: DUP5
00001962: PUSH1 0x00
00001964: DUP2
00001965: DUP2
00001966: LT
00001967: PUSH2 0x1972
0000196a: JUMPI
0000196b: PUSH2 0x1972
0000196e: PUSH2 0x25c1
00001971: JUMP
00001972: JUMPDEST
00001973: SWAP1
00001974: POP
00001975: PUSH1 0x20
00001977: MUL
00001978: ADD
00001979: PUSH1 0x20
0000197b: DUP2
0000197c: ADD
0000197d: SWAP1
0000197e: PUSH2 0x1987
00001981: SWAP2
00001982: SWAP1
00001983: PUSH2 0x2535
00001986: JUMP
00001987: JUMPDEST
00001988: DUP2
00001989: PUSH1 0x01
0000198b: DUP2
0000198c: MLOAD
0000198d: DUP2
0000198e: LT
0000198f: PUSH2 0x199a
00001992: JUMPI
00001993: PUSH2 0x199a
00001996: PUSH2 0x25c1
00001999: JUMP
0000199a: JUMPDEST
0000199b: PUSH1 0x01
0000199d: PUSH1 0x01
0000199f: PUSH1 0xa0
000019a1: SHL
000019a2: SUB
000019a3: SWAP3
000019a4: SWAP1
000019a5: SWAP3
000019a6: AND
000019a7: PUSH1 0x20
000019a9: SWAP3
000019aa: DUP4
000019ab: MUL
000019ac: SWAP2
000019ad: SWAP1
000019ae: SWAP2
000019af: ADD
000019b0: SWAP1
000019b1: SWAP2
000019b2: ADD
000019b3: MSTORE
000019b4: PUSH1 0x40
000019b6: DUP1
000019b7: MLOAD
000019b8: PUSH1 0x01
000019ba: DUP1
000019bb: DUP3
000019bc: MSTORE
000019bd: DUP2
000019be: DUP4
000019bf: ADD
000019c0: SWAP1
000019c1: SWAP3
000019c2: MSTORE
000019c3: PUSH1 0x00
000019c5: SWAP2
000019c6: DUP2
000019c7: PUSH1 0x20
000019c9: ADD
000019ca: PUSH1 0x20
000019cc: DUP3
000019cd: MUL
000019ce: DUP1
000019cf: CALLDATASIZE
000019d0: DUP4
000019d1: CALLDATACOPY
000019d2: ADD
000019d3: SWAP1
000019d4: POP
000019d5: POP
000019d6: SWAP1
000019d7: POP
000019d8: ADDRESS
000019d9: DUP2
000019da: PUSH1 0x00
000019dc: DUP2
000019dd: MLOAD
000019de: DUP2
000019df: LT
000019e0: PUSH2 0x19eb
000019e3: JUMPI
000019e4: PUSH2 0x19eb
000019e7: PUSH2 0x25c1
000019ea: JUMP
000019eb: JUMPDEST
000019ec: PUSH1 0x01
000019ee: PUSH1 0x01
000019f0: PUSH1 0xa0
000019f2: SHL
000019f3: SUB
000019f4: SWAP1
000019f5: SWAP3
000019f6: AND
000019f7: PUSH1 0x20
000019f9: SWAP3
000019fa: DUP4
000019fb: MUL
000019fc: SWAP2
000019fd: SWAP1
000019fe: SWAP2
000019ff: ADD
00001a00: SWAP1
00001a01: SWAP2
00001a02: ADD
00001a03: MSTORE
00001a04: PUSH1 0x64
00001a06: PUSH2 0x1a15
00001a09: PUSH1 0x80
00001a0b: DUP10
00001a0c: ADD
00001a0d: PUSH1 0x60
00001a0f: DUP11
00001a10: ADD
00001a11: PUSH2 0x28c8
00001a14: JUMP
00001a15: JUMPDEST
00001a16: ISZERO
00001a17: PUSH2 0x1a1e
00001a1a: JUMPI
00001a1b: POP
00001a1c: PUSH1 0x01
00001a1e: JUMPDEST
00001a1f: PUSH1 0x40
00001a21: MLOAD
00001a22: PUSH4 0x70a08231
00001a27: PUSH1 0xe0
00001a29: SHL
00001a2a: DUP2
00001a2b: MSTORE
00001a2c: ADDRESS
00001a2d: PUSH1 0x04
00001a2f: DUP3
00001a30: ADD
00001a31: MSTORE
00001a32: PUSH1 0x00
00001a34: SWAP1
00001a35: PUSH1 0x01
00001a37: PUSH1 0x01
00001a39: PUSH1 0xa0
00001a3b: SHL
00001a3c: SUB
00001a3d: DUP12
00001a3e: AND
00001a3f: SWAP1
00001a40: PUSH4 0x70a08231
00001a45: SWAP1
00001a46: PUSH1 0x24
00001a48: ADD
00001a49: PUSH1 0x20
00001a4b: PUSH1 0x40
00001a4d: MLOAD
00001a4e: DUP1
00001a4f: DUP4
00001a50: SUB
00001a51: DUP2
00001a52: DUP7
00001a53: GAS
00001a54: STATICCALL
00001a55: ISZERO
00001a56: DUP1
00001a57: ISZERO
00001a58: PUSH2 0x1a65
00001a5b: JUMPI
00001a5c: RETURNDATASIZE
00001a5d: PUSH1 0x00
00001a5f: DUP1
00001a60: RETURNDATACOPY
00001a61: RETURNDATASIZE
00001a62: PUSH1 0x00
00001a64: REVERT
00001a65: JUMPDEST
00001a66: POP
00001a67: POP
00001a68: POP
00001a69: POP
00001a6a: PUSH1 0x40
00001a6c: MLOAD
00001a6d: RETURNDATASIZE
00001a6e: PUSH1 0x1f
00001a70: NOT
00001a71: PUSH1 0x1f
00001a73: DUP3
00001a74: ADD
00001a75: AND
00001a76: DUP3
00001a77: ADD
00001a78: DUP1
00001a79: PUSH1 0x40
00001a7b: MSTORE
00001a7c: POP
00001a7d: DUP2
00001a7e: ADD
00001a7f: SWAP1
00001a80: PUSH2 0x1a89
00001a83: SWAP2
00001a84: SWAP1
00001a85: PUSH2 0x25f0
00001a88: JUMP
00001a89: JUMPDEST
00001a8a: SWAP1
00001a8b: POP
00001a8c: PUSH1 0x00
00001a8e: JUMPDEST
00001a8f: DUP3
00001a90: DUP2
00001a91: LT
00001a92: ISZERO
00001a93: PUSH2 0x1ccb
00001a96: JUMPI
00001a97: PUSH1 0x00
00001a99: DUP3
00001a9a: GT
00001a9b: PUSH2 0x1aa5
00001a9e: JUMPI
00001a9f: PUSH1 0x00
00001aa1: PUSH2 0x1aaf
00001aa4: JUMP
00001aa5: JUMPDEST
00001aa6: PUSH2 0x1aaf
00001aa9: DUP4
00001aaa: DUP4
00001aab: PUSH2 0x2870
00001aae: JUMP
00001aaf: JUMPDEST
00001ab0: DUP7
00001ab1: MSTORE
00001ab2: PUSH1 0x20
00001ab4: DUP11
00001ab5: ADD
00001ab6: CALLDATALOAD
00001ab7: ISZERO
00001ab8: PUSH2 0x1b74
00001abb: JUMPI
00001abc: PUSH2 0x1b09
00001abf: DUP13
00001ac0: PUSH2 0x1ace
00001ac3: CALLDATASIZE
00001ac4: DUP14
00001ac5: SWAP1
00001ac6: SUB
00001ac7: DUP14
00001ac8: ADD
00001ac9: DUP14
00001aca: PUSH2 0x264b
00001acd: JUMP
00001ace: JUMPDEST
00001acf: DUP12
00001ad0: DUP12
00001ad1: DUP1
00001ad2: DUP1
00001ad3: PUSH1 0x20
00001ad5: MUL
00001ad6: PUSH1 0x20
00001ad8: ADD
00001ad9: PUSH1 0x40
00001adb: MLOAD
00001adc: SWAP1
00001add: DUP2
00001ade: ADD
00001adf: PUSH1 0x40
00001ae1: MSTORE
00001ae2: DUP1
00001ae3: SWAP4
00001ae4: SWAP3
00001ae5: SWAP2
00001ae6: SWAP1
00001ae7: DUP2
00001ae8: DUP2
00001ae9: MSTORE
00001aea: PUSH1 0x20
00001aec: ADD
00001aed: DUP4
00001aee: DUP4
00001aef: PUSH1 0x20
00001af1: MUL
00001af2: DUP1
00001af3: DUP3
00001af4: DUP5
00001af5: CALLDATACOPY
00001af6: PUSH1 0x00
00001af8: SWAP3
00001af9: ADD
00001afa: SWAP2
00001afb: SWAP1
00001afc: SWAP2
00001afd: MSTORE
00001afe: POP
00001aff: DUP11
00001b00: SWAP3
00001b01: POP
00001b02: PUSH2 0x16fa
00001b05: SWAP2
00001b06: POP
00001b07: POP
00001b08: JUMP
00001b09: JUMPDEST
00001b0a: PUSH1 0x40
00001b0c: MLOAD
00001b0d: PUSH4 0x70a08231
00001b12: PUSH1 0xe0
00001b14: SHL
00001b15: DUP2
00001b16: MSTORE
00001b17: ADDRESS
00001b18: PUSH1 0x04
00001b1a: DUP3
00001b1b: ADD
00001b1c: MSTORE
00001b1d: PUSH1 0x01
00001b1f: PUSH1 0x01
00001b21: PUSH1 0xa0
00001b23: SHL
00001b24: SUB
00001b25: DUP13
00001b26: AND
00001b27: SWAP1
00001b28: PUSH4 0x70a08231
00001b2d: SWAP1
00001b2e: PUSH1 0x24
00001b30: ADD
00001b31: PUSH1 0x20
00001b33: PUSH1 0x40
00001b35: MLOAD
00001b36: DUP1
00001b37: DUP4
00001b38: SUB
00001b39: DUP2
00001b3a: DUP7
00001b3b: GAS
00001b3c: STATICCALL
00001b3d: ISZERO
00001b3e: DUP1
00001b3f: ISZERO
00001b40: PUSH2 0x1b4d
00001b43: JUMPI
00001b44: RETURNDATASIZE
00001b45: PUSH1 0x00
00001b47: DUP1
00001b48: RETURNDATACOPY
00001b49: RETURNDATASIZE
00001b4a: PUSH1 0x00
00001b4c: REVERT
00001b4d: JUMPDEST
00001b4e: POP
00001b4f: POP
00001b50: POP
00001b51: POP
00001b52: PUSH1 0x40
00001b54: MLOAD
00001b55: RETURNDATASIZE
00001b56: PUSH1 0x1f
00001b58: NOT
00001b59: PUSH1 0x1f
00001b5b: DUP3
00001b5c: ADD
00001b5d: AND
00001b5e: DUP3
00001b5f: ADD
00001b60: DUP1
00001b61: PUSH1 0x40
00001b63: MSTORE
00001b64: POP
00001b65: DUP2
00001b66: ADD
00001b67: SWAP1
00001b68: PUSH2 0x1b71
00001b6b: SWAP2
00001b6c: SWAP1
00001b6d: PUSH2 0x25f0
00001b70: JUMP
00001b71: JUMPDEST
00001b72: DUP7
00001b73: MSTORE
00001b74: JUMPDEST
00001b75: PUSH1 0x40
00001b77: MLOAD
00001b78: PUSH4 0x70a08231
00001b7d: PUSH1 0xe0
00001b7f: SHL
00001b80: DUP2
00001b81: MSTORE
00001b82: PUSH1 0x01
00001b84: PUSH1 0x01
00001b86: PUSH1 0xa0
00001b88: SHL
00001b89: SUB
00001b8a: DUP13
00001b8b: AND
00001b8c: PUSH1 0x04
00001b8e: DUP3
00001b8f: ADD
00001b90: DUP2
00001b91: SWAP1
00001b92: MSTORE
00001b93: PUSH1 0x00
00001b95: SWAP2
00001b96: PUSH4 0x70a08231
00001b9b: SWAP1
00001b9c: PUSH1 0x24
00001b9e: ADD
00001b9f: PUSH1 0x20
00001ba1: PUSH1 0x40
00001ba3: MLOAD
00001ba4: DUP1
00001ba5: DUP4
00001ba6: SUB
00001ba7: DUP2
00001ba8: DUP7
00001ba9: GAS
00001baa: STATICCALL
00001bab: ISZERO
00001bac: DUP1
00001bad: ISZERO
00001bae: PUSH2 0x1bbb
00001bb1: JUMPI
00001bb2: RETURNDATASIZE
00001bb3: PUSH1 0x00
00001bb5: DUP1
00001bb6: RETURNDATACOPY
00001bb7: RETURNDATASIZE
00001bb8: PUSH1 0x00
00001bba: REVERT
00001bbb: JUMPDEST
00001bbc: POP
00001bbd: POP
00001bbe: POP
00001bbf: POP
00001bc0: PUSH1 0x40
00001bc2: MLOAD
00001bc3: RETURNDATASIZE
00001bc4: PUSH1 0x1f
00001bc6: NOT
00001bc7: PUSH1 0x1f
00001bc9: DUP3
00001bca: ADD
00001bcb: AND
00001bcc: DUP3
00001bcd: ADD
00001bce: DUP1
00001bcf: PUSH1 0x40
00001bd1: MSTORE
00001bd2: POP
00001bd3: DUP2
00001bd4: ADD
00001bd5: SWAP1
00001bd6: PUSH2 0x1bdf
00001bd9: SWAP2
00001bda: SWAP1
00001bdb: PUSH2 0x25f0
00001bde: JUMP
00001bdf: JUMPDEST
00001be0: SWAP1
00001be1: POP
00001be2: PUSH2 0x1c15
00001be5: DUP11
00001be6: DUP11
00001be7: PUSH1 0x01
00001be9: DUP2
00001bea: DUP2
00001beb: LT
00001bec: PUSH2 0x1bf7
00001bef: JUMPI
00001bf0: PUSH2 0x1bf7
00001bf3: PUSH2 0x25c1
00001bf6: JUMP
00001bf7: JUMPDEST
00001bf8: SWAP1
00001bf9: POP
00001bfa: PUSH1 0x20
00001bfc: MUL
00001bfd: ADD
00001bfe: PUSH1 0x20
00001c00: DUP2
00001c01: ADD
00001c02: SWAP1
00001c03: PUSH2 0x1c0c
00001c06: SWAP2
00001c07: SWAP1
00001c08: PUSH2 0x2535
00001c0b: JUMP
00001c0c: JUMPDEST
00001c0d: DUP9
00001c0e: MLOAD
00001c0f: DUP16
00001c10: SWAP1
00001c11: PUSH2 0x0d8a
00001c14: JUMP
00001c15: JUMPDEST
00001c16: PUSH2 0x1c3a
00001c19: DUP7
00001c1a: DUP7
00001c1b: PUSH1 0x00
00001c1d: DUP2
00001c1e: MLOAD
00001c1f: DUP2
00001c20: LT
00001c21: PUSH2 0x1c2c
00001c24: JUMPI
00001c25: PUSH2 0x1c2c
00001c28: PUSH2 0x25c1
00001c2b: JUMP
00001c2c: JUMPDEST
00001c2d: PUSH1 0x20
00001c2f: MUL
00001c30: PUSH1 0x20
00001c32: ADD
00001c33: ADD
00001c34: MLOAD
00001c35: DUP16
00001c36: PUSH2 0x1074
00001c39: JUMP
00001c3a: JUMPDEST
00001c3b: POP
00001c3c: PUSH1 0x40
00001c3e: MLOAD
00001c3f: PUSH4 0x70a08231
00001c44: PUSH1 0xe0
00001c46: SHL
00001c47: DUP2
00001c48: MSTORE
00001c49: PUSH1 0x01
00001c4b: PUSH1 0x01
00001c4d: PUSH1 0xa0
00001c4f: SHL
00001c50: SUB
00001c51: DUP14
00001c52: AND
00001c53: PUSH1 0x04
00001c55: DUP3
00001c56: ADD
00001c57: DUP2
00001c58: SWAP1
00001c59: MSTORE
00001c5a: PUSH1 0x00
00001c5c: SWAP2
00001c5d: PUSH4 0x70a08231
00001c62: SWAP1
00001c63: PUSH1 0x24
00001c65: ADD
00001c66: PUSH1 0x20
00001c68: PUSH1 0x40
00001c6a: MLOAD
00001c6b: DUP1
00001c6c: DUP4
00001c6d: SUB
00001c6e: DUP2
00001c6f: DUP7
00001c70: GAS
00001c71: STATICCALL
00001c72: ISZERO
00001c73: DUP1
00001c74: ISZERO
00001c75: PUSH2 0x1c82
00001c78: JUMPI
00001c79: RETURNDATASIZE
00001c7a: PUSH1 0x00
00001c7c: DUP1
00001c7d: RETURNDATACOPY
00001c7e: RETURNDATASIZE
00001c7f: PUSH1 0x00
00001c81: REVERT
00001c82: JUMPDEST
00001c83: POP
00001c84: POP
00001c85: POP
00001c86: POP
00001c87: PUSH1 0x40
00001c89: MLOAD
00001c8a: RETURNDATASIZE
00001c8b: PUSH1 0x1f
00001c8d: NOT
00001c8e: PUSH1 0x1f
00001c90: DUP3
00001c91: ADD
00001c92: AND
00001c93: DUP3
00001c94: ADD
00001c95: DUP1
00001c96: PUSH1 0x40
00001c98: MSTORE
00001c99: POP
00001c9a: DUP2
00001c9b: ADD
00001c9c: SWAP1
00001c9d: PUSH2 0x1ca6
00001ca0: SWAP2
00001ca1: SWAP1
00001ca2: PUSH2 0x25f0
00001ca5: JUMP
00001ca6: JUMPDEST
00001ca7: SWAP1
00001ca8: POP
00001ca9: DUP2
00001caa: DUP2
00001cab: LT
00001cac: PUSH2 0x1cb6
00001caf: JUMPI
00001cb0: POP
00001cb1: POP
00001cb2: PUSH2 0x1ccb
00001cb5: JUMP
00001cb6: JUMPDEST
00001cb7: POP
00001cb8: POP
00001cb9: DUP1
00001cba: DUP1
00001cbb: PUSH2 0x1cc3
00001cbe: SWAP1
00001cbf: PUSH2 0x272a
00001cc2: JUMP
00001cc3: JUMPDEST
00001cc4: SWAP2
00001cc5: POP
00001cc6: POP
00001cc7: PUSH2 0x1a8e
00001cca: JUMP
00001ccb: JUMPDEST
00001ccc: POP
00001ccd: DUP8
00001cce: DUP8
00001ccf: PUSH1 0x00
00001cd1: DUP2
00001cd2: DUP2
00001cd3: LT
00001cd4: PUSH2 0x1cdf
00001cd7: JUMPI
00001cd8: PUSH2 0x1cdf
00001cdb: PUSH2 0x25c1
00001cde: JUMP
00001cdf: JUMPDEST
00001ce0: SWAP1
00001ce1: POP
00001ce2: PUSH1 0x20
00001ce4: MUL
00001ce5: ADD
00001ce6: PUSH1 0x20
00001ce8: DUP2
00001ce9: ADD
00001cea: SWAP1
00001ceb: PUSH2 0x1cf4
00001cee: SWAP2
00001cef: SWAP1
00001cf0: PUSH2 0x2535
00001cf3: JUMP
00001cf4: JUMPDEST
00001cf5: PUSH1 0x40
00001cf7: MLOAD
00001cf8: PUSH4 0x70a08231
00001cfd: PUSH1 0xe0
00001cff: SHL
00001d00: DUP2
00001d01: MSTORE
00001d02: ADDRESS
00001d03: PUSH1 0x04
00001d05: DUP3
00001d06: ADD
00001d07: MSTORE
00001d08: PUSH1 0x01
00001d0a: PUSH1 0x01
00001d0c: PUSH1 0xa0
00001d0e: SHL
00001d0f: SUB
00001d10: SWAP2
00001d11: SWAP1
00001d12: SWAP2
00001d13: AND
00001d14: SWAP1
00001d15: PUSH4 0x70a08231
00001d1a: SWAP1
00001d1b: PUSH1 0x24
00001d1d: ADD
00001d1e: PUSH1 0x20
00001d20: PUSH1 0x40
00001d22: MLOAD
00001d23: DUP1
00001d24: DUP4
00001d25: SUB
00001d26: DUP2
00001d27: DUP7
00001d28: GAS
00001d29: STATICCALL
00001d2a: ISZERO
00001d2b: DUP1
00001d2c: ISZERO
00001d2d: PUSH2 0x1d3a
00001d30: JUMPI
00001d31: RETURNDATASIZE
00001d32: PUSH1 0x00
00001d34: DUP1
00001d35: RETURNDATACOPY
00001d36: RETURNDATASIZE
00001d37: PUSH1 0x00
00001d39: REVERT
00001d3a: JUMPDEST
00001d3b: POP
00001d3c: POP
00001d3d: POP
00001d3e: POP
00001d3f: PUSH1 0x40
00001d41: MLOAD
00001d42: RETURNDATASIZE
00001d43: PUSH1 0x1f
00001d45: NOT
00001d46: PUSH1 0x1f
00001d48: DUP3
00001d49: ADD
00001d4a: AND
00001d4b: DUP3
00001d4c: ADD
00001d4d: DUP1
00001d4e: PUSH1 0x40
00001d50: MSTORE
00001d51: POP
00001d52: DUP2
00001d53: ADD
00001d54: SWAP1
00001d55: PUSH2 0x1d5e
00001d58: SWAP2
00001d59: SWAP1
00001d5a: PUSH2 0x25f0
00001d5d: JUMP
00001d5e: JUMPDEST
00001d5f: DUP7
00001d60: GT
00001d61: ISZERO
00001d62: PUSH2 0x1e6e
00001d65: JUMPI
00001d66: DUP9
00001d67: PUSH1 0x40
00001d69: ADD
00001d6a: CALLDATALOAD
00001d6b: DUP9
00001d6c: DUP9
00001d6d: PUSH1 0x00
00001d6f: DUP2
00001d70: DUP2
00001d71: LT
00001d72: PUSH2 0x1d7d
00001d75: JUMPI
00001d76: PUSH2 0x1d7d
00001d79: PUSH2 0x25c1
00001d7c: JUMP
00001d7d: JUMPDEST
00001d7e: SWAP1
00001d7f: POP
00001d80: PUSH1 0x20
00001d82: MUL
00001d83: ADD
00001d84: PUSH1 0x20
00001d86: DUP2
00001d87: ADD
00001d88: SWAP1
00001d89: PUSH2 0x1d92
00001d8c: SWAP2
00001d8d: SWAP1
00001d8e: PUSH2 0x2535
00001d91: JUMP
00001d92: JUMPDEST
00001d93: PUSH1 0x40
00001d95: MLOAD
00001d96: PUSH4 0x70a08231
00001d9b: PUSH1 0xe0
00001d9d: SHL
00001d9e: DUP2
00001d9f: MSTORE
00001da0: ADDRESS
00001da1: PUSH1 0x04
00001da3: DUP3
00001da4: ADD
00001da5: MSTORE
00001da6: PUSH1 0x01
00001da8: PUSH1 0x01
00001daa: PUSH1 0xa0
00001dac: SHL
00001dad: SUB
00001dae: SWAP2
00001daf: SWAP1
00001db0: SWAP2
00001db1: AND
00001db2: SWAP1
00001db3: PUSH4 0x70a08231
00001db8: SWAP1
00001db9: PUSH1 0x24
00001dbb: ADD
00001dbc: PUSH1 0x20
00001dbe: PUSH1 0x40
00001dc0: MLOAD
00001dc1: DUP1
00001dc2: DUP4
00001dc3: SUB
00001dc4: DUP2
00001dc5: DUP7
00001dc6: GAS
00001dc7: STATICCALL
00001dc8: ISZERO
00001dc9: DUP1
00001dca: ISZERO
00001dcb: PUSH2 0x1dd8
00001dce: JUMPI
00001dcf: RETURNDATASIZE
00001dd0: PUSH1 0x00
00001dd2: DUP1
00001dd3: RETURNDATACOPY
00001dd4: RETURNDATASIZE
00001dd5: PUSH1 0x00
00001dd7: REVERT
00001dd8: JUMPDEST
00001dd9: POP
00001dda: POP
00001ddb: POP
00001ddc: POP
00001ddd: PUSH1 0x40
00001ddf: MLOAD
00001de0: RETURNDATASIZE
00001de1: PUSH1 0x1f
00001de3: NOT
00001de4: PUSH1 0x1f
00001de6: DUP3
00001de7: ADD
00001de8: AND
00001de9: DUP3
00001dea: ADD
00001deb: DUP1
00001dec: PUSH1 0x40
00001dee: MSTORE
00001def: POP
00001df0: DUP2
00001df1: ADD
00001df2: SWAP1
00001df3: PUSH2 0x1dfc
00001df6: SWAP2
00001df7: SWAP1
00001df8: PUSH2 0x25f0
00001dfb: JUMP
00001dfc: JUMPDEST
00001dfd: PUSH2 0x1e06
00001e00: SWAP1
00001e01: DUP9
00001e02: PUSH2 0x2638
00001e05: JUMP
00001e06: JUMPDEST
00001e07: GT
00001e08: ISZERO
00001e09: PUSH2 0x1e6e
00001e0c: JUMPI
00001e0d: PUSH1 0x40
00001e0f: MLOAD
00001e10: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e31: DUP2
00001e32: MSTORE
00001e33: PUSH1 0x20
00001e35: PUSH1 0x04
00001e37: DUP3
00001e38: ADD
00001e39: MSTORE
00001e3a: PUSH1 0x0d
00001e3c: PUSH1 0x24
00001e3e: DUP3
00001e3f: ADD
00001e40: MSTORE
00001e41: PUSH32 0x4869676820696e20757361676500000000000000000000000000000000000000
00001e62: PUSH1 0x44
00001e64: DUP3
00001e65: ADD
00001e66: MSTORE
00001e67: PUSH1 0x64
00001e69: ADD
00001e6a: PUSH2 0x087d
00001e6d: JUMP
00001e6e: JUMPDEST
00001e6f: POP
00001e70: POP
00001e71: POP
00001e72: POP
00001e73: POP
00001e74: POP
00001e75: POP
00001e76: POP
00001e77: POP
00001e78: POP
00001e79: POP
00001e7a: JUMP
00001e7b: JUMPDEST
00001e7c: PUSH1 0x00
00001e7e: DUP1
00001e7f: PUSH1 0x00
00001e81: PUSH2 0x1e8a
00001e84: DUP6
00001e85: DUP6
00001e86: PUSH2 0x1f97
00001e89: JUMP
00001e8a: JUMPDEST
00001e8b: POP
00001e8c: SWAP1
00001e8d: POP
00001e8e: PUSH1 0x00
00001e90: DUP1
00001e91: DUP8
00001e92: PUSH1 0x01
00001e94: PUSH1 0x01
00001e96: PUSH1 0xa0
00001e98: SHL
00001e99: SUB
00001e9a: AND
00001e9b: PUSH4 0x0902f1ac
00001ea0: PUSH1 0x40
00001ea2: MLOAD
00001ea3: DUP2
00001ea4: PUSH4 0xffffffff
00001ea9: AND
00001eaa: PUSH1 0xe0
00001eac: SHL
00001ead: DUP2
00001eae: MSTORE
00001eaf: PUSH1 0x04
00001eb1: ADD
00001eb2: PUSH1 0x60
00001eb4: PUSH1 0x40
00001eb6: MLOAD
00001eb7: DUP1
00001eb8: DUP4
00001eb9: SUB
00001eba: DUP2
00001ebb: DUP7
00001ebc: GAS
00001ebd: STATICCALL
00001ebe: ISZERO
00001ebf: DUP1
00001ec0: ISZERO
00001ec1: PUSH2 0x1ece
00001ec4: JUMPI
00001ec5: RETURNDATASIZE
00001ec6: PUSH1 0x00
00001ec8: DUP1
00001ec9: RETURNDATACOPY
00001eca: RETURNDATASIZE
00001ecb: PUSH1 0x00
00001ecd: REVERT
00001ece: JUMPDEST
00001ecf: POP
00001ed0: POP
00001ed1: POP
00001ed2: POP
00001ed3: PUSH1 0x40
00001ed5: MLOAD
00001ed6: RETURNDATASIZE
00001ed7: PUSH1 0x1f
00001ed9: NOT
00001eda: PUSH1 0x1f
00001edc: DUP3
00001edd: ADD
00001ede: AND
00001edf: DUP3
00001ee0: ADD
00001ee1: DUP1
00001ee2: PUSH1 0x40
00001ee4: MSTORE
00001ee5: POP
00001ee6: DUP2
00001ee7: ADD
00001ee8: SWAP1
00001ee9: PUSH2 0x1ef2
00001eec: SWAP2
00001eed: SWAP1
00001eee: PUSH2 0x26da
00001ef1: JUMP
00001ef2: JUMPDEST
00001ef3: POP
00001ef4: PUSH14 0xffffffffffffffffffffffffffff
00001f03: AND
00001f04: SWAP2
00001f05: POP
00001f06: PUSH14 0xffffffffffffffffffffffffffff
00001f15: AND
00001f16: SWAP2
00001f17: POP
00001f18: DUP3
00001f19: PUSH1 0x01
00001f1b: PUSH1 0x01
00001f1d: PUSH1 0xa0
00001f1f: SHL
00001f20: SUB
00001f21: AND
00001f22: DUP8
00001f23: PUSH1 0x01
00001f25: PUSH1 0x01
00001f27: PUSH1 0xa0
00001f29: SHL
00001f2a: SUB
00001f2b: AND
00001f2c: EQ
00001f2d: PUSH2 0x1f37
00001f30: JUMPI
00001f31: DUP1
00001f32: DUP3
00001f33: PUSH2 0x1f3a
00001f36: JUMP
00001f37: JUMPDEST
00001f38: DUP2
00001f39: DUP2
00001f3a: JUMPDEST
00001f3b: SWAP1
00001f3c: SWAP10
00001f3d: SWAP1
00001f3e: SWAP9
00001f3f: POP
00001f40: SWAP7
00001f41: POP
00001f42: POP
00001f43: POP
00001f44: POP
00001f45: POP
00001f46: POP
00001f47: POP
00001f48: JUMP
00001f49: JUMPDEST
00001f4a: PUSH1 0x00
00001f4c: DUP1
00001f4d: PUSH2 0x1f62
00001f50: PUSH2 0x03e8
00001f53: PUSH2 0x1f5c
00001f56: DUP7
00001f57: DUP9
00001f58: PUSH2 0x131c
00001f5b: JUMP
00001f5c: JUMPDEST
00001f5d: SWAP1
00001f5e: PUSH2 0x131c
00001f61: JUMP
00001f62: JUMPDEST
00001f63: SWAP1
00001f64: POP
00001f65: PUSH1 0x00
00001f67: PUSH2 0x1f76
00001f6a: PUSH2 0x03e5
00001f6d: PUSH2 0x1f5c
00001f70: DUP7
00001f71: DUP10
00001f72: PUSH2 0x20da
00001f75: JUMP
00001f76: JUMPDEST
00001f77: SWAP1
00001f78: POP
00001f79: PUSH2 0x1f8d
00001f7c: PUSH1 0x01
00001f7e: PUSH2 0x1f87
00001f81: DUP4
00001f82: DUP6
00001f83: PUSH2 0x2870
00001f86: JUMP
00001f87: JUMPDEST
00001f88: SWAP1
00001f89: PUSH2 0x2252
00001f8c: JUMP
00001f8d: JUMPDEST
00001f8e: SWAP7
00001f8f: SWAP6
00001f90: POP
00001f91: POP
00001f92: POP
00001f93: POP
00001f94: POP
00001f95: POP
00001f96: JUMP
00001f97: JUMPDEST
00001f98: PUSH1 0x00
00001f9a: DUP1
00001f9b: DUP3
00001f9c: PUSH1 0x01
00001f9e: PUSH1 0x01
00001fa0: PUSH1 0xa0
00001fa2: SHL
00001fa3: SUB
00001fa4: AND
00001fa5: DUP5
00001fa6: PUSH1 0x01
00001fa8: PUSH1 0x01
00001faa: PUSH1 0xa0
00001fac: SHL
00001fad: SUB
00001fae: AND
00001faf: SUB
00001fb0: PUSH2 0x203b
00001fb3: JUMPI
00001fb4: PUSH1 0x40
00001fb6: MLOAD
00001fb7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001fd8: DUP2
00001fd9: MSTORE
00001fda: PUSH1 0x20
00001fdc: PUSH1 0x04
00001fde: DUP3
00001fdf: ADD
00001fe0: MSTORE
00001fe1: PUSH1 0x25
00001fe3: PUSH1 0x24
00001fe5: DUP3
00001fe6: ADD
00001fe7: MSTORE
00001fe8: PUSH32 0x556e697377617056324c6962726172793a204944454e544943414c5f41444452
00002009: PUSH1 0x44
0000200b: DUP3
0000200c: ADD
0000200d: MSTORE
0000200e: PUSH32 0x4553534553000000000000000000000000000000000000000000000000000000
0000202f: PUSH1 0x64
00002031: DUP3
00002032: ADD
00002033: MSTORE
00002034: PUSH1 0x84
00002036: ADD
00002037: PUSH2 0x087d
0000203a: JUMP
0000203b: JUMPDEST
0000203c: DUP3
0000203d: PUSH1 0x01
0000203f: PUSH1 0x01
00002041: PUSH1 0xa0
00002043: SHL
00002044: SUB
00002045: AND
00002046: DUP5
00002047: PUSH1 0x01
00002049: PUSH1 0x01
0000204b: PUSH1 0xa0
0000204d: SHL
0000204e: SUB
0000204f: AND
00002050: LT
00002051: PUSH2 0x205b
00002054: JUMPI
00002055: DUP3
00002056: DUP5
00002057: PUSH2 0x205e
0000205a: JUMP
0000205b: JUMPDEST
0000205c: DUP4
0000205d: DUP4
0000205e: JUMPDEST
0000205f: SWAP1
00002060: SWAP3
00002061: POP
00002062: SWAP1
00002063: POP
00002064: PUSH1 0x01
00002066: PUSH1 0x01
00002068: PUSH1 0xa0
0000206a: SHL
0000206b: SUB
0000206c: DUP3
0000206d: AND
0000206e: PUSH2 0x20d3
00002071: JUMPI
00002072: PUSH1 0x40
00002074: MLOAD
00002075: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002096: DUP2
00002097: MSTORE
00002098: PUSH1 0x20
0000209a: PUSH1 0x04
0000209c: DUP3
0000209d: ADD
0000209e: MSTORE
0000209f: PUSH1 0x1e
000020a1: PUSH1 0x24
000020a3: DUP3
000020a4: ADD
000020a5: MSTORE
000020a6: PUSH32 0x556e697377617056324c6962726172793a205a45524f5f414444524553530000
000020c7: PUSH1 0x44
000020c9: DUP3
000020ca: ADD
000020cb: MSTORE
000020cc: PUSH1 0x64
000020ce: ADD
000020cf: PUSH2 0x087d
000020d2: JUMP
000020d3: JUMPDEST
000020d4: SWAP3
000020d5: POP
000020d6: SWAP3
000020d7: SWAP1
000020d8: POP
000020d9: JUMP
000020da: JUMPDEST
000020db: PUSH1 0x00
000020dd: PUSH2 0x1328
000020e0: DUP3
000020e1: DUP5
000020e2: PUSH2 0x2638
000020e5: JUMP
000020e6: JUMPDEST
000020e7: PUSH1 0x00
000020e9: DUP1
000020ea: PUSH2 0x20f5
000020ed: DUP6
000020ee: PUSH2 0x03e5
000020f1: PUSH2 0x131c
000020f4: JUMP
000020f5: JUMPDEST
000020f6: SWAP1
000020f7: POP
000020f8: PUSH1 0x00
000020fa: PUSH2 0x2103
000020fd: DUP3
000020fe: DUP6
000020ff: PUSH2 0x131c
00002102: JUMP
00002103: JUMPDEST
00002104: SWAP1
00002105: POP
00002106: PUSH1 0x00
00002108: PUSH2 0x2117
0000210b: DUP4
0000210c: PUSH2 0x1f87
0000210f: DUP9
00002110: PUSH2 0x03e8
00002113: PUSH2 0x131c
00002116: JUMP
00002117: JUMPDEST
00002118: SWAP1
00002119: POP
0000211a: PUSH2 0x2123
0000211d: DUP2
0000211e: DUP4
0000211f: PUSH2 0x2870
00002122: JUMP
00002123: JUMPDEST
00002124: SWAP8
00002125: SWAP7
00002126: POP
00002127: POP
00002128: POP
00002129: POP
0000212a: POP
0000212b: POP
0000212c: POP
0000212d: JUMP
0000212e: JUMPDEST
0000212f: PUSH1 0x60
00002131: DUP2
00002132: MLOAD
00002133: PUSH8 0xffffffffffffffff
0000213c: DUP2
0000213d: GT
0000213e: ISZERO
0000213f: PUSH2 0x214a
00002142: JUMPI
00002143: PUSH2 0x214a
00002146: PUSH2 0x22ac
00002149: JUMP
0000214a: JUMPDEST
0000214b: PUSH1 0x40
0000214d: MLOAD
0000214e: SWAP1
0000214f: DUP1
00002150: DUP3
00002151: MSTORE
00002152: DUP1
00002153: PUSH1 0x20
00002155: MUL
00002156: PUSH1 0x20
00002158: ADD
00002159: DUP3
0000215a: ADD
0000215b: PUSH1 0x40
0000215d: MSTORE
0000215e: DUP1
0000215f: ISZERO
00002160: PUSH2 0x2173
00002163: JUMPI
00002164: DUP2
00002165: PUSH1 0x20
00002167: ADD
00002168: PUSH1 0x20
0000216a: DUP3
0000216b: MUL
0000216c: DUP1
0000216d: CALLDATASIZE
0000216e: DUP4
0000216f: CALLDATACOPY
00002170: ADD
00002171: SWAP1
00002172: POP
00002173: JUMPDEST
00002174: POP
00002175: SWAP1
00002176: POP
00002177: DUP3
00002178: DUP2
00002179: PUSH1 0x00
0000217b: DUP2
0000217c: MLOAD
0000217d: DUP2
0000217e: LT
0000217f: PUSH2 0x218a
00002182: JUMPI
00002183: PUSH2 0x218a
00002186: PUSH2 0x25c1
00002189: JUMP
0000218a: JUMPDEST
0000218b: PUSH1 0x20
0000218d: MUL
0000218e: PUSH1 0x20
00002190: ADD
00002191: ADD
00002192: DUP2
00002193: DUP2
00002194: MSTORE
00002195: POP
00002196: POP
00002197: PUSH1 0x00
00002199: JUMPDEST
0000219a: PUSH1 0x01
0000219c: DUP4
0000219d: MLOAD
0000219e: PUSH2 0x21a7
000021a1: SWAP2
000021a2: SWAP1
000021a3: PUSH2 0x2638
000021a6: JUMP
000021a7: JUMPDEST
000021a8: DUP2
000021a9: LT
000021aa: ISZERO
000021ab: PUSH2 0x0d82
000021ae: JUMPI
000021af: PUSH1 0x00
000021b1: DUP1
000021b2: PUSH2 0x21ed
000021b5: DUP8
000021b6: DUP7
000021b7: DUP6
000021b8: DUP2
000021b9: MLOAD
000021ba: DUP2
000021bb: LT
000021bc: PUSH2 0x21c7
000021bf: JUMPI
000021c0: PUSH2 0x21c7
000021c3: PUSH2 0x25c1
000021c6: JUMP
000021c7: JUMPDEST
000021c8: PUSH1 0x20
000021ca: MUL
000021cb: PUSH1 0x20
000021cd: ADD
000021ce: ADD
000021cf: MLOAD
000021d0: DUP8
000021d1: DUP7
000021d2: PUSH1 0x01
000021d4: PUSH2 0x21dd
000021d7: SWAP2
000021d8: SWAP1
000021d9: PUSH2 0x27d7
000021dc: JUMP
000021dd: JUMPDEST
000021de: DUP2
000021df: MLOAD
000021e0: DUP2
000021e1: LT
000021e2: PUSH2 0x0d10
000021e5: JUMPI
000021e6: PUSH2 0x0d10
000021e9: PUSH2 0x25c1
000021ec: JUMP
000021ed: JUMPDEST
000021ee: SWAP2
000021ef: POP
000021f0: SWAP2
000021f1: POP
000021f2: PUSH2 0x2215
000021f5: DUP5
000021f6: DUP5
000021f7: DUP2
000021f8: MLOAD
000021f9: DUP2
000021fa: LT
000021fb: PUSH2 0x2206
000021fe: JUMPI
000021ff: PUSH2 0x2206
00002202: PUSH2 0x25c1
00002205: JUMP
00002206: JUMPDEST
00002207: PUSH1 0x20
00002209: MUL
0000220a: PUSH1 0x20
0000220c: ADD
0000220d: ADD
0000220e: MLOAD
0000220f: DUP4
00002210: DUP4
00002211: PUSH2 0x20e6
00002214: JUMP
00002215: JUMPDEST
00002216: DUP5
00002217: PUSH2 0x2221
0000221a: DUP6
0000221b: PUSH1 0x01
0000221d: PUSH2 0x27d7
00002220: JUMP
00002221: JUMPDEST
00002222: DUP2
00002223: MLOAD
00002224: DUP2
00002225: LT
00002226: PUSH2 0x2231
00002229: JUMPI
0000222a: PUSH2 0x2231
0000222d: PUSH2 0x25c1
00002230: JUMP
00002231: JUMPDEST
00002232: PUSH1 0x20
00002234: MUL
00002235: PUSH1 0x20
00002237: ADD
00002238: ADD
00002239: DUP2
0000223a: DUP2
0000223b: MSTORE
0000223c: POP
0000223d: POP
0000223e: POP
0000223f: POP
00002240: DUP1
00002241: DUP1
00002242: PUSH2 0x224a
00002245: SWAP1
00002246: PUSH2 0x272a
00002249: JUMP
0000224a: JUMPDEST
0000224b: SWAP2
0000224c: POP
0000224d: POP
0000224e: PUSH2 0x2199
00002251: JUMP
00002252: JUMPDEST
00002253: PUSH1 0x00
00002255: PUSH2 0x1328
00002258: DUP3
00002259: DUP5
0000225a: PUSH2 0x27d7
0000225d: JUMP
0000225e: JUMPDEST
0000225f: PUSH1 0x01
00002261: PUSH1 0x01
00002263: PUSH1 0xa0
00002265: SHL
00002266: SUB
00002267: DUP2
00002268: AND
00002269: DUP2
0000226a: EQ
0000226b: PUSH2 0x0bcf
0000226e: JUMPI
0000226f: PUSH1 0x00
00002271: DUP1
00002272: REVERT
00002273: JUMPDEST
00002274: PUSH1 0x00
00002276: DUP1
00002277: PUSH1 0x40
00002279: DUP4
0000227a: DUP6
0000227b: SUB
0000227c: SLT
0000227d: ISZERO
0000227e: PUSH2 0x2286
00002281: JUMPI
00002282: PUSH1 0x00
00002284: DUP1
00002285: REVERT
00002286: JUMPDEST
00002287: DUP3
00002288: CALLDATALOAD
00002289: PUSH2 0x2291
0000228c: DUP2
0000228d: PUSH2 0x225e
00002290: JUMP
00002291: JUMPDEST
00002292: SWAP2
00002293: POP
00002294: PUSH1 0x20
00002296: DUP4
00002297: ADD
00002298: CALLDATALOAD
00002299: PUSH2 0x22a1
0000229c: DUP2
0000229d: PUSH2 0x225e
000022a0: JUMP
000022a1: JUMPDEST
000022a2: DUP1
000022a3: SWAP2
000022a4: POP
000022a5: POP
000022a6: SWAP3
000022a7: POP
000022a8: SWAP3
000022a9: SWAP1
000022aa: POP
000022ab: JUMP
000022ac: JUMPDEST
000022ad: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000022ce: PUSH1 0x00
000022d0: MSTORE
000022d1: PUSH1 0x41
000022d3: PUSH1 0x04
000022d5: MSTORE
000022d6: PUSH1 0x24
000022d8: PUSH1 0x00
000022da: REVERT
000022db: JUMPDEST
000022dc: PUSH1 0x00
000022de: DUP3
000022df: PUSH1 0x1f
000022e1: DUP4
000022e2: ADD
000022e3: SLT
000022e4: PUSH2 0x22ec
000022e7: JUMPI
000022e8: PUSH1 0x00
000022ea: DUP1
000022eb: REVERT
000022ec: JUMPDEST
000022ed: DUP2
000022ee: CALLDATALOAD
000022ef: PUSH1 0x20
000022f1: PUSH8 0xffffffffffffffff
000022fa: DUP1
000022fb: DUP4
000022fc: GT
000022fd: ISZERO
000022fe: PUSH2 0x2309
00002301: JUMPI
00002302: PUSH2 0x2309
00002305: PUSH2 0x22ac
00002308: JUMP
00002309: JUMPDEST
0000230a: DUP3
0000230b: PUSH1 0x05
0000230d: SHL
0000230e: PUSH1 0x40
00002310: MLOAD
00002311: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002332: PUSH1 0x3f
00002334: DUP4
00002335: ADD
00002336: AND
00002337: DUP2
00002338: ADD
00002339: DUP2
0000233a: DUP2
0000233b: LT
0000233c: DUP5
0000233d: DUP3
0000233e: GT
0000233f: OR
00002340: ISZERO
00002341: PUSH2 0x234c
00002344: JUMPI
00002345: PUSH2 0x234c
00002348: PUSH2 0x22ac
0000234b: JUMP
0000234c: JUMPDEST
0000234d: PUSH1 0x40
0000234f: MSTORE
00002350: SWAP4
00002351: DUP5
00002352: MSTORE
00002353: DUP6
00002354: DUP2
00002355: ADD
00002356: DUP4
00002357: ADD
00002358: SWAP4
00002359: DUP4
0000235a: DUP2
0000235b: ADD
0000235c: SWAP3
0000235d: POP
0000235e: DUP8
0000235f: DUP6
00002360: GT
00002361: ISZERO
00002362: PUSH2 0x236a
00002365: JUMPI
00002366: PUSH1 0x00
00002368: DUP1
00002369: REVERT
0000236a: JUMPDEST
0000236b: DUP4
0000236c: DUP8
0000236d: ADD
0000236e: SWAP2
0000236f: POP
00002370: JUMPDEST
00002371: DUP5
00002372: DUP3
00002373: LT
00002374: ISZERO
00002375: PUSH2 0x2123
00002378: JUMPI
00002379: DUP2
0000237a: CALLDATALOAD
0000237b: PUSH2 0x2383
0000237e: DUP2
0000237f: PUSH2 0x225e
00002382: JUMP
00002383: JUMPDEST
00002384: DUP4
00002385: MSTORE
00002386: SWAP2
00002387: DUP4
00002388: ADD
00002389: SWAP2
0000238a: SWAP1
0000238b: DUP4
0000238c: ADD
0000238d: SWAP1
0000238e: PUSH2 0x2370
00002391: JUMP
00002392: JUMPDEST
00002393: PUSH1 0x00
00002395: DUP1
00002396: PUSH1 0x00
00002398: PUSH1 0x60
0000239a: DUP5
0000239b: DUP7
0000239c: SUB
0000239d: SLT
0000239e: ISZERO
0000239f: PUSH2 0x23a7
000023a2: JUMPI
000023a3: PUSH1 0x00
000023a5: DUP1
000023a6: REVERT
000023a7: JUMPDEST
000023a8: DUP4
000023a9: CALLDATALOAD
000023aa: PUSH2 0x23b2
000023ad: DUP2
000023ae: PUSH2 0x225e
000023b1: JUMP
000023b2: JUMPDEST
000023b3: SWAP3
000023b4: POP
000023b5: PUSH1 0x20
000023b7: DUP5
000023b8: ADD
000023b9: CALLDATALOAD
000023ba: SWAP2
000023bb: POP
000023bc: PUSH1 0x40
000023be: DUP5
000023bf: ADD
000023c0: CALLDATALOAD
000023c1: PUSH8 0xffffffffffffffff
000023ca: DUP2
000023cb: GT
000023cc: ISZERO
000023cd: PUSH2 0x23d5
000023d0: JUMPI
000023d1: PUSH1 0x00
000023d3: DUP1
000023d4: REVERT
000023d5: JUMPDEST
000023d6: PUSH2 0x23e1
000023d9: DUP7
000023da: DUP3
000023db: DUP8
000023dc: ADD
000023dd: PUSH2 0x22db
000023e0: JUMP
000023e1: JUMPDEST
000023e2: SWAP2
000023e3: POP
000023e4: POP
000023e5: SWAP3
000023e6: POP
000023e7: SWAP3
000023e8: POP
000023e9: SWAP3
000023ea: JUMP
000023eb: JUMPDEST
000023ec: PUSH1 0x00
000023ee: PUSH1 0x80
000023f0: DUP3
000023f1: DUP5
000023f2: SUB
000023f3: SLT
000023f4: ISZERO
000023f5: PUSH2 0x23fd
000023f8: JUMPI
000023f9: PUSH1 0x00
000023fb: DUP1
000023fc: REVERT
000023fd: JUMPDEST
000023fe: POP
000023ff: SWAP2
00002400: SWAP1
00002401: POP
00002402: JUMP
00002403: JUMPDEST
00002404: PUSH1 0x00
00002406: DUP1
00002407: DUP4
00002408: PUSH1 0x1f
0000240a: DUP5
0000240b: ADD
0000240c: SLT
0000240d: PUSH2 0x2415
00002410: JUMPI
00002411: PUSH1 0x00
00002413: DUP1
00002414: REVERT
00002415: JUMPDEST
00002416: POP
00002417: DUP2
00002418: CALLDATALOAD
00002419: PUSH8 0xffffffffffffffff
00002422: DUP2
00002423: GT
00002424: ISZERO
00002425: PUSH2 0x242d
00002428: JUMPI
00002429: PUSH1 0x00
0000242b: DUP1
0000242c: REVERT
0000242d: JUMPDEST
0000242e: PUSH1 0x20
00002430: DUP4
00002431: ADD
00002432: SWAP2
00002433: POP
00002434: DUP4
00002435: PUSH1 0x20
00002437: DUP3
00002438: PUSH1 0x05
0000243a: SHL
0000243b: DUP6
0000243c: ADD
0000243d: ADD
0000243e: GT
0000243f: ISZERO
00002440: PUSH2 0x20d3
00002443: JUMPI
00002444: PUSH1 0x00
00002446: DUP1
00002447: REVERT
00002448: JUMPDEST
00002449: PUSH1 0x00
0000244b: DUP1
0000244c: PUSH1 0x00
0000244e: DUP1
0000244f: PUSH1 0xc0
00002451: DUP6
00002452: DUP8
00002453: SUB
00002454: SLT
00002455: ISZERO
00002456: PUSH2 0x245e
00002459: JUMPI
0000245a: PUSH1 0x00
0000245c: DUP1
0000245d: REVERT
0000245e: JUMPDEST
0000245f: PUSH2 0x2468
00002462: DUP7
00002463: DUP7
00002464: PUSH2 0x23eb
00002467: JUMP
00002468: JUMPDEST
00002469: SWAP4
0000246a: POP
0000246b: PUSH1 0x80
0000246d: DUP6
0000246e: ADD
0000246f: CALLDATALOAD
00002470: PUSH8 0xffffffffffffffff
00002479: DUP1
0000247a: DUP3
0000247b: GT
0000247c: ISZERO
0000247d: PUSH2 0x2485
00002480: JUMPI
00002481: PUSH1 0x00
00002483: DUP1
00002484: REVERT
00002485: JUMPDEST
00002486: PUSH2 0x2491
00002489: DUP9
0000248a: DUP4
0000248b: DUP10
0000248c: ADD
0000248d: PUSH2 0x2403
00002490: JUMP
00002491: JUMPDEST
00002492: SWAP1
00002493: SWAP6
00002494: POP
00002495: SWAP4
00002496: POP
00002497: PUSH1 0xa0
00002499: DUP8
0000249a: ADD
0000249b: CALLDATALOAD
0000249c: SWAP2
0000249d: POP
0000249e: DUP1
0000249f: DUP3
000024a0: GT
000024a1: ISZERO
000024a2: PUSH2 0x24aa
000024a5: JUMPI
000024a6: PUSH1 0x00
000024a8: DUP1
000024a9: REVERT
000024aa: JUMPDEST
000024ab: POP
000024ac: PUSH2 0x24b7
000024af: DUP8
000024b0: DUP3
000024b1: DUP9
000024b2: ADD
000024b3: PUSH2 0x22db
000024b6: JUMP
000024b7: JUMPDEST
000024b8: SWAP2
000024b9: POP
000024ba: POP
000024bb: SWAP3
000024bc: SWAP6
000024bd: SWAP2
000024be: SWAP5
000024bf: POP
000024c0: SWAP3
000024c1: POP
000024c2: JUMP
000024c3: JUMPDEST
000024c4: PUSH1 0x00
000024c6: DUP1
000024c7: PUSH1 0x00
000024c9: DUP1
000024ca: PUSH1 0x00
000024cc: PUSH1 0xe0
000024ce: DUP7
000024cf: DUP9
000024d0: SUB
000024d1: SLT
000024d2: ISZERO
000024d3: PUSH2 0x24db
000024d6: JUMPI
000024d7: PUSH1 0x00
000024d9: DUP1
000024da: REVERT
000024db: JUMPDEST
000024dc: DUP6
000024dd: CALLDATALOAD
000024de: PUSH2 0x24e6
000024e1: DUP2
000024e2: PUSH2 0x225e
000024e5: JUMP
000024e6: JUMPDEST
000024e7: SWAP5
000024e8: POP
000024e9: PUSH2 0x24f5
000024ec: DUP8
000024ed: PUSH1 0x20
000024ef: DUP9
000024f0: ADD
000024f1: PUSH2 0x23eb
000024f4: JUMP
000024f5: JUMPDEST
000024f6: SWAP4
000024f7: POP
000024f8: PUSH1 0xa0
000024fa: DUP7
000024fb: ADD
000024fc: CALLDATALOAD
000024fd: SWAP3
000024fe: POP
000024ff: PUSH1 0xc0
00002501: DUP7
00002502: ADD
00002503: CALLDATALOAD
00002504: PUSH8 0xffffffffffffffff
0000250d: DUP2
0000250e: GT
0000250f: ISZERO
00002510: PUSH2 0x2518
00002513: JUMPI
00002514: PUSH1 0x00
00002516: DUP1
00002517: REVERT
00002518: JUMPDEST
00002519: PUSH2 0x2524
0000251c: DUP9
0000251d: DUP3
0000251e: DUP10
0000251f: ADD
00002520: PUSH2 0x2403
00002523: JUMP
00002524: JUMPDEST
00002525: SWAP7
00002526: SWAP10
00002527: SWAP6
00002528: SWAP9
00002529: POP
0000252a: SWAP4
0000252b: SWAP7
0000252c: POP
0000252d: SWAP3
0000252e: SWAP5
0000252f: SWAP4
00002530: SWAP3
00002531: POP
00002532: POP
00002533: POP
00002534: JUMP
00002535: JUMPDEST
00002536: PUSH1 0x00
00002538: PUSH1 0x20
0000253a: DUP3
0000253b: DUP5
0000253c: SUB
0000253d: SLT
0000253e: ISZERO
0000253f: PUSH2 0x2547
00002542: JUMPI
00002543: PUSH1 0x00
00002545: DUP1
00002546: REVERT
00002547: JUMPDEST
00002548: DUP2
00002549: CALLDATALOAD
0000254a: PUSH2 0x2552
0000254d: DUP2
0000254e: PUSH2 0x225e
00002551: JUMP
00002552: JUMPDEST
00002553: SWAP4
00002554: SWAP3
00002555: POP
00002556: POP
00002557: POP
00002558: JUMP
00002559: JUMPDEST
0000255a: PUSH1 0x00
0000255c: PUSH1 0x20
0000255e: DUP3
0000255f: DUP5
00002560: SUB
00002561: SLT
00002562: ISZERO
00002563: PUSH2 0x256b
00002566: JUMPI
00002567: PUSH1 0x00
00002569: DUP1
0000256a: REVERT
0000256b: JUMPDEST
0000256c: DUP2
0000256d: CALLDATALOAD
0000256e: PUSH8 0xffffffffffffffff
00002577: DUP2
00002578: GT
00002579: ISZERO
0000257a: PUSH2 0x2582
0000257d: JUMPI
0000257e: PUSH1 0x00
00002580: DUP1
00002581: REVERT
00002582: JUMPDEST
00002583: PUSH2 0x258e
00002586: DUP5
00002587: DUP3
00002588: DUP6
00002589: ADD
0000258a: PUSH2 0x22db
0000258d: JUMP
0000258e: JUMPDEST
0000258f: SWAP5
00002590: SWAP4
00002591: POP
00002592: POP
00002593: POP
00002594: POP
00002595: JUMP
00002596: JUMPDEST
00002597: DUP1
00002598: ISZERO
00002599: ISZERO
0000259a: DUP2
0000259b: EQ
0000259c: PUSH2 0x0bcf
0000259f: JUMPI
000025a0: PUSH1 0x00
000025a2: DUP1
000025a3: REVERT
000025a4: JUMPDEST
000025a5: PUSH1 0x00
000025a7: PUSH1 0x20
000025a9: DUP3
000025aa: DUP5
000025ab: SUB
000025ac: SLT
000025ad: ISZERO
000025ae: PUSH2 0x25b6
000025b1: JUMPI
000025b2: PUSH1 0x00
000025b4: DUP1
000025b5: REVERT
000025b6: JUMPDEST
000025b7: DUP2
000025b8: MLOAD
000025b9: PUSH2 0x2552
000025bc: DUP2
000025bd: PUSH2 0x2596
000025c0: JUMP
000025c1: JUMPDEST
000025c2: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000025e3: PUSH1 0x00
000025e5: MSTORE
000025e6: PUSH1 0x32
000025e8: PUSH1 0x04
000025ea: MSTORE
000025eb: PUSH1 0x24
000025ed: PUSH1 0x00
000025ef: REVERT
000025f0: JUMPDEST
000025f1: PUSH1 0x00
000025f3: PUSH1 0x20
000025f5: DUP3
000025f6: DUP5
000025f7: SUB
000025f8: SLT
000025f9: ISZERO
000025fa: PUSH2 0x2602
000025fd: JUMPI
000025fe: PUSH1 0x00
00002600: DUP1
00002601: REVERT
00002602: JUMPDEST
00002603: POP
00002604: MLOAD
00002605: SWAP2
00002606: SWAP1
00002607: POP
00002608: JUMP
00002609: JUMPDEST
0000260a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000262b: PUSH1 0x00
0000262d: MSTORE
0000262e: PUSH1 0x11
00002630: PUSH1 0x04
00002632: MSTORE
00002633: PUSH1 0x24
00002635: PUSH1 0x00
00002637: REVERT
00002638: JUMPDEST
00002639: DUP2
0000263a: DUP2
0000263b: SUB
0000263c: DUP2
0000263d: DUP2
0000263e: GT
0000263f: ISZERO
00002640: PUSH2 0x132b
00002643: JUMPI
00002644: PUSH2 0x132b
00002647: PUSH2 0x2609
0000264a: JUMP
0000264b: JUMPDEST
0000264c: PUSH1 0x00
0000264e: PUSH1 0x80
00002650: DUP3
00002651: DUP5
00002652: SUB
00002653: SLT
00002654: ISZERO
00002655: PUSH2 0x265d
00002658: JUMPI
00002659: PUSH1 0x00
0000265b: DUP1
0000265c: REVERT
0000265d: JUMPDEST
0000265e: PUSH1 0x40
00002660: MLOAD
00002661: PUSH1 0x80
00002663: DUP2
00002664: ADD
00002665: DUP2
00002666: DUP2
00002667: LT
00002668: PUSH8 0xffffffffffffffff
00002671: DUP3
00002672: GT
00002673: OR
00002674: ISZERO
00002675: PUSH2 0x2680
00002678: JUMPI
00002679: PUSH2 0x2680
0000267c: PUSH2 0x22ac
0000267f: JUMP
00002680: JUMPDEST
00002681: DUP1
00002682: PUSH1 0x40
00002684: MSTORE
00002685: POP
00002686: DUP3
00002687: CALLDATALOAD
00002688: DUP2
00002689: MSTORE
0000268a: PUSH1 0x20
0000268c: DUP4
0000268d: ADD
0000268e: CALLDATALOAD
0000268f: PUSH1 0x20
00002691: DUP3
00002692: ADD
00002693: MSTORE
00002694: PUSH1 0x40
00002696: DUP4
00002697: ADD
00002698: CALLDATALOAD
00002699: PUSH1 0x40
0000269b: DUP3
0000269c: ADD
0000269d: MSTORE
0000269e: PUSH1 0x60
000026a0: DUP4
000026a1: ADD
000026a2: CALLDATALOAD
000026a3: PUSH2 0x26ab
000026a6: DUP2
000026a7: PUSH2 0x2596
000026aa: JUMP
000026ab: JUMPDEST
000026ac: PUSH1 0x60
000026ae: DUP3
000026af: ADD
000026b0: MSTORE
000026b1: SWAP4
000026b2: SWAP3
000026b3: POP
000026b4: POP
000026b5: POP
000026b6: JUMP
000026b7: JUMPDEST
000026b8: DUP1
000026b9: MLOAD
000026ba: PUSH14 0xffffffffffffffffffffffffffff
000026c9: DUP2
000026ca: AND
000026cb: DUP2
000026cc: EQ
000026cd: PUSH2 0x26d5
000026d0: JUMPI
000026d1: PUSH1 0x00
000026d3: DUP1
000026d4: REVERT
000026d5: JUMPDEST
000026d6: SWAP2
000026d7: SWAP1
000026d8: POP
000026d9: JUMP
000026da: JUMPDEST
000026db: PUSH1 0x00
000026dd: DUP1
000026de: PUSH1 0x00
000026e0: PUSH1 0x60
000026e2: DUP5
000026e3: DUP7
000026e4: SUB
000026e5: SLT
000026e6: ISZERO
000026e7: PUSH2 0x26ef
000026ea: JUMPI
000026eb: PUSH1 0x00
000026ed: DUP1
000026ee: REVERT
000026ef: JUMPDEST
000026f0: PUSH2 0x26f8
000026f3: DUP5
000026f4: PUSH2 0x26b7
000026f7: JUMP
000026f8: JUMPDEST
000026f9: SWAP3
000026fa: POP
000026fb: PUSH2 0x2706
000026fe: PUSH1 0x20
00002700: DUP6
00002701: ADD
00002702: PUSH2 0x26b7
00002705: JUMP
00002706: JUMPDEST
00002707: SWAP2
00002708: POP
00002709: PUSH1 0x40
0000270b: DUP5
0000270c: ADD
0000270d: MLOAD
0000270e: PUSH4 0xffffffff
00002713: DUP2
00002714: AND
00002715: DUP2
00002716: EQ
00002717: PUSH2 0x271f
0000271a: JUMPI
0000271b: PUSH1 0x00
0000271d: DUP1
0000271e: REVERT
0000271f: JUMPDEST
00002720: DUP1
00002721: SWAP2
00002722: POP
00002723: POP
00002724: SWAP3
00002725: POP
00002726: SWAP3
00002727: POP
00002728: SWAP3
00002729: JUMP
0000272a: JUMPDEST
0000272b: PUSH1 0x00
0000272d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000274e: DUP3
0000274f: SUB
00002750: PUSH2 0x275b
00002753: JUMPI
00002754: PUSH2 0x275b
00002757: PUSH2 0x2609
0000275a: JUMP
0000275b: JUMPDEST
0000275c: POP
0000275d: PUSH1 0x01
0000275f: ADD
00002760: SWAP1
00002761: JUMP
00002762: JUMPDEST
00002763: PUSH1 0x00
00002765: DUP2
00002766: PUSH2 0x2771
00002769: JUMPI
0000276a: PUSH2 0x2771
0000276d: PUSH2 0x2609
00002770: JUMP
00002771: JUMPDEST
00002772: POP
00002773: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002794: ADD
00002795: SWAP1
00002796: JUMP
00002797: JUMPDEST
00002798: PUSH1 0x00
0000279a: JUMPDEST
0000279b: DUP4
0000279c: DUP2
0000279d: LT
0000279e: ISZERO
0000279f: PUSH2 0x27b2
000027a2: JUMPI
000027a3: DUP2
000027a4: DUP2
000027a5: ADD
000027a6: MLOAD
000027a7: DUP4
000027a8: DUP3
000027a9: ADD
000027aa: MSTORE
000027ab: PUSH1 0x20
000027ad: ADD
000027ae: PUSH2 0x279a
000027b1: JUMP
000027b2: JUMPDEST
000027b3: POP
000027b4: POP
000027b5: PUSH1 0x00
000027b7: SWAP2
000027b8: ADD
000027b9: MSTORE
000027ba: JUMP
000027bb: JUMPDEST
000027bc: PUSH1 0x00
000027be: DUP3
000027bf: MLOAD
000027c0: PUSH2 0x27cd
000027c3: DUP2
000027c4: DUP5
000027c5: PUSH1 0x20
000027c7: DUP8
000027c8: ADD
000027c9: PUSH2 0x2797
000027cc: JUMP
000027cd: JUMPDEST
000027ce: SWAP2
000027cf: SWAP1
000027d0: SWAP2
000027d1: ADD
000027d2: SWAP3
000027d3: SWAP2
000027d4: POP
000027d5: POP
000027d6: JUMP
000027d7: JUMPDEST
000027d8: DUP1
000027d9: DUP3
000027da: ADD
000027db: DUP1
000027dc: DUP3
000027dd: GT
000027de: ISZERO
000027df: PUSH2 0x132b
000027e2: JUMPI
000027e3: PUSH2 0x132b
000027e6: PUSH2 0x2609
000027e9: JUMP
000027ea: JUMPDEST
000027eb: DUP5
000027ec: DUP2
000027ed: MSTORE
000027ee: DUP4
000027ef: PUSH1 0x20
000027f1: DUP3
000027f2: ADD
000027f3: MSTORE
000027f4: PUSH1 0x01
000027f6: PUSH1 0x01
000027f8: PUSH1 0xa0
000027fa: SHL
000027fb: SUB
000027fc: DUP4
000027fd: AND
000027fe: PUSH1 0x40
00002800: DUP3
00002801: ADD
00002802: MSTORE
00002803: PUSH1 0x80
00002805: PUSH1 0x60
00002807: DUP3
00002808: ADD
00002809: MSTORE
0000280a: PUSH1 0x00
0000280c: DUP3
0000280d: MLOAD
0000280e: DUP1
0000280f: PUSH1 0x80
00002811: DUP5
00002812: ADD
00002813: MSTORE
00002814: PUSH2 0x2824
00002817: DUP2
00002818: PUSH1 0xa0
0000281a: DUP6
0000281b: ADD
0000281c: PUSH1 0x20
0000281e: DUP8
0000281f: ADD
00002820: PUSH2 0x2797
00002823: JUMP
00002824: JUMPDEST
00002825: PUSH1 0x1f
00002827: ADD
00002828: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002849: AND
0000284a: SWAP2
0000284b: SWAP1
0000284c: SWAP2
0000284d: ADD
0000284e: PUSH1 0xa0
00002850: ADD
00002851: SWAP6
00002852: SWAP5
00002853: POP
00002854: POP
00002855: POP
00002856: POP
00002857: POP
00002858: JUMP
00002859: JUMPDEST
0000285a: DUP1
0000285b: DUP3
0000285c: MUL
0000285d: DUP2
0000285e: ISZERO
0000285f: DUP3
00002860: DUP3
00002861: DIV
00002862: DUP5
00002863: EQ
00002864: OR
00002865: PUSH2 0x132b
00002868: JUMPI
00002869: PUSH2 0x132b
0000286c: PUSH2 0x2609
0000286f: JUMP
00002870: JUMPDEST
00002871: PUSH1 0x00
00002873: DUP3
00002874: PUSH2 0x28a6
00002877: JUMPI
00002878: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002899: PUSH1 0x00
0000289b: MSTORE
0000289c: PUSH1 0x12
0000289e: PUSH1 0x04
000028a0: MSTORE
000028a1: PUSH1 0x24
000028a3: PUSH1 0x00
000028a5: REVERT
000028a6: JUMPDEST
000028a7: POP
000028a8: DIV
000028a9: SWAP1
000028aa: JUMP
000028ab: JUMPDEST
000028ac: PUSH1 0x00
000028ae: PUSH1 0x20
000028b0: DUP3
000028b1: DUP5
000028b2: SUB
000028b3: SLT
000028b4: ISZERO
000028b5: PUSH2 0x28bd
000028b8: JUMPI
000028b9: PUSH1 0x00
000028bb: DUP1
000028bc: REVERT
000028bd: JUMPDEST
000028be: DUP2
000028bf: MLOAD
000028c0: PUSH2 0x2552
000028c3: DUP2
000028c4: PUSH2 0x225e
000028c7: JUMP
000028c8: JUMPDEST
000028c9: PUSH1 0x00
000028cb: PUSH1 0x20
000028cd: DUP3
000028ce: DUP5
000028cf: SUB
000028d0: SLT
000028d1: ISZERO
000028d2: PUSH2 0x28da
000028d5: JUMPI
000028d6: PUSH1 0x00
000028d8: DUP1
000028d9: REVERT
000028da: JUMPDEST
000028db: DUP2
000028dc: CALLDATALOAD
000028dd: PUSH2 0x2552
000028e0: DUP2
000028e1: PUSH2 0x2596
000028e4: JUMP
000028e5: INVALID
000028e6: LOG2
000028e7: PUSH5 0x6970667358
000028ed: UNKNOWN(0x22)
000028ee: SLT
000028ef: KECCAK256
000028f0: CALLDATACOPY
000028f1: ORIGIN
000028f2: TSTORE
000028f3: DELEGATECALL
000028f4: UNKNOWN(0xB9)
000028f5: PUSH23 0xdd71a3ac09560684bc0cddef1c0fbebb9151fa9c98243a
0000290d: UNKNOWN(0x2D)
0000290e: PUSH24