019b477e-ab81-7213-a2e1-9e2e827106d2
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 |
|---|---|---|---|---|
| 21031 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21032 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 64606 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 64607 | capability.graph | complete | 1 / 3 | 1 week ago |
| 64608 | detector.run | complete | 1 / 3 | 1 week ago |
| 64609 | 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 0x00ab 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH1 0xe0 00000014: PUSH1 0x02 00000016: EXP 00000017: PUSH1 0x00 00000019: CALLDATALOAD 0000001a: DIV 0000001b: AND 0000001c: PUSH4 0x1e9a6950 00000021: DUP2 00000022: EQ 00000023: PUSH2 0x00b0 00000026: JUMPI 00000027: DUP1 00000028: PUSH4 0x514fcac7 0000002d: EQ 0000002e: PUSH2 0x00d4 00000031: JUMPI 00000032: DUP1 00000033: PUSH4 0x518e62db 00000038: EQ 00000039: PUSH2 0x00ea 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0x6f3b60d6 00000043: EQ 00000044: PUSH2 0x012a 00000047: JUMPI 00000048: DUP1 00000049: PUSH4 0xaa677354 0000004e: EQ 0000004f: PUSH2 0x013d 00000052: JUMPI 00000053: DUP1 00000054: PUSH4 0xadb6f63f 00000059: EQ 0000005a: PUSH2 0x0162 0000005d: JUMPI 0000005e: DUP1 0000005f: PUSH4 0xb60d4288 00000064: EQ 00000065: PUSH2 0x0187 00000068: JUMPI 00000069: DUP1 0000006a: PUSH4 0xc0ee0b8a 0000006f: EQ 00000070: PUSH2 0x018f 00000073: JUMPI 00000074: DUP1 00000075: PUSH4 0xc23f001f 0000007a: EQ 0000007b: PUSH2 0x01f4 0000007e: JUMPI 0000007f: DUP1 00000080: PUSH4 0xcc7e930c 00000085: EQ 00000086: PUSH2 0x0219 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0xe5a70ef7 00000090: EQ 00000091: PUSH2 0x023e 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0xef46e0ca 0000009b: EQ 0000009c: PUSH2 0x0251 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0xf7888aec 000000a6: EQ 000000a7: PUSH2 0x026a 000000aa: JUMPI 000000ab: JUMPDEST 000000ac: PUSH1 0x00 000000ae: DUP1 000000af: REVERT 000000b0: JUMPDEST 000000b1: CALLVALUE 000000b2: ISZERO 000000b3: PUSH2 0x00bb 000000b6: JUMPI 000000b7: PUSH1 0x00 000000b9: DUP1 000000ba: REVERT 000000bb: JUMPDEST 000000bc: PUSH2 0x00d2 000000bf: PUSH1 0x01 000000c1: PUSH1 0xa0 000000c3: PUSH1 0x02 000000c5: EXP 000000c6: SUB 000000c7: PUSH1 0x04 000000c9: CALLDATALOAD 000000ca: AND 000000cb: PUSH1 0x24 000000cd: CALLDATALOAD 000000ce: PUSH2 0x028f 000000d1: JUMP 000000d2: JUMPDEST 000000d3: STOP 000000d4: JUMPDEST 000000d5: CALLVALUE 000000d6: ISZERO 000000d7: PUSH2 0x00df 000000da: JUMPI 000000db: PUSH1 0x00 000000dd: DUP1 000000de: REVERT 000000df: JUMPDEST 000000e0: PUSH2 0x00d2 000000e3: PUSH1 0x04 000000e5: CALLDATALOAD 000000e6: PUSH2 0x043e 000000e9: JUMP 000000ea: JUMPDEST 000000eb: CALLVALUE 000000ec: ISZERO 000000ed: PUSH2 0x00f5 000000f0: JUMPI 000000f1: PUSH1 0x00 000000f3: DUP1 000000f4: REVERT 000000f5: JUMPDEST 000000f6: PUSH2 0x0118 000000f9: PUSH1 0x01 000000fb: PUSH1 0xa0 000000fd: PUSH1 0x02 000000ff: EXP 00000100: SUB 00000101: PUSH1 0x04 00000103: CALLDATALOAD 00000104: DUP2 00000105: AND 00000106: SWAP1 00000107: PUSH1 0x24 00000109: CALLDATALOAD 0000010a: AND 0000010b: PUSH1 0x44 0000010d: CALLDATALOAD 0000010e: PUSH1 0x64 00000110: CALLDATALOAD 00000111: PUSH1 0x84 00000113: CALLDATALOAD 00000114: PUSH2 0x0579 00000117: JUMP 00000118: JUMPDEST 00000119: PUSH1 0x40 0000011b: MLOAD 0000011c: SWAP1 0000011d: DUP2 0000011e: MSTORE 0000011f: PUSH1 0x20 00000121: ADD 00000122: PUSH1 0x40 00000124: MLOAD 00000125: DUP1 00000126: SWAP2 00000127: SUB 00000128: SWAP1 00000129: RETURN 0000012a: JUMPDEST 0000012b: CALLVALUE 0000012c: ISZERO 0000012d: PUSH2 0x0135 00000130: JUMPI 00000131: PUSH1 0x00 00000133: DUP1 00000134: REVERT 00000135: JUMPDEST 00000136: PUSH2 0x0118 00000139: PUSH2 0x0852 0000013c: JUMP 0000013d: JUMPDEST 0000013e: CALLVALUE 0000013f: ISZERO 00000140: PUSH2 0x0148 00000143: JUMPI 00000144: PUSH1 0x00 00000146: DUP1 00000147: REVERT 00000148: JUMPDEST 00000149: PUSH2 0x00d2 0000014c: PUSH1 0x01 0000014e: PUSH1 0xa0 00000150: PUSH1 0x02 00000152: EXP 00000153: SUB 00000154: PUSH1 0x04 00000156: CALLDATALOAD 00000157: DUP2 00000158: AND 00000159: SWAP1 0000015a: PUSH1 0x24 0000015c: CALLDATALOAD 0000015d: AND 0000015e: PUSH2 0x0858 00000161: JUMP 00000162: JUMPDEST 00000163: CALLVALUE 00000164: ISZERO 00000165: PUSH2 0x016d 00000168: JUMPI 00000169: PUSH1 0x00 0000016b: DUP1 0000016c: REVERT 0000016d: JUMPDEST 0000016e: PUSH2 0x0118 00000171: PUSH1 0x01 00000173: PUSH1 0xa0 00000175: PUSH1 0x02 00000177: EXP 00000178: SUB 00000179: PUSH1 0x04 0000017b: CALLDATALOAD 0000017c: DUP2 0000017d: AND 0000017e: SWAP1 0000017f: PUSH1 0x24 00000181: CALLDATALOAD 00000182: AND 00000183: PUSH2 0x095b 00000186: JUMP 00000187: JUMPDEST 00000188: PUSH2 0x00d2 0000018b: PUSH2 0x0978 0000018e: JUMP 0000018f: JUMPDEST 00000190: CALLVALUE 00000191: ISZERO 00000192: PUSH2 0x019a 00000195: JUMPI 00000196: PUSH1 0x00 00000198: DUP1 00000199: REVERT 0000019a: JUMPDEST 0000019b: PUSH2 0x00d2 0000019e: PUSH1 0x04 000001a0: DUP1 000001a1: CALLDATALOAD 000001a2: PUSH1 0x01 000001a4: PUSH1 0xa0 000001a6: PUSH1 0x02 000001a8: EXP 000001a9: SUB 000001aa: AND 000001ab: SWAP1 000001ac: PUSH1 0x24 000001ae: DUP1 000001af: CALLDATALOAD 000001b0: SWAP2 000001b1: SWAP1 000001b2: PUSH1 0x64 000001b4: SWAP1 000001b5: PUSH1 0x44 000001b7: CALLDATALOAD 000001b8: SWAP1 000001b9: DUP2 000001ba: ADD 000001bb: SWAP1 000001bc: DUP4 000001bd: ADD 000001be: CALLDATALOAD 000001bf: DUP1 000001c0: PUSH1 0x20 000001c2: PUSH1 0x1f 000001c4: DUP3 000001c5: ADD 000001c6: DUP2 000001c7: SWAP1 000001c8: DIV 000001c9: DUP2 000001ca: MUL 000001cb: ADD 000001cc: PUSH1 0x40 000001ce: MLOAD 000001cf: SWAP1 000001d0: DUP2 000001d1: ADD 000001d2: PUSH1 0x40 000001d4: MSTORE 000001d5: DUP2 000001d6: DUP2 000001d7: MSTORE 000001d8: SWAP3 000001d9: SWAP2 000001da: SWAP1 000001db: PUSH1 0x20 000001dd: DUP5 000001de: ADD 000001df: DUP4 000001e0: DUP4 000001e1: DUP1 000001e2: DUP3 000001e3: DUP5 000001e4: CALLDATACOPY 000001e5: POP 000001e6: SWAP5 000001e7: SWAP7 000001e8: POP 000001e9: PUSH2 0x0a23 000001ec: SWAP6 000001ed: POP 000001ee: POP 000001ef: POP 000001f0: POP 000001f1: POP 000001f2: POP 000001f3: JUMP 000001f4: JUMPDEST 000001f5: CALLVALUE 000001f6: ISZERO 000001f7: PUSH2 0x01ff 000001fa: JUMPI 000001fb: PUSH1 0x00 000001fd: DUP1 000001fe: REVERT 000001ff: JUMPDEST 00000200: PUSH2 0x0118 00000203: PUSH1 0x01 00000205: PUSH1 0xa0 00000207: PUSH1 0x02 00000209: EXP 0000020a: SUB 0000020b: PUSH1 0x04 0000020d: CALLDATALOAD 0000020e: DUP2 0000020f: AND 00000210: SWAP1 00000211: PUSH1 0x24 00000213: CALLDATALOAD 00000214: AND 00000215: PUSH2 0x0aca 00000218: JUMP 00000219: JUMPDEST 0000021a: CALLVALUE 0000021b: ISZERO 0000021c: PUSH2 0x0224 0000021f: JUMPI 00000220: PUSH1 0x00 00000222: DUP1 00000223: REVERT 00000224: JUMPDEST 00000225: PUSH2 0x0118 00000228: PUSH1 0x01 0000022a: PUSH1 0xa0 0000022c: PUSH1 0x02 0000022e: EXP 0000022f: SUB 00000230: PUSH1 0x04 00000232: CALLDATALOAD 00000233: DUP2 00000234: AND 00000235: SWAP1 00000236: PUSH1 0x24 00000238: CALLDATALOAD 00000239: AND 0000023a: PUSH2 0x0ae7 0000023d: JUMP 0000023e: JUMPDEST 0000023f: CALLVALUE 00000240: ISZERO 00000241: PUSH2 0x0249 00000244: JUMPI 00000245: PUSH1 0x00 00000247: DUP1 00000248: REVERT 00000249: JUMPDEST 0000024a: PUSH2 0x0118 0000024d: PUSH2 0x0b13 00000250: JUMP 00000251: JUMPDEST 00000252: CALLVALUE 00000253: ISZERO 00000254: PUSH2 0x025c 00000257: JUMPI 00000258: PUSH1 0x00 0000025a: DUP1 0000025b: REVERT 0000025c: JUMPDEST 0000025d: PUSH2 0x00d2 00000260: PUSH1 0x04 00000262: CALLDATALOAD 00000263: PUSH1 0x24 00000265: CALLDATALOAD 00000266: PUSH2 0x0b19 00000269: JUMP 0000026a: JUMPDEST 0000026b: CALLVALUE 0000026c: ISZERO 0000026d: PUSH2 0x0275 00000270: JUMPI 00000271: PUSH1 0x00 00000273: DUP1 00000274: REVERT 00000275: JUMPDEST 00000276: PUSH2 0x0118 00000279: PUSH1 0x01 0000027b: PUSH1 0xa0 0000027d: PUSH1 0x02 0000027f: EXP 00000280: SUB 00000281: PUSH1 0x04 00000283: CALLDATALOAD 00000284: DUP2 00000285: AND 00000286: SWAP1 00000287: PUSH1 0x24 00000289: CALLDATALOAD 0000028a: AND 0000028b: PUSH2 0x0ec0 0000028e: JUMP 0000028f: JUMPDEST 00000290: PUSH1 0x00 00000292: DUP2 00000293: ISZERO 00000294: ISZERO 00000295: PUSH2 0x029d 00000298: JUMPI 00000299: PUSH1 0x00 0000029b: DUP1 0000029c: REVERT 0000029d: JUMPDEST 0000029e: POP 0000029f: CALLER 000002a0: PUSH1 0x01 000002a2: PUSH1 0xa0 000002a4: PUSH1 0x02 000002a6: EXP 000002a7: SUB 000002a8: DUP2 000002a9: DUP2 000002aa: AND 000002ab: PUSH1 0x00 000002ad: SWAP1 000002ae: DUP2 000002af: MSTORE 000002b0: PUSH1 0x03 000002b2: PUSH1 0x20 000002b4: SWAP1 000002b5: DUP2 000002b6: MSTORE 000002b7: PUSH1 0x40 000002b9: DUP1 000002ba: DUP4 000002bb: KECCAK256 000002bc: SWAP4 000002bd: DUP8 000002be: AND 000002bf: DUP4 000002c0: MSTORE 000002c1: SWAP3 000002c2: SWAP1 000002c3: MSTORE 000002c4: KECCAK256 000002c5: SLOAD 000002c6: DUP3 000002c7: GT 000002c8: ISZERO 000002c9: PUSH2 0x02d1 000002cc: JUMPI 000002cd: PUSH1 0x00 000002cf: DUP1 000002d0: REVERT 000002d1: JUMPDEST 000002d2: PUSH1 0x01 000002d4: PUSH1 0xa0 000002d6: PUSH1 0x02 000002d8: EXP 000002d9: SUB 000002da: DUP1 000002db: DUP3 000002dc: AND 000002dd: PUSH1 0x00 000002df: SWAP1 000002e0: DUP2 000002e1: MSTORE 000002e2: PUSH1 0x03 000002e4: PUSH1 0x20 000002e6: SWAP1 000002e7: DUP2 000002e8: MSTORE 000002e9: PUSH1 0x40 000002eb: DUP1 000002ec: DUP4 000002ed: KECCAK256 000002ee: SWAP4 000002ef: DUP8 000002f0: AND 000002f1: DUP4 000002f2: MSTORE 000002f3: SWAP3 000002f4: SWAP1 000002f5: MSTORE 000002f6: KECCAK256 000002f7: SLOAD 000002f8: PUSH2 0x0307 000002fb: SWAP1 000002fc: DUP4 000002fd: PUSH4 0xffffffff 00000302: PUSH2 0x0eec 00000305: AND 00000306: JUMP 00000307: JUMPDEST 00000308: PUSH1 0x01 0000030a: PUSH1 0xa0 0000030c: PUSH1 0x02 0000030e: EXP 0000030f: SUB 00000310: DUP1 00000311: DUP4 00000312: AND 00000313: PUSH1 0x00 00000315: SWAP1 00000316: DUP2 00000317: MSTORE 00000318: PUSH1 0x03 0000031a: PUSH1 0x20 0000031c: SWAP1 0000031d: DUP2 0000031e: MSTORE 0000031f: PUSH1 0x40 00000321: DUP1 00000322: DUP4 00000323: KECCAK256 00000324: DUP9 00000325: DUP6 00000326: AND 00000327: DUP1 00000328: DUP6 00000329: MSTORE 0000032a: SWAP3 0000032b: MSTORE 0000032c: SWAP1 0000032d: SWAP2 0000032e: KECCAK256 0000032f: SWAP3 00000330: SWAP1 00000331: SWAP3 00000332: SSTORE 00000333: PUSH1 0x02 00000335: SLOAD 00000336: AND 00000337: EQ 00000338: ISZERO 00000339: PUSH2 0x0372 0000033c: JUMPI 0000033d: PUSH1 0x01 0000033f: PUSH1 0xa0 00000341: PUSH1 0x02 00000343: EXP 00000344: SUB 00000345: DUP2 00000346: AND 00000347: DUP3 00000348: ISZERO 00000349: PUSH2 0x08fc 0000034c: MUL 0000034d: DUP4 0000034e: PUSH1 0x40 00000350: MLOAD 00000351: PUSH1 0x00 00000353: PUSH1 0x40 00000355: MLOAD 00000356: DUP1 00000357: DUP4 00000358: SUB 00000359: DUP2 0000035a: DUP6 0000035b: DUP9 0000035c: DUP9 0000035d: CALL 0000035e: SWAP4 0000035f: POP 00000360: POP 00000361: POP 00000362: POP 00000363: ISZERO 00000364: ISZERO 00000365: PUSH2 0x036d 00000368: JUMPI 00000369: PUSH1 0x00 0000036b: DUP1 0000036c: REVERT 0000036d: JUMPDEST 0000036e: PUSH2 0x03eb 00000371: JUMP 00000372: JUMPDEST 00000373: DUP3 00000374: PUSH1 0x01 00000376: PUSH1 0xa0 00000378: PUSH1 0x02 0000037a: EXP 0000037b: SUB 0000037c: AND 0000037d: PUSH4 0xa9059cbb 00000382: DUP3 00000383: DUP5 00000384: PUSH1 0x00 00000386: PUSH1 0x40 00000388: MLOAD 00000389: PUSH1 0x20 0000038b: ADD 0000038c: MSTORE 0000038d: PUSH1 0x40 0000038f: MLOAD 00000390: PUSH1 0xe0 00000392: PUSH1 0x02 00000394: EXP 00000395: PUSH4 0xffffffff 0000039a: DUP6 0000039b: AND 0000039c: MUL 0000039d: DUP2 0000039e: MSTORE 0000039f: PUSH1 0x01 000003a1: PUSH1 0xa0 000003a3: PUSH1 0x02 000003a5: EXP 000003a6: SUB 000003a7: SWAP1 000003a8: SWAP3 000003a9: AND 000003aa: PUSH1 0x04 000003ac: DUP4 000003ad: ADD 000003ae: MSTORE 000003af: PUSH1 0x24 000003b1: DUP3 000003b2: ADD 000003b3: MSTORE 000003b4: PUSH1 0x44 000003b6: ADD 000003b7: PUSH1 0x20 000003b9: PUSH1 0x40 000003bb: MLOAD 000003bc: DUP1 000003bd: DUP4 000003be: SUB 000003bf: DUP2 000003c0: PUSH1 0x00 000003c2: DUP8 000003c3: DUP1 000003c4: EXTCODESIZE 000003c5: ISZERO 000003c6: ISZERO 000003c7: PUSH2 0x03cf 000003ca: JUMPI 000003cb: PUSH1 0x00 000003cd: DUP1 000003ce: REVERT 000003cf: JUMPDEST 000003d0: PUSH2 0x02c6 000003d3: GAS 000003d4: SUB 000003d5: CALL 000003d6: ISZERO 000003d7: ISZERO 000003d8: PUSH2 0x03e0 000003db: JUMPI 000003dc: PUSH1 0x00 000003de: DUP1 000003df: REVERT 000003e0: JUMPDEST 000003e1: POP 000003e2: POP 000003e3: POP 000003e4: PUSH1 0x40 000003e6: MLOAD 000003e7: DUP1 000003e8: MLOAD 000003e9: POP 000003ea: POP 000003eb: JUMPDEST 000003ec: CALLER 000003ed: PUSH1 0x01 000003ef: PUSH1 0xa0 000003f1: PUSH1 0x02 000003f3: EXP 000003f4: SUB 000003f5: AND 000003f6: DUP4 000003f7: PUSH1 0x01 000003f9: PUSH1 0xa0 000003fb: PUSH1 0x02 000003fd: EXP 000003fe: SUB 000003ff: AND 00000400: PUSH32 0xc2b4a290c20fb28939d29f102514fbffd2b73c059ffba8b78250c94161d5fcc6 00000421: DUP5 00000422: TIMESTAMP 00000423: PUSH1 0x40 00000425: MLOAD 00000426: SWAP2 00000427: DUP3 00000428: MSTORE 00000429: PUSH1 0x20 0000042b: DUP3 0000042c: ADD 0000042d: MSTORE 0000042e: PUSH1 0x40 00000430: SWAP1 00000431: DUP2 00000432: ADD 00000433: SWAP1 00000434: MLOAD 00000435: DUP1 00000436: SWAP2 00000437: SUB 00000438: SWAP1 00000439: LOG3 0000043a: POP 0000043b: POP 0000043c: POP 0000043d: JUMP 0000043e: JUMPDEST 0000043f: PUSH1 0x00 00000441: DUP2 00000442: DUP2 00000443: MSTORE 00000444: PUSH1 0x05 00000446: PUSH1 0x20 00000448: MSTORE 00000449: PUSH1 0x40 0000044b: SWAP1 0000044c: KECCAK256 0000044d: PUSH1 0x03 0000044f: DUP2 00000450: ADD 00000451: SLOAD 00000452: ISZERO 00000453: ISZERO 00000454: PUSH2 0x045c 00000457: JUMPI 00000458: PUSH1 0x00 0000045a: DUP1 0000045b: REVERT 0000045c: JUMPDEST 0000045d: DUP1 0000045e: SLOAD 0000045f: CALLER 00000460: PUSH1 0x01 00000462: PUSH1 0xa0 00000464: PUSH1 0x02 00000466: EXP 00000467: SUB 00000468: SWAP1 00000469: DUP2 0000046a: AND 0000046b: SWAP2 0000046c: AND 0000046d: EQ 0000046e: PUSH2 0x0476 00000471: JUMPI 00000472: PUSH1 0x00 00000474: DUP1 00000475: REVERT 00000476: JUMPDEST 00000477: PUSH1 0x03 00000479: DUP2 0000047a: ADD 0000047b: SLOAD 0000047c: PUSH1 0x01 0000047e: PUSH1 0xa0 00000480: PUSH1 0x02 00000482: EXP 00000483: SUB 00000484: CALLER 00000485: DUP2 00000486: AND 00000487: PUSH1 0x00 00000489: SWAP1 0000048a: DUP2 0000048b: MSTORE 0000048c: PUSH1 0x04 0000048e: PUSH1 0x20 00000490: SWAP1 00000491: DUP2 00000492: MSTORE 00000493: PUSH1 0x40 00000495: DUP1 00000496: DUP4 00000497: KECCAK256 00000498: PUSH1 0x01 0000049a: DUP8 0000049b: ADD 0000049c: SLOAD 0000049d: SWAP1 0000049e: SWAP5 0000049f: AND 000004a0: DUP4 000004a1: MSTORE 000004a2: SWAP3 000004a3: SWAP1 000004a4: MSTORE 000004a5: KECCAK256 000004a6: SLOAD 000004a7: PUSH2 0x04b5 000004aa: SWAP2 000004ab: PUSH4 0xffffffff 000004b0: PUSH2 0x0eec 000004b3: AND 000004b4: JUMP 000004b5: JUMPDEST 000004b6: PUSH1 0x01 000004b8: PUSH1 0xa0 000004ba: PUSH1 0x02 000004bc: EXP 000004bd: SUB 000004be: CALLER 000004bf: DUP2 000004c0: AND 000004c1: PUSH1 0x00 000004c3: DUP2 000004c4: DUP2 000004c5: MSTORE 000004c6: PUSH1 0x04 000004c8: PUSH1 0x20 000004ca: SWAP1 000004cb: DUP2 000004cc: MSTORE 000004cd: PUSH1 0x40 000004cf: DUP1 000004d0: DUP4 000004d1: KECCAK256 000004d2: PUSH1 0x01 000004d4: DUP9 000004d5: ADD 000004d6: DUP1 000004d7: SLOAD 000004d8: DUP8 000004d9: AND 000004da: DUP6 000004db: MSTORE 000004dc: SWAP1 000004dd: DUP4 000004de: MSTORE 000004df: DUP2 000004e0: DUP5 000004e1: KECCAK256 000004e2: SWAP7 000004e3: SWAP1 000004e4: SWAP7 000004e5: SSTORE 000004e6: PUSH1 0x03 000004e8: DUP1 000004e9: DUP9 000004ea: ADD 000004eb: SLOAD 000004ec: SWAP5 000004ed: DUP5 000004ee: MSTORE 000004ef: DUP3 000004f0: MSTORE 000004f1: DUP1 000004f2: DUP4 000004f3: KECCAK256 000004f4: SWAP6 000004f5: SLOAD 000004f6: SWAP1 000004f7: SWAP5 000004f8: AND 000004f9: DUP3 000004fa: MSTORE 000004fb: SWAP4 000004fc: SWAP1 000004fd: SWAP4 000004fe: MSTORE 000004ff: SWAP2 00000500: KECCAK256 00000501: SLOAD 00000502: PUSH2 0x0510 00000505: SWAP2 00000506: PUSH4 0xffffffff 0000050b: PUSH2 0x0efe 0000050e: AND 0000050f: JUMP 00000510: JUMPDEST 00000511: PUSH1 0x01 00000513: PUSH1 0xa0 00000515: PUSH1 0x02 00000517: EXP 00000518: SUB 00000519: CALLER 0000051a: DUP2 0000051b: AND 0000051c: PUSH1 0x00 0000051e: SWAP1 0000051f: DUP2 00000520: MSTORE 00000521: PUSH1 0x03 00000523: PUSH1 0x20 00000525: SWAP1 00000526: DUP2 00000527: MSTORE 00000528: PUSH1 0x40 0000052a: DUP1 0000052b: DUP4 0000052c: KECCAK256 0000052d: PUSH1 0x01 0000052f: DUP8 00000530: ADD 00000531: SLOAD 00000532: SWAP1 00000533: SWAP5 00000534: AND 00000535: DUP4 00000536: MSTORE 00000537: SWAP3 00000538: SWAP1 00000539: MSTORE 0000053a: DUP2 0000053b: SWAP1 0000053c: KECCAK256 0000053d: SWAP2 0000053e: SWAP1 0000053f: SWAP2 00000540: SSTORE 00000541: DUP3 00000542: SWAP1 00000543: PUSH32 0xaa2a006d186dc89a3d6851834c85d16226329ac40bcad6531a5756a38ed1c90f 00000564: SWAP1 00000565: TIMESTAMP 00000566: SWAP1 00000567: MLOAD 00000568: SWAP1 00000569: DUP2 0000056a: MSTORE 0000056b: PUSH1 0x20 0000056d: ADD 0000056e: PUSH1 0x40 00000570: MLOAD 00000571: DUP1 00000572: SWAP2 00000573: SUB 00000574: SWAP1 00000575: LOG2 00000576: POP 00000577: POP 00000578: JUMP 00000579: JUMPDEST 0000057a: PUSH1 0x00 0000057c: DUP4 0000057d: ISZERO 0000057e: ISZERO 0000057f: PUSH2 0x0587 00000582: JUMPI 00000583: PUSH1 0x00 00000585: DUP1 00000586: REVERT 00000587: JUMPDEST 00000588: DUP3 00000589: ISZERO 0000058a: ISZERO 0000058b: PUSH2 0x0593 0000058e: JUMPI 0000058f: PUSH1 0x00 00000591: DUP1 00000592: REVERT 00000593: JUMPDEST 00000594: DUP2 00000595: ISZERO 00000596: ISZERO 00000597: PUSH2 0x059f 0000059a: JUMPI 0000059b: PUSH1 0x00 0000059d: DUP1 0000059e: REVERT 0000059f: JUMPDEST 000005a0: DUP5 000005a1: PUSH1 0x01 000005a3: PUSH1 0xa0 000005a5: PUSH1 0x02 000005a7: EXP 000005a8: SUB 000005a9: AND 000005aa: DUP7 000005ab: PUSH1 0x01 000005ad: PUSH1 0xa0 000005af: PUSH1 0x02 000005b1: EXP 000005b2: SUB 000005b3: AND 000005b4: EQ 000005b5: ISZERO 000005b6: PUSH2 0x05be 000005b9: JUMPI 000005ba: PUSH1 0x00 000005bc: DUP1 000005bd: REVERT 000005be: JUMPDEST 000005bf: PUSH1 0x01 000005c1: PUSH1 0xa0 000005c3: PUSH1 0x02 000005c5: EXP 000005c6: SUB 000005c7: CALLER 000005c8: DUP2 000005c9: AND 000005ca: PUSH1 0x00 000005cc: SWAP1 000005cd: DUP2 000005ce: MSTORE 000005cf: PUSH1 0x03 000005d1: PUSH1 0x20 000005d3: SWAP1 000005d4: DUP2 000005d5: MSTORE 000005d6: PUSH1 0x40 000005d8: DUP1 000005d9: DUP4 000005da: KECCAK256 000005db: SWAP4 000005dc: DUP11 000005dd: AND 000005de: DUP4 000005df: MSTORE 000005e0: SWAP3 000005e1: SWAP1 000005e2: MSTORE 000005e3: KECCAK256 000005e4: SLOAD 000005e5: DUP5 000005e6: SWAP1 000005e7: LT 000005e8: ISZERO 000005e9: PUSH2 0x05f1 000005ec: JUMPI 000005ed: PUSH1 0x00 000005ef: DUP1 000005f0: REVERT 000005f1: JUMPDEST 000005f2: PUSH2 0x0611 000005f5: DUP3 000005f6: PUSH2 0x0605 000005f9: DUP7 000005fa: DUP7 000005fb: PUSH4 0xffffffff 00000600: PUSH2 0x0f14 00000603: AND 00000604: JUMP 00000605: JUMPDEST 00000606: SWAP1 00000607: PUSH4 0xffffffff 0000060c: PUSH2 0x0f38 0000060f: AND 00000610: JUMP 00000611: JUMPDEST 00000612: ISZERO 00000613: ISZERO 00000614: PUSH2 0x061c 00000617: JUMPI 00000618: PUSH1 0x00 0000061a: DUP1 0000061b: REVERT 0000061c: JUMPDEST 0000061d: POP 0000061e: PUSH1 0x06 00000620: DUP1 00000621: SLOAD 00000622: PUSH1 0x01 00000624: DUP2 00000625: ADD 00000626: SWAP1 00000627: SWAP2 00000628: SSTORE 00000629: PUSH1 0xc0 0000062b: PUSH1 0x40 0000062d: MLOAD 0000062e: SWAP1 0000062f: DUP2 00000630: ADD 00000631: PUSH1 0x40 00000633: MSTORE 00000634: DUP1 00000635: CALLER 00000636: PUSH1 0x01 00000638: PUSH1 0xa0 0000063a: PUSH1 0x02 0000063c: EXP 0000063d: SUB 0000063e: AND 0000063f: DUP2 00000640: MSTORE 00000641: PUSH1 0x20 00000643: ADD 00000644: DUP8 00000645: PUSH1 0x01 00000647: PUSH1 0xa0 00000649: PUSH1 0x02 0000064b: EXP 0000064c: SUB 0000064d: AND 0000064e: DUP2 0000064f: MSTORE 00000650: PUSH1 0x20 00000652: ADD 00000653: DUP7 00000654: PUSH1 0x01 00000656: PUSH1 0xa0 00000658: PUSH1 0x02 0000065a: EXP 0000065b: SUB 0000065c: AND 0000065d: DUP2 0000065e: MSTORE 0000065f: PUSH1 0x20 00000661: ADD 00000662: DUP6 00000663: DUP2 00000664: MSTORE 00000665: PUSH1 0x20 00000667: ADD 00000668: DUP5 00000669: DUP2 0000066a: MSTORE 0000066b: PUSH1 0x20 0000066d: ADD 0000066e: DUP4 0000066f: DUP2 00000670: MSTORE 00000671: POP 00000672: PUSH1 0x05 00000674: PUSH1 0x00 00000676: DUP4 00000677: DUP2 00000678: MSTORE 00000679: PUSH1 0x20 0000067b: ADD 0000067c: SWAP1 0000067d: DUP2 0000067e: MSTORE 0000067f: PUSH1 0x20 00000681: ADD 00000682: PUSH1 0x00 00000684: KECCAK256 00000685: PUSH1 0x00 00000687: DUP3 00000688: ADD 00000689: MLOAD 0000068a: DUP2 0000068b: SLOAD 0000068c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006a1: NOT 000006a2: AND 000006a3: PUSH1 0x01 000006a5: PUSH1 0xa0 000006a7: PUSH1 0x02 000006a9: EXP 000006aa: SUB 000006ab: SWAP2 000006ac: SWAP1 000006ad: SWAP2 000006ae: AND 000006af: OR 000006b0: DUP2 000006b1: SSTORE 000006b2: PUSH1 0x20 000006b4: DUP3 000006b5: ADD 000006b6: MLOAD 000006b7: PUSH1 0x01 000006b9: DUP3 000006ba: ADD 000006bb: DUP1 000006bc: SLOAD 000006bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006d2: NOT 000006d3: AND 000006d4: PUSH1 0x01 000006d6: PUSH1 0xa0 000006d8: PUSH1 0x02 000006da: EXP 000006db: SUB 000006dc: SWAP3 000006dd: SWAP1 000006de: SWAP3 000006df: AND 000006e0: SWAP2 000006e1: SWAP1 000006e2: SWAP2 000006e3: OR 000006e4: SWAP1 000006e5: SSTORE 000006e6: PUSH1 0x40 000006e8: DUP3 000006e9: ADD 000006ea: MLOAD 000006eb: PUSH1 0x02 000006ed: DUP3 000006ee: ADD 000006ef: DUP1 000006f0: SLOAD 000006f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000706: NOT 00000707: AND 00000708: PUSH1 0x01 0000070a: PUSH1 0xa0 0000070c: PUSH1 0x02 0000070e: EXP 0000070f: SUB 00000710: SWAP3 00000711: SWAP1 00000712: SWAP3 00000713: AND 00000714: SWAP2 00000715: SWAP1 00000716: SWAP2 00000717: OR 00000718: SWAP1 00000719: SSTORE 0000071a: PUSH1 0x60 0000071c: DUP3 0000071d: ADD 0000071e: MLOAD 0000071f: DUP2 00000720: PUSH1 0x03 00000722: ADD 00000723: SSTORE 00000724: PUSH1 0x80 00000726: DUP3 00000727: ADD 00000728: MLOAD 00000729: DUP2 0000072a: PUSH1 0x04 0000072c: ADD 0000072d: SSTORE 0000072e: PUSH1 0xa0 00000730: DUP3 00000731: ADD 00000732: MLOAD 00000733: PUSH1 0x05 00000735: SWAP1 00000736: SWAP2 00000737: ADD 00000738: SSTORE 00000739: POP 0000073a: PUSH1 0x01 0000073c: PUSH1 0xa0 0000073e: PUSH1 0x02 00000740: EXP 00000741: SUB 00000742: CALLER 00000743: DUP2 00000744: AND 00000745: PUSH1 0x00 00000747: SWAP1 00000748: DUP2 00000749: MSTORE 0000074a: PUSH1 0x03 0000074c: PUSH1 0x20 0000074e: SWAP1 0000074f: DUP2 00000750: MSTORE 00000751: PUSH1 0x40 00000753: DUP1 00000754: DUP4 00000755: KECCAK256 00000756: SWAP4 00000757: DUP11 00000758: AND 00000759: DUP4 0000075a: MSTORE 0000075b: SWAP3 0000075c: SWAP1 0000075d: MSTORE 0000075e: KECCAK256 0000075f: SLOAD 00000760: PUSH2 0x076f 00000763: SWAP1 00000764: DUP6 00000765: PUSH4 0xffffffff 0000076a: PUSH2 0x0eec 0000076d: AND 0000076e: JUMP 0000076f: JUMPDEST 00000770: PUSH1 0x01 00000772: PUSH1 0xa0 00000774: PUSH1 0x02 00000776: EXP 00000777: SUB 00000778: CALLER 00000779: DUP2 0000077a: AND 0000077b: PUSH1 0x00 0000077d: DUP2 0000077e: DUP2 0000077f: MSTORE 00000780: PUSH1 0x03 00000782: PUSH1 0x20 00000784: SWAP1 00000785: DUP2 00000786: MSTORE 00000787: PUSH1 0x40 00000789: DUP1 0000078a: DUP4 0000078b: KECCAK256 0000078c: SWAP5 0000078d: DUP13 0000078e: AND 0000078f: DUP1 00000790: DUP5 00000791: MSTORE 00000792: SWAP5 00000793: DUP3 00000794: MSTORE 00000795: DUP1 00000796: DUP4 00000797: KECCAK256 00000798: SWAP6 00000799: SWAP1 0000079a: SWAP6 0000079b: SSTORE 0000079c: SWAP2 0000079d: DUP2 0000079e: MSTORE 0000079f: PUSH1 0x04 000007a1: DUP3 000007a2: MSTORE 000007a3: DUP4 000007a4: DUP2 000007a5: KECCAK256 000007a6: SWAP3 000007a7: DUP2 000007a8: MSTORE 000007a9: SWAP2 000007aa: SWAP1 000007ab: MSTORE 000007ac: KECCAK256 000007ad: SLOAD 000007ae: PUSH2 0x07bd 000007b1: SWAP1 000007b2: DUP6 000007b3: PUSH4 0xffffffff 000007b8: PUSH2 0x0efe 000007bb: AND 000007bc: JUMP 000007bd: JUMPDEST 000007be: PUSH1 0x01 000007c0: PUSH1 0xa0 000007c2: PUSH1 0x02 000007c4: EXP 000007c5: SUB 000007c6: CALLER 000007c7: DUP2 000007c8: AND 000007c9: PUSH1 0x00 000007cb: DUP2 000007cc: DUP2 000007cd: MSTORE 000007ce: PUSH1 0x04 000007d0: PUSH1 0x20 000007d2: SWAP1 000007d3: DUP2 000007d4: MSTORE 000007d5: PUSH1 0x40 000007d7: DUP1 000007d8: DUP4 000007d9: KECCAK256 000007da: DUP13 000007db: DUP7 000007dc: AND 000007dd: DUP1 000007de: DUP6 000007df: MSTORE 000007e0: SWAP3 000007e1: MSTORE 000007e2: SWAP2 000007e3: DUP3 000007e4: SWAP1 000007e5: KECCAK256 000007e6: SWAP5 000007e7: SWAP1 000007e8: SWAP5 000007e9: SSTORE 000007ea: SWAP2 000007eb: DUP9 000007ec: AND 000007ed: SWAP3 000007ee: SWAP2 000007ef: PUSH32 0x506cb18801692179462f2b7b4b6f10bea763984f94a1f1f3cd858e3a645b2329 00000810: SWAP1 00000811: DUP6 00000812: SWAP1 00000813: DUP10 00000814: SWAP1 00000815: DUP10 00000816: SWAP1 00000817: DUP10 00000818: SWAP1 00000819: TIMESTAMP 0000081a: SWAP1 0000081b: MLOAD 0000081c: DUP1 0000081d: DUP7 0000081e: DUP2 0000081f: MSTORE 00000820: PUSH1 0x20 00000822: ADD 00000823: DUP6 00000824: DUP2 00000825: MSTORE 00000826: PUSH1 0x20 00000828: ADD 00000829: DUP5 0000082a: DUP2 0000082b: MSTORE 0000082c: PUSH1 0x20 0000082e: ADD 0000082f: DUP4 00000830: DUP2 00000831: MSTORE 00000832: PUSH1 0x20 00000834: ADD 00000835: DUP3 00000836: DUP2 00000837: MSTORE 00000838: PUSH1 0x20 0000083a: ADD 0000083b: SWAP6 0000083c: POP 0000083d: POP 0000083e: POP 0000083f: POP 00000840: POP 00000841: POP 00000842: PUSH1 0x40 00000844: MLOAD 00000845: DUP1 00000846: SWAP2 00000847: SUB 00000848: SWAP1 00000849: LOG4 0000084a: SWAP6 0000084b: SWAP5 0000084c: POP 0000084d: POP 0000084e: POP 0000084f: POP 00000850: POP 00000851: JUMP 00000852: JUMPDEST 00000853: PUSH1 0x06 00000855: SLOAD 00000856: DUP2 00000857: JUMP 00000858: JUMPDEST 00000859: PUSH1 0x01 0000085b: SLOAD 0000085c: PUSH1 0x00 0000085e: SWAP1 0000085f: DUP2 00000860: SWAP1 00000861: CALLER 00000862: PUSH1 0x01 00000864: PUSH1 0xa0 00000866: PUSH1 0x02 00000868: EXP 00000869: SUB 0000086a: SWAP1 0000086b: DUP2 0000086c: AND 0000086d: SWAP2 0000086e: AND 0000086f: EQ 00000870: PUSH2 0x0878 00000873: JUMPI 00000874: PUSH1 0x00 00000876: DUP1 00000877: REVERT 00000878: JUMPDEST 00000879: DUP4 0000087a: SWAP2 0000087b: POP 0000087c: DUP2 0000087d: PUSH1 0x01 0000087f: PUSH1 0xa0 00000881: PUSH1 0x02 00000883: EXP 00000884: SUB 00000885: AND 00000886: PUSH4 0x18160ddd 0000088b: PUSH1 0x00 0000088d: PUSH1 0x40 0000088f: MLOAD 00000890: PUSH1 0x20 00000892: ADD 00000893: MSTORE 00000894: PUSH1 0x40 00000896: MLOAD 00000897: DUP2 00000898: PUSH4 0xffffffff 0000089d: AND 0000089e: PUSH1 0xe0 000008a0: PUSH1 0x02 000008a2: EXP 000008a3: MUL 000008a4: DUP2 000008a5: MSTORE 000008a6: PUSH1 0x04 000008a8: ADD 000008a9: PUSH1 0x20 000008ab: PUSH1 0x40 000008ad: MLOAD 000008ae: DUP1 000008af: DUP4 000008b0: SUB 000008b1: DUP2 000008b2: PUSH1 0x00 000008b4: DUP8 000008b5: DUP1 000008b6: EXTCODESIZE 000008b7: ISZERO 000008b8: ISZERO 000008b9: PUSH2 0x08c1 000008bc: JUMPI 000008bd: PUSH1 0x00 000008bf: DUP1 000008c0: REVERT 000008c1: JUMPDEST 000008c2: PUSH2 0x02c6 000008c5: GAS 000008c6: SUB 000008c7: CALL 000008c8: ISZERO 000008c9: ISZERO 000008ca: PUSH2 0x08d2 000008cd: JUMPI 000008ce: PUSH1 0x00 000008d0: DUP1 000008d1: REVERT 000008d2: JUMPDEST 000008d3: POP 000008d4: POP 000008d5: POP 000008d6: PUSH1 0x40 000008d8: MLOAD 000008d9: DUP1 000008da: MLOAD 000008db: SWAP2 000008dc: POP 000008dd: POP 000008de: PUSH1 0x01 000008e0: PUSH1 0xa0 000008e2: PUSH1 0x02 000008e4: EXP 000008e5: SUB 000008e6: DUP3 000008e7: AND 000008e8: PUSH4 0x095ea7b3 000008ed: DUP5 000008ee: DUP4 000008ef: PUSH1 0x00 000008f1: PUSH1 0x40 000008f3: MLOAD 000008f4: PUSH1 0x20 000008f6: ADD 000008f7: MSTORE 000008f8: PUSH1 0x40 000008fa: MLOAD 000008fb: PUSH1 0xe0 000008fd: PUSH1 0x02 000008ff: EXP 00000900: PUSH4 0xffffffff 00000905: DUP6 00000906: AND 00000907: MUL 00000908: DUP2 00000909: MSTORE 0000090a: PUSH1 0x01 0000090c: PUSH1 0xa0 0000090e: PUSH1 0x02 00000910: EXP 00000911: SUB 00000912: SWAP1 00000913: SWAP3 00000914: AND 00000915: PUSH1 0x04 00000917: DUP4 00000918: ADD 00000919: MSTORE 0000091a: PUSH1 0x24 0000091c: DUP3 0000091d: ADD 0000091e: MSTORE 0000091f: PUSH1 0x44 00000921: ADD 00000922: PUSH1 0x20 00000924: PUSH1 0x40 00000926: MLOAD 00000927: DUP1 00000928: DUP4 00000929: SUB 0000092a: DUP2 0000092b: PUSH1 0x00 0000092d: DUP8 0000092e: DUP1 0000092f: EXTCODESIZE 00000930: ISZERO 00000931: ISZERO 00000932: PUSH2 0x093a 00000935: JUMPI 00000936: PUSH1 0x00 00000938: DUP1 00000939: REVERT 0000093a: JUMPDEST 0000093b: PUSH2 0x02c6 0000093e: GAS 0000093f: SUB 00000940: CALL 00000941: ISZERO 00000942: ISZERO 00000943: PUSH2 0x094b 00000946: JUMPI 00000947: PUSH1 0x00 00000949: DUP1 0000094a: REVERT 0000094b: JUMPDEST 0000094c: POP 0000094d: POP 0000094e: POP 0000094f: PUSH1 0x40 00000951: MLOAD 00000952: DUP1 00000953: MLOAD 00000954: POP 00000955: POP 00000956: POP 00000957: POP 00000958: POP 00000959: POP 0000095a: JUMP 0000095b: JUMPDEST 0000095c: PUSH1 0x04 0000095e: PUSH1 0x20 00000960: SWAP1 00000961: DUP2 00000962: MSTORE 00000963: PUSH1 0x00 00000965: SWAP3 00000966: DUP4 00000967: MSTORE 00000968: PUSH1 0x40 0000096a: DUP1 0000096b: DUP5 0000096c: KECCAK256 0000096d: SWAP1 0000096e: SWAP2 0000096f: MSTORE 00000970: SWAP1 00000971: DUP3 00000972: MSTORE 00000973: SWAP1 00000974: KECCAK256 00000975: SLOAD 00000976: DUP2 00000977: JUMP 00000978: JUMPDEST 00000979: PUSH1 0x01 0000097b: PUSH1 0xa0 0000097d: PUSH1 0x02 0000097f: EXP 00000980: SUB 00000981: CALLER 00000982: DUP2 00000983: AND 00000984: PUSH1 0x00 00000986: SWAP1 00000987: DUP2 00000988: MSTORE 00000989: PUSH1 0x03 0000098b: PUSH1 0x20 0000098d: SWAP1 0000098e: DUP2 0000098f: MSTORE 00000990: PUSH1 0x40 00000992: DUP1 00000993: DUP4 00000994: KECCAK256 00000995: PUSH1 0x02 00000997: SLOAD 00000998: SWAP1 00000999: SWAP5 0000099a: AND 0000099b: DUP4 0000099c: MSTORE 0000099d: SWAP3 0000099e: SWAP1 0000099f: MSTORE 000009a0: KECCAK256 000009a1: SLOAD 000009a2: PUSH2 0x09b1 000009a5: SWAP1 000009a6: CALLVALUE 000009a7: PUSH4 0xffffffff 000009ac: PUSH2 0x0efe 000009af: AND 000009b0: JUMP 000009b1: JUMPDEST 000009b2: PUSH1 0x01 000009b4: PUSH1 0xa0 000009b6: PUSH1 0x02 000009b8: EXP 000009b9: SUB 000009ba: CALLER 000009bb: DUP2 000009bc: AND 000009bd: PUSH1 0x00 000009bf: DUP2 000009c0: DUP2 000009c1: MSTORE 000009c2: PUSH1 0x03 000009c4: PUSH1 0x20 000009c6: SWAP1 000009c7: DUP2 000009c8: MSTORE 000009c9: PUSH1 0x40 000009cb: DUP1 000009cc: DUP4 000009cd: KECCAK256 000009ce: PUSH1 0x02 000009d0: DUP1 000009d1: SLOAD 000009d2: DUP8 000009d3: AND 000009d4: DUP6 000009d5: MSTORE 000009d6: SWAP3 000009d7: MSTORE 000009d8: SWAP2 000009d9: DUP3 000009da: SWAP1 000009db: KECCAK256 000009dc: SWAP5 000009dd: SWAP1 000009de: SWAP5 000009df: SSTORE 000009e0: SWAP3 000009e1: SLOAD 000009e2: SWAP1 000009e3: SWAP3 000009e4: SWAP2 000009e5: AND 000009e6: SWAP1 000009e7: PUSH32 0xdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d7 00000a08: SWAP1 00000a09: CALLVALUE 00000a0a: SWAP1 00000a0b: TIMESTAMP 00000a0c: SWAP1 00000a0d: MLOAD 00000a0e: SWAP2 00000a0f: DUP3 00000a10: MSTORE 00000a11: PUSH1 0x20 00000a13: DUP3 00000a14: ADD 00000a15: MSTORE 00000a16: PUSH1 0x40 00000a18: SWAP1 00000a19: DUP2 00000a1a: ADD 00000a1b: SWAP1 00000a1c: MLOAD 00000a1d: DUP1 00000a1e: SWAP2 00000a1f: SUB 00000a20: SWAP1 00000a21: LOG3 00000a22: JUMP 00000a23: JUMPDEST 00000a24: PUSH1 0x01 00000a26: PUSH1 0xa0 00000a28: PUSH1 0x02 00000a2a: EXP 00000a2b: SUB 00000a2c: DUP1 00000a2d: DUP5 00000a2e: AND 00000a2f: PUSH1 0x00 00000a31: SWAP1 00000a32: DUP2 00000a33: MSTORE 00000a34: PUSH1 0x03 00000a36: PUSH1 0x20 00000a38: SWAP1 00000a39: DUP2 00000a3a: MSTORE 00000a3b: PUSH1 0x40 00000a3d: DUP1 00000a3e: DUP4 00000a3f: KECCAK256 00000a40: CALLER 00000a41: SWAP1 00000a42: SWAP5 00000a43: AND 00000a44: DUP4 00000a45: MSTORE 00000a46: SWAP3 00000a47: SWAP1 00000a48: MSTORE 00000a49: KECCAK256 00000a4a: SLOAD 00000a4b: PUSH2 0x0a5a 00000a4e: SWAP1 00000a4f: DUP4 00000a50: PUSH4 0xffffffff 00000a55: PUSH2 0x0efe 00000a58: AND 00000a59: JUMP 00000a5a: JUMPDEST 00000a5b: PUSH1 0x01 00000a5d: PUSH1 0xa0 00000a5f: PUSH1 0x02 00000a61: EXP 00000a62: SUB 00000a63: DUP1 00000a64: DUP6 00000a65: AND 00000a66: PUSH1 0x00 00000a68: DUP2 00000a69: DUP2 00000a6a: MSTORE 00000a6b: PUSH1 0x03 00000a6d: PUSH1 0x20 00000a6f: SWAP1 00000a70: DUP2 00000a71: MSTORE 00000a72: PUSH1 0x40 00000a74: DUP1 00000a75: DUP4 00000a76: KECCAK256 00000a77: CALLER 00000a78: SWAP1 00000a79: SWAP6 00000a7a: AND 00000a7b: DUP1 00000a7c: DUP5 00000a7d: MSTORE 00000a7e: SWAP5 00000a7f: SWAP1 00000a80: SWAP2 00000a81: MSTORE 00000a82: SWAP1 00000a83: DUP2 00000a84: SWAP1 00000a85: KECCAK256 00000a86: SWAP4 00000a87: SWAP1 00000a88: SWAP4 00000a89: SSTORE 00000a8a: SWAP2 00000a8b: PUSH32 0xdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d7 00000aac: SWAP1 00000aad: DUP6 00000aae: SWAP1 00000aaf: TIMESTAMP 00000ab0: SWAP1 00000ab1: MLOAD 00000ab2: SWAP2 00000ab3: DUP3 00000ab4: MSTORE 00000ab5: PUSH1 0x20 00000ab7: DUP3 00000ab8: ADD 00000ab9: MSTORE 00000aba: PUSH1 0x40 00000abc: SWAP1 00000abd: DUP2 00000abe: ADD 00000abf: SWAP1 00000ac0: MLOAD 00000ac1: DUP1 00000ac2: SWAP2 00000ac3: SUB 00000ac4: SWAP1 00000ac5: LOG3 00000ac6: POP 00000ac7: POP 00000ac8: POP 00000ac9: JUMP 00000aca: JUMPDEST 00000acb: PUSH1 0x03 00000acd: PUSH1 0x20 00000acf: SWAP1 00000ad0: DUP2 00000ad1: MSTORE 00000ad2: PUSH1 0x00 00000ad4: SWAP3 00000ad5: DUP4 00000ad6: MSTORE 00000ad7: PUSH1 0x40 00000ad9: DUP1 00000ada: DUP5 00000adb: KECCAK256 00000adc: SWAP1 00000add: SWAP2 00000ade: MSTORE 00000adf: SWAP1 00000ae0: DUP3 00000ae1: MSTORE 00000ae2: SWAP1 00000ae3: KECCAK256 00000ae4: SLOAD 00000ae5: DUP2 00000ae6: JUMP 00000ae7: JUMPDEST 00000ae8: PUSH1 0x01 00000aea: PUSH1 0xa0 00000aec: PUSH1 0x02 00000aee: EXP 00000aef: SUB 00000af0: DUP1 00000af1: DUP3 00000af2: AND 00000af3: PUSH1 0x00 00000af5: SWAP1 00000af6: DUP2 00000af7: MSTORE 00000af8: PUSH1 0x04 00000afa: PUSH1 0x20 00000afc: SWAP1 00000afd: DUP2 00000afe: MSTORE 00000aff: PUSH1 0x40 00000b01: DUP1 00000b02: DUP4 00000b03: KECCAK256 00000b04: SWAP4 00000b05: DUP7 00000b06: AND 00000b07: DUP4 00000b08: MSTORE 00000b09: SWAP3 00000b0a: SWAP1 00000b0b: MSTORE 00000b0c: KECCAK256 00000b0d: SLOAD 00000b0e: SWAP3 00000b0f: SWAP2 00000b10: POP 00000b11: POP 00000b12: JUMP 00000b13: JUMPDEST 00000b14: PUSH1 0x00 00000b16: SLOAD 00000b17: DUP2 00000b18: JUMP 00000b19: JUMPDEST 00000b1a: PUSH1 0x00 00000b1c: DUP1 00000b1d: PUSH1 0x00 00000b1f: PUSH1 0x06 00000b21: SLOAD 00000b22: DUP6 00000b23: GT 00000b24: ISZERO 00000b25: PUSH2 0x0b2d 00000b28: JUMPI 00000b29: PUSH1 0x00 00000b2b: DUP1 00000b2c: REVERT 00000b2d: JUMPDEST 00000b2e: PUSH1 0x05 00000b30: PUSH1 0x00 00000b32: DUP7 00000b33: DUP2 00000b34: MSTORE 00000b35: PUSH1 0x20 00000b37: ADD 00000b38: SWAP1 00000b39: DUP2 00000b3a: MSTORE 00000b3b: PUSH1 0x20 00000b3d: ADD 00000b3e: PUSH1 0x00 00000b40: KECCAK256 00000b41: SWAP3 00000b42: POP 00000b43: PUSH2 0x0b61 00000b46: DUP4 00000b47: PUSH1 0x05 00000b49: ADD 00000b4a: SLOAD 00000b4b: PUSH2 0x0605 00000b4e: DUP6 00000b4f: PUSH1 0x04 00000b51: ADD 00000b52: SLOAD 00000b53: DUP8 00000b54: PUSH2 0x0f14 00000b57: SWAP1 00000b58: SWAP2 00000b59: SWAP1 00000b5a: PUSH4 0xffffffff 00000b5f: AND 00000b60: JUMP 00000b61: JUMPDEST 00000b62: SWAP2 00000b63: POP 00000b64: DUP4 00000b65: ISZERO 00000b66: ISZERO 00000b67: PUSH2 0x0b6f 00000b6a: JUMPI 00000b6b: PUSH1 0x00 00000b6d: DUP1 00000b6e: REVERT 00000b6f: JUMPDEST 00000b70: DUP4 00000b71: DUP4 00000b72: PUSH1 0x03 00000b74: ADD 00000b75: SLOAD 00000b76: LT 00000b77: ISZERO 00000b78: PUSH2 0x0b80 00000b7b: JUMPI 00000b7c: PUSH1 0x00 00000b7e: DUP1 00000b7f: REVERT 00000b80: JUMPDEST 00000b81: DUP3 00000b82: SLOAD 00000b83: CALLER 00000b84: PUSH1 0x01 00000b86: PUSH1 0xa0 00000b88: PUSH1 0x02 00000b8a: EXP 00000b8b: SUB 00000b8c: SWAP1 00000b8d: DUP2 00000b8e: AND 00000b8f: SWAP2 00000b90: AND 00000b91: EQ 00000b92: ISZERO 00000b93: PUSH2 0x0b9b 00000b96: JUMPI 00000b97: PUSH1 0x00 00000b99: DUP1 00000b9a: REVERT 00000b9b: JUMPDEST 00000b9c: PUSH1 0x01 00000b9e: PUSH1 0xa0 00000ba0: PUSH1 0x02 00000ba2: EXP 00000ba3: SUB 00000ba4: CALLER 00000ba5: DUP2 00000ba6: AND 00000ba7: PUSH1 0x00 00000ba9: SWAP1 00000baa: DUP2 00000bab: MSTORE 00000bac: PUSH1 0x03 00000bae: PUSH1 0x20 00000bb0: SWAP1 00000bb1: DUP2 00000bb2: MSTORE 00000bb3: PUSH1 0x40 00000bb5: DUP1 00000bb6: DUP4 00000bb7: KECCAK256 00000bb8: PUSH1 0x02 00000bba: DUP9 00000bbb: ADD 00000bbc: SLOAD 00000bbd: SWAP1 00000bbe: SWAP5 00000bbf: AND 00000bc0: DUP4 00000bc1: MSTORE 00000bc2: SWAP3 00000bc3: SWAP1 00000bc4: MSTORE 00000bc5: KECCAK256 00000bc6: SLOAD 00000bc7: DUP3 00000bc8: SWAP1 00000bc9: LT 00000bca: ISZERO 00000bcb: PUSH2 0x0bd3 00000bce: JUMPI 00000bcf: PUSH1 0x00 00000bd1: DUP1 00000bd2: REVERT 00000bd3: JUMPDEST 00000bd4: PUSH1 0x00 00000bd6: SLOAD 00000bd7: PUSH2 0x0be7 00000bda: SWAP1 00000bdb: DUP6 00000bdc: SWAP1 00000bdd: PUSH4 0xffffffff 00000be2: PUSH2 0x0f38 00000be5: AND 00000be6: JUMP 00000be7: JUMPDEST 00000be8: DUP4 00000be9: SLOAD 00000bea: PUSH1 0x01 00000bec: PUSH1 0xa0 00000bee: PUSH1 0x02 00000bf0: EXP 00000bf1: SUB 00000bf2: SWAP1 00000bf3: DUP2 00000bf4: AND 00000bf5: PUSH1 0x00 00000bf7: SWAP1 00000bf8: DUP2 00000bf9: MSTORE 00000bfa: PUSH1 0x03 00000bfc: PUSH1 0x20 00000bfe: SWAP1 00000bff: DUP2 00000c00: MSTORE 00000c01: PUSH1 0x40 00000c03: DUP1 00000c04: DUP4 00000c05: KECCAK256 00000c06: PUSH1 0x02 00000c08: DUP10 00000c09: ADD 00000c0a: SLOAD 00000c0b: SWAP1 00000c0c: SWAP5 00000c0d: AND 00000c0e: DUP4 00000c0f: MSTORE 00000c10: SWAP3 00000c11: SWAP1 00000c12: MSTORE 00000c13: KECCAK256 00000c14: SLOAD 00000c15: SWAP1 00000c16: SWAP2 00000c17: POP 00000c18: PUSH2 0x0c27 00000c1b: SWAP1 00000c1c: DUP4 00000c1d: PUSH4 0xffffffff 00000c22: PUSH2 0x0efe 00000c25: AND 00000c26: JUMP 00000c27: JUMPDEST 00000c28: DUP4 00000c29: SLOAD 00000c2a: PUSH1 0x01 00000c2c: PUSH1 0xa0 00000c2e: PUSH1 0x02 00000c30: EXP 00000c31: SUB 00000c32: SWAP1 00000c33: DUP2 00000c34: AND 00000c35: PUSH1 0x00 00000c37: SWAP1 00000c38: DUP2 00000c39: MSTORE 00000c3a: PUSH1 0x03 00000c3c: PUSH1 0x20 00000c3e: DUP2 00000c3f: DUP2 00000c40: MSTORE 00000c41: PUSH1 0x40 00000c43: DUP1 00000c44: DUP5 00000c45: KECCAK256 00000c46: PUSH1 0x02 00000c48: DUP11 00000c49: ADD 00000c4a: DUP1 00000c4b: SLOAD 00000c4c: DUP8 00000c4d: AND 00000c4e: DUP7 00000c4f: MSTORE 00000c50: SWAP1 00000c51: DUP4 00000c52: MSTORE 00000c53: DUP2 00000c54: DUP6 00000c55: KECCAK256 00000c56: SWAP7 00000c57: SWAP1 00000c58: SWAP7 00000c59: SSTORE 00000c5a: CALLER 00000c5b: DUP6 00000c5c: AND 00000c5d: DUP5 00000c5e: MSTORE 00000c5f: SWAP2 00000c60: DUP2 00000c61: MSTORE 00000c62: DUP2 00000c63: DUP4 00000c64: KECCAK256 00000c65: SWAP5 00000c66: SLOAD 00000c67: SWAP1 00000c68: SWAP4 00000c69: AND 00000c6a: DUP3 00000c6b: MSTORE 00000c6c: SWAP3 00000c6d: SWAP1 00000c6e: SWAP2 00000c6f: MSTORE 00000c70: KECCAK256 00000c71: SLOAD 00000c72: PUSH2 0x0c81 00000c75: SWAP1 00000c76: DUP4 00000c77: PUSH4 0xffffffff 00000c7c: PUSH2 0x0eec 00000c7f: AND 00000c80: JUMP 00000c81: JUMPDEST 00000c82: PUSH1 0x01 00000c84: PUSH1 0xa0 00000c86: PUSH1 0x02 00000c88: EXP 00000c89: SUB 00000c8a: CALLER 00000c8b: DUP2 00000c8c: AND 00000c8d: PUSH1 0x00 00000c8f: SWAP1 00000c90: DUP2 00000c91: MSTORE 00000c92: PUSH1 0x03 00000c94: PUSH1 0x20 00000c96: SWAP1 00000c97: DUP2 00000c98: MSTORE 00000c99: PUSH1 0x40 00000c9b: DUP1 00000c9c: DUP4 00000c9d: KECCAK256 00000c9e: PUSH1 0x02 00000ca0: DUP10 00000ca1: ADD 00000ca2: SLOAD 00000ca3: DUP6 00000ca4: AND 00000ca5: DUP5 00000ca6: MSTORE 00000ca7: SWAP1 00000ca8: SWAP2 00000ca9: MSTORE 00000caa: DUP1 00000cab: DUP3 00000cac: KECCAK256 00000cad: SWAP4 00000cae: SWAP1 00000caf: SWAP4 00000cb0: SSTORE 00000cb1: PUSH1 0x01 00000cb3: DUP7 00000cb4: ADD 00000cb5: SLOAD 00000cb6: SWAP1 00000cb7: SWAP2 00000cb8: AND 00000cb9: DUP2 00000cba: MSTORE 00000cbb: KECCAK256 00000cbc: SLOAD 00000cbd: PUSH2 0x0cd8 00000cc0: SWAP1 00000cc1: DUP3 00000cc2: SWAP1 00000cc3: PUSH2 0x0ccc 00000cc6: SWAP1 00000cc7: DUP8 00000cc8: PUSH2 0x0efe 00000ccb: JUMP 00000ccc: JUMPDEST 00000ccd: SWAP1 00000cce: PUSH4 0xffffffff 00000cd3: PUSH2 0x0eec 00000cd6: AND 00000cd7: JUMP 00000cd8: JUMPDEST 00000cd9: PUSH1 0x01 00000cdb: PUSH1 0xa0 00000cdd: PUSH1 0x02 00000cdf: EXP 00000ce0: SUB 00000ce1: CALLER 00000ce2: DUP2 00000ce3: AND 00000ce4: PUSH1 0x00 00000ce6: SWAP1 00000ce7: DUP2 00000ce8: MSTORE 00000ce9: PUSH1 0x03 00000ceb: PUSH1 0x20 00000ced: DUP2 00000cee: DUP2 00000cef: MSTORE 00000cf0: PUSH1 0x40 00000cf2: DUP1 00000cf3: DUP5 00000cf4: KECCAK256 00000cf5: PUSH1 0x01 00000cf7: DUP11 00000cf8: ADD 00000cf9: DUP1 00000cfa: SLOAD 00000cfb: DUP8 00000cfc: AND 00000cfd: DUP7 00000cfe: MSTORE 00000cff: SWAP1 00000d00: DUP4 00000d01: MSTORE 00000d02: DUP2 00000d03: DUP6 00000d04: KECCAK256 00000d05: SWAP7 00000d06: SWAP1 00000d07: SWAP7 00000d08: SSTORE 00000d09: DUP9 00000d0a: SLOAD 00000d0b: DUP6 00000d0c: AND 00000d0d: DUP5 00000d0e: MSTORE 00000d0f: SWAP2 00000d10: DUP2 00000d11: MSTORE 00000d12: DUP2 00000d13: DUP4 00000d14: KECCAK256 00000d15: SWAP5 00000d16: SLOAD 00000d17: SWAP1 00000d18: SWAP4 00000d19: AND 00000d1a: DUP3 00000d1b: MSTORE 00000d1c: SWAP3 00000d1d: SWAP1 00000d1e: SWAP2 00000d1f: MSTORE 00000d20: KECCAK256 00000d21: SLOAD 00000d22: PUSH2 0x0d31 00000d25: SWAP1 00000d26: DUP3 00000d27: PUSH4 0xffffffff 00000d2c: PUSH2 0x0efe 00000d2f: AND 00000d30: JUMP 00000d31: JUMPDEST 00000d32: DUP4 00000d33: SLOAD 00000d34: PUSH1 0x01 00000d36: PUSH1 0xa0 00000d38: PUSH1 0x02 00000d3a: EXP 00000d3b: SUB 00000d3c: SWAP1 00000d3d: DUP2 00000d3e: AND 00000d3f: PUSH1 0x00 00000d41: SWAP1 00000d42: DUP2 00000d43: MSTORE 00000d44: PUSH1 0x03 00000d46: PUSH1 0x20 00000d48: SWAP1 00000d49: DUP2 00000d4a: MSTORE 00000d4b: PUSH1 0x40 00000d4d: DUP1 00000d4e: DUP4 00000d4f: KECCAK256 00000d50: PUSH1 0x01 00000d52: DUP10 00000d53: ADD 00000d54: DUP1 00000d55: SLOAD 00000d56: DUP7 00000d57: AND 00000d58: DUP6 00000d59: MSTORE 00000d5a: SWAP1 00000d5b: DUP4 00000d5c: MSTORE 00000d5d: DUP2 00000d5e: DUP5 00000d5f: KECCAK256 00000d60: SWAP6 00000d61: SWAP1 00000d62: SWAP6 00000d63: SSTORE 00000d64: DUP8 00000d65: SLOAD 00000d66: DUP5 00000d67: AND 00000d68: DUP4 00000d69: MSTORE 00000d6a: PUSH1 0x04 00000d6c: DUP3 00000d6d: MSTORE 00000d6e: DUP1 00000d6f: DUP4 00000d70: KECCAK256 00000d71: SWAP5 00000d72: SLOAD 00000d73: SWAP1 00000d74: SWAP4 00000d75: AND 00000d76: DUP3 00000d77: MSTORE 00000d78: SWAP3 00000d79: SWAP1 00000d7a: SWAP3 00000d7b: MSTORE 00000d7c: SWAP1 00000d7d: KECCAK256 00000d7e: SLOAD 00000d7f: PUSH2 0x0d8e 00000d82: SWAP1 00000d83: DUP6 00000d84: PUSH4 0xffffffff 00000d89: PUSH2 0x0eec 00000d8c: AND 00000d8d: JUMP 00000d8e: JUMPDEST 00000d8f: DUP4 00000d90: SLOAD 00000d91: PUSH1 0x01 00000d93: PUSH1 0xa0 00000d95: PUSH1 0x02 00000d97: EXP 00000d98: SUB 00000d99: SWAP1 00000d9a: DUP2 00000d9b: AND 00000d9c: PUSH1 0x00 00000d9e: SWAP1 00000d9f: DUP2 00000da0: MSTORE 00000da1: PUSH1 0x04 00000da3: PUSH1 0x20 00000da5: SWAP1 00000da6: DUP2 00000da7: MSTORE 00000da8: PUSH1 0x40 00000daa: DUP1 00000dab: DUP4 00000dac: KECCAK256 00000dad: PUSH1 0x01 00000daf: DUP10 00000db0: ADD 00000db1: SLOAD 00000db2: SWAP1 00000db3: SWAP5 00000db4: AND 00000db5: DUP4 00000db6: MSTORE 00000db7: SWAP3 00000db8: SWAP1 00000db9: MSTORE 00000dba: KECCAK256 00000dbb: SSTORE 00000dbc: PUSH1 0x03 00000dbe: DUP4 00000dbf: ADD 00000dc0: SLOAD 00000dc1: PUSH2 0x0dd0 00000dc4: SWAP1 00000dc5: DUP6 00000dc6: PUSH4 0xffffffff 00000dcb: PUSH2 0x0eec 00000dce: AND 00000dcf: JUMP 00000dd0: JUMPDEST 00000dd1: PUSH1 0x03 00000dd3: DUP5 00000dd4: ADD 00000dd5: DUP2 00000dd6: SWAP1 00000dd7: SSTORE 00000dd8: ISZERO 00000dd9: ISZERO 00000dda: PUSH2 0x0e12 00000ddd: JUMPI 00000dde: DUP5 00000ddf: PUSH32 0xeb3b41be12efa25c0c65725eeff2e2ad0250e2e5de2aa939e18f36aa656e9880 00000e00: TIMESTAMP 00000e01: PUSH1 0x40 00000e03: MLOAD 00000e04: SWAP1 00000e05: DUP2 00000e06: MSTORE 00000e07: PUSH1 0x20 00000e09: ADD 00000e0a: PUSH1 0x40 00000e0c: MLOAD 00000e0d: DUP1 00000e0e: SWAP2 00000e0f: SUB 00000e10: SWAP1 00000e11: LOG2 00000e12: JUMPDEST 00000e13: DUP3 00000e14: SLOAD 00000e15: DUP6 00000e16: SWAP1 00000e17: PUSH1 0x01 00000e19: PUSH1 0xa0 00000e1b: PUSH1 0x02 00000e1d: EXP 00000e1e: SUB 00000e1f: SWAP1 00000e20: DUP2 00000e21: AND 00000e22: SWAP1 00000e23: CALLER 00000e24: AND 00000e25: PUSH32 0xe6f814da7244d1ae6c61b54b5684858ba39cad7b9a91884be10060664987d754 00000e46: DUP8 00000e47: DUP7 00000e48: TIMESTAMP 00000e49: PUSH1 0x40 00000e4b: MLOAD 00000e4c: DUP1 00000e4d: DUP5 00000e4e: DUP2 00000e4f: MSTORE 00000e50: PUSH1 0x20 00000e52: ADD 00000e53: DUP4 00000e54: DUP2 00000e55: MSTORE 00000e56: PUSH1 0x20 00000e58: ADD 00000e59: DUP3 00000e5a: DUP2 00000e5b: MSTORE 00000e5c: PUSH1 0x20 00000e5e: ADD 00000e5f: SWAP4 00000e60: POP 00000e61: POP 00000e62: POP 00000e63: POP 00000e64: PUSH1 0x40 00000e66: MLOAD 00000e67: DUP1 00000e68: SWAP2 00000e69: SUB 00000e6a: SWAP1 00000e6b: LOG4 00000e6c: PUSH1 0x01 00000e6e: DUP4 00000e6f: ADD 00000e70: SLOAD 00000e71: DUP4 00000e72: SLOAD 00000e73: PUSH1 0x01 00000e75: PUSH1 0xa0 00000e77: PUSH1 0x02 00000e79: EXP 00000e7a: SUB 00000e7b: SWAP2 00000e7c: DUP3 00000e7d: AND 00000e7e: SWAP2 00000e7f: AND 00000e80: PUSH32 0xac476a0560d6039841f7de6a83293b862be45e3182ab744e10e048952fe7e4e3 00000ea1: DUP4 00000ea2: TIMESTAMP 00000ea3: PUSH1 0x40 00000ea5: MLOAD 00000ea6: SWAP2 00000ea7: DUP3 00000ea8: MSTORE 00000ea9: PUSH1 0x20 00000eab: DUP3 00000eac: ADD 00000ead: MSTORE 00000eae: PUSH1 0x40 00000eb0: SWAP1 00000eb1: DUP2 00000eb2: ADD 00000eb3: SWAP1 00000eb4: MLOAD 00000eb5: DUP1 00000eb6: SWAP2 00000eb7: SUB 00000eb8: SWAP1 00000eb9: LOG3 00000eba: POP 00000ebb: POP 00000ebc: POP 00000ebd: POP 00000ebe: POP 00000ebf: JUMP 00000ec0: JUMPDEST 00000ec1: PUSH1 0x01 00000ec3: PUSH1 0xa0 00000ec5: PUSH1 0x02 00000ec7: EXP 00000ec8: SUB 00000ec9: DUP1 00000eca: DUP3 00000ecb: AND 00000ecc: PUSH1 0x00 00000ece: SWAP1 00000ecf: DUP2 00000ed0: MSTORE 00000ed1: PUSH1 0x03 00000ed3: PUSH1 0x20 00000ed5: SWAP1 00000ed6: DUP2 00000ed7: MSTORE 00000ed8: PUSH1 0x40 00000eda: DUP1 00000edb: DUP4 00000edc: KECCAK256 00000edd: SWAP4 00000ede: DUP7 00000edf: AND 00000ee0: DUP4 00000ee1: MSTORE 00000ee2: SWAP3 00000ee3: SWAP1 00000ee4: MSTORE 00000ee5: KECCAK256 00000ee6: SLOAD 00000ee7: SWAP3 00000ee8: SWAP2 00000ee9: POP 00000eea: POP 00000eeb: JUMP 00000eec: JUMPDEST 00000eed: PUSH1 0x00 00000eef: DUP3 00000ef0: DUP3 00000ef1: GT 00000ef2: ISZERO 00000ef3: PUSH2 0x0ef8 00000ef6: JUMPI 00000ef7: INVALID 00000ef8: JUMPDEST 00000ef9: POP 00000efa: SWAP1 00000efb: SUB 00000efc: SWAP1 00000efd: JUMP 00000efe: JUMPDEST 00000eff: PUSH1 0x00 00000f01: DUP3 00000f02: DUP3 00000f03: ADD 00000f04: DUP4 00000f05: DUP2 00000f06: LT 00000f07: ISZERO 00000f08: PUSH2 0x0f0d 00000f0b: JUMPI 00000f0c: INVALID 00000f0d: JUMPDEST 00000f0e: SWAP4 00000f0f: SWAP3 00000f10: POP 00000f11: POP 00000f12: POP 00000f13: JUMP 00000f14: JUMPDEST 00000f15: PUSH1 0x00 00000f17: DUP3 00000f18: DUP3 00000f19: MUL 00000f1a: DUP4 00000f1b: ISZERO 00000f1c: DUP1 00000f1d: PUSH2 0x0f30 00000f20: JUMPI 00000f21: POP 00000f22: DUP3 00000f23: DUP5 00000f24: DUP3 00000f25: DUP2 00000f26: ISZERO 00000f27: ISZERO 00000f28: PUSH2 0x0f2d 00000f2b: JUMPI 00000f2c: INVALID 00000f2d: JUMPDEST 00000f2e: DIV 00000f2f: EQ 00000f30: JUMPDEST 00000f31: ISZERO 00000f32: ISZERO 00000f33: PUSH2 0x0f0d 00000f36: JUMPI 00000f37: INVALID 00000f38: JUMPDEST 00000f39: PUSH1 0x00 00000f3b: DUP1 00000f3c: DUP3 00000f3d: DUP5 00000f3e: DUP2 00000f3f: ISZERO 00000f40: ISZERO 00000f41: PUSH2 0x0f46 00000f44: JUMPI 00000f45: INVALID 00000f46: JUMPDEST 00000f47: DIV 00000f48: SWAP5 00000f49: SWAP4 00000f4a: POP 00000f4b: POP 00000f4c: POP 00000f4d: POP 00000f4e: JUMP 00000f4f: STOP 00000f50: LOG1 00000f51: PUSH6 0x627a7a723058 00000f58: KECCAK256 00000f59: UNKNOWN(0xD6) 00000f5a: UNKNOWN(0x2E) 00000f5b: PUSH18 0xe220a0e4c80ad8cdbb637e21f48caa0a7092 00000f6e: NOT 00000f6f: SWAP4 00000f70: EQ 00000f71: UNKNOWN(0xB2) 00000f72: LOG1 00000f73: UNKNOWN(0xC5) 00000f74: CALLDATALOAD 00000f75: UNKNOWN(0x0F) 00000f76: UNKNOWN(0xC9) 00000f77: UNKNOWN(0xE1) 00000f78: UNKNOWN(0xC2) 00000f79: STOP 00000f7a: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x55723a2c409a354ac26bdc5c2e72c04b8d9b22f40487114bda0793019e049d62
call_targets:
0x9462eeb9124c99731cc7617348b3937a8f00b11f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x55723a2c409a354ac26bdc5c2e72c04b8d9b22f40487114bda0793019e049d62",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9462eeb9124c99731cc7617348b3937a8f00b11f"
],
"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": "0x1e9a6950",
"selector": "0x1e9a6950",
"calldata_variants": [
"0x1e9a6950",
"0x1e9a69500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x514fcac7",
"selector": "0x514fcac7",
"calldata_variants": [
"0x514fcac7",
"0x514fcac70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x518e62db",
"selector": "0x518e62db",
"calldata_variants": [
"0x518e62db",
"0x518e62db0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6f3b60d6",
"selector": "0x6f3b60d6",
"calldata_variants": [
"0x6f3b60d6",
"0x6f3b60d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaa677354",
"selector": "0xaa677354",
"calldata_variants": [
"0xaa677354",
"0xaa6773540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xadb6f63f",
"selector": "0xadb6f63f",
"calldata_variants": [
"0xadb6f63f",
"0xadb6f63f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb60d4288",
"selector": "0xb60d4288",
"calldata_variants": [
"0xb60d4288",
"0xb60d42880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc0ee0b8a",
"selector": "0xc0ee0b8a",
"calldata_variants": [
"0xc0ee0b8a",
"0xc0ee0b8a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 861,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 981,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2247,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x55723a2c409a354ac26bdc5c2e72c04b8d9b22f40487114bda0793019e049d62
call_targets:
0x9462eeb9124c99731cc7617348b3937a8f00b11f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x55723a2c409a354ac26bdc5c2e72c04b8d9b22f40487114bda0793019e049d62",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9462eeb9124c99731cc7617348b3937a8f00b11f"
],
"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": "0x1e9a6950",
"selector": "0x1e9a6950",
"calldata_variants": [
"0x1e9a6950",
"0x1e9a69500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x514fcac7",
"selector": "0x514fcac7",
"calldata_variants": [
"0x514fcac7",
"0x514fcac70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x518e62db",
"selector": "0x518e62db",
"calldata_variants": [
"0x518e62db",
"0x518e62db0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6f3b60d6",
"selector": "0x6f3b60d6",
"calldata_variants": [
"0x6f3b60d6",
"0x6f3b60d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaa677354",
"selector": "0xaa677354",
"calldata_variants": [
"0xaa677354",
"0xaa6773540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xadb6f63f",
"selector": "0xadb6f63f",
"calldata_variants": [
"0xadb6f63f",
"0xadb6f63f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb60d4288",
"selector": "0xb60d4288",
"calldata_variants": [
"0xb60d4288",
"0xb60d42880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc0ee0b8a",
"selector": "0xc0ee0b8a",
"calldata_variants": [
"0xc0ee0b8a",
"0xc0ee0b8a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 861,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 981,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2247,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|