019b477e-c98e-73f9-b64e-68ac5aebc268
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 |
|---|---|---|---|---|
| 26337 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26338 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 69434 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 69435 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 69436 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 69437 | 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 0x01c2 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x70a08231 00000019: GT 0000001a: PUSH2 0x00f7 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa2b40d19 00000024: GT 00000025: PUSH2 0x0095 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xca800144 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xca800144 0000003a: EQ 0000003b: PUSH2 0x066d 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xdc33e681 00000045: EQ 00000046: PUSH2 0x06aa 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe985e9c5 00000050: EQ 00000051: PUSH2 0x06e7 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x0724 0000005f: JUMPI 00000060: PUSH2 0x01c2 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xa2b40d19 0000006b: EQ 0000006c: PUSH2 0x058d 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xb88d4fde 00000076: EQ 00000077: PUSH2 0x05ca 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xc84aae17 00000081: EQ 00000082: PUSH2 0x05f3 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xc87b56dd 0000008c: EQ 0000008d: PUSH2 0x0630 00000090: JUMPI 00000091: PUSH2 0x01c2 00000094: JUMP 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x8da5cb5b 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x8da5cb5b 000000a7: EQ 000000a8: PUSH2 0x04de 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x95d89b41 000000b2: EQ 000000b3: PUSH2 0x0509 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xa0712d68 000000bd: EQ 000000be: PUSH2 0x0534 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xa22cb465 000000c8: EQ 000000c9: PUSH2 0x0564 000000cc: JUMPI 000000cd: PUSH2 0x01c2 000000d0: JUMP 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x70a08231 000000d8: EQ 000000d9: PUSH2 0x045f 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x715018a6 000000e3: EQ 000000e4: PUSH2 0x049c 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x8456cb59 000000ee: EQ 000000ef: PUSH2 0x04b3 000000f2: JUMPI 000000f3: PUSH2 0x01c2 000000f6: JUMP 000000f7: JUMPDEST 000000f8: DUP1 000000f9: PUSH4 0x2be6761f 000000fe: GT 000000ff: PUSH2 0x0164 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x55f804b3 00000109: GT 0000010a: PUSH2 0x013e 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x55f804b3 00000114: EQ 00000115: PUSH2 0x03a3 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x5c975abb 0000011f: EQ 00000120: PUSH2 0x03cc 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x6352211e 0000012a: EQ 0000012b: PUSH2 0x03f7 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x6817c76c 00000135: EQ 00000136: PUSH2 0x0434 00000139: JUMPI 0000013a: PUSH2 0x01c2 0000013d: JUMP 0000013e: JUMPDEST 0000013f: DUP1 00000140: PUSH4 0x2be6761f 00000145: EQ 00000146: PUSH2 0x0314 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x42842e0e 00000150: EQ 00000151: PUSH2 0x033d 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x52d8a4d1 0000015b: EQ 0000015c: PUSH2 0x0366 0000015f: JUMPI 00000160: PUSH2 0x01c2 00000163: JUMP 00000164: JUMPDEST 00000165: DUP1 00000166: PUSH4 0x081812fc 0000016b: GT 0000016c: PUSH2 0x01a0 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x081812fc 00000176: EQ 00000177: PUSH2 0x025a 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x095ea7b3 00000181: EQ 00000182: PUSH2 0x0297 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x18160ddd 0000018c: EQ 0000018d: PUSH2 0x02c0 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x23b872dd 00000197: EQ 00000198: PUSH2 0x02eb 0000019b: JUMPI 0000019c: PUSH2 0x01c2 0000019f: JUMP 000001a0: JUMPDEST 000001a1: DUP1 000001a2: PUSH4 0x01ffc9a7 000001a7: EQ 000001a8: PUSH2 0x01c7 000001ab: JUMPI 000001ac: DUP1 000001ad: PUSH4 0x047fc9aa 000001b2: EQ 000001b3: PUSH2 0x0204 000001b6: JUMPI 000001b7: DUP1 000001b8: PUSH4 0x06fdde03 000001bd: EQ 000001be: PUSH2 0x022f 000001c1: JUMPI 000001c2: JUMPDEST 000001c3: PUSH1 0x00 000001c5: DUP1 000001c6: REVERT 000001c7: JUMPDEST 000001c8: CALLVALUE 000001c9: DUP1 000001ca: ISZERO 000001cb: PUSH2 0x01d3 000001ce: JUMPI 000001cf: PUSH1 0x00 000001d1: DUP1 000001d2: REVERT 000001d3: JUMPDEST 000001d4: POP 000001d5: PUSH2 0x01ee 000001d8: PUSH1 0x04 000001da: DUP1 000001db: CALLDATASIZE 000001dc: SUB 000001dd: DUP2 000001de: ADD 000001df: SWAP1 000001e0: PUSH2 0x01e9 000001e3: SWAP2 000001e4: SWAP1 000001e5: PUSH2 0x290c 000001e8: JUMP 000001e9: JUMPDEST 000001ea: PUSH2 0x074d 000001ed: JUMP 000001ee: JUMPDEST 000001ef: PUSH1 0x40 000001f1: MLOAD 000001f2: PUSH2 0x01fb 000001f5: SWAP2 000001f6: SWAP1 000001f7: PUSH2 0x2ca5 000001fa: JUMP 000001fb: JUMPDEST 000001fc: PUSH1 0x40 000001fe: MLOAD 000001ff: DUP1 00000200: SWAP2 00000201: SUB 00000202: SWAP1 00000203: RETURN 00000204: JUMPDEST 00000205: CALLVALUE 00000206: DUP1 00000207: ISZERO 00000208: PUSH2 0x0210 0000020b: JUMPI 0000020c: PUSH1 0x00 0000020e: DUP1 0000020f: REVERT 00000210: JUMPDEST 00000211: POP 00000212: PUSH2 0x0219 00000215: PUSH2 0x07df 00000218: JUMP 00000219: JUMPDEST 0000021a: PUSH1 0x40 0000021c: MLOAD 0000021d: PUSH2 0x0226 00000220: SWAP2 00000221: SWAP1 00000222: PUSH2 0x2de2 00000225: JUMP 00000226: JUMPDEST 00000227: PUSH1 0x40 00000229: MLOAD 0000022a: DUP1 0000022b: SWAP2 0000022c: SUB 0000022d: SWAP1 0000022e: RETURN 0000022f: JUMPDEST 00000230: CALLVALUE 00000231: DUP1 00000232: ISZERO 00000233: PUSH2 0x023b 00000236: JUMPI 00000237: PUSH1 0x00 00000239: DUP1 0000023a: REVERT 0000023b: JUMPDEST 0000023c: POP 0000023d: PUSH2 0x0244 00000240: PUSH2 0x0803 00000243: JUMP 00000244: JUMPDEST 00000245: PUSH1 0x40 00000247: MLOAD 00000248: PUSH2 0x0251 0000024b: SWAP2 0000024c: SWAP1 0000024d: PUSH2 0x2cc0 00000250: JUMP 00000251: JUMPDEST 00000252: PUSH1 0x40 00000254: MLOAD 00000255: DUP1 00000256: SWAP2 00000257: SUB 00000258: SWAP1 00000259: RETURN 0000025a: JUMPDEST 0000025b: CALLVALUE 0000025c: DUP1 0000025d: ISZERO 0000025e: PUSH2 0x0266 00000261: JUMPI 00000262: PUSH1 0x00 00000264: DUP1 00000265: REVERT 00000266: JUMPDEST 00000267: POP 00000268: PUSH2 0x0281 0000026b: PUSH1 0x04 0000026d: DUP1 0000026e: CALLDATASIZE 0000026f: SUB 00000270: DUP2 00000271: ADD 00000272: SWAP1 00000273: PUSH2 0x027c 00000276: SWAP2 00000277: SWAP1 00000278: PUSH2 0x29a3 0000027b: JUMP 0000027c: JUMPDEST 0000027d: PUSH2 0x0895 00000280: JUMP 00000281: JUMPDEST 00000282: PUSH1 0x40 00000284: MLOAD 00000285: PUSH2 0x028e 00000288: SWAP2 00000289: SWAP1 0000028a: PUSH2 0x2c3e 0000028d: JUMP 0000028e: JUMPDEST 0000028f: PUSH1 0x40 00000291: MLOAD 00000292: DUP1 00000293: SWAP2 00000294: SUB 00000295: SWAP1 00000296: RETURN 00000297: JUMPDEST 00000298: CALLVALUE 00000299: DUP1 0000029a: ISZERO 0000029b: PUSH2 0x02a3 0000029e: JUMPI 0000029f: PUSH1 0x00 000002a1: DUP1 000002a2: REVERT 000002a3: JUMPDEST 000002a4: POP 000002a5: PUSH2 0x02be 000002a8: PUSH1 0x04 000002aa: DUP1 000002ab: CALLDATASIZE 000002ac: SUB 000002ad: DUP2 000002ae: ADD 000002af: SWAP1 000002b0: PUSH2 0x02b9 000002b3: SWAP2 000002b4: SWAP1 000002b5: PUSH2 0x28d0 000002b8: JUMP 000002b9: JUMPDEST 000002ba: PUSH2 0x0911 000002bd: JUMP 000002be: JUMPDEST 000002bf: STOP 000002c0: JUMPDEST 000002c1: CALLVALUE 000002c2: DUP1 000002c3: ISZERO 000002c4: PUSH2 0x02cc 000002c7: JUMPI 000002c8: PUSH1 0x00 000002ca: DUP1 000002cb: REVERT 000002cc: JUMPDEST 000002cd: POP 000002ce: PUSH2 0x02d5 000002d1: PUSH2 0x0ab8 000002d4: JUMP 000002d5: JUMPDEST 000002d6: PUSH1 0x40 000002d8: MLOAD 000002d9: PUSH2 0x02e2 000002dc: SWAP2 000002dd: SWAP1 000002de: PUSH2 0x2de2 000002e1: JUMP 000002e2: JUMPDEST 000002e3: PUSH1 0x40 000002e5: MLOAD 000002e6: DUP1 000002e7: SWAP2 000002e8: SUB 000002e9: SWAP1 000002ea: RETURN 000002eb: JUMPDEST 000002ec: CALLVALUE 000002ed: DUP1 000002ee: ISZERO 000002ef: PUSH2 0x02f7 000002f2: JUMPI 000002f3: PUSH1 0x00 000002f5: DUP1 000002f6: REVERT 000002f7: JUMPDEST 000002f8: POP 000002f9: PUSH2 0x0312 000002fc: PUSH1 0x04 000002fe: DUP1 000002ff: CALLDATASIZE 00000300: SUB 00000301: DUP2 00000302: ADD 00000303: SWAP1 00000304: PUSH2 0x030d 00000307: SWAP2 00000308: SWAP1 00000309: PUSH2 0x27ca 0000030c: JUMP 0000030d: JUMPDEST 0000030e: PUSH2 0x0acf 00000311: JUMP 00000312: JUMPDEST 00000313: STOP 00000314: JUMPDEST 00000315: CALLVALUE 00000316: DUP1 00000317: ISZERO 00000318: PUSH2 0x0320 0000031b: JUMPI 0000031c: PUSH1 0x00 0000031e: DUP1 0000031f: REVERT 00000320: JUMPDEST 00000321: POP 00000322: PUSH2 0x033b 00000325: PUSH1 0x04 00000327: DUP1 00000328: CALLDATASIZE 00000329: SUB 0000032a: DUP2 0000032b: ADD 0000032c: SWAP1 0000032d: PUSH2 0x0336 00000330: SWAP2 00000331: SWAP1 00000332: PUSH2 0x29a3 00000335: JUMP 00000336: JUMPDEST 00000337: PUSH2 0x0adf 0000033a: JUMP 0000033b: JUMPDEST 0000033c: STOP 0000033d: JUMPDEST 0000033e: CALLVALUE 0000033f: DUP1 00000340: ISZERO 00000341: PUSH2 0x0349 00000344: JUMPI 00000345: PUSH1 0x00 00000347: DUP1 00000348: REVERT 00000349: JUMPDEST 0000034a: POP 0000034b: PUSH2 0x0364 0000034e: PUSH1 0x04 00000350: DUP1 00000351: CALLDATASIZE 00000352: SUB 00000353: DUP2 00000354: ADD 00000355: SWAP1 00000356: PUSH2 0x035f 00000359: SWAP2 0000035a: SWAP1 0000035b: PUSH2 0x27ca 0000035e: JUMP 0000035f: JUMPDEST 00000360: PUSH2 0x0c17 00000363: JUMP 00000364: JUMPDEST 00000365: STOP 00000366: JUMPDEST 00000367: CALLVALUE 00000368: DUP1 00000369: ISZERO 0000036a: PUSH2 0x0372 0000036d: JUMPI 0000036e: PUSH1 0x00 00000370: DUP1 00000371: REVERT 00000372: JUMPDEST 00000373: POP 00000374: PUSH2 0x038d 00000377: PUSH1 0x04 00000379: DUP1 0000037a: CALLDATASIZE 0000037b: SUB 0000037c: DUP2 0000037d: ADD 0000037e: SWAP1 0000037f: PUSH2 0x0388 00000382: SWAP2 00000383: SWAP1 00000384: PUSH2 0x29a3 00000387: JUMP 00000388: JUMPDEST 00000389: PUSH2 0x0c37 0000038c: JUMP 0000038d: JUMPDEST 0000038e: PUSH1 0x40 00000390: MLOAD 00000391: PUSH2 0x039a 00000394: SWAP2 00000395: SWAP1 00000396: PUSH2 0x2c3e 00000399: JUMP 0000039a: JUMPDEST 0000039b: PUSH1 0x40 0000039d: MLOAD 0000039e: DUP1 0000039f: SWAP2 000003a0: SUB 000003a1: SWAP1 000003a2: RETURN 000003a3: JUMPDEST 000003a4: CALLVALUE 000003a5: DUP1 000003a6: ISZERO 000003a7: PUSH2 0x03af 000003aa: JUMPI 000003ab: PUSH1 0x00 000003ad: DUP1 000003ae: REVERT 000003af: JUMPDEST 000003b0: POP 000003b1: PUSH2 0x03ca 000003b4: PUSH1 0x04 000003b6: DUP1 000003b7: CALLDATASIZE 000003b8: SUB 000003b9: DUP2 000003ba: ADD 000003bb: SWAP1 000003bc: PUSH2 0x03c5 000003bf: SWAP2 000003c0: SWAP1 000003c1: PUSH2 0x295e 000003c4: JUMP 000003c5: JUMPDEST 000003c6: PUSH2 0x0c49 000003c9: JUMP 000003ca: JUMPDEST 000003cb: STOP 000003cc: JUMPDEST 000003cd: CALLVALUE 000003ce: DUP1 000003cf: ISZERO 000003d0: PUSH2 0x03d8 000003d3: JUMPI 000003d4: PUSH1 0x00 000003d6: DUP1 000003d7: REVERT 000003d8: JUMPDEST 000003d9: POP 000003da: PUSH2 0x03e1 000003dd: PUSH2 0x0cdb 000003e0: JUMP 000003e1: JUMPDEST 000003e2: PUSH1 0x40 000003e4: MLOAD 000003e5: PUSH2 0x03ee 000003e8: SWAP2 000003e9: SWAP1 000003ea: PUSH2 0x2ca5 000003ed: JUMP 000003ee: JUMPDEST 000003ef: PUSH1 0x40 000003f1: MLOAD 000003f2: DUP1 000003f3: SWAP2 000003f4: SUB 000003f5: SWAP1 000003f6: RETURN 000003f7: JUMPDEST 000003f8: CALLVALUE 000003f9: DUP1 000003fa: ISZERO 000003fb: PUSH2 0x0403 000003fe: JUMPI 000003ff: PUSH1 0x00 00000401: DUP1 00000402: REVERT 00000403: JUMPDEST 00000404: POP 00000405: PUSH2 0x041e 00000408: PUSH1 0x04 0000040a: DUP1 0000040b: CALLDATASIZE 0000040c: SUB 0000040d: DUP2 0000040e: ADD 0000040f: SWAP1 00000410: PUSH2 0x0419 00000413: SWAP2 00000414: SWAP1 00000415: PUSH2 0x29a3 00000418: JUMP 00000419: JUMPDEST 0000041a: PUSH2 0x0cee 0000041d: JUMP 0000041e: JUMPDEST 0000041f: PUSH1 0x40 00000421: MLOAD 00000422: PUSH2 0x042b 00000425: SWAP2 00000426: SWAP1 00000427: PUSH2 0x2c3e 0000042a: JUMP 0000042b: JUMPDEST 0000042c: PUSH1 0x40 0000042e: MLOAD 0000042f: DUP1 00000430: SWAP2 00000431: SUB 00000432: SWAP1 00000433: RETURN 00000434: JUMPDEST 00000435: CALLVALUE 00000436: DUP1 00000437: ISZERO 00000438: PUSH2 0x0440 0000043b: JUMPI 0000043c: PUSH1 0x00 0000043e: DUP1 0000043f: REVERT 00000440: JUMPDEST 00000441: POP 00000442: PUSH2 0x0449 00000445: PUSH2 0x0d00 00000448: JUMP 00000449: JUMPDEST 0000044a: PUSH1 0x40 0000044c: MLOAD 0000044d: PUSH2 0x0456 00000450: SWAP2 00000451: SWAP1 00000452: PUSH2 0x2de2 00000455: JUMP 00000456: JUMPDEST 00000457: PUSH1 0x40 00000459: MLOAD 0000045a: DUP1 0000045b: SWAP2 0000045c: SUB 0000045d: SWAP1 0000045e: RETURN 0000045f: JUMPDEST 00000460: CALLVALUE 00000461: DUP1 00000462: ISZERO 00000463: PUSH2 0x046b 00000466: JUMPI 00000467: PUSH1 0x00 00000469: DUP1 0000046a: REVERT 0000046b: JUMPDEST 0000046c: POP 0000046d: PUSH2 0x0486 00000470: PUSH1 0x04 00000472: DUP1 00000473: CALLDATASIZE 00000474: SUB 00000475: DUP2 00000476: ADD 00000477: SWAP1 00000478: PUSH2 0x0481 0000047b: SWAP2 0000047c: SWAP1 0000047d: PUSH2 0x2765 00000480: JUMP 00000481: JUMPDEST 00000482: PUSH2 0x0d06 00000485: JUMP 00000486: JUMPDEST 00000487: PUSH1 0x40 00000489: MLOAD 0000048a: PUSH2 0x0493 0000048d: SWAP2 0000048e: SWAP1 0000048f: PUSH2 0x2de2 00000492: JUMP 00000493: JUMPDEST 00000494: PUSH1 0x40 00000496: MLOAD 00000497: DUP1 00000498: SWAP2 00000499: SUB 0000049a: SWAP1 0000049b: RETURN 0000049c: JUMPDEST 0000049d: CALLVALUE 0000049e: DUP1 0000049f: ISZERO 000004a0: PUSH2 0x04a8 000004a3: JUMPI 000004a4: PUSH1 0x00 000004a6: DUP1 000004a7: REVERT 000004a8: JUMPDEST 000004a9: POP 000004aa: PUSH2 0x04b1 000004ad: PUSH2 0x0dbf 000004b0: JUMP 000004b1: JUMPDEST 000004b2: STOP 000004b3: JUMPDEST 000004b4: CALLVALUE 000004b5: DUP1 000004b6: ISZERO 000004b7: PUSH2 0x04bf 000004ba: JUMPI 000004bb: PUSH1 0x00 000004bd: DUP1 000004be: REVERT 000004bf: JUMPDEST 000004c0: POP 000004c1: PUSH2 0x04c8 000004c4: PUSH2 0x0e47 000004c7: JUMP 000004c8: JUMPDEST 000004c9: PUSH1 0x40 000004cb: MLOAD 000004cc: PUSH2 0x04d5 000004cf: SWAP2 000004d0: SWAP1 000004d1: PUSH2 0x2ca5 000004d4: JUMP 000004d5: JUMPDEST 000004d6: PUSH1 0x40 000004d8: MLOAD 000004d9: DUP1 000004da: SWAP2 000004db: SUB 000004dc: SWAP1 000004dd: RETURN 000004de: JUMPDEST 000004df: CALLVALUE 000004e0: DUP1 000004e1: ISZERO 000004e2: PUSH2 0x04ea 000004e5: JUMPI 000004e6: PUSH1 0x00 000004e8: DUP1 000004e9: REVERT 000004ea: JUMPDEST 000004eb: POP 000004ec: PUSH2 0x04f3 000004ef: PUSH2 0x0f04 000004f2: JUMP 000004f3: JUMPDEST 000004f4: PUSH1 0x40 000004f6: MLOAD 000004f7: PUSH2 0x0500 000004fa: SWAP2 000004fb: SWAP1 000004fc: PUSH2 0x2c3e 000004ff: JUMP 00000500: JUMPDEST 00000501: PUSH1 0x40 00000503: MLOAD 00000504: DUP1 00000505: SWAP2 00000506: SUB 00000507: SWAP1 00000508: RETURN 00000509: JUMPDEST 0000050a: CALLVALUE 0000050b: DUP1 0000050c: ISZERO 0000050d: PUSH2 0x0515 00000510: JUMPI 00000511: PUSH1 0x00 00000513: DUP1 00000514: REVERT 00000515: JUMPDEST 00000516: POP 00000517: PUSH2 0x051e 0000051a: PUSH2 0x0f2e 0000051d: JUMP 0000051e: JUMPDEST 0000051f: PUSH1 0x40 00000521: MLOAD 00000522: PUSH2 0x052b 00000525: SWAP2 00000526: SWAP1 00000527: PUSH2 0x2cc0 0000052a: JUMP 0000052b: JUMPDEST 0000052c: PUSH1 0x40 0000052e: MLOAD 0000052f: DUP1 00000530: SWAP2 00000531: SUB 00000532: SWAP1 00000533: RETURN 00000534: JUMPDEST 00000535: PUSH2 0x054e 00000538: PUSH1 0x04 0000053a: DUP1 0000053b: CALLDATASIZE 0000053c: SUB 0000053d: DUP2 0000053e: ADD 0000053f: SWAP1 00000540: PUSH2 0x0549 00000543: SWAP2 00000544: SWAP1 00000545: PUSH2 0x29a3 00000548: JUMP 00000549: JUMPDEST 0000054a: PUSH2 0x0fc0 0000054d: JUMP 0000054e: JUMPDEST 0000054f: PUSH1 0x40 00000551: MLOAD 00000552: PUSH2 0x055b 00000555: SWAP2 00000556: SWAP1 00000557: PUSH2 0x2de2 0000055a: JUMP 0000055b: JUMPDEST 0000055c: PUSH1 0x40 0000055e: MLOAD 0000055f: DUP1 00000560: SWAP2 00000561: SUB 00000562: SWAP1 00000563: RETURN 00000564: JUMPDEST 00000565: CALLVALUE 00000566: DUP1 00000567: ISZERO 00000568: PUSH2 0x0570 0000056b: JUMPI 0000056c: PUSH1 0x00 0000056e: DUP1 0000056f: REVERT 00000570: JUMPDEST 00000571: POP 00000572: PUSH2 0x058b 00000575: PUSH1 0x04 00000577: DUP1 00000578: CALLDATASIZE 00000579: SUB 0000057a: DUP2 0000057b: ADD 0000057c: SWAP1 0000057d: PUSH2 0x0586 00000580: SWAP2 00000581: SWAP1 00000582: PUSH2 0x2894 00000585: JUMP 00000586: JUMPDEST 00000587: PUSH2 0x11b3 0000058a: JUMP 0000058b: JUMPDEST 0000058c: STOP 0000058d: JUMPDEST 0000058e: CALLVALUE 0000058f: DUP1 00000590: ISZERO 00000591: PUSH2 0x0599 00000594: JUMPI 00000595: PUSH1 0x00 00000597: DUP1 00000598: REVERT 00000599: JUMPDEST 0000059a: POP 0000059b: PUSH2 0x05b4 0000059e: PUSH1 0x04 000005a0: DUP1 000005a1: CALLDATASIZE 000005a2: SUB 000005a3: DUP2 000005a4: ADD 000005a5: SWAP1 000005a6: PUSH2 0x05af 000005a9: SWAP2 000005aa: SWAP1 000005ab: PUSH2 0x29a3 000005ae: JUMP 000005af: JUMPDEST 000005b0: PUSH2 0x132b 000005b3: JUMP 000005b4: JUMPDEST 000005b5: PUSH1 0x40 000005b7: MLOAD 000005b8: PUSH2 0x05c1 000005bb: SWAP2 000005bc: SWAP1 000005bd: PUSH2 0x2de2 000005c0: JUMP 000005c1: JUMPDEST 000005c2: PUSH1 0x40 000005c4: MLOAD 000005c5: DUP1 000005c6: SWAP2 000005c7: SUB 000005c8: SWAP1 000005c9: RETURN 000005ca: JUMPDEST 000005cb: CALLVALUE 000005cc: DUP1 000005cd: ISZERO 000005ce: PUSH2 0x05d6 000005d1: JUMPI 000005d2: PUSH1 0x00 000005d4: DUP1 000005d5: REVERT 000005d6: JUMPDEST 000005d7: POP 000005d8: PUSH2 0x05f1 000005db: PUSH1 0x04 000005dd: DUP1 000005de: CALLDATASIZE 000005df: SUB 000005e0: DUP2 000005e1: ADD 000005e2: SWAP1 000005e3: PUSH2 0x05ec 000005e6: SWAP2 000005e7: SWAP1 000005e8: PUSH2 0x2819 000005eb: JUMP 000005ec: JUMPDEST 000005ed: PUSH2 0x13b8 000005f0: JUMP 000005f1: JUMPDEST 000005f2: STOP 000005f3: JUMPDEST 000005f4: CALLVALUE 000005f5: DUP1 000005f6: ISZERO 000005f7: PUSH2 0x05ff 000005fa: JUMPI 000005fb: PUSH1 0x00 000005fd: DUP1 000005fe: REVERT 000005ff: JUMPDEST 00000600: POP 00000601: PUSH2 0x061a 00000604: PUSH1 0x04 00000606: DUP1 00000607: CALLDATASIZE 00000608: SUB 00000609: DUP2 0000060a: ADD 0000060b: SWAP1 0000060c: PUSH2 0x0615 0000060f: SWAP2 00000610: SWAP1 00000611: PUSH2 0x2765 00000614: JUMP 00000615: JUMPDEST 00000616: PUSH2 0x142b 00000619: JUMP 0000061a: JUMPDEST 0000061b: PUSH1 0x40 0000061d: MLOAD 0000061e: PUSH2 0x0627 00000621: SWAP2 00000622: SWAP1 00000623: PUSH2 0x2de2 00000626: JUMP 00000627: JUMPDEST 00000628: PUSH1 0x40 0000062a: MLOAD 0000062b: DUP1 0000062c: SWAP2 0000062d: SUB 0000062e: SWAP1 0000062f: RETURN 00000630: JUMPDEST 00000631: CALLVALUE 00000632: DUP1 00000633: ISZERO 00000634: PUSH2 0x063c 00000637: JUMPI 00000638: PUSH1 0x00 0000063a: DUP1 0000063b: REVERT 0000063c: JUMPDEST 0000063d: POP 0000063e: PUSH2 0x0657 00000641: PUSH1 0x04 00000643: DUP1 00000644: CALLDATASIZE 00000645: SUB 00000646: DUP2 00000647: ADD 00000648: SWAP1 00000649: PUSH2 0x0652 0000064c: SWAP2 0000064d: SWAP1 0000064e: PUSH2 0x29a3 00000651: JUMP 00000652: JUMPDEST 00000653: PUSH2 0x14ac 00000656: JUMP 00000657: JUMPDEST 00000658: PUSH1 0x40 0000065a: MLOAD 0000065b: PUSH2 0x0664 0000065e: SWAP2 0000065f: SWAP1 00000660: PUSH2 0x2cc0 00000663: JUMP 00000664: JUMPDEST 00000665: PUSH1 0x40 00000667: MLOAD 00000668: DUP1 00000669: SWAP2 0000066a: SUB 0000066b: SWAP1 0000066c: RETURN 0000066d: JUMPDEST 0000066e: CALLVALUE 0000066f: DUP1 00000670: ISZERO 00000671: PUSH2 0x0679 00000674: JUMPI 00000675: PUSH1 0x00 00000677: DUP1 00000678: REVERT 00000679: JUMPDEST 0000067a: POP 0000067b: PUSH2 0x0694 0000067e: PUSH1 0x04 00000680: DUP1 00000681: CALLDATASIZE 00000682: SUB 00000683: DUP2 00000684: ADD 00000685: SWAP1 00000686: PUSH2 0x068f 00000689: SWAP2 0000068a: SWAP1 0000068b: PUSH2 0x28d0 0000068e: JUMP 0000068f: JUMPDEST 00000690: PUSH2 0x154b 00000693: JUMP 00000694: JUMPDEST 00000695: PUSH1 0x40 00000697: MLOAD 00000698: PUSH2 0x06a1 0000069b: SWAP2 0000069c: SWAP1 0000069d: PUSH2 0x2de2 000006a0: JUMP 000006a1: JUMPDEST 000006a2: PUSH1 0x40 000006a4: MLOAD 000006a5: DUP1 000006a6: SWAP2 000006a7: SUB 000006a8: SWAP1 000006a9: RETURN 000006aa: JUMPDEST 000006ab: CALLVALUE 000006ac: DUP1 000006ad: ISZERO 000006ae: PUSH2 0x06b6 000006b1: JUMPI 000006b2: PUSH1 0x00 000006b4: DUP1 000006b5: REVERT 000006b6: JUMPDEST 000006b7: POP 000006b8: PUSH2 0x06d1 000006bb: PUSH1 0x04 000006bd: DUP1 000006be: CALLDATASIZE 000006bf: SUB 000006c0: DUP2 000006c1: ADD 000006c2: SWAP1 000006c3: PUSH2 0x06cc 000006c6: SWAP2 000006c7: SWAP1 000006c8: PUSH2 0x2765 000006cb: JUMP 000006cc: JUMPDEST 000006cd: PUSH2 0x175a 000006d0: JUMP 000006d1: JUMPDEST 000006d2: PUSH1 0x40 000006d4: MLOAD 000006d5: PUSH2 0x06de 000006d8: SWAP2 000006d9: SWAP1 000006da: PUSH2 0x2de2 000006dd: JUMP 000006de: JUMPDEST 000006df: PUSH1 0x40 000006e1: MLOAD 000006e2: DUP1 000006e3: SWAP2 000006e4: SUB 000006e5: SWAP1 000006e6: RETURN 000006e7: JUMPDEST 000006e8: CALLVALUE 000006e9: DUP1 000006ea: ISZERO 000006eb: PUSH2 0x06f3 000006ee: JUMPI 000006ef: PUSH1 0x00 000006f1: DUP1 000006f2: REVERT 000006f3: JUMPDEST 000006f4: POP 000006f5: PUSH2 0x070e 000006f8: PUSH1 0x04 000006fa: DUP1 000006fb: CALLDATASIZE 000006fc: SUB 000006fd: DUP2 000006fe: ADD 000006ff: SWAP1 00000700: PUSH2 0x0709 00000703: SWAP2 00000704: SWAP1 00000705: PUSH2 0x278e 00000708: JUMP 00000709: JUMPDEST 0000070a: PUSH2 0x176c 0000070d: JUMP 0000070e: JUMPDEST 0000070f: PUSH1 0x40 00000711: MLOAD 00000712: PUSH2 0x071b 00000715: SWAP2 00000716: SWAP1 00000717: PUSH2 0x2ca5 0000071a: JUMP 0000071b: JUMPDEST 0000071c: PUSH1 0x40 0000071e: MLOAD 0000071f: DUP1 00000720: SWAP2 00000721: SUB 00000722: SWAP1 00000723: RETURN 00000724: JUMPDEST 00000725: CALLVALUE 00000726: DUP1 00000727: ISZERO 00000728: PUSH2 0x0730 0000072b: JUMPI 0000072c: PUSH1 0x00 0000072e: DUP1 0000072f: REVERT 00000730: JUMPDEST 00000731: POP 00000732: PUSH2 0x074b 00000735: PUSH1 0x04 00000737: DUP1 00000738: CALLDATASIZE 00000739: SUB 0000073a: DUP2 0000073b: ADD 0000073c: SWAP1 0000073d: PUSH2 0x0746 00000740: SWAP2 00000741: SWAP1 00000742: PUSH2 0x2765 00000745: JUMP 00000746: JUMPDEST 00000747: PUSH2 0x1800 0000074a: JUMP 0000074b: JUMPDEST 0000074c: STOP 0000074d: JUMPDEST 0000074e: PUSH1 0x00 00000750: PUSH4 0x01ffc9a7 00000755: PUSH1 0xe0 00000757: SHL 00000758: DUP3 00000759: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000776: NOT 00000777: AND 00000778: EQ 00000779: DUP1 0000077a: PUSH2 0x07a8 0000077d: JUMPI 0000077e: POP 0000077f: PUSH4 0x80ac58cd 00000784: PUSH1 0xe0 00000786: SHL 00000787: DUP3 00000788: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000007a5: NOT 000007a6: AND 000007a7: EQ 000007a8: JUMPDEST 000007a9: DUP1 000007aa: PUSH2 0x07d8 000007ad: JUMPI 000007ae: POP 000007af: PUSH4 0x5b5e139f 000007b4: PUSH1 0xe0 000007b6: SHL 000007b7: DUP3 000007b8: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000007d5: NOT 000007d6: AND 000007d7: EQ 000007d8: JUMPDEST 000007d9: SWAP1 000007da: POP 000007db: SWAP2 000007dc: SWAP1 000007dd: POP 000007de: JUMP 000007df: JUMPDEST 000007e0: PUSH32 0x0000000000000000000000000000000000000000000000000000000000002710 00000801: DUP2 00000802: JUMP 00000803: JUMPDEST 00000804: PUSH1 0x60 00000806: PUSH1 0x02 00000808: DUP1 00000809: SLOAD 0000080a: PUSH2 0x0812 0000080d: SWAP1 0000080e: PUSH2 0x303b 00000811: JUMP 00000812: JUMPDEST 00000813: DUP1 00000814: PUSH1 0x1f 00000816: ADD 00000817: PUSH1 0x20 00000819: DUP1 0000081a: SWAP2 0000081b: DIV 0000081c: MUL 0000081d: PUSH1 0x20 0000081f: ADD 00000820: PUSH1 0x40 00000822: MLOAD 00000823: SWAP1 00000824: DUP2 00000825: ADD 00000826: PUSH1 0x40 00000828: MSTORE 00000829: DUP1 0000082a: SWAP3 0000082b: SWAP2 0000082c: SWAP1 0000082d: DUP2 0000082e: DUP2 0000082f: MSTORE 00000830: PUSH1 0x20 00000832: ADD 00000833: DUP3 00000834: DUP1 00000835: SLOAD 00000836: PUSH2 0x083e 00000839: SWAP1 0000083a: PUSH2 0x303b 0000083d: JUMP 0000083e: JUMPDEST 0000083f: DUP1 00000840: ISZERO 00000841: PUSH2 0x088b 00000844: JUMPI 00000845: DUP1 00000846: PUSH1 0x1f 00000848: LT 00000849: PUSH2 0x0860 0000084c: JUMPI 0000084d: PUSH2 0x0100 00000850: DUP1 00000851: DUP4 00000852: SLOAD 00000853: DIV 00000854: MUL 00000855: DUP4 00000856: MSTORE 00000857: SWAP2 00000858: PUSH1 0x20 0000085a: ADD 0000085b: SWAP2 0000085c: PUSH2 0x088b 0000085f: JUMP 00000860: JUMPDEST 00000861: DUP3 00000862: ADD 00000863: SWAP2 00000864: SWAP1 00000865: PUSH1 0x00 00000867: MSTORE 00000868: PUSH1 0x20 0000086a: PUSH1 0x00 0000086c: KECCAK256 0000086d: SWAP1 0000086e: JUMPDEST 0000086f: DUP2 00000870: SLOAD 00000871: DUP2 00000872: MSTORE 00000873: SWAP1 00000874: PUSH1 0x01 00000876: ADD 00000877: SWAP1 00000878: PUSH1 0x20 0000087a: ADD 0000087b: DUP1 0000087c: DUP4 0000087d: GT 0000087e: PUSH2 0x086e 00000881: JUMPI 00000882: DUP3 00000883: SWAP1 00000884: SUB 00000885: PUSH1 0x1f 00000887: AND 00000888: DUP3 00000889: ADD 0000088a: SWAP2 0000088b: JUMPDEST 0000088c: POP 0000088d: POP 0000088e: POP 0000088f: POP 00000890: POP 00000891: SWAP1 00000892: POP 00000893: SWAP1 00000894: JUMP 00000895: JUMPDEST 00000896: PUSH1 0x00 00000898: PUSH2 0x08a0 0000089b: DUP3 0000089c: PUSH2 0x18f8 0000089f: JUMP 000008a0: JUMPDEST 000008a1: PUSH2 0x08d6 000008a4: JUMPI 000008a5: PUSH1 0x40 000008a7: MLOAD 000008a8: PUSH32 0xcf4700e400000000000000000000000000000000000000000000000000000000 000008c9: DUP2 000008ca: MSTORE 000008cb: PUSH1 0x04 000008cd: ADD 000008ce: PUSH1 0x40 000008d0: MLOAD 000008d1: DUP1 000008d2: SWAP2 000008d3: SUB 000008d4: SWAP1 000008d5: REVERT 000008d6: JUMPDEST 000008d7: PUSH1 0x06 000008d9: PUSH1 0x00 000008db: DUP4 000008dc: DUP2 000008dd: MSTORE 000008de: PUSH1 0x20 000008e0: ADD 000008e1: SWAP1 000008e2: DUP2 000008e3: MSTORE 000008e4: PUSH1 0x20 000008e6: ADD 000008e7: PUSH1 0x00 000008e9: KECCAK256 000008ea: PUSH1 0x00 000008ec: SWAP1 000008ed: SLOAD 000008ee: SWAP1 000008ef: PUSH2 0x0100 000008f2: EXP 000008f3: SWAP1 000008f4: DIV 000008f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000090a: AND 0000090b: SWAP1 0000090c: POP 0000090d: SWAP2 0000090e: SWAP1 0000090f: POP 00000910: JUMP 00000911: JUMPDEST 00000912: PUSH1 0x00 00000914: PUSH2 0x091c 00000917: DUP3 00000918: PUSH2 0x1957 0000091b: JUMP 0000091c: JUMPDEST 0000091d: SWAP1 0000091e: POP 0000091f: DUP1 00000920: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000935: AND 00000936: DUP4 00000937: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000094c: AND 0000094d: EQ 0000094e: ISZERO 0000094f: PUSH2 0x0984 00000952: JUMPI 00000953: PUSH1 0x40 00000955: MLOAD 00000956: PUSH32 0x943f7b8c00000000000000000000000000000000000000000000000000000000 00000977: DUP2 00000978: MSTORE 00000979: PUSH1 0x04 0000097b: ADD 0000097c: PUSH1 0x40 0000097e: MLOAD 0000097f: DUP1 00000980: SWAP2 00000981: SUB 00000982: SWAP1 00000983: REVERT 00000984: JUMPDEST 00000985: DUP1 00000986: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000099b: AND 0000099c: PUSH2 0x09a3 0000099f: PUSH2 0x1a25 000009a2: JUMP 000009a3: JUMPDEST 000009a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b9: AND 000009ba: EQ 000009bb: PUSH2 0x0a06 000009be: JUMPI 000009bf: PUSH2 0x09cf 000009c2: DUP2 000009c3: PUSH2 0x09ca 000009c6: PUSH2 0x1a25 000009c9: JUMP 000009ca: JUMPDEST 000009cb: PUSH2 0x176c 000009ce: JUMP 000009cf: JUMPDEST 000009d0: PUSH2 0x0a05 000009d3: JUMPI 000009d4: PUSH1 0x40 000009d6: MLOAD 000009d7: PUSH32 0xcfb3b94200000000000000000000000000000000000000000000000000000000 000009f8: DUP2 000009f9: MSTORE 000009fa: PUSH1 0x04 000009fc: ADD 000009fd: PUSH1 0x40 000009ff: MLOAD 00000a00: DUP1 00000a01: SWAP2 00000a02: SUB 00000a03: SWAP1 00000a04: REVERT 00000a05: JUMPDEST 00000a06: JUMPDEST 00000a07: DUP3 00000a08: PUSH1 0x06 00000a0a: PUSH1 0x00 00000a0c: DUP5 00000a0d: DUP2 00000a0e: MSTORE 00000a0f: PUSH1 0x20 00000a11: ADD 00000a12: SWAP1 00000a13: DUP2 00000a14: MSTORE 00000a15: PUSH1 0x20 00000a17: ADD 00000a18: PUSH1 0x00 00000a1a: KECCAK256 00000a1b: PUSH1 0x00 00000a1d: PUSH2 0x0100 00000a20: EXP 00000a21: DUP2 00000a22: SLOAD 00000a23: DUP2 00000a24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a39: MUL 00000a3a: NOT 00000a3b: AND 00000a3c: SWAP1 00000a3d: DUP4 00000a3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a53: AND 00000a54: MUL 00000a55: OR 00000a56: SWAP1 00000a57: SSTORE 00000a58: POP 00000a59: DUP2 00000a5a: DUP4 00000a5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a70: AND 00000a71: DUP3 00000a72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a87: AND 00000a88: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000aa9: PUSH1 0x40 00000aab: MLOAD 00000aac: PUSH1 0x40 00000aae: MLOAD 00000aaf: DUP1 00000ab0: SWAP2 00000ab1: SUB 00000ab2: SWAP1 00000ab3: LOG4 00000ab4: POP 00000ab5: POP 00000ab6: POP 00000ab7: JUMP 00000ab8: JUMPDEST 00000ab9: PUSH1 0x00 00000abb: PUSH2 0x0ac2 00000abe: PUSH2 0x1a2d 00000ac1: JUMP 00000ac2: JUMPDEST 00000ac3: PUSH1 0x01 00000ac5: SLOAD 00000ac6: PUSH1 0x00 00000ac8: SLOAD 00000ac9: SUB 00000aca: SUB 00000acb: SWAP1 00000acc: POP 00000acd: SWAP1 00000ace: JUMP 00000acf: JUMPDEST 00000ad0: PUSH2 0x0ada 00000ad3: DUP4 00000ad4: DUP4 00000ad5: DUP4 00000ad6: PUSH2 0x1a32 00000ad9: JUMP 00000ada: JUMPDEST 00000adb: POP 00000adc: POP 00000add: POP 00000ade: JUMP 00000adf: JUMPDEST 00000ae0: PUSH2 0x0ae7 00000ae3: PUSH2 0x1ddc 00000ae6: JUMP 00000ae7: JUMPDEST 00000ae8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000afd: AND 00000afe: PUSH2 0x0b05 00000b01: PUSH2 0x0f04 00000b04: JUMP 00000b05: JUMPDEST 00000b06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b1b: AND 00000b1c: EQ 00000b1d: PUSH2 0x0b5b 00000b20: JUMPI 00000b21: PUSH1 0x40 00000b23: MLOAD 00000b24: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b45: DUP2 00000b46: MSTORE 00000b47: PUSH1 0x04 00000b49: ADD 00000b4a: PUSH2 0x0b52 00000b4d: SWAP1 00000b4e: PUSH2 0x2da2 00000b51: JUMP 00000b52: JUMPDEST 00000b53: PUSH1 0x40 00000b55: MLOAD 00000b56: DUP1 00000b57: SWAP2 00000b58: SUB 00000b59: SWAP1 00000b5a: REVERT 00000b5b: JUMPDEST 00000b5c: PUSH1 0x02 00000b5e: PUSH1 0x09 00000b60: SLOAD 00000b61: EQ 00000b62: ISZERO 00000b63: PUSH2 0x0ba1 00000b66: JUMPI 00000b67: PUSH1 0x40 00000b69: MLOAD 00000b6a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b8b: DUP2 00000b8c: MSTORE 00000b8d: PUSH1 0x04 00000b8f: ADD 00000b90: PUSH2 0x0b98 00000b93: SWAP1 00000b94: PUSH2 0x2dc2 00000b97: JUMP 00000b98: JUMPDEST 00000b99: PUSH1 0x40 00000b9b: MLOAD 00000b9c: DUP1 00000b9d: SWAP2 00000b9e: SUB 00000b9f: SWAP1 00000ba0: REVERT 00000ba1: JUMPDEST 00000ba2: PUSH1 0x02 00000ba4: PUSH1 0x09 00000ba6: DUP2 00000ba7: SWAP1 00000ba8: SSTORE 00000ba9: POP 00000baa: PUSH1 0x00 00000bac: PUSH8 0x0de0b6b3a7640000 00000bb5: DUP3 00000bb6: PUSH2 0x0bbf 00000bb9: SWAP2 00000bba: SWAP1 00000bbb: PUSH2 0x2ef7 00000bbe: JUMP 00000bbf: JUMPDEST 00000bc0: SWAP1 00000bc1: POP 00000bc2: PUSH2 0x0bdf 00000bc5: PUSH20 0x6b6de853c477022db427d53c102c58761fdc25da 00000bda: DUP3 00000bdb: PUSH2 0x1de4 00000bde: JUMP 00000bdf: JUMPDEST 00000be0: PUSH2 0x0c0b 00000be3: PUSH1 0x0a 00000be5: PUSH1 0x00 00000be7: SWAP1 00000be8: SLOAD 00000be9: SWAP1 00000bea: PUSH2 0x0100 00000bed: EXP 00000bee: SWAP1 00000bef: DIV 00000bf0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c05: AND 00000c06: SELFBALANCE 00000c07: PUSH2 0x1de4 00000c0a: JUMP 00000c0b: JUMPDEST 00000c0c: POP 00000c0d: PUSH1 0x01 00000c0f: PUSH1 0x09 00000c11: DUP2 00000c12: SWAP1 00000c13: SSTORE 00000c14: POP 00000c15: POP 00000c16: JUMP 00000c17: JUMPDEST 00000c18: PUSH2 0x0c32 00000c1b: DUP4 00000c1c: DUP4 00000c1d: DUP4 00000c1e: PUSH1 0x40 00000c20: MLOAD 00000c21: DUP1 00000c22: PUSH1 0x20 00000c24: ADD 00000c25: PUSH1 0x40 00000c27: MSTORE 00000c28: DUP1 00000c29: PUSH1 0x00 00000c2b: DUP2 00000c2c: MSTORE 00000c2d: POP 00000c2e: PUSH2 0x13b8 00000c31: JUMP 00000c32: JUMPDEST 00000c33: POP 00000c34: POP 00000c35: POP 00000c36: JUMP 00000c37: JUMPDEST 00000c38: PUSH1 0x00 00000c3a: PUSH2 0x0c42 00000c3d: DUP3 00000c3e: PUSH2 0x0cee 00000c41: JUMP 00000c42: JUMPDEST 00000c43: SWAP1 00000c44: POP 00000c45: SWAP2 00000c46: SWAP1 00000c47: POP 00000c48: JUMP 00000c49: JUMPDEST 00000c4a: PUSH2 0x0c51 00000c4d: PUSH2 0x1ddc 00000c50: JUMP 00000c51: JUMPDEST 00000c52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c67: AND 00000c68: PUSH2 0x0c6f 00000c6b: PUSH2 0x0f04 00000c6e: JUMP 00000c6f: JUMPDEST 00000c70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c85: AND 00000c86: EQ 00000c87: PUSH2 0x0cc5 00000c8a: JUMPI 00000c8b: PUSH1 0x40 00000c8d: MLOAD 00000c8e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000caf: DUP2 00000cb0: MSTORE 00000cb1: PUSH1 0x04 00000cb3: ADD 00000cb4: PUSH2 0x0cbc 00000cb7: SWAP1 00000cb8: PUSH2 0x2da2 00000cbb: JUMP 00000cbc: JUMPDEST 00000cbd: PUSH1 0x40 00000cbf: MLOAD 00000cc0: DUP1 00000cc1: SWAP2 00000cc2: SUB 00000cc3: SWAP1 00000cc4: REVERT 00000cc5: JUMPDEST 00000cc6: DUP2 00000cc7: DUP2 00000cc8: PUSH1 0x0c 00000cca: SWAP2 00000ccb: SWAP1 00000ccc: PUSH2 0x0cd6 00000ccf: SWAP3 00000cd0: SWAP2 00000cd1: SWAP1 00000cd2: PUSH2 0x25a7 00000cd5: JUMP 00000cd6: JUMPDEST 00000cd7: POP 00000cd8: POP 00000cd9: POP 00000cda: JUMP 00000cdb: JUMPDEST 00000cdc: PUSH1 0x0d 00000cde: PUSH1 0x00 00000ce0: SWAP1 00000ce1: SLOAD 00000ce2: SWAP1 00000ce3: PUSH2 0x0100 00000ce6: EXP 00000ce7: SWAP1 00000ce8: DIV 00000ce9: PUSH1 0xff 00000ceb: AND 00000cec: DUP2 00000ced: JUMP 00000cee: JUMPDEST 00000cef: PUSH1 0x00 00000cf1: PUSH2 0x0cf9 00000cf4: DUP3 00000cf5: PUSH2 0x1957 00000cf8: JUMP 00000cf9: JUMPDEST 00000cfa: SWAP1 00000cfb: POP 00000cfc: SWAP2 00000cfd: SWAP1 00000cfe: POP 00000cff: JUMP 00000d00: JUMPDEST 00000d01: PUSH1 0x0b 00000d03: SLOAD 00000d04: DUP2 00000d05: JUMP 00000d06: JUMPDEST 00000d07: PUSH1 0x00 00000d09: DUP1 00000d0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d1f: AND 00000d20: DUP3 00000d21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d36: AND 00000d37: EQ 00000d38: ISZERO 00000d39: PUSH2 0x0d6e 00000d3c: JUMPI 00000d3d: PUSH1 0x40 00000d3f: MLOAD 00000d40: PUSH32 0x8f4eb60400000000000000000000000000000000000000000000000000000000 00000d61: DUP2 00000d62: MSTORE 00000d63: PUSH1 0x04 00000d65: ADD 00000d66: PUSH1 0x40 00000d68: MLOAD 00000d69: DUP1 00000d6a: SWAP2 00000d6b: SUB 00000d6c: SWAP1 00000d6d: REVERT 00000d6e: JUMPDEST 00000d6f: PUSH8 0xffffffffffffffff 00000d78: PUSH1 0x05 00000d7a: PUSH1 0x00 00000d7c: DUP5 00000d7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d92: AND 00000d93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000da8: AND 00000da9: DUP2 00000daa: MSTORE 00000dab: PUSH1 0x20 00000dad: ADD 00000dae: SWAP1 00000daf: DUP2 00000db0: MSTORE 00000db1: PUSH1 0x20 00000db3: ADD 00000db4: PUSH1 0x00 00000db6: KECCAK256 00000db7: SLOAD 00000db8: AND 00000db9: SWAP1 00000dba: POP 00000dbb: SWAP2 00000dbc: SWAP1 00000dbd: POP 00000dbe: JUMP 00000dbf: JUMPDEST 00000dc0: PUSH2 0x0dc7 00000dc3: PUSH2 0x1ddc 00000dc6: JUMP 00000dc7: JUMPDEST 00000dc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ddd: AND 00000dde: PUSH2 0x0de5 00000de1: PUSH2 0x0f04 00000de4: JUMP 00000de5: JUMPDEST 00000de6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dfb: AND 00000dfc: EQ 00000dfd: PUSH2 0x0e3b 00000e00: JUMPI 00000e01: PUSH1 0x40 00000e03: MLOAD 00000e04: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e25: DUP2 00000e26: MSTORE 00000e27: PUSH1 0x04 00000e29: ADD 00000e2a: PUSH2 0x0e32 00000e2d: SWAP1 00000e2e: PUSH2 0x2da2 00000e31: JUMP 00000e32: JUMPDEST 00000e33: PUSH1 0x40 00000e35: MLOAD 00000e36: DUP1 00000e37: SWAP2 00000e38: SUB 00000e39: SWAP1 00000e3a: REVERT 00000e3b: JUMPDEST 00000e3c: PUSH2 0x0e45 00000e3f: PUSH1 0x00 00000e41: PUSH2 0x1f38 00000e44: JUMP 00000e45: JUMPDEST 00000e46: JUMP 00000e47: JUMPDEST 00000e48: PUSH1 0x00 00000e4a: PUSH2 0x0e51 00000e4d: PUSH2 0x1ddc 00000e50: JUMP 00000e51: JUMPDEST 00000e52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e67: AND 00000e68: PUSH2 0x0e6f 00000e6b: PUSH2 0x0f04 00000e6e: JUMP 00000e6f: JUMPDEST 00000e70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e85: AND 00000e86: EQ 00000e87: PUSH2 0x0ec5 00000e8a: JUMPI 00000e8b: PUSH1 0x40 00000e8d: MLOAD 00000e8e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000eaf: DUP2 00000eb0: MSTORE 00000eb1: PUSH1 0x04 00000eb3: ADD 00000eb4: PUSH2 0x0ebc 00000eb7: SWAP1 00000eb8: PUSH2 0x2da2 00000ebb: JUMP 00000ebc: JUMPDEST 00000ebd: PUSH1 0x40 00000ebf: MLOAD 00000ec0: DUP1 00000ec1: SWAP2 00000ec2: SUB 00000ec3: SWAP1 00000ec4: REVERT 00000ec5: JUMPDEST 00000ec6: PUSH1 0x0d 00000ec8: PUSH1 0x00 00000eca: SWAP1 00000ecb: SLOAD 00000ecc: SWAP1 00000ecd: PUSH2 0x0100 00000ed0: EXP 00000ed1: SWAP1 00000ed2: DIV 00000ed3: PUSH1 0xff 00000ed5: AND 00000ed6: ISZERO 00000ed7: PUSH1 0x0d 00000ed9: PUSH1 0x00 00000edb: PUSH2 0x0100 00000ede: EXP 00000edf: DUP2 00000ee0: SLOAD 00000ee1: DUP2 00000ee2: PUSH1 0xff 00000ee4: MUL 00000ee5: NOT 00000ee6: AND 00000ee7: SWAP1 00000ee8: DUP4 00000ee9: ISZERO 00000eea: ISZERO 00000eeb: MUL 00000eec: OR 00000eed: SWAP1 00000eee: SSTORE 00000eef: POP 00000ef0: PUSH1 0x0d 00000ef2: PUSH1 0x00 00000ef4: SWAP1 00000ef5: SLOAD 00000ef6: SWAP1 00000ef7: PUSH2 0x0100 00000efa: EXP 00000efb: SWAP1 00000efc: DIV 00000efd: PUSH1 0xff 00000eff: AND 00000f00: SWAP1 00000f01: POP 00000f02: SWAP1 00000f03: JUMP 00000f04: JUMPDEST 00000f05: PUSH1 0x00 00000f07: PUSH1 0x08 00000f09: PUSH1 0x00 00000f0b: SWAP1 00000f0c: SLOAD 00000f0d: SWAP1 00000f0e: PUSH2 0x0100 00000f11: EXP 00000f12: SWAP1 00000f13: DIV 00000f14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f29: AND 00000f2a: SWAP1 00000f2b: POP 00000f2c: SWAP1 00000f2d: JUMP 00000f2e: JUMPDEST 00000f2f: PUSH1 0x60 00000f31: PUSH1 0x03 00000f33: DUP1 00000f34: SLOAD 00000f35: PUSH2 0x0f3d 00000f38: SWAP1 00000f39: PUSH2 0x303b 00000f3c: JUMP 00000f3d: JUMPDEST 00000f3e: DUP1 00000f3f: PUSH1 0x1f 00000f41: ADD 00000f42: PUSH1 0x20 00000f44: DUP1 00000f45: SWAP2 00000f46: DIV 00000f47: MUL 00000f48: PUSH1 0x20 00000f4a: ADD 00000f4b: PUSH1 0x40 00000f4d: MLOAD 00000f4e: SWAP1 00000f4f: DUP2 00000f50: ADD 00000f51: PUSH1 0x40 00000f53: MSTORE 00000f54: DUP1 00000f55: SWAP3 00000f56: SWAP2 00000f57: SWAP1 00000f58: DUP2 00000f59: DUP2 00000f5a: MSTORE 00000f5b: PUSH1 0x20 00000f5d: ADD 00000f5e: DUP3 00000f5f: DUP1 00000f60: SLOAD 00000f61: PUSH2 0x0f69 00000f64: SWAP1 00000f65: PUSH2 0x303b 00000f68: JUMP 00000f69: JUMPDEST 00000f6a: DUP1 00000f6b: ISZERO 00000f6c: PUSH2 0x0fb6 00000f6f: JUMPI 00000f70: DUP1 00000f71: PUSH1 0x1f 00000f73: LT 00000f74: PUSH2 0x0f8b 00000f77: JUMPI 00000f78: PUSH2 0x0100 00000f7b: DUP1 00000f7c: DUP4 00000f7d: SLOAD 00000f7e: DIV 00000f7f: MUL 00000f80: DUP4 00000f81: MSTORE 00000f82: SWAP2 00000f83: PUSH1 0x20 00000f85: ADD 00000f86: SWAP2 00000f87: PUSH2 0x0fb6 00000f8a: JUMP 00000f8b: JUMPDEST 00000f8c: DUP3 00000f8d: ADD 00000f8e: SWAP2 00000f8f: SWAP1 00000f90: PUSH1 0x00 00000f92: MSTORE 00000f93: PUSH1 0x20 00000f95: PUSH1 0x00 00000f97: KECCAK256 00000f98: SWAP1 00000f99: JUMPDEST 00000f9a: DUP2 00000f9b: SLOAD 00000f9c: DUP2 00000f9d: MSTORE 00000f9e: SWAP1 00000f9f: PUSH1 0x01 00000fa1: ADD 00000fa2: SWAP1 00000fa3: PUSH1 0x20 00000fa5: ADD 00000fa6: DUP1 00000fa7: DUP4 00000fa8: GT 00000fa9: PUSH2 0x0f99 00000fac: JUMPI 00000fad: DUP3 00000fae: SWAP1 00000faf: SUB 00000fb0: PUSH1 0x1f 00000fb2: AND 00000fb3: DUP3 00000fb4: ADD 00000fb5: SWAP2 00000fb6: JUMPDEST 00000fb7: POP 00000fb8: POP 00000fb9: POP 00000fba: POP 00000fbb: POP 00000fbc: SWAP1 00000fbd: POP 00000fbe: SWAP1 00000fbf: JUMP 00000fc0: JUMPDEST 00000fc1: PUSH1 0x00 00000fc3: DUP1 00000fc4: ISZERO 00000fc5: ISZERO 00000fc6: PUSH1 0x0d 00000fc8: PUSH1 0x00 00000fca: SWAP1 00000fcb: SLOAD 00000fcc: SWAP1 00000fcd: PUSH2 0x0100 00000fd0: EXP 00000fd1: SWAP1 00000fd2: DIV 00000fd3: PUSH1 0xff 00000fd5: AND 00000fd6: ISZERO 00000fd7: ISZERO 00000fd8: EQ 00000fd9: PUSH2 0x0fe1 00000fdc: JUMPI 00000fdd: PUSH1 0x00 00000fdf: DUP1 00000fe0: REVERT 00000fe1: JUMPDEST 00000fe2: PUSH1 0x00 00000fe4: DUP3 00000fe5: GT 00000fe6: PUSH2 0x1018 00000fe9: JUMPI 00000fea: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000100b: PUSH1 0x00 0000100d: MSTORE 0000100e: PUSH1 0x01 00001010: PUSH1 0x04 00001012: MSTORE 00001013: PUSH1 0x24 00001015: PUSH1 0x00 00001017: REVERT 00001018: JUMPDEST 00001019: DUP2 0000101a: PUSH1 0x0b 0000101c: SLOAD 0000101d: PUSH2 0x1026 00001020: SWAP2 00001021: SWAP1 00001022: PUSH2 0x2ef7 00001025: JUMP 00001026: JUMPDEST 00001027: CALLVALUE 00001028: LT 00001029: ISZERO 0000102a: PUSH2 0x1068 0000102d: JUMPI 0000102e: PUSH1 0x40 00001030: MLOAD 00001031: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001052: DUP2 00001053: MSTORE 00001054: PUSH1 0x04 00001056: ADD 00001057: PUSH2 0x105f 0000105a: SWAP1 0000105b: PUSH2 0x2d62 0000105e: JUMP 0000105f: JUMPDEST 00001060: PUSH1 0x40 00001062: MLOAD 00001063: DUP1 00001064: SWAP2 00001065: SUB 00001066: SWAP1 00001067: REVERT 00001068: JUMPDEST 00001069: PUSH1 0x15 0000106b: DUP3 0000106c: LT 0000106d: PUSH2 0x10ab 00001070: JUMPI 00001071: PUSH1 0x40 00001073: MLOAD 00001074: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001095: DUP2 00001096: MSTORE 00001097: PUSH1 0x04 00001099: ADD 0000109a: PUSH2 0x10a2 0000109d: SWAP1 0000109e: PUSH2 0x2ce2 000010a1: JUMP 000010a2: JUMPDEST 000010a3: PUSH1 0x40 000010a5: MLOAD 000010a6: DUP1 000010a7: SWAP2 000010a8: SUB 000010a9: SWAP1 000010aa: REVERT 000010ab: JUMPDEST 000010ac: ORIGIN 000010ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010c2: AND 000010c3: CALLER 000010c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010d9: AND 000010da: EQ 000010db: PUSH2 0x1119 000010de: JUMPI 000010df: PUSH1 0x40 000010e1: MLOAD 000010e2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001103: DUP2 00001104: MSTORE 00001105: PUSH1 0x04 00001107: ADD 00001108: PUSH2 0x1110 0000110b: SWAP1 0000110c: PUSH2 0x2d42 0000110f: JUMP 00001110: JUMPDEST 00001111: PUSH1 0x40 00001113: MLOAD 00001114: DUP1 00001115: SWAP2 00001116: SUB 00001117: SWAP1 00001118: REVERT 00001119: JUMPDEST 0000111a: PUSH2 0x01f4 0000111d: PUSH32 0x0000000000000000000000000000000000000000000000000000000000002710 0000113e: PUSH2 0x1147 00001141: SWAP2 00001142: SWAP1 00001143: PUSH2 0x2f51 00001146: JUMP 00001147: JUMPDEST 00001148: DUP3 00001149: PUSH2 0x1150 0000114c: PUSH2 0x1ffe 0000114f: JUMP 00001150: JUMPDEST 00001151: PUSH2 0x115a 00001154: SWAP2 00001155: SWAP1 00001156: PUSH2 0x2ea1 00001159: JUMP 0000115a: JUMPDEST 0000115b: LT 0000115c: PUSH2 0x119a 0000115f: JUMPI 00001160: PUSH1 0x40 00001162: MLOAD 00001163: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001184: DUP2 00001185: MSTORE 00001186: PUSH1 0x04 00001188: ADD 00001189: PUSH2 0x1191 0000118c: SWAP1 0000118d: PUSH2 0x2d02 00001190: JUMP 00001191: JUMPDEST 00001192: PUSH1 0x40 00001194: MLOAD 00001195: DUP1 00001196: SWAP2 00001197: SUB 00001198: SWAP1 00001199: REVERT 0000119a: JUMPDEST 0000119b: PUSH2 0x11a4 0000119e: CALLER 0000119f: DUP4 000011a0: PUSH2 0x2011 000011a3: JUMP 000011a4: JUMPDEST 000011a5: PUSH2 0x11ac 000011a8: PUSH2 0x1ffe 000011ab: JUMP 000011ac: JUMPDEST 000011ad: SWAP1 000011ae: POP 000011af: SWAP2 000011b0: SWAP1 000011b1: POP 000011b2: JUMP 000011b3: JUMPDEST 000011b4: PUSH2 0x11bb 000011b7: PUSH2 0x1a25 000011ba: JUMP 000011bb: JUMPDEST 000011bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011d1: AND 000011d2: DUP3 000011d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011e8: AND 000011e9: EQ 000011ea: ISZERO 000011eb: PUSH2 0x1220 000011ee: JUMPI 000011ef: PUSH1 0x40 000011f1: MLOAD 000011f2: PUSH32 0xb06307db00000000000000000000000000000000000000000000000000000000 00001213: DUP2 00001214: MSTORE 00001215: PUSH1 0x04 00001217: ADD 00001218: PUSH1 0x40 0000121a: MLOAD 0000121b: DUP1 0000121c: SWAP2 0000121d: SUB 0000121e: SWAP1 0000121f: REVERT 00001220: JUMPDEST 00001221: DUP1 00001222: PUSH1 0x07 00001224: PUSH1 0x00 00001226: PUSH2 0x122d 00001229: PUSH2 0x1a25 0000122c: JUMP 0000122d: JUMPDEST 0000122e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001243: AND 00001244: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001259: AND 0000125a: DUP2 0000125b: MSTORE 0000125c: PUSH1 0x20 0000125e: ADD 0000125f: SWAP1 00001260: DUP2 00001261: MSTORE 00001262: PUSH1 0x20 00001264: ADD 00001265: PUSH1 0x00 00001267: KECCAK256 00001268: PUSH1 0x00 0000126a: DUP5 0000126b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001280: AND 00001281: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001296: AND 00001297: DUP2 00001298: MSTORE 00001299: PUSH1 0x20 0000129b: ADD 0000129c: SWAP1 0000129d: DUP2 0000129e: MSTORE 0000129f: PUSH1 0x20 000012a1: ADD 000012a2: PUSH1 0x00 000012a4: KECCAK256 000012a5: PUSH1 0x00 000012a7: PUSH2 0x0100 000012aa: EXP 000012ab: DUP2 000012ac: SLOAD 000012ad: DUP2 000012ae: PUSH1 0xff 000012b0: MUL 000012b1: NOT 000012b2: AND 000012b3: SWAP1 000012b4: DUP4 000012b5: ISZERO 000012b6: ISZERO 000012b7: MUL 000012b8: OR 000012b9: SWAP1 000012ba: SSTORE 000012bb: POP 000012bc: DUP2 000012bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012d2: AND 000012d3: PUSH2 0x12da 000012d6: PUSH2 0x1a25 000012d9: JUMP 000012da: JUMPDEST 000012db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012f0: AND 000012f1: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31 00001312: DUP4 00001313: PUSH1 0x40 00001315: MLOAD 00001316: PUSH2 0x131f 00001319: SWAP2 0000131a: SWAP1 0000131b: PUSH2 0x2ca5 0000131e: JUMP 0000131f: JUMPDEST 00001320: PUSH1 0x40 00001322: MLOAD 00001323: DUP1 00001324: SWAP2 00001325: SUB 00001326: SWAP1 00001327: LOG3 00001328: POP 00001329: POP 0000132a: JUMP 0000132b: JUMPDEST 0000132c: PUSH1 0x00 0000132e: PUSH2 0x1335 00001331: PUSH2 0x1ddc 00001334: JUMP 00001335: JUMPDEST 00001336: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000134b: AND 0000134c: PUSH2 0x1353 0000134f: PUSH2 0x0f04 00001352: JUMP 00001353: JUMPDEST 00001354: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001369: AND 0000136a: EQ 0000136b: PUSH2 0x13a9 0000136e: JUMPI 0000136f: PUSH1 0x40 00001371: MLOAD 00001372: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001393: DUP2 00001394: MSTORE 00001395: PUSH1 0x04 00001397: ADD 00001398: PUSH2 0x13a0 0000139b: SWAP1 0000139c: PUSH2 0x2da2 0000139f: JUMP 000013a0: JUMPDEST 000013a1: PUSH1 0x40 000013a3: MLOAD 000013a4: DUP1 000013a5: SWAP2 000013a6: SUB 000013a7: SWAP1 000013a8: REVERT 000013a9: JUMPDEST 000013aa: DUP2 000013ab: PUSH1 0x0b 000013ad: DUP2 000013ae: SWAP1 000013af: SSTORE 000013b0: POP 000013b1: DUP2 000013b2: SWAP1 000013b3: POP 000013b4: SWAP2 000013b5: SWAP1 000013b6: POP 000013b7: JUMP 000013b8: JUMPDEST 000013b9: PUSH2 0x13c3 000013bc: DUP5 000013bd: DUP5 000013be: DUP5 000013bf: PUSH2 0x1a32 000013c2: JUMP 000013c3: JUMPDEST 000013c4: PUSH1 0x00 000013c6: DUP4 000013c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013dc: AND 000013dd: EXTCODESIZE 000013de: EQ 000013df: PUSH2 0x1425 000013e2: JUMPI 000013e3: PUSH2 0x13ee 000013e6: DUP5 000013e7: DUP5 000013e8: DUP5 000013e9: DUP5 000013ea: PUSH2 0x202f 000013ed: JUMP 000013ee: JUMPDEST 000013ef: PUSH2 0x1424 000013f2: JUMPI 000013f3: PUSH1 0x40 000013f5: MLOAD 000013f6: PUSH32 0xd1a57ed600000000000000000000000000000000000000000000000000000000 00001417: DUP2 00001418: MSTORE 00001419: PUSH1 0x04 0000141b: ADD 0000141c: PUSH1 0x40 0000141e: MLOAD 0000141f: DUP1 00001420: SWAP2 00001421: SUB 00001422: SWAP1 00001423: REVERT 00001424: JUMPDEST 00001425: JUMPDEST 00001426: POP 00001427: POP 00001428: POP 00001429: POP 0000142a: JUMP 0000142b: JUMPDEST 0000142c: PUSH1 0x00 0000142e: DUP1 0000142f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001444: AND 00001445: DUP3 00001446: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000145b: AND 0000145c: EQ 0000145d: ISZERO 0000145e: PUSH2 0x149c 00001461: JUMPI 00001462: PUSH1 0x40 00001464: MLOAD 00001465: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001486: DUP2 00001487: MSTORE 00001488: PUSH1 0x04 0000148a: ADD 0000148b: PUSH2 0x1493 0000148e: SWAP1 0000148f: PUSH2 0x2d82 00001492: JUMP 00001493: JUMPDEST 00001494: PUSH1 0x40 00001496: MLOAD 00001497: DUP1 00001498: SWAP2 00001499: SUB 0000149a: SWAP1 0000149b: REVERT 0000149c: JUMPDEST 0000149d: PUSH2 0x14a5 000014a0: DUP3 000014a1: PUSH2 0x0d06 000014a4: JUMP 000014a5: JUMPDEST 000014a6: SWAP1 000014a7: POP 000014a8: SWAP2 000014a9: SWAP1 000014aa: POP 000014ab: JUMP 000014ac: JUMPDEST 000014ad: PUSH1 0x60 000014af: PUSH2 0x14b7 000014b2: DUP3 000014b3: PUSH2 0x18f8 000014b6: JUMP 000014b7: JUMPDEST 000014b8: PUSH2 0x14ed 000014bb: JUMPI 000014bc: PUSH1 0x40 000014be: MLOAD 000014bf: PUSH32 0xa14c4b5000000000000000000000000000000000000000000000000000000000 000014e0: DUP2 000014e1: MSTORE 000014e2: PUSH1 0x04 000014e4: ADD 000014e5: PUSH1 0x40 000014e7: MLOAD 000014e8: DUP1 000014e9: SWAP2 000014ea: SUB 000014eb: SWAP1 000014ec: REVERT 000014ed: JUMPDEST 000014ee: PUSH1 0x00 000014f0: PUSH2 0x14f7 000014f3: PUSH2 0x218f 000014f6: JUMP 000014f7: JUMPDEST 000014f8: SWAP1 000014f9: POP 000014fa: PUSH1 0x00 000014fc: DUP2 000014fd: MLOAD 000014fe: EQ 000014ff: ISZERO 00001500: PUSH2 0x1518 00001503: JUMPI 00001504: PUSH1 0x40 00001506: MLOAD 00001507: DUP1 00001508: PUSH1 0x20 0000150a: ADD 0000150b: PUSH1 0x40 0000150d: MSTORE 0000150e: DUP1 0000150f: PUSH1 0x00 00001511: DUP2 00001512: MSTORE 00001513: POP 00001514: PUSH2 0x1543 00001517: JUMP 00001518: JUMPDEST 00001519: DUP1 0000151a: PUSH2 0x1522 0000151d: DUP5 0000151e: PUSH2 0x2221 00001521: JUMP 00001522: JUMPDEST 00001523: PUSH1 0x40 00001525: MLOAD 00001526: PUSH1 0x20 00001528: ADD 00001529: PUSH2 0x1533 0000152c: SWAP3 0000152d: SWAP2 0000152e: SWAP1 0000152f: PUSH2 0x2bfa 00001532: JUMP 00001533: JUMPDEST 00001534: PUSH1 0x40 00001536: MLOAD 00001537: PUSH1 0x20 00001539: DUP2 0000153a: DUP4 0000153b: SUB 0000153c: SUB 0000153d: DUP2 0000153e: MSTORE 0000153f: SWAP1 00001540: PUSH1 0x40 00001542: MSTORE 00001543: JUMPDEST 00001544: SWAP2 00001545: POP 00001546: POP 00001547: SWAP2 00001548: SWAP1 00001549: POP 0000154a: JUMP 0000154b: JUMPDEST 0000154c: PUSH1 0x00 0000154e: PUSH2 0x1555 00001551: PUSH2 0x0f04 00001554: JUMP 00001555: JUMPDEST 00001556: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000156b: AND 0000156c: CALLER 0000156d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001582: AND 00001583: EQ 00001584: DUP1 00001585: PUSH2 0x15db 00001588: JUMPI 00001589: POP 0000158a: PUSH1 0x0a 0000158c: PUSH1 0x00 0000158e: SWAP1 0000158f: SLOAD 00001590: SWAP1 00001591: PUSH2 0x0100 00001594: EXP 00001595: SWAP1 00001596: DIV 00001597: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015ac: AND 000015ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015c2: AND 000015c3: CALLER 000015c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015d9: AND 000015da: EQ 000015db: JUMPDEST 000015dc: PUSH2 0x15e4 000015df: JUMPI 000015e0: PUSH1 0x00 000015e2: DUP1 000015e3: REVERT 000015e4: JUMPDEST 000015e5: PUSH1 0x00 000015e7: DUP3 000015e8: GT 000015e9: PUSH2 0x161b 000015ec: JUMPI 000015ed: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000160e: PUSH1 0x00 00001610: MSTORE 00001611: PUSH1 0x01 00001613: PUSH1 0x04 00001615: MSTORE 00001616: PUSH1 0x24 00001618: PUSH1 0x00 0000161a: REVERT 0000161b: JUMPDEST 0000161c: PUSH1 0x15 0000161e: DUP3 0000161f: LT 00001620: PUSH2 0x165e 00001623: JUMPI 00001624: PUSH1 0x40 00001626: MLOAD 00001627: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001648: DUP2 00001649: MSTORE 0000164a: PUSH1 0x04 0000164c: ADD 0000164d: PUSH2 0x1655 00001650: SWAP1 00001651: PUSH2 0x2ce2 00001654: JUMP 00001655: JUMPDEST 00001656: PUSH1 0x40 00001658: MLOAD 00001659: DUP1 0000165a: SWAP2 0000165b: SUB 0000165c: SWAP1 0000165d: REVERT 0000165e: JUMPDEST 0000165f: ORIGIN 00001660: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001675: AND 00001676: CALLER 00001677: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000168c: AND 0000168d: EQ 0000168e: PUSH2 0x16cc 00001691: JUMPI 00001692: PUSH1 0x40 00001694: MLOAD 00001695: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000016b6: DUP2 000016b7: MSTORE 000016b8: PUSH1 0x04 000016ba: ADD 000016bb: PUSH2 0x16c3 000016be: SWAP1 000016bf: PUSH2 0x2d42 000016c2: JUMP 000016c3: JUMPDEST 000016c4: PUSH1 0x40 000016c6: MLOAD 000016c7: DUP1 000016c8: SWAP2 000016c9: SUB 000016ca: SWAP1 000016cb: REVERT 000016cc: JUMPDEST 000016cd: PUSH32 0x0000000000000000000000000000000000000000000000000000000000002710 000016ee: DUP3 000016ef: PUSH2 0x16f6 000016f2: PUSH2 0x1ffe 000016f5: JUMP 000016f6: JUMPDEST 000016f7: PUSH2 0x1700 000016fa: SWAP2 000016fb: SWAP1 000016fc: PUSH2 0x2ea1 000016ff: JUMP 00001700: JUMPDEST 00001701: LT 00001702: PUSH2 0x1740 00001705: JUMPI 00001706: PUSH1 0x40 00001708: MLOAD 00001709: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000172a: DUP2 0000172b: MSTORE 0000172c: PUSH1 0x04 0000172e: ADD 0000172f: PUSH2 0x1737 00001732: SWAP1 00001733: PUSH2 0x2d02 00001736: JUMP 00001737: JUMPDEST 00001738: PUSH1 0x40 0000173a: MLOAD 0000173b: DUP1 0000173c: SWAP2 0000173d: SUB 0000173e: SWAP1 0000173f: REVERT 00001740: JUMPDEST 00001741: PUSH2 0x174a 00001744: DUP4 00001745: DUP4 00001746: PUSH2 0x2011 00001749: JUMP 0000174a: JUMPDEST 0000174b: PUSH2 0x1752 0000174e: PUSH2 0x1ffe 00001751: JUMP 00001752: JUMPDEST 00001753: SWAP1 00001754: POP 00001755: SWAP3 00001756: SWAP2 00001757: POP 00001758: POP 00001759: JUMP 0000175a: JUMPDEST 0000175b: PUSH1 0x00 0000175d: PUSH2 0x1765 00001760: DUP3 00001761: PUSH2 0x227b 00001764: JUMP 00001765: JUMPDEST 00001766: SWAP1 00001767: POP 00001768: SWAP2 00001769: SWAP1 0000176a: POP 0000176b: JUMP 0000176c: JUMPDEST 0000176d: PUSH1 0x00 0000176f: PUSH1 0x07 00001771: PUSH1 0x00 00001773: DUP5 00001774: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001789: AND 0000178a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000179f: AND 000017a0: DUP2 000017a1: MSTORE 000017a2: PUSH1 0x20 000017a4: ADD 000017a5: SWAP1 000017a6: DUP2 000017a7: MSTORE 000017a8: PUSH1 0x20 000017aa: ADD 000017ab: PUSH1 0x00 000017ad: KECCAK256 000017ae: PUSH1 0x00 000017b0: DUP4 000017b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017c6: AND 000017c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017dc: AND 000017dd: DUP2 000017de: MSTORE 000017df: PUSH1 0x20 000017e1: ADD 000017e2: SWAP1 000017e3: DUP2 000017e4: MSTORE 000017e5: PUSH1 0x20 000017e7: ADD 000017e8: PUSH1 0x00 000017ea: KECCAK256 000017eb: PUSH1 0x00 000017ed: SWAP1 000017ee: SLOAD 000017ef: SWAP1 000017f0: PUSH2 0x0100 000017f3: EXP 000017f4: SWAP1 000017f5: DIV 000017f6: PUSH1 0xff 000017f8: AND 000017f9: SWAP1 000017fa: POP 000017fb: SWAP3 000017fc: SWAP2 000017fd: POP 000017fe: POP 000017ff: JUMP 00001800: JUMPDEST 00001801: PUSH2 0x1808 00001804: PUSH2 0x1ddc 00001807: JUMP 00001808: JUMPDEST 00001809: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000181e: AND 0000181f: PUSH2 0x1826 00001822: PUSH2 0x0f04 00001825: JUMP 00001826: JUMPDEST 00001827: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000183c: AND 0000183d: EQ 0000183e: PUSH2 0x187c 00001841: JUMPI 00001842: PUSH1 0x40 00001844: MLOAD 00001845: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001866: DUP2 00001867: MSTORE 00001868: PUSH1 0x04 0000186a: ADD 0000186b: PUSH2 0x1873 0000186e: SWAP1 0000186f: PUSH2 0x2da2 00001872: JUMP 00001873: JUMPDEST 00001874: PUSH1 0x40 00001876: MLOAD 00001877: DUP1 00001878: SWAP2 00001879: SUB 0000187a: SWAP1 0000187b: REVERT 0000187c: JUMPDEST 0000187d: PUSH1 0x00 0000187f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001894: AND 00001895: DUP2 00001896: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018ab: AND 000018ac: EQ 000018ad: ISZERO 000018ae: PUSH2 0x18ec 000018b1: JUMPI 000018b2: PUSH1 0x40 000018b4: MLOAD 000018b5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000018d6: DUP2 000018d7: MSTORE 000018d8: PUSH1 0x04 000018da: ADD 000018db: PUSH2 0x18e3 000018de: SWAP1 000018df: PUSH2 0x2d22 000018e2: JUMP 000018e3: JUMPDEST 000018e4: PUSH1 0x40 000018e6: MLOAD 000018e7: DUP1 000018e8: SWAP2 000018e9: SUB 000018ea: SWAP1 000018eb: REVERT 000018ec: JUMPDEST 000018ed: PUSH2 0x18f5 000018f0: DUP2 000018f1: PUSH2 0x1f38 000018f4: JUMP 000018f5: JUMPDEST 000018f6: POP 000018f7: JUMP 000018f8: JUMPDEST 000018f9: PUSH1 0x00 000018fb: DUP2 000018fc: PUSH2 0x1903 000018ff: PUSH2 0x1a2d 00001902: JUMP 00001903: JUMPDEST 00001904: GT 00001905: ISZERO 00001906: DUP1 00001907: ISZERO 00001908: PUSH2 0x1912 0000190b: JUMPI 0000190c: POP 0000190d: PUSH1 0x00 0000190f: SLOAD 00001910: DUP3 00001911: LT 00001912: JUMPDEST 00001913: DUP1 00001914: ISZERO 00001915: PUSH2 0x1950 00001918: JUMPI 00001919: POP 0000191a: PUSH1 0x00 0000191c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000193a: PUSH1 0x04 0000193c: PUSH1 0x00 0000193e: DUP6 0000193f: DUP2 00001940: MSTORE 00001941: PUSH1 0x20 00001943: ADD 00001944: SWAP1 00001945: DUP2 00001946: MSTORE 00001947: PUSH1 0x20 00001949: ADD 0000194a: PUSH1 0x00 0000194c: KECCAK256 0000194d: SLOAD 0000194e: AND 0000194f: EQ 00001950: JUMPDEST 00001951: SWAP1 00001952: POP 00001953: SWAP2 00001954: SWAP1 00001955: POP 00001956: JUMP 00001957: JUMPDEST 00001958: PUSH1 0x00 0000195a: DUP1 0000195b: DUP3 0000195c: SWAP1 0000195d: POP 0000195e: DUP1 0000195f: PUSH2 0x1966 00001962: PUSH2 0x1a2d 00001965: JUMP 00001966: JUMPDEST 00001967: GT 00001968: PUSH2 0x19ee 0000196b: JUMPI 0000196c: PUSH1 0x00 0000196e: SLOAD 0000196f: DUP2 00001970: LT 00001971: ISZERO 00001972: PUSH2 0x19ed 00001975: JUMPI 00001976: PUSH1 0x00 00001978: PUSH1 0x04 0000197a: PUSH1 0x00 0000197c: DUP4 0000197d: DUP2 0000197e: MSTORE 0000197f: PUSH1 0x20 00001981: ADD 00001982: SWAP1 00001983: DUP2 00001984: MSTORE 00001985: PUSH1 0x20 00001987: ADD 00001988: PUSH1 0x00 0000198a: KECCAK256 0000198b: SLOAD 0000198c: SWAP1 0000198d: POP 0000198e: PUSH1 0x00 00001990: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000019ae: DUP3 000019af: AND 000019b0: EQ 000019b1: ISZERO 000019b2: PUSH2 0x19eb 000019b5: JUMPI 000019b6: JUMPDEST 000019b7: PUSH1 0x00 000019b9: DUP2 000019ba: EQ 000019bb: ISZERO 000019bc: PUSH2 0x19e1 000019bf: JUMPI 000019c0: PUSH1 0x04 000019c2: PUSH1 0x00 000019c4: DUP4 000019c5: PUSH1 0x01 000019c7: SWAP1 000019c8: SUB 000019c9: SWAP4 000019ca: POP 000019cb: DUP4 000019cc: DUP2 000019cd: MSTORE 000019ce: PUSH1 0x20 000019d0: ADD 000019d1: SWAP1 000019d2: DUP2 000019d3: MSTORE 000019d4: PUSH1 0x20 000019d6: ADD 000019d7: PUSH1 0x00 000019d9: KECCAK256 000019da: SLOAD 000019db: SWAP1 000019dc: POP 000019dd: PUSH2 0x19b6 000019e0: JUMP 000019e1: JUMPDEST 000019e2: DUP1 000019e3: SWAP3 000019e4: POP 000019e5: POP 000019e6: POP 000019e7: PUSH2 0x1a20 000019ea: JUMP 000019eb: JUMPDEST 000019ec: POP 000019ed: JUMPDEST 000019ee: JUMPDEST 000019ef: PUSH1 0x40 000019f1: MLOAD 000019f2: PUSH32 0xdf2d9b4200000000000000000000000000000000000000000000000000000000 00001a13: DUP2 00001a14: MSTORE 00001a15: PUSH1 0x04 00001a17: ADD 00001a18: PUSH1 0x40 00001a1a: MLOAD 00001a1b: DUP1 00001a1c: SWAP2 00001a1d: SUB 00001a1e: SWAP1 00001a1f: REVERT 00001a20: JUMPDEST 00001a21: SWAP2 00001a22: SWAP1 00001a23: POP 00001a24: JUMP 00001a25: JUMPDEST 00001a26: PUSH1 0x00 00001a28: CALLER 00001a29: SWAP1 00001a2a: POP 00001a2b: SWAP1 00001a2c: JUMP 00001a2d: JUMPDEST 00001a2e: PUSH1 0x00 00001a30: SWAP1 00001a31: JUMP 00001a32: JUMPDEST 00001a33: PUSH1 0x00 00001a35: PUSH2 0x1a3d 00001a38: DUP3 00001a39: PUSH2 0x1957 00001a3c: JUMP 00001a3d: JUMPDEST 00001a3e: SWAP1 00001a3f: POP 00001a40: DUP4 00001a41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a56: AND 00001a57: DUP2 00001a58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a6d: AND 00001a6e: EQ 00001a6f: PUSH2 0x1aa4 00001a72: JUMPI 00001a73: PUSH1 0x40 00001a75: MLOAD 00001a76: PUSH32 0xa114810000000000000000000000000000000000000000000000000000000000 00001a97: DUP2 00001a98: MSTORE 00001a99: PUSH1 0x04 00001a9b: ADD 00001a9c: PUSH1 0x40 00001a9e: MLOAD 00001a9f: DUP1 00001aa0: SWAP2 00001aa1: SUB 00001aa2: SWAP1 00001aa3: REVERT 00001aa4: JUMPDEST 00001aa5: PUSH1 0x00 00001aa7: DUP5 00001aa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001abd: AND 00001abe: PUSH2 0x1ac5 00001ac1: PUSH2 0x1a25 00001ac4: JUMP 00001ac5: JUMPDEST 00001ac6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001adb: AND 00001adc: EQ 00001add: DUP1 00001ade: PUSH2 0x1af4 00001ae1: JUMPI 00001ae2: POP 00001ae3: PUSH2 0x1af3 00001ae6: DUP6 00001ae7: PUSH2 0x1aee 00001aea: PUSH2 0x1a25 00001aed: JUMP 00001aee: JUMPDEST 00001aef: PUSH2 0x176c 00001af2: JUMP 00001af3: JUMPDEST 00001af4: JUMPDEST 00001af5: DUP1 00001af6: PUSH2 0x1b39 00001af9: JUMPI 00001afa: POP 00001afb: PUSH2 0x1b02 00001afe: PUSH2 0x1a25 00001b01: JUMP 00001b02: JUMPDEST 00001b03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b18: AND 00001b19: PUSH2 0x1b21 00001b1c: DUP5 00001b1d: PUSH2 0x0895 00001b20: JUMP 00001b21: JUMPDEST 00001b22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b37: AND 00001b38: EQ 00001b39: JUMPDEST 00001b3a: SWAP1 00001b3b: POP 00001b3c: DUP1 00001b3d: PUSH2 0x1b72 00001b40: JUMPI 00001b41: PUSH1 0x40 00001b43: MLOAD 00001b44: PUSH32 0x59c896be00000000000000000000000000000000000000000000000000000000 00001b65: DUP2 00001b66: MSTORE 00001b67: PUSH1 0x04 00001b69: ADD 00001b6a: PUSH1 0x40 00001b6c: MLOAD 00001b6d: DUP1 00001b6e: SWAP2 00001b6f: SUB 00001b70: SWAP1 00001b71: REVERT 00001b72: JUMPDEST 00001b73: PUSH1 0x00 00001b75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b8a: AND 00001b8b: DUP5 00001b8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ba1: AND 00001ba2: EQ 00001ba3: ISZERO 00001ba4: PUSH2 0x1bd9 00001ba7: JUMPI 00001ba8: PUSH1 0x40 00001baa: MLOAD 00001bab: PUSH32 0xea553b3400000000000000000000000000000000000000000000000000000000 00001bcc: DUP2 00001bcd: MSTORE 00001bce: PUSH1 0x04 00001bd0: ADD 00001bd1: PUSH1 0x40 00001bd3: MLOAD 00001bd4: DUP1 00001bd5: SWAP2 00001bd6: SUB 00001bd7: SWAP1 00001bd8: REVERT 00001bd9: JUMPDEST 00001bda: PUSH2 0x1be6 00001bdd: DUP6 00001bde: DUP6 00001bdf: DUP6 00001be0: PUSH1 0x01 00001be2: PUSH2 0x22d2 00001be5: JUMP 00001be6: JUMPDEST 00001be7: PUSH1 0x06 00001be9: PUSH1 0x00 00001beb: DUP5 00001bec: DUP2 00001bed: MSTORE 00001bee: PUSH1 0x20 00001bf0: ADD 00001bf1: SWAP1 00001bf2: DUP2 00001bf3: MSTORE 00001bf4: PUSH1 0x20 00001bf6: ADD 00001bf7: PUSH1 0x00 00001bf9: KECCAK256 00001bfa: PUSH1 0x00 00001bfc: PUSH2 0x0100 00001bff: EXP 00001c00: DUP2 00001c01: SLOAD 00001c02: SWAP1 00001c03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c18: MUL 00001c19: NOT 00001c1a: AND 00001c1b: SWAP1 00001c1c: SSTORE 00001c1d: PUSH1 0x05 00001c1f: PUSH1 0x00 00001c21: DUP7 00001c22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c37: AND 00001c38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c4d: AND 00001c4e: DUP2 00001c4f: MSTORE 00001c50: PUSH1 0x20 00001c52: ADD 00001c53: SWAP1 00001c54: DUP2 00001c55: MSTORE 00001c56: PUSH1 0x20 00001c58: ADD 00001c59: PUSH1 0x00 00001c5b: KECCAK256 00001c5c: PUSH1 0x00 00001c5e: DUP2 00001c5f: SLOAD 00001c60: PUSH1 0x01 00001c62: SWAP1 00001c63: SUB 00001c64: SWAP2 00001c65: SWAP1 00001c66: POP 00001c67: DUP2 00001c68: SWAP1 00001c69: SSTORE 00001c6a: POP 00001c6b: PUSH1 0x05 00001c6d: PUSH1 0x00 00001c6f: DUP6 00001c70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c85: AND 00001c86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c9b: AND 00001c9c: DUP2 00001c9d: MSTORE 00001c9e: PUSH1 0x20 00001ca0: ADD 00001ca1: SWAP1 00001ca2: DUP2 00001ca3: MSTORE 00001ca4: PUSH1 0x20 00001ca6: ADD 00001ca7: PUSH1 0x00 00001ca9: KECCAK256 00001caa: PUSH1 0x00 00001cac: DUP2 00001cad: SLOAD 00001cae: PUSH1 0x01 00001cb0: ADD 00001cb1: SWAP2 00001cb2: SWAP1 00001cb3: POP 00001cb4: DUP2 00001cb5: SWAP1 00001cb6: SSTORE 00001cb7: POP 00001cb8: PUSH29 0x0200000000000000000000000000000000000000000000000000000000 00001cd6: PUSH1 0xa0 00001cd8: TIMESTAMP 00001cd9: SWAP1 00001cda: SHL 00001cdb: PUSH2 0x1ce3 00001cde: DUP7 00001cdf: PUSH2 0x22d8 00001ce2: JUMP 00001ce3: JUMPDEST 00001ce4: OR 00001ce5: OR 00001ce6: PUSH1 0x04 00001ce8: PUSH1 0x00 00001cea: DUP6 00001ceb: DUP2 00001cec: MSTORE 00001ced: PUSH1 0x20 00001cef: ADD 00001cf0: SWAP1 00001cf1: DUP2 00001cf2: MSTORE 00001cf3: PUSH1 0x20 00001cf5: ADD 00001cf6: PUSH1 0x00 00001cf8: KECCAK256 00001cf9: DUP2 00001cfa: SWAP1 00001cfb: SSTORE 00001cfc: POP 00001cfd: PUSH1 0x00 00001cff: PUSH29 0x0200000000000000000000000000000000000000000000000000000000 00001d1d: DUP4 00001d1e: AND 00001d1f: EQ 00001d20: ISZERO 00001d21: PUSH2 0x1d6d 00001d24: JUMPI 00001d25: PUSH1 0x00 00001d27: PUSH1 0x01 00001d29: DUP5 00001d2a: ADD 00001d2b: SWAP1 00001d2c: POP 00001d2d: PUSH1 0x00 00001d2f: PUSH1 0x04 00001d31: PUSH1 0x00 00001d33: DUP4 00001d34: DUP2 00001d35: MSTORE 00001d36: PUSH1 0x20 00001d38: ADD 00001d39: SWAP1 00001d3a: DUP2 00001d3b: MSTORE 00001d3c: PUSH1 0x20 00001d3e: ADD 00001d3f: PUSH1 0x00 00001d41: KECCAK256 00001d42: SLOAD 00001d43: EQ 00001d44: ISZERO 00001d45: PUSH2 0x1d6b 00001d48: JUMPI 00001d49: PUSH1 0x00 00001d4b: SLOAD 00001d4c: DUP2 00001d4d: EQ 00001d4e: PUSH2 0x1d6a 00001d51: JUMPI 00001d52: DUP3 00001d53: PUSH1 0x04 00001d55: PUSH1 0x00 00001d57: DUP4 00001d58: DUP2 00001d59: MSTORE 00001d5a: PUSH1 0x20 00001d5c: ADD 00001d5d: SWAP1 00001d5e: DUP2 00001d5f: MSTORE 00001d60: PUSH1 0x20 00001d62: ADD 00001d63: PUSH1 0x00 00001d65: KECCAK256 00001d66: DUP2 00001d67: SWAP1 00001d68: SSTORE 00001d69: POP 00001d6a: JUMPDEST 00001d6b: JUMPDEST 00001d6c: POP 00001d6d: JUMPDEST 00001d6e: DUP3 00001d6f: DUP5 00001d70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d85: AND 00001d86: DUP7 00001d87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d9c: AND 00001d9d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001dbe: PUSH1 0x40 00001dc0: MLOAD 00001dc1: PUSH1 0x40 00001dc3: MLOAD 00001dc4: DUP1 00001dc5: SWAP2 00001dc6: SUB 00001dc7: SWAP1 00001dc8: LOG4 00001dc9: PUSH2 0x1dd5 00001dcc: DUP6 00001dcd: DUP6 00001dce: DUP6 00001dcf: PUSH1 0x01 00001dd1: PUSH2 0x22e2 00001dd4: JUMP 00001dd5: JUMPDEST 00001dd6: POP 00001dd7: POP 00001dd8: POP 00001dd9: POP 00001dda: POP 00001ddb: JUMP 00001ddc: JUMPDEST 00001ddd: PUSH1 0x00 00001ddf: CALLER 00001de0: SWAP1 00001de1: POP 00001de2: SWAP1 00001de3: JUMP 00001de4: JUMPDEST 00001de5: PUSH2 0x1dec 00001de8: PUSH2 0x1ddc 00001deb: JUMP 00001dec: JUMPDEST 00001ded: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e02: AND 00001e03: PUSH2 0x1e0a 00001e06: PUSH2 0x0f04 00001e09: JUMP 00001e0a: JUMPDEST 00001e0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e20: AND 00001e21: EQ 00001e22: PUSH2 0x1e60 00001e25: JUMPI 00001e26: PUSH1 0x40 00001e28: MLOAD 00001e29: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001e4a: DUP2 00001e4b: MSTORE 00001e4c: PUSH1 0x04 00001e4e: ADD 00001e4f: PUSH2 0x1e57 00001e52: SWAP1 00001e53: PUSH2 0x2da2 00001e56: JUMP 00001e57: JUMPDEST 00001e58: PUSH1 0x40 00001e5a: MLOAD 00001e5b: DUP1 00001e5c: SWAP2 00001e5d: SUB 00001e5e: SWAP1 00001e5f: REVERT 00001e60: JUMPDEST 00001e61: PUSH1 0x02 00001e63: PUSH1 0x09 00001e65: SLOAD 00001e66: EQ 00001e67: ISZERO 00001e68: PUSH2 0x1ea6 00001e6b: JUMPI 00001e6c: PUSH1 0x40 00001e6e: MLOAD 00001e6f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001e90: DUP2 00001e91: MSTORE 00001e92: PUSH1 0x04 00001e94: ADD 00001e95: PUSH2 0x1e9d 00001e98: SWAP1 00001e99: PUSH2 0x2dc2 00001e9c: JUMP 00001e9d: JUMPDEST 00001e9e: PUSH1 0x40 00001ea0: MLOAD 00001ea1: DUP1 00001ea2: SWAP2 00001ea3: SUB 00001ea4: SWAP1 00001ea5: REVERT 00001ea6: JUMPDEST 00001ea7: PUSH1 0x02 00001ea9: PUSH1 0x09 00001eab: DUP2 00001eac: SWAP1 00001ead: SSTORE 00001eae: POP 00001eaf: PUSH1 0x00 00001eb1: DUP3 00001eb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ec7: AND 00001ec8: DUP3 00001ec9: PUSH1 0x40 00001ecb: MLOAD 00001ecc: PUSH2 0x1ed4 00001ecf: SWAP1 00001ed0: PUSH2 0x2c29 00001ed3: JUMP 00001ed4: JUMPDEST 00001ed5: PUSH1 0x00 00001ed7: PUSH1 0x40 00001ed9: MLOAD 00001eda: DUP1 00001edb: DUP4 00001edc: SUB 00001edd: DUP2 00001ede: DUP6 00001edf: DUP8 00001ee0: GAS 00001ee1: CALL 00001ee2: SWAP3 00001ee3: POP 00001ee4: POP 00001ee5: POP 00001ee6: RETURNDATASIZE 00001ee7: DUP1 00001ee8: PUSH1 0x00 00001eea: DUP2 00001eeb: EQ 00001eec: PUSH2 0x1f11 00001eef: JUMPI 00001ef0: PUSH1 0x40 00001ef2: MLOAD 00001ef3: SWAP2 00001ef4: POP 00001ef5: PUSH1 0x1f 00001ef7: NOT 00001ef8: PUSH1 0x3f 00001efa: RETURNDATASIZE 00001efb: ADD 00001efc: AND 00001efd: DUP3 00001efe: ADD 00001eff: PUSH1 0x40 00001f01: MSTORE 00001f02: RETURNDATASIZE 00001f03: DUP3 00001f04: MSTORE 00001f05: RETURNDATASIZE 00001f06: PUSH1 0x00 00001f08: PUSH1 0x20 00001f0a: DUP5 00001f0b: ADD 00001f0c: RETURNDATACOPY 00001f0d: PUSH2 0x1f16 00001f10: JUMP 00001f11: JUMPDEST 00001f12: PUSH1 0x60 00001f14: SWAP2 00001f15: POP 00001f16: JUMPDEST 00001f17: POP 00001f18: POP 00001f19: SWAP1 00001f1a: POP 00001f1b: PUSH1 0x01 00001f1d: ISZERO 00001f1e: ISZERO 00001f1f: DUP2 00001f20: ISZERO 00001f21: ISZERO 00001f22: EQ 00001f23: PUSH2 0x1f2b 00001f26: JUMPI 00001f27: PUSH1 0x00 00001f29: DUP1 00001f2a: REVERT 00001f2b: JUMPDEST 00001f2c: POP 00001f2d: PUSH1 0x01 00001f2f: PUSH1 0x09 00001f31: DUP2 00001f32: SWAP1 00001f33: SSTORE 00001f34: POP 00001f35: POP 00001f36: POP 00001f37: JUMP 00001f38: JUMPDEST 00001f39: PUSH1 0x00 00001f3b: PUSH1 0x08 00001f3d: PUSH1 0x00 00001f3f: SWAP1 00001f40: SLOAD 00001f41: SWAP1 00001f42: PUSH2 0x0100 00001f45: EXP 00001f46: SWAP1 00001f47: DIV 00001f48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f5d: AND 00001f5e: SWAP1 00001f5f: POP 00001f60: DUP2 00001f61: PUSH1 0x08 00001f63: PUSH1 0x00 00001f65: PUSH2 0x0100 00001f68: EXP 00001f69: DUP2 00001f6a: SLOAD 00001f6b: DUP2 00001f6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f81: MUL 00001f82: NOT 00001f83: AND 00001f84: SWAP1 00001f85: DUP4 00001f86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f9b: AND 00001f9c: MUL 00001f9d: OR 00001f9e: SWAP1 00001f9f: SSTORE 00001fa0: POP 00001fa1: DUP2 00001fa2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fb7: AND 00001fb8: DUP2 00001fb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fce: AND 00001fcf: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001ff0: PUSH1 0x40 00001ff2: MLOAD 00001ff3: PUSH1 0x40 00001ff5: MLOAD 00001ff6: DUP1 00001ff7: SWAP2 00001ff8: SUB 00001ff9: SWAP1 00001ffa: LOG3 00001ffb: POP 00001ffc: POP 00001ffd: JUMP 00001ffe: JUMPDEST 00001fff: PUSH1 0x00 00002001: PUSH2 0x2008 00002004: PUSH2 0x1a2d 00002007: JUMP 00002008: JUMPDEST 00002009: PUSH1 0x00 0000200b: SLOAD 0000200c: SUB 0000200d: SWAP1 0000200e: POP 0000200f: SWAP1 00002010: JUMP 00002011: JUMPDEST 00002012: PUSH2 0x202b 00002015: DUP3 00002016: DUP3 00002017: PUSH1 0x40 00002019: MLOAD 0000201a: DUP1 0000201b: PUSH1 0x20 0000201d: ADD 0000201e: PUSH1 0x40 00002020: MSTORE 00002021: DUP1 00002022: PUSH1 0x00 00002024: DUP2 00002025: MSTORE 00002026: POP 00002027: PUSH2 0x22e8 0000202a: JUMP 0000202b: JUMPDEST 0000202c: POP 0000202d: POP 0000202e: JUMP 0000202f: JUMPDEST 00002030: PUSH1 0x00 00002032: DUP4 00002033: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002048: AND 00002049: PUSH4 0x150b7a02 0000204e: PUSH2 0x2055 00002051: PUSH2 0x1a25 00002054: JUMP 00002055: JUMPDEST 00002056: DUP8 00002057: DUP7 00002058: DUP7 00002059: PUSH1 0x40 0000205b: MLOAD 0000205c: DUP6 0000205d: PUSH4 0xffffffff 00002062: AND 00002063: PUSH1 0xe0 00002065: SHL 00002066: DUP2 00002067: MSTORE 00002068: PUSH1 0x04 0000206a: ADD 0000206b: PUSH2 0x2077 0000206e: SWAP5 0000206f: SWAP4 00002070: SWAP3 00002071: SWAP2 00002072: SWAP1 00002073: PUSH2 0x2c59 00002076: JUMP 00002077: JUMPDEST 00002078: PUSH1 0x20 0000207a: PUSH1 0x40 0000207c: MLOAD 0000207d: DUP1 0000207e: DUP4 0000207f: SUB 00002080: DUP2 00002081: PUSH1 0x00 00002083: DUP8 00002084: DUP1 00002085: EXTCODESIZE 00002086: ISZERO 00002087: DUP1 00002088: ISZERO 00002089: PUSH2 0x2091 0000208c: JUMPI 0000208d: PUSH1 0x00 0000208f: DUP1 00002090: REVERT 00002091: JUMPDEST 00002092: POP 00002093: GAS 00002094: CALL 00002095: SWAP3 00002096: POP 00002097: POP 00002098: POP 00002099: DUP1 0000209a: ISZERO 0000209b: PUSH2 0x20c2 0000209e: JUMPI 0000209f: POP 000020a0: PUSH1 0x40 000020a2: MLOAD 000020a3: RETURNDATASIZE 000020a4: PUSH1 0x1f 000020a6: NOT 000020a7: PUSH1 0x1f 000020a9: DUP3 000020aa: ADD 000020ab: AND 000020ac: DUP3 000020ad: ADD 000020ae: DUP1 000020af: PUSH1 0x40 000020b1: MSTORE 000020b2: POP 000020b3: DUP2 000020b4: ADD 000020b5: SWAP1 000020b6: PUSH2 0x20bf 000020b9: SWAP2 000020ba: SWAP1 000020bb: PUSH2 0x2935 000020be: JUMP 000020bf: JUMPDEST 000020c0: PUSH1 0x01 000020c2: JUMPDEST 000020c3: PUSH2 0x213c 000020c6: JUMPI 000020c7: RETURNDATASIZE 000020c8: DUP1 000020c9: PUSH1 0x00 000020cb: DUP2 000020cc: EQ 000020cd: PUSH2 0x20f2 000020d0: JUMPI 000020d1: PUSH1 0x40 000020d3: MLOAD 000020d4: SWAP2 000020d5: POP 000020d6: PUSH1 0x1f 000020d8: NOT 000020d9: PUSH1 0x3f 000020db: RETURNDATASIZE 000020dc: ADD 000020dd: AND 000020de: DUP3 000020df: ADD 000020e0: PUSH1 0x40 000020e2: MSTORE 000020e3: RETURNDATASIZE 000020e4: DUP3 000020e5: MSTORE 000020e6: RETURNDATASIZE 000020e7: PUSH1 0x00 000020e9: PUSH1 0x20 000020eb: DUP5 000020ec: ADD 000020ed: RETURNDATACOPY 000020ee: PUSH2 0x20f7 000020f1: JUMP 000020f2: JUMPDEST 000020f3: PUSH1 0x60 000020f5: SWAP2 000020f6: POP 000020f7: JUMPDEST 000020f8: POP 000020f9: PUSH1 0x00 000020fb: DUP2 000020fc: MLOAD 000020fd: EQ 000020fe: ISZERO 000020ff: PUSH2 0x2134 00002102: JUMPI 00002103: PUSH1 0x40 00002105: MLOAD 00002106: PUSH32 0xd1a57ed600000000000000000000000000000000000000000000000000000000 00002127: DUP2 00002128: MSTORE 00002129: PUSH1 0x04 0000212b: ADD 0000212c: PUSH1 0x40 0000212e: MLOAD 0000212f: DUP1 00002130: SWAP2 00002131: SUB 00002132: SWAP1 00002133: REVERT 00002134: JUMPDEST 00002135: DUP1 00002136: MLOAD 00002137: DUP2 00002138: PUSH1 0x20 0000213a: ADD 0000213b: REVERT 0000213c: JUMPDEST 0000213d: PUSH4 0x150b7a02 00002142: PUSH1 0xe0 00002144: SHL 00002145: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002162: NOT 00002163: AND 00002164: DUP2 00002165: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002182: NOT 00002183: AND 00002184: EQ 00002185: SWAP2 00002186: POP 00002187: POP 00002188: SWAP5 00002189: SWAP4 0000218a: POP 0000218b: POP 0000218c: POP 0000218d: POP 0000218e: JUMP 0000218f: JUMPDEST 00002190: PUSH1 0x60 00002192: PUSH1 0x0c 00002194: DUP1 00002195: SLOAD 00002196: PUSH2 0x219e 00002199: SWAP1 0000219a: PUSH2 0x303b 0000219d: JUMP 0000219e: JUMPDEST 0000219f: DUP1 000021a0: PUSH1 0x1f 000021a2: ADD 000021a3: PUSH1 0x20 000021a5: DUP1 000021a6: SWAP2 000021a7: DIV 000021a8: MUL 000021a9: PUSH1 0x20 000021ab: ADD 000021ac: PUSH1 0x40 000021ae: MLOAD 000021af: SWAP1 000021b0: DUP2 000021b1: ADD 000021b2: PUSH1 0x40 000021b4: MSTORE 000021b5: DUP1 000021b6: SWAP3 000021b7: SWAP2 000021b8: SWAP1 000021b9: DUP2 000021ba: DUP2 000021bb: MSTORE 000021bc: PUSH1 0x20 000021be: ADD 000021bf: DUP3 000021c0: DUP1 000021c1: SLOAD 000021c2: PUSH2 0x21ca 000021c5: SWAP1 000021c6: PUSH2 0x303b 000021c9: JUMP 000021ca: JUMPDEST 000021cb: DUP1 000021cc: ISZERO 000021cd: PUSH2 0x2217 000021d0: JUMPI 000021d1: DUP1 000021d2: PUSH1 0x1f 000021d4: LT 000021d5: PUSH2 0x21ec 000021d8: JUMPI 000021d9: PUSH2 0x0100 000021dc: DUP1 000021dd: DUP4 000021de: SLOAD 000021df: DIV 000021e0: MUL 000021e1: DUP4 000021e2: MSTORE 000021e3: SWAP2 000021e4: PUSH1 0x20 000021e6: ADD 000021e7: SWAP2 000021e8: PUSH2 0x2217 000021eb: JUMP 000021ec: JUMPDEST 000021ed: DUP3 000021ee: ADD 000021ef: SWAP2 000021f0: SWAP1 000021f1: PUSH1 0x00 000021f3: MSTORE 000021f4: PUSH1 0x20 000021f6: PUSH1 0x00 000021f8: KECCAK256 000021f9: SWAP1 000021fa: JUMPDEST 000021fb: DUP2 000021fc: SLOAD 000021fd: DUP2 000021fe: MSTORE 000021ff: SWAP1 00002200: PUSH1 0x01 00002202: ADD 00002203: SWAP1 00002204: PUSH1 0x20 00002206: ADD 00002207: DUP1 00002208: DUP4 00002209: GT 0000220a: PUSH2 0x21fa 0000220d: JUMPI 0000220e: DUP3 0000220f: SWAP1 00002210: SUB 00002211: PUSH1 0x1f 00002213: AND 00002214: DUP3 00002215: ADD 00002216: SWAP2 00002217: JUMPDEST 00002218: POP 00002219: POP 0000221a: POP 0000221b: POP 0000221c: POP 0000221d: SWAP1 0000221e: POP 0000221f: SWAP1 00002220: JUMP 00002221: JUMPDEST 00002222: PUSH1 0x60 00002224: PUSH1 0x80 00002226: PUSH1 0x40 00002228: MLOAD 00002229: ADD 0000222a: SWAP1 0000222b: POP 0000222c: DUP1 0000222d: PUSH1 0x40 0000222f: MSTORE 00002230: DUP1 00002231: DUP3 00002232: PUSH1 0x01 00002234: DUP4 00002235: SUB 00002236: SWAP3 00002237: POP 00002238: PUSH1 0x0a 0000223a: DUP2 0000223b: MOD 0000223c: PUSH1 0x30 0000223e: ADD 0000223f: DUP4 00002240: MSTORE8 00002241: PUSH1 0x0a 00002243: DUP2 00002244: DIV 00002245: SWAP1 00002246: POP 00002247: JUMPDEST 00002248: DUP1 00002249: ISZERO 0000224a: PUSH2 0x2267 0000224d: JUMPI 0000224e: PUSH1 0x01 00002250: DUP4 00002251: SUB 00002252: SWAP3 00002253: POP 00002254: PUSH1 0x0a 00002256: DUP2 00002257: MOD 00002258: PUSH1 0x30 0000225a: ADD 0000225b: DUP4 0000225c: MSTORE8 0000225d: PUSH1 0x0a 0000225f: DUP2 00002260: DIV 00002261: SWAP1 00002262: POP 00002263: PUSH2 0x2247 00002266: JUMP 00002267: JUMPDEST 00002268: POP 00002269: DUP2 0000226a: DUP2 0000226b: SUB 0000226c: PUSH1 0x20 0000226e: DUP4 0000226f: SUB 00002270: SWAP3 00002271: POP 00002272: DUP1 00002273: DUP4 00002274: MSTORE 00002275: POP 00002276: POP 00002277: SWAP2 00002278: SWAP1 00002279: POP 0000227a: JUMP 0000227b: JUMPDEST 0000227c: PUSH1 0x00 0000227e: PUSH8 0xffffffffffffffff 00002287: PUSH1 0x40 00002289: PUSH1 0x05 0000228b: PUSH1 0x00 0000228d: DUP6 0000228e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022a3: AND 000022a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022b9: AND 000022ba: DUP2 000022bb: MSTORE 000022bc: PUSH1 0x20 000022be: ADD 000022bf: SWAP1 000022c0: DUP2 000022c1: MSTORE 000022c2: PUSH1 0x20 000022c4: ADD 000022c5: PUSH1 0x00 000022c7: KECCAK256 000022c8: SLOAD 000022c9: SWAP1 000022ca: SHR 000022cb: AND 000022cc: SWAP1 000022cd: POP 000022ce: SWAP2 000022cf: SWAP1 000022d0: POP 000022d1: JUMP 000022d2: JUMPDEST 000022d3: POP 000022d4: POP 000022d5: POP 000022d6: POP 000022d7: JUMP 000022d8: JUMPDEST 000022d9: PUSH1 0x00 000022db: DUP2 000022dc: SWAP1 000022dd: POP 000022de: SWAP2 000022df: SWAP1 000022e0: POP 000022e1: JUMP 000022e2: JUMPDEST 000022e3: POP 000022e4: POP 000022e5: POP 000022e6: POP 000022e7: JUMP 000022e8: JUMPDEST 000022e9: PUSH1 0x00 000022eb: DUP1 000022ec: SLOAD 000022ed: SWAP1 000022ee: POP 000022ef: PUSH1 0x00 000022f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002306: AND 00002307: DUP5 00002308: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000231d: AND 0000231e: EQ 0000231f: ISZERO 00002320: PUSH2 0x2355 00002323: JUMPI 00002324: PUSH1 0x40 00002326: MLOAD 00002327: PUSH32 0x2e07630000000000000000000000000000000000000000000000000000000000 00002348: DUP2 00002349: MSTORE 0000234a: PUSH1 0x04 0000234c: ADD 0000234d: PUSH1 0x40 0000234f: MLOAD 00002350: DUP1 00002351: SWAP2 00002352: SUB 00002353: SWAP1 00002354: REVERT 00002355: JUMPDEST 00002356: PUSH1 0x00 00002358: DUP4 00002359: EQ 0000235a: ISZERO 0000235b: PUSH2 0x2390 0000235e: JUMPI 0000235f: PUSH1 0x40 00002361: MLOAD 00002362: PUSH32 0xb562e8dd00000000000000000000000000000000000000000000000000000000 00002383: DUP2 00002384: MSTORE 00002385: PUSH1 0x04 00002387: ADD 00002388: PUSH1 0x40 0000238a: MLOAD 0000238b: DUP1 0000238c: SWAP2 0000238d: SUB 0000238e: SWAP1 0000238f: REVERT 00002390: JUMPDEST 00002391: PUSH2 0x239d 00002394: PUSH1 0x00 00002396: DUP6 00002397: DUP4 00002398: DUP7 00002399: PUSH2 0x22d2 0000239c: JUMP 0000239d: JUMPDEST 0000239e: PUSH1 0x01 000023a0: PUSH1 0x40 000023a2: PUSH1 0x01 000023a4: SWAP1 000023a5: SHL 000023a6: OR 000023a7: DUP4 000023a8: MUL 000023a9: PUSH1 0x05 000023ab: PUSH1 0x00 000023ad: DUP7 000023ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023c3: AND 000023c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023d9: AND 000023da: DUP2 000023db: MSTORE 000023dc: PUSH1 0x20 000023de: ADD 000023df: SWAP1 000023e0: DUP2 000023e1: MSTORE 000023e2: PUSH1 0x20 000023e4: ADD 000023e5: PUSH1 0x00 000023e7: KECCAK256 000023e8: PUSH1 0x00 000023ea: DUP3 000023eb: DUP3 000023ec: SLOAD 000023ed: ADD 000023ee: SWAP3 000023ef: POP 000023f0: POP 000023f1: DUP2 000023f2: SWAP1 000023f3: SSTORE 000023f4: POP 000023f5: PUSH1 0xe1 000023f7: PUSH2 0x2402 000023fa: PUSH1 0x01 000023fc: DUP6 000023fd: EQ 000023fe: PUSH2 0x259d 00002401: JUMP 00002402: JUMPDEST 00002403: SWAP1 00002404: SHL 00002405: PUSH1 0xa0 00002407: TIMESTAMP 00002408: SWAP1 00002409: SHL 0000240a: PUSH2 0x2412 0000240d: DUP7 0000240e: PUSH2 0x22d8 00002411: JUMP 00002412: JUMPDEST 00002413: OR 00002414: OR 00002415: PUSH1 0x04 00002417: PUSH1 0x00 00002419: DUP4 0000241a: DUP2 0000241b: MSTORE 0000241c: PUSH1 0x20 0000241e: ADD 0000241f: SWAP1 00002420: DUP2 00002421: MSTORE 00002422: PUSH1 0x20 00002424: ADD 00002425: PUSH1 0x00 00002427: KECCAK256 00002428: DUP2 00002429: SWAP1 0000242a: SSTORE 0000242b: POP 0000242c: PUSH1 0x00 0000242e: DUP2 0000242f: SWAP1 00002430: POP 00002431: PUSH1 0x00 00002433: DUP5 00002434: DUP3 00002435: ADD 00002436: SWAP1 00002437: POP 00002438: PUSH1 0x00 0000243a: DUP7 0000243b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002450: AND 00002451: EXTCODESIZE 00002452: EQ 00002453: PUSH2 0x2516 00002456: JUMPI 00002457: JUMPDEST 00002458: DUP2 00002459: DUP7 0000245a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000246f: AND 00002470: PUSH1 0x00 00002472: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002487: AND 00002488: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000024a9: PUSH1 0x40 000024ab: MLOAD 000024ac: PUSH1 0x40 000024ae: MLOAD 000024af: DUP1 000024b0: SWAP2 000024b1: SUB 000024b2: SWAP1 000024b3: LOG4 000024b4: PUSH2 0x24c6 000024b7: PUSH1 0x00 000024b9: DUP8 000024ba: DUP5 000024bb: DUP1 000024bc: PUSH1 0x01 000024be: ADD 000024bf: SWAP6 000024c0: POP 000024c1: DUP8 000024c2: PUSH2 0x202f 000024c5: JUMP 000024c6: JUMPDEST 000024c7: PUSH2 0x24fc 000024ca: JUMPI 000024cb: PUSH1 0x40 000024cd: MLOAD 000024ce: PUSH32 0xd1a57ed600000000000000000000000000000000000000000000000000000000 000024ef: DUP2 000024f0: MSTORE 000024f1: PUSH1 0x04 000024f3: ADD 000024f4: PUSH1 0x40 000024f6: MLOAD 000024f7: DUP1 000024f8: SWAP2 000024f9: SUB 000024fa: SWAP1 000024fb: REVERT 000024fc: JUMPDEST 000024fd: DUP1 000024fe: DUP3 000024ff: LT 00002500: PUSH2 0x2457 00002503: JUMPI 00002504: DUP3 00002505: PUSH1 0x00 00002507: SLOAD 00002508: EQ 00002509: PUSH2 0x2511 0000250c: JUMPI 0000250d: PUSH1 0x00 0000250f: DUP1 00002510: REVERT 00002511: JUMPDEST 00002512: PUSH2 0x2581 00002515: JUMP 00002516: JUMPDEST 00002517: JUMPDEST 00002518: DUP2 00002519: DUP1 0000251a: PUSH1 0x01 0000251c: ADD 0000251d: SWAP3 0000251e: POP 0000251f: DUP7 00002520: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002535: AND 00002536: PUSH1 0x00 00002538: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000254d: AND 0000254e: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000256f: PUSH1 0x40 00002571: MLOAD 00002572: PUSH1 0x40 00002574: MLOAD 00002575: DUP1 00002576: SWAP2 00002577: SUB 00002578: SWAP1 00002579: LOG4 0000257a: DUP1 0000257b: DUP3 0000257c: LT 0000257d: PUSH2 0x2517 00002580: JUMPI 00002581: JUMPDEST 00002582: DUP2 00002583: PUSH1 0x00 00002585: DUP2 00002586: SWAP1 00002587: SSTORE 00002588: POP 00002589: POP 0000258a: POP 0000258b: PUSH2 0x2597 0000258e: PUSH1 0x00 00002590: DUP6 00002591: DUP4 00002592: DUP7 00002593: PUSH2 0x22e2 00002596: JUMP 00002597: JUMPDEST 00002598: POP 00002599: POP 0000259a: POP 0000259b: POP 0000259c: JUMP 0000259d: JUMPDEST 0000259e: PUSH1 0x00 000025a0: DUP2 000025a1: SWAP1 000025a2: POP 000025a3: SWAP2 000025a4: SWAP1 000025a5: POP 000025a6: JUMP 000025a7: JUMPDEST 000025a8: DUP3 000025a9: DUP1 000025aa: SLOAD 000025ab: PUSH2 0x25b3 000025ae: SWAP1 000025af: PUSH2 0x303b 000025b2: JUMP 000025b3: JUMPDEST 000025b4: SWAP1 000025b5: PUSH1 0x00 000025b7: MSTORE 000025b8: PUSH1 0x20 000025ba: PUSH1 0x00 000025bc: KECCAK256 000025bd: SWAP1 000025be: PUSH1 0x1f 000025c0: ADD 000025c1: PUSH1 0x20 000025c3: SWAP1 000025c4: DIV 000025c5: DUP2 000025c6: ADD 000025c7: SWAP3 000025c8: DUP3 000025c9: PUSH2 0x25d5 000025cc: JUMPI 000025cd: PUSH1 0x00 000025cf: DUP6 000025d0: SSTORE 000025d1: PUSH2 0x261c 000025d4: JUMP 000025d5: JUMPDEST 000025d6: DUP3 000025d7: PUSH1 0x1f 000025d9: LT 000025da: PUSH2 0x25ee 000025dd: JUMPI 000025de: DUP1 000025df: CALLDATALOAD 000025e0: PUSH1 0xff 000025e2: NOT 000025e3: AND 000025e4: DUP4 000025e5: DUP1 000025e6: ADD 000025e7: OR 000025e8: DUP6 000025e9: SSTORE 000025ea: PUSH2 0x261c 000025ed: JUMP 000025ee: JUMPDEST 000025ef: DUP3 000025f0: DUP1 000025f1: ADD 000025f2: PUSH1 0x01 000025f4: ADD 000025f5: DUP6 000025f6: SSTORE 000025f7: DUP3 000025f8: ISZERO 000025f9: PUSH2 0x261c 000025fc: JUMPI 000025fd: SWAP2 000025fe: DUP3 000025ff: ADD 00002600: JUMPDEST 00002601: DUP3 00002602: DUP2 00002603: GT 00002604: ISZERO 00002605: PUSH2 0x261b 00002608: JUMPI 00002609: DUP3 0000260a: CALLDATALOAD 0000260b: DUP3 0000260c: SSTORE 0000260d: SWAP2 0000260e: PUSH1 0x20 00002610: ADD 00002611: SWAP2 00002612: SWAP1 00002613: PUSH1 0x01 00002615: ADD 00002616: SWAP1 00002617: PUSH2 0x2600 0000261a: JUMP 0000261b: JUMPDEST 0000261c: JUMPDEST 0000261d: POP 0000261e: SWAP1 0000261f: POP 00002620: PUSH2 0x2629 00002623: SWAP2 00002624: SWAP1 00002625: PUSH2 0x262d 00002628: JUMP 00002629: JUMPDEST 0000262a: POP 0000262b: SWAP1 0000262c: JUMP 0000262d: JUMPDEST 0000262e: JUMPDEST 0000262f: DUP1 00002630: DUP3 00002631: GT 00002632: ISZERO 00002633: PUSH2 0x2646 00002636: JUMPI 00002637: PUSH1 0x00 00002639: DUP2 0000263a: PUSH1 0x00 0000263c: SWAP1 0000263d: SSTORE 0000263e: POP 0000263f: PUSH1 0x01 00002641: ADD 00002642: PUSH2 0x262e 00002645: JUMP 00002646: JUMPDEST 00002647: POP 00002648: SWAP1 00002649: JUMP 0000264a: JUMPDEST 0000264b: PUSH1 0x00 0000264d: PUSH2 0x265d 00002650: PUSH2 0x2658 00002653: DUP5 00002654: PUSH2 0x2e22 00002657: JUMP 00002658: JUMPDEST 00002659: PUSH2 0x2dfd 0000265c: JUMP 0000265d: JUMPDEST 0000265e: SWAP1 0000265f: POP 00002660: DUP3 00002661: DUP2 00002662: MSTORE 00002663: PUSH1 0x20 00002665: DUP2 00002666: ADD 00002667: DUP5 00002668: DUP5 00002669: DUP5 0000266a: ADD 0000266b: GT 0000266c: ISZERO 0000266d: PUSH2 0x2675 00002670: JUMPI 00002671: PUSH1 0x00 00002673: DUP1 00002674: REVERT 00002675: JUMPDEST 00002676: PUSH2 0x2680 00002679: DUP5 0000267a: DUP3 0000267b: DUP6 0000267c: PUSH2 0x2ff9 0000267f: JUMP 00002680: JUMPDEST 00002681: POP 00002682: SWAP4 00002683: SWAP3 00002684: POP 00002685: POP 00002686: POP 00002687: JUMP 00002688: JUMPDEST 00002689: PUSH1 0x00 0000268b: DUP2 0000268c: CALLDATALOAD 0000268d: SWAP1 0000268e: POP 0000268f: PUSH2 0x2697 00002692: DUP2 00002693: PUSH2 0x32fc 00002696: JUMP 00002697: JUMPDEST 00002698: SWAP3 00002699: SWAP2 0000269a: POP 0000269b: POP 0000269c: JUMP 0000269d: JUMPDEST 0000269e: PUSH1 0x00 000026a0: DUP2 000026a1: CALLDATALOAD 000026a2: SWAP1 000026a3: POP 000026a4: PUSH2 0x26ac 000026a7: DUP2 000026a8: PUSH2 0x3313 000026ab: JUMP 000026ac: JUMPDEST 000026ad: SWAP3 000026ae: SWAP2 000026af: POP 000026b0: POP 000026b1: JUMP 000026b2: JUMPDEST 000026b3: PUSH1 0x00 000026b5: DUP2 000026b6: CALLDATALOAD 000026b7: SWAP1 000026b8: POP 000026b9: PUSH2 0x26c1 000026bc: DUP2 000026bd: PUSH2 0x332a 000026c0: JUMP 000026c1: JUMPDEST 000026c2: SWAP3 000026c3: SWAP2 000026c4: POP 000026c5: POP 000026c6: JUMP 000026c7: JUMPDEST 000026c8: PUSH1 0x00 000026ca: DUP2 000026cb: MLOAD 000026cc: SWAP1 000026cd: POP 000026ce: PUSH2 0x26d6 000026d1: DUP2 000026d2: PUSH2 0x332a 000026d5: JUMP 000026d6: JUMPDEST 000026d7: SWAP3 000026d8: SWAP2 000026d9: POP 000026da: POP 000026db: JUMP 000026dc: JUMPDEST 000026dd: PUSH1 0x00 000026df: DUP3 000026e0: PUSH1 0x1f 000026e2: DUP4 000026e3: ADD 000026e4: SLT 000026e5: PUSH2 0x26ed 000026e8: JUMPI 000026e9: PUSH1 0x00 000026eb: DUP1 000026ec: REVERT 000026ed: JUMPDEST 000026ee: DUP2 000026ef: CALLDATALOAD 000026f0: PUSH2 0x26fd 000026f3: DUP5 000026f4: DUP3 000026f5: PUSH1 0x20 000026f7: DUP7 000026f8: ADD 000026f9: PUSH2 0x264a 000026fc: JUMP 000026fd: JUMPDEST 000026fe: SWAP2 000026ff: POP 00002700: POP 00002701: SWAP3 00002702: SWAP2 00002703: POP 00002704: POP 00002705: JUMP 00002706: JUMPDEST 00002707: PUSH1 0x00 00002709: DUP1 0000270a: DUP4 0000270b: PUSH1 0x1f 0000270d: DUP5 0000270e: ADD 0000270f: SLT 00002710: PUSH2 0x2718 00002713: JUMPI 00002714: PUSH1 0x00 00002716: DUP1 00002717: REVERT 00002718: JUMPDEST 00002719: DUP3 0000271a: CALLDATALOAD 0000271b: SWAP1 0000271c: POP 0000271d: PUSH8 0xffffffffffffffff 00002726: DUP2 00002727: GT 00002728: ISZERO 00002729: PUSH2 0x2731 0000272c: JUMPI 0000272d: PUSH1 0x00 0000272f: DUP1 00002730: REVERT 00002731: JUMPDEST 00002732: PUSH1 0x20 00002734: DUP4 00002735: ADD 00002736: SWAP2 00002737: POP 00002738: DUP4 00002739: PUSH1 0x01 0000273b: DUP3 0000273c: MUL 0000273d: DUP4 0000273e: ADD 0000273f: GT 00002740: ISZERO 00002741: PUSH2 0x2749 00002744: JUMPI 00002745: PUSH1 0x00 00002747: DUP1 00002748: REVERT 00002749: JUMPDEST 0000274a: SWAP3 0000274b: POP 0000274c: SWAP3 0000274d: SWAP1 0000274e: POP 0000274f: JUMP 00002750: JUMPDEST 00002751: PUSH1 0x00 00002753: DUP2 00002754: CALLDATALOAD 00002755: SWAP1 00002756: POP 00002757: PUSH2 0x275f 0000275a: DUP2 0000275b: PUSH2 0x3341 0000275e: JUMP 0000275f: JUMPDEST 00002760: SWAP3 00002761: SWAP2 00002762: POP 00002763: POP 00002764: JUMP 00002765: JUMPDEST 00002766: PUSH1 0x00 00002768: PUSH1 0x20 0000276a: DUP3 0000276b: DUP5 0000276c: SUB 0000276d: SLT 0000276e: ISZERO 0000276f: PUSH2 0x2777 00002772: JUMPI 00002773: PUSH1 0x00 00002775: DUP1 00002776: REVERT 00002777: JUMPDEST 00002778: PUSH1 0x00 0000277a: PUSH2 0x2785 0000277d: DUP5 0000277e: DUP3 0000277f: DUP6 00002780: ADD 00002781: PUSH2 0x2688 00002784: JUMP 00002785: JUMPDEST 00002786: SWAP2 00002787: POP 00002788: POP 00002789: SWAP3 0000278a: SWAP2 0000278b: POP 0000278c: POP 0000278d: JUMP 0000278e: JUMPDEST 0000278f: PUSH1 0x00 00002791: DUP1 00002792: PUSH1 0x40 00002794: DUP4 00002795: DUP6 00002796: SUB 00002797: SLT 00002798: ISZERO 00002799: PUSH2 0x27a1 0000279c: JUMPI 0000279d: PUSH1 0x00 0000279f: DUP1 000027a0: REVERT 000027a1: JUMPDEST 000027a2: PUSH1 0x00 000027a4: PUSH2 0x27af 000027a7: DUP6 000027a8: DUP3 000027a9: DUP7 000027aa: ADD 000027ab: PUSH2 0x2688 000027ae: JUMP 000027af: JUMPDEST 000027b0: SWAP3 000027b1: POP 000027b2: POP 000027b3: PUSH1 0x20 000027b5: PUSH2 0x27c0 000027b8: DUP6 000027b9: DUP3 000027ba: DUP7 000027bb: ADD 000027bc: PUSH2 0x2688 000027bf: JUMP 000027c0: JUMPDEST 000027c1: SWAP2 000027c2: POP 000027c3: POP 000027c4: SWAP3 000027c5: POP 000027c6: SWAP3 000027c7: SWAP1 000027c8: POP 000027c9: JUMP 000027ca: JUMPDEST 000027cb: PUSH1 0x00 000027cd: DUP1 000027ce: PUSH1 0x00 000027d0: PUSH1 0x60 000027d2: DUP5 000027d3: DUP7 000027d4: SUB 000027d5: SLT 000027d6: ISZERO 000027d7: PUSH2 0x27df 000027da: JUMPI 000027db: PUSH1 0x00 000027dd: DUP1 000027de: REVERT 000027df: JUMPDEST 000027e0: PUSH1 0x00 000027e2: PUSH2 0x27ed 000027e5: DUP7 000027e6: DUP3 000027e7: DUP8 000027e8: ADD 000027e9: PUSH2 0x2688 000027ec: JUMP 000027ed: JUMPDEST 000027ee: SWAP4 000027ef: POP 000027f0: POP 000027f1: PUSH1 0x20 000027f3: PUSH2 0x27fe 000027f6: DUP7 000027f7: DUP3 000027f8: DUP8 000027f9: ADD 000027fa: PUSH2 0x2688 000027fd: JUMP 000027fe: JUMPDEST 000027ff: SWAP3 00002800: POP 00002801: POP 00002802: PUSH1 0x40 00002804: PUSH2 0x280f 00002807: DUP7 00002808: DUP3 00002809: DUP8 0000280a: ADD 0000280b: PUSH2 0x2750 0000280e: JUMP 0000280f: JUMPDEST 00002810: SWAP2 00002811: POP 00002812: POP 00002813: SWAP3 00002814: POP 00002815: SWAP3 00002816: POP 00002817: SWAP3 00002818: JUMP 00002819: JUMPDEST 0000281a: PUSH1 0x00 0000281c: DUP1 0000281d: PUSH1 0x00 0000281f: DUP1 00002820: PUSH1 0x80 00002822: DUP6 00002823: DUP8 00002824: SUB 00002825: SLT 00002826: ISZERO 00002827: PUSH2 0x282f 0000282a: JUMPI 0000282b: PUSH1 0x00 0000282d: DUP1 0000282e: REVERT 0000282f: JUMPDEST 00002830: PUSH1 0x00 00002832: PUSH2 0x283d 00002835: DUP8 00002836: DUP3 00002837: DUP9 00002838: ADD 00002839: PUSH2 0x2688 0000283c: JUMP 0000283d: JUMPDEST 0000283e: SWAP5 0000283f: POP 00002840: POP 00002841: PUSH1 0x20 00002843: PUSH2 0x284e 00002846: DUP8 00002847: DUP3 00002848: DUP9 00002849: ADD 0000284a: PUSH2 0x2688 0000284d: JUMP 0000284e: JUMPDEST 0000284f: SWAP4 00002850: POP 00002851: POP 00002852: PUSH1 0x40 00002854: PUSH2 0x285f 00002857: DUP8 00002858: DUP3 00002859: DUP9 0000285a: ADD 0000285b: PUSH2 0x2750 0000285e: JUMP 0000285f: JUMPDEST 00002860: SWAP3 00002861: POP 00002862: POP 00002863: PUSH1 0x60 00002865: DUP6 00002866: ADD 00002867: CALLDATALOAD 00002868: PUSH8 0xffffffffffffffff 00002871: DUP2 00002872: GT 00002873: ISZERO 00002874: PUSH2 0x287c 00002877: JUMPI 00002878: PUSH1 0x00 0000287a: DUP1 0000287b: REVERT 0000287c: JUMPDEST 0000287d: PUSH2 0x2888 00002880: DUP8 00002881: DUP3 00002882: DUP9 00002883: ADD 00002884: PUSH2 0x26dc 00002887: JUMP 00002888: JUMPDEST 00002889: SWAP2 0000288a: POP 0000288b: POP 0000288c: SWAP3 0000288d: SWAP6 0000288e: SWAP2 0000288f: SWAP5 00002890: POP 00002891: SWAP3 00002892: POP 00002893: JUMP 00002894: JUMPDEST 00002895: PUSH1 0x00 00002897: DUP1 00002898: PUSH1 0x40 0000289a: DUP4 0000289b: DUP6 0000289c: SUB 0000289d: SLT 0000289e: ISZERO 0000289f: PUSH2 0x28a7 000028a2: JUMPI 000028a3: PUSH1 0x00 000028a5: DUP1 000028a6: REVERT 000028a7: JUMPDEST 000028a8: PUSH1 0x00 000028aa: PUSH2 0x28b5 000028ad: DUP6 000028ae: DUP3 000028af: DUP7 000028b0: ADD 000028b1: PUSH2 0x2688 000028b4: JUMP 000028b5: JUMPDEST 000028b6: SWAP3 000028b7: POP 000028b8: POP 000028b9: PUSH1 0x20 000028bb: PUSH2 0x28c6 000028be: DUP6 000028bf: DUP3 000028c0: DUP7 000028c1: ADD 000028c2: PUSH2 0x269d 000028c5: JUMP 000028c6: JUMPDEST 000028c7: SWAP2 000028c8: POP 000028c9: POP 000028ca: SWAP3 000028cb: POP 000028cc: SWAP3 000028cd: SWAP1 000028ce: POP 000028cf: JUMP 000028d0: JUMPDEST 000028d1: PUSH1 0x00 000028d3: DUP1 000028d4: PUSH1 0x40 000028d6: DUP4 000028d7: DUP6 000028d8: SUB 000028d9: SLT 000028da: ISZERO 000028db: PUSH2 0x28e3 000028de: JUMPI 000028df: PUSH1 0x00 000028e1: DUP1 000028e2: REVERT 000028e3: JUMPDEST 000028e4: PUSH1 0x00 000028e6: PUSH2 0x28f1 000028e9: DUP6 000028ea: DUP3 000028eb: DUP7 000028ec: ADD 000028ed: PUSH2 0x2688 000028f0: JUMP 000028f1: JUMPDEST 000028f2: SWAP3 000028f3: POP 000028f4: POP 000028f5: PUSH1 0x20 000028f7: PUSH2 0x2902 000028fa: DUP6 000028fb: DUP3 000028fc: DUP7 000028fd: ADD 000028fe: PUSH2 0x2750 00002901: JUMP 00002902: JUMPDEST 00002903: SWAP2 00002904: POP 00002905: POP 00002906: SWAP3 00002907: POP 00002908: SWAP3 00002909: SWAP1 0000290a: POP 0000290b: JUMP 0000290c: JUMPDEST 0000290d: PUSH1 0x00 0000290f: PUSH1 0x20 00002911: DUP3 00002912: DUP5 00002913: SUB 00002914: SLT 00002915: ISZERO 00002916: PUSH2 0x291e 00002919: JUMPI 0000291a: PUSH1 0x00 0000291c: DUP1 0000291d: REVERT 0000291e: JUMPDEST 0000291f: PUSH1 0x00 00002921: PUSH2 0x292c 00002924: DUP5 00002925: DUP3 00002926: DUP6 00002927: ADD 00002928: PUSH2 0x26b2 0000292b: JUMP 0000292c: JUMPDEST 0000292d: SWAP2 0000292e: POP 0000292f: POP 00002930: SWAP3 00002931: SWAP2 00002932: POP 00002933: POP 00002934: JUMP 00002935: JUMPDEST 00002936: PUSH1 0x00 00002938: PUSH1 0x20 0000293a: DUP3 0000293b: DUP5 0000293c: SUB 0000293d: SLT 0000293e: ISZERO 0000293f: PUSH2 0x2947 00002942: JUMPI 00002943: PUSH1 0x00 00002945: DUP1 00002946: REVERT 00002947: JUMPDEST 00002948: PUSH1 0x00 0000294a: PUSH2 0x2955 0000294d: DUP5 0000294e: DUP3 0000294f: DUP6 00002950: ADD 00002951: PUSH2 0x26c7 00002954: JUMP 00002955: JUMPDEST 00002956: SWAP2 00002957: POP 00002958: POP 00002959: SWAP3 0000295a: SWAP2 0000295b: POP 0000295c: POP 0000295d: JUMP 0000295e: JUMPDEST 0000295f: PUSH1 0x00 00002961: DUP1 00002962: PUSH1 0x20 00002964: DUP4 00002965: DUP6 00002966: SUB 00002967: SLT 00002968: ISZERO 00002969: PUSH2 0x2971 0000296c: JUMPI 0000296d: PUSH1 0x00 0000296f: DUP1 00002970: REVERT 00002971: JUMPDEST 00002972: PUSH1 0x00 00002974: DUP4 00002975: ADD 00002976: CALLDATALOAD 00002977: PUSH8 0xffffffffffffffff 00002980: DUP2 00002981: GT 00002982: ISZERO 00002983: PUSH2 0x298b 00002986: JUMPI 00002987: PUSH1 0x00 00002989: DUP1 0000298a: REVERT 0000298b: JUMPDEST 0000298c: PUSH2 0x2997 0000298f: DUP6 00002990: DUP3 00002991: DUP7 00002992: ADD 00002993: PUSH2 0x2706 00002996: JUMP 00002997: JUMPDEST 00002998: SWAP3 00002999: POP 0000299a: SWAP3 0000299b: POP 0000299c: POP 0000299d: SWAP3 0000299e: POP 0000299f: SWAP3 000029a0: SWAP1 000029a1: POP 000029a2: JUMP 000029a3: JUMPDEST 000029a4: PUSH1 0x00 000029a6: PUSH1 0x20 000029a8: DUP3 000029a9: DUP5 000029aa: SUB 000029ab: SLT 000029ac: ISZERO 000029ad: PUSH2 0x29b5 000029b0: JUMPI 000029b1: PUSH1 0x00 000029b3: DUP1 000029b4: REVERT 000029b5: JUMPDEST 000029b6: PUSH1 0x00 000029b8: PUSH2 0x29c3 000029bb: DUP5 000029bc: DUP3 000029bd: DUP6 000029be: ADD 000029bf: PUSH2 0x2750 000029c2: JUMP 000029c3: JUMPDEST 000029c4: SWAP2 000029c5: POP 000029c6: POP 000029c7: SWAP3 000029c8: SWAP2 000029c9: POP 000029ca: POP 000029cb: JUMP 000029cc: JUMPDEST 000029cd: PUSH2 0x29d5 000029d0: DUP2 000029d1: PUSH2 0x2f85 000029d4: JUMP 000029d5: JUMPDEST 000029d6: DUP3 000029d7: MSTORE 000029d8: POP 000029d9: POP 000029da: JUMP 000029db: JUMPDEST 000029dc: PUSH2 0x29e4 000029df: DUP2 000029e0: PUSH2 0x2f97 000029e3: JUMP 000029e4: JUMPDEST 000029e5: DUP3 000029e6: MSTORE 000029e7: POP 000029e8: POP 000029e9: JUMP 000029ea: JUMPDEST 000029eb: PUSH1 0x00 000029ed: PUSH2 0x29f5 000029f0: DUP3 000029f1: PUSH2 0x2e53 000029f4: JUMP 000029f5: JUMPDEST 000029f6: PUSH2 0x29ff 000029f9: DUP2 000029fa: DUP6 000029fb: PUSH2 0x2e69 000029fe: JUMP 000029ff: JUMPDEST 00002a00: SWAP4 00002a01: POP 00002a02: PUSH2 0x2a0f 00002a05: DUP2 00002a06: DUP6 00002a07: PUSH1 0x20 00002a09: DUP7 00002a0a: ADD 00002a0b: PUSH2 0x3008 00002a0e: JUMP 00002a0f: JUMPDEST 00002a10: PUSH2 0x2a18 00002a13: DUP2 00002a14: PUSH2 0x312b 00002a17: JUMP 00002a18: JUMPDEST 00002a19: DUP5 00002a1a: ADD 00002a1b: SWAP2 00002a1c: POP 00002a1d: POP 00002a1e: SWAP3 00002a1f: SWAP2 00002a20: POP 00002a21: POP 00002a22: JUMP 00002a23: JUMPDEST 00002a24: PUSH1 0x00 00002a26: PUSH2 0x2a2e 00002a29: DUP3 00002a2a: PUSH2 0x2e5e 00002a2d: JUMP 00002a2e: JUMPDEST 00002a2f: PUSH2 0x2a38 00002a32: DUP2 00002a33: DUP6 00002a34: PUSH2 0x2e85 00002a37: JUMP 00002a38: JUMPDEST 00002a39: SWAP4 00002a3a: POP 00002a3b: PUSH2 0x2a48 00002a3e: DUP2 00002a3f: DUP6 00002a40: PUSH1 0x20 00002a42: DUP7 00002a43: ADD 00002a44: PUSH2 0x3008 00002a47: JUMP 00002a48: JUMPDEST 00002a49: PUSH2 0x2a51 00002a4c: DUP2 00002a4d: PUSH2 0x312b 00002a50: JUMP 00002a51: JUMPDEST 00002a52: DUP5 00002a53: ADD 00002a54: SWAP2 00002a55: POP 00002a56: POP 00002a57: SWAP3 00002a58: SWAP2 00002a59: POP 00002a5a: POP 00002a5b: JUMP 00002a5c: JUMPDEST 00002a5d: PUSH1 0x00 00002a5f: PUSH2 0x2a67 00002a62: DUP3 00002a63: PUSH2 0x2e5e 00002a66: JUMP 00002a67: JUMPDEST 00002a68: PUSH2 0x2a71 00002a6b: DUP2 00002a6c: DUP6 00002a6d: PUSH2 0x2e96 00002a70: JUMP 00002a71: JUMPDEST 00002a72: SWAP4 00002a73: POP 00002a74: PUSH2 0x2a81 00002a77: DUP2 00002a78: DUP6 00002a79: PUSH1 0x20 00002a7b: DUP7 00002a7c: ADD 00002a7d: PUSH2 0x3008 00002a80: JUMP 00002a81: JUMPDEST 00002a82: DUP1 00002a83: DUP5 00002a84: ADD 00002a85: SWAP2 00002a86: POP 00002a87: POP 00002a88: SWAP3 00002a89: SWAP2 00002a8a: POP 00002a8b: POP 00002a8c: JUMP 00002a8d: JUMPDEST 00002a8e: PUSH1 0x00 00002a90: PUSH2 0x2a9a 00002a93: PUSH1 0x1b 00002a95: DUP4 00002a96: PUSH2 0x2e85 00002a99: JUMP 00002a9a: JUMPDEST 00002a9b: SWAP2 00002a9c: POP 00002a9d: PUSH2 0x2aa5 00002aa0: DUP3 00002aa1: PUSH2 0x313c 00002aa4: JUMP 00002aa5: JUMPDEST 00002aa6: PUSH1 0x20 00002aa8: DUP3 00002aa9: ADD 00002aaa: SWAP1 00002aab: POP 00002aac: SWAP2 00002aad: SWAP1 00002aae: POP 00002aaf: JUMP 00002ab0: JUMPDEST 00002ab1: PUSH1 0x00 00002ab3: PUSH2 0x2abd 00002ab6: PUSH1 0x12 00002ab8: DUP4 00002ab9: PUSH2 0x2e85 00002abc: JUMP 00002abd: JUMPDEST 00002abe: SWAP2 00002abf: POP 00002ac0: PUSH2 0x2ac8 00002ac3: DUP3 00002ac4: PUSH2 0x3165 00002ac7: JUMP 00002ac8: JUMPDEST 00002ac9: PUSH1 0x20 00002acb: DUP3 00002acc: ADD 00002acd: SWAP1 00002ace: POP 00002acf: SWAP2 00002ad0: SWAP1 00002ad1: POP 00002ad2: JUMP 00002ad3: JUMPDEST 00002ad4: PUSH1 0x00 00002ad6: PUSH2 0x2ae0 00002ad9: PUSH1 0x26 00002adb: DUP4 00002adc: PUSH2 0x2e85 00002adf: JUMP 00002ae0: JUMPDEST 00002ae1: SWAP2 00002ae2: POP 00002ae3: PUSH2 0x2aeb 00002ae6: DUP3 00002ae7: PUSH2 0x318e 00002aea: JUMP 00002aeb: JUMPDEST 00002aec: PUSH1 0x40 00002aee: DUP3 00002aef: ADD 00002af0: SWAP1 00002af1: POP 00002af2: SWAP2 00002af3: SWAP1 00002af4: POP 00002af5: JUMP 00002af6: JUMPDEST 00002af7: PUSH1 0x00 00002af9: PUSH2 0x2b03 00002afc: PUSH1 0x0c 00002afe: DUP4 00002aff: PUSH2 0x2e85 00002b02: JUMP 00002b03: JUMPDEST 00002b04: SWAP2 00002b05: POP 00002b06: PUSH2 0x2b0e 00002b09: DUP3 00002b0a: PUSH2 0x31dd 00002b0d: JUMP 00002b0e: JUMPDEST 00002b0f: PUSH1 0x20 00002b11: DUP3 00002b12: ADD 00002b13: SWAP1 00002b14: POP 00002b15: SWAP2 00002b16: SWAP1 00002b17: POP 00002b18: JUMP 00002b19: JUMPDEST 00002b1a: PUSH1 0x00 00002b1c: PUSH2 0x2b26 00002b1f: PUSH1 0x12 00002b21: DUP4 00002b22: PUSH2 0x2e85 00002b25: JUMP 00002b26: JUMPDEST 00002b27: SWAP2 00002b28: POP 00002b29: PUSH2 0x2b31 00002b2c: DUP3 00002b2d: PUSH2 0x3206 00002b30: JUMP 00002b31: JUMPDEST 00002b32: PUSH1 0x20 00002b34: DUP3 00002b35: ADD 00002b36: SWAP1 00002b37: POP 00002b38: SWAP2 00002b39: SWAP1 00002b3a: POP 00002b3b: JUMP 00002b3c: JUMPDEST 00002b3d: PUSH1 0x00 00002b3f: PUSH2 0x2b49 00002b42: PUSH1 0x2b 00002b44: DUP4 00002b45: PUSH2 0x2e85 00002b48: JUMP 00002b49: JUMPDEST 00002b4a: SWAP2 00002b4b: POP 00002b4c: PUSH2 0x2b54 00002b4f: DUP3 00002b50: PUSH2 0x322f 00002b53: JUMP 00002b54: JUMPDEST 00002b55: PUSH1 0x40 00002b57: DUP3 00002b58: ADD 00002b59: SWAP1 00002b5a: POP 00002b5b: SWAP2 00002b5c: SWAP1 00002b5d: POP 00002b5e: JUMP 00002b5f: JUMPDEST 00002b60: PUSH1 0x00 00002b62: PUSH2 0x2b6c 00002b65: PUSH1 0x05 00002b67: DUP4 00002b68: PUSH2 0x2e96 00002b6b: JUMP 00002b6c: JUMPDEST 00002b6d: SWAP2 00002b6e: POP 00002b6f: PUSH2 0x2b77 00002b72: DUP3 00002b73: PUSH2 0x327e 00002b76: JUMP 00002b77: JUMPDEST 00002b78: PUSH1 0x05 00002b7a: DUP3 00002b7b: ADD 00002b7c: SWAP1 00002b7d: POP 00002b7e: SWAP2 00002b7f: SWAP1 00002b80: POP 00002b81: JUMP 00002b82: JUMPDEST 00002b83: PUSH1 0x00 00002b85: PUSH2 0x2b8f 00002b88: PUSH1 0x20 00002b8a: DUP4 00002b8b: PUSH2 0x2e85 00002b8e: JUMP 00002b8f: JUMPDEST 00002b90: SWAP2 00002b91: POP 00002b92: PUSH2 0x2b9a 00002b95: DUP3 00002b96: PUSH2 0x32a7 00002b99: JUMP 00002b9a: JUMPDEST 00002b9b: PUSH1 0x20 00002b9d: DUP3 00002b9e: ADD 00002b9f: SWAP1 00002ba0: POP 00002ba1: SWAP2 00002ba2: SWAP1 00002ba3: POP 00002ba4: JUMP 00002ba5: JUMPDEST 00002ba6: PUSH1 0x00 00002ba8: PUSH2 0x2bb2 00002bab: PUSH1 0x00 00002bad: DUP4 00002bae: PUSH2 0x2e7a 00002bb1: JUMP 00002bb2: JUMPDEST 00002bb3: SWAP2 00002bb4: POP 00002bb5: PUSH2 0x2bbd 00002bb8: DUP3 00002bb9: PUSH2 0x32d0 00002bbc: JUMP 00002bbd: JUMPDEST 00002bbe: PUSH1 0x00 00002bc0: DUP3 00002bc1: ADD 00002bc2: SWAP1 00002bc3: POP 00002bc4: SWAP2 00002bc5: SWAP1 00002bc6: POP 00002bc7: JUMP 00002bc8: JUMPDEST 00002bc9: PUSH1 0x00 00002bcb: PUSH2 0x2bd5 00002bce: PUSH1 0x1f 00002bd0: DUP4 00002bd1: PUSH2 0x2e85 00002bd4: JUMP 00002bd5: JUMPDEST 00002bd6: SWAP2 00002bd7: POP 00002bd8: PUSH2 0x2be0 00002bdb: DUP3 00002bdc: PUSH2 0x32d3 00002bdf: JUMP 00002be0: JUMPDEST 00002be1: PUSH1 0x20 00002be3: DUP3 00002be4: ADD 00002be5: SWAP1 00002be6: POP 00002be7: SWAP2 00002be8: SWAP1 00002be9: POP 00002bea: JUMP 00002beb: JUMPDEST 00002bec: PUSH2 0x2bf4 00002bef: DUP2 00002bf0: PUSH2 0x2fef 00002bf3: JUMP 00002bf4: JUMPDEST 00002bf5: DUP3 00002bf6: MSTORE 00002bf7: POP 00002bf8: POP 00002bf9: JUMP 00002bfa: JUMPDEST 00002bfb: PUSH1 0x00 00002bfd: PUSH2 0x2c06 00002c00: DUP3 00002c01: DUP6 00002c02: PUSH2 0x2a5c 00002c05: JUMP 00002c06: JUMPDEST 00002c07: SWAP2 00002c08: POP 00002c09: PUSH2 0x2c12 00002c0c: DUP3 00002c0d: DUP5 00002c0e: PUSH2 0x2a5c 00002c11: JUMP 00002c12: JUMPDEST 00002c13: SWAP2 00002c14: POP 00002c15: PUSH2 0x2c1d 00002c18: DUP3 00002c19: PUSH2 0x2b5f 00002c1c: JUMP 00002c1d: JUMPDEST 00002c1e: SWAP2 00002c1f: POP 00002c20: DUP2 00002c21: SWAP1 00002c22: POP 00002c23: SWAP4 00002c24: SWAP3 00002c25: POP 00002c26: POP 00002c27: POP 00002c28: JUMP 00002c29: JUMPDEST 00002c2a: PUSH1 0x00 00002c2c: PUSH2 0x2c34 00002c2f: DUP3 00002c30: PUSH2 0x2ba5 00002c33: JUMP 00002c34: JUMPDEST 00002c35: SWAP2 00002c36: POP 00002c37: DUP2 00002c38: SWAP1 00002c39: POP 00002c3a: SWAP2 00002c3b: SWAP1 00002c3c: POP 00002c3d: JUMP 00002c3e: JUMPDEST 00002c3f: PUSH1 0x00 00002c41: PUSH1 0x20 00002c43: DUP3 00002c44: ADD 00002c45: SWAP1 00002c46: POP 00002c47: PUSH2 0x2c53 00002c4a: PUSH1 0x00 00002c4c: DUP4 00002c4d: ADD 00002c4e: DUP5 00002c4f: PUSH2 0x29cc 00002c52: JUMP 00002c53: JUMPDEST 00002c54: SWAP3 00002c55: SWAP2 00002c56: POP 00002c57: POP 00002c58: JUMP 00002c59: JUMPDEST 00002c5a: PUSH1 0x00 00002c5c: PUSH1 0x80 00002c5e: DUP3 00002c5f: ADD 00002c60: SWAP1 00002c61: POP 00002c62: PUSH2 0x2c6e 00002c65: PUSH1 0x00 00002c67: DUP4 00002c68: ADD 00002c69: DUP8 00002c6a: PUSH2 0x29cc 00002c6d: JUMP 00002c6e: JUMPDEST 00002c6f: PUSH2 0x2c7b 00002c72: PUSH1 0x20 00002c74: DUP4 00002c75: ADD 00002c76: DUP7 00002c77: PUSH2 0x29cc 00002c7a: JUMP 00002c7b: JUMPDEST 00002c7c: PUSH2 0x2c88 00002c7f: PUSH1 0x40 00002c81: DUP4 00002c82: ADD 00002c83: DUP6 00002c84: PUSH2 0x2beb 00002c87: JUMP 00002c88: JUMPDEST 00002c89: DUP2 00002c8a: DUP2 00002c8b: SUB 00002c8c: PUSH1 0x60 00002c8e: DUP4 00002c8f: ADD 00002c90: MSTORE 00002c91: PUSH2 0x2c9a 00002c94: DUP2 00002c95: DUP5 00002c96: PUSH2 0x29ea 00002c99: JUMP 00002c9a: JUMPDEST 00002c9b: SWAP1 00002c9c: POP 00002c9d: SWAP6 00002c9e: SWAP5 00002c9f: POP 00002ca0: POP 00002ca1: POP 00002ca2: POP 00002ca3: POP 00002ca4: JUMP 00002ca5: JUMPDEST 00002ca6: PUSH1 0x00 00002ca8: PUSH1 0x20 00002caa: DUP3 00002cab: ADD 00002cac: SWAP1 00002cad: POP 00002cae: PUSH2 0x2cba 00002cb1: PUSH1 0x00 00002cb3: DUP4 00002cb4: ADD 00002cb5: DUP5 00002cb6: PUSH2 0x29db 00002cb9: JUMP 00002cba: JUMPDEST 00002cbb: SWAP3 00002cbc: SWAP2 00002cbd: POP 00002cbe: POP 00002cbf: JUMP 00002cc0: JUMPDEST 00002cc1: PUSH1 0x00 00002cc3: PUSH1 0x20 00002cc5: DUP3 00002cc6: ADD 00002cc7: SWAP1 00002cc8: POP 00002cc9: DUP2 00002cca: DUP2 00002ccb: SUB 00002ccc: PUSH1 0x00 00002cce: DUP4 00002ccf: ADD 00002cd0: MSTORE 00002cd1: PUSH2 0x2cda 00002cd4: DUP2 00002cd5: DUP5 00002cd6: PUSH2 0x2a23 00002cd9: JUMP 00002cda: JUMPDEST 00002cdb: SWAP1 00002cdc: POP 00002cdd: SWAP3 00002cde: SWAP2 00002cdf: POP 00002ce0: POP 00002ce1: JUMP 00002ce2: JUMPDEST 00002ce3: PUSH1 0x00 00002ce5: PUSH1 0x20 00002ce7: DUP3 00002ce8: ADD 00002ce9: SWAP1 00002cea: POP 00002ceb: DUP2 00002cec: DUP2 00002ced: SUB 00002cee: PUSH1 0x00 00002cf0: DUP4 00002cf1: ADD 00002cf2: MSTORE 00002cf3: PUSH2 0x2cfb 00002cf6: DUP2 00002cf7: PUSH2 0x2a8d 00002cfa: JUMP 00002cfb: JUMPDEST 00002cfc: SWAP1 00002cfd: POP 00002cfe: SWAP2 00002cff: SWAP1 00002d00: POP 00002d01: JUMP 00002d02: JUMPDEST 00002d03: PUSH1 0x00 00002d05: PUSH1 0x20 00002d07: DUP3 00002d08: ADD 00002d09: SWAP1 00002d0a: POP 00002d0b: DUP2 00002d0c: DUP2 00002d0d: SUB 00002d0e: PUSH1 0x00 00002d10: DUP4 00002d11: ADD 00002d12: MSTORE 00002d13: PUSH2 0x2d1b 00002d16: DUP2 00002d17: PUSH2 0x2ab0 00002d1a: JUMP 00002d1b: JUMPDEST 00002d1c: SWAP1 00002d1d: POP 00002d1e: SWAP2 00002d1f: SWAP1 00002d20: POP 00002d21: JUMP 00002d22: JUMPDEST 00002d23: PUSH1 0x00 00002d25: PUSH1 0x20 00002d27: DUP3 00002d28: ADD 00002d29: SWAP1 00002d2a: POP 00002d2b: DUP2 00002d2c: DUP2 00002d2d: SUB 00002d2e: PUSH1 0x00 00002d30: DUP4 00002d31: ADD 00002d32: MSTORE 00002d33: PUSH2 0x2d3b 00002d36: DUP2 00002d37: PUSH2 0x2ad3 00002d3a: JUMP 00002d3b: JUMPDEST 00002d3c: SWAP1 00002d3d: POP 00002d3e: SWAP2 00002d3f: SWAP1 00002d40: POP 00002d41: JUMP 00002d42: JUMPDEST 00002d43: PUSH1 0x00 00002d45: PUSH1 0x20 00002d47: DUP3 00002d48: ADD 00002d49: SWAP1 00002d4a: POP 00002d4b: DUP2 00002d4c: DUP2 00002d4d: SUB 00002d4e: PUSH1 0x00 00002d50: DUP4 00002d51: ADD 00002d52: MSTORE 00002d53: PUSH2 0x2d5b 00002d56: DUP2 00002d57: PUSH2 0x2af6 00002d5a: JUMP 00002d5b: JUMPDEST 00002d5c: SWAP1 00002d5d: POP 00002d5e: SWAP2 00002d5f: SWAP1 00002d60: POP 00002d61: JUMP 00002d62: JUMPDEST 00002d63: PUSH1 0x00 00002d65: PUSH1 0x20 00002d67: DUP3 00002d68: ADD 00002d69: SWAP1 00002d6a: POP 00002d6b: DUP2 00002d6c: DUP2 00002d6d: SUB 00002d6e: PUSH1 0x00 00002d70: DUP4 00002d71: ADD 00002d72: MSTORE 00002d73: PUSH2 0x2d7b 00002d76: DUP2 00002d77: PUSH2 0x2b19 00002d7a: JUMP 00002d7b: JUMPDEST 00002d7c: SWAP1 00002d7d: POP 00002d7e: SWAP2 00002d7f: SWAP1 00002d80: POP 00002d81: JUMP 00002d82: JUMPDEST 00002d83: PUSH1 0x00 00002d85: PUSH1 0x20 00002d87: DUP3 00002d88: ADD 00002d89: SWAP1 00002d8a: POP 00002d8b: DUP2 00002d8c: DUP2 00002d8d: SUB 00002d8e: PUSH1 0x00 00002d90: DUP4 00002d91: ADD 00002d92: MSTORE 00002d93: PUSH2 0x2d9b 00002d96: DUP2 00002d97: PUSH2 0x2b3c 00002d9a: JUMP 00002d9b: JUMPDEST 00002d9c: SWAP1 00002d9d: POP 00002d9e: SWAP2 00002d9f: SWAP1 00002da0: POP 00002da1: JUMP 00002da2: JUMPDEST 00002da3: PUSH1 0x00 00002da5: PUSH1 0x20 00002da7: DUP3 00002da8: ADD 00002da9: SWAP1 00002daa: POP 00002dab: DUP2 00002dac: DUP2 00002dad: SUB 00002dae: PUSH1 0x00 00002db0: DUP4 00002db1: ADD 00002db2: MSTORE 00002db3: PUSH2 0x2dbb 00002db6: DUP2 00002db7: PUSH2 0x2b82 00002dba: JUMP 00002dbb: JUMPDEST 00002dbc: SWAP1 00002dbd: POP 00002dbe: SWAP2 00002dbf: SWAP1 00002dc0: POP 00002dc1: JUMP 00002dc2: JUMPDEST 00002dc3: PUSH1 0x00 00002dc5: PUSH1 0x20 00002dc7: DUP3 00002dc8: ADD 00002dc9: SWAP1 00002dca: POP 00002dcb: DUP2 00002dcc: DUP2 00002dcd: SUB 00002dce: PUSH1 0x00 00002dd0: DUP4 00002dd1: ADD 00002dd2: MSTORE 00002dd3: PUSH2 0x2ddb 00002dd6: DUP2 00002dd7: PUSH2 0x2bc8 00002dda: JUMP 00002ddb: JUMPDEST 00002ddc: SWAP1 00002ddd: POP 00002dde: SWAP2 00002ddf: SWAP1 00002de0: POP 00002de1: JUMP 00002de2: JUMPDEST 00002de3: PUSH1 0x00 00002de5: PUSH1 0x20 00002de7: DUP3 00002de8: ADD 00002de9: SWAP1 00002dea: POP 00002deb: PUSH2 0x2df7 00002dee: PUSH1 0x00 00002df0: DUP4 00002df1: ADD 00002df2: DUP5 00002df3: PUSH2 0x2beb 00002df6: JUMP 00002df7: JUMPDEST 00002df8: SWAP3 00002df9: SWAP2 00002dfa: POP 00002dfb: POP 00002dfc: JUMP 00002dfd: JUMPDEST 00002dfe: PUSH1 0x00 00002e00: PUSH2 0x2e07 00002e03: PUSH2 0x2e18 00002e06: JUMP 00002e07: JUMPDEST 00002e08: SWAP1 00002e09: POP 00002e0a: PUSH2 0x2e13 00002e0d: DUP3 00002e0e: DUP3 00002e0f: PUSH2 0x306d 00002e12: JUMP 00002e13: JUMPDEST 00002e14: SWAP2 00002e15: SWAP1 00002e16: POP 00002e17: JUMP 00002e18: JUMPDEST 00002e19: PUSH1 0x00 00002e1b: PUSH1 0x40 00002e1d: MLOAD 00002e1e: SWAP1 00002e1f: POP 00002e20: SWAP1 00002e21: JUMP 00002e22: JUMPDEST 00002e23: PUSH1 0x00 00002e25: PUSH8 0xffffffffffffffff 00002e2e: DUP3 00002e2f: GT 00002e30: ISZERO 00002e31: PUSH2 0x2e3d 00002e34: JUMPI 00002e35: PUSH2 0x2e3c 00002e38: PUSH2 0x30fc 00002e3b: JUMP 00002e3c: JUMPDEST 00002e3d: JUMPDEST 00002e3e: PUSH2 0x2e46 00002e41: DUP3 00002e42: PUSH2 0x312b 00002e45: JUMP 00002e46: JUMPDEST 00002e47: SWAP1 00002e48: POP 00002e49: PUSH1 0x20 00002e4b: DUP2 00002e4c: ADD 00002e4d: SWAP1 00002e4e: POP 00002e4f: SWAP2 00002e50: SWAP1 00002e51: POP 00002e52: JUMP 00002e53: JUMPDEST 00002e54: PUSH1 0x00 00002e56: DUP2 00002e57: MLOAD 00002e58: SWAP1 00002e59: POP 00002e5a: SWAP2 00002e5b: SWAP1 00002e5c: POP 00002e5d: JUMP 00002e5e: JUMPDEST 00002e5f: PUSH1 0x00 00002e61: DUP2 00002e62: MLOAD 00002e63: SWAP1 00002e64: POP 00002e65: SWAP2 00002e66: SWAP1 00002e67: POP 00002e68: JUMP 00002e69: JUMPDEST 00002e6a: PUSH1 0x00 00002e6c: DUP3 00002e6d: DUP3 00002e6e: MSTORE 00002e6f: PUSH1 0x20 00002e71: DUP3 00002e72: ADD 00002e73: SWAP1 00002e74: POP 00002e75: SWAP3 00002e76: SWAP2 00002e77: POP 00002e78: POP 00002e79: JUMP 00002e7a: JUMPDEST 00002e7b: PUSH1 0x00 00002e7d: DUP2 00002e7e: SWAP1 00002e7f: POP 00002e80: SWAP3 00002e81: SWAP2 00002e82: POP 00002e83: POP 00002e84: JUMP 00002e85: JUMPDEST 00002e86: PUSH1 0x00 00002e88: DUP3 00002e89: DUP3 00002e8a: MSTORE 00002e8b: PUSH1 0x20 00002e8d: DUP3 00002e8e: ADD 00002e8f: SWAP1 00002e90: POP 00002e91: SWAP3 00002e92: SWAP2 00002e93: POP 00002e94: POP 00002e95: JUMP 00002e96: JUMPDEST 00002e97: PUSH1 0x00 00002e99: DUP2 00002e9a: SWAP1 00002e9b: POP 00002e9c: SWAP3 00002e9d: SWAP2 00002e9e: POP 00002e9f: POP 00002ea0: JUMP 00002ea1: JUMPDEST 00002ea2: PUSH1 0x00 00002ea4: PUSH2 0x2eac 00002ea7: DUP3 00002ea8: PUSH2 0x2fef 00002eab: JUMP 00002eac: JUMPDEST 00002ead: SWAP2 00002eae: POP 00002eaf: PUSH2 0x2eb7 00002eb2: DUP4 00002eb3: PUSH2 0x2fef 00002eb6: JUMP 00002eb7: JUMPDEST 00002eb8: SWAP3 00002eb9: POP 00002eba: DUP3 00002ebb: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002edc: SUB 00002edd: DUP3 00002ede: GT 00002edf: ISZERO 00002ee0: PUSH2 0x2eec 00002ee3: JUMPI 00002ee4: PUSH2 0x2eeb 00002ee7: PUSH2 0x309e 00002eea: JUMP 00002eeb: JUMPDEST 00002eec: JUMPDEST 00002eed: DUP3 00002eee: DUP3 00002eef: ADD 00002ef0: SWAP1 00002ef1: POP 00002ef2: SWAP3 00002ef3: SWAP2 00002ef4: POP 00002ef5: POP 00002ef6: JUMP 00002ef7: JUMPDEST 00002ef8: PUSH1 0x00 00002efa: PUSH2 0x2f02 00002efd: DUP3 00002efe: PUSH2 0x2fef 00002f01: JUMP 00002f02: JUMPDEST 00002f03: SWAP2 00002f04: POP 00002f05: PUSH2 0x2f0d 00002f08: DUP4 00002f09: PUSH2 0x2fef 00002f0c: JUMP 00002f0d: JUMPDEST 00002f0e: SWAP3 00002f0f: POP 00002f10: DUP2 00002f11: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002f32: DIV 00002f33: DUP4 00002f34: GT 00002f35: DUP3 00002f36: ISZERO 00002f37: ISZERO 00002f38: AND 00002f39: ISZERO 00002f3a: PUSH2 0x2f46 00002f3d: JUMPI 00002f3e: PUSH2 0x2f45 00002f41: PUSH2 0x309e 00002f44: JUMP 00002f45: JUMPDEST 00002f46: JUMPDEST 00002f47: DUP3 00002f48: DUP3 00002f49: MUL 00002f4a: SWAP1 00002f4b: POP 00002f4c: SWAP3 00002f4d: SWAP2 00002f4e: POP 00002f4f: POP 00002f50: JUMP 00002f51: JUMPDEST 00002f52: PUSH1 0x00 00002f54: PUSH2 0x2f5c 00002f57: DUP3 00002f58: PUSH2 0x2fef 00002f5b: JUMP 00002f5c: JUMPDEST 00002f5d: SWAP2 00002f5e: POP 00002f5f: PUSH2 0x2f67 00002f62: DUP4 00002f63: PUSH2 0x2fef 00002f66: JUMP 00002f67: JUMPDEST 00002f68: SWAP3 00002f69: POP 00002f6a: DUP3 00002f6b: DUP3 00002f6c: LT 00002f6d: ISZERO 00002f6e: PUSH2 0x2f7a 00002f71: JUMPI 00002f72: PUSH2 0x2f79 00002f75: PUSH2 0x309e 00002f78: JUMP 00002f79: JUMPDEST 00002f7a: JUMPDEST 00002f7b: DUP3 00002f7c: DUP3 00002f7d: SUB 00002f7e: SWAP1 00002f7f: POP 00002f80: SWAP3 00002f81: SWAP2 00002f82: POP 00002f83: POP 00002f84: JUMP 00002f85: JUMPDEST 00002f86: PUSH1 0x00 00002f88: PUSH2 0x2f90 00002f8b: DUP3 00002f8c: PUSH2 0x2fcf 00002f8f: JUMP 00002f90: JUMPDEST 00002f91: SWAP1 00002f92: POP 00002f93: SWAP2 00002f94: SWAP1 00002f95: POP 00002f96: JUMP 00002f97: JUMPDEST 00002f98: PUSH1 0x00 00002f9a: DUP2 00002f9b: ISZERO 00002f9c: ISZERO 00002f9d: SWAP1 00002f9e: POP 00002f9f: SWAP2 00002fa0: SWAP1 00002fa1: POP 00002fa2: JUMP 00002fa3: JUMPDEST 00002fa4: PUSH1 0x00 00002fa6: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00002fc7: DUP3 00002fc8: AND 00002fc9: SWAP1 00002fca: POP 00002fcb: SWAP2 00002fcc: SWAP1 00002fcd: POP 00002fce: JUMP 00002fcf: JUMPDEST 00002fd0: PUSH1 0x00 00002fd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002fe7: DUP3 00002fe8: AND 00002fe9: SWAP1 00002fea: POP 00002feb: SWAP2 00002fec: SWAP1 00002fed: POP 00002fee: JUMP 00002fef: JUMPDEST 00002ff0: PUSH1 0x00 00002ff2: DUP2 00002ff3: SWAP1 00002ff4: POP 00002ff5: SWAP2 00002ff6: SWAP1 00002ff7: POP 00002ff8: JUMP 00002ff9: JUMPDEST 00002ffa: DUP3 00002ffb: DUP2 00002ffc: DUP4 00002ffd: CALLDATACOPY 00002ffe: PUSH1 0x00 00003000: DUP4 00003001: DUP4 00003002: ADD 00003003: MSTORE 00003004: POP 00003005: POP 00003006: POP 00003007: JUMP 00003008: JUMPDEST 00003009: PUSH1 0x00 0000300b: JUMPDEST 0000300c: DUP4 0000300d: DUP2 0000300e: LT 0000300f: ISZERO 00003010: PUSH2 0x3026 00003013: JUMPI 00003014: DUP1 00003015: DUP3 00003016: ADD 00003017: MLOAD 00003018: DUP2 00003019: DUP5 0000301a: ADD 0000301b: MSTORE 0000301c: PUSH1 0x20 0000301e: DUP2 0000301f: ADD 00003020: SWAP1 00003021: POP 00003022: PUSH2 0x300b 00003025: JUMP 00003026: JUMPDEST 00003027: DUP4 00003028: DUP2 00003029: GT 0000302a: ISZERO 0000302b: PUSH2 0x3035 0000302e: JUMPI 0000302f: PUSH1 0x00 00003031: DUP5 00003032: DUP5 00003033: ADD 00003034: MSTORE 00003035: JUMPDEST 00003036: POP 00003037: POP 00003038: POP 00003039: POP 0000303a: JUMP 0000303b: JUMPDEST 0000303c: PUSH1 0x00 0000303e: PUSH1 0x02 00003040: DUP3 00003041: DIV 00003042: SWAP1 00003043: POP 00003044: PUSH1 0x01 00003046: DUP3 00003047: AND 00003048: DUP1 00003049: PUSH2 0x3053 0000304c: JUMPI 0000304d: PUSH1 0x7f 0000304f: DUP3 00003050: AND 00003051: SWAP2 00003052: POP 00003053: JUMPDEST 00003054: PUSH1 0x20 00003056: DUP3 00003057: LT 00003058: DUP2 00003059: EQ 0000305a: ISZERO 0000305b: PUSH2 0x3067 0000305e: JUMPI 0000305f: PUSH2 0x3066 00003062: PUSH2 0x30cd 00003065: JUMP 00003066: JUMPDEST 00003067: JUMPDEST 00003068: POP 00003069: SWAP2 0000306a: SWAP1 0000306b: POP 0000306c: JUMP 0000306d: JUMPDEST 0000306e: PUSH2 0x3076 00003071: DUP3 00003072: PUSH2 0x312b 00003075: JUMP 00003076: JUMPDEST 00003077: DUP2 00003078: ADD 00003079: DUP2 0000307a: DUP2 0000307b: LT 0000307c: PUSH8 0xffffffffffffffff 00003085: DUP3 00003086: GT 00003087: OR 00003088: ISZERO 00003089: PUSH2 0x3095 0000308c: JUMPI 0000308d: PUSH2 0x3094 00003090: PUSH2 0x30fc 00003093: JUMP 00003094: JUMPDEST 00003095: JUMPDEST 00003096: DUP1 00003097: PUSH1 0x40 00003099: MSTORE 0000309a: POP 0000309b: POP 0000309c: POP 0000309d: JUMP 0000309e: JUMPDEST 0000309f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000030c0: PUSH1 0x00 000030c2: MSTORE 000030c3: PUSH1 0x11 000030c5: PUSH1 0x04 000030c7: MSTORE 000030c8: PUSH1 0x24 000030ca: PUSH1 0x00 000030cc: REVERT 000030cd: JUMPDEST 000030ce: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000030ef: PUSH1 0x00 000030f1: MSTORE 000030f2: PUSH1 0x22 000030f4: PUSH1 0x04 000030f6: MSTORE 000030f7: PUSH1 0x24 000030f9: PUSH1 0x00 000030fb: REVERT 000030fc: JUMPDEST 000030fd: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000311e: PUSH1 0x00 00003120: MSTORE 00003121: PUSH1 0x41 00003123: PUSH1 0x04 00003125: MSTORE 00003126: PUSH1 0x24 00003128: PUSH1 0x00 0000312a: REVERT 0000312b: JUMPDEST 0000312c: PUSH1 0x00 0000312e: PUSH1 0x1f 00003130: NOT 00003131: PUSH1 0x1f 00003133: DUP4 00003134: ADD 00003135: AND 00003136: SWAP1 00003137: POP 00003138: SWAP2 00003139: SWAP1 0000313a: POP 0000313b: JUMP 0000313c: JUMPDEST 0000313d: PUSH32 0x45786365656473204d6178205175616e74697479207065722074780000000000 0000315e: PUSH1 0x00 00003160: DUP3 00003161: ADD 00003162: MSTORE 00003163: POP 00003164: JUMP 00003165: JUMPDEST 00003166: PUSH32 0x45786365656473204d617820537570706c790000000000000000000000000000 00003187: PUSH1 0x00 00003189: DUP3 0000318a: ADD 0000318b: MSTORE 0000318c: POP 0000318d: JUMP 0000318e: JUMPDEST 0000318f: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 000031b0: PUSH1 0x00 000031b2: DUP3 000031b3: ADD 000031b4: MSTORE 000031b5: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 000031d6: PUSH1 0x20 000031d8: DUP3 000031d9: ADD 000031da: MSTORE 000031db: POP 000031dc: JUMP 000031dd: JUMPDEST 000031de: PUSH32 0x4e6f20436f6e7472616374730000000000000000000000000000000000000000 000031ff: PUSH1 0x00 00003201: DUP3 00003202: ADD 00003203: MSTORE 00003204: POP 00003205: JUMP 00003206: JUMPDEST 00003207: PUSH32 0x496e73756666696369656e742045746865720000000000000000000000000000 00003228: PUSH1 0x00 0000322a: DUP3 0000322b: ADD 0000322c: MSTORE 0000322d: POP 0000322e: JUMP 0000322f: JUMPDEST 00003230: PUSH32 0x455243373231413a2062616c616e636520717565727920666f7220746865207a 00003251: PUSH1 0x00 00003253: DUP3 00003254: ADD 00003255: MSTORE 00003256: PUSH32 0x65726f2061646472657373000000000000000000000000000000000000000000 00003277: PUSH1 0x20 00003279: DUP3 0000327a: ADD 0000327b: MSTORE 0000327c: POP 0000327d: JUMP 0000327e: JUMPDEST 0000327f: PUSH32 0x2e6a736f6e000000000000000000000000000000000000000000000000000000 000032a0: PUSH1 0x00 000032a2: DUP3 000032a3: ADD 000032a4: MSTORE 000032a5: POP 000032a6: JUMP 000032a7: JUMPDEST 000032a8: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000032c9: PUSH1 0x00 000032cb: DUP3 000032cc: ADD 000032cd: MSTORE 000032ce: POP 000032cf: JUMP 000032d0: JUMPDEST 000032d1: POP 000032d2: JUMP 000032d3: JUMPDEST 000032d4: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000032f5: PUSH1 0x00 000032f7: DUP3 000032f8: ADD 000032f9: MSTORE 000032fa: POP 000032fb: JUMP 000032fc: JUMPDEST 000032fd: PUSH2 0x3305 00003300: DUP2 00003301: PUSH2 0x2f85 00003304: JUMP 00003305: JUMPDEST 00003306: DUP2 00003307: EQ 00003308: PUSH2 0x3310 0000330b: JUMPI 0000330c: PUSH1 0x00 0000330e: DUP1 0000330f: REVERT 00003310: JUMPDEST 00003311: POP 00003312: JUMP 00003313: JUMPDEST 00003314: PUSH2 0x331c 00003317: DUP2 00003318: PUSH2 0x2f97 0000331b: JUMP 0000331c: JUMPDEST 0000331d: DUP2 0000331e: EQ 0000331f: PUSH2 0x3327 00003322: JUMPI 00003323: PUSH1 0x00 00003325: DUP1 00003326: REVERT 00003327: JUMPDEST 00003328: POP 00003329: JUMP 0000332a: JUMPDEST 0000332b: PUSH2 0x3333 0000332e: DUP2 0000332f: PUSH2 0x2fa3 00003332: JUMP 00003333: JUMPDEST 00003334: DUP2 00003335: EQ 00003336: PUSH2 0x333e 00003339: JUMPI 0000333a: PUSH1 0x00 0000333c: DUP1 0000333d: REVERT 0000333e: JUMPDEST 0000333f: POP 00003340: JUMP 00003341: JUMPDEST 00003342: PUSH2 0x334a 00003345: DUP2 00003346: PUSH2 0x2fef 00003349: JUMP 0000334a: JUMPDEST 0000334b: DUP2 0000334c: EQ 0000334d: PUSH2 0x3355 00003350: JUMPI 00003351: PUSH1 0x00 00003353: DUP1 00003354: REVERT 00003355: JUMPDEST 00003356: POP 00003357: JUMP 00003358: INVALID 00003359: LOG2 0000335a: PUSH5 0x6970667358 00003360: UNKNOWN(0x22) 00003361: SLT 00003362: KECCAK256 00003363: UNKNOWN(0xCE) 00003364: UNKNOWN(0xD9) 00003365: UNKNOWN(0x28) 00003366: UNKNOWN(0xD6) 00003367: EQ 00003368: PUSH31 0x2df8aab240f5417a12b9140dc689a470448efa57587370257b5364736f6c63 00003388: NUMBER 00003389: STOP 0000338a: ADDMOD 0000338b: DIV 0000338c: STOP 0000338d: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xca800144",
"selector": "0xca800144",
"calldata_variants": [
"0xca800144",
"0xca8001440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdc33e681",
"selector": "0xdc33e681",
"calldata_variants": [
"0xdc33e681",
"0xdc33e6810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2b40d19",
"selector": "0xa2b40d19",
"calldata_variants": [
"0xa2b40d19",
"0xa2b40d190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc84aae17",
"selector": "0xc84aae17",
"calldata_variants": [
"0xc84aae17",
"0xc84aae170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4268,
"type": "tx_origin_used"
},
{
"pc": 4291,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5484,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5571,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5727,
"type": "tx_origin_used"
},
{
"pc": 5750,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x4a5e919f1251f34a02ae091211cebba5de9da0c6019830225cded25a62998e1a
call_targets:
0xe2dc31ecb6147899f5ac6b96baf626746fdfad8d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4a5e919f1251f34a02ae091211cebba5de9da0c6019830225cded25a62998e1a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe2dc31ecb6147899f5ac6b96baf626746fdfad8d"
],
"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": "0xca800144",
"selector": "0xca800144",
"calldata_variants": [
"0xca800144",
"0xca8001440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdc33e681",
"selector": "0xdc33e681",
"calldata_variants": [
"0xdc33e681",
"0xdc33e6810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2b40d19",
"selector": "0xa2b40d19",
"calldata_variants": [
"0xa2b40d19",
"0xa2b40d190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc84aae17",
"selector": "0xc84aae17",
"calldata_variants": [
"0xc84aae17",
"0xc84aae170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7905,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 8340,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 4268,
"type": "tx_origin_used"
},
{
"pc": 4291,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5484,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5571,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5727,
"type": "tx_origin_used"
},
{
"pc": 5750,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x4a5e919f1251f34a02ae091211cebba5de9da0c6019830225cded25a62998e1a
call_targets:
0xe2dc31ecb6147899f5ac6b96baf626746fdfad8d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4a5e919f1251f34a02ae091211cebba5de9da0c6019830225cded25a62998e1a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe2dc31ecb6147899f5ac6b96baf626746fdfad8d"
],
"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": "0xca800144",
"selector": "0xca800144",
"calldata_variants": [
"0xca800144",
"0xca8001440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdc33e681",
"selector": "0xdc33e681",
"calldata_variants": [
"0xdc33e681",
"0xdc33e6810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2b40d19",
"selector": "0xa2b40d19",
"calldata_variants": [
"0xa2b40d19",
"0xa2b40d190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc84aae17",
"selector": "0xc84aae17",
"calldata_variants": [
"0xc84aae17",
"0xc84aae170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7905,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 8340,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 4268,
"type": "tx_origin_used"
},
{
"pc": 4291,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5484,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5571,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5727,
"type": "tx_origin_used"
},
{
"pc": 5750,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|