019b3844-990d-72a2-b4af-2dfdc1171fa7
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 |
|---|---|---|---|---|
| 14019 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 14020 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 57081 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 57082 | capability.graph | complete | 1 / 3 | 1 week ago |
| 57083 | detector.run | complete | 1 / 3 | 1 week ago |
| 57084 | 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 0x01e6 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8980f11f 00000019: GT 0000001a: PUSH2 0x0102 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xca15c873 00000024: GT 00000025: PUSH2 0x0095 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xdf136d65 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xdf136d65 0000003a: EQ 0000003b: PUSH2 0x06d9 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe9fad8ee 00000045: EQ 00000046: PUSH2 0x06ee 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xebe2b12b 00000050: EQ 00000051: PUSH2 0x0703 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf7c618c1 0000005b: EQ 0000005c: PUSH2 0x0718 0000005f: JUMPI 00000060: PUSH2 0x01f6 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xca15c873 0000006b: EQ 0000006c: PUSH2 0x063f 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xcd3daf9d 00000076: EQ 00000077: PUSH2 0x0669 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xd2ef3d0f 00000081: EQ 00000082: PUSH2 0x067e 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xd547741f 0000008c: EQ 0000008d: PUSH2 0x0693 00000090: JUMPI 00000091: PUSH2 0x01f6 00000094: JUMP 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x939bcbc9 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x939bcbc9 000000a7: EQ 000000a8: PUSH2 0x05e3 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xa217fddf 000000b2: EQ 000000b3: PUSH2 0x05f8 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xa694fc3a 000000bd: EQ 000000be: PUSH2 0x060d 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xc8f33c91 000000c8: EQ 000000c9: PUSH2 0x062a 000000cc: JUMPI 000000cd: PUSH2 0x01f6 000000d0: JUMP 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x8980f11f 000000d8: EQ 000000d9: PUSH2 0x04d3 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x8b876347 000000e3: EQ 000000e4: PUSH2 0x0519 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x9010d07c 000000ee: EQ 000000ef: PUSH2 0x0559 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x91d14854 000000f9: EQ 000000fa: PUSH2 0x0589 000000fd: JUMPI 000000fe: PUSH2 0x01f6 00000101: JUMP 00000102: JUMPDEST 00000103: DUP1 00000104: PUSH4 0x2e1a7d4d 00000109: GT 0000010a: PUSH2 0x017a 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x3d18b912 00000114: GT 00000115: PUSH2 0x0149 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x3d18b912 0000011f: EQ 00000120: PUSH2 0x0454 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x70a08231 0000012a: EQ 0000012b: PUSH2 0x0469 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x7b0a47ee 00000135: EQ 00000136: PUSH2 0x04a9 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0x80faa57d 00000140: EQ 00000141: PUSH2 0x04be 00000144: JUMPI 00000145: PUSH2 0x01f6 00000148: JUMP 00000149: JUMPDEST 0000014a: DUP1 0000014b: PUSH4 0x2e1a7d4d 00000150: EQ 00000151: PUSH2 0x0374 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x2f2ff15d 0000015b: EQ 0000015c: PUSH2 0x039e 0000015f: JUMPI 00000160: DUP1 00000161: PUSH4 0x36568abe 00000166: EQ 00000167: PUSH2 0x03e4 0000016a: JUMPI 0000016b: DUP1 0000016c: PUSH4 0x3c6b16ab 00000171: EQ 00000172: PUSH2 0x042a 00000175: JUMPI 00000176: PUSH2 0x01f6 00000179: JUMP 0000017a: JUMPDEST 0000017b: DUP1 0000017c: PUSH4 0x18160ddd 00000181: GT 00000182: PUSH2 0x01b6 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x18160ddd 0000018c: EQ 0000018d: PUSH2 0x030b 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x1be05289 00000197: EQ 00000198: PUSH2 0x0320 0000019b: JUMPI 0000019c: DUP1 0000019d: PUSH4 0x1c1f78eb 000001a2: EQ 000001a3: PUSH2 0x0335 000001a6: JUMPI 000001a7: DUP1 000001a8: PUSH4 0x248a9ca3 000001ad: EQ 000001ae: PUSH2 0x034a 000001b1: JUMPI 000001b2: PUSH2 0x01f6 000001b5: JUMP 000001b6: JUMPDEST 000001b7: DUP1 000001b8: PUSH3 0x8cc262 000001bc: EQ 000001bd: PUSH2 0x01fb 000001c0: JUMPI 000001c1: DUP1 000001c2: PUSH4 0x0700037d 000001c7: EQ 000001c8: PUSH2 0x024d 000001cb: JUMPI 000001cc: DUP1 000001cd: PUSH4 0x0d68b761 000001d2: EQ 000001d3: PUSH2 0x028d 000001d6: JUMPI 000001d7: DUP1 000001d8: PUSH4 0x101114cf 000001dd: EQ 000001de: PUSH2 0x02cd 000001e1: JUMPI 000001e2: PUSH2 0x01f6 000001e5: JUMP 000001e6: JUMPDEST 000001e7: CALLDATASIZE 000001e8: PUSH2 0x01f6 000001eb: JUMPI 000001ec: PUSH2 0x01f4 000001ef: CALLVALUE 000001f0: PUSH2 0x072d 000001f3: JUMP 000001f4: JUMPDEST 000001f5: STOP 000001f6: JUMPDEST 000001f7: PUSH1 0x00 000001f9: DUP1 000001fa: REVERT 000001fb: JUMPDEST 000001fc: CALLVALUE 000001fd: DUP1 000001fe: ISZERO 000001ff: PUSH2 0x0207 00000202: JUMPI 00000203: PUSH1 0x00 00000205: DUP1 00000206: REVERT 00000207: JUMPDEST 00000208: POP 00000209: PUSH2 0x023b 0000020c: PUSH1 0x04 0000020e: DUP1 0000020f: CALLDATASIZE 00000210: SUB 00000211: PUSH1 0x20 00000213: DUP2 00000214: LT 00000215: ISZERO 00000216: PUSH2 0x021e 00000219: JUMPI 0000021a: PUSH1 0x00 0000021c: DUP1 0000021d: REVERT 0000021e: JUMPDEST 0000021f: POP 00000220: CALLDATALOAD 00000221: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000236: AND 00000237: PUSH2 0x08f6 0000023a: JUMP 0000023b: JUMPDEST 0000023c: PUSH1 0x40 0000023e: DUP1 0000023f: MLOAD 00000240: SWAP2 00000241: DUP3 00000242: MSTORE 00000243: MLOAD 00000244: SWAP1 00000245: DUP2 00000246: SWAP1 00000247: SUB 00000248: PUSH1 0x20 0000024a: ADD 0000024b: SWAP1 0000024c: RETURN 0000024d: JUMPDEST 0000024e: CALLVALUE 0000024f: DUP1 00000250: ISZERO 00000251: PUSH2 0x0259 00000254: JUMPI 00000255: PUSH1 0x00 00000257: DUP1 00000258: REVERT 00000259: JUMPDEST 0000025a: POP 0000025b: PUSH2 0x023b 0000025e: PUSH1 0x04 00000260: DUP1 00000261: CALLDATASIZE 00000262: SUB 00000263: PUSH1 0x20 00000265: DUP2 00000266: LT 00000267: ISZERO 00000268: PUSH2 0x0270 0000026b: JUMPI 0000026c: PUSH1 0x00 0000026e: DUP1 0000026f: REVERT 00000270: JUMPDEST 00000271: POP 00000272: CALLDATALOAD 00000273: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000288: AND 00000289: PUSH2 0x0971 0000028c: JUMP 0000028d: JUMPDEST 0000028e: CALLVALUE 0000028f: DUP1 00000290: ISZERO 00000291: PUSH2 0x0299 00000294: JUMPI 00000295: PUSH1 0x00 00000297: DUP1 00000298: REVERT 00000299: JUMPDEST 0000029a: POP 0000029b: PUSH2 0x01f4 0000029e: PUSH1 0x04 000002a0: DUP1 000002a1: CALLDATASIZE 000002a2: SUB 000002a3: PUSH1 0x20 000002a5: DUP2 000002a6: LT 000002a7: ISZERO 000002a8: PUSH2 0x02b0 000002ab: JUMPI 000002ac: PUSH1 0x00 000002ae: DUP1 000002af: REVERT 000002b0: JUMPDEST 000002b1: POP 000002b2: CALLDATALOAD 000002b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c8: AND 000002c9: PUSH2 0x0983 000002cc: JUMP 000002cd: JUMPDEST 000002ce: CALLVALUE 000002cf: DUP1 000002d0: ISZERO 000002d1: PUSH2 0x02d9 000002d4: JUMPI 000002d5: PUSH1 0x00 000002d7: DUP1 000002d8: REVERT 000002d9: JUMPDEST 000002da: POP 000002db: PUSH2 0x02e2 000002de: PUSH2 0x0a50 000002e1: JUMP 000002e2: JUMPDEST 000002e3: PUSH1 0x40 000002e5: DUP1 000002e6: MLOAD 000002e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002fc: SWAP1 000002fd: SWAP3 000002fe: AND 000002ff: DUP3 00000300: MSTORE 00000301: MLOAD 00000302: SWAP1 00000303: DUP2 00000304: SWAP1 00000305: SUB 00000306: PUSH1 0x20 00000308: ADD 00000309: SWAP1 0000030a: RETURN 0000030b: JUMPDEST 0000030c: CALLVALUE 0000030d: DUP1 0000030e: ISZERO 0000030f: PUSH2 0x0317 00000312: JUMPI 00000313: PUSH1 0x00 00000315: DUP1 00000316: REVERT 00000317: JUMPDEST 00000318: POP 00000319: PUSH2 0x023b 0000031c: PUSH2 0x0a6c 0000031f: JUMP 00000320: JUMPDEST 00000321: CALLVALUE 00000322: DUP1 00000323: ISZERO 00000324: PUSH2 0x032c 00000327: JUMPI 00000328: PUSH1 0x00 0000032a: DUP1 0000032b: REVERT 0000032c: JUMPDEST 0000032d: POP 0000032e: PUSH2 0x023b 00000331: PUSH2 0x0a73 00000334: JUMP 00000335: JUMPDEST 00000336: CALLVALUE 00000337: DUP1 00000338: ISZERO 00000339: PUSH2 0x0341 0000033c: JUMPI 0000033d: PUSH1 0x00 0000033f: DUP1 00000340: REVERT 00000341: JUMPDEST 00000342: POP 00000343: PUSH2 0x023b 00000346: PUSH2 0x0a7a 00000349: JUMP 0000034a: JUMPDEST 0000034b: CALLVALUE 0000034c: DUP1 0000034d: ISZERO 0000034e: PUSH2 0x0356 00000351: JUMPI 00000352: PUSH1 0x00 00000354: DUP1 00000355: REVERT 00000356: JUMPDEST 00000357: POP 00000358: PUSH2 0x023b 0000035b: PUSH1 0x04 0000035d: DUP1 0000035e: CALLDATASIZE 0000035f: SUB 00000360: PUSH1 0x20 00000362: DUP2 00000363: LT 00000364: ISZERO 00000365: PUSH2 0x036d 00000368: JUMPI 00000369: PUSH1 0x00 0000036b: DUP1 0000036c: REVERT 0000036d: JUMPDEST 0000036e: POP 0000036f: CALLDATALOAD 00000370: PUSH2 0x0a92 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 0x01f4 00000385: PUSH1 0x04 00000387: DUP1 00000388: CALLDATASIZE 00000389: SUB 0000038a: PUSH1 0x20 0000038c: DUP2 0000038d: LT 0000038e: ISZERO 0000038f: PUSH2 0x0397 00000392: JUMPI 00000393: PUSH1 0x00 00000395: DUP1 00000396: REVERT 00000397: JUMPDEST 00000398: POP 00000399: CALLDATALOAD 0000039a: PUSH2 0x0aa7 0000039d: JUMP 0000039e: JUMPDEST 0000039f: CALLVALUE 000003a0: DUP1 000003a1: ISZERO 000003a2: PUSH2 0x03aa 000003a5: JUMPI 000003a6: PUSH1 0x00 000003a8: DUP1 000003a9: REVERT 000003aa: JUMPDEST 000003ab: POP 000003ac: PUSH2 0x01f4 000003af: PUSH1 0x04 000003b1: DUP1 000003b2: CALLDATASIZE 000003b3: SUB 000003b4: PUSH1 0x40 000003b6: DUP2 000003b7: LT 000003b8: ISZERO 000003b9: PUSH2 0x03c1 000003bc: JUMPI 000003bd: PUSH1 0x00 000003bf: DUP1 000003c0: REVERT 000003c1: JUMPDEST 000003c2: POP 000003c3: DUP1 000003c4: CALLDATALOAD 000003c5: SWAP1 000003c6: PUSH1 0x20 000003c8: ADD 000003c9: CALLDATALOAD 000003ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003df: AND 000003e0: PUSH2 0x0cba 000003e3: JUMP 000003e4: JUMPDEST 000003e5: CALLVALUE 000003e6: DUP1 000003e7: ISZERO 000003e8: PUSH2 0x03f0 000003eb: JUMPI 000003ec: PUSH1 0x00 000003ee: DUP1 000003ef: REVERT 000003f0: JUMPDEST 000003f1: POP 000003f2: PUSH2 0x01f4 000003f5: PUSH1 0x04 000003f7: DUP1 000003f8: CALLDATASIZE 000003f9: SUB 000003fa: PUSH1 0x40 000003fc: DUP2 000003fd: LT 000003fe: ISZERO 000003ff: PUSH2 0x0407 00000402: JUMPI 00000403: PUSH1 0x00 00000405: DUP1 00000406: REVERT 00000407: JUMPDEST 00000408: POP 00000409: DUP1 0000040a: CALLDATALOAD 0000040b: SWAP1 0000040c: PUSH1 0x20 0000040e: ADD 0000040f: CALLDATALOAD 00000410: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000425: AND 00000426: PUSH2 0x0d3b 00000429: JUMP 0000042a: JUMPDEST 0000042b: CALLVALUE 0000042c: DUP1 0000042d: ISZERO 0000042e: PUSH2 0x0436 00000431: JUMPI 00000432: PUSH1 0x00 00000434: DUP1 00000435: REVERT 00000436: JUMPDEST 00000437: POP 00000438: PUSH2 0x01f4 0000043b: PUSH1 0x04 0000043d: DUP1 0000043e: CALLDATASIZE 0000043f: SUB 00000440: PUSH1 0x20 00000442: DUP2 00000443: LT 00000444: ISZERO 00000445: PUSH2 0x044d 00000448: JUMPI 00000449: PUSH1 0x00 0000044b: DUP1 0000044c: REVERT 0000044d: JUMPDEST 0000044e: POP 0000044f: CALLDATALOAD 00000450: PUSH2 0x0dd0 00000453: JUMP 00000454: JUMPDEST 00000455: CALLVALUE 00000456: DUP1 00000457: ISZERO 00000458: PUSH2 0x0460 0000045b: JUMPI 0000045c: PUSH1 0x00 0000045e: DUP1 0000045f: REVERT 00000460: JUMPDEST 00000461: POP 00000462: PUSH2 0x01f4 00000465: PUSH2 0x109d 00000468: JUMP 00000469: JUMPDEST 0000046a: CALLVALUE 0000046b: DUP1 0000046c: ISZERO 0000046d: PUSH2 0x0475 00000470: JUMPI 00000471: PUSH1 0x00 00000473: DUP1 00000474: REVERT 00000475: JUMPDEST 00000476: POP 00000477: PUSH2 0x023b 0000047a: PUSH1 0x04 0000047c: DUP1 0000047d: CALLDATASIZE 0000047e: SUB 0000047f: PUSH1 0x20 00000481: DUP2 00000482: LT 00000483: ISZERO 00000484: PUSH2 0x048c 00000487: JUMPI 00000488: PUSH1 0x00 0000048a: DUP1 0000048b: REVERT 0000048c: JUMPDEST 0000048d: POP 0000048e: CALLDATALOAD 0000048f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a4: AND 000004a5: PUSH2 0x1195 000004a8: JUMP 000004a9: JUMPDEST 000004aa: CALLVALUE 000004ab: DUP1 000004ac: ISZERO 000004ad: PUSH2 0x04b5 000004b0: JUMPI 000004b1: PUSH1 0x00 000004b3: DUP1 000004b4: REVERT 000004b5: JUMPDEST 000004b6: POP 000004b7: PUSH2 0x023b 000004ba: PUSH2 0x11bd 000004bd: JUMP 000004be: JUMPDEST 000004bf: CALLVALUE 000004c0: DUP1 000004c1: ISZERO 000004c2: PUSH2 0x04ca 000004c5: JUMPI 000004c6: PUSH1 0x00 000004c8: DUP1 000004c9: REVERT 000004ca: JUMPDEST 000004cb: POP 000004cc: PUSH2 0x023b 000004cf: PUSH2 0x11c3 000004d2: JUMP 000004d3: JUMPDEST 000004d4: CALLVALUE 000004d5: DUP1 000004d6: ISZERO 000004d7: PUSH2 0x04df 000004da: JUMPI 000004db: PUSH1 0x00 000004dd: DUP1 000004de: REVERT 000004df: JUMPDEST 000004e0: POP 000004e1: PUSH2 0x01f4 000004e4: PUSH1 0x04 000004e6: DUP1 000004e7: CALLDATASIZE 000004e8: SUB 000004e9: PUSH1 0x40 000004eb: DUP2 000004ec: LT 000004ed: ISZERO 000004ee: PUSH2 0x04f6 000004f1: JUMPI 000004f2: PUSH1 0x00 000004f4: DUP1 000004f5: REVERT 000004f6: JUMPDEST 000004f7: POP 000004f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000050d: DUP2 0000050e: CALLDATALOAD 0000050f: AND 00000510: SWAP1 00000511: PUSH1 0x20 00000513: ADD 00000514: CALLDATALOAD 00000515: PUSH2 0x11d1 00000518: JUMP 00000519: JUMPDEST 0000051a: CALLVALUE 0000051b: DUP1 0000051c: ISZERO 0000051d: PUSH2 0x0525 00000520: JUMPI 00000521: PUSH1 0x00 00000523: DUP1 00000524: REVERT 00000525: JUMPDEST 00000526: POP 00000527: PUSH2 0x023b 0000052a: PUSH1 0x04 0000052c: DUP1 0000052d: CALLDATASIZE 0000052e: SUB 0000052f: PUSH1 0x20 00000531: DUP2 00000532: LT 00000533: ISZERO 00000534: PUSH2 0x053c 00000537: JUMPI 00000538: PUSH1 0x00 0000053a: DUP1 0000053b: REVERT 0000053c: JUMPDEST 0000053d: POP 0000053e: CALLDATALOAD 0000053f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000554: AND 00000555: PUSH2 0x1370 00000558: JUMP 00000559: JUMPDEST 0000055a: CALLVALUE 0000055b: DUP1 0000055c: ISZERO 0000055d: PUSH2 0x0565 00000560: JUMPI 00000561: PUSH1 0x00 00000563: DUP1 00000564: REVERT 00000565: JUMPDEST 00000566: POP 00000567: PUSH2 0x02e2 0000056a: PUSH1 0x04 0000056c: DUP1 0000056d: CALLDATASIZE 0000056e: SUB 0000056f: PUSH1 0x40 00000571: DUP2 00000572: LT 00000573: ISZERO 00000574: PUSH2 0x057c 00000577: JUMPI 00000578: PUSH1 0x00 0000057a: DUP1 0000057b: REVERT 0000057c: JUMPDEST 0000057d: POP 0000057e: DUP1 0000057f: CALLDATALOAD 00000580: SWAP1 00000581: PUSH1 0x20 00000583: ADD 00000584: CALLDATALOAD 00000585: PUSH2 0x1382 00000588: JUMP 00000589: JUMPDEST 0000058a: CALLVALUE 0000058b: DUP1 0000058c: ISZERO 0000058d: PUSH2 0x0595 00000590: JUMPI 00000591: PUSH1 0x00 00000593: DUP1 00000594: REVERT 00000595: JUMPDEST 00000596: POP 00000597: PUSH2 0x05cf 0000059a: PUSH1 0x04 0000059c: DUP1 0000059d: CALLDATASIZE 0000059e: SUB 0000059f: PUSH1 0x40 000005a1: DUP2 000005a2: LT 000005a3: ISZERO 000005a4: PUSH2 0x05ac 000005a7: JUMPI 000005a8: PUSH1 0x00 000005aa: DUP1 000005ab: REVERT 000005ac: JUMPDEST 000005ad: POP 000005ae: DUP1 000005af: CALLDATALOAD 000005b0: SWAP1 000005b1: PUSH1 0x20 000005b3: ADD 000005b4: CALLDATALOAD 000005b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ca: AND 000005cb: PUSH2 0x13a1 000005ce: JUMP 000005cf: JUMPDEST 000005d0: PUSH1 0x40 000005d2: DUP1 000005d3: MLOAD 000005d4: SWAP2 000005d5: ISZERO 000005d6: ISZERO 000005d7: DUP3 000005d8: MSTORE 000005d9: MLOAD 000005da: SWAP1 000005db: DUP2 000005dc: SWAP1 000005dd: SUB 000005de: PUSH1 0x20 000005e0: ADD 000005e1: SWAP1 000005e2: RETURN 000005e3: JUMPDEST 000005e4: CALLVALUE 000005e5: DUP1 000005e6: ISZERO 000005e7: PUSH2 0x05ef 000005ea: JUMPI 000005eb: PUSH1 0x00 000005ed: DUP1 000005ee: REVERT 000005ef: JUMPDEST 000005f0: POP 000005f1: PUSH2 0x023b 000005f4: PUSH2 0x13b9 000005f7: JUMP 000005f8: JUMPDEST 000005f9: CALLVALUE 000005fa: DUP1 000005fb: ISZERO 000005fc: PUSH2 0x0604 000005ff: JUMPI 00000600: PUSH1 0x00 00000602: DUP1 00000603: REVERT 00000604: JUMPDEST 00000605: POP 00000606: PUSH2 0x023b 00000609: PUSH2 0x13dd 0000060c: JUMP 0000060d: JUMPDEST 0000060e: PUSH2 0x01f4 00000611: PUSH1 0x04 00000613: DUP1 00000614: CALLDATASIZE 00000615: SUB 00000616: PUSH1 0x20 00000618: DUP2 00000619: LT 0000061a: ISZERO 0000061b: PUSH2 0x0623 0000061e: JUMPI 0000061f: PUSH1 0x00 00000621: DUP1 00000622: REVERT 00000623: JUMPDEST 00000624: POP 00000625: CALLDATALOAD 00000626: PUSH2 0x072d 00000629: JUMP 0000062a: JUMPDEST 0000062b: CALLVALUE 0000062c: DUP1 0000062d: ISZERO 0000062e: PUSH2 0x0636 00000631: JUMPI 00000632: PUSH1 0x00 00000634: DUP1 00000635: REVERT 00000636: JUMPDEST 00000637: POP 00000638: PUSH2 0x023b 0000063b: PUSH2 0x13e2 0000063e: JUMP 0000063f: JUMPDEST 00000640: CALLVALUE 00000641: DUP1 00000642: ISZERO 00000643: PUSH2 0x064b 00000646: JUMPI 00000647: PUSH1 0x00 00000649: DUP1 0000064a: REVERT 0000064b: JUMPDEST 0000064c: POP 0000064d: PUSH2 0x023b 00000650: PUSH1 0x04 00000652: DUP1 00000653: CALLDATASIZE 00000654: SUB 00000655: PUSH1 0x20 00000657: DUP2 00000658: LT 00000659: ISZERO 0000065a: PUSH2 0x0662 0000065d: JUMPI 0000065e: PUSH1 0x00 00000660: DUP1 00000661: REVERT 00000662: JUMPDEST 00000663: POP 00000664: CALLDATALOAD 00000665: PUSH2 0x13e8 00000668: JUMP 00000669: JUMPDEST 0000066a: CALLVALUE 0000066b: DUP1 0000066c: ISZERO 0000066d: PUSH2 0x0675 00000670: JUMPI 00000671: PUSH1 0x00 00000673: DUP1 00000674: REVERT 00000675: JUMPDEST 00000676: POP 00000677: PUSH2 0x023b 0000067a: PUSH2 0x13ff 0000067d: JUMP 0000067e: JUMPDEST 0000067f: CALLVALUE 00000680: DUP1 00000681: ISZERO 00000682: PUSH2 0x068a 00000685: JUMPI 00000686: PUSH1 0x00 00000688: DUP1 00000689: REVERT 0000068a: JUMPDEST 0000068b: POP 0000068c: PUSH2 0x023b 0000068f: PUSH2 0x144d 00000692: JUMP 00000693: JUMPDEST 00000694: CALLVALUE 00000695: DUP1 00000696: ISZERO 00000697: PUSH2 0x069f 0000069a: JUMPI 0000069b: PUSH1 0x00 0000069d: DUP1 0000069e: REVERT 0000069f: JUMPDEST 000006a0: POP 000006a1: PUSH2 0x01f4 000006a4: PUSH1 0x04 000006a6: DUP1 000006a7: CALLDATASIZE 000006a8: SUB 000006a9: PUSH1 0x40 000006ab: DUP2 000006ac: LT 000006ad: ISZERO 000006ae: PUSH2 0x06b6 000006b1: JUMPI 000006b2: PUSH1 0x00 000006b4: DUP1 000006b5: REVERT 000006b6: JUMPDEST 000006b7: POP 000006b8: DUP1 000006b9: CALLDATALOAD 000006ba: SWAP1 000006bb: PUSH1 0x20 000006bd: ADD 000006be: CALLDATALOAD 000006bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006d4: AND 000006d5: PUSH2 0x1471 000006d8: JUMP 000006d9: JUMPDEST 000006da: CALLVALUE 000006db: DUP1 000006dc: ISZERO 000006dd: PUSH2 0x06e5 000006e0: JUMPI 000006e1: PUSH1 0x00 000006e3: DUP1 000006e4: REVERT 000006e5: JUMPDEST 000006e6: POP 000006e7: PUSH2 0x023b 000006ea: PUSH2 0x14e4 000006ed: JUMP 000006ee: JUMPDEST 000006ef: CALLVALUE 000006f0: DUP1 000006f1: ISZERO 000006f2: PUSH2 0x06fa 000006f5: JUMPI 000006f6: PUSH1 0x00 000006f8: DUP1 000006f9: REVERT 000006fa: JUMPDEST 000006fb: POP 000006fc: PUSH2 0x01f4 000006ff: PUSH2 0x14ea 00000702: JUMP 00000703: JUMPDEST 00000704: CALLVALUE 00000705: DUP1 00000706: ISZERO 00000707: PUSH2 0x070f 0000070a: JUMPI 0000070b: PUSH1 0x00 0000070d: DUP1 0000070e: REVERT 0000070f: JUMPDEST 00000710: POP 00000711: PUSH2 0x023b 00000714: PUSH2 0x1505 00000717: JUMP 00000718: JUMPDEST 00000719: CALLVALUE 0000071a: DUP1 0000071b: ISZERO 0000071c: PUSH2 0x0724 0000071f: JUMPI 00000720: PUSH1 0x00 00000722: DUP1 00000723: REVERT 00000724: JUMPDEST 00000725: POP 00000726: PUSH2 0x02e2 00000729: PUSH2 0x150b 0000072c: JUMP 0000072d: JUMPDEST 0000072e: CALLER 0000072f: PUSH2 0x0736 00000732: PUSH2 0x13ff 00000735: JUMP 00000736: JUMPDEST 00000737: PUSH1 0x07 00000739: SSTORE 0000073a: PUSH2 0x0741 0000073d: PUSH2 0x11c3 00000740: JUMP 00000741: JUMPDEST 00000742: PUSH1 0x06 00000744: SSTORE 00000745: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075a: DUP2 0000075b: AND 0000075c: ISZERO 0000075d: PUSH2 0x07a2 00000760: JUMPI 00000761: PUSH2 0x0769 00000764: DUP2 00000765: PUSH2 0x08f6 00000768: JUMP 00000769: JUMPDEST 0000076a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000077f: DUP3 00000780: AND 00000781: PUSH1 0x00 00000783: SWAP1 00000784: DUP2 00000785: MSTORE 00000786: PUSH1 0x09 00000788: PUSH1 0x20 0000078a: SWAP1 0000078b: DUP2 0000078c: MSTORE 0000078d: PUSH1 0x40 0000078f: DUP1 00000790: DUP4 00000791: KECCAK256 00000792: SWAP4 00000793: SWAP1 00000794: SWAP4 00000795: SSTORE 00000796: PUSH1 0x07 00000798: SLOAD 00000799: PUSH1 0x08 0000079b: SWAP1 0000079c: SWAP2 0000079d: MSTORE 0000079e: SWAP2 0000079f: SWAP1 000007a0: KECCAK256 000007a1: SSTORE 000007a2: JUMPDEST 000007a3: PUSH1 0x00 000007a5: DUP3 000007a6: GT 000007a7: PUSH2 0x0811 000007aa: JUMPI 000007ab: PUSH1 0x40 000007ad: DUP1 000007ae: MLOAD 000007af: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007d0: DUP2 000007d1: MSTORE 000007d2: PUSH1 0x20 000007d4: PUSH1 0x04 000007d6: DUP3 000007d7: ADD 000007d8: MSTORE 000007d9: PUSH1 0x17 000007db: PUSH1 0x24 000007dd: DUP3 000007de: ADD 000007df: MSTORE 000007e0: PUSH32 0x455448506861736532506f6f6c2f5a65726f5374616b65000000000000000000 00000801: PUSH1 0x44 00000803: DUP3 00000804: ADD 00000805: MSTORE 00000806: SWAP1 00000807: MLOAD 00000808: SWAP1 00000809: DUP2 0000080a: SWAP1 0000080b: SUB 0000080c: PUSH1 0x64 0000080e: ADD 0000080f: SWAP1 00000810: REVERT 00000811: JUMPDEST 00000812: CALLVALUE 00000813: DUP3 00000814: EQ 00000815: PUSH2 0x087f 00000818: JUMPI 00000819: PUSH1 0x40 0000081b: DUP1 0000081c: MLOAD 0000081d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000083e: DUP2 0000083f: MSTORE 00000840: PUSH1 0x20 00000842: PUSH1 0x04 00000844: DUP3 00000845: ADD 00000846: MSTORE 00000847: PUSH1 0x1a 00000849: PUSH1 0x24 0000084b: DUP3 0000084c: ADD 0000084d: MSTORE 0000084e: PUSH32 0x455448506861736532506f6f6c2f496e636f7272656374457468000000000000 0000086f: PUSH1 0x44 00000871: DUP3 00000872: ADD 00000873: MSTORE 00000874: SWAP1 00000875: MLOAD 00000876: SWAP1 00000877: DUP2 00000878: SWAP1 00000879: SUB 0000087a: PUSH1 0x64 0000087c: ADD 0000087d: SWAP1 0000087e: REVERT 0000087f: JUMPDEST 00000880: PUSH1 0x0a 00000882: SLOAD 00000883: PUSH2 0x088c 00000886: SWAP1 00000887: DUP4 00000888: PUSH2 0x1549 0000088b: JUMP 0000088c: JUMPDEST 0000088d: PUSH1 0x0a 0000088f: SSTORE 00000890: CALLER 00000891: PUSH1 0x00 00000893: SWAP1 00000894: DUP2 00000895: MSTORE 00000896: PUSH1 0x0b 00000898: PUSH1 0x20 0000089a: MSTORE 0000089b: PUSH1 0x40 0000089d: SWAP1 0000089e: KECCAK256 0000089f: SLOAD 000008a0: PUSH2 0x08a9 000008a3: SWAP1 000008a4: DUP4 000008a5: PUSH2 0x1549 000008a8: JUMP 000008a9: JUMPDEST 000008aa: CALLER 000008ab: PUSH1 0x00 000008ad: DUP2 000008ae: DUP2 000008af: MSTORE 000008b0: PUSH1 0x0b 000008b2: PUSH1 0x20 000008b4: SWAP1 000008b5: DUP2 000008b6: MSTORE 000008b7: PUSH1 0x40 000008b9: SWAP2 000008ba: DUP3 000008bb: SWAP1 000008bc: KECCAK256 000008bd: SWAP4 000008be: SWAP1 000008bf: SWAP4 000008c0: SSTORE 000008c1: DUP1 000008c2: MLOAD 000008c3: DUP6 000008c4: DUP2 000008c5: MSTORE 000008c6: SWAP1 000008c7: MLOAD 000008c8: SWAP2 000008c9: SWAP3 000008ca: PUSH32 0x9e71bc8eea02a63969f509818f2dafb9254532904319f9dbda79b67bd34a5f3d 000008eb: SWAP3 000008ec: SWAP2 000008ed: DUP3 000008ee: SWAP1 000008ef: SUB 000008f0: ADD 000008f1: SWAP1 000008f2: LOG2 000008f3: POP 000008f4: POP 000008f5: JUMP 000008f6: JUMPDEST 000008f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000090c: DUP2 0000090d: AND 0000090e: PUSH1 0x00 00000910: SWAP1 00000911: DUP2 00000912: MSTORE 00000913: PUSH1 0x09 00000915: PUSH1 0x20 00000917: SWAP1 00000918: DUP2 00000919: MSTORE 0000091a: PUSH1 0x40 0000091c: DUP1 0000091d: DUP4 0000091e: KECCAK256 0000091f: SLOAD 00000920: PUSH1 0x08 00000922: SWAP1 00000923: SWAP3 00000924: MSTORE 00000925: DUP3 00000926: KECCAK256 00000927: SLOAD 00000928: PUSH2 0x096b 0000092b: SWAP2 0000092c: SWAP1 0000092d: PUSH2 0x0965 00000930: SWAP1 00000931: PUSH8 0x0de0b6b3a7640000 0000093a: SWAP1 0000093b: PUSH2 0x095f 0000093e: SWAP1 0000093f: PUSH2 0x0950 00000942: SWAP1 00000943: PUSH2 0x094a 00000946: PUSH2 0x13ff 00000949: JUMP 0000094a: JUMPDEST 0000094b: SWAP1 0000094c: PUSH2 0x15bd 0000094f: JUMP 00000950: JUMPDEST 00000951: PUSH2 0x0959 00000954: DUP9 00000955: PUSH2 0x1195 00000958: JUMP 00000959: JUMPDEST 0000095a: SWAP1 0000095b: PUSH2 0x15ff 0000095e: JUMP 0000095f: JUMPDEST 00000960: SWAP1 00000961: PUSH2 0x1672 00000964: JUMP 00000965: JUMPDEST 00000966: SWAP1 00000967: PUSH2 0x1549 0000096a: JUMP 0000096b: JUMPDEST 0000096c: SWAP3 0000096d: SWAP2 0000096e: POP 0000096f: POP 00000970: JUMP 00000971: JUMPDEST 00000972: PUSH1 0x09 00000974: PUSH1 0x20 00000976: MSTORE 00000977: PUSH1 0x00 00000979: SWAP1 0000097a: DUP2 0000097b: MSTORE 0000097c: PUSH1 0x40 0000097e: SWAP1 0000097f: KECCAK256 00000980: SLOAD 00000981: DUP2 00000982: JUMP 00000983: JUMPDEST 00000984: PUSH2 0x09b4 00000987: PUSH32 0x32d611cddb9575a9b749d29624cab333eb23b65b17d0995589b5ce4fba0af787 000009a8: PUSH2 0x09af 000009ab: PUSH2 0x16b4 000009ae: JUMP 000009af: JUMPDEST 000009b0: PUSH2 0x13a1 000009b3: JUMP 000009b4: JUMPDEST 000009b5: PUSH2 0x0a09 000009b8: JUMPI 000009b9: PUSH1 0x40 000009bb: MLOAD 000009bc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009dd: DUP2 000009de: MSTORE 000009df: PUSH1 0x04 000009e1: ADD 000009e2: DUP1 000009e3: DUP1 000009e4: PUSH1 0x20 000009e6: ADD 000009e7: DUP3 000009e8: DUP2 000009e9: SUB 000009ea: DUP3 000009eb: MSTORE 000009ec: PUSH1 0x58 000009ee: DUP2 000009ef: MSTORE 000009f0: PUSH1 0x20 000009f2: ADD 000009f3: DUP1 000009f4: PUSH2 0x1f36 000009f7: PUSH1 0x58 000009f9: SWAP2 000009fa: CODECOPY 000009fb: PUSH1 0x60 000009fd: ADD 000009fe: SWAP2 000009ff: POP 00000a00: POP 00000a01: PUSH1 0x40 00000a03: MLOAD 00000a04: DUP1 00000a05: SWAP2 00000a06: SUB 00000a07: SWAP1 00000a08: REVERT 00000a09: JUMPDEST 00000a0a: PUSH1 0x01 00000a0c: DUP1 00000a0d: SLOAD 00000a0e: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000a2f: AND 00000a30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a45: SWAP3 00000a46: SWAP1 00000a47: SWAP3 00000a48: AND 00000a49: SWAP2 00000a4a: SWAP1 00000a4b: SWAP2 00000a4c: OR 00000a4d: SWAP1 00000a4e: SSTORE 00000a4f: JUMP 00000a50: JUMPDEST 00000a51: PUSH1 0x01 00000a53: SLOAD 00000a54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a69: AND 00000a6a: DUP2 00000a6b: JUMP 00000a6c: JUMPDEST 00000a6d: PUSH1 0x0a 00000a6f: SLOAD 00000a70: JUMPDEST 00000a71: SWAP1 00000a72: JUMP 00000a73: JUMPDEST 00000a74: PUSH3 0x093a80 00000a78: DUP2 00000a79: JUMP 00000a7a: JUMPDEST 00000a7b: PUSH1 0x05 00000a7d: SLOAD 00000a7e: PUSH1 0x00 00000a80: SWAP1 00000a81: PUSH2 0x0a8d 00000a84: SWAP1 00000a85: PUSH3 0x093a80 00000a89: PUSH2 0x15ff 00000a8c: JUMP 00000a8d: JUMPDEST 00000a8e: SWAP1 00000a8f: POP 00000a90: SWAP1 00000a91: JUMP 00000a92: JUMPDEST 00000a93: PUSH1 0x00 00000a95: SWAP1 00000a96: DUP2 00000a97: MSTORE 00000a98: PUSH1 0x20 00000a9a: DUP2 00000a9b: SWAP1 00000a9c: MSTORE 00000a9d: PUSH1 0x40 00000a9f: SWAP1 00000aa0: KECCAK256 00000aa1: PUSH1 0x02 00000aa3: ADD 00000aa4: SLOAD 00000aa5: SWAP1 00000aa6: JUMP 00000aa7: JUMPDEST 00000aa8: CALLER 00000aa9: PUSH2 0x0ab0 00000aac: PUSH2 0x13ff 00000aaf: JUMP 00000ab0: JUMPDEST 00000ab1: PUSH1 0x07 00000ab3: SSTORE 00000ab4: PUSH2 0x0abb 00000ab7: PUSH2 0x11c3 00000aba: JUMP 00000abb: JUMPDEST 00000abc: PUSH1 0x06 00000abe: SSTORE 00000abf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ad4: DUP2 00000ad5: AND 00000ad6: ISZERO 00000ad7: PUSH2 0x0b1c 00000ada: JUMPI 00000adb: PUSH2 0x0ae3 00000ade: DUP2 00000adf: PUSH2 0x08f6 00000ae2: JUMP 00000ae3: JUMPDEST 00000ae4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af9: DUP3 00000afa: AND 00000afb: PUSH1 0x00 00000afd: SWAP1 00000afe: DUP2 00000aff: MSTORE 00000b00: PUSH1 0x09 00000b02: PUSH1 0x20 00000b04: SWAP1 00000b05: DUP2 00000b06: MSTORE 00000b07: PUSH1 0x40 00000b09: DUP1 00000b0a: DUP4 00000b0b: KECCAK256 00000b0c: SWAP4 00000b0d: SWAP1 00000b0e: SWAP4 00000b0f: SSTORE 00000b10: PUSH1 0x07 00000b12: SLOAD 00000b13: PUSH1 0x08 00000b15: SWAP1 00000b16: SWAP2 00000b17: MSTORE 00000b18: SWAP2 00000b19: SWAP1 00000b1a: KECCAK256 00000b1b: SSTORE 00000b1c: JUMPDEST 00000b1d: PUSH1 0x00 00000b1f: DUP3 00000b20: GT 00000b21: PUSH2 0x0b8b 00000b24: JUMPI 00000b25: PUSH1 0x40 00000b27: DUP1 00000b28: MLOAD 00000b29: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b4a: DUP2 00000b4b: MSTORE 00000b4c: PUSH1 0x20 00000b4e: PUSH1 0x04 00000b50: DUP3 00000b51: ADD 00000b52: MSTORE 00000b53: PUSH1 0x1a 00000b55: PUSH1 0x24 00000b57: DUP3 00000b58: ADD 00000b59: MSTORE 00000b5a: PUSH32 0x455448506861736532506f6f6c2f5a65726f5769746864726177000000000000 00000b7b: PUSH1 0x44 00000b7d: DUP3 00000b7e: ADD 00000b7f: MSTORE 00000b80: SWAP1 00000b81: MLOAD 00000b82: SWAP1 00000b83: DUP2 00000b84: SWAP1 00000b85: SUB 00000b86: PUSH1 0x64 00000b88: ADD 00000b89: SWAP1 00000b8a: REVERT 00000b8b: JUMPDEST 00000b8c: PUSH1 0x0a 00000b8e: SLOAD 00000b8f: PUSH2 0x0b98 00000b92: SWAP1 00000b93: DUP4 00000b94: PUSH2 0x15bd 00000b97: JUMP 00000b98: JUMPDEST 00000b99: PUSH1 0x0a 00000b9b: SSTORE 00000b9c: CALLER 00000b9d: PUSH1 0x00 00000b9f: SWAP1 00000ba0: DUP2 00000ba1: MSTORE 00000ba2: PUSH1 0x0b 00000ba4: PUSH1 0x20 00000ba6: MSTORE 00000ba7: PUSH1 0x40 00000ba9: SWAP1 00000baa: KECCAK256 00000bab: SLOAD 00000bac: PUSH2 0x0bb5 00000baf: SWAP1 00000bb0: DUP4 00000bb1: PUSH2 0x15bd 00000bb4: JUMP 00000bb5: JUMPDEST 00000bb6: CALLER 00000bb7: PUSH1 0x00 00000bb9: DUP2 00000bba: DUP2 00000bbb: MSTORE 00000bbc: PUSH1 0x0b 00000bbe: PUSH1 0x20 00000bc0: SWAP1 00000bc1: DUP2 00000bc2: MSTORE 00000bc3: PUSH1 0x40 00000bc5: SWAP2 00000bc6: DUP3 00000bc7: SWAP1 00000bc8: KECCAK256 00000bc9: SWAP4 00000bca: SWAP1 00000bcb: SWAP4 00000bcc: SSTORE 00000bcd: DUP1 00000bce: MLOAD 00000bcf: DUP6 00000bd0: DUP2 00000bd1: MSTORE 00000bd2: SWAP1 00000bd3: MLOAD 00000bd4: SWAP2 00000bd5: SWAP3 00000bd6: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5 00000bf7: SWAP3 00000bf8: SWAP2 00000bf9: DUP3 00000bfa: SWAP1 00000bfb: SUB 00000bfc: ADD 00000bfd: SWAP1 00000bfe: LOG2 00000bff: PUSH1 0x40 00000c01: MLOAD 00000c02: PUSH1 0x00 00000c04: SWAP1 00000c05: CALLER 00000c06: SWAP1 00000c07: DUP5 00000c08: SWAP1 00000c09: DUP4 00000c0a: DUP2 00000c0b: DUP2 00000c0c: DUP2 00000c0d: DUP6 00000c0e: DUP8 00000c0f: GAS 00000c10: CALL 00000c11: SWAP3 00000c12: POP 00000c13: POP 00000c14: POP 00000c15: RETURNDATASIZE 00000c16: DUP1 00000c17: PUSH1 0x00 00000c19: DUP2 00000c1a: EQ 00000c1b: PUSH2 0x0c40 00000c1e: JUMPI 00000c1f: PUSH1 0x40 00000c21: MLOAD 00000c22: SWAP2 00000c23: POP 00000c24: PUSH1 0x1f 00000c26: NOT 00000c27: PUSH1 0x3f 00000c29: RETURNDATASIZE 00000c2a: ADD 00000c2b: AND 00000c2c: DUP3 00000c2d: ADD 00000c2e: PUSH1 0x40 00000c30: MSTORE 00000c31: RETURNDATASIZE 00000c32: DUP3 00000c33: MSTORE 00000c34: RETURNDATASIZE 00000c35: PUSH1 0x00 00000c37: PUSH1 0x20 00000c39: DUP5 00000c3a: ADD 00000c3b: RETURNDATACOPY 00000c3c: PUSH2 0x0c45 00000c3f: JUMP 00000c40: JUMPDEST 00000c41: PUSH1 0x60 00000c43: SWAP2 00000c44: POP 00000c45: JUMPDEST 00000c46: POP 00000c47: POP 00000c48: SWAP1 00000c49: POP 00000c4a: DUP1 00000c4b: PUSH2 0x0cb5 00000c4e: JUMPI 00000c4f: PUSH1 0x40 00000c51: DUP1 00000c52: MLOAD 00000c53: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c74: DUP2 00000c75: MSTORE 00000c76: PUSH1 0x20 00000c78: PUSH1 0x04 00000c7a: DUP3 00000c7b: ADD 00000c7c: MSTORE 00000c7d: PUSH1 0x1d 00000c7f: PUSH1 0x24 00000c81: DUP3 00000c82: ADD 00000c83: MSTORE 00000c84: PUSH32 0x455448506861736532506f6f6c2f4574685472616e736665724661696c000000 00000ca5: PUSH1 0x44 00000ca7: DUP3 00000ca8: ADD 00000ca9: MSTORE 00000caa: SWAP1 00000cab: MLOAD 00000cac: SWAP1 00000cad: DUP2 00000cae: SWAP1 00000caf: SUB 00000cb0: PUSH1 0x64 00000cb2: ADD 00000cb3: SWAP1 00000cb4: REVERT 00000cb5: JUMPDEST 00000cb6: POP 00000cb7: POP 00000cb8: POP 00000cb9: JUMP 00000cba: JUMPDEST 00000cbb: PUSH1 0x00 00000cbd: DUP3 00000cbe: DUP2 00000cbf: MSTORE 00000cc0: PUSH1 0x20 00000cc2: DUP2 00000cc3: SWAP1 00000cc4: MSTORE 00000cc5: PUSH1 0x40 00000cc7: SWAP1 00000cc8: KECCAK256 00000cc9: PUSH1 0x02 00000ccb: ADD 00000ccc: SLOAD 00000ccd: PUSH2 0x0cd8 00000cd0: SWAP1 00000cd1: PUSH2 0x09af 00000cd4: PUSH2 0x16b4 00000cd7: JUMP 00000cd8: JUMPDEST 00000cd9: PUSH2 0x0d2d 00000cdc: JUMPI 00000cdd: PUSH1 0x40 00000cdf: MLOAD 00000ce0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d01: DUP2 00000d02: MSTORE 00000d03: PUSH1 0x04 00000d05: ADD 00000d06: DUP1 00000d07: DUP1 00000d08: PUSH1 0x20 00000d0a: ADD 00000d0b: DUP3 00000d0c: DUP2 00000d0d: SUB 00000d0e: DUP3 00000d0f: MSTORE 00000d10: PUSH1 0x2f 00000d12: DUP2 00000d13: MSTORE 00000d14: PUSH1 0x20 00000d16: ADD 00000d17: DUP1 00000d18: PUSH2 0x1f07 00000d1b: PUSH1 0x2f 00000d1d: SWAP2 00000d1e: CODECOPY 00000d1f: PUSH1 0x40 00000d21: ADD 00000d22: SWAP2 00000d23: POP 00000d24: POP 00000d25: PUSH1 0x40 00000d27: MLOAD 00000d28: DUP1 00000d29: SWAP2 00000d2a: SUB 00000d2b: SWAP1 00000d2c: REVERT 00000d2d: JUMPDEST 00000d2e: PUSH2 0x0d37 00000d31: DUP3 00000d32: DUP3 00000d33: PUSH2 0x16b8 00000d36: JUMP 00000d37: JUMPDEST 00000d38: POP 00000d39: POP 00000d3a: JUMP 00000d3b: JUMPDEST 00000d3c: PUSH2 0x0d43 00000d3f: PUSH2 0x16b4 00000d42: JUMP 00000d43: JUMPDEST 00000d44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d59: AND 00000d5a: DUP2 00000d5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d70: AND 00000d71: EQ 00000d72: PUSH2 0x0dc6 00000d75: JUMPI 00000d76: PUSH1 0x40 00000d78: MLOAD 00000d79: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d9a: DUP2 00000d9b: MSTORE 00000d9c: PUSH1 0x04 00000d9e: ADD 00000d9f: DUP1 00000da0: DUP1 00000da1: PUSH1 0x20 00000da3: ADD 00000da4: DUP3 00000da5: DUP2 00000da6: SUB 00000da7: DUP3 00000da8: MSTORE 00000da9: PUSH1 0x2f 00000dab: DUP2 00000dac: MSTORE 00000dad: PUSH1 0x20 00000daf: ADD 00000db0: DUP1 00000db1: PUSH2 0x208d 00000db4: PUSH1 0x2f 00000db6: SWAP2 00000db7: CODECOPY 00000db8: PUSH1 0x40 00000dba: ADD 00000dbb: SWAP2 00000dbc: POP 00000dbd: POP 00000dbe: PUSH1 0x40 00000dc0: MLOAD 00000dc1: DUP1 00000dc2: SWAP2 00000dc3: SUB 00000dc4: SWAP1 00000dc5: REVERT 00000dc6: JUMPDEST 00000dc7: PUSH2 0x0d37 00000dca: DUP3 00000dcb: DUP3 00000dcc: PUSH2 0x173b 00000dcf: JUMP 00000dd0: JUMPDEST 00000dd1: PUSH1 0x01 00000dd3: SLOAD 00000dd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000de9: AND 00000dea: PUSH2 0x0df1 00000ded: PUSH2 0x16b4 00000df0: JUMP 00000df1: JUMPDEST 00000df2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e07: AND 00000e08: EQ 00000e09: PUSH2 0x0e5d 00000e0c: JUMPI 00000e0d: PUSH1 0x40 00000e0f: MLOAD 00000e10: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e31: DUP2 00000e32: MSTORE 00000e33: PUSH1 0x04 00000e35: ADD 00000e36: DUP1 00000e37: DUP1 00000e38: PUSH1 0x20 00000e3a: ADD 00000e3b: DUP3 00000e3c: DUP2 00000e3d: SUB 00000e3e: DUP3 00000e3f: MSTORE 00000e40: PUSH1 0x5e 00000e42: DUP2 00000e43: MSTORE 00000e44: PUSH1 0x20 00000e46: ADD 00000e47: DUP1 00000e48: PUSH2 0x2005 00000e4b: PUSH1 0x5e 00000e4d: SWAP2 00000e4e: CODECOPY 00000e4f: PUSH1 0x60 00000e51: ADD 00000e52: SWAP2 00000e53: POP 00000e54: POP 00000e55: PUSH1 0x40 00000e57: MLOAD 00000e58: DUP1 00000e59: SWAP2 00000e5a: SUB 00000e5b: SWAP1 00000e5c: REVERT 00000e5d: JUMPDEST 00000e5e: PUSH1 0x00 00000e60: PUSH2 0x0e67 00000e63: PUSH2 0x13ff 00000e66: JUMP 00000e67: JUMPDEST 00000e68: PUSH1 0x07 00000e6a: SSTORE 00000e6b: PUSH2 0x0e72 00000e6e: PUSH2 0x11c3 00000e71: JUMP 00000e72: JUMPDEST 00000e73: PUSH1 0x06 00000e75: SSTORE 00000e76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e8b: DUP2 00000e8c: AND 00000e8d: ISZERO 00000e8e: PUSH2 0x0ed3 00000e91: JUMPI 00000e92: PUSH2 0x0e9a 00000e95: DUP2 00000e96: PUSH2 0x08f6 00000e99: JUMP 00000e9a: JUMPDEST 00000e9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eb0: DUP3 00000eb1: AND 00000eb2: PUSH1 0x00 00000eb4: SWAP1 00000eb5: DUP2 00000eb6: MSTORE 00000eb7: PUSH1 0x09 00000eb9: PUSH1 0x20 00000ebb: SWAP1 00000ebc: DUP2 00000ebd: MSTORE 00000ebe: PUSH1 0x40 00000ec0: DUP1 00000ec1: DUP4 00000ec2: KECCAK256 00000ec3: SWAP4 00000ec4: SWAP1 00000ec5: SWAP4 00000ec6: SSTORE 00000ec7: PUSH1 0x07 00000ec9: SLOAD 00000eca: PUSH1 0x08 00000ecc: SWAP1 00000ecd: SWAP2 00000ece: MSTORE 00000ecf: SWAP2 00000ed0: SWAP1 00000ed1: KECCAK256 00000ed2: SSTORE 00000ed3: JUMPDEST 00000ed4: PUSH1 0x04 00000ed6: SLOAD 00000ed7: TIMESTAMP 00000ed8: LT 00000ed9: PUSH2 0x0ef1 00000edc: JUMPI 00000edd: PUSH2 0x0ee9 00000ee0: DUP3 00000ee1: PUSH3 0x093a80 00000ee5: PUSH2 0x1672 00000ee8: JUMP 00000ee9: JUMPDEST 00000eea: PUSH1 0x05 00000eec: SSTORE 00000eed: PUSH2 0x0f33 00000ef0: JUMP 00000ef1: JUMPDEST 00000ef2: PUSH1 0x04 00000ef4: SLOAD 00000ef5: PUSH1 0x00 00000ef7: SWAP1 00000ef8: PUSH2 0x0f01 00000efb: SWAP1 00000efc: TIMESTAMP 00000efd: PUSH2 0x15bd 00000f00: JUMP 00000f01: JUMPDEST 00000f02: SWAP1 00000f03: POP 00000f04: PUSH1 0x00 00000f06: PUSH2 0x0f1a 00000f09: PUSH1 0x05 00000f0b: SLOAD 00000f0c: DUP4 00000f0d: PUSH2 0x15ff 00000f10: SWAP1 00000f11: SWAP2 00000f12: SWAP1 00000f13: PUSH4 0xffffffff 00000f18: AND 00000f19: JUMP 00000f1a: JUMPDEST 00000f1b: SWAP1 00000f1c: POP 00000f1d: PUSH2 0x0f2d 00000f20: PUSH3 0x093a80 00000f24: PUSH2 0x095f 00000f27: DUP7 00000f28: DUP5 00000f29: PUSH2 0x1549 00000f2c: JUMP 00000f2d: JUMPDEST 00000f2e: PUSH1 0x05 00000f30: SSTORE 00000f31: POP 00000f32: POP 00000f33: JUMPDEST 00000f34: PUSH1 0x03 00000f36: SLOAD 00000f37: PUSH1 0x40 00000f39: DUP1 00000f3a: MLOAD 00000f3b: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000f5c: DUP2 00000f5d: MSTORE 00000f5e: ADDRESS 00000f5f: PUSH1 0x04 00000f61: DUP3 00000f62: ADD 00000f63: MSTORE 00000f64: SWAP1 00000f65: MLOAD 00000f66: PUSH1 0x00 00000f68: SWAP3 00000f69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f7e: AND 00000f7f: SWAP2 00000f80: PUSH4 0x70a08231 00000f85: SWAP2 00000f86: PUSH1 0x24 00000f88: DUP1 00000f89: DUP4 00000f8a: ADD 00000f8b: SWAP3 00000f8c: PUSH1 0x20 00000f8e: SWAP3 00000f8f: SWAP2 00000f90: SWAP1 00000f91: DUP3 00000f92: SWAP1 00000f93: SUB 00000f94: ADD 00000f95: DUP2 00000f96: DUP7 00000f97: DUP1 00000f98: EXTCODESIZE 00000f99: ISZERO 00000f9a: DUP1 00000f9b: ISZERO 00000f9c: PUSH2 0x0fa4 00000f9f: JUMPI 00000fa0: PUSH1 0x00 00000fa2: DUP1 00000fa3: REVERT 00000fa4: JUMPDEST 00000fa5: POP 00000fa6: GAS 00000fa7: STATICCALL 00000fa8: ISZERO 00000fa9: DUP1 00000faa: ISZERO 00000fab: PUSH2 0x0fb8 00000fae: JUMPI 00000faf: RETURNDATASIZE 00000fb0: PUSH1 0x00 00000fb2: DUP1 00000fb3: RETURNDATACOPY 00000fb4: RETURNDATASIZE 00000fb5: PUSH1 0x00 00000fb7: REVERT 00000fb8: JUMPDEST 00000fb9: POP 00000fba: POP 00000fbb: POP 00000fbc: POP 00000fbd: PUSH1 0x40 00000fbf: MLOAD 00000fc0: RETURNDATASIZE 00000fc1: PUSH1 0x20 00000fc3: DUP2 00000fc4: LT 00000fc5: ISZERO 00000fc6: PUSH2 0x0fce 00000fc9: JUMPI 00000fca: PUSH1 0x00 00000fcc: DUP1 00000fcd: REVERT 00000fce: JUMPDEST 00000fcf: POP 00000fd0: MLOAD 00000fd1: SWAP1 00000fd2: POP 00000fd3: PUSH2 0x0fdf 00000fd6: DUP2 00000fd7: PUSH3 0x093a80 00000fdb: PUSH2 0x1672 00000fde: JUMP 00000fdf: JUMPDEST 00000fe0: PUSH1 0x05 00000fe2: SLOAD 00000fe3: GT 00000fe4: ISZERO 00000fe5: PUSH2 0x104f 00000fe8: JUMPI 00000fe9: PUSH1 0x40 00000feb: DUP1 00000fec: MLOAD 00000fed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000100e: DUP2 0000100f: MSTORE 00001010: PUSH1 0x20 00001012: PUSH1 0x04 00001014: DUP3 00001015: ADD 00001016: MSTORE 00001017: PUSH1 0x1e 00001019: PUSH1 0x24 0000101b: DUP3 0000101c: ADD 0000101d: MSTORE 0000101e: PUSH32 0x455448506861736532506f6f6c2f4c6f7752657761726442616c616e63650000 0000103f: PUSH1 0x44 00001041: DUP3 00001042: ADD 00001043: MSTORE 00001044: SWAP1 00001045: MLOAD 00001046: SWAP1 00001047: DUP2 00001048: SWAP1 00001049: SUB 0000104a: PUSH1 0x64 0000104c: ADD 0000104d: SWAP1 0000104e: REVERT 0000104f: JUMPDEST 00001050: TIMESTAMP 00001051: PUSH1 0x06 00001053: DUP2 00001054: SWAP1 00001055: SSTORE 00001056: PUSH2 0x1062 00001059: SWAP1 0000105a: PUSH3 0x093a80 0000105e: PUSH2 0x1549 00001061: JUMP 00001062: JUMPDEST 00001063: PUSH1 0x04 00001065: SSTORE 00001066: PUSH1 0x40 00001068: DUP1 00001069: MLOAD 0000106a: DUP5 0000106b: DUP2 0000106c: MSTORE 0000106d: SWAP1 0000106e: MLOAD 0000106f: PUSH32 0xde88a922e0d3b88b24e9623efeb464919c6bf9f66857a65e2bfcf2ce87a9433d 00001090: SWAP2 00001091: DUP2 00001092: SWAP1 00001093: SUB 00001094: PUSH1 0x20 00001096: ADD 00001097: SWAP1 00001098: LOG1 00001099: POP 0000109a: POP 0000109b: POP 0000109c: JUMP 0000109d: JUMPDEST 0000109e: CALLER 0000109f: PUSH2 0x10a6 000010a2: PUSH2 0x13ff 000010a5: JUMP 000010a6: JUMPDEST 000010a7: PUSH1 0x07 000010a9: SSTORE 000010aa: PUSH2 0x10b1 000010ad: PUSH2 0x11c3 000010b0: JUMP 000010b1: JUMPDEST 000010b2: PUSH1 0x06 000010b4: SSTORE 000010b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ca: DUP2 000010cb: AND 000010cc: ISZERO 000010cd: PUSH2 0x1112 000010d0: JUMPI 000010d1: PUSH2 0x10d9 000010d4: DUP2 000010d5: PUSH2 0x08f6 000010d8: JUMP 000010d9: JUMPDEST 000010da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ef: DUP3 000010f0: AND 000010f1: PUSH1 0x00 000010f3: SWAP1 000010f4: DUP2 000010f5: MSTORE 000010f6: PUSH1 0x09 000010f8: PUSH1 0x20 000010fa: SWAP1 000010fb: DUP2 000010fc: MSTORE 000010fd: PUSH1 0x40 000010ff: DUP1 00001100: DUP4 00001101: KECCAK256 00001102: SWAP4 00001103: SWAP1 00001104: SWAP4 00001105: SSTORE 00001106: PUSH1 0x07 00001108: SLOAD 00001109: PUSH1 0x08 0000110b: SWAP1 0000110c: SWAP2 0000110d: MSTORE 0000110e: SWAP2 0000110f: SWAP1 00001110: KECCAK256 00001111: SSTORE 00001112: JUMPDEST 00001113: PUSH1 0x00 00001115: PUSH2 0x111d 00001118: CALLER 00001119: PUSH2 0x08f6 0000111c: JUMP 0000111d: JUMPDEST 0000111e: SWAP1 0000111f: POP 00001120: DUP1 00001121: ISZERO 00001122: PUSH2 0x0d37 00001125: JUMPI 00001126: CALLER 00001127: PUSH1 0x00 00001129: DUP2 0000112a: DUP2 0000112b: MSTORE 0000112c: PUSH1 0x09 0000112e: PUSH1 0x20 00001130: MSTORE 00001131: PUSH1 0x40 00001133: DUP2 00001134: KECCAK256 00001135: SSTORE 00001136: PUSH1 0x03 00001138: SLOAD 00001139: PUSH2 0x115b 0000113c: SWAP2 0000113d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001152: SWAP1 00001153: SWAP2 00001154: AND 00001155: SWAP1 00001156: DUP4 00001157: PUSH2 0x17be 0000115a: JUMP 0000115b: JUMPDEST 0000115c: PUSH1 0x40 0000115e: DUP1 0000115f: MLOAD 00001160: DUP3 00001161: DUP2 00001162: MSTORE 00001163: SWAP1 00001164: MLOAD 00001165: CALLER 00001166: SWAP2 00001167: PUSH32 0xe2403640ba68fed3a2f88b7557551d1993f84b99bb10ff833f0cf8db0c5e0486 00001188: SWAP2 00001189: SWAP1 0000118a: DUP2 0000118b: SWAP1 0000118c: SUB 0000118d: PUSH1 0x20 0000118f: ADD 00001190: SWAP1 00001191: LOG2 00001192: POP 00001193: POP 00001194: JUMP 00001195: JUMPDEST 00001196: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011ab: AND 000011ac: PUSH1 0x00 000011ae: SWAP1 000011af: DUP2 000011b0: MSTORE 000011b1: PUSH1 0x0b 000011b3: PUSH1 0x20 000011b5: MSTORE 000011b6: PUSH1 0x40 000011b8: SWAP1 000011b9: KECCAK256 000011ba: SLOAD 000011bb: SWAP1 000011bc: JUMP 000011bd: JUMPDEST 000011be: PUSH1 0x05 000011c0: SLOAD 000011c1: DUP2 000011c2: JUMP 000011c3: JUMPDEST 000011c4: PUSH1 0x00 000011c6: PUSH2 0x0a8d 000011c9: TIMESTAMP 000011ca: PUSH1 0x04 000011cc: SLOAD 000011cd: PUSH2 0x184b 000011d0: JUMP 000011d1: JUMPDEST 000011d2: PUSH2 0x11fd 000011d5: PUSH32 0x62b337eaefec74dadf1a62e856bf9db4f14a0f27d4f48156a95a9f98e7d5e066 000011f6: PUSH2 0x09af 000011f9: PUSH2 0x16b4 000011fc: JUMP 000011fd: JUMPDEST 000011fe: PUSH2 0x1268 00001201: JUMPI 00001202: PUSH1 0x40 00001204: DUP1 00001205: MLOAD 00001206: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001227: DUP2 00001228: MSTORE 00001229: PUSH1 0x20 0000122b: PUSH1 0x04 0000122d: DUP3 0000122e: ADD 0000122f: MSTORE 00001230: PUSH1 0x1c 00001232: PUSH1 0x24 00001234: DUP3 00001235: ADD 00001236: MSTORE 00001237: PUSH32 0x455448506861736532506f6f6c2f4861735265636f766572526f6c6500000000 00001258: PUSH1 0x44 0000125a: DUP3 0000125b: ADD 0000125c: MSTORE 0000125d: SWAP1 0000125e: MLOAD 0000125f: SWAP1 00001260: DUP2 00001261: SWAP1 00001262: SUB 00001263: PUSH1 0x64 00001265: ADD 00001266: SWAP1 00001267: REVERT 00001268: JUMPDEST 00001269: PUSH1 0x03 0000126b: SLOAD 0000126c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001281: DUP4 00001282: DUP2 00001283: AND 00001284: SWAP2 00001285: AND 00001286: EQ 00001287: ISZERO 00001288: PUSH2 0x12f2 0000128b: JUMPI 0000128c: PUSH1 0x40 0000128e: DUP1 0000128f: MLOAD 00001290: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000012b1: DUP2 000012b2: MSTORE 000012b3: PUSH1 0x20 000012b5: PUSH1 0x04 000012b7: DUP3 000012b8: ADD 000012b9: MSTORE 000012ba: PUSH1 0x17 000012bc: PUSH1 0x24 000012be: DUP3 000012bf: ADD 000012c0: MSTORE 000012c1: PUSH32 0x455448506861736532506f6f6c2f4e6f74526577617264000000000000000000 000012e2: PUSH1 0x44 000012e4: DUP3 000012e5: ADD 000012e6: MSTORE 000012e7: SWAP1 000012e8: MLOAD 000012e9: SWAP1 000012ea: DUP2 000012eb: SWAP1 000012ec: SUB 000012ed: PUSH1 0x64 000012ef: ADD 000012f0: SWAP1 000012f1: REVERT 000012f2: JUMPDEST 000012f3: PUSH2 0x131b 000012f6: PUSH2 0x12fd 000012f9: PUSH2 0x16b4 000012fc: JUMP 000012fd: JUMPDEST 000012fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001313: DUP5 00001314: AND 00001315: SWAP1 00001316: DUP4 00001317: PUSH2 0x17be 0000131a: JUMP 0000131b: JUMPDEST 0000131c: PUSH1 0x40 0000131e: DUP1 0000131f: MLOAD 00001320: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001335: DUP5 00001336: AND 00001337: DUP2 00001338: MSTORE 00001339: PUSH1 0x20 0000133b: DUP2 0000133c: ADD 0000133d: DUP4 0000133e: SWAP1 0000133f: MSTORE 00001340: DUP2 00001341: MLOAD 00001342: PUSH32 0x8c1256b8896378cd5044f80c202f9772b9d77dc85c8a6eb51967210b09bfaa28 00001363: SWAP3 00001364: SWAP2 00001365: DUP2 00001366: SWAP1 00001367: SUB 00001368: SWAP1 00001369: SWAP2 0000136a: ADD 0000136b: SWAP1 0000136c: LOG1 0000136d: POP 0000136e: POP 0000136f: JUMP 00001370: JUMPDEST 00001371: PUSH1 0x08 00001373: PUSH1 0x20 00001375: MSTORE 00001376: PUSH1 0x00 00001378: SWAP1 00001379: DUP2 0000137a: MSTORE 0000137b: PUSH1 0x40 0000137d: SWAP1 0000137e: KECCAK256 0000137f: SLOAD 00001380: DUP2 00001381: JUMP 00001382: JUMPDEST 00001383: PUSH1 0x00 00001385: DUP3 00001386: DUP2 00001387: MSTORE 00001388: PUSH1 0x20 0000138a: DUP2 0000138b: SWAP1 0000138c: MSTORE 0000138d: PUSH1 0x40 0000138f: DUP2 00001390: KECCAK256 00001391: PUSH2 0x139a 00001394: SWAP1 00001395: DUP4 00001396: PUSH2 0x1861 00001399: JUMP 0000139a: JUMPDEST 0000139b: SWAP4 0000139c: SWAP3 0000139d: POP 0000139e: POP 0000139f: POP 000013a0: JUMP 000013a1: JUMPDEST 000013a2: PUSH1 0x00 000013a4: DUP3 000013a5: DUP2 000013a6: MSTORE 000013a7: PUSH1 0x20 000013a9: DUP2 000013aa: SWAP1 000013ab: MSTORE 000013ac: PUSH1 0x40 000013ae: DUP2 000013af: KECCAK256 000013b0: PUSH2 0x139a 000013b3: SWAP1 000013b4: DUP4 000013b5: PUSH2 0x186d 000013b8: JUMP 000013b9: JUMPDEST 000013ba: PUSH32 0x62b337eaefec74dadf1a62e856bf9db4f14a0f27d4f48156a95a9f98e7d5e066 000013db: DUP2 000013dc: JUMP 000013dd: JUMPDEST 000013de: PUSH1 0x00 000013e0: DUP2 000013e1: JUMP 000013e2: JUMPDEST 000013e3: PUSH1 0x06 000013e5: SLOAD 000013e6: DUP2 000013e7: JUMP 000013e8: JUMPDEST 000013e9: PUSH1 0x00 000013eb: DUP2 000013ec: DUP2 000013ed: MSTORE 000013ee: PUSH1 0x20 000013f0: DUP2 000013f1: SWAP1 000013f2: MSTORE 000013f3: PUSH1 0x40 000013f5: DUP2 000013f6: KECCAK256 000013f7: PUSH2 0x096b 000013fa: SWAP1 000013fb: PUSH2 0x188f 000013fe: JUMP 000013ff: JUMPDEST 00001400: PUSH1 0x00 00001402: PUSH2 0x1409 00001405: PUSH2 0x0a6c 00001408: JUMP 00001409: JUMPDEST 0000140a: PUSH2 0x1416 0000140d: JUMPI 0000140e: POP 0000140f: PUSH1 0x07 00001411: SLOAD 00001412: PUSH2 0x0a70 00001415: JUMP 00001416: JUMPDEST 00001417: PUSH2 0x0a8d 0000141a: PUSH2 0x1444 0000141d: PUSH2 0x1424 00001420: PUSH2 0x0a6c 00001423: JUMP 00001424: JUMPDEST 00001425: PUSH2 0x095f 00001428: PUSH8 0x0de0b6b3a7640000 00001431: PUSH2 0x0959 00001434: PUSH1 0x05 00001436: SLOAD 00001437: PUSH2 0x0959 0000143a: PUSH1 0x06 0000143c: SLOAD 0000143d: PUSH2 0x094a 00001440: PUSH2 0x11c3 00001443: JUMP 00001444: JUMPDEST 00001445: PUSH1 0x07 00001447: SLOAD 00001448: SWAP1 00001449: PUSH2 0x1549 0000144c: JUMP 0000144d: JUMPDEST 0000144e: PUSH32 0x32d611cddb9575a9b749d29624cab333eb23b65b17d0995589b5ce4fba0af787 0000146f: DUP2 00001470: JUMP 00001471: JUMPDEST 00001472: PUSH1 0x00 00001474: DUP3 00001475: DUP2 00001476: MSTORE 00001477: PUSH1 0x20 00001479: DUP2 0000147a: SWAP1 0000147b: MSTORE 0000147c: PUSH1 0x40 0000147e: SWAP1 0000147f: KECCAK256 00001480: PUSH1 0x02 00001482: ADD 00001483: SLOAD 00001484: PUSH2 0x148f 00001487: SWAP1 00001488: PUSH2 0x09af 0000148b: PUSH2 0x16b4 0000148e: JUMP 0000148f: JUMPDEST 00001490: PUSH2 0x0dc6 00001493: JUMPI 00001494: PUSH1 0x40 00001496: MLOAD 00001497: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000014b8: DUP2 000014b9: MSTORE 000014ba: PUSH1 0x04 000014bc: ADD 000014bd: DUP1 000014be: DUP1 000014bf: PUSH1 0x20 000014c1: ADD 000014c2: DUP3 000014c3: DUP2 000014c4: SUB 000014c5: DUP3 000014c6: MSTORE 000014c7: PUSH1 0x30 000014c9: DUP2 000014ca: MSTORE 000014cb: PUSH1 0x20 000014cd: ADD 000014ce: DUP1 000014cf: PUSH2 0x1fb4 000014d2: PUSH1 0x30 000014d4: SWAP2 000014d5: CODECOPY 000014d6: PUSH1 0x40 000014d8: ADD 000014d9: SWAP2 000014da: POP 000014db: POP 000014dc: PUSH1 0x40 000014de: MLOAD 000014df: DUP1 000014e0: SWAP2 000014e1: SUB 000014e2: SWAP1 000014e3: REVERT 000014e4: JUMPDEST 000014e5: PUSH1 0x07 000014e7: SLOAD 000014e8: DUP2 000014e9: JUMP 000014ea: JUMPDEST 000014eb: PUSH2 0x14fb 000014ee: PUSH2 0x14f6 000014f1: CALLER 000014f2: PUSH2 0x1195 000014f5: JUMP 000014f6: JUMPDEST 000014f7: PUSH2 0x0aa7 000014fa: JUMP 000014fb: JUMPDEST 000014fc: PUSH2 0x1503 000014ff: PUSH2 0x109d 00001502: JUMP 00001503: JUMPDEST 00001504: JUMP 00001505: JUMPDEST 00001506: PUSH1 0x04 00001508: SLOAD 00001509: DUP2 0000150a: JUMP 0000150b: JUMPDEST 0000150c: PUSH1 0x03 0000150e: SLOAD 0000150f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001524: AND 00001525: DUP2 00001526: JUMP 00001527: JUMPDEST 00001528: PUSH1 0x00 0000152a: PUSH2 0x139a 0000152d: DUP4 0000152e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001543: DUP5 00001544: AND 00001545: PUSH2 0x189a 00001548: JUMP 00001549: JUMPDEST 0000154a: PUSH1 0x00 0000154c: DUP3 0000154d: DUP3 0000154e: ADD 0000154f: DUP4 00001550: DUP2 00001551: LT 00001552: ISZERO 00001553: PUSH2 0x139a 00001556: JUMPI 00001557: PUSH1 0x40 00001559: DUP1 0000155a: MLOAD 0000155b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000157c: DUP2 0000157d: MSTORE 0000157e: PUSH1 0x20 00001580: PUSH1 0x04 00001582: DUP3 00001583: ADD 00001584: MSTORE 00001585: PUSH1 0x1b 00001587: PUSH1 0x24 00001589: DUP3 0000158a: ADD 0000158b: MSTORE 0000158c: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 000015ad: PUSH1 0x44 000015af: DUP3 000015b0: ADD 000015b1: MSTORE 000015b2: SWAP1 000015b3: MLOAD 000015b4: SWAP1 000015b5: DUP2 000015b6: SWAP1 000015b7: SUB 000015b8: PUSH1 0x64 000015ba: ADD 000015bb: SWAP1 000015bc: REVERT 000015bd: JUMPDEST 000015be: PUSH1 0x00 000015c0: PUSH2 0x139a 000015c3: DUP4 000015c4: DUP4 000015c5: PUSH1 0x40 000015c7: MLOAD 000015c8: DUP1 000015c9: PUSH1 0x40 000015cb: ADD 000015cc: PUSH1 0x40 000015ce: MSTORE 000015cf: DUP1 000015d0: PUSH1 0x1e 000015d2: DUP2 000015d3: MSTORE 000015d4: PUSH1 0x20 000015d6: ADD 000015d7: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 000015f8: DUP2 000015f9: MSTORE 000015fa: POP 000015fb: PUSH2 0x18e4 000015fe: JUMP 000015ff: JUMPDEST 00001600: PUSH1 0x00 00001602: DUP3 00001603: PUSH2 0x160e 00001606: JUMPI 00001607: POP 00001608: PUSH1 0x00 0000160a: PUSH2 0x096b 0000160d: JUMP 0000160e: JUMPDEST 0000160f: DUP3 00001610: DUP3 00001611: MUL 00001612: DUP3 00001613: DUP5 00001614: DUP3 00001615: DUP2 00001616: PUSH2 0x161b 00001619: JUMPI 0000161a: INVALID 0000161b: JUMPDEST 0000161c: DIV 0000161d: EQ 0000161e: PUSH2 0x139a 00001621: JUMPI 00001622: PUSH1 0x40 00001624: MLOAD 00001625: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001646: DUP2 00001647: MSTORE 00001648: PUSH1 0x04 0000164a: ADD 0000164b: DUP1 0000164c: DUP1 0000164d: PUSH1 0x20 0000164f: ADD 00001650: DUP3 00001651: DUP2 00001652: SUB 00001653: DUP3 00001654: MSTORE 00001655: PUSH1 0x21 00001657: DUP2 00001658: MSTORE 00001659: PUSH1 0x20 0000165b: ADD 0000165c: DUP1 0000165d: PUSH2 0x1fe4 00001660: PUSH1 0x21 00001662: SWAP2 00001663: CODECOPY 00001664: PUSH1 0x40 00001666: ADD 00001667: SWAP2 00001668: POP 00001669: POP 0000166a: PUSH1 0x40 0000166c: MLOAD 0000166d: DUP1 0000166e: SWAP2 0000166f: SUB 00001670: SWAP1 00001671: REVERT 00001672: JUMPDEST 00001673: PUSH1 0x00 00001675: PUSH2 0x139a 00001678: DUP4 00001679: DUP4 0000167a: PUSH1 0x40 0000167c: MLOAD 0000167d: DUP1 0000167e: PUSH1 0x40 00001680: ADD 00001681: PUSH1 0x40 00001683: MSTORE 00001684: DUP1 00001685: PUSH1 0x1a 00001687: DUP2 00001688: MSTORE 00001689: PUSH1 0x20 0000168b: ADD 0000168c: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 000016ad: DUP2 000016ae: MSTORE 000016af: POP 000016b0: PUSH2 0x1995 000016b3: JUMP 000016b4: JUMPDEST 000016b5: CALLER 000016b6: SWAP1 000016b7: JUMP 000016b8: JUMPDEST 000016b9: PUSH1 0x00 000016bb: DUP3 000016bc: DUP2 000016bd: MSTORE 000016be: PUSH1 0x20 000016c0: DUP2 000016c1: SWAP1 000016c2: MSTORE 000016c3: PUSH1 0x40 000016c5: SWAP1 000016c6: KECCAK256 000016c7: PUSH2 0x16d0 000016ca: SWAP1 000016cb: DUP3 000016cc: PUSH2 0x1527 000016cf: JUMP 000016d0: JUMPDEST 000016d1: ISZERO 000016d2: PUSH2 0x0d37 000016d5: JUMPI 000016d6: PUSH2 0x16dd 000016d9: PUSH2 0x16b4 000016dc: JUMP 000016dd: JUMPDEST 000016de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016f3: AND 000016f4: DUP2 000016f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000170a: AND 0000170b: DUP4 0000170c: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 0000172d: PUSH1 0x40 0000172f: MLOAD 00001730: PUSH1 0x40 00001732: MLOAD 00001733: DUP1 00001734: SWAP2 00001735: SUB 00001736: SWAP1 00001737: LOG4 00001738: POP 00001739: POP 0000173a: JUMP 0000173b: JUMPDEST 0000173c: PUSH1 0x00 0000173e: DUP3 0000173f: DUP2 00001740: MSTORE 00001741: PUSH1 0x20 00001743: DUP2 00001744: SWAP1 00001745: MSTORE 00001746: PUSH1 0x40 00001748: SWAP1 00001749: KECCAK256 0000174a: PUSH2 0x1753 0000174d: SWAP1 0000174e: DUP3 0000174f: PUSH2 0x1a14 00001752: JUMP 00001753: JUMPDEST 00001754: ISZERO 00001755: PUSH2 0x0d37 00001758: JUMPI 00001759: PUSH2 0x1760 0000175c: PUSH2 0x16b4 0000175f: JUMP 00001760: JUMPDEST 00001761: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001776: AND 00001777: DUP2 00001778: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000178d: AND 0000178e: DUP4 0000178f: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 000017b0: PUSH1 0x40 000017b2: MLOAD 000017b3: PUSH1 0x40 000017b5: MLOAD 000017b6: DUP1 000017b7: SWAP2 000017b8: SUB 000017b9: SWAP1 000017ba: LOG4 000017bb: POP 000017bc: POP 000017bd: JUMP 000017be: JUMPDEST 000017bf: PUSH1 0x40 000017c1: DUP1 000017c2: MLOAD 000017c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017d8: DUP5 000017d9: AND 000017da: PUSH1 0x24 000017dc: DUP3 000017dd: ADD 000017de: MSTORE 000017df: PUSH1 0x44 000017e1: DUP1 000017e2: DUP3 000017e3: ADD 000017e4: DUP5 000017e5: SWAP1 000017e6: MSTORE 000017e7: DUP3 000017e8: MLOAD 000017e9: DUP1 000017ea: DUP4 000017eb: SUB 000017ec: SWAP1 000017ed: SWAP2 000017ee: ADD 000017ef: DUP2 000017f0: MSTORE 000017f1: PUSH1 0x64 000017f3: SWAP1 000017f4: SWAP2 000017f5: ADD 000017f6: SWAP1 000017f7: SWAP2 000017f8: MSTORE 000017f9: PUSH1 0x20 000017fb: DUP2 000017fc: ADD 000017fd: DUP1 000017fe: MLOAD 000017ff: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000181c: AND 0000181d: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 0000183e: OR 0000183f: SWAP1 00001840: MSTORE 00001841: PUSH2 0x0cb5 00001844: SWAP1 00001845: DUP5 00001846: SWAP1 00001847: PUSH2 0x1a36 0000184a: JUMP 0000184b: JUMPDEST 0000184c: PUSH1 0x00 0000184e: DUP2 0000184f: DUP4 00001850: LT 00001851: PUSH2 0x185a 00001854: JUMPI 00001855: DUP2 00001856: PUSH2 0x139a 00001859: JUMP 0000185a: JUMPDEST 0000185b: POP 0000185c: SWAP1 0000185d: SWAP2 0000185e: SWAP1 0000185f: POP 00001860: JUMP 00001861: JUMPDEST 00001862: PUSH1 0x00 00001864: PUSH2 0x139a 00001867: DUP4 00001868: DUP4 00001869: PUSH2 0x1b0e 0000186c: JUMP 0000186d: JUMPDEST 0000186e: PUSH1 0x00 00001870: PUSH2 0x139a 00001873: DUP4 00001874: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001889: DUP5 0000188a: AND 0000188b: PUSH2 0x1b8c 0000188e: JUMP 0000188f: JUMPDEST 00001890: PUSH1 0x00 00001892: PUSH2 0x096b 00001895: DUP3 00001896: PUSH2 0x1ba4 00001899: JUMP 0000189a: JUMPDEST 0000189b: PUSH1 0x00 0000189d: PUSH2 0x18a6 000018a0: DUP4 000018a1: DUP4 000018a2: PUSH2 0x1b8c 000018a5: JUMP 000018a6: JUMPDEST 000018a7: PUSH2 0x18dc 000018aa: JUMPI 000018ab: POP 000018ac: DUP2 000018ad: SLOAD 000018ae: PUSH1 0x01 000018b0: DUP2 000018b1: DUP2 000018b2: ADD 000018b3: DUP5 000018b4: SSTORE 000018b5: PUSH1 0x00 000018b7: DUP5 000018b8: DUP2 000018b9: MSTORE 000018ba: PUSH1 0x20 000018bc: DUP1 000018bd: DUP3 000018be: KECCAK256 000018bf: SWAP1 000018c0: SWAP4 000018c1: ADD 000018c2: DUP5 000018c3: SWAP1 000018c4: SSTORE 000018c5: DUP5 000018c6: SLOAD 000018c7: DUP5 000018c8: DUP3 000018c9: MSTORE 000018ca: DUP3 000018cb: DUP7 000018cc: ADD 000018cd: SWAP1 000018ce: SWAP4 000018cf: MSTORE 000018d0: PUSH1 0x40 000018d2: SWAP1 000018d3: KECCAK256 000018d4: SWAP2 000018d5: SWAP1 000018d6: SWAP2 000018d7: SSTORE 000018d8: PUSH2 0x096b 000018db: JUMP 000018dc: JUMPDEST 000018dd: POP 000018de: PUSH1 0x00 000018e0: PUSH2 0x096b 000018e3: JUMP 000018e4: JUMPDEST 000018e5: PUSH1 0x00 000018e7: DUP2 000018e8: DUP5 000018e9: DUP5 000018ea: GT 000018eb: ISZERO 000018ec: PUSH2 0x198d 000018ef: JUMPI 000018f0: PUSH1 0x40 000018f2: MLOAD 000018f3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001914: DUP2 00001915: MSTORE 00001916: PUSH1 0x04 00001918: ADD 00001919: DUP1 0000191a: DUP1 0000191b: PUSH1 0x20 0000191d: ADD 0000191e: DUP3 0000191f: DUP2 00001920: SUB 00001921: DUP3 00001922: MSTORE 00001923: DUP4 00001924: DUP2 00001925: DUP2 00001926: MLOAD 00001927: DUP2 00001928: MSTORE 00001929: PUSH1 0x20 0000192b: ADD 0000192c: SWAP2 0000192d: POP 0000192e: DUP1 0000192f: MLOAD 00001930: SWAP1 00001931: PUSH1 0x20 00001933: ADD 00001934: SWAP1 00001935: DUP1 00001936: DUP4 00001937: DUP4 00001938: PUSH1 0x00 0000193a: JUMPDEST 0000193b: DUP4 0000193c: DUP2 0000193d: LT 0000193e: ISZERO 0000193f: PUSH2 0x1952 00001942: JUMPI 00001943: DUP2 00001944: DUP2 00001945: ADD 00001946: MLOAD 00001947: DUP4 00001948: DUP3 00001949: ADD 0000194a: MSTORE 0000194b: PUSH1 0x20 0000194d: ADD 0000194e: PUSH2 0x193a 00001951: JUMP 00001952: JUMPDEST 00001953: POP 00001954: POP 00001955: POP 00001956: POP 00001957: SWAP1 00001958: POP 00001959: SWAP1 0000195a: DUP2 0000195b: ADD 0000195c: SWAP1 0000195d: PUSH1 0x1f 0000195f: AND 00001960: DUP1 00001961: ISZERO 00001962: PUSH2 0x197f 00001965: JUMPI 00001966: DUP1 00001967: DUP3 00001968: SUB 00001969: DUP1 0000196a: MLOAD 0000196b: PUSH1 0x01 0000196d: DUP4 0000196e: PUSH1 0x20 00001970: SUB 00001971: PUSH2 0x0100 00001974: EXP 00001975: SUB 00001976: NOT 00001977: AND 00001978: DUP2 00001979: MSTORE 0000197a: PUSH1 0x20 0000197c: ADD 0000197d: SWAP2 0000197e: POP 0000197f: JUMPDEST 00001980: POP 00001981: SWAP3 00001982: POP 00001983: POP 00001984: POP 00001985: PUSH1 0x40 00001987: MLOAD 00001988: DUP1 00001989: SWAP2 0000198a: SUB 0000198b: SWAP1 0000198c: REVERT 0000198d: JUMPDEST 0000198e: POP 0000198f: POP 00001990: POP 00001991: SWAP1 00001992: SUB 00001993: SWAP1 00001994: JUMP 00001995: JUMPDEST 00001996: PUSH1 0x00 00001998: DUP2 00001999: DUP4 0000199a: PUSH2 0x19fe 0000199d: JUMPI 0000199e: PUSH1 0x40 000019a0: MLOAD 000019a1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000019c2: DUP2 000019c3: MSTORE 000019c4: PUSH1 0x20 000019c6: PUSH1 0x04 000019c8: DUP3 000019c9: ADD 000019ca: DUP2 000019cb: DUP2 000019cc: MSTORE 000019cd: DUP4 000019ce: MLOAD 000019cf: PUSH1 0x24 000019d1: DUP5 000019d2: ADD 000019d3: MSTORE 000019d4: DUP4 000019d5: MLOAD 000019d6: SWAP1 000019d7: SWAP3 000019d8: DUP4 000019d9: SWAP3 000019da: PUSH1 0x44 000019dc: SWAP1 000019dd: SWAP2 000019de: ADD 000019df: SWAP2 000019e0: SWAP1 000019e1: DUP6 000019e2: ADD 000019e3: SWAP1 000019e4: DUP1 000019e5: DUP4 000019e6: DUP4 000019e7: PUSH1 0x00 000019e9: DUP4 000019ea: ISZERO 000019eb: PUSH2 0x1952 000019ee: JUMPI 000019ef: DUP2 000019f0: DUP2 000019f1: ADD 000019f2: MLOAD 000019f3: DUP4 000019f4: DUP3 000019f5: ADD 000019f6: MSTORE 000019f7: PUSH1 0x20 000019f9: ADD 000019fa: PUSH2 0x193a 000019fd: JUMP 000019fe: JUMPDEST 000019ff: POP 00001a00: PUSH1 0x00 00001a02: DUP4 00001a03: DUP6 00001a04: DUP2 00001a05: PUSH2 0x1a0a 00001a08: JUMPI 00001a09: INVALID 00001a0a: JUMPDEST 00001a0b: DIV 00001a0c: SWAP6 00001a0d: SWAP5 00001a0e: POP 00001a0f: POP 00001a10: POP 00001a11: POP 00001a12: POP 00001a13: JUMP 00001a14: JUMPDEST 00001a15: PUSH1 0x00 00001a17: PUSH2 0x139a 00001a1a: DUP4 00001a1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a30: DUP5 00001a31: AND 00001a32: PUSH2 0x1ba8 00001a35: JUMP 00001a36: JUMPDEST 00001a37: PUSH1 0x60 00001a39: PUSH2 0x1a98 00001a3c: DUP3 00001a3d: PUSH1 0x40 00001a3f: MLOAD 00001a40: DUP1 00001a41: PUSH1 0x40 00001a43: ADD 00001a44: PUSH1 0x40 00001a46: MSTORE 00001a47: DUP1 00001a48: PUSH1 0x20 00001a4a: DUP2 00001a4b: MSTORE 00001a4c: PUSH1 0x20 00001a4e: ADD 00001a4f: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00001a70: DUP2 00001a71: MSTORE 00001a72: POP 00001a73: DUP6 00001a74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a89: AND 00001a8a: PUSH2 0x1c8c 00001a8d: SWAP1 00001a8e: SWAP3 00001a8f: SWAP2 00001a90: SWAP1 00001a91: PUSH4 0xffffffff 00001a96: AND 00001a97: JUMP 00001a98: JUMPDEST 00001a99: DUP1 00001a9a: MLOAD 00001a9b: SWAP1 00001a9c: SWAP2 00001a9d: POP 00001a9e: ISZERO 00001a9f: PUSH2 0x0cb5 00001aa2: JUMPI 00001aa3: DUP1 00001aa4: DUP1 00001aa5: PUSH1 0x20 00001aa7: ADD 00001aa8: SWAP1 00001aa9: MLOAD 00001aaa: PUSH1 0x20 00001aac: DUP2 00001aad: LT 00001aae: ISZERO 00001aaf: PUSH2 0x1ab7 00001ab2: JUMPI 00001ab3: PUSH1 0x00 00001ab5: DUP1 00001ab6: REVERT 00001ab7: JUMPDEST 00001ab8: POP 00001ab9: MLOAD 00001aba: PUSH2 0x0cb5 00001abd: JUMPI 00001abe: PUSH1 0x40 00001ac0: MLOAD 00001ac1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001ae2: DUP2 00001ae3: MSTORE 00001ae4: PUSH1 0x04 00001ae6: ADD 00001ae7: DUP1 00001ae8: DUP1 00001ae9: PUSH1 0x20 00001aeb: ADD 00001aec: DUP3 00001aed: DUP2 00001aee: SUB 00001aef: DUP3 00001af0: MSTORE 00001af1: PUSH1 0x2a 00001af3: DUP2 00001af4: MSTORE 00001af5: PUSH1 0x20 00001af7: ADD 00001af8: DUP1 00001af9: PUSH2 0x2063 00001afc: PUSH1 0x2a 00001afe: SWAP2 00001aff: CODECOPY 00001b00: PUSH1 0x40 00001b02: ADD 00001b03: SWAP2 00001b04: POP 00001b05: POP 00001b06: PUSH1 0x40 00001b08: MLOAD 00001b09: DUP1 00001b0a: SWAP2 00001b0b: SUB 00001b0c: SWAP1 00001b0d: REVERT 00001b0e: JUMPDEST 00001b0f: DUP2 00001b10: SLOAD 00001b11: PUSH1 0x00 00001b13: SWAP1 00001b14: DUP3 00001b15: LT 00001b16: PUSH2 0x1b6a 00001b19: JUMPI 00001b1a: PUSH1 0x40 00001b1c: MLOAD 00001b1d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001b3e: DUP2 00001b3f: MSTORE 00001b40: PUSH1 0x04 00001b42: ADD 00001b43: DUP1 00001b44: DUP1 00001b45: PUSH1 0x20 00001b47: ADD 00001b48: DUP3 00001b49: DUP2 00001b4a: SUB 00001b4b: DUP3 00001b4c: MSTORE 00001b4d: PUSH1 0x22 00001b4f: DUP2 00001b50: MSTORE 00001b51: PUSH1 0x20 00001b53: ADD 00001b54: DUP1 00001b55: PUSH2 0x1ee5 00001b58: PUSH1 0x22 00001b5a: SWAP2 00001b5b: CODECOPY 00001b5c: PUSH1 0x40 00001b5e: ADD 00001b5f: SWAP2 00001b60: POP 00001b61: POP 00001b62: PUSH1 0x40 00001b64: MLOAD 00001b65: DUP1 00001b66: SWAP2 00001b67: SUB 00001b68: SWAP1 00001b69: REVERT 00001b6a: JUMPDEST 00001b6b: DUP3 00001b6c: PUSH1 0x00 00001b6e: ADD 00001b6f: DUP3 00001b70: DUP2 00001b71: SLOAD 00001b72: DUP2 00001b73: LT 00001b74: PUSH2 0x1b79 00001b77: JUMPI 00001b78: INVALID 00001b79: JUMPDEST 00001b7a: SWAP1 00001b7b: PUSH1 0x00 00001b7d: MSTORE 00001b7e: PUSH1 0x20 00001b80: PUSH1 0x00 00001b82: KECCAK256 00001b83: ADD 00001b84: SLOAD 00001b85: SWAP1 00001b86: POP 00001b87: SWAP3 00001b88: SWAP2 00001b89: POP 00001b8a: POP 00001b8b: JUMP 00001b8c: JUMPDEST 00001b8d: PUSH1 0x00 00001b8f: SWAP1 00001b90: DUP2 00001b91: MSTORE 00001b92: PUSH1 0x01 00001b94: SWAP2 00001b95: SWAP1 00001b96: SWAP2 00001b97: ADD 00001b98: PUSH1 0x20 00001b9a: MSTORE 00001b9b: PUSH1 0x40 00001b9d: SWAP1 00001b9e: KECCAK256 00001b9f: SLOAD 00001ba0: ISZERO 00001ba1: ISZERO 00001ba2: SWAP1 00001ba3: JUMP 00001ba4: JUMPDEST 00001ba5: SLOAD 00001ba6: SWAP1 00001ba7: JUMP 00001ba8: JUMPDEST 00001ba9: PUSH1 0x00 00001bab: DUP2 00001bac: DUP2 00001bad: MSTORE 00001bae: PUSH1 0x01 00001bb0: DUP4 00001bb1: ADD 00001bb2: PUSH1 0x20 00001bb4: MSTORE 00001bb5: PUSH1 0x40 00001bb7: DUP2 00001bb8: KECCAK256 00001bb9: SLOAD 00001bba: DUP1 00001bbb: ISZERO 00001bbc: PUSH2 0x1c82 00001bbf: JUMPI 00001bc0: DUP4 00001bc1: SLOAD 00001bc2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001be3: DUP1 00001be4: DUP4 00001be5: ADD 00001be6: SWAP2 00001be7: SWAP1 00001be8: DUP2 00001be9: ADD 00001bea: SWAP1 00001beb: PUSH1 0x00 00001bed: SWAP1 00001bee: DUP8 00001bef: SWAP1 00001bf0: DUP4 00001bf1: SWAP1 00001bf2: DUP2 00001bf3: LT 00001bf4: PUSH2 0x1bf9 00001bf7: JUMPI 00001bf8: INVALID 00001bf9: JUMPDEST 00001bfa: SWAP1 00001bfb: PUSH1 0x00 00001bfd: MSTORE 00001bfe: PUSH1 0x20 00001c00: PUSH1 0x00 00001c02: KECCAK256 00001c03: ADD 00001c04: SLOAD 00001c05: SWAP1 00001c06: POP 00001c07: DUP1 00001c08: DUP8 00001c09: PUSH1 0x00 00001c0b: ADD 00001c0c: DUP5 00001c0d: DUP2 00001c0e: SLOAD 00001c0f: DUP2 00001c10: LT 00001c11: PUSH2 0x1c16 00001c14: JUMPI 00001c15: INVALID 00001c16: JUMPDEST 00001c17: PUSH1 0x00 00001c19: SWAP2 00001c1a: DUP3 00001c1b: MSTORE 00001c1c: PUSH1 0x20 00001c1e: DUP1 00001c1f: DUP4 00001c20: KECCAK256 00001c21: SWAP1 00001c22: SWAP2 00001c23: ADD 00001c24: SWAP3 00001c25: SWAP1 00001c26: SWAP3 00001c27: SSTORE 00001c28: DUP3 00001c29: DUP2 00001c2a: MSTORE 00001c2b: PUSH1 0x01 00001c2d: DUP10 00001c2e: DUP2 00001c2f: ADD 00001c30: SWAP1 00001c31: SWAP3 00001c32: MSTORE 00001c33: PUSH1 0x40 00001c35: SWAP1 00001c36: KECCAK256 00001c37: SWAP1 00001c38: DUP5 00001c39: ADD 00001c3a: SWAP1 00001c3b: SSTORE 00001c3c: DUP7 00001c3d: SLOAD 00001c3e: DUP8 00001c3f: SWAP1 00001c40: DUP1 00001c41: PUSH2 0x1c46 00001c44: JUMPI 00001c45: INVALID 00001c46: JUMPDEST 00001c47: PUSH1 0x01 00001c49: SWAP1 00001c4a: SUB 00001c4b: DUP2 00001c4c: DUP2 00001c4d: SWAP1 00001c4e: PUSH1 0x00 00001c50: MSTORE 00001c51: PUSH1 0x20 00001c53: PUSH1 0x00 00001c55: KECCAK256 00001c56: ADD 00001c57: PUSH1 0x00 00001c59: SWAP1 00001c5a: SSTORE 00001c5b: SWAP1 00001c5c: SSTORE 00001c5d: DUP7 00001c5e: PUSH1 0x01 00001c60: ADD 00001c61: PUSH1 0x00 00001c63: DUP8 00001c64: DUP2 00001c65: MSTORE 00001c66: PUSH1 0x20 00001c68: ADD 00001c69: SWAP1 00001c6a: DUP2 00001c6b: MSTORE 00001c6c: PUSH1 0x20 00001c6e: ADD 00001c6f: PUSH1 0x00 00001c71: KECCAK256 00001c72: PUSH1 0x00 00001c74: SWAP1 00001c75: SSTORE 00001c76: PUSH1 0x01 00001c78: SWAP5 00001c79: POP 00001c7a: POP 00001c7b: POP 00001c7c: POP 00001c7d: POP 00001c7e: PUSH2 0x096b 00001c81: JUMP 00001c82: JUMPDEST 00001c83: PUSH1 0x00 00001c85: SWAP2 00001c86: POP 00001c87: POP 00001c88: PUSH2 0x096b 00001c8b: JUMP 00001c8c: JUMPDEST 00001c8d: PUSH1 0x60 00001c8f: PUSH2 0x1c9b 00001c92: DUP5 00001c93: DUP5 00001c94: PUSH1 0x00 00001c96: DUP6 00001c97: PUSH2 0x1ca3 00001c9a: JUMP 00001c9b: JUMPDEST 00001c9c: SWAP5 00001c9d: SWAP4 00001c9e: POP 00001c9f: POP 00001ca0: POP 00001ca1: POP 00001ca2: JUMP 00001ca3: JUMPDEST 00001ca4: PUSH1 0x60 00001ca6: DUP3 00001ca7: SELFBALANCE 00001ca8: LT 00001ca9: ISZERO 00001caa: PUSH2 0x1cfe 00001cad: JUMPI 00001cae: PUSH1 0x40 00001cb0: MLOAD 00001cb1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001cd2: DUP2 00001cd3: MSTORE 00001cd4: PUSH1 0x04 00001cd6: ADD 00001cd7: DUP1 00001cd8: DUP1 00001cd9: PUSH1 0x20 00001cdb: ADD 00001cdc: DUP3 00001cdd: DUP2 00001cde: SUB 00001cdf: DUP3 00001ce0: MSTORE 00001ce1: PUSH1 0x26 00001ce3: DUP2 00001ce4: MSTORE 00001ce5: PUSH1 0x20 00001ce7: ADD 00001ce8: DUP1 00001ce9: PUSH2 0x1f8e 00001cec: PUSH1 0x26 00001cee: SWAP2 00001cef: CODECOPY 00001cf0: PUSH1 0x40 00001cf2: ADD 00001cf3: SWAP2 00001cf4: POP 00001cf5: POP 00001cf6: PUSH1 0x40 00001cf8: MLOAD 00001cf9: DUP1 00001cfa: SWAP2 00001cfb: SUB 00001cfc: SWAP1 00001cfd: REVERT 00001cfe: JUMPDEST 00001cff: PUSH2 0x1d07 00001d02: DUP6 00001d03: PUSH2 0x1e5e 00001d06: JUMP 00001d07: JUMPDEST 00001d08: PUSH2 0x1d72 00001d0b: JUMPI 00001d0c: PUSH1 0x40 00001d0e: DUP1 00001d0f: MLOAD 00001d10: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001d31: DUP2 00001d32: MSTORE 00001d33: PUSH1 0x20 00001d35: PUSH1 0x04 00001d37: DUP3 00001d38: ADD 00001d39: MSTORE 00001d3a: PUSH1 0x1d 00001d3c: PUSH1 0x24 00001d3e: DUP3 00001d3f: ADD 00001d40: MSTORE 00001d41: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00001d62: PUSH1 0x44 00001d64: DUP3 00001d65: ADD 00001d66: MSTORE 00001d67: SWAP1 00001d68: MLOAD 00001d69: SWAP1 00001d6a: DUP2 00001d6b: SWAP1 00001d6c: SUB 00001d6d: PUSH1 0x64 00001d6f: ADD 00001d70: SWAP1 00001d71: REVERT 00001d72: JUMPDEST 00001d73: PUSH1 0x00 00001d75: PUSH1 0x60 00001d77: DUP7 00001d78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d8d: AND 00001d8e: DUP6 00001d8f: DUP8 00001d90: PUSH1 0x40 00001d92: MLOAD 00001d93: DUP1 00001d94: DUP3 00001d95: DUP1 00001d96: MLOAD 00001d97: SWAP1 00001d98: PUSH1 0x20 00001d9a: ADD 00001d9b: SWAP1 00001d9c: DUP1 00001d9d: DUP4 00001d9e: DUP4 00001d9f: JUMPDEST 00001da0: PUSH1 0x20 00001da2: DUP4 00001da3: LT 00001da4: PUSH2 0x1ddc 00001da7: JUMPI 00001da8: DUP1 00001da9: MLOAD 00001daa: DUP3 00001dab: MSTORE 00001dac: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001dcd: SWAP1 00001dce: SWAP3 00001dcf: ADD 00001dd0: SWAP2 00001dd1: PUSH1 0x20 00001dd3: SWAP2 00001dd4: DUP3 00001dd5: ADD 00001dd6: SWAP2 00001dd7: ADD 00001dd8: PUSH2 0x1d9f 00001ddb: JUMP 00001ddc: JUMPDEST 00001ddd: PUSH1 0x01 00001ddf: DUP4 00001de0: PUSH1 0x20 00001de2: SUB 00001de3: PUSH2 0x0100 00001de6: EXP 00001de7: SUB 00001de8: DUP1 00001de9: NOT 00001dea: DUP3 00001deb: MLOAD 00001dec: AND 00001ded: DUP2 00001dee: DUP5 00001def: MLOAD 00001df0: AND 00001df1: DUP1 00001df2: DUP3 00001df3: OR 00001df4: DUP6 00001df5: MSTORE 00001df6: POP 00001df7: POP 00001df8: POP 00001df9: POP 00001dfa: POP 00001dfb: POP 00001dfc: SWAP1 00001dfd: POP 00001dfe: ADD 00001dff: SWAP2 00001e00: POP 00001e01: POP 00001e02: PUSH1 0x00 00001e04: PUSH1 0x40 00001e06: MLOAD 00001e07: DUP1 00001e08: DUP4 00001e09: SUB 00001e0a: DUP2 00001e0b: DUP6 00001e0c: DUP8 00001e0d: GAS 00001e0e: CALL 00001e0f: SWAP3 00001e10: POP 00001e11: POP 00001e12: POP 00001e13: RETURNDATASIZE 00001e14: DUP1 00001e15: PUSH1 0x00 00001e17: DUP2 00001e18: EQ 00001e19: PUSH2 0x1e3e 00001e1c: JUMPI 00001e1d: PUSH1 0x40 00001e1f: MLOAD 00001e20: SWAP2 00001e21: POP 00001e22: PUSH1 0x1f 00001e24: NOT 00001e25: PUSH1 0x3f 00001e27: RETURNDATASIZE 00001e28: ADD 00001e29: AND 00001e2a: DUP3 00001e2b: ADD 00001e2c: PUSH1 0x40 00001e2e: MSTORE 00001e2f: RETURNDATASIZE 00001e30: DUP3 00001e31: MSTORE 00001e32: RETURNDATASIZE 00001e33: PUSH1 0x00 00001e35: PUSH1 0x20 00001e37: DUP5 00001e38: ADD 00001e39: RETURNDATACOPY 00001e3a: PUSH2 0x1e43 00001e3d: JUMP 00001e3e: JUMPDEST 00001e3f: PUSH1 0x60 00001e41: SWAP2 00001e42: POP 00001e43: JUMPDEST 00001e44: POP 00001e45: SWAP2 00001e46: POP 00001e47: SWAP2 00001e48: POP 00001e49: PUSH2 0x1e53 00001e4c: DUP3 00001e4d: DUP3 00001e4e: DUP7 00001e4f: PUSH2 0x1e64 00001e52: JUMP 00001e53: JUMPDEST 00001e54: SWAP8 00001e55: SWAP7 00001e56: POP 00001e57: POP 00001e58: POP 00001e59: POP 00001e5a: POP 00001e5b: POP 00001e5c: POP 00001e5d: JUMP 00001e5e: JUMPDEST 00001e5f: EXTCODESIZE 00001e60: ISZERO 00001e61: ISZERO 00001e62: SWAP1 00001e63: JUMP 00001e64: JUMPDEST 00001e65: PUSH1 0x60 00001e67: DUP4 00001e68: ISZERO 00001e69: PUSH2 0x1e73 00001e6c: JUMPI 00001e6d: POP 00001e6e: DUP2 00001e6f: PUSH2 0x139a 00001e72: JUMP 00001e73: JUMPDEST 00001e74: DUP3 00001e75: MLOAD 00001e76: ISZERO 00001e77: PUSH2 0x1e83 00001e7a: JUMPI 00001e7b: DUP3 00001e7c: MLOAD 00001e7d: DUP1 00001e7e: DUP5 00001e7f: PUSH1 0x20 00001e81: ADD 00001e82: REVERT 00001e83: JUMPDEST 00001e84: PUSH1 0x40 00001e86: MLOAD 00001e87: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001ea8: DUP2 00001ea9: MSTORE 00001eaa: PUSH1 0x20 00001eac: PUSH1 0x04 00001eae: DUP3 00001eaf: ADD 00001eb0: DUP2 00001eb1: DUP2 00001eb2: MSTORE 00001eb3: DUP5 00001eb4: MLOAD 00001eb5: PUSH1 0x24 00001eb7: DUP5 00001eb8: ADD 00001eb9: MSTORE 00001eba: DUP5 00001ebb: MLOAD 00001ebc: DUP6 00001ebd: SWAP4 00001ebe: SWAP2 00001ebf: SWAP3 00001ec0: DUP4 00001ec1: SWAP3 00001ec2: PUSH1 0x44 00001ec4: ADD 00001ec5: SWAP2 00001ec6: SWAP1 00001ec7: DUP6 00001ec8: ADD 00001ec9: SWAP1 00001eca: DUP1 00001ecb: DUP4 00001ecc: DUP4 00001ecd: PUSH1 0x00 00001ecf: DUP4 00001ed0: ISZERO 00001ed1: PUSH2 0x1952 00001ed4: JUMPI 00001ed5: DUP2 00001ed6: DUP2 00001ed7: ADD 00001ed8: MLOAD 00001ed9: DUP4 00001eda: DUP3 00001edb: ADD 00001edc: MSTORE 00001edd: PUSH1 0x20 00001edf: ADD 00001ee0: PUSH2 0x193a 00001ee3: JUMP 00001ee4: INVALID 00001ee5: GASLIMIT 00001ee6: PUSH15 0x756d657261626c655365743a20696e 00001ef6: PUSH5 0x6578206f75 00001efc: PUSH21 0x206f6620626f756e6473416363657373436f6e7472 00001f12: PUSH16 0x6c3a2073656e646572206d7573742062 00001f23: PUSH6 0x20616e206164 00001f2a: PUSH14 0x696e20746f206772616e74526577 00001f39: PUSH2 0x7264 00001f3c: DIFFICULTY 00001f3d: PUSH10 0x73747269627574696f6e 00001f48: MSTORE 00001f49: PUSH6 0x63697069656e 00001f50: PUSH21 0x3a3a73657452657761726444697374726962757469 00001f66: PUSH16 0x6e3a206d757374206861766520646973 00001f77: PUSH21 0x7269627574696f6e2061737369676e657220726f6c 00001f8d: PUSH6 0x416464726573 00001f94: PUSH20 0x3a20696e73756666696369656e742062616c616e 00001fa9: PUSH4 0x6520666f 00001fae: PUSH19 0x2063616c6c416363657373436f6e74726f6c3a 00001fc2: KECCAK256 00001fc3: PUSH20 0x656e646572206d75737420626520616e2061646d 00001fd8: PUSH10 0x6e20746f207265766f6b 00001fe3: PUSH6 0x536166654d61 00001fea: PUSH21 0x683a206d756c7469706c69636174696f6e206f7665 00002000: PUSH19 0x666c6f77526577617264446973726962757469 00002014: PUSH16 0x6e526563697069656e743a3a6f6e6c79 00002025: MSTORE 00002026: PUSH6 0x776172644469 0000202d: PUSH20 0x747269627574696f6e3a2043616c6c6572206973 00002042: KECCAK256 00002043: PUSH15 0x6f7420526577617264734469737472 00002053: PUSH10 0x627574696f6e20636f6e 0000205e: PUSH21 0x726163745361666545524332303a20455243323020 00002074: PUSH16 0x7065726174696f6e20646964206e6f74 00002085: KECCAK256 00002086: PUSH20 0x756363656564416363657373436f6e74726f6c3a 0000209b: KECCAK256 0000209c: PUSH4 0x616e206f 000020a1: PUSH15 0x6c792072656e6f756e636520726f6c 000020b1: PUSH6 0x7320666f7220 000020b8: PUSH20 0x656c66a264697066735822122015d2d4e06d5925 000020cd: UNKNOWN(0xE0) 000020ce: UNKNOWN(0x2F) 000020cf: SGT 000020d0: UNKNOWN(0x28) 000020d1: SLOAD 000020d2: SSTORE 000020d3: UNKNOWN(0xBC) 000020d4: SWAP5 000020d5: KECCAK256 000020d6: LOG0 000020d7: PUSH19 0xe3357a601e9511cdace130adc6e864736f6c63 000020eb: NUMBER 000020ec: STOP 000020ed: SMOD 000020ee: DIV 000020ef: STOP 000020f0: 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: 0x677959025eff83ef531db046705e58856c20bc4cdaa12495dda2c45ac625cf57
call_targets:
0x5cc2db43f9c2e2029aee159be60a9dda50b05d4a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x677959025eff83ef531db046705e58856c20bc4cdaa12495dda2c45ac625cf57",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5cc2db43f9c2e2029aee159be60a9dda50b05d4a"
],
"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": "0xdf136d65",
"selector": "0xdf136d65",
"calldata_variants": [
"0xdf136d65",
"0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9fad8ee",
"selector": "0xe9fad8ee",
"calldata_variants": [
"0xe9fad8ee",
"0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebe2b12b",
"selector": "0xebe2b12b",
"calldata_variants": [
"0xebe2b12b",
"0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7c618c1",
"selector": "0xf7c618c1",
"calldata_variants": [
"0xf7c618c1",
"0xf7c618c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca15c873",
"selector": "0xca15c873",
"calldata_variants": [
"0xca15c873",
"0xca15c8730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd2ef3d0f",
"selector": "0xd2ef3d0f",
"calldata_variants": [
"0xd2ef3d0f",
"0xd2ef3d0f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3088,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7694,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x677959025eff83ef531db046705e58856c20bc4cdaa12495dda2c45ac625cf57
call_targets:
0x5cc2db43f9c2e2029aee159be60a9dda50b05d4a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x677959025eff83ef531db046705e58856c20bc4cdaa12495dda2c45ac625cf57",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5cc2db43f9c2e2029aee159be60a9dda50b05d4a"
],
"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": "0xdf136d65",
"selector": "0xdf136d65",
"calldata_variants": [
"0xdf136d65",
"0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9fad8ee",
"selector": "0xe9fad8ee",
"calldata_variants": [
"0xe9fad8ee",
"0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebe2b12b",
"selector": "0xebe2b12b",
"calldata_variants": [
"0xebe2b12b",
"0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7c618c1",
"selector": "0xf7c618c1",
"calldata_variants": [
"0xf7c618c1",
"0xf7c618c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca15c873",
"selector": "0xca15c873",
"calldata_variants": [
"0xca15c873",
"0xca15c8730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd2ef3d0f",
"selector": "0xd2ef3d0f",
"calldata_variants": [
"0xd2ef3d0f",
"0xd2ef3d0f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3088,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7694,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|