019b3844-b92b-706c-b74f-c407768338f8
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 |
|---|---|---|---|---|
| 19789 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 19790 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 62702 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 62703 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 62704 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 62705 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x006f 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x91dd7346 00000018: GT 00000019: PUSH2 0x004d 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0x91dd7346 00000023: EQ 00000024: PUSH2 0x00f4 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xb42d931b 0000002e: EQ 0000002f: PUSH2 0x0130 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xc1bebbb1 00000039: EQ 0000003a: PUSH2 0x0158 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xf8f02814 00000044: EQ 00000045: PUSH2 0x0180 00000048: JUMPI 00000049: PUSH2 0x0076 0000004c: JUMP 0000004d: JUMPDEST 0000004e: DUP1 0000004f: PUSH0 00000050: EQ 00000051: PUSH2 0x007a 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x036c3c78 0000005b: EQ 0000005c: PUSH2 0x00b6 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x3b0faf9d 00000066: EQ 00000067: PUSH2 0x00cc 0000006a: JUMPI 0000006b: PUSH2 0x0076 0000006e: JUMP 0000006f: JUMPDEST 00000070: CALLDATASIZE 00000071: PUSH2 0x0076 00000074: JUMPI 00000075: STOP 00000076: JUMPDEST 00000077: PUSH0 00000078: PUSH0 00000079: REVERT 0000007a: JUMPDEST 0000007b: CALLVALUE 0000007c: DUP1 0000007d: ISZERO 0000007e: PUSH2 0x0085 00000081: JUMPI 00000082: PUSH0 00000083: PUSH0 00000084: REVERT 00000085: JUMPDEST 00000086: POP 00000087: PUSH2 0x00a0 0000008a: PUSH1 0x04 0000008c: DUP1 0000008d: CALLDATASIZE 0000008e: SUB 0000008f: DUP2 00000090: ADD 00000091: SWAP1 00000092: PUSH2 0x009b 00000095: SWAP2 00000096: SWAP1 00000097: PUSH2 0x10da 0000009a: JUMP 0000009b: JUMPDEST 0000009c: PUSH2 0x0196 0000009f: JUMP 000000a0: JUMPDEST 000000a1: PUSH1 0x40 000000a3: MLOAD 000000a4: PUSH2 0x00ad 000000a7: SWAP2 000000a8: SWAP1 000000a9: PUSH2 0x114e 000000ac: JUMP 000000ad: JUMPDEST 000000ae: PUSH1 0x40 000000b0: MLOAD 000000b1: DUP1 000000b2: SWAP2 000000b3: SUB 000000b4: SWAP1 000000b5: RETURN 000000b6: JUMPDEST 000000b7: CALLVALUE 000000b8: DUP1 000000b9: ISZERO 000000ba: PUSH2 0x00c1 000000bd: JUMPI 000000be: PUSH0 000000bf: PUSH0 000000c0: REVERT 000000c1: JUMPDEST 000000c2: POP 000000c3: PUSH2 0x00ca 000000c6: PUSH2 0x0454 000000c9: JUMP 000000ca: JUMPDEST 000000cb: STOP 000000cc: JUMPDEST 000000cd: CALLVALUE 000000ce: DUP1 000000cf: ISZERO 000000d0: PUSH2 0x00d7 000000d3: JUMPI 000000d4: PUSH0 000000d5: PUSH0 000000d6: REVERT 000000d7: JUMPDEST 000000d8: POP 000000d9: PUSH2 0x00f2 000000dc: PUSH1 0x04 000000de: DUP1 000000df: CALLDATASIZE 000000e0: SUB 000000e1: DUP2 000000e2: ADD 000000e3: SWAP1 000000e4: PUSH2 0x00ed 000000e7: SWAP2 000000e8: SWAP1 000000e9: PUSH2 0x122f 000000ec: JUMP 000000ed: JUMPDEST 000000ee: PUSH2 0x0536 000000f1: JUMP 000000f2: JUMPDEST 000000f3: STOP 000000f4: JUMPDEST 000000f5: CALLVALUE 000000f6: DUP1 000000f7: ISZERO 000000f8: PUSH2 0x00ff 000000fb: JUMPI 000000fc: PUSH0 000000fd: PUSH0 000000fe: REVERT 000000ff: JUMPDEST 00000100: POP 00000101: PUSH2 0x011a 00000104: PUSH1 0x04 00000106: DUP1 00000107: CALLDATASIZE 00000108: SUB 00000109: DUP2 0000010a: ADD 0000010b: SWAP1 0000010c: PUSH2 0x0115 0000010f: SWAP2 00000110: SWAP1 00000111: PUSH2 0x12cf 00000114: JUMP 00000115: JUMPDEST 00000116: PUSH2 0x0657 00000119: JUMP 0000011a: JUMPDEST 0000011b: PUSH1 0x40 0000011d: MLOAD 0000011e: PUSH2 0x0127 00000121: SWAP2 00000122: SWAP1 00000123: PUSH2 0x137a 00000126: JUMP 00000127: JUMPDEST 00000128: PUSH1 0x40 0000012a: MLOAD 0000012b: DUP1 0000012c: SWAP2 0000012d: SUB 0000012e: SWAP1 0000012f: RETURN 00000130: JUMPDEST 00000131: CALLVALUE 00000132: DUP1 00000133: ISZERO 00000134: PUSH2 0x013b 00000137: JUMPI 00000138: PUSH0 00000139: PUSH0 0000013a: REVERT 0000013b: JUMPDEST 0000013c: POP 0000013d: PUSH2 0x0156 00000140: PUSH1 0x04 00000142: DUP1 00000143: CALLDATASIZE 00000144: SUB 00000145: DUP2 00000146: ADD 00000147: SWAP1 00000148: PUSH2 0x0151 0000014b: SWAP2 0000014c: SWAP1 0000014d: PUSH2 0x139a 00000150: JUMP 00000151: JUMPDEST 00000152: PUSH2 0x08d0 00000155: JUMP 00000156: JUMPDEST 00000157: STOP 00000158: JUMPDEST 00000159: CALLVALUE 0000015a: DUP1 0000015b: ISZERO 0000015c: PUSH2 0x0163 0000015f: JUMPI 00000160: PUSH0 00000161: PUSH0 00000162: REVERT 00000163: JUMPDEST 00000164: POP 00000165: PUSH2 0x017e 00000168: PUSH1 0x04 0000016a: DUP1 0000016b: CALLDATASIZE 0000016c: SUB 0000016d: DUP2 0000016e: ADD 0000016f: SWAP1 00000170: PUSH2 0x0179 00000173: SWAP2 00000174: SWAP1 00000175: PUSH2 0x139a 00000178: JUMP 00000179: JUMPDEST 0000017a: PUSH2 0x0967 0000017d: JUMP 0000017e: JUMPDEST 0000017f: STOP 00000180: JUMPDEST 00000181: CALLVALUE 00000182: DUP1 00000183: ISZERO 00000184: PUSH2 0x018b 00000187: JUMPI 00000188: PUSH0 00000189: PUSH0 0000018a: REVERT 0000018b: JUMPDEST 0000018c: POP 0000018d: PUSH2 0x0194 00000190: PUSH2 0x0a12 00000193: JUMP 00000194: JUMPDEST 00000195: STOP 00000196: JUMPDEST 00000197: PUSH0 00000198: PUSH0 00000199: PUSH0 0000019a: CALLER 0000019b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001b0: AND 000001b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001c6: AND 000001c7: DUP2 000001c8: MSTORE 000001c9: PUSH1 0x20 000001cb: ADD 000001cc: SWAP1 000001cd: DUP2 000001ce: MSTORE 000001cf: PUSH1 0x20 000001d1: ADD 000001d2: PUSH0 000001d3: KECCAK256 000001d4: PUSH0 000001d5: SWAP1 000001d6: SLOAD 000001d7: SWAP1 000001d8: PUSH2 0x0100 000001db: EXP 000001dc: SWAP1 000001dd: DIV 000001de: PUSH1 0xff 000001e0: AND 000001e1: PUSH2 0x021f 000001e4: JUMPI 000001e5: PUSH1 0x40 000001e7: MLOAD 000001e8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000209: DUP2 0000020a: MSTORE 0000020b: PUSH1 0x04 0000020d: ADD 0000020e: PUSH2 0x0216 00000211: SWAP1 00000212: PUSH2 0x1458 00000215: JUMP 00000216: JUMPDEST 00000217: PUSH1 0x40 00000219: MLOAD 0000021a: DUP1 0000021b: SWAP2 0000021c: SUB 0000021d: SWAP1 0000021e: REVERT 0000021f: JUMPDEST 00000220: PUSH0 00000221: DUP6 00000222: PUSH0 00000223: ADD 00000224: MLOAD 00000225: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000023a: AND 0000023b: DUP6 0000023c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000251: AND 00000252: EQ 00000253: SWAP1 00000254: POP 00000255: PUSH0 00000256: DUP2 00000257: PUSH2 0x0263 0000025a: JUMPI 0000025b: DUP7 0000025c: PUSH0 0000025d: ADD 0000025e: MLOAD 0000025f: PUSH2 0x0269 00000262: JUMP 00000263: JUMPDEST 00000264: DUP7 00000265: PUSH1 0x20 00000267: ADD 00000268: MLOAD 00000269: JUMPDEST 0000026a: SWAP1 0000026b: POP 0000026c: PUSH0 0000026d: PUSH1 0x40 0000026f: MLOAD 00000270: DUP1 00000271: PUSH1 0x60 00000273: ADD 00000274: PUSH1 0x40 00000276: MSTORE 00000277: DUP1 00000278: DUP5 00000279: ISZERO 0000027a: ISZERO 0000027b: DUP2 0000027c: MSTORE 0000027d: PUSH1 0x20 0000027f: ADD 00000280: DUP8 00000281: PUSH2 0x0289 00000284: SWAP1 00000285: PUSH2 0x14ac 00000288: JUMP 00000289: JUMPDEST 0000028a: DUP2 0000028b: MSTORE 0000028c: PUSH1 0x20 0000028e: ADD 0000028f: DUP5 00000290: PUSH2 0x02ad 00000293: JUMPI 00000294: PUSH20 0xfffd8963efd1fc6a506488495d951d5263988d25 000002a9: PUSH2 0x02b4 000002ac: JUMP 000002ad: JUMPDEST 000002ae: PUSH5 0x01000276a5 000002b4: JUMPDEST 000002b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ca: AND 000002cb: DUP2 000002cc: MSTORE 000002cd: POP 000002ce: SWAP1 000002cf: POP 000002d0: PUSH0 000002d1: PUSH1 0x40 000002d3: MLOAD 000002d4: DUP1 000002d5: PUSH1 0xc0 000002d7: ADD 000002d8: PUSH1 0x40 000002da: MSTORE 000002db: DUP1 000002dc: CALLER 000002dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002f2: AND 000002f3: DUP2 000002f4: MSTORE 000002f5: PUSH1 0x20 000002f7: ADD 000002f8: DUP11 000002f9: DUP2 000002fa: MSTORE 000002fb: PUSH1 0x20 000002fd: ADD 000002fe: DUP4 000002ff: DUP2 00000300: MSTORE 00000301: PUSH1 0x20 00000303: ADD 00000304: DUP10 00000305: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000031a: AND 0000031b: DUP2 0000031c: MSTORE 0000031d: PUSH1 0x20 0000031f: ADD 00000320: DUP5 00000321: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000336: AND 00000337: DUP2 00000338: MSTORE 00000339: PUSH1 0x20 0000033b: ADD 0000033c: DUP8 0000033d: DUP2 0000033e: MSTORE 0000033f: POP 00000340: SWAP1 00000341: POP 00000342: PUSH0 00000343: PUSH15 0x04444c5dc75cb358380d2e3de08a90 00000353: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000368: AND 00000369: PUSH4 0x48c89491 0000036e: DUP4 0000036f: PUSH1 0x40 00000371: MLOAD 00000372: PUSH1 0x20 00000374: ADD 00000375: PUSH2 0x037e 00000378: SWAP2 00000379: SWAP1 0000037a: PUSH2 0x1704 0000037d: JUMP 0000037e: JUMPDEST 0000037f: PUSH1 0x40 00000381: MLOAD 00000382: PUSH1 0x20 00000384: DUP2 00000385: DUP4 00000386: SUB 00000387: SUB 00000388: DUP2 00000389: MSTORE 0000038a: SWAP1 0000038b: PUSH1 0x40 0000038d: MSTORE 0000038e: PUSH1 0x40 00000390: MLOAD 00000391: DUP3 00000392: PUSH4 0xffffffff 00000397: AND 00000398: PUSH1 0xe0 0000039a: SHL 0000039b: DUP2 0000039c: MSTORE 0000039d: PUSH1 0x04 0000039f: ADD 000003a0: PUSH2 0x03a9 000003a3: SWAP2 000003a4: SWAP1 000003a5: PUSH2 0x137a 000003a8: JUMP 000003a9: JUMPDEST 000003aa: PUSH0 000003ab: PUSH1 0x40 000003ad: MLOAD 000003ae: DUP1 000003af: DUP4 000003b0: SUB 000003b1: DUP2 000003b2: PUSH0 000003b3: DUP8 000003b4: GAS 000003b5: CALL 000003b6: ISZERO 000003b7: DUP1 000003b8: ISZERO 000003b9: PUSH2 0x03c4 000003bc: JUMPI 000003bd: RETURNDATASIZE 000003be: PUSH0 000003bf: PUSH0 000003c0: RETURNDATACOPY 000003c1: RETURNDATASIZE 000003c2: PUSH0 000003c3: REVERT 000003c4: JUMPDEST 000003c5: POP 000003c6: POP 000003c7: POP 000003c8: POP 000003c9: PUSH1 0x40 000003cb: MLOAD 000003cc: RETURNDATASIZE 000003cd: PUSH0 000003ce: DUP3 000003cf: RETURNDATACOPY 000003d0: RETURNDATASIZE 000003d1: PUSH1 0x1f 000003d3: NOT 000003d4: PUSH1 0x1f 000003d6: DUP3 000003d7: ADD 000003d8: AND 000003d9: DUP3 000003da: ADD 000003db: DUP1 000003dc: PUSH1 0x40 000003de: MSTORE 000003df: POP 000003e0: DUP2 000003e1: ADD 000003e2: SWAP1 000003e3: PUSH2 0x03ec 000003e6: SWAP2 000003e7: SWAP1 000003e8: PUSH2 0x17c0 000003eb: JUMP 000003ec: JUMPDEST 000003ed: SWAP1 000003ee: POP 000003ef: DUP1 000003f0: DUP1 000003f1: PUSH1 0x20 000003f3: ADD 000003f4: SWAP1 000003f5: MLOAD 000003f6: DUP2 000003f7: ADD 000003f8: SWAP1 000003f9: PUSH2 0x0402 000003fc: SWAP2 000003fd: SWAP1 000003fe: PUSH2 0x181b 00000401: JUMP 00000402: JUMPDEST 00000403: SWAP6 00000404: POP 00000405: DUP7 00000406: DUP7 00000407: LT 00000408: ISZERO 00000409: PUSH2 0x0447 0000040c: JUMPI 0000040d: PUSH1 0x40 0000040f: MLOAD 00000410: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000431: DUP2 00000432: MSTORE 00000433: PUSH1 0x04 00000435: ADD 00000436: PUSH2 0x043e 00000439: SWAP1 0000043a: PUSH2 0x18b6 0000043d: JUMP 0000043e: JUMPDEST 0000043f: PUSH1 0x40 00000441: MLOAD 00000442: DUP1 00000443: SWAP2 00000444: SUB 00000445: SWAP1 00000446: REVERT 00000447: JUMPDEST 00000448: POP 00000449: POP 0000044a: POP 0000044b: POP 0000044c: POP 0000044d: SWAP5 0000044e: SWAP4 0000044f: POP 00000450: POP 00000451: POP 00000452: POP 00000453: JUMP 00000454: JUMPDEST 00000455: PUSH0 00000456: PUSH0 00000457: CALLER 00000458: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000046d: AND 0000046e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000483: AND 00000484: DUP2 00000485: MSTORE 00000486: PUSH1 0x20 00000488: ADD 00000489: SWAP1 0000048a: DUP2 0000048b: MSTORE 0000048c: PUSH1 0x20 0000048e: ADD 0000048f: PUSH0 00000490: KECCAK256 00000491: PUSH0 00000492: SWAP1 00000493: SLOAD 00000494: SWAP1 00000495: PUSH2 0x0100 00000498: EXP 00000499: SWAP1 0000049a: DIV 0000049b: PUSH1 0xff 0000049d: AND 0000049e: PUSH2 0x04dc 000004a1: JUMPI 000004a2: PUSH1 0x40 000004a4: MLOAD 000004a5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000004c6: DUP2 000004c7: MSTORE 000004c8: PUSH1 0x04 000004ca: ADD 000004cb: PUSH2 0x04d3 000004ce: SWAP1 000004cf: PUSH2 0x1458 000004d2: JUMP 000004d3: JUMPDEST 000004d4: PUSH1 0x40 000004d6: MLOAD 000004d7: DUP1 000004d8: SWAP2 000004d9: SUB 000004da: SWAP1 000004db: REVERT 000004dc: JUMPDEST 000004dd: PUSH20 0xa8a7d1479661a2400b876561e20c632c50d825fe 000004f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000507: AND 00000508: PUSH2 0x08fc 0000050b: SELFBALANCE 0000050c: SWAP1 0000050d: DUP2 0000050e: ISZERO 0000050f: MUL 00000510: SWAP1 00000511: PUSH1 0x40 00000513: MLOAD 00000514: PUSH0 00000515: PUSH1 0x40 00000517: MLOAD 00000518: DUP1 00000519: DUP4 0000051a: SUB 0000051b: DUP2 0000051c: DUP6 0000051d: DUP9 0000051e: DUP9 0000051f: CALL 00000520: SWAP4 00000521: POP 00000522: POP 00000523: POP 00000524: POP 00000525: ISZERO 00000526: DUP1 00000527: ISZERO 00000528: PUSH2 0x0533 0000052b: JUMPI 0000052c: RETURNDATASIZE 0000052d: PUSH0 0000052e: PUSH0 0000052f: RETURNDATACOPY 00000530: RETURNDATASIZE 00000531: PUSH0 00000532: REVERT 00000533: JUMPDEST 00000534: POP 00000535: JUMP 00000536: JUMPDEST 00000537: PUSH0 00000538: PUSH0 00000539: CALLER 0000053a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000054f: AND 00000550: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000565: AND 00000566: DUP2 00000567: MSTORE 00000568: PUSH1 0x20 0000056a: ADD 0000056b: SWAP1 0000056c: DUP2 0000056d: MSTORE 0000056e: PUSH1 0x20 00000570: ADD 00000571: PUSH0 00000572: KECCAK256 00000573: PUSH0 00000574: SWAP1 00000575: SLOAD 00000576: SWAP1 00000577: PUSH2 0x0100 0000057a: EXP 0000057b: SWAP1 0000057c: DIV 0000057d: PUSH1 0xff 0000057f: AND 00000580: PUSH2 0x05be 00000583: JUMPI 00000584: PUSH1 0x40 00000586: MLOAD 00000587: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000005a8: DUP2 000005a9: MSTORE 000005aa: PUSH1 0x04 000005ac: ADD 000005ad: PUSH2 0x05b5 000005b0: SWAP1 000005b1: PUSH2 0x1458 000005b4: JUMP 000005b5: JUMPDEST 000005b6: PUSH1 0x40 000005b8: MLOAD 000005b9: DUP1 000005ba: SWAP2 000005bb: SUB 000005bc: SWAP1 000005bd: REVERT 000005be: JUMPDEST 000005bf: PUSH0 000005c0: PUSH0 000005c1: SWAP1 000005c2: POP 000005c3: JUMPDEST 000005c4: DUP2 000005c5: MLOAD 000005c6: DUP2 000005c7: PUSH1 0xff 000005c9: AND 000005ca: LT 000005cb: ISZERO 000005cc: PUSH2 0x0653 000005cf: JUMPI 000005d0: PUSH1 0x01 000005d2: PUSH0 000005d3: PUSH0 000005d4: DUP5 000005d5: DUP5 000005d6: PUSH1 0xff 000005d8: AND 000005d9: DUP2 000005da: MLOAD 000005db: DUP2 000005dc: LT 000005dd: PUSH2 0x05e9 000005e0: JUMPI 000005e1: PUSH2 0x05e8 000005e4: PUSH2 0x18d4 000005e7: JUMP 000005e8: JUMPDEST 000005e9: JUMPDEST 000005ea: PUSH1 0x20 000005ec: MUL 000005ed: PUSH1 0x20 000005ef: ADD 000005f0: ADD 000005f1: MLOAD 000005f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000607: AND 00000608: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000061d: AND 0000061e: DUP2 0000061f: MSTORE 00000620: PUSH1 0x20 00000622: ADD 00000623: SWAP1 00000624: DUP2 00000625: MSTORE 00000626: PUSH1 0x20 00000628: ADD 00000629: PUSH0 0000062a: KECCAK256 0000062b: PUSH0 0000062c: PUSH2 0x0100 0000062f: EXP 00000630: DUP2 00000631: SLOAD 00000632: DUP2 00000633: PUSH1 0xff 00000635: MUL 00000636: NOT 00000637: AND 00000638: SWAP1 00000639: DUP4 0000063a: ISZERO 0000063b: ISZERO 0000063c: MUL 0000063d: OR 0000063e: SWAP1 0000063f: SSTORE 00000640: POP 00000641: DUP1 00000642: DUP1 00000643: PUSH2 0x064b 00000646: SWAP1 00000647: PUSH2 0x190d 0000064a: JUMP 0000064b: JUMPDEST 0000064c: SWAP2 0000064d: POP 0000064e: POP 0000064f: PUSH2 0x05c3 00000652: JUMP 00000653: JUMPDEST 00000654: POP 00000655: POP 00000656: JUMP 00000657: JUMPDEST 00000658: PUSH1 0x60 0000065a: PUSH15 0x04444c5dc75cb358380d2e3de08a90 0000066a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000067f: AND 00000680: CALLER 00000681: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000696: AND 00000697: EQ 00000698: PUSH2 0x06d6 0000069b: JUMPI 0000069c: PUSH1 0x40 0000069e: MLOAD 0000069f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000006c0: DUP2 000006c1: MSTORE 000006c2: PUSH1 0x04 000006c4: ADD 000006c5: PUSH2 0x06cd 000006c8: SWAP1 000006c9: PUSH2 0x19a5 000006cc: JUMP 000006cd: JUMPDEST 000006ce: PUSH1 0x40 000006d0: MLOAD 000006d1: DUP1 000006d2: SWAP2 000006d3: SUB 000006d4: SWAP1 000006d5: REVERT 000006d6: JUMPDEST 000006d7: PUSH0 000006d8: DUP4 000006d9: DUP4 000006da: DUP2 000006db: ADD 000006dc: SWAP1 000006dd: PUSH2 0x06e6 000006e0: SWAP2 000006e1: SWAP1 000006e2: PUSH2 0x1b43 000006e5: JUMP 000006e6: JUMPDEST 000006e7: SWAP1 000006e8: POP 000006e9: PUSH0 000006ea: PUSH15 0x04444c5dc75cb358380d2e3de08a90 000006fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000070f: AND 00000710: PUSH4 0xf3cd914c 00000715: DUP4 00000716: PUSH1 0x20 00000718: ADD 00000719: MLOAD 0000071a: DUP5 0000071b: PUSH1 0x40 0000071d: ADD 0000071e: MLOAD 0000071f: PUSH1 0x40 00000721: MLOAD 00000722: DUP1 00000723: PUSH1 0x20 00000725: ADD 00000726: PUSH1 0x40 00000728: MSTORE 00000729: DUP1 0000072a: PUSH0 0000072b: DUP2 0000072c: MSTORE 0000072d: POP 0000072e: PUSH1 0x40 00000730: MLOAD 00000731: DUP5 00000732: PUSH4 0xffffffff 00000737: AND 00000738: PUSH1 0xe0 0000073a: SHL 0000073b: DUP2 0000073c: MSTORE 0000073d: PUSH1 0x04 0000073f: ADD 00000740: PUSH2 0x074b 00000743: SWAP4 00000744: SWAP3 00000745: SWAP2 00000746: SWAP1 00000747: PUSH2 0x1c15 0000074a: JUMP 0000074b: JUMPDEST 0000074c: PUSH1 0x20 0000074e: PUSH1 0x40 00000750: MLOAD 00000751: DUP1 00000752: DUP4 00000753: SUB 00000754: DUP2 00000755: PUSH0 00000756: DUP8 00000757: GAS 00000758: CALL 00000759: ISZERO 0000075a: DUP1 0000075b: ISZERO 0000075c: PUSH2 0x0767 0000075f: JUMPI 00000760: RETURNDATASIZE 00000761: PUSH0 00000762: PUSH0 00000763: RETURNDATACOPY 00000764: RETURNDATASIZE 00000765: PUSH0 00000766: REVERT 00000767: JUMPDEST 00000768: POP 00000769: POP 0000076a: POP 0000076b: POP 0000076c: PUSH1 0x40 0000076e: MLOAD 0000076f: RETURNDATASIZE 00000770: PUSH1 0x1f 00000772: NOT 00000773: PUSH1 0x1f 00000775: DUP3 00000776: ADD 00000777: AND 00000778: DUP3 00000779: ADD 0000077a: DUP1 0000077b: PUSH1 0x40 0000077d: MSTORE 0000077e: POP 0000077f: DUP2 00000780: ADD 00000781: SWAP1 00000782: PUSH2 0x078b 00000785: SWAP2 00000786: SWAP1 00000787: PUSH2 0x1c7d 0000078a: JUMP 0000078b: JUMPDEST 0000078c: SWAP1 0000078d: POP 0000078e: PUSH0 0000078f: DUP3 00000790: PUSH1 0x40 00000792: ADD 00000793: MLOAD 00000794: PUSH0 00000795: ADD 00000796: MLOAD 00000797: ISZERO 00000798: PUSH2 0x0822 0000079b: JUMPI 0000079c: PUSH0 0000079d: PUSH2 0x07a5 000007a0: DUP4 000007a1: PUSH2 0x0ae0 000007a4: JUMP 000007a5: JUMPDEST 000007a6: PUSH1 0x0f 000007a8: SIGNEXTEND 000007a9: SLT 000007aa: ISZERO 000007ab: PUSH2 0x07d4 000007ae: JUMPI 000007af: PUSH2 0x07d3 000007b2: DUP4 000007b3: PUSH1 0x20 000007b5: ADD 000007b6: MLOAD 000007b7: PUSH0 000007b8: ADD 000007b9: MLOAD 000007ba: PUSH2 0x07c2 000007bd: DUP5 000007be: PUSH2 0x0ae0 000007c1: JUMP 000007c2: JUMPDEST 000007c3: PUSH2 0x07cb 000007c6: SWAP1 000007c7: PUSH2 0x1cb4 000007ca: JUMP 000007cb: JUMPDEST 000007cc: PUSH1 0x0f 000007ce: SIGNEXTEND 000007cf: PUSH2 0x0aec 000007d2: JUMP 000007d3: JUMPDEST 000007d4: JUMPDEST 000007d5: PUSH0 000007d6: PUSH2 0x07de 000007d9: DUP4 000007da: PUSH2 0x0cbb 000007dd: JUMP 000007de: JUMPDEST 000007df: PUSH1 0x0f 000007e1: SIGNEXTEND 000007e2: SGT 000007e3: ISZERO 000007e4: PUSH2 0x081d 000007e7: JUMPI 000007e8: PUSH2 0x07f0 000007eb: DUP3 000007ec: PUSH2 0x0cbb 000007ef: JUMP 000007f0: JUMPDEST 000007f1: PUSH1 0x0f 000007f3: SIGNEXTEND 000007f4: SWAP1 000007f5: POP 000007f6: PUSH2 0x081c 000007f9: DUP4 000007fa: PUSH1 0x20 000007fc: ADD 000007fd: MLOAD 000007fe: PUSH1 0x20 00000800: ADD 00000801: MLOAD 00000802: PUSH20 0xa8a7d1479661a2400b876561e20c632c50d825fe 00000817: DUP4 00000818: PUSH2 0x0cc7 0000081b: JUMP 0000081c: JUMPDEST 0000081d: JUMPDEST 0000081e: PUSH2 0x08a5 00000821: JUMP 00000822: JUMPDEST 00000823: PUSH0 00000824: PUSH2 0x082c 00000827: DUP4 00000828: PUSH2 0x0cbb 0000082b: JUMP 0000082c: JUMPDEST 0000082d: PUSH1 0x0f 0000082f: SIGNEXTEND 00000830: SLT 00000831: ISZERO 00000832: PUSH2 0x085c 00000835: JUMPI 00000836: PUSH2 0x085b 00000839: DUP4 0000083a: PUSH1 0x20 0000083c: ADD 0000083d: MLOAD 0000083e: PUSH1 0x20 00000840: ADD 00000841: MLOAD 00000842: PUSH2 0x084a 00000845: DUP5 00000846: PUSH2 0x0cbb 00000849: JUMP 0000084a: JUMPDEST 0000084b: PUSH2 0x0853 0000084e: SWAP1 0000084f: PUSH2 0x1cb4 00000852: JUMP 00000853: JUMPDEST 00000854: PUSH1 0x0f 00000856: SIGNEXTEND 00000857: PUSH2 0x0aec 0000085a: JUMP 0000085b: JUMPDEST 0000085c: JUMPDEST 0000085d: PUSH0 0000085e: PUSH2 0x0866 00000861: DUP4 00000862: PUSH2 0x0ae0 00000865: JUMP 00000866: JUMPDEST 00000867: PUSH1 0x0f 00000869: SIGNEXTEND 0000086a: SGT 0000086b: ISZERO 0000086c: PUSH2 0x08a4 0000086f: JUMPI 00000870: PUSH2 0x0878 00000873: DUP3 00000874: PUSH2 0x0ae0 00000877: JUMP 00000878: JUMPDEST 00000879: PUSH1 0x0f 0000087b: SIGNEXTEND 0000087c: SWAP1 0000087d: POP 0000087e: PUSH2 0x08a3 00000881: DUP4 00000882: PUSH1 0x20 00000884: ADD 00000885: MLOAD 00000886: PUSH0 00000887: ADD 00000888: MLOAD 00000889: PUSH20 0xa8a7d1479661a2400b876561e20c632c50d825fe 0000089e: DUP4 0000089f: PUSH2 0x0cc7 000008a2: JUMP 000008a3: JUMPDEST 000008a4: JUMPDEST 000008a5: JUMPDEST 000008a6: DUP1 000008a7: PUSH1 0x40 000008a9: MLOAD 000008aa: PUSH1 0x20 000008ac: ADD 000008ad: PUSH2 0x08b6 000008b0: SWAP2 000008b1: SWAP1 000008b2: PUSH2 0x114e 000008b5: JUMP 000008b6: JUMPDEST 000008b7: PUSH1 0x40 000008b9: MLOAD 000008ba: PUSH1 0x20 000008bc: DUP2 000008bd: DUP4 000008be: SUB 000008bf: SUB 000008c0: DUP2 000008c1: MSTORE 000008c2: SWAP1 000008c3: PUSH1 0x40 000008c5: MSTORE 000008c6: SWAP4 000008c7: POP 000008c8: POP 000008c9: POP 000008ca: POP 000008cb: SWAP3 000008cc: SWAP2 000008cd: POP 000008ce: POP 000008cf: JUMP 000008d0: JUMPDEST 000008d1: PUSH0 000008d2: PUSH0 000008d3: CALLER 000008d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e9: AND 000008ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ff: AND 00000900: DUP2 00000901: MSTORE 00000902: PUSH1 0x20 00000904: ADD 00000905: SWAP1 00000906: DUP2 00000907: MSTORE 00000908: PUSH1 0x20 0000090a: ADD 0000090b: PUSH0 0000090c: KECCAK256 0000090d: PUSH0 0000090e: SWAP1 0000090f: SLOAD 00000910: SWAP1 00000911: PUSH2 0x0100 00000914: EXP 00000915: SWAP1 00000916: DIV 00000917: PUSH1 0xff 00000919: AND 0000091a: PUSH2 0x0958 0000091d: JUMPI 0000091e: PUSH1 0x40 00000920: MLOAD 00000921: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000942: DUP2 00000943: MSTORE 00000944: PUSH1 0x04 00000946: ADD 00000947: PUSH2 0x094f 0000094a: SWAP1 0000094b: PUSH2 0x1458 0000094e: JUMP 0000094f: JUMPDEST 00000950: PUSH1 0x40 00000952: MLOAD 00000953: DUP1 00000954: SWAP2 00000955: SUB 00000956: SWAP1 00000957: REVERT 00000958: JUMPDEST 00000959: PUSH2 0x0963 0000095c: DUP3 0000095d: CALLER 0000095e: DUP4 0000095f: PUSH2 0x0d45 00000962: JUMP 00000963: JUMPDEST 00000964: POP 00000965: POP 00000966: JUMP 00000967: JUMPDEST 00000968: PUSH0 00000969: PUSH0 0000096a: CALLER 0000096b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000980: AND 00000981: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000996: AND 00000997: DUP2 00000998: MSTORE 00000999: PUSH1 0x20 0000099b: ADD 0000099c: SWAP1 0000099d: DUP2 0000099e: MSTORE 0000099f: PUSH1 0x20 000009a1: ADD 000009a2: PUSH0 000009a3: KECCAK256 000009a4: PUSH0 000009a5: SWAP1 000009a6: SLOAD 000009a7: SWAP1 000009a8: PUSH2 0x0100 000009ab: EXP 000009ac: SWAP1 000009ad: DIV 000009ae: PUSH1 0xff 000009b0: AND 000009b1: PUSH2 0x09ef 000009b4: JUMPI 000009b5: PUSH1 0x40 000009b7: MLOAD 000009b8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009d9: DUP2 000009da: MSTORE 000009db: PUSH1 0x04 000009dd: ADD 000009de: PUSH2 0x09e6 000009e1: SWAP1 000009e2: PUSH2 0x1458 000009e5: JUMP 000009e6: JUMPDEST 000009e7: PUSH1 0x40 000009e9: MLOAD 000009ea: DUP1 000009eb: SWAP2 000009ec: SUB 000009ed: SWAP1 000009ee: REVERT 000009ef: JUMPDEST 000009f0: PUSH2 0x0a0e 000009f3: DUP3 000009f4: PUSH20 0xa8a7d1479661a2400b876561e20c632c50d825fe 00000a09: DUP4 00000a0a: PUSH2 0x0d45 00000a0d: JUMP 00000a0e: JUMPDEST 00000a0f: POP 00000a10: POP 00000a11: JUMP 00000a12: JUMPDEST 00000a13: PUSH0 00000a14: PUSH0 00000a15: CALLER 00000a16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a2b: AND 00000a2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a41: AND 00000a42: DUP2 00000a43: MSTORE 00000a44: PUSH1 0x20 00000a46: ADD 00000a47: SWAP1 00000a48: DUP2 00000a49: MSTORE 00000a4a: PUSH1 0x20 00000a4c: ADD 00000a4d: PUSH0 00000a4e: KECCAK256 00000a4f: PUSH0 00000a50: SWAP1 00000a51: SLOAD 00000a52: SWAP1 00000a53: PUSH2 0x0100 00000a56: EXP 00000a57: SWAP1 00000a58: DIV 00000a59: PUSH1 0xff 00000a5b: AND 00000a5c: PUSH2 0x0a9a 00000a5f: JUMPI 00000a60: PUSH1 0x40 00000a62: MLOAD 00000a63: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a84: DUP2 00000a85: MSTORE 00000a86: PUSH1 0x04 00000a88: ADD 00000a89: PUSH2 0x0a91 00000a8c: SWAP1 00000a8d: PUSH2 0x1458 00000a90: JUMP 00000a91: JUMPDEST 00000a92: PUSH1 0x40 00000a94: MLOAD 00000a95: DUP1 00000a96: SWAP2 00000a97: SUB 00000a98: SWAP1 00000a99: REVERT 00000a9a: JUMPDEST 00000a9b: CALLER 00000a9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab1: AND 00000ab2: PUSH2 0x08fc 00000ab5: SELFBALANCE 00000ab6: SWAP1 00000ab7: DUP2 00000ab8: ISZERO 00000ab9: MUL 00000aba: SWAP1 00000abb: PUSH1 0x40 00000abd: MLOAD 00000abe: PUSH0 00000abf: PUSH1 0x40 00000ac1: MLOAD 00000ac2: DUP1 00000ac3: DUP4 00000ac4: SUB 00000ac5: DUP2 00000ac6: DUP6 00000ac7: DUP9 00000ac8: DUP9 00000ac9: CALL 00000aca: SWAP4 00000acb: POP 00000acc: POP 00000acd: POP 00000ace: POP 00000acf: ISZERO 00000ad0: DUP1 00000ad1: ISZERO 00000ad2: PUSH2 0x0add 00000ad5: JUMPI 00000ad6: RETURNDATASIZE 00000ad7: PUSH0 00000ad8: PUSH0 00000ad9: RETURNDATACOPY 00000ada: RETURNDATASIZE 00000adb: PUSH0 00000adc: REVERT 00000add: JUMPDEST 00000ade: POP 00000adf: JUMP 00000ae0: JUMPDEST 00000ae1: PUSH0 00000ae2: DUP2 00000ae3: PUSH1 0x80 00000ae5: SAR 00000ae6: SWAP1 00000ae7: POP 00000ae8: SWAP2 00000ae9: SWAP1 00000aea: POP 00000aeb: JUMP 00000aec: JUMPDEST 00000aed: PUSH0 00000aee: DUP3 00000aef: SWAP1 00000af0: POP 00000af1: PUSH15 0x04444c5dc75cb358380d2e3de08a90 00000b01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b16: AND 00000b17: PUSH4 0xa5841194 00000b1c: DUP5 00000b1d: PUSH1 0x40 00000b1f: MLOAD 00000b20: DUP3 00000b21: PUSH4 0xffffffff 00000b26: AND 00000b27: PUSH1 0xe0 00000b29: SHL 00000b2a: DUP2 00000b2b: MSTORE 00000b2c: PUSH1 0x04 00000b2e: ADD 00000b2f: PUSH2 0x0b38 00000b32: SWAP2 00000b33: SWAP1 00000b34: PUSH2 0x1d09 00000b37: JUMP 00000b38: JUMPDEST 00000b39: PUSH0 00000b3a: PUSH1 0x40 00000b3c: MLOAD 00000b3d: DUP1 00000b3e: DUP4 00000b3f: SUB 00000b40: DUP2 00000b41: PUSH0 00000b42: DUP8 00000b43: DUP1 00000b44: EXTCODESIZE 00000b45: ISZERO 00000b46: DUP1 00000b47: ISZERO 00000b48: PUSH2 0x0b4f 00000b4b: JUMPI 00000b4c: PUSH0 00000b4d: PUSH0 00000b4e: REVERT 00000b4f: JUMPDEST 00000b50: POP 00000b51: GAS 00000b52: CALL 00000b53: ISZERO 00000b54: DUP1 00000b55: ISZERO 00000b56: PUSH2 0x0b61 00000b59: JUMPI 00000b5a: RETURNDATASIZE 00000b5b: PUSH0 00000b5c: PUSH0 00000b5d: RETURNDATACOPY 00000b5e: RETURNDATASIZE 00000b5f: PUSH0 00000b60: REVERT 00000b61: JUMPDEST 00000b62: POP 00000b63: POP 00000b64: POP 00000b65: POP 00000b66: PUSH0 00000b67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b7c: AND 00000b7d: DUP2 00000b7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b93: AND 00000b94: SUB 00000b95: PUSH2 0x0c1d 00000b98: JUMPI 00000b99: PUSH15 0x04444c5dc75cb358380d2e3de08a90 00000ba9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bbe: AND 00000bbf: PUSH4 0x11da60b4 00000bc4: DUP4 00000bc5: PUSH1 0x40 00000bc7: MLOAD 00000bc8: DUP3 00000bc9: PUSH4 0xffffffff 00000bce: AND 00000bcf: PUSH1 0xe0 00000bd1: SHL 00000bd2: DUP2 00000bd3: MSTORE 00000bd4: PUSH1 0x04 00000bd6: ADD 00000bd7: PUSH1 0x20 00000bd9: PUSH1 0x40 00000bdb: MLOAD 00000bdc: DUP1 00000bdd: DUP4 00000bde: SUB 00000bdf: DUP2 00000be0: DUP6 00000be1: DUP9 00000be2: GAS 00000be3: CALL 00000be4: ISZERO 00000be5: DUP1 00000be6: ISZERO 00000be7: PUSH2 0x0bf2 00000bea: JUMPI 00000beb: RETURNDATASIZE 00000bec: PUSH0 00000bed: PUSH0 00000bee: RETURNDATACOPY 00000bef: RETURNDATASIZE 00000bf0: PUSH0 00000bf1: REVERT 00000bf2: JUMPDEST 00000bf3: POP 00000bf4: POP 00000bf5: POP 00000bf6: POP 00000bf7: POP 00000bf8: PUSH1 0x40 00000bfa: MLOAD 00000bfb: RETURNDATASIZE 00000bfc: PUSH1 0x1f 00000bfe: NOT 00000bff: PUSH1 0x1f 00000c01: DUP3 00000c02: ADD 00000c03: AND 00000c04: DUP3 00000c05: ADD 00000c06: DUP1 00000c07: PUSH1 0x40 00000c09: MSTORE 00000c0a: POP 00000c0b: DUP2 00000c0c: ADD 00000c0d: SWAP1 00000c0e: PUSH2 0x0c17 00000c11: SWAP2 00000c12: SWAP1 00000c13: PUSH2 0x181b 00000c16: JUMP 00000c17: JUMPDEST 00000c18: POP 00000c19: PUSH2 0x0cb6 00000c1c: JUMP 00000c1d: JUMPDEST 00000c1e: PUSH2 0x0c37 00000c21: DUP2 00000c22: PUSH15 0x04444c5dc75cb358380d2e3de08a90 00000c32: DUP5 00000c33: PUSH2 0x0d45 00000c36: JUMP 00000c37: JUMPDEST 00000c38: PUSH15 0x04444c5dc75cb358380d2e3de08a90 00000c48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c5d: AND 00000c5e: PUSH4 0x11da60b4 00000c63: PUSH1 0x40 00000c65: MLOAD 00000c66: DUP2 00000c67: PUSH4 0xffffffff 00000c6c: AND 00000c6d: PUSH1 0xe0 00000c6f: SHL 00000c70: DUP2 00000c71: MSTORE 00000c72: PUSH1 0x04 00000c74: ADD 00000c75: PUSH1 0x20 00000c77: PUSH1 0x40 00000c79: MLOAD 00000c7a: DUP1 00000c7b: DUP4 00000c7c: SUB 00000c7d: DUP2 00000c7e: PUSH0 00000c7f: DUP8 00000c80: GAS 00000c81: CALL 00000c82: ISZERO 00000c83: DUP1 00000c84: ISZERO 00000c85: PUSH2 0x0c90 00000c88: JUMPI 00000c89: RETURNDATASIZE 00000c8a: PUSH0 00000c8b: PUSH0 00000c8c: RETURNDATACOPY 00000c8d: RETURNDATASIZE 00000c8e: PUSH0 00000c8f: REVERT 00000c90: JUMPDEST 00000c91: POP 00000c92: POP 00000c93: POP 00000c94: POP 00000c95: PUSH1 0x40 00000c97: MLOAD 00000c98: RETURNDATASIZE 00000c99: PUSH1 0x1f 00000c9b: NOT 00000c9c: PUSH1 0x1f 00000c9e: DUP3 00000c9f: ADD 00000ca0: AND 00000ca1: DUP3 00000ca2: ADD 00000ca3: DUP1 00000ca4: PUSH1 0x40 00000ca6: MSTORE 00000ca7: POP 00000ca8: DUP2 00000ca9: ADD 00000caa: SWAP1 00000cab: PUSH2 0x0cb4 00000cae: SWAP2 00000caf: SWAP1 00000cb0: PUSH2 0x181b 00000cb3: JUMP 00000cb4: JUMPDEST 00000cb5: POP 00000cb6: JUMPDEST 00000cb7: POP 00000cb8: POP 00000cb9: POP 00000cba: JUMP 00000cbb: JUMPDEST 00000cbc: PUSH0 00000cbd: DUP2 00000cbe: PUSH1 0x0f 00000cc0: SIGNEXTEND 00000cc1: SWAP1 00000cc2: POP 00000cc3: SWAP2 00000cc4: SWAP1 00000cc5: POP 00000cc6: JUMP 00000cc7: JUMPDEST 00000cc8: PUSH15 0x04444c5dc75cb358380d2e3de08a90 00000cd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ced: AND 00000cee: PUSH4 0x0b0d9c09 00000cf3: DUP5 00000cf4: DUP5 00000cf5: DUP5 00000cf6: PUSH1 0x40 00000cf8: MLOAD 00000cf9: DUP5 00000cfa: PUSH4 0xffffffff 00000cff: AND 00000d00: PUSH1 0xe0 00000d02: SHL 00000d03: DUP2 00000d04: MSTORE 00000d05: PUSH1 0x04 00000d07: ADD 00000d08: PUSH2 0x0d13 00000d0b: SWAP4 00000d0c: SWAP3 00000d0d: SWAP2 00000d0e: SWAP1 00000d0f: PUSH2 0x1d31 00000d12: JUMP 00000d13: JUMPDEST 00000d14: PUSH0 00000d15: PUSH1 0x40 00000d17: MLOAD 00000d18: DUP1 00000d19: DUP4 00000d1a: SUB 00000d1b: DUP2 00000d1c: PUSH0 00000d1d: DUP8 00000d1e: DUP1 00000d1f: EXTCODESIZE 00000d20: ISZERO 00000d21: DUP1 00000d22: ISZERO 00000d23: PUSH2 0x0d2a 00000d26: JUMPI 00000d27: PUSH0 00000d28: PUSH0 00000d29: REVERT 00000d2a: JUMPDEST 00000d2b: POP 00000d2c: GAS 00000d2d: CALL 00000d2e: ISZERO 00000d2f: DUP1 00000d30: ISZERO 00000d31: PUSH2 0x0d3c 00000d34: JUMPI 00000d35: RETURNDATASIZE 00000d36: PUSH0 00000d37: PUSH0 00000d38: RETURNDATACOPY 00000d39: RETURNDATASIZE 00000d3a: PUSH0 00000d3b: REVERT 00000d3c: JUMPDEST 00000d3d: POP 00000d3e: POP 00000d3f: POP 00000d40: POP 00000d41: POP 00000d42: POP 00000d43: POP 00000d44: JUMP 00000d45: JUMPDEST 00000d46: PUSH0 00000d47: DUP4 00000d48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d5d: AND 00000d5e: PUSH4 0xa9059cbb 00000d63: DUP5 00000d64: DUP5 00000d65: PUSH1 0x40 00000d67: MLOAD 00000d68: PUSH1 0x24 00000d6a: ADD 00000d6b: PUSH2 0x0d75 00000d6e: SWAP3 00000d6f: SWAP2 00000d70: SWAP1 00000d71: PUSH2 0x1d66 00000d74: JUMP 00000d75: JUMPDEST 00000d76: PUSH1 0x40 00000d78: MLOAD 00000d79: PUSH1 0x20 00000d7b: DUP2 00000d7c: DUP4 00000d7d: SUB 00000d7e: SUB 00000d7f: DUP2 00000d80: MSTORE 00000d81: SWAP1 00000d82: PUSH1 0x40 00000d84: MSTORE 00000d85: SWAP2 00000d86: POP 00000d87: PUSH1 0xe0 00000d89: SHL 00000d8a: PUSH1 0x20 00000d8c: DUP3 00000d8d: ADD 00000d8e: DUP1 00000d8f: MLOAD 00000d90: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000dad: DUP4 00000dae: DUP2 00000daf: DUP4 00000db0: AND 00000db1: OR 00000db2: DUP4 00000db3: MSTORE 00000db4: POP 00000db5: POP 00000db6: POP 00000db7: POP 00000db8: SWAP1 00000db9: POP 00000dba: PUSH0 00000dbb: PUSH0 00000dbc: PUSH1 0x20 00000dbe: PUSH0 00000dbf: DUP5 00000dc0: MLOAD 00000dc1: PUSH1 0x20 00000dc3: DUP7 00000dc4: ADD 00000dc5: PUSH0 00000dc6: DUP11 00000dc7: GAS 00000dc8: CALL 00000dc9: DUP1 00000dca: PUSH2 0x0dd8 00000dcd: JUMPI 00000dce: PUSH1 0x40 00000dd0: MLOAD 00000dd1: RETURNDATASIZE 00000dd2: PUSH0 00000dd3: DUP3 00000dd4: RETURNDATACOPY 00000dd5: RETURNDATASIZE 00000dd6: DUP2 00000dd7: REVERT 00000dd8: JUMPDEST 00000dd9: RETURNDATASIZE 00000dda: SWAP3 00000ddb: POP 00000ddc: PUSH0 00000ddd: MLOAD 00000dde: SWAP2 00000ddf: POP 00000de0: POP 00000de1: PUSH0 00000de2: DUP3 00000de3: EQ 00000de4: PUSH2 0x0df1 00000de7: JUMPI 00000de8: PUSH1 0x01 00000dea: DUP2 00000deb: EQ 00000dec: ISZERO 00000ded: PUSH2 0x0e0c 00000df0: JUMP 00000df1: JUMPDEST 00000df2: PUSH0 00000df3: DUP7 00000df4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e09: AND 00000e0a: EXTCODESIZE 00000e0b: EQ 00000e0c: JUMPDEST 00000e0d: ISZERO 00000e0e: PUSH2 0x0e4c 00000e11: JUMPI 00000e12: PUSH1 0x40 00000e14: MLOAD 00000e15: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e36: DUP2 00000e37: MSTORE 00000e38: PUSH1 0x04 00000e3a: ADD 00000e3b: PUSH2 0x0e43 00000e3e: SWAP1 00000e3f: PUSH2 0x1dfd 00000e42: JUMP 00000e43: JUMPDEST 00000e44: PUSH1 0x40 00000e46: MLOAD 00000e47: DUP1 00000e48: SWAP2 00000e49: SUB 00000e4a: SWAP1 00000e4b: REVERT 00000e4c: JUMPDEST 00000e4d: POP 00000e4e: POP 00000e4f: POP 00000e50: POP 00000e51: POP 00000e52: POP 00000e53: JUMP 00000e54: JUMPDEST 00000e55: PUSH0 00000e56: PUSH1 0x40 00000e58: MLOAD 00000e59: SWAP1 00000e5a: POP 00000e5b: SWAP1 00000e5c: JUMP 00000e5d: JUMPDEST 00000e5e: PUSH0 00000e5f: PUSH0 00000e60: REVERT 00000e61: JUMPDEST 00000e62: PUSH0 00000e63: PUSH0 00000e64: REVERT 00000e65: JUMPDEST 00000e66: PUSH0 00000e67: PUSH0 00000e68: REVERT 00000e69: JUMPDEST 00000e6a: PUSH0 00000e6b: PUSH1 0x1f 00000e6d: NOT 00000e6e: PUSH1 0x1f 00000e70: DUP4 00000e71: ADD 00000e72: AND 00000e73: SWAP1 00000e74: POP 00000e75: SWAP2 00000e76: SWAP1 00000e77: POP 00000e78: JUMP 00000e79: JUMPDEST 00000e7a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000e9b: PUSH0 00000e9c: MSTORE 00000e9d: PUSH1 0x41 00000e9f: PUSH1 0x04 00000ea1: MSTORE 00000ea2: PUSH1 0x24 00000ea4: PUSH0 00000ea5: REVERT 00000ea6: JUMPDEST 00000ea7: PUSH2 0x0eaf 00000eaa: DUP3 00000eab: PUSH2 0x0e69 00000eae: JUMP 00000eaf: JUMPDEST 00000eb0: DUP2 00000eb1: ADD 00000eb2: DUP2 00000eb3: DUP2 00000eb4: LT 00000eb5: PUSH8 0xffffffffffffffff 00000ebe: DUP3 00000ebf: GT 00000ec0: OR 00000ec1: ISZERO 00000ec2: PUSH2 0x0ece 00000ec5: JUMPI 00000ec6: PUSH2 0x0ecd 00000ec9: PUSH2 0x0e79 00000ecc: JUMP 00000ecd: JUMPDEST 00000ece: JUMPDEST 00000ecf: DUP1 00000ed0: PUSH1 0x40 00000ed2: MSTORE 00000ed3: POP 00000ed4: POP 00000ed5: POP 00000ed6: JUMP 00000ed7: JUMPDEST 00000ed8: PUSH0 00000ed9: PUSH2 0x0ee0 00000edc: PUSH2 0x0e54 00000edf: JUMP 00000ee0: JUMPDEST 00000ee1: SWAP1 00000ee2: POP 00000ee3: PUSH2 0x0eec 00000ee6: DUP3 00000ee7: DUP3 00000ee8: PUSH2 0x0ea6 00000eeb: JUMP 00000eec: JUMPDEST 00000eed: SWAP2 00000eee: SWAP1 00000eef: POP 00000ef0: JUMP 00000ef1: JUMPDEST 00000ef2: PUSH0 00000ef3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f08: DUP3 00000f09: AND 00000f0a: SWAP1 00000f0b: POP 00000f0c: SWAP2 00000f0d: SWAP1 00000f0e: POP 00000f0f: JUMP 00000f10: JUMPDEST 00000f11: PUSH0 00000f12: PUSH2 0x0f1a 00000f15: DUP3 00000f16: PUSH2 0x0ef1 00000f19: JUMP 00000f1a: JUMPDEST 00000f1b: SWAP1 00000f1c: POP 00000f1d: SWAP2 00000f1e: SWAP1 00000f1f: POP 00000f20: JUMP 00000f21: JUMPDEST 00000f22: PUSH2 0x0f2a 00000f25: DUP2 00000f26: PUSH2 0x0f10 00000f29: JUMP 00000f2a: JUMPDEST 00000f2b: DUP2 00000f2c: EQ 00000f2d: PUSH2 0x0f34 00000f30: JUMPI 00000f31: PUSH0 00000f32: PUSH0 00000f33: REVERT 00000f34: JUMPDEST 00000f35: POP 00000f36: JUMP 00000f37: JUMPDEST 00000f38: PUSH0 00000f39: DUP2 00000f3a: CALLDATALOAD 00000f3b: SWAP1 00000f3c: POP 00000f3d: PUSH2 0x0f45 00000f40: DUP2 00000f41: PUSH2 0x0f21 00000f44: JUMP 00000f45: JUMPDEST 00000f46: SWAP3 00000f47: SWAP2 00000f48: POP 00000f49: POP 00000f4a: JUMP 00000f4b: JUMPDEST 00000f4c: PUSH0 00000f4d: PUSH3 0xffffff 00000f51: DUP3 00000f52: AND 00000f53: SWAP1 00000f54: POP 00000f55: SWAP2 00000f56: SWAP1 00000f57: POP 00000f58: JUMP 00000f59: JUMPDEST 00000f5a: PUSH2 0x0f62 00000f5d: DUP2 00000f5e: PUSH2 0x0f4b 00000f61: JUMP 00000f62: JUMPDEST 00000f63: DUP2 00000f64: EQ 00000f65: PUSH2 0x0f6c 00000f68: JUMPI 00000f69: PUSH0 00000f6a: PUSH0 00000f6b: REVERT 00000f6c: JUMPDEST 00000f6d: POP 00000f6e: JUMP 00000f6f: JUMPDEST 00000f70: PUSH0 00000f71: DUP2 00000f72: CALLDATALOAD 00000f73: SWAP1 00000f74: POP 00000f75: PUSH2 0x0f7d 00000f78: DUP2 00000f79: PUSH2 0x0f59 00000f7c: JUMP 00000f7d: JUMPDEST 00000f7e: SWAP3 00000f7f: SWAP2 00000f80: POP 00000f81: POP 00000f82: JUMP 00000f83: JUMPDEST 00000f84: PUSH0 00000f85: DUP2 00000f86: PUSH1 0x02 00000f88: SIGNEXTEND 00000f89: SWAP1 00000f8a: POP 00000f8b: SWAP2 00000f8c: SWAP1 00000f8d: POP 00000f8e: JUMP 00000f8f: JUMPDEST 00000f90: PUSH2 0x0f98 00000f93: DUP2 00000f94: PUSH2 0x0f83 00000f97: JUMP 00000f98: JUMPDEST 00000f99: DUP2 00000f9a: EQ 00000f9b: PUSH2 0x0fa2 00000f9e: JUMPI 00000f9f: PUSH0 00000fa0: PUSH0 00000fa1: REVERT 00000fa2: JUMPDEST 00000fa3: POP 00000fa4: JUMP 00000fa5: JUMPDEST 00000fa6: PUSH0 00000fa7: DUP2 00000fa8: CALLDATALOAD 00000fa9: SWAP1 00000faa: POP 00000fab: PUSH2 0x0fb3 00000fae: DUP2 00000faf: PUSH2 0x0f8f 00000fb2: JUMP 00000fb3: JUMPDEST 00000fb4: SWAP3 00000fb5: SWAP2 00000fb6: POP 00000fb7: POP 00000fb8: JUMP 00000fb9: JUMPDEST 00000fba: PUSH0 00000fbb: PUSH2 0x0fc3 00000fbe: DUP3 00000fbf: PUSH2 0x0f10 00000fc2: JUMP 00000fc3: JUMPDEST 00000fc4: SWAP1 00000fc5: POP 00000fc6: SWAP2 00000fc7: SWAP1 00000fc8: POP 00000fc9: JUMP 00000fca: JUMPDEST 00000fcb: PUSH2 0x0fd3 00000fce: DUP2 00000fcf: PUSH2 0x0fb9 00000fd2: JUMP 00000fd3: JUMPDEST 00000fd4: DUP2 00000fd5: EQ 00000fd6: PUSH2 0x0fdd 00000fd9: JUMPI 00000fda: PUSH0 00000fdb: PUSH0 00000fdc: REVERT 00000fdd: JUMPDEST 00000fde: POP 00000fdf: JUMP 00000fe0: JUMPDEST 00000fe1: PUSH0 00000fe2: DUP2 00000fe3: CALLDATALOAD 00000fe4: SWAP1 00000fe5: POP 00000fe6: PUSH2 0x0fee 00000fe9: DUP2 00000fea: PUSH2 0x0fca 00000fed: JUMP 00000fee: JUMPDEST 00000fef: SWAP3 00000ff0: SWAP2 00000ff1: POP 00000ff2: POP 00000ff3: JUMP 00000ff4: JUMPDEST 00000ff5: PUSH0 00000ff6: PUSH1 0xa0 00000ff8: DUP3 00000ff9: DUP5 00000ffa: SUB 00000ffb: SLT 00000ffc: ISZERO 00000ffd: PUSH2 0x1009 00001000: JUMPI 00001001: PUSH2 0x1008 00001004: PUSH2 0x0e65 00001007: JUMP 00001008: JUMPDEST 00001009: JUMPDEST 0000100a: PUSH2 0x1013 0000100d: PUSH1 0xa0 0000100f: PUSH2 0x0ed7 00001012: JUMP 00001013: JUMPDEST 00001014: SWAP1 00001015: POP 00001016: PUSH0 00001017: PUSH2 0x1022 0000101a: DUP5 0000101b: DUP3 0000101c: DUP6 0000101d: ADD 0000101e: PUSH2 0x0f37 00001021: JUMP 00001022: JUMPDEST 00001023: PUSH0 00001024: DUP4 00001025: ADD 00001026: MSTORE 00001027: POP 00001028: PUSH1 0x20 0000102a: PUSH2 0x1035 0000102d: DUP5 0000102e: DUP3 0000102f: DUP6 00001030: ADD 00001031: PUSH2 0x0f37 00001034: JUMP 00001035: JUMPDEST 00001036: PUSH1 0x20 00001038: DUP4 00001039: ADD 0000103a: MSTORE 0000103b: POP 0000103c: PUSH1 0x40 0000103e: PUSH2 0x1049 00001041: DUP5 00001042: DUP3 00001043: DUP6 00001044: ADD 00001045: PUSH2 0x0f6f 00001048: JUMP 00001049: JUMPDEST 0000104a: PUSH1 0x40 0000104c: DUP4 0000104d: ADD 0000104e: MSTORE 0000104f: POP 00001050: PUSH1 0x60 00001052: PUSH2 0x105d 00001055: DUP5 00001056: DUP3 00001057: DUP6 00001058: ADD 00001059: PUSH2 0x0fa5 0000105c: JUMP 0000105d: JUMPDEST 0000105e: PUSH1 0x60 00001060: DUP4 00001061: ADD 00001062: MSTORE 00001063: POP 00001064: PUSH1 0x80 00001066: PUSH2 0x1071 00001069: DUP5 0000106a: DUP3 0000106b: DUP6 0000106c: ADD 0000106d: PUSH2 0x0fe0 00001070: JUMP 00001071: JUMPDEST 00001072: PUSH1 0x80 00001074: DUP4 00001075: ADD 00001076: MSTORE 00001077: POP 00001078: SWAP3 00001079: SWAP2 0000107a: POP 0000107b: POP 0000107c: JUMP 0000107d: JUMPDEST 0000107e: PUSH2 0x1086 00001081: DUP2 00001082: PUSH2 0x0f10 00001085: JUMP 00001086: JUMPDEST 00001087: DUP2 00001088: EQ 00001089: PUSH2 0x1090 0000108c: JUMPI 0000108d: PUSH0 0000108e: PUSH0 0000108f: REVERT 00001090: JUMPDEST 00001091: POP 00001092: JUMP 00001093: JUMPDEST 00001094: PUSH0 00001095: DUP2 00001096: CALLDATALOAD 00001097: SWAP1 00001098: POP 00001099: PUSH2 0x10a1 0000109c: DUP2 0000109d: PUSH2 0x107d 000010a0: JUMP 000010a1: JUMPDEST 000010a2: SWAP3 000010a3: SWAP2 000010a4: POP 000010a5: POP 000010a6: JUMP 000010a7: JUMPDEST 000010a8: PUSH0 000010a9: DUP2 000010aa: SWAP1 000010ab: POP 000010ac: SWAP2 000010ad: SWAP1 000010ae: POP 000010af: JUMP 000010b0: JUMPDEST 000010b1: PUSH2 0x10b9 000010b4: DUP2 000010b5: PUSH2 0x10a7 000010b8: JUMP 000010b9: JUMPDEST 000010ba: DUP2 000010bb: EQ 000010bc: PUSH2 0x10c3 000010bf: JUMPI 000010c0: PUSH0 000010c1: PUSH0 000010c2: REVERT 000010c3: JUMPDEST 000010c4: POP 000010c5: JUMP 000010c6: JUMPDEST 000010c7: PUSH0 000010c8: DUP2 000010c9: CALLDATALOAD 000010ca: SWAP1 000010cb: POP 000010cc: PUSH2 0x10d4 000010cf: DUP2 000010d0: PUSH2 0x10b0 000010d3: JUMP 000010d4: JUMPDEST 000010d5: SWAP3 000010d6: SWAP2 000010d7: POP 000010d8: POP 000010d9: JUMP 000010da: JUMPDEST 000010db: PUSH0 000010dc: PUSH0 000010dd: PUSH0 000010de: PUSH0 000010df: PUSH2 0x0100 000010e2: DUP6 000010e3: DUP8 000010e4: SUB 000010e5: SLT 000010e6: ISZERO 000010e7: PUSH2 0x10f3 000010ea: JUMPI 000010eb: PUSH2 0x10f2 000010ee: PUSH2 0x0e5d 000010f1: JUMP 000010f2: JUMPDEST 000010f3: JUMPDEST 000010f4: PUSH0 000010f5: PUSH2 0x1100 000010f8: DUP8 000010f9: DUP3 000010fa: DUP9 000010fb: ADD 000010fc: PUSH2 0x0ff4 000010ff: JUMP 00001100: JUMPDEST 00001101: SWAP5 00001102: POP 00001103: POP 00001104: PUSH1 0xa0 00001106: PUSH2 0x1111 00001109: DUP8 0000110a: DUP3 0000110b: DUP9 0000110c: ADD 0000110d: PUSH2 0x1093 00001110: JUMP 00001111: JUMPDEST 00001112: SWAP4 00001113: POP 00001114: POP 00001115: PUSH1 0xc0 00001117: PUSH2 0x1122 0000111a: DUP8 0000111b: DUP3 0000111c: DUP9 0000111d: ADD 0000111e: PUSH2 0x10c6 00001121: JUMP 00001122: JUMPDEST 00001123: SWAP3 00001124: POP 00001125: POP 00001126: PUSH1 0xe0 00001128: PUSH2 0x1133 0000112b: DUP8 0000112c: DUP3 0000112d: DUP9 0000112e: ADD 0000112f: PUSH2 0x10c6 00001132: JUMP 00001133: JUMPDEST 00001134: SWAP2 00001135: POP 00001136: POP 00001137: SWAP3 00001138: SWAP6 00001139: SWAP2 0000113a: SWAP5 0000113b: POP 0000113c: SWAP3 0000113d: POP 0000113e: JUMP 0000113f: JUMPDEST 00001140: PUSH2 0x1148 00001143: DUP2 00001144: PUSH2 0x10a7 00001147: JUMP 00001148: JUMPDEST 00001149: DUP3 0000114a: MSTORE 0000114b: POP 0000114c: POP 0000114d: JUMP 0000114e: JUMPDEST 0000114f: PUSH0 00001150: PUSH1 0x20 00001152: DUP3 00001153: ADD 00001154: SWAP1 00001155: POP 00001156: PUSH2 0x1161 00001159: PUSH0 0000115a: DUP4 0000115b: ADD 0000115c: DUP5 0000115d: PUSH2 0x113f 00001160: JUMP 00001161: JUMPDEST 00001162: SWAP3 00001163: SWAP2 00001164: POP 00001165: POP 00001166: JUMP 00001167: JUMPDEST 00001168: PUSH0 00001169: PUSH0 0000116a: REVERT 0000116b: JUMPDEST 0000116c: PUSH0 0000116d: PUSH8 0xffffffffffffffff 00001176: DUP3 00001177: GT 00001178: ISZERO 00001179: PUSH2 0x1185 0000117c: JUMPI 0000117d: PUSH2 0x1184 00001180: PUSH2 0x0e79 00001183: JUMP 00001184: JUMPDEST 00001185: JUMPDEST 00001186: PUSH1 0x20 00001188: DUP3 00001189: MUL 0000118a: SWAP1 0000118b: POP 0000118c: PUSH1 0x20 0000118e: DUP2 0000118f: ADD 00001190: SWAP1 00001191: POP 00001192: SWAP2 00001193: SWAP1 00001194: POP 00001195: JUMP 00001196: JUMPDEST 00001197: PUSH0 00001198: PUSH0 00001199: REVERT 0000119a: JUMPDEST 0000119b: PUSH0 0000119c: PUSH2 0x11ac 0000119f: PUSH2 0x11a7 000011a2: DUP5 000011a3: PUSH2 0x116b 000011a6: JUMP 000011a7: JUMPDEST 000011a8: PUSH2 0x0ed7 000011ab: JUMP 000011ac: JUMPDEST 000011ad: SWAP1 000011ae: POP 000011af: DUP1 000011b0: DUP4 000011b1: DUP3 000011b2: MSTORE 000011b3: PUSH1 0x20 000011b5: DUP3 000011b6: ADD 000011b7: SWAP1 000011b8: POP 000011b9: PUSH1 0x20 000011bb: DUP5 000011bc: MUL 000011bd: DUP4 000011be: ADD 000011bf: DUP6 000011c0: DUP2 000011c1: GT 000011c2: ISZERO 000011c3: PUSH2 0x11cf 000011c6: JUMPI 000011c7: PUSH2 0x11ce 000011ca: PUSH2 0x1196 000011cd: JUMP 000011ce: JUMPDEST 000011cf: JUMPDEST 000011d0: DUP4 000011d1: JUMPDEST 000011d2: DUP2 000011d3: DUP2 000011d4: LT 000011d5: ISZERO 000011d6: PUSH2 0x11f8 000011d9: JUMPI 000011da: DUP1 000011db: PUSH2 0x11e4 000011de: DUP9 000011df: DUP3 000011e0: PUSH2 0x1093 000011e3: JUMP 000011e4: JUMPDEST 000011e5: DUP5 000011e6: MSTORE 000011e7: PUSH1 0x20 000011e9: DUP5 000011ea: ADD 000011eb: SWAP4 000011ec: POP 000011ed: POP 000011ee: PUSH1 0x20 000011f0: DUP2 000011f1: ADD 000011f2: SWAP1 000011f3: POP 000011f4: PUSH2 0x11d1 000011f7: JUMP 000011f8: JUMPDEST 000011f9: POP 000011fa: POP 000011fb: POP 000011fc: SWAP4 000011fd: SWAP3 000011fe: POP 000011ff: POP 00001200: POP 00001201: JUMP 00001202: JUMPDEST 00001203: PUSH0 00001204: DUP3 00001205: PUSH1 0x1f 00001207: DUP4 00001208: ADD 00001209: SLT 0000120a: PUSH2 0x1216 0000120d: JUMPI 0000120e: PUSH2 0x1215 00001211: PUSH2 0x1167 00001214: JUMP 00001215: JUMPDEST 00001216: JUMPDEST 00001217: DUP2 00001218: CALLDATALOAD 00001219: PUSH2 0x1226 0000121c: DUP5 0000121d: DUP3 0000121e: PUSH1 0x20 00001220: DUP7 00001221: ADD 00001222: PUSH2 0x119a 00001225: JUMP 00001226: JUMPDEST 00001227: SWAP2 00001228: POP 00001229: POP 0000122a: SWAP3 0000122b: SWAP2 0000122c: POP 0000122d: POP 0000122e: JUMP 0000122f: JUMPDEST 00001230: PUSH0 00001231: PUSH1 0x20 00001233: DUP3 00001234: DUP5 00001235: SUB 00001236: SLT 00001237: ISZERO 00001238: PUSH2 0x1244 0000123b: JUMPI 0000123c: PUSH2 0x1243 0000123f: PUSH2 0x0e5d 00001242: JUMP 00001243: JUMPDEST 00001244: JUMPDEST 00001245: PUSH0 00001246: DUP3 00001247: ADD 00001248: CALLDATALOAD 00001249: PUSH8 0xffffffffffffffff 00001252: DUP2 00001253: GT 00001254: ISZERO 00001255: PUSH2 0x1261 00001258: JUMPI 00001259: PUSH2 0x1260 0000125c: PUSH2 0x0e61 0000125f: JUMP 00001260: JUMPDEST 00001261: JUMPDEST 00001262: PUSH2 0x126d 00001265: DUP5 00001266: DUP3 00001267: DUP6 00001268: ADD 00001269: PUSH2 0x1202 0000126c: JUMP 0000126d: JUMPDEST 0000126e: SWAP2 0000126f: POP 00001270: POP 00001271: SWAP3 00001272: SWAP2 00001273: POP 00001274: POP 00001275: JUMP 00001276: JUMPDEST 00001277: PUSH0 00001278: PUSH0 00001279: REVERT 0000127a: JUMPDEST 0000127b: PUSH0 0000127c: PUSH0 0000127d: DUP4 0000127e: PUSH1 0x1f 00001280: DUP5 00001281: ADD 00001282: SLT 00001283: PUSH2 0x128f 00001286: JUMPI 00001287: PUSH2 0x128e 0000128a: PUSH2 0x1167 0000128d: JUMP 0000128e: JUMPDEST 0000128f: JUMPDEST 00001290: DUP3 00001291: CALLDATALOAD 00001292: SWAP1 00001293: POP 00001294: PUSH8 0xffffffffffffffff 0000129d: DUP2 0000129e: GT 0000129f: ISZERO 000012a0: PUSH2 0x12ac 000012a3: JUMPI 000012a4: PUSH2 0x12ab 000012a7: PUSH2 0x1276 000012aa: JUMP 000012ab: JUMPDEST 000012ac: JUMPDEST 000012ad: PUSH1 0x20 000012af: DUP4 000012b0: ADD 000012b1: SWAP2 000012b2: POP 000012b3: DUP4 000012b4: PUSH1 0x01 000012b6: DUP3 000012b7: MUL 000012b8: DUP4 000012b9: ADD 000012ba: GT 000012bb: ISZERO 000012bc: PUSH2 0x12c8 000012bf: JUMPI 000012c0: PUSH2 0x12c7 000012c3: PUSH2 0x1196 000012c6: JUMP 000012c7: JUMPDEST 000012c8: JUMPDEST 000012c9: SWAP3 000012ca: POP 000012cb: SWAP3 000012cc: SWAP1 000012cd: POP 000012ce: JUMP 000012cf: JUMPDEST 000012d0: PUSH0 000012d1: PUSH0 000012d2: PUSH1 0x20 000012d4: DUP4 000012d5: DUP6 000012d6: SUB 000012d7: SLT 000012d8: ISZERO 000012d9: PUSH2 0x12e5 000012dc: JUMPI 000012dd: PUSH2 0x12e4 000012e0: PUSH2 0x0e5d 000012e3: JUMP 000012e4: JUMPDEST 000012e5: JUMPDEST 000012e6: PUSH0 000012e7: DUP4 000012e8: ADD 000012e9: CALLDATALOAD 000012ea: PUSH8 0xffffffffffffffff 000012f3: DUP2 000012f4: GT 000012f5: ISZERO 000012f6: PUSH2 0x1302 000012f9: JUMPI 000012fa: PUSH2 0x1301 000012fd: PUSH2 0x0e61 00001300: JUMP 00001301: JUMPDEST 00001302: JUMPDEST 00001303: PUSH2 0x130e 00001306: DUP6 00001307: DUP3 00001308: DUP7 00001309: ADD 0000130a: PUSH2 0x127a 0000130d: JUMP 0000130e: JUMPDEST 0000130f: SWAP3 00001310: POP 00001311: SWAP3 00001312: POP 00001313: POP 00001314: SWAP3 00001315: POP 00001316: SWAP3 00001317: SWAP1 00001318: POP 00001319: JUMP 0000131a: JUMPDEST 0000131b: PUSH0 0000131c: DUP2 0000131d: MLOAD 0000131e: SWAP1 0000131f: POP 00001320: SWAP2 00001321: SWAP1 00001322: POP 00001323: JUMP 00001324: JUMPDEST 00001325: PUSH0 00001326: DUP3 00001327: DUP3 00001328: MSTORE 00001329: PUSH1 0x20 0000132b: DUP3 0000132c: ADD 0000132d: SWAP1 0000132e: POP 0000132f: SWAP3 00001330: SWAP2 00001331: POP 00001332: POP 00001333: JUMP 00001334: JUMPDEST 00001335: DUP3 00001336: DUP2 00001337: DUP4 00001338: MCOPY 00001339: PUSH0 0000133a: DUP4 0000133b: DUP4 0000133c: ADD 0000133d: MSTORE 0000133e: POP 0000133f: POP 00001340: POP 00001341: JUMP 00001342: JUMPDEST 00001343: PUSH0 00001344: PUSH2 0x134c 00001347: DUP3 00001348: PUSH2 0x131a 0000134b: JUMP 0000134c: JUMPDEST 0000134d: PUSH2 0x1356 00001350: DUP2 00001351: DUP6 00001352: PUSH2 0x1324 00001355: JUMP 00001356: JUMPDEST 00001357: SWAP4 00001358: POP 00001359: PUSH2 0x1366 0000135c: DUP2 0000135d: DUP6 0000135e: PUSH1 0x20 00001360: DUP7 00001361: ADD 00001362: PUSH2 0x1334 00001365: JUMP 00001366: JUMPDEST 00001367: PUSH2 0x136f 0000136a: DUP2 0000136b: PUSH2 0x0e69 0000136e: JUMP 0000136f: JUMPDEST 00001370: DUP5 00001371: ADD 00001372: SWAP2 00001373: POP 00001374: POP 00001375: SWAP3 00001376: SWAP2 00001377: POP 00001378: POP 00001379: JUMP 0000137a: JUMPDEST 0000137b: PUSH0 0000137c: PUSH1 0x20 0000137e: DUP3 0000137f: ADD 00001380: SWAP1 00001381: POP 00001382: DUP2 00001383: DUP2 00001384: SUB 00001385: PUSH0 00001386: DUP4 00001387: ADD 00001388: MSTORE 00001389: PUSH2 0x1392 0000138c: DUP2 0000138d: DUP5 0000138e: PUSH2 0x1342 00001391: JUMP 00001392: JUMPDEST 00001393: SWAP1 00001394: POP 00001395: SWAP3 00001396: SWAP2 00001397: POP 00001398: POP 00001399: JUMP 0000139a: JUMPDEST 0000139b: PUSH0 0000139c: PUSH0 0000139d: PUSH1 0x40 0000139f: DUP4 000013a0: DUP6 000013a1: SUB 000013a2: SLT 000013a3: ISZERO 000013a4: PUSH2 0x13b0 000013a7: JUMPI 000013a8: PUSH2 0x13af 000013ab: PUSH2 0x0e5d 000013ae: JUMP 000013af: JUMPDEST 000013b0: JUMPDEST 000013b1: PUSH0 000013b2: PUSH2 0x13bd 000013b5: DUP6 000013b6: DUP3 000013b7: DUP7 000013b8: ADD 000013b9: PUSH2 0x1093 000013bc: JUMP 000013bd: JUMPDEST 000013be: SWAP3 000013bf: POP 000013c0: POP 000013c1: PUSH1 0x20 000013c3: PUSH2 0x13ce 000013c6: DUP6 000013c7: DUP3 000013c8: DUP7 000013c9: ADD 000013ca: PUSH2 0x10c6 000013cd: JUMP 000013ce: JUMPDEST 000013cf: SWAP2 000013d0: POP 000013d1: POP 000013d2: SWAP3 000013d3: POP 000013d4: SWAP3 000013d5: SWAP1 000013d6: POP 000013d7: JUMP 000013d8: JUMPDEST 000013d9: PUSH0 000013da: DUP3 000013db: DUP3 000013dc: MSTORE 000013dd: PUSH1 0x20 000013df: DUP3 000013e0: ADD 000013e1: SWAP1 000013e2: POP 000013e3: SWAP3 000013e4: SWAP2 000013e5: POP 000013e6: POP 000013e7: JUMP 000013e8: JUMPDEST 000013e9: PUSH32 0xd182d0bed0bbd18cd0bad0be20d0b2d0bbd0b0d0b4d0b5d0bbd0b5d18620d0bc 0000140a: PUSH0 0000140b: DUP3 0000140c: ADD 0000140d: MSTORE 0000140e: PUSH32 0xd0bed0b6d0b5d18220d0b2d18bd0b7d0b2d0b0d182d18c000000000000000000 0000142f: PUSH1 0x20 00001431: DUP3 00001432: ADD 00001433: MSTORE 00001434: POP 00001435: JUMP 00001436: JUMPDEST 00001437: PUSH0 00001438: PUSH2 0x1442 0000143b: PUSH1 0x37 0000143d: DUP4 0000143e: PUSH2 0x13d8 00001441: JUMP 00001442: JUMPDEST 00001443: SWAP2 00001444: POP 00001445: PUSH2 0x144d 00001448: DUP3 00001449: PUSH2 0x13e8 0000144c: JUMP 0000144d: JUMPDEST 0000144e: PUSH1 0x40 00001450: DUP3 00001451: ADD 00001452: SWAP1 00001453: POP 00001454: SWAP2 00001455: SWAP1 00001456: POP 00001457: JUMP 00001458: JUMPDEST 00001459: PUSH0 0000145a: PUSH1 0x20 0000145c: DUP3 0000145d: ADD 0000145e: SWAP1 0000145f: POP 00001460: DUP2 00001461: DUP2 00001462: SUB 00001463: PUSH0 00001464: DUP4 00001465: ADD 00001466: MSTORE 00001467: PUSH2 0x146f 0000146a: DUP2 0000146b: PUSH2 0x1436 0000146e: JUMP 0000146f: JUMPDEST 00001470: SWAP1 00001471: POP 00001472: SWAP2 00001473: SWAP1 00001474: POP 00001475: JUMP 00001476: JUMPDEST 00001477: PUSH0 00001478: DUP2 00001479: SWAP1 0000147a: POP 0000147b: SWAP2 0000147c: SWAP1 0000147d: POP 0000147e: JUMP 0000147f: JUMPDEST 00001480: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000014a1: PUSH0 000014a2: MSTORE 000014a3: PUSH1 0x11 000014a5: PUSH1 0x04 000014a7: MSTORE 000014a8: PUSH1 0x24 000014aa: PUSH0 000014ab: REVERT 000014ac: JUMPDEST 000014ad: PUSH0 000014ae: PUSH2 0x14b6 000014b1: DUP3 000014b2: PUSH2 0x1476 000014b5: JUMP 000014b6: JUMPDEST 000014b7: SWAP2 000014b8: POP 000014b9: PUSH32 0x8000000000000000000000000000000000000000000000000000000000000000 000014da: DUP3 000014db: SUB 000014dc: PUSH2 0x14e8 000014df: JUMPI 000014e0: PUSH2 0x14e7 000014e3: PUSH2 0x147f 000014e6: JUMP 000014e7: JUMPDEST 000014e8: JUMPDEST 000014e9: DUP2 000014ea: PUSH0 000014eb: SUB 000014ec: SWAP1 000014ed: POP 000014ee: SWAP2 000014ef: SWAP1 000014f0: POP 000014f1: JUMP 000014f2: JUMPDEST 000014f3: PUSH2 0x14fb 000014f6: DUP2 000014f7: PUSH2 0x0f10 000014fa: JUMP 000014fb: JUMPDEST 000014fc: DUP3 000014fd: MSTORE 000014fe: POP 000014ff: POP 00001500: JUMP 00001501: JUMPDEST 00001502: PUSH0 00001503: DUP2 00001504: SWAP1 00001505: POP 00001506: SWAP2 00001507: SWAP1 00001508: POP 00001509: JUMP 0000150a: JUMPDEST 0000150b: PUSH0 0000150c: PUSH2 0x1524 0000150f: PUSH2 0x151f 00001512: PUSH2 0x151a 00001515: DUP5 00001516: PUSH2 0x0ef1 00001519: JUMP 0000151a: JUMPDEST 0000151b: PUSH2 0x1501 0000151e: JUMP 0000151f: JUMPDEST 00001520: PUSH2 0x0ef1 00001523: JUMP 00001524: JUMPDEST 00001525: SWAP1 00001526: POP 00001527: SWAP2 00001528: SWAP1 00001529: POP 0000152a: JUMP 0000152b: JUMPDEST 0000152c: PUSH0 0000152d: PUSH2 0x1535 00001530: DUP3 00001531: PUSH2 0x150a 00001534: JUMP 00001535: JUMPDEST 00001536: SWAP1 00001537: POP 00001538: SWAP2 00001539: SWAP1 0000153a: POP 0000153b: JUMP 0000153c: JUMPDEST 0000153d: PUSH0 0000153e: PUSH2 0x1546 00001541: DUP3 00001542: PUSH2 0x152b 00001545: JUMP 00001546: JUMPDEST 00001547: SWAP1 00001548: POP 00001549: SWAP2 0000154a: SWAP1 0000154b: POP 0000154c: JUMP 0000154d: JUMPDEST 0000154e: PUSH2 0x1556 00001551: DUP2 00001552: PUSH2 0x153c 00001555: JUMP 00001556: JUMPDEST 00001557: DUP3 00001558: MSTORE 00001559: POP 0000155a: POP 0000155b: JUMP 0000155c: JUMPDEST 0000155d: PUSH2 0x1565 00001560: DUP2 00001561: PUSH2 0x0f4b 00001564: JUMP 00001565: JUMPDEST 00001566: DUP3 00001567: MSTORE 00001568: POP 00001569: POP 0000156a: JUMP 0000156b: JUMPDEST 0000156c: PUSH2 0x1574 0000156f: DUP2 00001570: PUSH2 0x0f83 00001573: JUMP 00001574: JUMPDEST 00001575: DUP3 00001576: MSTORE 00001577: POP 00001578: POP 00001579: JUMP 0000157a: JUMPDEST 0000157b: PUSH0 0000157c: PUSH2 0x1584 0000157f: DUP3 00001580: PUSH2 0x152b 00001583: JUMP 00001584: JUMPDEST 00001585: SWAP1 00001586: POP 00001587: SWAP2 00001588: SWAP1 00001589: POP 0000158a: JUMP 0000158b: JUMPDEST 0000158c: PUSH2 0x1594 0000158f: DUP2 00001590: PUSH2 0x157a 00001593: JUMP 00001594: JUMPDEST 00001595: DUP3 00001596: MSTORE 00001597: POP 00001598: POP 00001599: JUMP 0000159a: JUMPDEST 0000159b: PUSH1 0xa0 0000159d: DUP3 0000159e: ADD 0000159f: PUSH0 000015a0: DUP3 000015a1: ADD 000015a2: MLOAD 000015a3: PUSH2 0x15ae 000015a6: PUSH0 000015a7: DUP6 000015a8: ADD 000015a9: DUP3 000015aa: PUSH2 0x154d 000015ad: JUMP 000015ae: JUMPDEST 000015af: POP 000015b0: PUSH1 0x20 000015b2: DUP3 000015b3: ADD 000015b4: MLOAD 000015b5: PUSH2 0x15c1 000015b8: PUSH1 0x20 000015ba: DUP6 000015bb: ADD 000015bc: DUP3 000015bd: PUSH2 0x154d 000015c0: JUMP 000015c1: JUMPDEST 000015c2: POP 000015c3: PUSH1 0x40 000015c5: DUP3 000015c6: ADD 000015c7: MLOAD 000015c8: PUSH2 0x15d4 000015cb: PUSH1 0x40 000015cd: DUP6 000015ce: ADD 000015cf: DUP3 000015d0: PUSH2 0x155c 000015d3: JUMP 000015d4: JUMPDEST 000015d5: POP 000015d6: PUSH1 0x60 000015d8: DUP3 000015d9: ADD 000015da: MLOAD 000015db: PUSH2 0x15e7 000015de: PUSH1 0x60 000015e0: DUP6 000015e1: ADD 000015e2: DUP3 000015e3: PUSH2 0x156b 000015e6: JUMP 000015e7: JUMPDEST 000015e8: POP 000015e9: PUSH1 0x80 000015eb: DUP3 000015ec: ADD 000015ed: MLOAD 000015ee: PUSH2 0x15fa 000015f1: PUSH1 0x80 000015f3: DUP6 000015f4: ADD 000015f5: DUP3 000015f6: PUSH2 0x158b 000015f9: JUMP 000015fa: JUMPDEST 000015fb: POP 000015fc: POP 000015fd: POP 000015fe: POP 000015ff: JUMP 00001600: JUMPDEST 00001601: PUSH0 00001602: DUP2 00001603: ISZERO 00001604: ISZERO 00001605: SWAP1 00001606: POP 00001607: SWAP2 00001608: SWAP1 00001609: POP 0000160a: JUMP 0000160b: JUMPDEST 0000160c: PUSH2 0x1614 0000160f: DUP2 00001610: PUSH2 0x1600 00001613: JUMP 00001614: JUMPDEST 00001615: DUP3 00001616: MSTORE 00001617: POP 00001618: POP 00001619: JUMP 0000161a: JUMPDEST 0000161b: PUSH2 0x1623 0000161e: DUP2 0000161f: PUSH2 0x1476 00001622: JUMP 00001623: JUMPDEST 00001624: DUP3 00001625: MSTORE 00001626: POP 00001627: POP 00001628: JUMP 00001629: JUMPDEST 0000162a: PUSH2 0x1632 0000162d: DUP2 0000162e: PUSH2 0x0ef1 00001631: JUMP 00001632: JUMPDEST 00001633: DUP3 00001634: MSTORE 00001635: POP 00001636: POP 00001637: JUMP 00001638: JUMPDEST 00001639: PUSH1 0x60 0000163b: DUP3 0000163c: ADD 0000163d: PUSH0 0000163e: DUP3 0000163f: ADD 00001640: MLOAD 00001641: PUSH2 0x164c 00001644: PUSH0 00001645: DUP6 00001646: ADD 00001647: DUP3 00001648: PUSH2 0x160b 0000164b: JUMP 0000164c: JUMPDEST 0000164d: POP 0000164e: PUSH1 0x20 00001650: DUP3 00001651: ADD 00001652: MLOAD 00001653: PUSH2 0x165f 00001656: PUSH1 0x20 00001658: DUP6 00001659: ADD 0000165a: DUP3 0000165b: PUSH2 0x161a 0000165e: JUMP 0000165f: JUMPDEST 00001660: POP 00001661: PUSH1 0x40 00001663: DUP3 00001664: ADD 00001665: MLOAD 00001666: PUSH2 0x1672 00001669: PUSH1 0x40 0000166b: DUP6 0000166c: ADD 0000166d: DUP3 0000166e: PUSH2 0x1629 00001671: JUMP 00001672: JUMPDEST 00001673: POP 00001674: POP 00001675: POP 00001676: POP 00001677: JUMP 00001678: JUMPDEST 00001679: PUSH2 0x1681 0000167c: DUP2 0000167d: PUSH2 0x10a7 00001680: JUMP 00001681: JUMPDEST 00001682: DUP3 00001683: MSTORE 00001684: POP 00001685: POP 00001686: JUMP 00001687: JUMPDEST 00001688: PUSH2 0x0180 0000168b: DUP3 0000168c: ADD 0000168d: PUSH0 0000168e: DUP3 0000168f: ADD 00001690: MLOAD 00001691: PUSH2 0x169c 00001694: PUSH0 00001695: DUP6 00001696: ADD 00001697: DUP3 00001698: PUSH2 0x14f2 0000169b: JUMP 0000169c: JUMPDEST 0000169d: POP 0000169e: PUSH1 0x20 000016a0: DUP3 000016a1: ADD 000016a2: MLOAD 000016a3: PUSH2 0x16af 000016a6: PUSH1 0x20 000016a8: DUP6 000016a9: ADD 000016aa: DUP3 000016ab: PUSH2 0x159a 000016ae: JUMP 000016af: JUMPDEST 000016b0: POP 000016b1: PUSH1 0x40 000016b3: DUP3 000016b4: ADD 000016b5: MLOAD 000016b6: PUSH2 0x16c2 000016b9: PUSH1 0xc0 000016bb: DUP6 000016bc: ADD 000016bd: DUP3 000016be: PUSH2 0x1638 000016c1: JUMP 000016c2: JUMPDEST 000016c3: POP 000016c4: PUSH1 0x60 000016c6: DUP3 000016c7: ADD 000016c8: MLOAD 000016c9: PUSH2 0x16d6 000016cc: PUSH2 0x0120 000016cf: DUP6 000016d0: ADD 000016d1: DUP3 000016d2: PUSH2 0x14f2 000016d5: JUMP 000016d6: JUMPDEST 000016d7: POP 000016d8: PUSH1 0x80 000016da: DUP3 000016db: ADD 000016dc: MLOAD 000016dd: PUSH2 0x16ea 000016e0: PUSH2 0x0140 000016e3: DUP6 000016e4: ADD 000016e5: DUP3 000016e6: PUSH2 0x14f2 000016e9: JUMP 000016ea: JUMPDEST 000016eb: POP 000016ec: PUSH1 0xa0 000016ee: DUP3 000016ef: ADD 000016f0: MLOAD 000016f1: PUSH2 0x16fe 000016f4: PUSH2 0x0160 000016f7: DUP6 000016f8: ADD 000016f9: DUP3 000016fa: PUSH2 0x1678 000016fd: JUMP 000016fe: JUMPDEST 000016ff: POP 00001700: POP 00001701: POP 00001702: POP 00001703: JUMP 00001704: JUMPDEST 00001705: PUSH0 00001706: PUSH2 0x0180 00001709: DUP3 0000170a: ADD 0000170b: SWAP1 0000170c: POP 0000170d: PUSH2 0x1718 00001710: PUSH0 00001711: DUP4 00001712: ADD 00001713: DUP5 00001714: PUSH2 0x1687 00001717: JUMP 00001718: JUMPDEST 00001719: SWAP3 0000171a: SWAP2 0000171b: POP 0000171c: POP 0000171d: JUMP 0000171e: JUMPDEST 0000171f: PUSH0 00001720: PUSH0 00001721: REVERT 00001722: JUMPDEST 00001723: PUSH0 00001724: PUSH8 0xffffffffffffffff 0000172d: DUP3 0000172e: GT 0000172f: ISZERO 00001730: PUSH2 0x173c 00001733: JUMPI 00001734: PUSH2 0x173b 00001737: PUSH2 0x0e79 0000173a: JUMP 0000173b: JUMPDEST 0000173c: JUMPDEST 0000173d: PUSH2 0x1745 00001740: DUP3 00001741: PUSH2 0x0e69 00001744: JUMP 00001745: JUMPDEST 00001746: SWAP1 00001747: POP 00001748: PUSH1 0x20 0000174a: DUP2 0000174b: ADD 0000174c: SWAP1 0000174d: POP 0000174e: SWAP2 0000174f: SWAP1 00001750: POP 00001751: JUMP 00001752: JUMPDEST 00001753: PUSH0 00001754: PUSH2 0x1764 00001757: PUSH2 0x175f 0000175a: DUP5 0000175b: PUSH2 0x1722 0000175e: JUMP 0000175f: JUMPDEST 00001760: PUSH2 0x0ed7 00001763: JUMP 00001764: JUMPDEST 00001765: SWAP1 00001766: POP 00001767: DUP3 00001768: DUP2 00001769: MSTORE 0000176a: PUSH1 0x20 0000176c: DUP2 0000176d: ADD 0000176e: DUP5 0000176f: DUP5 00001770: DUP5 00001771: ADD 00001772: GT 00001773: ISZERO 00001774: PUSH2 0x1780 00001777: JUMPI 00001778: PUSH2 0x177f 0000177b: PUSH2 0x171e 0000177e: JUMP 0000177f: JUMPDEST 00001780: JUMPDEST 00001781: PUSH2 0x178b 00001784: DUP5 00001785: DUP3 00001786: DUP6 00001787: PUSH2 0x1334 0000178a: JUMP 0000178b: JUMPDEST 0000178c: POP 0000178d: SWAP4 0000178e: SWAP3 0000178f: POP 00001790: POP 00001791: POP 00001792: JUMP 00001793: JUMPDEST 00001794: PUSH0 00001795: DUP3 00001796: PUSH1 0x1f 00001798: DUP4 00001799: ADD 0000179a: SLT 0000179b: PUSH2 0x17a7 0000179e: JUMPI 0000179f: PUSH2 0x17a6 000017a2: PUSH2 0x1167 000017a5: JUMP 000017a6: JUMPDEST 000017a7: JUMPDEST 000017a8: DUP2 000017a9: MLOAD 000017aa: PUSH2 0x17b7 000017ad: DUP5 000017ae: DUP3 000017af: PUSH1 0x20 000017b1: DUP7 000017b2: ADD 000017b3: PUSH2 0x1752 000017b6: JUMP 000017b7: JUMPDEST 000017b8: SWAP2 000017b9: POP 000017ba: POP 000017bb: SWAP3 000017bc: SWAP2 000017bd: POP 000017be: POP 000017bf: JUMP 000017c0: JUMPDEST 000017c1: PUSH0 000017c2: PUSH1 0x20 000017c4: DUP3 000017c5: DUP5 000017c6: SUB 000017c7: SLT 000017c8: ISZERO 000017c9: PUSH2 0x17d5 000017cc: JUMPI 000017cd: PUSH2 0x17d4 000017d0: PUSH2 0x0e5d 000017d3: JUMP 000017d4: JUMPDEST 000017d5: JUMPDEST 000017d6: PUSH0 000017d7: DUP3 000017d8: ADD 000017d9: MLOAD 000017da: PUSH8 0xffffffffffffffff 000017e3: DUP2 000017e4: GT 000017e5: ISZERO 000017e6: PUSH2 0x17f2 000017e9: JUMPI 000017ea: PUSH2 0x17f1 000017ed: PUSH2 0x0e61 000017f0: JUMP 000017f1: JUMPDEST 000017f2: JUMPDEST 000017f3: PUSH2 0x17fe 000017f6: DUP5 000017f7: DUP3 000017f8: DUP6 000017f9: ADD 000017fa: PUSH2 0x1793 000017fd: JUMP 000017fe: JUMPDEST 000017ff: SWAP2 00001800: POP 00001801: POP 00001802: SWAP3 00001803: SWAP2 00001804: POP 00001805: POP 00001806: JUMP 00001807: JUMPDEST 00001808: PUSH0 00001809: DUP2 0000180a: MLOAD 0000180b: SWAP1 0000180c: POP 0000180d: PUSH2 0x1815 00001810: DUP2 00001811: PUSH2 0x10b0 00001814: JUMP 00001815: JUMPDEST 00001816: SWAP3 00001817: SWAP2 00001818: POP 00001819: POP 0000181a: JUMP 0000181b: JUMPDEST 0000181c: PUSH0 0000181d: PUSH1 0x20 0000181f: DUP3 00001820: DUP5 00001821: SUB 00001822: SLT 00001823: ISZERO 00001824: PUSH2 0x1830 00001827: JUMPI 00001828: PUSH2 0x182f 0000182b: PUSH2 0x0e5d 0000182e: JUMP 0000182f: JUMPDEST 00001830: JUMPDEST 00001831: PUSH0 00001832: PUSH2 0x183d 00001835: DUP5 00001836: DUP3 00001837: DUP6 00001838: ADD 00001839: PUSH2 0x1807 0000183c: JUMP 0000183d: JUMPDEST 0000183e: SWAP2 0000183f: POP 00001840: POP 00001841: SWAP3 00001842: SWAP2 00001843: POP 00001844: POP 00001845: JUMP 00001846: JUMPDEST 00001847: PUSH32 0xd0bdd0b5d0b4d0bed181d182d0b0d182d0bed187d0bdd0b0d18f20d0b2d18bd1 00001868: PUSH0 00001869: DUP3 0000186a: ADD 0000186b: MSTORE 0000186c: PUSH32 0x85d0bed0b4d0bdd0b0d18f20d181d183d0bcd0bcd0b000000000000000000000 0000188d: PUSH1 0x20 0000188f: DUP3 00001890: ADD 00001891: MSTORE 00001892: POP 00001893: JUMP 00001894: JUMPDEST 00001895: PUSH0 00001896: PUSH2 0x18a0 00001899: PUSH1 0x36 0000189b: DUP4 0000189c: PUSH2 0x13d8 0000189f: JUMP 000018a0: JUMPDEST 000018a1: SWAP2 000018a2: POP 000018a3: PUSH2 0x18ab 000018a6: DUP3 000018a7: PUSH2 0x1846 000018aa: JUMP 000018ab: JUMPDEST 000018ac: PUSH1 0x40 000018ae: DUP3 000018af: ADD 000018b0: SWAP1 000018b1: POP 000018b2: SWAP2 000018b3: SWAP1 000018b4: POP 000018b5: JUMP 000018b6: JUMPDEST 000018b7: PUSH0 000018b8: PUSH1 0x20 000018ba: DUP3 000018bb: ADD 000018bc: SWAP1 000018bd: POP 000018be: DUP2 000018bf: DUP2 000018c0: SUB 000018c1: PUSH0 000018c2: DUP4 000018c3: ADD 000018c4: MSTORE 000018c5: PUSH2 0x18cd 000018c8: DUP2 000018c9: PUSH2 0x1894 000018cc: JUMP 000018cd: JUMPDEST 000018ce: SWAP1 000018cf: POP 000018d0: SWAP2 000018d1: SWAP1 000018d2: POP 000018d3: JUMP 000018d4: JUMPDEST 000018d5: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000018f6: PUSH0 000018f7: MSTORE 000018f8: PUSH1 0x32 000018fa: PUSH1 0x04 000018fc: MSTORE 000018fd: PUSH1 0x24 000018ff: PUSH0 00001900: REVERT 00001901: JUMPDEST 00001902: PUSH0 00001903: PUSH1 0xff 00001905: DUP3 00001906: AND 00001907: SWAP1 00001908: POP 00001909: SWAP2 0000190a: SWAP1 0000190b: POP 0000190c: JUMP 0000190d: JUMPDEST 0000190e: PUSH0 0000190f: PUSH2 0x1917 00001912: DUP3 00001913: PUSH2 0x1901 00001916: JUMP 00001917: JUMPDEST 00001918: SWAP2 00001919: POP 0000191a: PUSH1 0xff 0000191c: DUP3 0000191d: SUB 0000191e: PUSH2 0x192a 00001921: JUMPI 00001922: PUSH2 0x1929 00001925: PUSH2 0x147f 00001928: JUMP 00001929: JUMPDEST 0000192a: JUMPDEST 0000192b: PUSH1 0x01 0000192d: DUP3 0000192e: ADD 0000192f: SWAP1 00001930: POP 00001931: SWAP2 00001932: SWAP1 00001933: POP 00001934: JUMP 00001935: JUMPDEST 00001936: PUSH32 0xd182d0bed0bbd18cd0bad0be20d0bfd183d0bb20d0bcd0b5d0bdd0b5d0b4d0b6 00001957: PUSH0 00001958: DUP3 00001959: ADD 0000195a: MSTORE 0000195b: PUSH32 0xd0b5d18020d0bcd0bed0b6d0b5d18220d0b2d18bd0b7d0b2d0b0d182d18c0000 0000197c: PUSH1 0x20 0000197e: DUP3 0000197f: ADD 00001980: MSTORE 00001981: POP 00001982: JUMP 00001983: JUMPDEST 00001984: PUSH0 00001985: PUSH2 0x198f 00001988: PUSH1 0x3e 0000198a: DUP4 0000198b: PUSH2 0x13d8 0000198e: JUMP 0000198f: JUMPDEST 00001990: SWAP2 00001991: POP 00001992: PUSH2 0x199a 00001995: DUP3 00001996: PUSH2 0x1935 00001999: JUMP 0000199a: JUMPDEST 0000199b: PUSH1 0x40 0000199d: DUP3 0000199e: ADD 0000199f: SWAP1 000019a0: POP 000019a1: SWAP2 000019a2: SWAP1 000019a3: POP 000019a4: JUMP 000019a5: JUMPDEST 000019a6: PUSH0 000019a7: PUSH1 0x20 000019a9: DUP3 000019aa: ADD 000019ab: SWAP1 000019ac: POP 000019ad: DUP2 000019ae: DUP2 000019af: SUB 000019b0: PUSH0 000019b1: DUP4 000019b2: ADD 000019b3: MSTORE 000019b4: PUSH2 0x19bc 000019b7: DUP2 000019b8: PUSH2 0x1983 000019bb: JUMP 000019bc: JUMPDEST 000019bd: SWAP1 000019be: POP 000019bf: SWAP2 000019c0: SWAP1 000019c1: POP 000019c2: JUMP 000019c3: JUMPDEST 000019c4: PUSH2 0x19cc 000019c7: DUP2 000019c8: PUSH2 0x1600 000019cb: JUMP 000019cc: JUMPDEST 000019cd: DUP2 000019ce: EQ 000019cf: PUSH2 0x19d6 000019d2: JUMPI 000019d3: PUSH0 000019d4: PUSH0 000019d5: REVERT 000019d6: JUMPDEST 000019d7: POP 000019d8: JUMP 000019d9: JUMPDEST 000019da: PUSH0 000019db: DUP2 000019dc: CALLDATALOAD 000019dd: SWAP1 000019de: POP 000019df: PUSH2 0x19e7 000019e2: DUP2 000019e3: PUSH2 0x19c3 000019e6: JUMP 000019e7: JUMPDEST 000019e8: SWAP3 000019e9: SWAP2 000019ea: POP 000019eb: POP 000019ec: JUMP 000019ed: JUMPDEST 000019ee: PUSH2 0x19f6 000019f1: DUP2 000019f2: PUSH2 0x1476 000019f5: JUMP 000019f6: JUMPDEST 000019f7: DUP2 000019f8: EQ 000019f9: PUSH2 0x1a00 000019fc: JUMPI 000019fd: PUSH0 000019fe: PUSH0 000019ff: REVERT 00001a00: JUMPDEST 00001a01: POP 00001a02: JUMP 00001a03: JUMPDEST 00001a04: PUSH0 00001a05: DUP2 00001a06: CALLDATALOAD 00001a07: SWAP1 00001a08: POP 00001a09: PUSH2 0x1a11 00001a0c: DUP2 00001a0d: PUSH2 0x19ed 00001a10: JUMP 00001a11: JUMPDEST 00001a12: SWAP3 00001a13: SWAP2 00001a14: POP 00001a15: POP 00001a16: JUMP 00001a17: JUMPDEST 00001a18: PUSH2 0x1a20 00001a1b: DUP2 00001a1c: PUSH2 0x0ef1 00001a1f: JUMP 00001a20: JUMPDEST 00001a21: DUP2 00001a22: EQ 00001a23: PUSH2 0x1a2a 00001a26: JUMPI 00001a27: PUSH0 00001a28: PUSH0 00001a29: REVERT 00001a2a: JUMPDEST 00001a2b: POP 00001a2c: JUMP 00001a2d: JUMPDEST 00001a2e: PUSH0 00001a2f: DUP2 00001a30: CALLDATALOAD 00001a31: SWAP1 00001a32: POP 00001a33: PUSH2 0x1a3b 00001a36: DUP2 00001a37: PUSH2 0x1a17 00001a3a: JUMP 00001a3b: JUMPDEST 00001a3c: SWAP3 00001a3d: SWAP2 00001a3e: POP 00001a3f: POP 00001a40: JUMP 00001a41: JUMPDEST 00001a42: PUSH0 00001a43: PUSH1 0x60 00001a45: DUP3 00001a46: DUP5 00001a47: SUB 00001a48: SLT 00001a49: ISZERO 00001a4a: PUSH2 0x1a56 00001a4d: JUMPI 00001a4e: PUSH2 0x1a55 00001a51: PUSH2 0x0e65 00001a54: JUMP 00001a55: JUMPDEST 00001a56: JUMPDEST 00001a57: PUSH2 0x1a60 00001a5a: PUSH1 0x60 00001a5c: PUSH2 0x0ed7 00001a5f: JUMP 00001a60: JUMPDEST 00001a61: SWAP1 00001a62: POP 00001a63: PUSH0 00001a64: PUSH2 0x1a6f 00001a67: DUP5 00001a68: DUP3 00001a69: DUP6 00001a6a: ADD 00001a6b: PUSH2 0x19d9 00001a6e: JUMP 00001a6f: JUMPDEST 00001a70: PUSH0 00001a71: DUP4 00001a72: ADD 00001a73: MSTORE 00001a74: POP 00001a75: PUSH1 0x20 00001a77: PUSH2 0x1a82 00001a7a: DUP5 00001a7b: DUP3 00001a7c: DUP6 00001a7d: ADD 00001a7e: PUSH2 0x1a03 00001a81: JUMP 00001a82: JUMPDEST 00001a83: PUSH1 0x20 00001a85: DUP4 00001a86: ADD 00001a87: MSTORE 00001a88: POP 00001a89: PUSH1 0x40 00001a8b: PUSH2 0x1a96 00001a8e: DUP5 00001a8f: DUP3 00001a90: DUP6 00001a91: ADD 00001a92: PUSH2 0x1a2d 00001a95: JUMP 00001a96: JUMPDEST 00001a97: PUSH1 0x40 00001a99: DUP4 00001a9a: ADD 00001a9b: MSTORE 00001a9c: POP 00001a9d: SWAP3 00001a9e: SWAP2 00001a9f: POP 00001aa0: POP 00001aa1: JUMP 00001aa2: JUMPDEST 00001aa3: PUSH0 00001aa4: PUSH2 0x0180 00001aa7: DUP3 00001aa8: DUP5 00001aa9: SUB 00001aaa: SLT 00001aab: ISZERO 00001aac: PUSH2 0x1ab8 00001aaf: JUMPI 00001ab0: PUSH2 0x1ab7 00001ab3: PUSH2 0x0e65 00001ab6: JUMP 00001ab7: JUMPDEST 00001ab8: JUMPDEST 00001ab9: PUSH2 0x1ac2 00001abc: PUSH1 0xc0 00001abe: PUSH2 0x0ed7 00001ac1: JUMP 00001ac2: JUMPDEST 00001ac3: SWAP1 00001ac4: POP 00001ac5: PUSH0 00001ac6: PUSH2 0x1ad1 00001ac9: DUP5 00001aca: DUP3 00001acb: DUP6 00001acc: ADD 00001acd: PUSH2 0x1093 00001ad0: JUMP 00001ad1: JUMPDEST 00001ad2: PUSH0 00001ad3: DUP4 00001ad4: ADD 00001ad5: MSTORE 00001ad6: POP 00001ad7: PUSH1 0x20 00001ad9: PUSH2 0x1ae4 00001adc: DUP5 00001add: DUP3 00001ade: DUP6 00001adf: ADD 00001ae0: PUSH2 0x0ff4 00001ae3: JUMP 00001ae4: JUMPDEST 00001ae5: PUSH1 0x20 00001ae7: DUP4 00001ae8: ADD 00001ae9: MSTORE 00001aea: POP 00001aeb: PUSH1 0xc0 00001aed: PUSH2 0x1af8 00001af0: DUP5 00001af1: DUP3 00001af2: DUP6 00001af3: ADD 00001af4: PUSH2 0x1a41 00001af7: JUMP 00001af8: JUMPDEST 00001af9: PUSH1 0x40 00001afb: DUP4 00001afc: ADD 00001afd: MSTORE 00001afe: POP 00001aff: PUSH2 0x0120 00001b02: PUSH2 0x1b0d 00001b05: DUP5 00001b06: DUP3 00001b07: DUP6 00001b08: ADD 00001b09: PUSH2 0x1093 00001b0c: JUMP 00001b0d: JUMPDEST 00001b0e: PUSH1 0x60 00001b10: DUP4 00001b11: ADD 00001b12: MSTORE 00001b13: POP 00001b14: PUSH2 0x0140 00001b17: PUSH2 0x1b22 00001b1a: DUP5 00001b1b: DUP3 00001b1c: DUP6 00001b1d: ADD 00001b1e: PUSH2 0x1093 00001b21: JUMP 00001b22: JUMPDEST 00001b23: PUSH1 0x80 00001b25: DUP4 00001b26: ADD 00001b27: MSTORE 00001b28: POP 00001b29: PUSH2 0x0160 00001b2c: PUSH2 0x1b37 00001b2f: DUP5 00001b30: DUP3 00001b31: DUP6 00001b32: ADD 00001b33: PUSH2 0x10c6 00001b36: JUMP 00001b37: JUMPDEST 00001b38: PUSH1 0xa0 00001b3a: DUP4 00001b3b: ADD 00001b3c: MSTORE 00001b3d: POP 00001b3e: SWAP3 00001b3f: SWAP2 00001b40: POP 00001b41: POP 00001b42: JUMP 00001b43: JUMPDEST 00001b44: PUSH0 00001b45: PUSH2 0x0180 00001b48: DUP3 00001b49: DUP5 00001b4a: SUB 00001b4b: SLT 00001b4c: ISZERO 00001b4d: PUSH2 0x1b59 00001b50: JUMPI 00001b51: PUSH2 0x1b58 00001b54: PUSH2 0x0e5d 00001b57: JUMP 00001b58: JUMPDEST 00001b59: JUMPDEST 00001b5a: PUSH0 00001b5b: PUSH2 0x1b66 00001b5e: DUP5 00001b5f: DUP3 00001b60: DUP6 00001b61: ADD 00001b62: PUSH2 0x1aa2 00001b65: JUMP 00001b66: JUMPDEST 00001b67: SWAP2 00001b68: POP 00001b69: POP 00001b6a: SWAP3 00001b6b: SWAP2 00001b6c: POP 00001b6d: POP 00001b6e: JUMP 00001b6f: JUMPDEST 00001b70: PUSH1 0xa0 00001b72: DUP3 00001b73: ADD 00001b74: PUSH0 00001b75: DUP3 00001b76: ADD 00001b77: MLOAD 00001b78: PUSH2 0x1b83 00001b7b: PUSH0 00001b7c: DUP6 00001b7d: ADD 00001b7e: DUP3 00001b7f: PUSH2 0x154d 00001b82: JUMP 00001b83: JUMPDEST 00001b84: POP 00001b85: PUSH1 0x20 00001b87: DUP3 00001b88: ADD 00001b89: MLOAD 00001b8a: PUSH2 0x1b96 00001b8d: PUSH1 0x20 00001b8f: DUP6 00001b90: ADD 00001b91: DUP3 00001b92: PUSH2 0x154d 00001b95: JUMP 00001b96: JUMPDEST 00001b97: POP 00001b98: PUSH1 0x40 00001b9a: DUP3 00001b9b: ADD 00001b9c: MLOAD 00001b9d: PUSH2 0x1ba9 00001ba0: PUSH1 0x40 00001ba2: DUP6 00001ba3: ADD 00001ba4: DUP3 00001ba5: PUSH2 0x155c 00001ba8: JUMP 00001ba9: JUMPDEST 00001baa: POP 00001bab: PUSH1 0x60 00001bad: DUP3 00001bae: ADD 00001baf: MLOAD 00001bb0: PUSH2 0x1bbc 00001bb3: PUSH1 0x60 00001bb5: DUP6 00001bb6: ADD 00001bb7: DUP3 00001bb8: PUSH2 0x156b 00001bbb: JUMP 00001bbc: JUMPDEST 00001bbd: POP 00001bbe: PUSH1 0x80 00001bc0: DUP3 00001bc1: ADD 00001bc2: MLOAD 00001bc3: PUSH2 0x1bcf 00001bc6: PUSH1 0x80 00001bc8: DUP6 00001bc9: ADD 00001bca: DUP3 00001bcb: PUSH2 0x158b 00001bce: JUMP 00001bcf: JUMPDEST 00001bd0: POP 00001bd1: POP 00001bd2: POP 00001bd3: POP 00001bd4: JUMP 00001bd5: JUMPDEST 00001bd6: PUSH1 0x60 00001bd8: DUP3 00001bd9: ADD 00001bda: PUSH0 00001bdb: DUP3 00001bdc: ADD 00001bdd: MLOAD 00001bde: PUSH2 0x1be9 00001be1: PUSH0 00001be2: DUP6 00001be3: ADD 00001be4: DUP3 00001be5: PUSH2 0x160b 00001be8: JUMP 00001be9: JUMPDEST 00001bea: POP 00001beb: PUSH1 0x20 00001bed: DUP3 00001bee: ADD 00001bef: MLOAD 00001bf0: PUSH2 0x1bfc 00001bf3: PUSH1 0x20 00001bf5: DUP6 00001bf6: ADD 00001bf7: DUP3 00001bf8: PUSH2 0x161a 00001bfb: JUMP 00001bfc: JUMPDEST 00001bfd: POP 00001bfe: PUSH1 0x40 00001c00: DUP3 00001c01: ADD 00001c02: MLOAD 00001c03: PUSH2 0x1c0f 00001c06: PUSH1 0x40 00001c08: DUP6 00001c09: ADD 00001c0a: DUP3 00001c0b: PUSH2 0x1629 00001c0e: JUMP 00001c0f: JUMPDEST 00001c10: POP 00001c11: POP 00001c12: POP 00001c13: POP 00001c14: JUMP 00001c15: JUMPDEST 00001c16: PUSH0 00001c17: PUSH2 0x0120 00001c1a: DUP3 00001c1b: ADD 00001c1c: SWAP1 00001c1d: POP 00001c1e: PUSH2 0x1c29 00001c21: PUSH0 00001c22: DUP4 00001c23: ADD 00001c24: DUP7 00001c25: PUSH2 0x1b6f 00001c28: JUMP 00001c29: JUMPDEST 00001c2a: PUSH2 0x1c36 00001c2d: PUSH1 0xa0 00001c2f: DUP4 00001c30: ADD 00001c31: DUP6 00001c32: PUSH2 0x1bd5 00001c35: JUMP 00001c36: JUMPDEST 00001c37: DUP2 00001c38: DUP2 00001c39: SUB 00001c3a: PUSH2 0x0100 00001c3d: DUP4 00001c3e: ADD 00001c3f: MSTORE 00001c40: PUSH2 0x1c49 00001c43: DUP2 00001c44: DUP5 00001c45: PUSH2 0x1342 00001c48: JUMP 00001c49: JUMPDEST 00001c4a: SWAP1 00001c4b: POP 00001c4c: SWAP5 00001c4d: SWAP4 00001c4e: POP 00001c4f: POP 00001c50: POP 00001c51: POP 00001c52: JUMP 00001c53: JUMPDEST 00001c54: PUSH2 0x1c5c 00001c57: DUP2 00001c58: PUSH2 0x1476 00001c5b: JUMP 00001c5c: JUMPDEST 00001c5d: DUP2 00001c5e: EQ 00001c5f: PUSH2 0x1c66 00001c62: JUMPI 00001c63: PUSH0 00001c64: PUSH0 00001c65: REVERT 00001c66: JUMPDEST 00001c67: POP 00001c68: JUMP 00001c69: JUMPDEST 00001c6a: PUSH0 00001c6b: DUP2 00001c6c: MLOAD 00001c6d: SWAP1 00001c6e: POP 00001c6f: PUSH2 0x1c77 00001c72: DUP2 00001c73: PUSH2 0x1c53 00001c76: JUMP 00001c77: JUMPDEST 00001c78: SWAP3 00001c79: SWAP2 00001c7a: POP 00001c7b: POP 00001c7c: JUMP 00001c7d: JUMPDEST 00001c7e: PUSH0 00001c7f: PUSH1 0x20 00001c81: DUP3 00001c82: DUP5 00001c83: SUB 00001c84: SLT 00001c85: ISZERO 00001c86: PUSH2 0x1c92 00001c89: JUMPI 00001c8a: PUSH2 0x1c91 00001c8d: PUSH2 0x0e5d 00001c90: JUMP 00001c91: JUMPDEST 00001c92: JUMPDEST 00001c93: PUSH0 00001c94: PUSH2 0x1c9f 00001c97: DUP5 00001c98: DUP3 00001c99: DUP6 00001c9a: ADD 00001c9b: PUSH2 0x1c69 00001c9e: JUMP 00001c9f: JUMPDEST 00001ca0: SWAP2 00001ca1: POP 00001ca2: POP 00001ca3: SWAP3 00001ca4: SWAP2 00001ca5: POP 00001ca6: POP 00001ca7: JUMP 00001ca8: JUMPDEST 00001ca9: PUSH0 00001caa: DUP2 00001cab: PUSH1 0x0f 00001cad: SIGNEXTEND 00001cae: SWAP1 00001caf: POP 00001cb0: SWAP2 00001cb1: SWAP1 00001cb2: POP 00001cb3: JUMP 00001cb4: JUMPDEST 00001cb5: PUSH0 00001cb6: PUSH2 0x1cbe 00001cb9: DUP3 00001cba: PUSH2 0x1ca8 00001cbd: JUMP 00001cbe: JUMPDEST 00001cbf: SWAP2 00001cc0: POP 00001cc1: PUSH32 0xffffffffffffffffffffffffffffffff80000000000000000000000000000000 00001ce2: DUP3 00001ce3: SUB 00001ce4: PUSH2 0x1cf0 00001ce7: JUMPI 00001ce8: PUSH2 0x1cef 00001ceb: PUSH2 0x147f 00001cee: JUMP 00001cef: JUMPDEST 00001cf0: JUMPDEST 00001cf1: DUP2 00001cf2: PUSH0 00001cf3: SUB 00001cf4: SWAP1 00001cf5: POP 00001cf6: SWAP2 00001cf7: SWAP1 00001cf8: POP 00001cf9: JUMP 00001cfa: JUMPDEST 00001cfb: PUSH2 0x1d03 00001cfe: DUP2 00001cff: PUSH2 0x153c 00001d02: JUMP 00001d03: JUMPDEST 00001d04: DUP3 00001d05: MSTORE 00001d06: POP 00001d07: POP 00001d08: JUMP 00001d09: JUMPDEST 00001d0a: PUSH0 00001d0b: PUSH1 0x20 00001d0d: DUP3 00001d0e: ADD 00001d0f: SWAP1 00001d10: POP 00001d11: PUSH2 0x1d1c 00001d14: PUSH0 00001d15: DUP4 00001d16: ADD 00001d17: DUP5 00001d18: PUSH2 0x1cfa 00001d1b: JUMP 00001d1c: JUMPDEST 00001d1d: SWAP3 00001d1e: SWAP2 00001d1f: POP 00001d20: POP 00001d21: JUMP 00001d22: JUMPDEST 00001d23: PUSH2 0x1d2b 00001d26: DUP2 00001d27: PUSH2 0x0f10 00001d2a: JUMP 00001d2b: JUMPDEST 00001d2c: DUP3 00001d2d: MSTORE 00001d2e: POP 00001d2f: POP 00001d30: JUMP 00001d31: JUMPDEST 00001d32: PUSH0 00001d33: PUSH1 0x60 00001d35: DUP3 00001d36: ADD 00001d37: SWAP1 00001d38: POP 00001d39: PUSH2 0x1d44 00001d3c: PUSH0 00001d3d: DUP4 00001d3e: ADD 00001d3f: DUP7 00001d40: PUSH2 0x1cfa 00001d43: JUMP 00001d44: JUMPDEST 00001d45: PUSH2 0x1d51 00001d48: PUSH1 0x20 00001d4a: DUP4 00001d4b: ADD 00001d4c: DUP6 00001d4d: PUSH2 0x1d22 00001d50: JUMP 00001d51: JUMPDEST 00001d52: PUSH2 0x1d5e 00001d55: PUSH1 0x40 00001d57: DUP4 00001d58: ADD 00001d59: DUP5 00001d5a: PUSH2 0x113f 00001d5d: JUMP 00001d5e: JUMPDEST 00001d5f: SWAP5 00001d60: SWAP4 00001d61: POP 00001d62: POP 00001d63: POP 00001d64: POP 00001d65: JUMP 00001d66: JUMPDEST 00001d67: PUSH0 00001d68: PUSH1 0x40 00001d6a: DUP3 00001d6b: ADD 00001d6c: SWAP1 00001d6d: POP 00001d6e: PUSH2 0x1d79 00001d71: PUSH0 00001d72: DUP4 00001d73: ADD 00001d74: DUP6 00001d75: PUSH2 0x1d22 00001d78: JUMP 00001d79: JUMPDEST 00001d7a: PUSH2 0x1d86 00001d7d: PUSH1 0x20 00001d7f: DUP4 00001d80: ADD 00001d81: DUP5 00001d82: PUSH2 0x113f 00001d85: JUMP 00001d86: JUMPDEST 00001d87: SWAP4 00001d88: SWAP3 00001d89: POP 00001d8a: POP 00001d8b: POP 00001d8c: JUMP 00001d8d: JUMPDEST 00001d8e: PUSH32 0x45524332303a20d0bfd0b5d180d0b5d0b4d0b0d187d0b020d0bdd0b520d183d0 00001daf: PUSH0 00001db0: DUP3 00001db1: ADD 00001db2: MSTORE 00001db3: PUSH32 0xb4d0b0d0bbd0b0d181d18c000000000000000000000000000000000000000000 00001dd4: PUSH1 0x20 00001dd6: DUP3 00001dd7: ADD 00001dd8: MSTORE 00001dd9: POP 00001dda: JUMP 00001ddb: JUMPDEST 00001ddc: PUSH0 00001ddd: PUSH2 0x1de7 00001de0: PUSH1 0x2b 00001de2: DUP4 00001de3: PUSH2 0x13d8 00001de6: JUMP 00001de7: JUMPDEST 00001de8: SWAP2 00001de9: POP 00001dea: PUSH2 0x1df2 00001ded: DUP3 00001dee: PUSH2 0x1d8d 00001df1: JUMP 00001df2: JUMPDEST 00001df3: PUSH1 0x40 00001df5: DUP3 00001df6: ADD 00001df7: SWAP1 00001df8: POP 00001df9: SWAP2 00001dfa: SWAP1 00001dfb: POP 00001dfc: JUMP 00001dfd: JUMPDEST 00001dfe: PUSH0 00001dff: PUSH1 0x20 00001e01: DUP3 00001e02: ADD 00001e03: SWAP1 00001e04: POP 00001e05: DUP2 00001e06: DUP2 00001e07: SUB 00001e08: PUSH0 00001e09: DUP4 00001e0a: ADD 00001e0b: MSTORE 00001e0c: PUSH2 0x1e14 00001e0f: DUP2 00001e10: PUSH2 0x1ddb 00001e13: JUMP 00001e14: JUMPDEST 00001e15: SWAP1 00001e16: POP 00001e17: SWAP2 00001e18: SWAP1 00001e19: POP 00001e1a: JUMP 00001e1b: INVALID 00001e1c: LOG2 00001e1d: PUSH5 0x6970667358 00001e23: UNKNOWN(0x22) 00001e24: SLT 00001e25: KECCAK256 00001e26: UNKNOWN(0xB4) 00001e27: CALLCODE 00001e28: UNKNOWN(0x0D) 00001e29: SWAP15 00001e2a: DELEGATECALL 00001e2b: PUSH19 0xc84afc253277d6abde66888a1ec809338c6771 00001e3f: UNKNOWN(0xA7) 00001e40: UNKNOWN(0xCE) 00001e41: ADD 00001e42: JUMPI 00001e43: ADD 00001e44: PUSH1 0x49 00001e46: PUSH5 0x736f6c6343 00001e4c: STOP 00001e4d: ADDMOD 00001e4e: CLZ 00001e4f: STOP 00001e50: CALLER
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x010e2b0b0399d09851dd07215a18d5c8cd02cfaa5c21e73f261d540fa8d83d4e
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 72,
"trace_id": "0x010e2b0b0399d09851dd07215a18d5c8cd02cfaa5c21e73f261d540fa8d83d4e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x91dd7346",
"selector": "0x91dd7346",
"calldata_variants": [
"0x91dd7346",
"0x91dd73460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb42d931b",
"selector": "0xb42d931b",
"calldata_variants": [
"0xb42d931b",
"0xb42d931b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc1bebbb1",
"selector": "0xc1bebbb1",
"calldata_variants": [
"0xc1bebbb1",
"0xc1bebbb10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8f02814",
"selector": "0xf8f02814",
"calldata_variants": [
"0xf8f02814",
"0xf8f028140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x036c3c78",
"selector": "0x036c3c78",
"calldata_variants": [
"0x036c3c78",
"0x036c3c780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3b0faf9d",
"selector": "0x3b0faf9d",
"calldata_variants": [
"0x3b0faf9d",
"0x3b0faf9d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7722,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 1664,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x71b784d36976c3fd2f816a0927085544b8a07c615d1c62ce5acf19a60f1dbe9e
call_targets:
0xa2de31eb9e3ac611d6ed4c0f778f07c36f142989
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x71b784d36976c3fd2f816a0927085544b8a07c615d1c62ce5acf19a60f1dbe9e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa2de31eb9e3ac611d6ed4c0f778f07c36f142989"
],
"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": "0x91dd7346",
"selector": "0x91dd7346",
"calldata_variants": [
"0x91dd7346",
"0x91dd73460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb42d931b",
"selector": "0xb42d931b",
"calldata_variants": [
"0xb42d931b",
"0xb42d931b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc1bebbb1",
"selector": "0xc1bebbb1",
"calldata_variants": [
"0xc1bebbb1",
"0xc1bebbb10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8f02814",
"selector": "0xf8f02814",
"calldata_variants": [
"0xf8f02814",
"0xf8f028140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x036c3c78",
"selector": "0x036c3c78",
"calldata_variants": [
"0x036c3c78",
"0x036c3c780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3b0faf9d",
"selector": "0x3b0faf9d",
"calldata_variants": [
"0x3b0faf9d",
"0x3b0faf9d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 949,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1311,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1880,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 10,
"guards_detected": [
{
"pc": 1664,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 10
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x71b784d36976c3fd2f816a0927085544b8a07c615d1c62ce5acf19a60f1dbe9e
call_targets:
0xa2de31eb9e3ac611d6ed4c0f778f07c36f142989
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x71b784d36976c3fd2f816a0927085544b8a07c615d1c62ce5acf19a60f1dbe9e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa2de31eb9e3ac611d6ed4c0f778f07c36f142989"
],
"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": "0x91dd7346",
"selector": "0x91dd7346",
"calldata_variants": [
"0x91dd7346",
"0x91dd73460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb42d931b",
"selector": "0xb42d931b",
"calldata_variants": [
"0xb42d931b",
"0xb42d931b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc1bebbb1",
"selector": "0xc1bebbb1",
"calldata_variants": [
"0xc1bebbb1",
"0xc1bebbb10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8f02814",
"selector": "0xf8f02814",
"calldata_variants": [
"0xf8f02814",
"0xf8f028140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x036c3c78",
"selector": "0x036c3c78",
"calldata_variants": [
"0x036c3c78",
"0x036c3c780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3b0faf9d",
"selector": "0x3b0faf9d",
"calldata_variants": [
"0x3b0faf9d",
"0x3b0faf9d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 949,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1311,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1880,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 9,
"guards_detected": [
{
"pc": 1664,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|