019b3844-8ec1-7365-92bd-09c278acd0e1
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 |
|---|---|---|---|---|
| 12329 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 12330 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 55032 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 55033 | capability.graph | complete | 1 / 3 | 1 week ago |
| 55034 | detector.run | complete | 1 / 3 | 1 week ago |
| 55035 | 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 0x020e 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x0dc10a60 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x0219 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x1458ffb3 00000046: EQ 00000047: PUSH2 0x024a 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x1515bc2b 00000051: EQ 00000052: PUSH2 0x0271 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x1c75f085 0000005c: EQ 0000005d: PUSH2 0x029a 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x22e8571d 00000067: EQ 00000068: PUSH2 0x02af 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x27b44a6c 00000072: EQ 00000073: PUSH2 0x02c4 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x2c4e722e 0000007d: EQ 0000007e: PUSH2 0x02d9 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x34fcf437 00000088: EQ 00000089: PUSH2 0x02ee 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x4042b66f 00000093: EQ 00000094: PUSH2 0x0306 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x4b6753bc 0000009e: EQ 0000009f: PUSH2 0x031b 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x4bb278f3 000000a9: EQ 000000aa: PUSH2 0x0330 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x4f7e7086 000000b4: EQ 000000b5: PUSH2 0x0345 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x521eb273 000000bf: EQ 000000c0: PUSH2 0x035a 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x60b99afb 000000ca: EQ 000000cb: PUSH2 0x036f 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x6927e45a 000000d5: EQ 000000d6: PUSH2 0x0390 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x7f2a4784 000000e0: EQ 000000e1: PUSH2 0x03a5 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x8d4e4083 000000eb: EQ 000000ec: PUSH2 0x03ba 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0x8da5cb5b 000000f6: EQ 000000f7: PUSH2 0x03cf 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0x9584fbfc 00000101: EQ 00000102: PUSH2 0x03e4 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0x96b98862 0000010c: EQ 0000010d: PUSH2 0x03f9 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0x99ce00a9 00000117: EQ 00000118: PUSH2 0x043a 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0x9b39f9bf 00000122: EQ 00000123: PUSH2 0x044f 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0x9c001bcc 0000012d: EQ 0000012e: PUSH2 0x0464 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xa5cd806b 00000138: EQ 00000139: PUSH2 0x0479 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xadad4873 00000143: EQ 00000144: PUSH2 0x048e 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0xb1a2bbd1 0000014e: EQ 0000014f: PUSH2 0x051c 00000152: JUMPI 00000153: DUP1 00000154: PUSH4 0xb7a8807c 00000159: EQ 0000015a: PUSH2 0x0531 0000015d: JUMPI 0000015e: DUP1 0000015f: PUSH4 0xbf3e394e 00000164: EQ 00000165: PUSH2 0x0546 00000168: JUMPI 00000169: DUP1 0000016a: PUSH4 0xc516358f 0000016f: EQ 00000170: PUSH2 0x055b 00000173: JUMPI 00000174: DUP1 00000175: PUSH4 0xc69b5dfb 0000017a: EQ 0000017b: PUSH2 0x0570 0000017e: JUMPI 0000017f: DUP1 00000180: PUSH4 0xcddce877 00000185: EQ 00000186: PUSH2 0x05c5 00000189: JUMPI 0000018a: DUP1 0000018b: PUSH4 0xd541ca5d 00000190: EQ 00000191: PUSH2 0x05da 00000194: JUMPI 00000195: DUP1 00000196: PUSH4 0xd578f434 0000019b: EQ 0000019c: PUSH2 0x05ef 0000019f: JUMPI 000001a0: DUP1 000001a1: PUSH4 0xdb83d02f 000001a6: EQ 000001a7: PUSH2 0x0604 000001aa: JUMPI 000001ab: DUP1 000001ac: PUSH4 0xdba72a4e 000001b1: EQ 000001b2: PUSH2 0x0619 000001b5: JUMPI 000001b6: DUP1 000001b7: PUSH4 0xdc9ac994 000001bc: EQ 000001bd: PUSH2 0x062e 000001c0: JUMPI 000001c1: DUP1 000001c2: PUSH4 0xec8ac4d8 000001c7: EQ 000001c8: PUSH2 0x0643 000001cb: JUMPI 000001cc: DUP1 000001cd: PUSH4 0xed782750 000001d2: EQ 000001d3: PUSH2 0x0657 000001d6: JUMPI 000001d7: DUP1 000001d8: PUSH4 0xf1e9a514 000001dd: EQ 000001de: PUSH2 0x066c 000001e1: JUMPI 000001e2: DUP1 000001e3: PUSH4 0xf2fde38b 000001e8: EQ 000001e9: PUSH2 0x0681 000001ec: JUMPI 000001ed: DUP1 000001ee: PUSH4 0xf92a73d7 000001f3: EQ 000001f4: PUSH2 0x06a2 000001f7: JUMPI 000001f8: DUP1 000001f9: PUSH4 0xfc0c546a 000001fe: EQ 000001ff: PUSH2 0x06b7 00000202: JUMPI 00000203: DUP1 00000204: PUSH4 0xfecab4bf 00000209: EQ 0000020a: PUSH2 0x06cc 0000020d: JUMPI 0000020e: JUMPDEST 0000020f: PUSH2 0x0217 00000212: CALLER 00000213: PUSH2 0x06e1 00000216: JUMP 00000217: JUMPDEST 00000218: STOP 00000219: JUMPDEST 0000021a: CALLVALUE 0000021b: DUP1 0000021c: ISZERO 0000021d: PUSH2 0x0225 00000220: JUMPI 00000221: PUSH1 0x00 00000223: DUP1 00000224: REVERT 00000225: JUMPDEST 00000226: POP 00000227: PUSH2 0x022e 0000022a: PUSH2 0x0783 0000022d: JUMP 0000022e: JUMPDEST 0000022f: PUSH1 0x40 00000231: DUP1 00000232: MLOAD 00000233: PUSH1 0x01 00000235: PUSH1 0xa0 00000237: PUSH1 0x02 00000239: EXP 0000023a: SUB 0000023b: SWAP1 0000023c: SWAP3 0000023d: AND 0000023e: DUP3 0000023f: MSTORE 00000240: MLOAD 00000241: SWAP1 00000242: DUP2 00000243: SWAP1 00000244: SUB 00000245: PUSH1 0x20 00000247: ADD 00000248: SWAP1 00000249: RETURN 0000024a: JUMPDEST 0000024b: CALLVALUE 0000024c: DUP1 0000024d: ISZERO 0000024e: PUSH2 0x0256 00000251: JUMPI 00000252: PUSH1 0x00 00000254: DUP1 00000255: REVERT 00000256: JUMPDEST 00000257: POP 00000258: PUSH2 0x025f 0000025b: PUSH2 0x0792 0000025e: JUMP 0000025f: JUMPDEST 00000260: PUSH1 0x40 00000262: DUP1 00000263: MLOAD 00000264: SWAP2 00000265: DUP3 00000266: MSTORE 00000267: MLOAD 00000268: SWAP1 00000269: DUP2 0000026a: SWAP1 0000026b: SUB 0000026c: PUSH1 0x20 0000026e: ADD 0000026f: SWAP1 00000270: RETURN 00000271: JUMPDEST 00000272: CALLVALUE 00000273: DUP1 00000274: ISZERO 00000275: PUSH2 0x027d 00000278: JUMPI 00000279: PUSH1 0x00 0000027b: DUP1 0000027c: REVERT 0000027d: JUMPDEST 0000027e: POP 0000027f: PUSH2 0x0286 00000282: PUSH2 0x079a 00000285: JUMP 00000286: JUMPDEST 00000287: PUSH1 0x40 00000289: DUP1 0000028a: MLOAD 0000028b: SWAP2 0000028c: ISZERO 0000028d: ISZERO 0000028e: DUP3 0000028f: MSTORE 00000290: MLOAD 00000291: SWAP1 00000292: DUP2 00000293: SWAP1 00000294: SUB 00000295: PUSH1 0x20 00000297: ADD 00000298: SWAP1 00000299: RETURN 0000029a: JUMPDEST 0000029b: CALLVALUE 0000029c: DUP1 0000029d: ISZERO 0000029e: PUSH2 0x02a6 000002a1: JUMPI 000002a2: PUSH1 0x00 000002a4: DUP1 000002a5: REVERT 000002a6: JUMPDEST 000002a7: POP 000002a8: PUSH2 0x022e 000002ab: PUSH2 0x07a2 000002ae: JUMP 000002af: JUMPDEST 000002b0: CALLVALUE 000002b1: DUP1 000002b2: ISZERO 000002b3: PUSH2 0x02bb 000002b6: JUMPI 000002b7: PUSH1 0x00 000002b9: DUP1 000002ba: REVERT 000002bb: JUMPDEST 000002bc: POP 000002bd: PUSH2 0x022e 000002c0: PUSH2 0x07b1 000002c3: JUMP 000002c4: JUMPDEST 000002c5: CALLVALUE 000002c6: DUP1 000002c7: ISZERO 000002c8: PUSH2 0x02d0 000002cb: JUMPI 000002cc: PUSH1 0x00 000002ce: DUP1 000002cf: REVERT 000002d0: JUMPDEST 000002d1: POP 000002d2: PUSH2 0x025f 000002d5: PUSH2 0x07c0 000002d8: JUMP 000002d9: JUMPDEST 000002da: CALLVALUE 000002db: DUP1 000002dc: ISZERO 000002dd: PUSH2 0x02e5 000002e0: JUMPI 000002e1: PUSH1 0x00 000002e3: DUP1 000002e4: REVERT 000002e5: JUMPDEST 000002e6: POP 000002e7: PUSH2 0x025f 000002ea: PUSH2 0x07c6 000002ed: JUMP 000002ee: JUMPDEST 000002ef: CALLVALUE 000002f0: DUP1 000002f1: ISZERO 000002f2: PUSH2 0x02fa 000002f5: JUMPI 000002f6: PUSH1 0x00 000002f8: DUP1 000002f9: REVERT 000002fa: JUMPDEST 000002fb: POP 000002fc: PUSH2 0x0217 000002ff: PUSH1 0x04 00000301: CALLDATALOAD 00000302: PUSH2 0x07cc 00000305: JUMP 00000306: JUMPDEST 00000307: CALLVALUE 00000308: DUP1 00000309: ISZERO 0000030a: PUSH2 0x0312 0000030d: JUMPI 0000030e: PUSH1 0x00 00000310: DUP1 00000311: REVERT 00000312: JUMPDEST 00000313: POP 00000314: PUSH2 0x025f 00000317: PUSH2 0x0843 0000031a: JUMP 0000031b: JUMPDEST 0000031c: CALLVALUE 0000031d: DUP1 0000031e: ISZERO 0000031f: PUSH2 0x0327 00000322: JUMPI 00000323: PUSH1 0x00 00000325: DUP1 00000326: REVERT 00000327: JUMPDEST 00000328: POP 00000329: PUSH2 0x025f 0000032c: PUSH2 0x0849 0000032f: JUMP 00000330: JUMPDEST 00000331: CALLVALUE 00000332: DUP1 00000333: ISZERO 00000334: PUSH2 0x033c 00000337: JUMPI 00000338: PUSH1 0x00 0000033a: DUP1 0000033b: REVERT 0000033c: JUMPDEST 0000033d: POP 0000033e: PUSH2 0x0217 00000341: PUSH2 0x084f 00000344: JUMP 00000345: JUMPDEST 00000346: CALLVALUE 00000347: DUP1 00000348: ISZERO 00000349: PUSH2 0x0351 0000034c: JUMPI 0000034d: PUSH1 0x00 0000034f: DUP1 00000350: REVERT 00000351: JUMPDEST 00000352: POP 00000353: PUSH2 0x022e 00000356: PUSH2 0x08c9 00000359: JUMP 0000035a: JUMPDEST 0000035b: CALLVALUE 0000035c: DUP1 0000035d: ISZERO 0000035e: PUSH2 0x0366 00000361: JUMPI 00000362: PUSH1 0x00 00000364: DUP1 00000365: REVERT 00000366: JUMPDEST 00000367: POP 00000368: PUSH2 0x022e 0000036b: PUSH2 0x08dd 0000036e: JUMP 0000036f: JUMPDEST 00000370: CALLVALUE 00000371: DUP1 00000372: ISZERO 00000373: PUSH2 0x037b 00000376: JUMPI 00000377: PUSH1 0x00 00000379: DUP1 0000037a: REVERT 0000037b: JUMPDEST 0000037c: POP 0000037d: PUSH2 0x025f 00000380: PUSH1 0x01 00000382: PUSH1 0xa0 00000384: PUSH1 0x02 00000386: EXP 00000387: SUB 00000388: PUSH1 0x04 0000038a: CALLDATALOAD 0000038b: AND 0000038c: PUSH2 0x08ec 0000038f: JUMP 00000390: JUMPDEST 00000391: CALLVALUE 00000392: DUP1 00000393: ISZERO 00000394: PUSH2 0x039c 00000397: JUMPI 00000398: PUSH1 0x00 0000039a: DUP1 0000039b: REVERT 0000039c: JUMPDEST 0000039d: POP 0000039e: PUSH2 0x025f 000003a1: PUSH2 0x09fe 000003a4: JUMP 000003a5: JUMPDEST 000003a6: CALLVALUE 000003a7: DUP1 000003a8: ISZERO 000003a9: PUSH2 0x03b1 000003ac: JUMPI 000003ad: PUSH1 0x00 000003af: DUP1 000003b0: REVERT 000003b1: JUMPDEST 000003b2: POP 000003b3: PUSH2 0x025f 000003b6: PUSH2 0x0a0d 000003b9: JUMP 000003ba: JUMPDEST 000003bb: CALLVALUE 000003bc: DUP1 000003bd: ISZERO 000003be: PUSH2 0x03c6 000003c1: JUMPI 000003c2: PUSH1 0x00 000003c4: DUP1 000003c5: REVERT 000003c6: JUMPDEST 000003c7: POP 000003c8: PUSH2 0x0286 000003cb: PUSH2 0x0a15 000003ce: JUMP 000003cf: JUMPDEST 000003d0: CALLVALUE 000003d1: DUP1 000003d2: ISZERO 000003d3: PUSH2 0x03db 000003d6: JUMPI 000003d7: PUSH1 0x00 000003d9: DUP1 000003da: REVERT 000003db: JUMPDEST 000003dc: POP 000003dd: PUSH2 0x022e 000003e0: PUSH2 0x0a1e 000003e3: JUMP 000003e4: JUMPDEST 000003e5: CALLVALUE 000003e6: DUP1 000003e7: ISZERO 000003e8: PUSH2 0x03f0 000003eb: JUMPI 000003ec: PUSH1 0x00 000003ee: DUP1 000003ef: REVERT 000003f0: JUMPDEST 000003f1: POP 000003f2: PUSH2 0x025f 000003f5: PUSH2 0x0a2d 000003f8: JUMP 000003f9: JUMPDEST 000003fa: CALLVALUE 000003fb: DUP1 000003fc: ISZERO 000003fd: PUSH2 0x0405 00000400: JUMPI 00000401: PUSH1 0x00 00000403: DUP1 00000404: REVERT 00000405: JUMPDEST 00000406: POP 00000407: PUSH2 0x041a 0000040a: PUSH1 0x01 0000040c: PUSH1 0xa0 0000040e: PUSH1 0x02 00000410: EXP 00000411: SUB 00000412: PUSH1 0x04 00000414: CALLDATALOAD 00000415: AND 00000416: PUSH2 0x0a3c 00000419: JUMP 0000041a: JUMPDEST 0000041b: PUSH1 0x40 0000041d: DUP1 0000041e: MLOAD 0000041f: SWAP4 00000420: ISZERO 00000421: ISZERO 00000422: DUP5 00000423: MSTORE 00000424: PUSH1 0x20 00000426: DUP5 00000427: ADD 00000428: SWAP3 00000429: SWAP1 0000042a: SWAP3 0000042b: MSTORE 0000042c: DUP3 0000042d: DUP3 0000042e: ADD 0000042f: MSTORE 00000430: MLOAD 00000431: SWAP1 00000432: DUP2 00000433: SWAP1 00000434: SUB 00000435: PUSH1 0x60 00000437: ADD 00000438: SWAP1 00000439: RETURN 0000043a: JUMPDEST 0000043b: CALLVALUE 0000043c: DUP1 0000043d: ISZERO 0000043e: PUSH2 0x0446 00000441: JUMPI 00000442: PUSH1 0x00 00000444: DUP1 00000445: REVERT 00000446: JUMPDEST 00000447: POP 00000448: PUSH2 0x025f 0000044b: PUSH2 0x0a61 0000044e: JUMP 0000044f: JUMPDEST 00000450: CALLVALUE 00000451: DUP1 00000452: ISZERO 00000453: PUSH2 0x045b 00000456: JUMPI 00000457: PUSH1 0x00 00000459: DUP1 0000045a: REVERT 0000045b: JUMPDEST 0000045c: POP 0000045d: PUSH2 0x025f 00000460: PUSH2 0x0a69 00000463: JUMP 00000464: JUMPDEST 00000465: CALLVALUE 00000466: DUP1 00000467: ISZERO 00000468: PUSH2 0x0470 0000046b: JUMPI 0000046c: PUSH1 0x00 0000046e: DUP1 0000046f: REVERT 00000470: JUMPDEST 00000471: POP 00000472: PUSH2 0x025f 00000475: PUSH2 0x0a6f 00000478: JUMP 00000479: JUMPDEST 0000047a: CALLVALUE 0000047b: DUP1 0000047c: ISZERO 0000047d: PUSH2 0x0485 00000480: JUMPI 00000481: PUSH1 0x00 00000483: DUP1 00000484: REVERT 00000485: JUMPDEST 00000486: POP 00000487: PUSH2 0x025f 0000048a: PUSH2 0x0a7e 0000048d: JUMP 0000048e: JUMPDEST 0000048f: CALLVALUE 00000490: DUP1 00000491: ISZERO 00000492: PUSH2 0x049a 00000495: JUMPI 00000496: PUSH1 0x00 00000498: DUP1 00000499: REVERT 0000049a: JUMPDEST 0000049b: POP 0000049c: PUSH1 0x40 0000049e: DUP1 0000049f: MLOAD 000004a0: PUSH1 0x20 000004a2: PUSH1 0x04 000004a4: DUP1 000004a5: CALLDATALOAD 000004a6: DUP1 000004a7: DUP3 000004a8: ADD 000004a9: CALLDATALOAD 000004aa: DUP4 000004ab: DUP2 000004ac: MUL 000004ad: DUP1 000004ae: DUP7 000004af: ADD 000004b0: DUP6 000004b1: ADD 000004b2: SWAP1 000004b3: SWAP7 000004b4: MSTORE 000004b5: DUP1 000004b6: DUP6 000004b7: MSTORE 000004b8: PUSH2 0x0217 000004bb: SWAP6 000004bc: CALLDATASIZE 000004bd: SWAP6 000004be: SWAP4 000004bf: SWAP5 000004c0: PUSH1 0x24 000004c2: SWAP5 000004c3: SWAP4 000004c4: DUP6 000004c5: ADD 000004c6: SWAP3 000004c7: SWAP2 000004c8: DUP3 000004c9: SWAP2 000004ca: DUP6 000004cb: ADD 000004cc: SWAP1 000004cd: DUP5 000004ce: SWAP1 000004cf: DUP1 000004d0: DUP3 000004d1: DUP5 000004d2: CALLDATACOPY 000004d3: POP 000004d4: POP 000004d5: PUSH1 0x40 000004d7: DUP1 000004d8: MLOAD 000004d9: DUP8 000004da: CALLDATALOAD 000004db: DUP10 000004dc: ADD 000004dd: DUP1 000004de: CALLDATALOAD 000004df: PUSH1 0x20 000004e1: DUP2 000004e2: DUP2 000004e3: MUL 000004e4: DUP5 000004e5: DUP2 000004e6: ADD 000004e7: DUP3 000004e8: ADD 000004e9: SWAP1 000004ea: SWAP6 000004eb: MSTORE 000004ec: DUP2 000004ed: DUP5 000004ee: MSTORE 000004ef: SWAP9 000004f0: SWAP12 000004f1: SWAP11 000004f2: SWAP10 000004f3: DUP10 000004f4: ADD 000004f5: SWAP9 000004f6: SWAP3 000004f7: SWAP8 000004f8: POP 000004f9: SWAP1 000004fa: DUP3 000004fb: ADD 000004fc: SWAP6 000004fd: POP 000004fe: SWAP4 000004ff: POP 00000500: DUP4 00000501: SWAP3 00000502: POP 00000503: DUP6 00000504: ADD 00000505: SWAP1 00000506: DUP5 00000507: SWAP1 00000508: DUP1 00000509: DUP3 0000050a: DUP5 0000050b: CALLDATACOPY 0000050c: POP 0000050d: SWAP5 0000050e: SWAP8 0000050f: POP 00000510: PUSH2 0x0a83 00000513: SWAP7 00000514: POP 00000515: POP 00000516: POP 00000517: POP 00000518: POP 00000519: POP 0000051a: POP 0000051b: JUMP 0000051c: JUMPDEST 0000051d: CALLVALUE 0000051e: DUP1 0000051f: ISZERO 00000520: PUSH2 0x0528 00000523: JUMPI 00000524: PUSH1 0x00 00000526: DUP1 00000527: REVERT 00000528: JUMPDEST 00000529: POP 0000052a: PUSH2 0x025f 0000052d: PUSH2 0x0c09 00000530: JUMP 00000531: JUMPDEST 00000532: CALLVALUE 00000533: DUP1 00000534: ISZERO 00000535: PUSH2 0x053d 00000538: JUMPI 00000539: PUSH1 0x00 0000053b: DUP1 0000053c: REVERT 0000053d: JUMPDEST 0000053e: POP 0000053f: PUSH2 0x025f 00000542: PUSH2 0x0c19 00000545: JUMP 00000546: JUMPDEST 00000547: CALLVALUE 00000548: DUP1 00000549: ISZERO 0000054a: PUSH2 0x0552 0000054d: JUMPI 0000054e: PUSH1 0x00 00000550: DUP1 00000551: REVERT 00000552: JUMPDEST 00000553: POP 00000554: PUSH2 0x0217 00000557: PUSH2 0x0c1f 0000055a: JUMP 0000055b: JUMPDEST 0000055c: CALLVALUE 0000055d: DUP1 0000055e: ISZERO 0000055f: PUSH2 0x0567 00000562: JUMPI 00000563: PUSH1 0x00 00000565: DUP1 00000566: REVERT 00000567: JUMPDEST 00000568: POP 00000569: PUSH2 0x022e 0000056c: PUSH2 0x0c3c 0000056f: JUMP 00000570: JUMPDEST 00000571: CALLVALUE 00000572: DUP1 00000573: ISZERO 00000574: PUSH2 0x057c 00000577: JUMPI 00000578: PUSH1 0x00 0000057a: DUP1 0000057b: REVERT 0000057c: JUMPDEST 0000057d: POP 0000057e: PUSH1 0x40 00000580: DUP1 00000581: MLOAD 00000582: PUSH1 0x20 00000584: PUSH1 0x04 00000586: DUP1 00000587: CALLDATALOAD 00000588: DUP1 00000589: DUP3 0000058a: ADD 0000058b: CALLDATALOAD 0000058c: DUP4 0000058d: DUP2 0000058e: MUL 0000058f: DUP1 00000590: DUP7 00000591: ADD 00000592: DUP6 00000593: ADD 00000594: SWAP1 00000595: SWAP7 00000596: MSTORE 00000597: DUP1 00000598: DUP6 00000599: MSTORE 0000059a: PUSH2 0x0217 0000059d: SWAP6 0000059e: CALLDATASIZE 0000059f: SWAP6 000005a0: SWAP4 000005a1: SWAP5 000005a2: PUSH1 0x24 000005a4: SWAP5 000005a5: SWAP4 000005a6: DUP6 000005a7: ADD 000005a8: SWAP3 000005a9: SWAP2 000005aa: DUP3 000005ab: SWAP2 000005ac: DUP6 000005ad: ADD 000005ae: SWAP1 000005af: DUP5 000005b0: SWAP1 000005b1: DUP1 000005b2: DUP3 000005b3: DUP5 000005b4: CALLDATACOPY 000005b5: POP 000005b6: SWAP5 000005b7: SWAP8 000005b8: POP 000005b9: PUSH2 0x0c4b 000005bc: SWAP7 000005bd: POP 000005be: POP 000005bf: POP 000005c0: POP 000005c1: POP 000005c2: POP 000005c3: POP 000005c4: JUMP 000005c5: JUMPDEST 000005c6: CALLVALUE 000005c7: DUP1 000005c8: ISZERO 000005c9: PUSH2 0x05d1 000005cc: JUMPI 000005cd: PUSH1 0x00 000005cf: DUP1 000005d0: REVERT 000005d1: JUMPDEST 000005d2: POP 000005d3: PUSH2 0x025f 000005d6: PUSH2 0x0d87 000005d9: JUMP 000005da: JUMPDEST 000005db: CALLVALUE 000005dc: DUP1 000005dd: ISZERO 000005de: PUSH2 0x05e6 000005e1: JUMPI 000005e2: PUSH1 0x00 000005e4: DUP1 000005e5: REVERT 000005e6: JUMPDEST 000005e7: POP 000005e8: PUSH2 0x025f 000005eb: PUSH2 0x0d96 000005ee: JUMP 000005ef: JUMPDEST 000005f0: CALLVALUE 000005f1: DUP1 000005f2: ISZERO 000005f3: PUSH2 0x05fb 000005f6: JUMPI 000005f7: PUSH1 0x00 000005f9: DUP1 000005fa: REVERT 000005fb: JUMPDEST 000005fc: POP 000005fd: PUSH2 0x025f 00000600: PUSH2 0x0d9b 00000603: JUMP 00000604: JUMPDEST 00000605: CALLVALUE 00000606: DUP1 00000607: ISZERO 00000608: PUSH2 0x0610 0000060b: JUMPI 0000060c: PUSH1 0x00 0000060e: DUP1 0000060f: REVERT 00000610: JUMPDEST 00000611: POP 00000612: PUSH2 0x025f 00000615: PUSH2 0x0da0 00000618: JUMP 00000619: JUMPDEST 0000061a: CALLVALUE 0000061b: DUP1 0000061c: ISZERO 0000061d: PUSH2 0x0625 00000620: JUMPI 00000621: PUSH1 0x00 00000623: DUP1 00000624: REVERT 00000625: JUMPDEST 00000626: POP 00000627: PUSH2 0x025f 0000062a: PUSH2 0x0da8 0000062d: JUMP 0000062e: JUMPDEST 0000062f: CALLVALUE 00000630: DUP1 00000631: ISZERO 00000632: PUSH2 0x063a 00000635: JUMPI 00000636: PUSH1 0x00 00000638: DUP1 00000639: REVERT 0000063a: JUMPDEST 0000063b: POP 0000063c: PUSH2 0x0286 0000063f: PUSH2 0x0db0 00000642: JUMP 00000643: JUMPDEST 00000644: PUSH2 0x0217 00000647: PUSH1 0x01 00000649: PUSH1 0xa0 0000064b: PUSH1 0x02 0000064d: EXP 0000064e: SUB 0000064f: PUSH1 0x04 00000651: CALLDATALOAD 00000652: AND 00000653: PUSH2 0x06e1 00000656: JUMP 00000657: JUMPDEST 00000658: CALLVALUE 00000659: DUP1 0000065a: ISZERO 0000065b: PUSH2 0x0663 0000065e: JUMPI 0000065f: PUSH1 0x00 00000661: DUP1 00000662: REVERT 00000663: JUMPDEST 00000664: POP 00000665: PUSH2 0x025f 00000668: PUSH2 0x0dcf 0000066b: JUMP 0000066c: JUMPDEST 0000066d: CALLVALUE 0000066e: DUP1 0000066f: ISZERO 00000670: PUSH2 0x0678 00000673: JUMPI 00000674: PUSH1 0x00 00000676: DUP1 00000677: REVERT 00000678: JUMPDEST 00000679: POP 0000067a: PUSH2 0x025f 0000067d: PUSH2 0x0dd5 00000680: JUMP 00000681: JUMPDEST 00000682: CALLVALUE 00000683: DUP1 00000684: ISZERO 00000685: PUSH2 0x068d 00000688: JUMPI 00000689: PUSH1 0x00 0000068b: DUP1 0000068c: REVERT 0000068d: JUMPDEST 0000068e: POP 0000068f: PUSH2 0x0217 00000692: PUSH1 0x01 00000694: PUSH1 0xa0 00000696: PUSH1 0x02 00000698: EXP 00000699: SUB 0000069a: PUSH1 0x04 0000069c: CALLDATALOAD 0000069d: AND 0000069e: PUSH2 0x0ddd 000006a1: JUMP 000006a2: JUMPDEST 000006a3: CALLVALUE 000006a4: DUP1 000006a5: ISZERO 000006a6: PUSH2 0x06ae 000006a9: JUMPI 000006aa: PUSH1 0x00 000006ac: DUP1 000006ad: REVERT 000006ae: JUMPDEST 000006af: POP 000006b0: PUSH2 0x025f 000006b3: PUSH2 0x0e72 000006b6: JUMP 000006b7: JUMPDEST 000006b8: CALLVALUE 000006b9: DUP1 000006ba: ISZERO 000006bb: PUSH2 0x06c3 000006be: JUMPI 000006bf: PUSH1 0x00 000006c1: DUP1 000006c2: REVERT 000006c3: JUMPDEST 000006c4: POP 000006c5: PUSH2 0x022e 000006c8: PUSH2 0x0e7a 000006cb: JUMP 000006cc: JUMPDEST 000006cd: CALLVALUE 000006ce: DUP1 000006cf: ISZERO 000006d0: PUSH2 0x06d8 000006d3: JUMPI 000006d4: PUSH1 0x00 000006d6: DUP1 000006d7: REVERT 000006d8: JUMPDEST 000006d9: POP 000006da: PUSH2 0x0286 000006dd: PUSH2 0x0e89 000006e0: JUMP 000006e1: JUMPDEST 000006e2: CALLVALUE 000006e3: PUSH1 0x00 000006e5: PUSH2 0x06ee 000006e8: DUP4 000006e9: DUP4 000006ea: PUSH2 0x0ea6 000006ed: JUMP 000006ee: JUMPDEST 000006ef: PUSH2 0x06f7 000006f2: DUP3 000006f3: PUSH2 0x0ee9 000006f6: JUMP 000006f7: JUMPDEST 000006f8: PUSH1 0x03 000006fa: SLOAD 000006fb: SWAP1 000006fc: SWAP2 000006fd: POP 000006fe: PUSH2 0x070d 00000701: SWAP1 00000702: DUP4 00000703: PUSH4 0xffffffff 00000708: PUSH2 0x0f77 0000070b: AND 0000070c: JUMP 0000070d: JUMPDEST 0000070e: PUSH1 0x03 00000710: SSTORE 00000711: PUSH2 0x071a 00000714: DUP4 00000715: DUP3 00000716: PUSH2 0x0f8a 00000719: JUMP 0000071a: JUMPDEST 0000071b: PUSH1 0x40 0000071d: DUP1 0000071e: MLOAD 0000071f: DUP4 00000720: DUP2 00000721: MSTORE 00000722: PUSH1 0x20 00000724: DUP2 00000725: ADD 00000726: DUP4 00000727: SWAP1 00000728: MSTORE 00000729: DUP2 0000072a: MLOAD 0000072b: PUSH1 0x01 0000072d: PUSH1 0xa0 0000072f: PUSH1 0x02 00000731: EXP 00000732: SUB 00000733: DUP7 00000734: AND 00000735: SWAP3 00000736: CALLER 00000737: SWAP3 00000738: PUSH32 0x623b3804fa71d67900d064613da8f94b9617215ee90799290593e1745087ad18 00000759: SWAP3 0000075a: SWAP1 0000075b: DUP2 0000075c: SWAP1 0000075d: SUB 0000075e: SWAP1 0000075f: SWAP2 00000760: ADD 00000761: SWAP1 00000762: LOG3 00000763: PUSH2 0x076c 00000766: DUP4 00000767: DUP4 00000768: PUSH2 0x0ee5 0000076b: JUMP 0000076c: JUMPDEST 0000076d: PUSH2 0x0774 00000770: PUSH2 0x103c 00000773: JUMP 00000774: JUMPDEST 00000775: PUSH2 0x077e 00000778: DUP4 00000779: DUP4 0000077a: PUSH2 0x105c 0000077d: JUMP 0000077e: JUMPDEST 0000077f: POP 00000780: POP 00000781: POP 00000782: JUMP 00000783: JUMPDEST 00000784: PUSH1 0x0b 00000786: SLOAD 00000787: PUSH1 0x01 00000789: PUSH1 0xa0 0000078b: PUSH1 0x02 0000078d: EXP 0000078e: SUB 0000078f: AND 00000790: DUP2 00000791: JUMP 00000792: JUMPDEST 00000793: PUSH4 0x5b69fa40 00000798: DUP2 00000799: JUMP 0000079a: JUMPDEST 0000079b: PUSH1 0x05 0000079d: SLOAD 0000079e: TIMESTAMP 0000079f: GT 000007a0: SWAP1 000007a1: JUMP 000007a2: JUMPDEST 000007a3: PUSH1 0x0a 000007a5: SLOAD 000007a6: PUSH1 0x01 000007a8: PUSH1 0xa0 000007aa: PUSH1 0x02 000007ac: EXP 000007ad: SUB 000007ae: AND 000007af: DUP2 000007b0: JUMP 000007b1: JUMPDEST 000007b2: PUSH1 0x0c 000007b4: SLOAD 000007b5: PUSH1 0x01 000007b7: PUSH1 0xa0 000007b9: PUSH1 0x02 000007bb: EXP 000007bc: SUB 000007bd: AND 000007be: DUP2 000007bf: JUMP 000007c0: JUMPDEST 000007c1: PUSH1 0x07 000007c3: SLOAD 000007c4: DUP2 000007c5: JUMP 000007c6: JUMPDEST 000007c7: PUSH1 0x02 000007c9: SLOAD 000007ca: DUP2 000007cb: JUMP 000007cc: JUMPDEST 000007cd: PUSH1 0x06 000007cf: SLOAD 000007d0: PUSH1 0x01 000007d2: PUSH1 0xa0 000007d4: PUSH1 0x02 000007d6: EXP 000007d7: SUB 000007d8: AND 000007d9: CALLER 000007da: EQ 000007db: PUSH2 0x07e3 000007de: JUMPI 000007df: PUSH1 0x00 000007e1: DUP1 000007e2: REVERT 000007e3: JUMPDEST 000007e4: PUSH1 0x02 000007e6: SLOAD 000007e7: DUP2 000007e8: SWAP1 000007e9: PUSH1 0x0a 000007eb: SWAP1 000007ec: DIV 000007ed: LT 000007ee: DUP1 000007ef: ISZERO 000007f0: PUSH2 0x07fd 000007f3: JUMPI 000007f4: POP 000007f5: PUSH1 0x02 000007f7: SLOAD 000007f8: PUSH1 0x0a 000007fa: MUL 000007fb: DUP2 000007fc: LT 000007fd: JUMPDEST 000007fe: ISZERO 000007ff: ISZERO 00000800: PUSH2 0x0808 00000803: JUMPI 00000804: PUSH1 0x00 00000806: DUP1 00000807: REVERT 00000808: JUMPDEST 00000809: PUSH1 0x02 0000080b: DUP2 0000080c: SWAP1 0000080d: SSTORE 0000080e: PUSH1 0x40 00000810: DUP1 00000811: MLOAD 00000812: DUP3 00000813: DUP2 00000814: MSTORE 00000815: SWAP1 00000816: MLOAD 00000817: PUSH32 0x595a30f13a69b616c4d568e2a2b7875fdfe86e4300a049953c76ee278f8f3f10 00000838: SWAP2 00000839: DUP2 0000083a: SWAP1 0000083b: SUB 0000083c: PUSH1 0x20 0000083e: ADD 0000083f: SWAP1 00000840: LOG1 00000841: POP 00000842: JUMP 00000843: JUMPDEST 00000844: PUSH1 0x03 00000846: SLOAD 00000847: DUP2 00000848: JUMP 00000849: JUMPDEST 0000084a: PUSH1 0x05 0000084c: SLOAD 0000084d: DUP2 0000084e: JUMP 0000084f: JUMPDEST 00000850: PUSH1 0x06 00000852: SLOAD 00000853: PUSH1 0x01 00000855: PUSH1 0xa0 00000857: PUSH1 0x02 00000859: EXP 0000085a: SUB 0000085b: AND 0000085c: CALLER 0000085d: EQ 0000085e: PUSH2 0x0866 00000861: JUMPI 00000862: PUSH1 0x00 00000864: DUP1 00000865: REVERT 00000866: JUMPDEST 00000867: PUSH1 0x09 00000869: SLOAD 0000086a: PUSH1 0xff 0000086c: AND 0000086d: ISZERO 0000086e: PUSH2 0x0876 00000871: JUMPI 00000872: PUSH1 0x00 00000874: DUP1 00000875: REVERT 00000876: JUMPDEST 00000877: PUSH2 0x087e 0000087a: PUSH2 0x079a 0000087d: JUMP 0000087e: JUMPDEST 0000087f: ISZERO 00000880: ISZERO 00000881: PUSH2 0x0889 00000884: JUMPI 00000885: PUSH1 0x00 00000887: DUP1 00000888: REVERT 00000889: JUMPDEST 0000088a: PUSH2 0x0891 0000088d: PUSH2 0x1073 00000890: JUMP 00000891: JUMPDEST 00000892: PUSH1 0x40 00000894: MLOAD 00000895: PUSH32 0x6823b073d48d6e3a7d385eeb601452d680e74bb46afe3255a7d778f3a9b17681 000008b6: SWAP1 000008b7: PUSH1 0x00 000008b9: SWAP1 000008ba: LOG1 000008bb: PUSH1 0x09 000008bd: DUP1 000008be: SLOAD 000008bf: PUSH1 0xff 000008c1: NOT 000008c2: AND 000008c3: PUSH1 0x01 000008c5: OR 000008c6: SWAP1 000008c7: SSTORE 000008c8: JUMP 000008c9: JUMPDEST 000008ca: PUSH1 0x09 000008cc: SLOAD 000008cd: PUSH2 0x0100 000008d0: SWAP1 000008d1: DIV 000008d2: PUSH1 0x01 000008d4: PUSH1 0xa0 000008d6: PUSH1 0x02 000008d8: EXP 000008d9: SUB 000008da: AND 000008db: DUP2 000008dc: JUMP 000008dd: JUMPDEST 000008de: PUSH1 0x01 000008e0: SLOAD 000008e1: PUSH1 0x01 000008e3: PUSH1 0xa0 000008e5: PUSH1 0x02 000008e7: EXP 000008e8: SUB 000008e9: AND 000008ea: DUP2 000008eb: JUMP 000008ec: JUMPDEST 000008ed: PUSH1 0x09 000008ef: SLOAD 000008f0: PUSH1 0x40 000008f2: DUP1 000008f3: MLOAD 000008f4: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000915: DUP2 00000916: MSTORE 00000917: PUSH1 0x01 00000919: PUSH1 0xa0 0000091b: PUSH1 0x02 0000091d: EXP 0000091e: SUB 0000091f: DUP5 00000920: DUP2 00000921: AND 00000922: PUSH1 0x04 00000924: DUP4 00000925: ADD 00000926: MSTORE 00000927: SWAP2 00000928: MLOAD 00000929: PUSH1 0x00 0000092b: SWAP4 0000092c: DUP5 0000092d: SWAP4 0000092e: DUP5 0000092f: SWAP4 00000930: PUSH2 0x0100 00000933: SWAP1 00000934: SWAP3 00000935: DIV 00000936: AND 00000937: SWAP2 00000938: PUSH4 0x70a08231 0000093d: SWAP2 0000093e: PUSH1 0x24 00000940: DUP1 00000941: DUP3 00000942: ADD 00000943: SWAP3 00000944: PUSH1 0x20 00000946: SWAP3 00000947: SWAP1 00000948: SWAP2 00000949: SWAP1 0000094a: DUP3 0000094b: SWAP1 0000094c: SUB 0000094d: ADD 0000094e: DUP2 0000094f: DUP8 00000950: DUP8 00000951: DUP1 00000952: EXTCODESIZE 00000953: ISZERO 00000954: DUP1 00000955: ISZERO 00000956: PUSH2 0x095e 00000959: JUMPI 0000095a: PUSH1 0x00 0000095c: DUP1 0000095d: REVERT 0000095e: JUMPDEST 0000095f: POP 00000960: GAS 00000961: CALL 00000962: ISZERO 00000963: DUP1 00000964: ISZERO 00000965: PUSH2 0x0972 00000968: JUMPI 00000969: RETURNDATASIZE 0000096a: PUSH1 0x00 0000096c: DUP1 0000096d: RETURNDATACOPY 0000096e: RETURNDATASIZE 0000096f: PUSH1 0x00 00000971: REVERT 00000972: JUMPDEST 00000973: POP 00000974: POP 00000975: POP 00000976: POP 00000977: PUSH1 0x40 00000979: MLOAD 0000097a: RETURNDATASIZE 0000097b: PUSH1 0x20 0000097d: DUP2 0000097e: LT 0000097f: ISZERO 00000980: PUSH2 0x0988 00000983: JUMPI 00000984: PUSH1 0x00 00000986: DUP1 00000987: REVERT 00000988: JUMPDEST 00000989: POP 0000098a: MLOAD 0000098b: SWAP2 0000098c: POP 0000098d: PUSH2 0x099e 00000990: DUP3 00000991: PUSH2 0x01c2 00000994: PUSH4 0xffffffff 00000999: PUSH2 0x13df 0000099c: AND 0000099d: JUMP 0000099e: JUMPDEST 0000099f: PUSH1 0x01 000009a1: PUSH1 0xa0 000009a3: PUSH1 0x02 000009a5: EXP 000009a6: SUB 000009a7: DUP6 000009a8: AND 000009a9: PUSH1 0x00 000009ab: SWAP1 000009ac: DUP2 000009ad: MSTORE 000009ae: PUSH1 0x08 000009b0: PUSH1 0x20 000009b2: MSTORE 000009b3: PUSH1 0x40 000009b5: SWAP1 000009b6: KECCAK256 000009b7: PUSH1 0x01 000009b9: ADD 000009ba: SLOAD 000009bb: SWAP1 000009bc: SWAP2 000009bd: POP 000009be: DUP2 000009bf: LT 000009c0: ISZERO 000009c1: PUSH2 0x09c9 000009c4: JUMPI 000009c5: PUSH1 0x00 000009c7: DUP1 000009c8: REVERT 000009c9: JUMPDEST 000009ca: PUSH1 0x01 000009cc: PUSH1 0xa0 000009ce: PUSH1 0x02 000009d0: EXP 000009d1: SUB 000009d2: DUP5 000009d3: AND 000009d4: PUSH1 0x00 000009d6: SWAP1 000009d7: DUP2 000009d8: MSTORE 000009d9: PUSH1 0x08 000009db: PUSH1 0x20 000009dd: MSTORE 000009de: PUSH1 0x40 000009e0: SWAP1 000009e1: KECCAK256 000009e2: PUSH1 0x01 000009e4: ADD 000009e5: SLOAD 000009e6: PUSH2 0x09f6 000009e9: SWAP1 000009ea: DUP3 000009eb: SWAP1 000009ec: PUSH4 0xffffffff 000009f1: PUSH2 0x13f4 000009f4: AND 000009f5: JUMP 000009f6: JUMPDEST 000009f7: SWAP5 000009f8: SWAP4 000009f9: POP 000009fa: POP 000009fb: POP 000009fc: POP 000009fd: JUMP 000009fe: JUMPDEST 000009ff: PUSH11 0x2ff9fa4cda6dd67a000000 00000a0b: DUP2 00000a0c: JUMP 00000a0d: JUMPDEST 00000a0e: PUSH4 0x5b9d64c0 00000a13: DUP2 00000a14: JUMP 00000a15: JUMPDEST 00000a16: PUSH1 0x09 00000a18: SLOAD 00000a19: PUSH1 0xff 00000a1b: AND 00000a1c: DUP2 00000a1d: JUMP 00000a1e: JUMPDEST 00000a1f: PUSH1 0x06 00000a21: SLOAD 00000a22: PUSH1 0x01 00000a24: PUSH1 0xa0 00000a26: PUSH1 0x02 00000a28: EXP 00000a29: SUB 00000a2a: AND 00000a2b: DUP2 00000a2c: JUMP 00000a2d: JUMPDEST 00000a2e: PUSH11 0x464f733baa0ae675000000 00000a3a: DUP2 00000a3b: JUMP 00000a3c: JUMPDEST 00000a3d: PUSH1 0x08 00000a3f: PUSH1 0x20 00000a41: MSTORE 00000a42: PUSH1 0x00 00000a44: SWAP1 00000a45: DUP2 00000a46: MSTORE 00000a47: PUSH1 0x40 00000a49: SWAP1 00000a4a: KECCAK256 00000a4b: DUP1 00000a4c: SLOAD 00000a4d: PUSH1 0x01 00000a4f: DUP3 00000a50: ADD 00000a51: SLOAD 00000a52: PUSH1 0x02 00000a54: SWAP1 00000a55: SWAP3 00000a56: ADD 00000a57: SLOAD 00000a58: PUSH1 0xff 00000a5a: SWAP1 00000a5b: SWAP2 00000a5c: AND 00000a5d: SWAP2 00000a5e: SWAP1 00000a5f: DUP4 00000a60: JUMP 00000a61: JUMPDEST 00000a62: PUSH4 0x5b655d00 00000a67: DUP2 00000a68: JUMP 00000a69: JUMPDEST 00000a6a: PUSH1 0x0e 00000a6c: SLOAD 00000a6d: DUP2 00000a6e: JUMP 00000a6f: JUMPDEST 00000a70: PUSH11 0x295be96e64066972000000 00000a7c: DUP2 00000a7d: JUMP 00000a7e: JUMPDEST 00000a7f: PUSH1 0x14 00000a81: DUP2 00000a82: JUMP 00000a83: JUMPDEST 00000a84: PUSH1 0x06 00000a86: SLOAD 00000a87: PUSH1 0x00 00000a89: SWAP1 00000a8a: DUP2 00000a8b: SWAP1 00000a8c: PUSH1 0x01 00000a8e: PUSH1 0xa0 00000a90: PUSH1 0x02 00000a92: EXP 00000a93: SUB 00000a94: AND 00000a95: CALLER 00000a96: EQ 00000a97: PUSH2 0x0a9f 00000a9a: JUMPI 00000a9b: PUSH1 0x00 00000a9d: DUP1 00000a9e: REVERT 00000a9f: JUMPDEST 00000aa0: PUSH2 0x0aa7 00000aa3: PUSH2 0x079a 00000aa6: JUMP 00000aa7: JUMPDEST 00000aa8: ISZERO 00000aa9: PUSH2 0x0ab1 00000aac: JUMPI 00000aad: PUSH1 0x00 00000aaf: DUP1 00000ab0: REVERT 00000ab1: JUMPDEST 00000ab2: DUP3 00000ab3: MLOAD 00000ab4: DUP5 00000ab5: MLOAD 00000ab6: EQ 00000ab7: PUSH2 0x0abf 00000aba: JUMPI 00000abb: PUSH1 0x00 00000abd: DUP1 00000abe: REVERT 00000abf: JUMPDEST 00000ac0: POP 00000ac1: PUSH1 0x00 00000ac3: SWAP1 00000ac4: POP 00000ac5: DUP1 00000ac6: JUMPDEST 00000ac7: DUP4 00000ac8: MLOAD 00000ac9: DUP2 00000aca: LT 00000acb: ISZERO 00000acc: PUSH2 0x0bde 00000acf: JUMPI 00000ad0: PUSH1 0x00 00000ad2: SLOAD 00000ad3: DUP5 00000ad4: MLOAD 00000ad5: PUSH1 0x01 00000ad7: PUSH1 0xa0 00000ad9: PUSH1 0x02 00000adb: EXP 00000adc: SUB 00000add: SWAP1 00000ade: SWAP2 00000adf: AND 00000ae0: SWAP1 00000ae1: PUSH4 0x40c10f19 00000ae6: SWAP1 00000ae7: DUP7 00000ae8: SWAP1 00000ae9: DUP5 00000aea: SWAP1 00000aeb: DUP2 00000aec: LT 00000aed: PUSH2 0x0af2 00000af0: JUMPI 00000af1: INVALID 00000af2: JUMPDEST 00000af3: SWAP1 00000af4: PUSH1 0x20 00000af6: ADD 00000af7: SWAP1 00000af8: PUSH1 0x20 00000afa: MUL 00000afb: ADD 00000afc: MLOAD 00000afd: DUP6 00000afe: DUP5 00000aff: DUP2 00000b00: MLOAD 00000b01: DUP2 00000b02: LT 00000b03: ISZERO 00000b04: ISZERO 00000b05: PUSH2 0x0b0a 00000b08: JUMPI 00000b09: INVALID 00000b0a: JUMPDEST 00000b0b: SWAP1 00000b0c: PUSH1 0x20 00000b0e: ADD 00000b0f: SWAP1 00000b10: PUSH1 0x20 00000b12: MUL 00000b13: ADD 00000b14: MLOAD 00000b15: PUSH1 0x40 00000b17: MLOAD 00000b18: DUP4 00000b19: PUSH4 0xffffffff 00000b1e: AND 00000b1f: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000b3d: MUL 00000b3e: DUP2 00000b3f: MSTORE 00000b40: PUSH1 0x04 00000b42: ADD 00000b43: DUP1 00000b44: DUP4 00000b45: PUSH1 0x01 00000b47: PUSH1 0xa0 00000b49: PUSH1 0x02 00000b4b: EXP 00000b4c: SUB 00000b4d: AND 00000b4e: PUSH1 0x01 00000b50: PUSH1 0xa0 00000b52: PUSH1 0x02 00000b54: EXP 00000b55: SUB 00000b56: AND 00000b57: DUP2 00000b58: MSTORE 00000b59: PUSH1 0x20 00000b5b: ADD 00000b5c: DUP3 00000b5d: DUP2 00000b5e: MSTORE 00000b5f: PUSH1 0x20 00000b61: ADD 00000b62: SWAP3 00000b63: POP 00000b64: POP 00000b65: POP 00000b66: PUSH1 0x20 00000b68: PUSH1 0x40 00000b6a: MLOAD 00000b6b: DUP1 00000b6c: DUP4 00000b6d: SUB 00000b6e: DUP2 00000b6f: PUSH1 0x00 00000b71: DUP8 00000b72: DUP1 00000b73: EXTCODESIZE 00000b74: ISZERO 00000b75: DUP1 00000b76: ISZERO 00000b77: PUSH2 0x0b7f 00000b7a: JUMPI 00000b7b: PUSH1 0x00 00000b7d: DUP1 00000b7e: REVERT 00000b7f: JUMPDEST 00000b80: POP 00000b81: GAS 00000b82: CALL 00000b83: ISZERO 00000b84: DUP1 00000b85: ISZERO 00000b86: PUSH2 0x0b93 00000b89: JUMPI 00000b8a: RETURNDATASIZE 00000b8b: PUSH1 0x00 00000b8d: DUP1 00000b8e: RETURNDATACOPY 00000b8f: RETURNDATASIZE 00000b90: PUSH1 0x00 00000b92: REVERT 00000b93: JUMPDEST 00000b94: POP 00000b95: POP 00000b96: POP 00000b97: POP 00000b98: PUSH1 0x40 00000b9a: MLOAD 00000b9b: RETURNDATASIZE 00000b9c: PUSH1 0x20 00000b9e: DUP2 00000b9f: LT 00000ba0: ISZERO 00000ba1: PUSH2 0x0ba9 00000ba4: JUMPI 00000ba5: PUSH1 0x00 00000ba7: DUP1 00000ba8: REVERT 00000ba9: JUMPDEST 00000baa: POP 00000bab: POP 00000bac: DUP3 00000bad: MLOAD 00000bae: PUSH2 0x0bd4 00000bb1: SWAP1 00000bb2: DUP5 00000bb3: SWAP1 00000bb4: DUP4 00000bb5: SWAP1 00000bb6: DUP2 00000bb7: LT 00000bb8: PUSH2 0x0bbd 00000bbb: JUMPI 00000bbc: INVALID 00000bbd: JUMPDEST 00000bbe: PUSH1 0x20 00000bc0: SWAP1 00000bc1: DUP2 00000bc2: MUL 00000bc3: SWAP1 00000bc4: SWAP2 00000bc5: ADD 00000bc6: ADD 00000bc7: MLOAD 00000bc8: DUP4 00000bc9: SWAP1 00000bca: PUSH4 0xffffffff 00000bcf: PUSH2 0x0f77 00000bd2: AND 00000bd3: JUMP 00000bd4: JUMPDEST 00000bd5: SWAP2 00000bd6: POP 00000bd7: PUSH1 0x01 00000bd9: ADD 00000bda: PUSH2 0x0ac6 00000bdd: JUMP 00000bde: JUMPDEST 00000bdf: PUSH1 0x0e 00000be1: SLOAD 00000be2: DUP3 00000be3: GT 00000be4: ISZERO 00000be5: PUSH2 0x0bed 00000be8: JUMPI 00000be9: PUSH1 0x00 00000beb: DUP1 00000bec: REVERT 00000bed: JUMPDEST 00000bee: PUSH1 0x0e 00000bf0: SLOAD 00000bf1: PUSH2 0x0c00 00000bf4: SWAP1 00000bf5: DUP4 00000bf6: PUSH4 0xffffffff 00000bfb: PUSH2 0x13f4 00000bfe: AND 00000bff: JUMP 00000c00: JUMPDEST 00000c01: PUSH1 0x0e 00000c03: SSTORE 00000c04: POP 00000c05: POP 00000c06: POP 00000c07: POP 00000c08: JUMP 00000c09: JUMPDEST 00000c0a: PUSH12 0x01743b34e18439b502000000 00000c17: DUP2 00000c18: JUMP 00000c19: JUMPDEST 00000c1a: PUSH1 0x04 00000c1c: SLOAD 00000c1d: DUP2 00000c1e: JUMP 00000c1f: JUMPDEST 00000c20: PUSH2 0x0c27 00000c23: PUSH2 0x079a 00000c26: JUMP 00000c27: JUMPDEST 00000c28: ISZERO 00000c29: ISZERO 00000c2a: PUSH2 0x0c32 00000c2d: JUMPI 00000c2e: PUSH1 0x00 00000c30: DUP1 00000c31: REVERT 00000c32: JUMPDEST 00000c33: PUSH2 0x0c3a 00000c36: PUSH2 0x1406 00000c39: JUMP 00000c3a: JUMPDEST 00000c3b: JUMP 00000c3c: JUMPDEST 00000c3d: PUSH1 0x0d 00000c3f: SLOAD 00000c40: PUSH1 0x01 00000c42: PUSH1 0xa0 00000c44: PUSH1 0x02 00000c46: EXP 00000c47: SUB 00000c48: AND 00000c49: DUP2 00000c4a: JUMP 00000c4b: JUMPDEST 00000c4c: PUSH1 0x06 00000c4e: SLOAD 00000c4f: PUSH1 0x00 00000c51: SWAP1 00000c52: DUP2 00000c53: SWAP1 00000c54: DUP2 00000c55: SWAP1 00000c56: DUP2 00000c57: SWAP1 00000c58: PUSH1 0x01 00000c5a: PUSH1 0xa0 00000c5c: PUSH1 0x02 00000c5e: EXP 00000c5f: SUB 00000c60: AND 00000c61: CALLER 00000c62: EQ 00000c63: PUSH2 0x0c6b 00000c66: JUMPI 00000c67: PUSH1 0x00 00000c69: DUP1 00000c6a: REVERT 00000c6b: JUMPDEST 00000c6c: PUSH1 0x00 00000c6e: SWAP4 00000c6f: POP 00000c70: JUMPDEST 00000c71: DUP5 00000c72: MLOAD 00000c73: DUP5 00000c74: LT 00000c75: ISZERO 00000c76: PUSH2 0x0d80 00000c79: JUMPI 00000c7a: DUP5 00000c7b: DUP5 00000c7c: DUP2 00000c7d: MLOAD 00000c7e: DUP2 00000c7f: LT 00000c80: ISZERO 00000c81: ISZERO 00000c82: PUSH2 0x0c87 00000c85: JUMPI 00000c86: INVALID 00000c87: JUMPDEST 00000c88: PUSH1 0x20 00000c8a: SWAP1 00000c8b: DUP2 00000c8c: MUL 00000c8d: SWAP1 00000c8e: SWAP2 00000c8f: ADD 00000c90: DUP2 00000c91: ADD 00000c92: MLOAD 00000c93: PUSH1 0x01 00000c95: PUSH1 0xa0 00000c97: PUSH1 0x02 00000c99: EXP 00000c9a: SUB 00000c9b: DUP2 00000c9c: AND 00000c9d: PUSH1 0x00 00000c9f: SWAP1 00000ca0: DUP2 00000ca1: MSTORE 00000ca2: PUSH1 0x08 00000ca4: SWAP1 00000ca5: SWAP3 00000ca6: MSTORE 00000ca7: PUSH1 0x40 00000ca9: SWAP1 00000caa: SWAP2 00000cab: KECCAK256 00000cac: DUP1 00000cad: SLOAD 00000cae: SWAP2 00000caf: SWAP5 00000cb0: POP 00000cb1: SWAP3 00000cb2: POP 00000cb3: PUSH1 0xff 00000cb5: AND 00000cb6: ISZERO 00000cb7: ISZERO 00000cb8: PUSH2 0x0d75 00000cbb: JUMPI 00000cbc: DUP2 00000cbd: SLOAD 00000cbe: PUSH1 0xff 00000cc0: NOT 00000cc1: AND 00000cc2: PUSH1 0x01 00000cc4: OR 00000cc5: DUP3 00000cc6: SSTORE 00000cc7: PUSH1 0x40 00000cc9: DUP1 00000cca: MLOAD 00000ccb: PUSH1 0x01 00000ccd: PUSH1 0xa0 00000ccf: PUSH1 0x02 00000cd1: EXP 00000cd2: SUB 00000cd3: DUP6 00000cd4: AND 00000cd5: DUP2 00000cd6: MSTORE 00000cd7: SWAP1 00000cd8: MLOAD 00000cd9: PUSH32 0x293e993e01bc214772c3f076d0b72798191877356179e95807eba63d2f8d2df2 00000cfa: SWAP2 00000cfb: DUP2 00000cfc: SWAP1 00000cfd: SUB 00000cfe: PUSH1 0x20 00000d00: ADD 00000d01: SWAP1 00000d02: LOG1 00000d03: POP 00000d04: PUSH1 0x02 00000d06: DUP2 00000d07: ADD 00000d08: SLOAD 00000d09: PUSH1 0x00 00000d0b: DUP2 00000d0c: GT 00000d0d: ISZERO 00000d0e: PUSH2 0x0d75 00000d11: JUMPI 00000d12: PUSH1 0x00 00000d14: PUSH1 0x02 00000d16: DUP4 00000d17: ADD 00000d18: SSTORE 00000d19: PUSH1 0x01 00000d1b: DUP3 00000d1c: ADD 00000d1d: SLOAD 00000d1e: PUSH2 0x0d26 00000d21: SWAP1 00000d22: PUSH2 0x14d4 00000d25: JUMP 00000d26: JUMPDEST 00000d27: PUSH2 0x0d30 00000d2a: DUP4 00000d2b: DUP3 00000d2c: PUSH2 0x1524 00000d2f: JUMP 00000d30: JUMPDEST 00000d31: PUSH1 0x40 00000d33: DUP1 00000d34: MLOAD 00000d35: PUSH1 0x01 00000d37: PUSH1 0xa0 00000d39: PUSH1 0x02 00000d3b: EXP 00000d3c: SUB 00000d3d: DUP6 00000d3e: AND 00000d3f: DUP2 00000d40: MSTORE 00000d41: PUSH1 0x20 00000d43: DUP2 00000d44: ADD 00000d45: DUP4 00000d46: SWAP1 00000d47: MSTORE 00000d48: DUP2 00000d49: MLOAD 00000d4a: PUSH32 0x8fbcf3d47879dffedfcda6d2f03ed557bea5305b6ef6484d3cc06750f13b8e0e 00000d6b: SWAP3 00000d6c: SWAP2 00000d6d: DUP2 00000d6e: SWAP1 00000d6f: SUB 00000d70: SWAP1 00000d71: SWAP2 00000d72: ADD 00000d73: SWAP1 00000d74: LOG1 00000d75: JUMPDEST 00000d76: DUP4 00000d77: PUSH1 0x01 00000d79: ADD 00000d7a: SWAP4 00000d7b: POP 00000d7c: PUSH2 0x0c70 00000d7f: JUMP 00000d80: JUMPDEST 00000d81: POP 00000d82: POP 00000d83: POP 00000d84: POP 00000d85: POP 00000d86: JUMP 00000d87: JUMPDEST 00000d88: PUSH11 0x2f2638310ba0e8d9000000 00000d94: DUP2 00000d95: JUMP 00000d96: JUMPDEST 00000d97: PUSH1 0x1e 00000d99: DUP2 00000d9a: JUMP 00000d9b: JUMPDEST 00000d9c: PUSH1 0x0a 00000d9e: DUP2 00000d9f: JUMP 00000da0: JUMPDEST 00000da1: PUSH4 0x5b8aefc0 00000da6: DUP2 00000da7: JUMP 00000da8: JUMPDEST 00000da9: PUSH4 0x5b431600 00000dae: DUP2 00000daf: JUMP 00000db0: JUMPDEST 00000db1: PUSH1 0x00 00000db3: TIMESTAMP 00000db4: PUSH4 0x5b431600 00000db9: GT 00000dba: ISZERO 00000dbb: DUP1 00000dbc: ISZERO 00000dbd: PUSH2 0x0dca 00000dc0: JUMPI 00000dc1: POP 00000dc2: PUSH4 0x5b5633c0 00000dc7: TIMESTAMP 00000dc8: GT 00000dc9: ISZERO 00000dca: JUMPDEST 00000dcb: SWAP1 00000dcc: POP 00000dcd: SWAP1 00000dce: JUMP 00000dcf: JUMPDEST 00000dd0: PUSH2 0x01c2 00000dd3: DUP2 00000dd4: JUMP 00000dd5: JUMPDEST 00000dd6: PUSH4 0x5b7334c0 00000ddb: DUP2 00000ddc: JUMP 00000ddd: JUMPDEST 00000dde: PUSH1 0x06 00000de0: SLOAD 00000de1: PUSH1 0x01 00000de3: PUSH1 0xa0 00000de5: PUSH1 0x02 00000de7: EXP 00000de8: SUB 00000de9: AND 00000dea: CALLER 00000deb: EQ 00000dec: PUSH2 0x0df4 00000def: JUMPI 00000df0: PUSH1 0x00 00000df2: DUP1 00000df3: REVERT 00000df4: JUMPDEST 00000df5: PUSH1 0x01 00000df7: PUSH1 0xa0 00000df9: PUSH1 0x02 00000dfb: EXP 00000dfc: SUB 00000dfd: DUP2 00000dfe: AND 00000dff: ISZERO 00000e00: ISZERO 00000e01: PUSH2 0x0e09 00000e04: JUMPI 00000e05: PUSH1 0x00 00000e07: DUP1 00000e08: REVERT 00000e09: JUMPDEST 00000e0a: PUSH1 0x06 00000e0c: SLOAD 00000e0d: PUSH1 0x40 00000e0f: MLOAD 00000e10: PUSH1 0x01 00000e12: PUSH1 0xa0 00000e14: PUSH1 0x02 00000e16: EXP 00000e17: SUB 00000e18: DUP1 00000e19: DUP5 00000e1a: AND 00000e1b: SWAP3 00000e1c: AND 00000e1d: SWAP1 00000e1e: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000e3f: SWAP1 00000e40: PUSH1 0x00 00000e42: SWAP1 00000e43: LOG3 00000e44: PUSH1 0x06 00000e46: DUP1 00000e47: SLOAD 00000e48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e5d: NOT 00000e5e: AND 00000e5f: PUSH1 0x01 00000e61: PUSH1 0xa0 00000e63: PUSH1 0x02 00000e65: EXP 00000e66: SUB 00000e67: SWAP3 00000e68: SWAP1 00000e69: SWAP3 00000e6a: AND 00000e6b: SWAP2 00000e6c: SWAP1 00000e6d: SWAP2 00000e6e: OR 00000e6f: SWAP1 00000e70: SSTORE 00000e71: JUMP 00000e72: JUMPDEST 00000e73: PUSH4 0x5b5633c0 00000e78: DUP2 00000e79: JUMP 00000e7a: JUMPDEST 00000e7b: PUSH1 0x00 00000e7d: SLOAD 00000e7e: PUSH1 0x01 00000e80: PUSH1 0xa0 00000e82: PUSH1 0x02 00000e84: EXP 00000e85: SUB 00000e86: AND 00000e87: DUP2 00000e88: JUMP 00000e89: JUMPDEST 00000e8a: PUSH1 0x00 00000e8c: TIMESTAMP 00000e8d: PUSH4 0x5b655d00 00000e92: GT 00000e93: ISZERO 00000e94: DUP1 00000e95: ISZERO 00000e96: PUSH2 0x0dca 00000e99: JUMPI 00000e9a: POP 00000e9b: POP 00000e9c: PUSH4 0x5b8aefc0 00000ea1: TIMESTAMP 00000ea2: GT 00000ea3: ISZERO 00000ea4: SWAP1 00000ea5: JUMP 00000ea6: JUMPDEST 00000ea7: PUSH2 0x0eb0 00000eaa: DUP3 00000eab: DUP3 00000eac: PUSH2 0x1553 00000eaf: JUMP 00000eb0: JUMPDEST 00000eb1: PUSH2 0x0eb8 00000eb4: PUSH2 0x0db0 00000eb7: JUMP 00000eb8: JUMPDEST 00000eb9: DUP1 00000eba: ISZERO 00000ebb: PUSH2 0x0ecc 00000ebe: JUMPI 00000ebf: POP 00000ec0: DUP1 00000ec1: PUSH2 0x0ec9 00000ec4: CALLER 00000ec5: PUSH2 0x08ec 00000ec8: JUMP 00000ec9: JUMPDEST 00000eca: LT 00000ecb: ISZERO 00000ecc: JUMPDEST 00000ecd: DUP1 00000ece: PUSH2 0x0eda 00000ed1: JUMPI 00000ed2: POP 00000ed3: PUSH2 0x0eda 00000ed6: PUSH2 0x0e89 00000ed9: JUMP 00000eda: JUMPDEST 00000edb: ISZERO 00000edc: ISZERO 00000edd: PUSH2 0x0ee5 00000ee0: JUMPI 00000ee1: PUSH1 0x00 00000ee3: DUP1 00000ee4: REVERT 00000ee5: JUMPDEST 00000ee6: POP 00000ee7: POP 00000ee8: JUMP 00000ee9: JUMPDEST 00000eea: PUSH1 0x00 00000eec: DUP1 00000eed: PUSH2 0x0ef5 00000ef0: DUP4 00000ef1: PUSH2 0x1572 00000ef4: JUMP 00000ef5: JUMPDEST 00000ef6: SWAP1 00000ef7: POP 00000ef8: PUSH4 0x5b5633c0 00000efd: TIMESTAMP 00000efe: GT 00000eff: PUSH2 0x0f2b 00000f02: JUMPI 00000f03: PUSH2 0x0f24 00000f06: PUSH1 0x64 00000f08: PUSH2 0x0f18 00000f0b: DUP4 00000f0c: PUSH1 0x82 00000f0e: PUSH4 0xffffffff 00000f13: PUSH2 0x1589 00000f16: AND 00000f17: JUMP 00000f18: JUMPDEST 00000f19: SWAP1 00000f1a: PUSH4 0xffffffff 00000f1f: PUSH2 0x13df 00000f22: AND 00000f23: JUMP 00000f24: JUMPDEST 00000f25: SWAP2 00000f26: POP 00000f27: PUSH2 0x0f71 00000f2a: JUMP 00000f2b: JUMPDEST 00000f2c: PUSH4 0x5b69fa40 00000f31: TIMESTAMP 00000f32: GT 00000f33: PUSH2 0x0f4c 00000f36: JUMPI 00000f37: PUSH2 0x0f24 00000f3a: PUSH1 0x64 00000f3c: PUSH2 0x0f18 00000f3f: DUP4 00000f40: PUSH1 0x78 00000f42: PUSH4 0xffffffff 00000f47: PUSH2 0x1589 00000f4a: AND 00000f4b: JUMP 00000f4c: JUMPDEST 00000f4d: PUSH4 0x5b7334c0 00000f52: TIMESTAMP 00000f53: GT 00000f54: PUSH2 0x0f6d 00000f57: JUMPI 00000f58: PUSH2 0x0f24 00000f5b: PUSH1 0x64 00000f5d: PUSH2 0x0f18 00000f60: DUP4 00000f61: PUSH1 0x6e 00000f63: PUSH4 0xffffffff 00000f68: PUSH2 0x1589 00000f6b: AND 00000f6c: JUMP 00000f6d: JUMPDEST 00000f6e: DUP1 00000f6f: SWAP2 00000f70: POP 00000f71: JUMPDEST 00000f72: POP 00000f73: SWAP2 00000f74: SWAP1 00000f75: POP 00000f76: JUMP 00000f77: JUMPDEST 00000f78: DUP2 00000f79: DUP2 00000f7a: ADD 00000f7b: DUP3 00000f7c: DUP2 00000f7d: LT 00000f7e: ISZERO 00000f7f: PUSH2 0x0f84 00000f82: JUMPI 00000f83: INVALID 00000f84: JUMPDEST 00000f85: SWAP3 00000f86: SWAP2 00000f87: POP 00000f88: POP 00000f89: JUMP 00000f8a: JUMPDEST 00000f8b: CALLER 00000f8c: PUSH1 0x00 00000f8e: SWAP1 00000f8f: DUP2 00000f90: MSTORE 00000f91: PUSH1 0x08 00000f93: PUSH1 0x20 00000f95: MSTORE 00000f96: PUSH1 0x40 00000f98: SWAP1 00000f99: KECCAK256 00000f9a: PUSH1 0x01 00000f9c: DUP2 00000f9d: ADD 00000f9e: SLOAD 00000f9f: PUSH2 0x0fae 00000fa2: SWAP1 00000fa3: CALLVALUE 00000fa4: PUSH4 0xffffffff 00000fa9: PUSH2 0x0f77 00000fac: AND 00000fad: JUMP 00000fae: JUMPDEST 00000faf: PUSH1 0x01 00000fb1: DUP3 00000fb2: ADD 00000fb3: SSTORE 00000fb4: DUP1 00000fb5: SLOAD 00000fb6: PUSH1 0xff 00000fb8: AND 00000fb9: ISZERO 00000fba: PUSH2 0x1007 00000fbd: JUMPI 00000fbe: PUSH2 0x0fc7 00000fc1: CALLER 00000fc2: DUP4 00000fc3: PUSH2 0x1524 00000fc6: JUMP 00000fc7: JUMPDEST 00000fc8: PUSH1 0x40 00000fca: DUP1 00000fcb: MLOAD 00000fcc: CALLER 00000fcd: DUP2 00000fce: MSTORE 00000fcf: PUSH1 0x20 00000fd1: DUP2 00000fd2: ADD 00000fd3: DUP5 00000fd4: SWAP1 00000fd5: MSTORE 00000fd6: DUP2 00000fd7: MLOAD 00000fd8: PUSH32 0x8fbcf3d47879dffedfcda6d2f03ed557bea5305b6ef6484d3cc06750f13b8e0e 00000ff9: SWAP3 00000ffa: SWAP2 00000ffb: DUP2 00000ffc: SWAP1 00000ffd: SUB 00000ffe: SWAP1 00000fff: SWAP2 00001000: ADD 00001001: SWAP1 00001002: LOG1 00001003: PUSH2 0x077e 00001006: JUMP 00001007: JUMPDEST 00001008: PUSH1 0x02 0000100a: DUP2 0000100b: ADD 0000100c: SLOAD 0000100d: PUSH2 0x101c 00001010: SWAP1 00001011: DUP4 00001012: PUSH4 0xffffffff 00001017: PUSH2 0x0f77 0000101a: AND 0000101b: JUMP 0000101c: JUMPDEST 0000101d: PUSH1 0x02 0000101f: DUP3 00001020: ADD 00001021: SSTORE 00001022: PUSH1 0x07 00001024: SLOAD 00001025: PUSH2 0x1034 00001028: SWAP1 00001029: CALLVALUE 0000102a: PUSH4 0xffffffff 0000102f: PUSH2 0x0f77 00001032: AND 00001033: JUMP 00001034: JUMPDEST 00001035: PUSH1 0x07 00001037: SSTORE 00001038: POP 00001039: POP 0000103a: POP 0000103b: JUMP 0000103c: JUMPDEST 0000103d: CALLER 0000103e: PUSH1 0x00 00001040: SWAP1 00001041: DUP2 00001042: MSTORE 00001043: PUSH1 0x08 00001045: PUSH1 0x20 00001047: MSTORE 00001048: PUSH1 0x40 0000104a: SWAP1 0000104b: KECCAK256 0000104c: SLOAD 0000104d: PUSH1 0xff 0000104f: AND 00001050: ISZERO 00001051: PUSH2 0x0c3a 00001054: JUMPI 00001055: PUSH2 0x0c3a 00001058: PUSH2 0x15b2 0000105b: JUMP 0000105c: JUMPDEST 0000105d: PUSH2 0x1066 00001060: CALLER 00001061: DUP3 00001062: PUSH2 0x0ee5 00001065: JUMP 00001066: JUMPDEST 00001067: PUSH1 0x07 00001069: SLOAD 0000106a: ADDRESS 0000106b: BALANCE 0000106c: LT 0000106d: ISZERO 0000106e: PUSH2 0x0ee5 00001071: JUMPI 00001072: INVALID 00001073: JUMPDEST 00001074: PUSH4 0x5b9d64c0 00001079: TIMESTAMP 0000107a: LT 0000107b: ISZERO 0000107c: PUSH2 0x1084 0000107f: JUMPI 00001080: PUSH1 0x00 00001082: DUP1 00001083: REVERT 00001084: JUMPDEST 00001085: PUSH1 0x00 00001087: DUP1 00001088: SLOAD 00001089: PUSH1 0x0a 0000108b: SLOAD 0000108c: PUSH1 0x40 0000108e: DUP1 0000108f: MLOAD 00001090: PUSH1 0xe0 00001092: PUSH1 0x02 00001094: EXP 00001095: PUSH4 0x40c10f19 0000109a: MUL 0000109b: DUP2 0000109c: MSTORE 0000109d: PUSH1 0x01 0000109f: PUSH1 0xa0 000010a1: PUSH1 0x02 000010a3: EXP 000010a4: SUB 000010a5: SWAP3 000010a6: DUP4 000010a7: AND 000010a8: PUSH1 0x04 000010aa: DUP3 000010ab: ADD 000010ac: MSTORE 000010ad: PUSH11 0x464f733baa0ae675000000 000010b9: PUSH1 0x24 000010bb: DUP3 000010bc: ADD 000010bd: MSTORE 000010be: SWAP1 000010bf: MLOAD 000010c0: SWAP2 000010c1: SWAP1 000010c2: SWAP3 000010c3: AND 000010c4: SWAP3 000010c5: PUSH4 0x40c10f19 000010ca: SWAP3 000010cb: PUSH1 0x44 000010cd: DUP1 000010ce: DUP3 000010cf: ADD 000010d0: SWAP4 000010d1: PUSH1 0x20 000010d3: SWAP4 000010d4: SWAP1 000010d5: SWAP3 000010d6: DUP4 000010d7: SWAP1 000010d8: SUB 000010d9: SWAP1 000010da: SWAP2 000010db: ADD 000010dc: SWAP1 000010dd: DUP3 000010de: SWAP1 000010df: DUP8 000010e0: DUP1 000010e1: EXTCODESIZE 000010e2: ISZERO 000010e3: DUP1 000010e4: ISZERO 000010e5: PUSH2 0x10ed 000010e8: JUMPI 000010e9: PUSH1 0x00 000010eb: DUP1 000010ec: REVERT 000010ed: JUMPDEST 000010ee: POP 000010ef: GAS 000010f0: CALL 000010f1: ISZERO 000010f2: DUP1 000010f3: ISZERO 000010f4: PUSH2 0x1101 000010f7: JUMPI 000010f8: RETURNDATASIZE 000010f9: PUSH1 0x00 000010fb: DUP1 000010fc: RETURNDATACOPY 000010fd: RETURNDATASIZE 000010fe: PUSH1 0x00 00001100: REVERT 00001101: JUMPDEST 00001102: POP 00001103: POP 00001104: POP 00001105: POP 00001106: PUSH1 0x40 00001108: MLOAD 00001109: RETURNDATASIZE 0000110a: PUSH1 0x20 0000110c: DUP2 0000110d: LT 0000110e: ISZERO 0000110f: PUSH2 0x1117 00001112: JUMPI 00001113: PUSH1 0x00 00001115: DUP1 00001116: REVERT 00001117: JUMPDEST 00001118: POP 00001119: POP 0000111a: PUSH1 0x00 0000111c: DUP1 0000111d: SLOAD 0000111e: PUSH1 0x0b 00001120: SLOAD 00001121: PUSH1 0x40 00001123: DUP1 00001124: MLOAD 00001125: PUSH1 0xe0 00001127: PUSH1 0x02 00001129: EXP 0000112a: PUSH4 0x40c10f19 0000112f: MUL 00001130: DUP2 00001131: MSTORE 00001132: PUSH1 0x01 00001134: PUSH1 0xa0 00001136: PUSH1 0x02 00001138: EXP 00001139: SUB 0000113a: SWAP3 0000113b: DUP4 0000113c: AND 0000113d: PUSH1 0x04 0000113f: DUP3 00001140: ADD 00001141: MSTORE 00001142: PUSH11 0x2ff9fa4cda6dd67a000000 0000114e: PUSH1 0x24 00001150: DUP3 00001151: ADD 00001152: MSTORE 00001153: SWAP1 00001154: MLOAD 00001155: SWAP2 00001156: SWAP1 00001157: SWAP3 00001158: AND 00001159: SWAP3 0000115a: PUSH4 0x40c10f19 0000115f: SWAP3 00001160: PUSH1 0x44 00001162: DUP1 00001163: DUP3 00001164: ADD 00001165: SWAP4 00001166: PUSH1 0x20 00001168: SWAP4 00001169: SWAP1 0000116a: SWAP3 0000116b: DUP4 0000116c: SWAP1 0000116d: SUB 0000116e: SWAP1 0000116f: SWAP2 00001170: ADD 00001171: SWAP1 00001172: DUP3 00001173: SWAP1 00001174: DUP8 00001175: DUP1 00001176: EXTCODESIZE 00001177: ISZERO 00001178: DUP1 00001179: ISZERO 0000117a: PUSH2 0x1182 0000117d: JUMPI 0000117e: PUSH1 0x00 00001180: DUP1 00001181: REVERT 00001182: JUMPDEST 00001183: POP 00001184: GAS 00001185: CALL 00001186: ISZERO 00001187: DUP1 00001188: ISZERO 00001189: PUSH2 0x1196 0000118c: JUMPI 0000118d: RETURNDATASIZE 0000118e: PUSH1 0x00 00001190: DUP1 00001191: RETURNDATACOPY 00001192: RETURNDATASIZE 00001193: PUSH1 0x00 00001195: REVERT 00001196: JUMPDEST 00001197: POP 00001198: POP 00001199: POP 0000119a: POP 0000119b: PUSH1 0x40 0000119d: MLOAD 0000119e: RETURNDATASIZE 0000119f: PUSH1 0x20 000011a1: DUP2 000011a2: LT 000011a3: ISZERO 000011a4: PUSH2 0x11ac 000011a7: JUMPI 000011a8: PUSH1 0x00 000011aa: DUP1 000011ab: REVERT 000011ac: JUMPDEST 000011ad: POP 000011ae: POP 000011af: PUSH1 0x00 000011b1: DUP1 000011b2: SLOAD 000011b3: PUSH1 0x0c 000011b5: SLOAD 000011b6: PUSH1 0x40 000011b8: DUP1 000011b9: MLOAD 000011ba: PUSH1 0xe0 000011bc: PUSH1 0x02 000011be: EXP 000011bf: PUSH4 0x40c10f19 000011c4: MUL 000011c5: DUP2 000011c6: MSTORE 000011c7: PUSH1 0x01 000011c9: PUSH1 0xa0 000011cb: PUSH1 0x02 000011cd: EXP 000011ce: SUB 000011cf: SWAP3 000011d0: DUP4 000011d1: AND 000011d2: PUSH1 0x04 000011d4: DUP3 000011d5: ADD 000011d6: MSTORE 000011d7: PUSH11 0x2f2638310ba0e8d9000000 000011e3: PUSH1 0x24 000011e5: DUP3 000011e6: ADD 000011e7: MSTORE 000011e8: SWAP1 000011e9: MLOAD 000011ea: SWAP2 000011eb: SWAP1 000011ec: SWAP3 000011ed: AND 000011ee: SWAP3 000011ef: PUSH4 0x40c10f19 000011f4: SWAP3 000011f5: PUSH1 0x44 000011f7: DUP1 000011f8: DUP3 000011f9: ADD 000011fa: SWAP4 000011fb: PUSH1 0x20 000011fd: SWAP4 000011fe: SWAP1 000011ff: SWAP3 00001200: DUP4 00001201: SWAP1 00001202: SUB 00001203: SWAP1 00001204: SWAP2 00001205: ADD 00001206: SWAP1 00001207: DUP3 00001208: SWAP1 00001209: DUP8 0000120a: DUP1 0000120b: EXTCODESIZE 0000120c: ISZERO 0000120d: DUP1 0000120e: ISZERO 0000120f: PUSH2 0x1217 00001212: JUMPI 00001213: PUSH1 0x00 00001215: DUP1 00001216: REVERT 00001217: JUMPDEST 00001218: POP 00001219: GAS 0000121a: CALL 0000121b: ISZERO 0000121c: DUP1 0000121d: ISZERO 0000121e: PUSH2 0x122b 00001221: JUMPI 00001222: RETURNDATASIZE 00001223: PUSH1 0x00 00001225: DUP1 00001226: RETURNDATACOPY 00001227: RETURNDATASIZE 00001228: PUSH1 0x00 0000122a: REVERT 0000122b: JUMPDEST 0000122c: POP 0000122d: POP 0000122e: POP 0000122f: POP 00001230: PUSH1 0x40 00001232: MLOAD 00001233: RETURNDATASIZE 00001234: PUSH1 0x20 00001236: DUP2 00001237: LT 00001238: ISZERO 00001239: PUSH2 0x1241 0000123c: JUMPI 0000123d: PUSH1 0x00 0000123f: DUP1 00001240: REVERT 00001241: JUMPDEST 00001242: POP 00001243: POP 00001244: PUSH1 0x00 00001246: DUP1 00001247: SLOAD 00001248: PUSH1 0x0d 0000124a: SLOAD 0000124b: PUSH1 0x40 0000124d: DUP1 0000124e: MLOAD 0000124f: PUSH1 0xe0 00001251: PUSH1 0x02 00001253: EXP 00001254: PUSH4 0x40c10f19 00001259: MUL 0000125a: DUP2 0000125b: MSTORE 0000125c: PUSH1 0x01 0000125e: PUSH1 0xa0 00001260: PUSH1 0x02 00001262: EXP 00001263: SUB 00001264: SWAP3 00001265: DUP4 00001266: AND 00001267: PUSH1 0x04 00001269: DUP3 0000126a: ADD 0000126b: MSTORE 0000126c: PUSH11 0x295be96e64066972000000 00001278: PUSH1 0x24 0000127a: DUP3 0000127b: ADD 0000127c: MSTORE 0000127d: SWAP1 0000127e: MLOAD 0000127f: SWAP2 00001280: SWAP1 00001281: SWAP3 00001282: AND 00001283: SWAP3 00001284: PUSH4 0x40c10f19 00001289: SWAP3 0000128a: PUSH1 0x44 0000128c: DUP1 0000128d: DUP3 0000128e: ADD 0000128f: SWAP4 00001290: PUSH1 0x20 00001292: SWAP4 00001293: SWAP1 00001294: SWAP3 00001295: DUP4 00001296: SWAP1 00001297: SUB 00001298: SWAP1 00001299: SWAP2 0000129a: ADD 0000129b: SWAP1 0000129c: DUP3 0000129d: SWAP1 0000129e: DUP8 0000129f: DUP1 000012a0: EXTCODESIZE 000012a1: ISZERO 000012a2: DUP1 000012a3: ISZERO 000012a4: PUSH2 0x12ac 000012a7: JUMPI 000012a8: PUSH1 0x00 000012aa: DUP1 000012ab: REVERT 000012ac: JUMPDEST 000012ad: POP 000012ae: GAS 000012af: CALL 000012b0: ISZERO 000012b1: DUP1 000012b2: ISZERO 000012b3: PUSH2 0x12c0 000012b6: JUMPI 000012b7: RETURNDATASIZE 000012b8: PUSH1 0x00 000012ba: DUP1 000012bb: RETURNDATACOPY 000012bc: RETURNDATASIZE 000012bd: PUSH1 0x00 000012bf: REVERT 000012c0: JUMPDEST 000012c1: POP 000012c2: POP 000012c3: POP 000012c4: POP 000012c5: PUSH1 0x40 000012c7: MLOAD 000012c8: RETURNDATASIZE 000012c9: PUSH1 0x20 000012cb: DUP2 000012cc: LT 000012cd: ISZERO 000012ce: PUSH2 0x12d6 000012d1: JUMPI 000012d2: PUSH1 0x00 000012d4: DUP1 000012d5: REVERT 000012d6: JUMPDEST 000012d7: POP 000012d8: POP 000012d9: PUSH1 0x00 000012db: DUP1 000012dc: SLOAD 000012dd: PUSH1 0x40 000012df: DUP1 000012e0: MLOAD 000012e1: PUSH32 0x7d64bcb400000000000000000000000000000000000000000000000000000000 00001302: DUP2 00001303: MSTORE 00001304: SWAP1 00001305: MLOAD 00001306: PUSH1 0x01 00001308: PUSH1 0xa0 0000130a: PUSH1 0x02 0000130c: EXP 0000130d: SUB 0000130e: SWAP1 0000130f: SWAP3 00001310: AND 00001311: SWAP3 00001312: PUSH4 0x7d64bcb4 00001317: SWAP3 00001318: PUSH1 0x04 0000131a: DUP1 0000131b: DUP5 0000131c: ADD 0000131d: SWAP4 0000131e: PUSH1 0x20 00001320: SWAP4 00001321: SWAP1 00001322: DUP4 00001323: SWAP1 00001324: SUB 00001325: SWAP1 00001326: SWAP2 00001327: ADD 00001328: SWAP1 00001329: DUP3 0000132a: SWAP1 0000132b: DUP8 0000132c: DUP1 0000132d: EXTCODESIZE 0000132e: ISZERO 0000132f: DUP1 00001330: ISZERO 00001331: PUSH2 0x1339 00001334: JUMPI 00001335: PUSH1 0x00 00001337: DUP1 00001338: REVERT 00001339: JUMPDEST 0000133a: POP 0000133b: GAS 0000133c: CALL 0000133d: ISZERO 0000133e: DUP1 0000133f: ISZERO 00001340: PUSH2 0x134d 00001343: JUMPI 00001344: RETURNDATASIZE 00001345: PUSH1 0x00 00001347: DUP1 00001348: RETURNDATACOPY 00001349: RETURNDATASIZE 0000134a: PUSH1 0x00 0000134c: REVERT 0000134d: JUMPDEST 0000134e: POP 0000134f: POP 00001350: POP 00001351: POP 00001352: PUSH1 0x40 00001354: MLOAD 00001355: RETURNDATASIZE 00001356: PUSH1 0x20 00001358: DUP2 00001359: LT 0000135a: ISZERO 0000135b: PUSH2 0x1363 0000135e: JUMPI 0000135f: PUSH1 0x00 00001361: DUP1 00001362: REVERT 00001363: JUMPDEST 00001364: POP 00001365: POP 00001366: PUSH1 0x00 00001368: DUP1 00001369: SLOAD 0000136a: PUSH1 0x40 0000136c: DUP1 0000136d: MLOAD 0000136e: PUSH32 0x3f4ba83a00000000000000000000000000000000000000000000000000000000 0000138f: DUP2 00001390: MSTORE 00001391: SWAP1 00001392: MLOAD 00001393: PUSH1 0x01 00001395: PUSH1 0xa0 00001397: PUSH1 0x02 00001399: EXP 0000139a: SUB 0000139b: SWAP1 0000139c: SWAP3 0000139d: AND 0000139e: SWAP3 0000139f: PUSH4 0x3f4ba83a 000013a4: SWAP3 000013a5: PUSH1 0x04 000013a7: DUP1 000013a8: DUP5 000013a9: ADD 000013aa: SWAP4 000013ab: DUP3 000013ac: SWAP1 000013ad: SUB 000013ae: ADD 000013af: DUP2 000013b0: DUP4 000013b1: DUP8 000013b2: DUP1 000013b3: EXTCODESIZE 000013b4: ISZERO 000013b5: DUP1 000013b6: ISZERO 000013b7: PUSH2 0x13bf 000013ba: JUMPI 000013bb: PUSH1 0x00 000013bd: DUP1 000013be: REVERT 000013bf: JUMPDEST 000013c0: POP 000013c1: GAS 000013c2: CALL 000013c3: ISZERO 000013c4: DUP1 000013c5: ISZERO 000013c6: PUSH2 0x13d3 000013c9: JUMPI 000013ca: RETURNDATASIZE 000013cb: PUSH1 0x00 000013cd: DUP1 000013ce: RETURNDATACOPY 000013cf: RETURNDATASIZE 000013d0: PUSH1 0x00 000013d2: REVERT 000013d3: JUMPDEST 000013d4: POP 000013d5: POP 000013d6: POP 000013d7: POP 000013d8: PUSH2 0x0c3a 000013db: PUSH2 0x0c3a 000013de: JUMP 000013df: JUMPDEST 000013e0: PUSH1 0x00 000013e2: DUP2 000013e3: DUP4 000013e4: DUP2 000013e5: ISZERO 000013e6: ISZERO 000013e7: PUSH2 0x13ec 000013ea: JUMPI 000013eb: INVALID 000013ec: JUMPDEST 000013ed: DIV 000013ee: SWAP4 000013ef: SWAP3 000013f0: POP 000013f1: POP 000013f2: POP 000013f3: JUMP 000013f4: JUMPDEST 000013f5: PUSH1 0x00 000013f7: DUP3 000013f8: DUP3 000013f9: GT 000013fa: ISZERO 000013fb: PUSH2 0x1400 000013fe: JUMPI 000013ff: INVALID 00001400: JUMPDEST 00001401: POP 00001402: SWAP1 00001403: SUB 00001404: SWAP1 00001405: JUMP 00001406: JUMPDEST 00001407: CALLER 00001408: PUSH1 0x00 0000140a: SWAP1 0000140b: DUP2 0000140c: MSTORE 0000140d: PUSH1 0x08 0000140f: PUSH1 0x20 00001411: MSTORE 00001412: PUSH1 0x40 00001414: DUP2 00001415: KECCAK256 00001416: DUP1 00001417: SLOAD 00001418: SWAP1 00001419: SWAP2 0000141a: SWAP1 0000141b: PUSH1 0xff 0000141d: AND 0000141e: ISZERO 0000141f: PUSH2 0x1427 00001422: JUMPI 00001423: PUSH1 0x00 00001425: DUP1 00001426: REVERT 00001427: JUMPDEST 00001428: POP 00001429: PUSH1 0x01 0000142b: DUP2 0000142c: ADD 0000142d: SLOAD 0000142e: PUSH1 0x00 00001430: DUP2 00001431: GT 00001432: PUSH2 0x143a 00001435: JUMPI 00001436: PUSH1 0x00 00001438: DUP1 00001439: REVERT 0000143a: JUMPDEST 0000143b: PUSH1 0x00 0000143d: PUSH1 0x01 0000143f: DUP4 00001440: ADD 00001441: DUP2 00001442: SWAP1 00001443: SSTORE 00001444: PUSH1 0x02 00001446: DUP4 00001447: ADD 00001448: SSTORE 00001449: PUSH1 0x07 0000144b: SLOAD 0000144c: PUSH2 0x145b 0000144f: SWAP1 00001450: DUP3 00001451: PUSH4 0xffffffff 00001456: PUSH2 0x13f4 00001459: AND 0000145a: JUMP 0000145b: JUMPDEST 0000145c: PUSH1 0x07 0000145e: SSTORE 0000145f: PUSH1 0x40 00001461: MLOAD 00001462: CALLER 00001463: SWAP1 00001464: DUP3 00001465: ISZERO 00001466: PUSH2 0x08fc 00001469: MUL 0000146a: SWAP1 0000146b: DUP4 0000146c: SWAP1 0000146d: PUSH1 0x00 0000146f: DUP2 00001470: DUP2 00001471: DUP2 00001472: DUP6 00001473: DUP9 00001474: DUP9 00001475: CALL 00001476: SWAP4 00001477: POP 00001478: POP 00001479: POP 0000147a: POP 0000147b: ISZERO 0000147c: DUP1 0000147d: ISZERO 0000147e: PUSH2 0x148b 00001481: JUMPI 00001482: RETURNDATASIZE 00001483: PUSH1 0x00 00001485: DUP1 00001486: RETURNDATACOPY 00001487: RETURNDATASIZE 00001488: PUSH1 0x00 0000148a: REVERT 0000148b: JUMPDEST 0000148c: POP 0000148d: PUSH1 0x40 0000148f: DUP1 00001490: MLOAD 00001491: CALLER 00001492: DUP2 00001493: MSTORE 00001494: PUSH1 0x20 00001496: DUP2 00001497: ADD 00001498: DUP4 00001499: SWAP1 0000149a: MSTORE 0000149b: DUP2 0000149c: MLOAD 0000149d: PUSH32 0xca2b4d68e42b50bb8686d4e808d2fb68c569d9b8f497cc8784d7fe315d889e87 000014be: SWAP3 000014bf: SWAP2 000014c0: DUP2 000014c1: SWAP1 000014c2: SUB 000014c3: SWAP1 000014c4: SWAP2 000014c5: ADD 000014c6: SWAP1 000014c7: LOG1 000014c8: PUSH1 0x07 000014ca: SLOAD 000014cb: ADDRESS 000014cc: BALANCE 000014cd: LT 000014ce: ISZERO 000014cf: PUSH2 0x0ee5 000014d2: JUMPI 000014d3: INVALID 000014d4: JUMPDEST 000014d5: PUSH1 0x07 000014d7: SLOAD 000014d8: PUSH2 0x14e7 000014db: SWAP1 000014dc: DUP3 000014dd: PUSH4 0xffffffff 000014e2: PUSH2 0x13f4 000014e5: AND 000014e6: JUMP 000014e7: JUMPDEST 000014e8: PUSH1 0x07 000014ea: SSTORE 000014eb: PUSH1 0x01 000014ed: SLOAD 000014ee: PUSH1 0x40 000014f0: MLOAD 000014f1: PUSH1 0x01 000014f3: PUSH1 0xa0 000014f5: PUSH1 0x02 000014f7: EXP 000014f8: SUB 000014f9: SWAP1 000014fa: SWAP2 000014fb: AND 000014fc: SWAP1 000014fd: DUP3 000014fe: ISZERO 000014ff: PUSH2 0x08fc 00001502: MUL 00001503: SWAP1 00001504: DUP4 00001505: SWAP1 00001506: PUSH1 0x00 00001508: DUP2 00001509: DUP2 0000150a: DUP2 0000150b: DUP6 0000150c: DUP9 0000150d: DUP9 0000150e: CALL 0000150f: SWAP4 00001510: POP 00001511: POP 00001512: POP 00001513: POP 00001514: ISZERO 00001515: DUP1 00001516: ISZERO 00001517: PUSH2 0x0ee5 0000151a: JUMPI 0000151b: RETURNDATASIZE 0000151c: PUSH1 0x00 0000151e: DUP1 0000151f: RETURNDATACOPY 00001520: RETURNDATASIZE 00001521: PUSH1 0x00 00001523: REVERT 00001524: JUMPDEST 00001525: PUSH1 0x0e 00001527: SLOAD 00001528: DUP2 00001529: GT 0000152a: ISZERO 0000152b: PUSH2 0x1533 0000152e: JUMPI 0000152f: PUSH1 0x00 00001531: DUP1 00001532: REVERT 00001533: JUMPDEST 00001534: PUSH1 0x0e 00001536: SLOAD 00001537: PUSH2 0x1546 0000153a: SWAP1 0000153b: DUP3 0000153c: PUSH4 0xffffffff 00001541: PUSH2 0x13f4 00001544: AND 00001545: JUMP 00001546: JUMPDEST 00001547: PUSH1 0x0e 00001549: SSTORE 0000154a: PUSH2 0x0ee5 0000154d: DUP3 0000154e: DUP3 0000154f: PUSH2 0x15ee 00001552: JUMP 00001553: JUMPDEST 00001554: PUSH1 0x01 00001556: PUSH1 0xa0 00001558: PUSH1 0x02 0000155a: EXP 0000155b: SUB 0000155c: DUP3 0000155d: AND 0000155e: CALLER 0000155f: EQ 00001560: PUSH2 0x1568 00001563: JUMPI 00001564: PUSH1 0x00 00001566: DUP1 00001567: REVERT 00001568: JUMPDEST 00001569: PUSH2 0x0ee5 0000156c: DUP3 0000156d: DUP3 0000156e: PUSH2 0x1681 00001571: JUMP 00001572: JUMPDEST 00001573: PUSH1 0x00 00001575: PUSH2 0x0f84 00001578: PUSH1 0x02 0000157a: SLOAD 0000157b: DUP4 0000157c: PUSH2 0x1589 0000157f: SWAP1 00001580: SWAP2 00001581: SWAP1 00001582: PUSH4 0xffffffff 00001587: AND 00001588: JUMP 00001589: JUMPDEST 0000158a: PUSH1 0x00 0000158c: DUP3 0000158d: ISZERO 0000158e: ISZERO 0000158f: PUSH2 0x159a 00001592: JUMPI 00001593: POP 00001594: PUSH1 0x00 00001596: PUSH2 0x0f84 00001599: JUMP 0000159a: JUMPDEST 0000159b: POP 0000159c: DUP2 0000159d: DUP2 0000159e: MUL 0000159f: DUP2 000015a0: DUP4 000015a1: DUP3 000015a2: DUP2 000015a3: ISZERO 000015a4: ISZERO 000015a5: PUSH2 0x15aa 000015a8: JUMPI 000015a9: INVALID 000015aa: JUMPDEST 000015ab: DIV 000015ac: EQ 000015ad: PUSH2 0x0f84 000015b0: JUMPI 000015b1: INVALID 000015b2: JUMPDEST 000015b3: PUSH1 0x01 000015b5: SLOAD 000015b6: PUSH1 0x40 000015b8: MLOAD 000015b9: PUSH1 0x01 000015bb: PUSH1 0xa0 000015bd: PUSH1 0x02 000015bf: EXP 000015c0: SUB 000015c1: SWAP1 000015c2: SWAP2 000015c3: AND 000015c4: SWAP1 000015c5: CALLVALUE 000015c6: DUP1 000015c7: ISZERO 000015c8: PUSH2 0x08fc 000015cb: MUL 000015cc: SWAP2 000015cd: PUSH1 0x00 000015cf: DUP2 000015d0: DUP2 000015d1: DUP2 000015d2: DUP6 000015d3: DUP9 000015d4: DUP9 000015d5: CALL 000015d6: SWAP4 000015d7: POP 000015d8: POP 000015d9: POP 000015da: POP 000015db: ISZERO 000015dc: DUP1 000015dd: ISZERO 000015de: PUSH2 0x15eb 000015e1: JUMPI 000015e2: RETURNDATASIZE 000015e3: PUSH1 0x00 000015e5: DUP1 000015e6: RETURNDATACOPY 000015e7: RETURNDATASIZE 000015e8: PUSH1 0x00 000015ea: REVERT 000015eb: JUMPDEST 000015ec: POP 000015ed: JUMP 000015ee: JUMPDEST 000015ef: PUSH1 0x00 000015f1: DUP1 000015f2: SLOAD 000015f3: PUSH1 0x40 000015f5: DUP1 000015f6: MLOAD 000015f7: PUSH1 0xe0 000015f9: PUSH1 0x02 000015fb: EXP 000015fc: PUSH4 0x40c10f19 00001601: MUL 00001602: DUP2 00001603: MSTORE 00001604: PUSH1 0x01 00001606: PUSH1 0xa0 00001608: PUSH1 0x02 0000160a: EXP 0000160b: SUB 0000160c: DUP7 0000160d: DUP2 0000160e: AND 0000160f: PUSH1 0x04 00001611: DUP4 00001612: ADD 00001613: MSTORE 00001614: PUSH1 0x24 00001616: DUP3 00001617: ADD 00001618: DUP7 00001619: SWAP1 0000161a: MSTORE 0000161b: SWAP2 0000161c: MLOAD 0000161d: SWAP2 0000161e: SWAP1 0000161f: SWAP3 00001620: AND 00001621: SWAP3 00001622: PUSH4 0x40c10f19 00001627: SWAP3 00001628: PUSH1 0x44 0000162a: DUP1 0000162b: DUP3 0000162c: ADD 0000162d: SWAP4 0000162e: PUSH1 0x20 00001630: SWAP4 00001631: SWAP1 00001632: SWAP3 00001633: DUP4 00001634: SWAP1 00001635: SUB 00001636: SWAP1 00001637: SWAP2 00001638: ADD 00001639: SWAP1 0000163a: DUP3 0000163b: SWAP1 0000163c: DUP8 0000163d: DUP1 0000163e: EXTCODESIZE 0000163f: ISZERO 00001640: DUP1 00001641: ISZERO 00001642: PUSH2 0x164a 00001645: JUMPI 00001646: PUSH1 0x00 00001648: DUP1 00001649: REVERT 0000164a: JUMPDEST 0000164b: POP 0000164c: GAS 0000164d: CALL 0000164e: ISZERO 0000164f: DUP1 00001650: ISZERO 00001651: PUSH2 0x165e 00001654: JUMPI 00001655: RETURNDATASIZE 00001656: PUSH1 0x00 00001658: DUP1 00001659: RETURNDATACOPY 0000165a: RETURNDATASIZE 0000165b: PUSH1 0x00 0000165d: REVERT 0000165e: JUMPDEST 0000165f: POP 00001660: POP 00001661: POP 00001662: POP 00001663: PUSH1 0x40 00001665: MLOAD 00001666: RETURNDATASIZE 00001667: PUSH1 0x20 00001669: DUP2 0000166a: LT 0000166b: ISZERO 0000166c: PUSH2 0x1674 0000166f: JUMPI 00001670: PUSH1 0x00 00001672: DUP1 00001673: REVERT 00001674: JUMPDEST 00001675: POP 00001676: MLOAD 00001677: ISZERO 00001678: ISZERO 00001679: PUSH2 0x0ee5 0000167c: JUMPI 0000167d: PUSH1 0x00 0000167f: DUP1 00001680: REVERT 00001681: JUMPDEST 00001682: PUSH1 0x04 00001684: SLOAD 00001685: TIMESTAMP 00001686: LT 00001687: ISZERO 00001688: DUP1 00001689: ISZERO 0000168a: PUSH2 0x1695 0000168d: JUMPI 0000168e: POP 0000168f: PUSH1 0x05 00001691: SLOAD 00001692: TIMESTAMP 00001693: GT 00001694: ISZERO 00001695: JUMPDEST 00001696: ISZERO 00001697: ISZERO 00001698: PUSH2 0x16a0 0000169b: JUMPI 0000169c: PUSH1 0x00 0000169e: DUP1 0000169f: REVERT 000016a0: JUMPDEST 000016a1: PUSH2 0x0ee5 000016a4: DUP3 000016a5: DUP3 000016a6: PUSH1 0x01 000016a8: PUSH1 0xa0 000016aa: PUSH1 0x02 000016ac: EXP 000016ad: SUB 000016ae: DUP3 000016af: AND 000016b0: ISZERO 000016b1: ISZERO 000016b2: PUSH2 0x16ba 000016b5: JUMPI 000016b6: PUSH1 0x00 000016b8: DUP1 000016b9: REVERT 000016ba: JUMPDEST 000016bb: DUP1 000016bc: ISZERO 000016bd: ISZERO 000016be: PUSH2 0x0ee5 000016c1: JUMPI 000016c2: PUSH1 0x00 000016c4: DUP1 000016c5: REVERT 000016c6: STOP 000016c7: LOG1 000016c8: PUSH6 0x627a7a723058 000016cf: KECCAK256 000016d0: UNKNOWN(0xD9) 000016d1: INVALID 000016d2: UNKNOWN(0xEF) 000016d3: SGT 000016d4: UNKNOWN(0xBF) 000016d5: PC 000016d6: DUP4 000016d7: PC 000016d8: UNKNOWN(0xF9) 000016d9: SWAP8 000016da: UNKNOWN(0xE7) 000016db: PUSH19 0x43d9b3ca7e07c94ed2778f99cdcb443b5f2e3c 000016ef: STATICCALL 000016f0: STOP 000016f1: UNKNOWN(0x29)
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x6573c42070c7092b0b875e83e9e76ea66184a1fc2237ff36e578af297ecdf878
call_targets:
0x48d3fffa945b8c2ef35cb0dad39adb07e427be37
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6573c42070c7092b0b875e83e9e76ea66184a1fc2237ff36e578af297ecdf878",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x48d3fffa945b8c2ef35cb0dad39adb07e427be37"
],
"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": "0x0dc10a60",
"selector": "0x0dc10a60",
"calldata_variants": [
"0x0dc10a60",
"0x0dc10a600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1458ffb3",
"selector": "0x1458ffb3",
"calldata_variants": [
"0x1458ffb3",
"0x1458ffb30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1515bc2b",
"selector": "0x1515bc2b",
"calldata_variants": [
"0x1515bc2b",
"0x1515bc2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1c75f085",
"selector": "0x1c75f085",
"calldata_variants": [
"0x1c75f085",
"0x1c75f0850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22e8571d",
"selector": "0x22e8571d",
"calldata_variants": [
"0x22e8571d",
"0x22e8571d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27b44a6c",
"selector": "0x27b44a6c",
"calldata_variants": [
"0x27b44a6c",
"0x27b44a6c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c4e722e",
"selector": "0x2c4e722e",
"calldata_variants": [
"0x2c4e722e",
"0x2c4e722e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x34fcf437",
"selector": "0x34fcf437",
"calldata_variants": [
"0x34fcf437",
"0x34fcf4370000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2401,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2946,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4336,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 12,
"guards_detected": [],
"untrusted_call_count": 12
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x6573c42070c7092b0b875e83e9e76ea66184a1fc2237ff36e578af297ecdf878
call_targets:
0x48d3fffa945b8c2ef35cb0dad39adb07e427be37
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6573c42070c7092b0b875e83e9e76ea66184a1fc2237ff36e578af297ecdf878",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x48d3fffa945b8c2ef35cb0dad39adb07e427be37"
],
"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": "0x0dc10a60",
"selector": "0x0dc10a60",
"calldata_variants": [
"0x0dc10a60",
"0x0dc10a600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1458ffb3",
"selector": "0x1458ffb3",
"calldata_variants": [
"0x1458ffb3",
"0x1458ffb30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1515bc2b",
"selector": "0x1515bc2b",
"calldata_variants": [
"0x1515bc2b",
"0x1515bc2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1c75f085",
"selector": "0x1c75f085",
"calldata_variants": [
"0x1c75f085",
"0x1c75f0850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22e8571d",
"selector": "0x22e8571d",
"calldata_variants": [
"0x22e8571d",
"0x22e8571d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27b44a6c",
"selector": "0x27b44a6c",
"calldata_variants": [
"0x27b44a6c",
"0x27b44a6c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c4e722e",
"selector": "0x2c4e722e",
"calldata_variants": [
"0x2c4e722e",
"0x2c4e722e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x34fcf437",
"selector": "0x34fcf437",
"calldata_variants": [
"0x34fcf437",
"0x34fcf4370000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2401,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2946,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4336,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 12,
"guards_detected": []
}
|