019b3844-99f4-72f4-996e-a536e7a42f0f
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 |
|---|---|---|---|---|
| 14177 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 14178 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 85108 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 85109 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 85110 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 85111 | 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 0x00ec 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x008a 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc746d1d0 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc746d1d0 0000002f: EQ 00000030: PUSH2 0x0293 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe2bbb158 0000003a: EQ 0000003b: PUSH2 0x02a8 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x02cb 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf887ea40 00000050: EQ 00000051: PUSH2 0x02fe 00000054: JUMPI 00000055: PUSH2 0x00f3 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x8da5cb5b 00000060: EQ 00000061: PUSH2 0x0224 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x96e4ee3d 0000006b: EQ 0000006c: PUSH2 0x0239 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xad5c4648 00000076: EQ 00000077: PUSH2 0x0269 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xc45a0155 00000081: EQ 00000082: PUSH2 0x027e 00000085: JUMPI 00000086: PUSH2 0x00f3 00000089: JUMP 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x6b426d66 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x6b426d66 0000009c: EQ 0000009d: PUSH2 0x018f 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x715018a6 000000a7: EQ 000000a8: PUSH2 0x01b9 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x7827524b 000000b2: EQ 000000b3: PUSH2 0x01d0 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x86a88da2 000000bd: EQ 000000be: PUSH2 0x01fa 000000c1: JUMPI 000000c2: PUSH2 0x00f3 000000c5: JUMP 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x2a113d6e 000000cd: EQ 000000ce: PUSH2 0x00f8 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x49a69508 000000d8: EQ 000000d9: PUSH2 0x0129 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x56aa7199 000000e3: EQ 000000e4: PUSH2 0x0150 000000e7: JUMPI 000000e8: PUSH2 0x00f3 000000eb: JUMP 000000ec: JUMPDEST 000000ed: CALLDATASIZE 000000ee: PUSH2 0x00f3 000000f1: JUMPI 000000f2: STOP 000000f3: JUMPDEST 000000f4: PUSH1 0x00 000000f6: DUP1 000000f7: REVERT 000000f8: JUMPDEST 000000f9: CALLVALUE 000000fa: DUP1 000000fb: ISZERO 000000fc: PUSH2 0x0104 000000ff: JUMPI 00000100: PUSH1 0x00 00000102: DUP1 00000103: REVERT 00000104: JUMPDEST 00000105: POP 00000106: PUSH2 0x010d 00000109: PUSH2 0x0313 0000010c: JUMP 0000010d: JUMPDEST 0000010e: PUSH1 0x40 00000110: DUP1 00000111: MLOAD 00000112: PUSH1 0x01 00000114: PUSH1 0x01 00000116: PUSH1 0xa0 00000118: SHL 00000119: SUB 0000011a: SWAP1 0000011b: SWAP3 0000011c: AND 0000011d: DUP3 0000011e: MSTORE 0000011f: MLOAD 00000120: SWAP1 00000121: DUP2 00000122: SWAP1 00000123: SUB 00000124: PUSH1 0x20 00000126: ADD 00000127: SWAP1 00000128: RETURN 00000129: JUMPDEST 0000012a: CALLVALUE 0000012b: DUP1 0000012c: ISZERO 0000012d: PUSH2 0x0135 00000130: JUMPI 00000131: PUSH1 0x00 00000133: DUP1 00000134: REVERT 00000135: JUMPDEST 00000136: POP 00000137: PUSH2 0x013e 0000013a: PUSH2 0x0337 0000013d: JUMP 0000013e: JUMPDEST 0000013f: PUSH1 0x40 00000141: DUP1 00000142: MLOAD 00000143: SWAP2 00000144: DUP3 00000145: MSTORE 00000146: MLOAD 00000147: SWAP1 00000148: DUP2 00000149: SWAP1 0000014a: SUB 0000014b: PUSH1 0x20 0000014d: ADD 0000014e: SWAP1 0000014f: RETURN 00000150: JUMPDEST 00000151: CALLVALUE 00000152: DUP1 00000153: ISZERO 00000154: PUSH2 0x015c 00000157: JUMPI 00000158: PUSH1 0x00 0000015a: DUP1 0000015b: REVERT 0000015c: JUMPDEST 0000015d: POP 0000015e: PUSH2 0x013e 00000161: PUSH1 0x04 00000163: DUP1 00000164: CALLDATASIZE 00000165: SUB 00000166: PUSH1 0x60 00000168: DUP2 00000169: LT 0000016a: ISZERO 0000016b: PUSH2 0x0173 0000016e: JUMPI 0000016f: PUSH1 0x00 00000171: DUP1 00000172: REVERT 00000173: JUMPDEST 00000174: POP 00000175: DUP1 00000176: CALLDATALOAD 00000177: SWAP1 00000178: PUSH1 0x20 0000017a: DUP2 0000017b: ADD 0000017c: CALLDATALOAD 0000017d: SWAP1 0000017e: PUSH1 0x40 00000180: ADD 00000181: CALLDATALOAD 00000182: PUSH1 0x01 00000184: PUSH1 0x01 00000186: PUSH1 0xa0 00000188: SHL 00000189: SUB 0000018a: AND 0000018b: PUSH2 0x033d 0000018e: JUMP 0000018f: JUMPDEST 00000190: CALLVALUE 00000191: DUP1 00000192: ISZERO 00000193: PUSH2 0x019b 00000196: JUMPI 00000197: PUSH1 0x00 00000199: DUP1 0000019a: REVERT 0000019b: JUMPDEST 0000019c: POP 0000019d: PUSH2 0x013e 000001a0: PUSH1 0x04 000001a2: DUP1 000001a3: CALLDATASIZE 000001a4: SUB 000001a5: PUSH1 0x20 000001a7: DUP2 000001a8: LT 000001a9: ISZERO 000001aa: PUSH2 0x01b2 000001ad: JUMPI 000001ae: PUSH1 0x00 000001b0: DUP1 000001b1: REVERT 000001b2: JUMPDEST 000001b3: POP 000001b4: CALLDATALOAD 000001b5: PUSH2 0x04fe 000001b8: JUMP 000001b9: JUMPDEST 000001ba: CALLVALUE 000001bb: DUP1 000001bc: ISZERO 000001bd: PUSH2 0x01c5 000001c0: JUMPI 000001c1: PUSH1 0x00 000001c3: DUP1 000001c4: REVERT 000001c5: JUMPDEST 000001c6: POP 000001c7: PUSH2 0x01ce 000001ca: PUSH2 0x0622 000001cd: JUMP 000001ce: JUMPDEST 000001cf: STOP 000001d0: JUMPDEST 000001d1: CALLVALUE 000001d2: DUP1 000001d3: ISZERO 000001d4: PUSH2 0x01dc 000001d7: JUMPI 000001d8: PUSH1 0x00 000001da: DUP1 000001db: REVERT 000001dc: JUMPDEST 000001dd: POP 000001de: PUSH2 0x01ce 000001e1: PUSH1 0x04 000001e3: DUP1 000001e4: CALLDATASIZE 000001e5: SUB 000001e6: PUSH1 0x20 000001e8: DUP2 000001e9: LT 000001ea: ISZERO 000001eb: PUSH2 0x01f3 000001ee: JUMPI 000001ef: PUSH1 0x00 000001f1: DUP1 000001f2: REVERT 000001f3: JUMPDEST 000001f4: POP 000001f5: CALLDATALOAD 000001f6: PUSH2 0x06ce 000001f9: JUMP 000001fa: JUMPDEST 000001fb: CALLVALUE 000001fc: DUP1 000001fd: ISZERO 000001fe: PUSH2 0x0206 00000201: JUMPI 00000202: PUSH1 0x00 00000204: DUP1 00000205: REVERT 00000206: JUMPDEST 00000207: POP 00000208: PUSH2 0x01ce 0000020b: PUSH1 0x04 0000020d: DUP1 0000020e: CALLDATASIZE 0000020f: SUB 00000210: PUSH1 0x20 00000212: DUP2 00000213: LT 00000214: ISZERO 00000215: PUSH2 0x021d 00000218: JUMPI 00000219: PUSH1 0x00 0000021b: DUP1 0000021c: REVERT 0000021d: JUMPDEST 0000021e: POP 0000021f: CALLDATALOAD 00000220: PUSH2 0x0735 00000223: JUMP 00000224: JUMPDEST 00000225: CALLVALUE 00000226: DUP1 00000227: ISZERO 00000228: PUSH2 0x0230 0000022b: JUMPI 0000022c: PUSH1 0x00 0000022e: DUP1 0000022f: REVERT 00000230: JUMPDEST 00000231: POP 00000232: PUSH2 0x010d 00000235: PUSH2 0x079c 00000238: JUMP 00000239: JUMPDEST 0000023a: CALLVALUE 0000023b: DUP1 0000023c: ISZERO 0000023d: PUSH2 0x0245 00000240: JUMPI 00000241: PUSH1 0x00 00000243: DUP1 00000244: REVERT 00000245: JUMPDEST 00000246: POP 00000247: PUSH2 0x013e 0000024a: PUSH1 0x04 0000024c: DUP1 0000024d: CALLDATASIZE 0000024e: SUB 0000024f: PUSH1 0x40 00000251: DUP2 00000252: LT 00000253: ISZERO 00000254: PUSH2 0x025c 00000257: JUMPI 00000258: PUSH1 0x00 0000025a: DUP1 0000025b: REVERT 0000025c: JUMPDEST 0000025d: POP 0000025e: DUP1 0000025f: CALLDATALOAD 00000260: SWAP1 00000261: PUSH1 0x20 00000263: ADD 00000264: CALLDATALOAD 00000265: PUSH2 0x07ab 00000268: JUMP 00000269: JUMPDEST 0000026a: CALLVALUE 0000026b: DUP1 0000026c: ISZERO 0000026d: PUSH2 0x0275 00000270: JUMPI 00000271: PUSH1 0x00 00000273: DUP1 00000274: REVERT 00000275: JUMPDEST 00000276: POP 00000277: PUSH2 0x010d 0000027a: PUSH2 0x0a47 0000027d: JUMP 0000027e: JUMPDEST 0000027f: CALLVALUE 00000280: DUP1 00000281: ISZERO 00000282: PUSH2 0x028a 00000285: JUMPI 00000286: PUSH1 0x00 00000288: DUP1 00000289: REVERT 0000028a: JUMPDEST 0000028b: POP 0000028c: PUSH2 0x010d 0000028f: PUSH2 0x0a6b 00000292: JUMP 00000293: JUMPDEST 00000294: CALLVALUE 00000295: DUP1 00000296: ISZERO 00000297: PUSH2 0x029f 0000029a: JUMPI 0000029b: PUSH1 0x00 0000029d: DUP1 0000029e: REVERT 0000029f: JUMPDEST 000002a0: POP 000002a1: PUSH2 0x013e 000002a4: PUSH2 0x0a8f 000002a7: JUMP 000002a8: JUMPDEST 000002a9: PUSH2 0x013e 000002ac: PUSH1 0x04 000002ae: DUP1 000002af: CALLDATASIZE 000002b0: SUB 000002b1: PUSH1 0x40 000002b3: DUP2 000002b4: LT 000002b5: ISZERO 000002b6: PUSH2 0x02be 000002b9: JUMPI 000002ba: PUSH1 0x00 000002bc: DUP1 000002bd: REVERT 000002be: JUMPDEST 000002bf: POP 000002c0: DUP1 000002c1: CALLDATALOAD 000002c2: SWAP1 000002c3: PUSH1 0x20 000002c5: ADD 000002c6: CALLDATALOAD 000002c7: PUSH2 0x0a95 000002ca: JUMP 000002cb: JUMPDEST 000002cc: CALLVALUE 000002cd: DUP1 000002ce: ISZERO 000002cf: PUSH2 0x02d7 000002d2: JUMPI 000002d3: PUSH1 0x00 000002d5: DUP1 000002d6: REVERT 000002d7: JUMPDEST 000002d8: POP 000002d9: PUSH2 0x01ce 000002dc: PUSH1 0x04 000002de: DUP1 000002df: CALLDATASIZE 000002e0: SUB 000002e1: PUSH1 0x20 000002e3: DUP2 000002e4: LT 000002e5: ISZERO 000002e6: PUSH2 0x02ee 000002e9: JUMPI 000002ea: PUSH1 0x00 000002ec: DUP1 000002ed: REVERT 000002ee: JUMPDEST 000002ef: POP 000002f0: CALLDATALOAD 000002f1: PUSH1 0x01 000002f3: PUSH1 0x01 000002f5: PUSH1 0xa0 000002f7: SHL 000002f8: SUB 000002f9: AND 000002fa: PUSH2 0x0d3f 000002fd: JUMP 000002fe: JUMPDEST 000002ff: CALLVALUE 00000300: DUP1 00000301: ISZERO 00000302: PUSH2 0x030a 00000305: JUMPI 00000306: PUSH1 0x00 00000308: DUP1 00000309: REVERT 0000030a: JUMPDEST 0000030b: POP 0000030c: PUSH2 0x010d 0000030f: PUSH2 0x0e41 00000312: JUMP 00000313: JUMPDEST 00000314: PUSH32 0x000000000000000000000000737901bea3eeb88459df9ef1be8ff3ae1b42a2ba 00000335: DUP2 00000336: JUMP 00000337: JUMPDEST 00000338: PUSH1 0x01 0000033a: SLOAD 0000033b: DUP2 0000033c: JUMP 0000033d: JUMPDEST 0000033e: PUSH1 0x00 00000340: CALLER 00000341: PUSH1 0x01 00000343: PUSH1 0x01 00000345: PUSH1 0xa0 00000347: SHL 00000348: SUB 00000349: PUSH32 0x000000000000000000000000737901bea3eeb88459df9ef1be8ff3ae1b42a2ba 0000036a: AND 0000036b: EQ 0000036c: PUSH2 0x03bc 0000036f: JUMPI 00000370: PUSH1 0x40 00000372: DUP1 00000373: MLOAD 00000374: PUSH3 0x461bcd 00000378: PUSH1 0xe5 0000037a: SHL 0000037b: DUP2 0000037c: MSTORE 0000037d: PUSH1 0x20 0000037f: PUSH1 0x04 00000381: DUP3 00000382: ADD 00000383: MSTORE 00000384: PUSH1 0x1f 00000386: PUSH1 0x24 00000388: DUP3 00000389: ADD 0000038a: MSTORE 0000038b: PUSH32 0x466565204469737472696275746f723a20494e56414c49445f43414c4c455200 000003ac: PUSH1 0x44 000003ae: DUP3 000003af: ADD 000003b0: MSTORE 000003b1: SWAP1 000003b2: MLOAD 000003b3: SWAP1 000003b4: DUP2 000003b5: SWAP1 000003b6: SUB 000003b7: PUSH1 0x64 000003b9: ADD 000003ba: SWAP1 000003bb: REVERT 000003bc: JUMPDEST 000003bd: PUSH2 0x03e1 000003c0: GASPRICE 000003c1: PUSH2 0x03d5 000003c4: PUSH1 0x01 000003c6: SLOAD 000003c7: DUP8 000003c8: PUSH2 0x0e65 000003cb: SWAP1 000003cc: SWAP2 000003cd: SWAP1 000003ce: PUSH4 0xffffffff 000003d3: AND 000003d4: JUMP 000003d5: JUMPDEST 000003d6: SWAP1 000003d7: PUSH4 0xffffffff 000003dc: PUSH2 0x0ec8 000003df: AND 000003e0: JUMP 000003e1: JUMPDEST 000003e2: SWAP1 000003e3: POP 000003e4: DUP3 000003e5: DUP2 000003e6: GT 000003e7: ISZERO 000003e8: PUSH2 0x0422 000003eb: JUMPI 000003ec: PUSH1 0x40 000003ee: MLOAD 000003ef: PUSH3 0x461bcd 000003f3: PUSH1 0xe5 000003f5: SHL 000003f6: DUP2 000003f7: MSTORE 000003f8: PUSH1 0x04 000003fa: ADD 000003fb: DUP1 000003fc: DUP1 000003fd: PUSH1 0x20 000003ff: ADD 00000400: DUP3 00000401: DUP2 00000402: SUB 00000403: DUP3 00000404: MSTORE 00000405: PUSH1 0x23 00000407: DUP2 00000408: MSTORE 00000409: PUSH1 0x20 0000040b: ADD 0000040c: DUP1 0000040d: PUSH2 0x182b 00000410: PUSH1 0x23 00000412: SWAP2 00000413: CODECOPY 00000414: PUSH1 0x40 00000416: ADD 00000417: SWAP2 00000418: POP 00000419: POP 0000041a: PUSH1 0x40 0000041c: MLOAD 0000041d: DUP1 0000041e: SWAP2 0000041f: SUB 00000420: SWAP1 00000421: REVERT 00000422: JUMPDEST 00000423: PUSH1 0x40 00000425: MLOAD 00000426: PUSH1 0x00 00000428: SWAP1 00000429: PUSH1 0x01 0000042b: PUSH1 0x01 0000042d: PUSH1 0xa0 0000042f: SHL 00000430: SUB 00000431: DUP5 00000432: AND 00000433: SWAP1 00000434: DUP4 00000435: SWAP1 00000436: DUP4 00000437: DUP2 00000438: DUP2 00000439: DUP2 0000043a: DUP6 0000043b: DUP8 0000043c: GAS 0000043d: CALL 0000043e: SWAP3 0000043f: POP 00000440: POP 00000441: POP 00000442: RETURNDATASIZE 00000443: DUP1 00000444: PUSH1 0x00 00000446: DUP2 00000447: EQ 00000448: PUSH2 0x046d 0000044b: JUMPI 0000044c: PUSH1 0x40 0000044e: MLOAD 0000044f: SWAP2 00000450: POP 00000451: PUSH1 0x1f 00000453: NOT 00000454: PUSH1 0x3f 00000456: RETURNDATASIZE 00000457: ADD 00000458: AND 00000459: DUP3 0000045a: ADD 0000045b: PUSH1 0x40 0000045d: MSTORE 0000045e: RETURNDATASIZE 0000045f: DUP3 00000460: MSTORE 00000461: RETURNDATASIZE 00000462: PUSH1 0x00 00000464: PUSH1 0x20 00000466: DUP5 00000467: ADD 00000468: RETURNDATACOPY 00000469: PUSH2 0x0472 0000046c: JUMP 0000046d: JUMPDEST 0000046e: PUSH1 0x60 00000470: SWAP2 00000471: POP 00000472: JUMPDEST 00000473: POP 00000474: POP 00000475: SWAP1 00000476: POP 00000477: DUP1 00000478: PUSH2 0x04b2 0000047b: JUMPI 0000047c: PUSH1 0x40 0000047e: MLOAD 0000047f: PUSH3 0x461bcd 00000483: PUSH1 0xe5 00000485: SHL 00000486: DUP2 00000487: MSTORE 00000488: PUSH1 0x04 0000048a: ADD 0000048b: DUP1 0000048c: DUP1 0000048d: PUSH1 0x20 0000048f: ADD 00000490: DUP3 00000491: DUP2 00000492: SUB 00000493: DUP3 00000494: MSTORE 00000495: PUSH1 0x25 00000497: DUP2 00000498: MSTORE 00000499: PUSH1 0x20 0000049b: ADD 0000049c: DUP1 0000049d: PUSH2 0x17c5 000004a0: PUSH1 0x25 000004a2: SWAP2 000004a3: CODECOPY 000004a4: PUSH1 0x40 000004a6: ADD 000004a7: SWAP2 000004a8: POP 000004a9: POP 000004aa: PUSH1 0x40 000004ac: MLOAD 000004ad: DUP1 000004ae: SWAP2 000004af: SUB 000004b0: SWAP1 000004b1: REVERT 000004b2: JUMPDEST 000004b3: PUSH1 0x40 000004b5: DUP1 000004b6: MLOAD 000004b7: PUSH1 0x01 000004b9: PUSH1 0x01 000004bb: PUSH1 0xa0 000004bd: SHL 000004be: SUB 000004bf: DUP6 000004c0: AND 000004c1: DUP2 000004c2: MSTORE 000004c3: PUSH1 0x20 000004c5: DUP2 000004c6: ADD 000004c7: DUP5 000004c8: SWAP1 000004c9: MSTORE 000004ca: DUP2 000004cb: MLOAD 000004cc: PUSH32 0xcf4cc329b7982381c7a729b04a403439bbef0749b4a8dbd2a3850218b420bd87 000004ed: SWAP3 000004ee: SWAP2 000004ef: DUP2 000004f0: SWAP1 000004f1: SUB 000004f2: SWAP1 000004f3: SWAP2 000004f4: ADD 000004f5: SWAP1 000004f6: LOG1 000004f7: POP 000004f8: SWAP4 000004f9: SWAP3 000004fa: POP 000004fb: POP 000004fc: POP 000004fd: JUMP 000004fe: JUMPDEST 000004ff: PUSH1 0x00 00000501: DUP2 00000502: PUSH2 0x050c 00000505: JUMPI 00000506: POP 00000507: SELFBALANCE 00000508: PUSH2 0x061d 0000050b: JUMP 0000050c: JUMPDEST 0000050d: PUSH1 0x00 0000050f: PUSH32 0x000000000000000000000000737901bea3eeb88459df9ef1be8ff3ae1b42a2ba 00000530: PUSH1 0x01 00000532: PUSH1 0x01 00000534: PUSH1 0xa0 00000536: SHL 00000537: SUB 00000538: AND 00000539: PUSH4 0x60a8b18a 0000053e: DUP5 0000053f: PUSH1 0x40 00000541: MLOAD 00000542: DUP3 00000543: PUSH4 0xffffffff 00000548: AND 00000549: PUSH1 0xe0 0000054b: SHL 0000054c: DUP2 0000054d: MSTORE 0000054e: PUSH1 0x04 00000550: ADD 00000551: DUP1 00000552: DUP3 00000553: DUP2 00000554: MSTORE 00000555: PUSH1 0x20 00000557: ADD 00000558: SWAP2 00000559: POP 0000055a: POP 0000055b: PUSH1 0x20 0000055d: PUSH1 0x40 0000055f: MLOAD 00000560: DUP1 00000561: DUP4 00000562: SUB 00000563: DUP2 00000564: DUP7 00000565: DUP1 00000566: EXTCODESIZE 00000567: ISZERO 00000568: DUP1 00000569: ISZERO 0000056a: PUSH2 0x0572 0000056d: JUMPI 0000056e: PUSH1 0x00 00000570: DUP1 00000571: REVERT 00000572: JUMPDEST 00000573: POP 00000574: GAS 00000575: STATICCALL 00000576: ISZERO 00000577: DUP1 00000578: ISZERO 00000579: PUSH2 0x0586 0000057c: JUMPI 0000057d: RETURNDATASIZE 0000057e: PUSH1 0x00 00000580: DUP1 00000581: RETURNDATACOPY 00000582: RETURNDATASIZE 00000583: PUSH1 0x00 00000585: REVERT 00000586: JUMPDEST 00000587: POP 00000588: POP 00000589: POP 0000058a: POP 0000058b: PUSH1 0x40 0000058d: MLOAD 0000058e: RETURNDATASIZE 0000058f: PUSH1 0x20 00000591: DUP2 00000592: LT 00000593: ISZERO 00000594: PUSH2 0x059c 00000597: JUMPI 00000598: PUSH1 0x00 0000059a: DUP1 0000059b: REVERT 0000059c: JUMPDEST 0000059d: POP 0000059e: MLOAD 0000059f: PUSH1 0x40 000005a1: DUP1 000005a2: MLOAD 000005a3: PUSH4 0x70a08231 000005a8: PUSH1 0xe0 000005aa: SHL 000005ab: DUP2 000005ac: MSTORE 000005ad: ADDRESS 000005ae: PUSH1 0x04 000005b0: DUP3 000005b1: ADD 000005b2: MSTORE 000005b3: SWAP1 000005b4: MLOAD 000005b5: SWAP2 000005b6: SWAP3 000005b7: POP 000005b8: PUSH1 0x01 000005ba: PUSH1 0x01 000005bc: PUSH1 0xa0 000005be: SHL 000005bf: SUB 000005c0: DUP4 000005c1: AND 000005c2: SWAP2 000005c3: PUSH4 0x70a08231 000005c8: SWAP2 000005c9: PUSH1 0x24 000005cb: DUP1 000005cc: DUP3 000005cd: ADD 000005ce: SWAP3 000005cf: PUSH1 0x20 000005d1: SWAP3 000005d2: SWAP1 000005d3: SWAP2 000005d4: SWAP1 000005d5: DUP3 000005d6: SWAP1 000005d7: SUB 000005d8: ADD 000005d9: DUP2 000005da: DUP7 000005db: DUP1 000005dc: EXTCODESIZE 000005dd: ISZERO 000005de: DUP1 000005df: ISZERO 000005e0: PUSH2 0x05e8 000005e3: JUMPI 000005e4: PUSH1 0x00 000005e6: DUP1 000005e7: REVERT 000005e8: JUMPDEST 000005e9: POP 000005ea: GAS 000005eb: STATICCALL 000005ec: ISZERO 000005ed: DUP1 000005ee: ISZERO 000005ef: PUSH2 0x05fc 000005f2: JUMPI 000005f3: RETURNDATASIZE 000005f4: PUSH1 0x00 000005f6: DUP1 000005f7: RETURNDATACOPY 000005f8: RETURNDATASIZE 000005f9: PUSH1 0x00 000005fb: REVERT 000005fc: JUMPDEST 000005fd: POP 000005fe: POP 000005ff: POP 00000600: POP 00000601: PUSH1 0x40 00000603: MLOAD 00000604: RETURNDATASIZE 00000605: PUSH1 0x20 00000607: DUP2 00000608: LT 00000609: ISZERO 0000060a: PUSH2 0x0612 0000060d: JUMPI 0000060e: PUSH1 0x00 00000610: DUP1 00000611: REVERT 00000612: JUMPDEST 00000613: POP 00000614: MLOAD 00000615: SWAP2 00000616: POP 00000617: PUSH2 0x061d 0000061a: SWAP1 0000061b: POP 0000061c: JUMP 0000061d: JUMPDEST 0000061e: SWAP2 0000061f: SWAP1 00000620: POP 00000621: JUMP 00000622: JUMPDEST 00000623: PUSH2 0x062a 00000626: PUSH2 0x0f21 00000629: JUMP 0000062a: JUMPDEST 0000062b: PUSH1 0x01 0000062d: PUSH1 0x01 0000062f: PUSH1 0xa0 00000631: SHL 00000632: SUB 00000633: AND 00000634: PUSH2 0x063b 00000637: PUSH2 0x079c 0000063a: JUMP 0000063b: JUMPDEST 0000063c: PUSH1 0x01 0000063e: PUSH1 0x01 00000640: PUSH1 0xa0 00000642: SHL 00000643: SUB 00000644: AND 00000645: EQ 00000646: PUSH2 0x0684 00000649: JUMPI 0000064a: PUSH1 0x40 0000064c: DUP1 0000064d: MLOAD 0000064e: PUSH3 0x461bcd 00000652: PUSH1 0xe5 00000654: SHL 00000655: DUP2 00000656: MSTORE 00000657: PUSH1 0x20 00000659: PUSH1 0x04 0000065b: DUP3 0000065c: ADD 0000065d: DUP2 0000065e: SWAP1 0000065f: MSTORE 00000660: PUSH1 0x24 00000662: DUP3 00000663: ADD 00000664: MSTORE 00000665: PUSH1 0x00 00000667: DUP1 00000668: MLOAD 00000669: PUSH1 0x20 0000066b: PUSH2 0x180b 0000066e: DUP4 0000066f: CODECOPY 00000670: DUP2 00000671: MLOAD 00000672: SWAP2 00000673: MSTORE 00000674: PUSH1 0x44 00000676: DUP3 00000677: ADD 00000678: MSTORE 00000679: SWAP1 0000067a: MLOAD 0000067b: SWAP1 0000067c: DUP2 0000067d: SWAP1 0000067e: SUB 0000067f: PUSH1 0x64 00000681: ADD 00000682: SWAP1 00000683: REVERT 00000684: JUMPDEST 00000685: PUSH1 0x00 00000687: DUP1 00000688: SLOAD 00000689: PUSH1 0x40 0000068b: MLOAD 0000068c: PUSH1 0x01 0000068e: PUSH1 0x01 00000690: PUSH1 0xa0 00000692: SHL 00000693: SUB 00000694: SWAP1 00000695: SWAP2 00000696: AND 00000697: SWAP1 00000698: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000006b9: SWAP1 000006ba: DUP4 000006bb: SWAP1 000006bc: LOG3 000006bd: PUSH1 0x00 000006bf: DUP1 000006c0: SLOAD 000006c1: PUSH1 0x01 000006c3: PUSH1 0x01 000006c5: PUSH1 0xa0 000006c7: SHL 000006c8: SUB 000006c9: NOT 000006ca: AND 000006cb: SWAP1 000006cc: SSTORE 000006cd: JUMP 000006ce: JUMPDEST 000006cf: PUSH2 0x06d6 000006d2: PUSH2 0x0f21 000006d5: JUMP 000006d6: JUMPDEST 000006d7: PUSH1 0x01 000006d9: PUSH1 0x01 000006db: PUSH1 0xa0 000006dd: SHL 000006de: SUB 000006df: AND 000006e0: PUSH2 0x06e7 000006e3: PUSH2 0x079c 000006e6: JUMP 000006e7: JUMPDEST 000006e8: PUSH1 0x01 000006ea: PUSH1 0x01 000006ec: PUSH1 0xa0 000006ee: SHL 000006ef: SUB 000006f0: AND 000006f1: EQ 000006f2: PUSH2 0x0730 000006f5: JUMPI 000006f6: PUSH1 0x40 000006f8: DUP1 000006f9: MLOAD 000006fa: PUSH3 0x461bcd 000006fe: PUSH1 0xe5 00000700: SHL 00000701: DUP2 00000702: MSTORE 00000703: PUSH1 0x20 00000705: PUSH1 0x04 00000707: DUP3 00000708: ADD 00000709: DUP2 0000070a: SWAP1 0000070b: MSTORE 0000070c: PUSH1 0x24 0000070e: DUP3 0000070f: ADD 00000710: MSTORE 00000711: PUSH1 0x00 00000713: DUP1 00000714: MLOAD 00000715: PUSH1 0x20 00000717: PUSH2 0x180b 0000071a: DUP4 0000071b: CODECOPY 0000071c: DUP2 0000071d: MLOAD 0000071e: SWAP2 0000071f: MSTORE 00000720: PUSH1 0x44 00000722: DUP3 00000723: ADD 00000724: MSTORE 00000725: SWAP1 00000726: MLOAD 00000727: SWAP1 00000728: DUP2 00000729: SWAP1 0000072a: SUB 0000072b: PUSH1 0x64 0000072d: ADD 0000072e: SWAP1 0000072f: REVERT 00000730: JUMPDEST 00000731: PUSH1 0x01 00000733: SSTORE 00000734: JUMP 00000735: JUMPDEST 00000736: PUSH2 0x073d 00000739: PUSH2 0x0f21 0000073c: JUMP 0000073d: JUMPDEST 0000073e: PUSH1 0x01 00000740: PUSH1 0x01 00000742: PUSH1 0xa0 00000744: SHL 00000745: SUB 00000746: AND 00000747: PUSH2 0x074e 0000074a: PUSH2 0x079c 0000074d: JUMP 0000074e: JUMPDEST 0000074f: PUSH1 0x01 00000751: PUSH1 0x01 00000753: PUSH1 0xa0 00000755: SHL 00000756: SUB 00000757: AND 00000758: EQ 00000759: PUSH2 0x0797 0000075c: JUMPI 0000075d: PUSH1 0x40 0000075f: DUP1 00000760: MLOAD 00000761: PUSH3 0x461bcd 00000765: PUSH1 0xe5 00000767: SHL 00000768: DUP2 00000769: MSTORE 0000076a: PUSH1 0x20 0000076c: PUSH1 0x04 0000076e: DUP3 0000076f: ADD 00000770: DUP2 00000771: SWAP1 00000772: MSTORE 00000773: PUSH1 0x24 00000775: DUP3 00000776: ADD 00000777: MSTORE 00000778: PUSH1 0x00 0000077a: DUP1 0000077b: MLOAD 0000077c: PUSH1 0x20 0000077e: PUSH2 0x180b 00000781: DUP4 00000782: CODECOPY 00000783: DUP2 00000784: MLOAD 00000785: SWAP2 00000786: MSTORE 00000787: PUSH1 0x44 00000789: DUP3 0000078a: ADD 0000078b: MSTORE 0000078c: SWAP1 0000078d: MLOAD 0000078e: SWAP1 0000078f: DUP2 00000790: SWAP1 00000791: SUB 00000792: PUSH1 0x64 00000794: ADD 00000795: SWAP1 00000796: REVERT 00000797: JUMPDEST 00000798: PUSH1 0x02 0000079a: SSTORE 0000079b: JUMP 0000079c: JUMPDEST 0000079d: PUSH1 0x00 0000079f: SLOAD 000007a0: PUSH1 0x01 000007a2: PUSH1 0x01 000007a4: PUSH1 0xa0 000007a6: SHL 000007a7: SUB 000007a8: AND 000007a9: SWAP1 000007aa: JUMP 000007ab: JUMPDEST 000007ac: PUSH1 0x00 000007ae: PUSH2 0x07b5 000007b1: PUSH2 0x0f21 000007b4: JUMP 000007b5: JUMPDEST 000007b6: PUSH1 0x01 000007b8: PUSH1 0x01 000007ba: PUSH1 0xa0 000007bc: SHL 000007bd: SUB 000007be: AND 000007bf: PUSH2 0x07c6 000007c2: PUSH2 0x079c 000007c5: JUMP 000007c6: JUMPDEST 000007c7: PUSH1 0x01 000007c9: PUSH1 0x01 000007cb: PUSH1 0xa0 000007cd: SHL 000007ce: SUB 000007cf: AND 000007d0: EQ 000007d1: PUSH2 0x080f 000007d4: JUMPI 000007d5: PUSH1 0x40 000007d7: DUP1 000007d8: MLOAD 000007d9: PUSH3 0x461bcd 000007dd: PUSH1 0xe5 000007df: SHL 000007e0: DUP2 000007e1: MSTORE 000007e2: PUSH1 0x20 000007e4: PUSH1 0x04 000007e6: DUP3 000007e7: ADD 000007e8: DUP2 000007e9: SWAP1 000007ea: MSTORE 000007eb: PUSH1 0x24 000007ed: DUP3 000007ee: ADD 000007ef: MSTORE 000007f0: PUSH1 0x00 000007f2: DUP1 000007f3: MLOAD 000007f4: PUSH1 0x20 000007f6: PUSH2 0x180b 000007f9: DUP4 000007fa: CODECOPY 000007fb: DUP2 000007fc: MLOAD 000007fd: SWAP2 000007fe: MSTORE 000007ff: PUSH1 0x44 00000801: DUP3 00000802: ADD 00000803: MSTORE 00000804: SWAP1 00000805: MLOAD 00000806: SWAP1 00000807: DUP2 00000808: SWAP1 00000809: SUB 0000080a: PUSH1 0x64 0000080c: ADD 0000080d: SWAP1 0000080e: REVERT 0000080f: JUMPDEST 00000810: DUP3 00000811: PUSH2 0x084b 00000814: JUMPI 00000815: PUSH1 0x40 00000817: MLOAD 00000818: PUSH3 0x461bcd 0000081c: PUSH1 0xe5 0000081e: SHL 0000081f: DUP2 00000820: MSTORE 00000821: PUSH1 0x04 00000823: ADD 00000824: DUP1 00000825: DUP1 00000826: PUSH1 0x20 00000828: ADD 00000829: DUP3 0000082a: DUP2 0000082b: SUB 0000082c: DUP3 0000082d: MSTORE 0000082e: PUSH1 0x22 00000830: DUP2 00000831: MSTORE 00000832: PUSH1 0x20 00000834: ADD 00000835: DUP1 00000836: PUSH2 0x16e2 00000839: PUSH1 0x22 0000083b: SWAP2 0000083c: CODECOPY 0000083d: PUSH1 0x40 0000083f: ADD 00000840: SWAP2 00000841: POP 00000842: POP 00000843: PUSH1 0x40 00000845: MLOAD 00000846: DUP1 00000847: SWAP2 00000848: SUB 00000849: SWAP1 0000084a: REVERT 0000084b: JUMPDEST 0000084c: PUSH1 0x00 0000084e: PUSH32 0x000000000000000000000000737901bea3eeb88459df9ef1be8ff3ae1b42a2ba 0000086f: PUSH1 0x01 00000871: PUSH1 0x01 00000873: PUSH1 0xa0 00000875: SHL 00000876: SUB 00000877: AND 00000878: PUSH4 0x60a8b18a 0000087d: DUP6 0000087e: PUSH1 0x40 00000880: MLOAD 00000881: DUP3 00000882: PUSH4 0xffffffff 00000887: AND 00000888: PUSH1 0xe0 0000088a: SHL 0000088b: DUP2 0000088c: MSTORE 0000088d: PUSH1 0x04 0000088f: ADD 00000890: DUP1 00000891: DUP3 00000892: DUP2 00000893: MSTORE 00000894: PUSH1 0x20 00000896: ADD 00000897: SWAP2 00000898: POP 00000899: POP 0000089a: PUSH1 0x20 0000089c: PUSH1 0x40 0000089e: MLOAD 0000089f: DUP1 000008a0: DUP4 000008a1: SUB 000008a2: DUP2 000008a3: DUP7 000008a4: DUP1 000008a5: EXTCODESIZE 000008a6: ISZERO 000008a7: DUP1 000008a8: ISZERO 000008a9: PUSH2 0x08b1 000008ac: JUMPI 000008ad: PUSH1 0x00 000008af: DUP1 000008b0: REVERT 000008b1: JUMPDEST 000008b2: POP 000008b3: GAS 000008b4: STATICCALL 000008b5: ISZERO 000008b6: DUP1 000008b7: ISZERO 000008b8: PUSH2 0x08c5 000008bb: JUMPI 000008bc: RETURNDATASIZE 000008bd: PUSH1 0x00 000008bf: DUP1 000008c0: RETURNDATACOPY 000008c1: RETURNDATASIZE 000008c2: PUSH1 0x00 000008c4: REVERT 000008c5: JUMPDEST 000008c6: POP 000008c7: POP 000008c8: POP 000008c9: POP 000008ca: PUSH1 0x40 000008cc: MLOAD 000008cd: RETURNDATASIZE 000008ce: PUSH1 0x20 000008d0: DUP2 000008d1: LT 000008d2: ISZERO 000008d3: PUSH2 0x08db 000008d6: JUMPI 000008d7: PUSH1 0x00 000008d9: DUP1 000008da: REVERT 000008db: JUMPDEST 000008dc: POP 000008dd: MLOAD 000008de: PUSH1 0x40 000008e0: DUP1 000008e1: MLOAD 000008e2: PUSH4 0x70a08231 000008e7: PUSH1 0xe0 000008e9: SHL 000008ea: DUP2 000008eb: MSTORE 000008ec: ADDRESS 000008ed: PUSH1 0x04 000008ef: DUP3 000008f0: ADD 000008f1: MSTORE 000008f2: SWAP1 000008f3: MLOAD 000008f4: SWAP2 000008f5: SWAP3 000008f6: POP 000008f7: PUSH1 0x00 000008f9: SWAP2 000008fa: PUSH1 0x01 000008fc: PUSH1 0x01 000008fe: PUSH1 0xa0 00000900: SHL 00000901: SUB 00000902: DUP5 00000903: AND 00000904: SWAP2 00000905: PUSH4 0x70a08231 0000090a: SWAP2 0000090b: PUSH1 0x24 0000090d: DUP1 0000090e: DUP4 0000090f: ADD 00000910: SWAP3 00000911: PUSH1 0x20 00000913: SWAP3 00000914: SWAP2 00000915: SWAP1 00000916: DUP3 00000917: SWAP1 00000918: SUB 00000919: ADD 0000091a: DUP2 0000091b: DUP7 0000091c: DUP1 0000091d: EXTCODESIZE 0000091e: ISZERO 0000091f: DUP1 00000920: ISZERO 00000921: PUSH2 0x0929 00000924: JUMPI 00000925: PUSH1 0x00 00000927: DUP1 00000928: REVERT 00000929: JUMPDEST 0000092a: POP 0000092b: GAS 0000092c: STATICCALL 0000092d: ISZERO 0000092e: DUP1 0000092f: ISZERO 00000930: PUSH2 0x093d 00000933: JUMPI 00000934: RETURNDATASIZE 00000935: PUSH1 0x00 00000937: DUP1 00000938: RETURNDATACOPY 00000939: RETURNDATASIZE 0000093a: PUSH1 0x00 0000093c: REVERT 0000093d: JUMPDEST 0000093e: POP 0000093f: POP 00000940: POP 00000941: POP 00000942: PUSH1 0x40 00000944: MLOAD 00000945: RETURNDATASIZE 00000946: PUSH1 0x20 00000948: DUP2 00000949: LT 0000094a: ISZERO 0000094b: PUSH2 0x0953 0000094e: JUMPI 0000094f: PUSH1 0x00 00000951: DUP1 00000952: REVERT 00000953: JUMPDEST 00000954: POP 00000955: MLOAD 00000956: SWAP1 00000957: POP 00000958: DUP1 00000959: PUSH2 0x09a9 0000095c: JUMPI 0000095d: PUSH1 0x40 0000095f: DUP1 00000960: MLOAD 00000961: PUSH3 0x461bcd 00000965: PUSH1 0xe5 00000967: SHL 00000968: DUP2 00000969: MSTORE 0000096a: PUSH1 0x20 0000096c: PUSH1 0x04 0000096e: DUP3 0000096f: ADD 00000970: MSTORE 00000971: PUSH1 0x1e 00000973: PUSH1 0x24 00000975: DUP3 00000976: ADD 00000977: MSTORE 00000978: PUSH32 0x466565204469737472696275746f723a20454d5054595f42414c414e43450000 00000999: PUSH1 0x44 0000099b: DUP3 0000099c: ADD 0000099d: MSTORE 0000099e: SWAP1 0000099f: MLOAD 000009a0: SWAP1 000009a1: DUP2 000009a2: SWAP1 000009a3: SUB 000009a4: PUSH1 0x64 000009a6: ADD 000009a7: SWAP1 000009a8: REVERT 000009a9: JUMPDEST 000009aa: PUSH2 0x09b3 000009ad: DUP3 000009ae: DUP3 000009af: PUSH2 0x0f25 000009b2: JUMP 000009b3: JUMPDEST 000009b4: SWAP3 000009b5: POP 000009b6: DUP4 000009b7: DUP4 000009b8: LT 000009b9: ISZERO 000009ba: PUSH2 0x09f4 000009bd: JUMPI 000009be: PUSH1 0x40 000009c0: MLOAD 000009c1: PUSH3 0x461bcd 000009c5: PUSH1 0xe5 000009c7: SHL 000009c8: DUP2 000009c9: MSTORE 000009ca: PUSH1 0x04 000009cc: ADD 000009cd: DUP1 000009ce: DUP1 000009cf: PUSH1 0x20 000009d1: ADD 000009d2: DUP3 000009d3: DUP2 000009d4: SUB 000009d5: DUP3 000009d6: MSTORE 000009d7: PUSH1 0x2b 000009d9: DUP2 000009da: MSTORE 000009db: PUSH1 0x20 000009dd: ADD 000009de: DUP1 000009df: PUSH2 0x1772 000009e2: PUSH1 0x2b 000009e4: SWAP2 000009e5: CODECOPY 000009e6: PUSH1 0x40 000009e8: ADD 000009e9: SWAP2 000009ea: POP 000009eb: POP 000009ec: PUSH1 0x40 000009ee: MLOAD 000009ef: DUP1 000009f0: SWAP2 000009f1: SUB 000009f2: SWAP1 000009f3: REVERT 000009f4: JUMPDEST 000009f5: PUSH2 0x09ff 000009f8: DUP3 000009f9: DUP3 000009fa: DUP6 000009fb: PUSH2 0x0f8d 000009fe: JUMP 000009ff: JUMPDEST 00000a00: PUSH1 0x40 00000a02: DUP1 00000a03: MLOAD 00000a04: DUP7 00000a05: DUP2 00000a06: MSTORE 00000a07: PUSH1 0x20 00000a09: DUP2 00000a0a: ADD 00000a0b: DUP4 00000a0c: SWAP1 00000a0d: MSTORE 00000a0e: DUP1 00000a0f: DUP3 00000a10: ADD 00000a11: DUP6 00000a12: SWAP1 00000a13: MSTORE 00000a14: SWAP1 00000a15: MLOAD 00000a16: PUSH32 0x4ce95f38741cee3ff8dbe0e93f4d495736f717646b07bdc0c17fc43549c34e4f 00000a37: SWAP2 00000a38: DUP2 00000a39: SWAP1 00000a3a: SUB 00000a3b: PUSH1 0x60 00000a3d: ADD 00000a3e: SWAP1 00000a3f: LOG1 00000a40: POP 00000a41: POP 00000a42: SWAP3 00000a43: SWAP2 00000a44: POP 00000a45: POP 00000a46: JUMP 00000a47: JUMPDEST 00000a48: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000a69: DUP2 00000a6a: JUMP 00000a6b: JUMPDEST 00000a6c: PUSH32 0x0000000000000000000000005c69bee701ef814a2b6a3edd4b1652cb9cc5aa6f 00000a8d: DUP2 00000a8e: JUMP 00000a8f: JUMPDEST 00000a90: PUSH1 0x02 00000a92: SLOAD 00000a93: DUP2 00000a94: JUMP 00000a95: JUMPDEST 00000a96: PUSH1 0x00 00000a98: DUP3 00000a99: PUSH2 0x0af5 00000a9c: JUMPI 00000a9d: CALLVALUE 00000a9e: DUP3 00000a9f: EQ 00000aa0: PUSH2 0x0af0 00000aa3: JUMPI 00000aa4: PUSH1 0x40 00000aa6: DUP1 00000aa7: MLOAD 00000aa8: PUSH3 0x461bcd 00000aac: PUSH1 0xe5 00000aae: SHL 00000aaf: DUP2 00000ab0: MSTORE 00000ab1: PUSH1 0x20 00000ab3: PUSH1 0x04 00000ab5: DUP3 00000ab6: ADD 00000ab7: MSTORE 00000ab8: PUSH1 0x1d 00000aba: PUSH1 0x24 00000abc: DUP3 00000abd: ADD 00000abe: MSTORE 00000abf: PUSH32 0x466565204469737472696275746f723a2057524f4e475f414d4f554e54000000 00000ae0: PUSH1 0x44 00000ae2: DUP3 00000ae3: ADD 00000ae4: MSTORE 00000ae5: SWAP1 00000ae6: MLOAD 00000ae7: SWAP1 00000ae8: DUP2 00000ae9: SWAP1 00000aea: SUB 00000aeb: PUSH1 0x64 00000aed: ADD 00000aee: SWAP1 00000aef: REVERT 00000af0: JUMPDEST 00000af1: PUSH2 0x0d39 00000af4: JUMP 00000af5: JUMPDEST 00000af6: CALLVALUE 00000af7: ISZERO 00000af8: PUSH2 0x0b32 00000afb: JUMPI 00000afc: PUSH1 0x40 00000afe: MLOAD 00000aff: PUSH3 0x461bcd 00000b03: PUSH1 0xe5 00000b05: SHL 00000b06: DUP2 00000b07: MSTORE 00000b08: PUSH1 0x04 00000b0a: ADD 00000b0b: DUP1 00000b0c: DUP1 00000b0d: PUSH1 0x20 00000b0f: ADD 00000b10: DUP3 00000b11: DUP2 00000b12: SUB 00000b13: DUP3 00000b14: MSTORE 00000b15: PUSH1 0x23 00000b17: DUP2 00000b18: MSTORE 00000b19: PUSH1 0x20 00000b1b: ADD 00000b1c: DUP1 00000b1d: PUSH2 0x172a 00000b20: PUSH1 0x23 00000b22: SWAP2 00000b23: CODECOPY 00000b24: PUSH1 0x40 00000b26: ADD 00000b27: SWAP2 00000b28: POP 00000b29: POP 00000b2a: PUSH1 0x40 00000b2c: MLOAD 00000b2d: DUP1 00000b2e: SWAP2 00000b2f: SUB 00000b30: SWAP1 00000b31: REVERT 00000b32: JUMPDEST 00000b33: PUSH1 0x00 00000b35: PUSH32 0x000000000000000000000000737901bea3eeb88459df9ef1be8ff3ae1b42a2ba 00000b56: PUSH1 0x01 00000b58: PUSH1 0x01 00000b5a: PUSH1 0xa0 00000b5c: SHL 00000b5d: SUB 00000b5e: AND 00000b5f: PUSH4 0x60a8b18a 00000b64: DUP6 00000b65: PUSH1 0x40 00000b67: MLOAD 00000b68: DUP3 00000b69: PUSH4 0xffffffff 00000b6e: AND 00000b6f: PUSH1 0xe0 00000b71: SHL 00000b72: DUP2 00000b73: MSTORE 00000b74: PUSH1 0x04 00000b76: ADD 00000b77: DUP1 00000b78: DUP3 00000b79: DUP2 00000b7a: MSTORE 00000b7b: PUSH1 0x20 00000b7d: ADD 00000b7e: SWAP2 00000b7f: POP 00000b80: POP 00000b81: PUSH1 0x20 00000b83: PUSH1 0x40 00000b85: MLOAD 00000b86: DUP1 00000b87: DUP4 00000b88: SUB 00000b89: DUP2 00000b8a: DUP7 00000b8b: DUP1 00000b8c: EXTCODESIZE 00000b8d: ISZERO 00000b8e: DUP1 00000b8f: ISZERO 00000b90: PUSH2 0x0b98 00000b93: JUMPI 00000b94: PUSH1 0x00 00000b96: DUP1 00000b97: REVERT 00000b98: JUMPDEST 00000b99: POP 00000b9a: GAS 00000b9b: STATICCALL 00000b9c: ISZERO 00000b9d: DUP1 00000b9e: ISZERO 00000b9f: PUSH2 0x0bac 00000ba2: JUMPI 00000ba3: RETURNDATASIZE 00000ba4: PUSH1 0x00 00000ba6: DUP1 00000ba7: RETURNDATACOPY 00000ba8: RETURNDATASIZE 00000ba9: PUSH1 0x00 00000bab: REVERT 00000bac: JUMPDEST 00000bad: POP 00000bae: POP 00000baf: POP 00000bb0: POP 00000bb1: PUSH1 0x40 00000bb3: MLOAD 00000bb4: RETURNDATASIZE 00000bb5: PUSH1 0x20 00000bb7: DUP2 00000bb8: LT 00000bb9: ISZERO 00000bba: PUSH2 0x0bc2 00000bbd: JUMPI 00000bbe: PUSH1 0x00 00000bc0: DUP1 00000bc1: REVERT 00000bc2: JUMPDEST 00000bc3: POP 00000bc4: MLOAD 00000bc5: PUSH1 0x40 00000bc7: DUP1 00000bc8: MLOAD 00000bc9: PUSH4 0x23b872dd 00000bce: PUSH1 0xe0 00000bd0: SHL 00000bd1: DUP2 00000bd2: MSTORE 00000bd3: CALLER 00000bd4: PUSH1 0x04 00000bd6: DUP3 00000bd7: ADD 00000bd8: MSTORE 00000bd9: ADDRESS 00000bda: PUSH1 0x24 00000bdc: DUP3 00000bdd: ADD 00000bde: MSTORE 00000bdf: PUSH1 0x44 00000be1: DUP2 00000be2: ADD 00000be3: DUP7 00000be4: SWAP1 00000be5: MSTORE 00000be6: SWAP1 00000be7: MLOAD 00000be8: SWAP2 00000be9: SWAP3 00000bea: POP 00000beb: PUSH1 0x01 00000bed: PUSH1 0x01 00000bef: PUSH1 0xa0 00000bf1: SHL 00000bf2: SUB 00000bf3: DUP4 00000bf4: AND 00000bf5: SWAP2 00000bf6: PUSH4 0x23b872dd 00000bfb: SWAP2 00000bfc: PUSH1 0x64 00000bfe: DUP1 00000bff: DUP3 00000c00: ADD 00000c01: SWAP3 00000c02: PUSH1 0x20 00000c04: SWAP3 00000c05: SWAP1 00000c06: SWAP2 00000c07: SWAP1 00000c08: DUP3 00000c09: SWAP1 00000c0a: SUB 00000c0b: ADD 00000c0c: DUP2 00000c0d: PUSH1 0x00 00000c0f: DUP8 00000c10: DUP1 00000c11: EXTCODESIZE 00000c12: ISZERO 00000c13: DUP1 00000c14: ISZERO 00000c15: PUSH2 0x0c1d 00000c18: JUMPI 00000c19: PUSH1 0x00 00000c1b: DUP1 00000c1c: REVERT 00000c1d: JUMPDEST 00000c1e: POP 00000c1f: GAS 00000c20: CALL 00000c21: ISZERO 00000c22: DUP1 00000c23: ISZERO 00000c24: PUSH2 0x0c31 00000c27: JUMPI 00000c28: RETURNDATASIZE 00000c29: PUSH1 0x00 00000c2b: DUP1 00000c2c: RETURNDATACOPY 00000c2d: RETURNDATASIZE 00000c2e: PUSH1 0x00 00000c30: REVERT 00000c31: JUMPDEST 00000c32: POP 00000c33: POP 00000c34: POP 00000c35: POP 00000c36: PUSH1 0x40 00000c38: MLOAD 00000c39: RETURNDATASIZE 00000c3a: PUSH1 0x20 00000c3c: DUP2 00000c3d: LT 00000c3e: ISZERO 00000c3f: PUSH2 0x0c47 00000c42: JUMPI 00000c43: PUSH1 0x00 00000c45: DUP1 00000c46: REVERT 00000c47: JUMPDEST 00000c48: POP 00000c49: POP 00000c4a: PUSH1 0x40 00000c4c: DUP1 00000c4d: MLOAD 00000c4e: PUSH4 0x70a08231 00000c53: PUSH1 0xe0 00000c55: SHL 00000c56: DUP2 00000c57: MSTORE 00000c58: ADDRESS 00000c59: PUSH1 0x04 00000c5b: DUP3 00000c5c: ADD 00000c5d: MSTORE 00000c5e: SWAP1 00000c5f: MLOAD 00000c60: PUSH1 0x00 00000c62: SWAP2 00000c63: PUSH1 0x01 00000c65: PUSH1 0x01 00000c67: PUSH1 0xa0 00000c69: SHL 00000c6a: SUB 00000c6b: DUP5 00000c6c: AND 00000c6d: SWAP2 00000c6e: PUSH4 0x70a08231 00000c73: SWAP2 00000c74: PUSH1 0x24 00000c76: DUP1 00000c77: DUP3 00000c78: ADD 00000c79: SWAP3 00000c7a: PUSH1 0x20 00000c7c: SWAP3 00000c7d: SWAP1 00000c7e: SWAP2 00000c7f: SWAP1 00000c80: DUP3 00000c81: SWAP1 00000c82: SUB 00000c83: ADD 00000c84: DUP2 00000c85: DUP7 00000c86: DUP1 00000c87: EXTCODESIZE 00000c88: ISZERO 00000c89: DUP1 00000c8a: ISZERO 00000c8b: PUSH2 0x0c93 00000c8e: JUMPI 00000c8f: PUSH1 0x00 00000c91: DUP1 00000c92: REVERT 00000c93: JUMPDEST 00000c94: POP 00000c95: GAS 00000c96: STATICCALL 00000c97: ISZERO 00000c98: DUP1 00000c99: ISZERO 00000c9a: PUSH2 0x0ca7 00000c9d: JUMPI 00000c9e: RETURNDATASIZE 00000c9f: PUSH1 0x00 00000ca1: DUP1 00000ca2: RETURNDATACOPY 00000ca3: RETURNDATASIZE 00000ca4: PUSH1 0x00 00000ca6: REVERT 00000ca7: JUMPDEST 00000ca8: POP 00000ca9: POP 00000caa: POP 00000cab: POP 00000cac: PUSH1 0x40 00000cae: MLOAD 00000caf: RETURNDATASIZE 00000cb0: PUSH1 0x20 00000cb2: DUP2 00000cb3: LT 00000cb4: ISZERO 00000cb5: PUSH2 0x0cbd 00000cb8: JUMPI 00000cb9: PUSH1 0x00 00000cbb: DUP1 00000cbc: REVERT 00000cbd: JUMPDEST 00000cbe: POP 00000cbf: MLOAD 00000cc0: SWAP1 00000cc1: POP 00000cc2: PUSH1 0x00 00000cc4: PUSH2 0x0ccd 00000cc7: DUP4 00000cc8: DUP4 00000cc9: PUSH2 0x0f25 00000ccc: JUMP 00000ccd: JUMPDEST 00000cce: PUSH1 0x02 00000cd0: SLOAD 00000cd1: SWAP1 00000cd2: SWAP2 00000cd3: POP 00000cd4: PUSH2 0x0ce3 00000cd7: SWAP1 00000cd8: GASPRICE 00000cd9: PUSH4 0xffffffff 00000cde: PUSH2 0x0ec8 00000ce1: AND 00000ce2: JUMP 00000ce3: JUMPDEST 00000ce4: DUP2 00000ce5: LT 00000ce6: PUSH2 0x0d35 00000ce9: JUMPI 00000cea: PUSH2 0x0cf4 00000ced: DUP4 00000cee: DUP4 00000cef: DUP4 00000cf0: PUSH2 0x0f8d 00000cf3: JUMP 00000cf4: JUMPDEST 00000cf5: PUSH1 0x40 00000cf7: DUP1 00000cf8: MLOAD 00000cf9: DUP8 00000cfa: DUP2 00000cfb: MSTORE 00000cfc: PUSH1 0x20 00000cfe: DUP2 00000cff: ADD 00000d00: DUP5 00000d01: SWAP1 00000d02: MSTORE 00000d03: DUP1 00000d04: DUP3 00000d05: ADD 00000d06: DUP4 00000d07: SWAP1 00000d08: MSTORE 00000d09: SWAP1 00000d0a: MLOAD 00000d0b: PUSH32 0x4ce95f38741cee3ff8dbe0e93f4d495736f717646b07bdc0c17fc43549c34e4f 00000d2c: SWAP2 00000d2d: DUP2 00000d2e: SWAP1 00000d2f: SUB 00000d30: PUSH1 0x60 00000d32: ADD 00000d33: SWAP1 00000d34: LOG1 00000d35: JUMPDEST 00000d36: POP 00000d37: POP 00000d38: POP 00000d39: JUMPDEST 00000d3a: POP 00000d3b: SWAP2 00000d3c: SWAP1 00000d3d: POP 00000d3e: JUMP 00000d3f: JUMPDEST 00000d40: PUSH2 0x0d47 00000d43: PUSH2 0x0f21 00000d46: JUMP 00000d47: JUMPDEST 00000d48: PUSH1 0x01 00000d4a: PUSH1 0x01 00000d4c: PUSH1 0xa0 00000d4e: SHL 00000d4f: SUB 00000d50: AND 00000d51: PUSH2 0x0d58 00000d54: PUSH2 0x079c 00000d57: JUMP 00000d58: JUMPDEST 00000d59: PUSH1 0x01 00000d5b: PUSH1 0x01 00000d5d: PUSH1 0xa0 00000d5f: SHL 00000d60: SUB 00000d61: AND 00000d62: EQ 00000d63: PUSH2 0x0da1 00000d66: JUMPI 00000d67: PUSH1 0x40 00000d69: DUP1 00000d6a: MLOAD 00000d6b: PUSH3 0x461bcd 00000d6f: PUSH1 0xe5 00000d71: SHL 00000d72: DUP2 00000d73: MSTORE 00000d74: PUSH1 0x20 00000d76: PUSH1 0x04 00000d78: DUP3 00000d79: ADD 00000d7a: DUP2 00000d7b: SWAP1 00000d7c: MSTORE 00000d7d: PUSH1 0x24 00000d7f: DUP3 00000d80: ADD 00000d81: MSTORE 00000d82: PUSH1 0x00 00000d84: DUP1 00000d85: MLOAD 00000d86: PUSH1 0x20 00000d88: PUSH2 0x180b 00000d8b: DUP4 00000d8c: CODECOPY 00000d8d: DUP2 00000d8e: MLOAD 00000d8f: SWAP2 00000d90: MSTORE 00000d91: PUSH1 0x44 00000d93: DUP3 00000d94: ADD 00000d95: MSTORE 00000d96: SWAP1 00000d97: MLOAD 00000d98: SWAP1 00000d99: DUP2 00000d9a: SWAP1 00000d9b: SUB 00000d9c: PUSH1 0x64 00000d9e: ADD 00000d9f: SWAP1 00000da0: REVERT 00000da1: JUMPDEST 00000da2: PUSH1 0x01 00000da4: PUSH1 0x01 00000da6: PUSH1 0xa0 00000da8: SHL 00000da9: SUB 00000daa: DUP2 00000dab: AND 00000dac: PUSH2 0x0de6 00000daf: JUMPI 00000db0: PUSH1 0x40 00000db2: MLOAD 00000db3: PUSH3 0x461bcd 00000db7: PUSH1 0xe5 00000db9: SHL 00000dba: DUP2 00000dbb: MSTORE 00000dbc: PUSH1 0x04 00000dbe: ADD 00000dbf: DUP1 00000dc0: DUP1 00000dc1: PUSH1 0x20 00000dc3: ADD 00000dc4: DUP3 00000dc5: DUP2 00000dc6: SUB 00000dc7: DUP3 00000dc8: MSTORE 00000dc9: PUSH1 0x26 00000dcb: DUP2 00000dcc: MSTORE 00000dcd: PUSH1 0x20 00000dcf: ADD 00000dd0: DUP1 00000dd1: PUSH2 0x1704 00000dd4: PUSH1 0x26 00000dd6: SWAP2 00000dd7: CODECOPY 00000dd8: PUSH1 0x40 00000dda: ADD 00000ddb: SWAP2 00000ddc: POP 00000ddd: POP 00000dde: PUSH1 0x40 00000de0: MLOAD 00000de1: DUP1 00000de2: SWAP2 00000de3: SUB 00000de4: SWAP1 00000de5: REVERT 00000de6: JUMPDEST 00000de7: PUSH1 0x00 00000de9: DUP1 00000dea: SLOAD 00000deb: PUSH1 0x40 00000ded: MLOAD 00000dee: PUSH1 0x01 00000df0: PUSH1 0x01 00000df2: PUSH1 0xa0 00000df4: SHL 00000df5: SUB 00000df6: DUP1 00000df7: DUP6 00000df8: AND 00000df9: SWAP4 00000dfa: SWAP3 00000dfb: AND 00000dfc: SWAP2 00000dfd: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000e1e: SWAP2 00000e1f: LOG3 00000e20: PUSH1 0x00 00000e22: DUP1 00000e23: SLOAD 00000e24: PUSH1 0x01 00000e26: PUSH1 0x01 00000e28: PUSH1 0xa0 00000e2a: SHL 00000e2b: SUB 00000e2c: NOT 00000e2d: AND 00000e2e: PUSH1 0x01 00000e30: PUSH1 0x01 00000e32: PUSH1 0xa0 00000e34: SHL 00000e35: SUB 00000e36: SWAP3 00000e37: SWAP1 00000e38: SWAP3 00000e39: AND 00000e3a: SWAP2 00000e3b: SWAP1 00000e3c: SWAP2 00000e3d: OR 00000e3e: SWAP1 00000e3f: SSTORE 00000e40: JUMP 00000e41: JUMPDEST 00000e42: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00000e63: DUP2 00000e64: JUMP 00000e65: JUMPDEST 00000e66: PUSH1 0x00 00000e68: DUP3 00000e69: DUP3 00000e6a: ADD 00000e6b: DUP4 00000e6c: DUP2 00000e6d: LT 00000e6e: ISZERO 00000e6f: PUSH2 0x0ebf 00000e72: JUMPI 00000e73: PUSH1 0x40 00000e75: DUP1 00000e76: MLOAD 00000e77: PUSH3 0x461bcd 00000e7b: PUSH1 0xe5 00000e7d: SHL 00000e7e: DUP2 00000e7f: MSTORE 00000e80: PUSH1 0x20 00000e82: PUSH1 0x04 00000e84: DUP3 00000e85: ADD 00000e86: MSTORE 00000e87: PUSH1 0x1b 00000e89: PUSH1 0x24 00000e8b: DUP3 00000e8c: ADD 00000e8d: MSTORE 00000e8e: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00000eaf: PUSH1 0x44 00000eb1: DUP3 00000eb2: ADD 00000eb3: MSTORE 00000eb4: SWAP1 00000eb5: MLOAD 00000eb6: SWAP1 00000eb7: DUP2 00000eb8: SWAP1 00000eb9: SUB 00000eba: PUSH1 0x64 00000ebc: ADD 00000ebd: SWAP1 00000ebe: REVERT 00000ebf: JUMPDEST 00000ec0: SWAP1 00000ec1: POP 00000ec2: JUMPDEST 00000ec3: SWAP3 00000ec4: SWAP2 00000ec5: POP 00000ec6: POP 00000ec7: JUMP 00000ec8: JUMPDEST 00000ec9: PUSH1 0x00 00000ecb: DUP3 00000ecc: PUSH2 0x0ed7 00000ecf: JUMPI 00000ed0: POP 00000ed1: PUSH1 0x00 00000ed3: PUSH2 0x0ec2 00000ed6: JUMP 00000ed7: JUMPDEST 00000ed8: DUP3 00000ed9: DUP3 00000eda: MUL 00000edb: DUP3 00000edc: DUP5 00000edd: DUP3 00000ede: DUP2 00000edf: PUSH2 0x0ee4 00000ee2: JUMPI 00000ee3: INVALID 00000ee4: JUMPDEST 00000ee5: DIV 00000ee6: EQ 00000ee7: PUSH2 0x0ebf 00000eea: JUMPI 00000eeb: PUSH1 0x40 00000eed: MLOAD 00000eee: PUSH3 0x461bcd 00000ef2: PUSH1 0xe5 00000ef4: SHL 00000ef5: DUP2 00000ef6: MSTORE 00000ef7: PUSH1 0x04 00000ef9: ADD 00000efa: DUP1 00000efb: DUP1 00000efc: PUSH1 0x20 00000efe: ADD 00000eff: DUP3 00000f00: DUP2 00000f01: SUB 00000f02: DUP3 00000f03: MSTORE 00000f04: PUSH1 0x21 00000f06: DUP2 00000f07: MSTORE 00000f08: PUSH1 0x20 00000f0a: ADD 00000f0b: DUP1 00000f0c: PUSH2 0x17ea 00000f0f: PUSH1 0x21 00000f11: SWAP2 00000f12: CODECOPY 00000f13: PUSH1 0x40 00000f15: ADD 00000f16: SWAP2 00000f17: POP 00000f18: POP 00000f19: PUSH1 0x40 00000f1b: MLOAD 00000f1c: DUP1 00000f1d: SWAP2 00000f1e: SUB 00000f1f: SWAP1 00000f20: REVERT 00000f21: JUMPDEST 00000f22: CALLER 00000f23: SWAP1 00000f24: JUMP 00000f25: JUMPDEST 00000f26: PUSH1 0x00 00000f28: DUP1 00000f29: PUSH1 0x00 00000f2b: PUSH2 0x0f75 00000f2e: PUSH32 0x0000000000000000000000005c69bee701ef814a2b6a3edd4b1652cb9cc5aa6f 00000f4f: DUP7 00000f50: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000f71: PUSH2 0x12d3 00000f74: JUMP 00000f75: JUMPDEST 00000f76: SWAP2 00000f77: POP 00000f78: SWAP2 00000f79: POP 00000f7a: PUSH2 0x0f84 00000f7d: DUP5 00000f7e: DUP4 00000f7f: DUP4 00000f80: PUSH2 0x13a1 00000f83: JUMP 00000f84: JUMPDEST 00000f85: SWAP6 00000f86: SWAP5 00000f87: POP 00000f88: POP 00000f89: POP 00000f8a: POP 00000f8b: POP 00000f8c: JUMP 00000f8d: JUMPDEST 00000f8e: PUSH1 0x00 00000f90: PUSH2 0x0fda 00000f93: PUSH32 0x0000000000000000000000005c69bee701ef814a2b6a3edd4b1652cb9cc5aa6f 00000fb4: DUP6 00000fb5: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000fd6: PUSH2 0x1491 00000fd9: JUMP 00000fda: JUMPDEST 00000fdb: PUSH1 0x40 00000fdd: DUP1 00000fde: MLOAD 00000fdf: PUSH1 0x01 00000fe1: PUSH1 0x01 00000fe3: PUSH1 0xa0 00000fe5: SHL 00000fe6: SUB 00000fe7: DUP1 00000fe8: DUP5 00000fe9: AND 00000fea: PUSH1 0x24 00000fec: DUP4 00000fed: ADD 00000fee: MSTORE 00000fef: PUSH1 0x44 00000ff1: DUP1 00000ff2: DUP4 00000ff3: ADD 00000ff4: DUP9 00000ff5: SWAP1 00000ff6: MSTORE 00000ff7: DUP4 00000ff8: MLOAD 00000ff9: DUP1 00000ffa: DUP5 00000ffb: SUB 00000ffc: SWAP1 00000ffd: SWAP2 00000ffe: ADD 00000fff: DUP2 00001000: MSTORE 00001001: PUSH1 0x64 00001003: SWAP1 00001004: SWAP3 00001005: ADD 00001006: DUP4 00001007: MSTORE 00001008: PUSH1 0x20 0000100a: DUP3 0000100b: ADD 0000100c: DUP1 0000100d: MLOAD 0000100e: PUSH1 0x01 00001010: PUSH1 0x01 00001012: PUSH1 0xe0 00001014: SHL 00001015: SUB 00001016: AND 00001017: PUSH4 0xa9059cbb 0000101c: PUSH1 0xe0 0000101e: SHL 0000101f: OR 00001020: DUP2 00001021: MSTORE 00001022: SWAP3 00001023: MLOAD 00001024: DUP3 00001025: MLOAD 00001026: SWAP5 00001027: SWAP6 00001028: POP 00001029: PUSH1 0x00 0000102b: SWAP5 0000102c: SWAP2 0000102d: DUP10 0000102e: AND 0000102f: SWAP4 00001030: SWAP1 00001031: SWAP2 00001032: DUP3 00001033: SWAP2 00001034: SWAP1 00001035: DUP1 00001036: DUP4 00001037: DUP4 00001038: JUMPDEST 00001039: PUSH1 0x20 0000103b: DUP4 0000103c: LT 0000103d: PUSH2 0x1057 00001040: JUMPI 00001041: DUP1 00001042: MLOAD 00001043: DUP3 00001044: MSTORE 00001045: PUSH1 0x1f 00001047: NOT 00001048: SWAP1 00001049: SWAP3 0000104a: ADD 0000104b: SWAP2 0000104c: PUSH1 0x20 0000104e: SWAP2 0000104f: DUP3 00001050: ADD 00001051: SWAP2 00001052: ADD 00001053: PUSH2 0x1038 00001056: JUMP 00001057: JUMPDEST 00001058: PUSH1 0x01 0000105a: DUP4 0000105b: PUSH1 0x20 0000105d: SUB 0000105e: PUSH2 0x0100 00001061: EXP 00001062: SUB 00001063: DUP1 00001064: NOT 00001065: DUP3 00001066: MLOAD 00001067: AND 00001068: DUP2 00001069: DUP5 0000106a: MLOAD 0000106b: AND 0000106c: DUP1 0000106d: DUP3 0000106e: OR 0000106f: DUP6 00001070: MSTORE 00001071: POP 00001072: POP 00001073: POP 00001074: POP 00001075: POP 00001076: POP 00001077: SWAP1 00001078: POP 00001079: ADD 0000107a: SWAP2 0000107b: POP 0000107c: POP 0000107d: PUSH1 0x00 0000107f: PUSH1 0x40 00001081: MLOAD 00001082: DUP1 00001083: DUP4 00001084: SUB 00001085: DUP2 00001086: PUSH1 0x00 00001088: DUP7 00001089: GAS 0000108a: CALL 0000108b: SWAP2 0000108c: POP 0000108d: POP 0000108e: RETURNDATASIZE 0000108f: DUP1 00001090: PUSH1 0x00 00001092: DUP2 00001093: EQ 00001094: PUSH2 0x10b9 00001097: JUMPI 00001098: PUSH1 0x40 0000109a: MLOAD 0000109b: SWAP2 0000109c: POP 0000109d: PUSH1 0x1f 0000109f: NOT 000010a0: PUSH1 0x3f 000010a2: RETURNDATASIZE 000010a3: ADD 000010a4: AND 000010a5: DUP3 000010a6: ADD 000010a7: PUSH1 0x40 000010a9: MSTORE 000010aa: RETURNDATASIZE 000010ab: DUP3 000010ac: MSTORE 000010ad: RETURNDATASIZE 000010ae: PUSH1 0x00 000010b0: PUSH1 0x20 000010b2: DUP5 000010b3: ADD 000010b4: RETURNDATACOPY 000010b5: PUSH2 0x10be 000010b8: JUMP 000010b9: JUMPDEST 000010ba: PUSH1 0x60 000010bc: SWAP2 000010bd: POP 000010be: JUMPDEST 000010bf: POP 000010c0: POP 000010c1: SWAP1 000010c2: POP 000010c3: DUP1 000010c4: PUSH2 0x1114 000010c7: JUMPI 000010c8: PUSH1 0x40 000010ca: DUP1 000010cb: MLOAD 000010cc: PUSH3 0x461bcd 000010d0: PUSH1 0xe5 000010d2: SHL 000010d3: DUP2 000010d4: MSTORE 000010d5: PUSH1 0x20 000010d7: PUSH1 0x04 000010d9: DUP3 000010da: ADD 000010db: DUP2 000010dc: SWAP1 000010dd: MSTORE 000010de: PUSH1 0x24 000010e0: DUP3 000010e1: ADD 000010e2: MSTORE 000010e3: PUSH32 0x466565204469737472696275746f723a205452414e534645525f4641494c4544 00001104: PUSH1 0x44 00001106: DUP3 00001107: ADD 00001108: MSTORE 00001109: SWAP1 0000110a: MLOAD 0000110b: SWAP1 0000110c: DUP2 0000110d: SWAP1 0000110e: SUB 0000110f: PUSH1 0x64 00001111: ADD 00001112: SWAP1 00001113: REVERT 00001114: JUMPDEST 00001115: PUSH1 0x00 00001117: DUP1 00001118: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00001139: PUSH1 0x01 0000113b: PUSH1 0x01 0000113d: PUSH1 0xa0 0000113f: SHL 00001140: SUB 00001141: AND 00001142: DUP8 00001143: PUSH1 0x01 00001145: PUSH1 0x01 00001147: PUSH1 0xa0 00001149: SHL 0000114a: SUB 0000114b: AND 0000114c: LT 0000114d: PUSH2 0x1158 00001150: JUMPI 00001151: DUP5 00001152: PUSH1 0x00 00001154: PUSH2 0x115c 00001157: JUMP 00001158: JUMPDEST 00001159: PUSH1 0x00 0000115b: DUP6 0000115c: JUMPDEST 0000115d: PUSH1 0x40 0000115f: DUP1 00001160: MLOAD 00001161: PUSH1 0x00 00001163: DUP1 00001164: DUP3 00001165: MSTORE 00001166: PUSH1 0x20 00001168: DUP3 00001169: ADD 0000116a: SWAP3 0000116b: DUP4 0000116c: SWAP1 0000116d: MSTORE 0000116e: PUSH4 0x022c0d9f 00001173: PUSH1 0xe0 00001175: SHL 00001176: DUP4 00001177: MSTORE 00001178: PUSH1 0x24 0000117a: DUP3 0000117b: ADD 0000117c: DUP6 0000117d: DUP2 0000117e: MSTORE 0000117f: PUSH1 0x44 00001181: DUP4 00001182: ADD 00001183: DUP6 00001184: SWAP1 00001185: MSTORE 00001186: ADDRESS 00001187: PUSH1 0x64 00001189: DUP5 0000118a: ADD 0000118b: DUP2 0000118c: SWAP1 0000118d: MSTORE 0000118e: PUSH1 0x80 00001190: PUSH1 0x84 00001192: DUP6 00001193: ADD 00001194: SWAP1 00001195: DUP2 00001196: MSTORE 00001197: DUP5 00001198: MLOAD 00001199: PUSH1 0xa4 0000119b: DUP7 0000119c: ADD 0000119d: DUP2 0000119e: SWAP1 0000119f: MSTORE 000011a0: SWAP8 000011a1: SWAP10 000011a2: POP 000011a3: SWAP6 000011a4: SWAP8 000011a5: POP 000011a6: PUSH1 0x01 000011a8: PUSH1 0x01 000011aa: PUSH1 0xa0 000011ac: SHL 000011ad: SUB 000011ae: DUP12 000011af: AND 000011b0: SWAP7 000011b1: PUSH4 0x022c0d9f 000011b6: SWAP7 000011b7: DUP11 000011b8: SWAP7 000011b9: DUP11 000011ba: SWAP7 000011bb: SWAP4 000011bc: SWAP6 000011bd: SWAP4 000011be: SWAP5 000011bf: SWAP4 000011c0: SWAP2 000011c1: SWAP3 000011c2: PUSH1 0xc4 000011c4: DUP7 000011c5: ADD 000011c6: SWAP3 000011c7: DUP2 000011c8: SWAP1 000011c9: DUP5 000011ca: SWAP1 000011cb: DUP5 000011cc: SWAP1 000011cd: JUMPDEST 000011ce: DUP4 000011cf: DUP2 000011d0: LT 000011d1: ISZERO 000011d2: PUSH2 0x11e5 000011d5: JUMPI 000011d6: DUP2 000011d7: DUP2 000011d8: ADD 000011d9: MLOAD 000011da: DUP4 000011db: DUP3 000011dc: ADD 000011dd: MSTORE 000011de: PUSH1 0x20 000011e0: ADD 000011e1: PUSH2 0x11cd 000011e4: JUMP 000011e5: JUMPDEST 000011e6: POP 000011e7: POP 000011e8: POP 000011e9: POP 000011ea: SWAP1 000011eb: POP 000011ec: SWAP1 000011ed: DUP2 000011ee: ADD 000011ef: SWAP1 000011f0: PUSH1 0x1f 000011f2: AND 000011f3: DUP1 000011f4: ISZERO 000011f5: PUSH2 0x1212 000011f8: JUMPI 000011f9: DUP1 000011fa: DUP3 000011fb: SUB 000011fc: DUP1 000011fd: MLOAD 000011fe: PUSH1 0x01 00001200: DUP4 00001201: PUSH1 0x20 00001203: SUB 00001204: PUSH2 0x0100 00001207: EXP 00001208: SUB 00001209: NOT 0000120a: AND 0000120b: DUP2 0000120c: MSTORE 0000120d: PUSH1 0x20 0000120f: ADD 00001210: SWAP2 00001211: POP 00001212: JUMPDEST 00001213: POP 00001214: SWAP6 00001215: POP 00001216: POP 00001217: POP 00001218: POP 00001219: POP 0000121a: POP 0000121b: PUSH1 0x00 0000121d: PUSH1 0x40 0000121f: MLOAD 00001220: DUP1 00001221: DUP4 00001222: SUB 00001223: DUP2 00001224: PUSH1 0x00 00001226: DUP8 00001227: DUP1 00001228: EXTCODESIZE 00001229: ISZERO 0000122a: DUP1 0000122b: ISZERO 0000122c: PUSH2 0x1234 0000122f: JUMPI 00001230: PUSH1 0x00 00001232: DUP1 00001233: REVERT 00001234: JUMPDEST 00001235: POP 00001236: GAS 00001237: CALL 00001238: ISZERO 00001239: DUP1 0000123a: ISZERO 0000123b: PUSH2 0x1248 0000123e: JUMPI 0000123f: RETURNDATASIZE 00001240: PUSH1 0x00 00001242: DUP1 00001243: RETURNDATACOPY 00001244: RETURNDATASIZE 00001245: PUSH1 0x00 00001247: REVERT 00001248: JUMPDEST 00001249: POP 0000124a: POP 0000124b: POP 0000124c: POP 0000124d: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 0000126e: PUSH1 0x01 00001270: PUSH1 0x01 00001272: PUSH1 0xa0 00001274: SHL 00001275: SUB 00001276: AND 00001277: PUSH4 0x2e1a7d4d 0000127c: DUP7 0000127d: PUSH1 0x40 0000127f: MLOAD 00001280: DUP3 00001281: PUSH4 0xffffffff 00001286: AND 00001287: PUSH1 0xe0 00001289: SHL 0000128a: DUP2 0000128b: MSTORE 0000128c: PUSH1 0x04 0000128e: ADD 0000128f: DUP1 00001290: DUP3 00001291: DUP2 00001292: MSTORE 00001293: PUSH1 0x20 00001295: ADD 00001296: SWAP2 00001297: POP 00001298: POP 00001299: PUSH1 0x00 0000129b: PUSH1 0x40 0000129d: MLOAD 0000129e: DUP1 0000129f: DUP4 000012a0: SUB 000012a1: DUP2 000012a2: PUSH1 0x00 000012a4: DUP8 000012a5: DUP1 000012a6: EXTCODESIZE 000012a7: ISZERO 000012a8: DUP1 000012a9: ISZERO 000012aa: PUSH2 0x12b2 000012ad: JUMPI 000012ae: PUSH1 0x00 000012b0: DUP1 000012b1: REVERT 000012b2: JUMPDEST 000012b3: POP 000012b4: GAS 000012b5: CALL 000012b6: ISZERO 000012b7: DUP1 000012b8: ISZERO 000012b9: PUSH2 0x12c6 000012bc: JUMPI 000012bd: RETURNDATASIZE 000012be: PUSH1 0x00 000012c0: DUP1 000012c1: RETURNDATACOPY 000012c2: RETURNDATASIZE 000012c3: PUSH1 0x00 000012c5: REVERT 000012c6: JUMPDEST 000012c7: POP 000012c8: POP 000012c9: POP 000012ca: POP 000012cb: POP 000012cc: POP 000012cd: POP 000012ce: POP 000012cf: POP 000012d0: POP 000012d1: POP 000012d2: JUMP 000012d3: JUMPDEST 000012d4: PUSH1 0x00 000012d6: DUP1 000012d7: PUSH1 0x00 000012d9: PUSH2 0x12e2 000012dc: DUP6 000012dd: DUP6 000012de: PUSH2 0x1551 000012e1: JUMP 000012e2: JUMPDEST 000012e3: POP 000012e4: SWAP1 000012e5: POP 000012e6: PUSH1 0x00 000012e8: DUP1 000012e9: PUSH2 0x12f3 000012ec: DUP9 000012ed: DUP9 000012ee: DUP9 000012ef: PUSH2 0x1491 000012f2: JUMP 000012f3: JUMPDEST 000012f4: PUSH1 0x01 000012f6: PUSH1 0x01 000012f8: PUSH1 0xa0 000012fa: SHL 000012fb: SUB 000012fc: AND 000012fd: PUSH4 0x0902f1ac 00001302: PUSH1 0x40 00001304: MLOAD 00001305: DUP2 00001306: PUSH4 0xffffffff 0000130b: AND 0000130c: PUSH1 0xe0 0000130e: SHL 0000130f: DUP2 00001310: MSTORE 00001311: PUSH1 0x04 00001313: ADD 00001314: PUSH1 0x60 00001316: PUSH1 0x40 00001318: MLOAD 00001319: DUP1 0000131a: DUP4 0000131b: SUB 0000131c: DUP2 0000131d: DUP7 0000131e: DUP1 0000131f: EXTCODESIZE 00001320: ISZERO 00001321: DUP1 00001322: ISZERO 00001323: PUSH2 0x132b 00001326: JUMPI 00001327: PUSH1 0x00 00001329: DUP1 0000132a: REVERT 0000132b: JUMPDEST 0000132c: POP 0000132d: GAS 0000132e: STATICCALL 0000132f: ISZERO 00001330: DUP1 00001331: ISZERO 00001332: PUSH2 0x133f 00001335: JUMPI 00001336: RETURNDATASIZE 00001337: PUSH1 0x00 00001339: DUP1 0000133a: RETURNDATACOPY 0000133b: RETURNDATASIZE 0000133c: PUSH1 0x00 0000133e: REVERT 0000133f: JUMPDEST 00001340: POP 00001341: POP 00001342: POP 00001343: POP 00001344: PUSH1 0x40 00001346: MLOAD 00001347: RETURNDATASIZE 00001348: PUSH1 0x60 0000134a: DUP2 0000134b: LT 0000134c: ISZERO 0000134d: PUSH2 0x1355 00001350: JUMPI 00001351: PUSH1 0x00 00001353: DUP1 00001354: REVERT 00001355: JUMPDEST 00001356: POP 00001357: DUP1 00001358: MLOAD 00001359: PUSH1 0x20 0000135b: SWAP1 0000135c: SWAP2 0000135d: ADD 0000135e: MLOAD 0000135f: PUSH14 0xffffffffffffffffffffffffffff 0000136e: SWAP2 0000136f: DUP3 00001370: AND 00001371: SWAP4 00001372: POP 00001373: AND 00001374: SWAP1 00001375: POP 00001376: PUSH1 0x01 00001378: PUSH1 0x01 0000137a: PUSH1 0xa0 0000137c: SHL 0000137d: SUB 0000137e: DUP8 0000137f: DUP2 00001380: AND 00001381: SWAP1 00001382: DUP5 00001383: AND 00001384: EQ 00001385: PUSH2 0x138f 00001388: JUMPI 00001389: DUP1 0000138a: DUP3 0000138b: PUSH2 0x1392 0000138e: JUMP 0000138f: JUMPDEST 00001390: DUP2 00001391: DUP2 00001392: JUMPDEST 00001393: SWAP1 00001394: SWAP10 00001395: SWAP1 00001396: SWAP9 00001397: POP 00001398: SWAP7 00001399: POP 0000139a: POP 0000139b: POP 0000139c: POP 0000139d: POP 0000139e: POP 0000139f: POP 000013a0: JUMP 000013a1: JUMPDEST 000013a2: PUSH1 0x00 000013a4: DUP1 000013a5: DUP5 000013a6: GT 000013a7: PUSH2 0x13e1 000013aa: JUMPI 000013ab: PUSH1 0x40 000013ad: MLOAD 000013ae: PUSH3 0x461bcd 000013b2: PUSH1 0xe5 000013b4: SHL 000013b5: DUP2 000013b6: MSTORE 000013b7: PUSH1 0x04 000013b9: ADD 000013ba: DUP1 000013bb: DUP1 000013bc: PUSH1 0x20 000013be: ADD 000013bf: DUP3 000013c0: DUP2 000013c1: SUB 000013c2: DUP3 000013c3: MSTORE 000013c4: PUSH1 0x2b 000013c6: DUP2 000013c7: MSTORE 000013c8: PUSH1 0x20 000013ca: ADD 000013cb: DUP1 000013cc: PUSH2 0x184e 000013cf: PUSH1 0x2b 000013d1: SWAP2 000013d2: CODECOPY 000013d3: PUSH1 0x40 000013d5: ADD 000013d6: SWAP2 000013d7: POP 000013d8: POP 000013d9: PUSH1 0x40 000013db: MLOAD 000013dc: DUP1 000013dd: SWAP2 000013de: SUB 000013df: SWAP1 000013e0: REVERT 000013e1: JUMPDEST 000013e2: PUSH1 0x00 000013e4: DUP4 000013e5: GT 000013e6: DUP1 000013e7: ISZERO 000013e8: PUSH2 0x13f1 000013eb: JUMPI 000013ec: POP 000013ed: PUSH1 0x00 000013ef: DUP3 000013f0: GT 000013f1: JUMPDEST 000013f2: PUSH2 0x142c 000013f5: JUMPI 000013f6: PUSH1 0x40 000013f8: MLOAD 000013f9: PUSH3 0x461bcd 000013fd: PUSH1 0xe5 000013ff: SHL 00001400: DUP2 00001401: MSTORE 00001402: PUSH1 0x04 00001404: ADD 00001405: DUP1 00001406: DUP1 00001407: PUSH1 0x20 00001409: ADD 0000140a: DUP3 0000140b: DUP2 0000140c: SUB 0000140d: DUP3 0000140e: MSTORE 0000140f: PUSH1 0x28 00001411: DUP2 00001412: MSTORE 00001413: PUSH1 0x20 00001415: ADD 00001416: DUP1 00001417: PUSH2 0x179d 0000141a: PUSH1 0x28 0000141c: SWAP2 0000141d: CODECOPY 0000141e: PUSH1 0x40 00001420: ADD 00001421: SWAP2 00001422: POP 00001423: POP 00001424: PUSH1 0x40 00001426: MLOAD 00001427: DUP1 00001428: SWAP2 00001429: SUB 0000142a: SWAP1 0000142b: REVERT 0000142c: JUMPDEST 0000142d: PUSH1 0x00 0000142f: PUSH2 0x1440 00001432: DUP6 00001433: PUSH2 0x03e5 00001436: PUSH4 0xffffffff 0000143b: PUSH2 0x162f 0000143e: AND 0000143f: JUMP 00001440: JUMPDEST 00001441: SWAP1 00001442: POP 00001443: PUSH1 0x00 00001445: PUSH2 0x1454 00001448: DUP3 00001449: DUP6 0000144a: PUSH4 0xffffffff 0000144f: PUSH2 0x162f 00001452: AND 00001453: JUMP 00001454: JUMPDEST 00001455: SWAP1 00001456: POP 00001457: PUSH1 0x00 00001459: PUSH2 0x147a 0000145c: DUP4 0000145d: PUSH2 0x146e 00001460: DUP9 00001461: PUSH2 0x03e8 00001464: PUSH4 0xffffffff 00001469: PUSH2 0x162f 0000146c: AND 0000146d: JUMP 0000146e: JUMPDEST 0000146f: SWAP1 00001470: PUSH4 0xffffffff 00001475: PUSH2 0x1692 00001478: AND 00001479: JUMP 0000147a: JUMPDEST 0000147b: SWAP1 0000147c: POP 0000147d: DUP1 0000147e: DUP3 0000147f: DUP2 00001480: PUSH2 0x1485 00001483: JUMPI 00001484: INVALID 00001485: JUMPDEST 00001486: DIV 00001487: SWAP8 00001488: SWAP7 00001489: POP 0000148a: POP 0000148b: POP 0000148c: POP 0000148d: POP 0000148e: POP 0000148f: POP 00001490: JUMP 00001491: JUMPDEST 00001492: PUSH1 0x00 00001494: DUP1 00001495: PUSH1 0x00 00001497: PUSH2 0x14a0 0000149a: DUP6 0000149b: DUP6 0000149c: PUSH2 0x1551 0000149f: JUMP 000014a0: JUMPDEST 000014a1: PUSH1 0x40 000014a3: DUP1 000014a4: MLOAD 000014a5: PUSH12 0xffffffffffffffffffffffff 000014b2: NOT 000014b3: PUSH1 0x60 000014b5: SWAP5 000014b6: DUP6 000014b7: SHL 000014b8: DUP2 000014b9: AND 000014ba: PUSH1 0x20 000014bc: DUP1 000014bd: DUP5 000014be: ADD 000014bf: SWAP2 000014c0: SWAP1 000014c1: SWAP2 000014c2: MSTORE 000014c3: SWAP4 000014c4: DUP6 000014c5: SHL 000014c6: DUP2 000014c7: AND 000014c8: PUSH1 0x34 000014ca: DUP4 000014cb: ADD 000014cc: MSTORE 000014cd: DUP3 000014ce: MLOAD 000014cf: PUSH1 0x28 000014d1: DUP2 000014d2: DUP5 000014d3: SUB 000014d4: ADD 000014d5: DUP2 000014d6: MSTORE 000014d7: PUSH1 0x48 000014d9: DUP4 000014da: ADD 000014db: DUP5 000014dc: MSTORE 000014dd: DUP1 000014de: MLOAD 000014df: SWAP1 000014e0: DUP6 000014e1: ADD 000014e2: KECCAK256 000014e3: PUSH1 0x01 000014e5: PUSH1 0x01 000014e7: PUSH1 0xf8 000014e9: SHL 000014ea: SUB 000014eb: NOT 000014ec: PUSH1 0x68 000014ee: DUP5 000014ef: ADD 000014f0: MSTORE 000014f1: SWAP11 000014f2: SWAP1 000014f3: SWAP5 000014f4: SHL 000014f5: SWAP1 000014f6: SWAP4 000014f7: AND 000014f8: PUSH1 0x69 000014fa: DUP5 000014fb: ADD 000014fc: MSTORE 000014fd: PUSH1 0x7d 000014ff: DUP4 00001500: ADD 00001501: SWAP9 00001502: SWAP1 00001503: SWAP9 00001504: MSTORE 00001505: PUSH32 0x96e8ac4277198ff8b6f785478aa9a39f403cb768dd02cbee326c3e7da348845f 00001526: PUSH1 0x9d 00001528: DUP1 00001529: DUP5 0000152a: ADD 0000152b: SWAP2 0000152c: SWAP1 0000152d: SWAP2 0000152e: MSTORE 0000152f: DUP9 00001530: MLOAD 00001531: DUP1 00001532: DUP5 00001533: SUB 00001534: SWAP1 00001535: SWAP2 00001536: ADD 00001537: DUP2 00001538: MSTORE 00001539: PUSH1 0xbd 0000153b: SWAP1 0000153c: SWAP3 0000153d: ADD 0000153e: SWAP1 0000153f: SWAP8 00001540: MSTORE 00001541: DUP1 00001542: MLOAD 00001543: SWAP7 00001544: ADD 00001545: SWAP6 00001546: SWAP1 00001547: SWAP6 00001548: KECCAK256 00001549: SWAP6 0000154a: SWAP5 0000154b: POP 0000154c: POP 0000154d: POP 0000154e: POP 0000154f: POP 00001550: JUMP 00001551: JUMPDEST 00001552: PUSH1 0x00 00001554: DUP1 00001555: DUP3 00001556: PUSH1 0x01 00001558: PUSH1 0x01 0000155a: PUSH1 0xa0 0000155c: SHL 0000155d: SUB 0000155e: AND 0000155f: DUP5 00001560: PUSH1 0x01 00001562: PUSH1 0x01 00001564: PUSH1 0xa0 00001566: SHL 00001567: SUB 00001568: AND 00001569: EQ 0000156a: ISZERO 0000156b: PUSH2 0x15a5 0000156e: JUMPI 0000156f: PUSH1 0x40 00001571: MLOAD 00001572: PUSH3 0x461bcd 00001576: PUSH1 0xe5 00001578: SHL 00001579: DUP2 0000157a: MSTORE 0000157b: PUSH1 0x04 0000157d: ADD 0000157e: DUP1 0000157f: DUP1 00001580: PUSH1 0x20 00001582: ADD 00001583: DUP3 00001584: DUP2 00001585: SUB 00001586: DUP3 00001587: MSTORE 00001588: PUSH1 0x25 0000158a: DUP2 0000158b: MSTORE 0000158c: PUSH1 0x20 0000158e: ADD 0000158f: DUP1 00001590: PUSH2 0x174d 00001593: PUSH1 0x25 00001595: SWAP2 00001596: CODECOPY 00001597: PUSH1 0x40 00001599: ADD 0000159a: SWAP2 0000159b: POP 0000159c: POP 0000159d: PUSH1 0x40 0000159f: MLOAD 000015a0: DUP1 000015a1: SWAP2 000015a2: SUB 000015a3: SWAP1 000015a4: REVERT 000015a5: JUMPDEST 000015a6: DUP3 000015a7: PUSH1 0x01 000015a9: PUSH1 0x01 000015ab: PUSH1 0xa0 000015ad: SHL 000015ae: SUB 000015af: AND 000015b0: DUP5 000015b1: PUSH1 0x01 000015b3: PUSH1 0x01 000015b5: PUSH1 0xa0 000015b7: SHL 000015b8: SUB 000015b9: AND 000015ba: LT 000015bb: PUSH2 0x15c5 000015be: JUMPI 000015bf: DUP3 000015c0: DUP5 000015c1: PUSH2 0x15c8 000015c4: JUMP 000015c5: JUMPDEST 000015c6: DUP4 000015c7: DUP4 000015c8: JUMPDEST 000015c9: SWAP1 000015ca: SWAP3 000015cb: POP 000015cc: SWAP1 000015cd: POP 000015ce: PUSH1 0x01 000015d0: PUSH1 0x01 000015d2: PUSH1 0xa0 000015d4: SHL 000015d5: SUB 000015d6: DUP3 000015d7: AND 000015d8: PUSH2 0x1628 000015db: JUMPI 000015dc: PUSH1 0x40 000015de: DUP1 000015df: MLOAD 000015e0: PUSH3 0x461bcd 000015e4: PUSH1 0xe5 000015e6: SHL 000015e7: DUP2 000015e8: MSTORE 000015e9: PUSH1 0x20 000015eb: PUSH1 0x04 000015ed: DUP3 000015ee: ADD 000015ef: MSTORE 000015f0: PUSH1 0x1e 000015f2: PUSH1 0x24 000015f4: DUP3 000015f5: ADD 000015f6: MSTORE 000015f7: PUSH32 0x556e697377617056324c6962726172793a205a45524f5f414444524553530000 00001618: PUSH1 0x44 0000161a: DUP3 0000161b: ADD 0000161c: MSTORE 0000161d: SWAP1 0000161e: MLOAD 0000161f: SWAP1 00001620: DUP2 00001621: SWAP1 00001622: SUB 00001623: PUSH1 0x64 00001625: ADD 00001626: SWAP1 00001627: REVERT 00001628: JUMPDEST 00001629: SWAP3 0000162a: POP 0000162b: SWAP3 0000162c: SWAP1 0000162d: POP 0000162e: JUMP 0000162f: JUMPDEST 00001630: PUSH1 0x00 00001632: DUP2 00001633: ISZERO 00001634: DUP1 00001635: PUSH2 0x164a 00001638: JUMPI 00001639: POP 0000163a: POP 0000163b: DUP1 0000163c: DUP3 0000163d: MUL 0000163e: DUP3 0000163f: DUP3 00001640: DUP3 00001641: DUP2 00001642: PUSH2 0x1647 00001645: JUMPI 00001646: INVALID 00001647: JUMPDEST 00001648: DIV 00001649: EQ 0000164a: JUMPDEST 0000164b: PUSH2 0x0ec2 0000164e: JUMPI 0000164f: PUSH1 0x40 00001651: DUP1 00001652: MLOAD 00001653: PUSH3 0x461bcd 00001657: PUSH1 0xe5 00001659: SHL 0000165a: DUP2 0000165b: MSTORE 0000165c: PUSH1 0x20 0000165e: PUSH1 0x04 00001660: DUP3 00001661: ADD 00001662: MSTORE 00001663: PUSH1 0x14 00001665: PUSH1 0x24 00001667: DUP3 00001668: ADD 00001669: MSTORE 0000166a: PUSH20 0x64732d6d6174682d6d756c2d6f766572666c6f77 0000167f: PUSH1 0x60 00001681: SHL 00001682: PUSH1 0x44 00001684: DUP3 00001685: ADD 00001686: MSTORE 00001687: SWAP1 00001688: MLOAD 00001689: SWAP1 0000168a: DUP2 0000168b: SWAP1 0000168c: SUB 0000168d: PUSH1 0x64 0000168f: ADD 00001690: SWAP1 00001691: REVERT 00001692: JUMPDEST 00001693: DUP1 00001694: DUP3 00001695: ADD 00001696: DUP3 00001697: DUP2 00001698: LT 00001699: ISZERO 0000169a: PUSH2 0x0ec2 0000169d: JUMPI 0000169e: PUSH1 0x40 000016a0: DUP1 000016a1: MLOAD 000016a2: PUSH3 0x461bcd 000016a6: PUSH1 0xe5 000016a8: SHL 000016a9: DUP2 000016aa: MSTORE 000016ab: PUSH1 0x20 000016ad: PUSH1 0x04 000016af: DUP3 000016b0: ADD 000016b1: MSTORE 000016b2: PUSH1 0x14 000016b4: PUSH1 0x24 000016b6: DUP3 000016b7: ADD 000016b8: MSTORE 000016b9: PUSH20 0x64732d6d6174682d6164642d6f766572666c6f77 000016ce: PUSH1 0x60 000016d0: SHL 000016d1: PUSH1 0x44 000016d3: DUP3 000016d4: ADD 000016d5: MSTORE 000016d6: SWAP1 000016d7: MLOAD 000016d8: SWAP1 000016d9: DUP2 000016da: SWAP1 000016db: SUB 000016dc: PUSH1 0x64 000016de: ADD 000016df: SWAP1 000016e0: REVERT 000016e1: INVALID 000016e2: CHAINID 000016e3: PUSH6 0x652044697374 000016ea: PUSH19 0x696275746f723a204e4f545f415f544f4b454e 000016fe: PUSH0 000016ff: COINBASE 00001700: MSTORE8 00001701: MSTORE8 00001702: GASLIMIT 00001703: SLOAD 00001704: UNKNOWN(0x4F) 00001705: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520 0000171e: PUSH27 0x65726f2061646472657373466565204469737472696275746f723a 0000173a: KECCAK256 0000173b: JUMPI 0000173c: MSTORE 0000173d: UNKNOWN(0x4F) 0000173e: UNKNOWN(0x4E) 0000173f: SELFBALANCE 00001740: PUSH0 00001741: POP 00001742: COINBASE 00001743: MSIZE 00001744: UNKNOWN(0x4D) 00001745: GASLIMIT 00001746: UNKNOWN(0x4E) 00001747: SLOAD 00001748: PUSH0 00001749: SLOAD 0000174a: MSIZE 0000174b: POP 0000174c: GASLIMIT 0000174d: SSTORE 0000174e: PUSH15 0x697377617056324c6962726172793a 0000175e: KECCAK256 0000175f: BLOBHASH 00001760: DIFFICULTY 00001761: GASLIMIT 00001762: UNKNOWN(0x4E) 00001763: SLOAD 00001764: BLOBHASH 00001765: NUMBER 00001766: COINBASE 00001767: UNKNOWN(0x4C) 00001768: PUSH0 00001769: COINBASE 0000176a: DIFFICULTY 0000176b: DIFFICULTY 0000176c: MSTORE 0000176d: GASLIMIT 0000176e: MSTORE8 0000176f: MSTORE8 00001770: GASLIMIT 00001771: MSTORE8 00001772: CHAINID 00001773: PUSH6 0x652044697374 0000177a: PUSH19 0x696275746f723a20494e53554646494349454e 0000178e: SLOAD 0000178f: PUSH0 00001790: UNKNOWN(0x4F) 00001791: SSTORE 00001792: SLOAD 00001793: POP 00001794: SSTORE 00001795: SLOAD 00001796: PUSH0 00001797: COINBASE 00001798: UNKNOWN(0x4D) 00001799: UNKNOWN(0x4F) 0000179a: SSTORE 0000179b: UNKNOWN(0x4E) 0000179c: SLOAD 0000179d: SSTORE 0000179e: PUSH15 0x697377617056324c6962726172793a 000017ae: KECCAK256 000017af: BLOBHASH 000017b0: UNKNOWN(0x4E) 000017b1: MSTORE8 000017b2: SSTORE 000017b3: CHAINID 000017b4: CHAINID 000017b5: BLOBHASH 000017b6: NUMBER 000017b7: BLOBHASH 000017b8: GASLIMIT 000017b9: UNKNOWN(0x4E) 000017ba: SLOAD 000017bb: PUSH0 000017bc: UNKNOWN(0x4C) 000017bd: BLOBHASH 000017be: MLOAD 000017bf: SSTORE 000017c0: BLOBHASH 000017c1: DIFFICULTY 000017c2: BLOBHASH 000017c3: SLOAD 000017c4: MSIZE 000017c5: CHAINID 000017c6: PUSH6 0x652044697374 000017cd: PUSH19 0x696275746f723a205245494d42555253455f47 000017e1: COINBASE 000017e2: MSTORE8 000017e3: PUSH0 000017e4: CHAINID 000017e5: COINBASE 000017e6: BLOBHASH 000017e7: UNKNOWN(0x4C) 000017e8: GASLIMIT 000017e9: DIFFICULTY 000017ea: MSTORE8 000017eb: PUSH2 0x6665 000017ee: UNKNOWN(0x4D) 000017ef: PUSH2 0x7468 000017f2: GASPRICE 000017f3: KECCAK256 000017f4: PUSH14 0x756c7469706c69636174696f6e20 00001803: PUSH16 0x766572666c6f774f776e61626c653a20 00001814: PUSH4 0x616c6c65 00001819: PUSH19 0x206973206e6f7420746865206f776e65724665 0000182d: PUSH6 0x204469737472 00001834: PUSH10 0x6275746f723a20464545 0000183f: PUSH0 00001840: UNKNOWN(0x4C) 00001841: BLOBHASH 00001842: UNKNOWN(0x4D) 00001843: BLOBHASH 00001844: SLOAD 00001845: PUSH0 00001846: GASLIMIT 00001847: PC 00001848: NUMBER 00001849: GASLIMIT 0000184a: GASLIMIT 0000184b: DIFFICULTY 0000184c: GASLIMIT 0000184d: DIFFICULTY 0000184e: SSTORE 0000184f: PUSH15 0x697377617056324c6962726172793a 0000185f: KECCAK256 00001860: BLOBHASH 00001861: UNKNOWN(0x4E) 00001862: MSTORE8 00001863: SSTORE 00001864: CHAINID 00001865: CHAINID 00001866: BLOBHASH 00001867: NUMBER 00001868: BLOBHASH 00001869: GASLIMIT 0000186a: UNKNOWN(0x4E) 0000186b: SLOAD 0000186c: PUSH0 0000186d: BLOBHASH 0000186e: UNKNOWN(0x4E) 0000186f: POP 00001870: SSTORE 00001871: SLOAD 00001872: PUSH0 00001873: COINBASE 00001874: UNKNOWN(0x4D) 00001875: UNKNOWN(0x4F) 00001876: SSTORE 00001877: UNKNOWN(0x4E) 00001878: SLOAD 00001879: LOG2 0000187a: PUSH5 0x6970667358 00001880: UNKNOWN(0x22) 00001881: SLT 00001882: KECCAK256 00001883: UNKNOWN(0xF9) 00001884: PUSH9 0x829c6f6760eb3d7db7 0000188e: UNKNOWN(0xC6) 0000188f: UNKNOWN(0xCF) 00001890: UNKNOWN(0x0D) 00001891: LOG4 00001892: DIV 00001893: UNKNOWN(0xBA) 00001894: UNKNOWN(0xAB) 00001895: PUSH13 0x6868cdfc9a2307b64c5f3f5d95 000018a3: PUSH5 0x736f6c6343 000018a9: STOP 000018aa: MOD 000018ab: EXP 000018ac: STOP 000018ad: 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 | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x59d0d6933e6d67a94a6556a08b019c2a91853dbeeda54c700fed38da349b250c
call_targets:
0x41a57f5581adf11b25f3edb7c1db19f18bb76734
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x59d0d6933e6d67a94a6556a08b019c2a91853dbeeda54c700fed38da349b250c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x41a57f5581adf11b25f3edb7c1db19f18bb76734"
],
"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": "0xc746d1d0",
"selector": "0xc746d1d0",
"calldata_variants": [
"0xc746d1d0",
"0xc746d1d00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe2bbb158",
"selector": "0xe2bbb158",
"calldata_variants": [
"0xe2bbb158",
"0xe2bbb1580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf887ea40",
"selector": "0xf887ea40",
"calldata_variants": [
"0xf887ea40",
"0xf887ea400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x96e4ee3d",
"selector": "0x96e4ee3d",
"calldata_variants": [
"0x96e4ee3d",
"0x96e4ee3d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xad5c4648",
"selector": "0xad5c4648",
"calldata_variants": [
"0xad5c4648",
"0xad5c46480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc45a0155",
"selector": "0xc45a0155",
"calldata_variants": [
"0xc45a0155",
"0xc45a01550000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1085,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3104,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4234,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x59d0d6933e6d67a94a6556a08b019c2a91853dbeeda54c700fed38da349b250c
call_targets:
0x41a57f5581adf11b25f3edb7c1db19f18bb76734
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x59d0d6933e6d67a94a6556a08b019c2a91853dbeeda54c700fed38da349b250c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x41a57f5581adf11b25f3edb7c1db19f18bb76734"
],
"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": "0xc746d1d0",
"selector": "0xc746d1d0",
"calldata_variants": [
"0xc746d1d0",
"0xc746d1d00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe2bbb158",
"selector": "0xe2bbb158",
"calldata_variants": [
"0xe2bbb158",
"0xe2bbb1580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf887ea40",
"selector": "0xf887ea40",
"calldata_variants": [
"0xf887ea40",
"0xf887ea400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x96e4ee3d",
"selector": "0x96e4ee3d",
"calldata_variants": [
"0x96e4ee3d",
"0x96e4ee3d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xad5c4648",
"selector": "0xad5c4648",
"calldata_variants": [
"0xad5c4648",
"0xad5c46480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc45a0155",
"selector": "0xc45a0155",
"calldata_variants": [
"0xc45a0155",
"0xc45a01550000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1085,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3104,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4234,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|