019b477e-abf2-7378-a63a-556a38960bf4
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 |
|---|---|---|---|---|
| 21115 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21116 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 88953 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 88954 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 88955 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 88956 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0150 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH1 0xe0 00000014: PUSH1 0x02 00000016: EXP 00000017: PUSH1 0x00 00000019: CALLDATALOAD 0000001a: DIV 0000001b: AND 0000001c: PUSH4 0x06fdde03 00000021: DUP2 00000022: EQ 00000023: PUSH2 0x0247 00000026: JUMPI 00000027: DUP1 00000028: PUSH4 0x095ea7b3 0000002d: EQ 0000002e: PUSH2 0x02d1 00000031: JUMPI 00000032: DUP1 00000033: PUSH4 0x0f13af83 00000038: EQ 00000039: PUSH2 0x0307 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0x18160ddd 00000043: EQ 00000044: PUSH2 0x0328 00000047: JUMPI 00000048: DUP1 00000049: PUSH4 0x18fd8903 0000004e: EQ 0000004f: PUSH2 0x034d 00000052: JUMPI 00000053: DUP1 00000054: PUSH4 0x22f4596f 00000059: EQ 0000005a: PUSH2 0x0372 0000005d: JUMPI 0000005e: DUP1 0000005f: PUSH4 0x23b872dd 00000064: EQ 00000065: PUSH2 0x0385 00000068: JUMPI 00000069: DUP1 0000006a: PUSH4 0x2a9046d8 0000006f: EQ 00000070: PUSH2 0x03ad 00000073: JUMPI 00000074: DUP1 00000075: PUSH4 0x313ce567 0000007a: EQ 0000007b: PUSH2 0x03c0 0000007e: JUMPI 0000007f: DUP1 00000080: PUSH4 0x367edd32 00000085: EQ 00000086: PUSH2 0x03e9 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0x3eaaf86b 00000090: EQ 00000091: PUSH2 0x03fc 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0x3f69034f 0000009b: EQ 0000009c: PUSH2 0x040f 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0x41c0e1b5 000000a6: EQ 000000a7: PUSH2 0x0422 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0x66802a92 000000b1: EQ 000000b2: PUSH2 0x0435 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0x6f8b44b0 000000bc: EQ 000000bd: PUSH2 0x0448 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0x70a08231 000000c7: EQ 000000c8: PUSH2 0x045e 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0x827f32c0 000000d2: EQ 000000d3: PUSH2 0x047d 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0x85209ee0 000000dd: EQ 000000de: PUSH2 0x049f 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0x894ba833 000000e8: EQ 000000e9: PUSH2 0x04b2 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0x8da5cb5b 000000f3: EQ 000000f4: PUSH2 0x04c5 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x91b7f5ed 000000fe: EQ 000000ff: PUSH2 0x04f4 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x92c00a3f 00000109: EQ 0000010a: PUSH2 0x050a 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x95d89b41 00000114: EQ 00000115: PUSH2 0x051d 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0xa035b1fe 0000011f: EQ 00000120: PUSH2 0x0530 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0xa9059cbb 0000012a: EQ 0000012b: PUSH2 0x0543 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0xb187984f 00000135: EQ 00000136: PUSH2 0x0565 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0xdd62ed3e 00000140: EQ 00000141: PUSH2 0x0578 00000144: JUMPI 00000145: DUP1 00000146: PUSH4 0xf1b50c1d 0000014b: EQ 0000014c: PUSH2 0x059d 0000014f: JUMPI 00000150: JUMPDEST 00000151: PUSH1 0x03 00000153: SLOAD 00000154: PUSH1 0x00 00000156: SWAP1 00000157: PUSH1 0xff 00000159: AND 0000015a: ISZERO 0000015b: ISZERO 0000015c: PUSH1 0x01 0000015e: EQ 0000015f: PUSH2 0x0167 00000162: JUMPI 00000163: PUSH1 0x00 00000165: DUP1 00000166: REVERT 00000167: JUMPDEST 00000168: POP 00000169: PUSH1 0x03 0000016b: SLOAD 0000016c: PUSH1 0x00 0000016e: SWAP1 0000016f: PUSH3 0x010000 00000173: SWAP1 00000174: DIV 00000175: PUSH1 0xff 00000177: AND 00000178: ISZERO 00000179: PUSH2 0x020f 0000017c: JUMPI 0000017d: PUSH1 0x04 0000017f: SLOAD 00000180: PUSH1 0x01 00000182: PUSH1 0xa0 00000184: PUSH1 0x02 00000186: EXP 00000187: SUB 00000188: AND 00000189: PUSH1 0x40 0000018b: MLOAD 0000018c: PUSH32 0x70617928616464726573732c75696e743235362c75696e743235362900000000 000001ad: DUP2 000001ae: MSTORE 000001af: PUSH1 0x1c 000001b1: ADD 000001b2: PUSH1 0x40 000001b4: MLOAD 000001b5: DUP1 000001b6: SWAP2 000001b7: SUB 000001b8: SWAP1 000001b9: KECCAK256 000001ba: PUSH1 0xe0 000001bc: PUSH1 0x02 000001be: EXP 000001bf: SWAP1 000001c0: DIV 000001c1: CALLER 000001c2: CALLVALUE 000001c3: PUSH1 0x02 000001c5: SLOAD 000001c6: PUSH1 0x40 000001c8: MLOAD 000001c9: PUSH1 0xe0 000001cb: PUSH1 0x02 000001cd: EXP 000001ce: PUSH4 0xffffffff 000001d3: DUP7 000001d4: AND 000001d5: MUL 000001d6: DUP2 000001d7: MSTORE 000001d8: PUSH1 0x01 000001da: PUSH1 0xa0 000001dc: PUSH1 0x02 000001de: EXP 000001df: SUB 000001e0: SWAP1 000001e1: SWAP4 000001e2: AND 000001e3: PUSH1 0x04 000001e5: DUP5 000001e6: ADD 000001e7: MSTORE 000001e8: PUSH1 0x24 000001ea: DUP4 000001eb: ADD 000001ec: SWAP2 000001ed: SWAP1 000001ee: SWAP2 000001ef: MSTORE 000001f0: PUSH1 0x44 000001f2: DUP3 000001f3: ADD 000001f4: MSTORE 000001f5: PUSH1 0x64 000001f7: ADD 000001f8: PUSH1 0x00 000001fa: PUSH1 0x40 000001fc: MLOAD 000001fd: DUP1 000001fe: DUP4 000001ff: SUB 00000200: DUP2 00000201: PUSH1 0x00 00000203: DUP8 00000204: PUSH2 0x646e 00000207: GAS 00000208: SUB 00000209: CALL 0000020a: SWAP4 0000020b: POP 0000020c: POP 0000020d: POP 0000020e: POP 0000020f: JUMPDEST 00000210: PUSH32 0x83f3c3df95e39647bf0d6e98219eaadc8bedac6403ccf4ff85bd3b7fcde1dbf9 00000231: DUP2 00000232: PUSH1 0x40 00000234: MLOAD 00000235: SWAP1 00000236: ISZERO 00000237: ISZERO 00000238: DUP2 00000239: MSTORE 0000023a: PUSH1 0x20 0000023c: ADD 0000023d: PUSH1 0x40 0000023f: MLOAD 00000240: DUP1 00000241: SWAP2 00000242: SUB 00000243: SWAP1 00000244: LOG1 00000245: POP 00000246: STOP 00000247: JUMPDEST 00000248: CALLVALUE 00000249: ISZERO 0000024a: PUSH2 0x0252 0000024d: JUMPI 0000024e: PUSH1 0x00 00000250: DUP1 00000251: REVERT 00000252: JUMPDEST 00000253: PUSH2 0x025a 00000256: PUSH2 0x05b0 00000259: JUMP 0000025a: JUMPDEST 0000025b: PUSH1 0x40 0000025d: MLOAD 0000025e: PUSH1 0x20 00000260: DUP1 00000261: DUP3 00000262: MSTORE 00000263: DUP2 00000264: SWAP1 00000265: DUP2 00000266: ADD 00000267: DUP4 00000268: DUP2 00000269: DUP2 0000026a: MLOAD 0000026b: DUP2 0000026c: MSTORE 0000026d: PUSH1 0x20 0000026f: ADD 00000270: SWAP2 00000271: POP 00000272: DUP1 00000273: MLOAD 00000274: SWAP1 00000275: PUSH1 0x20 00000277: ADD 00000278: SWAP1 00000279: DUP1 0000027a: DUP4 0000027b: DUP4 0000027c: PUSH1 0x00 0000027e: JUMPDEST 0000027f: DUP4 00000280: DUP2 00000281: LT 00000282: ISZERO 00000283: PUSH2 0x0296 00000286: JUMPI 00000287: DUP1 00000288: DUP3 00000289: ADD 0000028a: MLOAD 0000028b: DUP4 0000028c: DUP3 0000028d: ADD 0000028e: MSTORE 0000028f: PUSH1 0x20 00000291: ADD 00000292: PUSH2 0x027e 00000295: JUMP 00000296: JUMPDEST 00000297: POP 00000298: POP 00000299: POP 0000029a: POP 0000029b: SWAP1 0000029c: POP 0000029d: SWAP1 0000029e: DUP2 0000029f: ADD 000002a0: SWAP1 000002a1: PUSH1 0x1f 000002a3: AND 000002a4: DUP1 000002a5: ISZERO 000002a6: PUSH2 0x02c3 000002a9: JUMPI 000002aa: DUP1 000002ab: DUP3 000002ac: SUB 000002ad: DUP1 000002ae: MLOAD 000002af: PUSH1 0x01 000002b1: DUP4 000002b2: PUSH1 0x20 000002b4: SUB 000002b5: PUSH2 0x0100 000002b8: EXP 000002b9: SUB 000002ba: NOT 000002bb: AND 000002bc: DUP2 000002bd: MSTORE 000002be: PUSH1 0x20 000002c0: ADD 000002c1: SWAP2 000002c2: POP 000002c3: JUMPDEST 000002c4: POP 000002c5: SWAP3 000002c6: POP 000002c7: POP 000002c8: POP 000002c9: PUSH1 0x40 000002cb: MLOAD 000002cc: DUP1 000002cd: SWAP2 000002ce: SUB 000002cf: SWAP1 000002d0: RETURN 000002d1: JUMPDEST 000002d2: CALLVALUE 000002d3: ISZERO 000002d4: PUSH2 0x02dc 000002d7: JUMPI 000002d8: PUSH1 0x00 000002da: DUP1 000002db: REVERT 000002dc: JUMPDEST 000002dd: PUSH2 0x02f3 000002e0: PUSH1 0x01 000002e2: PUSH1 0xa0 000002e4: PUSH1 0x02 000002e6: EXP 000002e7: SUB 000002e8: PUSH1 0x04 000002ea: CALLDATALOAD 000002eb: AND 000002ec: PUSH1 0x24 000002ee: CALLDATALOAD 000002ef: PUSH2 0x05e7 000002f2: JUMP 000002f3: JUMPDEST 000002f4: PUSH1 0x40 000002f6: MLOAD 000002f7: SWAP1 000002f8: ISZERO 000002f9: ISZERO 000002fa: DUP2 000002fb: MSTORE 000002fc: PUSH1 0x20 000002fe: ADD 000002ff: PUSH1 0x40 00000301: MLOAD 00000302: DUP1 00000303: SWAP2 00000304: SUB 00000305: SWAP1 00000306: RETURN 00000307: JUMPDEST 00000308: CALLVALUE 00000309: ISZERO 0000030a: PUSH2 0x0312 0000030d: JUMPI 0000030e: PUSH1 0x00 00000310: DUP1 00000311: REVERT 00000312: JUMPDEST 00000313: PUSH2 0x0326 00000316: PUSH1 0x01 00000318: PUSH1 0xa0 0000031a: PUSH1 0x02 0000031c: EXP 0000031d: SUB 0000031e: PUSH1 0x04 00000320: CALLDATALOAD 00000321: AND 00000322: PUSH2 0x0654 00000325: JUMP 00000326: JUMPDEST 00000327: STOP 00000328: JUMPDEST 00000329: CALLVALUE 0000032a: ISZERO 0000032b: PUSH2 0x0333 0000032e: JUMPI 0000032f: PUSH1 0x00 00000331: DUP1 00000332: REVERT 00000333: JUMPDEST 00000334: PUSH2 0x033b 00000337: PUSH2 0x06f9 0000033a: JUMP 0000033b: JUMPDEST 0000033c: PUSH1 0x40 0000033e: MLOAD 0000033f: SWAP1 00000340: DUP2 00000341: MSTORE 00000342: PUSH1 0x20 00000344: ADD 00000345: PUSH1 0x40 00000347: MLOAD 00000348: DUP1 00000349: SWAP2 0000034a: SUB 0000034b: SWAP1 0000034c: RETURN 0000034d: JUMPDEST 0000034e: CALLVALUE 0000034f: ISZERO 00000350: PUSH2 0x0358 00000353: JUMPI 00000354: PUSH1 0x00 00000356: DUP1 00000357: REVERT 00000358: JUMPDEST 00000359: PUSH2 0x0326 0000035c: PUSH1 0x01 0000035e: PUSH1 0xa0 00000360: PUSH1 0x02 00000362: EXP 00000363: SUB 00000364: PUSH1 0x04 00000366: CALLDATALOAD 00000367: AND 00000368: PUSH1 0x24 0000036a: CALLDATALOAD 0000036b: PUSH1 0x44 0000036d: CALLDATALOAD 0000036e: PUSH2 0x0717 00000371: JUMP 00000372: JUMPDEST 00000373: CALLVALUE 00000374: ISZERO 00000375: PUSH2 0x037d 00000378: JUMPI 00000379: PUSH1 0x00 0000037b: DUP1 0000037c: REVERT 0000037d: JUMPDEST 0000037e: PUSH2 0x033b 00000381: PUSH2 0x081e 00000384: JUMP 00000385: JUMPDEST 00000386: CALLVALUE 00000387: ISZERO 00000388: PUSH2 0x0390 0000038b: JUMPI 0000038c: PUSH1 0x00 0000038e: DUP1 0000038f: REVERT 00000390: JUMPDEST 00000391: PUSH2 0x02f3 00000394: PUSH1 0x01 00000396: PUSH1 0xa0 00000398: PUSH1 0x02 0000039a: EXP 0000039b: SUB 0000039c: PUSH1 0x04 0000039e: CALLDATALOAD 0000039f: DUP2 000003a0: AND 000003a1: SWAP1 000003a2: PUSH1 0x24 000003a4: CALLDATALOAD 000003a5: AND 000003a6: PUSH1 0x44 000003a8: CALLDATALOAD 000003a9: PUSH2 0x0824 000003ac: JUMP 000003ad: JUMPDEST 000003ae: CALLVALUE 000003af: ISZERO 000003b0: PUSH2 0x03b8 000003b3: JUMPI 000003b4: PUSH1 0x00 000003b6: DUP1 000003b7: REVERT 000003b8: JUMPDEST 000003b9: PUSH2 0x0326 000003bc: PUSH2 0x0a5d 000003bf: JUMP 000003c0: JUMPDEST 000003c1: CALLVALUE 000003c2: ISZERO 000003c3: PUSH2 0x03cb 000003c6: JUMPI 000003c7: PUSH1 0x00 000003c9: DUP1 000003ca: REVERT 000003cb: JUMPDEST 000003cc: PUSH2 0x03d3 000003cf: PUSH2 0x0ab9 000003d2: JUMP 000003d3: JUMPDEST 000003d4: PUSH1 0x40 000003d6: MLOAD 000003d7: PUSH1 0xff 000003d9: SWAP1 000003da: SWAP2 000003db: AND 000003dc: DUP2 000003dd: MSTORE 000003de: PUSH1 0x20 000003e0: ADD 000003e1: PUSH1 0x40 000003e3: MLOAD 000003e4: DUP1 000003e5: SWAP2 000003e6: SUB 000003e7: SWAP1 000003e8: RETURN 000003e9: JUMPDEST 000003ea: CALLVALUE 000003eb: ISZERO 000003ec: PUSH2 0x03f4 000003ef: JUMPI 000003f0: PUSH1 0x00 000003f2: DUP1 000003f3: REVERT 000003f4: JUMPDEST 000003f5: PUSH2 0x0326 000003f8: PUSH2 0x0abe 000003fb: JUMP 000003fc: JUMPDEST 000003fd: CALLVALUE 000003fe: ISZERO 000003ff: PUSH2 0x0407 00000402: JUMPI 00000403: PUSH1 0x00 00000405: DUP1 00000406: REVERT 00000407: JUMPDEST 00000408: PUSH2 0x033b 0000040b: PUSH2 0x0b1b 0000040e: JUMP 0000040f: JUMPDEST 00000410: CALLVALUE 00000411: ISZERO 00000412: PUSH2 0x041a 00000415: JUMPI 00000416: PUSH1 0x00 00000418: DUP1 00000419: REVERT 0000041a: JUMPDEST 0000041b: PUSH2 0x0326 0000041e: PUSH2 0x0b21 00000421: JUMP 00000422: JUMPDEST 00000423: CALLVALUE 00000424: ISZERO 00000425: PUSH2 0x042d 00000428: JUMPI 00000429: PUSH1 0x00 0000042b: DUP1 0000042c: REVERT 0000042d: JUMPDEST 0000042e: PUSH2 0x0326 00000431: PUSH2 0x0b82 00000434: JUMP 00000435: JUMPDEST 00000436: CALLVALUE 00000437: ISZERO 00000438: PUSH2 0x0440 0000043b: JUMPI 0000043c: PUSH1 0x00 0000043e: DUP1 0000043f: REVERT 00000440: JUMPDEST 00000441: PUSH2 0x025a 00000444: PUSH2 0x0bc9 00000447: JUMP 00000448: JUMPDEST 00000449: CALLVALUE 0000044a: ISZERO 0000044b: PUSH2 0x0453 0000044e: JUMPI 0000044f: PUSH1 0x00 00000451: DUP1 00000452: REVERT 00000453: JUMPDEST 00000454: PUSH2 0x0326 00000457: PUSH1 0x04 00000459: CALLDATALOAD 0000045a: PUSH2 0x0c57 0000045d: JUMP 0000045e: JUMPDEST 0000045f: CALLVALUE 00000460: ISZERO 00000461: PUSH2 0x0469 00000464: JUMPI 00000465: PUSH1 0x00 00000467: DUP1 00000468: REVERT 00000469: JUMPDEST 0000046a: PUSH2 0x033b 0000046d: PUSH1 0x01 0000046f: PUSH1 0xa0 00000471: PUSH1 0x02 00000473: EXP 00000474: SUB 00000475: PUSH1 0x04 00000477: CALLDATALOAD 00000478: AND 00000479: PUSH2 0x0c7e 0000047c: JUMP 0000047d: JUMPDEST 0000047e: CALLVALUE 0000047f: ISZERO 00000480: PUSH2 0x0488 00000483: JUMPI 00000484: PUSH1 0x00 00000486: DUP1 00000487: REVERT 00000488: JUMPDEST 00000489: PUSH2 0x02f3 0000048c: PUSH1 0x01 0000048e: PUSH1 0xa0 00000490: PUSH1 0x02 00000492: EXP 00000493: SUB 00000494: PUSH1 0x04 00000496: CALLDATALOAD 00000497: AND 00000498: PUSH1 0x24 0000049a: CALLDATALOAD 0000049b: PUSH2 0x0cb1 0000049e: JUMP 0000049f: JUMPDEST 000004a0: CALLVALUE 000004a1: ISZERO 000004a2: PUSH2 0x04aa 000004a5: JUMPI 000004a6: PUSH1 0x00 000004a8: DUP1 000004a9: REVERT 000004aa: JUMPDEST 000004ab: PUSH2 0x025a 000004ae: PUSH2 0x0e4b 000004b1: JUMP 000004b2: JUMPDEST 000004b3: CALLVALUE 000004b4: ISZERO 000004b5: PUSH2 0x04bd 000004b8: JUMPI 000004b9: PUSH1 0x00 000004bb: DUP1 000004bc: REVERT 000004bd: JUMPDEST 000004be: PUSH2 0x0326 000004c1: PUSH2 0x0e99 000004c4: JUMP 000004c5: JUMPDEST 000004c6: CALLVALUE 000004c7: ISZERO 000004c8: PUSH2 0x04d0 000004cb: JUMPI 000004cc: PUSH1 0x00 000004ce: DUP1 000004cf: REVERT 000004d0: JUMPDEST 000004d1: PUSH2 0x04d8 000004d4: PUSH2 0x0ef3 000004d7: JUMP 000004d8: JUMPDEST 000004d9: PUSH1 0x40 000004db: MLOAD 000004dc: PUSH1 0x01 000004de: PUSH1 0xa0 000004e0: PUSH1 0x02 000004e2: EXP 000004e3: SUB 000004e4: SWAP1 000004e5: SWAP2 000004e6: AND 000004e7: DUP2 000004e8: MSTORE 000004e9: PUSH1 0x20 000004eb: ADD 000004ec: PUSH1 0x40 000004ee: MLOAD 000004ef: DUP1 000004f0: SWAP2 000004f1: SUB 000004f2: SWAP1 000004f3: RETURN 000004f4: JUMPDEST 000004f5: CALLVALUE 000004f6: ISZERO 000004f7: PUSH2 0x04ff 000004fa: JUMPI 000004fb: PUSH1 0x00 000004fd: DUP1 000004fe: REVERT 000004ff: JUMPDEST 00000500: PUSH2 0x0326 00000503: PUSH1 0x04 00000505: CALLDATALOAD 00000506: PUSH2 0x0f09 00000509: JUMP 0000050a: JUMPDEST 0000050b: CALLVALUE 0000050c: ISZERO 0000050d: PUSH2 0x0515 00000510: JUMPI 00000511: PUSH1 0x00 00000513: DUP1 00000514: REVERT 00000515: JUMPDEST 00000516: PUSH2 0x025a 00000519: PUSH2 0x0f30 0000051c: JUMP 0000051d: JUMPDEST 0000051e: CALLVALUE 0000051f: ISZERO 00000520: PUSH2 0x0528 00000523: JUMPI 00000524: PUSH1 0x00 00000526: DUP1 00000527: REVERT 00000528: JUMPDEST 00000529: PUSH2 0x025a 0000052c: PUSH2 0x0f83 0000052f: JUMP 00000530: JUMPDEST 00000531: CALLVALUE 00000532: ISZERO 00000533: PUSH2 0x053b 00000536: JUMPI 00000537: PUSH1 0x00 00000539: DUP1 0000053a: REVERT 0000053b: JUMPDEST 0000053c: PUSH2 0x033b 0000053f: PUSH2 0x0fba 00000542: JUMP 00000543: JUMPDEST 00000544: CALLVALUE 00000545: ISZERO 00000546: PUSH2 0x054e 00000549: JUMPI 0000054a: PUSH1 0x00 0000054c: DUP1 0000054d: REVERT 0000054e: JUMPDEST 0000054f: PUSH2 0x02f3 00000552: PUSH1 0x01 00000554: PUSH1 0xa0 00000556: PUSH1 0x02 00000558: EXP 00000559: SUB 0000055a: PUSH1 0x04 0000055c: CALLDATALOAD 0000055d: AND 0000055e: PUSH1 0x24 00000560: CALLDATALOAD 00000561: PUSH2 0x0fc0 00000564: JUMP 00000565: JUMPDEST 00000566: CALLVALUE 00000567: ISZERO 00000568: PUSH2 0x0570 0000056b: JUMPI 0000056c: PUSH1 0x00 0000056e: DUP1 0000056f: REVERT 00000570: JUMPDEST 00000571: PUSH2 0x0326 00000574: PUSH2 0x1134 00000577: JUMP 00000578: JUMPDEST 00000579: CALLVALUE 0000057a: ISZERO 0000057b: PUSH2 0x0583 0000057e: JUMPI 0000057f: PUSH1 0x00 00000581: DUP1 00000582: REVERT 00000583: JUMPDEST 00000584: PUSH2 0x033b 00000587: PUSH1 0x01 00000589: PUSH1 0xa0 0000058b: PUSH1 0x02 0000058d: EXP 0000058e: SUB 0000058f: PUSH1 0x04 00000591: CALLDATALOAD 00000592: DUP2 00000593: AND 00000594: SWAP1 00000595: PUSH1 0x24 00000597: CALLDATALOAD 00000598: AND 00000599: PUSH2 0x118f 0000059c: JUMP 0000059d: JUMPDEST 0000059e: CALLVALUE 0000059f: ISZERO 000005a0: PUSH2 0x05a8 000005a3: JUMPI 000005a4: PUSH1 0x00 000005a6: DUP1 000005a7: REVERT 000005a8: JUMPDEST 000005a9: PUSH2 0x0326 000005ac: PUSH2 0x11ba 000005af: JUMP 000005b0: JUMPDEST 000005b1: PUSH1 0x40 000005b3: DUP1 000005b4: MLOAD 000005b5: SWAP1 000005b6: DUP2 000005b7: ADD 000005b8: PUSH1 0x40 000005ba: MSTORE 000005bb: PUSH1 0x0b 000005bd: DUP2 000005be: MSTORE 000005bf: PUSH32 0x4cc4b0445941434fc4b04e000000000000000000000000000000000000000000 000005e0: PUSH1 0x20 000005e2: DUP3 000005e3: ADD 000005e4: MSTORE 000005e5: DUP2 000005e6: JUMP 000005e7: JUMPDEST 000005e8: PUSH1 0x01 000005ea: PUSH1 0xa0 000005ec: PUSH1 0x02 000005ee: EXP 000005ef: SUB 000005f0: CALLER 000005f1: DUP2 000005f2: AND 000005f3: PUSH1 0x00 000005f5: DUP2 000005f6: DUP2 000005f7: MSTORE 000005f8: PUSH1 0x06 000005fa: PUSH1 0x20 000005fc: SWAP1 000005fd: DUP2 000005fe: MSTORE 000005ff: PUSH1 0x40 00000601: DUP1 00000602: DUP4 00000603: KECCAK256 00000604: SWAP5 00000605: DUP8 00000606: AND 00000607: DUP1 00000608: DUP5 00000609: MSTORE 0000060a: SWAP5 0000060b: SWAP1 0000060c: SWAP2 0000060d: MSTORE 0000060e: DUP1 0000060f: DUP3 00000610: KECCAK256 00000611: DUP6 00000612: SWAP1 00000613: SSTORE 00000614: SWAP1 00000615: SWAP3 00000616: SWAP2 00000617: SWAP1 00000618: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000639: SWAP1 0000063a: DUP6 0000063b: SWAP1 0000063c: MLOAD 0000063d: SWAP1 0000063e: DUP2 0000063f: MSTORE 00000640: PUSH1 0x20 00000642: ADD 00000643: PUSH1 0x40 00000645: MLOAD 00000646: DUP1 00000647: SWAP2 00000648: SUB 00000649: SWAP1 0000064a: LOG3 0000064b: POP 0000064c: PUSH1 0x01 0000064e: JUMPDEST 0000064f: SWAP3 00000650: SWAP2 00000651: POP 00000652: POP 00000653: JUMP 00000654: JUMPDEST 00000655: PUSH1 0x03 00000657: SLOAD 00000658: CALLER 00000659: PUSH1 0x01 0000065b: PUSH1 0xa0 0000065d: PUSH1 0x02 0000065f: EXP 00000660: SUB 00000661: SWAP1 00000662: DUP2 00000663: AND 00000664: PUSH4 0x01000000 00000669: SWAP1 0000066a: SWAP3 0000066b: DIV 0000066c: AND 0000066d: EQ 0000066e: PUSH2 0x0676 00000671: JUMPI 00000672: PUSH1 0x00 00000674: DUP1 00000675: REVERT 00000676: JUMPDEST 00000677: PUSH1 0x03 00000679: SLOAD 0000067a: PUSH1 0xff 0000067c: AND 0000067d: ISZERO 0000067e: ISZERO 0000067f: PUSH1 0x01 00000681: EQ 00000682: PUSH2 0x068a 00000685: JUMPI 00000686: PUSH1 0x00 00000688: DUP1 00000689: REVERT 0000068a: JUMPDEST 0000068b: PUSH1 0x04 0000068d: DUP1 0000068e: SLOAD 0000068f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006a4: NOT 000006a5: AND 000006a6: PUSH1 0x01 000006a8: PUSH1 0xa0 000006aa: PUSH1 0x02 000006ac: EXP 000006ad: SUB 000006ae: DUP4 000006af: DUP2 000006b0: AND 000006b1: SWAP2 000006b2: SWAP1 000006b3: SWAP2 000006b4: OR 000006b5: SWAP2 000006b6: DUP3 000006b7: SWAP1 000006b8: SSTORE 000006b9: PUSH32 0x417918b7a347d80678467a0c066a76fd2af42a9fe8ee88e28e67d5021b190776 000006da: SWAP2 000006db: AND 000006dc: PUSH1 0x40 000006de: MLOAD 000006df: PUSH1 0x01 000006e1: PUSH1 0xa0 000006e3: PUSH1 0x02 000006e5: EXP 000006e6: SUB 000006e7: SWAP1 000006e8: SWAP2 000006e9: AND 000006ea: DUP2 000006eb: MSTORE 000006ec: PUSH1 0x20 000006ee: ADD 000006ef: PUSH1 0x40 000006f1: MLOAD 000006f2: DUP1 000006f3: SWAP2 000006f4: SUB 000006f5: SWAP1 000006f6: LOG1 000006f7: POP 000006f8: JUMP 000006f9: JUMPDEST 000006fa: PUSH1 0x03 000006fc: SLOAD 000006fd: PUSH1 0x00 000006ff: SWAP1 00000700: PUSH1 0xff 00000702: AND 00000703: ISZERO 00000704: ISZERO 00000705: PUSH1 0x01 00000707: EQ 00000708: PUSH2 0x0710 0000070b: JUMPI 0000070c: PUSH1 0x00 0000070e: DUP1 0000070f: REVERT 00000710: JUMPDEST 00000711: POP 00000712: PUSH1 0x00 00000714: SLOAD 00000715: SWAP1 00000716: JUMP 00000717: JUMPDEST 00000718: PUSH1 0x03 0000071a: SLOAD 0000071b: PUSH1 0xff 0000071d: AND 0000071e: ISZERO 0000071f: ISZERO 00000720: PUSH1 0x01 00000722: EQ 00000723: PUSH2 0x072b 00000726: JUMPI 00000727: PUSH1 0x00 00000729: DUP1 0000072a: REVERT 0000072b: JUMPDEST 0000072c: PUSH1 0x03 0000072e: SLOAD 0000072f: CALLER 00000730: PUSH1 0x01 00000732: PUSH1 0xa0 00000734: PUSH1 0x02 00000736: EXP 00000737: SUB 00000738: SWAP1 00000739: DUP2 0000073a: AND 0000073b: PUSH4 0x01000000 00000740: SWAP1 00000741: SWAP3 00000742: DIV 00000743: AND 00000744: EQ 00000745: DUP1 00000746: PUSH2 0x075d 00000749: JUMPI 0000074a: POP 0000074b: PUSH1 0x04 0000074d: SLOAD 0000074e: CALLER 0000074f: PUSH1 0x01 00000751: PUSH1 0xa0 00000753: PUSH1 0x02 00000755: EXP 00000756: SUB 00000757: SWAP1 00000758: DUP2 00000759: AND 0000075a: SWAP2 0000075b: AND 0000075c: EQ 0000075d: JUMPDEST 0000075e: ISZERO 0000075f: ISZERO 00000760: PUSH2 0x0768 00000763: JUMPI 00000764: PUSH1 0x00 00000766: DUP1 00000767: REVERT 00000768: JUMPDEST 00000769: PUSH1 0x01 0000076b: PUSH1 0xa0 0000076d: PUSH1 0x02 0000076f: EXP 00000770: SUB 00000771: DUP1 00000772: DUP5 00000773: AND 00000774: PUSH1 0x00 00000776: DUP2 00000777: DUP2 00000778: MSTORE 00000779: PUSH1 0x05 0000077b: PUSH1 0x20 0000077d: MSTORE 0000077e: PUSH1 0x40 00000780: DUP1 00000781: DUP3 00000782: KECCAK256 00000783: DUP1 00000784: SLOAD 00000785: DUP7 00000786: SWAP1 00000787: SUB 00000788: SWAP1 00000789: SSTORE 0000078a: ADDRESS 0000078b: SWAP1 0000078c: SWAP4 0000078d: AND 0000078e: DUP2 0000078f: MSTORE 00000790: DUP3 00000791: SWAP1 00000792: KECCAK256 00000793: DUP1 00000794: SLOAD 00000795: DUP5 00000796: ADD 00000797: SWAP1 00000798: SSTORE 00000799: SWAP1 0000079a: DUP4 0000079b: ISZERO 0000079c: PUSH2 0x08fc 0000079f: MUL 000007a0: SWAP1 000007a1: DUP5 000007a2: SWAP1 000007a3: MLOAD 000007a4: PUSH1 0x00 000007a6: PUSH1 0x40 000007a8: MLOAD 000007a9: DUP1 000007aa: DUP4 000007ab: SUB 000007ac: DUP2 000007ad: DUP6 000007ae: DUP9 000007af: DUP9 000007b0: CALL 000007b1: SWAP4 000007b2: POP 000007b3: POP 000007b4: POP 000007b5: POP 000007b6: ISZERO 000007b7: ISZERO 000007b8: PUSH2 0x07c0 000007bb: JUMPI 000007bc: PUSH1 0x00 000007be: DUP1 000007bf: REVERT 000007c0: JUMPDEST 000007c1: PUSH32 0x73f04af9dcc582a923ec15d3eea990fe34adabfff2879e28d44572e01a54abb6 000007e2: DUP4 000007e3: DUP4 000007e4: DUP4 000007e5: PUSH1 0x40 000007e7: MLOAD 000007e8: DUP1 000007e9: DUP5 000007ea: PUSH1 0x01 000007ec: PUSH1 0xa0 000007ee: PUSH1 0x02 000007f0: EXP 000007f1: SUB 000007f2: AND 000007f3: PUSH1 0x01 000007f5: PUSH1 0xa0 000007f7: PUSH1 0x02 000007f9: EXP 000007fa: SUB 000007fb: AND 000007fc: DUP2 000007fd: MSTORE 000007fe: PUSH1 0x20 00000800: ADD 00000801: DUP4 00000802: DUP2 00000803: MSTORE 00000804: PUSH1 0x20 00000806: ADD 00000807: DUP3 00000808: DUP2 00000809: MSTORE 0000080a: PUSH1 0x20 0000080c: ADD 0000080d: SWAP4 0000080e: POP 0000080f: POP 00000810: POP 00000811: POP 00000812: PUSH1 0x40 00000814: MLOAD 00000815: DUP1 00000816: SWAP2 00000817: SUB 00000818: SWAP1 00000819: LOG1 0000081a: POP 0000081b: POP 0000081c: POP 0000081d: JUMP 0000081e: JUMPDEST 0000081f: PUSH1 0x01 00000821: SLOAD 00000822: DUP2 00000823: JUMP 00000824: JUMPDEST 00000825: PUSH1 0x03 00000827: SLOAD 00000828: PUSH1 0x00 0000082a: SWAP1 0000082b: PUSH1 0xff 0000082d: AND 0000082e: ISZERO 0000082f: ISZERO 00000830: PUSH1 0x01 00000832: EQ 00000833: PUSH2 0x083b 00000836: JUMPI 00000837: PUSH1 0x00 00000839: DUP1 0000083a: REVERT 0000083b: JUMPDEST 0000083c: PUSH1 0x04 0000083e: SLOAD 0000083f: CALLER 00000840: PUSH1 0x01 00000842: PUSH1 0xa0 00000844: PUSH1 0x02 00000846: EXP 00000847: SUB 00000848: SWAP1 00000849: DUP2 0000084a: AND 0000084b: SWAP2 0000084c: AND 0000084d: EQ 0000084e: DUP1 0000084f: PUSH2 0x086d 00000852: JUMPI 00000853: POP 00000854: PUSH1 0x03 00000856: SLOAD 00000857: CALLER 00000858: PUSH1 0x01 0000085a: PUSH1 0xa0 0000085c: PUSH1 0x02 0000085e: EXP 0000085f: SUB 00000860: SWAP1 00000861: DUP2 00000862: AND 00000863: PUSH4 0x01000000 00000868: SWAP1 00000869: SWAP3 0000086a: DIV 0000086b: AND 0000086c: EQ 0000086d: JUMPDEST 0000086e: ISZERO 0000086f: PUSH2 0x089b 00000872: JUMPI 00000873: PUSH1 0x01 00000875: PUSH1 0xa0 00000877: PUSH1 0x02 00000879: EXP 0000087a: SUB 0000087b: DUP1 0000087c: DUP6 0000087d: AND 0000087e: PUSH1 0x00 00000880: SWAP1 00000881: DUP2 00000882: MSTORE 00000883: PUSH1 0x06 00000885: PUSH1 0x20 00000887: SWAP1 00000888: DUP2 00000889: MSTORE 0000088a: PUSH1 0x40 0000088c: DUP1 0000088d: DUP4 0000088e: KECCAK256 0000088f: SWAP4 00000890: DUP8 00000891: AND 00000892: DUP4 00000893: MSTORE 00000894: SWAP3 00000895: SWAP1 00000896: MSTORE 00000897: KECCAK256 00000898: DUP3 00000899: SWAP1 0000089a: SSTORE 0000089b: JUMPDEST 0000089c: PUSH1 0x01 0000089e: PUSH1 0xa0 000008a0: PUSH1 0x02 000008a2: EXP 000008a3: SUB 000008a4: DUP5 000008a5: AND 000008a6: PUSH1 0x00 000008a8: SWAP1 000008a9: DUP2 000008aa: MSTORE 000008ab: PUSH1 0x05 000008ad: PUSH1 0x20 000008af: MSTORE 000008b0: PUSH1 0x40 000008b2: SWAP1 000008b3: KECCAK256 000008b4: SLOAD 000008b5: DUP3 000008b6: SWAP1 000008b7: LT 000008b8: DUP1 000008b9: ISZERO 000008ba: SWAP1 000008bb: PUSH2 0x08ea 000008be: JUMPI 000008bf: POP 000008c0: PUSH1 0x01 000008c2: PUSH1 0xa0 000008c4: PUSH1 0x02 000008c6: EXP 000008c7: SUB 000008c8: DUP1 000008c9: DUP6 000008ca: AND 000008cb: PUSH1 0x00 000008cd: SWAP1 000008ce: DUP2 000008cf: MSTORE 000008d0: PUSH1 0x06 000008d2: PUSH1 0x20 000008d4: SWAP1 000008d5: DUP2 000008d6: MSTORE 000008d7: PUSH1 0x40 000008d9: DUP1 000008da: DUP4 000008db: KECCAK256 000008dc: SWAP4 000008dd: DUP8 000008de: AND 000008df: DUP4 000008e0: MSTORE 000008e1: SWAP3 000008e2: SWAP1 000008e3: MSTORE 000008e4: KECCAK256 000008e5: SLOAD 000008e6: DUP3 000008e7: SWAP1 000008e8: LT 000008e9: ISZERO 000008ea: JUMPDEST 000008eb: DUP1 000008ec: ISZERO 000008ed: PUSH2 0x08f6 000008f0: JUMPI 000008f1: POP 000008f2: PUSH1 0x00 000008f4: DUP3 000008f5: GT 000008f6: JUMPDEST 000008f7: DUP1 000008f8: ISZERO 000008f9: PUSH2 0x091b 000008fc: JUMPI 000008fd: POP 000008fe: PUSH1 0x01 00000900: PUSH1 0xa0 00000902: PUSH1 0x02 00000904: EXP 00000905: SUB 00000906: DUP4 00000907: AND 00000908: PUSH1 0x00 0000090a: SWAP1 0000090b: DUP2 0000090c: MSTORE 0000090d: PUSH1 0x05 0000090f: PUSH1 0x20 00000911: MSTORE 00000912: PUSH1 0x40 00000914: SWAP1 00000915: KECCAK256 00000916: SLOAD 00000917: DUP3 00000918: DUP2 00000919: ADD 0000091a: GT 0000091b: JUMPDEST 0000091c: ISZERO 0000091d: PUSH2 0x0a52 00000920: JUMPI 00000921: ADDRESS 00000922: PUSH1 0x01 00000924: PUSH1 0xa0 00000926: PUSH1 0x02 00000928: EXP 00000929: SUB 0000092a: AND 0000092b: DUP5 0000092c: PUSH1 0x01 0000092e: PUSH1 0xa0 00000930: PUSH1 0x02 00000932: EXP 00000933: SUB 00000934: AND 00000935: EQ 00000936: DUP1 00000937: PUSH2 0x0951 0000093a: JUMPI 0000093b: POP 0000093c: ADDRESS 0000093d: PUSH1 0x01 0000093f: PUSH1 0xa0 00000941: PUSH1 0x02 00000943: EXP 00000944: SUB 00000945: AND 00000946: DUP4 00000947: PUSH1 0x01 00000949: PUSH1 0xa0 0000094b: PUSH1 0x02 0000094d: EXP 0000094e: SUB 0000094f: AND 00000950: EQ 00000951: JUMPDEST 00000952: ISZERO 00000953: PUSH2 0x09c9 00000956: JUMPI 00000957: PUSH1 0x01 00000959: PUSH1 0xa0 0000095b: PUSH1 0x02 0000095d: EXP 0000095e: SUB 0000095f: DUP1 00000960: DUP6 00000961: AND 00000962: PUSH1 0x00 00000964: DUP2 00000965: DUP2 00000966: MSTORE 00000967: PUSH1 0x05 00000969: PUSH1 0x20 0000096b: DUP2 0000096c: DUP2 0000096d: MSTORE 0000096e: PUSH1 0x40 00000970: DUP1 00000971: DUP5 00000972: KECCAK256 00000973: DUP1 00000974: SLOAD 00000975: DUP10 00000976: SWAP1 00000977: SUB 00000978: SWAP1 00000979: SSTORE 0000097a: PUSH1 0x06 0000097c: DUP3 0000097d: MSTORE 0000097e: DUP1 0000097f: DUP5 00000980: KECCAK256 00000981: SWAP6 00000982: DUP10 00000983: AND 00000984: DUP1 00000985: DUP6 00000986: MSTORE 00000987: SWAP6 00000988: DUP3 00000989: MSTORE 0000098a: DUP1 0000098b: DUP5 0000098c: KECCAK256 0000098d: DUP1 0000098e: SLOAD 0000098f: DUP10 00000990: SWAP1 00000991: SUB 00000992: SWAP1 00000993: SSTORE 00000994: SWAP2 00000995: SWAP1 00000996: MSTORE 00000997: SWAP1 00000998: DUP2 00000999: SWAP1 0000099a: KECCAK256 0000099b: DUP1 0000099c: SLOAD 0000099d: DUP7 0000099e: ADD 0000099f: SWAP1 000009a0: SSTORE 000009a1: PUSH1 0x00 000009a3: DUP1 000009a4: MLOAD 000009a5: PUSH1 0x20 000009a7: PUSH2 0x122c 000009aa: DUP4 000009ab: CODECOPY 000009ac: DUP2 000009ad: MLOAD 000009ae: SWAP2 000009af: MSTORE 000009b0: SWAP1 000009b1: DUP6 000009b2: SWAP1 000009b3: MLOAD 000009b4: SWAP1 000009b5: DUP2 000009b6: MSTORE 000009b7: PUSH1 0x20 000009b9: ADD 000009ba: PUSH1 0x40 000009bc: MLOAD 000009bd: DUP1 000009be: SWAP2 000009bf: SUB 000009c0: SWAP1 000009c1: LOG3 000009c2: POP 000009c3: PUSH1 0x01 000009c5: PUSH2 0x0a56 000009c8: JUMP 000009c9: JUMPDEST 000009ca: PUSH1 0x03 000009cc: SLOAD 000009cd: PUSH1 0xff 000009cf: PUSH2 0x0100 000009d2: SWAP1 000009d3: SWAP2 000009d4: DIV 000009d5: AND 000009d6: ISZERO 000009d7: ISZERO 000009d8: PUSH1 0x01 000009da: EQ 000009db: ISZERO 000009dc: PUSH2 0x0a52 000009df: JUMPI 000009e0: PUSH1 0x01 000009e2: PUSH1 0xa0 000009e4: PUSH1 0x02 000009e6: EXP 000009e7: SUB 000009e8: DUP1 000009e9: DUP6 000009ea: AND 000009eb: PUSH1 0x00 000009ed: DUP2 000009ee: DUP2 000009ef: MSTORE 000009f0: PUSH1 0x05 000009f2: PUSH1 0x20 000009f4: DUP2 000009f5: DUP2 000009f6: MSTORE 000009f7: PUSH1 0x40 000009f9: DUP1 000009fa: DUP5 000009fb: KECCAK256 000009fc: DUP1 000009fd: SLOAD 000009fe: DUP10 000009ff: SWAP1 00000a00: SUB 00000a01: SWAP1 00000a02: SSTORE 00000a03: PUSH1 0x06 00000a05: DUP3 00000a06: MSTORE 00000a07: DUP1 00000a08: DUP5 00000a09: KECCAK256 00000a0a: SWAP6 00000a0b: DUP10 00000a0c: AND 00000a0d: DUP1 00000a0e: DUP6 00000a0f: MSTORE 00000a10: SWAP6 00000a11: DUP3 00000a12: MSTORE 00000a13: DUP1 00000a14: DUP5 00000a15: KECCAK256 00000a16: DUP1 00000a17: SLOAD 00000a18: DUP10 00000a19: SWAP1 00000a1a: SUB 00000a1b: SWAP1 00000a1c: SSTORE 00000a1d: SWAP2 00000a1e: SWAP1 00000a1f: MSTORE 00000a20: SWAP1 00000a21: DUP2 00000a22: SWAP1 00000a23: KECCAK256 00000a24: DUP1 00000a25: SLOAD 00000a26: DUP7 00000a27: ADD 00000a28: SWAP1 00000a29: SSTORE 00000a2a: PUSH1 0x00 00000a2c: DUP1 00000a2d: MLOAD 00000a2e: PUSH1 0x20 00000a30: PUSH2 0x122c 00000a33: DUP4 00000a34: CODECOPY 00000a35: DUP2 00000a36: MLOAD 00000a37: SWAP2 00000a38: MSTORE 00000a39: SWAP1 00000a3a: DUP6 00000a3b: SWAP1 00000a3c: MLOAD 00000a3d: SWAP1 00000a3e: DUP2 00000a3f: MSTORE 00000a40: PUSH1 0x20 00000a42: ADD 00000a43: PUSH1 0x40 00000a45: MLOAD 00000a46: DUP1 00000a47: SWAP2 00000a48: SUB 00000a49: SWAP1 00000a4a: LOG3 00000a4b: POP 00000a4c: PUSH1 0x01 00000a4e: PUSH2 0x0a56 00000a51: JUMP 00000a52: JUMPDEST 00000a53: POP 00000a54: PUSH1 0x00 00000a56: JUMPDEST 00000a57: SWAP4 00000a58: SWAP3 00000a59: POP 00000a5a: POP 00000a5b: POP 00000a5c: JUMP 00000a5d: JUMPDEST 00000a5e: PUSH1 0x03 00000a60: SLOAD 00000a61: CALLER 00000a62: PUSH1 0x01 00000a64: PUSH1 0xa0 00000a66: PUSH1 0x02 00000a68: EXP 00000a69: SUB 00000a6a: SWAP1 00000a6b: DUP2 00000a6c: AND 00000a6d: PUSH4 0x01000000 00000a72: SWAP1 00000a73: SWAP3 00000a74: DIV 00000a75: AND 00000a76: EQ 00000a77: PUSH2 0x0a7f 00000a7a: JUMPI 00000a7b: PUSH1 0x00 00000a7d: DUP1 00000a7e: REVERT 00000a7f: JUMPDEST 00000a80: PUSH1 0x03 00000a82: DUP1 00000a83: SLOAD 00000a84: PUSH3 0xff0000 00000a88: NOT 00000a89: AND 00000a8a: SWAP1 00000a8b: SSTORE 00000a8c: PUSH32 0x925753d32f3a1c9165b7353ec3047bca50d13bac377165312d1c356ccf1da8e4 00000aad: PUSH1 0x40 00000aaf: MLOAD 00000ab0: PUSH1 0x40 00000ab2: MLOAD 00000ab3: DUP1 00000ab4: SWAP2 00000ab5: SUB 00000ab6: SWAP1 00000ab7: LOG1 00000ab8: JUMP 00000ab9: JUMPDEST 00000aba: PUSH1 0x12 00000abc: DUP2 00000abd: JUMP 00000abe: JUMPDEST 00000abf: PUSH1 0x03 00000ac1: SLOAD 00000ac2: CALLER 00000ac3: PUSH1 0x01 00000ac5: PUSH1 0xa0 00000ac7: PUSH1 0x02 00000ac9: EXP 00000aca: SUB 00000acb: SWAP1 00000acc: DUP2 00000acd: AND 00000ace: PUSH4 0x01000000 00000ad3: SWAP1 00000ad4: SWAP3 00000ad5: DIV 00000ad6: AND 00000ad7: EQ 00000ad8: PUSH2 0x0ae0 00000adb: JUMPI 00000adc: PUSH1 0x00 00000ade: DUP1 00000adf: REVERT 00000ae0: JUMPDEST 00000ae1: PUSH1 0x03 00000ae3: DUP1 00000ae4: SLOAD 00000ae5: PUSH1 0xff 00000ae7: NOT 00000ae8: AND 00000ae9: PUSH1 0x01 00000aeb: OR 00000aec: SWAP1 00000aed: SSTORE 00000aee: PUSH32 0x961479333f7baab3eea2ead54f4113612e06058e0f3cdd932672aa14bcd831c2 00000b0f: PUSH1 0x40 00000b11: MLOAD 00000b12: PUSH1 0x40 00000b14: MLOAD 00000b15: DUP1 00000b16: SWAP2 00000b17: SUB 00000b18: SWAP1 00000b19: LOG1 00000b1a: JUMP 00000b1b: JUMPDEST 00000b1c: PUSH1 0x00 00000b1e: SLOAD 00000b1f: DUP2 00000b20: JUMP 00000b21: JUMPDEST 00000b22: PUSH1 0x03 00000b24: SLOAD 00000b25: CALLER 00000b26: PUSH1 0x01 00000b28: PUSH1 0xa0 00000b2a: PUSH1 0x02 00000b2c: EXP 00000b2d: SUB 00000b2e: SWAP1 00000b2f: DUP2 00000b30: AND 00000b31: PUSH4 0x01000000 00000b36: SWAP1 00000b37: SWAP3 00000b38: DIV 00000b39: AND 00000b3a: EQ 00000b3b: PUSH2 0x0b43 00000b3e: JUMPI 00000b3f: PUSH1 0x00 00000b41: DUP1 00000b42: REVERT 00000b43: JUMPDEST 00000b44: PUSH1 0x03 00000b46: DUP1 00000b47: SLOAD 00000b48: PUSH3 0xff0000 00000b4c: NOT 00000b4d: AND 00000b4e: PUSH3 0x010000 00000b52: OR 00000b53: SWAP1 00000b54: SSTORE 00000b55: PUSH32 0xdc57726f275905d661f5ba02846a9589ea8c0684c85e33cabca8d5cf0ef5c21a 00000b76: PUSH1 0x40 00000b78: MLOAD 00000b79: PUSH1 0x40 00000b7b: MLOAD 00000b7c: DUP1 00000b7d: SWAP2 00000b7e: SUB 00000b7f: SWAP1 00000b80: LOG1 00000b81: JUMP 00000b82: JUMPDEST 00000b83: PUSH1 0x03 00000b85: SLOAD 00000b86: CALLER 00000b87: PUSH1 0x01 00000b89: PUSH1 0xa0 00000b8b: PUSH1 0x02 00000b8d: EXP 00000b8e: SUB 00000b8f: SWAP1 00000b90: DUP2 00000b91: AND 00000b92: PUSH4 0x01000000 00000b97: SWAP1 00000b98: SWAP3 00000b99: DIV 00000b9a: AND 00000b9b: EQ 00000b9c: PUSH2 0x0ba4 00000b9f: JUMPI 00000ba0: PUSH1 0x00 00000ba2: DUP1 00000ba3: REVERT 00000ba4: JUMPDEST 00000ba5: PUSH1 0x03 00000ba7: SLOAD 00000ba8: PUSH1 0xff 00000baa: AND 00000bab: ISZERO 00000bac: PUSH2 0x0bb4 00000baf: JUMPI 00000bb0: PUSH1 0x00 00000bb2: DUP1 00000bb3: REVERT 00000bb4: JUMPDEST 00000bb5: PUSH1 0x03 00000bb7: SLOAD 00000bb8: PUSH4 0x01000000 00000bbd: SWAP1 00000bbe: DIV 00000bbf: PUSH1 0x01 00000bc1: PUSH1 0xa0 00000bc3: PUSH1 0x02 00000bc5: EXP 00000bc6: SUB 00000bc7: AND 00000bc8: SELFDESTRUCT 00000bc9: JUMPDEST 00000bca: PUSH2 0x0bd1 00000bcd: PUSH2 0x1219 00000bd0: JUMP 00000bd1: JUMPDEST 00000bd2: PUSH1 0x03 00000bd4: SLOAD 00000bd5: PUSH3 0x010000 00000bd9: SWAP1 00000bda: DIV 00000bdb: PUSH1 0xff 00000bdd: AND 00000bde: ISZERO 00000bdf: PUSH2 0x0c1d 00000be2: JUMPI 00000be3: PUSH1 0x40 00000be5: DUP1 00000be6: MLOAD 00000be7: SWAP1 00000be8: DUP2 00000be9: ADD 00000bea: PUSH1 0x40 00000bec: MSTORE 00000bed: PUSH1 0x07 00000bef: DUP2 00000bf0: MSTORE 00000bf1: PUSH32 0x576f726b696e6700000000000000000000000000000000000000000000000000 00000c12: PUSH1 0x20 00000c14: DUP3 00000c15: ADD 00000c16: MSTORE 00000c17: SWAP1 00000c18: POP 00000c19: PUSH2 0x0c54 00000c1c: JUMP 00000c1d: JUMPDEST 00000c1e: PUSH1 0x40 00000c20: DUP1 00000c21: MLOAD 00000c22: SWAP1 00000c23: DUP2 00000c24: ADD 00000c25: PUSH1 0x40 00000c27: MSTORE 00000c28: PUSH1 0x07 00000c2a: DUP2 00000c2b: MSTORE 00000c2c: PUSH32 0x53746f7070656400000000000000000000000000000000000000000000000000 00000c4d: PUSH1 0x20 00000c4f: DUP3 00000c50: ADD 00000c51: MSTORE 00000c52: SWAP1 00000c53: POP 00000c54: JUMPDEST 00000c55: SWAP1 00000c56: JUMP 00000c57: JUMPDEST 00000c58: PUSH1 0x03 00000c5a: SLOAD 00000c5b: CALLER 00000c5c: PUSH1 0x01 00000c5e: PUSH1 0xa0 00000c60: PUSH1 0x02 00000c62: EXP 00000c63: SUB 00000c64: SWAP1 00000c65: DUP2 00000c66: AND 00000c67: PUSH4 0x01000000 00000c6c: SWAP1 00000c6d: SWAP3 00000c6e: DIV 00000c6f: AND 00000c70: EQ 00000c71: PUSH2 0x0c79 00000c74: JUMPI 00000c75: PUSH1 0x00 00000c77: DUP1 00000c78: REVERT 00000c79: JUMPDEST 00000c7a: PUSH1 0x01 00000c7c: SSTORE 00000c7d: JUMP 00000c7e: JUMPDEST 00000c7f: PUSH1 0x03 00000c81: SLOAD 00000c82: PUSH1 0x00 00000c84: SWAP1 00000c85: PUSH1 0xff 00000c87: AND 00000c88: ISZERO 00000c89: ISZERO 00000c8a: PUSH1 0x01 00000c8c: EQ 00000c8d: PUSH2 0x0c95 00000c90: JUMPI 00000c91: PUSH1 0x00 00000c93: DUP1 00000c94: REVERT 00000c95: JUMPDEST 00000c96: POP 00000c97: PUSH1 0x01 00000c99: PUSH1 0xa0 00000c9b: PUSH1 0x02 00000c9d: EXP 00000c9e: SUB 00000c9f: AND 00000ca0: PUSH1 0x00 00000ca2: SWAP1 00000ca3: DUP2 00000ca4: MSTORE 00000ca5: PUSH1 0x05 00000ca7: PUSH1 0x20 00000ca9: MSTORE 00000caa: PUSH1 0x40 00000cac: SWAP1 00000cad: KECCAK256 00000cae: SLOAD 00000caf: SWAP1 00000cb0: JUMP 00000cb1: JUMPDEST 00000cb2: PUSH1 0x03 00000cb4: SLOAD 00000cb5: PUSH1 0x00 00000cb7: SWAP1 00000cb8: DUP2 00000cb9: SWAP1 00000cba: CALLER 00000cbb: PUSH1 0x01 00000cbd: PUSH1 0xa0 00000cbf: PUSH1 0x02 00000cc1: EXP 00000cc2: SUB 00000cc3: SWAP1 00000cc4: DUP2 00000cc5: AND 00000cc6: PUSH4 0x01000000 00000ccb: SWAP1 00000ccc: SWAP3 00000ccd: DIV 00000cce: AND 00000ccf: EQ 00000cd0: DUP1 00000cd1: PUSH2 0x0ce8 00000cd4: JUMPI 00000cd5: POP 00000cd6: PUSH1 0x04 00000cd8: SLOAD 00000cd9: CALLER 00000cda: PUSH1 0x01 00000cdc: PUSH1 0xa0 00000cde: PUSH1 0x02 00000ce0: EXP 00000ce1: SUB 00000ce2: SWAP1 00000ce3: DUP2 00000ce4: AND 00000ce5: SWAP2 00000ce6: AND 00000ce7: EQ 00000ce8: JUMPDEST 00000ce9: ISZERO 00000cea: ISZERO 00000ceb: PUSH2 0x0cf3 00000cee: JUMPI 00000cef: PUSH1 0x00 00000cf1: DUP1 00000cf2: REVERT 00000cf3: JUMPDEST 00000cf4: PUSH1 0x03 00000cf6: SLOAD 00000cf7: PUSH1 0xff 00000cf9: AND 00000cfa: ISZERO 00000cfb: ISZERO 00000cfc: PUSH1 0x01 00000cfe: EQ 00000cff: PUSH2 0x0d07 00000d02: JUMPI 00000d03: PUSH1 0x00 00000d05: DUP1 00000d06: REVERT 00000d07: JUMPDEST 00000d08: POP 00000d09: PUSH1 0x01 00000d0b: PUSH1 0xa0 00000d0d: PUSH1 0x02 00000d0f: EXP 00000d10: SUB 00000d11: ADDRESS 00000d12: AND 00000d13: PUSH1 0x00 00000d15: SWAP1 00000d16: DUP2 00000d17: MSTORE 00000d18: PUSH1 0x05 00000d1a: PUSH1 0x20 00000d1c: MSTORE 00000d1d: PUSH1 0x40 00000d1f: DUP2 00000d20: KECCAK256 00000d21: SLOAD 00000d22: SWAP1 00000d23: SLOAD 00000d24: PUSH1 0x01 00000d26: SLOAD 00000d27: SWAP2 00000d28: DUP5 00000d29: SUB 00000d2a: SWAP2 00000d2b: SWAP1 00000d2c: DUP3 00000d2d: ADD 00000d2e: SWAP1 00000d2f: LT 00000d30: PUSH2 0x0e3f 00000d33: JUMPI 00000d34: ADDRESS 00000d35: PUSH1 0x01 00000d37: PUSH1 0xa0 00000d39: PUSH1 0x02 00000d3b: EXP 00000d3c: SUB 00000d3d: AND 00000d3e: DUP5 00000d3f: PUSH1 0x01 00000d41: PUSH1 0xa0 00000d43: PUSH1 0x02 00000d45: EXP 00000d46: SUB 00000d47: AND 00000d48: EQ 00000d49: ISZERO 00000d4a: PUSH2 0x0d76 00000d4d: JUMPI 00000d4e: PUSH1 0x01 00000d50: PUSH1 0xa0 00000d52: PUSH1 0x02 00000d54: EXP 00000d55: SUB 00000d56: ADDRESS 00000d57: AND 00000d58: PUSH1 0x00 00000d5a: SWAP1 00000d5b: DUP2 00000d5c: MSTORE 00000d5d: PUSH1 0x05 00000d5f: PUSH1 0x20 00000d61: MSTORE 00000d62: PUSH1 0x40 00000d64: DUP2 00000d65: KECCAK256 00000d66: DUP1 00000d67: SLOAD 00000d68: DUP6 00000d69: ADD 00000d6a: SWAP1 00000d6b: SSTORE 00000d6c: DUP1 00000d6d: SLOAD 00000d6e: DUP5 00000d6f: ADD 00000d70: SWAP1 00000d71: SSTORE 00000d72: PUSH2 0x0df2 00000d75: JUMP 00000d76: JUMPDEST 00000d77: PUSH1 0x01 00000d79: PUSH1 0xa0 00000d7b: PUSH1 0x02 00000d7d: EXP 00000d7e: SUB 00000d7f: ADDRESS 00000d80: AND 00000d81: PUSH1 0x00 00000d83: SWAP1 00000d84: DUP2 00000d85: MSTORE 00000d86: PUSH1 0x05 00000d88: PUSH1 0x20 00000d8a: MSTORE 00000d8b: PUSH1 0x40 00000d8d: SWAP1 00000d8e: KECCAK256 00000d8f: SLOAD 00000d90: DUP4 00000d91: SWAP1 00000d92: LT 00000d93: PUSH2 0x0da7 00000d96: JUMPI 00000d97: PUSH2 0x0da1 00000d9a: ADDRESS 00000d9b: DUP6 00000d9c: DUP6 00000d9d: PUSH2 0x0824 00000da0: JUMP 00000da1: JUMPDEST 00000da2: POP 00000da3: PUSH2 0x0df2 00000da6: JUMP 00000da7: JUMPDEST 00000da8: ADDRESS 00000da9: PUSH1 0x01 00000dab: PUSH1 0xa0 00000dad: PUSH1 0x02 00000daf: EXP 00000db0: SUB 00000db1: DUP2 00000db2: AND 00000db3: PUSH1 0x00 00000db5: SWAP1 00000db6: DUP2 00000db7: MSTORE 00000db8: PUSH1 0x05 00000dba: PUSH1 0x20 00000dbc: MSTORE 00000dbd: PUSH1 0x40 00000dbf: SWAP1 00000dc0: KECCAK256 00000dc1: SLOAD 00000dc2: PUSH2 0x0dcd 00000dc5: SWAP2 00000dc6: SWAP1 00000dc7: DUP7 00000dc8: SWAP1 00000dc9: PUSH2 0x0824 00000dcc: JUMP 00000dcd: JUMPDEST 00000dce: POP 00000dcf: PUSH1 0x00 00000dd1: DUP1 00000dd2: SLOAD 00000dd3: DUP3 00000dd4: ADD 00000dd5: DUP2 00000dd6: SSTORE 00000dd7: PUSH1 0x01 00000dd9: PUSH1 0xa0 00000ddb: PUSH1 0x02 00000ddd: EXP 00000dde: SUB 00000ddf: DUP6 00000de0: AND 00000de1: DUP2 00000de2: MSTORE 00000de3: PUSH1 0x05 00000de5: PUSH1 0x20 00000de7: MSTORE 00000de8: PUSH1 0x40 00000dea: SWAP1 00000deb: KECCAK256 00000dec: DUP1 00000ded: SLOAD 00000dee: DUP3 00000def: ADD 00000df0: SWAP1 00000df1: SSTORE 00000df2: JUMPDEST 00000df3: PUSH32 0xf18d5a93c62c1d0c761ed52107f11d20bc2071851206b79c4dd3283bd9f006f1 00000e14: DUP5 00000e15: DUP5 00000e16: PUSH1 0x40 00000e18: MLOAD 00000e19: PUSH1 0x01 00000e1b: PUSH1 0xa0 00000e1d: PUSH1 0x02 00000e1f: EXP 00000e20: SUB 00000e21: SWAP1 00000e22: SWAP3 00000e23: AND 00000e24: DUP3 00000e25: MSTORE 00000e26: PUSH1 0x20 00000e28: DUP3 00000e29: ADD 00000e2a: MSTORE 00000e2b: PUSH1 0x40 00000e2d: SWAP1 00000e2e: DUP2 00000e2f: ADD 00000e30: SWAP1 00000e31: MLOAD 00000e32: DUP1 00000e33: SWAP2 00000e34: SUB 00000e35: SWAP1 00000e36: LOG1 00000e37: PUSH1 0x01 00000e39: SWAP2 00000e3a: POP 00000e3b: PUSH2 0x0e44 00000e3e: JUMP 00000e3f: JUMPDEST 00000e40: PUSH1 0x00 00000e42: SWAP2 00000e43: POP 00000e44: JUMPDEST 00000e45: POP 00000e46: SWAP3 00000e47: SWAP2 00000e48: POP 00000e49: POP 00000e4a: JUMP 00000e4b: JUMPDEST 00000e4c: PUSH2 0x0e53 00000e4f: PUSH2 0x1219 00000e52: JUMP 00000e53: JUMPDEST 00000e54: PUSH1 0x03 00000e56: SLOAD 00000e57: PUSH1 0xff 00000e59: AND 00000e5a: ISZERO 00000e5b: PUSH2 0x0c1d 00000e5e: JUMPI 00000e5f: PUSH1 0x40 00000e61: DUP1 00000e62: MLOAD 00000e63: SWAP1 00000e64: DUP2 00000e65: ADD 00000e66: PUSH1 0x40 00000e68: MSTORE 00000e69: PUSH1 0x07 00000e6b: DUP2 00000e6c: MSTORE 00000e6d: PUSH32 0x576f726b696e6700000000000000000000000000000000000000000000000000 00000e8e: PUSH1 0x20 00000e90: DUP3 00000e91: ADD 00000e92: MSTORE 00000e93: SWAP1 00000e94: POP 00000e95: PUSH2 0x0c54 00000e98: JUMP 00000e99: JUMPDEST 00000e9a: PUSH1 0x03 00000e9c: SLOAD 00000e9d: CALLER 00000e9e: PUSH1 0x01 00000ea0: PUSH1 0xa0 00000ea2: PUSH1 0x02 00000ea4: EXP 00000ea5: SUB 00000ea6: SWAP1 00000ea7: DUP2 00000ea8: AND 00000ea9: PUSH4 0x01000000 00000eae: SWAP1 00000eaf: SWAP3 00000eb0: DIV 00000eb1: AND 00000eb2: EQ 00000eb3: PUSH2 0x0ebb 00000eb6: JUMPI 00000eb7: PUSH1 0x00 00000eb9: DUP1 00000eba: REVERT 00000ebb: JUMPDEST 00000ebc: PUSH1 0x03 00000ebe: DUP1 00000ebf: SLOAD 00000ec0: PUSH1 0xff 00000ec2: NOT 00000ec3: AND 00000ec4: SWAP1 00000ec5: SSTORE 00000ec6: PUSH32 0x7629cca0a8b5a76f637b1c74a7975da1ca76daa35c33441a76824c4c46585702 00000ee7: PUSH1 0x40 00000ee9: MLOAD 00000eea: PUSH1 0x40 00000eec: MLOAD 00000eed: DUP1 00000eee: SWAP2 00000eef: SUB 00000ef0: SWAP1 00000ef1: LOG1 00000ef2: JUMP 00000ef3: JUMPDEST 00000ef4: PUSH1 0x03 00000ef6: SLOAD 00000ef7: PUSH4 0x01000000 00000efc: SWAP1 00000efd: DIV 00000efe: PUSH1 0x01 00000f00: PUSH1 0xa0 00000f02: PUSH1 0x02 00000f04: EXP 00000f05: SUB 00000f06: AND 00000f07: DUP2 00000f08: JUMP 00000f09: JUMPDEST 00000f0a: PUSH1 0x03 00000f0c: SLOAD 00000f0d: CALLER 00000f0e: PUSH1 0x01 00000f10: PUSH1 0xa0 00000f12: PUSH1 0x02 00000f14: EXP 00000f15: SUB 00000f16: SWAP1 00000f17: DUP2 00000f18: AND 00000f19: PUSH4 0x01000000 00000f1e: SWAP1 00000f1f: SWAP3 00000f20: DIV 00000f21: AND 00000f22: EQ 00000f23: PUSH2 0x0f2b 00000f26: JUMPI 00000f27: PUSH1 0x00 00000f29: DUP1 00000f2a: REVERT 00000f2b: JUMPDEST 00000f2c: PUSH1 0x02 00000f2e: SSTORE 00000f2f: JUMP 00000f30: JUMPDEST 00000f31: PUSH2 0x0f38 00000f34: PUSH2 0x1219 00000f37: JUMP 00000f38: JUMPDEST 00000f39: PUSH1 0x03 00000f3b: SLOAD 00000f3c: PUSH2 0x0100 00000f3f: SWAP1 00000f40: DIV 00000f41: PUSH1 0xff 00000f43: AND 00000f44: ISZERO 00000f45: PUSH2 0x0c1d 00000f48: JUMPI 00000f49: PUSH1 0x40 00000f4b: DUP1 00000f4c: MLOAD 00000f4d: SWAP1 00000f4e: DUP2 00000f4f: ADD 00000f50: PUSH1 0x40 00000f52: MSTORE 00000f53: PUSH1 0x07 00000f55: DUP2 00000f56: MSTORE 00000f57: PUSH32 0x576f726b696e6700000000000000000000000000000000000000000000000000 00000f78: PUSH1 0x20 00000f7a: DUP3 00000f7b: ADD 00000f7c: MSTORE 00000f7d: SWAP1 00000f7e: POP 00000f7f: PUSH2 0x0c54 00000f82: JUMP 00000f83: JUMPDEST 00000f84: PUSH1 0x40 00000f86: DUP1 00000f87: MLOAD 00000f88: SWAP1 00000f89: DUP2 00000f8a: ADD 00000f8b: PUSH1 0x40 00000f8d: MSTORE 00000f8e: PUSH1 0x03 00000f90: DUP2 00000f91: MSTORE 00000f92: PUSH32 0x4c44430000000000000000000000000000000000000000000000000000000000 00000fb3: PUSH1 0x20 00000fb5: DUP3 00000fb6: ADD 00000fb7: MSTORE 00000fb8: DUP2 00000fb9: JUMP 00000fba: JUMPDEST 00000fbb: PUSH1 0x02 00000fbd: SLOAD 00000fbe: DUP2 00000fbf: JUMP 00000fc0: JUMPDEST 00000fc1: PUSH1 0x03 00000fc3: SLOAD 00000fc4: PUSH1 0x00 00000fc6: SWAP1 00000fc7: PUSH1 0xff 00000fc9: AND 00000fca: ISZERO 00000fcb: ISZERO 00000fcc: PUSH1 0x01 00000fce: EQ 00000fcf: PUSH2 0x0fd7 00000fd2: JUMPI 00000fd3: PUSH1 0x00 00000fd5: DUP1 00000fd6: REVERT 00000fd7: JUMPDEST 00000fd8: PUSH1 0x01 00000fda: PUSH1 0xa0 00000fdc: PUSH1 0x02 00000fde: EXP 00000fdf: SUB 00000fe0: CALLER 00000fe1: AND 00000fe2: PUSH1 0x00 00000fe4: SWAP1 00000fe5: DUP2 00000fe6: MSTORE 00000fe7: PUSH1 0x05 00000fe9: PUSH1 0x20 00000feb: MSTORE 00000fec: PUSH1 0x40 00000fee: SWAP1 00000fef: KECCAK256 00000ff0: SLOAD 00000ff1: DUP3 00000ff2: SWAP1 00000ff3: LT 00000ff4: DUP1 00000ff5: ISZERO 00000ff6: SWAP1 00000ff7: PUSH2 0x1000 00000ffa: JUMPI 00000ffb: POP 00000ffc: PUSH1 0x00 00000ffe: DUP3 00000fff: GT 00001000: JUMPDEST 00001001: DUP1 00001002: ISZERO 00001003: PUSH2 0x1025 00001006: JUMPI 00001007: POP 00001008: PUSH1 0x01 0000100a: PUSH1 0xa0 0000100c: PUSH1 0x02 0000100e: EXP 0000100f: SUB 00001010: DUP4 00001011: AND 00001012: PUSH1 0x00 00001014: SWAP1 00001015: DUP2 00001016: MSTORE 00001017: PUSH1 0x05 00001019: PUSH1 0x20 0000101b: MSTORE 0000101c: PUSH1 0x40 0000101e: SWAP1 0000101f: KECCAK256 00001020: SLOAD 00001021: DUP3 00001022: DUP2 00001023: ADD 00001024: GT 00001025: JUMPDEST 00001026: ISZERO 00001027: PUSH2 0x112c 0000102a: JUMPI 0000102b: ADDRESS 0000102c: PUSH1 0x01 0000102e: PUSH1 0xa0 00001030: PUSH1 0x02 00001032: EXP 00001033: SUB 00001034: AND 00001035: CALLER 00001036: PUSH1 0x01 00001038: PUSH1 0xa0 0000103a: PUSH1 0x02 0000103c: EXP 0000103d: SUB 0000103e: AND 0000103f: EQ 00001040: DUP1 00001041: PUSH2 0x105b 00001044: JUMPI 00001045: POP 00001046: ADDRESS 00001047: PUSH1 0x01 00001049: PUSH1 0xa0 0000104b: PUSH1 0x02 0000104d: EXP 0000104e: SUB 0000104f: AND 00001050: DUP4 00001051: PUSH1 0x01 00001053: PUSH1 0xa0 00001055: PUSH1 0x02 00001057: EXP 00001058: SUB 00001059: AND 0000105a: EQ 0000105b: JUMPDEST 0000105c: ISZERO 0000105d: PUSH2 0x10bb 00001060: JUMPI 00001061: PUSH1 0x01 00001063: PUSH1 0xa0 00001065: PUSH1 0x02 00001067: EXP 00001068: SUB 00001069: CALLER 0000106a: DUP2 0000106b: AND 0000106c: PUSH1 0x00 0000106e: DUP2 0000106f: DUP2 00001070: MSTORE 00001071: PUSH1 0x05 00001073: PUSH1 0x20 00001075: MSTORE 00001076: PUSH1 0x40 00001078: DUP1 00001079: DUP3 0000107a: KECCAK256 0000107b: DUP1 0000107c: SLOAD 0000107d: DUP8 0000107e: SWAP1 0000107f: SUB 00001080: SWAP1 00001081: SSTORE 00001082: SWAP3 00001083: DUP7 00001084: AND 00001085: DUP1 00001086: DUP3 00001087: MSTORE 00001088: SWAP1 00001089: DUP4 0000108a: SWAP1 0000108b: KECCAK256 0000108c: DUP1 0000108d: SLOAD 0000108e: DUP7 0000108f: ADD 00001090: SWAP1 00001091: SSTORE 00001092: SWAP2 00001093: PUSH1 0x00 00001095: DUP1 00001096: MLOAD 00001097: PUSH1 0x20 00001099: PUSH2 0x122c 0000109c: DUP4 0000109d: CODECOPY 0000109e: DUP2 0000109f: MLOAD 000010a0: SWAP2 000010a1: MSTORE 000010a2: SWAP1 000010a3: DUP6 000010a4: SWAP1 000010a5: MLOAD 000010a6: SWAP1 000010a7: DUP2 000010a8: MSTORE 000010a9: PUSH1 0x20 000010ab: ADD 000010ac: PUSH1 0x40 000010ae: MLOAD 000010af: DUP1 000010b0: SWAP2 000010b1: SUB 000010b2: SWAP1 000010b3: LOG3 000010b4: POP 000010b5: PUSH1 0x01 000010b7: PUSH2 0x064e 000010ba: JUMP 000010bb: JUMPDEST 000010bc: PUSH1 0x03 000010be: SLOAD 000010bf: PUSH1 0xff 000010c1: PUSH2 0x0100 000010c4: SWAP1 000010c5: SWAP2 000010c6: DIV 000010c7: AND 000010c8: ISZERO 000010c9: ISZERO 000010ca: PUSH1 0x01 000010cc: EQ 000010cd: ISZERO 000010ce: PUSH2 0x112c 000010d1: JUMPI 000010d2: PUSH1 0x01 000010d4: PUSH1 0xa0 000010d6: PUSH1 0x02 000010d8: EXP 000010d9: SUB 000010da: CALLER 000010db: DUP2 000010dc: AND 000010dd: PUSH1 0x00 000010df: DUP2 000010e0: DUP2 000010e1: MSTORE 000010e2: PUSH1 0x05 000010e4: PUSH1 0x20 000010e6: MSTORE 000010e7: PUSH1 0x40 000010e9: DUP1 000010ea: DUP3 000010eb: KECCAK256 000010ec: DUP1 000010ed: SLOAD 000010ee: DUP8 000010ef: SWAP1 000010f0: SUB 000010f1: SWAP1 000010f2: SSTORE 000010f3: SWAP3 000010f4: DUP7 000010f5: AND 000010f6: DUP1 000010f7: DUP3 000010f8: MSTORE 000010f9: SWAP1 000010fa: DUP4 000010fb: SWAP1 000010fc: KECCAK256 000010fd: DUP1 000010fe: SLOAD 000010ff: DUP7 00001100: ADD 00001101: SWAP1 00001102: SSTORE 00001103: SWAP2 00001104: PUSH1 0x00 00001106: DUP1 00001107: MLOAD 00001108: PUSH1 0x20 0000110a: PUSH2 0x122c 0000110d: DUP4 0000110e: CODECOPY 0000110f: DUP2 00001110: MLOAD 00001111: SWAP2 00001112: MSTORE 00001113: SWAP1 00001114: DUP6 00001115: SWAP1 00001116: MLOAD 00001117: SWAP1 00001118: DUP2 00001119: MSTORE 0000111a: PUSH1 0x20 0000111c: ADD 0000111d: PUSH1 0x40 0000111f: MLOAD 00001120: DUP1 00001121: SWAP2 00001122: SUB 00001123: SWAP1 00001124: LOG3 00001125: POP 00001126: PUSH1 0x01 00001128: PUSH2 0x064e 0000112b: JUMP 0000112c: JUMPDEST 0000112d: POP 0000112e: PUSH1 0x00 00001130: PUSH2 0x064e 00001133: JUMP 00001134: JUMPDEST 00001135: PUSH1 0x03 00001137: SLOAD 00001138: CALLER 00001139: PUSH1 0x01 0000113b: PUSH1 0xa0 0000113d: PUSH1 0x02 0000113f: EXP 00001140: SUB 00001141: SWAP1 00001142: DUP2 00001143: AND 00001144: PUSH4 0x01000000 00001149: SWAP1 0000114a: SWAP3 0000114b: DIV 0000114c: AND 0000114d: EQ 0000114e: PUSH2 0x1156 00001151: JUMPI 00001152: PUSH1 0x00 00001154: DUP1 00001155: REVERT 00001156: JUMPDEST 00001157: PUSH1 0x03 00001159: DUP1 0000115a: SLOAD 0000115b: PUSH2 0xff00 0000115e: NOT 0000115f: AND 00001160: SWAP1 00001161: SSTORE 00001162: PUSH32 0xa24e573d02c7954c4e7984d9899865bb96f86540675f339ece49129f3594710e 00001183: PUSH1 0x40 00001185: MLOAD 00001186: PUSH1 0x40 00001188: MLOAD 00001189: DUP1 0000118a: SWAP2 0000118b: SUB 0000118c: SWAP1 0000118d: LOG1 0000118e: JUMP 0000118f: JUMPDEST 00001190: PUSH1 0x01 00001192: PUSH1 0xa0 00001194: PUSH1 0x02 00001196: EXP 00001197: SUB 00001198: SWAP2 00001199: DUP3 0000119a: AND 0000119b: PUSH1 0x00 0000119d: SWAP1 0000119e: DUP2 0000119f: MSTORE 000011a0: PUSH1 0x06 000011a2: PUSH1 0x20 000011a4: SWAP1 000011a5: DUP2 000011a6: MSTORE 000011a7: PUSH1 0x40 000011a9: DUP1 000011aa: DUP4 000011ab: KECCAK256 000011ac: SWAP4 000011ad: SWAP1 000011ae: SWAP5 000011af: AND 000011b0: DUP3 000011b1: MSTORE 000011b2: SWAP2 000011b3: SWAP1 000011b4: SWAP2 000011b5: MSTORE 000011b6: KECCAK256 000011b7: SLOAD 000011b8: SWAP1 000011b9: JUMP 000011ba: JUMPDEST 000011bb: PUSH1 0x03 000011bd: SLOAD 000011be: CALLER 000011bf: PUSH1 0x01 000011c1: PUSH1 0xa0 000011c3: PUSH1 0x02 000011c5: EXP 000011c6: SUB 000011c7: SWAP1 000011c8: DUP2 000011c9: AND 000011ca: PUSH4 0x01000000 000011cf: SWAP1 000011d0: SWAP3 000011d1: DIV 000011d2: AND 000011d3: EQ 000011d4: PUSH2 0x11dc 000011d7: JUMPI 000011d8: PUSH1 0x00 000011da: DUP1 000011db: REVERT 000011dc: JUMPDEST 000011dd: PUSH1 0x03 000011df: DUP1 000011e0: SLOAD 000011e1: PUSH2 0xff00 000011e4: NOT 000011e5: AND 000011e6: PUSH2 0x0100 000011e9: OR 000011ea: SWAP1 000011eb: SSTORE 000011ec: PUSH32 0x75fce015c314a132947a3e42f6ab79ab8e05397dabf35b4d742dea228bbadc2d 0000120d: PUSH1 0x40 0000120f: MLOAD 00001210: PUSH1 0x40 00001212: MLOAD 00001213: DUP1 00001214: SWAP2 00001215: SUB 00001216: SWAP1 00001217: LOG1 00001218: JUMP 00001219: JUMPDEST 0000121a: PUSH1 0x20 0000121c: PUSH1 0x40 0000121e: MLOAD 0000121f: SWAP1 00001220: DUP2 00001221: ADD 00001222: PUSH1 0x40 00001224: MSTORE 00001225: PUSH1 0x00 00001227: DUP2 00001228: MSTORE 00001229: SWAP1 0000122a: JUMP 0000122b: STOP 0000122c: UNKNOWN(0xDD) 0000122d: CALLCODE 0000122e: MSTORE 0000122f: UNKNOWN(0xAD) 00001230: SHL 00001231: UNKNOWN(0xE2) 00001232: UNKNOWN(0xC8) 00001233: SWAP12 00001234: PUSH10 0xc2b068fc378daa952ba7 0000123f: CALL 00001240: PUSH4 0xc4a11628 00001245: CREATE2 00001246: GAS 00001247: UNKNOWN(0x4D) 00001248: CREATE2 00001249: UNKNOWN(0x23) 0000124a: UNKNOWN(0xB3) 0000124b: UNKNOWN(0xEF) 0000124c: LOG1 0000124d: PUSH6 0x627a7a723058 00001254: KECCAK256 00001255: CLZ 00001256: LT 00001257: CREATE2 00001258: PUSH23 0x6bbb63b6e7878bd4884d1b3ccc8c6987331191116be77c 00001270: UNKNOWN(0xCF) 00001271: PUSH23
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0xb2e3e8f840f3a6384c990e23d5175ad3bdc70cebdcecb324d04b418428db008f
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xb2e3e8f840f3a6384c990e23d5175ad3bdc70cebdcecb324d04b418428db008f",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0f13af83",
"selector": "0x0f13af83",
"calldata_variants": [
"0x0f13af83",
"0x0f13af830000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18fd8903",
"selector": "0x18fd8903",
"calldata_variants": [
"0x18fd8903",
"0x18fd89030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22f4596f",
"selector": "0x22f4596f",
"calldata_variants": [
"0x22f4596f",
"0x22f4596f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2a9046d8",
"selector": "0x2a9046d8",
"calldata_variants": [
"0x2a9046d8",
"0x2a9046d80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x9e5028d05d1045e24c98e2d9ab39737b98d563ebf7c7a897e4bb2f6bfef53ab3
call_targets:
0xce4222ee062297af5bb9a703b74513712e69bdae
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9e5028d05d1045e24c98e2d9ab39737b98d563ebf7c7a897e4bb2f6bfef53ab3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xce4222ee062297af5bb9a703b74513712e69bdae"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0f13af83",
"selector": "0x0f13af83",
"calldata_variants": [
"0x0f13af83",
"0x0f13af830000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18fd8903",
"selector": "0x18fd8903",
"calldata_variants": [
"0x18fd8903",
"0x18fd89030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22f4596f",
"selector": "0x22f4596f",
"calldata_variants": [
"0x22f4596f",
"0x22f4596f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2a9046d8",
"selector": "0x2a9046d8",
"calldata_variants": [
"0x2a9046d8",
"0x2a9046d80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 521,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1968,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4653,
"opcode": "CALLCODE",
"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: 0x9e5028d05d1045e24c98e2d9ab39737b98d563ebf7c7a897e4bb2f6bfef53ab3
call_targets:
0xce4222ee062297af5bb9a703b74513712e69bdae
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9e5028d05d1045e24c98e2d9ab39737b98d563ebf7c7a897e4bb2f6bfef53ab3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xce4222ee062297af5bb9a703b74513712e69bdae"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0f13af83",
"selector": "0x0f13af83",
"calldata_variants": [
"0x0f13af83",
"0x0f13af830000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18fd8903",
"selector": "0x18fd8903",
"calldata_variants": [
"0x18fd8903",
"0x18fd89030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22f4596f",
"selector": "0x22f4596f",
"calldata_variants": [
"0x22f4596f",
"0x22f4596f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2a9046d8",
"selector": "0x2a9046d8",
"calldata_variants": [
"0x2a9046d8",
"0x2a9046d80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 521,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1968,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4653,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xb2e3e8f840f3a6384c990e23d5175ad3bdc70cebdcecb324d04b418428db008f
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xb2e3e8f840f3a6384c990e23d5175ad3bdc70cebdcecb324d04b418428db008f",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0f13af83",
"selector": "0x0f13af83",
"calldata_variants": [
"0x0f13af83",
"0x0f13af830000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18fd8903",
"selector": "0x18fd8903",
"calldata_variants": [
"0x18fd8903",
"0x18fd89030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22f4596f",
"selector": "0x22f4596f",
"calldata_variants": [
"0x22f4596f",
"0x22f4596f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2a9046d8",
"selector": "0x2a9046d8",
"calldata_variants": [
"0x2a9046d8",
"0x2a9046d80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 3
}
|