Analysis Run

[codex:946450] OpenAI Codex v0.77.0 (research preview)
[codex:946450] --------
[codex:946450] workdir: /tmp/codex-multi-erxj7lkh
[codex:946450] model: gpt-5.2-codex
[codex:946450] provider: openai
[codex:946450] approval: never
[codex:946450] sandbox: read-only
[codex:946450] reasoning effort: xhigh
[codex:946450] reasoning summaries: auto
[codex:946450] session id: 019b7b5e-51e6-7250-9046-ef7167793f6d
[codex:946450] --------
[codex:946450] user
[codex:946450] 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:946450] 
[codex:946450] Read `BYTECODE_BUNDLE.txt` completely before concluding.
[codex:946450] 
[codex:946450] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:946450] - Gas inefficiency, code quality, or best practices
[codex:946450] - Theoretical vulnerabilities without a clear extraction path
[codex:946450] - Generic footguns (unchecked return values, etc.) unless they enable theft
[codex:946450] - Issues requiring social engineering or off-chain coordination
[codex:946450] 
[codex:946450] PATTERNS WORTH INVESTIGATING in bytecode:
[codex:946450] - CALL/DELEGATECALL with controllable destination or calldata
[codex:946450] - Value transfers (CALL with non-zero value) without prior CALLER/ORIGIN checks
[codex:946450] - SSTORE to low slots (0-10) that might be owner/admin storage
[codex:946450] - ecrecover (signature validation) - look for missing nonce/replay protection
[codex:946450] - External calls before state updates (reentrancy)
[codex:946450] - SELFDESTRUCT with controllable beneficiary
[codex:946450] - Proxy patterns (DELEGATECALL to storage slot) with unprotected upgrade paths
[codex:946450] 
[codex:946450] For each finding, you MUST explain:
[codex:946450] 1. The specific bytecode pattern/offsets that indicate the vulnerability
[codex:946450] 2. The concrete sequence of transactions to extract value
[codex:946450] 3. Why you believe this is exploitable (not just suspicious)
[codex:946450] 
[codex:946450] If you cannot identify a concrete profit path from bytecode alone: set no_findings=true.
[codex:946450] Do NOT hallucinate. Bytecode-only analysis is limited - be honest about uncertainty.
[codex:946450] 
[codex:946450] Output MUST be valid JSON matching the provided schema.
[codex:946450] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:946450] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:946450] mcp startup: no servers
[codex:946450] 
[codex:946450] thinking
[codex:946450] **Preparing to read BYTECODE_BUNDLE**
[codex:946450] exec
[codex:946450] /bin/bash -lc ls in /tmp/codex-multi-erxj7lkh succeeded in 5ms:
[codex:946450] BYTECODE_BUNDLE.txt
[codex:946450] codex-output-schema.json
[codex:946450] exec
[codex:946450] /bin/bash -lc 'cat BYTECODE_BUNDLE.txt' in /tmp/codex-multi-erxj7lkh succeeded in 5ms:
[codex:946450] Runtime bytecode bundle for best-effort auditing.
[codex:946450] Note: without verified source, conclusions are low-confidence unless a concrete pattern is visible.
[codex:946450] 
[codex:946450] FILE: runtime_bytecode.hex
[codex:946450] 0x6080604052600436106100595760003560e01c8063150b7a02146100655780632e025ac5146100a25780638da5cb5b146100cb578063be798e74146100f6578063d529029614610133578063de6d6d961461015c57610060565b3661006057005b600080fd5b34801561007157600080fd5b5061008c60048036038101906100879190610929565b610185565b60405161009991906109e7565b60405180910390f35b3480156100ae57600080fd5b506100c960048036038101906100c49190610ab8565b610199565b005b3480156100d757600080fd5b506100e061030f565b6040516100ed9190610b5c565b60405180910390f35b34801561010257600080fd5b5061011d60048036038101906101189190610bcd565b610333565b60405161012a9190610cc0565b60405180910390f35b34801561013f57600080fd5b5061015a60048036038101906101559190610ab8565b61044c565b005b34801561016857600080fd5b50610183600480360381019061017e9190610ce2565b6105c4565b005b600063150b7a0260e01b9050949350505050565b7f0000000000000000000000009188db2825bd0ad76a2ba3aba21274428dc696e573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146101f157600080fd5b818190508484905014610239576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161023090610dc0565b60405180910390fd5b60005b84849050811015610307578573ffffffffffffffffffffffffffffffffffffffff1663a9059cbb86868481811061027657610275610de0565b5b905060200201602081019061028b9190610e0f565b85858581811061029e5761029d610de0565b5b905060200201356040518363ffffffff1660e01b81526004016102c2929190610e4b565b600060405180830381600087803b1580156102dc57600080fd5b505af11580156102f0573d6000803e3d6000fd5b5050505080806102ff90610ea3565b91505061023c565b505050505050565b7f0000000000000000000000009188db2825bd0ad76a2ba3aba21274428dc696e581565b60607f0000000000000000000000009188db2825bd0ad76a2ba3aba21274428dc696e573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461038d57600080fd5b6000808673ffffffffffffffffffffffffffffffffffffffff168686866040516103b8929190610f1b565b60006040518083038185875af1925050503d80600081146103f5576040519150601f19603f3d011682016040523d82523d6000602084013e6103fa565b606091505b50915091508161043f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161043690610f80565b60405180910390fd5b8092505050949350505050565b7f0000000000000000000000009188db2825bd0ad76a2ba3aba21274428dc696e573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146104a457600080fd5b8181905084849050146104ec576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104e390610dc0565b60405180910390fd5b60005b848490508110156105bc578573ffffffffffffffffffffffffffffffffffffffff166323b872dd3087878581811061052a57610529610de0565b5b905060200201602081019061053f9190610e0f565b86868681811061055257610551610de0565b5b905060200201356040518463ffffffff1660e01b815260040161057793929190610fa0565b600060405180830381600087803b15801561059157600080fd5b505af11580156105a5573d6000803e3d6000fd5b5050505080806105b490610ea3565b9150506104ef565b505050505050565b7f0000000000000000000000009188db2825bd0ad76a2ba3aba21274428dc696e573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461061c57600080fd5b818190508484905014610664576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161065b90610dc0565b60405180910390fd5b60005b848490508110156107345784848281811061068557610684610de0565b5b905060200201602081019061069a9190610e0f565b73ffffffffffffffffffffffffffffffffffffffff168383838181106106c3576106c2610de0565b5b90506020020135620124f8906040516106db90610ffd565b600060405180830381858888f193505050503d8060008114610719576040519150601f19603f3d011682016040523d82523d6000602084013e61071e565b606091505b505050808061072c90610ea3565b915050610667565b5050505050565b6000604051905090565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061077a8261074f565b9050919050565b61078a8161076f565b811461079557600080fd5b50565b6000813590506107a781610781565b92915050565b6000819050919050565b6107c0816107ad565b81146107cb57600080fd5b50565b6000813590506107dd816107b7565b92915050565b600080fd5b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b610836826107ed565b810181811067ffffffffffffffff82111715610855576108546107fe565b5b80604052505050565b600061086861073b565b9050610874828261082d565b919050565b600067ffffffffffffffff821115610894576108936107fe565b5b61089d826107ed565b9050602081019050919050565b82818337600083830152505050565b60006108cc6108c784610879565b61085e565b9050828152602081018484840111156108e8576108e76107e8565b5b6108f38482856108aa565b509392505050565b600082601f8301126109105761090f6107e3565b5b81356109208482602086016108b9565b91505092915050565b6000806000806080858703121561094357610942610745565b5b600061095187828801610798565b945050602061096287828801610798565b9350506040610973878288016107ce565b925050606085013567ffffffffffffffff8111156109945761099361074a565b5b6109a0878288016108fb565b91505092959194509250565b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b6109e1816109ac565b82525050565b60006020820190506109fc60008301846109d8565b92915050565b600080fd5b600080fd5b60008083601f840112610a2257610a216107e3565b5b8235905067ffffffffffffffff811115610a3f57610a3e610a02565b5b602083019150836020820283011115610a5b57610a5a610a07565b5b9250929050565b60008083601f840112610a7857610a776107e3565b5b8235905067ffffffffffffffff811115610a9557610a94610a02565b5b602083019150836020820283011115610ab157610ab0610a07565b5b9250929050565b600080600080600060608688031215610ad457610ad3610745565b5b6000610ae288828901610798565b955050602086013567ffffffffffffffff811115610b0357610b0261074a565b5b610b0f88828901610a0c565b9450945050604086013567ffffffffffffffff811115610b3257610b3161074a565b5b610b3e88828901610a62565b92509250509295509295909350565b610b568161076f565b82525050565b6000602082019050610b716000830184610b4d565b92915050565b60008083601f840112610b8d57610b8c6107e3565b5b8235905067ffffffffffffffff811115610baa57610ba9610a02565b5b602083019150836001820283011115610bc657610bc5610a07565b5b9250929050565b60008060008060608587031215610be757610be6610745565b5b6000610bf587828801610798565b9450506020610c06878288016107ce565b935050604085013567ffffffffffffffff811115610c2757610c2661074a565b5b610c3387828801610b77565b925092505092959194509250565b600081519050919050565b600082825260208201905092915050565b60005b83811015610c7b578082015181840152602081019050610c60565b60008484015250505050565b6000610c9282610c41565b610c9c8185610c4c565b9350610cac818560208601610c5d565b610cb5816107ed565b840191505092915050565b60006020820190508181036000830152610cda8184610c87565b905092915050565b60008060008060408587031215610cfc57610cfb610745565b5b600085013567ffffffffffffffff811115610d1a57610d1961074a565b5b610d2687828801610a0c565b9450945050602085013567ffffffffffffffff811115610d4957610d4861074a565b5b610d5587828801610a62565b925092505092959194509250565b600082825260208201905092915050565b7f616d6f756e7420636f756e74206d69736d617463680000000000000000000000600082015250565b6000610daa601583610d63565b9150610db582610d74565b602082019050919050565b60006020820190508181036000830152610dd981610d9d565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600060208284031215610e2557610e24610745565b5b6000610e3384828501610798565b91505092915050565b610e45816107ad565b82525050565b6000604082019050610e606000830185610b4d565b610e6d6020830184610e3c565b9392505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610eae826107ad565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203610ee057610edf610e74565b5b600182019050919050565b600081905092915050565b6000610f028385610eeb565b9350610f0f8385846108aa565b82840190509392505050565b6000610f28828486610ef6565b91508190509392505050565b7f7472616e73616374696f6e206661696c65640000000000000000000000000000600082015250565b6000610f6a601283610d63565b9150610f7582610f34565b602082019050919050565b60006020820190508181036000830152610f9981610f5d565b9050919050565b6000606082019050610fb56000830186610b4d565b610fc26020830185610b4d565b610fcf6040830184610e3c565b949350505050565b50565b6000610fe7600083610eeb565b9150610ff282610fd7565b600082019050919050565b600061100882610fda565b915081905091905056fea26469706673582212207a2c7ed1ec4f8c534bc332020005c0cb99e4a003ad6fd0f96f4763863054ee7c64736f6c63430008130033
[codex:946450] 
[codex:946450] thinking
[codex:946450] **Summarizing bytecode exploit analysis**
[codex:946450] 
[codex:946450] I'm carefully analyzing the contract's bytecode and function selectors to spot any exploitable path to profit. So far, all critical functions appear strictly owner-gated by a hardcoded address, with no unprotected value transfers or ownership changes. The onERC721Received function is public but only returns its selector without side effects. Reentrancy or deployment tricks seem implausible for exploitation. Given this, I conclude there is no concrete exploit path in this bytecode alone. I'll prepare a JSON summary confirming no findings.
[codex:946450] codex
[codex:946450] {"no_findings":true,"summary":"No concrete exploit path visible: all value-transfering and external-call functions appear gated by a hardcoded owner check, with only owner() and onERC721Received() exposed otherwise.","findings":[]}
[codex:946450] tokens used
[codex:946450] 12,779
[codex:946450] {"no_findings":true,"summary":"No concrete exploit path visible: all value-transfering and external-call functions appear gated by a hardcoded owner check, with only owner() and onERC721Received() exposed otherwise.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-01T21:03:36.020447+00:00",
        "returncode": 0
    },
    "summary": "No concrete exploit path visible: all value-transfering and external-call functions appear gated by a hardcoded owner check, with only owner() and onERC721Received() exposed otherwise.",
    "raw_final": {
        "summary": "No concrete exploit path visible: all value-transfering and external-call functions appear gated by a hardcoded owner check, with only owner() and onERC721Received() exposed otherwise.",
        "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 0x0059
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x150b7a02
00000019: EQ
0000001a: PUSH2 0x0065
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x2e025ac5
00000024: EQ
00000025: PUSH2 0x00a2
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x8da5cb5b
0000002f: EQ
00000030: PUSH2 0x00cb
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xbe798e74
0000003a: EQ
0000003b: PUSH2 0x00f6
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd5290296
00000045: EQ
00000046: PUSH2 0x0133
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xde6d6d96
00000050: EQ
00000051: PUSH2 0x015c
00000054: JUMPI
00000055: PUSH2 0x0060
00000058: JUMP
00000059: JUMPDEST
0000005a: CALLDATASIZE
0000005b: PUSH2 0x0060
0000005e: JUMPI
0000005f: STOP
00000060: JUMPDEST
00000061: PUSH1 0x00
00000063: DUP1
00000064: REVERT
00000065: JUMPDEST
00000066: CALLVALUE
00000067: DUP1
00000068: ISZERO
00000069: PUSH2 0x0071
0000006c: JUMPI
0000006d: PUSH1 0x00
0000006f: DUP1
00000070: REVERT
00000071: JUMPDEST
00000072: POP
00000073: PUSH2 0x008c
00000076: PUSH1 0x04
00000078: DUP1
00000079: CALLDATASIZE
0000007a: SUB
0000007b: DUP2
0000007c: ADD
0000007d: SWAP1
0000007e: PUSH2 0x0087
00000081: SWAP2
00000082: SWAP1
00000083: PUSH2 0x0929
00000086: JUMP
00000087: JUMPDEST
00000088: PUSH2 0x0185
0000008b: JUMP
0000008c: JUMPDEST
0000008d: PUSH1 0x40
0000008f: MLOAD
00000090: PUSH2 0x0099
00000093: SWAP2
00000094: SWAP1
00000095: PUSH2 0x09e7
00000098: JUMP
00000099: JUMPDEST
0000009a: PUSH1 0x40
0000009c: MLOAD
0000009d: DUP1
0000009e: SWAP2
0000009f: SUB
000000a0: SWAP1
000000a1: RETURN
000000a2: JUMPDEST
000000a3: CALLVALUE
000000a4: DUP1
000000a5: ISZERO
000000a6: PUSH2 0x00ae
000000a9: JUMPI
000000aa: PUSH1 0x00
000000ac: DUP1
000000ad: REVERT
000000ae: JUMPDEST
000000af: POP
000000b0: PUSH2 0x00c9
000000b3: PUSH1 0x04
000000b5: DUP1
000000b6: CALLDATASIZE
000000b7: SUB
000000b8: DUP2
000000b9: ADD
000000ba: SWAP1
000000bb: PUSH2 0x00c4
000000be: SWAP2
000000bf: SWAP1
000000c0: PUSH2 0x0ab8
000000c3: JUMP
000000c4: JUMPDEST
000000c5: PUSH2 0x0199
000000c8: JUMP
000000c9: JUMPDEST
000000ca: STOP
000000cb: JUMPDEST
000000cc: CALLVALUE
000000cd: DUP1
000000ce: ISZERO
000000cf: PUSH2 0x00d7
000000d2: JUMPI
000000d3: PUSH1 0x00
000000d5: DUP1
000000d6: REVERT
000000d7: JUMPDEST
000000d8: POP
000000d9: PUSH2 0x00e0
000000dc: PUSH2 0x030f
000000df: JUMP
000000e0: JUMPDEST
000000e1: PUSH1 0x40
000000e3: MLOAD
000000e4: PUSH2 0x00ed
000000e7: SWAP2
000000e8: SWAP1
000000e9: PUSH2 0x0b5c
000000ec: JUMP
000000ed: JUMPDEST
000000ee: PUSH1 0x40
000000f0: MLOAD
000000f1: DUP1
000000f2: SWAP2
000000f3: SUB
000000f4: SWAP1
000000f5: RETURN
000000f6: JUMPDEST
000000f7: CALLVALUE
000000f8: DUP1
000000f9: ISZERO
000000fa: PUSH2 0x0102
000000fd: JUMPI
000000fe: PUSH1 0x00
00000100: DUP1
00000101: REVERT
00000102: JUMPDEST
00000103: POP
00000104: PUSH2 0x011d
00000107: PUSH1 0x04
00000109: DUP1
0000010a: CALLDATASIZE
0000010b: SUB
0000010c: DUP2
0000010d: ADD
0000010e: SWAP1
0000010f: PUSH2 0x0118
00000112: SWAP2
00000113: SWAP1
00000114: PUSH2 0x0bcd
00000117: JUMP
00000118: JUMPDEST
00000119: PUSH2 0x0333
0000011c: JUMP
0000011d: JUMPDEST
0000011e: PUSH1 0x40
00000120: MLOAD
00000121: PUSH2 0x012a
00000124: SWAP2
00000125: SWAP1
00000126: PUSH2 0x0cc0
00000129: JUMP
0000012a: JUMPDEST
0000012b: PUSH1 0x40
0000012d: MLOAD
0000012e: DUP1
0000012f: SWAP2
00000130: SUB
00000131: SWAP1
00000132: RETURN
00000133: JUMPDEST
00000134: CALLVALUE
00000135: DUP1
00000136: ISZERO
00000137: PUSH2 0x013f
0000013a: JUMPI
0000013b: PUSH1 0x00
0000013d: DUP1
0000013e: REVERT
0000013f: JUMPDEST
00000140: POP
00000141: PUSH2 0x015a
00000144: PUSH1 0x04
00000146: DUP1
00000147: CALLDATASIZE
00000148: SUB
00000149: DUP2
0000014a: ADD
0000014b: SWAP1
0000014c: PUSH2 0x0155
0000014f: SWAP2
00000150: SWAP1
00000151: PUSH2 0x0ab8
00000154: JUMP
00000155: JUMPDEST
00000156: PUSH2 0x044c
00000159: JUMP
0000015a: JUMPDEST
0000015b: STOP
0000015c: JUMPDEST
0000015d: CALLVALUE
0000015e: DUP1
0000015f: ISZERO
00000160: PUSH2 0x0168
00000163: JUMPI
00000164: PUSH1 0x00
00000166: DUP1
00000167: REVERT
00000168: JUMPDEST
00000169: POP
0000016a: PUSH2 0x0183
0000016d: PUSH1 0x04
0000016f: DUP1
00000170: CALLDATASIZE
00000171: SUB
00000172: DUP2
00000173: ADD
00000174: SWAP1
00000175: PUSH2 0x017e
00000178: SWAP2
00000179: SWAP1
0000017a: PUSH2 0x0ce2
0000017d: JUMP
0000017e: JUMPDEST
0000017f: PUSH2 0x05c4
00000182: JUMP
00000183: JUMPDEST
00000184: STOP
00000185: JUMPDEST
00000186: PUSH1 0x00
00000188: PUSH4 0x150b7a02
0000018d: PUSH1 0xe0
0000018f: SHL
00000190: SWAP1
00000191: POP
00000192: SWAP5
00000193: SWAP4
00000194: POP
00000195: POP
00000196: POP
00000197: POP
00000198: JUMP
00000199: JUMPDEST
0000019a: PUSH32 0x0000000000000000000000009188db2825bd0ad76a2ba3aba21274428dc696e5
000001bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001d0: AND
000001d1: CALLER
000001d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001e7: AND
000001e8: EQ
000001e9: PUSH2 0x01f1
000001ec: JUMPI
000001ed: PUSH1 0x00
000001ef: DUP1
000001f0: REVERT
000001f1: JUMPDEST
000001f2: DUP2
000001f3: DUP2
000001f4: SWAP1
000001f5: POP
000001f6: DUP5
000001f7: DUP5
000001f8: SWAP1
000001f9: POP
000001fa: EQ
000001fb: PUSH2 0x0239
000001fe: JUMPI
000001ff: PUSH1 0x40
00000201: MLOAD
00000202: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000223: DUP2
00000224: MSTORE
00000225: PUSH1 0x04
00000227: ADD
00000228: PUSH2 0x0230
0000022b: SWAP1
0000022c: PUSH2 0x0dc0
0000022f: JUMP
00000230: JUMPDEST
00000231: PUSH1 0x40
00000233: MLOAD
00000234: DUP1
00000235: SWAP2
00000236: SUB
00000237: SWAP1
00000238: REVERT
00000239: JUMPDEST
0000023a: PUSH1 0x00
0000023c: JUMPDEST
0000023d: DUP5
0000023e: DUP5
0000023f: SWAP1
00000240: POP
00000241: DUP2
00000242: LT
00000243: ISZERO
00000244: PUSH2 0x0307
00000247: JUMPI
00000248: DUP6
00000249: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000025e: AND
0000025f: PUSH4 0xa9059cbb
00000264: DUP7
00000265: DUP7
00000266: DUP5
00000267: DUP2
00000268: DUP2
00000269: LT
0000026a: PUSH2 0x0276
0000026d: JUMPI
0000026e: PUSH2 0x0275
00000271: PUSH2 0x0de0
00000274: JUMP
00000275: JUMPDEST
00000276: JUMPDEST
00000277: SWAP1
00000278: POP
00000279: PUSH1 0x20
0000027b: MUL
0000027c: ADD
0000027d: PUSH1 0x20
0000027f: DUP2
00000280: ADD
00000281: SWAP1
00000282: PUSH2 0x028b
00000285: SWAP2
00000286: SWAP1
00000287: PUSH2 0x0e0f
0000028a: JUMP
0000028b: JUMPDEST
0000028c: DUP6
0000028d: DUP6
0000028e: DUP6
0000028f: DUP2
00000290: DUP2
00000291: LT
00000292: PUSH2 0x029e
00000295: JUMPI
00000296: PUSH2 0x029d
00000299: PUSH2 0x0de0
0000029c: JUMP
0000029d: JUMPDEST
0000029e: JUMPDEST
0000029f: SWAP1
000002a0: POP
000002a1: PUSH1 0x20
000002a3: MUL
000002a4: ADD
000002a5: CALLDATALOAD
000002a6: PUSH1 0x40
000002a8: MLOAD
000002a9: DUP4
000002aa: PUSH4 0xffffffff
000002af: AND
000002b0: PUSH1 0xe0
000002b2: SHL
000002b3: DUP2
000002b4: MSTORE
000002b5: PUSH1 0x04
000002b7: ADD
000002b8: PUSH2 0x02c2
000002bb: SWAP3
000002bc: SWAP2
000002bd: SWAP1
000002be: PUSH2 0x0e4b
000002c1: JUMP
000002c2: JUMPDEST
000002c3: PUSH1 0x00
000002c5: PUSH1 0x40
000002c7: MLOAD
000002c8: DUP1
000002c9: DUP4
000002ca: SUB
000002cb: DUP2
000002cc: PUSH1 0x00
000002ce: DUP8
000002cf: DUP1
000002d0: EXTCODESIZE
000002d1: ISZERO
000002d2: DUP1
000002d3: ISZERO
000002d4: PUSH2 0x02dc
000002d7: JUMPI
000002d8: PUSH1 0x00
000002da: DUP1
000002db: REVERT
000002dc: JUMPDEST
000002dd: POP
000002de: GAS
000002df: CALL
000002e0: ISZERO
000002e1: DUP1
000002e2: ISZERO
000002e3: PUSH2 0x02f0
000002e6: JUMPI
000002e7: RETURNDATASIZE
000002e8: PUSH1 0x00
000002ea: DUP1
000002eb: RETURNDATACOPY
000002ec: RETURNDATASIZE
000002ed: PUSH1 0x00
000002ef: REVERT
000002f0: JUMPDEST
000002f1: POP
000002f2: POP
000002f3: POP
000002f4: POP
000002f5: DUP1
000002f6: DUP1
000002f7: PUSH2 0x02ff
000002fa: SWAP1
000002fb: PUSH2 0x0ea3
000002fe: JUMP
000002ff: JUMPDEST
00000300: SWAP2
00000301: POP
00000302: POP
00000303: PUSH2 0x023c
00000306: JUMP
00000307: JUMPDEST
00000308: POP
00000309: POP
0000030a: POP
0000030b: POP
0000030c: POP
0000030d: POP
0000030e: JUMP
0000030f: JUMPDEST
00000310: PUSH32 0x0000000000000000000000009188db2825bd0ad76a2ba3aba21274428dc696e5
00000331: DUP2
00000332: JUMP
00000333: JUMPDEST
00000334: PUSH1 0x60
00000336: PUSH32 0x0000000000000000000000009188db2825bd0ad76a2ba3aba21274428dc696e5
00000357: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000036c: AND
0000036d: CALLER
0000036e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000383: AND
00000384: EQ
00000385: PUSH2 0x038d
00000388: JUMPI
00000389: PUSH1 0x00
0000038b: DUP1
0000038c: REVERT
0000038d: JUMPDEST
0000038e: PUSH1 0x00
00000390: DUP1
00000391: DUP7
00000392: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003a7: AND
000003a8: DUP7
000003a9: DUP7
000003aa: DUP7
000003ab: PUSH1 0x40
000003ad: MLOAD
000003ae: PUSH2 0x03b8
000003b1: SWAP3
000003b2: SWAP2
000003b3: SWAP1
000003b4: PUSH2 0x0f1b
000003b7: JUMP
000003b8: JUMPDEST
000003b9: PUSH1 0x00
000003bb: PUSH1 0x40
000003bd: MLOAD
000003be: DUP1
000003bf: DUP4
000003c0: SUB
000003c1: DUP2
000003c2: DUP6
000003c3: DUP8
000003c4: GAS
000003c5: CALL
000003c6: SWAP3
000003c7: POP
000003c8: POP
000003c9: POP
000003ca: RETURNDATASIZE
000003cb: DUP1
000003cc: PUSH1 0x00
000003ce: DUP2
000003cf: EQ
000003d0: PUSH2 0x03f5
000003d3: JUMPI
000003d4: PUSH1 0x40
000003d6: MLOAD
000003d7: SWAP2
000003d8: POP
000003d9: PUSH1 0x1f
000003db: NOT
000003dc: PUSH1 0x3f
000003de: RETURNDATASIZE
000003df: ADD
000003e0: AND
000003e1: DUP3
000003e2: ADD
000003e3: PUSH1 0x40
000003e5: MSTORE
000003e6: RETURNDATASIZE
000003e7: DUP3
000003e8: MSTORE
000003e9: RETURNDATASIZE
000003ea: PUSH1 0x00
000003ec: PUSH1 0x20
000003ee: DUP5
000003ef: ADD
000003f0: RETURNDATACOPY
000003f1: PUSH2 0x03fa
000003f4: JUMP
000003f5: JUMPDEST
000003f6: PUSH1 0x60
000003f8: SWAP2
000003f9: POP
000003fa: JUMPDEST
000003fb: POP
000003fc: SWAP2
000003fd: POP
000003fe: SWAP2
000003ff: POP
00000400: DUP2
00000401: PUSH2 0x043f
00000404: JUMPI
00000405: PUSH1 0x40
00000407: MLOAD
00000408: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000429: DUP2
0000042a: MSTORE
0000042b: PUSH1 0x04
0000042d: ADD
0000042e: PUSH2 0x0436
00000431: SWAP1
00000432: PUSH2 0x0f80
00000435: JUMP
00000436: JUMPDEST
00000437: PUSH1 0x40
00000439: MLOAD
0000043a: DUP1
0000043b: SWAP2
0000043c: SUB
0000043d: SWAP1
0000043e: REVERT
0000043f: JUMPDEST
00000440: DUP1
00000441: SWAP3
00000442: POP
00000443: POP
00000444: POP
00000445: SWAP5
00000446: SWAP4
00000447: POP
00000448: POP
00000449: POP
0000044a: POP
0000044b: JUMP
0000044c: JUMPDEST
0000044d: PUSH32 0x0000000000000000000000009188db2825bd0ad76a2ba3aba21274428dc696e5
0000046e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000483: AND
00000484: CALLER
00000485: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000049a: AND
0000049b: EQ
0000049c: PUSH2 0x04a4
0000049f: JUMPI
000004a0: PUSH1 0x00
000004a2: DUP1
000004a3: REVERT
000004a4: JUMPDEST
000004a5: DUP2
000004a6: DUP2
000004a7: SWAP1
000004a8: POP
000004a9: DUP5
000004aa: DUP5
000004ab: SWAP1
000004ac: POP
000004ad: EQ
000004ae: PUSH2 0x04ec
000004b1: JUMPI
000004b2: PUSH1 0x40
000004b4: MLOAD
000004b5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000004d6: DUP2
000004d7: MSTORE
000004d8: PUSH1 0x04
000004da: ADD
000004db: PUSH2 0x04e3
000004de: SWAP1
000004df: PUSH2 0x0dc0
000004e2: JUMP
000004e3: JUMPDEST
000004e4: PUSH1 0x40
000004e6: MLOAD
000004e7: DUP1
000004e8: SWAP2
000004e9: SUB
000004ea: SWAP1
000004eb: REVERT
000004ec: JUMPDEST
000004ed: PUSH1 0x00
000004ef: JUMPDEST
000004f0: DUP5
000004f1: DUP5
000004f2: SWAP1
000004f3: POP
000004f4: DUP2
000004f5: LT
000004f6: ISZERO
000004f7: PUSH2 0x05bc
000004fa: JUMPI
000004fb: DUP6
000004fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000511: AND
00000512: PUSH4 0x23b872dd
00000517: ADDRESS
00000518: DUP8
00000519: DUP8
0000051a: DUP6
0000051b: DUP2
0000051c: DUP2
0000051d: LT
0000051e: PUSH2 0x052a
00000521: JUMPI
00000522: PUSH2 0x0529
00000525: PUSH2 0x0de0
00000528: JUMP
00000529: JUMPDEST
0000052a: JUMPDEST
0000052b: SWAP1
0000052c: POP
0000052d: PUSH1 0x20
0000052f: MUL
00000530: ADD
00000531: PUSH1 0x20
00000533: DUP2
00000534: ADD
00000535: SWAP1
00000536: PUSH2 0x053f
00000539: SWAP2
0000053a: SWAP1
0000053b: PUSH2 0x0e0f
0000053e: JUMP
0000053f: JUMPDEST
00000540: DUP7
00000541: DUP7
00000542: DUP7
00000543: DUP2
00000544: DUP2
00000545: LT
00000546: PUSH2 0x0552
00000549: JUMPI
0000054a: PUSH2 0x0551
0000054d: PUSH2 0x0de0
00000550: JUMP
00000551: JUMPDEST
00000552: JUMPDEST
00000553: SWAP1
00000554: POP
00000555: PUSH1 0x20
00000557: MUL
00000558: ADD
00000559: CALLDATALOAD
0000055a: PUSH1 0x40
0000055c: MLOAD
0000055d: DUP5
0000055e: PUSH4 0xffffffff
00000563: AND
00000564: PUSH1 0xe0
00000566: SHL
00000567: DUP2
00000568: MSTORE
00000569: PUSH1 0x04
0000056b: ADD
0000056c: PUSH2 0x0577
0000056f: SWAP4
00000570: SWAP3
00000571: SWAP2
00000572: SWAP1
00000573: PUSH2 0x0fa0
00000576: JUMP
00000577: JUMPDEST
00000578: PUSH1 0x00
0000057a: PUSH1 0x40
0000057c: MLOAD
0000057d: DUP1
0000057e: DUP4
0000057f: SUB
00000580: DUP2
00000581: PUSH1 0x00
00000583: DUP8
00000584: DUP1
00000585: EXTCODESIZE
00000586: ISZERO
00000587: DUP1
00000588: ISZERO
00000589: PUSH2 0x0591
0000058c: JUMPI
0000058d: PUSH1 0x00
0000058f: DUP1
00000590: REVERT
00000591: JUMPDEST
00000592: POP
00000593: GAS
00000594: CALL
00000595: ISZERO
00000596: DUP1
00000597: ISZERO
00000598: PUSH2 0x05a5
0000059b: JUMPI
0000059c: RETURNDATASIZE
0000059d: PUSH1 0x00
0000059f: DUP1
000005a0: RETURNDATACOPY
000005a1: RETURNDATASIZE
000005a2: PUSH1 0x00
000005a4: REVERT
000005a5: JUMPDEST
000005a6: POP
000005a7: POP
000005a8: POP
000005a9: POP
000005aa: DUP1
000005ab: DUP1
000005ac: PUSH2 0x05b4
000005af: SWAP1
000005b0: PUSH2 0x0ea3
000005b3: JUMP
000005b4: JUMPDEST
000005b5: SWAP2
000005b6: POP
000005b7: POP
000005b8: PUSH2 0x04ef
000005bb: JUMP
000005bc: JUMPDEST
000005bd: POP
000005be: POP
000005bf: POP
000005c0: POP
000005c1: POP
000005c2: POP
000005c3: JUMP
000005c4: JUMPDEST
000005c5: PUSH32 0x0000000000000000000000009188db2825bd0ad76a2ba3aba21274428dc696e5
000005e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005fb: AND
000005fc: CALLER
000005fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000612: AND
00000613: EQ
00000614: PUSH2 0x061c
00000617: JUMPI
00000618: PUSH1 0x00
0000061a: DUP1
0000061b: REVERT
0000061c: JUMPDEST
0000061d: DUP2
0000061e: DUP2
0000061f: SWAP1
00000620: POP
00000621: DUP5
00000622: DUP5
00000623: SWAP1
00000624: POP
00000625: EQ
00000626: PUSH2 0x0664
00000629: JUMPI
0000062a: PUSH1 0x40
0000062c: MLOAD
0000062d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000064e: DUP2
0000064f: MSTORE
00000650: PUSH1 0x04
00000652: ADD
00000653: PUSH2 0x065b
00000656: SWAP1
00000657: PUSH2 0x0dc0
0000065a: JUMP
0000065b: JUMPDEST
0000065c: PUSH1 0x40
0000065e: MLOAD
0000065f: DUP1
00000660: SWAP2
00000661: SUB
00000662: SWAP1
00000663: REVERT
00000664: JUMPDEST
00000665: PUSH1 0x00
00000667: JUMPDEST
00000668: DUP5
00000669: DUP5
0000066a: SWAP1
0000066b: POP
0000066c: DUP2
0000066d: LT
0000066e: ISZERO
0000066f: PUSH2 0x0734
00000672: JUMPI
00000673: DUP5
00000674: DUP5
00000675: DUP3
00000676: DUP2
00000677: DUP2
00000678: LT
00000679: PUSH2 0x0685
0000067c: JUMPI
0000067d: PUSH2 0x0684
00000680: PUSH2 0x0de0
00000683: JUMP
00000684: JUMPDEST
00000685: JUMPDEST
00000686: SWAP1
00000687: POP
00000688: PUSH1 0x20
0000068a: MUL
0000068b: ADD
0000068c: PUSH1 0x20
0000068e: DUP2
0000068f: ADD
00000690: SWAP1
00000691: PUSH2 0x069a
00000694: SWAP2
00000695: SWAP1
00000696: PUSH2 0x0e0f
00000699: JUMP
0000069a: JUMPDEST
0000069b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006b0: AND
000006b1: DUP4
000006b2: DUP4
000006b3: DUP4
000006b4: DUP2
000006b5: DUP2
000006b6: LT
000006b7: PUSH2 0x06c3
000006ba: JUMPI
000006bb: PUSH2 0x06c2
000006be: PUSH2 0x0de0
000006c1: JUMP
000006c2: JUMPDEST
000006c3: JUMPDEST
000006c4: SWAP1
000006c5: POP
000006c6: PUSH1 0x20
000006c8: MUL
000006c9: ADD
000006ca: CALLDATALOAD
000006cb: PUSH3 0x0124f8
000006cf: SWAP1
000006d0: PUSH1 0x40
000006d2: MLOAD
000006d3: PUSH2 0x06db
000006d6: SWAP1
000006d7: PUSH2 0x0ffd
000006da: JUMP
000006db: JUMPDEST
000006dc: PUSH1 0x00
000006de: PUSH1 0x40
000006e0: MLOAD
000006e1: DUP1
000006e2: DUP4
000006e3: SUB
000006e4: DUP2
000006e5: DUP6
000006e6: DUP9
000006e7: DUP9
000006e8: CALL
000006e9: SWAP4
000006ea: POP
000006eb: POP
000006ec: POP
000006ed: POP
000006ee: RETURNDATASIZE
000006ef: DUP1
000006f0: PUSH1 0x00
000006f2: DUP2
000006f3: EQ
000006f4: PUSH2 0x0719
000006f7: JUMPI
000006f8: PUSH1 0x40
000006fa: MLOAD
000006fb: SWAP2
000006fc: POP
000006fd: PUSH1 0x1f
000006ff: NOT
00000700: PUSH1 0x3f
00000702: RETURNDATASIZE
00000703: ADD
00000704: AND
00000705: DUP3
00000706: ADD
00000707: PUSH1 0x40
00000709: MSTORE
0000070a: RETURNDATASIZE
0000070b: DUP3
0000070c: MSTORE
0000070d: RETURNDATASIZE
0000070e: PUSH1 0x00
00000710: PUSH1 0x20
00000712: DUP5
00000713: ADD
00000714: RETURNDATACOPY
00000715: PUSH2 0x071e
00000718: JUMP
00000719: JUMPDEST
0000071a: PUSH1 0x60
0000071c: SWAP2
0000071d: POP
0000071e: JUMPDEST
0000071f: POP
00000720: POP
00000721: POP
00000722: DUP1
00000723: DUP1
00000724: PUSH2 0x072c
00000727: SWAP1
00000728: PUSH2 0x0ea3
0000072b: JUMP
0000072c: JUMPDEST
0000072d: SWAP2
0000072e: POP
0000072f: POP
00000730: PUSH2 0x0667
00000733: JUMP
00000734: JUMPDEST
00000735: POP
00000736: POP
00000737: POP
00000738: POP
00000739: POP
0000073a: JUMP
0000073b: JUMPDEST
0000073c: PUSH1 0x00
0000073e: PUSH1 0x40
00000740: MLOAD
00000741: SWAP1
00000742: POP
00000743: SWAP1
00000744: JUMP
00000745: JUMPDEST
00000746: PUSH1 0x00
00000748: DUP1
00000749: REVERT
0000074a: JUMPDEST
0000074b: PUSH1 0x00
0000074d: DUP1
0000074e: REVERT
0000074f: JUMPDEST
00000750: PUSH1 0x00
00000752: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000767: DUP3
00000768: AND
00000769: SWAP1
0000076a: POP
0000076b: SWAP2
0000076c: SWAP1
0000076d: POP
0000076e: JUMP
0000076f: JUMPDEST
00000770: PUSH1 0x00
00000772: PUSH2 0x077a
00000775: DUP3
00000776: PUSH2 0x074f
00000779: JUMP
0000077a: JUMPDEST
0000077b: SWAP1
0000077c: POP
0000077d: SWAP2
0000077e: SWAP1
0000077f: POP
00000780: JUMP
00000781: JUMPDEST
00000782: PUSH2 0x078a
00000785: DUP2
00000786: PUSH2 0x076f
00000789: JUMP
0000078a: JUMPDEST
0000078b: DUP2
0000078c: EQ
0000078d: PUSH2 0x0795
00000790: JUMPI
00000791: PUSH1 0x00
00000793: DUP1
00000794: REVERT
00000795: JUMPDEST
00000796: POP
00000797: JUMP
00000798: JUMPDEST
00000799: PUSH1 0x00
0000079b: DUP2
0000079c: CALLDATALOAD
0000079d: SWAP1
0000079e: POP
0000079f: PUSH2 0x07a7
000007a2: DUP2
000007a3: PUSH2 0x0781
000007a6: JUMP
000007a7: JUMPDEST
000007a8: SWAP3
000007a9: SWAP2
000007aa: POP
000007ab: POP
000007ac: JUMP
000007ad: JUMPDEST
000007ae: PUSH1 0x00
000007b0: DUP2
000007b1: SWAP1
000007b2: POP
000007b3: SWAP2
000007b4: SWAP1
000007b5: POP
000007b6: JUMP
000007b7: JUMPDEST
000007b8: PUSH2 0x07c0
000007bb: DUP2
000007bc: PUSH2 0x07ad
000007bf: JUMP
000007c0: JUMPDEST
000007c1: DUP2
000007c2: EQ
000007c3: PUSH2 0x07cb
000007c6: JUMPI
000007c7: PUSH1 0x00
000007c9: DUP1
000007ca: REVERT
000007cb: JUMPDEST
000007cc: POP
000007cd: JUMP
000007ce: JUMPDEST
000007cf: PUSH1 0x00
000007d1: DUP2
000007d2: CALLDATALOAD
000007d3: SWAP1
000007d4: POP
000007d5: PUSH2 0x07dd
000007d8: DUP2
000007d9: PUSH2 0x07b7
000007dc: JUMP
000007dd: JUMPDEST
000007de: SWAP3
000007df: SWAP2
000007e0: POP
000007e1: POP
000007e2: JUMP
000007e3: JUMPDEST
000007e4: PUSH1 0x00
000007e6: DUP1
000007e7: REVERT
000007e8: JUMPDEST
000007e9: PUSH1 0x00
000007eb: DUP1
000007ec: REVERT
000007ed: JUMPDEST
000007ee: PUSH1 0x00
000007f0: PUSH1 0x1f
000007f2: NOT
000007f3: PUSH1 0x1f
000007f5: DUP4
000007f6: ADD
000007f7: AND
000007f8: SWAP1
000007f9: POP
000007fa: SWAP2
000007fb: SWAP1
000007fc: POP
000007fd: JUMP
000007fe: JUMPDEST
000007ff: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000820: PUSH1 0x00
00000822: MSTORE
00000823: PUSH1 0x41
00000825: PUSH1 0x04
00000827: MSTORE
00000828: PUSH1 0x24
0000082a: PUSH1 0x00
0000082c: REVERT
0000082d: JUMPDEST
0000082e: PUSH2 0x0836
00000831: DUP3
00000832: PUSH2 0x07ed
00000835: JUMP
00000836: JUMPDEST
00000837: DUP2
00000838: ADD
00000839: DUP2
0000083a: DUP2
0000083b: LT
0000083c: PUSH8 0xffffffffffffffff
00000845: DUP3
00000846: GT
00000847: OR
00000848: ISZERO
00000849: PUSH2 0x0855
0000084c: JUMPI
0000084d: PUSH2 0x0854
00000850: PUSH2 0x07fe
00000853: JUMP
00000854: JUMPDEST
00000855: JUMPDEST
00000856: DUP1
00000857: PUSH1 0x40
00000859: MSTORE
0000085a: POP
0000085b: POP
0000085c: POP
0000085d: JUMP
0000085e: JUMPDEST
0000085f: PUSH1 0x00
00000861: PUSH2 0x0868
00000864: PUSH2 0x073b
00000867: JUMP
00000868: JUMPDEST
00000869: SWAP1
0000086a: POP
0000086b: PUSH2 0x0874
0000086e: DUP3
0000086f: DUP3
00000870: PUSH2 0x082d
00000873: JUMP
00000874: JUMPDEST
00000875: SWAP2
00000876: SWAP1
00000877: POP
00000878: JUMP
00000879: JUMPDEST
0000087a: PUSH1 0x00
0000087c: PUSH8 0xffffffffffffffff
00000885: DUP3
00000886: GT
00000887: ISZERO
00000888: PUSH2 0x0894
0000088b: JUMPI
0000088c: PUSH2 0x0893
0000088f: PUSH2 0x07fe
00000892: JUMP
00000893: JUMPDEST
00000894: JUMPDEST
00000895: PUSH2 0x089d
00000898: DUP3
00000899: PUSH2 0x07ed
0000089c: JUMP
0000089d: JUMPDEST
0000089e: SWAP1
0000089f: POP
000008a0: PUSH1 0x20
000008a2: DUP2
000008a3: ADD
000008a4: SWAP1
000008a5: POP
000008a6: SWAP2
000008a7: SWAP1
000008a8: POP
000008a9: JUMP
000008aa: JUMPDEST
000008ab: DUP3
000008ac: DUP2
000008ad: DUP4
000008ae: CALLDATACOPY
000008af: PUSH1 0x00
000008b1: DUP4
000008b2: DUP4
000008b3: ADD
000008b4: MSTORE
000008b5: POP
000008b6: POP
000008b7: POP
000008b8: JUMP
000008b9: JUMPDEST
000008ba: PUSH1 0x00
000008bc: PUSH2 0x08cc
000008bf: PUSH2 0x08c7
000008c2: DUP5
000008c3: PUSH2 0x0879
000008c6: JUMP
000008c7: JUMPDEST
000008c8: PUSH2 0x085e
000008cb: JUMP
000008cc: JUMPDEST
000008cd: SWAP1
000008ce: POP
000008cf: DUP3
000008d0: DUP2
000008d1: MSTORE
000008d2: PUSH1 0x20
000008d4: DUP2
000008d5: ADD
000008d6: DUP5
000008d7: DUP5
000008d8: DUP5
000008d9: ADD
000008da: GT
000008db: ISZERO
000008dc: PUSH2 0x08e8
000008df: JUMPI
000008e0: PUSH2 0x08e7
000008e3: PUSH2 0x07e8
000008e6: JUMP
000008e7: JUMPDEST
000008e8: JUMPDEST
000008e9: PUSH2 0x08f3
000008ec: DUP5
000008ed: DUP3
000008ee: DUP6
000008ef: PUSH2 0x08aa
000008f2: JUMP
000008f3: JUMPDEST
000008f4: POP
000008f5: SWAP4
000008f6: SWAP3
000008f7: POP
000008f8: POP
000008f9: POP
000008fa: JUMP
000008fb: JUMPDEST
000008fc: PUSH1 0x00
000008fe: DUP3
000008ff: PUSH1 0x1f
00000901: DUP4
00000902: ADD
00000903: SLT
00000904: PUSH2 0x0910
00000907: JUMPI
00000908: PUSH2 0x090f
0000090b: PUSH2 0x07e3
0000090e: JUMP
0000090f: JUMPDEST
00000910: JUMPDEST
00000911: DUP2
00000912: CALLDATALOAD
00000913: PUSH2 0x0920
00000916: DUP5
00000917: DUP3
00000918: PUSH1 0x20
0000091a: DUP7
0000091b: ADD
0000091c: PUSH2 0x08b9
0000091f: JUMP
00000920: JUMPDEST
00000921: SWAP2
00000922: POP
00000923: POP
00000924: SWAP3
00000925: SWAP2
00000926: POP
00000927: POP
00000928: JUMP
00000929: JUMPDEST
0000092a: PUSH1 0x00
0000092c: DUP1
0000092d: PUSH1 0x00
0000092f: DUP1
00000930: PUSH1 0x80
00000932: DUP6
00000933: DUP8
00000934: SUB
00000935: SLT
00000936: ISZERO
00000937: PUSH2 0x0943
0000093a: JUMPI
0000093b: PUSH2 0x0942
0000093e: PUSH2 0x0745
00000941: JUMP
00000942: JUMPDEST
00000943: JUMPDEST
00000944: PUSH1 0x00
00000946: PUSH2 0x0951
00000949: DUP8
0000094a: DUP3
0000094b: DUP9
0000094c: ADD
0000094d: PUSH2 0x0798
00000950: JUMP
00000951: JUMPDEST
00000952: SWAP5
00000953: POP
00000954: POP
00000955: PUSH1 0x20
00000957: PUSH2 0x0962
0000095a: DUP8
0000095b: DUP3
0000095c: DUP9
0000095d: ADD
0000095e: PUSH2 0x0798
00000961: JUMP
00000962: JUMPDEST
00000963: SWAP4
00000964: POP
00000965: POP
00000966: PUSH1 0x40
00000968: PUSH2 0x0973
0000096b: DUP8
0000096c: DUP3
0000096d: DUP9
0000096e: ADD
0000096f: PUSH2 0x07ce
00000972: JUMP
00000973: JUMPDEST
00000974: SWAP3
00000975: POP
00000976: POP
00000977: PUSH1 0x60
00000979: DUP6
0000097a: ADD
0000097b: CALLDATALOAD
0000097c: PUSH8 0xffffffffffffffff
00000985: DUP2
00000986: GT
00000987: ISZERO
00000988: PUSH2 0x0994
0000098b: JUMPI
0000098c: PUSH2 0x0993
0000098f: PUSH2 0x074a
00000992: JUMP
00000993: JUMPDEST
00000994: JUMPDEST
00000995: PUSH2 0x09a0
00000998: DUP8
00000999: DUP3
0000099a: DUP9
0000099b: ADD
0000099c: PUSH2 0x08fb
0000099f: JUMP
000009a0: JUMPDEST
000009a1: SWAP2
000009a2: POP
000009a3: POP
000009a4: SWAP3
000009a5: SWAP6
000009a6: SWAP2
000009a7: SWAP5
000009a8: POP
000009a9: SWAP3
000009aa: POP
000009ab: JUMP
000009ac: JUMPDEST
000009ad: PUSH1 0x00
000009af: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000009d0: DUP3
000009d1: AND
000009d2: SWAP1
000009d3: POP
000009d4: SWAP2
000009d5: SWAP1
000009d6: POP
000009d7: JUMP
000009d8: JUMPDEST
000009d9: PUSH2 0x09e1
000009dc: DUP2
000009dd: PUSH2 0x09ac
000009e0: JUMP
000009e1: JUMPDEST
000009e2: DUP3
000009e3: MSTORE
000009e4: POP
000009e5: POP
000009e6: JUMP
000009e7: JUMPDEST
000009e8: PUSH1 0x00
000009ea: PUSH1 0x20
000009ec: DUP3
000009ed: ADD
000009ee: SWAP1
000009ef: POP
000009f0: PUSH2 0x09fc
000009f3: PUSH1 0x00
000009f5: DUP4
000009f6: ADD
000009f7: DUP5
000009f8: PUSH2 0x09d8
000009fb: JUMP
000009fc: JUMPDEST
000009fd: SWAP3
000009fe: SWAP2
000009ff: POP
00000a00: POP
00000a01: JUMP
00000a02: JUMPDEST
00000a03: PUSH1 0x00
00000a05: DUP1
00000a06: REVERT
00000a07: JUMPDEST
00000a08: PUSH1 0x00
00000a0a: DUP1
00000a0b: REVERT
00000a0c: JUMPDEST
00000a0d: PUSH1 0x00
00000a0f: DUP1
00000a10: DUP4
00000a11: PUSH1 0x1f
00000a13: DUP5
00000a14: ADD
00000a15: SLT
00000a16: PUSH2 0x0a22
00000a19: JUMPI
00000a1a: PUSH2 0x0a21
00000a1d: PUSH2 0x07e3
00000a20: JUMP
00000a21: JUMPDEST
00000a22: JUMPDEST
00000a23: DUP3
00000a24: CALLDATALOAD
00000a25: SWAP1
00000a26: POP
00000a27: PUSH8 0xffffffffffffffff
00000a30: DUP2
00000a31: GT
00000a32: ISZERO
00000a33: PUSH2 0x0a3f
00000a36: JUMPI
00000a37: PUSH2 0x0a3e
00000a3a: PUSH2 0x0a02
00000a3d: JUMP
00000a3e: JUMPDEST
00000a3f: JUMPDEST
00000a40: PUSH1 0x20
00000a42: DUP4
00000a43: ADD
00000a44: SWAP2
00000a45: POP
00000a46: DUP4
00000a47: PUSH1 0x20
00000a49: DUP3
00000a4a: MUL
00000a4b: DUP4
00000a4c: ADD
00000a4d: GT
00000a4e: ISZERO
00000a4f: PUSH2 0x0a5b
00000a52: JUMPI
00000a53: PUSH2 0x0a5a
00000a56: PUSH2 0x0a07
00000a59: JUMP
00000a5a: JUMPDEST
00000a5b: JUMPDEST
00000a5c: SWAP3
00000a5d: POP
00000a5e: SWAP3
00000a5f: SWAP1
00000a60: POP
00000a61: JUMP
00000a62: JUMPDEST
00000a63: PUSH1 0x00
00000a65: DUP1
00000a66: DUP4
00000a67: PUSH1 0x1f
00000a69: DUP5
00000a6a: ADD
00000a6b: SLT
00000a6c: PUSH2 0x0a78
00000a6f: JUMPI
00000a70: PUSH2 0x0a77
00000a73: PUSH2 0x07e3
00000a76: JUMP
00000a77: JUMPDEST
00000a78: JUMPDEST
00000a79: DUP3
00000a7a: CALLDATALOAD
00000a7b: SWAP1
00000a7c: POP
00000a7d: PUSH8 0xffffffffffffffff
00000a86: DUP2
00000a87: GT
00000a88: ISZERO
00000a89: PUSH2 0x0a95
00000a8c: JUMPI
00000a8d: PUSH2 0x0a94
00000a90: PUSH2 0x0a02
00000a93: JUMP
00000a94: JUMPDEST
00000a95: JUMPDEST
00000a96: PUSH1 0x20
00000a98: DUP4
00000a99: ADD
00000a9a: SWAP2
00000a9b: POP
00000a9c: DUP4
00000a9d: PUSH1 0x20
00000a9f: DUP3
00000aa0: MUL
00000aa1: DUP4
00000aa2: ADD
00000aa3: GT
00000aa4: ISZERO
00000aa5: PUSH2 0x0ab1
00000aa8: JUMPI
00000aa9: PUSH2 0x0ab0
00000aac: PUSH2 0x0a07
00000aaf: JUMP
00000ab0: JUMPDEST
00000ab1: JUMPDEST
00000ab2: SWAP3
00000ab3: POP
00000ab4: SWAP3
00000ab5: SWAP1
00000ab6: POP
00000ab7: JUMP
00000ab8: JUMPDEST
00000ab9: PUSH1 0x00
00000abb: DUP1
00000abc: PUSH1 0x00
00000abe: DUP1
00000abf: PUSH1 0x00
00000ac1: PUSH1 0x60
00000ac3: DUP7
00000ac4: DUP9
00000ac5: SUB
00000ac6: SLT
00000ac7: ISZERO
00000ac8: PUSH2 0x0ad4
00000acb: JUMPI
00000acc: PUSH2 0x0ad3
00000acf: PUSH2 0x0745
00000ad2: JUMP
00000ad3: JUMPDEST
00000ad4: JUMPDEST
00000ad5: PUSH1 0x00
00000ad7: PUSH2 0x0ae2
00000ada: DUP9
00000adb: DUP3
00000adc: DUP10
00000add: ADD
00000ade: PUSH2 0x0798
00000ae1: JUMP
00000ae2: JUMPDEST
00000ae3: SWAP6
00000ae4: POP
00000ae5: POP
00000ae6: PUSH1 0x20
00000ae8: DUP7
00000ae9: ADD
00000aea: CALLDATALOAD
00000aeb: PUSH8 0xffffffffffffffff
00000af4: DUP2
00000af5: GT
00000af6: ISZERO
00000af7: PUSH2 0x0b03
00000afa: JUMPI
00000afb: PUSH2 0x0b02
00000afe: PUSH2 0x074a
00000b01: JUMP
00000b02: JUMPDEST
00000b03: JUMPDEST
00000b04: PUSH2 0x0b0f
00000b07: DUP9
00000b08: DUP3
00000b09: DUP10
00000b0a: ADD
00000b0b: PUSH2 0x0a0c
00000b0e: JUMP
00000b0f: JUMPDEST
00000b10: SWAP5
00000b11: POP
00000b12: SWAP5
00000b13: POP
00000b14: POP
00000b15: PUSH1 0x40
00000b17: DUP7
00000b18: ADD
00000b19: CALLDATALOAD
00000b1a: PUSH8 0xffffffffffffffff
00000b23: DUP2
00000b24: GT
00000b25: ISZERO
00000b26: PUSH2 0x0b32
00000b29: JUMPI
00000b2a: PUSH2 0x0b31
00000b2d: PUSH2 0x074a
00000b30: JUMP
00000b31: JUMPDEST
00000b32: JUMPDEST
00000b33: PUSH2 0x0b3e
00000b36: DUP9
00000b37: DUP3
00000b38: DUP10
00000b39: ADD
00000b3a: PUSH2 0x0a62
00000b3d: JUMP
00000b3e: JUMPDEST
00000b3f: SWAP3
00000b40: POP
00000b41: SWAP3
00000b42: POP
00000b43: POP
00000b44: SWAP3
00000b45: SWAP6
00000b46: POP
00000b47: SWAP3
00000b48: SWAP6
00000b49: SWAP1
00000b4a: SWAP4
00000b4b: POP
00000b4c: JUMP
00000b4d: JUMPDEST
00000b4e: PUSH2 0x0b56
00000b51: DUP2
00000b52: PUSH2 0x076f
00000b55: JUMP
00000b56: JUMPDEST
00000b57: DUP3
00000b58: MSTORE
00000b59: POP
00000b5a: POP
00000b5b: JUMP
00000b5c: JUMPDEST
00000b5d: PUSH1 0x00
00000b5f: PUSH1 0x20
00000b61: DUP3
00000b62: ADD
00000b63: SWAP1
00000b64: POP
00000b65: PUSH2 0x0b71
00000b68: PUSH1 0x00
00000b6a: DUP4
00000b6b: ADD
00000b6c: DUP5
00000b6d: PUSH2 0x0b4d
00000b70: JUMP
00000b71: JUMPDEST
00000b72: SWAP3
00000b73: SWAP2
00000b74: POP
00000b75: POP
00000b76: JUMP
00000b77: JUMPDEST
00000b78: PUSH1 0x00
00000b7a: DUP1
00000b7b: DUP4
00000b7c: PUSH1 0x1f
00000b7e: DUP5
00000b7f: ADD
00000b80: SLT
00000b81: PUSH2 0x0b8d
00000b84: JUMPI
00000b85: PUSH2 0x0b8c
00000b88: PUSH2 0x07e3
00000b8b: JUMP
00000b8c: JUMPDEST
00000b8d: JUMPDEST
00000b8e: DUP3
00000b8f: CALLDATALOAD
00000b90: SWAP1
00000b91: POP
00000b92: PUSH8 0xffffffffffffffff
00000b9b: DUP2
00000b9c: GT
00000b9d: ISZERO
00000b9e: PUSH2 0x0baa
00000ba1: JUMPI
00000ba2: PUSH2 0x0ba9
00000ba5: PUSH2 0x0a02
00000ba8: JUMP
00000ba9: JUMPDEST
00000baa: JUMPDEST
00000bab: PUSH1 0x20
00000bad: DUP4
00000bae: ADD
00000baf: SWAP2
00000bb0: POP
00000bb1: DUP4
00000bb2: PUSH1 0x01
00000bb4: DUP3
00000bb5: MUL
00000bb6: DUP4
00000bb7: ADD
00000bb8: GT
00000bb9: ISZERO
00000bba: PUSH2 0x0bc6
00000bbd: JUMPI
00000bbe: PUSH2 0x0bc5
00000bc1: PUSH2 0x0a07
00000bc4: JUMP
00000bc5: JUMPDEST
00000bc6: JUMPDEST
00000bc7: SWAP3
00000bc8: POP
00000bc9: SWAP3
00000bca: SWAP1
00000bcb: POP
00000bcc: JUMP
00000bcd: JUMPDEST
00000bce: PUSH1 0x00
00000bd0: DUP1
00000bd1: PUSH1 0x00
00000bd3: DUP1
00000bd4: PUSH1 0x60
00000bd6: DUP6
00000bd7: DUP8
00000bd8: SUB
00000bd9: SLT
00000bda: ISZERO
00000bdb: PUSH2 0x0be7
00000bde: JUMPI
00000bdf: PUSH2 0x0be6
00000be2: PUSH2 0x0745
00000be5: JUMP
00000be6: JUMPDEST
00000be7: JUMPDEST
00000be8: PUSH1 0x00
00000bea: PUSH2 0x0bf5
00000bed: DUP8
00000bee: DUP3
00000bef: DUP9
00000bf0: ADD
00000bf1: PUSH2 0x0798
00000bf4: JUMP
00000bf5: JUMPDEST
00000bf6: SWAP5
00000bf7: POP
00000bf8: POP
00000bf9: PUSH1 0x20
00000bfb: PUSH2 0x0c06
00000bfe: DUP8
00000bff: DUP3
00000c00: DUP9
00000c01: ADD
00000c02: PUSH2 0x07ce
00000c05: JUMP
00000c06: JUMPDEST
00000c07: SWAP4
00000c08: POP
00000c09: POP
00000c0a: PUSH1 0x40
00000c0c: DUP6
00000c0d: ADD
00000c0e: CALLDATALOAD
00000c0f: PUSH8 0xffffffffffffffff
00000c18: DUP2
00000c19: GT
00000c1a: ISZERO
00000c1b: PUSH2 0x0c27
00000c1e: JUMPI
00000c1f: PUSH2 0x0c26
00000c22: PUSH2 0x074a
00000c25: JUMP
00000c26: JUMPDEST
00000c27: JUMPDEST
00000c28: PUSH2 0x0c33
00000c2b: DUP8
00000c2c: DUP3
00000c2d: DUP9
00000c2e: ADD
00000c2f: PUSH2 0x0b77
00000c32: JUMP
00000c33: JUMPDEST
00000c34: SWAP3
00000c35: POP
00000c36: SWAP3
00000c37: POP
00000c38: POP
00000c39: SWAP3
00000c3a: SWAP6
00000c3b: SWAP2
00000c3c: SWAP5
00000c3d: POP
00000c3e: SWAP3
00000c3f: POP
00000c40: JUMP
00000c41: JUMPDEST
00000c42: PUSH1 0x00
00000c44: DUP2
00000c45: MLOAD
00000c46: SWAP1
00000c47: POP
00000c48: SWAP2
00000c49: SWAP1
00000c4a: POP
00000c4b: JUMP
00000c4c: JUMPDEST
00000c4d: PUSH1 0x00
00000c4f: DUP3
00000c50: DUP3
00000c51: MSTORE
00000c52: PUSH1 0x20
00000c54: DUP3
00000c55: ADD
00000c56: SWAP1
00000c57: POP
00000c58: SWAP3
00000c59: SWAP2
00000c5a: POP
00000c5b: POP
00000c5c: JUMP
00000c5d: JUMPDEST
00000c5e: PUSH1 0x00
00000c60: JUMPDEST
00000c61: DUP4
00000c62: DUP2
00000c63: LT
00000c64: ISZERO
00000c65: PUSH2 0x0c7b
00000c68: JUMPI
00000c69: DUP1
00000c6a: DUP3
00000c6b: ADD
00000c6c: MLOAD
00000c6d: DUP2
00000c6e: DUP5
00000c6f: ADD
00000c70: MSTORE
00000c71: PUSH1 0x20
00000c73: DUP2
00000c74: ADD
00000c75: SWAP1
00000c76: POP
00000c77: PUSH2 0x0c60
00000c7a: JUMP
00000c7b: JUMPDEST
00000c7c: PUSH1 0x00
00000c7e: DUP5
00000c7f: DUP5
00000c80: ADD
00000c81: MSTORE
00000c82: POP
00000c83: POP
00000c84: POP
00000c85: POP
00000c86: JUMP
00000c87: JUMPDEST
00000c88: PUSH1 0x00
00000c8a: PUSH2 0x0c92
00000c8d: DUP3
00000c8e: PUSH2 0x0c41
00000c91: JUMP
00000c92: JUMPDEST
00000c93: PUSH2 0x0c9c
00000c96: DUP2
00000c97: DUP6
00000c98: PUSH2 0x0c4c
00000c9b: JUMP
00000c9c: JUMPDEST
00000c9d: SWAP4
00000c9e: POP
00000c9f: PUSH2 0x0cac
00000ca2: DUP2
00000ca3: DUP6
00000ca4: PUSH1 0x20
00000ca6: DUP7
00000ca7: ADD
00000ca8: PUSH2 0x0c5d
00000cab: JUMP
00000cac: JUMPDEST
00000cad: PUSH2 0x0cb5
00000cb0: DUP2
00000cb1: PUSH2 0x07ed
00000cb4: JUMP
00000cb5: JUMPDEST
00000cb6: DUP5
00000cb7: ADD
00000cb8: SWAP2
00000cb9: POP
00000cba: POP
00000cbb: SWAP3
00000cbc: SWAP2
00000cbd: POP
00000cbe: POP
00000cbf: JUMP
00000cc0: JUMPDEST
00000cc1: PUSH1 0x00
00000cc3: PUSH1 0x20
00000cc5: DUP3
00000cc6: ADD
00000cc7: SWAP1
00000cc8: POP
00000cc9: DUP2
00000cca: DUP2
00000ccb: SUB
00000ccc: PUSH1 0x00
00000cce: DUP4
00000ccf: ADD
00000cd0: MSTORE
00000cd1: PUSH2 0x0cda
00000cd4: DUP2
00000cd5: DUP5
00000cd6: PUSH2 0x0c87
00000cd9: JUMP
00000cda: JUMPDEST
00000cdb: SWAP1
00000cdc: POP
00000cdd: SWAP3
00000cde: SWAP2
00000cdf: POP
00000ce0: POP
00000ce1: JUMP
00000ce2: JUMPDEST
00000ce3: PUSH1 0x00
00000ce5: DUP1
00000ce6: PUSH1 0x00
00000ce8: DUP1
00000ce9: PUSH1 0x40
00000ceb: DUP6
00000cec: DUP8
00000ced: SUB
00000cee: SLT
00000cef: ISZERO
00000cf0: PUSH2 0x0cfc
00000cf3: JUMPI
00000cf4: PUSH2 0x0cfb
00000cf7: PUSH2 0x0745
00000cfa: JUMP
00000cfb: JUMPDEST
00000cfc: JUMPDEST
00000cfd: PUSH1 0x00
00000cff: DUP6
00000d00: ADD
00000d01: CALLDATALOAD
00000d02: PUSH8 0xffffffffffffffff
00000d0b: DUP2
00000d0c: GT
00000d0d: ISZERO
00000d0e: PUSH2 0x0d1a
00000d11: JUMPI
00000d12: PUSH2 0x0d19
00000d15: PUSH2 0x074a
00000d18: JUMP
00000d19: JUMPDEST
00000d1a: JUMPDEST
00000d1b: PUSH2 0x0d26
00000d1e: DUP8
00000d1f: DUP3
00000d20: DUP9
00000d21: ADD
00000d22: PUSH2 0x0a0c
00000d25: JUMP
00000d26: JUMPDEST
00000d27: SWAP5
00000d28: POP
00000d29: SWAP5
00000d2a: POP
00000d2b: POP
00000d2c: PUSH1 0x20
00000d2e: DUP6
00000d2f: ADD
00000d30: CALLDATALOAD
00000d31: PUSH8 0xffffffffffffffff
00000d3a: DUP2
00000d3b: GT
00000d3c: ISZERO
00000d3d: PUSH2 0x0d49
00000d40: JUMPI
00000d41: PUSH2 0x0d48
00000d44: PUSH2 0x074a
00000d47: JUMP
00000d48: JUMPDEST
00000d49: JUMPDEST
00000d4a: PUSH2 0x0d55
00000d4d: DUP8
00000d4e: DUP3
00000d4f: DUP9
00000d50: ADD
00000d51: PUSH2 0x0a62
00000d54: JUMP
00000d55: JUMPDEST
00000d56: SWAP3
00000d57: POP
00000d58: SWAP3
00000d59: POP
00000d5a: POP
00000d5b: SWAP3
00000d5c: SWAP6
00000d5d: SWAP2
00000d5e: SWAP5
00000d5f: POP
00000d60: SWAP3
00000d61: POP
00000d62: JUMP
00000d63: JUMPDEST
00000d64: PUSH1 0x00
00000d66: DUP3
00000d67: DUP3
00000d68: MSTORE
00000d69: PUSH1 0x20
00000d6b: DUP3
00000d6c: ADD
00000d6d: SWAP1
00000d6e: POP
00000d6f: SWAP3
00000d70: SWAP2
00000d71: POP
00000d72: POP
00000d73: JUMP
00000d74: JUMPDEST
00000d75: PUSH32 0x616d6f756e7420636f756e74206d69736d617463680000000000000000000000
00000d96: PUSH1 0x00
00000d98: DUP3
00000d99: ADD
00000d9a: MSTORE
00000d9b: POP
00000d9c: JUMP
00000d9d: JUMPDEST
00000d9e: PUSH1 0x00
00000da0: PUSH2 0x0daa
00000da3: PUSH1 0x15
00000da5: DUP4
00000da6: PUSH2 0x0d63
00000da9: JUMP
00000daa: JUMPDEST
00000dab: SWAP2
00000dac: POP
00000dad: PUSH2 0x0db5
00000db0: DUP3
00000db1: PUSH2 0x0d74
00000db4: JUMP
00000db5: JUMPDEST
00000db6: PUSH1 0x20
00000db8: DUP3
00000db9: ADD
00000dba: SWAP1
00000dbb: POP
00000dbc: SWAP2
00000dbd: SWAP1
00000dbe: POP
00000dbf: JUMP
00000dc0: JUMPDEST
00000dc1: PUSH1 0x00
00000dc3: PUSH1 0x20
00000dc5: DUP3
00000dc6: ADD
00000dc7: SWAP1
00000dc8: POP
00000dc9: DUP2
00000dca: DUP2
00000dcb: SUB
00000dcc: PUSH1 0x00
00000dce: DUP4
00000dcf: ADD
00000dd0: MSTORE
00000dd1: PUSH2 0x0dd9
00000dd4: DUP2
00000dd5: PUSH2 0x0d9d
00000dd8: JUMP
00000dd9: JUMPDEST
00000dda: SWAP1
00000ddb: POP
00000ddc: SWAP2
00000ddd: SWAP1
00000dde: POP
00000ddf: JUMP
00000de0: JUMPDEST
00000de1: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000e02: PUSH1 0x00
00000e04: MSTORE
00000e05: PUSH1 0x32
00000e07: PUSH1 0x04
00000e09: MSTORE
00000e0a: PUSH1 0x24
00000e0c: PUSH1 0x00
00000e0e: REVERT
00000e0f: JUMPDEST
00000e10: PUSH1 0x00
00000e12: PUSH1 0x20
00000e14: DUP3
00000e15: DUP5
00000e16: SUB
00000e17: SLT
00000e18: ISZERO
00000e19: PUSH2 0x0e25
00000e1c: JUMPI
00000e1d: PUSH2 0x0e24
00000e20: PUSH2 0x0745
00000e23: JUMP
00000e24: JUMPDEST
00000e25: JUMPDEST
00000e26: PUSH1 0x00
00000e28: PUSH2 0x0e33
00000e2b: DUP5
00000e2c: DUP3
00000e2d: DUP6
00000e2e: ADD
00000e2f: PUSH2 0x0798
00000e32: JUMP
00000e33: JUMPDEST
00000e34: SWAP2
00000e35: POP
00000e36: POP
00000e37: SWAP3
00000e38: SWAP2
00000e39: POP
00000e3a: POP
00000e3b: JUMP
00000e3c: JUMPDEST
00000e3d: PUSH2 0x0e45
00000e40: DUP2
00000e41: PUSH2 0x07ad
00000e44: JUMP
00000e45: JUMPDEST
00000e46: DUP3
00000e47: MSTORE
00000e48: POP
00000e49: POP
00000e4a: JUMP
00000e4b: JUMPDEST
00000e4c: PUSH1 0x00
00000e4e: PUSH1 0x40
00000e50: DUP3
00000e51: ADD
00000e52: SWAP1
00000e53: POP
00000e54: PUSH2 0x0e60
00000e57: PUSH1 0x00
00000e59: DUP4
00000e5a: ADD
00000e5b: DUP6
00000e5c: PUSH2 0x0b4d
00000e5f: JUMP
00000e60: JUMPDEST
00000e61: PUSH2 0x0e6d
00000e64: PUSH1 0x20
00000e66: DUP4
00000e67: ADD
00000e68: DUP5
00000e69: PUSH2 0x0e3c
00000e6c: JUMP
00000e6d: JUMPDEST
00000e6e: SWAP4
00000e6f: SWAP3
00000e70: POP
00000e71: POP
00000e72: POP
00000e73: JUMP
00000e74: JUMPDEST
00000e75: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000e96: PUSH1 0x00
00000e98: MSTORE
00000e99: PUSH1 0x11
00000e9b: PUSH1 0x04
00000e9d: MSTORE
00000e9e: PUSH1 0x24
00000ea0: PUSH1 0x00
00000ea2: REVERT
00000ea3: JUMPDEST
00000ea4: PUSH1 0x00
00000ea6: PUSH2 0x0eae
00000ea9: DUP3
00000eaa: PUSH2 0x07ad
00000ead: JUMP
00000eae: JUMPDEST
00000eaf: SWAP2
00000eb0: POP
00000eb1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000ed2: DUP3
00000ed3: SUB
00000ed4: PUSH2 0x0ee0
00000ed7: JUMPI
00000ed8: PUSH2 0x0edf
00000edb: PUSH2 0x0e74
00000ede: JUMP
00000edf: JUMPDEST
00000ee0: JUMPDEST
00000ee1: PUSH1 0x01
00000ee3: DUP3
00000ee4: ADD
00000ee5: SWAP1
00000ee6: POP
00000ee7: SWAP2
00000ee8: SWAP1
00000ee9: POP
00000eea: JUMP
00000eeb: JUMPDEST
00000eec: PUSH1 0x00
00000eee: DUP2
00000eef: SWAP1
00000ef0: POP
00000ef1: SWAP3
00000ef2: SWAP2
00000ef3: POP
00000ef4: POP
00000ef5: JUMP
00000ef6: JUMPDEST
00000ef7: PUSH1 0x00
00000ef9: PUSH2 0x0f02
00000efc: DUP4
00000efd: DUP6
00000efe: PUSH2 0x0eeb
00000f01: JUMP
00000f02: JUMPDEST
00000f03: SWAP4
00000f04: POP
00000f05: PUSH2 0x0f0f
00000f08: DUP4
00000f09: DUP6
00000f0a: DUP5
00000f0b: PUSH2 0x08aa
00000f0e: JUMP
00000f0f: JUMPDEST
00000f10: DUP3
00000f11: DUP5
00000f12: ADD
00000f13: SWAP1
00000f14: POP
00000f15: SWAP4
00000f16: SWAP3
00000f17: POP
00000f18: POP
00000f19: POP
00000f1a: JUMP
00000f1b: JUMPDEST
00000f1c: PUSH1 0x00
00000f1e: PUSH2 0x0f28
00000f21: DUP3
00000f22: DUP5
00000f23: DUP7
00000f24: PUSH2 0x0ef6
00000f27: JUMP
00000f28: JUMPDEST
00000f29: SWAP2
00000f2a: POP
00000f2b: DUP2
00000f2c: SWAP1
00000f2d: POP
00000f2e: SWAP4
00000f2f: SWAP3
00000f30: POP
00000f31: POP
00000f32: POP
00000f33: JUMP
00000f34: JUMPDEST
00000f35: PUSH32 0x7472616e73616374696f6e206661696c65640000000000000000000000000000
00000f56: PUSH1 0x00
00000f58: DUP3
00000f59: ADD
00000f5a: MSTORE
00000f5b: POP
00000f5c: JUMP
00000f5d: JUMPDEST
00000f5e: PUSH1 0x00
00000f60: PUSH2 0x0f6a
00000f63: PUSH1 0x12
00000f65: DUP4
00000f66: PUSH2 0x0d63
00000f69: JUMP
00000f6a: JUMPDEST
00000f6b: SWAP2
00000f6c: POP
00000f6d: PUSH2 0x0f75
00000f70: DUP3
00000f71: PUSH2 0x0f34
00000f74: JUMP
00000f75: JUMPDEST
00000f76: PUSH1 0x20
00000f78: DUP3
00000f79: ADD
00000f7a: SWAP1
00000f7b: POP
00000f7c: SWAP2
00000f7d: SWAP1
00000f7e: POP
00000f7f: JUMP
00000f80: JUMPDEST
00000f81: PUSH1 0x00
00000f83: PUSH1 0x20
00000f85: DUP3
00000f86: ADD
00000f87: SWAP1
00000f88: POP
00000f89: DUP2
00000f8a: DUP2
00000f8b: SUB
00000f8c: PUSH1 0x00
00000f8e: DUP4
00000f8f: ADD
00000f90: MSTORE
00000f91: PUSH2 0x0f99
00000f94: DUP2
00000f95: PUSH2 0x0f5d
00000f98: JUMP
00000f99: JUMPDEST
00000f9a: SWAP1
00000f9b: POP
00000f9c: SWAP2
00000f9d: SWAP1
00000f9e: POP
00000f9f: JUMP
00000fa0: JUMPDEST
00000fa1: PUSH1 0x00
00000fa3: PUSH1 0x60
00000fa5: DUP3
00000fa6: ADD
00000fa7: SWAP1
00000fa8: POP
00000fa9: PUSH2 0x0fb5
00000fac: PUSH1 0x00
00000fae: DUP4
00000faf: ADD
00000fb0: DUP7
00000fb1: PUSH2 0x0b4d
00000fb4: JUMP
00000fb5: JUMPDEST
00000fb6: PUSH2 0x0fc2
00000fb9: PUSH1 0x20
00000fbb: DUP4
00000fbc: ADD
00000fbd: DUP6
00000fbe: PUSH2 0x0b4d
00000fc1: JUMP
00000fc2: JUMPDEST
00000fc3: PUSH2 0x0fcf
00000fc6: PUSH1 0x40
00000fc8: DUP4
00000fc9: ADD
00000fca: DUP5
00000fcb: PUSH2 0x0e3c
00000fce: JUMP
00000fcf: JUMPDEST
00000fd0: SWAP5
00000fd1: SWAP4
00000fd2: POP
00000fd3: POP
00000fd4: POP
00000fd5: POP
00000fd6: JUMP
00000fd7: JUMPDEST
00000fd8: POP
00000fd9: JUMP
00000fda: JUMPDEST
00000fdb: PUSH1 0x00
00000fdd: PUSH2 0x0fe7
00000fe0: PUSH1 0x00
00000fe2: DUP4
00000fe3: PUSH2 0x0eeb
00000fe6: JUMP
00000fe7: JUMPDEST
00000fe8: SWAP2
00000fe9: POP
00000fea: PUSH2 0x0ff2
00000fed: DUP3
00000fee: PUSH2 0x0fd7
00000ff1: JUMP
00000ff2: JUMPDEST
00000ff3: PUSH1 0x00
00000ff5: DUP3
00000ff6: ADD
00000ff7: SWAP1
00000ff8: POP
00000ff9: SWAP2
00000ffa: SWAP1
00000ffb: POP
00000ffc: JUMP
00000ffd: JUMPDEST
00000ffe: PUSH1 0x00
00001000: PUSH2 0x1008
00001003: DUP3
00001004: PUSH2 0x0fda
00001007: JUMP
00001008: JUMPDEST
00001009: SWAP2
0000100a: POP
0000100b: DUP2
0000100c: SWAP1
0000100d: POP
0000100e: SWAP2
0000100f: SWAP1
00001010: POP
00001011: JUMP
00001012: INVALID
00001013: LOG2
00001014: PUSH5 0x6970667358
0000101a: UNKNOWN(0x22)
0000101b: SLT
0000101c: KECCAK256
0000101d: PUSH27 0x2c7ed1ec4f8c534bc332020005c0cb99e4a003ad6fd0f96f476386
00001039: ADDRESS
0000103a: SLOAD
0000103b: UNKNOWN(0xEE)
0000103c: PUSH29