019b477e-b4a6-712f-aef7-374d2b21e4c5
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 |
|---|---|---|---|---|
| 22777 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22778 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89777 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89778 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89779 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89780 | 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 0x01c1 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x01ffc9a7 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x01c6 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x059c8fc1 00000046: EQ 00000047: PUSH2 0x0214 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x06fdde03 00000051: EQ 00000052: PUSH2 0x023e 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x07c5c3ca 0000005c: EQ 0000005d: PUSH2 0x02c8 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x081812fc 00000067: EQ 00000068: PUSH2 0x02e9 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x095ea7b3 00000072: EQ 00000073: PUSH2 0x031d 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x0b1714fd 0000007d: EQ 0000007e: PUSH2 0x0343 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x0cb6aaf1 00000088: EQ 00000089: PUSH2 0x036a 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x1051db34 00000093: EQ 00000094: PUSH2 0x039d 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x18160ddd 0000009e: EQ 0000009f: PUSH2 0x03b2 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x1c3797e6 000000a9: EQ 000000aa: PUSH2 0x03c7 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x22f10e2f 000000b4: EQ 000000b5: PUSH2 0x03ee 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x23b872dd 000000bf: EQ 000000c0: PUSH2 0x0406 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x2f7e8794 000000ca: EQ 000000cb: PUSH2 0x0430 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x33ded1ba 000000d5: EQ 000000d6: PUSH2 0x0454 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x42842e0e 000000e0: EQ 000000e1: PUSH2 0x0406 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x4c05b4c5 000000eb: EQ 000000ec: PUSH2 0x0478 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0x5675161d 000000f6: EQ 000000f7: PUSH2 0x0496 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0x6352211e 00000101: EQ 00000102: PUSH2 0x04ae 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0x6817031b 0000010c: EQ 0000010d: PUSH2 0x04c6 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0x6af04a57 00000117: EQ 00000118: PUSH2 0x04e7 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0x70a08231 00000122: EQ 00000123: PUSH2 0x04fc 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0x71587988 0000012d: EQ 0000012e: PUSH2 0x051d 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0x87ae8765 00000138: EQ 00000139: PUSH2 0x053e 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0x87e1ba61 00000143: EQ 00000144: PUSH2 0x0559 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0x95d89b41 0000014e: EQ 0000014f: PUSH2 0x0571 00000152: JUMPI 00000153: DUP1 00000154: PUSH4 0xa22cb465 00000159: EQ 0000015a: PUSH2 0x0586 0000015d: JUMPI 0000015e: DUP1 0000015f: PUSH4 0xa9059cbb 00000164: EQ 00000165: PUSH2 0x05ac 00000168: JUMPI 00000169: DUP1 0000016a: PUSH4 0xb2b721a3 0000016f: EQ 00000170: PUSH2 0x05d0 00000173: JUMPI 00000174: DUP1 00000175: PUSH4 0xb2e6ceeb 0000017a: EQ 0000017b: PUSH2 0x05f4 0000017e: JUMPI 0000017f: DUP1 00000180: PUSH4 0xb88d4fde 00000185: EQ 00000186: PUSH2 0x060c 00000189: JUMPI 0000018a: DUP1 0000018b: PUSH4 0xbb5b27e1 00000190: EQ 00000191: PUSH2 0x0645 00000194: JUMPI 00000195: DUP1 00000196: PUSH4 0xca54f06d 0000019b: EQ 0000019c: PUSH2 0x065d 0000019f: JUMPI 000001a0: DUP1 000001a1: PUSH4 0xdf21219e 000001a6: EQ 000001a7: PUSH2 0x0671 000001aa: JUMPI 000001ab: DUP1 000001ac: PUSH4 0xe1389356 000001b1: EQ 000001b2: PUSH2 0x0686 000001b5: JUMPI 000001b6: DUP1 000001b7: PUSH4 0xe985e9c5 000001bc: EQ 000001bd: PUSH2 0x069e 000001c0: JUMPI 000001c1: JUMPDEST 000001c2: PUSH1 0x00 000001c4: DUP1 000001c5: REVERT 000001c6: JUMPDEST 000001c7: CALLVALUE 000001c8: DUP1 000001c9: ISZERO 000001ca: PUSH2 0x01d2 000001cd: JUMPI 000001ce: PUSH1 0x00 000001d0: DUP1 000001d1: REVERT 000001d2: JUMPDEST 000001d3: POP 000001d4: PUSH2 0x0200 000001d7: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000001f8: PUSH1 0x04 000001fa: CALLDATALOAD 000001fb: AND 000001fc: PUSH2 0x06c5 000001ff: JUMP 00000200: JUMPDEST 00000201: PUSH1 0x40 00000203: DUP1 00000204: MLOAD 00000205: SWAP2 00000206: ISZERO 00000207: ISZERO 00000208: DUP3 00000209: MSTORE 0000020a: MLOAD 0000020b: SWAP1 0000020c: DUP2 0000020d: SWAP1 0000020e: SUB 0000020f: PUSH1 0x20 00000211: ADD 00000212: SWAP1 00000213: RETURN 00000214: JUMPDEST 00000215: CALLVALUE 00000216: DUP1 00000217: ISZERO 00000218: PUSH2 0x0220 0000021b: JUMPI 0000021c: PUSH1 0x00 0000021e: DUP1 0000021f: REVERT 00000220: JUMPDEST 00000221: POP 00000222: PUSH2 0x022c 00000225: PUSH1 0x04 00000227: CALLDATALOAD 00000228: PUSH2 0x0710 0000022b: JUMP 0000022c: JUMPDEST 0000022d: PUSH1 0x40 0000022f: DUP1 00000230: MLOAD 00000231: SWAP2 00000232: DUP3 00000233: MSTORE 00000234: MLOAD 00000235: SWAP1 00000236: DUP2 00000237: SWAP1 00000238: SUB 00000239: PUSH1 0x20 0000023b: ADD 0000023c: SWAP1 0000023d: RETURN 0000023e: JUMPDEST 0000023f: CALLVALUE 00000240: DUP1 00000241: ISZERO 00000242: PUSH2 0x024a 00000245: JUMPI 00000246: PUSH1 0x00 00000248: DUP1 00000249: REVERT 0000024a: JUMPDEST 0000024b: POP 0000024c: PUSH2 0x0253 0000024f: PUSH2 0x0799 00000252: JUMP 00000253: JUMPDEST 00000254: PUSH1 0x40 00000256: DUP1 00000257: MLOAD 00000258: PUSH1 0x20 0000025a: DUP1 0000025b: DUP3 0000025c: MSTORE 0000025d: DUP4 0000025e: MLOAD 0000025f: DUP2 00000260: DUP4 00000261: ADD 00000262: MSTORE 00000263: DUP4 00000264: MLOAD 00000265: SWAP2 00000266: SWAP3 00000267: DUP4 00000268: SWAP3 00000269: SWAP1 0000026a: DUP4 0000026b: ADD 0000026c: SWAP2 0000026d: DUP6 0000026e: ADD 0000026f: SWAP1 00000270: DUP1 00000271: DUP4 00000272: DUP4 00000273: PUSH1 0x00 00000275: JUMPDEST 00000276: DUP4 00000277: DUP2 00000278: LT 00000279: ISZERO 0000027a: PUSH2 0x028d 0000027d: JUMPI 0000027e: DUP2 0000027f: DUP2 00000280: ADD 00000281: MLOAD 00000282: DUP4 00000283: DUP3 00000284: ADD 00000285: MSTORE 00000286: PUSH1 0x20 00000288: ADD 00000289: PUSH2 0x0275 0000028c: JUMP 0000028d: JUMPDEST 0000028e: POP 0000028f: POP 00000290: POP 00000291: POP 00000292: SWAP1 00000293: POP 00000294: SWAP1 00000295: DUP2 00000296: ADD 00000297: SWAP1 00000298: PUSH1 0x1f 0000029a: AND 0000029b: DUP1 0000029c: ISZERO 0000029d: PUSH2 0x02ba 000002a0: JUMPI 000002a1: DUP1 000002a2: DUP3 000002a3: SUB 000002a4: DUP1 000002a5: MLOAD 000002a6: PUSH1 0x01 000002a8: DUP4 000002a9: PUSH1 0x20 000002ab: SUB 000002ac: PUSH2 0x0100 000002af: EXP 000002b0: SUB 000002b1: NOT 000002b2: AND 000002b3: DUP2 000002b4: MSTORE 000002b5: PUSH1 0x20 000002b7: ADD 000002b8: SWAP2 000002b9: POP 000002ba: JUMPDEST 000002bb: POP 000002bc: SWAP3 000002bd: POP 000002be: POP 000002bf: POP 000002c0: PUSH1 0x40 000002c2: MLOAD 000002c3: DUP1 000002c4: SWAP2 000002c5: SUB 000002c6: SWAP1 000002c7: RETURN 000002c8: JUMPDEST 000002c9: CALLVALUE 000002ca: DUP1 000002cb: ISZERO 000002cc: PUSH2 0x02d4 000002cf: JUMPI 000002d0: PUSH1 0x00 000002d2: DUP1 000002d3: REVERT 000002d4: JUMPDEST 000002d5: POP 000002d6: PUSH2 0x022c 000002d9: PUSH1 0x01 000002db: PUSH1 0xa0 000002dd: PUSH1 0x02 000002df: EXP 000002e0: SUB 000002e1: PUSH1 0x04 000002e3: CALLDATALOAD 000002e4: AND 000002e5: PUSH2 0x0827 000002e8: JUMP 000002e9: JUMPDEST 000002ea: CALLVALUE 000002eb: DUP1 000002ec: ISZERO 000002ed: PUSH2 0x02f5 000002f0: JUMPI 000002f1: PUSH1 0x00 000002f3: DUP1 000002f4: REVERT 000002f5: JUMPDEST 000002f6: POP 000002f7: PUSH2 0x0301 000002fa: PUSH1 0x04 000002fc: CALLDATALOAD 000002fd: PUSH2 0x0839 00000300: JUMP 00000301: JUMPDEST 00000302: PUSH1 0x40 00000304: DUP1 00000305: MLOAD 00000306: PUSH1 0x01 00000308: PUSH1 0xa0 0000030a: PUSH1 0x02 0000030c: EXP 0000030d: SUB 0000030e: SWAP1 0000030f: SWAP3 00000310: AND 00000311: DUP3 00000312: MSTORE 00000313: MLOAD 00000314: SWAP1 00000315: DUP2 00000316: SWAP1 00000317: SUB 00000318: PUSH1 0x20 0000031a: ADD 0000031b: SWAP1 0000031c: RETURN 0000031d: JUMPDEST 0000031e: CALLVALUE 0000031f: DUP1 00000320: ISZERO 00000321: PUSH2 0x0329 00000324: JUMPI 00000325: PUSH1 0x00 00000327: DUP1 00000328: REVERT 00000329: JUMPDEST 0000032a: POP 0000032b: PUSH2 0x0341 0000032e: PUSH1 0x01 00000330: PUSH1 0xa0 00000332: PUSH1 0x02 00000334: EXP 00000335: SUB 00000336: PUSH1 0x04 00000338: CALLDATALOAD 00000339: AND 0000033a: PUSH1 0x24 0000033c: CALLDATALOAD 0000033d: PUSH2 0x0854 00000340: JUMP 00000341: JUMPDEST 00000342: STOP 00000343: JUMPDEST 00000344: CALLVALUE 00000345: DUP1 00000346: ISZERO 00000347: PUSH2 0x034f 0000034a: JUMPI 0000034b: PUSH1 0x00 0000034d: DUP1 0000034e: REVERT 0000034f: JUMPDEST 00000350: POP 00000351: PUSH2 0x0200 00000354: PUSH1 0x01 00000356: PUSH1 0xa0 00000358: PUSH1 0x02 0000035a: EXP 0000035b: SUB 0000035c: PUSH1 0x04 0000035e: CALLDATALOAD 0000035f: DUP2 00000360: AND 00000361: SWAP1 00000362: PUSH1 0x24 00000364: CALLDATALOAD 00000365: AND 00000366: PUSH2 0x08c2 00000369: JUMP 0000036a: JUMPDEST 0000036b: CALLVALUE 0000036c: DUP1 0000036d: ISZERO 0000036e: PUSH2 0x0376 00000371: JUMPI 00000372: PUSH1 0x00 00000374: DUP1 00000375: REVERT 00000376: JUMPDEST 00000377: POP 00000378: PUSH2 0x0382 0000037b: PUSH1 0x04 0000037d: CALLDATALOAD 0000037e: PUSH2 0x08e2 00000381: JUMP 00000382: JUMPDEST 00000383: PUSH1 0x40 00000385: DUP1 00000386: MLOAD 00000387: SWAP3 00000388: DUP4 00000389: MSTORE 0000038a: PUSH1 0xff 0000038c: SWAP1 0000038d: SWAP2 0000038e: AND 0000038f: PUSH1 0x20 00000391: DUP4 00000392: ADD 00000393: MSTORE 00000394: DUP1 00000395: MLOAD 00000396: SWAP2 00000397: DUP3 00000398: SWAP1 00000399: SUB 0000039a: ADD 0000039b: SWAP1 0000039c: RETURN 0000039d: JUMPDEST 0000039e: CALLVALUE 0000039f: DUP1 000003a0: ISZERO 000003a1: PUSH2 0x03a9 000003a4: JUMPI 000003a5: PUSH1 0x00 000003a7: DUP1 000003a8: REVERT 000003a9: JUMPDEST 000003aa: POP 000003ab: PUSH2 0x0200 000003ae: PUSH2 0x0911 000003b1: JUMP 000003b2: JUMPDEST 000003b3: CALLVALUE 000003b4: DUP1 000003b5: ISZERO 000003b6: PUSH2 0x03be 000003b9: JUMPI 000003ba: PUSH1 0x00 000003bc: DUP1 000003bd: REVERT 000003be: JUMPDEST 000003bf: POP 000003c0: PUSH2 0x022c 000003c3: PUSH2 0x0917 000003c6: JUMP 000003c7: JUMPDEST 000003c8: CALLVALUE 000003c9: DUP1 000003ca: ISZERO 000003cb: PUSH2 0x03d3 000003ce: JUMPI 000003cf: PUSH1 0x00 000003d1: DUP1 000003d2: REVERT 000003d3: JUMPDEST 000003d4: POP 000003d5: PUSH2 0x022c 000003d8: PUSH1 0x01 000003da: PUSH1 0xa0 000003dc: PUSH1 0x02 000003de: EXP 000003df: SUB 000003e0: PUSH1 0x04 000003e2: CALLDATALOAD 000003e3: AND 000003e4: PUSH1 0xff 000003e6: PUSH1 0x24 000003e8: CALLDATALOAD 000003e9: AND 000003ea: PUSH2 0x0921 000003ed: JUMP 000003ee: JUMPDEST 000003ef: CALLVALUE 000003f0: DUP1 000003f1: ISZERO 000003f2: PUSH2 0x03fa 000003f5: JUMPI 000003f6: PUSH1 0x00 000003f8: DUP1 000003f9: REVERT 000003fa: JUMPDEST 000003fb: POP 000003fc: PUSH2 0x0341 000003ff: PUSH1 0x04 00000401: CALLDATALOAD 00000402: PUSH2 0x0964 00000405: JUMP 00000406: JUMPDEST 00000407: CALLVALUE 00000408: DUP1 00000409: ISZERO 0000040a: PUSH2 0x0412 0000040d: JUMPI 0000040e: PUSH1 0x00 00000410: DUP1 00000411: REVERT 00000412: JUMPDEST 00000413: POP 00000414: PUSH2 0x0341 00000417: PUSH1 0x01 00000419: PUSH1 0xa0 0000041b: PUSH1 0x02 0000041d: EXP 0000041e: SUB 0000041f: PUSH1 0x04 00000421: CALLDATALOAD 00000422: DUP2 00000423: AND 00000424: SWAP1 00000425: PUSH1 0x24 00000427: CALLDATALOAD 00000428: AND 00000429: PUSH1 0x44 0000042b: CALLDATALOAD 0000042c: PUSH2 0x0984 0000042f: JUMP 00000430: JUMPDEST 00000431: CALLVALUE 00000432: DUP1 00000433: ISZERO 00000434: PUSH2 0x043c 00000437: JUMPI 00000438: PUSH1 0x00 0000043a: DUP1 0000043b: REVERT 0000043c: JUMPDEST 0000043d: POP 0000043e: PUSH2 0x0341 00000441: PUSH1 0x04 00000443: CALLDATALOAD 00000444: PUSH1 0x01 00000446: PUSH1 0xa0 00000448: PUSH1 0x02 0000044a: EXP 0000044b: SUB 0000044c: PUSH1 0x24 0000044e: CALLDATALOAD 0000044f: AND 00000450: PUSH2 0x0a00 00000453: JUMP 00000454: JUMPDEST 00000455: CALLVALUE 00000456: DUP1 00000457: ISZERO 00000458: PUSH2 0x0460 0000045b: JUMPI 0000045c: PUSH1 0x00 0000045e: DUP1 0000045f: REVERT 00000460: JUMPDEST 00000461: POP 00000462: PUSH2 0x0341 00000465: PUSH1 0x04 00000467: CALLDATALOAD 00000468: PUSH1 0x01 0000046a: PUSH1 0xa0 0000046c: PUSH1 0x02 0000046e: EXP 0000046f: SUB 00000470: PUSH1 0x24 00000472: CALLDATALOAD 00000473: AND 00000474: PUSH2 0x0a3f 00000477: JUMP 00000478: JUMPDEST 00000479: CALLVALUE 0000047a: DUP1 0000047b: ISZERO 0000047c: PUSH2 0x0484 0000047f: JUMPI 00000480: PUSH1 0x00 00000482: DUP1 00000483: REVERT 00000484: JUMPDEST 00000485: POP 00000486: PUSH2 0x022c 00000489: PUSH1 0x04 0000048b: CALLDATALOAD 0000048c: PUSH1 0xff 0000048e: PUSH1 0x24 00000490: CALLDATALOAD 00000491: AND 00000492: PUSH2 0x0f59 00000495: JUMP 00000496: JUMPDEST 00000497: CALLVALUE 00000498: DUP1 00000499: ISZERO 0000049a: PUSH2 0x04a2 0000049d: JUMPI 0000049e: PUSH1 0x00 000004a0: DUP1 000004a1: REVERT 000004a2: JUMPDEST 000004a3: POP 000004a4: PUSH2 0x022c 000004a7: PUSH1 0x04 000004a9: CALLDATALOAD 000004aa: PUSH2 0x0fb6 000004ad: JUMP 000004ae: JUMPDEST 000004af: CALLVALUE 000004b0: DUP1 000004b1: ISZERO 000004b2: PUSH2 0x04ba 000004b5: JUMPI 000004b6: PUSH1 0x00 000004b8: DUP1 000004b9: REVERT 000004ba: JUMPDEST 000004bb: POP 000004bc: PUSH2 0x0301 000004bf: PUSH1 0x04 000004c1: CALLDATALOAD 000004c2: PUSH2 0x0fd5 000004c5: JUMP 000004c6: JUMPDEST 000004c7: CALLVALUE 000004c8: DUP1 000004c9: ISZERO 000004ca: PUSH2 0x04d2 000004cd: JUMPI 000004ce: PUSH1 0x00 000004d0: DUP1 000004d1: REVERT 000004d2: JUMPDEST 000004d3: POP 000004d4: PUSH2 0x0341 000004d7: PUSH1 0x01 000004d9: PUSH1 0xa0 000004db: PUSH1 0x02 000004dd: EXP 000004de: SUB 000004df: PUSH1 0x04 000004e1: CALLDATALOAD 000004e2: AND 000004e3: PUSH2 0x0ff9 000004e6: JUMP 000004e7: JUMPDEST 000004e8: CALLVALUE 000004e9: DUP1 000004ea: ISZERO 000004eb: PUSH2 0x04f3 000004ee: JUMPI 000004ef: PUSH1 0x00 000004f1: DUP1 000004f2: REVERT 000004f3: JUMPDEST 000004f4: POP 000004f5: PUSH2 0x0301 000004f8: PUSH2 0x1028 000004fb: JUMP 000004fc: JUMPDEST 000004fd: CALLVALUE 000004fe: DUP1 000004ff: ISZERO 00000500: PUSH2 0x0508 00000503: JUMPI 00000504: PUSH1 0x00 00000506: DUP1 00000507: REVERT 00000508: JUMPDEST 00000509: POP 0000050a: PUSH2 0x022c 0000050d: PUSH1 0x01 0000050f: PUSH1 0xa0 00000511: PUSH1 0x02 00000513: EXP 00000514: SUB 00000515: PUSH1 0x04 00000517: CALLDATALOAD 00000518: AND 00000519: PUSH2 0x1037 0000051c: JUMP 0000051d: JUMPDEST 0000051e: CALLVALUE 0000051f: DUP1 00000520: ISZERO 00000521: PUSH2 0x0529 00000524: JUMPI 00000525: PUSH1 0x00 00000527: DUP1 00000528: REVERT 00000529: JUMPDEST 0000052a: POP 0000052b: PUSH2 0x0341 0000052e: PUSH1 0x01 00000530: PUSH1 0xa0 00000532: PUSH1 0x02 00000534: EXP 00000535: SUB 00000536: PUSH1 0x04 00000538: CALLDATALOAD 00000539: AND 0000053a: PUSH2 0x1052 0000053d: JUMP 0000053e: JUMPDEST 0000053f: CALLVALUE 00000540: DUP1 00000541: ISZERO 00000542: PUSH2 0x054a 00000545: JUMPI 00000546: PUSH1 0x00 00000548: DUP1 00000549: REVERT 0000054a: JUMPDEST 0000054b: POP 0000054c: PUSH2 0x0341 0000054f: PUSH1 0x04 00000551: CALLDATALOAD 00000552: PUSH1 0x24 00000554: CALLDATALOAD 00000555: PUSH2 0x109c 00000558: JUMP 00000559: JUMPDEST 0000055a: CALLVALUE 0000055b: DUP1 0000055c: ISZERO 0000055d: PUSH2 0x0565 00000560: JUMPI 00000561: PUSH1 0x00 00000563: DUP1 00000564: REVERT 00000565: JUMPDEST 00000566: POP 00000567: PUSH2 0x0301 0000056a: PUSH1 0x04 0000056c: CALLDATALOAD 0000056d: PUSH2 0x10f2 00000570: JUMP 00000571: JUMPDEST 00000572: CALLVALUE 00000573: DUP1 00000574: ISZERO 00000575: PUSH2 0x057d 00000578: JUMPI 00000579: PUSH1 0x00 0000057b: DUP1 0000057c: REVERT 0000057d: JUMPDEST 0000057e: POP 0000057f: PUSH2 0x0253 00000582: PUSH2 0x110d 00000585: JUMP 00000586: JUMPDEST 00000587: CALLVALUE 00000588: DUP1 00000589: ISZERO 0000058a: PUSH2 0x0592 0000058d: JUMPI 0000058e: PUSH1 0x00 00000590: DUP1 00000591: REVERT 00000592: JUMPDEST 00000593: POP 00000594: PUSH2 0x0341 00000597: PUSH1 0x01 00000599: PUSH1 0xa0 0000059b: PUSH1 0x02 0000059d: EXP 0000059e: SUB 0000059f: PUSH1 0x04 000005a1: CALLDATALOAD 000005a2: AND 000005a3: PUSH1 0x24 000005a5: CALLDATALOAD 000005a6: ISZERO 000005a7: ISZERO 000005a8: PUSH2 0x1168 000005ab: JUMP 000005ac: JUMPDEST 000005ad: CALLVALUE 000005ae: DUP1 000005af: ISZERO 000005b0: PUSH2 0x05b8 000005b3: JUMPI 000005b4: PUSH1 0x00 000005b6: DUP1 000005b7: REVERT 000005b8: JUMPDEST 000005b9: POP 000005ba: PUSH2 0x0341 000005bd: PUSH1 0x01 000005bf: PUSH1 0xa0 000005c1: PUSH1 0x02 000005c3: EXP 000005c4: SUB 000005c5: PUSH1 0x04 000005c7: CALLDATALOAD 000005c8: AND 000005c9: PUSH1 0x24 000005cb: CALLDATALOAD 000005cc: PUSH2 0x11bc 000005cf: JUMP 000005d0: JUMPDEST 000005d1: CALLVALUE 000005d2: DUP1 000005d3: ISZERO 000005d4: PUSH2 0x05dc 000005d7: JUMPI 000005d8: PUSH1 0x00 000005da: DUP1 000005db: REVERT 000005dc: JUMPDEST 000005dd: POP 000005de: PUSH2 0x022c 000005e1: PUSH1 0x01 000005e3: PUSH1 0xa0 000005e5: PUSH1 0x02 000005e7: EXP 000005e8: SUB 000005e9: PUSH1 0x04 000005eb: CALLDATALOAD 000005ec: AND 000005ed: PUSH1 0x24 000005ef: CALLDATALOAD 000005f0: PUSH2 0x11f1 000005f3: JUMP 000005f4: JUMPDEST 000005f5: CALLVALUE 000005f6: DUP1 000005f7: ISZERO 000005f8: PUSH2 0x0600 000005fb: JUMPI 000005fc: PUSH1 0x00 000005fe: DUP1 000005ff: REVERT 00000600: JUMPDEST 00000601: POP 00000602: PUSH2 0x0341 00000605: PUSH1 0x04 00000607: CALLDATALOAD 00000608: PUSH2 0x124e 0000060b: JUMP 0000060c: JUMPDEST 0000060d: CALLVALUE 0000060e: DUP1 0000060f: ISZERO 00000610: PUSH2 0x0618 00000613: JUMPI 00000614: PUSH1 0x00 00000616: DUP1 00000617: REVERT 00000618: JUMPDEST 00000619: POP 0000061a: PUSH2 0x0341 0000061d: PUSH1 0x01 0000061f: PUSH1 0xa0 00000621: PUSH1 0x02 00000623: EXP 00000624: SUB 00000625: PUSH1 0x04 00000627: DUP1 00000628: CALLDATALOAD 00000629: DUP3 0000062a: AND 0000062b: SWAP2 0000062c: PUSH1 0x24 0000062e: DUP1 0000062f: CALLDATALOAD 00000630: SWAP1 00000631: SWAP2 00000632: AND 00000633: SWAP2 00000634: PUSH1 0x44 00000636: CALLDATALOAD 00000637: SWAP2 00000638: PUSH1 0x64 0000063a: CALLDATALOAD 0000063b: SWAP1 0000063c: DUP2 0000063d: ADD 0000063e: SWAP2 0000063f: ADD 00000640: CALLDATALOAD 00000641: PUSH2 0x1289 00000644: JUMP 00000645: JUMPDEST 00000646: CALLVALUE 00000647: DUP1 00000648: ISZERO 00000649: PUSH2 0x0651 0000064c: JUMPI 0000064d: PUSH1 0x00 0000064f: DUP1 00000650: REVERT 00000651: JUMPDEST 00000652: POP 00000653: PUSH2 0x0382 00000656: PUSH1 0x04 00000658: CALLDATALOAD 00000659: PUSH2 0x1307 0000065c: JUMP 0000065d: JUMPDEST 0000065e: PUSH2 0x022c 00000661: PUSH1 0x01 00000663: PUSH1 0xa0 00000665: PUSH1 0x02 00000667: EXP 00000668: SUB 00000669: PUSH1 0x04 0000066b: CALLDATALOAD 0000066c: AND 0000066d: PUSH2 0x135c 00000670: JUMP 00000671: JUMPDEST 00000672: CALLVALUE 00000673: DUP1 00000674: ISZERO 00000675: PUSH2 0x067d 00000678: JUMPI 00000679: PUSH1 0x00 0000067b: DUP1 0000067c: REVERT 0000067d: JUMPDEST 0000067e: POP 0000067f: PUSH2 0x022c 00000682: PUSH2 0x1422 00000685: JUMP 00000686: JUMPDEST 00000687: CALLVALUE 00000688: DUP1 00000689: ISZERO 0000068a: PUSH2 0x0692 0000068d: JUMPI 0000068e: PUSH1 0x00 00000690: DUP1 00000691: REVERT 00000692: JUMPDEST 00000693: POP 00000694: PUSH2 0x0301 00000697: PUSH1 0x04 00000699: CALLDATALOAD 0000069a: PUSH2 0x1428 0000069d: JUMP 0000069e: JUMPDEST 0000069f: CALLVALUE 000006a0: DUP1 000006a1: ISZERO 000006a2: PUSH2 0x06aa 000006a5: JUMPI 000006a6: PUSH1 0x00 000006a8: DUP1 000006a9: REVERT 000006aa: JUMPDEST 000006ab: POP 000006ac: PUSH2 0x0200 000006af: PUSH1 0x01 000006b1: PUSH1 0xa0 000006b3: PUSH1 0x02 000006b5: EXP 000006b6: SUB 000006b7: PUSH1 0x04 000006b9: CALLDATALOAD 000006ba: DUP2 000006bb: AND 000006bc: SWAP1 000006bd: PUSH1 0x24 000006bf: CALLDATALOAD 000006c0: AND 000006c1: PUSH2 0x1443 000006c4: JUMP 000006c5: JUMPDEST 000006c6: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000 000006e7: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000708: DUP3 00000709: AND 0000070a: EQ 0000070b: JUMPDEST 0000070c: SWAP2 0000070d: SWAP1 0000070e: POP 0000070f: JUMP 00000710: JUMPDEST 00000711: PUSH1 0x00 00000713: PUSH1 0x04 00000715: DUP3 00000716: DUP2 00000717: SLOAD 00000718: DUP2 00000719: LT 0000071a: ISZERO 0000071b: ISZERO 0000071c: PUSH2 0x0721 0000071f: JUMPI 00000720: INVALID 00000721: JUMPDEST 00000722: PUSH1 0x00 00000724: SWAP2 00000725: DUP3 00000726: MSTORE 00000727: PUSH1 0x20 00000729: DUP3 0000072a: KECCAK256 0000072b: PUSH1 0x01 0000072d: PUSH1 0x02 0000072f: SWAP1 00000730: SWAP3 00000731: MUL 00000732: ADD 00000733: DUP2 00000734: ADD 00000735: SLOAD 00000736: SWAP2 00000737: SLOAD 00000738: PUSH1 0xff 0000073a: SWAP3 0000073b: DUP4 0000073c: AND 0000073d: SWAP1 0000073e: SWAP2 0000073f: ADD 00000740: SWAP1 00000741: SWAP2 00000742: AND 00000743: GT 00000744: ISZERO 00000745: PUSH2 0x074d 00000748: JUMPI 00000749: PUSH1 0x00 0000074b: DUP1 0000074c: REVERT 0000074d: JUMPDEST 0000074e: PUSH1 0x00 00000750: PUSH1 0x04 00000752: DUP4 00000753: DUP2 00000754: SLOAD 00000755: DUP2 00000756: LT 00000757: ISZERO 00000758: ISZERO 00000759: PUSH2 0x075e 0000075c: JUMPI 0000075d: INVALID 0000075e: JUMPDEST 0000075f: PUSH1 0x00 00000761: SWAP2 00000762: DUP3 00000763: MSTORE 00000764: PUSH1 0x20 00000766: SWAP1 00000767: SWAP2 00000768: KECCAK256 00000769: PUSH1 0x01 0000076b: PUSH1 0x02 0000076d: SWAP1 0000076e: SWAP3 0000076f: MUL 00000770: ADD 00000771: DUP2 00000772: ADD 00000773: SLOAD 00000774: DUP3 00000775: SLOAD 00000776: PUSH1 0xff 00000778: SWAP2 00000779: DUP3 0000077a: AND 0000077b: SWAP1 0000077c: SWAP3 0000077d: ADD 0000077e: AND 0000077f: SWAP1 00000780: DUP2 00000781: LT 00000782: PUSH2 0x0787 00000785: JUMPI 00000786: INVALID 00000787: JUMPDEST 00000788: SWAP1 00000789: PUSH1 0x00 0000078b: MSTORE 0000078c: PUSH1 0x20 0000078e: PUSH1 0x00 00000790: KECCAK256 00000791: ADD 00000792: SLOAD 00000793: SWAP1 00000794: POP 00000795: SWAP2 00000796: SWAP1 00000797: POP 00000798: JUMP 00000799: JUMPDEST 0000079a: PUSH1 0x09 0000079c: DUP1 0000079d: SLOAD 0000079e: PUSH1 0x40 000007a0: DUP1 000007a1: MLOAD 000007a2: PUSH1 0x20 000007a4: PUSH1 0x02 000007a6: PUSH1 0x01 000007a8: DUP6 000007a9: AND 000007aa: ISZERO 000007ab: PUSH2 0x0100 000007ae: MUL 000007af: PUSH1 0x00 000007b1: NOT 000007b2: ADD 000007b3: SWAP1 000007b4: SWAP5 000007b5: AND 000007b6: SWAP4 000007b7: SWAP1 000007b8: SWAP4 000007b9: DIV 000007ba: PUSH1 0x1f 000007bc: DUP2 000007bd: ADD 000007be: DUP5 000007bf: SWAP1 000007c0: DIV 000007c1: DUP5 000007c2: MUL 000007c3: DUP3 000007c4: ADD 000007c5: DUP5 000007c6: ADD 000007c7: SWAP1 000007c8: SWAP3 000007c9: MSTORE 000007ca: DUP2 000007cb: DUP2 000007cc: MSTORE 000007cd: SWAP3 000007ce: SWAP2 000007cf: DUP4 000007d0: ADD 000007d1: DUP3 000007d2: DUP3 000007d3: DUP1 000007d4: ISZERO 000007d5: PUSH2 0x081f 000007d8: JUMPI 000007d9: DUP1 000007da: PUSH1 0x1f 000007dc: LT 000007dd: PUSH2 0x07f4 000007e0: JUMPI 000007e1: PUSH2 0x0100 000007e4: DUP1 000007e5: DUP4 000007e6: SLOAD 000007e7: DIV 000007e8: MUL 000007e9: DUP4 000007ea: MSTORE 000007eb: SWAP2 000007ec: PUSH1 0x20 000007ee: ADD 000007ef: SWAP2 000007f0: PUSH2 0x081f 000007f3: JUMP 000007f4: JUMPDEST 000007f5: DUP3 000007f6: ADD 000007f7: SWAP2 000007f8: SWAP1 000007f9: PUSH1 0x00 000007fb: MSTORE 000007fc: PUSH1 0x20 000007fe: PUSH1 0x00 00000800: KECCAK256 00000801: SWAP1 00000802: JUMPDEST 00000803: DUP2 00000804: SLOAD 00000805: DUP2 00000806: MSTORE 00000807: SWAP1 00000808: PUSH1 0x01 0000080a: ADD 0000080b: SWAP1 0000080c: PUSH1 0x20 0000080e: ADD 0000080f: DUP1 00000810: DUP4 00000811: GT 00000812: PUSH2 0x0802 00000815: JUMPI 00000816: DUP3 00000817: SWAP1 00000818: SUB 00000819: PUSH1 0x1f 0000081b: AND 0000081c: DUP3 0000081d: ADD 0000081e: SWAP2 0000081f: JUMPDEST 00000820: POP 00000821: POP 00000822: POP 00000823: POP 00000824: POP 00000825: DUP2 00000826: JUMP 00000827: JUMPDEST 00000828: PUSH1 0x06 0000082a: PUSH1 0x20 0000082c: MSTORE 0000082d: PUSH1 0x00 0000082f: SWAP1 00000830: DUP2 00000831: MSTORE 00000832: PUSH1 0x40 00000834: SWAP1 00000835: KECCAK256 00000836: SLOAD 00000837: DUP2 00000838: JUMP 00000839: JUMPDEST 0000083a: PUSH1 0x00 0000083c: SWAP1 0000083d: DUP2 0000083e: MSTORE 0000083f: PUSH1 0x07 00000841: PUSH1 0x20 00000843: MSTORE 00000844: PUSH1 0x40 00000846: SWAP1 00000847: KECCAK256 00000848: SLOAD 00000849: PUSH1 0x01 0000084b: PUSH1 0xa0 0000084d: PUSH1 0x02 0000084f: EXP 00000850: SUB 00000851: AND 00000852: SWAP1 00000853: JUMP 00000854: JUMPDEST 00000855: PUSH2 0x085e 00000858: CALLER 00000859: DUP3 0000085a: PUSH2 0x1471 0000085d: JUMP 0000085e: JUMPDEST 0000085f: ISZERO 00000860: ISZERO 00000861: PUSH2 0x0869 00000864: JUMPI 00000865: PUSH1 0x00 00000867: DUP1 00000868: REVERT 00000869: JUMPDEST 0000086a: PUSH2 0x0873 0000086d: DUP2 0000086e: DUP4 0000086f: PUSH2 0x1491 00000872: JUMP 00000873: JUMPDEST 00000874: DUP2 00000875: PUSH1 0x01 00000877: PUSH1 0xa0 00000879: PUSH1 0x02 0000087b: EXP 0000087c: SUB 0000087d: AND 0000087e: CALLER 0000087f: PUSH1 0x01 00000881: PUSH1 0xa0 00000883: PUSH1 0x02 00000885: EXP 00000886: SUB 00000887: AND 00000888: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000008a9: DUP4 000008aa: PUSH1 0x40 000008ac: MLOAD 000008ad: DUP1 000008ae: DUP3 000008af: DUP2 000008b0: MSTORE 000008b1: PUSH1 0x20 000008b3: ADD 000008b4: SWAP2 000008b5: POP 000008b6: POP 000008b7: PUSH1 0x40 000008b9: MLOAD 000008ba: DUP1 000008bb: SWAP2 000008bc: SUB 000008bd: SWAP1 000008be: LOG3 000008bf: POP 000008c0: POP 000008c1: JUMP 000008c2: JUMPDEST 000008c3: PUSH1 0x08 000008c5: PUSH1 0x20 000008c7: SWAP1 000008c8: DUP2 000008c9: MSTORE 000008ca: PUSH1 0x00 000008cc: SWAP3 000008cd: DUP4 000008ce: MSTORE 000008cf: PUSH1 0x40 000008d1: DUP1 000008d2: DUP5 000008d3: KECCAK256 000008d4: SWAP1 000008d5: SWAP2 000008d6: MSTORE 000008d7: SWAP1 000008d8: DUP3 000008d9: MSTORE 000008da: SWAP1 000008db: KECCAK256 000008dc: SLOAD 000008dd: PUSH1 0xff 000008df: AND 000008e0: DUP2 000008e1: JUMP 000008e2: JUMPDEST 000008e3: PUSH1 0x04 000008e5: DUP1 000008e6: SLOAD 000008e7: DUP3 000008e8: SWAP1 000008e9: DUP2 000008ea: LT 000008eb: PUSH2 0x08f0 000008ee: JUMPI 000008ef: INVALID 000008f0: JUMPDEST 000008f1: PUSH1 0x00 000008f3: SWAP2 000008f4: DUP3 000008f5: MSTORE 000008f6: PUSH1 0x20 000008f8: SWAP1 000008f9: SWAP2 000008fa: KECCAK256 000008fb: PUSH1 0x02 000008fd: SWAP1 000008fe: SWAP2 000008ff: MUL 00000900: ADD 00000901: DUP1 00000902: SLOAD 00000903: PUSH1 0x01 00000905: SWAP1 00000906: SWAP2 00000907: ADD 00000908: SLOAD 00000909: SWAP1 0000090a: SWAP2 0000090b: POP 0000090c: PUSH1 0xff 0000090e: AND 0000090f: DUP3 00000910: JUMP 00000911: JUMPDEST 00000912: PUSH1 0x01 00000914: JUMPDEST 00000915: SWAP1 00000916: JUMP 00000917: JUMPDEST 00000918: PUSH1 0x04 0000091a: SLOAD 0000091b: PUSH1 0x00 0000091d: NOT 0000091e: ADD 0000091f: SWAP1 00000920: JUMP 00000921: JUMPDEST 00000922: PUSH1 0x00 00000924: PUSH1 0x01 00000926: PUSH1 0xa0 00000928: PUSH1 0x02 0000092a: EXP 0000092b: SUB 0000092c: DUP4 0000092d: AND 0000092e: ISZERO 0000092f: ISZERO 00000930: PUSH2 0x0938 00000933: JUMPI 00000934: PUSH1 0x00 00000936: DUP1 00000937: REVERT 00000938: JUMPDEST 00000939: PUSH1 0x03 0000093b: SLOAD 0000093c: CALLER 0000093d: PUSH1 0x01 0000093f: PUSH1 0xa0 00000941: PUSH1 0x02 00000943: EXP 00000944: SUB 00000945: SWAP1 00000946: DUP2 00000947: AND 00000948: SWAP2 00000949: AND 0000094a: EQ 0000094b: PUSH2 0x0953 0000094e: JUMPI 0000094f: PUSH1 0x00 00000951: DUP1 00000952: REVERT 00000953: JUMPDEST 00000954: PUSH2 0x095d 00000957: DUP4 00000958: DUP4 00000959: PUSH2 0x14cc 0000095c: JUMP 0000095d: JUMPDEST 0000095e: SWAP4 0000095f: SWAP3 00000960: POP 00000961: POP 00000962: POP 00000963: JUMP 00000964: JUMPDEST 00000965: PUSH1 0x03 00000967: SLOAD 00000968: CALLER 00000969: PUSH1 0x01 0000096b: PUSH1 0xa0 0000096d: PUSH1 0x02 0000096f: EXP 00000970: SUB 00000971: SWAP1 00000972: DUP2 00000973: AND 00000974: SWAP2 00000975: AND 00000976: EQ 00000977: PUSH2 0x097f 0000097a: JUMPI 0000097b: PUSH1 0x00 0000097d: DUP1 0000097e: REVERT 0000097f: JUMPDEST 00000980: PUSH1 0x01 00000982: SSTORE 00000983: JUMP 00000984: JUMPDEST 00000985: PUSH2 0x098e 00000988: CALLER 00000989: DUP3 0000098a: PUSH2 0x15eb 0000098d: JUMP 0000098e: JUMPDEST 0000098f: DUP1 00000990: PUSH2 0x09d0 00000993: JUMPI 00000994: POP 00000995: PUSH1 0x08 00000997: PUSH1 0x00 00000999: PUSH2 0x09a1 0000099c: DUP4 0000099d: PUSH2 0x0fd5 000009a0: JUMP 000009a1: JUMPDEST 000009a2: PUSH1 0x01 000009a4: PUSH1 0xa0 000009a6: PUSH1 0x02 000009a8: EXP 000009a9: SUB 000009aa: SWAP1 000009ab: DUP2 000009ac: AND 000009ad: DUP3 000009ae: MSTORE 000009af: PUSH1 0x20 000009b1: DUP1 000009b2: DUP4 000009b3: ADD 000009b4: SWAP4 000009b5: SWAP1 000009b6: SWAP4 000009b7: MSTORE 000009b8: PUSH1 0x40 000009ba: SWAP2 000009bb: DUP3 000009bc: ADD 000009bd: PUSH1 0x00 000009bf: SWAP1 000009c0: DUP2 000009c1: KECCAK256 000009c2: CALLER 000009c3: SWAP1 000009c4: SWAP3 000009c5: AND 000009c6: DUP2 000009c7: MSTORE 000009c8: SWAP3 000009c9: MSTORE 000009ca: SWAP1 000009cb: KECCAK256 000009cc: SLOAD 000009cd: PUSH1 0xff 000009cf: AND 000009d0: JUMPDEST 000009d1: ISZERO 000009d2: ISZERO 000009d3: PUSH2 0x09db 000009d6: JUMPI 000009d7: PUSH1 0x00 000009d9: DUP1 000009da: REVERT 000009db: JUMPDEST 000009dc: PUSH2 0x09e5 000009df: DUP4 000009e0: DUP3 000009e1: PUSH2 0x1471 000009e4: JUMP 000009e5: JUMPDEST 000009e6: ISZERO 000009e7: ISZERO 000009e8: PUSH2 0x09f0 000009eb: JUMPI 000009ec: PUSH1 0x00 000009ee: DUP1 000009ef: REVERT 000009f0: JUMPDEST 000009f1: PUSH2 0x09fb 000009f4: DUP4 000009f5: DUP4 000009f6: DUP4 000009f7: PUSH2 0x160b 000009fa: JUMP 000009fb: JUMPDEST 000009fc: POP 000009fd: POP 000009fe: POP 000009ff: JUMP 00000a00: JUMPDEST 00000a01: PUSH1 0x03 00000a03: SLOAD 00000a04: CALLER 00000a05: PUSH1 0x01 00000a07: PUSH1 0xa0 00000a09: PUSH1 0x02 00000a0b: EXP 00000a0c: SUB 00000a0d: SWAP1 00000a0e: DUP2 00000a0f: AND 00000a10: SWAP2 00000a11: AND 00000a12: EQ 00000a13: PUSH2 0x0a1b 00000a16: JUMPI 00000a17: PUSH1 0x00 00000a19: DUP1 00000a1a: REVERT 00000a1b: JUMPDEST 00000a1c: PUSH2 0x0a25 00000a1f: ADDRESS 00000a20: DUP4 00000a21: PUSH2 0x1471 00000a24: JUMP 00000a25: JUMPDEST 00000a26: ISZERO 00000a27: ISZERO 00000a28: PUSH2 0x0a30 00000a2b: JUMPI 00000a2c: PUSH1 0x00 00000a2e: DUP1 00000a2f: REVERT 00000a30: JUMPDEST 00000a31: PUSH2 0x0a3b 00000a34: ADDRESS 00000a35: DUP3 00000a36: DUP5 00000a37: PUSH2 0x160b 00000a3a: JUMP 00000a3b: JUMPDEST 00000a3c: POP 00000a3d: POP 00000a3e: JUMP 00000a3f: JUMPDEST 00000a40: PUSH1 0x00 00000a42: DUP1 00000a43: PUSH1 0x00 00000a45: PUSH1 0x04 00000a47: DUP6 00000a48: DUP2 00000a49: SLOAD 00000a4a: DUP2 00000a4b: LT 00000a4c: ISZERO 00000a4d: ISZERO 00000a4e: PUSH2 0x0a53 00000a51: JUMPI 00000a52: INVALID 00000a53: JUMPDEST 00000a54: PUSH1 0x00 00000a56: SWAP2 00000a57: DUP3 00000a58: MSTORE 00000a59: PUSH1 0x20 00000a5b: SWAP1 00000a5c: SWAP2 00000a5d: KECCAK256 00000a5e: PUSH1 0x01 00000a60: PUSH1 0x02 00000a62: SWAP1 00000a63: SWAP3 00000a64: MUL 00000a65: ADD 00000a66: DUP2 00000a67: ADD 00000a68: SLOAD 00000a69: DUP3 00000a6a: SLOAD 00000a6b: PUSH1 0xff 00000a6d: SWAP2 00000a6e: DUP3 00000a6f: AND 00000a70: SWAP1 00000a71: SWAP3 00000a72: ADD 00000a73: AND 00000a74: SWAP1 00000a75: DUP2 00000a76: LT 00000a77: PUSH2 0x0a7c 00000a7a: JUMPI 00000a7b: INVALID 00000a7c: JUMPDEST 00000a7d: PUSH1 0x00 00000a7f: SWAP2 00000a80: DUP3 00000a81: MSTORE 00000a82: PUSH1 0x20 00000a84: SWAP1 00000a85: SWAP2 00000a86: KECCAK256 00000a87: ADD 00000a88: SLOAD 00000a89: ISZERO 00000a8a: ISZERO 00000a8b: PUSH2 0x0a93 00000a8e: JUMPI 00000a8f: PUSH1 0x00 00000a91: DUP1 00000a92: REVERT 00000a93: JUMPDEST 00000a94: CALLER 00000a95: PUSH1 0x01 00000a97: PUSH1 0xa0 00000a99: PUSH1 0x02 00000a9b: EXP 00000a9c: SUB 00000a9d: AND 00000a9e: DUP4 00000a9f: PUSH1 0x01 00000aa1: PUSH1 0xa0 00000aa3: PUSH1 0x02 00000aa5: EXP 00000aa6: SUB 00000aa7: AND 00000aa8: EQ 00000aa9: ISZERO 00000aaa: DUP1 00000aab: ISZERO 00000aac: PUSH2 0x0ac4 00000aaf: JUMPI 00000ab0: POP 00000ab1: PUSH1 0x03 00000ab3: SLOAD 00000ab4: CALLER 00000ab5: PUSH1 0x01 00000ab7: PUSH1 0xa0 00000ab9: PUSH1 0x02 00000abb: EXP 00000abc: SUB 00000abd: SWAP1 00000abe: DUP2 00000abf: AND 00000ac0: SWAP2 00000ac1: AND 00000ac2: EQ 00000ac3: ISZERO 00000ac4: JUMPDEST 00000ac5: ISZERO 00000ac6: PUSH2 0x0b6c 00000ac9: JUMPI 00000aca: DUP3 00000acb: SWAP2 00000acc: POP 00000acd: CALLER 00000ace: PUSH1 0x01 00000ad0: PUSH1 0xa0 00000ad2: PUSH1 0x02 00000ad4: EXP 00000ad5: SUB 00000ad6: AND 00000ad7: DUP3 00000ad8: PUSH1 0x01 00000ada: PUSH1 0xa0 00000adc: PUSH1 0x02 00000ade: EXP 00000adf: SUB 00000ae0: AND 00000ae1: PUSH4 0x8da5cb5b 00000ae6: PUSH1 0x40 00000ae8: MLOAD 00000ae9: DUP2 00000aea: PUSH4 0xffffffff 00000aef: AND 00000af0: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000b0e: MUL 00000b0f: DUP2 00000b10: MSTORE 00000b11: PUSH1 0x04 00000b13: ADD 00000b14: PUSH1 0x20 00000b16: PUSH1 0x40 00000b18: MLOAD 00000b19: DUP1 00000b1a: DUP4 00000b1b: SUB 00000b1c: DUP2 00000b1d: PUSH1 0x00 00000b1f: DUP8 00000b20: DUP1 00000b21: EXTCODESIZE 00000b22: ISZERO 00000b23: DUP1 00000b24: ISZERO 00000b25: PUSH2 0x0b2d 00000b28: JUMPI 00000b29: PUSH1 0x00 00000b2b: DUP1 00000b2c: REVERT 00000b2d: JUMPDEST 00000b2e: POP 00000b2f: GAS 00000b30: CALL 00000b31: ISZERO 00000b32: DUP1 00000b33: ISZERO 00000b34: PUSH2 0x0b41 00000b37: JUMPI 00000b38: RETURNDATASIZE 00000b39: PUSH1 0x00 00000b3b: DUP1 00000b3c: RETURNDATACOPY 00000b3d: RETURNDATASIZE 00000b3e: PUSH1 0x00 00000b40: REVERT 00000b41: JUMPDEST 00000b42: POP 00000b43: POP 00000b44: POP 00000b45: POP 00000b46: PUSH1 0x40 00000b48: MLOAD 00000b49: RETURNDATASIZE 00000b4a: PUSH1 0x20 00000b4c: DUP2 00000b4d: LT 00000b4e: ISZERO 00000b4f: PUSH2 0x0b57 00000b52: JUMPI 00000b53: PUSH1 0x00 00000b55: DUP1 00000b56: REVERT 00000b57: JUMPDEST 00000b58: POP 00000b59: MLOAD 00000b5a: PUSH1 0x01 00000b5c: PUSH1 0xa0 00000b5e: PUSH1 0x02 00000b60: EXP 00000b61: SUB 00000b62: AND 00000b63: EQ 00000b64: PUSH2 0x0b6c 00000b67: JUMPI 00000b68: PUSH1 0x00 00000b6a: DUP1 00000b6b: REVERT 00000b6c: JUMPDEST 00000b6d: POP 00000b6e: PUSH1 0x0c 00000b70: SLOAD 00000b71: PUSH1 0x04 00000b73: DUP1 00000b74: SLOAD 00000b75: PUSH1 0x01 00000b77: PUSH1 0xa0 00000b79: PUSH1 0x02 00000b7b: EXP 00000b7c: SUB 00000b7d: SWAP1 00000b7e: SWAP3 00000b7f: AND 00000b80: SWAP2 00000b81: PUSH1 0x00 00000b83: SWAP2 00000b84: SWAP1 00000b85: DUP7 00000b86: SWAP1 00000b87: DUP2 00000b88: LT 00000b89: PUSH2 0x0b8e 00000b8c: JUMPI 00000b8d: INVALID 00000b8e: JUMPDEST 00000b8f: PUSH1 0x00 00000b91: SWAP2 00000b92: DUP3 00000b93: MSTORE 00000b94: PUSH1 0x20 00000b96: SWAP1 00000b97: SWAP2 00000b98: KECCAK256 00000b99: PUSH1 0x01 00000b9b: PUSH1 0x02 00000b9d: SWAP1 00000b9e: SWAP3 00000b9f: MUL 00000ba0: ADD 00000ba1: DUP2 00000ba2: ADD 00000ba3: SLOAD 00000ba4: DUP3 00000ba5: SLOAD 00000ba6: PUSH1 0xff 00000ba8: SWAP2 00000ba9: DUP3 00000baa: AND 00000bab: SWAP1 00000bac: SWAP3 00000bad: ADD 00000bae: AND 00000baf: SWAP1 00000bb0: DUP2 00000bb1: LT 00000bb2: PUSH2 0x0bb7 00000bb5: JUMPI 00000bb6: INVALID 00000bb7: JUMPDEST 00000bb8: SWAP1 00000bb9: PUSH1 0x00 00000bbb: MSTORE 00000bbc: PUSH1 0x20 00000bbe: PUSH1 0x00 00000bc0: KECCAK256 00000bc1: ADD 00000bc2: SLOAD 00000bc3: DUP2 00000bc4: PUSH1 0x01 00000bc6: PUSH1 0xa0 00000bc8: PUSH1 0x02 00000bca: EXP 00000bcb: SUB 00000bcc: AND 00000bcd: PUSH4 0xdd62ed3e 00000bd2: DUP6 00000bd3: ADDRESS 00000bd4: PUSH1 0x40 00000bd6: MLOAD 00000bd7: DUP4 00000bd8: PUSH4 0xffffffff 00000bdd: AND 00000bde: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000bfc: MUL 00000bfd: DUP2 00000bfe: MSTORE 00000bff: PUSH1 0x04 00000c01: ADD 00000c02: DUP1 00000c03: DUP4 00000c04: PUSH1 0x01 00000c06: PUSH1 0xa0 00000c08: PUSH1 0x02 00000c0a: EXP 00000c0b: SUB 00000c0c: AND 00000c0d: PUSH1 0x01 00000c0f: PUSH1 0xa0 00000c11: PUSH1 0x02 00000c13: EXP 00000c14: SUB 00000c15: AND 00000c16: DUP2 00000c17: MSTORE 00000c18: PUSH1 0x20 00000c1a: ADD 00000c1b: DUP3 00000c1c: PUSH1 0x01 00000c1e: PUSH1 0xa0 00000c20: PUSH1 0x02 00000c22: EXP 00000c23: SUB 00000c24: AND 00000c25: PUSH1 0x01 00000c27: PUSH1 0xa0 00000c29: PUSH1 0x02 00000c2b: EXP 00000c2c: SUB 00000c2d: AND 00000c2e: DUP2 00000c2f: MSTORE 00000c30: PUSH1 0x20 00000c32: ADD 00000c33: SWAP3 00000c34: POP 00000c35: POP 00000c36: POP 00000c37: PUSH1 0x20 00000c39: PUSH1 0x40 00000c3b: MLOAD 00000c3c: DUP1 00000c3d: DUP4 00000c3e: SUB 00000c3f: DUP2 00000c40: PUSH1 0x00 00000c42: DUP8 00000c43: DUP1 00000c44: EXTCODESIZE 00000c45: ISZERO 00000c46: DUP1 00000c47: ISZERO 00000c48: PUSH2 0x0c50 00000c4b: JUMPI 00000c4c: PUSH1 0x00 00000c4e: DUP1 00000c4f: REVERT 00000c50: JUMPDEST 00000c51: POP 00000c52: GAS 00000c53: CALL 00000c54: ISZERO 00000c55: DUP1 00000c56: ISZERO 00000c57: PUSH2 0x0c64 00000c5a: JUMPI 00000c5b: RETURNDATASIZE 00000c5c: PUSH1 0x00 00000c5e: DUP1 00000c5f: RETURNDATACOPY 00000c60: RETURNDATASIZE 00000c61: PUSH1 0x00 00000c63: REVERT 00000c64: JUMPDEST 00000c65: POP 00000c66: POP 00000c67: POP 00000c68: POP 00000c69: PUSH1 0x40 00000c6b: MLOAD 00000c6c: RETURNDATASIZE 00000c6d: PUSH1 0x20 00000c6f: DUP2 00000c70: LT 00000c71: ISZERO 00000c72: PUSH2 0x0c7a 00000c75: JUMPI 00000c76: PUSH1 0x00 00000c78: DUP1 00000c79: REVERT 00000c7a: JUMPDEST 00000c7b: POP 00000c7c: MLOAD 00000c7d: LT 00000c7e: ISZERO 00000c7f: PUSH2 0x0d0f 00000c82: JUMPI 00000c83: PUSH1 0x40 00000c85: DUP1 00000c86: MLOAD 00000c87: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ca8: DUP2 00000ca9: MSTORE 00000caa: PUSH1 0x20 00000cac: PUSH1 0x04 00000cae: DUP3 00000caf: ADD 00000cb0: MSTORE 00000cb1: PUSH1 0x32 00000cb3: PUSH1 0x24 00000cb5: DUP3 00000cb6: ADD 00000cb7: MSTORE 00000cb8: PUSH32 0x4d757374206769766520616e20616c6c6f77616e6365206f6620546170636f69 00000cd9: PUSH1 0x44 00000cdb: DUP3 00000cdc: ADD 00000cdd: MSTORE 00000cde: PUSH32 0x6e20746f207468697320636f6e74726163740000000000000000000000000000 00000cff: PUSH1 0x64 00000d01: DUP3 00000d02: ADD 00000d03: MSTORE 00000d04: SWAP1 00000d05: MLOAD 00000d06: SWAP1 00000d07: DUP2 00000d08: SWAP1 00000d09: SUB 00000d0a: PUSH1 0x84 00000d0c: ADD 00000d0d: SWAP1 00000d0e: REVERT 00000d0f: JUMPDEST 00000d10: PUSH1 0x00 00000d12: PUSH1 0x04 00000d14: DUP6 00000d15: DUP2 00000d16: SLOAD 00000d17: DUP2 00000d18: LT 00000d19: ISZERO 00000d1a: ISZERO 00000d1b: PUSH2 0x0d20 00000d1e: JUMPI 00000d1f: INVALID 00000d20: JUMPDEST 00000d21: PUSH1 0x00 00000d23: SWAP2 00000d24: DUP3 00000d25: MSTORE 00000d26: PUSH1 0x20 00000d28: SWAP1 00000d29: SWAP2 00000d2a: KECCAK256 00000d2b: PUSH1 0x01 00000d2d: PUSH1 0x02 00000d2f: SWAP1 00000d30: SWAP3 00000d31: MUL 00000d32: ADD 00000d33: DUP2 00000d34: ADD 00000d35: SLOAD 00000d36: DUP3 00000d37: SLOAD 00000d38: PUSH1 0xff 00000d3a: SWAP2 00000d3b: DUP3 00000d3c: AND 00000d3d: SWAP1 00000d3e: SWAP3 00000d3f: ADD 00000d40: AND 00000d41: SWAP1 00000d42: DUP2 00000d43: LT 00000d44: PUSH2 0x0d49 00000d47: JUMPI 00000d48: INVALID 00000d49: JUMPDEST 00000d4a: SWAP1 00000d4b: PUSH1 0x00 00000d4d: MSTORE 00000d4e: PUSH1 0x20 00000d50: PUSH1 0x00 00000d52: KECCAK256 00000d53: ADD 00000d54: SLOAD 00000d55: DUP2 00000d56: PUSH1 0x01 00000d58: PUSH1 0xa0 00000d5a: PUSH1 0x02 00000d5c: EXP 00000d5d: SUB 00000d5e: AND 00000d5f: PUSH4 0x70a08231 00000d64: DUP6 00000d65: PUSH1 0x40 00000d67: MLOAD 00000d68: DUP3 00000d69: PUSH4 0xffffffff 00000d6e: AND 00000d6f: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000d8d: MUL 00000d8e: DUP2 00000d8f: MSTORE 00000d90: PUSH1 0x04 00000d92: ADD 00000d93: DUP1 00000d94: DUP3 00000d95: PUSH1 0x01 00000d97: PUSH1 0xa0 00000d99: PUSH1 0x02 00000d9b: EXP 00000d9c: SUB 00000d9d: AND 00000d9e: PUSH1 0x01 00000da0: PUSH1 0xa0 00000da2: PUSH1 0x02 00000da4: EXP 00000da5: SUB 00000da6: AND 00000da7: DUP2 00000da8: MSTORE 00000da9: PUSH1 0x20 00000dab: ADD 00000dac: SWAP2 00000dad: POP 00000dae: POP 00000daf: PUSH1 0x20 00000db1: PUSH1 0x40 00000db3: MLOAD 00000db4: DUP1 00000db5: DUP4 00000db6: SUB 00000db7: DUP2 00000db8: PUSH1 0x00 00000dba: DUP8 00000dbb: DUP1 00000dbc: EXTCODESIZE 00000dbd: ISZERO 00000dbe: DUP1 00000dbf: ISZERO 00000dc0: PUSH2 0x0dc8 00000dc3: JUMPI 00000dc4: PUSH1 0x00 00000dc6: DUP1 00000dc7: REVERT 00000dc8: JUMPDEST 00000dc9: POP 00000dca: GAS 00000dcb: CALL 00000dcc: ISZERO 00000dcd: DUP1 00000dce: ISZERO 00000dcf: PUSH2 0x0ddc 00000dd2: JUMPI 00000dd3: RETURNDATASIZE 00000dd4: PUSH1 0x00 00000dd6: DUP1 00000dd7: RETURNDATACOPY 00000dd8: RETURNDATASIZE 00000dd9: PUSH1 0x00 00000ddb: REVERT 00000ddc: JUMPDEST 00000ddd: POP 00000dde: POP 00000ddf: POP 00000de0: POP 00000de1: PUSH1 0x40 00000de3: MLOAD 00000de4: RETURNDATASIZE 00000de5: PUSH1 0x20 00000de7: DUP2 00000de8: LT 00000de9: ISZERO 00000dea: PUSH2 0x0df2 00000ded: JUMPI 00000dee: PUSH1 0x00 00000df0: DUP1 00000df1: REVERT 00000df2: JUMPDEST 00000df3: POP 00000df4: MLOAD 00000df5: LT 00000df6: ISZERO 00000df7: PUSH2 0x0dff 00000dfa: JUMPI 00000dfb: PUSH1 0x00 00000dfd: DUP1 00000dfe: REVERT 00000dff: JUMPDEST 00000e00: DUP1 00000e01: PUSH1 0x01 00000e03: PUSH1 0xa0 00000e05: PUSH1 0x02 00000e07: EXP 00000e08: SUB 00000e09: AND 00000e0a: PUSH4 0x23b872dd 00000e0f: DUP5 00000e10: PUSH1 0x02 00000e12: PUSH1 0x00 00000e14: SWAP1 00000e15: SLOAD 00000e16: SWAP1 00000e17: PUSH2 0x0100 00000e1a: EXP 00000e1b: SWAP1 00000e1c: DIV 00000e1d: PUSH1 0x01 00000e1f: PUSH1 0xa0 00000e21: PUSH1 0x02 00000e23: EXP 00000e24: SUB 00000e25: AND 00000e26: PUSH1 0x00 00000e28: PUSH1 0x04 00000e2a: DUP10 00000e2b: DUP2 00000e2c: SLOAD 00000e2d: DUP2 00000e2e: LT 00000e2f: ISZERO 00000e30: ISZERO 00000e31: PUSH2 0x0e36 00000e34: JUMPI 00000e35: INVALID 00000e36: JUMPDEST 00000e37: PUSH1 0x00 00000e39: SWAP2 00000e3a: DUP3 00000e3b: MSTORE 00000e3c: PUSH1 0x20 00000e3e: SWAP1 00000e3f: SWAP2 00000e40: KECCAK256 00000e41: PUSH1 0x01 00000e43: PUSH1 0x02 00000e45: SWAP1 00000e46: SWAP3 00000e47: MUL 00000e48: ADD 00000e49: DUP2 00000e4a: ADD 00000e4b: SLOAD 00000e4c: DUP3 00000e4d: SLOAD 00000e4e: PUSH1 0xff 00000e50: SWAP2 00000e51: DUP3 00000e52: AND 00000e53: SWAP1 00000e54: SWAP3 00000e55: ADD 00000e56: AND 00000e57: SWAP1 00000e58: DUP2 00000e59: LT 00000e5a: PUSH2 0x0e5f 00000e5d: JUMPI 00000e5e: INVALID 00000e5f: JUMPDEST 00000e60: SWAP1 00000e61: PUSH1 0x00 00000e63: MSTORE 00000e64: PUSH1 0x20 00000e66: PUSH1 0x00 00000e68: KECCAK256 00000e69: ADD 00000e6a: SLOAD 00000e6b: PUSH1 0x40 00000e6d: MLOAD 00000e6e: DUP5 00000e6f: PUSH4 0xffffffff 00000e74: AND 00000e75: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000e93: MUL 00000e94: DUP2 00000e95: MSTORE 00000e96: PUSH1 0x04 00000e98: ADD 00000e99: DUP1 00000e9a: DUP5 00000e9b: PUSH1 0x01 00000e9d: PUSH1 0xa0 00000e9f: PUSH1 0x02 00000ea1: EXP 00000ea2: SUB 00000ea3: AND 00000ea4: PUSH1 0x01 00000ea6: PUSH1 0xa0 00000ea8: PUSH1 0x02 00000eaa: EXP 00000eab: SUB 00000eac: AND 00000ead: DUP2 00000eae: MSTORE 00000eaf: PUSH1 0x20 00000eb1: ADD 00000eb2: DUP4 00000eb3: PUSH1 0x01 00000eb5: PUSH1 0xa0 00000eb7: PUSH1 0x02 00000eb9: EXP 00000eba: SUB 00000ebb: AND 00000ebc: PUSH1 0x01 00000ebe: PUSH1 0xa0 00000ec0: PUSH1 0x02 00000ec2: EXP 00000ec3: SUB 00000ec4: AND 00000ec5: DUP2 00000ec6: MSTORE 00000ec7: PUSH1 0x20 00000ec9: ADD 00000eca: DUP3 00000ecb: DUP2 00000ecc: MSTORE 00000ecd: PUSH1 0x20 00000ecf: ADD 00000ed0: SWAP4 00000ed1: POP 00000ed2: POP 00000ed3: POP 00000ed4: POP 00000ed5: PUSH1 0x20 00000ed7: PUSH1 0x40 00000ed9: MLOAD 00000eda: DUP1 00000edb: DUP4 00000edc: SUB 00000edd: DUP2 00000ede: PUSH1 0x00 00000ee0: DUP8 00000ee1: DUP1 00000ee2: EXTCODESIZE 00000ee3: ISZERO 00000ee4: DUP1 00000ee5: ISZERO 00000ee6: PUSH2 0x0eee 00000ee9: JUMPI 00000eea: PUSH1 0x00 00000eec: DUP1 00000eed: REVERT 00000eee: JUMPDEST 00000eef: POP 00000ef0: GAS 00000ef1: CALL 00000ef2: ISZERO 00000ef3: DUP1 00000ef4: ISZERO 00000ef5: PUSH2 0x0f02 00000ef8: JUMPI 00000ef9: RETURNDATASIZE 00000efa: PUSH1 0x00 00000efc: DUP1 00000efd: RETURNDATACOPY 00000efe: RETURNDATASIZE 00000eff: PUSH1 0x00 00000f01: REVERT 00000f02: JUMPDEST 00000f03: POP 00000f04: POP 00000f05: POP 00000f06: POP 00000f07: PUSH1 0x40 00000f09: MLOAD 00000f0a: RETURNDATASIZE 00000f0b: PUSH1 0x20 00000f0d: DUP2 00000f0e: LT 00000f0f: ISZERO 00000f10: PUSH2 0x0f18 00000f13: JUMPI 00000f14: PUSH1 0x00 00000f16: DUP1 00000f17: REVERT 00000f18: JUMPDEST 00000f19: POP 00000f1a: POP 00000f1b: PUSH1 0x04 00000f1d: DUP1 00000f1e: SLOAD 00000f1f: DUP6 00000f20: SWAP1 00000f21: DUP2 00000f22: LT 00000f23: PUSH2 0x0f28 00000f26: JUMPI 00000f27: INVALID 00000f28: JUMPDEST 00000f29: PUSH1 0x00 00000f2b: SWAP2 00000f2c: DUP3 00000f2d: MSTORE 00000f2e: PUSH1 0x20 00000f30: SWAP1 00000f31: SWAP2 00000f32: KECCAK256 00000f33: PUSH1 0x02 00000f35: SWAP1 00000f36: SWAP2 00000f37: MUL 00000f38: ADD 00000f39: PUSH1 0x01 00000f3b: SWAP1 00000f3c: DUP2 00000f3d: ADD 00000f3e: DUP1 00000f3f: SLOAD 00000f40: PUSH1 0xff 00000f42: NOT 00000f43: DUP2 00000f44: AND 00000f45: PUSH1 0xff 00000f47: SWAP2 00000f48: DUP3 00000f49: AND 00000f4a: SWAP1 00000f4b: SWAP4 00000f4c: ADD 00000f4d: AND 00000f4e: SWAP2 00000f4f: SWAP1 00000f50: SWAP2 00000f51: OR 00000f52: SWAP1 00000f53: SSTORE 00000f54: POP 00000f55: POP 00000f56: POP 00000f57: POP 00000f58: JUMP 00000f59: JUMPDEST 00000f5a: PUSH1 0x03 00000f5c: SLOAD 00000f5d: PUSH1 0x00 00000f5f: SWAP1 00000f60: CALLER 00000f61: PUSH1 0x01 00000f63: PUSH1 0xa0 00000f65: PUSH1 0x02 00000f67: EXP 00000f68: SUB 00000f69: SWAP1 00000f6a: DUP2 00000f6b: AND 00000f6c: SWAP2 00000f6d: AND 00000f6e: EQ 00000f6f: PUSH2 0x0f77 00000f72: JUMPI 00000f73: PUSH1 0x00 00000f75: DUP1 00000f76: REVERT 00000f77: JUMPDEST 00000f78: DUP2 00000f79: PUSH1 0x04 00000f7b: DUP5 00000f7c: DUP2 00000f7d: SLOAD 00000f7e: DUP2 00000f7f: LT 00000f80: ISZERO 00000f81: ISZERO 00000f82: PUSH2 0x0f87 00000f85: JUMPI 00000f86: INVALID 00000f87: JUMPDEST 00000f88: SWAP1 00000f89: PUSH1 0x00 00000f8b: MSTORE 00000f8c: PUSH1 0x20 00000f8e: PUSH1 0x00 00000f90: KECCAK256 00000f91: SWAP1 00000f92: PUSH1 0x02 00000f94: MUL 00000f95: ADD 00000f96: PUSH1 0x01 00000f98: ADD 00000f99: PUSH1 0x00 00000f9b: PUSH2 0x0100 00000f9e: EXP 00000f9f: DUP2 00000fa0: SLOAD 00000fa1: DUP2 00000fa2: PUSH1 0xff 00000fa4: MUL 00000fa5: NOT 00000fa6: AND 00000fa7: SWAP1 00000fa8: DUP4 00000fa9: PUSH1 0xff 00000fab: AND 00000fac: MUL 00000fad: OR 00000fae: SWAP1 00000faf: SSTORE 00000fb0: POP 00000fb1: SWAP3 00000fb2: SWAP2 00000fb3: POP 00000fb4: POP 00000fb5: JUMP 00000fb6: JUMPDEST 00000fb7: PUSH1 0x00 00000fb9: DUP1 00000fba: SLOAD 00000fbb: DUP3 00000fbc: SWAP1 00000fbd: DUP2 00000fbe: LT 00000fbf: PUSH2 0x0fc4 00000fc2: JUMPI 00000fc3: INVALID 00000fc4: JUMPDEST 00000fc5: PUSH1 0x00 00000fc7: SWAP2 00000fc8: DUP3 00000fc9: MSTORE 00000fca: PUSH1 0x20 00000fcc: SWAP1 00000fcd: SWAP2 00000fce: KECCAK256 00000fcf: ADD 00000fd0: SLOAD 00000fd1: SWAP1 00000fd2: POP 00000fd3: DUP2 00000fd4: JUMP 00000fd5: JUMPDEST 00000fd6: PUSH1 0x00 00000fd8: DUP2 00000fd9: DUP2 00000fda: MSTORE 00000fdb: PUSH1 0x05 00000fdd: PUSH1 0x20 00000fdf: MSTORE 00000fe0: PUSH1 0x40 00000fe2: SWAP1 00000fe3: KECCAK256 00000fe4: SLOAD 00000fe5: PUSH1 0x01 00000fe7: PUSH1 0xa0 00000fe9: PUSH1 0x02 00000feb: EXP 00000fec: SUB 00000fed: AND 00000fee: DUP1 00000fef: ISZERO 00000ff0: ISZERO 00000ff1: PUSH2 0x070b 00000ff4: JUMPI 00000ff5: PUSH1 0x00 00000ff7: DUP1 00000ff8: REVERT 00000ff9: JUMPDEST 00000ffa: PUSH1 0x02 00000ffc: DUP1 00000ffd: SLOAD 00000ffe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001013: NOT 00001014: AND 00001015: PUSH1 0x01 00001017: PUSH1 0xa0 00001019: PUSH1 0x02 0000101b: EXP 0000101c: SUB 0000101d: SWAP3 0000101e: SWAP1 0000101f: SWAP3 00001020: AND 00001021: SWAP2 00001022: SWAP1 00001023: SWAP2 00001024: OR 00001025: SWAP1 00001026: SSTORE 00001027: JUMP 00001028: JUMPDEST 00001029: PUSH1 0x0b 0000102b: SLOAD 0000102c: PUSH1 0x01 0000102e: PUSH1 0xa0 00001030: PUSH1 0x02 00001032: EXP 00001033: SUB 00001034: AND 00001035: DUP2 00001036: JUMP 00001037: JUMPDEST 00001038: PUSH1 0x01 0000103a: PUSH1 0xa0 0000103c: PUSH1 0x02 0000103e: EXP 0000103f: SUB 00001040: AND 00001041: PUSH1 0x00 00001043: SWAP1 00001044: DUP2 00001045: MSTORE 00001046: PUSH1 0x06 00001048: PUSH1 0x20 0000104a: MSTORE 0000104b: PUSH1 0x40 0000104d: SWAP1 0000104e: KECCAK256 0000104f: SLOAD 00001050: SWAP1 00001051: JUMP 00001052: JUMPDEST 00001053: PUSH1 0x03 00001055: SLOAD 00001056: CALLER 00001057: PUSH1 0x01 00001059: PUSH1 0xa0 0000105b: PUSH1 0x02 0000105d: EXP 0000105e: SUB 0000105f: SWAP1 00001060: DUP2 00001061: AND 00001062: SWAP2 00001063: AND 00001064: EQ 00001065: PUSH2 0x106d 00001068: JUMPI 00001069: PUSH1 0x00 0000106b: DUP1 0000106c: REVERT 0000106d: JUMPDEST 0000106e: PUSH1 0x0b 00001070: DUP1 00001071: SLOAD 00001072: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001087: NOT 00001088: AND 00001089: PUSH1 0x01 0000108b: PUSH1 0xa0 0000108d: PUSH1 0x02 0000108f: EXP 00001090: SUB 00001091: SWAP3 00001092: SWAP1 00001093: SWAP3 00001094: AND 00001095: SWAP2 00001096: SWAP1 00001097: SWAP2 00001098: OR 00001099: SWAP1 0000109a: SSTORE 0000109b: JUMP 0000109c: JUMPDEST 0000109d: PUSH1 0x03 0000109f: SLOAD 000010a0: CALLER 000010a1: PUSH1 0x01 000010a3: PUSH1 0xa0 000010a5: PUSH1 0x02 000010a7: EXP 000010a8: SUB 000010a9: SWAP1 000010aa: DUP2 000010ab: AND 000010ac: SWAP2 000010ad: AND 000010ae: EQ 000010af: PUSH2 0x10b7 000010b2: JUMPI 000010b3: PUSH1 0x00 000010b5: DUP1 000010b6: REVERT 000010b7: JUMPDEST 000010b8: PUSH1 0x00 000010ba: SLOAD 000010bb: DUP3 000010bc: GT 000010bd: ISZERO 000010be: PUSH2 0x10d2 000010c1: JUMPI 000010c2: PUSH1 0x01 000010c4: DUP3 000010c5: ADD 000010c6: PUSH2 0x10d0 000010c9: PUSH1 0x00 000010cb: DUP3 000010cc: PUSH2 0x1727 000010cf: JUMP 000010d0: JUMPDEST 000010d1: POP 000010d2: JUMPDEST 000010d3: DUP1 000010d4: PUSH1 0x00 000010d6: DUP4 000010d7: DUP2 000010d8: SLOAD 000010d9: DUP2 000010da: LT 000010db: ISZERO 000010dc: ISZERO 000010dd: PUSH2 0x10e2 000010e0: JUMPI 000010e1: INVALID 000010e2: JUMPDEST 000010e3: PUSH1 0x00 000010e5: SWAP2 000010e6: DUP3 000010e7: MSTORE 000010e8: PUSH1 0x20 000010ea: SWAP1 000010eb: SWAP2 000010ec: KECCAK256 000010ed: ADD 000010ee: SSTORE 000010ef: POP 000010f0: POP 000010f1: JUMP 000010f2: JUMPDEST 000010f3: PUSH1 0x05 000010f5: PUSH1 0x20 000010f7: MSTORE 000010f8: PUSH1 0x00 000010fa: SWAP1 000010fb: DUP2 000010fc: MSTORE 000010fd: PUSH1 0x40 000010ff: SWAP1 00001100: KECCAK256 00001101: SLOAD 00001102: PUSH1 0x01 00001104: PUSH1 0xa0 00001106: PUSH1 0x02 00001108: EXP 00001109: SUB 0000110a: AND 0000110b: DUP2 0000110c: JUMP 0000110d: JUMPDEST 0000110e: PUSH1 0x0a 00001110: DUP1 00001111: SLOAD 00001112: PUSH1 0x40 00001114: DUP1 00001115: MLOAD 00001116: PUSH1 0x20 00001118: PUSH1 0x02 0000111a: PUSH1 0x01 0000111c: DUP6 0000111d: AND 0000111e: ISZERO 0000111f: PUSH2 0x0100 00001122: MUL 00001123: PUSH1 0x00 00001125: NOT 00001126: ADD 00001127: SWAP1 00001128: SWAP5 00001129: AND 0000112a: SWAP4 0000112b: SWAP1 0000112c: SWAP4 0000112d: DIV 0000112e: PUSH1 0x1f 00001130: DUP2 00001131: ADD 00001132: DUP5 00001133: SWAP1 00001134: DIV 00001135: DUP5 00001136: MUL 00001137: DUP3 00001138: ADD 00001139: DUP5 0000113a: ADD 0000113b: SWAP1 0000113c: SWAP3 0000113d: MSTORE 0000113e: DUP2 0000113f: DUP2 00001140: MSTORE 00001141: SWAP3 00001142: SWAP2 00001143: DUP4 00001144: ADD 00001145: DUP3 00001146: DUP3 00001147: DUP1 00001148: ISZERO 00001149: PUSH2 0x081f 0000114c: JUMPI 0000114d: DUP1 0000114e: PUSH1 0x1f 00001150: LT 00001151: PUSH2 0x07f4 00001154: JUMPI 00001155: PUSH2 0x0100 00001158: DUP1 00001159: DUP4 0000115a: SLOAD 0000115b: DIV 0000115c: MUL 0000115d: DUP4 0000115e: MSTORE 0000115f: SWAP2 00001160: PUSH1 0x20 00001162: ADD 00001163: SWAP2 00001164: PUSH2 0x081f 00001167: JUMP 00001168: JUMPDEST 00001169: PUSH2 0x1172 0000116c: DUP3 0000116d: DUP3 0000116e: PUSH2 0x16ec 00001171: JUMP 00001172: JUMPDEST 00001173: PUSH1 0x40 00001175: DUP1 00001176: MLOAD 00001177: DUP3 00001178: ISZERO 00001179: ISZERO 0000117a: DUP2 0000117b: MSTORE 0000117c: SWAP1 0000117d: MLOAD 0000117e: PUSH1 0x01 00001180: PUSH1 0xa0 00001182: PUSH1 0x02 00001184: EXP 00001185: SUB 00001186: DUP1 00001187: DUP6 00001188: AND 00001189: SWAP3 0000118a: CALLER 0000118b: SWAP1 0000118c: SWAP2 0000118d: AND 0000118e: SWAP2 0000118f: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31 000011b0: SWAP2 000011b1: DUP2 000011b2: SWAP1 000011b3: SUB 000011b4: PUSH1 0x20 000011b6: ADD 000011b7: SWAP1 000011b8: LOG3 000011b9: POP 000011ba: POP 000011bb: JUMP 000011bc: JUMPDEST 000011bd: PUSH1 0x01 000011bf: PUSH1 0xa0 000011c1: PUSH1 0x02 000011c3: EXP 000011c4: SUB 000011c5: DUP3 000011c6: AND 000011c7: ISZERO 000011c8: ISZERO 000011c9: PUSH2 0x11d1 000011cc: JUMPI 000011cd: PUSH1 0x00 000011cf: DUP1 000011d0: REVERT 000011d1: JUMPDEST 000011d2: PUSH2 0x11db 000011d5: CALLER 000011d6: DUP3 000011d7: PUSH2 0x1471 000011da: JUMP 000011db: JUMPDEST 000011dc: ISZERO 000011dd: ISZERO 000011de: PUSH2 0x11e6 000011e1: JUMPI 000011e2: PUSH1 0x00 000011e4: DUP1 000011e5: REVERT 000011e6: JUMPDEST 000011e7: PUSH2 0x0a3b 000011ea: CALLER 000011eb: DUP4 000011ec: DUP4 000011ed: PUSH2 0x160b 000011f0: JUMP 000011f1: JUMPDEST 000011f2: PUSH1 0x00 000011f4: DUP1 000011f5: PUSH1 0x01 000011f7: JUMPDEST 000011f8: PUSH2 0x11ff 000011fb: PUSH2 0x0917 000011fe: JUMP 000011ff: JUMPDEST 00001200: DUP2 00001201: GT 00001202: PUSH2 0x01c1 00001205: JUMPI 00001206: PUSH1 0x00 00001208: DUP2 00001209: DUP2 0000120a: MSTORE 0000120b: PUSH1 0x05 0000120d: PUSH1 0x20 0000120f: MSTORE 00001210: PUSH1 0x40 00001212: SWAP1 00001213: KECCAK256 00001214: SLOAD 00001215: PUSH1 0x01 00001217: PUSH1 0xa0 00001219: PUSH1 0x02 0000121b: EXP 0000121c: SUB 0000121d: DUP7 0000121e: DUP2 0000121f: AND 00001220: SWAP2 00001221: AND 00001222: EQ 00001223: ISZERO 00001224: PUSH2 0x123e 00001227: JUMPI 00001228: DUP4 00001229: DUP3 0000122a: EQ 0000122b: ISZERO 0000122c: PUSH2 0x1237 0000122f: JUMPI 00001230: DUP1 00001231: SWAP3 00001232: POP 00001233: PUSH2 0x1246 00001236: JUMP 00001237: JUMPDEST 00001238: PUSH1 0x01 0000123a: SWAP1 0000123b: SWAP2 0000123c: ADD 0000123d: SWAP1 0000123e: JUMPDEST 0000123f: PUSH1 0x01 00001241: ADD 00001242: PUSH2 0x11f7 00001245: JUMP 00001246: JUMPDEST 00001247: POP 00001248: POP 00001249: SWAP3 0000124a: SWAP2 0000124b: POP 0000124c: POP 0000124d: JUMP 0000124e: JUMPDEST 0000124f: PUSH2 0x1258 00001252: CALLER 00001253: DUP3 00001254: PUSH2 0x15eb 00001257: JUMP 00001258: JUMPDEST 00001259: ISZERO 0000125a: ISZERO 0000125b: PUSH2 0x1263 0000125e: JUMPI 0000125f: PUSH1 0x00 00001261: DUP1 00001262: REVERT 00001263: JUMPDEST 00001264: PUSH1 0x00 00001266: DUP2 00001267: DUP2 00001268: MSTORE 00001269: PUSH1 0x05 0000126b: PUSH1 0x20 0000126d: MSTORE 0000126e: PUSH1 0x40 00001270: SWAP1 00001271: KECCAK256 00001272: SLOAD 00001273: PUSH2 0x1286 00001276: SWAP1 00001277: PUSH1 0x01 00001279: PUSH1 0xa0 0000127b: PUSH1 0x02 0000127d: EXP 0000127e: SUB 0000127f: AND 00001280: CALLER 00001281: DUP4 00001282: PUSH2 0x160b 00001285: JUMP 00001286: JUMPDEST 00001287: POP 00001288: JUMP 00001289: JUMPDEST 0000128a: PUSH2 0x1293 0000128d: CALLER 0000128e: DUP5 0000128f: PUSH2 0x15eb 00001292: JUMP 00001293: JUMPDEST 00001294: DUP1 00001295: PUSH2 0x12d5 00001298: JUMPI 00001299: POP 0000129a: PUSH1 0x08 0000129c: PUSH1 0x00 0000129e: PUSH2 0x12a6 000012a1: DUP6 000012a2: PUSH2 0x0fd5 000012a5: JUMP 000012a6: JUMPDEST 000012a7: PUSH1 0x01 000012a9: PUSH1 0xa0 000012ab: PUSH1 0x02 000012ad: EXP 000012ae: SUB 000012af: SWAP1 000012b0: DUP2 000012b1: AND 000012b2: DUP3 000012b3: MSTORE 000012b4: PUSH1 0x20 000012b6: DUP1 000012b7: DUP4 000012b8: ADD 000012b9: SWAP4 000012ba: SWAP1 000012bb: SWAP4 000012bc: MSTORE 000012bd: PUSH1 0x40 000012bf: SWAP2 000012c0: DUP3 000012c1: ADD 000012c2: PUSH1 0x00 000012c4: SWAP1 000012c5: DUP2 000012c6: KECCAK256 000012c7: CALLER 000012c8: SWAP1 000012c9: SWAP3 000012ca: AND 000012cb: DUP2 000012cc: MSTORE 000012cd: SWAP3 000012ce: MSTORE 000012cf: SWAP1 000012d0: KECCAK256 000012d1: SLOAD 000012d2: PUSH1 0xff 000012d4: AND 000012d5: JUMPDEST 000012d6: ISZERO 000012d7: ISZERO 000012d8: PUSH2 0x12e0 000012db: JUMPI 000012dc: PUSH1 0x00 000012de: DUP1 000012df: REVERT 000012e0: JUMPDEST 000012e1: PUSH2 0x12ea 000012e4: DUP6 000012e5: DUP5 000012e6: PUSH2 0x1471 000012e9: JUMP 000012ea: JUMPDEST 000012eb: ISZERO 000012ec: ISZERO 000012ed: PUSH2 0x12f5 000012f0: JUMPI 000012f1: PUSH1 0x00 000012f3: DUP1 000012f4: REVERT 000012f5: JUMPDEST 000012f6: PUSH2 0x1300 000012f9: DUP6 000012fa: DUP6 000012fb: DUP6 000012fc: PUSH2 0x160b 000012ff: JUMP 00001300: JUMPDEST 00001301: POP 00001302: POP 00001303: POP 00001304: POP 00001305: POP 00001306: JUMP 00001307: JUMPDEST 00001308: PUSH1 0x00 0000130a: DUP1 0000130b: PUSH2 0x1312 0000130e: PUSH2 0x174b 00001311: JUMP 00001312: JUMPDEST 00001313: PUSH1 0x04 00001315: DUP1 00001316: SLOAD 00001317: DUP6 00001318: SWAP1 00001319: DUP2 0000131a: LT 0000131b: PUSH2 0x1320 0000131e: JUMPI 0000131f: INVALID 00001320: JUMPDEST 00001321: PUSH1 0x00 00001323: SWAP2 00001324: DUP3 00001325: MSTORE 00001326: PUSH1 0x20 00001328: SWAP2 00001329: DUP3 0000132a: SWAP1 0000132b: KECCAK256 0000132c: PUSH1 0x40 0000132e: DUP1 0000132f: MLOAD 00001330: DUP1 00001331: DUP3 00001332: ADD 00001333: SWAP1 00001334: SWAP2 00001335: MSTORE 00001336: PUSH1 0x02 00001338: SWAP1 00001339: SWAP3 0000133a: MUL 0000133b: ADD 0000133c: DUP1 0000133d: SLOAD 0000133e: DUP1 0000133f: DUP4 00001340: MSTORE 00001341: PUSH1 0x01 00001343: SWAP1 00001344: SWAP2 00001345: ADD 00001346: SLOAD 00001347: PUSH1 0xff 00001349: AND 0000134a: SWAP3 0000134b: DUP3 0000134c: ADD 0000134d: DUP4 0000134e: SWAP1 0000134f: MSTORE 00001350: SWAP5 00001351: POP 00001352: SWAP1 00001353: SWAP3 00001354: POP 00001355: SWAP1 00001356: POP 00001357: POP 00001358: SWAP2 00001359: POP 0000135a: SWAP2 0000135b: JUMP 0000135c: JUMPDEST 0000135d: PUSH1 0x01 0000135f: SLOAD 00001360: PUSH1 0x00 00001362: SWAP1 00001363: CALLVALUE 00001364: EQ 00001365: PUSH2 0x13f5 00001368: JUMPI 00001369: PUSH1 0x40 0000136b: DUP1 0000136c: MLOAD 0000136d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000138e: DUP2 0000138f: MSTORE 00001390: PUSH1 0x20 00001392: PUSH1 0x04 00001394: DUP3 00001395: ADD 00001396: MSTORE 00001397: PUSH1 0x39 00001399: PUSH1 0x24 0000139b: DUP3 0000139c: ADD 0000139d: MSTORE 0000139e: PUSH32 0x506c656173652073656e6420616e20616d6f756e74206f662065746865722065 000013bf: PUSH1 0x44 000013c1: DUP3 000013c2: ADD 000013c3: MSTORE 000013c4: PUSH32 0x7175616c20746f207468652062617365206b657920636f737400000000000000 000013e5: PUSH1 0x64 000013e7: DUP3 000013e8: ADD 000013e9: MSTORE 000013ea: SWAP1 000013eb: MLOAD 000013ec: SWAP1 000013ed: DUP2 000013ee: SWAP1 000013ef: SUB 000013f0: PUSH1 0x84 000013f2: ADD 000013f3: SWAP1 000013f4: REVERT 000013f5: JUMPDEST 000013f6: PUSH1 0x01 000013f8: PUSH1 0xa0 000013fa: PUSH1 0x02 000013fc: EXP 000013fd: SUB 000013fe: DUP3 000013ff: AND 00001400: ISZERO 00001401: ISZERO 00001402: PUSH2 0x1417 00001405: JUMPI 00001406: PUSH2 0x1410 00001409: CALLER 0000140a: PUSH1 0x01 0000140c: PUSH2 0x14cc 0000140f: JUMP 00001410: JUMPDEST 00001411: SWAP1 00001412: POP 00001413: PUSH2 0x070b 00001416: JUMP 00001417: JUMPDEST 00001418: PUSH2 0x1410 0000141b: DUP3 0000141c: PUSH1 0x01 0000141e: PUSH2 0x14cc 00001421: JUMP 00001422: JUMPDEST 00001423: PUSH1 0x01 00001425: SLOAD 00001426: DUP2 00001427: JUMP 00001428: JUMPDEST 00001429: PUSH1 0x07 0000142b: PUSH1 0x20 0000142d: MSTORE 0000142e: PUSH1 0x00 00001430: SWAP1 00001431: DUP2 00001432: MSTORE 00001433: PUSH1 0x40 00001435: SWAP1 00001436: KECCAK256 00001437: SLOAD 00001438: PUSH1 0x01 0000143a: PUSH1 0xa0 0000143c: PUSH1 0x02 0000143e: EXP 0000143f: SUB 00001440: AND 00001441: DUP2 00001442: JUMP 00001443: JUMPDEST 00001444: PUSH1 0x01 00001446: PUSH1 0xa0 00001448: PUSH1 0x02 0000144a: EXP 0000144b: SUB 0000144c: SWAP2 0000144d: DUP3 0000144e: AND 0000144f: PUSH1 0x00 00001451: SWAP1 00001452: DUP2 00001453: MSTORE 00001454: PUSH1 0x08 00001456: PUSH1 0x20 00001458: SWAP1 00001459: DUP2 0000145a: MSTORE 0000145b: PUSH1 0x40 0000145d: DUP1 0000145e: DUP4 0000145f: KECCAK256 00001460: SWAP4 00001461: SWAP1 00001462: SWAP5 00001463: AND 00001464: DUP3 00001465: MSTORE 00001466: SWAP2 00001467: SWAP1 00001468: SWAP2 00001469: MSTORE 0000146a: KECCAK256 0000146b: SLOAD 0000146c: PUSH1 0xff 0000146e: AND 0000146f: SWAP1 00001470: JUMP 00001471: JUMPDEST 00001472: PUSH1 0x00 00001474: SWAP1 00001475: DUP2 00001476: MSTORE 00001477: PUSH1 0x05 00001479: PUSH1 0x20 0000147b: MSTORE 0000147c: PUSH1 0x40 0000147e: SWAP1 0000147f: KECCAK256 00001480: SLOAD 00001481: PUSH1 0x01 00001483: PUSH1 0xa0 00001485: PUSH1 0x02 00001487: EXP 00001488: SUB 00001489: SWAP2 0000148a: DUP3 0000148b: AND 0000148c: SWAP2 0000148d: AND 0000148e: EQ 0000148f: SWAP1 00001490: JUMP 00001491: JUMPDEST 00001492: PUSH1 0x00 00001494: SWAP2 00001495: DUP3 00001496: MSTORE 00001497: PUSH1 0x07 00001499: PUSH1 0x20 0000149b: MSTORE 0000149c: PUSH1 0x40 0000149e: SWAP1 0000149f: SWAP2 000014a0: KECCAK256 000014a1: DUP1 000014a2: SLOAD 000014a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014b8: NOT 000014b9: AND 000014ba: PUSH1 0x01 000014bc: PUSH1 0xa0 000014be: PUSH1 0x02 000014c0: EXP 000014c1: SUB 000014c2: SWAP1 000014c3: SWAP3 000014c4: AND 000014c5: SWAP2 000014c6: SWAP1 000014c7: SWAP2 000014c8: OR 000014c9: SWAP1 000014ca: SSTORE 000014cb: JUMP 000014cc: JUMPDEST 000014cd: PUSH1 0x40 000014cf: DUP1 000014d0: MLOAD 000014d1: DUP1 000014d2: DUP3 000014d3: ADD 000014d4: DUP1 000014d5: DUP4 000014d6: MSTORE 000014d7: TIMESTAMP 000014d8: PUSH8 0xffffffffffffffff 000014e1: AND 000014e2: PUSH25 0x01000000000000000000000000000000000000000000000000 000014fc: MUL 000014fd: SWAP1 000014fe: MSTORE 000014ff: SWAP1 00001500: MLOAD 00001501: PUSH1 0x48 00001503: DUP2 00001504: DUP4 00001505: SUB 00001506: ADD 00001507: SWAP1 00001508: KECCAK256 00001509: DUP2 0000150a: MSTORE 0000150b: PUSH1 0xff 0000150d: DUP3 0000150e: DUP2 0000150f: AND 00001510: PUSH1 0x20 00001512: DUP4 00001513: ADD 00001514: SWAP1 00001515: DUP2 00001516: MSTORE 00001517: PUSH1 0x04 00001519: DUP1 0000151a: SLOAD 0000151b: PUSH1 0x01 0000151d: DUP2 0000151e: ADD 0000151f: DUP3 00001520: SSTORE 00001521: PUSH1 0x00 00001523: SWAP2 00001524: DUP3 00001525: MSTORE 00001526: SWAP4 00001527: MLOAD 00001528: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b 00001549: PUSH1 0x02 0000154b: DUP7 0000154c: MUL 0000154d: SWAP1 0000154e: DUP2 0000154f: ADD 00001550: SWAP2 00001551: SWAP1 00001552: SWAP2 00001553: SSTORE 00001554: SWAP2 00001555: MLOAD 00001556: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19c 00001577: SWAP1 00001578: SWAP3 00001579: ADD 0000157a: DUP1 0000157b: SLOAD 0000157c: PUSH1 0xff 0000157e: NOT 0000157f: AND 00001580: SWAP3 00001581: SWAP1 00001582: SWAP4 00001583: AND 00001584: SWAP2 00001585: SWAP1 00001586: SWAP2 00001587: OR 00001588: SWAP1 00001589: SWAP2 0000158a: SSTORE 0000158b: SWAP1 0000158c: PUSH4 0xffffffff 00001591: DUP2 00001592: GT 00001593: ISZERO 00001594: PUSH2 0x159c 00001597: JUMPI 00001598: PUSH1 0x00 0000159a: DUP1 0000159b: REVERT 0000159c: JUMPDEST 0000159d: PUSH1 0x40 0000159f: DUP1 000015a0: MLOAD 000015a1: DUP3 000015a2: DUP2 000015a3: MSTORE 000015a4: PUSH1 0x01 000015a6: PUSH1 0xa0 000015a8: PUSH1 0x02 000015aa: EXP 000015ab: SUB 000015ac: DUP7 000015ad: AND 000015ae: PUSH1 0x20 000015b0: DUP3 000015b1: ADD 000015b2: MSTORE 000015b3: DUP2 000015b4: MLOAD 000015b5: PUSH32 0x8678b8a7cb8d7967860e1637c6bbf9ed93758cbcf6677439bf2882a0ea82ad33 000015d6: SWAP3 000015d7: SWAP2 000015d8: DUP2 000015d9: SWAP1 000015da: SUB 000015db: SWAP1 000015dc: SWAP2 000015dd: ADD 000015de: SWAP1 000015df: LOG1 000015e0: PUSH2 0x095d 000015e3: PUSH1 0x00 000015e5: DUP6 000015e6: DUP4 000015e7: PUSH2 0x160b 000015ea: JUMP 000015eb: JUMPDEST 000015ec: PUSH1 0x00 000015ee: SWAP1 000015ef: DUP2 000015f0: MSTORE 000015f1: PUSH1 0x07 000015f3: PUSH1 0x20 000015f5: MSTORE 000015f6: PUSH1 0x40 000015f8: SWAP1 000015f9: KECCAK256 000015fa: SLOAD 000015fb: PUSH1 0x01 000015fd: PUSH1 0xa0 000015ff: PUSH1 0x02 00001601: EXP 00001602: SUB 00001603: SWAP2 00001604: DUP3 00001605: AND 00001606: SWAP2 00001607: AND 00001608: EQ 00001609: SWAP1 0000160a: JUMP 0000160b: JUMPDEST 0000160c: PUSH1 0x01 0000160e: PUSH1 0xa0 00001610: PUSH1 0x02 00001612: EXP 00001613: SUB 00001614: DUP1 00001615: DUP4 00001616: AND 00001617: PUSH1 0x00 00001619: DUP2 0000161a: DUP2 0000161b: MSTORE 0000161c: PUSH1 0x06 0000161e: PUSH1 0x20 00001620: SWAP1 00001621: DUP2 00001622: MSTORE 00001623: PUSH1 0x40 00001625: DUP1 00001626: DUP4 00001627: KECCAK256 00001628: DUP1 00001629: SLOAD 0000162a: PUSH1 0x01 0000162c: ADD 0000162d: SWAP1 0000162e: SSTORE 0000162f: DUP6 00001630: DUP4 00001631: MSTORE 00001632: PUSH1 0x05 00001634: SWAP1 00001635: SWAP2 00001636: MSTORE 00001637: SWAP1 00001638: KECCAK256 00001639: DUP1 0000163a: SLOAD 0000163b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001650: NOT 00001651: AND 00001652: SWAP1 00001653: SWAP2 00001654: OR 00001655: SWAP1 00001656: SSTORE 00001657: DUP4 00001658: AND 00001659: ISZERO 0000165a: PUSH2 0x16a6 0000165d: JUMPI 0000165e: PUSH1 0x01 00001660: PUSH1 0xa0 00001662: PUSH1 0x02 00001664: EXP 00001665: SUB 00001666: DUP4 00001667: AND 00001668: PUSH1 0x00 0000166a: SWAP1 0000166b: DUP2 0000166c: MSTORE 0000166d: PUSH1 0x06 0000166f: PUSH1 0x20 00001671: SWAP1 00001672: DUP2 00001673: MSTORE 00001674: PUSH1 0x40 00001676: DUP1 00001677: DUP4 00001678: KECCAK256 00001679: DUP1 0000167a: SLOAD 0000167b: PUSH1 0x00 0000167d: NOT 0000167e: ADD 0000167f: SWAP1 00001680: SSTORE 00001681: DUP4 00001682: DUP4 00001683: MSTORE 00001684: PUSH1 0x07 00001686: SWAP1 00001687: SWAP2 00001688: MSTORE 00001689: SWAP1 0000168a: KECCAK256 0000168b: DUP1 0000168c: SLOAD 0000168d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016a2: NOT 000016a3: AND 000016a4: SWAP1 000016a5: SSTORE 000016a6: JUMPDEST 000016a7: DUP1 000016a8: DUP3 000016a9: PUSH1 0x01 000016ab: PUSH1 0xa0 000016ad: PUSH1 0x02 000016af: EXP 000016b0: SUB 000016b1: AND 000016b2: DUP5 000016b3: PUSH1 0x01 000016b5: PUSH1 0xa0 000016b7: PUSH1 0x02 000016b9: EXP 000016ba: SUB 000016bb: AND 000016bc: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000016dd: PUSH1 0x40 000016df: MLOAD 000016e0: PUSH1 0x40 000016e2: MLOAD 000016e3: DUP1 000016e4: SWAP2 000016e5: SUB 000016e6: SWAP1 000016e7: LOG4 000016e8: POP 000016e9: POP 000016ea: POP 000016eb: JUMP 000016ec: JUMPDEST 000016ed: CALLER 000016ee: PUSH1 0x01 000016f0: PUSH1 0xa0 000016f2: PUSH1 0x02 000016f4: EXP 000016f5: SUB 000016f6: SWAP1 000016f7: DUP2 000016f8: AND 000016f9: PUSH1 0x00 000016fb: SWAP1 000016fc: DUP2 000016fd: MSTORE 000016fe: PUSH1 0x08 00001700: PUSH1 0x20 00001702: SWAP1 00001703: DUP2 00001704: MSTORE 00001705: PUSH1 0x40 00001707: DUP1 00001708: DUP4 00001709: KECCAK256 0000170a: SWAP6 0000170b: SWAP1 0000170c: SWAP4 0000170d: AND 0000170e: DUP3 0000170f: MSTORE 00001710: SWAP4 00001711: SWAP1 00001712: SWAP4 00001713: MSTORE 00001714: SWAP1 00001715: SWAP2 00001716: KECCAK256 00001717: DUP1 00001718: SLOAD 00001719: PUSH1 0xff 0000171b: NOT 0000171c: AND 0000171d: SWAP2 0000171e: ISZERO 0000171f: ISZERO 00001720: SWAP2 00001721: SWAP1 00001722: SWAP2 00001723: OR 00001724: SWAP1 00001725: SSTORE 00001726: JUMP 00001727: JUMPDEST 00001728: DUP2 00001729: SLOAD 0000172a: DUP2 0000172b: DUP4 0000172c: SSTORE 0000172d: DUP2 0000172e: DUP2 0000172f: GT 00001730: ISZERO 00001731: PUSH2 0x09fb 00001734: JUMPI 00001735: PUSH1 0x00 00001737: DUP4 00001738: DUP2 00001739: MSTORE 0000173a: PUSH1 0x20 0000173c: SWAP1 0000173d: KECCAK256 0000173e: PUSH2 0x09fb 00001741: SWAP2 00001742: DUP2 00001743: ADD 00001744: SWAP1 00001745: DUP4 00001746: ADD 00001747: PUSH2 0x1762 0000174a: JUMP 0000174b: JUMPDEST 0000174c: PUSH1 0x40 0000174e: DUP1 0000174f: MLOAD 00001750: DUP1 00001751: DUP3 00001752: ADD 00001753: SWAP1 00001754: SWAP2 00001755: MSTORE 00001756: PUSH1 0x00 00001758: DUP1 00001759: DUP3 0000175a: MSTORE 0000175b: PUSH1 0x20 0000175d: DUP3 0000175e: ADD 0000175f: MSTORE 00001760: SWAP1 00001761: JUMP 00001762: JUMPDEST 00001763: PUSH2 0x0914 00001766: SWAP2 00001767: SWAP1 00001768: JUMPDEST 00001769: DUP1 0000176a: DUP3 0000176b: GT 0000176c: ISZERO 0000176d: PUSH2 0x177c 00001770: JUMPI 00001771: PUSH1 0x00 00001773: DUP2 00001774: SSTORE 00001775: PUSH1 0x01 00001777: ADD 00001778: PUSH2 0x1768 0000177b: JUMP 0000177c: JUMPDEST 0000177d: POP 0000177e: SWAP1 0000177f: JUMP 00001780: STOP 00001781: LOG1 00001782: PUSH6 0x627a7a723058 00001789: KECCAK256 0000178a: SWAP6 0000178b: UNKNOWN(0xE5) 0000178c: UNKNOWN(0x22) 0000178d: SWAP1 0000178e: SWAP12 0000178f: PUSH4 0xa224f2cc 00001794: DUP4 00001795: DUP12 00001796: DUP12 00001797: LT 00001798: DUP4 00001799: UNKNOWN(0xA9) 0000179a: UNKNOWN(0x22) 0000179b: MCOPY 0000179c: UNKNOWN(0xE2) 0000179d: DUP15 0000179e: UNKNOWN(0xA7) 0000179f: PUSH17
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x2637a88789fc590a049428633d2d267c5f1c420139aeaa775dd86402c91e82eb
call_targets:
0x81881082589d5048b487d55e5cf10f5dfbb63c08
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2637a88789fc590a049428633d2d267c5f1c420139aeaa775dd86402c91e82eb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x81881082589d5048b487d55e5cf10f5dfbb63c08"
],
"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": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x059c8fc1",
"selector": "0x059c8fc1",
"calldata_variants": [
"0x059c8fc1",
"0x059c8fc10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x07c5c3ca",
"selector": "0x07c5c3ca",
"calldata_variants": [
"0x07c5c3ca",
"0x07c5c3ca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x081812fc",
"selector": "0x081812fc",
"calldata_variants": [
"0x081812fc",
"0x081812fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0b1714fd",
"selector": "0x0b1714fd",
"calldata_variants": [
"0x0b1714fd",
"0x0b1714fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0cb6aaf1",
"selector": "0x0cb6aaf1",
"calldata_variants": [
"0x0cb6aaf1",
"0x0cb6aaf10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2864,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3155,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3531,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x2637a88789fc590a049428633d2d267c5f1c420139aeaa775dd86402c91e82eb
call_targets:
0x81881082589d5048b487d55e5cf10f5dfbb63c08
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2637a88789fc590a049428633d2d267c5f1c420139aeaa775dd86402c91e82eb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x81881082589d5048b487d55e5cf10f5dfbb63c08"
],
"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": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x059c8fc1",
"selector": "0x059c8fc1",
"calldata_variants": [
"0x059c8fc1",
"0x059c8fc10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x07c5c3ca",
"selector": "0x07c5c3ca",
"calldata_variants": [
"0x07c5c3ca",
"0x07c5c3ca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x081812fc",
"selector": "0x081812fc",
"calldata_variants": [
"0x081812fc",
"0x081812fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0b1714fd",
"selector": "0x0b1714fd",
"calldata_variants": [
"0x0b1714fd",
"0x0b1714fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0cb6aaf1",
"selector": "0x0cb6aaf1",
"calldata_variants": [
"0x0cb6aaf1",
"0x0cb6aaf10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2864,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3155,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3531,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|