019b3836-4885-727a-bcc4-0717ce1021d7
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 |
|---|---|---|---|---|
| 6465 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 6466 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 50100 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 50101 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 50102 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 50103 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x00da 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x2d116186 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0117 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x2ea459b8 00000025: EQ 00000026: PUSH2 0x0132 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x357ad17a 00000030: EQ 00000031: PUSH2 0x0182 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x5fbddcf3 0000003b: EQ 0000003c: PUSH2 0x018b 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x64325ddb 00000046: EQ 00000047: PUSH2 0x019d 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x715ef4ff 00000051: EQ 00000052: PUSH2 0x01ad 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x79502c55 0000005c: EQ 0000005d: PUSH2 0x01f0 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x8b252ab9 00000067: EQ 00000068: PUSH2 0x0224 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x992ae976 00000072: EQ 00000073: PUSH2 0x0348 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xa70a9ad7 0000007d: EQ 0000007e: PUSH2 0x047d 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xa819819b 00000088: EQ 00000089: PUSH2 0x04ea 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xc8fdc891 00000093: EQ 00000094: PUSH2 0x0513 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xcb553ac9 0000009e: EQ 0000009f: PUSH2 0x051f 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xd6d902c4 000000a9: EQ 000000aa: PUSH2 0x054d 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xe6e91cfc 000000b4: EQ 000000b5: PUSH2 0x05fc 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xeb64f63a 000000bf: EQ 000000c0: PUSH2 0x063b 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xedb27f4e 000000ca: EQ 000000cb: PUSH2 0x0644 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xfe757fb5 000000d5: EQ 000000d6: PUSH2 0x06b1 000000d9: JUMPI 000000da: JUMPDEST 000000db: PUSH2 0x06f7 000000de: PUSH2 0x06f9 000000e1: PUSH1 0x00 000000e3: CALLDATASIZE 000000e4: DUP1 000000e5: DUP1 000000e6: PUSH1 0x1f 000000e8: ADD 000000e9: PUSH1 0x20 000000eb: DUP1 000000ec: SWAP2 000000ed: DIV 000000ee: MUL 000000ef: PUSH1 0x20 000000f1: ADD 000000f2: PUSH1 0x40 000000f4: MLOAD 000000f5: SWAP1 000000f6: DUP2 000000f7: ADD 000000f8: PUSH1 0x40 000000fa: MSTORE 000000fb: DUP1 000000fc: SWAP4 000000fd: SWAP3 000000fe: SWAP2 000000ff: SWAP1 00000100: DUP2 00000101: DUP2 00000102: MSTORE 00000103: PUSH1 0x20 00000105: ADD 00000106: DUP4 00000107: DUP4 00000108: DUP1 00000109: DUP3 0000010a: DUP5 0000010b: CALLDATACOPY 0000010c: POP 0000010d: PUSH2 0x0178 00000110: SWAP5 00000111: POP 00000112: POP 00000113: POP 00000114: POP 00000115: POP 00000116: JUMP 00000117: JUMPDEST 00000118: PUSH2 0x06fb 0000011b: JUMPDEST 0000011c: PUSH1 0x0a 0000011e: SLOAD 0000011f: PUSH1 0x09 00000121: SLOAD 00000122: ADD 00000123: ADDRESS 00000124: PUSH1 0x01 00000126: PUSH1 0xa0 00000128: PUSH1 0x02 0000012a: EXP 0000012b: SUB 0000012c: AND 0000012d: BALANCE 0000012e: SUB 0000012f: JUMPDEST 00000130: SWAP1 00000131: JUMP 00000132: JUMPDEST 00000133: PUSH1 0x40 00000135: DUP1 00000136: MLOAD 00000137: PUSH1 0x20 00000139: PUSH1 0x04 0000013b: DUP1 0000013c: CALLDATALOAD 0000013d: DUP1 0000013e: DUP3 0000013f: ADD 00000140: CALLDATALOAD 00000141: PUSH1 0x1f 00000143: DUP2 00000144: ADD 00000145: DUP5 00000146: SWAP1 00000147: DIV 00000148: DUP5 00000149: MUL 0000014a: DUP6 0000014b: ADD 0000014c: DUP5 0000014d: ADD 0000014e: SWAP1 0000014f: SWAP6 00000150: MSTORE 00000151: DUP5 00000152: DUP5 00000153: MSTORE 00000154: PUSH2 0x06f7 00000157: SWAP5 00000158: SWAP2 00000159: SWAP4 0000015a: PUSH1 0x24 0000015c: SWAP4 0000015d: SWAP1 0000015e: SWAP3 0000015f: SWAP2 00000160: DUP5 00000161: ADD 00000162: SWAP2 00000163: SWAP1 00000164: DUP2 00000165: SWAP1 00000166: DUP5 00000167: ADD 00000168: DUP4 00000169: DUP3 0000016a: DUP1 0000016b: DUP3 0000016c: DUP5 0000016d: CALLDATACOPY 0000016e: POP 0000016f: SWAP5 00000170: SWAP7 00000171: POP 00000172: POP 00000173: POP 00000174: POP 00000175: POP 00000176: POP 00000177: POP 00000178: JUMPDEST 00000179: PUSH2 0x08e8 0000017c: DUP2 0000017d: CALLER 0000017e: PUSH2 0x0595 00000181: JUMP 00000182: JUMPDEST 00000183: PUSH2 0x06fb 00000186: PUSH1 0x0a 00000188: SLOAD 00000189: DUP2 0000018a: JUMP 0000018b: JUMPDEST 0000018c: PUSH2 0x06fb 0000018f: JUMPDEST 00000190: PUSH1 0x00 00000192: PUSH1 0x00 00000194: PUSH1 0x00 00000196: PUSH2 0x0877 00000199: PUSH2 0x0517 0000019c: JUMP 0000019d: JUMPDEST 0000019e: PUSH2 0x06fb 000001a1: JUMPDEST 000001a2: PUSH1 0x00 000001a4: PUSH1 0x00 000001a6: PUSH2 0x082f 000001a9: PUSH2 0x018f 000001ac: JUMP 000001ad: JUMPDEST 000001ae: PUSH2 0x06f7 000001b1: PUSH1 0x04 000001b3: CALLDATALOAD 000001b4: PUSH1 0x00 000001b6: PUSH1 0x00 000001b8: PUSH1 0x00 000001ba: PUSH1 0x00 000001bc: PUSH1 0x02 000001be: PUSH1 0x08 000001c0: PUSH1 0x00 000001c2: POP 000001c3: DUP7 000001c4: DUP2 000001c5: SLOAD 000001c6: DUP2 000001c7: LT 000001c8: ISZERO 000001c9: PUSH2 0x0002 000001cc: JUMPI 000001cd: POP 000001ce: DUP1 000001cf: DUP4 000001d0: MSTORE 000001d1: DUP7 000001d2: MUL 000001d3: PUSH1 0x00 000001d5: DUP1 000001d6: MLOAD 000001d7: PUSH1 0x20 000001d9: PUSH2 0x13bb 000001dc: DUP4 000001dd: CODECOPY 000001de: DUP2 000001df: MLOAD 000001e0: SWAP2 000001e1: MSTORE 000001e2: ADD 000001e3: SLOAD 000001e4: PUSH1 0xff 000001e6: AND 000001e7: EQ 000001e8: PUSH2 0x0dd8 000001eb: JUMPI 000001ec: PUSH2 0x0002 000001ef: JUMP 000001f0: JUMPDEST 000001f1: PUSH1 0x01 000001f3: SLOAD 000001f4: PUSH1 0x00 000001f6: SLOAD 000001f7: PUSH1 0x04 000001f9: SLOAD 000001fa: PUSH1 0x03 000001fc: SLOAD 000001fd: PUSH1 0x06 000001ff: SLOAD 00000200: PUSH1 0x02 00000202: SLOAD 00000203: PUSH1 0x05 00000205: SLOAD 00000206: PUSH1 0x07 00000208: SLOAD 00000209: PUSH2 0x070d 0000020c: SWAP8 0000020d: PUSH1 0x01 0000020f: PUSH1 0xa0 00000211: PUSH1 0x02 00000213: EXP 00000214: SUB 00000215: SWAP8 00000216: DUP9 00000217: AND 00000218: SWAP8 00000219: SWAP1 0000021a: DUP2 0000021b: AND 0000021c: SWAP7 0000021d: SWAP4 0000021e: SWAP6 0000021f: SWAP5 00000220: SWAP2 00000221: AND 00000222: DUP9 00000223: JUMP 00000224: JUMPDEST 00000225: PUSH2 0x075c 00000228: PUSH1 0x04 0000022a: CALLDATALOAD 0000022b: PUSH1 0x08 0000022d: DUP1 0000022e: SLOAD 0000022f: DUP3 00000230: SWAP1 00000231: DUP2 00000232: LT 00000233: ISZERO 00000234: PUSH2 0x0002 00000237: JUMPI 00000238: POP 00000239: PUSH1 0x00 0000023b: DUP2 0000023c: SWAP1 0000023d: MSTORE 0000023e: MUL 0000023f: PUSH1 0x00 00000241: DUP1 00000242: MLOAD 00000243: PUSH1 0x20 00000245: PUSH2 0x13bb 00000248: DUP4 00000249: CODECOPY 0000024a: DUP2 0000024b: MLOAD 0000024c: SWAP2 0000024d: MSTORE 0000024e: DUP2 0000024f: ADD 00000250: SLOAD 00000251: PUSH1 0x00 00000253: DUP1 00000254: MLOAD 00000255: PUSH1 0x20 00000257: PUSH2 0x137b 0000025a: DUP4 0000025b: CODECOPY 0000025c: DUP2 0000025d: MLOAD 0000025e: SWAP2 0000025f: MSTORE 00000260: DUP3 00000261: ADD 00000262: SLOAD 00000263: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee9 00000284: DUP4 00000285: ADD 00000286: SLOAD 00000287: PUSH1 0x00 00000289: DUP1 0000028a: MLOAD 0000028b: PUSH1 0x20 0000028d: PUSH2 0x139b 00000290: DUP4 00000291: CODECOPY 00000292: DUP2 00000293: MLOAD 00000294: SWAP2 00000295: MSTORE 00000296: DUP5 00000297: ADD 00000298: SLOAD 00000299: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee4 000002ba: DUP6 000002bb: ADD 000002bc: SLOAD 000002bd: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee6 000002de: DUP7 000002df: ADD 000002e0: SLOAD 000002e1: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee7 00000302: DUP8 00000303: ADD 00000304: SLOAD 00000305: PUSH1 0x01 00000307: PUSH1 0xa0 00000309: PUSH1 0x02 0000030b: EXP 0000030c: SUB 0000030d: SWAP4 0000030e: DUP5 0000030f: AND 00000310: SWAP8 00000311: SWAP3 00000312: SWAP1 00000313: SWAP4 00000314: AND 00000315: SWAP6 00000316: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee5 00000337: SWAP3 00000338: SWAP1 00000339: SWAP3 0000033a: ADD 0000033b: SWAP5 0000033c: SWAP1 0000033d: SWAP4 0000033e: PUSH1 0xff 00000340: SWAP3 00000341: SWAP1 00000342: SWAP3 00000343: AND 00000344: SWAP2 00000345: SWAP1 00000346: DUP9 00000347: JUMP 00000348: JUMPDEST 00000349: PUSH2 0x06fb 0000034c: PUSH1 0x04 0000034e: CALLDATALOAD 0000034f: JUMPDEST 00000350: PUSH1 0x00 00000352: PUSH32 0x2d00000000000000000000000000000000000000000000000000000000000000 00000373: DUP3 00000374: EQ 00000375: DUP1 00000376: PUSH2 0x039e 00000379: JUMPI 0000037a: POP 0000037b: PUSH32 0x5f00000000000000000000000000000000000000000000000000000000000000 0000039c: DUP3 0000039d: EQ 0000039e: JUMPDEST 0000039f: DUP1 000003a0: PUSH2 0x03c8 000003a3: JUMPI 000003a4: POP 000003a5: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000 000003c6: DUP3 000003c7: EQ 000003c8: JUMPDEST 000003c9: DUP1 000003ca: PUSH2 0x03f2 000003cd: JUMPI 000003ce: POP 000003cf: PUSH32 0x2700000000000000000000000000000000000000000000000000000000000000 000003f0: DUP3 000003f1: EQ 000003f2: JUMPDEST 000003f3: DUP1 000003f4: PUSH2 0x041c 000003f7: JUMPI 000003f8: POP 000003f9: PUSH32 0x2100000000000000000000000000000000000000000000000000000000000000 0000041a: DUP3 0000041b: EQ 0000041c: JUMPDEST 0000041d: DUP1 0000041e: PUSH2 0x0446 00000421: JUMPI 00000422: POP 00000423: PUSH32 0x2800000000000000000000000000000000000000000000000000000000000000 00000444: DUP3 00000445: EQ 00000446: JUMPDEST 00000447: DUP1 00000448: PUSH2 0x0470 0000044b: JUMPI 0000044c: POP 0000044d: PUSH32 0x2900000000000000000000000000000000000000000000000000000000000000 0000046e: DUP3 0000046f: EQ 00000470: JUMPDEST 00000471: ISZERO 00000472: PUSH2 0x0826 00000475: JUMPI 00000476: POP 00000477: PUSH1 0x01 00000479: PUSH2 0x082a 0000047c: JUMP 0000047d: JUMPDEST 0000047e: PUSH2 0x06f7 00000481: PUSH1 0x04 00000483: CALLDATALOAD 00000484: PUSH1 0x01 00000486: SLOAD 00000487: PUSH1 0x01 00000489: PUSH1 0xa0 0000048b: PUSH1 0x02 0000048d: EXP 0000048e: SUB 0000048f: CALLER 00000490: DUP2 00000491: AND 00000492: SWAP2 00000493: AND 00000494: EQ 00000495: ISZERO 00000496: PUSH2 0x08e8 00000499: JUMPI 0000049a: PUSH1 0x01 0000049c: DUP1 0000049d: SLOAD 0000049e: PUSH1 0x01 000004a0: PUSH1 0xa0 000004a2: PUSH1 0x02 000004a4: EXP 000004a5: SUB 000004a6: NOT 000004a7: AND 000004a8: DUP3 000004a9: OR 000004aa: SWAP1 000004ab: SSTORE 000004ac: PUSH1 0x40 000004ae: DUP1 000004af: MLOAD 000004b0: PUSH1 0x01 000004b2: PUSH1 0xa0 000004b4: PUSH1 0x02 000004b6: EXP 000004b7: SUB 000004b8: DUP4 000004b9: AND 000004ba: DUP2 000004bb: MSTORE 000004bc: SWAP1 000004bd: MLOAD 000004be: PUSH32 0x717ad3d2c906df35654b3ea5e4e0e4ccf0ea165a14184173bb1663717746c4cc 000004df: SWAP2 000004e0: DUP2 000004e1: SWAP1 000004e2: SUB 000004e3: PUSH1 0x20 000004e5: ADD 000004e6: SWAP1 000004e7: LOG1 000004e8: POP 000004e9: JUMP 000004ea: JUMPDEST 000004eb: PUSH2 0x06f7 000004ee: PUSH1 0x04 000004f0: CALLDATALOAD 000004f1: PUSH1 0x01 000004f3: SLOAD 000004f4: PUSH1 0x00 000004f6: SWAP1 000004f7: DUP2 000004f8: SWAP1 000004f9: PUSH1 0x01 000004fb: PUSH1 0xa0 000004fd: PUSH1 0x02 000004ff: EXP 00000500: SUB 00000501: CALLER 00000502: DUP2 00000503: AND 00000504: SWAP2 00000505: AND 00000506: EQ 00000507: ISZERO 00000508: PUSH2 0x0f47 0000050b: JUMPI 0000050c: PUSH2 0x108b 0000050f: PUSH2 0x011b 00000512: JUMP 00000513: JUMPDEST 00000514: PUSH2 0x06fb 00000517: JUMPDEST 00000518: PUSH1 0x08 0000051a: SLOAD 0000051b: PUSH2 0x012f 0000051e: JUMP 0000051f: JUMPDEST 00000520: PUSH2 0x06f7 00000523: PUSH1 0x04 00000525: CALLDATALOAD 00000526: PUSH1 0x00 00000528: DUP1 00000529: SLOAD 0000052a: DUP2 0000052b: SWAP1 0000052c: PUSH1 0x01 0000052e: PUSH1 0xa0 00000530: PUSH1 0x02 00000532: EXP 00000533: SUB 00000534: CALLER 00000535: DUP2 00000536: AND 00000537: SWAP2 00000538: AND 00000539: EQ 0000053a: ISZERO 0000053b: PUSH2 0x0f47 0000053e: JUMPI 0000053f: PUSH1 0x0a 00000541: SLOAD 00000542: DUP4 00000543: GT 00000544: ISZERO 00000545: PUSH2 0x100b 00000548: JUMPI 00000549: PUSH2 0x0002 0000054c: JUMP 0000054d: JUMPDEST 0000054e: PUSH1 0x40 00000550: DUP1 00000551: MLOAD 00000552: PUSH1 0x20 00000554: PUSH1 0x04 00000556: DUP1 00000557: CALLDATALOAD 00000558: DUP1 00000559: DUP3 0000055a: ADD 0000055b: CALLDATALOAD 0000055c: PUSH1 0x1f 0000055e: DUP2 0000055f: ADD 00000560: DUP5 00000561: SWAP1 00000562: DIV 00000563: DUP5 00000564: MUL 00000565: DUP6 00000566: ADD 00000567: DUP5 00000568: ADD 00000569: SWAP1 0000056a: SWAP6 0000056b: MSTORE 0000056c: DUP5 0000056d: DUP5 0000056e: MSTORE 0000056f: PUSH2 0x06f7 00000572: SWAP5 00000573: SWAP2 00000574: SWAP4 00000575: PUSH1 0x24 00000577: SWAP4 00000578: SWAP1 00000579: SWAP3 0000057a: SWAP2 0000057b: DUP5 0000057c: ADD 0000057d: SWAP2 0000057e: SWAP1 0000057f: DUP2 00000580: SWAP1 00000581: DUP5 00000582: ADD 00000583: DUP4 00000584: DUP3 00000585: DUP1 00000586: DUP3 00000587: DUP5 00000588: CALLDATACOPY 00000589: POP 0000058a: SWAP5 0000058b: SWAP7 0000058c: POP 0000058d: POP 0000058e: SWAP4 0000058f: CALLDATALOAD 00000590: SWAP4 00000591: POP 00000592: POP 00000593: POP 00000594: POP 00000595: JUMPDEST 00000596: PUSH1 0x00 00000598: PUSH1 0x00 0000059a: PUSH1 0x00 0000059c: PUSH1 0x00 0000059e: PUSH1 0x00 000005a0: PUSH1 0x00 000005a2: PUSH1 0x00 000005a4: DUP9 000005a5: MLOAD 000005a6: PUSH1 0x00 000005a8: EQ 000005a9: ISZERO 000005aa: PUSH2 0x05e4 000005ad: JUMPI 000005ae: PUSH1 0x40 000005b0: DUP1 000005b1: MLOAD 000005b2: DUP1 000005b3: DUP3 000005b4: ADD 000005b5: SWAP1 000005b6: SWAP2 000005b7: MSTORE 000005b8: PUSH1 0x09 000005ba: DUP2 000005bb: MSTORE 000005bc: PUSH32 0x416e6f6e796d6f75730000000000000000000000000000000000000000000000 000005dd: PUSH1 0x20 000005df: DUP3 000005e0: ADD 000005e1: MSTORE 000005e2: SWAP9 000005e3: POP 000005e4: JUMPDEST 000005e5: PUSH2 0x08eb 000005e8: DUP10 000005e9: DUP1 000005ea: MLOAD 000005eb: PUSH1 0x00 000005ed: SWAP1 000005ee: DUP2 000005ef: DUP1 000005f0: DUP3 000005f1: DUP2 000005f2: EQ 000005f3: ISZERO 000005f4: PUSH2 0x120d 000005f7: JUMPI 000005f8: PUSH2 0x1205 000005fb: JUMP 000005fc: JUMPDEST 000005fd: PUSH2 0x06f7 00000600: PUSH1 0x04 00000602: CALLDATALOAD 00000603: PUSH1 0x00 00000605: DUP1 00000606: SLOAD 00000607: DUP2 00000608: SWAP1 00000609: PUSH1 0x01 0000060b: PUSH1 0xa0 0000060d: PUSH1 0x02 0000060f: EXP 00000610: SUB 00000611: CALLER 00000612: DUP2 00000613: AND 00000614: SWAP2 00000615: AND 00000616: EQ 00000617: DUP1 00000618: ISZERO 00000619: SWAP1 0000061a: PUSH2 0x0631 0000061d: JUMPI 0000061e: POP 0000061f: PUSH1 0x01 00000621: SLOAD 00000622: PUSH1 0x01 00000624: PUSH1 0xa0 00000626: PUSH1 0x02 00000628: EXP 00000629: SUB 0000062a: CALLER 0000062b: DUP2 0000062c: AND 0000062d: SWAP2 0000062e: AND 0000062f: EQ 00000630: ISZERO 00000631: JUMPDEST 00000632: ISZERO 00000633: PUSH2 0x0f4c 00000636: JUMPI 00000637: PUSH2 0x0002 0000063a: JUMP 0000063b: JUMPDEST 0000063c: PUSH2 0x06fb 0000063f: PUSH1 0x09 00000641: SLOAD 00000642: DUP2 00000643: JUMP 00000644: JUMPDEST 00000645: PUSH2 0x06f7 00000648: PUSH1 0x04 0000064a: CALLDATALOAD 0000064b: PUSH1 0x00 0000064d: SLOAD 0000064e: PUSH1 0x01 00000650: PUSH1 0xa0 00000652: PUSH1 0x02 00000654: EXP 00000655: SUB 00000656: CALLER 00000657: DUP2 00000658: AND 00000659: SWAP2 0000065a: AND 0000065b: EQ 0000065c: ISZERO 0000065d: PUSH2 0x08e8 00000660: JUMPI 00000661: PUSH1 0x00 00000663: DUP1 00000664: SLOAD 00000665: PUSH1 0x01 00000667: PUSH1 0xa0 00000669: PUSH1 0x02 0000066b: EXP 0000066c: SUB 0000066d: NOT 0000066e: AND 0000066f: DUP3 00000670: OR 00000671: SWAP1 00000672: SSTORE 00000673: PUSH1 0x40 00000675: DUP1 00000676: MLOAD 00000677: PUSH1 0x01 00000679: PUSH1 0xa0 0000067b: PUSH1 0x02 0000067d: EXP 0000067e: SUB 0000067f: DUP4 00000680: AND 00000681: DUP2 00000682: MSTORE 00000683: SWAP1 00000684: MLOAD 00000685: PUSH32 0x17ebf350cf675240e2a1eabac8341e4392a1e984d60864022c0bfa61ab9a0c9e 000006a6: SWAP2 000006a7: DUP2 000006a8: SWAP1 000006a9: SUB 000006aa: PUSH1 0x20 000006ac: ADD 000006ad: SWAP1 000006ae: LOG1 000006af: POP 000006b0: JUMP 000006b1: JUMPDEST 000006b2: PUSH2 0x06fb 000006b5: JUMPDEST 000006b6: PUSH1 0x08 000006b8: DUP1 000006b9: SLOAD 000006ba: PUSH1 0x00 000006bc: SWAP2 000006bd: SWAP1 000006be: PUSH1 0x00 000006c0: NOT 000006c1: DUP2 000006c2: ADD 000006c3: SWAP1 000006c4: DUP2 000006c5: LT 000006c6: ISZERO 000006c7: PUSH2 0x0002 000006ca: JUMPI 000006cb: SWAP2 000006cc: DUP2 000006cd: SWAP1 000006ce: MSTORE 000006cf: MUL 000006d0: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee6 000006f1: ADD 000006f2: SLOAD 000006f3: PUSH2 0x012f 000006f6: JUMP 000006f7: JUMPDEST 000006f8: STOP 000006f9: JUMPDEST 000006fa: JUMP 000006fb: JUMPDEST 000006fc: PUSH1 0x40 000006fe: DUP1 000006ff: MLOAD 00000700: SWAP2 00000701: DUP3 00000702: MSTORE 00000703: MLOAD 00000704: SWAP1 00000705: DUP2 00000706: SWAP1 00000707: SUB 00000708: PUSH1 0x20 0000070a: ADD 0000070b: SWAP1 0000070c: RETURN 0000070d: JUMPDEST 0000070e: PUSH1 0x40 00000710: DUP1 00000711: MLOAD 00000712: PUSH1 0x01 00000714: PUSH1 0xa0 00000716: PUSH1 0x02 00000718: EXP 00000719: SUB 0000071a: SWAP10 0000071b: DUP11 0000071c: AND 0000071d: DUP2 0000071e: MSTORE 0000071f: SWAP8 00000720: DUP10 00000721: AND 00000722: PUSH1 0x20 00000724: DUP10 00000725: ADD 00000726: MSTORE 00000727: DUP8 00000728: DUP2 00000729: ADD 0000072a: SWAP7 0000072b: SWAP1 0000072c: SWAP7 0000072d: MSTORE 0000072e: PUSH1 0x60 00000730: DUP8 00000731: ADD 00000732: SWAP5 00000733: SWAP1 00000734: SWAP5 00000735: MSTORE 00000736: PUSH1 0x80 00000738: DUP7 00000739: ADD 0000073a: SWAP3 0000073b: SWAP1 0000073c: SWAP3 0000073d: MSTORE 0000073e: PUSH1 0xa0 00000740: DUP6 00000741: ADD 00000742: MSTORE 00000743: PUSH1 0xc0 00000745: DUP5 00000746: ADD 00000747: MSTORE 00000748: SWAP1 00000749: SWAP3 0000074a: AND 0000074b: PUSH1 0xe0 0000074d: DUP3 0000074e: ADD 0000074f: MSTORE 00000750: SWAP1 00000751: MLOAD 00000752: SWAP1 00000753: DUP2 00000754: SWAP1 00000755: SUB 00000756: PUSH2 0x0100 00000759: ADD 0000075a: SWAP1 0000075b: RETURN 0000075c: JUMPDEST 0000075d: PUSH1 0x40 0000075f: DUP1 00000760: MLOAD 00000761: PUSH1 0x01 00000763: PUSH1 0xa0 00000765: PUSH1 0x02 00000767: EXP 00000768: SUB 00000769: DUP11 0000076a: DUP2 0000076b: AND 0000076c: DUP3 0000076d: MSTORE 0000076e: DUP10 0000076f: AND 00000770: PUSH1 0x20 00000772: DUP3 00000773: ADD 00000774: MSTORE 00000775: PUSH1 0x60 00000777: DUP2 00000778: ADD 00000779: DUP8 0000077a: SWAP1 0000077b: MSTORE 0000077c: PUSH1 0x80 0000077e: DUP2 0000077f: ADD 00000780: DUP7 00000781: SWAP1 00000782: MSTORE 00000783: PUSH1 0xa0 00000785: DUP2 00000786: ADD 00000787: DUP6 00000788: SWAP1 00000789: MSTORE 0000078a: PUSH1 0xc0 0000078c: DUP2 0000078d: ADD 0000078e: DUP5 0000078f: SWAP1 00000790: MSTORE 00000791: PUSH1 0xe0 00000793: DUP2 00000794: ADD 00000795: DUP4 00000796: SWAP1 00000797: MSTORE 00000798: PUSH2 0x0100 0000079b: SWAP2 0000079c: DUP2 0000079d: ADD 0000079e: DUP3 0000079f: DUP2 000007a0: MSTORE 000007a1: DUP9 000007a2: SLOAD 000007a3: PUSH1 0x02 000007a5: PUSH1 0x01 000007a7: DUP3 000007a8: AND 000007a9: ISZERO 000007aa: DUP6 000007ab: MUL 000007ac: PUSH1 0x00 000007ae: NOT 000007af: ADD 000007b0: SWAP1 000007b1: SWAP2 000007b2: AND 000007b3: DIV 000007b4: SWAP3 000007b5: DUP3 000007b6: ADD 000007b7: DUP4 000007b8: SWAP1 000007b9: MSTORE 000007ba: SWAP1 000007bb: SWAP2 000007bc: PUSH2 0x0120 000007bf: DUP4 000007c0: ADD 000007c1: SWAP1 000007c2: DUP10 000007c3: SWAP1 000007c4: DUP1 000007c5: ISZERO 000007c6: PUSH2 0x0810 000007c9: JUMPI 000007ca: DUP1 000007cb: PUSH1 0x1f 000007cd: LT 000007ce: PUSH2 0x07e5 000007d1: JUMPI 000007d2: PUSH2 0x0100 000007d5: DUP1 000007d6: DUP4 000007d7: SLOAD 000007d8: DIV 000007d9: MUL 000007da: DUP4 000007db: MSTORE 000007dc: SWAP2 000007dd: PUSH1 0x20 000007df: ADD 000007e0: SWAP2 000007e1: PUSH2 0x0810 000007e4: JUMP 000007e5: JUMPDEST 000007e6: DUP3 000007e7: ADD 000007e8: SWAP2 000007e9: SWAP1 000007ea: PUSH1 0x00 000007ec: MSTORE 000007ed: PUSH1 0x20 000007ef: PUSH1 0x00 000007f1: KECCAK256 000007f2: SWAP1 000007f3: JUMPDEST 000007f4: DUP2 000007f5: SLOAD 000007f6: DUP2 000007f7: MSTORE 000007f8: SWAP1 000007f9: PUSH1 0x01 000007fb: ADD 000007fc: SWAP1 000007fd: PUSH1 0x20 000007ff: ADD 00000800: DUP1 00000801: DUP4 00000802: GT 00000803: PUSH2 0x07f3 00000806: JUMPI 00000807: DUP3 00000808: SWAP1 00000809: SUB 0000080a: PUSH1 0x1f 0000080c: AND 0000080d: DUP3 0000080e: ADD 0000080f: SWAP2 00000810: JUMPDEST 00000811: POP 00000812: POP 00000813: SWAP10 00000814: POP 00000815: POP 00000816: POP 00000817: POP 00000818: POP 00000819: POP 0000081a: POP 0000081b: POP 0000081c: POP 0000081d: POP 0000081e: PUSH1 0x40 00000820: MLOAD 00000821: DUP1 00000822: SWAP2 00000823: SUB 00000824: SWAP1 00000825: RETURN 00000826: JUMPDEST 00000827: POP 00000828: PUSH1 0x00 0000082a: JUMPDEST 0000082b: SWAP2 0000082c: SWAP1 0000082d: POP 0000082e: JUMP 0000082f: JUMPDEST 00000830: ISZERO 00000831: ISZERO 00000832: PUSH2 0x083f 00000835: JUMPI 00000836: PUSH1 0x02 00000838: SLOAD 00000839: SWAP2 0000083a: POP 0000083b: PUSH2 0x0853 0000083e: JUMP 0000083f: JUMPDEST 00000840: PUSH1 0x03 00000842: SLOAD 00000843: PUSH2 0x03e8 00000846: SWAP1 00000847: DUP2 00000848: ADD 00000849: PUSH2 0x0857 0000084c: PUSH2 0x06b5 0000084f: JUMP 00000850: JUMPDEST 00000851: SWAP2 00000852: POP 00000853: JUMPDEST 00000854: POP 00000855: SWAP1 00000856: JUMP 00000857: JUMPDEST 00000858: MUL 00000859: DIV 0000085a: SWAP1 0000085b: POP 0000085c: PUSH2 0x0850 0000085f: DUP2 00000860: PUSH1 0x00 00000862: PUSH7 0x2386f26fc10000 0000086a: DUP3 0000086b: LT 0000086c: ISZERO 0000086d: PUSH2 0x1127 00000870: JUMPI 00000871: POP 00000872: DUP1 00000873: PUSH2 0x082a 00000876: JUMP 00000877: JUMPDEST 00000878: PUSH1 0x00 0000087a: EQ 0000087b: ISZERO 0000087c: PUSH2 0x0888 0000087f: JUMPI 00000880: PUSH1 0x00 00000882: SWAP3 00000883: POP 00000884: PUSH2 0x08e3 00000887: JUMP 00000888: JUMPDEST 00000889: PUSH1 0x08 0000088b: DUP1 0000088c: SLOAD 0000088d: PUSH1 0x00 0000088f: NOT 00000890: DUP2 00000891: ADD 00000892: SWAP1 00000893: DUP2 00000894: LT 00000895: ISZERO 00000896: PUSH2 0x0002 00000899: JUMPI 0000089a: PUSH1 0x00 0000089c: DUP3 0000089d: SWAP1 0000089e: MSTORE 0000089f: PUSH1 0x05 000008a1: SLOAD 000008a2: SWAP2 000008a3: MUL 000008a4: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee7 000008c5: ADD 000008c6: SLOAD 000008c7: SWAP3 000008c8: POP 000008c9: TIMESTAMP 000008ca: DUP4 000008cb: SWAP1 000008cc: SUB 000008cd: SWAP2 000008ce: POP 000008cf: DUP2 000008d0: GT 000008d1: ISZERO 000008d2: PUSH2 0x08de 000008d5: JUMPI 000008d6: PUSH1 0x00 000008d8: SWAP3 000008d9: POP 000008da: PUSH2 0x08e3 000008dd: JUMP 000008de: JUMPDEST 000008df: PUSH1 0x01 000008e1: SWAP3 000008e2: POP 000008e3: JUMPDEST 000008e4: POP 000008e5: POP 000008e6: SWAP1 000008e7: JUMP 000008e8: JUMPDEST 000008e9: POP 000008ea: JUMP 000008eb: JUMPDEST 000008ec: ISZERO 000008ed: ISZERO 000008ee: PUSH2 0x08f6 000008f1: JUMPI 000008f2: PUSH2 0x0002 000008f5: JUMP 000008f6: JUMPDEST 000008f7: CALLVALUE 000008f8: SWAP7 000008f9: POP 000008fa: PUSH2 0x0901 000008fd: PUSH2 0x01a1 00000900: JUMP 00000901: JUMPDEST 00000902: SWAP6 00000903: POP 00000904: DUP6 00000905: DUP8 00000906: LT 00000907: ISZERO 00000908: PUSH2 0x0910 0000090b: JUMPI 0000090c: PUSH2 0x0002 0000090f: JUMP 00000910: JUMPDEST 00000911: DUP6 00000912: DUP8 00000913: GT 00000914: ISZERO 00000915: PUSH2 0x091d 00000918: JUMPI 00000919: PUSH2 0x0002 0000091c: JUMP 0000091d: JUMPDEST 0000091e: PUSH2 0x0925 00000921: PUSH2 0x018f 00000924: JUMP 00000925: JUMPDEST 00000926: ISZERO 00000927: ISZERO 00000928: PUSH2 0x0934 0000092b: JUMPI 0000092c: PUSH2 0x0958 0000092f: DUP7 00000930: PUSH2 0x094a 00000933: JUMP 00000934: JUMPDEST 00000935: PUSH1 0x04 00000937: SLOAD 00000938: PUSH2 0x03e8 0000093b: SWAP1 0000093c: DUP8 0000093d: MUL 0000093e: DIV 0000093f: SWAP5 00000940: POP 00000941: DUP5 00000942: DUP7 00000943: SUB 00000944: SWAP4 00000945: POP 00000946: PUSH2 0x0a81 00000949: DUP6 0000094a: JUMPDEST 0000094b: PUSH1 0x0a 0000094d: DUP1 0000094e: SLOAD 0000094f: PUSH1 0x02 00000951: DUP4 00000952: DIV 00000953: ADD 00000954: SWAP1 00000955: SSTORE 00000956: POP 00000957: JUMP 00000958: JUMPDEST 00000959: PUSH2 0x0a43 0000095c: JUMP 0000095d: JUMPDEST 0000095e: PUSH1 0x08 00000960: DUP1 00000961: SLOAD 00000962: PUSH1 0x02 00000964: SWAP2 00000965: SWAP1 00000966: PUSH1 0x00 00000968: NOT 00000969: DUP2 0000096a: ADD 0000096b: SWAP1 0000096c: DUP2 0000096d: LT 0000096e: ISZERO 0000096f: PUSH2 0x0002 00000972: JUMPI 00000973: PUSH1 0x00 00000975: DUP3 00000976: SWAP1 00000977: MSTORE 00000978: DUP2 00000979: MUL 0000097a: PUSH1 0x00 0000097c: DUP1 0000097d: MLOAD 0000097e: PUSH1 0x20 00000980: PUSH2 0x13bb 00000983: DUP4 00000984: CODECOPY 00000985: DUP2 00000986: MLOAD 00000987: SWAP2 00000988: MSTORE 00000989: ADD 0000098a: DUP1 0000098b: SLOAD 0000098c: PUSH1 0xff 0000098e: NOT 0000098f: AND 00000990: SWAP1 00000991: SWAP3 00000992: OR 00000993: SWAP1 00000994: SWAP2 00000995: SSTORE 00000996: PUSH1 0x09 00000998: DUP1 00000999: SLOAD 0000099a: DUP7 0000099b: ADD 0000099c: SWAP1 0000099d: SSTORE 0000099e: PUSH1 0x40 000009a0: DUP1 000009a1: MLOAD 000009a2: SWAP2 000009a3: SLOAD 000009a4: PUSH1 0x00 000009a6: NOT 000009a7: ADD 000009a8: DUP3 000009a9: MSTORE 000009aa: PUSH1 0x20 000009ac: DUP3 000009ad: ADD 000009ae: DUP7 000009af: SWAP1 000009b0: MSTORE 000009b1: DUP1 000009b2: MLOAD 000009b3: PUSH32 0xc6a2b8f8d3f62e93b4e5980775a0b5a08438d456bc584ce53bb721663feb9183 000009d4: SWAP3 000009d5: DUP2 000009d6: SWAP1 000009d7: SUB 000009d8: SWAP1 000009d9: SWAP2 000009da: ADD 000009db: SWAP1 000009dc: LOG1 000009dd: JUMPDEST 000009de: PUSH1 0x08 000009e0: DUP1 000009e1: SLOAD 000009e2: TIMESTAMP 000009e3: SWAP2 000009e4: SWAP1 000009e5: PUSH1 0x00 000009e7: NOT 000009e8: DUP2 000009e9: ADD 000009ea: SWAP1 000009eb: DUP2 000009ec: LT 000009ed: ISZERO 000009ee: PUSH2 0x0002 000009f1: JUMPI 000009f2: PUSH1 0x00 000009f4: DUP3 000009f5: SWAP1 000009f6: MSTORE 000009f7: DUP2 000009f8: MUL 000009f9: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee9 00000a1a: ADD 00000a1b: SWAP2 00000a1c: SWAP1 00000a1d: SWAP2 00000a1e: SSTORE 00000a1f: DUP1 00000a20: SLOAD 00000a21: DUP6 00000a22: SWAP2 00000a23: SWAP1 00000a24: PUSH1 0x00 00000a26: NOT 00000a27: DUP2 00000a28: ADD 00000a29: SWAP1 00000a2a: DUP2 00000a2b: LT 00000a2c: ISZERO 00000a2d: PUSH2 0x0002 00000a30: JUMPI 00000a31: MUL 00000a32: PUSH1 0x00 00000a34: DUP1 00000a35: MLOAD 00000a36: PUSH1 0x20 00000a38: PUSH2 0x137b 00000a3b: DUP4 00000a3c: CODECOPY 00000a3d: DUP2 00000a3e: MLOAD 00000a3f: SWAP2 00000a40: MSTORE 00000a41: ADD 00000a42: SSTORE 00000a43: JUMPDEST 00000a44: PUSH1 0x08 00000a46: DUP1 00000a47: SLOAD 00000a48: PUSH1 0x01 00000a4a: DUP2 00000a4b: ADD 00000a4c: DUP1 00000a4d: DUP4 00000a4e: SSTORE 00000a4f: DUP3 00000a50: DUP2 00000a51: DUP4 00000a52: DUP1 00000a53: ISZERO 00000a54: DUP3 00000a55: SWAP1 00000a56: GT 00000a57: PUSH2 0x0b6c 00000a5a: JUMPI 00000a5b: PUSH1 0x00 00000a5d: DUP4 00000a5e: SWAP1 00000a5f: MSTORE 00000a60: PUSH2 0x0b6c 00000a63: SWAP1 00000a64: DUP4 00000a65: MUL 00000a66: PUSH1 0x00 00000a68: DUP1 00000a69: MLOAD 00000a6a: PUSH1 0x20 00000a6c: PUSH2 0x139b 00000a6f: DUP4 00000a70: CODECOPY 00000a71: DUP2 00000a72: MLOAD 00000a73: SWAP2 00000a74: MSTORE 00000a75: SWAP1 00000a76: DUP2 00000a77: ADD 00000a78: SWAP1 00000a79: DUP4 00000a7a: DUP6 00000a7b: MUL 00000a7c: ADD 00000a7d: PUSH2 0x0c9a 00000a80: JUMP 00000a81: JUMPDEST 00000a82: PUSH1 0x08 00000a84: DUP1 00000a85: SLOAD 00000a86: PUSH2 0x4e20 00000a89: SWAP5 00000a8a: POP 00000a8b: PUSH2 0x0ae8 00000a8e: SWAP2 00000a8f: SWAP1 00000a90: PUSH1 0x00 00000a92: NOT 00000a93: DUP2 00000a94: ADD 00000a95: SWAP1 00000a96: DUP2 00000a97: LT 00000a98: ISZERO 00000a99: PUSH2 0x0002 00000a9c: JUMPI 00000a9d: PUSH1 0x00 00000a9f: DUP3 00000aa0: SWAP1 00000aa1: MSTORE 00000aa2: MUL 00000aa3: PUSH1 0x00 00000aa5: DUP1 00000aa6: MLOAD 00000aa7: PUSH1 0x20 00000aa9: PUSH2 0x139b 00000aac: DUP4 00000aad: CODECOPY 00000aae: DUP2 00000aaf: MLOAD 00000ab0: SWAP2 00000ab1: MSTORE 00000ab2: ADD 00000ab3: SLOAD 00000ab4: PUSH1 0x01 00000ab6: PUSH1 0xa0 00000ab8: PUSH1 0x02 00000aba: EXP 00000abb: SUB 00000abc: AND 00000abd: DUP6 00000abe: DUP6 00000abf: JUMPDEST 00000ac0: PUSH1 0x40 00000ac2: MLOAD 00000ac3: PUSH1 0x00 00000ac5: SWAP1 00000ac6: PUSH1 0x01 00000ac8: PUSH1 0xa0 00000aca: PUSH1 0x02 00000acc: EXP 00000acd: SUB 00000ace: DUP6 00000acf: AND 00000ad0: SWAP1 00000ad1: DUP4 00000ad2: SWAP1 00000ad3: DUP6 00000ad4: SWAP1 00000ad5: DUP5 00000ad6: DUP2 00000ad7: DUP2 00000ad8: DUP2 00000ad9: DUP6 00000ada: DUP9 00000adb: DUP9 00000adc: CALL 00000add: SWAP9 00000ade: SWAP8 00000adf: POP 00000ae0: POP 00000ae1: POP 00000ae2: POP 00000ae3: POP 00000ae4: POP 00000ae5: POP 00000ae6: POP 00000ae7: JUMP 00000ae8: JUMPDEST 00000ae9: SWAP2 00000aea: POP 00000aeb: DUP2 00000aec: ISZERO 00000aed: PUSH2 0x095d 00000af0: JUMPI 00000af1: PUSH1 0x08 00000af3: DUP1 00000af4: SLOAD 00000af5: PUSH1 0x01 00000af7: SWAP2 00000af8: SWAP1 00000af9: PUSH1 0x00 00000afb: NOT 00000afc: DUP2 00000afd: ADD 00000afe: SWAP1 00000aff: DUP2 00000b00: LT 00000b01: ISZERO 00000b02: PUSH2 0x0002 00000b05: JUMPI 00000b06: PUSH1 0x00 00000b08: DUP3 00000b09: SWAP1 00000b0a: MSTORE 00000b0b: DUP2 00000b0c: MUL 00000b0d: PUSH1 0x00 00000b0f: DUP1 00000b10: MLOAD 00000b11: PUSH1 0x20 00000b13: PUSH2 0x13bb 00000b16: DUP4 00000b17: CODECOPY 00000b18: DUP2 00000b19: MLOAD 00000b1a: SWAP2 00000b1b: MSTORE 00000b1c: ADD 00000b1d: DUP1 00000b1e: SLOAD 00000b1f: PUSH1 0xff 00000b21: NOT 00000b22: AND 00000b23: SWAP1 00000b24: SWAP3 00000b25: OR 00000b26: SWAP1 00000b27: SWAP2 00000b28: SSTORE 00000b29: PUSH1 0x40 00000b2b: DUP1 00000b2c: MLOAD 00000b2d: SWAP2 00000b2e: SLOAD 00000b2f: PUSH1 0x00 00000b31: NOT 00000b32: ADD 00000b33: DUP3 00000b34: MSTORE 00000b35: PUSH1 0x20 00000b37: DUP3 00000b38: ADD 00000b39: DUP7 00000b3a: SWAP1 00000b3b: MSTORE 00000b3c: DUP1 00000b3d: MLOAD 00000b3e: PUSH32 0x487ef67f806a7fd51c45af6b40a593ec0b7a02a01dbc61151848c6f9e5d3998e 00000b5f: SWAP3 00000b60: DUP2 00000b61: SWAP1 00000b62: SUB 00000b63: SWAP1 00000b64: SWAP2 00000b65: ADD 00000b66: SWAP1 00000b67: LOG1 00000b68: PUSH2 0x09dd 00000b6b: JUMP 00000b6c: JUMPDEST 00000b6d: POP 00000b6e: POP 00000b6f: POP 00000b70: SWAP2 00000b71: SWAP1 00000b72: SWAP1 00000b73: PUSH1 0x00 00000b75: MSTORE 00000b76: PUSH1 0x20 00000b78: PUSH1 0x00 00000b7a: KECCAK256 00000b7b: SWAP1 00000b7c: PUSH1 0x08 00000b7e: MUL 00000b7f: ADD 00000b80: PUSH1 0x00 00000b82: PUSH2 0x0100 00000b85: PUSH1 0x40 00000b87: MLOAD 00000b88: SWAP1 00000b89: DUP2 00000b8a: ADD 00000b8b: PUSH1 0x40 00000b8d: MSTORE 00000b8e: DUP1 00000b8f: DUP13 00000b90: DUP2 00000b91: MSTORE 00000b92: PUSH1 0x20 00000b94: ADD 00000b95: ORIGIN 00000b96: DUP2 00000b97: MSTORE 00000b98: PUSH1 0x20 00000b9a: ADD 00000b9b: DUP14 00000b9c: DUP2 00000b9d: MSTORE 00000b9e: PUSH1 0x20 00000ba0: ADD 00000ba1: DUP12 00000ba2: DUP2 00000ba3: MSTORE 00000ba4: PUSH1 0x20 00000ba6: ADD 00000ba7: TIMESTAMP 00000ba8: DUP2 00000ba9: MSTORE 00000baa: PUSH1 0x20 00000bac: ADD 00000bad: PUSH1 0x00 00000baf: DUP2 00000bb0: MSTORE 00000bb1: PUSH1 0x20 00000bb3: ADD 00000bb4: PUSH1 0x00 00000bb6: DUP2 00000bb7: MSTORE 00000bb8: PUSH1 0x20 00000bba: ADD 00000bbb: PUSH1 0x00 00000bbd: DUP2 00000bbe: MSTORE 00000bbf: PUSH1 0x20 00000bc1: ADD 00000bc2: POP 00000bc3: SWAP1 00000bc4: SWAP2 00000bc5: SWAP1 00000bc6: SWAP2 00000bc7: POP 00000bc8: PUSH1 0x00 00000bca: DUP3 00000bcb: ADD 00000bcc: MLOAD 00000bcd: DUP2 00000bce: PUSH1 0x00 00000bd0: ADD 00000bd1: PUSH1 0x00 00000bd3: PUSH2 0x0100 00000bd6: EXP 00000bd7: DUP2 00000bd8: SLOAD 00000bd9: DUP2 00000bda: PUSH1 0x01 00000bdc: PUSH1 0xa0 00000bde: PUSH1 0x02 00000be0: EXP 00000be1: SUB 00000be2: MUL 00000be3: NOT 00000be4: AND 00000be5: SWAP1 00000be6: DUP4 00000be7: MUL 00000be8: OR 00000be9: SWAP1 00000bea: SSTORE 00000beb: POP 00000bec: PUSH1 0x20 00000bee: DUP3 00000bef: ADD 00000bf0: MLOAD 00000bf1: DUP2 00000bf2: PUSH1 0x01 00000bf4: ADD 00000bf5: PUSH1 0x00 00000bf7: PUSH2 0x0100 00000bfa: EXP 00000bfb: DUP2 00000bfc: SLOAD 00000bfd: DUP2 00000bfe: PUSH1 0x01 00000c00: PUSH1 0xa0 00000c02: PUSH1 0x02 00000c04: EXP 00000c05: SUB 00000c06: MUL 00000c07: NOT 00000c08: AND 00000c09: SWAP1 00000c0a: DUP4 00000c0b: MUL 00000c0c: OR 00000c0d: SWAP1 00000c0e: SSTORE 00000c0f: POP 00000c10: PUSH1 0x40 00000c12: DUP3 00000c13: ADD 00000c14: MLOAD 00000c15: DUP2 00000c16: PUSH1 0x02 00000c18: ADD 00000c19: PUSH1 0x00 00000c1b: POP 00000c1c: SWAP1 00000c1d: DUP1 00000c1e: MLOAD 00000c1f: SWAP1 00000c20: PUSH1 0x20 00000c22: ADD 00000c23: SWAP1 00000c24: DUP3 00000c25: DUP1 00000c26: SLOAD 00000c27: PUSH1 0x01 00000c29: DUP2 00000c2a: PUSH1 0x01 00000c2c: AND 00000c2d: ISZERO 00000c2e: PUSH2 0x0100 00000c31: MUL 00000c32: SUB 00000c33: AND 00000c34: PUSH1 0x02 00000c36: SWAP1 00000c37: DIV 00000c38: SWAP1 00000c39: PUSH1 0x00 00000c3b: MSTORE 00000c3c: PUSH1 0x20 00000c3e: PUSH1 0x00 00000c40: KECCAK256 00000c41: SWAP1 00000c42: PUSH1 0x1f 00000c44: ADD 00000c45: PUSH1 0x20 00000c47: SWAP1 00000c48: DIV 00000c49: DUP2 00000c4a: ADD 00000c4b: SWAP3 00000c4c: DUP3 00000c4d: PUSH1 0x1f 00000c4f: LT 00000c50: PUSH2 0x0d19 00000c53: JUMPI 00000c54: DUP1 00000c55: MLOAD 00000c56: PUSH1 0xff 00000c58: NOT 00000c59: AND 00000c5a: DUP4 00000c5b: DUP1 00000c5c: ADD 00000c5d: OR 00000c5e: DUP6 00000c5f: SSTORE 00000c60: JUMPDEST 00000c61: POP 00000c62: PUSH2 0x0d49 00000c65: SWAP3 00000c66: SWAP2 00000c67: POP 00000c68: PUSH2 0x0d05 00000c6b: JUMP 00000c6c: JUMPDEST 00000c6d: POP 00000c6e: POP 00000c6f: PUSH1 0x00 00000c71: PUSH1 0x03 00000c73: DUP3 00000c74: ADD 00000c75: DUP2 00000c76: SWAP1 00000c77: SSTORE 00000c78: PUSH1 0x04 00000c7a: DUP3 00000c7b: ADD 00000c7c: DUP2 00000c7d: SWAP1 00000c7e: SSTORE 00000c7f: PUSH1 0x05 00000c81: DUP3 00000c82: ADD 00000c83: DUP1 00000c84: SLOAD 00000c85: PUSH1 0xff 00000c87: NOT 00000c88: AND 00000c89: SWAP1 00000c8a: SSTORE 00000c8b: PUSH1 0x06 00000c8d: DUP3 00000c8e: ADD 00000c8f: DUP2 00000c90: SWAP1 00000c91: SSTORE 00000c92: PUSH1 0x07 00000c94: DUP3 00000c95: ADD 00000c96: SSTORE 00000c97: PUSH1 0x01 00000c99: ADD 00000c9a: JUMPDEST 00000c9b: DUP1 00000c9c: DUP3 00000c9d: GT 00000c9e: ISZERO 00000c9f: PUSH2 0x0853 00000ca2: JUMPI 00000ca3: DUP1 00000ca4: SLOAD 00000ca5: PUSH1 0x01 00000ca7: PUSH1 0xa0 00000ca9: PUSH1 0x02 00000cab: EXP 00000cac: SUB 00000cad: NOT 00000cae: SWAP1 00000caf: DUP2 00000cb0: AND 00000cb1: DUP3 00000cb2: SSTORE 00000cb3: PUSH1 0x01 00000cb5: DUP3 00000cb6: DUP2 00000cb7: ADD 00000cb8: DUP1 00000cb9: SLOAD 00000cba: SWAP1 00000cbb: SWAP3 00000cbc: AND 00000cbd: SWAP1 00000cbe: SWAP2 00000cbf: SSTORE 00000cc0: PUSH1 0x02 00000cc2: DUP3 00000cc3: DUP2 00000cc4: ADD 00000cc5: DUP1 00000cc6: SLOAD 00000cc7: PUSH1 0x00 00000cc9: DUP1 00000cca: DUP4 00000ccb: SSTORE 00000ccc: SWAP4 00000ccd: SWAP2 00000cce: SWAP3 00000ccf: SWAP2 00000cd0: DUP2 00000cd1: AND 00000cd2: ISZERO 00000cd3: PUSH2 0x0100 00000cd6: MUL 00000cd7: PUSH1 0x00 00000cd9: NOT 00000cda: ADD 00000cdb: AND 00000cdc: DIV 00000cdd: PUSH1 0x1f 00000cdf: DUP2 00000ce0: SWAP1 00000ce1: LT 00000ce2: PUSH2 0x0ceb 00000ce5: JUMPI 00000ce6: POP 00000ce7: PUSH2 0x0c6c 00000cea: JUMP 00000ceb: JUMPDEST 00000cec: PUSH1 0x1f 00000cee: ADD 00000cef: PUSH1 0x20 00000cf1: SWAP1 00000cf2: DIV 00000cf3: SWAP1 00000cf4: PUSH1 0x00 00000cf6: MSTORE 00000cf7: PUSH1 0x20 00000cf9: PUSH1 0x00 00000cfb: KECCAK256 00000cfc: SWAP1 00000cfd: DUP2 00000cfe: ADD 00000cff: SWAP1 00000d00: PUSH2 0x0c6c 00000d03: SWAP2 00000d04: SWAP1 00000d05: JUMPDEST 00000d06: DUP1 00000d07: DUP3 00000d08: GT 00000d09: ISZERO 00000d0a: PUSH2 0x0853 00000d0d: JUMPI 00000d0e: PUSH1 0x00 00000d10: DUP2 00000d11: SSTORE 00000d12: PUSH1 0x01 00000d14: ADD 00000d15: PUSH2 0x0d05 00000d18: JUMP 00000d19: JUMPDEST 00000d1a: DUP3 00000d1b: DUP1 00000d1c: ADD 00000d1d: PUSH1 0x01 00000d1f: ADD 00000d20: DUP6 00000d21: SSTORE 00000d22: DUP3 00000d23: ISZERO 00000d24: PUSH2 0x0c60 00000d27: JUMPI 00000d28: SWAP2 00000d29: DUP3 00000d2a: ADD 00000d2b: JUMPDEST 00000d2c: DUP3 00000d2d: DUP2 00000d2e: GT 00000d2f: ISZERO 00000d30: PUSH2 0x0c60 00000d33: JUMPI 00000d34: DUP3 00000d35: MLOAD 00000d36: DUP3 00000d37: PUSH1 0x00 00000d39: POP 00000d3a: SSTORE 00000d3b: SWAP2 00000d3c: PUSH1 0x20 00000d3e: ADD 00000d3f: SWAP2 00000d40: SWAP1 00000d41: PUSH1 0x01 00000d43: ADD 00000d44: SWAP1 00000d45: PUSH2 0x0d2b 00000d48: JUMP 00000d49: JUMPDEST 00000d4a: POP 00000d4b: POP 00000d4c: PUSH1 0x60 00000d4e: DUP3 00000d4f: ADD 00000d50: MLOAD 00000d51: PUSH1 0x03 00000d53: DUP3 00000d54: ADD 00000d55: SSTORE 00000d56: PUSH1 0x80 00000d58: DUP3 00000d59: ADD 00000d5a: MLOAD 00000d5b: PUSH1 0x04 00000d5d: DUP3 00000d5e: ADD 00000d5f: SSTORE 00000d60: PUSH1 0xa0 00000d62: DUP3 00000d63: ADD 00000d64: MLOAD 00000d65: PUSH1 0x05 00000d67: DUP3 00000d68: ADD 00000d69: DUP1 00000d6a: SLOAD 00000d6b: PUSH1 0xff 00000d6d: NOT 00000d6e: AND 00000d6f: SWAP1 00000d70: SWAP2 00000d71: OR 00000d72: SWAP1 00000d73: SSTORE 00000d74: PUSH1 0xc0 00000d76: DUP3 00000d77: ADD 00000d78: MLOAD 00000d79: PUSH1 0x06 00000d7b: DUP3 00000d7c: ADD 00000d7d: SSTORE 00000d7e: PUSH1 0xe0 00000d80: SWAP1 00000d81: SWAP2 00000d82: ADD 00000d83: MLOAD 00000d84: PUSH1 0x07 00000d86: SWAP2 00000d87: SWAP1 00000d88: SWAP2 00000d89: ADD 00000d8a: SSTORE 00000d8b: POP 00000d8c: POP 00000d8d: PUSH1 0x40 00000d8f: DUP1 00000d90: MLOAD 00000d91: PUSH1 0x08 00000d93: SLOAD 00000d94: PUSH1 0x00 00000d96: NOT 00000d97: ADD 00000d98: DUP1 00000d99: DUP3 00000d9a: MSTORE 00000d9b: PUSH1 0x20 00000d9d: DUP3 00000d9e: ADD 00000d9f: DUP10 00000da0: SWAP1 00000da1: MSTORE 00000da2: DUP3 00000da3: MLOAD 00000da4: SWAP1 00000da5: SWAP3 00000da6: PUSH32 0x50abef7b14d7f182080d96793106a87c9426c9ab66787b9f48abafb31f5196df 00000dc7: SWAP3 00000dc8: DUP3 00000dc9: SWAP1 00000dca: SUB 00000dcb: ADD 00000dcc: SWAP1 00000dcd: LOG1 00000dce: POP 00000dcf: POP 00000dd0: POP 00000dd1: POP 00000dd2: POP 00000dd3: POP 00000dd4: POP 00000dd5: POP 00000dd6: POP 00000dd7: JUMP 00000dd8: JUMPDEST 00000dd9: PUSH1 0x08 00000ddb: DUP1 00000ddc: SLOAD 00000ddd: DUP7 00000dde: SWAP1 00000ddf: DUP2 00000de0: LT 00000de1: ISZERO 00000de2: PUSH2 0x0002 00000de5: JUMPI 00000de6: DUP2 00000de7: SLOAD 00000de8: PUSH1 0x00 00000dea: DUP4 00000deb: SWAP1 00000dec: MSTORE 00000ded: DUP2 00000dee: DUP4 00000def: MUL 00000df0: PUSH1 0x00 00000df2: DUP1 00000df3: MLOAD 00000df4: PUSH1 0x20 00000df6: PUSH2 0x139b 00000df9: DUP4 00000dfa: CODECOPY 00000dfb: DUP2 00000dfc: MLOAD 00000dfd: SWAP2 00000dfe: MSTORE 00000dff: ADD 00000e00: SLOAD 00000e01: PUSH1 0x01 00000e03: PUSH1 0xa0 00000e05: PUSH1 0x02 00000e07: EXP 00000e08: SUB 00000e09: AND 00000e0a: SWAP7 00000e0b: POP 00000e0c: DUP2 00000e0d: LT 00000e0e: ISZERO 00000e0f: PUSH2 0x0002 00000e12: JUMPI 00000e13: POP 00000e14: DUP6 00000e15: MUL 00000e16: PUSH1 0x00 00000e18: DUP1 00000e19: MLOAD 00000e1a: PUSH1 0x20 00000e1c: PUSH2 0x137b 00000e1f: DUP4 00000e20: CODECOPY 00000e21: DUP2 00000e22: MLOAD 00000e23: SWAP2 00000e24: MSTORE 00000e25: ADD 00000e26: SLOAD 00000e27: SWAP3 00000e28: POP 00000e29: PUSH2 0x61a8 00000e2c: SWAP2 00000e2d: POP 00000e2e: PUSH2 0x0e4a 00000e31: DUP5 00000e32: DUP5 00000e33: DUP5 00000e34: JUMPDEST 00000e35: PUSH1 0x00 00000e37: PUSH1 0x00 00000e39: PUSH1 0x00 00000e3b: GAS 00000e3c: SWAP2 00000e3d: POP 00000e3e: DUP4 00000e3f: DUP3 00000e40: LT 00000e41: ISZERO 00000e42: PUSH2 0x1118 00000e45: JUMPI 00000e46: PUSH2 0x110f 00000e49: JUMP 00000e4a: JUMPDEST 00000e4b: SWAP1 00000e4c: POP 00000e4d: DUP1 00000e4e: ISZERO 00000e4f: ISZERO 00000e50: PUSH2 0x0e58 00000e53: JUMPI 00000e54: PUSH2 0x0002 00000e57: JUMP 00000e58: JUMPDEST 00000e59: PUSH1 0x01 00000e5b: PUSH1 0x08 00000e5d: PUSH1 0x00 00000e5f: POP 00000e60: DUP7 00000e61: DUP2 00000e62: SLOAD 00000e63: DUP2 00000e64: LT 00000e65: ISZERO 00000e66: PUSH2 0x0002 00000e69: JUMPI 00000e6a: POP 00000e6b: PUSH1 0x00 00000e6d: DUP2 00000e6e: SWAP1 00000e6f: MSTORE 00000e70: DUP7 00000e71: MUL 00000e72: PUSH1 0x00 00000e74: DUP1 00000e75: MLOAD 00000e76: PUSH1 0x20 00000e78: PUSH2 0x13bb 00000e7b: DUP4 00000e7c: CODECOPY 00000e7d: DUP2 00000e7e: MLOAD 00000e7f: SWAP2 00000e80: MSTORE 00000e81: ADD 00000e82: DUP1 00000e83: SLOAD 00000e84: PUSH1 0xff 00000e86: NOT 00000e87: AND 00000e88: SWAP1 00000e89: SWAP2 00000e8a: OR 00000e8b: SWAP1 00000e8c: SSTORE 00000e8d: PUSH1 0x09 00000e8f: DUP1 00000e90: SLOAD 00000e91: DUP5 00000e92: SWAP1 00000e93: SUB 00000e94: SWAP1 00000e95: SSTORE 00000e96: PUSH1 0x40 00000e98: DUP1 00000e99: MLOAD 00000e9a: DUP7 00000e9b: DUP2 00000e9c: MSTORE 00000e9d: PUSH1 0x20 00000e9f: DUP2 00000ea0: ADD 00000ea1: DUP6 00000ea2: SWAP1 00000ea3: MSTORE 00000ea4: DUP2 00000ea5: MLOAD 00000ea6: PUSH32 0x726be71eb936405a517cddaf7d66f90d99ed93088d7a9485e7eede089618bd8a 00000ec7: SWAP3 00000ec8: SWAP2 00000ec9: DUP2 00000eca: SWAP1 00000ecb: SUB 00000ecc: SWAP1 00000ecd: SWAP2 00000ece: ADD 00000ecf: SWAP1 00000ed0: LOG1 00000ed1: POP 00000ed2: POP 00000ed3: POP 00000ed4: POP 00000ed5: POP 00000ed6: JUMP 00000ed7: JUMPDEST 00000ed8: PUSH1 0x03 00000eda: PUSH1 0x08 00000edc: PUSH1 0x00 00000ede: POP 00000edf: DUP5 00000ee0: DUP2 00000ee1: SLOAD 00000ee2: DUP2 00000ee3: LT 00000ee4: ISZERO 00000ee5: PUSH2 0x0002 00000ee8: JUMPI 00000ee9: POP 00000eea: PUSH1 0x00 00000eec: DUP2 00000eed: SWAP1 00000eee: MSTORE 00000eef: DUP5 00000ef0: MUL 00000ef1: PUSH1 0x00 00000ef3: DUP1 00000ef4: MLOAD 00000ef5: PUSH1 0x20 00000ef7: PUSH2 0x13bb 00000efa: DUP4 00000efb: CODECOPY 00000efc: DUP2 00000efd: MLOAD 00000efe: SWAP2 00000eff: MSTORE 00000f00: ADD 00000f01: DUP1 00000f02: SLOAD 00000f03: PUSH1 0xff 00000f05: NOT 00000f06: AND 00000f07: SWAP1 00000f08: SWAP2 00000f09: OR 00000f0a: SWAP1 00000f0b: SSTORE 00000f0c: PUSH1 0x40 00000f0e: DUP1 00000f0f: MLOAD 00000f10: DUP5 00000f11: DUP2 00000f12: MSTORE 00000f13: PUSH1 0x20 00000f15: DUP2 00000f16: ADD 00000f17: DUP4 00000f18: SWAP1 00000f19: MSTORE 00000f1a: DUP2 00000f1b: MLOAD 00000f1c: PUSH32 0xd788f684b9730d871d9ecb052250e358eba99845d3bb038f0e8f8cf14796c9ee 00000f3d: SWAP3 00000f3e: SWAP2 00000f3f: DUP2 00000f40: SWAP1 00000f41: SUB 00000f42: SWAP1 00000f43: SWAP2 00000f44: ADD 00000f45: SWAP1 00000f46: LOG1 00000f47: JUMPDEST 00000f48: POP 00000f49: POP 00000f4a: POP 00000f4b: JUMP 00000f4c: JUMPDEST 00000f4d: PUSH1 0x02 00000f4f: PUSH1 0x08 00000f51: PUSH1 0x00 00000f53: POP 00000f54: DUP5 00000f55: DUP2 00000f56: SLOAD 00000f57: DUP2 00000f58: LT 00000f59: ISZERO 00000f5a: PUSH2 0x0002 00000f5d: JUMPI 00000f5e: POP 00000f5f: PUSH1 0x00 00000f61: DUP2 00000f62: SWAP1 00000f63: MSTORE 00000f64: DUP5 00000f65: MUL 00000f66: PUSH1 0x00 00000f68: DUP1 00000f69: MLOAD 00000f6a: PUSH1 0x20 00000f6c: PUSH2 0x13bb 00000f6f: DUP4 00000f70: CODECOPY 00000f71: DUP2 00000f72: MLOAD 00000f73: SWAP2 00000f74: MSTORE 00000f75: ADD 00000f76: SLOAD 00000f77: PUSH1 0xff 00000f79: AND 00000f7a: EQ 00000f7b: PUSH2 0x0f83 00000f7e: JUMPI 00000f7f: PUSH2 0x0002 00000f82: JUMP 00000f83: JUMPDEST 00000f84: PUSH1 0x08 00000f86: DUP1 00000f87: SLOAD 00000f88: DUP5 00000f89: SWAP1 00000f8a: DUP2 00000f8b: LT 00000f8c: ISZERO 00000f8d: PUSH2 0x0002 00000f90: JUMPI 00000f91: POP 00000f92: PUSH1 0x00 00000f94: DUP2 00000f95: SWAP1 00000f96: MSTORE 00000f97: DUP4 00000f98: MUL 00000f99: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee9 00000fba: ADD 00000fbb: SLOAD 00000fbc: PUSH1 0x06 00000fbe: SLOAD 00000fbf: TIMESTAMP 00000fc0: SWAP2 00000fc1: SWAP1 00000fc2: SWAP2 00000fc3: SUB 00000fc4: SWAP3 00000fc5: POP 00000fc6: DUP3 00000fc7: LT 00000fc8: ISZERO 00000fc9: PUSH2 0x0fd1 00000fcc: JUMPI 00000fcd: PUSH2 0x0002 00000fd0: JUMP 00000fd1: JUMPDEST 00000fd2: PUSH1 0x08 00000fd4: DUP1 00000fd5: SLOAD 00000fd6: DUP5 00000fd7: SWAP1 00000fd8: DUP2 00000fd9: LT 00000fda: ISZERO 00000fdb: PUSH2 0x0002 00000fde: JUMPI 00000fdf: POP 00000fe0: PUSH1 0x00 00000fe2: DUP2 00000fe3: SWAP1 00000fe4: MSTORE 00000fe5: DUP4 00000fe6: MUL 00000fe7: PUSH1 0x00 00000fe9: DUP1 00000fea: MLOAD 00000feb: PUSH1 0x20 00000fed: PUSH2 0x137b 00000ff0: DUP4 00000ff1: CODECOPY 00000ff2: DUP2 00000ff3: MLOAD 00000ff4: SWAP2 00000ff5: MSTORE 00000ff6: ADD 00000ff7: SLOAD 00000ff8: PUSH1 0x09 00000ffa: DUP1 00000ffb: SLOAD 00000ffc: DUP3 00000ffd: SWAP1 00000ffe: SUB 00000fff: SWAP1 00001000: SSTORE 00001001: SWAP1 00001002: POP 00001003: PUSH2 0x0ed7 00001006: DUP2 00001007: PUSH2 0x094a 0000100a: JUMP 0000100b: JUMPDEST 0000100c: PUSH1 0x00 0000100e: SLOAD 0000100f: PUSH2 0x61a8 00001012: SWAP3 00001013: POP 00001014: PUSH2 0x1027 00001017: SWAP1 00001018: PUSH1 0x01 0000101a: PUSH1 0xa0 0000101c: PUSH1 0x02 0000101e: EXP 0000101f: SUB 00001020: AND 00001021: DUP5 00001022: DUP5 00001023: PUSH2 0x0e34 00001026: JUMP 00001027: JUMPDEST 00001028: SWAP1 00001029: POP 0000102a: DUP1 0000102b: ISZERO 0000102c: ISZERO 0000102d: PUSH2 0x1035 00001030: JUMPI 00001031: PUSH2 0x0002 00001034: JUMP 00001035: JUMPDEST 00001036: PUSH1 0x0a 00001038: DUP1 00001039: SLOAD 0000103a: DUP5 0000103b: SWAP1 0000103c: SUB 0000103d: SWAP1 0000103e: SSTORE 0000103f: PUSH1 0x00 00001041: SLOAD 00001042: PUSH1 0x40 00001044: DUP1 00001045: MLOAD 00001046: PUSH1 0x01 00001048: PUSH1 0xa0 0000104a: PUSH1 0x02 0000104c: EXP 0000104d: SUB 0000104e: SWAP3 0000104f: SWAP1 00001050: SWAP3 00001051: AND 00001052: DUP3 00001053: MSTORE 00001054: PUSH1 0x20 00001056: DUP3 00001057: ADD 00001058: DUP6 00001059: SWAP1 0000105a: MSTORE 0000105b: DUP1 0000105c: MLOAD 0000105d: PUSH32 0xa4069cdfe86af9c40fa1bd50302ce14d679e37ab1310cf4f11804a47932dd6ae 0000107e: SWAP3 0000107f: DUP2 00001080: SWAP1 00001081: SUB 00001082: SWAP1 00001083: SWAP2 00001084: ADD 00001085: SWAP1 00001086: LOG1 00001087: POP 00001088: POP 00001089: POP 0000108a: JUMP 0000108b: JUMPDEST 0000108c: DUP4 0000108d: GT 0000108e: ISZERO 0000108f: PUSH2 0x1097 00001092: JUMPI 00001093: PUSH2 0x0002 00001096: JUMP 00001097: JUMPDEST 00001098: PUSH1 0x01 0000109a: SLOAD 0000109b: PUSH2 0x61a8 0000109e: SWAP3 0000109f: POP 000010a0: PUSH2 0x10b3 000010a3: SWAP1 000010a4: PUSH1 0x01 000010a6: PUSH1 0xa0 000010a8: PUSH1 0x02 000010aa: EXP 000010ab: SUB 000010ac: AND 000010ad: DUP5 000010ae: DUP5 000010af: PUSH2 0x0e34 000010b2: JUMP 000010b3: JUMPDEST 000010b4: SWAP1 000010b5: POP 000010b6: DUP1 000010b7: ISZERO 000010b8: ISZERO 000010b9: PUSH2 0x10c1 000010bc: JUMPI 000010bd: PUSH2 0x0002 000010c0: JUMP 000010c1: JUMPDEST 000010c2: PUSH1 0x40 000010c4: DUP1 000010c5: MLOAD 000010c6: PUSH1 0x01 000010c8: SLOAD 000010c9: PUSH1 0x01 000010cb: PUSH1 0xa0 000010cd: PUSH1 0x02 000010cf: EXP 000010d0: SUB 000010d1: AND 000010d2: DUP2 000010d3: MSTORE 000010d4: PUSH1 0x20 000010d6: DUP2 000010d7: ADD 000010d8: DUP6 000010d9: SWAP1 000010da: MSTORE 000010db: DUP2 000010dc: MLOAD 000010dd: PUSH32 0xd31e5c61cf0dd20f17827b48f4d1d244a9c63eb5af0d6a1f69a0c0d1daddf7f8 000010fe: SWAP3 000010ff: SWAP2 00001100: DUP2 00001101: SWAP1 00001102: SUB 00001103: SWAP1 00001104: SWAP2 00001105: ADD 00001106: SWAP1 00001107: LOG1 00001108: POP 00001109: POP 0000110a: POP 0000110b: JUMP 0000110c: JUMPDEST 0000110d: SWAP3 0000110e: POP 0000110f: JUMPDEST 00001110: POP 00001111: POP 00001112: SWAP4 00001113: SWAP3 00001114: POP 00001115: POP 00001116: POP 00001117: JUMP 00001118: JUMPDEST 00001119: POP 0000111a: DUP3 0000111b: DUP2 0000111c: SUB 0000111d: PUSH2 0x110c 00001120: DUP7 00001121: DUP7 00001122: DUP4 00001123: PUSH2 0x0abf 00001126: JUMP 00001127: JUMPDEST 00001128: PUSH8 0x016345785d8a0000 00001131: DUP3 00001132: LT 00001133: ISZERO 00001134: PUSH2 0x1148 00001137: JUMPI 00001138: POP 00001139: PUSH6 0x5af3107a4000 00001140: DUP1 00001141: DUP3 00001142: DIV 00001143: MUL 00001144: PUSH2 0x082a 00001147: JUMP 00001148: JUMPDEST 00001149: PUSH8 0x0de0b6b3a7640000 00001152: DUP3 00001153: LT 00001154: ISZERO 00001155: PUSH2 0x116a 00001158: JUMPI 00001159: POP 0000115a: PUSH7 0x038d7ea4c68000 00001162: DUP1 00001163: DUP3 00001164: DIV 00001165: MUL 00001166: PUSH2 0x082a 00001169: JUMP 0000116a: JUMPDEST 0000116b: PUSH8 0x8ac7230489e80000 00001174: DUP3 00001175: LT 00001176: ISZERO 00001177: PUSH2 0x118c 0000117a: JUMPI 0000117b: POP 0000117c: PUSH7 0x2386f26fc10000 00001184: DUP1 00001185: DUP3 00001186: DIV 00001187: MUL 00001188: PUSH2 0x082a 0000118b: JUMP 0000118c: JUMPDEST 0000118d: PUSH9 0x056bc75e2d63100000 00001197: DUP3 00001198: LT 00001199: ISZERO 0000119a: PUSH2 0x11b0 0000119d: JUMPI 0000119e: POP 0000119f: PUSH8 0x016345785d8a0000 000011a8: DUP1 000011a9: DUP3 000011aa: DIV 000011ab: MUL 000011ac: PUSH2 0x082a 000011af: JUMP 000011b0: JUMPDEST 000011b1: PUSH9 0x3635c9adc5dea00000 000011bb: DUP3 000011bc: LT 000011bd: ISZERO 000011be: PUSH2 0x11d4 000011c1: JUMPI 000011c2: POP 000011c3: PUSH8 0x0de0b6b3a7640000 000011cc: DUP1 000011cd: DUP3 000011ce: DIV 000011cf: MUL 000011d0: PUSH2 0x082a 000011d3: JUMP 000011d4: JUMPDEST 000011d5: PUSH10 0x021e19e0c9bab2400000 000011e0: DUP3 000011e1: LT 000011e2: ISZERO 000011e3: PUSH2 0x11f9 000011e6: JUMPI 000011e7: POP 000011e8: PUSH8 0x8ac7230489e80000 000011f1: DUP1 000011f2: DUP3 000011f3: DIV 000011f4: MUL 000011f5: PUSH2 0x082a 000011f8: JUMP 000011f9: JUMPDEST 000011fa: POP 000011fb: DUP1 000011fc: PUSH2 0x082a 000011ff: JUMP 00001200: JUMPDEST 00001201: PUSH1 0x01 00001203: SWAP4 00001204: POP 00001205: JUMPDEST 00001206: POP 00001207: POP 00001208: POP 00001209: SWAP2 0000120a: SWAP1 0000120b: POP 0000120c: JUMP 0000120d: JUMPDEST 0000120e: PUSH1 0x1e 00001210: DUP4 00001211: GT 00001212: ISZERO 00001213: PUSH2 0x121f 00001216: JUMPI 00001217: PUSH1 0x00 00001219: SWAP4 0000121a: POP 0000121b: PUSH2 0x1205 0000121e: JUMP 0000121f: JUMPDEST 00001220: PUSH1 0x00 00001222: SWAP2 00001223: POP 00001224: JUMPDEST 00001225: DUP3 00001226: DUP3 00001227: LT 00001228: ISZERO 00001229: PUSH2 0x1200 0000122c: JUMPI 0000122d: DUP5 0000122e: DUP3 0000122f: DUP2 00001230: MLOAD 00001231: DUP2 00001232: LT 00001233: ISZERO 00001234: PUSH2 0x0002 00001237: JUMPI 00001238: ADD 00001239: PUSH1 0x20 0000123b: ADD 0000123c: MLOAD 0000123d: PUSH1 0xf8 0000123f: PUSH1 0x02 00001241: EXP 00001242: SWAP1 00001243: DUP2 00001244: SWAP1 00001245: DIV 00001246: MUL 00001247: SWAP1 00001248: POP 00001249: PUSH1 0xfd 0000124b: PUSH1 0x02 0000124d: EXP 0000124e: DUP2 0000124f: EQ 00001250: DUP1 00001251: PUSH2 0x125e 00001254: JUMPI 00001255: POP 00001256: PUSH2 0x125e 00001259: DUP2 0000125a: PUSH2 0x034f 0000125d: JUMP 0000125e: JUMPDEST 0000125f: DUP1 00001260: PUSH2 0x12b4 00001263: JUMPI 00001264: POP 00001265: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000 00001286: DUP2 00001287: LT 00001288: DUP1 00001289: ISZERO 0000128a: SWAP1 0000128b: PUSH2 0x12b4 0000128e: JUMPI 0000128f: POP 00001290: PUSH32 0x3900000000000000000000000000000000000000000000000000000000000000 000012b1: DUP2 000012b2: GT 000012b3: ISZERO 000012b4: JUMPDEST 000012b5: DUP1 000012b6: PUSH2 0x130a 000012b9: JUMPI 000012ba: POP 000012bb: PUSH32 0x4100000000000000000000000000000000000000000000000000000000000000 000012dc: DUP2 000012dd: LT 000012de: DUP1 000012df: ISZERO 000012e0: SWAP1 000012e1: PUSH2 0x130a 000012e4: JUMPI 000012e5: POP 000012e6: PUSH32 0x5a00000000000000000000000000000000000000000000000000000000000000 00001307: DUP2 00001308: GT 00001309: ISZERO 0000130a: JUMPDEST 0000130b: DUP1 0000130c: PUSH2 0x1360 0000130f: JUMPI 00001310: POP 00001311: PUSH32 0x6100000000000000000000000000000000000000000000000000000000000000 00001332: DUP2 00001333: LT 00001334: DUP1 00001335: ISZERO 00001336: SWAP1 00001337: PUSH2 0x1360 0000133a: JUMPI 0000133b: POP 0000133c: PUSH32 0x7a00000000000000000000000000000000000000000000000000000000000000 0000135d: DUP2 0000135e: GT 0000135f: ISZERO 00001360: JUMPDEST 00001361: ISZERO 00001362: ISZERO 00001363: PUSH2 0x136f 00001366: JUMPI 00001367: PUSH1 0x00 00001369: SWAP4 0000136a: POP 0000136b: PUSH2 0x1205 0000136e: JUMP 0000136f: JUMPDEST 00001370: PUSH1 0x01 00001372: SWAP2 00001373: SWAP1 00001374: SWAP2 00001375: ADD 00001376: SWAP1 00001377: PUSH2 0x1224 0000137a: JUMP 0000137b: RETURN 0000137c: UNKNOWN(0xF7) 0000137d: UNKNOWN(0xA9) 0000137e: INVALID 0000137f: CALLDATASIZE 00001380: UNKNOWN(0x4F) 00001381: UNKNOWN(0xAA) 00001382: UNKNOWN(0xB9) 00001383: EXTCODESIZE 00001384: UNKNOWN(0x21) 00001385: PUSH14 0xa50a3214154f22a0a2b415b23a84 00001394: UNKNOWN(0xC8) 00001395: AND 00001396: SWAP15 00001397: DUP12 00001398: PUSH4 0x6eeaf3f7 0000139d: UNKNOWN(0xA9) 0000139e: INVALID 0000139f: CALLDATASIZE 000013a0: UNKNOWN(0x4F) 000013a1: UNKNOWN(0xAA) 000013a2: UNKNOWN(0xB9) 000013a3: EXTCODESIZE 000013a4: UNKNOWN(0x21) 000013a5: PUSH14 0xa50a3214154f22a0a2b415b23a84 000013b4: UNKNOWN(0xC8) 000013b5: AND 000013b6: SWAP15 000013b7: DUP12 000013b8: PUSH4 0x6ee3f3f7 000013bd: UNKNOWN(0xA9) 000013be: INVALID 000013bf: CALLDATASIZE 000013c0: UNKNOWN(0x4F) 000013c1: UNKNOWN(0xAA) 000013c2: UNKNOWN(0xB9) 000013c3: EXTCODESIZE 000013c4: UNKNOWN(0x21) 000013c5: PUSH14 0xa50a3214154f22a0a2b415b23a84 000013d4: UNKNOWN(0xC8) 000013d5: AND 000013d6: SWAP15 000013d7: DUP12 000013d8: PUSH4
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 | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x2d116186",
"selector": "0x2d116186",
"calldata_variants": [
"0x2d116186",
"0x2d1161860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2ea459b8",
"selector": "0x2ea459b8",
"calldata_variants": [
"0x2ea459b8",
"0x2ea459b80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x357ad17a",
"selector": "0x357ad17a",
"calldata_variants": [
"0x357ad17a",
"0x357ad17a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5fbddcf3",
"selector": "0x5fbddcf3",
"calldata_variants": [
"0x5fbddcf3",
"0x5fbddcf30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x64325ddb",
"selector": "0x64325ddb",
"calldata_variants": [
"0x64325ddb",
"0x64325ddb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715ef4ff",
"selector": "0x715ef4ff",
"calldata_variants": [
"0x715ef4ff",
"0x715ef4ff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79502c55",
"selector": "0x79502c55",
"calldata_variants": [
"0x79502c55",
"0x79502c550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b252ab9",
"selector": "0x8b252ab9",
"calldata_variants": [
"0x8b252ab9",
"0x8b252ab90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 2965,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x947386f36d23fcfe1b7283a47a3dbd2654180768a4bfb2f531fe464990f1ab9d
call_targets:
0x9e00b7a55255928aa25f3d8320d711e849ee5298
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x947386f36d23fcfe1b7283a47a3dbd2654180768a4bfb2f531fe464990f1ab9d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9e00b7a55255928aa25f3d8320d711e849ee5298"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x2d116186",
"selector": "0x2d116186",
"calldata_variants": [
"0x2d116186",
"0x2d1161860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2ea459b8",
"selector": "0x2ea459b8",
"calldata_variants": [
"0x2ea459b8",
"0x2ea459b80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x357ad17a",
"selector": "0x357ad17a",
"calldata_variants": [
"0x357ad17a",
"0x357ad17a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5fbddcf3",
"selector": "0x5fbddcf3",
"calldata_variants": [
"0x5fbddcf3",
"0x5fbddcf30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x64325ddb",
"selector": "0x64325ddb",
"calldata_variants": [
"0x64325ddb",
"0x64325ddb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715ef4ff",
"selector": "0x715ef4ff",
"calldata_variants": [
"0x715ef4ff",
"0x715ef4ff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79502c55",
"selector": "0x79502c55",
"calldata_variants": [
"0x79502c55",
"0x79502c550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b252ab9",
"selector": "0x8b252ab9",
"calldata_variants": [
"0x8b252ab9",
"0x8b252ab90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2780,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 2965,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x947386f36d23fcfe1b7283a47a3dbd2654180768a4bfb2f531fe464990f1ab9d
call_targets:
0x9e00b7a55255928aa25f3d8320d711e849ee5298
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x947386f36d23fcfe1b7283a47a3dbd2654180768a4bfb2f531fe464990f1ab9d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9e00b7a55255928aa25f3d8320d711e849ee5298"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x2d116186",
"selector": "0x2d116186",
"calldata_variants": [
"0x2d116186",
"0x2d1161860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2ea459b8",
"selector": "0x2ea459b8",
"calldata_variants": [
"0x2ea459b8",
"0x2ea459b80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x357ad17a",
"selector": "0x357ad17a",
"calldata_variants": [
"0x357ad17a",
"0x357ad17a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5fbddcf3",
"selector": "0x5fbddcf3",
"calldata_variants": [
"0x5fbddcf3",
"0x5fbddcf30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x64325ddb",
"selector": "0x64325ddb",
"calldata_variants": [
"0x64325ddb",
"0x64325ddb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715ef4ff",
"selector": "0x715ef4ff",
"calldata_variants": [
"0x715ef4ff",
"0x715ef4ff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79502c55",
"selector": "0x79502c55",
"calldata_variants": [
"0x79502c55",
"0x79502c550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b252ab9",
"selector": "0x8b252ab9",
"calldata_variants": [
"0x8b252ab9",
"0x8b252ab90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2780,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 2965,
"type": "tx_origin_used"
}
]
}
|