019b477e-b3b3-7273-bfb4-d72d64a699f1
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 |
|---|---|---|---|---|
| 22601 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22602 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 66014 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 66015 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 66016 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 66017 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0121 0000000c: JUMPI 0000000d: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002b: PUSH1 0x00 0000002d: CALLDATALOAD 0000002e: DIV 0000002f: PUSH4 0x02d05d3f 00000034: DUP2 00000035: EQ 00000036: PUSH2 0x0126 00000039: JUMPI 0000003a: DUP1 0000003b: PUSH4 0x0b967584 00000040: EQ 00000041: PUSH2 0x0157 00000044: JUMPI 00000045: DUP1 00000046: PUSH4 0x12fefa28 0000004b: EQ 0000004c: PUSH2 0x0185 0000004f: JUMPI 00000050: DUP1 00000051: PUSH4 0x24a1cd1e 00000056: EQ 00000057: PUSH2 0x01ac 0000005a: JUMPI 0000005b: DUP1 0000005c: PUSH4 0x292f2e0e 00000061: EQ 00000062: PUSH2 0x01c1 00000065: JUMPI 00000066: DUP1 00000067: PUSH4 0x36c8c5ee 0000006c: EQ 0000006d: PUSH2 0x01d6 00000070: JUMPI 00000071: DUP1 00000072: PUSH4 0x3cd86984 00000077: EQ 00000078: PUSH2 0x01f3 0000007b: JUMPI 0000007c: DUP1 0000007d: PUSH4 0x3ed2b77a 00000082: EQ 00000083: PUSH2 0x0208 00000086: JUMPI 00000087: DUP1 00000088: PUSH4 0x46057b70 0000008d: EQ 0000008e: PUSH2 0x024b 00000091: JUMPI 00000092: DUP1 00000093: PUSH4 0x4d85b8d0 00000098: EQ 00000099: PUSH2 0x0274 0000009c: JUMPI 0000009d: DUP1 0000009e: PUSH4 0x56e33cf5 000000a3: EQ 000000a4: PUSH2 0x0289 000000a7: JUMPI 000000a8: DUP1 000000a9: PUSH4 0x58644191 000000ae: EQ 000000af: PUSH2 0x029e 000000b2: JUMPI 000000b3: DUP1 000000b4: PUSH4 0x851b6ef2 000000b9: EQ 000000ba: PUSH2 0x02b3 000000bd: JUMPI 000000be: DUP1 000000bf: PUSH4 0x969177b2 000000c4: EQ 000000c5: PUSH2 0x0303 000000c8: JUMPI 000000c9: DUP1 000000ca: PUSH4 0x96affb25 000000cf: EQ 000000d0: PUSH2 0x032f 000000d3: JUMPI 000000d4: DUP1 000000d5: PUSH4 0x9dabff25 000000da: EQ 000000db: PUSH2 0x0344 000000de: JUMPI 000000df: DUP1 000000e0: PUSH4 0x9ded1817 000000e5: EQ 000000e6: PUSH2 0x0377 000000e9: JUMPI 000000ea: DUP1 000000eb: PUSH4 0xdfbf53ae 000000f0: EQ 000000f1: PUSH2 0x038c 000000f4: JUMPI 000000f5: DUP1 000000f6: PUSH4 0xe0a7b2c3 000000fb: EQ 000000fc: PUSH2 0x03a1 000000ff: JUMPI 00000100: DUP1 00000101: PUSH4 0xe16fd62e 00000106: EQ 00000107: PUSH2 0x03b6 0000010a: JUMPI 0000010b: DUP1 0000010c: PUSH4 0xe88958dc 00000111: EQ 00000112: PUSH2 0x03cb 00000115: JUMPI 00000116: DUP1 00000117: PUSH4 0xf69e739e 0000011c: EQ 0000011d: PUSH2 0x03e0 00000120: JUMPI 00000121: JUMPDEST 00000122: PUSH1 0x00 00000124: DUP1 00000125: REVERT 00000126: JUMPDEST 00000127: CALLVALUE 00000128: DUP1 00000129: ISZERO 0000012a: PUSH2 0x0132 0000012d: JUMPI 0000012e: PUSH1 0x00 00000130: DUP1 00000131: REVERT 00000132: JUMPDEST 00000133: POP 00000134: PUSH2 0x013b 00000137: PUSH2 0x0414 0000013a: JUMP 0000013b: JUMPDEST 0000013c: PUSH1 0x40 0000013e: DUP1 0000013f: MLOAD 00000140: PUSH1 0x01 00000142: PUSH1 0xa0 00000144: PUSH1 0x02 00000146: EXP 00000147: SUB 00000148: SWAP1 00000149: SWAP3 0000014a: AND 0000014b: DUP3 0000014c: MSTORE 0000014d: MLOAD 0000014e: SWAP1 0000014f: DUP2 00000150: SWAP1 00000151: SUB 00000152: PUSH1 0x20 00000154: ADD 00000155: SWAP1 00000156: RETURN 00000157: JUMPDEST 00000158: PUSH2 0x0183 0000015b: PUSH1 0x04 0000015d: DUP1 0000015e: CALLDATASIZE 0000015f: SUB 00000160: PUSH1 0x40 00000162: DUP2 00000163: LT 00000164: ISZERO 00000165: PUSH2 0x016d 00000168: JUMPI 00000169: PUSH1 0x00 0000016b: DUP1 0000016c: REVERT 0000016d: JUMPDEST 0000016e: POP 0000016f: DUP1 00000170: CALLDATALOAD 00000171: SWAP1 00000172: PUSH1 0x20 00000174: ADD 00000175: CALLDATALOAD 00000176: PUSH1 0x01 00000178: PUSH1 0xa0 0000017a: PUSH1 0x02 0000017c: EXP 0000017d: SUB 0000017e: AND 0000017f: PUSH2 0x0423 00000182: JUMP 00000183: JUMPDEST 00000184: STOP 00000185: JUMPDEST 00000186: CALLVALUE 00000187: DUP1 00000188: ISZERO 00000189: PUSH2 0x0191 0000018c: JUMPI 0000018d: PUSH1 0x00 0000018f: DUP1 00000190: REVERT 00000191: JUMPDEST 00000192: POP 00000193: PUSH2 0x019a 00000196: PUSH2 0x0479 00000199: JUMP 0000019a: JUMPDEST 0000019b: PUSH1 0x40 0000019d: DUP1 0000019e: MLOAD 0000019f: SWAP2 000001a0: DUP3 000001a1: MSTORE 000001a2: MLOAD 000001a3: SWAP1 000001a4: DUP2 000001a5: SWAP1 000001a6: SUB 000001a7: PUSH1 0x20 000001a9: ADD 000001aa: SWAP1 000001ab: RETURN 000001ac: JUMPDEST 000001ad: CALLVALUE 000001ae: DUP1 000001af: ISZERO 000001b0: PUSH2 0x01b8 000001b3: JUMPI 000001b4: PUSH1 0x00 000001b6: DUP1 000001b7: REVERT 000001b8: JUMPDEST 000001b9: POP 000001ba: PUSH2 0x019a 000001bd: PUSH2 0x047f 000001c0: JUMP 000001c1: JUMPDEST 000001c2: CALLVALUE 000001c3: DUP1 000001c4: ISZERO 000001c5: PUSH2 0x01cd 000001c8: JUMPI 000001c9: PUSH1 0x00 000001cb: DUP1 000001cc: REVERT 000001cd: JUMPDEST 000001ce: POP 000001cf: PUSH2 0x019a 000001d2: PUSH2 0x04a3 000001d5: JUMP 000001d6: JUMPDEST 000001d7: PUSH2 0x0183 000001da: PUSH1 0x04 000001dc: DUP1 000001dd: CALLDATASIZE 000001de: SUB 000001df: PUSH1 0x20 000001e1: DUP2 000001e2: LT 000001e3: ISZERO 000001e4: PUSH2 0x01ec 000001e7: JUMPI 000001e8: PUSH1 0x00 000001ea: DUP1 000001eb: REVERT 000001ec: JUMPDEST 000001ed: POP 000001ee: CALLDATALOAD 000001ef: PUSH2 0x04a9 000001f2: JUMP 000001f3: JUMPDEST 000001f4: CALLVALUE 000001f5: DUP1 000001f6: ISZERO 000001f7: PUSH2 0x01ff 000001fa: JUMPI 000001fb: PUSH1 0x00 000001fd: DUP1 000001fe: REVERT 000001ff: JUMPDEST 00000200: POP 00000201: PUSH2 0x019a 00000204: PUSH2 0x05e7 00000207: JUMP 00000208: JUMPDEST 00000209: CALLVALUE 0000020a: DUP1 0000020b: ISZERO 0000020c: PUSH2 0x0214 0000020f: JUMPI 00000210: PUSH1 0x00 00000212: DUP1 00000213: REVERT 00000214: JUMPDEST 00000215: POP 00000216: PUSH2 0x0232 00000219: PUSH1 0x04 0000021b: DUP1 0000021c: CALLDATASIZE 0000021d: SUB 0000021e: PUSH1 0x20 00000220: DUP2 00000221: LT 00000222: ISZERO 00000223: PUSH2 0x022b 00000226: JUMPI 00000227: PUSH1 0x00 00000229: DUP1 0000022a: REVERT 0000022b: JUMPDEST 0000022c: POP 0000022d: CALLDATALOAD 0000022e: PUSH2 0x05ed 00000231: JUMP 00000232: JUMPDEST 00000233: PUSH1 0x40 00000235: DUP1 00000236: MLOAD 00000237: SWAP3 00000238: DUP4 00000239: MSTORE 0000023a: PUSH1 0x20 0000023c: DUP4 0000023d: ADD 0000023e: SWAP2 0000023f: SWAP1 00000240: SWAP2 00000241: MSTORE 00000242: DUP1 00000243: MLOAD 00000244: SWAP2 00000245: DUP3 00000246: SWAP1 00000247: SUB 00000248: ADD 00000249: SWAP1 0000024a: RETURN 0000024b: JUMPDEST 0000024c: CALLVALUE 0000024d: DUP1 0000024e: ISZERO 0000024f: PUSH2 0x0257 00000252: JUMPI 00000253: PUSH1 0x00 00000255: DUP1 00000256: REVERT 00000257: JUMPDEST 00000258: POP 00000259: PUSH2 0x0260 0000025c: PUSH2 0x060c 0000025f: JUMP 00000260: JUMPDEST 00000261: PUSH1 0x40 00000263: DUP1 00000264: MLOAD 00000265: SWAP2 00000266: ISZERO 00000267: ISZERO 00000268: DUP3 00000269: MSTORE 0000026a: MLOAD 0000026b: SWAP1 0000026c: DUP2 0000026d: SWAP1 0000026e: SUB 0000026f: PUSH1 0x20 00000271: ADD 00000272: SWAP1 00000273: RETURN 00000274: JUMPDEST 00000275: CALLVALUE 00000276: DUP1 00000277: ISZERO 00000278: PUSH2 0x0280 0000027b: JUMPI 0000027c: PUSH1 0x00 0000027e: DUP1 0000027f: REVERT 00000280: JUMPDEST 00000281: POP 00000282: PUSH2 0x0260 00000285: PUSH2 0x061a 00000288: JUMP 00000289: JUMPDEST 0000028a: CALLVALUE 0000028b: DUP1 0000028c: ISZERO 0000028d: PUSH2 0x0295 00000290: JUMPI 00000291: PUSH1 0x00 00000293: DUP1 00000294: REVERT 00000295: JUMPDEST 00000296: POP 00000297: PUSH2 0x013b 0000029a: PUSH2 0x07b1 0000029d: JUMP 0000029e: JUMPDEST 0000029f: CALLVALUE 000002a0: DUP1 000002a1: ISZERO 000002a2: PUSH2 0x02aa 000002a5: JUMPI 000002a6: PUSH1 0x00 000002a8: DUP1 000002a9: REVERT 000002aa: JUMPDEST 000002ab: POP 000002ac: PUSH2 0x0260 000002af: PUSH2 0x07c0 000002b2: JUMP 000002b3: JUMPDEST 000002b4: CALLVALUE 000002b5: DUP1 000002b6: ISZERO 000002b7: PUSH2 0x02bf 000002ba: JUMPI 000002bb: PUSH1 0x00 000002bd: DUP1 000002be: REVERT 000002bf: JUMPDEST 000002c0: POP 000002c1: PUSH2 0x02c8 000002c4: PUSH2 0x07ce 000002c7: JUMP 000002c8: JUMPDEST 000002c9: PUSH1 0x40 000002cb: MLOAD 000002cc: DUP1 000002cd: DUP3 000002ce: PUSH1 0x02 000002d0: PUSH1 0x20 000002d2: MUL 000002d3: DUP1 000002d4: DUP4 000002d5: DUP4 000002d6: PUSH1 0x00 000002d8: JUMPDEST 000002d9: DUP4 000002da: DUP2 000002db: LT 000002dc: ISZERO 000002dd: PUSH2 0x02f0 000002e0: JUMPI 000002e1: DUP2 000002e2: DUP2 000002e3: ADD 000002e4: MLOAD 000002e5: DUP4 000002e6: DUP3 000002e7: ADD 000002e8: MSTORE 000002e9: PUSH1 0x20 000002eb: ADD 000002ec: PUSH2 0x02d8 000002ef: JUMP 000002f0: JUMPDEST 000002f1: POP 000002f2: POP 000002f3: POP 000002f4: POP 000002f5: SWAP1 000002f6: POP 000002f7: ADD 000002f8: SWAP2 000002f9: POP 000002fa: POP 000002fb: PUSH1 0x40 000002fd: MLOAD 000002fe: DUP1 000002ff: SWAP2 00000300: SUB 00000301: SWAP1 00000302: RETURN 00000303: JUMPDEST 00000304: CALLVALUE 00000305: DUP1 00000306: ISZERO 00000307: PUSH2 0x030f 0000030a: JUMPI 0000030b: PUSH1 0x00 0000030d: DUP1 0000030e: REVERT 0000030f: JUMPDEST 00000310: POP 00000311: PUSH2 0x0318 00000314: PUSH2 0x07f1 00000317: JUMP 00000318: JUMPDEST 00000319: PUSH1 0x40 0000031b: DUP1 0000031c: MLOAD 0000031d: PUSH2 0xffff 00000320: SWAP1 00000321: SWAP3 00000322: AND 00000323: DUP3 00000324: MSTORE 00000325: MLOAD 00000326: SWAP1 00000327: DUP2 00000328: SWAP1 00000329: SUB 0000032a: PUSH1 0x20 0000032c: ADD 0000032d: SWAP1 0000032e: RETURN 0000032f: JUMPDEST 00000330: CALLVALUE 00000331: DUP1 00000332: ISZERO 00000333: PUSH2 0x033b 00000336: JUMPI 00000337: PUSH1 0x00 00000339: DUP1 0000033a: REVERT 0000033b: JUMPDEST 0000033c: POP 0000033d: PUSH2 0x019a 00000340: PUSH2 0x0802 00000343: JUMP 00000344: JUMPDEST 00000345: CALLVALUE 00000346: DUP1 00000347: ISZERO 00000348: PUSH2 0x0350 0000034b: JUMPI 0000034c: PUSH1 0x00 0000034e: DUP1 0000034f: REVERT 00000350: JUMPDEST 00000351: POP 00000352: PUSH2 0x0183 00000355: PUSH1 0x04 00000357: DUP1 00000358: CALLDATASIZE 00000359: SUB 0000035a: PUSH1 0x20 0000035c: DUP2 0000035d: LT 0000035e: ISZERO 0000035f: PUSH2 0x0367 00000362: JUMPI 00000363: PUSH1 0x00 00000365: DUP1 00000366: REVERT 00000367: JUMPDEST 00000368: POP 00000369: CALLDATALOAD 0000036a: PUSH1 0x01 0000036c: PUSH1 0xa0 0000036e: PUSH1 0x02 00000370: EXP 00000371: SUB 00000372: AND 00000373: PUSH2 0x0808 00000376: JUMP 00000377: JUMPDEST 00000378: CALLVALUE 00000379: DUP1 0000037a: ISZERO 0000037b: PUSH2 0x0383 0000037e: JUMPI 0000037f: PUSH1 0x00 00000381: DUP1 00000382: REVERT 00000383: JUMPDEST 00000384: POP 00000385: PUSH2 0x0183 00000388: PUSH2 0x0d07 0000038b: JUMP 0000038c: JUMPDEST 0000038d: CALLVALUE 0000038e: DUP1 0000038f: ISZERO 00000390: PUSH2 0x0398 00000393: JUMPI 00000394: PUSH1 0x00 00000396: DUP1 00000397: REVERT 00000398: JUMPDEST 00000399: POP 0000039a: PUSH2 0x019a 0000039d: PUSH2 0x0db3 000003a0: JUMP 000003a1: JUMPDEST 000003a2: CALLVALUE 000003a3: DUP1 000003a4: ISZERO 000003a5: PUSH2 0x03ad 000003a8: JUMPI 000003a9: PUSH1 0x00 000003ab: DUP1 000003ac: REVERT 000003ad: JUMPDEST 000003ae: POP 000003af: PUSH2 0x0183 000003b2: PUSH2 0x0db9 000003b5: JUMP 000003b6: JUMPDEST 000003b7: CALLVALUE 000003b8: DUP1 000003b9: ISZERO 000003ba: PUSH2 0x03c2 000003bd: JUMPI 000003be: PUSH1 0x00 000003c0: DUP1 000003c1: REVERT 000003c2: JUMPDEST 000003c3: POP 000003c4: PUSH2 0x0260 000003c7: PUSH2 0x0e4c 000003ca: JUMP 000003cb: JUMPDEST 000003cc: CALLVALUE 000003cd: DUP1 000003ce: ISZERO 000003cf: PUSH2 0x03d7 000003d2: JUMPI 000003d3: PUSH1 0x00 000003d5: DUP1 000003d6: REVERT 000003d7: JUMPDEST 000003d8: POP 000003d9: PUSH2 0x0318 000003dc: PUSH2 0x0e55 000003df: JUMP 000003e0: JUMPDEST 000003e1: PUSH2 0x0183 000003e4: PUSH1 0x04 000003e6: DUP1 000003e7: CALLDATASIZE 000003e8: SUB 000003e9: PUSH1 0x60 000003eb: DUP2 000003ec: LT 000003ed: ISZERO 000003ee: PUSH2 0x03f6 000003f1: JUMPI 000003f2: PUSH1 0x00 000003f4: DUP1 000003f5: REVERT 000003f6: JUMPDEST 000003f7: POP 000003f8: DUP1 000003f9: CALLDATALOAD 000003fa: SWAP1 000003fb: PUSH1 0x01 000003fd: PUSH1 0xa0 000003ff: PUSH1 0x02 00000401: EXP 00000402: SUB 00000403: PUSH1 0x20 00000405: DUP3 00000406: ADD 00000407: CALLDATALOAD 00000408: DUP2 00000409: AND 0000040a: SWAP2 0000040b: PUSH1 0x40 0000040d: ADD 0000040e: CALLDATALOAD 0000040f: AND 00000410: PUSH2 0x0e66 00000413: JUMP 00000414: JUMPDEST 00000415: PUSH1 0x03 00000417: SLOAD 00000418: PUSH1 0x01 0000041a: PUSH1 0xa0 0000041c: PUSH1 0x02 0000041e: EXP 0000041f: SUB 00000420: AND 00000421: DUP2 00000422: JUMP 00000423: JUMPDEST 00000424: PUSH1 0x08 00000426: SLOAD 00000427: PUSH1 0xff 00000429: AND 0000042a: ISZERO 0000042b: ISZERO 0000042c: PUSH2 0x0434 0000042f: JUMPI 00000430: PUSH1 0x00 00000432: DUP1 00000433: REVERT 00000434: JUMPDEST 00000435: CALLER 00000436: PUSH1 0x00 00000438: SWAP1 00000439: DUP2 0000043a: MSTORE 0000043b: PUSH1 0x0d 0000043d: PUSH1 0x20 0000043f: MSTORE 00000440: PUSH1 0x40 00000442: SWAP1 00000443: KECCAK256 00000444: PUSH1 0x04 00000446: ADD 00000447: DUP1 00000448: SLOAD 00000449: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000045e: NOT 0000045f: AND 00000460: PUSH1 0x01 00000462: PUSH1 0xa0 00000464: PUSH1 0x02 00000466: EXP 00000467: SUB 00000468: DUP4 00000469: AND 0000046a: OR 0000046b: SWAP1 0000046c: SSTORE 0000046d: PUSH2 0x0475 00000470: DUP3 00000471: PUSH2 0x04a9 00000474: JUMP 00000475: JUMPDEST 00000476: POP 00000477: POP 00000478: JUMP 00000479: JUMPDEST 0000047a: PUSH1 0x02 0000047c: SLOAD 0000047d: DUP2 0000047e: JUMP 0000047f: JUMPDEST 00000480: PUSH1 0x00 00000482: PUSH1 0x01 00000484: SLOAD 00000485: PUSH1 0x02 00000487: SLOAD 00000488: TIMESTAMP 00000489: SUB 0000048a: PUSH3 0x0dbba0 0000048e: MUL 0000048f: DUP2 00000490: ISZERO 00000491: ISZERO 00000492: PUSH2 0x0497 00000495: JUMPI 00000496: INVALID 00000497: JUMPDEST 00000498: DIV 00000499: PUSH3 0x0f4240 0000049d: SUB 0000049e: SWAP1 0000049f: POP 000004a0: JUMPDEST 000004a1: SWAP1 000004a2: JUMP 000004a3: JUMPDEST 000004a4: PUSH1 0x01 000004a6: SLOAD 000004a7: DUP2 000004a8: JUMP 000004a9: JUMPDEST 000004aa: PUSH1 0x08 000004ac: SLOAD 000004ad: PUSH1 0xff 000004af: AND 000004b0: ISZERO 000004b1: ISZERO 000004b2: PUSH2 0x04ba 000004b5: JUMPI 000004b6: PUSH1 0x00 000004b8: DUP1 000004b9: REVERT 000004ba: JUMPDEST 000004bb: DUP1 000004bc: PUSH1 0x00 000004be: GT 000004bf: ISZERO 000004c0: DUP1 000004c1: ISZERO 000004c2: PUSH2 0x04cb 000004c5: JUMPI 000004c6: POP 000004c7: PUSH1 0x02 000004c9: DUP2 000004ca: LT 000004cb: JUMPDEST 000004cc: ISZERO 000004cd: ISZERO 000004ce: PUSH2 0x04d6 000004d1: JUMPI 000004d2: PUSH1 0x00 000004d4: DUP1 000004d5: REVERT 000004d6: JUMPDEST 000004d7: PUSH1 0x00 000004d9: CALLVALUE 000004da: GT 000004db: PUSH2 0x04e3 000004de: JUMPI 000004df: PUSH1 0x00 000004e1: DUP1 000004e2: REVERT 000004e3: JUMPDEST 000004e4: PUSH2 0x04eb 000004e7: PUSH2 0x060c 000004ea: JUMP 000004eb: JUMPDEST 000004ec: ISZERO 000004ed: PUSH2 0x04f5 000004f0: JUMPI 000004f1: PUSH1 0x00 000004f3: DUP1 000004f4: REVERT 000004f5: JUMPDEST 000004f6: PUSH1 0x00 000004f8: PUSH2 0x04ff 000004fb: PUSH2 0x047f 000004fe: JUMP 000004ff: JUMPDEST 00000500: SWAP1 00000501: POP 00000502: PUSH1 0x00 00000504: PUSH3 0x0f4240 00000508: CALLVALUE 00000509: DUP4 0000050a: MUL 0000050b: DIV 0000050c: SWAP1 0000050d: POP 0000050e: CALLVALUE 0000050f: PUSH1 0x09 00000511: DUP5 00000512: PUSH1 0x02 00000514: DUP2 00000515: LT 00000516: PUSH2 0x051b 00000519: JUMPI 0000051a: INVALID 0000051b: JUMPDEST 0000051c: PUSH1 0x02 0000051e: SWAP1 0000051f: DUP2 00000520: MUL 00000521: SWAP2 00000522: SWAP1 00000523: SWAP2 00000524: ADD 00000525: DUP1 00000526: SLOAD 00000527: SWAP1 00000528: SWAP3 00000529: ADD 0000052a: SWAP1 0000052b: SWAP2 0000052c: SSTORE 0000052d: DUP2 0000052e: SWAP1 0000052f: PUSH1 0x09 00000531: SWAP1 00000532: DUP6 00000533: SWAP1 00000534: DUP2 00000535: LT 00000536: PUSH2 0x053b 00000539: JUMPI 0000053a: INVALID 0000053b: JUMPDEST 0000053c: PUSH1 0x02 0000053e: SWAP1 0000053f: DUP2 00000540: MUL 00000541: SWAP2 00000542: SWAP1 00000543: SWAP2 00000544: ADD 00000545: PUSH1 0x01 00000547: ADD 00000548: DUP1 00000549: SLOAD 0000054a: SWAP3 0000054b: SWAP1 0000054c: SWAP3 0000054d: ADD 0000054e: SWAP1 0000054f: SWAP2 00000550: SSTORE 00000551: CALLER 00000552: PUSH1 0x00 00000554: SWAP1 00000555: DUP2 00000556: MSTORE 00000557: PUSH1 0x0d 00000559: PUSH1 0x20 0000055b: MSTORE 0000055c: PUSH1 0x40 0000055e: SWAP1 0000055f: KECCAK256 00000560: CALLVALUE 00000561: SWAP2 00000562: DUP6 00000563: SWAP1 00000564: DUP2 00000565: LT 00000566: PUSH2 0x056b 00000569: JUMPI 0000056a: INVALID 0000056b: JUMPDEST 0000056c: ADD 0000056d: DUP1 0000056e: SLOAD 0000056f: SWAP1 00000570: SWAP2 00000571: ADD 00000572: SWAP1 00000573: SSTORE 00000574: CALLER 00000575: PUSH1 0x00 00000577: SWAP1 00000578: DUP2 00000579: MSTORE 0000057a: PUSH1 0x0d 0000057c: PUSH1 0x20 0000057e: MSTORE 0000057f: PUSH1 0x40 00000581: SWAP1 00000582: KECCAK256 00000583: DUP2 00000584: SWAP1 00000585: PUSH1 0x02 00000587: SWAP1 00000588: DUP2 00000589: ADD 0000058a: SWAP1 0000058b: DUP6 0000058c: SWAP1 0000058d: DUP2 0000058e: LT 0000058f: PUSH2 0x0594 00000592: JUMPI 00000593: INVALID 00000594: JUMPDEST 00000595: ADD 00000596: DUP1 00000597: SLOAD 00000598: SWAP1 00000599: SWAP2 0000059a: ADD 0000059b: SWAP1 0000059c: SSTORE 0000059d: PUSH1 0x40 0000059f: DUP1 000005a0: MLOAD 000005a1: CALLER 000005a2: DUP2 000005a3: MSTORE 000005a4: PUSH1 0x20 000005a6: DUP2 000005a7: ADD 000005a8: DUP6 000005a9: SWAP1 000005aa: MSTORE 000005ab: CALLVALUE 000005ac: DUP2 000005ad: DUP4 000005ae: ADD 000005af: MSTORE 000005b0: PUSH1 0x60 000005b2: DUP2 000005b3: ADD 000005b4: DUP5 000005b5: SWAP1 000005b6: MSTORE 000005b7: SWAP1 000005b8: MLOAD 000005b9: PUSH32 0x93c3873974f2b228ddc4e04463f9397e8f33e3b1bc24b8d87f443e1a75929335 000005da: SWAP2 000005db: DUP2 000005dc: SWAP1 000005dd: SUB 000005de: PUSH1 0x80 000005e0: ADD 000005e1: SWAP1 000005e2: LOG1 000005e3: POP 000005e4: POP 000005e5: POP 000005e6: JUMP 000005e7: JUMPDEST 000005e8: PUSH1 0x05 000005ea: SLOAD 000005eb: DUP2 000005ec: JUMP 000005ed: JUMPDEST 000005ee: PUSH1 0x09 000005f0: DUP2 000005f1: PUSH1 0x02 000005f3: DUP2 000005f4: LT 000005f5: PUSH2 0x05fa 000005f8: JUMPI 000005f9: INVALID 000005fa: JUMPDEST 000005fb: PUSH1 0x02 000005fd: MUL 000005fe: ADD 000005ff: DUP1 00000600: SLOAD 00000601: PUSH1 0x01 00000603: SWAP1 00000604: SWAP2 00000605: ADD 00000606: SLOAD 00000607: SWAP1 00000608: SWAP2 00000609: POP 0000060a: DUP3 0000060b: JUMP 0000060c: JUMPDEST 0000060d: PUSH1 0x01 0000060f: SLOAD 00000610: PUSH1 0x02 00000612: SLOAD 00000613: TIMESTAMP 00000614: SWAP2 00000615: ADD 00000616: GT 00000617: ISZERO 00000618: SWAP1 00000619: JUMP 0000061a: JUMPDEST 0000061b: PUSH1 0x08 0000061d: SLOAD 0000061e: PUSH1 0x00 00000620: SWAP1 00000621: PUSH1 0xff 00000623: AND 00000624: ISZERO 00000625: ISZERO 00000626: PUSH2 0x062e 00000629: JUMPI 0000062a: PUSH1 0x00 0000062c: DUP1 0000062d: REVERT 0000062e: JUMPDEST 0000062f: PUSH2 0x0636 00000632: PUSH2 0x060c 00000635: JUMP 00000636: JUMPDEST 00000637: ISZERO 00000638: ISZERO 00000639: PUSH2 0x0644 0000063c: JUMPI 0000063d: POP 0000063e: PUSH1 0x00 00000640: PUSH2 0x04a0 00000643: JUMP 00000644: JUMPDEST 00000645: PUSH1 0x0b 00000647: SLOAD 00000648: PUSH1 0x09 0000064a: SLOAD 0000064b: GT 0000064c: ISZERO 0000064d: PUSH2 0x065a 00000650: JUMPI 00000651: PUSH1 0x00 00000653: PUSH1 0x07 00000655: SSTORE 00000656: PUSH2 0x0660 00000659: JUMP 0000065a: JUMPDEST 0000065b: PUSH1 0x01 0000065d: PUSH1 0x07 0000065f: SSTORE 00000660: JUMPDEST 00000661: PUSH1 0x07 00000663: SLOAD 00000664: PUSH1 0x03 00000666: SLOAD 00000667: PUSH1 0x01 00000669: SWAP2 0000066a: SWAP1 0000066b: SWAP2 0000066c: SUB 0000066d: SWAP1 0000066e: PUSH1 0x01 00000670: PUSH1 0xa0 00000672: PUSH1 0x02 00000674: EXP 00000675: SUB 00000676: DUP2 00000677: AND 00000678: SWAP1 00000679: PUSH2 0x08fc 0000067c: SWAP1 0000067d: PUSH2 0x03e8 00000680: SWAP1 00000681: PUSH1 0xa0 00000683: PUSH1 0x02 00000685: EXP 00000686: SWAP1 00000687: DIV 00000688: PUSH2 0xffff 0000068b: AND 0000068c: PUSH1 0x09 0000068e: DUP6 0000068f: PUSH1 0x02 00000691: DUP2 00000692: LT 00000693: PUSH2 0x0698 00000696: JUMPI 00000697: INVALID 00000698: JUMPDEST 00000699: PUSH1 0x02 0000069b: MUL 0000069c: ADD 0000069d: SLOAD 0000069e: MUL 0000069f: DUP2 000006a0: ISZERO 000006a1: ISZERO 000006a2: PUSH2 0x06a7 000006a5: JUMPI 000006a6: INVALID 000006a7: JUMPDEST 000006a8: DIV 000006a9: SWAP1 000006aa: DUP2 000006ab: ISZERO 000006ac: MUL 000006ad: SWAP1 000006ae: PUSH1 0x40 000006b0: MLOAD 000006b1: PUSH1 0x00 000006b3: PUSH1 0x40 000006b5: MLOAD 000006b6: DUP1 000006b7: DUP4 000006b8: SUB 000006b9: DUP2 000006ba: DUP6 000006bb: DUP9 000006bc: DUP9 000006bd: CALL 000006be: SWAP4 000006bf: POP 000006c0: POP 000006c1: POP 000006c2: POP 000006c3: ISZERO 000006c4: DUP1 000006c5: ISZERO 000006c6: PUSH2 0x06d3 000006c9: JUMPI 000006ca: RETURNDATASIZE 000006cb: PUSH1 0x00 000006cd: DUP1 000006ce: RETURNDATACOPY 000006cf: RETURNDATASIZE 000006d0: PUSH1 0x00 000006d2: REVERT 000006d3: JUMPDEST 000006d4: POP 000006d5: PUSH1 0x04 000006d7: SLOAD 000006d8: PUSH2 0x03e8 000006db: SWAP1 000006dc: PUSH1 0xa0 000006de: PUSH1 0x02 000006e0: EXP 000006e1: SWAP1 000006e2: DIV 000006e3: PUSH2 0xffff 000006e6: AND 000006e7: PUSH1 0x09 000006e9: DUP4 000006ea: PUSH1 0x02 000006ec: DUP2 000006ed: LT 000006ee: PUSH2 0x06f3 000006f1: JUMPI 000006f2: INVALID 000006f3: JUMPDEST 000006f4: PUSH1 0x02 000006f6: MUL 000006f7: ADD 000006f8: SLOAD 000006f9: MUL 000006fa: DUP2 000006fb: ISZERO 000006fc: ISZERO 000006fd: PUSH2 0x0702 00000700: JUMPI 00000701: INVALID 00000702: JUMPDEST 00000703: DIV 00000704: PUSH1 0x05 00000706: SSTORE 00000707: PUSH1 0x04 00000709: SLOAD 0000070a: PUSH1 0x03 0000070c: SLOAD 0000070d: PUSH2 0x03e8 00000710: SWAP2 00000711: PUSH2 0xffff 00000714: PUSH1 0xa0 00000716: PUSH1 0x02 00000718: EXP 00000719: SWAP2 0000071a: DUP3 0000071b: SWAP1 0000071c: DIV 0000071d: DUP2 0000071e: AND 0000071f: SWAP2 00000720: SWAP1 00000721: SWAP3 00000722: DIV 00000723: DUP3 00000724: AND 00000725: DUP4 00000726: SUB 00000727: SUB 00000728: AND 00000729: PUSH1 0x09 0000072b: DUP4 0000072c: PUSH1 0x02 0000072e: DUP2 0000072f: LT 00000730: PUSH2 0x0735 00000733: JUMPI 00000734: INVALID 00000735: JUMPDEST 00000736: PUSH1 0x02 00000738: MUL 00000739: ADD 0000073a: SLOAD 0000073b: MUL 0000073c: DUP2 0000073d: ISZERO 0000073e: ISZERO 0000073f: PUSH2 0x0744 00000742: JUMPI 00000743: INVALID 00000744: JUMPDEST 00000745: DIV 00000746: PUSH1 0x06 00000748: SSTORE 00000749: PUSH1 0x08 0000074b: DUP1 0000074c: SLOAD 0000074d: PUSH1 0xff 0000074f: NOT 00000750: AND 00000751: SWAP1 00000752: SSTORE 00000753: PUSH1 0x07 00000755: SLOAD 00000756: PUSH32 0x2227f144280fca39880d0277ffc8a63f76ea2385b3a5f034a2c61bd7de984bd2 00000777: SWAP1 00000778: PUSH1 0x09 0000077a: DUP2 0000077b: PUSH1 0x02 0000077d: DUP2 0000077e: LT 0000077f: PUSH2 0x0784 00000782: JUMPI 00000783: INVALID 00000784: JUMPDEST 00000785: PUSH1 0x02 00000787: MUL 00000788: ADD 00000789: SLOAD 0000078a: PUSH1 0x06 0000078c: SLOAD 0000078d: PUSH1 0x40 0000078f: DUP1 00000790: MLOAD 00000791: SWAP4 00000792: DUP5 00000793: MSTORE 00000794: PUSH1 0x20 00000796: DUP5 00000797: ADD 00000798: SWAP3 00000799: SWAP1 0000079a: SWAP3 0000079b: MSTORE 0000079c: DUP3 0000079d: DUP3 0000079e: ADD 0000079f: MSTORE 000007a0: MLOAD 000007a1: SWAP1 000007a2: DUP2 000007a3: SWAP1 000007a4: SUB 000007a5: PUSH1 0x60 000007a7: ADD 000007a8: SWAP1 000007a9: LOG1 000007aa: PUSH1 0x01 000007ac: SWAP2 000007ad: POP 000007ae: POP 000007af: SWAP1 000007b0: JUMP 000007b1: JUMPDEST 000007b2: PUSH1 0x04 000007b4: SLOAD 000007b5: PUSH1 0x01 000007b7: PUSH1 0xa0 000007b9: PUSH1 0x02 000007bb: EXP 000007bc: SUB 000007bd: AND 000007be: DUP2 000007bf: JUMP 000007c0: JUMPDEST 000007c1: PUSH1 0x08 000007c3: SLOAD 000007c4: PUSH2 0x0100 000007c7: SWAP1 000007c8: DIV 000007c9: PUSH1 0xff 000007cb: AND 000007cc: DUP2 000007cd: JUMP 000007ce: JUMPDEST 000007cf: PUSH2 0x07d6 000007d2: PUSH2 0x0ebe 000007d5: JUMP 000007d6: JUMPDEST 000007d7: POP 000007d8: PUSH1 0x40 000007da: DUP1 000007db: MLOAD 000007dc: DUP1 000007dd: DUP3 000007de: ADD 000007df: SWAP1 000007e0: SWAP2 000007e1: MSTORE 000007e2: PUSH1 0x09 000007e4: SLOAD 000007e5: DUP2 000007e6: MSTORE 000007e7: PUSH1 0x0b 000007e9: SLOAD 000007ea: PUSH1 0x20 000007ec: DUP3 000007ed: ADD 000007ee: MSTORE 000007ef: SWAP1 000007f0: JUMP 000007f1: JUMPDEST 000007f2: PUSH1 0x04 000007f4: SLOAD 000007f5: PUSH1 0xa0 000007f7: PUSH1 0x02 000007f9: EXP 000007fa: SWAP1 000007fb: DIV 000007fc: PUSH2 0xffff 000007ff: AND 00000800: DUP2 00000801: JUMP 00000802: JUMPDEST 00000803: PUSH1 0x06 00000805: SLOAD 00000806: DUP2 00000807: JUMP 00000808: JUMPDEST 00000809: PUSH1 0x08 0000080b: SLOAD 0000080c: PUSH1 0xff 0000080e: AND 0000080f: ISZERO 00000810: PUSH2 0x0818 00000813: JUMPI 00000814: PUSH1 0x00 00000816: DUP1 00000817: REVERT 00000818: JUMPDEST 00000819: PUSH1 0x01 0000081b: PUSH1 0xa0 0000081d: PUSH1 0x02 0000081f: EXP 00000820: SUB 00000821: DUP2 00000822: AND 00000823: PUSH1 0x00 00000825: SWAP1 00000826: DUP2 00000827: MSTORE 00000828: PUSH1 0x0d 0000082a: PUSH1 0x20 0000082c: MSTORE 0000082d: PUSH1 0x40 0000082f: DUP2 00000830: KECCAK256 00000831: PUSH1 0x07 00000833: SLOAD 00000834: PUSH1 0x02 00000836: SWAP2 00000837: DUP3 00000838: ADD 00000839: SWAP2 0000083a: DUP2 0000083b: LT 0000083c: PUSH2 0x0841 0000083f: JUMPI 00000840: INVALID 00000841: JUMPDEST 00000842: ADD 00000843: SLOAD 00000844: PUSH1 0x01 00000846: PUSH1 0xa0 00000848: PUSH1 0x02 0000084a: EXP 0000084b: SUB 0000084c: DUP4 0000084d: AND 0000084e: PUSH1 0x00 00000850: SWAP1 00000851: DUP2 00000852: MSTORE 00000853: PUSH1 0x0d 00000855: PUSH1 0x20 00000857: MSTORE 00000858: PUSH1 0x40 0000085a: DUP2 0000085b: KECCAK256 0000085c: PUSH1 0x07 0000085e: SLOAD 0000085f: SWAP3 00000860: SWAP4 00000861: POP 00000862: SWAP1 00000863: SWAP2 00000864: PUSH1 0x01 00000866: SUB 00000867: PUSH1 0x02 00000869: DUP2 0000086a: LT 0000086b: PUSH2 0x0870 0000086e: JUMPI 0000086f: INVALID 00000870: JUMPDEST 00000871: ADD 00000872: SLOAD 00000873: PUSH1 0x01 00000875: PUSH1 0xa0 00000877: PUSH1 0x02 00000879: EXP 0000087a: SUB 0000087b: DUP5 0000087c: DUP2 0000087d: AND 0000087e: PUSH1 0x00 00000880: SWAP1 00000881: DUP2 00000882: MSTORE 00000883: PUSH1 0x0d 00000885: PUSH1 0x20 00000887: MSTORE 00000888: PUSH1 0x40 0000088a: DUP2 0000088b: KECCAK256 0000088c: PUSH1 0x04 0000088e: DUP2 0000088f: ADD 00000890: SLOAD 00000891: PUSH1 0x05 00000893: SWAP1 00000894: SWAP2 00000895: ADD 00000896: SLOAD 00000897: SWAP4 00000898: SWAP5 00000899: POP 0000089a: DUP3 0000089b: AND 0000089c: SWAP3 0000089d: SWAP1 0000089e: SWAP2 0000089f: AND 000008a0: SWAP1 000008a1: DUP1 000008a2: DUP6 000008a3: GT 000008a4: ISZERO 000008a5: PUSH2 0x0b63 000008a8: JUMPI 000008a9: PUSH1 0x00 000008ab: PUSH1 0x09 000008ad: PUSH1 0x07 000008af: SLOAD 000008b0: PUSH1 0x02 000008b2: DUP2 000008b3: LT 000008b4: ISZERO 000008b5: ISZERO 000008b6: PUSH2 0x08bb 000008b9: JUMPI 000008ba: INVALID 000008bb: JUMPDEST 000008bc: PUSH1 0x02 000008be: MUL 000008bf: ADD 000008c0: PUSH1 0x01 000008c2: ADD 000008c3: SLOAD 000008c4: DUP7 000008c5: PUSH1 0x06 000008c7: SLOAD 000008c8: MUL 000008c9: DUP2 000008ca: ISZERO 000008cb: ISZERO 000008cc: PUSH2 0x08d1 000008cf: JUMPI 000008d0: INVALID 000008d1: JUMPDEST 000008d2: PUSH1 0x01 000008d4: PUSH1 0xa0 000008d6: PUSH1 0x02 000008d8: EXP 000008d9: SUB 000008da: DUP10 000008db: AND 000008dc: PUSH1 0x00 000008de: DUP2 000008df: DUP2 000008e0: MSTORE 000008e1: PUSH1 0x0d 000008e3: PUSH1 0x20 000008e5: MSTORE 000008e6: PUSH1 0x40 000008e8: SWAP1 000008e9: KECCAK256 000008ea: PUSH1 0x07 000008ec: SLOAD 000008ed: SWAP4 000008ee: SWAP1 000008ef: SWAP3 000008f0: DIV 000008f1: SWAP4 000008f2: POP 000008f3: SWAP2 000008f4: PUSH2 0x08fc 000008f7: SWAP2 000008f8: SWAP1 000008f9: PUSH1 0x02 000008fb: DUP2 000008fc: LT 000008fd: PUSH2 0x0902 00000900: JUMPI 00000901: INVALID 00000902: JUMPDEST 00000903: ADD 00000904: SLOAD 00000905: DUP4 00000906: ADD 00000907: SWAP1 00000908: DUP2 00000909: ISZERO 0000090a: MUL 0000090b: SWAP1 0000090c: PUSH1 0x40 0000090e: MLOAD 0000090f: PUSH1 0x00 00000911: PUSH1 0x40 00000913: MLOAD 00000914: DUP1 00000915: DUP4 00000916: SUB 00000917: DUP2 00000918: DUP6 00000919: DUP9 0000091a: DUP9 0000091b: CALL 0000091c: SWAP4 0000091d: POP 0000091e: POP 0000091f: POP 00000920: POP 00000921: ISZERO 00000922: DUP1 00000923: ISZERO 00000924: PUSH2 0x0931 00000927: JUMPI 00000928: RETURNDATASIZE 00000929: PUSH1 0x00 0000092b: DUP1 0000092c: RETURNDATACOPY 0000092d: RETURNDATASIZE 0000092e: PUSH1 0x00 00000930: REVERT 00000931: JUMPDEST 00000932: POP 00000933: PUSH1 0x01 00000935: PUSH1 0xa0 00000937: PUSH1 0x02 00000939: EXP 0000093a: SUB 0000093b: DUP5 0000093c: AND 0000093d: ISZERO 0000093e: PUSH2 0x09fe 00000941: JUMPI 00000942: PUSH1 0x00 00000944: DUP1 00000945: SLOAD 00000946: PUSH1 0x40 00000948: DUP1 00000949: MLOAD 0000094a: PUSH1 0xe0 0000094c: PUSH1 0x02 0000094e: EXP 0000094f: PUSH4 0x95ccf8bf 00000954: MUL 00000955: DUP2 00000956: MSTORE 00000957: PUSH1 0x01 00000959: PUSH1 0xa0 0000095b: PUSH1 0x02 0000095d: EXP 0000095e: SUB 0000095f: DUP9 00000960: DUP2 00000961: AND 00000962: PUSH1 0x04 00000964: DUP4 00000965: ADD 00000966: MSTORE 00000967: DUP12 00000968: DUP2 00000969: AND 0000096a: PUSH1 0x24 0000096c: DUP4 0000096d: ADD 0000096e: MSTORE 0000096f: SWAP2 00000970: MLOAD 00000971: PUSH1 0x02 00000973: PUSH1 0x64 00000975: DUP8 00000976: DIV 00000977: MUL 00000978: SWAP7 00000979: POP 0000097a: SWAP2 0000097b: SWAP1 0000097c: SWAP3 0000097d: AND 0000097e: SWAP3 0000097f: PUSH4 0x95ccf8bf 00000984: SWAP3 00000985: DUP7 00000986: SWAP3 00000987: PUSH1 0x44 00000989: DUP1 0000098a: DUP4 0000098b: ADD 0000098c: SWAP4 0000098d: SWAP3 0000098e: DUP3 0000098f: SWAP1 00000990: SUB 00000991: ADD 00000992: DUP2 00000993: DUP6 00000994: DUP9 00000995: DUP1 00000996: EXTCODESIZE 00000997: ISZERO 00000998: DUP1 00000999: ISZERO 0000099a: PUSH2 0x09a2 0000099d: JUMPI 0000099e: PUSH1 0x00 000009a0: DUP1 000009a1: REVERT 000009a2: JUMPDEST 000009a3: POP 000009a4: GAS 000009a5: CALL 000009a6: ISZERO 000009a7: DUP1 000009a8: ISZERO 000009a9: PUSH2 0x09b6 000009ac: JUMPI 000009ad: RETURNDATASIZE 000009ae: PUSH1 0x00 000009b0: DUP1 000009b1: RETURNDATACOPY 000009b2: RETURNDATASIZE 000009b3: PUSH1 0x00 000009b5: REVERT 000009b6: JUMPDEST 000009b7: POP 000009b8: POP 000009b9: PUSH1 0x05 000009bb: DUP1 000009bc: SLOAD 000009bd: DUP7 000009be: SWAP1 000009bf: SUB 000009c0: SWAP1 000009c1: SSTORE 000009c2: POP 000009c3: POP 000009c4: PUSH1 0x40 000009c6: DUP1 000009c7: MLOAD 000009c8: PUSH1 0x01 000009ca: PUSH1 0xa0 000009cc: PUSH1 0x02 000009ce: EXP 000009cf: SUB 000009d0: DUP1 000009d1: DUP12 000009d2: AND 000009d3: DUP3 000009d4: MSTORE 000009d5: DUP8 000009d6: AND 000009d7: PUSH1 0x20 000009d9: DUP3 000009da: ADD 000009db: MSTORE 000009dc: DUP1 000009dd: DUP3 000009de: ADD 000009df: DUP6 000009e0: SWAP1 000009e1: MSTORE 000009e2: SWAP1 000009e3: MLOAD 000009e4: PUSH1 0x00 000009e6: DUP1 000009e7: MLOAD 000009e8: PUSH1 0x20 000009ea: PUSH2 0x0eda 000009ed: DUP4 000009ee: CODECOPY 000009ef: DUP2 000009f0: MLOAD 000009f1: SWAP2 000009f2: MSTORE 000009f3: SWAP3 000009f4: POP 000009f5: SWAP1 000009f6: DUP2 000009f7: SWAP1 000009f8: SUB 000009f9: PUSH1 0x60 000009fb: ADD 000009fc: SWAP1 000009fd: LOG1 000009fe: JUMPDEST 000009ff: PUSH1 0x01 00000a01: PUSH1 0xa0 00000a03: PUSH1 0x02 00000a05: EXP 00000a06: SUB 00000a07: DUP4 00000a08: AND 00000a09: ISZERO 00000a0a: PUSH2 0x0acb 00000a0d: JUMPI 00000a0e: PUSH1 0x00 00000a10: DUP1 00000a11: SLOAD 00000a12: PUSH1 0x40 00000a14: DUP1 00000a15: MLOAD 00000a16: PUSH1 0xe0 00000a18: PUSH1 0x02 00000a1a: EXP 00000a1b: PUSH4 0x95ccf8bf 00000a20: MUL 00000a21: DUP2 00000a22: MSTORE 00000a23: PUSH1 0x01 00000a25: PUSH1 0xa0 00000a27: PUSH1 0x02 00000a29: EXP 00000a2a: SUB 00000a2b: DUP8 00000a2c: DUP2 00000a2d: AND 00000a2e: PUSH1 0x04 00000a30: DUP4 00000a31: ADD 00000a32: MSTORE 00000a33: DUP12 00000a34: DUP2 00000a35: AND 00000a36: PUSH1 0x24 00000a38: DUP4 00000a39: ADD 00000a3a: MSTORE 00000a3b: SWAP2 00000a3c: MLOAD 00000a3d: PUSH1 0x02 00000a3f: PUSH2 0x03e8 00000a42: DUP8 00000a43: DIV 00000a44: MUL 00000a45: SWAP7 00000a46: POP 00000a47: SWAP2 00000a48: SWAP1 00000a49: SWAP3 00000a4a: AND 00000a4b: SWAP3 00000a4c: PUSH4 0x95ccf8bf 00000a51: SWAP3 00000a52: DUP7 00000a53: SWAP3 00000a54: PUSH1 0x44 00000a56: DUP1 00000a57: DUP4 00000a58: ADD 00000a59: SWAP4 00000a5a: SWAP3 00000a5b: DUP3 00000a5c: SWAP1 00000a5d: SUB 00000a5e: ADD 00000a5f: DUP2 00000a60: DUP6 00000a61: DUP9 00000a62: DUP1 00000a63: EXTCODESIZE 00000a64: ISZERO 00000a65: DUP1 00000a66: ISZERO 00000a67: PUSH2 0x0a6f 00000a6a: JUMPI 00000a6b: PUSH1 0x00 00000a6d: DUP1 00000a6e: REVERT 00000a6f: JUMPDEST 00000a70: POP 00000a71: GAS 00000a72: CALL 00000a73: ISZERO 00000a74: DUP1 00000a75: ISZERO 00000a76: PUSH2 0x0a83 00000a79: JUMPI 00000a7a: RETURNDATASIZE 00000a7b: PUSH1 0x00 00000a7d: DUP1 00000a7e: RETURNDATACOPY 00000a7f: RETURNDATASIZE 00000a80: PUSH1 0x00 00000a82: REVERT 00000a83: JUMPDEST 00000a84: POP 00000a85: POP 00000a86: PUSH1 0x05 00000a88: DUP1 00000a89: SLOAD 00000a8a: DUP7 00000a8b: SWAP1 00000a8c: SUB 00000a8d: SWAP1 00000a8e: SSTORE 00000a8f: POP 00000a90: POP 00000a91: PUSH1 0x40 00000a93: DUP1 00000a94: MLOAD 00000a95: PUSH1 0x01 00000a97: PUSH1 0xa0 00000a99: PUSH1 0x02 00000a9b: EXP 00000a9c: SUB 00000a9d: DUP1 00000a9e: DUP12 00000a9f: AND 00000aa0: DUP3 00000aa1: MSTORE 00000aa2: DUP7 00000aa3: AND 00000aa4: PUSH1 0x20 00000aa6: DUP3 00000aa7: ADD 00000aa8: MSTORE 00000aa9: DUP1 00000aaa: DUP3 00000aab: ADD 00000aac: DUP6 00000aad: SWAP1 00000aae: MSTORE 00000aaf: SWAP1 00000ab0: MLOAD 00000ab1: PUSH1 0x00 00000ab3: DUP1 00000ab4: MLOAD 00000ab5: PUSH1 0x20 00000ab7: PUSH2 0x0eda 00000aba: DUP4 00000abb: CODECOPY 00000abc: DUP2 00000abd: MLOAD 00000abe: SWAP2 00000abf: MSTORE 00000ac0: SWAP3 00000ac1: POP 00000ac2: SWAP1 00000ac3: DUP2 00000ac4: SWAP1 00000ac5: SUB 00000ac6: PUSH1 0x60 00000ac8: ADD 00000ac9: SWAP1 00000aca: LOG1 00000acb: JUMPDEST 00000acc: PUSH1 0x01 00000ace: PUSH1 0xa0 00000ad0: PUSH1 0x02 00000ad2: EXP 00000ad3: SUB 00000ad4: DUP8 00000ad5: AND 00000ad6: PUSH1 0x00 00000ad8: SWAP1 00000ad9: DUP2 00000ada: MSTORE 00000adb: PUSH1 0x0d 00000add: PUSH1 0x20 00000adf: MSTORE 00000ae0: PUSH1 0x40 00000ae2: DUP2 00000ae3: KECCAK256 00000ae4: PUSH1 0x07 00000ae6: SLOAD 00000ae7: PUSH1 0x02 00000ae9: DUP2 00000aea: LT 00000aeb: PUSH2 0x0af0 00000aee: JUMPI 00000aef: INVALID 00000af0: JUMPDEST 00000af1: ADD 00000af2: SSTORE 00000af3: PUSH1 0x01 00000af5: PUSH1 0xa0 00000af7: PUSH1 0x02 00000af9: EXP 00000afa: SUB 00000afb: DUP8 00000afc: AND 00000afd: PUSH1 0x00 00000aff: SWAP1 00000b00: DUP2 00000b01: MSTORE 00000b02: PUSH1 0x0d 00000b04: PUSH1 0x20 00000b06: MSTORE 00000b07: PUSH1 0x40 00000b09: DUP2 00000b0a: KECCAK256 00000b0b: PUSH1 0x07 00000b0d: SLOAD 00000b0e: PUSH1 0x02 00000b10: SWAP2 00000b11: DUP3 00000b12: ADD 00000b13: SWAP2 00000b14: DUP2 00000b15: LT 00000b16: PUSH2 0x0b1b 00000b19: JUMPI 00000b1a: INVALID 00000b1b: JUMPDEST 00000b1c: ADD 00000b1d: SSTORE 00000b1e: PUSH1 0x40 00000b20: DUP1 00000b21: MLOAD 00000b22: PUSH1 0x01 00000b24: PUSH1 0xa0 00000b26: PUSH1 0x02 00000b28: EXP 00000b29: SUB 00000b2a: DUP10 00000b2b: AND 00000b2c: DUP2 00000b2d: MSTORE 00000b2e: PUSH1 0x20 00000b30: DUP2 00000b31: ADD 00000b32: DUP4 00000b33: SWAP1 00000b34: MSTORE 00000b35: DUP2 00000b36: MLOAD 00000b37: PUSH32 0x122e846b03a4c60f6cf271fe02a35753b67faca82f36cc27eb87aa7278496eb2 00000b58: SWAP3 00000b59: SWAP2 00000b5a: DUP2 00000b5b: SWAP1 00000b5c: SUB 00000b5d: SWAP1 00000b5e: SWAP2 00000b5f: ADD 00000b60: SWAP1 00000b61: LOG1 00000b62: POP 00000b63: JUMPDEST 00000b64: PUSH1 0x00 00000b66: DUP5 00000b67: GT 00000b68: ISZERO 00000b69: PUSH2 0x0cff 00000b6c: JUMPI 00000b6d: PUSH1 0x01 00000b6f: PUSH1 0xa0 00000b71: PUSH1 0x02 00000b73: EXP 00000b74: SUB 00000b75: DUP4 00000b76: AND 00000b77: ISZERO 00000b78: PUSH2 0x0c35 00000b7b: JUMPI 00000b7c: POP 00000b7d: PUSH1 0x00 00000b7f: DUP1 00000b80: SLOAD 00000b81: PUSH1 0x40 00000b83: DUP1 00000b84: MLOAD 00000b85: PUSH1 0xe0 00000b87: PUSH1 0x02 00000b89: EXP 00000b8a: PUSH4 0x95ccf8bf 00000b8f: MUL 00000b90: DUP2 00000b91: MSTORE 00000b92: PUSH1 0x01 00000b94: PUSH1 0xa0 00000b96: PUSH1 0x02 00000b98: EXP 00000b99: SUB 00000b9a: DUP7 00000b9b: DUP2 00000b9c: AND 00000b9d: PUSH1 0x04 00000b9f: DUP4 00000ba0: ADD 00000ba1: MSTORE 00000ba2: DUP10 00000ba3: DUP2 00000ba4: AND 00000ba5: PUSH1 0x24 00000ba7: DUP4 00000ba8: ADD 00000ba9: MSTORE 00000baa: SWAP2 00000bab: MLOAD 00000bac: PUSH1 0x64 00000bae: DUP9 00000baf: DIV 00000bb0: SWAP5 00000bb1: SWAP3 00000bb2: SWAP1 00000bb3: SWAP4 00000bb4: AND 00000bb5: SWAP3 00000bb6: PUSH4 0x95ccf8bf 00000bbb: SWAP3 00000bbc: DUP6 00000bbd: SWAP3 00000bbe: PUSH1 0x44 00000bc0: DUP1 00000bc1: DUP3 00000bc2: ADD 00000bc3: SWAP4 00000bc4: SWAP2 00000bc5: DUP3 00000bc6: SWAP1 00000bc7: SUB 00000bc8: ADD 00000bc9: DUP2 00000bca: DUP6 00000bcb: DUP9 00000bcc: DUP1 00000bcd: EXTCODESIZE 00000bce: ISZERO 00000bcf: DUP1 00000bd0: ISZERO 00000bd1: PUSH2 0x0bd9 00000bd4: JUMPI 00000bd5: PUSH1 0x00 00000bd7: DUP1 00000bd8: REVERT 00000bd9: JUMPDEST 00000bda: POP 00000bdb: GAS 00000bdc: CALL 00000bdd: ISZERO 00000bde: DUP1 00000bdf: ISZERO 00000be0: PUSH2 0x0bed 00000be3: JUMPI 00000be4: RETURNDATASIZE 00000be5: PUSH1 0x00 00000be7: DUP1 00000be8: RETURNDATACOPY 00000be9: RETURNDATASIZE 00000bea: PUSH1 0x00 00000bec: REVERT 00000bed: JUMPDEST 00000bee: POP 00000bef: POP 00000bf0: PUSH1 0x05 00000bf2: DUP1 00000bf3: SLOAD 00000bf4: DUP6 00000bf5: SWAP1 00000bf6: SUB 00000bf7: SWAP1 00000bf8: SSTORE 00000bf9: POP 00000bfa: POP 00000bfb: PUSH1 0x40 00000bfd: DUP1 00000bfe: MLOAD 00000bff: PUSH1 0x01 00000c01: PUSH1 0xa0 00000c03: PUSH1 0x02 00000c05: EXP 00000c06: SUB 00000c07: DUP1 00000c08: DUP11 00000c09: AND 00000c0a: DUP3 00000c0b: MSTORE 00000c0c: DUP7 00000c0d: AND 00000c0e: PUSH1 0x20 00000c10: DUP3 00000c11: ADD 00000c12: MSTORE 00000c13: DUP1 00000c14: DUP3 00000c15: ADD 00000c16: DUP5 00000c17: SWAP1 00000c18: MSTORE 00000c19: SWAP1 00000c1a: MLOAD 00000c1b: PUSH1 0x00 00000c1d: DUP1 00000c1e: MLOAD 00000c1f: PUSH1 0x20 00000c21: PUSH2 0x0eda 00000c24: DUP4 00000c25: CODECOPY 00000c26: DUP2 00000c27: MLOAD 00000c28: SWAP2 00000c29: MSTORE 00000c2a: SWAP3 00000c2b: POP 00000c2c: SWAP1 00000c2d: DUP2 00000c2e: SWAP1 00000c2f: SUB 00000c30: PUSH1 0x60 00000c32: ADD 00000c33: SWAP1 00000c34: LOG1 00000c35: JUMPDEST 00000c36: PUSH1 0x01 00000c38: PUSH1 0xa0 00000c3a: PUSH1 0x02 00000c3c: EXP 00000c3d: SUB 00000c3e: DUP3 00000c3f: AND 00000c40: ISZERO 00000c41: PUSH2 0x0cff 00000c44: JUMPI 00000c45: POP 00000c46: PUSH1 0x00 00000c48: DUP1 00000c49: SLOAD 00000c4a: PUSH1 0x40 00000c4c: DUP1 00000c4d: MLOAD 00000c4e: PUSH1 0xe0 00000c50: PUSH1 0x02 00000c52: EXP 00000c53: PUSH4 0x95ccf8bf 00000c58: MUL 00000c59: DUP2 00000c5a: MSTORE 00000c5b: PUSH1 0x01 00000c5d: PUSH1 0xa0 00000c5f: PUSH1 0x02 00000c61: EXP 00000c62: SUB 00000c63: DUP6 00000c64: DUP2 00000c65: AND 00000c66: PUSH1 0x04 00000c68: DUP4 00000c69: ADD 00000c6a: MSTORE 00000c6b: DUP10 00000c6c: DUP2 00000c6d: AND 00000c6e: PUSH1 0x24 00000c70: DUP4 00000c71: ADD 00000c72: MSTORE 00000c73: SWAP2 00000c74: MLOAD 00000c75: PUSH2 0x03e8 00000c78: DUP9 00000c79: DIV 00000c7a: SWAP5 00000c7b: SWAP3 00000c7c: SWAP1 00000c7d: SWAP4 00000c7e: AND 00000c7f: SWAP3 00000c80: PUSH4 0x95ccf8bf 00000c85: SWAP3 00000c86: DUP6 00000c87: SWAP3 00000c88: PUSH1 0x44 00000c8a: DUP1 00000c8b: DUP3 00000c8c: ADD 00000c8d: SWAP4 00000c8e: SWAP2 00000c8f: DUP3 00000c90: SWAP1 00000c91: SUB 00000c92: ADD 00000c93: DUP2 00000c94: DUP6 00000c95: DUP9 00000c96: DUP1 00000c97: EXTCODESIZE 00000c98: ISZERO 00000c99: DUP1 00000c9a: ISZERO 00000c9b: PUSH2 0x0ca3 00000c9e: JUMPI 00000c9f: PUSH1 0x00 00000ca1: DUP1 00000ca2: REVERT 00000ca3: JUMPDEST 00000ca4: POP 00000ca5: GAS 00000ca6: CALL 00000ca7: ISZERO 00000ca8: DUP1 00000ca9: ISZERO 00000caa: PUSH2 0x0cb7 00000cad: JUMPI 00000cae: RETURNDATASIZE 00000caf: PUSH1 0x00 00000cb1: DUP1 00000cb2: RETURNDATACOPY 00000cb3: RETURNDATASIZE 00000cb4: PUSH1 0x00 00000cb6: REVERT 00000cb7: JUMPDEST 00000cb8: POP 00000cb9: POP 00000cba: PUSH1 0x05 00000cbc: DUP1 00000cbd: SLOAD 00000cbe: DUP6 00000cbf: SWAP1 00000cc0: SUB 00000cc1: SWAP1 00000cc2: SSTORE 00000cc3: POP 00000cc4: POP 00000cc5: PUSH1 0x40 00000cc7: DUP1 00000cc8: MLOAD 00000cc9: PUSH1 0x01 00000ccb: PUSH1 0xa0 00000ccd: PUSH1 0x02 00000ccf: EXP 00000cd0: SUB 00000cd1: DUP1 00000cd2: DUP11 00000cd3: AND 00000cd4: DUP3 00000cd5: MSTORE 00000cd6: DUP6 00000cd7: AND 00000cd8: PUSH1 0x20 00000cda: DUP3 00000cdb: ADD 00000cdc: MSTORE 00000cdd: DUP1 00000cde: DUP3 00000cdf: ADD 00000ce0: DUP5 00000ce1: SWAP1 00000ce2: MSTORE 00000ce3: SWAP1 00000ce4: MLOAD 00000ce5: PUSH1 0x00 00000ce7: DUP1 00000ce8: MLOAD 00000ce9: PUSH1 0x20 00000ceb: PUSH2 0x0eda 00000cee: DUP4 00000cef: CODECOPY 00000cf0: DUP2 00000cf1: MLOAD 00000cf2: SWAP2 00000cf3: MSTORE 00000cf4: SWAP3 00000cf5: POP 00000cf6: SWAP1 00000cf7: DUP2 00000cf8: SWAP1 00000cf9: SUB 00000cfa: PUSH1 0x60 00000cfc: ADD 00000cfd: SWAP1 00000cfe: LOG1 00000cff: JUMPDEST 00000d00: POP 00000d01: POP 00000d02: POP 00000d03: POP 00000d04: POP 00000d05: POP 00000d06: JUMP 00000d07: JUMPDEST 00000d08: PUSH1 0x08 00000d0a: SLOAD 00000d0b: PUSH1 0xff 00000d0d: AND 00000d0e: ISZERO 00000d0f: PUSH2 0x0d17 00000d12: JUMPI 00000d13: PUSH1 0x00 00000d15: DUP1 00000d16: REVERT 00000d17: JUMPDEST 00000d18: PUSH1 0x00 00000d1a: PUSH1 0x05 00000d1c: SLOAD 00000d1d: GT 00000d1e: ISZERO 00000d1f: PUSH2 0x0db1 00000d22: JUMPI 00000d23: PUSH1 0x05 00000d25: DUP1 00000d26: SLOAD 00000d27: PUSH1 0x00 00000d29: SWAP2 00000d2a: DUP3 00000d2b: SWAP1 00000d2c: SSTORE 00000d2d: PUSH1 0x04 00000d2f: SLOAD 00000d30: PUSH1 0x40 00000d32: MLOAD 00000d33: SWAP2 00000d34: SWAP3 00000d35: PUSH1 0x01 00000d37: PUSH1 0xa0 00000d39: PUSH1 0x02 00000d3b: EXP 00000d3c: SUB 00000d3d: SWAP1 00000d3e: SWAP2 00000d3f: AND 00000d40: SWAP2 00000d41: DUP4 00000d42: ISZERO 00000d43: PUSH2 0x08fc 00000d46: MUL 00000d47: SWAP2 00000d48: DUP5 00000d49: SWAP2 00000d4a: SWAP1 00000d4b: DUP2 00000d4c: DUP2 00000d4d: DUP2 00000d4e: DUP6 00000d4f: DUP9 00000d50: DUP9 00000d51: CALL 00000d52: SWAP4 00000d53: POP 00000d54: POP 00000d55: POP 00000d56: POP 00000d57: ISZERO 00000d58: DUP1 00000d59: ISZERO 00000d5a: PUSH2 0x0d67 00000d5d: JUMPI 00000d5e: RETURNDATASIZE 00000d5f: PUSH1 0x00 00000d61: DUP1 00000d62: RETURNDATACOPY 00000d63: RETURNDATASIZE 00000d64: PUSH1 0x00 00000d66: REVERT 00000d67: JUMPDEST 00000d68: POP 00000d69: PUSH1 0x04 00000d6b: SLOAD 00000d6c: PUSH1 0x40 00000d6e: DUP1 00000d6f: MLOAD 00000d70: PUSH1 0x01 00000d72: PUSH1 0xa0 00000d74: PUSH1 0x02 00000d76: EXP 00000d77: SUB 00000d78: SWAP1 00000d79: SWAP3 00000d7a: AND 00000d7b: DUP3 00000d7c: MSTORE 00000d7d: PUSH1 0x20 00000d7f: DUP3 00000d80: ADD 00000d81: DUP4 00000d82: SWAP1 00000d83: MSTORE 00000d84: DUP1 00000d85: MLOAD 00000d86: PUSH32 0x0589ab4d2b794888cc8aca31418dbedd8240147e9acb641e4dbbb0eba4c2b00d 00000da7: SWAP3 00000da8: DUP2 00000da9: SWAP1 00000daa: SUB 00000dab: SWAP1 00000dac: SWAP2 00000dad: ADD 00000dae: SWAP1 00000daf: LOG1 00000db0: POP 00000db1: JUMPDEST 00000db2: JUMP 00000db3: JUMPDEST 00000db4: PUSH1 0x07 00000db6: SLOAD 00000db7: DUP2 00000db8: JUMP 00000db9: JUMPDEST 00000dba: PUSH1 0x03 00000dbc: SLOAD 00000dbd: PUSH1 0x01 00000dbf: PUSH1 0xa0 00000dc1: PUSH1 0x02 00000dc3: EXP 00000dc4: SUB 00000dc5: AND 00000dc6: CALLER 00000dc7: EQ 00000dc8: PUSH2 0x0dd0 00000dcb: JUMPI 00000dcc: PUSH1 0x00 00000dce: DUP1 00000dcf: REVERT 00000dd0: JUMPDEST 00000dd1: PUSH1 0x08 00000dd3: SLOAD 00000dd4: PUSH2 0x0100 00000dd7: SWAP1 00000dd8: DIV 00000dd9: PUSH1 0xff 00000ddb: AND 00000ddc: ISZERO 00000ddd: ISZERO 00000dde: PUSH2 0x0de6 00000de1: JUMPI 00000de2: PUSH1 0x00 00000de4: DUP1 00000de5: REVERT 00000de6: JUMPDEST 00000de7: PUSH1 0x08 00000de9: DUP1 00000dea: SLOAD 00000deb: PUSH1 0x01 00000ded: PUSH1 0xff 00000def: NOT 00000df0: SWAP1 00000df1: SWAP2 00000df2: AND 00000df3: DUP2 00000df4: OR 00000df5: PUSH2 0xff00 00000df8: NOT 00000df9: AND 00000dfa: SWAP1 00000dfb: SWAP2 00000dfc: SSTORE 00000dfd: TIMESTAMP 00000dfe: PUSH1 0x02 00000e00: SSTORE 00000e01: PUSH1 0x03 00000e03: SLOAD 00000e04: SWAP1 00000e05: SLOAD 00000e06: PUSH1 0x40 00000e08: DUP1 00000e09: MLOAD 00000e0a: PUSH1 0x01 00000e0c: PUSH1 0xa0 00000e0e: PUSH1 0x02 00000e10: EXP 00000e11: SUB 00000e12: SWAP1 00000e13: SWAP4 00000e14: AND 00000e15: DUP4 00000e16: MSTORE 00000e17: PUSH1 0x20 00000e19: DUP4 00000e1a: ADD 00000e1b: SWAP2 00000e1c: SWAP1 00000e1d: SWAP2 00000e1e: MSTORE 00000e1f: DUP1 00000e20: MLOAD 00000e21: PUSH32 0x889ebfc3811c0501f2f04a863b1c8e99851ce7716b8f706ac7073289eb7906ab 00000e42: SWAP3 00000e43: DUP2 00000e44: SWAP1 00000e45: SUB 00000e46: SWAP1 00000e47: SWAP2 00000e48: ADD 00000e49: SWAP1 00000e4a: LOG1 00000e4b: JUMP 00000e4c: JUMPDEST 00000e4d: PUSH1 0x08 00000e4f: SLOAD 00000e50: PUSH1 0xff 00000e52: AND 00000e53: DUP2 00000e54: JUMP 00000e55: JUMPDEST 00000e56: PUSH1 0x03 00000e58: SLOAD 00000e59: PUSH1 0xa0 00000e5b: PUSH1 0x02 00000e5d: EXP 00000e5e: SWAP1 00000e5f: DIV 00000e60: PUSH2 0xffff 00000e63: AND 00000e64: DUP2 00000e65: JUMP 00000e66: JUMPDEST 00000e67: PUSH1 0x08 00000e69: SLOAD 00000e6a: PUSH1 0xff 00000e6c: AND 00000e6d: ISZERO 00000e6e: ISZERO 00000e6f: PUSH2 0x0e77 00000e72: JUMPI 00000e73: PUSH1 0x00 00000e75: DUP1 00000e76: REVERT 00000e77: JUMPDEST 00000e78: CALLER 00000e79: PUSH1 0x00 00000e7b: SWAP1 00000e7c: DUP2 00000e7d: MSTORE 00000e7e: PUSH1 0x0d 00000e80: PUSH1 0x20 00000e82: MSTORE 00000e83: PUSH1 0x40 00000e85: SWAP1 00000e86: KECCAK256 00000e87: PUSH1 0x05 00000e89: ADD 00000e8a: DUP1 00000e8b: SLOAD 00000e8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ea1: NOT 00000ea2: AND 00000ea3: PUSH1 0x01 00000ea5: PUSH1 0xa0 00000ea7: PUSH1 0x02 00000ea9: EXP 00000eaa: SUB 00000eab: DUP4 00000eac: AND 00000ead: OR 00000eae: SWAP1 00000eaf: SSTORE 00000eb0: PUSH2 0x0eb9 00000eb3: DUP4 00000eb4: DUP4 00000eb5: PUSH2 0x0423 00000eb8: JUMP 00000eb9: JUMPDEST 00000eba: POP 00000ebb: POP 00000ebc: POP 00000ebd: JUMP 00000ebe: JUMPDEST 00000ebf: PUSH1 0x40 00000ec1: DUP1 00000ec2: MLOAD 00000ec3: DUP1 00000ec4: DUP3 00000ec5: ADD 00000ec6: DUP3 00000ec7: MSTORE 00000ec8: SWAP1 00000ec9: PUSH1 0x02 00000ecb: SWAP1 00000ecc: DUP3 00000ecd: SWAP1 00000ece: DUP1 00000ecf: CODESIZE 00000ed0: DUP4 00000ed1: CODECOPY 00000ed2: POP 00000ed3: SWAP2 00000ed4: SWAP3 00000ed5: SWAP2 00000ed6: POP 00000ed7: POP 00000ed8: JUMP 00000ed9: INVALID 00000eda: LOG1 00000edb: LOG0 00000edc: UNKNOWN(0xFB) 00000edd: UNKNOWN(0xCE) 00000ede: TIMESTAMP 00000edf: UNKNOWN(0xE8) 00000ee0: SHR 00000ee1: DUP3 00000ee2: UNKNOWN(0xD0) 00000ee3: EXTCODEHASH 00000ee4: SIGNEXTEND 00000ee5: UNKNOWN(0xEE) 00000ee6: UNKNOWN(0xC8) 00000ee7: DUP3 00000ee8: PUSH24 0x407740c607bd36f4218d387577e78851b1a165627a7a7230 00000f01: PC 00000f02: KECCAK256 00000f03: SDIV 00000f04: DIFFICULTY 00000f05: EXTCODESIZE 00000f06: DUP8 00000f07: UNKNOWN(0xCE) 00000f08: UNKNOWN(0xC3) 00000f09: UNKNOWN(0xC4) 00000f0a: UNKNOWN(0xDC) 00000f0b: MCOPY 00000f0c: PUSH3 0x2497f3 00000f10: SAR 00000f11: PUSH1 0x64 00000f13: JUMPI 00000f14: UNKNOWN(0x4B) 00000f15: MSTORE 00000f16: SDIV 00000f17: UNKNOWN(0xE6) 00000f18: UNKNOWN(0xAD) 00000f19: PUSH27
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x7c3de47d7ac44aba0e090ef1b8dd986116a9b65b2026ffc380d3fefdbd2fbce5
call_targets:
0x380d5563c4ee25c642e036df53b56c6233e15d11
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7c3de47d7ac44aba0e090ef1b8dd986116a9b65b2026ffc380d3fefdbd2fbce5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x380d5563c4ee25c642e036df53b56c6233e15d11"
],
"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": "0x02d05d3f",
"selector": "0x02d05d3f",
"calldata_variants": [
"0x02d05d3f",
"0x02d05d3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0b967584",
"selector": "0x0b967584",
"calldata_variants": [
"0x0b967584",
"0x0b9675840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12fefa28",
"selector": "0x12fefa28",
"calldata_variants": [
"0x12fefa28",
"0x12fefa280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24a1cd1e",
"selector": "0x24a1cd1e",
"calldata_variants": [
"0x24a1cd1e",
"0x24a1cd1e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x292f2e0e",
"selector": "0x292f2e0e",
"calldata_variants": [
"0x292f2e0e",
"0x292f2e0e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x36c8c5ee",
"selector": "0x36c8c5ee",
"calldata_variants": [
"0x36c8c5ee",
"0x36c8c5ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3cd86984",
"selector": "0x3cd86984",
"calldata_variants": [
"0x3cd86984",
"0x3cd869840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ed2b77a",
"selector": "0x3ed2b77a",
"calldata_variants": [
"0x3ed2b77a",
"0x3ed2b77a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1725,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2331,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2469,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [],
"untrusted_call_count": 7
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x7c3de47d7ac44aba0e090ef1b8dd986116a9b65b2026ffc380d3fefdbd2fbce5
call_targets:
0x380d5563c4ee25c642e036df53b56c6233e15d11
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7c3de47d7ac44aba0e090ef1b8dd986116a9b65b2026ffc380d3fefdbd2fbce5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x380d5563c4ee25c642e036df53b56c6233e15d11"
],
"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": "0x02d05d3f",
"selector": "0x02d05d3f",
"calldata_variants": [
"0x02d05d3f",
"0x02d05d3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0b967584",
"selector": "0x0b967584",
"calldata_variants": [
"0x0b967584",
"0x0b9675840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12fefa28",
"selector": "0x12fefa28",
"calldata_variants": [
"0x12fefa28",
"0x12fefa280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24a1cd1e",
"selector": "0x24a1cd1e",
"calldata_variants": [
"0x24a1cd1e",
"0x24a1cd1e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x292f2e0e",
"selector": "0x292f2e0e",
"calldata_variants": [
"0x292f2e0e",
"0x292f2e0e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x36c8c5ee",
"selector": "0x36c8c5ee",
"calldata_variants": [
"0x36c8c5ee",
"0x36c8c5ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3cd86984",
"selector": "0x3cd86984",
"calldata_variants": [
"0x3cd86984",
"0x3cd869840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ed2b77a",
"selector": "0x3ed2b77a",
"calldata_variants": [
"0x3ed2b77a",
"0x3ed2b77a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1725,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2331,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2469,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": []
}
|