019b477e-d04a-7215-b2e0-0f1d017630a0
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 |
|---|---|---|---|---|
| 27541 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27542 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 102772 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 102773 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 102774 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 102775 | 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 0x0059 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x530d4ebe 00000019: EQ 0000001a: PUSH2 0x0065 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8f283970 00000024: EQ 00000025: PUSH2 0x008e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x96a4010f 0000002f: EQ 00000030: PUSH2 0x00b7 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc009b837 0000003a: EQ 0000003b: PUSH2 0x00d3 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf851a440 00000045: EQ 00000046: PUSH2 0x00fc 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xff355c39 00000050: EQ 00000051: PUSH2 0x0127 00000054: JUMPI 00000055: PUSH2 0x0060 00000058: JUMP 00000059: JUMPDEST 0000005a: CALLDATASIZE 0000005b: PUSH2 0x0060 0000005e: JUMPI 0000005f: STOP 00000060: JUMPDEST 00000061: PUSH1 0x00 00000063: DUP1 00000064: REVERT 00000065: JUMPDEST 00000066: CALLVALUE 00000067: DUP1 00000068: ISZERO 00000069: PUSH2 0x0071 0000006c: JUMPI 0000006d: PUSH1 0x00 0000006f: DUP1 00000070: REVERT 00000071: JUMPDEST 00000072: POP 00000073: PUSH2 0x008c 00000076: PUSH1 0x04 00000078: DUP1 00000079: CALLDATASIZE 0000007a: SUB 0000007b: DUP2 0000007c: ADD 0000007d: SWAP1 0000007e: PUSH2 0x0087 00000081: SWAP2 00000082: SWAP1 00000083: PUSH2 0x0e94 00000086: JUMP 00000087: JUMPDEST 00000088: PUSH2 0x0131 0000008b: JUMP 0000008c: JUMPDEST 0000008d: STOP 0000008e: JUMPDEST 0000008f: CALLVALUE 00000090: DUP1 00000091: ISZERO 00000092: PUSH2 0x009a 00000095: JUMPI 00000096: PUSH1 0x00 00000098: DUP1 00000099: REVERT 0000009a: JUMPDEST 0000009b: POP 0000009c: PUSH2 0x00b5 0000009f: PUSH1 0x04 000000a1: DUP1 000000a2: CALLDATASIZE 000000a3: SUB 000000a4: DUP2 000000a5: ADD 000000a6: SWAP1 000000a7: PUSH2 0x00b0 000000aa: SWAP2 000000ab: SWAP1 000000ac: PUSH2 0x0dc3 000000af: JUMP 000000b0: JUMPDEST 000000b1: PUSH2 0x0365 000000b4: JUMP 000000b5: JUMPDEST 000000b6: STOP 000000b7: JUMPDEST 000000b8: PUSH2 0x00d1 000000bb: PUSH1 0x04 000000bd: DUP1 000000be: CALLDATASIZE 000000bf: SUB 000000c0: DUP2 000000c1: ADD 000000c2: SWAP1 000000c3: PUSH2 0x00cc 000000c6: SWAP2 000000c7: SWAP1 000000c8: PUSH2 0x0dec 000000cb: JUMP 000000cc: JUMPDEST 000000cd: PUSH2 0x0436 000000d0: JUMP 000000d1: JUMPDEST 000000d2: STOP 000000d3: JUMPDEST 000000d4: CALLVALUE 000000d5: DUP1 000000d6: ISZERO 000000d7: PUSH2 0x00df 000000da: JUMPI 000000db: PUSH1 0x00 000000dd: DUP1 000000de: REVERT 000000df: JUMPDEST 000000e0: POP 000000e1: PUSH2 0x00fa 000000e4: PUSH1 0x04 000000e6: DUP1 000000e7: CALLDATASIZE 000000e8: SUB 000000e9: DUP2 000000ea: ADD 000000eb: SWAP1 000000ec: PUSH2 0x00f5 000000ef: SWAP2 000000f0: SWAP1 000000f1: PUSH2 0x0e15 000000f4: JUMP 000000f5: JUMPDEST 000000f6: PUSH2 0x0574 000000f9: JUMP 000000fa: JUMPDEST 000000fb: STOP 000000fc: JUMPDEST 000000fd: CALLVALUE 000000fe: DUP1 000000ff: ISZERO 00000100: PUSH2 0x0108 00000103: JUMPI 00000104: PUSH1 0x00 00000106: DUP1 00000107: REVERT 00000108: JUMPDEST 00000109: POP 0000010a: PUSH2 0x0111 0000010d: PUSH2 0x07f3 00000110: JUMP 00000111: JUMPDEST 00000112: PUSH1 0x40 00000114: MLOAD 00000115: PUSH2 0x011e 00000118: SWAP2 00000119: SWAP1 0000011a: PUSH2 0x115d 0000011d: JUMP 0000011e: JUMPDEST 0000011f: PUSH1 0x40 00000121: MLOAD 00000122: DUP1 00000123: SWAP2 00000124: SUB 00000125: SWAP1 00000126: RETURN 00000127: JUMPDEST 00000128: PUSH2 0x012f 0000012b: PUSH2 0x0817 0000012e: JUMP 0000012f: JUMPDEST 00000130: STOP 00000131: JUMPDEST 00000132: PUSH1 0x00 00000134: DUP1 00000135: SLOAD 00000136: SWAP1 00000137: PUSH2 0x0100 0000013a: EXP 0000013b: SWAP1 0000013c: DIV 0000013d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000152: AND 00000153: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000168: AND 00000169: CALLER 0000016a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000017f: AND 00000180: EQ 00000181: PUSH2 0x01bf 00000184: JUMPI 00000185: PUSH1 0x40 00000187: MLOAD 00000188: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000001a9: DUP2 000001aa: MSTORE 000001ab: PUSH1 0x04 000001ad: ADD 000001ae: PUSH2 0x01b6 000001b1: SWAP1 000001b2: PUSH2 0x123a 000001b5: JUMP 000001b6: JUMPDEST 000001b7: PUSH1 0x40 000001b9: MLOAD 000001ba: DUP1 000001bb: SWAP2 000001bc: SUB 000001bd: SWAP1 000001be: REVERT 000001bf: JUMPDEST 000001c0: DUP1 000001c1: MLOAD 000001c2: DUP4 000001c3: MLOAD 000001c4: EQ 000001c5: DUP1 000001c6: ISZERO 000001c7: PUSH2 0x01d1 000001ca: JUMPI 000001cb: POP 000001cc: DUP4 000001cd: MLOAD 000001ce: DUP2 000001cf: MLOAD 000001d0: EQ 000001d1: JUMPDEST 000001d2: PUSH2 0x0210 000001d5: JUMPI 000001d6: PUSH1 0x40 000001d8: MLOAD 000001d9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000001fa: DUP2 000001fb: MSTORE 000001fc: PUSH1 0x04 000001fe: ADD 000001ff: PUSH2 0x0207 00000202: SWAP1 00000203: PUSH2 0x129a 00000206: JUMP 00000207: JUMPDEST 00000208: PUSH1 0x40 0000020a: MLOAD 0000020b: DUP1 0000020c: SWAP2 0000020d: SUB 0000020e: SWAP1 0000020f: REVERT 00000210: JUMPDEST 00000211: PUSH1 0x00 00000213: JUMPDEST 00000214: DUP2 00000215: MLOAD 00000216: DUP2 00000217: LT 00000218: ISZERO 00000219: PUSH2 0x035e 0000021c: JUMPI 0000021d: DUP4 0000021e: DUP2 0000021f: DUP2 00000220: MLOAD 00000221: DUP2 00000222: LT 00000223: PUSH2 0x0255 00000226: JUMPI 00000227: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000248: PUSH1 0x00 0000024a: MSTORE 0000024b: PUSH1 0x32 0000024d: PUSH1 0x04 0000024f: MSTORE 00000250: PUSH1 0x24 00000252: PUSH1 0x00 00000254: REVERT 00000255: JUMPDEST 00000256: PUSH1 0x20 00000258: MUL 00000259: PUSH1 0x20 0000025b: ADD 0000025c: ADD 0000025d: MLOAD 0000025e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000273: AND 00000274: PUSH4 0x23b872dd 00000279: DUP7 0000027a: DUP4 0000027b: DUP2 0000027c: MLOAD 0000027d: DUP2 0000027e: LT 0000027f: PUSH2 0x02b1 00000282: JUMPI 00000283: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000002a4: PUSH1 0x00 000002a6: MSTORE 000002a7: PUSH1 0x32 000002a9: PUSH1 0x04 000002ab: MSTORE 000002ac: PUSH1 0x24 000002ae: PUSH1 0x00 000002b0: REVERT 000002b1: JUMPDEST 000002b2: PUSH1 0x20 000002b4: MUL 000002b5: PUSH1 0x20 000002b7: ADD 000002b8: ADD 000002b9: MLOAD 000002ba: DUP6 000002bb: DUP6 000002bc: DUP6 000002bd: DUP2 000002be: MLOAD 000002bf: DUP2 000002c0: LT 000002c1: PUSH2 0x02f3 000002c4: JUMPI 000002c5: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000002e6: PUSH1 0x00 000002e8: MSTORE 000002e9: PUSH1 0x32 000002eb: PUSH1 0x04 000002ed: MSTORE 000002ee: PUSH1 0x24 000002f0: PUSH1 0x00 000002f2: REVERT 000002f3: JUMPDEST 000002f4: PUSH1 0x20 000002f6: MUL 000002f7: PUSH1 0x20 000002f9: ADD 000002fa: ADD 000002fb: MLOAD 000002fc: PUSH1 0x40 000002fe: MLOAD 000002ff: DUP5 00000300: PUSH4 0xffffffff 00000305: AND 00000306: PUSH1 0xe0 00000308: SHL 00000309: DUP2 0000030a: MSTORE 0000030b: PUSH1 0x04 0000030d: ADD 0000030e: PUSH2 0x0319 00000311: SWAP4 00000312: SWAP3 00000313: SWAP2 00000314: SWAP1 00000315: PUSH2 0x1178 00000318: JUMP 00000319: JUMPDEST 0000031a: PUSH1 0x00 0000031c: PUSH1 0x40 0000031e: MLOAD 0000031f: DUP1 00000320: DUP4 00000321: SUB 00000322: DUP2 00000323: PUSH1 0x00 00000325: DUP8 00000326: DUP1 00000327: EXTCODESIZE 00000328: ISZERO 00000329: DUP1 0000032a: ISZERO 0000032b: PUSH2 0x0333 0000032e: JUMPI 0000032f: PUSH1 0x00 00000331: DUP1 00000332: REVERT 00000333: JUMPDEST 00000334: POP 00000335: GAS 00000336: CALL 00000337: ISZERO 00000338: DUP1 00000339: ISZERO 0000033a: PUSH2 0x0347 0000033d: JUMPI 0000033e: RETURNDATASIZE 0000033f: PUSH1 0x00 00000341: DUP1 00000342: RETURNDATACOPY 00000343: RETURNDATASIZE 00000344: PUSH1 0x00 00000346: REVERT 00000347: JUMPDEST 00000348: POP 00000349: POP 0000034a: POP 0000034b: POP 0000034c: DUP1 0000034d: DUP1 0000034e: PUSH2 0x0356 00000351: SWAP1 00000352: PUSH2 0x165d 00000355: JUMP 00000356: JUMPDEST 00000357: SWAP2 00000358: POP 00000359: POP 0000035a: PUSH2 0x0213 0000035d: JUMP 0000035e: JUMPDEST 0000035f: POP 00000360: POP 00000361: POP 00000362: POP 00000363: POP 00000364: JUMP 00000365: JUMPDEST 00000366: PUSH1 0x00 00000368: DUP1 00000369: SLOAD 0000036a: SWAP1 0000036b: PUSH2 0x0100 0000036e: EXP 0000036f: SWAP1 00000370: DIV 00000371: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000386: AND 00000387: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000039c: AND 0000039d: CALLER 0000039e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003b3: AND 000003b4: EQ 000003b5: PUSH2 0x03f3 000003b8: JUMPI 000003b9: PUSH1 0x40 000003bb: MLOAD 000003bc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003dd: DUP2 000003de: MSTORE 000003df: PUSH1 0x04 000003e1: ADD 000003e2: PUSH2 0x03ea 000003e5: SWAP1 000003e6: PUSH2 0x123a 000003e9: JUMP 000003ea: JUMPDEST 000003eb: PUSH1 0x40 000003ed: MLOAD 000003ee: DUP1 000003ef: SWAP2 000003f0: SUB 000003f1: SWAP1 000003f2: REVERT 000003f3: JUMPDEST 000003f4: DUP1 000003f5: PUSH1 0x00 000003f7: DUP1 000003f8: PUSH2 0x0100 000003fb: EXP 000003fc: DUP2 000003fd: SLOAD 000003fe: DUP2 000003ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000414: MUL 00000415: NOT 00000416: AND 00000417: SWAP1 00000418: DUP4 00000419: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000042e: AND 0000042f: MUL 00000430: OR 00000431: SWAP1 00000432: SSTORE 00000433: POP 00000434: POP 00000435: JUMP 00000436: JUMPDEST 00000437: PUSH1 0x00 00000439: DUP1 0000043a: SLOAD 0000043b: SWAP1 0000043c: PUSH2 0x0100 0000043f: EXP 00000440: SWAP1 00000441: DIV 00000442: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000457: AND 00000458: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000046d: AND 0000046e: CALLER 0000046f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000484: AND 00000485: EQ 00000486: PUSH2 0x04c4 00000489: JUMPI 0000048a: PUSH1 0x40 0000048c: MLOAD 0000048d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000004ae: DUP2 000004af: MSTORE 000004b0: PUSH1 0x04 000004b2: ADD 000004b3: PUSH2 0x04bb 000004b6: SWAP1 000004b7: PUSH2 0x123a 000004ba: JUMP 000004bb: JUMPDEST 000004bc: PUSH1 0x40 000004be: MLOAD 000004bf: DUP1 000004c0: SWAP2 000004c1: SUB 000004c2: SWAP1 000004c3: REVERT 000004c4: JUMPDEST 000004c5: PUSH1 0x00 000004c7: DUP2 000004c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004dd: AND 000004de: CALLVALUE 000004df: PUSH1 0x40 000004e1: MLOAD 000004e2: PUSH2 0x04ea 000004e5: SWAP1 000004e6: PUSH2 0x1148 000004e9: JUMP 000004ea: JUMPDEST 000004eb: PUSH1 0x00 000004ed: PUSH1 0x40 000004ef: MLOAD 000004f0: DUP1 000004f1: DUP4 000004f2: SUB 000004f3: DUP2 000004f4: DUP6 000004f5: DUP8 000004f6: GAS 000004f7: CALL 000004f8: SWAP3 000004f9: POP 000004fa: POP 000004fb: POP 000004fc: RETURNDATASIZE 000004fd: DUP1 000004fe: PUSH1 0x00 00000500: DUP2 00000501: EQ 00000502: PUSH2 0x0527 00000505: JUMPI 00000506: PUSH1 0x40 00000508: MLOAD 00000509: SWAP2 0000050a: POP 0000050b: PUSH1 0x1f 0000050d: NOT 0000050e: PUSH1 0x3f 00000510: RETURNDATASIZE 00000511: ADD 00000512: AND 00000513: DUP3 00000514: ADD 00000515: PUSH1 0x40 00000517: MSTORE 00000518: RETURNDATASIZE 00000519: DUP3 0000051a: MSTORE 0000051b: RETURNDATASIZE 0000051c: PUSH1 0x00 0000051e: PUSH1 0x20 00000520: DUP5 00000521: ADD 00000522: RETURNDATACOPY 00000523: PUSH2 0x052c 00000526: JUMP 00000527: JUMPDEST 00000528: PUSH1 0x60 0000052a: SWAP2 0000052b: POP 0000052c: JUMPDEST 0000052d: POP 0000052e: POP 0000052f: SWAP1 00000530: POP 00000531: DUP1 00000532: PUSH2 0x0570 00000535: JUMPI 00000536: PUSH1 0x40 00000538: MLOAD 00000539: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000055a: DUP2 0000055b: MSTORE 0000055c: PUSH1 0x04 0000055e: ADD 0000055f: PUSH2 0x0567 00000562: SWAP1 00000563: PUSH2 0x125a 00000566: JUMP 00000567: JUMPDEST 00000568: PUSH1 0x40 0000056a: MLOAD 0000056b: DUP1 0000056c: SWAP2 0000056d: SUB 0000056e: SWAP1 0000056f: REVERT 00000570: JUMPDEST 00000571: POP 00000572: POP 00000573: JUMP 00000574: JUMPDEST 00000575: PUSH1 0x00 00000577: DUP1 00000578: SLOAD 00000579: SWAP1 0000057a: PUSH2 0x0100 0000057d: EXP 0000057e: SWAP1 0000057f: DIV 00000580: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000595: AND 00000596: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ab: AND 000005ac: CALLER 000005ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c2: AND 000005c3: EQ 000005c4: PUSH2 0x0602 000005c7: JUMPI 000005c8: PUSH1 0x40 000005ca: MLOAD 000005cb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000005ec: DUP2 000005ed: MSTORE 000005ee: PUSH1 0x04 000005f0: ADD 000005f1: PUSH2 0x05f9 000005f4: SWAP1 000005f5: PUSH2 0x123a 000005f8: JUMP 000005f9: JUMPDEST 000005fa: PUSH1 0x40 000005fc: MLOAD 000005fd: DUP1 000005fe: SWAP2 000005ff: SUB 00000600: SWAP1 00000601: REVERT 00000602: JUMPDEST 00000603: DUP1 00000604: MLOAD 00000605: DUP4 00000606: MLOAD 00000607: EQ 00000608: PUSH2 0x0646 0000060b: JUMPI 0000060c: PUSH1 0x40 0000060e: MLOAD 0000060f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000630: DUP2 00000631: MSTORE 00000632: PUSH1 0x04 00000634: ADD 00000635: PUSH2 0x063d 00000638: SWAP1 00000639: PUSH2 0x11fa 0000063c: JUMP 0000063d: JUMPDEST 0000063e: PUSH1 0x40 00000640: MLOAD 00000641: DUP1 00000642: SWAP2 00000643: SUB 00000644: SWAP1 00000645: REVERT 00000646: JUMPDEST 00000647: PUSH1 0x00 00000649: JUMPDEST 0000064a: DUP4 0000064b: MLOAD 0000064c: DUP2 0000064d: LT 0000064e: ISZERO 0000064f: PUSH2 0x07ed 00000652: JUMPI 00000653: PUSH1 0x00 00000655: DUP5 00000656: DUP3 00000657: DUP2 00000658: MLOAD 00000659: DUP2 0000065a: LT 0000065b: PUSH2 0x068d 0000065e: JUMPI 0000065f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000680: PUSH1 0x00 00000682: MSTORE 00000683: PUSH1 0x32 00000685: PUSH1 0x04 00000687: MSTORE 00000688: PUSH1 0x24 0000068a: PUSH1 0x00 0000068c: REVERT 0000068d: JUMPDEST 0000068e: PUSH1 0x20 00000690: MUL 00000691: PUSH1 0x20 00000693: ADD 00000694: ADD 00000695: MLOAD 00000696: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ab: AND 000006ac: PUSH4 0x313ce567 000006b1: PUSH1 0x40 000006b3: MLOAD 000006b4: DUP2 000006b5: PUSH4 0xffffffff 000006ba: AND 000006bb: PUSH1 0xe0 000006bd: SHL 000006be: DUP2 000006bf: MSTORE 000006c0: PUSH1 0x04 000006c2: ADD 000006c3: PUSH1 0x20 000006c5: PUSH1 0x40 000006c7: MLOAD 000006c8: DUP1 000006c9: DUP4 000006ca: SUB 000006cb: DUP2 000006cc: DUP7 000006cd: DUP1 000006ce: EXTCODESIZE 000006cf: ISZERO 000006d0: DUP1 000006d1: ISZERO 000006d2: PUSH2 0x06da 000006d5: JUMPI 000006d6: PUSH1 0x00 000006d8: DUP1 000006d9: REVERT 000006da: JUMPDEST 000006db: POP 000006dc: GAS 000006dd: STATICCALL 000006de: ISZERO 000006df: DUP1 000006e0: ISZERO 000006e1: PUSH2 0x06ee 000006e4: JUMPI 000006e5: RETURNDATASIZE 000006e6: PUSH1 0x00 000006e8: DUP1 000006e9: RETURNDATACOPY 000006ea: RETURNDATASIZE 000006eb: PUSH1 0x00 000006ed: REVERT 000006ee: JUMPDEST 000006ef: POP 000006f0: POP 000006f1: POP 000006f2: POP 000006f3: PUSH1 0x40 000006f5: MLOAD 000006f6: RETURNDATASIZE 000006f7: PUSH1 0x1f 000006f9: NOT 000006fa: PUSH1 0x1f 000006fc: DUP3 000006fd: ADD 000006fe: AND 000006ff: DUP3 00000700: ADD 00000701: DUP1 00000702: PUSH1 0x40 00000704: MSTORE 00000705: POP 00000706: DUP2 00000707: ADD 00000708: SWAP1 00000709: PUSH2 0x0712 0000070c: SWAP2 0000070d: SWAP1 0000070e: PUSH2 0x0f68 00000711: JUMP 00000712: JUMPDEST 00000713: PUSH1 0xff 00000715: AND 00000716: SWAP1 00000717: POP 00000718: PUSH2 0x07d9 0000071b: DUP5 0000071c: DUP3 0000071d: PUSH1 0x0a 0000071f: PUSH2 0x0728 00000722: SWAP2 00000723: SWAP1 00000724: PUSH2 0x1408 00000727: JUMP 00000728: JUMPDEST 00000729: DUP6 0000072a: DUP6 0000072b: DUP2 0000072c: MLOAD 0000072d: DUP2 0000072e: LT 0000072f: PUSH2 0x0761 00000732: JUMPI 00000733: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000754: PUSH1 0x00 00000756: MSTORE 00000757: PUSH1 0x32 00000759: PUSH1 0x04 0000075b: MSTORE 0000075c: PUSH1 0x24 0000075e: PUSH1 0x00 00000760: REVERT 00000761: JUMPDEST 00000762: PUSH1 0x20 00000764: MUL 00000765: PUSH1 0x20 00000767: ADD 00000768: ADD 00000769: MLOAD 0000076a: PUSH2 0x0773 0000076d: SWAP2 0000076e: SWAP1 0000076f: PUSH2 0x1526 00000772: JUMP 00000773: JUMPDEST 00000774: DUP8 00000775: DUP6 00000776: DUP2 00000777: MLOAD 00000778: DUP2 00000779: LT 0000077a: PUSH2 0x07ac 0000077d: JUMPI 0000077e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000079f: PUSH1 0x00 000007a1: MSTORE 000007a2: PUSH1 0x32 000007a4: PUSH1 0x04 000007a6: MSTORE 000007a7: PUSH1 0x24 000007a9: PUSH1 0x00 000007ab: REVERT 000007ac: JUMPDEST 000007ad: PUSH1 0x20 000007af: MUL 000007b0: PUSH1 0x20 000007b2: ADD 000007b3: ADD 000007b4: MLOAD 000007b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ca: AND 000007cb: PUSH2 0x0880 000007ce: SWAP1 000007cf: SWAP3 000007d0: SWAP2 000007d1: SWAP1 000007d2: PUSH4 0xffffffff 000007d7: AND 000007d8: JUMP 000007d9: JUMPDEST 000007da: POP 000007db: DUP1 000007dc: DUP1 000007dd: PUSH2 0x07e5 000007e0: SWAP1 000007e1: PUSH2 0x165d 000007e4: JUMP 000007e5: JUMPDEST 000007e6: SWAP2 000007e7: POP 000007e8: POP 000007e9: PUSH2 0x0649 000007ec: JUMP 000007ed: JUMPDEST 000007ee: POP 000007ef: POP 000007f0: POP 000007f1: POP 000007f2: JUMP 000007f3: JUMPDEST 000007f4: PUSH1 0x00 000007f6: DUP1 000007f7: SLOAD 000007f8: SWAP1 000007f9: PUSH2 0x0100 000007fc: EXP 000007fd: SWAP1 000007fe: DIV 000007ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000814: AND 00000815: DUP2 00000816: JUMP 00000817: JUMPDEST 00000818: PUSH1 0x00 0000081a: DUP1 0000081b: SLOAD 0000081c: SWAP1 0000081d: PUSH2 0x0100 00000820: EXP 00000821: SWAP1 00000822: DIV 00000823: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000838: AND 00000839: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000084e: AND 0000084f: PUSH2 0x08fc 00000852: CALLVALUE 00000853: SWAP1 00000854: DUP2 00000855: ISZERO 00000856: MUL 00000857: SWAP1 00000858: PUSH1 0x40 0000085a: MLOAD 0000085b: PUSH1 0x00 0000085d: PUSH1 0x40 0000085f: MLOAD 00000860: DUP1 00000861: DUP4 00000862: SUB 00000863: DUP2 00000864: DUP6 00000865: DUP9 00000866: DUP9 00000867: CALL 00000868: SWAP4 00000869: POP 0000086a: POP 0000086b: POP 0000086c: POP 0000086d: ISZERO 0000086e: DUP1 0000086f: ISZERO 00000870: PUSH2 0x087d 00000873: JUMPI 00000874: RETURNDATASIZE 00000875: PUSH1 0x00 00000877: DUP1 00000878: RETURNDATACOPY 00000879: RETURNDATASIZE 0000087a: PUSH1 0x00 0000087c: REVERT 0000087d: JUMPDEST 0000087e: POP 0000087f: JUMP 00000880: JUMPDEST 00000881: PUSH2 0x0901 00000884: DUP4 00000885: PUSH4 0xa9059cbb 0000088a: PUSH1 0xe0 0000088c: SHL 0000088d: DUP5 0000088e: DUP5 0000088f: PUSH1 0x40 00000891: MLOAD 00000892: PUSH1 0x24 00000894: ADD 00000895: PUSH2 0x089f 00000898: SWAP3 00000899: SWAP2 0000089a: SWAP1 0000089b: PUSH2 0x11af 0000089e: JUMP 0000089f: JUMPDEST 000008a0: PUSH1 0x40 000008a2: MLOAD 000008a3: PUSH1 0x20 000008a5: DUP2 000008a6: DUP4 000008a7: SUB 000008a8: SUB 000008a9: DUP2 000008aa: MSTORE 000008ab: SWAP1 000008ac: PUSH1 0x40 000008ae: MSTORE 000008af: SWAP1 000008b0: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000008cd: NOT 000008ce: AND 000008cf: PUSH1 0x20 000008d1: DUP3 000008d2: ADD 000008d3: DUP1 000008d4: MLOAD 000008d5: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000008f2: DUP4 000008f3: DUP2 000008f4: DUP4 000008f5: AND 000008f6: OR 000008f7: DUP4 000008f8: MSTORE 000008f9: POP 000008fa: POP 000008fb: POP 000008fc: POP 000008fd: PUSH2 0x0906 00000900: JUMP 00000901: JUMPDEST 00000902: POP 00000903: POP 00000904: POP 00000905: JUMP 00000906: JUMPDEST 00000907: PUSH1 0x00 00000909: PUSH2 0x0968 0000090c: DUP3 0000090d: PUSH1 0x40 0000090f: MLOAD 00000910: DUP1 00000911: PUSH1 0x40 00000913: ADD 00000914: PUSH1 0x40 00000916: MSTORE 00000917: DUP1 00000918: PUSH1 0x20 0000091a: DUP2 0000091b: MSTORE 0000091c: PUSH1 0x20 0000091e: ADD 0000091f: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000940: DUP2 00000941: MSTORE 00000942: POP 00000943: DUP6 00000944: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000959: AND 0000095a: PUSH2 0x09cd 0000095d: SWAP1 0000095e: SWAP3 0000095f: SWAP2 00000960: SWAP1 00000961: PUSH4 0xffffffff 00000966: AND 00000967: JUMP 00000968: JUMPDEST 00000969: SWAP1 0000096a: POP 0000096b: PUSH1 0x00 0000096d: DUP2 0000096e: MLOAD 0000096f: GT 00000970: ISZERO 00000971: PUSH2 0x09c8 00000974: JUMPI 00000975: DUP1 00000976: DUP1 00000977: PUSH1 0x20 00000979: ADD 0000097a: SWAP1 0000097b: MLOAD 0000097c: DUP2 0000097d: ADD 0000097e: SWAP1 0000097f: PUSH2 0x0988 00000982: SWAP2 00000983: SWAP1 00000984: PUSH2 0x0f3f 00000987: JUMP 00000988: JUMPDEST 00000989: PUSH2 0x09c7 0000098c: JUMPI 0000098d: PUSH1 0x40 0000098f: MLOAD 00000990: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009b1: DUP2 000009b2: MSTORE 000009b3: PUSH1 0x04 000009b5: ADD 000009b6: PUSH2 0x09be 000009b9: SWAP1 000009ba: PUSH2 0x12ba 000009bd: JUMP 000009be: JUMPDEST 000009bf: PUSH1 0x40 000009c1: MLOAD 000009c2: DUP1 000009c3: SWAP2 000009c4: SUB 000009c5: SWAP1 000009c6: REVERT 000009c7: JUMPDEST 000009c8: JUMPDEST 000009c9: POP 000009ca: POP 000009cb: POP 000009cc: JUMP 000009cd: JUMPDEST 000009ce: PUSH1 0x60 000009d0: PUSH2 0x09dc 000009d3: DUP5 000009d4: DUP5 000009d5: PUSH1 0x00 000009d7: DUP6 000009d8: PUSH2 0x09e5 000009db: JUMP 000009dc: JUMPDEST 000009dd: SWAP1 000009de: POP 000009df: SWAP4 000009e0: SWAP3 000009e1: POP 000009e2: POP 000009e3: POP 000009e4: JUMP 000009e5: JUMPDEST 000009e6: PUSH1 0x60 000009e8: DUP3 000009e9: SELFBALANCE 000009ea: LT 000009eb: ISZERO 000009ec: PUSH2 0x0a2a 000009ef: JUMPI 000009f0: PUSH1 0x40 000009f2: MLOAD 000009f3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a14: DUP2 00000a15: MSTORE 00000a16: PUSH1 0x04 00000a18: ADD 00000a19: PUSH2 0x0a21 00000a1c: SWAP1 00000a1d: PUSH2 0x121a 00000a20: JUMP 00000a21: JUMPDEST 00000a22: PUSH1 0x40 00000a24: MLOAD 00000a25: DUP1 00000a26: SWAP2 00000a27: SUB 00000a28: SWAP1 00000a29: REVERT 00000a2a: JUMPDEST 00000a2b: PUSH2 0x0a33 00000a2e: DUP6 00000a2f: PUSH2 0x0af9 00000a32: JUMP 00000a33: JUMPDEST 00000a34: PUSH2 0x0a72 00000a37: JUMPI 00000a38: PUSH1 0x40 00000a3a: MLOAD 00000a3b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a5c: DUP2 00000a5d: MSTORE 00000a5e: PUSH1 0x04 00000a60: ADD 00000a61: PUSH2 0x0a69 00000a64: SWAP1 00000a65: PUSH2 0x127a 00000a68: JUMP 00000a69: JUMPDEST 00000a6a: PUSH1 0x40 00000a6c: MLOAD 00000a6d: DUP1 00000a6e: SWAP2 00000a6f: SUB 00000a70: SWAP1 00000a71: REVERT 00000a72: JUMPDEST 00000a73: PUSH1 0x00 00000a75: DUP1 00000a76: DUP7 00000a77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a8c: AND 00000a8d: DUP6 00000a8e: DUP8 00000a8f: PUSH1 0x40 00000a91: MLOAD 00000a92: PUSH2 0x0a9b 00000a95: SWAP2 00000a96: SWAP1 00000a97: PUSH2 0x1131 00000a9a: JUMP 00000a9b: JUMPDEST 00000a9c: PUSH1 0x00 00000a9e: PUSH1 0x40 00000aa0: MLOAD 00000aa1: DUP1 00000aa2: DUP4 00000aa3: SUB 00000aa4: DUP2 00000aa5: DUP6 00000aa6: DUP8 00000aa7: GAS 00000aa8: CALL 00000aa9: SWAP3 00000aaa: POP 00000aab: POP 00000aac: POP 00000aad: RETURNDATASIZE 00000aae: DUP1 00000aaf: PUSH1 0x00 00000ab1: DUP2 00000ab2: EQ 00000ab3: PUSH2 0x0ad8 00000ab6: JUMPI 00000ab7: PUSH1 0x40 00000ab9: MLOAD 00000aba: SWAP2 00000abb: POP 00000abc: PUSH1 0x1f 00000abe: NOT 00000abf: PUSH1 0x3f 00000ac1: RETURNDATASIZE 00000ac2: ADD 00000ac3: AND 00000ac4: DUP3 00000ac5: ADD 00000ac6: PUSH1 0x40 00000ac8: MSTORE 00000ac9: RETURNDATASIZE 00000aca: DUP3 00000acb: MSTORE 00000acc: RETURNDATASIZE 00000acd: PUSH1 0x00 00000acf: PUSH1 0x20 00000ad1: DUP5 00000ad2: ADD 00000ad3: RETURNDATACOPY 00000ad4: PUSH2 0x0add 00000ad7: JUMP 00000ad8: JUMPDEST 00000ad9: PUSH1 0x60 00000adb: SWAP2 00000adc: POP 00000add: JUMPDEST 00000ade: POP 00000adf: SWAP2 00000ae0: POP 00000ae1: SWAP2 00000ae2: POP 00000ae3: PUSH2 0x0aed 00000ae6: DUP3 00000ae7: DUP3 00000ae8: DUP7 00000ae9: PUSH2 0x0b1c 00000aec: JUMP 00000aed: JUMPDEST 00000aee: SWAP3 00000aef: POP 00000af0: POP 00000af1: POP 00000af2: SWAP5 00000af3: SWAP4 00000af4: POP 00000af5: POP 00000af6: POP 00000af7: POP 00000af8: JUMP 00000af9: JUMPDEST 00000afa: PUSH1 0x00 00000afc: DUP1 00000afd: DUP3 00000afe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b13: AND 00000b14: EXTCODESIZE 00000b15: GT 00000b16: SWAP1 00000b17: POP 00000b18: SWAP2 00000b19: SWAP1 00000b1a: POP 00000b1b: JUMP 00000b1c: JUMPDEST 00000b1d: PUSH1 0x60 00000b1f: DUP4 00000b20: ISZERO 00000b21: PUSH2 0x0b2c 00000b24: JUMPI 00000b25: DUP3 00000b26: SWAP1 00000b27: POP 00000b28: PUSH2 0x0b7c 00000b2b: JUMP 00000b2c: JUMPDEST 00000b2d: PUSH1 0x00 00000b2f: DUP4 00000b30: MLOAD 00000b31: GT 00000b32: ISZERO 00000b33: PUSH2 0x0b3f 00000b36: JUMPI 00000b37: DUP3 00000b38: MLOAD 00000b39: DUP1 00000b3a: DUP5 00000b3b: PUSH1 0x20 00000b3d: ADD 00000b3e: REVERT 00000b3f: JUMPDEST 00000b40: DUP2 00000b41: PUSH1 0x40 00000b43: MLOAD 00000b44: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b65: DUP2 00000b66: MSTORE 00000b67: PUSH1 0x04 00000b69: ADD 00000b6a: PUSH2 0x0b73 00000b6d: SWAP2 00000b6e: SWAP1 00000b6f: PUSH2 0x11d8 00000b72: JUMP 00000b73: JUMPDEST 00000b74: PUSH1 0x40 00000b76: MLOAD 00000b77: DUP1 00000b78: SWAP2 00000b79: SUB 00000b7a: SWAP1 00000b7b: REVERT 00000b7c: JUMPDEST 00000b7d: SWAP4 00000b7e: SWAP3 00000b7f: POP 00000b80: POP 00000b81: POP 00000b82: JUMP 00000b83: JUMPDEST 00000b84: PUSH1 0x00 00000b86: PUSH2 0x0b96 00000b89: PUSH2 0x0b91 00000b8c: DUP5 00000b8d: PUSH2 0x12ff 00000b90: JUMP 00000b91: JUMPDEST 00000b92: PUSH2 0x12da 00000b95: JUMP 00000b96: JUMPDEST 00000b97: SWAP1 00000b98: POP 00000b99: DUP1 00000b9a: DUP4 00000b9b: DUP3 00000b9c: MSTORE 00000b9d: PUSH1 0x20 00000b9f: DUP3 00000ba0: ADD 00000ba1: SWAP1 00000ba2: POP 00000ba3: DUP3 00000ba4: DUP6 00000ba5: PUSH1 0x20 00000ba7: DUP7 00000ba8: MUL 00000ba9: DUP3 00000baa: ADD 00000bab: GT 00000bac: ISZERO 00000bad: PUSH2 0x0bb5 00000bb0: JUMPI 00000bb1: PUSH1 0x00 00000bb3: DUP1 00000bb4: REVERT 00000bb5: JUMPDEST 00000bb6: PUSH1 0x00 00000bb8: JUMPDEST 00000bb9: DUP6 00000bba: DUP2 00000bbb: LT 00000bbc: ISZERO 00000bbd: PUSH2 0x0be5 00000bc0: JUMPI 00000bc1: DUP2 00000bc2: PUSH2 0x0bcb 00000bc5: DUP9 00000bc6: DUP3 00000bc7: PUSH2 0x0cc7 00000bca: JUMP 00000bcb: JUMPDEST 00000bcc: DUP5 00000bcd: MSTORE 00000bce: PUSH1 0x20 00000bd0: DUP5 00000bd1: ADD 00000bd2: SWAP4 00000bd3: POP 00000bd4: PUSH1 0x20 00000bd6: DUP4 00000bd7: ADD 00000bd8: SWAP3 00000bd9: POP 00000bda: POP 00000bdb: PUSH1 0x01 00000bdd: DUP2 00000bde: ADD 00000bdf: SWAP1 00000be0: POP 00000be1: PUSH2 0x0bb8 00000be4: JUMP 00000be5: JUMPDEST 00000be6: POP 00000be7: POP 00000be8: POP 00000be9: SWAP4 00000bea: SWAP3 00000beb: POP 00000bec: POP 00000bed: POP 00000bee: JUMP 00000bef: JUMPDEST 00000bf0: PUSH1 0x00 00000bf2: PUSH2 0x0c02 00000bf5: PUSH2 0x0bfd 00000bf8: DUP5 00000bf9: PUSH2 0x132b 00000bfc: JUMP 00000bfd: JUMPDEST 00000bfe: PUSH2 0x12da 00000c01: JUMP 00000c02: JUMPDEST 00000c03: SWAP1 00000c04: POP 00000c05: DUP1 00000c06: DUP4 00000c07: DUP3 00000c08: MSTORE 00000c09: PUSH1 0x20 00000c0b: DUP3 00000c0c: ADD 00000c0d: SWAP1 00000c0e: POP 00000c0f: DUP3 00000c10: DUP6 00000c11: PUSH1 0x20 00000c13: DUP7 00000c14: MUL 00000c15: DUP3 00000c16: ADD 00000c17: GT 00000c18: ISZERO 00000c19: PUSH2 0x0c21 00000c1c: JUMPI 00000c1d: PUSH1 0x00 00000c1f: DUP1 00000c20: REVERT 00000c21: JUMPDEST 00000c22: PUSH1 0x00 00000c24: JUMPDEST 00000c25: DUP6 00000c26: DUP2 00000c27: LT 00000c28: ISZERO 00000c29: PUSH2 0x0c51 00000c2c: JUMPI 00000c2d: DUP2 00000c2e: PUSH2 0x0c37 00000c31: DUP9 00000c32: DUP3 00000c33: PUSH2 0x0d84 00000c36: JUMP 00000c37: JUMPDEST 00000c38: DUP5 00000c39: MSTORE 00000c3a: PUSH1 0x20 00000c3c: DUP5 00000c3d: ADD 00000c3e: SWAP4 00000c3f: POP 00000c40: PUSH1 0x20 00000c42: DUP4 00000c43: ADD 00000c44: SWAP3 00000c45: POP 00000c46: POP 00000c47: PUSH1 0x01 00000c49: DUP2 00000c4a: ADD 00000c4b: SWAP1 00000c4c: POP 00000c4d: PUSH2 0x0c24 00000c50: JUMP 00000c51: JUMPDEST 00000c52: POP 00000c53: POP 00000c54: POP 00000c55: SWAP4 00000c56: SWAP3 00000c57: POP 00000c58: POP 00000c59: POP 00000c5a: JUMP 00000c5b: JUMPDEST 00000c5c: PUSH1 0x00 00000c5e: PUSH2 0x0c6e 00000c61: PUSH2 0x0c69 00000c64: DUP5 00000c65: PUSH2 0x1357 00000c68: JUMP 00000c69: JUMPDEST 00000c6a: PUSH2 0x12da 00000c6d: JUMP 00000c6e: JUMPDEST 00000c6f: SWAP1 00000c70: POP 00000c71: DUP1 00000c72: DUP4 00000c73: DUP3 00000c74: MSTORE 00000c75: PUSH1 0x20 00000c77: DUP3 00000c78: ADD 00000c79: SWAP1 00000c7a: POP 00000c7b: DUP3 00000c7c: DUP6 00000c7d: PUSH1 0x20 00000c7f: DUP7 00000c80: MUL 00000c81: DUP3 00000c82: ADD 00000c83: GT 00000c84: ISZERO 00000c85: PUSH2 0x0c8d 00000c88: JUMPI 00000c89: PUSH1 0x00 00000c8b: DUP1 00000c8c: REVERT 00000c8d: JUMPDEST 00000c8e: PUSH1 0x00 00000c90: JUMPDEST 00000c91: DUP6 00000c92: DUP2 00000c93: LT 00000c94: ISZERO 00000c95: PUSH2 0x0cbd 00000c98: JUMPI 00000c99: DUP2 00000c9a: PUSH2 0x0ca3 00000c9d: DUP9 00000c9e: DUP3 00000c9f: PUSH2 0x0d99 00000ca2: JUMP 00000ca3: JUMPDEST 00000ca4: DUP5 00000ca5: MSTORE 00000ca6: PUSH1 0x20 00000ca8: DUP5 00000ca9: ADD 00000caa: SWAP4 00000cab: POP 00000cac: PUSH1 0x20 00000cae: DUP4 00000caf: ADD 00000cb0: SWAP3 00000cb1: POP 00000cb2: POP 00000cb3: PUSH1 0x01 00000cb5: DUP2 00000cb6: ADD 00000cb7: SWAP1 00000cb8: POP 00000cb9: PUSH2 0x0c90 00000cbc: JUMP 00000cbd: JUMPDEST 00000cbe: POP 00000cbf: POP 00000cc0: POP 00000cc1: SWAP4 00000cc2: SWAP3 00000cc3: POP 00000cc4: POP 00000cc5: POP 00000cc6: JUMP 00000cc7: JUMPDEST 00000cc8: PUSH1 0x00 00000cca: DUP2 00000ccb: CALLDATALOAD 00000ccc: SWAP1 00000ccd: POP 00000cce: PUSH2 0x0cd6 00000cd1: DUP2 00000cd2: PUSH2 0x1902 00000cd5: JUMP 00000cd6: JUMPDEST 00000cd7: SWAP3 00000cd8: SWAP2 00000cd9: POP 00000cda: POP 00000cdb: JUMP 00000cdc: JUMPDEST 00000cdd: PUSH1 0x00 00000cdf: DUP2 00000ce0: CALLDATALOAD 00000ce1: SWAP1 00000ce2: POP 00000ce3: PUSH2 0x0ceb 00000ce6: DUP2 00000ce7: PUSH2 0x1919 00000cea: JUMP 00000ceb: JUMPDEST 00000cec: SWAP3 00000ced: SWAP2 00000cee: POP 00000cef: POP 00000cf0: JUMP 00000cf1: JUMPDEST 00000cf2: PUSH1 0x00 00000cf4: DUP3 00000cf5: PUSH1 0x1f 00000cf7: DUP4 00000cf8: ADD 00000cf9: SLT 00000cfa: PUSH2 0x0d02 00000cfd: JUMPI 00000cfe: PUSH1 0x00 00000d00: DUP1 00000d01: REVERT 00000d02: JUMPDEST 00000d03: DUP2 00000d04: CALLDATALOAD 00000d05: PUSH2 0x0d12 00000d08: DUP5 00000d09: DUP3 00000d0a: PUSH1 0x20 00000d0c: DUP7 00000d0d: ADD 00000d0e: PUSH2 0x0b83 00000d11: JUMP 00000d12: JUMPDEST 00000d13: SWAP2 00000d14: POP 00000d15: POP 00000d16: SWAP3 00000d17: SWAP2 00000d18: POP 00000d19: POP 00000d1a: JUMP 00000d1b: JUMPDEST 00000d1c: PUSH1 0x00 00000d1e: DUP3 00000d1f: PUSH1 0x1f 00000d21: DUP4 00000d22: ADD 00000d23: SLT 00000d24: PUSH2 0x0d2c 00000d27: JUMPI 00000d28: PUSH1 0x00 00000d2a: DUP1 00000d2b: REVERT 00000d2c: JUMPDEST 00000d2d: DUP2 00000d2e: CALLDATALOAD 00000d2f: PUSH2 0x0d3c 00000d32: DUP5 00000d33: DUP3 00000d34: PUSH1 0x20 00000d36: DUP7 00000d37: ADD 00000d38: PUSH2 0x0bef 00000d3b: JUMP 00000d3c: JUMPDEST 00000d3d: SWAP2 00000d3e: POP 00000d3f: POP 00000d40: SWAP3 00000d41: SWAP2 00000d42: POP 00000d43: POP 00000d44: JUMP 00000d45: JUMPDEST 00000d46: PUSH1 0x00 00000d48: DUP3 00000d49: PUSH1 0x1f 00000d4b: DUP4 00000d4c: ADD 00000d4d: SLT 00000d4e: PUSH2 0x0d56 00000d51: JUMPI 00000d52: PUSH1 0x00 00000d54: DUP1 00000d55: REVERT 00000d56: JUMPDEST 00000d57: DUP2 00000d58: CALLDATALOAD 00000d59: PUSH2 0x0d66 00000d5c: DUP5 00000d5d: DUP3 00000d5e: PUSH1 0x20 00000d60: DUP7 00000d61: ADD 00000d62: PUSH2 0x0c5b 00000d65: JUMP 00000d66: JUMPDEST 00000d67: SWAP2 00000d68: POP 00000d69: POP 00000d6a: SWAP3 00000d6b: SWAP2 00000d6c: POP 00000d6d: POP 00000d6e: JUMP 00000d6f: JUMPDEST 00000d70: PUSH1 0x00 00000d72: DUP2 00000d73: MLOAD 00000d74: SWAP1 00000d75: POP 00000d76: PUSH2 0x0d7e 00000d79: DUP2 00000d7a: PUSH2 0x1930 00000d7d: JUMP 00000d7e: JUMPDEST 00000d7f: SWAP3 00000d80: SWAP2 00000d81: POP 00000d82: POP 00000d83: JUMP 00000d84: JUMPDEST 00000d85: PUSH1 0x00 00000d87: DUP2 00000d88: CALLDATALOAD 00000d89: SWAP1 00000d8a: POP 00000d8b: PUSH2 0x0d93 00000d8e: DUP2 00000d8f: PUSH2 0x1947 00000d92: JUMP 00000d93: JUMPDEST 00000d94: SWAP3 00000d95: SWAP2 00000d96: POP 00000d97: POP 00000d98: JUMP 00000d99: JUMPDEST 00000d9a: PUSH1 0x00 00000d9c: DUP2 00000d9d: CALLDATALOAD 00000d9e: SWAP1 00000d9f: POP 00000da0: PUSH2 0x0da8 00000da3: DUP2 00000da4: PUSH2 0x195e 00000da7: JUMP 00000da8: JUMPDEST 00000da9: SWAP3 00000daa: SWAP2 00000dab: POP 00000dac: POP 00000dad: JUMP 00000dae: JUMPDEST 00000daf: PUSH1 0x00 00000db1: DUP2 00000db2: MLOAD 00000db3: SWAP1 00000db4: POP 00000db5: PUSH2 0x0dbd 00000db8: DUP2 00000db9: PUSH2 0x1975 00000dbc: JUMP 00000dbd: JUMPDEST 00000dbe: SWAP3 00000dbf: SWAP2 00000dc0: POP 00000dc1: POP 00000dc2: JUMP 00000dc3: JUMPDEST 00000dc4: PUSH1 0x00 00000dc6: PUSH1 0x20 00000dc8: DUP3 00000dc9: DUP5 00000dca: SUB 00000dcb: SLT 00000dcc: ISZERO 00000dcd: PUSH2 0x0dd5 00000dd0: JUMPI 00000dd1: PUSH1 0x00 00000dd3: DUP1 00000dd4: REVERT 00000dd5: JUMPDEST 00000dd6: PUSH1 0x00 00000dd8: PUSH2 0x0de3 00000ddb: DUP5 00000ddc: DUP3 00000ddd: DUP6 00000dde: ADD 00000ddf: PUSH2 0x0cc7 00000de2: JUMP 00000de3: JUMPDEST 00000de4: SWAP2 00000de5: POP 00000de6: POP 00000de7: SWAP3 00000de8: SWAP2 00000de9: POP 00000dea: POP 00000deb: JUMP 00000dec: JUMPDEST 00000ded: PUSH1 0x00 00000def: PUSH1 0x20 00000df1: DUP3 00000df2: DUP5 00000df3: SUB 00000df4: SLT 00000df5: ISZERO 00000df6: PUSH2 0x0dfe 00000df9: JUMPI 00000dfa: PUSH1 0x00 00000dfc: DUP1 00000dfd: REVERT 00000dfe: JUMPDEST 00000dff: PUSH1 0x00 00000e01: PUSH2 0x0e0c 00000e04: DUP5 00000e05: DUP3 00000e06: DUP6 00000e07: ADD 00000e08: PUSH2 0x0cdc 00000e0b: JUMP 00000e0c: JUMPDEST 00000e0d: SWAP2 00000e0e: POP 00000e0f: POP 00000e10: SWAP3 00000e11: SWAP2 00000e12: POP 00000e13: POP 00000e14: JUMP 00000e15: JUMPDEST 00000e16: PUSH1 0x00 00000e18: DUP1 00000e19: PUSH1 0x00 00000e1b: PUSH1 0x60 00000e1d: DUP5 00000e1e: DUP7 00000e1f: SUB 00000e20: SLT 00000e21: ISZERO 00000e22: PUSH2 0x0e2a 00000e25: JUMPI 00000e26: PUSH1 0x00 00000e28: DUP1 00000e29: REVERT 00000e2a: JUMPDEST 00000e2b: PUSH1 0x00 00000e2d: DUP5 00000e2e: ADD 00000e2f: CALLDATALOAD 00000e30: PUSH8 0xffffffffffffffff 00000e39: DUP2 00000e3a: GT 00000e3b: ISZERO 00000e3c: PUSH2 0x0e44 00000e3f: JUMPI 00000e40: PUSH1 0x00 00000e42: DUP1 00000e43: REVERT 00000e44: JUMPDEST 00000e45: PUSH2 0x0e50 00000e48: DUP7 00000e49: DUP3 00000e4a: DUP8 00000e4b: ADD 00000e4c: PUSH2 0x0cf1 00000e4f: JUMP 00000e50: JUMPDEST 00000e51: SWAP4 00000e52: POP 00000e53: POP 00000e54: PUSH1 0x20 00000e56: PUSH2 0x0e61 00000e59: DUP7 00000e5a: DUP3 00000e5b: DUP8 00000e5c: ADD 00000e5d: PUSH2 0x0cc7 00000e60: JUMP 00000e61: JUMPDEST 00000e62: SWAP3 00000e63: POP 00000e64: POP 00000e65: PUSH1 0x40 00000e67: DUP5 00000e68: ADD 00000e69: CALLDATALOAD 00000e6a: PUSH8 0xffffffffffffffff 00000e73: DUP2 00000e74: GT 00000e75: ISZERO 00000e76: PUSH2 0x0e7e 00000e79: JUMPI 00000e7a: PUSH1 0x00 00000e7c: DUP1 00000e7d: REVERT 00000e7e: JUMPDEST 00000e7f: PUSH2 0x0e8a 00000e82: DUP7 00000e83: DUP3 00000e84: DUP8 00000e85: ADD 00000e86: PUSH2 0x0d45 00000e89: JUMP 00000e8a: JUMPDEST 00000e8b: SWAP2 00000e8c: POP 00000e8d: POP 00000e8e: SWAP3 00000e8f: POP 00000e90: SWAP3 00000e91: POP 00000e92: SWAP3 00000e93: JUMP 00000e94: JUMPDEST 00000e95: PUSH1 0x00 00000e97: DUP1 00000e98: PUSH1 0x00 00000e9a: DUP1 00000e9b: PUSH1 0x80 00000e9d: DUP6 00000e9e: DUP8 00000e9f: SUB 00000ea0: SLT 00000ea1: ISZERO 00000ea2: PUSH2 0x0eaa 00000ea5: JUMPI 00000ea6: PUSH1 0x00 00000ea8: DUP1 00000ea9: REVERT 00000eaa: JUMPDEST 00000eab: PUSH1 0x00 00000ead: DUP6 00000eae: ADD 00000eaf: CALLDATALOAD 00000eb0: PUSH8 0xffffffffffffffff 00000eb9: DUP2 00000eba: GT 00000ebb: ISZERO 00000ebc: PUSH2 0x0ec4 00000ebf: JUMPI 00000ec0: PUSH1 0x00 00000ec2: DUP1 00000ec3: REVERT 00000ec4: JUMPDEST 00000ec5: PUSH2 0x0ed0 00000ec8: DUP8 00000ec9: DUP3 00000eca: DUP9 00000ecb: ADD 00000ecc: PUSH2 0x0cf1 00000ecf: JUMP 00000ed0: JUMPDEST 00000ed1: SWAP5 00000ed2: POP 00000ed3: POP 00000ed4: PUSH1 0x20 00000ed6: DUP6 00000ed7: ADD 00000ed8: CALLDATALOAD 00000ed9: PUSH8 0xffffffffffffffff 00000ee2: DUP2 00000ee3: GT 00000ee4: ISZERO 00000ee5: PUSH2 0x0eed 00000ee8: JUMPI 00000ee9: PUSH1 0x00 00000eeb: DUP1 00000eec: REVERT 00000eed: JUMPDEST 00000eee: PUSH2 0x0ef9 00000ef1: DUP8 00000ef2: DUP3 00000ef3: DUP9 00000ef4: ADD 00000ef5: PUSH2 0x0d1b 00000ef8: JUMP 00000ef9: JUMPDEST 00000efa: SWAP4 00000efb: POP 00000efc: POP 00000efd: PUSH1 0x40 00000eff: PUSH2 0x0f0a 00000f02: DUP8 00000f03: DUP3 00000f04: DUP9 00000f05: ADD 00000f06: PUSH2 0x0cc7 00000f09: JUMP 00000f0a: JUMPDEST 00000f0b: SWAP3 00000f0c: POP 00000f0d: POP 00000f0e: PUSH1 0x60 00000f10: DUP6 00000f11: ADD 00000f12: CALLDATALOAD 00000f13: PUSH8 0xffffffffffffffff 00000f1c: DUP2 00000f1d: GT 00000f1e: ISZERO 00000f1f: PUSH2 0x0f27 00000f22: JUMPI 00000f23: PUSH1 0x00 00000f25: DUP1 00000f26: REVERT 00000f27: JUMPDEST 00000f28: PUSH2 0x0f33 00000f2b: DUP8 00000f2c: DUP3 00000f2d: DUP9 00000f2e: ADD 00000f2f: PUSH2 0x0d45 00000f32: JUMP 00000f33: JUMPDEST 00000f34: SWAP2 00000f35: POP 00000f36: POP 00000f37: SWAP3 00000f38: SWAP6 00000f39: SWAP2 00000f3a: SWAP5 00000f3b: POP 00000f3c: SWAP3 00000f3d: POP 00000f3e: JUMP 00000f3f: JUMPDEST 00000f40: PUSH1 0x00 00000f42: PUSH1 0x20 00000f44: DUP3 00000f45: DUP5 00000f46: SUB 00000f47: SLT 00000f48: ISZERO 00000f49: PUSH2 0x0f51 00000f4c: JUMPI 00000f4d: PUSH1 0x00 00000f4f: DUP1 00000f50: REVERT 00000f51: JUMPDEST 00000f52: PUSH1 0x00 00000f54: PUSH2 0x0f5f 00000f57: DUP5 00000f58: DUP3 00000f59: DUP6 00000f5a: ADD 00000f5b: PUSH2 0x0d6f 00000f5e: JUMP 00000f5f: JUMPDEST 00000f60: SWAP2 00000f61: POP 00000f62: POP 00000f63: SWAP3 00000f64: SWAP2 00000f65: POP 00000f66: POP 00000f67: JUMP 00000f68: JUMPDEST 00000f69: PUSH1 0x00 00000f6b: PUSH1 0x20 00000f6d: DUP3 00000f6e: DUP5 00000f6f: SUB 00000f70: SLT 00000f71: ISZERO 00000f72: PUSH2 0x0f7a 00000f75: JUMPI 00000f76: PUSH1 0x00 00000f78: DUP1 00000f79: REVERT 00000f7a: JUMPDEST 00000f7b: PUSH1 0x00 00000f7d: PUSH2 0x0f88 00000f80: DUP5 00000f81: DUP3 00000f82: DUP6 00000f83: ADD 00000f84: PUSH2 0x0dae 00000f87: JUMP 00000f88: JUMPDEST 00000f89: SWAP2 00000f8a: POP 00000f8b: POP 00000f8c: SWAP3 00000f8d: SWAP2 00000f8e: POP 00000f8f: POP 00000f90: JUMP 00000f91: JUMPDEST 00000f92: PUSH2 0x0f9a 00000f95: DUP2 00000f96: PUSH2 0x1580 00000f99: JUMP 00000f9a: JUMPDEST 00000f9b: DUP3 00000f9c: MSTORE 00000f9d: POP 00000f9e: POP 00000f9f: JUMP 00000fa0: JUMPDEST 00000fa1: PUSH1 0x00 00000fa3: PUSH2 0x0fab 00000fa6: DUP3 00000fa7: PUSH2 0x1383 00000faa: JUMP 00000fab: JUMPDEST 00000fac: PUSH2 0x0fb5 00000faf: DUP2 00000fb0: DUP6 00000fb1: PUSH2 0x1399 00000fb4: JUMP 00000fb5: JUMPDEST 00000fb6: SWAP4 00000fb7: POP 00000fb8: PUSH2 0x0fc5 00000fbb: DUP2 00000fbc: DUP6 00000fbd: PUSH1 0x20 00000fbf: DUP7 00000fc0: ADD 00000fc1: PUSH2 0x15f9 00000fc4: JUMP 00000fc5: JUMPDEST 00000fc6: DUP1 00000fc7: DUP5 00000fc8: ADD 00000fc9: SWAP2 00000fca: POP 00000fcb: POP 00000fcc: SWAP3 00000fcd: SWAP2 00000fce: POP 00000fcf: POP 00000fd0: JUMP 00000fd1: JUMPDEST 00000fd2: PUSH1 0x00 00000fd4: PUSH2 0x0fdc 00000fd7: DUP3 00000fd8: PUSH2 0x138e 00000fdb: JUMP 00000fdc: JUMPDEST 00000fdd: PUSH2 0x0fe6 00000fe0: DUP2 00000fe1: DUP6 00000fe2: PUSH2 0x13a4 00000fe5: JUMP 00000fe6: JUMPDEST 00000fe7: SWAP4 00000fe8: POP 00000fe9: PUSH2 0x0ff6 00000fec: DUP2 00000fed: DUP6 00000fee: PUSH1 0x20 00000ff0: DUP7 00000ff1: ADD 00000ff2: PUSH2 0x15f9 00000ff5: JUMP 00000ff6: JUMPDEST 00000ff7: PUSH2 0x0fff 00000ffa: DUP2 00000ffb: PUSH2 0x1704 00000ffe: JUMP 00000fff: JUMPDEST 00001000: DUP5 00001001: ADD 00001002: SWAP2 00001003: POP 00001004: POP 00001005: SWAP3 00001006: SWAP2 00001007: POP 00001008: POP 00001009: JUMP 0000100a: JUMPDEST 0000100b: PUSH1 0x00 0000100d: PUSH2 0x1017 00001010: PUSH1 0x28 00001012: DUP4 00001013: PUSH2 0x13a4 00001016: JUMP 00001017: JUMPDEST 00001018: SWAP2 00001019: POP 0000101a: PUSH2 0x1022 0000101d: DUP3 0000101e: PUSH2 0x1722 00001021: JUMP 00001022: JUMPDEST 00001023: PUSH1 0x40 00001025: DUP3 00001026: ADD 00001027: SWAP1 00001028: POP 00001029: SWAP2 0000102a: SWAP1 0000102b: POP 0000102c: JUMP 0000102d: JUMPDEST 0000102e: PUSH1 0x00 00001030: PUSH2 0x103a 00001033: PUSH1 0x26 00001035: DUP4 00001036: PUSH2 0x13a4 00001039: JUMP 0000103a: JUMPDEST 0000103b: SWAP2 0000103c: POP 0000103d: PUSH2 0x1045 00001040: DUP3 00001041: PUSH2 0x1771 00001044: JUMP 00001045: JUMPDEST 00001046: PUSH1 0x40 00001048: DUP3 00001049: ADD 0000104a: SWAP1 0000104b: POP 0000104c: SWAP2 0000104d: SWAP1 0000104e: POP 0000104f: JUMP 00001050: JUMPDEST 00001051: PUSH1 0x00 00001053: PUSH2 0x105d 00001056: PUSH1 0x22 00001058: DUP4 00001059: PUSH2 0x13a4 0000105c: JUMP 0000105d: JUMPDEST 0000105e: SWAP2 0000105f: POP 00001060: PUSH2 0x1068 00001063: DUP3 00001064: PUSH2 0x17c0 00001067: JUMP 00001068: JUMPDEST 00001069: PUSH1 0x40 0000106b: DUP3 0000106c: ADD 0000106d: SWAP1 0000106e: POP 0000106f: SWAP2 00001070: SWAP1 00001071: POP 00001072: JUMP 00001073: JUMPDEST 00001074: PUSH1 0x00 00001076: PUSH2 0x1080 00001079: PUSH1 0x00 0000107b: DUP4 0000107c: PUSH2 0x1399 0000107f: JUMP 00001080: JUMPDEST 00001081: SWAP2 00001082: POP 00001083: PUSH2 0x108b 00001086: DUP3 00001087: PUSH2 0x180f 0000108a: JUMP 0000108b: JUMPDEST 0000108c: PUSH1 0x00 0000108e: DUP3 0000108f: ADD 00001090: SWAP1 00001091: POP 00001092: SWAP2 00001093: SWAP1 00001094: POP 00001095: JUMP 00001096: JUMPDEST 00001097: PUSH1 0x00 00001099: PUSH2 0x10a3 0000109c: PUSH1 0x13 0000109e: DUP4 0000109f: PUSH2 0x13a4 000010a2: JUMP 000010a3: JUMPDEST 000010a4: SWAP2 000010a5: POP 000010a6: PUSH2 0x10ae 000010a9: DUP3 000010aa: PUSH2 0x1812 000010ad: JUMP 000010ae: JUMPDEST 000010af: PUSH1 0x20 000010b1: DUP3 000010b2: ADD 000010b3: SWAP1 000010b4: POP 000010b5: SWAP2 000010b6: SWAP1 000010b7: POP 000010b8: JUMP 000010b9: JUMPDEST 000010ba: PUSH1 0x00 000010bc: PUSH2 0x10c6 000010bf: PUSH1 0x1d 000010c1: DUP4 000010c2: PUSH2 0x13a4 000010c5: JUMP 000010c6: JUMPDEST 000010c7: SWAP2 000010c8: POP 000010c9: PUSH2 0x10d1 000010cc: DUP3 000010cd: PUSH2 0x183b 000010d0: JUMP 000010d1: JUMPDEST 000010d2: PUSH1 0x20 000010d4: DUP3 000010d5: ADD 000010d6: SWAP1 000010d7: POP 000010d8: SWAP2 000010d9: SWAP1 000010da: POP 000010db: JUMP 000010dc: JUMPDEST 000010dd: PUSH1 0x00 000010df: PUSH2 0x10e9 000010e2: PUSH1 0x3a 000010e4: DUP4 000010e5: PUSH2 0x13a4 000010e8: JUMP 000010e9: JUMPDEST 000010ea: SWAP2 000010eb: POP 000010ec: PUSH2 0x10f4 000010ef: DUP3 000010f0: PUSH2 0x1864 000010f3: JUMP 000010f4: JUMPDEST 000010f5: PUSH1 0x40 000010f7: DUP3 000010f8: ADD 000010f9: SWAP1 000010fa: POP 000010fb: SWAP2 000010fc: SWAP1 000010fd: POP 000010fe: JUMP 000010ff: JUMPDEST 00001100: PUSH1 0x00 00001102: PUSH2 0x110c 00001105: PUSH1 0x2a 00001107: DUP4 00001108: PUSH2 0x13a4 0000110b: JUMP 0000110c: JUMPDEST 0000110d: SWAP2 0000110e: POP 0000110f: PUSH2 0x1117 00001112: DUP3 00001113: PUSH2 0x18b3 00001116: JUMP 00001117: JUMPDEST 00001118: PUSH1 0x40 0000111a: DUP3 0000111b: ADD 0000111c: SWAP1 0000111d: POP 0000111e: SWAP2 0000111f: SWAP1 00001120: POP 00001121: JUMP 00001122: JUMPDEST 00001123: PUSH2 0x112b 00001126: DUP2 00001127: PUSH2 0x15e2 0000112a: JUMP 0000112b: JUMPDEST 0000112c: DUP3 0000112d: MSTORE 0000112e: POP 0000112f: POP 00001130: JUMP 00001131: JUMPDEST 00001132: PUSH1 0x00 00001134: PUSH2 0x113d 00001137: DUP3 00001138: DUP5 00001139: PUSH2 0x0fa0 0000113c: JUMP 0000113d: JUMPDEST 0000113e: SWAP2 0000113f: POP 00001140: DUP2 00001141: SWAP1 00001142: POP 00001143: SWAP3 00001144: SWAP2 00001145: POP 00001146: POP 00001147: JUMP 00001148: JUMPDEST 00001149: PUSH1 0x00 0000114b: PUSH2 0x1153 0000114e: DUP3 0000114f: PUSH2 0x1073 00001152: JUMP 00001153: JUMPDEST 00001154: SWAP2 00001155: POP 00001156: DUP2 00001157: SWAP1 00001158: POP 00001159: SWAP2 0000115a: SWAP1 0000115b: POP 0000115c: JUMP 0000115d: JUMPDEST 0000115e: PUSH1 0x00 00001160: PUSH1 0x20 00001162: DUP3 00001163: ADD 00001164: SWAP1 00001165: POP 00001166: PUSH2 0x1172 00001169: PUSH1 0x00 0000116b: DUP4 0000116c: ADD 0000116d: DUP5 0000116e: PUSH2 0x0f91 00001171: JUMP 00001172: JUMPDEST 00001173: SWAP3 00001174: SWAP2 00001175: POP 00001176: POP 00001177: JUMP 00001178: JUMPDEST 00001179: PUSH1 0x00 0000117b: PUSH1 0x60 0000117d: DUP3 0000117e: ADD 0000117f: SWAP1 00001180: POP 00001181: PUSH2 0x118d 00001184: PUSH1 0x00 00001186: DUP4 00001187: ADD 00001188: DUP7 00001189: PUSH2 0x0f91 0000118c: JUMP 0000118d: JUMPDEST 0000118e: PUSH2 0x119a 00001191: PUSH1 0x20 00001193: DUP4 00001194: ADD 00001195: DUP6 00001196: PUSH2 0x0f91 00001199: JUMP 0000119a: JUMPDEST 0000119b: PUSH2 0x11a7 0000119e: PUSH1 0x40 000011a0: DUP4 000011a1: ADD 000011a2: DUP5 000011a3: PUSH2 0x1122 000011a6: JUMP 000011a7: JUMPDEST 000011a8: SWAP5 000011a9: SWAP4 000011aa: POP 000011ab: POP 000011ac: POP 000011ad: POP 000011ae: JUMP 000011af: JUMPDEST 000011b0: PUSH1 0x00 000011b2: PUSH1 0x40 000011b4: DUP3 000011b5: ADD 000011b6: SWAP1 000011b7: POP 000011b8: PUSH2 0x11c4 000011bb: PUSH1 0x00 000011bd: DUP4 000011be: ADD 000011bf: DUP6 000011c0: PUSH2 0x0f91 000011c3: JUMP 000011c4: JUMPDEST 000011c5: PUSH2 0x11d1 000011c8: PUSH1 0x20 000011ca: DUP4 000011cb: ADD 000011cc: DUP5 000011cd: PUSH2 0x1122 000011d0: JUMP 000011d1: JUMPDEST 000011d2: SWAP4 000011d3: SWAP3 000011d4: POP 000011d5: POP 000011d6: POP 000011d7: JUMP 000011d8: JUMPDEST 000011d9: PUSH1 0x00 000011db: PUSH1 0x20 000011dd: DUP3 000011de: ADD 000011df: SWAP1 000011e0: POP 000011e1: DUP2 000011e2: DUP2 000011e3: SUB 000011e4: PUSH1 0x00 000011e6: DUP4 000011e7: ADD 000011e8: MSTORE 000011e9: PUSH2 0x11f2 000011ec: DUP2 000011ed: DUP5 000011ee: PUSH2 0x0fd1 000011f1: JUMP 000011f2: JUMPDEST 000011f3: SWAP1 000011f4: POP 000011f5: SWAP3 000011f6: SWAP2 000011f7: POP 000011f8: POP 000011f9: JUMP 000011fa: JUMPDEST 000011fb: PUSH1 0x00 000011fd: PUSH1 0x20 000011ff: DUP3 00001200: ADD 00001201: SWAP1 00001202: POP 00001203: DUP2 00001204: DUP2 00001205: SUB 00001206: PUSH1 0x00 00001208: DUP4 00001209: ADD 0000120a: MSTORE 0000120b: PUSH2 0x1213 0000120e: DUP2 0000120f: PUSH2 0x100a 00001212: JUMP 00001213: JUMPDEST 00001214: SWAP1 00001215: POP 00001216: SWAP2 00001217: SWAP1 00001218: POP 00001219: JUMP 0000121a: JUMPDEST 0000121b: PUSH1 0x00 0000121d: PUSH1 0x20 0000121f: DUP3 00001220: ADD 00001221: SWAP1 00001222: POP 00001223: DUP2 00001224: DUP2 00001225: SUB 00001226: PUSH1 0x00 00001228: DUP4 00001229: ADD 0000122a: MSTORE 0000122b: PUSH2 0x1233 0000122e: DUP2 0000122f: PUSH2 0x102d 00001232: JUMP 00001233: JUMPDEST 00001234: SWAP1 00001235: POP 00001236: SWAP2 00001237: SWAP1 00001238: POP 00001239: JUMP 0000123a: JUMPDEST 0000123b: PUSH1 0x00 0000123d: PUSH1 0x20 0000123f: DUP3 00001240: ADD 00001241: SWAP1 00001242: POP 00001243: DUP2 00001244: DUP2 00001245: SUB 00001246: PUSH1 0x00 00001248: DUP4 00001249: ADD 0000124a: MSTORE 0000124b: PUSH2 0x1253 0000124e: DUP2 0000124f: PUSH2 0x1050 00001252: JUMP 00001253: JUMPDEST 00001254: SWAP1 00001255: POP 00001256: SWAP2 00001257: SWAP1 00001258: POP 00001259: JUMP 0000125a: JUMPDEST 0000125b: PUSH1 0x00 0000125d: PUSH1 0x20 0000125f: DUP3 00001260: ADD 00001261: SWAP1 00001262: POP 00001263: DUP2 00001264: DUP2 00001265: SUB 00001266: PUSH1 0x00 00001268: DUP4 00001269: ADD 0000126a: MSTORE 0000126b: PUSH2 0x1273 0000126e: DUP2 0000126f: PUSH2 0x1096 00001272: JUMP 00001273: JUMPDEST 00001274: SWAP1 00001275: POP 00001276: SWAP2 00001277: SWAP1 00001278: POP 00001279: JUMP 0000127a: JUMPDEST 0000127b: PUSH1 0x00 0000127d: PUSH1 0x20 0000127f: DUP3 00001280: ADD 00001281: SWAP1 00001282: POP 00001283: DUP2 00001284: DUP2 00001285: SUB 00001286: PUSH1 0x00 00001288: DUP4 00001289: ADD 0000128a: MSTORE 0000128b: PUSH2 0x1293 0000128e: DUP2 0000128f: PUSH2 0x10b9 00001292: JUMP 00001293: JUMPDEST 00001294: SWAP1 00001295: POP 00001296: SWAP2 00001297: SWAP1 00001298: POP 00001299: JUMP 0000129a: JUMPDEST 0000129b: PUSH1 0x00 0000129d: PUSH1 0x20 0000129f: DUP3 000012a0: ADD 000012a1: SWAP1 000012a2: POP 000012a3: DUP2 000012a4: DUP2 000012a5: SUB 000012a6: PUSH1 0x00 000012a8: DUP4 000012a9: ADD 000012aa: MSTORE 000012ab: PUSH2 0x12b3 000012ae: DUP2 000012af: PUSH2 0x10dc 000012b2: JUMP 000012b3: JUMPDEST 000012b4: SWAP1 000012b5: POP 000012b6: SWAP2 000012b7: SWAP1 000012b8: POP 000012b9: JUMP 000012ba: JUMPDEST 000012bb: PUSH1 0x00 000012bd: PUSH1 0x20 000012bf: DUP3 000012c0: ADD 000012c1: SWAP1 000012c2: POP 000012c3: DUP2 000012c4: DUP2 000012c5: SUB 000012c6: PUSH1 0x00 000012c8: DUP4 000012c9: ADD 000012ca: MSTORE 000012cb: PUSH2 0x12d3 000012ce: DUP2 000012cf: PUSH2 0x10ff 000012d2: JUMP 000012d3: JUMPDEST 000012d4: SWAP1 000012d5: POP 000012d6: SWAP2 000012d7: SWAP1 000012d8: POP 000012d9: JUMP 000012da: JUMPDEST 000012db: PUSH1 0x00 000012dd: PUSH2 0x12e4 000012e0: PUSH2 0x12f5 000012e3: JUMP 000012e4: JUMPDEST 000012e5: SWAP1 000012e6: POP 000012e7: PUSH2 0x12f0 000012ea: DUP3 000012eb: DUP3 000012ec: PUSH2 0x162c 000012ef: JUMP 000012f0: JUMPDEST 000012f1: SWAP2 000012f2: SWAP1 000012f3: POP 000012f4: JUMP 000012f5: JUMPDEST 000012f6: PUSH1 0x00 000012f8: PUSH1 0x40 000012fa: MLOAD 000012fb: SWAP1 000012fc: POP 000012fd: SWAP1 000012fe: JUMP 000012ff: JUMPDEST 00001300: PUSH1 0x00 00001302: PUSH8 0xffffffffffffffff 0000130b: DUP3 0000130c: GT 0000130d: ISZERO 0000130e: PUSH2 0x131a 00001311: JUMPI 00001312: PUSH2 0x1319 00001315: PUSH2 0x16d5 00001318: JUMP 00001319: JUMPDEST 0000131a: JUMPDEST 0000131b: PUSH1 0x20 0000131d: DUP3 0000131e: MUL 0000131f: SWAP1 00001320: POP 00001321: PUSH1 0x20 00001323: DUP2 00001324: ADD 00001325: SWAP1 00001326: POP 00001327: SWAP2 00001328: SWAP1 00001329: POP 0000132a: JUMP 0000132b: JUMPDEST 0000132c: PUSH1 0x00 0000132e: PUSH8 0xffffffffffffffff 00001337: DUP3 00001338: GT 00001339: ISZERO 0000133a: PUSH2 0x1346 0000133d: JUMPI 0000133e: PUSH2 0x1345 00001341: PUSH2 0x16d5 00001344: JUMP 00001345: JUMPDEST 00001346: JUMPDEST 00001347: PUSH1 0x20 00001349: DUP3 0000134a: MUL 0000134b: SWAP1 0000134c: POP 0000134d: PUSH1 0x20 0000134f: DUP2 00001350: ADD 00001351: SWAP1 00001352: POP 00001353: SWAP2 00001354: SWAP1 00001355: POP 00001356: JUMP 00001357: JUMPDEST 00001358: PUSH1 0x00 0000135a: PUSH8 0xffffffffffffffff 00001363: DUP3 00001364: GT 00001365: ISZERO 00001366: PUSH2 0x1372 00001369: JUMPI 0000136a: PUSH2 0x1371 0000136d: PUSH2 0x16d5 00001370: JUMP 00001371: JUMPDEST 00001372: JUMPDEST 00001373: PUSH1 0x20 00001375: DUP3 00001376: MUL 00001377: SWAP1 00001378: POP 00001379: PUSH1 0x20 0000137b: DUP2 0000137c: ADD 0000137d: SWAP1 0000137e: POP 0000137f: SWAP2 00001380: SWAP1 00001381: POP 00001382: JUMP 00001383: JUMPDEST 00001384: PUSH1 0x00 00001386: DUP2 00001387: MLOAD 00001388: SWAP1 00001389: POP 0000138a: SWAP2 0000138b: SWAP1 0000138c: POP 0000138d: JUMP 0000138e: JUMPDEST 0000138f: PUSH1 0x00 00001391: DUP2 00001392: MLOAD 00001393: SWAP1 00001394: POP 00001395: SWAP2 00001396: SWAP1 00001397: POP 00001398: JUMP 00001399: JUMPDEST 0000139a: PUSH1 0x00 0000139c: DUP2 0000139d: SWAP1 0000139e: POP 0000139f: SWAP3 000013a0: SWAP2 000013a1: POP 000013a2: POP 000013a3: JUMP 000013a4: JUMPDEST 000013a5: PUSH1 0x00 000013a7: DUP3 000013a8: DUP3 000013a9: MSTORE 000013aa: PUSH1 0x20 000013ac: DUP3 000013ad: ADD 000013ae: SWAP1 000013af: POP 000013b0: SWAP3 000013b1: SWAP2 000013b2: POP 000013b3: POP 000013b4: JUMP 000013b5: JUMPDEST 000013b6: PUSH1 0x00 000013b8: DUP1 000013b9: DUP3 000013ba: SWAP2 000013bb: POP 000013bc: DUP4 000013bd: SWAP1 000013be: POP 000013bf: JUMPDEST 000013c0: PUSH1 0x01 000013c2: DUP6 000013c3: GT 000013c4: ISZERO 000013c5: PUSH2 0x13ff 000013c8: JUMPI 000013c9: DUP1 000013ca: DUP7 000013cb: DIV 000013cc: DUP2 000013cd: GT 000013ce: ISZERO 000013cf: PUSH2 0x13db 000013d2: JUMPI 000013d3: PUSH2 0x13da 000013d6: PUSH2 0x16a6 000013d9: JUMP 000013da: JUMPDEST 000013db: JUMPDEST 000013dc: PUSH1 0x01 000013de: DUP6 000013df: AND 000013e0: ISZERO 000013e1: PUSH2 0x13ea 000013e4: JUMPI 000013e5: DUP1 000013e6: DUP3 000013e7: MUL 000013e8: SWAP2 000013e9: POP 000013ea: JUMPDEST 000013eb: DUP1 000013ec: DUP2 000013ed: MUL 000013ee: SWAP1 000013ef: POP 000013f0: PUSH2 0x13f8 000013f3: DUP6 000013f4: PUSH2 0x1715 000013f7: JUMP 000013f8: JUMPDEST 000013f9: SWAP5 000013fa: POP 000013fb: PUSH2 0x13bf 000013fe: JUMP 000013ff: JUMPDEST 00001400: SWAP5 00001401: POP 00001402: SWAP5 00001403: SWAP3 00001404: POP 00001405: POP 00001406: POP 00001407: JUMP 00001408: JUMPDEST 00001409: PUSH1 0x00 0000140b: PUSH2 0x1413 0000140e: DUP3 0000140f: PUSH2 0x15e2 00001412: JUMP 00001413: JUMPDEST 00001414: SWAP2 00001415: POP 00001416: PUSH2 0x141e 00001419: DUP4 0000141a: PUSH2 0x15e2 0000141d: JUMP 0000141e: JUMPDEST 0000141f: SWAP3 00001420: POP 00001421: PUSH2 0x144b 00001424: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001445: DUP5 00001446: DUP5 00001447: PUSH2 0x1453 0000144a: JUMP 0000144b: JUMPDEST 0000144c: SWAP1 0000144d: POP 0000144e: SWAP3 0000144f: SWAP2 00001450: POP 00001451: POP 00001452: JUMP 00001453: JUMPDEST 00001454: PUSH1 0x00 00001456: DUP3 00001457: PUSH2 0x1463 0000145a: JUMPI 0000145b: PUSH1 0x01 0000145d: SWAP1 0000145e: POP 0000145f: PUSH2 0x151f 00001462: JUMP 00001463: JUMPDEST 00001464: DUP2 00001465: PUSH2 0x1471 00001468: JUMPI 00001469: PUSH1 0x00 0000146b: SWAP1 0000146c: POP 0000146d: PUSH2 0x151f 00001470: JUMP 00001471: JUMPDEST 00001472: DUP2 00001473: PUSH1 0x01 00001475: DUP2 00001476: EQ 00001477: PUSH2 0x1487 0000147a: JUMPI 0000147b: PUSH1 0x02 0000147d: DUP2 0000147e: EQ 0000147f: PUSH2 0x1491 00001482: JUMPI 00001483: PUSH2 0x14c0 00001486: JUMP 00001487: JUMPDEST 00001488: PUSH1 0x01 0000148a: SWAP2 0000148b: POP 0000148c: POP 0000148d: PUSH2 0x151f 00001490: JUMP 00001491: JUMPDEST 00001492: PUSH1 0xff 00001494: DUP5 00001495: GT 00001496: ISZERO 00001497: PUSH2 0x14a3 0000149a: JUMPI 0000149b: PUSH2 0x14a2 0000149e: PUSH2 0x16a6 000014a1: JUMP 000014a2: JUMPDEST 000014a3: JUMPDEST 000014a4: DUP4 000014a5: PUSH1 0x02 000014a7: EXP 000014a8: SWAP2 000014a9: POP 000014aa: DUP5 000014ab: DUP3 000014ac: GT 000014ad: ISZERO 000014ae: PUSH2 0x14ba 000014b1: JUMPI 000014b2: PUSH2 0x14b9 000014b5: PUSH2 0x16a6 000014b8: JUMP 000014b9: JUMPDEST 000014ba: JUMPDEST 000014bb: POP 000014bc: PUSH2 0x151f 000014bf: JUMP 000014c0: JUMPDEST 000014c1: POP 000014c2: PUSH1 0x20 000014c4: DUP4 000014c5: LT 000014c6: PUSH2 0x0133 000014c9: DUP4 000014ca: LT 000014cb: AND 000014cc: PUSH1 0x4e 000014ce: DUP5 000014cf: LT 000014d0: PUSH1 0x0b 000014d2: DUP5 000014d3: LT 000014d4: AND 000014d5: OR 000014d6: ISZERO 000014d7: PUSH2 0x14f5 000014da: JUMPI 000014db: DUP3 000014dc: DUP3 000014dd: EXP 000014de: SWAP1 000014df: POP 000014e0: DUP4 000014e1: DUP2 000014e2: GT 000014e3: ISZERO 000014e4: PUSH2 0x14f0 000014e7: JUMPI 000014e8: PUSH2 0x14ef 000014eb: PUSH2 0x16a6 000014ee: JUMP 000014ef: JUMPDEST 000014f0: JUMPDEST 000014f1: PUSH2 0x151f 000014f4: JUMP 000014f5: JUMPDEST 000014f6: PUSH2 0x1502 000014f9: DUP5 000014fa: DUP5 000014fb: DUP5 000014fc: PUSH1 0x01 000014fe: PUSH2 0x13b5 00001501: JUMP 00001502: JUMPDEST 00001503: SWAP3 00001504: POP 00001505: SWAP1 00001506: POP 00001507: DUP2 00001508: DUP5 00001509: DIV 0000150a: DUP2 0000150b: GT 0000150c: ISZERO 0000150d: PUSH2 0x1519 00001510: JUMPI 00001511: PUSH2 0x1518 00001514: PUSH2 0x16a6 00001517: JUMP 00001518: JUMPDEST 00001519: JUMPDEST 0000151a: DUP2 0000151b: DUP2 0000151c: MUL 0000151d: SWAP1 0000151e: POP 0000151f: JUMPDEST 00001520: SWAP4 00001521: SWAP3 00001522: POP 00001523: POP 00001524: POP 00001525: JUMP 00001526: JUMPDEST 00001527: PUSH1 0x00 00001529: PUSH2 0x1531 0000152c: DUP3 0000152d: PUSH2 0x15e2 00001530: JUMP 00001531: JUMPDEST 00001532: SWAP2 00001533: POP 00001534: PUSH2 0x153c 00001537: DUP4 00001538: PUSH2 0x15e2 0000153b: JUMP 0000153c: JUMPDEST 0000153d: SWAP3 0000153e: POP 0000153f: DUP2 00001540: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001561: DIV 00001562: DUP4 00001563: GT 00001564: DUP3 00001565: ISZERO 00001566: ISZERO 00001567: AND 00001568: ISZERO 00001569: PUSH2 0x1575 0000156c: JUMPI 0000156d: PUSH2 0x1574 00001570: PUSH2 0x16a6 00001573: JUMP 00001574: JUMPDEST 00001575: JUMPDEST 00001576: DUP3 00001577: DUP3 00001578: MUL 00001579: SWAP1 0000157a: POP 0000157b: SWAP3 0000157c: SWAP2 0000157d: POP 0000157e: POP 0000157f: JUMP 00001580: JUMPDEST 00001581: PUSH1 0x00 00001583: PUSH2 0x158b 00001586: DUP3 00001587: PUSH2 0x15c2 0000158a: JUMP 0000158b: JUMPDEST 0000158c: SWAP1 0000158d: POP 0000158e: SWAP2 0000158f: SWAP1 00001590: POP 00001591: JUMP 00001592: JUMPDEST 00001593: PUSH1 0x00 00001595: PUSH2 0x159d 00001598: DUP3 00001599: PUSH2 0x15c2 0000159c: JUMP 0000159d: JUMPDEST 0000159e: SWAP1 0000159f: POP 000015a0: SWAP2 000015a1: SWAP1 000015a2: POP 000015a3: JUMP 000015a4: JUMPDEST 000015a5: PUSH1 0x00 000015a7: DUP2 000015a8: ISZERO 000015a9: ISZERO 000015aa: SWAP1 000015ab: POP 000015ac: SWAP2 000015ad: SWAP1 000015ae: POP 000015af: JUMP 000015b0: JUMPDEST 000015b1: PUSH1 0x00 000015b3: PUSH2 0x15bb 000015b6: DUP3 000015b7: PUSH2 0x1580 000015ba: JUMP 000015bb: JUMPDEST 000015bc: SWAP1 000015bd: POP 000015be: SWAP2 000015bf: SWAP1 000015c0: POP 000015c1: JUMP 000015c2: JUMPDEST 000015c3: PUSH1 0x00 000015c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015da: DUP3 000015db: AND 000015dc: SWAP1 000015dd: POP 000015de: SWAP2 000015df: SWAP1 000015e0: POP 000015e1: JUMP 000015e2: JUMPDEST 000015e3: PUSH1 0x00 000015e5: DUP2 000015e6: SWAP1 000015e7: POP 000015e8: SWAP2 000015e9: SWAP1 000015ea: POP 000015eb: JUMP 000015ec: JUMPDEST 000015ed: PUSH1 0x00 000015ef: PUSH1 0xff 000015f1: DUP3 000015f2: AND 000015f3: SWAP1 000015f4: POP 000015f5: SWAP2 000015f6: SWAP1 000015f7: POP 000015f8: JUMP 000015f9: JUMPDEST 000015fa: PUSH1 0x00 000015fc: JUMPDEST 000015fd: DUP4 000015fe: DUP2 000015ff: LT 00001600: ISZERO 00001601: PUSH2 0x1617 00001604: JUMPI 00001605: DUP1 00001606: DUP3 00001607: ADD 00001608: MLOAD 00001609: DUP2 0000160a: DUP5 0000160b: ADD 0000160c: MSTORE 0000160d: PUSH1 0x20 0000160f: DUP2 00001610: ADD 00001611: SWAP1 00001612: POP 00001613: PUSH2 0x15fc 00001616: JUMP 00001617: JUMPDEST 00001618: DUP4 00001619: DUP2 0000161a: GT 0000161b: ISZERO 0000161c: PUSH2 0x1626 0000161f: JUMPI 00001620: PUSH1 0x00 00001622: DUP5 00001623: DUP5 00001624: ADD 00001625: MSTORE 00001626: JUMPDEST 00001627: POP 00001628: POP 00001629: POP 0000162a: POP 0000162b: JUMP 0000162c: JUMPDEST 0000162d: PUSH2 0x1635 00001630: DUP3 00001631: PUSH2 0x1704 00001634: JUMP 00001635: JUMPDEST 00001636: DUP2 00001637: ADD 00001638: DUP2 00001639: DUP2 0000163a: LT 0000163b: PUSH8 0xffffffffffffffff 00001644: DUP3 00001645: GT 00001646: OR 00001647: ISZERO 00001648: PUSH2 0x1654 0000164b: JUMPI 0000164c: PUSH2 0x1653 0000164f: PUSH2 0x16d5 00001652: JUMP 00001653: JUMPDEST 00001654: JUMPDEST 00001655: DUP1 00001656: PUSH1 0x40 00001658: MSTORE 00001659: POP 0000165a: POP 0000165b: POP 0000165c: JUMP 0000165d: JUMPDEST 0000165e: PUSH1 0x00 00001660: PUSH2 0x1668 00001663: DUP3 00001664: PUSH2 0x15e2 00001667: JUMP 00001668: JUMPDEST 00001669: SWAP2 0000166a: POP 0000166b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000168c: DUP3 0000168d: EQ 0000168e: ISZERO 0000168f: PUSH2 0x169b 00001692: JUMPI 00001693: PUSH2 0x169a 00001696: PUSH2 0x16a6 00001699: JUMP 0000169a: JUMPDEST 0000169b: JUMPDEST 0000169c: PUSH1 0x01 0000169e: DUP3 0000169f: ADD 000016a0: SWAP1 000016a1: POP 000016a2: SWAP2 000016a3: SWAP1 000016a4: POP 000016a5: JUMP 000016a6: JUMPDEST 000016a7: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000016c8: PUSH1 0x00 000016ca: MSTORE 000016cb: PUSH1 0x11 000016cd: PUSH1 0x04 000016cf: MSTORE 000016d0: PUSH1 0x24 000016d2: PUSH1 0x00 000016d4: REVERT 000016d5: JUMPDEST 000016d6: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000016f7: PUSH1 0x00 000016f9: MSTORE 000016fa: PUSH1 0x41 000016fc: PUSH1 0x04 000016fe: MSTORE 000016ff: PUSH1 0x24 00001701: PUSH1 0x00 00001703: REVERT 00001704: JUMPDEST 00001705: PUSH1 0x00 00001707: PUSH1 0x1f 00001709: NOT 0000170a: PUSH1 0x1f 0000170c: DUP4 0000170d: ADD 0000170e: AND 0000170f: SWAP1 00001710: POP 00001711: SWAP2 00001712: SWAP1 00001713: POP 00001714: JUMP 00001715: JUMPDEST 00001716: PUSH1 0x00 00001718: DUP2 00001719: PUSH1 0x01 0000171b: SHR 0000171c: SWAP1 0000171d: POP 0000171e: SWAP2 0000171f: SWAP1 00001720: POP 00001721: JUMP 00001722: JUMPDEST 00001723: PUSH32 0x746f6b656e20616e642076616c756573206c656e677468206d75737420626520 00001744: PUSH1 0x00 00001746: DUP3 00001747: ADD 00001748: MSTORE 00001749: PUSH32 0x7468652073616d65000000000000000000000000000000000000000000000000 0000176a: PUSH1 0x20 0000176c: DUP3 0000176d: ADD 0000176e: MSTORE 0000176f: POP 00001770: JUMP 00001771: JUMPDEST 00001772: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 00001793: PUSH1 0x00 00001795: DUP3 00001796: ADD 00001797: MSTORE 00001798: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000 000017b9: PUSH1 0x20 000017bb: DUP3 000017bc: ADD 000017bd: MSTORE 000017be: POP 000017bf: JUMP 000017c0: JUMPDEST 000017c1: PUSH32 0x4f6e6c792061646d696e2063616e2063616c6c20746869732066756e6374696f 000017e2: PUSH1 0x00 000017e4: DUP3 000017e5: ADD 000017e6: MSTORE 000017e7: PUSH32 0x6e2e000000000000000000000000000000000000000000000000000000000000 00001808: PUSH1 0x20 0000180a: DUP3 0000180b: ADD 0000180c: MSTORE 0000180d: POP 0000180e: JUMP 0000180f: JUMPDEST 00001810: POP 00001811: JUMP 00001812: JUMPDEST 00001813: PUSH32 0x455448207472616e73666572206661696c656400000000000000000000000000 00001834: PUSH1 0x00 00001836: DUP3 00001837: ADD 00001838: MSTORE 00001839: POP 0000183a: JUMP 0000183b: JUMPDEST 0000183c: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 0000185d: PUSH1 0x00 0000185f: DUP3 00001860: ADD 00001861: MSTORE 00001862: POP 00001863: JUMP 00001864: JUMPDEST 00001865: PUSH32 0x636f6e74726163742c20746f6b656e49647320616e6420706179696e67207573 00001886: PUSH1 0x00 00001888: DUP3 00001889: ADD 0000188a: MSTORE 0000188b: PUSH32 0x6572206c656e677468206d757374206265207468652073616d65000000000000 000018ac: PUSH1 0x20 000018ae: DUP3 000018af: ADD 000018b0: MSTORE 000018b1: POP 000018b2: JUMP 000018b3: JUMPDEST 000018b4: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 000018d5: PUSH1 0x00 000018d7: DUP3 000018d8: ADD 000018d9: MSTORE 000018da: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000 000018fb: PUSH1 0x20 000018fd: DUP3 000018fe: ADD 000018ff: MSTORE 00001900: POP 00001901: JUMP 00001902: JUMPDEST 00001903: PUSH2 0x190b 00001906: DUP2 00001907: PUSH2 0x1580 0000190a: JUMP 0000190b: JUMPDEST 0000190c: DUP2 0000190d: EQ 0000190e: PUSH2 0x1916 00001911: JUMPI 00001912: PUSH1 0x00 00001914: DUP1 00001915: REVERT 00001916: JUMPDEST 00001917: POP 00001918: JUMP 00001919: JUMPDEST 0000191a: PUSH2 0x1922 0000191d: DUP2 0000191e: PUSH2 0x1592 00001921: JUMP 00001922: JUMPDEST 00001923: DUP2 00001924: EQ 00001925: PUSH2 0x192d 00001928: JUMPI 00001929: PUSH1 0x00 0000192b: DUP1 0000192c: REVERT 0000192d: JUMPDEST 0000192e: POP 0000192f: JUMP 00001930: JUMPDEST 00001931: PUSH2 0x1939 00001934: DUP2 00001935: PUSH2 0x15a4 00001938: JUMP 00001939: JUMPDEST 0000193a: DUP2 0000193b: EQ 0000193c: PUSH2 0x1944 0000193f: JUMPI 00001940: PUSH1 0x00 00001942: DUP1 00001943: REVERT 00001944: JUMPDEST 00001945: POP 00001946: JUMP 00001947: JUMPDEST 00001948: PUSH2 0x1950 0000194b: DUP2 0000194c: PUSH2 0x15b0 0000194f: JUMP 00001950: JUMPDEST 00001951: DUP2 00001952: EQ 00001953: PUSH2 0x195b 00001956: JUMPI 00001957: PUSH1 0x00 00001959: DUP1 0000195a: REVERT 0000195b: JUMPDEST 0000195c: POP 0000195d: JUMP 0000195e: JUMPDEST 0000195f: PUSH2 0x1967 00001962: DUP2 00001963: PUSH2 0x15e2 00001966: JUMP 00001967: JUMPDEST 00001968: DUP2 00001969: EQ 0000196a: PUSH2 0x1972 0000196d: JUMPI 0000196e: PUSH1 0x00 00001970: DUP1 00001971: REVERT 00001972: JUMPDEST 00001973: POP 00001974: JUMP 00001975: JUMPDEST 00001976: PUSH2 0x197e 00001979: DUP2 0000197a: PUSH2 0x15ec 0000197d: JUMP 0000197e: JUMPDEST 0000197f: DUP2 00001980: EQ 00001981: PUSH2 0x1989 00001984: JUMPI 00001985: PUSH1 0x00 00001987: DUP1 00001988: REVERT 00001989: JUMPDEST 0000198a: POP 0000198b: JUMP 0000198c: INVALID 0000198d: LOG2 0000198e: PUSH5 0x6970667358 00001994: UNKNOWN(0x22) 00001995: SLT 00001996: KECCAK256 00001997: UNKNOWN(0xA8) 00001998: UNKNOWN(0xD0) 00001999: PUSH8 0xf4967353ad49e846 000019a2: CODESIZE 000019a3: UNKNOWN(0xB2) 000019a4: SWAP15 000019a5: PUSH21 0xd2be9a4098d75e030f56cce87b20d9c5a364736f6c 000019bb: PUSH4 0x43000801 000019c0: STOP 000019c1: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xbb90ef10579d8abfcb32cba7eb32aa7bb5d6a5a773cdf85e3399fdecb6b08450
call_targets:
0x21a958829a89b30717c98a23e1967743296f2cc3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbb90ef10579d8abfcb32cba7eb32aa7bb5d6a5a773cdf85e3399fdecb6b08450",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x21a958829a89b30717c98a23e1967743296f2cc3"
],
"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": "0x530d4ebe",
"selector": "0x530d4ebe",
"calldata_variants": [
"0x530d4ebe",
"0x530d4ebe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f283970",
"selector": "0x8f283970",
"calldata_variants": [
"0x8f283970",
"0x8f2839700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x96a4010f",
"selector": "0x96a4010f",
"calldata_variants": [
"0x96a4010f",
"0x96a4010f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc009b837",
"selector": "0xc009b837",
"calldata_variants": [
"0xc009b837",
"0xc009b8370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf851a440",
"selector": "0xf851a440",
"calldata_variants": [
"0xf851a440",
"0xf851a4400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xff355c39",
"selector": "0xff355c39",
"calldata_variants": [
"0xff355c39",
"0xff355c390000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 822,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1271,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2151,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 361,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 925,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1134,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1452,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xbb90ef10579d8abfcb32cba7eb32aa7bb5d6a5a773cdf85e3399fdecb6b08450
call_targets:
0x21a958829a89b30717c98a23e1967743296f2cc3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbb90ef10579d8abfcb32cba7eb32aa7bb5d6a5a773cdf85e3399fdecb6b08450",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x21a958829a89b30717c98a23e1967743296f2cc3"
],
"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": "0x530d4ebe",
"selector": "0x530d4ebe",
"calldata_variants": [
"0x530d4ebe",
"0x530d4ebe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f283970",
"selector": "0x8f283970",
"calldata_variants": [
"0x8f283970",
"0x8f2839700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x96a4010f",
"selector": "0x96a4010f",
"calldata_variants": [
"0x96a4010f",
"0x96a4010f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc009b837",
"selector": "0xc009b837",
"calldata_variants": [
"0xc009b837",
"0xc009b8370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf851a440",
"selector": "0xf851a440",
"calldata_variants": [
"0xf851a440",
"0xf851a4400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xff355c39",
"selector": "0xff355c39",
"calldata_variants": [
"0xff355c39",
"0xff355c390000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 822,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1271,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2151,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 361,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 925,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1134,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1452,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|