019b477e-a8cb-7100-a329-7b5ef743e65e
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 |
|---|---|---|---|---|
| 20495 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 20496 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 88585 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 88586 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 88587 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 88588 | 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: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x00a0 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x013cf08b 00000034: EQ 00000035: PUSH2 0x00a9 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x1d28dec7 0000003f: EQ 00000040: PUSH2 0x01ab 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x237e9492 0000004a: EQ 0000004b: PUSH2 0x01dc 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x400e3949 00000055: EQ 00000056: PUSH2 0x0254 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x69bd3436 00000060: EQ 00000061: PUSH2 0x027c 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x8da5cb5b 0000006b: EQ 0000006c: PUSH2 0x02a4 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xac69c09c 00000076: EQ 00000077: PUSH2 0x02e2 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xdfe12c31 00000081: EQ 00000082: PUSH2 0x0303 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xf2fde38b 0000008c: EQ 0000008d: PUSH2 0x03c2 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xfc0c546a 00000097: EQ 00000098: PUSH2 0x03df 0000009b: JUMPI 0000009c: PUSH2 0x00a0 0000009f: JUMP 000000a0: JUMPDEST 000000a1: PUSH2 0x00a7 000000a4: JUMPDEST 000000a5: JUMPDEST 000000a6: JUMP 000000a7: JUMPDEST 000000a8: STOP 000000a9: JUMPDEST 000000aa: CALLVALUE 000000ab: PUSH2 0x0002 000000ae: JUMPI 000000af: PUSH2 0x00c4 000000b2: PUSH1 0x04 000000b4: DUP1 000000b5: DUP1 000000b6: CALLDATALOAD 000000b7: SWAP1 000000b8: PUSH1 0x20 000000ba: ADD 000000bb: SWAP1 000000bc: SWAP2 000000bd: SWAP1 000000be: POP 000000bf: POP 000000c0: PUSH2 0x041d 000000c3: JUMP 000000c4: JUMPDEST 000000c5: PUSH1 0x40 000000c7: MLOAD 000000c8: DUP1 000000c9: DUP10 000000ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000df: AND 000000e0: DUP2 000000e1: MSTORE 000000e2: PUSH1 0x20 000000e4: ADD 000000e5: DUP9 000000e6: DUP2 000000e7: MSTORE 000000e8: PUSH1 0x20 000000ea: ADD 000000eb: DUP1 000000ec: PUSH1 0x20 000000ee: ADD 000000ef: DUP8 000000f0: DUP2 000000f1: MSTORE 000000f2: PUSH1 0x20 000000f4: ADD 000000f5: DUP7 000000f6: ISZERO 000000f7: ISZERO 000000f8: DUP2 000000f9: MSTORE 000000fa: PUSH1 0x20 000000fc: ADD 000000fd: DUP6 000000fe: ISZERO 000000ff: ISZERO 00000100: DUP2 00000101: MSTORE 00000102: PUSH1 0x20 00000104: ADD 00000105: DUP5 00000106: DUP2 00000107: MSTORE 00000108: PUSH1 0x20 0000010a: ADD 0000010b: DUP4 0000010c: PUSH1 0x00 0000010e: NOT 0000010f: AND 00000110: DUP2 00000111: MSTORE 00000112: PUSH1 0x20 00000114: ADD 00000115: DUP3 00000116: DUP2 00000117: SUB 00000118: DUP3 00000119: MSTORE 0000011a: DUP9 0000011b: DUP2 0000011c: DUP2 0000011d: SLOAD 0000011e: PUSH1 0x01 00000120: DUP2 00000121: PUSH1 0x01 00000123: AND 00000124: ISZERO 00000125: PUSH2 0x0100 00000128: MUL 00000129: SUB 0000012a: AND 0000012b: PUSH1 0x02 0000012d: SWAP1 0000012e: DIV 0000012f: DUP2 00000130: MSTORE 00000131: PUSH1 0x20 00000133: ADD 00000134: SWAP2 00000135: POP 00000136: DUP1 00000137: SLOAD 00000138: PUSH1 0x01 0000013a: DUP2 0000013b: PUSH1 0x01 0000013d: AND 0000013e: ISZERO 0000013f: PUSH2 0x0100 00000142: MUL 00000143: SUB 00000144: AND 00000145: PUSH1 0x02 00000147: SWAP1 00000148: DIV 00000149: DUP1 0000014a: ISZERO 0000014b: PUSH2 0x0195 0000014e: JUMPI 0000014f: DUP1 00000150: PUSH1 0x1f 00000152: LT 00000153: PUSH2 0x016a 00000156: JUMPI 00000157: PUSH2 0x0100 0000015a: DUP1 0000015b: DUP4 0000015c: SLOAD 0000015d: DIV 0000015e: MUL 0000015f: DUP4 00000160: MSTORE 00000161: SWAP2 00000162: PUSH1 0x20 00000164: ADD 00000165: SWAP2 00000166: PUSH2 0x0195 00000169: JUMP 0000016a: JUMPDEST 0000016b: DUP3 0000016c: ADD 0000016d: SWAP2 0000016e: SWAP1 0000016f: PUSH1 0x00 00000171: MSTORE 00000172: PUSH1 0x20 00000174: PUSH1 0x00 00000176: KECCAK256 00000177: SWAP1 00000178: JUMPDEST 00000179: DUP2 0000017a: SLOAD 0000017b: DUP2 0000017c: MSTORE 0000017d: SWAP1 0000017e: PUSH1 0x01 00000180: ADD 00000181: SWAP1 00000182: PUSH1 0x20 00000184: ADD 00000185: DUP1 00000186: DUP4 00000187: GT 00000188: PUSH2 0x0178 0000018b: JUMPI 0000018c: DUP3 0000018d: SWAP1 0000018e: SUB 0000018f: PUSH1 0x1f 00000191: AND 00000192: DUP3 00000193: ADD 00000194: SWAP2 00000195: JUMPDEST 00000196: POP 00000197: POP 00000198: SWAP10 00000199: POP 0000019a: POP 0000019b: POP 0000019c: POP 0000019d: POP 0000019e: POP 0000019f: POP 000001a0: POP 000001a1: POP 000001a2: POP 000001a3: PUSH1 0x40 000001a5: MLOAD 000001a6: DUP1 000001a7: SWAP2 000001a8: SUB 000001a9: SWAP1 000001aa: RETURN 000001ab: JUMPDEST 000001ac: CALLVALUE 000001ad: PUSH2 0x0002 000001b0: JUMPI 000001b1: PUSH2 0x01c6 000001b4: PUSH1 0x04 000001b6: DUP1 000001b7: DUP1 000001b8: CALLDATALOAD 000001b9: SWAP1 000001ba: PUSH1 0x20 000001bc: ADD 000001bd: SWAP1 000001be: SWAP2 000001bf: SWAP1 000001c0: POP 000001c1: POP 000001c2: PUSH2 0x04bd 000001c5: JUMP 000001c6: JUMPDEST 000001c7: PUSH1 0x40 000001c9: MLOAD 000001ca: DUP1 000001cb: DUP3 000001cc: DUP2 000001cd: MSTORE 000001ce: PUSH1 0x20 000001d0: ADD 000001d1: SWAP2 000001d2: POP 000001d3: POP 000001d4: PUSH1 0x40 000001d6: MLOAD 000001d7: DUP1 000001d8: SWAP2 000001d9: SUB 000001da: SWAP1 000001db: RETURN 000001dc: JUMPDEST 000001dd: CALLVALUE 000001de: PUSH2 0x0002 000001e1: JUMPI 000001e2: PUSH2 0x023e 000001e5: PUSH1 0x04 000001e7: DUP1 000001e8: DUP1 000001e9: CALLDATALOAD 000001ea: SWAP1 000001eb: PUSH1 0x20 000001ed: ADD 000001ee: SWAP1 000001ef: SWAP2 000001f0: SWAP1 000001f1: DUP1 000001f2: CALLDATALOAD 000001f3: SWAP1 000001f4: PUSH1 0x20 000001f6: ADD 000001f7: SWAP1 000001f8: DUP3 000001f9: ADD 000001fa: DUP1 000001fb: CALLDATALOAD 000001fc: SWAP1 000001fd: PUSH1 0x20 000001ff: ADD 00000200: SWAP2 00000201: SWAP2 00000202: SWAP1 00000203: DUP1 00000204: DUP1 00000205: PUSH1 0x1f 00000207: ADD 00000208: PUSH1 0x20 0000020a: DUP1 0000020b: SWAP2 0000020c: DIV 0000020d: MUL 0000020e: PUSH1 0x20 00000210: ADD 00000211: PUSH1 0x40 00000213: MLOAD 00000214: SWAP1 00000215: DUP2 00000216: ADD 00000217: PUSH1 0x40 00000219: MSTORE 0000021a: DUP1 0000021b: SWAP4 0000021c: SWAP3 0000021d: SWAP2 0000021e: SWAP1 0000021f: DUP2 00000220: DUP2 00000221: MSTORE 00000222: PUSH1 0x20 00000224: ADD 00000225: DUP4 00000226: DUP4 00000227: DUP1 00000228: DUP3 00000229: DUP5 0000022a: CALLDATACOPY 0000022b: DUP3 0000022c: ADD 0000022d: SWAP2 0000022e: POP 0000022f: POP 00000230: POP 00000231: POP 00000232: POP 00000233: POP 00000234: SWAP1 00000235: SWAP1 00000236: SWAP2 00000237: SWAP1 00000238: POP 00000239: POP 0000023a: PUSH2 0x08b6 0000023d: JUMP 0000023e: JUMPDEST 0000023f: PUSH1 0x40 00000241: MLOAD 00000242: DUP1 00000243: DUP3 00000244: DUP2 00000245: MSTORE 00000246: PUSH1 0x20 00000248: ADD 00000249: SWAP2 0000024a: POP 0000024b: POP 0000024c: PUSH1 0x40 0000024e: MLOAD 0000024f: DUP1 00000250: SWAP2 00000251: SUB 00000252: SWAP1 00000253: RETURN 00000254: JUMPDEST 00000255: CALLVALUE 00000256: PUSH2 0x0002 00000259: JUMPI 0000025a: PUSH2 0x0266 0000025d: PUSH1 0x04 0000025f: DUP1 00000260: POP 00000261: POP 00000262: PUSH2 0x0d9e 00000265: JUMP 00000266: JUMPDEST 00000267: PUSH1 0x40 00000269: MLOAD 0000026a: DUP1 0000026b: DUP3 0000026c: DUP2 0000026d: MSTORE 0000026e: PUSH1 0x20 00000270: ADD 00000271: SWAP2 00000272: POP 00000273: POP 00000274: PUSH1 0x40 00000276: MLOAD 00000277: DUP1 00000278: SWAP2 00000279: SUB 0000027a: SWAP1 0000027b: RETURN 0000027c: JUMPDEST 0000027d: CALLVALUE 0000027e: PUSH2 0x0002 00000281: JUMPI 00000282: PUSH2 0x028e 00000285: PUSH1 0x04 00000287: DUP1 00000288: POP 00000289: POP 0000028a: PUSH2 0x0da7 0000028d: JUMP 0000028e: JUMPDEST 0000028f: PUSH1 0x40 00000291: MLOAD 00000292: DUP1 00000293: DUP3 00000294: DUP2 00000295: MSTORE 00000296: PUSH1 0x20 00000298: ADD 00000299: SWAP2 0000029a: POP 0000029b: POP 0000029c: PUSH1 0x40 0000029e: MLOAD 0000029f: DUP1 000002a0: SWAP2 000002a1: SUB 000002a2: SWAP1 000002a3: RETURN 000002a4: JUMPDEST 000002a5: CALLVALUE 000002a6: PUSH2 0x0002 000002a9: JUMPI 000002aa: PUSH2 0x02b6 000002ad: PUSH1 0x04 000002af: DUP1 000002b0: POP 000002b1: POP 000002b2: PUSH2 0x0db0 000002b5: JUMP 000002b6: JUMPDEST 000002b7: PUSH1 0x40 000002b9: MLOAD 000002ba: DUP1 000002bb: DUP3 000002bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d1: AND 000002d2: DUP2 000002d3: MSTORE 000002d4: PUSH1 0x20 000002d6: ADD 000002d7: SWAP2 000002d8: POP 000002d9: POP 000002da: PUSH1 0x40 000002dc: MLOAD 000002dd: DUP1 000002de: SWAP2 000002df: SUB 000002e0: SWAP1 000002e1: RETURN 000002e2: JUMPDEST 000002e3: PUSH2 0x0301 000002e6: PUSH1 0x04 000002e8: DUP1 000002e9: DUP1 000002ea: CALLDATALOAD 000002eb: SWAP1 000002ec: PUSH1 0x20 000002ee: ADD 000002ef: SWAP1 000002f0: SWAP2 000002f1: SWAP1 000002f2: DUP1 000002f3: CALLDATALOAD 000002f4: SWAP1 000002f5: PUSH1 0x20 000002f7: ADD 000002f8: SWAP1 000002f9: SWAP2 000002fa: SWAP1 000002fb: POP 000002fc: POP 000002fd: PUSH2 0x0dd6 00000300: JUMP 00000301: JUMPDEST 00000302: STOP 00000303: JUMPDEST 00000304: CALLVALUE 00000305: PUSH2 0x0002 00000308: JUMPI 00000309: PUSH2 0x03ac 0000030c: PUSH1 0x04 0000030e: DUP1 0000030f: DUP1 00000310: CALLDATALOAD 00000311: SWAP1 00000312: PUSH1 0x20 00000314: ADD 00000315: SWAP1 00000316: SWAP2 00000317: SWAP1 00000318: DUP1 00000319: CALLDATALOAD 0000031a: SWAP1 0000031b: PUSH1 0x20 0000031d: ADD 0000031e: SWAP1 0000031f: DUP3 00000320: ADD 00000321: DUP1 00000322: CALLDATALOAD 00000323: SWAP1 00000324: PUSH1 0x20 00000326: ADD 00000327: SWAP2 00000328: SWAP2 00000329: SWAP1 0000032a: DUP1 0000032b: DUP1 0000032c: PUSH1 0x1f 0000032e: ADD 0000032f: PUSH1 0x20 00000331: DUP1 00000332: SWAP2 00000333: DIV 00000334: MUL 00000335: PUSH1 0x20 00000337: ADD 00000338: PUSH1 0x40 0000033a: MLOAD 0000033b: SWAP1 0000033c: DUP2 0000033d: ADD 0000033e: PUSH1 0x40 00000340: MSTORE 00000341: DUP1 00000342: SWAP4 00000343: SWAP3 00000344: SWAP2 00000345: SWAP1 00000346: DUP2 00000347: DUP2 00000348: MSTORE 00000349: PUSH1 0x20 0000034b: ADD 0000034c: DUP4 0000034d: DUP4 0000034e: DUP1 0000034f: DUP3 00000350: DUP5 00000351: CALLDATACOPY 00000352: DUP3 00000353: ADD 00000354: SWAP2 00000355: POP 00000356: POP 00000357: POP 00000358: POP 00000359: POP 0000035a: POP 0000035b: SWAP1 0000035c: SWAP1 0000035d: SWAP2 0000035e: SWAP1 0000035f: DUP1 00000360: CALLDATALOAD 00000361: SWAP1 00000362: PUSH1 0x20 00000364: ADD 00000365: SWAP1 00000366: DUP3 00000367: ADD 00000368: DUP1 00000369: CALLDATALOAD 0000036a: SWAP1 0000036b: PUSH1 0x20 0000036d: ADD 0000036e: SWAP2 0000036f: SWAP2 00000370: SWAP1 00000371: DUP1 00000372: DUP1 00000373: PUSH1 0x1f 00000375: ADD 00000376: PUSH1 0x20 00000378: DUP1 00000379: SWAP2 0000037a: DIV 0000037b: MUL 0000037c: PUSH1 0x20 0000037e: ADD 0000037f: PUSH1 0x40 00000381: MLOAD 00000382: SWAP1 00000383: DUP2 00000384: ADD 00000385: PUSH1 0x40 00000387: MSTORE 00000388: DUP1 00000389: SWAP4 0000038a: SWAP3 0000038b: SWAP2 0000038c: SWAP1 0000038d: DUP2 0000038e: DUP2 0000038f: MSTORE 00000390: PUSH1 0x20 00000392: ADD 00000393: DUP4 00000394: DUP4 00000395: DUP1 00000396: DUP3 00000397: DUP5 00000398: CALLDATACOPY 00000399: DUP3 0000039a: ADD 0000039b: SWAP2 0000039c: POP 0000039d: POP 0000039e: POP 0000039f: POP 000003a0: POP 000003a1: POP 000003a2: SWAP1 000003a3: SWAP1 000003a4: SWAP2 000003a5: SWAP1 000003a6: POP 000003a7: POP 000003a8: PUSH2 0x0ebb 000003ab: JUMP 000003ac: JUMPDEST 000003ad: PUSH1 0x40 000003af: MLOAD 000003b0: DUP1 000003b1: DUP3 000003b2: DUP2 000003b3: MSTORE 000003b4: PUSH1 0x20 000003b6: ADD 000003b7: SWAP2 000003b8: POP 000003b9: POP 000003ba: PUSH1 0x40 000003bc: MLOAD 000003bd: DUP1 000003be: SWAP2 000003bf: SUB 000003c0: SWAP1 000003c1: RETURN 000003c2: JUMPDEST 000003c3: CALLVALUE 000003c4: PUSH2 0x0002 000003c7: JUMPI 000003c8: PUSH2 0x03dd 000003cb: PUSH1 0x04 000003cd: DUP1 000003ce: DUP1 000003cf: CALLDATALOAD 000003d0: SWAP1 000003d1: PUSH1 0x20 000003d3: ADD 000003d4: SWAP1 000003d5: SWAP2 000003d6: SWAP1 000003d7: POP 000003d8: POP 000003d9: PUSH2 0x143f 000003dc: JUMP 000003dd: JUMPDEST 000003de: STOP 000003df: JUMPDEST 000003e0: CALLVALUE 000003e1: PUSH2 0x0002 000003e4: JUMPI 000003e5: PUSH2 0x03f1 000003e8: PUSH1 0x04 000003ea: DUP1 000003eb: POP 000003ec: POP 000003ed: PUSH2 0x14dd 000003f0: JUMP 000003f1: JUMPDEST 000003f2: PUSH1 0x40 000003f4: MLOAD 000003f5: DUP1 000003f6: DUP3 000003f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000040c: AND 0000040d: DUP2 0000040e: MSTORE 0000040f: PUSH1 0x20 00000411: ADD 00000412: SWAP2 00000413: POP 00000414: POP 00000415: PUSH1 0x40 00000417: MLOAD 00000418: DUP1 00000419: SWAP2 0000041a: SUB 0000041b: SWAP1 0000041c: RETURN 0000041d: JUMPDEST 0000041e: PUSH1 0x02 00000420: PUSH1 0x00 00000422: POP 00000423: DUP2 00000424: DUP2 00000425: SLOAD 00000426: DUP2 00000427: LT 00000428: ISZERO 00000429: PUSH2 0x0002 0000042c: JUMPI 0000042d: SWAP1 0000042e: PUSH1 0x00 00000430: MSTORE 00000431: PUSH1 0x20 00000433: PUSH1 0x00 00000435: KECCAK256 00000436: SWAP1 00000437: PUSH1 0x09 00000439: MUL 0000043a: ADD 0000043b: PUSH1 0x00 0000043d: JUMPDEST 0000043e: SWAP2 0000043f: POP 00000440: SWAP1 00000441: POP 00000442: DUP1 00000443: PUSH1 0x00 00000445: ADD 00000446: PUSH1 0x00 00000448: SWAP1 00000449: SLOAD 0000044a: SWAP1 0000044b: PUSH2 0x0100 0000044e: EXP 0000044f: SWAP1 00000450: DIV 00000451: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000466: AND 00000467: SWAP1 00000468: DUP1 00000469: PUSH1 0x01 0000046b: ADD 0000046c: PUSH1 0x00 0000046e: POP 0000046f: SLOAD 00000470: SWAP1 00000471: DUP1 00000472: PUSH1 0x02 00000474: ADD 00000475: PUSH1 0x00 00000477: POP 00000478: SWAP1 00000479: DUP1 0000047a: PUSH1 0x03 0000047c: ADD 0000047d: PUSH1 0x00 0000047f: POP 00000480: SLOAD 00000481: SWAP1 00000482: DUP1 00000483: PUSH1 0x04 00000485: ADD 00000486: PUSH1 0x00 00000488: SWAP1 00000489: SLOAD 0000048a: SWAP1 0000048b: PUSH2 0x0100 0000048e: EXP 0000048f: SWAP1 00000490: DIV 00000491: PUSH1 0xff 00000493: AND 00000494: SWAP1 00000495: DUP1 00000496: PUSH1 0x04 00000498: ADD 00000499: PUSH1 0x01 0000049b: SWAP1 0000049c: SLOAD 0000049d: SWAP1 0000049e: PUSH2 0x0100 000004a1: EXP 000004a2: SWAP1 000004a3: DIV 000004a4: PUSH1 0xff 000004a6: AND 000004a7: SWAP1 000004a8: DUP1 000004a9: PUSH1 0x05 000004ab: ADD 000004ac: PUSH1 0x00 000004ae: POP 000004af: SLOAD 000004b0: SWAP1 000004b1: DUP1 000004b2: PUSH1 0x06 000004b4: ADD 000004b5: PUSH1 0x00 000004b7: POP 000004b8: SLOAD 000004b9: SWAP1 000004ba: POP 000004bb: DUP9 000004bc: JUMP 000004bd: JUMPDEST 000004be: PUSH1 0x00 000004c0: PUSH1 0x00 000004c2: PUSH1 0x00 000004c4: PUSH1 0x04 000004c6: PUSH1 0x00 000004c8: SWAP1 000004c9: SLOAD 000004ca: SWAP1 000004cb: PUSH2 0x0100 000004ce: EXP 000004cf: SWAP1 000004d0: DIV 000004d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004e6: AND 000004e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004fc: AND 000004fd: PUSH4 0x70a08231 00000502: CALLER 00000503: PUSH1 0x00 00000505: PUSH1 0x40 00000507: MLOAD 00000508: PUSH1 0x20 0000050a: ADD 0000050b: MSTORE 0000050c: PUSH1 0x40 0000050e: MLOAD 0000050f: DUP3 00000510: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000052e: MUL 0000052f: DUP2 00000530: MSTORE 00000531: PUSH1 0x04 00000533: ADD 00000534: DUP1 00000535: DUP3 00000536: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000054b: AND 0000054c: DUP2 0000054d: MSTORE 0000054e: PUSH1 0x20 00000550: ADD 00000551: SWAP2 00000552: POP 00000553: POP 00000554: PUSH1 0x20 00000556: PUSH1 0x40 00000558: MLOAD 00000559: DUP1 0000055a: DUP4 0000055b: SUB 0000055c: DUP2 0000055d: PUSH1 0x00 0000055f: DUP8 00000560: DUP1 00000561: EXTCODESIZE 00000562: ISZERO 00000563: PUSH2 0x0002 00000566: JUMPI 00000567: PUSH1 0x32 00000569: GAS 0000056a: SUB 0000056b: CALL 0000056c: ISZERO 0000056d: PUSH2 0x0002 00000570: JUMPI 00000571: POP 00000572: POP 00000573: POP 00000574: PUSH1 0x40 00000576: MLOAD 00000577: DUP1 00000578: MLOAD 00000579: SWAP1 0000057a: PUSH1 0x20 0000057c: ADD 0000057d: POP 0000057e: EQ 0000057f: ISZERO 00000580: PUSH2 0x0588 00000583: JUMPI 00000584: PUSH2 0x0002 00000587: JUMP 00000588: JUMPDEST 00000589: PUSH1 0x02 0000058b: PUSH1 0x00 0000058d: POP 0000058e: DUP4 0000058f: DUP2 00000590: SLOAD 00000591: DUP2 00000592: LT 00000593: ISZERO 00000594: PUSH2 0x0002 00000597: JUMPI 00000598: SWAP1 00000599: PUSH1 0x00 0000059b: MSTORE 0000059c: PUSH1 0x20 0000059e: PUSH1 0x00 000005a0: KECCAK256 000005a1: SWAP1 000005a2: PUSH1 0x09 000005a4: MUL 000005a5: ADD 000005a6: PUSH1 0x00 000005a8: JUMPDEST 000005a9: POP 000005aa: SWAP1 000005ab: POP 000005ac: PUSH1 0x01 000005ae: ISZERO 000005af: ISZERO 000005b0: DUP2 000005b1: PUSH1 0x08 000005b3: ADD 000005b4: PUSH1 0x00 000005b6: POP 000005b7: PUSH1 0x00 000005b9: CALLER 000005ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005cf: AND 000005d0: DUP2 000005d1: MSTORE 000005d2: PUSH1 0x20 000005d4: ADD 000005d5: SWAP1 000005d6: DUP2 000005d7: MSTORE 000005d8: PUSH1 0x20 000005da: ADD 000005db: PUSH1 0x00 000005dd: KECCAK256 000005de: PUSH1 0x00 000005e0: SWAP1 000005e1: SLOAD 000005e2: SWAP1 000005e3: PUSH2 0x0100 000005e6: EXP 000005e7: SWAP1 000005e8: DIV 000005e9: PUSH1 0xff 000005eb: AND 000005ec: ISZERO 000005ed: ISZERO 000005ee: EQ 000005ef: ISZERO 000005f0: PUSH2 0x05f8 000005f3: JUMPI 000005f4: PUSH2 0x0002 000005f7: JUMP 000005f8: JUMPDEST 000005f9: DUP1 000005fa: PUSH1 0x07 000005fc: ADD 000005fd: PUSH1 0x00 000005ff: POP 00000600: DUP1 00000601: SLOAD 00000602: DUP1 00000603: SWAP2 00000604: SWAP1 00000605: PUSH1 0x01 00000607: ADD 00000608: SWAP1 00000609: SWAP1 0000060a: DUP2 0000060b: SLOAD 0000060c: DUP2 0000060d: DUP4 0000060e: SSTORE 0000060f: DUP2 00000610: DUP2 00000611: ISZERO 00000612: GT 00000613: PUSH2 0x0682 00000616: JUMPI 00000617: DUP2 00000618: DUP4 00000619: PUSH1 0x00 0000061b: MSTORE 0000061c: PUSH1 0x20 0000061e: PUSH1 0x00 00000620: KECCAK256 00000621: SWAP2 00000622: DUP3 00000623: ADD 00000624: SWAP2 00000625: ADD 00000626: PUSH2 0x0681 00000629: SWAP2 0000062a: SWAP1 0000062b: PUSH2 0x062f 0000062e: JUMP 0000062f: JUMPDEST 00000630: DUP1 00000631: DUP3 00000632: GT 00000633: ISZERO 00000634: PUSH2 0x067d 00000637: JUMPI 00000638: PUSH1 0x00 0000063a: PUSH1 0x00 0000063c: DUP3 0000063d: ADD 0000063e: PUSH1 0x00 00000640: PUSH2 0x0100 00000643: EXP 00000644: DUP2 00000645: SLOAD 00000646: SWAP1 00000647: PUSH1 0xff 00000649: MUL 0000064a: NOT 0000064b: AND 0000064c: SWAP1 0000064d: SSTORE 0000064e: PUSH1 0x00 00000650: DUP3 00000651: ADD 00000652: PUSH1 0x01 00000654: PUSH2 0x0100 00000657: EXP 00000658: DUP2 00000659: SLOAD 0000065a: SWAP1 0000065b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000670: MUL 00000671: NOT 00000672: AND 00000673: SWAP1 00000674: SSTORE 00000675: POP 00000676: PUSH1 0x01 00000678: ADD 00000679: PUSH2 0x062f 0000067c: JUMP 0000067d: JUMPDEST 0000067e: POP 0000067f: SWAP1 00000680: JUMP 00000681: JUMPDEST 00000682: JUMPDEST 00000683: POP 00000684: POP 00000685: POP 00000686: SWAP2 00000687: POP 00000688: DUP2 00000689: POP 0000068a: PUSH1 0x40 0000068c: PUSH1 0x40 0000068e: MLOAD 0000068f: SWAP1 00000690: DUP2 00000691: ADD 00000692: PUSH1 0x40 00000694: MSTORE 00000695: DUP1 00000696: PUSH1 0x01 00000698: DUP2 00000699: MSTORE 0000069a: PUSH1 0x20 0000069c: ADD 0000069d: CALLER 0000069e: DUP2 0000069f: MSTORE 000006a0: PUSH1 0x20 000006a2: ADD 000006a3: POP 000006a4: DUP2 000006a5: PUSH1 0x07 000006a7: ADD 000006a8: PUSH1 0x00 000006aa: POP 000006ab: DUP4 000006ac: DUP2 000006ad: SLOAD 000006ae: DUP2 000006af: LT 000006b0: ISZERO 000006b1: PUSH2 0x0002 000006b4: JUMPI 000006b5: SWAP1 000006b6: PUSH1 0x00 000006b8: MSTORE 000006b9: PUSH1 0x20 000006bb: PUSH1 0x00 000006bd: KECCAK256 000006be: SWAP1 000006bf: ADD 000006c0: PUSH1 0x00 000006c2: JUMPDEST 000006c3: POP 000006c4: PUSH1 0x00 000006c6: DUP3 000006c7: ADD 000006c8: MLOAD 000006c9: DUP2 000006ca: PUSH1 0x00 000006cc: ADD 000006cd: PUSH1 0x00 000006cf: PUSH2 0x0100 000006d2: EXP 000006d3: DUP2 000006d4: SLOAD 000006d5: DUP2 000006d6: PUSH1 0xff 000006d8: MUL 000006d9: NOT 000006da: AND 000006db: SWAP1 000006dc: DUP4 000006dd: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 000006fe: SWAP1 000006ff: DUP2 00000700: MUL 00000701: DIV 00000702: MUL 00000703: OR 00000704: SWAP1 00000705: SSTORE 00000706: POP 00000707: PUSH1 0x20 00000709: DUP3 0000070a: ADD 0000070b: MLOAD 0000070c: DUP2 0000070d: PUSH1 0x00 0000070f: ADD 00000710: PUSH1 0x01 00000712: PUSH2 0x0100 00000715: EXP 00000716: DUP2 00000717: SLOAD 00000718: DUP2 00000719: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000072e: MUL 0000072f: NOT 00000730: AND 00000731: SWAP1 00000732: DUP4 00000733: PUSH13 0x01000000000000000000000000 00000741: SWAP1 00000742: DUP2 00000743: MUL 00000744: DIV 00000745: MUL 00000746: OR 00000747: SWAP1 00000748: SSTORE 00000749: POP 0000074a: SWAP1 0000074b: POP 0000074c: POP 0000074d: PUSH1 0x01 0000074f: DUP2 00000750: PUSH1 0x08 00000752: ADD 00000753: PUSH1 0x00 00000755: POP 00000756: PUSH1 0x00 00000758: CALLER 00000759: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076e: AND 0000076f: DUP2 00000770: MSTORE 00000771: PUSH1 0x20 00000773: ADD 00000774: SWAP1 00000775: DUP2 00000776: MSTORE 00000777: PUSH1 0x20 00000779: ADD 0000077a: PUSH1 0x00 0000077c: KECCAK256 0000077d: PUSH1 0x00 0000077f: PUSH2 0x0100 00000782: EXP 00000783: DUP2 00000784: SLOAD 00000785: DUP2 00000786: PUSH1 0xff 00000788: MUL 00000789: NOT 0000078a: AND 0000078b: SWAP1 0000078c: DUP4 0000078d: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 000007ae: SWAP1 000007af: DUP2 000007b0: MUL 000007b1: DIV 000007b2: MUL 000007b3: OR 000007b4: SWAP1 000007b5: SSTORE 000007b6: POP 000007b7: PUSH1 0x01 000007b9: DUP3 000007ba: ADD 000007bb: DUP2 000007bc: PUSH1 0x05 000007be: ADD 000007bf: PUSH1 0x00 000007c1: POP 000007c2: DUP2 000007c3: SWAP1 000007c4: SSTORE 000007c5: POP 000007c6: PUSH32 0x86abfce99b7dd908bec0169288797f85049ec73cbe046ed9de818fab3a497ae0 000007e7: DUP4 000007e8: PUSH1 0x01 000007ea: CALLER 000007eb: PUSH1 0x40 000007ed: MLOAD 000007ee: DUP1 000007ef: DUP5 000007f0: DUP2 000007f1: MSTORE 000007f2: PUSH1 0x20 000007f4: ADD 000007f5: DUP4 000007f6: ISZERO 000007f7: ISZERO 000007f8: DUP2 000007f9: MSTORE 000007fa: PUSH1 0x20 000007fc: ADD 000007fd: DUP3 000007fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000813: AND 00000814: DUP2 00000815: MSTORE 00000816: PUSH1 0x20 00000818: ADD 00000819: SWAP4 0000081a: POP 0000081b: POP 0000081c: POP 0000081d: POP 0000081e: PUSH1 0x40 00000820: MLOAD 00000821: DUP1 00000822: SWAP2 00000823: SUB 00000824: SWAP1 00000825: LOG1 00000826: PUSH1 0x04 00000828: PUSH1 0x00 0000082a: SWAP1 0000082b: SLOAD 0000082c: SWAP1 0000082d: PUSH2 0x0100 00000830: EXP 00000831: SWAP1 00000832: DIV 00000833: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000848: AND 00000849: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000085e: AND 0000085f: PUSH4 0x4a501381 00000864: PUSH1 0x40 00000866: MLOAD 00000867: DUP2 00000868: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000886: MUL 00000887: DUP2 00000888: MSTORE 00000889: PUSH1 0x04 0000088b: ADD 0000088c: DUP1 0000088d: SWAP1 0000088e: POP 0000088f: PUSH1 0x00 00000891: PUSH1 0x40 00000893: MLOAD 00000894: DUP1 00000895: DUP4 00000896: SUB 00000897: DUP2 00000898: PUSH1 0x00 0000089a: DUP8 0000089b: DUP1 0000089c: EXTCODESIZE 0000089d: ISZERO 0000089e: PUSH2 0x0002 000008a1: JUMPI 000008a2: PUSH1 0x32 000008a4: GAS 000008a5: SUB 000008a6: CALL 000008a7: ISZERO 000008a8: PUSH2 0x0002 000008ab: JUMPI 000008ac: POP 000008ad: POP 000008ae: POP 000008af: JUMPDEST 000008b0: JUMPDEST 000008b1: POP 000008b2: SWAP2 000008b3: SWAP1 000008b4: POP 000008b5: JUMP 000008b6: JUMPDEST 000008b7: PUSH1 0x00 000008b9: PUSH1 0x00 000008bb: PUSH1 0x00 000008bd: PUSH1 0x00 000008bf: PUSH1 0x00 000008c1: PUSH1 0x00 000008c3: PUSH1 0x02 000008c5: PUSH1 0x00 000008c7: POP 000008c8: DUP9 000008c9: DUP2 000008ca: SLOAD 000008cb: DUP2 000008cc: LT 000008cd: ISZERO 000008ce: PUSH2 0x0002 000008d1: JUMPI 000008d2: SWAP1 000008d3: PUSH1 0x00 000008d5: MSTORE 000008d6: PUSH1 0x20 000008d8: PUSH1 0x00 000008da: KECCAK256 000008db: SWAP1 000008dc: PUSH1 0x09 000008de: MUL 000008df: ADD 000008e0: PUSH1 0x00 000008e2: JUMPDEST 000008e3: POP 000008e4: SWAP5 000008e5: POP 000008e6: DUP5 000008e7: PUSH1 0x03 000008e9: ADD 000008ea: PUSH1 0x00 000008ec: POP 000008ed: SLOAD 000008ee: TIMESTAMP 000008ef: LT 000008f0: DUP1 000008f1: PUSH2 0x0908 000008f4: JUMPI 000008f5: POP 000008f6: DUP5 000008f7: PUSH1 0x04 000008f9: ADD 000008fa: PUSH1 0x00 000008fc: SWAP1 000008fd: SLOAD 000008fe: SWAP1 000008ff: PUSH2 0x0100 00000902: EXP 00000903: SWAP1 00000904: DIV 00000905: PUSH1 0xff 00000907: AND 00000908: JUMPDEST 00000909: DUP1 0000090a: PUSH2 0x09b4 0000090d: JUMPI 0000090e: POP 0000090f: DUP5 00000910: PUSH1 0x00 00000912: ADD 00000913: PUSH1 0x00 00000915: SWAP1 00000916: SLOAD 00000917: SWAP1 00000918: PUSH2 0x0100 0000091b: EXP 0000091c: SWAP1 0000091d: DIV 0000091e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000933: AND 00000934: DUP6 00000935: PUSH1 0x01 00000937: ADD 00000938: PUSH1 0x00 0000093a: POP 0000093b: SLOAD 0000093c: DUP9 0000093d: PUSH1 0x40 0000093f: MLOAD 00000940: DUP1 00000941: DUP5 00000942: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000957: AND 00000958: PUSH13 0x01000000000000000000000000 00000966: MUL 00000967: DUP2 00000968: MSTORE 00000969: PUSH1 0x14 0000096b: ADD 0000096c: DUP4 0000096d: DUP2 0000096e: MSTORE 0000096f: PUSH1 0x20 00000971: ADD 00000972: DUP3 00000973: DUP1 00000974: MLOAD 00000975: SWAP1 00000976: PUSH1 0x20 00000978: ADD 00000979: SWAP1 0000097a: DUP1 0000097b: DUP4 0000097c: DUP4 0000097d: DUP3 0000097e: SWAP1 0000097f: PUSH1 0x00 00000981: PUSH1 0x04 00000983: PUSH1 0x20 00000985: DUP5 00000986: PUSH1 0x1f 00000988: ADD 00000989: DIV 0000098a: PUSH1 0x03 0000098c: MUL 0000098d: PUSH1 0x0f 0000098f: ADD 00000990: CALL 00000991: POP 00000992: SWAP1 00000993: POP 00000994: ADD 00000995: SWAP4 00000996: POP 00000997: POP 00000998: POP 00000999: POP 0000099a: PUSH1 0x40 0000099c: MLOAD 0000099d: DUP1 0000099e: SWAP2 0000099f: SUB 000009a0: SWAP1 000009a1: KECCAK256 000009a2: PUSH1 0x00 000009a4: NOT 000009a5: AND 000009a6: DUP6 000009a7: PUSH1 0x06 000009a9: ADD 000009aa: PUSH1 0x00 000009ac: POP 000009ad: SLOAD 000009ae: PUSH1 0x00 000009b0: NOT 000009b1: AND 000009b2: EQ 000009b3: ISZERO 000009b4: JUMPDEST 000009b5: ISZERO 000009b6: PUSH2 0x09be 000009b9: JUMPI 000009ba: PUSH2 0x0002 000009bd: JUMP 000009be: JUMPDEST 000009bf: PUSH1 0x00 000009c1: SWAP4 000009c2: POP 000009c3: PUSH1 0x00 000009c5: SWAP3 000009c6: POP 000009c7: JUMPDEST 000009c8: DUP5 000009c9: PUSH1 0x07 000009cb: ADD 000009cc: PUSH1 0x00 000009ce: POP 000009cf: DUP1 000009d0: SLOAD 000009d1: SWAP1 000009d2: POP 000009d3: DUP4 000009d4: LT 000009d5: ISZERO 000009d6: PUSH2 0x0b08 000009d9: JUMPI 000009da: DUP5 000009db: PUSH1 0x07 000009dd: ADD 000009de: PUSH1 0x00 000009e0: POP 000009e1: DUP4 000009e2: DUP2 000009e3: SLOAD 000009e4: DUP2 000009e5: LT 000009e6: ISZERO 000009e7: PUSH2 0x0002 000009ea: JUMPI 000009eb: SWAP1 000009ec: PUSH1 0x00 000009ee: MSTORE 000009ef: PUSH1 0x20 000009f1: PUSH1 0x00 000009f3: KECCAK256 000009f4: SWAP1 000009f5: ADD 000009f6: PUSH1 0x00 000009f8: JUMPDEST 000009f9: POP 000009fa: SWAP2 000009fb: POP 000009fc: PUSH1 0x04 000009fe: PUSH1 0x00 00000a00: SWAP1 00000a01: SLOAD 00000a02: SWAP1 00000a03: PUSH2 0x0100 00000a06: EXP 00000a07: SWAP1 00000a08: DIV 00000a09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a1e: AND 00000a1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a34: AND 00000a35: PUSH4 0x70a08231 00000a3a: DUP4 00000a3b: PUSH1 0x00 00000a3d: ADD 00000a3e: PUSH1 0x01 00000a40: SWAP1 00000a41: SLOAD 00000a42: SWAP1 00000a43: PUSH2 0x0100 00000a46: EXP 00000a47: SWAP1 00000a48: DIV 00000a49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a5e: AND 00000a5f: PUSH1 0x00 00000a61: PUSH1 0x40 00000a63: MLOAD 00000a64: PUSH1 0x20 00000a66: ADD 00000a67: MSTORE 00000a68: PUSH1 0x40 00000a6a: MLOAD 00000a6b: DUP3 00000a6c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000a8a: MUL 00000a8b: DUP2 00000a8c: MSTORE 00000a8d: PUSH1 0x04 00000a8f: ADD 00000a90: DUP1 00000a91: DUP3 00000a92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa7: AND 00000aa8: DUP2 00000aa9: MSTORE 00000aaa: PUSH1 0x20 00000aac: ADD 00000aad: SWAP2 00000aae: POP 00000aaf: POP 00000ab0: PUSH1 0x20 00000ab2: PUSH1 0x40 00000ab4: MLOAD 00000ab5: DUP1 00000ab6: DUP4 00000ab7: SUB 00000ab8: DUP2 00000ab9: PUSH1 0x00 00000abb: DUP8 00000abc: DUP1 00000abd: EXTCODESIZE 00000abe: ISZERO 00000abf: PUSH2 0x0002 00000ac2: JUMPI 00000ac3: PUSH1 0x32 00000ac5: GAS 00000ac6: SUB 00000ac7: CALL 00000ac8: ISZERO 00000ac9: PUSH2 0x0002 00000acc: JUMPI 00000acd: POP 00000ace: POP 00000acf: POP 00000ad0: PUSH1 0x40 00000ad2: MLOAD 00000ad3: DUP1 00000ad4: MLOAD 00000ad5: SWAP1 00000ad6: PUSH1 0x20 00000ad8: ADD 00000ad9: POP 00000ada: SWAP1 00000adb: POP 00000adc: DUP2 00000add: PUSH1 0x00 00000adf: ADD 00000ae0: PUSH1 0x00 00000ae2: SWAP1 00000ae3: SLOAD 00000ae4: SWAP1 00000ae5: PUSH2 0x0100 00000ae8: EXP 00000ae9: SWAP1 00000aea: DIV 00000aeb: PUSH1 0xff 00000aed: AND 00000aee: ISZERO 00000aef: PUSH2 0x0afa 00000af2: JUMPI 00000af3: DUP1 00000af4: DUP5 00000af5: ADD 00000af6: SWAP4 00000af7: POP 00000af8: DUP4 00000af9: POP 00000afa: JUMPDEST 00000afb: JUMPDEST 00000afc: DUP3 00000afd: PUSH1 0x01 00000aff: ADD 00000b00: SWAP3 00000b01: POP 00000b02: DUP3 00000b03: POP 00000b04: PUSH2 0x09c7 00000b07: JUMP 00000b08: JUMPDEST 00000b09: PUSH1 0x02 00000b0b: PUSH1 0x04 00000b0d: PUSH1 0x00 00000b0f: SWAP1 00000b10: SLOAD 00000b11: SWAP1 00000b12: PUSH2 0x0100 00000b15: EXP 00000b16: SWAP1 00000b17: DIV 00000b18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b2d: AND 00000b2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b43: AND 00000b44: PUSH4 0x18160ddd 00000b49: PUSH1 0x00 00000b4b: PUSH1 0x40 00000b4d: MLOAD 00000b4e: PUSH1 0x20 00000b50: ADD 00000b51: MSTORE 00000b52: PUSH1 0x40 00000b54: MLOAD 00000b55: DUP2 00000b56: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000b74: MUL 00000b75: DUP2 00000b76: MSTORE 00000b77: PUSH1 0x04 00000b79: ADD 00000b7a: DUP1 00000b7b: SWAP1 00000b7c: POP 00000b7d: PUSH1 0x20 00000b7f: PUSH1 0x40 00000b81: MLOAD 00000b82: DUP1 00000b83: DUP4 00000b84: SUB 00000b85: DUP2 00000b86: PUSH1 0x00 00000b88: DUP8 00000b89: DUP1 00000b8a: EXTCODESIZE 00000b8b: ISZERO 00000b8c: PUSH2 0x0002 00000b8f: JUMPI 00000b90: PUSH1 0x32 00000b92: GAS 00000b93: SUB 00000b94: CALL 00000b95: ISZERO 00000b96: PUSH2 0x0002 00000b99: JUMPI 00000b9a: POP 00000b9b: POP 00000b9c: POP 00000b9d: PUSH1 0x40 00000b9f: MLOAD 00000ba0: DUP1 00000ba1: MLOAD 00000ba2: SWAP1 00000ba3: PUSH1 0x20 00000ba5: ADD 00000ba6: POP 00000ba7: DUP2 00000ba8: ISZERO 00000ba9: PUSH2 0x0002 00000bac: JUMPI 00000bad: DIV 00000bae: DUP5 00000baf: LT 00000bb0: ISZERO 00000bb1: PUSH2 0x0cf7 00000bb4: JUMPI 00000bb5: PUSH1 0x01 00000bb7: DUP6 00000bb8: PUSH1 0x04 00000bba: ADD 00000bbb: PUSH1 0x00 00000bbd: PUSH2 0x0100 00000bc0: EXP 00000bc1: DUP2 00000bc2: SLOAD 00000bc3: DUP2 00000bc4: PUSH1 0xff 00000bc6: MUL 00000bc7: NOT 00000bc8: AND 00000bc9: SWAP1 00000bca: DUP4 00000bcb: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00000bec: SWAP1 00000bed: DUP2 00000bee: MUL 00000bef: DIV 00000bf0: MUL 00000bf1: OR 00000bf2: SWAP1 00000bf3: SSTORE 00000bf4: POP 00000bf5: DUP5 00000bf6: PUSH1 0x00 00000bf8: ADD 00000bf9: PUSH1 0x00 00000bfb: SWAP1 00000bfc: SLOAD 00000bfd: SWAP1 00000bfe: PUSH2 0x0100 00000c01: EXP 00000c02: SWAP1 00000c03: DIV 00000c04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c19: AND 00000c1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c2f: AND 00000c30: PUSH7 0x038d7ea4c68000 00000c38: DUP7 00000c39: PUSH1 0x01 00000c3b: ADD 00000c3c: PUSH1 0x00 00000c3e: POP 00000c3f: SLOAD 00000c40: MUL 00000c41: DUP9 00000c42: PUSH1 0x40 00000c44: MLOAD 00000c45: DUP1 00000c46: DUP3 00000c47: DUP1 00000c48: MLOAD 00000c49: SWAP1 00000c4a: PUSH1 0x20 00000c4c: ADD 00000c4d: SWAP1 00000c4e: DUP1 00000c4f: DUP4 00000c50: DUP4 00000c51: DUP3 00000c52: SWAP1 00000c53: PUSH1 0x00 00000c55: PUSH1 0x04 00000c57: PUSH1 0x20 00000c59: DUP5 00000c5a: PUSH1 0x1f 00000c5c: ADD 00000c5d: DIV 00000c5e: PUSH1 0x03 00000c60: MUL 00000c61: PUSH1 0x0f 00000c63: ADD 00000c64: CALL 00000c65: POP 00000c66: SWAP1 00000c67: POP 00000c68: SWAP1 00000c69: DUP2 00000c6a: ADD 00000c6b: SWAP1 00000c6c: PUSH1 0x1f 00000c6e: AND 00000c6f: DUP1 00000c70: ISZERO 00000c71: PUSH2 0x0c8e 00000c74: JUMPI 00000c75: DUP1 00000c76: DUP3 00000c77: SUB 00000c78: DUP1 00000c79: MLOAD 00000c7a: PUSH1 0x01 00000c7c: DUP4 00000c7d: PUSH1 0x20 00000c7f: SUB 00000c80: PUSH2 0x0100 00000c83: EXP 00000c84: SUB 00000c85: NOT 00000c86: AND 00000c87: DUP2 00000c88: MSTORE 00000c89: PUSH1 0x20 00000c8b: ADD 00000c8c: SWAP2 00000c8d: POP 00000c8e: JUMPDEST 00000c8f: POP 00000c90: SWAP2 00000c91: POP 00000c92: POP 00000c93: PUSH1 0x00 00000c95: PUSH1 0x40 00000c97: MLOAD 00000c98: DUP1 00000c99: DUP4 00000c9a: SUB 00000c9b: DUP2 00000c9c: DUP6 00000c9d: DUP8 00000c9e: PUSH2 0x8502 00000ca1: GAS 00000ca2: SUB 00000ca3: CALL 00000ca4: SWAP3 00000ca5: POP 00000ca6: POP 00000ca7: POP 00000ca8: ISZERO 00000ca9: ISZERO 00000caa: PUSH2 0x0cb2 00000cad: JUMPI 00000cae: PUSH2 0x0002 00000cb1: JUMP 00000cb2: JUMPDEST 00000cb3: PUSH1 0x01 00000cb5: DUP6 00000cb6: PUSH1 0x04 00000cb8: ADD 00000cb9: PUSH1 0x01 00000cbb: PUSH2 0x0100 00000cbe: EXP 00000cbf: DUP2 00000cc0: SLOAD 00000cc1: DUP2 00000cc2: PUSH1 0xff 00000cc4: MUL 00000cc5: NOT 00000cc6: AND 00000cc7: SWAP1 00000cc8: DUP4 00000cc9: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00000cea: SWAP1 00000ceb: DUP2 00000cec: MUL 00000ced: DIV 00000cee: MUL 00000cef: OR 00000cf0: SWAP1 00000cf1: SSTORE 00000cf2: POP 00000cf3: PUSH2 0x0d38 00000cf6: JUMP 00000cf7: JUMPDEST 00000cf8: PUSH1 0x00 00000cfa: DUP6 00000cfb: PUSH1 0x04 00000cfd: ADD 00000cfe: PUSH1 0x01 00000d00: PUSH2 0x0100 00000d03: EXP 00000d04: DUP2 00000d05: SLOAD 00000d06: DUP2 00000d07: PUSH1 0xff 00000d09: MUL 00000d0a: NOT 00000d0b: AND 00000d0c: SWAP1 00000d0d: DUP4 00000d0e: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00000d2f: SWAP1 00000d30: DUP2 00000d31: MUL 00000d32: DIV 00000d33: MUL 00000d34: OR 00000d35: SWAP1 00000d36: SSTORE 00000d37: POP 00000d38: JUMPDEST 00000d39: PUSH32 0xe9de5427a63c4de2f5b13ac1749e48fccf7a58f27348e3013e572b0ece62d01b 00000d5a: DUP9 00000d5b: DUP8 00000d5c: DUP8 00000d5d: PUSH1 0x04 00000d5f: ADD 00000d60: PUSH1 0x01 00000d62: SWAP1 00000d63: SLOAD 00000d64: SWAP1 00000d65: PUSH2 0x0100 00000d68: EXP 00000d69: SWAP1 00000d6a: DIV 00000d6b: PUSH1 0xff 00000d6d: AND 00000d6e: PUSH1 0x40 00000d70: MLOAD 00000d71: DUP1 00000d72: DUP5 00000d73: DUP2 00000d74: MSTORE 00000d75: PUSH1 0x20 00000d77: ADD 00000d78: DUP4 00000d79: DUP2 00000d7a: MSTORE 00000d7b: PUSH1 0x20 00000d7d: ADD 00000d7e: DUP3 00000d7f: ISZERO 00000d80: ISZERO 00000d81: DUP2 00000d82: MSTORE 00000d83: PUSH1 0x20 00000d85: ADD 00000d86: SWAP4 00000d87: POP 00000d88: POP 00000d89: POP 00000d8a: POP 00000d8b: PUSH1 0x40 00000d8d: MLOAD 00000d8e: DUP1 00000d8f: SWAP2 00000d90: SUB 00000d91: SWAP1 00000d92: LOG1 00000d93: JUMPDEST 00000d94: POP 00000d95: POP 00000d96: POP 00000d97: POP 00000d98: POP 00000d99: SWAP3 00000d9a: SWAP2 00000d9b: POP 00000d9c: POP 00000d9d: JUMP 00000d9e: JUMPDEST 00000d9f: PUSH1 0x03 00000da1: PUSH1 0x00 00000da3: POP 00000da4: SLOAD 00000da5: DUP2 00000da6: JUMP 00000da7: JUMPDEST 00000da8: PUSH1 0x01 00000daa: PUSH1 0x00 00000dac: POP 00000dad: SLOAD 00000dae: DUP2 00000daf: JUMP 00000db0: JUMPDEST 00000db1: PUSH1 0x00 00000db3: PUSH1 0x00 00000db5: SWAP1 00000db6: SLOAD 00000db7: SWAP1 00000db8: PUSH2 0x0100 00000dbb: EXP 00000dbc: SWAP1 00000dbd: DIV 00000dbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dd3: AND 00000dd4: DUP2 00000dd5: JUMP 00000dd6: JUMPDEST 00000dd7: PUSH1 0x00 00000dd9: PUSH1 0x00 00000ddb: SWAP1 00000ddc: SLOAD 00000ddd: SWAP1 00000dde: PUSH2 0x0100 00000de1: EXP 00000de2: SWAP1 00000de3: DIV 00000de4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df9: AND 00000dfa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e0f: AND 00000e10: CALLER 00000e11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e26: AND 00000e27: EQ 00000e28: ISZERO 00000e29: ISZERO 00000e2a: PUSH2 0x0e32 00000e2d: JUMPI 00000e2e: PUSH2 0x0002 00000e31: JUMP 00000e32: JUMPDEST 00000e33: DUP2 00000e34: PUSH1 0x04 00000e36: PUSH1 0x00 00000e38: PUSH2 0x0100 00000e3b: EXP 00000e3c: DUP2 00000e3d: SLOAD 00000e3e: DUP2 00000e3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e54: MUL 00000e55: NOT 00000e56: AND 00000e57: SWAP1 00000e58: DUP4 00000e59: PUSH13 0x01000000000000000000000000 00000e67: SWAP1 00000e68: DUP2 00000e69: MUL 00000e6a: DIV 00000e6b: MUL 00000e6c: OR 00000e6d: SWAP1 00000e6e: SSTORE 00000e6f: POP 00000e70: DUP1 00000e71: PUSH1 0x01 00000e73: PUSH1 0x00 00000e75: POP 00000e76: DUP2 00000e77: SWAP1 00000e78: SSTORE 00000e79: POP 00000e7a: PUSH32 0xc594bbef86dc6af772d58da5eb4f1d1e3c65feaec732130f40ff6590e28799a8 00000e9b: PUSH1 0x01 00000e9d: PUSH1 0x00 00000e9f: POP 00000ea0: SLOAD 00000ea1: PUSH1 0x40 00000ea3: MLOAD 00000ea4: DUP1 00000ea5: DUP3 00000ea6: DUP2 00000ea7: MSTORE 00000ea8: PUSH1 0x20 00000eaa: ADD 00000eab: SWAP2 00000eac: POP 00000ead: POP 00000eae: PUSH1 0x40 00000eb0: MLOAD 00000eb1: DUP1 00000eb2: SWAP2 00000eb3: SUB 00000eb4: SWAP1 00000eb5: LOG1 00000eb6: JUMPDEST 00000eb7: JUMPDEST 00000eb8: POP 00000eb9: POP 00000eba: JUMP 00000ebb: JUMPDEST 00000ebc: PUSH1 0x00 00000ebe: PUSH1 0x00 00000ec0: PUSH1 0x00 00000ec2: PUSH1 0x00 00000ec4: SWAP1 00000ec5: SLOAD 00000ec6: SWAP1 00000ec7: PUSH2 0x0100 00000eca: EXP 00000ecb: SWAP1 00000ecc: DIV 00000ecd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ee2: AND 00000ee3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ef8: AND 00000ef9: CALLER 00000efa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f0f: AND 00000f10: EQ 00000f11: ISZERO 00000f12: ISZERO 00000f13: PUSH2 0x0f1b 00000f16: JUMPI 00000f17: PUSH2 0x0002 00000f1a: JUMP 00000f1b: JUMPDEST 00000f1c: PUSH1 0x02 00000f1e: PUSH1 0x00 00000f20: POP 00000f21: DUP1 00000f22: SLOAD 00000f23: DUP1 00000f24: SWAP2 00000f25: SWAP1 00000f26: PUSH1 0x01 00000f28: ADD 00000f29: SWAP1 00000f2a: SWAP1 00000f2b: DUP2 00000f2c: SLOAD 00000f2d: DUP2 00000f2e: DUP4 00000f2f: SSTORE 00000f30: DUP2 00000f31: DUP2 00000f32: ISZERO 00000f33: GT 00000f34: PUSH2 0x10cb 00000f37: JUMPI 00000f38: PUSH1 0x09 00000f3a: MUL 00000f3b: DUP2 00000f3c: PUSH1 0x09 00000f3e: MUL 00000f3f: DUP4 00000f40: PUSH1 0x00 00000f42: MSTORE 00000f43: PUSH1 0x20 00000f45: PUSH1 0x00 00000f47: KECCAK256 00000f48: SWAP2 00000f49: DUP3 00000f4a: ADD 00000f4b: SWAP2 00000f4c: ADD 00000f4d: PUSH2 0x10ca 00000f50: SWAP2 00000f51: SWAP1 00000f52: PUSH2 0x0f56 00000f55: JUMP 00000f56: JUMPDEST 00000f57: DUP1 00000f58: DUP3 00000f59: GT 00000f5a: ISZERO 00000f5b: PUSH2 0x10c6 00000f5e: JUMPI 00000f5f: PUSH1 0x00 00000f61: PUSH1 0x00 00000f63: DUP3 00000f64: ADD 00000f65: PUSH1 0x00 00000f67: PUSH2 0x0100 00000f6a: EXP 00000f6b: DUP2 00000f6c: SLOAD 00000f6d: SWAP1 00000f6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f83: MUL 00000f84: NOT 00000f85: AND 00000f86: SWAP1 00000f87: SSTORE 00000f88: PUSH1 0x01 00000f8a: DUP3 00000f8b: ADD 00000f8c: PUSH1 0x00 00000f8e: POP 00000f8f: PUSH1 0x00 00000f91: SWAP1 00000f92: SSTORE 00000f93: PUSH1 0x02 00000f95: DUP3 00000f96: ADD 00000f97: PUSH1 0x00 00000f99: POP 00000f9a: DUP1 00000f9b: SLOAD 00000f9c: PUSH1 0x01 00000f9e: DUP2 00000f9f: PUSH1 0x01 00000fa1: AND 00000fa2: ISZERO 00000fa3: PUSH2 0x0100 00000fa6: MUL 00000fa7: SUB 00000fa8: AND 00000fa9: PUSH1 0x02 00000fab: SWAP1 00000fac: DIV 00000fad: PUSH1 0x00 00000faf: DUP3 00000fb0: SSTORE 00000fb1: DUP1 00000fb2: PUSH1 0x1f 00000fb4: LT 00000fb5: PUSH2 0x0fbe 00000fb8: JUMPI 00000fb9: POP 00000fba: PUSH2 0x0ffb 00000fbd: JUMP 00000fbe: JUMPDEST 00000fbf: PUSH1 0x1f 00000fc1: ADD 00000fc2: PUSH1 0x20 00000fc4: SWAP1 00000fc5: DIV 00000fc6: SWAP1 00000fc7: PUSH1 0x00 00000fc9: MSTORE 00000fca: PUSH1 0x20 00000fcc: PUSH1 0x00 00000fce: KECCAK256 00000fcf: SWAP1 00000fd0: DUP2 00000fd1: ADD 00000fd2: SWAP1 00000fd3: PUSH2 0x0ffa 00000fd6: SWAP2 00000fd7: SWAP1 00000fd8: PUSH2 0x0fdc 00000fdb: JUMP 00000fdc: JUMPDEST 00000fdd: DUP1 00000fde: DUP3 00000fdf: GT 00000fe0: ISZERO 00000fe1: PUSH2 0x0ff6 00000fe4: JUMPI 00000fe5: PUSH1 0x00 00000fe7: DUP2 00000fe8: DUP2 00000fe9: POP 00000fea: PUSH1 0x00 00000fec: SWAP1 00000fed: SSTORE 00000fee: POP 00000fef: PUSH1 0x01 00000ff1: ADD 00000ff2: PUSH2 0x0fdc 00000ff5: JUMP 00000ff6: JUMPDEST 00000ff7: POP 00000ff8: SWAP1 00000ff9: JUMP 00000ffa: JUMPDEST 00000ffb: JUMPDEST 00000ffc: POP 00000ffd: PUSH1 0x03 00000fff: DUP3 00001000: ADD 00001001: PUSH1 0x00 00001003: POP 00001004: PUSH1 0x00 00001006: SWAP1 00001007: SSTORE 00001008: PUSH1 0x04 0000100a: DUP3 0000100b: ADD 0000100c: PUSH1 0x00 0000100e: PUSH2 0x0100 00001011: EXP 00001012: DUP2 00001013: SLOAD 00001014: SWAP1 00001015: PUSH1 0xff 00001017: MUL 00001018: NOT 00001019: AND 0000101a: SWAP1 0000101b: SSTORE 0000101c: PUSH1 0x04 0000101e: DUP3 0000101f: ADD 00001020: PUSH1 0x01 00001022: PUSH2 0x0100 00001025: EXP 00001026: DUP2 00001027: SLOAD 00001028: SWAP1 00001029: PUSH1 0xff 0000102b: MUL 0000102c: NOT 0000102d: AND 0000102e: SWAP1 0000102f: SSTORE 00001030: PUSH1 0x05 00001032: DUP3 00001033: ADD 00001034: PUSH1 0x00 00001036: POP 00001037: PUSH1 0x00 00001039: SWAP1 0000103a: SSTORE 0000103b: PUSH1 0x06 0000103d: DUP3 0000103e: ADD 0000103f: PUSH1 0x00 00001041: POP 00001042: PUSH1 0x00 00001044: SWAP1 00001045: SSTORE 00001046: PUSH1 0x07 00001048: DUP3 00001049: ADD 0000104a: PUSH1 0x00 0000104c: POP 0000104d: DUP1 0000104e: SLOAD 0000104f: PUSH1 0x00 00001051: DUP3 00001052: SSTORE 00001053: SWAP1 00001054: PUSH1 0x00 00001056: MSTORE 00001057: PUSH1 0x20 00001059: PUSH1 0x00 0000105b: KECCAK256 0000105c: SWAP1 0000105d: DUP2 0000105e: ADD 0000105f: SWAP1 00001060: PUSH2 0x10bb 00001063: SWAP2 00001064: SWAP1 00001065: PUSH2 0x1069 00001068: JUMP 00001069: JUMPDEST 0000106a: DUP1 0000106b: DUP3 0000106c: GT 0000106d: ISZERO 0000106e: PUSH2 0x10b7 00001071: JUMPI 00001072: PUSH1 0x00 00001074: PUSH1 0x00 00001076: DUP3 00001077: ADD 00001078: PUSH1 0x00 0000107a: PUSH2 0x0100 0000107d: EXP 0000107e: DUP2 0000107f: SLOAD 00001080: SWAP1 00001081: PUSH1 0xff 00001083: MUL 00001084: NOT 00001085: AND 00001086: SWAP1 00001087: SSTORE 00001088: PUSH1 0x00 0000108a: DUP3 0000108b: ADD 0000108c: PUSH1 0x01 0000108e: PUSH2 0x0100 00001091: EXP 00001092: DUP2 00001093: SLOAD 00001094: SWAP1 00001095: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010aa: MUL 000010ab: NOT 000010ac: AND 000010ad: SWAP1 000010ae: SSTORE 000010af: POP 000010b0: PUSH1 0x01 000010b2: ADD 000010b3: PUSH2 0x1069 000010b6: JUMP 000010b7: JUMPDEST 000010b8: POP 000010b9: SWAP1 000010ba: JUMP 000010bb: JUMPDEST 000010bc: JUMPDEST 000010bd: POP 000010be: POP 000010bf: PUSH1 0x09 000010c1: ADD 000010c2: PUSH2 0x0f56 000010c5: JUMP 000010c6: JUMPDEST 000010c7: POP 000010c8: SWAP1 000010c9: JUMP 000010ca: JUMPDEST 000010cb: JUMPDEST 000010cc: POP 000010cd: POP 000010ce: POP 000010cf: SWAP2 000010d0: POP 000010d1: DUP2 000010d2: POP 000010d3: PUSH1 0x02 000010d5: PUSH1 0x00 000010d7: POP 000010d8: DUP3 000010d9: DUP2 000010da: SLOAD 000010db: DUP2 000010dc: LT 000010dd: ISZERO 000010de: PUSH2 0x0002 000010e1: JUMPI 000010e2: SWAP1 000010e3: PUSH1 0x00 000010e5: MSTORE 000010e6: PUSH1 0x20 000010e8: PUSH1 0x00 000010ea: KECCAK256 000010eb: SWAP1 000010ec: PUSH1 0x09 000010ee: MUL 000010ef: ADD 000010f0: PUSH1 0x00 000010f2: JUMPDEST 000010f3: POP 000010f4: SWAP1 000010f5: POP 000010f6: PUSH1 0x00 000010f8: PUSH1 0x00 000010fa: SWAP1 000010fb: SLOAD 000010fc: SWAP1 000010fd: PUSH2 0x0100 00001100: EXP 00001101: SWAP1 00001102: DIV 00001103: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001118: AND 00001119: DUP2 0000111a: PUSH1 0x00 0000111c: ADD 0000111d: PUSH1 0x00 0000111f: PUSH2 0x0100 00001122: EXP 00001123: DUP2 00001124: SLOAD 00001125: DUP2 00001126: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000113b: MUL 0000113c: NOT 0000113d: AND 0000113e: SWAP1 0000113f: DUP4 00001140: PUSH13 0x01000000000000000000000000 0000114e: SWAP1 0000114f: DUP2 00001150: MUL 00001151: DIV 00001152: MUL 00001153: OR 00001154: SWAP1 00001155: SSTORE 00001156: POP 00001157: DUP5 00001158: DUP2 00001159: PUSH1 0x01 0000115b: ADD 0000115c: PUSH1 0x00 0000115e: POP 0000115f: DUP2 00001160: SWAP1 00001161: SSTORE 00001162: POP 00001163: DUP4 00001164: DUP2 00001165: PUSH1 0x02 00001167: ADD 00001168: PUSH1 0x00 0000116a: POP 0000116b: SWAP1 0000116c: DUP1 0000116d: MLOAD 0000116e: SWAP1 0000116f: PUSH1 0x20 00001171: ADD 00001172: SWAP1 00001173: DUP3 00001174: DUP1 00001175: SLOAD 00001176: PUSH1 0x01 00001178: DUP2 00001179: PUSH1 0x01 0000117b: AND 0000117c: ISZERO 0000117d: PUSH2 0x0100 00001180: MUL 00001181: SUB 00001182: AND 00001183: PUSH1 0x02 00001185: SWAP1 00001186: DIV 00001187: SWAP1 00001188: PUSH1 0x00 0000118a: MSTORE 0000118b: PUSH1 0x20 0000118d: PUSH1 0x00 0000118f: KECCAK256 00001190: SWAP1 00001191: PUSH1 0x1f 00001193: ADD 00001194: PUSH1 0x20 00001196: SWAP1 00001197: DIV 00001198: DUP2 00001199: ADD 0000119a: SWAP3 0000119b: DUP3 0000119c: PUSH1 0x1f 0000119e: LT 0000119f: PUSH2 0x11b3 000011a2: JUMPI 000011a3: DUP1 000011a4: MLOAD 000011a5: PUSH1 0xff 000011a7: NOT 000011a8: AND 000011a9: DUP4 000011aa: DUP1 000011ab: ADD 000011ac: OR 000011ad: DUP6 000011ae: SSTORE 000011af: PUSH2 0x11e4 000011b2: JUMP 000011b3: JUMPDEST 000011b4: DUP3 000011b5: DUP1 000011b6: ADD 000011b7: PUSH1 0x01 000011b9: ADD 000011ba: DUP6 000011bb: SSTORE 000011bc: DUP3 000011bd: ISZERO 000011be: PUSH2 0x11e4 000011c1: JUMPI 000011c2: SWAP2 000011c3: DUP3 000011c4: ADD 000011c5: JUMPDEST 000011c6: DUP3 000011c7: DUP2 000011c8: GT 000011c9: ISZERO 000011ca: PUSH2 0x11e3 000011cd: JUMPI 000011ce: DUP3 000011cf: MLOAD 000011d0: DUP3 000011d1: PUSH1 0x00 000011d3: POP 000011d4: SSTORE 000011d5: SWAP2 000011d6: PUSH1 0x20 000011d8: ADD 000011d9: SWAP2 000011da: SWAP1 000011db: PUSH1 0x01 000011dd: ADD 000011de: SWAP1 000011df: PUSH2 0x11c5 000011e2: JUMP 000011e3: JUMPDEST 000011e4: JUMPDEST 000011e5: POP 000011e6: SWAP1 000011e7: POP 000011e8: PUSH2 0x120f 000011eb: SWAP2 000011ec: SWAP1 000011ed: PUSH2 0x11f1 000011f0: JUMP 000011f1: JUMPDEST 000011f2: DUP1 000011f3: DUP3 000011f4: GT 000011f5: ISZERO 000011f6: PUSH2 0x120b 000011f9: JUMPI 000011fa: PUSH1 0x00 000011fc: DUP2 000011fd: DUP2 000011fe: POP 000011ff: PUSH1 0x00 00001201: SWAP1 00001202: SSTORE 00001203: POP 00001204: PUSH1 0x01 00001206: ADD 00001207: PUSH2 0x11f1 0000120a: JUMP 0000120b: JUMPDEST 0000120c: POP 0000120d: SWAP1 0000120e: JUMP 0000120f: JUMPDEST 00001210: POP 00001211: POP 00001212: PUSH1 0x00 00001214: PUSH1 0x00 00001216: SWAP1 00001217: SLOAD 00001218: SWAP1 00001219: PUSH2 0x0100 0000121c: EXP 0000121d: SWAP1 0000121e: DIV 0000121f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001234: AND 00001235: DUP6 00001236: DUP5 00001237: PUSH1 0x40 00001239: MLOAD 0000123a: DUP1 0000123b: DUP5 0000123c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001251: AND 00001252: PUSH13 0x01000000000000000000000000 00001260: MUL 00001261: DUP2 00001262: MSTORE 00001263: PUSH1 0x14 00001265: ADD 00001266: DUP4 00001267: DUP2 00001268: MSTORE 00001269: PUSH1 0x20 0000126b: ADD 0000126c: DUP3 0000126d: DUP1 0000126e: MLOAD 0000126f: SWAP1 00001270: PUSH1 0x20 00001272: ADD 00001273: SWAP1 00001274: DUP1 00001275: DUP4 00001276: DUP4 00001277: DUP3 00001278: SWAP1 00001279: PUSH1 0x00 0000127b: PUSH1 0x04 0000127d: PUSH1 0x20 0000127f: DUP5 00001280: PUSH1 0x1f 00001282: ADD 00001283: DIV 00001284: PUSH1 0x03 00001286: MUL 00001287: PUSH1 0x0f 00001289: ADD 0000128a: CALL 0000128b: POP 0000128c: SWAP1 0000128d: POP 0000128e: ADD 0000128f: SWAP4 00001290: POP 00001291: POP 00001292: POP 00001293: POP 00001294: PUSH1 0x40 00001296: MLOAD 00001297: DUP1 00001298: SWAP2 00001299: SUB 0000129a: SWAP1 0000129b: KECCAK256 0000129c: DUP2 0000129d: PUSH1 0x06 0000129f: ADD 000012a0: PUSH1 0x00 000012a2: POP 000012a3: DUP2 000012a4: SWAP1 000012a5: SSTORE 000012a6: POP 000012a7: PUSH1 0x3c 000012a9: PUSH1 0x01 000012ab: PUSH1 0x00 000012ad: POP 000012ae: SLOAD 000012af: MUL 000012b0: TIMESTAMP 000012b1: ADD 000012b2: DUP2 000012b3: PUSH1 0x03 000012b5: ADD 000012b6: PUSH1 0x00 000012b8: POP 000012b9: DUP2 000012ba: SWAP1 000012bb: SSTORE 000012bc: POP 000012bd: PUSH1 0x00 000012bf: DUP2 000012c0: PUSH1 0x04 000012c2: ADD 000012c3: PUSH1 0x00 000012c5: PUSH2 0x0100 000012c8: EXP 000012c9: DUP2 000012ca: SLOAD 000012cb: DUP2 000012cc: PUSH1 0xff 000012ce: MUL 000012cf: NOT 000012d0: AND 000012d1: SWAP1 000012d2: DUP4 000012d3: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 000012f4: SWAP1 000012f5: DUP2 000012f6: MUL 000012f7: DIV 000012f8: MUL 000012f9: OR 000012fa: SWAP1 000012fb: SSTORE 000012fc: POP 000012fd: PUSH1 0x00 000012ff: DUP2 00001300: PUSH1 0x04 00001302: ADD 00001303: PUSH1 0x01 00001305: PUSH2 0x0100 00001308: EXP 00001309: DUP2 0000130a: SLOAD 0000130b: DUP2 0000130c: PUSH1 0xff 0000130e: MUL 0000130f: NOT 00001310: AND 00001311: SWAP1 00001312: DUP4 00001313: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001334: SWAP1 00001335: DUP2 00001336: MUL 00001337: DIV 00001338: MUL 00001339: OR 0000133a: SWAP1 0000133b: SSTORE 0000133c: POP 0000133d: PUSH1 0x00 0000133f: DUP2 00001340: PUSH1 0x05 00001342: ADD 00001343: PUSH1 0x00 00001345: POP 00001346: DUP2 00001347: SWAP1 00001348: SSTORE 00001349: POP 0000134a: PUSH32 0x646fec02522b41e7125cfc859a64fd4f4cefd5dc3b6237ca0abe251ded1fa881 0000136b: DUP3 0000136c: PUSH1 0x00 0000136e: PUSH1 0x00 00001370: SWAP1 00001371: SLOAD 00001372: SWAP1 00001373: PUSH2 0x0100 00001376: EXP 00001377: SWAP1 00001378: DIV 00001379: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000138e: AND 0000138f: DUP8 00001390: DUP8 00001391: PUSH1 0x40 00001393: MLOAD 00001394: DUP1 00001395: DUP6 00001396: DUP2 00001397: MSTORE 00001398: PUSH1 0x20 0000139a: ADD 0000139b: DUP5 0000139c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013b1: AND 000013b2: DUP2 000013b3: MSTORE 000013b4: PUSH1 0x20 000013b6: ADD 000013b7: DUP4 000013b8: DUP2 000013b9: MSTORE 000013ba: PUSH1 0x20 000013bc: ADD 000013bd: DUP1 000013be: PUSH1 0x20 000013c0: ADD 000013c1: DUP3 000013c2: DUP2 000013c3: SUB 000013c4: DUP3 000013c5: MSTORE 000013c6: DUP4 000013c7: DUP2 000013c8: DUP2 000013c9: MLOAD 000013ca: DUP2 000013cb: MSTORE 000013cc: PUSH1 0x20 000013ce: ADD 000013cf: SWAP2 000013d0: POP 000013d1: DUP1 000013d2: MLOAD 000013d3: SWAP1 000013d4: PUSH1 0x20 000013d6: ADD 000013d7: SWAP1 000013d8: DUP1 000013d9: DUP4 000013da: DUP4 000013db: DUP3 000013dc: SWAP1 000013dd: PUSH1 0x00 000013df: PUSH1 0x04 000013e1: PUSH1 0x20 000013e3: DUP5 000013e4: PUSH1 0x1f 000013e6: ADD 000013e7: DIV 000013e8: PUSH1 0x03 000013ea: MUL 000013eb: PUSH1 0x0f 000013ed: ADD 000013ee: CALL 000013ef: POP 000013f0: SWAP1 000013f1: POP 000013f2: SWAP1 000013f3: DUP2 000013f4: ADD 000013f5: SWAP1 000013f6: PUSH1 0x1f 000013f8: AND 000013f9: DUP1 000013fa: ISZERO 000013fb: PUSH2 0x1418 000013fe: JUMPI 000013ff: DUP1 00001400: DUP3 00001401: SUB 00001402: DUP1 00001403: MLOAD 00001404: PUSH1 0x01 00001406: DUP4 00001407: PUSH1 0x20 00001409: SUB 0000140a: PUSH2 0x0100 0000140d: EXP 0000140e: SUB 0000140f: NOT 00001410: AND 00001411: DUP2 00001412: MSTORE 00001413: PUSH1 0x20 00001415: ADD 00001416: SWAP2 00001417: POP 00001418: JUMPDEST 00001419: POP 0000141a: SWAP6 0000141b: POP 0000141c: POP 0000141d: POP 0000141e: POP 0000141f: POP 00001420: POP 00001421: PUSH1 0x40 00001423: MLOAD 00001424: DUP1 00001425: SWAP2 00001426: SUB 00001427: SWAP1 00001428: LOG1 00001429: PUSH1 0x01 0000142b: DUP3 0000142c: ADD 0000142d: PUSH1 0x03 0000142f: PUSH1 0x00 00001431: POP 00001432: DUP2 00001433: SWAP1 00001434: SSTORE 00001435: POP 00001436: JUMPDEST 00001437: JUMPDEST 00001438: POP 00001439: SWAP4 0000143a: SWAP3 0000143b: POP 0000143c: POP 0000143d: POP 0000143e: JUMP 0000143f: JUMPDEST 00001440: PUSH1 0x00 00001442: PUSH1 0x00 00001444: SWAP1 00001445: SLOAD 00001446: SWAP1 00001447: PUSH2 0x0100 0000144a: EXP 0000144b: SWAP1 0000144c: DIV 0000144d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001462: AND 00001463: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001478: AND 00001479: CALLER 0000147a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000148f: AND 00001490: EQ 00001491: ISZERO 00001492: ISZERO 00001493: PUSH2 0x149b 00001496: JUMPI 00001497: PUSH2 0x0002 0000149a: JUMP 0000149b: JUMPDEST 0000149c: DUP1 0000149d: PUSH1 0x00 0000149f: PUSH1 0x00 000014a1: PUSH2 0x0100 000014a4: EXP 000014a5: DUP2 000014a6: SLOAD 000014a7: DUP2 000014a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014bd: MUL 000014be: NOT 000014bf: AND 000014c0: SWAP1 000014c1: DUP4 000014c2: PUSH13 0x01000000000000000000000000 000014d0: SWAP1 000014d1: DUP2 000014d2: MUL 000014d3: DIV 000014d4: MUL 000014d5: OR 000014d6: SWAP1 000014d7: SSTORE 000014d8: POP 000014d9: JUMPDEST 000014da: JUMPDEST 000014db: POP 000014dc: JUMP 000014dd: JUMPDEST 000014de: PUSH1 0x04 000014e0: PUSH1 0x00 000014e2: SWAP1 000014e3: SLOAD 000014e4: SWAP1 000014e5: PUSH2 0x0100 000014e8: EXP 000014e9: SWAP1 000014ea: DIV 000014eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001500: AND 00001501: DUP2 00001502: JUMP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x8234e7f7907fa975f8eb562c992b8c9434176c209de05978ea716778b7e64dd9
call_targets:
0xb7735e0a71e0eb82f15106dfc8540a5f63bf7535
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8234e7f7907fa975f8eb562c992b8c9434176c209de05978ea716778b7e64dd9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb7735e0a71e0eb82f15106dfc8540a5f63bf7535"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x013cf08b",
"selector": "0x013cf08b",
"calldata_variants": [
"0x013cf08b",
"0x013cf08b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d28dec7",
"selector": "0x1d28dec7",
"calldata_variants": [
"0x1d28dec7",
"0x1d28dec70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x237e9492",
"selector": "0x237e9492",
"calldata_variants": [
"0x237e9492",
"0x237e94920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x400e3949",
"selector": "0x400e3949",
"calldata_variants": [
"0x400e3949",
"0x400e39490000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x69bd3436",
"selector": "0x69bd3436",
"calldata_variants": [
"0x69bd3436",
"0x69bd34360000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xac69c09c",
"selector": "0xac69c09c",
"calldata_variants": [
"0xac69c09c",
"0xac69c09c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdfe12c31",
"selector": "0xdfe12c31",
"calldata_variants": [
"0xdfe12c31",
"0xdfe12c310000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1387,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2214,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2448,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 9,
"guards_detected": [
{
"pc": 3600,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3833,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5241,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 9
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x8234e7f7907fa975f8eb562c992b8c9434176c209de05978ea716778b7e64dd9
call_targets:
0xb7735e0a71e0eb82f15106dfc8540a5f63bf7535
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8234e7f7907fa975f8eb562c992b8c9434176c209de05978ea716778b7e64dd9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb7735e0a71e0eb82f15106dfc8540a5f63bf7535"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x013cf08b",
"selector": "0x013cf08b",
"calldata_variants": [
"0x013cf08b",
"0x013cf08b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d28dec7",
"selector": "0x1d28dec7",
"calldata_variants": [
"0x1d28dec7",
"0x1d28dec70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x237e9492",
"selector": "0x237e9492",
"calldata_variants": [
"0x237e9492",
"0x237e94920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x400e3949",
"selector": "0x400e3949",
"calldata_variants": [
"0x400e3949",
"0x400e39490000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x69bd3436",
"selector": "0x69bd3436",
"calldata_variants": [
"0x69bd3436",
"0x69bd34360000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xac69c09c",
"selector": "0xac69c09c",
"calldata_variants": [
"0xac69c09c",
"0xac69c09c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdfe12c31",
"selector": "0xdfe12c31",
"calldata_variants": [
"0xdfe12c31",
"0xdfe12c310000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1387,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2214,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2448,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 9,
"guards_detected": [
{
"pc": 3600,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3833,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5241,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|