019b477e-daa1-72d2-8eec-3330af3521fd
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 |
|---|---|---|---|---|
| 29503 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 29504 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 108637 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 108638 | capability.graph | complete | 1 / 3 | 1 week ago |
| 108639 | detector.run | complete | 1 / 3 | 1 week ago |
| 108640 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x004d 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x30e6ae31 00000018: EQ 00000019: PUSH2 0x00d3 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0x6f7929f2 00000023: EQ 00000024: PUSH2 0x00fb 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0x91dd7346 0000002e: EQ 0000002f: PUSH2 0x0123 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xad5c4648 00000039: EQ 0000003a: PUSH2 0x015f 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xdc4c90d3 00000044: EQ 00000045: PUSH2 0x0189 00000048: JUMPI 00000049: PUSH2 0x00cf 0000004c: JUMP 0000004d: JUMPDEST 0000004e: CALLDATASIZE 0000004f: PUSH2 0x00cf 00000052: JUMPI 00000053: PUSH0 00000054: CALLVALUE 00000055: GT 00000056: PUSH2 0x0094 00000059: JUMPI 0000005a: PUSH1 0x40 0000005c: MLOAD 0000005d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000007e: DUP2 0000007f: MSTORE 00000080: PUSH1 0x04 00000082: ADD 00000083: PUSH2 0x008b 00000086: SWAP1 00000087: PUSH2 0x12e7 0000008a: JUMP 0000008b: JUMPDEST 0000008c: PUSH1 0x40 0000008e: MLOAD 0000008f: DUP1 00000090: SWAP2 00000091: SUB 00000092: SWAP1 00000093: REVERT 00000094: JUMPDEST 00000095: PUSH32 0x88a5966d370b9919b20f3e2c13ff65706f196a4e32cc2c12bf57088f88525874 000000b6: CALLER 000000b7: CALLVALUE 000000b8: PUSH1 0x40 000000ba: MLOAD 000000bb: PUSH2 0x00c5 000000be: SWAP3 000000bf: SWAP2 000000c0: SWAP1 000000c1: PUSH2 0x135c 000000c4: JUMP 000000c5: JUMPDEST 000000c6: PUSH1 0x40 000000c8: MLOAD 000000c9: DUP1 000000ca: SWAP2 000000cb: SUB 000000cc: SWAP1 000000cd: LOG1 000000ce: STOP 000000cf: JUMPDEST 000000d0: PUSH0 000000d1: PUSH0 000000d2: REVERT 000000d3: JUMPDEST 000000d4: CALLVALUE 000000d5: DUP1 000000d6: ISZERO 000000d7: PUSH2 0x00de 000000da: JUMPI 000000db: PUSH0 000000dc: PUSH0 000000dd: REVERT 000000de: JUMPDEST 000000df: POP 000000e0: PUSH2 0x00f9 000000e3: PUSH1 0x04 000000e5: DUP1 000000e6: CALLDATASIZE 000000e7: SUB 000000e8: DUP2 000000e9: ADD 000000ea: SWAP1 000000eb: PUSH2 0x00f4 000000ee: SWAP2 000000ef: SWAP1 000000f0: PUSH2 0x141f 000000f3: JUMP 000000f4: JUMPDEST 000000f5: PUSH2 0x01b3 000000f8: JUMP 000000f9: JUMPDEST 000000fa: STOP 000000fb: JUMPDEST 000000fc: CALLVALUE 000000fd: DUP1 000000fe: ISZERO 000000ff: PUSH2 0x0106 00000102: JUMPI 00000103: PUSH0 00000104: PUSH0 00000105: REVERT 00000106: JUMPDEST 00000107: POP 00000108: PUSH2 0x0121 0000010b: PUSH1 0x04 0000010d: DUP1 0000010e: CALLDATASIZE 0000010f: SUB 00000110: DUP2 00000111: ADD 00000112: SWAP1 00000113: PUSH2 0x011c 00000116: SWAP2 00000117: SWAP1 00000118: PUSH2 0x141f 0000011b: JUMP 0000011c: JUMPDEST 0000011d: PUSH2 0x01d8 00000120: JUMP 00000121: JUMPDEST 00000122: STOP 00000123: JUMPDEST 00000124: CALLVALUE 00000125: DUP1 00000126: ISZERO 00000127: PUSH2 0x012e 0000012a: JUMPI 0000012b: PUSH0 0000012c: PUSH0 0000012d: REVERT 0000012e: JUMPDEST 0000012f: POP 00000130: PUSH2 0x0149 00000133: PUSH1 0x04 00000135: DUP1 00000136: CALLDATASIZE 00000137: SUB 00000138: DUP2 00000139: ADD 0000013a: SWAP1 0000013b: PUSH2 0x0144 0000013e: SWAP2 0000013f: SWAP1 00000140: PUSH2 0x1490 00000143: JUMP 00000144: JUMPDEST 00000145: PUSH2 0x01fd 00000148: JUMP 00000149: JUMPDEST 0000014a: PUSH1 0x40 0000014c: MLOAD 0000014d: PUSH2 0x0156 00000150: SWAP2 00000151: SWAP1 00000152: PUSH2 0x154b 00000155: JUMP 00000156: JUMPDEST 00000157: PUSH1 0x40 00000159: MLOAD 0000015a: DUP1 0000015b: SWAP2 0000015c: SUB 0000015d: SWAP1 0000015e: RETURN 0000015f: JUMPDEST 00000160: CALLVALUE 00000161: DUP1 00000162: ISZERO 00000163: PUSH2 0x016a 00000166: JUMPI 00000167: PUSH0 00000168: PUSH0 00000169: REVERT 0000016a: JUMPDEST 0000016b: POP 0000016c: PUSH2 0x0173 0000016f: PUSH2 0x0296 00000172: JUMP 00000173: JUMPDEST 00000174: PUSH1 0x40 00000176: MLOAD 00000177: PUSH2 0x0180 0000017a: SWAP2 0000017b: SWAP1 0000017c: PUSH2 0x156b 0000017f: JUMP 00000180: JUMPDEST 00000181: PUSH1 0x40 00000183: MLOAD 00000184: DUP1 00000185: SWAP2 00000186: SUB 00000187: SWAP1 00000188: RETURN 00000189: JUMPDEST 0000018a: CALLVALUE 0000018b: DUP1 0000018c: ISZERO 0000018d: PUSH2 0x0194 00000190: JUMPI 00000191: PUSH0 00000192: PUSH0 00000193: REVERT 00000194: JUMPDEST 00000195: POP 00000196: PUSH2 0x019d 00000199: PUSH2 0x02ba 0000019c: JUMP 0000019d: JUMPDEST 0000019e: PUSH1 0x40 000001a0: MLOAD 000001a1: PUSH2 0x01aa 000001a4: SWAP2 000001a5: SWAP1 000001a6: PUSH2 0x15df 000001a9: JUMP 000001aa: JUMPDEST 000001ab: PUSH1 0x40 000001ad: MLOAD 000001ae: DUP1 000001af: SWAP2 000001b0: SUB 000001b1: SWAP1 000001b2: RETURN 000001b3: JUMPDEST 000001b4: PUSH0 000001b5: CALLDATASIZE 000001b6: PUSH1 0x20 000001b8: DUP2 000001b9: SUB 000001ba: CALLDATALOAD 000001bb: SWAP2 000001bc: POP 000001bd: POP 000001be: PUSH2 0x01d1 000001c1: PUSH2 0x01ca 000001c4: DUP5 000001c5: DUP5 000001c6: PUSH2 0x02de 000001c9: JUMP 000001ca: JUMPDEST 000001cb: DUP7 000001cc: DUP4 000001cd: PUSH2 0x0367 000001d0: JUMP 000001d1: JUMPDEST 000001d2: POP 000001d3: POP 000001d4: POP 000001d5: POP 000001d6: POP 000001d7: JUMP 000001d8: JUMPDEST 000001d9: PUSH0 000001da: CALLDATASIZE 000001db: PUSH1 0x20 000001dd: DUP2 000001de: SUB 000001df: CALLDATALOAD 000001e0: SWAP2 000001e1: POP 000001e2: POP 000001e3: PUSH2 0x01f6 000001e6: PUSH2 0x01ef 000001e9: DUP5 000001ea: DUP5 000001eb: PUSH2 0x02de 000001ee: JUMP 000001ef: JUMPDEST 000001f0: DUP7 000001f1: DUP4 000001f2: PUSH2 0x0367 000001f5: JUMP 000001f6: JUMPDEST 000001f7: POP 000001f8: POP 000001f9: POP 000001fa: POP 000001fb: POP 000001fc: JUMP 000001fd: JUMPDEST 000001fe: PUSH1 0x60 00000200: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90 00000221: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000236: AND 00000237: CALLER 00000238: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000024d: AND 0000024e: EQ 0000024f: PUSH2 0x0284 00000252: JUMPI 00000253: PUSH1 0x40 00000255: MLOAD 00000256: PUSH32 0xae18210a00000000000000000000000000000000000000000000000000000000 00000277: DUP2 00000278: MSTORE 00000279: PUSH1 0x04 0000027b: ADD 0000027c: PUSH1 0x40 0000027e: MLOAD 0000027f: DUP1 00000280: SWAP2 00000281: SUB 00000282: SWAP1 00000283: REVERT 00000284: JUMPDEST 00000285: PUSH2 0x028e 00000288: DUP4 00000289: DUP4 0000028a: PUSH2 0x060e 0000028d: JUMP 0000028e: JUMPDEST 0000028f: SWAP1 00000290: POP 00000291: SWAP3 00000292: SWAP2 00000293: POP 00000294: POP 00000295: JUMP 00000296: JUMPDEST 00000297: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 000002b8: DUP2 000002b9: JUMP 000002ba: JUMPDEST 000002bb: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90 000002dc: DUP2 000002dd: JUMP 000002de: JUMPDEST 000002df: PUSH2 0x02e6 000002e2: PUSH2 0x11c1 000002e5: JUMP 000002e6: JUMPDEST 000002e7: PUSH0 000002e8: PUSH0 000002e9: PUSH0 000002ea: PUSH0 000002eb: DUP7 000002ec: DUP7 000002ed: DUP2 000002ee: ADD 000002ef: SWAP1 000002f0: PUSH2 0x02f9 000002f3: SWAP2 000002f4: SWAP1 000002f5: PUSH2 0x16a1 000002f8: JUMP 000002f9: JUMPDEST 000002fa: SWAP4 000002fb: POP 000002fc: SWAP4 000002fd: POP 000002fe: SWAP4 000002ff: POP 00000300: SWAP4 00000301: POP 00000302: PUSH0 00000303: PUSH1 0x40 00000305: MLOAD 00000306: DUP1 00000307: PUSH1 0x80 00000309: ADD 0000030a: PUSH1 0x40 0000030c: MSTORE 0000030d: DUP1 0000030e: DUP7 0000030f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000324: AND 00000325: DUP2 00000326: MSTORE 00000327: PUSH1 0x20 00000329: ADD 0000032a: DUP6 0000032b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000340: AND 00000341: DUP2 00000342: MSTORE 00000343: PUSH1 0x20 00000345: ADD 00000346: DUP5 00000347: PUSH3 0xffffff 0000034b: AND 0000034c: DUP2 0000034d: MSTORE 0000034e: PUSH1 0x20 00000350: ADD 00000351: DUP4 00000352: PUSH1 0x02 00000354: SIGNEXTEND 00000355: DUP2 00000356: MSTORE 00000357: POP 00000358: SWAP1 00000359: POP 0000035a: DUP1 0000035b: SWAP6 0000035c: POP 0000035d: POP 0000035e: POP 0000035f: POP 00000360: POP 00000361: POP 00000362: SWAP3 00000363: SWAP2 00000364: POP 00000365: POP 00000366: JUMP 00000367: JUMPDEST 00000368: PUSH0 00000369: PUSH0 0000036a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000037f: AND 00000380: DUP5 00000381: PUSH0 00000382: ADD 00000383: MLOAD 00000384: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000399: AND 0000039a: SUB 0000039b: PUSH2 0x04c3 0000039e: JUMPI 0000039f: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 000003c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003d5: AND 000003d6: PUSH4 0x70a08231 000003db: ADDRESS 000003dc: PUSH1 0x40 000003de: MLOAD 000003df: DUP3 000003e0: PUSH4 0xffffffff 000003e5: AND 000003e6: PUSH1 0xe0 000003e8: SHL 000003e9: DUP2 000003ea: MSTORE 000003eb: PUSH1 0x04 000003ed: ADD 000003ee: PUSH2 0x03f7 000003f1: SWAP2 000003f2: SWAP1 000003f3: PUSH2 0x156b 000003f6: JUMP 000003f7: JUMPDEST 000003f8: PUSH1 0x20 000003fa: PUSH1 0x40 000003fc: MLOAD 000003fd: DUP1 000003fe: DUP4 000003ff: SUB 00000400: DUP2 00000401: DUP7 00000402: GAS 00000403: STATICCALL 00000404: ISZERO 00000405: DUP1 00000406: ISZERO 00000407: PUSH2 0x0412 0000040a: JUMPI 0000040b: RETURNDATASIZE 0000040c: PUSH0 0000040d: PUSH0 0000040e: RETURNDATACOPY 0000040f: RETURNDATASIZE 00000410: PUSH0 00000411: REVERT 00000412: JUMPDEST 00000413: POP 00000414: POP 00000415: POP 00000416: POP 00000417: PUSH1 0x40 00000419: MLOAD 0000041a: RETURNDATASIZE 0000041b: PUSH1 0x1f 0000041d: NOT 0000041e: PUSH1 0x1f 00000420: DUP3 00000421: ADD 00000422: AND 00000423: DUP3 00000424: ADD 00000425: DUP1 00000426: PUSH1 0x40 00000428: MSTORE 00000429: POP 0000042a: DUP2 0000042b: ADD 0000042c: SWAP1 0000042d: PUSH2 0x0436 00000430: SWAP2 00000431: SWAP1 00000432: PUSH2 0x172f 00000435: JUMP 00000436: JUMPDEST 00000437: SWAP1 00000438: POP 00000439: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 0000045a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000046f: AND 00000470: PUSH4 0x2e1a7d4d 00000475: DUP3 00000476: PUSH1 0x40 00000478: MLOAD 00000479: DUP3 0000047a: PUSH4 0xffffffff 0000047f: AND 00000480: PUSH1 0xe0 00000482: SHL 00000483: DUP2 00000484: MSTORE 00000485: PUSH1 0x04 00000487: ADD 00000488: PUSH2 0x0491 0000048b: SWAP2 0000048c: SWAP1 0000048d: PUSH2 0x175a 00000490: JUMP 00000491: JUMPDEST 00000492: PUSH0 00000493: PUSH1 0x40 00000495: MLOAD 00000496: DUP1 00000497: DUP4 00000498: SUB 00000499: DUP2 0000049a: PUSH0 0000049b: DUP8 0000049c: DUP1 0000049d: EXTCODESIZE 0000049e: ISZERO 0000049f: DUP1 000004a0: ISZERO 000004a1: PUSH2 0x04a8 000004a4: JUMPI 000004a5: PUSH0 000004a6: PUSH0 000004a7: REVERT 000004a8: JUMPDEST 000004a9: POP 000004aa: GAS 000004ab: CALL 000004ac: ISZERO 000004ad: DUP1 000004ae: ISZERO 000004af: PUSH2 0x04ba 000004b2: JUMPI 000004b3: RETURNDATASIZE 000004b4: PUSH0 000004b5: PUSH0 000004b6: RETURNDATACOPY 000004b7: RETURNDATASIZE 000004b8: PUSH0 000004b9: REVERT 000004ba: JUMPDEST 000004bb: POP 000004bc: POP 000004bd: POP 000004be: POP 000004bf: PUSH2 0x0541 000004c2: JUMP 000004c3: JUMPDEST 000004c4: DUP4 000004c5: PUSH0 000004c6: ADD 000004c7: MLOAD 000004c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004dd: AND 000004de: PUSH4 0x70a08231 000004e3: ADDRESS 000004e4: PUSH1 0x40 000004e6: MLOAD 000004e7: DUP3 000004e8: PUSH4 0xffffffff 000004ed: AND 000004ee: PUSH1 0xe0 000004f0: SHL 000004f1: DUP2 000004f2: MSTORE 000004f3: PUSH1 0x04 000004f5: ADD 000004f6: PUSH2 0x04ff 000004f9: SWAP2 000004fa: SWAP1 000004fb: PUSH2 0x156b 000004fe: JUMP 000004ff: JUMPDEST 00000500: PUSH1 0x20 00000502: PUSH1 0x40 00000504: MLOAD 00000505: DUP1 00000506: DUP4 00000507: SUB 00000508: DUP2 00000509: DUP7 0000050a: GAS 0000050b: STATICCALL 0000050c: ISZERO 0000050d: DUP1 0000050e: ISZERO 0000050f: PUSH2 0x051a 00000512: JUMPI 00000513: RETURNDATASIZE 00000514: PUSH0 00000515: PUSH0 00000516: RETURNDATACOPY 00000517: RETURNDATASIZE 00000518: PUSH0 00000519: REVERT 0000051a: JUMPDEST 0000051b: POP 0000051c: POP 0000051d: POP 0000051e: POP 0000051f: PUSH1 0x40 00000521: MLOAD 00000522: RETURNDATASIZE 00000523: PUSH1 0x1f 00000525: NOT 00000526: PUSH1 0x1f 00000528: DUP3 00000529: ADD 0000052a: AND 0000052b: DUP3 0000052c: ADD 0000052d: DUP1 0000052e: PUSH1 0x40 00000530: MSTORE 00000531: POP 00000532: DUP2 00000533: ADD 00000534: SWAP1 00000535: PUSH2 0x053e 00000538: SWAP2 00000539: SWAP1 0000053a: PUSH2 0x172f 0000053d: JUMP 0000053e: JUMPDEST 0000053f: SWAP1 00000540: POP 00000541: JUMPDEST 00000542: PUSH0 00000543: DUP5 00000544: DUP3 00000545: DUP6 00000546: DUP6 00000547: PUSH1 0x40 00000549: MLOAD 0000054a: PUSH1 0x20 0000054c: ADD 0000054d: PUSH2 0x0559 00000550: SWAP5 00000551: SWAP4 00000552: SWAP3 00000553: SWAP2 00000554: SWAP1 00000555: PUSH2 0x1804 00000558: JUMP 00000559: JUMPDEST 0000055a: PUSH1 0x40 0000055c: MLOAD 0000055d: PUSH1 0x20 0000055f: DUP2 00000560: DUP4 00000561: SUB 00000562: SUB 00000563: DUP2 00000564: MSTORE 00000565: SWAP1 00000566: PUSH1 0x40 00000568: MSTORE 00000569: SWAP1 0000056a: POP 0000056b: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90 0000058c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a1: AND 000005a2: PUSH4 0x48c89491 000005a7: DUP3 000005a8: PUSH1 0x40 000005aa: MLOAD 000005ab: DUP3 000005ac: PUSH4 0xffffffff 000005b1: AND 000005b2: PUSH1 0xe0 000005b4: SHL 000005b5: DUP2 000005b6: MSTORE 000005b7: PUSH1 0x04 000005b9: ADD 000005ba: PUSH2 0x05c3 000005bd: SWAP2 000005be: SWAP1 000005bf: PUSH2 0x154b 000005c2: JUMP 000005c3: JUMPDEST 000005c4: PUSH0 000005c5: PUSH1 0x40 000005c7: MLOAD 000005c8: DUP1 000005c9: DUP4 000005ca: SUB 000005cb: DUP2 000005cc: PUSH0 000005cd: DUP8 000005ce: GAS 000005cf: CALL 000005d0: ISZERO 000005d1: DUP1 000005d2: ISZERO 000005d3: PUSH2 0x05de 000005d6: JUMPI 000005d7: RETURNDATASIZE 000005d8: PUSH0 000005d9: PUSH0 000005da: RETURNDATACOPY 000005db: RETURNDATASIZE 000005dc: PUSH0 000005dd: REVERT 000005de: JUMPDEST 000005df: POP 000005e0: POP 000005e1: POP 000005e2: POP 000005e3: PUSH1 0x40 000005e5: MLOAD 000005e6: RETURNDATASIZE 000005e7: PUSH0 000005e8: DUP3 000005e9: RETURNDATACOPY 000005ea: RETURNDATASIZE 000005eb: PUSH1 0x1f 000005ed: NOT 000005ee: PUSH1 0x1f 000005f0: DUP3 000005f1: ADD 000005f2: AND 000005f3: DUP3 000005f4: ADD 000005f5: DUP1 000005f6: PUSH1 0x40 000005f8: MSTORE 000005f9: POP 000005fa: DUP2 000005fb: ADD 000005fc: SWAP1 000005fd: PUSH2 0x0606 00000600: SWAP2 00000601: SWAP1 00000602: PUSH2 0x1961 00000605: JUMP 00000606: JUMPDEST 00000607: POP 00000608: POP 00000609: POP 0000060a: POP 0000060b: POP 0000060c: POP 0000060d: JUMP 0000060e: JUMPDEST 0000060f: PUSH1 0x60 00000611: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90 00000632: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000647: AND 00000648: CALLER 00000649: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000065e: AND 0000065f: EQ 00000660: PUSH2 0x069e 00000663: JUMPI 00000664: PUSH1 0x40 00000666: MLOAD 00000667: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000688: DUP2 00000689: MSTORE 0000068a: PUSH1 0x04 0000068c: ADD 0000068d: PUSH2 0x0695 00000690: SWAP1 00000691: PUSH2 0x19f2 00000694: JUMP 00000695: JUMPDEST 00000696: PUSH1 0x40 00000698: MLOAD 00000699: DUP1 0000069a: SWAP2 0000069b: SUB 0000069c: SWAP1 0000069d: REVERT 0000069e: JUMPDEST 0000069f: PUSH0 000006a0: PUSH0 000006a1: PUSH0 000006a2: PUSH0 000006a3: DUP7 000006a4: DUP7 000006a5: DUP2 000006a6: ADD 000006a7: SWAP1 000006a8: PUSH2 0x06b1 000006ab: SWAP2 000006ac: SWAP1 000006ad: PUSH2 0x1ac7 000006b0: JUMP 000006b1: JUMPDEST 000006b2: SWAP4 000006b3: POP 000006b4: SWAP4 000006b5: POP 000006b6: SWAP4 000006b7: POP 000006b8: SWAP4 000006b9: POP 000006ba: PUSH0 000006bb: PUSH32 0x3ca20afc2ccc0000000000000000000000000000000000000000000000000000 000006dc: DUP1 000006dd: DUP4 000006de: AND 000006df: SUB 000006e0: PUSH2 0x06e7 000006e3: JUMPI 000006e4: DUP2 000006e5: SWAP1 000006e6: POP 000006e7: JUMPDEST 000006e8: PUSH0 000006e9: PUSH0 000006ea: PUSH2 0x06f6 000006ed: DUP8 000006ee: DUP9 000006ef: PUSH0 000006f0: ADD 000006f1: MLOAD 000006f2: PUSH2 0x0b70 000006f5: JUMP 000006f6: JUMPDEST 000006f7: SWAP2 000006f8: POP 000006f9: SWAP2 000006fa: POP 000006fb: PUSH0 000006fc: PUSH0 000006fd: PUSH2 0x0710 00000700: DUP5 00000701: DUP5 00000702: DUP11 00000703: PUSH2 0x070b 00000706: SWAP1 00000707: PUSH2 0x1b61 0000070a: JUMP 0000070b: JUMPDEST 0000070c: PUSH2 0x0c7a 0000070f: JUMP 00000710: JUMPDEST 00000711: SWAP2 00000712: POP 00000713: SWAP2 00000714: POP 00000715: PUSH0 00000716: DUP2 00000717: PUSH16 0xffffffffffffffffffffffffffffffff 00000728: AND 00000729: GT 0000072a: PUSH2 0x0768 0000072d: JUMPI 0000072e: PUSH1 0x40 00000730: MLOAD 00000731: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000752: DUP2 00000753: MSTORE 00000754: PUSH1 0x04 00000756: ADD 00000757: PUSH2 0x075f 0000075a: SWAP1 0000075b: PUSH2 0x1bf1 0000075e: JUMP 0000075f: JUMPDEST 00000760: PUSH1 0x40 00000762: MLOAD 00000763: DUP1 00000764: SWAP2 00000765: SUB 00000766: SWAP1 00000767: REVERT 00000768: JUMPDEST 00000769: PUSH2 0x0787 0000076c: DUP10 0000076d: PUSH0 0000076e: ADD 0000076f: MLOAD 00000770: DUP4 00000771: PUSH16 0xffffffffffffffffffffffffffffffff 00000782: AND 00000783: PUSH2 0x0de8 00000786: JUMP 00000787: JUMPDEST 00000788: PUSH0 00000789: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000079e: AND 0000079f: DUP10 000007a0: PUSH1 0x20 000007a2: ADD 000007a3: MLOAD 000007a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b9: AND 000007ba: SUB 000007bb: PUSH2 0x08b0 000007be: JUMPI 000007bf: PUSH2 0x07df 000007c2: DUP10 000007c3: PUSH1 0x20 000007c5: ADD 000007c6: MLOAD 000007c7: ADDRESS 000007c8: DUP4 000007c9: PUSH16 0xffffffffffffffffffffffffffffffff 000007da: AND 000007db: PUSH2 0x0ff0 000007de: JUMP 000007df: JUMPDEST 000007e0: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000801: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000816: AND 00000817: PUSH4 0xd0e30db0 0000081c: DUP3 0000081d: PUSH16 0xffffffffffffffffffffffffffffffff 0000082e: AND 0000082f: PUSH1 0x40 00000831: MLOAD 00000832: DUP3 00000833: PUSH4 0xffffffff 00000838: AND 00000839: PUSH1 0xe0 0000083b: SHL 0000083c: DUP2 0000083d: MSTORE 0000083e: PUSH1 0x04 00000840: ADD 00000841: PUSH0 00000842: PUSH1 0x40 00000844: MLOAD 00000845: DUP1 00000846: DUP4 00000847: SUB 00000848: DUP2 00000849: DUP6 0000084a: DUP9 0000084b: DUP1 0000084c: EXTCODESIZE 0000084d: ISZERO 0000084e: DUP1 0000084f: ISZERO 00000850: PUSH2 0x0857 00000853: JUMPI 00000854: PUSH0 00000855: PUSH0 00000856: REVERT 00000857: JUMPDEST 00000858: POP 00000859: GAS 0000085a: CALL 0000085b: ISZERO 0000085c: DUP1 0000085d: ISZERO 0000085e: PUSH2 0x0869 00000861: JUMPI 00000862: RETURNDATASIZE 00000863: PUSH0 00000864: PUSH0 00000865: RETURNDATACOPY 00000866: RETURNDATASIZE 00000867: PUSH0 00000868: REVERT 00000869: JUMPDEST 0000086a: POP 0000086b: POP 0000086c: POP 0000086d: POP 0000086e: POP 0000086f: PUSH2 0x08ab 00000872: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000893: DUP9 00000894: DUP4 00000895: PUSH16 0xffffffffffffffffffffffffffffffff 000008a6: AND 000008a7: PUSH2 0x1088 000008aa: JUMP 000008ab: JUMPDEST 000008ac: PUSH2 0x08d2 000008af: JUMP 000008b0: JUMPDEST 000008b1: PUSH2 0x08d1 000008b4: DUP10 000008b5: PUSH1 0x20 000008b7: ADD 000008b8: MLOAD 000008b9: DUP9 000008ba: DUP4 000008bb: PUSH16 0xffffffffffffffffffffffffffffffff 000008cc: AND 000008cd: PUSH2 0x0ff0 000008d0: JUMP 000008d1: JUMPDEST 000008d2: JUMPDEST 000008d3: PUSH0 000008d4: DUP10 000008d5: PUSH0 000008d6: ADD 000008d7: MLOAD 000008d8: SWAP1 000008d9: POP 000008da: PUSH0 000008db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f0: AND 000008f1: DUP2 000008f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000907: AND 00000908: SUB 00000909: PUSH2 0x0930 0000090c: JUMPI 0000090d: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 0000092e: SWAP1 0000092f: POP 00000930: JUMPDEST 00000931: PUSH0 00000932: DUP2 00000933: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000948: AND 00000949: PUSH4 0x70a08231 0000094e: ADDRESS 0000094f: PUSH1 0x40 00000951: MLOAD 00000952: DUP3 00000953: PUSH4 0xffffffff 00000958: AND 00000959: PUSH1 0xe0 0000095b: SHL 0000095c: DUP2 0000095d: MSTORE 0000095e: PUSH1 0x04 00000960: ADD 00000961: PUSH2 0x096a 00000964: SWAP2 00000965: SWAP1 00000966: PUSH2 0x156b 00000969: JUMP 0000096a: JUMPDEST 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 0x0985 0000097d: JUMPI 0000097e: RETURNDATASIZE 0000097f: PUSH0 00000980: PUSH0 00000981: RETURNDATACOPY 00000982: RETURNDATASIZE 00000983: PUSH0 00000984: REVERT 00000985: JUMPDEST 00000986: POP 00000987: POP 00000988: POP 00000989: POP 0000098a: PUSH1 0x40 0000098c: MLOAD 0000098d: RETURNDATASIZE 0000098e: PUSH1 0x1f 00000990: NOT 00000991: PUSH1 0x1f 00000993: DUP3 00000994: ADD 00000995: AND 00000996: DUP3 00000997: ADD 00000998: DUP1 00000999: PUSH1 0x40 0000099b: MSTORE 0000099c: POP 0000099d: DUP2 0000099e: ADD 0000099f: SWAP1 000009a0: PUSH2 0x09a9 000009a3: SWAP2 000009a4: SWAP1 000009a5: PUSH2 0x172f 000009a8: JUMP 000009a9: JUMPDEST 000009aa: SWAP1 000009ab: POP 000009ac: PUSH0 000009ad: DUP2 000009ae: GT 000009af: DUP1 000009b0: ISZERO 000009b1: PUSH2 0x09e6 000009b4: JUMPI 000009b5: POP 000009b6: PUSH0 000009b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009cc: AND 000009cd: DUP8 000009ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e3: AND 000009e4: EQ 000009e5: ISZERO 000009e6: JUMPDEST 000009e7: ISZERO 000009e8: PUSH2 0x0b4e 000009eb: JUMPI 000009ec: PUSH0 000009ed: PUSH0 000009ee: DUP4 000009ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a04: AND 00000a05: DUP10 00000a06: DUP5 00000a07: PUSH1 0x40 00000a09: MLOAD 00000a0a: PUSH1 0x24 00000a0c: ADD 00000a0d: PUSH2 0x0a17 00000a10: SWAP3 00000a11: SWAP2 00000a12: SWAP1 00000a13: PUSH2 0x135c 00000a16: JUMP 00000a17: JUMPDEST 00000a18: PUSH1 0x40 00000a1a: MLOAD 00000a1b: PUSH1 0x20 00000a1d: DUP2 00000a1e: DUP4 00000a1f: SUB 00000a20: SUB 00000a21: DUP2 00000a22: MSTORE 00000a23: SWAP1 00000a24: PUSH1 0x40 00000a26: MSTORE 00000a27: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00000a48: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000a65: NOT 00000a66: AND 00000a67: PUSH1 0x20 00000a69: DUP3 00000a6a: ADD 00000a6b: DUP1 00000a6c: MLOAD 00000a6d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000a8a: DUP4 00000a8b: DUP2 00000a8c: DUP4 00000a8d: AND 00000a8e: OR 00000a8f: DUP4 00000a90: MSTORE 00000a91: POP 00000a92: POP 00000a93: POP 00000a94: POP 00000a95: PUSH1 0x40 00000a97: MLOAD 00000a98: PUSH2 0x0aa1 00000a9b: SWAP2 00000a9c: SWAP1 00000a9d: PUSH2 0x1c49 00000aa0: JUMP 00000aa1: JUMPDEST 00000aa2: PUSH0 00000aa3: PUSH1 0x40 00000aa5: MLOAD 00000aa6: DUP1 00000aa7: DUP4 00000aa8: SUB 00000aa9: DUP2 00000aaa: PUSH0 00000aab: DUP7 00000aac: GAS 00000aad: CALL 00000aae: SWAP2 00000aaf: POP 00000ab0: POP 00000ab1: RETURNDATASIZE 00000ab2: DUP1 00000ab3: PUSH0 00000ab4: DUP2 00000ab5: EQ 00000ab6: PUSH2 0x0ada 00000ab9: JUMPI 00000aba: PUSH1 0x40 00000abc: MLOAD 00000abd: SWAP2 00000abe: POP 00000abf: PUSH1 0x1f 00000ac1: NOT 00000ac2: PUSH1 0x3f 00000ac4: RETURNDATASIZE 00000ac5: ADD 00000ac6: AND 00000ac7: DUP3 00000ac8: ADD 00000ac9: PUSH1 0x40 00000acb: MSTORE 00000acc: RETURNDATASIZE 00000acd: DUP3 00000ace: MSTORE 00000acf: RETURNDATASIZE 00000ad0: PUSH0 00000ad1: PUSH1 0x20 00000ad3: DUP5 00000ad4: ADD 00000ad5: RETURNDATACOPY 00000ad6: PUSH2 0x0adf 00000ad9: JUMP 00000ada: JUMPDEST 00000adb: PUSH1 0x60 00000add: SWAP2 00000ade: POP 00000adf: JUMPDEST 00000ae0: POP 00000ae1: SWAP2 00000ae2: POP 00000ae3: SWAP2 00000ae4: POP 00000ae5: DUP2 00000ae6: DUP1 00000ae7: ISZERO 00000ae8: PUSH2 0x0b0c 00000aeb: JUMPI 00000aec: POP 00000aed: PUSH0 00000aee: DUP2 00000aef: MLOAD 00000af0: EQ 00000af1: DUP1 00000af2: PUSH2 0x0b0b 00000af5: JUMPI 00000af6: POP 00000af7: DUP1 00000af8: DUP1 00000af9: PUSH1 0x20 00000afb: ADD 00000afc: SWAP1 00000afd: MLOAD 00000afe: DUP2 00000aff: ADD 00000b00: SWAP1 00000b01: PUSH2 0x0b0a 00000b04: SWAP2 00000b05: SWAP1 00000b06: PUSH2 0x1c94 00000b09: JUMP 00000b0a: JUMPDEST 00000b0b: JUMPDEST 00000b0c: JUMPDEST 00000b0d: PUSH2 0x0b4b 00000b10: JUMPI 00000b11: PUSH1 0x40 00000b13: MLOAD 00000b14: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b35: DUP2 00000b36: MSTORE 00000b37: PUSH1 0x04 00000b39: ADD 00000b3a: PUSH2 0x0b42 00000b3d: SWAP1 00000b3e: PUSH2 0x1d09 00000b41: JUMP 00000b42: JUMPDEST 00000b43: PUSH1 0x40 00000b45: MLOAD 00000b46: DUP1 00000b47: SWAP2 00000b48: SUB 00000b49: SWAP1 00000b4a: REVERT 00000b4b: JUMPDEST 00000b4c: POP 00000b4d: POP 00000b4e: JUMPDEST 00000b4f: PUSH1 0x40 00000b51: MLOAD 00000b52: DUP1 00000b53: PUSH1 0x20 00000b55: ADD 00000b56: PUSH1 0x40 00000b58: MSTORE 00000b59: DUP1 00000b5a: PUSH0 00000b5b: DUP2 00000b5c: MSTORE 00000b5d: POP 00000b5e: SWAP12 00000b5f: POP 00000b60: POP 00000b61: POP 00000b62: POP 00000b63: POP 00000b64: POP 00000b65: POP 00000b66: POP 00000b67: POP 00000b68: POP 00000b69: POP 00000b6a: POP 00000b6b: SWAP3 00000b6c: SWAP2 00000b6d: POP 00000b6e: POP 00000b6f: JUMP 00000b70: JUMPDEST 00000b71: PUSH2 0x0b78 00000b74: PUSH2 0x1219 00000b77: JUMP 00000b78: JUMPDEST 00000b79: PUSH0 00000b7a: PUSH0 00000b7b: DUP5 00000b7c: PUSH1 0x20 00000b7e: ADD 00000b7f: MLOAD 00000b80: SWAP1 00000b81: POP 00000b82: PUSH0 00000b83: PUSH0 00000b84: DUP3 00000b85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b9a: AND 00000b9b: DUP7 00000b9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bb1: AND 00000bb2: LT 00000bb3: PUSH2 0x0bbd 00000bb6: JUMPI 00000bb7: DUP3 00000bb8: DUP7 00000bb9: PUSH2 0x0bc0 00000bbc: JUMP 00000bbd: JUMPDEST 00000bbe: DUP6 00000bbf: DUP4 00000bc0: JUMPDEST 00000bc1: SWAP2 00000bc2: POP 00000bc3: SWAP2 00000bc4: POP 00000bc5: DUP2 00000bc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bdb: AND 00000bdc: DUP7 00000bdd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bf2: AND 00000bf3: EQ 00000bf4: SWAP4 00000bf5: POP 00000bf6: PUSH1 0x40 00000bf8: MLOAD 00000bf9: DUP1 00000bfa: PUSH1 0xa0 00000bfc: ADD 00000bfd: PUSH1 0x40 00000bff: MSTORE 00000c00: DUP1 00000c01: DUP4 00000c02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c17: AND 00000c18: DUP2 00000c19: MSTORE 00000c1a: PUSH1 0x20 00000c1c: ADD 00000c1d: DUP3 00000c1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c33: AND 00000c34: DUP2 00000c35: MSTORE 00000c36: PUSH1 0x20 00000c38: ADD 00000c39: DUP9 00000c3a: PUSH1 0x40 00000c3c: ADD 00000c3d: MLOAD 00000c3e: PUSH3 0xffffff 00000c42: AND 00000c43: DUP2 00000c44: MSTORE 00000c45: PUSH1 0x20 00000c47: ADD 00000c48: DUP9 00000c49: PUSH1 0x60 00000c4b: ADD 00000c4c: MLOAD 00000c4d: PUSH1 0x02 00000c4f: SIGNEXTEND 00000c50: DUP2 00000c51: MSTORE 00000c52: PUSH1 0x20 00000c54: ADD 00000c55: PUSH0 00000c56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c6b: AND 00000c6c: DUP2 00000c6d: MSTORE 00000c6e: POP 00000c6f: SWAP5 00000c70: POP 00000c71: POP 00000c72: POP 00000c73: POP 00000c74: SWAP3 00000c75: POP 00000c76: SWAP3 00000c77: SWAP1 00000c78: POP 00000c79: JUMP 00000c7a: JUMPDEST 00000c7b: PUSH0 00000c7c: PUSH0 00000c7d: PUSH0 00000c7e: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90 00000c9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb4: AND 00000cb5: PUSH4 0xf3cd914c 00000cba: DUP8 00000cbb: PUSH1 0x40 00000cbd: MLOAD 00000cbe: DUP1 00000cbf: PUSH1 0x60 00000cc1: ADD 00000cc2: PUSH1 0x40 00000cc4: MSTORE 00000cc5: DUP1 00000cc6: DUP10 00000cc7: ISZERO 00000cc8: ISZERO 00000cc9: DUP2 00000cca: MSTORE 00000ccb: PUSH1 0x20 00000ccd: ADD 00000cce: DUP9 00000ccf: DUP2 00000cd0: MSTORE 00000cd1: PUSH1 0x20 00000cd3: ADD 00000cd4: DUP10 00000cd5: PUSH2 0x0cf5 00000cd8: JUMPI 00000cd9: PUSH1 0x01 00000cdb: PUSH20 0xfffd8963efd1fc6a506488495d951d5263988d26 00000cf0: SUB 00000cf1: PUSH2 0x0cff 00000cf4: JUMP 00000cf5: JUMPDEST 00000cf6: PUSH1 0x01 00000cf8: PUSH5 0x01000276a3 00000cfe: ADD 00000cff: JUMPDEST 00000d00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d15: AND 00000d16: DUP2 00000d17: MSTORE 00000d18: POP 00000d19: PUSH1 0x40 00000d1b: MLOAD 00000d1c: DUP4 00000d1d: PUSH4 0xffffffff 00000d22: AND 00000d23: PUSH1 0xe0 00000d25: SHL 00000d26: DUP2 00000d27: MSTORE 00000d28: PUSH1 0x04 00000d2a: ADD 00000d2b: PUSH2 0x0d35 00000d2e: SWAP3 00000d2f: SWAP2 00000d30: SWAP1 00000d31: PUSH2 0x1e3d 00000d34: JUMP 00000d35: JUMPDEST 00000d36: PUSH1 0x20 00000d38: PUSH1 0x40 00000d3a: MLOAD 00000d3b: DUP1 00000d3c: DUP4 00000d3d: SUB 00000d3e: DUP2 00000d3f: PUSH0 00000d40: DUP8 00000d41: GAS 00000d42: CALL 00000d43: ISZERO 00000d44: DUP1 00000d45: ISZERO 00000d46: PUSH2 0x0d51 00000d49: JUMPI 00000d4a: RETURNDATASIZE 00000d4b: PUSH0 00000d4c: PUSH0 00000d4d: RETURNDATACOPY 00000d4e: RETURNDATASIZE 00000d4f: PUSH0 00000d50: REVERT 00000d51: JUMPDEST 00000d52: POP 00000d53: POP 00000d54: POP 00000d55: POP 00000d56: PUSH1 0x40 00000d58: MLOAD 00000d59: RETURNDATASIZE 00000d5a: PUSH1 0x1f 00000d5c: NOT 00000d5d: PUSH1 0x1f 00000d5f: DUP3 00000d60: ADD 00000d61: AND 00000d62: DUP3 00000d63: ADD 00000d64: DUP1 00000d65: PUSH1 0x40 00000d67: MSTORE 00000d68: POP 00000d69: DUP2 00000d6a: ADD 00000d6b: SWAP1 00000d6c: PUSH2 0x0d75 00000d6f: SWAP2 00000d70: SWAP1 00000d71: PUSH2 0x1ea3 00000d74: JUMP 00000d75: JUMPDEST 00000d76: SWAP1 00000d77: POP 00000d78: DUP5 00000d79: ISZERO 00000d7a: PUSH2 0x0db0 00000d7d: JUMPI 00000d7e: PUSH2 0x0d93 00000d81: PUSH2 0x0d89 00000d84: DUP3 00000d85: PUSH2 0x10d6 00000d88: JUMP 00000d89: JUMPDEST 00000d8a: PUSH0 00000d8b: SUB 00000d8c: PUSH1 0x0f 00000d8e: SIGNEXTEND 00000d8f: PUSH2 0x10e2 00000d92: JUMP 00000d93: JUMPDEST 00000d94: SWAP3 00000d95: POP 00000d96: PUSH2 0x0da9 00000d99: PUSH2 0x0da1 00000d9c: DUP3 00000d9d: PUSH2 0x1126 00000da0: JUMP 00000da1: JUMPDEST 00000da2: PUSH1 0x0f 00000da4: SIGNEXTEND 00000da5: PUSH2 0x10e2 00000da8: JUMP 00000da9: JUMPDEST 00000daa: SWAP2 00000dab: POP 00000dac: PUSH2 0x0ddf 00000daf: JUMP 00000db0: JUMPDEST 00000db1: PUSH2 0x0dc6 00000db4: PUSH2 0x0dbc 00000db7: DUP3 00000db8: PUSH2 0x1126 00000dbb: JUMP 00000dbc: JUMPDEST 00000dbd: PUSH0 00000dbe: SUB 00000dbf: PUSH1 0x0f 00000dc1: SIGNEXTEND 00000dc2: PUSH2 0x10e2 00000dc5: JUMP 00000dc6: JUMPDEST 00000dc7: SWAP3 00000dc8: POP 00000dc9: PUSH2 0x0ddc 00000dcc: PUSH2 0x0dd4 00000dcf: DUP3 00000dd0: PUSH2 0x10d6 00000dd3: JUMP 00000dd4: JUMPDEST 00000dd5: PUSH1 0x0f 00000dd7: SIGNEXTEND 00000dd8: PUSH2 0x10e2 00000ddb: JUMP 00000ddc: JUMPDEST 00000ddd: SWAP2 00000dde: POP 00000ddf: JUMPDEST 00000de0: POP 00000de1: SWAP4 00000de2: POP 00000de3: SWAP4 00000de4: SWAP2 00000de5: POP 00000de6: POP 00000de7: JUMP 00000de8: JUMPDEST 00000de9: PUSH0 00000dea: DUP2 00000deb: SUB 00000dec: ISZERO 00000ded: PUSH2 0x0fec 00000df0: JUMPI 00000df1: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90 00000e12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e27: AND 00000e28: PUSH4 0xa5841194 00000e2d: DUP4 00000e2e: PUSH1 0x40 00000e30: MLOAD 00000e31: DUP3 00000e32: PUSH4 0xffffffff 00000e37: AND 00000e38: PUSH1 0xe0 00000e3a: SHL 00000e3b: DUP2 00000e3c: MSTORE 00000e3d: PUSH1 0x04 00000e3f: ADD 00000e40: PUSH2 0x0e49 00000e43: SWAP2 00000e44: SWAP1 00000e45: PUSH2 0x1edd 00000e48: JUMP 00000e49: JUMPDEST 00000e4a: PUSH0 00000e4b: PUSH1 0x40 00000e4d: MLOAD 00000e4e: DUP1 00000e4f: DUP4 00000e50: SUB 00000e51: DUP2 00000e52: PUSH0 00000e53: DUP8 00000e54: DUP1 00000e55: EXTCODESIZE 00000e56: ISZERO 00000e57: DUP1 00000e58: ISZERO 00000e59: PUSH2 0x0e60 00000e5c: JUMPI 00000e5d: PUSH0 00000e5e: PUSH0 00000e5f: REVERT 00000e60: JUMPDEST 00000e61: POP 00000e62: GAS 00000e63: CALL 00000e64: ISZERO 00000e65: DUP1 00000e66: ISZERO 00000e67: PUSH2 0x0e72 00000e6a: JUMPI 00000e6b: RETURNDATASIZE 00000e6c: PUSH0 00000e6d: PUSH0 00000e6e: RETURNDATACOPY 00000e6f: RETURNDATASIZE 00000e70: PUSH0 00000e71: REVERT 00000e72: JUMPDEST 00000e73: POP 00000e74: POP 00000e75: POP 00000e76: POP 00000e77: PUSH2 0x0e95 00000e7a: DUP3 00000e7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e90: AND 00000e91: PUSH2 0x1132 00000e94: JUMP 00000e95: JUMPDEST 00000e96: ISZERO 00000e97: PUSH2 0x0f30 00000e9a: JUMPI 00000e9b: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90 00000ebc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ed1: AND 00000ed2: PUSH4 0x11da60b4 00000ed7: DUP3 00000ed8: PUSH1 0x40 00000eda: MLOAD 00000edb: DUP3 00000edc: PUSH4 0xffffffff 00000ee1: AND 00000ee2: PUSH1 0xe0 00000ee4: SHL 00000ee5: DUP2 00000ee6: MSTORE 00000ee7: PUSH1 0x04 00000ee9: ADD 00000eea: PUSH1 0x20 00000eec: PUSH1 0x40 00000eee: MLOAD 00000eef: DUP1 00000ef0: DUP4 00000ef1: SUB 00000ef2: DUP2 00000ef3: DUP6 00000ef4: DUP9 00000ef5: GAS 00000ef6: CALL 00000ef7: ISZERO 00000ef8: DUP1 00000ef9: ISZERO 00000efa: PUSH2 0x0f05 00000efd: JUMPI 00000efe: RETURNDATASIZE 00000eff: PUSH0 00000f00: PUSH0 00000f01: RETURNDATACOPY 00000f02: RETURNDATASIZE 00000f03: PUSH0 00000f04: REVERT 00000f05: JUMPDEST 00000f06: POP 00000f07: POP 00000f08: POP 00000f09: POP 00000f0a: POP 00000f0b: PUSH1 0x40 00000f0d: MLOAD 00000f0e: RETURNDATASIZE 00000f0f: PUSH1 0x1f 00000f11: NOT 00000f12: PUSH1 0x1f 00000f14: DUP3 00000f15: ADD 00000f16: AND 00000f17: DUP3 00000f18: ADD 00000f19: DUP1 00000f1a: PUSH1 0x40 00000f1c: MSTORE 00000f1d: POP 00000f1e: DUP2 00000f1f: ADD 00000f20: SWAP1 00000f21: PUSH2 0x0f2a 00000f24: SWAP2 00000f25: SWAP1 00000f26: PUSH2 0x172f 00000f29: JUMP 00000f2a: JUMPDEST 00000f2b: POP 00000f2c: PUSH2 0x0feb 00000f2f: JUMP 00000f30: JUMPDEST 00000f31: PUSH2 0x0f5b 00000f34: DUP3 00000f35: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90 00000f56: DUP4 00000f57: PUSH2 0x1088 00000f5a: JUMP 00000f5b: JUMPDEST 00000f5c: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90 00000f7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f92: AND 00000f93: PUSH4 0x11da60b4 00000f98: PUSH1 0x40 00000f9a: MLOAD 00000f9b: DUP2 00000f9c: PUSH4 0xffffffff 00000fa1: AND 00000fa2: PUSH1 0xe0 00000fa4: SHL 00000fa5: DUP2 00000fa6: MSTORE 00000fa7: PUSH1 0x04 00000fa9: ADD 00000faa: PUSH1 0x20 00000fac: PUSH1 0x40 00000fae: MLOAD 00000faf: DUP1 00000fb0: DUP4 00000fb1: SUB 00000fb2: DUP2 00000fb3: PUSH0 00000fb4: DUP8 00000fb5: GAS 00000fb6: CALL 00000fb7: ISZERO 00000fb8: DUP1 00000fb9: ISZERO 00000fba: PUSH2 0x0fc5 00000fbd: JUMPI 00000fbe: RETURNDATASIZE 00000fbf: PUSH0 00000fc0: PUSH0 00000fc1: RETURNDATACOPY 00000fc2: RETURNDATASIZE 00000fc3: PUSH0 00000fc4: REVERT 00000fc5: JUMPDEST 00000fc6: POP 00000fc7: POP 00000fc8: POP 00000fc9: POP 00000fca: PUSH1 0x40 00000fcc: MLOAD 00000fcd: RETURNDATASIZE 00000fce: PUSH1 0x1f 00000fd0: NOT 00000fd1: PUSH1 0x1f 00000fd3: DUP3 00000fd4: ADD 00000fd5: AND 00000fd6: DUP3 00000fd7: ADD 00000fd8: DUP1 00000fd9: PUSH1 0x40 00000fdb: MSTORE 00000fdc: POP 00000fdd: DUP2 00000fde: ADD 00000fdf: SWAP1 00000fe0: PUSH2 0x0fe9 00000fe3: SWAP2 00000fe4: SWAP1 00000fe5: PUSH2 0x172f 00000fe8: JUMP 00000fe9: JUMPDEST 00000fea: POP 00000feb: JUMPDEST 00000fec: JUMPDEST 00000fed: POP 00000fee: POP 00000fef: JUMP 00000ff0: JUMPDEST 00000ff1: PUSH0 00000ff2: DUP2 00000ff3: SUB 00000ff4: ISZERO 00000ff5: PUSH2 0x1083 00000ff8: JUMPI 00000ff9: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90 0000101a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000102f: AND 00001030: PUSH4 0x0b0d9c09 00001035: DUP5 00001036: DUP5 00001037: DUP5 00001038: PUSH1 0x40 0000103a: MLOAD 0000103b: DUP5 0000103c: PUSH4 0xffffffff 00001041: AND 00001042: PUSH1 0xe0 00001044: SHL 00001045: DUP2 00001046: MSTORE 00001047: PUSH1 0x04 00001049: ADD 0000104a: PUSH2 0x1055 0000104d: SWAP4 0000104e: SWAP3 0000104f: SWAP2 00001050: SWAP1 00001051: PUSH2 0x1ef6 00001054: JUMP 00001055: JUMPDEST 00001056: PUSH0 00001057: PUSH1 0x40 00001059: MLOAD 0000105a: DUP1 0000105b: DUP4 0000105c: SUB 0000105d: DUP2 0000105e: PUSH0 0000105f: DUP8 00001060: DUP1 00001061: EXTCODESIZE 00001062: ISZERO 00001063: DUP1 00001064: ISZERO 00001065: PUSH2 0x106c 00001068: JUMPI 00001069: PUSH0 0000106a: PUSH0 0000106b: REVERT 0000106c: JUMPDEST 0000106d: POP 0000106e: GAS 0000106f: CALL 00001070: ISZERO 00001071: DUP1 00001072: ISZERO 00001073: PUSH2 0x107e 00001076: JUMPI 00001077: RETURNDATASIZE 00001078: PUSH0 00001079: PUSH0 0000107a: RETURNDATACOPY 0000107b: RETURNDATASIZE 0000107c: PUSH0 0000107d: REVERT 0000107e: JUMPDEST 0000107f: POP 00001080: POP 00001081: POP 00001082: POP 00001083: JUMPDEST 00001084: POP 00001085: POP 00001086: POP 00001087: JUMP 00001088: JUMPDEST 00001089: PUSH2 0x109b 0000108c: DUP4 0000108d: PUSH4 0xa9059cbb 00001092: PUSH1 0xe0 00001094: SHL 00001095: DUP5 00001096: DUP5 00001097: PUSH2 0x1169 0000109a: JUMP 0000109b: JUMPDEST 0000109c: PUSH2 0x10d1 0000109f: JUMPI 000010a0: PUSH1 0x40 000010a2: MLOAD 000010a3: PUSH32 0xfb7f507900000000000000000000000000000000000000000000000000000000 000010c4: DUP2 000010c5: MSTORE 000010c6: PUSH1 0x04 000010c8: ADD 000010c9: PUSH1 0x40 000010cb: MLOAD 000010cc: DUP1 000010cd: SWAP2 000010ce: SUB 000010cf: SWAP1 000010d0: REVERT 000010d1: JUMPDEST 000010d2: POP 000010d3: POP 000010d4: POP 000010d5: JUMP 000010d6: JUMPDEST 000010d7: PUSH0 000010d8: DUP2 000010d9: PUSH1 0x80 000010db: SAR 000010dc: SWAP1 000010dd: POP 000010de: SWAP2 000010df: SWAP1 000010e0: POP 000010e1: JUMP 000010e2: JUMPDEST 000010e3: PUSH0 000010e4: PUSH0 000010e5: DUP3 000010e6: PUSH1 0x0f 000010e8: SIGNEXTEND 000010e9: SLT 000010ea: ISZERO 000010eb: PUSH2 0x111e 000010ee: JUMPI 000010ef: PUSH2 0x111d 000010f2: PUSH4 0x93dafdf1 000010f7: PUSH1 0xe0 000010f9: SHL 000010fa: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001117: NOT 00001118: AND 00001119: PUSH2 0x11b9 0000111c: JUMP 0000111d: JUMPDEST 0000111e: JUMPDEST 0000111f: DUP2 00001120: SWAP1 00001121: POP 00001122: SWAP2 00001123: SWAP1 00001124: POP 00001125: JUMP 00001126: JUMPDEST 00001127: PUSH0 00001128: DUP2 00001129: PUSH1 0x0f 0000112b: SIGNEXTEND 0000112c: SWAP1 0000112d: POP 0000112e: SWAP2 0000112f: SWAP1 00001130: POP 00001131: JUMP 00001132: JUMPDEST 00001133: PUSH0 00001134: PUSH0 00001135: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000114a: AND 0000114b: DUP3 0000114c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001161: AND 00001162: EQ 00001163: SWAP1 00001164: POP 00001165: SWAP2 00001166: SWAP1 00001167: POP 00001168: JUMP 00001169: JUMPDEST 0000116a: PUSH0 0000116b: PUSH1 0x40 0000116d: MLOAD 0000116e: DUP5 0000116f: DUP2 00001170: MSTORE 00001171: DUP4 00001172: PUSH1 0x04 00001174: DUP3 00001175: ADD 00001176: MSTORE 00001177: DUP3 00001178: PUSH1 0x24 0000117a: DUP3 0000117b: ADD 0000117c: MSTORE 0000117d: PUSH1 0x20 0000117f: PUSH0 00001180: PUSH1 0x44 00001182: DUP4 00001183: PUSH0 00001184: DUP11 00001185: GAS 00001186: CALL 00001187: SWAP2 00001188: POP 00001189: DUP2 0000118a: ISZERO 0000118b: PUSH2 0x11b0 0000118e: JUMPI 0000118f: RETURNDATASIZE 00001190: PUSH0 00001191: DUP2 00001192: EQ 00001193: PUSH2 0x11a7 00001196: JUMPI 00001197: PUSH1 0x01 00001199: PUSH0 0000119a: MLOAD 0000119b: EQ 0000119c: PUSH1 0x1f 0000119e: RETURNDATASIZE 0000119f: GT 000011a0: AND 000011a1: SWAP3 000011a2: POP 000011a3: PUSH2 0x11ae 000011a6: JUMP 000011a7: JUMPDEST 000011a8: PUSH0 000011a9: DUP8 000011aa: EXTCODESIZE 000011ab: GT 000011ac: SWAP3 000011ad: POP 000011ae: JUMPDEST 000011af: POP 000011b0: JUMPDEST 000011b1: POP 000011b2: SWAP5 000011b3: SWAP4 000011b4: POP 000011b5: POP 000011b6: POP 000011b7: POP 000011b8: JUMP 000011b9: JUMPDEST 000011ba: DUP1 000011bb: PUSH0 000011bc: MSTORE 000011bd: PUSH1 0x04 000011bf: PUSH0 000011c0: REVERT 000011c1: JUMPDEST 000011c2: PUSH1 0x40 000011c4: MLOAD 000011c5: DUP1 000011c6: PUSH1 0x80 000011c8: ADD 000011c9: PUSH1 0x40 000011cb: MSTORE 000011cc: DUP1 000011cd: PUSH0 000011ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011e3: AND 000011e4: DUP2 000011e5: MSTORE 000011e6: PUSH1 0x20 000011e8: ADD 000011e9: PUSH0 000011ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011ff: AND 00001200: DUP2 00001201: MSTORE 00001202: PUSH1 0x20 00001204: ADD 00001205: PUSH0 00001206: PUSH3 0xffffff 0000120a: AND 0000120b: DUP2 0000120c: MSTORE 0000120d: PUSH1 0x20 0000120f: ADD 00001210: PUSH0 00001211: PUSH1 0x02 00001213: SIGNEXTEND 00001214: DUP2 00001215: MSTORE 00001216: POP 00001217: SWAP1 00001218: JUMP 00001219: JUMPDEST 0000121a: PUSH1 0x40 0000121c: MLOAD 0000121d: DUP1 0000121e: PUSH1 0xa0 00001220: ADD 00001221: PUSH1 0x40 00001223: MSTORE 00001224: DUP1 00001225: PUSH0 00001226: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000123b: AND 0000123c: DUP2 0000123d: MSTORE 0000123e: PUSH1 0x20 00001240: ADD 00001241: PUSH0 00001242: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001257: AND 00001258: DUP2 00001259: MSTORE 0000125a: PUSH1 0x20 0000125c: ADD 0000125d: PUSH0 0000125e: PUSH3 0xffffff 00001262: AND 00001263: DUP2 00001264: MSTORE 00001265: PUSH1 0x20 00001267: ADD 00001268: PUSH0 00001269: PUSH1 0x02 0000126b: SIGNEXTEND 0000126c: DUP2 0000126d: MSTORE 0000126e: PUSH1 0x20 00001270: ADD 00001271: PUSH0 00001272: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001287: AND 00001288: DUP2 00001289: MSTORE 0000128a: POP 0000128b: SWAP1 0000128c: JUMP 0000128d: JUMPDEST 0000128e: PUSH0 0000128f: DUP3 00001290: DUP3 00001291: MSTORE 00001292: PUSH1 0x20 00001294: DUP3 00001295: ADD 00001296: SWAP1 00001297: POP 00001298: SWAP3 00001299: SWAP2 0000129a: POP 0000129b: POP 0000129c: JUMP 0000129d: JUMPDEST 0000129e: PUSH32 0x72656365697665206572726f7200000000000000000000000000000000000000 000012bf: PUSH0 000012c0: DUP3 000012c1: ADD 000012c2: MSTORE 000012c3: POP 000012c4: JUMP 000012c5: JUMPDEST 000012c6: PUSH0 000012c7: PUSH2 0x12d1 000012ca: PUSH1 0x0d 000012cc: DUP4 000012cd: PUSH2 0x128d 000012d0: JUMP 000012d1: JUMPDEST 000012d2: SWAP2 000012d3: POP 000012d4: PUSH2 0x12dc 000012d7: DUP3 000012d8: PUSH2 0x129d 000012db: JUMP 000012dc: JUMPDEST 000012dd: PUSH1 0x20 000012df: DUP3 000012e0: ADD 000012e1: SWAP1 000012e2: POP 000012e3: SWAP2 000012e4: SWAP1 000012e5: POP 000012e6: JUMP 000012e7: JUMPDEST 000012e8: PUSH0 000012e9: PUSH1 0x20 000012eb: DUP3 000012ec: ADD 000012ed: SWAP1 000012ee: POP 000012ef: DUP2 000012f0: DUP2 000012f1: SUB 000012f2: PUSH0 000012f3: DUP4 000012f4: ADD 000012f5: MSTORE 000012f6: PUSH2 0x12fe 000012f9: DUP2 000012fa: PUSH2 0x12c5 000012fd: JUMP 000012fe: JUMPDEST 000012ff: SWAP1 00001300: POP 00001301: SWAP2 00001302: SWAP1 00001303: POP 00001304: JUMP 00001305: JUMPDEST 00001306: PUSH0 00001307: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000131c: DUP3 0000131d: AND 0000131e: SWAP1 0000131f: POP 00001320: SWAP2 00001321: SWAP1 00001322: POP 00001323: JUMP 00001324: JUMPDEST 00001325: PUSH0 00001326: PUSH2 0x132e 00001329: DUP3 0000132a: PUSH2 0x1305 0000132d: JUMP 0000132e: JUMPDEST 0000132f: SWAP1 00001330: POP 00001331: SWAP2 00001332: SWAP1 00001333: POP 00001334: JUMP 00001335: JUMPDEST 00001336: PUSH2 0x133e 00001339: DUP2 0000133a: PUSH2 0x1324 0000133d: JUMP 0000133e: JUMPDEST 0000133f: DUP3 00001340: MSTORE 00001341: POP 00001342: POP 00001343: JUMP 00001344: JUMPDEST 00001345: PUSH0 00001346: DUP2 00001347: SWAP1 00001348: POP 00001349: SWAP2 0000134a: SWAP1 0000134b: POP 0000134c: JUMP 0000134d: JUMPDEST 0000134e: PUSH2 0x1356 00001351: DUP2 00001352: PUSH2 0x1344 00001355: JUMP 00001356: JUMPDEST 00001357: DUP3 00001358: MSTORE 00001359: POP 0000135a: POP 0000135b: JUMP 0000135c: JUMPDEST 0000135d: PUSH0 0000135e: PUSH1 0x40 00001360: DUP3 00001361: ADD 00001362: SWAP1 00001363: POP 00001364: PUSH2 0x136f 00001367: PUSH0 00001368: DUP4 00001369: ADD 0000136a: DUP6 0000136b: PUSH2 0x1335 0000136e: JUMP 0000136f: JUMPDEST 00001370: PUSH2 0x137c 00001373: PUSH1 0x20 00001375: DUP4 00001376: ADD 00001377: DUP5 00001378: PUSH2 0x134d 0000137b: JUMP 0000137c: JUMPDEST 0000137d: SWAP4 0000137e: SWAP3 0000137f: POP 00001380: POP 00001381: POP 00001382: JUMP 00001383: JUMPDEST 00001384: PUSH0 00001385: PUSH1 0x40 00001387: MLOAD 00001388: SWAP1 00001389: POP 0000138a: SWAP1 0000138b: JUMP 0000138c: JUMPDEST 0000138d: PUSH0 0000138e: PUSH0 0000138f: REVERT 00001390: JUMPDEST 00001391: PUSH0 00001392: PUSH0 00001393: REVERT 00001394: JUMPDEST 00001395: PUSH2 0x139d 00001398: DUP2 00001399: PUSH2 0x1324 0000139c: JUMP 0000139d: JUMPDEST 0000139e: DUP2 0000139f: EQ 000013a0: PUSH2 0x13a7 000013a3: JUMPI 000013a4: PUSH0 000013a5: PUSH0 000013a6: REVERT 000013a7: JUMPDEST 000013a8: POP 000013a9: JUMP 000013aa: JUMPDEST 000013ab: PUSH0 000013ac: DUP2 000013ad: CALLDATALOAD 000013ae: SWAP1 000013af: POP 000013b0: PUSH2 0x13b8 000013b3: DUP2 000013b4: PUSH2 0x1394 000013b7: JUMP 000013b8: JUMPDEST 000013b9: SWAP3 000013ba: SWAP2 000013bb: POP 000013bc: POP 000013bd: JUMP 000013be: JUMPDEST 000013bf: PUSH0 000013c0: PUSH0 000013c1: REVERT 000013c2: JUMPDEST 000013c3: PUSH0 000013c4: PUSH0 000013c5: REVERT 000013c6: JUMPDEST 000013c7: PUSH0 000013c8: PUSH0 000013c9: REVERT 000013ca: JUMPDEST 000013cb: PUSH0 000013cc: PUSH0 000013cd: DUP4 000013ce: PUSH1 0x1f 000013d0: DUP5 000013d1: ADD 000013d2: SLT 000013d3: PUSH2 0x13df 000013d6: JUMPI 000013d7: PUSH2 0x13de 000013da: PUSH2 0x13be 000013dd: JUMP 000013de: JUMPDEST 000013df: JUMPDEST 000013e0: DUP3 000013e1: CALLDATALOAD 000013e2: SWAP1 000013e3: POP 000013e4: PUSH8 0xffffffffffffffff 000013ed: DUP2 000013ee: GT 000013ef: ISZERO 000013f0: PUSH2 0x13fc 000013f3: JUMPI 000013f4: PUSH2 0x13fb 000013f7: PUSH2 0x13c2 000013fa: JUMP 000013fb: JUMPDEST 000013fc: JUMPDEST 000013fd: PUSH1 0x20 000013ff: DUP4 00001400: ADD 00001401: SWAP2 00001402: POP 00001403: DUP4 00001404: PUSH1 0x01 00001406: DUP3 00001407: MUL 00001408: DUP4 00001409: ADD 0000140a: GT 0000140b: ISZERO 0000140c: PUSH2 0x1418 0000140f: JUMPI 00001410: PUSH2 0x1417 00001413: PUSH2 0x13c6 00001416: JUMP 00001417: JUMPDEST 00001418: JUMPDEST 00001419: SWAP3 0000141a: POP 0000141b: SWAP3 0000141c: SWAP1 0000141d: POP 0000141e: JUMP 0000141f: JUMPDEST 00001420: PUSH0 00001421: PUSH0 00001422: PUSH0 00001423: PUSH0 00001424: PUSH1 0x60 00001426: DUP6 00001427: DUP8 00001428: SUB 00001429: SLT 0000142a: ISZERO 0000142b: PUSH2 0x1437 0000142e: JUMPI 0000142f: PUSH2 0x1436 00001432: PUSH2 0x138c 00001435: JUMP 00001436: JUMPDEST 00001437: JUMPDEST 00001438: PUSH0 00001439: PUSH2 0x1444 0000143c: DUP8 0000143d: DUP3 0000143e: DUP9 0000143f: ADD 00001440: PUSH2 0x13aa 00001443: JUMP 00001444: JUMPDEST 00001445: SWAP5 00001446: POP 00001447: POP 00001448: PUSH1 0x20 0000144a: PUSH2 0x1455 0000144d: DUP8 0000144e: DUP3 0000144f: DUP9 00001450: ADD 00001451: PUSH2 0x13aa 00001454: JUMP 00001455: JUMPDEST 00001456: SWAP4 00001457: POP 00001458: POP 00001459: PUSH1 0x40 0000145b: DUP6 0000145c: ADD 0000145d: CALLDATALOAD 0000145e: PUSH8 0xffffffffffffffff 00001467: DUP2 00001468: GT 00001469: ISZERO 0000146a: PUSH2 0x1476 0000146d: JUMPI 0000146e: PUSH2 0x1475 00001471: PUSH2 0x1390 00001474: JUMP 00001475: JUMPDEST 00001476: JUMPDEST 00001477: PUSH2 0x1482 0000147a: DUP8 0000147b: DUP3 0000147c: DUP9 0000147d: ADD 0000147e: PUSH2 0x13ca 00001481: JUMP 00001482: JUMPDEST 00001483: SWAP3 00001484: POP 00001485: SWAP3 00001486: POP 00001487: POP 00001488: SWAP3 00001489: SWAP6 0000148a: SWAP2 0000148b: SWAP5 0000148c: POP 0000148d: SWAP3 0000148e: POP 0000148f: JUMP 00001490: JUMPDEST 00001491: PUSH0 00001492: PUSH0 00001493: PUSH1 0x20 00001495: DUP4 00001496: DUP6 00001497: SUB 00001498: SLT 00001499: ISZERO 0000149a: PUSH2 0x14a6 0000149d: JUMPI 0000149e: PUSH2 0x14a5 000014a1: PUSH2 0x138c 000014a4: JUMP 000014a5: JUMPDEST 000014a6: JUMPDEST 000014a7: PUSH0 000014a8: DUP4 000014a9: ADD 000014aa: CALLDATALOAD 000014ab: PUSH8 0xffffffffffffffff 000014b4: DUP2 000014b5: GT 000014b6: ISZERO 000014b7: PUSH2 0x14c3 000014ba: JUMPI 000014bb: PUSH2 0x14c2 000014be: PUSH2 0x1390 000014c1: JUMP 000014c2: JUMPDEST 000014c3: JUMPDEST 000014c4: PUSH2 0x14cf 000014c7: DUP6 000014c8: DUP3 000014c9: DUP7 000014ca: ADD 000014cb: PUSH2 0x13ca 000014ce: JUMP 000014cf: JUMPDEST 000014d0: SWAP3 000014d1: POP 000014d2: SWAP3 000014d3: POP 000014d4: POP 000014d5: SWAP3 000014d6: POP 000014d7: SWAP3 000014d8: SWAP1 000014d9: POP 000014da: JUMP 000014db: JUMPDEST 000014dc: PUSH0 000014dd: DUP2 000014de: MLOAD 000014df: SWAP1 000014e0: POP 000014e1: SWAP2 000014e2: SWAP1 000014e3: POP 000014e4: JUMP 000014e5: JUMPDEST 000014e6: PUSH0 000014e7: DUP3 000014e8: DUP3 000014e9: MSTORE 000014ea: PUSH1 0x20 000014ec: DUP3 000014ed: ADD 000014ee: SWAP1 000014ef: POP 000014f0: SWAP3 000014f1: SWAP2 000014f2: POP 000014f3: POP 000014f4: JUMP 000014f5: JUMPDEST 000014f6: DUP3 000014f7: DUP2 000014f8: DUP4 000014f9: MCOPY 000014fa: PUSH0 000014fb: DUP4 000014fc: DUP4 000014fd: ADD 000014fe: MSTORE 000014ff: POP 00001500: POP 00001501: POP 00001502: JUMP 00001503: JUMPDEST 00001504: PUSH0 00001505: PUSH1 0x1f 00001507: NOT 00001508: PUSH1 0x1f 0000150a: DUP4 0000150b: ADD 0000150c: AND 0000150d: SWAP1 0000150e: POP 0000150f: SWAP2 00001510: SWAP1 00001511: POP 00001512: JUMP 00001513: JUMPDEST 00001514: PUSH0 00001515: PUSH2 0x151d 00001518: DUP3 00001519: PUSH2 0x14db 0000151c: JUMP 0000151d: JUMPDEST 0000151e: PUSH2 0x1527 00001521: DUP2 00001522: DUP6 00001523: PUSH2 0x14e5 00001526: JUMP 00001527: JUMPDEST 00001528: SWAP4 00001529: POP 0000152a: PUSH2 0x1537 0000152d: DUP2 0000152e: DUP6 0000152f: PUSH1 0x20 00001531: DUP7 00001532: ADD 00001533: PUSH2 0x14f5 00001536: JUMP 00001537: JUMPDEST 00001538: PUSH2 0x1540 0000153b: DUP2 0000153c: PUSH2 0x1503 0000153f: JUMP 00001540: JUMPDEST 00001541: DUP5 00001542: ADD 00001543: SWAP2 00001544: POP 00001545: POP 00001546: SWAP3 00001547: SWAP2 00001548: POP 00001549: POP 0000154a: JUMP 0000154b: JUMPDEST 0000154c: PUSH0 0000154d: PUSH1 0x20 0000154f: DUP3 00001550: ADD 00001551: SWAP1 00001552: POP 00001553: DUP2 00001554: DUP2 00001555: SUB 00001556: PUSH0 00001557: DUP4 00001558: ADD 00001559: MSTORE 0000155a: PUSH2 0x1563 0000155d: DUP2 0000155e: DUP5 0000155f: PUSH2 0x1513 00001562: JUMP 00001563: JUMPDEST 00001564: SWAP1 00001565: POP 00001566: SWAP3 00001567: SWAP2 00001568: POP 00001569: POP 0000156a: JUMP 0000156b: JUMPDEST 0000156c: PUSH0 0000156d: PUSH1 0x20 0000156f: DUP3 00001570: ADD 00001571: SWAP1 00001572: POP 00001573: PUSH2 0x157e 00001576: PUSH0 00001577: DUP4 00001578: ADD 00001579: DUP5 0000157a: PUSH2 0x1335 0000157d: JUMP 0000157e: JUMPDEST 0000157f: SWAP3 00001580: SWAP2 00001581: POP 00001582: POP 00001583: JUMP 00001584: JUMPDEST 00001585: PUSH0 00001586: DUP2 00001587: SWAP1 00001588: POP 00001589: SWAP2 0000158a: SWAP1 0000158b: POP 0000158c: JUMP 0000158d: JUMPDEST 0000158e: PUSH0 0000158f: PUSH2 0x15a7 00001592: PUSH2 0x15a2 00001595: PUSH2 0x159d 00001598: DUP5 00001599: PUSH2 0x1305 0000159c: JUMP 0000159d: JUMPDEST 0000159e: PUSH2 0x1584 000015a1: JUMP 000015a2: JUMPDEST 000015a3: PUSH2 0x1305 000015a6: JUMP 000015a7: JUMPDEST 000015a8: SWAP1 000015a9: POP 000015aa: SWAP2 000015ab: SWAP1 000015ac: POP 000015ad: JUMP 000015ae: JUMPDEST 000015af: PUSH0 000015b0: PUSH2 0x15b8 000015b3: DUP3 000015b4: PUSH2 0x158d 000015b7: JUMP 000015b8: JUMPDEST 000015b9: SWAP1 000015ba: POP 000015bb: SWAP2 000015bc: SWAP1 000015bd: POP 000015be: JUMP 000015bf: JUMPDEST 000015c0: PUSH0 000015c1: PUSH2 0x15c9 000015c4: DUP3 000015c5: PUSH2 0x15ae 000015c8: JUMP 000015c9: JUMPDEST 000015ca: SWAP1 000015cb: POP 000015cc: SWAP2 000015cd: SWAP1 000015ce: POP 000015cf: JUMP 000015d0: JUMPDEST 000015d1: PUSH2 0x15d9 000015d4: DUP2 000015d5: PUSH2 0x15bf 000015d8: JUMP 000015d9: JUMPDEST 000015da: DUP3 000015db: MSTORE 000015dc: POP 000015dd: POP 000015de: JUMP 000015df: JUMPDEST 000015e0: PUSH0 000015e1: PUSH1 0x20 000015e3: DUP3 000015e4: ADD 000015e5: SWAP1 000015e6: POP 000015e7: PUSH2 0x15f2 000015ea: PUSH0 000015eb: DUP4 000015ec: ADD 000015ed: DUP5 000015ee: PUSH2 0x15d0 000015f1: JUMP 000015f2: JUMPDEST 000015f3: SWAP3 000015f4: SWAP2 000015f5: POP 000015f6: POP 000015f7: JUMP 000015f8: JUMPDEST 000015f9: PUSH0 000015fa: PUSH2 0x1602 000015fd: DUP3 000015fe: PUSH2 0x1305 00001601: JUMP 00001602: JUMPDEST 00001603: SWAP1 00001604: POP 00001605: SWAP2 00001606: SWAP1 00001607: POP 00001608: JUMP 00001609: JUMPDEST 0000160a: PUSH2 0x1612 0000160d: DUP2 0000160e: PUSH2 0x15f8 00001611: JUMP 00001612: JUMPDEST 00001613: DUP2 00001614: EQ 00001615: PUSH2 0x161c 00001618: JUMPI 00001619: PUSH0 0000161a: PUSH0 0000161b: REVERT 0000161c: JUMPDEST 0000161d: POP 0000161e: JUMP 0000161f: JUMPDEST 00001620: PUSH0 00001621: DUP2 00001622: CALLDATALOAD 00001623: SWAP1 00001624: POP 00001625: PUSH2 0x162d 00001628: DUP2 00001629: PUSH2 0x1609 0000162c: JUMP 0000162d: JUMPDEST 0000162e: SWAP3 0000162f: SWAP2 00001630: POP 00001631: POP 00001632: JUMP 00001633: JUMPDEST 00001634: PUSH0 00001635: PUSH3 0xffffff 00001639: DUP3 0000163a: AND 0000163b: SWAP1 0000163c: POP 0000163d: SWAP2 0000163e: SWAP1 0000163f: POP 00001640: JUMP 00001641: JUMPDEST 00001642: PUSH2 0x164a 00001645: DUP2 00001646: PUSH2 0x1633 00001649: JUMP 0000164a: JUMPDEST 0000164b: DUP2 0000164c: EQ 0000164d: PUSH2 0x1654 00001650: JUMPI 00001651: PUSH0 00001652: PUSH0 00001653: REVERT 00001654: JUMPDEST 00001655: POP 00001656: JUMP 00001657: JUMPDEST 00001658: PUSH0 00001659: DUP2 0000165a: CALLDATALOAD 0000165b: SWAP1 0000165c: POP 0000165d: PUSH2 0x1665 00001660: DUP2 00001661: PUSH2 0x1641 00001664: JUMP 00001665: JUMPDEST 00001666: SWAP3 00001667: SWAP2 00001668: POP 00001669: POP 0000166a: JUMP 0000166b: JUMPDEST 0000166c: PUSH0 0000166d: DUP2 0000166e: PUSH1 0x02 00001670: SIGNEXTEND 00001671: SWAP1 00001672: POP 00001673: SWAP2 00001674: SWAP1 00001675: POP 00001676: JUMP 00001677: JUMPDEST 00001678: PUSH2 0x1680 0000167b: DUP2 0000167c: PUSH2 0x166b 0000167f: JUMP 00001680: JUMPDEST 00001681: DUP2 00001682: EQ 00001683: PUSH2 0x168a 00001686: JUMPI 00001687: PUSH0 00001688: PUSH0 00001689: REVERT 0000168a: JUMPDEST 0000168b: POP 0000168c: JUMP 0000168d: JUMPDEST 0000168e: PUSH0 0000168f: DUP2 00001690: CALLDATALOAD 00001691: SWAP1 00001692: POP 00001693: PUSH2 0x169b 00001696: DUP2 00001697: PUSH2 0x1677 0000169a: JUMP 0000169b: JUMPDEST 0000169c: SWAP3 0000169d: SWAP2 0000169e: POP 0000169f: POP 000016a0: JUMP 000016a1: JUMPDEST 000016a2: PUSH0 000016a3: PUSH0 000016a4: PUSH0 000016a5: PUSH0 000016a6: PUSH1 0x80 000016a8: DUP6 000016a9: DUP8 000016aa: SUB 000016ab: SLT 000016ac: ISZERO 000016ad: PUSH2 0x16b9 000016b0: JUMPI 000016b1: PUSH2 0x16b8 000016b4: PUSH2 0x138c 000016b7: JUMP 000016b8: JUMPDEST 000016b9: JUMPDEST 000016ba: PUSH0 000016bb: PUSH2 0x16c6 000016be: DUP8 000016bf: DUP3 000016c0: DUP9 000016c1: ADD 000016c2: PUSH2 0x161f 000016c5: JUMP 000016c6: JUMPDEST 000016c7: SWAP5 000016c8: POP 000016c9: POP 000016ca: PUSH1 0x20 000016cc: PUSH2 0x16d7 000016cf: DUP8 000016d0: DUP3 000016d1: DUP9 000016d2: ADD 000016d3: PUSH2 0x161f 000016d6: JUMP 000016d7: JUMPDEST 000016d8: SWAP4 000016d9: POP 000016da: POP 000016db: PUSH1 0x40 000016dd: PUSH2 0x16e8 000016e0: DUP8 000016e1: DUP3 000016e2: DUP9 000016e3: ADD 000016e4: PUSH2 0x1657 000016e7: JUMP 000016e8: JUMPDEST 000016e9: SWAP3 000016ea: POP 000016eb: POP 000016ec: PUSH1 0x60 000016ee: PUSH2 0x16f9 000016f1: DUP8 000016f2: DUP3 000016f3: DUP9 000016f4: ADD 000016f5: PUSH2 0x168d 000016f8: JUMP 000016f9: JUMPDEST 000016fa: SWAP2 000016fb: POP 000016fc: POP 000016fd: SWAP3 000016fe: SWAP6 000016ff: SWAP2 00001700: SWAP5 00001701: POP 00001702: SWAP3 00001703: POP 00001704: JUMP 00001705: JUMPDEST 00001706: PUSH2 0x170e 00001709: DUP2 0000170a: PUSH2 0x1344 0000170d: JUMP 0000170e: JUMPDEST 0000170f: DUP2 00001710: EQ 00001711: PUSH2 0x1718 00001714: JUMPI 00001715: PUSH0 00001716: PUSH0 00001717: REVERT 00001718: JUMPDEST 00001719: POP 0000171a: JUMP 0000171b: JUMPDEST 0000171c: PUSH0 0000171d: DUP2 0000171e: MLOAD 0000171f: SWAP1 00001720: POP 00001721: PUSH2 0x1729 00001724: DUP2 00001725: PUSH2 0x1705 00001728: JUMP 00001729: JUMPDEST 0000172a: SWAP3 0000172b: SWAP2 0000172c: POP 0000172d: POP 0000172e: JUMP 0000172f: JUMPDEST 00001730: PUSH0 00001731: PUSH1 0x20 00001733: DUP3 00001734: DUP5 00001735: SUB 00001736: SLT 00001737: ISZERO 00001738: PUSH2 0x1744 0000173b: JUMPI 0000173c: PUSH2 0x1743 0000173f: PUSH2 0x138c 00001742: JUMP 00001743: JUMPDEST 00001744: JUMPDEST 00001745: PUSH0 00001746: PUSH2 0x1751 00001749: DUP5 0000174a: DUP3 0000174b: DUP6 0000174c: ADD 0000174d: PUSH2 0x171b 00001750: JUMP 00001751: JUMPDEST 00001752: SWAP2 00001753: POP 00001754: POP 00001755: SWAP3 00001756: SWAP2 00001757: POP 00001758: POP 00001759: JUMP 0000175a: JUMPDEST 0000175b: PUSH0 0000175c: PUSH1 0x20 0000175e: DUP3 0000175f: ADD 00001760: SWAP1 00001761: POP 00001762: PUSH2 0x176d 00001765: PUSH0 00001766: DUP4 00001767: ADD 00001768: DUP5 00001769: PUSH2 0x134d 0000176c: JUMP 0000176d: JUMPDEST 0000176e: SWAP3 0000176f: SWAP2 00001770: POP 00001771: POP 00001772: JUMP 00001773: JUMPDEST 00001774: PUSH0 00001775: PUSH2 0x177d 00001778: DUP3 00001779: PUSH2 0x15ae 0000177c: JUMP 0000177d: JUMPDEST 0000177e: SWAP1 0000177f: POP 00001780: SWAP2 00001781: SWAP1 00001782: POP 00001783: JUMP 00001784: JUMPDEST 00001785: PUSH2 0x178d 00001788: DUP2 00001789: PUSH2 0x1773 0000178c: JUMP 0000178d: JUMPDEST 0000178e: DUP3 0000178f: MSTORE 00001790: POP 00001791: POP 00001792: JUMP 00001793: JUMPDEST 00001794: PUSH2 0x179c 00001797: DUP2 00001798: PUSH2 0x1633 0000179b: JUMP 0000179c: JUMPDEST 0000179d: DUP3 0000179e: MSTORE 0000179f: POP 000017a0: POP 000017a1: JUMP 000017a2: JUMPDEST 000017a3: PUSH2 0x17ab 000017a6: DUP2 000017a7: PUSH2 0x166b 000017aa: JUMP 000017ab: JUMPDEST 000017ac: DUP3 000017ad: MSTORE 000017ae: POP 000017af: POP 000017b0: JUMP 000017b1: JUMPDEST 000017b2: PUSH1 0x80 000017b4: DUP3 000017b5: ADD 000017b6: PUSH0 000017b7: DUP3 000017b8: ADD 000017b9: MLOAD 000017ba: PUSH2 0x17c5 000017bd: PUSH0 000017be: DUP6 000017bf: ADD 000017c0: DUP3 000017c1: PUSH2 0x1784 000017c4: JUMP 000017c5: JUMPDEST 000017c6: POP 000017c7: PUSH1 0x20 000017c9: DUP3 000017ca: ADD 000017cb: MLOAD 000017cc: PUSH2 0x17d8 000017cf: PUSH1 0x20 000017d1: DUP6 000017d2: ADD 000017d3: DUP3 000017d4: PUSH2 0x1784 000017d7: JUMP 000017d8: JUMPDEST 000017d9: POP 000017da: PUSH1 0x40 000017dc: DUP3 000017dd: ADD 000017de: MLOAD 000017df: PUSH2 0x17eb 000017e2: PUSH1 0x40 000017e4: DUP6 000017e5: ADD 000017e6: DUP3 000017e7: PUSH2 0x1793 000017ea: JUMP 000017eb: JUMPDEST 000017ec: POP 000017ed: PUSH1 0x60 000017ef: DUP3 000017f0: ADD 000017f1: MLOAD 000017f2: PUSH2 0x17fe 000017f5: PUSH1 0x60 000017f7: DUP6 000017f8: ADD 000017f9: DUP3 000017fa: PUSH2 0x17a2 000017fd: JUMP 000017fe: JUMPDEST 000017ff: POP 00001800: POP 00001801: POP 00001802: POP 00001803: JUMP 00001804: JUMPDEST 00001805: PUSH0 00001806: PUSH1 0xe0 00001808: DUP3 00001809: ADD 0000180a: SWAP1 0000180b: POP 0000180c: PUSH2 0x1817 0000180f: PUSH0 00001810: DUP4 00001811: ADD 00001812: DUP8 00001813: PUSH2 0x17b1 00001816: JUMP 00001817: JUMPDEST 00001818: PUSH2 0x1824 0000181b: PUSH1 0x80 0000181d: DUP4 0000181e: ADD 0000181f: DUP7 00001820: PUSH2 0x134d 00001823: JUMP 00001824: JUMPDEST 00001825: PUSH2 0x1831 00001828: PUSH1 0xa0 0000182a: DUP4 0000182b: ADD 0000182c: DUP6 0000182d: PUSH2 0x1335 00001830: JUMP 00001831: JUMPDEST 00001832: PUSH2 0x183e 00001835: PUSH1 0xc0 00001837: DUP4 00001838: ADD 00001839: DUP5 0000183a: PUSH2 0x134d 0000183d: JUMP 0000183e: JUMPDEST 0000183f: SWAP6 00001840: SWAP5 00001841: POP 00001842: POP 00001843: POP 00001844: POP 00001845: POP 00001846: JUMP 00001847: JUMPDEST 00001848: PUSH0 00001849: PUSH0 0000184a: REVERT 0000184b: JUMPDEST 0000184c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000186d: PUSH0 0000186e: MSTORE 0000186f: PUSH1 0x41 00001871: PUSH1 0x04 00001873: MSTORE 00001874: PUSH1 0x24 00001876: PUSH0 00001877: REVERT 00001878: JUMPDEST 00001879: PUSH2 0x1881 0000187c: DUP3 0000187d: PUSH2 0x1503 00001880: JUMP 00001881: JUMPDEST 00001882: DUP2 00001883: ADD 00001884: DUP2 00001885: DUP2 00001886: LT 00001887: PUSH8 0xffffffffffffffff 00001890: DUP3 00001891: GT 00001892: OR 00001893: ISZERO 00001894: PUSH2 0x18a0 00001897: JUMPI 00001898: PUSH2 0x189f 0000189b: PUSH2 0x184b 0000189e: JUMP 0000189f: JUMPDEST 000018a0: JUMPDEST 000018a1: DUP1 000018a2: PUSH1 0x40 000018a4: MSTORE 000018a5: POP 000018a6: POP 000018a7: POP 000018a8: JUMP 000018a9: JUMPDEST 000018aa: PUSH0 000018ab: PUSH2 0x18b2 000018ae: PUSH2 0x1383 000018b1: JUMP 000018b2: JUMPDEST 000018b3: SWAP1 000018b4: POP 000018b5: PUSH2 0x18be 000018b8: DUP3 000018b9: DUP3 000018ba: PUSH2 0x1878 000018bd: JUMP 000018be: JUMPDEST 000018bf: SWAP2 000018c0: SWAP1 000018c1: POP 000018c2: JUMP 000018c3: JUMPDEST 000018c4: PUSH0 000018c5: PUSH8 0xffffffffffffffff 000018ce: DUP3 000018cf: GT 000018d0: ISZERO 000018d1: PUSH2 0x18dd 000018d4: JUMPI 000018d5: PUSH2 0x18dc 000018d8: PUSH2 0x184b 000018db: JUMP 000018dc: JUMPDEST 000018dd: JUMPDEST 000018de: PUSH2 0x18e6 000018e1: DUP3 000018e2: PUSH2 0x1503 000018e5: JUMP 000018e6: JUMPDEST 000018e7: SWAP1 000018e8: POP 000018e9: PUSH1 0x20 000018eb: DUP2 000018ec: ADD 000018ed: SWAP1 000018ee: POP 000018ef: SWAP2 000018f0: SWAP1 000018f1: POP 000018f2: JUMP 000018f3: JUMPDEST 000018f4: PUSH0 000018f5: PUSH2 0x1905 000018f8: PUSH2 0x1900 000018fb: DUP5 000018fc: PUSH2 0x18c3 000018ff: JUMP 00001900: JUMPDEST 00001901: PUSH2 0x18a9 00001904: JUMP 00001905: JUMPDEST 00001906: SWAP1 00001907: POP 00001908: DUP3 00001909: DUP2 0000190a: MSTORE 0000190b: PUSH1 0x20 0000190d: DUP2 0000190e: ADD 0000190f: DUP5 00001910: DUP5 00001911: DUP5 00001912: ADD 00001913: GT 00001914: ISZERO 00001915: PUSH2 0x1921 00001918: JUMPI 00001919: PUSH2 0x1920 0000191c: PUSH2 0x1847 0000191f: JUMP 00001920: JUMPDEST 00001921: JUMPDEST 00001922: PUSH2 0x192c 00001925: DUP5 00001926: DUP3 00001927: DUP6 00001928: PUSH2 0x14f5 0000192b: JUMP 0000192c: JUMPDEST 0000192d: POP 0000192e: SWAP4 0000192f: SWAP3 00001930: POP 00001931: POP 00001932: POP 00001933: JUMP 00001934: JUMPDEST 00001935: PUSH0 00001936: DUP3 00001937: PUSH1 0x1f 00001939: DUP4 0000193a: ADD 0000193b: SLT 0000193c: PUSH2 0x1948 0000193f: JUMPI 00001940: PUSH2 0x1947 00001943: PUSH2 0x13be 00001946: JUMP 00001947: JUMPDEST 00001948: JUMPDEST 00001949: DUP2 0000194a: MLOAD 0000194b: PUSH2 0x1958 0000194e: DUP5 0000194f: DUP3 00001950: PUSH1 0x20 00001952: DUP7 00001953: ADD 00001954: PUSH2 0x18f3 00001957: JUMP 00001958: JUMPDEST 00001959: SWAP2 0000195a: POP 0000195b: POP 0000195c: SWAP3 0000195d: SWAP2 0000195e: POP 0000195f: POP 00001960: JUMP 00001961: JUMPDEST 00001962: PUSH0 00001963: PUSH1 0x20 00001965: DUP3 00001966: DUP5 00001967: SUB 00001968: SLT 00001969: ISZERO 0000196a: PUSH2 0x1976 0000196d: JUMPI 0000196e: PUSH2 0x1975 00001971: PUSH2 0x138c 00001974: JUMP 00001975: JUMPDEST 00001976: JUMPDEST 00001977: PUSH0 00001978: DUP3 00001979: ADD 0000197a: MLOAD 0000197b: PUSH8 0xffffffffffffffff 00001984: DUP2 00001985: GT 00001986: ISZERO 00001987: PUSH2 0x1993 0000198a: JUMPI 0000198b: PUSH2 0x1992 0000198e: PUSH2 0x1390 00001991: JUMP 00001992: JUMPDEST 00001993: JUMPDEST 00001994: PUSH2 0x199f 00001997: DUP5 00001998: DUP3 00001999: DUP6 0000199a: ADD 0000199b: PUSH2 0x1934 0000199e: JUMP 0000199f: JUMPDEST 000019a0: SWAP2 000019a1: POP 000019a2: POP 000019a3: SWAP3 000019a4: SWAP2 000019a5: POP 000019a6: POP 000019a7: JUMP 000019a8: JUMPDEST 000019a9: PUSH32 0x556e617574686f72697a656420756e6c6f636b43616c6c6261636b0000000000 000019ca: PUSH0 000019cb: DUP3 000019cc: ADD 000019cd: MSTORE 000019ce: POP 000019cf: JUMP 000019d0: JUMPDEST 000019d1: PUSH0 000019d2: PUSH2 0x19dc 000019d5: PUSH1 0x1b 000019d7: DUP4 000019d8: PUSH2 0x128d 000019db: JUMP 000019dc: JUMPDEST 000019dd: SWAP2 000019de: POP 000019df: PUSH2 0x19e7 000019e2: DUP3 000019e3: PUSH2 0x19a8 000019e6: JUMP 000019e7: JUMPDEST 000019e8: PUSH1 0x20 000019ea: DUP3 000019eb: ADD 000019ec: SWAP1 000019ed: POP 000019ee: SWAP2 000019ef: SWAP1 000019f0: POP 000019f1: JUMP 000019f2: JUMPDEST 000019f3: PUSH0 000019f4: PUSH1 0x20 000019f6: DUP3 000019f7: ADD 000019f8: SWAP1 000019f9: POP 000019fa: DUP2 000019fb: DUP2 000019fc: SUB 000019fd: PUSH0 000019fe: DUP4 000019ff: ADD 00001a00: MSTORE 00001a01: PUSH2 0x1a09 00001a04: DUP2 00001a05: PUSH2 0x19d0 00001a08: JUMP 00001a09: JUMPDEST 00001a0a: SWAP1 00001a0b: POP 00001a0c: SWAP2 00001a0d: SWAP1 00001a0e: POP 00001a0f: JUMP 00001a10: JUMPDEST 00001a11: PUSH0 00001a12: PUSH0 00001a13: REVERT 00001a14: JUMPDEST 00001a15: PUSH2 0x1a1d 00001a18: DUP2 00001a19: PUSH2 0x1324 00001a1c: JUMP 00001a1d: JUMPDEST 00001a1e: DUP2 00001a1f: EQ 00001a20: PUSH2 0x1a27 00001a23: JUMPI 00001a24: PUSH0 00001a25: PUSH0 00001a26: REVERT 00001a27: JUMPDEST 00001a28: POP 00001a29: JUMP 00001a2a: JUMPDEST 00001a2b: PUSH0 00001a2c: DUP2 00001a2d: CALLDATALOAD 00001a2e: SWAP1 00001a2f: POP 00001a30: PUSH2 0x1a38 00001a33: DUP2 00001a34: PUSH2 0x1a14 00001a37: JUMP 00001a38: JUMPDEST 00001a39: SWAP3 00001a3a: SWAP2 00001a3b: POP 00001a3c: POP 00001a3d: JUMP 00001a3e: JUMPDEST 00001a3f: PUSH0 00001a40: PUSH1 0x80 00001a42: DUP3 00001a43: DUP5 00001a44: SUB 00001a45: SLT 00001a46: ISZERO 00001a47: PUSH2 0x1a53 00001a4a: JUMPI 00001a4b: PUSH2 0x1a52 00001a4e: PUSH2 0x1a10 00001a51: JUMP 00001a52: JUMPDEST 00001a53: JUMPDEST 00001a54: PUSH2 0x1a5d 00001a57: PUSH1 0x80 00001a59: PUSH2 0x18a9 00001a5c: JUMP 00001a5d: JUMPDEST 00001a5e: SWAP1 00001a5f: POP 00001a60: PUSH0 00001a61: PUSH2 0x1a6c 00001a64: DUP5 00001a65: DUP3 00001a66: DUP6 00001a67: ADD 00001a68: PUSH2 0x1a2a 00001a6b: JUMP 00001a6c: JUMPDEST 00001a6d: PUSH0 00001a6e: DUP4 00001a6f: ADD 00001a70: MSTORE 00001a71: POP 00001a72: PUSH1 0x20 00001a74: PUSH2 0x1a7f 00001a77: DUP5 00001a78: DUP3 00001a79: DUP6 00001a7a: ADD 00001a7b: PUSH2 0x1a2a 00001a7e: JUMP 00001a7f: JUMPDEST 00001a80: PUSH1 0x20 00001a82: DUP4 00001a83: ADD 00001a84: MSTORE 00001a85: POP 00001a86: PUSH1 0x40 00001a88: PUSH2 0x1a93 00001a8b: DUP5 00001a8c: DUP3 00001a8d: DUP6 00001a8e: ADD 00001a8f: PUSH2 0x1657 00001a92: JUMP 00001a93: JUMPDEST 00001a94: PUSH1 0x40 00001a96: DUP4 00001a97: ADD 00001a98: MSTORE 00001a99: POP 00001a9a: PUSH1 0x60 00001a9c: PUSH2 0x1aa7 00001a9f: DUP5 00001aa0: DUP3 00001aa1: DUP6 00001aa2: ADD 00001aa3: PUSH2 0x168d 00001aa6: JUMP 00001aa7: JUMPDEST 00001aa8: PUSH1 0x60 00001aaa: DUP4 00001aab: ADD 00001aac: MSTORE 00001aad: POP 00001aae: SWAP3 00001aaf: SWAP2 00001ab0: POP 00001ab1: POP 00001ab2: JUMP 00001ab3: JUMPDEST 00001ab4: PUSH0 00001ab5: DUP2 00001ab6: CALLDATALOAD 00001ab7: SWAP1 00001ab8: POP 00001ab9: PUSH2 0x1ac1 00001abc: DUP2 00001abd: PUSH2 0x1705 00001ac0: JUMP 00001ac1: JUMPDEST 00001ac2: SWAP3 00001ac3: SWAP2 00001ac4: POP 00001ac5: POP 00001ac6: JUMP 00001ac7: JUMPDEST 00001ac8: PUSH0 00001ac9: PUSH0 00001aca: PUSH0 00001acb: PUSH0 00001acc: PUSH1 0xe0 00001ace: DUP6 00001acf: DUP8 00001ad0: SUB 00001ad1: SLT 00001ad2: ISZERO 00001ad3: PUSH2 0x1adf 00001ad6: JUMPI 00001ad7: PUSH2 0x1ade 00001ada: PUSH2 0x138c 00001add: JUMP 00001ade: JUMPDEST 00001adf: JUMPDEST 00001ae0: PUSH0 00001ae1: PUSH2 0x1aec 00001ae4: DUP8 00001ae5: DUP3 00001ae6: DUP9 00001ae7: ADD 00001ae8: PUSH2 0x1a3e 00001aeb: JUMP 00001aec: JUMPDEST 00001aed: SWAP5 00001aee: POP 00001aef: POP 00001af0: PUSH1 0x80 00001af2: PUSH2 0x1afd 00001af5: DUP8 00001af6: DUP3 00001af7: DUP9 00001af8: ADD 00001af9: PUSH2 0x1ab3 00001afc: JUMP 00001afd: JUMPDEST 00001afe: SWAP4 00001aff: POP 00001b00: POP 00001b01: PUSH1 0xa0 00001b03: PUSH2 0x1b0e 00001b06: DUP8 00001b07: DUP3 00001b08: DUP9 00001b09: ADD 00001b0a: PUSH2 0x161f 00001b0d: JUMP 00001b0e: JUMPDEST 00001b0f: SWAP3 00001b10: POP 00001b11: POP 00001b12: PUSH1 0xc0 00001b14: PUSH2 0x1b1f 00001b17: DUP8 00001b18: DUP3 00001b19: DUP9 00001b1a: ADD 00001b1b: PUSH2 0x1ab3 00001b1e: JUMP 00001b1f: JUMPDEST 00001b20: SWAP2 00001b21: POP 00001b22: POP 00001b23: SWAP3 00001b24: SWAP6 00001b25: SWAP2 00001b26: SWAP5 00001b27: POP 00001b28: SWAP3 00001b29: POP 00001b2a: JUMP 00001b2b: JUMPDEST 00001b2c: PUSH0 00001b2d: DUP2 00001b2e: SWAP1 00001b2f: POP 00001b30: SWAP2 00001b31: SWAP1 00001b32: POP 00001b33: JUMP 00001b34: JUMPDEST 00001b35: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001b56: PUSH0 00001b57: MSTORE 00001b58: PUSH1 0x11 00001b5a: PUSH1 0x04 00001b5c: MSTORE 00001b5d: PUSH1 0x24 00001b5f: PUSH0 00001b60: REVERT 00001b61: JUMPDEST 00001b62: PUSH0 00001b63: PUSH2 0x1b6b 00001b66: DUP3 00001b67: PUSH2 0x1b2b 00001b6a: JUMP 00001b6b: JUMPDEST 00001b6c: SWAP2 00001b6d: POP 00001b6e: PUSH32 0x8000000000000000000000000000000000000000000000000000000000000000 00001b8f: DUP3 00001b90: SUB 00001b91: PUSH2 0x1b9d 00001b94: JUMPI 00001b95: PUSH2 0x1b9c 00001b98: PUSH2 0x1b34 00001b9b: JUMP 00001b9c: JUMPDEST 00001b9d: JUMPDEST 00001b9e: DUP2 00001b9f: PUSH0 00001ba0: SUB 00001ba1: SWAP1 00001ba2: POP 00001ba3: SWAP2 00001ba4: SWAP1 00001ba5: POP 00001ba6: JUMP 00001ba7: JUMPDEST 00001ba8: PUSH32 0x416d6f756e74206d75737420626520706f736974697665000000000000000000 00001bc9: PUSH0 00001bca: DUP3 00001bcb: ADD 00001bcc: MSTORE 00001bcd: POP 00001bce: JUMP 00001bcf: JUMPDEST 00001bd0: PUSH0 00001bd1: PUSH2 0x1bdb 00001bd4: PUSH1 0x17 00001bd6: DUP4 00001bd7: PUSH2 0x128d 00001bda: JUMP 00001bdb: JUMPDEST 00001bdc: SWAP2 00001bdd: POP 00001bde: PUSH2 0x1be6 00001be1: DUP3 00001be2: PUSH2 0x1ba7 00001be5: JUMP 00001be6: JUMPDEST 00001be7: PUSH1 0x20 00001be9: DUP3 00001bea: ADD 00001beb: SWAP1 00001bec: POP 00001bed: SWAP2 00001bee: SWAP1 00001bef: POP 00001bf0: JUMP 00001bf1: JUMPDEST 00001bf2: PUSH0 00001bf3: PUSH1 0x20 00001bf5: DUP3 00001bf6: ADD 00001bf7: SWAP1 00001bf8: POP 00001bf9: DUP2 00001bfa: DUP2 00001bfb: SUB 00001bfc: PUSH0 00001bfd: DUP4 00001bfe: ADD 00001bff: MSTORE 00001c00: PUSH2 0x1c08 00001c03: DUP2 00001c04: PUSH2 0x1bcf 00001c07: JUMP 00001c08: JUMPDEST 00001c09: SWAP1 00001c0a: POP 00001c0b: SWAP2 00001c0c: SWAP1 00001c0d: POP 00001c0e: JUMP 00001c0f: JUMPDEST 00001c10: PUSH0 00001c11: DUP2 00001c12: SWAP1 00001c13: POP 00001c14: SWAP3 00001c15: SWAP2 00001c16: POP 00001c17: POP 00001c18: JUMP 00001c19: JUMPDEST 00001c1a: PUSH0 00001c1b: PUSH2 0x1c23 00001c1e: DUP3 00001c1f: PUSH2 0x14db 00001c22: JUMP 00001c23: JUMPDEST 00001c24: PUSH2 0x1c2d 00001c27: DUP2 00001c28: DUP6 00001c29: PUSH2 0x1c0f 00001c2c: JUMP 00001c2d: JUMPDEST 00001c2e: SWAP4 00001c2f: POP 00001c30: PUSH2 0x1c3d 00001c33: DUP2 00001c34: DUP6 00001c35: PUSH1 0x20 00001c37: DUP7 00001c38: ADD 00001c39: PUSH2 0x14f5 00001c3c: JUMP 00001c3d: JUMPDEST 00001c3e: DUP1 00001c3f: DUP5 00001c40: ADD 00001c41: SWAP2 00001c42: POP 00001c43: POP 00001c44: SWAP3 00001c45: SWAP2 00001c46: POP 00001c47: POP 00001c48: JUMP 00001c49: JUMPDEST 00001c4a: PUSH0 00001c4b: PUSH2 0x1c54 00001c4e: DUP3 00001c4f: DUP5 00001c50: PUSH2 0x1c19 00001c53: JUMP 00001c54: JUMPDEST 00001c55: SWAP2 00001c56: POP 00001c57: DUP2 00001c58: SWAP1 00001c59: POP 00001c5a: SWAP3 00001c5b: SWAP2 00001c5c: POP 00001c5d: POP 00001c5e: JUMP 00001c5f: JUMPDEST 00001c60: PUSH0 00001c61: DUP2 00001c62: ISZERO 00001c63: ISZERO 00001c64: SWAP1 00001c65: POP 00001c66: SWAP2 00001c67: SWAP1 00001c68: POP 00001c69: JUMP 00001c6a: JUMPDEST 00001c6b: PUSH2 0x1c73 00001c6e: DUP2 00001c6f: PUSH2 0x1c5f 00001c72: JUMP 00001c73: JUMPDEST 00001c74: DUP2 00001c75: EQ 00001c76: PUSH2 0x1c7d 00001c79: JUMPI 00001c7a: PUSH0 00001c7b: PUSH0 00001c7c: REVERT 00001c7d: JUMPDEST 00001c7e: POP 00001c7f: JUMP 00001c80: JUMPDEST 00001c81: PUSH0 00001c82: DUP2 00001c83: MLOAD 00001c84: SWAP1 00001c85: POP 00001c86: PUSH2 0x1c8e 00001c89: DUP2 00001c8a: PUSH2 0x1c6a 00001c8d: JUMP 00001c8e: JUMPDEST 00001c8f: SWAP3 00001c90: SWAP2 00001c91: POP 00001c92: POP 00001c93: JUMP 00001c94: JUMPDEST 00001c95: PUSH0 00001c96: PUSH1 0x20 00001c98: DUP3 00001c99: DUP5 00001c9a: SUB 00001c9b: SLT 00001c9c: ISZERO 00001c9d: PUSH2 0x1ca9 00001ca0: JUMPI 00001ca1: PUSH2 0x1ca8 00001ca4: PUSH2 0x138c 00001ca7: JUMP 00001ca8: JUMPDEST 00001ca9: JUMPDEST 00001caa: PUSH0 00001cab: PUSH2 0x1cb6 00001cae: DUP5 00001caf: DUP3 00001cb0: DUP6 00001cb1: ADD 00001cb2: PUSH2 0x1c80 00001cb5: JUMP 00001cb6: JUMPDEST 00001cb7: SWAP2 00001cb8: POP 00001cb9: POP 00001cba: SWAP3 00001cbb: SWAP2 00001cbc: POP 00001cbd: POP 00001cbe: JUMP 00001cbf: JUMPDEST 00001cc0: PUSH32 0x5472616e73666572206661696c65640000000000000000000000000000000000 00001ce1: PUSH0 00001ce2: DUP3 00001ce3: ADD 00001ce4: MSTORE 00001ce5: POP 00001ce6: JUMP 00001ce7: JUMPDEST 00001ce8: PUSH0 00001ce9: PUSH2 0x1cf3 00001cec: PUSH1 0x0f 00001cee: DUP4 00001cef: PUSH2 0x128d 00001cf2: JUMP 00001cf3: JUMPDEST 00001cf4: SWAP2 00001cf5: POP 00001cf6: PUSH2 0x1cfe 00001cf9: DUP3 00001cfa: PUSH2 0x1cbf 00001cfd: JUMP 00001cfe: JUMPDEST 00001cff: PUSH1 0x20 00001d01: DUP3 00001d02: ADD 00001d03: SWAP1 00001d04: POP 00001d05: SWAP2 00001d06: SWAP1 00001d07: POP 00001d08: JUMP 00001d09: JUMPDEST 00001d0a: PUSH0 00001d0b: PUSH1 0x20 00001d0d: DUP3 00001d0e: ADD 00001d0f: SWAP1 00001d10: POP 00001d11: DUP2 00001d12: DUP2 00001d13: SUB 00001d14: PUSH0 00001d15: DUP4 00001d16: ADD 00001d17: MSTORE 00001d18: PUSH2 0x1d20 00001d1b: DUP2 00001d1c: PUSH2 0x1ce7 00001d1f: JUMP 00001d20: JUMPDEST 00001d21: SWAP1 00001d22: POP 00001d23: SWAP2 00001d24: SWAP1 00001d25: POP 00001d26: JUMP 00001d27: JUMPDEST 00001d28: PUSH0 00001d29: PUSH2 0x1d31 00001d2c: DUP3 00001d2d: PUSH2 0x15ae 00001d30: JUMP 00001d31: JUMPDEST 00001d32: SWAP1 00001d33: POP 00001d34: SWAP2 00001d35: SWAP1 00001d36: POP 00001d37: JUMP 00001d38: JUMPDEST 00001d39: PUSH2 0x1d41 00001d3c: DUP2 00001d3d: PUSH2 0x1d27 00001d40: JUMP 00001d41: JUMPDEST 00001d42: DUP3 00001d43: MSTORE 00001d44: POP 00001d45: POP 00001d46: JUMP 00001d47: JUMPDEST 00001d48: PUSH1 0xa0 00001d4a: DUP3 00001d4b: ADD 00001d4c: PUSH0 00001d4d: DUP3 00001d4e: ADD 00001d4f: MLOAD 00001d50: PUSH2 0x1d5b 00001d53: PUSH0 00001d54: DUP6 00001d55: ADD 00001d56: DUP3 00001d57: PUSH2 0x1784 00001d5a: JUMP 00001d5b: JUMPDEST 00001d5c: POP 00001d5d: PUSH1 0x20 00001d5f: DUP3 00001d60: ADD 00001d61: MLOAD 00001d62: PUSH2 0x1d6e 00001d65: PUSH1 0x20 00001d67: DUP6 00001d68: ADD 00001d69: DUP3 00001d6a: PUSH2 0x1784 00001d6d: JUMP 00001d6e: JUMPDEST 00001d6f: POP 00001d70: PUSH1 0x40 00001d72: DUP3 00001d73: ADD 00001d74: MLOAD 00001d75: PUSH2 0x1d81 00001d78: PUSH1 0x40 00001d7a: DUP6 00001d7b: ADD 00001d7c: DUP3 00001d7d: PUSH2 0x1793 00001d80: JUMP 00001d81: JUMPDEST 00001d82: POP 00001d83: PUSH1 0x60 00001d85: DUP3 00001d86: ADD 00001d87: MLOAD 00001d88: PUSH2 0x1d94 00001d8b: PUSH1 0x60 00001d8d: DUP6 00001d8e: ADD 00001d8f: DUP3 00001d90: PUSH2 0x17a2 00001d93: JUMP 00001d94: JUMPDEST 00001d95: POP 00001d96: PUSH1 0x80 00001d98: DUP3 00001d99: ADD 00001d9a: MLOAD 00001d9b: PUSH2 0x1da7 00001d9e: PUSH1 0x80 00001da0: DUP6 00001da1: ADD 00001da2: DUP3 00001da3: PUSH2 0x1d38 00001da6: JUMP 00001da7: JUMPDEST 00001da8: POP 00001da9: POP 00001daa: POP 00001dab: POP 00001dac: JUMP 00001dad: JUMPDEST 00001dae: PUSH2 0x1db6 00001db1: DUP2 00001db2: PUSH2 0x1c5f 00001db5: JUMP 00001db6: JUMPDEST 00001db7: DUP3 00001db8: MSTORE 00001db9: POP 00001dba: POP 00001dbb: JUMP 00001dbc: JUMPDEST 00001dbd: PUSH2 0x1dc5 00001dc0: DUP2 00001dc1: PUSH2 0x1b2b 00001dc4: JUMP 00001dc5: JUMPDEST 00001dc6: DUP3 00001dc7: MSTORE 00001dc8: POP 00001dc9: POP 00001dca: JUMP 00001dcb: JUMPDEST 00001dcc: PUSH2 0x1dd4 00001dcf: DUP2 00001dd0: PUSH2 0x1305 00001dd3: JUMP 00001dd4: JUMPDEST 00001dd5: DUP3 00001dd6: MSTORE 00001dd7: POP 00001dd8: POP 00001dd9: JUMP 00001dda: JUMPDEST 00001ddb: PUSH1 0x60 00001ddd: DUP3 00001dde: ADD 00001ddf: PUSH0 00001de0: DUP3 00001de1: ADD 00001de2: MLOAD 00001de3: PUSH2 0x1dee 00001de6: PUSH0 00001de7: DUP6 00001de8: ADD 00001de9: DUP3 00001dea: PUSH2 0x1dad 00001ded: JUMP 00001dee: JUMPDEST 00001def: POP 00001df0: PUSH1 0x20 00001df2: DUP3 00001df3: ADD 00001df4: MLOAD 00001df5: PUSH2 0x1e01 00001df8: PUSH1 0x20 00001dfa: DUP6 00001dfb: ADD 00001dfc: DUP3 00001dfd: PUSH2 0x1dbc 00001e00: JUMP 00001e01: JUMPDEST 00001e02: POP 00001e03: PUSH1 0x40 00001e05: DUP3 00001e06: ADD 00001e07: MLOAD 00001e08: PUSH2 0x1e14 00001e0b: PUSH1 0x40 00001e0d: DUP6 00001e0e: ADD 00001e0f: DUP3 00001e10: PUSH2 0x1dcb 00001e13: JUMP 00001e14: JUMPDEST 00001e15: POP 00001e16: POP 00001e17: POP 00001e18: POP 00001e19: JUMP 00001e1a: JUMPDEST 00001e1b: POP 00001e1c: JUMP 00001e1d: JUMPDEST 00001e1e: PUSH0 00001e1f: PUSH2 0x1e28 00001e22: PUSH0 00001e23: DUP4 00001e24: PUSH2 0x14e5 00001e27: JUMP 00001e28: JUMPDEST 00001e29: SWAP2 00001e2a: POP 00001e2b: PUSH2 0x1e33 00001e2e: DUP3 00001e2f: PUSH2 0x1e1a 00001e32: JUMP 00001e33: JUMPDEST 00001e34: PUSH0 00001e35: DUP3 00001e36: ADD 00001e37: SWAP1 00001e38: POP 00001e39: SWAP2 00001e3a: SWAP1 00001e3b: POP 00001e3c: JUMP 00001e3d: JUMPDEST 00001e3e: PUSH0 00001e3f: PUSH2 0x0120 00001e42: DUP3 00001e43: ADD 00001e44: SWAP1 00001e45: POP 00001e46: PUSH2 0x1e51 00001e49: PUSH0 00001e4a: DUP4 00001e4b: ADD 00001e4c: DUP6 00001e4d: PUSH2 0x1d47 00001e50: JUMP 00001e51: JUMPDEST 00001e52: PUSH2 0x1e5e 00001e55: PUSH1 0xa0 00001e57: DUP4 00001e58: ADD 00001e59: DUP5 00001e5a: PUSH2 0x1dda 00001e5d: JUMP 00001e5e: JUMPDEST 00001e5f: DUP2 00001e60: DUP2 00001e61: SUB 00001e62: PUSH2 0x0100 00001e65: DUP4 00001e66: ADD 00001e67: MSTORE 00001e68: PUSH2 0x1e70 00001e6b: DUP2 00001e6c: PUSH2 0x1e1d 00001e6f: JUMP 00001e70: JUMPDEST 00001e71: SWAP1 00001e72: POP 00001e73: SWAP4 00001e74: SWAP3 00001e75: POP 00001e76: POP 00001e77: POP 00001e78: JUMP 00001e79: JUMPDEST 00001e7a: PUSH2 0x1e82 00001e7d: DUP2 00001e7e: PUSH2 0x1b2b 00001e81: JUMP 00001e82: JUMPDEST 00001e83: DUP2 00001e84: EQ 00001e85: PUSH2 0x1e8c 00001e88: JUMPI 00001e89: PUSH0 00001e8a: PUSH0 00001e8b: REVERT 00001e8c: JUMPDEST 00001e8d: POP 00001e8e: JUMP 00001e8f: JUMPDEST 00001e90: PUSH0 00001e91: DUP2 00001e92: MLOAD 00001e93: SWAP1 00001e94: POP 00001e95: PUSH2 0x1e9d 00001e98: DUP2 00001e99: PUSH2 0x1e79 00001e9c: JUMP 00001e9d: JUMPDEST 00001e9e: SWAP3 00001e9f: SWAP2 00001ea0: POP 00001ea1: POP 00001ea2: JUMP 00001ea3: JUMPDEST 00001ea4: PUSH0 00001ea5: PUSH1 0x20 00001ea7: DUP3 00001ea8: DUP5 00001ea9: SUB 00001eaa: SLT 00001eab: ISZERO 00001eac: PUSH2 0x1eb8 00001eaf: JUMPI 00001eb0: PUSH2 0x1eb7 00001eb3: PUSH2 0x138c 00001eb6: JUMP 00001eb7: JUMPDEST 00001eb8: JUMPDEST 00001eb9: PUSH0 00001eba: PUSH2 0x1ec5 00001ebd: DUP5 00001ebe: DUP3 00001ebf: DUP6 00001ec0: ADD 00001ec1: PUSH2 0x1e8f 00001ec4: JUMP 00001ec5: JUMPDEST 00001ec6: SWAP2 00001ec7: POP 00001ec8: POP 00001ec9: SWAP3 00001eca: SWAP2 00001ecb: POP 00001ecc: POP 00001ecd: JUMP 00001ece: JUMPDEST 00001ecf: PUSH2 0x1ed7 00001ed2: DUP2 00001ed3: PUSH2 0x1773 00001ed6: JUMP 00001ed7: JUMPDEST 00001ed8: DUP3 00001ed9: MSTORE 00001eda: POP 00001edb: POP 00001edc: JUMP 00001edd: JUMPDEST 00001ede: PUSH0 00001edf: PUSH1 0x20 00001ee1: DUP3 00001ee2: ADD 00001ee3: SWAP1 00001ee4: POP 00001ee5: PUSH2 0x1ef0 00001ee8: PUSH0 00001ee9: DUP4 00001eea: ADD 00001eeb: DUP5 00001eec: PUSH2 0x1ece 00001eef: JUMP 00001ef0: JUMPDEST 00001ef1: SWAP3 00001ef2: SWAP2 00001ef3: POP 00001ef4: POP 00001ef5: JUMP 00001ef6: JUMPDEST 00001ef7: PUSH0 00001ef8: PUSH1 0x60 00001efa: DUP3 00001efb: ADD 00001efc: SWAP1 00001efd: POP 00001efe: PUSH2 0x1f09 00001f01: PUSH0 00001f02: DUP4 00001f03: ADD 00001f04: DUP7 00001f05: PUSH2 0x1ece 00001f08: JUMP 00001f09: JUMPDEST 00001f0a: PUSH2 0x1f16 00001f0d: PUSH1 0x20 00001f0f: DUP4 00001f10: ADD 00001f11: DUP6 00001f12: PUSH2 0x1335 00001f15: JUMP 00001f16: JUMPDEST 00001f17: PUSH2 0x1f23 00001f1a: PUSH1 0x40 00001f1c: DUP4 00001f1d: ADD 00001f1e: DUP5 00001f1f: PUSH2 0x134d 00001f22: JUMP 00001f23: JUMPDEST 00001f24: SWAP5 00001f25: SWAP4 00001f26: POP 00001f27: POP 00001f28: POP 00001f29: POP 00001f2a: JUMP 00001f2b: INVALID 00001f2c: LOG2 00001f2d: PUSH5 0x6970667358 00001f33: UNKNOWN(0x22) 00001f34: SLT 00001f35: KECCAK256 00001f36: SWAP5 00001f37: UNKNOWN(0xD4) 00001f38: MUL 00001f39: SWAP13 00001f3a: UNKNOWN(0xB4) 00001f3b: POP 00001f3c: UNKNOWN(0xB1) 00001f3d: DUP9 00001f3e: PUSH4 0x3a8acd0f 00001f43: UNKNOWN(0xA8) 00001f44: PUSH9 0x5f89a4f8451e13bb39 00001f4e: DUP7 00001f4f: UNKNOWN(0xB6) 00001f50: UNKNOWN(0xED) 00001f51: UNKNOWN(0xFC) 00001f52: EXP 00001f53: UNKNOWN(0xDD) 00001f54: DUP10 00001f55: PUSH32
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x0d11fbb82fe1f07d3954ca9eaea9697f6493d3b5570a910ae6ab9a8b7ef10315
call_targets:
0x16623c35ef61d92aaaf98f25bd64ea962fbd6a12
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0d11fbb82fe1f07d3954ca9eaea9697f6493d3b5570a910ae6ab9a8b7ef10315",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x16623c35ef61d92aaaf98f25bd64ea962fbd6a12"
],
"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": "0x30e6ae31",
"selector": "0x30e6ae31",
"calldata_variants": [
"0x30e6ae31",
"0x30e6ae310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6f7929f2",
"selector": "0x6f7929f2",
"calldata_variants": [
"0x6f7929f2",
"0x6f7929f20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91dd7346",
"selector": "0x91dd7346",
"calldata_variants": [
"0x91dd7346",
"0x91dd73460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xad5c4648",
"selector": "0xad5c4648",
"calldata_variants": [
"0xad5c4648",
"0xad5c46480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdc4c90d3",
"selector": "0xdc4c90d3",
"calldata_variants": [
"0xdc4c90d3",
"0xdc4c90d30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1195,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1487,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2138,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 10,
"guards_detected": [
{
"pc": 567,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1608,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 10
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x0d11fbb82fe1f07d3954ca9eaea9697f6493d3b5570a910ae6ab9a8b7ef10315
call_targets:
0x16623c35ef61d92aaaf98f25bd64ea962fbd6a12
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0d11fbb82fe1f07d3954ca9eaea9697f6493d3b5570a910ae6ab9a8b7ef10315",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x16623c35ef61d92aaaf98f25bd64ea962fbd6a12"
],
"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": "0x30e6ae31",
"selector": "0x30e6ae31",
"calldata_variants": [
"0x30e6ae31",
"0x30e6ae310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6f7929f2",
"selector": "0x6f7929f2",
"calldata_variants": [
"0x6f7929f2",
"0x6f7929f20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91dd7346",
"selector": "0x91dd7346",
"calldata_variants": [
"0x91dd7346",
"0x91dd73460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xad5c4648",
"selector": "0xad5c4648",
"calldata_variants": [
"0xad5c4648",
"0xad5c46480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdc4c90d3",
"selector": "0xdc4c90d3",
"calldata_variants": [
"0xdc4c90d3",
"0xdc4c90d30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1195,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1487,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2138,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 10,
"guards_detected": [
{
"pc": 567,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1608,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|