Analysis Run

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-d0lco0sk
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5ca0-439f-7732-ab5b-fa56876006c0
--------
user
You are a security auditor. You ONLY have runtime bytecode + analysis artifacts.
You MUST read `BYTECODE_BUNDLE.json` before concluding; it contains the bytecode summary,
evidence bundle, callsites, storage slots, and detector findings.

Special cases when reasoning from bytecode (be explicit about uncertainty):
- Selector inference is best-effort; missing selectors are common.
- Fallback/receive paths may be the only entrypoints.
- CALL vs DELEGATECALL semantics differ; DELEGATECALL executes in caller storage.
- Proxy patterns (EIP-1967, minimal proxies, beacon) change which storage is authoritative.
- Storage slots are raw; mappings/arrays appear via keccak patterns, names are unknown.
- Guard detection is heuristic; absence of guards does NOT mean unguarded.
- Returndata checking is unknown unless explicitly shown in evidence.
- Precompiles (0x1..0x9) and common ERC20 transfer selectors may appear; do not over-claim.

Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title.
- Locations can be pc references like "pc:0x123" or selectors like "selector:0xa9059cbb".

Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation,
accounting/invariant breaks, dangerous delegatecall, and untrusted external calls.
Be conservative: if evidence is weak, mark severity low/medium and explain why.
warning: Codex could not find system bubblewrap on PATH. Please install bubblewrap with your package manager. Codex will use the vendored bubblewrap in the meantime.
ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.
ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.

