019b477e-b709-7218-b42a-d0117470b50d
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 |
|---|---|---|---|---|
| 23209 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23210 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 66442 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 66443 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 66444 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 66445 | 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 0x0189 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 0x01a3 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x06fdde03 00000045: EQ 00000046: PUSH2 0x01d6 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x10d0ffdd 00000050: EQ 00000051: PUSH2 0x0260 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x18160ddd 0000005b: EQ 0000005c: PUSH2 0x0278 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x22609373 00000066: EQ 00000067: PUSH2 0x028d 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x275893a9 00000071: EQ 00000072: PUSH2 0x02a5 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x27defa1f 0000007c: EQ 0000007d: PUSH2 0x02c8 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x313ce567 00000087: EQ 00000088: PUSH2 0x02f1 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x3ccfd60b 00000092: EQ 00000093: PUSH2 0x031c 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x4b750334 0000009d: EQ 0000009e: PUSH2 0x0331 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x56d399e8 000000a8: EQ 000000a9: PUSH2 0x0346 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x688abbf7 000000b3: EQ 000000b4: PUSH2 0x035b 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x6b2f4632 000000be: EQ 000000bf: PUSH2 0x0375 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x70a08231 000000c9: EQ 000000ca: PUSH2 0x038a 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x8620410b 000000d4: EQ 000000d5: PUSH2 0x03ab 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0x8da5cb5b 000000df: EQ 000000e0: PUSH2 0x03c0 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0x949e8acd 000000ea: EQ 000000eb: PUSH2 0x03f1 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x95d89b41 000000f5: EQ 000000f6: PUSH2 0x0406 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0xa9059cbb 00000100: EQ 00000101: PUSH2 0x041b 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xb84c8246 0000010b: EQ 0000010c: PUSH2 0x043f 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0xbefc3e2b 00000116: EQ 00000117: PUSH2 0x0498 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0xc47f0027 00000121: EQ 00000122: PUSH2 0x04ad 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0xcaa877e7 0000012c: EQ 0000012d: PUSH2 0x0506 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0xe4849b32 00000137: EQ 00000138: PUSH2 0x0520 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0xe4fc6b6d 00000142: EQ 00000143: PUSH2 0x0538 00000146: JUMPI 00000147: DUP1 00000148: PUSH4 0xe9fad8ee 0000014d: EQ 0000014e: PUSH2 0x0540 00000151: JUMPI 00000152: DUP1 00000153: PUSH4 0xee2ac05f 00000158: EQ 00000159: PUSH2 0x0555 0000015c: JUMPI 0000015d: DUP1 0000015e: PUSH4 0xf088d547 00000163: EQ 00000164: PUSH2 0x056a 00000167: JUMPI 00000168: DUP1 00000169: PUSH4 0xf11745df 0000016e: EQ 0000016f: PUSH2 0x057e 00000172: JUMPI 00000173: DUP1 00000174: PUSH4 0xf2fde38b 00000179: EQ 0000017a: PUSH2 0x0593 0000017d: JUMPI 0000017e: DUP1 0000017f: PUSH4 0xfdb5a03e 00000184: EQ 00000185: PUSH2 0x05b4 00000188: JUMPI 00000189: JUMPDEST 0000018a: PUSH1 0x00 0000018c: SLOAD 0000018d: PUSH2 0x01a0 00000190: SWAP1 00000191: PUSH1 0x01 00000193: PUSH1 0xa0 00000195: PUSH1 0x02 00000197: EXP 00000198: SUB 00000199: AND 0000019a: CALLER 0000019b: CALLVALUE 0000019c: PUSH2 0x05c9 0000019f: JUMP 000001a0: JUMPDEST 000001a1: POP 000001a2: STOP 000001a3: JUMPDEST 000001a4: CALLVALUE 000001a5: DUP1 000001a6: ISZERO 000001a7: PUSH2 0x01af 000001aa: JUMPI 000001ab: PUSH1 0x00 000001ad: DUP1 000001ae: REVERT 000001af: JUMPDEST 000001b0: POP 000001b1: PUSH2 0x01c4 000001b4: PUSH1 0x01 000001b6: PUSH1 0xa0 000001b8: PUSH1 0x02 000001ba: EXP 000001bb: SUB 000001bc: PUSH1 0x04 000001be: CALLDATALOAD 000001bf: AND 000001c0: PUSH2 0x0c12 000001c3: JUMP 000001c4: JUMPDEST 000001c5: PUSH1 0x40 000001c7: DUP1 000001c8: MLOAD 000001c9: SWAP2 000001ca: DUP3 000001cb: MSTORE 000001cc: MLOAD 000001cd: SWAP1 000001ce: DUP2 000001cf: SWAP1 000001d0: SUB 000001d1: PUSH1 0x20 000001d3: ADD 000001d4: SWAP1 000001d5: RETURN 000001d6: JUMPDEST 000001d7: CALLVALUE 000001d8: DUP1 000001d9: ISZERO 000001da: PUSH2 0x01e2 000001dd: JUMPI 000001de: PUSH1 0x00 000001e0: DUP1 000001e1: REVERT 000001e2: JUMPDEST 000001e3: POP 000001e4: PUSH2 0x01eb 000001e7: PUSH2 0x0c48 000001ea: JUMP 000001eb: JUMPDEST 000001ec: PUSH1 0x40 000001ee: DUP1 000001ef: MLOAD 000001f0: PUSH1 0x20 000001f2: DUP1 000001f3: DUP3 000001f4: MSTORE 000001f5: DUP4 000001f6: MLOAD 000001f7: DUP2 000001f8: DUP4 000001f9: ADD 000001fa: MSTORE 000001fb: DUP4 000001fc: MLOAD 000001fd: SWAP2 000001fe: SWAP3 000001ff: DUP4 00000200: SWAP3 00000201: SWAP1 00000202: DUP4 00000203: ADD 00000204: SWAP2 00000205: DUP6 00000206: ADD 00000207: SWAP1 00000208: DUP1 00000209: DUP4 0000020a: DUP4 0000020b: PUSH1 0x00 0000020d: JUMPDEST 0000020e: DUP4 0000020f: DUP2 00000210: LT 00000211: ISZERO 00000212: PUSH2 0x0225 00000215: JUMPI 00000216: DUP2 00000217: DUP2 00000218: ADD 00000219: MLOAD 0000021a: DUP4 0000021b: DUP3 0000021c: ADD 0000021d: MSTORE 0000021e: PUSH1 0x20 00000220: ADD 00000221: PUSH2 0x020d 00000224: JUMP 00000225: JUMPDEST 00000226: POP 00000227: POP 00000228: POP 00000229: POP 0000022a: SWAP1 0000022b: POP 0000022c: SWAP1 0000022d: DUP2 0000022e: ADD 0000022f: SWAP1 00000230: PUSH1 0x1f 00000232: AND 00000233: DUP1 00000234: ISZERO 00000235: PUSH2 0x0252 00000238: JUMPI 00000239: DUP1 0000023a: DUP3 0000023b: SUB 0000023c: DUP1 0000023d: MLOAD 0000023e: PUSH1 0x01 00000240: DUP4 00000241: PUSH1 0x20 00000243: SUB 00000244: PUSH2 0x0100 00000247: EXP 00000248: SUB 00000249: NOT 0000024a: AND 0000024b: DUP2 0000024c: MSTORE 0000024d: PUSH1 0x20 0000024f: ADD 00000250: SWAP2 00000251: POP 00000252: JUMPDEST 00000253: POP 00000254: SWAP3 00000255: POP 00000256: POP 00000257: POP 00000258: PUSH1 0x40 0000025a: MLOAD 0000025b: DUP1 0000025c: SWAP2 0000025d: SUB 0000025e: SWAP1 0000025f: RETURN 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 0x01c4 00000271: PUSH1 0x04 00000273: CALLDATALOAD 00000274: PUSH2 0x0cd6 00000277: JUMP 00000278: JUMPDEST 00000279: CALLVALUE 0000027a: DUP1 0000027b: ISZERO 0000027c: PUSH2 0x0284 0000027f: JUMPI 00000280: PUSH1 0x00 00000282: DUP1 00000283: REVERT 00000284: JUMPDEST 00000285: POP 00000286: PUSH2 0x01c4 00000289: PUSH2 0x0cfe 0000028c: JUMP 0000028d: JUMPDEST 0000028e: CALLVALUE 0000028f: DUP1 00000290: ISZERO 00000291: PUSH2 0x0299 00000294: JUMPI 00000295: PUSH1 0x00 00000297: DUP1 00000298: REVERT 00000299: JUMPDEST 0000029a: POP 0000029b: PUSH2 0x01c4 0000029e: PUSH1 0x04 000002a0: CALLDATALOAD 000002a1: PUSH2 0x0d05 000002a4: JUMP 000002a5: JUMPDEST 000002a6: CALLVALUE 000002a7: DUP1 000002a8: ISZERO 000002a9: PUSH2 0x02b1 000002ac: JUMPI 000002ad: PUSH1 0x00 000002af: DUP1 000002b0: REVERT 000002b1: JUMPDEST 000002b2: POP 000002b3: PUSH2 0x02c6 000002b6: PUSH1 0x01 000002b8: PUSH1 0xa0 000002ba: PUSH1 0x02 000002bc: EXP 000002bd: SUB 000002be: PUSH1 0x04 000002c0: CALLDATALOAD 000002c1: AND 000002c2: PUSH2 0x0d2a 000002c5: JUMP 000002c6: JUMPDEST 000002c7: STOP 000002c8: JUMPDEST 000002c9: CALLVALUE 000002ca: DUP1 000002cb: ISZERO 000002cc: PUSH2 0x02d4 000002cf: JUMPI 000002d0: PUSH1 0x00 000002d2: DUP1 000002d3: REVERT 000002d4: JUMPDEST 000002d5: POP 000002d6: PUSH2 0x02dd 000002d9: PUSH2 0x0d70 000002dc: JUMP 000002dd: JUMPDEST 000002de: PUSH1 0x40 000002e0: DUP1 000002e1: MLOAD 000002e2: SWAP2 000002e3: ISZERO 000002e4: ISZERO 000002e5: DUP3 000002e6: MSTORE 000002e7: MLOAD 000002e8: SWAP1 000002e9: DUP2 000002ea: SWAP1 000002eb: SUB 000002ec: PUSH1 0x20 000002ee: ADD 000002ef: SWAP1 000002f0: RETURN 000002f1: JUMPDEST 000002f2: CALLVALUE 000002f3: DUP1 000002f4: ISZERO 000002f5: PUSH2 0x02fd 000002f8: JUMPI 000002f9: PUSH1 0x00 000002fb: DUP1 000002fc: REVERT 000002fd: JUMPDEST 000002fe: POP 000002ff: PUSH2 0x0306 00000302: PUSH2 0x0d79 00000305: JUMP 00000306: JUMPDEST 00000307: PUSH1 0x40 00000309: DUP1 0000030a: MLOAD 0000030b: PUSH1 0xff 0000030d: SWAP1 0000030e: SWAP3 0000030f: AND 00000310: DUP3 00000311: MSTORE 00000312: MLOAD 00000313: SWAP1 00000314: DUP2 00000315: SWAP1 00000316: SUB 00000317: PUSH1 0x20 00000319: ADD 0000031a: SWAP1 0000031b: RETURN 0000031c: JUMPDEST 0000031d: CALLVALUE 0000031e: DUP1 0000031f: ISZERO 00000320: PUSH2 0x0328 00000323: JUMPI 00000324: PUSH1 0x00 00000326: DUP1 00000327: REVERT 00000328: JUMPDEST 00000329: POP 0000032a: PUSH2 0x02c6 0000032d: PUSH2 0x0d7e 00000330: JUMP 00000331: JUMPDEST 00000332: CALLVALUE 00000333: DUP1 00000334: ISZERO 00000335: PUSH2 0x033d 00000338: JUMPI 00000339: PUSH1 0x00 0000033b: DUP1 0000033c: REVERT 0000033d: JUMPDEST 0000033e: POP 0000033f: PUSH2 0x01c4 00000342: PUSH2 0x0e4c 00000345: JUMP 00000346: JUMPDEST 00000347: CALLVALUE 00000348: DUP1 00000349: ISZERO 0000034a: PUSH2 0x0352 0000034d: JUMPI 0000034e: PUSH1 0x00 00000350: DUP1 00000351: REVERT 00000352: JUMPDEST 00000353: POP 00000354: PUSH2 0x01c4 00000357: PUSH2 0x0e78 0000035a: JUMP 0000035b: JUMPDEST 0000035c: CALLVALUE 0000035d: DUP1 0000035e: ISZERO 0000035f: PUSH2 0x0367 00000362: JUMPI 00000363: PUSH1 0x00 00000365: DUP1 00000366: REVERT 00000367: JUMPDEST 00000368: POP 00000369: PUSH2 0x01c4 0000036c: PUSH1 0x04 0000036e: CALLDATALOAD 0000036f: ISZERO 00000370: ISZERO 00000371: PUSH2 0x0e7e 00000374: JUMP 00000375: JUMPDEST 00000376: CALLVALUE 00000377: DUP1 00000378: ISZERO 00000379: PUSH2 0x0381 0000037c: JUMPI 0000037d: PUSH1 0x00 0000037f: DUP1 00000380: REVERT 00000381: JUMPDEST 00000382: POP 00000383: PUSH2 0x01c4 00000386: PUSH2 0x0ebf 00000389: JUMP 0000038a: JUMPDEST 0000038b: CALLVALUE 0000038c: DUP1 0000038d: ISZERO 0000038e: PUSH2 0x0396 00000391: JUMPI 00000392: PUSH1 0x00 00000394: DUP1 00000395: REVERT 00000396: JUMPDEST 00000397: POP 00000398: PUSH2 0x01c4 0000039b: PUSH1 0x01 0000039d: PUSH1 0xa0 0000039f: PUSH1 0x02 000003a1: EXP 000003a2: SUB 000003a3: PUSH1 0x04 000003a5: CALLDATALOAD 000003a6: AND 000003a7: PUSH2 0x0ec4 000003aa: JUMP 000003ab: JUMPDEST 000003ac: CALLVALUE 000003ad: DUP1 000003ae: ISZERO 000003af: PUSH2 0x03b7 000003b2: JUMPI 000003b3: PUSH1 0x00 000003b5: DUP1 000003b6: REVERT 000003b7: JUMPDEST 000003b8: POP 000003b9: PUSH2 0x01c4 000003bc: PUSH2 0x0edf 000003bf: JUMP 000003c0: JUMPDEST 000003c1: CALLVALUE 000003c2: DUP1 000003c3: ISZERO 000003c4: PUSH2 0x03cc 000003c7: JUMPI 000003c8: PUSH1 0x00 000003ca: DUP1 000003cb: REVERT 000003cc: JUMPDEST 000003cd: POP 000003ce: PUSH2 0x03d5 000003d1: PUSH2 0x0f0b 000003d4: JUMP 000003d5: JUMPDEST 000003d6: PUSH1 0x40 000003d8: DUP1 000003d9: MLOAD 000003da: PUSH1 0x01 000003dc: PUSH1 0xa0 000003de: PUSH1 0x02 000003e0: EXP 000003e1: SUB 000003e2: SWAP1 000003e3: SWAP3 000003e4: AND 000003e5: DUP3 000003e6: MSTORE 000003e7: MLOAD 000003e8: SWAP1 000003e9: DUP2 000003ea: SWAP1 000003eb: SUB 000003ec: PUSH1 0x20 000003ee: ADD 000003ef: SWAP1 000003f0: RETURN 000003f1: JUMPDEST 000003f2: CALLVALUE 000003f3: DUP1 000003f4: ISZERO 000003f5: PUSH2 0x03fd 000003f8: JUMPI 000003f9: PUSH1 0x00 000003fb: DUP1 000003fc: REVERT 000003fd: JUMPDEST 000003fe: POP 000003ff: PUSH2 0x01c4 00000402: PUSH2 0x0f1a 00000405: JUMP 00000406: JUMPDEST 00000407: CALLVALUE 00000408: DUP1 00000409: ISZERO 0000040a: PUSH2 0x0412 0000040d: JUMPI 0000040e: PUSH1 0x00 00000410: DUP1 00000411: REVERT 00000412: JUMPDEST 00000413: POP 00000414: PUSH2 0x01eb 00000417: PUSH2 0x0f2d 0000041a: JUMP 0000041b: JUMPDEST 0000041c: CALLVALUE 0000041d: DUP1 0000041e: ISZERO 0000041f: PUSH2 0x0427 00000422: JUMPI 00000423: PUSH1 0x00 00000425: DUP1 00000426: REVERT 00000427: JUMPDEST 00000428: POP 00000429: PUSH2 0x02dd 0000042c: PUSH1 0x01 0000042e: PUSH1 0xa0 00000430: PUSH1 0x02 00000432: EXP 00000433: SUB 00000434: PUSH1 0x04 00000436: CALLDATALOAD 00000437: AND 00000438: PUSH1 0x24 0000043a: CALLDATALOAD 0000043b: PUSH2 0x0f88 0000043e: JUMP 0000043f: JUMPDEST 00000440: CALLVALUE 00000441: DUP1 00000442: ISZERO 00000443: PUSH2 0x044b 00000446: JUMPI 00000447: PUSH1 0x00 00000449: DUP1 0000044a: REVERT 0000044b: JUMPDEST 0000044c: POP 0000044d: PUSH1 0x40 0000044f: DUP1 00000450: MLOAD 00000451: PUSH1 0x20 00000453: PUSH1 0x04 00000455: DUP1 00000456: CALLDATALOAD 00000457: DUP1 00000458: DUP3 00000459: ADD 0000045a: CALLDATALOAD 0000045b: PUSH1 0x1f 0000045d: DUP2 0000045e: ADD 0000045f: DUP5 00000460: SWAP1 00000461: DIV 00000462: DUP5 00000463: MUL 00000464: DUP6 00000465: ADD 00000466: DUP5 00000467: ADD 00000468: SWAP1 00000469: SWAP6 0000046a: MSTORE 0000046b: DUP5 0000046c: DUP5 0000046d: MSTORE 0000046e: PUSH2 0x02c6 00000471: SWAP5 00000472: CALLDATASIZE 00000473: SWAP5 00000474: SWAP3 00000475: SWAP4 00000476: PUSH1 0x24 00000478: SWAP4 00000479: SWAP3 0000047a: DUP5 0000047b: ADD 0000047c: SWAP2 0000047d: SWAP1 0000047e: DUP2 0000047f: SWAP1 00000480: DUP5 00000481: ADD 00000482: DUP4 00000483: DUP3 00000484: DUP1 00000485: DUP3 00000486: DUP5 00000487: CALLDATACOPY 00000488: POP 00000489: SWAP5 0000048a: SWAP8 0000048b: POP 0000048c: PUSH2 0x111f 0000048f: SWAP7 00000490: POP 00000491: POP 00000492: POP 00000493: POP 00000494: POP 00000495: POP 00000496: POP 00000497: JUMP 00000498: JUMPDEST 00000499: CALLVALUE 0000049a: DUP1 0000049b: ISZERO 0000049c: PUSH2 0x04a4 0000049f: JUMPI 000004a0: PUSH1 0x00 000004a2: DUP1 000004a3: REVERT 000004a4: JUMPDEST 000004a5: POP 000004a6: PUSH2 0x01c4 000004a9: PUSH2 0x114d 000004ac: JUMP 000004ad: JUMPDEST 000004ae: CALLVALUE 000004af: DUP1 000004b0: ISZERO 000004b1: PUSH2 0x04b9 000004b4: JUMPI 000004b5: PUSH1 0x00 000004b7: DUP1 000004b8: REVERT 000004b9: JUMPDEST 000004ba: POP 000004bb: PUSH1 0x40 000004bd: DUP1 000004be: MLOAD 000004bf: PUSH1 0x20 000004c1: PUSH1 0x04 000004c3: DUP1 000004c4: CALLDATALOAD 000004c5: DUP1 000004c6: DUP3 000004c7: ADD 000004c8: CALLDATALOAD 000004c9: PUSH1 0x1f 000004cb: DUP2 000004cc: ADD 000004cd: DUP5 000004ce: SWAP1 000004cf: DIV 000004d0: DUP5 000004d1: MUL 000004d2: DUP6 000004d3: ADD 000004d4: DUP5 000004d5: ADD 000004d6: SWAP1 000004d7: SWAP6 000004d8: MSTORE 000004d9: DUP5 000004da: DUP5 000004db: MSTORE 000004dc: PUSH2 0x02c6 000004df: SWAP5 000004e0: CALLDATASIZE 000004e1: SWAP5 000004e2: SWAP3 000004e3: SWAP4 000004e4: PUSH1 0x24 000004e6: SWAP4 000004e7: SWAP3 000004e8: DUP5 000004e9: ADD 000004ea: SWAP2 000004eb: SWAP1 000004ec: DUP2 000004ed: SWAP1 000004ee: DUP5 000004ef: ADD 000004f0: DUP4 000004f1: DUP3 000004f2: DUP1 000004f3: DUP3 000004f4: DUP5 000004f5: CALLDATACOPY 000004f6: POP 000004f7: SWAP5 000004f8: SWAP8 000004f9: POP 000004fa: PUSH2 0x1160 000004fd: SWAP7 000004fe: POP 000004ff: POP 00000500: POP 00000501: POP 00000502: POP 00000503: POP 00000504: POP 00000505: JUMP 00000506: JUMPDEST 00000507: PUSH2 0x01c4 0000050a: PUSH1 0x01 0000050c: PUSH1 0xa0 0000050e: PUSH1 0x02 00000510: EXP 00000511: SUB 00000512: PUSH1 0x04 00000514: CALLDATALOAD 00000515: DUP2 00000516: AND 00000517: SWAP1 00000518: PUSH1 0x24 0000051a: CALLDATALOAD 0000051b: AND 0000051c: PUSH2 0x118a 0000051f: JUMP 00000520: JUMPDEST 00000521: CALLVALUE 00000522: DUP1 00000523: ISZERO 00000524: PUSH2 0x052c 00000527: JUMPI 00000528: PUSH1 0x00 0000052a: DUP1 0000052b: REVERT 0000052c: JUMPDEST 0000052d: POP 0000052e: PUSH2 0x02c6 00000531: PUSH1 0x04 00000533: CALLDATALOAD 00000534: PUSH2 0x11a0 00000537: JUMP 00000538: JUMPDEST 00000539: PUSH2 0x01c4 0000053c: PUSH2 0x134b 0000053f: JUMP 00000540: JUMPDEST 00000541: CALLVALUE 00000542: DUP1 00000543: ISZERO 00000544: PUSH2 0x054c 00000547: JUMPI 00000548: PUSH1 0x00 0000054a: DUP1 0000054b: REVERT 0000054c: JUMPDEST 0000054d: POP 0000054e: PUSH2 0x02c6 00000551: PUSH2 0x141b 00000554: JUMP 00000555: JUMPDEST 00000556: CALLVALUE 00000557: DUP1 00000558: ISZERO 00000559: PUSH2 0x0561 0000055c: JUMPI 0000055d: PUSH1 0x00 0000055f: DUP1 00000560: REVERT 00000561: JUMPDEST 00000562: POP 00000563: PUSH2 0x01c4 00000566: PUSH2 0x1444 00000569: JUMP 0000056a: JUMPDEST 0000056b: PUSH2 0x01c4 0000056e: PUSH1 0x01 00000570: PUSH1 0xa0 00000572: PUSH1 0x02 00000574: EXP 00000575: SUB 00000576: PUSH1 0x04 00000578: CALLDATALOAD 00000579: AND 0000057a: PUSH2 0x144a 0000057d: JUMP 0000057e: JUMPDEST 0000057f: CALLVALUE 00000580: DUP1 00000581: ISZERO 00000582: PUSH2 0x058a 00000585: JUMPI 00000586: PUSH1 0x00 00000588: DUP1 00000589: REVERT 0000058a: JUMPDEST 0000058b: POP 0000058c: PUSH2 0x01c4 0000058f: PUSH2 0x1457 00000592: JUMP 00000593: JUMPDEST 00000594: CALLVALUE 00000595: DUP1 00000596: ISZERO 00000597: PUSH2 0x059f 0000059a: JUMPI 0000059b: PUSH1 0x00 0000059d: DUP1 0000059e: REVERT 0000059f: JUMPDEST 000005a0: POP 000005a1: PUSH2 0x02c6 000005a4: PUSH1 0x01 000005a6: PUSH1 0xa0 000005a8: PUSH1 0x02 000005aa: EXP 000005ab: SUB 000005ac: PUSH1 0x04 000005ae: CALLDATALOAD 000005af: AND 000005b0: PUSH2 0x145d 000005b3: JUMP 000005b4: JUMPDEST 000005b5: CALLVALUE 000005b6: DUP1 000005b7: ISZERO 000005b8: PUSH2 0x05c0 000005bb: JUMPI 000005bc: PUSH1 0x00 000005be: DUP1 000005bf: REVERT 000005c0: JUMPDEST 000005c1: POP 000005c2: PUSH2 0x02c6 000005c5: PUSH2 0x14f1 000005c8: JUMP 000005c9: JUMPDEST 000005ca: PUSH1 0x00 000005cc: DUP1 000005cd: PUSH1 0x00 000005cf: DUP1 000005d0: PUSH1 0x00 000005d2: DUP1 000005d3: PUSH1 0x00 000005d5: DUP1 000005d6: DUP9 000005d7: DUP11 000005d8: PUSH1 0x04 000005da: SLOAD 000005db: TIMESTAMP 000005dc: LT 000005dd: ISZERO 000005de: ISZERO 000005df: PUSH2 0x05ed 000005e2: JUMPI 000005e3: PUSH1 0x03 000005e5: DUP1 000005e6: SLOAD 000005e7: PUSH1 0xff 000005e9: NOT 000005ea: AND 000005eb: SWAP1 000005ec: SSTORE 000005ed: JUMPDEST 000005ee: PUSH1 0x03 000005f0: SLOAD 000005f1: PUSH1 0xff 000005f3: AND 000005f4: ISZERO 000005f5: PUSH2 0x094c 000005f8: JUMPI 000005f9: PUSH1 0x01 000005fb: PUSH1 0xa0 000005fd: PUSH1 0x02 000005ff: EXP 00000600: SUB 00000601: DUP2 00000602: AND 00000603: PUSH1 0x00 00000605: SWAP1 00000606: DUP2 00000607: MSTORE 00000608: PUSH1 0x01 0000060a: PUSH1 0x20 0000060c: DUP2 0000060d: SWAP1 0000060e: MSTORE 0000060f: PUSH1 0x40 00000611: SWAP1 00000612: SWAP2 00000613: KECCAK256 00000614: SLOAD 00000615: PUSH1 0xff 00000617: AND 00000618: ISZERO 00000619: ISZERO 0000061a: EQ 0000061b: DUP1 0000061c: ISZERO 0000061d: PUSH2 0x0649 00000620: JUMPI 00000621: POP 00000622: PUSH1 0x01 00000624: PUSH1 0xa0 00000626: PUSH1 0x02 00000628: EXP 00000629: SUB 0000062a: DUP2 0000062b: AND 0000062c: PUSH1 0x00 0000062e: SWAP1 0000062f: DUP2 00000630: MSTORE 00000631: PUSH1 0x02 00000633: PUSH1 0x20 00000635: MSTORE 00000636: PUSH1 0x40 00000638: SWAP1 00000639: KECCAK256 0000063a: SLOAD 0000063b: PUSH8 0x0de0b6b3a7640000 00000644: SWAP1 00000645: DUP4 00000646: ADD 00000647: GT 00000648: ISZERO 00000649: JUMPDEST 0000064a: ISZERO 0000064b: ISZERO 0000064c: PUSH2 0x0654 0000064f: JUMPI 00000650: PUSH1 0x00 00000652: DUP1 00000653: REVERT 00000654: JUMPDEST 00000655: PUSH1 0x01 00000657: PUSH1 0xa0 00000659: PUSH1 0x02 0000065b: EXP 0000065c: SUB 0000065d: DUP2 0000065e: AND 0000065f: PUSH1 0x00 00000661: SWAP1 00000662: DUP2 00000663: MSTORE 00000664: PUSH1 0x02 00000666: PUSH1 0x20 00000668: MSTORE 00000669: PUSH1 0x40 0000066b: SWAP1 0000066c: KECCAK256 0000066d: SLOAD 0000066e: PUSH2 0x0677 00000671: SWAP1 00000672: DUP4 00000673: PUSH2 0x15ac 00000676: JUMP 00000677: JUMPDEST 00000678: PUSH1 0x01 0000067a: PUSH1 0xa0 0000067c: PUSH1 0x02 0000067e: EXP 0000067f: SUB 00000680: DUP3 00000681: AND 00000682: PUSH1 0x00 00000684: SWAP1 00000685: DUP2 00000686: MSTORE 00000687: PUSH1 0x02 00000689: PUSH1 0x20 0000068b: MSTORE 0000068c: PUSH1 0x40 0000068e: SWAP1 0000068f: KECCAK256 00000690: SSTORE 00000691: PUSH2 0x0698 00000694: PUSH2 0x114d 00000697: JUMP 00000698: JUMPDEST 00000699: ISZERO 0000069a: ISZERO 0000069b: PUSH2 0x06a8 0000069e: JUMPI 0000069f: PUSH1 0x14 000006a1: DUP1 000006a2: SLOAD 000006a3: PUSH1 0x01 000006a5: ADD 000006a6: SWAP1 000006a7: SSTORE 000006a8: JUMPDEST 000006a9: CALLER 000006aa: PUSH1 0x00 000006ac: SWAP1 000006ad: DUP2 000006ae: MSTORE 000006af: PUSH1 0x10 000006b1: PUSH1 0x20 000006b3: MSTORE 000006b4: PUSH1 0x40 000006b6: SWAP1 000006b7: KECCAK256 000006b8: DUP1 000006b9: SLOAD 000006ba: DUP13 000006bb: ADD 000006bc: SWAP1 000006bd: SSTORE 000006be: PUSH1 0x07 000006c0: SLOAD 000006c1: PUSH2 0x06d6 000006c4: SWAP1 000006c5: PUSH2 0x06cf 000006c8: SWAP1 000006c9: DUP14 000006ca: SWAP1 000006cb: PUSH2 0x15b9 000006ce: JUMP 000006cf: JUMPDEST 000006d0: PUSH1 0x64 000006d2: PUSH2 0x15e2 000006d5: JUMP 000006d6: JUMPDEST 000006d7: SWAP9 000006d8: POP 000006d9: PUSH2 0x06e7 000006dc: PUSH2 0x06cf 000006df: DUP11 000006e0: PUSH1 0x0b 000006e2: SLOAD 000006e3: PUSH2 0x15b9 000006e6: JUMP 000006e7: JUMPDEST 000006e8: SWAP8 000006e9: POP 000006ea: PUSH2 0x06f8 000006ed: PUSH2 0x06cf 000006f0: DUP11 000006f1: PUSH1 0x0a 000006f3: SLOAD 000006f4: PUSH2 0x15b9 000006f7: JUMP 000006f8: JUMPDEST 000006f9: SWAP7 000006fa: POP 000006fb: PUSH2 0x070d 000006fe: DUP10 000006ff: PUSH2 0x0708 00000702: DUP10 00000703: DUP12 00000704: PUSH2 0x15ac 00000707: JUMP 00000708: JUMPDEST 00000709: PUSH2 0x15f7 0000070c: JUMP 0000070d: JUMPDEST 0000070e: SWAP6 0000070f: POP 00000710: PUSH2 0x0719 00000713: DUP12 00000714: DUP11 00000715: PUSH2 0x15f7 00000718: JUMP 00000719: JUMPDEST 0000071a: SWAP5 0000071b: POP 0000071c: PUSH1 0x40 0000071e: PUSH1 0x02 00000720: EXP 00000721: DUP7 00000722: MUL 00000723: SWAP4 00000724: POP 00000725: PUSH1 0x00 00000727: DUP6 00000728: GT 00000729: DUP1 0000072a: ISZERO 0000072b: PUSH2 0x073e 0000072e: JUMPI 0000072f: POP 00000730: PUSH1 0x11 00000732: SLOAD 00000733: PUSH2 0x073c 00000736: DUP7 00000737: DUP3 00000738: PUSH2 0x15ac 0000073b: JUMP 0000073c: JUMPDEST 0000073d: GT 0000073e: JUMPDEST 0000073f: ISZERO 00000740: ISZERO 00000741: PUSH2 0x0749 00000744: JUMPI 00000745: PUSH1 0x00 00000747: DUP1 00000748: REVERT 00000749: JUMPDEST 0000074a: PUSH1 0x0c 0000074c: SLOAD 0000074d: PUSH1 0x01 0000074f: PUSH1 0xa0 00000751: PUSH1 0x02 00000753: EXP 00000754: SUB 00000755: AND 00000756: PUSH1 0x00 00000758: SWAP1 00000759: DUP2 0000075a: MSTORE 0000075b: PUSH1 0x0e 0000075d: PUSH1 0x20 0000075f: MSTORE 00000760: PUSH1 0x40 00000762: SWAP1 00000763: KECCAK256 00000764: SLOAD 00000765: PUSH2 0x076e 00000768: SWAP1 00000769: DUP10 0000076a: PUSH2 0x15ac 0000076d: JUMP 0000076e: JUMPDEST 0000076f: PUSH1 0x0c 00000771: SLOAD 00000772: PUSH1 0x01 00000774: PUSH1 0xa0 00000776: PUSH1 0x02 00000778: EXP 00000779: SUB 0000077a: SWAP1 0000077b: DUP2 0000077c: AND 0000077d: PUSH1 0x00 0000077f: SWAP1 00000780: DUP2 00000781: MSTORE 00000782: PUSH1 0x0e 00000784: PUSH1 0x20 00000786: MSTORE 00000787: PUSH1 0x40 00000789: SWAP1 0000078a: KECCAK256 0000078b: SWAP2 0000078c: SWAP1 0000078d: SWAP2 0000078e: SSTORE 0000078f: DUP14 00000790: AND 00000791: ISZERO 00000792: DUP1 00000793: ISZERO 00000794: SWAP1 00000795: PUSH2 0x07b0 00000798: JUMPI 00000799: POP 0000079a: DUP12 0000079b: PUSH1 0x01 0000079d: PUSH1 0xa0 0000079f: PUSH1 0x02 000007a1: EXP 000007a2: SUB 000007a3: AND 000007a4: DUP14 000007a5: PUSH1 0x01 000007a7: PUSH1 0xa0 000007a9: PUSH1 0x02 000007ab: EXP 000007ac: SUB 000007ad: AND 000007ae: EQ 000007af: ISZERO 000007b0: JUMPDEST 000007b1: DUP1 000007b2: ISZERO 000007b3: PUSH2 0x07d6 000007b6: JUMPI 000007b7: POP 000007b8: PUSH1 0x13 000007ba: SLOAD 000007bb: PUSH1 0x01 000007bd: PUSH1 0xa0 000007bf: PUSH1 0x02 000007c1: EXP 000007c2: SUB 000007c3: DUP15 000007c4: AND 000007c5: PUSH1 0x00 000007c7: SWAP1 000007c8: DUP2 000007c9: MSTORE 000007ca: PUSH1 0x0d 000007cc: PUSH1 0x20 000007ce: MSTORE 000007cf: PUSH1 0x40 000007d1: SWAP1 000007d2: KECCAK256 000007d3: SLOAD 000007d4: LT 000007d5: ISZERO 000007d6: JUMPDEST 000007d7: ISZERO 000007d8: PUSH2 0x081c 000007db: JUMPI 000007dc: PUSH1 0x01 000007de: PUSH1 0xa0 000007e0: PUSH1 0x02 000007e2: EXP 000007e3: SUB 000007e4: DUP14 000007e5: AND 000007e6: PUSH1 0x00 000007e8: SWAP1 000007e9: DUP2 000007ea: MSTORE 000007eb: PUSH1 0x0e 000007ed: PUSH1 0x20 000007ef: MSTORE 000007f0: PUSH1 0x40 000007f2: SWAP1 000007f3: KECCAK256 000007f4: SLOAD 000007f5: PUSH2 0x07fe 000007f8: SWAP1 000007f9: DUP9 000007fa: PUSH2 0x15ac 000007fd: JUMP 000007fe: JUMPDEST 000007ff: PUSH1 0x01 00000801: PUSH1 0xa0 00000803: PUSH1 0x02 00000805: EXP 00000806: SUB 00000807: DUP15 00000808: AND 00000809: PUSH1 0x00 0000080b: SWAP1 0000080c: DUP2 0000080d: MSTORE 0000080e: PUSH1 0x0e 00000810: PUSH1 0x20 00000812: MSTORE 00000813: PUSH1 0x40 00000815: SWAP1 00000816: KECCAK256 00000817: SSTORE 00000818: PUSH2 0x0832 0000081b: JUMP 0000081c: JUMPDEST 0000081d: PUSH2 0x0826 00000820: DUP7 00000821: DUP9 00000822: PUSH2 0x15ac 00000825: JUMP 00000826: JUMPDEST 00000827: SWAP6 00000828: POP 00000829: PUSH1 0x40 0000082b: PUSH1 0x02 0000082d: EXP 0000082e: DUP7 0000082f: MUL 00000830: SWAP4 00000831: POP 00000832: JUMPDEST 00000833: PUSH1 0x00 00000835: PUSH1 0x11 00000837: SLOAD 00000838: GT 00000839: ISZERO 0000083a: PUSH2 0x088c 0000083d: JUMPI 0000083e: PUSH2 0x0849 00000841: PUSH1 0x11 00000843: SLOAD 00000844: DUP7 00000845: PUSH2 0x15ac 00000848: JUMP 00000849: JUMPDEST 0000084a: PUSH1 0x11 0000084c: DUP2 0000084d: SWAP1 0000084e: SSTORE 0000084f: PUSH1 0x40 00000851: PUSH1 0x02 00000853: EXP 00000854: DUP8 00000855: MUL 00000856: DUP2 00000857: ISZERO 00000858: ISZERO 00000859: PUSH2 0x085e 0000085c: JUMPI 0000085d: INVALID 0000085e: JUMPDEST 0000085f: PUSH1 0x12 00000861: DUP1 00000862: SLOAD 00000863: SWAP3 00000864: SWAP1 00000865: SWAP2 00000866: DIV 00000867: SWAP1 00000868: SWAP2 00000869: ADD 0000086a: SWAP1 0000086b: SSTORE 0000086c: PUSH1 0x11 0000086e: SLOAD 0000086f: PUSH1 0x40 00000871: PUSH1 0x02 00000873: EXP 00000874: DUP8 00000875: MUL 00000876: DUP2 00000877: ISZERO 00000878: ISZERO 00000879: PUSH2 0x087e 0000087c: JUMPI 0000087d: INVALID 0000087e: JUMPDEST 0000087f: DIV 00000880: DUP6 00000881: MUL 00000882: DUP5 00000883: SUB 00000884: DUP5 00000885: SUB 00000886: SWAP4 00000887: POP 00000888: PUSH2 0x0892 0000088b: JUMP 0000088c: JUMPDEST 0000088d: PUSH1 0x11 0000088f: DUP6 00000890: SWAP1 00000891: SSTORE 00000892: JUMPDEST 00000893: PUSH1 0x01 00000895: PUSH1 0xa0 00000897: PUSH1 0x02 00000899: EXP 0000089a: SUB 0000089b: DUP13 0000089c: AND 0000089d: PUSH1 0x00 0000089f: SWAP1 000008a0: DUP2 000008a1: MSTORE 000008a2: PUSH1 0x0d 000008a4: PUSH1 0x20 000008a6: MSTORE 000008a7: PUSH1 0x40 000008a9: SWAP1 000008aa: KECCAK256 000008ab: SLOAD 000008ac: PUSH2 0x08b5 000008af: SWAP1 000008b0: DUP7 000008b1: PUSH2 0x15ac 000008b4: JUMP 000008b5: JUMPDEST 000008b6: PUSH1 0x01 000008b8: PUSH1 0xa0 000008ba: PUSH1 0x02 000008bc: EXP 000008bd: SUB 000008be: DUP1 000008bf: DUP15 000008c0: AND 000008c1: PUSH1 0x00 000008c3: DUP2 000008c4: DUP2 000008c5: MSTORE 000008c6: PUSH1 0x0d 000008c8: PUSH1 0x20 000008ca: SWAP1 000008cb: DUP2 000008cc: MSTORE 000008cd: PUSH1 0x40 000008cf: DUP1 000008d0: DUP4 000008d1: KECCAK256 000008d2: SWAP6 000008d3: SWAP1 000008d4: SWAP6 000008d5: SSTORE 000008d6: PUSH1 0x12 000008d8: SLOAD 000008d9: PUSH1 0x0f 000008db: SWAP1 000008dc: SWAP2 000008dd: MSTORE 000008de: SWAP4 000008df: SWAP1 000008e0: KECCAK256 000008e1: DUP1 000008e2: SLOAD 000008e3: SWAP4 000008e4: DUP10 000008e5: MUL 000008e6: DUP9 000008e7: SWAP1 000008e8: SUB 000008e9: SWAP4 000008ea: DUP5 000008eb: ADD 000008ec: SWAP1 000008ed: SSTORE 000008ee: SWAP2 000008ef: SWAP5 000008f0: POP 000008f1: DUP15 000008f2: AND 000008f3: SWAP1 000008f4: PUSH32 0x8032875b28d82ddbd303a9e4e5529d047a14ecb6290f80012a81b7e6227ff1ab 00000915: DUP14 00000916: DUP9 00000917: TIMESTAMP 00000918: PUSH2 0x091f 0000091b: PUSH2 0x0edf 0000091e: JUMP 0000091f: JUMPDEST 00000920: PUSH1 0x40 00000922: DUP1 00000923: MLOAD 00000924: SWAP5 00000925: DUP6 00000926: MSTORE 00000927: PUSH1 0x20 00000929: DUP6 0000092a: ADD 0000092b: SWAP4 0000092c: SWAP1 0000092d: SWAP4 0000092e: MSTORE 0000092f: DUP4 00000930: DUP4 00000931: ADD 00000932: SWAP2 00000933: SWAP1 00000934: SWAP2 00000935: MSTORE 00000936: PUSH1 0x60 00000938: DUP4 00000939: ADD 0000093a: MSTORE 0000093b: MLOAD 0000093c: SWAP1 0000093d: DUP2 0000093e: SWAP1 0000093f: SUB 00000940: PUSH1 0x80 00000942: ADD 00000943: SWAP1 00000944: LOG3 00000945: DUP5 00000946: SWAP10 00000947: POP 00000948: PUSH2 0x0c02 0000094b: JUMP 0000094c: JUMPDEST 0000094d: PUSH1 0x03 0000094f: DUP1 00000950: SLOAD 00000951: PUSH1 0xff 00000953: NOT 00000954: AND 00000955: SWAP1 00000956: SSTORE 00000957: PUSH2 0x095e 0000095a: PUSH2 0x114d 0000095d: JUMP 0000095e: JUMPDEST 0000095f: ISZERO 00000960: ISZERO 00000961: PUSH2 0x096e 00000964: JUMPI 00000965: PUSH1 0x14 00000967: DUP1 00000968: SLOAD 00000969: PUSH1 0x01 0000096b: ADD 0000096c: SWAP1 0000096d: SSTORE 0000096e: JUMPDEST 0000096f: CALLER 00000970: PUSH1 0x00 00000972: SWAP1 00000973: DUP2 00000974: MSTORE 00000975: PUSH1 0x10 00000977: PUSH1 0x20 00000979: MSTORE 0000097a: PUSH1 0x40 0000097c: SWAP1 0000097d: KECCAK256 0000097e: DUP1 0000097f: SLOAD 00000980: DUP13 00000981: ADD 00000982: SWAP1 00000983: SSTORE 00000984: PUSH1 0x07 00000986: SLOAD 00000987: PUSH2 0x0995 0000098a: SWAP1 0000098b: PUSH2 0x06cf 0000098e: SWAP1 0000098f: DUP14 00000990: SWAP1 00000991: PUSH2 0x15b9 00000994: JUMP 00000995: JUMPDEST 00000996: SWAP9 00000997: POP 00000998: PUSH2 0x09a6 0000099b: PUSH2 0x06cf 0000099e: DUP11 0000099f: PUSH1 0x0b 000009a1: SLOAD 000009a2: PUSH2 0x15b9 000009a5: JUMP 000009a6: JUMPDEST 000009a7: SWAP8 000009a8: POP 000009a9: PUSH2 0x09b7 000009ac: PUSH2 0x06cf 000009af: DUP11 000009b0: PUSH1 0x0a 000009b2: SLOAD 000009b3: PUSH2 0x15b9 000009b6: JUMP 000009b7: JUMPDEST 000009b8: SWAP7 000009b9: POP 000009ba: PUSH2 0x09c7 000009bd: DUP10 000009be: PUSH2 0x0708 000009c1: DUP10 000009c2: DUP12 000009c3: PUSH2 0x15ac 000009c6: JUMP 000009c7: JUMPDEST 000009c8: SWAP6 000009c9: POP 000009ca: PUSH2 0x09d3 000009cd: DUP12 000009ce: DUP11 000009cf: PUSH2 0x15f7 000009d2: JUMP 000009d3: JUMPDEST 000009d4: SWAP5 000009d5: POP 000009d6: PUSH1 0x40 000009d8: PUSH1 0x02 000009da: EXP 000009db: DUP7 000009dc: MUL 000009dd: SWAP4 000009de: POP 000009df: PUSH1 0x00 000009e1: DUP6 000009e2: GT 000009e3: DUP1 000009e4: ISZERO 000009e5: PUSH2 0x09f8 000009e8: JUMPI 000009e9: POP 000009ea: PUSH1 0x11 000009ec: SLOAD 000009ed: PUSH2 0x09f6 000009f0: DUP7 000009f1: DUP3 000009f2: PUSH2 0x15ac 000009f5: JUMP 000009f6: JUMPDEST 000009f7: GT 000009f8: JUMPDEST 000009f9: ISZERO 000009fa: ISZERO 000009fb: PUSH2 0x0a03 000009fe: JUMPI 000009ff: PUSH1 0x00 00000a01: DUP1 00000a02: REVERT 00000a03: JUMPDEST 00000a04: PUSH1 0x0c 00000a06: SLOAD 00000a07: PUSH1 0x01 00000a09: PUSH1 0xa0 00000a0b: PUSH1 0x02 00000a0d: EXP 00000a0e: SUB 00000a0f: AND 00000a10: PUSH1 0x00 00000a12: SWAP1 00000a13: DUP2 00000a14: MSTORE 00000a15: PUSH1 0x0e 00000a17: PUSH1 0x20 00000a19: MSTORE 00000a1a: PUSH1 0x40 00000a1c: SWAP1 00000a1d: KECCAK256 00000a1e: SLOAD 00000a1f: PUSH2 0x0a28 00000a22: SWAP1 00000a23: DUP10 00000a24: PUSH2 0x15ac 00000a27: JUMP 00000a28: JUMPDEST 00000a29: PUSH1 0x0c 00000a2b: SLOAD 00000a2c: PUSH1 0x01 00000a2e: PUSH1 0xa0 00000a30: PUSH1 0x02 00000a32: EXP 00000a33: SUB 00000a34: SWAP1 00000a35: DUP2 00000a36: AND 00000a37: PUSH1 0x00 00000a39: SWAP1 00000a3a: DUP2 00000a3b: MSTORE 00000a3c: PUSH1 0x0e 00000a3e: PUSH1 0x20 00000a40: MSTORE 00000a41: PUSH1 0x40 00000a43: SWAP1 00000a44: KECCAK256 00000a45: SWAP2 00000a46: SWAP1 00000a47: SWAP2 00000a48: SSTORE 00000a49: DUP14 00000a4a: AND 00000a4b: ISZERO 00000a4c: DUP1 00000a4d: ISZERO 00000a4e: SWAP1 00000a4f: PUSH2 0x0a6a 00000a52: JUMPI 00000a53: POP 00000a54: DUP12 00000a55: PUSH1 0x01 00000a57: PUSH1 0xa0 00000a59: PUSH1 0x02 00000a5b: EXP 00000a5c: SUB 00000a5d: AND 00000a5e: DUP14 00000a5f: PUSH1 0x01 00000a61: PUSH1 0xa0 00000a63: PUSH1 0x02 00000a65: EXP 00000a66: SUB 00000a67: AND 00000a68: EQ 00000a69: ISZERO 00000a6a: JUMPDEST 00000a6b: DUP1 00000a6c: ISZERO 00000a6d: PUSH2 0x0a90 00000a70: JUMPI 00000a71: POP 00000a72: PUSH1 0x13 00000a74: SLOAD 00000a75: PUSH1 0x01 00000a77: PUSH1 0xa0 00000a79: PUSH1 0x02 00000a7b: EXP 00000a7c: SUB 00000a7d: DUP15 00000a7e: AND 00000a7f: PUSH1 0x00 00000a81: SWAP1 00000a82: DUP2 00000a83: MSTORE 00000a84: PUSH1 0x0d 00000a86: PUSH1 0x20 00000a88: MSTORE 00000a89: PUSH1 0x40 00000a8b: SWAP1 00000a8c: KECCAK256 00000a8d: SLOAD 00000a8e: LT 00000a8f: ISZERO 00000a90: JUMPDEST 00000a91: ISZERO 00000a92: PUSH2 0x0ad6 00000a95: JUMPI 00000a96: PUSH1 0x01 00000a98: PUSH1 0xa0 00000a9a: PUSH1 0x02 00000a9c: EXP 00000a9d: SUB 00000a9e: DUP14 00000a9f: AND 00000aa0: PUSH1 0x00 00000aa2: SWAP1 00000aa3: DUP2 00000aa4: MSTORE 00000aa5: PUSH1 0x0e 00000aa7: PUSH1 0x20 00000aa9: MSTORE 00000aaa: PUSH1 0x40 00000aac: SWAP1 00000aad: KECCAK256 00000aae: SLOAD 00000aaf: PUSH2 0x0ab8 00000ab2: SWAP1 00000ab3: DUP9 00000ab4: PUSH2 0x15ac 00000ab7: JUMP 00000ab8: JUMPDEST 00000ab9: PUSH1 0x01 00000abb: PUSH1 0xa0 00000abd: PUSH1 0x02 00000abf: EXP 00000ac0: SUB 00000ac1: DUP15 00000ac2: AND 00000ac3: PUSH1 0x00 00000ac5: SWAP1 00000ac6: DUP2 00000ac7: MSTORE 00000ac8: PUSH1 0x0e 00000aca: PUSH1 0x20 00000acc: MSTORE 00000acd: PUSH1 0x40 00000acf: SWAP1 00000ad0: KECCAK256 00000ad1: SSTORE 00000ad2: PUSH2 0x0aec 00000ad5: JUMP 00000ad6: JUMPDEST 00000ad7: PUSH2 0x0ae0 00000ada: DUP7 00000adb: DUP9 00000adc: PUSH2 0x15ac 00000adf: JUMP 00000ae0: JUMPDEST 00000ae1: SWAP6 00000ae2: POP 00000ae3: PUSH1 0x40 00000ae5: PUSH1 0x02 00000ae7: EXP 00000ae8: DUP7 00000ae9: MUL 00000aea: SWAP4 00000aeb: POP 00000aec: JUMPDEST 00000aed: PUSH1 0x00 00000aef: PUSH1 0x11 00000af1: SLOAD 00000af2: GT 00000af3: ISZERO 00000af4: PUSH2 0x0b46 00000af7: JUMPI 00000af8: PUSH2 0x0b03 00000afb: PUSH1 0x11 00000afd: SLOAD 00000afe: DUP7 00000aff: PUSH2 0x15ac 00000b02: JUMP 00000b03: JUMPDEST 00000b04: PUSH1 0x11 00000b06: DUP2 00000b07: SWAP1 00000b08: SSTORE 00000b09: PUSH1 0x40 00000b0b: PUSH1 0x02 00000b0d: EXP 00000b0e: DUP8 00000b0f: MUL 00000b10: DUP2 00000b11: ISZERO 00000b12: ISZERO 00000b13: PUSH2 0x0b18 00000b16: JUMPI 00000b17: INVALID 00000b18: JUMPDEST 00000b19: PUSH1 0x12 00000b1b: DUP1 00000b1c: SLOAD 00000b1d: SWAP3 00000b1e: SWAP1 00000b1f: SWAP2 00000b20: DIV 00000b21: SWAP1 00000b22: SWAP2 00000b23: ADD 00000b24: SWAP1 00000b25: SSTORE 00000b26: PUSH1 0x11 00000b28: SLOAD 00000b29: PUSH1 0x40 00000b2b: PUSH1 0x02 00000b2d: EXP 00000b2e: DUP8 00000b2f: MUL 00000b30: DUP2 00000b31: ISZERO 00000b32: ISZERO 00000b33: PUSH2 0x0b38 00000b36: JUMPI 00000b37: INVALID 00000b38: JUMPDEST 00000b39: DIV 00000b3a: DUP6 00000b3b: MUL 00000b3c: DUP5 00000b3d: SUB 00000b3e: DUP5 00000b3f: SUB 00000b40: SWAP4 00000b41: POP 00000b42: PUSH2 0x0b4c 00000b45: JUMP 00000b46: JUMPDEST 00000b47: PUSH1 0x11 00000b49: DUP6 00000b4a: SWAP1 00000b4b: SSTORE 00000b4c: JUMPDEST 00000b4d: PUSH1 0x01 00000b4f: PUSH1 0xa0 00000b51: PUSH1 0x02 00000b53: EXP 00000b54: SUB 00000b55: DUP13 00000b56: AND 00000b57: PUSH1 0x00 00000b59: SWAP1 00000b5a: DUP2 00000b5b: MSTORE 00000b5c: PUSH1 0x0d 00000b5e: PUSH1 0x20 00000b60: MSTORE 00000b61: PUSH1 0x40 00000b63: SWAP1 00000b64: KECCAK256 00000b65: SLOAD 00000b66: PUSH2 0x0b6f 00000b69: SWAP1 00000b6a: DUP7 00000b6b: PUSH2 0x15ac 00000b6e: JUMP 00000b6f: JUMPDEST 00000b70: PUSH1 0x01 00000b72: PUSH1 0xa0 00000b74: PUSH1 0x02 00000b76: EXP 00000b77: SUB 00000b78: DUP1 00000b79: DUP15 00000b7a: AND 00000b7b: PUSH1 0x00 00000b7d: DUP2 00000b7e: DUP2 00000b7f: MSTORE 00000b80: PUSH1 0x0d 00000b82: PUSH1 0x20 00000b84: SWAP1 00000b85: DUP2 00000b86: MSTORE 00000b87: PUSH1 0x40 00000b89: DUP1 00000b8a: DUP4 00000b8b: KECCAK256 00000b8c: SWAP6 00000b8d: SWAP1 00000b8e: SWAP6 00000b8f: SSTORE 00000b90: PUSH1 0x12 00000b92: SLOAD 00000b93: PUSH1 0x0f 00000b95: SWAP1 00000b96: SWAP2 00000b97: MSTORE 00000b98: SWAP4 00000b99: SWAP1 00000b9a: KECCAK256 00000b9b: DUP1 00000b9c: SLOAD 00000b9d: SWAP4 00000b9e: DUP10 00000b9f: MUL 00000ba0: DUP9 00000ba1: SWAP1 00000ba2: SUB 00000ba3: SWAP4 00000ba4: DUP5 00000ba5: ADD 00000ba6: SWAP1 00000ba7: SSTORE 00000ba8: SWAP2 00000ba9: SWAP5 00000baa: POP 00000bab: DUP15 00000bac: AND 00000bad: SWAP1 00000bae: PUSH32 0x8032875b28d82ddbd303a9e4e5529d047a14ecb6290f80012a81b7e6227ff1ab 00000bcf: DUP14 00000bd0: DUP9 00000bd1: TIMESTAMP 00000bd2: PUSH2 0x0bd9 00000bd5: PUSH2 0x0edf 00000bd8: JUMP 00000bd9: JUMPDEST 00000bda: PUSH1 0x40 00000bdc: DUP1 00000bdd: MLOAD 00000bde: SWAP5 00000bdf: DUP6 00000be0: MSTORE 00000be1: PUSH1 0x20 00000be3: DUP6 00000be4: ADD 00000be5: SWAP4 00000be6: SWAP1 00000be7: SWAP4 00000be8: MSTORE 00000be9: DUP4 00000bea: DUP4 00000beb: ADD 00000bec: SWAP2 00000bed: SWAP1 00000bee: SWAP2 00000bef: MSTORE 00000bf0: PUSH1 0x60 00000bf2: DUP4 00000bf3: ADD 00000bf4: MSTORE 00000bf5: MLOAD 00000bf6: SWAP1 00000bf7: DUP2 00000bf8: SWAP1 00000bf9: SUB 00000bfa: PUSH1 0x80 00000bfc: ADD 00000bfd: SWAP1 00000bfe: LOG3 00000bff: DUP5 00000c00: SWAP10 00000c01: POP 00000c02: JUMPDEST 00000c03: POP 00000c04: POP 00000c05: POP 00000c06: POP 00000c07: POP 00000c08: POP 00000c09: POP 00000c0a: POP 00000c0b: POP 00000c0c: SWAP4 00000c0d: SWAP3 00000c0e: POP 00000c0f: POP 00000c10: POP 00000c11: JUMP 00000c12: JUMPDEST 00000c13: PUSH1 0x01 00000c15: PUSH1 0xa0 00000c17: PUSH1 0x02 00000c19: EXP 00000c1a: SUB 00000c1b: AND 00000c1c: PUSH1 0x00 00000c1e: SWAP1 00000c1f: DUP2 00000c20: MSTORE 00000c21: PUSH1 0x0f 00000c23: PUSH1 0x20 00000c25: SWAP1 00000c26: DUP2 00000c27: MSTORE 00000c28: PUSH1 0x40 00000c2a: DUP1 00000c2b: DUP4 00000c2c: KECCAK256 00000c2d: SLOAD 00000c2e: PUSH1 0x0d 00000c30: SWAP1 00000c31: SWAP3 00000c32: MSTORE 00000c33: SWAP1 00000c34: SWAP2 00000c35: KECCAK256 00000c36: SLOAD 00000c37: PUSH1 0x12 00000c39: SLOAD 00000c3a: PUSH1 0x40 00000c3c: PUSH1 0x02 00000c3e: EXP 00000c3f: SWAP2 00000c40: MUL 00000c41: SWAP2 00000c42: SWAP1 00000c43: SWAP2 00000c44: SUB 00000c45: DIV 00000c46: SWAP1 00000c47: JUMP 00000c48: JUMPDEST 00000c49: PUSH1 0x05 00000c4b: DUP1 00000c4c: SLOAD 00000c4d: PUSH1 0x40 00000c4f: DUP1 00000c50: MLOAD 00000c51: PUSH1 0x20 00000c53: PUSH1 0x02 00000c55: PUSH1 0x01 00000c57: DUP6 00000c58: AND 00000c59: ISZERO 00000c5a: PUSH2 0x0100 00000c5d: MUL 00000c5e: PUSH1 0x00 00000c60: NOT 00000c61: ADD 00000c62: SWAP1 00000c63: SWAP5 00000c64: AND 00000c65: SWAP4 00000c66: SWAP1 00000c67: SWAP4 00000c68: DIV 00000c69: PUSH1 0x1f 00000c6b: DUP2 00000c6c: ADD 00000c6d: DUP5 00000c6e: SWAP1 00000c6f: DIV 00000c70: DUP5 00000c71: MUL 00000c72: DUP3 00000c73: ADD 00000c74: DUP5 00000c75: ADD 00000c76: SWAP1 00000c77: SWAP3 00000c78: MSTORE 00000c79: DUP2 00000c7a: DUP2 00000c7b: MSTORE 00000c7c: SWAP3 00000c7d: SWAP2 00000c7e: DUP4 00000c7f: ADD 00000c80: DUP3 00000c81: DUP3 00000c82: DUP1 00000c83: ISZERO 00000c84: PUSH2 0x0cce 00000c87: JUMPI 00000c88: DUP1 00000c89: PUSH1 0x1f 00000c8b: LT 00000c8c: PUSH2 0x0ca3 00000c8f: JUMPI 00000c90: PUSH2 0x0100 00000c93: DUP1 00000c94: DUP4 00000c95: SLOAD 00000c96: DIV 00000c97: MUL 00000c98: DUP4 00000c99: MSTORE 00000c9a: SWAP2 00000c9b: PUSH1 0x20 00000c9d: ADD 00000c9e: SWAP2 00000c9f: PUSH2 0x0cce 00000ca2: JUMP 00000ca3: JUMPDEST 00000ca4: DUP3 00000ca5: ADD 00000ca6: SWAP2 00000ca7: SWAP1 00000ca8: PUSH1 0x00 00000caa: MSTORE 00000cab: PUSH1 0x20 00000cad: PUSH1 0x00 00000caf: KECCAK256 00000cb0: SWAP1 00000cb1: JUMPDEST 00000cb2: DUP2 00000cb3: SLOAD 00000cb4: DUP2 00000cb5: MSTORE 00000cb6: SWAP1 00000cb7: PUSH1 0x01 00000cb9: ADD 00000cba: SWAP1 00000cbb: PUSH1 0x20 00000cbd: ADD 00000cbe: DUP1 00000cbf: DUP4 00000cc0: GT 00000cc1: PUSH2 0x0cb1 00000cc4: JUMPI 00000cc5: DUP3 00000cc6: SWAP1 00000cc7: SUB 00000cc8: PUSH1 0x1f 00000cca: AND 00000ccb: DUP3 00000ccc: ADD 00000ccd: SWAP2 00000cce: JUMPDEST 00000ccf: POP 00000cd0: POP 00000cd1: POP 00000cd2: POP 00000cd3: POP 00000cd4: DUP2 00000cd5: JUMP 00000cd6: JUMPDEST 00000cd7: PUSH1 0x00 00000cd9: DUP1 00000cda: PUSH1 0x00 00000cdc: PUSH2 0x0cea 00000cdf: PUSH2 0x06cf 00000ce2: DUP6 00000ce3: PUSH1 0x07 00000ce5: SLOAD 00000ce6: PUSH2 0x15b9 00000ce9: JUMP 00000cea: JUMPDEST 00000ceb: SWAP2 00000cec: POP 00000ced: PUSH2 0x0cf6 00000cf0: DUP5 00000cf1: DUP4 00000cf2: PUSH2 0x15f7 00000cf5: JUMP 00000cf6: JUMPDEST 00000cf7: SWAP5 00000cf8: SWAP4 00000cf9: POP 00000cfa: POP 00000cfb: POP 00000cfc: POP 00000cfd: JUMP 00000cfe: JUMPDEST 00000cff: PUSH1 0x11 00000d01: SLOAD 00000d02: JUMPDEST 00000d03: SWAP1 00000d04: JUMP 00000d05: JUMPDEST 00000d06: PUSH1 0x00 00000d08: DUP1 00000d09: PUSH1 0x00 00000d0b: PUSH1 0x11 00000d0d: SLOAD 00000d0e: DUP5 00000d0f: GT 00000d10: ISZERO 00000d11: ISZERO 00000d12: ISZERO 00000d13: PUSH2 0x0d1b 00000d16: JUMPI 00000d17: PUSH1 0x00 00000d19: DUP1 00000d1a: REVERT 00000d1b: JUMPDEST 00000d1c: PUSH2 0x0cea 00000d1f: PUSH2 0x06cf 00000d22: DUP6 00000d23: PUSH1 0x09 00000d25: SLOAD 00000d26: PUSH2 0x15b9 00000d29: JUMP 00000d2a: JUMPDEST 00000d2b: PUSH1 0x00 00000d2d: SLOAD 00000d2e: PUSH1 0x01 00000d30: PUSH1 0xa0 00000d32: PUSH1 0x02 00000d34: EXP 00000d35: SUB 00000d36: AND 00000d37: CALLER 00000d38: EQ 00000d39: PUSH2 0x0d41 00000d3c: JUMPI 00000d3d: PUSH1 0x00 00000d3f: DUP1 00000d40: REVERT 00000d41: JUMPDEST 00000d42: PUSH1 0x0c 00000d44: DUP1 00000d45: SLOAD 00000d46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d5b: NOT 00000d5c: AND 00000d5d: PUSH1 0x01 00000d5f: PUSH1 0xa0 00000d61: PUSH1 0x02 00000d63: EXP 00000d64: SUB 00000d65: SWAP3 00000d66: SWAP1 00000d67: SWAP3 00000d68: AND 00000d69: SWAP2 00000d6a: SWAP1 00000d6b: SWAP2 00000d6c: OR 00000d6d: SWAP1 00000d6e: SSTORE 00000d6f: JUMP 00000d70: JUMPDEST 00000d71: PUSH1 0x03 00000d73: SLOAD 00000d74: PUSH1 0xff 00000d76: AND 00000d77: DUP2 00000d78: JUMP 00000d79: JUMPDEST 00000d7a: PUSH1 0x12 00000d7c: DUP2 00000d7d: JUMP 00000d7e: JUMPDEST 00000d7f: PUSH1 0x00 00000d81: DUP1 00000d82: PUSH1 0x00 00000d84: PUSH2 0x0d8d 00000d87: PUSH1 0x01 00000d89: PUSH2 0x0e7e 00000d8c: JUMP 00000d8d: JUMPDEST 00000d8e: GT 00000d8f: PUSH2 0x0d97 00000d92: JUMPI 00000d93: PUSH1 0x00 00000d95: DUP1 00000d96: REVERT 00000d97: JUMPDEST 00000d98: CALLER 00000d99: SWAP2 00000d9a: POP 00000d9b: PUSH2 0x0da4 00000d9e: PUSH1 0x00 00000da0: PUSH2 0x0e7e 00000da3: JUMP 00000da4: JUMPDEST 00000da5: PUSH1 0x01 00000da7: PUSH1 0xa0 00000da9: PUSH1 0x02 00000dab: EXP 00000dac: SUB 00000dad: DUP4 00000dae: AND 00000daf: PUSH1 0x00 00000db1: DUP2 00000db2: DUP2 00000db3: MSTORE 00000db4: PUSH1 0x0f 00000db6: PUSH1 0x20 00000db8: SWAP1 00000db9: DUP2 00000dba: MSTORE 00000dbb: PUSH1 0x40 00000dbd: DUP1 00000dbe: DUP4 00000dbf: KECCAK256 00000dc0: DUP1 00000dc1: SLOAD 00000dc2: PUSH1 0x40 00000dc4: PUSH1 0x02 00000dc6: EXP 00000dc7: DUP8 00000dc8: MUL 00000dc9: ADD 00000dca: SWAP1 00000dcb: SSTORE 00000dcc: PUSH1 0x0e 00000dce: SWAP1 00000dcf: SWAP2 00000dd0: MSTORE 00000dd1: DUP1 00000dd2: DUP3 00000dd3: KECCAK256 00000dd4: DUP1 00000dd5: SLOAD 00000dd6: SWAP1 00000dd7: DUP4 00000dd8: SWAP1 00000dd9: SSTORE 00000dda: SWAP1 00000ddb: MLOAD 00000ddc: SWAP4 00000ddd: ADD 00000dde: SWAP4 00000ddf: POP 00000de0: SWAP1 00000de1: SWAP2 00000de2: DUP4 00000de3: ISZERO 00000de4: PUSH2 0x08fc 00000de7: MUL 00000de8: SWAP2 00000de9: DUP5 00000dea: SWAP2 00000deb: SWAP1 00000dec: DUP2 00000ded: DUP2 00000dee: DUP2 00000def: DUP6 00000df0: DUP9 00000df1: DUP9 00000df2: CALL 00000df3: SWAP4 00000df4: POP 00000df5: POP 00000df6: POP 00000df7: POP 00000df8: ISZERO 00000df9: DUP1 00000dfa: ISZERO 00000dfb: PUSH2 0x0e08 00000dfe: JUMPI 00000dff: RETURNDATASIZE 00000e00: PUSH1 0x00 00000e02: DUP1 00000e03: RETURNDATACOPY 00000e04: RETURNDATASIZE 00000e05: PUSH1 0x00 00000e07: REVERT 00000e08: JUMPDEST 00000e09: POP 00000e0a: PUSH1 0x40 00000e0c: DUP1 00000e0d: MLOAD 00000e0e: DUP3 00000e0f: DUP2 00000e10: MSTORE 00000e11: SWAP1 00000e12: MLOAD 00000e13: PUSH1 0x01 00000e15: PUSH1 0xa0 00000e17: PUSH1 0x02 00000e19: EXP 00000e1a: SUB 00000e1b: DUP5 00000e1c: AND 00000e1d: SWAP2 00000e1e: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 00000e3f: SWAP2 00000e40: SWAP1 00000e41: DUP2 00000e42: SWAP1 00000e43: SUB 00000e44: PUSH1 0x20 00000e46: ADD 00000e47: SWAP1 00000e48: LOG2 00000e49: POP 00000e4a: POP 00000e4b: JUMP 00000e4c: JUMPDEST 00000e4d: PUSH1 0x00 00000e4f: DUP1 00000e50: PUSH1 0x00 00000e52: DUP1 00000e53: PUSH8 0x0de0b6b3a7640000 00000e5c: SWAP3 00000e5d: POP 00000e5e: PUSH2 0x0e6c 00000e61: PUSH2 0x06cf 00000e64: DUP5 00000e65: PUSH1 0x09 00000e67: SLOAD 00000e68: PUSH2 0x15b9 00000e6b: JUMP 00000e6c: JUMPDEST 00000e6d: SWAP2 00000e6e: POP 00000e6f: PUSH2 0x0cf6 00000e72: DUP4 00000e73: DUP4 00000e74: PUSH2 0x15f7 00000e77: JUMP 00000e78: JUMPDEST 00000e79: PUSH1 0x13 00000e7b: SLOAD 00000e7c: DUP2 00000e7d: JUMP 00000e7e: JUMPDEST 00000e7f: PUSH1 0x00 00000e81: CALLER 00000e82: DUP3 00000e83: PUSH2 0x0e94 00000e86: JUMPI 00000e87: PUSH2 0x0e8f 00000e8a: DUP2 00000e8b: PUSH2 0x0c12 00000e8e: JUMP 00000e8f: JUMPDEST 00000e90: PUSH2 0x0eb8 00000e93: JUMP 00000e94: JUMPDEST 00000e95: PUSH1 0x01 00000e97: PUSH1 0xa0 00000e99: PUSH1 0x02 00000e9b: EXP 00000e9c: SUB 00000e9d: DUP2 00000e9e: AND 00000e9f: PUSH1 0x00 00000ea1: SWAP1 00000ea2: DUP2 00000ea3: MSTORE 00000ea4: PUSH1 0x0e 00000ea6: PUSH1 0x20 00000ea8: MSTORE 00000ea9: PUSH1 0x40 00000eab: SWAP1 00000eac: KECCAK256 00000ead: SLOAD 00000eae: PUSH2 0x0eb6 00000eb1: DUP3 00000eb2: PUSH2 0x0c12 00000eb5: JUMP 00000eb6: JUMPDEST 00000eb7: ADD 00000eb8: JUMPDEST 00000eb9: SWAP4 00000eba: SWAP3 00000ebb: POP 00000ebc: POP 00000ebd: POP 00000ebe: JUMP 00000ebf: JUMPDEST 00000ec0: ADDRESS 00000ec1: BALANCE 00000ec2: SWAP1 00000ec3: JUMP 00000ec4: JUMPDEST 00000ec5: PUSH1 0x01 00000ec7: PUSH1 0xa0 00000ec9: PUSH1 0x02 00000ecb: EXP 00000ecc: SUB 00000ecd: AND 00000ece: PUSH1 0x00 00000ed0: SWAP1 00000ed1: DUP2 00000ed2: MSTORE 00000ed3: PUSH1 0x0d 00000ed5: PUSH1 0x20 00000ed7: MSTORE 00000ed8: PUSH1 0x40 00000eda: SWAP1 00000edb: KECCAK256 00000edc: SLOAD 00000edd: SWAP1 00000ede: JUMP 00000edf: JUMPDEST 00000ee0: PUSH1 0x00 00000ee2: DUP1 00000ee3: PUSH1 0x00 00000ee5: DUP1 00000ee6: PUSH8 0x0de0b6b3a7640000 00000eef: SWAP3 00000ef0: POP 00000ef1: PUSH2 0x0eff 00000ef4: PUSH2 0x06cf 00000ef7: DUP5 00000ef8: PUSH1 0x07 00000efa: SLOAD 00000efb: PUSH2 0x15b9 00000efe: JUMP 00000eff: JUMPDEST 00000f00: SWAP2 00000f01: POP 00000f02: PUSH2 0x0cf6 00000f05: DUP4 00000f06: DUP4 00000f07: PUSH2 0x15ac 00000f0a: JUMP 00000f0b: JUMPDEST 00000f0c: PUSH1 0x00 00000f0e: SLOAD 00000f0f: PUSH1 0x01 00000f11: PUSH1 0xa0 00000f13: PUSH1 0x02 00000f15: EXP 00000f16: SUB 00000f17: AND 00000f18: DUP2 00000f19: JUMP 00000f1a: JUMPDEST 00000f1b: PUSH1 0x00 00000f1d: CALLER 00000f1e: PUSH2 0x0f26 00000f21: DUP2 00000f22: PUSH2 0x0ec4 00000f25: JUMP 00000f26: JUMPDEST 00000f27: SWAP2 00000f28: POP 00000f29: JUMPDEST 00000f2a: POP 00000f2b: SWAP1 00000f2c: JUMP 00000f2d: JUMPDEST 00000f2e: PUSH1 0x06 00000f30: DUP1 00000f31: SLOAD 00000f32: PUSH1 0x40 00000f34: DUP1 00000f35: MLOAD 00000f36: PUSH1 0x20 00000f38: PUSH1 0x02 00000f3a: PUSH1 0x01 00000f3c: DUP6 00000f3d: AND 00000f3e: ISZERO 00000f3f: PUSH2 0x0100 00000f42: MUL 00000f43: PUSH1 0x00 00000f45: NOT 00000f46: ADD 00000f47: SWAP1 00000f48: SWAP5 00000f49: AND 00000f4a: SWAP4 00000f4b: SWAP1 00000f4c: SWAP4 00000f4d: DIV 00000f4e: PUSH1 0x1f 00000f50: DUP2 00000f51: ADD 00000f52: DUP5 00000f53: SWAP1 00000f54: DIV 00000f55: DUP5 00000f56: MUL 00000f57: DUP3 00000f58: ADD 00000f59: DUP5 00000f5a: ADD 00000f5b: SWAP1 00000f5c: SWAP3 00000f5d: MSTORE 00000f5e: DUP2 00000f5f: DUP2 00000f60: MSTORE 00000f61: SWAP3 00000f62: SWAP2 00000f63: DUP4 00000f64: ADD 00000f65: DUP3 00000f66: DUP3 00000f67: DUP1 00000f68: ISZERO 00000f69: PUSH2 0x0cce 00000f6c: JUMPI 00000f6d: DUP1 00000f6e: PUSH1 0x1f 00000f70: LT 00000f71: PUSH2 0x0ca3 00000f74: JUMPI 00000f75: PUSH2 0x0100 00000f78: DUP1 00000f79: DUP4 00000f7a: SLOAD 00000f7b: DIV 00000f7c: MUL 00000f7d: DUP4 00000f7e: MSTORE 00000f7f: SWAP2 00000f80: PUSH1 0x20 00000f82: ADD 00000f83: SWAP2 00000f84: PUSH2 0x0cce 00000f87: JUMP 00000f88: JUMPDEST 00000f89: PUSH1 0x00 00000f8b: DUP1 00000f8c: PUSH1 0x00 00000f8e: DUP1 00000f8f: PUSH1 0x00 00000f91: DUP1 00000f92: PUSH2 0x0f99 00000f95: PUSH2 0x0f1a 00000f98: JUMP 00000f99: JUMPDEST 00000f9a: GT 00000f9b: PUSH2 0x0fa3 00000f9e: JUMPI 00000f9f: PUSH1 0x00 00000fa1: DUP1 00000fa2: REVERT 00000fa3: JUMPDEST 00000fa4: CALLER 00000fa5: PUSH1 0x00 00000fa7: DUP2 00000fa8: DUP2 00000fa9: MSTORE 00000faa: PUSH1 0x0d 00000fac: PUSH1 0x20 00000fae: MSTORE 00000faf: PUSH1 0x40 00000fb1: SWAP1 00000fb2: KECCAK256 00000fb3: SLOAD 00000fb4: SWAP1 00000fb5: SWAP5 00000fb6: POP 00000fb7: DUP7 00000fb8: GT 00000fb9: ISZERO 00000fba: PUSH2 0x0fc2 00000fbd: JUMPI 00000fbe: PUSH1 0x00 00000fc0: DUP1 00000fc1: REVERT 00000fc2: JUMPDEST 00000fc3: PUSH1 0x00 00000fc5: PUSH2 0x0fce 00000fc8: PUSH1 0x01 00000fca: PUSH2 0x0e7e 00000fcd: JUMP 00000fce: JUMPDEST 00000fcf: GT 00000fd0: ISZERO 00000fd1: PUSH2 0x0fdc 00000fd4: JUMPI 00000fd5: PUSH2 0x0fdc 00000fd8: PUSH2 0x0d7e 00000fdb: JUMP 00000fdc: JUMPDEST 00000fdd: PUSH2 0x0feb 00000fe0: PUSH2 0x06cf 00000fe3: DUP8 00000fe4: PUSH1 0x08 00000fe6: SLOAD 00000fe7: PUSH2 0x15b9 00000fea: JUMP 00000feb: JUMPDEST 00000fec: SWAP3 00000fed: POP 00000fee: PUSH2 0x0ff7 00000ff1: DUP7 00000ff2: DUP5 00000ff3: PUSH2 0x15f7 00000ff6: JUMP 00000ff7: JUMPDEST 00000ff8: SWAP2 00000ff9: POP 00000ffa: DUP3 00000ffb: SWAP1 00000ffc: POP 00000ffd: PUSH2 0x1008 00001000: PUSH1 0x11 00001002: SLOAD 00001003: DUP5 00001004: PUSH2 0x15f7 00001007: JUMP 00001008: JUMPDEST 00001009: PUSH1 0x11 0000100b: SSTORE 0000100c: PUSH1 0x01 0000100e: PUSH1 0xa0 00001010: PUSH1 0x02 00001012: EXP 00001013: SUB 00001014: DUP5 00001015: AND 00001016: PUSH1 0x00 00001018: SWAP1 00001019: DUP2 0000101a: MSTORE 0000101b: PUSH1 0x0d 0000101d: PUSH1 0x20 0000101f: MSTORE 00001020: PUSH1 0x40 00001022: SWAP1 00001023: KECCAK256 00001024: SLOAD 00001025: PUSH2 0x102e 00001028: SWAP1 00001029: DUP8 0000102a: PUSH2 0x15f7 0000102d: JUMP 0000102e: JUMPDEST 0000102f: PUSH1 0x01 00001031: PUSH1 0xa0 00001033: PUSH1 0x02 00001035: EXP 00001036: SUB 00001037: DUP1 00001038: DUP7 00001039: AND 0000103a: PUSH1 0x00 0000103c: SWAP1 0000103d: DUP2 0000103e: MSTORE 0000103f: PUSH1 0x0d 00001041: PUSH1 0x20 00001043: MSTORE 00001044: PUSH1 0x40 00001046: DUP1 00001047: DUP3 00001048: KECCAK256 00001049: SWAP4 0000104a: SWAP1 0000104b: SWAP4 0000104c: SSTORE 0000104d: SWAP1 0000104e: DUP10 0000104f: AND 00001050: DUP2 00001051: MSTORE 00001052: KECCAK256 00001053: SLOAD 00001054: PUSH2 0x105d 00001057: SWAP1 00001058: DUP4 00001059: PUSH2 0x15ac 0000105c: JUMP 0000105d: JUMPDEST 0000105e: PUSH1 0x01 00001060: PUSH1 0xa0 00001062: PUSH1 0x02 00001064: EXP 00001065: SUB 00001066: DUP9 00001067: DUP2 00001068: AND 00001069: PUSH1 0x00 0000106b: DUP2 0000106c: DUP2 0000106d: MSTORE 0000106e: PUSH1 0x0d 00001070: PUSH1 0x20 00001072: SWAP1 00001073: DUP2 00001074: MSTORE 00001075: PUSH1 0x40 00001077: DUP1 00001078: DUP4 00001079: KECCAK256 0000107a: SWAP6 0000107b: SWAP1 0000107c: SWAP6 0000107d: SSTORE 0000107e: PUSH1 0x12 00001080: DUP1 00001081: SLOAD 00001082: SWAP5 00001083: DUP11 00001084: AND 00001085: DUP4 00001086: MSTORE 00001087: PUSH1 0x0f 00001089: SWAP1 0000108a: SWAP2 0000108b: MSTORE 0000108c: DUP5 0000108d: DUP3 0000108e: KECCAK256 0000108f: DUP1 00001090: SLOAD 00001091: SWAP5 00001092: DUP13 00001093: MUL 00001094: SWAP1 00001095: SWAP5 00001096: SUB 00001097: SWAP1 00001098: SWAP4 00001099: SSTORE 0000109a: DUP3 0000109b: SLOAD 0000109c: SWAP2 0000109d: DUP2 0000109e: MSTORE 0000109f: SWAP3 000010a0: SWAP1 000010a1: SWAP3 000010a2: KECCAK256 000010a3: DUP1 000010a4: SLOAD 000010a5: SWAP3 000010a6: DUP6 000010a7: MUL 000010a8: SWAP1 000010a9: SWAP3 000010aa: ADD 000010ab: SWAP1 000010ac: SWAP2 000010ad: SSTORE 000010ae: SLOAD 000010af: PUSH1 0x11 000010b1: SLOAD 000010b2: PUSH2 0x10cc 000010b5: SWAP2 000010b6: SWAP1 000010b7: PUSH1 0x40 000010b9: PUSH1 0x02 000010bb: EXP 000010bc: DUP5 000010bd: MUL 000010be: DUP2 000010bf: ISZERO 000010c0: ISZERO 000010c1: PUSH2 0x10c6 000010c4: JUMPI 000010c5: INVALID 000010c6: JUMPDEST 000010c7: DIV 000010c8: PUSH2 0x15ac 000010cb: JUMP 000010cc: JUMPDEST 000010cd: PUSH1 0x12 000010cf: SSTORE 000010d0: PUSH1 0x40 000010d2: DUP1 000010d3: MLOAD 000010d4: DUP4 000010d5: DUP2 000010d6: MSTORE 000010d7: SWAP1 000010d8: MLOAD 000010d9: PUSH1 0x01 000010db: PUSH1 0xa0 000010dd: PUSH1 0x02 000010df: EXP 000010e0: SUB 000010e1: DUP1 000010e2: DUP11 000010e3: AND 000010e4: SWAP3 000010e5: SWAP1 000010e6: DUP8 000010e7: AND 000010e8: SWAP2 000010e9: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000110a: SWAP2 0000110b: DUP2 0000110c: SWAP1 0000110d: SUB 0000110e: PUSH1 0x20 00001110: ADD 00001111: SWAP1 00001112: LOG3 00001113: POP 00001114: PUSH1 0x01 00001116: SWAP7 00001117: SWAP6 00001118: POP 00001119: POP 0000111a: POP 0000111b: POP 0000111c: POP 0000111d: POP 0000111e: JUMP 0000111f: JUMPDEST 00001120: PUSH1 0x00 00001122: SLOAD 00001123: PUSH1 0x01 00001125: PUSH1 0xa0 00001127: PUSH1 0x02 00001129: EXP 0000112a: SUB 0000112b: AND 0000112c: CALLER 0000112d: EQ 0000112e: PUSH2 0x1136 00001131: JUMPI 00001132: PUSH1 0x00 00001134: DUP1 00001135: REVERT 00001136: JUMPDEST 00001137: DUP1 00001138: MLOAD 00001139: PUSH2 0x1149 0000113c: SWAP1 0000113d: PUSH1 0x06 0000113f: SWAP1 00001140: PUSH1 0x20 00001142: DUP5 00001143: ADD 00001144: SWAP1 00001145: PUSH2 0x1609 00001148: JUMP 00001149: JUMPDEST 0000114a: POP 0000114b: POP 0000114c: JUMP 0000114d: JUMPDEST 0000114e: CALLER 0000114f: PUSH1 0x00 00001151: SWAP1 00001152: DUP2 00001153: MSTORE 00001154: PUSH1 0x10 00001156: PUSH1 0x20 00001158: MSTORE 00001159: PUSH1 0x40 0000115b: SWAP1 0000115c: KECCAK256 0000115d: SLOAD 0000115e: SWAP1 0000115f: JUMP 00001160: JUMPDEST 00001161: PUSH1 0x00 00001163: SLOAD 00001164: PUSH1 0x01 00001166: PUSH1 0xa0 00001168: PUSH1 0x02 0000116a: EXP 0000116b: SUB 0000116c: AND 0000116d: CALLER 0000116e: EQ 0000116f: PUSH2 0x1177 00001172: JUMPI 00001173: PUSH1 0x00 00001175: DUP1 00001176: REVERT 00001177: JUMPDEST 00001178: DUP1 00001179: MLOAD 0000117a: PUSH2 0x1149 0000117d: SWAP1 0000117e: PUSH1 0x05 00001180: SWAP1 00001181: PUSH1 0x20 00001183: DUP5 00001184: ADD 00001185: SWAP1 00001186: PUSH2 0x1609 00001189: JUMP 0000118a: JUMPDEST 0000118b: PUSH1 0x00 0000118d: PUSH2 0x1197 00001190: DUP3 00001191: DUP5 00001192: CALLVALUE 00001193: PUSH2 0x05c9 00001196: JUMP 00001197: JUMPDEST 00001198: SWAP1 00001199: POP 0000119a: JUMPDEST 0000119b: SWAP3 0000119c: SWAP2 0000119d: POP 0000119e: POP 0000119f: JUMP 000011a0: JUMPDEST 000011a1: PUSH1 0x00 000011a3: DUP1 000011a4: PUSH1 0x00 000011a6: DUP1 000011a7: PUSH1 0x00 000011a9: DUP1 000011aa: PUSH1 0x00 000011ac: PUSH2 0x11b3 000011af: PUSH2 0x0f1a 000011b2: JUMP 000011b3: JUMPDEST 000011b4: GT 000011b5: PUSH2 0x11bd 000011b8: JUMPI 000011b9: PUSH1 0x00 000011bb: DUP1 000011bc: REVERT 000011bd: JUMPDEST 000011be: CALLER 000011bf: PUSH1 0x00 000011c1: DUP2 000011c2: DUP2 000011c3: MSTORE 000011c4: PUSH1 0x0d 000011c6: PUSH1 0x20 000011c8: MSTORE 000011c9: PUSH1 0x40 000011cb: SWAP1 000011cc: KECCAK256 000011cd: SLOAD 000011ce: SWAP1 000011cf: SWAP7 000011d0: POP 000011d1: DUP8 000011d2: GT 000011d3: ISZERO 000011d4: PUSH2 0x11dc 000011d7: JUMPI 000011d8: PUSH1 0x00 000011da: DUP1 000011db: REVERT 000011dc: JUMPDEST 000011dd: PUSH2 0x11eb 000011e0: PUSH2 0x06cf 000011e3: DUP9 000011e4: PUSH1 0x09 000011e6: SLOAD 000011e7: PUSH2 0x15b9 000011ea: JUMP 000011eb: JUMPDEST 000011ec: SWAP5 000011ed: POP 000011ee: PUSH2 0x11fc 000011f1: PUSH2 0x06cf 000011f4: DUP7 000011f5: PUSH1 0x0b 000011f7: SLOAD 000011f8: PUSH2 0x15b9 000011fb: JUMP 000011fc: JUMPDEST 000011fd: SWAP4 000011fe: POP 000011ff: PUSH2 0x1208 00001202: DUP6 00001203: DUP6 00001204: PUSH2 0x15f7 00001207: JUMP 00001208: JUMPDEST 00001209: SWAP3 0000120a: POP 0000120b: PUSH2 0x1214 0000120e: DUP8 0000120f: DUP7 00001210: PUSH2 0x15f7 00001213: JUMP 00001214: JUMPDEST 00001215: SWAP2 00001216: POP 00001217: PUSH2 0x1222 0000121a: PUSH1 0x11 0000121c: SLOAD 0000121d: DUP9 0000121e: PUSH2 0x15f7 00001221: JUMP 00001222: JUMPDEST 00001223: PUSH1 0x11 00001225: SSTORE 00001226: PUSH1 0x01 00001228: PUSH1 0xa0 0000122a: PUSH1 0x02 0000122c: EXP 0000122d: SUB 0000122e: DUP7 0000122f: AND 00001230: PUSH1 0x00 00001232: SWAP1 00001233: DUP2 00001234: MSTORE 00001235: PUSH1 0x0d 00001237: PUSH1 0x20 00001239: MSTORE 0000123a: PUSH1 0x40 0000123c: SWAP1 0000123d: KECCAK256 0000123e: SLOAD 0000123f: PUSH2 0x1248 00001242: SWAP1 00001243: DUP9 00001244: PUSH2 0x15f7 00001247: JUMP 00001248: JUMPDEST 00001249: PUSH1 0x01 0000124b: PUSH1 0xa0 0000124d: PUSH1 0x02 0000124f: EXP 00001250: SUB 00001251: DUP1 00001252: DUP9 00001253: AND 00001254: PUSH1 0x00 00001256: SWAP1 00001257: DUP2 00001258: MSTORE 00001259: PUSH1 0x0d 0000125b: PUSH1 0x20 0000125d: SWAP1 0000125e: DUP2 0000125f: MSTORE 00001260: PUSH1 0x40 00001262: DUP1 00001263: DUP4 00001264: KECCAK256 00001265: SWAP5 00001266: SWAP1 00001267: SWAP5 00001268: SSTORE 00001269: PUSH1 0x12 0000126b: SLOAD 0000126c: PUSH1 0x0f 0000126e: DUP3 0000126f: MSTORE 00001270: DUP5 00001271: DUP4 00001272: KECCAK256 00001273: DUP1 00001274: SLOAD 00001275: SWAP2 00001276: DUP14 00001277: MUL 00001278: PUSH1 0x40 0000127a: PUSH1 0x02 0000127c: EXP 0000127d: DUP10 0000127e: MUL 0000127f: ADD 00001280: SWAP2 00001281: DUP3 00001282: SWAP1 00001283: SUB 00001284: SWAP1 00001285: SSTORE 00001286: PUSH1 0x0c 00001288: SLOAD 00001289: SWAP1 0000128a: SWAP4 0000128b: AND 0000128c: DUP3 0000128d: MSTORE 0000128e: PUSH1 0x0e 00001290: SWAP1 00001291: MSTORE 00001292: SWAP2 00001293: SWAP1 00001294: SWAP2 00001295: KECCAK256 00001296: SLOAD 00001297: SWAP1 00001298: SWAP2 00001299: POP 0000129a: PUSH2 0x12a3 0000129d: SWAP1 0000129e: DUP6 0000129f: PUSH2 0x15ac 000012a2: JUMP 000012a3: JUMPDEST 000012a4: PUSH1 0x0c 000012a6: SLOAD 000012a7: PUSH1 0x01 000012a9: PUSH1 0xa0 000012ab: PUSH1 0x02 000012ad: EXP 000012ae: SUB 000012af: AND 000012b0: PUSH1 0x00 000012b2: SWAP1 000012b3: DUP2 000012b4: MSTORE 000012b5: PUSH1 0x0e 000012b7: PUSH1 0x20 000012b9: MSTORE 000012ba: PUSH1 0x40 000012bc: DUP2 000012bd: KECCAK256 000012be: SWAP2 000012bf: SWAP1 000012c0: SWAP2 000012c1: SSTORE 000012c2: PUSH1 0x11 000012c4: SLOAD 000012c5: GT 000012c6: ISZERO 000012c7: PUSH2 0x12e7 000012ca: JUMPI 000012cb: PUSH2 0x12e3 000012ce: PUSH1 0x12 000012d0: SLOAD 000012d1: PUSH1 0x11 000012d3: SLOAD 000012d4: PUSH1 0x40 000012d6: PUSH1 0x02 000012d8: EXP 000012d9: DUP7 000012da: MUL 000012db: DUP2 000012dc: ISZERO 000012dd: ISZERO 000012de: PUSH2 0x10c6 000012e1: JUMPI 000012e2: INVALID 000012e3: JUMPDEST 000012e4: PUSH1 0x12 000012e6: SSTORE 000012e7: JUMPDEST 000012e8: DUP6 000012e9: PUSH1 0x01 000012eb: PUSH1 0xa0 000012ed: PUSH1 0x02 000012ef: EXP 000012f0: SUB 000012f1: AND 000012f2: PUSH32 0x8d3a0130073dbd54ab6ac632c05946df540553d3b514c9f8165b4ab7f2b1805e 00001313: DUP9 00001314: DUP5 00001315: TIMESTAMP 00001316: PUSH2 0x131d 00001319: PUSH2 0x0edf 0000131c: JUMP 0000131d: JUMPDEST 0000131e: PUSH1 0x40 00001320: DUP1 00001321: MLOAD 00001322: SWAP5 00001323: DUP6 00001324: MSTORE 00001325: PUSH1 0x20 00001327: DUP6 00001328: ADD 00001329: SWAP4 0000132a: SWAP1 0000132b: SWAP4 0000132c: MSTORE 0000132d: DUP4 0000132e: DUP4 0000132f: ADD 00001330: SWAP2 00001331: SWAP1 00001332: SWAP2 00001333: MSTORE 00001334: PUSH1 0x60 00001336: DUP4 00001337: ADD 00001338: MSTORE 00001339: MLOAD 0000133a: SWAP1 0000133b: DUP2 0000133c: SWAP1 0000133d: SUB 0000133e: PUSH1 0x80 00001340: ADD 00001341: SWAP1 00001342: LOG2 00001343: POP 00001344: POP 00001345: POP 00001346: POP 00001347: POP 00001348: POP 00001349: POP 0000134a: JUMP 0000134b: JUMPDEST 0000134c: PUSH1 0x00 0000134e: CALLVALUE 0000134f: DUP2 00001350: LT 00001351: PUSH2 0x13bb 00001354: JUMPI 00001355: PUSH1 0x40 00001357: DUP1 00001358: MLOAD 00001359: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000137a: DUP2 0000137b: MSTORE 0000137c: PUSH1 0x20 0000137e: PUSH1 0x04 00001380: DUP3 00001381: ADD 00001382: MSTORE 00001383: PUSH1 0x18 00001385: PUSH1 0x24 00001387: DUP3 00001388: ADD 00001389: MSTORE 0000138a: PUSH32 0x6d757374206265206120706f7369746976652076616c75650000000000000000 000013ab: PUSH1 0x44 000013ad: DUP3 000013ae: ADD 000013af: MSTORE 000013b0: SWAP1 000013b1: MLOAD 000013b2: SWAP1 000013b3: DUP2 000013b4: SWAP1 000013b5: SUB 000013b6: PUSH1 0x64 000013b8: ADD 000013b9: SWAP1 000013ba: REVERT 000013bb: JUMPDEST 000013bc: PUSH1 0x15 000013be: DUP1 000013bf: SLOAD 000013c0: CALLVALUE 000013c1: SWAP1 000013c2: DUP2 000013c3: ADD 000013c4: SWAP1 000013c5: SWAP2 000013c6: SSTORE 000013c7: PUSH1 0x12 000013c9: SLOAD 000013ca: PUSH1 0x11 000013cc: SLOAD 000013cd: PUSH2 0x13df 000013d0: SWAP3 000013d1: PUSH1 0x40 000013d3: PUSH1 0x02 000013d5: EXP 000013d6: MUL 000013d7: DUP2 000013d8: ISZERO 000013d9: ISZERO 000013da: PUSH2 0x10c6 000013dd: JUMPI 000013de: INVALID 000013df: JUMPDEST 000013e0: PUSH1 0x12 000013e2: SSTORE 000013e3: PUSH1 0x40 000013e5: DUP1 000013e6: MLOAD 000013e7: CALLVALUE 000013e8: DUP2 000013e9: MSTORE 000013ea: SWAP1 000013eb: MLOAD 000013ec: CALLER 000013ed: SWAP2 000013ee: PUSH32 0xd14b763af9e91e53a0578778058d700fec4f12297440083843749bb37d806064 0000140f: SWAP2 00001410: SWAP1 00001411: DUP2 00001412: SWAP1 00001413: SUB 00001414: PUSH1 0x20 00001416: ADD 00001417: SWAP1 00001418: LOG2 00001419: SWAP1 0000141a: JUMP 0000141b: JUMPDEST 0000141c: CALLER 0000141d: PUSH1 0x00 0000141f: DUP2 00001420: DUP2 00001421: MSTORE 00001422: PUSH1 0x0d 00001424: PUSH1 0x20 00001426: MSTORE 00001427: PUSH1 0x40 00001429: DUP2 0000142a: KECCAK256 0000142b: SLOAD 0000142c: SWAP1 0000142d: DUP2 0000142e: GT 0000142f: ISZERO 00001430: PUSH2 0x143c 00001433: JUMPI 00001434: PUSH2 0x143c 00001437: DUP2 00001438: PUSH2 0x11a0 0000143b: JUMP 0000143c: JUMPDEST 0000143d: PUSH2 0x1149 00001440: PUSH2 0x0d7e 00001443: JUMP 00001444: JUMPDEST 00001445: PUSH1 0x15 00001447: SLOAD 00001448: DUP2 00001449: JUMP 0000144a: JUMPDEST 0000144b: PUSH1 0x00 0000144d: PUSH2 0x119a 00001450: DUP3 00001451: CALLER 00001452: CALLVALUE 00001453: PUSH2 0x05c9 00001456: JUMP 00001457: JUMPDEST 00001458: PUSH1 0x14 0000145a: SLOAD 0000145b: DUP2 0000145c: JUMP 0000145d: JUMPDEST 0000145e: PUSH1 0x00 00001460: SLOAD 00001461: PUSH1 0x01 00001463: PUSH1 0xa0 00001465: PUSH1 0x02 00001467: EXP 00001468: SUB 00001469: AND 0000146a: CALLER 0000146b: EQ 0000146c: PUSH2 0x1474 0000146f: JUMPI 00001470: PUSH1 0x00 00001472: DUP1 00001473: REVERT 00001474: JUMPDEST 00001475: PUSH1 0x01 00001477: PUSH1 0xa0 00001479: PUSH1 0x02 0000147b: EXP 0000147c: SUB 0000147d: DUP2 0000147e: AND 0000147f: ISZERO 00001480: ISZERO 00001481: PUSH2 0x1489 00001484: JUMPI 00001485: PUSH1 0x00 00001487: DUP1 00001488: REVERT 00001489: JUMPDEST 0000148a: PUSH1 0x00 0000148c: DUP1 0000148d: SLOAD 0000148e: PUSH1 0x40 00001490: MLOAD 00001491: PUSH1 0x01 00001493: PUSH1 0xa0 00001495: PUSH1 0x02 00001497: EXP 00001498: SUB 00001499: DUP1 0000149a: DUP6 0000149b: AND 0000149c: SWAP4 0000149d: SWAP3 0000149e: AND 0000149f: SWAP2 000014a0: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000014c1: SWAP2 000014c2: LOG3 000014c3: PUSH1 0x00 000014c5: DUP1 000014c6: SLOAD 000014c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014dc: NOT 000014dd: AND 000014de: PUSH1 0x01 000014e0: PUSH1 0xa0 000014e2: PUSH1 0x02 000014e4: EXP 000014e5: SUB 000014e6: SWAP3 000014e7: SWAP1 000014e8: SWAP3 000014e9: AND 000014ea: SWAP2 000014eb: SWAP1 000014ec: SWAP2 000014ed: OR 000014ee: SWAP1 000014ef: SSTORE 000014f0: JUMP 000014f1: JUMPDEST 000014f2: PUSH1 0x00 000014f4: DUP1 000014f5: PUSH1 0x00 000014f7: DUP1 000014f8: PUSH2 0x1501 000014fb: PUSH1 0x01 000014fd: PUSH2 0x0e7e 00001500: JUMP 00001501: JUMPDEST 00001502: GT 00001503: PUSH2 0x150b 00001506: JUMPI 00001507: PUSH1 0x00 00001509: DUP1 0000150a: REVERT 0000150b: JUMPDEST 0000150c: CALLER 0000150d: SWAP3 0000150e: POP 0000150f: PUSH2 0x1518 00001512: PUSH1 0x00 00001514: PUSH2 0x0e7e 00001517: JUMP 00001518: JUMPDEST 00001519: PUSH1 0x01 0000151b: PUSH1 0xa0 0000151d: PUSH1 0x02 0000151f: EXP 00001520: SUB 00001521: DUP5 00001522: AND 00001523: PUSH1 0x00 00001525: SWAP1 00001526: DUP2 00001527: MSTORE 00001528: PUSH1 0x0f 0000152a: PUSH1 0x20 0000152c: SWAP1 0000152d: DUP2 0000152e: MSTORE 0000152f: PUSH1 0x40 00001531: DUP1 00001532: DUP4 00001533: KECCAK256 00001534: DUP1 00001535: SLOAD 00001536: PUSH1 0x40 00001538: PUSH1 0x02 0000153a: EXP 0000153b: DUP7 0000153c: MUL 0000153d: ADD 0000153e: SWAP1 0000153f: SSTORE 00001540: PUSH1 0x0e 00001542: SWAP1 00001543: SWAP2 00001544: MSTORE 00001545: DUP2 00001546: KECCAK256 00001547: DUP1 00001548: SLOAD 00001549: SWAP1 0000154a: DUP3 0000154b: SWAP1 0000154c: SSTORE 0000154d: SWAP1 0000154e: SWAP2 0000154f: ADD 00001550: SWAP3 00001551: POP 00001552: PUSH2 0x155c 00001555: SWAP1 00001556: DUP5 00001557: DUP5 00001558: PUSH2 0x05c9 0000155b: JUMP 0000155c: JUMPDEST 0000155d: SWAP1 0000155e: POP 0000155f: DUP3 00001560: PUSH1 0x01 00001562: PUSH1 0xa0 00001564: PUSH1 0x02 00001566: EXP 00001567: SUB 00001568: AND 00001569: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458 0000158a: DUP4 0000158b: DUP4 0000158c: PUSH1 0x40 0000158e: MLOAD 0000158f: DUP1 00001590: DUP4 00001591: DUP2 00001592: MSTORE 00001593: PUSH1 0x20 00001595: ADD 00001596: DUP3 00001597: DUP2 00001598: MSTORE 00001599: PUSH1 0x20 0000159b: ADD 0000159c: SWAP3 0000159d: POP 0000159e: POP 0000159f: POP 000015a0: PUSH1 0x40 000015a2: MLOAD 000015a3: DUP1 000015a4: SWAP2 000015a5: SUB 000015a6: SWAP1 000015a7: LOG2 000015a8: POP 000015a9: POP 000015aa: POP 000015ab: JUMP 000015ac: JUMPDEST 000015ad: DUP2 000015ae: DUP2 000015af: ADD 000015b0: DUP3 000015b1: DUP2 000015b2: LT 000015b3: ISZERO 000015b4: PUSH2 0x119a 000015b7: JUMPI 000015b8: INVALID 000015b9: JUMPDEST 000015ba: PUSH1 0x00 000015bc: DUP3 000015bd: ISZERO 000015be: ISZERO 000015bf: PUSH2 0x15ca 000015c2: JUMPI 000015c3: POP 000015c4: PUSH1 0x00 000015c6: PUSH2 0x119a 000015c9: JUMP 000015ca: JUMPDEST 000015cb: POP 000015cc: DUP2 000015cd: DUP2 000015ce: MUL 000015cf: DUP2 000015d0: DUP4 000015d1: DUP3 000015d2: DUP2 000015d3: ISZERO 000015d4: ISZERO 000015d5: PUSH2 0x15da 000015d8: JUMPI 000015d9: INVALID 000015da: JUMPDEST 000015db: DIV 000015dc: EQ 000015dd: PUSH2 0x119a 000015e0: JUMPI 000015e1: INVALID 000015e2: JUMPDEST 000015e3: PUSH1 0x00 000015e5: DUP2 000015e6: DUP4 000015e7: DUP2 000015e8: ISZERO 000015e9: ISZERO 000015ea: PUSH2 0x15ef 000015ed: JUMPI 000015ee: INVALID 000015ef: JUMPDEST 000015f0: DIV 000015f1: SWAP4 000015f2: SWAP3 000015f3: POP 000015f4: POP 000015f5: POP 000015f6: JUMP 000015f7: JUMPDEST 000015f8: PUSH1 0x00 000015fa: DUP3 000015fb: DUP3 000015fc: GT 000015fd: ISZERO 000015fe: PUSH2 0x1603 00001601: JUMPI 00001602: INVALID 00001603: JUMPDEST 00001604: POP 00001605: SWAP1 00001606: SUB 00001607: SWAP1 00001608: JUMP 00001609: JUMPDEST 0000160a: DUP3 0000160b: DUP1 0000160c: SLOAD 0000160d: PUSH1 0x01 0000160f: DUP2 00001610: PUSH1 0x01 00001612: AND 00001613: ISZERO 00001614: PUSH2 0x0100 00001617: MUL 00001618: SUB 00001619: AND 0000161a: PUSH1 0x02 0000161c: SWAP1 0000161d: DIV 0000161e: SWAP1 0000161f: PUSH1 0x00 00001621: MSTORE 00001622: PUSH1 0x20 00001624: PUSH1 0x00 00001626: KECCAK256 00001627: SWAP1 00001628: PUSH1 0x1f 0000162a: ADD 0000162b: PUSH1 0x20 0000162d: SWAP1 0000162e: DIV 0000162f: DUP2 00001630: ADD 00001631: SWAP3 00001632: DUP3 00001633: PUSH1 0x1f 00001635: LT 00001636: PUSH2 0x164a 00001639: JUMPI 0000163a: DUP1 0000163b: MLOAD 0000163c: PUSH1 0xff 0000163e: NOT 0000163f: AND 00001640: DUP4 00001641: DUP1 00001642: ADD 00001643: OR 00001644: DUP6 00001645: SSTORE 00001646: PUSH2 0x1677 00001649: JUMP 0000164a: JUMPDEST 0000164b: DUP3 0000164c: DUP1 0000164d: ADD 0000164e: PUSH1 0x01 00001650: ADD 00001651: DUP6 00001652: SSTORE 00001653: DUP3 00001654: ISZERO 00001655: PUSH2 0x1677 00001658: JUMPI 00001659: SWAP2 0000165a: DUP3 0000165b: ADD 0000165c: JUMPDEST 0000165d: DUP3 0000165e: DUP2 0000165f: GT 00001660: ISZERO 00001661: PUSH2 0x1677 00001664: JUMPI 00001665: DUP3 00001666: MLOAD 00001667: DUP3 00001668: SSTORE 00001669: SWAP2 0000166a: PUSH1 0x20 0000166c: ADD 0000166d: SWAP2 0000166e: SWAP1 0000166f: PUSH1 0x01 00001671: ADD 00001672: SWAP1 00001673: PUSH2 0x165c 00001676: JUMP 00001677: JUMPDEST 00001678: POP 00001679: PUSH2 0x0f29 0000167c: SWAP3 0000167d: PUSH2 0x0d02 00001680: SWAP3 00001681: POP 00001682: SWAP1 00001683: JUMPDEST 00001684: DUP1 00001685: DUP3 00001686: GT 00001687: ISZERO 00001688: PUSH2 0x0f29 0000168b: JUMPI 0000168c: PUSH1 0x00 0000168e: DUP2 0000168f: SSTORE 00001690: PUSH1 0x01 00001692: ADD 00001693: PUSH2 0x1683 00001696: JUMP 00001697: STOP 00001698: LOG1 00001699: PUSH6 0x627a7a723058 000016a0: KECCAK256 000016a1: UNKNOWN(0x0D) 000016a2: UNKNOWN(0xA9) 000016a3: UNKNOWN(0xD9) 000016a4: TIMESTAMP 000016a5: DUP3 000016a6: CALLER 000016a7: CODECOPY 000016a8: JUMPI 000016a9: UNKNOWN(0xBC) 000016aa: PUSH23 0xa5ad93be90b4d45da3642e1472fea74fb7cadb1e8d2d00 000016c2: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x93b7945b9a13ee7b60d30746bc21f37066ad0056c81a82a50328636c39b2a49a
call_targets:
0xfd326f36bfabe2e195e54c3edab3a094a20758b8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x93b7945b9a13ee7b60d30746bc21f37066ad0056c81a82a50328636c39b2a49a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfd326f36bfabe2e195e54c3edab3a094a20758b8"
],
"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": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3570,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x93b7945b9a13ee7b60d30746bc21f37066ad0056c81a82a50328636c39b2a49a
call_targets:
0xfd326f36bfabe2e195e54c3edab3a094a20758b8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x93b7945b9a13ee7b60d30746bc21f37066ad0056c81a82a50328636c39b2a49a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfd326f36bfabe2e195e54c3edab3a094a20758b8"
],
"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": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3570,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|