019ba909-37e7-70b4-9dac-409598888a62
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 |
|---|---|---|---|---|
| 34127 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 34128 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 34129 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 34130 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 34131 | capability.graph | complete | 1 / 3 | 3 months ago |
| 34132 | detector.run | complete | 1 / 3 | 3 months ago |
| 34133 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x00ea 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x579d1eaa 00000026: GT 00000027: PUSH2 0x008c 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xc6ce412f 00000031: GT 00000032: PUSH2 0x0066 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0xc6ce412f 0000003c: EQ 0000003d: PUSH2 0x0228 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xd4a22bde 00000047: EQ 00000048: PUSH2 0x023b 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xd80f0711 00000052: EQ 00000053: PUSH2 0x024e 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xf9b1cf2a 0000005d: EQ 0000005e: PUSH2 0x0261 00000061: JUMPI 00000062: PUSH1 0x00 00000064: DUP1 00000065: REVERT 00000066: JUMPDEST 00000067: DUP1 00000068: PUSH4 0x579d1eaa 0000006d: EQ 0000006e: PUSH2 0x01ef 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0x7fb801be 00000078: EQ 00000079: PUSH2 0x0202 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0x88a8d602 00000083: EQ 00000084: PUSH2 0x0215 00000087: JUMPI 00000088: PUSH1 0x00 0000008a: DUP1 0000008b: REVERT 0000008c: JUMPDEST 0000008d: DUP1 0000008e: PUSH4 0x3f79651d 00000093: GT 00000094: PUSH2 0x00c8 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x3f79651d 0000009e: EQ 0000009f: PUSH2 0x0177 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x49e664ff 000000a9: EQ 000000aa: PUSH2 0x018a 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x4be47418 000000b4: EQ 000000b5: PUSH2 0x019d 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x55ef1df2 000000bf: EQ 000000c0: PUSH2 0x01b0 000000c3: JUMPI 000000c4: PUSH1 0x00 000000c6: DUP1 000000c7: REVERT 000000c8: JUMPDEST 000000c9: DUP1 000000ca: PUSH4 0x0535f372 000000cf: EQ 000000d0: PUSH2 0x00ef 000000d3: JUMPI 000000d4: DUP1 000000d5: PUSH4 0x06fdde03 000000da: EQ 000000db: PUSH2 0x0104 000000de: JUMPI 000000df: DUP1 000000e0: PUSH4 0x1ec0c7f7 000000e5: EQ 000000e6: PUSH2 0x0149 000000e9: JUMPI 000000ea: JUMPDEST 000000eb: PUSH1 0x00 000000ed: DUP1 000000ee: REVERT 000000ef: JUMPDEST 000000f0: PUSH2 0x0102 000000f3: PUSH2 0x00fd 000000f6: CALLDATASIZE 000000f7: PUSH1 0x04 000000f9: PUSH2 0x1883 000000fc: JUMP 000000fd: JUMPDEST 000000fe: PUSH2 0x0274 00000101: JUMP 00000102: JUMPDEST 00000103: STOP 00000104: JUMPDEST 00000105: PUSH2 0x0133 00000108: PUSH1 0x40 0000010a: MLOAD 0000010b: DUP1 0000010c: PUSH1 0x40 0000010e: ADD 0000010f: PUSH1 0x40 00000111: MSTORE 00000112: DUP1 00000113: PUSH1 0x10 00000115: DUP2 00000116: MSTORE 00000117: PUSH1 0x20 00000119: ADD 0000011a: PUSH16 0x14dd5894995913585b9859d95b595b9d 0000012b: PUSH1 0x82 0000012d: SHL 0000012e: DUP2 0000012f: MSTORE 00000130: POP 00000131: DUP2 00000132: JUMP 00000133: JUMPDEST 00000134: PUSH1 0x40 00000136: MLOAD 00000137: PUSH2 0x0140 0000013a: SWAP2 0000013b: SWAP1 0000013c: PUSH2 0x18ff 0000013f: JUMP 00000140: JUMPDEST 00000141: PUSH1 0x40 00000143: MLOAD 00000144: DUP1 00000145: SWAP2 00000146: SUB 00000147: SWAP1 00000148: RETURN 00000149: JUMPDEST 0000014a: PUSH2 0x0169 0000014d: PUSH2 0x0157 00000150: CALLDATASIZE 00000151: PUSH1 0x04 00000153: PUSH2 0x1919 00000156: JUMP 00000157: JUMPDEST 00000158: PUSH1 0x01 0000015a: PUSH1 0x20 0000015c: MSTORE 0000015d: PUSH1 0x00 0000015f: SWAP1 00000160: DUP2 00000161: MSTORE 00000162: PUSH1 0x40 00000164: SWAP1 00000165: KECCAK256 00000166: SLOAD 00000167: DUP2 00000168: JUMP 00000169: JUMPDEST 0000016a: PUSH1 0x40 0000016c: MLOAD 0000016d: SWAP1 0000016e: DUP2 0000016f: MSTORE 00000170: PUSH1 0x20 00000172: ADD 00000173: PUSH2 0x0140 00000176: JUMP 00000177: JUMPDEST 00000178: PUSH2 0x0102 0000017b: PUSH2 0x0185 0000017e: CALLDATASIZE 0000017f: PUSH1 0x04 00000181: PUSH2 0x1a70 00000184: JUMP 00000185: JUMPDEST 00000186: PUSH2 0x04bb 00000189: JUMP 0000018a: JUMPDEST 0000018b: PUSH2 0x0102 0000018e: PUSH2 0x0198 00000191: CALLDATASIZE 00000192: PUSH1 0x04 00000194: PUSH2 0x1b4c 00000197: JUMP 00000198: JUMPDEST 00000199: PUSH2 0x0619 0000019c: JUMP 0000019d: JUMPDEST 0000019e: PUSH2 0x0102 000001a1: PUSH2 0x01ab 000001a4: CALLDATASIZE 000001a5: PUSH1 0x04 000001a7: PUSH2 0x1c2d 000001aa: JUMP 000001ab: JUMPDEST 000001ac: PUSH2 0x0903 000001af: JUMP 000001b0: JUMPDEST 000001b1: PUSH2 0x01d7 000001b4: PUSH32 0x0000000000000000000000007eb3601bb10854234db4dc03ce7fad842b2d86ad 000001d5: DUP2 000001d6: JUMP 000001d7: JUMPDEST 000001d8: PUSH1 0x40 000001da: MLOAD 000001db: PUSH1 0x01 000001dd: PUSH1 0x01 000001df: PUSH1 0xa0 000001e1: SHL 000001e2: SUB 000001e3: SWAP1 000001e4: SWAP2 000001e5: AND 000001e6: DUP2 000001e7: MSTORE 000001e8: PUSH1 0x20 000001ea: ADD 000001eb: PUSH2 0x0140 000001ee: JUMP 000001ef: JUMPDEST 000001f0: PUSH2 0x0102 000001f3: PUSH2 0x01fd 000001f6: CALLDATASIZE 000001f7: PUSH1 0x04 000001f9: PUSH2 0x1c73 000001fc: JUMP 000001fd: JUMPDEST 000001fe: PUSH2 0x0ad9 00000201: JUMP 00000202: JUMPDEST 00000203: PUSH2 0x0102 00000206: PUSH2 0x0210 00000209: CALLDATASIZE 0000020a: PUSH1 0x04 0000020c: PUSH2 0x1c2d 0000020f: JUMP 00000210: JUMPDEST 00000211: PUSH2 0x0cbf 00000214: JUMP 00000215: JUMPDEST 00000216: PUSH1 0x00 00000218: SLOAD 00000219: PUSH2 0x01d7 0000021c: SWAP1 0000021d: PUSH1 0x01 0000021f: PUSH1 0x01 00000221: PUSH1 0xa0 00000223: SHL 00000224: SUB 00000225: AND 00000226: DUP2 00000227: JUMP 00000228: JUMPDEST 00000229: PUSH2 0x0102 0000022c: PUSH2 0x0236 0000022f: CALLDATASIZE 00000230: PUSH1 0x04 00000232: PUSH2 0x1c73 00000235: JUMP 00000236: JUMPDEST 00000237: PUSH2 0x0e41 0000023a: JUMP 0000023b: JUMPDEST 0000023c: PUSH2 0x0102 0000023f: PUSH2 0x0249 00000242: CALLDATASIZE 00000243: PUSH1 0x04 00000245: PUSH2 0x1919 00000248: JUMP 00000249: JUMPDEST 0000024a: PUSH2 0x1099 0000024d: JUMP 0000024e: JUMPDEST 0000024f: PUSH2 0x0102 00000252: PUSH2 0x025c 00000255: CALLDATASIZE 00000256: PUSH1 0x04 00000258: PUSH2 0x1b4c 0000025b: JUMP 0000025c: JUMPDEST 0000025d: PUSH2 0x119f 00000260: JUMP 00000261: JUMPDEST 00000262: PUSH2 0x0102 00000265: PUSH2 0x026f 00000268: CALLDATASIZE 00000269: PUSH1 0x04 0000026b: PUSH2 0x1a70 0000026e: JUMP 0000026f: JUMPDEST 00000270: PUSH2 0x1552 00000273: JUMP 00000274: JUMPDEST 00000275: PUSH1 0x00 00000277: SLOAD 00000278: PUSH1 0x40 0000027a: MLOAD 0000027b: PUSH4 0x306abccf 00000280: PUSH1 0xe0 00000282: SHL 00000283: DUP2 00000284: MSTORE 00000285: CALLER 00000286: PUSH1 0x04 00000288: DUP3 00000289: ADD 0000028a: MSTORE 0000028b: PUSH1 0x01 0000028d: PUSH1 0x01 0000028f: PUSH1 0xa0 00000291: SHL 00000292: SUB 00000293: SWAP1 00000294: SWAP2 00000295: AND 00000296: SWAP1 00000297: PUSH4 0x306abccf 0000029c: SWAP1 0000029d: PUSH1 0x24 0000029f: ADD 000002a0: PUSH1 0x20 000002a2: PUSH1 0x40 000002a4: MLOAD 000002a5: DUP1 000002a6: DUP4 000002a7: SUB 000002a8: DUP2 000002a9: DUP7 000002aa: GAS 000002ab: STATICCALL 000002ac: ISZERO 000002ad: DUP1 000002ae: ISZERO 000002af: PUSH2 0x02bc 000002b2: JUMPI 000002b3: RETURNDATASIZE 000002b4: PUSH1 0x00 000002b6: DUP1 000002b7: RETURNDATACOPY 000002b8: RETURNDATASIZE 000002b9: PUSH1 0x00 000002bb: REVERT 000002bc: JUMPDEST 000002bd: POP 000002be: POP 000002bf: POP 000002c0: POP 000002c1: PUSH1 0x40 000002c3: MLOAD 000002c4: RETURNDATASIZE 000002c5: PUSH1 0x1f 000002c7: NOT 000002c8: PUSH1 0x1f 000002ca: DUP3 000002cb: ADD 000002cc: AND 000002cd: DUP3 000002ce: ADD 000002cf: DUP1 000002d0: PUSH1 0x40 000002d2: MSTORE 000002d3: POP 000002d4: DUP2 000002d5: ADD 000002d6: SWAP1 000002d7: PUSH2 0x02e0 000002da: SWAP2 000002db: SWAP1 000002dc: PUSH2 0x1cc2 000002df: JUMP 000002e0: JUMPDEST 000002e1: PUSH2 0x0305 000002e4: JUMPI 000002e5: PUSH1 0x40 000002e7: MLOAD 000002e8: PUSH3 0x461bcd 000002ec: PUSH1 0xe5 000002ee: SHL 000002ef: DUP2 000002f0: MSTORE 000002f1: PUSH1 0x04 000002f3: ADD 000002f4: PUSH2 0x02fc 000002f7: SWAP1 000002f8: PUSH2 0x1ce4 000002fb: JUMP 000002fc: JUMPDEST 000002fd: PUSH1 0x40 000002ff: MLOAD 00000300: DUP1 00000301: SWAP2 00000302: SUB 00000303: SWAP1 00000304: REVERT 00000305: JUMPDEST 00000306: PUSH1 0x00 00000308: DUP1 00000309: PUSH1 0x00 0000030b: SWAP1 0000030c: SLOAD 0000030d: SWAP1 0000030e: PUSH2 0x0100 00000311: EXP 00000312: SWAP1 00000313: DIV 00000314: PUSH1 0x01 00000316: PUSH1 0x01 00000318: PUSH1 0xa0 0000031a: SHL 0000031b: SUB 0000031c: AND 0000031d: PUSH1 0x01 0000031f: PUSH1 0x01 00000321: PUSH1 0xa0 00000323: SHL 00000324: SUB 00000325: AND 00000326: PUSH4 0xed14834f 0000032b: PUSH1 0x40 0000032d: MLOAD 0000032e: DUP2 0000032f: PUSH4 0xffffffff 00000334: AND 00000335: PUSH1 0xe0 00000337: SHL 00000338: DUP2 00000339: MSTORE 0000033a: PUSH1 0x04 0000033c: ADD 0000033d: PUSH1 0x20 0000033f: PUSH1 0x40 00000341: MLOAD 00000342: DUP1 00000343: DUP4 00000344: SUB 00000345: DUP2 00000346: DUP7 00000347: GAS 00000348: STATICCALL 00000349: ISZERO 0000034a: DUP1 0000034b: ISZERO 0000034c: PUSH2 0x0359 0000034f: JUMPI 00000350: RETURNDATASIZE 00000351: PUSH1 0x00 00000353: DUP1 00000354: RETURNDATACOPY 00000355: RETURNDATASIZE 00000356: PUSH1 0x00 00000358: REVERT 00000359: JUMPDEST 0000035a: POP 0000035b: POP 0000035c: POP 0000035d: POP 0000035e: PUSH1 0x40 00000360: MLOAD 00000361: RETURNDATASIZE 00000362: PUSH1 0x1f 00000364: NOT 00000365: PUSH1 0x1f 00000367: DUP3 00000368: ADD 00000369: AND 0000036a: DUP3 0000036b: ADD 0000036c: DUP1 0000036d: PUSH1 0x40 0000036f: MSTORE 00000370: POP 00000371: DUP2 00000372: ADD 00000373: SWAP1 00000374: PUSH2 0x037d 00000377: SWAP2 00000378: SWAP1 00000379: PUSH2 0x1d1b 0000037c: JUMP 0000037d: JUMPDEST 0000037e: PUSH1 0x01 00000380: PUSH1 0x01 00000382: PUSH1 0xa0 00000384: SHL 00000385: SUB 00000386: DUP5 00000387: AND 00000388: PUSH1 0x00 0000038a: SWAP1 0000038b: DUP2 0000038c: MSTORE 0000038d: PUSH1 0x01 0000038f: PUSH1 0x20 00000391: MSTORE 00000392: PUSH1 0x40 00000394: SWAP1 00000395: KECCAK256 00000396: SLOAD 00000397: SWAP1 00000398: SWAP2 00000399: POP 0000039a: DUP3 0000039b: GT 0000039c: ISZERO 0000039d: PUSH2 0x03e8 000003a0: JUMPI 000003a1: PUSH1 0x40 000003a3: MLOAD 000003a4: PUSH3 0x461bcd 000003a8: PUSH1 0xe5 000003aa: SHL 000003ab: DUP2 000003ac: MSTORE 000003ad: PUSH1 0x20 000003af: PUSH1 0x04 000003b1: DUP3 000003b2: ADD 000003b3: MSTORE 000003b4: PUSH1 0x19 000003b6: PUSH1 0x24 000003b8: DUP3 000003b9: ADD 000003ba: MSTORE 000003bb: PUSH32 0x506c6174666f726d466565206973206e6f7420656e6f75676800000000000000 000003dc: PUSH1 0x44 000003de: DUP3 000003df: ADD 000003e0: MSTORE 000003e1: PUSH1 0x64 000003e3: ADD 000003e4: PUSH2 0x02fc 000003e7: JUMP 000003e8: JUMPDEST 000003e9: PUSH1 0x01 000003eb: PUSH1 0x01 000003ed: PUSH1 0xa0 000003ef: SHL 000003f0: SUB 000003f1: DUP4 000003f2: AND 000003f3: PUSH1 0x00 000003f5: SWAP1 000003f6: DUP2 000003f7: MSTORE 000003f8: PUSH1 0x01 000003fa: PUSH1 0x20 000003fc: MSTORE 000003fd: PUSH1 0x40 000003ff: DUP2 00000400: KECCAK256 00000401: DUP1 00000402: SLOAD 00000403: DUP5 00000404: SWAP3 00000405: SWAP1 00000406: PUSH2 0x0410 00000409: SWAP1 0000040a: DUP5 0000040b: SWAP1 0000040c: PUSH2 0x1d4e 0000040f: JUMP 00000410: JUMPDEST 00000411: SWAP1 00000412: SWAP2 00000413: SSTORE 00000414: POP 00000415: POP 00000416: PUSH1 0x01 00000418: PUSH1 0x01 0000041a: PUSH1 0xa0 0000041c: SHL 0000041d: SUB 0000041e: DUP2 0000041f: AND 00000420: PUSH2 0x046b 00000423: JUMPI 00000424: PUSH1 0x40 00000426: MLOAD 00000427: PUSH3 0x461bcd 0000042b: PUSH1 0xe5 0000042d: SHL 0000042e: DUP2 0000042f: MSTORE 00000430: PUSH1 0x20 00000432: PUSH1 0x04 00000434: DUP3 00000435: ADD 00000436: MSTORE 00000437: PUSH1 0x1c 00000439: PUSH1 0x24 0000043b: DUP3 0000043c: ADD 0000043d: MSTORE 0000043e: PUSH32 0x616464726573732063616e6e6f74206265206164647265737328302900000000 0000045f: PUSH1 0x44 00000461: DUP3 00000462: ADD 00000463: MSTORE 00000464: PUSH1 0x64 00000466: ADD 00000467: PUSH2 0x02fc 0000046a: JUMP 0000046b: JUMPDEST 0000046c: PUSH2 0x0476 0000046f: DUP4 00000470: DUP3 00000471: DUP5 00000472: PUSH2 0x15ec 00000475: JUMP 00000476: JUMPDEST 00000477: PUSH1 0x40 00000479: MLOAD 0000047a: DUP3 0000047b: DUP2 0000047c: MSTORE 0000047d: PUSH1 0x01 0000047f: PUSH1 0x01 00000481: PUSH1 0xa0 00000483: SHL 00000484: SUB 00000485: DUP5 00000486: AND 00000487: SWAP1 00000488: ADDRESS 00000489: SWAP1 0000048a: PUSH32 0x9b0df163d8b0c72dee837ba1552888da4c9ed990e7db3be73feec14c637fbf38 000004ab: SWAP1 000004ac: PUSH1 0x20 000004ae: ADD 000004af: PUSH1 0x40 000004b1: MLOAD 000004b2: DUP1 000004b3: SWAP2 000004b4: SUB 000004b5: SWAP1 000004b6: LOG3 000004b7: POP 000004b8: POP 000004b9: POP 000004ba: JUMP 000004bb: JUMPDEST 000004bc: PUSH1 0x00 000004be: SLOAD 000004bf: PUSH1 0x40 000004c1: MLOAD 000004c2: PUSH4 0x306abccf 000004c7: PUSH1 0xe0 000004c9: SHL 000004ca: DUP2 000004cb: MSTORE 000004cc: CALLER 000004cd: PUSH1 0x04 000004cf: DUP3 000004d0: ADD 000004d1: MSTORE 000004d2: PUSH1 0x01 000004d4: PUSH1 0x01 000004d6: PUSH1 0xa0 000004d8: SHL 000004d9: SUB 000004da: SWAP1 000004db: SWAP2 000004dc: AND 000004dd: SWAP1 000004de: PUSH4 0x306abccf 000004e3: SWAP1 000004e4: PUSH1 0x24 000004e6: ADD 000004e7: PUSH1 0x20 000004e9: PUSH1 0x40 000004eb: MLOAD 000004ec: DUP1 000004ed: DUP4 000004ee: SUB 000004ef: DUP2 000004f0: DUP7 000004f1: GAS 000004f2: STATICCALL 000004f3: ISZERO 000004f4: DUP1 000004f5: ISZERO 000004f6: PUSH2 0x0503 000004f9: JUMPI 000004fa: RETURNDATASIZE 000004fb: PUSH1 0x00 000004fd: DUP1 000004fe: RETURNDATACOPY 000004ff: RETURNDATASIZE 00000500: PUSH1 0x00 00000502: REVERT 00000503: JUMPDEST 00000504: POP 00000505: POP 00000506: POP 00000507: POP 00000508: PUSH1 0x40 0000050a: MLOAD 0000050b: RETURNDATASIZE 0000050c: PUSH1 0x1f 0000050e: NOT 0000050f: PUSH1 0x1f 00000511: DUP3 00000512: ADD 00000513: AND 00000514: DUP3 00000515: ADD 00000516: DUP1 00000517: PUSH1 0x40 00000519: MSTORE 0000051a: POP 0000051b: DUP2 0000051c: ADD 0000051d: SWAP1 0000051e: PUSH2 0x0527 00000521: SWAP2 00000522: SWAP1 00000523: PUSH2 0x1cc2 00000526: JUMP 00000527: JUMPDEST 00000528: PUSH2 0x0543 0000052b: JUMPI 0000052c: PUSH1 0x40 0000052e: MLOAD 0000052f: PUSH3 0x461bcd 00000533: PUSH1 0xe5 00000535: SHL 00000536: DUP2 00000537: MSTORE 00000538: PUSH1 0x04 0000053a: ADD 0000053b: PUSH2 0x02fc 0000053e: SWAP1 0000053f: PUSH2 0x1ce4 00000542: JUMP 00000543: JUMPDEST 00000544: PUSH1 0x00 00000546: JUMPDEST 00000547: DUP3 00000548: MLOAD 00000549: DUP2 0000054a: LT 0000054b: ISZERO 0000054c: PUSH2 0x05ce 0000054f: JUMPI 00000550: DUP2 00000551: DUP2 00000552: DUP2 00000553: MLOAD 00000554: DUP2 00000555: LT 00000556: PUSH2 0x0561 00000559: JUMPI 0000055a: PUSH2 0x0561 0000055d: PUSH2 0x1d67 00000560: JUMP 00000561: JUMPDEST 00000562: PUSH1 0x20 00000564: MUL 00000565: PUSH1 0x20 00000567: ADD 00000568: ADD 00000569: MLOAD 0000056a: PUSH1 0x01 0000056c: PUSH1 0x00 0000056e: DUP6 0000056f: DUP5 00000570: DUP2 00000571: MLOAD 00000572: DUP2 00000573: LT 00000574: PUSH2 0x057f 00000577: JUMPI 00000578: PUSH2 0x057f 0000057b: PUSH2 0x1d67 0000057e: JUMP 0000057f: JUMPDEST 00000580: PUSH1 0x20 00000582: MUL 00000583: PUSH1 0x20 00000585: ADD 00000586: ADD 00000587: MLOAD 00000588: PUSH1 0x01 0000058a: PUSH1 0x01 0000058c: PUSH1 0xa0 0000058e: SHL 0000058f: SUB 00000590: AND 00000591: PUSH1 0x01 00000593: PUSH1 0x01 00000595: PUSH1 0xa0 00000597: SHL 00000598: SUB 00000599: AND 0000059a: DUP2 0000059b: MSTORE 0000059c: PUSH1 0x20 0000059e: ADD 0000059f: SWAP1 000005a0: DUP2 000005a1: MSTORE 000005a2: PUSH1 0x20 000005a4: ADD 000005a5: PUSH1 0x00 000005a7: KECCAK256 000005a8: PUSH1 0x00 000005aa: DUP3 000005ab: DUP3 000005ac: SLOAD 000005ad: PUSH2 0x05b6 000005b0: SWAP2 000005b1: SWAP1 000005b2: PUSH2 0x1d7d 000005b5: JUMP 000005b6: JUMPDEST 000005b7: SWAP1 000005b8: SWAP2 000005b9: SSTORE 000005ba: POP 000005bb: DUP2 000005bc: SWAP1 000005bd: POP 000005be: PUSH2 0x05c6 000005c1: DUP2 000005c2: PUSH2 0x1d90 000005c5: JUMP 000005c6: JUMPDEST 000005c7: SWAP2 000005c8: POP 000005c9: POP 000005ca: PUSH2 0x0546 000005cd: JUMP 000005ce: JUMPDEST 000005cf: POP 000005d0: ADDRESS 000005d1: PUSH1 0x01 000005d3: PUSH1 0x01 000005d5: PUSH1 0xa0 000005d7: SHL 000005d8: SUB 000005d9: AND 000005da: PUSH32 0x2ba2e85925c907cd190b5163decba0e54776d9f57b722ac00c71c923482109e3 000005fb: DUP5 000005fc: DUP5 000005fd: DUP5 000005fe: PUSH1 0x40 00000600: MLOAD 00000601: PUSH2 0x060c 00000604: SWAP4 00000605: SWAP3 00000606: SWAP2 00000607: SWAP1 00000608: PUSH2 0x1e1d 0000060b: JUMP 0000060c: JUMPDEST 0000060d: PUSH1 0x40 0000060f: MLOAD 00000610: DUP1 00000611: SWAP2 00000612: SUB 00000613: SWAP1 00000614: LOG2 00000615: POP 00000616: POP 00000617: POP 00000618: JUMP 00000619: JUMPDEST 0000061a: PUSH1 0x00 0000061c: SLOAD 0000061d: PUSH1 0x40 0000061f: MLOAD 00000620: PUSH4 0x306abccf 00000625: PUSH1 0xe0 00000627: SHL 00000628: DUP2 00000629: MSTORE 0000062a: CALLER 0000062b: PUSH1 0x04 0000062d: DUP3 0000062e: ADD 0000062f: MSTORE 00000630: PUSH1 0x01 00000632: PUSH1 0x01 00000634: PUSH1 0xa0 00000636: SHL 00000637: SUB 00000638: SWAP1 00000639: SWAP2 0000063a: AND 0000063b: SWAP1 0000063c: PUSH4 0x306abccf 00000641: SWAP1 00000642: PUSH1 0x24 00000644: ADD 00000645: PUSH1 0x20 00000647: PUSH1 0x40 00000649: MLOAD 0000064a: DUP1 0000064b: DUP4 0000064c: SUB 0000064d: DUP2 0000064e: DUP7 0000064f: GAS 00000650: STATICCALL 00000651: ISZERO 00000652: DUP1 00000653: ISZERO 00000654: PUSH2 0x0661 00000657: JUMPI 00000658: RETURNDATASIZE 00000659: PUSH1 0x00 0000065b: DUP1 0000065c: RETURNDATACOPY 0000065d: RETURNDATASIZE 0000065e: PUSH1 0x00 00000660: REVERT 00000661: JUMPDEST 00000662: POP 00000663: POP 00000664: POP 00000665: POP 00000666: PUSH1 0x40 00000668: MLOAD 00000669: RETURNDATASIZE 0000066a: PUSH1 0x1f 0000066c: NOT 0000066d: PUSH1 0x1f 0000066f: DUP3 00000670: ADD 00000671: AND 00000672: DUP3 00000673: ADD 00000674: DUP1 00000675: PUSH1 0x40 00000677: MSTORE 00000678: POP 00000679: DUP2 0000067a: ADD 0000067b: SWAP1 0000067c: PUSH2 0x0685 0000067f: SWAP2 00000680: SWAP1 00000681: PUSH2 0x1cc2 00000684: JUMP 00000685: JUMPDEST 00000686: PUSH2 0x06a1 00000689: JUMPI 0000068a: PUSH1 0x40 0000068c: MLOAD 0000068d: PUSH3 0x461bcd 00000691: PUSH1 0xe5 00000693: SHL 00000694: DUP2 00000695: MSTORE 00000696: PUSH1 0x04 00000698: ADD 00000699: PUSH2 0x02fc 0000069c: SWAP1 0000069d: PUSH2 0x1ce4 000006a0: JUMP 000006a1: JUMPDEST 000006a2: PUSH1 0x00 000006a4: JUMPDEST 000006a5: DUP6 000006a6: MLOAD 000006a7: DUP2 000006a8: LT 000006a9: ISZERO 000006aa: PUSH2 0x08af 000006ad: JUMPI 000006ae: PUSH1 0x00 000006b0: SLOAD 000006b1: DUP7 000006b2: MLOAD 000006b3: PUSH1 0x01 000006b5: PUSH1 0x01 000006b7: PUSH1 0xa0 000006b9: SHL 000006ba: SUB 000006bb: SWAP1 000006bc: SWAP2 000006bd: AND 000006be: SWAP1 000006bf: PUSH4 0x0cce6758 000006c4: SWAP1 000006c5: DUP9 000006c6: SWAP1 000006c7: DUP5 000006c8: SWAP1 000006c9: DUP2 000006ca: LT 000006cb: PUSH2 0x06d6 000006ce: JUMPI 000006cf: PUSH2 0x06d6 000006d2: PUSH2 0x1d67 000006d5: JUMP 000006d6: JUMPDEST 000006d7: PUSH1 0x20 000006d9: MUL 000006da: PUSH1 0x20 000006dc: ADD 000006dd: ADD 000006de: MLOAD 000006df: PUSH1 0x40 000006e1: MLOAD 000006e2: DUP3 000006e3: PUSH4 0xffffffff 000006e8: AND 000006e9: PUSH1 0xe0 000006eb: SHL 000006ec: DUP2 000006ed: MSTORE 000006ee: PUSH1 0x04 000006f0: ADD 000006f1: PUSH2 0x0709 000006f4: SWAP2 000006f5: SWAP1 000006f6: PUSH1 0x01 000006f8: PUSH1 0x01 000006fa: PUSH1 0xa0 000006fc: SHL 000006fd: SUB 000006fe: SWAP2 000006ff: SWAP1 00000700: SWAP2 00000701: AND 00000702: DUP2 00000703: MSTORE 00000704: PUSH1 0x20 00000706: ADD 00000707: SWAP1 00000708: JUMP 00000709: JUMPDEST 0000070a: PUSH1 0x20 0000070c: PUSH1 0x40 0000070e: MLOAD 0000070f: DUP1 00000710: DUP4 00000711: SUB 00000712: DUP2 00000713: DUP7 00000714: GAS 00000715: STATICCALL 00000716: ISZERO 00000717: DUP1 00000718: ISZERO 00000719: PUSH2 0x0726 0000071c: JUMPI 0000071d: RETURNDATASIZE 0000071e: PUSH1 0x00 00000720: DUP1 00000721: RETURNDATACOPY 00000722: RETURNDATASIZE 00000723: PUSH1 0x00 00000725: REVERT 00000726: JUMPDEST 00000727: POP 00000728: POP 00000729: POP 0000072a: POP 0000072b: PUSH1 0x40 0000072d: MLOAD 0000072e: RETURNDATASIZE 0000072f: PUSH1 0x1f 00000731: NOT 00000732: PUSH1 0x1f 00000734: DUP3 00000735: ADD 00000736: AND 00000737: DUP3 00000738: ADD 00000739: DUP1 0000073a: PUSH1 0x40 0000073c: MSTORE 0000073d: POP 0000073e: DUP2 0000073f: ADD 00000740: SWAP1 00000741: PUSH2 0x074a 00000744: SWAP2 00000745: SWAP1 00000746: PUSH2 0x1cc2 00000749: JUMP 0000074a: JUMPDEST 0000074b: PUSH2 0x0766 0000074e: JUMPI 0000074f: PUSH1 0x40 00000751: MLOAD 00000752: PUSH3 0x461bcd 00000756: PUSH1 0xe5 00000758: SHL 00000759: DUP2 0000075a: MSTORE 0000075b: PUSH1 0x04 0000075d: ADD 0000075e: PUSH2 0x02fc 00000761: SWAP1 00000762: PUSH2 0x1e60 00000765: JUMP 00000766: JUMPDEST 00000767: PUSH1 0x00 00000769: DUP6 0000076a: DUP3 0000076b: DUP2 0000076c: MLOAD 0000076d: DUP2 0000076e: LT 0000076f: PUSH2 0x077a 00000772: JUMPI 00000773: PUSH2 0x077a 00000776: PUSH2 0x1d67 00000779: JUMP 0000077a: JUMPDEST 0000077b: PUSH1 0x20 0000077d: MUL 0000077e: PUSH1 0x20 00000780: ADD 00000781: ADD 00000782: MLOAD 00000783: GT 00000784: ISZERO 00000785: PUSH2 0x07c5 00000788: JUMPI 00000789: PUSH2 0x07c5 0000078c: DUP8 0000078d: DUP8 0000078e: DUP4 0000078f: DUP2 00000790: MLOAD 00000791: DUP2 00000792: LT 00000793: PUSH2 0x079e 00000796: JUMPI 00000797: PUSH2 0x079e 0000079a: PUSH2 0x1d67 0000079d: JUMP 0000079e: JUMPDEST 0000079f: PUSH1 0x20 000007a1: MUL 000007a2: PUSH1 0x20 000007a4: ADD 000007a5: ADD 000007a6: MLOAD 000007a7: DUP8 000007a8: DUP5 000007a9: DUP2 000007aa: MLOAD 000007ab: DUP2 000007ac: LT 000007ad: PUSH2 0x07b8 000007b0: JUMPI 000007b1: PUSH2 0x07b8 000007b4: PUSH2 0x1d67 000007b7: JUMP 000007b8: JUMPDEST 000007b9: PUSH1 0x20 000007bb: MUL 000007bc: PUSH1 0x20 000007be: ADD 000007bf: ADD 000007c0: MLOAD 000007c1: PUSH2 0x15ec 000007c4: JUMP 000007c5: JUMPDEST 000007c6: PUSH1 0x00 000007c8: DUP4 000007c9: DUP3 000007ca: DUP2 000007cb: MLOAD 000007cc: DUP2 000007cd: LT 000007ce: PUSH2 0x07d9 000007d1: JUMPI 000007d2: PUSH2 0x07d9 000007d5: PUSH2 0x1d67 000007d8: JUMP 000007d9: JUMPDEST 000007da: PUSH1 0x20 000007dc: MUL 000007dd: PUSH1 0x20 000007df: ADD 000007e0: ADD 000007e1: MLOAD 000007e2: GT 000007e3: ISZERO 000007e4: PUSH2 0x0830 000007e7: JUMPI 000007e8: PUSH2 0x0830 000007eb: DUP5 000007ec: DUP3 000007ed: DUP2 000007ee: MLOAD 000007ef: DUP2 000007f0: LT 000007f1: PUSH2 0x07fc 000007f4: JUMPI 000007f5: PUSH2 0x07fc 000007f8: PUSH2 0x1d67 000007fb: JUMP 000007fc: JUMPDEST 000007fd: PUSH1 0x20 000007ff: MUL 00000800: PUSH1 0x20 00000802: ADD 00000803: ADD 00000804: MLOAD 00000805: DUP8 00000806: DUP4 00000807: DUP2 00000808: MLOAD 00000809: DUP2 0000080a: LT 0000080b: PUSH2 0x0816 0000080e: JUMPI 0000080f: PUSH2 0x0816 00000812: PUSH2 0x1d67 00000815: JUMP 00000816: JUMPDEST 00000817: PUSH1 0x20 00000819: MUL 0000081a: PUSH1 0x20 0000081c: ADD 0000081d: ADD 0000081e: MLOAD 0000081f: DUP6 00000820: DUP5 00000821: DUP2 00000822: MLOAD 00000823: DUP2 00000824: LT 00000825: PUSH2 0x07b8 00000828: JUMPI 00000829: PUSH2 0x07b8 0000082c: PUSH2 0x1d67 0000082f: JUMP 00000830: JUMPDEST 00000831: DUP2 00000832: DUP2 00000833: DUP2 00000834: MLOAD 00000835: DUP2 00000836: LT 00000837: PUSH2 0x0842 0000083a: JUMPI 0000083b: PUSH2 0x0842 0000083e: PUSH2 0x1d67 00000841: JUMP 00000842: JUMPDEST 00000843: PUSH1 0x20 00000845: MUL 00000846: PUSH1 0x20 00000848: ADD 00000849: ADD 0000084a: MLOAD 0000084b: PUSH1 0x01 0000084d: PUSH1 0x00 0000084f: DUP7 00000850: DUP5 00000851: DUP2 00000852: MLOAD 00000853: DUP2 00000854: LT 00000855: PUSH2 0x0860 00000858: JUMPI 00000859: PUSH2 0x0860 0000085c: PUSH2 0x1d67 0000085f: JUMP 00000860: JUMPDEST 00000861: PUSH1 0x20 00000863: MUL 00000864: PUSH1 0x20 00000866: ADD 00000867: ADD 00000868: MLOAD 00000869: PUSH1 0x01 0000086b: PUSH1 0x01 0000086d: PUSH1 0xa0 0000086f: SHL 00000870: SUB 00000871: AND 00000872: PUSH1 0x01 00000874: PUSH1 0x01 00000876: PUSH1 0xa0 00000878: SHL 00000879: SUB 0000087a: AND 0000087b: DUP2 0000087c: MSTORE 0000087d: PUSH1 0x20 0000087f: ADD 00000880: SWAP1 00000881: DUP2 00000882: MSTORE 00000883: PUSH1 0x20 00000885: ADD 00000886: PUSH1 0x00 00000888: KECCAK256 00000889: PUSH1 0x00 0000088b: DUP3 0000088c: DUP3 0000088d: SLOAD 0000088e: PUSH2 0x0897 00000891: SWAP2 00000892: SWAP1 00000893: PUSH2 0x1d7d 00000896: JUMP 00000897: JUMPDEST 00000898: SWAP1 00000899: SWAP2 0000089a: SSTORE 0000089b: POP 0000089c: DUP2 0000089d: SWAP1 0000089e: POP 0000089f: PUSH2 0x08a7 000008a2: DUP2 000008a3: PUSH2 0x1d90 000008a6: JUMP 000008a7: JUMPDEST 000008a8: SWAP2 000008a9: POP 000008aa: POP 000008ab: PUSH2 0x06a4 000008ae: JUMP 000008af: JUMPDEST 000008b0: POP 000008b1: ADDRESS 000008b2: PUSH1 0x01 000008b4: PUSH1 0x01 000008b6: PUSH1 0xa0 000008b8: SHL 000008b9: SUB 000008ba: AND 000008bb: PUSH32 0x27107ee7622d58a260ded013cac8dea85f6d4c3bf0be25357e4026fff1d79fc5 000008dc: DUP8 000008dd: DUP8 000008de: DUP8 000008df: DUP8 000008e0: DUP8 000008e1: DUP8 000008e2: PUSH1 0x40 000008e4: MLOAD 000008e5: PUSH2 0x08f3 000008e8: SWAP7 000008e9: SWAP6 000008ea: SWAP5 000008eb: SWAP4 000008ec: SWAP3 000008ed: SWAP2 000008ee: SWAP1 000008ef: PUSH2 0x1e97 000008f2: JUMP 000008f3: JUMPDEST 000008f4: PUSH1 0x40 000008f6: MLOAD 000008f7: DUP1 000008f8: SWAP2 000008f9: SUB 000008fa: SWAP1 000008fb: LOG2 000008fc: POP 000008fd: POP 000008fe: POP 000008ff: POP 00000900: POP 00000901: POP 00000902: JUMP 00000903: JUMPDEST 00000904: DUP1 00000905: TIMESTAMP 00000906: DUP2 00000907: LT 00000908: ISZERO 00000909: PUSH2 0x093e 0000090c: JUMPI 0000090d: PUSH1 0x40 0000090f: MLOAD 00000910: PUSH3 0x461bcd 00000914: PUSH1 0xe5 00000916: SHL 00000917: DUP2 00000918: MSTORE 00000919: PUSH1 0x20 0000091b: PUSH1 0x04 0000091d: DUP3 0000091e: ADD 0000091f: MSTORE 00000920: PUSH1 0x07 00000922: PUSH1 0x24 00000924: DUP3 00000925: ADD 00000926: MSTORE 00000927: PUSH7 0x115e1c1a5c9959 0000092f: PUSH1 0xca 00000931: SHL 00000932: PUSH1 0x44 00000934: DUP3 00000935: ADD 00000936: MSTORE 00000937: PUSH1 0x64 00000939: ADD 0000093a: PUSH2 0x02fc 0000093d: JUMP 0000093e: JUMPDEST 0000093f: PUSH1 0x00 00000941: SLOAD 00000942: PUSH1 0x40 00000944: MLOAD 00000945: PUSH4 0x0199cceb 0000094a: PUSH1 0xe3 0000094c: SHL 0000094d: DUP2 0000094e: MSTORE 0000094f: CALLER 00000950: PUSH1 0x04 00000952: DUP3 00000953: ADD 00000954: DUP2 00000955: SWAP1 00000956: MSTORE 00000957: SWAP2 00000958: PUSH1 0x01 0000095a: PUSH1 0x01 0000095c: PUSH1 0xa0 0000095e: SHL 0000095f: SUB 00000960: AND 00000961: SWAP1 00000962: PUSH4 0x0cce6758 00000967: SWAP1 00000968: PUSH1 0x24 0000096a: ADD 0000096b: PUSH1 0x20 0000096d: PUSH1 0x40 0000096f: MLOAD 00000970: DUP1 00000971: DUP4 00000972: SUB 00000973: DUP2 00000974: DUP7 00000975: GAS 00000976: STATICCALL 00000977: ISZERO 00000978: DUP1 00000979: ISZERO 0000097a: PUSH2 0x0987 0000097d: JUMPI 0000097e: RETURNDATASIZE 0000097f: PUSH1 0x00 00000981: DUP1 00000982: RETURNDATACOPY 00000983: RETURNDATASIZE 00000984: PUSH1 0x00 00000986: REVERT 00000987: JUMPDEST 00000988: POP 00000989: POP 0000098a: POP 0000098b: POP 0000098c: PUSH1 0x40 0000098e: MLOAD 0000098f: RETURNDATASIZE 00000990: PUSH1 0x1f 00000992: NOT 00000993: PUSH1 0x1f 00000995: DUP3 00000996: ADD 00000997: AND 00000998: DUP3 00000999: ADD 0000099a: DUP1 0000099b: PUSH1 0x40 0000099d: MSTORE 0000099e: POP 0000099f: DUP2 000009a0: ADD 000009a1: SWAP1 000009a2: PUSH2 0x09ab 000009a5: SWAP2 000009a6: SWAP1 000009a7: PUSH2 0x1cc2 000009aa: JUMP 000009ab: JUMPDEST 000009ac: DUP1 000009ad: PUSH2 0x0a1f 000009b0: JUMPI 000009b1: POP 000009b2: PUSH1 0x00 000009b4: SLOAD 000009b5: PUSH1 0x40 000009b7: MLOAD 000009b8: PUSH4 0xb09c4d3d 000009bd: PUSH1 0xe0 000009bf: SHL 000009c0: DUP2 000009c1: MSTORE 000009c2: PUSH1 0x01 000009c4: PUSH1 0x01 000009c6: PUSH1 0xa0 000009c8: SHL 000009c9: SUB 000009ca: DUP4 000009cb: DUP2 000009cc: AND 000009cd: PUSH1 0x04 000009cf: DUP4 000009d0: ADD 000009d1: MSTORE 000009d2: SWAP1 000009d3: SWAP2 000009d4: AND 000009d5: SWAP1 000009d6: PUSH4 0xb09c4d3d 000009db: SWAP1 000009dc: PUSH1 0x24 000009de: ADD 000009df: PUSH1 0x20 000009e1: PUSH1 0x40 000009e3: MLOAD 000009e4: DUP1 000009e5: DUP4 000009e6: SUB 000009e7: DUP2 000009e8: DUP7 000009e9: GAS 000009ea: STATICCALL 000009eb: ISZERO 000009ec: DUP1 000009ed: ISZERO 000009ee: PUSH2 0x09fb 000009f1: JUMPI 000009f2: RETURNDATASIZE 000009f3: PUSH1 0x00 000009f5: DUP1 000009f6: RETURNDATACOPY 000009f7: RETURNDATASIZE 000009f8: PUSH1 0x00 000009fa: REVERT 000009fb: JUMPDEST 000009fc: POP 000009fd: POP 000009fe: POP 000009ff: POP 00000a00: PUSH1 0x40 00000a02: MLOAD 00000a03: RETURNDATASIZE 00000a04: PUSH1 0x1f 00000a06: NOT 00000a07: PUSH1 0x1f 00000a09: DUP3 00000a0a: ADD 00000a0b: AND 00000a0c: DUP3 00000a0d: ADD 00000a0e: DUP1 00000a0f: PUSH1 0x40 00000a11: MSTORE 00000a12: POP 00000a13: DUP2 00000a14: ADD 00000a15: SWAP1 00000a16: PUSH2 0x0a1f 00000a19: SWAP2 00000a1a: SWAP1 00000a1b: PUSH2 0x1cc2 00000a1e: JUMP 00000a1f: JUMPDEST 00000a20: PUSH2 0x0a3b 00000a23: JUMPI 00000a24: PUSH1 0x40 00000a26: MLOAD 00000a27: PUSH3 0x461bcd 00000a2b: PUSH1 0xe5 00000a2d: SHL 00000a2e: DUP2 00000a2f: MSTORE 00000a30: PUSH1 0x04 00000a32: ADD 00000a33: PUSH2 0x02fc 00000a36: SWAP1 00000a37: PUSH2 0x1f16 00000a3a: JUMP 00000a3b: JUMPDEST 00000a3c: PUSH1 0x00 00000a3e: DUP5 00000a3f: GT 00000a40: PUSH2 0x0a7a 00000a43: JUMPI 00000a44: PUSH1 0x40 00000a46: MLOAD 00000a47: PUSH3 0x461bcd 00000a4b: PUSH1 0xe5 00000a4d: SHL 00000a4e: DUP2 00000a4f: MSTORE 00000a50: PUSH1 0x20 00000a52: PUSH1 0x04 00000a54: DUP3 00000a55: ADD 00000a56: MSTORE 00000a57: PUSH1 0x0c 00000a59: PUSH1 0x24 00000a5b: DUP3 00000a5c: ADD 00000a5d: MSTORE 00000a5e: PUSH12 0x07175616e74697479203e203 00000a6b: PUSH1 0xa4 00000a6d: SHL 00000a6e: PUSH1 0x44 00000a70: DUP3 00000a71: ADD 00000a72: MSTORE 00000a73: PUSH1 0x64 00000a75: ADD 00000a76: PUSH2 0x02fc 00000a79: JUMP 00000a7a: JUMPDEST 00000a7b: PUSH2 0x0a86 00000a7e: DUP7 00000a7f: CALLER 00000a80: ADDRESS 00000a81: DUP8 00000a82: PUSH2 0x171d 00000a85: JUMP 00000a86: JUMPDEST 00000a87: PUSH1 0x40 00000a89: DUP1 00000a8a: MLOAD 00000a8b: PUSH1 0x01 00000a8d: PUSH1 0x01 00000a8f: PUSH1 0xa0 00000a91: SHL 00000a92: SUB 00000a93: DUP9 00000a94: DUP2 00000a95: AND 00000a96: DUP3 00000a97: MSTORE 00000a98: DUP8 00000a99: AND 00000a9a: PUSH1 0x20 00000a9c: DUP3 00000a9d: ADD 00000a9e: MSTORE 00000a9f: CALLER 00000aa0: SWAP2 00000aa1: DUP2 00000aa2: ADD 00000aa3: SWAP2 00000aa4: SWAP1 00000aa5: SWAP2 00000aa6: MSTORE 00000aa7: PUSH1 0x60 00000aa9: DUP2 00000aaa: ADD 00000aab: DUP6 00000aac: SWAP1 00000aad: MSTORE 00000aae: ADDRESS 00000aaf: SWAP1 00000ab0: PUSH32 0x5bbdbda0aab16ad9afcb044274821113d598c3f7483e825d7e6d3d09ae8de880 00000ad1: SWAP1 00000ad2: PUSH1 0x80 00000ad4: ADD 00000ad5: PUSH2 0x08f3 00000ad8: JUMP 00000ad9: JUMPDEST 00000ada: PUSH1 0x00 00000adc: SLOAD 00000add: PUSH1 0x40 00000adf: MLOAD 00000ae0: PUSH4 0x306abccf 00000ae5: PUSH1 0xe0 00000ae7: SHL 00000ae8: DUP2 00000ae9: MSTORE 00000aea: CALLER 00000aeb: PUSH1 0x04 00000aed: DUP3 00000aee: ADD 00000aef: MSTORE 00000af0: PUSH1 0x01 00000af2: PUSH1 0x01 00000af4: PUSH1 0xa0 00000af6: SHL 00000af7: SUB 00000af8: SWAP1 00000af9: SWAP2 00000afa: AND 00000afb: SWAP1 00000afc: PUSH4 0x306abccf 00000b01: SWAP1 00000b02: PUSH1 0x24 00000b04: ADD 00000b05: PUSH1 0x20 00000b07: PUSH1 0x40 00000b09: MLOAD 00000b0a: DUP1 00000b0b: DUP4 00000b0c: SUB 00000b0d: DUP2 00000b0e: DUP7 00000b0f: GAS 00000b10: STATICCALL 00000b11: ISZERO 00000b12: DUP1 00000b13: ISZERO 00000b14: PUSH2 0x0b21 00000b17: JUMPI 00000b18: RETURNDATASIZE 00000b19: PUSH1 0x00 00000b1b: DUP1 00000b1c: RETURNDATACOPY 00000b1d: RETURNDATASIZE 00000b1e: PUSH1 0x00 00000b20: REVERT 00000b21: JUMPDEST 00000b22: POP 00000b23: POP 00000b24: POP 00000b25: POP 00000b26: PUSH1 0x40 00000b28: MLOAD 00000b29: RETURNDATASIZE 00000b2a: PUSH1 0x1f 00000b2c: NOT 00000b2d: PUSH1 0x1f 00000b2f: DUP3 00000b30: ADD 00000b31: AND 00000b32: DUP3 00000b33: ADD 00000b34: DUP1 00000b35: PUSH1 0x40 00000b37: MSTORE 00000b38: POP 00000b39: DUP2 00000b3a: ADD 00000b3b: SWAP1 00000b3c: PUSH2 0x0b45 00000b3f: SWAP2 00000b40: SWAP1 00000b41: PUSH2 0x1cc2 00000b44: JUMP 00000b45: JUMPDEST 00000b46: PUSH2 0x0b61 00000b49: JUMPI 00000b4a: PUSH1 0x40 00000b4c: MLOAD 00000b4d: PUSH3 0x461bcd 00000b51: PUSH1 0xe5 00000b53: SHL 00000b54: DUP2 00000b55: MSTORE 00000b56: PUSH1 0x04 00000b58: ADD 00000b59: PUSH2 0x02fc 00000b5c: SWAP1 00000b5d: PUSH2 0x1ce4 00000b60: JUMP 00000b61: JUMPDEST 00000b62: PUSH1 0x00 00000b64: JUMPDEST 00000b65: DUP3 00000b66: MLOAD 00000b67: DUP2 00000b68: LT 00000b69: ISZERO 00000b6a: PUSH2 0x0c81 00000b6d: JUMPI 00000b6e: PUSH1 0x00 00000b70: SLOAD 00000b71: DUP4 00000b72: MLOAD 00000b73: PUSH1 0x01 00000b75: PUSH1 0x01 00000b77: PUSH1 0xa0 00000b79: SHL 00000b7a: SUB 00000b7b: SWAP1 00000b7c: SWAP2 00000b7d: AND 00000b7e: SWAP1 00000b7f: PUSH4 0x0cce6758 00000b84: SWAP1 00000b85: DUP6 00000b86: SWAP1 00000b87: DUP5 00000b88: SWAP1 00000b89: DUP2 00000b8a: LT 00000b8b: PUSH2 0x0b96 00000b8e: JUMPI 00000b8f: PUSH2 0x0b96 00000b92: PUSH2 0x1d67 00000b95: JUMP 00000b96: JUMPDEST 00000b97: PUSH1 0x20 00000b99: MUL 00000b9a: PUSH1 0x20 00000b9c: ADD 00000b9d: ADD 00000b9e: MLOAD 00000b9f: PUSH1 0x40 00000ba1: MLOAD 00000ba2: DUP3 00000ba3: PUSH4 0xffffffff 00000ba8: AND 00000ba9: PUSH1 0xe0 00000bab: SHL 00000bac: DUP2 00000bad: MSTORE 00000bae: PUSH1 0x04 00000bb0: ADD 00000bb1: PUSH2 0x0bc9 00000bb4: SWAP2 00000bb5: SWAP1 00000bb6: PUSH1 0x01 00000bb8: PUSH1 0x01 00000bba: PUSH1 0xa0 00000bbc: SHL 00000bbd: SUB 00000bbe: SWAP2 00000bbf: SWAP1 00000bc0: SWAP2 00000bc1: AND 00000bc2: DUP2 00000bc3: MSTORE 00000bc4: PUSH1 0x20 00000bc6: ADD 00000bc7: SWAP1 00000bc8: JUMP 00000bc9: JUMPDEST 00000bca: PUSH1 0x20 00000bcc: PUSH1 0x40 00000bce: MLOAD 00000bcf: DUP1 00000bd0: DUP4 00000bd1: SUB 00000bd2: DUP2 00000bd3: DUP7 00000bd4: GAS 00000bd5: STATICCALL 00000bd6: ISZERO 00000bd7: DUP1 00000bd8: ISZERO 00000bd9: PUSH2 0x0be6 00000bdc: JUMPI 00000bdd: RETURNDATASIZE 00000bde: PUSH1 0x00 00000be0: DUP1 00000be1: RETURNDATACOPY 00000be2: RETURNDATASIZE 00000be3: PUSH1 0x00 00000be5: REVERT 00000be6: JUMPDEST 00000be7: POP 00000be8: POP 00000be9: POP 00000bea: POP 00000beb: PUSH1 0x40 00000bed: MLOAD 00000bee: RETURNDATASIZE 00000bef: PUSH1 0x1f 00000bf1: NOT 00000bf2: PUSH1 0x1f 00000bf4: DUP3 00000bf5: ADD 00000bf6: AND 00000bf7: DUP3 00000bf8: ADD 00000bf9: DUP1 00000bfa: PUSH1 0x40 00000bfc: MSTORE 00000bfd: POP 00000bfe: DUP2 00000bff: ADD 00000c00: SWAP1 00000c01: PUSH2 0x0c0a 00000c04: SWAP2 00000c05: SWAP1 00000c06: PUSH2 0x1cc2 00000c09: JUMP 00000c0a: JUMPDEST 00000c0b: PUSH2 0x0c26 00000c0e: JUMPI 00000c0f: PUSH1 0x40 00000c11: MLOAD 00000c12: PUSH3 0x461bcd 00000c16: PUSH1 0xe5 00000c18: SHL 00000c19: DUP2 00000c1a: MSTORE 00000c1b: PUSH1 0x04 00000c1d: ADD 00000c1e: PUSH2 0x02fc 00000c21: SWAP1 00000c22: PUSH2 0x1e60 00000c25: JUMP 00000c26: JUMPDEST 00000c27: PUSH2 0x0c6f 00000c2a: DUP5 00000c2b: DUP3 00000c2c: DUP2 00000c2d: MLOAD 00000c2e: DUP2 00000c2f: LT 00000c30: PUSH2 0x0c3b 00000c33: JUMPI 00000c34: PUSH2 0x0c3b 00000c37: PUSH2 0x1d67 00000c3a: JUMP 00000c3b: JUMPDEST 00000c3c: PUSH1 0x20 00000c3e: MUL 00000c3f: PUSH1 0x20 00000c41: ADD 00000c42: ADD 00000c43: MLOAD 00000c44: DUP5 00000c45: DUP4 00000c46: DUP2 00000c47: MLOAD 00000c48: DUP2 00000c49: LT 00000c4a: PUSH2 0x0c55 00000c4d: JUMPI 00000c4e: PUSH2 0x0c55 00000c51: PUSH2 0x1d67 00000c54: JUMP 00000c55: JUMPDEST 00000c56: PUSH1 0x20 00000c58: MUL 00000c59: PUSH1 0x20 00000c5b: ADD 00000c5c: ADD 00000c5d: MLOAD 00000c5e: DUP5 00000c5f: DUP5 00000c60: DUP2 00000c61: MLOAD 00000c62: DUP2 00000c63: LT 00000c64: PUSH2 0x07b8 00000c67: JUMPI 00000c68: PUSH2 0x07b8 00000c6b: PUSH2 0x1d67 00000c6e: JUMP 00000c6f: JUMPDEST 00000c70: DUP1 00000c71: PUSH2 0x0c79 00000c74: DUP2 00000c75: PUSH2 0x1d90 00000c78: JUMP 00000c79: JUMPDEST 00000c7a: SWAP2 00000c7b: POP 00000c7c: POP 00000c7d: PUSH2 0x0b64 00000c80: JUMP 00000c81: JUMPDEST 00000c82: POP 00000c83: ADDRESS 00000c84: PUSH1 0x01 00000c86: PUSH1 0x01 00000c88: PUSH1 0xa0 00000c8a: SHL 00000c8b: SUB 00000c8c: AND 00000c8d: PUSH32 0xf0881eb2e0fe89f9d1c69f313b9766226bf8065d14919b4bb722661cfdf27320 00000cae: DUP5 00000caf: DUP5 00000cb0: DUP5 00000cb1: PUSH1 0x40 00000cb3: MLOAD 00000cb4: PUSH2 0x060c 00000cb7: SWAP4 00000cb8: SWAP3 00000cb9: SWAP2 00000cba: SWAP1 00000cbb: PUSH2 0x1f57 00000cbe: JUMP 00000cbf: JUMPDEST 00000cc0: DUP1 00000cc1: TIMESTAMP 00000cc2: DUP2 00000cc3: LT 00000cc4: ISZERO 00000cc5: PUSH2 0x0cfa 00000cc8: JUMPI 00000cc9: PUSH1 0x40 00000ccb: MLOAD 00000ccc: PUSH3 0x461bcd 00000cd0: PUSH1 0xe5 00000cd2: SHL 00000cd3: DUP2 00000cd4: MSTORE 00000cd5: PUSH1 0x20 00000cd7: PUSH1 0x04 00000cd9: DUP3 00000cda: ADD 00000cdb: MSTORE 00000cdc: PUSH1 0x07 00000cde: PUSH1 0x24 00000ce0: DUP3 00000ce1: ADD 00000ce2: MSTORE 00000ce3: PUSH7 0x115e1c1a5c9959 00000ceb: PUSH1 0xca 00000ced: SHL 00000cee: PUSH1 0x44 00000cf0: DUP3 00000cf1: ADD 00000cf2: MSTORE 00000cf3: PUSH1 0x64 00000cf5: ADD 00000cf6: PUSH2 0x02fc 00000cf9: JUMP 00000cfa: JUMPDEST 00000cfb: PUSH1 0x00 00000cfd: SLOAD 00000cfe: PUSH1 0x40 00000d00: MLOAD 00000d01: PUSH4 0x0199cceb 00000d06: PUSH1 0xe3 00000d08: SHL 00000d09: DUP2 00000d0a: MSTORE 00000d0b: CALLER 00000d0c: PUSH1 0x04 00000d0e: DUP3 00000d0f: ADD 00000d10: DUP2 00000d11: SWAP1 00000d12: MSTORE 00000d13: SWAP2 00000d14: PUSH1 0x01 00000d16: PUSH1 0x01 00000d18: PUSH1 0xa0 00000d1a: SHL 00000d1b: SUB 00000d1c: AND 00000d1d: SWAP1 00000d1e: PUSH4 0x0cce6758 00000d23: SWAP1 00000d24: PUSH1 0x24 00000d26: ADD 00000d27: PUSH1 0x20 00000d29: PUSH1 0x40 00000d2b: MLOAD 00000d2c: DUP1 00000d2d: DUP4 00000d2e: SUB 00000d2f: DUP2 00000d30: DUP7 00000d31: GAS 00000d32: STATICCALL 00000d33: ISZERO 00000d34: DUP1 00000d35: ISZERO 00000d36: PUSH2 0x0d43 00000d39: JUMPI 00000d3a: RETURNDATASIZE 00000d3b: PUSH1 0x00 00000d3d: DUP1 00000d3e: RETURNDATACOPY 00000d3f: RETURNDATASIZE 00000d40: PUSH1 0x00 00000d42: REVERT 00000d43: JUMPDEST 00000d44: POP 00000d45: POP 00000d46: POP 00000d47: POP 00000d48: PUSH1 0x40 00000d4a: MLOAD 00000d4b: RETURNDATASIZE 00000d4c: PUSH1 0x1f 00000d4e: NOT 00000d4f: PUSH1 0x1f 00000d51: DUP3 00000d52: ADD 00000d53: AND 00000d54: DUP3 00000d55: ADD 00000d56: DUP1 00000d57: PUSH1 0x40 00000d59: MSTORE 00000d5a: POP 00000d5b: DUP2 00000d5c: ADD 00000d5d: SWAP1 00000d5e: PUSH2 0x0d67 00000d61: SWAP2 00000d62: SWAP1 00000d63: PUSH2 0x1cc2 00000d66: JUMP 00000d67: JUMPDEST 00000d68: PUSH2 0x0d83 00000d6b: JUMPI 00000d6c: PUSH1 0x40 00000d6e: MLOAD 00000d6f: PUSH3 0x461bcd 00000d73: PUSH1 0xe5 00000d75: SHL 00000d76: DUP2 00000d77: MSTORE 00000d78: PUSH1 0x04 00000d7a: ADD 00000d7b: PUSH2 0x02fc 00000d7e: SWAP1 00000d7f: PUSH2 0x1e60 00000d82: JUMP 00000d83: JUMPDEST 00000d84: PUSH1 0x00 00000d86: DUP5 00000d87: GT 00000d88: PUSH2 0x0de2 00000d8b: JUMPI 00000d8c: PUSH1 0x40 00000d8e: MLOAD 00000d8f: PUSH3 0x461bcd 00000d93: PUSH1 0xe5 00000d95: SHL 00000d96: DUP2 00000d97: MSTORE 00000d98: PUSH1 0x20 00000d9a: PUSH1 0x04 00000d9c: DUP3 00000d9d: ADD 00000d9e: MSTORE 00000d9f: PUSH1 0x26 00000da1: PUSH1 0x24 00000da3: DUP3 00000da4: ADD 00000da5: MSTORE 00000da6: PUSH32 0x54686520737562736372697074696f6e20616d6f756e742063616e6e6f742062 00000dc7: PUSH1 0x44 00000dc9: DUP3 00000dca: ADD 00000dcb: MSTORE 00000dcc: PUSH6 0x65207a65726f 00000dd3: PUSH1 0xd0 00000dd5: SHL 00000dd6: PUSH1 0x64 00000dd8: DUP3 00000dd9: ADD 00000dda: MSTORE 00000ddb: PUSH1 0x84 00000ddd: ADD 00000dde: PUSH2 0x02fc 00000de1: JUMP 00000de2: JUMPDEST 00000de3: PUSH2 0x0dee 00000de6: DUP6 00000de7: CALLER 00000de8: ADDRESS 00000de9: DUP8 00000dea: PUSH2 0x171d 00000ded: JUMP 00000dee: JUMPDEST 00000def: PUSH1 0x40 00000df1: DUP1 00000df2: MLOAD 00000df3: PUSH1 0x01 00000df5: PUSH1 0x01 00000df7: PUSH1 0xa0 00000df9: SHL 00000dfa: SUB 00000dfb: DUP9 00000dfc: DUP2 00000dfd: AND 00000dfe: DUP3 00000dff: MSTORE 00000e00: DUP8 00000e01: AND 00000e02: PUSH1 0x20 00000e04: DUP3 00000e05: ADD 00000e06: MSTORE 00000e07: CALLER 00000e08: SWAP2 00000e09: DUP2 00000e0a: ADD 00000e0b: SWAP2 00000e0c: SWAP1 00000e0d: SWAP2 00000e0e: MSTORE 00000e0f: PUSH1 0x60 00000e11: DUP2 00000e12: ADD 00000e13: DUP6 00000e14: SWAP1 00000e15: MSTORE 00000e16: ADDRESS 00000e17: SWAP1 00000e18: PUSH32 0x85e11623cf3455bd06de236e6eb13e21a2e641a61b12b9b3737cf28297b2d19b 00000e39: SWAP1 00000e3a: PUSH1 0x80 00000e3c: ADD 00000e3d: PUSH2 0x08f3 00000e40: JUMP 00000e41: JUMPDEST 00000e42: PUSH1 0x00 00000e44: SLOAD 00000e45: PUSH1 0x40 00000e47: MLOAD 00000e48: PUSH4 0x306abccf 00000e4d: PUSH1 0xe0 00000e4f: SHL 00000e50: DUP2 00000e51: MSTORE 00000e52: CALLER 00000e53: PUSH1 0x04 00000e55: DUP3 00000e56: ADD 00000e57: MSTORE 00000e58: PUSH1 0x01 00000e5a: PUSH1 0x01 00000e5c: PUSH1 0xa0 00000e5e: SHL 00000e5f: SUB 00000e60: SWAP1 00000e61: SWAP2 00000e62: AND 00000e63: SWAP1 00000e64: PUSH4 0x306abccf 00000e69: SWAP1 00000e6a: PUSH1 0x24 00000e6c: ADD 00000e6d: PUSH1 0x20 00000e6f: PUSH1 0x40 00000e71: MLOAD 00000e72: DUP1 00000e73: DUP4 00000e74: SUB 00000e75: DUP2 00000e76: DUP7 00000e77: GAS 00000e78: STATICCALL 00000e79: ISZERO 00000e7a: DUP1 00000e7b: ISZERO 00000e7c: PUSH2 0x0e89 00000e7f: JUMPI 00000e80: RETURNDATASIZE 00000e81: PUSH1 0x00 00000e83: DUP1 00000e84: RETURNDATACOPY 00000e85: RETURNDATASIZE 00000e86: PUSH1 0x00 00000e88: REVERT 00000e89: JUMPDEST 00000e8a: POP 00000e8b: POP 00000e8c: POP 00000e8d: POP 00000e8e: PUSH1 0x40 00000e90: MLOAD 00000e91: RETURNDATASIZE 00000e92: PUSH1 0x1f 00000e94: NOT 00000e95: PUSH1 0x1f 00000e97: DUP3 00000e98: ADD 00000e99: AND 00000e9a: DUP3 00000e9b: ADD 00000e9c: DUP1 00000e9d: PUSH1 0x40 00000e9f: MSTORE 00000ea0: POP 00000ea1: DUP2 00000ea2: ADD 00000ea3: SWAP1 00000ea4: PUSH2 0x0ead 00000ea7: SWAP2 00000ea8: SWAP1 00000ea9: PUSH2 0x1cc2 00000eac: JUMP 00000ead: JUMPDEST 00000eae: PUSH2 0x0ec9 00000eb1: JUMPI 00000eb2: PUSH1 0x40 00000eb4: MLOAD 00000eb5: PUSH3 0x461bcd 00000eb9: PUSH1 0xe5 00000ebb: SHL 00000ebc: DUP2 00000ebd: MSTORE 00000ebe: PUSH1 0x04 00000ec0: ADD 00000ec1: PUSH2 0x02fc 00000ec4: SWAP1 00000ec5: PUSH2 0x1ce4 00000ec8: JUMP 00000ec9: JUMPDEST 00000eca: PUSH1 0x00 00000ecc: JUMPDEST 00000ecd: DUP4 00000ece: MLOAD 00000ecf: DUP2 00000ed0: LT 00000ed1: ISZERO 00000ed2: PUSH2 0x105b 00000ed5: JUMPI 00000ed6: PUSH32 0x0000000000000000000000007eb3601bb10854234db4dc03ce7fad842b2d86ad 00000ef7: PUSH1 0x01 00000ef9: PUSH1 0x01 00000efb: PUSH1 0xa0 00000efd: SHL 00000efe: SUB 00000eff: AND 00000f00: DUP4 00000f01: DUP3 00000f02: DUP2 00000f03: MLOAD 00000f04: DUP2 00000f05: LT 00000f06: PUSH2 0x0f11 00000f09: JUMPI 00000f0a: PUSH2 0x0f11 00000f0d: PUSH2 0x1d67 00000f10: JUMP 00000f11: JUMPDEST 00000f12: PUSH1 0x20 00000f14: MUL 00000f15: PUSH1 0x20 00000f17: ADD 00000f18: ADD 00000f19: MLOAD 00000f1a: PUSH1 0x01 00000f1c: PUSH1 0x01 00000f1e: PUSH1 0xa0 00000f20: SHL 00000f21: SUB 00000f22: AND 00000f23: EQ 00000f24: DUP1 00000f25: PUSH2 0x0fde 00000f28: JUMPI 00000f29: POP 00000f2a: PUSH32 0x0000000000000000000000007eb3601bb10854234db4dc03ce7fad842b2d86ad 00000f4b: PUSH1 0x01 00000f4d: PUSH1 0x01 00000f4f: PUSH1 0xa0 00000f51: SHL 00000f52: SUB 00000f53: AND 00000f54: PUSH4 0x8345245e 00000f59: DUP5 00000f5a: DUP4 00000f5b: DUP2 00000f5c: MLOAD 00000f5d: DUP2 00000f5e: LT 00000f5f: PUSH2 0x0f6a 00000f62: JUMPI 00000f63: PUSH2 0x0f6a 00000f66: PUSH2 0x1d67 00000f69: JUMP 00000f6a: JUMPDEST 00000f6b: PUSH1 0x20 00000f6d: MUL 00000f6e: PUSH1 0x20 00000f70: ADD 00000f71: ADD 00000f72: MLOAD 00000f73: PUSH1 0x40 00000f75: MLOAD 00000f76: DUP3 00000f77: PUSH4 0xffffffff 00000f7c: AND 00000f7d: PUSH1 0xe0 00000f7f: SHL 00000f80: DUP2 00000f81: MSTORE 00000f82: PUSH1 0x04 00000f84: ADD 00000f85: PUSH2 0x0f9d 00000f88: SWAP2 00000f89: SWAP1 00000f8a: PUSH1 0x01 00000f8c: PUSH1 0x01 00000f8e: PUSH1 0xa0 00000f90: SHL 00000f91: SUB 00000f92: SWAP2 00000f93: SWAP1 00000f94: SWAP2 00000f95: AND 00000f96: DUP2 00000f97: MSTORE 00000f98: PUSH1 0x20 00000f9a: ADD 00000f9b: SWAP1 00000f9c: JUMP 00000f9d: JUMPDEST 00000f9e: PUSH1 0x20 00000fa0: PUSH1 0x40 00000fa2: MLOAD 00000fa3: DUP1 00000fa4: DUP4 00000fa5: SUB 00000fa6: DUP2 00000fa7: DUP7 00000fa8: GAS 00000fa9: STATICCALL 00000faa: ISZERO 00000fab: DUP1 00000fac: ISZERO 00000fad: PUSH2 0x0fba 00000fb0: JUMPI 00000fb1: RETURNDATASIZE 00000fb2: PUSH1 0x00 00000fb4: DUP1 00000fb5: RETURNDATACOPY 00000fb6: RETURNDATASIZE 00000fb7: PUSH1 0x00 00000fb9: REVERT 00000fba: JUMPDEST 00000fbb: POP 00000fbc: POP 00000fbd: POP 00000fbe: POP 00000fbf: PUSH1 0x40 00000fc1: MLOAD 00000fc2: RETURNDATASIZE 00000fc3: PUSH1 0x1f 00000fc5: NOT 00000fc6: PUSH1 0x1f 00000fc8: DUP3 00000fc9: ADD 00000fca: AND 00000fcb: DUP3 00000fcc: ADD 00000fcd: DUP1 00000fce: PUSH1 0x40 00000fd0: MSTORE 00000fd1: POP 00000fd2: DUP2 00000fd3: ADD 00000fd4: SWAP1 00000fd5: PUSH2 0x0fde 00000fd8: SWAP2 00000fd9: SWAP1 00000fda: PUSH2 0x1cc2 00000fdd: JUMP 00000fde: JUMPDEST 00000fdf: PUSH2 0x1034 00000fe2: JUMPI 00000fe3: PUSH1 0x40 00000fe5: MLOAD 00000fe6: PUSH3 0x461bcd 00000fea: PUSH1 0xe5 00000fec: SHL 00000fed: DUP2 00000fee: MSTORE 00000fef: PUSH1 0x20 00000ff1: PUSH1 0x04 00000ff3: DUP3 00000ff4: ADD 00000ff5: MSTORE 00000ff6: PUSH1 0x21 00000ff8: PUSH1 0x24 00000ffa: DUP3 00000ffb: ADD 00000ffc: MSTORE 00000ffd: PUSH32 0x546869732061646472657373206973206e6f7420616c6c6f7720616464726573 0000101e: PUSH1 0x44 00001020: DUP3 00001021: ADD 00001022: MSTORE 00001023: PUSH1 0x73 00001025: PUSH1 0xf8 00001027: SHL 00001028: PUSH1 0x64 0000102a: DUP3 0000102b: ADD 0000102c: MSTORE 0000102d: PUSH1 0x84 0000102f: ADD 00001030: PUSH2 0x02fc 00001033: JUMP 00001034: JUMPDEST 00001035: PUSH2 0x1049 00001038: DUP5 00001039: DUP3 0000103a: DUP2 0000103b: MLOAD 0000103c: DUP2 0000103d: LT 0000103e: PUSH2 0x0c3b 00001041: JUMPI 00001042: PUSH2 0x0c3b 00001045: PUSH2 0x1d67 00001048: JUMP 00001049: JUMPDEST 0000104a: DUP1 0000104b: PUSH2 0x1053 0000104e: DUP2 0000104f: PUSH2 0x1d90 00001052: JUMP 00001053: JUMPDEST 00001054: SWAP2 00001055: POP 00001056: POP 00001057: PUSH2 0x0ecc 0000105a: JUMP 0000105b: JUMPDEST 0000105c: POP 0000105d: ADDRESS 0000105e: PUSH1 0x01 00001060: PUSH1 0x01 00001062: PUSH1 0xa0 00001064: SHL 00001065: SUB 00001066: AND 00001067: PUSH32 0xfe789f6ce632164f87348b8f772616fc93bde63328877e32af37a98e5a779767 00001088: DUP5 00001089: DUP5 0000108a: DUP5 0000108b: PUSH1 0x40 0000108d: MLOAD 0000108e: PUSH2 0x060c 00001091: SWAP4 00001092: SWAP3 00001093: SWAP2 00001094: SWAP1 00001095: PUSH2 0x1f57 00001098: JUMP 00001099: JUMPDEST 0000109a: PUSH1 0x00 0000109c: SLOAD 0000109d: PUSH1 0x01 0000109f: PUSH1 0x01 000010a1: PUSH1 0xa0 000010a3: SHL 000010a4: SUB 000010a5: AND 000010a6: CALLER 000010a7: EQ 000010a8: PUSH2 0x10f3 000010ab: JUMPI 000010ac: PUSH1 0x40 000010ae: MLOAD 000010af: PUSH3 0x461bcd 000010b3: PUSH1 0xe5 000010b5: SHL 000010b6: DUP2 000010b7: MSTORE 000010b8: PUSH1 0x20 000010ba: PUSH1 0x04 000010bc: DUP3 000010bd: ADD 000010be: MSTORE 000010bf: PUSH1 0x18 000010c1: PUSH1 0x24 000010c3: DUP3 000010c4: ADD 000010c5: MSTORE 000010c6: PUSH32 0x43616c6c6572206973206e6f74206d616e6167656d656e740000000000000000 000010e7: PUSH1 0x44 000010e9: DUP3 000010ea: ADD 000010eb: MSTORE 000010ec: PUSH1 0x64 000010ee: ADD 000010ef: PUSH2 0x02fc 000010f2: JUMP 000010f3: JUMPDEST 000010f4: PUSH1 0x01 000010f6: PUSH1 0x01 000010f8: PUSH1 0xa0 000010fa: SHL 000010fb: SUB 000010fc: DUP2 000010fd: AND 000010fe: PUSH2 0x1149 00001101: JUMPI 00001102: PUSH1 0x40 00001104: MLOAD 00001105: PUSH3 0x461bcd 00001109: PUSH1 0xe5 0000110b: SHL 0000110c: DUP2 0000110d: MSTORE 0000110e: PUSH1 0x20 00001110: PUSH1 0x04 00001112: DUP3 00001113: ADD 00001114: MSTORE 00001115: PUSH1 0x1c 00001117: PUSH1 0x24 00001119: DUP3 0000111a: ADD 0000111b: MSTORE 0000111c: PUSH32 0x616464726573732063616e6e6f74206265206164647265737328302900000000 0000113d: PUSH1 0x44 0000113f: DUP3 00001140: ADD 00001141: MSTORE 00001142: PUSH1 0x64 00001144: ADD 00001145: PUSH2 0x02fc 00001148: JUMP 00001149: JUMPDEST 0000114a: PUSH1 0x00 0000114c: DUP1 0000114d: SLOAD 0000114e: PUSH1 0x01 00001150: PUSH1 0x01 00001152: PUSH1 0xa0 00001154: SHL 00001155: SUB 00001156: NOT 00001157: AND 00001158: PUSH1 0x01 0000115a: PUSH1 0x01 0000115c: PUSH1 0xa0 0000115e: SHL 0000115f: SUB 00001160: DUP4 00001161: AND 00001162: SWAP1 00001163: DUP2 00001164: OR 00001165: SWAP1 00001166: SWAP2 00001167: SSTORE 00001168: PUSH1 0x40 0000116a: MLOAD 0000116b: SWAP1 0000116c: DUP2 0000116d: MSTORE 0000116e: ADDRESS 0000116f: SWAP1 00001170: PUSH32 0xec5837e83167d921ae298e99f5817184e912c981aa8a38307cb2d976c019fae6 00001191: SWAP1 00001192: PUSH1 0x20 00001194: ADD 00001195: PUSH1 0x40 00001197: MLOAD 00001198: DUP1 00001199: SWAP2 0000119a: SUB 0000119b: SWAP1 0000119c: LOG2 0000119d: POP 0000119e: JUMP 0000119f: JUMPDEST 000011a0: PUSH1 0x00 000011a2: SLOAD 000011a3: PUSH1 0x40 000011a5: MLOAD 000011a6: PUSH4 0x306abccf 000011ab: PUSH1 0xe0 000011ad: SHL 000011ae: DUP2 000011af: MSTORE 000011b0: CALLER 000011b1: PUSH1 0x04 000011b3: DUP3 000011b4: ADD 000011b5: MSTORE 000011b6: PUSH1 0x01 000011b8: PUSH1 0x01 000011ba: PUSH1 0xa0 000011bc: SHL 000011bd: SUB 000011be: SWAP1 000011bf: SWAP2 000011c0: AND 000011c1: SWAP1 000011c2: PUSH4 0x306abccf 000011c7: SWAP1 000011c8: PUSH1 0x24 000011ca: ADD 000011cb: PUSH1 0x20 000011cd: PUSH1 0x40 000011cf: MLOAD 000011d0: DUP1 000011d1: DUP4 000011d2: SUB 000011d3: DUP2 000011d4: DUP7 000011d5: GAS 000011d6: STATICCALL 000011d7: ISZERO 000011d8: DUP1 000011d9: ISZERO 000011da: PUSH2 0x11e7 000011dd: JUMPI 000011de: RETURNDATASIZE 000011df: PUSH1 0x00 000011e1: DUP1 000011e2: RETURNDATACOPY 000011e3: RETURNDATASIZE 000011e4: PUSH1 0x00 000011e6: REVERT 000011e7: JUMPDEST 000011e8: POP 000011e9: POP 000011ea: POP 000011eb: POP 000011ec: PUSH1 0x40 000011ee: MLOAD 000011ef: RETURNDATASIZE 000011f0: PUSH1 0x1f 000011f2: NOT 000011f3: PUSH1 0x1f 000011f5: DUP3 000011f6: ADD 000011f7: AND 000011f8: DUP3 000011f9: ADD 000011fa: DUP1 000011fb: PUSH1 0x40 000011fd: MSTORE 000011fe: POP 000011ff: DUP2 00001200: ADD 00001201: SWAP1 00001202: PUSH2 0x120b 00001205: SWAP2 00001206: SWAP1 00001207: PUSH2 0x1cc2 0000120a: JUMP 0000120b: JUMPDEST 0000120c: PUSH2 0x1227 0000120f: JUMPI 00001210: PUSH1 0x40 00001212: MLOAD 00001213: PUSH3 0x461bcd 00001217: PUSH1 0xe5 00001219: SHL 0000121a: DUP2 0000121b: MSTORE 0000121c: PUSH1 0x04 0000121e: ADD 0000121f: PUSH2 0x02fc 00001222: SWAP1 00001223: PUSH2 0x1ce4 00001226: JUMP 00001227: JUMPDEST 00001228: PUSH1 0x00 0000122a: JUMPDEST 0000122b: DUP4 0000122c: MLOAD 0000122d: DUP2 0000122e: LT 0000122f: ISZERO 00001230: PUSH2 0x150e 00001233: JUMPI 00001234: PUSH1 0x00 00001236: SLOAD 00001237: DUP7 00001238: MLOAD 00001239: PUSH1 0x01 0000123b: PUSH1 0x01 0000123d: PUSH1 0xa0 0000123f: SHL 00001240: SUB 00001241: SWAP1 00001242: SWAP2 00001243: AND 00001244: SWAP1 00001245: PUSH4 0x0cce6758 0000124a: SWAP1 0000124b: DUP9 0000124c: SWAP1 0000124d: DUP5 0000124e: SWAP1 0000124f: DUP2 00001250: LT 00001251: PUSH2 0x125c 00001254: JUMPI 00001255: PUSH2 0x125c 00001258: PUSH2 0x1d67 0000125b: JUMP 0000125c: JUMPDEST 0000125d: PUSH1 0x20 0000125f: MUL 00001260: PUSH1 0x20 00001262: ADD 00001263: ADD 00001264: MLOAD 00001265: PUSH1 0x40 00001267: MLOAD 00001268: DUP3 00001269: PUSH4 0xffffffff 0000126e: AND 0000126f: PUSH1 0xe0 00001271: SHL 00001272: DUP2 00001273: MSTORE 00001274: PUSH1 0x04 00001276: ADD 00001277: PUSH2 0x128f 0000127a: SWAP2 0000127b: SWAP1 0000127c: PUSH1 0x01 0000127e: PUSH1 0x01 00001280: PUSH1 0xa0 00001282: SHL 00001283: SUB 00001284: SWAP2 00001285: SWAP1 00001286: SWAP2 00001287: AND 00001288: DUP2 00001289: MSTORE 0000128a: PUSH1 0x20 0000128c: ADD 0000128d: SWAP1 0000128e: JUMP 0000128f: JUMPDEST 00001290: PUSH1 0x20 00001292: PUSH1 0x40 00001294: MLOAD 00001295: DUP1 00001296: DUP4 00001297: SUB 00001298: DUP2 00001299: DUP7 0000129a: GAS 0000129b: STATICCALL 0000129c: ISZERO 0000129d: DUP1 0000129e: ISZERO 0000129f: PUSH2 0x12ac 000012a2: JUMPI 000012a3: RETURNDATASIZE 000012a4: PUSH1 0x00 000012a6: DUP1 000012a7: RETURNDATACOPY 000012a8: RETURNDATASIZE 000012a9: PUSH1 0x00 000012ab: REVERT 000012ac: JUMPDEST 000012ad: POP 000012ae: POP 000012af: POP 000012b0: POP 000012b1: PUSH1 0x40 000012b3: MLOAD 000012b4: RETURNDATASIZE 000012b5: PUSH1 0x1f 000012b7: NOT 000012b8: PUSH1 0x1f 000012ba: DUP3 000012bb: ADD 000012bc: AND 000012bd: DUP3 000012be: ADD 000012bf: DUP1 000012c0: PUSH1 0x40 000012c2: MSTORE 000012c3: POP 000012c4: DUP2 000012c5: ADD 000012c6: SWAP1 000012c7: PUSH2 0x12d0 000012ca: SWAP2 000012cb: SWAP1 000012cc: PUSH2 0x1cc2 000012cf: JUMP 000012d0: JUMPDEST 000012d1: DUP1 000012d2: PUSH2 0x1373 000012d5: JUMPI 000012d6: POP 000012d7: PUSH1 0x00 000012d9: SLOAD 000012da: DUP7 000012db: MLOAD 000012dc: PUSH1 0x01 000012de: PUSH1 0x01 000012e0: PUSH1 0xa0 000012e2: SHL 000012e3: SUB 000012e4: SWAP1 000012e5: SWAP2 000012e6: AND 000012e7: SWAP1 000012e8: PUSH4 0xb09c4d3d 000012ed: SWAP1 000012ee: DUP9 000012ef: SWAP1 000012f0: DUP5 000012f1: SWAP1 000012f2: DUP2 000012f3: LT 000012f4: PUSH2 0x12ff 000012f7: JUMPI 000012f8: PUSH2 0x12ff 000012fb: PUSH2 0x1d67 000012fe: JUMP 000012ff: JUMPDEST 00001300: PUSH1 0x20 00001302: MUL 00001303: PUSH1 0x20 00001305: ADD 00001306: ADD 00001307: MLOAD 00001308: PUSH1 0x40 0000130a: MLOAD 0000130b: DUP3 0000130c: PUSH4 0xffffffff 00001311: AND 00001312: PUSH1 0xe0 00001314: SHL 00001315: DUP2 00001316: MSTORE 00001317: PUSH1 0x04 00001319: ADD 0000131a: PUSH2 0x1332 0000131d: SWAP2 0000131e: SWAP1 0000131f: PUSH1 0x01 00001321: PUSH1 0x01 00001323: PUSH1 0xa0 00001325: SHL 00001326: SUB 00001327: SWAP2 00001328: SWAP1 00001329: SWAP2 0000132a: AND 0000132b: DUP2 0000132c: MSTORE 0000132d: PUSH1 0x20 0000132f: ADD 00001330: SWAP1 00001331: JUMP 00001332: JUMPDEST 00001333: PUSH1 0x20 00001335: PUSH1 0x40 00001337: MLOAD 00001338: DUP1 00001339: DUP4 0000133a: SUB 0000133b: DUP2 0000133c: DUP7 0000133d: GAS 0000133e: STATICCALL 0000133f: ISZERO 00001340: DUP1 00001341: ISZERO 00001342: PUSH2 0x134f 00001345: JUMPI 00001346: RETURNDATASIZE 00001347: PUSH1 0x00 00001349: DUP1 0000134a: RETURNDATACOPY 0000134b: RETURNDATASIZE 0000134c: PUSH1 0x00 0000134e: REVERT 0000134f: JUMPDEST 00001350: POP 00001351: POP 00001352: POP 00001353: POP 00001354: PUSH1 0x40 00001356: MLOAD 00001357: RETURNDATASIZE 00001358: PUSH1 0x1f 0000135a: NOT 0000135b: PUSH1 0x1f 0000135d: DUP3 0000135e: ADD 0000135f: AND 00001360: DUP3 00001361: ADD 00001362: DUP1 00001363: PUSH1 0x40 00001365: MSTORE 00001366: POP 00001367: DUP2 00001368: ADD 00001369: SWAP1 0000136a: PUSH2 0x1373 0000136d: SWAP2 0000136e: SWAP1 0000136f: PUSH2 0x1cc2 00001372: JUMP 00001373: JUMPDEST 00001374: PUSH2 0x138f 00001377: JUMPI 00001378: PUSH1 0x40 0000137a: MLOAD 0000137b: PUSH3 0x461bcd 0000137f: PUSH1 0xe5 00001381: SHL 00001382: DUP2 00001383: MSTORE 00001384: PUSH1 0x04 00001386: ADD 00001387: PUSH2 0x02fc 0000138a: SWAP1 0000138b: PUSH2 0x1f16 0000138e: JUMP 0000138f: JUMPDEST 00001390: PUSH1 0x00 00001392: DUP6 00001393: DUP3 00001394: DUP2 00001395: MLOAD 00001396: DUP2 00001397: LT 00001398: PUSH2 0x13a3 0000139b: JUMPI 0000139c: PUSH2 0x13a3 0000139f: PUSH2 0x1d67 000013a2: JUMP 000013a3: JUMPDEST 000013a4: PUSH1 0x20 000013a6: MUL 000013a7: PUSH1 0x20 000013a9: ADD 000013aa: ADD 000013ab: MLOAD 000013ac: GT 000013ad: ISZERO 000013ae: PUSH2 0x13c7 000013b1: JUMPI 000013b2: PUSH2 0x13c7 000013b5: DUP8 000013b6: DUP8 000013b7: DUP4 000013b8: DUP2 000013b9: MLOAD 000013ba: DUP2 000013bb: LT 000013bc: PUSH2 0x079e 000013bf: JUMPI 000013c0: PUSH2 0x079e 000013c3: PUSH2 0x1d67 000013c6: JUMP 000013c7: JUMPDEST 000013c8: PUSH1 0x00 000013ca: DUP3 000013cb: DUP3 000013cc: DUP2 000013cd: MLOAD 000013ce: DUP2 000013cf: LT 000013d0: PUSH2 0x13db 000013d3: JUMPI 000013d4: PUSH2 0x13db 000013d7: PUSH2 0x1d67 000013da: JUMP 000013db: JUMPDEST 000013dc: PUSH1 0x20 000013de: MUL 000013df: PUSH1 0x20 000013e1: ADD 000013e2: ADD 000013e3: MLOAD 000013e4: DUP5 000013e5: DUP4 000013e6: DUP2 000013e7: MLOAD 000013e8: DUP2 000013e9: LT 000013ea: PUSH2 0x13f5 000013ed: JUMPI 000013ee: PUSH2 0x13f5 000013f1: PUSH2 0x1d67 000013f4: JUMP 000013f5: JUMPDEST 000013f6: PUSH1 0x20 000013f8: MUL 000013f9: PUSH1 0x20 000013fb: ADD 000013fc: ADD 000013fd: MLOAD 000013fe: PUSH2 0x1407 00001401: SWAP2 00001402: SWAP1 00001403: PUSH2 0x1d4e 00001406: JUMP 00001407: JUMPDEST 00001408: GT 00001409: ISZERO 0000140a: PUSH2 0x148f 0000140d: JUMPI 0000140e: PUSH2 0x148f 00001411: DUP5 00001412: DUP3 00001413: DUP2 00001414: MLOAD 00001415: DUP2 00001416: LT 00001417: PUSH2 0x1422 0000141a: JUMPI 0000141b: PUSH2 0x1422 0000141e: PUSH2 0x1d67 00001421: JUMP 00001422: JUMPDEST 00001423: PUSH1 0x20 00001425: MUL 00001426: PUSH1 0x20 00001428: ADD 00001429: ADD 0000142a: MLOAD 0000142b: DUP8 0000142c: DUP4 0000142d: DUP2 0000142e: MLOAD 0000142f: DUP2 00001430: LT 00001431: PUSH2 0x143c 00001434: JUMPI 00001435: PUSH2 0x143c 00001438: PUSH2 0x1d67 0000143b: JUMP 0000143c: JUMPDEST 0000143d: PUSH1 0x20 0000143f: MUL 00001440: PUSH1 0x20 00001442: ADD 00001443: ADD 00001444: MLOAD 00001445: DUP5 00001446: DUP5 00001447: DUP2 00001448: MLOAD 00001449: DUP2 0000144a: LT 0000144b: PUSH2 0x1456 0000144e: JUMPI 0000144f: PUSH2 0x1456 00001452: PUSH2 0x1d67 00001455: JUMP 00001456: JUMPDEST 00001457: PUSH1 0x20 00001459: MUL 0000145a: PUSH1 0x20 0000145c: ADD 0000145d: ADD 0000145e: MLOAD 0000145f: DUP7 00001460: DUP6 00001461: DUP2 00001462: MLOAD 00001463: DUP2 00001464: LT 00001465: PUSH2 0x1470 00001468: JUMPI 00001469: PUSH2 0x1470 0000146c: PUSH2 0x1d67 0000146f: JUMP 00001470: JUMPDEST 00001471: PUSH1 0x20 00001473: MUL 00001474: PUSH1 0x20 00001476: ADD 00001477: ADD 00001478: DUP2 00001479: DUP2 0000147a: MLOAD 0000147b: PUSH2 0x1484 0000147e: SWAP2 0000147f: SWAP1 00001480: PUSH2 0x1d4e 00001483: JUMP 00001484: JUMPDEST 00001485: SWAP2 00001486: POP 00001487: DUP2 00001488: DUP2 00001489: MSTORE 0000148a: POP 0000148b: PUSH2 0x15ec 0000148e: JUMP 0000148f: JUMPDEST 00001490: DUP2 00001491: DUP2 00001492: DUP2 00001493: MLOAD 00001494: DUP2 00001495: LT 00001496: PUSH2 0x14a1 00001499: JUMPI 0000149a: PUSH2 0x14a1 0000149d: PUSH2 0x1d67 000014a0: JUMP 000014a1: JUMPDEST 000014a2: PUSH1 0x20 000014a4: MUL 000014a5: PUSH1 0x20 000014a7: ADD 000014a8: ADD 000014a9: MLOAD 000014aa: PUSH1 0x01 000014ac: PUSH1 0x00 000014ae: DUP7 000014af: DUP5 000014b0: DUP2 000014b1: MLOAD 000014b2: DUP2 000014b3: LT 000014b4: PUSH2 0x14bf 000014b7: JUMPI 000014b8: PUSH2 0x14bf 000014bb: PUSH2 0x1d67 000014be: JUMP 000014bf: JUMPDEST 000014c0: PUSH1 0x20 000014c2: MUL 000014c3: PUSH1 0x20 000014c5: ADD 000014c6: ADD 000014c7: MLOAD 000014c8: PUSH1 0x01 000014ca: PUSH1 0x01 000014cc: PUSH1 0xa0 000014ce: SHL 000014cf: SUB 000014d0: AND 000014d1: PUSH1 0x01 000014d3: PUSH1 0x01 000014d5: PUSH1 0xa0 000014d7: SHL 000014d8: SUB 000014d9: AND 000014da: DUP2 000014db: MSTORE 000014dc: PUSH1 0x20 000014de: ADD 000014df: SWAP1 000014e0: DUP2 000014e1: MSTORE 000014e2: PUSH1 0x20 000014e4: ADD 000014e5: PUSH1 0x00 000014e7: KECCAK256 000014e8: PUSH1 0x00 000014ea: DUP3 000014eb: DUP3 000014ec: SLOAD 000014ed: PUSH2 0x14f6 000014f0: SWAP2 000014f1: SWAP1 000014f2: PUSH2 0x1d7d 000014f5: JUMP 000014f6: JUMPDEST 000014f7: SWAP1 000014f8: SWAP2 000014f9: SSTORE 000014fa: POP 000014fb: DUP2 000014fc: SWAP1 000014fd: POP 000014fe: PUSH2 0x1506 00001501: DUP2 00001502: PUSH2 0x1d90 00001505: JUMP 00001506: JUMPDEST 00001507: SWAP2 00001508: POP 00001509: POP 0000150a: PUSH2 0x122a 0000150d: JUMP 0000150e: JUMPDEST 0000150f: POP 00001510: ADDRESS 00001511: PUSH1 0x01 00001513: PUSH1 0x01 00001515: PUSH1 0xa0 00001517: SHL 00001518: SUB 00001519: AND 0000151a: PUSH32 0x078201b4fddebeb020e52d5999827843599e0ae133d7f8ad82564d44515b0952 0000153b: DUP8 0000153c: DUP8 0000153d: DUP8 0000153e: DUP8 0000153f: DUP8 00001540: DUP8 00001541: PUSH1 0x40 00001543: MLOAD 00001544: PUSH2 0x08f3 00001547: SWAP7 00001548: SWAP6 00001549: SWAP5 0000154a: SWAP4 0000154b: SWAP3 0000154c: SWAP2 0000154d: SWAP1 0000154e: PUSH2 0x1e97 00001551: JUMP 00001552: JUMPDEST 00001553: PUSH1 0x00 00001555: JUMPDEST 00001556: DUP3 00001557: MLOAD 00001558: DUP2 00001559: LT 0000155a: ISZERO 0000155b: PUSH2 0x15ae 0000155e: JUMPI 0000155f: PUSH2 0x159c 00001562: DUP4 00001563: DUP3 00001564: DUP2 00001565: MLOAD 00001566: DUP2 00001567: LT 00001568: PUSH2 0x1573 0000156b: JUMPI 0000156c: PUSH2 0x1573 0000156f: PUSH2 0x1d67 00001572: JUMP 00001573: JUMPDEST 00001574: PUSH1 0x20 00001576: MUL 00001577: PUSH1 0x20 00001579: ADD 0000157a: ADD 0000157b: MLOAD 0000157c: CALLER 0000157d: ADDRESS 0000157e: DUP6 0000157f: DUP6 00001580: DUP2 00001581: MLOAD 00001582: DUP2 00001583: LT 00001584: PUSH2 0x158f 00001587: JUMPI 00001588: PUSH2 0x158f 0000158b: PUSH2 0x1d67 0000158e: JUMP 0000158f: JUMPDEST 00001590: PUSH1 0x20 00001592: MUL 00001593: PUSH1 0x20 00001595: ADD 00001596: ADD 00001597: MLOAD 00001598: PUSH2 0x171d 0000159b: JUMP 0000159c: JUMPDEST 0000159d: DUP1 0000159e: PUSH2 0x15a6 000015a1: DUP2 000015a2: PUSH2 0x1d90 000015a5: JUMP 000015a6: JUMPDEST 000015a7: SWAP2 000015a8: POP 000015a9: POP 000015aa: PUSH2 0x1555 000015ad: JUMP 000015ae: JUMPDEST 000015af: POP 000015b0: ADDRESS 000015b1: PUSH1 0x01 000015b3: PUSH1 0x01 000015b5: PUSH1 0xa0 000015b7: SHL 000015b8: SUB 000015b9: AND 000015ba: PUSH32 0x90caba4f44ab4742182204a5617734ee8e3bea814aae0272457ed8bddf9b364a 000015db: DUP5 000015dc: DUP5 000015dd: DUP5 000015de: PUSH1 0x40 000015e0: MLOAD 000015e1: PUSH2 0x060c 000015e4: SWAP4 000015e5: SWAP3 000015e6: SWAP2 000015e7: SWAP1 000015e8: PUSH2 0x1e1d 000015eb: JUMP 000015ec: JUMPDEST 000015ed: PUSH1 0x40 000015ef: DUP1 000015f0: MLOAD 000015f1: PUSH1 0x01 000015f3: PUSH1 0x01 000015f5: PUSH1 0xa0 000015f7: SHL 000015f8: SUB 000015f9: DUP5 000015fa: DUP2 000015fb: AND 000015fc: PUSH1 0x24 000015fe: DUP4 000015ff: ADD 00001600: MSTORE 00001601: PUSH1 0x44 00001603: DUP1 00001604: DUP4 00001605: ADD 00001606: DUP6 00001607: SWAP1 00001608: MSTORE 00001609: DUP4 0000160a: MLOAD 0000160b: DUP1 0000160c: DUP5 0000160d: SUB 0000160e: SWAP1 0000160f: SWAP2 00001610: ADD 00001611: DUP2 00001612: MSTORE 00001613: PUSH1 0x64 00001615: SWAP1 00001616: SWAP3 00001617: ADD 00001618: DUP4 00001619: MSTORE 0000161a: PUSH1 0x20 0000161c: DUP3 0000161d: ADD 0000161e: DUP1 0000161f: MLOAD 00001620: PUSH1 0x01 00001622: PUSH1 0x01 00001624: PUSH1 0xe0 00001626: SHL 00001627: SUB 00001628: AND 00001629: PUSH4 0xa9059cbb 0000162e: PUSH1 0xe0 00001630: SHL 00001631: OR 00001632: SWAP1 00001633: MSTORE 00001634: SWAP2 00001635: MLOAD 00001636: PUSH1 0x00 00001638: SWAP3 00001639: DUP4 0000163a: SWAP3 0000163b: SWAP1 0000163c: DUP8 0000163d: AND 0000163e: SWAP2 0000163f: PUSH2 0x1648 00001642: SWAP2 00001643: SWAP1 00001644: PUSH2 0x1f6a 00001647: JUMP 00001648: JUMPDEST 00001649: PUSH1 0x00 0000164b: PUSH1 0x40 0000164d: MLOAD 0000164e: DUP1 0000164f: DUP4 00001650: SUB 00001651: DUP2 00001652: PUSH1 0x00 00001654: DUP7 00001655: GAS 00001656: CALL 00001657: SWAP2 00001658: POP 00001659: POP 0000165a: RETURNDATASIZE 0000165b: DUP1 0000165c: PUSH1 0x00 0000165e: DUP2 0000165f: EQ 00001660: PUSH2 0x1685 00001663: JUMPI 00001664: PUSH1 0x40 00001666: MLOAD 00001667: SWAP2 00001668: POP 00001669: PUSH1 0x1f 0000166b: NOT 0000166c: PUSH1 0x3f 0000166e: RETURNDATASIZE 0000166f: ADD 00001670: AND 00001671: DUP3 00001672: ADD 00001673: PUSH1 0x40 00001675: MSTORE 00001676: RETURNDATASIZE 00001677: DUP3 00001678: MSTORE 00001679: RETURNDATASIZE 0000167a: PUSH1 0x00 0000167c: PUSH1 0x20 0000167e: DUP5 0000167f: ADD 00001680: RETURNDATACOPY 00001681: PUSH2 0x168a 00001684: JUMP 00001685: JUMPDEST 00001686: PUSH1 0x60 00001688: SWAP2 00001689: POP 0000168a: JUMPDEST 0000168b: POP 0000168c: SWAP2 0000168d: POP 0000168e: SWAP2 0000168f: POP 00001690: DUP2 00001691: DUP1 00001692: ISZERO 00001693: PUSH2 0x16b4 00001696: JUMPI 00001697: POP 00001698: DUP1 00001699: MLOAD 0000169a: ISZERO 0000169b: DUP1 0000169c: PUSH2 0x16b4 0000169f: JUMPI 000016a0: POP 000016a1: DUP1 000016a2: DUP1 000016a3: PUSH1 0x20 000016a5: ADD 000016a6: SWAP1 000016a7: MLOAD 000016a8: DUP2 000016a9: ADD 000016aa: SWAP1 000016ab: PUSH2 0x16b4 000016ae: SWAP2 000016af: SWAP1 000016b0: PUSH2 0x1cc2 000016b3: JUMP 000016b4: JUMPDEST 000016b5: PUSH2 0x1716 000016b8: JUMPI 000016b9: PUSH1 0x40 000016bb: MLOAD 000016bc: PUSH3 0x461bcd 000016c0: PUSH1 0xe5 000016c2: SHL 000016c3: DUP2 000016c4: MSTORE 000016c5: PUSH1 0x20 000016c7: PUSH1 0x04 000016c9: DUP3 000016ca: ADD 000016cb: MSTORE 000016cc: PUSH1 0x2d 000016ce: PUSH1 0x24 000016d0: DUP3 000016d1: ADD 000016d2: MSTORE 000016d3: PUSH32 0x5472616e7366657248656c7065723a3a736166655472616e736665723a207472 000016f4: PUSH1 0x44 000016f6: DUP3 000016f7: ADD 000016f8: MSTORE 000016f9: PUSH13 0x185b9cd9995c8819985a5b1959 00001707: PUSH1 0x9a 00001709: SHL 0000170a: PUSH1 0x64 0000170c: DUP3 0000170d: ADD 0000170e: MSTORE 0000170f: PUSH1 0x84 00001711: ADD 00001712: PUSH2 0x02fc 00001715: JUMP 00001716: JUMPDEST 00001717: POP 00001718: POP 00001719: POP 0000171a: POP 0000171b: POP 0000171c: JUMP 0000171d: JUMPDEST 0000171e: PUSH1 0x40 00001720: DUP1 00001721: MLOAD 00001722: PUSH1 0x01 00001724: PUSH1 0x01 00001726: PUSH1 0xa0 00001728: SHL 00001729: SUB 0000172a: DUP6 0000172b: DUP2 0000172c: AND 0000172d: PUSH1 0x24 0000172f: DUP4 00001730: ADD 00001731: MSTORE 00001732: DUP5 00001733: DUP2 00001734: AND 00001735: PUSH1 0x44 00001737: DUP4 00001738: ADD 00001739: MSTORE 0000173a: PUSH1 0x64 0000173c: DUP1 0000173d: DUP4 0000173e: ADD 0000173f: DUP6 00001740: SWAP1 00001741: MSTORE 00001742: DUP4 00001743: MLOAD 00001744: DUP1 00001745: DUP5 00001746: SUB 00001747: SWAP1 00001748: SWAP2 00001749: ADD 0000174a: DUP2 0000174b: MSTORE 0000174c: PUSH1 0x84 0000174e: SWAP1 0000174f: SWAP3 00001750: ADD 00001751: DUP4 00001752: MSTORE 00001753: PUSH1 0x20 00001755: DUP3 00001756: ADD 00001757: DUP1 00001758: MLOAD 00001759: PUSH1 0x01 0000175b: PUSH1 0x01 0000175d: PUSH1 0xe0 0000175f: SHL 00001760: SUB 00001761: AND 00001762: PUSH4 0x23b872dd 00001767: PUSH1 0xe0 00001769: SHL 0000176a: OR 0000176b: SWAP1 0000176c: MSTORE 0000176d: SWAP2 0000176e: MLOAD 0000176f: PUSH1 0x00 00001771: SWAP3 00001772: DUP4 00001773: SWAP3 00001774: SWAP1 00001775: DUP9 00001776: AND 00001777: SWAP2 00001778: PUSH2 0x1781 0000177b: SWAP2 0000177c: SWAP1 0000177d: PUSH2 0x1f6a 00001780: JUMP 00001781: JUMPDEST 00001782: PUSH1 0x00 00001784: PUSH1 0x40 00001786: MLOAD 00001787: DUP1 00001788: DUP4 00001789: SUB 0000178a: DUP2 0000178b: PUSH1 0x00 0000178d: DUP7 0000178e: GAS 0000178f: CALL 00001790: SWAP2 00001791: POP 00001792: POP 00001793: RETURNDATASIZE 00001794: DUP1 00001795: PUSH1 0x00 00001797: DUP2 00001798: EQ 00001799: PUSH2 0x17be 0000179c: JUMPI 0000179d: PUSH1 0x40 0000179f: MLOAD 000017a0: SWAP2 000017a1: POP 000017a2: PUSH1 0x1f 000017a4: NOT 000017a5: PUSH1 0x3f 000017a7: RETURNDATASIZE 000017a8: ADD 000017a9: AND 000017aa: DUP3 000017ab: ADD 000017ac: PUSH1 0x40 000017ae: MSTORE 000017af: RETURNDATASIZE 000017b0: DUP3 000017b1: MSTORE 000017b2: RETURNDATASIZE 000017b3: PUSH1 0x00 000017b5: PUSH1 0x20 000017b7: DUP5 000017b8: ADD 000017b9: RETURNDATACOPY 000017ba: PUSH2 0x17c3 000017bd: JUMP 000017be: JUMPDEST 000017bf: PUSH1 0x60 000017c1: SWAP2 000017c2: POP 000017c3: JUMPDEST 000017c4: POP 000017c5: SWAP2 000017c6: POP 000017c7: SWAP2 000017c8: POP 000017c9: DUP2 000017ca: DUP1 000017cb: ISZERO 000017cc: PUSH2 0x17ed 000017cf: JUMPI 000017d0: POP 000017d1: DUP1 000017d2: MLOAD 000017d3: ISZERO 000017d4: DUP1 000017d5: PUSH2 0x17ed 000017d8: JUMPI 000017d9: POP 000017da: DUP1 000017db: DUP1 000017dc: PUSH1 0x20 000017de: ADD 000017df: SWAP1 000017e0: MLOAD 000017e1: DUP2 000017e2: ADD 000017e3: SWAP1 000017e4: PUSH2 0x17ed 000017e7: SWAP2 000017e8: SWAP1 000017e9: PUSH2 0x1cc2 000017ec: JUMP 000017ed: JUMPDEST 000017ee: PUSH2 0x1853 000017f1: JUMPI 000017f2: PUSH1 0x40 000017f4: MLOAD 000017f5: PUSH3 0x461bcd 000017f9: PUSH1 0xe5 000017fb: SHL 000017fc: DUP2 000017fd: MSTORE 000017fe: PUSH1 0x20 00001800: PUSH1 0x04 00001802: DUP3 00001803: ADD 00001804: MSTORE 00001805: PUSH1 0x31 00001807: PUSH1 0x24 00001809: DUP3 0000180a: ADD 0000180b: MSTORE 0000180c: PUSH32 0x5472616e7366657248656c7065723a3a7472616e7366657246726f6d3a207472 0000182d: PUSH1 0x44 0000182f: DUP3 00001830: ADD 00001831: MSTORE 00001832: PUSH17 0x185b9cd9995c919c9bdb4819985a5b1959 00001844: PUSH1 0x7a 00001846: SHL 00001847: PUSH1 0x64 00001849: DUP3 0000184a: ADD 0000184b: MSTORE 0000184c: PUSH1 0x84 0000184e: ADD 0000184f: PUSH2 0x02fc 00001852: JUMP 00001853: JUMPDEST 00001854: POP 00001855: POP 00001856: POP 00001857: POP 00001858: POP 00001859: POP 0000185a: JUMP 0000185b: JUMPDEST 0000185c: PUSH1 0x01 0000185e: PUSH1 0x01 00001860: PUSH1 0xa0 00001862: SHL 00001863: SUB 00001864: DUP2 00001865: AND 00001866: DUP2 00001867: EQ 00001868: PUSH2 0x1870 0000186b: JUMPI 0000186c: PUSH1 0x00 0000186e: DUP1 0000186f: REVERT 00001870: JUMPDEST 00001871: POP 00001872: JUMP 00001873: JUMPDEST 00001874: DUP1 00001875: CALLDATALOAD 00001876: PUSH2 0x187e 00001879: DUP2 0000187a: PUSH2 0x185b 0000187d: JUMP 0000187e: JUMPDEST 0000187f: SWAP2 00001880: SWAP1 00001881: POP 00001882: JUMP 00001883: JUMPDEST 00001884: PUSH1 0x00 00001886: DUP1 00001887: PUSH1 0x40 00001889: DUP4 0000188a: DUP6 0000188b: SUB 0000188c: SLT 0000188d: ISZERO 0000188e: PUSH2 0x1896 00001891: JUMPI 00001892: PUSH1 0x00 00001894: DUP1 00001895: REVERT 00001896: JUMPDEST 00001897: DUP3 00001898: CALLDATALOAD 00001899: PUSH2 0x18a1 0000189c: DUP2 0000189d: PUSH2 0x185b 000018a0: JUMP 000018a1: JUMPDEST 000018a2: SWAP5 000018a3: PUSH1 0x20 000018a5: SWAP4 000018a6: SWAP1 000018a7: SWAP4 000018a8: ADD 000018a9: CALLDATALOAD 000018aa: SWAP4 000018ab: POP 000018ac: POP 000018ad: POP 000018ae: JUMP 000018af: JUMPDEST 000018b0: PUSH1 0x00 000018b2: JUMPDEST 000018b3: DUP4 000018b4: DUP2 000018b5: LT 000018b6: ISZERO 000018b7: PUSH2 0x18ca 000018ba: JUMPI 000018bb: DUP2 000018bc: DUP2 000018bd: ADD 000018be: MLOAD 000018bf: DUP4 000018c0: DUP3 000018c1: ADD 000018c2: MSTORE 000018c3: PUSH1 0x20 000018c5: ADD 000018c6: PUSH2 0x18b2 000018c9: JUMP 000018ca: JUMPDEST 000018cb: POP 000018cc: POP 000018cd: PUSH1 0x00 000018cf: SWAP2 000018d0: ADD 000018d1: MSTORE 000018d2: JUMP 000018d3: JUMPDEST 000018d4: PUSH1 0x00 000018d6: DUP2 000018d7: MLOAD 000018d8: DUP1 000018d9: DUP5 000018da: MSTORE 000018db: PUSH2 0x18eb 000018de: DUP2 000018df: PUSH1 0x20 000018e1: DUP7 000018e2: ADD 000018e3: PUSH1 0x20 000018e5: DUP7 000018e6: ADD 000018e7: PUSH2 0x18af 000018ea: JUMP 000018eb: JUMPDEST 000018ec: PUSH1 0x1f 000018ee: ADD 000018ef: PUSH1 0x1f 000018f1: NOT 000018f2: AND 000018f3: SWAP3 000018f4: SWAP1 000018f5: SWAP3 000018f6: ADD 000018f7: PUSH1 0x20 000018f9: ADD 000018fa: SWAP3 000018fb: SWAP2 000018fc: POP 000018fd: POP 000018fe: JUMP 000018ff: JUMPDEST 00001900: PUSH1 0x20 00001902: DUP2 00001903: MSTORE 00001904: PUSH1 0x00 00001906: PUSH2 0x1912 00001909: PUSH1 0x20 0000190b: DUP4 0000190c: ADD 0000190d: DUP5 0000190e: PUSH2 0x18d3 00001911: JUMP 00001912: JUMPDEST 00001913: SWAP4 00001914: SWAP3 00001915: POP 00001916: POP 00001917: POP 00001918: JUMP 00001919: JUMPDEST 0000191a: PUSH1 0x00 0000191c: PUSH1 0x20 0000191e: DUP3 0000191f: DUP5 00001920: SUB 00001921: SLT 00001922: ISZERO 00001923: PUSH2 0x192b 00001926: JUMPI 00001927: PUSH1 0x00 00001929: DUP1 0000192a: REVERT 0000192b: JUMPDEST 0000192c: DUP2 0000192d: CALLDATALOAD 0000192e: PUSH2 0x1912 00001931: DUP2 00001932: PUSH2 0x185b 00001935: JUMP 00001936: JUMPDEST 00001937: PUSH4 0x4e487b71 0000193c: PUSH1 0xe0 0000193e: SHL 0000193f: PUSH1 0x00 00001941: MSTORE 00001942: PUSH1 0x41 00001944: PUSH1 0x04 00001946: MSTORE 00001947: PUSH1 0x24 00001949: PUSH1 0x00 0000194b: REVERT 0000194c: JUMPDEST 0000194d: PUSH1 0x40 0000194f: MLOAD 00001950: PUSH1 0x1f 00001952: DUP3 00001953: ADD 00001954: PUSH1 0x1f 00001956: NOT 00001957: AND 00001958: DUP2 00001959: ADD 0000195a: PUSH8 0xffffffffffffffff 00001963: DUP2 00001964: GT 00001965: DUP3 00001966: DUP3 00001967: LT 00001968: OR 00001969: ISZERO 0000196a: PUSH2 0x1975 0000196d: JUMPI 0000196e: PUSH2 0x1975 00001971: PUSH2 0x1936 00001974: JUMP 00001975: JUMPDEST 00001976: PUSH1 0x40 00001978: MSTORE 00001979: SWAP2 0000197a: SWAP1 0000197b: POP 0000197c: JUMP 0000197d: JUMPDEST 0000197e: PUSH1 0x00 00001980: PUSH8 0xffffffffffffffff 00001989: DUP3 0000198a: GT 0000198b: ISZERO 0000198c: PUSH2 0x1997 0000198f: JUMPI 00001990: PUSH2 0x1997 00001993: PUSH2 0x1936 00001996: JUMP 00001997: JUMPDEST 00001998: POP 00001999: PUSH1 0x05 0000199b: SHL 0000199c: PUSH1 0x20 0000199e: ADD 0000199f: SWAP1 000019a0: JUMP 000019a1: JUMPDEST 000019a2: PUSH1 0x00 000019a4: DUP3 000019a5: PUSH1 0x1f 000019a7: DUP4 000019a8: ADD 000019a9: SLT 000019aa: PUSH2 0x19b2 000019ad: JUMPI 000019ae: PUSH1 0x00 000019b0: DUP1 000019b1: REVERT 000019b2: JUMPDEST 000019b3: DUP2 000019b4: CALLDATALOAD 000019b5: PUSH1 0x20 000019b7: PUSH2 0x19c7 000019ba: PUSH2 0x19c2 000019bd: DUP4 000019be: PUSH2 0x197d 000019c1: JUMP 000019c2: JUMPDEST 000019c3: PUSH2 0x194c 000019c6: JUMP 000019c7: JUMPDEST 000019c8: DUP3 000019c9: DUP2 000019ca: MSTORE 000019cb: PUSH1 0x05 000019cd: SWAP3 000019ce: SWAP1 000019cf: SWAP3 000019d0: SHL 000019d1: DUP5 000019d2: ADD 000019d3: DUP2 000019d4: ADD 000019d5: SWAP2 000019d6: DUP2 000019d7: DUP2 000019d8: ADD 000019d9: SWAP1 000019da: DUP7 000019db: DUP5 000019dc: GT 000019dd: ISZERO 000019de: PUSH2 0x19e6 000019e1: JUMPI 000019e2: PUSH1 0x00 000019e4: DUP1 000019e5: REVERT 000019e6: JUMPDEST 000019e7: DUP3 000019e8: DUP7 000019e9: ADD 000019ea: JUMPDEST 000019eb: DUP5 000019ec: DUP2 000019ed: LT 000019ee: ISZERO 000019ef: PUSH2 0x1a0a 000019f2: JUMPI 000019f3: DUP1 000019f4: CALLDATALOAD 000019f5: PUSH2 0x19fd 000019f8: DUP2 000019f9: PUSH2 0x185b 000019fc: JUMP 000019fd: JUMPDEST 000019fe: DUP4 000019ff: MSTORE 00001a00: SWAP2 00001a01: DUP4 00001a02: ADD 00001a03: SWAP2 00001a04: DUP4 00001a05: ADD 00001a06: PUSH2 0x19ea 00001a09: JUMP 00001a0a: JUMPDEST 00001a0b: POP 00001a0c: SWAP7 00001a0d: SWAP6 00001a0e: POP 00001a0f: POP 00001a10: POP 00001a11: POP 00001a12: POP 00001a13: POP 00001a14: JUMP 00001a15: JUMPDEST 00001a16: PUSH1 0x00 00001a18: DUP3 00001a19: PUSH1 0x1f 00001a1b: DUP4 00001a1c: ADD 00001a1d: SLT 00001a1e: PUSH2 0x1a26 00001a21: JUMPI 00001a22: PUSH1 0x00 00001a24: DUP1 00001a25: REVERT 00001a26: JUMPDEST 00001a27: DUP2 00001a28: CALLDATALOAD 00001a29: PUSH1 0x20 00001a2b: PUSH2 0x1a36 00001a2e: PUSH2 0x19c2 00001a31: DUP4 00001a32: PUSH2 0x197d 00001a35: JUMP 00001a36: JUMPDEST 00001a37: DUP3 00001a38: DUP2 00001a39: MSTORE 00001a3a: PUSH1 0x05 00001a3c: SWAP3 00001a3d: SWAP1 00001a3e: SWAP3 00001a3f: SHL 00001a40: DUP5 00001a41: ADD 00001a42: DUP2 00001a43: ADD 00001a44: SWAP2 00001a45: DUP2 00001a46: DUP2 00001a47: ADD 00001a48: SWAP1 00001a49: DUP7 00001a4a: DUP5 00001a4b: GT 00001a4c: ISZERO 00001a4d: PUSH2 0x1a55 00001a50: JUMPI 00001a51: PUSH1 0x00 00001a53: DUP1 00001a54: REVERT 00001a55: JUMPDEST 00001a56: DUP3 00001a57: DUP7 00001a58: ADD 00001a59: JUMPDEST 00001a5a: DUP5 00001a5b: DUP2 00001a5c: LT 00001a5d: ISZERO 00001a5e: PUSH2 0x1a0a 00001a61: JUMPI 00001a62: DUP1 00001a63: CALLDATALOAD 00001a64: DUP4 00001a65: MSTORE 00001a66: SWAP2 00001a67: DUP4 00001a68: ADD 00001a69: SWAP2 00001a6a: DUP4 00001a6b: ADD 00001a6c: PUSH2 0x1a59 00001a6f: JUMP 00001a70: JUMPDEST 00001a71: PUSH1 0x00 00001a73: DUP1 00001a74: PUSH1 0x00 00001a76: PUSH1 0x60 00001a78: DUP5 00001a79: DUP7 00001a7a: SUB 00001a7b: SLT 00001a7c: ISZERO 00001a7d: PUSH2 0x1a85 00001a80: JUMPI 00001a81: PUSH1 0x00 00001a83: DUP1 00001a84: REVERT 00001a85: JUMPDEST 00001a86: DUP4 00001a87: CALLDATALOAD 00001a88: PUSH8 0xffffffffffffffff 00001a91: DUP1 00001a92: DUP3 00001a93: GT 00001a94: ISZERO 00001a95: PUSH2 0x1a9d 00001a98: JUMPI 00001a99: PUSH1 0x00 00001a9b: DUP1 00001a9c: REVERT 00001a9d: JUMPDEST 00001a9e: DUP2 00001a9f: DUP7 00001aa0: ADD 00001aa1: SWAP2 00001aa2: POP 00001aa3: DUP7 00001aa4: PUSH1 0x1f 00001aa6: DUP4 00001aa7: ADD 00001aa8: SLT 00001aa9: PUSH2 0x1ab1 00001aac: JUMPI 00001aad: PUSH1 0x00 00001aaf: DUP1 00001ab0: REVERT 00001ab1: JUMPDEST 00001ab2: DUP2 00001ab3: CALLDATALOAD 00001ab4: PUSH1 0x20 00001ab6: DUP3 00001ab7: DUP3 00001ab8: GT 00001ab9: ISZERO 00001aba: PUSH2 0x1ac5 00001abd: JUMPI 00001abe: PUSH2 0x1ac5 00001ac1: PUSH2 0x1936 00001ac4: JUMP 00001ac5: JUMPDEST 00001ac6: PUSH2 0x1ad7 00001ac9: PUSH1 0x1f 00001acb: DUP4 00001acc: ADD 00001acd: PUSH1 0x1f 00001acf: NOT 00001ad0: AND 00001ad1: DUP3 00001ad2: ADD 00001ad3: PUSH2 0x194c 00001ad6: JUMP 00001ad7: JUMPDEST 00001ad8: DUP3 00001ad9: DUP2 00001ada: MSTORE 00001adb: DUP10 00001adc: DUP3 00001add: DUP5 00001ade: DUP8 00001adf: ADD 00001ae0: ADD 00001ae1: GT 00001ae2: ISZERO 00001ae3: PUSH2 0x1aeb 00001ae6: JUMPI 00001ae7: PUSH1 0x00 00001ae9: DUP1 00001aea: REVERT 00001aeb: JUMPDEST 00001aec: DUP3 00001aed: DUP3 00001aee: DUP7 00001aef: ADD 00001af0: DUP4 00001af1: DUP4 00001af2: ADD 00001af3: CALLDATACOPY 00001af4: PUSH1 0x00 00001af6: SWAP3 00001af7: DUP2 00001af8: ADD 00001af9: DUP3 00001afa: ADD 00001afb: SWAP3 00001afc: SWAP1 00001afd: SWAP3 00001afe: MSTORE 00001aff: SWAP1 00001b00: SWAP6 00001b01: POP 00001b02: DUP7 00001b03: ADD 00001b04: CALLDATALOAD 00001b05: SWAP2 00001b06: POP 00001b07: DUP1 00001b08: DUP3 00001b09: GT 00001b0a: ISZERO 00001b0b: PUSH2 0x1b13 00001b0e: JUMPI 00001b0f: PUSH1 0x00 00001b11: DUP1 00001b12: REVERT 00001b13: JUMPDEST 00001b14: PUSH2 0x1b1f 00001b17: DUP8 00001b18: DUP4 00001b19: DUP9 00001b1a: ADD 00001b1b: PUSH2 0x19a1 00001b1e: JUMP 00001b1f: JUMPDEST 00001b20: SWAP4 00001b21: POP 00001b22: PUSH1 0x40 00001b24: DUP7 00001b25: ADD 00001b26: CALLDATALOAD 00001b27: SWAP2 00001b28: POP 00001b29: DUP1 00001b2a: DUP3 00001b2b: GT 00001b2c: ISZERO 00001b2d: PUSH2 0x1b35 00001b30: JUMPI 00001b31: PUSH1 0x00 00001b33: DUP1 00001b34: REVERT 00001b35: JUMPDEST 00001b36: POP 00001b37: PUSH2 0x1b42 00001b3a: DUP7 00001b3b: DUP3 00001b3c: DUP8 00001b3d: ADD 00001b3e: PUSH2 0x1a15 00001b41: JUMP 00001b42: JUMPDEST 00001b43: SWAP2 00001b44: POP 00001b45: POP 00001b46: SWAP3 00001b47: POP 00001b48: SWAP3 00001b49: POP 00001b4a: SWAP3 00001b4b: JUMP 00001b4c: JUMPDEST 00001b4d: PUSH1 0x00 00001b4f: DUP1 00001b50: PUSH1 0x00 00001b52: DUP1 00001b53: PUSH1 0x00 00001b55: DUP1 00001b56: PUSH1 0xc0 00001b58: DUP8 00001b59: DUP10 00001b5a: SUB 00001b5b: SLT 00001b5c: ISZERO 00001b5d: PUSH2 0x1b65 00001b60: JUMPI 00001b61: PUSH1 0x00 00001b63: DUP1 00001b64: REVERT 00001b65: JUMPDEST 00001b66: PUSH2 0x1b6e 00001b69: DUP8 00001b6a: PUSH2 0x1873 00001b6d: JUMP 00001b6e: JUMPDEST 00001b6f: SWAP6 00001b70: POP 00001b71: PUSH1 0x20 00001b73: DUP8 00001b74: ADD 00001b75: CALLDATALOAD 00001b76: PUSH8 0xffffffffffffffff 00001b7f: DUP1 00001b80: DUP3 00001b81: GT 00001b82: ISZERO 00001b83: PUSH2 0x1b8b 00001b86: JUMPI 00001b87: PUSH1 0x00 00001b89: DUP1 00001b8a: REVERT 00001b8b: JUMPDEST 00001b8c: PUSH2 0x1b97 00001b8f: DUP11 00001b90: DUP4 00001b91: DUP12 00001b92: ADD 00001b93: PUSH2 0x19a1 00001b96: JUMP 00001b97: JUMPDEST 00001b98: SWAP7 00001b99: POP 00001b9a: PUSH1 0x40 00001b9c: DUP10 00001b9d: ADD 00001b9e: CALLDATALOAD 00001b9f: SWAP2 00001ba0: POP 00001ba1: DUP1 00001ba2: DUP3 00001ba3: GT 00001ba4: ISZERO 00001ba5: PUSH2 0x1bad 00001ba8: JUMPI 00001ba9: PUSH1 0x00 00001bab: DUP1 00001bac: REVERT 00001bad: JUMPDEST 00001bae: PUSH2 0x1bb9 00001bb1: DUP11 00001bb2: DUP4 00001bb3: DUP12 00001bb4: ADD 00001bb5: PUSH2 0x1a15 00001bb8: JUMP 00001bb9: JUMPDEST 00001bba: SWAP6 00001bbb: POP 00001bbc: PUSH1 0x60 00001bbe: DUP10 00001bbf: ADD 00001bc0: CALLDATALOAD 00001bc1: SWAP2 00001bc2: POP 00001bc3: DUP1 00001bc4: DUP3 00001bc5: GT 00001bc6: ISZERO 00001bc7: PUSH2 0x1bcf 00001bca: JUMPI 00001bcb: PUSH1 0x00 00001bcd: DUP1 00001bce: REVERT 00001bcf: JUMPDEST 00001bd0: PUSH2 0x1bdb 00001bd3: DUP11 00001bd4: DUP4 00001bd5: DUP12 00001bd6: ADD 00001bd7: PUSH2 0x19a1 00001bda: JUMP 00001bdb: JUMPDEST 00001bdc: SWAP5 00001bdd: POP 00001bde: PUSH1 0x80 00001be0: DUP10 00001be1: ADD 00001be2: CALLDATALOAD 00001be3: SWAP2 00001be4: POP 00001be5: DUP1 00001be6: DUP3 00001be7: GT 00001be8: ISZERO 00001be9: PUSH2 0x1bf1 00001bec: JUMPI 00001bed: PUSH1 0x00 00001bef: DUP1 00001bf0: REVERT 00001bf1: JUMPDEST 00001bf2: PUSH2 0x1bfd 00001bf5: DUP11 00001bf6: DUP4 00001bf7: DUP12 00001bf8: ADD 00001bf9: PUSH2 0x1a15 00001bfc: JUMP 00001bfd: JUMPDEST 00001bfe: SWAP4 00001bff: POP 00001c00: PUSH1 0xa0 00001c02: DUP10 00001c03: ADD 00001c04: CALLDATALOAD 00001c05: SWAP2 00001c06: POP 00001c07: DUP1 00001c08: DUP3 00001c09: GT 00001c0a: ISZERO 00001c0b: PUSH2 0x1c13 00001c0e: JUMPI 00001c0f: PUSH1 0x00 00001c11: DUP1 00001c12: REVERT 00001c13: JUMPDEST 00001c14: POP 00001c15: PUSH2 0x1c20 00001c18: DUP10 00001c19: DUP3 00001c1a: DUP11 00001c1b: ADD 00001c1c: PUSH2 0x1a15 00001c1f: JUMP 00001c20: JUMPDEST 00001c21: SWAP2 00001c22: POP 00001c23: POP 00001c24: SWAP3 00001c25: SWAP6 00001c26: POP 00001c27: SWAP3 00001c28: SWAP6 00001c29: POP 00001c2a: SWAP3 00001c2b: SWAP6 00001c2c: JUMP 00001c2d: JUMPDEST 00001c2e: PUSH1 0x00 00001c30: DUP1 00001c31: PUSH1 0x00 00001c33: DUP1 00001c34: PUSH1 0x80 00001c36: DUP6 00001c37: DUP8 00001c38: SUB 00001c39: SLT 00001c3a: ISZERO 00001c3b: PUSH2 0x1c43 00001c3e: JUMPI 00001c3f: PUSH1 0x00 00001c41: DUP1 00001c42: REVERT 00001c43: JUMPDEST 00001c44: DUP5 00001c45: CALLDATALOAD 00001c46: PUSH2 0x1c4e 00001c49: DUP2 00001c4a: PUSH2 0x185b 00001c4d: JUMP 00001c4e: JUMPDEST 00001c4f: SWAP4 00001c50: POP 00001c51: PUSH1 0x20 00001c53: DUP6 00001c54: ADD 00001c55: CALLDATALOAD 00001c56: PUSH2 0x1c5e 00001c59: DUP2 00001c5a: PUSH2 0x185b 00001c5d: JUMP 00001c5e: JUMPDEST 00001c5f: SWAP4 00001c60: SWAP7 00001c61: SWAP4 00001c62: SWAP6 00001c63: POP 00001c64: POP 00001c65: POP 00001c66: POP 00001c67: PUSH1 0x40 00001c69: DUP3 00001c6a: ADD 00001c6b: CALLDATALOAD 00001c6c: SWAP2 00001c6d: PUSH1 0x60 00001c6f: ADD 00001c70: CALLDATALOAD 00001c71: SWAP1 00001c72: JUMP 00001c73: JUMPDEST 00001c74: PUSH1 0x00 00001c76: DUP1 00001c77: PUSH1 0x00 00001c79: PUSH1 0x60 00001c7b: DUP5 00001c7c: DUP7 00001c7d: SUB 00001c7e: SLT 00001c7f: ISZERO 00001c80: PUSH2 0x1c88 00001c83: JUMPI 00001c84: PUSH1 0x00 00001c86: DUP1 00001c87: REVERT 00001c88: JUMPDEST 00001c89: DUP4 00001c8a: CALLDATALOAD 00001c8b: PUSH8 0xffffffffffffffff 00001c94: DUP1 00001c95: DUP3 00001c96: GT 00001c97: ISZERO 00001c98: PUSH2 0x1ca0 00001c9b: JUMPI 00001c9c: PUSH1 0x00 00001c9e: DUP1 00001c9f: REVERT 00001ca0: JUMPDEST 00001ca1: PUSH2 0x1cac 00001ca4: DUP8 00001ca5: DUP4 00001ca6: DUP9 00001ca7: ADD 00001ca8: PUSH2 0x19a1 00001cab: JUMP 00001cac: JUMPDEST 00001cad: SWAP5 00001cae: POP 00001caf: PUSH1 0x20 00001cb1: DUP7 00001cb2: ADD 00001cb3: CALLDATALOAD 00001cb4: SWAP2 00001cb5: POP 00001cb6: DUP1 00001cb7: DUP3 00001cb8: GT 00001cb9: ISZERO 00001cba: PUSH2 0x1b13 00001cbd: JUMPI 00001cbe: PUSH1 0x00 00001cc0: DUP1 00001cc1: REVERT 00001cc2: JUMPDEST 00001cc3: PUSH1 0x00 00001cc5: PUSH1 0x20 00001cc7: DUP3 00001cc8: DUP5 00001cc9: SUB 00001cca: SLT 00001ccb: ISZERO 00001ccc: PUSH2 0x1cd4 00001ccf: JUMPI 00001cd0: PUSH1 0x00 00001cd2: DUP1 00001cd3: REVERT 00001cd4: JUMPDEST 00001cd5: DUP2 00001cd6: MLOAD 00001cd7: DUP1 00001cd8: ISZERO 00001cd9: ISZERO 00001cda: DUP2 00001cdb: EQ 00001cdc: PUSH2 0x1912 00001cdf: JUMPI 00001ce0: PUSH1 0x00 00001ce2: DUP1 00001ce3: REVERT 00001ce4: JUMPDEST 00001ce5: PUSH1 0x20 00001ce7: DUP1 00001ce8: DUP3 00001ce9: MSTORE 00001cea: PUSH1 0x1e 00001cec: SWAP1 00001ced: DUP3 00001cee: ADD 00001cef: MSTORE 00001cf0: PUSH32 0x43616c6c6572206973206e6f7420636f6e7472616374206d616e616765720000 00001d11: PUSH1 0x40 00001d13: DUP3 00001d14: ADD 00001d15: MSTORE 00001d16: PUSH1 0x60 00001d18: ADD 00001d19: SWAP1 00001d1a: JUMP 00001d1b: JUMPDEST 00001d1c: PUSH1 0x00 00001d1e: PUSH1 0x20 00001d20: DUP3 00001d21: DUP5 00001d22: SUB 00001d23: SLT 00001d24: ISZERO 00001d25: PUSH2 0x1d2d 00001d28: JUMPI 00001d29: PUSH1 0x00 00001d2b: DUP1 00001d2c: REVERT 00001d2d: JUMPDEST 00001d2e: DUP2 00001d2f: MLOAD 00001d30: PUSH2 0x1912 00001d33: DUP2 00001d34: PUSH2 0x185b 00001d37: JUMP 00001d38: JUMPDEST 00001d39: PUSH4 0x4e487b71 00001d3e: PUSH1 0xe0 00001d40: SHL 00001d41: PUSH1 0x00 00001d43: MSTORE 00001d44: PUSH1 0x11 00001d46: PUSH1 0x04 00001d48: MSTORE 00001d49: PUSH1 0x24 00001d4b: PUSH1 0x00 00001d4d: REVERT 00001d4e: JUMPDEST 00001d4f: DUP2 00001d50: DUP2 00001d51: SUB 00001d52: DUP2 00001d53: DUP2 00001d54: GT 00001d55: ISZERO 00001d56: PUSH2 0x1d61 00001d59: JUMPI 00001d5a: PUSH2 0x1d61 00001d5d: PUSH2 0x1d38 00001d60: JUMP 00001d61: JUMPDEST 00001d62: SWAP3 00001d63: SWAP2 00001d64: POP 00001d65: POP 00001d66: JUMP 00001d67: JUMPDEST 00001d68: PUSH4 0x4e487b71 00001d6d: PUSH1 0xe0 00001d6f: SHL 00001d70: PUSH1 0x00 00001d72: MSTORE 00001d73: PUSH1 0x32 00001d75: PUSH1 0x04 00001d77: MSTORE 00001d78: PUSH1 0x24 00001d7a: PUSH1 0x00 00001d7c: REVERT 00001d7d: JUMPDEST 00001d7e: DUP1 00001d7f: DUP3 00001d80: ADD 00001d81: DUP1 00001d82: DUP3 00001d83: GT 00001d84: ISZERO 00001d85: PUSH2 0x1d61 00001d88: JUMPI 00001d89: PUSH2 0x1d61 00001d8c: PUSH2 0x1d38 00001d8f: JUMP 00001d90: JUMPDEST 00001d91: PUSH1 0x00 00001d93: PUSH1 0x01 00001d95: DUP3 00001d96: ADD 00001d97: PUSH2 0x1da2 00001d9a: JUMPI 00001d9b: PUSH2 0x1da2 00001d9e: PUSH2 0x1d38 00001da1: JUMP 00001da2: JUMPDEST 00001da3: POP 00001da4: PUSH1 0x01 00001da6: ADD 00001da7: SWAP1 00001da8: JUMP 00001da9: JUMPDEST 00001daa: PUSH1 0x00 00001dac: DUP2 00001dad: MLOAD 00001dae: DUP1 00001daf: DUP5 00001db0: MSTORE 00001db1: PUSH1 0x20 00001db3: DUP1 00001db4: DUP6 00001db5: ADD 00001db6: SWAP5 00001db7: POP 00001db8: DUP1 00001db9: DUP5 00001dba: ADD 00001dbb: PUSH1 0x00 00001dbd: JUMPDEST 00001dbe: DUP4 00001dbf: DUP2 00001dc0: LT 00001dc1: ISZERO 00001dc2: PUSH2 0x1de2 00001dc5: JUMPI 00001dc6: DUP2 00001dc7: MLOAD 00001dc8: PUSH1 0x01 00001dca: PUSH1 0x01 00001dcc: PUSH1 0xa0 00001dce: SHL 00001dcf: SUB 00001dd0: AND 00001dd1: DUP8 00001dd2: MSTORE 00001dd3: SWAP6 00001dd4: DUP3 00001dd5: ADD 00001dd6: SWAP6 00001dd7: SWAP1 00001dd8: DUP3 00001dd9: ADD 00001dda: SWAP1 00001ddb: PUSH1 0x01 00001ddd: ADD 00001dde: PUSH2 0x1dbd 00001de1: JUMP 00001de2: JUMPDEST 00001de3: POP 00001de4: SWAP5 00001de5: SWAP6 00001de6: SWAP5 00001de7: POP 00001de8: POP 00001de9: POP 00001dea: POP 00001deb: POP 00001dec: JUMP 00001ded: JUMPDEST 00001dee: PUSH1 0x00 00001df0: DUP2 00001df1: MLOAD 00001df2: DUP1 00001df3: DUP5 00001df4: MSTORE 00001df5: PUSH1 0x20 00001df7: DUP1 00001df8: DUP6 00001df9: ADD 00001dfa: SWAP5 00001dfb: POP 00001dfc: DUP1 00001dfd: DUP5 00001dfe: ADD 00001dff: PUSH1 0x00 00001e01: JUMPDEST 00001e02: DUP4 00001e03: DUP2 00001e04: LT 00001e05: ISZERO 00001e06: PUSH2 0x1de2 00001e09: JUMPI 00001e0a: DUP2 00001e0b: MLOAD 00001e0c: DUP8 00001e0d: MSTORE 00001e0e: SWAP6 00001e0f: DUP3 00001e10: ADD 00001e11: SWAP6 00001e12: SWAP1 00001e13: DUP3 00001e14: ADD 00001e15: SWAP1 00001e16: PUSH1 0x01 00001e18: ADD 00001e19: PUSH2 0x1e01 00001e1c: JUMP 00001e1d: JUMPDEST 00001e1e: PUSH1 0x60 00001e20: DUP2 00001e21: MSTORE 00001e22: PUSH1 0x00 00001e24: PUSH2 0x1e30 00001e27: PUSH1 0x60 00001e29: DUP4 00001e2a: ADD 00001e2b: DUP7 00001e2c: PUSH2 0x18d3 00001e2f: JUMP 00001e30: JUMPDEST 00001e31: DUP3 00001e32: DUP2 00001e33: SUB 00001e34: PUSH1 0x20 00001e36: DUP5 00001e37: ADD 00001e38: MSTORE 00001e39: PUSH2 0x1e42 00001e3c: DUP2 00001e3d: DUP7 00001e3e: PUSH2 0x1da9 00001e41: JUMP 00001e42: JUMPDEST 00001e43: SWAP1 00001e44: POP 00001e45: DUP3 00001e46: DUP2 00001e47: SUB 00001e48: PUSH1 0x40 00001e4a: DUP5 00001e4b: ADD 00001e4c: MSTORE 00001e4d: PUSH2 0x1e56 00001e50: DUP2 00001e51: DUP6 00001e52: PUSH2 0x1ded 00001e55: JUMP 00001e56: JUMPDEST 00001e57: SWAP7 00001e58: SWAP6 00001e59: POP 00001e5a: POP 00001e5b: POP 00001e5c: POP 00001e5d: POP 00001e5e: POP 00001e5f: JUMP 00001e60: JUMPDEST 00001e61: PUSH1 0x20 00001e63: DUP1 00001e64: DUP3 00001e65: MSTORE 00001e66: PUSH1 0x1e 00001e68: SWAP1 00001e69: DUP3 00001e6a: ADD 00001e6b: MSTORE 00001e6c: PUSH32 0x496e766573746f72206973206e6f7420776869746520696e766573746f720000 00001e8d: PUSH1 0x40 00001e8f: DUP3 00001e90: ADD 00001e91: MSTORE 00001e92: PUSH1 0x60 00001e94: ADD 00001e95: SWAP1 00001e96: JUMP 00001e97: JUMPDEST 00001e98: PUSH1 0x01 00001e9a: PUSH1 0x01 00001e9c: PUSH1 0xa0 00001e9e: SHL 00001e9f: SUB 00001ea0: DUP8 00001ea1: AND 00001ea2: DUP2 00001ea3: MSTORE 00001ea4: PUSH1 0xc0 00001ea6: PUSH1 0x20 00001ea8: DUP3 00001ea9: ADD 00001eaa: DUP2 00001eab: SWAP1 00001eac: MSTORE 00001ead: PUSH1 0x00 00001eaf: SWAP1 00001eb0: PUSH2 0x1ebb 00001eb3: SWAP1 00001eb4: DUP4 00001eb5: ADD 00001eb6: DUP9 00001eb7: PUSH2 0x1da9 00001eba: JUMP 00001ebb: JUMPDEST 00001ebc: DUP3 00001ebd: DUP2 00001ebe: SUB 00001ebf: PUSH1 0x40 00001ec1: DUP5 00001ec2: ADD 00001ec3: MSTORE 00001ec4: PUSH2 0x1ecd 00001ec7: DUP2 00001ec8: DUP9 00001ec9: PUSH2 0x1ded 00001ecc: JUMP 00001ecd: JUMPDEST 00001ece: SWAP1 00001ecf: POP 00001ed0: DUP3 00001ed1: DUP2 00001ed2: SUB 00001ed3: PUSH1 0x60 00001ed5: DUP5 00001ed6: ADD 00001ed7: MSTORE 00001ed8: PUSH2 0x1ee1 00001edb: DUP2 00001edc: DUP8 00001edd: PUSH2 0x1da9 00001ee0: JUMP 00001ee1: JUMPDEST 00001ee2: SWAP1 00001ee3: POP 00001ee4: DUP3 00001ee5: DUP2 00001ee6: SUB 00001ee7: PUSH1 0x80 00001ee9: DUP5 00001eea: ADD 00001eeb: MSTORE 00001eec: PUSH2 0x1ef5 00001eef: DUP2 00001ef0: DUP7 00001ef1: PUSH2 0x1ded 00001ef4: JUMP 00001ef5: JUMPDEST 00001ef6: SWAP1 00001ef7: POP 00001ef8: DUP3 00001ef9: DUP2 00001efa: SUB 00001efb: PUSH1 0xa0 00001efd: DUP5 00001efe: ADD 00001eff: MSTORE 00001f00: PUSH2 0x1f09 00001f03: DUP2 00001f04: DUP6 00001f05: PUSH2 0x1ded 00001f08: JUMP 00001f09: JUMPDEST 00001f0a: SWAP10 00001f0b: SWAP9 00001f0c: POP 00001f0d: POP 00001f0e: POP 00001f0f: POP 00001f10: POP 00001f11: POP 00001f12: POP 00001f13: POP 00001f14: POP 00001f15: JUMP 00001f16: JUMPDEST 00001f17: PUSH1 0x20 00001f19: DUP1 00001f1a: DUP3 00001f1b: MSTORE 00001f1c: PUSH1 0x21 00001f1e: SWAP1 00001f1f: DUP3 00001f20: ADD 00001f21: MSTORE 00001f22: PUSH32 0x496e766573746f72206973206e6f7420706c6174666f726d20696e766573746f 00001f43: PUSH1 0x40 00001f45: DUP3 00001f46: ADD 00001f47: MSTORE 00001f48: PUSH1 0x39 00001f4a: PUSH1 0xf9 00001f4c: SHL 00001f4d: PUSH1 0x60 00001f4f: DUP3 00001f50: ADD 00001f51: MSTORE 00001f52: PUSH1 0x80 00001f54: ADD 00001f55: SWAP1 00001f56: JUMP 00001f57: JUMPDEST 00001f58: PUSH1 0x60 00001f5a: DUP2 00001f5b: MSTORE 00001f5c: PUSH1 0x00 00001f5e: PUSH2 0x1e30 00001f61: PUSH1 0x60 00001f63: DUP4 00001f64: ADD 00001f65: DUP7 00001f66: PUSH2 0x1da9 00001f69: JUMP 00001f6a: JUMPDEST 00001f6b: PUSH1 0x00 00001f6d: DUP3 00001f6e: MLOAD 00001f6f: PUSH2 0x1f7c 00001f72: DUP2 00001f73: DUP5 00001f74: PUSH1 0x20 00001f76: DUP8 00001f77: ADD 00001f78: PUSH2 0x18af 00001f7b: JUMP 00001f7c: JUMPDEST 00001f7d: SWAP2 00001f7e: SWAP1 00001f7f: SWAP2 00001f80: ADD 00001f81: SWAP3 00001f82: SWAP2 00001f83: POP 00001f84: POP 00001f85: JUMP 00001f86: INVALID 00001f87: LOG2 00001f88: PUSH5 0x6970667358 00001f8e: UNKNOWN(0x22) 00001f8f: SLT 00001f90: KECCAK256 00001f91: UNKNOWN(0xB1) 00001f92: PUSH9 0xd52dd93863c816fa30 00001f9c: UNKNOWN(0xFC) 00001f9d: SAR 00001f9e: UNKNOWN(0xAE) 00001f9f: UNKNOWN(0xB9) 00001fa0: SWAP12 00001fa1: PUSH13 0xe21589aac3253273b19930d554 00001faf: PC 00001fb0: PUSH20
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x308bbd916958ef2e5efe8b8f5c588410421af5d8f4e597e3f31b4d81821e9cc7
call_targets:
0x3797c46db697c24a983222c335f17ba28e8c5b69
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x308bbd916958ef2e5efe8b8f5c588410421af5d8f4e597e3f31b4d81821e9cc7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3797c46db697c24a983222c335f17ba28e8c5b69"
],
"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": "0xc6ce412f",
"selector": "0xc6ce412f",
"calldata_variants": [
"0xc6ce412f",
"0xc6ce412f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd4a22bde",
"selector": "0xd4a22bde",
"calldata_variants": [
"0xd4a22bde",
"0xd4a22bde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd80f0711",
"selector": "0xd80f0711",
"calldata_variants": [
"0xd80f0711",
"0xd80f07110000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9b1cf2a",
"selector": "0xf9b1cf2a",
"calldata_variants": [
"0xf9b1cf2a",
"0xf9b1cf2a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x579d1eaa",
"selector": "0x579d1eaa",
"calldata_variants": [
"0x579d1eaa",
"0x579d1eaa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7fb801be",
"selector": "0x7fb801be",
"calldata_variants": [
"0x7fb801be",
"0x7fb801be0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x88a8d602",
"selector": "0x88a8d602",
"calldata_variants": [
"0x88a8d602",
"0x88a8d6020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f79651d",
"selector": "0x3f79651d",
"calldata_variants": [
"0x3f79651d",
"0x3f79651d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5718,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6031,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x308bbd916958ef2e5efe8b8f5c588410421af5d8f4e597e3f31b4d81821e9cc7
call_targets:
0x3797c46db697c24a983222c335f17ba28e8c5b69
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x308bbd916958ef2e5efe8b8f5c588410421af5d8f4e597e3f31b4d81821e9cc7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3797c46db697c24a983222c335f17ba28e8c5b69"
],
"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": "0xc6ce412f",
"selector": "0xc6ce412f",
"calldata_variants": [
"0xc6ce412f",
"0xc6ce412f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd4a22bde",
"selector": "0xd4a22bde",
"calldata_variants": [
"0xd4a22bde",
"0xd4a22bde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd80f0711",
"selector": "0xd80f0711",
"calldata_variants": [
"0xd80f0711",
"0xd80f07110000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9b1cf2a",
"selector": "0xf9b1cf2a",
"calldata_variants": [
"0xf9b1cf2a",
"0xf9b1cf2a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x579d1eaa",
"selector": "0x579d1eaa",
"calldata_variants": [
"0x579d1eaa",
"0x579d1eaa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7fb801be",
"selector": "0x7fb801be",
"calldata_variants": [
"0x7fb801be",
"0x7fb801be0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x88a8d602",
"selector": "0x88a8d602",
"calldata_variants": [
"0x88a8d602",
"0x88a8d6020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f79651d",
"selector": "0x3f79651d",
"calldata_variants": [
"0x3f79651d",
"0x3f79651d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5718,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6031,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|
| info | other | cast | Heavy CALL-family usage | 55 | no | — |
viewevidence_json{
"notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
"call_family_count": 17
}
|