{
    "codex": {
        "ran_at": "2026-04-05T07:51:41.786377+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 10040,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": null,
    "no_findings": null,
    "schema_version": 1
}

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00c4
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x24600fc3
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00db
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x30b67baa
00000025: EQ
00000026: PUSH2 0x00e6
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x43243797
00000030: EQ
00000031: PUSH2 0x00f8
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x52f6747a
0000003b: EQ
0000003c: PUSH2 0x011d
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x5fbddcf3
00000046: EQ
00000047: PUSH2 0x0136
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x613de7cb
00000051: EQ
00000052: PUSH2 0x0148
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x65f17913
0000005c: EQ
0000005d: PUSH2 0x015a
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x67fc1c6a
00000067: EQ
00000068: PUSH2 0x0237
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x80c951bf
00000072: EQ
00000073: PUSH2 0x02b8
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x85528394
0000007d: EQ
0000007e: PUSH2 0x02c7
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x9fd4f7d1
00000088: EQ
00000089: PUSH2 0x02d9
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xb66a323c
00000093: EQ
00000094: PUSH2 0x02e7
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xc8fdc891
0000009e: EQ
0000009f: PUSH2 0x0334
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xcf3e52d9
000000a9: EQ
000000aa: PUSH2 0x0343
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xebb3fd8d
000000b4: EQ
000000b5: PUSH2 0x0355
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xf4aa1291
000000bf: EQ
000000c0: PUSH2 0x03b0
000000c3: JUMPI
000000c4: JUMPDEST
000000c5: PUSH2 0x03c4
000000c8: PUSH2 0x03c6
000000cb: JUMPDEST
000000cc: PUSH1 0x00
000000ce: SLOAD
000000cf: PUSH1 0xff
000000d1: AND
000000d2: ISZERO
000000d3: PUSH2 0x05bb
000000d6: JUMPI
000000d7: PUSH2 0x0002
000000da: JUMP
000000db: JUMPDEST
000000dc: PUSH2 0x03c4
000000df: PUSH2 0x066a
000000e2: PUSH2 0x00cb
000000e5: JUMP
000000e6: JUMPDEST
000000e7: PUSH2 0x042f
000000ea: PUSH1 0x03
000000ec: SLOAD
000000ed: PUSH1 0x01
000000ef: PUSH1 0xa0
000000f1: PUSH1 0x02
000000f3: EXP
000000f4: SUB
000000f5: AND
000000f6: DUP2
000000f7: JUMP
000000f8: JUMPDEST
000000f9: PUSH2 0x044c
000000fc: PUSH1 0x04
000000fe: CALLDATALOAD
000000ff: PUSH1 0x01
00000101: PUSH1 0xa0
00000103: PUSH1 0x02
00000105: EXP
00000106: SUB
00000107: DUP2
00000108: AND
00000109: PUSH1 0x00
0000010b: SWAP1
0000010c: DUP2
0000010d: MSTORE
0000010e: PUSH1 0x01
00000110: PUSH1 0x20
00000112: MSTORE
00000113: PUSH1 0x40
00000115: SWAP1
00000116: KECCAK256
00000117: SLOAD
00000118: JUMPDEST
00000119: SWAP2
0000011a: SWAP1
0000011b: POP
0000011c: JUMP
0000011d: JUMPDEST
0000011e: PUSH1 0x08
00000120: SLOAD
00000121: PUSH1 0x05
00000123: SLOAD
00000124: PUSH1 0x04
00000126: SLOAD
00000127: PUSH1 0x06
00000129: SLOAD
0000012a: PUSH1 0x07
0000012c: SLOAD
0000012d: PUSH2 0x045e
00000130: SWAP5
00000131: SWAP3
00000132: SWAP4
00000133: SWAP3
00000134: DUP6
00000135: JUMP
00000136: JUMPDEST
00000137: PUSH2 0x0489
0000013a: JUMPDEST
0000013b: PUSH1 0x00
0000013d: PUSH1 0x00
0000013f: PUSH1 0x00
00000141: PUSH2 0x06a2
00000144: PUSH2 0x0338
00000147: JUMP
00000148: JUMPDEST
00000149: PUSH2 0x042f
0000014c: PUSH1 0x0b
0000014e: SLOAD
0000014f: PUSH1 0x01
00000151: PUSH1 0xa0
00000153: PUSH1 0x02
00000155: EXP
00000156: SUB
00000157: AND
00000158: DUP2
00000159: JUMP
0000015a: JUMPDEST
0000015b: PUSH2 0x049d
0000015e: PUSH1 0x04
00000160: CALLDATALOAD
00000161: PUSH1 0x09
00000163: DUP1
00000164: SLOAD
00000165: DUP3
00000166: SWAP1
00000167: DUP2
00000168: LT
00000169: ISZERO
0000016a: PUSH2 0x0002
0000016d: JUMPI
0000016e: POP
0000016f: PUSH1 0x00
00000171: MSTORE
00000172: PUSH1 0x05
00000174: MUL
00000175: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af
00000196: DUP2
00000197: ADD
00000198: SLOAD
00000199: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7b1
000001ba: DUP3
000001bb: ADD
000001bc: SLOAD
000001bd: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7b2
000001de: DUP4
000001df: ADD
000001e0: SLOAD
000001e1: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7b3
00000202: DUP5
00000203: ADD
00000204: SLOAD
00000205: PUSH1 0x01
00000207: PUSH1 0xa0
00000209: PUSH1 0x02
0000020b: EXP
0000020c: SUB
0000020d: SWAP4
0000020e: SWAP1
0000020f: SWAP4
00000210: AND
00000211: SWAP4
00000212: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7b0
00000233: ADD
00000234: SWAP3
00000235: DUP6
00000236: JUMP
00000237: JUMPDEST
00000238: PUSH1 0x40
0000023a: DUP1
0000023b: MLOAD
0000023c: PUSH1 0x20
0000023e: PUSH1 0x04
00000240: DUP1
00000241: CALLDATALOAD
00000242: DUP1
00000243: DUP3
00000244: ADD
00000245: CALLDATALOAD
00000246: PUSH1 0x1f
00000248: DUP2
00000249: ADD
0000024a: DUP5
0000024b: SWAP1
0000024c: DIV
0000024d: DUP5
0000024e: MUL
0000024f: DUP6
00000250: ADD
00000251: DUP5
00000252: ADD
00000253: SWAP1
00000254: SWAP6
00000255: MSTORE
00000256: DUP5
00000257: DUP5
00000258: MSTORE
00000259: PUSH2 0x0489
0000025c: SWAP5
0000025d: SWAP2
0000025e: SWAP4
0000025f: PUSH1 0x24
00000261: SWAP4
00000262: SWAP1
00000263: SWAP3
00000264: SWAP2
00000265: DUP5
00000266: ADD
00000267: SWAP2
00000268: SWAP1
00000269: DUP2
0000026a: SWAP1
0000026b: DUP5
0000026c: ADD
0000026d: DUP4
0000026e: DUP3
0000026f: DUP1
00000270: DUP3
00000271: DUP5
00000272: CALLDATACOPY
00000273: POP
00000274: SWAP5
00000275: SWAP7
00000276: POP
00000277: POP
00000278: POP
00000279: POP
0000027a: POP
0000027b: POP
0000027c: POP
0000027d: PUSH1 0x00
0000027f: PUSH2 0x0733
00000282: DUP3
00000283: JUMPDEST
00000284: PUSH1 0x40
00000286: DUP1
00000287: MLOAD
00000288: PUSH1 0x20
0000028a: DUP2
0000028b: ADD
0000028c: SWAP1
0000028d: SWAP2
0000028e: MSTORE
0000028f: PUSH1 0x00
00000291: SWAP1
00000292: DUP2
00000293: SWAP1
00000294: MSTORE
00000295: DUP2
00000296: MLOAD
00000297: DUP3
00000298: SWAP1
00000299: DUP3
0000029a: DUP1
0000029b: DUP1
0000029c: PUSH1 0x01
0000029e: DUP5
0000029f: LT
000002a0: DUP1
000002a1: PUSH2 0x02aa
000002a4: JUMPI
000002a5: POP
000002a6: PUSH1 0x19
000002a8: DUP5
000002a9: GT
000002aa: JUMPDEST
000002ab: ISZERO
000002ac: PUSH2 0x0d6c
000002af: JUMPI
000002b0: PUSH1 0x00
000002b2: SWAP6
000002b3: POP
000002b4: PUSH2 0x0d62
000002b7: JUMP
000002b8: JUMPDEST
000002b9: PUSH2 0x044c
000002bc: PUSH1 0x00
000002be: PUSH1 0x00
000002c0: PUSH2 0x0741
000002c3: PUSH2 0x02cb
000002c6: JUMP
000002c7: JUMPDEST
000002c8: PUSH2 0x044c
000002cb: JUMPDEST
000002cc: PUSH1 0x00
000002ce: PUSH1 0x00
000002d0: PUSH1 0x00
000002d2: PUSH2 0x075f
000002d5: PUSH2 0x013a
000002d8: JUMP
000002d9: JUMPDEST
000002da: PUSH2 0x03c4
000002dd: PUSH1 0x04
000002df: CALLDATALOAD
000002e0: PUSH2 0x07d0
000002e3: PUSH2 0x00cb
000002e6: JUMP
000002e7: JUMPDEST
000002e8: PUSH1 0x40
000002ea: DUP1
000002eb: MLOAD
000002ec: PUSH1 0x20
000002ee: PUSH1 0x04
000002f0: DUP1
000002f1: CALLDATALOAD
000002f2: DUP1
000002f3: DUP3
000002f4: ADD
000002f5: CALLDATALOAD
000002f6: PUSH1 0x1f
000002f8: DUP2
000002f9: ADD
000002fa: DUP5
000002fb: SWAP1
000002fc: DIV
000002fd: DUP5
000002fe: MUL
000002ff: DUP6
00000300: ADD
00000301: DUP5
00000302: ADD
00000303: SWAP1
00000304: SWAP6
00000305: MSTORE
00000306: DUP5
00000307: DUP5
00000308: MSTORE
00000309: PUSH2 0x03c4
0000030c: SWAP5
0000030d: SWAP2
0000030e: SWAP4
0000030f: PUSH1 0x24
00000311: SWAP4
00000312: SWAP1
00000313: SWAP3
00000314: SWAP2
00000315: DUP5
00000316: ADD
00000317: SWAP2
00000318: SWAP1
00000319: DUP2
0000031a: SWAP1
0000031b: DUP5
0000031c: ADD
0000031d: DUP4
0000031e: DUP3
0000031f: DUP1
00000320: DUP3
00000321: DUP5
00000322: CALLDATACOPY
00000323: POP
00000324: SWAP5
00000325: SWAP7
00000326: POP
00000327: POP
00000328: POP
00000329: POP
0000032a: POP
0000032b: POP
0000032c: POP
0000032d: PUSH2 0x07eb
00000330: PUSH2 0x00cb
00000333: JUMP
00000334: JUMPDEST
00000335: PUSH2 0x044c
00000338: JUMPDEST
00000339: PUSH1 0x09
0000033b: SLOAD
0000033c: PUSH1 0x00
0000033e: NOT
0000033f: ADD
00000340: JUMPDEST
00000341: SWAP1
00000342: JUMP
00000343: JUMPDEST
00000344: PUSH2 0x042f
00000347: PUSH1 0x0a
00000349: SLOAD
0000034a: PUSH1 0x01
0000034c: PUSH1 0xa0
0000034e: PUSH1 0x02
00000350: EXP
00000351: SUB
00000352: AND
00000353: DUP2
00000354: JUMP
00000355: JUMPDEST
00000356: PUSH1 0x40
00000358: DUP1
00000359: MLOAD
0000035a: PUSH1 0x02
0000035c: DUP1
0000035d: SLOAD
0000035e: PUSH1 0x20
00000360: PUSH1 0x01
00000362: DUP3
00000363: AND
00000364: ISZERO
00000365: PUSH2 0x0100
00000368: MUL
00000369: PUSH1 0x00
0000036b: NOT
0000036c: ADD
0000036d: SWAP1
0000036e: SWAP2
0000036f: AND
00000370: DUP3
00000371: SWAP1
00000372: DIV
00000373: PUSH1 0x1f
00000375: DUP2
00000376: ADD
00000377: DUP3
00000378: SWAP1
00000379: DIV
0000037a: DUP3
0000037b: MUL
0000037c: DUP5
0000037d: ADD
0000037e: DUP3
0000037f: ADD
00000380: SWAP1
00000381: SWAP5
00000382: MSTORE
00000383: DUP4
00000384: DUP4
00000385: MSTORE
00000386: PUSH2 0x054d
00000389: SWAP4
0000038a: SWAP1
0000038b: DUP4
0000038c: ADD
0000038d: DUP3
0000038e: DUP3
0000038f: DUP1
00000390: ISZERO
00000391: PUSH2 0x081f
00000394: JUMPI
00000395: DUP1
00000396: PUSH1 0x1f
00000398: LT
00000399: PUSH2 0x07f4
0000039c: JUMPI
0000039d: PUSH2 0x0100
000003a0: DUP1
000003a1: DUP4
000003a2: SLOAD
000003a3: DIV
000003a4: MUL
000003a5: DUP4
000003a6: MSTORE
000003a7: SWAP2
000003a8: PUSH1 0x20
000003aa: ADD
000003ab: SWAP2
000003ac: PUSH2 0x081f
000003af: JUMP
000003b0: JUMPDEST
000003b1: PUSH2 0x03c4
000003b4: PUSH1 0x04
000003b6: CALLDATALOAD
000003b7: PUSH1 0x24
000003b9: CALLDATALOAD
000003ba: PUSH1 0x44
000003bc: CALLDATALOAD
000003bd: PUSH2 0x0827
000003c0: PUSH2 0x00cb
000003c3: JUMP
000003c4: JUMPDEST
000003c5: STOP
000003c6: JUMPDEST
000003c7: PUSH2 0x041d
000003ca: PUSH1 0x40
000003cc: DUP1
000003cd: MLOAD
000003ce: PUSH1 0x20
000003d0: DUP2
000003d1: ADD
000003d2: SWAP1
000003d3: SWAP2
000003d4: MSTORE
000003d5: PUSH1 0x00
000003d7: DUP1
000003d8: DUP3
000003d9: MSTORE
000003da: CALLDATASIZE
000003db: EQ
000003dc: ISZERO
000003dd: PUSH2 0x05ca
000003e0: JUMPI
000003e1: PUSH1 0x40
000003e3: DUP1
000003e4: MLOAD
000003e5: DUP1
000003e6: DUP3
000003e7: ADD
000003e8: SWAP1
000003e9: SWAP2
000003ea: MSTORE
000003eb: PUSH1 0x09
000003ed: DUP2
000003ee: MSTORE
000003ef: PUSH32 0x416e6f6e796d6f75730000000000000000000000000000000000000000000000
00000410: PUSH1 0x20
00000412: DUP3
00000413: ADD
00000414: MSTORE
00000415: PUSH2 0x0650
00000418: SWAP1
00000419: PUSH2 0x065a
0000041c: JUMP
0000041d: JUMPDEST
0000041e: PUSH2 0x042d
00000421: JUMPDEST
00000422: PUSH1 0x00
00000424: DUP1
00000425: SLOAD
00000426: PUSH1 0xff
00000428: NOT
00000429: AND
0000042a: SWAP1
0000042b: SSTORE
0000042c: JUMP
0000042d: JUMPDEST
0000042e: JUMP
0000042f: JUMPDEST
00000430: PUSH1 0x40
00000432: DUP1
00000433: MLOAD
00000434: PUSH1 0x01
00000436: PUSH1 0xa0
00000438: PUSH1 0x02
0000043a: EXP
0000043b: SUB
0000043c: SWAP3
0000043d: SWAP1
0000043e: SWAP3
0000043f: AND
00000440: DUP3
00000441: MSTORE
00000442: MLOAD
00000443: SWAP1
00000444: DUP2
00000445: SWAP1
00000446: SUB
00000447: PUSH1 0x20
00000449: ADD
0000044a: SWAP1
0000044b: RETURN
0000044c: JUMPDEST
0000044d: PUSH1 0x40
0000044f: DUP1
00000450: MLOAD
00000451: SWAP2
00000452: DUP3
00000453: MSTORE
00000454: MLOAD
00000455: SWAP1
00000456: DUP2
00000457: SWAP1
00000458: SUB
00000459: PUSH1 0x20
0000045b: ADD
0000045c: SWAP1
0000045d: RETURN
0000045e: JUMPDEST
0000045f: PUSH1 0x40
00000461: DUP1
00000462: MLOAD
00000463: SWAP6
00000464: DUP7
00000465: MSTORE
00000466: PUSH1 0x20
00000468: DUP7
00000469: ADD
0000046a: SWAP5
0000046b: SWAP1
0000046c: SWAP5
0000046d: MSTORE
0000046e: DUP5
0000046f: DUP5
00000470: ADD
00000471: SWAP3
00000472: SWAP1
00000473: SWAP3
00000474: MSTORE
00000475: PUSH1 0x60
00000477: DUP5
00000478: ADD
00000479: MSTORE
0000047a: PUSH1 0x80
0000047c: DUP4
0000047d: ADD
0000047e: MSTORE
0000047f: MLOAD
00000480: SWAP1
00000481: DUP2
00000482: SWAP1
00000483: SUB
00000484: PUSH1 0xa0
00000486: ADD
00000487: SWAP1
00000488: RETURN
00000489: JUMPDEST
0000048a: PUSH1 0x40
0000048c: DUP1
0000048d: MLOAD
0000048e: SWAP2
0000048f: ISZERO
00000490: ISZERO
00000491: DUP3
00000492: MSTORE
00000493: MLOAD
00000494: SWAP1
00000495: DUP2
00000496: SWAP1
00000497: SUB
00000498: PUSH1 0x20
0000049a: ADD
0000049b: SWAP1
0000049c: RETURN
0000049d: JUMPDEST
0000049e: PUSH1 0x40
000004a0: DUP1
000004a1: MLOAD
000004a2: PUSH1 0x01
000004a4: PUSH1 0xa0
000004a6: PUSH1 0x02
000004a8: EXP
000004a9: SUB
000004aa: DUP8
000004ab: AND
000004ac: DUP2
000004ad: MSTORE
000004ae: SWAP1
000004af: DUP2
000004b0: ADD
000004b1: DUP5
000004b2: SWAP1
000004b3: MSTORE
000004b4: PUSH1 0x60
000004b6: DUP2
000004b7: ADD
000004b8: DUP4
000004b9: SWAP1
000004ba: MSTORE
000004bb: PUSH1 0x80
000004bd: DUP2
000004be: ADD
000004bf: DUP3
000004c0: SWAP1
000004c1: MSTORE
000004c2: PUSH1 0xa0
000004c4: PUSH1 0x20
000004c6: DUP3
000004c7: ADD
000004c8: DUP2
000004c9: DUP2
000004ca: MSTORE
000004cb: DUP7
000004cc: SLOAD
000004cd: PUSH1 0x02
000004cf: PUSH1 0x01
000004d1: DUP3
000004d2: AND
000004d3: ISZERO
000004d4: PUSH2 0x0100
000004d7: MUL
000004d8: PUSH1 0x00
000004da: NOT
000004db: ADD
000004dc: SWAP1
000004dd: SWAP2
000004de: AND
000004df: DIV
000004e0: SWAP2
000004e1: DUP4
000004e2: ADD
000004e3: DUP3
000004e4: SWAP1
000004e5: MSTORE
000004e6: SWAP1
000004e7: PUSH1 0xc0
000004e9: DUP4
000004ea: ADD
000004eb: SWAP1
000004ec: DUP8
000004ed: SWAP1
000004ee: DUP1
000004ef: ISZERO
000004f0: PUSH2 0x053a
000004f3: JUMPI
000004f4: DUP1
000004f5: PUSH1 0x1f
000004f7: LT
000004f8: PUSH2 0x050f
000004fb: JUMPI
000004fc: PUSH2 0x0100
000004ff: DUP1
00000500: DUP4
00000501: SLOAD
00000502: DIV
00000503: MUL
00000504: DUP4
00000505: MSTORE
00000506: SWAP2
00000507: PUSH1 0x20
00000509: ADD
0000050a: SWAP2
0000050b: PUSH2 0x053a
0000050e: JUMP
0000050f: JUMPDEST
00000510: DUP3
00000511: ADD
00000512: SWAP2
00000513: SWAP1
00000514: PUSH1 0x00
00000516: MSTORE
00000517: PUSH1 0x20
00000519: PUSH1 0x00
0000051b: KECCAK256
0000051c: SWAP1
0000051d: JUMPDEST
0000051e: DUP2
0000051f: SLOAD
00000520: DUP2
00000521: MSTORE
00000522: SWAP1
00000523: PUSH1 0x01
00000525: ADD
00000526: SWAP1
00000527: PUSH1 0x20
00000529: ADD
0000052a: DUP1
0000052b: DUP4
0000052c: GT
0000052d: PUSH2 0x051d
00000530: JUMPI
00000531: DUP3
00000532: SWAP1
00000533: SUB
00000534: PUSH1 0x1f
00000536: AND
00000537: DUP3
00000538: ADD
00000539: SWAP2
0000053a: JUMPDEST
0000053b: POP
0000053c: POP
0000053d: SWAP7
0000053e: POP
0000053f: POP
00000540: POP
00000541: POP
00000542: POP
00000543: POP
00000544: POP
00000545: PUSH1 0x40
00000547: MLOAD
00000548: DUP1
00000549: SWAP2
0000054a: SUB
0000054b: SWAP1
0000054c: RETURN
0000054d: JUMPDEST
0000054e: PUSH1 0x40
00000550: MLOAD
00000551: DUP1
00000552: DUP1
00000553: PUSH1 0x20
00000555: ADD
00000556: DUP3
00000557: DUP2
00000558: SUB
00000559: DUP3
0000055a: MSTORE
0000055b: DUP4
0000055c: DUP2
0000055d: DUP2
0000055e: MLOAD
0000055f: DUP2
00000560: MSTORE
00000561: PUSH1 0x20
00000563: ADD
00000564: SWAP2
00000565: POP
00000566: DUP1
00000567: MLOAD
00000568: SWAP1
00000569: PUSH1 0x20
0000056b: ADD
0000056c: SWAP1
0000056d: DUP1
0000056e: DUP4
0000056f: DUP4
00000570: DUP3
00000571: SWAP1
00000572: PUSH1 0x00
00000574: PUSH1 0x04
00000576: PUSH1 0x20
00000578: DUP5
00000579: PUSH1 0x1f
0000057b: ADD
0000057c: DIV
0000057d: PUSH1 0x0f
0000057f: MUL
00000580: PUSH1 0x03
00000582: ADD
00000583: CALL
00000584: POP
00000585: SWAP1
00000586: POP
00000587: SWAP1
00000588: DUP2
00000589: ADD
0000058a: SWAP1
0000058b: PUSH1 0x1f
0000058d: AND
0000058e: DUP1
0000058f: ISZERO
00000590: PUSH2 0x05ad
00000593: JUMPI
00000594: DUP1
00000595: DUP3
00000596: SUB
00000597: DUP1
00000598: MLOAD
00000599: PUSH1 0x01
0000059b: DUP4
0000059c: PUSH1 0x20
0000059e: SUB
0000059f: PUSH2 0x0100
000005a2: EXP
000005a3: SUB
000005a4: NOT
000005a5: AND
000005a6: DUP2
000005a7: MSTORE
000005a8: PUSH1 0x20
000005aa: ADD
000005ab: SWAP2
000005ac: POP
000005ad: JUMPDEST
000005ae: POP
000005af: SWAP3
000005b0: POP
000005b1: POP
000005b2: POP
000005b3: PUSH1 0x40
000005b5: MLOAD
000005b6: DUP1
000005b7: SWAP2
000005b8: SUB
000005b9: SWAP1
000005ba: RETURN
000005bb: JUMPDEST
000005bc: PUSH1 0x00
000005be: DUP1
000005bf: SLOAD
000005c0: PUSH1 0xff
000005c2: NOT
000005c3: AND
000005c4: PUSH1 0x01
000005c6: OR
000005c7: SWAP1
000005c8: SSTORE
000005c9: JUMP
000005ca: JUMPDEST
000005cb: PUSH2 0x0653
000005ce: PUSH1 0x00
000005d0: CALLDATASIZE
000005d1: DUP1
000005d2: DUP1
000005d3: PUSH1 0x1f
000005d5: ADD
000005d6: PUSH1 0x20
000005d8: DUP1
000005d9: SWAP2
000005da: DIV
000005db: MUL
000005dc: PUSH1 0x20
000005de: ADD
000005df: PUSH1 0x40
000005e1: MLOAD
000005e2: SWAP1
000005e3: DUP2
000005e4: ADD
000005e5: PUSH1 0x40
000005e7: MSTORE
000005e8: DUP1
000005e9: SWAP4
000005ea: SWAP3
000005eb: SWAP2
000005ec: SWAP1
000005ed: DUP2
000005ee: DUP2
000005ef: MSTORE
000005f0: PUSH1 0x20
000005f2: ADD
000005f3: DUP4
000005f4: DUP4
000005f5: DUP1
000005f6: DUP3
000005f7: DUP5
000005f8: CALLDATACOPY
000005f9: POP
000005fa: POP
000005fb: POP
000005fc: POP
000005fd: POP
000005fe: POP
000005ff: PUSH1 0x40
00000601: DUP1
00000602: MLOAD
00000603: PUSH1 0x20
00000605: DUP2
00000606: DUP2
00000607: ADD
00000608: DUP4
00000609: MSTORE
0000060a: PUSH1 0x00
0000060c: DUP1
0000060d: DUP4
0000060e: MSTORE
0000060f: DUP4
00000610: MLOAD
00000611: DUP1
00000612: DUP4
00000613: ADD
00000614: DUP6
00000615: MSTORE
00000616: DUP2
00000617: DUP2
00000618: MSTORE
00000619: DUP5
0000061a: MLOAD
0000061b: DUP1
0000061c: DUP7
0000061d: ADD
0000061e: SWAP1
0000061f: SWAP6
00000620: MSTORE
00000621: PUSH1 0x05
00000623: DUP1
00000624: DUP7
00000625: MSTORE
00000626: PUSH1 0xd9
00000628: PUSH1 0x02
0000062a: EXP
0000062b: PUSH5 0x2720a6a29d
00000631: MUL
00000632: SWAP6
00000633: SWAP1
00000634: SWAP4
00000635: ADD
00000636: SWAP5
00000637: SWAP1
00000638: SWAP5
00000639: MSTORE
0000063a: DUP5
0000063b: MLOAD
0000063c: SWAP3
0000063d: SWAP4
0000063e: SWAP2
0000063f: SWAP3
00000640: SWAP1
00000641: SWAP2
00000642: DUP3
00000643: SWAP2
00000644: DUP5
00000645: SWAP1
00000646: LT
00000647: ISZERO
00000648: PUSH2 0x0c21
0000064b: JUMPI
0000064c: PUSH2 0x0002
0000064f: JUMP
00000650: JUMPDEST
00000651: POP
00000652: JUMP
00000653: JUMPDEST
00000654: SWAP1
00000655: POP
00000656: PUSH2 0x0650
00000659: DUP2
0000065a: JUMPDEST
0000065b: CALLER
0000065c: PUSH1 0x00
0000065e: DUP1
0000065f: DUP1
00000660: DUP1
00000661: DUP1
00000662: PUSH2 0x088c
00000665: DUP8
00000666: PUSH2 0x0283
00000669: JUMP
0000066a: JUMPDEST
0000066b: PUSH2 0x041d
0000066e: PUSH1 0x01
00000670: PUSH1 0xa0
00000672: PUSH1 0x02
00000674: EXP
00000675: SUB
00000676: CALLER
00000677: SWAP1
00000678: DUP2
00000679: AND
0000067a: PUSH1 0x00
0000067c: SWAP1
0000067d: DUP2
0000067e: MSTORE
0000067f: PUSH1 0x01
00000681: PUSH1 0x20
00000683: MSTORE
00000684: PUSH1 0x40
00000686: SWAP1
00000687: KECCAK256
00000688: SLOAD
00000689: DUP2
0000068a: SWAP1
0000068b: PUSH2 0x0887
0000068e: DUP3
0000068f: DUP3
00000690: PUSH2 0x59d8
00000693: JUMPDEST
00000694: PUSH1 0x00
00000696: DUP1
00000697: CALLVALUE
00000698: DUP2
00000699: EQ
0000069a: PUSH2 0x1240
0000069d: JUMPI
0000069e: PUSH2 0x0002
000006a1: JUMP
000006a2: JUMPDEST
000006a3: PUSH1 0x00
000006a5: EQ
000006a6: ISZERO
000006a7: PUSH2 0x06b3
000006aa: JUMPI
000006ab: PUSH1 0x00
000006ad: SWAP3
000006ae: POP
000006af: PUSH2 0x072e
000006b2: JUMP
000006b3: JUMPDEST
000006b4: PUSH2 0x06f8
000006b7: JUMPDEST
000006b8: PUSH1 0x09
000006ba: DUP1
000006bb: SLOAD
000006bc: PUSH1 0x00
000006be: SWAP2
000006bf: SWAP1
000006c0: PUSH1 0x00
000006c2: NOT
000006c3: DUP2
000006c4: ADD
000006c5: SWAP1
000006c6: DUP2
000006c7: LT
000006c8: ISZERO
000006c9: PUSH2 0x0002
000006cc: JUMPI
000006cd: SWAP2
000006ce: MSTORE
000006cf: PUSH1 0x05
000006d1: MUL
000006d2: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af
000006f3: ADD
000006f4: PUSH2 0x0340
000006f7: JUMP
000006f8: JUMPDEST
000006f9: PUSH1 0x02
000006fb: ADD
000006fc: SLOAD
000006fd: SWAP2
000006fe: POP
000006ff: TIMESTAMP
00000700: DUP3
00000701: SWAP1
00000702: LT
00000703: ISZERO
00000704: PUSH2 0x0710
00000707: JUMPI
00000708: PUSH1 0x01
0000070a: SWAP3
0000070b: POP
0000070c: PUSH2 0x072e
0000070f: JUMP
00000710: JUMPDEST
00000711: POP
00000712: PUSH1 0x07
00000714: SLOAD
00000715: TIMESTAMP
00000716: DUP3
00000717: SWAP1
00000718: SUB
00000719: SWAP1
0000071a: DUP2
0000071b: GT
0000071c: ISZERO
0000071d: PUSH2 0x0729
00000720: JUMPI
00000721: PUSH1 0x00
00000723: SWAP3
00000724: POP
00000725: PUSH2 0x072e
00000728: JUMP
00000729: JUMPDEST
0000072a: PUSH1 0x01
0000072c: SWAP3
0000072d: POP
0000072e: JUMPDEST
0000072f: POP
00000730: POP
00000731: SWAP1
00000732: JUMP
00000733: JUMPDEST
00000734: SWAP1
00000735: POP
00000736: PUSH2 0x0118
00000739: JUMP
0000073a: JUMPDEST
0000073b: SWAP2
0000073c: POP
0000073d: JUMPDEST
0000073e: POP
0000073f: SWAP1
00000740: JUMP
00000741: JUMPDEST
00000742: SWAP1
00000743: POP
00000744: PUSH2 0x073a
00000747: DUP2
00000748: PUSH7 0x038d7ea4c68000
00000750: PUSH7 0x038d7ea4c67fff
00000758: DUP3
00000759: ADD
0000075a: DIV
0000075b: PUSH2 0x0118
0000075e: JUMP
0000075f: JUMPDEST
00000760: ISZERO
00000761: ISZERO
00000762: PUSH2 0x076f
00000765: JUMPI
00000766: PUSH1 0x04
00000768: SLOAD
00000769: SWAP3
0000076a: POP
0000076b: PUSH2 0x072e
0000076e: JUMP
0000076f: JUMPDEST
00000770: PUSH2 0x0777
00000773: PUSH2 0x06b7
00000776: JUMP
00000777: JUMPDEST
00000778: PUSH1 0x03
0000077a: ADD
0000077b: SLOAD
0000077c: PUSH1 0x06
0000077e: SLOAD
0000077f: SWAP1
00000780: SWAP3
00000781: POP
00000782: PUSH1 0x64
00000784: SWAP1
00000785: DUP2
00000786: ADD
00000787: DUP4
00000788: MUL
00000789: DIV
0000078a: SWAP1
0000078b: POP
0000078c: PUSH2 0x07a7
0000078f: DUP2
00000790: PUSH1 0x00
00000792: PUSH7 0x038d7ea4c68000
0000079a: DUP3
0000079b: LT
0000079c: ISZERO
0000079d: PUSH2 0x1043
000007a0: JUMPI
000007a1: POP
000007a2: DUP1
000007a3: PUSH2 0x0118
000007a6: JUMP
000007a7: JUMPDEST
000007a8: PUSH1 0x04
000007aa: SLOAD
000007ab: SWAP1
000007ac: SWAP2
000007ad: POP
000007ae: DUP2
000007af: LT
000007b0: ISZERO
000007b1: PUSH2 0x07b9
000007b4: JUMPI
000007b5: POP
000007b6: PUSH1 0x04
000007b8: SLOAD
000007b9: JUMPDEST
000007ba: PUSH1 0x05
000007bc: SLOAD
000007bd: DUP2
000007be: GT
000007bf: ISZERO
000007c0: PUSH2 0x07c8
000007c3: JUMPI
000007c4: POP
000007c5: PUSH1 0x05
000007c7: SLOAD
000007c8: JUMPDEST
000007c9: DUP1
000007ca: SWAP3
000007cb: POP
000007cc: PUSH2 0x072e
000007cf: JUMP
000007d0: JUMPDEST
000007d1: PUSH2 0x07e3
000007d4: DUP2
000007d5: PUSH1 0x00
000007d7: DUP1
000007d8: CALLVALUE
000007d9: DUP2
000007da: EQ
000007db: PUSH2 0x113c
000007de: JUMPI
000007df: PUSH2 0x0002
000007e2: JUMP
000007e3: JUMPDEST
000007e4: PUSH2 0x0650
000007e7: PUSH2 0x0421
000007ea: JUMP
000007eb: JUMPDEST
000007ec: PUSH2 0x07e3
000007ef: DUP2
000007f0: PUSH2 0x065a
000007f3: JUMP
000007f4: JUMPDEST
000007f5: DUP3
000007f6: ADD
000007f7: SWAP2
000007f8: SWAP1
000007f9: PUSH1 0x00
000007fb: MSTORE
000007fc: PUSH1 0x20
000007fe: PUSH1 0x00
00000800: KECCAK256
00000801: SWAP1
00000802: JUMPDEST
00000803: DUP2
00000804: SLOAD
00000805: DUP2
00000806: MSTORE
00000807: SWAP1
00000808: PUSH1 0x01
0000080a: ADD
0000080b: SWAP1
0000080c: PUSH1 0x20
0000080e: ADD
0000080f: DUP1
00000810: DUP4
00000811: GT
00000812: PUSH2 0x0802
00000815: JUMPI
00000816: DUP3
00000817: SWAP1
00000818: SUB
00000819: PUSH1 0x1f
0000081b: AND
0000081c: DUP3
0000081d: ADD
0000081e: SWAP2
0000081f: JUMPDEST
00000820: POP
00000821: POP
00000822: POP
00000823: POP
00000824: POP
00000825: DUP2
00000826: JUMP
00000827: JUMPDEST
00000828: PUSH2 0x0832
0000082b: DUP4
0000082c: DUP4
0000082d: DUP4
0000082e: PUSH2 0x0693
00000831: JUMP
00000832: JUMPDEST
00000833: PUSH2 0x0887
00000836: PUSH2 0x0421
00000839: JUMP
0000083a: JUMPDEST
0000083b: SWAP1
0000083c: POP
0000083d: DUP1
0000083e: ISZERO
0000083f: PUSH2 0x133e
00000842: JUMPI
00000843: PUSH1 0x40
00000845: DUP1
00000846: MLOAD
00000847: PUSH1 0x01
00000849: PUSH1 0xa0
0000084b: PUSH1 0x02
0000084d: EXP
0000084e: SUB
0000084f: DUP5
00000850: AND
00000851: DUP2
00000852: MSTORE
00000853: PUSH1 0x20
00000855: DUP2
00000856: ADD
00000857: DUP6
00000858: SWAP1
00000859: MSTORE
0000085a: DUP2
0000085b: MLOAD
0000085c: PUSH32 0x7d457ac38c7ce3817712d251d005636baedf1da88ffa5fe6b241d6139dd4a27d
0000087d: SWAP3
0000087e: SWAP2
0000087f: DUP2
00000880: SWAP1
00000881: SUB
00000882: SWAP1
00000883: SWAP2
00000884: ADD
00000885: SWAP1
00000886: LOG1
00000887: JUMPDEST
00000888: POP
00000889: POP
0000088a: POP
0000088b: JUMP
0000088c: JUMPDEST
0000088d: ISZERO
0000088e: ISZERO
0000088f: PUSH2 0x0897
00000892: JUMPI
00000893: PUSH2 0x0002
00000896: JUMP
00000897: JUMPDEST
00000898: DUP6
00000899: PUSH1 0x01
0000089b: PUSH1 0xa0
0000089d: PUSH1 0x02
0000089f: EXP
000008a0: SUB
000008a1: AND
000008a2: PUSH1 0x00
000008a4: EQ
000008a5: DUP1
000008a6: PUSH2 0x08c0
000008a9: JUMPI
000008aa: POP
000008ab: ADDRESS
000008ac: PUSH1 0x01
000008ae: PUSH1 0xa0
000008b0: PUSH1 0x02
000008b2: EXP
000008b3: SUB
000008b4: AND
000008b5: DUP7
000008b6: PUSH1 0x01
000008b8: PUSH1 0xa0
000008ba: PUSH1 0x02
000008bc: EXP
000008bd: SUB
000008be: AND
000008bf: EQ
000008c0: JUMPDEST
000008c1: ISZERO
000008c2: PUSH2 0x08ca
000008c5: JUMPI
000008c6: PUSH2 0x0002
000008c9: JUMP
000008ca: JUMPDEST
000008cb: CALLVALUE
000008cc: SWAP5
000008cd: POP
000008ce: PUSH2 0x08d5
000008d1: PUSH2 0x02cb
000008d4: JUMP
000008d5: JUMPDEST
000008d6: SWAP4
000008d7: POP
000008d8: DUP4
000008d9: DUP6
000008da: LT
000008db: ISZERO
000008dc: PUSH2 0x08e4
000008df: JUMPI
000008e0: PUSH2 0x0002
000008e3: JUMP
000008e4: JUMPDEST
000008e5: DUP4
000008e6: DUP6
000008e7: SUB
000008e8: SWAP3
000008e9: POP
000008ea: PUSH7 0x038d7ea4c68000
000008f2: DUP4
000008f3: GT
000008f4: ISZERO
000008f5: PUSH2 0x08fd
000008f8: JUMPI
000008f9: PUSH2 0x0002
000008fc: JUMP
000008fd: JUMPDEST
000008fe: PUSH2 0x0905
00000901: PUSH2 0x013a
00000904: JUMP
00000905: JUMPDEST
00000906: ISZERO
00000907: ISZERO
00000908: PUSH2 0x0916
0000090b: JUMPI
0000090c: POP
0000090d: PUSH1 0x00
0000090f: SWAP1
00000910: POP
00000911: DUP4
00000912: PUSH2 0x0927
00000915: JUMP
00000916: JUMPDEST
00000917: POP
00000918: POP
00000919: PUSH1 0x08
0000091b: SLOAD
0000091c: PUSH2 0x03e8
0000091f: SWAP1
00000920: DUP5
00000921: MUL
00000922: DIV
00000923: DUP1
00000924: DUP5
00000925: SUB
00000926: SWAP1
00000927: JUMPDEST
00000928: PUSH1 0x00
0000092a: DUP2
0000092b: EQ
0000092c: PUSH2 0x0a04
0000092f: JUMPI
00000930: PUSH2 0x0a04
00000933: DUP2
00000934: PUSH1 0x0a
00000936: DUP1
00000937: SLOAD
00000938: PUSH1 0x01
0000093a: PUSH1 0xa0
0000093c: PUSH1 0x02
0000093e: EXP
0000093f: SUB
00000940: SWAP1
00000941: DUP2
00000942: AND
00000943: PUSH1 0x00
00000945: SWAP1
00000946: DUP2
00000947: MSTORE
00000948: PUSH1 0x01
0000094a: PUSH1 0x20
0000094c: SWAP1
0000094d: DUP2
0000094e: MSTORE
0000094f: PUSH1 0x40
00000951: SWAP2
00000952: DUP3
00000953: SWAP1
00000954: KECCAK256
00000955: DUP1
00000956: SLOAD
00000957: PUSH1 0x02
00000959: DUP8
0000095a: DIV
0000095b: SWAP1
0000095c: DUP2
0000095d: ADD
0000095e: SWAP1
0000095f: SWAP2
00000960: SSTORE
00000961: SWAP4
00000962: SLOAD
00000963: DUP3
00000964: MLOAD
00000965: SWAP4
00000966: AND
00000967: DUP4
00000968: MSTORE
00000969: DUP3
0000096a: ADD
0000096b: DUP4
0000096c: SWAP1
0000096d: MSTORE
0000096e: DUP1
0000096f: MLOAD
00000970: DUP4
00000971: DUP6
00000972: SUB
00000973: SWAP3
00000974: PUSH32 0xa7c742c9005b3673e5c62782d4799a41faaa8eb54b850d44799906d42aae27e8
00000995: SWAP3
00000996: SWAP1
00000997: DUP3
00000998: SWAP1
00000999: SUB
0000099a: ADD
0000099b: SWAP1
0000099c: LOG1
0000099d: PUSH1 0x0b
0000099f: DUP1
000009a0: SLOAD
000009a1: PUSH1 0x40
000009a3: DUP1
000009a4: MLOAD
000009a5: PUSH1 0x01
000009a7: PUSH1 0xa0
000009a9: PUSH1 0x02
000009ab: EXP
000009ac: SUB
000009ad: SWAP3
000009ae: DUP4
000009af: AND
000009b0: PUSH1 0x00
000009b2: SWAP1
000009b3: DUP2
000009b4: MSTORE
000009b5: PUSH1 0x01
000009b7: PUSH1 0x20
000009b9: SWAP1
000009ba: DUP2
000009bb: MSTORE
000009bc: SWAP1
000009bd: DUP4
000009be: SWAP1
000009bf: KECCAK256
000009c0: DUP1
000009c1: SLOAD
000009c2: DUP8
000009c3: ADD
000009c4: SWAP1
000009c5: SSTORE
000009c6: SWAP4
000009c7: SLOAD
000009c8: SWAP1
000009c9: SWAP3
000009ca: AND
000009cb: DUP3
000009cc: MSTORE
000009cd: SWAP2
000009ce: DUP2
000009cf: ADD
000009d0: DUP4
000009d1: SWAP1
000009d2: MSTORE
000009d3: DUP2
000009d4: MLOAD
000009d5: PUSH32 0xa7c742c9005b3673e5c62782d4799a41faaa8eb54b850d44799906d42aae27e8
000009f6: SWAP3
000009f7: SWAP2
000009f8: DUP2
000009f9: SWAP1
000009fa: SUB
000009fb: SWAP1
000009fc: SWAP2
000009fd: ADD
000009fe: SWAP1
000009ff: LOG1
00000a00: POP
00000a01: POP
00000a02: POP
00000a03: JUMP
00000a04: JUMPDEST
00000a05: PUSH1 0x00
00000a07: DUP3
00000a08: EQ
00000a09: PUSH2 0x0a1c
00000a0c: JUMPI
00000a0d: PUSH2 0x0a1c
00000a10: DUP3
00000a11: PUSH1 0x00
00000a13: PUSH1 0x00
00000a15: PUSH2 0x1318
00000a18: PUSH2 0x06b7
00000a1b: JUMP
00000a1c: JUMPDEST
00000a1d: PUSH1 0x09
00000a1f: DUP1
00000a20: SLOAD
00000a21: PUSH1 0x01
00000a23: DUP2
00000a24: ADD
00000a25: DUP1
00000a26: DUP4
00000a27: SSTORE
00000a28: DUP3
00000a29: DUP2
00000a2a: DUP4
00000a2b: DUP1
00000a2c: ISZERO
00000a2d: DUP3
00000a2e: SWAP1
00000a2f: GT
00000a30: PUSH2 0x0a52
00000a33: JUMPI
00000a34: PUSH1 0x05
00000a36: MUL
00000a37: DUP2
00000a38: PUSH1 0x05
00000a3a: MUL
00000a3b: DUP4
00000a3c: PUSH1 0x00
00000a3e: MSTORE
00000a3f: PUSH1 0x20
00000a41: PUSH1 0x00
00000a43: KECCAK256
00000a44: SWAP2
00000a45: DUP3
00000a46: ADD
00000a47: SWAP2
00000a48: ADD
00000a49: PUSH2 0x0a52
00000a4c: SWAP2
00000a4d: SWAP1
00000a4e: PUSH2 0x0b18
00000a51: JUMP
00000a52: JUMPDEST
00000a53: POP
00000a54: POP
00000a55: POP
00000a56: SWAP2
00000a57: SWAP1
00000a58: SWAP1
00000a59: PUSH1 0x00
00000a5b: MSTORE
00000a5c: PUSH1 0x20
00000a5e: PUSH1 0x00
00000a60: KECCAK256
00000a61: SWAP1
00000a62: PUSH1 0x05
00000a64: MUL
00000a65: ADD
00000a66: PUSH1 0x00
00000a68: POP
00000a69: PUSH1 0x40
00000a6b: DUP1
00000a6c: MLOAD
00000a6d: PUSH1 0xa0
00000a6f: DUP2
00000a70: ADD
00000a71: DUP3
00000a72: MSTORE
00000a73: DUP10
00000a74: DUP2
00000a75: MSTORE
00000a76: PUSH1 0x20
00000a78: DUP2
00000a79: DUP2
00000a7a: ADD
00000a7b: DUP13
00000a7c: SWAP1
00000a7d: MSTORE
00000a7e: TIMESTAMP
00000a7f: SWAP3
00000a80: DUP3
00000a81: ADD
00000a82: SWAP3
00000a83: SWAP1
00000a84: SWAP3
00000a85: MSTORE
00000a86: PUSH1 0x60
00000a88: DUP2
00000a89: ADD
00000a8a: DUP9
00000a8b: SWAP1
00000a8c: MSTORE
00000a8d: PUSH1 0x00
00000a8f: PUSH1 0x80
00000a91: DUP3
00000a92: ADD
00000a93: DUP2
00000a94: SWAP1
00000a95: MSTORE
00000a96: DUP4
00000a97: SLOAD
00000a98: PUSH1 0x01
00000a9a: PUSH1 0xa0
00000a9c: PUSH1 0x02
00000a9e: EXP
00000a9f: SUB
00000aa0: NOT
00000aa1: AND
00000aa2: DUP12
00000aa3: OR
00000aa4: DUP5
00000aa5: SSTORE
00000aa6: DUP12
00000aa7: MLOAD
00000aa8: PUSH1 0x01
00000aaa: DUP6
00000aab: DUP2
00000aac: ADD
00000aad: DUP1
00000aae: SLOAD
00000aaf: DUP2
00000ab0: DUP6
00000ab1: MSTORE
00000ab2: SWAP4
00000ab3: DUP7
00000ab4: SWAP1
00000ab5: KECCAK256
00000ab6: SWAP5
00000ab7: SWAP7
00000ab8: SWAP6
00000ab9: SWAP1
00000aba: SWAP5
00000abb: PUSH1 0x1f
00000abd: PUSH1 0x02
00000abf: SWAP4
00000ac0: DUP7
00000ac1: AND
00000ac2: ISZERO
00000ac3: PUSH2 0x0100
00000ac6: MUL
00000ac7: PUSH1 0x00
00000ac9: NOT
00000aca: ADD
00000acb: SWAP1
00000acc: SWAP6
00000acd: AND
00000ace: SWAP3
00000acf: SWAP1
00000ad0: SWAP3
00000ad1: DIV
00000ad2: DUP5
00000ad3: ADD
00000ad4: DUP2
00000ad5: SWAP1
00000ad6: DIV
00000ad7: DUP3
00000ad8: ADD
00000ad9: SWAP4
00000ada: SWAP1
00000adb: DUP16
00000adc: ADD
00000add: SWAP1
00000ade: DUP4
00000adf: SWAP1
00000ae0: LT
00000ae1: PUSH2 0x0b8a
00000ae4: JUMPI
00000ae5: DUP1
00000ae6: MLOAD
00000ae7: PUSH1 0xff
00000ae9: NOT
00000aea: AND
00000aeb: DUP4
00000aec: DUP1
00000aed: ADD
00000aee: OR
00000aef: DUP6
00000af0: SSTORE
00000af1: JUMPDEST
00000af2: POP
00000af3: PUSH2 0x0bba
00000af6: SWAP3
00000af7: SWAP2
00000af8: POP
00000af9: PUSH2 0x0b76
00000afc: JUMP
00000afd: JUMPDEST
00000afe: POP
00000aff: POP
00000b00: PUSH1 0x00
00000b02: PUSH1 0x02
00000b04: DUP3
00000b05: ADD
00000b06: DUP2
00000b07: SWAP1
00000b08: SSTORE
00000b09: PUSH1 0x03
00000b0b: DUP3
00000b0c: ADD
00000b0d: DUP2
00000b0e: SWAP1
00000b0f: SSTORE
00000b10: PUSH1 0x04
00000b12: DUP3
00000b13: ADD
00000b14: SSTORE
00000b15: PUSH1 0x05
00000b17: ADD
00000b18: JUMPDEST
00000b19: DUP1
00000b1a: DUP3
00000b1b: GT
00000b1c: ISZERO
00000b1d: PUSH2 0x073d
00000b20: JUMPI
00000b21: DUP1
00000b22: SLOAD
00000b23: PUSH1 0x01
00000b25: PUSH1 0xa0
00000b27: PUSH1 0x02
00000b29: EXP
00000b2a: SUB
00000b2b: NOT
00000b2c: AND
00000b2d: DUP2
00000b2e: SSTORE
00000b2f: PUSH1 0x01
00000b31: DUP2
00000b32: DUP2
00000b33: ADD
00000b34: DUP1
00000b35: SLOAD
00000b36: PUSH1 0x00
00000b38: DUP1
00000b39: DUP4
00000b3a: SSTORE
00000b3b: SWAP3
00000b3c: PUSH1 0x02
00000b3e: SWAP1
00000b3f: DUP3
00000b40: AND
00000b41: ISZERO
00000b42: PUSH2 0x0100
00000b45: MUL
00000b46: PUSH1 0x00
00000b48: NOT
00000b49: ADD
00000b4a: SWAP1
00000b4b: SWAP2
00000b4c: AND
00000b4d: DIV
00000b4e: PUSH1 0x1f
00000b50: DUP2
00000b51: SWAP1
00000b52: LT
00000b53: PUSH2 0x0b5c
00000b56: JUMPI
00000b57: POP
00000b58: PUSH2 0x0afd
00000b5b: JUMP
00000b5c: JUMPDEST
00000b5d: PUSH1 0x1f
00000b5f: ADD
00000b60: PUSH1 0x20
00000b62: SWAP1
00000b63: DIV
00000b64: SWAP1
00000b65: PUSH1 0x00
00000b67: MSTORE
00000b68: PUSH1 0x20
00000b6a: PUSH1 0x00
00000b6c: KECCAK256
00000b6d: SWAP1
00000b6e: DUP2
00000b6f: ADD
00000b70: SWAP1
00000b71: PUSH2 0x0afd
00000b74: SWAP2
00000b75: SWAP1
00000b76: JUMPDEST
00000b77: DUP1
00000b78: DUP3
00000b79: GT
00000b7a: ISZERO
00000b7b: PUSH2 0x073d
00000b7e: JUMPI
00000b7f: PUSH1 0x00
00000b81: DUP2
00000b82: SSTORE
00000b83: PUSH1 0x01
00000b85: ADD
00000b86: PUSH2 0x0b76
00000b89: JUMP
00000b8a: JUMPDEST
00000b8b: DUP3
00000b8c: DUP1
00000b8d: ADD
00000b8e: PUSH1 0x01
00000b90: ADD
00000b91: DUP6
00000b92: SSTORE
00000b93: DUP3
00000b94: ISZERO
00000b95: PUSH2 0x0af1
00000b98: JUMPI
00000b99: SWAP2
00000b9a: DUP3
00000b9b: ADD
00000b9c: JUMPDEST
00000b9d: DUP3
00000b9e: DUP2
00000b9f: GT
00000ba0: ISZERO
00000ba1: PUSH2 0x0af1
00000ba4: JUMPI
00000ba5: DUP3
00000ba6: MLOAD
00000ba7: DUP3
00000ba8: PUSH1 0x00
00000baa: POP
00000bab: SSTORE
00000bac: SWAP2
00000bad: PUSH1 0x20
00000baf: ADD
00000bb0: SWAP2
00000bb1: SWAP1
00000bb2: PUSH1 0x01
00000bb4: ADD
00000bb5: SWAP1
00000bb6: PUSH2 0x0b9c
00000bb9: JUMP
00000bba: JUMPDEST
00000bbb: POP
00000bbc: POP
00000bbd: PUSH1 0x40
00000bbf: DUP3
00000bc0: DUP2
00000bc1: ADD
00000bc2: MLOAD
00000bc3: PUSH1 0x02
00000bc5: DUP4
00000bc6: ADD
00000bc7: SSTORE
00000bc8: PUSH1 0x60
00000bca: DUP4
00000bcb: ADD
00000bcc: MLOAD
00000bcd: PUSH1 0x03
00000bcf: DUP4
00000bd0: ADD
00000bd1: SSTORE
00000bd2: PUSH1 0x80
00000bd4: SWAP3
00000bd5: SWAP1
00000bd6: SWAP3
00000bd7: ADD
00000bd8: MLOAD
00000bd9: PUSH1 0x04
00000bdb: SWAP2
00000bdc: SWAP1
00000bdd: SWAP2
00000bde: ADD
00000bdf: SSTORE
00000be0: DUP1
00000be1: MLOAD
00000be2: PUSH1 0x09
00000be4: SLOAD
00000be5: PUSH1 0x00
00000be7: NOT
00000be8: ADD
00000be9: DUP2
00000bea: MSTORE
00000beb: SWAP1
00000bec: MLOAD
00000bed: PUSH32 0x13463751f45f247df2fb7296a1b083023b545d50ee7fdf9d5e5d0cc6803287be
00000c0e: SWAP3
00000c0f: POP
00000c10: SWAP1
00000c11: DUP2
00000c12: SWAP1
00000c13: SUB
00000c14: PUSH1 0x20
00000c16: ADD
00000c17: SWAP1
00000c18: LOG1
00000c19: POP
00000c1a: POP
00000c1b: POP
00000c1c: POP
00000c1d: POP
00000c1e: POP
00000c1f: POP
00000c20: JUMP
00000c21: JUMPDEST
00000c22: PUSH1 0x00
00000c24: SWAP3
00000c25: POP
00000c26: JUMPDEST
00000c27: DUP4
00000c28: DUP4
00000c29: LT
00000c2a: ISZERO
00000c2b: PUSH2 0x0cae
00000c2e: JUMPI
00000c2f: DUP6
00000c30: DUP4
00000c31: DUP2
00000c32: MLOAD
00000c33: DUP2
00000c34: LT
00000c35: ISZERO
00000c36: PUSH2 0x0002
00000c39: JUMPI
00000c3a: SWAP1
00000c3b: PUSH1 0x20
00000c3d: ADD
00000c3e: ADD
00000c3f: MLOAD
00000c40: PUSH1 0xf8
00000c42: PUSH1 0x02
00000c44: EXP
00000c45: SWAP1
00000c46: DIV
00000c47: PUSH1 0xf8
00000c49: PUSH1 0x02
00000c4b: EXP
00000c4c: MUL
00000c4d: PUSH1 0x01
00000c4f: PUSH1 0xf8
00000c51: PUSH1 0x02
00000c53: EXP
00000c54: SUB
00000c55: NOT
00000c56: AND
00000c57: PUSH1 0x40
00000c59: PUSH1 0x40
00000c5b: MLOAD
00000c5c: SWAP1
00000c5d: DUP2
00000c5e: ADD
00000c5f: PUSH1 0x40
00000c61: MSTORE
00000c62: DUP1
00000c63: PUSH1 0x05
00000c65: DUP2
00000c66: MSTORE
00000c67: PUSH1 0x20
00000c69: ADD
00000c6a: PUSH1 0xd9
00000c6c: PUSH1 0x02
00000c6e: EXP
00000c6f: PUSH5 0x2720a6a29d
00000c75: MUL
00000c76: DUP2
00000c77: MSTORE
00000c78: PUSH1 0x20
00000c7a: ADD
00000c7b: POP
00000c7c: DUP5
00000c7d: DUP2
00000c7e: MLOAD
00000c7f: DUP2
00000c80: LT
00000c81: ISZERO
00000c82: PUSH2 0x0002
00000c85: JUMPI
00000c86: SWAP1
00000c87: PUSH1 0x20
00000c89: ADD
00000c8a: ADD
00000c8b: MLOAD
00000c8c: PUSH1 0xf8
00000c8e: PUSH1 0x02
00000c90: EXP
00000c91: SWAP1
00000c92: DIV
00000c93: PUSH1 0xf8
00000c95: PUSH1 0x02
00000c97: EXP
00000c98: MUL
00000c99: PUSH1 0x01
00000c9b: PUSH1 0xf8
00000c9d: PUSH1 0x02
00000c9f: EXP
00000ca0: SUB
00000ca1: NOT
00000ca2: AND
00000ca3: EQ
00000ca4: ISZERO
00000ca5: ISZERO
00000ca6: PUSH2 0x0ccd
00000ca9: JUMPI
00000caa: PUSH2 0x0002
00000cad: JUMP
00000cae: JUMPDEST
00000caf: DUP4
00000cb0: DUP7
00000cb1: MLOAD
00000cb2: SUB
00000cb3: SWAP2
00000cb4: POP
00000cb5: PUSH1 0x01
00000cb7: DUP3
00000cb8: LT
00000cb9: DUP1
00000cba: PUSH2 0x0cc3
00000cbd: JUMPI
00000cbe: POP
00000cbf: PUSH1 0x19
00000cc1: DUP3
00000cc2: GT
00000cc3: JUMPDEST
00000cc4: ISZERO
00000cc5: PUSH2 0x0cd9
00000cc8: JUMPI
00000cc9: PUSH2 0x0002
00000ccc: JUMP
00000ccd: JUMPDEST
00000cce: PUSH1 0x01
00000cd0: SWAP3
00000cd1: SWAP1
00000cd2: SWAP3
00000cd3: ADD
00000cd4: SWAP2
00000cd5: PUSH2 0x0c26
00000cd8: JUMP
00000cd9: JUMPDEST
00000cda: DUP2
00000cdb: PUSH1 0x40
00000cdd: MLOAD
00000cde: DUP1
00000cdf: MSIZE
00000ce0: LT
00000ce1: PUSH2 0x0ce7
00000ce4: JUMPI
00000ce5: POP
00000ce6: MSIZE
00000ce7: JUMPDEST
00000ce8: DUP2
00000ce9: DUP2
00000cea: MSTORE
00000ceb: PUSH1 0x20
00000ced: SWAP2
00000cee: DUP3
00000cef: MUL
00000cf0: DUP2
00000cf1: ADD
00000cf2: SWAP1
00000cf3: SWAP2
00000cf4: ADD
00000cf5: PUSH1 0x40
00000cf7: MSTORE
00000cf8: PUSH1 0x00
00000cfa: SWAP4
00000cfb: POP
00000cfc: SWAP1
00000cfd: POP
00000cfe: JUMPDEST
00000cff: DUP2
00000d00: DUP4
00000d01: LT
00000d02: ISZERO
00000d03: PUSH2 0x0d55
00000d06: JUMPI
00000d07: DUP6
00000d08: DUP4
00000d09: DUP6
00000d0a: ADD
00000d0b: DUP2
00000d0c: MLOAD
00000d0d: DUP2
00000d0e: LT
00000d0f: ISZERO
00000d10: PUSH2 0x0002
00000d13: JUMPI
00000d14: SWAP1
00000d15: PUSH1 0x20
00000d17: ADD
00000d18: ADD
00000d19: MLOAD
00000d1a: PUSH1 0xf8
00000d1c: PUSH1 0x02
00000d1e: EXP
00000d1f: SWAP1
00000d20: DIV
00000d21: PUSH1 0xf8
00000d23: PUSH1 0x02
00000d25: EXP
00000d26: MUL
00000d27: DUP2
00000d28: DUP5
00000d29: DUP2
00000d2a: MLOAD
00000d2b: DUP2
00000d2c: LT
00000d2d: ISZERO
00000d2e: PUSH2 0x0002
00000d31: JUMPI
00000d32: SWAP1
00000d33: PUSH1 0x20
00000d35: ADD
00000d36: ADD
00000d37: SWAP1
00000d38: PUSH1 0x01
00000d3a: PUSH1 0xf8
00000d3c: PUSH1 0x02
00000d3e: EXP
00000d3f: SUB
00000d40: NOT
00000d41: AND
00000d42: SWAP1
00000d43: DUP2
00000d44: PUSH1 0x00
00000d46: BYTE
00000d47: SWAP1
00000d48: MSTORE8
00000d49: POP
00000d4a: PUSH1 0x01
00000d4c: SWAP3
00000d4d: SWAP1
00000d4e: SWAP3
00000d4f: ADD
00000d50: SWAP2
00000d51: PUSH2 0x0cfe
00000d54: JUMP
00000d55: JUMPDEST
00000d56: SWAP6
00000d57: SWAP5
00000d58: POP
00000d59: POP
00000d5a: POP
00000d5b: POP
00000d5c: POP
00000d5d: JUMP
00000d5e: JUMPDEST
00000d5f: DUP3
00000d60: SWAP6
00000d61: POP
00000d62: JUMPDEST
00000d63: POP
00000d64: POP
00000d65: POP
00000d66: POP
00000d67: POP
00000d68: SWAP2
00000d69: SWAP1
00000d6a: POP
00000d6b: JUMP
00000d6c: JUMPDEST
00000d6d: PUSH1 0x00
00000d6f: SWAP3
00000d70: POP
00000d71: PUSH1 0x00
00000d73: SWAP2
00000d74: POP
00000d75: JUMPDEST
00000d76: DUP4
00000d77: DUP3
00000d78: LT
00000d79: ISZERO
00000d7a: PUSH2 0x0d5e
00000d7d: JUMPI
00000d7e: DUP5
00000d7f: DUP3
00000d80: DUP2
00000d81: MLOAD
00000d82: DUP2
00000d83: LT
00000d84: ISZERO
00000d85: PUSH2 0x0002
00000d88: JUMPI
00000d89: ADD
00000d8a: PUSH1 0x20
00000d8c: ADD
00000d8d: MLOAD
00000d8e: PUSH1 0xf8
00000d90: PUSH1 0x02
00000d92: EXP
00000d93: SWAP1
00000d94: DUP2
00000d95: SWAP1
00000d96: DIV
00000d97: MUL
00000d98: SWAP1
00000d99: POP
00000d9a: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00000dbb: PUSH1 0x01
00000dbd: PUSH1 0xf8
00000dbf: PUSH1 0x02
00000dc1: EXP
00000dc2: SUB
00000dc3: NOT
00000dc4: DUP3
00000dc5: AND
00000dc6: LT
00000dc7: DUP1
00000dc8: ISZERO
00000dc9: SWAP1
00000dca: PUSH2 0x0dfd
00000dcd: JUMPI
00000dce: POP
00000dcf: PUSH32 0x3900000000000000000000000000000000000000000000000000000000000000
00000df0: PUSH1 0x01
00000df2: PUSH1 0xf8
00000df4: PUSH1 0x02
00000df6: EXP
00000df7: SUB
00000df8: NOT
00000df9: DUP3
00000dfa: AND
00000dfb: GT
00000dfc: ISZERO
00000dfd: JUMPDEST
00000dfe: DUP1
00000dff: PUSH2 0x0e67
00000e02: JUMPI
00000e03: POP
00000e04: PUSH32 0x4100000000000000000000000000000000000000000000000000000000000000
00000e25: PUSH1 0x01
00000e27: PUSH1 0xf8
00000e29: PUSH1 0x02
00000e2b: EXP
00000e2c: SUB
00000e2d: NOT
00000e2e: DUP3
00000e2f: AND
00000e30: LT
00000e31: DUP1
00000e32: ISZERO
00000e33: SWAP1
00000e34: PUSH2 0x0e67
00000e37: JUMPI
00000e38: POP
00000e39: PUSH32 0x5a00000000000000000000000000000000000000000000000000000000000000
00000e5a: PUSH1 0x01
00000e5c: PUSH1 0xf8
00000e5e: PUSH1 0x02
00000e60: EXP
00000e61: SUB
00000e62: NOT
00000e63: DUP3
00000e64: AND
00000e65: GT
00000e66: ISZERO
00000e67: JUMPDEST
00000e68: DUP1
00000e69: PUSH2 0x0ed1
00000e6c: JUMPI
00000e6d: POP
00000e6e: PUSH32 0x6100000000000000000000000000000000000000000000000000000000000000
00000e8f: PUSH1 0x01
00000e91: PUSH1 0xf8
00000e93: PUSH1 0x02
00000e95: EXP
00000e96: SUB
00000e97: NOT
00000e98: DUP3
00000e99: AND
00000e9a: LT
00000e9b: DUP1
00000e9c: ISZERO
00000e9d: SWAP1
00000e9e: PUSH2 0x0ed1
00000ea1: JUMPI
00000ea2: POP
00000ea3: PUSH32 0x7a00000000000000000000000000000000000000000000000000000000000000
00000ec4: PUSH1 0x01
00000ec6: PUSH1 0xf8
00000ec8: PUSH1 0x02
00000eca: EXP
00000ecb: SUB
00000ecc: NOT
00000ecd: DUP3
00000ece: AND
00000ecf: GT
00000ed0: ISZERO
00000ed1: JUMPDEST
00000ed2: ISZERO
00000ed3: PUSH2 0x0ee7
00000ed6: JUMPI
00000ed7: PUSH1 0x01
00000ed9: SWAP3
00000eda: POP
00000edb: JUMPDEST
00000edc: PUSH1 0x01
00000ede: SWAP2
00000edf: SWAP1
00000ee0: SWAP2
00000ee1: ADD
00000ee2: SWAP1
00000ee3: PUSH2 0x0d75
00000ee6: JUMP
00000ee7: JUMPDEST
00000ee8: PUSH1 0x01
00000eea: PUSH1 0xf8
00000eec: PUSH1 0x02
00000eee: EXP
00000eef: SUB
00000ef0: NOT
00000ef1: DUP2
00000ef2: AND
00000ef3: PUSH1 0xfd
00000ef5: PUSH1 0x02
00000ef7: EXP
00000ef8: EQ
00000ef9: DUP1
00000efa: PUSH2 0x0f2c
00000efd: JUMPI
00000efe: POP
00000eff: PUSH1 0x01
00000f01: PUSH1 0xf8
00000f03: PUSH1 0x02
00000f05: EXP
00000f06: SUB
00000f07: NOT
00000f08: DUP2
00000f09: AND
00000f0a: PUSH32 0x2100000000000000000000000000000000000000000000000000000000000000
00000f2b: EQ
00000f2c: JUMPDEST
00000f2d: DUP1
00000f2e: PUSH2 0x0f60
00000f31: JUMPI
00000f32: POP
00000f33: PUSH1 0x01
00000f35: PUSH1 0xf8
00000f37: PUSH1 0x02
00000f39: EXP
00000f3a: SUB
00000f3b: NOT
00000f3c: DUP2
00000f3d: AND
00000f3e: PUSH32 0x2800000000000000000000000000000000000000000000000000000000000000
00000f5f: EQ
00000f60: JUMPDEST
00000f61: DUP1
00000f62: PUSH2 0x0f94
00000f65: JUMPI
00000f66: POP
00000f67: PUSH1 0x01
00000f69: PUSH1 0xf8
00000f6b: PUSH1 0x02
00000f6d: EXP
00000f6e: SUB
00000f6f: NOT
00000f70: DUP2
00000f71: AND
00000f72: PUSH32 0x2900000000000000000000000000000000000000000000000000000000000000
00000f93: EQ
00000f94: JUMPDEST
00000f95: DUP1
00000f96: PUSH2 0x0fc8
00000f99: JUMPI
00000f9a: POP
00000f9b: PUSH1 0x01
00000f9d: PUSH1 0xf8
00000f9f: PUSH1 0x02
00000fa1: EXP
00000fa2: SUB
00000fa3: NOT
00000fa4: DUP2
00000fa5: AND
00000fa6: PUSH32 0x2d00000000000000000000000000000000000000000000000000000000000000
00000fc7: EQ
00000fc8: JUMPDEST
00000fc9: DUP1
00000fca: PUSH2 0x0ffc
00000fcd: JUMPI
00000fce: POP
00000fcf: PUSH1 0x01
00000fd1: PUSH1 0xf8
00000fd3: PUSH1 0x02
00000fd5: EXP
00000fd6: SUB
00000fd7: NOT
00000fd8: DUP2
00000fd9: AND
00000fda: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000
00000ffb: EQ
00000ffc: JUMPDEST
00000ffd: DUP1
00000ffe: PUSH2 0x1030
00001001: JUMPI
00001002: POP
00001003: PUSH1 0x01
00001005: PUSH1 0xf8
00001007: PUSH1 0x02
00001009: EXP
0000100a: SUB
0000100b: NOT
0000100c: DUP2
0000100d: AND
0000100e: PUSH32 0x5f00000000000000000000000000000000000000000000000000000000000000
0000102f: EQ
00001030: JUMPDEST
00001031: ISZERO
00001032: PUSH2 0x103a
00001035: JUMPI
00001036: PUSH2 0x0edb
00001039: JUMP
0000103a: JUMPDEST
0000103b: PUSH1 0x00
0000103d: SWAP6
0000103e: POP
0000103f: PUSH2 0x0d62
00001042: JUMP
00001043: JUMPDEST
00001044: PUSH7 0x2386f26fc10000
0000104c: DUP3
0000104d: LT
0000104e: ISZERO
0000104f: PUSH2 0x1063
00001052: JUMPI
00001053: POP
00001054: PUSH6 0x09184e72a000
0000105b: DUP1
0000105c: DUP3
0000105d: DIV
0000105e: MUL
0000105f: PUSH2 0x0118
00001062: JUMP
00001063: JUMPDEST
00001064: PUSH8 0x016345785d8a0000
0000106d: DUP3
0000106e: LT
0000106f: ISZERO
00001070: PUSH2 0x1084
00001073: JUMPI
00001074: POP
00001075: PUSH6 0x5af3107a4000
0000107c: DUP1
0000107d: DUP3
0000107e: DIV
0000107f: MUL
00001080: PUSH2 0x0118
00001083: JUMP
00001084: JUMPDEST
00001085: PUSH8 0x0de0b6b3a7640000
0000108e: DUP3
0000108f: LT
00001090: ISZERO
00001091: PUSH2 0x10a6
00001094: JUMPI
00001095: POP
00001096: PUSH7 0x038d7ea4c68000
0000109e: DUP1
0000109f: DUP3
000010a0: DIV
000010a1: MUL
000010a2: PUSH2 0x0118
000010a5: JUMP
000010a6: JUMPDEST
000010a7: PUSH8 0x8ac7230489e80000
000010b0: DUP3
000010b1: LT
000010b2: ISZERO
000010b3: PUSH2 0x10c8
000010b6: JUMPI
000010b7: POP
000010b8: PUSH7 0x2386f26fc10000
000010c0: DUP1
000010c1: DUP3
000010c2: DIV
000010c3: MUL
000010c4: PUSH2 0x0118
000010c7: JUMP
000010c8: JUMPDEST
000010c9: PUSH9 0x056bc75e2d63100000
000010d3: DUP3
000010d4: LT
000010d5: ISZERO
000010d6: PUSH2 0x10ec
000010d9: JUMPI
000010da: POP
000010db: PUSH8 0x016345785d8a0000
000010e4: DUP1
000010e5: DUP3
000010e6: DIV
000010e7: MUL
000010e8: PUSH2 0x0118
000010eb: JUMP
000010ec: JUMPDEST
000010ed: PUSH9 0x3635c9adc5dea00000
000010f7: DUP3
000010f8: LT
000010f9: ISZERO
000010fa: PUSH2 0x1110
000010fd: JUMPI
000010fe: POP
000010ff: PUSH8 0x0de0b6b3a7640000
00001108: DUP1
00001109: DUP3
0000110a: DIV
0000110b: MUL
0000110c: PUSH2 0x0118
0000110f: JUMP
00001110: JUMPDEST
00001111: PUSH10 0x021e19e0c9bab2400000
0000111c: DUP3
0000111d: LT
0000111e: ISZERO
0000111f: PUSH2 0x1135
00001122: JUMPI
00001123: POP
00001124: PUSH8 0x8ac7230489e80000
0000112d: DUP1
0000112e: DUP3
0000112f: DIV
00001130: MUL
00001131: PUSH2 0x0118
00001134: JUMP
00001135: JUMPDEST
00001136: POP
00001137: DUP1
00001138: PUSH2 0x0118
0000113b: JUMP
0000113c: JUMPDEST
0000113d: PUSH1 0x0a
0000113f: SLOAD
00001140: PUSH1 0x00
00001142: SWAP3
00001143: POP
00001144: PUSH1 0x01
00001146: PUSH1 0xa0
00001148: PUSH1 0x02
0000114a: EXP
0000114b: SUB
0000114c: SWAP1
0000114d: DUP2
0000114e: AND
0000114f: CALLER
00001150: SWAP2
00001151: SWAP1
00001152: SWAP2
00001153: AND
00001154: EQ
00001155: ISZERO
00001156: PUSH2 0x11ba
00001159: JUMPI
0000115a: POP
0000115b: PUSH1 0x0a
0000115d: DUP1
0000115e: SLOAD
0000115f: PUSH1 0x01
00001161: PUSH1 0xa0
00001163: PUSH1 0x02
00001165: EXP
00001166: SUB
00001167: NOT
00001168: DUP2
00001169: AND
0000116a: DUP5
0000116b: OR
0000116c: SWAP1
0000116d: SWAP2
0000116e: SSTORE
0000116f: PUSH1 0x40
00001171: DUP1
00001172: MLOAD
00001173: PUSH1 0x01
00001175: PUSH1 0xa0
00001177: PUSH1 0x02
00001179: EXP
0000117a: SUB
0000117b: SWAP3
0000117c: DUP4
0000117d: AND
0000117e: DUP1
0000117f: DUP3
00001180: MSTORE
00001181: SWAP3
00001182: DUP6
00001183: AND
00001184: PUSH1 0x20
00001186: DUP3
00001187: ADD
00001188: MSTORE
00001189: DUP2
0000118a: MLOAD
0000118b: PUSH32 0x8d63c77bb081073c8371ddcff6662e4a86fef97890eec21f6aa9773512b326f6
000011ac: SWAP3
000011ad: SWAP2
000011ae: DUP2
000011af: SWAP1
000011b0: SUB
000011b1: SWAP1
000011b2: SWAP2
000011b3: ADD
000011b4: SWAP1
000011b5: LOG1
000011b6: PUSH1 0x01
000011b8: SWAP2
000011b9: POP
000011ba: JUMPDEST
000011bb: PUSH1 0x0b
000011bd: SLOAD
000011be: PUSH1 0x01
000011c0: PUSH1 0xa0
000011c2: PUSH1 0x02
000011c4: EXP
000011c5: SUB
000011c6: SWAP1
000011c7: DUP2
000011c8: AND
000011c9: CALLER
000011ca: SWAP2
000011cb: SWAP1
000011cc: SWAP2
000011cd: AND
000011ce: EQ
000011cf: ISZERO
000011d0: PUSH2 0x1234
000011d3: JUMPI
000011d4: POP
000011d5: PUSH1 0x0b
000011d7: DUP1
000011d8: SLOAD
000011d9: PUSH1 0x01
000011db: PUSH1 0xa0
000011dd: PUSH1 0x02
000011df: EXP
000011e0: SUB
000011e1: NOT
000011e2: DUP2
000011e3: AND
000011e4: DUP5
000011e5: OR
000011e6: SWAP1
000011e7: SWAP2
000011e8: SSTORE
000011e9: PUSH1 0x40
000011eb: DUP1
000011ec: MLOAD
000011ed: PUSH1 0x01
000011ef: PUSH1 0xa0
000011f1: PUSH1 0x02
000011f3: EXP
000011f4: SUB
000011f5: SWAP3
000011f6: DUP4
000011f7: AND
000011f8: DUP1
000011f9: DUP3
000011fa: MSTORE
000011fb: SWAP3
000011fc: DUP6
000011fd: AND
000011fe: PUSH1 0x20
00001200: DUP3
00001201: ADD
00001202: MSTORE
00001203: DUP2
00001204: MLOAD
00001205: PUSH32 0x8d63c77bb081073c8371ddcff6662e4a86fef97890eec21f6aa9773512b326f6
00001226: SWAP3
00001227: SWAP2
00001228: DUP2
00001229: SWAP1
0000122a: SUB
0000122b: SWAP1
0000122c: SWAP2
0000122d: ADD
0000122e: SWAP1
0000122f: LOG1
00001230: PUSH1 0x01
00001232: SWAP2
00001233: POP
00001234: JUMPDEST
00001235: DUP2
00001236: ISZERO
00001237: ISZERO
00001238: PUSH2 0x0887
0000123b: JUMPI
0000123c: PUSH2 0x0002
0000123f: JUMP
00001240: JUMPDEST
00001241: PUSH1 0x01
00001243: PUSH1 0xa0
00001245: PUSH1 0x02
00001247: EXP
00001248: SUB
00001249: CALLER
0000124a: SWAP1
0000124b: DUP2
0000124c: AND
0000124d: PUSH1 0x00
0000124f: SWAP1
00001250: DUP2
00001251: MSTORE
00001252: PUSH1 0x01
00001254: PUSH1 0x20
00001256: MSTORE
00001257: PUSH1 0x40
00001259: SWAP1
0000125a: KECCAK256
0000125b: SLOAD
0000125c: SWAP1
0000125d: SWAP3
0000125e: POP
0000125f: DUP5
00001260: GT
00001261: ISZERO
00001262: PUSH2 0x126a
00001265: JUMPI
00001266: PUSH2 0x0002
00001269: JUMP
0000126a: JUMPDEST
0000126b: PUSH1 0x01
0000126d: PUSH1 0xa0
0000126f: PUSH1 0x02
00001271: EXP
00001272: SUB
00001273: DUP3
00001274: AND
00001275: PUSH1 0x00
00001277: SWAP1
00001278: DUP2
00001279: MSTORE
0000127a: PUSH1 0x01
0000127c: PUSH1 0x20
0000127e: MSTORE
0000127f: PUSH1 0x40
00001281: SWAP1
00001282: KECCAK256
00001283: DUP1
00001284: SLOAD
00001285: DUP6
00001286: SWAP1
00001287: SUB
00001288: SWAP1
00001289: SSTORE
0000128a: PUSH2 0x12b9
0000128d: DUP6
0000128e: DUP6
0000128f: DUP6
00001290: JUMPDEST
00001291: PUSH1 0x40
00001293: MLOAD
00001294: PUSH1 0x00
00001296: SWAP1
00001297: PUSH1 0x01
00001299: PUSH1 0xa0
0000129b: PUSH1 0x02
0000129d: EXP
0000129e: SUB
0000129f: DUP6
000012a0: AND
000012a1: SWAP1
000012a2: DUP4
000012a3: SWAP1
000012a4: DUP6
000012a5: SWAP1
000012a6: DUP5
000012a7: DUP2
000012a8: DUP2
000012a9: DUP2
000012aa: DUP6
000012ab: DUP9
000012ac: DUP9
000012ad: CALL
000012ae: SWAP9
000012af: SWAP8
000012b0: POP
000012b1: POP
000012b2: POP
000012b3: POP
000012b4: POP
000012b5: POP
000012b6: POP
000012b7: POP
000012b8: JUMP
000012b9: JUMPDEST
000012ba: SWAP1
000012bb: POP
000012bc: DUP1
000012bd: ISZERO
000012be: ISZERO
000012bf: PUSH2 0x12c7
000012c2: JUMPI
000012c3: PUSH2 0x0002
000012c6: JUMP
000012c7: JUMPDEST
000012c8: PUSH1 0x40
000012ca: DUP1
000012cb: MLOAD
000012cc: PUSH1 0x01
000012ce: PUSH1 0xa0
000012d0: PUSH1 0x02
000012d2: EXP
000012d3: SUB
000012d4: DUP5
000012d5: DUP2
000012d6: AND
000012d7: DUP3
000012d8: MSTORE
000012d9: DUP8
000012da: AND
000012db: PUSH1 0x20
000012dd: DUP3
000012de: ADD
000012df: MSTORE
000012e0: DUP1
000012e1: DUP3
000012e2: ADD
000012e3: DUP7
000012e4: SWAP1
000012e5: MSTORE
000012e6: SWAP1
000012e7: MLOAD
000012e8: PUSH32 0x4fe87fe0fe80d31559ec65324e3a3655fd633eb407f964a8295d5d1da7a6c618
00001309: SWAP2
0000130a: DUP2
0000130b: SWAP1
0000130c: SUB
0000130d: PUSH1 0x60
0000130f: ADD
00001310: SWAP1
00001311: LOG1
00001312: POP
00001313: POP
00001314: POP
00001315: POP
00001316: POP
00001317: JUMP
00001318: JUMPDEST
00001319: SLOAD
0000131a: PUSH1 0x01
0000131c: PUSH1 0xa0
0000131e: PUSH1 0x02
00001320: EXP
00001321: SUB
00001322: AND
00001323: SWAP2
00001324: POP
00001325: DUP3
00001326: PUSH2 0x132d
00001329: PUSH2 0x06b7
0000132c: JUMP
0000132d: JUMPDEST
0000132e: PUSH1 0x04
00001330: ADD
00001331: SSTORE
00001332: PUSH2 0x083a
00001335: DUP3
00001336: DUP5
00001337: PUSH2 0x59d8
0000133a: PUSH2 0x1290
0000133d: JUMP
0000133e: JUMPDEST
0000133f: PUSH1 0x01
00001341: PUSH1 0xa0
00001343: PUSH1 0x02
00001345: EXP
00001346: SUB
00001347: DUP3
00001348: AND
00001349: PUSH1 0x00
0000134b: DUP2
0000134c: DUP2
0000134d: MSTORE
0000134e: PUSH1 0x01
00001350: PUSH1 0x20
00001352: SWAP1
00001353: DUP2
00001354: MSTORE
00001355: PUSH1 0x40
00001357: SWAP2
00001358: DUP3
00001359: SWAP1
0000135a: KECCAK256
0000135b: DUP1
0000135c: SLOAD
0000135d: DUP8
0000135e: ADD
0000135f: SWAP1
00001360: SSTORE
00001361: DUP2
00001362: MLOAD
00001363: SWAP3
00001364: DUP4
00001365: MSTORE
00001366: DUP3
00001367: ADD
00001368: DUP6
00001369: SWAP1
0000136a: MSTORE
0000136b: DUP1
0000136c: MLOAD
0000136d: PUSH32 0x8881d3a20925f32cba57488c02ec00cba9a26bd41151f5f7e67d3e4b425b236c
0000138e: SWAP3
0000138f: DUP2
00001390: SWAP1
00001391: SUB
00001392: SWAP1
00001393: SWAP2
00001394: ADD
00001395: SWAP1
00001396: LOG1
00001397: POP
00001398: POP
00001399: POP
0000139a: JUMP

Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.