019b3844-add0-70f5-b289-ef6f26dab915
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 |
|---|---|---|---|---|
| 17675 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 17676 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 86748 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 86749 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 86750 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 86751 | 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 0x010b 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x728584b7 00000018: GT 00000019: PUSH2 0x0094 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0x8456cb59 00000023: GT 00000024: PUSH2 0x0063 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0x8456cb59 0000002e: EQ 0000002f: PUSH2 0x036b 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0x8da5cb5b 00000039: EQ 0000003a: PUSH2 0x0381 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0x94555114 00000044: EQ 00000045: PUSH2 0x03ab 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xb1d52fa0 0000004f: EQ 00000050: PUSH2 0x03d3 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xf2fde38b 0000005a: EQ 0000005b: PUSH2 0x03fb 0000005e: JUMPI 0000005f: PUSH2 0x014d 00000062: JUMP 00000063: JUMPDEST 00000064: DUP1 00000065: PUSH4 0x728584b7 0000006a: EQ 0000006b: PUSH2 0x02c2 0000006e: JUMPI 0000006f: DUP1 00000070: PUSH4 0x79ba5097 00000075: EQ 00000076: PUSH2 0x02ec 00000079: JUMPI 0000007a: DUP1 0000007b: PUSH4 0x7b510fe8 00000080: EQ 00000081: PUSH2 0x0302 00000084: JUMPI 00000085: DUP1 00000086: PUSH4 0x810623e3 0000008b: EQ 0000008c: PUSH2 0x0341 0000008f: JUMPI 00000090: PUSH2 0x014d 00000093: JUMP 00000094: JUMPDEST 00000095: DUP1 00000096: PUSH4 0x3f85861f 0000009b: GT 0000009c: PUSH2 0x00db 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0x3f85861f 000000a6: EQ 000000a7: PUSH2 0x01e1 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0x41d2052e 000000b1: EQ 000000b2: PUSH2 0x0209 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0x4585e33b 000000bc: EQ 000000bd: PUSH2 0x0233 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0x5c975abb 000000c7: EQ 000000c8: PUSH2 0x025b 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0x6e04ff0d 000000d2: EQ 000000d3: PUSH2 0x0285 000000d6: JUMPI 000000d7: PUSH2 0x014d 000000da: JUMP 000000db: JUMPDEST 000000dc: DUP1 000000dd: PUSH3 0xf714ce 000000e1: EQ 000000e2: PUSH2 0x0151 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0x0b67ddce 000000ec: EQ 000000ed: PUSH2 0x0179 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0x3e4ca677 000000f7: EQ 000000f8: PUSH2 0x01a3 000000fb: JUMPI 000000fc: DUP1 000000fd: PUSH4 0x3f4ba83a 00000102: EQ 00000103: PUSH2 0x01cb 00000106: JUMPI 00000107: PUSH2 0x014d 0000010a: JUMP 0000010b: JUMPDEST 0000010c: CALLDATASIZE 0000010d: PUSH2 0x014d 00000110: JUMPI 00000111: PUSH32 0xc6f3fb0fec49e4877342d4625d77a632541f55b7aae0f9d0b34c69b3478706dc 00000132: CALLVALUE 00000133: SELFBALANCE 00000134: CALLER 00000135: PUSH1 0x40 00000137: MLOAD 00000138: PUSH2 0x0143 0000013b: SWAP4 0000013c: SWAP3 0000013d: SWAP2 0000013e: SWAP1 0000013f: PUSH2 0x1b98 00000142: JUMP 00000143: JUMPDEST 00000144: PUSH1 0x40 00000146: MLOAD 00000147: DUP1 00000148: SWAP2 00000149: SUB 0000014a: SWAP1 0000014b: LOG1 0000014c: STOP 0000014d: JUMPDEST 0000014e: PUSH0 0000014f: DUP1 00000150: REVERT 00000151: JUMPDEST 00000152: CALLVALUE 00000153: DUP1 00000154: ISZERO 00000155: PUSH2 0x015c 00000158: JUMPI 00000159: PUSH0 0000015a: DUP1 0000015b: REVERT 0000015c: JUMPDEST 0000015d: POP 0000015e: PUSH2 0x0177 00000161: PUSH1 0x04 00000163: DUP1 00000164: CALLDATASIZE 00000165: SUB 00000166: DUP2 00000167: ADD 00000168: SWAP1 00000169: PUSH2 0x0172 0000016c: SWAP2 0000016d: SWAP1 0000016e: PUSH2 0x1c43 00000171: JUMP 00000172: JUMPDEST 00000173: PUSH2 0x0423 00000176: JUMP 00000177: JUMPDEST 00000178: STOP 00000179: JUMPDEST 0000017a: CALLVALUE 0000017b: DUP1 0000017c: ISZERO 0000017d: PUSH2 0x0184 00000180: JUMPI 00000181: PUSH0 00000182: DUP1 00000183: REVERT 00000184: JUMPDEST 00000185: POP 00000186: PUSH2 0x018d 00000189: PUSH2 0x04e3 0000018c: JUMP 0000018d: JUMPDEST 0000018e: PUSH1 0x40 00000190: MLOAD 00000191: PUSH2 0x019a 00000194: SWAP2 00000195: SWAP1 00000196: PUSH2 0x1d38 00000199: JUMP 0000019a: JUMPDEST 0000019b: PUSH1 0x40 0000019d: MLOAD 0000019e: DUP1 0000019f: SWAP2 000001a0: SUB 000001a1: SWAP1 000001a2: RETURN 000001a3: JUMPDEST 000001a4: CALLVALUE 000001a5: DUP1 000001a6: ISZERO 000001a7: PUSH2 0x01ae 000001aa: JUMPI 000001ab: PUSH0 000001ac: DUP1 000001ad: REVERT 000001ae: JUMPDEST 000001af: POP 000001b0: PUSH2 0x01c9 000001b3: PUSH1 0x04 000001b5: DUP1 000001b6: CALLDATASIZE 000001b7: SUB 000001b8: DUP2 000001b9: ADD 000001ba: SWAP1 000001bb: PUSH2 0x01c4 000001be: SWAP2 000001bf: SWAP1 000001c0: PUSH2 0x1ed2 000001c3: JUMP 000001c4: JUMPDEST 000001c5: PUSH2 0x084c 000001c8: JUMP 000001c9: JUMPDEST 000001ca: STOP 000001cb: JUMPDEST 000001cc: CALLVALUE 000001cd: DUP1 000001ce: ISZERO 000001cf: PUSH2 0x01d6 000001d2: JUMPI 000001d3: PUSH0 000001d4: DUP1 000001d5: REVERT 000001d6: JUMPDEST 000001d7: POP 000001d8: PUSH2 0x01df 000001db: PUSH2 0x0be2 000001de: JUMP 000001df: JUMPDEST 000001e0: STOP 000001e1: JUMPDEST 000001e2: CALLVALUE 000001e3: DUP1 000001e4: ISZERO 000001e5: PUSH2 0x01ec 000001e8: JUMPI 000001e9: PUSH0 000001ea: DUP1 000001eb: REVERT 000001ec: JUMPDEST 000001ed: POP 000001ee: PUSH2 0x0207 000001f1: PUSH1 0x04 000001f3: DUP1 000001f4: CALLDATASIZE 000001f5: SUB 000001f6: DUP2 000001f7: ADD 000001f8: SWAP1 000001f9: PUSH2 0x0202 000001fc: SWAP2 000001fd: SWAP1 000001fe: PUSH2 0x1f19 00000201: JUMP 00000202: JUMPDEST 00000203: PUSH2 0x0bf4 00000206: JUMP 00000207: JUMPDEST 00000208: STOP 00000209: JUMPDEST 0000020a: CALLVALUE 0000020b: DUP1 0000020c: ISZERO 0000020d: PUSH2 0x0214 00000210: JUMPI 00000211: PUSH0 00000212: DUP1 00000213: REVERT 00000214: JUMPDEST 00000215: POP 00000216: PUSH2 0x021d 00000219: PUSH2 0x0c41 0000021c: JUMP 0000021d: JUMPDEST 0000021e: PUSH1 0x40 00000220: MLOAD 00000221: PUSH2 0x022a 00000224: SWAP2 00000225: SWAP1 00000226: PUSH2 0x1f44 00000229: JUMP 0000022a: JUMPDEST 0000022b: PUSH1 0x40 0000022d: MLOAD 0000022e: DUP1 0000022f: SWAP2 00000230: SUB 00000231: SWAP1 00000232: RETURN 00000233: JUMPDEST 00000234: CALLVALUE 00000235: DUP1 00000236: ISZERO 00000237: PUSH2 0x023e 0000023a: JUMPI 0000023b: PUSH0 0000023c: DUP1 0000023d: REVERT 0000023e: JUMPDEST 0000023f: POP 00000240: PUSH2 0x0259 00000243: PUSH1 0x04 00000245: DUP1 00000246: CALLDATASIZE 00000247: SUB 00000248: DUP2 00000249: ADD 0000024a: SWAP1 0000024b: PUSH2 0x0254 0000024e: SWAP2 0000024f: SWAP1 00000250: PUSH2 0x1fb6 00000253: JUMP 00000254: JUMPDEST 00000255: PUSH2 0x0c4a 00000258: JUMP 00000259: JUMPDEST 0000025a: STOP 0000025b: JUMPDEST 0000025c: CALLVALUE 0000025d: DUP1 0000025e: ISZERO 0000025f: PUSH2 0x0266 00000262: JUMPI 00000263: PUSH0 00000264: DUP1 00000265: REVERT 00000266: JUMPDEST 00000267: POP 00000268: PUSH2 0x026f 0000026b: PUSH2 0x0cf8 0000026e: JUMP 0000026f: JUMPDEST 00000270: PUSH1 0x40 00000272: MLOAD 00000273: PUSH2 0x027c 00000276: SWAP2 00000277: SWAP1 00000278: PUSH2 0x201b 0000027b: JUMP 0000027c: JUMPDEST 0000027d: PUSH1 0x40 0000027f: MLOAD 00000280: DUP1 00000281: SWAP2 00000282: SUB 00000283: SWAP1 00000284: RETURN 00000285: JUMPDEST 00000286: CALLVALUE 00000287: DUP1 00000288: ISZERO 00000289: PUSH2 0x0290 0000028c: JUMPI 0000028d: PUSH0 0000028e: DUP1 0000028f: REVERT 00000290: JUMPDEST 00000291: POP 00000292: PUSH2 0x02ab 00000295: PUSH1 0x04 00000297: DUP1 00000298: CALLDATASIZE 00000299: SUB 0000029a: DUP2 0000029b: ADD 0000029c: SWAP1 0000029d: PUSH2 0x02a6 000002a0: SWAP2 000002a1: SWAP1 000002a2: PUSH2 0x1fb6 000002a5: JUMP 000002a6: JUMPDEST 000002a7: PUSH2 0x0d0e 000002aa: JUMP 000002ab: JUMPDEST 000002ac: PUSH1 0x40 000002ae: MLOAD 000002af: PUSH2 0x02b9 000002b2: SWAP3 000002b3: SWAP2 000002b4: SWAP1 000002b5: PUSH2 0x20ae 000002b8: JUMP 000002b9: JUMPDEST 000002ba: PUSH1 0x40 000002bc: MLOAD 000002bd: DUP1 000002be: SWAP2 000002bf: SUB 000002c0: SWAP1 000002c1: RETURN 000002c2: JUMPDEST 000002c3: CALLVALUE 000002c4: DUP1 000002c5: ISZERO 000002c6: PUSH2 0x02cd 000002c9: JUMPI 000002ca: PUSH0 000002cb: DUP1 000002cc: REVERT 000002cd: JUMPDEST 000002ce: POP 000002cf: PUSH2 0x02d6 000002d2: PUSH2 0x0d54 000002d5: JUMP 000002d6: JUMPDEST 000002d7: PUSH1 0x40 000002d9: MLOAD 000002da: PUSH2 0x02e3 000002dd: SWAP2 000002de: SWAP1 000002df: PUSH2 0x1d38 000002e2: JUMP 000002e3: JUMPDEST 000002e4: PUSH1 0x40 000002e6: MLOAD 000002e7: DUP1 000002e8: SWAP2 000002e9: SUB 000002ea: SWAP1 000002eb: RETURN 000002ec: JUMPDEST 000002ed: CALLVALUE 000002ee: DUP1 000002ef: ISZERO 000002f0: PUSH2 0x02f7 000002f3: JUMPI 000002f4: PUSH0 000002f5: DUP1 000002f6: REVERT 000002f7: JUMPDEST 000002f8: POP 000002f9: PUSH2 0x0300 000002fc: PUSH2 0x0ddf 000002ff: JUMP 00000300: JUMPDEST 00000301: STOP 00000302: JUMPDEST 00000303: CALLVALUE 00000304: DUP1 00000305: ISZERO 00000306: PUSH2 0x030d 00000309: JUMPI 0000030a: PUSH0 0000030b: DUP1 0000030c: REVERT 0000030d: JUMPDEST 0000030e: POP 0000030f: PUSH2 0x0328 00000312: PUSH1 0x04 00000314: DUP1 00000315: CALLDATASIZE 00000316: SUB 00000317: DUP2 00000318: ADD 00000319: SWAP1 0000031a: PUSH2 0x0323 0000031d: SWAP2 0000031e: SWAP1 0000031f: PUSH2 0x20dc 00000322: JUMP 00000323: JUMPDEST 00000324: PUSH2 0x0f6e 00000327: JUMP 00000328: JUMPDEST 00000329: PUSH1 0x40 0000032b: MLOAD 0000032c: PUSH2 0x0338 0000032f: SWAP5 00000330: SWAP4 00000331: SWAP3 00000332: SWAP2 00000333: SWAP1 00000334: PUSH2 0x214e 00000337: JUMP 00000338: JUMPDEST 00000339: PUSH1 0x40 0000033b: MLOAD 0000033c: DUP1 0000033d: SWAP2 0000033e: SUB 0000033f: SWAP1 00000340: RETURN 00000341: JUMPDEST 00000342: CALLVALUE 00000343: DUP1 00000344: ISZERO 00000345: PUSH2 0x034c 00000348: JUMPI 00000349: PUSH0 0000034a: DUP1 0000034b: REVERT 0000034c: JUMPDEST 0000034d: POP 0000034e: PUSH2 0x0355 00000351: PUSH2 0x10a1 00000354: JUMP 00000355: JUMPDEST 00000356: PUSH1 0x40 00000358: MLOAD 00000359: PUSH2 0x0362 0000035c: SWAP2 0000035d: SWAP1 0000035e: PUSH2 0x2191 00000361: JUMP 00000362: JUMPDEST 00000363: PUSH1 0x40 00000365: MLOAD 00000366: DUP1 00000367: SWAP2 00000368: SUB 00000369: SWAP1 0000036a: RETURN 0000036b: JUMPDEST 0000036c: CALLVALUE 0000036d: DUP1 0000036e: ISZERO 0000036f: PUSH2 0x0376 00000372: JUMPI 00000373: PUSH0 00000374: DUP1 00000375: REVERT 00000376: JUMPDEST 00000377: POP 00000378: PUSH2 0x037f 0000037b: PUSH2 0x10c9 0000037e: JUMP 0000037f: JUMPDEST 00000380: STOP 00000381: JUMPDEST 00000382: CALLVALUE 00000383: DUP1 00000384: ISZERO 00000385: PUSH2 0x038c 00000388: JUMPI 00000389: PUSH0 0000038a: DUP1 0000038b: REVERT 0000038c: JUMPDEST 0000038d: POP 0000038e: PUSH2 0x0395 00000391: PUSH2 0x10db 00000394: JUMP 00000395: JUMPDEST 00000396: PUSH1 0x40 00000398: MLOAD 00000399: PUSH2 0x03a2 0000039c: SWAP2 0000039d: SWAP1 0000039e: PUSH2 0x2191 000003a1: JUMP 000003a2: JUMPDEST 000003a3: PUSH1 0x40 000003a5: MLOAD 000003a6: DUP1 000003a7: SWAP2 000003a8: SUB 000003a9: SWAP1 000003aa: RETURN 000003ab: JUMPDEST 000003ac: CALLVALUE 000003ad: DUP1 000003ae: ISZERO 000003af: PUSH2 0x03b6 000003b2: JUMPI 000003b3: PUSH0 000003b4: DUP1 000003b5: REVERT 000003b6: JUMPDEST 000003b7: POP 000003b8: PUSH2 0x03d1 000003bb: PUSH1 0x04 000003bd: DUP1 000003be: CALLDATASIZE 000003bf: SUB 000003c0: DUP2 000003c1: ADD 000003c2: SWAP1 000003c3: PUSH2 0x03cc 000003c6: SWAP2 000003c7: SWAP1 000003c8: PUSH2 0x20dc 000003cb: JUMP 000003cc: JUMPDEST 000003cd: PUSH2 0x1102 000003d0: JUMP 000003d1: JUMPDEST 000003d2: STOP 000003d3: JUMPDEST 000003d4: CALLVALUE 000003d5: DUP1 000003d6: ISZERO 000003d7: PUSH2 0x03de 000003da: JUMPI 000003db: PUSH0 000003dc: DUP1 000003dd: REVERT 000003de: JUMPDEST 000003df: POP 000003e0: PUSH2 0x03f9 000003e3: PUSH1 0x04 000003e5: DUP1 000003e6: CALLDATASIZE 000003e7: SUB 000003e8: DUP2 000003e9: ADD 000003ea: SWAP1 000003eb: PUSH2 0x03f4 000003ee: SWAP2 000003ef: SWAP1 000003f0: PUSH2 0x2254 000003f3: JUMP 000003f4: JUMPDEST 000003f5: PUSH2 0x11de 000003f8: JUMP 000003f9: JUMPDEST 000003fa: STOP 000003fb: JUMPDEST 000003fc: CALLVALUE 000003fd: DUP1 000003fe: ISZERO 000003ff: PUSH2 0x0406 00000402: JUMPI 00000403: PUSH0 00000404: DUP1 00000405: REVERT 00000406: JUMPDEST 00000407: POP 00000408: PUSH2 0x0421 0000040b: PUSH1 0x04 0000040d: DUP1 0000040e: CALLDATASIZE 0000040f: SUB 00000410: DUP2 00000411: ADD 00000412: SWAP1 00000413: PUSH2 0x041c 00000416: SWAP2 00000417: SWAP1 00000418: PUSH2 0x20dc 0000041b: JUMP 0000041c: JUMPDEST 0000041d: PUSH2 0x1713 00000420: JUMP 00000421: JUMPDEST 00000422: STOP 00000423: JUMPDEST 00000424: PUSH2 0x042b 00000427: PUSH2 0x1727 0000042a: JUMP 0000042b: JUMPDEST 0000042c: PUSH0 0000042d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000442: AND 00000443: DUP2 00000444: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000459: AND 0000045a: SUB 0000045b: PUSH2 0x0462 0000045e: JUMPI 0000045f: PUSH0 00000460: DUP1 00000461: REVERT 00000462: JUMPDEST 00000463: PUSH32 0x6141b54b56b8a52a8c6f5cd2a857f6117b18ffbf4d46bd3106f300a839cbf5ea 00000484: DUP3 00000485: DUP3 00000486: PUSH1 0x40 00000488: MLOAD 00000489: PUSH2 0x0493 0000048c: SWAP3 0000048d: SWAP2 0000048e: SWAP1 0000048f: PUSH2 0x235f 00000492: JUMP 00000493: JUMPDEST 00000494: PUSH1 0x40 00000496: MLOAD 00000497: DUP1 00000498: SWAP2 00000499: SUB 0000049a: SWAP1 0000049b: LOG1 0000049c: DUP1 0000049d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b2: AND 000004b3: PUSH2 0x08fc 000004b6: DUP4 000004b7: SWAP1 000004b8: DUP2 000004b9: ISZERO 000004ba: MUL 000004bb: SWAP1 000004bc: PUSH1 0x40 000004be: MLOAD 000004bf: PUSH0 000004c0: PUSH1 0x40 000004c2: MLOAD 000004c3: DUP1 000004c4: DUP4 000004c5: SUB 000004c6: DUP2 000004c7: DUP6 000004c8: DUP9 000004c9: DUP9 000004ca: CALL 000004cb: SWAP4 000004cc: POP 000004cd: POP 000004ce: POP 000004cf: POP 000004d0: ISZERO 000004d1: DUP1 000004d2: ISZERO 000004d3: PUSH2 0x04de 000004d6: JUMPI 000004d7: RETURNDATASIZE 000004d8: PUSH0 000004d9: DUP1 000004da: RETURNDATACOPY 000004db: RETURNDATASIZE 000004dc: PUSH0 000004dd: REVERT 000004de: JUMPDEST 000004df: POP 000004e0: POP 000004e1: POP 000004e2: JUMP 000004e3: JUMPDEST 000004e4: PUSH1 0x60 000004e6: PUSH0 000004e7: PUSH1 0x04 000004e9: DUP1 000004ea: SLOAD 000004eb: DUP1 000004ec: PUSH1 0x20 000004ee: MUL 000004ef: PUSH1 0x20 000004f1: ADD 000004f2: PUSH1 0x40 000004f4: MLOAD 000004f5: SWAP1 000004f6: DUP2 000004f7: ADD 000004f8: PUSH1 0x40 000004fa: MSTORE 000004fb: DUP1 000004fc: SWAP3 000004fd: SWAP2 000004fe: SWAP1 000004ff: DUP2 00000500: DUP2 00000501: MSTORE 00000502: PUSH1 0x20 00000504: ADD 00000505: DUP3 00000506: DUP1 00000507: SLOAD 00000508: DUP1 00000509: ISZERO 0000050a: PUSH2 0x0565 0000050d: JUMPI 0000050e: PUSH1 0x20 00000510: MUL 00000511: DUP3 00000512: ADD 00000513: SWAP2 00000514: SWAP1 00000515: PUSH0 00000516: MSTORE 00000517: PUSH1 0x20 00000519: PUSH0 0000051a: KECCAK256 0000051b: SWAP1 0000051c: JUMPDEST 0000051d: DUP2 0000051e: PUSH0 0000051f: SWAP1 00000520: SLOAD 00000521: SWAP1 00000522: PUSH2 0x0100 00000525: EXP 00000526: SWAP1 00000527: DIV 00000528: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000053d: AND 0000053e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000553: AND 00000554: DUP2 00000555: MSTORE 00000556: PUSH1 0x20 00000558: ADD 00000559: SWAP1 0000055a: PUSH1 0x01 0000055c: ADD 0000055d: SWAP1 0000055e: DUP1 0000055f: DUP4 00000560: GT 00000561: PUSH2 0x051c 00000564: JUMPI 00000565: JUMPDEST 00000566: POP 00000567: POP 00000568: POP 00000569: POP 0000056a: POP 0000056b: SWAP1 0000056c: POP 0000056d: PUSH0 0000056e: DUP2 0000056f: MLOAD 00000570: PUSH8 0xffffffffffffffff 00000579: DUP2 0000057a: GT 0000057b: ISZERO 0000057c: PUSH2 0x0588 0000057f: JUMPI 00000580: PUSH2 0x0587 00000583: PUSH2 0x1d6c 00000586: JUMP 00000587: JUMPDEST 00000588: JUMPDEST 00000589: PUSH1 0x40 0000058b: MLOAD 0000058c: SWAP1 0000058d: DUP1 0000058e: DUP3 0000058f: MSTORE 00000590: DUP1 00000591: PUSH1 0x20 00000593: MUL 00000594: PUSH1 0x20 00000596: ADD 00000597: DUP3 00000598: ADD 00000599: PUSH1 0x40 0000059b: MSTORE 0000059c: DUP1 0000059d: ISZERO 0000059e: PUSH2 0x05b6 000005a1: JUMPI 000005a2: DUP2 000005a3: PUSH1 0x20 000005a5: ADD 000005a6: PUSH1 0x20 000005a8: DUP3 000005a9: MUL 000005aa: DUP1 000005ab: CALLDATASIZE 000005ac: DUP4 000005ad: CALLDATACOPY 000005ae: DUP1 000005af: DUP3 000005b0: ADD 000005b1: SWAP2 000005b2: POP 000005b3: POP 000005b4: SWAP1 000005b5: POP 000005b6: JUMPDEST 000005b7: POP 000005b8: SWAP1 000005b9: POP 000005ba: PUSH0 000005bb: DUP1 000005bc: PUSH1 0x03 000005be: SLOAD 000005bf: SWAP1 000005c0: POP 000005c1: PUSH0 000005c2: SELFBALANCE 000005c3: SWAP1 000005c4: POP 000005c5: PUSH2 0x05cc 000005c8: PUSH2 0x1a3e 000005cb: JUMP 000005cc: JUMPDEST 000005cd: PUSH0 000005ce: JUMPDEST 000005cf: DUP7 000005d0: MLOAD 000005d1: DUP2 000005d2: LT 000005d3: ISZERO 000005d4: PUSH2 0x0833 000005d7: JUMPI 000005d8: PUSH1 0x05 000005da: PUSH0 000005db: DUP9 000005dc: DUP4 000005dd: DUP2 000005de: MLOAD 000005df: DUP2 000005e0: LT 000005e1: PUSH2 0x05ed 000005e4: JUMPI 000005e5: PUSH2 0x05ec 000005e8: PUSH2 0x2386 000005eb: JUMP 000005ec: JUMPDEST 000005ed: JUMPDEST 000005ee: PUSH1 0x20 000005f0: MUL 000005f1: PUSH1 0x20 000005f3: ADD 000005f4: ADD 000005f5: MLOAD 000005f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060b: AND 0000060c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000621: AND 00000622: DUP2 00000623: MSTORE 00000624: PUSH1 0x20 00000626: ADD 00000627: SWAP1 00000628: DUP2 00000629: MSTORE 0000062a: PUSH1 0x20 0000062c: ADD 0000062d: PUSH0 0000062e: KECCAK256 0000062f: PUSH1 0x40 00000631: MLOAD 00000632: DUP1 00000633: PUSH1 0x80 00000635: ADD 00000636: PUSH1 0x40 00000638: MSTORE 00000639: SWAP1 0000063a: DUP2 0000063b: PUSH0 0000063c: DUP3 0000063d: ADD 0000063e: PUSH0 0000063f: SWAP1 00000640: SLOAD 00000641: SWAP1 00000642: PUSH2 0x0100 00000645: EXP 00000646: SWAP1 00000647: DIV 00000648: PUSH1 0xff 0000064a: AND 0000064b: ISZERO 0000064c: ISZERO 0000064d: ISZERO 0000064e: ISZERO 0000064f: DUP2 00000650: MSTORE 00000651: PUSH1 0x20 00000653: ADD 00000654: PUSH0 00000655: DUP3 00000656: ADD 00000657: PUSH1 0x01 00000659: SWAP1 0000065a: SLOAD 0000065b: SWAP1 0000065c: PUSH2 0x0100 0000065f: EXP 00000660: SWAP1 00000661: DIV 00000662: PUSH12 0xffffffffffffffffffffffff 0000066f: AND 00000670: PUSH12 0xffffffffffffffffffffffff 0000067d: AND 0000067e: PUSH12 0xffffffffffffffffffffffff 0000068b: AND 0000068c: DUP2 0000068d: MSTORE 0000068e: PUSH1 0x20 00000690: ADD 00000691: PUSH0 00000692: DUP3 00000693: ADD 00000694: PUSH1 0x0d 00000696: SWAP1 00000697: SLOAD 00000698: SWAP1 00000699: PUSH2 0x0100 0000069c: EXP 0000069d: SWAP1 0000069e: DIV 0000069f: PUSH12 0xffffffffffffffffffffffff 000006ac: AND 000006ad: PUSH12 0xffffffffffffffffffffffff 000006ba: AND 000006bb: PUSH12 0xffffffffffffffffffffffff 000006c8: AND 000006c9: DUP2 000006ca: MSTORE 000006cb: PUSH1 0x20 000006cd: ADD 000006ce: PUSH0 000006cf: DUP3 000006d0: ADD 000006d1: PUSH1 0x19 000006d3: SWAP1 000006d4: SLOAD 000006d5: SWAP1 000006d6: PUSH2 0x0100 000006d9: EXP 000006da: SWAP1 000006db: DIV 000006dc: PUSH7 0xffffffffffffff 000006e4: AND 000006e5: PUSH7 0xffffffffffffff 000006ed: AND 000006ee: PUSH7 0xffffffffffffff 000006f6: AND 000006f7: DUP2 000006f8: MSTORE 000006f9: POP 000006fa: POP 000006fb: SWAP2 000006fc: POP 000006fd: TIMESTAMP 000006fe: DUP5 000006ff: DUP4 00000700: PUSH1 0x60 00000702: ADD 00000703: MLOAD 00000704: PUSH7 0xffffffffffffff 0000070c: AND 0000070d: PUSH2 0x0716 00000710: SWAP2 00000711: SWAP1 00000712: PUSH2 0x23e0 00000715: JUMP 00000716: JUMPDEST 00000717: GT 00000718: ISZERO 00000719: DUP1 0000071a: ISZERO 0000071b: PUSH2 0x0736 0000071e: JUMPI 0000071f: POP 00000720: DUP2 00000721: PUSH1 0x40 00000723: ADD 00000724: MLOAD 00000725: PUSH12 0xffffffffffffffffffffffff 00000732: AND 00000733: DUP4 00000734: LT 00000735: ISZERO 00000736: JUMPDEST 00000737: DUP1 00000738: ISZERO 00000739: PUSH2 0x0784 0000073c: JUMPI 0000073d: POP 0000073e: DUP2 0000073f: PUSH1 0x20 00000741: ADD 00000742: MLOAD 00000743: PUSH12 0xffffffffffffffffffffffff 00000750: AND 00000751: DUP8 00000752: DUP3 00000753: DUP2 00000754: MLOAD 00000755: DUP2 00000756: LT 00000757: PUSH2 0x0763 0000075a: JUMPI 0000075b: PUSH2 0x0762 0000075e: PUSH2 0x2386 00000761: JUMP 00000762: JUMPDEST 00000763: JUMPDEST 00000764: PUSH1 0x20 00000766: MUL 00000767: PUSH1 0x20 00000769: ADD 0000076a: ADD 0000076b: MLOAD 0000076c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000781: AND 00000782: BALANCE 00000783: LT 00000784: JUMPDEST 00000785: ISZERO 00000786: PUSH2 0x0820 00000789: JUMPI 0000078a: DUP7 0000078b: DUP2 0000078c: DUP2 0000078d: MLOAD 0000078e: DUP2 0000078f: LT 00000790: PUSH2 0x079c 00000793: JUMPI 00000794: PUSH2 0x079b 00000797: PUSH2 0x2386 0000079a: JUMP 0000079b: JUMPDEST 0000079c: JUMPDEST 0000079d: PUSH1 0x20 0000079f: MUL 000007a0: PUSH1 0x20 000007a2: ADD 000007a3: ADD 000007a4: MLOAD 000007a5: DUP7 000007a6: DUP7 000007a7: DUP2 000007a8: MLOAD 000007a9: DUP2 000007aa: LT 000007ab: PUSH2 0x07b7 000007ae: JUMPI 000007af: PUSH2 0x07b6 000007b2: PUSH2 0x2386 000007b5: JUMP 000007b6: JUMPDEST 000007b7: JUMPDEST 000007b8: PUSH1 0x20 000007ba: MUL 000007bb: PUSH1 0x20 000007bd: ADD 000007be: ADD 000007bf: SWAP1 000007c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007d5: AND 000007d6: SWAP1 000007d7: DUP2 000007d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ed: AND 000007ee: DUP2 000007ef: MSTORE 000007f0: POP 000007f1: POP 000007f2: DUP5 000007f3: DUP1 000007f4: PUSH2 0x07fc 000007f7: SWAP1 000007f8: PUSH2 0x2413 000007fb: JUMP 000007fc: JUMPDEST 000007fd: SWAP6 000007fe: POP 000007ff: POP 00000800: DUP2 00000801: PUSH1 0x40 00000803: ADD 00000804: MLOAD 00000805: PUSH12 0xffffffffffffffffffffffff 00000812: AND 00000813: DUP4 00000814: PUSH2 0x081d 00000817: SWAP2 00000818: SWAP1 00000819: PUSH2 0x245a 0000081c: JUMP 0000081d: JUMPDEST 0000081e: SWAP3 0000081f: POP 00000820: JUMPDEST 00000821: DUP1 00000822: DUP1 00000823: PUSH2 0x082b 00000826: SWAP1 00000827: PUSH2 0x2413 0000082a: JUMP 0000082b: JUMPDEST 0000082c: SWAP2 0000082d: POP 0000082e: POP 0000082f: PUSH2 0x05ce 00000832: JUMP 00000833: JUMPDEST 00000834: POP 00000835: DUP6 00000836: MLOAD 00000837: DUP5 00000838: EQ 00000839: PUSH2 0x0840 0000083c: JUMPI 0000083d: DUP4 0000083e: DUP6 0000083f: MSTORE 00000840: JUMPDEST 00000841: DUP5 00000842: SWAP7 00000843: POP 00000844: POP 00000845: POP 00000846: POP 00000847: POP 00000848: POP 00000849: POP 0000084a: SWAP1 0000084b: JUMP 0000084c: JUMPDEST 0000084d: PUSH2 0x0854 00000850: PUSH2 0x17b6 00000853: JUMP 00000854: JUMPDEST 00000855: PUSH0 00000856: PUSH1 0x03 00000858: SLOAD 00000859: SWAP1 0000085a: POP 0000085b: PUSH2 0x0862 0000085e: PUSH2 0x1a3e 00000861: JUMP 00000862: JUMPDEST 00000863: PUSH0 00000864: JUMPDEST 00000865: DUP4 00000866: MLOAD 00000867: DUP2 00000868: LT 00000869: ISZERO 0000086a: PUSH2 0x0bdb 0000086d: JUMPI 0000086e: PUSH1 0x05 00000870: PUSH0 00000871: DUP6 00000872: DUP4 00000873: DUP2 00000874: MLOAD 00000875: DUP2 00000876: LT 00000877: PUSH2 0x0883 0000087a: JUMPI 0000087b: PUSH2 0x0882 0000087e: PUSH2 0x2386 00000881: JUMP 00000882: JUMPDEST 00000883: JUMPDEST 00000884: PUSH1 0x20 00000886: MUL 00000887: PUSH1 0x20 00000889: ADD 0000088a: ADD 0000088b: MLOAD 0000088c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a1: AND 000008a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b7: AND 000008b8: DUP2 000008b9: MSTORE 000008ba: PUSH1 0x20 000008bc: ADD 000008bd: SWAP1 000008be: DUP2 000008bf: MSTORE 000008c0: PUSH1 0x20 000008c2: ADD 000008c3: PUSH0 000008c4: KECCAK256 000008c5: PUSH1 0x40 000008c7: MLOAD 000008c8: DUP1 000008c9: PUSH1 0x80 000008cb: ADD 000008cc: PUSH1 0x40 000008ce: MSTORE 000008cf: SWAP1 000008d0: DUP2 000008d1: PUSH0 000008d2: DUP3 000008d3: ADD 000008d4: PUSH0 000008d5: SWAP1 000008d6: SLOAD 000008d7: SWAP1 000008d8: PUSH2 0x0100 000008db: EXP 000008dc: SWAP1 000008dd: DIV 000008de: PUSH1 0xff 000008e0: AND 000008e1: ISZERO 000008e2: ISZERO 000008e3: ISZERO 000008e4: ISZERO 000008e5: DUP2 000008e6: MSTORE 000008e7: PUSH1 0x20 000008e9: ADD 000008ea: PUSH0 000008eb: DUP3 000008ec: ADD 000008ed: PUSH1 0x01 000008ef: SWAP1 000008f0: SLOAD 000008f1: SWAP1 000008f2: PUSH2 0x0100 000008f5: EXP 000008f6: SWAP1 000008f7: DIV 000008f8: PUSH12 0xffffffffffffffffffffffff 00000905: AND 00000906: PUSH12 0xffffffffffffffffffffffff 00000913: AND 00000914: PUSH12 0xffffffffffffffffffffffff 00000921: AND 00000922: DUP2 00000923: MSTORE 00000924: PUSH1 0x20 00000926: ADD 00000927: PUSH0 00000928: DUP3 00000929: ADD 0000092a: PUSH1 0x0d 0000092c: SWAP1 0000092d: SLOAD 0000092e: SWAP1 0000092f: PUSH2 0x0100 00000932: EXP 00000933: SWAP1 00000934: DIV 00000935: PUSH12 0xffffffffffffffffffffffff 00000942: AND 00000943: PUSH12 0xffffffffffffffffffffffff 00000950: AND 00000951: PUSH12 0xffffffffffffffffffffffff 0000095e: AND 0000095f: DUP2 00000960: MSTORE 00000961: PUSH1 0x20 00000963: ADD 00000964: PUSH0 00000965: DUP3 00000966: ADD 00000967: PUSH1 0x19 00000969: SWAP1 0000096a: SLOAD 0000096b: SWAP1 0000096c: PUSH2 0x0100 0000096f: EXP 00000970: SWAP1 00000971: DIV 00000972: PUSH7 0xffffffffffffff 0000097a: AND 0000097b: PUSH7 0xffffffffffffff 00000983: AND 00000984: PUSH7 0xffffffffffffff 0000098c: AND 0000098d: DUP2 0000098e: MSTORE 0000098f: POP 00000990: POP 00000991: SWAP2 00000992: POP 00000993: DUP2 00000994: PUSH0 00000995: ADD 00000996: MLOAD 00000997: DUP1 00000998: ISZERO 00000999: PUSH2 0x09ba 0000099c: JUMPI 0000099d: POP 0000099e: TIMESTAMP 0000099f: DUP4 000009a0: DUP4 000009a1: PUSH1 0x60 000009a3: ADD 000009a4: MLOAD 000009a5: PUSH7 0xffffffffffffff 000009ad: AND 000009ae: PUSH2 0x09b7 000009b1: SWAP2 000009b2: SWAP1 000009b3: PUSH2 0x23e0 000009b6: JUMP 000009b7: JUMPDEST 000009b8: GT 000009b9: ISZERO 000009ba: JUMPDEST 000009bb: DUP1 000009bc: ISZERO 000009bd: PUSH2 0x0a08 000009c0: JUMPI 000009c1: POP 000009c2: DUP2 000009c3: PUSH1 0x20 000009c5: ADD 000009c6: MLOAD 000009c7: PUSH12 0xffffffffffffffffffffffff 000009d4: AND 000009d5: DUP5 000009d6: DUP3 000009d7: DUP2 000009d8: MLOAD 000009d9: DUP2 000009da: LT 000009db: PUSH2 0x09e7 000009de: JUMPI 000009df: PUSH2 0x09e6 000009e2: PUSH2 0x2386 000009e5: JUMP 000009e6: JUMPDEST 000009e7: JUMPDEST 000009e8: PUSH1 0x20 000009ea: MUL 000009eb: PUSH1 0x20 000009ed: ADD 000009ee: ADD 000009ef: MLOAD 000009f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a05: AND 00000a06: BALANCE 00000a07: LT 00000a08: JUMPDEST 00000a09: ISZERO 00000a0a: PUSH2 0x0bb6 00000a0d: JUMPI 00000a0e: PUSH0 00000a0f: DUP5 00000a10: DUP3 00000a11: DUP2 00000a12: MLOAD 00000a13: DUP2 00000a14: LT 00000a15: PUSH2 0x0a21 00000a18: JUMPI 00000a19: PUSH2 0x0a20 00000a1c: PUSH2 0x2386 00000a1f: JUMP 00000a20: JUMPDEST 00000a21: JUMPDEST 00000a22: PUSH1 0x20 00000a24: MUL 00000a25: PUSH1 0x20 00000a27: ADD 00000a28: ADD 00000a29: MLOAD 00000a2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a3f: AND 00000a40: PUSH2 0x08fc 00000a43: DUP5 00000a44: PUSH1 0x40 00000a46: ADD 00000a47: MLOAD 00000a48: PUSH12 0xffffffffffffffffffffffff 00000a55: AND 00000a56: SWAP1 00000a57: DUP2 00000a58: ISZERO 00000a59: MUL 00000a5a: SWAP1 00000a5b: PUSH1 0x40 00000a5d: MLOAD 00000a5e: PUSH0 00000a5f: PUSH1 0x40 00000a61: MLOAD 00000a62: DUP1 00000a63: DUP4 00000a64: SUB 00000a65: DUP2 00000a66: DUP6 00000a67: DUP9 00000a68: DUP9 00000a69: CALL 00000a6a: SWAP4 00000a6b: POP 00000a6c: POP 00000a6d: POP 00000a6e: POP 00000a6f: SWAP1 00000a70: POP 00000a71: DUP1 00000a72: ISZERO 00000a73: PUSH2 0x0b56 00000a76: JUMPI 00000a77: TIMESTAMP 00000a78: PUSH1 0x05 00000a7a: PUSH0 00000a7b: DUP8 00000a7c: DUP6 00000a7d: DUP2 00000a7e: MLOAD 00000a7f: DUP2 00000a80: LT 00000a81: PUSH2 0x0a8d 00000a84: JUMPI 00000a85: PUSH2 0x0a8c 00000a88: PUSH2 0x2386 00000a8b: JUMP 00000a8c: JUMPDEST 00000a8d: JUMPDEST 00000a8e: PUSH1 0x20 00000a90: MUL 00000a91: PUSH1 0x20 00000a93: ADD 00000a94: ADD 00000a95: MLOAD 00000a96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aab: AND 00000aac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac1: AND 00000ac2: DUP2 00000ac3: MSTORE 00000ac4: PUSH1 0x20 00000ac6: ADD 00000ac7: SWAP1 00000ac8: DUP2 00000ac9: MSTORE 00000aca: PUSH1 0x20 00000acc: ADD 00000acd: PUSH0 00000ace: KECCAK256 00000acf: PUSH0 00000ad0: ADD 00000ad1: PUSH1 0x19 00000ad3: PUSH2 0x0100 00000ad6: EXP 00000ad7: DUP2 00000ad8: SLOAD 00000ad9: DUP2 00000ada: PUSH7 0xffffffffffffff 00000ae2: MUL 00000ae3: NOT 00000ae4: AND 00000ae5: SWAP1 00000ae6: DUP4 00000ae7: PUSH7 0xffffffffffffff 00000aef: AND 00000af0: MUL 00000af1: OR 00000af2: SWAP1 00000af3: SSTORE 00000af4: POP 00000af5: DUP5 00000af6: DUP3 00000af7: DUP2 00000af8: MLOAD 00000af9: DUP2 00000afa: LT 00000afb: PUSH2 0x0b07 00000afe: JUMPI 00000aff: PUSH2 0x0b06 00000b02: PUSH2 0x2386 00000b05: JUMP 00000b06: JUMPDEST 00000b07: JUMPDEST 00000b08: PUSH1 0x20 00000b0a: MUL 00000b0b: PUSH1 0x20 00000b0d: ADD 00000b0e: ADD 00000b0f: MLOAD 00000b10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b25: AND 00000b26: PUSH32 0x9eec55c371a49ce19e0a5792787c79b32dcf7d3490aa737436b49c0978ce9ce9 00000b47: PUSH1 0x40 00000b49: MLOAD 00000b4a: PUSH1 0x40 00000b4c: MLOAD 00000b4d: DUP1 00000b4e: SWAP2 00000b4f: SUB 00000b50: SWAP1 00000b51: LOG2 00000b52: PUSH2 0x0bb4 00000b55: JUMP 00000b56: JUMPDEST 00000b57: DUP5 00000b58: DUP3 00000b59: DUP2 00000b5a: MLOAD 00000b5b: DUP2 00000b5c: LT 00000b5d: PUSH2 0x0b69 00000b60: JUMPI 00000b61: PUSH2 0x0b68 00000b64: PUSH2 0x2386 00000b67: JUMP 00000b68: JUMPDEST 00000b69: JUMPDEST 00000b6a: PUSH1 0x20 00000b6c: MUL 00000b6d: PUSH1 0x20 00000b6f: ADD 00000b70: ADD 00000b71: MLOAD 00000b72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b87: AND 00000b88: PUSH32 0xa9ff7a9b96721b0e16adb7de9db0764fbfd6a4516d4d165f9564e8c3755eb105 00000ba9: PUSH1 0x40 00000bab: MLOAD 00000bac: PUSH1 0x40 00000bae: MLOAD 00000baf: DUP1 00000bb0: SWAP2 00000bb1: SUB 00000bb2: SWAP1 00000bb3: LOG2 00000bb4: JUMPDEST 00000bb5: POP 00000bb6: JUMPDEST 00000bb7: PUSH2 0xd6d8 00000bba: GAS 00000bbb: LT 00000bbc: ISZERO 00000bbd: PUSH2 0x0bc8 00000bc0: JUMPI 00000bc1: POP 00000bc2: POP 00000bc3: POP 00000bc4: PUSH2 0x0bdf 00000bc7: JUMP 00000bc8: JUMPDEST 00000bc9: DUP1 00000bca: DUP1 00000bcb: PUSH2 0x0bd3 00000bce: SWAP1 00000bcf: PUSH2 0x2413 00000bd2: JUMP 00000bd3: JUMPDEST 00000bd4: SWAP2 00000bd5: POP 00000bd6: POP 00000bd7: PUSH2 0x0864 00000bda: JUMP 00000bdb: JUMPDEST 00000bdc: POP 00000bdd: POP 00000bde: POP 00000bdf: JUMPDEST 00000be0: POP 00000be1: JUMP 00000be2: JUMPDEST 00000be3: PUSH2 0x0bea 00000be6: PUSH2 0x1727 00000be9: JUMP 00000bea: JUMPDEST 00000beb: PUSH2 0x0bf2 00000bee: PUSH2 0x1800 00000bf1: JUMP 00000bf2: JUMPDEST 00000bf3: JUMP 00000bf4: JUMPDEST 00000bf5: PUSH2 0x0bfc 00000bf8: PUSH2 0x1727 00000bfb: JUMP 00000bfc: JUMPDEST 00000bfd: PUSH32 0x04330086c73b1fe1e13cd47a61c692e7c4399b5de08ed94b7ab824684af09323 00000c1e: PUSH1 0x03 00000c20: SLOAD 00000c21: DUP3 00000c22: PUSH1 0x40 00000c24: MLOAD 00000c25: PUSH2 0x0c2f 00000c28: SWAP3 00000c29: SWAP2 00000c2a: SWAP1 00000c2b: PUSH2 0x248d 00000c2e: JUMP 00000c2f: JUMPDEST 00000c30: PUSH1 0x40 00000c32: MLOAD 00000c33: DUP1 00000c34: SWAP2 00000c35: SUB 00000c36: SWAP1 00000c37: LOG1 00000c38: DUP1 00000c39: PUSH1 0x03 00000c3b: DUP2 00000c3c: SWAP1 00000c3d: SSTORE 00000c3e: POP 00000c3f: POP 00000c40: JUMP 00000c41: JUMPDEST 00000c42: PUSH0 00000c43: PUSH1 0x03 00000c45: SLOAD 00000c46: SWAP1 00000c47: POP 00000c48: SWAP1 00000c49: JUMP 00000c4a: JUMPDEST 00000c4b: PUSH1 0x02 00000c4d: PUSH0 00000c4e: SWAP1 00000c4f: SLOAD 00000c50: SWAP1 00000c51: PUSH2 0x0100 00000c54: EXP 00000c55: SWAP1 00000c56: DIV 00000c57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c6c: AND 00000c6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c82: AND 00000c83: CALLER 00000c84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c99: AND 00000c9a: EQ 00000c9b: PUSH2 0x0cd0 00000c9e: JUMPI 00000c9f: PUSH1 0x40 00000ca1: MLOAD 00000ca2: PUSH32 0xd3a6803400000000000000000000000000000000000000000000000000000000 00000cc3: DUP2 00000cc4: MSTORE 00000cc5: PUSH1 0x04 00000cc7: ADD 00000cc8: PUSH1 0x40 00000cca: MLOAD 00000ccb: DUP1 00000ccc: SWAP2 00000ccd: SUB 00000cce: SWAP1 00000ccf: REVERT 00000cd0: JUMPDEST 00000cd1: PUSH2 0x0cd8 00000cd4: PUSH2 0x17b6 00000cd7: JUMP 00000cd8: JUMPDEST 00000cd9: PUSH0 00000cda: DUP3 00000cdb: DUP3 00000cdc: DUP2 00000cdd: ADD 00000cde: SWAP1 00000cdf: PUSH2 0x0ce8 00000ce2: SWAP2 00000ce3: SWAP1 00000ce4: PUSH2 0x1ed2 00000ce7: JUMP 00000ce8: JUMPDEST 00000ce9: SWAP1 00000cea: POP 00000ceb: PUSH2 0x0cf3 00000cee: DUP2 00000cef: PUSH2 0x084c 00000cf2: JUMP 00000cf3: JUMPDEST 00000cf4: POP 00000cf5: POP 00000cf6: POP 00000cf7: JUMP 00000cf8: JUMPDEST 00000cf9: PUSH0 00000cfa: PUSH1 0x01 00000cfc: PUSH1 0x14 00000cfe: SWAP1 00000cff: SLOAD 00000d00: SWAP1 00000d01: PUSH2 0x0100 00000d04: EXP 00000d05: SWAP1 00000d06: DIV 00000d07: PUSH1 0xff 00000d09: AND 00000d0a: SWAP1 00000d0b: POP 00000d0c: SWAP1 00000d0d: JUMP 00000d0e: JUMPDEST 00000d0f: PUSH0 00000d10: PUSH1 0x60 00000d12: PUSH2 0x0d19 00000d15: PUSH2 0x17b6 00000d18: JUMP 00000d19: JUMPDEST 00000d1a: PUSH0 00000d1b: PUSH2 0x0d22 00000d1e: PUSH2 0x04e3 00000d21: JUMP 00000d22: JUMPDEST 00000d23: SWAP1 00000d24: POP 00000d25: PUSH0 00000d26: DUP2 00000d27: MLOAD 00000d28: GT 00000d29: SWAP3 00000d2a: POP 00000d2b: DUP1 00000d2c: PUSH1 0x40 00000d2e: MLOAD 00000d2f: PUSH1 0x20 00000d31: ADD 00000d32: PUSH2 0x0d3b 00000d35: SWAP2 00000d36: SWAP1 00000d37: PUSH2 0x1d38 00000d3a: JUMP 00000d3b: JUMPDEST 00000d3c: PUSH1 0x40 00000d3e: MLOAD 00000d3f: PUSH1 0x20 00000d41: DUP2 00000d42: DUP4 00000d43: SUB 00000d44: SUB 00000d45: DUP2 00000d46: MSTORE 00000d47: SWAP1 00000d48: PUSH1 0x40 00000d4a: MSTORE 00000d4b: SWAP2 00000d4c: POP 00000d4d: POP 00000d4e: SWAP3 00000d4f: POP 00000d50: SWAP3 00000d51: SWAP1 00000d52: POP 00000d53: JUMP 00000d54: JUMPDEST 00000d55: PUSH1 0x60 00000d57: PUSH1 0x04 00000d59: DUP1 00000d5a: SLOAD 00000d5b: DUP1 00000d5c: PUSH1 0x20 00000d5e: MUL 00000d5f: PUSH1 0x20 00000d61: ADD 00000d62: PUSH1 0x40 00000d64: MLOAD 00000d65: SWAP1 00000d66: DUP2 00000d67: ADD 00000d68: PUSH1 0x40 00000d6a: MSTORE 00000d6b: DUP1 00000d6c: SWAP3 00000d6d: SWAP2 00000d6e: SWAP1 00000d6f: DUP2 00000d70: DUP2 00000d71: MSTORE 00000d72: PUSH1 0x20 00000d74: ADD 00000d75: DUP3 00000d76: DUP1 00000d77: SLOAD 00000d78: DUP1 00000d79: ISZERO 00000d7a: PUSH2 0x0dd5 00000d7d: JUMPI 00000d7e: PUSH1 0x20 00000d80: MUL 00000d81: DUP3 00000d82: ADD 00000d83: SWAP2 00000d84: SWAP1 00000d85: PUSH0 00000d86: MSTORE 00000d87: PUSH1 0x20 00000d89: PUSH0 00000d8a: KECCAK256 00000d8b: SWAP1 00000d8c: JUMPDEST 00000d8d: DUP2 00000d8e: PUSH0 00000d8f: SWAP1 00000d90: SLOAD 00000d91: SWAP1 00000d92: PUSH2 0x0100 00000d95: EXP 00000d96: SWAP1 00000d97: DIV 00000d98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dad: AND 00000dae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc3: AND 00000dc4: DUP2 00000dc5: MSTORE 00000dc6: PUSH1 0x20 00000dc8: ADD 00000dc9: SWAP1 00000dca: PUSH1 0x01 00000dcc: ADD 00000dcd: SWAP1 00000dce: DUP1 00000dcf: DUP4 00000dd0: GT 00000dd1: PUSH2 0x0d8c 00000dd4: JUMPI 00000dd5: JUMPDEST 00000dd6: POP 00000dd7: POP 00000dd8: POP 00000dd9: POP 00000dda: POP 00000ddb: SWAP1 00000ddc: POP 00000ddd: SWAP1 00000dde: JUMP 00000ddf: JUMPDEST 00000de0: PUSH1 0x01 00000de2: PUSH0 00000de3: SWAP1 00000de4: SLOAD 00000de5: SWAP1 00000de6: PUSH2 0x0100 00000de9: EXP 00000dea: SWAP1 00000deb: DIV 00000dec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e01: AND 00000e02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e17: AND 00000e18: CALLER 00000e19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2e: AND 00000e2f: EQ 00000e30: PUSH2 0x0e6e 00000e33: JUMPI 00000e34: PUSH1 0x40 00000e36: MLOAD 00000e37: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e58: DUP2 00000e59: MSTORE 00000e5a: PUSH1 0x04 00000e5c: ADD 00000e5d: PUSH2 0x0e65 00000e60: SWAP1 00000e61: PUSH2 0x250e 00000e64: JUMP 00000e65: JUMPDEST 00000e66: PUSH1 0x40 00000e68: MLOAD 00000e69: DUP1 00000e6a: SWAP2 00000e6b: SUB 00000e6c: SWAP1 00000e6d: REVERT 00000e6e: JUMPDEST 00000e6f: PUSH0 00000e70: DUP1 00000e71: PUSH0 00000e72: SWAP1 00000e73: SLOAD 00000e74: SWAP1 00000e75: PUSH2 0x0100 00000e78: EXP 00000e79: SWAP1 00000e7a: DIV 00000e7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e90: AND 00000e91: SWAP1 00000e92: POP 00000e93: CALLER 00000e94: PUSH0 00000e95: DUP1 00000e96: PUSH2 0x0100 00000e99: EXP 00000e9a: DUP2 00000e9b: SLOAD 00000e9c: DUP2 00000e9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eb2: MUL 00000eb3: NOT 00000eb4: AND 00000eb5: SWAP1 00000eb6: DUP4 00000eb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ecc: AND 00000ecd: MUL 00000ece: OR 00000ecf: SWAP1 00000ed0: SSTORE 00000ed1: POP 00000ed2: PUSH0 00000ed3: PUSH1 0x01 00000ed5: PUSH0 00000ed6: PUSH2 0x0100 00000ed9: EXP 00000eda: DUP2 00000edb: SLOAD 00000edc: DUP2 00000edd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ef2: MUL 00000ef3: NOT 00000ef4: AND 00000ef5: SWAP1 00000ef6: DUP4 00000ef7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f0c: AND 00000f0d: MUL 00000f0e: OR 00000f0f: SWAP1 00000f10: SSTORE 00000f11: POP 00000f12: CALLER 00000f13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f28: AND 00000f29: DUP2 00000f2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f3f: AND 00000f40: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000f61: PUSH1 0x40 00000f63: MLOAD 00000f64: PUSH1 0x40 00000f66: MLOAD 00000f67: DUP1 00000f68: SWAP2 00000f69: SUB 00000f6a: SWAP1 00000f6b: LOG3 00000f6c: POP 00000f6d: JUMP 00000f6e: JUMPDEST 00000f6f: PUSH0 00000f70: DUP1 00000f71: PUSH0 00000f72: DUP1 00000f73: PUSH0 00000f74: PUSH1 0x05 00000f76: PUSH0 00000f77: DUP8 00000f78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f8d: AND 00000f8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fa3: AND 00000fa4: DUP2 00000fa5: MSTORE 00000fa6: PUSH1 0x20 00000fa8: ADD 00000fa9: SWAP1 00000faa: DUP2 00000fab: MSTORE 00000fac: PUSH1 0x20 00000fae: ADD 00000faf: PUSH0 00000fb0: KECCAK256 00000fb1: PUSH1 0x40 00000fb3: MLOAD 00000fb4: DUP1 00000fb5: PUSH1 0x80 00000fb7: ADD 00000fb8: PUSH1 0x40 00000fba: MSTORE 00000fbb: SWAP1 00000fbc: DUP2 00000fbd: PUSH0 00000fbe: DUP3 00000fbf: ADD 00000fc0: PUSH0 00000fc1: SWAP1 00000fc2: SLOAD 00000fc3: SWAP1 00000fc4: PUSH2 0x0100 00000fc7: EXP 00000fc8: SWAP1 00000fc9: DIV 00000fca: PUSH1 0xff 00000fcc: AND 00000fcd: ISZERO 00000fce: ISZERO 00000fcf: ISZERO 00000fd0: ISZERO 00000fd1: DUP2 00000fd2: MSTORE 00000fd3: PUSH1 0x20 00000fd5: ADD 00000fd6: PUSH0 00000fd7: DUP3 00000fd8: ADD 00000fd9: PUSH1 0x01 00000fdb: SWAP1 00000fdc: SLOAD 00000fdd: SWAP1 00000fde: PUSH2 0x0100 00000fe1: EXP 00000fe2: SWAP1 00000fe3: DIV 00000fe4: PUSH12 0xffffffffffffffffffffffff 00000ff1: AND 00000ff2: PUSH12 0xffffffffffffffffffffffff 00000fff: AND 00001000: PUSH12 0xffffffffffffffffffffffff 0000100d: AND 0000100e: DUP2 0000100f: MSTORE 00001010: PUSH1 0x20 00001012: ADD 00001013: PUSH0 00001014: DUP3 00001015: ADD 00001016: PUSH1 0x0d 00001018: SWAP1 00001019: SLOAD 0000101a: SWAP1 0000101b: PUSH2 0x0100 0000101e: EXP 0000101f: SWAP1 00001020: DIV 00001021: PUSH12 0xffffffffffffffffffffffff 0000102e: AND 0000102f: PUSH12 0xffffffffffffffffffffffff 0000103c: AND 0000103d: PUSH12 0xffffffffffffffffffffffff 0000104a: AND 0000104b: DUP2 0000104c: MSTORE 0000104d: PUSH1 0x20 0000104f: ADD 00001050: PUSH0 00001051: DUP3 00001052: ADD 00001053: PUSH1 0x19 00001055: SWAP1 00001056: SLOAD 00001057: SWAP1 00001058: PUSH2 0x0100 0000105b: EXP 0000105c: SWAP1 0000105d: DIV 0000105e: PUSH7 0xffffffffffffff 00001066: AND 00001067: PUSH7 0xffffffffffffff 0000106f: AND 00001070: PUSH7 0xffffffffffffff 00001078: AND 00001079: DUP2 0000107a: MSTORE 0000107b: POP 0000107c: POP 0000107d: SWAP1 0000107e: POP 0000107f: DUP1 00001080: PUSH0 00001081: ADD 00001082: MLOAD 00001083: DUP2 00001084: PUSH1 0x20 00001086: ADD 00001087: MLOAD 00001088: DUP3 00001089: PUSH1 0x40 0000108b: ADD 0000108c: MLOAD 0000108d: DUP4 0000108e: PUSH1 0x60 00001090: ADD 00001091: MLOAD 00001092: SWAP5 00001093: POP 00001094: SWAP5 00001095: POP 00001096: SWAP5 00001097: POP 00001098: SWAP5 00001099: POP 0000109a: POP 0000109b: SWAP2 0000109c: SWAP4 0000109d: POP 0000109e: SWAP2 0000109f: SWAP4 000010a0: JUMP 000010a1: JUMPDEST 000010a2: PUSH0 000010a3: PUSH1 0x02 000010a5: PUSH0 000010a6: SWAP1 000010a7: SLOAD 000010a8: SWAP1 000010a9: PUSH2 0x0100 000010ac: EXP 000010ad: SWAP1 000010ae: DIV 000010af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010c4: AND 000010c5: SWAP1 000010c6: POP 000010c7: SWAP1 000010c8: JUMP 000010c9: JUMPDEST 000010ca: PUSH2 0x10d1 000010cd: PUSH2 0x1727 000010d0: JUMP 000010d1: JUMPDEST 000010d2: PUSH2 0x10d9 000010d5: PUSH2 0x1862 000010d8: JUMP 000010d9: JUMPDEST 000010da: JUMP 000010db: JUMPDEST 000010dc: PUSH0 000010dd: DUP1 000010de: PUSH0 000010df: SWAP1 000010e0: SLOAD 000010e1: SWAP1 000010e2: PUSH2 0x0100 000010e5: EXP 000010e6: SWAP1 000010e7: DIV 000010e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010fd: AND 000010fe: SWAP1 000010ff: POP 00001100: SWAP1 00001101: JUMP 00001102: JUMPDEST 00001103: PUSH2 0x110a 00001106: PUSH2 0x1727 00001109: JUMP 0000110a: JUMPDEST 0000110b: PUSH0 0000110c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001121: AND 00001122: DUP2 00001123: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001138: AND 00001139: SUB 0000113a: PUSH2 0x1141 0000113d: JUMPI 0000113e: PUSH0 0000113f: DUP1 00001140: REVERT 00001141: JUMPDEST 00001142: PUSH32 0xb732223055abcde751d7a24272ffc8a3aa571cb72b443969a4199b7ecd59f8b9 00001163: PUSH1 0x02 00001165: PUSH0 00001166: SWAP1 00001167: SLOAD 00001168: SWAP1 00001169: PUSH2 0x0100 0000116c: EXP 0000116d: SWAP1 0000116e: DIV 0000116f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001184: AND 00001185: DUP3 00001186: PUSH1 0x40 00001188: MLOAD 00001189: PUSH2 0x1193 0000118c: SWAP3 0000118d: SWAP2 0000118e: SWAP1 0000118f: PUSH2 0x252c 00001192: JUMP 00001193: JUMPDEST 00001194: PUSH1 0x40 00001196: MLOAD 00001197: DUP1 00001198: SWAP2 00001199: SUB 0000119a: SWAP1 0000119b: LOG1 0000119c: DUP1 0000119d: PUSH1 0x02 0000119f: PUSH0 000011a0: PUSH2 0x0100 000011a3: EXP 000011a4: DUP2 000011a5: SLOAD 000011a6: DUP2 000011a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011bc: MUL 000011bd: NOT 000011be: AND 000011bf: SWAP1 000011c0: DUP4 000011c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011d6: AND 000011d7: MUL 000011d8: OR 000011d9: SWAP1 000011da: SSTORE 000011db: POP 000011dc: POP 000011dd: JUMP 000011de: JUMPDEST 000011df: PUSH2 0x11e6 000011e2: PUSH2 0x1727 000011e5: JUMP 000011e6: JUMPDEST 000011e7: DUP4 000011e8: DUP4 000011e9: SWAP1 000011ea: POP 000011eb: DUP7 000011ec: DUP7 000011ed: SWAP1 000011ee: POP 000011ef: EQ 000011f0: ISZERO 000011f1: DUP1 000011f2: PUSH2 0x1201 000011f5: JUMPI 000011f6: POP 000011f7: DUP2 000011f8: DUP2 000011f9: SWAP1 000011fa: POP 000011fb: DUP7 000011fc: DUP7 000011fd: SWAP1 000011fe: POP 000011ff: EQ 00001200: ISZERO 00001201: JUMPDEST 00001202: ISZERO 00001203: PUSH2 0x1238 00001206: JUMPI 00001207: PUSH1 0x40 00001209: MLOAD 0000120a: PUSH32 0x3869bbe600000000000000000000000000000000000000000000000000000000 0000122b: DUP2 0000122c: MSTORE 0000122d: PUSH1 0x04 0000122f: ADD 00001230: PUSH1 0x40 00001232: MLOAD 00001233: DUP1 00001234: SWAP2 00001235: SUB 00001236: SWAP1 00001237: REVERT 00001238: JUMPDEST 00001239: PUSH0 0000123a: PUSH1 0x04 0000123c: DUP1 0000123d: SLOAD 0000123e: DUP1 0000123f: PUSH1 0x20 00001241: MUL 00001242: PUSH1 0x20 00001244: ADD 00001245: PUSH1 0x40 00001247: MLOAD 00001248: SWAP1 00001249: DUP2 0000124a: ADD 0000124b: PUSH1 0x40 0000124d: MSTORE 0000124e: DUP1 0000124f: SWAP3 00001250: SWAP2 00001251: SWAP1 00001252: DUP2 00001253: DUP2 00001254: MSTORE 00001255: PUSH1 0x20 00001257: ADD 00001258: DUP3 00001259: DUP1 0000125a: SLOAD 0000125b: DUP1 0000125c: ISZERO 0000125d: PUSH2 0x12b8 00001260: JUMPI 00001261: PUSH1 0x20 00001263: MUL 00001264: DUP3 00001265: ADD 00001266: SWAP2 00001267: SWAP1 00001268: PUSH0 00001269: MSTORE 0000126a: PUSH1 0x20 0000126c: PUSH0 0000126d: KECCAK256 0000126e: SWAP1 0000126f: JUMPDEST 00001270: DUP2 00001271: PUSH0 00001272: SWAP1 00001273: SLOAD 00001274: SWAP1 00001275: PUSH2 0x0100 00001278: EXP 00001279: SWAP1 0000127a: DIV 0000127b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001290: AND 00001291: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012a6: AND 000012a7: DUP2 000012a8: MSTORE 000012a9: PUSH1 0x20 000012ab: ADD 000012ac: SWAP1 000012ad: PUSH1 0x01 000012af: ADD 000012b0: SWAP1 000012b1: DUP1 000012b2: DUP4 000012b3: GT 000012b4: PUSH2 0x126f 000012b7: JUMPI 000012b8: JUMPDEST 000012b9: POP 000012ba: POP 000012bb: POP 000012bc: POP 000012bd: POP 000012be: SWAP1 000012bf: POP 000012c0: PUSH0 000012c1: JUMPDEST 000012c2: DUP2 000012c3: MLOAD 000012c4: DUP2 000012c5: LT 000012c6: ISZERO 000012c7: PUSH2 0x134d 000012ca: JUMPI 000012cb: PUSH0 000012cc: PUSH1 0x05 000012ce: PUSH0 000012cf: DUP5 000012d0: DUP5 000012d1: DUP2 000012d2: MLOAD 000012d3: DUP2 000012d4: LT 000012d5: PUSH2 0x12e1 000012d8: JUMPI 000012d9: PUSH2 0x12e0 000012dc: PUSH2 0x2386 000012df: JUMP 000012e0: JUMPDEST 000012e1: JUMPDEST 000012e2: PUSH1 0x20 000012e4: MUL 000012e5: PUSH1 0x20 000012e7: ADD 000012e8: ADD 000012e9: MLOAD 000012ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ff: AND 00001300: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001315: AND 00001316: DUP2 00001317: MSTORE 00001318: PUSH1 0x20 0000131a: ADD 0000131b: SWAP1 0000131c: DUP2 0000131d: MSTORE 0000131e: PUSH1 0x20 00001320: ADD 00001321: PUSH0 00001322: KECCAK256 00001323: PUSH0 00001324: ADD 00001325: PUSH0 00001326: PUSH2 0x0100 00001329: EXP 0000132a: DUP2 0000132b: SLOAD 0000132c: DUP2 0000132d: PUSH1 0xff 0000132f: MUL 00001330: NOT 00001331: AND 00001332: SWAP1 00001333: DUP4 00001334: ISZERO 00001335: ISZERO 00001336: MUL 00001337: OR 00001338: SWAP1 00001339: SSTORE 0000133a: POP 0000133b: DUP1 0000133c: DUP1 0000133d: PUSH2 0x1345 00001340: SWAP1 00001341: PUSH2 0x2413 00001344: JUMP 00001345: JUMPDEST 00001346: SWAP2 00001347: POP 00001348: POP 00001349: PUSH2 0x12c1 0000134c: JUMP 0000134d: JUMPDEST 0000134e: POP 0000134f: PUSH0 00001350: JUMPDEST 00001351: DUP8 00001352: DUP8 00001353: SWAP1 00001354: POP 00001355: DUP2 00001356: LT 00001357: ISZERO 00001358: PUSH2 0x16f7 0000135b: JUMPI 0000135c: PUSH1 0x05 0000135e: PUSH0 0000135f: DUP10 00001360: DUP10 00001361: DUP5 00001362: DUP2 00001363: DUP2 00001364: LT 00001365: PUSH2 0x1371 00001368: JUMPI 00001369: PUSH2 0x1370 0000136c: PUSH2 0x2386 0000136f: JUMP 00001370: JUMPDEST 00001371: JUMPDEST 00001372: SWAP1 00001373: POP 00001374: PUSH1 0x20 00001376: MUL 00001377: ADD 00001378: PUSH1 0x20 0000137a: DUP2 0000137b: ADD 0000137c: SWAP1 0000137d: PUSH2 0x1386 00001380: SWAP2 00001381: SWAP1 00001382: PUSH2 0x20dc 00001385: JUMP 00001386: JUMPDEST 00001387: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000139c: AND 0000139d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013b2: AND 000013b3: DUP2 000013b4: MSTORE 000013b5: PUSH1 0x20 000013b7: ADD 000013b8: SWAP1 000013b9: DUP2 000013ba: MSTORE 000013bb: PUSH1 0x20 000013bd: ADD 000013be: PUSH0 000013bf: KECCAK256 000013c0: PUSH0 000013c1: ADD 000013c2: PUSH0 000013c3: SWAP1 000013c4: SLOAD 000013c5: SWAP1 000013c6: PUSH2 0x0100 000013c9: EXP 000013ca: SWAP1 000013cb: DIV 000013cc: PUSH1 0xff 000013ce: AND 000013cf: ISZERO 000013d0: PUSH2 0x1437 000013d3: JUMPI 000013d4: DUP8 000013d5: DUP8 000013d6: DUP3 000013d7: DUP2 000013d8: DUP2 000013d9: LT 000013da: PUSH2 0x13e6 000013dd: JUMPI 000013de: PUSH2 0x13e5 000013e1: PUSH2 0x2386 000013e4: JUMP 000013e5: JUMPDEST 000013e6: JUMPDEST 000013e7: SWAP1 000013e8: POP 000013e9: PUSH1 0x20 000013eb: MUL 000013ec: ADD 000013ed: PUSH1 0x20 000013ef: DUP2 000013f0: ADD 000013f1: SWAP1 000013f2: PUSH2 0x13fb 000013f5: SWAP2 000013f6: SWAP1 000013f7: PUSH2 0x20dc 000013fa: JUMP 000013fb: JUMPDEST 000013fc: PUSH1 0x40 000013fe: MLOAD 000013ff: PUSH32 0x9f2277f300000000000000000000000000000000000000000000000000000000 00001420: DUP2 00001421: MSTORE 00001422: PUSH1 0x04 00001424: ADD 00001425: PUSH2 0x142e 00001428: SWAP2 00001429: SWAP1 0000142a: PUSH2 0x2191 0000142d: JUMP 0000142e: JUMPDEST 0000142f: PUSH1 0x40 00001431: MLOAD 00001432: DUP1 00001433: SWAP2 00001434: SUB 00001435: SWAP1 00001436: REVERT 00001437: JUMPDEST 00001438: PUSH0 00001439: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000144e: AND 0000144f: DUP9 00001450: DUP9 00001451: DUP4 00001452: DUP2 00001453: DUP2 00001454: LT 00001455: PUSH2 0x1461 00001458: JUMPI 00001459: PUSH2 0x1460 0000145c: PUSH2 0x2386 0000145f: JUMP 00001460: JUMPDEST 00001461: JUMPDEST 00001462: SWAP1 00001463: POP 00001464: PUSH1 0x20 00001466: MUL 00001467: ADD 00001468: PUSH1 0x20 0000146a: DUP2 0000146b: ADD 0000146c: SWAP1 0000146d: PUSH2 0x1476 00001470: SWAP2 00001471: SWAP1 00001472: PUSH2 0x20dc 00001475: JUMP 00001476: JUMPDEST 00001477: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000148c: AND 0000148d: SUB 0000148e: PUSH2 0x14c3 00001491: JUMPI 00001492: PUSH1 0x40 00001494: MLOAD 00001495: PUSH32 0x3869bbe600000000000000000000000000000000000000000000000000000000 000014b6: DUP2 000014b7: MSTORE 000014b8: PUSH1 0x04 000014ba: ADD 000014bb: PUSH1 0x40 000014bd: MLOAD 000014be: DUP1 000014bf: SWAP2 000014c0: SUB 000014c1: SWAP1 000014c2: REVERT 000014c3: JUMPDEST 000014c4: PUSH0 000014c5: DUP5 000014c6: DUP5 000014c7: DUP4 000014c8: DUP2 000014c9: DUP2 000014ca: LT 000014cb: PUSH2 0x14d7 000014ce: JUMPI 000014cf: PUSH2 0x14d6 000014d2: PUSH2 0x2386 000014d5: JUMP 000014d6: JUMPDEST 000014d7: JUMPDEST 000014d8: SWAP1 000014d9: POP 000014da: PUSH1 0x20 000014dc: MUL 000014dd: ADD 000014de: PUSH1 0x20 000014e0: DUP2 000014e1: ADD 000014e2: SWAP1 000014e3: PUSH2 0x14ec 000014e6: SWAP2 000014e7: SWAP1 000014e8: PUSH2 0x257d 000014eb: JUMP 000014ec: JUMPDEST 000014ed: PUSH12 0xffffffffffffffffffffffff 000014fa: AND 000014fb: SUB 000014fc: PUSH2 0x1531 000014ff: JUMPI 00001500: PUSH1 0x40 00001502: MLOAD 00001503: PUSH32 0x3869bbe600000000000000000000000000000000000000000000000000000000 00001524: DUP2 00001525: MSTORE 00001526: PUSH1 0x04 00001528: ADD 00001529: PUSH1 0x40 0000152b: MLOAD 0000152c: DUP1 0000152d: SWAP2 0000152e: SUB 0000152f: SWAP1 00001530: REVERT 00001531: JUMPDEST 00001532: PUSH1 0x40 00001534: MLOAD 00001535: DUP1 00001536: PUSH1 0x80 00001538: ADD 00001539: PUSH1 0x40 0000153b: MSTORE 0000153c: DUP1 0000153d: PUSH1 0x01 0000153f: ISZERO 00001540: ISZERO 00001541: DUP2 00001542: MSTORE 00001543: PUSH1 0x20 00001545: ADD 00001546: DUP8 00001547: DUP8 00001548: DUP5 00001549: DUP2 0000154a: DUP2 0000154b: LT 0000154c: PUSH2 0x1558 0000154f: JUMPI 00001550: PUSH2 0x1557 00001553: PUSH2 0x2386 00001556: JUMP 00001557: JUMPDEST 00001558: JUMPDEST 00001559: SWAP1 0000155a: POP 0000155b: PUSH1 0x20 0000155d: MUL 0000155e: ADD 0000155f: PUSH1 0x20 00001561: DUP2 00001562: ADD 00001563: SWAP1 00001564: PUSH2 0x156d 00001567: SWAP2 00001568: SWAP1 00001569: PUSH2 0x257d 0000156c: JUMP 0000156d: JUMPDEST 0000156e: PUSH12 0xffffffffffffffffffffffff 0000157b: AND 0000157c: DUP2 0000157d: MSTORE 0000157e: PUSH1 0x20 00001580: ADD 00001581: DUP6 00001582: DUP6 00001583: DUP5 00001584: DUP2 00001585: DUP2 00001586: LT 00001587: PUSH2 0x1593 0000158a: JUMPI 0000158b: PUSH2 0x1592 0000158e: PUSH2 0x2386 00001591: JUMP 00001592: JUMPDEST 00001593: JUMPDEST 00001594: SWAP1 00001595: POP 00001596: PUSH1 0x20 00001598: MUL 00001599: ADD 0000159a: PUSH1 0x20 0000159c: DUP2 0000159d: ADD 0000159e: SWAP1 0000159f: PUSH2 0x15a8 000015a2: SWAP2 000015a3: SWAP1 000015a4: PUSH2 0x257d 000015a7: JUMP 000015a8: JUMPDEST 000015a9: PUSH12 0xffffffffffffffffffffffff 000015b6: AND 000015b7: DUP2 000015b8: MSTORE 000015b9: PUSH1 0x20 000015bb: ADD 000015bc: PUSH0 000015bd: PUSH7 0xffffffffffffff 000015c5: AND 000015c6: DUP2 000015c7: MSTORE 000015c8: POP 000015c9: PUSH1 0x05 000015cb: PUSH0 000015cc: DUP11 000015cd: DUP11 000015ce: DUP6 000015cf: DUP2 000015d0: DUP2 000015d1: LT 000015d2: PUSH2 0x15de 000015d5: JUMPI 000015d6: PUSH2 0x15dd 000015d9: PUSH2 0x2386 000015dc: JUMP 000015dd: JUMPDEST 000015de: JUMPDEST 000015df: SWAP1 000015e0: POP 000015e1: PUSH1 0x20 000015e3: MUL 000015e4: ADD 000015e5: PUSH1 0x20 000015e7: DUP2 000015e8: ADD 000015e9: SWAP1 000015ea: PUSH2 0x15f3 000015ed: SWAP2 000015ee: SWAP1 000015ef: PUSH2 0x20dc 000015f2: JUMP 000015f3: JUMPDEST 000015f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001609: AND 0000160a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000161f: AND 00001620: DUP2 00001621: MSTORE 00001622: PUSH1 0x20 00001624: ADD 00001625: SWAP1 00001626: DUP2 00001627: MSTORE 00001628: PUSH1 0x20 0000162a: ADD 0000162b: PUSH0 0000162c: KECCAK256 0000162d: PUSH0 0000162e: DUP3 0000162f: ADD 00001630: MLOAD 00001631: DUP2 00001632: PUSH0 00001633: ADD 00001634: PUSH0 00001635: PUSH2 0x0100 00001638: EXP 00001639: DUP2 0000163a: SLOAD 0000163b: DUP2 0000163c: PUSH1 0xff 0000163e: MUL 0000163f: NOT 00001640: AND 00001641: SWAP1 00001642: DUP4 00001643: ISZERO 00001644: ISZERO 00001645: MUL 00001646: OR 00001647: SWAP1 00001648: SSTORE 00001649: POP 0000164a: PUSH1 0x20 0000164c: DUP3 0000164d: ADD 0000164e: MLOAD 0000164f: DUP2 00001650: PUSH0 00001651: ADD 00001652: PUSH1 0x01 00001654: PUSH2 0x0100 00001657: EXP 00001658: DUP2 00001659: SLOAD 0000165a: DUP2 0000165b: PUSH12 0xffffffffffffffffffffffff 00001668: MUL 00001669: NOT 0000166a: AND 0000166b: SWAP1 0000166c: DUP4 0000166d: PUSH12 0xffffffffffffffffffffffff 0000167a: AND 0000167b: MUL 0000167c: OR 0000167d: SWAP1 0000167e: SSTORE 0000167f: POP 00001680: PUSH1 0x40 00001682: DUP3 00001683: ADD 00001684: MLOAD 00001685: DUP2 00001686: PUSH0 00001687: ADD 00001688: PUSH1 0x0d 0000168a: PUSH2 0x0100 0000168d: EXP 0000168e: DUP2 0000168f: SLOAD 00001690: DUP2 00001691: PUSH12 0xffffffffffffffffffffffff 0000169e: MUL 0000169f: NOT 000016a0: AND 000016a1: SWAP1 000016a2: DUP4 000016a3: PUSH12 0xffffffffffffffffffffffff 000016b0: AND 000016b1: MUL 000016b2: OR 000016b3: SWAP1 000016b4: SSTORE 000016b5: POP 000016b6: PUSH1 0x60 000016b8: DUP3 000016b9: ADD 000016ba: MLOAD 000016bb: DUP2 000016bc: PUSH0 000016bd: ADD 000016be: PUSH1 0x19 000016c0: PUSH2 0x0100 000016c3: EXP 000016c4: DUP2 000016c5: SLOAD 000016c6: DUP2 000016c7: PUSH7 0xffffffffffffff 000016cf: MUL 000016d0: NOT 000016d1: AND 000016d2: SWAP1 000016d3: DUP4 000016d4: PUSH7 0xffffffffffffff 000016dc: AND 000016dd: MUL 000016de: OR 000016df: SWAP1 000016e0: SSTORE 000016e1: POP 000016e2: SWAP1 000016e3: POP 000016e4: POP 000016e5: DUP1 000016e6: DUP1 000016e7: PUSH2 0x16ef 000016ea: SWAP1 000016eb: PUSH2 0x2413 000016ee: JUMP 000016ef: JUMPDEST 000016f0: SWAP2 000016f1: POP 000016f2: POP 000016f3: PUSH2 0x1350 000016f6: JUMP 000016f7: JUMPDEST 000016f8: POP 000016f9: DUP7 000016fa: DUP7 000016fb: PUSH1 0x04 000016fd: SWAP2 000016fe: SWAP1 000016ff: PUSH2 0x1709 00001702: SWAP3 00001703: SWAP2 00001704: SWAP1 00001705: PUSH2 0x1a89 00001708: JUMP 00001709: JUMPDEST 0000170a: POP 0000170b: POP 0000170c: POP 0000170d: POP 0000170e: POP 0000170f: POP 00001710: POP 00001711: POP 00001712: JUMP 00001713: JUMPDEST 00001714: PUSH2 0x171b 00001717: PUSH2 0x1727 0000171a: JUMP 0000171b: JUMPDEST 0000171c: PUSH2 0x1724 0000171f: DUP2 00001720: PUSH2 0x18c4 00001723: JUMP 00001724: JUMPDEST 00001725: POP 00001726: JUMP 00001727: JUMPDEST 00001728: PUSH0 00001729: DUP1 0000172a: SLOAD 0000172b: SWAP1 0000172c: PUSH2 0x0100 0000172f: EXP 00001730: SWAP1 00001731: DIV 00001732: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001747: AND 00001748: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000175d: AND 0000175e: CALLER 0000175f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001774: AND 00001775: EQ 00001776: PUSH2 0x17b4 00001779: JUMPI 0000177a: PUSH1 0x40 0000177c: MLOAD 0000177d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000179e: DUP2 0000179f: MSTORE 000017a0: PUSH1 0x04 000017a2: ADD 000017a3: PUSH2 0x17ab 000017a6: SWAP1 000017a7: PUSH2 0x25f2 000017aa: JUMP 000017ab: JUMPDEST 000017ac: PUSH1 0x40 000017ae: MLOAD 000017af: DUP1 000017b0: SWAP2 000017b1: SUB 000017b2: SWAP1 000017b3: REVERT 000017b4: JUMPDEST 000017b5: JUMP 000017b6: JUMPDEST 000017b7: PUSH2 0x17be 000017ba: PUSH2 0x0cf8 000017bd: JUMP 000017be: JUMPDEST 000017bf: ISZERO 000017c0: PUSH2 0x17fe 000017c3: JUMPI 000017c4: PUSH1 0x40 000017c6: MLOAD 000017c7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000017e8: DUP2 000017e9: MSTORE 000017ea: PUSH1 0x04 000017ec: ADD 000017ed: PUSH2 0x17f5 000017f0: SWAP1 000017f1: PUSH2 0x265a 000017f4: JUMP 000017f5: JUMPDEST 000017f6: PUSH1 0x40 000017f8: MLOAD 000017f9: DUP1 000017fa: SWAP2 000017fb: SUB 000017fc: SWAP1 000017fd: REVERT 000017fe: JUMPDEST 000017ff: JUMP 00001800: JUMPDEST 00001801: PUSH2 0x1808 00001804: PUSH2 0x19ee 00001807: JUMP 00001808: JUMPDEST 00001809: PUSH0 0000180a: PUSH1 0x01 0000180c: PUSH1 0x14 0000180e: PUSH2 0x0100 00001811: EXP 00001812: DUP2 00001813: SLOAD 00001814: DUP2 00001815: PUSH1 0xff 00001817: MUL 00001818: NOT 00001819: AND 0000181a: SWAP1 0000181b: DUP4 0000181c: ISZERO 0000181d: ISZERO 0000181e: MUL 0000181f: OR 00001820: SWAP1 00001821: SSTORE 00001822: POP 00001823: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 00001844: PUSH2 0x184b 00001847: PUSH2 0x1a37 0000184a: JUMP 0000184b: JUMPDEST 0000184c: PUSH1 0x40 0000184e: MLOAD 0000184f: PUSH2 0x1858 00001852: SWAP2 00001853: SWAP1 00001854: PUSH2 0x2191 00001857: JUMP 00001858: JUMPDEST 00001859: PUSH1 0x40 0000185b: MLOAD 0000185c: DUP1 0000185d: SWAP2 0000185e: SUB 0000185f: SWAP1 00001860: LOG1 00001861: JUMP 00001862: JUMPDEST 00001863: PUSH2 0x186a 00001866: PUSH2 0x17b6 00001869: JUMP 0000186a: JUMPDEST 0000186b: PUSH1 0x01 0000186d: DUP1 0000186e: PUSH1 0x14 00001870: PUSH2 0x0100 00001873: EXP 00001874: DUP2 00001875: SLOAD 00001876: DUP2 00001877: PUSH1 0xff 00001879: MUL 0000187a: NOT 0000187b: AND 0000187c: SWAP1 0000187d: DUP4 0000187e: ISZERO 0000187f: ISZERO 00001880: MUL 00001881: OR 00001882: SWAP1 00001883: SSTORE 00001884: POP 00001885: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 000018a6: PUSH2 0x18ad 000018a9: PUSH2 0x1a37 000018ac: JUMP 000018ad: JUMPDEST 000018ae: PUSH1 0x40 000018b0: MLOAD 000018b1: PUSH2 0x18ba 000018b4: SWAP2 000018b5: SWAP1 000018b6: PUSH2 0x2191 000018b9: JUMP 000018ba: JUMPDEST 000018bb: PUSH1 0x40 000018bd: MLOAD 000018be: DUP1 000018bf: SWAP2 000018c0: SUB 000018c1: SWAP1 000018c2: LOG1 000018c3: JUMP 000018c4: JUMPDEST 000018c5: CALLER 000018c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018db: AND 000018dc: DUP2 000018dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018f2: AND 000018f3: SUB 000018f4: PUSH2 0x1932 000018f7: JUMPI 000018f8: PUSH1 0x40 000018fa: MLOAD 000018fb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000191c: DUP2 0000191d: MSTORE 0000191e: PUSH1 0x04 00001920: ADD 00001921: PUSH2 0x1929 00001924: SWAP1 00001925: PUSH2 0x26c2 00001928: JUMP 00001929: JUMPDEST 0000192a: PUSH1 0x40 0000192c: MLOAD 0000192d: DUP1 0000192e: SWAP2 0000192f: SUB 00001930: SWAP1 00001931: REVERT 00001932: JUMPDEST 00001933: DUP1 00001934: PUSH1 0x01 00001936: PUSH0 00001937: PUSH2 0x0100 0000193a: EXP 0000193b: DUP2 0000193c: SLOAD 0000193d: DUP2 0000193e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001953: MUL 00001954: NOT 00001955: AND 00001956: SWAP1 00001957: DUP4 00001958: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000196d: AND 0000196e: MUL 0000196f: OR 00001970: SWAP1 00001971: SSTORE 00001972: POP 00001973: DUP1 00001974: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001989: AND 0000198a: PUSH0 0000198b: DUP1 0000198c: SLOAD 0000198d: SWAP1 0000198e: PUSH2 0x0100 00001991: EXP 00001992: SWAP1 00001993: DIV 00001994: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019a9: AND 000019aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019bf: AND 000019c0: PUSH32 0xed8889f560326eb138920d842192f0eb3dd22b4f139c87a2c57538e05bae1278 000019e1: PUSH1 0x40 000019e3: MLOAD 000019e4: PUSH1 0x40 000019e6: MLOAD 000019e7: DUP1 000019e8: SWAP2 000019e9: SUB 000019ea: SWAP1 000019eb: LOG3 000019ec: POP 000019ed: JUMP 000019ee: JUMPDEST 000019ef: PUSH2 0x19f6 000019f2: PUSH2 0x0cf8 000019f5: JUMP 000019f6: JUMPDEST 000019f7: PUSH2 0x1a35 000019fa: JUMPI 000019fb: PUSH1 0x40 000019fd: MLOAD 000019fe: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001a1f: DUP2 00001a20: MSTORE 00001a21: PUSH1 0x04 00001a23: ADD 00001a24: PUSH2 0x1a2c 00001a27: SWAP1 00001a28: PUSH2 0x272a 00001a2b: JUMP 00001a2c: JUMPDEST 00001a2d: PUSH1 0x40 00001a2f: MLOAD 00001a30: DUP1 00001a31: SWAP2 00001a32: SUB 00001a33: SWAP1 00001a34: REVERT 00001a35: JUMPDEST 00001a36: JUMP 00001a37: JUMPDEST 00001a38: PUSH0 00001a39: CALLER 00001a3a: SWAP1 00001a3b: POP 00001a3c: SWAP1 00001a3d: JUMP 00001a3e: JUMPDEST 00001a3f: PUSH1 0x40 00001a41: MLOAD 00001a42: DUP1 00001a43: PUSH1 0x80 00001a45: ADD 00001a46: PUSH1 0x40 00001a48: MSTORE 00001a49: DUP1 00001a4a: PUSH0 00001a4b: ISZERO 00001a4c: ISZERO 00001a4d: DUP2 00001a4e: MSTORE 00001a4f: PUSH1 0x20 00001a51: ADD 00001a52: PUSH0 00001a53: PUSH12 0xffffffffffffffffffffffff 00001a60: AND 00001a61: DUP2 00001a62: MSTORE 00001a63: PUSH1 0x20 00001a65: ADD 00001a66: PUSH0 00001a67: PUSH12 0xffffffffffffffffffffffff 00001a74: AND 00001a75: DUP2 00001a76: MSTORE 00001a77: PUSH1 0x20 00001a79: ADD 00001a7a: PUSH0 00001a7b: PUSH7 0xffffffffffffff 00001a83: AND 00001a84: DUP2 00001a85: MSTORE 00001a86: POP 00001a87: SWAP1 00001a88: JUMP 00001a89: JUMPDEST 00001a8a: DUP3 00001a8b: DUP1 00001a8c: SLOAD 00001a8d: DUP3 00001a8e: DUP3 00001a8f: SSTORE 00001a90: SWAP1 00001a91: PUSH0 00001a92: MSTORE 00001a93: PUSH1 0x20 00001a95: PUSH0 00001a96: KECCAK256 00001a97: SWAP1 00001a98: DUP2 00001a99: ADD 00001a9a: SWAP3 00001a9b: DUP3 00001a9c: ISZERO 00001a9d: PUSH2 0x1b15 00001aa0: JUMPI 00001aa1: SWAP2 00001aa2: PUSH1 0x20 00001aa4: MUL 00001aa5: DUP3 00001aa6: ADD 00001aa7: JUMPDEST 00001aa8: DUP3 00001aa9: DUP2 00001aaa: GT 00001aab: ISZERO 00001aac: PUSH2 0x1b14 00001aaf: JUMPI 00001ab0: DUP3 00001ab1: CALLDATALOAD 00001ab2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ac7: AND 00001ac8: DUP3 00001ac9: PUSH0 00001aca: PUSH2 0x0100 00001acd: EXP 00001ace: DUP2 00001acf: SLOAD 00001ad0: DUP2 00001ad1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ae6: MUL 00001ae7: NOT 00001ae8: AND 00001ae9: SWAP1 00001aea: DUP4 00001aeb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b00: AND 00001b01: MUL 00001b02: OR 00001b03: SWAP1 00001b04: SSTORE 00001b05: POP 00001b06: SWAP2 00001b07: PUSH1 0x20 00001b09: ADD 00001b0a: SWAP2 00001b0b: SWAP1 00001b0c: PUSH1 0x01 00001b0e: ADD 00001b0f: SWAP1 00001b10: PUSH2 0x1aa7 00001b13: JUMP 00001b14: JUMPDEST 00001b15: JUMPDEST 00001b16: POP 00001b17: SWAP1 00001b18: POP 00001b19: PUSH2 0x1b22 00001b1c: SWAP2 00001b1d: SWAP1 00001b1e: PUSH2 0x1b26 00001b21: JUMP 00001b22: JUMPDEST 00001b23: POP 00001b24: SWAP1 00001b25: JUMP 00001b26: JUMPDEST 00001b27: JUMPDEST 00001b28: DUP1 00001b29: DUP3 00001b2a: GT 00001b2b: ISZERO 00001b2c: PUSH2 0x1b3d 00001b2f: JUMPI 00001b30: PUSH0 00001b31: DUP2 00001b32: PUSH0 00001b33: SWAP1 00001b34: SSTORE 00001b35: POP 00001b36: PUSH1 0x01 00001b38: ADD 00001b39: PUSH2 0x1b27 00001b3c: JUMP 00001b3d: JUMPDEST 00001b3e: POP 00001b3f: SWAP1 00001b40: JUMP 00001b41: JUMPDEST 00001b42: PUSH0 00001b43: DUP2 00001b44: SWAP1 00001b45: POP 00001b46: SWAP2 00001b47: SWAP1 00001b48: POP 00001b49: JUMP 00001b4a: JUMPDEST 00001b4b: PUSH2 0x1b53 00001b4e: DUP2 00001b4f: PUSH2 0x1b41 00001b52: JUMP 00001b53: JUMPDEST 00001b54: DUP3 00001b55: MSTORE 00001b56: POP 00001b57: POP 00001b58: JUMP 00001b59: JUMPDEST 00001b5a: PUSH0 00001b5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b70: DUP3 00001b71: AND 00001b72: SWAP1 00001b73: POP 00001b74: SWAP2 00001b75: SWAP1 00001b76: POP 00001b77: JUMP 00001b78: JUMPDEST 00001b79: PUSH0 00001b7a: PUSH2 0x1b82 00001b7d: DUP3 00001b7e: PUSH2 0x1b59 00001b81: JUMP 00001b82: JUMPDEST 00001b83: SWAP1 00001b84: POP 00001b85: SWAP2 00001b86: SWAP1 00001b87: POP 00001b88: JUMP 00001b89: JUMPDEST 00001b8a: PUSH2 0x1b92 00001b8d: DUP2 00001b8e: PUSH2 0x1b78 00001b91: JUMP 00001b92: JUMPDEST 00001b93: DUP3 00001b94: MSTORE 00001b95: POP 00001b96: POP 00001b97: JUMP 00001b98: JUMPDEST 00001b99: PUSH0 00001b9a: PUSH1 0x60 00001b9c: DUP3 00001b9d: ADD 00001b9e: SWAP1 00001b9f: POP 00001ba0: PUSH2 0x1bab 00001ba3: PUSH0 00001ba4: DUP4 00001ba5: ADD 00001ba6: DUP7 00001ba7: PUSH2 0x1b4a 00001baa: JUMP 00001bab: JUMPDEST 00001bac: PUSH2 0x1bb8 00001baf: PUSH1 0x20 00001bb1: DUP4 00001bb2: ADD 00001bb3: DUP6 00001bb4: PUSH2 0x1b4a 00001bb7: JUMP 00001bb8: JUMPDEST 00001bb9: PUSH2 0x1bc5 00001bbc: PUSH1 0x40 00001bbe: DUP4 00001bbf: ADD 00001bc0: DUP5 00001bc1: PUSH2 0x1b89 00001bc4: JUMP 00001bc5: JUMPDEST 00001bc6: SWAP5 00001bc7: SWAP4 00001bc8: POP 00001bc9: POP 00001bca: POP 00001bcb: POP 00001bcc: JUMP 00001bcd: JUMPDEST 00001bce: PUSH0 00001bcf: PUSH1 0x40 00001bd1: MLOAD 00001bd2: SWAP1 00001bd3: POP 00001bd4: SWAP1 00001bd5: JUMP 00001bd6: JUMPDEST 00001bd7: PUSH0 00001bd8: DUP1 00001bd9: REVERT 00001bda: JUMPDEST 00001bdb: PUSH0 00001bdc: DUP1 00001bdd: REVERT 00001bde: JUMPDEST 00001bdf: PUSH2 0x1be7 00001be2: DUP2 00001be3: PUSH2 0x1b41 00001be6: JUMP 00001be7: JUMPDEST 00001be8: DUP2 00001be9: EQ 00001bea: PUSH2 0x1bf1 00001bed: JUMPI 00001bee: PUSH0 00001bef: DUP1 00001bf0: REVERT 00001bf1: JUMPDEST 00001bf2: POP 00001bf3: JUMP 00001bf4: JUMPDEST 00001bf5: PUSH0 00001bf6: DUP2 00001bf7: CALLDATALOAD 00001bf8: SWAP1 00001bf9: POP 00001bfa: PUSH2 0x1c02 00001bfd: DUP2 00001bfe: PUSH2 0x1bde 00001c01: JUMP 00001c02: JUMPDEST 00001c03: SWAP3 00001c04: SWAP2 00001c05: POP 00001c06: POP 00001c07: JUMP 00001c08: JUMPDEST 00001c09: PUSH0 00001c0a: PUSH2 0x1c12 00001c0d: DUP3 00001c0e: PUSH2 0x1b59 00001c11: JUMP 00001c12: JUMPDEST 00001c13: SWAP1 00001c14: POP 00001c15: SWAP2 00001c16: SWAP1 00001c17: POP 00001c18: JUMP 00001c19: JUMPDEST 00001c1a: PUSH2 0x1c22 00001c1d: DUP2 00001c1e: PUSH2 0x1c08 00001c21: JUMP 00001c22: JUMPDEST 00001c23: DUP2 00001c24: EQ 00001c25: PUSH2 0x1c2c 00001c28: JUMPI 00001c29: PUSH0 00001c2a: DUP1 00001c2b: REVERT 00001c2c: JUMPDEST 00001c2d: POP 00001c2e: JUMP 00001c2f: JUMPDEST 00001c30: PUSH0 00001c31: DUP2 00001c32: CALLDATALOAD 00001c33: SWAP1 00001c34: POP 00001c35: PUSH2 0x1c3d 00001c38: DUP2 00001c39: PUSH2 0x1c19 00001c3c: JUMP 00001c3d: JUMPDEST 00001c3e: SWAP3 00001c3f: SWAP2 00001c40: POP 00001c41: POP 00001c42: JUMP 00001c43: JUMPDEST 00001c44: PUSH0 00001c45: DUP1 00001c46: PUSH1 0x40 00001c48: DUP4 00001c49: DUP6 00001c4a: SUB 00001c4b: SLT 00001c4c: ISZERO 00001c4d: PUSH2 0x1c59 00001c50: JUMPI 00001c51: PUSH2 0x1c58 00001c54: PUSH2 0x1bd6 00001c57: JUMP 00001c58: JUMPDEST 00001c59: JUMPDEST 00001c5a: PUSH0 00001c5b: PUSH2 0x1c66 00001c5e: DUP6 00001c5f: DUP3 00001c60: DUP7 00001c61: ADD 00001c62: PUSH2 0x1bf4 00001c65: JUMP 00001c66: JUMPDEST 00001c67: SWAP3 00001c68: POP 00001c69: POP 00001c6a: PUSH1 0x20 00001c6c: PUSH2 0x1c77 00001c6f: DUP6 00001c70: DUP3 00001c71: DUP7 00001c72: ADD 00001c73: PUSH2 0x1c2f 00001c76: JUMP 00001c77: JUMPDEST 00001c78: SWAP2 00001c79: POP 00001c7a: POP 00001c7b: SWAP3 00001c7c: POP 00001c7d: SWAP3 00001c7e: SWAP1 00001c7f: POP 00001c80: JUMP 00001c81: JUMPDEST 00001c82: PUSH0 00001c83: DUP2 00001c84: MLOAD 00001c85: SWAP1 00001c86: POP 00001c87: SWAP2 00001c88: SWAP1 00001c89: POP 00001c8a: JUMP 00001c8b: JUMPDEST 00001c8c: PUSH0 00001c8d: DUP3 00001c8e: DUP3 00001c8f: MSTORE 00001c90: PUSH1 0x20 00001c92: DUP3 00001c93: ADD 00001c94: SWAP1 00001c95: POP 00001c96: SWAP3 00001c97: SWAP2 00001c98: POP 00001c99: POP 00001c9a: JUMP 00001c9b: JUMPDEST 00001c9c: PUSH0 00001c9d: DUP2 00001c9e: SWAP1 00001c9f: POP 00001ca0: PUSH1 0x20 00001ca2: DUP3 00001ca3: ADD 00001ca4: SWAP1 00001ca5: POP 00001ca6: SWAP2 00001ca7: SWAP1 00001ca8: POP 00001ca9: JUMP 00001caa: JUMPDEST 00001cab: PUSH2 0x1cb3 00001cae: DUP2 00001caf: PUSH2 0x1b78 00001cb2: JUMP 00001cb3: JUMPDEST 00001cb4: DUP3 00001cb5: MSTORE 00001cb6: POP 00001cb7: POP 00001cb8: JUMP 00001cb9: JUMPDEST 00001cba: PUSH0 00001cbb: PUSH2 0x1cc4 00001cbe: DUP4 00001cbf: DUP4 00001cc0: PUSH2 0x1caa 00001cc3: JUMP 00001cc4: JUMPDEST 00001cc5: PUSH1 0x20 00001cc7: DUP4 00001cc8: ADD 00001cc9: SWAP1 00001cca: POP 00001ccb: SWAP3 00001ccc: SWAP2 00001ccd: POP 00001cce: POP 00001ccf: JUMP 00001cd0: JUMPDEST 00001cd1: PUSH0 00001cd2: PUSH1 0x20 00001cd4: DUP3 00001cd5: ADD 00001cd6: SWAP1 00001cd7: POP 00001cd8: SWAP2 00001cd9: SWAP1 00001cda: POP 00001cdb: JUMP 00001cdc: JUMPDEST 00001cdd: PUSH0 00001cde: PUSH2 0x1ce6 00001ce1: DUP3 00001ce2: PUSH2 0x1c81 00001ce5: JUMP 00001ce6: JUMPDEST 00001ce7: PUSH2 0x1cf0 00001cea: DUP2 00001ceb: DUP6 00001cec: PUSH2 0x1c8b 00001cef: JUMP 00001cf0: JUMPDEST 00001cf1: SWAP4 00001cf2: POP 00001cf3: PUSH2 0x1cfb 00001cf6: DUP4 00001cf7: PUSH2 0x1c9b 00001cfa: JUMP 00001cfb: JUMPDEST 00001cfc: DUP1 00001cfd: PUSH0 00001cfe: JUMPDEST 00001cff: DUP4 00001d00: DUP2 00001d01: LT 00001d02: ISZERO 00001d03: PUSH2 0x1d2b 00001d06: JUMPI 00001d07: DUP2 00001d08: MLOAD 00001d09: PUSH2 0x1d12 00001d0c: DUP9 00001d0d: DUP3 00001d0e: PUSH2 0x1cb9 00001d11: JUMP 00001d12: JUMPDEST 00001d13: SWAP8 00001d14: POP 00001d15: PUSH2 0x1d1d 00001d18: DUP4 00001d19: PUSH2 0x1cd0 00001d1c: JUMP 00001d1d: JUMPDEST 00001d1e: SWAP3 00001d1f: POP 00001d20: POP 00001d21: PUSH1 0x01 00001d23: DUP2 00001d24: ADD 00001d25: SWAP1 00001d26: POP 00001d27: PUSH2 0x1cfe 00001d2a: JUMP 00001d2b: JUMPDEST 00001d2c: POP 00001d2d: DUP6 00001d2e: SWAP4 00001d2f: POP 00001d30: POP 00001d31: POP 00001d32: POP 00001d33: SWAP3 00001d34: SWAP2 00001d35: POP 00001d36: POP 00001d37: JUMP 00001d38: JUMPDEST 00001d39: PUSH0 00001d3a: PUSH1 0x20 00001d3c: DUP3 00001d3d: ADD 00001d3e: SWAP1 00001d3f: POP 00001d40: DUP2 00001d41: DUP2 00001d42: SUB 00001d43: PUSH0 00001d44: DUP4 00001d45: ADD 00001d46: MSTORE 00001d47: PUSH2 0x1d50 00001d4a: DUP2 00001d4b: DUP5 00001d4c: PUSH2 0x1cdc 00001d4f: JUMP 00001d50: JUMPDEST 00001d51: SWAP1 00001d52: POP 00001d53: SWAP3 00001d54: SWAP2 00001d55: POP 00001d56: POP 00001d57: JUMP 00001d58: JUMPDEST 00001d59: PUSH0 00001d5a: DUP1 00001d5b: REVERT 00001d5c: JUMPDEST 00001d5d: PUSH0 00001d5e: PUSH1 0x1f 00001d60: NOT 00001d61: PUSH1 0x1f 00001d63: DUP4 00001d64: ADD 00001d65: AND 00001d66: SWAP1 00001d67: POP 00001d68: SWAP2 00001d69: SWAP1 00001d6a: POP 00001d6b: JUMP 00001d6c: JUMPDEST 00001d6d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001d8e: PUSH0 00001d8f: MSTORE 00001d90: PUSH1 0x41 00001d92: PUSH1 0x04 00001d94: MSTORE 00001d95: PUSH1 0x24 00001d97: PUSH0 00001d98: REVERT 00001d99: JUMPDEST 00001d9a: PUSH2 0x1da2 00001d9d: DUP3 00001d9e: PUSH2 0x1d5c 00001da1: JUMP 00001da2: JUMPDEST 00001da3: DUP2 00001da4: ADD 00001da5: DUP2 00001da6: DUP2 00001da7: LT 00001da8: PUSH8 0xffffffffffffffff 00001db1: DUP3 00001db2: GT 00001db3: OR 00001db4: ISZERO 00001db5: PUSH2 0x1dc1 00001db8: JUMPI 00001db9: PUSH2 0x1dc0 00001dbc: PUSH2 0x1d6c 00001dbf: JUMP 00001dc0: JUMPDEST 00001dc1: JUMPDEST 00001dc2: DUP1 00001dc3: PUSH1 0x40 00001dc5: MSTORE 00001dc6: POP 00001dc7: POP 00001dc8: POP 00001dc9: JUMP 00001dca: JUMPDEST 00001dcb: PUSH0 00001dcc: PUSH2 0x1dd3 00001dcf: PUSH2 0x1bcd 00001dd2: JUMP 00001dd3: JUMPDEST 00001dd4: SWAP1 00001dd5: POP 00001dd6: PUSH2 0x1ddf 00001dd9: DUP3 00001dda: DUP3 00001ddb: PUSH2 0x1d99 00001dde: JUMP 00001ddf: JUMPDEST 00001de0: SWAP2 00001de1: SWAP1 00001de2: POP 00001de3: JUMP 00001de4: JUMPDEST 00001de5: PUSH0 00001de6: PUSH8 0xffffffffffffffff 00001def: DUP3 00001df0: GT 00001df1: ISZERO 00001df2: PUSH2 0x1dfe 00001df5: JUMPI 00001df6: PUSH2 0x1dfd 00001df9: PUSH2 0x1d6c 00001dfc: JUMP 00001dfd: JUMPDEST 00001dfe: JUMPDEST 00001dff: PUSH1 0x20 00001e01: DUP3 00001e02: MUL 00001e03: SWAP1 00001e04: POP 00001e05: PUSH1 0x20 00001e07: DUP2 00001e08: ADD 00001e09: SWAP1 00001e0a: POP 00001e0b: SWAP2 00001e0c: SWAP1 00001e0d: POP 00001e0e: JUMP 00001e0f: JUMPDEST 00001e10: PUSH0 00001e11: DUP1 00001e12: REVERT 00001e13: JUMPDEST 00001e14: PUSH2 0x1e1c 00001e17: DUP2 00001e18: PUSH2 0x1b78 00001e1b: JUMP 00001e1c: JUMPDEST 00001e1d: DUP2 00001e1e: EQ 00001e1f: PUSH2 0x1e26 00001e22: JUMPI 00001e23: PUSH0 00001e24: DUP1 00001e25: REVERT 00001e26: JUMPDEST 00001e27: POP 00001e28: JUMP 00001e29: JUMPDEST 00001e2a: PUSH0 00001e2b: DUP2 00001e2c: CALLDATALOAD 00001e2d: SWAP1 00001e2e: POP 00001e2f: PUSH2 0x1e37 00001e32: DUP2 00001e33: PUSH2 0x1e13 00001e36: JUMP 00001e37: JUMPDEST 00001e38: SWAP3 00001e39: SWAP2 00001e3a: POP 00001e3b: POP 00001e3c: JUMP 00001e3d: JUMPDEST 00001e3e: PUSH0 00001e3f: PUSH2 0x1e4f 00001e42: PUSH2 0x1e4a 00001e45: DUP5 00001e46: PUSH2 0x1de4 00001e49: JUMP 00001e4a: JUMPDEST 00001e4b: PUSH2 0x1dca 00001e4e: JUMP 00001e4f: JUMPDEST 00001e50: SWAP1 00001e51: POP 00001e52: DUP1 00001e53: DUP4 00001e54: DUP3 00001e55: MSTORE 00001e56: PUSH1 0x20 00001e58: DUP3 00001e59: ADD 00001e5a: SWAP1 00001e5b: POP 00001e5c: PUSH1 0x20 00001e5e: DUP5 00001e5f: MUL 00001e60: DUP4 00001e61: ADD 00001e62: DUP6 00001e63: DUP2 00001e64: GT 00001e65: ISZERO 00001e66: PUSH2 0x1e72 00001e69: JUMPI 00001e6a: PUSH2 0x1e71 00001e6d: PUSH2 0x1e0f 00001e70: JUMP 00001e71: JUMPDEST 00001e72: JUMPDEST 00001e73: DUP4 00001e74: JUMPDEST 00001e75: DUP2 00001e76: DUP2 00001e77: LT 00001e78: ISZERO 00001e79: PUSH2 0x1e9b 00001e7c: JUMPI 00001e7d: DUP1 00001e7e: PUSH2 0x1e87 00001e81: DUP9 00001e82: DUP3 00001e83: PUSH2 0x1e29 00001e86: JUMP 00001e87: JUMPDEST 00001e88: DUP5 00001e89: MSTORE 00001e8a: PUSH1 0x20 00001e8c: DUP5 00001e8d: ADD 00001e8e: SWAP4 00001e8f: POP 00001e90: POP 00001e91: PUSH1 0x20 00001e93: DUP2 00001e94: ADD 00001e95: SWAP1 00001e96: POP 00001e97: PUSH2 0x1e74 00001e9a: JUMP 00001e9b: JUMPDEST 00001e9c: POP 00001e9d: POP 00001e9e: POP 00001e9f: SWAP4 00001ea0: SWAP3 00001ea1: POP 00001ea2: POP 00001ea3: POP 00001ea4: JUMP 00001ea5: JUMPDEST 00001ea6: PUSH0 00001ea7: DUP3 00001ea8: PUSH1 0x1f 00001eaa: DUP4 00001eab: ADD 00001eac: SLT 00001ead: PUSH2 0x1eb9 00001eb0: JUMPI 00001eb1: PUSH2 0x1eb8 00001eb4: PUSH2 0x1d58 00001eb7: JUMP 00001eb8: JUMPDEST 00001eb9: JUMPDEST 00001eba: DUP2 00001ebb: CALLDATALOAD 00001ebc: PUSH2 0x1ec9 00001ebf: DUP5 00001ec0: DUP3 00001ec1: PUSH1 0x20 00001ec3: DUP7 00001ec4: ADD 00001ec5: PUSH2 0x1e3d 00001ec8: JUMP 00001ec9: JUMPDEST 00001eca: SWAP2 00001ecb: POP 00001ecc: POP 00001ecd: SWAP3 00001ece: SWAP2 00001ecf: POP 00001ed0: POP 00001ed1: JUMP 00001ed2: JUMPDEST 00001ed3: PUSH0 00001ed4: PUSH1 0x20 00001ed6: DUP3 00001ed7: DUP5 00001ed8: SUB 00001ed9: SLT 00001eda: ISZERO 00001edb: PUSH2 0x1ee7 00001ede: JUMPI 00001edf: PUSH2 0x1ee6 00001ee2: PUSH2 0x1bd6 00001ee5: JUMP 00001ee6: JUMPDEST 00001ee7: JUMPDEST 00001ee8: PUSH0 00001ee9: DUP3 00001eea: ADD 00001eeb: CALLDATALOAD 00001eec: PUSH8 0xffffffffffffffff 00001ef5: DUP2 00001ef6: GT 00001ef7: ISZERO 00001ef8: PUSH2 0x1f04 00001efb: JUMPI 00001efc: PUSH2 0x1f03 00001eff: PUSH2 0x1bda 00001f02: JUMP 00001f03: JUMPDEST 00001f04: JUMPDEST 00001f05: PUSH2 0x1f10 00001f08: DUP5 00001f09: DUP3 00001f0a: DUP6 00001f0b: ADD 00001f0c: PUSH2 0x1ea5 00001f0f: JUMP 00001f10: JUMPDEST 00001f11: SWAP2 00001f12: POP 00001f13: POP 00001f14: SWAP3 00001f15: SWAP2 00001f16: POP 00001f17: POP 00001f18: JUMP 00001f19: JUMPDEST 00001f1a: PUSH0 00001f1b: PUSH1 0x20 00001f1d: DUP3 00001f1e: DUP5 00001f1f: SUB 00001f20: SLT 00001f21: ISZERO 00001f22: PUSH2 0x1f2e 00001f25: JUMPI 00001f26: PUSH2 0x1f2d 00001f29: PUSH2 0x1bd6 00001f2c: JUMP 00001f2d: JUMPDEST 00001f2e: JUMPDEST 00001f2f: PUSH0 00001f30: PUSH2 0x1f3b 00001f33: DUP5 00001f34: DUP3 00001f35: DUP6 00001f36: ADD 00001f37: PUSH2 0x1bf4 00001f3a: JUMP 00001f3b: JUMPDEST 00001f3c: SWAP2 00001f3d: POP 00001f3e: POP 00001f3f: SWAP3 00001f40: SWAP2 00001f41: POP 00001f42: POP 00001f43: JUMP 00001f44: JUMPDEST 00001f45: PUSH0 00001f46: PUSH1 0x20 00001f48: DUP3 00001f49: ADD 00001f4a: SWAP1 00001f4b: POP 00001f4c: PUSH2 0x1f57 00001f4f: PUSH0 00001f50: DUP4 00001f51: ADD 00001f52: DUP5 00001f53: PUSH2 0x1b4a 00001f56: JUMP 00001f57: JUMPDEST 00001f58: SWAP3 00001f59: SWAP2 00001f5a: POP 00001f5b: POP 00001f5c: JUMP 00001f5d: JUMPDEST 00001f5e: PUSH0 00001f5f: DUP1 00001f60: REVERT 00001f61: JUMPDEST 00001f62: PUSH0 00001f63: DUP1 00001f64: DUP4 00001f65: PUSH1 0x1f 00001f67: DUP5 00001f68: ADD 00001f69: SLT 00001f6a: PUSH2 0x1f76 00001f6d: JUMPI 00001f6e: PUSH2 0x1f75 00001f71: PUSH2 0x1d58 00001f74: JUMP 00001f75: JUMPDEST 00001f76: JUMPDEST 00001f77: DUP3 00001f78: CALLDATALOAD 00001f79: SWAP1 00001f7a: POP 00001f7b: PUSH8 0xffffffffffffffff 00001f84: DUP2 00001f85: GT 00001f86: ISZERO 00001f87: PUSH2 0x1f93 00001f8a: JUMPI 00001f8b: PUSH2 0x1f92 00001f8e: PUSH2 0x1f5d 00001f91: JUMP 00001f92: JUMPDEST 00001f93: JUMPDEST 00001f94: PUSH1 0x20 00001f96: DUP4 00001f97: ADD 00001f98: SWAP2 00001f99: POP 00001f9a: DUP4 00001f9b: PUSH1 0x01 00001f9d: DUP3 00001f9e: MUL 00001f9f: DUP4 00001fa0: ADD 00001fa1: GT 00001fa2: ISZERO 00001fa3: PUSH2 0x1faf 00001fa6: JUMPI 00001fa7: PUSH2 0x1fae 00001faa: PUSH2 0x1e0f 00001fad: JUMP 00001fae: JUMPDEST 00001faf: JUMPDEST 00001fb0: SWAP3 00001fb1: POP 00001fb2: SWAP3 00001fb3: SWAP1 00001fb4: POP 00001fb5: JUMP 00001fb6: JUMPDEST 00001fb7: PUSH0 00001fb8: DUP1 00001fb9: PUSH1 0x20 00001fbb: DUP4 00001fbc: DUP6 00001fbd: SUB 00001fbe: SLT 00001fbf: ISZERO 00001fc0: PUSH2 0x1fcc 00001fc3: JUMPI 00001fc4: PUSH2 0x1fcb 00001fc7: PUSH2 0x1bd6 00001fca: JUMP 00001fcb: JUMPDEST 00001fcc: JUMPDEST 00001fcd: PUSH0 00001fce: DUP4 00001fcf: ADD 00001fd0: CALLDATALOAD 00001fd1: PUSH8 0xffffffffffffffff 00001fda: DUP2 00001fdb: GT 00001fdc: ISZERO 00001fdd: PUSH2 0x1fe9 00001fe0: JUMPI 00001fe1: PUSH2 0x1fe8 00001fe4: PUSH2 0x1bda 00001fe7: JUMP 00001fe8: JUMPDEST 00001fe9: JUMPDEST 00001fea: PUSH2 0x1ff5 00001fed: DUP6 00001fee: DUP3 00001fef: DUP7 00001ff0: ADD 00001ff1: PUSH2 0x1f61 00001ff4: JUMP 00001ff5: JUMPDEST 00001ff6: SWAP3 00001ff7: POP 00001ff8: SWAP3 00001ff9: POP 00001ffa: POP 00001ffb: SWAP3 00001ffc: POP 00001ffd: SWAP3 00001ffe: SWAP1 00001fff: POP 00002000: JUMP 00002001: JUMPDEST 00002002: PUSH0 00002003: DUP2 00002004: ISZERO 00002005: ISZERO 00002006: SWAP1 00002007: POP 00002008: SWAP2 00002009: SWAP1 0000200a: POP 0000200b: JUMP 0000200c: JUMPDEST 0000200d: PUSH2 0x2015 00002010: DUP2 00002011: PUSH2 0x2001 00002014: JUMP 00002015: JUMPDEST 00002016: DUP3 00002017: MSTORE 00002018: POP 00002019: POP 0000201a: JUMP 0000201b: JUMPDEST 0000201c: PUSH0 0000201d: PUSH1 0x20 0000201f: DUP3 00002020: ADD 00002021: SWAP1 00002022: POP 00002023: PUSH2 0x202e 00002026: PUSH0 00002027: DUP4 00002028: ADD 00002029: DUP5 0000202a: PUSH2 0x200c 0000202d: JUMP 0000202e: JUMPDEST 0000202f: SWAP3 00002030: SWAP2 00002031: POP 00002032: POP 00002033: JUMP 00002034: JUMPDEST 00002035: PUSH0 00002036: DUP2 00002037: MLOAD 00002038: SWAP1 00002039: POP 0000203a: SWAP2 0000203b: SWAP1 0000203c: POP 0000203d: JUMP 0000203e: JUMPDEST 0000203f: PUSH0 00002040: DUP3 00002041: DUP3 00002042: MSTORE 00002043: PUSH1 0x20 00002045: DUP3 00002046: ADD 00002047: SWAP1 00002048: POP 00002049: SWAP3 0000204a: SWAP2 0000204b: POP 0000204c: POP 0000204d: JUMP 0000204e: JUMPDEST 0000204f: PUSH0 00002050: JUMPDEST 00002051: DUP4 00002052: DUP2 00002053: LT 00002054: ISZERO 00002055: PUSH2 0x206b 00002058: JUMPI 00002059: DUP1 0000205a: DUP3 0000205b: ADD 0000205c: MLOAD 0000205d: DUP2 0000205e: DUP5 0000205f: ADD 00002060: MSTORE 00002061: PUSH1 0x20 00002063: DUP2 00002064: ADD 00002065: SWAP1 00002066: POP 00002067: PUSH2 0x2050 0000206a: JUMP 0000206b: JUMPDEST 0000206c: PUSH0 0000206d: DUP5 0000206e: DUP5 0000206f: ADD 00002070: MSTORE 00002071: POP 00002072: POP 00002073: POP 00002074: POP 00002075: JUMP 00002076: JUMPDEST 00002077: PUSH0 00002078: PUSH2 0x2080 0000207b: DUP3 0000207c: PUSH2 0x2034 0000207f: JUMP 00002080: JUMPDEST 00002081: PUSH2 0x208a 00002084: DUP2 00002085: DUP6 00002086: PUSH2 0x203e 00002089: JUMP 0000208a: JUMPDEST 0000208b: SWAP4 0000208c: POP 0000208d: PUSH2 0x209a 00002090: DUP2 00002091: DUP6 00002092: PUSH1 0x20 00002094: DUP7 00002095: ADD 00002096: PUSH2 0x204e 00002099: JUMP 0000209a: JUMPDEST 0000209b: PUSH2 0x20a3 0000209e: DUP2 0000209f: PUSH2 0x1d5c 000020a2: JUMP 000020a3: JUMPDEST 000020a4: DUP5 000020a5: ADD 000020a6: SWAP2 000020a7: POP 000020a8: POP 000020a9: SWAP3 000020aa: SWAP2 000020ab: POP 000020ac: POP 000020ad: JUMP 000020ae: JUMPDEST 000020af: PUSH0 000020b0: PUSH1 0x40 000020b2: DUP3 000020b3: ADD 000020b4: SWAP1 000020b5: POP 000020b6: PUSH2 0x20c1 000020b9: PUSH0 000020ba: DUP4 000020bb: ADD 000020bc: DUP6 000020bd: PUSH2 0x200c 000020c0: JUMP 000020c1: JUMPDEST 000020c2: DUP2 000020c3: DUP2 000020c4: SUB 000020c5: PUSH1 0x20 000020c7: DUP4 000020c8: ADD 000020c9: MSTORE 000020ca: PUSH2 0x20d3 000020cd: DUP2 000020ce: DUP5 000020cf: PUSH2 0x2076 000020d2: JUMP 000020d3: JUMPDEST 000020d4: SWAP1 000020d5: POP 000020d6: SWAP4 000020d7: SWAP3 000020d8: POP 000020d9: POP 000020da: POP 000020db: JUMP 000020dc: JUMPDEST 000020dd: PUSH0 000020de: PUSH1 0x20 000020e0: DUP3 000020e1: DUP5 000020e2: SUB 000020e3: SLT 000020e4: ISZERO 000020e5: PUSH2 0x20f1 000020e8: JUMPI 000020e9: PUSH2 0x20f0 000020ec: PUSH2 0x1bd6 000020ef: JUMP 000020f0: JUMPDEST 000020f1: JUMPDEST 000020f2: PUSH0 000020f3: PUSH2 0x20fe 000020f6: DUP5 000020f7: DUP3 000020f8: DUP6 000020f9: ADD 000020fa: PUSH2 0x1e29 000020fd: JUMP 000020fe: JUMPDEST 000020ff: SWAP2 00002100: POP 00002101: POP 00002102: SWAP3 00002103: SWAP2 00002104: POP 00002105: POP 00002106: JUMP 00002107: JUMPDEST 00002108: PUSH0 00002109: PUSH12 0xffffffffffffffffffffffff 00002116: DUP3 00002117: AND 00002118: SWAP1 00002119: POP 0000211a: SWAP2 0000211b: SWAP1 0000211c: POP 0000211d: JUMP 0000211e: JUMPDEST 0000211f: PUSH2 0x2127 00002122: DUP2 00002123: PUSH2 0x2107 00002126: JUMP 00002127: JUMPDEST 00002128: DUP3 00002129: MSTORE 0000212a: POP 0000212b: POP 0000212c: JUMP 0000212d: JUMPDEST 0000212e: PUSH0 0000212f: PUSH7 0xffffffffffffff 00002137: DUP3 00002138: AND 00002139: SWAP1 0000213a: POP 0000213b: SWAP2 0000213c: SWAP1 0000213d: POP 0000213e: JUMP 0000213f: JUMPDEST 00002140: PUSH2 0x2148 00002143: DUP2 00002144: PUSH2 0x212d 00002147: JUMP 00002148: JUMPDEST 00002149: DUP3 0000214a: MSTORE 0000214b: POP 0000214c: POP 0000214d: JUMP 0000214e: JUMPDEST 0000214f: PUSH0 00002150: PUSH1 0x80 00002152: DUP3 00002153: ADD 00002154: SWAP1 00002155: POP 00002156: PUSH2 0x2161 00002159: PUSH0 0000215a: DUP4 0000215b: ADD 0000215c: DUP8 0000215d: PUSH2 0x200c 00002160: JUMP 00002161: JUMPDEST 00002162: PUSH2 0x216e 00002165: PUSH1 0x20 00002167: DUP4 00002168: ADD 00002169: DUP7 0000216a: PUSH2 0x211e 0000216d: JUMP 0000216e: JUMPDEST 0000216f: PUSH2 0x217b 00002172: PUSH1 0x40 00002174: DUP4 00002175: ADD 00002176: DUP6 00002177: PUSH2 0x211e 0000217a: JUMP 0000217b: JUMPDEST 0000217c: PUSH2 0x2188 0000217f: PUSH1 0x60 00002181: DUP4 00002182: ADD 00002183: DUP5 00002184: PUSH2 0x213f 00002187: JUMP 00002188: JUMPDEST 00002189: SWAP6 0000218a: SWAP5 0000218b: POP 0000218c: POP 0000218d: POP 0000218e: POP 0000218f: POP 00002190: JUMP 00002191: JUMPDEST 00002192: PUSH0 00002193: PUSH1 0x20 00002195: DUP3 00002196: ADD 00002197: SWAP1 00002198: POP 00002199: PUSH2 0x21a4 0000219c: PUSH0 0000219d: DUP4 0000219e: ADD 0000219f: DUP5 000021a0: PUSH2 0x1b89 000021a3: JUMP 000021a4: JUMPDEST 000021a5: SWAP3 000021a6: SWAP2 000021a7: POP 000021a8: POP 000021a9: JUMP 000021aa: JUMPDEST 000021ab: PUSH0 000021ac: DUP1 000021ad: DUP4 000021ae: PUSH1 0x1f 000021b0: DUP5 000021b1: ADD 000021b2: SLT 000021b3: PUSH2 0x21bf 000021b6: JUMPI 000021b7: PUSH2 0x21be 000021ba: PUSH2 0x1d58 000021bd: JUMP 000021be: JUMPDEST 000021bf: JUMPDEST 000021c0: DUP3 000021c1: CALLDATALOAD 000021c2: SWAP1 000021c3: POP 000021c4: PUSH8 0xffffffffffffffff 000021cd: DUP2 000021ce: GT 000021cf: ISZERO 000021d0: PUSH2 0x21dc 000021d3: JUMPI 000021d4: PUSH2 0x21db 000021d7: PUSH2 0x1f5d 000021da: JUMP 000021db: JUMPDEST 000021dc: JUMPDEST 000021dd: PUSH1 0x20 000021df: DUP4 000021e0: ADD 000021e1: SWAP2 000021e2: POP 000021e3: DUP4 000021e4: PUSH1 0x20 000021e6: DUP3 000021e7: MUL 000021e8: DUP4 000021e9: ADD 000021ea: GT 000021eb: ISZERO 000021ec: PUSH2 0x21f8 000021ef: JUMPI 000021f0: PUSH2 0x21f7 000021f3: PUSH2 0x1e0f 000021f6: JUMP 000021f7: JUMPDEST 000021f8: JUMPDEST 000021f9: SWAP3 000021fa: POP 000021fb: SWAP3 000021fc: SWAP1 000021fd: POP 000021fe: JUMP 000021ff: JUMPDEST 00002200: PUSH0 00002201: DUP1 00002202: DUP4 00002203: PUSH1 0x1f 00002205: DUP5 00002206: ADD 00002207: SLT 00002208: PUSH2 0x2214 0000220b: JUMPI 0000220c: PUSH2 0x2213 0000220f: PUSH2 0x1d58 00002212: JUMP 00002213: JUMPDEST 00002214: JUMPDEST 00002215: DUP3 00002216: CALLDATALOAD 00002217: SWAP1 00002218: POP 00002219: PUSH8 0xffffffffffffffff 00002222: DUP2 00002223: GT 00002224: ISZERO 00002225: PUSH2 0x2231 00002228: JUMPI 00002229: PUSH2 0x2230 0000222c: PUSH2 0x1f5d 0000222f: JUMP 00002230: JUMPDEST 00002231: JUMPDEST 00002232: PUSH1 0x20 00002234: DUP4 00002235: ADD 00002236: SWAP2 00002237: POP 00002238: DUP4 00002239: PUSH1 0x20 0000223b: DUP3 0000223c: MUL 0000223d: DUP4 0000223e: ADD 0000223f: GT 00002240: ISZERO 00002241: PUSH2 0x224d 00002244: JUMPI 00002245: PUSH2 0x224c 00002248: PUSH2 0x1e0f 0000224b: JUMP 0000224c: JUMPDEST 0000224d: JUMPDEST 0000224e: SWAP3 0000224f: POP 00002250: SWAP3 00002251: SWAP1 00002252: POP 00002253: JUMP 00002254: JUMPDEST 00002255: PUSH0 00002256: DUP1 00002257: PUSH0 00002258: DUP1 00002259: PUSH0 0000225a: DUP1 0000225b: PUSH1 0x60 0000225d: DUP8 0000225e: DUP10 0000225f: SUB 00002260: SLT 00002261: ISZERO 00002262: PUSH2 0x226e 00002265: JUMPI 00002266: PUSH2 0x226d 00002269: PUSH2 0x1bd6 0000226c: JUMP 0000226d: JUMPDEST 0000226e: JUMPDEST 0000226f: PUSH0 00002270: DUP8 00002271: ADD 00002272: CALLDATALOAD 00002273: PUSH8 0xffffffffffffffff 0000227c: DUP2 0000227d: GT 0000227e: ISZERO 0000227f: PUSH2 0x228b 00002282: JUMPI 00002283: PUSH2 0x228a 00002286: PUSH2 0x1bda 00002289: JUMP 0000228a: JUMPDEST 0000228b: JUMPDEST 0000228c: PUSH2 0x2297 0000228f: DUP10 00002290: DUP3 00002291: DUP11 00002292: ADD 00002293: PUSH2 0x21aa 00002296: JUMP 00002297: JUMPDEST 00002298: SWAP7 00002299: POP 0000229a: SWAP7 0000229b: POP 0000229c: POP 0000229d: PUSH1 0x20 0000229f: DUP8 000022a0: ADD 000022a1: CALLDATALOAD 000022a2: PUSH8 0xffffffffffffffff 000022ab: DUP2 000022ac: GT 000022ad: ISZERO 000022ae: PUSH2 0x22ba 000022b1: JUMPI 000022b2: PUSH2 0x22b9 000022b5: PUSH2 0x1bda 000022b8: JUMP 000022b9: JUMPDEST 000022ba: JUMPDEST 000022bb: PUSH2 0x22c6 000022be: DUP10 000022bf: DUP3 000022c0: DUP11 000022c1: ADD 000022c2: PUSH2 0x21ff 000022c5: JUMP 000022c6: JUMPDEST 000022c7: SWAP5 000022c8: POP 000022c9: SWAP5 000022ca: POP 000022cb: POP 000022cc: PUSH1 0x40 000022ce: DUP8 000022cf: ADD 000022d0: CALLDATALOAD 000022d1: PUSH8 0xffffffffffffffff 000022da: DUP2 000022db: GT 000022dc: ISZERO 000022dd: PUSH2 0x22e9 000022e0: JUMPI 000022e1: PUSH2 0x22e8 000022e4: PUSH2 0x1bda 000022e7: JUMP 000022e8: JUMPDEST 000022e9: JUMPDEST 000022ea: PUSH2 0x22f5 000022ed: DUP10 000022ee: DUP3 000022ef: DUP11 000022f0: ADD 000022f1: PUSH2 0x21ff 000022f4: JUMP 000022f5: JUMPDEST 000022f6: SWAP3 000022f7: POP 000022f8: SWAP3 000022f9: POP 000022fa: POP 000022fb: SWAP3 000022fc: SWAP6 000022fd: POP 000022fe: SWAP3 000022ff: SWAP6 00002300: POP 00002301: SWAP3 00002302: SWAP6 00002303: JUMP 00002304: JUMPDEST 00002305: PUSH0 00002306: DUP2 00002307: SWAP1 00002308: POP 00002309: SWAP2 0000230a: SWAP1 0000230b: POP 0000230c: JUMP 0000230d: JUMPDEST 0000230e: PUSH0 0000230f: PUSH2 0x2327 00002312: PUSH2 0x2322 00002315: PUSH2 0x231d 00002318: DUP5 00002319: PUSH2 0x1b59 0000231c: JUMP 0000231d: JUMPDEST 0000231e: PUSH2 0x2304 00002321: JUMP 00002322: JUMPDEST 00002323: PUSH2 0x1b59 00002326: JUMP 00002327: JUMPDEST 00002328: SWAP1 00002329: POP 0000232a: SWAP2 0000232b: SWAP1 0000232c: POP 0000232d: JUMP 0000232e: JUMPDEST 0000232f: PUSH0 00002330: PUSH2 0x2338 00002333: DUP3 00002334: PUSH2 0x230d 00002337: JUMP 00002338: JUMPDEST 00002339: SWAP1 0000233a: POP 0000233b: SWAP2 0000233c: SWAP1 0000233d: POP 0000233e: JUMP 0000233f: JUMPDEST 00002340: PUSH0 00002341: PUSH2 0x2349 00002344: DUP3 00002345: PUSH2 0x232e 00002348: JUMP 00002349: JUMPDEST 0000234a: SWAP1 0000234b: POP 0000234c: SWAP2 0000234d: SWAP1 0000234e: POP 0000234f: JUMP 00002350: JUMPDEST 00002351: PUSH2 0x2359 00002354: DUP2 00002355: PUSH2 0x233f 00002358: JUMP 00002359: JUMPDEST 0000235a: DUP3 0000235b: MSTORE 0000235c: POP 0000235d: POP 0000235e: JUMP 0000235f: JUMPDEST 00002360: PUSH0 00002361: PUSH1 0x40 00002363: DUP3 00002364: ADD 00002365: SWAP1 00002366: POP 00002367: PUSH2 0x2372 0000236a: PUSH0 0000236b: DUP4 0000236c: ADD 0000236d: DUP6 0000236e: PUSH2 0x1b4a 00002371: JUMP 00002372: JUMPDEST 00002373: PUSH2 0x237f 00002376: PUSH1 0x20 00002378: DUP4 00002379: ADD 0000237a: DUP5 0000237b: PUSH2 0x2350 0000237e: JUMP 0000237f: JUMPDEST 00002380: SWAP4 00002381: SWAP3 00002382: POP 00002383: POP 00002384: POP 00002385: JUMP 00002386: JUMPDEST 00002387: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000023a8: PUSH0 000023a9: MSTORE 000023aa: PUSH1 0x32 000023ac: PUSH1 0x04 000023ae: MSTORE 000023af: PUSH1 0x24 000023b1: PUSH0 000023b2: REVERT 000023b3: JUMPDEST 000023b4: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000023d5: PUSH0 000023d6: MSTORE 000023d7: PUSH1 0x11 000023d9: PUSH1 0x04 000023db: MSTORE 000023dc: PUSH1 0x24 000023de: PUSH0 000023df: REVERT 000023e0: JUMPDEST 000023e1: PUSH0 000023e2: PUSH2 0x23ea 000023e5: DUP3 000023e6: PUSH2 0x1b41 000023e9: JUMP 000023ea: JUMPDEST 000023eb: SWAP2 000023ec: POP 000023ed: PUSH2 0x23f5 000023f0: DUP4 000023f1: PUSH2 0x1b41 000023f4: JUMP 000023f5: JUMPDEST 000023f6: SWAP3 000023f7: POP 000023f8: DUP3 000023f9: DUP3 000023fa: ADD 000023fb: SWAP1 000023fc: POP 000023fd: DUP1 000023fe: DUP3 000023ff: GT 00002400: ISZERO 00002401: PUSH2 0x240d 00002404: JUMPI 00002405: PUSH2 0x240c 00002408: PUSH2 0x23b3 0000240b: JUMP 0000240c: JUMPDEST 0000240d: JUMPDEST 0000240e: SWAP3 0000240f: SWAP2 00002410: POP 00002411: POP 00002412: JUMP 00002413: JUMPDEST 00002414: PUSH0 00002415: PUSH2 0x241d 00002418: DUP3 00002419: PUSH2 0x1b41 0000241c: JUMP 0000241d: JUMPDEST 0000241e: SWAP2 0000241f: POP 00002420: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002441: DUP3 00002442: SUB 00002443: PUSH2 0x244f 00002446: JUMPI 00002447: PUSH2 0x244e 0000244a: PUSH2 0x23b3 0000244d: JUMP 0000244e: JUMPDEST 0000244f: JUMPDEST 00002450: PUSH1 0x01 00002452: DUP3 00002453: ADD 00002454: SWAP1 00002455: POP 00002456: SWAP2 00002457: SWAP1 00002458: POP 00002459: JUMP 0000245a: JUMPDEST 0000245b: PUSH0 0000245c: PUSH2 0x2464 0000245f: DUP3 00002460: PUSH2 0x1b41 00002463: JUMP 00002464: JUMPDEST 00002465: SWAP2 00002466: POP 00002467: PUSH2 0x246f 0000246a: DUP4 0000246b: PUSH2 0x1b41 0000246e: JUMP 0000246f: JUMPDEST 00002470: SWAP3 00002471: POP 00002472: DUP3 00002473: DUP3 00002474: SUB 00002475: SWAP1 00002476: POP 00002477: DUP2 00002478: DUP2 00002479: GT 0000247a: ISZERO 0000247b: PUSH2 0x2487 0000247e: JUMPI 0000247f: PUSH2 0x2486 00002482: PUSH2 0x23b3 00002485: JUMP 00002486: JUMPDEST 00002487: JUMPDEST 00002488: SWAP3 00002489: SWAP2 0000248a: POP 0000248b: POP 0000248c: JUMP 0000248d: JUMPDEST 0000248e: PUSH0 0000248f: PUSH1 0x40 00002491: DUP3 00002492: ADD 00002493: SWAP1 00002494: POP 00002495: PUSH2 0x24a0 00002498: PUSH0 00002499: DUP4 0000249a: ADD 0000249b: DUP6 0000249c: PUSH2 0x1b4a 0000249f: JUMP 000024a0: JUMPDEST 000024a1: PUSH2 0x24ad 000024a4: PUSH1 0x20 000024a6: DUP4 000024a7: ADD 000024a8: DUP5 000024a9: PUSH2 0x1b4a 000024ac: JUMP 000024ad: JUMPDEST 000024ae: SWAP4 000024af: SWAP3 000024b0: POP 000024b1: POP 000024b2: POP 000024b3: JUMP 000024b4: JUMPDEST 000024b5: PUSH0 000024b6: DUP3 000024b7: DUP3 000024b8: MSTORE 000024b9: PUSH1 0x20 000024bb: DUP3 000024bc: ADD 000024bd: SWAP1 000024be: POP 000024bf: SWAP3 000024c0: SWAP2 000024c1: POP 000024c2: POP 000024c3: JUMP 000024c4: JUMPDEST 000024c5: PUSH32 0x4d7573742062652070726f706f736564206f776e657200000000000000000000 000024e6: PUSH0 000024e7: DUP3 000024e8: ADD 000024e9: MSTORE 000024ea: POP 000024eb: JUMP 000024ec: JUMPDEST 000024ed: PUSH0 000024ee: PUSH2 0x24f8 000024f1: PUSH1 0x16 000024f3: DUP4 000024f4: PUSH2 0x24b4 000024f7: JUMP 000024f8: JUMPDEST 000024f9: SWAP2 000024fa: POP 000024fb: PUSH2 0x2503 000024fe: DUP3 000024ff: PUSH2 0x24c4 00002502: JUMP 00002503: JUMPDEST 00002504: PUSH1 0x20 00002506: DUP3 00002507: ADD 00002508: SWAP1 00002509: POP 0000250a: SWAP2 0000250b: SWAP1 0000250c: POP 0000250d: JUMP 0000250e: JUMPDEST 0000250f: PUSH0 00002510: PUSH1 0x20 00002512: DUP3 00002513: ADD 00002514: SWAP1 00002515: POP 00002516: DUP2 00002517: DUP2 00002518: SUB 00002519: PUSH0 0000251a: DUP4 0000251b: ADD 0000251c: MSTORE 0000251d: PUSH2 0x2525 00002520: DUP2 00002521: PUSH2 0x24ec 00002524: JUMP 00002525: JUMPDEST 00002526: SWAP1 00002527: POP 00002528: SWAP2 00002529: SWAP1 0000252a: POP 0000252b: JUMP 0000252c: JUMPDEST 0000252d: PUSH0 0000252e: PUSH1 0x40 00002530: DUP3 00002531: ADD 00002532: SWAP1 00002533: POP 00002534: PUSH2 0x253f 00002537: PUSH0 00002538: DUP4 00002539: ADD 0000253a: DUP6 0000253b: PUSH2 0x1b89 0000253e: JUMP 0000253f: JUMPDEST 00002540: PUSH2 0x254c 00002543: PUSH1 0x20 00002545: DUP4 00002546: ADD 00002547: DUP5 00002548: PUSH2 0x1b89 0000254b: JUMP 0000254c: JUMPDEST 0000254d: SWAP4 0000254e: SWAP3 0000254f: POP 00002550: POP 00002551: POP 00002552: JUMP 00002553: JUMPDEST 00002554: PUSH2 0x255c 00002557: DUP2 00002558: PUSH2 0x2107 0000255b: JUMP 0000255c: JUMPDEST 0000255d: DUP2 0000255e: EQ 0000255f: PUSH2 0x2566 00002562: JUMPI 00002563: PUSH0 00002564: DUP1 00002565: REVERT 00002566: JUMPDEST 00002567: POP 00002568: JUMP 00002569: JUMPDEST 0000256a: PUSH0 0000256b: DUP2 0000256c: CALLDATALOAD 0000256d: SWAP1 0000256e: POP 0000256f: PUSH2 0x2577 00002572: DUP2 00002573: PUSH2 0x2553 00002576: JUMP 00002577: JUMPDEST 00002578: SWAP3 00002579: SWAP2 0000257a: POP 0000257b: POP 0000257c: JUMP 0000257d: JUMPDEST 0000257e: PUSH0 0000257f: PUSH1 0x20 00002581: DUP3 00002582: DUP5 00002583: SUB 00002584: SLT 00002585: ISZERO 00002586: PUSH2 0x2592 00002589: JUMPI 0000258a: PUSH2 0x2591 0000258d: PUSH2 0x1bd6 00002590: JUMP 00002591: JUMPDEST 00002592: JUMPDEST 00002593: PUSH0 00002594: PUSH2 0x259f 00002597: DUP5 00002598: DUP3 00002599: DUP6 0000259a: ADD 0000259b: PUSH2 0x2569 0000259e: JUMP 0000259f: JUMPDEST 000025a0: SWAP2 000025a1: POP 000025a2: POP 000025a3: SWAP3 000025a4: SWAP2 000025a5: POP 000025a6: POP 000025a7: JUMP 000025a8: JUMPDEST 000025a9: PUSH32 0x4f6e6c792063616c6c61626c65206279206f776e657200000000000000000000 000025ca: PUSH0 000025cb: DUP3 000025cc: ADD 000025cd: MSTORE 000025ce: POP 000025cf: JUMP 000025d0: JUMPDEST 000025d1: PUSH0 000025d2: PUSH2 0x25dc 000025d5: PUSH1 0x16 000025d7: DUP4 000025d8: PUSH2 0x24b4 000025db: JUMP 000025dc: JUMPDEST 000025dd: SWAP2 000025de: POP 000025df: PUSH2 0x25e7 000025e2: DUP3 000025e3: PUSH2 0x25a8 000025e6: JUMP 000025e7: JUMPDEST 000025e8: PUSH1 0x20 000025ea: DUP3 000025eb: ADD 000025ec: SWAP1 000025ed: POP 000025ee: SWAP2 000025ef: SWAP1 000025f0: POP 000025f1: JUMP 000025f2: JUMPDEST 000025f3: PUSH0 000025f4: PUSH1 0x20 000025f6: DUP3 000025f7: ADD 000025f8: SWAP1 000025f9: POP 000025fa: DUP2 000025fb: DUP2 000025fc: SUB 000025fd: PUSH0 000025fe: DUP4 000025ff: ADD 00002600: MSTORE 00002601: PUSH2 0x2609 00002604: DUP2 00002605: PUSH2 0x25d0 00002608: JUMP 00002609: JUMPDEST 0000260a: SWAP1 0000260b: POP 0000260c: SWAP2 0000260d: SWAP1 0000260e: POP 0000260f: JUMP 00002610: JUMPDEST 00002611: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000 00002632: PUSH0 00002633: DUP3 00002634: ADD 00002635: MSTORE 00002636: POP 00002637: JUMP 00002638: JUMPDEST 00002639: PUSH0 0000263a: PUSH2 0x2644 0000263d: PUSH1 0x10 0000263f: DUP4 00002640: PUSH2 0x24b4 00002643: JUMP 00002644: JUMPDEST 00002645: SWAP2 00002646: POP 00002647: PUSH2 0x264f 0000264a: DUP3 0000264b: PUSH2 0x2610 0000264e: JUMP 0000264f: JUMPDEST 00002650: PUSH1 0x20 00002652: DUP3 00002653: ADD 00002654: SWAP1 00002655: POP 00002656: SWAP2 00002657: SWAP1 00002658: POP 00002659: JUMP 0000265a: JUMPDEST 0000265b: PUSH0 0000265c: PUSH1 0x20 0000265e: DUP3 0000265f: ADD 00002660: SWAP1 00002661: POP 00002662: DUP2 00002663: DUP2 00002664: SUB 00002665: PUSH0 00002666: DUP4 00002667: ADD 00002668: MSTORE 00002669: PUSH2 0x2671 0000266c: DUP2 0000266d: PUSH2 0x2638 00002670: JUMP 00002671: JUMPDEST 00002672: SWAP1 00002673: POP 00002674: SWAP2 00002675: SWAP1 00002676: POP 00002677: JUMP 00002678: JUMPDEST 00002679: PUSH32 0x43616e6e6f74207472616e7366657220746f2073656c66000000000000000000 0000269a: PUSH0 0000269b: DUP3 0000269c: ADD 0000269d: MSTORE 0000269e: POP 0000269f: JUMP 000026a0: JUMPDEST 000026a1: PUSH0 000026a2: PUSH2 0x26ac 000026a5: PUSH1 0x17 000026a7: DUP4 000026a8: PUSH2 0x24b4 000026ab: JUMP 000026ac: JUMPDEST 000026ad: SWAP2 000026ae: POP 000026af: PUSH2 0x26b7 000026b2: DUP3 000026b3: PUSH2 0x2678 000026b6: JUMP 000026b7: JUMPDEST 000026b8: PUSH1 0x20 000026ba: DUP3 000026bb: ADD 000026bc: SWAP1 000026bd: POP 000026be: SWAP2 000026bf: SWAP1 000026c0: POP 000026c1: JUMP 000026c2: JUMPDEST 000026c3: PUSH0 000026c4: PUSH1 0x20 000026c6: DUP3 000026c7: ADD 000026c8: SWAP1 000026c9: POP 000026ca: DUP2 000026cb: DUP2 000026cc: SUB 000026cd: PUSH0 000026ce: DUP4 000026cf: ADD 000026d0: MSTORE 000026d1: PUSH2 0x26d9 000026d4: DUP2 000026d5: PUSH2 0x26a0 000026d8: JUMP 000026d9: JUMPDEST 000026da: SWAP1 000026db: POP 000026dc: SWAP2 000026dd: SWAP1 000026de: POP 000026df: JUMP 000026e0: JUMPDEST 000026e1: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000 00002702: PUSH0 00002703: DUP3 00002704: ADD 00002705: MSTORE 00002706: POP 00002707: JUMP 00002708: JUMPDEST 00002709: PUSH0 0000270a: PUSH2 0x2714 0000270d: PUSH1 0x14 0000270f: DUP4 00002710: PUSH2 0x24b4 00002713: JUMP 00002714: JUMPDEST 00002715: SWAP2 00002716: POP 00002717: PUSH2 0x271f 0000271a: DUP3 0000271b: PUSH2 0x26e0 0000271e: JUMP 0000271f: JUMPDEST 00002720: PUSH1 0x20 00002722: DUP3 00002723: ADD 00002724: SWAP1 00002725: POP 00002726: SWAP2 00002727: SWAP1 00002728: POP 00002729: JUMP 0000272a: JUMPDEST 0000272b: PUSH0 0000272c: PUSH1 0x20 0000272e: DUP3 0000272f: ADD 00002730: SWAP1 00002731: POP 00002732: DUP2 00002733: DUP2 00002734: SUB 00002735: PUSH0 00002736: DUP4 00002737: ADD 00002738: MSTORE 00002739: PUSH2 0x2741 0000273c: DUP2 0000273d: PUSH2 0x2708 00002740: JUMP 00002741: JUMPDEST 00002742: SWAP1 00002743: POP 00002744: SWAP2 00002745: SWAP1 00002746: POP 00002747: JUMP 00002748: INVALID 00002749: LOG2 0000274a: PUSH5 0x6970667358 00002750: UNKNOWN(0x22) 00002751: SLT 00002752: KECCAK256 00002753: UNKNOWN(0xDB) 00002754: UNKNOWN(0xD2) 00002755: UNKNOWN(0xB9) 00002756: PUSH10 0x27be12ef9960a4016fc6 00002761: UNKNOWN(0xAD) 00002762: REVERT 00002763: DIV 00002764: GASLIMIT 00002765: TSTORE 00002766: SMOD 00002767: UNKNOWN(0x2F) 00002768: UNKNOWN(0xFB) 00002769: MOD 0000276a: UNKNOWN(0xC2) 0000276b: GASLIMIT 0000276c: PUSH13 0xdef0f567ea4964736f6c634300 0000277a: ADDMOD 0000277b: EQ 0000277c: STOP 0000277d: CALLER
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 |
|---|---|---|---|---|---|---|---|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xc46141c84a06fe6dd19093435a4e7b09286e3b68089d2ea95cfce1f300dd421e
call_targets:
0x4f5f8fb3c30943808af53015a8e980fe3ebfdcf5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc46141c84a06fe6dd19093435a4e7b09286e3b68089d2ea95cfce1f300dd421e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4f5f8fb3c30943808af53015a8e980fe3ebfdcf5"
],
"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": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x94555114",
"selector": "0x94555114",
"calldata_variants": [
"0x94555114",
"0x945551140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1d52fa0",
"selector": "0xb1d52fa0",
"calldata_variants": [
"0xb1d52fa0",
"0xb1d52fa00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x728584b7",
"selector": "0x728584b7",
"calldata_variants": [
"0x728584b7",
"0x728584b70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79ba5097",
"selector": "0x79ba5097",
"calldata_variants": [
"0x79ba5097",
"0x79ba50970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b510fe8",
"selector": "0x7b510fe8",
"calldata_variants": [
"0x7b510fe8",
"0x7b510fe80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1226,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2665,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 3203,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3608,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5982,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xc46141c84a06fe6dd19093435a4e7b09286e3b68089d2ea95cfce1f300dd421e
call_targets:
0x4f5f8fb3c30943808af53015a8e980fe3ebfdcf5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc46141c84a06fe6dd19093435a4e7b09286e3b68089d2ea95cfce1f300dd421e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4f5f8fb3c30943808af53015a8e980fe3ebfdcf5"
],
"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": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x94555114",
"selector": "0x94555114",
"calldata_variants": [
"0x94555114",
"0x945551140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1d52fa0",
"selector": "0xb1d52fa0",
"calldata_variants": [
"0xb1d52fa0",
"0xb1d52fa00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x728584b7",
"selector": "0x728584b7",
"calldata_variants": [
"0x728584b7",
"0x728584b70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79ba5097",
"selector": "0x79ba5097",
"calldata_variants": [
"0x79ba5097",
"0x79ba50970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b510fe8",
"selector": "0x7b510fe8",
"calldata_variants": [
"0x7b510fe8",
"0x7b510fe80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1226,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2665,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 3203,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3608,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5982,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|