019b477e-b3d3-7336-94e5-0a8eb41b4c9d
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 |
|---|---|---|---|---|
| 22623 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22624 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89645 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 89646 | capability.graph | complete | 1 / 3 | 1 week ago |
| 89647 | detector.run | complete | 1 / 3 | 1 week ago |
| 89648 | validation.fork | complete | 1 / 3 | 1 week 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 0x0131 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 0x013f 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x06fdde03 00000045: EQ 00000046: PUSH2 0x0172 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x10d0ffdd 00000050: EQ 00000051: PUSH2 0x01fc 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x18160ddd 0000005b: EQ 0000005c: PUSH2 0x0214 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x22609373 00000066: EQ 00000067: PUSH2 0x0229 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x2a9121c7 00000071: EQ 00000072: PUSH2 0x0241 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x313ce567 0000007c: EQ 0000007d: PUSH2 0x0259 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x3ccfd60b 00000087: EQ 00000088: PUSH2 0x0284 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x4b750334 00000092: EQ 00000093: PUSH2 0x029b 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x56d399e8 0000009d: EQ 0000009e: PUSH2 0x02b0 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x688abbf7 000000a8: EQ 000000a9: PUSH2 0x02c5 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x70a08231 000000b3: EQ 000000b4: PUSH2 0x02df 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x8620410b 000000be: EQ 000000bf: PUSH2 0x0300 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x949e8acd 000000c9: EQ 000000ca: PUSH2 0x0315 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x95d89b41 000000d4: EQ 000000d5: PUSH2 0x032a 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0xb60d4288 000000df: EQ 000000e0: PUSH2 0x033f 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0xbf3b397b 000000ea: EQ 000000eb: PUSH2 0x0347 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0xc664f7f1 000000f5: EQ 000000f6: PUSH2 0x035f 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0xe4849b32 00000100: EQ 00000101: PUSH2 0x0380 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xe9fad8ee 0000010b: EQ 0000010c: PUSH2 0x0398 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0xeaec2b43 00000116: EQ 00000117: PUSH2 0x03ad 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0xf088d547 00000121: EQ 00000122: PUSH2 0x03ce 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0xfdb5a03e 0000012c: EQ 0000012d: PUSH2 0x03e2 00000130: JUMPI 00000131: JUMPDEST 00000132: PUSH2 0x013c 00000135: CALLVALUE 00000136: PUSH1 0x00 00000138: PUSH2 0x03f7 0000013b: JUMP 0000013c: JUMPDEST 0000013d: POP 0000013e: STOP 0000013f: JUMPDEST 00000140: CALLVALUE 00000141: DUP1 00000142: ISZERO 00000143: PUSH2 0x014b 00000146: JUMPI 00000147: PUSH1 0x00 00000149: DUP1 0000014a: REVERT 0000014b: JUMPDEST 0000014c: POP 0000014d: PUSH2 0x0160 00000150: PUSH1 0x01 00000152: PUSH1 0xa0 00000154: PUSH1 0x02 00000156: EXP 00000157: SUB 00000158: PUSH1 0x04 0000015a: CALLDATALOAD 0000015b: AND 0000015c: PUSH2 0x07cf 0000015f: JUMP 00000160: JUMPDEST 00000161: PUSH1 0x40 00000163: DUP1 00000164: MLOAD 00000165: SWAP2 00000166: DUP3 00000167: MSTORE 00000168: MLOAD 00000169: SWAP1 0000016a: DUP2 0000016b: SWAP1 0000016c: SUB 0000016d: PUSH1 0x20 0000016f: ADD 00000170: SWAP1 00000171: RETURN 00000172: JUMPDEST 00000173: CALLVALUE 00000174: DUP1 00000175: ISZERO 00000176: PUSH2 0x017e 00000179: JUMPI 0000017a: PUSH1 0x00 0000017c: DUP1 0000017d: REVERT 0000017e: JUMPDEST 0000017f: POP 00000180: PUSH2 0x0187 00000183: PUSH2 0x080a 00000186: JUMP 00000187: JUMPDEST 00000188: PUSH1 0x40 0000018a: DUP1 0000018b: MLOAD 0000018c: PUSH1 0x20 0000018e: DUP1 0000018f: DUP3 00000190: MSTORE 00000191: DUP4 00000192: MLOAD 00000193: DUP2 00000194: DUP4 00000195: ADD 00000196: MSTORE 00000197: DUP4 00000198: MLOAD 00000199: SWAP2 0000019a: SWAP3 0000019b: DUP4 0000019c: SWAP3 0000019d: SWAP1 0000019e: DUP4 0000019f: ADD 000001a0: SWAP2 000001a1: DUP6 000001a2: ADD 000001a3: SWAP1 000001a4: DUP1 000001a5: DUP4 000001a6: DUP4 000001a7: PUSH1 0x00 000001a9: JUMPDEST 000001aa: DUP4 000001ab: DUP2 000001ac: LT 000001ad: ISZERO 000001ae: PUSH2 0x01c1 000001b1: JUMPI 000001b2: DUP2 000001b3: DUP2 000001b4: ADD 000001b5: MLOAD 000001b6: DUP4 000001b7: DUP3 000001b8: ADD 000001b9: MSTORE 000001ba: PUSH1 0x20 000001bc: ADD 000001bd: PUSH2 0x01a9 000001c0: JUMP 000001c1: JUMPDEST 000001c2: POP 000001c3: POP 000001c4: POP 000001c5: POP 000001c6: SWAP1 000001c7: POP 000001c8: SWAP1 000001c9: DUP2 000001ca: ADD 000001cb: SWAP1 000001cc: PUSH1 0x1f 000001ce: AND 000001cf: DUP1 000001d0: ISZERO 000001d1: PUSH2 0x01ee 000001d4: JUMPI 000001d5: DUP1 000001d6: DUP3 000001d7: SUB 000001d8: DUP1 000001d9: MLOAD 000001da: PUSH1 0x01 000001dc: DUP4 000001dd: PUSH1 0x20 000001df: SUB 000001e0: PUSH2 0x0100 000001e3: EXP 000001e4: SUB 000001e5: NOT 000001e6: AND 000001e7: DUP2 000001e8: MSTORE 000001e9: PUSH1 0x20 000001eb: ADD 000001ec: SWAP2 000001ed: POP 000001ee: JUMPDEST 000001ef: POP 000001f0: SWAP3 000001f1: POP 000001f2: POP 000001f3: POP 000001f4: PUSH1 0x40 000001f6: MLOAD 000001f7: DUP1 000001f8: SWAP2 000001f9: SUB 000001fa: SWAP1 000001fb: RETURN 000001fc: JUMPDEST 000001fd: CALLVALUE 000001fe: DUP1 000001ff: ISZERO 00000200: PUSH2 0x0208 00000203: JUMPI 00000204: PUSH1 0x00 00000206: DUP1 00000207: REVERT 00000208: JUMPDEST 00000209: POP 0000020a: PUSH2 0x0160 0000020d: PUSH1 0x04 0000020f: CALLDATALOAD 00000210: PUSH2 0x0898 00000213: JUMP 00000214: JUMPDEST 00000215: CALLVALUE 00000216: DUP1 00000217: ISZERO 00000218: PUSH2 0x0220 0000021b: JUMPI 0000021c: PUSH1 0x00 0000021e: DUP1 0000021f: REVERT 00000220: JUMPDEST 00000221: POP 00000222: PUSH2 0x0160 00000225: PUSH2 0x08cb 00000228: JUMP 00000229: JUMPDEST 0000022a: CALLVALUE 0000022b: DUP1 0000022c: ISZERO 0000022d: PUSH2 0x0235 00000230: JUMPI 00000231: PUSH1 0x00 00000233: DUP1 00000234: REVERT 00000235: JUMPDEST 00000236: POP 00000237: PUSH2 0x0160 0000023a: PUSH1 0x04 0000023c: CALLDATALOAD 0000023d: PUSH2 0x08d1 00000240: JUMP 00000241: JUMPDEST 00000242: CALLVALUE 00000243: DUP1 00000244: ISZERO 00000245: PUSH2 0x024d 00000248: JUMPI 00000249: PUSH1 0x00 0000024b: DUP1 0000024c: REVERT 0000024d: JUMPDEST 0000024e: POP 0000024f: PUSH2 0x0160 00000252: PUSH1 0x04 00000254: CALLDATALOAD 00000255: PUSH2 0x094a 00000258: JUMP 00000259: JUMPDEST 0000025a: CALLVALUE 0000025b: DUP1 0000025c: ISZERO 0000025d: PUSH2 0x0265 00000260: JUMPI 00000261: PUSH1 0x00 00000263: DUP1 00000264: REVERT 00000265: JUMPDEST 00000266: POP 00000267: PUSH2 0x026e 0000026a: PUSH2 0x0976 0000026d: JUMP 0000026e: JUMPDEST 0000026f: PUSH1 0x40 00000271: DUP1 00000272: MLOAD 00000273: PUSH1 0xff 00000275: SWAP1 00000276: SWAP3 00000277: AND 00000278: DUP3 00000279: MSTORE 0000027a: MLOAD 0000027b: SWAP1 0000027c: DUP2 0000027d: SWAP1 0000027e: SUB 0000027f: PUSH1 0x20 00000281: ADD 00000282: SWAP1 00000283: RETURN 00000284: JUMPDEST 00000285: CALLVALUE 00000286: DUP1 00000287: ISZERO 00000288: PUSH2 0x0290 0000028b: JUMPI 0000028c: PUSH1 0x00 0000028e: DUP1 0000028f: REVERT 00000290: JUMPDEST 00000291: POP 00000292: PUSH2 0x0299 00000295: PUSH2 0x097b 00000298: JUMP 00000299: JUMPDEST 0000029a: STOP 0000029b: JUMPDEST 0000029c: CALLVALUE 0000029d: DUP1 0000029e: ISZERO 0000029f: PUSH2 0x02a7 000002a2: JUMPI 000002a3: PUSH1 0x00 000002a5: DUP1 000002a6: REVERT 000002a7: JUMPDEST 000002a8: POP 000002a9: PUSH2 0x0160 000002ac: PUSH2 0x0a4e 000002af: JUMP 000002b0: JUMPDEST 000002b1: CALLVALUE 000002b2: DUP1 000002b3: ISZERO 000002b4: PUSH2 0x02bc 000002b7: JUMPI 000002b8: PUSH1 0x00 000002ba: DUP1 000002bb: REVERT 000002bc: JUMPDEST 000002bd: POP 000002be: PUSH2 0x0160 000002c1: PUSH2 0x0a89 000002c4: JUMP 000002c5: JUMPDEST 000002c6: CALLVALUE 000002c7: DUP1 000002c8: ISZERO 000002c9: PUSH2 0x02d1 000002cc: JUMPI 000002cd: PUSH1 0x00 000002cf: DUP1 000002d0: REVERT 000002d1: JUMPDEST 000002d2: POP 000002d3: PUSH2 0x0160 000002d6: PUSH1 0x04 000002d8: CALLDATALOAD 000002d9: ISZERO 000002da: ISZERO 000002db: PUSH2 0x0a8f 000002de: JUMP 000002df: JUMPDEST 000002e0: CALLVALUE 000002e1: DUP1 000002e2: ISZERO 000002e3: PUSH2 0x02eb 000002e6: JUMPI 000002e7: PUSH1 0x00 000002e9: DUP1 000002ea: REVERT 000002eb: JUMPDEST 000002ec: POP 000002ed: PUSH2 0x0160 000002f0: PUSH1 0x01 000002f2: PUSH1 0xa0 000002f4: PUSH1 0x02 000002f6: EXP 000002f7: SUB 000002f8: PUSH1 0x04 000002fa: CALLDATALOAD 000002fb: AND 000002fc: PUSH2 0x0acf 000002ff: JUMP 00000300: JUMPDEST 00000301: CALLVALUE 00000302: DUP1 00000303: ISZERO 00000304: PUSH2 0x030c 00000307: JUMPI 00000308: PUSH1 0x00 0000030a: DUP1 0000030b: REVERT 0000030c: JUMPDEST 0000030d: POP 0000030e: PUSH2 0x0160 00000311: PUSH2 0x0aea 00000314: JUMP 00000315: JUMPDEST 00000316: CALLVALUE 00000317: DUP1 00000318: ISZERO 00000319: PUSH2 0x0321 0000031c: JUMPI 0000031d: PUSH1 0x00 0000031f: DUP1 00000320: REVERT 00000321: JUMPDEST 00000322: POP 00000323: PUSH2 0x0160 00000326: PUSH2 0x0b1d 00000329: JUMP 0000032a: JUMPDEST 0000032b: CALLVALUE 0000032c: DUP1 0000032d: ISZERO 0000032e: PUSH2 0x0336 00000331: JUMPI 00000332: PUSH1 0x00 00000334: DUP1 00000335: REVERT 00000336: JUMPDEST 00000337: POP 00000338: PUSH2 0x0187 0000033b: PUSH2 0x0b2f 0000033e: JUMP 0000033f: JUMPDEST 00000340: PUSH2 0x0299 00000343: PUSH2 0x0b89 00000346: JUMP 00000347: JUMPDEST 00000348: CALLVALUE 00000349: DUP1 0000034a: ISZERO 0000034b: PUSH2 0x0353 0000034e: JUMPI 0000034f: PUSH1 0x00 00000351: DUP1 00000352: REVERT 00000353: JUMPDEST 00000354: POP 00000355: PUSH2 0x0160 00000358: PUSH1 0x04 0000035a: CALLDATALOAD 0000035b: PUSH2 0x0bf3 0000035e: JUMP 0000035f: JUMPDEST 00000360: CALLVALUE 00000361: DUP1 00000362: ISZERO 00000363: PUSH2 0x036b 00000366: JUMPI 00000367: PUSH1 0x00 00000369: DUP1 0000036a: REVERT 0000036b: JUMPDEST 0000036c: POP 0000036d: PUSH2 0x0160 00000370: PUSH1 0x01 00000372: PUSH1 0xa0 00000374: PUSH1 0x02 00000376: EXP 00000377: SUB 00000378: PUSH1 0x04 0000037a: CALLDATALOAD 0000037b: AND 0000037c: PUSH2 0x0c18 0000037f: JUMP 00000380: JUMPDEST 00000381: CALLVALUE 00000382: DUP1 00000383: ISZERO 00000384: PUSH2 0x038c 00000387: JUMPI 00000388: PUSH1 0x00 0000038a: DUP1 0000038b: REVERT 0000038c: JUMPDEST 0000038d: POP 0000038e: PUSH2 0x0299 00000391: PUSH1 0x04 00000393: CALLDATALOAD 00000394: PUSH2 0x0c2a 00000397: JUMP 00000398: JUMPDEST 00000399: CALLVALUE 0000039a: DUP1 0000039b: ISZERO 0000039c: PUSH2 0x03a4 0000039f: JUMPI 000003a0: PUSH1 0x00 000003a2: DUP1 000003a3: REVERT 000003a4: JUMPDEST 000003a5: POP 000003a6: PUSH2 0x0299 000003a9: PUSH2 0x0e8f 000003ac: JUMP 000003ad: JUMPDEST 000003ae: CALLVALUE 000003af: DUP1 000003b0: ISZERO 000003b1: PUSH2 0x03b9 000003b4: JUMPI 000003b5: PUSH1 0x00 000003b7: DUP1 000003b8: REVERT 000003b9: JUMPDEST 000003ba: POP 000003bb: PUSH2 0x0160 000003be: PUSH1 0x01 000003c0: PUSH1 0xa0 000003c2: PUSH1 0x02 000003c4: EXP 000003c5: SUB 000003c6: PUSH1 0x04 000003c8: CALLDATALOAD 000003c9: AND 000003ca: PUSH2 0x0ebc 000003cd: JUMP 000003ce: JUMPDEST 000003cf: PUSH2 0x0160 000003d2: PUSH1 0x01 000003d4: PUSH1 0xa0 000003d6: PUSH1 0x02 000003d8: EXP 000003d9: SUB 000003da: PUSH1 0x04 000003dc: CALLDATALOAD 000003dd: AND 000003de: PUSH2 0x0ece 000003e1: JUMP 000003e2: JUMPDEST 000003e3: CALLVALUE 000003e4: DUP1 000003e5: ISZERO 000003e6: PUSH2 0x03ee 000003e9: JUMPI 000003ea: PUSH1 0x00 000003ec: DUP1 000003ed: REVERT 000003ee: JUMPDEST 000003ef: POP 000003f0: PUSH2 0x0299 000003f3: PUSH2 0x0ee0 000003f6: JUMP 000003f7: JUMPDEST 000003f8: PUSH1 0x00 000003fa: DUP1 000003fb: PUSH1 0x00 000003fd: DUP1 000003fe: PUSH1 0x00 00000400: DUP1 00000401: PUSH1 0x00 00000403: DUP1 00000404: PUSH1 0x00 00000406: DUP1 00000407: PUSH1 0x00 00000409: CALLER 0000040a: SWAP10 0000040b: POP 0000040c: PUSH1 0x0a 0000040e: SWAP9 0000040f: POP 00000410: PUSH1 0x0a 00000412: SLOAD 00000413: PUSH2 0x2f62 00000416: ADD 00000417: NUMBER 00000418: LT 00000419: ISZERO 0000041a: PUSH2 0x0422 0000041d: JUMPI 0000041e: PUSH1 0x00 00000420: SWAP9 00000421: POP 00000422: JUMPDEST 00000423: PUSH2 0x0439 00000426: PUSH2 0x0432 00000429: DUP15 0000042a: DUP12 0000042b: PUSH1 0xff 0000042d: AND 0000042e: PUSH2 0x0f96 00000431: JUMP 00000432: JUMPDEST 00000433: PUSH1 0x64 00000435: PUSH2 0x0fcf 00000438: JUMP 00000439: JUMPDEST 0000043a: SWAP8 0000043b: POP 0000043c: PUSH2 0x0449 0000043f: PUSH2 0x0432 00000442: DUP10 00000443: PUSH1 0x21 00000445: PUSH2 0x0f96 00000448: JUMP 00000449: JUMPDEST 0000044a: SWAP7 0000044b: POP 0000044c: PUSH2 0x0459 0000044f: PUSH2 0x0432 00000452: DUP10 00000453: PUSH1 0x0a 00000455: PUSH2 0x0f96 00000458: JUMP 00000459: JUMPDEST 0000045a: SWAP6 0000045b: POP 0000045c: PUSH2 0x046e 0000045f: PUSH2 0x0468 00000462: DUP10 00000463: DUP10 00000464: PUSH2 0x0ff2 00000467: JUMP 00000468: JUMPDEST 00000469: DUP8 0000046a: PUSH2 0x0ff2 0000046d: JUMP 0000046e: JUMPDEST 0000046f: SWAP5 00000470: POP 00000471: PUSH2 0x047a 00000474: DUP14 00000475: DUP10 00000476: PUSH2 0x0ff2 00000479: JUMP 0000047a: JUMPDEST 0000047b: SWAP4 0000047c: POP 0000047d: PUSH2 0x0485 00000480: DUP5 00000481: PUSH2 0x094a 00000484: JUMP 00000485: JUMPDEST 00000486: SWAP3 00000487: POP 00000488: PUSH9 0x010000000000000000 00000492: DUP6 00000493: MUL 00000494: SWAP2 00000495: POP 00000496: PUSH1 0x00 00000498: DUP4 00000499: GT 0000049a: DUP1 0000049b: ISZERO 0000049c: PUSH2 0x04af 0000049f: JUMPI 000004a0: POP 000004a1: PUSH1 0x08 000004a3: SLOAD 000004a4: PUSH2 0x04ad 000004a7: DUP5 000004a8: DUP3 000004a9: PUSH2 0x1007 000004ac: JUMP 000004ad: JUMPDEST 000004ae: GT 000004af: JUMPDEST 000004b0: ISZERO 000004b1: ISZERO 000004b2: PUSH2 0x04ba 000004b5: JUMPI 000004b6: PUSH1 0x00 000004b8: DUP1 000004b9: REVERT 000004ba: JUMPDEST 000004bb: PUSH1 0x01 000004bd: PUSH1 0xa0 000004bf: PUSH1 0x02 000004c1: EXP 000004c2: SUB 000004c3: DUP13 000004c4: AND 000004c5: ISZERO 000004c6: DUP1 000004c7: ISZERO 000004c8: SWAP1 000004c9: PUSH2 0x04e4 000004cc: JUMPI 000004cd: POP 000004ce: DUP10 000004cf: PUSH1 0x01 000004d1: PUSH1 0xa0 000004d3: PUSH1 0x02 000004d5: EXP 000004d6: SUB 000004d7: AND 000004d8: DUP13 000004d9: PUSH1 0x01 000004db: PUSH1 0xa0 000004dd: PUSH1 0x02 000004df: EXP 000004e0: SUB 000004e1: AND 000004e2: EQ 000004e3: ISZERO 000004e4: JUMPDEST 000004e5: DUP1 000004e6: ISZERO 000004e7: PUSH2 0x050a 000004ea: JUMPI 000004eb: POP 000004ec: PUSH1 0x03 000004ee: SLOAD 000004ef: PUSH1 0x01 000004f1: PUSH1 0xa0 000004f3: PUSH1 0x02 000004f5: EXP 000004f6: SUB 000004f7: DUP14 000004f8: AND 000004f9: PUSH1 0x00 000004fb: SWAP1 000004fc: DUP2 000004fd: MSTORE 000004fe: PUSH1 0x04 00000500: PUSH1 0x20 00000502: MSTORE 00000503: PUSH1 0x40 00000505: SWAP1 00000506: KECCAK256 00000507: SLOAD 00000508: LT 00000509: ISZERO 0000050a: JUMPDEST 0000050b: ISZERO 0000050c: PUSH2 0x05a7 0000050f: JUMPI 00000510: PUSH1 0x01 00000512: PUSH1 0xa0 00000514: PUSH1 0x02 00000516: EXP 00000517: SUB 00000518: DUP13 00000519: AND 0000051a: PUSH1 0x00 0000051c: SWAP1 0000051d: DUP2 0000051e: MSTORE 0000051f: PUSH1 0x05 00000521: PUSH1 0x20 00000523: MSTORE 00000524: PUSH1 0x40 00000526: SWAP1 00000527: KECCAK256 00000528: SLOAD 00000529: PUSH2 0x0532 0000052c: SWAP1 0000052d: DUP9 0000052e: PUSH2 0x1007 00000531: JUMP 00000532: JUMPDEST 00000533: PUSH1 0x01 00000535: PUSH1 0xa0 00000537: PUSH1 0x02 00000539: EXP 0000053a: SUB 0000053b: DUP1 0000053c: DUP15 0000053d: AND 0000053e: PUSH1 0x00 00000540: DUP2 00000541: DUP2 00000542: MSTORE 00000543: PUSH1 0x05 00000545: PUSH1 0x20 00000547: MSTORE 00000548: PUSH1 0x40 0000054a: SWAP1 0000054b: KECCAK256 0000054c: SWAP3 0000054d: SWAP1 0000054e: SWAP3 0000054f: SSTORE 00000550: DUP12 00000551: AND 00000552: PUSH32 0x8032875b28d82ddbd303a9e4e5529d047a14ecb6290f80012a81b7e6227ff1ab 00000573: DUP16 00000574: DUP7 00000575: TIMESTAMP 00000576: PUSH2 0x057d 00000579: PUSH2 0x0aea 0000057c: JUMP 0000057d: JUMPDEST 0000057e: PUSH1 0x40 00000580: DUP1 00000581: MLOAD 00000582: SWAP5 00000583: DUP6 00000584: MSTORE 00000585: PUSH1 0x20 00000587: DUP6 00000588: ADD 00000589: SWAP4 0000058a: SWAP1 0000058b: SWAP4 0000058c: MSTORE 0000058d: DUP4 0000058e: DUP4 0000058f: ADD 00000590: SWAP2 00000591: SWAP1 00000592: SWAP2 00000593: MSTORE 00000594: PUSH1 0x60 00000596: DUP4 00000597: ADD 00000598: MSTORE 00000599: MLOAD 0000059a: SWAP1 0000059b: DUP2 0000059c: SWAP1 0000059d: SUB 0000059e: PUSH1 0x80 000005a0: ADD 000005a1: SWAP1 000005a2: LOG3 000005a3: PUSH2 0x066c 000005a6: JUMP 000005a7: JUMPDEST 000005a8: PUSH20 0x10d915c0b3e01090c7b5f80ef2d9cdb616283853 000005bd: PUSH1 0x00 000005bf: MSTORE 000005c0: PUSH1 0x05 000005c2: PUSH1 0x20 000005c4: MSTORE 000005c5: PUSH1 0x00 000005c7: DUP1 000005c8: MLOAD 000005c9: PUSH1 0x20 000005cb: PUSH2 0x101a 000005ce: DUP4 000005cf: CODECOPY 000005d0: DUP2 000005d1: MLOAD 000005d2: SWAP2 000005d3: MSTORE 000005d4: SLOAD 000005d5: PUSH2 0x05de 000005d8: SWAP1 000005d9: DUP9 000005da: PUSH2 0x1007 000005dd: JUMP 000005de: JUMPDEST 000005df: PUSH20 0x10d915c0b3e01090c7b5f80ef2d9cdb616283853 000005f4: PUSH1 0x00 000005f6: SWAP1 000005f7: DUP2 000005f8: MSTORE 000005f9: PUSH1 0x05 000005fb: PUSH1 0x20 000005fd: MSTORE 000005fe: PUSH1 0x00 00000600: DUP1 00000601: MLOAD 00000602: PUSH1 0x20 00000604: PUSH2 0x101a 00000607: DUP4 00000608: CODECOPY 00000609: DUP2 0000060a: MLOAD 0000060b: SWAP2 0000060c: MSTORE 0000060d: SWAP2 0000060e: SWAP1 0000060f: SWAP2 00000610: SSTORE 00000611: PUSH1 0x01 00000613: PUSH1 0xa0 00000615: PUSH1 0x02 00000617: EXP 00000618: SUB 00000619: DUP12 0000061a: AND 0000061b: PUSH32 0x8032875b28d82ddbd303a9e4e5529d047a14ecb6290f80012a81b7e6227ff1ab 0000063c: DUP16 0000063d: DUP7 0000063e: TIMESTAMP 0000063f: PUSH2 0x0646 00000642: PUSH2 0x0aea 00000645: JUMP 00000646: JUMPDEST 00000647: PUSH1 0x40 00000649: DUP1 0000064a: MLOAD 0000064b: SWAP5 0000064c: DUP6 0000064d: MSTORE 0000064e: PUSH1 0x20 00000650: DUP6 00000651: ADD 00000652: SWAP4 00000653: SWAP1 00000654: SWAP4 00000655: MSTORE 00000656: DUP4 00000657: DUP4 00000658: ADD 00000659: SWAP2 0000065a: SWAP1 0000065b: SWAP2 0000065c: MSTORE 0000065d: PUSH1 0x60 0000065f: DUP4 00000660: ADD 00000661: MSTORE 00000662: MLOAD 00000663: SWAP1 00000664: DUP2 00000665: SWAP1 00000666: SUB 00000667: PUSH1 0x80 00000669: ADD 0000066a: SWAP1 0000066b: LOG3 0000066c: JUMPDEST 0000066d: PUSH20 0x10d915c0b3e01090c7b5f80ef2d9cdb616283853 00000682: PUSH1 0x00 00000684: MSTORE 00000685: PUSH1 0x05 00000687: PUSH1 0x20 00000689: MSTORE 0000068a: PUSH1 0x00 0000068c: DUP1 0000068d: MLOAD 0000068e: PUSH1 0x20 00000690: PUSH2 0x101a 00000693: DUP4 00000694: CODECOPY 00000695: DUP2 00000696: MLOAD 00000697: SWAP2 00000698: MSTORE 00000699: SLOAD 0000069a: PUSH2 0x06a3 0000069d: SWAP1 0000069e: DUP8 0000069f: PUSH2 0x1007 000006a2: JUMP 000006a3: JUMPDEST 000006a4: PUSH20 0x10d915c0b3e01090c7b5f80ef2d9cdb616283853 000006b9: PUSH1 0x00 000006bb: SWAP1 000006bc: DUP2 000006bd: MSTORE 000006be: PUSH1 0x05 000006c0: PUSH1 0x20 000006c2: MSTORE 000006c3: PUSH1 0x00 000006c5: DUP1 000006c6: MLOAD 000006c7: PUSH1 0x20 000006c9: PUSH2 0x101a 000006cc: DUP4 000006cd: CODECOPY 000006ce: DUP2 000006cf: MLOAD 000006d0: SWAP2 000006d1: MSTORE 000006d2: SWAP2 000006d3: SWAP1 000006d4: SWAP2 000006d5: SSTORE 000006d6: PUSH1 0x08 000006d8: SLOAD 000006d9: GT 000006da: ISZERO 000006db: PUSH2 0x0737 000006de: JUMPI 000006df: PUSH2 0x06ea 000006e2: PUSH1 0x08 000006e4: SLOAD 000006e5: DUP5 000006e6: PUSH2 0x1007 000006e9: JUMP 000006ea: JUMPDEST 000006eb: PUSH1 0x08 000006ed: DUP2 000006ee: SWAP1 000006ef: SSTORE 000006f0: PUSH9 0x010000000000000000 000006fa: DUP7 000006fb: MUL 000006fc: DUP2 000006fd: ISZERO 000006fe: ISZERO 000006ff: PUSH2 0x0704 00000702: JUMPI 00000703: INVALID 00000704: JUMPDEST 00000705: PUSH1 0x09 00000707: DUP1 00000708: SLOAD 00000709: SWAP3 0000070a: SWAP1 0000070b: SWAP2 0000070c: DIV 0000070d: SWAP1 0000070e: SWAP2 0000070f: ADD 00000710: SWAP1 00000711: SSTORE 00000712: PUSH1 0x08 00000714: SLOAD 00000715: PUSH9 0x010000000000000000 0000071f: DUP7 00000720: MUL 00000721: DUP2 00000722: ISZERO 00000723: ISZERO 00000724: PUSH2 0x0729 00000727: JUMPI 00000728: INVALID 00000729: JUMPDEST 0000072a: DIV 0000072b: DUP4 0000072c: MUL 0000072d: DUP3 0000072e: SUB 0000072f: DUP3 00000730: SUB 00000731: SWAP2 00000732: POP 00000733: PUSH2 0x073d 00000736: JUMP 00000737: JUMPDEST 00000738: PUSH1 0x08 0000073a: DUP4 0000073b: SWAP1 0000073c: SSTORE 0000073d: JUMPDEST 0000073e: PUSH1 0x01 00000740: PUSH1 0xa0 00000742: PUSH1 0x02 00000744: EXP 00000745: SUB 00000746: DUP11 00000747: AND 00000748: PUSH1 0x00 0000074a: SWAP1 0000074b: DUP2 0000074c: MSTORE 0000074d: PUSH1 0x04 0000074f: PUSH1 0x20 00000751: MSTORE 00000752: PUSH1 0x40 00000754: SWAP1 00000755: KECCAK256 00000756: SLOAD 00000757: PUSH2 0x0760 0000075a: SWAP1 0000075b: DUP5 0000075c: PUSH2 0x1007 0000075f: JUMP 00000760: JUMPDEST 00000761: PUSH1 0x01 00000763: PUSH1 0xa0 00000765: PUSH1 0x02 00000767: EXP 00000768: SUB 00000769: DUP12 0000076a: AND 0000076b: PUSH1 0x00 0000076d: SWAP1 0000076e: DUP2 0000076f: MSTORE 00000770: PUSH1 0x04 00000772: PUSH1 0x20 00000774: SWAP1 00000775: DUP2 00000776: MSTORE 00000777: PUSH1 0x40 00000779: DUP1 0000077a: DUP4 0000077b: KECCAK256 0000077c: SWAP4 0000077d: SWAP1 0000077e: SWAP4 0000077f: SSTORE 00000780: PUSH1 0x09 00000782: SLOAD 00000783: PUSH1 0x06 00000785: DUP3 00000786: MSTORE 00000787: DUP4 00000788: DUP4 00000789: KECCAK256 0000078a: DUP1 0000078b: SLOAD 0000078c: SWAP2 0000078d: DUP9 0000078e: MUL 0000078f: DUP8 00000790: SWAP1 00000791: SUB 00000792: SWAP2 00000793: DUP3 00000794: ADD 00000795: SWAP1 00000796: SSTORE 00000797: CALLER 00000798: DUP4 00000799: MSTORE 0000079a: PUSH1 0x07 0000079c: SWAP1 0000079d: SWAP2 0000079e: MSTORE 0000079f: SWAP2 000007a0: SWAP1 000007a1: KECCAK256 000007a2: SLOAD 000007a3: SWAP1 000007a4: SWAP2 000007a5: POP 000007a6: ISZERO 000007a7: ISZERO 000007a8: PUSH2 0x07be 000007ab: JUMPI 000007ac: CALLER 000007ad: PUSH1 0x00 000007af: SWAP1 000007b0: DUP2 000007b1: MSTORE 000007b2: PUSH1 0x07 000007b4: PUSH1 0x20 000007b6: MSTORE 000007b7: PUSH1 0x40 000007b9: SWAP1 000007ba: KECCAK256 000007bb: NUMBER 000007bc: SWAP1 000007bd: SSTORE 000007be: JUMPDEST 000007bf: POP 000007c0: SWAP1 000007c1: SWAP12 000007c2: SWAP11 000007c3: POP 000007c4: POP 000007c5: POP 000007c6: POP 000007c7: POP 000007c8: POP 000007c9: POP 000007ca: POP 000007cb: POP 000007cc: POP 000007cd: POP 000007ce: JUMP 000007cf: JUMPDEST 000007d0: PUSH1 0x01 000007d2: PUSH1 0xa0 000007d4: PUSH1 0x02 000007d6: EXP 000007d7: SUB 000007d8: AND 000007d9: PUSH1 0x00 000007db: SWAP1 000007dc: DUP2 000007dd: MSTORE 000007de: PUSH1 0x06 000007e0: PUSH1 0x20 000007e2: SWAP1 000007e3: DUP2 000007e4: MSTORE 000007e5: PUSH1 0x40 000007e7: DUP1 000007e8: DUP4 000007e9: KECCAK256 000007ea: SLOAD 000007eb: PUSH1 0x04 000007ed: SWAP1 000007ee: SWAP3 000007ef: MSTORE 000007f0: SWAP1 000007f1: SWAP2 000007f2: KECCAK256 000007f3: SLOAD 000007f4: PUSH1 0x09 000007f6: SLOAD 000007f7: PUSH9 0x010000000000000000 00000801: SWAP2 00000802: MUL 00000803: SWAP2 00000804: SWAP1 00000805: SWAP2 00000806: SUB 00000807: DIV 00000808: SWAP1 00000809: JUMP 0000080a: JUMPDEST 0000080b: PUSH1 0x00 0000080d: DUP1 0000080e: SLOAD 0000080f: PUSH1 0x40 00000811: DUP1 00000812: MLOAD 00000813: PUSH1 0x20 00000815: PUSH1 0x02 00000817: PUSH1 0x01 00000819: DUP6 0000081a: AND 0000081b: ISZERO 0000081c: PUSH2 0x0100 0000081f: MUL 00000820: PUSH1 0x00 00000822: NOT 00000823: ADD 00000824: SWAP1 00000825: SWAP5 00000826: AND 00000827: SWAP4 00000828: SWAP1 00000829: SWAP4 0000082a: DIV 0000082b: PUSH1 0x1f 0000082d: DUP2 0000082e: ADD 0000082f: DUP5 00000830: SWAP1 00000831: DIV 00000832: DUP5 00000833: MUL 00000834: DUP3 00000835: ADD 00000836: DUP5 00000837: ADD 00000838: SWAP1 00000839: SWAP3 0000083a: MSTORE 0000083b: DUP2 0000083c: DUP2 0000083d: MSTORE 0000083e: SWAP3 0000083f: SWAP2 00000840: DUP4 00000841: ADD 00000842: DUP3 00000843: DUP3 00000844: DUP1 00000845: ISZERO 00000846: PUSH2 0x0890 00000849: JUMPI 0000084a: DUP1 0000084b: PUSH1 0x1f 0000084d: LT 0000084e: PUSH2 0x0865 00000851: JUMPI 00000852: PUSH2 0x0100 00000855: DUP1 00000856: DUP4 00000857: SLOAD 00000858: DIV 00000859: MUL 0000085a: DUP4 0000085b: MSTORE 0000085c: SWAP2 0000085d: PUSH1 0x20 0000085f: ADD 00000860: SWAP2 00000861: PUSH2 0x0890 00000864: JUMP 00000865: JUMPDEST 00000866: DUP3 00000867: ADD 00000868: SWAP2 00000869: SWAP1 0000086a: PUSH1 0x00 0000086c: MSTORE 0000086d: PUSH1 0x20 0000086f: PUSH1 0x00 00000871: KECCAK256 00000872: SWAP1 00000873: JUMPDEST 00000874: DUP2 00000875: SLOAD 00000876: DUP2 00000877: MSTORE 00000878: SWAP1 00000879: PUSH1 0x01 0000087b: ADD 0000087c: SWAP1 0000087d: PUSH1 0x20 0000087f: ADD 00000880: DUP1 00000881: DUP4 00000882: GT 00000883: PUSH2 0x0873 00000886: JUMPI 00000887: DUP3 00000888: SWAP1 00000889: SUB 0000088a: PUSH1 0x1f 0000088c: AND 0000088d: DUP3 0000088e: ADD 0000088f: SWAP2 00000890: JUMPDEST 00000891: POP 00000892: POP 00000893: POP 00000894: POP 00000895: POP 00000896: DUP2 00000897: JUMP 00000898: JUMPDEST 00000899: PUSH1 0x00 0000089b: DUP1 0000089c: DUP1 0000089d: DUP1 0000089e: PUSH2 0x08ab 000008a1: PUSH2 0x0432 000008a4: DUP7 000008a5: PUSH1 0x0a 000008a7: PUSH2 0x0f96 000008aa: JUMP 000008ab: JUMPDEST 000008ac: SWAP3 000008ad: POP 000008ae: PUSH2 0x08b7 000008b1: DUP6 000008b2: DUP5 000008b3: PUSH2 0x0ff2 000008b6: JUMP 000008b7: JUMPDEST 000008b8: SWAP2 000008b9: POP 000008ba: PUSH2 0x08c2 000008bd: DUP3 000008be: PUSH2 0x094a 000008c1: JUMP 000008c2: JUMPDEST 000008c3: SWAP6 000008c4: SWAP5 000008c5: POP 000008c6: POP 000008c7: POP 000008c8: POP 000008c9: POP 000008ca: JUMP 000008cb: JUMPDEST 000008cc: PUSH1 0x08 000008ce: SLOAD 000008cf: SWAP1 000008d0: JUMP 000008d1: JUMPDEST 000008d2: PUSH1 0x00 000008d4: DUP1 000008d5: PUSH1 0x00 000008d7: DUP1 000008d8: PUSH1 0x00 000008da: PUSH1 0x08 000008dc: SLOAD 000008dd: DUP7 000008de: GT 000008df: ISZERO 000008e0: ISZERO 000008e1: ISZERO 000008e2: PUSH2 0x08ea 000008e5: JUMPI 000008e6: PUSH1 0x00 000008e8: DUP1 000008e9: REVERT 000008ea: JUMPDEST 000008eb: PUSH2 0x08f3 000008ee: DUP7 000008ef: PUSH2 0x0bf3 000008f2: JUMP 000008f3: JUMPDEST 000008f4: PUSH1 0x02 000008f6: SLOAD 000008f7: CALLER 000008f8: PUSH1 0x00 000008fa: SWAP1 000008fb: DUP2 000008fc: MSTORE 000008fd: PUSH1 0x07 000008ff: PUSH1 0x20 00000901: MSTORE 00000902: PUSH1 0x40 00000904: SWAP1 00000905: KECCAK256 00000906: SLOAD 00000907: SWAP2 00000908: SWAP6 00000909: POP 0000090a: PUSH1 0x01 0000090c: SWAP5 0000090d: POP 0000090e: NUMBER 0000090f: PUSH4 0xffffffff 00000914: SWAP1 00000915: SWAP2 00000916: AND 00000917: SWAP1 00000918: SWAP2 00000919: ADD 0000091a: GT 0000091b: ISZERO 0000091c: PUSH2 0x0924 0000091f: JUMPI 00000920: PUSH1 0x14 00000922: SWAP3 00000923: POP 00000924: JUMPDEST 00000925: PUSH2 0x0934 00000928: PUSH2 0x0432 0000092b: DUP6 0000092c: DUP6 0000092d: PUSH1 0xff 0000092f: AND 00000930: PUSH2 0x0f96 00000933: JUMP 00000934: JUMPDEST 00000935: SWAP2 00000936: POP 00000937: PUSH2 0x0940 0000093a: DUP5 0000093b: DUP4 0000093c: PUSH2 0x0ff2 0000093f: JUMP 00000940: JUMPDEST 00000941: SWAP7 00000942: SWAP6 00000943: POP 00000944: POP 00000945: POP 00000946: POP 00000947: POP 00000948: POP 00000949: JUMP 0000094a: JUMPDEST 0000094b: PUSH1 0x00 0000094d: DUP1 0000094e: PUSH2 0x096f 00000951: PUSH2 0x0962 00000954: DUP5 00000955: PUSH8 0x0de0b6b3a7640000 0000095e: PUSH2 0x0f96 00000961: JUMP 00000962: JUMPDEST 00000963: PUSH7 0x038d7ea4c68000 0000096b: PUSH2 0x0fcf 0000096e: JUMP 0000096f: JUMPDEST 00000970: SWAP4 00000971: SWAP3 00000972: POP 00000973: POP 00000974: POP 00000975: JUMP 00000976: JUMPDEST 00000977: PUSH1 0x12 00000979: DUP2 0000097a: JUMP 0000097b: JUMPDEST 0000097c: PUSH1 0x00 0000097e: DUP1 0000097f: PUSH1 0x00 00000981: PUSH2 0x098a 00000984: PUSH1 0x01 00000986: PUSH2 0x0a8f 00000989: JUMP 0000098a: JUMPDEST 0000098b: GT 0000098c: PUSH2 0x0994 0000098f: JUMPI 00000990: PUSH1 0x00 00000992: DUP1 00000993: REVERT 00000994: JUMPDEST 00000995: CALLER 00000996: SWAP2 00000997: POP 00000998: PUSH2 0x09a1 0000099b: PUSH1 0x00 0000099d: PUSH2 0x0a8f 000009a0: JUMP 000009a1: JUMPDEST 000009a2: PUSH1 0x01 000009a4: PUSH1 0xa0 000009a6: PUSH1 0x02 000009a8: EXP 000009a9: SUB 000009aa: DUP4 000009ab: AND 000009ac: PUSH1 0x00 000009ae: DUP2 000009af: DUP2 000009b0: MSTORE 000009b1: PUSH1 0x06 000009b3: PUSH1 0x20 000009b5: SWAP1 000009b6: DUP2 000009b7: MSTORE 000009b8: PUSH1 0x40 000009ba: DUP1 000009bb: DUP4 000009bc: KECCAK256 000009bd: DUP1 000009be: SLOAD 000009bf: PUSH9 0x010000000000000000 000009c9: DUP8 000009ca: MUL 000009cb: ADD 000009cc: SWAP1 000009cd: SSTORE 000009ce: PUSH1 0x05 000009d0: SWAP1 000009d1: SWAP2 000009d2: MSTORE 000009d3: DUP1 000009d4: DUP3 000009d5: KECCAK256 000009d6: DUP1 000009d7: SLOAD 000009d8: SWAP1 000009d9: DUP4 000009da: SWAP1 000009db: SSTORE 000009dc: SWAP1 000009dd: MLOAD 000009de: SWAP4 000009df: ADD 000009e0: SWAP4 000009e1: POP 000009e2: SWAP1 000009e3: SWAP2 000009e4: DUP4 000009e5: ISZERO 000009e6: PUSH2 0x08fc 000009e9: MUL 000009ea: SWAP2 000009eb: DUP5 000009ec: SWAP2 000009ed: SWAP1 000009ee: DUP2 000009ef: DUP2 000009f0: DUP2 000009f1: DUP6 000009f2: DUP9 000009f3: DUP9 000009f4: CALL 000009f5: SWAP4 000009f6: POP 000009f7: POP 000009f8: POP 000009f9: POP 000009fa: ISZERO 000009fb: DUP1 000009fc: ISZERO 000009fd: PUSH2 0x0a0a 00000a00: JUMPI 00000a01: RETURNDATASIZE 00000a02: PUSH1 0x00 00000a04: DUP1 00000a05: RETURNDATACOPY 00000a06: RETURNDATASIZE 00000a07: PUSH1 0x00 00000a09: REVERT 00000a0a: JUMPDEST 00000a0b: POP 00000a0c: PUSH1 0x40 00000a0e: DUP1 00000a0f: MLOAD 00000a10: DUP3 00000a11: DUP2 00000a12: MSTORE 00000a13: SWAP1 00000a14: MLOAD 00000a15: PUSH1 0x01 00000a17: PUSH1 0xa0 00000a19: PUSH1 0x02 00000a1b: EXP 00000a1c: SUB 00000a1d: DUP5 00000a1e: AND 00000a1f: SWAP2 00000a20: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 00000a41: SWAP2 00000a42: SWAP1 00000a43: DUP2 00000a44: SWAP1 00000a45: SUB 00000a46: PUSH1 0x20 00000a48: ADD 00000a49: SWAP1 00000a4a: LOG2 00000a4b: POP 00000a4c: POP 00000a4d: JUMP 00000a4e: JUMPDEST 00000a4f: PUSH1 0x00 00000a51: DUP1 00000a52: PUSH1 0x00 00000a54: DUP1 00000a55: PUSH2 0x0a65 00000a58: PUSH8 0x0de0b6b3a7640000 00000a61: PUSH2 0x0bf3 00000a64: JUMP 00000a65: JUMPDEST 00000a66: SWAP3 00000a67: POP 00000a68: PUSH2 0x0a75 00000a6b: PUSH2 0x0432 00000a6e: DUP5 00000a6f: PUSH1 0x01 00000a71: PUSH2 0x0f96 00000a74: JUMP 00000a75: JUMPDEST 00000a76: SWAP2 00000a77: POP 00000a78: PUSH2 0x0a81 00000a7b: DUP4 00000a7c: DUP4 00000a7d: PUSH2 0x0ff2 00000a80: JUMP 00000a81: JUMPDEST 00000a82: SWAP5 00000a83: SWAP4 00000a84: POP 00000a85: POP 00000a86: POP 00000a87: POP 00000a88: JUMP 00000a89: JUMPDEST 00000a8a: PUSH1 0x03 00000a8c: SLOAD 00000a8d: DUP2 00000a8e: JUMP 00000a8f: JUMPDEST 00000a90: PUSH1 0x00 00000a92: CALLER 00000a93: DUP3 00000a94: PUSH2 0x0aa5 00000a97: JUMPI 00000a98: PUSH2 0x0aa0 00000a9b: DUP2 00000a9c: PUSH2 0x07cf 00000a9f: JUMP 00000aa0: JUMPDEST 00000aa1: PUSH2 0x096f 00000aa4: JUMP 00000aa5: JUMPDEST 00000aa6: PUSH1 0x01 00000aa8: PUSH1 0xa0 00000aaa: PUSH1 0x02 00000aac: EXP 00000aad: SUB 00000aae: DUP2 00000aaf: AND 00000ab0: PUSH1 0x00 00000ab2: SWAP1 00000ab3: DUP2 00000ab4: MSTORE 00000ab5: PUSH1 0x05 00000ab7: PUSH1 0x20 00000ab9: MSTORE 00000aba: PUSH1 0x40 00000abc: SWAP1 00000abd: KECCAK256 00000abe: SLOAD 00000abf: PUSH2 0x0ac7 00000ac2: DUP3 00000ac3: PUSH2 0x07cf 00000ac6: JUMP 00000ac7: JUMPDEST 00000ac8: ADD 00000ac9: SWAP4 00000aca: SWAP3 00000acb: POP 00000acc: POP 00000acd: POP 00000ace: JUMP 00000acf: JUMPDEST 00000ad0: PUSH1 0x01 00000ad2: PUSH1 0xa0 00000ad4: PUSH1 0x02 00000ad6: EXP 00000ad7: SUB 00000ad8: AND 00000ad9: PUSH1 0x00 00000adb: SWAP1 00000adc: DUP2 00000add: MSTORE 00000ade: PUSH1 0x04 00000ae0: PUSH1 0x20 00000ae2: MSTORE 00000ae3: PUSH1 0x40 00000ae5: SWAP1 00000ae6: KECCAK256 00000ae7: SLOAD 00000ae8: SWAP1 00000ae9: JUMP 00000aea: JUMPDEST 00000aeb: PUSH1 0x00 00000aed: DUP1 00000aee: PUSH1 0x00 00000af0: DUP1 00000af1: PUSH2 0x0b01 00000af4: PUSH8 0x0de0b6b3a7640000 00000afd: PUSH2 0x0bf3 00000b00: JUMP 00000b01: JUMPDEST 00000b02: SWAP3 00000b03: POP 00000b04: PUSH2 0x0b11 00000b07: PUSH2 0x0432 00000b0a: DUP5 00000b0b: PUSH1 0x0a 00000b0d: PUSH2 0x0f96 00000b10: JUMP 00000b11: JUMPDEST 00000b12: SWAP2 00000b13: POP 00000b14: PUSH2 0x0a81 00000b17: DUP4 00000b18: DUP4 00000b19: PUSH2 0x1007 00000b1c: JUMP 00000b1d: JUMPDEST 00000b1e: PUSH1 0x00 00000b20: CALLER 00000b21: PUSH2 0x0b29 00000b24: DUP2 00000b25: PUSH2 0x0acf 00000b28: JUMP 00000b29: JUMPDEST 00000b2a: SWAP2 00000b2b: POP 00000b2c: POP 00000b2d: SWAP1 00000b2e: JUMP 00000b2f: JUMPDEST 00000b30: PUSH1 0x01 00000b32: DUP1 00000b33: SLOAD 00000b34: PUSH1 0x40 00000b36: DUP1 00000b37: MLOAD 00000b38: PUSH1 0x20 00000b3a: PUSH1 0x02 00000b3c: DUP5 00000b3d: DUP7 00000b3e: AND 00000b3f: ISZERO 00000b40: PUSH2 0x0100 00000b43: MUL 00000b44: PUSH1 0x00 00000b46: NOT 00000b47: ADD 00000b48: SWAP1 00000b49: SWAP5 00000b4a: AND 00000b4b: SWAP4 00000b4c: SWAP1 00000b4d: SWAP4 00000b4e: DIV 00000b4f: PUSH1 0x1f 00000b51: DUP2 00000b52: ADD 00000b53: DUP5 00000b54: SWAP1 00000b55: DIV 00000b56: DUP5 00000b57: MUL 00000b58: DUP3 00000b59: ADD 00000b5a: DUP5 00000b5b: ADD 00000b5c: SWAP1 00000b5d: SWAP3 00000b5e: MSTORE 00000b5f: DUP2 00000b60: DUP2 00000b61: MSTORE 00000b62: SWAP3 00000b63: SWAP2 00000b64: DUP4 00000b65: ADD 00000b66: DUP3 00000b67: DUP3 00000b68: DUP1 00000b69: ISZERO 00000b6a: PUSH2 0x0890 00000b6d: JUMPI 00000b6e: DUP1 00000b6f: PUSH1 0x1f 00000b71: LT 00000b72: PUSH2 0x0865 00000b75: JUMPI 00000b76: PUSH2 0x0100 00000b79: DUP1 00000b7a: DUP4 00000b7b: SLOAD 00000b7c: DIV 00000b7d: MUL 00000b7e: DUP4 00000b7f: MSTORE 00000b80: SWAP2 00000b81: PUSH1 0x20 00000b83: ADD 00000b84: SWAP2 00000b85: PUSH2 0x0890 00000b88: JUMP 00000b89: JUMPDEST 00000b8a: PUSH1 0x00 00000b8c: PUSH1 0x08 00000b8e: SLOAD 00000b8f: PUSH9 0x010000000000000000 00000b99: CALLVALUE 00000b9a: MUL 00000b9b: DUP2 00000b9c: ISZERO 00000b9d: ISZERO 00000b9e: PUSH2 0x0ba3 00000ba1: JUMPI 00000ba2: INVALID 00000ba3: JUMPDEST 00000ba4: PUSH1 0x09 00000ba6: DUP1 00000ba7: SLOAD 00000ba8: SWAP3 00000ba9: SWAP1 00000baa: SWAP2 00000bab: DIV 00000bac: SWAP2 00000bad: DUP3 00000bae: ADD 00000baf: SWAP1 00000bb0: SSTORE 00000bb1: PUSH1 0x40 00000bb3: DUP1 00000bb4: MLOAD 00000bb5: CALLVALUE 00000bb6: DUP2 00000bb7: MSTORE 00000bb8: PUSH1 0x20 00000bba: DUP2 00000bbb: ADD 00000bbc: DUP4 00000bbd: SWAP1 00000bbe: MSTORE 00000bbf: DUP2 00000bc0: MLOAD 00000bc1: SWAP3 00000bc2: SWAP4 00000bc3: POP 00000bc4: CALLER 00000bc5: SWAP3 00000bc6: PUSH32 0x492bbc975155443892f7e88ae16227978acc1c9110a1592879c8f427e6c45280 00000be7: SWAP3 00000be8: SWAP2 00000be9: DUP2 00000bea: SWAP1 00000beb: SUB 00000bec: SWAP1 00000bed: SWAP2 00000bee: ADD 00000bef: SWAP1 00000bf0: LOG2 00000bf1: POP 00000bf2: JUMP 00000bf3: JUMPDEST 00000bf4: PUSH1 0x00 00000bf6: DUP1 00000bf7: PUSH2 0x096f 00000bfa: PUSH2 0x0c0a 00000bfd: DUP5 00000bfe: PUSH7 0x038d7ea4c68000 00000c06: PUSH2 0x0f96 00000c09: JUMP 00000c0a: JUMPDEST 00000c0b: PUSH8 0x0de0b6b3a7640000 00000c14: PUSH2 0x0fcf 00000c17: JUMP 00000c18: JUMPDEST 00000c19: PUSH1 0x05 00000c1b: PUSH1 0x20 00000c1d: MSTORE 00000c1e: PUSH1 0x00 00000c20: SWAP1 00000c21: DUP2 00000c22: MSTORE 00000c23: PUSH1 0x40 00000c25: SWAP1 00000c26: KECCAK256 00000c27: SLOAD 00000c28: DUP2 00000c29: JUMP 00000c2a: JUMPDEST 00000c2b: PUSH1 0x00 00000c2d: DUP1 00000c2e: PUSH1 0x00 00000c30: DUP1 00000c31: PUSH1 0x00 00000c33: DUP1 00000c34: PUSH1 0x00 00000c36: DUP1 00000c37: PUSH1 0x00 00000c39: PUSH2 0x0c40 00000c3c: PUSH2 0x0b1d 00000c3f: JUMP 00000c40: JUMPDEST 00000c41: GT 00000c42: PUSH2 0x0c4a 00000c45: JUMPI 00000c46: PUSH1 0x00 00000c48: DUP1 00000c49: REVERT 00000c4a: JUMPDEST 00000c4b: CALLER 00000c4c: PUSH1 0x00 00000c4e: DUP2 00000c4f: DUP2 00000c50: MSTORE 00000c51: PUSH1 0x04 00000c53: PUSH1 0x20 00000c55: MSTORE 00000c56: PUSH1 0x40 00000c58: SWAP1 00000c59: KECCAK256 00000c5a: SLOAD 00000c5b: SWAP1 00000c5c: SWAP9 00000c5d: POP 00000c5e: DUP10 00000c5f: GT 00000c60: ISZERO 00000c61: PUSH2 0x0c69 00000c64: JUMPI 00000c65: PUSH1 0x00 00000c67: DUP1 00000c68: REVERT 00000c69: JUMPDEST 00000c6a: DUP9 00000c6b: SWAP7 00000c6c: POP 00000c6d: PUSH2 0x0c75 00000c70: DUP8 00000c71: PUSH2 0x0bf3 00000c74: JUMP 00000c75: JUMPDEST 00000c76: PUSH1 0x02 00000c78: SLOAD 00000c79: CALLER 00000c7a: PUSH1 0x00 00000c7c: SWAP1 00000c7d: DUP2 00000c7e: MSTORE 00000c7f: PUSH1 0x07 00000c81: PUSH1 0x20 00000c83: MSTORE 00000c84: PUSH1 0x40 00000c86: SWAP1 00000c87: KECCAK256 00000c88: SLOAD 00000c89: SWAP2 00000c8a: SWAP8 00000c8b: POP 00000c8c: NUMBER 00000c8d: PUSH4 0xffffffff 00000c92: SWAP1 00000c93: SWAP2 00000c94: AND 00000c95: SWAP1 00000c96: SWAP2 00000c97: ADD 00000c98: GT 00000c99: ISZERO 00000c9a: PUSH2 0x0d55 00000c9d: JUMPI 00000c9e: PUSH1 0x14 00000ca0: SWAP5 00000ca1: POP 00000ca2: PUSH2 0x0cae 00000ca5: PUSH2 0x0432 00000ca8: DUP8 00000ca9: DUP8 00000caa: PUSH2 0x0f96 00000cad: JUMP 00000cae: JUMPDEST 00000caf: SWAP4 00000cb0: POP 00000cb1: PUSH2 0x0cbe 00000cb4: PUSH2 0x0432 00000cb7: DUP6 00000cb8: PUSH1 0x19 00000cba: PUSH2 0x0f96 00000cbd: JUMP 00000cbe: JUMPDEST 00000cbf: SWAP3 00000cc0: POP 00000cc1: PUSH2 0x0cca 00000cc4: DUP7 00000cc5: DUP6 00000cc6: PUSH2 0x0ff2 00000cc9: JUMP 00000cca: JUMPDEST 00000ccb: SWAP2 00000ccc: POP 00000ccd: PUSH2 0x0cd6 00000cd0: DUP5 00000cd1: DUP5 00000cd2: PUSH2 0x0ff2 00000cd5: JUMP 00000cd6: JUMPDEST 00000cd7: SWAP4 00000cd8: POP 00000cd9: PUSH2 0x0ce4 00000cdc: PUSH1 0x08 00000cde: SLOAD 00000cdf: DUP9 00000ce0: PUSH2 0x0ff2 00000ce3: JUMP 00000ce4: JUMPDEST 00000ce5: PUSH1 0x08 00000ce7: DUP2 00000ce8: SWAP1 00000ce9: SSTORE 00000cea: PUSH1 0x00 00000cec: LT 00000ced: ISZERO 00000cee: PUSH2 0x0d1d 00000cf1: JUMPI 00000cf2: PUSH2 0x0d15 00000cf5: PUSH1 0x09 00000cf7: SLOAD 00000cf8: PUSH1 0x08 00000cfa: SLOAD 00000cfb: PUSH9 0x010000000000000000 00000d05: DUP8 00000d06: MUL 00000d07: DUP2 00000d08: ISZERO 00000d09: ISZERO 00000d0a: PUSH2 0x0d0f 00000d0d: JUMPI 00000d0e: INVALID 00000d0f: JUMPDEST 00000d10: DIV 00000d11: PUSH2 0x1007 00000d14: JUMP 00000d15: JUMPDEST 00000d16: PUSH1 0x09 00000d18: SSTORE 00000d19: PUSH2 0x0d50 00000d1c: JUMP 00000d1d: JUMPDEST 00000d1e: PUSH20 0x10d915c0b3e01090c7b5f80ef2d9cdb616283853 00000d33: PUSH1 0x00 00000d35: MSTORE 00000d36: PUSH1 0x05 00000d38: PUSH1 0x20 00000d3a: MSTORE 00000d3b: PUSH1 0x00 00000d3d: DUP1 00000d3e: MLOAD 00000d3f: PUSH1 0x20 00000d41: PUSH2 0x101a 00000d44: DUP4 00000d45: CODECOPY 00000d46: DUP2 00000d47: MLOAD 00000d48: SWAP2 00000d49: MSTORE 00000d4a: DUP1 00000d4b: SLOAD 00000d4c: DUP6 00000d4d: ADD 00000d4e: SWAP1 00000d4f: SSTORE 00000d50: JUMPDEST 00000d51: PUSH2 0x0d84 00000d54: JUMP 00000d55: JUMPDEST 00000d56: PUSH1 0x01 00000d58: SWAP5 00000d59: POP 00000d5a: PUSH2 0x0d66 00000d5d: PUSH2 0x0432 00000d60: DUP8 00000d61: DUP8 00000d62: PUSH2 0x0f96 00000d65: JUMP 00000d66: JUMPDEST 00000d67: SWAP3 00000d68: POP 00000d69: PUSH2 0x0d72 00000d6c: DUP7 00000d6d: DUP5 00000d6e: PUSH2 0x0ff2 00000d71: JUMP 00000d72: JUMPDEST 00000d73: SWAP2 00000d74: POP 00000d75: PUSH2 0x0d80 00000d78: PUSH1 0x08 00000d7a: SLOAD 00000d7b: DUP9 00000d7c: PUSH2 0x0ff2 00000d7f: JUMP 00000d80: JUMPDEST 00000d81: PUSH1 0x08 00000d83: SSTORE 00000d84: JUMPDEST 00000d85: PUSH20 0x10d915c0b3e01090c7b5f80ef2d9cdb616283853 00000d9a: PUSH1 0x00 00000d9c: MSTORE 00000d9d: PUSH1 0x05 00000d9f: PUSH1 0x20 00000da1: MSTORE 00000da2: PUSH1 0x00 00000da4: DUP1 00000da5: MLOAD 00000da6: PUSH1 0x20 00000da8: PUSH2 0x101a 00000dab: DUP4 00000dac: CODECOPY 00000dad: DUP2 00000dae: MLOAD 00000daf: SWAP2 00000db0: MSTORE 00000db1: SLOAD 00000db2: PUSH2 0x0dbb 00000db5: SWAP1 00000db6: DUP5 00000db7: PUSH2 0x1007 00000dba: JUMP 00000dbb: JUMPDEST 00000dbc: PUSH1 0x00 00000dbe: DUP1 00000dbf: MLOAD 00000dc0: PUSH1 0x20 00000dc2: PUSH2 0x101a 00000dc5: DUP4 00000dc6: CODECOPY 00000dc7: DUP2 00000dc8: MLOAD 00000dc9: SWAP2 00000dca: MSTORE 00000dcb: SSTORE 00000dcc: PUSH1 0x01 00000dce: PUSH1 0xa0 00000dd0: PUSH1 0x02 00000dd2: EXP 00000dd3: SUB 00000dd4: DUP9 00000dd5: AND 00000dd6: PUSH1 0x00 00000dd8: SWAP1 00000dd9: DUP2 00000dda: MSTORE 00000ddb: PUSH1 0x04 00000ddd: PUSH1 0x20 00000ddf: MSTORE 00000de0: PUSH1 0x40 00000de2: SWAP1 00000de3: KECCAK256 00000de4: SLOAD 00000de5: PUSH2 0x0dee 00000de8: SWAP1 00000de9: DUP9 00000dea: PUSH2 0x0ff2 00000ded: JUMP 00000dee: JUMPDEST 00000def: PUSH1 0x01 00000df1: PUSH1 0xa0 00000df3: PUSH1 0x02 00000df5: EXP 00000df6: SUB 00000df7: DUP10 00000df8: AND 00000df9: PUSH1 0x00 00000dfb: DUP2 00000dfc: DUP2 00000dfd: MSTORE 00000dfe: PUSH1 0x04 00000e00: PUSH1 0x20 00000e02: SWAP1 00000e03: DUP2 00000e04: MSTORE 00000e05: PUSH1 0x40 00000e07: DUP1 00000e08: DUP4 00000e09: KECCAK256 00000e0a: SWAP5 00000e0b: SWAP1 00000e0c: SWAP5 00000e0d: SSTORE 00000e0e: PUSH1 0x09 00000e10: SLOAD 00000e11: PUSH1 0x06 00000e13: SWAP1 00000e14: SWAP2 00000e15: MSTORE 00000e16: SWAP3 00000e17: SWAP1 00000e18: KECCAK256 00000e19: DUP1 00000e1a: SLOAD 00000e1b: SWAP3 00000e1c: DUP11 00000e1d: MUL 00000e1e: PUSH9 0x010000000000000000 00000e28: DUP7 00000e29: MUL 00000e2a: ADD 00000e2b: SWAP3 00000e2c: DUP4 00000e2d: SWAP1 00000e2e: SUB 00000e2f: SWAP1 00000e30: SSTORE 00000e31: SWAP1 00000e32: SWAP2 00000e33: POP 00000e34: PUSH32 0x8d3a0130073dbd54ab6ac632c05946df540553d3b514c9f8165b4ab7f2b1805e 00000e55: DUP9 00000e56: DUP5 00000e57: TIMESTAMP 00000e58: PUSH2 0x0e5f 00000e5b: PUSH2 0x0aea 00000e5e: JUMP 00000e5f: JUMPDEST 00000e60: PUSH1 0x40 00000e62: DUP1 00000e63: MLOAD 00000e64: SWAP5 00000e65: DUP6 00000e66: MSTORE 00000e67: PUSH1 0x20 00000e69: DUP6 00000e6a: ADD 00000e6b: SWAP4 00000e6c: SWAP1 00000e6d: SWAP4 00000e6e: MSTORE 00000e6f: DUP4 00000e70: DUP4 00000e71: ADD 00000e72: SWAP2 00000e73: SWAP1 00000e74: SWAP2 00000e75: MSTORE 00000e76: PUSH1 0x60 00000e78: DUP4 00000e79: ADD 00000e7a: MSTORE 00000e7b: MLOAD 00000e7c: SWAP1 00000e7d: DUP2 00000e7e: SWAP1 00000e7f: SUB 00000e80: PUSH1 0x80 00000e82: ADD 00000e83: SWAP1 00000e84: LOG2 00000e85: POP 00000e86: POP 00000e87: POP 00000e88: POP 00000e89: POP 00000e8a: POP 00000e8b: POP 00000e8c: POP 00000e8d: POP 00000e8e: JUMP 00000e8f: JUMPDEST 00000e90: CALLER 00000e91: PUSH1 0x00 00000e93: DUP2 00000e94: DUP2 00000e95: MSTORE 00000e96: PUSH1 0x04 00000e98: PUSH1 0x20 00000e9a: MSTORE 00000e9b: PUSH1 0x40 00000e9d: DUP2 00000e9e: KECCAK256 00000e9f: SLOAD 00000ea0: SWAP1 00000ea1: DUP2 00000ea2: GT 00000ea3: ISZERO 00000ea4: PUSH2 0x0eb0 00000ea7: JUMPI 00000ea8: PUSH2 0x0eb0 00000eab: DUP2 00000eac: PUSH2 0x0c2a 00000eaf: JUMP 00000eb0: JUMPDEST 00000eb1: PUSH2 0x0eb8 00000eb4: PUSH2 0x097b 00000eb7: JUMP 00000eb8: JUMPDEST 00000eb9: POP 00000eba: POP 00000ebb: JUMP 00000ebc: JUMPDEST 00000ebd: PUSH1 0x07 00000ebf: PUSH1 0x20 00000ec1: MSTORE 00000ec2: PUSH1 0x00 00000ec4: SWAP1 00000ec5: DUP2 00000ec6: MSTORE 00000ec7: PUSH1 0x40 00000ec9: SWAP1 00000eca: KECCAK256 00000ecb: SLOAD 00000ecc: DUP2 00000ecd: JUMP 00000ece: JUMPDEST 00000ecf: PUSH1 0x00 00000ed1: PUSH2 0x0eda 00000ed4: CALLVALUE 00000ed5: DUP4 00000ed6: PUSH2 0x03f7 00000ed9: JUMP 00000eda: JUMPDEST 00000edb: SWAP3 00000edc: SWAP2 00000edd: POP 00000ede: POP 00000edf: JUMP 00000ee0: JUMPDEST 00000ee1: PUSH1 0x00 00000ee3: DUP1 00000ee4: PUSH1 0x00 00000ee6: DUP1 00000ee7: PUSH2 0x0ef0 00000eea: PUSH1 0x01 00000eec: PUSH2 0x0a8f 00000eef: JUMP 00000ef0: JUMPDEST 00000ef1: GT 00000ef2: PUSH2 0x0efa 00000ef5: JUMPI 00000ef6: PUSH1 0x00 00000ef8: DUP1 00000ef9: REVERT 00000efa: JUMPDEST 00000efb: PUSH2 0x0f04 00000efe: PUSH1 0x00 00000f00: PUSH2 0x0a8f 00000f03: JUMP 00000f04: JUMPDEST 00000f05: CALLER 00000f06: PUSH1 0x00 00000f08: DUP2 00000f09: DUP2 00000f0a: MSTORE 00000f0b: PUSH1 0x06 00000f0d: PUSH1 0x20 00000f0f: SWAP1 00000f10: DUP2 00000f11: MSTORE 00000f12: PUSH1 0x40 00000f14: DUP1 00000f15: DUP4 00000f16: KECCAK256 00000f17: DUP1 00000f18: SLOAD 00000f19: PUSH9 0x010000000000000000 00000f23: DUP8 00000f24: MUL 00000f25: ADD 00000f26: SWAP1 00000f27: SSTORE 00000f28: PUSH1 0x05 00000f2a: SWAP1 00000f2b: SWAP2 00000f2c: MSTORE 00000f2d: DUP2 00000f2e: KECCAK256 00000f2f: DUP1 00000f30: SLOAD 00000f31: SWAP1 00000f32: DUP3 00000f33: SWAP1 00000f34: SSTORE 00000f35: SWAP1 00000f36: SWAP3 00000f37: ADD 00000f38: SWAP5 00000f39: POP 00000f3a: SWAP3 00000f3b: POP 00000f3c: PUSH2 0x0f46 00000f3f: SWAP1 00000f40: DUP5 00000f41: SWAP1 00000f42: PUSH2 0x03f7 00000f45: JUMP 00000f46: JUMPDEST 00000f47: SWAP1 00000f48: POP 00000f49: DUP2 00000f4a: PUSH1 0x01 00000f4c: PUSH1 0xa0 00000f4e: PUSH1 0x02 00000f50: EXP 00000f51: SUB 00000f52: AND 00000f53: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458 00000f74: DUP5 00000f75: DUP4 00000f76: PUSH1 0x40 00000f78: MLOAD 00000f79: DUP1 00000f7a: DUP4 00000f7b: DUP2 00000f7c: MSTORE 00000f7d: PUSH1 0x20 00000f7f: ADD 00000f80: DUP3 00000f81: DUP2 00000f82: MSTORE 00000f83: PUSH1 0x20 00000f85: ADD 00000f86: SWAP3 00000f87: POP 00000f88: POP 00000f89: POP 00000f8a: PUSH1 0x40 00000f8c: MLOAD 00000f8d: DUP1 00000f8e: SWAP2 00000f8f: SUB 00000f90: SWAP1 00000f91: LOG2 00000f92: POP 00000f93: POP 00000f94: POP 00000f95: JUMP 00000f96: JUMPDEST 00000f97: PUSH1 0x00 00000f99: DUP1 00000f9a: DUP4 00000f9b: ISZERO 00000f9c: ISZERO 00000f9d: PUSH2 0x0fa9 00000fa0: JUMPI 00000fa1: PUSH1 0x00 00000fa3: SWAP2 00000fa4: POP 00000fa5: PUSH2 0x0fc8 00000fa8: JUMP 00000fa9: JUMPDEST 00000faa: POP 00000fab: DUP3 00000fac: DUP3 00000fad: MUL 00000fae: DUP3 00000faf: DUP5 00000fb0: DUP3 00000fb1: DUP2 00000fb2: ISZERO 00000fb3: ISZERO 00000fb4: PUSH2 0x0fb9 00000fb7: JUMPI 00000fb8: INVALID 00000fb9: JUMPDEST 00000fba: DIV 00000fbb: EQ 00000fbc: PUSH2 0x0fc4 00000fbf: JUMPI 00000fc0: PUSH1 0x00 00000fc2: DUP1 00000fc3: REVERT 00000fc4: JUMPDEST 00000fc5: DUP1 00000fc6: SWAP2 00000fc7: POP 00000fc8: JUMPDEST 00000fc9: POP 00000fca: SWAP3 00000fcb: SWAP2 00000fcc: POP 00000fcd: POP 00000fce: JUMP 00000fcf: JUMPDEST 00000fd0: PUSH1 0x00 00000fd2: DUP1 00000fd3: DUP1 00000fd4: DUP4 00000fd5: GT 00000fd6: PUSH2 0x0fde 00000fd9: JUMPI 00000fda: PUSH1 0x00 00000fdc: DUP1 00000fdd: REVERT 00000fde: JUMPDEST 00000fdf: DUP3 00000fe0: DUP5 00000fe1: DUP2 00000fe2: ISZERO 00000fe3: ISZERO 00000fe4: PUSH2 0x0fe9 00000fe7: JUMPI 00000fe8: INVALID 00000fe9: JUMPDEST 00000fea: DIV 00000feb: SWAP5 00000fec: SWAP4 00000fed: POP 00000fee: POP 00000fef: POP 00000ff0: POP 00000ff1: JUMP 00000ff2: JUMPDEST 00000ff3: PUSH1 0x00 00000ff5: DUP3 00000ff6: DUP3 00000ff7: GT 00000ff8: ISZERO 00000ff9: PUSH2 0x1001 00000ffc: JUMPI 00000ffd: PUSH1 0x00 00000fff: DUP1 00001000: REVERT 00001001: JUMPDEST 00001002: POP 00001003: SWAP1 00001004: SUB 00001005: SWAP1 00001006: JUMP 00001007: JUMPDEST 00001008: PUSH1 0x00 0000100a: DUP3 0000100b: DUP3 0000100c: ADD 0000100d: DUP4 0000100e: DUP2 0000100f: LT 00001010: ISZERO 00001011: PUSH2 0x0fc4 00001014: JUMPI 00001015: PUSH1 0x00 00001017: DUP1 00001018: REVERT 00001019: STOP 0000101a: RETURNDATASIZE 0000101b: UNKNOWN(0xA9) 0000101c: DELEGATECALL 0000101d: SWAP6 0000101e: SIGNEXTEND 0000101f: UNKNOWN(0xE0) 00001020: UNKNOWN(0xAD) 00001021: TIMESTAMP 00001022: TLOAD 00001023: SWAP1 00001024: UNKNOWN(0x4E) 00001025: UNKNOWN(0xB1) 00001026: UNKNOWN(0xE7) 00001027: LOG3 00001028: UNKNOWN(0x24) 00001029: CALLCODE 0000102a: SAR 0000102b: CALLER 0000102c: DUP4 0000102d: UNKNOWN(0xC7) 0000102e: UNKNOWN(0xB2) 0000102f: UNKNOWN(0xB2) 00001030: TIMESTAMP 00001031: JUMPI 00001032: UNKNOWN(0x0F) 00001033: PUSH25 0x21e9665dcdc9a165627a7a7230582009d9aeceb58464bed308 0000104d: UNKNOWN(0x2E) 0000104e: UNKNOWN(0xCD) 0000104f: PC 00001050: UNKNOWN(0xBC) 00001051: UNKNOWN(0x2E) 00001052: BLOCKHASH 00001053: UNKNOWN(0xB5) 00001054: PUSH26
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x0af7a93c4a43bab42e0dca426700c97bf1ec8ab6d7fc8b37ae2cf3fb2ad232c5
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x0af7a93c4a43bab42e0dca426700c97bf1ec8ab6d7fc8b37ae2cf3fb2ad232c5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2a9121c7",
"selector": "0x2a9121c7",
"calldata_variants": [
"0x2a9121c7",
"0x2a9121c70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4124,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x6d9c0bf8fb7dec10dc3b00dd596d122dd0f7b779c8d5bd7f9b18165858c3f29f
call_targets:
0xad0a61589f3559026f00888027beac31a5ac4625
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6d9c0bf8fb7dec10dc3b00dd596d122dd0f7b779c8d5bd7f9b18165858c3f29f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xad0a61589f3559026f00888027beac31a5ac4625"
],
"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": "0x2a9121c7",
"selector": "0x2a9121c7",
"calldata_variants": [
"0x2a9121c7",
"0x2a9121c70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2548,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4137,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x6d9c0bf8fb7dec10dc3b00dd596d122dd0f7b779c8d5bd7f9b18165858c3f29f
call_targets:
0xad0a61589f3559026f00888027beac31a5ac4625
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6d9c0bf8fb7dec10dc3b00dd596d122dd0f7b779c8d5bd7f9b18165858c3f29f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xad0a61589f3559026f00888027beac31a5ac4625"
],
"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": "0x2a9121c7",
"selector": "0x2a9121c7",
"calldata_variants": [
"0x2a9121c7",
"0x2a9121c70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2548,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4137,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|