019b477e-af29-711e-bc22-acf9eb77e968
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 |
|---|---|---|---|---|
| 21727 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21728 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 64818 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 64819 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 64820 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 64821 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0152 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH3 0x65318b 00000039: DUP2 0000003a: EQ 0000003b: PUSH2 0x015e 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x06fdde03 00000045: EQ 00000046: PUSH2 0x0191 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x10d0ffdd 00000050: EQ 00000051: PUSH2 0x021b 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x18160ddd 0000005b: EQ 0000005c: PUSH2 0x0233 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x22609373 00000066: EQ 00000067: PUSH2 0x0248 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x275893a9 00000071: EQ 00000072: PUSH2 0x0260 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x29ca9dca 0000007c: EQ 0000007d: PUSH2 0x0283 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x313ce567 00000087: EQ 00000088: PUSH2 0x02a4 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x3ccfd60b 00000092: EQ 00000093: PUSH2 0x02cf 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x4b750334 0000009d: EQ 0000009e: PUSH2 0x02e4 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x56d399e8 000000a8: EQ 000000a9: PUSH2 0x02f9 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x688abbf7 000000b3: EQ 000000b4: PUSH2 0x030e 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x6b2f4632 000000be: EQ 000000bf: PUSH2 0x0328 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x70a08231 000000c9: EQ 000000ca: PUSH2 0x033d 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x8620410b 000000d4: EQ 000000d5: PUSH2 0x035e 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0x8da5cb5b 000000df: EQ 000000e0: PUSH2 0x0373 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0x949e8acd 000000ea: EQ 000000eb: PUSH2 0x03a4 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x95d89b41 000000f5: EQ 000000f6: PUSH2 0x03b9 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x9ca423b3 00000100: EQ 00000101: PUSH2 0x03ce 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xa9059cbb 0000010b: EQ 0000010c: PUSH2 0x03ef 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0xb59589d1 00000116: EQ 00000117: PUSH2 0x0427 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0xe4849b32 00000121: EQ 00000122: PUSH2 0x043c 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0xe9fad8ee 0000012c: EQ 0000012d: PUSH2 0x0454 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0xf088d547 00000137: EQ 00000138: PUSH2 0x0469 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0xf2fde38b 00000142: EQ 00000143: PUSH2 0x047d 00000146: JUMPI 00000147: DUP1 00000148: PUSH4 0xfdb5a03e 0000014d: EQ 0000014e: PUSH2 0x049e 00000151: JUMPI 00000152: JUMPDEST 00000153: PUSH2 0x015b 00000156: CALLVALUE 00000157: PUSH2 0x04b3 0000015a: JUMP 0000015b: JUMPDEST 0000015c: POP 0000015d: STOP 0000015e: JUMPDEST 0000015f: CALLVALUE 00000160: DUP1 00000161: ISZERO 00000162: PUSH2 0x016a 00000165: JUMPI 00000166: PUSH1 0x00 00000168: DUP1 00000169: REVERT 0000016a: JUMPDEST 0000016b: POP 0000016c: PUSH2 0x017f 0000016f: PUSH1 0x01 00000171: PUSH1 0xa0 00000173: PUSH1 0x02 00000175: EXP 00000176: SUB 00000177: PUSH1 0x04 00000179: CALLDATALOAD 0000017a: AND 0000017b: PUSH2 0x08ca 0000017e: JUMP 0000017f: JUMPDEST 00000180: PUSH1 0x40 00000182: DUP1 00000183: MLOAD 00000184: SWAP2 00000185: DUP3 00000186: MSTORE 00000187: MLOAD 00000188: SWAP1 00000189: DUP2 0000018a: SWAP1 0000018b: SUB 0000018c: PUSH1 0x20 0000018e: ADD 0000018f: SWAP1 00000190: RETURN 00000191: JUMPDEST 00000192: CALLVALUE 00000193: DUP1 00000194: ISZERO 00000195: PUSH2 0x019d 00000198: JUMPI 00000199: PUSH1 0x00 0000019b: DUP1 0000019c: REVERT 0000019d: JUMPDEST 0000019e: POP 0000019f: PUSH2 0x01a6 000001a2: PUSH2 0x0905 000001a5: JUMP 000001a6: JUMPDEST 000001a7: PUSH1 0x40 000001a9: DUP1 000001aa: MLOAD 000001ab: PUSH1 0x20 000001ad: DUP1 000001ae: DUP3 000001af: MSTORE 000001b0: DUP4 000001b1: MLOAD 000001b2: DUP2 000001b3: DUP4 000001b4: ADD 000001b5: MSTORE 000001b6: DUP4 000001b7: MLOAD 000001b8: SWAP2 000001b9: SWAP3 000001ba: DUP4 000001bb: SWAP3 000001bc: SWAP1 000001bd: DUP4 000001be: ADD 000001bf: SWAP2 000001c0: DUP6 000001c1: ADD 000001c2: SWAP1 000001c3: DUP1 000001c4: DUP4 000001c5: DUP4 000001c6: PUSH1 0x00 000001c8: JUMPDEST 000001c9: DUP4 000001ca: DUP2 000001cb: LT 000001cc: ISZERO 000001cd: PUSH2 0x01e0 000001d0: JUMPI 000001d1: DUP2 000001d2: DUP2 000001d3: ADD 000001d4: MLOAD 000001d5: DUP4 000001d6: DUP3 000001d7: ADD 000001d8: MSTORE 000001d9: PUSH1 0x20 000001db: ADD 000001dc: PUSH2 0x01c8 000001df: JUMP 000001e0: JUMPDEST 000001e1: POP 000001e2: POP 000001e3: POP 000001e4: POP 000001e5: SWAP1 000001e6: POP 000001e7: SWAP1 000001e8: DUP2 000001e9: ADD 000001ea: SWAP1 000001eb: PUSH1 0x1f 000001ed: AND 000001ee: DUP1 000001ef: ISZERO 000001f0: PUSH2 0x020d 000001f3: JUMPI 000001f4: DUP1 000001f5: DUP3 000001f6: SUB 000001f7: DUP1 000001f8: MLOAD 000001f9: PUSH1 0x01 000001fb: DUP4 000001fc: PUSH1 0x20 000001fe: SUB 000001ff: PUSH2 0x0100 00000202: EXP 00000203: SUB 00000204: NOT 00000205: AND 00000206: DUP2 00000207: MSTORE 00000208: PUSH1 0x20 0000020a: ADD 0000020b: SWAP2 0000020c: POP 0000020d: JUMPDEST 0000020e: POP 0000020f: SWAP3 00000210: POP 00000211: POP 00000212: POP 00000213: PUSH1 0x40 00000215: MLOAD 00000216: DUP1 00000217: SWAP2 00000218: SUB 00000219: SWAP1 0000021a: RETURN 0000021b: JUMPDEST 0000021c: CALLVALUE 0000021d: DUP1 0000021e: ISZERO 0000021f: PUSH2 0x0227 00000222: JUMPI 00000223: PUSH1 0x00 00000225: DUP1 00000226: REVERT 00000227: JUMPDEST 00000228: POP 00000229: PUSH2 0x017f 0000022c: PUSH1 0x04 0000022e: CALLDATALOAD 0000022f: PUSH2 0x0992 00000232: JUMP 00000233: JUMPDEST 00000234: CALLVALUE 00000235: DUP1 00000236: ISZERO 00000237: PUSH2 0x023f 0000023a: JUMPI 0000023b: PUSH1 0x00 0000023d: DUP1 0000023e: REVERT 0000023f: JUMPDEST 00000240: POP 00000241: PUSH2 0x017f 00000244: PUSH2 0x09c5 00000247: JUMP 00000248: JUMPDEST 00000249: CALLVALUE 0000024a: DUP1 0000024b: ISZERO 0000024c: PUSH2 0x0254 0000024f: JUMPI 00000250: PUSH1 0x00 00000252: DUP1 00000253: REVERT 00000254: JUMPDEST 00000255: POP 00000256: PUSH2 0x017f 00000259: PUSH1 0x04 0000025b: CALLDATALOAD 0000025c: PUSH2 0x09cb 0000025f: JUMP 00000260: JUMPDEST 00000261: CALLVALUE 00000262: DUP1 00000263: ISZERO 00000264: PUSH2 0x026c 00000267: JUMPI 00000268: PUSH1 0x00 0000026a: DUP1 0000026b: REVERT 0000026c: JUMPDEST 0000026d: POP 0000026e: PUSH2 0x0281 00000271: PUSH1 0x01 00000273: PUSH1 0xa0 00000275: PUSH1 0x02 00000277: EXP 00000278: SUB 00000279: PUSH1 0x04 0000027b: CALLDATALOAD 0000027c: AND 0000027d: PUSH2 0x0a07 00000280: JUMP 00000281: JUMPDEST 00000282: STOP 00000283: JUMPDEST 00000284: CALLVALUE 00000285: DUP1 00000286: ISZERO 00000287: PUSH2 0x028f 0000028a: JUMPI 0000028b: PUSH1 0x00 0000028d: DUP1 0000028e: REVERT 0000028f: JUMPDEST 00000290: POP 00000291: PUSH2 0x0281 00000294: PUSH1 0x01 00000296: PUSH1 0xa0 00000298: PUSH1 0x02 0000029a: EXP 0000029b: SUB 0000029c: PUSH1 0x04 0000029e: CALLDATALOAD 0000029f: AND 000002a0: PUSH2 0x0a4d 000002a3: JUMP 000002a4: JUMPDEST 000002a5: CALLVALUE 000002a6: DUP1 000002a7: ISZERO 000002a8: PUSH2 0x02b0 000002ab: JUMPI 000002ac: PUSH1 0x00 000002ae: DUP1 000002af: REVERT 000002b0: JUMPDEST 000002b1: POP 000002b2: PUSH2 0x02b9 000002b5: PUSH2 0x0a93 000002b8: JUMP 000002b9: JUMPDEST 000002ba: PUSH1 0x40 000002bc: DUP1 000002bd: MLOAD 000002be: PUSH1 0xff 000002c0: SWAP1 000002c1: SWAP3 000002c2: AND 000002c3: DUP3 000002c4: MSTORE 000002c5: MLOAD 000002c6: SWAP1 000002c7: DUP2 000002c8: SWAP1 000002c9: SUB 000002ca: PUSH1 0x20 000002cc: ADD 000002cd: SWAP1 000002ce: RETURN 000002cf: JUMPDEST 000002d0: CALLVALUE 000002d1: DUP1 000002d2: ISZERO 000002d3: PUSH2 0x02db 000002d6: JUMPI 000002d7: PUSH1 0x00 000002d9: DUP1 000002da: REVERT 000002db: JUMPDEST 000002dc: POP 000002dd: PUSH2 0x0281 000002e0: PUSH2 0x0a98 000002e3: JUMP 000002e4: JUMPDEST 000002e5: CALLVALUE 000002e6: DUP1 000002e7: ISZERO 000002e8: PUSH2 0x02f0 000002eb: JUMPI 000002ec: PUSH1 0x00 000002ee: DUP1 000002ef: REVERT 000002f0: JUMPDEST 000002f1: POP 000002f2: PUSH2 0x017f 000002f5: PUSH2 0x0b6b 000002f8: JUMP 000002f9: JUMPDEST 000002fa: CALLVALUE 000002fb: DUP1 000002fc: ISZERO 000002fd: PUSH2 0x0305 00000300: JUMPI 00000301: PUSH1 0x00 00000303: DUP1 00000304: REVERT 00000305: JUMPDEST 00000306: POP 00000307: PUSH2 0x017f 0000030a: PUSH2 0x0ba6 0000030d: JUMP 0000030e: JUMPDEST 0000030f: CALLVALUE 00000310: DUP1 00000311: ISZERO 00000312: PUSH2 0x031a 00000315: JUMPI 00000316: PUSH1 0x00 00000318: DUP1 00000319: REVERT 0000031a: JUMPDEST 0000031b: POP 0000031c: PUSH2 0x017f 0000031f: PUSH1 0x04 00000321: CALLDATALOAD 00000322: ISZERO 00000323: ISZERO 00000324: PUSH2 0x0bac 00000327: JUMP 00000328: JUMPDEST 00000329: CALLVALUE 0000032a: DUP1 0000032b: ISZERO 0000032c: PUSH2 0x0334 0000032f: JUMPI 00000330: PUSH1 0x00 00000332: DUP1 00000333: REVERT 00000334: JUMPDEST 00000335: POP 00000336: PUSH2 0x017f 00000339: PUSH2 0x0bed 0000033c: JUMP 0000033d: JUMPDEST 0000033e: CALLVALUE 0000033f: DUP1 00000340: ISZERO 00000341: PUSH2 0x0349 00000344: JUMPI 00000345: PUSH1 0x00 00000347: DUP1 00000348: REVERT 00000349: JUMPDEST 0000034a: POP 0000034b: PUSH2 0x017f 0000034e: PUSH1 0x01 00000350: PUSH1 0xa0 00000352: PUSH1 0x02 00000354: EXP 00000355: SUB 00000356: PUSH1 0x04 00000358: CALLDATALOAD 00000359: AND 0000035a: PUSH2 0x0bf2 0000035d: JUMP 0000035e: JUMPDEST 0000035f: CALLVALUE 00000360: DUP1 00000361: ISZERO 00000362: PUSH2 0x036a 00000365: JUMPI 00000366: PUSH1 0x00 00000368: DUP1 00000369: REVERT 0000036a: JUMPDEST 0000036b: POP 0000036c: PUSH2 0x017f 0000036f: PUSH2 0x0c0d 00000372: JUMP 00000373: JUMPDEST 00000374: CALLVALUE 00000375: DUP1 00000376: ISZERO 00000377: PUSH2 0x037f 0000037a: JUMPI 0000037b: PUSH1 0x00 0000037d: DUP1 0000037e: REVERT 0000037f: JUMPDEST 00000380: POP 00000381: PUSH2 0x0388 00000384: PUSH2 0x0c40 00000387: JUMP 00000388: JUMPDEST 00000389: PUSH1 0x40 0000038b: DUP1 0000038c: MLOAD 0000038d: PUSH1 0x01 0000038f: PUSH1 0xa0 00000391: PUSH1 0x02 00000393: EXP 00000394: SUB 00000395: SWAP1 00000396: SWAP3 00000397: AND 00000398: DUP3 00000399: MSTORE 0000039a: MLOAD 0000039b: SWAP1 0000039c: DUP2 0000039d: SWAP1 0000039e: SUB 0000039f: PUSH1 0x20 000003a1: ADD 000003a2: SWAP1 000003a3: RETURN 000003a4: JUMPDEST 000003a5: CALLVALUE 000003a6: DUP1 000003a7: ISZERO 000003a8: PUSH2 0x03b0 000003ab: JUMPI 000003ac: PUSH1 0x00 000003ae: DUP1 000003af: REVERT 000003b0: JUMPDEST 000003b1: POP 000003b2: PUSH2 0x017f 000003b5: PUSH2 0x0c4f 000003b8: JUMP 000003b9: JUMPDEST 000003ba: CALLVALUE 000003bb: DUP1 000003bc: ISZERO 000003bd: PUSH2 0x03c5 000003c0: JUMPI 000003c1: PUSH1 0x00 000003c3: DUP1 000003c4: REVERT 000003c5: JUMPDEST 000003c6: POP 000003c7: PUSH2 0x01a6 000003ca: PUSH2 0x0c61 000003cd: JUMP 000003ce: JUMPDEST 000003cf: CALLVALUE 000003d0: DUP1 000003d1: ISZERO 000003d2: PUSH2 0x03da 000003d5: JUMPI 000003d6: PUSH1 0x00 000003d8: DUP1 000003d9: REVERT 000003da: JUMPDEST 000003db: POP 000003dc: PUSH2 0x0388 000003df: PUSH1 0x01 000003e1: PUSH1 0xa0 000003e3: PUSH1 0x02 000003e5: EXP 000003e6: SUB 000003e7: PUSH1 0x04 000003e9: CALLDATALOAD 000003ea: AND 000003eb: PUSH2 0x0cb9 000003ee: JUMP 000003ef: JUMPDEST 000003f0: CALLVALUE 000003f1: DUP1 000003f2: ISZERO 000003f3: PUSH2 0x03fb 000003f6: JUMPI 000003f7: PUSH1 0x00 000003f9: DUP1 000003fa: REVERT 000003fb: JUMPDEST 000003fc: POP 000003fd: PUSH2 0x0413 00000400: PUSH1 0x01 00000402: PUSH1 0xa0 00000404: PUSH1 0x02 00000406: EXP 00000407: SUB 00000408: PUSH1 0x04 0000040a: CALLDATALOAD 0000040b: AND 0000040c: PUSH1 0x24 0000040e: CALLDATALOAD 0000040f: PUSH2 0x0cd4 00000412: JUMP 00000413: JUMPDEST 00000414: PUSH1 0x40 00000416: DUP1 00000417: MLOAD 00000418: SWAP2 00000419: ISZERO 0000041a: ISZERO 0000041b: DUP3 0000041c: MSTORE 0000041d: MLOAD 0000041e: SWAP1 0000041f: DUP2 00000420: SWAP1 00000421: SUB 00000422: PUSH1 0x20 00000424: ADD 00000425: SWAP1 00000426: RETURN 00000427: JUMPDEST 00000428: CALLVALUE 00000429: DUP1 0000042a: ISZERO 0000042b: PUSH2 0x0433 0000042e: JUMPI 0000042f: PUSH1 0x00 00000431: DUP1 00000432: REVERT 00000433: JUMPDEST 00000434: POP 00000435: PUSH2 0x0388 00000438: PUSH2 0x0e77 0000043b: JUMP 0000043c: JUMPDEST 0000043d: CALLVALUE 0000043e: DUP1 0000043f: ISZERO 00000440: PUSH2 0x0448 00000443: JUMPI 00000444: PUSH1 0x00 00000446: DUP1 00000447: REVERT 00000448: JUMPDEST 00000449: POP 0000044a: PUSH2 0x0281 0000044d: PUSH1 0x04 0000044f: CALLDATALOAD 00000450: PUSH2 0x0e86 00000453: JUMP 00000454: JUMPDEST 00000455: CALLVALUE 00000456: DUP1 00000457: ISZERO 00000458: PUSH2 0x0460 0000045b: JUMPI 0000045c: PUSH1 0x00 0000045e: DUP1 0000045f: REVERT 00000460: JUMPDEST 00000461: POP 00000462: PUSH2 0x0281 00000465: PUSH2 0x0ff2 00000468: JUMP 00000469: JUMPDEST 0000046a: PUSH2 0x017f 0000046d: PUSH1 0x01 0000046f: PUSH1 0xa0 00000471: PUSH1 0x02 00000473: EXP 00000474: SUB 00000475: PUSH1 0x04 00000477: CALLDATALOAD 00000478: AND 00000479: PUSH2 0x101f 0000047c: JUMP 0000047d: JUMPDEST 0000047e: CALLVALUE 0000047f: DUP1 00000480: ISZERO 00000481: PUSH2 0x0489 00000484: JUMPI 00000485: PUSH1 0x00 00000487: DUP1 00000488: REVERT 00000489: JUMPDEST 0000048a: POP 0000048b: PUSH2 0x0281 0000048e: PUSH1 0x01 00000490: PUSH1 0xa0 00000492: PUSH1 0x02 00000494: EXP 00000495: SUB 00000496: PUSH1 0x04 00000498: CALLDATALOAD 00000499: AND 0000049a: PUSH2 0x10a6 0000049d: JUMP 0000049e: JUMPDEST 0000049f: CALLVALUE 000004a0: DUP1 000004a1: ISZERO 000004a2: PUSH2 0x04aa 000004a5: JUMPI 000004a6: PUSH1 0x00 000004a8: DUP1 000004a9: REVERT 000004aa: JUMPDEST 000004ab: POP 000004ac: PUSH2 0x0281 000004af: PUSH2 0x113a 000004b2: JUMP 000004b3: JUMPDEST 000004b4: CALLER 000004b5: PUSH1 0x00 000004b7: DUP2 000004b8: DUP2 000004b9: MSTORE 000004ba: PUSH1 0x08 000004bc: PUSH1 0x20 000004be: MSTORE 000004bf: PUSH1 0x40 000004c1: DUP2 000004c2: KECCAK256 000004c3: SLOAD 000004c4: SWAP1 000004c5: SWAP2 000004c6: SWAP1 000004c7: PUSH1 0x01 000004c9: PUSH1 0xa0 000004cb: PUSH1 0x02 000004cd: EXP 000004ce: SUB 000004cf: AND 000004d0: DUP3 000004d1: DUP1 000004d2: DUP1 000004d3: DUP1 000004d4: DUP1 000004d5: DUP1 000004d6: DUP1 000004d7: DUP1 000004d8: DUP1 000004d9: PUSH2 0x04ed 000004dc: PUSH2 0x04e6 000004df: DUP15 000004e0: PUSH1 0x0f 000004e2: PUSH2 0x11ed 000004e5: JUMP 000004e6: JUMPDEST 000004e7: PUSH1 0x64 000004e9: PUSH2 0x1216 000004ec: JUMP 000004ed: JUMPDEST 000004ee: SWAP9 000004ef: POP 000004f0: PUSH2 0x04fd 000004f3: PUSH2 0x04e6 000004f6: DUP11 000004f7: PUSH1 0x14 000004f9: PUSH2 0x11ed 000004fc: JUMP 000004fd: JUMPDEST 000004fe: SWAP8 000004ff: POP 00000500: PUSH2 0x050d 00000503: PUSH2 0x04e6 00000506: DUP11 00000507: PUSH1 0x1e 00000509: PUSH2 0x11ed 0000050c: JUMP 0000050d: JUMPDEST 0000050e: SWAP7 0000050f: POP 00000510: PUSH2 0x0522 00000513: DUP10 00000514: PUSH2 0x051d 00000517: DUP10 00000518: DUP12 00000519: PUSH2 0x122b 0000051c: JUMP 0000051d: JUMPDEST 0000051e: PUSH2 0x1238 00000521: JUMP 00000522: JUMPDEST 00000523: SWAP6 00000524: POP 00000525: PUSH2 0x052e 00000528: DUP14 00000529: DUP11 0000052a: PUSH2 0x1238 0000052d: JUMP 0000052e: JUMPDEST 0000052f: SWAP5 00000530: POP 00000531: PUSH2 0x0539 00000534: DUP6 00000535: PUSH2 0x124a 00000538: JUMP 00000539: JUMPDEST 0000053a: SWAP4 0000053b: POP 0000053c: PUSH9 0x010000000000000000 00000546: DUP7 00000547: MUL 00000548: SWAP3 00000549: POP 0000054a: PUSH2 0x0554 0000054d: DUP14 0000054e: PUSH1 0x02 00000550: PUSH2 0x1216 00000553: JUMP 00000554: JUMPDEST 00000555: SWAP2 00000556: POP 00000557: PUSH1 0x00 00000559: DUP5 0000055a: GT 0000055b: DUP1 0000055c: ISZERO 0000055d: PUSH2 0x0570 00000560: JUMPI 00000561: POP 00000562: PUSH1 0x09 00000564: SLOAD 00000565: PUSH2 0x056e 00000568: DUP6 00000569: DUP3 0000056a: PUSH2 0x122b 0000056d: JUMP 0000056e: JUMPDEST 0000056f: GT 00000570: JUMPDEST 00000571: ISZERO 00000572: ISZERO 00000573: PUSH2 0x057b 00000576: JUMPI 00000577: PUSH1 0x00 00000579: DUP1 0000057a: REVERT 0000057b: JUMPDEST 0000057c: PUSH1 0x03 0000057e: SLOAD 0000057f: PUSH1 0x01 00000581: PUSH1 0xa0 00000583: PUSH1 0x02 00000585: EXP 00000586: SUB 00000587: AND 00000588: PUSH1 0x00 0000058a: SWAP1 0000058b: DUP2 0000058c: MSTORE 0000058d: PUSH1 0x06 0000058f: PUSH1 0x20 00000591: MSTORE 00000592: PUSH1 0x40 00000594: SWAP1 00000595: KECCAK256 00000596: SLOAD 00000597: PUSH2 0x05a0 0000059a: SWAP1 0000059b: DUP10 0000059c: PUSH2 0x122b 0000059f: JUMP 000005a0: JUMPDEST 000005a1: PUSH1 0x03 000005a3: SLOAD 000005a4: PUSH1 0x01 000005a6: PUSH1 0xa0 000005a8: PUSH1 0x02 000005aa: EXP 000005ab: SUB 000005ac: SWAP1 000005ad: DUP2 000005ae: AND 000005af: PUSH1 0x00 000005b1: SWAP1 000005b2: DUP2 000005b3: MSTORE 000005b4: PUSH1 0x06 000005b6: PUSH1 0x20 000005b8: MSTORE 000005b9: PUSH1 0x40 000005bb: SWAP1 000005bc: KECCAK256 000005bd: SWAP2 000005be: SWAP1 000005bf: SWAP2 000005c0: SSTORE 000005c1: DUP11 000005c2: AND 000005c3: ISZERO 000005c4: DUP1 000005c5: ISZERO 000005c6: SWAP1 000005c7: PUSH2 0x05e2 000005ca: JUMPI 000005cb: POP 000005cc: DUP11 000005cd: PUSH1 0x01 000005cf: PUSH1 0xa0 000005d1: PUSH1 0x02 000005d3: EXP 000005d4: SUB 000005d5: AND 000005d6: DUP11 000005d7: PUSH1 0x01 000005d9: PUSH1 0xa0 000005db: PUSH1 0x02 000005dd: EXP 000005de: SUB 000005df: AND 000005e0: EQ 000005e1: ISZERO 000005e2: JUMPDEST 000005e3: DUP1 000005e4: ISZERO 000005e5: PUSH2 0x0608 000005e8: JUMPI 000005e9: POP 000005ea: PUSH1 0x04 000005ec: SLOAD 000005ed: PUSH1 0x01 000005ef: PUSH1 0xa0 000005f1: PUSH1 0x02 000005f3: EXP 000005f4: SUB 000005f5: DUP12 000005f6: AND 000005f7: PUSH1 0x00 000005f9: SWAP1 000005fa: DUP2 000005fb: MSTORE 000005fc: PUSH1 0x05 000005fe: PUSH1 0x20 00000600: MSTORE 00000601: PUSH1 0x40 00000603: SWAP1 00000604: KECCAK256 00000605: SLOAD 00000606: LT 00000607: ISZERO 00000608: JUMPDEST 00000609: ISZERO 0000060a: PUSH2 0x064e 0000060d: JUMPI 0000060e: PUSH1 0x01 00000610: PUSH1 0xa0 00000612: PUSH1 0x02 00000614: EXP 00000615: SUB 00000616: DUP11 00000617: AND 00000618: PUSH1 0x00 0000061a: SWAP1 0000061b: DUP2 0000061c: MSTORE 0000061d: PUSH1 0x06 0000061f: PUSH1 0x20 00000621: MSTORE 00000622: PUSH1 0x40 00000624: SWAP1 00000625: KECCAK256 00000626: SLOAD 00000627: PUSH2 0x0630 0000062a: SWAP1 0000062b: DUP9 0000062c: PUSH2 0x122b 0000062f: JUMP 00000630: JUMPDEST 00000631: PUSH1 0x01 00000633: PUSH1 0xa0 00000635: PUSH1 0x02 00000637: EXP 00000638: SUB 00000639: DUP12 0000063a: AND 0000063b: PUSH1 0x00 0000063d: SWAP1 0000063e: DUP2 0000063f: MSTORE 00000640: PUSH1 0x06 00000642: PUSH1 0x20 00000644: MSTORE 00000645: PUSH1 0x40 00000647: SWAP1 00000648: KECCAK256 00000649: SSTORE 0000064a: PUSH2 0x0669 0000064d: JUMP 0000064e: JUMPDEST 0000064f: PUSH2 0x0658 00000652: DUP7 00000653: DUP9 00000654: PUSH2 0x122b 00000657: JUMP 00000658: JUMPDEST 00000659: SWAP6 0000065a: POP 0000065b: PUSH9 0x010000000000000000 00000665: DUP7 00000666: MUL 00000667: SWAP3 00000668: POP 00000669: JUMPDEST 0000066a: PUSH1 0x00 0000066c: PUSH1 0x09 0000066e: SLOAD 0000066f: GT 00000670: ISZERO 00000671: PUSH2 0x06cd 00000674: JUMPI 00000675: PUSH2 0x0680 00000678: PUSH1 0x09 0000067a: SLOAD 0000067b: DUP6 0000067c: PUSH2 0x122b 0000067f: JUMP 00000680: JUMPDEST 00000681: PUSH1 0x09 00000683: DUP2 00000684: SWAP1 00000685: SSTORE 00000686: PUSH9 0x010000000000000000 00000690: DUP8 00000691: MUL 00000692: DUP2 00000693: ISZERO 00000694: ISZERO 00000695: PUSH2 0x069a 00000698: JUMPI 00000699: INVALID 0000069a: JUMPDEST 0000069b: PUSH1 0x0a 0000069d: DUP1 0000069e: SLOAD 0000069f: SWAP3 000006a0: SWAP1 000006a1: SWAP2 000006a2: DIV 000006a3: SWAP1 000006a4: SWAP2 000006a5: ADD 000006a6: SWAP1 000006a7: SSTORE 000006a8: PUSH1 0x09 000006aa: SLOAD 000006ab: PUSH9 0x010000000000000000 000006b5: DUP8 000006b6: MUL 000006b7: DUP2 000006b8: ISZERO 000006b9: ISZERO 000006ba: PUSH2 0x06bf 000006bd: JUMPI 000006be: INVALID 000006bf: JUMPDEST 000006c0: DIV 000006c1: DUP5 000006c2: MUL 000006c3: DUP4 000006c4: SUB 000006c5: DUP4 000006c6: SUB 000006c7: SWAP3 000006c8: POP 000006c9: PUSH2 0x06d3 000006cc: JUMP 000006cd: JUMPDEST 000006ce: PUSH1 0x09 000006d0: DUP5 000006d1: SWAP1 000006d2: SSTORE 000006d3: JUMPDEST 000006d4: PUSH1 0x01 000006d6: PUSH1 0xa0 000006d8: PUSH1 0x02 000006da: EXP 000006db: SUB 000006dc: DUP12 000006dd: AND 000006de: PUSH1 0x00 000006e0: SWAP1 000006e1: DUP2 000006e2: MSTORE 000006e3: PUSH1 0x05 000006e5: PUSH1 0x20 000006e7: MSTORE 000006e8: PUSH1 0x40 000006ea: SWAP1 000006eb: KECCAK256 000006ec: SLOAD 000006ed: PUSH2 0x06f6 000006f0: SWAP1 000006f1: DUP6 000006f2: PUSH2 0x122b 000006f5: JUMP 000006f6: JUMPDEST 000006f7: PUSH1 0x01 000006f9: PUSH1 0xa0 000006fb: PUSH1 0x02 000006fd: EXP 000006fe: SUB 000006ff: DUP1 00000700: DUP14 00000701: AND 00000702: PUSH1 0x00 00000704: SWAP1 00000705: DUP2 00000706: MSTORE 00000707: PUSH1 0x05 00000709: PUSH1 0x20 0000070b: SWAP1 0000070c: DUP2 0000070d: MSTORE 0000070e: PUSH1 0x40 00000710: DUP1 00000711: DUP4 00000712: KECCAK256 00000713: SWAP5 00000714: SWAP1 00000715: SWAP5 00000716: SSTORE 00000717: PUSH1 0x0a 00000719: SLOAD 0000071a: PUSH1 0x07 0000071c: SWAP1 0000071d: SWAP2 0000071e: MSTORE 0000071f: DUP4 00000720: DUP3 00000721: KECCAK256 00000722: DUP1 00000723: SLOAD 00000724: SWAP2 00000725: DUP10 00000726: MUL 00000727: DUP9 00000728: SWAP1 00000729: SUB 0000072a: SWAP2 0000072b: DUP3 0000072c: ADD 0000072d: SWAP1 0000072e: SSTORE 0000072f: PUSH1 0x0b 00000731: SLOAD 00000732: PUSH1 0x03 00000734: SLOAD 00000735: DUP6 00000736: MLOAD 00000737: PUSH32 0xeeec0e2400000000000000000000000000000000000000000000000000000000 00000758: DUP2 00000759: MSTORE 0000075a: SWAP1 0000075b: DUP6 0000075c: AND 0000075d: PUSH1 0x04 0000075f: DUP3 00000760: ADD 00000761: MSTORE 00000762: PUSH1 0x24 00000764: DUP2 00000765: ADD 00000766: DUP9 00000767: SWAP1 00000768: MSTORE 00000769: SWAP5 0000076a: MLOAD 0000076b: SWAP2 0000076c: SWAP6 0000076d: POP 0000076e: SWAP1 0000076f: SWAP3 00000770: AND 00000771: SWAP3 00000772: PUSH4 0xeeec0e24 00000777: SWAP3 00000778: PUSH1 0x44 0000077a: DUP1 0000077b: DUP4 0000077c: ADD 0000077d: SWAP4 0000077e: SWAP3 0000077f: DUP3 00000780: SWAP1 00000781: SUB 00000782: ADD 00000783: DUP2 00000784: DUP4 00000785: DUP8 00000786: DUP1 00000787: EXTCODESIZE 00000788: ISZERO 00000789: DUP1 0000078a: ISZERO 0000078b: PUSH2 0x0793 0000078e: JUMPI 0000078f: PUSH1 0x00 00000791: DUP1 00000792: REVERT 00000793: JUMPDEST 00000794: POP 00000795: GAS 00000796: CALL 00000797: ISZERO 00000798: DUP1 00000799: ISZERO 0000079a: PUSH2 0x07a7 0000079d: JUMPI 0000079e: RETURNDATASIZE 0000079f: PUSH1 0x00 000007a1: DUP1 000007a2: RETURNDATACOPY 000007a3: RETURNDATASIZE 000007a4: PUSH1 0x00 000007a6: REVERT 000007a7: JUMPDEST 000007a8: POP 000007a9: POP 000007aa: POP 000007ab: POP 000007ac: PUSH1 0x0b 000007ae: PUSH1 0x00 000007b0: SWAP1 000007b1: SLOAD 000007b2: SWAP1 000007b3: PUSH2 0x0100 000007b6: EXP 000007b7: SWAP1 000007b8: DIV 000007b9: PUSH1 0x01 000007bb: PUSH1 0xa0 000007bd: PUSH1 0x02 000007bf: EXP 000007c0: SUB 000007c1: AND 000007c2: PUSH1 0x01 000007c4: PUSH1 0xa0 000007c6: PUSH1 0x02 000007c8: EXP 000007c9: SUB 000007ca: AND 000007cb: PUSH4 0xeeec0e24 000007d0: DUP13 000007d1: DUP5 000007d2: PUSH1 0x40 000007d4: MLOAD 000007d5: DUP4 000007d6: PUSH4 0xffffffff 000007db: AND 000007dc: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000007fa: MUL 000007fb: DUP2 000007fc: MSTORE 000007fd: PUSH1 0x04 000007ff: ADD 00000800: DUP1 00000801: DUP4 00000802: PUSH1 0x01 00000804: PUSH1 0xa0 00000806: PUSH1 0x02 00000808: EXP 00000809: SUB 0000080a: AND 0000080b: PUSH1 0x01 0000080d: PUSH1 0xa0 0000080f: PUSH1 0x02 00000811: EXP 00000812: SUB 00000813: AND 00000814: DUP2 00000815: MSTORE 00000816: PUSH1 0x20 00000818: ADD 00000819: DUP3 0000081a: DUP2 0000081b: MSTORE 0000081c: PUSH1 0x20 0000081e: ADD 0000081f: SWAP3 00000820: POP 00000821: POP 00000822: POP 00000823: PUSH1 0x00 00000825: PUSH1 0x40 00000827: MLOAD 00000828: DUP1 00000829: DUP4 0000082a: SUB 0000082b: DUP2 0000082c: PUSH1 0x00 0000082e: DUP8 0000082f: DUP1 00000830: EXTCODESIZE 00000831: ISZERO 00000832: DUP1 00000833: ISZERO 00000834: PUSH2 0x083c 00000837: JUMPI 00000838: PUSH1 0x00 0000083a: DUP1 0000083b: REVERT 0000083c: JUMPDEST 0000083d: POP 0000083e: GAS 0000083f: CALL 00000840: ISZERO 00000841: DUP1 00000842: ISZERO 00000843: PUSH2 0x0850 00000846: JUMPI 00000847: RETURNDATASIZE 00000848: PUSH1 0x00 0000084a: DUP1 0000084b: RETURNDATACOPY 0000084c: RETURNDATASIZE 0000084d: PUSH1 0x00 0000084f: REVERT 00000850: JUMPDEST 00000851: POP 00000852: POP 00000853: POP 00000854: POP 00000855: DUP10 00000856: PUSH1 0x01 00000858: PUSH1 0xa0 0000085a: PUSH1 0x02 0000085c: EXP 0000085d: SUB 0000085e: AND 0000085f: DUP12 00000860: PUSH1 0x01 00000862: PUSH1 0xa0 00000864: PUSH1 0x02 00000866: EXP 00000867: SUB 00000868: AND 00000869: PUSH32 0x8032875b28d82ddbd303a9e4e5529d047a14ecb6290f80012a81b7e6227ff1ab 0000088a: DUP16 0000088b: DUP8 0000088c: TIMESTAMP 0000088d: PUSH2 0x0894 00000890: PUSH2 0x0c0d 00000893: JUMP 00000894: JUMPDEST 00000895: PUSH1 0x40 00000897: DUP1 00000898: MLOAD 00000899: SWAP5 0000089a: DUP6 0000089b: MSTORE 0000089c: PUSH1 0x20 0000089e: DUP6 0000089f: ADD 000008a0: SWAP4 000008a1: SWAP1 000008a2: SWAP4 000008a3: MSTORE 000008a4: DUP4 000008a5: DUP4 000008a6: ADD 000008a7: SWAP2 000008a8: SWAP1 000008a9: SWAP2 000008aa: MSTORE 000008ab: PUSH1 0x60 000008ad: DUP4 000008ae: ADD 000008af: MSTORE 000008b0: MLOAD 000008b1: SWAP1 000008b2: DUP2 000008b3: SWAP1 000008b4: SUB 000008b5: PUSH1 0x80 000008b7: ADD 000008b8: SWAP1 000008b9: LOG3 000008ba: POP 000008bb: SWAP2 000008bc: SWAP12 000008bd: SWAP11 000008be: POP 000008bf: POP 000008c0: POP 000008c1: POP 000008c2: POP 000008c3: POP 000008c4: POP 000008c5: POP 000008c6: POP 000008c7: POP 000008c8: POP 000008c9: JUMP 000008ca: JUMPDEST 000008cb: PUSH1 0x01 000008cd: PUSH1 0xa0 000008cf: PUSH1 0x02 000008d1: EXP 000008d2: SUB 000008d3: AND 000008d4: PUSH1 0x00 000008d6: SWAP1 000008d7: DUP2 000008d8: MSTORE 000008d9: PUSH1 0x07 000008db: PUSH1 0x20 000008dd: SWAP1 000008de: DUP2 000008df: MSTORE 000008e0: PUSH1 0x40 000008e2: DUP1 000008e3: DUP4 000008e4: KECCAK256 000008e5: SLOAD 000008e6: PUSH1 0x05 000008e8: SWAP1 000008e9: SWAP3 000008ea: MSTORE 000008eb: SWAP1 000008ec: SWAP2 000008ed: KECCAK256 000008ee: SLOAD 000008ef: PUSH1 0x0a 000008f1: SLOAD 000008f2: PUSH9 0x010000000000000000 000008fc: SWAP2 000008fd: MUL 000008fe: SWAP2 000008ff: SWAP1 00000900: SWAP2 00000901: SUB 00000902: DIV 00000903: SWAP1 00000904: JUMP 00000905: JUMPDEST 00000906: PUSH1 0x01 00000908: DUP1 00000909: SLOAD 0000090a: PUSH1 0x40 0000090c: DUP1 0000090d: MLOAD 0000090e: PUSH1 0x20 00000910: PUSH1 0x02 00000912: DUP5 00000913: DUP7 00000914: AND 00000915: ISZERO 00000916: PUSH2 0x0100 00000919: MUL 0000091a: PUSH1 0x00 0000091c: NOT 0000091d: ADD 0000091e: SWAP1 0000091f: SWAP5 00000920: AND 00000921: SWAP4 00000922: SWAP1 00000923: SWAP4 00000924: DIV 00000925: PUSH1 0x1f 00000927: DUP2 00000928: ADD 00000929: DUP5 0000092a: SWAP1 0000092b: DIV 0000092c: DUP5 0000092d: MUL 0000092e: DUP3 0000092f: ADD 00000930: DUP5 00000931: ADD 00000932: SWAP1 00000933: SWAP3 00000934: MSTORE 00000935: DUP2 00000936: DUP2 00000937: MSTORE 00000938: SWAP3 00000939: SWAP2 0000093a: DUP4 0000093b: ADD 0000093c: DUP3 0000093d: DUP3 0000093e: DUP1 0000093f: ISZERO 00000940: PUSH2 0x098a 00000943: JUMPI 00000944: DUP1 00000945: PUSH1 0x1f 00000947: LT 00000948: PUSH2 0x095f 0000094b: JUMPI 0000094c: PUSH2 0x0100 0000094f: DUP1 00000950: DUP4 00000951: SLOAD 00000952: DIV 00000953: MUL 00000954: DUP4 00000955: MSTORE 00000956: SWAP2 00000957: PUSH1 0x20 00000959: ADD 0000095a: SWAP2 0000095b: PUSH2 0x098a 0000095e: JUMP 0000095f: JUMPDEST 00000960: DUP3 00000961: ADD 00000962: SWAP2 00000963: SWAP1 00000964: PUSH1 0x00 00000966: MSTORE 00000967: PUSH1 0x20 00000969: PUSH1 0x00 0000096b: KECCAK256 0000096c: SWAP1 0000096d: JUMPDEST 0000096e: DUP2 0000096f: SLOAD 00000970: DUP2 00000971: MSTORE 00000972: SWAP1 00000973: PUSH1 0x01 00000975: ADD 00000976: SWAP1 00000977: PUSH1 0x20 00000979: ADD 0000097a: DUP1 0000097b: DUP4 0000097c: GT 0000097d: PUSH2 0x096d 00000980: JUMPI 00000981: DUP3 00000982: SWAP1 00000983: SUB 00000984: PUSH1 0x1f 00000986: AND 00000987: DUP3 00000988: ADD 00000989: SWAP2 0000098a: JUMPDEST 0000098b: POP 0000098c: POP 0000098d: POP 0000098e: POP 0000098f: POP 00000990: DUP2 00000991: JUMP 00000992: JUMPDEST 00000993: PUSH1 0x00 00000995: DUP1 00000996: DUP1 00000997: DUP1 00000998: PUSH2 0x09a5 0000099b: PUSH2 0x04e6 0000099e: DUP7 0000099f: PUSH1 0x0f 000009a1: PUSH2 0x11ed 000009a4: JUMP 000009a5: JUMPDEST 000009a6: SWAP3 000009a7: POP 000009a8: PUSH2 0x09b1 000009ab: DUP6 000009ac: DUP5 000009ad: PUSH2 0x1238 000009b0: JUMP 000009b1: JUMPDEST 000009b2: SWAP2 000009b3: POP 000009b4: PUSH2 0x09bc 000009b7: DUP3 000009b8: PUSH2 0x124a 000009bb: JUMP 000009bc: JUMPDEST 000009bd: SWAP6 000009be: SWAP5 000009bf: POP 000009c0: POP 000009c1: POP 000009c2: POP 000009c3: POP 000009c4: JUMP 000009c5: JUMPDEST 000009c6: PUSH1 0x09 000009c8: SLOAD 000009c9: SWAP1 000009ca: JUMP 000009cb: JUMPDEST 000009cc: PUSH1 0x00 000009ce: DUP1 000009cf: PUSH1 0x00 000009d1: DUP1 000009d2: PUSH1 0x09 000009d4: SLOAD 000009d5: DUP6 000009d6: GT 000009d7: ISZERO 000009d8: ISZERO 000009d9: ISZERO 000009da: PUSH2 0x09e2 000009dd: JUMPI 000009de: PUSH1 0x00 000009e0: DUP1 000009e1: REVERT 000009e2: JUMPDEST 000009e3: PUSH2 0x09eb 000009e6: DUP6 000009e7: PUSH2 0x1258 000009ea: JUMP 000009eb: JUMPDEST 000009ec: SWAP3 000009ed: POP 000009ee: PUSH2 0x09fb 000009f1: PUSH2 0x04e6 000009f4: DUP5 000009f5: PUSH1 0x05 000009f7: PUSH2 0x11ed 000009fa: JUMP 000009fb: JUMPDEST 000009fc: SWAP2 000009fd: POP 000009fe: PUSH2 0x09bc 00000a01: DUP4 00000a02: DUP4 00000a03: PUSH2 0x1238 00000a06: JUMP 00000a07: JUMPDEST 00000a08: PUSH1 0x00 00000a0a: SLOAD 00000a0b: PUSH1 0x01 00000a0d: PUSH1 0xa0 00000a0f: PUSH1 0x02 00000a11: EXP 00000a12: SUB 00000a13: AND 00000a14: CALLER 00000a15: EQ 00000a16: PUSH2 0x0a1e 00000a19: JUMPI 00000a1a: PUSH1 0x00 00000a1c: DUP1 00000a1d: REVERT 00000a1e: JUMPDEST 00000a1f: PUSH1 0x03 00000a21: DUP1 00000a22: SLOAD 00000a23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a38: NOT 00000a39: AND 00000a3a: PUSH1 0x01 00000a3c: PUSH1 0xa0 00000a3e: PUSH1 0x02 00000a40: EXP 00000a41: SUB 00000a42: SWAP3 00000a43: SWAP1 00000a44: SWAP3 00000a45: AND 00000a46: SWAP2 00000a47: SWAP1 00000a48: SWAP2 00000a49: OR 00000a4a: SWAP1 00000a4b: SSTORE 00000a4c: JUMP 00000a4d: JUMPDEST 00000a4e: PUSH1 0x00 00000a50: SLOAD 00000a51: PUSH1 0x01 00000a53: PUSH1 0xa0 00000a55: PUSH1 0x02 00000a57: EXP 00000a58: SUB 00000a59: AND 00000a5a: CALLER 00000a5b: EQ 00000a5c: PUSH2 0x0a64 00000a5f: JUMPI 00000a60: PUSH1 0x00 00000a62: DUP1 00000a63: REVERT 00000a64: JUMPDEST 00000a65: PUSH1 0x0b 00000a67: DUP1 00000a68: SLOAD 00000a69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a7e: NOT 00000a7f: AND 00000a80: PUSH1 0x01 00000a82: PUSH1 0xa0 00000a84: PUSH1 0x02 00000a86: EXP 00000a87: SUB 00000a88: SWAP3 00000a89: SWAP1 00000a8a: SWAP3 00000a8b: AND 00000a8c: SWAP2 00000a8d: SWAP1 00000a8e: SWAP2 00000a8f: OR 00000a90: SWAP1 00000a91: SSTORE 00000a92: JUMP 00000a93: JUMPDEST 00000a94: PUSH1 0x12 00000a96: DUP2 00000a97: JUMP 00000a98: JUMPDEST 00000a99: PUSH1 0x00 00000a9b: DUP1 00000a9c: PUSH1 0x00 00000a9e: PUSH2 0x0aa7 00000aa1: PUSH1 0x01 00000aa3: PUSH2 0x0bac 00000aa6: JUMP 00000aa7: JUMPDEST 00000aa8: GT 00000aa9: PUSH2 0x0ab1 00000aac: JUMPI 00000aad: PUSH1 0x00 00000aaf: DUP1 00000ab0: REVERT 00000ab1: JUMPDEST 00000ab2: CALLER 00000ab3: SWAP2 00000ab4: POP 00000ab5: PUSH2 0x0abe 00000ab8: PUSH1 0x00 00000aba: PUSH2 0x0bac 00000abd: JUMP 00000abe: JUMPDEST 00000abf: PUSH1 0x01 00000ac1: PUSH1 0xa0 00000ac3: PUSH1 0x02 00000ac5: EXP 00000ac6: SUB 00000ac7: DUP4 00000ac8: AND 00000ac9: PUSH1 0x00 00000acb: DUP2 00000acc: DUP2 00000acd: MSTORE 00000ace: PUSH1 0x07 00000ad0: PUSH1 0x20 00000ad2: SWAP1 00000ad3: DUP2 00000ad4: MSTORE 00000ad5: PUSH1 0x40 00000ad7: DUP1 00000ad8: DUP4 00000ad9: KECCAK256 00000ada: DUP1 00000adb: SLOAD 00000adc: PUSH9 0x010000000000000000 00000ae6: DUP8 00000ae7: MUL 00000ae8: ADD 00000ae9: SWAP1 00000aea: SSTORE 00000aeb: PUSH1 0x06 00000aed: SWAP1 00000aee: SWAP2 00000aef: MSTORE 00000af0: DUP1 00000af1: DUP3 00000af2: KECCAK256 00000af3: DUP1 00000af4: SLOAD 00000af5: SWAP1 00000af6: DUP4 00000af7: SWAP1 00000af8: SSTORE 00000af9: SWAP1 00000afa: MLOAD 00000afb: SWAP4 00000afc: ADD 00000afd: SWAP4 00000afe: POP 00000aff: SWAP1 00000b00: SWAP2 00000b01: DUP4 00000b02: ISZERO 00000b03: PUSH2 0x08fc 00000b06: MUL 00000b07: SWAP2 00000b08: DUP5 00000b09: SWAP2 00000b0a: SWAP1 00000b0b: DUP2 00000b0c: DUP2 00000b0d: DUP2 00000b0e: DUP6 00000b0f: DUP9 00000b10: DUP9 00000b11: CALL 00000b12: SWAP4 00000b13: POP 00000b14: POP 00000b15: POP 00000b16: POP 00000b17: ISZERO 00000b18: DUP1 00000b19: ISZERO 00000b1a: PUSH2 0x0b27 00000b1d: JUMPI 00000b1e: RETURNDATASIZE 00000b1f: PUSH1 0x00 00000b21: DUP1 00000b22: RETURNDATACOPY 00000b23: RETURNDATASIZE 00000b24: PUSH1 0x00 00000b26: REVERT 00000b27: JUMPDEST 00000b28: POP 00000b29: PUSH1 0x40 00000b2b: DUP1 00000b2c: MLOAD 00000b2d: DUP3 00000b2e: DUP2 00000b2f: MSTORE 00000b30: SWAP1 00000b31: MLOAD 00000b32: PUSH1 0x01 00000b34: PUSH1 0xa0 00000b36: PUSH1 0x02 00000b38: EXP 00000b39: SUB 00000b3a: DUP5 00000b3b: AND 00000b3c: SWAP2 00000b3d: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 00000b5e: SWAP2 00000b5f: SWAP1 00000b60: DUP2 00000b61: SWAP1 00000b62: SUB 00000b63: PUSH1 0x20 00000b65: ADD 00000b66: SWAP1 00000b67: LOG2 00000b68: POP 00000b69: POP 00000b6a: JUMP 00000b6b: JUMPDEST 00000b6c: PUSH1 0x00 00000b6e: DUP1 00000b6f: PUSH1 0x00 00000b71: DUP1 00000b72: PUSH2 0x0b82 00000b75: PUSH8 0x0de0b6b3a7640000 00000b7e: PUSH2 0x1258 00000b81: JUMP 00000b82: JUMPDEST 00000b83: SWAP3 00000b84: POP 00000b85: PUSH2 0x0b92 00000b88: PUSH2 0x04e6 00000b8b: DUP5 00000b8c: PUSH1 0x05 00000b8e: PUSH2 0x11ed 00000b91: JUMP 00000b92: JUMPDEST 00000b93: SWAP2 00000b94: POP 00000b95: PUSH2 0x0b9e 00000b98: DUP4 00000b99: DUP4 00000b9a: PUSH2 0x1238 00000b9d: JUMP 00000b9e: JUMPDEST 00000b9f: SWAP5 00000ba0: SWAP4 00000ba1: POP 00000ba2: POP 00000ba3: POP 00000ba4: POP 00000ba5: JUMP 00000ba6: JUMPDEST 00000ba7: PUSH1 0x04 00000ba9: SLOAD 00000baa: DUP2 00000bab: JUMP 00000bac: JUMPDEST 00000bad: PUSH1 0x00 00000baf: CALLER 00000bb0: DUP3 00000bb1: PUSH2 0x0bc2 00000bb4: JUMPI 00000bb5: PUSH2 0x0bbd 00000bb8: DUP2 00000bb9: PUSH2 0x08ca 00000bbc: JUMP 00000bbd: JUMPDEST 00000bbe: PUSH2 0x0be6 00000bc1: JUMP 00000bc2: JUMPDEST 00000bc3: PUSH1 0x01 00000bc5: PUSH1 0xa0 00000bc7: PUSH1 0x02 00000bc9: EXP 00000bca: SUB 00000bcb: DUP2 00000bcc: AND 00000bcd: PUSH1 0x00 00000bcf: SWAP1 00000bd0: DUP2 00000bd1: MSTORE 00000bd2: PUSH1 0x06 00000bd4: PUSH1 0x20 00000bd6: MSTORE 00000bd7: PUSH1 0x40 00000bd9: SWAP1 00000bda: KECCAK256 00000bdb: SLOAD 00000bdc: PUSH2 0x0be4 00000bdf: DUP3 00000be0: PUSH2 0x08ca 00000be3: JUMP 00000be4: JUMPDEST 00000be5: ADD 00000be6: JUMPDEST 00000be7: SWAP4 00000be8: SWAP3 00000be9: POP 00000bea: POP 00000beb: POP 00000bec: JUMP 00000bed: JUMPDEST 00000bee: ADDRESS 00000bef: BALANCE 00000bf0: SWAP1 00000bf1: JUMP 00000bf2: JUMPDEST 00000bf3: PUSH1 0x01 00000bf5: PUSH1 0xa0 00000bf7: PUSH1 0x02 00000bf9: EXP 00000bfa: SUB 00000bfb: AND 00000bfc: PUSH1 0x00 00000bfe: SWAP1 00000bff: DUP2 00000c00: MSTORE 00000c01: PUSH1 0x05 00000c03: PUSH1 0x20 00000c05: MSTORE 00000c06: PUSH1 0x40 00000c08: SWAP1 00000c09: KECCAK256 00000c0a: SLOAD 00000c0b: SWAP1 00000c0c: JUMP 00000c0d: JUMPDEST 00000c0e: PUSH1 0x00 00000c10: DUP1 00000c11: PUSH1 0x00 00000c13: DUP1 00000c14: PUSH2 0x0c24 00000c17: PUSH8 0x0de0b6b3a7640000 00000c20: PUSH2 0x1258 00000c23: JUMP 00000c24: JUMPDEST 00000c25: SWAP3 00000c26: POP 00000c27: PUSH2 0x0c34 00000c2a: PUSH2 0x04e6 00000c2d: DUP5 00000c2e: PUSH1 0x0f 00000c30: PUSH2 0x11ed 00000c33: JUMP 00000c34: JUMPDEST 00000c35: SWAP2 00000c36: POP 00000c37: PUSH2 0x0b9e 00000c3a: DUP4 00000c3b: DUP4 00000c3c: PUSH2 0x122b 00000c3f: JUMP 00000c40: JUMPDEST 00000c41: PUSH1 0x00 00000c43: SLOAD 00000c44: PUSH1 0x01 00000c46: PUSH1 0xa0 00000c48: PUSH1 0x02 00000c4a: EXP 00000c4b: SUB 00000c4c: AND 00000c4d: DUP2 00000c4e: JUMP 00000c4f: JUMPDEST 00000c50: PUSH1 0x00 00000c52: CALLER 00000c53: PUSH2 0x0c5b 00000c56: DUP2 00000c57: PUSH2 0x0bf2 00000c5a: JUMP 00000c5b: JUMPDEST 00000c5c: SWAP2 00000c5d: POP 00000c5e: POP 00000c5f: SWAP1 00000c60: JUMP 00000c61: JUMPDEST 00000c62: PUSH1 0x02 00000c64: DUP1 00000c65: SLOAD 00000c66: PUSH1 0x40 00000c68: DUP1 00000c69: MLOAD 00000c6a: PUSH1 0x20 00000c6c: PUSH1 0x01 00000c6e: DUP5 00000c6f: AND 00000c70: ISZERO 00000c71: PUSH2 0x0100 00000c74: MUL 00000c75: PUSH1 0x00 00000c77: NOT 00000c78: ADD 00000c79: SWAP1 00000c7a: SWAP4 00000c7b: AND 00000c7c: DUP5 00000c7d: SWAP1 00000c7e: DIV 00000c7f: PUSH1 0x1f 00000c81: DUP2 00000c82: ADD 00000c83: DUP5 00000c84: SWAP1 00000c85: DIV 00000c86: DUP5 00000c87: MUL 00000c88: DUP3 00000c89: ADD 00000c8a: DUP5 00000c8b: ADD 00000c8c: SWAP1 00000c8d: SWAP3 00000c8e: MSTORE 00000c8f: DUP2 00000c90: DUP2 00000c91: MSTORE 00000c92: SWAP3 00000c93: SWAP2 00000c94: DUP4 00000c95: ADD 00000c96: DUP3 00000c97: DUP3 00000c98: DUP1 00000c99: ISZERO 00000c9a: PUSH2 0x098a 00000c9d: JUMPI 00000c9e: DUP1 00000c9f: PUSH1 0x1f 00000ca1: LT 00000ca2: PUSH2 0x095f 00000ca5: JUMPI 00000ca6: PUSH2 0x0100 00000ca9: DUP1 00000caa: DUP4 00000cab: SLOAD 00000cac: DIV 00000cad: MUL 00000cae: DUP4 00000caf: MSTORE 00000cb0: SWAP2 00000cb1: PUSH1 0x20 00000cb3: ADD 00000cb4: SWAP2 00000cb5: PUSH2 0x098a 00000cb8: JUMP 00000cb9: JUMPDEST 00000cba: PUSH1 0x08 00000cbc: PUSH1 0x20 00000cbe: MSTORE 00000cbf: PUSH1 0x00 00000cc1: SWAP1 00000cc2: DUP2 00000cc3: MSTORE 00000cc4: PUSH1 0x40 00000cc6: SWAP1 00000cc7: KECCAK256 00000cc8: SLOAD 00000cc9: PUSH1 0x01 00000ccb: PUSH1 0xa0 00000ccd: PUSH1 0x02 00000ccf: EXP 00000cd0: SUB 00000cd1: AND 00000cd2: DUP2 00000cd3: JUMP 00000cd4: JUMPDEST 00000cd5: PUSH1 0x00 00000cd7: DUP1 00000cd8: PUSH1 0x00 00000cda: DUP1 00000cdb: PUSH1 0x00 00000cdd: DUP1 00000cde: PUSH2 0x0ce5 00000ce1: PUSH2 0x0c4f 00000ce4: JUMP 00000ce5: JUMPDEST 00000ce6: GT 00000ce7: PUSH2 0x0cef 00000cea: JUMPI 00000ceb: PUSH1 0x00 00000ced: DUP1 00000cee: REVERT 00000cef: JUMPDEST 00000cf0: CALLER 00000cf1: PUSH1 0x00 00000cf3: DUP2 00000cf4: DUP2 00000cf5: MSTORE 00000cf6: PUSH1 0x05 00000cf8: PUSH1 0x20 00000cfa: MSTORE 00000cfb: PUSH1 0x40 00000cfd: SWAP1 00000cfe: KECCAK256 00000cff: SLOAD 00000d00: SWAP1 00000d01: SWAP5 00000d02: POP 00000d03: DUP7 00000d04: GT 00000d05: ISZERO 00000d06: PUSH2 0x0d0e 00000d09: JUMPI 00000d0a: PUSH1 0x00 00000d0c: DUP1 00000d0d: REVERT 00000d0e: JUMPDEST 00000d0f: PUSH1 0x00 00000d11: PUSH2 0x0d1a 00000d14: PUSH1 0x01 00000d16: PUSH2 0x0bac 00000d19: JUMP 00000d1a: JUMPDEST 00000d1b: GT 00000d1c: ISZERO 00000d1d: PUSH2 0x0d28 00000d20: JUMPI 00000d21: PUSH2 0x0d28 00000d24: PUSH2 0x0a98 00000d27: JUMP 00000d28: JUMPDEST 00000d29: PUSH2 0x0d36 00000d2c: PUSH2 0x04e6 00000d2f: DUP8 00000d30: PUSH1 0x01 00000d32: PUSH2 0x11ed 00000d35: JUMP 00000d36: JUMPDEST 00000d37: SWAP3 00000d38: POP 00000d39: PUSH2 0x0d42 00000d3c: DUP7 00000d3d: DUP5 00000d3e: PUSH2 0x1238 00000d41: JUMP 00000d42: JUMPDEST 00000d43: SWAP2 00000d44: POP 00000d45: PUSH2 0x0d4d 00000d48: DUP4 00000d49: PUSH2 0x1258 00000d4c: JUMP 00000d4d: JUMPDEST 00000d4e: SWAP1 00000d4f: POP 00000d50: PUSH2 0x0d5b 00000d53: PUSH1 0x09 00000d55: SLOAD 00000d56: DUP5 00000d57: PUSH2 0x1238 00000d5a: JUMP 00000d5b: JUMPDEST 00000d5c: PUSH1 0x09 00000d5e: SSTORE 00000d5f: PUSH1 0x01 00000d61: PUSH1 0xa0 00000d63: PUSH1 0x02 00000d65: EXP 00000d66: SUB 00000d67: DUP5 00000d68: AND 00000d69: PUSH1 0x00 00000d6b: SWAP1 00000d6c: DUP2 00000d6d: MSTORE 00000d6e: PUSH1 0x05 00000d70: PUSH1 0x20 00000d72: MSTORE 00000d73: PUSH1 0x40 00000d75: SWAP1 00000d76: KECCAK256 00000d77: SLOAD 00000d78: PUSH2 0x0d81 00000d7b: SWAP1 00000d7c: DUP8 00000d7d: PUSH2 0x1238 00000d80: JUMP 00000d81: JUMPDEST 00000d82: PUSH1 0x01 00000d84: PUSH1 0xa0 00000d86: PUSH1 0x02 00000d88: EXP 00000d89: SUB 00000d8a: DUP1 00000d8b: DUP7 00000d8c: AND 00000d8d: PUSH1 0x00 00000d8f: SWAP1 00000d90: DUP2 00000d91: MSTORE 00000d92: PUSH1 0x05 00000d94: PUSH1 0x20 00000d96: MSTORE 00000d97: PUSH1 0x40 00000d99: DUP1 00000d9a: DUP3 00000d9b: KECCAK256 00000d9c: SWAP4 00000d9d: SWAP1 00000d9e: SWAP4 00000d9f: SSTORE 00000da0: SWAP1 00000da1: DUP10 00000da2: AND 00000da3: DUP2 00000da4: MSTORE 00000da5: KECCAK256 00000da6: SLOAD 00000da7: PUSH2 0x0db0 00000daa: SWAP1 00000dab: DUP4 00000dac: PUSH2 0x122b 00000daf: JUMP 00000db0: JUMPDEST 00000db1: PUSH1 0x01 00000db3: PUSH1 0xa0 00000db5: PUSH1 0x02 00000db7: EXP 00000db8: SUB 00000db9: DUP9 00000dba: DUP2 00000dbb: AND 00000dbc: PUSH1 0x00 00000dbe: DUP2 00000dbf: DUP2 00000dc0: MSTORE 00000dc1: PUSH1 0x05 00000dc3: PUSH1 0x20 00000dc5: SWAP1 00000dc6: DUP2 00000dc7: MSTORE 00000dc8: PUSH1 0x40 00000dca: DUP1 00000dcb: DUP4 00000dcc: KECCAK256 00000dcd: SWAP6 00000dce: SWAP1 00000dcf: SWAP6 00000dd0: SSTORE 00000dd1: PUSH1 0x0a 00000dd3: DUP1 00000dd4: SLOAD 00000dd5: SWAP5 00000dd6: DUP11 00000dd7: AND 00000dd8: DUP4 00000dd9: MSTORE 00000dda: PUSH1 0x07 00000ddc: SWAP1 00000ddd: SWAP2 00000dde: MSTORE 00000ddf: DUP5 00000de0: DUP3 00000de1: KECCAK256 00000de2: DUP1 00000de3: SLOAD 00000de4: SWAP5 00000de5: DUP13 00000de6: MUL 00000de7: SWAP1 00000de8: SWAP5 00000de9: SUB 00000dea: SWAP1 00000deb: SWAP4 00000dec: SSTORE 00000ded: DUP3 00000dee: SLOAD 00000def: SWAP2 00000df0: DUP2 00000df1: MSTORE 00000df2: SWAP3 00000df3: SWAP1 00000df4: SWAP3 00000df5: KECCAK256 00000df6: DUP1 00000df7: SLOAD 00000df8: SWAP3 00000df9: DUP6 00000dfa: MUL 00000dfb: SWAP1 00000dfc: SWAP3 00000dfd: ADD 00000dfe: SWAP1 00000dff: SWAP2 00000e00: SSTORE 00000e01: SLOAD 00000e02: PUSH1 0x09 00000e04: SLOAD 00000e05: PUSH2 0x0e24 00000e08: SWAP2 00000e09: SWAP1 00000e0a: PUSH9 0x010000000000000000 00000e14: DUP5 00000e15: MUL 00000e16: DUP2 00000e17: ISZERO 00000e18: ISZERO 00000e19: PUSH2 0x0e1e 00000e1c: JUMPI 00000e1d: INVALID 00000e1e: JUMPDEST 00000e1f: DIV 00000e20: PUSH2 0x122b 00000e23: JUMP 00000e24: JUMPDEST 00000e25: PUSH1 0x0a 00000e27: SSTORE 00000e28: PUSH1 0x40 00000e2a: DUP1 00000e2b: MLOAD 00000e2c: DUP4 00000e2d: DUP2 00000e2e: MSTORE 00000e2f: SWAP1 00000e30: MLOAD 00000e31: PUSH1 0x01 00000e33: PUSH1 0xa0 00000e35: PUSH1 0x02 00000e37: EXP 00000e38: SUB 00000e39: DUP1 00000e3a: DUP11 00000e3b: AND 00000e3c: SWAP3 00000e3d: SWAP1 00000e3e: DUP8 00000e3f: AND 00000e40: SWAP2 00000e41: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000e62: SWAP2 00000e63: DUP2 00000e64: SWAP1 00000e65: SUB 00000e66: PUSH1 0x20 00000e68: ADD 00000e69: SWAP1 00000e6a: LOG3 00000e6b: POP 00000e6c: PUSH1 0x01 00000e6e: SWAP7 00000e6f: SWAP6 00000e70: POP 00000e71: POP 00000e72: POP 00000e73: POP 00000e74: POP 00000e75: POP 00000e76: JUMP 00000e77: JUMPDEST 00000e78: PUSH1 0x0b 00000e7a: SLOAD 00000e7b: PUSH1 0x01 00000e7d: PUSH1 0xa0 00000e7f: PUSH1 0x02 00000e81: EXP 00000e82: SUB 00000e83: AND 00000e84: DUP2 00000e85: JUMP 00000e86: JUMPDEST 00000e87: PUSH1 0x00 00000e89: DUP1 00000e8a: PUSH1 0x00 00000e8c: DUP1 00000e8d: PUSH1 0x00 00000e8f: DUP1 00000e90: PUSH1 0x00 00000e92: PUSH2 0x0e99 00000e95: PUSH2 0x0c4f 00000e98: JUMP 00000e99: JUMPDEST 00000e9a: GT 00000e9b: PUSH2 0x0ea3 00000e9e: JUMPI 00000e9f: PUSH1 0x00 00000ea1: DUP1 00000ea2: REVERT 00000ea3: JUMPDEST 00000ea4: CALLER 00000ea5: PUSH1 0x00 00000ea7: DUP2 00000ea8: DUP2 00000ea9: MSTORE 00000eaa: PUSH1 0x05 00000eac: PUSH1 0x20 00000eae: MSTORE 00000eaf: PUSH1 0x40 00000eb1: SWAP1 00000eb2: KECCAK256 00000eb3: SLOAD 00000eb4: SWAP1 00000eb5: SWAP7 00000eb6: POP 00000eb7: DUP8 00000eb8: GT 00000eb9: ISZERO 00000eba: PUSH2 0x0ec2 00000ebd: JUMPI 00000ebe: PUSH1 0x00 00000ec0: DUP1 00000ec1: REVERT 00000ec2: JUMPDEST 00000ec3: DUP7 00000ec4: SWAP5 00000ec5: POP 00000ec6: PUSH2 0x0ece 00000ec9: DUP6 00000eca: PUSH2 0x1258 00000ecd: JUMP 00000ece: JUMPDEST 00000ecf: SWAP4 00000ed0: POP 00000ed1: PUSH2 0x0ede 00000ed4: PUSH2 0x04e6 00000ed7: DUP6 00000ed8: PUSH1 0x05 00000eda: PUSH2 0x11ed 00000edd: JUMP 00000ede: JUMPDEST 00000edf: SWAP3 00000ee0: POP 00000ee1: PUSH2 0x0eea 00000ee4: DUP5 00000ee5: DUP5 00000ee6: PUSH2 0x1238 00000ee9: JUMP 00000eea: JUMPDEST 00000eeb: SWAP2 00000eec: POP 00000eed: PUSH2 0x0ef8 00000ef0: PUSH1 0x09 00000ef2: SLOAD 00000ef3: DUP7 00000ef4: PUSH2 0x1238 00000ef7: JUMP 00000ef8: JUMPDEST 00000ef9: PUSH1 0x09 00000efb: SSTORE 00000efc: PUSH1 0x01 00000efe: PUSH1 0xa0 00000f00: PUSH1 0x02 00000f02: EXP 00000f03: SUB 00000f04: DUP7 00000f05: AND 00000f06: PUSH1 0x00 00000f08: SWAP1 00000f09: DUP2 00000f0a: MSTORE 00000f0b: PUSH1 0x05 00000f0d: PUSH1 0x20 00000f0f: MSTORE 00000f10: PUSH1 0x40 00000f12: SWAP1 00000f13: KECCAK256 00000f14: SLOAD 00000f15: PUSH2 0x0f1e 00000f18: SWAP1 00000f19: DUP7 00000f1a: PUSH2 0x1238 00000f1d: JUMP 00000f1e: JUMPDEST 00000f1f: PUSH1 0x01 00000f21: PUSH1 0xa0 00000f23: PUSH1 0x02 00000f25: EXP 00000f26: SUB 00000f27: DUP8 00000f28: AND 00000f29: PUSH1 0x00 00000f2b: SWAP1 00000f2c: DUP2 00000f2d: MSTORE 00000f2e: PUSH1 0x05 00000f30: PUSH1 0x20 00000f32: SWAP1 00000f33: DUP2 00000f34: MSTORE 00000f35: PUSH1 0x40 00000f37: DUP1 00000f38: DUP4 00000f39: KECCAK256 00000f3a: SWAP4 00000f3b: SWAP1 00000f3c: SWAP4 00000f3d: SSTORE 00000f3e: PUSH1 0x0a 00000f40: SLOAD 00000f41: PUSH1 0x07 00000f43: SWAP1 00000f44: SWAP2 00000f45: MSTORE 00000f46: SWAP2 00000f47: DUP2 00000f48: KECCAK256 00000f49: DUP1 00000f4a: SLOAD 00000f4b: SWAP3 00000f4c: DUP9 00000f4d: MUL 00000f4e: PUSH9 0x010000000000000000 00000f58: DUP7 00000f59: MUL 00000f5a: ADD 00000f5b: SWAP3 00000f5c: DUP4 00000f5d: SWAP1 00000f5e: SUB 00000f5f: SWAP1 00000f60: SSTORE 00000f61: PUSH1 0x09 00000f63: SLOAD 00000f64: SWAP2 00000f65: SWAP3 00000f66: POP 00000f67: LT 00000f68: ISZERO 00000f69: PUSH2 0x0f8e 00000f6c: JUMPI 00000f6d: PUSH2 0x0f8a 00000f70: PUSH1 0x0a 00000f72: SLOAD 00000f73: PUSH1 0x09 00000f75: SLOAD 00000f76: PUSH9 0x010000000000000000 00000f80: DUP7 00000f81: MUL 00000f82: DUP2 00000f83: ISZERO 00000f84: ISZERO 00000f85: PUSH2 0x0e1e 00000f88: JUMPI 00000f89: INVALID 00000f8a: JUMPDEST 00000f8b: PUSH1 0x0a 00000f8d: SSTORE 00000f8e: JUMPDEST 00000f8f: DUP6 00000f90: PUSH1 0x01 00000f92: PUSH1 0xa0 00000f94: PUSH1 0x02 00000f96: EXP 00000f97: SUB 00000f98: AND 00000f99: PUSH32 0x8d3a0130073dbd54ab6ac632c05946df540553d3b514c9f8165b4ab7f2b1805e 00000fba: DUP7 00000fbb: DUP5 00000fbc: TIMESTAMP 00000fbd: PUSH2 0x0fc4 00000fc0: PUSH2 0x0c0d 00000fc3: JUMP 00000fc4: JUMPDEST 00000fc5: PUSH1 0x40 00000fc7: DUP1 00000fc8: MLOAD 00000fc9: SWAP5 00000fca: DUP6 00000fcb: MSTORE 00000fcc: PUSH1 0x20 00000fce: DUP6 00000fcf: ADD 00000fd0: SWAP4 00000fd1: SWAP1 00000fd2: SWAP4 00000fd3: MSTORE 00000fd4: DUP4 00000fd5: DUP4 00000fd6: ADD 00000fd7: SWAP2 00000fd8: SWAP1 00000fd9: SWAP2 00000fda: MSTORE 00000fdb: PUSH1 0x60 00000fdd: DUP4 00000fde: ADD 00000fdf: MSTORE 00000fe0: MLOAD 00000fe1: SWAP1 00000fe2: DUP2 00000fe3: SWAP1 00000fe4: SUB 00000fe5: PUSH1 0x80 00000fe7: ADD 00000fe8: SWAP1 00000fe9: LOG2 00000fea: POP 00000feb: POP 00000fec: POP 00000fed: POP 00000fee: POP 00000fef: POP 00000ff0: POP 00000ff1: JUMP 00000ff2: JUMPDEST 00000ff3: CALLER 00000ff4: PUSH1 0x00 00000ff6: DUP2 00000ff7: DUP2 00000ff8: MSTORE 00000ff9: PUSH1 0x05 00000ffb: PUSH1 0x20 00000ffd: MSTORE 00000ffe: PUSH1 0x40 00001000: DUP2 00001001: KECCAK256 00001002: SLOAD 00001003: SWAP1 00001004: DUP2 00001005: GT 00001006: ISZERO 00001007: PUSH2 0x1013 0000100a: JUMPI 0000100b: PUSH2 0x1013 0000100e: DUP2 0000100f: PUSH2 0x0e86 00001012: JUMP 00001013: JUMPDEST 00001014: PUSH2 0x101b 00001017: PUSH2 0x0a98 0000101a: JUMP 0000101b: JUMPDEST 0000101c: POP 0000101d: POP 0000101e: JUMP 0000101f: JUMPDEST 00001020: CALLER 00001021: PUSH1 0x00 00001023: SWAP1 00001024: DUP2 00001025: MSTORE 00001026: PUSH1 0x08 00001028: PUSH1 0x20 0000102a: MSTORE 0000102b: PUSH1 0x40 0000102d: DUP2 0000102e: KECCAK256 0000102f: SLOAD 00001030: PUSH1 0x01 00001032: PUSH1 0xa0 00001034: PUSH1 0x02 00001036: EXP 00001037: SUB 00001038: AND 00001039: ISZERO 0000103a: DUP1 0000103b: ISZERO 0000103c: PUSH2 0x105c 0000103f: JUMPI 00001040: POP 00001041: CALLER 00001042: PUSH1 0x00 00001044: DUP2 00001045: DUP2 00001046: MSTORE 00001047: PUSH1 0x08 00001049: PUSH1 0x20 0000104b: MSTORE 0000104c: PUSH1 0x40 0000104e: SWAP1 0000104f: KECCAK256 00001050: SLOAD 00001051: PUSH1 0x01 00001053: PUSH1 0xa0 00001055: PUSH1 0x02 00001057: EXP 00001058: SUB 00001059: AND 0000105a: EQ 0000105b: ISZERO 0000105c: JUMPDEST 0000105d: ISZERO 0000105e: PUSH2 0x1097 00001061: JUMPI 00001062: CALLER 00001063: PUSH1 0x00 00001065: SWAP1 00001066: DUP2 00001067: MSTORE 00001068: PUSH1 0x08 0000106a: PUSH1 0x20 0000106c: MSTORE 0000106d: PUSH1 0x40 0000106f: SWAP1 00001070: KECCAK256 00001071: DUP1 00001072: SLOAD 00001073: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001088: NOT 00001089: AND 0000108a: PUSH1 0x01 0000108c: PUSH1 0xa0 0000108e: PUSH1 0x02 00001090: EXP 00001091: SUB 00001092: DUP5 00001093: AND 00001094: OR 00001095: SWAP1 00001096: SSTORE 00001097: JUMPDEST 00001098: PUSH2 0x10a0 0000109b: CALLVALUE 0000109c: PUSH2 0x04b3 0000109f: JUMP 000010a0: JUMPDEST 000010a1: SWAP3 000010a2: SWAP2 000010a3: POP 000010a4: POP 000010a5: JUMP 000010a6: JUMPDEST 000010a7: PUSH1 0x00 000010a9: SLOAD 000010aa: PUSH1 0x01 000010ac: PUSH1 0xa0 000010ae: PUSH1 0x02 000010b0: EXP 000010b1: SUB 000010b2: AND 000010b3: CALLER 000010b4: EQ 000010b5: PUSH2 0x10bd 000010b8: JUMPI 000010b9: PUSH1 0x00 000010bb: DUP1 000010bc: REVERT 000010bd: JUMPDEST 000010be: PUSH1 0x01 000010c0: PUSH1 0xa0 000010c2: PUSH1 0x02 000010c4: EXP 000010c5: SUB 000010c6: DUP2 000010c7: AND 000010c8: ISZERO 000010c9: ISZERO 000010ca: PUSH2 0x10d2 000010cd: JUMPI 000010ce: PUSH1 0x00 000010d0: DUP1 000010d1: REVERT 000010d2: JUMPDEST 000010d3: PUSH1 0x00 000010d5: DUP1 000010d6: SLOAD 000010d7: PUSH1 0x40 000010d9: MLOAD 000010da: PUSH1 0x01 000010dc: PUSH1 0xa0 000010de: PUSH1 0x02 000010e0: EXP 000010e1: SUB 000010e2: DUP1 000010e3: DUP6 000010e4: AND 000010e5: SWAP4 000010e6: SWAP3 000010e7: AND 000010e8: SWAP2 000010e9: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000110a: SWAP2 0000110b: LOG3 0000110c: PUSH1 0x00 0000110e: DUP1 0000110f: SLOAD 00001110: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001125: NOT 00001126: AND 00001127: PUSH1 0x01 00001129: PUSH1 0xa0 0000112b: PUSH1 0x02 0000112d: EXP 0000112e: SUB 0000112f: SWAP3 00001130: SWAP1 00001131: SWAP3 00001132: AND 00001133: SWAP2 00001134: SWAP1 00001135: SWAP2 00001136: OR 00001137: SWAP1 00001138: SSTORE 00001139: JUMP 0000113a: JUMPDEST 0000113b: PUSH1 0x00 0000113d: DUP1 0000113e: PUSH1 0x00 00001140: DUP1 00001141: PUSH2 0x114a 00001144: PUSH1 0x01 00001146: PUSH2 0x0bac 00001149: JUMP 0000114a: JUMPDEST 0000114b: GT 0000114c: PUSH2 0x1154 0000114f: JUMPI 00001150: PUSH1 0x00 00001152: DUP1 00001153: REVERT 00001154: JUMPDEST 00001155: PUSH2 0x115e 00001158: PUSH1 0x00 0000115a: PUSH2 0x0bac 0000115d: JUMP 0000115e: JUMPDEST 0000115f: CALLER 00001160: PUSH1 0x00 00001162: DUP2 00001163: DUP2 00001164: MSTORE 00001165: PUSH1 0x07 00001167: PUSH1 0x20 00001169: SWAP1 0000116a: DUP2 0000116b: MSTORE 0000116c: PUSH1 0x40 0000116e: DUP1 0000116f: DUP4 00001170: KECCAK256 00001171: DUP1 00001172: SLOAD 00001173: PUSH9 0x010000000000000000 0000117d: DUP8 0000117e: MUL 0000117f: ADD 00001180: SWAP1 00001181: SSTORE 00001182: PUSH1 0x06 00001184: SWAP1 00001185: SWAP2 00001186: MSTORE 00001187: DUP2 00001188: KECCAK256 00001189: DUP1 0000118a: SLOAD 0000118b: SWAP2 0000118c: SWAP1 0000118d: SSTORE 0000118e: SWAP1 0000118f: SWAP2 00001190: ADD 00001191: SWAP4 00001192: POP 00001193: SWAP2 00001194: POP 00001195: PUSH2 0x119d 00001198: DUP4 00001199: PUSH2 0x04b3 0000119c: JUMP 0000119d: JUMPDEST 0000119e: SWAP1 0000119f: POP 000011a0: DUP2 000011a1: PUSH1 0x01 000011a3: PUSH1 0xa0 000011a5: PUSH1 0x02 000011a7: EXP 000011a8: SUB 000011a9: AND 000011aa: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458 000011cb: DUP5 000011cc: DUP4 000011cd: PUSH1 0x40 000011cf: MLOAD 000011d0: DUP1 000011d1: DUP4 000011d2: DUP2 000011d3: MSTORE 000011d4: PUSH1 0x20 000011d6: ADD 000011d7: DUP3 000011d8: DUP2 000011d9: MSTORE 000011da: PUSH1 0x20 000011dc: ADD 000011dd: SWAP3 000011de: POP 000011df: POP 000011e0: POP 000011e1: PUSH1 0x40 000011e3: MLOAD 000011e4: DUP1 000011e5: SWAP2 000011e6: SUB 000011e7: SWAP1 000011e8: LOG2 000011e9: POP 000011ea: POP 000011eb: POP 000011ec: JUMP 000011ed: JUMPDEST 000011ee: PUSH1 0x00 000011f0: DUP3 000011f1: ISZERO 000011f2: ISZERO 000011f3: PUSH2 0x11fe 000011f6: JUMPI 000011f7: POP 000011f8: PUSH1 0x00 000011fa: PUSH2 0x10a0 000011fd: JUMP 000011fe: JUMPDEST 000011ff: POP 00001200: DUP2 00001201: DUP2 00001202: MUL 00001203: DUP2 00001204: DUP4 00001205: DUP3 00001206: DUP2 00001207: ISZERO 00001208: ISZERO 00001209: PUSH2 0x120e 0000120c: JUMPI 0000120d: INVALID 0000120e: JUMPDEST 0000120f: DIV 00001210: EQ 00001211: PUSH2 0x10a0 00001214: JUMPI 00001215: INVALID 00001216: JUMPDEST 00001217: PUSH1 0x00 00001219: DUP2 0000121a: DUP4 0000121b: DUP2 0000121c: ISZERO 0000121d: ISZERO 0000121e: PUSH2 0x1223 00001221: JUMPI 00001222: INVALID 00001223: JUMPDEST 00001224: DIV 00001225: SWAP4 00001226: SWAP3 00001227: POP 00001228: POP 00001229: POP 0000122a: JUMP 0000122b: JUMPDEST 0000122c: DUP2 0000122d: DUP2 0000122e: ADD 0000122f: DUP3 00001230: DUP2 00001231: LT 00001232: ISZERO 00001233: PUSH2 0x10a0 00001236: JUMPI 00001237: INVALID 00001238: JUMPDEST 00001239: PUSH1 0x00 0000123b: DUP3 0000123c: DUP3 0000123d: GT 0000123e: ISZERO 0000123f: PUSH2 0x1244 00001242: JUMPI 00001243: INVALID 00001244: JUMPDEST 00001245: POP 00001246: SWAP1 00001247: SUB 00001248: SWAP1 00001249: JUMP 0000124a: JUMPDEST 0000124b: PUSH1 0x00 0000124d: PUSH2 0x10a0 00001250: DUP3 00001251: PUSH2 0x03e8 00001254: PUSH2 0x11ed 00001257: JUMP 00001258: JUMPDEST 00001259: PUSH1 0x00 0000125b: PUSH2 0x10a0 0000125e: DUP3 0000125f: PUSH2 0x03e8 00001262: PUSH2 0x1216 00001265: JUMP 00001266: STOP 00001267: LOG1 00001268: PUSH6 0x627a7a723058 0000126f: KECCAK256 00001270: PUSH19 0x66bf6f623a518f895b944efc3ad6b587731de7 00001284: MUL 00001285: UNKNOWN(0xC5) 00001286: REVERT 00001287: DUP9 00001288: LOG2 00001289: DUP12 0000128a: UNKNOWN(0x0F) 0000128b: GASPRICE 0000128c: JUMP 0000128d: SLOAD 0000128e: UNKNOWN(0x1F) 0000128f: UNKNOWN(0xDD) 00001290: STOP 00001291: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xeb9fc54d3483b8d7c690f56fe086cfb3df2a3729b8ece25e6f02efdb46302e9d
call_targets:
0x5b8ad60798ec10ad36e52625ff881801240c491a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xeb9fc54d3483b8d7c690f56fe086cfb3df2a3729b8ece25e6f02efdb46302e9d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5b8ad60798ec10ad36e52625ff881801240c491a"
],
"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": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x275893a9",
"selector": "0x275893a9",
"calldata_variants": [
"0x275893a9",
"0x275893a90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29ca9dca",
"selector": "0x29ca9dca",
"calldata_variants": [
"0x29ca9dca",
"0x29ca9dca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1942,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2111,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2833,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xeb9fc54d3483b8d7c690f56fe086cfb3df2a3729b8ece25e6f02efdb46302e9d
call_targets:
0x5b8ad60798ec10ad36e52625ff881801240c491a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xeb9fc54d3483b8d7c690f56fe086cfb3df2a3729b8ece25e6f02efdb46302e9d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5b8ad60798ec10ad36e52625ff881801240c491a"
],
"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": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x275893a9",
"selector": "0x275893a9",
"calldata_variants": [
"0x275893a9",
"0x275893a90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29ca9dca",
"selector": "0x29ca9dca",
"calldata_variants": [
"0x29ca9dca",
"0x29ca9dca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1942,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2111,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2833,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|