Analysis Run

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-rag7qxj7
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c93-bf3d-7cb2-9933-6eaeba003d93
--------
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:38:01.511592+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 10458,
        "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: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x010e
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH1 0xe0
00000014: PUSH1 0x02
00000016: EXP
00000017: PUSH1 0x00
00000019: CALLDATALOAD
0000001a: DIV
0000001b: AND
0000001c: PUSH4 0x19262d30
00000021: DUP2
00000022: EQ
00000023: PUSH2 0x011b
00000026: JUMPI
00000027: DUP1
00000028: PUSH4 0x1f6eb6e7
0000002d: EQ
0000002e: PUSH2 0x014e
00000031: JUMPI
00000032: DUP1
00000033: PUSH4 0x2af4c31e
00000038: EQ
00000039: PUSH2 0x017d
0000003c: JUMPI
0000003d: DUP1
0000003e: PUSH4 0x3ccfd60b
00000043: EQ
00000044: PUSH2 0x019e
00000047: JUMPI
00000048: DUP1
00000049: PUSH4 0x4147e891
0000004e: EQ
0000004f: PUSH2 0x01b1
00000052: JUMPI
00000053: DUP1
00000054: PUSH4 0x44ab1409
00000059: EQ
0000005a: PUSH2 0x01cc
0000005d: JUMPI
0000005e: DUP1
0000005f: PUSH4 0x5bd693d4
00000064: EQ
00000065: PUSH2 0x0203
00000068: JUMPI
00000069: DUP1
0000006a: PUSH4 0x666a3427
0000006f: EQ
00000070: PUSH2 0x0222
00000073: JUMPI
00000074: DUP1
00000075: PUSH4 0x710bf322
0000007a: EQ
0000007b: PUSH2 0x0241
0000007e: JUMPI
0000007f: DUP1
00000080: PUSH4 0x79ba5097
00000085: EQ
00000086: PUSH2 0x0260
00000089: JUMPI
0000008a: DUP1
0000008b: PUSH4 0x892db057
00000090: EQ
00000091: PUSH2 0x0273
00000094: JUMPI
00000095: DUP1
00000096: PUSH4 0x8da5cb5b
0000009b: EQ
0000009c: PUSH2 0x0292
0000009f: JUMPI
000000a0: DUP1
000000a1: PUSH4 0x9cff53e0
000000a6: EQ
000000a7: PUSH2 0x02a5
000000aa: JUMPI
000000ab: DUP1
000000ac: PUSH4 0xa142d608
000000b1: EQ
000000b2: PUSH2 0x02b8
000000b5: JUMPI
000000b6: DUP1
000000b7: PUSH4 0xa3e7247a
000000bc: EQ
000000bd: PUSH2 0x02d7
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0xb02c43d0
000000c7: EQ
000000c8: PUSH2 0x02f9
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0xd0782461
000000d2: EQ
000000d3: PUSH2 0x0343
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0xd091b550
000000dd: EQ
000000de: PUSH2 0x034e
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0xd836fbe8
000000e8: EQ
000000e9: PUSH2 0x0361
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0xd8f5e6c9
000000f3: EQ
000000f4: PUSH2 0x0380
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0xf5b61230
000000fe: EQ
000000ff: PUSH2 0x0396
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0xfe0f3a13
00000109: EQ
0000010a: PUSH2 0x03a9
0000010d: JUMPI
0000010e: JUMPDEST
0000010f: PUSH2 0x0118
00000112: PUSH1 0x00
00000114: PUSH2 0x03ce
00000117: JUMP
00000118: JUMPDEST
00000119: POP
0000011a: STOP
0000011b: JUMPDEST
0000011c: CALLVALUE
0000011d: ISZERO
0000011e: PUSH2 0x0126
00000121: JUMPI
00000122: PUSH1 0x00
00000124: DUP1
00000125: REVERT
00000126: JUMPDEST
00000127: PUSH2 0x013a
0000012a: PUSH1 0x01
0000012c: PUSH1 0xa0
0000012e: PUSH1 0x02
00000130: EXP
00000131: SUB
00000132: PUSH1 0x04
00000134: CALLDATALOAD
00000135: AND
00000136: PUSH2 0x04a5
00000139: JUMP
0000013a: JUMPDEST
0000013b: PUSH1 0x40
0000013d: MLOAD
0000013e: SWAP1
0000013f: ISZERO
00000140: ISZERO
00000141: DUP2
00000142: MSTORE
00000143: PUSH1 0x20
00000145: ADD
00000146: PUSH1 0x40
00000148: MLOAD
00000149: DUP1
0000014a: SWAP2
0000014b: SUB
0000014c: SWAP1
0000014d: RETURN
0000014e: JUMPDEST
0000014f: CALLVALUE
00000150: ISZERO
00000151: PUSH2 0x0159
00000154: JUMPI
00000155: PUSH1 0x00
00000157: DUP1
00000158: REVERT
00000159: JUMPDEST
0000015a: PUSH2 0x0161
0000015d: PUSH2 0x066c
00000160: JUMP
00000161: JUMPDEST
00000162: PUSH1 0x40
00000164: MLOAD
00000165: PUSH1 0x01
00000167: PUSH1 0xa0
00000169: PUSH1 0x02
0000016b: EXP
0000016c: SUB
0000016d: SWAP1
0000016e: SWAP2
0000016f: AND
00000170: DUP2
00000171: MSTORE
00000172: PUSH1 0x20
00000174: ADD
00000175: PUSH1 0x40
00000177: MLOAD
00000178: DUP1
00000179: SWAP2
0000017a: SUB
0000017b: SWAP1
0000017c: RETURN
0000017d: JUMPDEST
0000017e: CALLVALUE
0000017f: ISZERO
00000180: PUSH2 0x0188
00000183: JUMPI
00000184: PUSH1 0x00
00000186: DUP1
00000187: REVERT
00000188: JUMPDEST
00000189: PUSH2 0x019c
0000018c: PUSH1 0x01
0000018e: PUSH1 0xa0
00000190: PUSH1 0x02
00000192: EXP
00000193: SUB
00000194: PUSH1 0x04
00000196: CALLDATALOAD
00000197: AND
00000198: PUSH2 0x067b
0000019b: JUMP
0000019c: JUMPDEST
0000019d: STOP
0000019e: JUMPDEST
0000019f: CALLVALUE
000001a0: ISZERO
000001a1: PUSH2 0x01a9
000001a4: JUMPI
000001a5: PUSH1 0x00
000001a7: DUP1
000001a8: REVERT
000001a9: JUMPDEST
000001aa: PUSH2 0x019c
000001ad: PUSH2 0x070f
000001b0: JUMP
000001b1: JUMPDEST
000001b2: CALLVALUE
000001b3: ISZERO
000001b4: PUSH2 0x01bc
000001b7: JUMPI
000001b8: PUSH1 0x00
000001ba: DUP1
000001bb: REVERT
000001bc: JUMPDEST
000001bd: PUSH2 0x019c
000001c0: PUSH1 0x04
000001c2: CALLDATALOAD
000001c3: PUSH1 0x24
000001c5: CALLDATALOAD
000001c6: ISZERO
000001c7: ISZERO
000001c8: PUSH2 0x09c4
000001cb: JUMP
000001cc: JUMPDEST
000001cd: CALLVALUE
000001ce: ISZERO
000001cf: PUSH2 0x01d7
000001d2: JUMPI
000001d3: PUSH1 0x00
000001d5: DUP1
000001d6: REVERT
000001d7: JUMPDEST
000001d8: PUSH2 0x01f1
000001db: PUSH1 0x01
000001dd: PUSH1 0xa0
000001df: PUSH1 0x02
000001e1: EXP
000001e2: SUB
000001e3: PUSH1 0x04
000001e5: CALLDATALOAD
000001e6: AND
000001e7: PUSH1 0x24
000001e9: CALLDATALOAD
000001ea: PUSH1 0x44
000001ec: CALLDATALOAD
000001ed: PUSH2 0x0a3e
000001f0: JUMP
000001f1: JUMPDEST
000001f2: PUSH1 0x40
000001f4: MLOAD
000001f5: SWAP1
000001f6: DUP2
000001f7: MSTORE
000001f8: PUSH1 0x20
000001fa: ADD
000001fb: PUSH1 0x40
000001fd: MLOAD
000001fe: DUP1
000001ff: SWAP2
00000200: SUB
00000201: SWAP1
00000202: RETURN
00000203: JUMPDEST
00000204: CALLVALUE
00000205: ISZERO
00000206: PUSH2 0x020e
00000209: JUMPI
0000020a: PUSH1 0x00
0000020c: DUP1
0000020d: REVERT
0000020e: JUMPDEST
0000020f: PUSH2 0x01f1
00000212: PUSH1 0x01
00000214: PUSH1 0xa0
00000216: PUSH1 0x02
00000218: EXP
00000219: SUB
0000021a: PUSH1 0x04
0000021c: CALLDATALOAD
0000021d: AND
0000021e: PUSH2 0x0bb0
00000221: JUMP
00000222: JUMPDEST
00000223: CALLVALUE
00000224: ISZERO
00000225: PUSH2 0x022d
00000228: JUMPI
00000229: PUSH1 0x00
0000022b: DUP1
0000022c: REVERT
0000022d: JUMPDEST
0000022e: PUSH2 0x019c
00000231: PUSH1 0x01
00000233: PUSH1 0xa0
00000235: PUSH1 0x02
00000237: EXP
00000238: SUB
00000239: PUSH1 0x04
0000023b: CALLDATALOAD
0000023c: AND
0000023d: PUSH2 0x0bc2
00000240: JUMP
00000241: JUMPDEST
00000242: CALLVALUE
00000243: ISZERO
00000244: PUSH2 0x024c
00000247: JUMPI
00000248: PUSH1 0x00
0000024a: DUP1
0000024b: REVERT
0000024c: JUMPDEST
0000024d: PUSH2 0x019c
00000250: PUSH1 0x01
00000252: PUSH1 0xa0
00000254: PUSH1 0x02
00000256: EXP
00000257: SUB
00000258: PUSH1 0x04
0000025a: CALLDATALOAD
0000025b: AND
0000025c: PUSH2 0x0c3f
0000025f: JUMP
00000260: JUMPDEST
00000261: CALLVALUE
00000262: ISZERO
00000263: PUSH2 0x026b
00000266: JUMPI
00000267: PUSH1 0x00
00000269: DUP1
0000026a: REVERT
0000026b: JUMPDEST
0000026c: PUSH2 0x019c
0000026f: PUSH2 0x0cb0
00000272: JUMP
00000273: JUMPDEST
00000274: CALLVALUE
00000275: ISZERO
00000276: PUSH2 0x027e
00000279: JUMPI
0000027a: PUSH1 0x00
0000027c: DUP1
0000027d: REVERT
0000027e: JUMPDEST
0000027f: PUSH2 0x013a
00000282: PUSH1 0x01
00000284: PUSH1 0xa0
00000286: PUSH1 0x02
00000288: EXP
00000289: SUB
0000028a: PUSH1 0x04
0000028c: CALLDATALOAD
0000028d: AND
0000028e: PUSH2 0x0d30
00000291: JUMP
00000292: JUMPDEST
00000293: CALLVALUE
00000294: ISZERO
00000295: PUSH2 0x029d
00000298: JUMPI
00000299: PUSH1 0x00
0000029b: DUP1
0000029c: REVERT
0000029d: JUMPDEST
0000029e: PUSH2 0x0161
000002a1: PUSH2 0x0d4f
000002a4: JUMP
000002a5: JUMPDEST
000002a6: CALLVALUE
000002a7: ISZERO
000002a8: PUSH2 0x02b0
000002ab: JUMPI
000002ac: PUSH1 0x00
000002ae: DUP1
000002af: REVERT
000002b0: JUMPDEST
000002b1: PUSH2 0x01f1
000002b4: PUSH2 0x0d5e
000002b7: JUMP
000002b8: JUMPDEST
000002b9: CALLVALUE
000002ba: ISZERO
000002bb: PUSH2 0x02c3
000002be: JUMPI
000002bf: PUSH1 0x00
000002c1: DUP1
000002c2: REVERT
000002c3: JUMPDEST
000002c4: PUSH2 0x019c
000002c7: PUSH1 0x01
000002c9: PUSH1 0xa0
000002cb: PUSH1 0x02
000002cd: EXP
000002ce: SUB
000002cf: PUSH1 0x04
000002d1: CALLDATALOAD
000002d2: AND
000002d3: PUSH2 0x0d65
000002d6: JUMP
000002d7: JUMPDEST
000002d8: CALLVALUE
000002d9: ISZERO
000002da: PUSH2 0x02e2
000002dd: JUMPI
000002de: PUSH1 0x00
000002e0: DUP1
000002e1: REVERT
000002e2: JUMPDEST
000002e3: PUSH2 0x013a
000002e6: PUSH1 0x01
000002e8: PUSH1 0xa0
000002ea: PUSH1 0x02
000002ec: EXP
000002ed: SUB
000002ee: PUSH1 0x04
000002f0: CALLDATALOAD
000002f1: AND
000002f2: PUSH1 0x24
000002f4: CALLDATALOAD
000002f5: PUSH2 0x0f97
000002f8: JUMP
000002f9: JUMPDEST
000002fa: CALLVALUE
000002fb: ISZERO
000002fc: PUSH2 0x0304
000002ff: JUMPI
00000300: PUSH1 0x00
00000302: DUP1
00000303: REVERT
00000304: JUMPDEST
00000305: PUSH2 0x030f
00000308: PUSH1 0x04
0000030a: CALLDATALOAD
0000030b: PUSH2 0x0fc2
0000030e: JUMP
0000030f: JUMPDEST
00000310: PUSH1 0x40
00000312: MLOAD
00000313: SWAP4
00000314: DUP5
00000315: MSTORE
00000316: PUSH1 0x01
00000318: PUSH1 0xa0
0000031a: PUSH1 0x02
0000031c: EXP
0000031d: SUB
0000031e: SWAP1
0000031f: SWAP3
00000320: AND
00000321: PUSH1 0x20
00000323: DUP5
00000324: ADD
00000325: MSTORE
00000326: PUSH1 0x40
00000328: DUP1
00000329: DUP5
0000032a: ADD
0000032b: SWAP2
0000032c: SWAP1
0000032d: SWAP2
0000032e: MSTORE
0000032f: SWAP1
00000330: ISZERO
00000331: ISZERO
00000332: PUSH1 0x60
00000334: DUP4
00000335: ADD
00000336: MSTORE
00000337: PUSH1 0x80
00000339: SWAP1
0000033a: SWAP2
0000033b: ADD
0000033c: SWAP1
0000033d: MLOAD
0000033e: DUP1
0000033f: SWAP2
00000340: SUB
00000341: SWAP1
00000342: RETURN
00000343: JUMPDEST
00000344: PUSH2 0x01f1
00000347: PUSH1 0x04
00000349: CALLDATALOAD
0000034a: PUSH2 0x03ce
0000034d: JUMP
0000034e: JUMPDEST
0000034f: CALLVALUE
00000350: ISZERO
00000351: PUSH2 0x0359
00000354: JUMPI
00000355: PUSH1 0x00
00000357: DUP1
00000358: REVERT
00000359: JUMPDEST
0000035a: PUSH2 0x0161
0000035d: PUSH2 0x1006
00000360: JUMP
00000361: JUMPDEST
00000362: CALLVALUE
00000363: ISZERO
00000364: PUSH2 0x036c
00000367: JUMPI
00000368: PUSH1 0x00
0000036a: DUP1
0000036b: REVERT
0000036c: JUMPDEST
0000036d: PUSH2 0x019c
00000370: PUSH1 0x01
00000372: PUSH1 0xa0
00000374: PUSH1 0x02
00000376: EXP
00000377: SUB
00000378: PUSH1 0x04
0000037a: CALLDATALOAD
0000037b: AND
0000037c: PUSH2 0x1015
0000037f: JUMP
00000380: JUMPDEST
00000381: CALLVALUE
00000382: ISZERO
00000383: PUSH2 0x038b
00000386: JUMPI
00000387: PUSH1 0x00
00000389: DUP1
0000038a: REVERT
0000038b: JUMPDEST
0000038c: PUSH2 0x019c
0000038f: PUSH1 0x04
00000391: CALLDATALOAD
00000392: PUSH2 0x106d
00000395: JUMP
00000396: JUMPDEST
00000397: CALLVALUE
00000398: ISZERO
00000399: PUSH2 0x03a1
0000039c: JUMPI
0000039d: PUSH1 0x00
0000039f: DUP1
000003a0: REVERT
000003a1: JUMPDEST
000003a2: PUSH2 0x0161
000003a5: PUSH2 0x10f9
000003a8: JUMP
000003a9: JUMPDEST
000003aa: CALLVALUE
000003ab: ISZERO
000003ac: PUSH2 0x03b4
000003af: JUMPI
000003b0: PUSH1 0x00
000003b2: DUP1
000003b3: REVERT
000003b4: JUMPDEST
000003b5: PUSH2 0x01f1
000003b8: PUSH1 0x01
000003ba: PUSH1 0xa0
000003bc: PUSH1 0x02
000003be: EXP
000003bf: SUB
000003c0: PUSH1 0x04
000003c2: CALLDATALOAD
000003c3: DUP2
000003c4: AND
000003c5: SWAP1
000003c6: PUSH1 0x24
000003c8: CALLDATALOAD
000003c9: AND
000003ca: PUSH2 0x1108
000003cd: JUMP
000003ce: JUMPDEST
000003cf: PUSH1 0x00
000003d1: DUP1
000003d2: SLOAD
000003d3: DUP2
000003d4: SWAP1
000003d5: CALLER
000003d6: PUSH1 0x01
000003d8: PUSH1 0xa0
000003da: PUSH1 0x02
000003dc: EXP
000003dd: SUB
000003de: SWAP1
000003df: DUP2
000003e0: AND
000003e1: SWAP2
000003e2: AND
000003e3: EQ
000003e4: PUSH2 0x03ec
000003e7: JUMPI
000003e8: PUSH1 0x00
000003ea: DUP1
000003eb: REVERT
000003ec: JUMPDEST
000003ed: PUSH1 0x00
000003ef: CALLVALUE
000003f0: GT
000003f1: PUSH2 0x03f9
000003f4: JUMPI
000003f5: PUSH1 0x00
000003f7: DUP1
000003f8: REVERT
000003f9: JUMPDEST
000003fa: NUMBER
000003fb: DUP4
000003fc: LT
000003fd: PUSH2 0x0405
00000400: JUMPI
00000401: PUSH1 0x00
00000403: DUP1
00000404: REVERT
00000405: JUMPDEST
00000406: PUSH1 0x05
00000408: DUP1
00000409: SLOAD
0000040a: SWAP1
0000040b: PUSH2 0x0417
0000040e: SWAP1
0000040f: PUSH1 0x01
00000411: DUP4
00000412: ADD
00000413: PUSH2 0x13da
00000416: JUMP
00000417: JUMPDEST
00000418: SWAP2
00000419: POP
0000041a: PUSH1 0x05
0000041c: DUP3
0000041d: DUP2
0000041e: SLOAD
0000041f: DUP2
00000420: LT
00000421: ISZERO
00000422: ISZERO
00000423: PUSH2 0x0428
00000426: JUMPI
00000427: INVALID
00000428: JUMPDEST
00000429: SWAP1
0000042a: PUSH1 0x00
0000042c: MSTORE
0000042d: PUSH1 0x20
0000042f: PUSH1 0x00
00000431: KECCAK256
00000432: SWAP1
00000433: PUSH1 0x04
00000435: MUL
00000436: ADD
00000437: SWAP1
00000438: POP
00000439: DUP3
0000043a: PUSH1 0x00
0000043c: EQ
0000043d: PUSH2 0x0446
00000440: JUMPI
00000441: DUP3
00000442: PUSH2 0x044b
00000445: JUMP
00000446: JUMPDEST
00000447: PUSH1 0x01
00000449: NUMBER
0000044a: SUB
0000044b: JUMPDEST
0000044c: DUP2
0000044d: SSTORE
0000044e: PUSH1 0x01
00000450: DUP2
00000451: ADD
00000452: DUP1
00000453: SLOAD
00000454: PUSH1 0x01
00000456: PUSH1 0xa0
00000458: PUSH1 0x02
0000045a: EXP
0000045b: SUB
0000045c: NOT
0000045d: AND
0000045e: SWAP1
0000045f: SSTORE
00000460: CALLVALUE
00000461: PUSH1 0x02
00000463: DUP3
00000464: ADD
00000465: DUP2
00000466: SWAP1
00000467: SSTORE
00000468: PUSH1 0x00
0000046a: SWAP1
0000046b: DUP4
0000046c: SWAP1
0000046d: PUSH32 0xe6d83b1e0e5126a0574d0154ed77e40181534edcb74f035b158d92ed3d10a030
0000048e: SWAP1
0000048f: PUSH1 0x40
00000491: MLOAD
00000492: SWAP1
00000493: DUP2
00000494: MSTORE
00000495: PUSH1 0x20
00000497: ADD
00000498: PUSH1 0x40
0000049a: MLOAD
0000049b: DUP1
0000049c: SWAP2
0000049d: SUB
0000049e: SWAP1
0000049f: LOG3
000004a0: POP
000004a1: SWAP2
000004a2: SWAP1
000004a3: POP
000004a4: JUMP
000004a5: JUMPDEST
000004a6: PUSH1 0x05
000004a8: SLOAD
000004a9: PUSH1 0x01
000004ab: PUSH1 0xa0
000004ad: PUSH1 0x02
000004af: EXP
000004b0: SUB
000004b1: DUP3
000004b2: AND
000004b3: PUSH1 0x00
000004b5: SWAP1
000004b6: DUP2
000004b7: MSTORE
000004b8: PUSH1 0x07
000004ba: PUSH1 0x20
000004bc: MSTORE
000004bd: PUSH1 0x40
000004bf: DUP2
000004c0: KECCAK256
000004c1: SLOAD
000004c2: SWAP1
000004c3: SWAP2
000004c4: DUP3
000004c5: SWAP2
000004c6: DUP3
000004c7: SWAP2
000004c8: DUP3
000004c9: SWAP2
000004ca: EQ
000004cb: ISZERO
000004cc: PUSH2 0x04d8
000004cf: JUMPI
000004d0: PUSH1 0x00
000004d2: SWAP4
000004d3: POP
000004d4: PUSH2 0x0664
000004d7: JUMP
000004d8: JUMPDEST
000004d9: PUSH1 0x01
000004db: PUSH1 0xa0
000004dd: PUSH1 0x02
000004df: EXP
000004e0: SUB
000004e1: CALLER
000004e2: AND
000004e3: PUSH1 0x00
000004e5: SWAP1
000004e6: DUP2
000004e7: MSTORE
000004e8: PUSH1 0x07
000004ea: PUSH1 0x20
000004ec: MSTORE
000004ed: PUSH1 0x40
000004ef: SWAP1
000004f0: KECCAK256
000004f1: SLOAD
000004f2: SWAP3
000004f3: POP
000004f4: JUMPDEST
000004f5: PUSH1 0x05
000004f7: SLOAD
000004f8: DUP4
000004f9: LT
000004fa: ISZERO
000004fb: PUSH2 0x065f
000004fe: JUMPI
000004ff: PUSH1 0x05
00000501: DUP1
00000502: SLOAD
00000503: DUP5
00000504: SWAP1
00000505: DUP2
00000506: LT
00000507: PUSH2 0x050c
0000050a: JUMPI
0000050b: INVALID
0000050c: JUMPDEST
0000050d: PUSH1 0x00
0000050f: SWAP2
00000510: DUP3
00000511: MSTORE
00000512: PUSH1 0x20
00000514: SWAP1
00000515: SWAP2
00000516: KECCAK256
00000517: PUSH1 0x04
00000519: SWAP1
0000051a: SWAP2
0000051b: MUL
0000051c: ADD
0000051d: PUSH1 0x03
0000051f: DUP2
00000520: ADD
00000521: SLOAD
00000522: SWAP1
00000523: SWAP3
00000524: POP
00000525: PUSH1 0xff
00000527: AND
00000528: ISZERO
00000529: DUP1
0000052a: ISZERO
0000052b: PUSH2 0x053b
0000052e: JUMPI
0000052f: POP
00000530: PUSH2 0x0539
00000533: DUP6
00000534: DUP5
00000535: PUSH2 0x0f97
00000538: JUMP
00000539: JUMPDEST
0000053a: ISZERO
0000053b: JUMPDEST
0000053c: ISZERO
0000053d: PUSH2 0x0654
00000540: JUMPI
00000541: PUSH1 0x06
00000543: SLOAD
00000544: DUP3
00000545: SLOAD
00000546: PUSH1 0x01
00000548: PUSH1 0xa0
0000054a: PUSH1 0x02
0000054c: EXP
0000054d: SUB
0000054e: SWAP1
0000054f: SWAP2
00000550: AND
00000551: SWAP1
00000552: PUSH4 0x981b24d0
00000557: SWAP1
00000558: PUSH1 0x00
0000055a: PUSH1 0x40
0000055c: MLOAD
0000055d: PUSH1 0x20
0000055f: ADD
00000560: MSTORE
00000561: PUSH1 0x40
00000563: MLOAD
00000564: PUSH1 0xe0
00000566: PUSH1 0x02
00000568: EXP
00000569: PUSH4 0xffffffff
0000056e: DUP5
0000056f: AND
00000570: MUL
00000571: DUP2
00000572: MSTORE
00000573: PUSH1 0x04
00000575: DUP2
00000576: ADD
00000577: SWAP2
00000578: SWAP1
00000579: SWAP2
0000057a: MSTORE
0000057b: PUSH1 0x24
0000057d: ADD
0000057e: PUSH1 0x20
00000580: PUSH1 0x40
00000582: MLOAD
00000583: DUP1
00000584: DUP4
00000585: SUB
00000586: DUP2
00000587: PUSH1 0x00
00000589: DUP8
0000058a: DUP1
0000058b: EXTCODESIZE
0000058c: ISZERO
0000058d: ISZERO
0000058e: PUSH2 0x0596
00000591: JUMPI
00000592: PUSH1 0x00
00000594: DUP1
00000595: REVERT
00000596: JUMPDEST
00000597: PUSH2 0x02c6
0000059a: GAS
0000059b: SUB
0000059c: CALL
0000059d: ISZERO
0000059e: ISZERO
0000059f: PUSH2 0x05a7
000005a2: JUMPI
000005a3: PUSH1 0x00
000005a5: DUP1
000005a6: REVERT
000005a7: JUMPDEST
000005a8: POP
000005a9: POP
000005aa: POP
000005ab: PUSH1 0x40
000005ad: MLOAD
000005ae: DUP1
000005af: MLOAD
000005b0: PUSH1 0x06
000005b2: SLOAD
000005b3: DUP5
000005b4: SLOAD
000005b5: SWAP2
000005b6: SWAP3
000005b7: POP
000005b8: PUSH1 0x01
000005ba: PUSH1 0xa0
000005bc: PUSH1 0x02
000005be: EXP
000005bf: SUB
000005c0: AND
000005c1: SWAP1
000005c2: PUSH4 0x4ee2cd7e
000005c7: SWAP1
000005c8: DUP9
000005c9: SWAP1
000005ca: PUSH1 0x00
000005cc: PUSH1 0x40
000005ce: MLOAD
000005cf: PUSH1 0x20
000005d1: ADD
000005d2: MSTORE
000005d3: PUSH1 0x40
000005d5: MLOAD
000005d6: PUSH1 0xe0
000005d8: PUSH1 0x02
000005da: EXP
000005db: PUSH4 0xffffffff
000005e0: DUP6
000005e1: AND
000005e2: MUL
000005e3: DUP2
000005e4: MSTORE
000005e5: PUSH1 0x01
000005e7: PUSH1 0xa0
000005e9: PUSH1 0x02
000005eb: EXP
000005ec: SUB
000005ed: SWAP1
000005ee: SWAP3
000005ef: AND
000005f0: PUSH1 0x04
000005f2: DUP4
000005f3: ADD
000005f4: MSTORE
000005f5: PUSH1 0x24
000005f7: DUP3
000005f8: ADD
000005f9: MSTORE
000005fa: PUSH1 0x44
000005fc: ADD
000005fd: PUSH1 0x20
000005ff: PUSH1 0x40
00000601: MLOAD
00000602: DUP1
00000603: DUP4
00000604: SUB
00000605: DUP2
00000606: PUSH1 0x00
00000608: DUP8
00000609: DUP1
0000060a: EXTCODESIZE
0000060b: ISZERO
0000060c: ISZERO
0000060d: PUSH2 0x0615
00000610: JUMPI
00000611: PUSH1 0x00
00000613: DUP1
00000614: REVERT
00000615: JUMPDEST
00000616: PUSH2 0x02c6
00000619: GAS
0000061a: SUB
0000061b: CALL
0000061c: ISZERO
0000061d: ISZERO
0000061e: PUSH2 0x0626
00000621: JUMPI
00000622: PUSH1 0x00
00000624: DUP1
00000625: REVERT
00000626: JUMPDEST
00000627: POP
00000628: POP
00000629: POP
0000062a: PUSH1 0x40
0000062c: MLOAD
0000062d: DUP1
0000062e: MLOAD
0000062f: SWAP1
00000630: POP
00000631: DUP4
00000632: PUSH1 0x02
00000634: ADD
00000635: SLOAD
00000636: MUL
00000637: DUP2
00000638: ISZERO
00000639: ISZERO
0000063a: PUSH2 0x063f
0000063d: JUMPI
0000063e: INVALID
0000063f: JUMPDEST
00000640: DIV
00000641: SWAP1
00000642: POP
00000643: PUSH1 0x00
00000645: DUP2
00000646: GT
00000647: ISZERO
00000648: PUSH2 0x0654
0000064b: JUMPI
0000064c: PUSH1 0x01
0000064e: SWAP4
0000064f: POP
00000650: PUSH2 0x0664
00000653: JUMP
00000654: JUMPDEST
00000655: PUSH1 0x01
00000657: SWAP1
00000658: SWAP3
00000659: ADD
0000065a: SWAP2
0000065b: PUSH2 0x04f4
0000065e: JUMP
0000065f: JUMPDEST
00000660: PUSH1 0x00
00000662: SWAP4
00000663: POP
00000664: JUMPDEST
00000665: POP
00000666: POP
00000667: POP
00000668: SWAP2
00000669: SWAP1
0000066a: POP
0000066b: JUMP
0000066c: JUMPDEST
0000066d: PUSH1 0x02
0000066f: SLOAD
00000670: PUSH1 0x01
00000672: PUSH1 0xa0
00000674: PUSH1 0x02
00000676: EXP
00000677: SUB
00000678: AND
00000679: DUP2
0000067a: JUMP
0000067b: JUMPDEST
0000067c: PUSH1 0x00
0000067e: DUP1
0000067f: SLOAD
00000680: CALLER
00000681: PUSH1 0x01
00000683: PUSH1 0xa0
00000685: PUSH1 0x02
00000687: EXP
00000688: SUB
00000689: SWAP1
0000068a: DUP2
0000068b: AND
0000068c: SWAP2
0000068d: AND
0000068e: EQ
0000068f: PUSH2 0x0697
00000692: JUMPI
00000693: PUSH1 0x00
00000695: DUP1
00000696: REVERT
00000697: JUMPDEST
00000698: PUSH1 0x01
0000069a: PUSH1 0xa0
0000069c: PUSH1 0x02
0000069e: EXP
0000069f: SUB
000006a0: DUP3
000006a1: AND
000006a2: ISZERO
000006a3: ISZERO
000006a4: PUSH2 0x06ac
000006a7: JUMPI
000006a8: PUSH1 0x00
000006aa: DUP1
000006ab: REVERT
000006ac: JUMPDEST
000006ad: POP
000006ae: PUSH1 0x00
000006b0: DUP1
000006b1: SLOAD
000006b2: PUSH1 0x01
000006b4: PUSH1 0xa0
000006b6: PUSH1 0x02
000006b8: EXP
000006b9: SUB
000006ba: DUP4
000006bb: DUP2
000006bc: AND
000006bd: PUSH1 0x01
000006bf: PUSH1 0xa0
000006c1: PUSH1 0x02
000006c3: EXP
000006c4: SUB
000006c5: NOT
000006c6: DUP1
000006c7: DUP5
000006c8: AND
000006c9: SWAP2
000006ca: SWAP1
000006cb: SWAP2
000006cc: OR
000006cd: SWAP4
000006ce: DUP5
000006cf: SWAP1
000006d0: SSTORE
000006d1: PUSH1 0x01
000006d3: DUP1
000006d4: SLOAD
000006d5: SWAP1
000006d6: SWAP2
000006d7: AND
000006d8: SWAP1
000006d9: SSTORE
000006da: SWAP1
000006db: DUP2
000006dc: AND
000006dd: SWAP2
000006de: AND
000006df: DUP2
000006e0: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000701: PUSH1 0x40
00000703: MLOAD
00000704: PUSH1 0x40
00000706: MLOAD
00000707: DUP1
00000708: SWAP2
00000709: SUB
0000070a: SWAP1
0000070b: LOG3
0000070c: POP
0000070d: POP
0000070e: JUMP
0000070f: JUMPDEST
00000710: PUSH1 0x01
00000712: PUSH1 0xa0
00000714: PUSH1 0x02
00000716: EXP
00000717: SUB
00000718: CALLER
00000719: AND
0000071a: PUSH1 0x00
0000071c: SWAP1
0000071d: DUP2
0000071e: MSTORE
0000071f: PUSH1 0x07
00000721: PUSH1 0x20
00000723: MSTORE
00000724: PUSH1 0x40
00000726: DUP2
00000727: KECCAK256
00000728: SLOAD
00000729: PUSH1 0x05
0000072b: SLOAD
0000072c: DUP3
0000072d: SWAP1
0000072e: DUP2
0000072f: SWAP1
00000730: DUP4
00000731: LT
00000732: PUSH2 0x073a
00000735: JUMPI
00000736: PUSH1 0x00
00000738: DUP1
00000739: REVERT
0000073a: JUMPDEST
0000073b: PUSH1 0x05
0000073d: DUP1
0000073e: SLOAD
0000073f: DUP5
00000740: SWAP1
00000741: DUP2
00000742: LT
00000743: PUSH2 0x0748
00000746: JUMPI
00000747: INVALID
00000748: JUMPDEST
00000749: PUSH1 0x00
0000074b: SWAP2
0000074c: DUP3
0000074d: MSTORE
0000074e: PUSH1 0x20
00000750: SWAP1
00000751: SWAP2
00000752: KECCAK256
00000753: PUSH1 0x01
00000755: PUSH1 0x04
00000757: SWAP1
00000758: SWAP3
00000759: MUL
0000075a: ADD
0000075b: ADD
0000075c: SLOAD
0000075d: PUSH1 0x01
0000075f: PUSH1 0xa0
00000761: PUSH1 0x02
00000763: EXP
00000764: SUB
00000765: AND
00000766: SWAP2
00000767: POP
00000768: PUSH3 0x024608
0000076c: GAS
0000076d: GT
0000076e: PUSH2 0x0776
00000771: JUMPI
00000772: PUSH1 0x00
00000774: DUP1
00000775: REVERT
00000776: JUMPDEST
00000777: PUSH1 0x05
00000779: SLOAD
0000077a: DUP4
0000077b: LT
0000077c: DUP1
0000077d: ISZERO
0000077e: PUSH2 0x0789
00000781: JUMPI
00000782: POP
00000783: PUSH3 0x024220
00000787: GAS
00000788: GT
00000789: JUMPDEST
0000078a: ISZERO
0000078b: PUSH2 0x0965
0000078e: JUMPI
0000078f: PUSH1 0x05
00000791: DUP1
00000792: SLOAD
00000793: DUP5
00000794: SWAP1
00000795: DUP2
00000796: LT
00000797: PUSH2 0x079c
0000079a: JUMPI
0000079b: INVALID
0000079c: JUMPDEST
0000079d: PUSH1 0x00
0000079f: SWAP2
000007a0: DUP3
000007a1: MSTORE
000007a2: PUSH1 0x20
000007a4: SWAP1
000007a5: SWAP2
000007a6: KECCAK256
000007a7: PUSH1 0x04
000007a9: SWAP1
000007aa: SWAP2
000007ab: MUL
000007ac: ADD
000007ad: PUSH1 0x03
000007af: DUP2
000007b0: ADD
000007b1: SLOAD
000007b2: SWAP1
000007b3: SWAP2
000007b4: POP
000007b5: PUSH1 0xff
000007b7: AND
000007b8: ISZERO
000007b9: DUP1
000007ba: ISZERO
000007bb: PUSH2 0x07cb
000007be: JUMPI
000007bf: POP
000007c0: PUSH2 0x07c9
000007c3: CALLER
000007c4: DUP5
000007c5: PUSH2 0x0f97
000007c8: JUMP
000007c9: JUMPDEST
000007ca: ISZERO
000007cb: JUMPDEST
000007cc: ISZERO
000007cd: PUSH2 0x095a
000007d0: JUMPI
000007d1: PUSH1 0x01
000007d3: DUP2
000007d4: ADD
000007d5: SLOAD
000007d6: PUSH1 0x01
000007d8: PUSH1 0xa0
000007da: PUSH1 0x02
000007dc: EXP
000007dd: SUB
000007de: DUP4
000007df: DUP2
000007e0: AND
000007e1: SWAP2
000007e2: AND
000007e3: EQ
000007e4: PUSH2 0x0855
000007e7: JUMPI
000007e8: CALLER
000007e9: PUSH1 0x01
000007eb: PUSH1 0xa0
000007ed: PUSH1 0x02
000007ef: EXP
000007f0: SUB
000007f1: DUP2
000007f2: AND
000007f3: PUSH1 0x00
000007f5: SWAP1
000007f6: DUP2
000007f7: MSTORE
000007f8: PUSH1 0x07
000007fa: PUSH1 0x20
000007fc: MSTORE
000007fd: PUSH1 0x40
000007ff: SWAP1
00000800: KECCAK256
00000801: DUP5
00000802: SWAP1
00000803: SSTORE
00000804: PUSH2 0x0814
00000807: SWAP1
00000808: PUSH1 0x00
0000080a: NOT
0000080b: DUP6
0000080c: ADD
0000080d: SWAP1
0000080e: DUP5
0000080f: DUP8
00000810: PUSH2 0x12a6
00000813: JUMP
00000814: JUMPDEST
00000815: ISZERO
00000816: ISZERO
00000817: PUSH2 0x081f
0000081a: JUMPI
0000081b: PUSH1 0x00
0000081d: DUP1
0000081e: REVERT
0000081f: JUMPDEST
00000820: PUSH1 0x01
00000822: PUSH1 0xa0
00000824: PUSH1 0x02
00000826: EXP
00000827: SUB
00000828: CALLER
00000829: AND
0000082a: PUSH1 0x00
0000082c: SWAP1
0000082d: DUP2
0000082e: MSTORE
0000082f: PUSH1 0x07
00000831: PUSH1 0x20
00000833: MSTORE
00000834: PUSH1 0x40
00000836: SWAP1
00000837: KECCAK256
00000838: SLOAD
00000839: DUP4
0000083a: EQ
0000083b: PUSH2 0x0840
0000083e: JUMPI
0000083f: INVALID
00000840: JUMPDEST
00000841: PUSH1 0x01
00000843: DUP2
00000844: ADD
00000845: SLOAD
00000846: PUSH1 0x00
00000848: SWAP5
00000849: POP
0000084a: PUSH1 0x01
0000084c: PUSH1 0xa0
0000084e: PUSH1 0x02
00000850: EXP
00000851: SUB
00000852: AND
00000853: SWAP2
00000854: POP
00000855: JUMPDEST
00000856: PUSH1 0x06
00000858: SLOAD
00000859: DUP2
0000085a: SLOAD
0000085b: PUSH1 0x01
0000085d: PUSH1 0xa0
0000085f: PUSH1 0x02
00000861: EXP
00000862: SUB
00000863: SWAP1
00000864: SWAP2
00000865: AND
00000866: SWAP1
00000867: PUSH4 0x981b24d0
0000086c: SWAP1
0000086d: PUSH1 0x00
0000086f: PUSH1 0x40
00000871: MLOAD
00000872: PUSH1 0x20
00000874: ADD
00000875: MSTORE
00000876: PUSH1 0x40
00000878: MLOAD
00000879: PUSH1 0xe0
0000087b: PUSH1 0x02
0000087d: EXP
0000087e: PUSH4 0xffffffff
00000883: DUP5
00000884: AND
00000885: MUL
00000886: DUP2
00000887: MSTORE
00000888: PUSH1 0x04
0000088a: DUP2
0000088b: ADD
0000088c: SWAP2
0000088d: SWAP1
0000088e: SWAP2
0000088f: MSTORE
00000890: PUSH1 0x24
00000892: ADD
00000893: PUSH1 0x20
00000895: PUSH1 0x40
00000897: MLOAD
00000898: DUP1
00000899: DUP4
0000089a: SUB
0000089b: DUP2
0000089c: PUSH1 0x00
0000089e: DUP8
0000089f: DUP1
000008a0: EXTCODESIZE
000008a1: ISZERO
000008a2: ISZERO
000008a3: PUSH2 0x08ab
000008a6: JUMPI
000008a7: PUSH1 0x00
000008a9: DUP1
000008aa: REVERT
000008ab: JUMPDEST
000008ac: PUSH2 0x02c6
000008af: GAS
000008b0: SUB
000008b1: CALL
000008b2: ISZERO
000008b3: ISZERO
000008b4: PUSH2 0x08bc
000008b7: JUMPI
000008b8: PUSH1 0x00
000008ba: DUP1
000008bb: REVERT
000008bc: JUMPDEST
000008bd: POP
000008be: POP
000008bf: POP
000008c0: PUSH1 0x40
000008c2: MLOAD
000008c3: DUP1
000008c4: MLOAD
000008c5: PUSH1 0x06
000008c7: SLOAD
000008c8: DUP4
000008c9: SLOAD
000008ca: SWAP2
000008cb: SWAP3
000008cc: POP
000008cd: PUSH1 0x01
000008cf: PUSH1 0xa0
000008d1: PUSH1 0x02
000008d3: EXP
000008d4: SUB
000008d5: AND
000008d6: SWAP1
000008d7: PUSH4 0x4ee2cd7e
000008dc: SWAP1
000008dd: CALLER
000008de: SWAP1
000008df: PUSH1 0x00
000008e1: PUSH1 0x40
000008e3: MLOAD
000008e4: PUSH1 0x20
000008e6: ADD
000008e7: MSTORE
000008e8: PUSH1 0x40
000008ea: MLOAD
000008eb: PUSH1 0xe0
000008ed: PUSH1 0x02
000008ef: EXP
000008f0: PUSH4 0xffffffff
000008f5: DUP6
000008f6: AND
000008f7: MUL
000008f8: DUP2
000008f9: MSTORE
000008fa: PUSH1 0x01
000008fc: PUSH1 0xa0
000008fe: PUSH1 0x02
00000900: EXP
00000901: SUB
00000902: SWAP1
00000903: SWAP3
00000904: AND
00000905: PUSH1 0x04
00000907: DUP4
00000908: ADD
00000909: MSTORE
0000090a: PUSH1 0x24
0000090c: DUP3
0000090d: ADD
0000090e: MSTORE
0000090f: PUSH1 0x44
00000911: ADD
00000912: PUSH1 0x20
00000914: PUSH1 0x40
00000916: MLOAD
00000917: DUP1
00000918: DUP4
00000919: SUB
0000091a: DUP2
0000091b: PUSH1 0x00
0000091d: DUP8
0000091e: DUP1
0000091f: EXTCODESIZE
00000920: ISZERO
00000921: ISZERO
00000922: PUSH2 0x092a
00000925: JUMPI
00000926: PUSH1 0x00
00000928: DUP1
00000929: REVERT
0000092a: JUMPDEST
0000092b: PUSH2 0x02c6
0000092e: GAS
0000092f: SUB
00000930: CALL
00000931: ISZERO
00000932: ISZERO
00000933: PUSH2 0x093b
00000936: JUMPI
00000937: PUSH1 0x00
00000939: DUP1
0000093a: REVERT
0000093b: JUMPDEST
0000093c: POP
0000093d: POP
0000093e: POP
0000093f: PUSH1 0x40
00000941: MLOAD
00000942: DUP1
00000943: MLOAD
00000944: SWAP1
00000945: POP
00000946: DUP3
00000947: PUSH1 0x02
00000949: ADD
0000094a: SLOAD
0000094b: MUL
0000094c: DUP2
0000094d: ISZERO
0000094e: ISZERO
0000094f: PUSH2 0x0954
00000952: JUMPI
00000953: INVALID
00000954: JUMPDEST
00000955: DIV
00000956: DUP5
00000957: ADD
00000958: SWAP4
00000959: POP
0000095a: JUMPDEST
0000095b: PUSH1 0x01
0000095d: SWAP1
0000095e: SWAP3
0000095f: ADD
00000960: SWAP2
00000961: PUSH2 0x0776
00000964: JUMP
00000965: JUMPDEST
00000966: CALLER
00000967: PUSH1 0x01
00000969: PUSH1 0xa0
0000096b: PUSH1 0x02
0000096d: EXP
0000096e: SUB
0000096f: DUP2
00000970: AND
00000971: PUSH1 0x00
00000973: SWAP1
00000974: DUP2
00000975: MSTORE
00000976: PUSH1 0x07
00000978: PUSH1 0x20
0000097a: MSTORE
0000097b: PUSH1 0x40
0000097d: SWAP1
0000097e: KECCAK256
0000097f: DUP5
00000980: SWAP1
00000981: SSTORE
00000982: PUSH2 0x0992
00000985: SWAP1
00000986: PUSH1 0x00
00000988: NOT
00000989: DUP6
0000098a: ADD
0000098b: SWAP1
0000098c: DUP5
0000098d: DUP8
0000098e: PUSH2 0x12a6
00000991: JUMP
00000992: JUMPDEST
00000993: ISZERO
00000994: ISZERO
00000995: PUSH2 0x099d
00000998: JUMPI
00000999: PUSH1 0x00
0000099b: DUP1
0000099c: REVERT
0000099d: JUMPDEST
0000099e: PUSH1 0x01
000009a0: PUSH1 0xa0
000009a2: PUSH1 0x02
000009a4: EXP
000009a5: SUB
000009a6: CALLER
000009a7: AND
000009a8: PUSH1 0x00
000009aa: SWAP1
000009ab: DUP2
000009ac: MSTORE
000009ad: PUSH1 0x07
000009af: PUSH1 0x20
000009b1: MSTORE
000009b2: PUSH1 0x40
000009b4: SWAP1
000009b5: KECCAK256
000009b6: SLOAD
000009b7: DUP4
000009b8: EQ
000009b9: PUSH2 0x09be
000009bc: JUMPI
000009bd: INVALID
000009be: JUMPDEST
000009bf: POP
000009c0: POP
000009c1: POP
000009c2: POP
000009c3: JUMP
000009c4: JUMPDEST
000009c5: PUSH1 0x05
000009c7: SLOAD
000009c8: DUP3
000009c9: LT
000009ca: PUSH2 0x09d2
000009cd: JUMPI
000009ce: PUSH1 0x00
000009d0: DUP1
000009d1: REVERT
000009d2: JUMPDEST
000009d3: CALLER
000009d4: PUSH1 0x01
000009d6: PUSH1 0xa0
000009d8: PUSH1 0x02
000009da: EXP
000009db: SUB
000009dc: AND
000009dd: PUSH1 0x00
000009df: SWAP1
000009e0: DUP2
000009e1: MSTORE
000009e2: PUSH1 0x08
000009e4: PUSH1 0x20
000009e6: SWAP1
000009e7: DUP2
000009e8: MSTORE
000009e9: PUSH1 0x40
000009eb: DUP1
000009ec: DUP4
000009ed: KECCAK256
000009ee: DUP6
000009ef: DUP5
000009f0: MSTORE
000009f1: SWAP1
000009f2: SWAP2
000009f3: MSTORE
000009f4: SWAP1
000009f5: DUP2
000009f6: SWAP1
000009f7: KECCAK256
000009f8: DUP1
000009f9: SLOAD
000009fa: PUSH1 0xff
000009fc: NOT
000009fd: AND
000009fe: DUP4
000009ff: ISZERO
00000a00: ISZERO
00000a01: OR
00000a02: SWAP1
00000a03: SSTORE
00000a04: DUP3
00000a05: SWAP1
00000a06: PUSH32 0xd6149459fde27a6c662cc59dbb1674a711ddb77e342754978130b5b3bd0cba1e
00000a27: SWAP1
00000a28: DUP4
00000a29: SWAP1
00000a2a: MLOAD
00000a2b: SWAP1
00000a2c: ISZERO
00000a2d: ISZERO
00000a2e: DUP2
00000a2f: MSTORE
00000a30: PUSH1 0x20
00000a32: ADD
00000a33: PUSH1 0x40
00000a35: MLOAD
00000a36: DUP1
00000a37: SWAP2
00000a38: SUB
00000a39: SWAP1
00000a3a: LOG2
00000a3b: POP
00000a3c: POP
00000a3d: JUMP
00000a3e: JUMPDEST
00000a3f: PUSH1 0x00
00000a41: DUP1
00000a42: SLOAD
00000a43: DUP2
00000a44: SWAP1
00000a45: CALLER
00000a46: PUSH1 0x01
00000a48: PUSH1 0xa0
00000a4a: PUSH1 0x02
00000a4c: EXP
00000a4d: SUB
00000a4e: SWAP1
00000a4f: DUP2
00000a50: AND
00000a51: SWAP2
00000a52: AND
00000a53: EQ
00000a54: PUSH2 0x0a5c
00000a57: JUMPI
00000a58: PUSH1 0x00
00000a5a: DUP1
00000a5b: REVERT
00000a5c: JUMPDEST
00000a5d: PUSH1 0x00
00000a5f: DUP5
00000a60: GT
00000a61: PUSH2 0x0a69
00000a64: JUMPI
00000a65: PUSH1 0x00
00000a67: DUP1
00000a68: REVERT
00000a69: JUMPDEST
00000a6a: NUMBER
00000a6b: DUP4
00000a6c: LT
00000a6d: PUSH2 0x0a75
00000a70: JUMPI
00000a71: PUSH1 0x00
00000a73: DUP1
00000a74: REVERT
00000a75: JUMPDEST
00000a76: DUP5
00000a77: PUSH1 0x01
00000a79: PUSH1 0xa0
00000a7b: PUSH1 0x02
00000a7d: EXP
00000a7e: SUB
00000a7f: AND
00000a80: PUSH4 0x23b872dd
00000a85: CALLER
00000a86: ADDRESS
00000a87: DUP8
00000a88: PUSH1 0x00
00000a8a: PUSH1 0x40
00000a8c: MLOAD
00000a8d: PUSH1 0x20
00000a8f: ADD
00000a90: MSTORE
00000a91: PUSH1 0x40
00000a93: MLOAD
00000a94: PUSH1 0xe0
00000a96: PUSH1 0x02
00000a98: EXP
00000a99: PUSH4 0xffffffff
00000a9e: DUP7
00000a9f: AND
00000aa0: MUL
00000aa1: DUP2
00000aa2: MSTORE
00000aa3: PUSH1 0x01
00000aa5: PUSH1 0xa0
00000aa7: PUSH1 0x02
00000aa9: EXP
00000aaa: SUB
00000aab: SWAP4
00000aac: DUP5
00000aad: AND
00000aae: PUSH1 0x04
00000ab0: DUP3
00000ab1: ADD
00000ab2: MSTORE
00000ab3: SWAP2
00000ab4: SWAP1
00000ab5: SWAP3
00000ab6: AND
00000ab7: PUSH1 0x24
00000ab9: DUP3
00000aba: ADD
00000abb: MSTORE
00000abc: PUSH1 0x44
00000abe: DUP2
00000abf: ADD
00000ac0: SWAP2
00000ac1: SWAP1
00000ac2: SWAP2
00000ac3: MSTORE
00000ac4: PUSH1 0x64
00000ac6: ADD
00000ac7: PUSH1 0x20
00000ac9: PUSH1 0x40
00000acb: MLOAD
00000acc: DUP1
00000acd: DUP4
00000ace: SUB
00000acf: DUP2
00000ad0: PUSH1 0x00
00000ad2: DUP8
00000ad3: DUP1
00000ad4: EXTCODESIZE
00000ad5: ISZERO
00000ad6: ISZERO
00000ad7: PUSH2 0x0adf
00000ada: JUMPI
00000adb: PUSH1 0x00
00000add: DUP1
00000ade: REVERT
00000adf: JUMPDEST
00000ae0: PUSH2 0x02c6
00000ae3: GAS
00000ae4: SUB
00000ae5: CALL
00000ae6: ISZERO
00000ae7: ISZERO
00000ae8: PUSH2 0x0af0
00000aeb: JUMPI
00000aec: PUSH1 0x00
00000aee: DUP1
00000aef: REVERT
00000af0: JUMPDEST
00000af1: POP
00000af2: POP
00000af3: POP
00000af4: PUSH1 0x40
00000af6: MLOAD
00000af7: DUP1
00000af8: MLOAD
00000af9: SWAP1
00000afa: POP
00000afb: ISZERO
00000afc: ISZERO
00000afd: PUSH2 0x0b05
00000b00: JUMPI
00000b01: PUSH1 0x00
00000b03: DUP1
00000b04: REVERT
00000b05: JUMPDEST
00000b06: PUSH1 0x05
00000b08: DUP1
00000b09: SLOAD
00000b0a: SWAP1
00000b0b: PUSH2 0x0b17
00000b0e: SWAP1
00000b0f: PUSH1 0x01
00000b11: DUP4
00000b12: ADD
00000b13: PUSH2 0x13da
00000b16: JUMP
00000b17: JUMPDEST
00000b18: SWAP2
00000b19: POP
00000b1a: PUSH1 0x05
00000b1c: DUP3
00000b1d: DUP2
00000b1e: SLOAD
00000b1f: DUP2
00000b20: LT
00000b21: ISZERO
00000b22: ISZERO
00000b23: PUSH2 0x0b28
00000b26: JUMPI
00000b27: INVALID
00000b28: JUMPDEST
00000b29: SWAP1
00000b2a: PUSH1 0x00
00000b2c: MSTORE
00000b2d: PUSH1 0x20
00000b2f: PUSH1 0x00
00000b31: KECCAK256
00000b32: SWAP1
00000b33: PUSH1 0x04
00000b35: MUL
00000b36: ADD
00000b37: SWAP1
00000b38: POP
00000b39: DUP3
00000b3a: PUSH1 0x00
00000b3c: EQ
00000b3d: PUSH2 0x0b46
00000b40: JUMPI
00000b41: DUP3
00000b42: PUSH2 0x0b4b
00000b45: JUMP
00000b46: JUMPDEST
00000b47: PUSH1 0x01
00000b49: NUMBER
00000b4a: SUB
00000b4b: JUMPDEST
00000b4c: DUP2
00000b4d: SSTORE
00000b4e: PUSH1 0x01
00000b50: DUP2
00000b51: ADD
00000b52: DUP1
00000b53: SLOAD
00000b54: PUSH1 0x01
00000b56: PUSH1 0xa0
00000b58: PUSH1 0x02
00000b5a: EXP
00000b5b: SUB
00000b5c: NOT
00000b5d: AND
00000b5e: PUSH1 0x01
00000b60: PUSH1 0xa0
00000b62: PUSH1 0x02
00000b64: EXP
00000b65: SUB
00000b66: DUP8
00000b67: AND
00000b68: SWAP1
00000b69: DUP2
00000b6a: OR
00000b6b: SWAP1
00000b6c: SWAP2
00000b6d: SSTORE
00000b6e: PUSH1 0x02
00000b70: DUP3
00000b71: ADD
00000b72: DUP6
00000b73: SWAP1
00000b74: SSTORE
00000b75: DUP3
00000b76: PUSH32 0xe6d83b1e0e5126a0574d0154ed77e40181534edcb74f035b158d92ed3d10a030
00000b97: DUP7
00000b98: PUSH1 0x40
00000b9a: MLOAD
00000b9b: SWAP1
00000b9c: DUP2
00000b9d: MSTORE
00000b9e: PUSH1 0x20
00000ba0: ADD
00000ba1: PUSH1 0x40
00000ba3: MLOAD
00000ba4: DUP1
00000ba5: SWAP2
00000ba6: SUB
00000ba7: SWAP1
00000ba8: LOG3
00000ba9: POP
00000baa: SWAP4
00000bab: SWAP3
00000bac: POP
00000bad: POP
00000bae: POP
00000baf: JUMP
00000bb0: JUMPDEST
00000bb1: PUSH1 0x07
00000bb3: PUSH1 0x20
00000bb5: MSTORE
00000bb6: PUSH1 0x00
00000bb8: SWAP1
00000bb9: DUP2
00000bba: MSTORE
00000bbb: PUSH1 0x40
00000bbd: SWAP1
00000bbe: KECCAK256
00000bbf: SLOAD
00000bc0: DUP2
00000bc1: JUMP
00000bc2: JUMPDEST
00000bc3: PUSH1 0x00
00000bc5: SLOAD
00000bc6: CALLER
00000bc7: PUSH1 0x01
00000bc9: PUSH1 0xa0
00000bcb: PUSH1 0x02
00000bcd: EXP
00000bce: SUB
00000bcf: SWAP1
00000bd0: DUP2
00000bd1: AND
00000bd2: SWAP2
00000bd3: AND
00000bd4: EQ
00000bd5: PUSH2 0x0bdd
00000bd8: JUMPI
00000bd9: PUSH1 0x00
00000bdb: DUP1
00000bdc: REVERT
00000bdd: JUMPDEST
00000bde: PUSH2 0x0dac
00000be1: PUSH1 0x01
00000be3: PUSH1 0xa0
00000be5: PUSH1 0x02
00000be7: EXP
00000be8: SUB
00000be9: DUP3
00000bea: AND
00000beb: EQ
00000bec: PUSH2 0x0bf4
00000bef: JUMPI
00000bf0: PUSH1 0x00
00000bf2: DUP1
00000bf3: REVERT
00000bf4: JUMPDEST
00000bf5: PUSH1 0x00
00000bf7: DUP1
00000bf8: SLOAD
00000bf9: PUSH1 0x01
00000bfb: PUSH1 0xa0
00000bfd: PUSH1 0x02
00000bff: EXP
00000c00: SUB
00000c01: NOT
00000c02: SWAP1
00000c03: DUP2
00000c04: AND
00000c05: SWAP1
00000c06: SWAP2
00000c07: SSTORE
00000c08: PUSH1 0x01
00000c0a: DUP1
00000c0b: SLOAD
00000c0c: SWAP1
00000c0d: SWAP2
00000c0e: AND
00000c0f: SWAP1
00000c10: SSTORE
00000c11: PUSH32 0x94e8b32e01b9eedfddd778ffbd051a7718cdc14781702884561162dca6f74dbb
00000c32: PUSH1 0x40
00000c34: MLOAD
00000c35: PUSH1 0x40
00000c37: MLOAD
00000c38: DUP1
00000c39: SWAP2
00000c3a: SUB
00000c3b: SWAP1
00000c3c: LOG1
00000c3d: POP
00000c3e: JUMP
00000c3f: JUMPDEST
00000c40: PUSH1 0x00
00000c42: SLOAD
00000c43: CALLER
00000c44: PUSH1 0x01
00000c46: PUSH1 0xa0
00000c48: PUSH1 0x02
00000c4a: EXP
00000c4b: SUB
00000c4c: SWAP1
00000c4d: DUP2
00000c4e: AND
00000c4f: SWAP2
00000c50: AND
00000c51: EQ
00000c52: PUSH2 0x0c5a
00000c55: JUMPI
00000c56: PUSH1 0x00
00000c58: DUP1
00000c59: REVERT
00000c5a: JUMPDEST
00000c5b: PUSH1 0x01
00000c5d: DUP1
00000c5e: SLOAD
00000c5f: PUSH1 0x01
00000c61: PUSH1 0xa0
00000c63: PUSH1 0x02
00000c65: EXP
00000c66: SUB
00000c67: NOT
00000c68: AND
00000c69: PUSH1 0x01
00000c6b: PUSH1 0xa0
00000c6d: PUSH1 0x02
00000c6f: EXP
00000c70: SUB
00000c71: DUP4
00000c72: DUP2
00000c73: AND
00000c74: SWAP2
00000c75: SWAP1
00000c76: SWAP2
00000c77: OR
00000c78: SWAP2
00000c79: DUP3
00000c7a: SWAP1
00000c7b: SSTORE
00000c7c: SWAP1
00000c7d: DUP2
00000c7e: AND
00000c7f: SWAP1
00000c80: CALLER
00000c81: AND
00000c82: PUSH32 0x13a4b3bc0d5234dd3d87c9f1557d8faefa37986da62c36ba49309e2fb2c9aec4
00000ca3: PUSH1 0x40
00000ca5: MLOAD
00000ca6: PUSH1 0x40
00000ca8: MLOAD
00000ca9: DUP1
00000caa: SWAP2
00000cab: SUB
00000cac: SWAP1
00000cad: LOG3
00000cae: POP
00000caf: JUMP
00000cb0: JUMPDEST
00000cb1: PUSH1 0x01
00000cb3: SLOAD
00000cb4: PUSH1 0x00
00000cb6: SWAP1
00000cb7: CALLER
00000cb8: PUSH1 0x01
00000cba: PUSH1 0xa0
00000cbc: PUSH1 0x02
00000cbe: EXP
00000cbf: SUB
00000cc0: SWAP1
00000cc1: DUP2
00000cc2: AND
00000cc3: SWAP2
00000cc4: AND
00000cc5: EQ
00000cc6: PUSH2 0x0cce
00000cc9: JUMPI
00000cca: PUSH1 0x00
00000ccc: DUP1
00000ccd: REVERT
00000cce: JUMPDEST
00000ccf: POP
00000cd0: PUSH1 0x00
00000cd2: DUP1
00000cd3: SLOAD
00000cd4: PUSH1 0x01
00000cd6: DUP1
00000cd7: SLOAD
00000cd8: PUSH1 0x01
00000cda: PUSH1 0xa0
00000cdc: PUSH1 0x02
00000cde: EXP
00000cdf: SUB
00000ce0: NOT
00000ce1: DUP1
00000ce2: DUP5
00000ce3: AND
00000ce4: PUSH1 0x01
00000ce6: PUSH1 0xa0
00000ce8: PUSH1 0x02
00000cea: EXP
00000ceb: SUB
00000cec: DUP4
00000ced: DUP2
00000cee: AND
00000cef: SWAP2
00000cf0: SWAP1
00000cf1: SWAP2
00000cf2: OR
00000cf3: SWAP6
00000cf4: DUP7
00000cf5: SWAP1
00000cf6: SSTORE
00000cf7: SWAP2
00000cf8: AND
00000cf9: SWAP1
00000cfa: SWAP2
00000cfb: SSTORE
00000cfc: SWAP1
00000cfd: DUP2
00000cfe: AND
00000cff: SWAP2
00000d00: AND
00000d01: DUP2
00000d02: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000d23: PUSH1 0x40
00000d25: MLOAD
00000d26: PUSH1 0x40
00000d28: MLOAD
00000d29: DUP1
00000d2a: SWAP2
00000d2b: SUB
00000d2c: SWAP1
00000d2d: LOG3
00000d2e: POP
00000d2f: JUMP
00000d30: JUMPDEST
00000d31: PUSH1 0x01
00000d33: PUSH1 0xa0
00000d35: PUSH1 0x02
00000d37: EXP
00000d38: SUB
00000d39: AND
00000d3a: PUSH1 0x00
00000d3c: SWAP1
00000d3d: DUP2
00000d3e: MSTORE
00000d3f: PUSH1 0x04
00000d41: PUSH1 0x20
00000d43: MSTORE
00000d44: PUSH1 0x40
00000d46: SWAP1
00000d47: KECCAK256
00000d48: SLOAD
00000d49: PUSH1 0xff
00000d4b: AND
00000d4c: ISZERO
00000d4d: SWAP1
00000d4e: JUMP
00000d4f: JUMPDEST
00000d50: PUSH1 0x00
00000d52: SLOAD
00000d53: PUSH1 0x01
00000d55: PUSH1 0xa0
00000d57: PUSH1 0x02
00000d59: EXP
00000d5a: SUB
00000d5b: AND
00000d5c: DUP2
00000d5d: JUMP
00000d5e: JUMPDEST
00000d5f: PUSH1 0x05
00000d61: SLOAD
00000d62: JUMPDEST
00000d63: SWAP1
00000d64: JUMP
00000d65: JUMPDEST
00000d66: PUSH1 0x02
00000d68: SLOAD
00000d69: PUSH1 0x00
00000d6b: SWAP1
00000d6c: DUP2
00000d6d: SWAP1
00000d6e: CALLER
00000d6f: PUSH1 0x01
00000d71: PUSH1 0xa0
00000d73: PUSH1 0x02
00000d75: EXP
00000d76: SUB
00000d77: SWAP1
00000d78: DUP2
00000d79: AND
00000d7a: SWAP2
00000d7b: AND
00000d7c: EQ
00000d7d: DUP1
00000d7e: PUSH2 0x0d95
00000d81: JUMPI
00000d82: POP
00000d83: PUSH1 0x00
00000d85: SLOAD
00000d86: CALLER
00000d87: PUSH1 0x01
00000d89: PUSH1 0xa0
00000d8b: PUSH1 0x02
00000d8d: EXP
00000d8e: SUB
00000d8f: SWAP1
00000d90: DUP2
00000d91: AND
00000d92: SWAP2
00000d93: AND
00000d94: EQ
00000d95: JUMPDEST
00000d96: ISZERO
00000d97: ISZERO
00000d98: PUSH2 0x0da0
00000d9b: JUMPI
00000d9c: PUSH1 0x00
00000d9e: DUP1
00000d9f: REVERT
00000da0: JUMPDEST
00000da1: PUSH1 0x01
00000da3: PUSH1 0xa0
00000da5: PUSH1 0x02
00000da7: EXP
00000da8: SUB
00000da9: DUP4
00000daa: AND
00000dab: PUSH1 0x00
00000dad: SWAP1
00000dae: DUP2
00000daf: MSTORE
00000db0: PUSH1 0x04
00000db2: PUSH1 0x20
00000db4: MSTORE
00000db5: PUSH1 0x40
00000db7: SWAP1
00000db8: KECCAK256
00000db9: SLOAD
00000dba: PUSH1 0xff
00000dbc: AND
00000dbd: ISZERO
00000dbe: PUSH2 0x0dc6
00000dc1: JUMPI
00000dc2: PUSH1 0x00
00000dc4: DUP1
00000dc5: REVERT
00000dc6: JUMPDEST
00000dc7: PUSH1 0x01
00000dc9: PUSH1 0xa0
00000dcb: PUSH1 0x02
00000dcd: EXP
00000dce: SUB
00000dcf: DUP4
00000dd0: AND
00000dd1: ISZERO
00000dd2: ISZERO
00000dd3: PUSH2 0x0e58
00000dd6: JUMPI
00000dd7: PUSH1 0x03
00000dd9: SLOAD
00000dda: PUSH1 0x01
00000ddc: PUSH1 0xa0
00000dde: PUSH1 0x02
00000de0: EXP
00000de1: SUB
00000de2: ADDRESS
00000de3: DUP2
00000de4: AND
00000de5: BALANCE
00000de6: SWAP4
00000de7: POP
00000de8: AND
00000de9: DUP3
00000dea: ISZERO
00000deb: PUSH2 0x08fc
00000dee: MUL
00000def: DUP4
00000df0: PUSH1 0x40
00000df2: MLOAD
00000df3: PUSH1 0x00
00000df5: PUSH1 0x40
00000df7: MLOAD
00000df8: DUP1
00000df9: DUP4
00000dfa: SUB
00000dfb: DUP2
00000dfc: DUP6
00000dfd: DUP9
00000dfe: DUP9
00000dff: CALL
00000e00: SWAP4
00000e01: POP
00000e02: POP
00000e03: POP
00000e04: POP
00000e05: ISZERO
00000e06: ISZERO
00000e07: PUSH2 0x0e0f
00000e0a: JUMPI
00000e0b: PUSH1 0x00
00000e0d: DUP1
00000e0e: REVERT
00000e0f: JUMPDEST
00000e10: PUSH32 0xa50dde912fa22ea0d215a0236093ac45b4d55d6ef0c604c319f900029c5d10f2
00000e31: DUP4
00000e32: DUP4
00000e33: PUSH1 0x40
00000e35: MLOAD
00000e36: PUSH1 0x01
00000e38: PUSH1 0xa0
00000e3a: PUSH1 0x02
00000e3c: EXP
00000e3d: SUB
00000e3e: SWAP1
00000e3f: SWAP3
00000e40: AND
00000e41: DUP3
00000e42: MSTORE
00000e43: PUSH1 0x20
00000e45: DUP3
00000e46: ADD
00000e47: MSTORE
00000e48: PUSH1 0x40
00000e4a: SWAP1
00000e4b: DUP2
00000e4c: ADD
00000e4d: SWAP1
00000e4e: MLOAD
00000e4f: DUP1
00000e50: SWAP2
00000e51: SUB
00000e52: SWAP1
00000e53: LOG1
00000e54: PUSH2 0x0f92
00000e57: JUMP
00000e58: JUMPDEST
00000e59: POP
00000e5a: DUP2
00000e5b: PUSH1 0x01
00000e5d: PUSH1 0xa0
00000e5f: PUSH1 0x02
00000e61: EXP
00000e62: SUB
00000e63: DUP2
00000e64: AND
00000e65: PUSH4 0x70a08231
00000e6a: ADDRESS
00000e6b: PUSH1 0x00
00000e6d: PUSH1 0x40
00000e6f: MLOAD
00000e70: PUSH1 0x20
00000e72: ADD
00000e73: MSTORE
00000e74: PUSH1 0x40
00000e76: MLOAD
00000e77: PUSH1 0xe0
00000e79: PUSH1 0x02
00000e7b: EXP
00000e7c: PUSH4 0xffffffff
00000e81: DUP5
00000e82: AND
00000e83: MUL
00000e84: DUP2
00000e85: MSTORE
00000e86: PUSH1 0x01
00000e88: PUSH1 0xa0
00000e8a: PUSH1 0x02
00000e8c: EXP
00000e8d: SUB
00000e8e: SWAP1
00000e8f: SWAP2
00000e90: AND
00000e91: PUSH1 0x04
00000e93: DUP3
00000e94: ADD
00000e95: MSTORE
00000e96: PUSH1 0x24
00000e98: ADD
00000e99: PUSH1 0x20
00000e9b: PUSH1 0x40
00000e9d: MLOAD
00000e9e: DUP1
00000e9f: DUP4
00000ea0: SUB
00000ea1: DUP2
00000ea2: PUSH1 0x00
00000ea4: DUP8
00000ea5: DUP1
00000ea6: EXTCODESIZE
00000ea7: ISZERO
00000ea8: ISZERO
00000ea9: PUSH2 0x0eb1
00000eac: JUMPI
00000ead: PUSH1 0x00
00000eaf: DUP1
00000eb0: REVERT
00000eb1: JUMPDEST
00000eb2: PUSH2 0x02c6
00000eb5: GAS
00000eb6: SUB
00000eb7: CALL
00000eb8: ISZERO
00000eb9: ISZERO
00000eba: PUSH2 0x0ec2
00000ebd: JUMPI
00000ebe: PUSH1 0x00
00000ec0: DUP1
00000ec1: REVERT
00000ec2: JUMPDEST
00000ec3: POP
00000ec4: POP
00000ec5: POP
00000ec6: PUSH1 0x40
00000ec8: MLOAD
00000ec9: DUP1
00000eca: MLOAD
00000ecb: PUSH1 0x03
00000ecd: SLOAD
00000ece: SWAP1
00000ecf: SWAP4
00000ed0: POP
00000ed1: PUSH1 0x01
00000ed3: PUSH1 0xa0
00000ed5: PUSH1 0x02
00000ed7: EXP
00000ed8: SUB
00000ed9: DUP1
00000eda: DUP5
00000edb: AND
00000edc: SWAP3
00000edd: POP
00000ede: PUSH4 0xa9059cbb
00000ee3: SWAP2
00000ee4: AND
00000ee5: DUP5
00000ee6: PUSH1 0x00
00000ee8: PUSH1 0x40
00000eea: MLOAD
00000eeb: PUSH1 0x20
00000eed: ADD
00000eee: MSTORE
00000eef: PUSH1 0x40
00000ef1: MLOAD
00000ef2: PUSH1 0xe0
00000ef4: PUSH1 0x02
00000ef6: EXP
00000ef7: PUSH4 0xffffffff
00000efc: DUP6
00000efd: AND
00000efe: MUL
00000eff: DUP2
00000f00: MSTORE
00000f01: PUSH1 0x01
00000f03: PUSH1 0xa0
00000f05: PUSH1 0x02
00000f07: EXP
00000f08: SUB
00000f09: SWAP1
00000f0a: SWAP3
00000f0b: AND
00000f0c: PUSH1 0x04
00000f0e: DUP4
00000f0f: ADD
00000f10: MSTORE
00000f11: PUSH1 0x24
00000f13: DUP3
00000f14: ADD
00000f15: MSTORE
00000f16: PUSH1 0x44
00000f18: ADD
00000f19: PUSH1 0x20
00000f1b: PUSH1 0x40
00000f1d: MLOAD
00000f1e: DUP1
00000f1f: DUP4
00000f20: SUB
00000f21: DUP2
00000f22: PUSH1 0x00
00000f24: DUP8
00000f25: DUP1
00000f26: EXTCODESIZE
00000f27: ISZERO
00000f28: ISZERO
00000f29: PUSH2 0x0f31
00000f2c: JUMPI
00000f2d: PUSH1 0x00
00000f2f: DUP1
00000f30: REVERT
00000f31: JUMPDEST
00000f32: PUSH2 0x02c6
00000f35: GAS
00000f36: SUB
00000f37: CALL
00000f38: ISZERO
00000f39: ISZERO
00000f3a: PUSH2 0x0f42
00000f3d: JUMPI
00000f3e: PUSH1 0x00
00000f40: DUP1
00000f41: REVERT
00000f42: JUMPDEST
00000f43: POP
00000f44: POP
00000f45: POP
00000f46: PUSH1 0x40
00000f48: MLOAD
00000f49: DUP1
00000f4a: MLOAD
00000f4b: SWAP1
00000f4c: POP
00000f4d: POP
00000f4e: PUSH32 0xa50dde912fa22ea0d215a0236093ac45b4d55d6ef0c604c319f900029c5d10f2
00000f6f: DUP4
00000f70: DUP4
00000f71: PUSH1 0x40
00000f73: MLOAD
00000f74: PUSH1 0x01
00000f76: PUSH1 0xa0
00000f78: PUSH1 0x02
00000f7a: EXP
00000f7b: SUB
00000f7c: SWAP1
00000f7d: SWAP3
00000f7e: AND
00000f7f: DUP3
00000f80: MSTORE
00000f81: PUSH1 0x20
00000f83: DUP3
00000f84: ADD
00000f85: MSTORE
00000f86: PUSH1 0x40
00000f88: SWAP1
00000f89: DUP2
00000f8a: ADD
00000f8b: SWAP1
00000f8c: MLOAD
00000f8d: DUP1
00000f8e: SWAP2
00000f8f: SUB
00000f90: SWAP1
00000f91: LOG1
00000f92: JUMPDEST
00000f93: POP
00000f94: POP
00000f95: POP
00000f96: JUMP
00000f97: JUMPDEST
00000f98: PUSH1 0x01
00000f9a: PUSH1 0xa0
00000f9c: PUSH1 0x02
00000f9e: EXP
00000f9f: SUB
00000fa0: SWAP2
00000fa1: SWAP1
00000fa2: SWAP2
00000fa3: AND
00000fa4: PUSH1 0x00
00000fa6: SWAP1
00000fa7: DUP2
00000fa8: MSTORE
00000fa9: PUSH1 0x08
00000fab: PUSH1 0x20
00000fad: SWAP1
00000fae: DUP2
00000faf: MSTORE
00000fb0: PUSH1 0x40
00000fb2: DUP1
00000fb3: DUP4
00000fb4: KECCAK256
00000fb5: SWAP4
00000fb6: DUP4
00000fb7: MSTORE
00000fb8: SWAP3
00000fb9: SWAP1
00000fba: MSTORE
00000fbb: KECCAK256
00000fbc: SLOAD
00000fbd: PUSH1 0xff
00000fbf: AND
00000fc0: SWAP1
00000fc1: JUMP
00000fc2: JUMPDEST
00000fc3: PUSH1 0x05
00000fc5: DUP1
00000fc6: SLOAD
00000fc7: DUP3
00000fc8: SWAP1
00000fc9: DUP2
00000fca: LT
00000fcb: PUSH2 0x0fd0
00000fce: JUMPI
00000fcf: INVALID
00000fd0: JUMPDEST
00000fd1: PUSH1 0x00
00000fd3: SWAP2
00000fd4: DUP3
00000fd5: MSTORE
00000fd6: PUSH1 0x20
00000fd8: SWAP1
00000fd9: SWAP2
00000fda: KECCAK256
00000fdb: PUSH1 0x04
00000fdd: SWAP1
00000fde: SWAP2
00000fdf: MUL
00000fe0: ADD
00000fe1: DUP1
00000fe2: SLOAD
00000fe3: PUSH1 0x01
00000fe5: DUP3
00000fe6: ADD
00000fe7: SLOAD
00000fe8: PUSH1 0x02
00000fea: DUP4
00000feb: ADD
00000fec: SLOAD
00000fed: PUSH1 0x03
00000fef: SWAP1
00000ff0: SWAP4
00000ff1: ADD
00000ff2: SLOAD
00000ff3: SWAP2
00000ff4: SWAP4
00000ff5: POP
00000ff6: PUSH1 0x01
00000ff8: PUSH1 0xa0
00000ffa: PUSH1 0x02
00000ffc: EXP
00000ffd: SUB
00000ffe: AND
00000fff: SWAP2
00001000: SWAP1
00001001: PUSH1 0xff
00001003: AND
00001004: DUP5
00001005: JUMP
00001006: JUMPDEST
00001007: PUSH1 0x01
00001009: SLOAD
0000100a: PUSH1 0x01
0000100c: PUSH1 0xa0
0000100e: PUSH1 0x02
00001010: EXP
00001011: SUB
00001012: AND
00001013: DUP2
00001014: JUMP
00001015: JUMPDEST
00001016: PUSH1 0x02
00001018: SLOAD
00001019: CALLER
0000101a: PUSH1 0x01
0000101c: PUSH1 0xa0
0000101e: PUSH1 0x02
00001020: EXP
00001021: SUB
00001022: SWAP1
00001023: DUP2
00001024: AND
00001025: SWAP2
00001026: AND
00001027: EQ
00001028: DUP1
00001029: PUSH2 0x1040
0000102c: JUMPI
0000102d: POP
0000102e: PUSH1 0x00
00001030: SLOAD
00001031: CALLER
00001032: PUSH1 0x01
00001034: PUSH1 0xa0
00001036: PUSH1 0x02
00001038: EXP
00001039: SUB
0000103a: SWAP1
0000103b: DUP2
0000103c: AND
0000103d: SWAP2
0000103e: AND
0000103f: EQ
00001040: JUMPDEST
00001041: ISZERO
00001042: ISZERO
00001043: PUSH2 0x104b
00001046: JUMPI
00001047: PUSH1 0x00
00001049: DUP1
0000104a: REVERT
0000104b: JUMPDEST
0000104c: PUSH1 0x02
0000104e: DUP1
0000104f: SLOAD
00001050: PUSH1 0x01
00001052: PUSH1 0xa0
00001054: PUSH1 0x02
00001056: EXP
00001057: SUB
00001058: NOT
00001059: AND
0000105a: PUSH1 0x01
0000105c: PUSH1 0xa0
0000105e: PUSH1 0x02
00001060: EXP
00001061: SUB
00001062: SWAP3
00001063: SWAP1
00001064: SWAP3
00001065: AND
00001066: SWAP2
00001067: SWAP1
00001068: SWAP2
00001069: OR
0000106a: SWAP1
0000106b: SSTORE
0000106c: JUMP
0000106d: JUMPDEST
0000106e: PUSH1 0x00
00001070: SLOAD
00001071: CALLER
00001072: PUSH1 0x01
00001074: PUSH1 0xa0
00001076: PUSH1 0x02
00001078: EXP
00001079: SUB
0000107a: SWAP1
0000107b: DUP2
0000107c: AND
0000107d: SWAP2
0000107e: AND
0000107f: EQ
00001080: PUSH2 0x1088
00001083: JUMPI
00001084: PUSH1 0x00
00001086: DUP1
00001087: REVERT
00001088: JUMPDEST
00001089: PUSH1 0x05
0000108b: SLOAD
0000108c: DUP2
0000108d: LT
0000108e: PUSH2 0x1096
00001091: JUMPI
00001092: PUSH1 0x00
00001094: DUP1
00001095: REVERT
00001096: JUMPDEST
00001097: PUSH1 0x01
00001099: PUSH1 0x05
0000109b: DUP3
0000109c: DUP2
0000109d: SLOAD
0000109e: DUP2
0000109f: LT
000010a0: ISZERO
000010a1: ISZERO
000010a2: PUSH2 0x10a7
000010a5: JUMPI
000010a6: INVALID
000010a7: JUMPDEST
000010a8: PUSH1 0x00
000010aa: SWAP2
000010ab: DUP3
000010ac: MSTORE
000010ad: PUSH1 0x20
000010af: SWAP1
000010b0: SWAP2
000010b1: KECCAK256
000010b2: PUSH1 0x04
000010b4: SWAP1
000010b5: SWAP2
000010b6: MUL
000010b7: ADD
000010b8: PUSH1 0x03
000010ba: ADD
000010bb: DUP1
000010bc: SLOAD
000010bd: PUSH1 0xff
000010bf: NOT
000010c0: AND
000010c1: SWAP2
000010c2: ISZERO
000010c3: ISZERO
000010c4: SWAP2
000010c5: SWAP1
000010c6: SWAP2
000010c7: OR
000010c8: SWAP1
000010c9: SSTORE
000010ca: DUP1
000010cb: PUSH32 0xa3d465f21dc4259cc4c67491949fc38ff4518179cd78b168bff44bc412115005
000010ec: PUSH1 0x40
000010ee: MLOAD
000010ef: PUSH1 0x40
000010f1: MLOAD
000010f2: DUP1
000010f3: SWAP2
000010f4: SUB
000010f5: SWAP1
000010f6: LOG2
000010f7: POP
000010f8: JUMP
000010f9: JUMPDEST
000010fa: PUSH1 0x03
000010fc: SLOAD
000010fd: PUSH1 0x01
000010ff: PUSH1 0xa0
00001101: PUSH1 0x02
00001103: EXP
00001104: SUB
00001105: AND
00001106: DUP2
00001107: JUMP
00001108: JUMPDEST
00001109: PUSH1 0x01
0000110b: PUSH1 0xa0
0000110d: PUSH1 0x02
0000110f: EXP
00001110: SUB
00001111: CALLER
00001112: AND
00001113: PUSH1 0x00
00001115: SWAP1
00001116: DUP2
00001117: MSTORE
00001118: PUSH1 0x07
0000111a: PUSH1 0x20
0000111c: MSTORE
0000111d: PUSH1 0x40
0000111f: DUP2
00001120: KECCAK256
00001121: SLOAD
00001122: DUP2
00001123: SWAP1
00001124: DUP2
00001125: JUMPDEST
00001126: PUSH1 0x05
00001128: SLOAD
00001129: DUP3
0000112a: LT
0000112b: ISZERO
0000112c: PUSH2 0x129c
0000112f: JUMPI
00001130: PUSH1 0x05
00001132: DUP1
00001133: SLOAD
00001134: DUP4
00001135: SWAP1
00001136: DUP2
00001137: LT
00001138: PUSH2 0x113d
0000113b: JUMPI
0000113c: INVALID
0000113d: JUMPDEST
0000113e: PUSH1 0x00
00001140: SWAP2
00001141: DUP3
00001142: MSTORE
00001143: PUSH1 0x20
00001145: SWAP1
00001146: SWAP2
00001147: KECCAK256
00001148: PUSH1 0x04
0000114a: SWAP1
0000114b: SWAP2
0000114c: MUL
0000114d: ADD
0000114e: PUSH1 0x01
00001150: DUP2
00001151: ADD
00001152: SLOAD
00001153: SWAP1
00001154: SWAP2
00001155: POP
00001156: PUSH1 0x01
00001158: PUSH1 0xa0
0000115a: PUSH1 0x02
0000115c: EXP
0000115d: SUB
0000115e: DUP8
0000115f: DUP2
00001160: AND
00001161: SWAP2
00001162: AND
00001163: EQ
00001164: DUP1
00001165: ISZERO
00001166: PUSH2 0x1174
00001169: JUMPI
0000116a: POP
0000116b: PUSH1 0x03
0000116d: DUP2
0000116e: ADD
0000116f: SLOAD
00001170: PUSH1 0xff
00001172: AND
00001173: ISZERO
00001174: JUMPDEST
00001175: DUP1
00001176: ISZERO
00001177: PUSH2 0x1187
0000117a: JUMPI
0000117b: POP
0000117c: PUSH2 0x1185
0000117f: DUP6
00001180: DUP4
00001181: PUSH2 0x0f97
00001184: JUMP
00001185: JUMPDEST
00001186: ISZERO
00001187: JUMPDEST
00001188: ISZERO
00001189: PUSH2 0x1291
0000118c: JUMPI
0000118d: PUSH1 0x06
0000118f: SLOAD
00001190: DUP2
00001191: SLOAD
00001192: PUSH1 0x01
00001194: PUSH1 0xa0
00001196: PUSH1 0x02
00001198: EXP
00001199: SUB
0000119a: SWAP1
0000119b: SWAP2
0000119c: AND
0000119d: SWAP1
0000119e: PUSH4 0x981b24d0
000011a3: SWAP1
000011a4: PUSH1 0x00
000011a6: PUSH1 0x40
000011a8: MLOAD
000011a9: PUSH1 0x20
000011ab: ADD
000011ac: MSTORE
000011ad: PUSH1 0x40
000011af: MLOAD
000011b0: PUSH1 0xe0
000011b2: PUSH1 0x02
000011b4: EXP
000011b5: PUSH4 0xffffffff
000011ba: DUP5
000011bb: AND
000011bc: MUL
000011bd: DUP2
000011be: MSTORE
000011bf: PUSH1 0x04
000011c1: DUP2
000011c2: ADD
000011c3: SWAP2
000011c4: SWAP1
000011c5: SWAP2
000011c6: MSTORE
000011c7: PUSH1 0x24
000011c9: ADD
000011ca: PUSH1 0x20
000011cc: PUSH1 0x40
000011ce: MLOAD
000011cf: DUP1
000011d0: DUP4
000011d1: SUB
000011d2: DUP2
000011d3: PUSH1 0x00
000011d5: DUP8
000011d6: DUP1
000011d7: EXTCODESIZE
000011d8: ISZERO
000011d9: ISZERO
000011da: PUSH2 0x11e2
000011dd: JUMPI
000011de: PUSH1 0x00
000011e0: DUP1
000011e1: REVERT
000011e2: JUMPDEST
000011e3: PUSH2 0x02c6
000011e6: GAS
000011e7: SUB
000011e8: CALL
000011e9: ISZERO
000011ea: ISZERO
000011eb: PUSH2 0x11f3
000011ee: JUMPI
000011ef: PUSH1 0x00
000011f1: DUP1
000011f2: REVERT
000011f3: JUMPDEST
000011f4: POP
000011f5: POP
000011f6: POP
000011f7: PUSH1 0x40
000011f9: MLOAD
000011fa: DUP1
000011fb: MLOAD
000011fc: PUSH1 0x06
000011fe: SLOAD
000011ff: DUP4
00001200: SLOAD
00001201: SWAP2
00001202: SWAP3
00001203: POP
00001204: PUSH1 0x01
00001206: PUSH1 0xa0
00001208: PUSH1 0x02
0000120a: EXP
0000120b: SUB
0000120c: AND
0000120d: SWAP1
0000120e: PUSH4 0x4ee2cd7e
00001213: SWAP1
00001214: DUP9
00001215: SWAP1
00001216: PUSH1 0x00
00001218: PUSH1 0x40
0000121a: MLOAD
0000121b: PUSH1 0x20
0000121d: ADD
0000121e: MSTORE
0000121f: PUSH1 0x40
00001221: MLOAD
00001222: PUSH1 0xe0
00001224: PUSH1 0x02
00001226: EXP
00001227: PUSH4 0xffffffff
0000122c: DUP6
0000122d: AND
0000122e: MUL
0000122f: DUP2
00001230: MSTORE
00001231: PUSH1 0x01
00001233: PUSH1 0xa0
00001235: PUSH1 0x02
00001237: EXP
00001238: SUB
00001239: SWAP1
0000123a: SWAP3
0000123b: AND
0000123c: PUSH1 0x04
0000123e: DUP4
0000123f: ADD
00001240: MSTORE
00001241: PUSH1 0x24
00001243: DUP3
00001244: ADD
00001245: MSTORE
00001246: PUSH1 0x44
00001248: ADD
00001249: PUSH1 0x20
0000124b: PUSH1 0x40
0000124d: MLOAD
0000124e: DUP1
0000124f: DUP4
00001250: SUB
00001251: DUP2
00001252: PUSH1 0x00
00001254: DUP8
00001255: DUP1
00001256: EXTCODESIZE
00001257: ISZERO
00001258: ISZERO
00001259: PUSH2 0x1261
0000125c: JUMPI
0000125d: PUSH1 0x00
0000125f: DUP1
00001260: REVERT
00001261: JUMPDEST
00001262: PUSH2 0x02c6
00001265: GAS
00001266: SUB
00001267: CALL
00001268: ISZERO
00001269: ISZERO
0000126a: PUSH2 0x1272
0000126d: JUMPI
0000126e: PUSH1 0x00
00001270: DUP1
00001271: REVERT
00001272: JUMPDEST
00001273: POP
00001274: POP
00001275: POP
00001276: PUSH1 0x40
00001278: MLOAD
00001279: DUP1
0000127a: MLOAD
0000127b: SWAP1
0000127c: POP
0000127d: DUP3
0000127e: PUSH1 0x02
00001280: ADD
00001281: SLOAD
00001282: MUL
00001283: DUP2
00001284: ISZERO
00001285: ISZERO
00001286: PUSH2 0x128b
00001289: JUMPI
0000128a: INVALID
0000128b: JUMPDEST
0000128c: DIV
0000128d: DUP4
0000128e: ADD
0000128f: SWAP3
00001290: POP
00001291: JUMPDEST
00001292: PUSH1 0x01
00001294: SWAP1
00001295: SWAP2
00001296: ADD
00001297: SWAP1
00001298: PUSH2 0x1125
0000129b: JUMP
0000129c: JUMPDEST
0000129d: POP
0000129e: SWAP1
0000129f: SWAP5
000012a0: SWAP4
000012a1: POP
000012a2: POP
000012a3: POP
000012a4: POP
000012a5: JUMP
000012a6: JUMPDEST
000012a7: PUSH1 0x00
000012a9: DUP2
000012aa: ISZERO
000012ab: ISZERO
000012ac: PUSH2 0x12b7
000012af: JUMPI
000012b0: POP
000012b1: PUSH1 0x01
000012b3: PUSH2 0x13d2
000012b6: JUMP
000012b7: JUMPDEST
000012b8: PUSH1 0x01
000012ba: PUSH1 0xa0
000012bc: PUSH1 0x02
000012be: EXP
000012bf: SUB
000012c0: DUP4
000012c1: AND
000012c2: ISZERO
000012c3: ISZERO
000012c4: PUSH2 0x1300
000012c7: JUMPI
000012c8: PUSH1 0x01
000012ca: PUSH1 0xa0
000012cc: PUSH1 0x02
000012ce: EXP
000012cf: SUB
000012d0: DUP5
000012d1: AND
000012d2: DUP3
000012d3: ISZERO
000012d4: PUSH2 0x08fc
000012d7: MUL
000012d8: DUP4
000012d9: PUSH1 0x40
000012db: MLOAD
000012dc: PUSH1 0x00
000012de: PUSH1 0x40
000012e0: MLOAD
000012e1: DUP1
000012e2: DUP4
000012e3: SUB
000012e4: DUP2
000012e5: DUP6
000012e6: DUP9
000012e7: DUP9
000012e8: CALL
000012e9: SWAP4
000012ea: POP
000012eb: POP
000012ec: POP
000012ed: POP
000012ee: ISZERO
000012ef: ISZERO
000012f0: PUSH2 0x12fb
000012f3: JUMPI
000012f4: POP
000012f5: PUSH1 0x00
000012f7: PUSH2 0x13d2
000012fa: JUMP
000012fb: JUMPDEST
000012fc: PUSH2 0x1386
000012ff: JUMP
00001300: JUMPDEST
00001301: DUP3
00001302: PUSH1 0x01
00001304: PUSH1 0xa0
00001306: PUSH1 0x02
00001308: EXP
00001309: SUB
0000130a: AND
0000130b: PUSH4 0xa9059cbb
00001310: DUP6
00001311: DUP5
00001312: PUSH1 0x00
00001314: PUSH1 0x40
00001316: MLOAD
00001317: PUSH1 0x20
00001319: ADD
0000131a: MSTORE
0000131b: PUSH1 0x40
0000131d: MLOAD
0000131e: PUSH1 0xe0
00001320: PUSH1 0x02
00001322: EXP
00001323: PUSH4 0xffffffff
00001328: DUP6
00001329: AND
0000132a: MUL
0000132b: DUP2
0000132c: MSTORE
0000132d: PUSH1 0x01
0000132f: PUSH1 0xa0
00001331: PUSH1 0x02
00001333: EXP
00001334: SUB
00001335: SWAP1
00001336: SWAP3
00001337: AND
00001338: PUSH1 0x04
0000133a: DUP4
0000133b: ADD
0000133c: MSTORE
0000133d: PUSH1 0x24
0000133f: DUP3
00001340: ADD
00001341: MSTORE
00001342: PUSH1 0x44
00001344: ADD
00001345: PUSH1 0x20
00001347: PUSH1 0x40
00001349: MLOAD
0000134a: DUP1
0000134b: DUP4
0000134c: SUB
0000134d: DUP2
0000134e: PUSH1 0x00
00001350: DUP8
00001351: DUP1
00001352: EXTCODESIZE
00001353: ISZERO
00001354: ISZERO
00001355: PUSH2 0x135d
00001358: JUMPI
00001359: PUSH1 0x00
0000135b: DUP1
0000135c: REVERT
0000135d: JUMPDEST
0000135e: PUSH2 0x02c6
00001361: GAS
00001362: SUB
00001363: CALL
00001364: ISZERO
00001365: ISZERO
00001366: PUSH2 0x136e
00001369: JUMPI
0000136a: PUSH1 0x00
0000136c: DUP1
0000136d: REVERT
0000136e: JUMPDEST
0000136f: POP
00001370: POP
00001371: POP
00001372: PUSH1 0x40
00001374: MLOAD
00001375: DUP1
00001376: MLOAD
00001377: SWAP1
00001378: POP
00001379: ISZERO
0000137a: ISZERO
0000137b: PUSH2 0x1386
0000137e: JUMPI
0000137f: POP
00001380: PUSH1 0x00
00001382: PUSH2 0x13d2
00001385: JUMP
00001386: JUMPDEST
00001387: DUP3
00001388: PUSH1 0x01
0000138a: PUSH1 0xa0
0000138c: PUSH1 0x02
0000138e: EXP
0000138f: SUB
00001390: AND
00001391: DUP5
00001392: PUSH1 0x01
00001394: PUSH1 0xa0
00001396: PUSH1 0x02
00001398: EXP
00001399: SUB
0000139a: AND
0000139b: DUP7
0000139c: PUSH32 0xfeb2000dca3e617cd6f3a8bbb63014bb54a124aac6ccbf73ee7229b4cd01f120
000013bd: DUP6
000013be: PUSH1 0x40
000013c0: MLOAD
000013c1: SWAP1
000013c2: DUP2
000013c3: MSTORE
000013c4: PUSH1 0x20
000013c6: ADD
000013c7: PUSH1 0x40
000013c9: MLOAD
000013ca: DUP1
000013cb: SWAP2
000013cc: SUB
000013cd: SWAP1
000013ce: LOG4
000013cf: POP
000013d0: PUSH1 0x01
000013d2: JUMPDEST
000013d3: SWAP5
000013d4: SWAP4
000013d5: POP
000013d6: POP
000013d7: POP
000013d8: POP
000013d9: JUMP
000013da: JUMPDEST
000013db: DUP2
000013dc: SLOAD
000013dd: DUP2
000013de: DUP4
000013df: SSTORE
000013e0: DUP2
000013e1: DUP2
000013e2: ISZERO
000013e3: GT
000013e4: PUSH2 0x0f92
000013e7: JUMPI
000013e8: PUSH1 0x00
000013ea: DUP4
000013eb: DUP2
000013ec: MSTORE
000013ed: PUSH1 0x20
000013ef: SWAP1
000013f0: KECCAK256
000013f1: PUSH2 0x0f92
000013f4: SWAP2
000013f5: PUSH2 0x0d62
000013f8: SWAP2
000013f9: PUSH1 0x04
000013fb: SWAP2
000013fc: DUP3
000013fd: MUL
000013fe: DUP2
000013ff: ADD
00001400: SWAP2
00001401: DUP6
00001402: MUL
00001403: ADD
00001404: JUMPDEST
00001405: DUP1
00001406: DUP3
00001407: GT
00001408: ISZERO
00001409: PUSH2 0x143c
0000140c: JUMPI
0000140d: PUSH1 0x00
0000140f: DUP1
00001410: DUP3
00001411: SSTORE
00001412: PUSH1 0x01
00001414: DUP3
00001415: ADD
00001416: DUP1
00001417: SLOAD
00001418: PUSH1 0x01
0000141a: PUSH1 0xa0
0000141c: PUSH1 0x02
0000141e: EXP
0000141f: SUB
00001420: NOT
00001421: AND
00001422: SWAP1
00001423: SSTORE
00001424: PUSH1 0x02
00001426: DUP3
00001427: ADD
00001428: SSTORE
00001429: PUSH1 0x03
0000142b: DUP2
0000142c: ADD
0000142d: DUP1
0000142e: SLOAD
0000142f: PUSH1 0xff
00001431: NOT
00001432: AND
00001433: SWAP1
00001434: SSTORE
00001435: PUSH1 0x04
00001437: ADD
00001438: PUSH2 0x1404
0000143b: JUMP
0000143c: JUMPDEST
0000143d: POP
0000143e: SWAP1
0000143f: JUMP
00001440: STOP
00001441: LOG1
00001442: PUSH6 0x627a7a723058
00001449: KECCAK256
0000144a: KECCAK256
0000144b: MOD
0000144c: RETURN
0000144d: DUP9
0000144e: UNKNOWN(0xEF)
0000144f: UNKNOWN(0xC7)
00001450: SWAP8
00001451: JUMP
00001452: DUP11
00001453: UNKNOWN(0xEA)
00001454: PUSH7 0x30c05326f98da4
0000145c: SWAP8
0000145d: UNKNOWN(0xA9)
0000145e: UNKNOWN(0xD9)
0000145f: PUSH30

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.