019b3844-9bcd-71a0-a0fa-7f7507dc8be6
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 |
|---|---|---|---|---|
| 14491 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 14492 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 99939 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 99940 | capability.graph | complete | 1 / 3 | 1 week ago |
| 99941 | detector.run | complete | 1 / 3 | 1 week ago |
| 99942 | 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 0x01bb 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x715018a6 00000019: GT 0000001a: PUSH2 0x00ec 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa9059cbb 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xdd62ed3e 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xdd62ed3e 0000003a: EQ 0000003b: PUSH2 0x063d 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe30443bc 00000045: EQ 00000046: PUSH2 0x0678 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x06b1 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfbcbc0f1 0000005b: EQ 0000005c: PUSH2 0x06e4 0000005f: JUMPI 00000060: PUSH2 0x01ca 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xa9059cbb 0000006b: EQ 0000006c: PUSH2 0x05bc 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xaafd847a 00000076: EQ 00000077: PUSH2 0x05f5 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xbe10b614 00000081: EQ 00000082: PUSH2 0x0628 00000085: JUMPI 00000086: PUSH2 0x01ca 00000089: JUMP 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x91b89fba 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x91b89fba 0000009c: EQ 0000009d: PUSH2 0x0508 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x95d89b41 000000a7: EQ 000000a8: PUSH2 0x053b 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xa457c2d7 000000b2: EQ 000000b3: PUSH2 0x0550 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xa8b9d240 000000bd: EQ 000000be: PUSH2 0x0589 000000c1: JUMPI 000000c2: PUSH2 0x01ca 000000c5: JUMP 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x715018a6 000000cd: EQ 000000ce: PUSH2 0x04ad 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x85a6b3ae 000000d8: EQ 000000d9: PUSH2 0x04c2 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x8da5cb5b 000000e3: EQ 000000e4: PUSH2 0x04d7 000000e7: JUMPI 000000e8: PUSH2 0x01ca 000000eb: JUMP 000000ec: JUMPDEST 000000ed: DUP1 000000ee: PUSH4 0x313ce567 000000f3: GT 000000f4: PUSH2 0x0159 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x4e7b827f 000000fe: GT 000000ff: PUSH2 0x0133 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x4e7b827f 00000109: EQ 0000010a: PUSH2 0x03f7 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x52b5f81d 00000114: EQ 00000115: PUSH2 0x042a 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x6a474002 0000011f: EQ 00000120: PUSH2 0x0465 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x70a08231 0000012a: EQ 0000012b: PUSH2 0x047a 0000012e: JUMPI 0000012f: PUSH2 0x01ca 00000132: JUMP 00000133: JUMPDEST 00000134: DUP1 00000135: PUSH4 0x313ce567 0000013a: EQ 0000013b: PUSH2 0x0360 0000013e: JUMPI 0000013f: DUP1 00000140: PUSH4 0x31e79db0 00000145: EQ 00000146: PUSH2 0x038b 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x39509351 00000150: EQ 00000151: PUSH2 0x03be 00000154: JUMPI 00000155: PUSH2 0x01ca 00000158: JUMP 00000159: JUMPDEST 0000015a: DUP1 0000015b: PUSH4 0x09bbedde 00000160: GT 00000161: PUSH2 0x0195 00000164: JUMPI 00000165: DUP1 00000166: PUSH4 0x09bbedde 0000016b: EQ 0000016c: PUSH2 0x02ae 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x18160ddd 00000176: EQ 00000177: PUSH2 0x02d5 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x23b872dd 00000181: EQ 00000182: PUSH2 0x02ea 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x27ce0147 0000018c: EQ 0000018d: PUSH2 0x032d 00000190: JUMPI 00000191: PUSH2 0x01ca 00000194: JUMP 00000195: JUMPDEST 00000196: DUP1 00000197: PUSH4 0x03c83302 0000019c: EQ 0000019d: PUSH2 0x01cf 000001a0: JUMPI 000001a1: DUP1 000001a2: PUSH4 0x06fdde03 000001a7: EQ 000001a8: PUSH2 0x01d7 000001ab: JUMPI 000001ac: DUP1 000001ad: PUSH4 0x095ea7b3 000001b2: EQ 000001b3: PUSH2 0x0261 000001b6: JUMPI 000001b7: PUSH2 0x01ca 000001ba: JUMP 000001bb: JUMPDEST 000001bc: CALLDATASIZE 000001bd: PUSH2 0x01ca 000001c0: JUMPI 000001c1: PUSH2 0x01c8 000001c4: PUSH2 0x0730 000001c7: JUMP 000001c8: JUMPDEST 000001c9: STOP 000001ca: JUMPDEST 000001cb: PUSH1 0x00 000001cd: DUP1 000001ce: REVERT 000001cf: JUMPDEST 000001d0: PUSH2 0x01c8 000001d3: PUSH2 0x0730 000001d6: JUMP 000001d7: JUMPDEST 000001d8: CALLVALUE 000001d9: DUP1 000001da: ISZERO 000001db: PUSH2 0x01e3 000001de: JUMPI 000001df: PUSH1 0x00 000001e1: DUP1 000001e2: REVERT 000001e3: JUMPDEST 000001e4: POP 000001e5: PUSH2 0x01ec 000001e8: PUSH2 0x07d3 000001eb: JUMP 000001ec: JUMPDEST 000001ed: PUSH1 0x40 000001ef: DUP1 000001f0: MLOAD 000001f1: PUSH1 0x20 000001f3: DUP1 000001f4: DUP3 000001f5: MSTORE 000001f6: DUP4 000001f7: MLOAD 000001f8: DUP2 000001f9: DUP4 000001fa: ADD 000001fb: MSTORE 000001fc: DUP4 000001fd: MLOAD 000001fe: SWAP2 000001ff: SWAP3 00000200: DUP4 00000201: SWAP3 00000202: SWAP1 00000203: DUP4 00000204: ADD 00000205: SWAP2 00000206: DUP6 00000207: ADD 00000208: SWAP1 00000209: DUP1 0000020a: DUP4 0000020b: DUP4 0000020c: PUSH1 0x00 0000020e: JUMPDEST 0000020f: DUP4 00000210: DUP2 00000211: LT 00000212: ISZERO 00000213: PUSH2 0x0226 00000216: JUMPI 00000217: DUP2 00000218: DUP2 00000219: ADD 0000021a: MLOAD 0000021b: DUP4 0000021c: DUP3 0000021d: ADD 0000021e: MSTORE 0000021f: PUSH1 0x20 00000221: ADD 00000222: PUSH2 0x020e 00000225: JUMP 00000226: JUMPDEST 00000227: POP 00000228: POP 00000229: POP 0000022a: POP 0000022b: SWAP1 0000022c: POP 0000022d: SWAP1 0000022e: DUP2 0000022f: ADD 00000230: SWAP1 00000231: PUSH1 0x1f 00000233: AND 00000234: DUP1 00000235: ISZERO 00000236: PUSH2 0x0253 00000239: JUMPI 0000023a: DUP1 0000023b: DUP3 0000023c: SUB 0000023d: DUP1 0000023e: MLOAD 0000023f: PUSH1 0x01 00000241: DUP4 00000242: PUSH1 0x20 00000244: SUB 00000245: PUSH2 0x0100 00000248: EXP 00000249: SUB 0000024a: NOT 0000024b: AND 0000024c: DUP2 0000024d: MSTORE 0000024e: PUSH1 0x20 00000250: ADD 00000251: SWAP2 00000252: POP 00000253: JUMPDEST 00000254: POP 00000255: SWAP3 00000256: POP 00000257: POP 00000258: POP 00000259: PUSH1 0x40 0000025b: MLOAD 0000025c: DUP1 0000025d: SWAP2 0000025e: SUB 0000025f: SWAP1 00000260: RETURN 00000261: JUMPDEST 00000262: CALLVALUE 00000263: DUP1 00000264: ISZERO 00000265: PUSH2 0x026d 00000268: JUMPI 00000269: PUSH1 0x00 0000026b: DUP1 0000026c: REVERT 0000026d: JUMPDEST 0000026e: POP 0000026f: PUSH2 0x029a 00000272: PUSH1 0x04 00000274: DUP1 00000275: CALLDATASIZE 00000276: SUB 00000277: PUSH1 0x40 00000279: DUP2 0000027a: LT 0000027b: ISZERO 0000027c: PUSH2 0x0284 0000027f: JUMPI 00000280: PUSH1 0x00 00000282: DUP1 00000283: REVERT 00000284: JUMPDEST 00000285: POP 00000286: PUSH1 0x01 00000288: PUSH1 0x01 0000028a: PUSH1 0xa0 0000028c: SHL 0000028d: SUB 0000028e: DUP2 0000028f: CALLDATALOAD 00000290: AND 00000291: SWAP1 00000292: PUSH1 0x20 00000294: ADD 00000295: CALLDATALOAD 00000296: PUSH2 0x0869 00000299: JUMP 0000029a: JUMPDEST 0000029b: PUSH1 0x40 0000029d: DUP1 0000029e: MLOAD 0000029f: SWAP2 000002a0: ISZERO 000002a1: ISZERO 000002a2: DUP3 000002a3: MSTORE 000002a4: MLOAD 000002a5: SWAP1 000002a6: DUP2 000002a7: SWAP1 000002a8: SUB 000002a9: PUSH1 0x20 000002ab: ADD 000002ac: SWAP1 000002ad: RETURN 000002ae: JUMPDEST 000002af: CALLVALUE 000002b0: DUP1 000002b1: ISZERO 000002b2: PUSH2 0x02ba 000002b5: JUMPI 000002b6: PUSH1 0x00 000002b8: DUP1 000002b9: REVERT 000002ba: JUMPDEST 000002bb: POP 000002bc: PUSH2 0x02c3 000002bf: PUSH2 0x0887 000002c2: JUMP 000002c3: JUMPDEST 000002c4: PUSH1 0x40 000002c6: DUP1 000002c7: MLOAD 000002c8: SWAP2 000002c9: DUP3 000002ca: MSTORE 000002cb: MLOAD 000002cc: SWAP1 000002cd: DUP2 000002ce: SWAP1 000002cf: SUB 000002d0: PUSH1 0x20 000002d2: ADD 000002d3: SWAP1 000002d4: RETURN 000002d5: JUMPDEST 000002d6: CALLVALUE 000002d7: DUP1 000002d8: ISZERO 000002d9: PUSH2 0x02e1 000002dc: JUMPI 000002dd: PUSH1 0x00 000002df: DUP1 000002e0: REVERT 000002e1: JUMPDEST 000002e2: POP 000002e3: PUSH2 0x02c3 000002e6: PUSH2 0x088d 000002e9: JUMP 000002ea: JUMPDEST 000002eb: CALLVALUE 000002ec: DUP1 000002ed: ISZERO 000002ee: PUSH2 0x02f6 000002f1: JUMPI 000002f2: PUSH1 0x00 000002f4: DUP1 000002f5: REVERT 000002f6: JUMPDEST 000002f7: POP 000002f8: PUSH2 0x029a 000002fb: PUSH1 0x04 000002fd: DUP1 000002fe: CALLDATASIZE 000002ff: SUB 00000300: PUSH1 0x60 00000302: DUP2 00000303: LT 00000304: ISZERO 00000305: PUSH2 0x030d 00000308: JUMPI 00000309: PUSH1 0x00 0000030b: DUP1 0000030c: REVERT 0000030d: JUMPDEST 0000030e: POP 0000030f: PUSH1 0x01 00000311: PUSH1 0x01 00000313: PUSH1 0xa0 00000315: SHL 00000316: SUB 00000317: DUP2 00000318: CALLDATALOAD 00000319: DUP2 0000031a: AND 0000031b: SWAP2 0000031c: PUSH1 0x20 0000031e: DUP2 0000031f: ADD 00000320: CALLDATALOAD 00000321: SWAP1 00000322: SWAP2 00000323: AND 00000324: SWAP1 00000325: PUSH1 0x40 00000327: ADD 00000328: CALLDATALOAD 00000329: PUSH2 0x0893 0000032c: JUMP 0000032d: JUMPDEST 0000032e: CALLVALUE 0000032f: DUP1 00000330: ISZERO 00000331: PUSH2 0x0339 00000334: JUMPI 00000335: PUSH1 0x00 00000337: DUP1 00000338: REVERT 00000339: JUMPDEST 0000033a: POP 0000033b: PUSH2 0x02c3 0000033e: PUSH1 0x04 00000340: DUP1 00000341: CALLDATASIZE 00000342: SUB 00000343: PUSH1 0x20 00000345: DUP2 00000346: LT 00000347: ISZERO 00000348: PUSH2 0x0350 0000034b: JUMPI 0000034c: PUSH1 0x00 0000034e: DUP1 0000034f: REVERT 00000350: JUMPDEST 00000351: POP 00000352: CALLDATALOAD 00000353: PUSH1 0x01 00000355: PUSH1 0x01 00000357: PUSH1 0xa0 00000359: SHL 0000035a: SUB 0000035b: AND 0000035c: PUSH2 0x0920 0000035f: JUMP 00000360: JUMPDEST 00000361: CALLVALUE 00000362: DUP1 00000363: ISZERO 00000364: PUSH2 0x036c 00000367: JUMPI 00000368: PUSH1 0x00 0000036a: DUP1 0000036b: REVERT 0000036c: JUMPDEST 0000036d: POP 0000036e: PUSH2 0x0375 00000371: PUSH2 0x0989 00000374: JUMP 00000375: JUMPDEST 00000376: PUSH1 0x40 00000378: DUP1 00000379: MLOAD 0000037a: PUSH1 0xff 0000037c: SWAP1 0000037d: SWAP3 0000037e: AND 0000037f: DUP3 00000380: MSTORE 00000381: MLOAD 00000382: SWAP1 00000383: DUP2 00000384: SWAP1 00000385: SUB 00000386: PUSH1 0x20 00000388: ADD 00000389: SWAP1 0000038a: RETURN 0000038b: JUMPDEST 0000038c: CALLVALUE 0000038d: DUP1 0000038e: ISZERO 0000038f: PUSH2 0x0397 00000392: JUMPI 00000393: PUSH1 0x00 00000395: DUP1 00000396: REVERT 00000397: JUMPDEST 00000398: POP 00000399: PUSH2 0x01c8 0000039c: PUSH1 0x04 0000039e: DUP1 0000039f: CALLDATASIZE 000003a0: SUB 000003a1: PUSH1 0x20 000003a3: DUP2 000003a4: LT 000003a5: ISZERO 000003a6: PUSH2 0x03ae 000003a9: JUMPI 000003aa: PUSH1 0x00 000003ac: DUP1 000003ad: REVERT 000003ae: JUMPDEST 000003af: POP 000003b0: CALLDATALOAD 000003b1: PUSH1 0x01 000003b3: PUSH1 0x01 000003b5: PUSH1 0xa0 000003b7: SHL 000003b8: SUB 000003b9: AND 000003ba: PUSH2 0x098e 000003bd: JUMP 000003be: JUMPDEST 000003bf: CALLVALUE 000003c0: DUP1 000003c1: ISZERO 000003c2: PUSH2 0x03ca 000003c5: JUMPI 000003c6: PUSH1 0x00 000003c8: DUP1 000003c9: REVERT 000003ca: JUMPDEST 000003cb: POP 000003cc: PUSH2 0x029a 000003cf: PUSH1 0x04 000003d1: DUP1 000003d2: CALLDATASIZE 000003d3: SUB 000003d4: PUSH1 0x40 000003d6: DUP2 000003d7: LT 000003d8: ISZERO 000003d9: PUSH2 0x03e1 000003dc: JUMPI 000003dd: PUSH1 0x00 000003df: DUP1 000003e0: REVERT 000003e1: JUMPDEST 000003e2: POP 000003e3: PUSH1 0x01 000003e5: PUSH1 0x01 000003e7: PUSH1 0xa0 000003e9: SHL 000003ea: SUB 000003eb: DUP2 000003ec: CALLDATALOAD 000003ed: AND 000003ee: SWAP1 000003ef: PUSH1 0x20 000003f1: ADD 000003f2: CALLDATALOAD 000003f3: PUSH2 0x0aea 000003f6: JUMP 000003f7: JUMPDEST 000003f8: CALLVALUE 000003f9: DUP1 000003fa: ISZERO 000003fb: PUSH2 0x0403 000003fe: JUMPI 000003ff: PUSH1 0x00 00000401: DUP1 00000402: REVERT 00000403: JUMPDEST 00000404: POP 00000405: PUSH2 0x029a 00000408: PUSH1 0x04 0000040a: DUP1 0000040b: CALLDATASIZE 0000040c: SUB 0000040d: PUSH1 0x20 0000040f: DUP2 00000410: LT 00000411: ISZERO 00000412: PUSH2 0x041a 00000415: JUMPI 00000416: PUSH1 0x00 00000418: DUP1 00000419: REVERT 0000041a: JUMPDEST 0000041b: POP 0000041c: CALLDATALOAD 0000041d: PUSH1 0x01 0000041f: PUSH1 0x01 00000421: PUSH1 0xa0 00000423: SHL 00000424: SUB 00000425: AND 00000426: PUSH2 0x0b3e 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 0x02c3 0000043b: PUSH1 0x04 0000043d: DUP1 0000043e: CALLDATASIZE 0000043f: SUB 00000440: PUSH1 0x40 00000442: DUP2 00000443: LT 00000444: ISZERO 00000445: PUSH2 0x044d 00000448: JUMPI 00000449: PUSH1 0x00 0000044b: DUP1 0000044c: REVERT 0000044d: JUMPDEST 0000044e: POP 0000044f: PUSH1 0x01 00000451: PUSH1 0x01 00000453: PUSH1 0xa0 00000455: SHL 00000456: SUB 00000457: DUP2 00000458: CALLDATALOAD 00000459: DUP2 0000045a: AND 0000045b: SWAP2 0000045c: PUSH1 0x20 0000045e: ADD 0000045f: CALLDATALOAD 00000460: AND 00000461: PUSH2 0x0b53 00000464: JUMP 00000465: JUMPDEST 00000466: CALLVALUE 00000467: DUP1 00000468: ISZERO 00000469: PUSH2 0x0471 0000046c: JUMPI 0000046d: PUSH1 0x00 0000046f: DUP1 00000470: REVERT 00000471: JUMPDEST 00000472: POP 00000473: PUSH2 0x01c8 00000476: PUSH2 0x0bc1 00000479: JUMP 0000047a: JUMPDEST 0000047b: CALLVALUE 0000047c: DUP1 0000047d: ISZERO 0000047e: PUSH2 0x0486 00000481: JUMPI 00000482: PUSH1 0x00 00000484: DUP1 00000485: REVERT 00000486: JUMPDEST 00000487: POP 00000488: PUSH2 0x02c3 0000048b: PUSH1 0x04 0000048d: DUP1 0000048e: CALLDATASIZE 0000048f: SUB 00000490: PUSH1 0x20 00000492: DUP2 00000493: LT 00000494: ISZERO 00000495: PUSH2 0x049d 00000498: JUMPI 00000499: PUSH1 0x00 0000049b: DUP1 0000049c: REVERT 0000049d: JUMPDEST 0000049e: POP 0000049f: CALLDATALOAD 000004a0: PUSH1 0x01 000004a2: PUSH1 0x01 000004a4: PUSH1 0xa0 000004a6: SHL 000004a7: SUB 000004a8: AND 000004a9: PUSH2 0x0bf8 000004ac: JUMP 000004ad: JUMPDEST 000004ae: CALLVALUE 000004af: DUP1 000004b0: ISZERO 000004b1: PUSH2 0x04b9 000004b4: JUMPI 000004b5: PUSH1 0x00 000004b7: DUP1 000004b8: REVERT 000004b9: JUMPDEST 000004ba: POP 000004bb: PUSH2 0x01c8 000004be: PUSH2 0x0c13 000004c1: JUMP 000004c2: JUMPDEST 000004c3: CALLVALUE 000004c4: DUP1 000004c5: ISZERO 000004c6: PUSH2 0x04ce 000004c9: JUMPI 000004ca: PUSH1 0x00 000004cc: DUP1 000004cd: REVERT 000004ce: JUMPDEST 000004cf: POP 000004d0: PUSH2 0x02c3 000004d3: PUSH2 0x0cb5 000004d6: JUMP 000004d7: JUMPDEST 000004d8: CALLVALUE 000004d9: DUP1 000004da: ISZERO 000004db: PUSH2 0x04e3 000004de: JUMPI 000004df: PUSH1 0x00 000004e1: DUP1 000004e2: REVERT 000004e3: JUMPDEST 000004e4: POP 000004e5: PUSH2 0x04ec 000004e8: PUSH2 0x0cbb 000004eb: JUMP 000004ec: JUMPDEST 000004ed: PUSH1 0x40 000004ef: DUP1 000004f0: MLOAD 000004f1: PUSH1 0x01 000004f3: PUSH1 0x01 000004f5: PUSH1 0xa0 000004f7: SHL 000004f8: SUB 000004f9: SWAP1 000004fa: SWAP3 000004fb: AND 000004fc: DUP3 000004fd: MSTORE 000004fe: MLOAD 000004ff: SWAP1 00000500: DUP2 00000501: SWAP1 00000502: SUB 00000503: PUSH1 0x20 00000505: ADD 00000506: SWAP1 00000507: RETURN 00000508: JUMPDEST 00000509: CALLVALUE 0000050a: DUP1 0000050b: ISZERO 0000050c: PUSH2 0x0514 0000050f: JUMPI 00000510: PUSH1 0x00 00000512: DUP1 00000513: REVERT 00000514: JUMPDEST 00000515: POP 00000516: PUSH2 0x02c3 00000519: PUSH1 0x04 0000051b: DUP1 0000051c: CALLDATASIZE 0000051d: SUB 0000051e: PUSH1 0x20 00000520: DUP2 00000521: LT 00000522: ISZERO 00000523: PUSH2 0x052b 00000526: JUMPI 00000527: PUSH1 0x00 00000529: DUP1 0000052a: REVERT 0000052b: JUMPDEST 0000052c: POP 0000052d: CALLDATALOAD 0000052e: PUSH1 0x01 00000530: PUSH1 0x01 00000532: PUSH1 0xa0 00000534: SHL 00000535: SUB 00000536: AND 00000537: PUSH2 0x0cca 0000053a: JUMP 0000053b: JUMPDEST 0000053c: CALLVALUE 0000053d: DUP1 0000053e: ISZERO 0000053f: PUSH2 0x0547 00000542: JUMPI 00000543: PUSH1 0x00 00000545: DUP1 00000546: REVERT 00000547: JUMPDEST 00000548: POP 00000549: PUSH2 0x01ec 0000054c: PUSH2 0x0cd5 0000054f: JUMP 00000550: JUMPDEST 00000551: CALLVALUE 00000552: DUP1 00000553: ISZERO 00000554: PUSH2 0x055c 00000557: JUMPI 00000558: PUSH1 0x00 0000055a: DUP1 0000055b: REVERT 0000055c: JUMPDEST 0000055d: POP 0000055e: PUSH2 0x029a 00000561: PUSH1 0x04 00000563: DUP1 00000564: CALLDATASIZE 00000565: SUB 00000566: PUSH1 0x40 00000568: DUP2 00000569: LT 0000056a: ISZERO 0000056b: PUSH2 0x0573 0000056e: JUMPI 0000056f: PUSH1 0x00 00000571: DUP1 00000572: REVERT 00000573: JUMPDEST 00000574: POP 00000575: PUSH1 0x01 00000577: PUSH1 0x01 00000579: PUSH1 0xa0 0000057b: SHL 0000057c: SUB 0000057d: DUP2 0000057e: CALLDATALOAD 0000057f: AND 00000580: SWAP1 00000581: PUSH1 0x20 00000583: ADD 00000584: CALLDATALOAD 00000585: PUSH2 0x0d36 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 0x02c3 0000059a: PUSH1 0x04 0000059c: DUP1 0000059d: CALLDATASIZE 0000059e: SUB 0000059f: PUSH1 0x20 000005a1: DUP2 000005a2: LT 000005a3: ISZERO 000005a4: PUSH2 0x05ac 000005a7: JUMPI 000005a8: PUSH1 0x00 000005aa: DUP1 000005ab: REVERT 000005ac: JUMPDEST 000005ad: POP 000005ae: CALLDATALOAD 000005af: PUSH1 0x01 000005b1: PUSH1 0x01 000005b3: PUSH1 0xa0 000005b5: SHL 000005b6: SUB 000005b7: AND 000005b8: PUSH2 0x0da4 000005bb: JUMP 000005bc: JUMPDEST 000005bd: CALLVALUE 000005be: DUP1 000005bf: ISZERO 000005c0: PUSH2 0x05c8 000005c3: JUMPI 000005c4: PUSH1 0x00 000005c6: DUP1 000005c7: REVERT 000005c8: JUMPDEST 000005c9: POP 000005ca: PUSH2 0x029a 000005cd: PUSH1 0x04 000005cf: DUP1 000005d0: CALLDATASIZE 000005d1: SUB 000005d2: PUSH1 0x40 000005d4: DUP2 000005d5: LT 000005d6: ISZERO 000005d7: PUSH2 0x05df 000005da: JUMPI 000005db: PUSH1 0x00 000005dd: DUP1 000005de: REVERT 000005df: JUMPDEST 000005e0: POP 000005e1: PUSH1 0x01 000005e3: PUSH1 0x01 000005e5: PUSH1 0xa0 000005e7: SHL 000005e8: SUB 000005e9: DUP2 000005ea: CALLDATALOAD 000005eb: AND 000005ec: SWAP1 000005ed: PUSH1 0x20 000005ef: ADD 000005f0: CALLDATALOAD 000005f1: PUSH2 0x0dd6 000005f4: JUMP 000005f5: JUMPDEST 000005f6: CALLVALUE 000005f7: DUP1 000005f8: ISZERO 000005f9: PUSH2 0x0601 000005fc: JUMPI 000005fd: PUSH1 0x00 000005ff: DUP1 00000600: REVERT 00000601: JUMPDEST 00000602: POP 00000603: PUSH2 0x02c3 00000606: PUSH1 0x04 00000608: DUP1 00000609: CALLDATASIZE 0000060a: SUB 0000060b: PUSH1 0x20 0000060d: DUP2 0000060e: LT 0000060f: ISZERO 00000610: PUSH2 0x0618 00000613: JUMPI 00000614: PUSH1 0x00 00000616: DUP1 00000617: REVERT 00000618: JUMPDEST 00000619: POP 0000061a: CALLDATALOAD 0000061b: PUSH1 0x01 0000061d: PUSH1 0x01 0000061f: PUSH1 0xa0 00000621: SHL 00000622: SUB 00000623: AND 00000624: PUSH2 0x0dea 00000627: JUMP 00000628: JUMPDEST 00000629: CALLVALUE 0000062a: DUP1 0000062b: ISZERO 0000062c: PUSH2 0x0634 0000062f: JUMPI 00000630: PUSH1 0x00 00000632: DUP1 00000633: REVERT 00000634: JUMPDEST 00000635: POP 00000636: PUSH2 0x02c3 00000639: PUSH2 0x0e05 0000063c: JUMP 0000063d: JUMPDEST 0000063e: CALLVALUE 0000063f: DUP1 00000640: ISZERO 00000641: PUSH2 0x0649 00000644: JUMPI 00000645: PUSH1 0x00 00000647: DUP1 00000648: REVERT 00000649: JUMPDEST 0000064a: POP 0000064b: PUSH2 0x02c3 0000064e: PUSH1 0x04 00000650: DUP1 00000651: CALLDATASIZE 00000652: SUB 00000653: PUSH1 0x40 00000655: DUP2 00000656: LT 00000657: ISZERO 00000658: PUSH2 0x0660 0000065b: JUMPI 0000065c: PUSH1 0x00 0000065e: DUP1 0000065f: REVERT 00000660: JUMPDEST 00000661: POP 00000662: PUSH1 0x01 00000664: PUSH1 0x01 00000666: PUSH1 0xa0 00000668: SHL 00000669: SUB 0000066a: DUP2 0000066b: CALLDATALOAD 0000066c: DUP2 0000066d: AND 0000066e: SWAP2 0000066f: PUSH1 0x20 00000671: ADD 00000672: CALLDATALOAD 00000673: AND 00000674: PUSH2 0x0e0b 00000677: JUMP 00000678: JUMPDEST 00000679: CALLVALUE 0000067a: DUP1 0000067b: ISZERO 0000067c: PUSH2 0x0684 0000067f: JUMPI 00000680: PUSH1 0x00 00000682: DUP1 00000683: REVERT 00000684: JUMPDEST 00000685: POP 00000686: PUSH2 0x01c8 00000689: PUSH1 0x04 0000068b: DUP1 0000068c: CALLDATASIZE 0000068d: SUB 0000068e: PUSH1 0x40 00000690: DUP2 00000691: LT 00000692: ISZERO 00000693: PUSH2 0x069b 00000696: JUMPI 00000697: PUSH1 0x00 00000699: DUP1 0000069a: REVERT 0000069b: JUMPDEST 0000069c: POP 0000069d: PUSH1 0x01 0000069f: PUSH1 0x01 000006a1: PUSH1 0xa0 000006a3: SHL 000006a4: SUB 000006a5: DUP2 000006a6: CALLDATALOAD 000006a7: AND 000006a8: SWAP1 000006a9: PUSH1 0x20 000006ab: ADD 000006ac: CALLDATALOAD 000006ad: PUSH2 0x0e36 000006b0: JUMP 000006b1: JUMPDEST 000006b2: CALLVALUE 000006b3: DUP1 000006b4: ISZERO 000006b5: PUSH2 0x06bd 000006b8: JUMPI 000006b9: PUSH1 0x00 000006bb: DUP1 000006bc: REVERT 000006bd: JUMPDEST 000006be: POP 000006bf: PUSH2 0x01c8 000006c2: PUSH1 0x04 000006c4: DUP1 000006c5: CALLDATASIZE 000006c6: SUB 000006c7: PUSH1 0x20 000006c9: DUP2 000006ca: LT 000006cb: ISZERO 000006cc: PUSH2 0x06d4 000006cf: JUMPI 000006d0: PUSH1 0x00 000006d2: DUP1 000006d3: REVERT 000006d4: JUMPDEST 000006d5: POP 000006d6: CALLDATALOAD 000006d7: PUSH1 0x01 000006d9: PUSH1 0x01 000006db: PUSH1 0xa0 000006dd: SHL 000006de: SUB 000006df: AND 000006e0: PUSH2 0x0fd5 000006e3: JUMP 000006e4: JUMPDEST 000006e5: CALLVALUE 000006e6: DUP1 000006e7: ISZERO 000006e8: PUSH2 0x06f0 000006eb: JUMPI 000006ec: PUSH1 0x00 000006ee: DUP1 000006ef: REVERT 000006f0: JUMPDEST 000006f1: POP 000006f2: PUSH2 0x0717 000006f5: PUSH1 0x04 000006f7: DUP1 000006f8: CALLDATASIZE 000006f9: SUB 000006fa: PUSH1 0x20 000006fc: DUP2 000006fd: LT 000006fe: ISZERO 000006ff: PUSH2 0x0707 00000702: JUMPI 00000703: PUSH1 0x00 00000705: DUP1 00000706: REVERT 00000707: JUMPDEST 00000708: POP 00000709: CALLDATALOAD 0000070a: PUSH1 0x01 0000070c: PUSH1 0x01 0000070e: PUSH1 0xa0 00000710: SHL 00000711: SUB 00000712: AND 00000713: PUSH2 0x10ce 00000716: JUMP 00000717: JUMPDEST 00000718: PUSH1 0x40 0000071a: DUP1 0000071b: MLOAD 0000071c: SWAP3 0000071d: DUP4 0000071e: MSTORE 0000071f: PUSH1 0x20 00000721: DUP4 00000722: ADD 00000723: SWAP2 00000724: SWAP1 00000725: SWAP2 00000726: MSTORE 00000727: DUP1 00000728: MLOAD 00000729: SWAP2 0000072a: DUP3 0000072b: SWAP1 0000072c: SUB 0000072d: ADD 0000072e: SWAP1 0000072f: RETURN 00000730: JUMPDEST 00000731: PUSH1 0x00 00000733: PUSH2 0x073a 00000736: PUSH2 0x088d 00000739: JUMP 0000073a: JUMPDEST 0000073b: GT 0000073c: PUSH2 0x0744 0000073f: JUMPI 00000740: PUSH1 0x00 00000742: DUP1 00000743: REVERT 00000744: JUMPDEST 00000745: CALLVALUE 00000746: ISZERO 00000747: PUSH2 0x07d1 0000074a: JUMPI 0000074b: PUSH2 0x0781 0000074e: PUSH2 0x0755 00000751: PUSH2 0x088d 00000754: JUMP 00000755: JUMPDEST 00000756: PUSH2 0x0769 00000759: CALLVALUE 0000075a: PUSH1 0x01 0000075c: PUSH1 0x80 0000075e: SHL 0000075f: PUSH4 0xffffffff 00000764: PUSH2 0x10fb 00000767: AND 00000768: JUMP 00000769: JUMPDEST 0000076a: DUP2 0000076b: PUSH2 0x0770 0000076e: JUMPI 0000076f: INVALID 00000770: JUMPDEST 00000771: PUSH1 0x05 00000773: SLOAD 00000774: SWAP2 00000775: SWAP1 00000776: DIV 00000777: PUSH4 0xffffffff 0000077c: PUSH2 0x115b 0000077f: AND 00000780: JUMP 00000781: JUMPDEST 00000782: PUSH1 0x05 00000784: SSTORE 00000785: PUSH1 0x40 00000787: DUP1 00000788: MLOAD 00000789: CALLVALUE 0000078a: DUP2 0000078b: MSTORE 0000078c: SWAP1 0000078d: MLOAD 0000078e: CALLER 0000078f: SWAP2 00000790: PUSH32 0xa493a9229478c3fcd73f66d2cdeb7f94fd0f341da924d1054236d78454116511 000007b1: SWAP2 000007b2: SWAP1 000007b3: DUP2 000007b4: SWAP1 000007b5: SUB 000007b6: PUSH1 0x20 000007b8: ADD 000007b9: SWAP1 000007ba: LOG2 000007bb: PUSH1 0x08 000007bd: SLOAD 000007be: PUSH2 0x07cd 000007c1: SWAP1 000007c2: CALLVALUE 000007c3: PUSH4 0xffffffff 000007c8: PUSH2 0x115b 000007cb: AND 000007cc: JUMP 000007cd: JUMPDEST 000007ce: PUSH1 0x08 000007d0: SSTORE 000007d1: JUMPDEST 000007d2: JUMP 000007d3: JUMPDEST 000007d4: PUSH1 0x03 000007d6: DUP1 000007d7: SLOAD 000007d8: PUSH1 0x40 000007da: DUP1 000007db: MLOAD 000007dc: PUSH1 0x20 000007de: PUSH1 0x1f 000007e0: PUSH1 0x02 000007e2: PUSH1 0x00 000007e4: NOT 000007e5: PUSH2 0x0100 000007e8: PUSH1 0x01 000007ea: DUP9 000007eb: AND 000007ec: ISZERO 000007ed: MUL 000007ee: ADD 000007ef: SWAP1 000007f0: SWAP6 000007f1: AND 000007f2: SWAP5 000007f3: SWAP1 000007f4: SWAP5 000007f5: DIV 000007f6: SWAP4 000007f7: DUP5 000007f8: ADD 000007f9: DUP2 000007fa: SWAP1 000007fb: DIV 000007fc: DUP2 000007fd: MUL 000007fe: DUP3 000007ff: ADD 00000800: DUP2 00000801: ADD 00000802: SWAP1 00000803: SWAP3 00000804: MSTORE 00000805: DUP3 00000806: DUP2 00000807: MSTORE 00000808: PUSH1 0x60 0000080a: SWAP4 0000080b: SWAP1 0000080c: SWAP3 0000080d: SWAP1 0000080e: SWAP2 0000080f: DUP4 00000810: ADD 00000811: DUP3 00000812: DUP3 00000813: DUP1 00000814: ISZERO 00000815: PUSH2 0x085f 00000818: JUMPI 00000819: DUP1 0000081a: PUSH1 0x1f 0000081c: LT 0000081d: PUSH2 0x0834 00000820: JUMPI 00000821: PUSH2 0x0100 00000824: DUP1 00000825: DUP4 00000826: SLOAD 00000827: DIV 00000828: MUL 00000829: DUP4 0000082a: MSTORE 0000082b: SWAP2 0000082c: PUSH1 0x20 0000082e: ADD 0000082f: SWAP2 00000830: PUSH2 0x085f 00000833: JUMP 00000834: JUMPDEST 00000835: DUP3 00000836: ADD 00000837: SWAP2 00000838: SWAP1 00000839: PUSH1 0x00 0000083b: MSTORE 0000083c: PUSH1 0x20 0000083e: PUSH1 0x00 00000840: KECCAK256 00000841: SWAP1 00000842: JUMPDEST 00000843: DUP2 00000844: SLOAD 00000845: DUP2 00000846: MSTORE 00000847: SWAP1 00000848: PUSH1 0x01 0000084a: ADD 0000084b: SWAP1 0000084c: PUSH1 0x20 0000084e: ADD 0000084f: DUP1 00000850: DUP4 00000851: GT 00000852: PUSH2 0x0842 00000855: JUMPI 00000856: DUP3 00000857: SWAP1 00000858: SUB 00000859: PUSH1 0x1f 0000085b: AND 0000085c: DUP3 0000085d: ADD 0000085e: SWAP2 0000085f: JUMPDEST 00000860: POP 00000861: POP 00000862: POP 00000863: POP 00000864: POP 00000865: SWAP1 00000866: POP 00000867: SWAP1 00000868: JUMP 00000869: JUMPDEST 0000086a: PUSH1 0x00 0000086c: PUSH2 0x087d 0000086f: PUSH2 0x0876 00000872: PUSH2 0x11b5 00000875: JUMP 00000876: JUMPDEST 00000877: DUP5 00000878: DUP5 00000879: PUSH2 0x11b9 0000087c: JUMP 0000087d: JUMPDEST 0000087e: POP 0000087f: PUSH1 0x01 00000881: JUMPDEST 00000882: SWAP3 00000883: SWAP2 00000884: POP 00000885: POP 00000886: JUMP 00000887: JUMPDEST 00000888: PUSH1 0x0a 0000088a: SLOAD 0000088b: SWAP1 0000088c: JUMP 0000088d: JUMPDEST 0000088e: PUSH1 0x02 00000890: SLOAD 00000891: SWAP1 00000892: JUMP 00000893: JUMPDEST 00000894: PUSH1 0x00 00000896: PUSH2 0x08a0 00000899: DUP5 0000089a: DUP5 0000089b: DUP5 0000089c: PUSH2 0x11f5 0000089f: JUMP 000008a0: JUMPDEST 000008a1: PUSH2 0x0916 000008a4: DUP5 000008a5: PUSH2 0x08ac 000008a8: PUSH2 0x11b5 000008ab: JUMP 000008ac: JUMPDEST 000008ad: PUSH2 0x0911 000008b0: DUP6 000008b1: PUSH1 0x40 000008b3: MLOAD 000008b4: DUP1 000008b5: PUSH1 0x60 000008b7: ADD 000008b8: PUSH1 0x40 000008ba: MSTORE 000008bb: DUP1 000008bc: PUSH1 0x28 000008be: DUP2 000008bf: MSTORE 000008c0: PUSH1 0x20 000008c2: ADD 000008c3: PUSH2 0x18ce 000008c6: PUSH1 0x28 000008c8: SWAP2 000008c9: CODECOPY 000008ca: PUSH1 0x01 000008cc: PUSH1 0x01 000008ce: PUSH1 0xa0 000008d0: SHL 000008d1: SUB 000008d2: DUP11 000008d3: AND 000008d4: PUSH1 0x00 000008d6: SWAP1 000008d7: DUP2 000008d8: MSTORE 000008d9: PUSH1 0x01 000008db: PUSH1 0x20 000008dd: MSTORE 000008de: PUSH1 0x40 000008e0: DUP2 000008e1: KECCAK256 000008e2: SWAP1 000008e3: PUSH2 0x08ea 000008e6: PUSH2 0x11b5 000008e9: JUMP 000008ea: JUMPDEST 000008eb: PUSH1 0x01 000008ed: PUSH1 0x01 000008ef: PUSH1 0xa0 000008f1: SHL 000008f2: SUB 000008f3: AND 000008f4: DUP2 000008f5: MSTORE 000008f6: PUSH1 0x20 000008f8: DUP2 000008f9: ADD 000008fa: SWAP2 000008fb: SWAP1 000008fc: SWAP2 000008fd: MSTORE 000008fe: PUSH1 0x40 00000900: ADD 00000901: PUSH1 0x00 00000903: KECCAK256 00000904: SLOAD 00000905: SWAP2 00000906: SWAP1 00000907: PUSH4 0xffffffff 0000090c: PUSH2 0x122c 0000090f: AND 00000910: JUMP 00000911: JUMPDEST 00000912: PUSH2 0x11b9 00000915: JUMP 00000916: JUMPDEST 00000917: POP 00000918: PUSH1 0x01 0000091a: SWAP4 0000091b: SWAP3 0000091c: POP 0000091d: POP 0000091e: POP 0000091f: JUMP 00000920: JUMPDEST 00000921: PUSH1 0x01 00000923: PUSH1 0x01 00000925: PUSH1 0xa0 00000927: SHL 00000928: SUB 00000929: DUP2 0000092a: AND 0000092b: PUSH1 0x00 0000092d: SWAP1 0000092e: DUP2 0000092f: MSTORE 00000930: PUSH1 0x06 00000932: PUSH1 0x20 00000934: MSTORE 00000935: PUSH1 0x40 00000937: DUP2 00000938: KECCAK256 00000939: SLOAD 0000093a: PUSH1 0x01 0000093c: PUSH1 0x80 0000093e: SHL 0000093f: SWAP1 00000940: PUSH2 0x097b 00000943: SWAP1 00000944: PUSH2 0x0976 00000947: SWAP1 00000948: PUSH2 0x096a 0000094b: PUSH2 0x0965 0000094e: PUSH2 0x0956 00000951: DUP9 00000952: PUSH2 0x0bf8 00000955: JUMP 00000956: JUMPDEST 00000957: PUSH1 0x05 00000959: SLOAD 0000095a: SWAP1 0000095b: PUSH4 0xffffffff 00000960: PUSH2 0x10fb 00000963: AND 00000964: JUMP 00000965: JUMPDEST 00000966: PUSH2 0x12c3 00000969: JUMP 0000096a: JUMPDEST 0000096b: SWAP1 0000096c: PUSH4 0xffffffff 00000971: PUSH2 0x12d3 00000974: AND 00000975: JUMP 00000976: JUMPDEST 00000977: PUSH2 0x1306 0000097a: JUMP 0000097b: JUMPDEST 0000097c: DUP2 0000097d: PUSH2 0x0982 00000980: JUMPI 00000981: INVALID 00000982: JUMPDEST 00000983: DIV 00000984: SWAP3 00000985: SWAP2 00000986: POP 00000987: POP 00000988: JUMP 00000989: JUMPDEST 0000098a: PUSH1 0x12 0000098c: SWAP1 0000098d: JUMP 0000098e: JUMPDEST 0000098f: PUSH2 0x0996 00000992: PUSH2 0x11b5 00000995: JUMP 00000996: JUMPDEST 00000997: PUSH1 0x09 00000999: SLOAD 0000099a: PUSH1 0x01 0000099c: PUSH1 0x01 0000099e: PUSH1 0xa0 000009a0: SHL 000009a1: SUB 000009a2: SWAP1 000009a3: DUP2 000009a4: AND 000009a5: SWAP2 000009a6: AND 000009a7: EQ 000009a8: PUSH2 0x09e6 000009ab: JUMPI 000009ac: PUSH1 0x40 000009ae: DUP1 000009af: MLOAD 000009b0: PUSH3 0x461bcd 000009b4: PUSH1 0xe5 000009b6: SHL 000009b7: DUP2 000009b8: MSTORE 000009b9: PUSH1 0x20 000009bb: PUSH1 0x04 000009bd: DUP3 000009be: ADD 000009bf: DUP2 000009c0: SWAP1 000009c1: MSTORE 000009c2: PUSH1 0x24 000009c4: DUP3 000009c5: ADD 000009c6: MSTORE 000009c7: PUSH1 0x00 000009c9: DUP1 000009ca: MLOAD 000009cb: PUSH1 0x20 000009cd: PUSH2 0x18f6 000009d0: DUP4 000009d1: CODECOPY 000009d2: DUP2 000009d3: MLOAD 000009d4: SWAP2 000009d5: MSTORE 000009d6: PUSH1 0x44 000009d8: DUP3 000009d9: ADD 000009da: MSTORE 000009db: SWAP1 000009dc: MLOAD 000009dd: SWAP1 000009de: DUP2 000009df: SWAP1 000009e0: SUB 000009e1: PUSH1 0x64 000009e3: ADD 000009e4: SWAP1 000009e5: REVERT 000009e6: JUMPDEST 000009e7: PUSH1 0x01 000009e9: PUSH1 0x01 000009eb: PUSH1 0xa0 000009ed: SHL 000009ee: SUB 000009ef: DUP2 000009f0: AND 000009f1: PUSH1 0x00 000009f3: SWAP1 000009f4: DUP2 000009f5: MSTORE 000009f6: PUSH1 0x0e 000009f8: PUSH1 0x20 000009fa: MSTORE 000009fb: PUSH1 0x40 000009fd: SWAP1 000009fe: KECCAK256 000009ff: SLOAD 00000a00: PUSH1 0xff 00000a02: AND 00000a03: ISZERO 00000a04: PUSH2 0x0a0c 00000a07: JUMPI 00000a08: PUSH1 0x00 00000a0a: DUP1 00000a0b: REVERT 00000a0c: JUMPDEST 00000a0d: PUSH1 0x01 00000a0f: PUSH1 0x01 00000a11: PUSH1 0xa0 00000a13: SHL 00000a14: SUB 00000a15: DUP2 00000a16: AND 00000a17: PUSH1 0x00 00000a19: SWAP1 00000a1a: DUP2 00000a1b: MSTORE 00000a1c: PUSH1 0x0e 00000a1e: PUSH1 0x20 00000a20: MSTORE 00000a21: PUSH1 0x40 00000a23: DUP2 00000a24: KECCAK256 00000a25: DUP1 00000a26: SLOAD 00000a27: PUSH1 0xff 00000a29: NOT 00000a2a: AND 00000a2b: PUSH1 0x01 00000a2d: OR 00000a2e: SWAP1 00000a2f: SSTORE 00000a30: PUSH2 0x0a3a 00000a33: SWAP1 00000a34: DUP3 00000a35: SWAP1 00000a36: PUSH2 0x1319 00000a39: JUMP 00000a3a: JUMPDEST 00000a3b: PUSH1 0x40 00000a3d: DUP1 00000a3e: MLOAD 00000a3f: PUSH4 0x131836e7 00000a44: PUSH1 0xe2 00000a46: SHL 00000a47: DUP2 00000a48: MSTORE 00000a49: PUSH1 0x0a 00000a4b: PUSH1 0x04 00000a4d: DUP3 00000a4e: ADD 00000a4f: MSTORE 00000a50: PUSH1 0x01 00000a52: PUSH1 0x01 00000a54: PUSH1 0xa0 00000a56: SHL 00000a57: SUB 00000a58: DUP4 00000a59: AND 00000a5a: PUSH1 0x24 00000a5c: DUP3 00000a5d: ADD 00000a5e: MSTORE 00000a5f: SWAP1 00000a60: MLOAD 00000a61: PUSH20 0x889dece7a12699ac91605eb847774d7e31532fed 00000a76: SWAP2 00000a77: PUSH4 0x4c60db9c 00000a7c: SWAP2 00000a7d: PUSH1 0x44 00000a7f: DUP1 00000a80: DUP4 00000a81: ADD 00000a82: SWAP3 00000a83: PUSH1 0x00 00000a85: SWAP3 00000a86: SWAP2 00000a87: SWAP1 00000a88: DUP3 00000a89: SWAP1 00000a8a: SUB 00000a8b: ADD 00000a8c: DUP2 00000a8d: DUP7 00000a8e: DUP1 00000a8f: EXTCODESIZE 00000a90: ISZERO 00000a91: DUP1 00000a92: ISZERO 00000a93: PUSH2 0x0a9b 00000a96: JUMPI 00000a97: PUSH1 0x00 00000a99: DUP1 00000a9a: REVERT 00000a9b: JUMPDEST 00000a9c: POP 00000a9d: GAS 00000a9e: DELEGATECALL 00000a9f: ISZERO 00000aa0: DUP1 00000aa1: ISZERO 00000aa2: PUSH2 0x0aaf 00000aa5: JUMPI 00000aa6: RETURNDATASIZE 00000aa7: PUSH1 0x00 00000aa9: DUP1 00000aaa: RETURNDATACOPY 00000aab: RETURNDATASIZE 00000aac: PUSH1 0x00 00000aae: REVERT 00000aaf: JUMPDEST 00000ab0: POP 00000ab1: POP 00000ab2: PUSH1 0x40 00000ab4: MLOAD 00000ab5: PUSH1 0x01 00000ab7: PUSH1 0x01 00000ab9: PUSH1 0xa0 00000abb: SHL 00000abc: SUB 00000abd: DUP5 00000abe: AND 00000abf: SWAP3 00000ac0: POP 00000ac1: PUSH32 0xa878b31040b2e6d0a9a3d3361209db3908ba62014b0dca52adbaee451d128b25 00000ae2: SWAP2 00000ae3: POP 00000ae4: PUSH1 0x00 00000ae6: SWAP1 00000ae7: LOG2 00000ae8: POP 00000ae9: JUMP 00000aea: JUMPDEST 00000aeb: PUSH1 0x00 00000aed: PUSH2 0x087d 00000af0: PUSH2 0x0af7 00000af3: PUSH2 0x11b5 00000af6: JUMP 00000af7: JUMPDEST 00000af8: DUP5 00000af9: PUSH2 0x0911 00000afc: DUP6 00000afd: PUSH1 0x01 00000aff: PUSH1 0x00 00000b01: PUSH2 0x0b08 00000b04: PUSH2 0x11b5 00000b07: JUMP 00000b08: JUMPDEST 00000b09: PUSH1 0x01 00000b0b: PUSH1 0x01 00000b0d: PUSH1 0xa0 00000b0f: SHL 00000b10: SUB 00000b11: SWAP1 00000b12: DUP2 00000b13: AND 00000b14: DUP3 00000b15: MSTORE 00000b16: PUSH1 0x20 00000b18: DUP1 00000b19: DUP4 00000b1a: ADD 00000b1b: SWAP4 00000b1c: SWAP1 00000b1d: SWAP4 00000b1e: MSTORE 00000b1f: PUSH1 0x40 00000b21: SWAP2 00000b22: DUP3 00000b23: ADD 00000b24: PUSH1 0x00 00000b26: SWAP1 00000b27: DUP2 00000b28: KECCAK256 00000b29: SWAP2 00000b2a: DUP13 00000b2b: AND 00000b2c: DUP2 00000b2d: MSTORE 00000b2e: SWAP3 00000b2f: MSTORE 00000b30: SWAP1 00000b31: KECCAK256 00000b32: SLOAD 00000b33: SWAP1 00000b34: PUSH4 0xffffffff 00000b39: PUSH2 0x115b 00000b3c: AND 00000b3d: JUMP 00000b3e: JUMPDEST 00000b3f: PUSH1 0x0e 00000b41: PUSH1 0x20 00000b43: MSTORE 00000b44: PUSH1 0x00 00000b46: SWAP1 00000b47: DUP2 00000b48: MSTORE 00000b49: PUSH1 0x40 00000b4b: SWAP1 00000b4c: KECCAK256 00000b4d: SLOAD 00000b4e: PUSH1 0xff 00000b50: AND 00000b51: DUP2 00000b52: JUMP 00000b53: JUMPDEST 00000b54: PUSH1 0x00 00000b56: PUSH2 0x0b5d 00000b59: PUSH2 0x11b5 00000b5c: JUMP 00000b5d: JUMPDEST 00000b5e: PUSH1 0x09 00000b60: SLOAD 00000b61: PUSH1 0x01 00000b63: PUSH1 0x01 00000b65: PUSH1 0xa0 00000b67: SHL 00000b68: SUB 00000b69: SWAP1 00000b6a: DUP2 00000b6b: AND 00000b6c: SWAP2 00000b6d: AND 00000b6e: EQ 00000b6f: PUSH2 0x0bad 00000b72: JUMPI 00000b73: PUSH1 0x40 00000b75: DUP1 00000b76: MLOAD 00000b77: PUSH3 0x461bcd 00000b7b: PUSH1 0xe5 00000b7d: SHL 00000b7e: DUP2 00000b7f: MSTORE 00000b80: PUSH1 0x20 00000b82: PUSH1 0x04 00000b84: DUP3 00000b85: ADD 00000b86: DUP2 00000b87: SWAP1 00000b88: MSTORE 00000b89: PUSH1 0x24 00000b8b: DUP3 00000b8c: ADD 00000b8d: MSTORE 00000b8e: PUSH1 0x00 00000b90: DUP1 00000b91: MLOAD 00000b92: PUSH1 0x20 00000b94: PUSH2 0x18f6 00000b97: DUP4 00000b98: CODECOPY 00000b99: DUP2 00000b9a: MLOAD 00000b9b: SWAP2 00000b9c: MSTORE 00000b9d: PUSH1 0x44 00000b9f: DUP3 00000ba0: ADD 00000ba1: MSTORE 00000ba2: SWAP1 00000ba3: MLOAD 00000ba4: SWAP1 00000ba5: DUP2 00000ba6: SWAP1 00000ba7: SUB 00000ba8: PUSH1 0x64 00000baa: ADD 00000bab: SWAP1 00000bac: REVERT 00000bad: JUMPDEST 00000bae: PUSH1 0x00 00000bb0: PUSH2 0x0bb9 00000bb3: DUP5 00000bb4: DUP5 00000bb5: PUSH2 0x137e 00000bb8: JUMP 00000bb9: JUMPDEST 00000bba: SWAP5 00000bbb: SWAP4 00000bbc: POP 00000bbd: POP 00000bbe: POP 00000bbf: POP 00000bc0: JUMP 00000bc1: JUMPDEST 00000bc2: PUSH1 0x40 00000bc4: MLOAD 00000bc5: PUSH3 0x461bcd 00000bc9: PUSH1 0xe5 00000bcb: SHL 00000bcc: DUP2 00000bcd: MSTORE 00000bce: PUSH1 0x04 00000bd0: ADD 00000bd1: DUP1 00000bd2: DUP1 00000bd3: PUSH1 0x20 00000bd5: ADD 00000bd6: DUP3 00000bd7: DUP2 00000bd8: SUB 00000bd9: DUP3 00000bda: MSTORE 00000bdb: PUSH1 0x67 00000bdd: DUP2 00000bde: MSTORE 00000bdf: PUSH1 0x20 00000be1: ADD 00000be2: DUP1 00000be3: PUSH2 0x1846 00000be6: PUSH1 0x67 00000be8: SWAP2 00000be9: CODECOPY 00000bea: PUSH1 0x80 00000bec: ADD 00000bed: SWAP2 00000bee: POP 00000bef: POP 00000bf0: PUSH1 0x40 00000bf2: MLOAD 00000bf3: DUP1 00000bf4: SWAP2 00000bf5: SUB 00000bf6: SWAP1 00000bf7: REVERT 00000bf8: JUMPDEST 00000bf9: PUSH1 0x01 00000bfb: PUSH1 0x01 00000bfd: PUSH1 0xa0 00000bff: SHL 00000c00: SUB 00000c01: AND 00000c02: PUSH1 0x00 00000c04: SWAP1 00000c05: DUP2 00000c06: MSTORE 00000c07: PUSH1 0x20 00000c09: DUP2 00000c0a: SWAP1 00000c0b: MSTORE 00000c0c: PUSH1 0x40 00000c0e: SWAP1 00000c0f: KECCAK256 00000c10: SLOAD 00000c11: SWAP1 00000c12: JUMP 00000c13: JUMPDEST 00000c14: PUSH2 0x0c1b 00000c17: PUSH2 0x11b5 00000c1a: JUMP 00000c1b: JUMPDEST 00000c1c: PUSH1 0x09 00000c1e: SLOAD 00000c1f: PUSH1 0x01 00000c21: PUSH1 0x01 00000c23: PUSH1 0xa0 00000c25: SHL 00000c26: SUB 00000c27: SWAP1 00000c28: DUP2 00000c29: AND 00000c2a: SWAP2 00000c2b: AND 00000c2c: EQ 00000c2d: PUSH2 0x0c6b 00000c30: JUMPI 00000c31: PUSH1 0x40 00000c33: DUP1 00000c34: MLOAD 00000c35: PUSH3 0x461bcd 00000c39: PUSH1 0xe5 00000c3b: SHL 00000c3c: DUP2 00000c3d: MSTORE 00000c3e: PUSH1 0x20 00000c40: PUSH1 0x04 00000c42: DUP3 00000c43: ADD 00000c44: DUP2 00000c45: SWAP1 00000c46: MSTORE 00000c47: PUSH1 0x24 00000c49: DUP3 00000c4a: ADD 00000c4b: MSTORE 00000c4c: PUSH1 0x00 00000c4e: DUP1 00000c4f: MLOAD 00000c50: PUSH1 0x20 00000c52: PUSH2 0x18f6 00000c55: DUP4 00000c56: CODECOPY 00000c57: DUP2 00000c58: MLOAD 00000c59: SWAP2 00000c5a: MSTORE 00000c5b: PUSH1 0x44 00000c5d: DUP3 00000c5e: ADD 00000c5f: MSTORE 00000c60: SWAP1 00000c61: MLOAD 00000c62: SWAP1 00000c63: DUP2 00000c64: SWAP1 00000c65: SUB 00000c66: PUSH1 0x64 00000c68: ADD 00000c69: SWAP1 00000c6a: REVERT 00000c6b: JUMPDEST 00000c6c: PUSH1 0x09 00000c6e: SLOAD 00000c6f: PUSH1 0x40 00000c71: MLOAD 00000c72: PUSH1 0x00 00000c74: SWAP2 00000c75: PUSH1 0x01 00000c77: PUSH1 0x01 00000c79: PUSH1 0xa0 00000c7b: SHL 00000c7c: SUB 00000c7d: AND 00000c7e: SWAP1 00000c7f: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000ca0: SWAP1 00000ca1: DUP4 00000ca2: SWAP1 00000ca3: LOG3 00000ca4: PUSH1 0x09 00000ca6: DUP1 00000ca7: SLOAD 00000ca8: PUSH1 0x01 00000caa: PUSH1 0x01 00000cac: PUSH1 0xa0 00000cae: SHL 00000caf: SUB 00000cb0: NOT 00000cb1: AND 00000cb2: SWAP1 00000cb3: SSTORE 00000cb4: JUMP 00000cb5: JUMPDEST 00000cb6: PUSH1 0x08 00000cb8: SLOAD 00000cb9: DUP2 00000cba: JUMP 00000cbb: JUMPDEST 00000cbc: PUSH1 0x09 00000cbe: SLOAD 00000cbf: PUSH1 0x01 00000cc1: PUSH1 0x01 00000cc3: PUSH1 0xa0 00000cc5: SHL 00000cc6: SUB 00000cc7: AND 00000cc8: SWAP1 00000cc9: JUMP 00000cca: JUMPDEST 00000ccb: PUSH1 0x00 00000ccd: PUSH2 0x0881 00000cd0: DUP3 00000cd1: PUSH2 0x0da4 00000cd4: JUMP 00000cd5: JUMPDEST 00000cd6: PUSH1 0x04 00000cd8: DUP1 00000cd9: SLOAD 00000cda: PUSH1 0x40 00000cdc: DUP1 00000cdd: MLOAD 00000cde: PUSH1 0x20 00000ce0: PUSH1 0x1f 00000ce2: PUSH1 0x02 00000ce4: PUSH1 0x00 00000ce6: NOT 00000ce7: PUSH2 0x0100 00000cea: PUSH1 0x01 00000cec: DUP9 00000ced: AND 00000cee: ISZERO 00000cef: MUL 00000cf0: ADD 00000cf1: SWAP1 00000cf2: SWAP6 00000cf3: AND 00000cf4: SWAP5 00000cf5: SWAP1 00000cf6: SWAP5 00000cf7: DIV 00000cf8: SWAP4 00000cf9: DUP5 00000cfa: ADD 00000cfb: DUP2 00000cfc: SWAP1 00000cfd: DIV 00000cfe: DUP2 00000cff: MUL 00000d00: DUP3 00000d01: ADD 00000d02: DUP2 00000d03: ADD 00000d04: SWAP1 00000d05: SWAP3 00000d06: MSTORE 00000d07: DUP3 00000d08: DUP2 00000d09: MSTORE 00000d0a: PUSH1 0x60 00000d0c: SWAP4 00000d0d: SWAP1 00000d0e: SWAP3 00000d0f: SWAP1 00000d10: SWAP2 00000d11: DUP4 00000d12: ADD 00000d13: DUP3 00000d14: DUP3 00000d15: DUP1 00000d16: ISZERO 00000d17: PUSH2 0x085f 00000d1a: JUMPI 00000d1b: DUP1 00000d1c: PUSH1 0x1f 00000d1e: LT 00000d1f: PUSH2 0x0834 00000d22: JUMPI 00000d23: PUSH2 0x0100 00000d26: DUP1 00000d27: DUP4 00000d28: SLOAD 00000d29: DIV 00000d2a: MUL 00000d2b: DUP4 00000d2c: MSTORE 00000d2d: SWAP2 00000d2e: PUSH1 0x20 00000d30: ADD 00000d31: SWAP2 00000d32: PUSH2 0x085f 00000d35: JUMP 00000d36: JUMPDEST 00000d37: PUSH1 0x00 00000d39: PUSH2 0x087d 00000d3c: PUSH2 0x0d43 00000d3f: PUSH2 0x11b5 00000d42: JUMP 00000d43: JUMPDEST 00000d44: DUP5 00000d45: PUSH2 0x0911 00000d48: DUP6 00000d49: PUSH1 0x40 00000d4b: MLOAD 00000d4c: DUP1 00000d4d: PUSH1 0x60 00000d4f: ADD 00000d50: PUSH1 0x40 00000d52: MSTORE 00000d53: DUP1 00000d54: PUSH1 0x25 00000d56: DUP2 00000d57: MSTORE 00000d58: PUSH1 0x20 00000d5a: ADD 00000d5b: PUSH2 0x198f 00000d5e: PUSH1 0x25 00000d60: SWAP2 00000d61: CODECOPY 00000d62: PUSH1 0x01 00000d64: PUSH1 0x00 00000d66: PUSH2 0x0d6d 00000d69: PUSH2 0x11b5 00000d6c: JUMP 00000d6d: JUMPDEST 00000d6e: PUSH1 0x01 00000d70: PUSH1 0x01 00000d72: PUSH1 0xa0 00000d74: SHL 00000d75: SUB 00000d76: SWAP1 00000d77: DUP2 00000d78: AND 00000d79: DUP3 00000d7a: MSTORE 00000d7b: PUSH1 0x20 00000d7d: DUP1 00000d7e: DUP4 00000d7f: ADD 00000d80: SWAP4 00000d81: SWAP1 00000d82: SWAP4 00000d83: MSTORE 00000d84: PUSH1 0x40 00000d86: SWAP2 00000d87: DUP3 00000d88: ADD 00000d89: PUSH1 0x00 00000d8b: SWAP1 00000d8c: DUP2 00000d8d: KECCAK256 00000d8e: SWAP2 00000d8f: DUP14 00000d90: AND 00000d91: DUP2 00000d92: MSTORE 00000d93: SWAP3 00000d94: MSTORE 00000d95: SWAP1 00000d96: KECCAK256 00000d97: SLOAD 00000d98: SWAP2 00000d99: SWAP1 00000d9a: PUSH4 0xffffffff 00000d9f: PUSH2 0x122c 00000da2: AND 00000da3: JUMP 00000da4: JUMPDEST 00000da5: PUSH1 0x01 00000da7: PUSH1 0x01 00000da9: PUSH1 0xa0 00000dab: SHL 00000dac: SUB 00000dad: DUP2 00000dae: AND 00000daf: PUSH1 0x00 00000db1: SWAP1 00000db2: DUP2 00000db3: MSTORE 00000db4: PUSH1 0x07 00000db6: PUSH1 0x20 00000db8: MSTORE 00000db9: PUSH1 0x40 00000dbb: DUP2 00000dbc: KECCAK256 00000dbd: SLOAD 00000dbe: PUSH2 0x0881 00000dc1: SWAP1 00000dc2: PUSH2 0x0dca 00000dc5: DUP5 00000dc6: PUSH2 0x0920 00000dc9: JUMP 00000dca: JUMPDEST 00000dcb: SWAP1 00000dcc: PUSH4 0xffffffff 00000dd1: PUSH2 0x14d1 00000dd4: AND 00000dd5: JUMP 00000dd6: JUMPDEST 00000dd7: PUSH1 0x00 00000dd9: PUSH2 0x087d 00000ddc: PUSH2 0x0de3 00000ddf: PUSH2 0x11b5 00000de2: JUMP 00000de3: JUMPDEST 00000de4: DUP5 00000de5: DUP5 00000de6: PUSH2 0x11f5 00000de9: JUMP 00000dea: JUMPDEST 00000deb: PUSH1 0x01 00000ded: PUSH1 0x01 00000def: PUSH1 0xa0 00000df1: SHL 00000df2: SUB 00000df3: AND 00000df4: PUSH1 0x00 00000df6: SWAP1 00000df7: DUP2 00000df8: MSTORE 00000df9: PUSH1 0x07 00000dfb: PUSH1 0x20 00000dfd: MSTORE 00000dfe: PUSH1 0x40 00000e00: SWAP1 00000e01: KECCAK256 00000e02: SLOAD 00000e03: SWAP1 00000e04: JUMP 00000e05: JUMPDEST 00000e06: PUSH1 0x0f 00000e08: SLOAD 00000e09: DUP2 00000e0a: JUMP 00000e0b: JUMPDEST 00000e0c: PUSH1 0x01 00000e0e: PUSH1 0x01 00000e10: PUSH1 0xa0 00000e12: SHL 00000e13: SUB 00000e14: SWAP2 00000e15: DUP3 00000e16: AND 00000e17: PUSH1 0x00 00000e19: SWAP1 00000e1a: DUP2 00000e1b: MSTORE 00000e1c: PUSH1 0x01 00000e1e: PUSH1 0x20 00000e20: SWAP1 00000e21: DUP2 00000e22: MSTORE 00000e23: PUSH1 0x40 00000e25: DUP1 00000e26: DUP4 00000e27: KECCAK256 00000e28: SWAP4 00000e29: SWAP1 00000e2a: SWAP5 00000e2b: AND 00000e2c: DUP3 00000e2d: MSTORE 00000e2e: SWAP2 00000e2f: SWAP1 00000e30: SWAP2 00000e31: MSTORE 00000e32: KECCAK256 00000e33: SLOAD 00000e34: SWAP1 00000e35: JUMP 00000e36: JUMPDEST 00000e37: PUSH2 0x0e3e 00000e3a: PUSH2 0x11b5 00000e3d: JUMP 00000e3e: JUMPDEST 00000e3f: PUSH1 0x09 00000e41: SLOAD 00000e42: PUSH1 0x01 00000e44: PUSH1 0x01 00000e46: PUSH1 0xa0 00000e48: SHL 00000e49: SUB 00000e4a: SWAP1 00000e4b: DUP2 00000e4c: AND 00000e4d: SWAP2 00000e4e: AND 00000e4f: EQ 00000e50: PUSH2 0x0e8e 00000e53: JUMPI 00000e54: PUSH1 0x40 00000e56: DUP1 00000e57: MLOAD 00000e58: PUSH3 0x461bcd 00000e5c: PUSH1 0xe5 00000e5e: SHL 00000e5f: DUP2 00000e60: MSTORE 00000e61: PUSH1 0x20 00000e63: PUSH1 0x04 00000e65: DUP3 00000e66: ADD 00000e67: DUP2 00000e68: SWAP1 00000e69: MSTORE 00000e6a: PUSH1 0x24 00000e6c: DUP3 00000e6d: ADD 00000e6e: MSTORE 00000e6f: PUSH1 0x00 00000e71: DUP1 00000e72: MLOAD 00000e73: PUSH1 0x20 00000e75: PUSH2 0x18f6 00000e78: DUP4 00000e79: CODECOPY 00000e7a: DUP2 00000e7b: MLOAD 00000e7c: SWAP2 00000e7d: MSTORE 00000e7e: PUSH1 0x44 00000e80: DUP3 00000e81: ADD 00000e82: MSTORE 00000e83: SWAP1 00000e84: MLOAD 00000e85: SWAP1 00000e86: DUP2 00000e87: SWAP1 00000e88: SUB 00000e89: PUSH1 0x64 00000e8b: ADD 00000e8c: SWAP1 00000e8d: REVERT 00000e8e: JUMPDEST 00000e8f: PUSH1 0x01 00000e91: PUSH1 0x01 00000e93: PUSH1 0xa0 00000e95: SHL 00000e96: SUB 00000e97: DUP3 00000e98: AND 00000e99: PUSH1 0x00 00000e9b: SWAP1 00000e9c: DUP2 00000e9d: MSTORE 00000e9e: PUSH1 0x0e 00000ea0: PUSH1 0x20 00000ea2: MSTORE 00000ea3: PUSH1 0x40 00000ea5: SWAP1 00000ea6: KECCAK256 00000ea7: SLOAD 00000ea8: PUSH1 0xff 00000eaa: AND 00000eab: ISZERO 00000eac: PUSH2 0x0eb4 00000eaf: JUMPI 00000eb0: PUSH2 0x0fd1 00000eb3: JUMP 00000eb4: JUMPDEST 00000eb5: PUSH1 0x0f 00000eb7: SLOAD 00000eb8: DUP2 00000eb9: LT 00000eba: PUSH2 0x0f4c 00000ebd: JUMPI 00000ebe: PUSH2 0x0ec7 00000ec1: DUP3 00000ec2: DUP3 00000ec3: PUSH2 0x1319 00000ec6: JUMP 00000ec7: JUMPDEST 00000ec8: PUSH1 0x40 00000eca: DUP1 00000ecb: MLOAD 00000ecc: PUSH4 0x2f0ad017 00000ed1: PUSH1 0xe2 00000ed3: SHL 00000ed4: DUP2 00000ed5: MSTORE 00000ed6: PUSH1 0x0a 00000ed8: PUSH1 0x04 00000eda: DUP3 00000edb: ADD 00000edc: MSTORE 00000edd: PUSH1 0x01 00000edf: PUSH1 0x01 00000ee1: PUSH1 0xa0 00000ee3: SHL 00000ee4: SUB 00000ee5: DUP5 00000ee6: AND 00000ee7: PUSH1 0x24 00000ee9: DUP3 00000eea: ADD 00000eeb: MSTORE 00000eec: PUSH1 0x44 00000eee: DUP2 00000eef: ADD 00000ef0: DUP4 00000ef1: SWAP1 00000ef2: MSTORE 00000ef3: SWAP1 00000ef4: MLOAD 00000ef5: PUSH20 0x889dece7a12699ac91605eb847774d7e31532fed 00000f0a: SWAP2 00000f0b: PUSH4 0xbc2b405c 00000f10: SWAP2 00000f11: PUSH1 0x64 00000f13: DUP1 00000f14: DUP4 00000f15: ADD 00000f16: SWAP3 00000f17: PUSH1 0x00 00000f19: SWAP3 00000f1a: SWAP2 00000f1b: SWAP1 00000f1c: DUP3 00000f1d: SWAP1 00000f1e: SUB 00000f1f: ADD 00000f20: DUP2 00000f21: DUP7 00000f22: DUP1 00000f23: EXTCODESIZE 00000f24: ISZERO 00000f25: DUP1 00000f26: ISZERO 00000f27: PUSH2 0x0f2f 00000f2a: JUMPI 00000f2b: PUSH1 0x00 00000f2d: DUP1 00000f2e: REVERT 00000f2f: JUMPDEST 00000f30: POP 00000f31: GAS 00000f32: DELEGATECALL 00000f33: ISZERO 00000f34: DUP1 00000f35: ISZERO 00000f36: PUSH2 0x0f43 00000f39: JUMPI 00000f3a: RETURNDATASIZE 00000f3b: PUSH1 0x00 00000f3d: DUP1 00000f3e: RETURNDATACOPY 00000f3f: RETURNDATASIZE 00000f40: PUSH1 0x00 00000f42: REVERT 00000f43: JUMPDEST 00000f44: POP 00000f45: POP 00000f46: POP 00000f47: POP 00000f48: PUSH2 0x0fd1 00000f4b: JUMP 00000f4c: JUMPDEST 00000f4d: PUSH2 0x0f57 00000f50: DUP3 00000f51: PUSH1 0x00 00000f53: PUSH2 0x1319 00000f56: JUMP 00000f57: JUMPDEST 00000f58: PUSH1 0x40 00000f5a: DUP1 00000f5b: MLOAD 00000f5c: PUSH4 0x131836e7 00000f61: PUSH1 0xe2 00000f63: SHL 00000f64: DUP2 00000f65: MSTORE 00000f66: PUSH1 0x0a 00000f68: PUSH1 0x04 00000f6a: DUP3 00000f6b: ADD 00000f6c: MSTORE 00000f6d: PUSH1 0x01 00000f6f: PUSH1 0x01 00000f71: PUSH1 0xa0 00000f73: SHL 00000f74: SUB 00000f75: DUP5 00000f76: AND 00000f77: PUSH1 0x24 00000f79: DUP3 00000f7a: ADD 00000f7b: MSTORE 00000f7c: SWAP1 00000f7d: MLOAD 00000f7e: PUSH20 0x889dece7a12699ac91605eb847774d7e31532fed 00000f93: SWAP2 00000f94: PUSH4 0x4c60db9c 00000f99: SWAP2 00000f9a: PUSH1 0x44 00000f9c: DUP1 00000f9d: DUP4 00000f9e: ADD 00000f9f: SWAP3 00000fa0: PUSH1 0x00 00000fa2: SWAP3 00000fa3: SWAP2 00000fa4: SWAP1 00000fa5: DUP3 00000fa6: SWAP1 00000fa7: SUB 00000fa8: ADD 00000fa9: DUP2 00000faa: DUP7 00000fab: DUP1 00000fac: EXTCODESIZE 00000fad: ISZERO 00000fae: DUP1 00000faf: ISZERO 00000fb0: PUSH2 0x0fb8 00000fb3: JUMPI 00000fb4: PUSH1 0x00 00000fb6: DUP1 00000fb7: REVERT 00000fb8: JUMPDEST 00000fb9: POP 00000fba: GAS 00000fbb: DELEGATECALL 00000fbc: ISZERO 00000fbd: DUP1 00000fbe: ISZERO 00000fbf: PUSH2 0x0fcc 00000fc2: JUMPI 00000fc3: RETURNDATASIZE 00000fc4: PUSH1 0x00 00000fc6: DUP1 00000fc7: RETURNDATACOPY 00000fc8: RETURNDATASIZE 00000fc9: PUSH1 0x00 00000fcb: REVERT 00000fcc: JUMPDEST 00000fcd: POP 00000fce: POP 00000fcf: POP 00000fd0: POP 00000fd1: JUMPDEST 00000fd2: POP 00000fd3: POP 00000fd4: JUMP 00000fd5: JUMPDEST 00000fd6: PUSH2 0x0fdd 00000fd9: PUSH2 0x11b5 00000fdc: JUMP 00000fdd: JUMPDEST 00000fde: PUSH1 0x09 00000fe0: SLOAD 00000fe1: PUSH1 0x01 00000fe3: PUSH1 0x01 00000fe5: PUSH1 0xa0 00000fe7: SHL 00000fe8: SUB 00000fe9: SWAP1 00000fea: DUP2 00000feb: AND 00000fec: SWAP2 00000fed: AND 00000fee: EQ 00000fef: PUSH2 0x102d 00000ff2: JUMPI 00000ff3: PUSH1 0x40 00000ff5: DUP1 00000ff6: MLOAD 00000ff7: PUSH3 0x461bcd 00000ffb: PUSH1 0xe5 00000ffd: SHL 00000ffe: DUP2 00000fff: MSTORE 00001000: PUSH1 0x20 00001002: PUSH1 0x04 00001004: DUP3 00001005: ADD 00001006: DUP2 00001007: SWAP1 00001008: MSTORE 00001009: PUSH1 0x24 0000100b: DUP3 0000100c: ADD 0000100d: MSTORE 0000100e: PUSH1 0x00 00001010: DUP1 00001011: MLOAD 00001012: PUSH1 0x20 00001014: PUSH2 0x18f6 00001017: DUP4 00001018: CODECOPY 00001019: DUP2 0000101a: MLOAD 0000101b: SWAP2 0000101c: MSTORE 0000101d: PUSH1 0x44 0000101f: DUP3 00001020: ADD 00001021: MSTORE 00001022: SWAP1 00001023: MLOAD 00001024: SWAP1 00001025: DUP2 00001026: SWAP1 00001027: SUB 00001028: PUSH1 0x64 0000102a: ADD 0000102b: SWAP1 0000102c: REVERT 0000102d: JUMPDEST 0000102e: PUSH1 0x01 00001030: PUSH1 0x01 00001032: PUSH1 0xa0 00001034: SHL 00001035: SUB 00001036: DUP2 00001037: AND 00001038: PUSH2 0x1072 0000103b: JUMPI 0000103c: PUSH1 0x40 0000103e: MLOAD 0000103f: PUSH3 0x461bcd 00001043: PUSH1 0xe5 00001045: SHL 00001046: DUP2 00001047: MSTORE 00001048: PUSH1 0x04 0000104a: ADD 0000104b: DUP1 0000104c: DUP1 0000104d: PUSH1 0x20 0000104f: ADD 00001050: DUP3 00001051: DUP2 00001052: SUB 00001053: DUP3 00001054: MSTORE 00001055: PUSH1 0x26 00001057: DUP2 00001058: MSTORE 00001059: PUSH1 0x20 0000105b: ADD 0000105c: DUP1 0000105d: PUSH2 0x1820 00001060: PUSH1 0x26 00001062: SWAP2 00001063: CODECOPY 00001064: PUSH1 0x40 00001066: ADD 00001067: SWAP2 00001068: POP 00001069: POP 0000106a: PUSH1 0x40 0000106c: MLOAD 0000106d: DUP1 0000106e: SWAP2 0000106f: SUB 00001070: SWAP1 00001071: REVERT 00001072: JUMPDEST 00001073: PUSH1 0x09 00001075: SLOAD 00001076: PUSH1 0x40 00001078: MLOAD 00001079: PUSH1 0x01 0000107b: PUSH1 0x01 0000107d: PUSH1 0xa0 0000107f: SHL 00001080: SUB 00001081: DUP1 00001082: DUP5 00001083: AND 00001084: SWAP3 00001085: AND 00001086: SWAP1 00001087: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000010a8: SWAP1 000010a9: PUSH1 0x00 000010ab: SWAP1 000010ac: LOG3 000010ad: PUSH1 0x09 000010af: DUP1 000010b0: SLOAD 000010b1: PUSH1 0x01 000010b3: PUSH1 0x01 000010b5: PUSH1 0xa0 000010b7: SHL 000010b8: SUB 000010b9: NOT 000010ba: AND 000010bb: PUSH1 0x01 000010bd: PUSH1 0x01 000010bf: PUSH1 0xa0 000010c1: SHL 000010c2: SUB 000010c3: SWAP3 000010c4: SWAP1 000010c5: SWAP3 000010c6: AND 000010c7: SWAP2 000010c8: SWAP1 000010c9: SWAP2 000010ca: OR 000010cb: SWAP1 000010cc: SSTORE 000010cd: JUMP 000010ce: JUMPDEST 000010cf: PUSH1 0x00 000010d1: DUP1 000010d2: PUSH2 0x10da 000010d5: DUP4 000010d6: PUSH2 0x0da4 000010d9: JUMP 000010da: JUMPDEST 000010db: PUSH1 0x01 000010dd: PUSH1 0x01 000010df: PUSH1 0xa0 000010e1: SHL 000010e2: SUB 000010e3: SWAP1 000010e4: SWAP4 000010e5: AND 000010e6: PUSH1 0x00 000010e8: SWAP1 000010e9: DUP2 000010ea: MSTORE 000010eb: PUSH1 0x07 000010ed: PUSH1 0x20 000010ef: MSTORE 000010f0: PUSH1 0x40 000010f2: SWAP1 000010f3: KECCAK256 000010f4: SLOAD 000010f5: SWAP3 000010f6: SWAP4 000010f7: SWAP2 000010f8: POP 000010f9: POP 000010fa: JUMP 000010fb: JUMPDEST 000010fc: PUSH1 0x00 000010fe: DUP3 000010ff: PUSH2 0x110a 00001102: JUMPI 00001103: POP 00001104: PUSH1 0x00 00001106: PUSH2 0x0881 00001109: JUMP 0000110a: JUMPDEST 0000110b: DUP3 0000110c: DUP3 0000110d: MUL 0000110e: DUP3 0000110f: DUP5 00001110: DUP3 00001111: DUP2 00001112: PUSH2 0x1117 00001115: JUMPI 00001116: INVALID 00001117: JUMPDEST 00001118: DIV 00001119: EQ 0000111a: PUSH2 0x1154 0000111d: JUMPI 0000111e: PUSH1 0x40 00001120: MLOAD 00001121: PUSH3 0x461bcd 00001125: PUSH1 0xe5 00001127: SHL 00001128: DUP2 00001129: MSTORE 0000112a: PUSH1 0x04 0000112c: ADD 0000112d: DUP1 0000112e: DUP1 0000112f: PUSH1 0x20 00001131: ADD 00001132: DUP3 00001133: DUP2 00001134: SUB 00001135: DUP3 00001136: MSTORE 00001137: PUSH1 0x21 00001139: DUP2 0000113a: MSTORE 0000113b: PUSH1 0x20 0000113d: ADD 0000113e: DUP1 0000113f: PUSH2 0x18ad 00001142: PUSH1 0x21 00001144: SWAP2 00001145: CODECOPY 00001146: PUSH1 0x40 00001148: ADD 00001149: SWAP2 0000114a: POP 0000114b: POP 0000114c: PUSH1 0x40 0000114e: MLOAD 0000114f: DUP1 00001150: SWAP2 00001151: SUB 00001152: SWAP1 00001153: REVERT 00001154: JUMPDEST 00001155: SWAP4 00001156: SWAP3 00001157: POP 00001158: POP 00001159: POP 0000115a: JUMP 0000115b: JUMPDEST 0000115c: PUSH1 0x00 0000115e: DUP3 0000115f: DUP3 00001160: ADD 00001161: DUP4 00001162: DUP2 00001163: LT 00001164: ISZERO 00001165: PUSH2 0x1154 00001168: JUMPI 00001169: PUSH1 0x40 0000116b: DUP1 0000116c: MLOAD 0000116d: PUSH3 0x461bcd 00001171: PUSH1 0xe5 00001173: SHL 00001174: DUP2 00001175: MSTORE 00001176: PUSH1 0x20 00001178: PUSH1 0x04 0000117a: DUP3 0000117b: ADD 0000117c: MSTORE 0000117d: PUSH1 0x1b 0000117f: PUSH1 0x24 00001181: DUP3 00001182: ADD 00001183: MSTORE 00001184: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 000011a5: PUSH1 0x44 000011a7: DUP3 000011a8: ADD 000011a9: MSTORE 000011aa: SWAP1 000011ab: MLOAD 000011ac: SWAP1 000011ad: DUP2 000011ae: SWAP1 000011af: SUB 000011b0: PUSH1 0x64 000011b2: ADD 000011b3: SWAP1 000011b4: REVERT 000011b5: JUMPDEST 000011b6: CALLER 000011b7: SWAP1 000011b8: JUMP 000011b9: JUMPDEST 000011ba: PUSH1 0x40 000011bc: MLOAD 000011bd: PUSH3 0x461bcd 000011c1: PUSH1 0xe5 000011c3: SHL 000011c4: DUP2 000011c5: MSTORE 000011c6: PUSH1 0x04 000011c8: ADD 000011c9: DUP1 000011ca: DUP1 000011cb: PUSH1 0x20 000011cd: ADD 000011ce: DUP3 000011cf: DUP2 000011d0: SUB 000011d1: DUP3 000011d2: MSTORE 000011d3: PUSH1 0x2c 000011d5: DUP2 000011d6: MSTORE 000011d7: PUSH1 0x20 000011d9: ADD 000011da: DUP1 000011db: PUSH2 0x1916 000011de: PUSH1 0x2c 000011e0: SWAP2 000011e1: CODECOPY 000011e2: PUSH1 0x40 000011e4: ADD 000011e5: SWAP2 000011e6: POP 000011e7: POP 000011e8: PUSH1 0x40 000011ea: MLOAD 000011eb: DUP1 000011ec: SWAP2 000011ed: SUB 000011ee: SWAP1 000011ef: REVERT 000011f0: JUMPDEST 000011f1: POP 000011f2: POP 000011f3: POP 000011f4: JUMP 000011f5: JUMPDEST 000011f6: PUSH1 0x40 000011f8: MLOAD 000011f9: PUSH3 0x461bcd 000011fd: PUSH1 0xe5 000011ff: SHL 00001200: DUP2 00001201: MSTORE 00001202: PUSH1 0x04 00001204: ADD 00001205: DUP1 00001206: DUP1 00001207: PUSH1 0x20 00001209: ADD 0000120a: DUP3 0000120b: DUP2 0000120c: SUB 0000120d: DUP3 0000120e: MSTORE 0000120f: PUSH1 0x2c 00001211: DUP2 00001212: MSTORE 00001213: PUSH1 0x20 00001215: ADD 00001216: DUP1 00001217: PUSH2 0x1963 0000121a: PUSH1 0x2c 0000121c: SWAP2 0000121d: CODECOPY 0000121e: PUSH1 0x40 00001220: ADD 00001221: SWAP2 00001222: POP 00001223: POP 00001224: PUSH1 0x40 00001226: MLOAD 00001227: DUP1 00001228: SWAP2 00001229: SUB 0000122a: SWAP1 0000122b: REVERT 0000122c: JUMPDEST 0000122d: PUSH1 0x00 0000122f: DUP2 00001230: DUP5 00001231: DUP5 00001232: GT 00001233: ISZERO 00001234: PUSH2 0x12bb 00001237: JUMPI 00001238: PUSH1 0x40 0000123a: MLOAD 0000123b: PUSH3 0x461bcd 0000123f: PUSH1 0xe5 00001241: SHL 00001242: DUP2 00001243: MSTORE 00001244: PUSH1 0x04 00001246: ADD 00001247: DUP1 00001248: DUP1 00001249: PUSH1 0x20 0000124b: ADD 0000124c: DUP3 0000124d: DUP2 0000124e: SUB 0000124f: DUP3 00001250: MSTORE 00001251: DUP4 00001252: DUP2 00001253: DUP2 00001254: MLOAD 00001255: DUP2 00001256: MSTORE 00001257: PUSH1 0x20 00001259: ADD 0000125a: SWAP2 0000125b: POP 0000125c: DUP1 0000125d: MLOAD 0000125e: SWAP1 0000125f: PUSH1 0x20 00001261: ADD 00001262: SWAP1 00001263: DUP1 00001264: DUP4 00001265: DUP4 00001266: PUSH1 0x00 00001268: JUMPDEST 00001269: DUP4 0000126a: DUP2 0000126b: LT 0000126c: ISZERO 0000126d: PUSH2 0x1280 00001270: JUMPI 00001271: DUP2 00001272: DUP2 00001273: ADD 00001274: MLOAD 00001275: DUP4 00001276: DUP3 00001277: ADD 00001278: MSTORE 00001279: PUSH1 0x20 0000127b: ADD 0000127c: PUSH2 0x1268 0000127f: JUMP 00001280: JUMPDEST 00001281: POP 00001282: POP 00001283: POP 00001284: POP 00001285: SWAP1 00001286: POP 00001287: SWAP1 00001288: DUP2 00001289: ADD 0000128a: SWAP1 0000128b: PUSH1 0x1f 0000128d: AND 0000128e: DUP1 0000128f: ISZERO 00001290: PUSH2 0x12ad 00001293: JUMPI 00001294: DUP1 00001295: DUP3 00001296: SUB 00001297: DUP1 00001298: MLOAD 00001299: PUSH1 0x01 0000129b: DUP4 0000129c: PUSH1 0x20 0000129e: SUB 0000129f: PUSH2 0x0100 000012a2: EXP 000012a3: SUB 000012a4: NOT 000012a5: AND 000012a6: DUP2 000012a7: MSTORE 000012a8: PUSH1 0x20 000012aa: ADD 000012ab: SWAP2 000012ac: POP 000012ad: JUMPDEST 000012ae: POP 000012af: SWAP3 000012b0: POP 000012b1: POP 000012b2: POP 000012b3: PUSH1 0x40 000012b5: MLOAD 000012b6: DUP1 000012b7: SWAP2 000012b8: SUB 000012b9: SWAP1 000012ba: REVERT 000012bb: JUMPDEST 000012bc: POP 000012bd: POP 000012be: POP 000012bf: SWAP1 000012c0: SUB 000012c1: SWAP1 000012c2: JUMP 000012c3: JUMPDEST 000012c4: PUSH1 0x00 000012c6: DUP2 000012c7: DUP2 000012c8: DUP2 000012c9: SLT 000012ca: ISZERO 000012cb: PUSH2 0x0881 000012ce: JUMPI 000012cf: PUSH1 0x00 000012d1: DUP1 000012d2: REVERT 000012d3: JUMPDEST 000012d4: PUSH1 0x00 000012d6: DUP3 000012d7: DUP3 000012d8: ADD 000012d9: DUP2 000012da: DUP4 000012db: SLT 000012dc: DUP1 000012dd: ISZERO 000012de: SWAP1 000012df: PUSH2 0x12e8 000012e2: JUMPI 000012e3: POP 000012e4: DUP4 000012e5: DUP2 000012e6: SLT 000012e7: ISZERO 000012e8: JUMPDEST 000012e9: DUP1 000012ea: PUSH2 0x12fd 000012ed: JUMPI 000012ee: POP 000012ef: PUSH1 0x00 000012f1: DUP4 000012f2: SLT 000012f3: DUP1 000012f4: ISZERO 000012f5: PUSH2 0x12fd 000012f8: JUMPI 000012f9: POP 000012fa: DUP4 000012fb: DUP2 000012fc: SLT 000012fd: JUMPDEST 000012fe: PUSH2 0x1154 00001301: JUMPI 00001302: PUSH1 0x00 00001304: DUP1 00001305: REVERT 00001306: JUMPDEST 00001307: PUSH1 0x00 00001309: DUP1 0000130a: DUP3 0000130b: SLT 0000130c: ISZERO 0000130d: PUSH2 0x1315 00001310: JUMPI 00001311: PUSH1 0x00 00001313: DUP1 00001314: REVERT 00001315: JUMPDEST 00001316: POP 00001317: SWAP1 00001318: JUMP 00001319: JUMPDEST 0000131a: PUSH1 0x00 0000131c: PUSH2 0x1324 0000131f: DUP4 00001320: PUSH2 0x0bf8 00001323: JUMP 00001324: JUMPDEST 00001325: SWAP1 00001326: POP 00001327: DUP1 00001328: DUP3 00001329: GT 0000132a: ISZERO 0000132b: PUSH2 0x1352 0000132e: JUMPI 0000132f: PUSH1 0x00 00001331: PUSH2 0x1340 00001334: DUP4 00001335: DUP4 00001336: PUSH4 0xffffffff 0000133b: PUSH2 0x14d1 0000133e: AND 0000133f: JUMP 00001340: JUMPDEST 00001341: SWAP1 00001342: POP 00001343: PUSH2 0x134c 00001346: DUP5 00001347: DUP3 00001348: PUSH2 0x1513 0000134b: JUMP 0000134c: JUMPDEST 0000134d: POP 0000134e: PUSH2 0x11f0 00001351: JUMP 00001352: JUMPDEST 00001353: DUP1 00001354: DUP3 00001355: LT 00001356: ISZERO 00001357: PUSH2 0x11f0 0000135a: JUMPI 0000135b: PUSH1 0x00 0000135d: PUSH2 0x136c 00001360: DUP3 00001361: DUP5 00001362: PUSH4 0xffffffff 00001367: PUSH2 0x14d1 0000136a: AND 0000136b: JUMP 0000136c: JUMPDEST 0000136d: SWAP1 0000136e: POP 0000136f: PUSH2 0x1378 00001372: DUP5 00001373: DUP3 00001374: PUSH2 0x157d 00001377: JUMP 00001378: JUMPDEST 00001379: POP 0000137a: POP 0000137b: POP 0000137c: POP 0000137d: JUMP 0000137e: JUMPDEST 0000137f: PUSH1 0x00 00001381: DUP1 00001382: PUSH2 0x138a 00001385: DUP5 00001386: PUSH2 0x0da4 00001389: JUMP 0000138a: JUMPDEST 0000138b: SWAP1 0000138c: POP 0000138d: DUP1 0000138e: ISZERO 0000138f: PUSH2 0x14c7 00001392: JUMPI 00001393: PUSH1 0x01 00001395: PUSH1 0x01 00001397: PUSH1 0xa0 00001399: SHL 0000139a: SUB 0000139b: DUP5 0000139c: AND 0000139d: PUSH1 0x00 0000139f: SWAP1 000013a0: DUP2 000013a1: MSTORE 000013a2: PUSH1 0x07 000013a4: PUSH1 0x20 000013a6: MSTORE 000013a7: PUSH1 0x40 000013a9: SWAP1 000013aa: KECCAK256 000013ab: SLOAD 000013ac: PUSH2 0x13bb 000013af: SWAP1 000013b0: DUP3 000013b1: PUSH4 0xffffffff 000013b6: PUSH2 0x115b 000013b9: AND 000013ba: JUMP 000013bb: JUMPDEST 000013bc: PUSH1 0x01 000013be: PUSH1 0x01 000013c0: PUSH1 0xa0 000013c2: SHL 000013c3: SUB 000013c4: DUP1 000013c5: DUP7 000013c6: AND 000013c7: PUSH1 0x00 000013c9: DUP2 000013ca: DUP2 000013cb: MSTORE 000013cc: PUSH1 0x07 000013ce: PUSH1 0x20 000013d0: SWAP1 000013d1: DUP2 000013d2: MSTORE 000013d3: PUSH1 0x40 000013d5: SWAP2 000013d6: DUP3 000013d7: SWAP1 000013d8: KECCAK256 000013d9: SWAP5 000013da: SWAP1 000013db: SWAP5 000013dc: SSTORE 000013dd: DUP1 000013de: MLOAD 000013df: DUP6 000013e0: DUP2 000013e1: MSTORE 000013e2: SWAP3 000013e3: DUP8 000013e4: AND 000013e5: SWAP4 000013e6: DUP4 000013e7: ADD 000013e8: SWAP4 000013e9: SWAP1 000013ea: SWAP4 000013eb: MSTORE 000013ec: DUP3 000013ed: MLOAD 000013ee: SWAP1 000013ef: SWAP3 000013f0: PUSH32 0xeb063efb53b3790d2bc15284b59af7544466c8787c2883321ee27095647911b6 00001411: SWAP3 00001412: DUP3 00001413: SWAP1 00001414: SUB 00001415: ADD 00001416: SWAP1 00001417: LOG2 00001418: PUSH1 0x40 0000141a: MLOAD 0000141b: PUSH1 0x00 0000141d: SWAP1 0000141e: PUSH1 0x01 00001420: PUSH1 0x01 00001422: PUSH1 0xa0 00001424: SHL 00001425: SUB 00001426: DUP6 00001427: AND 00001428: SWAP1 00001429: DUP4 0000142a: SWAP1 0000142b: DUP4 0000142c: DUP2 0000142d: DUP2 0000142e: DUP2 0000142f: DUP6 00001430: DUP8 00001431: GAS 00001432: CALL 00001433: SWAP3 00001434: POP 00001435: POP 00001436: POP 00001437: RETURNDATASIZE 00001438: DUP1 00001439: PUSH1 0x00 0000143b: DUP2 0000143c: EQ 0000143d: PUSH2 0x1462 00001440: JUMPI 00001441: PUSH1 0x40 00001443: MLOAD 00001444: SWAP2 00001445: POP 00001446: PUSH1 0x1f 00001448: NOT 00001449: PUSH1 0x3f 0000144b: RETURNDATASIZE 0000144c: ADD 0000144d: AND 0000144e: DUP3 0000144f: ADD 00001450: PUSH1 0x40 00001452: MSTORE 00001453: RETURNDATASIZE 00001454: DUP3 00001455: MSTORE 00001456: RETURNDATASIZE 00001457: PUSH1 0x00 00001459: PUSH1 0x20 0000145b: DUP5 0000145c: ADD 0000145d: RETURNDATACOPY 0000145e: PUSH2 0x1467 00001461: JUMP 00001462: JUMPDEST 00001463: PUSH1 0x60 00001465: SWAP2 00001466: POP 00001467: JUMPDEST 00001468: POP 00001469: POP 0000146a: SWAP1 0000146b: POP 0000146c: DUP1 0000146d: PUSH2 0x14bf 00001470: JUMPI 00001471: PUSH1 0x01 00001473: PUSH1 0x01 00001475: PUSH1 0xa0 00001477: SHL 00001478: SUB 00001479: DUP6 0000147a: AND 0000147b: PUSH1 0x00 0000147d: SWAP1 0000147e: DUP2 0000147f: MSTORE 00001480: PUSH1 0x07 00001482: PUSH1 0x20 00001484: MSTORE 00001485: PUSH1 0x40 00001487: SWAP1 00001488: KECCAK256 00001489: SLOAD 0000148a: PUSH2 0x1499 0000148d: SWAP1 0000148e: DUP4 0000148f: PUSH4 0xffffffff 00001494: PUSH2 0x14d1 00001497: AND 00001498: JUMP 00001499: JUMPDEST 0000149a: PUSH1 0x01 0000149c: PUSH1 0x01 0000149e: PUSH1 0xa0 000014a0: SHL 000014a1: SUB 000014a2: DUP7 000014a3: AND 000014a4: PUSH1 0x00 000014a6: SWAP1 000014a7: DUP2 000014a8: MSTORE 000014a9: PUSH1 0x07 000014ab: PUSH1 0x20 000014ad: MSTORE 000014ae: PUSH1 0x40 000014b0: DUP2 000014b1: KECCAK256 000014b2: SWAP2 000014b3: SWAP1 000014b4: SWAP2 000014b5: SSTORE 000014b6: SWAP3 000014b7: POP 000014b8: PUSH2 0x0881 000014bb: SWAP2 000014bc: POP 000014bd: POP 000014be: JUMP 000014bf: JUMPDEST 000014c0: POP 000014c1: SWAP1 000014c2: POP 000014c3: PUSH2 0x0881 000014c6: JUMP 000014c7: JUMPDEST 000014c8: POP 000014c9: PUSH1 0x00 000014cb: SWAP4 000014cc: SWAP3 000014cd: POP 000014ce: POP 000014cf: POP 000014d0: JUMP 000014d1: JUMPDEST 000014d2: PUSH1 0x00 000014d4: PUSH2 0x1154 000014d7: DUP4 000014d8: DUP4 000014d9: PUSH1 0x40 000014db: MLOAD 000014dc: DUP1 000014dd: PUSH1 0x40 000014df: ADD 000014e0: PUSH1 0x40 000014e2: MSTORE 000014e3: DUP1 000014e4: PUSH1 0x1e 000014e6: DUP2 000014e7: MSTORE 000014e8: PUSH1 0x20 000014ea: ADD 000014eb: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 0000150c: DUP2 0000150d: MSTORE 0000150e: POP 0000150f: PUSH2 0x122c 00001512: JUMP 00001513: JUMPDEST 00001514: PUSH2 0x151d 00001517: DUP3 00001518: DUP3 00001519: PUSH2 0x15c7 0000151c: JUMP 0000151d: JUMPDEST 0000151e: PUSH2 0x155d 00001521: PUSH2 0x1538 00001524: PUSH2 0x0965 00001527: DUP4 00001528: PUSH1 0x05 0000152a: SLOAD 0000152b: PUSH2 0x10fb 0000152e: SWAP1 0000152f: SWAP2 00001530: SWAP1 00001531: PUSH4 0xffffffff 00001536: AND 00001537: JUMP 00001538: JUMPDEST 00001539: PUSH1 0x01 0000153b: PUSH1 0x01 0000153d: PUSH1 0xa0 0000153f: SHL 00001540: SUB 00001541: DUP5 00001542: AND 00001543: PUSH1 0x00 00001545: SWAP1 00001546: DUP2 00001547: MSTORE 00001548: PUSH1 0x06 0000154a: PUSH1 0x20 0000154c: MSTORE 0000154d: PUSH1 0x40 0000154f: SWAP1 00001550: KECCAK256 00001551: SLOAD 00001552: SWAP1 00001553: PUSH4 0xffffffff 00001558: PUSH2 0x16c3 0000155b: AND 0000155c: JUMP 0000155d: JUMPDEST 0000155e: PUSH1 0x01 00001560: PUSH1 0x01 00001562: PUSH1 0xa0 00001564: SHL 00001565: SUB 00001566: SWAP1 00001567: SWAP3 00001568: AND 00001569: PUSH1 0x00 0000156b: SWAP1 0000156c: DUP2 0000156d: MSTORE 0000156e: PUSH1 0x06 00001570: PUSH1 0x20 00001572: MSTORE 00001573: PUSH1 0x40 00001575: SWAP1 00001576: KECCAK256 00001577: SWAP2 00001578: SWAP1 00001579: SWAP2 0000157a: SSTORE 0000157b: POP 0000157c: JUMP 0000157d: JUMPDEST 0000157e: PUSH2 0x1587 00001581: DUP3 00001582: DUP3 00001583: PUSH2 0x16f5 00001586: JUMP 00001587: JUMPDEST 00001588: PUSH2 0x155d 0000158b: PUSH2 0x15a2 0000158e: PUSH2 0x0965 00001591: DUP4 00001592: PUSH1 0x05 00001594: SLOAD 00001595: PUSH2 0x10fb 00001598: SWAP1 00001599: SWAP2 0000159a: SWAP1 0000159b: PUSH4 0xffffffff 000015a0: AND 000015a1: JUMP 000015a2: JUMPDEST 000015a3: PUSH1 0x01 000015a5: PUSH1 0x01 000015a7: PUSH1 0xa0 000015a9: SHL 000015aa: SUB 000015ab: DUP5 000015ac: AND 000015ad: PUSH1 0x00 000015af: SWAP1 000015b0: DUP2 000015b1: MSTORE 000015b2: PUSH1 0x06 000015b4: PUSH1 0x20 000015b6: MSTORE 000015b7: PUSH1 0x40 000015b9: SWAP1 000015ba: KECCAK256 000015bb: SLOAD 000015bc: SWAP1 000015bd: PUSH4 0xffffffff 000015c2: PUSH2 0x12d3 000015c5: AND 000015c6: JUMP 000015c7: JUMPDEST 000015c8: PUSH1 0x01 000015ca: PUSH1 0x01 000015cc: PUSH1 0xa0 000015ce: SHL 000015cf: SUB 000015d0: DUP3 000015d1: AND 000015d2: PUSH2 0x1622 000015d5: JUMPI 000015d6: PUSH1 0x40 000015d8: DUP1 000015d9: MLOAD 000015da: PUSH3 0x461bcd 000015de: PUSH1 0xe5 000015e0: SHL 000015e1: DUP2 000015e2: MSTORE 000015e3: PUSH1 0x20 000015e5: PUSH1 0x04 000015e7: DUP3 000015e8: ADD 000015e9: MSTORE 000015ea: PUSH1 0x1f 000015ec: PUSH1 0x24 000015ee: DUP3 000015ef: ADD 000015f0: MSTORE 000015f1: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300 00001612: PUSH1 0x44 00001614: DUP3 00001615: ADD 00001616: MSTORE 00001617: SWAP1 00001618: MLOAD 00001619: SWAP1 0000161a: DUP2 0000161b: SWAP1 0000161c: SUB 0000161d: PUSH1 0x64 0000161f: ADD 00001620: SWAP1 00001621: REVERT 00001622: JUMPDEST 00001623: PUSH2 0x162e 00001626: PUSH1 0x00 00001628: DUP4 00001629: DUP4 0000162a: PUSH2 0x11f0 0000162d: JUMP 0000162e: JUMPDEST 0000162f: PUSH1 0x02 00001631: SLOAD 00001632: PUSH2 0x1641 00001635: SWAP1 00001636: DUP3 00001637: PUSH4 0xffffffff 0000163c: PUSH2 0x115b 0000163f: AND 00001640: JUMP 00001641: JUMPDEST 00001642: PUSH1 0x02 00001644: SSTORE 00001645: PUSH1 0x01 00001647: PUSH1 0x01 00001649: PUSH1 0xa0 0000164b: SHL 0000164c: SUB 0000164d: DUP3 0000164e: AND 0000164f: PUSH1 0x00 00001651: SWAP1 00001652: DUP2 00001653: MSTORE 00001654: PUSH1 0x20 00001656: DUP2 00001657: SWAP1 00001658: MSTORE 00001659: PUSH1 0x40 0000165b: SWAP1 0000165c: KECCAK256 0000165d: SLOAD 0000165e: PUSH2 0x166d 00001661: SWAP1 00001662: DUP3 00001663: PUSH4 0xffffffff 00001668: PUSH2 0x115b 0000166b: AND 0000166c: JUMP 0000166d: JUMPDEST 0000166e: PUSH1 0x01 00001670: PUSH1 0x01 00001672: PUSH1 0xa0 00001674: SHL 00001675: SUB 00001676: DUP4 00001677: AND 00001678: PUSH1 0x00 0000167a: DUP2 0000167b: DUP2 0000167c: MSTORE 0000167d: PUSH1 0x20 0000167f: DUP2 00001680: DUP2 00001681: MSTORE 00001682: PUSH1 0x40 00001684: DUP1 00001685: DUP4 00001686: KECCAK256 00001687: SWAP5 00001688: SWAP1 00001689: SWAP5 0000168a: SSTORE 0000168b: DUP4 0000168c: MLOAD 0000168d: DUP6 0000168e: DUP2 0000168f: MSTORE 00001690: SWAP4 00001691: MLOAD 00001692: SWAP3 00001693: SWAP4 00001694: SWAP2 00001695: SWAP3 00001696: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000016b7: SWAP3 000016b8: DUP2 000016b9: SWAP1 000016ba: SUB 000016bb: SWAP1 000016bc: SWAP2 000016bd: ADD 000016be: SWAP1 000016bf: LOG3 000016c0: POP 000016c1: POP 000016c2: JUMP 000016c3: JUMPDEST 000016c4: PUSH1 0x00 000016c6: DUP2 000016c7: DUP4 000016c8: SUB 000016c9: DUP2 000016ca: DUP4 000016cb: SLT 000016cc: DUP1 000016cd: ISZERO 000016ce: SWAP1 000016cf: PUSH2 0x16d8 000016d2: JUMPI 000016d3: POP 000016d4: DUP4 000016d5: DUP2 000016d6: SGT 000016d7: ISZERO 000016d8: JUMPDEST 000016d9: DUP1 000016da: PUSH2 0x12fd 000016dd: JUMPI 000016de: POP 000016df: PUSH1 0x00 000016e1: DUP4 000016e2: SLT 000016e3: DUP1 000016e4: ISZERO 000016e5: PUSH2 0x12fd 000016e8: JUMPI 000016e9: POP 000016ea: DUP4 000016eb: DUP2 000016ec: SGT 000016ed: PUSH2 0x1154 000016f0: JUMPI 000016f1: PUSH1 0x00 000016f3: DUP1 000016f4: REVERT 000016f5: JUMPDEST 000016f6: PUSH1 0x01 000016f8: PUSH1 0x01 000016fa: PUSH1 0xa0 000016fc: SHL 000016fd: SUB 000016fe: DUP3 000016ff: AND 00001700: PUSH2 0x173a 00001703: JUMPI 00001704: PUSH1 0x40 00001706: MLOAD 00001707: PUSH3 0x461bcd 0000170b: PUSH1 0xe5 0000170d: SHL 0000170e: DUP2 0000170f: MSTORE 00001710: PUSH1 0x04 00001712: ADD 00001713: DUP1 00001714: DUP1 00001715: PUSH1 0x20 00001717: ADD 00001718: DUP3 00001719: DUP2 0000171a: SUB 0000171b: DUP3 0000171c: MSTORE 0000171d: PUSH1 0x21 0000171f: DUP2 00001720: MSTORE 00001721: PUSH1 0x20 00001723: ADD 00001724: DUP1 00001725: PUSH2 0x1942 00001728: PUSH1 0x21 0000172a: SWAP2 0000172b: CODECOPY 0000172c: PUSH1 0x40 0000172e: ADD 0000172f: SWAP2 00001730: POP 00001731: POP 00001732: PUSH1 0x40 00001734: MLOAD 00001735: DUP1 00001736: SWAP2 00001737: SUB 00001738: SWAP1 00001739: REVERT 0000173a: JUMPDEST 0000173b: PUSH2 0x1746 0000173e: DUP3 0000173f: PUSH1 0x00 00001741: DUP4 00001742: PUSH2 0x11f0 00001745: JUMP 00001746: JUMPDEST 00001747: PUSH2 0x1789 0000174a: DUP2 0000174b: PUSH1 0x40 0000174d: MLOAD 0000174e: DUP1 0000174f: PUSH1 0x60 00001751: ADD 00001752: PUSH1 0x40 00001754: MSTORE 00001755: DUP1 00001756: PUSH1 0x22 00001758: DUP2 00001759: MSTORE 0000175a: PUSH1 0x20 0000175c: ADD 0000175d: PUSH2 0x17fe 00001760: PUSH1 0x22 00001762: SWAP2 00001763: CODECOPY 00001764: PUSH1 0x01 00001766: PUSH1 0x01 00001768: PUSH1 0xa0 0000176a: SHL 0000176b: SUB 0000176c: DUP6 0000176d: AND 0000176e: PUSH1 0x00 00001770: SWAP1 00001771: DUP2 00001772: MSTORE 00001773: PUSH1 0x20 00001775: DUP2 00001776: SWAP1 00001777: MSTORE 00001778: PUSH1 0x40 0000177a: SWAP1 0000177b: KECCAK256 0000177c: SLOAD 0000177d: SWAP2 0000177e: SWAP1 0000177f: PUSH4 0xffffffff 00001784: PUSH2 0x122c 00001787: AND 00001788: JUMP 00001789: JUMPDEST 0000178a: PUSH1 0x01 0000178c: PUSH1 0x01 0000178e: PUSH1 0xa0 00001790: SHL 00001791: SUB 00001792: DUP4 00001793: AND 00001794: PUSH1 0x00 00001796: SWAP1 00001797: DUP2 00001798: MSTORE 00001799: PUSH1 0x20 0000179b: DUP2 0000179c: SWAP1 0000179d: MSTORE 0000179e: PUSH1 0x40 000017a0: SWAP1 000017a1: KECCAK256 000017a2: SSTORE 000017a3: PUSH1 0x02 000017a5: SLOAD 000017a6: PUSH2 0x17b5 000017a9: SWAP1 000017aa: DUP3 000017ab: PUSH4 0xffffffff 000017b0: PUSH2 0x14d1 000017b3: AND 000017b4: JUMP 000017b5: JUMPDEST 000017b6: PUSH1 0x02 000017b8: SSTORE 000017b9: PUSH1 0x40 000017bb: DUP1 000017bc: MLOAD 000017bd: DUP3 000017be: DUP2 000017bf: MSTORE 000017c0: SWAP1 000017c1: MLOAD 000017c2: PUSH1 0x00 000017c4: SWAP2 000017c5: PUSH1 0x01 000017c7: PUSH1 0x01 000017c9: PUSH1 0xa0 000017cb: SHL 000017cc: SUB 000017cd: DUP6 000017ce: AND 000017cf: SWAP2 000017d0: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000017f1: SWAP2 000017f2: DUP2 000017f3: SWAP1 000017f4: SUB 000017f5: PUSH1 0x20 000017f7: ADD 000017f8: SWAP1 000017f9: LOG3 000017fa: POP 000017fb: POP 000017fc: JUMP 000017fd: INVALID 000017fe: GASLIMIT 000017ff: MSTORE 00001800: NUMBER 00001801: ORIGIN 00001802: ADDRESS 00001803: GASPRICE 00001804: KECCAK256 00001805: PUSH3 0x75726e 00001809: KECCAK256 0000180a: PUSH2 0x6d6f 0000180d: PUSH22 0x6e7420657863656564732062616c616e63654f776e61 00001824: PUSH3 0x6c653a 00001828: KECCAK256 00001829: PUSH15 0x6577206f776e657220697320746865 00001839: KECCAK256 0000183a: PUSH27 0x65726f2061646472657373464c4f46455f4469766964656e645f54 00001856: PUSH19 0x61636b65723a20776974686472617744697669 0000186a: PUSH5 0x656e642064 00001870: PUSH10 0x7361626c65642e205573 0000187b: PUSH6 0x207468652027 00001882: PUSH4 0x6c61696d 00001887: UNKNOWN(0x27) 00001888: KECCAK256 00001889: PUSH7 0x756e6374696f6e 00001891: KECCAK256 00001892: PUSH16 0x6e20746865206d61696e20464c4f4645 000018a3: KECCAK256 000018a4: PUSH4 0x6f6e7472 000018a9: PUSH2 0x6374 000018ac: UNKNOWN(0x2E) 000018ad: MSTORE8 000018ae: PUSH2 0x6665 000018b1: UNKNOWN(0x4D) 000018b2: PUSH2 0x7468 000018b5: GASPRICE 000018b6: KECCAK256 000018b7: PUSH14 0x756c7469706c69636174696f6e20 000018c6: PUSH16 0x766572666c6f7745524332303a207472 000018d7: PUSH2 0x6e73 000018da: PUSH7 0x657220616d6f75 000018e2: PUSH15 0x74206578636565647320616c6c6f77 000018f2: PUSH2 0x6e63 000018f5: PUSH6 0x4f776e61626c 000018fc: PUSH6 0x3a2063616c6c 00001903: PUSH6 0x72206973206e 0000190a: PUSH16 0x7420746865206f776e6572464c4f4645 0000191b: PUSH0 0000191c: DIFFICULTY 0000191d: PUSH10 0x766964656e645f547261 00001928: PUSH4 0x6b65723a 0000192d: KECCAK256 0000192e: UNKNOWN(0x4E) 0000192f: PUSH16 0x20617070726f76616c7320616c6c6f77 00001940: PUSH6 0x644552433230 00001947: GASPRICE 00001948: KECCAK256 00001949: PUSH3 0x75726e 0000194d: KECCAK256 0000194e: PUSH7 0x726f6d20746865 00001956: KECCAK256 00001957: PUSH27 0x65726f2061646472657373464c4f46455f4469766964656e645f54 00001973: PUSH19 0x61636b65723a204e6f207472616e7366657273 00001987: KECCAK256 00001988: PUSH2 0x6c6c 0000198b: PUSH16 0x77656445524332303a20646563726561 0000199c: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a 000019b1: PUSH6 0x726fa2646970 000019b8: PUSH7 0x7358221220da60 000019c0: DUP14 000019c1: UNKNOWN(0xD7) 000019c2: CODESIZE 000019c3: SWAP6 000019c4: UNKNOWN(0xC1) 000019c5: OR 000019c6: CREATE 000019c7: PUSH3 0x68a658 000019cb: UNKNOWN(0xFC) 000019cc: UNKNOWN(0xE1) 000019cd: UNKNOWN(0xC6) 000019ce: INVALID 000019cf: PUSH9 0xca84e1fd9e8c6d838a 000019d9: UNKNOWN(0xC9) 000019da: UNKNOWN(0xC5) 000019db: UNKNOWN(0xC8) 000019dc: PUSH1 0x03 000019de: PUSH5 0x736f6c6343 000019e4: STOP 000019e5: MOD 000019e6: MUL 000019e7: STOP 000019e8: CALLER
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x5e67344e1ac4d10f6fba45233f8043e282158305f0509f0a14b4d631649a6f28
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x5e67344e1ac4d10f6fba45233f8043e282158305f0509f0a14b4d631649a6f28",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe30443bc",
"selector": "0xe30443bc",
"calldata_variants": [
"0xe30443bc",
"0xe30443bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfbcbc0f1",
"selector": "0xfbcbc0f1",
"calldata_variants": [
"0xfbcbc0f1",
"0xfbcbc0f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaafd847a",
"selector": "0xaafd847a",
"calldata_variants": [
"0xaafd847a",
"0xaafd847a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe10b614",
"selector": "0xbe10b614",
"calldata_variants": [
"0xbe10b614",
"0xbe10b6140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91b89fba",
"selector": "0x91b89fba",
"calldata_variants": [
"0x91b89fba",
"0x91b89fba0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2718,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 3890,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 4027,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 6145,
"type": "tx_origin_used"
}
],
"delegatecall_count": 3,
"untrusted_delegatecall_count": 3
}
|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe30443bc",
"selector": "0xe30443bc",
"calldata_variants": [
"0xe30443bc",
"0xe30443bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfbcbc0f1",
"selector": "0xfbcbc0f1",
"calldata_variants": [
"0xfbcbc0f1",
"0xfbcbc0f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaafd847a",
"selector": "0xaafd847a",
"calldata_variants": [
"0xaafd847a",
"0xaafd847a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe10b614",
"selector": "0xbe10b614",
"calldata_variants": [
"0xbe10b614",
"0xbe10b6140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91b89fba",
"selector": "0x91b89fba",
"calldata_variants": [
"0x91b89fba",
"0x91b89fba0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 6145,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x2563eb8f38e08a221097937a747beabd2d7161ff2c753e8720aabd5ce9e02432
call_targets:
0xfbfeac276a3f30161e852ac7f095210b252f6515
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2563eb8f38e08a221097937a747beabd2d7161ff2c753e8720aabd5ce9e02432",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfbfeac276a3f30161e852ac7f095210b252f6515"
],
"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": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe30443bc",
"selector": "0xe30443bc",
"calldata_variants": [
"0xe30443bc",
"0xe30443bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfbcbc0f1",
"selector": "0xfbcbc0f1",
"calldata_variants": [
"0xfbcbc0f1",
"0xfbcbc0f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaafd847a",
"selector": "0xaafd847a",
"calldata_variants": [
"0xaafd847a",
"0xaafd847a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe10b614",
"selector": "0xbe10b614",
"calldata_variants": [
"0xbe10b614",
"0xbe10b6140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91b89fba",
"selector": "0x91b89fba",
"calldata_variants": [
"0x91b89fba",
"0x91b89fba0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5170,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 6145,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x2563eb8f38e08a221097937a747beabd2d7161ff2c753e8720aabd5ce9e02432
call_targets:
0xfbfeac276a3f30161e852ac7f095210b252f6515
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2563eb8f38e08a221097937a747beabd2d7161ff2c753e8720aabd5ce9e02432",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfbfeac276a3f30161e852ac7f095210b252f6515"
],
"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": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe30443bc",
"selector": "0xe30443bc",
"calldata_variants": [
"0xe30443bc",
"0xe30443bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfbcbc0f1",
"selector": "0xfbcbc0f1",
"calldata_variants": [
"0xfbcbc0f1",
"0xfbcbc0f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaafd847a",
"selector": "0xaafd847a",
"calldata_variants": [
"0xaafd847a",
"0xaafd847a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe10b614",
"selector": "0xbe10b614",
"calldata_variants": [
"0xbe10b614",
"0xbe10b6140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91b89fba",
"selector": "0x91b89fba",
"calldata_variants": [
"0x91b89fba",
"0x91b89fba0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5170,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 6145,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x4cf8eda3eb2a9d392d2bd71e7928d7bf8d36ffc6f54a26a23f5d7ea6ce4aef67
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x4cf8eda3eb2a9d392d2bd71e7928d7bf8d36ffc6f54a26a23f5d7ea6ce4aef67",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe30443bc",
"selector": "0xe30443bc",
"calldata_variants": [
"0xe30443bc",
"0xe30443bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfbcbc0f1",
"selector": "0xfbcbc0f1",
"calldata_variants": [
"0xfbcbc0f1",
"0xfbcbc0f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaafd847a",
"selector": "0xaafd847a",
"calldata_variants": [
"0xaafd847a",
"0xaafd847a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe10b614",
"selector": "0xbe10b614",
"calldata_variants": [
"0xbe10b614",
"0xbe10b6140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91b89fba",
"selector": "0x91b89fba",
"calldata_variants": [
"0x91b89fba",
"0x91b89fba0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|