019b3844-8d49-7002-9ecf-59c3eac83cdd
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 12103 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 12104 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 55740 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 55741 | capability.graph | complete | 1 / 3 | 1 week ago |
| 55742 | detector.run | complete | 1 / 3 | 1 week ago |
| 55743 | validation.fork | complete | 1 / 3 | 1 week ago |
| 113439 | report.consolidate | complete | 1 / 6 | 1 week ago |
No slither job recorded yet.
OpenAI Codex v0.118.0 (research preview) -------- workdir: /tmp/codex-uard4tvq model: gpt-5.4 provider: openai approval: never sandbox: read-only reasoning effort: high reasoning summaries: none session id: 019d5c94-074f-7b63-969e-2a19a28d7d7c -------- 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:20.065095+00:00",
"returncode": 1
},
"project": {
"mode": "bytecode",
"bytecode_length": 14038,
"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 0x0150 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH1 0xe0 00000014: PUSH1 0x02 00000016: EXP 00000017: PUSH1 0x00 00000019: CALLDATALOAD 0000001a: DIV 0000001b: AND 0000001c: PUSH4 0x0a19b14a 00000021: DUP2 00000022: EQ 00000023: PUSH2 0x0160 00000026: JUMPI 00000027: DUP1 00000028: PUSH4 0x278b8c0e 0000002d: EQ 0000002e: PUSH2 0x01af 00000031: JUMPI 00000032: DUP1 00000033: PUSH4 0x2d804ca2 00000038: EQ 00000039: PUSH2 0x01ee 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0x2e1a7d4d 00000043: EQ 00000044: PUSH2 0x023b 00000047: JUMPI 00000048: DUP1 00000049: PUSH4 0x338b5dea 0000004e: EQ 0000004f: PUSH2 0x0251 00000052: JUMPI 00000053: DUP1 00000054: PUSH4 0x48d64fd5 00000059: EQ 0000005a: PUSH2 0x0273 0000005d: JUMPI 0000005e: DUP1 0000005f: PUSH4 0x4f3f2cbc 00000064: EQ 00000065: PUSH2 0x0292 00000068: JUMPI 00000069: DUP1 0000006a: PUSH4 0x508493bc 0000006f: EQ 00000070: PUSH2 0x02b1 00000073: JUMPI 00000074: DUP1 00000075: PUSH4 0x54d03b5c 0000007a: EQ 0000007b: PUSH2 0x02d6 0000007e: JUMPI 0000007f: DUP1 00000080: PUSH4 0x57786394 00000085: EQ 00000086: PUSH2 0x02ec 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0x617a0951 00000090: EQ 00000091: PUSH2 0x02ff 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0x65e17c9d 0000009b: EQ 0000009c: PUSH2 0x032e 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0x71ffcb16 000000a6: EQ 000000a7: PUSH2 0x0341 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0x8823a9c0 000000b1: EQ 000000b2: PUSH2 0x0360 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0x8da5cb5b 000000bc: EQ 000000bd: PUSH2 0x0376 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0x8f13f48e 000000c7: EQ 000000c8: PUSH2 0x0389 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0x9e281a98 000000d2: EQ 000000d3: PUSH2 0x03b3 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0xa2190b46 000000dd: EQ 000000de: PUSH2 0x03d5 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0xc281309e 000000e8: EQ 000000e9: PUSH2 0x03f7 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0xc4e29e66 000000f3: EQ 000000f4: PUSH2 0x040a 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0xcb3cb085 000000fe: EQ 000000ff: PUSH2 0x0445 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0xd0e30db0 00000109: EQ 0000010a: PUSH2 0x04b3 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0xda147d32 00000114: EQ 00000115: PUSH2 0x04bb 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0xe7b808ea 0000011f: EQ 00000120: PUSH2 0x04ce 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0xf2fde38b 0000012a: EQ 0000012b: PUSH2 0x0505 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0xf7213db6 00000135: EQ 00000136: PUSH2 0x0524 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0xf7888aec 00000140: EQ 00000141: PUSH2 0x053a 00000144: JUMPI 00000145: DUP1 00000146: PUSH4 0xfb6e155f 0000014b: EQ 0000014c: PUSH2 0x055f 0000014f: JUMPI 00000150: JUMPDEST 00000151: CALLVALUE 00000152: ISZERO 00000153: PUSH2 0x015b 00000156: JUMPI 00000157: PUSH1 0x00 00000159: DUP1 0000015a: REVERT 0000015b: JUMPDEST 0000015c: PUSH1 0x00 0000015e: DUP1 0000015f: REVERT 00000160: JUMPDEST 00000161: CALLVALUE 00000162: ISZERO 00000163: PUSH2 0x016b 00000166: JUMPI 00000167: PUSH1 0x00 00000169: DUP1 0000016a: REVERT 0000016b: JUMPDEST 0000016c: PUSH2 0x01ad 0000016f: PUSH1 0x01 00000171: PUSH1 0xa0 00000173: PUSH1 0x02 00000175: EXP 00000176: SUB 00000177: PUSH1 0x04 00000179: CALLDATALOAD 0000017a: DUP2 0000017b: AND 0000017c: SWAP1 0000017d: PUSH1 0x24 0000017f: CALLDATALOAD 00000180: SWAP1 00000181: PUSH1 0x44 00000183: CALLDATALOAD 00000184: DUP2 00000185: AND 00000186: SWAP1 00000187: PUSH1 0x64 00000189: CALLDATALOAD 0000018a: SWAP1 0000018b: PUSH1 0x84 0000018d: CALLDATALOAD 0000018e: SWAP1 0000018f: PUSH1 0xa4 00000191: CALLDATALOAD 00000192: SWAP1 00000193: PUSH1 0xc4 00000195: CALLDATALOAD 00000196: AND 00000197: PUSH1 0xff 00000199: PUSH1 0xe4 0000019b: CALLDATALOAD 0000019c: AND 0000019d: PUSH2 0x0104 000001a0: CALLDATALOAD 000001a1: PUSH2 0x0124 000001a4: CALLDATALOAD 000001a5: PUSH2 0x0144 000001a8: CALLDATALOAD 000001a9: PUSH2 0x05a8 000001ac: JUMP 000001ad: JUMPDEST 000001ae: STOP 000001af: JUMPDEST 000001b0: CALLVALUE 000001b1: ISZERO 000001b2: PUSH2 0x01ba 000001b5: JUMPI 000001b6: PUSH1 0x00 000001b8: DUP1 000001b9: REVERT 000001ba: JUMPDEST 000001bb: PUSH2 0x01ad 000001be: PUSH1 0x01 000001c0: PUSH1 0xa0 000001c2: PUSH1 0x02 000001c4: EXP 000001c5: SUB 000001c6: PUSH1 0x04 000001c8: CALLDATALOAD 000001c9: DUP2 000001ca: AND 000001cb: SWAP1 000001cc: PUSH1 0x24 000001ce: CALLDATALOAD 000001cf: SWAP1 000001d0: PUSH1 0x44 000001d2: CALLDATALOAD 000001d3: AND 000001d4: PUSH1 0x64 000001d6: CALLDATALOAD 000001d7: PUSH1 0x84 000001d9: CALLDATALOAD 000001da: PUSH1 0xa4 000001dc: CALLDATALOAD 000001dd: PUSH1 0xff 000001df: PUSH1 0xc4 000001e1: CALLDATALOAD 000001e2: AND 000001e3: PUSH1 0xe4 000001e5: CALLDATALOAD 000001e6: PUSH2 0x0104 000001e9: CALLDATALOAD 000001ea: PUSH2 0x0867 000001ed: JUMP 000001ee: JUMPDEST 000001ef: CALLVALUE 000001f0: ISZERO 000001f1: PUSH2 0x01f9 000001f4: JUMPI 000001f5: PUSH1 0x00 000001f7: DUP1 000001f8: REVERT 000001f9: JUMPDEST 000001fa: PUSH2 0x0229 000001fd: PUSH1 0x01 000001ff: PUSH1 0xa0 00000201: PUSH1 0x02 00000203: EXP 00000204: SUB 00000205: PUSH1 0x04 00000207: CALLDATALOAD 00000208: DUP2 00000209: AND 0000020a: SWAP1 0000020b: PUSH1 0x24 0000020d: CALLDATALOAD 0000020e: SWAP1 0000020f: PUSH1 0x44 00000211: CALLDATALOAD 00000212: DUP2 00000213: AND 00000214: SWAP1 00000215: PUSH1 0x64 00000217: CALLDATALOAD 00000218: SWAP1 00000219: PUSH1 0x84 0000021b: CALLDATALOAD 0000021c: SWAP1 0000021d: PUSH1 0xa4 0000021f: CALLDATALOAD 00000220: SWAP1 00000221: PUSH1 0xc4 00000223: CALLDATALOAD 00000224: AND 00000225: PUSH2 0x0a22 00000228: JUMP 00000229: JUMPDEST 0000022a: PUSH1 0x40 0000022c: MLOAD 0000022d: SWAP1 0000022e: DUP2 0000022f: MSTORE 00000230: PUSH1 0x20 00000232: ADD 00000233: PUSH1 0x40 00000235: MLOAD 00000236: DUP1 00000237: SWAP2 00000238: SUB 00000239: SWAP1 0000023a: RETURN 0000023b: JUMPDEST 0000023c: CALLVALUE 0000023d: ISZERO 0000023e: PUSH2 0x0246 00000241: JUMPI 00000242: PUSH1 0x00 00000244: DUP1 00000245: REVERT 00000246: JUMPDEST 00000247: PUSH2 0x01ad 0000024a: PUSH1 0x04 0000024c: CALLDATALOAD 0000024d: PUSH2 0x0a50 00000250: JUMP 00000251: JUMPDEST 00000252: CALLVALUE 00000253: ISZERO 00000254: PUSH2 0x025c 00000257: JUMPI 00000258: PUSH1 0x00 0000025a: DUP1 0000025b: REVERT 0000025c: JUMPDEST 0000025d: PUSH2 0x01ad 00000260: PUSH1 0x01 00000262: PUSH1 0xa0 00000264: PUSH1 0x02 00000266: EXP 00000267: SUB 00000268: PUSH1 0x04 0000026a: CALLDATALOAD 0000026b: AND 0000026c: PUSH1 0x24 0000026e: CALLDATALOAD 0000026f: PUSH2 0x0b8f 00000272: JUMP 00000273: JUMPDEST 00000274: CALLVALUE 00000275: ISZERO 00000276: PUSH2 0x027e 00000279: JUMPI 0000027a: PUSH1 0x00 0000027c: DUP1 0000027d: REVERT 0000027e: JUMPDEST 0000027f: PUSH2 0x01ad 00000282: PUSH1 0x01 00000284: PUSH1 0xa0 00000286: PUSH1 0x02 00000288: EXP 00000289: SUB 0000028a: PUSH1 0x04 0000028c: CALLDATALOAD 0000028d: AND 0000028e: PUSH2 0x0cf5 00000291: JUMP 00000292: JUMPDEST 00000293: CALLVALUE 00000294: ISZERO 00000295: PUSH2 0x029d 00000298: JUMPI 00000299: PUSH1 0x00 0000029b: DUP1 0000029c: REVERT 0000029d: JUMPDEST 0000029e: PUSH2 0x01ad 000002a1: PUSH1 0x01 000002a3: PUSH1 0xa0 000002a5: PUSH1 0x02 000002a7: EXP 000002a8: SUB 000002a9: PUSH1 0x04 000002ab: CALLDATALOAD 000002ac: AND 000002ad: PUSH2 0x0d5a 000002b0: JUMP 000002b1: JUMPDEST 000002b2: CALLVALUE 000002b3: ISZERO 000002b4: PUSH2 0x02bc 000002b7: JUMPI 000002b8: PUSH1 0x00 000002ba: DUP1 000002bb: REVERT 000002bc: JUMPDEST 000002bd: PUSH2 0x0229 000002c0: PUSH1 0x01 000002c2: PUSH1 0xa0 000002c4: PUSH1 0x02 000002c6: EXP 000002c7: SUB 000002c8: PUSH1 0x04 000002ca: CALLDATALOAD 000002cb: DUP2 000002cc: AND 000002cd: SWAP1 000002ce: PUSH1 0x24 000002d0: CALLDATALOAD 000002d1: AND 000002d2: PUSH2 0x0dbf 000002d5: JUMP 000002d6: JUMPDEST 000002d7: CALLVALUE 000002d8: ISZERO 000002d9: PUSH2 0x02e1 000002dc: JUMPI 000002dd: PUSH1 0x00 000002df: DUP1 000002e0: REVERT 000002e1: JUMPDEST 000002e2: PUSH2 0x01ad 000002e5: PUSH1 0x04 000002e7: CALLDATALOAD 000002e8: PUSH2 0x0ddc 000002eb: JUMP 000002ec: JUMPDEST 000002ed: CALLVALUE 000002ee: ISZERO 000002ef: PUSH2 0x02f7 000002f2: JUMPI 000002f3: PUSH1 0x00 000002f5: DUP1 000002f6: REVERT 000002f7: JUMPDEST 000002f8: PUSH2 0x0229 000002fb: PUSH2 0x0e0b 000002fe: JUMP 000002ff: JUMPDEST 00000300: CALLVALUE 00000301: ISZERO 00000302: PUSH2 0x030a 00000305: JUMPI 00000306: PUSH1 0x00 00000308: DUP1 00000309: REVERT 0000030a: JUMPDEST 0000030b: PUSH2 0x0312 0000030e: PUSH2 0x0e11 00000311: JUMP 00000312: JUMPDEST 00000313: PUSH1 0x40 00000315: MLOAD 00000316: PUSH1 0x01 00000318: PUSH1 0xa0 0000031a: PUSH1 0x02 0000031c: EXP 0000031d: SUB 0000031e: SWAP1 0000031f: SWAP2 00000320: AND 00000321: DUP2 00000322: MSTORE 00000323: PUSH1 0x20 00000325: ADD 00000326: PUSH1 0x40 00000328: MLOAD 00000329: DUP1 0000032a: SWAP2 0000032b: SUB 0000032c: SWAP1 0000032d: RETURN 0000032e: JUMPDEST 0000032f: CALLVALUE 00000330: ISZERO 00000331: PUSH2 0x0339 00000334: JUMPI 00000335: PUSH1 0x00 00000337: DUP1 00000338: REVERT 00000339: JUMPDEST 0000033a: PUSH2 0x0312 0000033d: PUSH2 0x0e20 00000340: JUMP 00000341: JUMPDEST 00000342: CALLVALUE 00000343: ISZERO 00000344: PUSH2 0x034c 00000347: JUMPI 00000348: PUSH1 0x00 0000034a: DUP1 0000034b: REVERT 0000034c: JUMPDEST 0000034d: PUSH2 0x01ad 00000350: PUSH1 0x01 00000352: PUSH1 0xa0 00000354: PUSH1 0x02 00000356: EXP 00000357: SUB 00000358: PUSH1 0x04 0000035a: CALLDATALOAD 0000035b: AND 0000035c: PUSH2 0x0e2f 0000035f: JUMP 00000360: JUMPDEST 00000361: CALLVALUE 00000362: ISZERO 00000363: PUSH2 0x036b 00000366: JUMPI 00000367: PUSH1 0x00 00000369: DUP1 0000036a: REVERT 0000036b: JUMPDEST 0000036c: PUSH2 0x01ad 0000036f: PUSH1 0x04 00000371: CALLDATALOAD 00000372: PUSH2 0x0e8e 00000375: JUMP 00000376: JUMPDEST 00000377: CALLVALUE 00000378: ISZERO 00000379: PUSH2 0x0381 0000037c: JUMPI 0000037d: PUSH1 0x00 0000037f: DUP1 00000380: REVERT 00000381: JUMPDEST 00000382: PUSH2 0x0312 00000385: PUSH2 0x0ebd 00000388: JUMP 00000389: JUMPDEST 0000038a: CALLVALUE 0000038b: ISZERO 0000038c: PUSH2 0x0394 0000038f: JUMPI 00000390: PUSH1 0x00 00000392: DUP1 00000393: REVERT 00000394: JUMPDEST 00000395: PUSH2 0x039f 00000398: PUSH1 0x04 0000039a: CALLDATALOAD 0000039b: PUSH2 0x0ecc 0000039e: JUMP 0000039f: JUMPDEST 000003a0: PUSH1 0x40 000003a2: MLOAD 000003a3: SWAP1 000003a4: ISZERO 000003a5: ISZERO 000003a6: DUP2 000003a7: MSTORE 000003a8: PUSH1 0x20 000003aa: ADD 000003ab: PUSH1 0x40 000003ad: MLOAD 000003ae: DUP1 000003af: SWAP2 000003b0: SUB 000003b1: SWAP1 000003b2: RETURN 000003b3: JUMPDEST 000003b4: CALLVALUE 000003b5: ISZERO 000003b6: PUSH2 0x03be 000003b9: JUMPI 000003ba: PUSH1 0x00 000003bc: DUP1 000003bd: REVERT 000003be: JUMPDEST 000003bf: PUSH2 0x01ad 000003c2: PUSH1 0x01 000003c4: PUSH1 0xa0 000003c6: PUSH1 0x02 000003c8: EXP 000003c9: SUB 000003ca: PUSH1 0x04 000003cc: CALLDATALOAD 000003cd: AND 000003ce: PUSH1 0x24 000003d0: CALLDATALOAD 000003d1: PUSH2 0x0ee1 000003d4: JUMP 000003d5: JUMPDEST 000003d6: CALLVALUE 000003d7: ISZERO 000003d8: PUSH2 0x03e0 000003db: JUMPI 000003dc: PUSH1 0x00 000003de: DUP1 000003df: REVERT 000003e0: JUMPDEST 000003e1: PUSH2 0x0229 000003e4: PUSH1 0x01 000003e6: PUSH1 0xa0 000003e8: PUSH1 0x02 000003ea: EXP 000003eb: SUB 000003ec: PUSH1 0x04 000003ee: CALLDATALOAD 000003ef: AND 000003f0: PUSH1 0x24 000003f2: CALLDATALOAD 000003f3: PUSH2 0x108e 000003f6: JUMP 000003f7: JUMPDEST 000003f8: CALLVALUE 000003f9: ISZERO 000003fa: PUSH2 0x0402 000003fd: JUMPI 000003fe: PUSH1 0x00 00000400: DUP1 00000401: REVERT 00000402: JUMPDEST 00000403: PUSH2 0x0229 00000406: PUSH2 0x1119 00000409: JUMP 0000040a: JUMPDEST 0000040b: CALLVALUE 0000040c: ISZERO 0000040d: PUSH2 0x0415 00000410: JUMPI 00000411: PUSH1 0x00 00000413: DUP1 00000414: REVERT 00000415: JUMPDEST 00000416: PUSH2 0x0229 00000419: PUSH1 0x01 0000041b: PUSH1 0xa0 0000041d: PUSH1 0x02 0000041f: EXP 00000420: SUB 00000421: PUSH1 0x04 00000423: CALLDATALOAD 00000424: DUP2 00000425: AND 00000426: SWAP1 00000427: PUSH1 0x24 00000429: CALLDATALOAD 0000042a: SWAP1 0000042b: PUSH1 0x44 0000042d: CALLDATALOAD 0000042e: DUP2 0000042f: AND 00000430: SWAP1 00000431: PUSH1 0x64 00000433: CALLDATALOAD 00000434: SWAP1 00000435: PUSH1 0x84 00000437: CALLDATALOAD 00000438: SWAP1 00000439: PUSH1 0xa4 0000043b: CALLDATALOAD 0000043c: SWAP1 0000043d: PUSH1 0xc4 0000043f: CALLDATALOAD 00000440: AND 00000441: PUSH2 0x111f 00000444: JUMP 00000445: JUMPDEST 00000446: CALLVALUE 00000447: ISZERO 00000448: PUSH2 0x0450 0000044b: JUMPI 0000044c: PUSH1 0x00 0000044e: DUP1 0000044f: REVERT 00000450: JUMPDEST 00000451: PUSH2 0x049d 00000454: PUSH1 0x01 00000456: PUSH1 0xa0 00000458: PUSH1 0x02 0000045a: EXP 0000045b: SUB 0000045c: PUSH1 0x04 0000045e: CALLDATALOAD 0000045f: DUP2 00000460: AND 00000461: SWAP1 00000462: PUSH1 0x24 00000464: CALLDATALOAD 00000465: SWAP1 00000466: PUSH1 0x44 00000468: CALLDATALOAD 00000469: DUP2 0000046a: AND 0000046b: SWAP1 0000046c: PUSH1 0x64 0000046e: CALLDATALOAD 0000046f: SWAP1 00000470: PUSH1 0x84 00000472: CALLDATALOAD 00000473: SWAP1 00000474: PUSH1 0xa4 00000476: CALLDATALOAD 00000477: SWAP1 00000478: PUSH1 0xc4 0000047a: CALLDATALOAD 0000047b: DUP2 0000047c: AND 0000047d: SWAP1 0000047e: PUSH1 0xff 00000480: PUSH1 0xe4 00000482: CALLDATALOAD 00000483: AND 00000484: SWAP1 00000485: PUSH2 0x0104 00000488: CALLDATALOAD 00000489: SWAP1 0000048a: PUSH2 0x0124 0000048d: CALLDATALOAD 0000048e: SWAP1 0000048f: PUSH2 0x0144 00000492: CALLDATALOAD 00000493: SWAP1 00000494: PUSH2 0x0164 00000497: CALLDATALOAD 00000498: AND 00000499: PUSH2 0x1198 0000049c: JUMP 0000049d: JUMPDEST 0000049e: PUSH1 0x40 000004a0: MLOAD 000004a1: PUSH1 0xff 000004a3: SWAP1 000004a4: SWAP2 000004a5: AND 000004a6: DUP2 000004a7: MSTORE 000004a8: PUSH1 0x20 000004aa: ADD 000004ab: PUSH1 0x40 000004ad: MLOAD 000004ae: DUP1 000004af: SWAP2 000004b0: SUB 000004b1: SWAP1 000004b2: RETURN 000004b3: JUMPDEST 000004b4: PUSH2 0x01ad 000004b7: PUSH2 0x124a 000004ba: JUMP 000004bb: JUMPDEST 000004bc: CALLVALUE 000004bd: ISZERO 000004be: PUSH2 0x04c6 000004c1: JUMPI 000004c2: PUSH1 0x00 000004c4: DUP1 000004c5: REVERT 000004c6: JUMPDEST 000004c7: PUSH2 0x0312 000004ca: PUSH2 0x1305 000004cd: JUMP 000004ce: JUMPDEST 000004cf: CALLVALUE 000004d0: ISZERO 000004d1: PUSH2 0x04d9 000004d4: JUMPI 000004d5: PUSH1 0x00 000004d7: DUP1 000004d8: REVERT 000004d9: JUMPDEST 000004da: PUSH2 0x04ed 000004dd: PUSH1 0x01 000004df: PUSH1 0xa0 000004e1: PUSH1 0x02 000004e3: EXP 000004e4: SUB 000004e5: PUSH1 0x04 000004e7: CALLDATALOAD 000004e8: AND 000004e9: PUSH2 0x1314 000004ec: JUMP 000004ed: JUMPDEST 000004ee: PUSH1 0x40 000004f0: MLOAD 000004f1: SWAP2 000004f2: DUP3 000004f3: MSTORE 000004f4: PUSH1 0x20 000004f6: DUP3 000004f7: ADD 000004f8: MSTORE 000004f9: PUSH1 0x40 000004fb: SWAP1 000004fc: DUP2 000004fd: ADD 000004fe: SWAP1 000004ff: MLOAD 00000500: DUP1 00000501: SWAP2 00000502: SUB 00000503: SWAP1 00000504: RETURN 00000505: JUMPDEST 00000506: CALLVALUE 00000507: ISZERO 00000508: PUSH2 0x0510 0000050b: JUMPI 0000050c: PUSH1 0x00 0000050e: DUP1 0000050f: REVERT 00000510: JUMPDEST 00000511: PUSH2 0x01ad 00000514: PUSH1 0x01 00000516: PUSH1 0xa0 00000518: PUSH1 0x02 0000051a: EXP 0000051b: SUB 0000051c: PUSH1 0x04 0000051e: CALLDATALOAD 0000051f: AND 00000520: PUSH2 0x13ae 00000523: JUMP 00000524: JUMPDEST 00000525: CALLVALUE 00000526: ISZERO 00000527: PUSH2 0x052f 0000052a: JUMPI 0000052b: PUSH1 0x00 0000052d: DUP1 0000052e: REVERT 0000052f: JUMPDEST 00000530: PUSH2 0x0229 00000533: PUSH1 0x04 00000535: CALLDATALOAD 00000536: PUSH2 0x1449 00000539: JUMP 0000053a: JUMPDEST 0000053b: CALLVALUE 0000053c: ISZERO 0000053d: PUSH2 0x0545 00000540: JUMPI 00000541: PUSH1 0x00 00000543: DUP1 00000544: REVERT 00000545: JUMPDEST 00000546: PUSH2 0x0229 00000549: PUSH1 0x01 0000054b: PUSH1 0xa0 0000054d: PUSH1 0x02 0000054f: EXP 00000550: SUB 00000551: PUSH1 0x04 00000553: CALLDATALOAD 00000554: DUP2 00000555: AND 00000556: SWAP1 00000557: PUSH1 0x24 00000559: CALLDATALOAD 0000055a: AND 0000055b: PUSH2 0x145b 0000055e: JUMP 0000055f: JUMPDEST 00000560: CALLVALUE 00000561: ISZERO 00000562: PUSH2 0x056a 00000565: JUMPI 00000566: PUSH1 0x00 00000568: DUP1 00000569: REVERT 0000056a: JUMPDEST 0000056b: PUSH2 0x0229 0000056e: PUSH1 0x01 00000570: PUSH1 0xa0 00000572: PUSH1 0x02 00000574: EXP 00000575: SUB 00000576: PUSH1 0x04 00000578: CALLDATALOAD 00000579: DUP2 0000057a: AND 0000057b: SWAP1 0000057c: PUSH1 0x24 0000057e: CALLDATALOAD 0000057f: SWAP1 00000580: PUSH1 0x44 00000582: CALLDATALOAD 00000583: DUP2 00000584: AND 00000585: SWAP1 00000586: PUSH1 0x64 00000588: CALLDATALOAD 00000589: SWAP1 0000058a: PUSH1 0x84 0000058c: CALLDATALOAD 0000058d: SWAP1 0000058e: PUSH1 0xa4 00000590: CALLDATALOAD 00000591: SWAP1 00000592: PUSH1 0xc4 00000594: CALLDATALOAD 00000595: AND 00000596: PUSH1 0xff 00000598: PUSH1 0xe4 0000059a: CALLDATALOAD 0000059b: AND 0000059c: PUSH2 0x0104 0000059f: CALLDATALOAD 000005a0: PUSH2 0x0124 000005a3: CALLDATALOAD 000005a4: PUSH2 0x1486 000005a7: JUMP 000005a8: JUMPDEST 000005a9: PUSH1 0x00 000005ab: DUP1 000005ac: PUSH1 0x00 000005ae: GAS 000005af: SWAP3 000005b0: POP 000005b1: PUSH2 0x05bf 000005b4: DUP15 000005b5: DUP15 000005b6: DUP15 000005b7: DUP15 000005b8: DUP15 000005b9: DUP15 000005ba: DUP15 000005bb: PUSH2 0x111f 000005be: JUMP 000005bf: JUMPDEST 000005c0: SWAP2 000005c1: POP 000005c2: DUP8 000005c3: PUSH1 0x01 000005c5: PUSH1 0xa0 000005c7: PUSH1 0x02 000005c9: EXP 000005ca: SUB 000005cb: AND 000005cc: PUSH1 0x01 000005ce: DUP4 000005cf: PUSH1 0x40 000005d1: MLOAD 000005d2: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 000005f3: DUP2 000005f4: MSTORE 000005f5: PUSH1 0x1c 000005f7: DUP2 000005f8: ADD 000005f9: SWAP2 000005fa: SWAP1 000005fb: SWAP2 000005fc: MSTORE 000005fd: PUSH1 0x3c 000005ff: ADD 00000600: PUSH1 0x40 00000602: MLOAD 00000603: DUP1 00000604: SWAP2 00000605: SUB 00000606: SWAP1 00000607: KECCAK256 00000608: DUP10 00000609: DUP10 0000060a: DUP10 0000060b: PUSH1 0x40 0000060d: MLOAD 0000060e: PUSH1 0x00 00000610: DUP2 00000611: MSTORE 00000612: PUSH1 0x20 00000614: ADD 00000615: PUSH1 0x40 00000617: MSTORE 00000618: PUSH1 0x00 0000061a: PUSH1 0x40 0000061c: MLOAD 0000061d: PUSH1 0x20 0000061f: ADD 00000620: MSTORE 00000621: PUSH1 0x40 00000623: MLOAD 00000624: SWAP4 00000625: DUP5 00000626: MSTORE 00000627: PUSH1 0xff 00000629: SWAP1 0000062a: SWAP3 0000062b: AND 0000062c: PUSH1 0x20 0000062e: DUP1 0000062f: DUP6 00000630: ADD 00000631: SWAP2 00000632: SWAP1 00000633: SWAP2 00000634: MSTORE 00000635: PUSH1 0x40 00000637: DUP1 00000638: DUP6 00000639: ADD 0000063a: SWAP3 0000063b: SWAP1 0000063c: SWAP3 0000063d: MSTORE 0000063e: PUSH1 0x60 00000640: DUP5 00000641: ADD 00000642: SWAP3 00000643: SWAP1 00000644: SWAP3 00000645: MSTORE 00000646: PUSH1 0x80 00000648: SWAP1 00000649: SWAP3 0000064a: ADD 0000064b: SWAP2 0000064c: MLOAD 0000064d: PUSH1 0x20 0000064f: DUP2 00000650: SUB 00000651: SWAP1 00000652: DUP1 00000653: DUP5 00000654: SUB 00000655: SWAP1 00000656: PUSH1 0x00 00000658: DUP7 00000659: PUSH2 0x646e 0000065c: GAS 0000065d: SUB 0000065e: CALL 0000065f: ISZERO 00000660: ISZERO 00000661: PUSH2 0x0669 00000664: JUMPI 00000665: PUSH1 0x00 00000667: DUP1 00000668: REVERT 00000669: JUMPDEST 0000066a: POP 0000066b: POP 0000066c: PUSH1 0x20 0000066e: PUSH1 0x40 00000670: MLOAD 00000671: SUB 00000672: MLOAD 00000673: PUSH1 0x01 00000675: PUSH1 0xa0 00000677: PUSH1 0x02 00000679: EXP 0000067a: SUB 0000067b: AND 0000067c: EQ 0000067d: ISZERO 0000067e: DUP1 0000067f: PUSH2 0x0696 00000682: JUMPI 00000683: POP 00000684: PUSH1 0x00 00000686: DUP3 00000687: DUP2 00000688: MSTORE 00000689: PUSH1 0x07 0000068b: PUSH1 0x20 0000068d: MSTORE 0000068e: PUSH1 0x40 00000690: SWAP1 00000691: KECCAK256 00000692: SLOAD 00000693: PUSH1 0xff 00000695: AND 00000696: JUMPDEST 00000697: DUP1 00000698: PUSH2 0x06a0 0000069b: JUMPI 0000069c: POP 0000069d: DUP10 0000069e: NUMBER 0000069f: GT 000006a0: JUMPDEST 000006a1: DUP1 000006a2: PUSH2 0x06c9 000006a5: JUMPI 000006a6: POP 000006a7: PUSH1 0x00 000006a9: DUP3 000006aa: DUP2 000006ab: MSTORE 000006ac: PUSH1 0x08 000006ae: PUSH1 0x20 000006b0: MSTORE 000006b1: PUSH1 0x40 000006b3: SWAP1 000006b4: KECCAK256 000006b5: SLOAD 000006b6: DUP14 000006b7: SWAP1 000006b8: PUSH2 0x06c7 000006bb: SWAP1 000006bc: DUP7 000006bd: PUSH4 0xffffffff 000006c2: PUSH2 0x1637 000006c5: AND 000006c6: JUMP 000006c7: JUMPDEST 000006c8: GT 000006c9: JUMPDEST 000006ca: ISZERO 000006cb: PUSH2 0x06d3 000006ce: JUMPI 000006cf: PUSH1 0x00 000006d1: DUP1 000006d2: REVERT 000006d3: JUMPDEST 000006d4: PUSH2 0x06e1 000006d7: DUP15 000006d8: DUP15 000006d9: DUP15 000006da: DUP15 000006db: DUP13 000006dc: DUP10 000006dd: PUSH2 0x1651 000006e0: JUMP 000006e1: JUMPDEST 000006e2: PUSH1 0x00 000006e4: DUP3 000006e5: DUP2 000006e6: MSTORE 000006e7: PUSH1 0x08 000006e9: PUSH1 0x20 000006eb: MSTORE 000006ec: PUSH1 0x40 000006ee: SWAP1 000006ef: KECCAK256 000006f0: SLOAD 000006f1: PUSH2 0x0700 000006f4: SWAP1 000006f5: DUP6 000006f6: PUSH4 0xffffffff 000006fb: PUSH2 0x1637 000006fe: AND 000006ff: JUMP 00000700: JUMPDEST 00000701: PUSH1 0x00 00000703: DUP4 00000704: DUP2 00000705: MSTORE 00000706: PUSH1 0x08 00000708: PUSH1 0x20 0000070a: MSTORE 0000070b: PUSH1 0x40 0000070d: SWAP1 0000070e: KECCAK256 0000070f: SSTORE 00000710: DUP13 00000711: PUSH2 0x0720 00000714: DUP13 00000715: DUP7 00000716: PUSH4 0xffffffff 0000071b: PUSH2 0x1abb 0000071e: AND 0000071f: JUMP 00000720: JUMPDEST 00000721: DUP2 00000722: ISZERO 00000723: ISZERO 00000724: PUSH2 0x0729 00000727: JUMPI 00000728: INVALID 00000729: JUMPDEST 0000072a: PUSH1 0x01 0000072c: SLOAD 0000072d: SWAP2 0000072e: SWAP1 0000072f: DIV 00000730: SWAP2 00000731: POP 00000732: PUSH1 0x01 00000734: PUSH1 0xa0 00000736: PUSH1 0x02 00000738: EXP 00000739: SUB 0000073a: AND 0000073b: ISZERO 0000073c: PUSH2 0x07e4 0000073f: JUMPI 00000740: PUSH1 0x01 00000742: SLOAD 00000743: PUSH1 0x01 00000745: PUSH1 0xa0 00000747: PUSH1 0x02 00000749: EXP 0000074a: SUB 0000074b: AND 0000074c: PUSH4 0xee0c3e02 00000751: DUP16 00000752: DUP7 00000753: DUP16 00000754: DUP6 00000755: DUP14 00000756: CALLER 00000757: DUP10 00000758: DUP12 00000759: PUSH1 0x40 0000075b: MLOAD 0000075c: PUSH1 0xe0 0000075e: PUSH1 0x02 00000760: EXP 00000761: PUSH4 0xffffffff 00000766: DUP12 00000767: AND 00000768: MUL 00000769: DUP2 0000076a: MSTORE 0000076b: PUSH1 0x01 0000076d: PUSH1 0xa0 0000076f: PUSH1 0x02 00000771: EXP 00000772: SUB 00000773: SWAP9 00000774: DUP10 00000775: AND 00000776: PUSH1 0x04 00000778: DUP3 00000779: ADD 0000077a: MSTORE 0000077b: PUSH1 0x24 0000077d: DUP2 0000077e: ADD 0000077f: SWAP8 00000780: SWAP1 00000781: SWAP8 00000782: MSTORE 00000783: SWAP5 00000784: DUP8 00000785: AND 00000786: PUSH1 0x44 00000788: DUP8 00000789: ADD 0000078a: MSTORE 0000078b: PUSH1 0x64 0000078d: DUP7 0000078e: ADD 0000078f: SWAP4 00000790: SWAP1 00000791: SWAP4 00000792: MSTORE 00000793: SWAP1 00000794: DUP6 00000795: AND 00000796: PUSH1 0x84 00000798: DUP6 00000799: ADD 0000079a: MSTORE 0000079b: SWAP1 0000079c: SWAP4 0000079d: AND 0000079e: PUSH1 0xa4 000007a0: DUP4 000007a1: ADD 000007a2: MSTORE 000007a3: PUSH1 0xc4 000007a5: DUP3 000007a6: ADD 000007a7: SWAP3 000007a8: SWAP1 000007a9: SWAP3 000007aa: MSTORE 000007ab: PUSH1 0xe4 000007ad: DUP2 000007ae: ADD 000007af: SWAP2 000007b0: SWAP1 000007b1: SWAP2 000007b2: MSTORE 000007b3: PUSH2 0x0104 000007b6: ADD 000007b7: PUSH1 0x00 000007b9: PUSH1 0x40 000007bb: MLOAD 000007bc: DUP1 000007bd: DUP4 000007be: SUB 000007bf: DUP2 000007c0: PUSH1 0x00 000007c2: DUP8 000007c3: DUP1 000007c4: EXTCODESIZE 000007c5: ISZERO 000007c6: ISZERO 000007c7: PUSH2 0x07cf 000007ca: JUMPI 000007cb: PUSH1 0x00 000007cd: DUP1 000007ce: REVERT 000007cf: JUMPDEST 000007d0: PUSH2 0x02c6 000007d3: GAS 000007d4: SUB 000007d5: CALL 000007d6: ISZERO 000007d7: ISZERO 000007d8: PUSH2 0x07e0 000007db: JUMPI 000007dc: PUSH1 0x00 000007de: DUP1 000007df: REVERT 000007e0: JUMPDEST 000007e1: POP 000007e2: POP 000007e3: POP 000007e4: JUMPDEST 000007e5: PUSH32 0x68381874bf7a1a19bfeecb18abbaa22f0fc7892cfec46e7dd4ea9b3688419d18 00000806: DUP15 00000807: DUP6 00000808: DUP15 00000809: DUP5 0000080a: DUP13 0000080b: CALLER 0000080c: DUP9 0000080d: PUSH1 0x40 0000080f: MLOAD 00000810: PUSH1 0x01 00000812: PUSH1 0xa0 00000814: PUSH1 0x02 00000816: EXP 00000817: SUB 00000818: SWAP8 00000819: DUP9 0000081a: AND 0000081b: DUP2 0000081c: MSTORE 0000081d: PUSH1 0x20 0000081f: DUP2 00000820: ADD 00000821: SWAP7 00000822: SWAP1 00000823: SWAP7 00000824: MSTORE 00000825: SWAP4 00000826: DUP7 00000827: AND 00000828: PUSH1 0x40 0000082a: DUP1 0000082b: DUP8 0000082c: ADD 0000082d: SWAP2 0000082e: SWAP1 0000082f: SWAP2 00000830: MSTORE 00000831: PUSH1 0x60 00000833: DUP7 00000834: ADD 00000835: SWAP4 00000836: SWAP1 00000837: SWAP4 00000838: MSTORE 00000839: SWAP1 0000083a: DUP6 0000083b: AND 0000083c: PUSH1 0x80 0000083e: DUP6 0000083f: ADD 00000840: MSTORE 00000841: SWAP1 00000842: SWAP4 00000843: AND 00000844: PUSH1 0xa0 00000846: DUP4 00000847: ADD 00000848: MSTORE 00000849: PUSH1 0xc0 0000084b: DUP3 0000084c: ADD 0000084d: MSTORE 0000084e: PUSH1 0xe0 00000850: ADD 00000851: SWAP1 00000852: MLOAD 00000853: DUP1 00000854: SWAP2 00000855: SUB 00000856: SWAP1 00000857: LOG1 00000858: POP 00000859: POP 0000085a: POP 0000085b: POP 0000085c: POP 0000085d: POP 0000085e: POP 0000085f: POP 00000860: POP 00000861: POP 00000862: POP 00000863: POP 00000864: POP 00000865: POP 00000866: JUMP 00000867: JUMPDEST 00000868: PUSH1 0x00 0000086a: PUSH2 0x0878 0000086d: DUP11 0000086e: DUP11 0000086f: DUP11 00000870: DUP11 00000871: DUP11 00000872: DUP11 00000873: CALLER 00000874: PUSH2 0x111f 00000877: JUMP 00000878: JUMPDEST 00000879: SWAP1 0000087a: POP 0000087b: CALLER 0000087c: PUSH1 0x01 0000087e: PUSH1 0xa0 00000880: PUSH1 0x02 00000882: EXP 00000883: SUB 00000884: AND 00000885: PUSH1 0x01 00000887: DUP3 00000888: PUSH1 0x40 0000088a: MLOAD 0000088b: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 000008ac: DUP2 000008ad: MSTORE 000008ae: PUSH1 0x1c 000008b0: DUP2 000008b1: ADD 000008b2: SWAP2 000008b3: SWAP1 000008b4: SWAP2 000008b5: MSTORE 000008b6: PUSH1 0x3c 000008b8: ADD 000008b9: PUSH1 0x40 000008bb: MLOAD 000008bc: DUP1 000008bd: SWAP2 000008be: SUB 000008bf: SWAP1 000008c0: KECCAK256 000008c1: DUP7 000008c2: DUP7 000008c3: DUP7 000008c4: PUSH1 0x40 000008c6: MLOAD 000008c7: PUSH1 0x00 000008c9: DUP2 000008ca: MSTORE 000008cb: PUSH1 0x20 000008cd: ADD 000008ce: PUSH1 0x40 000008d0: MSTORE 000008d1: PUSH1 0x00 000008d3: PUSH1 0x40 000008d5: MLOAD 000008d6: PUSH1 0x20 000008d8: ADD 000008d9: MSTORE 000008da: PUSH1 0x40 000008dc: MLOAD 000008dd: SWAP4 000008de: DUP5 000008df: MSTORE 000008e0: PUSH1 0xff 000008e2: SWAP1 000008e3: SWAP3 000008e4: AND 000008e5: PUSH1 0x20 000008e7: DUP1 000008e8: DUP6 000008e9: ADD 000008ea: SWAP2 000008eb: SWAP1 000008ec: SWAP2 000008ed: MSTORE 000008ee: PUSH1 0x40 000008f0: DUP1 000008f1: DUP6 000008f2: ADD 000008f3: SWAP3 000008f4: SWAP1 000008f5: SWAP3 000008f6: MSTORE 000008f7: PUSH1 0x60 000008f9: DUP5 000008fa: ADD 000008fb: SWAP3 000008fc: SWAP1 000008fd: SWAP3 000008fe: MSTORE 000008ff: PUSH1 0x80 00000901: SWAP1 00000902: SWAP3 00000903: ADD 00000904: SWAP2 00000905: MLOAD 00000906: PUSH1 0x20 00000908: DUP2 00000909: SUB 0000090a: SWAP1 0000090b: DUP1 0000090c: DUP5 0000090d: SUB 0000090e: SWAP1 0000090f: PUSH1 0x00 00000911: DUP7 00000912: PUSH2 0x646e 00000915: GAS 00000916: SUB 00000917: CALL 00000918: ISZERO 00000919: ISZERO 0000091a: PUSH2 0x0922 0000091d: JUMPI 0000091e: PUSH1 0x00 00000920: DUP1 00000921: REVERT 00000922: JUMPDEST 00000923: POP 00000924: POP 00000925: PUSH1 0x20 00000927: PUSH1 0x40 00000929: MLOAD 0000092a: SUB 0000092b: MLOAD 0000092c: PUSH1 0x01 0000092e: PUSH1 0xa0 00000930: PUSH1 0x02 00000932: EXP 00000933: SUB 00000934: AND 00000935: EQ 00000936: PUSH2 0x093e 00000939: JUMPI 0000093a: PUSH1 0x00 0000093c: DUP1 0000093d: REVERT 0000093e: JUMPDEST 0000093f: PUSH1 0x00 00000941: DUP2 00000942: DUP2 00000943: MSTORE 00000944: PUSH1 0x07 00000946: PUSH1 0x20 00000948: SWAP1 00000949: DUP2 0000094a: MSTORE 0000094b: PUSH1 0x40 0000094d: DUP1 0000094e: DUP4 0000094f: KECCAK256 00000950: DUP1 00000951: SLOAD 00000952: PUSH1 0xff 00000954: NOT 00000955: AND 00000956: PUSH1 0x01 00000958: OR 00000959: SWAP1 0000095a: SSTORE 0000095b: PUSH1 0x08 0000095d: SWAP1 0000095e: SWAP2 0000095f: MSTORE 00000960: SWAP1 00000961: DUP2 00000962: SWAP1 00000963: KECCAK256 00000964: SLOAD 00000965: PUSH32 0x499af4d13c30121ba8152d6f34a69ea73c4baa470e888ca031257a58b9216c60 00000986: SWAP2 00000987: DUP13 00000988: SWAP2 00000989: DUP13 0000098a: SWAP2 0000098b: DUP13 0000098c: SWAP2 0000098d: DUP13 0000098e: SWAP2 0000098f: DUP13 00000990: SWAP2 00000991: DUP13 00000992: SWAP2 00000993: CALLER 00000994: SWAP2 00000995: DUP14 00000996: SWAP2 00000997: DUP14 00000998: SWAP2 00000999: DUP14 0000099a: SWAP2 0000099b: DUP14 0000099c: SWAP2 0000099d: SWAP1 0000099e: MLOAD 0000099f: PUSH1 0x01 000009a1: PUSH1 0xa0 000009a3: PUSH1 0x02 000009a5: EXP 000009a6: SUB 000009a7: SWAP13 000009a8: DUP14 000009a9: AND 000009aa: DUP2 000009ab: MSTORE 000009ac: PUSH1 0x20 000009ae: DUP2 000009af: ADD 000009b0: SWAP12 000009b1: SWAP1 000009b2: SWAP12 000009b3: MSTORE 000009b4: SWAP9 000009b5: DUP12 000009b6: AND 000009b7: PUSH1 0x40 000009b9: DUP1 000009ba: DUP13 000009bb: ADD 000009bc: SWAP2 000009bd: SWAP1 000009be: SWAP2 000009bf: MSTORE 000009c0: PUSH1 0x60 000009c2: DUP12 000009c3: ADD 000009c4: SWAP9 000009c5: SWAP1 000009c6: SWAP9 000009c7: MSTORE 000009c8: PUSH1 0x80 000009ca: DUP11 000009cb: ADD 000009cc: SWAP7 000009cd: SWAP1 000009ce: SWAP7 000009cf: MSTORE 000009d0: PUSH1 0xa0 000009d2: DUP10 000009d3: ADD 000009d4: SWAP5 000009d5: SWAP1 000009d6: SWAP5 000009d7: MSTORE 000009d8: SWAP2 000009d9: SWAP1 000009da: SWAP8 000009db: AND 000009dc: PUSH1 0xc0 000009de: DUP8 000009df: ADD 000009e0: MSTORE 000009e1: PUSH1 0xff 000009e3: SWAP1 000009e4: SWAP7 000009e5: AND 000009e6: PUSH1 0xe0 000009e8: DUP7 000009e9: ADD 000009ea: MSTORE 000009eb: PUSH2 0x0100 000009ee: DUP6 000009ef: ADD 000009f0: SWAP6 000009f1: SWAP1 000009f2: SWAP6 000009f3: MSTORE 000009f4: PUSH2 0x0120 000009f7: DUP5 000009f8: ADD 000009f9: SWAP5 000009fa: SWAP1 000009fb: SWAP5 000009fc: MSTORE 000009fd: PUSH2 0x0140 00000a00: DUP4 00000a01: ADD 00000a02: SWAP4 00000a03: SWAP1 00000a04: SWAP4 00000a05: MSTORE 00000a06: PUSH2 0x0160 00000a09: DUP3 00000a0a: ADD 00000a0b: MSTORE 00000a0c: PUSH2 0x0180 00000a0f: ADD 00000a10: SWAP1 00000a11: MLOAD 00000a12: DUP1 00000a13: SWAP2 00000a14: SUB 00000a15: SWAP1 00000a16: LOG1 00000a17: POP 00000a18: POP 00000a19: POP 00000a1a: POP 00000a1b: POP 00000a1c: POP 00000a1d: POP 00000a1e: POP 00000a1f: POP 00000a20: POP 00000a21: JUMP 00000a22: JUMPDEST 00000a23: PUSH1 0x00 00000a25: DUP1 00000a26: PUSH2 0x0a34 00000a29: DUP10 00000a2a: DUP10 00000a2b: DUP10 00000a2c: DUP10 00000a2d: DUP10 00000a2e: DUP10 00000a2f: DUP10 00000a30: PUSH2 0x111f 00000a33: JUMP 00000a34: JUMPDEST 00000a35: PUSH1 0x00 00000a37: SWAP1 00000a38: DUP2 00000a39: MSTORE 00000a3a: PUSH1 0x08 00000a3c: PUSH1 0x20 00000a3e: MSTORE 00000a3f: PUSH1 0x40 00000a41: SWAP1 00000a42: KECCAK256 00000a43: SLOAD 00000a44: SWAP10 00000a45: SWAP9 00000a46: POP 00000a47: POP 00000a48: POP 00000a49: POP 00000a4a: POP 00000a4b: POP 00000a4c: POP 00000a4d: POP 00000a4e: POP 00000a4f: JUMP 00000a50: JUMPDEST 00000a51: CALLER 00000a52: PUSH1 0x01 00000a54: PUSH1 0xa0 00000a56: PUSH1 0x02 00000a58: EXP 00000a59: SUB 00000a5a: AND 00000a5b: PUSH1 0x00 00000a5d: SWAP1 00000a5e: DUP2 00000a5f: MSTORE 00000a60: PUSH1 0x00 00000a62: DUP1 00000a63: MLOAD 00000a64: PUSH1 0x20 00000a66: PUSH2 0x1b1f 00000a69: DUP4 00000a6a: CODECOPY 00000a6b: DUP2 00000a6c: MLOAD 00000a6d: SWAP2 00000a6e: MSTORE 00000a6f: PUSH1 0x20 00000a71: MSTORE 00000a72: PUSH1 0x40 00000a74: SWAP1 00000a75: KECCAK256 00000a76: SLOAD 00000a77: DUP2 00000a78: SWAP1 00000a79: LT 00000a7a: ISZERO 00000a7b: PUSH2 0x0a83 00000a7e: JUMPI 00000a7f: PUSH1 0x00 00000a81: DUP1 00000a82: REVERT 00000a83: JUMPDEST 00000a84: CALLER 00000a85: PUSH1 0x01 00000a87: PUSH1 0xa0 00000a89: PUSH1 0x02 00000a8b: EXP 00000a8c: SUB 00000a8d: AND 00000a8e: PUSH1 0x00 00000a90: SWAP1 00000a91: DUP2 00000a92: MSTORE 00000a93: PUSH1 0x00 00000a95: DUP1 00000a96: MLOAD 00000a97: PUSH1 0x20 00000a99: PUSH2 0x1b1f 00000a9c: DUP4 00000a9d: CODECOPY 00000a9e: DUP2 00000a9f: MLOAD 00000aa0: SWAP2 00000aa1: MSTORE 00000aa2: PUSH1 0x20 00000aa4: MSTORE 00000aa5: PUSH1 0x40 00000aa7: SWAP1 00000aa8: KECCAK256 00000aa9: SLOAD 00000aaa: PUSH2 0x0ab9 00000aad: SWAP1 00000aae: DUP3 00000aaf: PUSH4 0xffffffff 00000ab4: PUSH2 0x1ae6 00000ab7: AND 00000ab8: JUMP 00000ab9: JUMPDEST 00000aba: CALLER 00000abb: PUSH1 0x01 00000abd: PUSH1 0xa0 00000abf: PUSH1 0x02 00000ac1: EXP 00000ac2: SUB 00000ac3: AND 00000ac4: PUSH1 0x00 00000ac6: DUP2 00000ac7: DUP2 00000ac8: MSTORE 00000ac9: PUSH1 0x00 00000acb: DUP1 00000acc: MLOAD 00000acd: PUSH1 0x20 00000acf: PUSH2 0x1b1f 00000ad2: DUP4 00000ad3: CODECOPY 00000ad4: DUP2 00000ad5: MLOAD 00000ad6: SWAP2 00000ad7: MSTORE 00000ad8: PUSH1 0x20 00000ada: MSTORE 00000adb: PUSH1 0x40 00000add: SWAP1 00000ade: DUP2 00000adf: SWAP1 00000ae0: KECCAK256 00000ae1: SWAP3 00000ae2: SWAP1 00000ae3: SWAP3 00000ae4: SSTORE 00000ae5: SWAP1 00000ae6: DUP3 00000ae7: ISZERO 00000ae8: PUSH2 0x08fc 00000aeb: MUL 00000aec: SWAP1 00000aed: DUP4 00000aee: SWAP1 00000aef: MLOAD 00000af0: PUSH1 0x00 00000af2: PUSH1 0x40 00000af4: MLOAD 00000af5: DUP1 00000af6: DUP4 00000af7: SUB 00000af8: DUP2 00000af9: DUP6 00000afa: DUP9 00000afb: DUP9 00000afc: CALL 00000afd: SWAP4 00000afe: POP 00000aff: POP 00000b00: POP 00000b01: POP 00000b02: ISZERO 00000b03: ISZERO 00000b04: PUSH2 0x0b0c 00000b07: JUMPI 00000b08: PUSH1 0x00 00000b0a: DUP1 00000b0b: REVERT 00000b0c: JUMPDEST 00000b0d: CALLER 00000b0e: PUSH1 0x01 00000b10: PUSH1 0xa0 00000b12: PUSH1 0x02 00000b14: EXP 00000b15: SUB 00000b16: DUP2 00000b17: AND 00000b18: PUSH1 0x00 00000b1a: SWAP1 00000b1b: DUP2 00000b1c: MSTORE 00000b1d: PUSH1 0x00 00000b1f: DUP1 00000b20: MLOAD 00000b21: PUSH1 0x20 00000b23: PUSH2 0x1b1f 00000b26: DUP4 00000b27: CODECOPY 00000b28: DUP2 00000b29: MLOAD 00000b2a: SWAP2 00000b2b: MSTORE 00000b2c: PUSH1 0x20 00000b2e: MSTORE 00000b2f: PUSH1 0x40 00000b31: DUP1 00000b32: DUP3 00000b33: KECCAK256 00000b34: SLOAD 00000b35: PUSH32 0xf341246adaac6f497bc2a656f546ab9e182111d630394f0c57c710a59a2cb567 00000b56: SWAP4 00000b57: SWAP2 00000b58: DUP6 00000b59: SWAP2 00000b5a: SWAP1 00000b5b: MLOAD 00000b5c: PUSH1 0x01 00000b5e: PUSH1 0xa0 00000b60: PUSH1 0x02 00000b62: EXP 00000b63: SUB 00000b64: SWAP5 00000b65: DUP6 00000b66: AND 00000b67: DUP2 00000b68: MSTORE 00000b69: SWAP3 00000b6a: SWAP1 00000b6b: SWAP4 00000b6c: AND 00000b6d: PUSH1 0x20 00000b6f: DUP4 00000b70: ADD 00000b71: MSTORE 00000b72: PUSH1 0x40 00000b74: DUP1 00000b75: DUP4 00000b76: ADD 00000b77: SWAP2 00000b78: SWAP1 00000b79: SWAP2 00000b7a: MSTORE 00000b7b: PUSH1 0x60 00000b7d: DUP3 00000b7e: ADD 00000b7f: SWAP3 00000b80: SWAP1 00000b81: SWAP3 00000b82: MSTORE 00000b83: PUSH1 0x80 00000b85: ADD 00000b86: SWAP1 00000b87: MLOAD 00000b88: DUP1 00000b89: SWAP2 00000b8a: SUB 00000b8b: SWAP1 00000b8c: LOG1 00000b8d: POP 00000b8e: JUMP 00000b8f: JUMPDEST 00000b90: PUSH1 0x01 00000b92: PUSH1 0xa0 00000b94: PUSH1 0x02 00000b96: EXP 00000b97: SUB 00000b98: DUP3 00000b99: AND 00000b9a: ISZERO 00000b9b: ISZERO 00000b9c: PUSH2 0x0ba4 00000b9f: JUMPI 00000ba0: PUSH1 0x00 00000ba2: DUP1 00000ba3: REVERT 00000ba4: JUMPDEST 00000ba5: DUP2 00000ba6: PUSH1 0x01 00000ba8: PUSH1 0xa0 00000baa: PUSH1 0x02 00000bac: EXP 00000bad: SUB 00000bae: AND 00000baf: PUSH4 0x23b872dd 00000bb4: CALLER 00000bb5: ADDRESS 00000bb6: DUP5 00000bb7: PUSH1 0x00 00000bb9: PUSH1 0x40 00000bbb: MLOAD 00000bbc: PUSH1 0x20 00000bbe: ADD 00000bbf: MSTORE 00000bc0: PUSH1 0x40 00000bc2: MLOAD 00000bc3: PUSH1 0xe0 00000bc5: PUSH1 0x02 00000bc7: EXP 00000bc8: PUSH4 0xffffffff 00000bcd: DUP7 00000bce: AND 00000bcf: MUL 00000bd0: DUP2 00000bd1: MSTORE 00000bd2: PUSH1 0x01 00000bd4: PUSH1 0xa0 00000bd6: PUSH1 0x02 00000bd8: EXP 00000bd9: SUB 00000bda: SWAP4 00000bdb: DUP5 00000bdc: AND 00000bdd: PUSH1 0x04 00000bdf: DUP3 00000be0: ADD 00000be1: MSTORE 00000be2: SWAP2 00000be3: SWAP1 00000be4: SWAP3 00000be5: AND 00000be6: PUSH1 0x24 00000be8: DUP3 00000be9: ADD 00000bea: MSTORE 00000beb: PUSH1 0x44 00000bed: DUP2 00000bee: ADD 00000bef: SWAP2 00000bf0: SWAP1 00000bf1: SWAP2 00000bf2: MSTORE 00000bf3: PUSH1 0x64 00000bf5: ADD 00000bf6: PUSH1 0x20 00000bf8: PUSH1 0x40 00000bfa: MLOAD 00000bfb: DUP1 00000bfc: DUP4 00000bfd: SUB 00000bfe: DUP2 00000bff: PUSH1 0x00 00000c01: DUP8 00000c02: DUP1 00000c03: EXTCODESIZE 00000c04: ISZERO 00000c05: ISZERO 00000c06: PUSH2 0x0c0e 00000c09: JUMPI 00000c0a: PUSH1 0x00 00000c0c: DUP1 00000c0d: REVERT 00000c0e: JUMPDEST 00000c0f: PUSH2 0x02c6 00000c12: GAS 00000c13: SUB 00000c14: CALL 00000c15: ISZERO 00000c16: ISZERO 00000c17: PUSH2 0x0c1f 00000c1a: JUMPI 00000c1b: PUSH1 0x00 00000c1d: DUP1 00000c1e: REVERT 00000c1f: JUMPDEST 00000c20: POP 00000c21: POP 00000c22: POP 00000c23: PUSH1 0x40 00000c25: MLOAD 00000c26: DUP1 00000c27: MLOAD 00000c28: SWAP1 00000c29: POP 00000c2a: ISZERO 00000c2b: ISZERO 00000c2c: PUSH2 0x0c34 00000c2f: JUMPI 00000c30: PUSH1 0x00 00000c32: DUP1 00000c33: REVERT 00000c34: JUMPDEST 00000c35: PUSH1 0x01 00000c37: PUSH1 0xa0 00000c39: PUSH1 0x02 00000c3b: EXP 00000c3c: SUB 00000c3d: DUP1 00000c3e: DUP4 00000c3f: AND 00000c40: PUSH1 0x00 00000c42: SWAP1 00000c43: DUP2 00000c44: MSTORE 00000c45: PUSH1 0x06 00000c47: PUSH1 0x20 00000c49: SWAP1 00000c4a: DUP2 00000c4b: MSTORE 00000c4c: PUSH1 0x40 00000c4e: DUP1 00000c4f: DUP4 00000c50: KECCAK256 00000c51: CALLER 00000c52: SWAP1 00000c53: SWAP5 00000c54: AND 00000c55: DUP4 00000c56: MSTORE 00000c57: SWAP3 00000c58: SWAP1 00000c59: MSTORE 00000c5a: KECCAK256 00000c5b: SLOAD 00000c5c: PUSH2 0x0c6b 00000c5f: SWAP1 00000c60: DUP3 00000c61: PUSH4 0xffffffff 00000c66: PUSH2 0x1637 00000c69: AND 00000c6a: JUMP 00000c6b: JUMPDEST 00000c6c: PUSH1 0x01 00000c6e: PUSH1 0xa0 00000c70: PUSH1 0x02 00000c72: EXP 00000c73: SUB 00000c74: DUP4 00000c75: DUP2 00000c76: AND 00000c77: PUSH1 0x00 00000c79: SWAP1 00000c7a: DUP2 00000c7b: MSTORE 00000c7c: PUSH1 0x06 00000c7e: PUSH1 0x20 00000c80: SWAP1 00000c81: DUP2 00000c82: MSTORE 00000c83: PUSH1 0x40 00000c85: DUP1 00000c86: DUP4 00000c87: KECCAK256 00000c88: CALLER 00000c89: SWAP5 00000c8a: DUP6 00000c8b: AND 00000c8c: DUP5 00000c8d: MSTORE 00000c8e: SWAP1 00000c8f: SWAP2 00000c90: MSTORE 00000c91: SWAP1 00000c92: DUP2 00000c93: SWAP1 00000c94: KECCAK256 00000c95: DUP4 00000c96: SWAP1 00000c97: SSTORE 00000c98: PUSH32 0xdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d7 00000cb9: SWAP3 00000cba: DUP6 00000cbb: SWAP3 00000cbc: SWAP2 00000cbd: DUP6 00000cbe: SWAP2 00000cbf: SWAP1 00000cc0: MLOAD 00000cc1: PUSH1 0x01 00000cc3: PUSH1 0xa0 00000cc5: PUSH1 0x02 00000cc7: EXP 00000cc8: SUB 00000cc9: SWAP5 00000cca: DUP6 00000ccb: AND 00000ccc: DUP2 00000ccd: MSTORE 00000cce: SWAP3 00000ccf: SWAP1 00000cd0: SWAP4 00000cd1: AND 00000cd2: PUSH1 0x20 00000cd4: DUP4 00000cd5: ADD 00000cd6: MSTORE 00000cd7: PUSH1 0x40 00000cd9: DUP1 00000cda: DUP4 00000cdb: ADD 00000cdc: SWAP2 00000cdd: SWAP1 00000cde: SWAP2 00000cdf: MSTORE 00000ce0: PUSH1 0x60 00000ce2: DUP3 00000ce3: ADD 00000ce4: SWAP3 00000ce5: SWAP1 00000ce6: SWAP3 00000ce7: MSTORE 00000ce8: PUSH1 0x80 00000cea: ADD 00000ceb: SWAP1 00000cec: MLOAD 00000ced: DUP1 00000cee: SWAP2 00000cef: SUB 00000cf0: SWAP1 00000cf1: LOG1 00000cf2: POP 00000cf3: POP 00000cf4: JUMP 00000cf5: JUMPDEST 00000cf6: PUSH1 0x00 00000cf8: SLOAD 00000cf9: CALLER 00000cfa: PUSH1 0x01 00000cfc: PUSH1 0xa0 00000cfe: PUSH1 0x02 00000d00: EXP 00000d01: SUB 00000d02: SWAP1 00000d03: DUP2 00000d04: AND 00000d05: SWAP2 00000d06: AND 00000d07: EQ 00000d08: PUSH2 0x0d10 00000d0b: JUMPI 00000d0c: PUSH1 0x00 00000d0e: DUP1 00000d0f: REVERT 00000d10: JUMPDEST 00000d11: PUSH1 0x01 00000d13: SLOAD 00000d14: PUSH1 0x01 00000d16: PUSH1 0xa0 00000d18: PUSH1 0x02 00000d1a: EXP 00000d1b: SUB 00000d1c: DUP3 00000d1d: DUP2 00000d1e: AND 00000d1f: SWAP2 00000d20: AND 00000d21: EQ 00000d22: ISZERO 00000d23: PUSH2 0x0d2b 00000d26: JUMPI 00000d27: PUSH1 0x00 00000d29: DUP1 00000d2a: REVERT 00000d2b: JUMPDEST 00000d2c: PUSH1 0x01 00000d2e: DUP1 00000d2f: SLOAD 00000d30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d45: NOT 00000d46: AND 00000d47: PUSH1 0x01 00000d49: PUSH1 0xa0 00000d4b: PUSH1 0x02 00000d4d: EXP 00000d4e: SUB 00000d4f: SWAP3 00000d50: SWAP1 00000d51: SWAP3 00000d52: AND 00000d53: SWAP2 00000d54: SWAP1 00000d55: SWAP2 00000d56: OR 00000d57: SWAP1 00000d58: SSTORE 00000d59: JUMP 00000d5a: JUMPDEST 00000d5b: PUSH1 0x00 00000d5d: SLOAD 00000d5e: CALLER 00000d5f: PUSH1 0x01 00000d61: PUSH1 0xa0 00000d63: PUSH1 0x02 00000d65: EXP 00000d66: SUB 00000d67: SWAP1 00000d68: DUP2 00000d69: AND 00000d6a: SWAP2 00000d6b: AND 00000d6c: EQ 00000d6d: PUSH2 0x0d75 00000d70: JUMPI 00000d71: PUSH1 0x00 00000d73: DUP1 00000d74: REVERT 00000d75: JUMPDEST 00000d76: PUSH1 0x02 00000d78: SLOAD 00000d79: PUSH1 0x01 00000d7b: PUSH1 0xa0 00000d7d: PUSH1 0x02 00000d7f: EXP 00000d80: SUB 00000d81: DUP3 00000d82: DUP2 00000d83: AND 00000d84: SWAP2 00000d85: AND 00000d86: EQ 00000d87: ISZERO 00000d88: PUSH2 0x0d90 00000d8b: JUMPI 00000d8c: PUSH1 0x00 00000d8e: DUP1 00000d8f: REVERT 00000d90: JUMPDEST 00000d91: PUSH1 0x02 00000d93: DUP1 00000d94: SLOAD 00000d95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000daa: NOT 00000dab: AND 00000dac: PUSH1 0x01 00000dae: PUSH1 0xa0 00000db0: PUSH1 0x02 00000db2: EXP 00000db3: SUB 00000db4: SWAP3 00000db5: SWAP1 00000db6: SWAP3 00000db7: AND 00000db8: SWAP2 00000db9: SWAP1 00000dba: SWAP2 00000dbb: OR 00000dbc: SWAP1 00000dbd: SSTORE 00000dbe: JUMP 00000dbf: JUMPDEST 00000dc0: PUSH1 0x06 00000dc2: PUSH1 0x20 00000dc4: SWAP1 00000dc5: DUP2 00000dc6: MSTORE 00000dc7: PUSH1 0x00 00000dc9: SWAP3 00000dca: DUP4 00000dcb: MSTORE 00000dcc: PUSH1 0x40 00000dce: DUP1 00000dcf: DUP5 00000dd0: KECCAK256 00000dd1: SWAP1 00000dd2: SWAP2 00000dd3: MSTORE 00000dd4: SWAP1 00000dd5: DUP3 00000dd6: MSTORE 00000dd7: SWAP1 00000dd8: KECCAK256 00000dd9: SLOAD 00000dda: DUP2 00000ddb: JUMP 00000ddc: JUMPDEST 00000ddd: PUSH1 0x00 00000ddf: SLOAD 00000de0: CALLER 00000de1: PUSH1 0x01 00000de3: PUSH1 0xa0 00000de5: PUSH1 0x02 00000de7: EXP 00000de8: SUB 00000de9: SWAP1 00000dea: DUP2 00000deb: AND 00000dec: SWAP2 00000ded: AND 00000dee: EQ 00000def: PUSH2 0x0df7 00000df2: JUMPI 00000df3: PUSH1 0x00 00000df5: DUP1 00000df6: REVERT 00000df7: JUMPDEST 00000df8: PUSH1 0x04 00000dfa: SLOAD 00000dfb: DUP2 00000dfc: EQ 00000dfd: ISZERO 00000dfe: PUSH2 0x0e06 00000e01: JUMPI 00000e02: PUSH1 0x00 00000e04: DUP1 00000e05: REVERT 00000e06: JUMPDEST 00000e07: PUSH1 0x04 00000e09: SSTORE 00000e0a: JUMP 00000e0b: JUMPDEST 00000e0c: PUSH1 0x04 00000e0e: SLOAD 00000e0f: DUP2 00000e10: JUMP 00000e11: JUMPDEST 00000e12: PUSH1 0x02 00000e14: SLOAD 00000e15: PUSH1 0x01 00000e17: PUSH1 0xa0 00000e19: PUSH1 0x02 00000e1b: EXP 00000e1c: SUB 00000e1d: AND 00000e1e: DUP2 00000e1f: JUMP 00000e20: JUMPDEST 00000e21: PUSH1 0x03 00000e23: SLOAD 00000e24: PUSH1 0x01 00000e26: PUSH1 0xa0 00000e28: PUSH1 0x02 00000e2a: EXP 00000e2b: SUB 00000e2c: AND 00000e2d: DUP2 00000e2e: JUMP 00000e2f: JUMPDEST 00000e30: PUSH1 0x00 00000e32: SLOAD 00000e33: CALLER 00000e34: PUSH1 0x01 00000e36: PUSH1 0xa0 00000e38: PUSH1 0x02 00000e3a: EXP 00000e3b: SUB 00000e3c: SWAP1 00000e3d: DUP2 00000e3e: AND 00000e3f: SWAP2 00000e40: AND 00000e41: EQ 00000e42: PUSH2 0x0e4a 00000e45: JUMPI 00000e46: PUSH1 0x00 00000e48: DUP1 00000e49: REVERT 00000e4a: JUMPDEST 00000e4b: PUSH1 0x01 00000e4d: PUSH1 0xa0 00000e4f: PUSH1 0x02 00000e51: EXP 00000e52: SUB 00000e53: DUP2 00000e54: AND 00000e55: ISZERO 00000e56: ISZERO 00000e57: PUSH2 0x0e5f 00000e5a: JUMPI 00000e5b: PUSH1 0x00 00000e5d: DUP1 00000e5e: REVERT 00000e5f: JUMPDEST 00000e60: PUSH1 0x03 00000e62: DUP1 00000e63: SLOAD 00000e64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e79: NOT 00000e7a: AND 00000e7b: PUSH1 0x01 00000e7d: PUSH1 0xa0 00000e7f: PUSH1 0x02 00000e81: EXP 00000e82: SUB 00000e83: SWAP3 00000e84: SWAP1 00000e85: SWAP3 00000e86: AND 00000e87: SWAP2 00000e88: SWAP1 00000e89: SWAP2 00000e8a: OR 00000e8b: SWAP1 00000e8c: SSTORE 00000e8d: JUMP 00000e8e: JUMPDEST 00000e8f: PUSH1 0x00 00000e91: SLOAD 00000e92: CALLER 00000e93: PUSH1 0x01 00000e95: PUSH1 0xa0 00000e97: PUSH1 0x02 00000e99: EXP 00000e9a: SUB 00000e9b: SWAP1 00000e9c: DUP2 00000e9d: AND 00000e9e: SWAP2 00000e9f: AND 00000ea0: EQ 00000ea1: PUSH2 0x0ea9 00000ea4: JUMPI 00000ea5: PUSH1 0x00 00000ea7: DUP1 00000ea8: REVERT 00000ea9: JUMPDEST 00000eaa: PUSH1 0x05 00000eac: SLOAD 00000ead: DUP2 00000eae: EQ 00000eaf: ISZERO 00000eb0: PUSH2 0x0eb8 00000eb3: JUMPI 00000eb4: PUSH1 0x00 00000eb6: DUP1 00000eb7: REVERT 00000eb8: JUMPDEST 00000eb9: PUSH1 0x05 00000ebb: SSTORE 00000ebc: JUMP 00000ebd: JUMPDEST 00000ebe: PUSH1 0x00 00000ec0: SLOAD 00000ec1: PUSH1 0x01 00000ec3: PUSH1 0xa0 00000ec5: PUSH1 0x02 00000ec7: EXP 00000ec8: SUB 00000ec9: AND 00000eca: DUP2 00000ecb: JUMP 00000ecc: JUMPDEST 00000ecd: PUSH1 0x07 00000ecf: PUSH1 0x20 00000ed1: MSTORE 00000ed2: PUSH1 0x00 00000ed4: SWAP1 00000ed5: DUP2 00000ed6: MSTORE 00000ed7: PUSH1 0x40 00000ed9: SWAP1 00000eda: KECCAK256 00000edb: SLOAD 00000edc: PUSH1 0xff 00000ede: AND 00000edf: DUP2 00000ee0: JUMP 00000ee1: JUMPDEST 00000ee2: PUSH1 0x01 00000ee4: PUSH1 0xa0 00000ee6: PUSH1 0x02 00000ee8: EXP 00000ee9: SUB 00000eea: DUP3 00000eeb: AND 00000eec: ISZERO 00000eed: ISZERO 00000eee: PUSH2 0x0ef6 00000ef1: JUMPI 00000ef2: PUSH1 0x00 00000ef4: DUP1 00000ef5: REVERT 00000ef6: JUMPDEST 00000ef7: PUSH1 0x01 00000ef9: PUSH1 0xa0 00000efb: PUSH1 0x02 00000efd: EXP 00000efe: SUB 00000eff: DUP1 00000f00: DUP4 00000f01: AND 00000f02: PUSH1 0x00 00000f04: SWAP1 00000f05: DUP2 00000f06: MSTORE 00000f07: PUSH1 0x06 00000f09: PUSH1 0x20 00000f0b: SWAP1 00000f0c: DUP2 00000f0d: MSTORE 00000f0e: PUSH1 0x40 00000f10: DUP1 00000f11: DUP4 00000f12: KECCAK256 00000f13: CALLER 00000f14: SWAP1 00000f15: SWAP5 00000f16: AND 00000f17: DUP4 00000f18: MSTORE 00000f19: SWAP3 00000f1a: SWAP1 00000f1b: MSTORE 00000f1c: KECCAK256 00000f1d: SLOAD 00000f1e: DUP2 00000f1f: SWAP1 00000f20: LT 00000f21: ISZERO 00000f22: PUSH2 0x0f2a 00000f25: JUMPI 00000f26: PUSH1 0x00 00000f28: DUP1 00000f29: REVERT 00000f2a: JUMPDEST 00000f2b: PUSH1 0x01 00000f2d: PUSH1 0xa0 00000f2f: PUSH1 0x02 00000f31: EXP 00000f32: SUB 00000f33: DUP1 00000f34: DUP4 00000f35: AND 00000f36: PUSH1 0x00 00000f38: SWAP1 00000f39: DUP2 00000f3a: MSTORE 00000f3b: PUSH1 0x06 00000f3d: PUSH1 0x20 00000f3f: SWAP1 00000f40: DUP2 00000f41: MSTORE 00000f42: PUSH1 0x40 00000f44: DUP1 00000f45: DUP4 00000f46: KECCAK256 00000f47: CALLER 00000f48: SWAP1 00000f49: SWAP5 00000f4a: AND 00000f4b: DUP4 00000f4c: MSTORE 00000f4d: SWAP3 00000f4e: SWAP1 00000f4f: MSTORE 00000f50: KECCAK256 00000f51: SLOAD 00000f52: PUSH2 0x0f61 00000f55: SWAP1 00000f56: DUP3 00000f57: PUSH4 0xffffffff 00000f5c: PUSH2 0x1ae6 00000f5f: AND 00000f60: JUMP 00000f61: JUMPDEST 00000f62: PUSH1 0x01 00000f64: PUSH1 0xa0 00000f66: PUSH1 0x02 00000f68: EXP 00000f69: SUB 00000f6a: DUP1 00000f6b: DUP5 00000f6c: AND 00000f6d: PUSH1 0x00 00000f6f: DUP2 00000f70: DUP2 00000f71: MSTORE 00000f72: PUSH1 0x06 00000f74: PUSH1 0x20 00000f76: SWAP1 00000f77: DUP2 00000f78: MSTORE 00000f79: PUSH1 0x40 00000f7b: DUP1 00000f7c: DUP4 00000f7d: KECCAK256 00000f7e: CALLER 00000f7f: SWAP6 00000f80: DUP7 00000f81: AND 00000f82: DUP5 00000f83: MSTORE 00000f84: SWAP1 00000f85: SWAP2 00000f86: MSTORE 00000f87: DUP1 00000f88: DUP3 00000f89: KECCAK256 00000f8a: SWAP5 00000f8b: SWAP1 00000f8c: SWAP5 00000f8d: SSTORE 00000f8e: SWAP1 00000f8f: SWAP3 00000f90: PUSH4 0xa9059cbb 00000f95: SWAP3 00000f96: SWAP2 00000f97: DUP6 00000f98: SWAP2 00000f99: MLOAD 00000f9a: PUSH1 0x20 00000f9c: ADD 00000f9d: MSTORE 00000f9e: PUSH1 0x40 00000fa0: MLOAD 00000fa1: PUSH1 0xe0 00000fa3: PUSH1 0x02 00000fa5: EXP 00000fa6: PUSH4 0xffffffff 00000fab: DUP6 00000fac: AND 00000fad: MUL 00000fae: DUP2 00000faf: MSTORE 00000fb0: PUSH1 0x01 00000fb2: PUSH1 0xa0 00000fb4: PUSH1 0x02 00000fb6: EXP 00000fb7: SUB 00000fb8: SWAP1 00000fb9: SWAP3 00000fba: AND 00000fbb: PUSH1 0x04 00000fbd: DUP4 00000fbe: ADD 00000fbf: MSTORE 00000fc0: PUSH1 0x24 00000fc2: DUP3 00000fc3: ADD 00000fc4: MSTORE 00000fc5: PUSH1 0x44 00000fc7: ADD 00000fc8: PUSH1 0x20 00000fca: PUSH1 0x40 00000fcc: MLOAD 00000fcd: DUP1 00000fce: DUP4 00000fcf: SUB 00000fd0: DUP2 00000fd1: PUSH1 0x00 00000fd3: DUP8 00000fd4: DUP1 00000fd5: EXTCODESIZE 00000fd6: ISZERO 00000fd7: ISZERO 00000fd8: PUSH2 0x0fe0 00000fdb: JUMPI 00000fdc: PUSH1 0x00 00000fde: DUP1 00000fdf: REVERT 00000fe0: JUMPDEST 00000fe1: PUSH2 0x02c6 00000fe4: GAS 00000fe5: SUB 00000fe6: CALL 00000fe7: ISZERO 00000fe8: ISZERO 00000fe9: PUSH2 0x0ff1 00000fec: JUMPI 00000fed: PUSH1 0x00 00000fef: DUP1 00000ff0: REVERT 00000ff1: JUMPDEST 00000ff2: POP 00000ff3: POP 00000ff4: POP 00000ff5: PUSH1 0x40 00000ff7: MLOAD 00000ff8: DUP1 00000ff9: MLOAD 00000ffa: SWAP1 00000ffb: POP 00000ffc: ISZERO 00000ffd: ISZERO 00000ffe: PUSH2 0x1006 00001001: JUMPI 00001002: PUSH1 0x00 00001004: DUP1 00001005: REVERT 00001006: JUMPDEST 00001007: PUSH1 0x01 00001009: PUSH1 0xa0 0000100b: PUSH1 0x02 0000100d: EXP 0000100e: SUB 0000100f: DUP1 00001010: DUP4 00001011: AND 00001012: PUSH1 0x00 00001014: SWAP1 00001015: DUP2 00001016: MSTORE 00001017: PUSH1 0x06 00001019: PUSH1 0x20 0000101b: SWAP1 0000101c: DUP2 0000101d: MSTORE 0000101e: PUSH1 0x40 00001020: DUP1 00001021: DUP4 00001022: KECCAK256 00001023: CALLER 00001024: SWAP5 00001025: DUP6 00001026: AND 00001027: DUP5 00001028: MSTORE 00001029: SWAP1 0000102a: SWAP2 0000102b: MSTORE 0000102c: SWAP1 0000102d: DUP2 0000102e: SWAP1 0000102f: KECCAK256 00001030: SLOAD 00001031: PUSH32 0xf341246adaac6f497bc2a656f546ab9e182111d630394f0c57c710a59a2cb567 00001052: SWAP3 00001053: DUP6 00001054: SWAP3 00001055: SWAP1 00001056: SWAP2 00001057: DUP6 00001058: SWAP2 00001059: MLOAD 0000105a: PUSH1 0x01 0000105c: PUSH1 0xa0 0000105e: PUSH1 0x02 00001060: EXP 00001061: SUB 00001062: SWAP5 00001063: DUP6 00001064: AND 00001065: DUP2 00001066: MSTORE 00001067: SWAP3 00001068: SWAP1 00001069: SWAP4 0000106a: AND 0000106b: PUSH1 0x20 0000106d: DUP4 0000106e: ADD 0000106f: MSTORE 00001070: PUSH1 0x40 00001072: DUP1 00001073: DUP4 00001074: ADD 00001075: SWAP2 00001076: SWAP1 00001077: SWAP2 00001078: MSTORE 00001079: PUSH1 0x60 0000107b: DUP3 0000107c: ADD 0000107d: SWAP3 0000107e: SWAP1 0000107f: SWAP3 00001080: MSTORE 00001081: PUSH1 0x80 00001083: ADD 00001084: SWAP1 00001085: MLOAD 00001086: DUP1 00001087: SWAP2 00001088: SUB 00001089: SWAP1 0000108a: LOG1 0000108b: POP 0000108c: POP 0000108d: JUMP 0000108e: JUMPDEST 0000108f: PUSH1 0x00 00001091: DUP1 00001092: PUSH1 0x00 00001094: DUP1 00001095: PUSH8 0x0de0b6b3a7640000 0000109e: PUSH2 0x10b2 000010a1: PUSH1 0x05 000010a3: SLOAD 000010a4: DUP8 000010a5: PUSH2 0x1abb 000010a8: SWAP1 000010a9: SWAP2 000010aa: SWAP1 000010ab: PUSH4 0xffffffff 000010b0: AND 000010b1: JUMP 000010b2: JUMPDEST 000010b3: DUP2 000010b4: ISZERO 000010b5: ISZERO 000010b6: PUSH2 0x10bb 000010b9: JUMPI 000010ba: INVALID 000010bb: JUMPDEST 000010bc: DIV 000010bd: SWAP3 000010be: POP 000010bf: PUSH2 0x10c7 000010c2: DUP7 000010c3: PUSH2 0x1314 000010c6: JUMP 000010c7: JUMPDEST 000010c8: SWAP1 000010c9: SWAP3 000010ca: POP 000010cb: SWAP1 000010cc: POP 000010cd: PUSH1 0x00 000010cf: DUP4 000010d0: GT 000010d1: DUP1 000010d2: ISZERO 000010d3: PUSH2 0x10dc 000010d6: JUMPI 000010d7: POP 000010d8: PUSH1 0x00 000010da: DUP3 000010db: GT 000010dc: JUMPDEST 000010dd: DUP1 000010de: ISZERO 000010df: PUSH2 0x10e9 000010e2: JUMPI 000010e3: POP 000010e4: PUSH1 0x64 000010e6: DUP3 000010e7: GT 000010e8: ISZERO 000010e9: JUMPDEST 000010ea: ISZERO 000010eb: PUSH2 0x110f 000010ee: JUMPI 000010ef: PUSH1 0x64 000010f1: PUSH2 0x1102 000010f4: DUP5 000010f5: DUP5 000010f6: DUP4 000010f7: SUB 000010f8: PUSH4 0xffffffff 000010fd: PUSH2 0x1abb 00001100: AND 00001101: JUMP 00001102: JUMPDEST 00001103: DUP2 00001104: ISZERO 00001105: ISZERO 00001106: PUSH2 0x110b 00001109: JUMPI 0000110a: INVALID 0000110b: JUMPDEST 0000110c: DIV 0000110d: SWAP3 0000110e: POP 0000110f: JUMPDEST 00001110: POP 00001111: SWAP1 00001112: SWAP5 00001113: SWAP4 00001114: POP 00001115: POP 00001116: POP 00001117: POP 00001118: JUMP 00001119: JUMPDEST 0000111a: PUSH1 0x05 0000111c: SLOAD 0000111d: DUP2 0000111e: JUMP 0000111f: JUMPDEST 00001120: PUSH1 0x00 00001122: ADDRESS 00001123: DUP9 00001124: DUP9 00001125: DUP9 00001126: DUP9 00001127: DUP9 00001128: DUP9 00001129: DUP9 0000112a: PUSH1 0x40 0000112c: MLOAD 0000112d: PUSH13 0x01000000000000000000000000 0000113b: PUSH1 0x01 0000113d: PUSH1 0xa0 0000113f: PUSH1 0x02 00001141: EXP 00001142: SUB 00001143: SWAP10 00001144: DUP11 00001145: AND 00001146: DUP2 00001147: MUL 00001148: DUP3 00001149: MSTORE 0000114a: SWAP8 0000114b: DUP10 0000114c: AND 0000114d: DUP9 0000114e: MUL 0000114f: PUSH1 0x14 00001151: DUP3 00001152: ADD 00001153: MSTORE 00001154: PUSH1 0x28 00001156: DUP2 00001157: ADD 00001158: SWAP7 00001159: SWAP1 0000115a: SWAP7 0000115b: MSTORE 0000115c: SWAP4 0000115d: DUP8 0000115e: AND 0000115f: DUP7 00001160: MUL 00001161: PUSH1 0x48 00001163: DUP7 00001164: ADD 00001165: MSTORE 00001166: PUSH1 0x5c 00001168: DUP6 00001169: ADD 0000116a: SWAP3 0000116b: SWAP1 0000116c: SWAP3 0000116d: MSTORE 0000116e: PUSH1 0x7c 00001170: DUP5 00001171: ADD 00001172: MSTORE 00001173: PUSH1 0x9c 00001175: DUP4 00001176: ADD 00001177: MSTORE 00001178: SWAP1 00001179: SWAP3 0000117a: AND 0000117b: MUL 0000117c: PUSH1 0xbc 0000117e: DUP3 0000117f: ADD 00001180: MSTORE 00001181: PUSH1 0xd0 00001183: ADD 00001184: PUSH1 0x40 00001186: MLOAD 00001187: DUP1 00001188: SWAP2 00001189: SUB 0000118a: SWAP1 0000118b: KECCAK256 0000118c: SWAP1 0000118d: POP 0000118e: SWAP8 0000118f: SWAP7 00001190: POP 00001191: POP 00001192: POP 00001193: POP 00001194: POP 00001195: POP 00001196: POP 00001197: JUMP 00001198: JUMPDEST 00001199: PUSH1 0x00 0000119b: DUP1 0000119c: PUSH2 0x11a5 0000119f: DUP4 000011a0: DUP6 000011a1: PUSH2 0x108e 000011a4: JUMP 000011a5: JUMPDEST 000011a6: SWAP1 000011a7: POP 000011a8: PUSH1 0x06 000011aa: PUSH1 0x00 000011ac: DUP16 000011ad: PUSH1 0x01 000011af: PUSH1 0xa0 000011b1: PUSH1 0x02 000011b3: EXP 000011b4: SUB 000011b5: AND 000011b6: PUSH1 0x01 000011b8: PUSH1 0xa0 000011ba: PUSH1 0x02 000011bc: EXP 000011bd: SUB 000011be: AND 000011bf: DUP2 000011c0: MSTORE 000011c1: PUSH1 0x20 000011c3: ADD 000011c4: SWAP1 000011c5: DUP2 000011c6: MSTORE 000011c7: PUSH1 0x20 000011c9: ADD 000011ca: PUSH1 0x00 000011cc: KECCAK256 000011cd: PUSH1 0x00 000011cf: DUP5 000011d0: PUSH1 0x01 000011d2: PUSH1 0xa0 000011d4: PUSH1 0x02 000011d6: EXP 000011d7: SUB 000011d8: AND 000011d9: PUSH1 0x01 000011db: PUSH1 0xa0 000011dd: PUSH1 0x02 000011df: EXP 000011e0: SUB 000011e1: AND 000011e2: DUP2 000011e3: MSTORE 000011e4: PUSH1 0x20 000011e6: ADD 000011e7: SWAP1 000011e8: DUP2 000011e9: MSTORE 000011ea: PUSH1 0x20 000011ec: ADD 000011ed: PUSH1 0x00 000011ef: KECCAK256 000011f0: SLOAD 000011f1: PUSH2 0x1203 000011f4: DUP3 000011f5: DUP7 000011f6: PUSH2 0x1637 000011f9: SWAP1 000011fa: SWAP2 000011fb: SWAP1 000011fc: PUSH4 0xffffffff 00001201: AND 00001202: JUMP 00001203: JUMPDEST 00001204: GT 00001205: ISZERO 00001206: PUSH2 0x1212 00001209: JUMPI 0000120a: PUSH1 0x01 0000120c: SWAP2 0000120d: POP 0000120e: PUSH2 0x1239 00001211: JUMP 00001212: JUMPDEST 00001213: DUP4 00001214: PUSH2 0x1225 00001217: DUP16 00001218: DUP16 00001219: DUP16 0000121a: DUP16 0000121b: DUP16 0000121c: DUP16 0000121d: DUP16 0000121e: DUP16 0000121f: DUP16 00001220: DUP16 00001221: PUSH2 0x1486 00001224: JUMP 00001225: JUMPDEST 00001226: LT 00001227: ISZERO 00001228: PUSH2 0x1234 0000122b: JUMPI 0000122c: PUSH1 0x02 0000122e: SWAP2 0000122f: POP 00001230: PUSH2 0x1239 00001233: JUMP 00001234: JUMPDEST 00001235: PUSH1 0x00 00001237: SWAP2 00001238: POP 00001239: JUMPDEST 0000123a: POP 0000123b: SWAP13 0000123c: SWAP12 0000123d: POP 0000123e: POP 0000123f: POP 00001240: POP 00001241: POP 00001242: POP 00001243: POP 00001244: POP 00001245: POP 00001246: POP 00001247: POP 00001248: POP 00001249: JUMP 0000124a: JUMPDEST 0000124b: CALLER 0000124c: PUSH1 0x01 0000124e: PUSH1 0xa0 00001250: PUSH1 0x02 00001252: EXP 00001253: SUB 00001254: AND 00001255: PUSH1 0x00 00001257: SWAP1 00001258: DUP2 00001259: MSTORE 0000125a: PUSH1 0x00 0000125c: DUP1 0000125d: MLOAD 0000125e: PUSH1 0x20 00001260: PUSH2 0x1b1f 00001263: DUP4 00001264: CODECOPY 00001265: DUP2 00001266: MLOAD 00001267: SWAP2 00001268: MSTORE 00001269: PUSH1 0x20 0000126b: MSTORE 0000126c: PUSH1 0x40 0000126e: SWAP1 0000126f: KECCAK256 00001270: SLOAD 00001271: PUSH2 0x1280 00001274: SWAP1 00001275: CALLVALUE 00001276: PUSH4 0xffffffff 0000127b: PUSH2 0x1637 0000127e: AND 0000127f: JUMP 00001280: JUMPDEST 00001281: CALLER 00001282: PUSH1 0x01 00001284: PUSH1 0xa0 00001286: PUSH1 0x02 00001288: EXP 00001289: SUB 0000128a: DUP2 0000128b: AND 0000128c: PUSH1 0x00 0000128e: SWAP1 0000128f: DUP2 00001290: MSTORE 00001291: PUSH1 0x00 00001293: DUP1 00001294: MLOAD 00001295: PUSH1 0x20 00001297: PUSH2 0x1b1f 0000129a: DUP4 0000129b: CODECOPY 0000129c: DUP2 0000129d: MLOAD 0000129e: SWAP2 0000129f: MSTORE 000012a0: PUSH1 0x20 000012a2: MSTORE 000012a3: PUSH1 0x40 000012a5: DUP1 000012a6: DUP3 000012a7: KECCAK256 000012a8: DUP5 000012a9: SWAP1 000012aa: SSTORE 000012ab: PUSH32 0xdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d7 000012cc: SWAP4 000012cd: SWAP2 000012ce: SWAP3 000012cf: SWAP2 000012d0: CALLVALUE 000012d1: SWAP2 000012d2: MLOAD 000012d3: PUSH1 0x01 000012d5: PUSH1 0xa0 000012d7: PUSH1 0x02 000012d9: EXP 000012da: SUB 000012db: SWAP5 000012dc: DUP6 000012dd: AND 000012de: DUP2 000012df: MSTORE 000012e0: SWAP3 000012e1: SWAP1 000012e2: SWAP4 000012e3: AND 000012e4: PUSH1 0x20 000012e6: DUP4 000012e7: ADD 000012e8: MSTORE 000012e9: PUSH1 0x40 000012eb: DUP1 000012ec: DUP4 000012ed: ADD 000012ee: SWAP2 000012ef: SWAP1 000012f0: SWAP2 000012f1: MSTORE 000012f2: PUSH1 0x60 000012f4: DUP3 000012f5: ADD 000012f6: SWAP3 000012f7: SWAP1 000012f8: SWAP3 000012f9: MSTORE 000012fa: PUSH1 0x80 000012fc: ADD 000012fd: SWAP1 000012fe: MLOAD 000012ff: DUP1 00001300: SWAP2 00001301: SUB 00001302: SWAP1 00001303: LOG1 00001304: JUMP 00001305: JUMPDEST 00001306: PUSH1 0x01 00001308: SLOAD 00001309: PUSH1 0x01 0000130b: PUSH1 0xa0 0000130d: PUSH1 0x02 0000130f: EXP 00001310: SUB 00001311: AND 00001312: DUP2 00001313: JUMP 00001314: JUMPDEST 00001315: PUSH1 0x02 00001317: SLOAD 00001318: PUSH1 0x00 0000131a: SWAP1 0000131b: DUP2 0000131c: SWAP1 0000131d: PUSH1 0x01 0000131f: PUSH1 0xa0 00001321: PUSH1 0x02 00001323: EXP 00001324: SUB 00001325: AND 00001326: ISZERO 00001327: PUSH2 0x13a9 0000132a: JUMPI 0000132b: PUSH1 0x02 0000132d: SLOAD 0000132e: PUSH1 0x01 00001330: PUSH1 0xa0 00001332: PUSH1 0x02 00001334: EXP 00001335: SUB 00001336: AND 00001337: PUSH4 0x57d62a30 0000133c: DUP5 0000133d: PUSH1 0x00 0000133f: PUSH1 0x40 00001341: MLOAD 00001342: PUSH1 0x40 00001344: ADD 00001345: MSTORE 00001346: PUSH1 0x40 00001348: MLOAD 00001349: PUSH1 0xe0 0000134b: PUSH1 0x02 0000134d: EXP 0000134e: PUSH4 0xffffffff 00001353: DUP5 00001354: AND 00001355: MUL 00001356: DUP2 00001357: MSTORE 00001358: PUSH1 0x01 0000135a: PUSH1 0xa0 0000135c: PUSH1 0x02 0000135e: EXP 0000135f: SUB 00001360: SWAP1 00001361: SWAP2 00001362: AND 00001363: PUSH1 0x04 00001365: DUP3 00001366: ADD 00001367: MSTORE 00001368: PUSH1 0x24 0000136a: ADD 0000136b: PUSH1 0x40 0000136d: DUP1 0000136e: MLOAD 0000136f: DUP1 00001370: DUP4 00001371: SUB 00001372: DUP2 00001373: PUSH1 0x00 00001375: DUP8 00001376: DUP1 00001377: EXTCODESIZE 00001378: ISZERO 00001379: ISZERO 0000137a: PUSH2 0x1382 0000137d: JUMPI 0000137e: PUSH1 0x00 00001380: DUP1 00001381: REVERT 00001382: JUMPDEST 00001383: PUSH2 0x02c6 00001386: GAS 00001387: SUB 00001388: CALL 00001389: ISZERO 0000138a: ISZERO 0000138b: PUSH2 0x1393 0000138e: JUMPI 0000138f: PUSH1 0x00 00001391: DUP1 00001392: REVERT 00001393: JUMPDEST 00001394: POP 00001395: POP 00001396: POP 00001397: PUSH1 0x40 00001399: MLOAD 0000139a: DUP1 0000139b: MLOAD 0000139c: SWAP1 0000139d: PUSH1 0x20 0000139f: ADD 000013a0: DUP1 000013a1: MLOAD 000013a2: SWAP2 000013a3: SWAP4 000013a4: POP 000013a5: SWAP1 000013a6: SWAP2 000013a7: POP 000013a8: POP 000013a9: JUMPDEST 000013aa: SWAP2 000013ab: POP 000013ac: SWAP2 000013ad: JUMP 000013ae: JUMPDEST 000013af: PUSH1 0x00 000013b1: SLOAD 000013b2: CALLER 000013b3: PUSH1 0x01 000013b5: PUSH1 0xa0 000013b7: PUSH1 0x02 000013b9: EXP 000013ba: SUB 000013bb: SWAP1 000013bc: DUP2 000013bd: AND 000013be: SWAP2 000013bf: AND 000013c0: EQ 000013c1: PUSH2 0x13c9 000013c4: JUMPI 000013c5: PUSH1 0x00 000013c7: DUP1 000013c8: REVERT 000013c9: JUMPDEST 000013ca: PUSH1 0x01 000013cc: PUSH1 0xa0 000013ce: PUSH1 0x02 000013d0: EXP 000013d1: SUB 000013d2: DUP2 000013d3: AND 000013d4: ISZERO 000013d5: ISZERO 000013d6: PUSH2 0x13de 000013d9: JUMPI 000013da: PUSH1 0x00 000013dc: DUP1 000013dd: REVERT 000013de: JUMPDEST 000013df: PUSH1 0x00 000013e1: SLOAD 000013e2: PUSH1 0x01 000013e4: PUSH1 0xa0 000013e6: PUSH1 0x02 000013e8: EXP 000013e9: SUB 000013ea: DUP1 000013eb: DUP4 000013ec: AND 000013ed: SWAP2 000013ee: AND 000013ef: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001410: PUSH1 0x40 00001412: MLOAD 00001413: PUSH1 0x40 00001415: MLOAD 00001416: DUP1 00001417: SWAP2 00001418: SUB 00001419: SWAP1 0000141a: LOG3 0000141b: PUSH1 0x00 0000141d: DUP1 0000141e: SLOAD 0000141f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001434: NOT 00001435: AND 00001436: PUSH1 0x01 00001438: PUSH1 0xa0 0000143a: PUSH1 0x02 0000143c: EXP 0000143d: SUB 0000143e: SWAP3 0000143f: SWAP1 00001440: SWAP3 00001441: AND 00001442: SWAP2 00001443: SWAP1 00001444: SWAP2 00001445: OR 00001446: SWAP1 00001447: SSTORE 00001448: JUMP 00001449: JUMPDEST 0000144a: PUSH1 0x08 0000144c: PUSH1 0x20 0000144e: MSTORE 0000144f: PUSH1 0x00 00001451: SWAP1 00001452: DUP2 00001453: MSTORE 00001454: PUSH1 0x40 00001456: SWAP1 00001457: KECCAK256 00001458: SLOAD 00001459: DUP2 0000145a: JUMP 0000145b: JUMPDEST 0000145c: PUSH1 0x01 0000145e: PUSH1 0xa0 00001460: PUSH1 0x02 00001462: EXP 00001463: SUB 00001464: SWAP2 00001465: DUP3 00001466: AND 00001467: PUSH1 0x00 00001469: SWAP1 0000146a: DUP2 0000146b: MSTORE 0000146c: PUSH1 0x06 0000146e: PUSH1 0x20 00001470: SWAP1 00001471: DUP2 00001472: MSTORE 00001473: PUSH1 0x40 00001475: DUP1 00001476: DUP4 00001477: KECCAK256 00001478: SWAP4 00001479: SWAP1 0000147a: SWAP5 0000147b: AND 0000147c: DUP3 0000147d: MSTORE 0000147e: SWAP2 0000147f: SWAP1 00001480: SWAP2 00001481: MSTORE 00001482: KECCAK256 00001483: SLOAD 00001484: SWAP1 00001485: JUMP 00001486: JUMPDEST 00001487: PUSH1 0x00 00001489: DUP1 0000148a: PUSH2 0x1491 0000148d: PUSH2 0x1af8 00001490: JUMP 00001491: JUMPDEST 00001492: PUSH2 0x14a0 00001495: DUP14 00001496: DUP14 00001497: DUP14 00001498: DUP14 00001499: DUP14 0000149a: DUP14 0000149b: DUP14 0000149c: PUSH2 0x111f 0000149f: JUMP 000014a0: JUMPDEST 000014a1: SWAP2 000014a2: POP 000014a3: DUP7 000014a4: PUSH1 0x01 000014a6: PUSH1 0xa0 000014a8: PUSH1 0x02 000014aa: EXP 000014ab: SUB 000014ac: AND 000014ad: PUSH1 0x01 000014af: DUP4 000014b0: PUSH1 0x40 000014b2: MLOAD 000014b3: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 000014d4: DUP2 000014d5: MSTORE 000014d6: PUSH1 0x1c 000014d8: DUP2 000014d9: ADD 000014da: SWAP2 000014db: SWAP1 000014dc: SWAP2 000014dd: MSTORE 000014de: PUSH1 0x3c 000014e0: ADD 000014e1: PUSH1 0x40 000014e3: MLOAD 000014e4: DUP1 000014e5: SWAP2 000014e6: SUB 000014e7: SWAP1 000014e8: KECCAK256 000014e9: DUP9 000014ea: DUP9 000014eb: DUP9 000014ec: PUSH1 0x40 000014ee: MLOAD 000014ef: PUSH1 0x00 000014f1: DUP2 000014f2: MSTORE 000014f3: PUSH1 0x20 000014f5: ADD 000014f6: PUSH1 0x40 000014f8: MSTORE 000014f9: PUSH1 0x00 000014fb: PUSH1 0x40 000014fd: MLOAD 000014fe: PUSH1 0x20 00001500: ADD 00001501: MSTORE 00001502: PUSH1 0x40 00001504: MLOAD 00001505: SWAP4 00001506: DUP5 00001507: MSTORE 00001508: PUSH1 0xff 0000150a: SWAP1 0000150b: SWAP3 0000150c: AND 0000150d: PUSH1 0x20 0000150f: DUP1 00001510: DUP6 00001511: ADD 00001512: SWAP2 00001513: SWAP1 00001514: SWAP2 00001515: MSTORE 00001516: PUSH1 0x40 00001518: DUP1 00001519: DUP6 0000151a: ADD 0000151b: SWAP3 0000151c: SWAP1 0000151d: SWAP3 0000151e: MSTORE 0000151f: PUSH1 0x60 00001521: DUP5 00001522: ADD 00001523: SWAP3 00001524: SWAP1 00001525: SWAP3 00001526: MSTORE 00001527: PUSH1 0x80 00001529: SWAP1 0000152a: SWAP3 0000152b: ADD 0000152c: SWAP2 0000152d: MLOAD 0000152e: PUSH1 0x20 00001530: DUP2 00001531: SUB 00001532: SWAP1 00001533: DUP1 00001534: DUP5 00001535: SUB 00001536: SWAP1 00001537: PUSH1 0x00 00001539: DUP7 0000153a: PUSH2 0x646e 0000153d: GAS 0000153e: SUB 0000153f: CALL 00001540: ISZERO 00001541: ISZERO 00001542: PUSH2 0x154a 00001545: JUMPI 00001546: PUSH1 0x00 00001548: DUP1 00001549: REVERT 0000154a: JUMPDEST 0000154b: POP 0000154c: POP 0000154d: PUSH1 0x20 0000154f: PUSH1 0x40 00001551: MLOAD 00001552: SUB 00001553: MLOAD 00001554: PUSH1 0x01 00001556: PUSH1 0xa0 00001558: PUSH1 0x02 0000155a: EXP 0000155b: SUB 0000155c: AND 0000155d: EQ 0000155e: ISZERO 0000155f: DUP1 00001560: PUSH2 0x1577 00001563: JUMPI 00001564: POP 00001565: PUSH1 0x00 00001567: DUP3 00001568: DUP2 00001569: MSTORE 0000156a: PUSH1 0x07 0000156c: PUSH1 0x20 0000156e: MSTORE 0000156f: PUSH1 0x40 00001571: SWAP1 00001572: KECCAK256 00001573: SLOAD 00001574: PUSH1 0xff 00001576: AND 00001577: JUMPDEST 00001578: DUP1 00001579: PUSH2 0x1581 0000157c: JUMPI 0000157d: POP 0000157e: DUP9 0000157f: NUMBER 00001580: GT 00001581: JUMPDEST 00001582: DUP1 00001583: PUSH2 0x159a 00001586: JUMPI 00001587: POP 00001588: PUSH1 0x00 0000158a: DUP3 0000158b: DUP2 0000158c: MSTORE 0000158d: PUSH1 0x08 0000158f: PUSH1 0x20 00001591: MSTORE 00001592: PUSH1 0x40 00001594: SWAP1 00001595: KECCAK256 00001596: SLOAD 00001597: DUP13 00001598: GT 00001599: ISZERO 0000159a: JUMPDEST 0000159b: ISZERO 0000159c: PUSH2 0x15a8 0000159f: JUMPI 000015a0: PUSH1 0x00 000015a2: SWAP3 000015a3: POP 000015a4: PUSH2 0x1627 000015a7: JUMP 000015a8: JUMPDEST 000015a9: PUSH1 0x00 000015ab: DUP3 000015ac: DUP2 000015ad: MSTORE 000015ae: PUSH1 0x08 000015b0: PUSH1 0x20 000015b2: MSTORE 000015b3: PUSH1 0x40 000015b5: SWAP1 000015b6: KECCAK256 000015b7: SLOAD 000015b8: PUSH2 0x15c8 000015bb: SWAP1 000015bc: DUP14 000015bd: SWAP1 000015be: PUSH4 0xffffffff 000015c3: PUSH2 0x1ae6 000015c6: AND 000015c7: JUMP 000015c8: JUMPDEST 000015c9: DUP2 000015ca: MSTORE 000015cb: PUSH1 0x01 000015cd: PUSH1 0xa0 000015cf: PUSH1 0x02 000015d1: EXP 000015d2: SUB 000015d3: DUP12 000015d4: DUP2 000015d5: AND 000015d6: PUSH1 0x00 000015d8: SWAP1 000015d9: DUP2 000015da: MSTORE 000015db: PUSH1 0x06 000015dd: PUSH1 0x20 000015df: SWAP1 000015e0: DUP2 000015e1: MSTORE 000015e2: PUSH1 0x40 000015e4: DUP1 000015e5: DUP4 000015e6: KECCAK256 000015e7: SWAP4 000015e8: DUP12 000015e9: AND 000015ea: DUP4 000015eb: MSTORE 000015ec: SWAP3 000015ed: SWAP1 000015ee: MSTORE 000015ef: KECCAK256 000015f0: SLOAD 000015f1: DUP11 000015f2: SWAP1 000015f3: PUSH2 0x15fc 000015f6: SWAP1 000015f7: DUP15 000015f8: PUSH2 0x1abb 000015fb: JUMP 000015fc: JUMPDEST 000015fd: DUP2 000015fe: ISZERO 000015ff: ISZERO 00001600: PUSH2 0x1605 00001603: JUMPI 00001604: INVALID 00001605: JUMPDEST 00001606: DIV 00001607: PUSH1 0x20 00001609: DUP3 0000160a: ADD 0000160b: SWAP1 0000160c: DUP2 0000160d: MSTORE 0000160e: MLOAD 0000160f: DUP2 00001610: MLOAD 00001611: LT 00001612: ISZERO 00001613: PUSH2 0x161f 00001616: JUMPI 00001617: DUP1 00001618: MLOAD 00001619: SWAP3 0000161a: POP 0000161b: PUSH2 0x1627 0000161e: JUMP 0000161f: JUMPDEST 00001620: PUSH1 0x20 00001622: DUP2 00001623: ADD 00001624: MLOAD 00001625: SWAP3 00001626: POP 00001627: JUMPDEST 00001628: POP 00001629: POP 0000162a: SWAP11 0000162b: SWAP10 0000162c: POP 0000162d: POP 0000162e: POP 0000162f: POP 00001630: POP 00001631: POP 00001632: POP 00001633: POP 00001634: POP 00001635: POP 00001636: JUMP 00001637: JUMPDEST 00001638: PUSH1 0x00 0000163a: DUP3 0000163b: DUP3 0000163c: ADD 0000163d: DUP4 0000163e: DUP2 0000163f: LT 00001640: ISZERO 00001641: PUSH2 0x1646 00001644: JUMPI 00001645: INVALID 00001646: JUMPDEST 00001647: DUP1 00001648: SWAP2 00001649: POP 0000164a: JUMPDEST 0000164b: POP 0000164c: SWAP3 0000164d: SWAP2 0000164e: POP 0000164f: POP 00001650: JUMP 00001651: JUMPDEST 00001652: PUSH1 0x00 00001654: DUP1 00001655: PUSH1 0x00 00001657: DUP1 00001658: PUSH1 0x00 0000165a: DUP1 0000165b: PUSH8 0x0de0b6b3a7640000 00001664: PUSH2 0x1678 00001667: PUSH1 0x04 00001669: SLOAD 0000166a: DUP10 0000166b: PUSH2 0x1abb 0000166e: SWAP1 0000166f: SWAP2 00001670: SWAP1 00001671: PUSH4 0xffffffff 00001676: AND 00001677: JUMP 00001678: JUMPDEST 00001679: DUP2 0000167a: ISZERO 0000167b: ISZERO 0000167c: PUSH2 0x1681 0000167f: JUMPI 00001680: INVALID 00001681: JUMPDEST 00001682: DIV 00001683: SWAP6 00001684: POP 00001685: PUSH8 0x0de0b6b3a7640000 0000168e: PUSH2 0x16a2 00001691: PUSH1 0x05 00001693: SLOAD 00001694: DUP10 00001695: PUSH2 0x1abb 00001698: SWAP1 00001699: SWAP2 0000169a: SWAP1 0000169b: PUSH4 0xffffffff 000016a0: AND 000016a1: JUMP 000016a2: JUMPDEST 000016a3: DUP2 000016a4: ISZERO 000016a5: ISZERO 000016a6: PUSH2 0x16ab 000016a9: JUMPI 000016aa: INVALID 000016ab: JUMPDEST 000016ac: PUSH1 0x02 000016ae: SLOAD 000016af: SWAP2 000016b0: SWAP1 000016b1: DIV 000016b2: SWAP6 000016b3: POP 000016b4: PUSH1 0x00 000016b6: SWAP5 000016b7: POP 000016b8: PUSH1 0x01 000016ba: PUSH1 0xa0 000016bc: PUSH1 0x02 000016be: EXP 000016bf: SUB 000016c0: AND 000016c1: ISZERO 000016c2: PUSH2 0x181c 000016c5: JUMPI 000016c6: PUSH1 0x02 000016c8: SLOAD 000016c9: PUSH1 0x01 000016cb: PUSH1 0xa0 000016cd: PUSH1 0x02 000016cf: EXP 000016d0: SUB 000016d1: AND 000016d2: PUSH4 0xca8127d4 000016d7: DUP10 000016d8: CALLER 000016d9: PUSH1 0x00 000016db: PUSH1 0x40 000016dd: MLOAD 000016de: PUSH1 0x60 000016e0: ADD 000016e1: MSTORE 000016e2: PUSH1 0x40 000016e4: MLOAD 000016e5: PUSH1 0xe0 000016e7: PUSH1 0x02 000016e9: EXP 000016ea: PUSH4 0xffffffff 000016ef: DUP6 000016f0: AND 000016f1: MUL 000016f2: DUP2 000016f3: MSTORE 000016f4: PUSH1 0x01 000016f6: PUSH1 0xa0 000016f8: PUSH1 0x02 000016fa: EXP 000016fb: SUB 000016fc: SWAP3 000016fd: DUP4 000016fe: AND 000016ff: PUSH1 0x04 00001701: DUP3 00001702: ADD 00001703: MSTORE 00001704: SWAP2 00001705: AND 00001706: PUSH1 0x24 00001708: DUP3 00001709: ADD 0000170a: MSTORE 0000170b: PUSH1 0x44 0000170d: ADD 0000170e: PUSH1 0x60 00001710: PUSH1 0x40 00001712: MLOAD 00001713: DUP1 00001714: DUP4 00001715: SUB 00001716: DUP2 00001717: PUSH1 0x00 00001719: DUP8 0000171a: DUP1 0000171b: EXTCODESIZE 0000171c: ISZERO 0000171d: ISZERO 0000171e: PUSH2 0x1726 00001721: JUMPI 00001722: PUSH1 0x00 00001724: DUP1 00001725: REVERT 00001726: JUMPDEST 00001727: PUSH2 0x02c6 0000172a: GAS 0000172b: SUB 0000172c: CALL 0000172d: ISZERO 0000172e: ISZERO 0000172f: PUSH2 0x1737 00001732: JUMPI 00001733: PUSH1 0x00 00001735: DUP1 00001736: REVERT 00001737: JUMPDEST 00001738: POP 00001739: POP 0000173a: POP 0000173b: PUSH1 0x40 0000173d: MLOAD 0000173e: DUP1 0000173f: MLOAD 00001740: SWAP1 00001741: PUSH1 0x20 00001743: ADD 00001744: DUP1 00001745: MLOAD 00001746: SWAP1 00001747: PUSH1 0x20 00001749: ADD 0000174a: DUP1 0000174b: MLOAD 0000174c: SWAP3 0000174d: SWAP6 0000174e: POP 0000174f: SWAP1 00001750: SWAP4 00001751: POP 00001752: SWAP1 00001753: SWAP2 00001754: POP 00001755: POP 00001756: PUSH1 0x00 00001758: DUP7 00001759: GT 0000175a: DUP1 0000175b: ISZERO 0000175c: PUSH2 0x1765 0000175f: JUMPI 00001760: POP 00001761: PUSH1 0x00 00001763: DUP4 00001764: GT 00001765: JUMPDEST 00001766: DUP1 00001767: ISZERO 00001768: PUSH2 0x1772 0000176b: JUMPI 0000176c: POP 0000176d: PUSH1 0x64 0000176f: DUP4 00001770: GT 00001771: ISZERO 00001772: JUMPDEST 00001773: ISZERO 00001774: PUSH2 0x1798 00001777: JUMPI 00001778: PUSH1 0x64 0000177a: PUSH2 0x178b 0000177d: DUP8 0000177e: DUP6 0000177f: DUP4 00001780: SUB 00001781: PUSH4 0xffffffff 00001786: PUSH2 0x1abb 00001789: AND 0000178a: JUMP 0000178b: JUMPDEST 0000178c: DUP2 0000178d: ISZERO 0000178e: ISZERO 0000178f: PUSH2 0x1794 00001792: JUMPI 00001793: INVALID 00001794: JUMPDEST 00001795: DIV 00001796: SWAP6 00001797: POP 00001798: JUMPDEST 00001799: PUSH1 0x00 0000179b: DUP6 0000179c: GT 0000179d: DUP1 0000179e: ISZERO 0000179f: PUSH2 0x17a8 000017a2: JUMPI 000017a3: POP 000017a4: PUSH1 0x00 000017a6: DUP3 000017a7: GT 000017a8: JUMPDEST 000017a9: DUP1 000017aa: ISZERO 000017ab: PUSH2 0x17b5 000017ae: JUMPI 000017af: POP 000017b0: PUSH1 0x64 000017b2: DUP3 000017b3: GT 000017b4: ISZERO 000017b5: JUMPDEST 000017b6: ISZERO 000017b7: PUSH2 0x17db 000017ba: JUMPI 000017bb: PUSH1 0x64 000017bd: PUSH2 0x17ce 000017c0: DUP7 000017c1: DUP5 000017c2: DUP4 000017c3: SUB 000017c4: PUSH4 0xffffffff 000017c9: PUSH2 0x1abb 000017cc: AND 000017cd: JUMP 000017ce: JUMPDEST 000017cf: DUP2 000017d0: ISZERO 000017d1: ISZERO 000017d2: PUSH2 0x17d7 000017d5: JUMPI 000017d6: INVALID 000017d7: JUMPDEST 000017d8: DIV 000017d9: SWAP5 000017da: POP 000017db: JUMPDEST 000017dc: PUSH1 0x00 000017de: DUP6 000017df: GT 000017e0: DUP1 000017e1: ISZERO 000017e2: PUSH2 0x17eb 000017e5: JUMPI 000017e6: POP 000017e7: PUSH1 0x00 000017e9: DUP2 000017ea: GT 000017eb: JUMPDEST 000017ec: DUP1 000017ed: ISZERO 000017ee: PUSH2 0x17f8 000017f1: JUMPI 000017f2: POP 000017f3: PUSH1 0x64 000017f5: DUP2 000017f6: GT 000017f7: ISZERO 000017f8: JUMPDEST 000017f9: ISZERO 000017fa: PUSH2 0x181c 000017fd: JUMPI 000017fe: PUSH1 0x64 00001800: PUSH2 0x180f 00001803: DUP7 00001804: DUP4 00001805: PUSH4 0xffffffff 0000180a: PUSH2 0x1abb 0000180d: AND 0000180e: JUMP 0000180f: JUMPDEST 00001810: DUP2 00001811: ISZERO 00001812: ISZERO 00001813: PUSH2 0x1818 00001816: JUMPI 00001817: INVALID 00001818: JUMPDEST 00001819: DIV 0000181a: SWAP4 0000181b: POP 0000181c: JUMPDEST 0000181d: PUSH2 0x1862 00001820: PUSH2 0x182f 00001823: DUP9 00001824: DUP8 00001825: PUSH4 0xffffffff 0000182a: PUSH2 0x1637 0000182d: AND 0000182e: JUMP 0000182f: JUMPDEST 00001830: PUSH1 0x01 00001832: PUSH1 0xa0 00001834: PUSH1 0x02 00001836: EXP 00001837: SUB 00001838: DUP1 00001839: DUP16 0000183a: AND 0000183b: PUSH1 0x00 0000183d: SWAP1 0000183e: DUP2 0000183f: MSTORE 00001840: PUSH1 0x06 00001842: PUSH1 0x20 00001844: SWAP1 00001845: DUP2 00001846: MSTORE 00001847: PUSH1 0x40 00001849: DUP1 0000184a: DUP4 0000184b: KECCAK256 0000184c: CALLER 0000184d: SWAP1 0000184e: SWAP5 0000184f: AND 00001850: DUP4 00001851: MSTORE 00001852: SWAP3 00001853: SWAP1 00001854: MSTORE 00001855: KECCAK256 00001856: SLOAD 00001857: SWAP1 00001858: PUSH4 0xffffffff 0000185d: PUSH2 0x1ae6 00001860: AND 00001861: JUMP 00001862: JUMPDEST 00001863: PUSH1 0x01 00001865: PUSH1 0xa0 00001867: PUSH1 0x02 00001869: EXP 0000186a: SUB 0000186b: DUP1 0000186c: DUP15 0000186d: AND 0000186e: PUSH1 0x00 00001870: SWAP1 00001871: DUP2 00001872: MSTORE 00001873: PUSH1 0x06 00001875: PUSH1 0x20 00001877: SWAP1 00001878: DUP2 00001879: MSTORE 0000187a: PUSH1 0x40 0000187c: DUP1 0000187d: DUP4 0000187e: KECCAK256 0000187f: CALLER 00001880: SWAP1 00001881: SWAP5 00001882: AND 00001883: DUP4 00001884: MSTORE 00001885: SWAP3 00001886: SWAP1 00001887: MSTORE 00001888: KECCAK256 00001889: SSTORE 0000188a: PUSH2 0x18de 0000188d: PUSH2 0x18ac 00001890: DUP6 00001891: PUSH2 0x18a0 00001894: DUP11 00001895: DUP11 00001896: PUSH4 0xffffffff 0000189b: PUSH2 0x1ae6 0000189e: AND 0000189f: JUMP 000018a0: JUMPDEST 000018a1: SWAP1 000018a2: PUSH4 0xffffffff 000018a7: PUSH2 0x1637 000018aa: AND 000018ab: JUMP 000018ac: JUMPDEST 000018ad: PUSH1 0x01 000018af: PUSH1 0xa0 000018b1: PUSH1 0x02 000018b3: EXP 000018b4: SUB 000018b5: DUP1 000018b6: DUP16 000018b7: AND 000018b8: PUSH1 0x00 000018ba: SWAP1 000018bb: DUP2 000018bc: MSTORE 000018bd: PUSH1 0x06 000018bf: PUSH1 0x20 000018c1: SWAP1 000018c2: DUP2 000018c3: MSTORE 000018c4: PUSH1 0x40 000018c6: DUP1 000018c7: DUP4 000018c8: KECCAK256 000018c9: SWAP4 000018ca: DUP15 000018cb: AND 000018cc: DUP4 000018cd: MSTORE 000018ce: SWAP3 000018cf: SWAP1 000018d0: MSTORE 000018d1: KECCAK256 000018d2: SLOAD 000018d3: SWAP1 000018d4: PUSH4 0xffffffff 000018d9: PUSH2 0x1637 000018dc: AND 000018dd: JUMP 000018de: JUMPDEST 000018df: PUSH1 0x01 000018e1: PUSH1 0xa0 000018e3: PUSH1 0x02 000018e5: EXP 000018e6: SUB 000018e7: DUP1 000018e8: DUP15 000018e9: AND 000018ea: PUSH1 0x00 000018ec: SWAP1 000018ed: DUP2 000018ee: MSTORE 000018ef: PUSH1 0x06 000018f1: PUSH1 0x20 000018f3: SWAP1 000018f4: DUP2 000018f5: MSTORE 000018f6: PUSH1 0x40 000018f8: DUP1 000018f9: DUP4 000018fa: KECCAK256 000018fb: SWAP4 000018fc: DUP14 000018fd: AND 000018fe: DUP4 000018ff: MSTORE 00001900: SWAP3 00001901: SWAP1 00001902: MSTORE 00001903: KECCAK256 00001904: SSTORE 00001905: PUSH2 0x1956 00001908: DUP12 00001909: PUSH2 0x1918 0000190c: DUP12 0000190d: DUP11 0000190e: PUSH4 0xffffffff 00001913: PUSH2 0x1abb 00001916: AND 00001917: JUMP 00001918: JUMPDEST 00001919: DUP2 0000191a: ISZERO 0000191b: ISZERO 0000191c: PUSH2 0x1921 0000191f: JUMPI 00001920: INVALID 00001921: JUMPDEST 00001922: PUSH1 0x01 00001924: PUSH1 0xa0 00001926: PUSH1 0x02 00001928: EXP 00001929: SUB 0000192a: DUP1 0000192b: DUP15 0000192c: AND 0000192d: PUSH1 0x00 0000192f: SWAP1 00001930: DUP2 00001931: MSTORE 00001932: PUSH1 0x06 00001934: PUSH1 0x20 00001936: SWAP1 00001937: DUP2 00001938: MSTORE 00001939: PUSH1 0x40 0000193b: DUP1 0000193c: DUP4 0000193d: KECCAK256 0000193e: CALLER 0000193f: SWAP1 00001940: SWAP5 00001941: AND 00001942: DUP4 00001943: MSTORE 00001944: SWAP3 00001945: SWAP1 00001946: MSTORE 00001947: KECCAK256 00001948: SLOAD 00001949: SWAP2 0000194a: SWAP1 0000194b: DIV 0000194c: PUSH4 0xffffffff 00001951: PUSH2 0x1637 00001954: AND 00001955: JUMP 00001956: JUMPDEST 00001957: PUSH1 0x01 00001959: PUSH1 0xa0 0000195b: PUSH1 0x02 0000195d: EXP 0000195e: SUB 0000195f: DUP1 00001960: DUP13 00001961: AND 00001962: PUSH1 0x00 00001964: SWAP1 00001965: DUP2 00001966: MSTORE 00001967: PUSH1 0x06 00001969: PUSH1 0x20 0000196b: SWAP1 0000196c: DUP2 0000196d: MSTORE 0000196e: PUSH1 0x40 00001970: DUP1 00001971: DUP4 00001972: KECCAK256 00001973: CALLER 00001974: SWAP1 00001975: SWAP5 00001976: AND 00001977: DUP4 00001978: MSTORE 00001979: SWAP3 0000197a: SWAP1 0000197b: MSTORE 0000197c: KECCAK256 0000197d: SSTORE 0000197e: PUSH2 0x19ce 00001981: DUP12 00001982: PUSH2 0x1991 00001985: DUP12 00001986: DUP11 00001987: PUSH4 0xffffffff 0000198c: PUSH2 0x1abb 0000198f: AND 00001990: JUMP 00001991: JUMPDEST 00001992: DUP2 00001993: ISZERO 00001994: ISZERO 00001995: PUSH2 0x199a 00001998: JUMPI 00001999: INVALID 0000199a: JUMPDEST 0000199b: PUSH1 0x01 0000199d: PUSH1 0xa0 0000199f: PUSH1 0x02 000019a1: EXP 000019a2: SUB 000019a3: DUP1 000019a4: DUP15 000019a5: AND 000019a6: PUSH1 0x00 000019a8: SWAP1 000019a9: DUP2 000019aa: MSTORE 000019ab: PUSH1 0x06 000019ad: PUSH1 0x20 000019af: SWAP1 000019b0: DUP2 000019b1: MSTORE 000019b2: PUSH1 0x40 000019b4: DUP1 000019b5: DUP4 000019b6: KECCAK256 000019b7: SWAP4 000019b8: DUP16 000019b9: AND 000019ba: DUP4 000019bb: MSTORE 000019bc: SWAP3 000019bd: SWAP1 000019be: MSTORE 000019bf: KECCAK256 000019c0: SLOAD 000019c1: SWAP2 000019c2: SWAP1 000019c3: DIV 000019c4: PUSH4 0xffffffff 000019c9: PUSH2 0x1ae6 000019cc: AND 000019cd: JUMP 000019ce: JUMPDEST 000019cf: PUSH1 0x01 000019d1: PUSH1 0xa0 000019d3: PUSH1 0x02 000019d5: EXP 000019d6: SUB 000019d7: DUP1 000019d8: DUP13 000019d9: AND 000019da: PUSH1 0x00 000019dc: SWAP1 000019dd: DUP2 000019de: MSTORE 000019df: PUSH1 0x06 000019e1: PUSH1 0x20 000019e3: SWAP1 000019e4: DUP2 000019e5: MSTORE 000019e6: PUSH1 0x40 000019e8: DUP1 000019e9: DUP4 000019ea: KECCAK256 000019eb: SWAP4 000019ec: DUP14 000019ed: AND 000019ee: DUP4 000019ef: MSTORE 000019f0: SWAP3 000019f1: SWAP1 000019f2: MSTORE 000019f3: KECCAK256 000019f4: SSTORE 000019f5: PUSH2 0x1a4c 000019f8: PUSH2 0x1a17 000019fb: DUP6 000019fc: PUSH2 0x1a0b 000019ff: DUP10 00001a00: DUP10 00001a01: PUSH4 0xffffffff 00001a06: PUSH2 0x1637 00001a09: AND 00001a0a: JUMP 00001a0b: JUMPDEST 00001a0c: SWAP1 00001a0d: PUSH4 0xffffffff 00001a12: PUSH2 0x1ae6 00001a15: AND 00001a16: JUMP 00001a17: JUMPDEST 00001a18: PUSH1 0x01 00001a1a: PUSH1 0xa0 00001a1c: PUSH1 0x02 00001a1e: EXP 00001a1f: SUB 00001a20: DUP1 00001a21: DUP16 00001a22: AND 00001a23: PUSH1 0x00 00001a25: SWAP1 00001a26: DUP2 00001a27: MSTORE 00001a28: PUSH1 0x06 00001a2a: PUSH1 0x20 00001a2c: SWAP1 00001a2d: DUP2 00001a2e: MSTORE 00001a2f: PUSH1 0x40 00001a31: DUP1 00001a32: DUP4 00001a33: KECCAK256 00001a34: PUSH1 0x03 00001a36: SLOAD 00001a37: SWAP1 00001a38: SWAP5 00001a39: AND 00001a3a: DUP4 00001a3b: MSTORE 00001a3c: SWAP3 00001a3d: SWAP1 00001a3e: MSTORE 00001a3f: KECCAK256 00001a40: SLOAD 00001a41: SWAP1 00001a42: PUSH4 0xffffffff 00001a47: PUSH2 0x1637 00001a4a: AND 00001a4b: JUMP 00001a4c: JUMPDEST 00001a4d: PUSH1 0x06 00001a4f: PUSH1 0x00 00001a51: DUP15 00001a52: PUSH1 0x01 00001a54: PUSH1 0xa0 00001a56: PUSH1 0x02 00001a58: EXP 00001a59: SUB 00001a5a: AND 00001a5b: PUSH1 0x01 00001a5d: PUSH1 0xa0 00001a5f: PUSH1 0x02 00001a61: EXP 00001a62: SUB 00001a63: AND 00001a64: DUP2 00001a65: MSTORE 00001a66: PUSH1 0x20 00001a68: ADD 00001a69: SWAP1 00001a6a: DUP2 00001a6b: MSTORE 00001a6c: PUSH1 0x20 00001a6e: ADD 00001a6f: PUSH1 0x00 00001a71: KECCAK256 00001a72: PUSH1 0x00 00001a74: PUSH1 0x03 00001a76: PUSH1 0x00 00001a78: SWAP1 00001a79: SLOAD 00001a7a: SWAP1 00001a7b: PUSH2 0x0100 00001a7e: EXP 00001a7f: SWAP1 00001a80: DIV 00001a81: PUSH1 0x01 00001a83: PUSH1 0xa0 00001a85: PUSH1 0x02 00001a87: EXP 00001a88: SUB 00001a89: AND 00001a8a: PUSH1 0x01 00001a8c: PUSH1 0xa0 00001a8e: PUSH1 0x02 00001a90: EXP 00001a91: SUB 00001a92: AND 00001a93: PUSH1 0x01 00001a95: PUSH1 0xa0 00001a97: PUSH1 0x02 00001a99: EXP 00001a9a: SUB 00001a9b: AND 00001a9c: DUP2 00001a9d: MSTORE 00001a9e: PUSH1 0x20 00001aa0: ADD 00001aa1: SWAP1 00001aa2: DUP2 00001aa3: MSTORE 00001aa4: PUSH1 0x20 00001aa6: ADD 00001aa7: PUSH1 0x00 00001aa9: KECCAK256 00001aaa: DUP2 00001aab: SWAP1 00001aac: SSTORE 00001aad: POP 00001aae: POP 00001aaf: POP 00001ab0: POP 00001ab1: POP 00001ab2: POP 00001ab3: POP 00001ab4: POP 00001ab5: POP 00001ab6: POP 00001ab7: POP 00001ab8: POP 00001ab9: POP 00001aba: JUMP 00001abb: JUMPDEST 00001abc: PUSH1 0x00 00001abe: DUP1 00001abf: DUP4 00001ac0: ISZERO 00001ac1: ISZERO 00001ac2: PUSH2 0x1ace 00001ac5: JUMPI 00001ac6: PUSH1 0x00 00001ac8: SWAP2 00001ac9: POP 00001aca: PUSH2 0x164a 00001acd: JUMP 00001ace: JUMPDEST 00001acf: POP 00001ad0: DUP3 00001ad1: DUP3 00001ad2: MUL 00001ad3: DUP3 00001ad4: DUP5 00001ad5: DUP3 00001ad6: DUP2 00001ad7: ISZERO 00001ad8: ISZERO 00001ad9: PUSH2 0x1ade 00001adc: JUMPI 00001add: INVALID 00001ade: JUMPDEST 00001adf: DIV 00001ae0: EQ 00001ae1: PUSH2 0x1646 00001ae4: JUMPI 00001ae5: INVALID 00001ae6: JUMPDEST 00001ae7: PUSH1 0x00 00001ae9: DUP3 00001aea: DUP3 00001aeb: GT 00001aec: ISZERO 00001aed: PUSH2 0x1af2 00001af0: JUMPI 00001af1: INVALID 00001af2: JUMPDEST 00001af3: POP 00001af4: SWAP1 00001af5: SUB 00001af6: SWAP1 00001af7: JUMP 00001af8: JUMPDEST 00001af9: PUSH1 0x40 00001afb: DUP1 00001afc: MLOAD 00001afd: SWAP1 00001afe: DUP2 00001aff: ADD 00001b00: PUSH1 0x40 00001b02: MSTORE 00001b03: PUSH1 0x02 00001b05: DUP2 00001b06: JUMPDEST 00001b07: PUSH1 0x00 00001b09: DUP2 00001b0a: MSTORE 00001b0b: PUSH1 0x20 00001b0d: ADD 00001b0e: SWAP1 00001b0f: PUSH1 0x01 00001b11: SWAP1 00001b12: SUB 00001b13: SWAP1 00001b14: DUP2 00001b15: PUSH2 0x1b06 00001b18: JUMPI 00001b19: SWAP1 00001b1a: POP 00001b1b: POP 00001b1c: SWAP1 00001b1d: JUMP 00001b1e: STOP 00001b1f: SLOAD 00001b20: UNKNOWN(0xCD) 00001b21: UNKNOWN(0xD3) 00001b22: PUSH10 0xe4e8a8515e52ca72ec81 00001b2d: PUSH13 0x2101831ad1f18bf44102ed1714 00001b3b: MSIZE 00001b3c: UNKNOWN(0xC9) 00001b3d: UNKNOWN(0xB4) 00001b3e: UNKNOWN(0xF8) 00001b3f: LOG1 00001b40: PUSH6 0x627a7a723058 00001b47: KECCAK256 00001b48: PUSH2 0xdf69 00001b4b: UNKNOWN(0xD2) 00001b4c: UNKNOWN(0xBE) 00001b4d: MSTORE 00001b4e: 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.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | yes | yes |
viewtrace_id: 0xa8121637ffe549c8e04d73b051e7cef82adb59299f4dec96c62d146a37eff805
call_targets:
0x0000000000000000000000000000000000000001, 0xd8d48e52f39ab2d169c8b562c53589e6c71ac4d3
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xa8121637ffe549c8e04d73b051e7cef82adb59299f4dec96c62d146a37eff805",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000001",
"0xd8d48e52f39ab2d169c8b562c53589e6c71ac4d3"
],
"matched_probe": null,
"target_varies": true,
"classification": "target_varies"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x0a19b14a",
"selector": "0x0a19b14a",
"calldata_variants": [
"0x0a19b14a",
"0x0a19b14a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x278b8c0e",
"selector": "0x278b8c0e",
"calldata_variants": [
"0x278b8c0e",
"0x278b8c0e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d804ca2",
"selector": "0x2d804ca2",
"calldata_variants": [
"0x2d804ca2",
"0x2d804ca20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x338b5dea",
"selector": "0x338b5dea",
"calldata_variants": [
"0x338b5dea",
"0x338b5dea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x48d64fd5",
"selector": "0x48d64fd5",
"calldata_variants": [
"0x48d64fd5",
"0x48d64fd50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f3f2cbc",
"selector": "0x4f3f2cbc",
"calldata_variants": [
"0x4f3f2cbc",
"0x4f3f2cbc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x508493bc",
"selector": "0x508493bc",
"calldata_variants": [
"0x508493bc",
"0x508493bc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1630,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2005,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2327,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 9,
"guards_detected": [],
"untrusted_call_count": 9
}
|
| high | other | detector | ETH value transfer possible | 55 | yes | yes |
viewtrace_id: 0xa8121637ffe549c8e04d73b051e7cef82adb59299f4dec96c62d146a37eff805
call_targets:
0x0000000000000000000000000000000000000001, 0xd8d48e52f39ab2d169c8b562c53589e6c71ac4d3
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xa8121637ffe549c8e04d73b051e7cef82adb59299f4dec96c62d146a37eff805",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000001",
"0xd8d48e52f39ab2d169c8b562c53589e6c71ac4d3"
],
"matched_probe": null,
"target_varies": true,
"classification": "target_varies"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x0a19b14a",
"selector": "0x0a19b14a",
"calldata_variants": [
"0x0a19b14a",
"0x0a19b14a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x278b8c0e",
"selector": "0x278b8c0e",
"calldata_variants": [
"0x278b8c0e",
"0x278b8c0e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d804ca2",
"selector": "0x2d804ca2",
"calldata_variants": [
"0x2d804ca2",
"0x2d804ca20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x338b5dea",
"selector": "0x338b5dea",
"calldata_variants": [
"0x338b5dea",
"0x338b5dea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x48d64fd5",
"selector": "0x48d64fd5",
"calldata_variants": [
"0x48d64fd5",
"0x48d64fd50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f3f2cbc",
"selector": "0x4f3f2cbc",
"calldata_variants": [
"0x4f3f2cbc",
"0x4f3f2cbc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x508493bc",
"selector": "0x508493bc",
"calldata_variants": [
"0x508493bc",
"0x508493bc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1630,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2005,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2327,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 9,
"guards_detected": []
}
|