019b477e-af79-73b1-84e0-3374f3f096e2
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 |
|---|---|---|---|---|
| 21791 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21792 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 65262 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 65263 | capability.graph | complete | 1 / 3 | 1 week ago |
| 65264 | detector.run | complete | 1 / 3 | 1 week ago |
| 65265 | validation.fork | complete | 1 / 3 | 1 week ago |
| 113495 | report.consolidate | complete | 1 / 6 | 1 week ago |
No slither job recorded yet.
OpenAI Codex v0.118.0 (research preview) -------- workdir: /tmp/codex-2doym6v_ model: gpt-5.4 provider: openai approval: never sandbox: read-only reasoning effort: high reasoning summaries: none session id: 019d5c95-b53e-7302-b89e-35b1bedadd33 -------- user You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities. Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation, accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall. Scope rules: - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party Solidity sources in this workspace. - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code. - If there are only dependency files and no first-party sources, set no_findings=true and explain in summary. 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 and file/line locations when possible. Output constraints (IMPORTANT): - severity MUST be exactly one of: info, low, medium, high, critical (lowercase). - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other. Keep summary short and concrete. 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:40:10.013023+00:00",
"returncode": 1
},
"project": {
"mode": "source",
"file_count": 1,
"import_count": 0,
"first_party_contracts_count": 1
},
"summary": null,
"no_findings": null,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0169 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH3 0x65318b 0000003b: EQ 0000003c: PUSH2 0x0177 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x06fdde03 00000046: EQ 00000047: PUSH2 0x01ce 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x10d0ffdd 00000051: EQ 00000052: PUSH2 0x025e 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x18160ddd 0000005c: EQ 0000005d: PUSH2 0x029f 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x1e0018d6 00000067: EQ 00000068: PUSH2 0x02ca 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x22609373 00000072: EQ 00000073: PUSH2 0x0321 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x313ce567 0000007d: EQ 0000007e: PUSH2 0x0362 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x3ccfd60b 00000088: EQ 00000089: PUSH2 0x0393 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x4b750334 00000093: EQ 00000094: PUSH2 0x03aa 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x56d399e8 0000009e: EQ 0000009f: PUSH2 0x03d5 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x688abbf7 000000a9: EQ 000000aa: PUSH2 0x0400 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x6b2f4632 000000b4: EQ 000000b5: PUSH2 0x0443 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x70a08231 000000bf: EQ 000000c0: PUSH2 0x046e 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x8328b610 000000ca: EQ 000000cb: PUSH2 0x04c5 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x8620410b 000000d5: EQ 000000d6: PUSH2 0x04f2 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x89e877a3 000000e0: EQ 000000e1: PUSH2 0x051d 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x949e8acd 000000eb: EQ 000000ec: PUSH2 0x0534 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0x95d89b41 000000f6: EQ 000000f7: PUSH2 0x055f 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xa9059cbb 00000101: EQ 00000102: PUSH2 0x05ef 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xb84c8246 0000010c: EQ 0000010d: PUSH2 0x0654 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xc47f0027 00000117: EQ 00000118: PUSH2 0x06bd 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xd6b0f484 00000122: EQ 00000123: PUSH2 0x0726 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xdf8089ef 0000012d: EQ 0000012e: PUSH2 0x073d 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xe37b346d 00000138: EQ 00000139: PUSH2 0x0780 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xe4849b32 00000143: EQ 00000144: PUSH2 0x078a 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0xe9fad8ee 0000014e: EQ 0000014f: PUSH2 0x07b7 00000152: JUMPI 00000153: DUP1 00000154: PUSH4 0xf088d547 00000159: EQ 0000015a: PUSH2 0x07ce 0000015d: JUMPI 0000015e: DUP1 0000015f: PUSH4 0xfdb5a03e 00000164: EQ 00000165: PUSH2 0x0818 00000168: JUMPI 00000169: JUMPDEST 0000016a: PUSH2 0x0174 0000016d: CALLVALUE 0000016e: PUSH1 0x00 00000170: PUSH2 0x082f 00000173: JUMP 00000174: JUMPDEST 00000175: POP 00000176: STOP 00000177: JUMPDEST 00000178: CALLVALUE 00000179: DUP1 0000017a: ISZERO 0000017b: PUSH2 0x0183 0000017e: JUMPI 0000017f: PUSH1 0x00 00000181: DUP1 00000182: REVERT 00000183: JUMPDEST 00000184: POP 00000185: PUSH2 0x01b8 00000188: PUSH1 0x04 0000018a: DUP1 0000018b: CALLDATASIZE 0000018c: SUB 0000018d: DUP2 0000018e: ADD 0000018f: SWAP1 00000190: DUP1 00000191: DUP1 00000192: CALLDATALOAD 00000193: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001a8: AND 000001a9: SWAP1 000001aa: PUSH1 0x20 000001ac: ADD 000001ad: SWAP1 000001ae: SWAP3 000001af: SWAP2 000001b0: SWAP1 000001b1: POP 000001b2: POP 000001b3: POP 000001b4: PUSH2 0x0ce6 000001b7: JUMP 000001b8: JUMPDEST 000001b9: PUSH1 0x40 000001bb: MLOAD 000001bc: DUP1 000001bd: DUP3 000001be: DUP2 000001bf: MSTORE 000001c0: PUSH1 0x20 000001c2: ADD 000001c3: SWAP2 000001c4: POP 000001c5: POP 000001c6: PUSH1 0x40 000001c8: MLOAD 000001c9: DUP1 000001ca: SWAP2 000001cb: SUB 000001cc: SWAP1 000001cd: RETURN 000001ce: JUMPDEST 000001cf: CALLVALUE 000001d0: DUP1 000001d1: ISZERO 000001d2: PUSH2 0x01da 000001d5: JUMPI 000001d6: PUSH1 0x00 000001d8: DUP1 000001d9: REVERT 000001da: JUMPDEST 000001db: POP 000001dc: PUSH2 0x01e3 000001df: PUSH2 0x0d88 000001e2: JUMP 000001e3: JUMPDEST 000001e4: PUSH1 0x40 000001e6: MLOAD 000001e7: DUP1 000001e8: DUP1 000001e9: PUSH1 0x20 000001eb: ADD 000001ec: DUP3 000001ed: DUP2 000001ee: SUB 000001ef: DUP3 000001f0: MSTORE 000001f1: DUP4 000001f2: DUP2 000001f3: DUP2 000001f4: MLOAD 000001f5: DUP2 000001f6: MSTORE 000001f7: PUSH1 0x20 000001f9: ADD 000001fa: SWAP2 000001fb: POP 000001fc: DUP1 000001fd: MLOAD 000001fe: SWAP1 000001ff: PUSH1 0x20 00000201: ADD 00000202: SWAP1 00000203: DUP1 00000204: DUP4 00000205: DUP4 00000206: PUSH1 0x00 00000208: JUMPDEST 00000209: DUP4 0000020a: DUP2 0000020b: LT 0000020c: ISZERO 0000020d: PUSH2 0x0223 00000210: JUMPI 00000211: DUP1 00000212: DUP3 00000213: ADD 00000214: MLOAD 00000215: DUP2 00000216: DUP5 00000217: ADD 00000218: MSTORE 00000219: PUSH1 0x20 0000021b: DUP2 0000021c: ADD 0000021d: SWAP1 0000021e: POP 0000021f: PUSH2 0x0208 00000222: JUMP 00000223: JUMPDEST 00000224: POP 00000225: POP 00000226: POP 00000227: POP 00000228: SWAP1 00000229: POP 0000022a: SWAP1 0000022b: DUP2 0000022c: ADD 0000022d: SWAP1 0000022e: PUSH1 0x1f 00000230: AND 00000231: DUP1 00000232: ISZERO 00000233: PUSH2 0x0250 00000236: JUMPI 00000237: DUP1 00000238: DUP3 00000239: SUB 0000023a: DUP1 0000023b: MLOAD 0000023c: PUSH1 0x01 0000023e: DUP4 0000023f: PUSH1 0x20 00000241: SUB 00000242: PUSH2 0x0100 00000245: EXP 00000246: SUB 00000247: NOT 00000248: AND 00000249: DUP2 0000024a: MSTORE 0000024b: PUSH1 0x20 0000024d: ADD 0000024e: SWAP2 0000024f: POP 00000250: JUMPDEST 00000251: POP 00000252: SWAP3 00000253: POP 00000254: POP 00000255: POP 00000256: PUSH1 0x40 00000258: MLOAD 00000259: DUP1 0000025a: SWAP2 0000025b: SUB 0000025c: SWAP1 0000025d: RETURN 0000025e: JUMPDEST 0000025f: CALLVALUE 00000260: DUP1 00000261: ISZERO 00000262: PUSH2 0x026a 00000265: JUMPI 00000266: PUSH1 0x00 00000268: DUP1 00000269: REVERT 0000026a: JUMPDEST 0000026b: POP 0000026c: PUSH2 0x0289 0000026f: PUSH1 0x04 00000271: DUP1 00000272: CALLDATASIZE 00000273: SUB 00000274: DUP2 00000275: ADD 00000276: SWAP1 00000277: DUP1 00000278: DUP1 00000279: CALLDATALOAD 0000027a: SWAP1 0000027b: PUSH1 0x20 0000027d: ADD 0000027e: SWAP1 0000027f: SWAP3 00000280: SWAP2 00000281: SWAP1 00000282: POP 00000283: POP 00000284: POP 00000285: PUSH2 0x0e26 00000288: JUMP 00000289: JUMPDEST 0000028a: PUSH1 0x40 0000028c: MLOAD 0000028d: DUP1 0000028e: DUP3 0000028f: DUP2 00000290: MSTORE 00000291: PUSH1 0x20 00000293: ADD 00000294: SWAP2 00000295: POP 00000296: POP 00000297: PUSH1 0x40 00000299: MLOAD 0000029a: DUP1 0000029b: SWAP2 0000029c: SUB 0000029d: SWAP1 0000029e: RETURN 0000029f: JUMPDEST 000002a0: CALLVALUE 000002a1: DUP1 000002a2: ISZERO 000002a3: PUSH2 0x02ab 000002a6: JUMPI 000002a7: PUSH1 0x00 000002a9: DUP1 000002aa: REVERT 000002ab: JUMPDEST 000002ac: POP 000002ad: PUSH2 0x02b4 000002b0: PUSH2 0x0e5e 000002b3: JUMP 000002b4: JUMPDEST 000002b5: PUSH1 0x40 000002b7: MLOAD 000002b8: DUP1 000002b9: DUP3 000002ba: DUP2 000002bb: MSTORE 000002bc: PUSH1 0x20 000002be: ADD 000002bf: SWAP2 000002c0: POP 000002c1: POP 000002c2: PUSH1 0x40 000002c4: MLOAD 000002c5: DUP1 000002c6: SWAP2 000002c7: SUB 000002c8: SWAP1 000002c9: RETURN 000002ca: JUMPDEST 000002cb: CALLVALUE 000002cc: DUP1 000002cd: ISZERO 000002ce: PUSH2 0x02d6 000002d1: JUMPI 000002d2: PUSH1 0x00 000002d4: DUP1 000002d5: REVERT 000002d6: JUMPDEST 000002d7: POP 000002d8: PUSH2 0x02df 000002db: PUSH2 0x0e68 000002de: JUMP 000002df: JUMPDEST 000002e0: PUSH1 0x40 000002e2: MLOAD 000002e3: DUP1 000002e4: DUP3 000002e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002fa: AND 000002fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000310: AND 00000311: DUP2 00000312: MSTORE 00000313: PUSH1 0x20 00000315: ADD 00000316: SWAP2 00000317: POP 00000318: POP 00000319: PUSH1 0x40 0000031b: MLOAD 0000031c: DUP1 0000031d: SWAP2 0000031e: SUB 0000031f: SWAP1 00000320: RETURN 00000321: JUMPDEST 00000322: CALLVALUE 00000323: DUP1 00000324: ISZERO 00000325: PUSH2 0x032d 00000328: JUMPI 00000329: PUSH1 0x00 0000032b: DUP1 0000032c: REVERT 0000032d: JUMPDEST 0000032e: POP 0000032f: PUSH2 0x034c 00000332: PUSH1 0x04 00000334: DUP1 00000335: CALLDATASIZE 00000336: SUB 00000337: DUP2 00000338: ADD 00000339: SWAP1 0000033a: DUP1 0000033b: DUP1 0000033c: CALLDATALOAD 0000033d: SWAP1 0000033e: PUSH1 0x20 00000340: ADD 00000341: SWAP1 00000342: SWAP3 00000343: SWAP2 00000344: SWAP1 00000345: POP 00000346: POP 00000347: POP 00000348: PUSH2 0x0e8e 0000034b: JUMP 0000034c: JUMPDEST 0000034d: PUSH1 0x40 0000034f: MLOAD 00000350: DUP1 00000351: DUP3 00000352: DUP2 00000353: MSTORE 00000354: PUSH1 0x20 00000356: ADD 00000357: SWAP2 00000358: POP 00000359: POP 0000035a: PUSH1 0x40 0000035c: MLOAD 0000035d: DUP1 0000035e: SWAP2 0000035f: SUB 00000360: SWAP1 00000361: RETURN 00000362: JUMPDEST 00000363: CALLVALUE 00000364: DUP1 00000365: ISZERO 00000366: PUSH2 0x036e 00000369: JUMPI 0000036a: PUSH1 0x00 0000036c: DUP1 0000036d: REVERT 0000036e: JUMPDEST 0000036f: POP 00000370: PUSH2 0x0377 00000373: PUSH2 0x0ed7 00000376: JUMP 00000377: JUMPDEST 00000378: PUSH1 0x40 0000037a: MLOAD 0000037b: DUP1 0000037c: DUP3 0000037d: PUSH1 0xff 0000037f: AND 00000380: PUSH1 0xff 00000382: AND 00000383: DUP2 00000384: MSTORE 00000385: PUSH1 0x20 00000387: ADD 00000388: SWAP2 00000389: POP 0000038a: POP 0000038b: PUSH1 0x40 0000038d: MLOAD 0000038e: DUP1 0000038f: SWAP2 00000390: SUB 00000391: SWAP1 00000392: RETURN 00000393: JUMPDEST 00000394: CALLVALUE 00000395: DUP1 00000396: ISZERO 00000397: PUSH2 0x039f 0000039a: JUMPI 0000039b: PUSH1 0x00 0000039d: DUP1 0000039e: REVERT 0000039f: JUMPDEST 000003a0: POP 000003a1: PUSH2 0x03a8 000003a4: PUSH2 0x0edc 000003a7: JUMP 000003a8: JUMPDEST 000003a9: STOP 000003aa: JUMPDEST 000003ab: CALLVALUE 000003ac: DUP1 000003ad: ISZERO 000003ae: PUSH2 0x03b6 000003b1: JUMPI 000003b2: PUSH1 0x00 000003b4: DUP1 000003b5: REVERT 000003b6: JUMPDEST 000003b7: POP 000003b8: PUSH2 0x03bf 000003bb: PUSH2 0x1080 000003be: JUMP 000003bf: JUMPDEST 000003c0: PUSH1 0x40 000003c2: MLOAD 000003c3: DUP1 000003c4: DUP3 000003c5: DUP2 000003c6: MSTORE 000003c7: PUSH1 0x20 000003c9: ADD 000003ca: SWAP2 000003cb: POP 000003cc: POP 000003cd: PUSH1 0x40 000003cf: MLOAD 000003d0: DUP1 000003d1: SWAP2 000003d2: SUB 000003d3: SWAP1 000003d4: RETURN 000003d5: JUMPDEST 000003d6: CALLVALUE 000003d7: DUP1 000003d8: ISZERO 000003d9: PUSH2 0x03e1 000003dc: JUMPI 000003dd: PUSH1 0x00 000003df: DUP1 000003e0: REVERT 000003e1: JUMPDEST 000003e2: POP 000003e3: PUSH2 0x03ea 000003e6: PUSH2 0x10de 000003e9: JUMP 000003ea: JUMPDEST 000003eb: PUSH1 0x40 000003ed: MLOAD 000003ee: DUP1 000003ef: DUP3 000003f0: DUP2 000003f1: MSTORE 000003f2: PUSH1 0x20 000003f4: ADD 000003f5: SWAP2 000003f6: POP 000003f7: POP 000003f8: PUSH1 0x40 000003fa: MLOAD 000003fb: DUP1 000003fc: SWAP2 000003fd: SUB 000003fe: SWAP1 000003ff: RETURN 00000400: JUMPDEST 00000401: CALLVALUE 00000402: DUP1 00000403: ISZERO 00000404: PUSH2 0x040c 00000407: JUMPI 00000408: PUSH1 0x00 0000040a: DUP1 0000040b: REVERT 0000040c: JUMPDEST 0000040d: POP 0000040e: PUSH2 0x042d 00000411: PUSH1 0x04 00000413: DUP1 00000414: CALLDATASIZE 00000415: SUB 00000416: DUP2 00000417: ADD 00000418: SWAP1 00000419: DUP1 0000041a: DUP1 0000041b: CALLDATALOAD 0000041c: ISZERO 0000041d: ISZERO 0000041e: SWAP1 0000041f: PUSH1 0x20 00000421: ADD 00000422: SWAP1 00000423: SWAP3 00000424: SWAP2 00000425: SWAP1 00000426: POP 00000427: POP 00000428: POP 00000429: PUSH2 0x10e4 0000042c: JUMP 0000042d: JUMPDEST 0000042e: PUSH1 0x40 00000430: MLOAD 00000431: DUP1 00000432: DUP3 00000433: DUP2 00000434: MSTORE 00000435: PUSH1 0x20 00000437: ADD 00000438: SWAP2 00000439: POP 0000043a: POP 0000043b: PUSH1 0x40 0000043d: MLOAD 0000043e: DUP1 0000043f: SWAP2 00000440: SUB 00000441: SWAP1 00000442: RETURN 00000443: JUMPDEST 00000444: CALLVALUE 00000445: DUP1 00000446: ISZERO 00000447: PUSH2 0x044f 0000044a: JUMPI 0000044b: PUSH1 0x00 0000044d: DUP1 0000044e: REVERT 0000044f: JUMPDEST 00000450: POP 00000451: PUSH2 0x0458 00000454: PUSH2 0x1150 00000457: JUMP 00000458: JUMPDEST 00000459: PUSH1 0x40 0000045b: MLOAD 0000045c: DUP1 0000045d: DUP3 0000045e: DUP2 0000045f: MSTORE 00000460: PUSH1 0x20 00000462: ADD 00000463: SWAP2 00000464: POP 00000465: POP 00000466: PUSH1 0x40 00000468: MLOAD 00000469: DUP1 0000046a: SWAP2 0000046b: SUB 0000046c: SWAP1 0000046d: RETURN 0000046e: JUMPDEST 0000046f: CALLVALUE 00000470: DUP1 00000471: ISZERO 00000472: PUSH2 0x047a 00000475: JUMPI 00000476: PUSH1 0x00 00000478: DUP1 00000479: REVERT 0000047a: JUMPDEST 0000047b: POP 0000047c: PUSH2 0x04af 0000047f: PUSH1 0x04 00000481: DUP1 00000482: CALLDATASIZE 00000483: SUB 00000484: DUP2 00000485: ADD 00000486: SWAP1 00000487: DUP1 00000488: DUP1 00000489: CALLDATALOAD 0000048a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049f: AND 000004a0: SWAP1 000004a1: PUSH1 0x20 000004a3: ADD 000004a4: SWAP1 000004a5: SWAP3 000004a6: SWAP2 000004a7: SWAP1 000004a8: POP 000004a9: POP 000004aa: POP 000004ab: PUSH2 0x116f 000004ae: JUMP 000004af: JUMPDEST 000004b0: PUSH1 0x40 000004b2: MLOAD 000004b3: DUP1 000004b4: DUP3 000004b5: DUP2 000004b6: MSTORE 000004b7: PUSH1 0x20 000004b9: ADD 000004ba: SWAP2 000004bb: POP 000004bc: POP 000004bd: PUSH1 0x40 000004bf: MLOAD 000004c0: DUP1 000004c1: SWAP2 000004c2: SUB 000004c3: SWAP1 000004c4: RETURN 000004c5: JUMPDEST 000004c6: CALLVALUE 000004c7: DUP1 000004c8: ISZERO 000004c9: PUSH2 0x04d1 000004cc: JUMPI 000004cd: PUSH1 0x00 000004cf: DUP1 000004d0: REVERT 000004d1: JUMPDEST 000004d2: POP 000004d3: PUSH2 0x04f0 000004d6: PUSH1 0x04 000004d8: DUP1 000004d9: CALLDATASIZE 000004da: SUB 000004db: DUP2 000004dc: ADD 000004dd: SWAP1 000004de: DUP1 000004df: DUP1 000004e0: CALLDATALOAD 000004e1: SWAP1 000004e2: PUSH1 0x20 000004e4: ADD 000004e5: SWAP1 000004e6: SWAP3 000004e7: SWAP2 000004e8: SWAP1 000004e9: POP 000004ea: POP 000004eb: POP 000004ec: PUSH2 0x11b8 000004ef: JUMP 000004f0: JUMPDEST 000004f1: STOP 000004f2: JUMPDEST 000004f3: CALLVALUE 000004f4: DUP1 000004f5: ISZERO 000004f6: PUSH2 0x04fe 000004f9: JUMPI 000004fa: PUSH1 0x00 000004fc: DUP1 000004fd: REVERT 000004fe: JUMPDEST 000004ff: POP 00000500: PUSH2 0x0507 00000503: PUSH2 0x121e 00000506: JUMP 00000507: JUMPDEST 00000508: PUSH1 0x40 0000050a: MLOAD 0000050b: DUP1 0000050c: DUP3 0000050d: DUP2 0000050e: MSTORE 0000050f: PUSH1 0x20 00000511: ADD 00000512: SWAP2 00000513: POP 00000514: POP 00000515: PUSH1 0x40 00000517: MLOAD 00000518: DUP1 00000519: SWAP2 0000051a: SUB 0000051b: SWAP1 0000051c: RETURN 0000051d: JUMPDEST 0000051e: CALLVALUE 0000051f: DUP1 00000520: ISZERO 00000521: PUSH2 0x0529 00000524: JUMPI 00000525: PUSH1 0x00 00000527: DUP1 00000528: REVERT 00000529: JUMPDEST 0000052a: POP 0000052b: PUSH2 0x0532 0000052e: PUSH2 0x127c 00000531: JUMP 00000532: JUMPDEST 00000533: STOP 00000534: JUMPDEST 00000535: CALLVALUE 00000536: DUP1 00000537: ISZERO 00000538: PUSH2 0x0540 0000053b: JUMPI 0000053c: PUSH1 0x00 0000053e: DUP1 0000053f: REVERT 00000540: JUMPDEST 00000541: POP 00000542: PUSH2 0x0549 00000545: PUSH2 0x12f8 00000548: JUMP 00000549: JUMPDEST 0000054a: PUSH1 0x40 0000054c: MLOAD 0000054d: DUP1 0000054e: DUP3 0000054f: DUP2 00000550: MSTORE 00000551: PUSH1 0x20 00000553: ADD 00000554: SWAP2 00000555: POP 00000556: POP 00000557: PUSH1 0x40 00000559: MLOAD 0000055a: DUP1 0000055b: SWAP2 0000055c: SUB 0000055d: SWAP1 0000055e: RETURN 0000055f: JUMPDEST 00000560: CALLVALUE 00000561: DUP1 00000562: ISZERO 00000563: PUSH2 0x056b 00000566: JUMPI 00000567: PUSH1 0x00 00000569: DUP1 0000056a: REVERT 0000056b: JUMPDEST 0000056c: POP 0000056d: PUSH2 0x0574 00000570: PUSH2 0x130d 00000573: JUMP 00000574: JUMPDEST 00000575: PUSH1 0x40 00000577: MLOAD 00000578: DUP1 00000579: DUP1 0000057a: PUSH1 0x20 0000057c: ADD 0000057d: DUP3 0000057e: DUP2 0000057f: SUB 00000580: DUP3 00000581: MSTORE 00000582: DUP4 00000583: DUP2 00000584: DUP2 00000585: MLOAD 00000586: DUP2 00000587: MSTORE 00000588: PUSH1 0x20 0000058a: ADD 0000058b: SWAP2 0000058c: POP 0000058d: DUP1 0000058e: MLOAD 0000058f: SWAP1 00000590: PUSH1 0x20 00000592: ADD 00000593: SWAP1 00000594: DUP1 00000595: DUP4 00000596: DUP4 00000597: PUSH1 0x00 00000599: JUMPDEST 0000059a: DUP4 0000059b: DUP2 0000059c: LT 0000059d: ISZERO 0000059e: PUSH2 0x05b4 000005a1: JUMPI 000005a2: DUP1 000005a3: DUP3 000005a4: ADD 000005a5: MLOAD 000005a6: DUP2 000005a7: DUP5 000005a8: ADD 000005a9: MSTORE 000005aa: PUSH1 0x20 000005ac: DUP2 000005ad: ADD 000005ae: SWAP1 000005af: POP 000005b0: PUSH2 0x0599 000005b3: JUMP 000005b4: JUMPDEST 000005b5: POP 000005b6: POP 000005b7: POP 000005b8: POP 000005b9: SWAP1 000005ba: POP 000005bb: SWAP1 000005bc: DUP2 000005bd: ADD 000005be: SWAP1 000005bf: PUSH1 0x1f 000005c1: AND 000005c2: DUP1 000005c3: ISZERO 000005c4: PUSH2 0x05e1 000005c7: JUMPI 000005c8: DUP1 000005c9: DUP3 000005ca: SUB 000005cb: DUP1 000005cc: MLOAD 000005cd: PUSH1 0x01 000005cf: DUP4 000005d0: PUSH1 0x20 000005d2: SUB 000005d3: PUSH2 0x0100 000005d6: EXP 000005d7: SUB 000005d8: NOT 000005d9: AND 000005da: DUP2 000005db: MSTORE 000005dc: PUSH1 0x20 000005de: ADD 000005df: SWAP2 000005e0: POP 000005e1: JUMPDEST 000005e2: POP 000005e3: SWAP3 000005e4: POP 000005e5: POP 000005e6: POP 000005e7: PUSH1 0x40 000005e9: MLOAD 000005ea: DUP1 000005eb: SWAP2 000005ec: SUB 000005ed: SWAP1 000005ee: RETURN 000005ef: JUMPDEST 000005f0: CALLVALUE 000005f1: DUP1 000005f2: ISZERO 000005f3: PUSH2 0x05fb 000005f6: JUMPI 000005f7: PUSH1 0x00 000005f9: DUP1 000005fa: REVERT 000005fb: JUMPDEST 000005fc: POP 000005fd: PUSH2 0x063a 00000600: PUSH1 0x04 00000602: DUP1 00000603: CALLDATASIZE 00000604: SUB 00000605: DUP2 00000606: ADD 00000607: SWAP1 00000608: DUP1 00000609: DUP1 0000060a: CALLDATALOAD 0000060b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000620: AND 00000621: SWAP1 00000622: PUSH1 0x20 00000624: ADD 00000625: SWAP1 00000626: SWAP3 00000627: SWAP2 00000628: SWAP1 00000629: DUP1 0000062a: CALLDATALOAD 0000062b: SWAP1 0000062c: PUSH1 0x20 0000062e: ADD 0000062f: SWAP1 00000630: SWAP3 00000631: SWAP2 00000632: SWAP1 00000633: POP 00000634: POP 00000635: POP 00000636: PUSH2 0x13ab 00000639: JUMP 0000063a: JUMPDEST 0000063b: PUSH1 0x40 0000063d: MLOAD 0000063e: DUP1 0000063f: DUP3 00000640: ISZERO 00000641: ISZERO 00000642: ISZERO 00000643: ISZERO 00000644: DUP2 00000645: MSTORE 00000646: PUSH1 0x20 00000648: ADD 00000649: SWAP2 0000064a: POP 0000064b: POP 0000064c: PUSH1 0x40 0000064e: MLOAD 0000064f: DUP1 00000650: SWAP2 00000651: SUB 00000652: SWAP1 00000653: RETURN 00000654: JUMPDEST 00000655: CALLVALUE 00000656: DUP1 00000657: ISZERO 00000658: PUSH2 0x0660 0000065b: JUMPI 0000065c: PUSH1 0x00 0000065e: DUP1 0000065f: REVERT 00000660: JUMPDEST 00000661: POP 00000662: PUSH2 0x06bb 00000665: PUSH1 0x04 00000667: DUP1 00000668: CALLDATASIZE 00000669: SUB 0000066a: DUP2 0000066b: ADD 0000066c: SWAP1 0000066d: DUP1 0000066e: DUP1 0000066f: CALLDATALOAD 00000670: SWAP1 00000671: PUSH1 0x20 00000673: ADD 00000674: SWAP1 00000675: DUP3 00000676: ADD 00000677: DUP1 00000678: CALLDATALOAD 00000679: SWAP1 0000067a: PUSH1 0x20 0000067c: ADD 0000067d: SWAP1 0000067e: DUP1 0000067f: DUP1 00000680: PUSH1 0x1f 00000682: ADD 00000683: PUSH1 0x20 00000685: DUP1 00000686: SWAP2 00000687: DIV 00000688: MUL 00000689: PUSH1 0x20 0000068b: ADD 0000068c: PUSH1 0x40 0000068e: MLOAD 0000068f: SWAP1 00000690: DUP2 00000691: ADD 00000692: PUSH1 0x40 00000694: MSTORE 00000695: DUP1 00000696: SWAP4 00000697: SWAP3 00000698: SWAP2 00000699: SWAP1 0000069a: DUP2 0000069b: DUP2 0000069c: MSTORE 0000069d: PUSH1 0x20 0000069f: ADD 000006a0: DUP4 000006a1: DUP4 000006a2: DUP1 000006a3: DUP3 000006a4: DUP5 000006a5: CALLDATACOPY 000006a6: DUP3 000006a7: ADD 000006a8: SWAP2 000006a9: POP 000006aa: POP 000006ab: POP 000006ac: POP 000006ad: POP 000006ae: POP 000006af: SWAP2 000006b0: SWAP3 000006b1: SWAP2 000006b2: SWAP3 000006b3: SWAP1 000006b4: POP 000006b5: POP 000006b6: POP 000006b7: PUSH2 0x165a 000006ba: JUMP 000006bb: JUMPDEST 000006bc: STOP 000006bd: JUMPDEST 000006be: CALLVALUE 000006bf: DUP1 000006c0: ISZERO 000006c1: PUSH2 0x06c9 000006c4: JUMPI 000006c5: PUSH1 0x00 000006c7: DUP1 000006c8: REVERT 000006c9: JUMPDEST 000006ca: POP 000006cb: PUSH2 0x0724 000006ce: PUSH1 0x04 000006d0: DUP1 000006d1: CALLDATASIZE 000006d2: SUB 000006d3: DUP2 000006d4: ADD 000006d5: SWAP1 000006d6: DUP1 000006d7: DUP1 000006d8: CALLDATALOAD 000006d9: SWAP1 000006da: PUSH1 0x20 000006dc: ADD 000006dd: SWAP1 000006de: DUP3 000006df: ADD 000006e0: DUP1 000006e1: CALLDATALOAD 000006e2: SWAP1 000006e3: PUSH1 0x20 000006e5: ADD 000006e6: SWAP1 000006e7: DUP1 000006e8: DUP1 000006e9: PUSH1 0x1f 000006eb: ADD 000006ec: PUSH1 0x20 000006ee: DUP1 000006ef: SWAP2 000006f0: DIV 000006f1: MUL 000006f2: PUSH1 0x20 000006f4: ADD 000006f5: PUSH1 0x40 000006f7: MLOAD 000006f8: SWAP1 000006f9: DUP2 000006fa: ADD 000006fb: PUSH1 0x40 000006fd: MSTORE 000006fe: DUP1 000006ff: SWAP4 00000700: SWAP3 00000701: SWAP2 00000702: SWAP1 00000703: DUP2 00000704: DUP2 00000705: MSTORE 00000706: PUSH1 0x20 00000708: ADD 00000709: DUP4 0000070a: DUP4 0000070b: DUP1 0000070c: DUP3 0000070d: DUP5 0000070e: CALLDATACOPY 0000070f: DUP3 00000710: ADD 00000711: SWAP2 00000712: POP 00000713: POP 00000714: POP 00000715: POP 00000716: POP 00000717: POP 00000718: SWAP2 00000719: SWAP3 0000071a: SWAP2 0000071b: SWAP3 0000071c: SWAP1 0000071d: POP 0000071e: POP 0000071f: POP 00000720: PUSH2 0x16d0 00000723: JUMP 00000724: JUMPDEST 00000725: STOP 00000726: JUMPDEST 00000727: CALLVALUE 00000728: DUP1 00000729: ISZERO 0000072a: PUSH2 0x0732 0000072d: JUMPI 0000072e: PUSH1 0x00 00000730: DUP1 00000731: REVERT 00000732: JUMPDEST 00000733: POP 00000734: PUSH2 0x073b 00000737: PUSH2 0x1746 0000073a: JUMP 0000073b: JUMPDEST 0000073c: STOP 0000073d: JUMPDEST 0000073e: CALLVALUE 0000073f: DUP1 00000740: ISZERO 00000741: PUSH2 0x0749 00000744: JUMPI 00000745: PUSH1 0x00 00000747: DUP1 00000748: REVERT 00000749: JUMPDEST 0000074a: POP 0000074b: PUSH2 0x077e 0000074e: PUSH1 0x04 00000750: DUP1 00000751: CALLDATASIZE 00000752: SUB 00000753: DUP2 00000754: ADD 00000755: SWAP1 00000756: DUP1 00000757: DUP1 00000758: CALLDATALOAD 00000759: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076e: AND 0000076f: SWAP1 00000770: PUSH1 0x20 00000772: ADD 00000773: SWAP1 00000774: SWAP3 00000775: SWAP2 00000776: SWAP1 00000777: POP 00000778: POP 00000779: POP 0000077a: PUSH2 0x17c2 0000077d: JUMP 0000077e: JUMPDEST 0000077f: STOP 00000780: JUMPDEST 00000781: PUSH2 0x0788 00000784: PUSH2 0x1862 00000787: JUMP 00000788: JUMPDEST 00000789: STOP 0000078a: JUMPDEST 0000078b: CALLVALUE 0000078c: DUP1 0000078d: ISZERO 0000078e: PUSH2 0x0796 00000791: JUMPI 00000792: PUSH1 0x00 00000794: DUP1 00000795: REVERT 00000796: JUMPDEST 00000797: POP 00000798: PUSH2 0x07b5 0000079b: PUSH1 0x04 0000079d: DUP1 0000079e: CALLDATASIZE 0000079f: SUB 000007a0: DUP2 000007a1: ADD 000007a2: SWAP1 000007a3: DUP1 000007a4: DUP1 000007a5: CALLDATALOAD 000007a6: SWAP1 000007a7: PUSH1 0x20 000007a9: ADD 000007aa: SWAP1 000007ab: SWAP3 000007ac: SWAP2 000007ad: SWAP1 000007ae: POP 000007af: POP 000007b0: POP 000007b1: PUSH2 0x18d3 000007b4: JUMP 000007b5: JUMPDEST 000007b6: STOP 000007b7: JUMPDEST 000007b8: CALLVALUE 000007b9: DUP1 000007ba: ISZERO 000007bb: PUSH2 0x07c3 000007be: JUMPI 000007bf: PUSH1 0x00 000007c1: DUP1 000007c2: REVERT 000007c3: JUMPDEST 000007c4: POP 000007c5: PUSH2 0x07cc 000007c8: PUSH2 0x1b7b 000007cb: JUMP 000007cc: JUMPDEST 000007cd: STOP 000007ce: JUMPDEST 000007cf: PUSH2 0x0802 000007d2: PUSH1 0x04 000007d4: DUP1 000007d5: CALLDATASIZE 000007d6: SUB 000007d7: DUP2 000007d8: ADD 000007d9: SWAP1 000007da: DUP1 000007db: DUP1 000007dc: CALLDATALOAD 000007dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007f2: AND 000007f3: SWAP1 000007f4: PUSH1 0x20 000007f6: ADD 000007f7: SWAP1 000007f8: SWAP3 000007f9: SWAP2 000007fa: SWAP1 000007fb: POP 000007fc: POP 000007fd: POP 000007fe: PUSH2 0x1be2 00000801: JUMP 00000802: JUMPDEST 00000803: PUSH1 0x40 00000805: MLOAD 00000806: DUP1 00000807: DUP3 00000808: DUP2 00000809: MSTORE 0000080a: PUSH1 0x20 0000080c: ADD 0000080d: SWAP2 0000080e: POP 0000080f: POP 00000810: PUSH1 0x40 00000812: MLOAD 00000813: DUP1 00000814: SWAP2 00000815: SUB 00000816: SWAP1 00000817: RETURN 00000818: JUMPDEST 00000819: CALLVALUE 0000081a: DUP1 0000081b: ISZERO 0000081c: PUSH2 0x0824 0000081f: JUMPI 00000820: PUSH1 0x00 00000822: DUP1 00000823: REVERT 00000824: JUMPDEST 00000825: POP 00000826: PUSH2 0x082d 00000829: PUSH2 0x1bf4 0000082c: JUMP 0000082d: JUMPDEST 0000082e: STOP 0000082f: JUMPDEST 00000830: PUSH1 0x00 00000832: DUP1 00000833: PUSH1 0x00 00000835: DUP1 00000836: PUSH1 0x00 00000838: DUP1 00000839: PUSH1 0x00 0000083b: DUP1 0000083c: PUSH1 0x00 0000083e: DUP1 0000083f: PUSH1 0x00 00000841: ISZERO 00000842: ISZERO 00000843: PUSH1 0x08 00000845: PUSH1 0x00 00000847: CALLER 00000848: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000085d: AND 0000085e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000873: AND 00000874: DUP2 00000875: MSTORE 00000876: PUSH1 0x20 00000878: ADD 00000879: SWAP1 0000087a: DUP2 0000087b: MSTORE 0000087c: PUSH1 0x20 0000087e: ADD 0000087f: PUSH1 0x00 00000881: KECCAK256 00000882: PUSH1 0x00 00000884: SWAP1 00000885: SLOAD 00000886: SWAP1 00000887: PUSH2 0x0100 0000088a: EXP 0000088b: SWAP1 0000088c: DIV 0000088d: PUSH1 0xff 0000088f: AND 00000890: ISZERO 00000891: ISZERO 00000892: EQ 00000893: DUP1 00000894: ISZERO 00000895: PUSH2 0x08b1 00000898: JUMPI 00000899: POP 0000089a: PUSH1 0x01 0000089c: ISZERO 0000089d: ISZERO 0000089e: PUSH1 0x09 000008a0: PUSH1 0x00 000008a2: SWAP1 000008a3: SLOAD 000008a4: SWAP1 000008a5: PUSH2 0x0100 000008a8: EXP 000008a9: SWAP1 000008aa: DIV 000008ab: PUSH1 0xff 000008ad: AND 000008ae: ISZERO 000008af: ISZERO 000008b0: EQ 000008b1: JUMPDEST 000008b2: ISZERO 000008b3: PUSH2 0x08bb 000008b6: JUMPI 000008b7: PUSH1 0x00 000008b9: DUP1 000008ba: REVERT 000008bb: JUMPDEST 000008bc: CALLER 000008bd: SWAP9 000008be: POP 000008bf: PUSH2 0x08cc 000008c2: DUP13 000008c3: PUSH1 0x0a 000008c5: PUSH1 0xff 000008c7: AND 000008c8: PUSH2 0x1d68 000008cb: JUMP 000008cc: JUMPDEST 000008cd: SWAP8 000008ce: POP 000008cf: PUSH2 0x08d9 000008d2: DUP13 000008d3: PUSH1 0x14 000008d5: PUSH2 0x1d68 000008d8: JUMP 000008d9: JUMPDEST 000008da: SWAP7 000008db: POP 000008dc: PUSH2 0x08e6 000008df: DUP9 000008e0: PUSH1 0x03 000008e2: PUSH2 0x1d68 000008e5: JUMP 000008e6: JUMPDEST 000008e7: SWAP6 000008e8: POP 000008e9: PUSH2 0x08f2 000008ec: DUP9 000008ed: DUP8 000008ee: PUSH2 0x1d83 000008f1: JUMP 000008f2: JUMPDEST 000008f3: SWAP5 000008f4: POP 000008f5: PUSH2 0x0900 000008f8: DUP13 000008f9: DUP9 000008fa: DUP11 000008fb: ADD 000008fc: PUSH2 0x1d83 000008ff: JUMP 00000900: JUMPDEST 00000901: SWAP4 00000902: POP 00000903: PUSH2 0x090b 00000906: DUP5 00000907: PUSH2 0x1d9c 0000090a: JUMP 0000090b: JUMPDEST 0000090c: SWAP3 0000090d: POP 0000090e: PUSH9 0x010000000000000000 00000918: DUP6 00000919: MUL 0000091a: SWAP2 0000091b: POP 0000091c: PUSH1 0x09 0000091e: PUSH1 0x01 00000920: SWAP1 00000921: SLOAD 00000922: SWAP1 00000923: PUSH2 0x0100 00000926: EXP 00000927: SWAP1 00000928: DIV 00000929: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000093e: AND 0000093f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000954: AND 00000955: PUSH2 0x08fc 00000958: DUP9 00000959: SWAP1 0000095a: DUP2 0000095b: ISZERO 0000095c: MUL 0000095d: SWAP1 0000095e: PUSH1 0x40 00000960: MLOAD 00000961: PUSH1 0x00 00000963: PUSH1 0x40 00000965: MLOAD 00000966: DUP1 00000967: DUP4 00000968: SUB 00000969: DUP2 0000096a: DUP6 0000096b: DUP9 0000096c: DUP9 0000096d: CALL 0000096e: SWAP4 0000096f: POP 00000970: POP 00000971: POP 00000972: POP 00000973: ISZERO 00000974: DUP1 00000975: ISZERO 00000976: PUSH2 0x0983 00000979: JUMPI 0000097a: RETURNDATASIZE 0000097b: PUSH1 0x00 0000097d: DUP1 0000097e: RETURNDATACOPY 0000097f: RETURNDATASIZE 00000980: PUSH1 0x00 00000982: REVERT 00000983: JUMPDEST 00000984: POP 00000985: PUSH1 0x00 00000987: DUP4 00000988: GT 00000989: DUP1 0000098a: ISZERO 0000098b: PUSH2 0x09a0 0000098e: JUMPI 0000098f: POP 00000990: PUSH1 0x06 00000992: SLOAD 00000993: PUSH2 0x099e 00000996: DUP5 00000997: PUSH1 0x06 00000999: SLOAD 0000099a: PUSH2 0x1e29 0000099d: JUMP 0000099e: JUMPDEST 0000099f: GT 000009a0: JUMPDEST 000009a1: ISZERO 000009a2: ISZERO 000009a3: PUSH2 0x09ab 000009a6: JUMPI 000009a7: PUSH1 0x00 000009a9: DUP1 000009aa: REVERT 000009ab: JUMPDEST 000009ac: PUSH1 0x00 000009ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c3: AND 000009c4: DUP12 000009c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009da: AND 000009db: EQ 000009dc: ISZERO 000009dd: DUP1 000009de: ISZERO 000009df: PUSH2 0x0a14 000009e2: JUMPI 000009e3: POP 000009e4: DUP9 000009e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009fa: AND 000009fb: DUP12 000009fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a11: AND 00000a12: EQ 00000a13: ISZERO 00000a14: JUMPDEST 00000a15: DUP1 00000a16: ISZERO 00000a17: PUSH2 0x0a61 00000a1a: JUMPI 00000a1b: POP 00000a1c: PUSH1 0x02 00000a1e: SLOAD 00000a1f: PUSH1 0x03 00000a21: PUSH1 0x00 00000a23: DUP14 00000a24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a39: AND 00000a3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a4f: AND 00000a50: DUP2 00000a51: MSTORE 00000a52: PUSH1 0x20 00000a54: ADD 00000a55: SWAP1 00000a56: DUP2 00000a57: MSTORE 00000a58: PUSH1 0x20 00000a5a: ADD 00000a5b: PUSH1 0x00 00000a5d: KECCAK256 00000a5e: SLOAD 00000a5f: LT 00000a60: ISZERO 00000a61: JUMPDEST 00000a62: ISZERO 00000a63: PUSH2 0x0af7 00000a66: JUMPI 00000a67: PUSH2 0x0aaf 00000a6a: PUSH1 0x04 00000a6c: PUSH1 0x00 00000a6e: DUP14 00000a6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a84: AND 00000a85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a9a: AND 00000a9b: DUP2 00000a9c: MSTORE 00000a9d: PUSH1 0x20 00000a9f: ADD 00000aa0: SWAP1 00000aa1: DUP2 00000aa2: MSTORE 00000aa3: PUSH1 0x20 00000aa5: ADD 00000aa6: PUSH1 0x00 00000aa8: KECCAK256 00000aa9: SLOAD 00000aaa: DUP8 00000aab: PUSH2 0x1e29 00000aae: JUMP 00000aaf: JUMPDEST 00000ab0: PUSH1 0x04 00000ab2: PUSH1 0x00 00000ab4: DUP14 00000ab5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aca: AND 00000acb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ae0: AND 00000ae1: DUP2 00000ae2: MSTORE 00000ae3: PUSH1 0x20 00000ae5: ADD 00000ae6: SWAP1 00000ae7: DUP2 00000ae8: MSTORE 00000ae9: PUSH1 0x20 00000aeb: ADD 00000aec: PUSH1 0x00 00000aee: KECCAK256 00000aef: DUP2 00000af0: SWAP1 00000af1: SSTORE 00000af2: POP 00000af3: PUSH2 0x0b12 00000af6: JUMP 00000af7: JUMPDEST 00000af8: PUSH2 0x0b01 00000afb: DUP6 00000afc: DUP8 00000afd: PUSH2 0x1e29 00000b00: JUMP 00000b01: JUMPDEST 00000b02: SWAP5 00000b03: POP 00000b04: PUSH9 0x010000000000000000 00000b0e: DUP6 00000b0f: MUL 00000b10: SWAP2 00000b11: POP 00000b12: JUMPDEST 00000b13: PUSH1 0x00 00000b15: PUSH1 0x06 00000b17: SLOAD 00000b18: GT 00000b19: ISZERO 00000b1a: PUSH2 0x0b7d 00000b1d: JUMPI 00000b1e: PUSH2 0x0b29 00000b21: PUSH1 0x06 00000b23: SLOAD 00000b24: DUP5 00000b25: PUSH2 0x1e29 00000b28: JUMP 00000b29: JUMPDEST 00000b2a: PUSH1 0x06 00000b2c: DUP2 00000b2d: SWAP1 00000b2e: SSTORE 00000b2f: POP 00000b30: PUSH1 0x06 00000b32: SLOAD 00000b33: PUSH9 0x010000000000000000 00000b3d: DUP7 00000b3e: MUL 00000b3f: DUP2 00000b40: ISZERO 00000b41: ISZERO 00000b42: PUSH2 0x0b47 00000b45: JUMPI 00000b46: INVALID 00000b47: JUMPDEST 00000b48: DIV 00000b49: PUSH1 0x07 00000b4b: PUSH1 0x00 00000b4d: DUP3 00000b4e: DUP3 00000b4f: SLOAD 00000b50: ADD 00000b51: SWAP3 00000b52: POP 00000b53: POP 00000b54: DUP2 00000b55: SWAP1 00000b56: SSTORE 00000b57: POP 00000b58: PUSH1 0x06 00000b5a: SLOAD 00000b5b: PUSH9 0x010000000000000000 00000b65: DUP7 00000b66: MUL 00000b67: DUP2 00000b68: ISZERO 00000b69: ISZERO 00000b6a: PUSH2 0x0b6f 00000b6d: JUMPI 00000b6e: INVALID 00000b6f: JUMPDEST 00000b70: DIV 00000b71: DUP4 00000b72: MUL 00000b73: DUP3 00000b74: SUB 00000b75: DUP3 00000b76: SUB 00000b77: SWAP2 00000b78: POP 00000b79: PUSH2 0x0b85 00000b7c: JUMP 00000b7d: JUMPDEST 00000b7e: DUP3 00000b7f: PUSH1 0x06 00000b81: DUP2 00000b82: SWAP1 00000b83: SSTORE 00000b84: POP 00000b85: JUMPDEST 00000b86: PUSH2 0x0bce 00000b89: PUSH1 0x03 00000b8b: PUSH1 0x00 00000b8d: DUP12 00000b8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba3: AND 00000ba4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bb9: AND 00000bba: DUP2 00000bbb: MSTORE 00000bbc: PUSH1 0x20 00000bbe: ADD 00000bbf: SWAP1 00000bc0: DUP2 00000bc1: MSTORE 00000bc2: PUSH1 0x20 00000bc4: ADD 00000bc5: PUSH1 0x00 00000bc7: KECCAK256 00000bc8: SLOAD 00000bc9: DUP5 00000bca: PUSH2 0x1e29 00000bcd: JUMP 00000bce: JUMPDEST 00000bcf: PUSH1 0x03 00000bd1: PUSH1 0x00 00000bd3: DUP12 00000bd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be9: AND 00000bea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bff: AND 00000c00: DUP2 00000c01: MSTORE 00000c02: PUSH1 0x20 00000c04: ADD 00000c05: SWAP1 00000c06: DUP2 00000c07: MSTORE 00000c08: PUSH1 0x20 00000c0a: ADD 00000c0b: PUSH1 0x00 00000c0d: KECCAK256 00000c0e: DUP2 00000c0f: SWAP1 00000c10: SSTORE 00000c11: POP 00000c12: DUP2 00000c13: DUP4 00000c14: PUSH1 0x07 00000c16: SLOAD 00000c17: MUL 00000c18: SUB 00000c19: SWAP1 00000c1a: POP 00000c1b: DUP1 00000c1c: PUSH1 0x05 00000c1e: PUSH1 0x00 00000c20: DUP12 00000c21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c36: AND 00000c37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c4c: AND 00000c4d: DUP2 00000c4e: MSTORE 00000c4f: PUSH1 0x20 00000c51: ADD 00000c52: SWAP1 00000c53: DUP2 00000c54: MSTORE 00000c55: PUSH1 0x20 00000c57: ADD 00000c58: PUSH1 0x00 00000c5a: KECCAK256 00000c5b: PUSH1 0x00 00000c5d: DUP3 00000c5e: DUP3 00000c5f: SLOAD 00000c60: ADD 00000c61: SWAP3 00000c62: POP 00000c63: POP 00000c64: DUP2 00000c65: SWAP1 00000c66: SSTORE 00000c67: POP 00000c68: DUP11 00000c69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c7e: AND 00000c7f: DUP10 00000c80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c95: AND 00000c96: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5 00000cb7: DUP15 00000cb8: DUP7 00000cb9: PUSH1 0x40 00000cbb: MLOAD 00000cbc: DUP1 00000cbd: DUP4 00000cbe: DUP2 00000cbf: MSTORE 00000cc0: PUSH1 0x20 00000cc2: ADD 00000cc3: DUP3 00000cc4: DUP2 00000cc5: MSTORE 00000cc6: PUSH1 0x20 00000cc8: ADD 00000cc9: SWAP3 00000cca: POP 00000ccb: POP 00000ccc: POP 00000ccd: PUSH1 0x40 00000ccf: MLOAD 00000cd0: DUP1 00000cd1: SWAP2 00000cd2: SUB 00000cd3: SWAP1 00000cd4: LOG3 00000cd5: DUP3 00000cd6: SWAP10 00000cd7: POP 00000cd8: POP 00000cd9: POP 00000cda: POP 00000cdb: POP 00000cdc: POP 00000cdd: POP 00000cde: POP 00000cdf: POP 00000ce0: POP 00000ce1: SWAP3 00000ce2: SWAP2 00000ce3: POP 00000ce4: POP 00000ce5: JUMP 00000ce6: JUMPDEST 00000ce7: PUSH1 0x00 00000ce9: PUSH9 0x010000000000000000 00000cf3: PUSH1 0x05 00000cf5: PUSH1 0x00 00000cf7: DUP5 00000cf8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d0d: AND 00000d0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d23: AND 00000d24: DUP2 00000d25: MSTORE 00000d26: PUSH1 0x20 00000d28: ADD 00000d29: SWAP1 00000d2a: DUP2 00000d2b: MSTORE 00000d2c: PUSH1 0x20 00000d2e: ADD 00000d2f: PUSH1 0x00 00000d31: KECCAK256 00000d32: SLOAD 00000d33: PUSH1 0x03 00000d35: PUSH1 0x00 00000d37: DUP6 00000d38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d4d: AND 00000d4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d63: AND 00000d64: DUP2 00000d65: MSTORE 00000d66: PUSH1 0x20 00000d68: ADD 00000d69: SWAP1 00000d6a: DUP2 00000d6b: MSTORE 00000d6c: PUSH1 0x20 00000d6e: ADD 00000d6f: PUSH1 0x00 00000d71: KECCAK256 00000d72: SLOAD 00000d73: PUSH1 0x07 00000d75: SLOAD 00000d76: MUL 00000d77: SUB 00000d78: DUP2 00000d79: ISZERO 00000d7a: ISZERO 00000d7b: PUSH2 0x0d80 00000d7e: JUMPI 00000d7f: INVALID 00000d80: JUMPDEST 00000d81: DIV 00000d82: SWAP1 00000d83: POP 00000d84: SWAP2 00000d85: SWAP1 00000d86: POP 00000d87: JUMP 00000d88: JUMPDEST 00000d89: PUSH1 0x00 00000d8b: DUP1 00000d8c: SLOAD 00000d8d: PUSH1 0x01 00000d8f: DUP2 00000d90: PUSH1 0x01 00000d92: AND 00000d93: ISZERO 00000d94: PUSH2 0x0100 00000d97: MUL 00000d98: SUB 00000d99: AND 00000d9a: PUSH1 0x02 00000d9c: SWAP1 00000d9d: DIV 00000d9e: DUP1 00000d9f: PUSH1 0x1f 00000da1: ADD 00000da2: PUSH1 0x20 00000da4: DUP1 00000da5: SWAP2 00000da6: DIV 00000da7: MUL 00000da8: PUSH1 0x20 00000daa: ADD 00000dab: PUSH1 0x40 00000dad: MLOAD 00000dae: SWAP1 00000daf: DUP2 00000db0: ADD 00000db1: PUSH1 0x40 00000db3: MSTORE 00000db4: DUP1 00000db5: SWAP3 00000db6: SWAP2 00000db7: SWAP1 00000db8: DUP2 00000db9: DUP2 00000dba: MSTORE 00000dbb: PUSH1 0x20 00000dbd: ADD 00000dbe: DUP3 00000dbf: DUP1 00000dc0: SLOAD 00000dc1: PUSH1 0x01 00000dc3: DUP2 00000dc4: PUSH1 0x01 00000dc6: AND 00000dc7: ISZERO 00000dc8: PUSH2 0x0100 00000dcb: MUL 00000dcc: SUB 00000dcd: AND 00000dce: PUSH1 0x02 00000dd0: SWAP1 00000dd1: DIV 00000dd2: DUP1 00000dd3: ISZERO 00000dd4: PUSH2 0x0e1e 00000dd7: JUMPI 00000dd8: DUP1 00000dd9: PUSH1 0x1f 00000ddb: LT 00000ddc: PUSH2 0x0df3 00000ddf: JUMPI 00000de0: PUSH2 0x0100 00000de3: DUP1 00000de4: DUP4 00000de5: SLOAD 00000de6: DIV 00000de7: MUL 00000de8: DUP4 00000de9: MSTORE 00000dea: SWAP2 00000deb: PUSH1 0x20 00000ded: ADD 00000dee: SWAP2 00000def: PUSH2 0x0e1e 00000df2: JUMP 00000df3: JUMPDEST 00000df4: DUP3 00000df5: ADD 00000df6: SWAP2 00000df7: SWAP1 00000df8: PUSH1 0x00 00000dfa: MSTORE 00000dfb: PUSH1 0x20 00000dfd: PUSH1 0x00 00000dff: KECCAK256 00000e00: SWAP1 00000e01: JUMPDEST 00000e02: DUP2 00000e03: SLOAD 00000e04: DUP2 00000e05: MSTORE 00000e06: SWAP1 00000e07: PUSH1 0x01 00000e09: ADD 00000e0a: SWAP1 00000e0b: PUSH1 0x20 00000e0d: ADD 00000e0e: DUP1 00000e0f: DUP4 00000e10: GT 00000e11: PUSH2 0x0e01 00000e14: JUMPI 00000e15: DUP3 00000e16: SWAP1 00000e17: SUB 00000e18: PUSH1 0x1f 00000e1a: AND 00000e1b: DUP3 00000e1c: ADD 00000e1d: SWAP2 00000e1e: JUMPDEST 00000e1f: POP 00000e20: POP 00000e21: POP 00000e22: POP 00000e23: POP 00000e24: DUP2 00000e25: JUMP 00000e26: JUMPDEST 00000e27: PUSH1 0x00 00000e29: DUP1 00000e2a: PUSH1 0x00 00000e2c: DUP1 00000e2d: PUSH2 0x0e3a 00000e30: DUP6 00000e31: PUSH1 0x0a 00000e33: PUSH1 0xff 00000e35: AND 00000e36: PUSH2 0x1d68 00000e39: JUMP 00000e3a: JUMPDEST 00000e3b: SWAP3 00000e3c: POP 00000e3d: PUSH2 0x0e46 00000e40: DUP6 00000e41: DUP5 00000e42: PUSH2 0x1d83 00000e45: JUMP 00000e46: JUMPDEST 00000e47: SWAP2 00000e48: POP 00000e49: PUSH2 0x0e51 00000e4c: DUP3 00000e4d: PUSH2 0x1d9c 00000e50: JUMP 00000e51: JUMPDEST 00000e52: SWAP1 00000e53: POP 00000e54: DUP1 00000e55: SWAP4 00000e56: POP 00000e57: POP 00000e58: POP 00000e59: POP 00000e5a: SWAP2 00000e5b: SWAP1 00000e5c: POP 00000e5d: JUMP 00000e5e: JUMPDEST 00000e5f: PUSH1 0x00 00000e61: PUSH1 0x06 00000e63: SLOAD 00000e64: SWAP1 00000e65: POP 00000e66: SWAP1 00000e67: JUMP 00000e68: JUMPDEST 00000e69: PUSH1 0x09 00000e6b: PUSH1 0x01 00000e6d: SWAP1 00000e6e: SLOAD 00000e6f: SWAP1 00000e70: PUSH2 0x0100 00000e73: EXP 00000e74: SWAP1 00000e75: DIV 00000e76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e8b: AND 00000e8c: DUP2 00000e8d: JUMP 00000e8e: JUMPDEST 00000e8f: PUSH1 0x00 00000e91: DUP1 00000e92: PUSH1 0x00 00000e94: DUP1 00000e95: PUSH1 0x06 00000e97: SLOAD 00000e98: DUP6 00000e99: GT 00000e9a: ISZERO 00000e9b: ISZERO 00000e9c: ISZERO 00000e9d: PUSH2 0x0ea5 00000ea0: JUMPI 00000ea1: PUSH1 0x00 00000ea3: DUP1 00000ea4: REVERT 00000ea5: JUMPDEST 00000ea6: PUSH2 0x0eae 00000ea9: DUP6 00000eaa: PUSH2 0x1e47 00000ead: JUMP 00000eae: JUMPDEST 00000eaf: SWAP3 00000eb0: POP 00000eb1: PUSH2 0x0ebe 00000eb4: DUP4 00000eb5: PUSH1 0x0a 00000eb7: PUSH1 0xff 00000eb9: AND 00000eba: PUSH2 0x1d68 00000ebd: JUMP 00000ebe: JUMPDEST 00000ebf: SWAP2 00000ec0: POP 00000ec1: PUSH2 0x0eca 00000ec4: DUP4 00000ec5: DUP4 00000ec6: PUSH2 0x1d83 00000ec9: JUMP 00000eca: JUMPDEST 00000ecb: SWAP1 00000ecc: POP 00000ecd: DUP1 00000ece: SWAP4 00000ecf: POP 00000ed0: POP 00000ed1: POP 00000ed2: POP 00000ed3: SWAP2 00000ed4: SWAP1 00000ed5: POP 00000ed6: JUMP 00000ed7: JUMPDEST 00000ed8: PUSH1 0x12 00000eda: DUP2 00000edb: JUMP 00000edc: JUMPDEST 00000edd: PUSH1 0x00 00000edf: DUP1 00000ee0: PUSH1 0x00 00000ee2: PUSH2 0x0eeb 00000ee5: PUSH1 0x01 00000ee7: PUSH2 0x10e4 00000eea: JUMP 00000eeb: JUMPDEST 00000eec: GT 00000eed: ISZERO 00000eee: ISZERO 00000eef: PUSH2 0x0ef7 00000ef2: JUMPI 00000ef3: PUSH1 0x00 00000ef5: DUP1 00000ef6: REVERT 00000ef7: JUMPDEST 00000ef8: CALLER 00000ef9: SWAP2 00000efa: POP 00000efb: PUSH2 0x0f04 00000efe: PUSH1 0x00 00000f00: PUSH2 0x10e4 00000f03: JUMP 00000f04: JUMPDEST 00000f05: SWAP1 00000f06: POP 00000f07: PUSH9 0x010000000000000000 00000f11: DUP2 00000f12: MUL 00000f13: PUSH1 0x05 00000f15: PUSH1 0x00 00000f17: DUP5 00000f18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f2d: AND 00000f2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f43: AND 00000f44: DUP2 00000f45: MSTORE 00000f46: PUSH1 0x20 00000f48: ADD 00000f49: SWAP1 00000f4a: DUP2 00000f4b: MSTORE 00000f4c: PUSH1 0x20 00000f4e: ADD 00000f4f: PUSH1 0x00 00000f51: KECCAK256 00000f52: PUSH1 0x00 00000f54: DUP3 00000f55: DUP3 00000f56: SLOAD 00000f57: ADD 00000f58: SWAP3 00000f59: POP 00000f5a: POP 00000f5b: DUP2 00000f5c: SWAP1 00000f5d: SSTORE 00000f5e: POP 00000f5f: PUSH1 0x04 00000f61: PUSH1 0x00 00000f63: DUP4 00000f64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f79: AND 00000f7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f8f: AND 00000f90: DUP2 00000f91: MSTORE 00000f92: PUSH1 0x20 00000f94: ADD 00000f95: SWAP1 00000f96: DUP2 00000f97: MSTORE 00000f98: PUSH1 0x20 00000f9a: ADD 00000f9b: PUSH1 0x00 00000f9d: KECCAK256 00000f9e: SLOAD 00000f9f: DUP2 00000fa0: ADD 00000fa1: SWAP1 00000fa2: POP 00000fa3: PUSH1 0x00 00000fa5: PUSH1 0x04 00000fa7: PUSH1 0x00 00000fa9: DUP5 00000faa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fbf: AND 00000fc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fd5: AND 00000fd6: DUP2 00000fd7: MSTORE 00000fd8: PUSH1 0x20 00000fda: ADD 00000fdb: SWAP1 00000fdc: DUP2 00000fdd: MSTORE 00000fde: PUSH1 0x20 00000fe0: ADD 00000fe1: PUSH1 0x00 00000fe3: KECCAK256 00000fe4: DUP2 00000fe5: SWAP1 00000fe6: SSTORE 00000fe7: POP 00000fe8: DUP2 00000fe9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ffe: AND 00000fff: PUSH2 0x08fc 00001002: DUP3 00001003: SWAP1 00001004: DUP2 00001005: ISZERO 00001006: MUL 00001007: SWAP1 00001008: PUSH1 0x40 0000100a: MLOAD 0000100b: PUSH1 0x00 0000100d: PUSH1 0x40 0000100f: MLOAD 00001010: DUP1 00001011: DUP4 00001012: SUB 00001013: DUP2 00001014: DUP6 00001015: DUP9 00001016: DUP9 00001017: CALL 00001018: SWAP4 00001019: POP 0000101a: POP 0000101b: POP 0000101c: POP 0000101d: ISZERO 0000101e: DUP1 0000101f: ISZERO 00001020: PUSH2 0x102d 00001023: JUMPI 00001024: RETURNDATASIZE 00001025: PUSH1 0x00 00001027: DUP1 00001028: RETURNDATACOPY 00001029: RETURNDATASIZE 0000102a: PUSH1 0x00 0000102c: REVERT 0000102d: JUMPDEST 0000102e: POP 0000102f: DUP2 00001030: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001045: AND 00001046: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 00001067: DUP3 00001068: PUSH1 0x40 0000106a: MLOAD 0000106b: DUP1 0000106c: DUP3 0000106d: DUP2 0000106e: MSTORE 0000106f: PUSH1 0x20 00001071: ADD 00001072: SWAP2 00001073: POP 00001074: POP 00001075: PUSH1 0x40 00001077: MLOAD 00001078: DUP1 00001079: SWAP2 0000107a: SUB 0000107b: SWAP1 0000107c: LOG2 0000107d: POP 0000107e: POP 0000107f: JUMP 00001080: JUMPDEST 00001081: PUSH1 0x00 00001083: DUP1 00001084: PUSH1 0x00 00001086: DUP1 00001087: PUSH1 0x00 00001089: PUSH1 0x06 0000108b: SLOAD 0000108c: EQ 0000108d: ISZERO 0000108e: PUSH2 0x10a5 00001091: JUMPI 00001092: PUSH5 0x02540be400 00001098: PUSH5 0x174876e800 0000109e: SUB 0000109f: SWAP4 000010a0: POP 000010a1: PUSH2 0x10d8 000010a4: JUMP 000010a5: JUMPDEST 000010a6: PUSH2 0x10b6 000010a9: PUSH8 0x0de0b6b3a7640000 000010b2: PUSH2 0x1e47 000010b5: JUMP 000010b6: JUMPDEST 000010b7: SWAP3 000010b8: POP 000010b9: PUSH2 0x10c6 000010bc: DUP4 000010bd: PUSH1 0x0a 000010bf: PUSH1 0xff 000010c1: AND 000010c2: PUSH2 0x1d68 000010c5: JUMP 000010c6: JUMPDEST 000010c7: SWAP2 000010c8: POP 000010c9: PUSH2 0x10d2 000010cc: DUP4 000010cd: DUP4 000010ce: PUSH2 0x1d83 000010d1: JUMP 000010d2: JUMPDEST 000010d3: SWAP1 000010d4: POP 000010d5: DUP1 000010d6: SWAP4 000010d7: POP 000010d8: JUMPDEST 000010d9: POP 000010da: POP 000010db: POP 000010dc: SWAP1 000010dd: JUMP 000010de: JUMPDEST 000010df: PUSH1 0x02 000010e1: SLOAD 000010e2: DUP2 000010e3: JUMP 000010e4: JUMPDEST 000010e5: PUSH1 0x00 000010e7: DUP1 000010e8: CALLER 000010e9: SWAP1 000010ea: POP 000010eb: DUP3 000010ec: PUSH2 0x10fd 000010ef: JUMPI 000010f0: PUSH2 0x10f8 000010f3: DUP2 000010f4: PUSH2 0x0ce6 000010f7: JUMP 000010f8: JUMPDEST 000010f9: PUSH2 0x1148 000010fc: JUMP 000010fd: JUMPDEST 000010fe: PUSH1 0x04 00001100: PUSH1 0x00 00001102: DUP3 00001103: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001118: AND 00001119: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000112e: AND 0000112f: DUP2 00001130: MSTORE 00001131: PUSH1 0x20 00001133: ADD 00001134: SWAP1 00001135: DUP2 00001136: MSTORE 00001137: PUSH1 0x20 00001139: ADD 0000113a: PUSH1 0x00 0000113c: KECCAK256 0000113d: SLOAD 0000113e: PUSH2 0x1146 00001141: DUP3 00001142: PUSH2 0x0ce6 00001145: JUMP 00001146: JUMPDEST 00001147: ADD 00001148: JUMPDEST 00001149: SWAP2 0000114a: POP 0000114b: POP 0000114c: SWAP2 0000114d: SWAP1 0000114e: POP 0000114f: JUMP 00001150: JUMPDEST 00001151: PUSH1 0x00 00001153: ADDRESS 00001154: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001169: AND 0000116a: BALANCE 0000116b: SWAP1 0000116c: POP 0000116d: SWAP1 0000116e: JUMP 0000116f: JUMPDEST 00001170: PUSH1 0x00 00001172: PUSH1 0x03 00001174: PUSH1 0x00 00001176: DUP4 00001177: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000118c: AND 0000118d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011a2: AND 000011a3: DUP2 000011a4: MSTORE 000011a5: PUSH1 0x20 000011a7: ADD 000011a8: SWAP1 000011a9: DUP2 000011aa: MSTORE 000011ab: PUSH1 0x20 000011ad: ADD 000011ae: PUSH1 0x00 000011b0: KECCAK256 000011b1: SLOAD 000011b2: SWAP1 000011b3: POP 000011b4: SWAP2 000011b5: SWAP1 000011b6: POP 000011b7: JUMP 000011b8: JUMPDEST 000011b9: PUSH1 0x09 000011bb: PUSH1 0x01 000011bd: SWAP1 000011be: SLOAD 000011bf: SWAP1 000011c0: PUSH2 0x0100 000011c3: EXP 000011c4: SWAP1 000011c5: DIV 000011c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011db: AND 000011dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011f1: AND 000011f2: CALLER 000011f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001208: AND 00001209: EQ 0000120a: ISZERO 0000120b: ISZERO 0000120c: PUSH2 0x1214 0000120f: JUMPI 00001210: PUSH1 0x00 00001212: DUP1 00001213: REVERT 00001214: JUMPDEST 00001215: DUP1 00001216: PUSH1 0x02 00001218: DUP2 00001219: SWAP1 0000121a: SSTORE 0000121b: POP 0000121c: POP 0000121d: JUMP 0000121e: JUMPDEST 0000121f: PUSH1 0x00 00001221: DUP1 00001222: PUSH1 0x00 00001224: DUP1 00001225: PUSH1 0x00 00001227: PUSH1 0x06 00001229: SLOAD 0000122a: EQ 0000122b: ISZERO 0000122c: PUSH2 0x1243 0000122f: JUMPI 00001230: PUSH5 0x02540be400 00001236: PUSH5 0x174876e800 0000123c: ADD 0000123d: SWAP4 0000123e: POP 0000123f: PUSH2 0x1276 00001242: JUMP 00001243: JUMPDEST 00001244: PUSH2 0x1254 00001247: PUSH8 0x0de0b6b3a7640000 00001250: PUSH2 0x1e47 00001253: JUMP 00001254: JUMPDEST 00001255: SWAP3 00001256: POP 00001257: PUSH2 0x1264 0000125a: DUP4 0000125b: PUSH1 0x0a 0000125d: PUSH1 0xff 0000125f: AND 00001260: PUSH2 0x1d68 00001263: JUMP 00001264: JUMPDEST 00001265: SWAP2 00001266: POP 00001267: PUSH2 0x1270 0000126a: DUP4 0000126b: DUP4 0000126c: PUSH2 0x1e29 0000126f: JUMP 00001270: JUMPDEST 00001271: SWAP1 00001272: POP 00001273: DUP1 00001274: SWAP4 00001275: POP 00001276: JUMPDEST 00001277: POP 00001278: POP 00001279: POP 0000127a: SWAP1 0000127b: JUMP 0000127c: JUMPDEST 0000127d: PUSH1 0x01 0000127f: ISZERO 00001280: ISZERO 00001281: PUSH1 0x08 00001283: PUSH1 0x00 00001285: CALLER 00001286: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000129b: AND 0000129c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012b1: AND 000012b2: DUP2 000012b3: MSTORE 000012b4: PUSH1 0x20 000012b6: ADD 000012b7: SWAP1 000012b8: DUP2 000012b9: MSTORE 000012ba: PUSH1 0x20 000012bc: ADD 000012bd: PUSH1 0x00 000012bf: KECCAK256 000012c0: PUSH1 0x00 000012c2: SWAP1 000012c3: SLOAD 000012c4: SWAP1 000012c5: PUSH2 0x0100 000012c8: EXP 000012c9: SWAP1 000012ca: DIV 000012cb: PUSH1 0xff 000012cd: AND 000012ce: ISZERO 000012cf: ISZERO 000012d0: EQ 000012d1: ISZERO 000012d2: ISZERO 000012d3: PUSH2 0x12db 000012d6: JUMPI 000012d7: PUSH1 0x00 000012d9: DUP1 000012da: REVERT 000012db: JUMPDEST 000012dc: PUSH1 0x01 000012de: PUSH1 0x09 000012e0: PUSH1 0x00 000012e2: PUSH2 0x0100 000012e5: EXP 000012e6: DUP2 000012e7: SLOAD 000012e8: DUP2 000012e9: PUSH1 0xff 000012eb: MUL 000012ec: NOT 000012ed: AND 000012ee: SWAP1 000012ef: DUP4 000012f0: ISZERO 000012f1: ISZERO 000012f2: MUL 000012f3: OR 000012f4: SWAP1 000012f5: SSTORE 000012f6: POP 000012f7: JUMP 000012f8: JUMPDEST 000012f9: PUSH1 0x00 000012fb: DUP1 000012fc: CALLER 000012fd: SWAP1 000012fe: POP 000012ff: PUSH2 0x1307 00001302: DUP2 00001303: PUSH2 0x116f 00001306: JUMP 00001307: JUMPDEST 00001308: SWAP2 00001309: POP 0000130a: POP 0000130b: SWAP1 0000130c: JUMP 0000130d: JUMPDEST 0000130e: PUSH1 0x01 00001310: DUP1 00001311: SLOAD 00001312: PUSH1 0x01 00001314: DUP2 00001315: PUSH1 0x01 00001317: AND 00001318: ISZERO 00001319: PUSH2 0x0100 0000131c: MUL 0000131d: SUB 0000131e: AND 0000131f: PUSH1 0x02 00001321: SWAP1 00001322: DIV 00001323: DUP1 00001324: PUSH1 0x1f 00001326: ADD 00001327: PUSH1 0x20 00001329: DUP1 0000132a: SWAP2 0000132b: DIV 0000132c: MUL 0000132d: PUSH1 0x20 0000132f: ADD 00001330: PUSH1 0x40 00001332: MLOAD 00001333: SWAP1 00001334: DUP2 00001335: ADD 00001336: PUSH1 0x40 00001338: MSTORE 00001339: DUP1 0000133a: SWAP3 0000133b: SWAP2 0000133c: SWAP1 0000133d: DUP2 0000133e: DUP2 0000133f: MSTORE 00001340: PUSH1 0x20 00001342: ADD 00001343: DUP3 00001344: DUP1 00001345: SLOAD 00001346: PUSH1 0x01 00001348: DUP2 00001349: PUSH1 0x01 0000134b: AND 0000134c: ISZERO 0000134d: PUSH2 0x0100 00001350: MUL 00001351: SUB 00001352: AND 00001353: PUSH1 0x02 00001355: SWAP1 00001356: DIV 00001357: DUP1 00001358: ISZERO 00001359: PUSH2 0x13a3 0000135c: JUMPI 0000135d: DUP1 0000135e: PUSH1 0x1f 00001360: LT 00001361: PUSH2 0x1378 00001364: JUMPI 00001365: PUSH2 0x0100 00001368: DUP1 00001369: DUP4 0000136a: SLOAD 0000136b: DIV 0000136c: MUL 0000136d: DUP4 0000136e: MSTORE 0000136f: SWAP2 00001370: PUSH1 0x20 00001372: ADD 00001373: SWAP2 00001374: PUSH2 0x13a3 00001377: JUMP 00001378: JUMPDEST 00001379: DUP3 0000137a: ADD 0000137b: SWAP2 0000137c: SWAP1 0000137d: PUSH1 0x00 0000137f: MSTORE 00001380: PUSH1 0x20 00001382: PUSH1 0x00 00001384: KECCAK256 00001385: SWAP1 00001386: JUMPDEST 00001387: DUP2 00001388: SLOAD 00001389: DUP2 0000138a: MSTORE 0000138b: SWAP1 0000138c: PUSH1 0x01 0000138e: ADD 0000138f: SWAP1 00001390: PUSH1 0x20 00001392: ADD 00001393: DUP1 00001394: DUP4 00001395: GT 00001396: PUSH2 0x1386 00001399: JUMPI 0000139a: DUP3 0000139b: SWAP1 0000139c: SUB 0000139d: PUSH1 0x1f 0000139f: AND 000013a0: DUP3 000013a1: ADD 000013a2: SWAP2 000013a3: JUMPDEST 000013a4: POP 000013a5: POP 000013a6: POP 000013a7: POP 000013a8: POP 000013a9: DUP2 000013aa: JUMP 000013ab: JUMPDEST 000013ac: PUSH1 0x00 000013ae: DUP1 000013af: PUSH1 0x00 000013b1: PUSH2 0x13b8 000013b4: PUSH2 0x12f8 000013b7: JUMP 000013b8: JUMPDEST 000013b9: GT 000013ba: ISZERO 000013bb: ISZERO 000013bc: PUSH2 0x13c4 000013bf: JUMPI 000013c0: PUSH1 0x00 000013c2: DUP1 000013c3: REVERT 000013c4: JUMPDEST 000013c5: CALLER 000013c6: SWAP1 000013c7: POP 000013c8: PUSH1 0x03 000013ca: PUSH1 0x00 000013cc: DUP3 000013cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013e2: AND 000013e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013f8: AND 000013f9: DUP2 000013fa: MSTORE 000013fb: PUSH1 0x20 000013fd: ADD 000013fe: SWAP1 000013ff: DUP2 00001400: MSTORE 00001401: PUSH1 0x20 00001403: ADD 00001404: PUSH1 0x00 00001406: KECCAK256 00001407: SLOAD 00001408: DUP4 00001409: GT 0000140a: ISZERO 0000140b: ISZERO 0000140c: ISZERO 0000140d: PUSH2 0x1415 00001410: JUMPI 00001411: PUSH1 0x00 00001413: DUP1 00001414: REVERT 00001415: JUMPDEST 00001416: PUSH1 0x00 00001418: PUSH2 0x1421 0000141b: PUSH1 0x01 0000141d: PUSH2 0x10e4 00001420: JUMP 00001421: JUMPDEST 00001422: GT 00001423: ISZERO 00001424: PUSH2 0x1430 00001427: JUMPI 00001428: PUSH2 0x142f 0000142b: PUSH2 0x0edc 0000142e: JUMP 0000142f: JUMPDEST 00001430: JUMPDEST 00001431: PUSH2 0x1479 00001434: PUSH1 0x03 00001436: PUSH1 0x00 00001438: DUP4 00001439: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000144e: AND 0000144f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001464: AND 00001465: DUP2 00001466: MSTORE 00001467: PUSH1 0x20 00001469: ADD 0000146a: SWAP1 0000146b: DUP2 0000146c: MSTORE 0000146d: PUSH1 0x20 0000146f: ADD 00001470: PUSH1 0x00 00001472: KECCAK256 00001473: SLOAD 00001474: DUP5 00001475: PUSH2 0x1d83 00001478: JUMP 00001479: JUMPDEST 0000147a: PUSH1 0x03 0000147c: PUSH1 0x00 0000147e: DUP4 0000147f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001494: AND 00001495: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014aa: AND 000014ab: DUP2 000014ac: MSTORE 000014ad: PUSH1 0x20 000014af: ADD 000014b0: SWAP1 000014b1: DUP2 000014b2: MSTORE 000014b3: PUSH1 0x20 000014b5: ADD 000014b6: PUSH1 0x00 000014b8: KECCAK256 000014b9: DUP2 000014ba: SWAP1 000014bb: SSTORE 000014bc: POP 000014bd: PUSH2 0x1505 000014c0: PUSH1 0x03 000014c2: PUSH1 0x00 000014c4: DUP7 000014c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014da: AND 000014db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014f0: AND 000014f1: DUP2 000014f2: MSTORE 000014f3: PUSH1 0x20 000014f5: ADD 000014f6: SWAP1 000014f7: DUP2 000014f8: MSTORE 000014f9: PUSH1 0x20 000014fb: ADD 000014fc: PUSH1 0x00 000014fe: KECCAK256 000014ff: SLOAD 00001500: DUP5 00001501: PUSH2 0x1e29 00001504: JUMP 00001505: JUMPDEST 00001506: PUSH1 0x03 00001508: PUSH1 0x00 0000150a: DUP7 0000150b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001520: AND 00001521: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001536: AND 00001537: DUP2 00001538: MSTORE 00001539: PUSH1 0x20 0000153b: ADD 0000153c: SWAP1 0000153d: DUP2 0000153e: MSTORE 0000153f: PUSH1 0x20 00001541: ADD 00001542: PUSH1 0x00 00001544: KECCAK256 00001545: DUP2 00001546: SWAP1 00001547: SSTORE 00001548: POP 00001549: DUP3 0000154a: PUSH1 0x07 0000154c: SLOAD 0000154d: MUL 0000154e: PUSH1 0x05 00001550: PUSH1 0x00 00001552: DUP4 00001553: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001568: AND 00001569: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000157e: AND 0000157f: DUP2 00001580: MSTORE 00001581: PUSH1 0x20 00001583: ADD 00001584: SWAP1 00001585: DUP2 00001586: MSTORE 00001587: PUSH1 0x20 00001589: ADD 0000158a: PUSH1 0x00 0000158c: KECCAK256 0000158d: PUSH1 0x00 0000158f: DUP3 00001590: DUP3 00001591: SLOAD 00001592: SUB 00001593: SWAP3 00001594: POP 00001595: POP 00001596: DUP2 00001597: SWAP1 00001598: SSTORE 00001599: POP 0000159a: DUP3 0000159b: PUSH1 0x07 0000159d: SLOAD 0000159e: MUL 0000159f: PUSH1 0x05 000015a1: PUSH1 0x00 000015a3: DUP7 000015a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015b9: AND 000015ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015cf: AND 000015d0: DUP2 000015d1: MSTORE 000015d2: PUSH1 0x20 000015d4: ADD 000015d5: SWAP1 000015d6: DUP2 000015d7: MSTORE 000015d8: PUSH1 0x20 000015da: ADD 000015db: PUSH1 0x00 000015dd: KECCAK256 000015de: PUSH1 0x00 000015e0: DUP3 000015e1: DUP3 000015e2: SLOAD 000015e3: ADD 000015e4: SWAP3 000015e5: POP 000015e6: POP 000015e7: DUP2 000015e8: SWAP1 000015e9: SSTORE 000015ea: POP 000015eb: DUP4 000015ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001601: AND 00001602: DUP2 00001603: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001618: AND 00001619: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000163a: DUP6 0000163b: PUSH1 0x40 0000163d: MLOAD 0000163e: DUP1 0000163f: DUP3 00001640: DUP2 00001641: MSTORE 00001642: PUSH1 0x20 00001644: ADD 00001645: SWAP2 00001646: POP 00001647: POP 00001648: PUSH1 0x40 0000164a: MLOAD 0000164b: DUP1 0000164c: SWAP2 0000164d: SUB 0000164e: SWAP1 0000164f: LOG3 00001650: PUSH1 0x01 00001652: SWAP2 00001653: POP 00001654: POP 00001655: SWAP3 00001656: SWAP2 00001657: POP 00001658: POP 00001659: JUMP 0000165a: JUMPDEST 0000165b: PUSH1 0x09 0000165d: PUSH1 0x01 0000165f: SWAP1 00001660: SLOAD 00001661: SWAP1 00001662: PUSH2 0x0100 00001665: EXP 00001666: SWAP1 00001667: DIV 00001668: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000167d: AND 0000167e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001693: AND 00001694: CALLER 00001695: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016aa: AND 000016ab: EQ 000016ac: ISZERO 000016ad: ISZERO 000016ae: PUSH2 0x16b6 000016b1: JUMPI 000016b2: PUSH1 0x00 000016b4: DUP1 000016b5: REVERT 000016b6: JUMPDEST 000016b7: DUP1 000016b8: PUSH1 0x01 000016ba: SWAP1 000016bb: DUP1 000016bc: MLOAD 000016bd: SWAP1 000016be: PUSH1 0x20 000016c0: ADD 000016c1: SWAP1 000016c2: PUSH2 0x16cc 000016c5: SWAP3 000016c6: SWAP2 000016c7: SWAP1 000016c8: PUSH2 0x1f3d 000016cb: JUMP 000016cc: JUMPDEST 000016cd: POP 000016ce: POP 000016cf: JUMP 000016d0: JUMPDEST 000016d1: PUSH1 0x09 000016d3: PUSH1 0x01 000016d5: SWAP1 000016d6: SLOAD 000016d7: SWAP1 000016d8: PUSH2 0x0100 000016db: EXP 000016dc: SWAP1 000016dd: DIV 000016de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016f3: AND 000016f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001709: AND 0000170a: CALLER 0000170b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001720: AND 00001721: EQ 00001722: ISZERO 00001723: ISZERO 00001724: PUSH2 0x172c 00001727: JUMPI 00001728: PUSH1 0x00 0000172a: DUP1 0000172b: REVERT 0000172c: JUMPDEST 0000172d: DUP1 0000172e: PUSH1 0x00 00001730: SWAP1 00001731: DUP1 00001732: MLOAD 00001733: SWAP1 00001734: PUSH1 0x20 00001736: ADD 00001737: SWAP1 00001738: PUSH2 0x1742 0000173b: SWAP3 0000173c: SWAP2 0000173d: SWAP1 0000173e: PUSH2 0x1f3d 00001741: JUMP 00001742: JUMPDEST 00001743: POP 00001744: POP 00001745: JUMP 00001746: JUMPDEST 00001747: PUSH1 0x01 00001749: ISZERO 0000174a: ISZERO 0000174b: PUSH1 0x08 0000174d: PUSH1 0x00 0000174f: CALLER 00001750: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001765: AND 00001766: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000177b: AND 0000177c: DUP2 0000177d: MSTORE 0000177e: PUSH1 0x20 00001780: ADD 00001781: SWAP1 00001782: DUP2 00001783: MSTORE 00001784: PUSH1 0x20 00001786: ADD 00001787: PUSH1 0x00 00001789: KECCAK256 0000178a: PUSH1 0x00 0000178c: SWAP1 0000178d: SLOAD 0000178e: SWAP1 0000178f: PUSH2 0x0100 00001792: EXP 00001793: SWAP1 00001794: DIV 00001795: PUSH1 0xff 00001797: AND 00001798: ISZERO 00001799: ISZERO 0000179a: EQ 0000179b: ISZERO 0000179c: ISZERO 0000179d: PUSH2 0x17a5 000017a0: JUMPI 000017a1: PUSH1 0x00 000017a3: DUP1 000017a4: REVERT 000017a5: JUMPDEST 000017a6: PUSH1 0x00 000017a8: PUSH1 0x09 000017aa: PUSH1 0x00 000017ac: PUSH2 0x0100 000017af: EXP 000017b0: DUP2 000017b1: SLOAD 000017b2: DUP2 000017b3: PUSH1 0xff 000017b5: MUL 000017b6: NOT 000017b7: AND 000017b8: SWAP1 000017b9: DUP4 000017ba: ISZERO 000017bb: ISZERO 000017bc: MUL 000017bd: OR 000017be: SWAP1 000017bf: SSTORE 000017c0: POP 000017c1: JUMP 000017c2: JUMPDEST 000017c3: PUSH1 0x09 000017c5: PUSH1 0x01 000017c7: SWAP1 000017c8: SLOAD 000017c9: SWAP1 000017ca: PUSH2 0x0100 000017cd: EXP 000017ce: SWAP1 000017cf: DIV 000017d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017e5: AND 000017e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017fb: AND 000017fc: CALLER 000017fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001812: AND 00001813: EQ 00001814: ISZERO 00001815: ISZERO 00001816: PUSH2 0x181e 00001819: JUMPI 0000181a: PUSH1 0x00 0000181c: DUP1 0000181d: REVERT 0000181e: JUMPDEST 0000181f: DUP1 00001820: PUSH1 0x09 00001822: PUSH1 0x01 00001824: PUSH2 0x0100 00001827: EXP 00001828: DUP2 00001829: SLOAD 0000182a: DUP2 0000182b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001840: MUL 00001841: NOT 00001842: AND 00001843: SWAP1 00001844: DUP4 00001845: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000185a: AND 0000185b: MUL 0000185c: OR 0000185d: SWAP1 0000185e: SSTORE 0000185f: POP 00001860: POP 00001861: JUMP 00001862: JUMPDEST 00001863: PUSH1 0x00 00001865: CALLVALUE 00001866: SWAP1 00001867: POP 00001868: PUSH2 0x188b 0000186b: PUSH1 0x07 0000186d: SLOAD 0000186e: PUSH1 0x06 00001870: SLOAD 00001871: PUSH9 0x010000000000000000 0000187b: DUP5 0000187c: MUL 0000187d: DUP2 0000187e: ISZERO 0000187f: ISZERO 00001880: PUSH2 0x1885 00001883: JUMPI 00001884: INVALID 00001885: JUMPDEST 00001886: DIV 00001887: PUSH2 0x1e29 0000188a: JUMP 0000188b: JUMPDEST 0000188c: PUSH1 0x07 0000188e: DUP2 0000188f: SWAP1 00001890: SSTORE 00001891: POP 00001892: PUSH32 0xcda2c9671a954c8617003d284779b6b0948f2771e11316c5db1510d0d634e542 000018b3: DUP2 000018b4: TIMESTAMP 000018b5: PUSH1 0x40 000018b7: MLOAD 000018b8: DUP1 000018b9: DUP4 000018ba: DUP2 000018bb: MSTORE 000018bc: PUSH1 0x20 000018be: ADD 000018bf: DUP3 000018c0: DUP2 000018c1: MSTORE 000018c2: PUSH1 0x20 000018c4: ADD 000018c5: SWAP3 000018c6: POP 000018c7: POP 000018c8: POP 000018c9: PUSH1 0x40 000018cb: MLOAD 000018cc: DUP1 000018cd: SWAP2 000018ce: SUB 000018cf: SWAP1 000018d0: LOG1 000018d1: POP 000018d2: JUMP 000018d3: JUMPDEST 000018d4: PUSH1 0x00 000018d6: DUP1 000018d7: PUSH1 0x00 000018d9: DUP1 000018da: PUSH1 0x00 000018dc: DUP1 000018dd: PUSH1 0x00 000018df: DUP1 000018e0: PUSH2 0x18e7 000018e3: PUSH2 0x12f8 000018e6: JUMP 000018e7: JUMPDEST 000018e8: GT 000018e9: ISZERO 000018ea: ISZERO 000018eb: PUSH2 0x18f3 000018ee: JUMPI 000018ef: PUSH1 0x00 000018f1: DUP1 000018f2: REVERT 000018f3: JUMPDEST 000018f4: CALLER 000018f5: SWAP7 000018f6: POP 000018f7: PUSH1 0x03 000018f9: PUSH1 0x00 000018fb: DUP9 000018fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001911: AND 00001912: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001927: AND 00001928: DUP2 00001929: MSTORE 0000192a: PUSH1 0x20 0000192c: ADD 0000192d: SWAP1 0000192e: DUP2 0000192f: MSTORE 00001930: PUSH1 0x20 00001932: ADD 00001933: PUSH1 0x00 00001935: KECCAK256 00001936: SLOAD 00001937: DUP9 00001938: GT 00001939: ISZERO 0000193a: ISZERO 0000193b: ISZERO 0000193c: PUSH2 0x1944 0000193f: JUMPI 00001940: PUSH1 0x00 00001942: DUP1 00001943: REVERT 00001944: JUMPDEST 00001945: DUP8 00001946: SWAP6 00001947: POP 00001948: PUSH2 0x1950 0000194b: DUP7 0000194c: PUSH2 0x1e47 0000194f: JUMP 00001950: JUMPDEST 00001951: SWAP5 00001952: POP 00001953: PUSH2 0x1960 00001956: DUP6 00001957: PUSH1 0x0a 00001959: PUSH1 0xff 0000195b: AND 0000195c: PUSH2 0x1d68 0000195f: JUMP 00001960: JUMPDEST 00001961: SWAP4 00001962: POP 00001963: PUSH2 0x196d 00001966: DUP6 00001967: PUSH1 0x14 00001969: PUSH2 0x1d68 0000196c: JUMP 0000196d: JUMPDEST 0000196e: SWAP3 0000196f: POP 00001970: PUSH2 0x197b 00001973: DUP6 00001974: DUP5 00001975: DUP7 00001976: ADD 00001977: PUSH2 0x1d83 0000197a: JUMP 0000197b: JUMPDEST 0000197c: SWAP2 0000197d: POP 0000197e: PUSH1 0x09 00001980: PUSH1 0x01 00001982: SWAP1 00001983: SLOAD 00001984: SWAP1 00001985: PUSH2 0x0100 00001988: EXP 00001989: SWAP1 0000198a: DIV 0000198b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019a0: AND 000019a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019b6: AND 000019b7: PUSH2 0x08fc 000019ba: DUP5 000019bb: SWAP1 000019bc: DUP2 000019bd: ISZERO 000019be: MUL 000019bf: SWAP1 000019c0: PUSH1 0x40 000019c2: MLOAD 000019c3: PUSH1 0x00 000019c5: PUSH1 0x40 000019c7: MLOAD 000019c8: DUP1 000019c9: DUP4 000019ca: SUB 000019cb: DUP2 000019cc: DUP6 000019cd: DUP9 000019ce: DUP9 000019cf: CALL 000019d0: SWAP4 000019d1: POP 000019d2: POP 000019d3: POP 000019d4: POP 000019d5: ISZERO 000019d6: DUP1 000019d7: ISZERO 000019d8: PUSH2 0x19e5 000019db: JUMPI 000019dc: RETURNDATASIZE 000019dd: PUSH1 0x00 000019df: DUP1 000019e0: RETURNDATACOPY 000019e1: RETURNDATASIZE 000019e2: PUSH1 0x00 000019e4: REVERT 000019e5: JUMPDEST 000019e6: POP 000019e7: PUSH2 0x19f2 000019ea: PUSH1 0x06 000019ec: SLOAD 000019ed: DUP8 000019ee: PUSH2 0x1d83 000019f1: JUMP 000019f2: JUMPDEST 000019f3: PUSH1 0x06 000019f5: DUP2 000019f6: SWAP1 000019f7: SSTORE 000019f8: POP 000019f9: PUSH2 0x1a41 000019fc: PUSH1 0x03 000019fe: PUSH1 0x00 00001a00: DUP10 00001a01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a16: AND 00001a17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a2c: AND 00001a2d: DUP2 00001a2e: MSTORE 00001a2f: PUSH1 0x20 00001a31: ADD 00001a32: SWAP1 00001a33: DUP2 00001a34: MSTORE 00001a35: PUSH1 0x20 00001a37: ADD 00001a38: PUSH1 0x00 00001a3a: KECCAK256 00001a3b: SLOAD 00001a3c: DUP8 00001a3d: PUSH2 0x1d83 00001a40: JUMP 00001a41: JUMPDEST 00001a42: PUSH1 0x03 00001a44: PUSH1 0x00 00001a46: DUP10 00001a47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a5c: AND 00001a5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a72: AND 00001a73: DUP2 00001a74: MSTORE 00001a75: PUSH1 0x20 00001a77: ADD 00001a78: SWAP1 00001a79: DUP2 00001a7a: MSTORE 00001a7b: PUSH1 0x20 00001a7d: ADD 00001a7e: PUSH1 0x00 00001a80: KECCAK256 00001a81: DUP2 00001a82: SWAP1 00001a83: SSTORE 00001a84: POP 00001a85: PUSH9 0x010000000000000000 00001a8f: DUP3 00001a90: MUL 00001a91: DUP7 00001a92: PUSH1 0x07 00001a94: SLOAD 00001a95: MUL 00001a96: ADD 00001a97: SWAP1 00001a98: POP 00001a99: DUP1 00001a9a: PUSH1 0x05 00001a9c: PUSH1 0x00 00001a9e: DUP10 00001a9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ab4: AND 00001ab5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001aca: AND 00001acb: DUP2 00001acc: MSTORE 00001acd: PUSH1 0x20 00001acf: ADD 00001ad0: SWAP1 00001ad1: DUP2 00001ad2: MSTORE 00001ad3: PUSH1 0x20 00001ad5: ADD 00001ad6: PUSH1 0x00 00001ad8: KECCAK256 00001ad9: PUSH1 0x00 00001adb: DUP3 00001adc: DUP3 00001add: SLOAD 00001ade: SUB 00001adf: SWAP3 00001ae0: POP 00001ae1: POP 00001ae2: DUP2 00001ae3: SWAP1 00001ae4: SSTORE 00001ae5: POP 00001ae6: PUSH1 0x00 00001ae8: PUSH1 0x06 00001aea: SLOAD 00001aeb: GT 00001aec: ISZERO 00001aed: PUSH2 0x1b1b 00001af0: JUMPI 00001af1: PUSH2 0x1b14 00001af4: PUSH1 0x07 00001af6: SLOAD 00001af7: PUSH1 0x06 00001af9: SLOAD 00001afa: PUSH9 0x010000000000000000 00001b04: DUP8 00001b05: MUL 00001b06: DUP2 00001b07: ISZERO 00001b08: ISZERO 00001b09: PUSH2 0x1b0e 00001b0c: JUMPI 00001b0d: INVALID 00001b0e: JUMPDEST 00001b0f: DIV 00001b10: PUSH2 0x1e29 00001b13: JUMP 00001b14: JUMPDEST 00001b15: PUSH1 0x07 00001b17: DUP2 00001b18: SWAP1 00001b19: SSTORE 00001b1a: POP 00001b1b: JUMPDEST 00001b1c: DUP7 00001b1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b32: AND 00001b33: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139 00001b54: DUP8 00001b55: DUP5 00001b56: PUSH1 0x40 00001b58: MLOAD 00001b59: DUP1 00001b5a: DUP4 00001b5b: DUP2 00001b5c: MSTORE 00001b5d: PUSH1 0x20 00001b5f: ADD 00001b60: DUP3 00001b61: DUP2 00001b62: MSTORE 00001b63: PUSH1 0x20 00001b65: ADD 00001b66: SWAP3 00001b67: POP 00001b68: POP 00001b69: POP 00001b6a: PUSH1 0x40 00001b6c: MLOAD 00001b6d: DUP1 00001b6e: SWAP2 00001b6f: SUB 00001b70: SWAP1 00001b71: LOG2 00001b72: POP 00001b73: POP 00001b74: POP 00001b75: POP 00001b76: POP 00001b77: POP 00001b78: POP 00001b79: POP 00001b7a: JUMP 00001b7b: JUMPDEST 00001b7c: PUSH1 0x00 00001b7e: DUP1 00001b7f: CALLER 00001b80: SWAP2 00001b81: POP 00001b82: PUSH1 0x03 00001b84: PUSH1 0x00 00001b86: DUP4 00001b87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b9c: AND 00001b9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bb2: AND 00001bb3: DUP2 00001bb4: MSTORE 00001bb5: PUSH1 0x20 00001bb7: ADD 00001bb8: SWAP1 00001bb9: DUP2 00001bba: MSTORE 00001bbb: PUSH1 0x20 00001bbd: ADD 00001bbe: PUSH1 0x00 00001bc0: KECCAK256 00001bc1: SLOAD 00001bc2: SWAP1 00001bc3: POP 00001bc4: PUSH1 0x00 00001bc6: DUP2 00001bc7: GT 00001bc8: ISZERO 00001bc9: PUSH2 0x1bd6 00001bcc: JUMPI 00001bcd: PUSH2 0x1bd5 00001bd0: DUP2 00001bd1: PUSH2 0x18d3 00001bd4: JUMP 00001bd5: JUMPDEST 00001bd6: JUMPDEST 00001bd7: PUSH2 0x1bde 00001bda: PUSH2 0x0edc 00001bdd: JUMP 00001bde: JUMPDEST 00001bdf: POP 00001be0: POP 00001be1: JUMP 00001be2: JUMPDEST 00001be3: PUSH1 0x00 00001be5: PUSH2 0x1bee 00001be8: CALLVALUE 00001be9: DUP4 00001bea: PUSH2 0x082f 00001bed: JUMP 00001bee: JUMPDEST 00001bef: POP 00001bf0: SWAP2 00001bf1: SWAP1 00001bf2: POP 00001bf3: JUMP 00001bf4: JUMPDEST 00001bf5: PUSH1 0x00 00001bf7: DUP1 00001bf8: PUSH1 0x00 00001bfa: DUP1 00001bfb: PUSH2 0x1c04 00001bfe: PUSH1 0x01 00001c00: PUSH2 0x10e4 00001c03: JUMP 00001c04: JUMPDEST 00001c05: GT 00001c06: ISZERO 00001c07: ISZERO 00001c08: PUSH2 0x1c10 00001c0b: JUMPI 00001c0c: PUSH1 0x00 00001c0e: DUP1 00001c0f: REVERT 00001c10: JUMPDEST 00001c11: PUSH2 0x1c1a 00001c14: PUSH1 0x00 00001c16: PUSH2 0x10e4 00001c19: JUMP 00001c1a: JUMPDEST 00001c1b: SWAP3 00001c1c: POP 00001c1d: CALLER 00001c1e: SWAP2 00001c1f: POP 00001c20: PUSH9 0x010000000000000000 00001c2a: DUP4 00001c2b: MUL 00001c2c: PUSH1 0x05 00001c2e: PUSH1 0x00 00001c30: DUP5 00001c31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c46: AND 00001c47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c5c: AND 00001c5d: DUP2 00001c5e: MSTORE 00001c5f: PUSH1 0x20 00001c61: ADD 00001c62: SWAP1 00001c63: DUP2 00001c64: MSTORE 00001c65: PUSH1 0x20 00001c67: ADD 00001c68: PUSH1 0x00 00001c6a: KECCAK256 00001c6b: PUSH1 0x00 00001c6d: DUP3 00001c6e: DUP3 00001c6f: SLOAD 00001c70: ADD 00001c71: SWAP3 00001c72: POP 00001c73: POP 00001c74: DUP2 00001c75: SWAP1 00001c76: SSTORE 00001c77: POP 00001c78: PUSH1 0x04 00001c7a: PUSH1 0x00 00001c7c: DUP4 00001c7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c92: AND 00001c93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ca8: AND 00001ca9: DUP2 00001caa: MSTORE 00001cab: PUSH1 0x20 00001cad: ADD 00001cae: SWAP1 00001caf: DUP2 00001cb0: MSTORE 00001cb1: PUSH1 0x20 00001cb3: ADD 00001cb4: PUSH1 0x00 00001cb6: KECCAK256 00001cb7: SLOAD 00001cb8: DUP4 00001cb9: ADD 00001cba: SWAP3 00001cbb: POP 00001cbc: PUSH1 0x00 00001cbe: PUSH1 0x04 00001cc0: PUSH1 0x00 00001cc2: DUP5 00001cc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cd8: AND 00001cd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cee: AND 00001cef: DUP2 00001cf0: MSTORE 00001cf1: PUSH1 0x20 00001cf3: ADD 00001cf4: SWAP1 00001cf5: DUP2 00001cf6: MSTORE 00001cf7: PUSH1 0x20 00001cf9: ADD 00001cfa: PUSH1 0x00 00001cfc: KECCAK256 00001cfd: DUP2 00001cfe: SWAP1 00001cff: SSTORE 00001d00: POP 00001d01: PUSH2 0x1d0b 00001d04: DUP4 00001d05: PUSH1 0x00 00001d07: PUSH2 0x082f 00001d0a: JUMP 00001d0b: JUMPDEST 00001d0c: SWAP1 00001d0d: POP 00001d0e: DUP2 00001d0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d24: AND 00001d25: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458 00001d46: DUP5 00001d47: DUP4 00001d48: PUSH1 0x40 00001d4a: MLOAD 00001d4b: DUP1 00001d4c: DUP4 00001d4d: DUP2 00001d4e: MSTORE 00001d4f: PUSH1 0x20 00001d51: ADD 00001d52: DUP3 00001d53: DUP2 00001d54: MSTORE 00001d55: PUSH1 0x20 00001d57: ADD 00001d58: SWAP3 00001d59: POP 00001d5a: POP 00001d5b: POP 00001d5c: PUSH1 0x40 00001d5e: MLOAD 00001d5f: DUP1 00001d60: SWAP2 00001d61: SUB 00001d62: SWAP1 00001d63: LOG2 00001d64: POP 00001d65: POP 00001d66: POP 00001d67: JUMP 00001d68: JUMPDEST 00001d69: PUSH1 0x00 00001d6b: DUP1 00001d6c: DUP3 00001d6d: DUP5 00001d6e: DUP2 00001d6f: ISZERO 00001d70: ISZERO 00001d71: PUSH2 0x1d76 00001d74: JUMPI 00001d75: INVALID 00001d76: JUMPDEST 00001d77: DIV 00001d78: SWAP1 00001d79: POP 00001d7a: DUP1 00001d7b: SWAP2 00001d7c: POP 00001d7d: POP 00001d7e: SWAP3 00001d7f: SWAP2 00001d80: POP 00001d81: POP 00001d82: JUMP 00001d83: JUMPDEST 00001d84: PUSH1 0x00 00001d86: DUP3 00001d87: DUP3 00001d88: GT 00001d89: ISZERO 00001d8a: ISZERO 00001d8b: ISZERO 00001d8c: PUSH2 0x1d91 00001d8f: JUMPI 00001d90: INVALID 00001d91: JUMPDEST 00001d92: DUP2 00001d93: DUP4 00001d94: SUB 00001d95: SWAP1 00001d96: POP 00001d97: SWAP3 00001d98: SWAP2 00001d99: POP 00001d9a: POP 00001d9b: JUMP 00001d9c: JUMPDEST 00001d9d: PUSH1 0x00 00001d9f: DUP1 00001da0: PUSH1 0x00 00001da2: PUSH8 0x0de0b6b3a7640000 00001dab: PUSH5 0x174876e800 00001db1: MUL 00001db2: SWAP2 00001db3: POP 00001db4: PUSH1 0x06 00001db6: SLOAD 00001db7: PUSH5 0x02540be400 00001dbd: PUSH2 0x1e12 00001dc0: PUSH2 0x1e0c 00001dc3: PUSH1 0x06 00001dc5: SLOAD 00001dc6: DUP7 00001dc7: PUSH5 0x02540be400 00001dcd: PUSH1 0x02 00001dcf: MUL 00001dd0: MUL 00001dd1: MUL 00001dd2: PUSH1 0x02 00001dd4: PUSH1 0x06 00001dd6: SLOAD 00001dd7: EXP 00001dd8: PUSH1 0x02 00001dda: PUSH5 0x02540be400 00001de0: EXP 00001de1: MUL 00001de2: PUSH8 0x0de0b6b3a7640000 00001deb: DUP11 00001dec: MUL 00001ded: PUSH8 0x0de0b6b3a7640000 00001df6: PUSH5 0x02540be400 00001dfc: MUL 00001dfd: PUSH1 0x02 00001dff: MUL 00001e00: MUL 00001e01: PUSH1 0x02 00001e03: DUP10 00001e04: EXP 00001e05: ADD 00001e06: ADD 00001e07: ADD 00001e08: PUSH2 0x1ef2 00001e0b: JUMP 00001e0c: JUMPDEST 00001e0d: DUP6 00001e0e: PUSH2 0x1d83 00001e11: JUMP 00001e12: JUMPDEST 00001e13: DUP2 00001e14: ISZERO 00001e15: ISZERO 00001e16: PUSH2 0x1e1b 00001e19: JUMPI 00001e1a: INVALID 00001e1b: JUMPDEST 00001e1c: DIV 00001e1d: SUB 00001e1e: SWAP1 00001e1f: POP 00001e20: DUP1 00001e21: SWAP3 00001e22: POP 00001e23: POP 00001e24: POP 00001e25: SWAP2 00001e26: SWAP1 00001e27: POP 00001e28: JUMP 00001e29: JUMPDEST 00001e2a: PUSH1 0x00 00001e2c: DUP1 00001e2d: DUP3 00001e2e: DUP5 00001e2f: ADD 00001e30: SWAP1 00001e31: POP 00001e32: DUP4 00001e33: DUP2 00001e34: LT 00001e35: ISZERO 00001e36: ISZERO 00001e37: ISZERO 00001e38: PUSH2 0x1e3d 00001e3b: JUMPI 00001e3c: INVALID 00001e3d: JUMPDEST 00001e3e: DUP1 00001e3f: SWAP2 00001e40: POP 00001e41: POP 00001e42: SWAP3 00001e43: SWAP2 00001e44: POP 00001e45: POP 00001e46: JUMP 00001e47: JUMPDEST 00001e48: PUSH1 0x00 00001e4a: DUP1 00001e4b: PUSH1 0x00 00001e4d: DUP1 00001e4e: PUSH8 0x0de0b6b3a7640000 00001e57: DUP6 00001e58: ADD 00001e59: SWAP3 00001e5a: POP 00001e5b: PUSH8 0x0de0b6b3a7640000 00001e64: PUSH1 0x06 00001e66: SLOAD 00001e67: ADD 00001e68: SWAP2 00001e69: POP 00001e6a: PUSH8 0x0de0b6b3a7640000 00001e73: PUSH2 0x1edb 00001e76: PUSH8 0x0de0b6b3a7640000 00001e7f: DUP6 00001e80: SUB 00001e81: PUSH5 0x02540be400 00001e87: PUSH8 0x0de0b6b3a7640000 00001e90: DUP7 00001e91: DUP2 00001e92: ISZERO 00001e93: ISZERO 00001e94: PUSH2 0x1e99 00001e97: JUMPI 00001e98: INVALID 00001e99: JUMPDEST 00001e9a: DIV 00001e9b: PUSH5 0x02540be400 00001ea1: MUL 00001ea2: PUSH5 0x174876e800 00001ea8: ADD 00001ea9: SUB 00001eaa: MUL 00001eab: PUSH1 0x02 00001ead: PUSH8 0x0de0b6b3a7640000 00001eb6: DUP8 00001eb7: PUSH1 0x02 00001eb9: DUP10 00001eba: EXP 00001ebb: SUB 00001ebc: DUP2 00001ebd: ISZERO 00001ebe: ISZERO 00001ebf: PUSH2 0x1ec4 00001ec2: JUMPI 00001ec3: INVALID 00001ec4: JUMPDEST 00001ec5: DIV 00001ec6: PUSH5 0x02540be400 00001ecc: MUL 00001ecd: DUP2 00001ece: ISZERO 00001ecf: ISZERO 00001ed0: PUSH2 0x1ed5 00001ed3: JUMPI 00001ed4: INVALID 00001ed5: JUMPDEST 00001ed6: DIV 00001ed7: PUSH2 0x1d83 00001eda: JUMP 00001edb: JUMPDEST 00001edc: DUP2 00001edd: ISZERO 00001ede: ISZERO 00001edf: PUSH2 0x1ee4 00001ee2: JUMPI 00001ee3: INVALID 00001ee4: JUMPDEST 00001ee5: DIV 00001ee6: SWAP1 00001ee7: POP 00001ee8: DUP1 00001ee9: SWAP4 00001eea: POP 00001eeb: POP 00001eec: POP 00001eed: POP 00001eee: SWAP2 00001eef: SWAP1 00001ef0: POP 00001ef1: JUMP 00001ef2: JUMPDEST 00001ef3: PUSH1 0x00 00001ef5: DUP1 00001ef6: PUSH1 0x02 00001ef8: PUSH1 0x01 00001efa: DUP5 00001efb: ADD 00001efc: DUP2 00001efd: ISZERO 00001efe: ISZERO 00001eff: PUSH2 0x1f04 00001f02: JUMPI 00001f03: INVALID 00001f04: JUMPDEST 00001f05: DIV 00001f06: SWAP1 00001f07: POP 00001f08: DUP3 00001f09: SWAP2 00001f0a: POP 00001f0b: JUMPDEST 00001f0c: DUP2 00001f0d: DUP2 00001f0e: LT 00001f0f: ISZERO 00001f10: PUSH2 0x1f37 00001f13: JUMPI 00001f14: DUP1 00001f15: SWAP2 00001f16: POP 00001f17: PUSH1 0x02 00001f19: DUP2 00001f1a: DUP3 00001f1b: DUP6 00001f1c: DUP2 00001f1d: ISZERO 00001f1e: ISZERO 00001f1f: PUSH2 0x1f24 00001f22: JUMPI 00001f23: INVALID 00001f24: JUMPDEST 00001f25: DIV 00001f26: ADD 00001f27: DUP2 00001f28: ISZERO 00001f29: ISZERO 00001f2a: PUSH2 0x1f2f 00001f2d: JUMPI 00001f2e: INVALID 00001f2f: JUMPDEST 00001f30: DIV 00001f31: SWAP1 00001f32: POP 00001f33: PUSH2 0x1f0b 00001f36: JUMP 00001f37: JUMPDEST 00001f38: POP 00001f39: SWAP2 00001f3a: SWAP1 00001f3b: POP 00001f3c: JUMP 00001f3d: JUMPDEST 00001f3e: DUP3 00001f3f: DUP1 00001f40: SLOAD 00001f41: PUSH1 0x01 00001f43: DUP2 00001f44: PUSH1 0x01 00001f46: AND 00001f47: ISZERO 00001f48: PUSH2 0x0100 00001f4b: MUL 00001f4c: SUB 00001f4d: AND 00001f4e: PUSH1 0x02 00001f50: SWAP1 00001f51: DIV 00001f52: SWAP1 00001f53: PUSH1 0x00 00001f55: MSTORE 00001f56: PUSH1 0x20 00001f58: PUSH1 0x00 00001f5a: KECCAK256 00001f5b: SWAP1 00001f5c: PUSH1 0x1f 00001f5e: ADD 00001f5f: PUSH1 0x20 00001f61: SWAP1 00001f62: DIV 00001f63: DUP2 00001f64: ADD 00001f65: SWAP3 00001f66: DUP3 00001f67: PUSH1 0x1f 00001f69: LT 00001f6a: PUSH2 0x1f7e 00001f6d: JUMPI 00001f6e: DUP1 00001f6f: MLOAD 00001f70: PUSH1 0xff 00001f72: NOT 00001f73: AND 00001f74: DUP4 00001f75: DUP1 00001f76: ADD 00001f77: OR 00001f78: DUP6 00001f79: SSTORE 00001f7a: PUSH2 0x1fac 00001f7d: JUMP 00001f7e: JUMPDEST 00001f7f: DUP3 00001f80: DUP1 00001f81: ADD 00001f82: PUSH1 0x01 00001f84: ADD 00001f85: DUP6 00001f86: SSTORE 00001f87: DUP3 00001f88: ISZERO 00001f89: PUSH2 0x1fac 00001f8c: JUMPI 00001f8d: SWAP2 00001f8e: DUP3 00001f8f: ADD 00001f90: JUMPDEST 00001f91: DUP3 00001f92: DUP2 00001f93: GT 00001f94: ISZERO 00001f95: PUSH2 0x1fab 00001f98: JUMPI 00001f99: DUP3 00001f9a: MLOAD 00001f9b: DUP3 00001f9c: SSTORE 00001f9d: SWAP2 00001f9e: PUSH1 0x20 00001fa0: ADD 00001fa1: SWAP2 00001fa2: SWAP1 00001fa3: PUSH1 0x01 00001fa5: ADD 00001fa6: SWAP1 00001fa7: PUSH2 0x1f90 00001faa: JUMP 00001fab: JUMPDEST 00001fac: JUMPDEST 00001fad: POP 00001fae: SWAP1 00001faf: POP 00001fb0: PUSH2 0x1fb9 00001fb3: SWAP2 00001fb4: SWAP1 00001fb5: PUSH2 0x1fbd 00001fb8: JUMP 00001fb9: JUMPDEST 00001fba: POP 00001fbb: SWAP1 00001fbc: JUMP 00001fbd: JUMPDEST 00001fbe: PUSH2 0x1fdf 00001fc1: SWAP2 00001fc2: SWAP1 00001fc3: JUMPDEST 00001fc4: DUP1 00001fc5: DUP3 00001fc6: GT 00001fc7: ISZERO 00001fc8: PUSH2 0x1fdb 00001fcb: JUMPI 00001fcc: PUSH1 0x00 00001fce: DUP2 00001fcf: PUSH1 0x00 00001fd1: SWAP1 00001fd2: SSTORE 00001fd3: POP 00001fd4: PUSH1 0x01 00001fd6: ADD 00001fd7: PUSH2 0x1fc3 00001fda: JUMP 00001fdb: JUMPDEST 00001fdc: POP 00001fdd: SWAP1 00001fde: JUMP 00001fdf: JUMPDEST 00001fe0: SWAP1 00001fe1: JUMP 00001fe2: STOP 00001fe3: LOG1 00001fe4: PUSH6 0x627a7a723058 00001feb: KECCAK256 00001fec: PUSH26 0xcfa3a2249e933a9e479f7008828ba8d8d5d31eab5b48b6a95649 00002007: UNKNOWN(0xED) 00002008: CALLCODE 00002009: UNKNOWN(0xDB) 0000200a: UNKNOWN(0xA5) 0000200b: UNKNOWN(0xFC) 0000200c: STOP 0000200d: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | yes | yes |
viewtrace_id: 0xcceeeb24a5ec2f2998e461fe8b8d31c93a5d29148d6786a7e86db2a26c2d3b95
call_targets:
0x222c288bb95470eb10025860153bff12858bbe8a, 0x4c902a3ff72dcf01bac6b9d0438565e649a87404
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xcceeeb24a5ec2f2998e461fe8b8d31c93a5d29148d6786a7e86db2a26c2d3b95",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x222c288bb95470eb10025860153bff12858bbe8a",
"0x4c902a3ff72dcf01bac6b9d0438565e649a87404"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1e0018d6",
"selector": "0x1e0018d6",
"calldata_variants": [
"0x1e0018d6",
"0x1e0018d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2413,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4119,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6607,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 4594,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5780,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5898,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6140,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | yes | yes |
viewtrace_id: 0xcceeeb24a5ec2f2998e461fe8b8d31c93a5d29148d6786a7e86db2a26c2d3b95
call_targets:
0x222c288bb95470eb10025860153bff12858bbe8a, 0x4c902a3ff72dcf01bac6b9d0438565e649a87404
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xcceeeb24a5ec2f2998e461fe8b8d31c93a5d29148d6786a7e86db2a26c2d3b95",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x222c288bb95470eb10025860153bff12858bbe8a",
"0x4c902a3ff72dcf01bac6b9d0438565e649a87404"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1e0018d6",
"selector": "0x1e0018d6",
"calldata_variants": [
"0x1e0018d6",
"0x1e0018d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2413,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4119,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6607,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 4594,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5780,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5898,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6140,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|