019b3844-8cac-72f5-bf09-315fd74edfdd
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 |
|---|---|---|---|---|
| 12005 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 12006 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 84332 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 84333 | capability.graph | complete | 1 / 3 | 1 week ago |
| 84334 | detector.run | complete | 1 / 3 | 1 week ago |
| 84335 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0145 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH1 0xe0 00000014: PUSH1 0x02 00000016: EXP 00000017: PUSH1 0x00 00000019: CALLDATALOAD 0000001a: DIV 0000001b: AND 0000001c: PUSH4 0x21e6b53d 00000021: DUP2 00000022: EQ 00000023: PUSH2 0x014f 00000026: JUMPI 00000027: DUP1 00000028: PUSH4 0x2b925b25 0000002d: EQ 0000002e: PUSH2 0x016e 00000031: JUMPI 00000032: DUP1 00000033: PUSH4 0x3ba0b9a9 00000038: EQ 00000039: PUSH2 0x0193 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0x3f4ba83a 00000043: EQ 00000044: PUSH2 0x01a6 00000047: JUMPI 00000048: DUP1 00000049: PUSH4 0x3fa615b0 0000004e: EQ 0000004f: PUSH2 0x01b9 00000052: JUMPI 00000053: DUP1 00000054: PUSH4 0x416dc762 00000059: EQ 0000005a: PUSH2 0x01cc 0000005d: JUMPI 0000005e: DUP1 0000005f: PUSH4 0x4d7edc15 00000064: EQ 00000065: PUSH2 0x01df 00000068: JUMPI 00000069: DUP1 0000006a: PUSH4 0x518ab2a8 0000006f: EQ 00000070: PUSH2 0x0201 00000073: JUMPI 00000074: DUP1 00000075: PUSH4 0x5c975abb 0000007a: EQ 0000007b: PUSH2 0x0214 0000007e: JUMPI 0000007f: DUP1 00000080: PUSH4 0x6b6f4a9d 00000085: EQ 00000086: PUSH2 0x023b 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0x7f3e1841 00000090: EQ 00000091: PUSH2 0x024e 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0x8456cb59 0000009b: EQ 0000009c: PUSH2 0x0261 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0x8da5cb5b 000000a6: EQ 000000a7: PUSH2 0x0274 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0x93e59dc1 000000b1: EQ 000000b2: PUSH2 0x02a3 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0x96131049 000000bc: EQ 000000bd: PUSH2 0x02b6 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0x96b98862 000000c7: EQ 000000c8: PUSH2 0x02d5 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0x9904e174 000000d2: EQ 000000d3: PUSH2 0x0145 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0x9e4d4d0c 000000dd: EQ 000000de: PUSH2 0x02f4 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0xa85adeab 000000e8: EQ 000000e9: PUSH2 0x030a 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0xb65412b5 000000f3: EQ 000000f4: PUSH2 0x031d 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0xc6f3a895 000000fe: EQ 000000ff: PUSH2 0x0330 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0xd8cb4aa3 00000109: EQ 0000010a: PUSH2 0x0343 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0xdb068e0e 00000114: EQ 00000115: PUSH2 0x0362 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0xe6fd48bc 0000011f: EQ 00000120: PUSH2 0x0378 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0xf09a4016 0000012a: EQ 0000012b: PUSH2 0x038b 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0xf2fde38b 00000135: EQ 00000136: PUSH2 0x03b0 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0xfc0c546a 00000140: EQ 00000141: PUSH2 0x03cf 00000144: JUMPI 00000145: JUMPDEST 00000146: PUSH2 0x014d 00000149: PUSH2 0x03e2 0000014c: JUMP 0000014d: JUMPDEST 0000014e: STOP 0000014f: JUMPDEST 00000150: CALLVALUE 00000151: ISZERO 00000152: PUSH2 0x015a 00000155: JUMPI 00000156: PUSH1 0x00 00000158: DUP1 00000159: REVERT 0000015a: JUMPDEST 0000015b: PUSH2 0x014d 0000015e: PUSH1 0x01 00000160: PUSH1 0xa0 00000162: PUSH1 0x02 00000164: EXP 00000165: SUB 00000166: PUSH1 0x04 00000168: CALLDATALOAD 00000169: AND 0000016a: PUSH2 0x05b3 0000016d: JUMP 0000016e: JUMPDEST 0000016f: CALLVALUE 00000170: ISZERO 00000171: PUSH2 0x0179 00000174: JUMPI 00000175: PUSH1 0x00 00000177: DUP1 00000178: REVERT 00000179: JUMPDEST 0000017a: PUSH2 0x0181 0000017d: PUSH2 0x062f 00000180: JUMP 00000181: JUMPDEST 00000182: PUSH1 0x40 00000184: MLOAD 00000185: SWAP1 00000186: DUP2 00000187: MSTORE 00000188: PUSH1 0x20 0000018a: ADD 0000018b: PUSH1 0x40 0000018d: MLOAD 0000018e: DUP1 0000018f: SWAP2 00000190: SUB 00000191: SWAP1 00000192: RETURN 00000193: JUMPDEST 00000194: CALLVALUE 00000195: ISZERO 00000196: PUSH2 0x019e 00000199: JUMPI 0000019a: PUSH1 0x00 0000019c: DUP1 0000019d: REVERT 0000019e: JUMPDEST 0000019f: PUSH2 0x0181 000001a2: PUSH2 0x063b 000001a5: JUMP 000001a6: JUMPDEST 000001a7: CALLVALUE 000001a8: ISZERO 000001a9: PUSH2 0x01b1 000001ac: JUMPI 000001ad: PUSH1 0x00 000001af: DUP1 000001b0: REVERT 000001b1: JUMPDEST 000001b2: PUSH2 0x014d 000001b5: PUSH2 0x0641 000001b8: JUMP 000001b9: JUMPDEST 000001ba: CALLVALUE 000001bb: ISZERO 000001bc: PUSH2 0x01c4 000001bf: JUMPI 000001c0: PUSH1 0x00 000001c2: DUP1 000001c3: REVERT 000001c4: JUMPDEST 000001c5: PUSH2 0x0181 000001c8: PUSH2 0x06ad 000001cb: JUMP 000001cc: JUMPDEST 000001cd: CALLVALUE 000001ce: ISZERO 000001cf: PUSH2 0x01d7 000001d2: JUMPI 000001d3: PUSH1 0x00 000001d5: DUP1 000001d6: REVERT 000001d7: JUMPDEST 000001d8: PUSH2 0x0181 000001db: PUSH2 0x06b3 000001de: JUMP 000001df: JUMPDEST 000001e0: CALLVALUE 000001e1: ISZERO 000001e2: PUSH2 0x01ea 000001e5: JUMPI 000001e6: PUSH1 0x00 000001e8: DUP1 000001e9: REVERT 000001ea: JUMPDEST 000001eb: PUSH2 0x014d 000001ee: PUSH1 0x01 000001f0: PUSH1 0xa0 000001f2: PUSH1 0x02 000001f4: EXP 000001f5: SUB 000001f6: PUSH1 0x04 000001f8: CALLDATALOAD 000001f9: AND 000001fa: PUSH1 0x24 000001fc: CALLDATALOAD 000001fd: PUSH2 0x06b9 00000200: JUMP 00000201: JUMPDEST 00000202: CALLVALUE 00000203: ISZERO 00000204: PUSH2 0x020c 00000207: JUMPI 00000208: PUSH1 0x00 0000020a: DUP1 0000020b: REVERT 0000020c: JUMPDEST 0000020d: PUSH2 0x0181 00000210: PUSH2 0x0768 00000213: JUMP 00000214: JUMPDEST 00000215: CALLVALUE 00000216: ISZERO 00000217: PUSH2 0x021f 0000021a: JUMPI 0000021b: PUSH1 0x00 0000021d: DUP1 0000021e: REVERT 0000021f: JUMPDEST 00000220: PUSH2 0x0227 00000223: PUSH2 0x076e 00000226: JUMP 00000227: JUMPDEST 00000228: PUSH1 0x40 0000022a: MLOAD 0000022b: SWAP1 0000022c: ISZERO 0000022d: ISZERO 0000022e: DUP2 0000022f: MSTORE 00000230: PUSH1 0x20 00000232: ADD 00000233: PUSH1 0x40 00000235: MLOAD 00000236: DUP1 00000237: SWAP2 00000238: SUB 00000239: SWAP1 0000023a: RETURN 0000023b: JUMPDEST 0000023c: CALLVALUE 0000023d: ISZERO 0000023e: PUSH2 0x0246 00000241: JUMPI 00000242: PUSH1 0x00 00000244: DUP1 00000245: REVERT 00000246: JUMPDEST 00000247: PUSH2 0x0181 0000024a: PUSH2 0x077e 0000024d: JUMP 0000024e: JUMPDEST 0000024f: CALLVALUE 00000250: ISZERO 00000251: PUSH2 0x0259 00000254: JUMPI 00000255: PUSH1 0x00 00000257: DUP1 00000258: REVERT 00000259: JUMPDEST 0000025a: PUSH2 0x0181 0000025d: PUSH2 0x07bd 00000260: JUMP 00000261: JUMPDEST 00000262: CALLVALUE 00000263: ISZERO 00000264: PUSH2 0x026c 00000267: JUMPI 00000268: PUSH1 0x00 0000026a: DUP1 0000026b: REVERT 0000026c: JUMPDEST 0000026d: PUSH2 0x014d 00000270: PUSH2 0x07c3 00000273: JUMP 00000274: JUMPDEST 00000275: CALLVALUE 00000276: ISZERO 00000277: PUSH2 0x027f 0000027a: JUMPI 0000027b: PUSH1 0x00 0000027d: DUP1 0000027e: REVERT 0000027f: JUMPDEST 00000280: PUSH2 0x0287 00000283: PUSH2 0x0847 00000286: JUMP 00000287: JUMPDEST 00000288: PUSH1 0x40 0000028a: MLOAD 0000028b: PUSH1 0x01 0000028d: PUSH1 0xa0 0000028f: PUSH1 0x02 00000291: EXP 00000292: SUB 00000293: SWAP1 00000294: SWAP2 00000295: AND 00000296: DUP2 00000297: MSTORE 00000298: PUSH1 0x20 0000029a: ADD 0000029b: PUSH1 0x40 0000029d: MLOAD 0000029e: DUP1 0000029f: SWAP2 000002a0: SUB 000002a1: SWAP1 000002a2: RETURN 000002a3: JUMPDEST 000002a4: CALLVALUE 000002a5: ISZERO 000002a6: PUSH2 0x02ae 000002a9: JUMPI 000002aa: PUSH1 0x00 000002ac: DUP1 000002ad: REVERT 000002ae: JUMPDEST 000002af: PUSH2 0x0287 000002b2: PUSH2 0x0856 000002b5: JUMP 000002b6: JUMPDEST 000002b7: CALLVALUE 000002b8: ISZERO 000002b9: PUSH2 0x02c1 000002bc: JUMPI 000002bd: PUSH1 0x00 000002bf: DUP1 000002c0: REVERT 000002c1: JUMPDEST 000002c2: PUSH2 0x014d 000002c5: PUSH1 0x01 000002c7: PUSH1 0xa0 000002c9: PUSH1 0x02 000002cb: EXP 000002cc: SUB 000002cd: PUSH1 0x04 000002cf: CALLDATALOAD 000002d0: AND 000002d1: PUSH2 0x0865 000002d4: JUMP 000002d5: JUMPDEST 000002d6: CALLVALUE 000002d7: ISZERO 000002d8: PUSH2 0x02e0 000002db: JUMPI 000002dc: PUSH1 0x00 000002de: DUP1 000002df: REVERT 000002e0: JUMPDEST 000002e1: PUSH2 0x0181 000002e4: PUSH1 0x01 000002e6: PUSH1 0xa0 000002e8: PUSH1 0x02 000002ea: EXP 000002eb: SUB 000002ec: PUSH1 0x04 000002ee: CALLDATALOAD 000002ef: AND 000002f0: PUSH2 0x0931 000002f3: JUMP 000002f4: JUMPDEST 000002f5: CALLVALUE 000002f6: ISZERO 000002f7: PUSH2 0x02ff 000002fa: JUMPI 000002fb: PUSH1 0x00 000002fd: DUP1 000002fe: REVERT 000002ff: JUMPDEST 00000300: PUSH2 0x014d 00000303: PUSH1 0x04 00000305: CALLDATALOAD 00000306: PUSH2 0x0943 00000309: JUMP 0000030a: JUMPDEST 0000030b: CALLVALUE 0000030c: ISZERO 0000030d: PUSH2 0x0315 00000310: JUMPI 00000311: PUSH1 0x00 00000313: DUP1 00000314: REVERT 00000315: JUMPDEST 00000316: PUSH2 0x0181 00000319: PUSH2 0x0963 0000031c: JUMP 0000031d: JUMPDEST 0000031e: CALLVALUE 0000031f: ISZERO 00000320: PUSH2 0x0328 00000323: JUMPI 00000324: PUSH1 0x00 00000326: DUP1 00000327: REVERT 00000328: JUMPDEST 00000329: PUSH2 0x014d 0000032c: PUSH2 0x0969 0000032f: JUMP 00000330: JUMPDEST 00000331: CALLVALUE 00000332: ISZERO 00000333: PUSH2 0x033b 00000336: JUMPI 00000337: PUSH1 0x00 00000339: DUP1 0000033a: REVERT 0000033b: JUMPDEST 0000033c: PUSH2 0x0181 0000033f: PUSH2 0x0b4c 00000342: JUMP 00000343: JUMPDEST 00000344: CALLVALUE 00000345: ISZERO 00000346: PUSH2 0x034e 00000349: JUMPI 0000034a: PUSH1 0x00 0000034c: DUP1 0000034d: REVERT 0000034e: JUMPDEST 0000034f: PUSH2 0x0181 00000352: PUSH1 0x01 00000354: PUSH1 0xa0 00000356: PUSH1 0x02 00000358: EXP 00000359: SUB 0000035a: PUSH1 0x04 0000035c: CALLDATALOAD 0000035d: AND 0000035e: PUSH2 0x0b52 00000361: JUMP 00000362: JUMPDEST 00000363: CALLVALUE 00000364: ISZERO 00000365: PUSH2 0x036d 00000368: JUMPI 00000369: PUSH1 0x00 0000036b: DUP1 0000036c: REVERT 0000036d: JUMPDEST 0000036e: PUSH2 0x014d 00000371: PUSH1 0x04 00000373: CALLDATALOAD 00000374: PUSH2 0x0bf5 00000377: JUMP 00000378: JUMPDEST 00000379: CALLVALUE 0000037a: ISZERO 0000037b: PUSH2 0x0383 0000037e: JUMPI 0000037f: PUSH1 0x00 00000381: DUP1 00000382: REVERT 00000383: JUMPDEST 00000384: PUSH2 0x0181 00000387: PUSH2 0x0c30 0000038a: JUMP 0000038b: JUMPDEST 0000038c: CALLVALUE 0000038d: ISZERO 0000038e: PUSH2 0x0396 00000391: JUMPI 00000392: PUSH1 0x00 00000394: DUP1 00000395: REVERT 00000396: JUMPDEST 00000397: PUSH2 0x014d 0000039a: PUSH1 0x01 0000039c: PUSH1 0xa0 0000039e: PUSH1 0x02 000003a0: EXP 000003a1: SUB 000003a2: PUSH1 0x04 000003a4: CALLDATALOAD 000003a5: DUP2 000003a6: AND 000003a7: SWAP1 000003a8: PUSH1 0x24 000003aa: CALLDATALOAD 000003ab: AND 000003ac: PUSH2 0x0c36 000003af: JUMP 000003b0: JUMPDEST 000003b1: CALLVALUE 000003b2: ISZERO 000003b3: PUSH2 0x03bb 000003b6: JUMPI 000003b7: PUSH1 0x00 000003b9: DUP1 000003ba: REVERT 000003bb: JUMPDEST 000003bc: PUSH2 0x014d 000003bf: PUSH1 0x01 000003c1: PUSH1 0xa0 000003c3: PUSH1 0x02 000003c5: EXP 000003c6: SUB 000003c7: PUSH1 0x04 000003c9: CALLDATALOAD 000003ca: AND 000003cb: PUSH2 0x0d6e 000003ce: JUMP 000003cf: JUMPDEST 000003d0: CALLVALUE 000003d1: ISZERO 000003d2: PUSH2 0x03da 000003d5: JUMPI 000003d6: PUSH1 0x00 000003d8: DUP1 000003d9: REVERT 000003da: JUMPDEST 000003db: PUSH2 0x0287 000003de: PUSH2 0x0e09 000003e1: JUMP 000003e2: JUMPDEST 000003e3: PUSH1 0x00 000003e5: DUP1 000003e6: PUSH1 0x00 000003e8: PUSH1 0x01 000003ea: SLOAD 000003eb: TIMESTAMP 000003ec: LT 000003ed: ISZERO 000003ee: DUP1 000003ef: ISZERO 000003f0: PUSH2 0x03fa 000003f3: JUMPI 000003f4: POP 000003f5: PUSH1 0x02 000003f7: SLOAD 000003f8: TIMESTAMP 000003f9: LT 000003fa: JUMPDEST 000003fb: ISZERO 000003fc: ISZERO 000003fd: PUSH2 0x0405 00000400: JUMPI 00000401: PUSH1 0x00 00000403: DUP1 00000404: REVERT 00000405: JUMPDEST 00000406: PUSH1 0x0a 00000408: SLOAD 00000409: CALLER 0000040a: SWAP1 0000040b: PUSH1 0x01 0000040d: PUSH1 0xa0 0000040f: PUSH1 0x02 00000411: EXP 00000412: SUB 00000413: AND 00000414: PUSH4 0x3af32abf 00000419: DUP3 0000041a: PUSH1 0x00 0000041c: PUSH1 0x40 0000041e: MLOAD 0000041f: PUSH1 0x20 00000421: ADD 00000422: MSTORE 00000423: PUSH1 0x40 00000425: MLOAD 00000426: PUSH1 0xe0 00000428: PUSH1 0x02 0000042a: EXP 0000042b: PUSH4 0xffffffff 00000430: DUP5 00000431: AND 00000432: MUL 00000433: DUP2 00000434: MSTORE 00000435: PUSH1 0x01 00000437: PUSH1 0xa0 00000439: PUSH1 0x02 0000043b: EXP 0000043c: SUB 0000043d: SWAP1 0000043e: SWAP2 0000043f: AND 00000440: PUSH1 0x04 00000442: DUP3 00000443: ADD 00000444: MSTORE 00000445: PUSH1 0x24 00000447: ADD 00000448: PUSH1 0x20 0000044a: PUSH1 0x40 0000044c: MLOAD 0000044d: DUP1 0000044e: DUP4 0000044f: SUB 00000450: DUP2 00000451: PUSH1 0x00 00000453: DUP8 00000454: DUP1 00000455: EXTCODESIZE 00000456: ISZERO 00000457: ISZERO 00000458: PUSH2 0x0460 0000045b: JUMPI 0000045c: PUSH1 0x00 0000045e: DUP1 0000045f: REVERT 00000460: JUMPDEST 00000461: PUSH2 0x02c6 00000464: GAS 00000465: SUB 00000466: CALL 00000467: ISZERO 00000468: ISZERO 00000469: PUSH2 0x0471 0000046c: JUMPI 0000046d: PUSH1 0x00 0000046f: DUP1 00000470: REVERT 00000471: JUMPDEST 00000472: POP 00000473: POP 00000474: POP 00000475: PUSH1 0x40 00000477: MLOAD 00000478: DUP1 00000479: MLOAD 0000047a: SWAP1 0000047b: POP 0000047c: ISZERO 0000047d: ISZERO 0000047e: PUSH2 0x0486 00000481: JUMPI 00000482: PUSH1 0x00 00000484: DUP1 00000485: REVERT 00000486: JUMPDEST 00000487: PUSH1 0x00 00000489: SLOAD 0000048a: PUSH1 0xa0 0000048c: PUSH1 0x02 0000048e: EXP 0000048f: SWAP1 00000490: DIV 00000491: PUSH1 0xff 00000493: AND 00000494: ISZERO 00000495: PUSH2 0x049d 00000498: JUMPI 00000499: PUSH1 0x00 0000049b: DUP1 0000049c: REVERT 0000049d: JUMPDEST 0000049e: PUSH8 0x03782dace9d90000 000004a7: CALLVALUE 000004a8: GT 000004a9: PUSH2 0x04b1 000004ac: JUMPI 000004ad: PUSH1 0x00 000004af: DUP1 000004b0: REVERT 000004b1: JUMPDEST 000004b2: PUSH2 0x04ba 000004b5: CALLER 000004b6: PUSH2 0x0b52 000004b9: JUMP 000004ba: JUMPDEST 000004bb: SWAP4 000004bc: POP 000004bd: PUSH2 0x04c4 000004c0: PUSH2 0x077e 000004c3: JUMP 000004c4: JUMPDEST 000004c5: SWAP3 000004c6: POP 000004c7: PUSH2 0x0510 000004ca: DUP4 000004cb: PUSH1 0x64 000004cd: SUB 000004ce: PUSH2 0x0504 000004d1: PUSH2 0x04e4 000004d4: PUSH1 0x64 000004d6: DUP9 000004d7: PUSH2 0x0e18 000004da: SWAP1 000004db: SWAP2 000004dc: SWAP1 000004dd: PUSH4 0xffffffff 000004e2: AND 000004e3: JUMP 000004e4: JUMPDEST 000004e5: PUSH1 0x03 000004e7: SLOAD 000004e8: PUSH2 0x04f8 000004eb: SWAP1 000004ec: CALLVALUE 000004ed: SWAP1 000004ee: PUSH4 0xffffffff 000004f3: PUSH2 0x0e32 000004f6: AND 000004f7: JUMP 000004f8: JUMPDEST 000004f9: SWAP1 000004fa: PUSH4 0xffffffff 000004ff: PUSH2 0x0e32 00000502: AND 00000503: JUMP 00000504: JUMPDEST 00000505: SWAP1 00000506: PUSH4 0xffffffff 0000050b: PUSH2 0x0e5d 0000050e: AND 0000050f: JUMP 00000510: JUMPDEST 00000511: PUSH1 0x09 00000513: SLOAD 00000514: SWAP1 00000515: SWAP3 00000516: POP 00000517: PUSH1 0x01 00000519: PUSH1 0xa0 0000051b: PUSH1 0x02 0000051d: EXP 0000051e: SUB 0000051f: AND 00000520: PUSH4 0x61a7b2f5 00000525: CALLER 00000526: DUP5 00000527: PUSH1 0x00 00000529: PUSH1 0x40 0000052b: MLOAD 0000052c: PUSH1 0x20 0000052e: ADD 0000052f: MSTORE 00000530: PUSH1 0x40 00000532: MLOAD 00000533: PUSH1 0xe0 00000535: PUSH1 0x02 00000537: EXP 00000538: PUSH4 0xffffffff 0000053d: DUP6 0000053e: AND 0000053f: MUL 00000540: DUP2 00000541: MSTORE 00000542: PUSH1 0x01 00000544: PUSH1 0xa0 00000546: PUSH1 0x02 00000548: EXP 00000549: SUB 0000054a: SWAP1 0000054b: SWAP3 0000054c: AND 0000054d: PUSH1 0x04 0000054f: DUP4 00000550: ADD 00000551: MSTORE 00000552: PUSH1 0x24 00000554: DUP3 00000555: ADD 00000556: MSTORE 00000557: PUSH1 0x44 00000559: ADD 0000055a: PUSH1 0x20 0000055c: PUSH1 0x40 0000055e: MLOAD 0000055f: DUP1 00000560: DUP4 00000561: SUB 00000562: DUP2 00000563: PUSH1 0x00 00000565: DUP8 00000566: DUP1 00000567: EXTCODESIZE 00000568: ISZERO 00000569: ISZERO 0000056a: PUSH2 0x0572 0000056d: JUMPI 0000056e: PUSH1 0x00 00000570: DUP1 00000571: REVERT 00000572: JUMPDEST 00000573: PUSH2 0x02c6 00000576: GAS 00000577: SUB 00000578: CALL 00000579: ISZERO 0000057a: ISZERO 0000057b: PUSH2 0x0583 0000057e: JUMPI 0000057f: PUSH1 0x00 00000581: DUP1 00000582: REVERT 00000583: JUMPDEST 00000584: POP 00000585: POP 00000586: POP 00000587: PUSH1 0x40 00000589: MLOAD 0000058a: DUP1 0000058b: MLOAD 0000058c: POP 0000058d: POP 0000058e: PUSH1 0x04 00000590: SLOAD 00000591: PUSH2 0x05a0 00000594: SWAP1 00000595: DUP4 00000596: PUSH4 0xffffffff 0000059b: PUSH2 0x0e18 0000059e: AND 0000059f: JUMP 000005a0: JUMPDEST 000005a1: PUSH1 0x04 000005a3: SSTORE 000005a4: PUSH2 0x05ad 000005a7: CALLER 000005a8: CALLVALUE 000005a9: PUSH2 0x0e74 000005ac: JUMP 000005ad: JUMPDEST 000005ae: POP 000005af: POP 000005b0: POP 000005b1: POP 000005b2: JUMP 000005b3: JUMPDEST 000005b4: PUSH1 0x00 000005b6: SLOAD 000005b7: CALLER 000005b8: PUSH1 0x01 000005ba: PUSH1 0xa0 000005bc: PUSH1 0x02 000005be: EXP 000005bf: SUB 000005c0: SWAP1 000005c1: DUP2 000005c2: AND 000005c3: SWAP2 000005c4: AND 000005c5: EQ 000005c6: PUSH2 0x05ce 000005c9: JUMPI 000005ca: PUSH1 0x00 000005cc: DUP1 000005cd: REVERT 000005ce: JUMPDEST 000005cf: PUSH1 0x09 000005d1: SLOAD 000005d2: PUSH1 0x01 000005d4: PUSH1 0xa0 000005d6: PUSH1 0x02 000005d8: EXP 000005d9: SUB 000005da: AND 000005db: PUSH4 0xf2fde38b 000005e0: DUP3 000005e1: PUSH1 0x40 000005e3: MLOAD 000005e4: PUSH1 0xe0 000005e6: PUSH1 0x02 000005e8: EXP 000005e9: PUSH4 0xffffffff 000005ee: DUP5 000005ef: AND 000005f0: MUL 000005f1: DUP2 000005f2: MSTORE 000005f3: PUSH1 0x01 000005f5: PUSH1 0xa0 000005f7: PUSH1 0x02 000005f9: EXP 000005fa: SUB 000005fb: SWAP1 000005fc: SWAP2 000005fd: AND 000005fe: PUSH1 0x04 00000600: DUP3 00000601: ADD 00000602: MSTORE 00000603: PUSH1 0x24 00000605: ADD 00000606: PUSH1 0x00 00000608: PUSH1 0x40 0000060a: MLOAD 0000060b: DUP1 0000060c: DUP4 0000060d: SUB 0000060e: DUP2 0000060f: PUSH1 0x00 00000611: DUP8 00000612: DUP1 00000613: EXTCODESIZE 00000614: ISZERO 00000615: ISZERO 00000616: PUSH2 0x061e 00000619: JUMPI 0000061a: PUSH1 0x00 0000061c: DUP1 0000061d: REVERT 0000061e: JUMPDEST 0000061f: PUSH2 0x02c6 00000622: GAS 00000623: SUB 00000624: CALL 00000625: ISZERO 00000626: ISZERO 00000627: PUSH2 0x05ad 0000062a: JUMPI 0000062b: PUSH1 0x00 0000062d: DUP1 0000062e: REVERT 0000062f: JUMPDEST 00000630: PUSH8 0x03782dace9d90000 00000639: DUP2 0000063a: JUMP 0000063b: JUMPDEST 0000063c: PUSH1 0x03 0000063e: SLOAD 0000063f: DUP2 00000640: JUMP 00000641: JUMPDEST 00000642: PUSH1 0x00 00000644: SLOAD 00000645: CALLER 00000646: PUSH1 0x01 00000648: PUSH1 0xa0 0000064a: PUSH1 0x02 0000064c: EXP 0000064d: SUB 0000064e: SWAP1 0000064f: DUP2 00000650: AND 00000651: SWAP2 00000652: AND 00000653: EQ 00000654: PUSH2 0x065c 00000657: JUMPI 00000658: PUSH1 0x00 0000065a: DUP1 0000065b: REVERT 0000065c: JUMPDEST 0000065d: PUSH1 0x00 0000065f: SLOAD 00000660: PUSH1 0xa0 00000662: PUSH1 0x02 00000664: EXP 00000665: SWAP1 00000666: DIV 00000667: PUSH1 0xff 00000669: AND 0000066a: ISZERO 0000066b: ISZERO 0000066c: PUSH2 0x0674 0000066f: JUMPI 00000670: PUSH1 0x00 00000672: DUP1 00000673: REVERT 00000674: JUMPDEST 00000675: PUSH1 0x09 00000677: SLOAD 00000678: PUSH1 0x01 0000067a: PUSH1 0xa0 0000067c: PUSH1 0x02 0000067e: EXP 0000067f: SUB 00000680: AND 00000681: ISZERO 00000682: DUP1 00000683: ISZERO 00000684: SWAP1 00000685: PUSH2 0x0698 00000688: JUMPI 00000689: POP 0000068a: PUSH1 0x0a 0000068c: SLOAD 0000068d: PUSH1 0x01 0000068f: PUSH1 0xa0 00000691: PUSH1 0x02 00000693: EXP 00000694: SUB 00000695: AND 00000696: ISZERO 00000697: ISZERO 00000698: JUMPDEST 00000699: ISZERO 0000069a: ISZERO 0000069b: PUSH2 0x06a3 0000069e: JUMPI 0000069f: PUSH1 0x00 000006a1: DUP1 000006a2: REVERT 000006a3: JUMPDEST 000006a4: PUSH2 0x06ab 000006a7: PUSH2 0x0ebd 000006aa: JUMP 000006ab: JUMPDEST 000006ac: JUMP 000006ad: JUMPDEST 000006ae: PUSH1 0x05 000006b0: SLOAD 000006b1: DUP2 000006b2: JUMP 000006b3: JUMPDEST 000006b4: PUSH1 0x08 000006b6: SLOAD 000006b7: DUP2 000006b8: JUMP 000006b9: JUMPDEST 000006ba: PUSH1 0x00 000006bc: SLOAD 000006bd: CALLER 000006be: PUSH1 0x01 000006c0: PUSH1 0xa0 000006c2: PUSH1 0x02 000006c4: EXP 000006c5: SUB 000006c6: SWAP1 000006c7: DUP2 000006c8: AND 000006c9: SWAP2 000006ca: AND 000006cb: EQ 000006cc: PUSH2 0x06d4 000006cf: JUMPI 000006d0: PUSH1 0x00 000006d2: DUP1 000006d3: REVERT 000006d4: JUMPDEST 000006d5: PUSH1 0x09 000006d7: SLOAD 000006d8: PUSH1 0x01 000006da: PUSH1 0xa0 000006dc: PUSH1 0x02 000006de: EXP 000006df: SUB 000006e0: AND 000006e1: PUSH4 0x61a7b2f5 000006e6: DUP4 000006e7: DUP4 000006e8: PUSH1 0x00 000006ea: PUSH1 0x40 000006ec: MLOAD 000006ed: PUSH1 0x20 000006ef: ADD 000006f0: MSTORE 000006f1: PUSH1 0x40 000006f3: MLOAD 000006f4: PUSH1 0xe0 000006f6: PUSH1 0x02 000006f8: EXP 000006f9: PUSH4 0xffffffff 000006fe: DUP6 000006ff: AND 00000700: MUL 00000701: DUP2 00000702: MSTORE 00000703: PUSH1 0x01 00000705: PUSH1 0xa0 00000707: PUSH1 0x02 00000709: EXP 0000070a: SUB 0000070b: SWAP1 0000070c: SWAP3 0000070d: AND 0000070e: PUSH1 0x04 00000710: DUP4 00000711: ADD 00000712: MSTORE 00000713: PUSH1 0x24 00000715: DUP3 00000716: ADD 00000717: MSTORE 00000718: PUSH1 0x44 0000071a: ADD 0000071b: PUSH1 0x20 0000071d: PUSH1 0x40 0000071f: MLOAD 00000720: DUP1 00000721: DUP4 00000722: SUB 00000723: DUP2 00000724: PUSH1 0x00 00000726: DUP8 00000727: DUP1 00000728: EXTCODESIZE 00000729: ISZERO 0000072a: ISZERO 0000072b: PUSH2 0x0733 0000072e: JUMPI 0000072f: PUSH1 0x00 00000731: DUP1 00000732: REVERT 00000733: JUMPDEST 00000734: PUSH2 0x02c6 00000737: GAS 00000738: SUB 00000739: CALL 0000073a: ISZERO 0000073b: ISZERO 0000073c: PUSH2 0x0744 0000073f: JUMPI 00000740: PUSH1 0x00 00000742: DUP1 00000743: REVERT 00000744: JUMPDEST 00000745: POP 00000746: POP 00000747: POP 00000748: PUSH1 0x40 0000074a: MLOAD 0000074b: DUP1 0000074c: MLOAD 0000074d: POP 0000074e: POP 0000074f: PUSH1 0x04 00000751: SLOAD 00000752: PUSH2 0x0761 00000755: SWAP1 00000756: DUP3 00000757: PUSH4 0xffffffff 0000075c: PUSH2 0x0e18 0000075f: AND 00000760: JUMP 00000761: JUMPDEST 00000762: PUSH1 0x04 00000764: SSTORE 00000765: POP 00000766: POP 00000767: JUMP 00000768: JUMPDEST 00000769: PUSH1 0x04 0000076b: SLOAD 0000076c: DUP2 0000076d: JUMP 0000076e: JUMPDEST 0000076f: PUSH1 0x00 00000771: SLOAD 00000772: PUSH1 0xa0 00000774: PUSH1 0x02 00000776: EXP 00000777: SWAP1 00000778: DIV 00000779: PUSH1 0xff 0000077b: AND 0000077c: DUP2 0000077d: JUMP 0000077e: JUMPDEST 0000077f: PUSH1 0x00 00000781: PUSH1 0x08 00000783: SLOAD 00000784: TIMESTAMP 00000785: GT 00000786: ISZERO 00000787: PUSH2 0x0792 0000078a: JUMPI 0000078b: POP 0000078c: PUSH1 0x00 0000078e: PUSH2 0x07ba 00000791: JUMP 00000792: JUMPDEST 00000793: PUSH1 0x07 00000795: SLOAD 00000796: TIMESTAMP 00000797: GT 00000798: ISZERO 00000799: PUSH2 0x07a4 0000079c: JUMPI 0000079d: POP 0000079e: PUSH1 0x05 000007a0: PUSH2 0x07ba 000007a3: JUMP 000007a4: JUMPDEST 000007a5: PUSH1 0x06 000007a7: SLOAD 000007a8: TIMESTAMP 000007a9: GT 000007aa: ISZERO 000007ab: PUSH2 0x07b6 000007ae: JUMPI 000007af: POP 000007b0: PUSH1 0x0f 000007b2: PUSH2 0x07ba 000007b5: JUMP 000007b6: JUMPDEST 000007b7: POP 000007b8: PUSH1 0x19 000007ba: JUMPDEST 000007bb: SWAP1 000007bc: JUMP 000007bd: JUMPDEST 000007be: PUSH1 0x07 000007c0: SLOAD 000007c1: DUP2 000007c2: JUMP 000007c3: JUMPDEST 000007c4: PUSH1 0x00 000007c6: SLOAD 000007c7: CALLER 000007c8: PUSH1 0x01 000007ca: PUSH1 0xa0 000007cc: PUSH1 0x02 000007ce: EXP 000007cf: SUB 000007d0: SWAP1 000007d1: DUP2 000007d2: AND 000007d3: SWAP2 000007d4: AND 000007d5: EQ 000007d6: PUSH2 0x07de 000007d9: JUMPI 000007da: PUSH1 0x00 000007dc: DUP1 000007dd: REVERT 000007de: JUMPDEST 000007df: PUSH1 0x00 000007e1: SLOAD 000007e2: PUSH1 0xa0 000007e4: PUSH1 0x02 000007e6: EXP 000007e7: SWAP1 000007e8: DIV 000007e9: PUSH1 0xff 000007eb: AND 000007ec: ISZERO 000007ed: PUSH2 0x07f5 000007f0: JUMPI 000007f1: PUSH1 0x00 000007f3: DUP1 000007f4: REVERT 000007f5: JUMPDEST 000007f6: PUSH1 0x00 000007f8: DUP1 000007f9: SLOAD 000007fa: PUSH21 0xff0000000000000000000000000000000000000000 00000810: NOT 00000811: AND 00000812: PUSH1 0xa0 00000814: PUSH1 0x02 00000816: EXP 00000817: OR 00000818: SWAP1 00000819: SSTORE 0000081a: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625 0000083b: PUSH1 0x40 0000083d: MLOAD 0000083e: PUSH1 0x40 00000840: MLOAD 00000841: DUP1 00000842: SWAP2 00000843: SUB 00000844: SWAP1 00000845: LOG1 00000846: JUMP 00000847: JUMPDEST 00000848: PUSH1 0x00 0000084a: SLOAD 0000084b: PUSH1 0x01 0000084d: PUSH1 0xa0 0000084f: PUSH1 0x02 00000851: EXP 00000852: SUB 00000853: AND 00000854: DUP2 00000855: JUMP 00000856: JUMPDEST 00000857: PUSH1 0x0a 00000859: SLOAD 0000085a: PUSH1 0x01 0000085c: PUSH1 0xa0 0000085e: PUSH1 0x02 00000860: EXP 00000861: SUB 00000862: AND 00000863: DUP2 00000864: JUMP 00000865: JUMPDEST 00000866: PUSH1 0x00 00000868: SLOAD 00000869: CALLER 0000086a: PUSH1 0x01 0000086c: PUSH1 0xa0 0000086e: PUSH1 0x02 00000870: EXP 00000871: SUB 00000872: SWAP1 00000873: DUP2 00000874: AND 00000875: SWAP2 00000876: AND 00000877: EQ 00000878: PUSH2 0x0880 0000087b: JUMPI 0000087c: PUSH1 0x00 0000087e: DUP1 0000087f: REVERT 00000880: JUMPDEST 00000881: PUSH1 0x02 00000883: SLOAD 00000884: TIMESTAMP 00000885: LT 00000886: ISZERO 00000887: PUSH2 0x088f 0000088a: JUMPI 0000088b: PUSH1 0x00 0000088d: DUP1 0000088e: REVERT 0000088f: JUMPDEST 00000890: PUSH1 0x01 00000892: PUSH1 0xa0 00000894: PUSH1 0x02 00000896: EXP 00000897: SUB 00000898: DUP2 00000899: AND 0000089a: ISZERO 0000089b: ISZERO 0000089c: PUSH2 0x08a4 0000089f: JUMPI 000008a0: PUSH1 0x00 000008a2: DUP1 000008a3: REVERT 000008a4: JUMPDEST 000008a5: DUP1 000008a6: PUSH1 0x01 000008a8: PUSH1 0xa0 000008aa: PUSH1 0x02 000008ac: EXP 000008ad: SUB 000008ae: AND 000008af: PUSH2 0x08fc 000008b2: ADDRESS 000008b3: PUSH1 0x01 000008b5: PUSH1 0xa0 000008b7: PUSH1 0x02 000008b9: EXP 000008ba: SUB 000008bb: AND 000008bc: BALANCE 000008bd: SWAP1 000008be: DUP2 000008bf: ISZERO 000008c0: MUL 000008c1: SWAP1 000008c2: PUSH1 0x40 000008c4: MLOAD 000008c5: PUSH1 0x00 000008c7: PUSH1 0x40 000008c9: MLOAD 000008ca: DUP1 000008cb: DUP4 000008cc: SUB 000008cd: DUP2 000008ce: DUP6 000008cf: DUP9 000008d0: DUP9 000008d1: CALL 000008d2: SWAP4 000008d3: POP 000008d4: POP 000008d5: POP 000008d6: POP 000008d7: ISZERO 000008d8: ISZERO 000008d9: PUSH2 0x08e1 000008dc: JUMPI 000008dd: PUSH1 0x00 000008df: DUP1 000008e0: REVERT 000008e1: JUMPDEST 000008e2: PUSH1 0x09 000008e4: SLOAD 000008e5: PUSH1 0x01 000008e7: PUSH1 0xa0 000008e9: PUSH1 0x02 000008eb: EXP 000008ec: SUB 000008ed: AND 000008ee: PUSH4 0xf2fde38b 000008f3: CALLER 000008f4: PUSH1 0x40 000008f6: MLOAD 000008f7: PUSH1 0xe0 000008f9: PUSH1 0x02 000008fb: EXP 000008fc: PUSH4 0xffffffff 00000901: DUP5 00000902: AND 00000903: MUL 00000904: DUP2 00000905: MSTORE 00000906: PUSH1 0x01 00000908: PUSH1 0xa0 0000090a: PUSH1 0x02 0000090c: EXP 0000090d: SUB 0000090e: SWAP1 0000090f: SWAP2 00000910: AND 00000911: PUSH1 0x04 00000913: DUP3 00000914: ADD 00000915: MSTORE 00000916: PUSH1 0x24 00000918: ADD 00000919: PUSH1 0x00 0000091b: PUSH1 0x40 0000091d: MLOAD 0000091e: DUP1 0000091f: DUP4 00000920: SUB 00000921: DUP2 00000922: PUSH1 0x00 00000924: DUP8 00000925: DUP1 00000926: EXTCODESIZE 00000927: ISZERO 00000928: ISZERO 00000929: PUSH2 0x061e 0000092c: JUMPI 0000092d: PUSH1 0x00 0000092f: DUP1 00000930: REVERT 00000931: JUMPDEST 00000932: PUSH1 0x0b 00000934: PUSH1 0x20 00000936: MSTORE 00000937: PUSH1 0x00 00000939: SWAP1 0000093a: DUP2 0000093b: MSTORE 0000093c: PUSH1 0x40 0000093e: SWAP1 0000093f: KECCAK256 00000940: SLOAD 00000941: DUP2 00000942: JUMP 00000943: JUMPDEST 00000944: PUSH1 0x00 00000946: SLOAD 00000947: CALLER 00000948: PUSH1 0x01 0000094a: PUSH1 0xa0 0000094c: PUSH1 0x02 0000094e: EXP 0000094f: SUB 00000950: SWAP1 00000951: DUP2 00000952: AND 00000953: SWAP2 00000954: AND 00000955: EQ 00000956: PUSH2 0x095e 00000959: JUMPI 0000095a: PUSH1 0x00 0000095c: DUP1 0000095d: REVERT 0000095e: JUMPDEST 0000095f: PUSH1 0x02 00000961: SSTORE 00000962: JUMP 00000963: JUMPDEST 00000964: PUSH1 0x02 00000966: SLOAD 00000967: DUP2 00000968: JUMP 00000969: JUMPDEST 0000096a: PUSH1 0x0a 0000096c: SLOAD 0000096d: PUSH1 0x00 0000096f: SWAP1 00000970: CALLER 00000971: SWAP1 00000972: PUSH1 0x01 00000974: PUSH1 0xa0 00000976: PUSH1 0x02 00000978: EXP 00000979: SUB 0000097a: AND 0000097b: PUSH4 0x3af32abf 00000980: DUP3 00000981: DUP5 00000982: PUSH1 0x40 00000984: MLOAD 00000985: PUSH1 0x20 00000987: ADD 00000988: MSTORE 00000989: PUSH1 0x40 0000098b: MLOAD 0000098c: PUSH1 0xe0 0000098e: PUSH1 0x02 00000990: EXP 00000991: PUSH4 0xffffffff 00000996: DUP5 00000997: AND 00000998: MUL 00000999: DUP2 0000099a: MSTORE 0000099b: PUSH1 0x01 0000099d: PUSH1 0xa0 0000099f: PUSH1 0x02 000009a1: EXP 000009a2: SUB 000009a3: SWAP1 000009a4: SWAP2 000009a5: AND 000009a6: PUSH1 0x04 000009a8: DUP3 000009a9: ADD 000009aa: MSTORE 000009ab: PUSH1 0x24 000009ad: ADD 000009ae: PUSH1 0x20 000009b0: PUSH1 0x40 000009b2: MLOAD 000009b3: DUP1 000009b4: DUP4 000009b5: SUB 000009b6: DUP2 000009b7: PUSH1 0x00 000009b9: DUP8 000009ba: DUP1 000009bb: EXTCODESIZE 000009bc: ISZERO 000009bd: ISZERO 000009be: PUSH2 0x09c6 000009c1: JUMPI 000009c2: PUSH1 0x00 000009c4: DUP1 000009c5: REVERT 000009c6: JUMPDEST 000009c7: PUSH2 0x02c6 000009ca: GAS 000009cb: SUB 000009cc: CALL 000009cd: ISZERO 000009ce: ISZERO 000009cf: PUSH2 0x09d7 000009d2: JUMPI 000009d3: PUSH1 0x00 000009d5: DUP1 000009d6: REVERT 000009d7: JUMPDEST 000009d8: POP 000009d9: POP 000009da: POP 000009db: PUSH1 0x40 000009dd: MLOAD 000009de: DUP1 000009df: MLOAD 000009e0: SWAP1 000009e1: POP 000009e2: ISZERO 000009e3: ISZERO 000009e4: PUSH2 0x09ec 000009e7: JUMPI 000009e8: PUSH1 0x00 000009ea: DUP1 000009eb: REVERT 000009ec: JUMPDEST 000009ed: PUSH1 0x02 000009ef: SLOAD 000009f0: TIMESTAMP 000009f1: LT 000009f2: ISZERO 000009f3: PUSH2 0x09fb 000009f6: JUMPI 000009f7: PUSH1 0x00 000009f9: DUP1 000009fa: REVERT 000009fb: JUMPDEST 000009fc: PUSH1 0x05 000009fe: SLOAD 000009ff: PUSH1 0x04 00000a01: SLOAD 00000a02: LT 00000a03: PUSH2 0x0a0b 00000a06: JUMPI 00000a07: PUSH1 0x00 00000a09: DUP1 00000a0a: REVERT 00000a0b: JUMPDEST 00000a0c: PUSH1 0x01 00000a0e: PUSH1 0xa0 00000a10: PUSH1 0x02 00000a12: EXP 00000a13: SUB 00000a14: CALLER 00000a15: AND 00000a16: PUSH1 0x00 00000a18: SWAP1 00000a19: DUP2 00000a1a: MSTORE 00000a1b: PUSH1 0x0b 00000a1d: PUSH1 0x20 00000a1f: MSTORE 00000a20: PUSH1 0x40 00000a22: DUP2 00000a23: KECCAK256 00000a24: SLOAD 00000a25: GT 00000a26: PUSH2 0x0a2e 00000a29: JUMPI 00000a2a: PUSH1 0x00 00000a2c: DUP1 00000a2d: REVERT 00000a2e: JUMPDEST 00000a2f: PUSH1 0x09 00000a31: SLOAD 00000a32: PUSH1 0x01 00000a34: PUSH1 0xa0 00000a36: PUSH1 0x02 00000a38: EXP 00000a39: SUB 00000a3a: AND 00000a3b: PUSH4 0x79cc6790 00000a40: CALLER 00000a41: DUP3 00000a42: PUSH4 0x70a08231 00000a47: DUP3 00000a48: PUSH1 0x00 00000a4a: PUSH1 0x40 00000a4c: MLOAD 00000a4d: PUSH1 0x20 00000a4f: ADD 00000a50: MSTORE 00000a51: PUSH1 0x40 00000a53: MLOAD 00000a54: PUSH1 0xe0 00000a56: PUSH1 0x02 00000a58: EXP 00000a59: PUSH4 0xffffffff 00000a5e: DUP5 00000a5f: AND 00000a60: MUL 00000a61: DUP2 00000a62: MSTORE 00000a63: PUSH1 0x01 00000a65: PUSH1 0xa0 00000a67: PUSH1 0x02 00000a69: EXP 00000a6a: SUB 00000a6b: SWAP1 00000a6c: SWAP2 00000a6d: AND 00000a6e: PUSH1 0x04 00000a70: DUP3 00000a71: ADD 00000a72: MSTORE 00000a73: PUSH1 0x24 00000a75: ADD 00000a76: PUSH1 0x20 00000a78: PUSH1 0x40 00000a7a: MLOAD 00000a7b: DUP1 00000a7c: DUP4 00000a7d: SUB 00000a7e: DUP2 00000a7f: PUSH1 0x00 00000a81: DUP8 00000a82: DUP1 00000a83: EXTCODESIZE 00000a84: ISZERO 00000a85: ISZERO 00000a86: PUSH2 0x0a8e 00000a89: JUMPI 00000a8a: PUSH1 0x00 00000a8c: DUP1 00000a8d: REVERT 00000a8e: JUMPDEST 00000a8f: PUSH2 0x02c6 00000a92: GAS 00000a93: SUB 00000a94: CALL 00000a95: ISZERO 00000a96: ISZERO 00000a97: PUSH2 0x0a9f 00000a9a: JUMPI 00000a9b: PUSH1 0x00 00000a9d: DUP1 00000a9e: REVERT 00000a9f: JUMPDEST 00000aa0: POP 00000aa1: POP 00000aa2: POP 00000aa3: PUSH1 0x40 00000aa5: MLOAD 00000aa6: DUP1 00000aa7: MLOAD 00000aa8: SWAP1 00000aa9: POP 00000aaa: PUSH1 0x40 00000aac: MLOAD 00000aad: PUSH1 0xe0 00000aaf: PUSH1 0x02 00000ab1: EXP 00000ab2: PUSH4 0xffffffff 00000ab7: DUP6 00000ab8: AND 00000ab9: MUL 00000aba: DUP2 00000abb: MSTORE 00000abc: PUSH1 0x01 00000abe: PUSH1 0xa0 00000ac0: PUSH1 0x02 00000ac2: EXP 00000ac3: SUB 00000ac4: SWAP1 00000ac5: SWAP3 00000ac6: AND 00000ac7: PUSH1 0x04 00000ac9: DUP4 00000aca: ADD 00000acb: MSTORE 00000acc: PUSH1 0x24 00000ace: DUP3 00000acf: ADD 00000ad0: MSTORE 00000ad1: PUSH1 0x44 00000ad3: ADD 00000ad4: PUSH1 0x00 00000ad6: PUSH1 0x40 00000ad8: MLOAD 00000ad9: DUP1 00000ada: DUP4 00000adb: SUB 00000adc: DUP2 00000add: PUSH1 0x00 00000adf: DUP8 00000ae0: DUP1 00000ae1: EXTCODESIZE 00000ae2: ISZERO 00000ae3: ISZERO 00000ae4: PUSH2 0x0aec 00000ae7: JUMPI 00000ae8: PUSH1 0x00 00000aea: DUP1 00000aeb: REVERT 00000aec: JUMPDEST 00000aed: PUSH2 0x02c6 00000af0: GAS 00000af1: SUB 00000af2: CALL 00000af3: ISZERO 00000af4: ISZERO 00000af5: PUSH2 0x0afd 00000af8: JUMPI 00000af9: PUSH1 0x00 00000afb: DUP1 00000afc: REVERT 00000afd: JUMPDEST 00000afe: POP 00000aff: POP 00000b00: POP 00000b01: PUSH1 0x01 00000b03: PUSH1 0xa0 00000b05: PUSH1 0x02 00000b07: EXP 00000b08: SUB 00000b09: CALLER 00000b0a: AND 00000b0b: PUSH1 0x00 00000b0d: DUP2 00000b0e: DUP2 00000b0f: MSTORE 00000b10: PUSH1 0x0b 00000b12: PUSH1 0x20 00000b14: MSTORE 00000b15: PUSH1 0x40 00000b17: DUP1 00000b18: DUP3 00000b19: KECCAK256 00000b1a: DUP1 00000b1b: SLOAD 00000b1c: SWAP3 00000b1d: SWAP1 00000b1e: SSTORE 00000b1f: SWAP1 00000b20: SWAP4 00000b21: POP 00000b22: DUP4 00000b23: ISZERO 00000b24: PUSH2 0x08fc 00000b27: MUL 00000b28: SWAP1 00000b29: DUP5 00000b2a: SWAP1 00000b2b: MLOAD 00000b2c: PUSH1 0x00 00000b2e: PUSH1 0x40 00000b30: MLOAD 00000b31: DUP1 00000b32: DUP4 00000b33: SUB 00000b34: DUP2 00000b35: DUP6 00000b36: DUP9 00000b37: DUP9 00000b38: CALL 00000b39: SWAP4 00000b3a: POP 00000b3b: POP 00000b3c: POP 00000b3d: POP 00000b3e: ISZERO 00000b3f: ISZERO 00000b40: PUSH2 0x0b48 00000b43: JUMPI 00000b44: PUSH1 0x00 00000b46: DUP1 00000b47: REVERT 00000b48: JUMPDEST 00000b49: POP 00000b4a: POP 00000b4b: JUMP 00000b4c: JUMPDEST 00000b4d: PUSH1 0x06 00000b4f: SLOAD 00000b50: DUP2 00000b51: JUMP 00000b52: JUMPDEST 00000b53: PUSH1 0x0a 00000b55: SLOAD 00000b56: PUSH1 0x00 00000b58: SWAP1 00000b59: DUP2 00000b5a: SWAP1 00000b5b: PUSH1 0x01 00000b5d: PUSH1 0xa0 00000b5f: PUSH1 0x02 00000b61: EXP 00000b62: SUB 00000b63: AND 00000b64: PUSH4 0x5e29c47c 00000b69: DUP5 00000b6a: DUP4 00000b6b: PUSH1 0x40 00000b6d: MLOAD 00000b6e: PUSH1 0x20 00000b70: ADD 00000b71: MSTORE 00000b72: PUSH1 0x40 00000b74: MLOAD 00000b75: PUSH1 0xe0 00000b77: PUSH1 0x02 00000b79: EXP 00000b7a: PUSH4 0xffffffff 00000b7f: DUP5 00000b80: AND 00000b81: MUL 00000b82: DUP2 00000b83: MSTORE 00000b84: PUSH1 0x01 00000b86: PUSH1 0xa0 00000b88: PUSH1 0x02 00000b8a: EXP 00000b8b: SUB 00000b8c: SWAP1 00000b8d: SWAP2 00000b8e: AND 00000b8f: PUSH1 0x04 00000b91: DUP3 00000b92: ADD 00000b93: MSTORE 00000b94: PUSH1 0x24 00000b96: ADD 00000b97: PUSH1 0x20 00000b99: PUSH1 0x40 00000b9b: MLOAD 00000b9c: DUP1 00000b9d: DUP4 00000b9e: SUB 00000b9f: DUP2 00000ba0: PUSH1 0x00 00000ba2: DUP8 00000ba3: DUP1 00000ba4: EXTCODESIZE 00000ba5: ISZERO 00000ba6: ISZERO 00000ba7: PUSH2 0x0baf 00000baa: JUMPI 00000bab: PUSH1 0x00 00000bad: DUP1 00000bae: REVERT 00000baf: JUMPDEST 00000bb0: PUSH2 0x02c6 00000bb3: GAS 00000bb4: SUB 00000bb5: CALL 00000bb6: ISZERO 00000bb7: ISZERO 00000bb8: PUSH2 0x0bc0 00000bbb: JUMPI 00000bbc: PUSH1 0x00 00000bbe: DUP1 00000bbf: REVERT 00000bc0: JUMPDEST 00000bc1: POP 00000bc2: POP 00000bc3: POP 00000bc4: PUSH1 0x40 00000bc6: MLOAD 00000bc7: DUP1 00000bc8: MLOAD 00000bc9: SWAP2 00000bca: POP 00000bcb: POP 00000bcc: PUSH1 0x00 00000bce: DUP2 00000bcf: GT 00000bd0: DUP1 00000bd1: ISZERO 00000bd2: PUSH2 0x0bdc 00000bd5: JUMPI 00000bd6: POP 00000bd7: PUSH1 0x01 00000bd9: SLOAD 00000bda: DUP2 00000bdb: LT 00000bdc: JUMPDEST 00000bdd: ISZERO 00000bde: PUSH2 0x0bea 00000be1: JUMPI 00000be2: PUSH1 0x0a 00000be4: SWAP2 00000be5: POP 00000be6: PUSH2 0x0bef 00000be9: JUMP 00000bea: JUMPDEST 00000beb: PUSH1 0x00 00000bed: SWAP2 00000bee: POP 00000bef: JUMPDEST 00000bf0: POP 00000bf1: SWAP2 00000bf2: SWAP1 00000bf3: POP 00000bf4: JUMP 00000bf5: JUMPDEST 00000bf6: PUSH1 0x00 00000bf8: SLOAD 00000bf9: CALLER 00000bfa: PUSH1 0x01 00000bfc: PUSH1 0xa0 00000bfe: PUSH1 0x02 00000c00: EXP 00000c01: SUB 00000c02: SWAP1 00000c03: DUP2 00000c04: AND 00000c05: SWAP2 00000c06: AND 00000c07: EQ 00000c08: PUSH2 0x0c10 00000c0b: JUMPI 00000c0c: PUSH1 0x00 00000c0e: DUP1 00000c0f: REVERT 00000c10: JUMPDEST 00000c11: PUSH1 0x01 00000c13: SLOAD 00000c14: TIMESTAMP 00000c15: LT 00000c16: PUSH2 0x0c1e 00000c19: JUMPI 00000c1a: PUSH1 0x00 00000c1c: DUP1 00000c1d: REVERT 00000c1e: JUMPDEST 00000c1f: PUSH1 0x00 00000c21: DUP2 00000c22: GT 00000c23: PUSH2 0x0c2b 00000c26: JUMPI 00000c27: PUSH1 0x00 00000c29: DUP1 00000c2a: REVERT 00000c2b: JUMPDEST 00000c2c: PUSH1 0x03 00000c2e: SSTORE 00000c2f: JUMP 00000c30: JUMPDEST 00000c31: PUSH1 0x01 00000c33: SLOAD 00000c34: DUP2 00000c35: JUMP 00000c36: JUMPDEST 00000c37: PUSH1 0x00 00000c39: SLOAD 00000c3a: CALLER 00000c3b: PUSH1 0x01 00000c3d: PUSH1 0xa0 00000c3f: PUSH1 0x02 00000c41: EXP 00000c42: SUB 00000c43: SWAP1 00000c44: DUP2 00000c45: AND 00000c46: SWAP2 00000c47: AND 00000c48: EQ 00000c49: PUSH2 0x0c51 00000c4c: JUMPI 00000c4d: PUSH1 0x00 00000c4f: DUP1 00000c50: REVERT 00000c51: JUMPDEST 00000c52: PUSH1 0x01 00000c54: PUSH1 0xa0 00000c56: PUSH1 0x02 00000c58: EXP 00000c59: SUB 00000c5a: DUP3 00000c5b: AND 00000c5c: ISZERO 00000c5d: DUP1 00000c5e: ISZERO 00000c5f: SWAP1 00000c60: PUSH2 0x0c71 00000c63: JUMPI 00000c64: POP 00000c65: PUSH1 0x01 00000c67: PUSH1 0xa0 00000c69: PUSH1 0x02 00000c6b: EXP 00000c6c: SUB 00000c6d: DUP2 00000c6e: AND 00000c6f: ISZERO 00000c70: ISZERO 00000c71: JUMPDEST 00000c72: ISZERO 00000c73: ISZERO 00000c74: PUSH2 0x0c7c 00000c77: JUMPI 00000c78: PUSH1 0x00 00000c7a: DUP1 00000c7b: REVERT 00000c7c: JUMPDEST 00000c7d: PUSH1 0x09 00000c7f: SLOAD 00000c80: PUSH1 0x01 00000c82: PUSH1 0xa0 00000c84: PUSH1 0x02 00000c86: EXP 00000c87: SUB 00000c88: AND 00000c89: ISZERO 00000c8a: DUP1 00000c8b: ISZERO 00000c8c: PUSH2 0x0c9e 00000c8f: JUMPI 00000c90: POP 00000c91: PUSH1 0x0a 00000c93: SLOAD 00000c94: PUSH1 0x01 00000c96: PUSH1 0xa0 00000c98: PUSH1 0x02 00000c9a: EXP 00000c9b: SUB 00000c9c: AND 00000c9d: ISZERO 00000c9e: JUMPDEST 00000c9f: ISZERO 00000ca0: ISZERO 00000ca1: PUSH2 0x0ca9 00000ca4: JUMPI 00000ca5: PUSH1 0x00 00000ca7: DUP1 00000ca8: REVERT 00000ca9: JUMPDEST 00000caa: ADDRESS 00000cab: PUSH1 0x01 00000cad: PUSH1 0xa0 00000caf: PUSH1 0x02 00000cb1: EXP 00000cb2: SUB 00000cb3: AND 00000cb4: DUP3 00000cb5: PUSH1 0x01 00000cb7: PUSH1 0xa0 00000cb9: PUSH1 0x02 00000cbb: EXP 00000cbc: SUB 00000cbd: AND 00000cbe: PUSH4 0x8da5cb5b 00000cc3: PUSH1 0x00 00000cc5: PUSH1 0x40 00000cc7: MLOAD 00000cc8: PUSH1 0x20 00000cca: ADD 00000ccb: MSTORE 00000ccc: PUSH1 0x40 00000cce: MLOAD 00000ccf: DUP2 00000cd0: PUSH4 0xffffffff 00000cd5: AND 00000cd6: PUSH1 0xe0 00000cd8: PUSH1 0x02 00000cda: EXP 00000cdb: MUL 00000cdc: DUP2 00000cdd: MSTORE 00000cde: PUSH1 0x04 00000ce0: ADD 00000ce1: PUSH1 0x20 00000ce3: PUSH1 0x40 00000ce5: MLOAD 00000ce6: DUP1 00000ce7: DUP4 00000ce8: SUB 00000ce9: DUP2 00000cea: PUSH1 0x00 00000cec: DUP8 00000ced: DUP1 00000cee: EXTCODESIZE 00000cef: ISZERO 00000cf0: ISZERO 00000cf1: PUSH2 0x0cf9 00000cf4: JUMPI 00000cf5: PUSH1 0x00 00000cf7: DUP1 00000cf8: REVERT 00000cf9: JUMPDEST 00000cfa: PUSH2 0x02c6 00000cfd: GAS 00000cfe: SUB 00000cff: CALL 00000d00: ISZERO 00000d01: ISZERO 00000d02: PUSH2 0x0d0a 00000d05: JUMPI 00000d06: PUSH1 0x00 00000d08: DUP1 00000d09: REVERT 00000d0a: JUMPDEST 00000d0b: POP 00000d0c: POP 00000d0d: POP 00000d0e: PUSH1 0x40 00000d10: MLOAD 00000d11: DUP1 00000d12: MLOAD 00000d13: SWAP1 00000d14: POP 00000d15: PUSH1 0x01 00000d17: PUSH1 0xa0 00000d19: PUSH1 0x02 00000d1b: EXP 00000d1c: SUB 00000d1d: AND 00000d1e: EQ 00000d1f: ISZERO 00000d20: ISZERO 00000d21: PUSH2 0x0d29 00000d24: JUMPI 00000d25: PUSH1 0x00 00000d27: DUP1 00000d28: REVERT 00000d29: JUMPDEST 00000d2a: PUSH1 0x09 00000d2c: DUP1 00000d2d: SLOAD 00000d2e: PUSH1 0x01 00000d30: PUSH1 0xa0 00000d32: PUSH1 0x02 00000d34: EXP 00000d35: SUB 00000d36: DUP1 00000d37: DUP6 00000d38: AND 00000d39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d4e: NOT 00000d4f: SWAP3 00000d50: DUP4 00000d51: AND 00000d52: OR 00000d53: SWAP1 00000d54: SWAP3 00000d55: SSTORE 00000d56: PUSH1 0x0a 00000d58: DUP1 00000d59: SLOAD 00000d5a: SWAP3 00000d5b: DUP5 00000d5c: AND 00000d5d: SWAP3 00000d5e: SWAP1 00000d5f: SWAP2 00000d60: AND 00000d61: SWAP2 00000d62: SWAP1 00000d63: SWAP2 00000d64: OR 00000d65: SWAP1 00000d66: SSTORE 00000d67: PUSH2 0x0b48 00000d6a: PUSH2 0x0641 00000d6d: JUMP 00000d6e: JUMPDEST 00000d6f: PUSH1 0x00 00000d71: SLOAD 00000d72: CALLER 00000d73: PUSH1 0x01 00000d75: PUSH1 0xa0 00000d77: PUSH1 0x02 00000d79: EXP 00000d7a: SUB 00000d7b: SWAP1 00000d7c: DUP2 00000d7d: AND 00000d7e: SWAP2 00000d7f: AND 00000d80: EQ 00000d81: PUSH2 0x0d89 00000d84: JUMPI 00000d85: PUSH1 0x00 00000d87: DUP1 00000d88: REVERT 00000d89: JUMPDEST 00000d8a: PUSH1 0x01 00000d8c: PUSH1 0xa0 00000d8e: PUSH1 0x02 00000d90: EXP 00000d91: SUB 00000d92: DUP2 00000d93: AND 00000d94: ISZERO 00000d95: ISZERO 00000d96: PUSH2 0x0d9e 00000d99: JUMPI 00000d9a: PUSH1 0x00 00000d9c: DUP1 00000d9d: REVERT 00000d9e: JUMPDEST 00000d9f: PUSH1 0x00 00000da1: SLOAD 00000da2: PUSH1 0x01 00000da4: PUSH1 0xa0 00000da6: PUSH1 0x02 00000da8: EXP 00000da9: SUB 00000daa: DUP1 00000dab: DUP4 00000dac: AND 00000dad: SWAP2 00000dae: AND 00000daf: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000dd0: PUSH1 0x40 00000dd2: MLOAD 00000dd3: PUSH1 0x40 00000dd5: MLOAD 00000dd6: DUP1 00000dd7: SWAP2 00000dd8: SUB 00000dd9: SWAP1 00000dda: LOG3 00000ddb: PUSH1 0x00 00000ddd: DUP1 00000dde: SLOAD 00000ddf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df4: NOT 00000df5: AND 00000df6: PUSH1 0x01 00000df8: PUSH1 0xa0 00000dfa: PUSH1 0x02 00000dfc: EXP 00000dfd: SUB 00000dfe: SWAP3 00000dff: SWAP1 00000e00: SWAP3 00000e01: AND 00000e02: SWAP2 00000e03: SWAP1 00000e04: SWAP2 00000e05: OR 00000e06: SWAP1 00000e07: SSTORE 00000e08: JUMP 00000e09: JUMPDEST 00000e0a: PUSH1 0x09 00000e0c: SLOAD 00000e0d: PUSH1 0x01 00000e0f: PUSH1 0xa0 00000e11: PUSH1 0x02 00000e13: EXP 00000e14: SUB 00000e15: AND 00000e16: DUP2 00000e17: JUMP 00000e18: JUMPDEST 00000e19: PUSH1 0x00 00000e1b: DUP3 00000e1c: DUP3 00000e1d: ADD 00000e1e: DUP4 00000e1f: DUP2 00000e20: LT 00000e21: ISZERO 00000e22: PUSH2 0x0e27 00000e25: JUMPI 00000e26: INVALID 00000e27: JUMPDEST 00000e28: DUP1 00000e29: SWAP2 00000e2a: POP 00000e2b: JUMPDEST 00000e2c: POP 00000e2d: SWAP3 00000e2e: SWAP2 00000e2f: POP 00000e30: POP 00000e31: JUMP 00000e32: JUMPDEST 00000e33: PUSH1 0x00 00000e35: DUP1 00000e36: DUP4 00000e37: ISZERO 00000e38: ISZERO 00000e39: PUSH2 0x0e45 00000e3c: JUMPI 00000e3d: PUSH1 0x00 00000e3f: SWAP2 00000e40: POP 00000e41: PUSH2 0x0e2b 00000e44: JUMP 00000e45: JUMPDEST 00000e46: POP 00000e47: DUP3 00000e48: DUP3 00000e49: MUL 00000e4a: DUP3 00000e4b: DUP5 00000e4c: DUP3 00000e4d: DUP2 00000e4e: ISZERO 00000e4f: ISZERO 00000e50: PUSH2 0x0e55 00000e53: JUMPI 00000e54: INVALID 00000e55: JUMPDEST 00000e56: DIV 00000e57: EQ 00000e58: PUSH2 0x0e27 00000e5b: JUMPI 00000e5c: INVALID 00000e5d: JUMPDEST 00000e5e: PUSH1 0x00 00000e60: DUP1 00000e61: DUP3 00000e62: DUP5 00000e63: DUP2 00000e64: ISZERO 00000e65: ISZERO 00000e66: PUSH2 0x0e6b 00000e69: JUMPI 00000e6a: INVALID 00000e6b: JUMPDEST 00000e6c: DIV 00000e6d: SWAP5 00000e6e: SWAP4 00000e6f: POP 00000e70: POP 00000e71: POP 00000e72: POP 00000e73: JUMP 00000e74: JUMPDEST 00000e75: PUSH1 0x01 00000e77: PUSH1 0xa0 00000e79: PUSH1 0x02 00000e7b: EXP 00000e7c: SUB 00000e7d: DUP3 00000e7e: AND 00000e7f: PUSH1 0x00 00000e81: SWAP1 00000e82: DUP2 00000e83: MSTORE 00000e84: PUSH1 0x0b 00000e86: PUSH1 0x20 00000e88: MSTORE 00000e89: PUSH1 0x40 00000e8b: SWAP1 00000e8c: KECCAK256 00000e8d: SLOAD 00000e8e: PUSH2 0x0e9d 00000e91: SWAP1 00000e92: DUP3 00000e93: PUSH4 0xffffffff 00000e98: PUSH2 0x0e18 00000e9b: AND 00000e9c: JUMP 00000e9d: JUMPDEST 00000e9e: PUSH1 0x01 00000ea0: PUSH1 0xa0 00000ea2: PUSH1 0x02 00000ea4: EXP 00000ea5: SUB 00000ea6: SWAP1 00000ea7: SWAP3 00000ea8: AND 00000ea9: PUSH1 0x00 00000eab: SWAP1 00000eac: DUP2 00000ead: MSTORE 00000eae: PUSH1 0x0b 00000eb0: PUSH1 0x20 00000eb2: MSTORE 00000eb3: PUSH1 0x40 00000eb5: SWAP1 00000eb6: KECCAK256 00000eb7: SWAP2 00000eb8: SWAP1 00000eb9: SWAP2 00000eba: SSTORE 00000ebb: POP 00000ebc: JUMP 00000ebd: JUMPDEST 00000ebe: PUSH1 0x00 00000ec0: SLOAD 00000ec1: CALLER 00000ec2: PUSH1 0x01 00000ec4: PUSH1 0xa0 00000ec6: PUSH1 0x02 00000ec8: EXP 00000ec9: SUB 00000eca: SWAP1 00000ecb: DUP2 00000ecc: AND 00000ecd: SWAP2 00000ece: AND 00000ecf: EQ 00000ed0: PUSH2 0x0ed8 00000ed3: JUMPI 00000ed4: PUSH1 0x00 00000ed6: DUP1 00000ed7: REVERT 00000ed8: JUMPDEST 00000ed9: PUSH1 0x00 00000edb: SLOAD 00000edc: PUSH1 0xa0 00000ede: PUSH1 0x02 00000ee0: EXP 00000ee1: SWAP1 00000ee2: DIV 00000ee3: PUSH1 0xff 00000ee5: AND 00000ee6: ISZERO 00000ee7: ISZERO 00000ee8: PUSH2 0x0ef0 00000eeb: JUMPI 00000eec: PUSH1 0x00 00000eee: DUP1 00000eef: REVERT 00000ef0: JUMPDEST 00000ef1: PUSH1 0x00 00000ef3: DUP1 00000ef4: SLOAD 00000ef5: PUSH21 0xff0000000000000000000000000000000000000000 00000f0b: NOT 00000f0c: AND 00000f0d: SWAP1 00000f0e: SSTORE 00000f0f: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33 00000f30: PUSH1 0x40 00000f32: MLOAD 00000f33: PUSH1 0x40 00000f35: MLOAD 00000f36: DUP1 00000f37: SWAP2 00000f38: SUB 00000f39: SWAP1 00000f3a: LOG1 00000f3b: JUMP 00000f3c: STOP 00000f3d: LOG1 00000f3e: PUSH6 0x627a7a723058 00000f45: KECCAK256 00000f46: UNKNOWN(0xBA) 00000f47: SELFBALANCE 00000f48: UNKNOWN(0x0F) 00000f49: UNKNOWN(0xB4) 00000f4a: UNKNOWN(0x26) 00000f4b: UNKNOWN(0x2E) 00000f4c: PUSH1 0xa5 00000f4e: CREATE 00000f4f: GAS 00000f50: REVERT 00000f51: PUSH2 0x9d0d 00000f54: SWAP12 00000f55: UNKNOWN(0xC9) 00000f56: XOR 00000f57: DIFFICULTY 00000f58: UNKNOWN(0xD6) 00000f59: UNKNOWN(0xD2) 00000f5a: UNKNOWN(0x0F) 00000f5b: UNKNOWN(0xC1) 00000f5c: SLT 00000f5d: UNKNOWN(0xF9) 00000f5e: UNKNOWN(0xB0) 00000f5f: DUP1 00000f60: UNKNOWN(0xDC) 00000f61: SELFBALANCE 00000f62: BLOBHASH 00000f63: UNKNOWN(0xF8) 00000f64: UNKNOWN(0x4D) 00000f65: UNKNOWN(0xD5) 00000f66: STOP 00000f67: UNKNOWN(0x29)
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x53431eaad0a946fc17028d34fb00afd68d98c23129f06af8119cdc51230d6d9f
call_targets:
0x0f72b988c30a4e4472607703c3363dcfe0f58e0d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x53431eaad0a946fc17028d34fb00afd68d98c23129f06af8119cdc51230d6d9f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0f72b988c30a4e4472607703c3363dcfe0f58e0d"
],
"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": "0x21e6b53d",
"selector": "0x21e6b53d",
"calldata_variants": [
"0x21e6b53d",
"0x21e6b53d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b925b25",
"selector": "0x2b925b25",
"calldata_variants": [
"0x2b925b25",
"0x2b925b250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ba0b9a9",
"selector": "0x3ba0b9a9",
"calldata_variants": [
"0x3ba0b9a9",
"0x3ba0b9a90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3fa615b0",
"selector": "0x3fa615b0",
"calldata_variants": [
"0x3fa615b0",
"0x3fa615b00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x416dc762",
"selector": "0x416dc762",
"calldata_variants": [
"0x416dc762",
"0x416dc7620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4d7edc15",
"selector": "0x4d7edc15",
"calldata_variants": [
"0x4d7edc15",
"0x4d7edc150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x518ab2a8",
"selector": "0x518ab2a8",
"calldata_variants": [
"0x518ab2a8",
"0x518ab2a80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1126,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1400,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1572,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 11,
"guards_detected": [],
"untrusted_call_count": 11
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x53431eaad0a946fc17028d34fb00afd68d98c23129f06af8119cdc51230d6d9f
call_targets:
0x0f72b988c30a4e4472607703c3363dcfe0f58e0d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x53431eaad0a946fc17028d34fb00afd68d98c23129f06af8119cdc51230d6d9f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0f72b988c30a4e4472607703c3363dcfe0f58e0d"
],
"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": "0x21e6b53d",
"selector": "0x21e6b53d",
"calldata_variants": [
"0x21e6b53d",
"0x21e6b53d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b925b25",
"selector": "0x2b925b25",
"calldata_variants": [
"0x2b925b25",
"0x2b925b250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ba0b9a9",
"selector": "0x3ba0b9a9",
"calldata_variants": [
"0x3ba0b9a9",
"0x3ba0b9a90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3fa615b0",
"selector": "0x3fa615b0",
"calldata_variants": [
"0x3fa615b0",
"0x3fa615b00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x416dc762",
"selector": "0x416dc762",
"calldata_variants": [
"0x416dc762",
"0x416dc7620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4d7edc15",
"selector": "0x4d7edc15",
"calldata_variants": [
"0x4d7edc15",
"0x4d7edc150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x518ab2a8",
"selector": "0x518ab2a8",
"calldata_variants": [
"0x518ab2a8",
"0x518ab2a80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1126,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1400,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1572,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 11,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x06f8a898f025b6aa485cdc8138c9deda40081cd3627cb98d0e7f0c5b780d8579
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x06f8a898f025b6aa485cdc8138c9deda40081cd3627cb98d0e7f0c5b780d8579",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x21e6b53d",
"selector": "0x21e6b53d",
"calldata_variants": [
"0x21e6b53d",
"0x21e6b53d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b925b25",
"selector": "0x2b925b25",
"calldata_variants": [
"0x2b925b25",
"0x2b925b250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ba0b9a9",
"selector": "0x3ba0b9a9",
"calldata_variants": [
"0x3ba0b9a9",
"0x3ba0b9a90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3fa615b0",
"selector": "0x3fa615b0",
"calldata_variants": [
"0x3fa615b0",
"0x3fa615b00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x416dc762",
"selector": "0x416dc762",
"calldata_variants": [
"0x416dc762",
"0x416dc7620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4d7edc15",
"selector": "0x4d7edc15",
"calldata_variants": [
"0x4d7edc15",
"0x4d7edc150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x518ab2a8",
"selector": "0x518ab2a8",
"calldata_variants": [
"0x518ab2a8",
"0x518ab2a80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|