019b477e-bfd2-7021-8818-ea670f3ea689
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 |
|---|---|---|---|---|
| 24591 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24592 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 102075 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 102076 | capability.graph | complete | 1 / 3 | 1 week ago |
| 102077 | detector.run | complete | 1 / 3 | 1 week ago |
| 102078 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0196 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x4e45899c 00000019: GT 0000001a: PUSH2 0x00e1 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa64190c4 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xd79875eb 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd79875eb 0000003a: EQ 0000003b: PUSH2 0x0482 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd96a094a 00000045: EQ 00000046: PUSH2 0x0495 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xdd62ed3e 00000050: EQ 00000051: PUSH2 0x04a8 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfe9b9ad5 0000005b: EQ 0000005c: PUSH2 0x04fb 0000005f: JUMPI 00000060: PUSH2 0x0196 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xa64190c4 0000006b: EQ 0000006c: PUSH2 0x0422 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xa9059cbb 00000076: EQ 00000077: PUSH2 0x0442 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xc4d66de8 00000081: EQ 00000082: PUSH2 0x0462 00000085: JUMPI 00000086: PUSH2 0x0196 00000089: JUMP 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x79cc6790 00000091: GT 00000092: PUSH2 0x00bb 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x79cc6790 0000009c: EQ 0000009d: PUSH2 0x03cd 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x95d89b41 000000a7: EQ 000000a8: PUSH2 0x03ed 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xa457c2d7 000000b2: EQ 000000b3: PUSH2 0x0402 000000b6: JUMPI 000000b7: PUSH2 0x0196 000000ba: JUMP 000000bb: JUMPDEST 000000bc: DUP1 000000bd: PUSH4 0x4e45899c 000000c2: EQ 000000c3: PUSH2 0x0322 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0x61d815fc 000000cd: EQ 000000ce: PUSH2 0x0374 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x70a08231 000000d8: EQ 000000d9: PUSH2 0x038a 000000dc: JUMPI 000000dd: PUSH2 0x0196 000000e0: JUMP 000000e1: JUMPDEST 000000e2: DUP1 000000e3: PUSH4 0x313ce567 000000e8: GT 000000e9: PUSH2 0x0143 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0x42966c68 000000f3: GT 000000f4: PUSH2 0x011d 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x42966c68 000000fe: EQ 000000ff: PUSH2 0x02cb 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x4a91f195 00000109: EQ 0000010a: PUSH2 0x02ed 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x4beb394c 00000114: EQ 00000115: PUSH2 0x0302 00000118: JUMPI 00000119: PUSH2 0x0196 0000011c: JUMP 0000011d: JUMPDEST 0000011e: DUP1 0000011f: PUSH4 0x313ce567 00000124: EQ 00000125: PUSH2 0x026f 00000128: JUMPI 00000129: DUP1 0000012a: PUSH4 0x33bec21f 0000012f: EQ 00000130: PUSH2 0x028b 00000133: JUMPI 00000134: DUP1 00000135: PUSH4 0x39509351 0000013a: EQ 0000013b: PUSH2 0x02ab 0000013e: JUMPI 0000013f: PUSH2 0x0196 00000142: JUMP 00000143: JUMPDEST 00000144: DUP1 00000145: PUSH4 0x0cfccc83 0000014a: GT 0000014b: PUSH2 0x0174 0000014e: JUMPI 0000014f: DUP1 00000150: PUSH4 0x0cfccc83 00000155: EQ 00000156: PUSH2 0x0224 00000159: JUMPI 0000015a: DUP1 0000015b: PUSH4 0x18160ddd 00000160: EQ 00000161: PUSH2 0x023a 00000164: JUMPI 00000165: DUP1 00000166: PUSH4 0x23b872dd 0000016b: EQ 0000016c: PUSH2 0x024f 0000016f: JUMPI 00000170: PUSH2 0x0196 00000173: JUMP 00000174: JUMPDEST 00000175: DUP1 00000176: PUSH4 0x06fdde03 0000017b: EQ 0000017c: PUSH2 0x019b 0000017f: JUMPI 00000180: DUP1 00000181: PUSH4 0x095ea7b3 00000186: EQ 00000187: PUSH2 0x01c6 0000018a: JUMPI 0000018b: DUP1 0000018c: PUSH4 0x0b6494ad 00000191: EQ 00000192: PUSH2 0x01f6 00000195: JUMPI 00000196: JUMPDEST 00000197: PUSH1 0x00 00000199: DUP1 0000019a: REVERT 0000019b: JUMPDEST 0000019c: CALLVALUE 0000019d: DUP1 0000019e: ISZERO 0000019f: PUSH2 0x01a7 000001a2: JUMPI 000001a3: PUSH1 0x00 000001a5: DUP1 000001a6: REVERT 000001a7: JUMPDEST 000001a8: POP 000001a9: PUSH2 0x01b0 000001ac: PUSH2 0x051b 000001af: JUMP 000001b0: JUMPDEST 000001b1: PUSH1 0x40 000001b3: MLOAD 000001b4: PUSH2 0x01bd 000001b7: SWAP2 000001b8: SWAP1 000001b9: PUSH2 0x14af 000001bc: JUMP 000001bd: JUMPDEST 000001be: PUSH1 0x40 000001c0: MLOAD 000001c1: DUP1 000001c2: SWAP2 000001c3: SUB 000001c4: SWAP1 000001c5: RETURN 000001c6: JUMPDEST 000001c7: CALLVALUE 000001c8: DUP1 000001c9: ISZERO 000001ca: PUSH2 0x01d2 000001cd: JUMPI 000001ce: PUSH1 0x00 000001d0: DUP1 000001d1: REVERT 000001d2: JUMPDEST 000001d3: POP 000001d4: PUSH2 0x01e6 000001d7: PUSH2 0x01e1 000001da: CALLDATASIZE 000001db: PUSH1 0x04 000001dd: PUSH2 0x1431 000001e0: JUMP 000001e1: JUMPDEST 000001e2: PUSH2 0x05ad 000001e5: JUMP 000001e6: JUMPDEST 000001e7: PUSH1 0x40 000001e9: MLOAD 000001ea: SWAP1 000001eb: ISZERO 000001ec: ISZERO 000001ed: DUP2 000001ee: MSTORE 000001ef: PUSH1 0x20 000001f1: ADD 000001f2: PUSH2 0x01bd 000001f5: JUMP 000001f6: JUMPDEST 000001f7: CALLVALUE 000001f8: DUP1 000001f9: ISZERO 000001fa: PUSH2 0x0202 000001fd: JUMPI 000001fe: PUSH1 0x00 00000200: DUP1 00000201: REVERT 00000202: JUMPDEST 00000203: POP 00000204: PUSH2 0x0216 00000207: PUSH2 0x0211 0000020a: CALLDATASIZE 0000020b: PUSH1 0x04 0000020d: PUSH2 0x1472 00000210: JUMP 00000211: JUMPDEST 00000212: PUSH2 0x05c3 00000215: JUMP 00000216: JUMPDEST 00000217: PUSH1 0x40 00000219: MLOAD 0000021a: SWAP1 0000021b: DUP2 0000021c: MSTORE 0000021d: PUSH1 0x20 0000021f: ADD 00000220: PUSH2 0x01bd 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 0x0216 00000235: PUSH1 0x05 00000237: SLOAD 00000238: DUP2 00000239: JUMP 0000023a: JUMPDEST 0000023b: CALLVALUE 0000023c: DUP1 0000023d: ISZERO 0000023e: PUSH2 0x0246 00000241: JUMPI 00000242: PUSH1 0x00 00000244: DUP1 00000245: REVERT 00000246: JUMPDEST 00000247: POP 00000248: PUSH1 0x02 0000024a: SLOAD 0000024b: PUSH2 0x0216 0000024e: JUMP 0000024f: JUMPDEST 00000250: CALLVALUE 00000251: DUP1 00000252: ISZERO 00000253: PUSH2 0x025b 00000256: JUMPI 00000257: PUSH1 0x00 00000259: DUP1 0000025a: REVERT 0000025b: JUMPDEST 0000025c: POP 0000025d: PUSH2 0x01e6 00000260: PUSH2 0x026a 00000263: CALLDATASIZE 00000264: PUSH1 0x04 00000266: PUSH2 0x13f6 00000269: JUMP 0000026a: JUMPDEST 0000026b: PUSH2 0x065c 0000026e: JUMP 0000026f: JUMPDEST 00000270: CALLVALUE 00000271: DUP1 00000272: ISZERO 00000273: PUSH2 0x027b 00000276: JUMPI 00000277: PUSH1 0x00 00000279: DUP1 0000027a: REVERT 0000027b: JUMPDEST 0000027c: POP 0000027d: PUSH1 0x40 0000027f: MLOAD 00000280: PUSH1 0x12 00000282: DUP2 00000283: MSTORE 00000284: PUSH1 0x20 00000286: ADD 00000287: PUSH2 0x01bd 0000028a: JUMP 0000028b: JUMPDEST 0000028c: CALLVALUE 0000028d: DUP1 0000028e: ISZERO 0000028f: PUSH2 0x0297 00000292: JUMPI 00000293: PUSH1 0x00 00000295: DUP1 00000296: REVERT 00000297: JUMPDEST 00000298: POP 00000299: PUSH2 0x0216 0000029c: PUSH2 0x02a6 0000029f: CALLDATASIZE 000002a0: PUSH1 0x04 000002a2: PUSH2 0x1472 000002a5: JUMP 000002a6: JUMPDEST 000002a7: PUSH2 0x0734 000002aa: JUMP 000002ab: JUMPDEST 000002ac: CALLVALUE 000002ad: DUP1 000002ae: ISZERO 000002af: PUSH2 0x02b7 000002b2: JUMPI 000002b3: PUSH1 0x00 000002b5: DUP1 000002b6: REVERT 000002b7: JUMPDEST 000002b8: POP 000002b9: PUSH2 0x01e6 000002bc: PUSH2 0x02c6 000002bf: CALLDATASIZE 000002c0: PUSH1 0x04 000002c2: PUSH2 0x1431 000002c5: JUMP 000002c6: JUMPDEST 000002c7: PUSH2 0x07cd 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 0x02eb 000002dc: PUSH2 0x02e6 000002df: CALLDATASIZE 000002e0: PUSH1 0x04 000002e2: PUSH2 0x145a 000002e5: JUMP 000002e6: JUMPDEST 000002e7: PUSH2 0x0811 000002ea: JUMP 000002eb: JUMPDEST 000002ec: STOP 000002ed: JUMPDEST 000002ee: CALLVALUE 000002ef: DUP1 000002f0: ISZERO 000002f1: PUSH2 0x02f9 000002f4: JUMPI 000002f5: PUSH1 0x00 000002f7: DUP1 000002f8: REVERT 000002f9: JUMPDEST 000002fa: POP 000002fb: PUSH2 0x0216 000002fe: PUSH2 0x081e 00000301: JUMP 00000302: JUMPDEST 00000303: CALLVALUE 00000304: DUP1 00000305: ISZERO 00000306: PUSH2 0x030e 00000309: JUMPI 0000030a: PUSH1 0x00 0000030c: DUP1 0000030d: REVERT 0000030e: JUMPDEST 0000030f: POP 00000310: PUSH2 0x0216 00000313: PUSH2 0x031d 00000316: CALLDATASIZE 00000317: PUSH1 0x04 00000319: PUSH2 0x145a 0000031c: JUMP 0000031d: JUMPDEST 0000031e: PUSH2 0x0840 00000321: JUMP 00000322: JUMPDEST 00000323: CALLVALUE 00000324: DUP1 00000325: ISZERO 00000326: PUSH2 0x032e 00000329: JUMPI 0000032a: PUSH1 0x00 0000032c: DUP1 0000032d: REVERT 0000032e: JUMPDEST 0000032f: POP 00000330: PUSH1 0x07 00000332: SLOAD 00000333: PUSH2 0x034f 00000336: SWAP1 00000337: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000034c: AND 0000034d: DUP2 0000034e: JUMP 0000034f: JUMPDEST 00000350: PUSH1 0x40 00000352: MLOAD 00000353: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000368: SWAP1 00000369: SWAP2 0000036a: AND 0000036b: DUP2 0000036c: MSTORE 0000036d: PUSH1 0x20 0000036f: ADD 00000370: PUSH2 0x01bd 00000373: JUMP 00000374: JUMPDEST 00000375: CALLVALUE 00000376: DUP1 00000377: ISZERO 00000378: PUSH2 0x0380 0000037b: JUMPI 0000037c: PUSH1 0x00 0000037e: DUP1 0000037f: REVERT 00000380: JUMPDEST 00000381: POP 00000382: PUSH2 0x0216 00000385: PUSH1 0x06 00000387: SLOAD 00000388: DUP2 00000389: JUMP 0000038a: JUMPDEST 0000038b: CALLVALUE 0000038c: DUP1 0000038d: ISZERO 0000038e: PUSH2 0x0396 00000391: JUMPI 00000392: PUSH1 0x00 00000394: DUP1 00000395: REVERT 00000396: JUMPDEST 00000397: POP 00000398: PUSH2 0x0216 0000039b: PUSH2 0x03a5 0000039e: CALLDATASIZE 0000039f: PUSH1 0x04 000003a1: PUSH2 0x13a3 000003a4: JUMP 000003a5: JUMPDEST 000003a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003bb: AND 000003bc: PUSH1 0x00 000003be: SWAP1 000003bf: DUP2 000003c0: MSTORE 000003c1: PUSH1 0x20 000003c3: DUP2 000003c4: SWAP1 000003c5: MSTORE 000003c6: PUSH1 0x40 000003c8: SWAP1 000003c9: KECCAK256 000003ca: SLOAD 000003cb: SWAP1 000003cc: JUMP 000003cd: JUMPDEST 000003ce: CALLVALUE 000003cf: DUP1 000003d0: ISZERO 000003d1: PUSH2 0x03d9 000003d4: JUMPI 000003d5: PUSH1 0x00 000003d7: DUP1 000003d8: REVERT 000003d9: JUMPDEST 000003da: POP 000003db: PUSH2 0x02eb 000003de: PUSH2 0x03e8 000003e1: CALLDATASIZE 000003e2: PUSH1 0x04 000003e4: PUSH2 0x1431 000003e7: JUMP 000003e8: JUMPDEST 000003e9: PUSH2 0x0856 000003ec: JUMP 000003ed: JUMPDEST 000003ee: CALLVALUE 000003ef: DUP1 000003f0: ISZERO 000003f1: PUSH2 0x03f9 000003f4: JUMPI 000003f5: PUSH1 0x00 000003f7: DUP1 000003f8: REVERT 000003f9: JUMPDEST 000003fa: POP 000003fb: PUSH2 0x01b0 000003fe: PUSH2 0x08f7 00000401: JUMP 00000402: JUMPDEST 00000403: CALLVALUE 00000404: DUP1 00000405: ISZERO 00000406: PUSH2 0x040e 00000409: JUMPI 0000040a: PUSH1 0x00 0000040c: DUP1 0000040d: REVERT 0000040e: JUMPDEST 0000040f: POP 00000410: PUSH2 0x01e6 00000413: PUSH2 0x041d 00000416: CALLDATASIZE 00000417: PUSH1 0x04 00000419: PUSH2 0x1431 0000041c: JUMP 0000041d: JUMPDEST 0000041e: PUSH2 0x0906 00000421: JUMP 00000422: JUMPDEST 00000423: CALLVALUE 00000424: DUP1 00000425: ISZERO 00000426: PUSH2 0x042e 00000429: JUMPI 0000042a: PUSH1 0x00 0000042c: DUP1 0000042d: REVERT 0000042e: JUMPDEST 0000042f: POP 00000430: PUSH2 0x0216 00000433: PUSH2 0x043d 00000436: CALLDATASIZE 00000437: PUSH1 0x04 00000439: PUSH2 0x145a 0000043c: JUMP 0000043d: JUMPDEST 0000043e: PUSH2 0x09c6 00000441: JUMP 00000442: JUMPDEST 00000443: CALLVALUE 00000444: DUP1 00000445: ISZERO 00000446: PUSH2 0x044e 00000449: JUMPI 0000044a: PUSH1 0x00 0000044c: DUP1 0000044d: REVERT 0000044e: JUMPDEST 0000044f: POP 00000450: PUSH2 0x01e6 00000453: PUSH2 0x045d 00000456: CALLDATASIZE 00000457: PUSH1 0x04 00000459: PUSH2 0x1431 0000045c: JUMP 0000045d: JUMPDEST 0000045e: PUSH2 0x09d4 00000461: JUMP 00000462: JUMPDEST 00000463: CALLVALUE 00000464: DUP1 00000465: ISZERO 00000466: PUSH2 0x046e 00000469: JUMPI 0000046a: PUSH1 0x00 0000046c: DUP1 0000046d: REVERT 0000046e: JUMPDEST 0000046f: POP 00000470: PUSH2 0x02eb 00000473: PUSH2 0x047d 00000476: CALLDATASIZE 00000477: PUSH1 0x04 00000479: PUSH2 0x13a3 0000047c: JUMP 0000047d: JUMPDEST 0000047e: PUSH2 0x09e1 00000481: JUMP 00000482: JUMPDEST 00000483: PUSH2 0x02eb 00000486: PUSH2 0x0490 00000489: CALLDATASIZE 0000048a: PUSH1 0x04 0000048c: PUSH2 0x1472 0000048f: JUMP 00000490: JUMPDEST 00000491: PUSH2 0x0a8e 00000494: JUMP 00000495: JUMPDEST 00000496: PUSH2 0x02eb 00000499: PUSH2 0x04a3 0000049c: CALLDATASIZE 0000049d: PUSH1 0x04 0000049f: PUSH2 0x145a 000004a2: JUMP 000004a3: JUMPDEST 000004a4: PUSH2 0x0b26 000004a7: JUMP 000004a8: JUMPDEST 000004a9: CALLVALUE 000004aa: DUP1 000004ab: ISZERO 000004ac: PUSH2 0x04b4 000004af: JUMPI 000004b0: PUSH1 0x00 000004b2: DUP1 000004b3: REVERT 000004b4: JUMPDEST 000004b5: POP 000004b6: PUSH2 0x0216 000004b9: PUSH2 0x04c3 000004bc: CALLDATASIZE 000004bd: PUSH1 0x04 000004bf: PUSH2 0x13c4 000004c2: JUMP 000004c3: JUMPDEST 000004c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d9: SWAP2 000004da: DUP3 000004db: AND 000004dc: PUSH1 0x00 000004de: SWAP1 000004df: DUP2 000004e0: MSTORE 000004e1: PUSH1 0x01 000004e3: PUSH1 0x20 000004e5: SWAP1 000004e6: DUP2 000004e7: MSTORE 000004e8: PUSH1 0x40 000004ea: DUP1 000004eb: DUP4 000004ec: KECCAK256 000004ed: SWAP4 000004ee: SWAP1 000004ef: SWAP5 000004f0: AND 000004f1: DUP3 000004f2: MSTORE 000004f3: SWAP2 000004f4: SWAP1 000004f5: SWAP2 000004f6: MSTORE 000004f7: KECCAK256 000004f8: SLOAD 000004f9: SWAP1 000004fa: JUMP 000004fb: JUMPDEST 000004fc: CALLVALUE 000004fd: DUP1 000004fe: ISZERO 000004ff: PUSH2 0x0507 00000502: JUMPI 00000503: PUSH1 0x00 00000505: DUP1 00000506: REVERT 00000507: JUMPDEST 00000508: POP 00000509: PUSH2 0x02eb 0000050c: PUSH2 0x0516 0000050f: CALLDATASIZE 00000510: PUSH1 0x04 00000512: PUSH2 0x1431 00000515: JUMP 00000516: JUMPDEST 00000517: PUSH2 0x0c56 0000051a: JUMP 0000051b: JUMPDEST 0000051c: PUSH1 0x60 0000051e: PUSH1 0x03 00000520: DUP1 00000521: SLOAD 00000522: PUSH2 0x052a 00000525: SWAP1 00000526: PUSH2 0x15d5 00000529: JUMP 0000052a: JUMPDEST 0000052b: DUP1 0000052c: PUSH1 0x1f 0000052e: ADD 0000052f: PUSH1 0x20 00000531: DUP1 00000532: SWAP2 00000533: DIV 00000534: MUL 00000535: PUSH1 0x20 00000537: ADD 00000538: PUSH1 0x40 0000053a: MLOAD 0000053b: SWAP1 0000053c: DUP2 0000053d: ADD 0000053e: PUSH1 0x40 00000540: MSTORE 00000541: DUP1 00000542: SWAP3 00000543: SWAP2 00000544: SWAP1 00000545: DUP2 00000546: DUP2 00000547: MSTORE 00000548: PUSH1 0x20 0000054a: ADD 0000054b: DUP3 0000054c: DUP1 0000054d: SLOAD 0000054e: PUSH2 0x0556 00000551: SWAP1 00000552: PUSH2 0x15d5 00000555: JUMP 00000556: JUMPDEST 00000557: DUP1 00000558: ISZERO 00000559: PUSH2 0x05a3 0000055c: JUMPI 0000055d: DUP1 0000055e: PUSH1 0x1f 00000560: LT 00000561: PUSH2 0x0578 00000564: JUMPI 00000565: PUSH2 0x0100 00000568: DUP1 00000569: DUP4 0000056a: SLOAD 0000056b: DIV 0000056c: MUL 0000056d: DUP4 0000056e: MSTORE 0000056f: SWAP2 00000570: PUSH1 0x20 00000572: ADD 00000573: SWAP2 00000574: PUSH2 0x05a3 00000577: JUMP 00000578: JUMPDEST 00000579: DUP3 0000057a: ADD 0000057b: SWAP2 0000057c: SWAP1 0000057d: PUSH1 0x00 0000057f: MSTORE 00000580: PUSH1 0x20 00000582: PUSH1 0x00 00000584: KECCAK256 00000585: SWAP1 00000586: JUMPDEST 00000587: DUP2 00000588: SLOAD 00000589: DUP2 0000058a: MSTORE 0000058b: SWAP1 0000058c: PUSH1 0x01 0000058e: ADD 0000058f: SWAP1 00000590: PUSH1 0x20 00000592: ADD 00000593: DUP1 00000594: DUP4 00000595: GT 00000596: PUSH2 0x0586 00000599: JUMPI 0000059a: DUP3 0000059b: SWAP1 0000059c: SUB 0000059d: PUSH1 0x1f 0000059f: AND 000005a0: DUP3 000005a1: ADD 000005a2: SWAP2 000005a3: JUMPDEST 000005a4: POP 000005a5: POP 000005a6: POP 000005a7: POP 000005a8: POP 000005a9: SWAP1 000005aa: POP 000005ab: SWAP1 000005ac: JUMP 000005ad: JUMPDEST 000005ae: PUSH1 0x00 000005b0: PUSH2 0x05ba 000005b3: CALLER 000005b4: DUP5 000005b5: DUP5 000005b6: PUSH2 0x0d0c 000005b9: JUMP 000005ba: JUMPDEST 000005bb: POP 000005bc: PUSH1 0x01 000005be: SWAP3 000005bf: SWAP2 000005c0: POP 000005c1: POP 000005c2: JUMP 000005c3: JUMPDEST 000005c4: PUSH1 0x00 000005c6: DUP1 000005c7: PUSH2 0x05d0 000005ca: DUP5 000005cb: DUP5 000005cc: PUSH2 0x158e 000005cf: JUMP 000005d0: JUMPDEST 000005d1: SWAP1 000005d2: POP 000005d3: PUSH1 0x00 000005d5: PUSH1 0x03 000005d7: DUP5 000005d8: PUSH2 0x05e1 000005db: DUP2 000005dc: DUP1 000005dd: PUSH2 0x1551 000005e0: JUMP 000005e1: JUMPDEST 000005e2: PUSH2 0x05eb 000005e5: SWAP2 000005e6: SWAP1 000005e7: PUSH2 0x1551 000005ea: JUMP 000005eb: JUMPDEST 000005ec: PUSH2 0x05f5 000005ef: SWAP2 000005f0: SWAP1 000005f1: PUSH2 0x1518 000005f4: JUMP 000005f5: JUMPDEST 000005f6: SWAP1 000005f7: POP 000005f8: PUSH1 0x00 000005fa: PUSH1 0x03 000005fc: DUP4 000005fd: PUSH2 0x0606 00000600: DUP2 00000601: DUP1 00000602: PUSH2 0x1551 00000605: JUMP 00000606: JUMPDEST 00000607: PUSH2 0x0610 0000060a: SWAP2 0000060b: SWAP1 0000060c: PUSH2 0x1551 0000060f: JUMP 00000610: JUMPDEST 00000611: PUSH2 0x061a 00000614: SWAP2 00000615: SWAP1 00000616: PUSH2 0x1518 00000619: JUMP 0000061a: JUMPDEST 0000061b: SWAP1 0000061c: POP 0000061d: PUSH1 0x00 0000061f: PUSH2 0x0628 00000622: DUP3 00000623: DUP5 00000624: PUSH2 0x158e 00000627: JUMP 00000628: JUMPDEST 00000629: PUSH1 0x06 0000062b: SLOAD 0000062c: SWAP1 0000062d: SWAP2 0000062e: POP 0000062f: PUSH2 0x0647 00000632: PUSH15 0xc097ce7bc90715b34b9f1000000000 00000642: DUP4 00000643: PUSH2 0x1518 00000646: JUMP 00000647: JUMPDEST 00000648: PUSH2 0x0651 0000064b: SWAP2 0000064c: SWAP1 0000064d: PUSH2 0x1518 00000650: JUMP 00000651: JUMPDEST 00000652: SWAP8 00000653: SWAP7 00000654: POP 00000655: POP 00000656: POP 00000657: POP 00000658: POP 00000659: POP 0000065a: POP 0000065b: JUMP 0000065c: JUMPDEST 0000065d: PUSH1 0x00 0000065f: PUSH2 0x0669 00000662: DUP5 00000663: DUP5 00000664: DUP5 00000665: PUSH2 0x0e8c 00000668: JUMP 00000669: JUMPDEST 0000066a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000067f: DUP5 00000680: AND 00000681: PUSH1 0x00 00000683: SWAP1 00000684: DUP2 00000685: MSTORE 00000686: PUSH1 0x01 00000688: PUSH1 0x20 0000068a: SWAP1 0000068b: DUP2 0000068c: MSTORE 0000068d: PUSH1 0x40 0000068f: DUP1 00000690: DUP4 00000691: KECCAK256 00000692: CALLER 00000693: DUP5 00000694: MSTORE 00000695: SWAP1 00000696: SWAP2 00000697: MSTORE 00000698: SWAP1 00000699: KECCAK256 0000069a: SLOAD 0000069b: DUP3 0000069c: DUP2 0000069d: LT 0000069e: ISZERO 0000069f: PUSH2 0x0715 000006a2: JUMPI 000006a3: PUSH1 0x40 000006a5: MLOAD 000006a6: PUSH3 0x461bcd 000006aa: PUSH1 0xe5 000006ac: SHL 000006ad: DUP2 000006ae: MSTORE 000006af: PUSH1 0x20 000006b1: PUSH1 0x04 000006b3: DUP3 000006b4: ADD 000006b5: MSTORE 000006b6: PUSH1 0x28 000006b8: PUSH1 0x24 000006ba: DUP3 000006bb: ADD 000006bc: MSTORE 000006bd: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732061 000006de: PUSH1 0x44 000006e0: DUP3 000006e1: ADD 000006e2: MSTORE 000006e3: PUSH32 0x6c6c6f77616e6365000000000000000000000000000000000000000000000000 00000704: PUSH1 0x64 00000706: DUP3 00000707: ADD 00000708: MSTORE 00000709: PUSH1 0x84 0000070b: ADD 0000070c: JUMPDEST 0000070d: PUSH1 0x40 0000070f: MLOAD 00000710: DUP1 00000711: SWAP2 00000712: SUB 00000713: SWAP1 00000714: REVERT 00000715: JUMPDEST 00000716: PUSH2 0x0729 00000719: DUP6 0000071a: CALLER 0000071b: PUSH2 0x0724 0000071e: DUP7 0000071f: DUP6 00000720: PUSH2 0x158e 00000723: JUMP 00000724: JUMPDEST 00000725: PUSH2 0x0d0c 00000728: JUMP 00000729: JUMPDEST 0000072a: POP 0000072b: PUSH1 0x01 0000072d: SWAP5 0000072e: SWAP4 0000072f: POP 00000730: POP 00000731: POP 00000732: POP 00000733: JUMP 00000734: JUMPDEST 00000735: PUSH1 0x00 00000737: DUP1 00000738: PUSH2 0x0741 0000073b: DUP5 0000073c: DUP5 0000073d: PUSH2 0x1500 00000740: JUMP 00000741: JUMPDEST 00000742: SWAP1 00000743: POP 00000744: PUSH1 0x00 00000746: PUSH1 0x03 00000748: DUP5 00000749: PUSH2 0x0752 0000074c: DUP2 0000074d: DUP1 0000074e: PUSH2 0x1551 00000751: JUMP 00000752: JUMPDEST 00000753: PUSH2 0x075c 00000756: SWAP2 00000757: SWAP1 00000758: PUSH2 0x1551 0000075b: JUMP 0000075c: JUMPDEST 0000075d: PUSH2 0x0766 00000760: SWAP2 00000761: SWAP1 00000762: PUSH2 0x1518 00000765: JUMP 00000766: JUMPDEST 00000767: SWAP1 00000768: POP 00000769: PUSH1 0x00 0000076b: PUSH1 0x03 0000076d: DUP4 0000076e: PUSH2 0x0777 00000771: DUP2 00000772: DUP1 00000773: PUSH2 0x1551 00000776: JUMP 00000777: JUMPDEST 00000778: PUSH2 0x0781 0000077b: SWAP2 0000077c: SWAP1 0000077d: PUSH2 0x1551 00000780: JUMP 00000781: JUMPDEST 00000782: PUSH2 0x078b 00000785: SWAP2 00000786: SWAP1 00000787: PUSH2 0x1518 0000078a: JUMP 0000078b: JUMPDEST 0000078c: SWAP1 0000078d: POP 0000078e: PUSH1 0x00 00000790: PUSH2 0x0799 00000793: DUP4 00000794: DUP4 00000795: PUSH2 0x158e 00000798: JUMP 00000799: JUMPDEST 0000079a: PUSH1 0x06 0000079c: SLOAD 0000079d: SWAP1 0000079e: SWAP2 0000079f: POP 000007a0: PUSH2 0x07b8 000007a3: PUSH15 0xc097ce7bc90715b34b9f1000000000 000007b3: DUP4 000007b4: PUSH2 0x1518 000007b7: JUMP 000007b8: JUMPDEST 000007b9: PUSH2 0x07c2 000007bc: SWAP2 000007bd: SWAP1 000007be: PUSH2 0x1518 000007c1: JUMP 000007c2: JUMPDEST 000007c3: PUSH2 0x0651 000007c6: SWAP1 000007c7: PUSH1 0x01 000007c9: PUSH2 0x1500 000007cc: JUMP 000007cd: JUMPDEST 000007ce: CALLER 000007cf: PUSH1 0x00 000007d1: DUP2 000007d2: DUP2 000007d3: MSTORE 000007d4: PUSH1 0x01 000007d6: PUSH1 0x20 000007d8: SWAP1 000007d9: DUP2 000007da: MSTORE 000007db: PUSH1 0x40 000007dd: DUP1 000007de: DUP4 000007df: KECCAK256 000007e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007f5: DUP8 000007f6: AND 000007f7: DUP5 000007f8: MSTORE 000007f9: SWAP1 000007fa: SWAP2 000007fb: MSTORE 000007fc: DUP2 000007fd: KECCAK256 000007fe: SLOAD 000007ff: SWAP1 00000800: SWAP2 00000801: PUSH2 0x05ba 00000804: SWAP2 00000805: DUP6 00000806: SWAP1 00000807: PUSH2 0x0724 0000080a: SWAP1 0000080b: DUP7 0000080c: SWAP1 0000080d: PUSH2 0x1500 00000810: JUMP 00000811: JUMPDEST 00000812: PUSH2 0x081b 00000815: CALLER 00000816: DUP3 00000817: PUSH2 0x10fb 0000081a: JUMP 0000081b: JUMPDEST 0000081c: POP 0000081d: JUMP 0000081e: JUMPDEST 0000081f: ADDRESS 00000820: PUSH1 0x00 00000822: SWAP1 00000823: DUP2 00000824: MSTORE 00000825: PUSH1 0x20 00000827: DUP2 00000828: SWAP1 00000829: MSTORE 0000082a: PUSH1 0x40 0000082c: DUP2 0000082d: KECCAK256 0000082e: SLOAD 0000082f: PUSH1 0x05 00000831: SLOAD 00000832: PUSH2 0x083b 00000835: SWAP2 00000836: SWAP1 00000837: PUSH2 0x158e 0000083a: JUMP 0000083b: JUMPDEST 0000083c: SWAP1 0000083d: POP 0000083e: SWAP1 0000083f: JUMP 00000840: JUMPDEST 00000841: PUSH1 0x00 00000843: PUSH2 0x084e 00000846: DUP3 00000847: PUSH2 0x02a6 0000084a: PUSH2 0x081e 0000084d: JUMP 0000084e: JUMPDEST 0000084f: SWAP1 00000850: POP 00000851: JUMPDEST 00000852: SWAP2 00000853: SWAP1 00000854: POP 00000855: JUMP 00000856: JUMPDEST 00000857: PUSH1 0x00 00000859: PUSH2 0x0862 0000085c: DUP4 0000085d: CALLER 0000085e: PUSH2 0x04c3 00000861: JUMP 00000862: JUMPDEST 00000863: SWAP1 00000864: POP 00000865: DUP2 00000866: DUP2 00000867: LT 00000868: ISZERO 00000869: PUSH2 0x08d9 0000086c: JUMPI 0000086d: PUSH1 0x40 0000086f: MLOAD 00000870: PUSH3 0x461bcd 00000874: PUSH1 0xe5 00000876: SHL 00000877: DUP2 00000878: MSTORE 00000879: PUSH1 0x20 0000087b: PUSH1 0x04 0000087d: DUP3 0000087e: ADD 0000087f: MSTORE 00000880: PUSH1 0x24 00000882: DUP1 00000883: DUP3 00000884: ADD 00000885: MSTORE 00000886: PUSH32 0x45524332303a206275726e20616d6f756e74206578636565647320616c6c6f77 000008a7: PUSH1 0x44 000008a9: DUP3 000008aa: ADD 000008ab: MSTORE 000008ac: PUSH32 0x616e636500000000000000000000000000000000000000000000000000000000 000008cd: PUSH1 0x64 000008cf: DUP3 000008d0: ADD 000008d1: MSTORE 000008d2: PUSH1 0x84 000008d4: ADD 000008d5: PUSH2 0x070c 000008d8: JUMP 000008d9: JUMPDEST 000008da: PUSH2 0x08e8 000008dd: DUP4 000008de: CALLER 000008df: PUSH2 0x0724 000008e2: DUP6 000008e3: DUP6 000008e4: PUSH2 0x158e 000008e7: JUMP 000008e8: JUMPDEST 000008e9: PUSH2 0x08f2 000008ec: DUP4 000008ed: DUP4 000008ee: PUSH2 0x10fb 000008f1: JUMP 000008f2: JUMPDEST 000008f3: POP 000008f4: POP 000008f5: POP 000008f6: JUMP 000008f7: JUMPDEST 000008f8: PUSH1 0x60 000008fa: PUSH1 0x04 000008fc: DUP1 000008fd: SLOAD 000008fe: PUSH2 0x052a 00000901: SWAP1 00000902: PUSH2 0x15d5 00000905: JUMP 00000906: JUMPDEST 00000907: CALLER 00000908: PUSH1 0x00 0000090a: SWAP1 0000090b: DUP2 0000090c: MSTORE 0000090d: PUSH1 0x01 0000090f: PUSH1 0x20 00000911: SWAP1 00000912: DUP2 00000913: MSTORE 00000914: PUSH1 0x40 00000916: DUP1 00000917: DUP4 00000918: KECCAK256 00000919: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000092e: DUP7 0000092f: AND 00000930: DUP5 00000931: MSTORE 00000932: SWAP1 00000933: SWAP2 00000934: MSTORE 00000935: DUP2 00000936: KECCAK256 00000937: SLOAD 00000938: DUP3 00000939: DUP2 0000093a: LT 0000093b: ISZERO 0000093c: PUSH2 0x09ad 0000093f: JUMPI 00000940: PUSH1 0x40 00000942: MLOAD 00000943: PUSH3 0x461bcd 00000947: PUSH1 0xe5 00000949: SHL 0000094a: DUP2 0000094b: MSTORE 0000094c: PUSH1 0x20 0000094e: PUSH1 0x04 00000950: DUP3 00000951: ADD 00000952: MSTORE 00000953: PUSH1 0x25 00000955: PUSH1 0x24 00000957: DUP3 00000958: ADD 00000959: MSTORE 0000095a: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77 0000097b: PUSH1 0x44 0000097d: DUP3 0000097e: ADD 0000097f: MSTORE 00000980: PUSH32 0x207a65726f000000000000000000000000000000000000000000000000000000 000009a1: PUSH1 0x64 000009a3: DUP3 000009a4: ADD 000009a5: MSTORE 000009a6: PUSH1 0x84 000009a8: ADD 000009a9: PUSH2 0x070c 000009ac: JUMP 000009ad: JUMPDEST 000009ae: PUSH2 0x09bc 000009b1: CALLER 000009b2: DUP6 000009b3: PUSH2 0x0724 000009b6: DUP7 000009b7: DUP6 000009b8: PUSH2 0x158e 000009bb: JUMP 000009bc: JUMPDEST 000009bd: POP 000009be: PUSH1 0x01 000009c0: SWAP4 000009c1: SWAP3 000009c2: POP 000009c3: POP 000009c4: POP 000009c5: JUMP 000009c6: JUMPDEST 000009c7: PUSH1 0x00 000009c9: PUSH2 0x084e 000009cc: DUP3 000009cd: PUSH2 0x0211 000009d0: PUSH2 0x081e 000009d3: JUMP 000009d4: JUMPDEST 000009d5: PUSH1 0x00 000009d7: PUSH2 0x05ba 000009da: CALLER 000009db: DUP5 000009dc: DUP5 000009dd: PUSH2 0x0e8c 000009e0: JUMP 000009e1: JUMPDEST 000009e2: PUSH1 0x07 000009e4: SLOAD 000009e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009fa: AND 000009fb: ISZERO 000009fc: PUSH2 0x0a47 000009ff: JUMPI 00000a00: PUSH1 0x40 00000a02: MLOAD 00000a03: PUSH3 0x461bcd 00000a07: PUSH1 0xe5 00000a09: SHL 00000a0a: DUP2 00000a0b: MSTORE 00000a0c: PUSH1 0x20 00000a0e: PUSH1 0x04 00000a10: DUP3 00000a11: ADD 00000a12: MSTORE 00000a13: PUSH1 0x13 00000a15: PUSH1 0x24 00000a17: DUP3 00000a18: ADD 00000a19: MSTORE 00000a1a: PUSH32 0x616c726561647920696e697469616c697a656400000000000000000000000000 00000a3b: PUSH1 0x44 00000a3d: DUP3 00000a3e: ADD 00000a3f: MSTORE 00000a40: PUSH1 0x64 00000a42: ADD 00000a43: PUSH2 0x070c 00000a46: JUMP 00000a47: JUMPDEST 00000a48: PUSH1 0x07 00000a4a: DUP1 00000a4b: SLOAD 00000a4c: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000a6d: AND 00000a6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a83: SWAP3 00000a84: SWAP1 00000a85: SWAP3 00000a86: AND 00000a87: SWAP2 00000a88: SWAP1 00000a89: SWAP2 00000a8a: OR 00000a8b: SWAP1 00000a8c: SSTORE 00000a8d: JUMP 00000a8e: JUMPDEST 00000a8f: PUSH1 0x00 00000a91: PUSH2 0x0a99 00000a94: DUP4 00000a95: PUSH2 0x09c6 00000a98: JUMP 00000a99: JUMPDEST 00000a9a: SWAP1 00000a9b: POP 00000a9c: DUP2 00000a9d: DUP2 00000a9e: LT 00000a9f: ISZERO 00000aa0: PUSH2 0x0b11 00000aa3: JUMPI 00000aa4: PUSH1 0x40 00000aa6: MLOAD 00000aa7: PUSH3 0x461bcd 00000aab: PUSH1 0xe5 00000aad: SHL 00000aae: DUP2 00000aaf: MSTORE 00000ab0: PUSH1 0x20 00000ab2: PUSH1 0x04 00000ab4: DUP3 00000ab5: ADD 00000ab6: MSTORE 00000ab7: PUSH1 0x35 00000ab9: PUSH1 0x24 00000abb: DUP3 00000abc: ADD 00000abd: MSTORE 00000abe: PUSH32 0x4e756d626572206f6620457468657220726563656976656420776f756c642062 00000adf: PUSH1 0x44 00000ae1: DUP3 00000ae2: ADD 00000ae3: MSTORE 00000ae4: PUSH32 0x65206c6f776572207468616e206d696e45746865720000000000000000000000 00000b05: PUSH1 0x64 00000b07: DUP3 00000b08: ADD 00000b09: MSTORE 00000b0a: PUSH1 0x84 00000b0c: ADD 00000b0d: PUSH2 0x070c 00000b10: JUMP 00000b11: JUMPDEST 00000b12: PUSH2 0x0b1c 00000b15: CALLER 00000b16: ADDRESS 00000b17: DUP6 00000b18: PUSH2 0x0e8c 00000b1b: JUMP 00000b1c: JUMPDEST 00000b1d: PUSH2 0x08f2 00000b20: CALLER 00000b21: DUP3 00000b22: PUSH2 0x12b5 00000b25: JUMP 00000b26: JUMPDEST 00000b27: PUSH1 0x00 00000b29: PUSH2 0x0b30 00000b2c: PUSH2 0x081e 00000b2f: JUMP 00000b30: JUMPDEST 00000b31: PUSH1 0x05 00000b33: SLOAD 00000b34: SWAP1 00000b35: SWAP2 00000b36: POP 00000b37: PUSH2 0x0b40 00000b3a: DUP4 00000b3b: DUP4 00000b3c: PUSH2 0x1500 00000b3f: JUMP 00000b40: JUMPDEST 00000b41: GT 00000b42: ISZERO 00000b43: PUSH2 0x0bda 00000b46: JUMPI 00000b47: PUSH1 0x40 00000b49: MLOAD 00000b4a: PUSH3 0x461bcd 00000b4e: PUSH1 0xe5 00000b50: SHL 00000b51: DUP2 00000b52: MSTORE 00000b53: PUSH1 0x20 00000b55: PUSH1 0x04 00000b57: DUP3 00000b58: ADD 00000b59: MSTORE 00000b5a: PUSH1 0x41 00000b5c: PUSH1 0x24 00000b5e: DUP3 00000b5f: ADD 00000b60: MSTORE 00000b61: PUSH32 0x537570706c79206361702065786365656465642c206e6f206d6f726520746f6b 00000b82: PUSH1 0x44 00000b84: DUP3 00000b85: ADD 00000b86: MSTORE 00000b87: PUSH32 0x656e732063616e20626520626f756768742066726f6d20746865206375727665 00000ba8: PUSH1 0x64 00000baa: DUP3 00000bab: ADD 00000bac: MSTORE 00000bad: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000 00000bce: PUSH1 0x84 00000bd0: DUP3 00000bd1: ADD 00000bd2: MSTORE 00000bd3: PUSH1 0xa4 00000bd5: ADD 00000bd6: PUSH2 0x070c 00000bd9: JUMP 00000bda: JUMPDEST 00000bdb: PUSH1 0x00 00000bdd: PUSH2 0x0be6 00000be0: DUP4 00000be1: DUP4 00000be2: PUSH2 0x0734 00000be5: JUMP 00000be6: JUMPDEST 00000be7: SWAP1 00000be8: POP 00000be9: CALLVALUE 00000bea: DUP2 00000beb: GT 00000bec: ISZERO 00000bed: PUSH2 0x0c38 00000bf0: JUMPI 00000bf1: PUSH1 0x40 00000bf3: MLOAD 00000bf4: PUSH3 0x461bcd 00000bf8: PUSH1 0xe5 00000bfa: SHL 00000bfb: DUP2 00000bfc: MSTORE 00000bfd: PUSH1 0x20 00000bff: PUSH1 0x04 00000c01: DUP3 00000c02: ADD 00000c03: MSTORE 00000c04: PUSH1 0x19 00000c06: PUSH1 0x24 00000c08: DUP3 00000c09: ADD 00000c0a: MSTORE 00000c0b: PUSH32 0x446964206e6f742073656e6420656e6f75676820457468657200000000000000 00000c2c: PUSH1 0x44 00000c2e: DUP3 00000c2f: ADD 00000c30: MSTORE 00000c31: PUSH1 0x64 00000c33: ADD 00000c34: PUSH2 0x070c 00000c37: JUMP 00000c38: JUMPDEST 00000c39: PUSH2 0x0c43 00000c3c: ADDRESS 00000c3d: CALLER 00000c3e: DUP6 00000c3f: PUSH2 0x0e8c 00000c42: JUMP 00000c43: JUMPDEST 00000c44: PUSH2 0x08f2 00000c47: CALLER 00000c48: PUSH2 0x0c51 00000c4b: DUP4 00000c4c: CALLVALUE 00000c4d: PUSH2 0x158e 00000c50: JUMP 00000c51: JUMPDEST 00000c52: PUSH2 0x12b5 00000c55: JUMP 00000c56: JUMPDEST 00000c57: PUSH1 0x07 00000c59: SLOAD 00000c5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c6f: AND 00000c70: CALLER 00000c71: EQ 00000c72: PUSH2 0x0ce3 00000c75: JUMPI 00000c76: PUSH1 0x40 00000c78: MLOAD 00000c79: PUSH3 0x461bcd 00000c7d: PUSH1 0xe5 00000c7f: SHL 00000c80: DUP2 00000c81: MSTORE 00000c82: PUSH1 0x20 00000c84: PUSH1 0x04 00000c86: DUP3 00000c87: ADD 00000c88: MSTORE 00000c89: PUSH1 0x3f 00000c8b: PUSH1 0x24 00000c8d: DUP3 00000c8e: ADD 00000c8f: MSTORE 00000c90: PUSH32 0x7472616e73666572546f4465657047656d732063616e206f6e6c792062652063 00000cb1: PUSH1 0x44 00000cb3: DUP3 00000cb4: ADD 00000cb5: MSTORE 00000cb6: PUSH32 0x616c6c65642062792074686520646565702067656d7320636f6e747261637400 00000cd7: PUSH1 0x64 00000cd9: DUP3 00000cda: ADD 00000cdb: MSTORE 00000cdc: PUSH1 0x84 00000cde: ADD 00000cdf: PUSH2 0x070c 00000ce2: JUMP 00000ce3: JUMPDEST 00000ce4: PUSH1 0x07 00000ce6: SLOAD 00000ce7: PUSH2 0x0d08 00000cea: SWAP1 00000ceb: DUP4 00000cec: SWAP1 00000ced: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d02: AND 00000d03: DUP4 00000d04: PUSH2 0x0e8c 00000d07: JUMP 00000d08: JUMPDEST 00000d09: POP 00000d0a: POP 00000d0b: JUMP 00000d0c: JUMPDEST 00000d0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d22: DUP4 00000d23: AND 00000d24: PUSH2 0x0d94 00000d27: JUMPI 00000d28: PUSH1 0x40 00000d2a: MLOAD 00000d2b: PUSH3 0x461bcd 00000d2f: PUSH1 0xe5 00000d31: SHL 00000d32: DUP2 00000d33: MSTORE 00000d34: PUSH1 0x20 00000d36: PUSH1 0x04 00000d38: DUP3 00000d39: ADD 00000d3a: MSTORE 00000d3b: PUSH1 0x24 00000d3d: DUP1 00000d3e: DUP3 00000d3f: ADD 00000d40: MSTORE 00000d41: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 00000d62: PUSH1 0x44 00000d64: DUP3 00000d65: ADD 00000d66: MSTORE 00000d67: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000 00000d88: PUSH1 0x64 00000d8a: DUP3 00000d8b: ADD 00000d8c: MSTORE 00000d8d: PUSH1 0x84 00000d8f: ADD 00000d90: PUSH2 0x070c 00000d93: JUMP 00000d94: JUMPDEST 00000d95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000daa: DUP3 00000dab: AND 00000dac: PUSH2 0x0e1d 00000daf: JUMPI 00000db0: PUSH1 0x40 00000db2: MLOAD 00000db3: PUSH3 0x461bcd 00000db7: PUSH1 0xe5 00000db9: SHL 00000dba: DUP2 00000dbb: MSTORE 00000dbc: PUSH1 0x20 00000dbe: PUSH1 0x04 00000dc0: DUP3 00000dc1: ADD 00000dc2: MSTORE 00000dc3: PUSH1 0x22 00000dc5: PUSH1 0x24 00000dc7: DUP3 00000dc8: ADD 00000dc9: MSTORE 00000dca: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 00000deb: PUSH1 0x44 00000ded: DUP3 00000dee: ADD 00000def: MSTORE 00000df0: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000 00000e11: PUSH1 0x64 00000e13: DUP3 00000e14: ADD 00000e15: MSTORE 00000e16: PUSH1 0x84 00000e18: ADD 00000e19: PUSH2 0x070c 00000e1c: JUMP 00000e1d: JUMPDEST 00000e1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e33: DUP4 00000e34: DUP2 00000e35: AND 00000e36: PUSH1 0x00 00000e38: DUP2 00000e39: DUP2 00000e3a: MSTORE 00000e3b: PUSH1 0x01 00000e3d: PUSH1 0x20 00000e3f: SWAP1 00000e40: DUP2 00000e41: MSTORE 00000e42: PUSH1 0x40 00000e44: DUP1 00000e45: DUP4 00000e46: KECCAK256 00000e47: SWAP5 00000e48: DUP8 00000e49: AND 00000e4a: DUP1 00000e4b: DUP5 00000e4c: MSTORE 00000e4d: SWAP5 00000e4e: DUP3 00000e4f: MSTORE 00000e50: SWAP2 00000e51: DUP3 00000e52: SWAP1 00000e53: KECCAK256 00000e54: DUP6 00000e55: SWAP1 00000e56: SSTORE 00000e57: SWAP1 00000e58: MLOAD 00000e59: DUP5 00000e5a: DUP2 00000e5b: MSTORE 00000e5c: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000e7d: SWAP2 00000e7e: ADD 00000e7f: JUMPDEST 00000e80: PUSH1 0x40 00000e82: MLOAD 00000e83: DUP1 00000e84: SWAP2 00000e85: SUB 00000e86: SWAP1 00000e87: LOG3 00000e88: POP 00000e89: POP 00000e8a: POP 00000e8b: JUMP 00000e8c: JUMPDEST 00000e8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ea2: DUP4 00000ea3: AND 00000ea4: PUSH2 0x0f15 00000ea7: JUMPI 00000ea8: PUSH1 0x40 00000eaa: MLOAD 00000eab: PUSH3 0x461bcd 00000eaf: PUSH1 0xe5 00000eb1: SHL 00000eb2: DUP2 00000eb3: MSTORE 00000eb4: PUSH1 0x20 00000eb6: PUSH1 0x04 00000eb8: DUP3 00000eb9: ADD 00000eba: MSTORE 00000ebb: PUSH1 0x25 00000ebd: PUSH1 0x24 00000ebf: DUP3 00000ec0: ADD 00000ec1: MSTORE 00000ec2: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 00000ee3: PUSH1 0x44 00000ee5: DUP3 00000ee6: ADD 00000ee7: MSTORE 00000ee8: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000 00000f09: PUSH1 0x64 00000f0b: DUP3 00000f0c: ADD 00000f0d: MSTORE 00000f0e: PUSH1 0x84 00000f10: ADD 00000f11: PUSH2 0x070c 00000f14: JUMP 00000f15: JUMPDEST 00000f16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f2b: DUP3 00000f2c: AND 00000f2d: PUSH2 0x0f9e 00000f30: JUMPI 00000f31: PUSH1 0x40 00000f33: MLOAD 00000f34: PUSH3 0x461bcd 00000f38: PUSH1 0xe5 00000f3a: SHL 00000f3b: DUP2 00000f3c: MSTORE 00000f3d: PUSH1 0x20 00000f3f: PUSH1 0x04 00000f41: DUP3 00000f42: ADD 00000f43: MSTORE 00000f44: PUSH1 0x23 00000f46: PUSH1 0x24 00000f48: DUP3 00000f49: ADD 00000f4a: MSTORE 00000f4b: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 00000f6c: PUSH1 0x44 00000f6e: DUP3 00000f6f: ADD 00000f70: MSTORE 00000f71: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000 00000f92: PUSH1 0x64 00000f94: DUP3 00000f95: ADD 00000f96: MSTORE 00000f97: PUSH1 0x84 00000f99: ADD 00000f9a: PUSH2 0x070c 00000f9d: JUMP 00000f9e: JUMPDEST 00000f9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fb4: DUP4 00000fb5: AND 00000fb6: PUSH1 0x00 00000fb8: SWAP1 00000fb9: DUP2 00000fba: MSTORE 00000fbb: PUSH1 0x20 00000fbd: DUP2 00000fbe: SWAP1 00000fbf: MSTORE 00000fc0: PUSH1 0x40 00000fc2: SWAP1 00000fc3: KECCAK256 00000fc4: SLOAD 00000fc5: DUP2 00000fc6: DUP2 00000fc7: LT 00000fc8: ISZERO 00000fc9: PUSH2 0x103a 00000fcc: JUMPI 00000fcd: PUSH1 0x40 00000fcf: MLOAD 00000fd0: PUSH3 0x461bcd 00000fd4: PUSH1 0xe5 00000fd6: SHL 00000fd7: DUP2 00000fd8: MSTORE 00000fd9: PUSH1 0x20 00000fdb: PUSH1 0x04 00000fdd: DUP3 00000fde: ADD 00000fdf: MSTORE 00000fe0: PUSH1 0x26 00000fe2: PUSH1 0x24 00000fe4: DUP3 00000fe5: ADD 00000fe6: MSTORE 00000fe7: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062 00001008: PUSH1 0x44 0000100a: DUP3 0000100b: ADD 0000100c: MSTORE 0000100d: PUSH32 0x616c616e63650000000000000000000000000000000000000000000000000000 0000102e: PUSH1 0x64 00001030: DUP3 00001031: ADD 00001032: MSTORE 00001033: PUSH1 0x84 00001035: ADD 00001036: PUSH2 0x070c 00001039: JUMP 0000103a: JUMPDEST 0000103b: PUSH2 0x1044 0000103e: DUP3 0000103f: DUP3 00001040: PUSH2 0x158e 00001043: JUMP 00001044: JUMPDEST 00001045: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000105a: DUP1 0000105b: DUP7 0000105c: AND 0000105d: PUSH1 0x00 0000105f: SWAP1 00001060: DUP2 00001061: MSTORE 00001062: PUSH1 0x20 00001064: DUP2 00001065: SWAP1 00001066: MSTORE 00001067: PUSH1 0x40 00001069: DUP1 0000106a: DUP3 0000106b: KECCAK256 0000106c: SWAP4 0000106d: SWAP1 0000106e: SWAP4 0000106f: SSTORE 00001070: SWAP1 00001071: DUP6 00001072: AND 00001073: DUP2 00001074: MSTORE 00001075: SWAP1 00001076: DUP2 00001077: KECCAK256 00001078: DUP1 00001079: SLOAD 0000107a: DUP5 0000107b: SWAP3 0000107c: SWAP1 0000107d: PUSH2 0x1087 00001080: SWAP1 00001081: DUP5 00001082: SWAP1 00001083: PUSH2 0x1500 00001086: JUMP 00001087: JUMPDEST 00001088: SWAP3 00001089: POP 0000108a: POP 0000108b: DUP2 0000108c: SWAP1 0000108d: SSTORE 0000108e: POP 0000108f: DUP3 00001090: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010a5: AND 000010a6: DUP5 000010a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010bc: AND 000010bd: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000010de: DUP5 000010df: PUSH1 0x40 000010e1: MLOAD 000010e2: PUSH2 0x10ed 000010e5: SWAP2 000010e6: DUP2 000010e7: MSTORE 000010e8: PUSH1 0x20 000010ea: ADD 000010eb: SWAP1 000010ec: JUMP 000010ed: JUMPDEST 000010ee: PUSH1 0x40 000010f0: MLOAD 000010f1: DUP1 000010f2: SWAP2 000010f3: SUB 000010f4: SWAP1 000010f5: LOG3 000010f6: POP 000010f7: POP 000010f8: POP 000010f9: POP 000010fa: JUMP 000010fb: JUMPDEST 000010fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001111: DUP3 00001112: AND 00001113: PUSH2 0x1184 00001116: JUMPI 00001117: PUSH1 0x40 00001119: MLOAD 0000111a: PUSH3 0x461bcd 0000111e: PUSH1 0xe5 00001120: SHL 00001121: DUP2 00001122: MSTORE 00001123: PUSH1 0x20 00001125: PUSH1 0x04 00001127: DUP3 00001128: ADD 00001129: MSTORE 0000112a: PUSH1 0x21 0000112c: PUSH1 0x24 0000112e: DUP3 0000112f: ADD 00001130: MSTORE 00001131: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573 00001152: PUSH1 0x44 00001154: DUP3 00001155: ADD 00001156: MSTORE 00001157: PUSH32 0x7300000000000000000000000000000000000000000000000000000000000000 00001178: PUSH1 0x64 0000117a: DUP3 0000117b: ADD 0000117c: MSTORE 0000117d: PUSH1 0x84 0000117f: ADD 00001180: PUSH2 0x070c 00001183: JUMP 00001184: JUMPDEST 00001185: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000119a: DUP3 0000119b: AND 0000119c: PUSH1 0x00 0000119e: SWAP1 0000119f: DUP2 000011a0: MSTORE 000011a1: PUSH1 0x20 000011a3: DUP2 000011a4: SWAP1 000011a5: MSTORE 000011a6: PUSH1 0x40 000011a8: SWAP1 000011a9: KECCAK256 000011aa: SLOAD 000011ab: DUP2 000011ac: DUP2 000011ad: LT 000011ae: ISZERO 000011af: PUSH2 0x1220 000011b2: JUMPI 000011b3: PUSH1 0x40 000011b5: MLOAD 000011b6: PUSH3 0x461bcd 000011ba: PUSH1 0xe5 000011bc: SHL 000011bd: DUP2 000011be: MSTORE 000011bf: PUSH1 0x20 000011c1: PUSH1 0x04 000011c3: DUP3 000011c4: ADD 000011c5: MSTORE 000011c6: PUSH1 0x22 000011c8: PUSH1 0x24 000011ca: DUP3 000011cb: ADD 000011cc: MSTORE 000011cd: PUSH32 0x45524332303a206275726e20616d6f756e7420657863656564732062616c616e 000011ee: PUSH1 0x44 000011f0: DUP3 000011f1: ADD 000011f2: MSTORE 000011f3: PUSH32 0x6365000000000000000000000000000000000000000000000000000000000000 00001214: PUSH1 0x64 00001216: DUP3 00001217: ADD 00001218: MSTORE 00001219: PUSH1 0x84 0000121b: ADD 0000121c: PUSH2 0x070c 0000121f: JUMP 00001220: JUMPDEST 00001221: PUSH2 0x122a 00001224: DUP3 00001225: DUP3 00001226: PUSH2 0x158e 00001229: JUMP 0000122a: JUMPDEST 0000122b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001240: DUP5 00001241: AND 00001242: PUSH1 0x00 00001244: SWAP1 00001245: DUP2 00001246: MSTORE 00001247: PUSH1 0x20 00001249: DUP2 0000124a: SWAP1 0000124b: MSTORE 0000124c: PUSH1 0x40 0000124e: DUP2 0000124f: KECCAK256 00001250: SWAP2 00001251: SWAP1 00001252: SWAP2 00001253: SSTORE 00001254: PUSH1 0x02 00001256: DUP1 00001257: SLOAD 00001258: DUP5 00001259: SWAP3 0000125a: SWAP1 0000125b: PUSH2 0x1265 0000125e: SWAP1 0000125f: DUP5 00001260: SWAP1 00001261: PUSH2 0x158e 00001264: JUMP 00001265: JUMPDEST 00001266: SWAP1 00001267: SWAP2 00001268: SSTORE 00001269: POP 0000126a: POP 0000126b: PUSH1 0x40 0000126d: MLOAD 0000126e: DUP3 0000126f: DUP2 00001270: MSTORE 00001271: PUSH1 0x00 00001273: SWAP1 00001274: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001289: DUP6 0000128a: AND 0000128b: SWAP1 0000128c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000012ad: SWAP1 000012ae: PUSH1 0x20 000012b0: ADD 000012b1: PUSH2 0x0e7f 000012b4: JUMP 000012b5: JUMPDEST 000012b6: PUSH1 0x40 000012b8: DUP1 000012b9: MLOAD 000012ba: PUSH1 0x00 000012bc: DUP1 000012bd: DUP3 000012be: MSTORE 000012bf: PUSH1 0x20 000012c1: DUP3 000012c2: ADD 000012c3: SWAP1 000012c4: SWAP3 000012c5: MSTORE 000012c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012db: DUP5 000012dc: AND 000012dd: SWAP1 000012de: DUP4 000012df: SWAP1 000012e0: PUSH1 0x40 000012e2: MLOAD 000012e3: PUSH2 0x12ec 000012e6: SWAP2 000012e7: SWAP1 000012e8: PUSH2 0x1493 000012eb: JUMP 000012ec: JUMPDEST 000012ed: PUSH1 0x00 000012ef: PUSH1 0x40 000012f1: MLOAD 000012f2: DUP1 000012f3: DUP4 000012f4: SUB 000012f5: DUP2 000012f6: DUP6 000012f7: DUP8 000012f8: GAS 000012f9: CALL 000012fa: SWAP3 000012fb: POP 000012fc: POP 000012fd: POP 000012fe: RETURNDATASIZE 000012ff: DUP1 00001300: PUSH1 0x00 00001302: DUP2 00001303: EQ 00001304: PUSH2 0x1329 00001307: JUMPI 00001308: PUSH1 0x40 0000130a: MLOAD 0000130b: SWAP2 0000130c: POP 0000130d: PUSH1 0x1f 0000130f: NOT 00001310: PUSH1 0x3f 00001312: RETURNDATASIZE 00001313: ADD 00001314: AND 00001315: DUP3 00001316: ADD 00001317: PUSH1 0x40 00001319: MSTORE 0000131a: RETURNDATASIZE 0000131b: DUP3 0000131c: MSTORE 0000131d: RETURNDATASIZE 0000131e: PUSH1 0x00 00001320: PUSH1 0x20 00001322: DUP5 00001323: ADD 00001324: RETURNDATACOPY 00001325: PUSH2 0x132e 00001328: JUMP 00001329: JUMPDEST 0000132a: PUSH1 0x60 0000132c: SWAP2 0000132d: POP 0000132e: JUMPDEST 0000132f: POP 00001330: POP 00001331: SWAP1 00001332: POP 00001333: DUP1 00001334: PUSH2 0x08f2 00001337: JUMPI 00001338: PUSH1 0x40 0000133a: MLOAD 0000133b: PUSH3 0x461bcd 0000133f: PUSH1 0xe5 00001341: SHL 00001342: DUP2 00001343: MSTORE 00001344: PUSH1 0x20 00001346: PUSH1 0x04 00001348: DUP3 00001349: ADD 0000134a: MSTORE 0000134b: PUSH1 0x13 0000134d: PUSH1 0x24 0000134f: DUP3 00001350: ADD 00001351: MSTORE 00001352: PUSH32 0x455448207472616e73666572206661696c656400000000000000000000000000 00001373: PUSH1 0x44 00001375: DUP3 00001376: ADD 00001377: MSTORE 00001378: PUSH1 0x64 0000137a: ADD 0000137b: PUSH2 0x070c 0000137e: JUMP 0000137f: JUMPDEST 00001380: DUP1 00001381: CALLDATALOAD 00001382: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001397: DUP2 00001398: AND 00001399: DUP2 0000139a: EQ 0000139b: PUSH2 0x0851 0000139e: JUMPI 0000139f: PUSH1 0x00 000013a1: DUP1 000013a2: REVERT 000013a3: JUMPDEST 000013a4: PUSH1 0x00 000013a6: PUSH1 0x20 000013a8: DUP3 000013a9: DUP5 000013aa: SUB 000013ab: SLT 000013ac: ISZERO 000013ad: PUSH2 0x13b4 000013b0: JUMPI 000013b1: DUP1 000013b2: DUP2 000013b3: REVERT 000013b4: JUMPDEST 000013b5: PUSH2 0x13bd 000013b8: DUP3 000013b9: PUSH2 0x137f 000013bc: JUMP 000013bd: JUMPDEST 000013be: SWAP4 000013bf: SWAP3 000013c0: POP 000013c1: POP 000013c2: POP 000013c3: JUMP 000013c4: JUMPDEST 000013c5: PUSH1 0x00 000013c7: DUP1 000013c8: PUSH1 0x40 000013ca: DUP4 000013cb: DUP6 000013cc: SUB 000013cd: SLT 000013ce: ISZERO 000013cf: PUSH2 0x13d6 000013d2: JUMPI 000013d3: DUP1 000013d4: DUP2 000013d5: REVERT 000013d6: JUMPDEST 000013d7: PUSH2 0x13df 000013da: DUP4 000013db: PUSH2 0x137f 000013de: JUMP 000013df: JUMPDEST 000013e0: SWAP2 000013e1: POP 000013e2: PUSH2 0x13ed 000013e5: PUSH1 0x20 000013e7: DUP5 000013e8: ADD 000013e9: PUSH2 0x137f 000013ec: JUMP 000013ed: JUMPDEST 000013ee: SWAP1 000013ef: POP 000013f0: SWAP3 000013f1: POP 000013f2: SWAP3 000013f3: SWAP1 000013f4: POP 000013f5: JUMP 000013f6: JUMPDEST 000013f7: PUSH1 0x00 000013f9: DUP1 000013fa: PUSH1 0x00 000013fc: PUSH1 0x60 000013fe: DUP5 000013ff: DUP7 00001400: SUB 00001401: SLT 00001402: ISZERO 00001403: PUSH2 0x140a 00001406: JUMPI 00001407: DUP1 00001408: DUP2 00001409: REVERT 0000140a: JUMPDEST 0000140b: PUSH2 0x1413 0000140e: DUP5 0000140f: PUSH2 0x137f 00001412: JUMP 00001413: JUMPDEST 00001414: SWAP3 00001415: POP 00001416: PUSH2 0x1421 00001419: PUSH1 0x20 0000141b: DUP6 0000141c: ADD 0000141d: PUSH2 0x137f 00001420: JUMP 00001421: JUMPDEST 00001422: SWAP2 00001423: POP 00001424: PUSH1 0x40 00001426: DUP5 00001427: ADD 00001428: CALLDATALOAD 00001429: SWAP1 0000142a: POP 0000142b: SWAP3 0000142c: POP 0000142d: SWAP3 0000142e: POP 0000142f: SWAP3 00001430: JUMP 00001431: JUMPDEST 00001432: PUSH1 0x00 00001434: DUP1 00001435: PUSH1 0x40 00001437: DUP4 00001438: DUP6 00001439: SUB 0000143a: SLT 0000143b: ISZERO 0000143c: PUSH2 0x1443 0000143f: JUMPI 00001440: DUP2 00001441: DUP3 00001442: REVERT 00001443: JUMPDEST 00001444: PUSH2 0x144c 00001447: DUP4 00001448: PUSH2 0x137f 0000144b: JUMP 0000144c: JUMPDEST 0000144d: SWAP5 0000144e: PUSH1 0x20 00001450: SWAP4 00001451: SWAP1 00001452: SWAP4 00001453: ADD 00001454: CALLDATALOAD 00001455: SWAP4 00001456: POP 00001457: POP 00001458: POP 00001459: JUMP 0000145a: JUMPDEST 0000145b: PUSH1 0x00 0000145d: PUSH1 0x20 0000145f: DUP3 00001460: DUP5 00001461: SUB 00001462: SLT 00001463: ISZERO 00001464: PUSH2 0x146b 00001467: JUMPI 00001468: DUP1 00001469: DUP2 0000146a: REVERT 0000146b: JUMPDEST 0000146c: POP 0000146d: CALLDATALOAD 0000146e: SWAP2 0000146f: SWAP1 00001470: POP 00001471: JUMP 00001472: JUMPDEST 00001473: PUSH1 0x00 00001475: DUP1 00001476: PUSH1 0x40 00001478: DUP4 00001479: DUP6 0000147a: SUB 0000147b: SLT 0000147c: ISZERO 0000147d: PUSH2 0x1484 00001480: JUMPI 00001481: DUP2 00001482: DUP3 00001483: REVERT 00001484: JUMPDEST 00001485: POP 00001486: POP 00001487: DUP1 00001488: CALLDATALOAD 00001489: SWAP3 0000148a: PUSH1 0x20 0000148c: SWAP1 0000148d: SWAP2 0000148e: ADD 0000148f: CALLDATALOAD 00001490: SWAP2 00001491: POP 00001492: JUMP 00001493: JUMPDEST 00001494: PUSH1 0x00 00001496: DUP3 00001497: MLOAD 00001498: PUSH2 0x14a5 0000149b: DUP2 0000149c: DUP5 0000149d: PUSH1 0x20 0000149f: DUP8 000014a0: ADD 000014a1: PUSH2 0x15a5 000014a4: JUMP 000014a5: JUMPDEST 000014a6: SWAP2 000014a7: SWAP1 000014a8: SWAP2 000014a9: ADD 000014aa: SWAP3 000014ab: SWAP2 000014ac: POP 000014ad: POP 000014ae: JUMP 000014af: JUMPDEST 000014b0: PUSH1 0x00 000014b2: PUSH1 0x20 000014b4: DUP3 000014b5: MSTORE 000014b6: DUP3 000014b7: MLOAD 000014b8: DUP1 000014b9: PUSH1 0x20 000014bb: DUP5 000014bc: ADD 000014bd: MSTORE 000014be: PUSH2 0x14ce 000014c1: DUP2 000014c2: PUSH1 0x40 000014c4: DUP6 000014c5: ADD 000014c6: PUSH1 0x20 000014c8: DUP8 000014c9: ADD 000014ca: PUSH2 0x15a5 000014cd: JUMP 000014ce: JUMPDEST 000014cf: PUSH1 0x1f 000014d1: ADD 000014d2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000014f3: AND 000014f4: SWAP2 000014f5: SWAP1 000014f6: SWAP2 000014f7: ADD 000014f8: PUSH1 0x40 000014fa: ADD 000014fb: SWAP3 000014fc: SWAP2 000014fd: POP 000014fe: POP 000014ff: JUMP 00001500: JUMPDEST 00001501: PUSH1 0x00 00001503: DUP3 00001504: NOT 00001505: DUP3 00001506: GT 00001507: ISZERO 00001508: PUSH2 0x1513 0000150b: JUMPI 0000150c: PUSH2 0x1513 0000150f: PUSH2 0x1629 00001512: JUMP 00001513: JUMPDEST 00001514: POP 00001515: ADD 00001516: SWAP1 00001517: JUMP 00001518: JUMPDEST 00001519: PUSH1 0x00 0000151b: DUP3 0000151c: PUSH2 0x154c 0000151f: JUMPI 00001520: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001541: DUP2 00001542: MSTORE 00001543: PUSH1 0x12 00001545: PUSH1 0x04 00001547: MSTORE 00001548: PUSH1 0x24 0000154a: DUP2 0000154b: REVERT 0000154c: JUMPDEST 0000154d: POP 0000154e: DIV 0000154f: SWAP1 00001550: JUMP 00001551: JUMPDEST 00001552: PUSH1 0x00 00001554: DUP2 00001555: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001576: DIV 00001577: DUP4 00001578: GT 00001579: DUP3 0000157a: ISZERO 0000157b: ISZERO 0000157c: AND 0000157d: ISZERO 0000157e: PUSH2 0x1589 00001581: JUMPI 00001582: PUSH2 0x1589 00001585: PUSH2 0x1629 00001588: JUMP 00001589: JUMPDEST 0000158a: POP 0000158b: MUL 0000158c: SWAP1 0000158d: JUMP 0000158e: JUMPDEST 0000158f: PUSH1 0x00 00001591: DUP3 00001592: DUP3 00001593: LT 00001594: ISZERO 00001595: PUSH2 0x15a0 00001598: JUMPI 00001599: PUSH2 0x15a0 0000159c: PUSH2 0x1629 0000159f: JUMP 000015a0: JUMPDEST 000015a1: POP 000015a2: SUB 000015a3: SWAP1 000015a4: JUMP 000015a5: JUMPDEST 000015a6: PUSH1 0x00 000015a8: JUMPDEST 000015a9: DUP4 000015aa: DUP2 000015ab: LT 000015ac: ISZERO 000015ad: PUSH2 0x15c0 000015b0: JUMPI 000015b1: DUP2 000015b2: DUP2 000015b3: ADD 000015b4: MLOAD 000015b5: DUP4 000015b6: DUP3 000015b7: ADD 000015b8: MSTORE 000015b9: PUSH1 0x20 000015bb: ADD 000015bc: PUSH2 0x15a8 000015bf: JUMP 000015c0: JUMPDEST 000015c1: DUP4 000015c2: DUP2 000015c3: GT 000015c4: ISZERO 000015c5: PUSH2 0x15cf 000015c8: JUMPI 000015c9: PUSH1 0x00 000015cb: DUP5 000015cc: DUP5 000015cd: ADD 000015ce: MSTORE 000015cf: JUMPDEST 000015d0: POP 000015d1: POP 000015d2: POP 000015d3: POP 000015d4: JUMP 000015d5: JUMPDEST 000015d6: PUSH1 0x01 000015d8: DUP2 000015d9: DUP2 000015da: SHR 000015db: SWAP1 000015dc: DUP3 000015dd: AND 000015de: DUP1 000015df: PUSH2 0x15e9 000015e2: JUMPI 000015e3: PUSH1 0x7f 000015e5: DUP3 000015e6: AND 000015e7: SWAP2 000015e8: POP 000015e9: JUMPDEST 000015ea: PUSH1 0x20 000015ec: DUP3 000015ed: LT 000015ee: DUP2 000015ef: EQ 000015f0: ISZERO 000015f1: PUSH2 0x1623 000015f4: JUMPI 000015f5: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001616: PUSH1 0x00 00001618: MSTORE 00001619: PUSH1 0x22 0000161b: PUSH1 0x04 0000161d: MSTORE 0000161e: PUSH1 0x24 00001620: PUSH1 0x00 00001622: REVERT 00001623: JUMPDEST 00001624: POP 00001625: SWAP2 00001626: SWAP1 00001627: POP 00001628: JUMP 00001629: JUMPDEST 0000162a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000164b: PUSH1 0x00 0000164d: MSTORE 0000164e: PUSH1 0x11 00001650: PUSH1 0x04 00001652: MSTORE 00001653: PUSH1 0x24 00001655: PUSH1 0x00 00001657: REVERT 00001658: INVALID 00001659: LOG2 0000165a: PUSH5 0x6970667358 00001660: UNKNOWN(0x22) 00001661: SLT 00001662: KECCAK256 00001663: JUMPDEST 00001664: UNKNOWN(0xF9) 00001665: SWAP15 00001666: SWAP10 00001667: MUL 00001668: UNKNOWN(0xA8) 00001669: PUSH27 0x80160a3d99bdf26d7216f8dbe71eecb8cb857a66d45d1279b26473 00001685: PUSH16
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xed40d2c22c06c634ceebbf2f69ba2396064ad98481bc37bf2f1cca52e7a85db9
call_targets:
0x70d626dfe4bacad28994469b6bac702979bdeb09
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xed40d2c22c06c634ceebbf2f69ba2396064ad98481bc37bf2f1cca52e7a85db9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x70d626dfe4bacad28994469b6bac702979bdeb09"
],
"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": "0xd79875eb",
"selector": "0xd79875eb",
"calldata_variants": [
"0xd79875eb",
"0xd79875eb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd96a094a",
"selector": "0xd96a094a",
"calldata_variants": [
"0xd96a094a",
"0xd96a094a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe9b9ad5",
"selector": "0xfe9b9ad5",
"calldata_variants": [
"0xfe9b9ad5",
"0xfe9b9ad50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa64190c4",
"selector": "0xa64190c4",
"calldata_variants": [
"0xa64190c4",
"0xa64190c40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc4d66de8",
"selector": "0xc4d66de8",
"calldata_variants": [
"0xc4d66de8",
"0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79cc6790",
"selector": "0x79cc6790",
"calldata_variants": [
"0x79cc6790",
"0x79cc67900000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4857,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xed40d2c22c06c634ceebbf2f69ba2396064ad98481bc37bf2f1cca52e7a85db9
call_targets:
0x70d626dfe4bacad28994469b6bac702979bdeb09
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xed40d2c22c06c634ceebbf2f69ba2396064ad98481bc37bf2f1cca52e7a85db9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x70d626dfe4bacad28994469b6bac702979bdeb09"
],
"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": "0xd79875eb",
"selector": "0xd79875eb",
"calldata_variants": [
"0xd79875eb",
"0xd79875eb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd96a094a",
"selector": "0xd96a094a",
"calldata_variants": [
"0xd96a094a",
"0xd96a094a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe9b9ad5",
"selector": "0xfe9b9ad5",
"calldata_variants": [
"0xfe9b9ad5",
"0xfe9b9ad50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa64190c4",
"selector": "0xa64190c4",
"calldata_variants": [
"0xa64190c4",
"0xa64190c40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc4d66de8",
"selector": "0xc4d66de8",
"calldata_variants": [
"0xc4d66de8",
"0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79cc6790",
"selector": "0x79cc6790",
"calldata_variants": [
"0x79cc6790",
"0x79cc67900000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4857,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|