019b3836-4e54-701e-a8ff-fb199436c120
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 |
|---|---|---|---|---|
| 7359 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 7360 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 109518 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 109519 | capability.graph | complete | 1 / 3 | 1 week ago |
| 109520 | detector.run | complete | 1 / 3 | 1 week ago |
| 109521 | 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: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x00b9 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x013cf08b 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00bb 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x237e9492 00000025: EQ 00000026: PUSH2 0x0128 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x39106821 00000030: EQ 00000031: PUSH2 0x0281 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x400e3949 0000003b: EQ 0000003c: PUSH2 0x0299 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x5daf08ca 00000046: EQ 00000047: PUSH2 0x02a2 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x69bd3436 00000051: EQ 00000052: PUSH2 0x032f 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x8160f0b5 0000005c: EQ 0000005d: PUSH2 0x0338 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x8da5cb5b 00000067: EQ 00000068: PUSH2 0x0341 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x9644fcbd 00000072: EQ 00000073: PUSH2 0x0353 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xaa02a90f 0000007d: EQ 0000007e: PUSH2 0x03be 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xb1050da5 00000088: EQ 00000089: PUSH2 0x03c7 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xbcca1fd3 00000093: EQ 00000094: PUSH2 0x04b5 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xd3c0715b 0000009e: EQ 0000009f: PUSH2 0x04dc 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xeceb2945 000000a9: EQ 000000aa: PUSH2 0x058d 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xf2fde38b 000000b4: EQ 000000b5: PUSH2 0x067b 000000b8: JUMPI 000000b9: JUMPDEST 000000ba: STOP 000000bb: JUMPDEST 000000bc: PUSH2 0x069c 000000bf: PUSH1 0x04 000000c1: CALLDATALOAD 000000c2: PUSH1 0x04 000000c4: DUP1 000000c5: SLOAD 000000c6: DUP3 000000c7: SWAP1 000000c8: DUP2 000000c9: LT 000000ca: ISZERO 000000cb: PUSH2 0x0002 000000ce: JUMPI 000000cf: SWAP1 000000d0: PUSH1 0x00 000000d2: MSTORE 000000d3: PUSH1 0x20 000000d5: PUSH1 0x00 000000d7: KECCAK256 000000d8: SWAP1 000000d9: PUSH1 0x0a 000000db: MUL 000000dc: ADD 000000dd: PUSH1 0x00 000000df: POP 000000e0: PUSH1 0x05 000000e2: DUP2 000000e3: ADD 000000e4: SLOAD 000000e5: DUP2 000000e6: SLOAD 000000e7: PUSH1 0x01 000000e9: DUP4 000000ea: ADD 000000eb: SLOAD 000000ec: PUSH1 0x03 000000ee: DUP5 000000ef: ADD 000000f0: SLOAD 000000f1: PUSH1 0x04 000000f3: DUP6 000000f4: ADD 000000f5: SLOAD 000000f6: PUSH1 0x06 000000f8: DUP7 000000f9: ADD 000000fa: SLOAD 000000fb: PUSH1 0x07 000000fd: DUP8 000000fe: ADD 000000ff: SLOAD 00000100: PUSH1 0x01 00000102: PUSH1 0xa0 00000104: PUSH1 0x02 00000106: EXP 00000107: SUB 00000108: SWAP6 00000109: SWAP1 0000010a: SWAP6 0000010b: AND 0000010c: SWAP8 0000010d: POP 0000010e: SWAP3 0000010f: SWAP6 00000110: PUSH1 0x02 00000112: ADD 00000113: SWAP5 00000114: SWAP2 00000115: SWAP4 00000116: PUSH1 0xff 00000118: DUP3 00000119: DUP2 0000011a: AND 0000011b: SWAP5 0000011c: PUSH2 0x0100 0000011f: SWAP1 00000120: SWAP4 00000121: DIV 00000122: AND 00000123: SWAP3 00000124: SWAP2 00000125: SWAP1 00000126: DUP10 00000127: JUMP 00000128: JUMPDEST 00000129: PUSH1 0x40 0000012b: DUP1 0000012c: MLOAD 0000012d: PUSH1 0x20 0000012f: PUSH1 0x24 00000131: DUP1 00000132: CALLDATALOAD 00000133: PUSH1 0x04 00000135: DUP2 00000136: DUP2 00000137: ADD 00000138: CALLDATALOAD 00000139: PUSH1 0x1f 0000013b: DUP2 0000013c: ADD 0000013d: DUP6 0000013e: SWAP1 0000013f: DIV 00000140: DUP6 00000141: MUL 00000142: DUP7 00000143: ADD 00000144: DUP6 00000145: ADD 00000146: SWAP1 00000147: SWAP7 00000148: MSTORE 00000149: DUP6 0000014a: DUP6 0000014b: MSTORE 0000014c: PUSH2 0x0775 0000014f: SWAP6 00000150: DUP2 00000151: CALLDATALOAD 00000152: SWAP6 00000153: SWAP2 00000154: SWAP5 00000155: PUSH1 0x44 00000157: SWAP5 00000158: SWAP3 00000159: SWAP4 0000015a: SWAP1 0000015b: SWAP3 0000015c: ADD 0000015d: SWAP2 0000015e: DUP2 0000015f: SWAP1 00000160: DUP5 00000161: ADD 00000162: DUP4 00000163: DUP3 00000164: DUP1 00000165: DUP3 00000166: DUP5 00000167: CALLDATACOPY 00000168: POP 00000169: SWAP5 0000016a: SWAP7 0000016b: POP 0000016c: POP 0000016d: POP 0000016e: POP 0000016f: POP 00000170: POP 00000171: POP 00000172: PUSH1 0x00 00000174: PUSH1 0x00 00000176: PUSH1 0x04 00000178: PUSH1 0x00 0000017a: POP 0000017b: DUP5 0000017c: DUP2 0000017d: SLOAD 0000017e: DUP2 0000017f: LT 00000180: ISZERO 00000181: PUSH2 0x0002 00000184: JUMPI 00000185: POP 00000186: SWAP1 00000187: MSTORE 00000188: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19e 000001a9: PUSH1 0x0a 000001ab: DUP5 000001ac: MUL 000001ad: SWAP1 000001ae: DUP2 000001af: ADD 000001b0: SLOAD 000001b1: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b 000001d2: SWAP1 000001d3: SWAP2 000001d4: ADD 000001d5: SWAP1 000001d6: TIMESTAMP 000001d7: LT 000001d8: DUP1 000001d9: PUSH2 0x01e6 000001dc: JUMPI 000001dd: POP 000001de: PUSH1 0x04 000001e0: DUP2 000001e1: ADD 000001e2: SLOAD 000001e3: PUSH1 0xff 000001e5: AND 000001e6: JUMPDEST 000001e7: DUP1 000001e8: PUSH2 0x0267 000001eb: JUMPI 000001ec: POP 000001ed: DUP1 000001ee: PUSH1 0x00 000001f0: ADD 000001f1: PUSH1 0x00 000001f3: SWAP1 000001f4: SLOAD 000001f5: SWAP1 000001f6: PUSH2 0x0100 000001f9: EXP 000001fa: SWAP1 000001fb: DIV 000001fc: PUSH1 0x01 000001fe: PUSH1 0xa0 00000200: PUSH1 0x02 00000202: EXP 00000203: SUB 00000204: AND 00000205: DUP2 00000206: PUSH1 0x01 00000208: ADD 00000209: PUSH1 0x00 0000020b: POP 0000020c: SLOAD 0000020d: DUP5 0000020e: PUSH1 0x40 00000210: MLOAD 00000211: DUP1 00000212: DUP5 00000213: PUSH1 0x01 00000215: PUSH1 0xa0 00000217: PUSH1 0x02 00000219: EXP 0000021a: SUB 0000021b: AND 0000021c: PUSH1 0x60 0000021e: PUSH1 0x02 00000220: EXP 00000221: MUL 00000222: DUP2 00000223: MSTORE 00000224: PUSH1 0x14 00000226: ADD 00000227: DUP4 00000228: DUP2 00000229: MSTORE 0000022a: PUSH1 0x20 0000022c: ADD 0000022d: DUP3 0000022e: DUP1 0000022f: MLOAD 00000230: SWAP1 00000231: PUSH1 0x20 00000233: ADD 00000234: SWAP1 00000235: DUP1 00000236: DUP4 00000237: DUP4 00000238: DUP3 00000239: SWAP1 0000023a: PUSH1 0x00 0000023c: PUSH1 0x04 0000023e: PUSH1 0x20 00000240: DUP5 00000241: PUSH1 0x1f 00000243: ADD 00000244: DIV 00000245: PUSH1 0x0f 00000247: MUL 00000248: PUSH1 0x03 0000024a: ADD 0000024b: CALL 0000024c: POP 0000024d: SWAP1 0000024e: POP 0000024f: ADD 00000250: SWAP4 00000251: POP 00000252: POP 00000253: POP 00000254: POP 00000255: PUSH1 0x40 00000257: MLOAD 00000258: DUP1 00000259: SWAP2 0000025a: SUB 0000025b: SWAP1 0000025c: KECCAK256 0000025d: DUP2 0000025e: PUSH1 0x07 00000260: ADD 00000261: PUSH1 0x00 00000263: POP 00000264: SLOAD 00000265: EQ 00000266: ISZERO 00000267: JUMPDEST 00000268: DUP1 00000269: PUSH2 0x0277 0000026c: JUMPI 0000026d: POP 0000026e: PUSH1 0x01 00000270: SLOAD 00000271: PUSH1 0x05 00000273: DUP3 00000274: ADD 00000275: SLOAD 00000276: LT 00000277: JUMPDEST 00000278: ISZERO 00000279: PUSH2 0x1095 0000027c: JUMPI 0000027d: PUSH2 0x0002 00000280: JUMP 00000281: JUMPDEST 00000282: PUSH2 0x0775 00000285: PUSH1 0x04 00000287: CALLDATALOAD 00000288: PUSH1 0x06 0000028a: PUSH1 0x20 0000028c: MSTORE 0000028d: PUSH1 0x00 0000028f: SWAP1 00000290: DUP2 00000291: MSTORE 00000292: PUSH1 0x40 00000294: SWAP1 00000295: KECCAK256 00000296: SLOAD 00000297: DUP2 00000298: JUMP 00000299: JUMPDEST 0000029a: PUSH2 0x0775 0000029d: PUSH1 0x05 0000029f: SLOAD 000002a0: DUP2 000002a1: JUMP 000002a2: JUMPDEST 000002a3: PUSH2 0x0787 000002a6: PUSH1 0x04 000002a8: CALLDATALOAD 000002a9: PUSH1 0x07 000002ab: DUP1 000002ac: SLOAD 000002ad: DUP3 000002ae: SWAP1 000002af: DUP2 000002b0: LT 000002b1: ISZERO 000002b2: PUSH2 0x0002 000002b5: JUMPI 000002b6: POP 000002b7: PUSH1 0x00 000002b9: MSTORE 000002ba: PUSH1 0x03 000002bc: MUL 000002bd: PUSH1 0x00 000002bf: DUP1 000002c0: MLOAD 000002c1: PUSH1 0x20 000002c3: PUSH2 0x11d3 000002c6: DUP4 000002c7: CODECOPY 000002c8: DUP2 000002c9: MLOAD 000002ca: SWAP2 000002cb: MSTORE 000002cc: DUP2 000002cd: ADD 000002ce: SLOAD 000002cf: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c68a 000002f0: DUP3 000002f1: ADD 000002f2: SLOAD 000002f3: PUSH1 0x01 000002f5: PUSH1 0xa0 000002f7: PUSH1 0x02 000002f9: EXP 000002fa: SUB 000002fb: DUP3 000002fc: AND 000002fd: SWAP3 000002fe: PUSH1 0xa0 00000300: PUSH1 0x02 00000302: EXP 00000303: SWAP1 00000304: SWAP3 00000305: DIV 00000306: PUSH1 0xff 00000308: AND 00000309: SWAP2 0000030a: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c689 0000032b: ADD 0000032c: SWAP1 0000032d: DUP5 0000032e: JUMP 0000032f: JUMPDEST 00000330: PUSH2 0x0775 00000333: PUSH1 0x02 00000335: SLOAD 00000336: DUP2 00000337: JUMP 00000338: JUMPDEST 00000339: PUSH2 0x0775 0000033c: PUSH1 0x01 0000033e: SLOAD 0000033f: DUP2 00000340: JUMP 00000341: JUMPDEST 00000342: PUSH2 0x0830 00000345: PUSH1 0x00 00000347: SLOAD 00000348: PUSH1 0x01 0000034a: PUSH1 0xa0 0000034c: PUSH1 0x02 0000034e: EXP 0000034f: SUB 00000350: AND 00000351: DUP2 00000352: JUMP 00000353: JUMPDEST 00000354: PUSH1 0x40 00000356: DUP1 00000357: MLOAD 00000358: PUSH1 0x20 0000035a: PUSH1 0x44 0000035c: CALLDATALOAD 0000035d: PUSH1 0x04 0000035f: DUP2 00000360: DUP2 00000361: ADD 00000362: CALLDATALOAD 00000363: PUSH1 0x1f 00000365: DUP2 00000366: ADD 00000367: DUP5 00000368: SWAP1 00000369: DIV 0000036a: DUP5 0000036b: MUL 0000036c: DUP6 0000036d: ADD 0000036e: DUP5 0000036f: ADD 00000370: SWAP1 00000371: SWAP6 00000372: MSTORE 00000373: DUP5 00000374: DUP5 00000375: MSTORE 00000376: PUSH2 0x00b9 00000379: SWAP5 0000037a: DUP2 0000037b: CALLDATALOAD 0000037c: SWAP5 0000037d: PUSH1 0x24 0000037f: DUP1 00000380: CALLDATALOAD 00000381: SWAP6 00000382: SWAP4 00000383: SWAP5 00000384: PUSH1 0x64 00000386: SWAP5 00000387: SWAP3 00000388: SWAP4 00000389: SWAP2 0000038a: ADD 0000038b: SWAP2 0000038c: DUP2 0000038d: SWAP1 0000038e: DUP5 0000038f: ADD 00000390: DUP4 00000391: DUP3 00000392: DUP1 00000393: DUP3 00000394: DUP5 00000395: CALLDATACOPY 00000396: POP 00000397: SWAP5 00000398: SWAP7 00000399: POP 0000039a: POP 0000039b: POP 0000039c: POP 0000039d: POP 0000039e: POP 0000039f: POP 000003a0: PUSH1 0x00 000003a2: DUP1 000003a3: SLOAD 000003a4: DUP2 000003a5: SWAP1 000003a6: PUSH1 0x01 000003a8: PUSH1 0xa0 000003aa: PUSH1 0x02 000003ac: EXP 000003ad: SUB 000003ae: SWAP1 000003af: DUP2 000003b0: AND 000003b1: CALLER 000003b2: SWAP1 000003b3: SWAP2 000003b4: AND 000003b5: EQ 000003b6: PUSH2 0x0862 000003b9: JUMPI 000003ba: PUSH2 0x0002 000003bd: JUMP 000003be: JUMPDEST 000003bf: PUSH2 0x0775 000003c2: PUSH1 0x03 000003c4: SLOAD 000003c5: DUP2 000003c6: JUMP 000003c7: JUMPDEST 000003c8: PUSH1 0x40 000003ca: DUP1 000003cb: MLOAD 000003cc: PUSH1 0x20 000003ce: PUSH1 0x44 000003d0: CALLDATALOAD 000003d1: PUSH1 0x04 000003d3: DUP2 000003d4: DUP2 000003d5: ADD 000003d6: CALLDATALOAD 000003d7: PUSH1 0x1f 000003d9: DUP2 000003da: ADD 000003db: DUP5 000003dc: SWAP1 000003dd: DIV 000003de: DUP5 000003df: MUL 000003e0: DUP6 000003e1: ADD 000003e2: DUP5 000003e3: ADD 000003e4: SWAP1 000003e5: SWAP6 000003e6: MSTORE 000003e7: DUP5 000003e8: DUP5 000003e9: MSTORE 000003ea: PUSH2 0x0775 000003ed: SWAP5 000003ee: DUP2 000003ef: CALLDATALOAD 000003f0: SWAP5 000003f1: PUSH1 0x24 000003f3: DUP1 000003f4: CALLDATALOAD 000003f5: SWAP6 000003f6: SWAP4 000003f7: SWAP5 000003f8: PUSH1 0x64 000003fa: SWAP5 000003fb: SWAP3 000003fc: SWAP4 000003fd: SWAP2 000003fe: ADD 000003ff: SWAP2 00000400: DUP2 00000401: SWAP1 00000402: DUP5 00000403: ADD 00000404: DUP4 00000405: DUP3 00000406: DUP1 00000407: DUP3 00000408: DUP5 00000409: CALLDATACOPY 0000040a: POP 0000040b: POP 0000040c: PUSH1 0x40 0000040e: DUP1 0000040f: MLOAD 00000410: PUSH1 0x20 00000412: SWAP8 00000413: CALLDATALOAD 00000414: DUP1 00000415: DUP11 00000416: ADD 00000417: CALLDATALOAD 00000418: PUSH1 0x1f 0000041a: DUP2 0000041b: ADD 0000041c: DUP11 0000041d: SWAP1 0000041e: DIV 0000041f: DUP11 00000420: MUL 00000421: DUP4 00000422: ADD 00000423: DUP11 00000424: ADD 00000425: SWAP1 00000426: SWAP4 00000427: MSTORE 00000428: DUP3 00000429: DUP3 0000042a: MSTORE 0000042b: SWAP7 0000042c: SWAP9 0000042d: SWAP8 0000042e: PUSH1 0x84 00000430: SWAP8 00000431: SWAP2 00000432: SWAP7 00000433: POP 00000434: PUSH1 0x24 00000436: SWAP1 00000437: SWAP2 00000438: ADD 00000439: SWAP5 0000043a: POP 0000043b: SWAP1 0000043c: SWAP3 0000043d: POP 0000043e: DUP3 0000043f: SWAP2 00000440: POP 00000441: DUP5 00000442: ADD 00000443: DUP4 00000444: DUP3 00000445: DUP1 00000446: DUP3 00000447: DUP5 00000448: CALLDATACOPY 00000449: POP 0000044a: SWAP5 0000044b: SWAP7 0000044c: POP 0000044d: POP 0000044e: POP 0000044f: POP 00000450: POP 00000451: POP 00000452: POP 00000453: CALLER 00000454: PUSH1 0x01 00000456: PUSH1 0xa0 00000458: PUSH1 0x02 0000045a: EXP 0000045b: SUB 0000045c: AND 0000045d: PUSH1 0x00 0000045f: SWAP1 00000460: DUP2 00000461: MSTORE 00000462: PUSH1 0x06 00000464: PUSH1 0x20 00000466: MSTORE 00000467: PUSH1 0x40 00000469: DUP2 0000046a: KECCAK256 0000046b: SLOAD 0000046c: DUP2 0000046d: SWAP1 0000046e: DUP2 0000046f: EQ 00000470: DUP1 00000471: PUSH2 0x04ab 00000474: JUMPI 00000475: POP 00000476: PUSH1 0x40 00000478: DUP2 00000479: KECCAK256 0000047a: SLOAD 0000047b: PUSH1 0x07 0000047d: DUP1 0000047e: SLOAD 0000047f: SWAP1 00000480: SWAP2 00000481: SWAP1 00000482: DUP2 00000483: LT 00000484: ISZERO 00000485: PUSH2 0x0002 00000488: JUMPI 00000489: SWAP1 0000048a: DUP3 0000048b: MSTORE 0000048c: PUSH1 0x03 0000048e: MUL 0000048f: PUSH1 0x00 00000491: DUP1 00000492: MLOAD 00000493: PUSH1 0x20 00000495: PUSH2 0x11d3 00000498: DUP4 00000499: CODECOPY 0000049a: DUP2 0000049b: MLOAD 0000049c: SWAP2 0000049d: MSTORE 0000049e: ADD 0000049f: SLOAD 000004a0: PUSH1 0xa0 000004a2: PUSH1 0x02 000004a4: EXP 000004a5: SWAP1 000004a6: DIV 000004a7: PUSH1 0xff 000004a9: AND 000004aa: ISZERO 000004ab: JUMPDEST 000004ac: ISZERO 000004ad: PUSH2 0x0cfd 000004b0: JUMPI 000004b1: PUSH2 0x0002 000004b4: JUMP 000004b5: JUMPDEST 000004b6: PUSH2 0x00b9 000004b9: PUSH1 0x04 000004bb: CALLDATALOAD 000004bc: PUSH1 0x24 000004be: CALLDATALOAD 000004bf: PUSH1 0x44 000004c1: CALLDATALOAD 000004c2: PUSH1 0x00 000004c4: SLOAD 000004c5: CALLER 000004c6: PUSH1 0x01 000004c8: PUSH1 0xa0 000004ca: PUSH1 0x02 000004cc: EXP 000004cd: SUB 000004ce: SWAP1 000004cf: DUP2 000004d0: AND 000004d1: SWAP2 000004d2: AND 000004d3: EQ 000004d4: PUSH2 0x0b30 000004d7: JUMPI 000004d8: PUSH2 0x0002 000004db: JUMP 000004dc: JUMPDEST 000004dd: PUSH1 0x40 000004df: DUP1 000004e0: MLOAD 000004e1: PUSH1 0x20 000004e3: PUSH1 0x44 000004e5: CALLDATALOAD 000004e6: PUSH1 0x04 000004e8: DUP2 000004e9: DUP2 000004ea: ADD 000004eb: CALLDATALOAD 000004ec: PUSH1 0x1f 000004ee: DUP2 000004ef: ADD 000004f0: DUP5 000004f1: SWAP1 000004f2: DIV 000004f3: DUP5 000004f4: MUL 000004f5: DUP6 000004f6: ADD 000004f7: DUP5 000004f8: ADD 000004f9: SWAP1 000004fa: SWAP6 000004fb: MSTORE 000004fc: DUP5 000004fd: DUP5 000004fe: MSTORE 000004ff: PUSH2 0x0775 00000502: SWAP5 00000503: DUP2 00000504: CALLDATALOAD 00000505: SWAP5 00000506: PUSH1 0x24 00000508: DUP1 00000509: CALLDATALOAD 0000050a: SWAP6 0000050b: SWAP4 0000050c: SWAP5 0000050d: PUSH1 0x64 0000050f: SWAP5 00000510: SWAP3 00000511: SWAP4 00000512: SWAP2 00000513: ADD 00000514: SWAP2 00000515: DUP2 00000516: SWAP1 00000517: DUP5 00000518: ADD 00000519: DUP4 0000051a: DUP3 0000051b: DUP1 0000051c: DUP3 0000051d: DUP5 0000051e: CALLDATACOPY 0000051f: POP 00000520: SWAP5 00000521: SWAP7 00000522: POP 00000523: POP 00000524: POP 00000525: POP 00000526: POP 00000527: POP 00000528: POP 00000529: CALLER 0000052a: PUSH1 0x01 0000052c: PUSH1 0xa0 0000052e: PUSH1 0x02 00000530: EXP 00000531: SUB 00000532: AND 00000533: PUSH1 0x00 00000535: SWAP1 00000536: DUP2 00000537: MSTORE 00000538: PUSH1 0x06 0000053a: PUSH1 0x20 0000053c: MSTORE 0000053d: PUSH1 0x40 0000053f: DUP2 00000540: KECCAK256 00000541: SLOAD 00000542: DUP2 00000543: SWAP1 00000544: DUP2 00000545: EQ 00000546: DUP1 00000547: PUSH2 0x0583 0000054a: JUMPI 0000054b: POP 0000054c: PUSH1 0x40 0000054e: DUP2 0000054f: KECCAK256 00000550: SLOAD 00000551: PUSH1 0x07 00000553: DUP1 00000554: SLOAD 00000555: SWAP1 00000556: SWAP2 00000557: SWAP1 00000558: DUP2 00000559: LT 0000055a: ISZERO 0000055b: PUSH2 0x0002 0000055e: JUMPI 0000055f: SWAP1 00000560: DUP3 00000561: MSTORE 00000562: PUSH1 0x03 00000564: MUL 00000565: PUSH1 0x00 00000567: DUP1 00000568: MLOAD 00000569: PUSH1 0x20 0000056b: PUSH2 0x11d3 0000056e: DUP4 0000056f: CODECOPY 00000570: DUP2 00000571: MLOAD 00000572: SWAP2 00000573: MSTORE 00000574: ADD 00000575: DUP2 00000576: POP 00000577: SLOAD 00000578: PUSH1 0xa0 0000057a: PUSH1 0x02 0000057c: EXP 0000057d: SWAP1 0000057e: DIV 0000057f: PUSH1 0xff 00000581: AND 00000582: ISZERO 00000583: JUMPDEST 00000584: ISZERO 00000585: PUSH2 0x0f20 00000588: JUMPI 00000589: PUSH2 0x0002 0000058c: JUMP 0000058d: JUMPDEST 0000058e: PUSH1 0x40 00000590: DUP1 00000591: MLOAD 00000592: PUSH1 0x20 00000594: PUSH1 0x64 00000596: CALLDATALOAD 00000597: PUSH1 0x04 00000599: DUP2 0000059a: DUP2 0000059b: ADD 0000059c: CALLDATALOAD 0000059d: PUSH1 0x1f 0000059f: DUP2 000005a0: ADD 000005a1: DUP5 000005a2: SWAP1 000005a3: DIV 000005a4: DUP5 000005a5: MUL 000005a6: DUP6 000005a7: ADD 000005a8: DUP5 000005a9: ADD 000005aa: SWAP1 000005ab: SWAP6 000005ac: MSTORE 000005ad: DUP5 000005ae: DUP5 000005af: MSTORE 000005b0: PUSH2 0x0775 000005b3: SWAP5 000005b4: DUP2 000005b5: CALLDATALOAD 000005b6: SWAP5 000005b7: PUSH1 0x24 000005b9: DUP1 000005ba: CALLDATALOAD 000005bb: SWAP6 000005bc: PUSH1 0x44 000005be: CALLDATALOAD 000005bf: SWAP6 000005c0: PUSH1 0x84 000005c2: SWAP5 000005c3: SWAP3 000005c4: ADD 000005c5: SWAP2 000005c6: SWAP1 000005c7: DUP2 000005c8: SWAP1 000005c9: DUP5 000005ca: ADD 000005cb: DUP4 000005cc: DUP3 000005cd: DUP1 000005ce: DUP3 000005cf: DUP5 000005d0: CALLDATACOPY 000005d1: POP 000005d2: SWAP5 000005d3: SWAP7 000005d4: POP 000005d5: POP 000005d6: POP 000005d7: POP 000005d8: POP 000005d9: POP 000005da: POP 000005db: PUSH1 0x00 000005dd: PUSH1 0x00 000005df: PUSH1 0x04 000005e1: PUSH1 0x00 000005e3: POP 000005e4: DUP7 000005e5: DUP2 000005e6: SLOAD 000005e7: DUP2 000005e8: LT 000005e9: ISZERO 000005ea: PUSH2 0x0002 000005ed: JUMPI 000005ee: SWAP1 000005ef: DUP3 000005f0: MSTORE 000005f1: PUSH1 0x0a 000005f3: MUL 000005f4: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b 00000615: ADD 00000616: DUP2 00000617: POP 00000618: SWAP1 00000619: POP 0000061a: DUP5 0000061b: DUP5 0000061c: DUP5 0000061d: PUSH1 0x40 0000061f: MLOAD 00000620: DUP1 00000621: DUP5 00000622: PUSH1 0x01 00000624: PUSH1 0xa0 00000626: PUSH1 0x02 00000628: EXP 00000629: SUB 0000062a: AND 0000062b: PUSH1 0x60 0000062d: PUSH1 0x02 0000062f: EXP 00000630: MUL 00000631: DUP2 00000632: MSTORE 00000633: PUSH1 0x14 00000635: ADD 00000636: DUP4 00000637: DUP2 00000638: MSTORE 00000639: PUSH1 0x20 0000063b: ADD 0000063c: DUP3 0000063d: DUP1 0000063e: MLOAD 0000063f: SWAP1 00000640: PUSH1 0x20 00000642: ADD 00000643: SWAP1 00000644: DUP1 00000645: DUP4 00000646: DUP4 00000647: DUP3 00000648: SWAP1 00000649: PUSH1 0x00 0000064b: PUSH1 0x04 0000064d: PUSH1 0x20 0000064f: DUP5 00000650: PUSH1 0x1f 00000652: ADD 00000653: DIV 00000654: PUSH1 0x0f 00000656: MUL 00000657: PUSH1 0x03 00000659: ADD 0000065a: CALL 0000065b: POP 0000065c: SWAP1 0000065d: POP 0000065e: ADD 0000065f: SWAP4 00000660: POP 00000661: POP 00000662: POP 00000663: POP 00000664: PUSH1 0x40 00000666: MLOAD 00000667: DUP1 00000668: SWAP2 00000669: SUB 0000066a: SWAP1 0000066b: KECCAK256 0000066c: DUP2 0000066d: PUSH1 0x07 0000066f: ADD 00000670: PUSH1 0x00 00000672: POP 00000673: SLOAD 00000674: EQ 00000675: SWAP2 00000676: POP 00000677: PUSH2 0x0cf4 0000067a: JUMP 0000067b: JUMPDEST 0000067c: PUSH2 0x00b9 0000067f: PUSH1 0x04 00000681: CALLDATALOAD 00000682: PUSH1 0x00 00000684: SLOAD 00000685: CALLER 00000686: PUSH1 0x01 00000688: PUSH1 0xa0 0000068a: PUSH1 0x02 0000068c: EXP 0000068d: SUB 0000068e: SWAP1 0000068f: DUP2 00000690: AND 00000691: SWAP2 00000692: AND 00000693: EQ 00000694: PUSH2 0x084d 00000697: JUMPI 00000698: PUSH2 0x0002 0000069b: JUMP 0000069c: JUMPDEST 0000069d: PUSH1 0x40 0000069f: MLOAD 000006a0: DUP1 000006a1: DUP11 000006a2: PUSH1 0x01 000006a4: PUSH1 0xa0 000006a6: PUSH1 0x02 000006a8: EXP 000006a9: SUB 000006aa: AND 000006ab: DUP2 000006ac: MSTORE 000006ad: PUSH1 0x20 000006af: ADD 000006b0: DUP10 000006b1: DUP2 000006b2: MSTORE 000006b3: PUSH1 0x20 000006b5: ADD 000006b6: DUP1 000006b7: PUSH1 0x20 000006b9: ADD 000006ba: DUP9 000006bb: DUP2 000006bc: MSTORE 000006bd: PUSH1 0x20 000006bf: ADD 000006c0: DUP8 000006c1: DUP2 000006c2: MSTORE 000006c3: PUSH1 0x20 000006c5: ADD 000006c6: DUP7 000006c7: DUP2 000006c8: MSTORE 000006c9: PUSH1 0x20 000006cb: ADD 000006cc: DUP6 000006cd: DUP2 000006ce: MSTORE 000006cf: PUSH1 0x20 000006d1: ADD 000006d2: DUP5 000006d3: DUP2 000006d4: MSTORE 000006d5: PUSH1 0x20 000006d7: ADD 000006d8: DUP4 000006d9: DUP2 000006da: MSTORE 000006db: PUSH1 0x20 000006dd: ADD 000006de: DUP3 000006df: DUP2 000006e0: SUB 000006e1: DUP3 000006e2: MSTORE 000006e3: DUP10 000006e4: DUP2 000006e5: DUP2 000006e6: SLOAD 000006e7: PUSH1 0x01 000006e9: DUP2 000006ea: PUSH1 0x01 000006ec: AND 000006ed: ISZERO 000006ee: PUSH2 0x0100 000006f1: MUL 000006f2: SUB 000006f3: AND 000006f4: PUSH1 0x02 000006f6: SWAP1 000006f7: DIV 000006f8: DUP2 000006f9: MSTORE 000006fa: PUSH1 0x20 000006fc: ADD 000006fd: SWAP2 000006fe: POP 000006ff: DUP1 00000700: SLOAD 00000701: PUSH1 0x01 00000703: DUP2 00000704: PUSH1 0x01 00000706: AND 00000707: ISZERO 00000708: PUSH2 0x0100 0000070b: MUL 0000070c: SUB 0000070d: AND 0000070e: PUSH1 0x02 00000710: SWAP1 00000711: DIV 00000712: DUP1 00000713: ISZERO 00000714: PUSH2 0x075e 00000717: JUMPI 00000718: DUP1 00000719: PUSH1 0x1f 0000071b: LT 0000071c: PUSH2 0x0733 0000071f: JUMPI 00000720: PUSH2 0x0100 00000723: DUP1 00000724: DUP4 00000725: SLOAD 00000726: DIV 00000727: MUL 00000728: DUP4 00000729: MSTORE 0000072a: SWAP2 0000072b: PUSH1 0x20 0000072d: ADD 0000072e: SWAP2 0000072f: PUSH2 0x075e 00000732: JUMP 00000733: JUMPDEST 00000734: DUP3 00000735: ADD 00000736: SWAP2 00000737: SWAP1 00000738: PUSH1 0x00 0000073a: MSTORE 0000073b: PUSH1 0x20 0000073d: PUSH1 0x00 0000073f: KECCAK256 00000740: SWAP1 00000741: JUMPDEST 00000742: DUP2 00000743: SLOAD 00000744: DUP2 00000745: MSTORE 00000746: SWAP1 00000747: PUSH1 0x01 00000749: ADD 0000074a: SWAP1 0000074b: PUSH1 0x20 0000074d: ADD 0000074e: DUP1 0000074f: DUP4 00000750: GT 00000751: PUSH2 0x0741 00000754: JUMPI 00000755: DUP3 00000756: SWAP1 00000757: SUB 00000758: PUSH1 0x1f 0000075a: AND 0000075b: DUP3 0000075c: ADD 0000075d: SWAP2 0000075e: JUMPDEST 0000075f: POP 00000760: POP 00000761: SWAP11 00000762: POP 00000763: POP 00000764: POP 00000765: POP 00000766: POP 00000767: POP 00000768: POP 00000769: POP 0000076a: POP 0000076b: POP 0000076c: POP 0000076d: PUSH1 0x40 0000076f: MLOAD 00000770: DUP1 00000771: SWAP2 00000772: SUB 00000773: SWAP1 00000774: RETURN 00000775: JUMPDEST 00000776: PUSH1 0x40 00000778: DUP1 00000779: MLOAD 0000077a: SWAP2 0000077b: DUP3 0000077c: MSTORE 0000077d: MLOAD 0000077e: SWAP1 0000077f: DUP2 00000780: SWAP1 00000781: SUB 00000782: PUSH1 0x20 00000784: ADD 00000785: SWAP1 00000786: RETURN 00000787: JUMPDEST 00000788: PUSH1 0x40 0000078a: DUP1 0000078b: MLOAD 0000078c: PUSH1 0x01 0000078e: PUSH1 0xa0 00000790: PUSH1 0x02 00000792: EXP 00000793: SUB 00000794: DUP7 00000795: AND 00000796: DUP2 00000797: MSTORE 00000798: PUSH1 0x20 0000079a: DUP2 0000079b: ADD 0000079c: DUP6 0000079d: SWAP1 0000079e: MSTORE 0000079f: PUSH1 0x60 000007a1: DUP2 000007a2: ADD 000007a3: DUP4 000007a4: SWAP1 000007a5: MSTORE 000007a6: PUSH1 0x80 000007a8: SWAP2 000007a9: DUP2 000007aa: ADD 000007ab: DUP3 000007ac: DUP2 000007ad: MSTORE 000007ae: DUP5 000007af: SLOAD 000007b0: PUSH1 0x02 000007b2: PUSH1 0x01 000007b4: DUP3 000007b5: AND 000007b6: ISZERO 000007b7: PUSH2 0x0100 000007ba: MUL 000007bb: PUSH1 0x00 000007bd: NOT 000007be: ADD 000007bf: SWAP1 000007c0: SWAP2 000007c1: AND 000007c2: DIV 000007c3: SWAP3 000007c4: DUP3 000007c5: ADD 000007c6: DUP4 000007c7: SWAP1 000007c8: MSTORE 000007c9: SWAP1 000007ca: SWAP2 000007cb: PUSH1 0xa0 000007cd: DUP4 000007ce: ADD 000007cf: SWAP1 000007d0: DUP6 000007d1: SWAP1 000007d2: DUP1 000007d3: ISZERO 000007d4: PUSH2 0x081e 000007d7: JUMPI 000007d8: DUP1 000007d9: PUSH1 0x1f 000007db: LT 000007dc: PUSH2 0x07f3 000007df: JUMPI 000007e0: PUSH2 0x0100 000007e3: DUP1 000007e4: DUP4 000007e5: SLOAD 000007e6: DIV 000007e7: MUL 000007e8: DUP4 000007e9: MSTORE 000007ea: SWAP2 000007eb: PUSH1 0x20 000007ed: ADD 000007ee: SWAP2 000007ef: PUSH2 0x081e 000007f2: JUMP 000007f3: JUMPDEST 000007f4: DUP3 000007f5: ADD 000007f6: SWAP2 000007f7: SWAP1 000007f8: PUSH1 0x00 000007fa: MSTORE 000007fb: PUSH1 0x20 000007fd: PUSH1 0x00 000007ff: KECCAK256 00000800: SWAP1 00000801: JUMPDEST 00000802: DUP2 00000803: SLOAD 00000804: DUP2 00000805: MSTORE 00000806: SWAP1 00000807: PUSH1 0x01 00000809: ADD 0000080a: SWAP1 0000080b: PUSH1 0x20 0000080d: ADD 0000080e: DUP1 0000080f: DUP4 00000810: GT 00000811: PUSH2 0x0801 00000814: JUMPI 00000815: DUP3 00000816: SWAP1 00000817: SUB 00000818: PUSH1 0x1f 0000081a: AND 0000081b: DUP3 0000081c: ADD 0000081d: SWAP2 0000081e: JUMPDEST 0000081f: POP 00000820: POP 00000821: SWAP6 00000822: POP 00000823: POP 00000824: POP 00000825: POP 00000826: POP 00000827: POP 00000828: PUSH1 0x40 0000082a: MLOAD 0000082b: DUP1 0000082c: SWAP2 0000082d: SUB 0000082e: SWAP1 0000082f: RETURN 00000830: JUMPDEST 00000831: PUSH1 0x40 00000833: DUP1 00000834: MLOAD 00000835: PUSH1 0x01 00000837: PUSH1 0xa0 00000839: PUSH1 0x02 0000083b: EXP 0000083c: SUB 0000083d: SWAP3 0000083e: SWAP1 0000083f: SWAP3 00000840: AND 00000841: DUP3 00000842: MSTORE 00000843: MLOAD 00000844: SWAP1 00000845: DUP2 00000846: SWAP1 00000847: SUB 00000848: PUSH1 0x20 0000084a: ADD 0000084b: SWAP1 0000084c: RETURN 0000084d: JUMPDEST 0000084e: PUSH1 0x00 00000850: DUP1 00000851: SLOAD 00000852: PUSH1 0x01 00000854: PUSH1 0xa0 00000856: PUSH1 0x02 00000858: EXP 00000859: SUB 0000085a: NOT 0000085b: AND 0000085c: DUP3 0000085d: OR 0000085e: SWAP1 0000085f: SSTORE 00000860: POP 00000861: JUMP 00000862: JUMPDEST 00000863: PUSH1 0x01 00000865: PUSH1 0xa0 00000867: PUSH1 0x02 00000869: EXP 0000086a: SUB 0000086b: DUP6 0000086c: AND 0000086d: PUSH1 0x00 0000086f: SWAP1 00000870: DUP2 00000871: MSTORE 00000872: PUSH1 0x06 00000874: PUSH1 0x20 00000876: MSTORE 00000877: PUSH1 0x40 00000879: DUP2 0000087a: KECCAK256 0000087b: SLOAD 0000087c: EQ 0000087d: ISZERO 0000087e: PUSH2 0x08be 00000881: JUMPI 00000882: PUSH1 0x40 00000884: PUSH1 0x00 00000886: KECCAK256 00000887: PUSH1 0x07 00000889: DUP1 0000088a: SLOAD 0000088b: SWAP2 0000088c: DUP3 0000088d: SWAP1 0000088e: SSTORE 0000088f: PUSH1 0x01 00000891: DUP3 00000892: ADD 00000893: DUP1 00000894: DUP3 00000895: SSTORE 00000896: DUP3 00000897: DUP1 00000898: ISZERO 00000899: DUP3 0000089a: SWAP1 0000089b: GT 0000089c: PUSH2 0x0971 0000089f: JUMPI 000008a0: PUSH1 0x03 000008a2: MUL 000008a3: DUP2 000008a4: PUSH1 0x03 000008a6: MUL 000008a7: DUP4 000008a8: PUSH1 0x00 000008aa: MSTORE 000008ab: PUSH1 0x20 000008ad: PUSH1 0x00 000008af: KECCAK256 000008b0: SWAP2 000008b1: DUP3 000008b2: ADD 000008b3: SWAP2 000008b4: ADD 000008b5: PUSH2 0x0971 000008b8: SWAP2 000008b9: SWAP1 000008ba: PUSH2 0x0a67 000008bd: JUMP 000008be: JUMPDEST 000008bf: PUSH1 0x01 000008c1: PUSH1 0xa0 000008c3: PUSH1 0x02 000008c5: EXP 000008c6: SUB 000008c7: DUP6 000008c8: AND 000008c9: PUSH1 0x00 000008cb: SWAP1 000008cc: DUP2 000008cd: MSTORE 000008ce: PUSH1 0x06 000008d0: PUSH1 0x20 000008d2: MSTORE 000008d3: PUSH1 0x40 000008d5: SWAP1 000008d6: KECCAK256 000008d7: SLOAD 000008d8: PUSH1 0x07 000008da: DUP1 000008db: SLOAD 000008dc: SWAP2 000008dd: SWAP4 000008de: POP 000008df: SWAP1 000008e0: DUP4 000008e1: SWAP1 000008e2: DUP2 000008e3: LT 000008e4: ISZERO 000008e5: PUSH2 0x0002 000008e8: JUMPI 000008e9: POP 000008ea: PUSH1 0x00 000008ec: MSTORE 000008ed: POP 000008ee: PUSH1 0x03 000008f0: DUP2 000008f1: MUL 000008f2: PUSH1 0x00 000008f4: DUP1 000008f5: MLOAD 000008f6: PUSH1 0x20 000008f8: PUSH2 0x11d3 000008fb: DUP4 000008fc: CODECOPY 000008fd: DUP2 000008fe: MLOAD 000008ff: SWAP2 00000900: MSTORE 00000901: ADD 00000902: DUP1 00000903: SLOAD 00000904: PUSH21 0xff0000000000000000000000000000000000000000 0000091a: NOT 0000091b: AND 0000091c: PUSH1 0xa0 0000091e: PUSH1 0x02 00000920: EXP 00000921: DUP6 00000922: MUL 00000923: OR 00000924: DUP2 00000925: SSTORE 00000926: JUMPDEST 00000927: PUSH1 0x40 00000929: DUP1 0000092a: MLOAD 0000092b: PUSH1 0x01 0000092d: PUSH1 0xa0 0000092f: PUSH1 0x02 00000931: EXP 00000932: SUB 00000933: DUP8 00000934: AND 00000935: DUP2 00000936: MSTORE 00000937: PUSH1 0x20 00000939: DUP2 0000093a: ADD 0000093b: DUP7 0000093c: SWAP1 0000093d: MSTORE 0000093e: DUP2 0000093f: MLOAD 00000940: PUSH32 0x27b022af4a8347100c7a041ce5ccf8e14d644ff05de696315196faae8cd50c9b 00000961: SWAP3 00000962: SWAP2 00000963: DUP2 00000964: SWAP1 00000965: SUB 00000966: SWAP1 00000967: SWAP2 00000968: ADD 00000969: SWAP1 0000096a: LOG1 0000096b: POP 0000096c: POP 0000096d: POP 0000096e: POP 0000096f: POP 00000970: JUMP 00000971: JUMPDEST 00000972: POP 00000973: POP 00000974: POP 00000975: SWAP2 00000976: POP 00000977: DUP2 00000978: POP 00000979: PUSH1 0x80 0000097b: PUSH1 0x40 0000097d: MLOAD 0000097e: SWAP1 0000097f: DUP2 00000980: ADD 00000981: PUSH1 0x40 00000983: MSTORE 00000984: DUP1 00000985: DUP7 00000986: DUP2 00000987: MSTORE 00000988: PUSH1 0x20 0000098a: ADD 0000098b: DUP6 0000098c: DUP2 0000098d: MSTORE 0000098e: PUSH1 0x20 00000990: ADD 00000991: DUP5 00000992: DUP2 00000993: MSTORE 00000994: PUSH1 0x20 00000996: ADD 00000997: TIMESTAMP 00000998: DUP2 00000999: MSTORE 0000099a: PUSH1 0x20 0000099c: ADD 0000099d: POP 0000099e: PUSH1 0x07 000009a0: PUSH1 0x00 000009a2: POP 000009a3: DUP4 000009a4: DUP2 000009a5: SLOAD 000009a6: DUP2 000009a7: LT 000009a8: ISZERO 000009a9: PUSH2 0x0002 000009ac: JUMPI 000009ad: SWAP1 000009ae: PUSH1 0x00 000009b0: MSTORE 000009b1: PUSH1 0x20 000009b3: PUSH1 0x00 000009b5: KECCAK256 000009b6: SWAP1 000009b7: PUSH1 0x03 000009b9: MUL 000009ba: ADD 000009bb: PUSH1 0x00 000009bd: POP 000009be: DUP1 000009bf: SLOAD 000009c0: DUP3 000009c1: MLOAD 000009c2: PUSH1 0x20 000009c4: DUP5 000009c5: DUP2 000009c6: ADD 000009c7: MLOAD 000009c8: PUSH1 0xa0 000009ca: PUSH1 0x02 000009cc: EXP 000009cd: MUL 000009ce: PUSH1 0x01 000009d0: PUSH1 0xa0 000009d2: PUSH1 0x02 000009d4: EXP 000009d5: SUB 000009d6: NOT 000009d7: SWAP4 000009d8: SWAP1 000009d9: SWAP4 000009da: AND 000009db: SWAP1 000009dc: SWAP2 000009dd: OR 000009de: PUSH21 0xff0000000000000000000000000000000000000000 000009f4: NOT 000009f5: AND 000009f6: SWAP2 000009f7: SWAP1 000009f8: SWAP2 000009f9: OR 000009fa: DUP3 000009fb: SSTORE 000009fc: PUSH1 0x40 000009fe: DUP4 000009ff: ADD 00000a00: MLOAD 00000a01: DUP1 00000a02: MLOAD 00000a03: PUSH1 0x01 00000a05: DUP5 00000a06: DUP2 00000a07: ADD 00000a08: DUP1 00000a09: SLOAD 00000a0a: PUSH1 0x00 00000a0c: DUP3 00000a0d: DUP2 00000a0e: MSTORE 00000a0f: DUP7 00000a10: SWAP1 00000a11: KECCAK256 00000a12: SWAP2 00000a13: SWAP6 00000a14: PUSH1 0x02 00000a16: SWAP4 00000a17: DUP3 00000a18: AND 00000a19: ISZERO 00000a1a: PUSH2 0x0100 00000a1d: MUL 00000a1e: PUSH1 0x00 00000a20: NOT 00000a21: ADD 00000a22: SWAP1 00000a23: SWAP2 00000a24: AND 00000a25: SWAP3 00000a26: SWAP1 00000a27: SWAP3 00000a28: DIV 00000a29: PUSH1 0x1f 00000a2b: SWAP1 00000a2c: DUP2 00000a2d: ADD 00000a2e: DUP4 00000a2f: SWAP1 00000a30: DIV 00000a31: DUP3 00000a32: ADD 00000a33: SWAP5 00000a34: SWAP2 00000a35: SWAP3 00000a36: SWAP2 00000a37: SWAP1 00000a38: SWAP2 00000a39: ADD 00000a3a: SWAP1 00000a3b: DUP4 00000a3c: SWAP1 00000a3d: LT 00000a3e: PUSH2 0x0aeb 00000a41: JUMPI 00000a42: DUP1 00000a43: MLOAD 00000a44: PUSH1 0xff 00000a46: NOT 00000a47: AND 00000a48: DUP4 00000a49: DUP1 00000a4a: ADD 00000a4b: OR 00000a4c: DUP6 00000a4d: SSTORE 00000a4e: JUMPDEST 00000a4f: POP 00000a50: PUSH2 0x0b1b 00000a53: SWAP3 00000a54: SWAP2 00000a55: POP 00000a56: PUSH2 0x0ad3 00000a59: JUMP 00000a5a: JUMPDEST 00000a5b: POP 00000a5c: POP 00000a5d: PUSH1 0x00 00000a5f: PUSH1 0x02 00000a61: DUP3 00000a62: ADD 00000a63: SSTORE 00000a64: PUSH1 0x01 00000a66: ADD 00000a67: JUMPDEST 00000a68: DUP1 00000a69: DUP3 00000a6a: GT 00000a6b: ISZERO 00000a6c: PUSH2 0x0ae7 00000a6f: JUMPI 00000a70: DUP1 00000a71: SLOAD 00000a72: PUSH21 0xffffffffffffffffffffffffffffffffffffffffff 00000a88: NOT 00000a89: AND 00000a8a: DUP2 00000a8b: SSTORE 00000a8c: PUSH1 0x01 00000a8e: DUP2 00000a8f: DUP2 00000a90: ADD 00000a91: DUP1 00000a92: SLOAD 00000a93: PUSH1 0x00 00000a95: DUP1 00000a96: DUP4 00000a97: SSTORE 00000a98: SWAP3 00000a99: PUSH1 0x02 00000a9b: SWAP1 00000a9c: DUP3 00000a9d: AND 00000a9e: ISZERO 00000a9f: PUSH2 0x0100 00000aa2: MUL 00000aa3: PUSH1 0x00 00000aa5: NOT 00000aa6: ADD 00000aa7: SWAP1 00000aa8: SWAP2 00000aa9: AND 00000aaa: DIV 00000aab: PUSH1 0x1f 00000aad: DUP2 00000aae: SWAP1 00000aaf: LT 00000ab0: PUSH2 0x0ab9 00000ab3: JUMPI 00000ab4: POP 00000ab5: PUSH2 0x0a5a 00000ab8: JUMP 00000ab9: JUMPDEST 00000aba: PUSH1 0x1f 00000abc: ADD 00000abd: PUSH1 0x20 00000abf: SWAP1 00000ac0: DIV 00000ac1: SWAP1 00000ac2: PUSH1 0x00 00000ac4: MSTORE 00000ac5: PUSH1 0x20 00000ac7: PUSH1 0x00 00000ac9: KECCAK256 00000aca: SWAP1 00000acb: DUP2 00000acc: ADD 00000acd: SWAP1 00000ace: PUSH2 0x0a5a 00000ad1: SWAP2 00000ad2: SWAP1 00000ad3: JUMPDEST 00000ad4: DUP1 00000ad5: DUP3 00000ad6: GT 00000ad7: ISZERO 00000ad8: PUSH2 0x0ae7 00000adb: JUMPI 00000adc: PUSH1 0x00 00000ade: DUP2 00000adf: SSTORE 00000ae0: PUSH1 0x01 00000ae2: ADD 00000ae3: PUSH2 0x0ad3 00000ae6: JUMP 00000ae7: JUMPDEST 00000ae8: POP 00000ae9: SWAP1 00000aea: JUMP 00000aeb: JUMPDEST 00000aec: DUP3 00000aed: DUP1 00000aee: ADD 00000aef: PUSH1 0x01 00000af1: ADD 00000af2: DUP6 00000af3: SSTORE 00000af4: DUP3 00000af5: ISZERO 00000af6: PUSH2 0x0a4e 00000af9: JUMPI 00000afa: SWAP2 00000afb: DUP3 00000afc: ADD 00000afd: JUMPDEST 00000afe: DUP3 00000aff: DUP2 00000b00: GT 00000b01: ISZERO 00000b02: PUSH2 0x0a4e 00000b05: JUMPI 00000b06: DUP3 00000b07: MLOAD 00000b08: DUP3 00000b09: PUSH1 0x00 00000b0b: POP 00000b0c: SSTORE 00000b0d: SWAP2 00000b0e: PUSH1 0x20 00000b10: ADD 00000b11: SWAP2 00000b12: SWAP1 00000b13: PUSH1 0x01 00000b15: ADD 00000b16: SWAP1 00000b17: PUSH2 0x0afd 00000b1a: JUMP 00000b1b: JUMPDEST 00000b1c: POP 00000b1d: POP 00000b1e: PUSH1 0x60 00000b20: SWAP2 00000b21: SWAP1 00000b22: SWAP2 00000b23: ADD 00000b24: MLOAD 00000b25: PUSH1 0x02 00000b27: SWAP2 00000b28: SWAP1 00000b29: SWAP2 00000b2a: ADD 00000b2b: SSTORE 00000b2c: PUSH2 0x0926 00000b2f: JUMP 00000b30: JUMPDEST 00000b31: PUSH1 0x01 00000b33: DUP4 00000b34: SWAP1 00000b35: SSTORE 00000b36: PUSH1 0x02 00000b38: DUP3 00000b39: SWAP1 00000b3a: SSTORE 00000b3b: PUSH1 0x03 00000b3d: DUP2 00000b3e: SWAP1 00000b3f: SSTORE 00000b40: PUSH1 0x40 00000b42: DUP1 00000b43: MLOAD 00000b44: DUP5 00000b45: DUP2 00000b46: MSTORE 00000b47: PUSH1 0x20 00000b49: DUP2 00000b4a: ADD 00000b4b: DUP5 00000b4c: SWAP1 00000b4d: MSTORE 00000b4e: DUP1 00000b4f: DUP3 00000b50: ADD 00000b51: DUP4 00000b52: SWAP1 00000b53: MSTORE 00000b54: SWAP1 00000b55: MLOAD 00000b56: PUSH32 0xa439d3fa452be5e0e1e24a8145e715f4fd8b9c08c96a42fd82a855a85e5d57de 00000b77: SWAP2 00000b78: DUP2 00000b79: SWAP1 00000b7a: SUB 00000b7b: PUSH1 0x60 00000b7d: ADD 00000b7e: SWAP1 00000b7f: LOG1 00000b80: POP 00000b81: POP 00000b82: POP 00000b83: JUMP 00000b84: JUMPDEST 00000b85: POP 00000b86: POP 00000b87: DUP6 00000b88: DUP6 00000b89: DUP5 00000b8a: PUSH1 0x40 00000b8c: MLOAD 00000b8d: DUP1 00000b8e: DUP5 00000b8f: PUSH1 0x01 00000b91: PUSH1 0xa0 00000b93: PUSH1 0x02 00000b95: EXP 00000b96: SUB 00000b97: AND 00000b98: PUSH1 0x60 00000b9a: PUSH1 0x02 00000b9c: EXP 00000b9d: MUL 00000b9e: DUP2 00000b9f: MSTORE 00000ba0: PUSH1 0x14 00000ba2: ADD 00000ba3: DUP4 00000ba4: DUP2 00000ba5: MSTORE 00000ba6: PUSH1 0x20 00000ba8: ADD 00000ba9: DUP3 00000baa: DUP1 00000bab: MLOAD 00000bac: SWAP1 00000bad: PUSH1 0x20 00000baf: ADD 00000bb0: SWAP1 00000bb1: DUP1 00000bb2: DUP4 00000bb3: DUP4 00000bb4: DUP3 00000bb5: SWAP1 00000bb6: PUSH1 0x00 00000bb8: PUSH1 0x04 00000bba: PUSH1 0x20 00000bbc: DUP5 00000bbd: PUSH1 0x1f 00000bbf: ADD 00000bc0: DIV 00000bc1: PUSH1 0x0f 00000bc3: MUL 00000bc4: PUSH1 0x03 00000bc6: ADD 00000bc7: CALL 00000bc8: POP 00000bc9: SWAP1 00000bca: POP 00000bcb: ADD 00000bcc: SWAP4 00000bcd: POP 00000bce: POP 00000bcf: POP 00000bd0: POP 00000bd1: PUSH1 0x40 00000bd3: MLOAD 00000bd4: DUP1 00000bd5: SWAP2 00000bd6: SUB 00000bd7: SWAP1 00000bd8: KECCAK256 00000bd9: DUP2 00000bda: PUSH1 0x07 00000bdc: ADD 00000bdd: PUSH1 0x00 00000bdf: POP 00000be0: DUP2 00000be1: SWAP1 00000be2: SSTORE 00000be3: POP 00000be4: PUSH1 0x02 00000be6: PUSH1 0x00 00000be8: POP 00000be9: SLOAD 00000bea: PUSH1 0x3c 00000bec: MUL 00000bed: TIMESTAMP 00000bee: ADD 00000bef: DUP2 00000bf0: PUSH1 0x03 00000bf2: ADD 00000bf3: PUSH1 0x00 00000bf5: POP 00000bf6: DUP2 00000bf7: SWAP1 00000bf8: SSTORE 00000bf9: POP 00000bfa: PUSH1 0x00 00000bfc: DUP2 00000bfd: PUSH1 0x04 00000bff: ADD 00000c00: PUSH1 0x00 00000c02: PUSH2 0x0100 00000c05: EXP 00000c06: DUP2 00000c07: SLOAD 00000c08: DUP2 00000c09: PUSH1 0xff 00000c0b: MUL 00000c0c: NOT 00000c0d: AND 00000c0e: SWAP1 00000c0f: DUP4 00000c10: MUL 00000c11: OR 00000c12: SWAP1 00000c13: SSTORE 00000c14: POP 00000c15: PUSH1 0x00 00000c17: DUP2 00000c18: PUSH1 0x04 00000c1a: ADD 00000c1b: PUSH1 0x01 00000c1d: PUSH2 0x0100 00000c20: EXP 00000c21: DUP2 00000c22: SLOAD 00000c23: DUP2 00000c24: PUSH1 0xff 00000c26: MUL 00000c27: NOT 00000c28: AND 00000c29: SWAP1 00000c2a: DUP4 00000c2b: MUL 00000c2c: OR 00000c2d: SWAP1 00000c2e: SSTORE 00000c2f: POP 00000c30: PUSH1 0x00 00000c32: DUP2 00000c33: PUSH1 0x05 00000c35: ADD 00000c36: PUSH1 0x00 00000c38: POP 00000c39: DUP2 00000c3a: SWAP1 00000c3b: SSTORE 00000c3c: POP 00000c3d: PUSH32 0x646fec02522b41e7125cfc859a64fd4f4cefd5dc3b6237ca0abe251ded1fa881 00000c5e: DUP3 00000c5f: DUP8 00000c60: DUP8 00000c61: DUP8 00000c62: PUSH1 0x40 00000c64: MLOAD 00000c65: DUP1 00000c66: DUP6 00000c67: DUP2 00000c68: MSTORE 00000c69: PUSH1 0x20 00000c6b: ADD 00000c6c: DUP5 00000c6d: PUSH1 0x01 00000c6f: PUSH1 0xa0 00000c71: PUSH1 0x02 00000c73: EXP 00000c74: SUB 00000c75: AND 00000c76: DUP2 00000c77: MSTORE 00000c78: PUSH1 0x20 00000c7a: ADD 00000c7b: DUP4 00000c7c: DUP2 00000c7d: MSTORE 00000c7e: PUSH1 0x20 00000c80: ADD 00000c81: DUP1 00000c82: PUSH1 0x20 00000c84: ADD 00000c85: DUP3 00000c86: DUP2 00000c87: SUB 00000c88: DUP3 00000c89: MSTORE 00000c8a: DUP4 00000c8b: DUP2 00000c8c: DUP2 00000c8d: MLOAD 00000c8e: DUP2 00000c8f: MSTORE 00000c90: PUSH1 0x20 00000c92: ADD 00000c93: SWAP2 00000c94: POP 00000c95: DUP1 00000c96: MLOAD 00000c97: SWAP1 00000c98: PUSH1 0x20 00000c9a: ADD 00000c9b: SWAP1 00000c9c: DUP1 00000c9d: DUP4 00000c9e: DUP4 00000c9f: DUP3 00000ca0: SWAP1 00000ca1: PUSH1 0x00 00000ca3: PUSH1 0x04 00000ca5: PUSH1 0x20 00000ca7: DUP5 00000ca8: PUSH1 0x1f 00000caa: ADD 00000cab: DIV 00000cac: PUSH1 0x0f 00000cae: MUL 00000caf: PUSH1 0x03 00000cb1: ADD 00000cb2: CALL 00000cb3: POP 00000cb4: SWAP1 00000cb5: POP 00000cb6: SWAP1 00000cb7: DUP2 00000cb8: ADD 00000cb9: SWAP1 00000cba: PUSH1 0x1f 00000cbc: AND 00000cbd: DUP1 00000cbe: ISZERO 00000cbf: PUSH2 0x0cdc 00000cc2: JUMPI 00000cc3: DUP1 00000cc4: DUP3 00000cc5: SUB 00000cc6: DUP1 00000cc7: MLOAD 00000cc8: PUSH1 0x01 00000cca: DUP4 00000ccb: PUSH1 0x20 00000ccd: SUB 00000cce: PUSH2 0x0100 00000cd1: EXP 00000cd2: SUB 00000cd3: NOT 00000cd4: AND 00000cd5: DUP2 00000cd6: MSTORE 00000cd7: PUSH1 0x20 00000cd9: ADD 00000cda: SWAP2 00000cdb: POP 00000cdc: JUMPDEST 00000cdd: POP 00000cde: SWAP6 00000cdf: POP 00000ce0: POP 00000ce1: POP 00000ce2: POP 00000ce3: POP 00000ce4: POP 00000ce5: PUSH1 0x40 00000ce7: MLOAD 00000ce8: DUP1 00000ce9: SWAP2 00000cea: SUB 00000ceb: SWAP1 00000cec: LOG1 00000ced: PUSH1 0x01 00000cef: DUP3 00000cf0: ADD 00000cf1: PUSH1 0x05 00000cf3: SSTORE 00000cf4: JUMPDEST 00000cf5: POP 00000cf6: SWAP5 00000cf7: SWAP4 00000cf8: POP 00000cf9: POP 00000cfa: POP 00000cfb: POP 00000cfc: JUMP 00000cfd: JUMPDEST 00000cfe: PUSH1 0x04 00000d00: DUP1 00000d01: SLOAD 00000d02: PUSH1 0x01 00000d04: DUP2 00000d05: ADD 00000d06: DUP1 00000d07: DUP4 00000d08: SSTORE 00000d09: SWAP1 00000d0a: SWAP2 00000d0b: SWAP1 00000d0c: DUP3 00000d0d: DUP1 00000d0e: ISZERO 00000d0f: DUP3 00000d10: SWAP1 00000d11: GT 00000d12: PUSH2 0x0d34 00000d15: JUMPI 00000d16: PUSH1 0x0a 00000d18: MUL 00000d19: DUP2 00000d1a: PUSH1 0x0a 00000d1c: MUL 00000d1d: DUP4 00000d1e: PUSH1 0x00 00000d20: MSTORE 00000d21: PUSH1 0x20 00000d23: PUSH1 0x00 00000d25: KECCAK256 00000d26: SWAP2 00000d27: DUP3 00000d28: ADD 00000d29: SWAP2 00000d2a: ADD 00000d2b: PUSH2 0x0d34 00000d2e: SWAP2 00000d2f: SWAP1 00000d30: PUSH2 0x0dd0 00000d33: JUMP 00000d34: JUMPDEST 00000d35: POP 00000d36: POP 00000d37: PUSH1 0x04 00000d39: DUP1 00000d3a: SLOAD 00000d3b: SWAP3 00000d3c: SWAP5 00000d3d: POP 00000d3e: SWAP2 00000d3f: DUP5 00000d40: SWAP2 00000d41: POP 00000d42: DUP2 00000d43: LT 00000d44: ISZERO 00000d45: PUSH2 0x0002 00000d48: JUMPI 00000d49: SWAP1 00000d4a: PUSH1 0x00 00000d4c: MSTORE 00000d4d: PUSH1 0x20 00000d4f: PUSH1 0x00 00000d51: KECCAK256 00000d52: SWAP1 00000d53: PUSH1 0x0a 00000d55: MUL 00000d56: ADD 00000d57: PUSH1 0x00 00000d59: POP 00000d5a: DUP1 00000d5b: SLOAD 00000d5c: PUSH1 0x01 00000d5e: PUSH1 0xa0 00000d60: PUSH1 0x02 00000d62: EXP 00000d63: SUB 00000d64: NOT 00000d65: AND 00000d66: DUP8 00000d67: OR 00000d68: DUP2 00000d69: SSTORE 00000d6a: PUSH1 0x01 00000d6c: DUP2 00000d6d: DUP2 00000d6e: ADD 00000d6f: DUP8 00000d70: SWAP1 00000d71: SSTORE 00000d72: DUP6 00000d73: MLOAD 00000d74: PUSH1 0x02 00000d76: DUP4 00000d77: DUP2 00000d78: ADD 00000d79: DUP1 00000d7a: SLOAD 00000d7b: PUSH1 0x00 00000d7d: DUP3 00000d7e: DUP2 00000d7f: MSTORE 00000d80: PUSH1 0x20 00000d82: SWAP1 00000d83: DUP2 00000d84: SWAP1 00000d85: KECCAK256 00000d86: SWAP7 00000d87: SWAP8 00000d88: POP 00000d89: SWAP2 00000d8a: SWAP6 00000d8b: SWAP5 00000d8c: DUP2 00000d8d: AND 00000d8e: ISZERO 00000d8f: PUSH2 0x0100 00000d92: MUL 00000d93: PUSH1 0x00 00000d95: NOT 00000d96: ADD 00000d97: AND 00000d98: SWAP2 00000d99: SWAP1 00000d9a: SWAP2 00000d9b: DIV 00000d9c: PUSH1 0x1f 00000d9e: SWAP1 00000d9f: DUP2 00000da0: ADD 00000da1: DUP3 00000da2: SWAP1 00000da3: DIV 00000da4: DUP5 00000da5: ADD 00000da6: SWAP4 00000da7: SWAP2 00000da8: DUP10 00000da9: ADD 00000daa: SWAP1 00000dab: DUP4 00000dac: SWAP1 00000dad: LT 00000dae: PUSH2 0x0ef0 00000db1: JUMPI 00000db2: DUP1 00000db3: MLOAD 00000db4: PUSH1 0xff 00000db6: NOT 00000db7: AND 00000db8: DUP4 00000db9: DUP1 00000dba: ADD 00000dbb: OR 00000dbc: DUP6 00000dbd: SSTORE 00000dbe: JUMPDEST 00000dbf: POP 00000dc0: PUSH2 0x0b84 00000dc3: SWAP3 00000dc4: SWAP2 00000dc5: POP 00000dc6: PUSH2 0x0ad3 00000dc9: JUMP 00000dca: JUMPDEST 00000dcb: POP 00000dcc: POP 00000dcd: PUSH1 0x01 00000dcf: ADD 00000dd0: JUMPDEST 00000dd1: DUP1 00000dd2: DUP3 00000dd3: GT 00000dd4: ISZERO 00000dd5: PUSH2 0x0ae7 00000dd8: JUMPI 00000dd9: DUP1 00000dda: SLOAD 00000ddb: PUSH1 0x01 00000ddd: PUSH1 0xa0 00000ddf: PUSH1 0x02 00000de1: EXP 00000de2: SUB 00000de3: NOT 00000de4: AND 00000de5: DUP2 00000de6: SSTORE 00000de7: PUSH1 0x00 00000de9: PUSH1 0x01 00000deb: DUP3 00000dec: DUP2 00000ded: ADD 00000dee: DUP3 00000def: SWAP1 00000df0: SSTORE 00000df1: PUSH1 0x02 00000df3: DUP4 00000df4: DUP2 00000df5: ADD 00000df6: DUP1 00000df7: SLOAD 00000df8: DUP5 00000df9: DUP3 00000dfa: SSTORE 00000dfb: SWAP1 00000dfc: SWAP3 00000dfd: DUP2 00000dfe: AND 00000dff: ISZERO 00000e00: PUSH2 0x0100 00000e03: MUL 00000e04: PUSH1 0x00 00000e06: NOT 00000e07: ADD 00000e08: AND 00000e09: DIV 00000e0a: PUSH1 0x1f 00000e0c: DUP2 00000e0d: SWAP1 00000e0e: LT 00000e0f: PUSH2 0x0eb4 00000e12: JUMPI 00000e13: POP 00000e14: JUMPDEST 00000e15: POP 00000e16: PUSH1 0x00 00000e18: PUSH1 0x03 00000e1a: DUP4 00000e1b: ADD 00000e1c: DUP2 00000e1d: SWAP1 00000e1e: SSTORE 00000e1f: PUSH1 0x04 00000e21: DUP4 00000e22: ADD 00000e23: DUP1 00000e24: SLOAD 00000e25: PUSH2 0xffff 00000e28: NOT 00000e29: AND 00000e2a: SWAP1 00000e2b: SSTORE 00000e2c: PUSH1 0x05 00000e2e: DUP4 00000e2f: ADD 00000e30: DUP2 00000e31: SWAP1 00000e32: SSTORE 00000e33: PUSH1 0x06 00000e35: DUP4 00000e36: ADD 00000e37: DUP2 00000e38: SWAP1 00000e39: SSTORE 00000e3a: PUSH1 0x07 00000e3c: DUP4 00000e3d: ADD 00000e3e: DUP2 00000e3f: SWAP1 00000e40: SSTORE 00000e41: PUSH1 0x08 00000e43: DUP4 00000e44: ADD 00000e45: DUP1 00000e46: SLOAD 00000e47: DUP3 00000e48: DUP3 00000e49: SSTORE 00000e4a: SWAP1 00000e4b: DUP3 00000e4c: MSTORE 00000e4d: PUSH1 0x20 00000e4f: SWAP1 00000e50: SWAP2 00000e51: KECCAK256 00000e52: PUSH2 0x0dca 00000e55: SWAP2 00000e56: PUSH1 0x02 00000e58: MUL 00000e59: DUP2 00000e5a: ADD 00000e5b: SWAP1 00000e5c: JUMPDEST 00000e5d: DUP1 00000e5e: DUP3 00000e5f: GT 00000e60: ISZERO 00000e61: PUSH2 0x0ae7 00000e64: JUMPI 00000e65: DUP1 00000e66: SLOAD 00000e67: PUSH21 0xffffffffffffffffffffffffffffffffffffffffff 00000e7d: NOT 00000e7e: AND 00000e7f: DUP2 00000e80: SSTORE 00000e81: PUSH1 0x01 00000e83: DUP2 00000e84: DUP2 00000e85: ADD 00000e86: DUP1 00000e87: SLOAD 00000e88: PUSH1 0x00 00000e8a: DUP1 00000e8b: DUP4 00000e8c: SSTORE 00000e8d: SWAP3 00000e8e: PUSH1 0x02 00000e90: SWAP1 00000e91: DUP3 00000e92: AND 00000e93: ISZERO 00000e94: PUSH2 0x0100 00000e97: MUL 00000e98: PUSH1 0x00 00000e9a: NOT 00000e9b: ADD 00000e9c: SWAP1 00000e9d: SWAP2 00000e9e: AND 00000e9f: DIV 00000ea0: PUSH1 0x1f 00000ea2: DUP2 00000ea3: SWAP1 00000ea4: LT 00000ea5: PUSH2 0x0ed2 00000ea8: JUMPI 00000ea9: POP 00000eaa: JUMPDEST 00000eab: POP 00000eac: POP 00000ead: PUSH1 0x01 00000eaf: ADD 00000eb0: PUSH2 0x0e5c 00000eb3: JUMP 00000eb4: JUMPDEST 00000eb5: PUSH1 0x1f 00000eb7: ADD 00000eb8: PUSH1 0x20 00000eba: SWAP1 00000ebb: DIV 00000ebc: SWAP1 00000ebd: PUSH1 0x00 00000ebf: MSTORE 00000ec0: PUSH1 0x20 00000ec2: PUSH1 0x00 00000ec4: KECCAK256 00000ec5: SWAP1 00000ec6: DUP2 00000ec7: ADD 00000ec8: SWAP1 00000ec9: PUSH2 0x0e14 00000ecc: SWAP2 00000ecd: SWAP1 00000ece: PUSH2 0x0ad3 00000ed1: JUMP 00000ed2: JUMPDEST 00000ed3: PUSH1 0x1f 00000ed5: ADD 00000ed6: PUSH1 0x20 00000ed8: SWAP1 00000ed9: DIV 00000eda: SWAP1 00000edb: PUSH1 0x00 00000edd: MSTORE 00000ede: PUSH1 0x20 00000ee0: PUSH1 0x00 00000ee2: KECCAK256 00000ee3: SWAP1 00000ee4: DUP2 00000ee5: ADD 00000ee6: SWAP1 00000ee7: PUSH2 0x0eaa 00000eea: SWAP2 00000eeb: SWAP1 00000eec: PUSH2 0x0ad3 00000eef: JUMP 00000ef0: JUMPDEST 00000ef1: DUP3 00000ef2: DUP1 00000ef3: ADD 00000ef4: PUSH1 0x01 00000ef6: ADD 00000ef7: DUP6 00000ef8: SSTORE 00000ef9: DUP3 00000efa: ISZERO 00000efb: PUSH2 0x0dbe 00000efe: JUMPI 00000eff: SWAP2 00000f00: DUP3 00000f01: ADD 00000f02: JUMPDEST 00000f03: DUP3 00000f04: DUP2 00000f05: GT 00000f06: ISZERO 00000f07: PUSH2 0x0dbe 00000f0a: JUMPI 00000f0b: DUP3 00000f0c: MLOAD 00000f0d: DUP3 00000f0e: PUSH1 0x00 00000f10: POP 00000f11: SSTORE 00000f12: SWAP2 00000f13: PUSH1 0x20 00000f15: ADD 00000f16: SWAP2 00000f17: SWAP1 00000f18: PUSH1 0x01 00000f1a: ADD 00000f1b: SWAP1 00000f1c: PUSH2 0x0f02 00000f1f: JUMP 00000f20: JUMPDEST 00000f21: PUSH1 0x04 00000f23: DUP1 00000f24: SLOAD 00000f25: DUP7 00000f26: SWAP1 00000f27: DUP2 00000f28: LT 00000f29: ISZERO 00000f2a: PUSH2 0x0002 00000f2d: JUMPI 00000f2e: PUSH1 0x00 00000f30: SWAP2 00000f31: DUP3 00000f32: MSTORE 00000f33: PUSH1 0x0a 00000f35: MUL 00000f36: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b 00000f57: ADD 00000f58: SWAP1 00000f59: POP 00000f5a: CALLER 00000f5b: PUSH1 0x01 00000f5d: PUSH1 0xa0 00000f5f: PUSH1 0x02 00000f61: EXP 00000f62: SUB 00000f63: AND 00000f64: PUSH1 0x00 00000f66: SWAP1 00000f67: DUP2 00000f68: MSTORE 00000f69: PUSH1 0x09 00000f6b: DUP3 00000f6c: ADD 00000f6d: PUSH1 0x20 00000f6f: MSTORE 00000f70: PUSH1 0x40 00000f72: SWAP1 00000f73: KECCAK256 00000f74: SLOAD 00000f75: SWAP1 00000f76: SWAP2 00000f77: POP 00000f78: PUSH1 0xff 00000f7a: AND 00000f7b: PUSH1 0x01 00000f7d: EQ 00000f7e: ISZERO 00000f7f: PUSH2 0x0f87 00000f82: JUMPI 00000f83: PUSH2 0x0002 00000f86: JUMP 00000f87: JUMPDEST 00000f88: CALLER 00000f89: PUSH1 0x01 00000f8b: PUSH1 0xa0 00000f8d: PUSH1 0x02 00000f8f: EXP 00000f90: SUB 00000f91: AND 00000f92: PUSH1 0x00 00000f94: SWAP1 00000f95: DUP2 00000f96: MSTORE 00000f97: PUSH1 0x09 00000f99: DUP3 00000f9a: ADD 00000f9b: PUSH1 0x20 00000f9d: MSTORE 00000f9e: PUSH1 0x40 00000fa0: SWAP1 00000fa1: KECCAK256 00000fa2: DUP1 00000fa3: SLOAD 00000fa4: PUSH1 0xff 00000fa6: NOT 00000fa7: AND 00000fa8: PUSH1 0x01 00000faa: SWAP1 00000fab: DUP2 00000fac: OR 00000fad: SWAP1 00000fae: SWAP2 00000faf: SSTORE 00000fb0: PUSH1 0x05 00000fb2: DUP3 00000fb3: ADD 00000fb4: DUP1 00000fb5: SLOAD 00000fb6: SWAP1 00000fb7: SWAP2 00000fb8: ADD 00000fb9: SWAP1 00000fba: SSTORE 00000fbb: DUP4 00000fbc: ISZERO 00000fbd: PUSH2 0x0fd0 00000fc0: JUMPI 00000fc1: PUSH1 0x06 00000fc3: DUP2 00000fc4: ADD 00000fc5: DUP1 00000fc6: SLOAD 00000fc7: PUSH1 0x01 00000fc9: ADD 00000fca: SWAP1 00000fcb: SSTORE 00000fcc: PUSH2 0x0fdd 00000fcf: JUMP 00000fd0: JUMPDEST 00000fd1: PUSH1 0x06 00000fd3: DUP2 00000fd4: ADD 00000fd5: DUP1 00000fd6: SLOAD 00000fd7: PUSH1 0x00 00000fd9: NOT 00000fda: ADD 00000fdb: SWAP1 00000fdc: SSTORE 00000fdd: JUMPDEST 00000fde: PUSH32 0xc34f869b7ff431b034b7b9aea9822dac189a685e0b015c7d1be3add3f89128e8 00000fff: DUP6 00001000: DUP6 00001001: CALLER 00001002: DUP7 00001003: PUSH1 0x40 00001005: MLOAD 00001006: DUP1 00001007: DUP6 00001008: DUP2 00001009: MSTORE 0000100a: PUSH1 0x20 0000100c: ADD 0000100d: DUP5 0000100e: DUP2 0000100f: MSTORE 00001010: PUSH1 0x20 00001012: ADD 00001013: DUP4 00001014: PUSH1 0x01 00001016: PUSH1 0xa0 00001018: PUSH1 0x02 0000101a: EXP 0000101b: SUB 0000101c: AND 0000101d: DUP2 0000101e: MSTORE 0000101f: PUSH1 0x20 00001021: ADD 00001022: DUP1 00001023: PUSH1 0x20 00001025: ADD 00001026: DUP3 00001027: DUP2 00001028: SUB 00001029: DUP3 0000102a: MSTORE 0000102b: DUP4 0000102c: DUP2 0000102d: DUP2 0000102e: MLOAD 0000102f: DUP2 00001030: MSTORE 00001031: PUSH1 0x20 00001033: ADD 00001034: SWAP2 00001035: POP 00001036: DUP1 00001037: MLOAD 00001038: SWAP1 00001039: PUSH1 0x20 0000103b: ADD 0000103c: SWAP1 0000103d: DUP1 0000103e: DUP4 0000103f: DUP4 00001040: DUP3 00001041: SWAP1 00001042: PUSH1 0x00 00001044: PUSH1 0x04 00001046: PUSH1 0x20 00001048: DUP5 00001049: PUSH1 0x1f 0000104b: ADD 0000104c: DIV 0000104d: PUSH1 0x0f 0000104f: MUL 00001050: PUSH1 0x03 00001052: ADD 00001053: CALL 00001054: POP 00001055: SWAP1 00001056: POP 00001057: SWAP1 00001058: DUP2 00001059: ADD 0000105a: SWAP1 0000105b: PUSH1 0x1f 0000105d: AND 0000105e: DUP1 0000105f: ISZERO 00001060: PUSH2 0x107d 00001063: JUMPI 00001064: DUP1 00001065: DUP3 00001066: SUB 00001067: DUP1 00001068: MLOAD 00001069: PUSH1 0x01 0000106b: DUP4 0000106c: PUSH1 0x20 0000106e: SUB 0000106f: PUSH2 0x0100 00001072: EXP 00001073: SUB 00001074: NOT 00001075: AND 00001076: DUP2 00001077: MSTORE 00001078: PUSH1 0x20 0000107a: ADD 0000107b: SWAP2 0000107c: POP 0000107d: JUMPDEST 0000107e: POP 0000107f: SWAP6 00001080: POP 00001081: POP 00001082: POP 00001083: POP 00001084: POP 00001085: POP 00001086: PUSH1 0x40 00001088: MLOAD 00001089: DUP1 0000108a: SWAP2 0000108b: SUB 0000108c: SWAP1 0000108d: LOG1 0000108e: POP 0000108f: SWAP4 00001090: SWAP3 00001091: POP 00001092: POP 00001093: POP 00001094: JUMP 00001095: JUMPDEST 00001096: PUSH1 0x06 00001098: DUP2 00001099: ADD 0000109a: SLOAD 0000109b: PUSH1 0x03 0000109d: SLOAD 0000109e: SWAP1 0000109f: SGT 000010a0: ISZERO 000010a1: PUSH2 0x114b 000010a4: JUMPI 000010a5: PUSH1 0x04 000010a7: DUP2 000010a8: DUP2 000010a9: ADD 000010aa: DUP1 000010ab: SLOAD 000010ac: PUSH1 0xff 000010ae: NOT 000010af: AND 000010b0: PUSH1 0x01 000010b2: SWAP1 000010b3: DUP2 000010b4: OR 000010b5: SWAP1 000010b6: SWAP2 000010b7: SSTORE 000010b8: DUP3 000010b9: SLOAD 000010ba: SWAP1 000010bb: DUP4 000010bc: ADD 000010bd: SLOAD 000010be: PUSH1 0x40 000010c0: MLOAD 000010c1: DUP7 000010c2: MLOAD 000010c3: PUSH1 0x01 000010c5: PUSH1 0xa0 000010c7: PUSH1 0x02 000010c9: EXP 000010ca: SUB 000010cb: SWAP4 000010cc: SWAP1 000010cd: SWAP4 000010ce: AND 000010cf: SWAP4 000010d0: PUSH8 0x0de0b6b3a7640000 000010d9: SWAP1 000010da: SWAP3 000010db: MUL 000010dc: SWAP3 000010dd: DUP8 000010de: SWAP3 000010df: DUP3 000010e0: SWAP2 000010e1: PUSH1 0x20 000010e3: DUP6 000010e4: DUP2 000010e5: ADD 000010e6: SWAP3 000010e7: DUP3 000010e8: SWAP2 000010e9: DUP6 000010ea: SWAP2 000010eb: DUP4 000010ec: SWAP2 000010ed: DUP7 000010ee: SWAP2 000010ef: PUSH1 0x00 000010f1: SWAP2 000010f2: PUSH1 0x1f 000010f4: DUP6 000010f5: ADD 000010f6: DIV 000010f7: PUSH1 0x0f 000010f9: MUL 000010fa: PUSH1 0x03 000010fc: ADD 000010fd: CALL 000010fe: POP 000010ff: SWAP1 00001100: POP 00001101: SWAP1 00001102: DUP2 00001103: ADD 00001104: SWAP1 00001105: PUSH1 0x1f 00001107: AND 00001108: DUP1 00001109: ISZERO 0000110a: PUSH2 0x1127 0000110d: JUMPI 0000110e: DUP1 0000110f: DUP3 00001110: SUB 00001111: DUP1 00001112: MLOAD 00001113: PUSH1 0x01 00001115: DUP4 00001116: PUSH1 0x20 00001118: SUB 00001119: PUSH2 0x0100 0000111c: EXP 0000111d: SUB 0000111e: NOT 0000111f: AND 00001120: DUP2 00001121: MSTORE 00001122: PUSH1 0x20 00001124: ADD 00001125: SWAP2 00001126: POP 00001127: JUMPDEST 00001128: POP 00001129: SWAP2 0000112a: POP 0000112b: POP 0000112c: PUSH1 0x00 0000112e: PUSH1 0x40 00001130: MLOAD 00001131: DUP1 00001132: DUP4 00001133: SUB 00001134: DUP2 00001135: DUP6 00001136: DUP8 00001137: PUSH2 0x8502 0000113a: GAS 0000113b: SUB 0000113c: CALL 0000113d: SWAP3 0000113e: POP 0000113f: POP 00001140: POP 00001141: ISZERO 00001142: ISZERO 00001143: PUSH2 0x11bd 00001146: JUMPI 00001147: PUSH2 0x0002 0000114a: JUMP 0000114b: JUMPDEST 0000114c: PUSH1 0x04 0000114e: DUP2 0000114f: ADD 00001150: DUP1 00001151: SLOAD 00001152: PUSH2 0xff00 00001155: NOT 00001156: AND 00001157: SWAP1 00001158: SSTORE 00001159: JUMPDEST 0000115a: PUSH1 0x06 0000115c: DUP2 0000115d: ADD 0000115e: SLOAD 0000115f: PUSH1 0x05 00001161: DUP3 00001162: ADD 00001163: SLOAD 00001164: PUSH1 0x04 00001166: DUP4 00001167: ADD 00001168: SLOAD 00001169: PUSH1 0x40 0000116b: DUP1 0000116c: MLOAD 0000116d: DUP9 0000116e: DUP2 0000116f: MSTORE 00001170: PUSH1 0x20 00001172: DUP2 00001173: ADD 00001174: SWAP5 00001175: SWAP1 00001176: SWAP5 00001177: MSTORE 00001178: DUP4 00001179: DUP2 0000117a: ADD 0000117b: SWAP3 0000117c: SWAP1 0000117d: SWAP3 0000117e: MSTORE 0000117f: PUSH2 0x0100 00001182: SWAP1 00001183: DIV 00001184: PUSH1 0xff 00001186: AND 00001187: PUSH1 0x60 00001189: DUP4 0000118a: ADD 0000118b: MSTORE 0000118c: MLOAD 0000118d: PUSH32 0xd220b7272a8b6d0d7d6bcdace67b936a8f175e6d5c1b3ee438b72256b32ab3af 000011ae: SWAP2 000011af: DUP2 000011b0: SWAP1 000011b1: SUB 000011b2: PUSH1 0x80 000011b4: ADD 000011b5: SWAP1 000011b6: LOG1 000011b7: POP 000011b8: SWAP3 000011b9: SWAP2 000011ba: POP 000011bb: POP 000011bc: JUMP 000011bd: JUMPDEST 000011be: PUSH1 0x04 000011c0: DUP2 000011c1: ADD 000011c2: DUP1 000011c3: SLOAD 000011c4: PUSH2 0xff00 000011c7: NOT 000011c8: AND 000011c9: PUSH2 0x0100 000011cc: OR 000011cd: SWAP1 000011ce: SSTORE 000011cf: PUSH2 0x1159 000011d2: JUMP 000011d3: UNKNOWN(0xA6) 000011d4: PUSH13 0xc928b5edb82af9bd4992295415 000011e2: GAS 000011e3: UNKNOWN(0xB7) 000011e4: UNKNOWN(0xB0) 000011e5: SWAP5 000011e6: UNKNOWN(0x26) 000011e7: SWAP5 000011e8: UNKNOWN(0xBE) 000011e9: LOG4 000011ea: UNKNOWN(0xCE) 000011eb: DIFFICULTY 000011ec: PUSH7
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x8066cd55f6d06b2761b572b69b9fd04adce40a8d9d5cd5b9adba4a0c49216889
call_targets:
0xcf37ce919f1f52621ea1e0ebd9709335f62220ce
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8066cd55f6d06b2761b572b69b9fd04adce40a8d9d5cd5b9adba4a0c49216889",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xcf37ce919f1f52621ea1e0ebd9709335f62220ce"
],
"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": "0x013cf08b",
"selector": "0x013cf08b",
"calldata_variants": [
"0x013cf08b",
"0x013cf08b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x237e9492",
"selector": "0x237e9492",
"calldata_variants": [
"0x237e9492",
"0x237e94920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39106821",
"selector": "0x39106821",
"calldata_variants": [
"0x39106821",
"0x391068210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x400e3949",
"selector": "0x400e3949",
"calldata_variants": [
"0x400e3949",
"0x400e39490000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5daf08ca",
"selector": "0x5daf08ca",
"calldata_variants": [
"0x5daf08ca",
"0x5daf08ca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x69bd3436",
"selector": "0x69bd3436",
"calldata_variants": [
"0x69bd3436",
"0x69bd34360000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8160f0b5",
"selector": "0x8160f0b5",
"calldata_variants": [
"0x8160f0b5",
"0x8160f0b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 587,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1626,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3015,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x8066cd55f6d06b2761b572b69b9fd04adce40a8d9d5cd5b9adba4a0c49216889
call_targets:
0xcf37ce919f1f52621ea1e0ebd9709335f62220ce
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8066cd55f6d06b2761b572b69b9fd04adce40a8d9d5cd5b9adba4a0c49216889",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xcf37ce919f1f52621ea1e0ebd9709335f62220ce"
],
"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": "0x013cf08b",
"selector": "0x013cf08b",
"calldata_variants": [
"0x013cf08b",
"0x013cf08b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x237e9492",
"selector": "0x237e9492",
"calldata_variants": [
"0x237e9492",
"0x237e94920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39106821",
"selector": "0x39106821",
"calldata_variants": [
"0x39106821",
"0x391068210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x400e3949",
"selector": "0x400e3949",
"calldata_variants": [
"0x400e3949",
"0x400e39490000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5daf08ca",
"selector": "0x5daf08ca",
"calldata_variants": [
"0x5daf08ca",
"0x5daf08ca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x69bd3436",
"selector": "0x69bd3436",
"calldata_variants": [
"0x69bd3436",
"0x69bd34360000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8160f0b5",
"selector": "0x8160f0b5",
"calldata_variants": [
"0x8160f0b5",
"0x8160f0b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 587,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1626,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3015,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [],
"untrusted_call_count": 7
}
|