Analysis Run

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-y50msmvo
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5ca1-0e9b-7313-bbbf-1d9bd3c013eb
--------
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:52:33.727269+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 8490,
        "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 0x00a3
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x045236b4
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00a5
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x09d2d0b9
00000025: EQ
00000026: PUSH2 0x01b3
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x233120aa
00000030: EQ
00000031: PUSH2 0x01d8
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x3e8f5b90
0000003b: EQ
0000003c: PUSH2 0x0240
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x69d89575
00000046: EQ
00000047: PUSH2 0x02a8
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x8279c7db
00000051: EQ
00000052: PUSH2 0x02c7
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x8da5cb5b
0000005c: EQ
0000005d: PUSH2 0x02e9
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x919edc7c
00000067: EQ
00000068: PUSH2 0x02fb
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0xac3e7d24
00000072: EQ
00000073: PUSH2 0x03a7
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0xb44bd51d
0000007d: EQ
0000007e: PUSH2 0x0476
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0xe8b13c44
00000088: EQ
00000089: PUSH2 0x050c
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xeef8e35f
00000093: EQ
00000094: PUSH2 0x05a8
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xf2fde38b
0000009e: EQ
0000009f: PUSH2 0x060e
000000a2: JUMPI
000000a3: JUMPDEST
000000a4: STOP
000000a5: JUMPDEST
000000a6: PUSH2 0x062f
000000a9: PUSH1 0x04
000000ab: DUP1
000000ac: DUP1
000000ad: CALLDATALOAD
000000ae: SWAP1
000000af: PUSH1 0x20
000000b1: ADD
000000b2: SWAP1
000000b3: DUP3
000000b4: ADD
000000b5: DUP1
000000b6: CALLDATALOAD
000000b7: SWAP1
000000b8: PUSH1 0x20
000000ba: ADD
000000bb: SWAP2
000000bc: SWAP2
000000bd: SWAP1
000000be: DUP1
000000bf: DUP1
000000c0: PUSH1 0x1f
000000c2: ADD
000000c3: PUSH1 0x20
000000c5: DUP1
000000c6: SWAP2
000000c7: DIV
000000c8: MUL
000000c9: PUSH1 0x20
000000cb: ADD
000000cc: PUSH1 0x40
000000ce: MLOAD
000000cf: SWAP1
000000d0: DUP2
000000d1: ADD
000000d2: PUSH1 0x40
000000d4: MSTORE
000000d5: DUP1
000000d6: SWAP4
000000d7: SWAP3
000000d8: SWAP2
000000d9: SWAP1
000000da: DUP2
000000db: DUP2
000000dc: MSTORE
000000dd: PUSH1 0x20
000000df: ADD
000000e0: DUP4
000000e1: DUP4
000000e2: DUP1
000000e3: DUP3
000000e4: DUP5
000000e5: CALLDATACOPY
000000e6: POP
000000e7: SWAP5
000000e8: SWAP7
000000e9: POP
000000ea: POP
000000eb: POP
000000ec: POP
000000ed: POP
000000ee: POP
000000ef: POP
000000f0: PUSH1 0x20
000000f2: PUSH1 0x40
000000f4: MLOAD
000000f5: SWAP1
000000f6: DUP2
000000f7: ADD
000000f8: PUSH1 0x40
000000fa: MSTORE
000000fb: DUP1
000000fc: PUSH1 0x00
000000fe: DUP2
000000ff: MSTORE
00000100: PUSH1 0x20
00000102: ADD
00000103: POP
00000104: PUSH1 0x05
00000106: PUSH1 0x00
00000108: POP
00000109: DUP3
0000010a: PUSH1 0x40
0000010c: MLOAD
0000010d: DUP1
0000010e: DUP3
0000010f: DUP1
00000110: MLOAD
00000111: SWAP1
00000112: PUSH1 0x20
00000114: ADD
00000115: SWAP1
00000116: DUP1
00000117: DUP4
00000118: DUP4
00000119: DUP3
0000011a: SWAP1
0000011b: PUSH1 0x00
0000011d: PUSH1 0x04
0000011f: PUSH1 0x20
00000121: DUP5
00000122: PUSH1 0x1f
00000124: ADD
00000125: DIV
00000126: PUSH1 0x0f
00000128: MUL
00000129: PUSH1 0x03
0000012b: ADD
0000012c: CALL
0000012d: POP
0000012e: SWAP1
0000012f: POP
00000130: ADD
00000131: SWAP2
00000132: POP
00000133: POP
00000134: SWAP1
00000135: DUP2
00000136: MSTORE
00000137: PUSH1 0x20
00000139: ADD
0000013a: PUSH1 0x40
0000013c: MLOAD
0000013d: DUP1
0000013e: SWAP2
0000013f: SUB
00000140: SWAP1
00000141: KECCAK256
00000142: PUSH1 0x00
00000144: POP
00000145: PUSH1 0x01
00000147: ADD
00000148: PUSH1 0x00
0000014a: POP
0000014b: DUP1
0000014c: SLOAD
0000014d: PUSH1 0x01
0000014f: DUP2
00000150: PUSH1 0x01
00000152: AND
00000153: ISZERO
00000154: PUSH2 0x0100
00000157: MUL
00000158: SUB
00000159: AND
0000015a: PUSH1 0x02
0000015c: SWAP1
0000015d: DIV
0000015e: DUP1
0000015f: PUSH1 0x1f
00000161: ADD
00000162: PUSH1 0x20
00000164: DUP1
00000165: SWAP2
00000166: DIV
00000167: MUL
00000168: PUSH1 0x20
0000016a: ADD
0000016b: PUSH1 0x40
0000016d: MLOAD
0000016e: SWAP1
0000016f: DUP2
00000170: ADD
00000171: PUSH1 0x40
00000173: MSTORE
00000174: DUP1
00000175: SWAP3
00000176: SWAP2
00000177: SWAP1
00000178: DUP2
00000179: DUP2
0000017a: MSTORE
0000017b: PUSH1 0x20
0000017d: ADD
0000017e: DUP3
0000017f: DUP1
00000180: SLOAD
00000181: PUSH1 0x01
00000183: DUP2
00000184: PUSH1 0x01
00000186: AND
00000187: ISZERO
00000188: PUSH2 0x0100
0000018b: MUL
0000018c: SUB
0000018d: AND
0000018e: PUSH1 0x02
00000190: SWAP1
00000191: DIV
00000192: DUP1
00000193: ISZERO
00000194: PUSH2 0x06f7
00000197: JUMPI
00000198: DUP1
00000199: PUSH1 0x1f
0000019b: LT
0000019c: PUSH2 0x06cc
0000019f: JUMPI
000001a0: PUSH2 0x0100
000001a3: DUP1
000001a4: DUP4
000001a5: SLOAD
000001a6: DIV
000001a7: MUL
000001a8: DUP4
000001a9: MSTORE
000001aa: SWAP2
000001ab: PUSH1 0x20
000001ad: ADD
000001ae: SWAP2
000001af: PUSH2 0x06f7
000001b2: JUMP
000001b3: JUMPDEST
000001b4: PUSH2 0x00a3
000001b7: PUSH1 0x04
000001b9: CALLDATALOAD
000001ba: PUSH1 0x24
000001bc: CALLDATALOAD
000001bd: PUSH1 0x00
000001bf: SLOAD
000001c0: PUSH1 0x01
000001c2: PUSH1 0xa0
000001c4: PUSH1 0x02
000001c6: EXP
000001c7: SUB
000001c8: SWAP1
000001c9: DUP2
000001ca: AND
000001cb: CALLER
000001cc: SWAP1
000001cd: SWAP2
000001ce: AND
000001cf: EQ
000001d0: PUSH2 0x0703
000001d3: JUMPI
000001d4: PUSH2 0x0002
000001d7: JUMP
000001d8: JUMPDEST
000001d9: PUSH2 0x062f
000001dc: PUSH1 0x40
000001de: DUP1
000001df: MLOAD
000001e0: PUSH1 0x20
000001e2: DUP2
000001e3: DUP2
000001e4: ADD
000001e5: DUP4
000001e6: MSTORE
000001e7: PUSH1 0x00
000001e9: DUP3
000001ea: MSTORE
000001eb: DUP3
000001ec: MLOAD
000001ed: PUSH1 0x01
000001ef: DUP1
000001f0: SLOAD
000001f1: PUSH1 0x02
000001f3: DUP2
000001f4: DUP4
000001f5: AND
000001f6: ISZERO
000001f7: PUSH2 0x0100
000001fa: MUL
000001fb: PUSH1 0x00
000001fd: NOT
000001fe: ADD
000001ff: SWAP1
00000200: SWAP2
00000201: AND
00000202: DIV
00000203: PUSH1 0x1f
00000205: DUP2
00000206: ADD
00000207: DUP5
00000208: SWAP1
00000209: DIV
0000020a: DUP5
0000020b: MUL
0000020c: DUP4
0000020d: ADD
0000020e: DUP5
0000020f: ADD
00000210: SWAP1
00000211: SWAP6
00000212: MSTORE
00000213: DUP5
00000214: DUP3
00000215: MSTORE
00000216: SWAP3
00000217: SWAP4
00000218: SWAP1
00000219: SWAP3
0000021a: SWAP2
0000021b: DUP4
0000021c: ADD
0000021d: DUP3
0000021e: DUP3
0000021f: DUP1
00000220: ISZERO
00000221: PUSH2 0x0754
00000224: JUMPI
00000225: DUP1
00000226: PUSH1 0x1f
00000228: LT
00000229: PUSH2 0x0729
0000022c: JUMPI
0000022d: PUSH2 0x0100
00000230: DUP1
00000231: DUP4
00000232: SLOAD
00000233: DIV
00000234: MUL
00000235: DUP4
00000236: MSTORE
00000237: SWAP2
00000238: PUSH1 0x20
0000023a: ADD
0000023b: SWAP2
0000023c: PUSH2 0x0754
0000023f: JUMP
00000240: JUMPDEST
00000241: PUSH2 0x00a3
00000244: PUSH1 0x04
00000246: DUP1
00000247: DUP1
00000248: CALLDATALOAD
00000249: SWAP1
0000024a: PUSH1 0x20
0000024c: ADD
0000024d: SWAP1
0000024e: DUP3
0000024f: ADD
00000250: DUP1
00000251: CALLDATALOAD
00000252: SWAP1
00000253: PUSH1 0x20
00000255: ADD
00000256: SWAP2
00000257: SWAP2
00000258: SWAP1
00000259: DUP1
0000025a: DUP1
0000025b: PUSH1 0x1f
0000025d: ADD
0000025e: PUSH1 0x20
00000260: DUP1
00000261: SWAP2
00000262: DIV
00000263: MUL
00000264: PUSH1 0x20
00000266: ADD
00000267: PUSH1 0x40
00000269: MLOAD
0000026a: SWAP1
0000026b: DUP2
0000026c: ADD
0000026d: PUSH1 0x40
0000026f: MSTORE
00000270: DUP1
00000271: SWAP4
00000272: SWAP3
00000273: SWAP2
00000274: SWAP1
00000275: DUP2
00000276: DUP2
00000277: MSTORE
00000278: PUSH1 0x20
0000027a: ADD
0000027b: DUP4
0000027c: DUP4
0000027d: DUP1
0000027e: DUP3
0000027f: DUP5
00000280: CALLDATACOPY
00000281: POP
00000282: SWAP5
00000283: SWAP7
00000284: POP
00000285: POP
00000286: SWAP4
00000287: CALLDATALOAD
00000288: SWAP4
00000289: POP
0000028a: POP
0000028b: POP
0000028c: POP
0000028d: PUSH1 0x00
0000028f: SLOAD
00000290: PUSH1 0x01
00000292: PUSH1 0xa0
00000294: PUSH1 0x02
00000296: EXP
00000297: SUB
00000298: SWAP1
00000299: DUP2
0000029a: AND
0000029b: CALLER
0000029c: SWAP1
0000029d: SWAP2
0000029e: AND
0000029f: EQ
000002a0: PUSH2 0x075e
000002a3: JUMPI
000002a4: PUSH2 0x0002
000002a7: JUMP
000002a8: JUMPDEST
000002a9: PUSH2 0x00a3
000002ac: PUSH1 0x00
000002ae: SLOAD
000002af: PUSH1 0x01
000002b1: PUSH1 0xa0
000002b3: PUSH1 0x02
000002b5: EXP
000002b6: SUB
000002b7: SWAP1
000002b8: DUP2
000002b9: AND
000002ba: CALLER
000002bb: SWAP1
000002bc: SWAP2
000002bd: AND
000002be: EQ
000002bf: PUSH2 0x07a8
000002c2: JUMPI
000002c3: PUSH2 0x0002
000002c6: JUMP
000002c7: JUMPDEST
000002c8: PUSH2 0x00a3
000002cb: PUSH1 0x04
000002cd: CALLDATALOAD
000002ce: PUSH1 0x00
000002d0: SLOAD
000002d1: PUSH1 0x01
000002d3: PUSH1 0xa0
000002d5: PUSH1 0x02
000002d7: EXP
000002d8: SUB
000002d9: SWAP1
000002da: DUP2
000002db: AND
000002dc: CALLER
000002dd: SWAP1
000002de: SWAP2
000002df: AND
000002e0: EQ
000002e1: PUSH2 0x07db
000002e4: JUMPI
000002e5: PUSH2 0x0002
000002e8: JUMP
000002e9: JUMPDEST
000002ea: PUSH2 0x069d
000002ed: PUSH1 0x00
000002ef: SLOAD
000002f0: PUSH1 0x01
000002f2: PUSH1 0xa0
000002f4: PUSH1 0x02
000002f6: EXP
000002f7: SUB
000002f8: AND
000002f9: DUP2
000002fa: JUMP
000002fb: JUMPDEST
000002fc: PUSH2 0x069d
000002ff: PUSH1 0x04
00000301: DUP1
00000302: DUP1
00000303: CALLDATALOAD
00000304: SWAP1
00000305: PUSH1 0x20
00000307: ADD
00000308: SWAP1
00000309: DUP3
0000030a: ADD
0000030b: DUP1
0000030c: CALLDATALOAD
0000030d: SWAP1
0000030e: PUSH1 0x20
00000310: ADD
00000311: SWAP2
00000312: SWAP2
00000313: SWAP1
00000314: DUP1
00000315: DUP1
00000316: PUSH1 0x1f
00000318: ADD
00000319: PUSH1 0x20
0000031b: DUP1
0000031c: SWAP2
0000031d: DIV
0000031e: MUL
0000031f: PUSH1 0x20
00000321: ADD
00000322: PUSH1 0x40
00000324: MLOAD
00000325: SWAP1
00000326: DUP2
00000327: ADD
00000328: PUSH1 0x40
0000032a: MSTORE
0000032b: DUP1
0000032c: SWAP4
0000032d: SWAP3
0000032e: SWAP2
0000032f: SWAP1
00000330: DUP2
00000331: DUP2
00000332: MSTORE
00000333: PUSH1 0x20
00000335: ADD
00000336: DUP4
00000337: DUP4
00000338: DUP1
00000339: DUP3
0000033a: DUP5
0000033b: CALLDATACOPY
0000033c: POP
0000033d: SWAP5
0000033e: SWAP7
0000033f: POP
00000340: POP
00000341: POP
00000342: POP
00000343: POP
00000344: POP
00000345: POP
00000346: PUSH1 0x00
00000348: PUSH1 0x05
0000034a: PUSH1 0x00
0000034c: POP
0000034d: DUP3
0000034e: PUSH1 0x40
00000350: MLOAD
00000351: DUP1
00000352: DUP3
00000353: DUP1
00000354: MLOAD
00000355: SWAP1
00000356: PUSH1 0x20
00000358: ADD
00000359: SWAP1
0000035a: DUP1
0000035b: DUP4
0000035c: DUP4
0000035d: DUP3
0000035e: SWAP1
0000035f: PUSH1 0x00
00000361: PUSH1 0x04
00000363: PUSH1 0x20
00000365: DUP5
00000366: PUSH1 0x1f
00000368: ADD
00000369: DIV
0000036a: PUSH1 0x0f
0000036c: MUL
0000036d: PUSH1 0x03
0000036f: ADD
00000370: CALL
00000371: POP
00000372: SWAP1
00000373: POP
00000374: ADD
00000375: SWAP2
00000376: POP
00000377: POP
00000378: SWAP1
00000379: DUP2
0000037a: MSTORE
0000037b: PUSH1 0x20
0000037d: ADD
0000037e: PUSH1 0x40
00000380: MLOAD
00000381: DUP1
00000382: SWAP2
00000383: SUB
00000384: SWAP1
00000385: KECCAK256
00000386: PUSH1 0x00
00000388: POP
00000389: PUSH1 0x02
0000038b: ADD
0000038c: PUSH1 0x00
0000038e: SWAP1
0000038f: SLOAD
00000390: SWAP1
00000391: PUSH2 0x0100
00000394: EXP
00000395: SWAP1
00000396: DIV
00000397: PUSH1 0x01
00000399: PUSH1 0xa0
0000039b: PUSH1 0x02
0000039d: EXP
0000039e: SUB
0000039f: AND
000003a0: SWAP1
000003a1: POP
000003a2: JUMPDEST
000003a3: SWAP2
000003a4: SWAP1
000003a5: POP
000003a6: JUMP
000003a7: JUMPDEST
000003a8: PUSH2 0x00a3
000003ab: PUSH1 0x04
000003ad: DUP1
000003ae: DUP1
000003af: CALLDATALOAD
000003b0: SWAP1
000003b1: PUSH1 0x20
000003b3: ADD
000003b4: SWAP1
000003b5: DUP3
000003b6: ADD
000003b7: DUP1
000003b8: CALLDATALOAD
000003b9: SWAP1
000003ba: PUSH1 0x20
000003bc: ADD
000003bd: SWAP2
000003be: SWAP2
000003bf: SWAP1
000003c0: DUP1
000003c1: DUP1
000003c2: PUSH1 0x1f
000003c4: ADD
000003c5: PUSH1 0x20
000003c7: DUP1
000003c8: SWAP2
000003c9: DIV
000003ca: MUL
000003cb: PUSH1 0x20
000003cd: ADD
000003ce: PUSH1 0x40
000003d0: MLOAD
000003d1: SWAP1
000003d2: DUP2
000003d3: ADD
000003d4: PUSH1 0x40
000003d6: MSTORE
000003d7: DUP1
000003d8: SWAP4
000003d9: SWAP3
000003da: SWAP2
000003db: SWAP1
000003dc: DUP2
000003dd: DUP2
000003de: MSTORE
000003df: PUSH1 0x20
000003e1: ADD
000003e2: DUP4
000003e3: DUP4
000003e4: DUP1
000003e5: DUP3
000003e6: DUP5
000003e7: CALLDATACOPY
000003e8: POP
000003e9: SWAP5
000003ea: SWAP7
000003eb: POP
000003ec: POP
000003ed: POP
000003ee: POP
000003ef: POP
000003f0: POP
000003f1: POP
000003f2: PUSH1 0x40
000003f4: DUP1
000003f5: MLOAD
000003f6: PUSH1 0x20
000003f8: DUP2
000003f9: DUP2
000003fa: ADD
000003fb: DUP4
000003fc: MSTORE
000003fd: PUSH1 0x00
000003ff: DUP1
00000400: DUP4
00000401: MSTORE
00000402: DUP4
00000403: MLOAD
00000404: SWAP2
00000405: DUP3
00000406: ADD
00000407: SWAP1
00000408: SWAP4
00000409: MSTORE
0000040a: SWAP2
0000040b: DUP3
0000040c: MSTORE
0000040d: SWAP1
0000040e: PUSH2 0x0890
00000411: DUP4
00000412: PUSH2 0x0c82
00000415: DUP2
00000416: PUSH1 0x40
00000418: DUP1
00000419: MLOAD
0000041a: PUSH1 0x20
0000041c: DUP2
0000041d: DUP2
0000041e: ADD
0000041f: DUP4
00000420: MSTORE
00000421: PUSH1 0x00
00000423: SWAP2
00000424: DUP3
00000425: SWAP1
00000426: MSTORE
00000427: DUP3
00000428: MLOAD
00000429: DUP1
0000042a: DUP3
0000042b: ADD
0000042c: DUP5
0000042d: MSTORE
0000042e: DUP3
0000042f: SWAP1
00000430: MSTORE
00000431: DUP3
00000432: MLOAD
00000433: DUP1
00000434: DUP5
00000435: ADD
00000436: SWAP1
00000437: SWAP4
00000438: MSTORE
00000439: PUSH1 0x0d
0000043b: DUP4
0000043c: MSTORE
0000043d: PUSH32 0x226964223a22434841494e592200000000000000000000000000000000000000
0000045e: DUP4
0000045f: DUP3
00000460: ADD
00000461: MSTORE
00000462: DUP4
00000463: MLOAD
00000464: SWAP2
00000465: SWAP3
00000466: DUP5
00000467: SWAP3
00000468: SWAP1
00000469: SWAP2
0000046a: DUP5
0000046b: SWAP2
0000046c: LT
0000046d: ISZERO
0000046e: PUSH2 0x0f77
00000471: JUMPI
00000472: PUSH2 0x0f6f
00000475: JUMP
00000476: JUMPDEST
00000477: PUSH2 0x06ba
0000047a: PUSH1 0x04
0000047c: DUP1
0000047d: DUP1
0000047e: CALLDATALOAD
0000047f: SWAP1
00000480: PUSH1 0x20
00000482: ADD
00000483: SWAP1
00000484: DUP3
00000485: ADD
00000486: DUP1
00000487: CALLDATALOAD
00000488: SWAP1
00000489: PUSH1 0x20
0000048b: ADD
0000048c: SWAP2
0000048d: SWAP2
0000048e: SWAP1
0000048f: DUP1
00000490: DUP1
00000491: PUSH1 0x1f
00000493: ADD
00000494: PUSH1 0x20
00000496: DUP1
00000497: SWAP2
00000498: DIV
00000499: MUL
0000049a: PUSH1 0x20
0000049c: ADD
0000049d: PUSH1 0x40
0000049f: MLOAD
000004a0: SWAP1
000004a1: DUP2
000004a2: ADD
000004a3: PUSH1 0x40
000004a5: MSTORE
000004a6: DUP1
000004a7: SWAP4
000004a8: SWAP3
000004a9: SWAP2
000004aa: SWAP1
000004ab: DUP2
000004ac: DUP2
000004ad: MSTORE
000004ae: PUSH1 0x20
000004b0: ADD
000004b1: DUP4
000004b2: DUP4
000004b3: DUP1
000004b4: DUP3
000004b5: DUP5
000004b6: CALLDATACOPY
000004b7: POP
000004b8: SWAP5
000004b9: SWAP7
000004ba: POP
000004bb: POP
000004bc: POP
000004bd: POP
000004be: POP
000004bf: POP
000004c0: POP
000004c1: JUMPDEST
000004c2: PUSH1 0x00
000004c4: PUSH1 0x02
000004c6: PUSH1 0x00
000004c8: POP
000004c9: DUP3
000004ca: PUSH1 0x40
000004cc: MLOAD
000004cd: DUP1
000004ce: DUP3
000004cf: DUP1
000004d0: MLOAD
000004d1: SWAP1
000004d2: PUSH1 0x20
000004d4: ADD
000004d5: SWAP1
000004d6: DUP1
000004d7: DUP4
000004d8: DUP4
000004d9: DUP3
000004da: SWAP1
000004db: PUSH1 0x00
000004dd: PUSH1 0x04
000004df: PUSH1 0x20
000004e1: DUP5
000004e2: PUSH1 0x1f
000004e4: ADD
000004e5: DIV
000004e6: PUSH1 0x0f
000004e8: MUL
000004e9: PUSH1 0x03
000004eb: ADD
000004ec: CALL
000004ed: POP
000004ee: SWAP1
000004ef: POP
000004f0: ADD
000004f1: SWAP2
000004f2: POP
000004f3: POP
000004f4: SWAP1
000004f5: DUP2
000004f6: MSTORE
000004f7: PUSH1 0x20
000004f9: ADD
000004fa: PUSH1 0x40
000004fc: MLOAD
000004fd: DUP1
000004fe: SWAP2
000004ff: SUB
00000500: SWAP1
00000501: KECCAK256
00000502: PUSH1 0x00
00000504: POP
00000505: SLOAD
00000506: SWAP1
00000507: POP
00000508: PUSH2 0x03a2
0000050b: JUMP
0000050c: JUMPDEST
0000050d: PUSH2 0x06ba
00000510: PUSH1 0x04
00000512: DUP1
00000513: DUP1
00000514: CALLDATALOAD
00000515: SWAP1
00000516: PUSH1 0x20
00000518: ADD
00000519: SWAP1
0000051a: DUP3
0000051b: ADD
0000051c: DUP1
0000051d: CALLDATALOAD
0000051e: SWAP1
0000051f: PUSH1 0x20
00000521: ADD
00000522: SWAP2
00000523: SWAP2
00000524: SWAP1
00000525: DUP1
00000526: DUP1
00000527: PUSH1 0x1f
00000529: ADD
0000052a: PUSH1 0x20
0000052c: DUP1
0000052d: SWAP2
0000052e: DIV
0000052f: MUL
00000530: PUSH1 0x20
00000532: ADD
00000533: PUSH1 0x40
00000535: MLOAD
00000536: SWAP1
00000537: DUP2
00000538: ADD
00000539: PUSH1 0x40
0000053b: MSTORE
0000053c: DUP1
0000053d: SWAP4
0000053e: SWAP3
0000053f: SWAP2
00000540: SWAP1
00000541: DUP2
00000542: DUP2
00000543: MSTORE
00000544: PUSH1 0x20
00000546: ADD
00000547: DUP4
00000548: DUP4
00000549: DUP1
0000054a: DUP3
0000054b: DUP5
0000054c: CALLDATACOPY
0000054d: POP
0000054e: SWAP5
0000054f: SWAP7
00000550: POP
00000551: POP
00000552: POP
00000553: POP
00000554: POP
00000555: POP
00000556: POP
00000557: JUMPDEST
00000558: PUSH1 0x00
0000055a: PUSH1 0x05
0000055c: PUSH1 0x00
0000055e: POP
0000055f: DUP3
00000560: PUSH1 0x40
00000562: MLOAD
00000563: DUP1
00000564: DUP3
00000565: DUP1
00000566: MLOAD
00000567: SWAP1
00000568: PUSH1 0x20
0000056a: ADD
0000056b: SWAP1
0000056c: DUP1
0000056d: DUP4
0000056e: DUP4
0000056f: DUP3
00000570: SWAP1
00000571: PUSH1 0x00
00000573: PUSH1 0x04
00000575: PUSH1 0x20
00000577: DUP5
00000578: PUSH1 0x1f
0000057a: ADD
0000057b: DIV
0000057c: PUSH1 0x0f
0000057e: MUL
0000057f: PUSH1 0x03
00000581: ADD
00000582: CALL
00000583: POP
00000584: SWAP1
00000585: POP
00000586: ADD
00000587: SWAP2
00000588: POP
00000589: POP
0000058a: SWAP1
0000058b: DUP2
0000058c: MSTORE
0000058d: PUSH1 0x20
0000058f: ADD
00000590: PUSH1 0x40
00000592: MLOAD
00000593: DUP1
00000594: SWAP2
00000595: SUB
00000596: SWAP1
00000597: KECCAK256
00000598: PUSH1 0x00
0000059a: POP
0000059b: PUSH1 0x00
0000059d: ADD
0000059e: PUSH1 0x00
000005a0: POP
000005a1: SLOAD
000005a2: SWAP1
000005a3: POP
000005a4: PUSH2 0x03a2
000005a7: JUMP
000005a8: JUMPDEST
000005a9: PUSH2 0x00a3
000005ac: PUSH1 0x04
000005ae: DUP1
000005af: DUP1
000005b0: CALLDATALOAD
000005b1: SWAP1
000005b2: PUSH1 0x20
000005b4: ADD
000005b5: SWAP1
000005b6: DUP3
000005b7: ADD
000005b8: DUP1
000005b9: CALLDATALOAD
000005ba: SWAP1
000005bb: PUSH1 0x20
000005bd: ADD
000005be: SWAP2
000005bf: SWAP2
000005c0: SWAP1
000005c1: DUP1
000005c2: DUP1
000005c3: PUSH1 0x1f
000005c5: ADD
000005c6: PUSH1 0x20
000005c8: DUP1
000005c9: SWAP2
000005ca: DIV
000005cb: MUL
000005cc: PUSH1 0x20
000005ce: ADD
000005cf: PUSH1 0x40
000005d1: MLOAD
000005d2: SWAP1
000005d3: DUP2
000005d4: ADD
000005d5: PUSH1 0x40
000005d7: MSTORE
000005d8: DUP1
000005d9: SWAP4
000005da: SWAP3
000005db: SWAP2
000005dc: SWAP1
000005dd: DUP2
000005de: DUP2
000005df: MSTORE
000005e0: PUSH1 0x20
000005e2: ADD
000005e3: DUP4
000005e4: DUP4
000005e5: DUP1
000005e6: DUP3
000005e7: DUP5
000005e8: CALLDATACOPY
000005e9: POP
000005ea: SWAP5
000005eb: SWAP7
000005ec: POP
000005ed: POP
000005ee: POP
000005ef: POP
000005f0: POP
000005f1: POP
000005f2: POP
000005f3: PUSH1 0x00
000005f5: SLOAD
000005f6: PUSH1 0x01
000005f8: PUSH1 0xa0
000005fa: PUSH1 0x02
000005fc: EXP
000005fd: SUB
000005fe: SWAP1
000005ff: DUP2
00000600: AND
00000601: CALLER
00000602: SWAP1
00000603: SWAP2
00000604: AND
00000605: EQ
00000606: PUSH2 0x0be6
00000609: JUMPI
0000060a: PUSH2 0x0002
0000060d: JUMP
0000060e: JUMPDEST
0000060f: PUSH2 0x00a3
00000612: PUSH1 0x04
00000614: CALLDATALOAD
00000615: PUSH1 0x00
00000617: SLOAD
00000618: CALLER
00000619: PUSH1 0x01
0000061b: PUSH1 0xa0
0000061d: PUSH1 0x02
0000061f: EXP
00000620: SUB
00000621: SWAP1
00000622: DUP2
00000623: AND
00000624: SWAP2
00000625: AND
00000626: EQ
00000627: PUSH2 0x0c6d
0000062a: JUMPI
0000062b: PUSH2 0x0002
0000062e: JUMP
0000062f: JUMPDEST
00000630: PUSH1 0x40
00000632: MLOAD
00000633: DUP1
00000634: DUP1
00000635: PUSH1 0x20
00000637: ADD
00000638: DUP3
00000639: DUP2
0000063a: SUB
0000063b: DUP3
0000063c: MSTORE
0000063d: DUP4
0000063e: DUP2
0000063f: DUP2
00000640: MLOAD
00000641: DUP2
00000642: MSTORE
00000643: PUSH1 0x20
00000645: ADD
00000646: SWAP2
00000647: POP
00000648: DUP1
00000649: MLOAD
0000064a: SWAP1
0000064b: PUSH1 0x20
0000064d: ADD
0000064e: SWAP1
0000064f: DUP1
00000650: DUP4
00000651: DUP4
00000652: DUP3
00000653: SWAP1
00000654: PUSH1 0x00
00000656: PUSH1 0x04
00000658: PUSH1 0x20
0000065a: DUP5
0000065b: PUSH1 0x1f
0000065d: ADD
0000065e: DIV
0000065f: PUSH1 0x0f
00000661: MUL
00000662: PUSH1 0x03
00000664: ADD
00000665: CALL
00000666: POP
00000667: SWAP1
00000668: POP
00000669: SWAP1
0000066a: DUP2
0000066b: ADD
0000066c: SWAP1
0000066d: PUSH1 0x1f
0000066f: AND
00000670: DUP1
00000671: ISZERO
00000672: PUSH2 0x068f
00000675: JUMPI
00000676: DUP1
00000677: DUP3
00000678: SUB
00000679: DUP1
0000067a: MLOAD
0000067b: PUSH1 0x01
0000067d: DUP4
0000067e: PUSH1 0x20
00000680: SUB
00000681: PUSH2 0x0100
00000684: EXP
00000685: SUB
00000686: NOT
00000687: AND
00000688: DUP2
00000689: MSTORE
0000068a: PUSH1 0x20
0000068c: ADD
0000068d: SWAP2
0000068e: POP
0000068f: JUMPDEST
00000690: POP
00000691: SWAP3
00000692: POP
00000693: POP
00000694: POP
00000695: PUSH1 0x40
00000697: MLOAD
00000698: DUP1
00000699: SWAP2
0000069a: SUB
0000069b: SWAP1
0000069c: RETURN
0000069d: JUMPDEST
0000069e: PUSH1 0x40
000006a0: DUP1
000006a1: MLOAD
000006a2: PUSH1 0x01
000006a4: PUSH1 0xa0
000006a6: PUSH1 0x02
000006a8: EXP
000006a9: SUB
000006aa: SWAP3
000006ab: SWAP1
000006ac: SWAP3
000006ad: AND
000006ae: DUP3
000006af: MSTORE
000006b0: MLOAD
000006b1: SWAP1
000006b2: DUP2
000006b3: SWAP1
000006b4: SUB
000006b5: PUSH1 0x20
000006b7: ADD
000006b8: SWAP1
000006b9: RETURN
000006ba: JUMPDEST
000006bb: PUSH1 0x40
000006bd: DUP1
000006be: MLOAD
000006bf: SWAP2
000006c0: DUP3
000006c1: MSTORE
000006c2: MLOAD
000006c3: SWAP1
000006c4: DUP2
000006c5: SWAP1
000006c6: SUB
000006c7: PUSH1 0x20
000006c9: ADD
000006ca: SWAP1
000006cb: RETURN
000006cc: JUMPDEST
000006cd: DUP3
000006ce: ADD
000006cf: SWAP2
000006d0: SWAP1
000006d1: PUSH1 0x00
000006d3: MSTORE
000006d4: PUSH1 0x20
000006d6: PUSH1 0x00
000006d8: KECCAK256
000006d9: SWAP1
000006da: JUMPDEST
000006db: DUP2
000006dc: SLOAD
000006dd: DUP2
000006de: MSTORE
000006df: SWAP1
000006e0: PUSH1 0x01
000006e2: ADD
000006e3: SWAP1
000006e4: PUSH1 0x20
000006e6: ADD
000006e7: DUP1
000006e8: DUP4
000006e9: GT
000006ea: PUSH2 0x06da
000006ed: JUMPI
000006ee: DUP3
000006ef: SWAP1
000006f0: SUB
000006f1: PUSH1 0x1f
000006f3: AND
000006f4: DUP3
000006f5: ADD
000006f6: SWAP2
000006f7: JUMPDEST
000006f8: POP
000006f9: POP
000006fa: POP
000006fb: POP
000006fc: POP
000006fd: SWAP1
000006fe: POP
000006ff: PUSH2 0x03a2
00000702: JUMP
00000703: JUMPDEST
00000704: PUSH1 0x01
00000706: PUSH1 0xa0
00000708: PUSH1 0x02
0000070a: EXP
0000070b: SUB
0000070c: DUP3
0000070d: AND
0000070e: PUSH1 0x00
00000710: SWAP1
00000711: DUP2
00000712: MSTORE
00000713: PUSH1 0x03
00000715: PUSH1 0x20
00000717: MSTORE
00000718: PUSH1 0x40
0000071a: SWAP1
0000071b: KECCAK256
0000071c: DUP1
0000071d: SLOAD
0000071e: PUSH1 0xff
00000720: NOT
00000721: AND
00000722: DUP3
00000723: OR
00000724: SWAP1
00000725: SSTORE
00000726: POP
00000727: POP
00000728: JUMP
00000729: JUMPDEST
0000072a: DUP3
0000072b: ADD
0000072c: SWAP2
0000072d: SWAP1
0000072e: PUSH1 0x00
00000730: MSTORE
00000731: PUSH1 0x20
00000733: PUSH1 0x00
00000735: KECCAK256
00000736: SWAP1
00000737: JUMPDEST
00000738: DUP2
00000739: SLOAD
0000073a: DUP2
0000073b: MSTORE
0000073c: SWAP1
0000073d: PUSH1 0x01
0000073f: ADD
00000740: SWAP1
00000741: PUSH1 0x20
00000743: ADD
00000744: DUP1
00000745: DUP4
00000746: GT
00000747: PUSH2 0x0737
0000074a: JUMPI
0000074b: DUP3
0000074c: SWAP1
0000074d: SUB
0000074e: PUSH1 0x1f
00000750: AND
00000751: DUP3
00000752: ADD
00000753: SWAP2
00000754: JUMPDEST
00000755: POP
00000756: POP
00000757: POP
00000758: POP
00000759: POP
0000075a: SWAP1
0000075b: POP
0000075c: SWAP1
0000075d: JUMP
0000075e: JUMPDEST
0000075f: DUP1
00000760: PUSH1 0x02
00000762: PUSH1 0x00
00000764: POP
00000765: DUP4
00000766: PUSH1 0x40
00000768: MLOAD
00000769: DUP1
0000076a: DUP3
0000076b: DUP1
0000076c: MLOAD
0000076d: SWAP1
0000076e: PUSH1 0x20
00000770: ADD
00000771: SWAP1
00000772: DUP1
00000773: DUP4
00000774: DUP4
00000775: DUP3
00000776: SWAP1
00000777: PUSH1 0x00
00000779: PUSH1 0x04
0000077b: PUSH1 0x20
0000077d: DUP5
0000077e: PUSH1 0x1f
00000780: ADD
00000781: DIV
00000782: PUSH1 0x0f
00000784: MUL
00000785: PUSH1 0x03
00000787: ADD
00000788: CALL
00000789: POP
0000078a: SWAP1
0000078b: POP
0000078c: ADD
0000078d: SWAP2
0000078e: POP
0000078f: POP
00000790: SWAP1
00000791: DUP2
00000792: MSTORE
00000793: PUSH1 0x20
00000795: ADD
00000796: PUSH1 0x40
00000798: MLOAD
00000799: DUP1
0000079a: SWAP2
0000079b: SUB
0000079c: SWAP1
0000079d: KECCAK256
0000079e: PUSH1 0x00
000007a0: POP
000007a1: DUP2
000007a2: SWAP1
000007a3: SSTORE
000007a4: POP
000007a5: POP
000007a6: POP
000007a7: JUMP
000007a8: JUMPDEST
000007a9: PUSH1 0x40
000007ab: MLOAD
000007ac: PUSH1 0x00
000007ae: DUP1
000007af: SLOAD
000007b0: PUSH1 0x01
000007b2: PUSH1 0xa0
000007b4: PUSH1 0x02
000007b6: EXP
000007b7: SUB
000007b8: SWAP1
000007b9: DUP2
000007ba: AND
000007bb: SWAP3
000007bc: ADDRESS
000007bd: SWAP1
000007be: SWAP2
000007bf: AND
000007c0: BALANCE
000007c1: SWAP1
000007c2: DUP3
000007c3: DUP2
000007c4: DUP2
000007c5: DUP2
000007c6: DUP6
000007c7: DUP9
000007c8: DUP4
000007c9: CALL
000007ca: SWAP4
000007cb: POP
000007cc: POP
000007cd: POP
000007ce: POP
000007cf: ISZERO
000007d0: ISZERO
000007d1: PUSH2 0x07d9
000007d4: JUMPI
000007d5: PUSH2 0x0002
000007d8: JUMP
000007d9: JUMPDEST
000007da: JUMP
000007db: JUMPDEST
000007dc: PUSH1 0x04
000007de: DUP1
000007df: SLOAD
000007e0: PUSH1 0x01
000007e2: PUSH1 0xa0
000007e4: PUSH1 0x02
000007e6: EXP
000007e7: SUB
000007e8: NOT
000007e9: AND
000007ea: DUP3
000007eb: OR
000007ec: SWAP1
000007ed: SSTORE
000007ee: JUMPDEST
000007ef: POP
000007f0: JUMP
000007f1: JUMPDEST
000007f2: SWAP1
000007f3: POP
000007f4: PUSH32 0xdad5c3eecfdb62dd69e6e72053b88029e1d6277d4bc773c00fef243982adcb7d
00000815: TIMESTAMP
00000816: DUP3
00000817: PUSH1 0x40
00000819: MLOAD
0000081a: DUP1
0000081b: DUP4
0000081c: DUP2
0000081d: MSTORE
0000081e: PUSH1 0x20
00000820: ADD
00000821: DUP1
00000822: PUSH1 0x20
00000824: ADD
00000825: DUP3
00000826: DUP2
00000827: SUB
00000828: DUP3
00000829: MSTORE
0000082a: DUP4
0000082b: DUP2
0000082c: DUP2
0000082d: MLOAD
0000082e: DUP2
0000082f: MSTORE
00000830: PUSH1 0x20
00000832: ADD
00000833: SWAP2
00000834: POP
00000835: DUP1
00000836: MLOAD
00000837: SWAP1
00000838: PUSH1 0x20
0000083a: ADD
0000083b: SWAP1
0000083c: DUP1
0000083d: DUP4
0000083e: DUP4
0000083f: DUP3
00000840: SWAP1
00000841: PUSH1 0x00
00000843: PUSH1 0x04
00000845: PUSH1 0x20
00000847: DUP5
00000848: PUSH1 0x1f
0000084a: ADD
0000084b: DIV
0000084c: PUSH1 0x0f
0000084e: MUL
0000084f: PUSH1 0x03
00000851: ADD
00000852: CALL
00000853: POP
00000854: SWAP1
00000855: POP
00000856: SWAP1
00000857: DUP2
00000858: ADD
00000859: SWAP1
0000085a: PUSH1 0x1f
0000085c: AND
0000085d: DUP1
0000085e: ISZERO
0000085f: PUSH2 0x087c
00000862: JUMPI
00000863: DUP1
00000864: DUP3
00000865: SUB
00000866: DUP1
00000867: MLOAD
00000868: PUSH1 0x01
0000086a: DUP4
0000086b: PUSH1 0x20
0000086d: SUB
0000086e: PUSH2 0x0100
00000871: EXP
00000872: SUB
00000873: NOT
00000874: AND
00000875: DUP2
00000876: MSTORE
00000877: PUSH1 0x20
00000879: ADD
0000087a: SWAP2
0000087b: POP
0000087c: JUMPDEST
0000087d: POP
0000087e: SWAP4
0000087f: POP
00000880: POP
00000881: POP
00000882: POP
00000883: PUSH1 0x40
00000885: MLOAD
00000886: DUP1
00000887: SWAP2
00000888: SUB
00000889: SWAP1
0000088a: LOG1
0000088b: JUMPDEST
0000088c: POP
0000088d: POP
0000088e: POP
0000088f: JUMP
00000890: JUMPDEST
00000891: PUSH2 0x0904
00000894: PUSH1 0x40
00000896: DUP1
00000897: MLOAD
00000898: PUSH1 0x20
0000089a: DUP2
0000089b: DUP2
0000089c: ADD
0000089d: DUP4
0000089e: MSTORE
0000089f: PUSH1 0x00
000008a1: DUP1
000008a2: DUP4
000008a3: MSTORE
000008a4: DUP4
000008a5: MLOAD
000008a6: DUP1
000008a7: DUP4
000008a8: ADD
000008a9: DUP6
000008aa: MSTORE
000008ab: DUP2
000008ac: DUP2
000008ad: MSTORE
000008ae: DUP5
000008af: MLOAD
000008b0: DUP1
000008b1: DUP5
000008b2: ADD
000008b3: DUP7
000008b4: MSTORE
000008b5: DUP3
000008b6: DUP2
000008b7: MSTORE
000008b8: DUP6
000008b9: MLOAD
000008ba: DUP1
000008bb: DUP6
000008bc: ADD
000008bd: DUP8
000008be: MSTORE
000008bf: SWAP3
000008c0: DUP4
000008c1: MSTORE
000008c2: DUP6
000008c3: MLOAD
000008c4: DUP1
000008c5: DUP8
000008c6: ADD
000008c7: SWAP1
000008c8: SWAP7
000008c9: MSTORE
000008ca: PUSH1 0x0b
000008cc: DUP7
000008cd: MSTORE
000008ce: PUSH32 0x626c6f636b6f6666736574000000000000000000000000000000000000000000
000008ef: SWAP4
000008f0: DUP7
000008f1: ADD
000008f2: SWAP4
000008f3: SWAP1
000008f4: SWAP4
000008f5: MSTORE
000008f6: SWAP3
000008f7: SWAP4
000008f8: PUSH2 0x0c8d
000008fb: SWAP1
000008fc: PUSH2 0x0e73
000008ff: SWAP1
00000900: PUSH2 0x04c1
00000903: JUMP
00000904: JUMPDEST
00000905: SWAP2
00000906: POP
00000907: PUSH1 0x00
00000909: PUSH2 0x0911
0000090c: DUP4
0000090d: PUSH2 0x0557
00000910: JUMP
00000911: JUMPDEST
00000912: GT
00000913: ISZERO
00000914: PUSH2 0x091c
00000917: JUMPI
00000918: PUSH2 0x0002
0000091b: JUMP
0000091c: JUMPDEST
0000091d: PUSH2 0x095f
00000920: PUSH1 0x40
00000922: DUP1
00000923: MLOAD
00000924: DUP1
00000925: DUP3
00000926: ADD
00000927: SWAP1
00000928: SWAP2
00000929: MSTORE
0000092a: PUSH1 0x03
0000092c: DUP2
0000092d: MSTORE
0000092e: PUSH32 0x6665650000000000000000000000000000000000000000000000000000000000
0000094f: PUSH1 0x20
00000951: DUP3
00000952: ADD
00000953: MSTORE
00000954: PUSH1 0x00
00000956: SWAP1
00000957: PUSH2 0x0e90
0000095a: SWAP1
0000095b: PUSH2 0x04c1
0000095e: JUMP
0000095f: JUMPDEST
00000960: PUSH1 0x60
00000962: PUSH1 0x40
00000964: MLOAD
00000965: SWAP1
00000966: DUP2
00000967: ADD
00000968: PUSH1 0x40
0000096a: MSTORE
0000096b: DUP1
0000096c: TIMESTAMP
0000096d: DUP2
0000096e: MSTORE
0000096f: PUSH1 0x20
00000971: ADD
00000972: DUP5
00000973: DUP2
00000974: MSTORE
00000975: PUSH1 0x20
00000977: ADD
00000978: ORIGIN
00000979: DUP2
0000097a: MSTORE
0000097b: PUSH1 0x20
0000097d: ADD
0000097e: POP
0000097f: PUSH1 0x05
00000981: PUSH1 0x00
00000983: POP
00000984: DUP4
00000985: PUSH1 0x40
00000987: MLOAD
00000988: DUP1
00000989: DUP3
0000098a: DUP1
0000098b: MLOAD
0000098c: SWAP1
0000098d: PUSH1 0x20
0000098f: ADD
00000990: SWAP1
00000991: DUP1
00000992: DUP4
00000993: DUP4
00000994: DUP3
00000995: SWAP1
00000996: PUSH1 0x00
00000998: PUSH1 0x04
0000099a: PUSH1 0x20
0000099c: DUP5
0000099d: PUSH1 0x1f
0000099f: ADD
000009a0: DIV
000009a1: PUSH1 0x0f
000009a3: MUL
000009a4: PUSH1 0x03
000009a6: ADD
000009a7: CALL
000009a8: POP
000009a9: SWAP1
000009aa: POP
000009ab: ADD
000009ac: SWAP2
000009ad: POP
000009ae: POP
000009af: SWAP1
000009b0: DUP2
000009b1: MSTORE
000009b2: PUSH1 0x20
000009b4: ADD
000009b5: PUSH1 0x40
000009b7: MLOAD
000009b8: DUP1
000009b9: SWAP2
000009ba: SUB
000009bb: SWAP1
000009bc: KECCAK256
000009bd: PUSH1 0x00
000009bf: POP
000009c0: PUSH1 0x00
000009c2: DUP3
000009c3: ADD
000009c4: MLOAD
000009c5: DUP2
000009c6: PUSH1 0x00
000009c8: ADD
000009c9: PUSH1 0x00
000009cb: POP
000009cc: SSTORE
000009cd: PUSH1 0x20
000009cf: DUP3
000009d0: ADD
000009d1: MLOAD
000009d2: DUP2
000009d3: PUSH1 0x01
000009d5: ADD
000009d6: PUSH1 0x00
000009d8: POP
000009d9: SWAP1
000009da: DUP1
000009db: MLOAD
000009dc: SWAP1
000009dd: PUSH1 0x20
000009df: ADD
000009e0: SWAP1
000009e1: DUP3
000009e2: DUP1
000009e3: SLOAD
000009e4: PUSH1 0x01
000009e6: DUP2
000009e7: PUSH1 0x01
000009e9: AND
000009ea: ISZERO
000009eb: PUSH2 0x0100
000009ee: MUL
000009ef: SUB
000009f0: AND
000009f1: PUSH1 0x02
000009f3: SWAP1
000009f4: DIV
000009f5: SWAP1
000009f6: PUSH1 0x00
000009f8: MSTORE
000009f9: PUSH1 0x20
000009fb: PUSH1 0x00
000009fd: KECCAK256
000009fe: SWAP1
000009ff: PUSH1 0x1f
00000a01: ADD
00000a02: PUSH1 0x20
00000a04: SWAP1
00000a05: DIV
00000a06: DUP2
00000a07: ADD
00000a08: SWAP3
00000a09: DUP3
00000a0a: PUSH1 0x1f
00000a0c: LT
00000a0d: PUSH2 0x0a39
00000a10: JUMPI
00000a11: DUP1
00000a12: MLOAD
00000a13: PUSH1 0xff
00000a15: NOT
00000a16: AND
00000a17: DUP4
00000a18: DUP1
00000a19: ADD
00000a1a: OR
00000a1b: DUP6
00000a1c: SSTORE
00000a1d: JUMPDEST
00000a1e: POP
00000a1f: PUSH2 0x0a69
00000a22: SWAP3
00000a23: SWAP2
00000a24: POP
00000a25: JUMPDEST
00000a26: DUP1
00000a27: DUP3
00000a28: GT
00000a29: ISZERO
00000a2a: PUSH2 0x0ae0
00000a2d: JUMPI
00000a2e: PUSH1 0x00
00000a30: DUP2
00000a31: SSTORE
00000a32: PUSH1 0x01
00000a34: ADD
00000a35: PUSH2 0x0a25
00000a38: JUMP
00000a39: JUMPDEST
00000a3a: DUP3
00000a3b: DUP1
00000a3c: ADD
00000a3d: PUSH1 0x01
00000a3f: ADD
00000a40: DUP6
00000a41: SSTORE
00000a42: DUP3
00000a43: ISZERO
00000a44: PUSH2 0x0a1d
00000a47: JUMPI
00000a48: SWAP2
00000a49: DUP3
00000a4a: ADD
00000a4b: JUMPDEST
00000a4c: DUP3
00000a4d: DUP2
00000a4e: GT
00000a4f: ISZERO
00000a50: PUSH2 0x0a1d
00000a53: JUMPI
00000a54: DUP3
00000a55: MLOAD
00000a56: DUP3
00000a57: PUSH1 0x00
00000a59: POP
00000a5a: SSTORE
00000a5b: SWAP2
00000a5c: PUSH1 0x20
00000a5e: ADD
00000a5f: SWAP2
00000a60: SWAP1
00000a61: PUSH1 0x01
00000a63: ADD
00000a64: SWAP1
00000a65: PUSH2 0x0a4b
00000a68: JUMP
00000a69: JUMPDEST
00000a6a: POP
00000a6b: POP
00000a6c: PUSH1 0x40
00000a6e: SWAP2
00000a6f: DUP3
00000a70: ADD
00000a71: MLOAD
00000a72: PUSH1 0x02
00000a74: SWAP2
00000a75: DUP3
00000a76: ADD
00000a77: DUP1
00000a78: SLOAD
00000a79: PUSH1 0x01
00000a7b: PUSH1 0xa0
00000a7d: PUSH1 0x02
00000a7f: EXP
00000a80: SUB
00000a81: NOT
00000a82: AND
00000a83: SWAP1
00000a84: SWAP2
00000a85: OR
00000a86: SWAP1
00000a87: SSTORE
00000a88: PUSH1 0x01
00000a8a: DUP1
00000a8b: SLOAD
00000a8c: DUP4
00000a8d: MLOAD
00000a8e: PUSH1 0x20
00000a90: DUP3
00000a91: DUP5
00000a92: AND
00000a93: ISZERO
00000a94: PUSH2 0x0100
00000a97: MUL
00000a98: PUSH1 0x00
00000a9a: NOT
00000a9b: ADD
00000a9c: SWAP1
00000a9d: SWAP3
00000a9e: AND
00000a9f: SWAP4
00000aa0: SWAP1
00000aa1: SWAP4
00000aa2: DIV
00000aa3: PUSH1 0x1f
00000aa5: DUP2
00000aa6: ADD
00000aa7: DUP3
00000aa8: SWAP1
00000aa9: DIV
00000aaa: DUP3
00000aab: MUL
00000aac: DUP5
00000aad: ADD
00000aae: DUP3
00000aaf: ADD
00000ab0: SWAP1
00000ab1: SWAP5
00000ab2: MSTORE
00000ab3: DUP4
00000ab4: DUP4
00000ab5: MSTORE
00000ab6: PUSH2 0x07f1
00000ab9: SWAP4
00000aba: SWAP1
00000abb: DUP4
00000abc: ADD
00000abd: DUP3
00000abe: DUP3
00000abf: DUP1
00000ac0: ISZERO
00000ac1: PUSH2 0x0b0f
00000ac4: JUMPI
00000ac5: DUP1
00000ac6: PUSH1 0x1f
00000ac8: LT
00000ac9: PUSH2 0x0ae4
00000acc: JUMPI
00000acd: PUSH2 0x0100
00000ad0: DUP1
00000ad1: DUP4
00000ad2: SLOAD
00000ad3: DIV
00000ad4: MUL
00000ad5: DUP4
00000ad6: MSTORE
00000ad7: SWAP2
00000ad8: PUSH1 0x20
00000ada: ADD
00000adb: SWAP2
00000adc: PUSH2 0x0b0f
00000adf: JUMP
00000ae0: JUMPDEST
00000ae1: POP
00000ae2: SWAP1
00000ae3: JUMP
00000ae4: JUMPDEST
00000ae5: DUP3
00000ae6: ADD
00000ae7: SWAP2
00000ae8: SWAP1
00000ae9: PUSH1 0x00
00000aeb: MSTORE
00000aec: PUSH1 0x20
00000aee: PUSH1 0x00
00000af0: KECCAK256
00000af1: SWAP1
00000af2: JUMPDEST
00000af3: DUP2
00000af4: SLOAD
00000af5: DUP2
00000af6: MSTORE
00000af7: SWAP1
00000af8: PUSH1 0x01
00000afa: ADD
00000afb: SWAP1
00000afc: PUSH1 0x20
00000afe: ADD
00000aff: DUP1
00000b00: DUP4
00000b01: GT
00000b02: PUSH2 0x0af2
00000b05: JUMPI
00000b06: DUP3
00000b07: SWAP1
00000b08: SUB
00000b09: PUSH1 0x1f
00000b0b: AND
00000b0c: DUP3
00000b0d: ADD
00000b0e: SWAP2
00000b0f: JUMPDEST
00000b10: POP
00000b11: POP
00000b12: POP
00000b13: POP
00000b14: POP
00000b15: DUP4
00000b16: JUMPDEST
00000b17: PUSH1 0x40
00000b19: DUP1
00000b1a: MLOAD
00000b1b: PUSH1 0x20
00000b1d: DUP2
00000b1e: DUP2
00000b1f: ADD
00000b20: DUP4
00000b21: MSTORE
00000b22: PUSH1 0x00
00000b24: DUP1
00000b25: DUP4
00000b26: MSTORE
00000b27: DUP4
00000b28: MLOAD
00000b29: DUP1
00000b2a: DUP4
00000b2b: ADD
00000b2c: DUP6
00000b2d: MSTORE
00000b2e: DUP2
00000b2f: SWAP1
00000b30: MSTORE
00000b31: DUP4
00000b32: MLOAD
00000b33: DUP1
00000b34: DUP4
00000b35: ADD
00000b36: DUP6
00000b37: MSTORE
00000b38: DUP2
00000b39: SWAP1
00000b3a: MSTORE
00000b3b: DUP4
00000b3c: MLOAD
00000b3d: DUP1
00000b3e: DUP4
00000b3f: ADD
00000b40: DUP6
00000b41: MSTORE
00000b42: DUP2
00000b43: DUP2
00000b44: MSTORE
00000b45: DUP5
00000b46: MLOAD
00000b47: SWAP3
00000b48: DUP4
00000b49: ADD
00000b4a: DUP6
00000b4b: MSTORE
00000b4c: DUP2
00000b4d: DUP4
00000b4e: MSTORE
00000b4f: SWAP4
00000b50: MLOAD
00000b51: DUP6
00000b52: MLOAD
00000b53: DUP8
00000b54: MLOAD
00000b55: SWAP5
00000b56: SWAP6
00000b57: DUP9
00000b58: SWAP6
00000b59: DUP9
00000b5a: SWAP6
00000b5b: SWAP2
00000b5c: SWAP5
00000b5d: SWAP2
00000b5e: SWAP4
00000b5f: SWAP2
00000b60: SWAP3
00000b61: DUP4
00000b62: SWAP3
00000b63: SWAP2
00000b64: ADD
00000b65: SWAP1
00000b66: DUP1
00000b67: MSIZE
00000b68: LT
00000b69: PUSH2 0x0b6f
00000b6c: JUMPI
00000b6d: POP
00000b6e: MSIZE
00000b6f: JUMPDEST
00000b70: SWAP1
00000b71: DUP1
00000b72: DUP3
00000b73: MSTORE
00000b74: DUP1
00000b75: PUSH1 0x20
00000b77: MUL
00000b78: PUSH1 0x20
00000b7a: ADD
00000b7b: DUP3
00000b7c: ADD
00000b7d: PUSH1 0x40
00000b7f: MSTORE
00000b80: POP
00000b81: SWAP4
00000b82: POP
00000b83: DUP4
00000b84: SWAP3
00000b85: POP
00000b86: PUSH1 0x00
00000b88: SWAP2
00000b89: POP
00000b8a: PUSH1 0x00
00000b8c: SWAP1
00000b8d: POP
00000b8e: JUMPDEST
00000b8f: DUP6
00000b90: MLOAD
00000b91: DUP2
00000b92: LT
00000b93: ISZERO
00000b94: PUSH2 0x0f01
00000b97: JUMPI
00000b98: DUP6
00000b99: DUP2
00000b9a: DUP2
00000b9b: MLOAD
00000b9c: DUP2
00000b9d: LT
00000b9e: ISZERO
00000b9f: PUSH2 0x0002
00000ba2: JUMPI
00000ba3: SWAP1
00000ba4: PUSH1 0x20
00000ba6: ADD
00000ba7: ADD
00000ba8: MLOAD
00000ba9: PUSH1 0xf8
00000bab: PUSH1 0x02
00000bad: EXP
00000bae: SWAP1
00000baf: DIV
00000bb0: PUSH1 0xf8
00000bb2: PUSH1 0x02
00000bb4: EXP
00000bb5: MUL
00000bb6: DUP4
00000bb7: DUP4
00000bb8: DUP1
00000bb9: PUSH1 0x01
00000bbb: ADD
00000bbc: SWAP5
00000bbd: POP
00000bbe: DUP2
00000bbf: MLOAD
00000bc0: DUP2
00000bc1: LT
00000bc2: ISZERO
00000bc3: PUSH2 0x0002
00000bc6: JUMPI
00000bc7: SWAP1
00000bc8: PUSH1 0x20
00000bca: ADD
00000bcb: ADD
00000bcc: SWAP1
00000bcd: PUSH1 0x01
00000bcf: PUSH1 0xf8
00000bd1: PUSH1 0x02
00000bd3: EXP
00000bd4: SUB
00000bd5: NOT
00000bd6: AND
00000bd7: SWAP1
00000bd8: DUP2
00000bd9: PUSH1 0x00
00000bdb: BYTE
00000bdc: SWAP1
00000bdd: MSTORE8
00000bde: POP
00000bdf: PUSH1 0x01
00000be1: ADD
00000be2: PUSH2 0x0b8e
00000be5: JUMP
00000be6: JUMPDEST
00000be7: DUP1
00000be8: PUSH1 0x01
00000bea: PUSH1 0x00
00000bec: POP
00000bed: SWAP1
00000bee: DUP1
00000bef: MLOAD
00000bf0: SWAP1
00000bf1: PUSH1 0x20
00000bf3: ADD
00000bf4: SWAP1
00000bf5: DUP3
00000bf6: DUP1
00000bf7: SLOAD
00000bf8: PUSH1 0x01
00000bfa: DUP2
00000bfb: PUSH1 0x01
00000bfd: AND
00000bfe: ISZERO
00000bff: PUSH2 0x0100
00000c02: MUL
00000c03: SUB
00000c04: AND
00000c05: PUSH1 0x02
00000c07: SWAP1
00000c08: DIV
00000c09: SWAP1
00000c0a: PUSH1 0x00
00000c0c: MSTORE
00000c0d: PUSH1 0x20
00000c0f: PUSH1 0x00
00000c11: KECCAK256
00000c12: SWAP1
00000c13: PUSH1 0x1f
00000c15: ADD
00000c16: PUSH1 0x20
00000c18: SWAP1
00000c19: DIV
00000c1a: DUP2
00000c1b: ADD
00000c1c: SWAP3
00000c1d: DUP3
00000c1e: PUSH1 0x1f
00000c20: LT
00000c21: PUSH2 0x0c3d
00000c24: JUMPI
00000c25: DUP1
00000c26: MLOAD
00000c27: PUSH1 0xff
00000c29: NOT
00000c2a: AND
00000c2b: DUP4
00000c2c: DUP1
00000c2d: ADD
00000c2e: OR
00000c2f: DUP6
00000c30: SSTORE
00000c31: JUMPDEST
00000c32: POP
00000c33: PUSH2 0x088b
00000c36: SWAP3
00000c37: SWAP2
00000c38: POP
00000c39: PUSH2 0x0a25
00000c3c: JUMP
00000c3d: JUMPDEST
00000c3e: DUP3
00000c3f: DUP1
00000c40: ADD
00000c41: PUSH1 0x01
00000c43: ADD
00000c44: DUP6
00000c45: SSTORE
00000c46: DUP3
00000c47: ISZERO
00000c48: PUSH2 0x0c31
00000c4b: JUMPI
00000c4c: SWAP2
00000c4d: DUP3
00000c4e: ADD
00000c4f: JUMPDEST
00000c50: DUP3
00000c51: DUP2
00000c52: GT
00000c53: ISZERO
00000c54: PUSH2 0x0c31
00000c57: JUMPI
00000c58: DUP3
00000c59: MLOAD
00000c5a: DUP3
00000c5b: PUSH1 0x00
00000c5d: POP
00000c5e: SSTORE
00000c5f: SWAP2
00000c60: PUSH1 0x20
00000c62: ADD
00000c63: SWAP2
00000c64: SWAP1
00000c65: PUSH1 0x01
00000c67: ADD
00000c68: SWAP1
00000c69: PUSH2 0x0c4f
00000c6c: JUMP
00000c6d: JUMPDEST
00000c6e: PUSH1 0x00
00000c70: DUP1
00000c71: SLOAD
00000c72: PUSH1 0x01
00000c74: PUSH1 0xa0
00000c76: PUSH1 0x02
00000c78: EXP
00000c79: SUB
00000c7a: NOT
00000c7b: AND
00000c7c: DUP3
00000c7d: OR
00000c7e: SWAP1
00000c7f: SSTORE
00000c80: POP
00000c81: JUMP
00000c82: JUMPDEST
00000c83: ISZERO
00000c84: ISZERO
00000c85: PUSH2 0x07ee
00000c88: JUMPI
00000c89: PUSH2 0x0002
00000c8c: JUMP
00000c8d: JUMPDEST
00000c8e: SWAP3
00000c8f: POP
00000c90: PUSH2 0x0e7c
00000c93: ORIGIN
00000c94: PUSH1 0x01
00000c96: PUSH1 0xa0
00000c98: PUSH1 0x02
00000c9a: EXP
00000c9b: SUB
00000c9c: AND
00000c9d: PUSH1 0x02
00000c9f: JUMPDEST
00000ca0: PUSH1 0x40
00000ca2: DUP1
00000ca3: MLOAD
00000ca4: PUSH1 0x20
00000ca6: DUP2
00000ca7: DUP2
00000ca8: ADD
00000ca9: DUP4
00000caa: MSTORE
00000cab: PUSH1 0x00
00000cad: DUP1
00000cae: DUP4
00000caf: MSTORE
00000cb0: DUP4
00000cb1: MLOAD
00000cb2: DUP1
00000cb3: DUP4
00000cb4: ADD
00000cb5: DUP6
00000cb6: MSTORE
00000cb7: DUP2
00000cb8: SWAP1
00000cb9: MSTORE
00000cba: DUP4
00000cbb: MLOAD
00000cbc: DUP1
00000cbd: DUP4
00000cbe: ADD
00000cbf: DUP6
00000cc0: MSTORE
00000cc1: DUP2
00000cc2: SWAP1
00000cc3: MSTORE
00000cc4: DUP4
00000cc5: MLOAD
00000cc6: DUP1
00000cc7: DUP4
00000cc8: ADD
00000cc9: DUP6
00000cca: MSTORE
00000ccb: DUP2
00000ccc: DUP2
00000ccd: MSTORE
00000cce: DUP5
00000ccf: MLOAD
00000cd0: DUP1
00000cd1: DUP5
00000cd2: ADD
00000cd3: DUP7
00000cd4: MSTORE
00000cd5: DUP3
00000cd6: DUP2
00000cd7: MSTORE
00000cd8: DUP6
00000cd9: MLOAD
00000cda: PUSH1 0x60
00000cdc: DUP2
00000cdd: ADD
00000cde: DUP8
00000cdf: MSTORE
00000ce0: PUSH1 0x3a
00000ce2: DUP1
00000ce3: DUP3
00000ce4: MSTORE
00000ce5: PUSH32 0x3132333435363738396162636465666768696a6b6d6e6f707172737475767778
00000d06: SWAP6
00000d07: DUP3
00000d08: ADD
00000d09: SWAP6
00000d0a: SWAP1
00000d0b: SWAP6
00000d0c: MSTORE
00000d0d: PUSH32 0x797a41424344454647484a4b4c4d4e505152535455565758595a000000000000
00000d2e: DUP2
00000d2f: DUP9
00000d30: ADD
00000d31: MSTORE
00000d32: SWAP6
00000d33: MLOAD
00000d34: SWAP5
00000d35: SWAP6
00000d36: SWAP5
00000d37: DUP6
00000d38: SWAP5
00000d39: SWAP4
00000d3a: SWAP3
00000d3b: DUP4
00000d3c: SWAP3
00000d3d: DUP4
00000d3e: SWAP3
00000d3f: DUP4
00000d40: SWAP2
00000d41: SWAP1
00000d42: PUSH1 0xff
00000d44: DUP13
00000d45: AND
00000d46: SWAP1
00000d47: DUP1
00000d48: MSIZE
00000d49: LT
00000d4a: PUSH2 0x0d50
00000d4d: JUMPI
00000d4e: POP
00000d4f: MSIZE
00000d50: JUMPDEST
00000d51: SWAP1
00000d52: DUP1
00000d53: DUP3
00000d54: MSTORE
00000d55: DUP1
00000d56: PUSH1 0x20
00000d58: MUL
00000d59: PUSH1 0x20
00000d5b: ADD
00000d5c: DUP3
00000d5d: ADD
00000d5e: PUSH1 0x40
00000d60: MSTORE
00000d61: POP
00000d62: SWAP3
00000d63: POP
00000d64: PUSH1 0x00
00000d66: SWAP2
00000d67: POP
00000d68: JUMPDEST
00000d69: DUP11
00000d6a: PUSH1 0xff
00000d6c: AND
00000d6d: DUP3
00000d6e: PUSH1 0xff
00000d70: AND
00000d71: LT
00000d72: ISZERO
00000d73: PUSH2 0x0de5
00000d76: JUMPI
00000d77: DUP7
00000d78: PUSH1 0xff
00000d7a: AND
00000d7b: DUP13
00000d7c: LT
00000d7d: ISZERO
00000d7e: PUSH2 0x0d86
00000d81: JUMPI
00000d82: PUSH1 0x01
00000d84: SWAP4
00000d85: POP
00000d86: JUMPDEST
00000d87: DUP8
00000d88: MLOAD
00000d89: PUSH1 0xff
00000d8b: DUP9
00000d8c: AND
00000d8d: DUP1
00000d8e: DUP15
00000d8f: DIV
00000d90: SWAP14
00000d91: MOD
00000d92: SWAP6
00000d93: POP
00000d94: DUP9
00000d95: SWAP1
00000d96: DUP7
00000d97: SWAP1
00000d98: DUP2
00000d99: LT
00000d9a: ISZERO
00000d9b: PUSH2 0x0002
00000d9e: JUMPI
00000d9f: SWAP1
00000da0: PUSH1 0x20
00000da2: ADD
00000da3: ADD
00000da4: MLOAD
00000da5: PUSH1 0xf8
00000da7: PUSH1 0x02
00000da9: EXP
00000daa: SWAP1
00000dab: DIV
00000dac: PUSH1 0xf8
00000dae: PUSH1 0x02
00000db0: EXP
00000db1: MUL
00000db2: DUP4
00000db3: DUP4
00000db4: PUSH1 0xff
00000db6: AND
00000db7: DUP2
00000db8: MLOAD
00000db9: DUP2
00000dba: LT
00000dbb: ISZERO
00000dbc: PUSH2 0x0002
00000dbf: JUMPI
00000dc0: SWAP1
00000dc1: PUSH1 0x20
00000dc3: ADD
00000dc4: ADD
00000dc5: SWAP1
00000dc6: PUSH1 0x01
00000dc8: PUSH1 0xf8
00000dca: PUSH1 0x02
00000dcc: EXP
00000dcd: SUB
00000dce: NOT
00000dcf: AND
00000dd0: SWAP1
00000dd1: DUP2
00000dd2: PUSH1 0x00
00000dd4: BYTE
00000dd5: SWAP1
00000dd6: MSTORE8
00000dd7: POP
00000dd8: PUSH1 0x01
00000dda: SWAP6
00000ddb: SWAP1
00000ddc: SWAP6
00000ddd: ADD
00000dde: SWAP5
00000ddf: DUP4
00000de0: ISZERO
00000de1: PUSH2 0x1079
00000de4: JUMPI
00000de5: JUMPDEST
00000de6: DUP6
00000de7: PUSH1 0xff
00000de9: AND
00000dea: PUSH1 0x40
00000dec: MLOAD
00000ded: DUP1
00000dee: MSIZE
00000def: LT
00000df0: PUSH2 0x0df6
00000df3: JUMPI
00000df4: POP
00000df5: MSIZE
00000df6: JUMPDEST
00000df7: DUP2
00000df8: DUP2
00000df9: MSTORE
00000dfa: PUSH1 0x20
00000dfc: SWAP2
00000dfd: DUP3
00000dfe: MUL
00000dff: DUP2
00000e00: ADD
00000e01: SWAP1
00000e02: SWAP2
00000e03: ADD
00000e04: PUSH1 0x40
00000e06: MSTORE
00000e07: PUSH1 0x00
00000e09: SWAP3
00000e0a: POP
00000e0b: SWAP1
00000e0c: POP
00000e0d: JUMPDEST
00000e0e: DUP6
00000e0f: PUSH1 0xff
00000e11: AND
00000e12: DUP3
00000e13: PUSH1 0xff
00000e15: AND
00000e16: LT
00000e17: ISZERO
00000e18: PUSH2 0x1085
00000e1b: JUMPI
00000e1c: DUP3
00000e1d: PUSH1 0x01
00000e1f: DUP4
00000e20: DUP9
00000e21: SUB
00000e22: SUB
00000e23: PUSH1 0xff
00000e25: AND
00000e26: DUP2
00000e27: MLOAD
00000e28: DUP2
00000e29: LT
00000e2a: ISZERO
00000e2b: PUSH2 0x0002
00000e2e: JUMPI
00000e2f: SWAP1
00000e30: PUSH1 0x20
00000e32: ADD
00000e33: ADD
00000e34: MLOAD
00000e35: PUSH1 0xf8
00000e37: PUSH1 0x02
00000e39: EXP
00000e3a: SWAP1
00000e3b: DIV
00000e3c: PUSH1 0xf8
00000e3e: PUSH1 0x02
00000e40: EXP
00000e41: MUL
00000e42: DUP2
00000e43: DUP4
00000e44: PUSH1 0xff
00000e46: AND
00000e47: DUP2
00000e48: MLOAD
00000e49: DUP2
00000e4a: LT
00000e4b: ISZERO
00000e4c: PUSH2 0x0002
00000e4f: JUMPI
00000e50: SWAP1
00000e51: PUSH1 0x20
00000e53: ADD
00000e54: ADD
00000e55: SWAP1
00000e56: PUSH1 0x01
00000e58: PUSH1 0xf8
00000e5a: PUSH1 0x02
00000e5c: EXP
00000e5d: SUB
00000e5e: NOT
00000e5f: AND
00000e60: SWAP1
00000e61: DUP2
00000e62: PUSH1 0x00
00000e64: BYTE
00000e65: SWAP1
00000e66: MSTORE8
00000e67: POP
00000e68: PUSH1 0x01
00000e6a: SWAP2
00000e6b: SWAP1
00000e6c: SWAP2
00000e6d: ADD
00000e6e: SWAP1
00000e6f: PUSH2 0x0e0d
00000e72: JUMP
00000e73: JUMPDEST
00000e74: NUMBER
00000e75: SUB
00000e76: PUSH1 0x0b
00000e78: PUSH2 0x0c9f
00000e7b: JUMP
00000e7c: JUMPDEST
00000e7d: SWAP2
00000e7e: POP
00000e7f: PUSH2 0x0e88
00000e82: DUP4
00000e83: DUP4
00000e84: PUSH2 0x0b16
00000e87: JUMP
00000e88: JUMPDEST
00000e89: SWAP5
00000e8a: SWAP4
00000e8b: POP
00000e8c: POP
00000e8d: POP
00000e8e: POP
00000e8f: JUMP
00000e90: JUMPDEST
00000e91: CALLER
00000e92: PUSH1 0x01
00000e94: PUSH1 0xa0
00000e96: PUSH1 0x02
00000e98: EXP
00000e99: SUB
00000e9a: AND
00000e9b: PUSH1 0x00
00000e9d: SWAP1
00000e9e: DUP2
00000e9f: MSTORE
00000ea0: PUSH1 0x03
00000ea2: PUSH1 0x20
00000ea4: MSTORE
00000ea5: PUSH1 0x40
00000ea7: SWAP1
00000ea8: KECCAK256
00000ea9: SLOAD
00000eaa: SWAP1
00000eab: SWAP2
00000eac: POP
00000ead: PUSH1 0xff
00000eaf: AND
00000eb0: DUP1
00000eb1: PUSH2 0x0eba
00000eb4: JUMPI
00000eb5: POP
00000eb6: DUP1
00000eb7: PUSH1 0x00
00000eb9: EQ
00000eba: JUMPDEST
00000ebb: ISZERO
00000ebc: PUSH2 0x0ec4
00000ebf: JUMPI
00000ec0: PUSH2 0x07ee
00000ec3: JUMP
00000ec4: JUMPDEST
00000ec5: DUP1
00000ec6: CALLVALUE
00000ec7: LT
00000ec8: ISZERO
00000ec9: PUSH2 0x0ed1
00000ecc: JUMPI
00000ecd: PUSH2 0x0002
00000ed0: JUMP
00000ed1: JUMPDEST
00000ed2: PUSH1 0x04
00000ed4: SLOAD
00000ed5: PUSH1 0x40
00000ed7: MLOAD
00000ed8: PUSH1 0x01
00000eda: PUSH1 0xa0
00000edc: PUSH1 0x02
00000ede: EXP
00000edf: SUB
00000ee0: SWAP2
00000ee1: SWAP1
00000ee2: SWAP2
00000ee3: AND
00000ee4: SWAP1
00000ee5: PUSH1 0x00
00000ee7: SWAP1
00000ee8: DUP4
00000ee9: SWAP1
00000eea: DUP3
00000eeb: DUP2
00000eec: DUP2
00000eed: DUP2
00000eee: DUP6
00000eef: DUP9
00000ef0: DUP4
00000ef1: CALL
00000ef2: SWAP4
00000ef3: POP
00000ef4: POP
00000ef5: POP
00000ef6: POP
00000ef7: ISZERO
00000ef8: ISZERO
00000ef9: PUSH2 0x07ee
00000efc: JUMPI
00000efd: PUSH2 0x0002
00000f00: JUMP
00000f01: JUMPDEST
00000f02: POP
00000f03: PUSH1 0x00
00000f05: JUMPDEST
00000f06: DUP5
00000f07: MLOAD
00000f08: DUP2
00000f09: LT
00000f0a: ISZERO
00000f0b: PUSH2 0x0f5d
00000f0e: JUMPI
00000f0f: DUP5
00000f10: DUP2
00000f11: DUP2
00000f12: MLOAD
00000f13: DUP2
00000f14: LT
00000f15: ISZERO
00000f16: PUSH2 0x0002
00000f19: JUMPI
00000f1a: SWAP1
00000f1b: PUSH1 0x20
00000f1d: ADD
00000f1e: ADD
00000f1f: MLOAD
00000f20: PUSH1 0xf8
00000f22: PUSH1 0x02
00000f24: EXP
00000f25: SWAP1
00000f26: DIV
00000f27: PUSH1 0xf8
00000f29: PUSH1 0x02
00000f2b: EXP
00000f2c: MUL
00000f2d: DUP4
00000f2e: DUP4
00000f2f: DUP1
00000f30: PUSH1 0x01
00000f32: ADD
00000f33: SWAP5
00000f34: POP
00000f35: DUP2
00000f36: MLOAD
00000f37: DUP2
00000f38: LT
00000f39: ISZERO
00000f3a: PUSH2 0x0002
00000f3d: JUMPI
00000f3e: SWAP1
00000f3f: PUSH1 0x20
00000f41: ADD
00000f42: ADD
00000f43: SWAP1
00000f44: PUSH1 0x01
00000f46: PUSH1 0xf8
00000f48: PUSH1 0x02
00000f4a: EXP
00000f4b: SUB
00000f4c: NOT
00000f4d: AND
00000f4e: SWAP1
00000f4f: DUP2
00000f50: PUSH1 0x00
00000f52: BYTE
00000f53: SWAP1
00000f54: MSTORE8
00000f55: POP
00000f56: PUSH1 0x01
00000f58: ADD
00000f59: PUSH2 0x0f05
00000f5c: JUMP
00000f5d: JUMPDEST
00000f5e: POP
00000f5f: SWAP1
00000f60: SWAP8
00000f61: SWAP7
00000f62: POP
00000f63: POP
00000f64: POP
00000f65: POP
00000f66: POP
00000f67: POP
00000f68: POP
00000f69: JUMP
00000f6a: JUMPDEST
00000f6b: PUSH1 0x00
00000f6d: SWAP4
00000f6e: POP
00000f6f: JUMPDEST
00000f70: POP
00000f71: POP
00000f72: POP
00000f73: SWAP2
00000f74: SWAP1
00000f75: POP
00000f76: JUMP
00000f77: JUMPDEST
00000f78: PUSH1 0x00
00000f7a: SWAP1
00000f7b: POP
00000f7c: DUP2
00000f7d: PUSH1 0x00
00000f7f: DUP2
00000f80: MLOAD
00000f81: DUP2
00000f82: LT
00000f83: ISZERO
00000f84: PUSH2 0x0002
00000f87: JUMPI
00000f88: SWAP1
00000f89: PUSH1 0x20
00000f8b: ADD
00000f8c: ADD
00000f8d: MLOAD
00000f8e: PUSH1 0xf8
00000f90: PUSH1 0x02
00000f92: EXP
00000f93: SWAP1
00000f94: DIV
00000f95: PUSH1 0xf8
00000f97: PUSH1 0x02
00000f99: EXP
00000f9a: MUL
00000f9b: PUSH1 0x01
00000f9d: PUSH1 0xf8
00000f9f: PUSH1 0x02
00000fa1: EXP
00000fa2: SUB
00000fa3: NOT
00000fa4: AND
00000fa5: DUP4
00000fa6: PUSH1 0x01
00000fa8: DUP2
00000fa9: MLOAD
00000faa: DUP2
00000fab: LT
00000fac: ISZERO
00000fad: PUSH2 0x0002
00000fb0: JUMPI
00000fb1: SWAP1
00000fb2: PUSH1 0x20
00000fb4: ADD
00000fb5: ADD
00000fb6: MLOAD
00000fb7: PUSH1 0xf8
00000fb9: PUSH1 0x02
00000fbb: EXP
00000fbc: SWAP1
00000fbd: DIV
00000fbe: PUSH1 0xf8
00000fc0: PUSH1 0x02
00000fc2: EXP
00000fc3: MUL
00000fc4: PUSH1 0x01
00000fc6: PUSH1 0xf8
00000fc8: PUSH1 0x02
00000fca: EXP
00000fcb: SUB
00000fcc: NOT
00000fcd: AND
00000fce: EQ
00000fcf: ISZERO
00000fd0: PUSH2 0x0f6a
00000fd3: JUMPI
00000fd4: POP
00000fd5: PUSH1 0x01
00000fd7: JUMPDEST
00000fd8: DUP2
00000fd9: MLOAD
00000fda: DUP2
00000fdb: LT
00000fdc: DUP1
00000fdd: ISZERO
00000fde: PUSH2 0x0fea
00000fe1: JUMPI
00000fe2: POP
00000fe3: DUP3
00000fe4: MLOAD
00000fe5: DUP2
00000fe6: PUSH1 0x01
00000fe8: ADD
00000fe9: LT
00000fea: JUMPDEST
00000feb: DUP1
00000fec: ISZERO
00000fed: PUSH2 0x105a
00000ff0: JUMPI
00000ff1: POP
00000ff2: DUP2
00000ff3: DUP2
00000ff4: DUP2
00000ff5: MLOAD
00000ff6: DUP2
00000ff7: LT
00000ff8: ISZERO
00000ff9: PUSH2 0x0002
00000ffc: JUMPI
00000ffd: SWAP1
00000ffe: PUSH1 0x20
00001000: ADD
00001001: ADD
00001002: MLOAD
00001003: PUSH1 0xf8
00001005: PUSH1 0x02
00001007: EXP
00001008: SWAP1
00001009: DIV
0000100a: PUSH1 0xf8
0000100c: PUSH1 0x02
0000100e: EXP
0000100f: MUL
00001010: PUSH1 0x01
00001012: PUSH1 0xf8
00001014: PUSH1 0x02
00001016: EXP
00001017: SUB
00001018: NOT
00001019: AND
0000101a: DUP4
0000101b: DUP3
0000101c: PUSH1 0x01
0000101e: ADD
0000101f: DUP2
00001020: MLOAD
00001021: DUP2
00001022: LT
00001023: ISZERO
00001024: PUSH2 0x0002
00001027: JUMPI
00001028: ADD
00001029: PUSH1 0x20
0000102b: ADD
0000102c: MLOAD
0000102d: PUSH1 0xf8
0000102f: PUSH1 0x02
00001031: EXP
00001032: SWAP1
00001033: DUP2
00001034: SWAP1
00001035: DIV
00001036: MUL
00001037: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
00001058: AND
00001059: EQ
0000105a: JUMPDEST
0000105b: ISZERO
0000105c: PUSH2 0x1067
0000105f: JUMPI
00001060: PUSH1 0x01
00001062: ADD
00001063: PUSH2 0x0fd7
00001066: JUMP
00001067: JUMPDEST
00001068: DUP2
00001069: MLOAD
0000106a: DUP2
0000106b: EQ
0000106c: ISZERO
0000106d: PUSH2 0x0f6a
00001070: JUMPI
00001071: PUSH1 0x01
00001073: SWAP4
00001074: POP
00001075: PUSH2 0x0f6f
00001078: JUMP
00001079: JUMPDEST
0000107a: PUSH1 0x01
0000107c: SWAP2
0000107d: SWAP1
0000107e: SWAP2
0000107f: ADD
00001080: SWAP1
00001081: PUSH2 0x0d68
00001084: JUMP
00001085: JUMPDEST
00001086: SWAP12
00001087: SWAP11
00001088: POP
00001089: POP
0000108a: POP
0000108b: POP
0000108c: POP
0000108d: POP
0000108e: POP
0000108f: POP
00001090: POP
00001091: POP
00001092: POP
00001093: 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.