019b3844-9b6a-711c-bde7-a7ad36b80945
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 |
|---|---|---|---|---|
| 14429 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 14430 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 57589 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 57590 | capability.graph | complete | 1 / 3 | 1 week ago |
| 57591 | detector.run | complete | 1 / 3 | 1 week ago |
| 57592 | 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 0x07c1 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 0x0857 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 0x0875 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 0x087b 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 0x0881 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 0x0908 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 0x0965 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 0x096a 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 0x0ac6 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 0x0b14 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 0x0b29 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 0x0b97 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 0x0bce 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 0x0be9 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 0x0c8b 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 0x0c91 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 0x0ca0 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 0x0cab 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 0x0d0c 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 0x0d74 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 0x0da0 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 0x0db4 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 0x0dcf 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 0x0dd5 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 0x0e00 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 0x0f9f 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 0x1098 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 0x087b 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 0x07bf 0000074a: JUMPI 0000074b: PUSH2 0x0775 0000074e: PUSH2 0x0755 00000751: PUSH2 0x087b 00000754: JUMP 00000755: JUMPDEST 00000756: PUSH2 0x0763 00000759: CALLVALUE 0000075a: PUSH1 0x01 0000075c: PUSH1 0x80 0000075e: SHL 0000075f: PUSH2 0x10c5 00000762: JUMP 00000763: JUMPDEST 00000764: DUP2 00000765: PUSH2 0x076a 00000768: JUMPI 00000769: INVALID 0000076a: JUMPDEST 0000076b: PUSH1 0x05 0000076d: SLOAD 0000076e: SWAP2 0000076f: SWAP1 00000770: DIV 00000771: PUSH2 0x1125 00000774: JUMP 00000775: JUMPDEST 00000776: PUSH1 0x05 00000778: SSTORE 00000779: PUSH1 0x40 0000077b: DUP1 0000077c: MLOAD 0000077d: CALLVALUE 0000077e: DUP2 0000077f: MSTORE 00000780: SWAP1 00000781: MLOAD 00000782: CALLER 00000783: SWAP2 00000784: PUSH32 0xa493a9229478c3fcd73f66d2cdeb7f94fd0f341da924d1054236d78454116511 000007a5: SWAP2 000007a6: SWAP1 000007a7: DUP2 000007a8: SWAP1 000007a9: SUB 000007aa: PUSH1 0x20 000007ac: ADD 000007ad: SWAP1 000007ae: LOG2 000007af: PUSH1 0x08 000007b1: SLOAD 000007b2: PUSH2 0x07bb 000007b5: SWAP1 000007b6: CALLVALUE 000007b7: PUSH2 0x1125 000007ba: JUMP 000007bb: JUMPDEST 000007bc: PUSH1 0x08 000007be: SSTORE 000007bf: JUMPDEST 000007c0: JUMP 000007c1: JUMPDEST 000007c2: PUSH1 0x03 000007c4: DUP1 000007c5: SLOAD 000007c6: PUSH1 0x40 000007c8: DUP1 000007c9: MLOAD 000007ca: PUSH1 0x20 000007cc: PUSH1 0x1f 000007ce: PUSH1 0x02 000007d0: PUSH1 0x00 000007d2: NOT 000007d3: PUSH2 0x0100 000007d6: PUSH1 0x01 000007d8: DUP9 000007d9: AND 000007da: ISZERO 000007db: MUL 000007dc: ADD 000007dd: SWAP1 000007de: SWAP6 000007df: AND 000007e0: SWAP5 000007e1: SWAP1 000007e2: SWAP5 000007e3: DIV 000007e4: SWAP4 000007e5: DUP5 000007e6: ADD 000007e7: DUP2 000007e8: SWAP1 000007e9: DIV 000007ea: DUP2 000007eb: MUL 000007ec: DUP3 000007ed: ADD 000007ee: DUP2 000007ef: ADD 000007f0: SWAP1 000007f1: SWAP3 000007f2: MSTORE 000007f3: DUP3 000007f4: DUP2 000007f5: MSTORE 000007f6: PUSH1 0x60 000007f8: SWAP4 000007f9: SWAP1 000007fa: SWAP3 000007fb: SWAP1 000007fc: SWAP2 000007fd: DUP4 000007fe: ADD 000007ff: DUP3 00000800: DUP3 00000801: DUP1 00000802: ISZERO 00000803: PUSH2 0x084d 00000806: JUMPI 00000807: DUP1 00000808: PUSH1 0x1f 0000080a: LT 0000080b: PUSH2 0x0822 0000080e: JUMPI 0000080f: PUSH2 0x0100 00000812: DUP1 00000813: DUP4 00000814: SLOAD 00000815: DIV 00000816: MUL 00000817: DUP4 00000818: MSTORE 00000819: SWAP2 0000081a: PUSH1 0x20 0000081c: ADD 0000081d: SWAP2 0000081e: PUSH2 0x084d 00000821: JUMP 00000822: JUMPDEST 00000823: DUP3 00000824: ADD 00000825: SWAP2 00000826: SWAP1 00000827: PUSH1 0x00 00000829: MSTORE 0000082a: PUSH1 0x20 0000082c: PUSH1 0x00 0000082e: KECCAK256 0000082f: SWAP1 00000830: JUMPDEST 00000831: DUP2 00000832: SLOAD 00000833: DUP2 00000834: MSTORE 00000835: SWAP1 00000836: PUSH1 0x01 00000838: ADD 00000839: SWAP1 0000083a: PUSH1 0x20 0000083c: ADD 0000083d: DUP1 0000083e: DUP4 0000083f: GT 00000840: PUSH2 0x0830 00000843: JUMPI 00000844: DUP3 00000845: SWAP1 00000846: SUB 00000847: PUSH1 0x1f 00000849: AND 0000084a: DUP3 0000084b: ADD 0000084c: SWAP2 0000084d: JUMPDEST 0000084e: POP 0000084f: POP 00000850: POP 00000851: POP 00000852: POP 00000853: SWAP1 00000854: POP 00000855: SWAP1 00000856: JUMP 00000857: JUMPDEST 00000858: PUSH1 0x00 0000085a: PUSH2 0x086b 0000085d: PUSH2 0x0864 00000860: PUSH2 0x117f 00000863: JUMP 00000864: JUMPDEST 00000865: DUP5 00000866: DUP5 00000867: PUSH2 0x1183 0000086a: JUMP 0000086b: JUMPDEST 0000086c: POP 0000086d: PUSH1 0x01 0000086f: JUMPDEST 00000870: SWAP3 00000871: SWAP2 00000872: POP 00000873: POP 00000874: JUMP 00000875: JUMPDEST 00000876: PUSH1 0x0a 00000878: SLOAD 00000879: SWAP1 0000087a: JUMP 0000087b: JUMPDEST 0000087c: PUSH1 0x02 0000087e: SLOAD 0000087f: SWAP1 00000880: JUMP 00000881: JUMPDEST 00000882: PUSH1 0x00 00000884: PUSH2 0x088e 00000887: DUP5 00000888: DUP5 00000889: DUP5 0000088a: PUSH2 0x11bf 0000088d: JUMP 0000088e: JUMPDEST 0000088f: PUSH2 0x08fe 00000892: DUP5 00000893: PUSH2 0x089a 00000896: PUSH2 0x117f 00000899: JUMP 0000089a: JUMPDEST 0000089b: PUSH2 0x08f9 0000089e: DUP6 0000089f: PUSH1 0x40 000008a1: MLOAD 000008a2: DUP1 000008a3: PUSH1 0x60 000008a5: ADD 000008a6: PUSH1 0x40 000008a8: MSTORE 000008a9: DUP1 000008aa: PUSH1 0x28 000008ac: DUP2 000008ad: MSTORE 000008ae: PUSH1 0x20 000008b0: ADD 000008b1: PUSH2 0x1891 000008b4: PUSH1 0x28 000008b6: SWAP2 000008b7: CODECOPY 000008b8: PUSH1 0x01 000008ba: PUSH1 0x01 000008bc: PUSH1 0xa0 000008be: SHL 000008bf: SUB 000008c0: DUP11 000008c1: AND 000008c2: PUSH1 0x00 000008c4: SWAP1 000008c5: DUP2 000008c6: MSTORE 000008c7: PUSH1 0x01 000008c9: PUSH1 0x20 000008cb: MSTORE 000008cc: PUSH1 0x40 000008ce: DUP2 000008cf: KECCAK256 000008d0: SWAP1 000008d1: PUSH2 0x08d8 000008d4: PUSH2 0x117f 000008d7: JUMP 000008d8: JUMPDEST 000008d9: PUSH1 0x01 000008db: PUSH1 0x01 000008dd: PUSH1 0xa0 000008df: SHL 000008e0: SUB 000008e1: AND 000008e2: DUP2 000008e3: MSTORE 000008e4: PUSH1 0x20 000008e6: DUP2 000008e7: ADD 000008e8: SWAP2 000008e9: SWAP1 000008ea: SWAP2 000008eb: MSTORE 000008ec: PUSH1 0x40 000008ee: ADD 000008ef: PUSH1 0x00 000008f1: KECCAK256 000008f2: SLOAD 000008f3: SWAP2 000008f4: SWAP1 000008f5: PUSH2 0x11f6 000008f8: JUMP 000008f9: JUMPDEST 000008fa: PUSH2 0x1183 000008fd: JUMP 000008fe: JUMPDEST 000008ff: POP 00000900: PUSH1 0x01 00000902: SWAP4 00000903: SWAP3 00000904: POP 00000905: POP 00000906: POP 00000907: JUMP 00000908: JUMPDEST 00000909: PUSH1 0x01 0000090b: PUSH1 0x01 0000090d: PUSH1 0xa0 0000090f: SHL 00000910: SUB 00000911: DUP2 00000912: AND 00000913: PUSH1 0x00 00000915: SWAP1 00000916: DUP2 00000917: MSTORE 00000918: PUSH1 0x06 0000091a: PUSH1 0x20 0000091c: MSTORE 0000091d: PUSH1 0x40 0000091f: DUP2 00000920: KECCAK256 00000921: SLOAD 00000922: PUSH1 0x01 00000924: PUSH1 0x80 00000926: SHL 00000927: SWAP1 00000928: PUSH2 0x0957 0000092b: SWAP1 0000092c: PUSH2 0x0952 0000092f: SWAP1 00000930: PUSH2 0x094c 00000933: PUSH2 0x0947 00000936: PUSH2 0x093e 00000939: DUP9 0000093a: PUSH2 0x0bce 0000093d: JUMP 0000093e: JUMPDEST 0000093f: PUSH1 0x05 00000941: SLOAD 00000942: SWAP1 00000943: PUSH2 0x10c5 00000946: JUMP 00000947: JUMPDEST 00000948: PUSH2 0x128d 0000094b: JUMP 0000094c: JUMPDEST 0000094d: SWAP1 0000094e: PUSH2 0x129d 00000951: JUMP 00000952: JUMPDEST 00000953: PUSH2 0x12d0 00000956: JUMP 00000957: JUMPDEST 00000958: DUP2 00000959: PUSH2 0x095e 0000095c: JUMPI 0000095d: INVALID 0000095e: JUMPDEST 0000095f: DIV 00000960: SWAP3 00000961: SWAP2 00000962: POP 00000963: POP 00000964: JUMP 00000965: JUMPDEST 00000966: PUSH1 0x12 00000968: SWAP1 00000969: JUMP 0000096a: JUMPDEST 0000096b: PUSH2 0x0972 0000096e: PUSH2 0x117f 00000971: JUMP 00000972: JUMPDEST 00000973: PUSH1 0x09 00000975: SLOAD 00000976: PUSH1 0x01 00000978: PUSH1 0x01 0000097a: PUSH1 0xa0 0000097c: SHL 0000097d: SUB 0000097e: SWAP1 0000097f: DUP2 00000980: AND 00000981: SWAP2 00000982: AND 00000983: EQ 00000984: PUSH2 0x09c2 00000987: JUMPI 00000988: PUSH1 0x40 0000098a: DUP1 0000098b: MLOAD 0000098c: PUSH3 0x461bcd 00000990: PUSH1 0xe5 00000992: SHL 00000993: DUP2 00000994: MSTORE 00000995: PUSH1 0x20 00000997: PUSH1 0x04 00000999: DUP3 0000099a: ADD 0000099b: DUP2 0000099c: SWAP1 0000099d: MSTORE 0000099e: PUSH1 0x24 000009a0: DUP3 000009a1: ADD 000009a2: MSTORE 000009a3: PUSH1 0x00 000009a5: DUP1 000009a6: MLOAD 000009a7: PUSH1 0x20 000009a9: PUSH2 0x18b9 000009ac: DUP4 000009ad: CODECOPY 000009ae: DUP2 000009af: MLOAD 000009b0: SWAP2 000009b1: MSTORE 000009b2: PUSH1 0x44 000009b4: DUP3 000009b5: ADD 000009b6: MSTORE 000009b7: SWAP1 000009b8: MLOAD 000009b9: SWAP1 000009ba: DUP2 000009bb: SWAP1 000009bc: SUB 000009bd: PUSH1 0x64 000009bf: ADD 000009c0: SWAP1 000009c1: REVERT 000009c2: JUMPDEST 000009c3: PUSH1 0x01 000009c5: PUSH1 0x01 000009c7: PUSH1 0xa0 000009c9: SHL 000009ca: SUB 000009cb: DUP2 000009cc: AND 000009cd: PUSH1 0x00 000009cf: SWAP1 000009d0: DUP2 000009d1: MSTORE 000009d2: PUSH1 0x0e 000009d4: PUSH1 0x20 000009d6: MSTORE 000009d7: PUSH1 0x40 000009d9: SWAP1 000009da: KECCAK256 000009db: SLOAD 000009dc: PUSH1 0xff 000009de: AND 000009df: ISZERO 000009e0: PUSH2 0x09e8 000009e3: JUMPI 000009e4: PUSH1 0x00 000009e6: DUP1 000009e7: REVERT 000009e8: JUMPDEST 000009e9: PUSH1 0x01 000009eb: PUSH1 0x01 000009ed: PUSH1 0xa0 000009ef: SHL 000009f0: SUB 000009f1: DUP2 000009f2: AND 000009f3: PUSH1 0x00 000009f5: SWAP1 000009f6: DUP2 000009f7: MSTORE 000009f8: PUSH1 0x0e 000009fa: PUSH1 0x20 000009fc: MSTORE 000009fd: PUSH1 0x40 000009ff: DUP2 00000a00: KECCAK256 00000a01: DUP1 00000a02: SLOAD 00000a03: PUSH1 0xff 00000a05: NOT 00000a06: AND 00000a07: PUSH1 0x01 00000a09: OR 00000a0a: SWAP1 00000a0b: SSTORE 00000a0c: PUSH2 0x0a16 00000a0f: SWAP1 00000a10: DUP3 00000a11: SWAP1 00000a12: PUSH2 0x12e3 00000a15: JUMP 00000a16: JUMPDEST 00000a17: PUSH1 0x40 00000a19: DUP1 00000a1a: MLOAD 00000a1b: PUSH4 0x131836e7 00000a20: PUSH1 0xe2 00000a22: SHL 00000a23: DUP2 00000a24: MSTORE 00000a25: PUSH1 0x0a 00000a27: PUSH1 0x04 00000a29: DUP3 00000a2a: ADD 00000a2b: MSTORE 00000a2c: PUSH1 0x01 00000a2e: PUSH1 0x01 00000a30: PUSH1 0xa0 00000a32: SHL 00000a33: SUB 00000a34: DUP4 00000a35: AND 00000a36: PUSH1 0x24 00000a38: DUP3 00000a39: ADD 00000a3a: MSTORE 00000a3b: SWAP1 00000a3c: MLOAD 00000a3d: PUSH20 0xb434c910e1dd843aa8e80b5373b4ada9f34d3f2e 00000a52: SWAP2 00000a53: PUSH4 0x4c60db9c 00000a58: SWAP2 00000a59: PUSH1 0x44 00000a5b: DUP1 00000a5c: DUP4 00000a5d: ADD 00000a5e: SWAP3 00000a5f: PUSH1 0x00 00000a61: SWAP3 00000a62: SWAP2 00000a63: SWAP1 00000a64: DUP3 00000a65: SWAP1 00000a66: SUB 00000a67: ADD 00000a68: DUP2 00000a69: DUP7 00000a6a: DUP1 00000a6b: EXTCODESIZE 00000a6c: ISZERO 00000a6d: DUP1 00000a6e: ISZERO 00000a6f: PUSH2 0x0a77 00000a72: JUMPI 00000a73: PUSH1 0x00 00000a75: DUP1 00000a76: REVERT 00000a77: JUMPDEST 00000a78: POP 00000a79: GAS 00000a7a: DELEGATECALL 00000a7b: ISZERO 00000a7c: DUP1 00000a7d: ISZERO 00000a7e: PUSH2 0x0a8b 00000a81: JUMPI 00000a82: RETURNDATASIZE 00000a83: PUSH1 0x00 00000a85: DUP1 00000a86: RETURNDATACOPY 00000a87: RETURNDATASIZE 00000a88: PUSH1 0x00 00000a8a: REVERT 00000a8b: JUMPDEST 00000a8c: POP 00000a8d: POP 00000a8e: PUSH1 0x40 00000a90: MLOAD 00000a91: PUSH1 0x01 00000a93: PUSH1 0x01 00000a95: PUSH1 0xa0 00000a97: SHL 00000a98: SUB 00000a99: DUP5 00000a9a: AND 00000a9b: SWAP3 00000a9c: POP 00000a9d: PUSH32 0xa878b31040b2e6d0a9a3d3361209db3908ba62014b0dca52adbaee451d128b25 00000abe: SWAP2 00000abf: POP 00000ac0: PUSH1 0x00 00000ac2: SWAP1 00000ac3: LOG2 00000ac4: POP 00000ac5: JUMP 00000ac6: JUMPDEST 00000ac7: PUSH1 0x00 00000ac9: PUSH2 0x086b 00000acc: PUSH2 0x0ad3 00000acf: PUSH2 0x117f 00000ad2: JUMP 00000ad3: JUMPDEST 00000ad4: DUP5 00000ad5: PUSH2 0x08f9 00000ad8: DUP6 00000ad9: PUSH1 0x01 00000adb: PUSH1 0x00 00000add: PUSH2 0x0ae4 00000ae0: PUSH2 0x117f 00000ae3: JUMP 00000ae4: JUMPDEST 00000ae5: PUSH1 0x01 00000ae7: PUSH1 0x01 00000ae9: PUSH1 0xa0 00000aeb: SHL 00000aec: SUB 00000aed: SWAP1 00000aee: DUP2 00000aef: AND 00000af0: DUP3 00000af1: MSTORE 00000af2: PUSH1 0x20 00000af4: DUP1 00000af5: DUP4 00000af6: ADD 00000af7: SWAP4 00000af8: SWAP1 00000af9: SWAP4 00000afa: MSTORE 00000afb: PUSH1 0x40 00000afd: SWAP2 00000afe: DUP3 00000aff: ADD 00000b00: PUSH1 0x00 00000b02: SWAP1 00000b03: DUP2 00000b04: KECCAK256 00000b05: SWAP2 00000b06: DUP13 00000b07: AND 00000b08: DUP2 00000b09: MSTORE 00000b0a: SWAP3 00000b0b: MSTORE 00000b0c: SWAP1 00000b0d: KECCAK256 00000b0e: SLOAD 00000b0f: SWAP1 00000b10: PUSH2 0x1125 00000b13: JUMP 00000b14: JUMPDEST 00000b15: PUSH1 0x0e 00000b17: PUSH1 0x20 00000b19: MSTORE 00000b1a: PUSH1 0x00 00000b1c: SWAP1 00000b1d: DUP2 00000b1e: MSTORE 00000b1f: PUSH1 0x40 00000b21: SWAP1 00000b22: KECCAK256 00000b23: SLOAD 00000b24: PUSH1 0xff 00000b26: AND 00000b27: DUP2 00000b28: JUMP 00000b29: JUMPDEST 00000b2a: PUSH1 0x00 00000b2c: PUSH2 0x0b33 00000b2f: PUSH2 0x117f 00000b32: JUMP 00000b33: JUMPDEST 00000b34: PUSH1 0x09 00000b36: SLOAD 00000b37: PUSH1 0x01 00000b39: PUSH1 0x01 00000b3b: PUSH1 0xa0 00000b3d: SHL 00000b3e: SUB 00000b3f: SWAP1 00000b40: DUP2 00000b41: AND 00000b42: SWAP2 00000b43: AND 00000b44: EQ 00000b45: PUSH2 0x0b83 00000b48: JUMPI 00000b49: PUSH1 0x40 00000b4b: DUP1 00000b4c: MLOAD 00000b4d: PUSH3 0x461bcd 00000b51: PUSH1 0xe5 00000b53: SHL 00000b54: DUP2 00000b55: MSTORE 00000b56: PUSH1 0x20 00000b58: PUSH1 0x04 00000b5a: DUP3 00000b5b: ADD 00000b5c: DUP2 00000b5d: SWAP1 00000b5e: MSTORE 00000b5f: PUSH1 0x24 00000b61: DUP3 00000b62: ADD 00000b63: MSTORE 00000b64: PUSH1 0x00 00000b66: DUP1 00000b67: MLOAD 00000b68: PUSH1 0x20 00000b6a: PUSH2 0x18b9 00000b6d: DUP4 00000b6e: CODECOPY 00000b6f: DUP2 00000b70: MLOAD 00000b71: SWAP2 00000b72: MSTORE 00000b73: PUSH1 0x44 00000b75: DUP3 00000b76: ADD 00000b77: MSTORE 00000b78: SWAP1 00000b79: MLOAD 00000b7a: SWAP1 00000b7b: DUP2 00000b7c: SWAP1 00000b7d: SUB 00000b7e: PUSH1 0x64 00000b80: ADD 00000b81: SWAP1 00000b82: REVERT 00000b83: JUMPDEST 00000b84: PUSH1 0x00 00000b86: PUSH2 0x0b8f 00000b89: DUP5 00000b8a: DUP5 00000b8b: PUSH2 0x133c 00000b8e: JUMP 00000b8f: JUMPDEST 00000b90: SWAP5 00000b91: SWAP4 00000b92: POP 00000b93: POP 00000b94: POP 00000b95: POP 00000b96: JUMP 00000b97: JUMPDEST 00000b98: PUSH1 0x40 00000b9a: MLOAD 00000b9b: PUSH3 0x461bcd 00000b9f: PUSH1 0xe5 00000ba1: SHL 00000ba2: DUP2 00000ba3: MSTORE 00000ba4: PUSH1 0x04 00000ba6: ADD 00000ba7: DUP1 00000ba8: DUP1 00000ba9: PUSH1 0x20 00000bab: ADD 00000bac: DUP3 00000bad: DUP2 00000bae: SUB 00000baf: DUP3 00000bb0: MSTORE 00000bb1: PUSH1 0x6d 00000bb3: DUP2 00000bb4: MSTORE 00000bb5: PUSH1 0x20 00000bb7: ADD 00000bb8: DUP1 00000bb9: PUSH2 0x1803 00000bbc: PUSH1 0x6d 00000bbe: SWAP2 00000bbf: CODECOPY 00000bc0: PUSH1 0x80 00000bc2: ADD 00000bc3: SWAP2 00000bc4: POP 00000bc5: POP 00000bc6: PUSH1 0x40 00000bc8: MLOAD 00000bc9: DUP1 00000bca: SWAP2 00000bcb: SUB 00000bcc: SWAP1 00000bcd: REVERT 00000bce: JUMPDEST 00000bcf: PUSH1 0x01 00000bd1: PUSH1 0x01 00000bd3: PUSH1 0xa0 00000bd5: SHL 00000bd6: SUB 00000bd7: AND 00000bd8: PUSH1 0x00 00000bda: SWAP1 00000bdb: DUP2 00000bdc: MSTORE 00000bdd: PUSH1 0x20 00000bdf: DUP2 00000be0: SWAP1 00000be1: MSTORE 00000be2: PUSH1 0x40 00000be4: SWAP1 00000be5: KECCAK256 00000be6: SLOAD 00000be7: SWAP1 00000be8: JUMP 00000be9: JUMPDEST 00000bea: PUSH2 0x0bf1 00000bed: PUSH2 0x117f 00000bf0: JUMP 00000bf1: JUMPDEST 00000bf2: PUSH1 0x09 00000bf4: SLOAD 00000bf5: PUSH1 0x01 00000bf7: PUSH1 0x01 00000bf9: PUSH1 0xa0 00000bfb: SHL 00000bfc: SUB 00000bfd: SWAP1 00000bfe: DUP2 00000bff: AND 00000c00: SWAP2 00000c01: AND 00000c02: EQ 00000c03: PUSH2 0x0c41 00000c06: JUMPI 00000c07: PUSH1 0x40 00000c09: DUP1 00000c0a: MLOAD 00000c0b: PUSH3 0x461bcd 00000c0f: PUSH1 0xe5 00000c11: SHL 00000c12: DUP2 00000c13: MSTORE 00000c14: PUSH1 0x20 00000c16: PUSH1 0x04 00000c18: DUP3 00000c19: ADD 00000c1a: DUP2 00000c1b: SWAP1 00000c1c: MSTORE 00000c1d: PUSH1 0x24 00000c1f: DUP3 00000c20: ADD 00000c21: MSTORE 00000c22: PUSH1 0x00 00000c24: DUP1 00000c25: MLOAD 00000c26: PUSH1 0x20 00000c28: PUSH2 0x18b9 00000c2b: DUP4 00000c2c: CODECOPY 00000c2d: DUP2 00000c2e: MLOAD 00000c2f: SWAP2 00000c30: MSTORE 00000c31: PUSH1 0x44 00000c33: DUP3 00000c34: ADD 00000c35: MSTORE 00000c36: SWAP1 00000c37: MLOAD 00000c38: SWAP1 00000c39: DUP2 00000c3a: SWAP1 00000c3b: SUB 00000c3c: PUSH1 0x64 00000c3e: ADD 00000c3f: SWAP1 00000c40: REVERT 00000c41: JUMPDEST 00000c42: PUSH1 0x09 00000c44: SLOAD 00000c45: PUSH1 0x40 00000c47: MLOAD 00000c48: PUSH1 0x00 00000c4a: SWAP2 00000c4b: PUSH1 0x01 00000c4d: PUSH1 0x01 00000c4f: PUSH1 0xa0 00000c51: SHL 00000c52: SUB 00000c53: AND 00000c54: SWAP1 00000c55: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000c76: SWAP1 00000c77: DUP4 00000c78: SWAP1 00000c79: LOG3 00000c7a: PUSH1 0x09 00000c7c: DUP1 00000c7d: SLOAD 00000c7e: PUSH1 0x01 00000c80: PUSH1 0x01 00000c82: PUSH1 0xa0 00000c84: SHL 00000c85: SUB 00000c86: NOT 00000c87: AND 00000c88: SWAP1 00000c89: SSTORE 00000c8a: JUMP 00000c8b: JUMPDEST 00000c8c: PUSH1 0x08 00000c8e: SLOAD 00000c8f: DUP2 00000c90: JUMP 00000c91: JUMPDEST 00000c92: PUSH1 0x09 00000c94: SLOAD 00000c95: PUSH1 0x01 00000c97: PUSH1 0x01 00000c99: PUSH1 0xa0 00000c9b: SHL 00000c9c: SUB 00000c9d: AND 00000c9e: SWAP1 00000c9f: JUMP 00000ca0: JUMPDEST 00000ca1: PUSH1 0x00 00000ca3: PUSH2 0x086f 00000ca6: DUP3 00000ca7: PUSH2 0x0d74 00000caa: JUMP 00000cab: JUMPDEST 00000cac: PUSH1 0x04 00000cae: DUP1 00000caf: SLOAD 00000cb0: PUSH1 0x40 00000cb2: DUP1 00000cb3: MLOAD 00000cb4: PUSH1 0x20 00000cb6: PUSH1 0x1f 00000cb8: PUSH1 0x02 00000cba: PUSH1 0x00 00000cbc: NOT 00000cbd: PUSH2 0x0100 00000cc0: PUSH1 0x01 00000cc2: DUP9 00000cc3: AND 00000cc4: ISZERO 00000cc5: MUL 00000cc6: ADD 00000cc7: SWAP1 00000cc8: SWAP6 00000cc9: AND 00000cca: SWAP5 00000ccb: SWAP1 00000ccc: SWAP5 00000ccd: DIV 00000cce: SWAP4 00000ccf: DUP5 00000cd0: ADD 00000cd1: DUP2 00000cd2: SWAP1 00000cd3: DIV 00000cd4: DUP2 00000cd5: MUL 00000cd6: DUP3 00000cd7: ADD 00000cd8: DUP2 00000cd9: ADD 00000cda: SWAP1 00000cdb: SWAP3 00000cdc: MSTORE 00000cdd: DUP3 00000cde: DUP2 00000cdf: MSTORE 00000ce0: PUSH1 0x60 00000ce2: SWAP4 00000ce3: SWAP1 00000ce4: SWAP3 00000ce5: SWAP1 00000ce6: SWAP2 00000ce7: DUP4 00000ce8: ADD 00000ce9: DUP3 00000cea: DUP3 00000ceb: DUP1 00000cec: ISZERO 00000ced: PUSH2 0x084d 00000cf0: JUMPI 00000cf1: DUP1 00000cf2: PUSH1 0x1f 00000cf4: LT 00000cf5: PUSH2 0x0822 00000cf8: JUMPI 00000cf9: PUSH2 0x0100 00000cfc: DUP1 00000cfd: DUP4 00000cfe: SLOAD 00000cff: DIV 00000d00: MUL 00000d01: DUP4 00000d02: MSTORE 00000d03: SWAP2 00000d04: PUSH1 0x20 00000d06: ADD 00000d07: SWAP2 00000d08: PUSH2 0x084d 00000d0b: JUMP 00000d0c: JUMPDEST 00000d0d: PUSH1 0x00 00000d0f: PUSH2 0x086b 00000d12: PUSH2 0x0d19 00000d15: PUSH2 0x117f 00000d18: JUMP 00000d19: JUMPDEST 00000d1a: DUP5 00000d1b: PUSH2 0x08f9 00000d1e: DUP6 00000d1f: PUSH1 0x40 00000d21: MLOAD 00000d22: DUP1 00000d23: PUSH1 0x60 00000d25: ADD 00000d26: PUSH1 0x40 00000d28: MSTORE 00000d29: DUP1 00000d2a: PUSH1 0x25 00000d2c: DUP2 00000d2d: MSTORE 00000d2e: PUSH1 0x20 00000d30: ADD 00000d31: PUSH2 0x1929 00000d34: PUSH1 0x25 00000d36: SWAP2 00000d37: CODECOPY 00000d38: PUSH1 0x01 00000d3a: PUSH1 0x00 00000d3c: PUSH2 0x0d43 00000d3f: PUSH2 0x117f 00000d42: JUMP 00000d43: JUMPDEST 00000d44: PUSH1 0x01 00000d46: PUSH1 0x01 00000d48: PUSH1 0xa0 00000d4a: SHL 00000d4b: SUB 00000d4c: SWAP1 00000d4d: DUP2 00000d4e: AND 00000d4f: DUP3 00000d50: MSTORE 00000d51: PUSH1 0x20 00000d53: DUP1 00000d54: DUP4 00000d55: ADD 00000d56: SWAP4 00000d57: SWAP1 00000d58: SWAP4 00000d59: MSTORE 00000d5a: PUSH1 0x40 00000d5c: SWAP2 00000d5d: DUP3 00000d5e: ADD 00000d5f: PUSH1 0x00 00000d61: SWAP1 00000d62: DUP2 00000d63: KECCAK256 00000d64: SWAP2 00000d65: DUP14 00000d66: AND 00000d67: DUP2 00000d68: MSTORE 00000d69: SWAP3 00000d6a: MSTORE 00000d6b: SWAP1 00000d6c: KECCAK256 00000d6d: SLOAD 00000d6e: SWAP2 00000d6f: SWAP1 00000d70: PUSH2 0x11f6 00000d73: JUMP 00000d74: JUMPDEST 00000d75: PUSH1 0x01 00000d77: PUSH1 0x01 00000d79: PUSH1 0xa0 00000d7b: SHL 00000d7c: SUB 00000d7d: DUP2 00000d7e: AND 00000d7f: PUSH1 0x00 00000d81: SWAP1 00000d82: DUP2 00000d83: MSTORE 00000d84: PUSH1 0x07 00000d86: PUSH1 0x20 00000d88: MSTORE 00000d89: PUSH1 0x40 00000d8b: DUP2 00000d8c: KECCAK256 00000d8d: SLOAD 00000d8e: PUSH2 0x086f 00000d91: SWAP1 00000d92: PUSH2 0x0d9a 00000d95: DUP5 00000d96: PUSH2 0x0908 00000d99: JUMP 00000d9a: JUMPDEST 00000d9b: SWAP1 00000d9c: PUSH2 0x1483 00000d9f: JUMP 00000da0: JUMPDEST 00000da1: PUSH1 0x00 00000da3: PUSH2 0x086b 00000da6: PUSH2 0x0dad 00000da9: PUSH2 0x117f 00000dac: JUMP 00000dad: JUMPDEST 00000dae: DUP5 00000daf: DUP5 00000db0: PUSH2 0x11bf 00000db3: JUMP 00000db4: JUMPDEST 00000db5: PUSH1 0x01 00000db7: PUSH1 0x01 00000db9: PUSH1 0xa0 00000dbb: SHL 00000dbc: SUB 00000dbd: AND 00000dbe: PUSH1 0x00 00000dc0: SWAP1 00000dc1: DUP2 00000dc2: MSTORE 00000dc3: PUSH1 0x07 00000dc5: PUSH1 0x20 00000dc7: MSTORE 00000dc8: PUSH1 0x40 00000dca: SWAP1 00000dcb: KECCAK256 00000dcc: SLOAD 00000dcd: SWAP1 00000dce: JUMP 00000dcf: JUMPDEST 00000dd0: PUSH1 0x0f 00000dd2: SLOAD 00000dd3: DUP2 00000dd4: JUMP 00000dd5: JUMPDEST 00000dd6: PUSH1 0x01 00000dd8: PUSH1 0x01 00000dda: PUSH1 0xa0 00000ddc: SHL 00000ddd: SUB 00000dde: SWAP2 00000ddf: DUP3 00000de0: AND 00000de1: PUSH1 0x00 00000de3: SWAP1 00000de4: DUP2 00000de5: MSTORE 00000de6: PUSH1 0x01 00000de8: PUSH1 0x20 00000dea: SWAP1 00000deb: DUP2 00000dec: MSTORE 00000ded: PUSH1 0x40 00000def: DUP1 00000df0: DUP4 00000df1: KECCAK256 00000df2: SWAP4 00000df3: SWAP1 00000df4: SWAP5 00000df5: AND 00000df6: DUP3 00000df7: MSTORE 00000df8: SWAP2 00000df9: SWAP1 00000dfa: SWAP2 00000dfb: MSTORE 00000dfc: KECCAK256 00000dfd: SLOAD 00000dfe: SWAP1 00000dff: JUMP 00000e00: JUMPDEST 00000e01: PUSH2 0x0e08 00000e04: PUSH2 0x117f 00000e07: JUMP 00000e08: JUMPDEST 00000e09: PUSH1 0x09 00000e0b: SLOAD 00000e0c: PUSH1 0x01 00000e0e: PUSH1 0x01 00000e10: PUSH1 0xa0 00000e12: SHL 00000e13: SUB 00000e14: SWAP1 00000e15: DUP2 00000e16: AND 00000e17: SWAP2 00000e18: AND 00000e19: EQ 00000e1a: PUSH2 0x0e58 00000e1d: JUMPI 00000e1e: PUSH1 0x40 00000e20: DUP1 00000e21: MLOAD 00000e22: PUSH3 0x461bcd 00000e26: PUSH1 0xe5 00000e28: SHL 00000e29: DUP2 00000e2a: MSTORE 00000e2b: PUSH1 0x20 00000e2d: PUSH1 0x04 00000e2f: DUP3 00000e30: ADD 00000e31: DUP2 00000e32: SWAP1 00000e33: MSTORE 00000e34: PUSH1 0x24 00000e36: DUP3 00000e37: ADD 00000e38: MSTORE 00000e39: PUSH1 0x00 00000e3b: DUP1 00000e3c: MLOAD 00000e3d: PUSH1 0x20 00000e3f: PUSH2 0x18b9 00000e42: DUP4 00000e43: CODECOPY 00000e44: DUP2 00000e45: MLOAD 00000e46: SWAP2 00000e47: MSTORE 00000e48: PUSH1 0x44 00000e4a: DUP3 00000e4b: ADD 00000e4c: MSTORE 00000e4d: SWAP1 00000e4e: MLOAD 00000e4f: SWAP1 00000e50: DUP2 00000e51: SWAP1 00000e52: SUB 00000e53: PUSH1 0x64 00000e55: ADD 00000e56: SWAP1 00000e57: REVERT 00000e58: JUMPDEST 00000e59: PUSH1 0x01 00000e5b: PUSH1 0x01 00000e5d: PUSH1 0xa0 00000e5f: SHL 00000e60: SUB 00000e61: DUP3 00000e62: AND 00000e63: PUSH1 0x00 00000e65: SWAP1 00000e66: DUP2 00000e67: MSTORE 00000e68: PUSH1 0x0e 00000e6a: PUSH1 0x20 00000e6c: MSTORE 00000e6d: PUSH1 0x40 00000e6f: SWAP1 00000e70: KECCAK256 00000e71: SLOAD 00000e72: PUSH1 0xff 00000e74: AND 00000e75: ISZERO 00000e76: PUSH2 0x0e7e 00000e79: JUMPI 00000e7a: PUSH2 0x0f9b 00000e7d: JUMP 00000e7e: JUMPDEST 00000e7f: PUSH1 0x0f 00000e81: SLOAD 00000e82: DUP2 00000e83: LT 00000e84: PUSH2 0x0f16 00000e87: JUMPI 00000e88: PUSH2 0x0e91 00000e8b: DUP3 00000e8c: DUP3 00000e8d: PUSH2 0x12e3 00000e90: JUMP 00000e91: JUMPDEST 00000e92: PUSH1 0x40 00000e94: DUP1 00000e95: MLOAD 00000e96: PUSH4 0x2f0ad017 00000e9b: PUSH1 0xe2 00000e9d: SHL 00000e9e: DUP2 00000e9f: MSTORE 00000ea0: PUSH1 0x0a 00000ea2: PUSH1 0x04 00000ea4: DUP3 00000ea5: ADD 00000ea6: MSTORE 00000ea7: PUSH1 0x01 00000ea9: PUSH1 0x01 00000eab: PUSH1 0xa0 00000ead: SHL 00000eae: SUB 00000eaf: DUP5 00000eb0: AND 00000eb1: PUSH1 0x24 00000eb3: DUP3 00000eb4: ADD 00000eb5: MSTORE 00000eb6: PUSH1 0x44 00000eb8: DUP2 00000eb9: ADD 00000eba: DUP4 00000ebb: SWAP1 00000ebc: MSTORE 00000ebd: SWAP1 00000ebe: MLOAD 00000ebf: PUSH20 0xb434c910e1dd843aa8e80b5373b4ada9f34d3f2e 00000ed4: SWAP2 00000ed5: PUSH4 0xbc2b405c 00000eda: SWAP2 00000edb: PUSH1 0x64 00000edd: DUP1 00000ede: DUP4 00000edf: ADD 00000ee0: SWAP3 00000ee1: PUSH1 0x00 00000ee3: SWAP3 00000ee4: SWAP2 00000ee5: SWAP1 00000ee6: DUP3 00000ee7: SWAP1 00000ee8: SUB 00000ee9: ADD 00000eea: DUP2 00000eeb: DUP7 00000eec: DUP1 00000eed: EXTCODESIZE 00000eee: ISZERO 00000eef: DUP1 00000ef0: ISZERO 00000ef1: PUSH2 0x0ef9 00000ef4: JUMPI 00000ef5: PUSH1 0x00 00000ef7: DUP1 00000ef8: REVERT 00000ef9: JUMPDEST 00000efa: POP 00000efb: GAS 00000efc: DELEGATECALL 00000efd: ISZERO 00000efe: DUP1 00000eff: ISZERO 00000f00: PUSH2 0x0f0d 00000f03: JUMPI 00000f04: RETURNDATASIZE 00000f05: PUSH1 0x00 00000f07: DUP1 00000f08: RETURNDATACOPY 00000f09: RETURNDATASIZE 00000f0a: PUSH1 0x00 00000f0c: REVERT 00000f0d: JUMPDEST 00000f0e: POP 00000f0f: POP 00000f10: POP 00000f11: POP 00000f12: PUSH2 0x0f9b 00000f15: JUMP 00000f16: JUMPDEST 00000f17: PUSH2 0x0f21 00000f1a: DUP3 00000f1b: PUSH1 0x00 00000f1d: PUSH2 0x12e3 00000f20: JUMP 00000f21: JUMPDEST 00000f22: PUSH1 0x40 00000f24: DUP1 00000f25: MLOAD 00000f26: PUSH4 0x131836e7 00000f2b: PUSH1 0xe2 00000f2d: SHL 00000f2e: DUP2 00000f2f: MSTORE 00000f30: PUSH1 0x0a 00000f32: PUSH1 0x04 00000f34: DUP3 00000f35: ADD 00000f36: MSTORE 00000f37: PUSH1 0x01 00000f39: PUSH1 0x01 00000f3b: PUSH1 0xa0 00000f3d: SHL 00000f3e: SUB 00000f3f: DUP5 00000f40: AND 00000f41: PUSH1 0x24 00000f43: DUP3 00000f44: ADD 00000f45: MSTORE 00000f46: SWAP1 00000f47: MLOAD 00000f48: PUSH20 0xb434c910e1dd843aa8e80b5373b4ada9f34d3f2e 00000f5d: SWAP2 00000f5e: PUSH4 0x4c60db9c 00000f63: SWAP2 00000f64: PUSH1 0x44 00000f66: DUP1 00000f67: DUP4 00000f68: ADD 00000f69: SWAP3 00000f6a: PUSH1 0x00 00000f6c: SWAP3 00000f6d: SWAP2 00000f6e: SWAP1 00000f6f: DUP3 00000f70: SWAP1 00000f71: SUB 00000f72: ADD 00000f73: DUP2 00000f74: DUP7 00000f75: DUP1 00000f76: EXTCODESIZE 00000f77: ISZERO 00000f78: DUP1 00000f79: ISZERO 00000f7a: PUSH2 0x0f82 00000f7d: JUMPI 00000f7e: PUSH1 0x00 00000f80: DUP1 00000f81: REVERT 00000f82: JUMPDEST 00000f83: POP 00000f84: GAS 00000f85: DELEGATECALL 00000f86: ISZERO 00000f87: DUP1 00000f88: ISZERO 00000f89: PUSH2 0x0f96 00000f8c: JUMPI 00000f8d: RETURNDATASIZE 00000f8e: PUSH1 0x00 00000f90: DUP1 00000f91: RETURNDATACOPY 00000f92: RETURNDATASIZE 00000f93: PUSH1 0x00 00000f95: REVERT 00000f96: JUMPDEST 00000f97: POP 00000f98: POP 00000f99: POP 00000f9a: POP 00000f9b: JUMPDEST 00000f9c: POP 00000f9d: POP 00000f9e: JUMP 00000f9f: JUMPDEST 00000fa0: PUSH2 0x0fa7 00000fa3: PUSH2 0x117f 00000fa6: JUMP 00000fa7: JUMPDEST 00000fa8: PUSH1 0x09 00000faa: SLOAD 00000fab: PUSH1 0x01 00000fad: PUSH1 0x01 00000faf: PUSH1 0xa0 00000fb1: SHL 00000fb2: SUB 00000fb3: SWAP1 00000fb4: DUP2 00000fb5: AND 00000fb6: SWAP2 00000fb7: AND 00000fb8: EQ 00000fb9: PUSH2 0x0ff7 00000fbc: JUMPI 00000fbd: PUSH1 0x40 00000fbf: DUP1 00000fc0: MLOAD 00000fc1: PUSH3 0x461bcd 00000fc5: PUSH1 0xe5 00000fc7: SHL 00000fc8: DUP2 00000fc9: MSTORE 00000fca: PUSH1 0x20 00000fcc: PUSH1 0x04 00000fce: DUP3 00000fcf: ADD 00000fd0: DUP2 00000fd1: SWAP1 00000fd2: MSTORE 00000fd3: PUSH1 0x24 00000fd5: DUP3 00000fd6: ADD 00000fd7: MSTORE 00000fd8: PUSH1 0x00 00000fda: DUP1 00000fdb: MLOAD 00000fdc: PUSH1 0x20 00000fde: PUSH2 0x18b9 00000fe1: DUP4 00000fe2: CODECOPY 00000fe3: DUP2 00000fe4: MLOAD 00000fe5: SWAP2 00000fe6: MSTORE 00000fe7: PUSH1 0x44 00000fe9: DUP3 00000fea: ADD 00000feb: MSTORE 00000fec: SWAP1 00000fed: MLOAD 00000fee: SWAP1 00000fef: DUP2 00000ff0: SWAP1 00000ff1: SUB 00000ff2: PUSH1 0x64 00000ff4: ADD 00000ff5: SWAP1 00000ff6: REVERT 00000ff7: JUMPDEST 00000ff8: PUSH1 0x01 00000ffa: PUSH1 0x01 00000ffc: PUSH1 0xa0 00000ffe: SHL 00000fff: SUB 00001000: DUP2 00001001: AND 00001002: PUSH2 0x103c 00001005: JUMPI 00001006: PUSH1 0x40 00001008: MLOAD 00001009: PUSH3 0x461bcd 0000100d: PUSH1 0xe5 0000100f: SHL 00001010: DUP2 00001011: MSTORE 00001012: PUSH1 0x04 00001014: ADD 00001015: DUP1 00001016: DUP1 00001017: PUSH1 0x20 00001019: ADD 0000101a: DUP3 0000101b: DUP2 0000101c: SUB 0000101d: DUP3 0000101e: MSTORE 0000101f: PUSH1 0x26 00001021: DUP2 00001022: MSTORE 00001023: PUSH1 0x20 00001025: ADD 00001026: DUP1 00001027: PUSH2 0x17dd 0000102a: PUSH1 0x26 0000102c: SWAP2 0000102d: CODECOPY 0000102e: PUSH1 0x40 00001030: ADD 00001031: SWAP2 00001032: POP 00001033: POP 00001034: PUSH1 0x40 00001036: MLOAD 00001037: DUP1 00001038: SWAP2 00001039: SUB 0000103a: SWAP1 0000103b: REVERT 0000103c: JUMPDEST 0000103d: PUSH1 0x09 0000103f: SLOAD 00001040: PUSH1 0x40 00001042: MLOAD 00001043: PUSH1 0x01 00001045: PUSH1 0x01 00001047: PUSH1 0xa0 00001049: SHL 0000104a: SUB 0000104b: DUP1 0000104c: DUP5 0000104d: AND 0000104e: SWAP3 0000104f: AND 00001050: SWAP1 00001051: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001072: SWAP1 00001073: PUSH1 0x00 00001075: SWAP1 00001076: LOG3 00001077: PUSH1 0x09 00001079: DUP1 0000107a: SLOAD 0000107b: PUSH1 0x01 0000107d: PUSH1 0x01 0000107f: PUSH1 0xa0 00001081: SHL 00001082: SUB 00001083: NOT 00001084: AND 00001085: PUSH1 0x01 00001087: PUSH1 0x01 00001089: PUSH1 0xa0 0000108b: SHL 0000108c: SUB 0000108d: SWAP3 0000108e: SWAP1 0000108f: SWAP3 00001090: AND 00001091: SWAP2 00001092: SWAP1 00001093: SWAP2 00001094: OR 00001095: SWAP1 00001096: SSTORE 00001097: JUMP 00001098: JUMPDEST 00001099: PUSH1 0x00 0000109b: DUP1 0000109c: PUSH2 0x10a4 0000109f: DUP4 000010a0: PUSH2 0x0d74 000010a3: JUMP 000010a4: JUMPDEST 000010a5: PUSH1 0x01 000010a7: PUSH1 0x01 000010a9: PUSH1 0xa0 000010ab: SHL 000010ac: SUB 000010ad: SWAP1 000010ae: SWAP4 000010af: AND 000010b0: PUSH1 0x00 000010b2: SWAP1 000010b3: DUP2 000010b4: MSTORE 000010b5: PUSH1 0x07 000010b7: PUSH1 0x20 000010b9: MSTORE 000010ba: PUSH1 0x40 000010bc: SWAP1 000010bd: KECCAK256 000010be: SLOAD 000010bf: SWAP3 000010c0: SWAP4 000010c1: SWAP2 000010c2: POP 000010c3: POP 000010c4: JUMP 000010c5: JUMPDEST 000010c6: PUSH1 0x00 000010c8: DUP3 000010c9: PUSH2 0x10d4 000010cc: JUMPI 000010cd: POP 000010ce: PUSH1 0x00 000010d0: PUSH2 0x086f 000010d3: JUMP 000010d4: JUMPDEST 000010d5: DUP3 000010d6: DUP3 000010d7: MUL 000010d8: DUP3 000010d9: DUP5 000010da: DUP3 000010db: DUP2 000010dc: PUSH2 0x10e1 000010df: JUMPI 000010e0: INVALID 000010e1: JUMPDEST 000010e2: DIV 000010e3: EQ 000010e4: PUSH2 0x111e 000010e7: JUMPI 000010e8: PUSH1 0x40 000010ea: MLOAD 000010eb: PUSH3 0x461bcd 000010ef: PUSH1 0xe5 000010f1: SHL 000010f2: DUP2 000010f3: MSTORE 000010f4: PUSH1 0x04 000010f6: ADD 000010f7: DUP1 000010f8: DUP1 000010f9: PUSH1 0x20 000010fb: ADD 000010fc: DUP3 000010fd: DUP2 000010fe: SUB 000010ff: DUP3 00001100: MSTORE 00001101: PUSH1 0x21 00001103: DUP2 00001104: MSTORE 00001105: PUSH1 0x20 00001107: ADD 00001108: DUP1 00001109: PUSH2 0x1870 0000110c: PUSH1 0x21 0000110e: SWAP2 0000110f: CODECOPY 00001110: PUSH1 0x40 00001112: ADD 00001113: SWAP2 00001114: POP 00001115: POP 00001116: PUSH1 0x40 00001118: MLOAD 00001119: DUP1 0000111a: SWAP2 0000111b: SUB 0000111c: SWAP1 0000111d: REVERT 0000111e: JUMPDEST 0000111f: SWAP4 00001120: SWAP3 00001121: POP 00001122: POP 00001123: POP 00001124: JUMP 00001125: JUMPDEST 00001126: PUSH1 0x00 00001128: DUP3 00001129: DUP3 0000112a: ADD 0000112b: DUP4 0000112c: DUP2 0000112d: LT 0000112e: ISZERO 0000112f: PUSH2 0x111e 00001132: JUMPI 00001133: PUSH1 0x40 00001135: DUP1 00001136: MLOAD 00001137: PUSH3 0x461bcd 0000113b: PUSH1 0xe5 0000113d: SHL 0000113e: DUP2 0000113f: MSTORE 00001140: PUSH1 0x20 00001142: PUSH1 0x04 00001144: DUP3 00001145: ADD 00001146: MSTORE 00001147: PUSH1 0x1b 00001149: PUSH1 0x24 0000114b: DUP3 0000114c: ADD 0000114d: MSTORE 0000114e: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 0000116f: PUSH1 0x44 00001171: DUP3 00001172: ADD 00001173: MSTORE 00001174: SWAP1 00001175: MLOAD 00001176: SWAP1 00001177: DUP2 00001178: SWAP1 00001179: SUB 0000117a: PUSH1 0x64 0000117c: ADD 0000117d: SWAP1 0000117e: REVERT 0000117f: JUMPDEST 00001180: CALLER 00001181: SWAP1 00001182: JUMP 00001183: JUMPDEST 00001184: PUSH1 0x40 00001186: MLOAD 00001187: PUSH3 0x461bcd 0000118b: PUSH1 0xe5 0000118d: SHL 0000118e: DUP2 0000118f: MSTORE 00001190: PUSH1 0x04 00001192: ADD 00001193: DUP1 00001194: DUP1 00001195: PUSH1 0x20 00001197: ADD 00001198: DUP3 00001199: DUP2 0000119a: SUB 0000119b: DUP3 0000119c: MSTORE 0000119d: PUSH1 0x2f 0000119f: DUP2 000011a0: MSTORE 000011a1: PUSH1 0x20 000011a3: ADD 000011a4: DUP1 000011a5: PUSH2 0x178c 000011a8: PUSH1 0x2f 000011aa: SWAP2 000011ab: CODECOPY 000011ac: PUSH1 0x40 000011ae: ADD 000011af: SWAP2 000011b0: POP 000011b1: POP 000011b2: PUSH1 0x40 000011b4: MLOAD 000011b5: DUP1 000011b6: SWAP2 000011b7: SUB 000011b8: SWAP1 000011b9: REVERT 000011ba: JUMPDEST 000011bb: POP 000011bc: POP 000011bd: POP 000011be: JUMP 000011bf: JUMPDEST 000011c0: PUSH1 0x40 000011c2: MLOAD 000011c3: PUSH3 0x461bcd 000011c7: PUSH1 0xe5 000011c9: SHL 000011ca: DUP2 000011cb: MSTORE 000011cc: PUSH1 0x04 000011ce: ADD 000011cf: DUP1 000011d0: DUP1 000011d1: PUSH1 0x20 000011d3: ADD 000011d4: DUP3 000011d5: DUP2 000011d6: SUB 000011d7: DUP3 000011d8: MSTORE 000011d9: PUSH1 0x2f 000011db: DUP2 000011dc: MSTORE 000011dd: PUSH1 0x20 000011df: ADD 000011e0: DUP1 000011e1: PUSH2 0x18fa 000011e4: PUSH1 0x2f 000011e6: SWAP2 000011e7: CODECOPY 000011e8: PUSH1 0x40 000011ea: ADD 000011eb: SWAP2 000011ec: POP 000011ed: POP 000011ee: PUSH1 0x40 000011f0: MLOAD 000011f1: DUP1 000011f2: SWAP2 000011f3: SUB 000011f4: SWAP1 000011f5: REVERT 000011f6: JUMPDEST 000011f7: PUSH1 0x00 000011f9: DUP2 000011fa: DUP5 000011fb: DUP5 000011fc: GT 000011fd: ISZERO 000011fe: PUSH2 0x1285 00001201: JUMPI 00001202: PUSH1 0x40 00001204: MLOAD 00001205: PUSH3 0x461bcd 00001209: PUSH1 0xe5 0000120b: SHL 0000120c: DUP2 0000120d: MSTORE 0000120e: PUSH1 0x04 00001210: ADD 00001211: DUP1 00001212: DUP1 00001213: PUSH1 0x20 00001215: ADD 00001216: DUP3 00001217: DUP2 00001218: SUB 00001219: DUP3 0000121a: MSTORE 0000121b: DUP4 0000121c: DUP2 0000121d: DUP2 0000121e: MLOAD 0000121f: DUP2 00001220: MSTORE 00001221: PUSH1 0x20 00001223: ADD 00001224: SWAP2 00001225: POP 00001226: DUP1 00001227: MLOAD 00001228: SWAP1 00001229: PUSH1 0x20 0000122b: ADD 0000122c: SWAP1 0000122d: DUP1 0000122e: DUP4 0000122f: DUP4 00001230: PUSH1 0x00 00001232: JUMPDEST 00001233: DUP4 00001234: DUP2 00001235: LT 00001236: ISZERO 00001237: PUSH2 0x124a 0000123a: JUMPI 0000123b: DUP2 0000123c: DUP2 0000123d: ADD 0000123e: MLOAD 0000123f: DUP4 00001240: DUP3 00001241: ADD 00001242: MSTORE 00001243: PUSH1 0x20 00001245: ADD 00001246: PUSH2 0x1232 00001249: JUMP 0000124a: JUMPDEST 0000124b: POP 0000124c: POP 0000124d: POP 0000124e: POP 0000124f: SWAP1 00001250: POP 00001251: SWAP1 00001252: DUP2 00001253: ADD 00001254: SWAP1 00001255: PUSH1 0x1f 00001257: AND 00001258: DUP1 00001259: ISZERO 0000125a: PUSH2 0x1277 0000125d: JUMPI 0000125e: DUP1 0000125f: DUP3 00001260: SUB 00001261: DUP1 00001262: MLOAD 00001263: PUSH1 0x01 00001265: DUP4 00001266: PUSH1 0x20 00001268: SUB 00001269: PUSH2 0x0100 0000126c: EXP 0000126d: SUB 0000126e: NOT 0000126f: AND 00001270: DUP2 00001271: MSTORE 00001272: PUSH1 0x20 00001274: ADD 00001275: SWAP2 00001276: POP 00001277: JUMPDEST 00001278: POP 00001279: SWAP3 0000127a: POP 0000127b: POP 0000127c: POP 0000127d: PUSH1 0x40 0000127f: MLOAD 00001280: DUP1 00001281: SWAP2 00001282: SUB 00001283: SWAP1 00001284: REVERT 00001285: JUMPDEST 00001286: POP 00001287: POP 00001288: POP 00001289: SWAP1 0000128a: SUB 0000128b: SWAP1 0000128c: JUMP 0000128d: JUMPDEST 0000128e: PUSH1 0x00 00001290: DUP2 00001291: DUP2 00001292: DUP2 00001293: SLT 00001294: ISZERO 00001295: PUSH2 0x086f 00001298: JUMPI 00001299: PUSH1 0x00 0000129b: DUP1 0000129c: REVERT 0000129d: JUMPDEST 0000129e: PUSH1 0x00 000012a0: DUP3 000012a1: DUP3 000012a2: ADD 000012a3: DUP2 000012a4: DUP4 000012a5: SLT 000012a6: DUP1 000012a7: ISZERO 000012a8: SWAP1 000012a9: PUSH2 0x12b2 000012ac: JUMPI 000012ad: POP 000012ae: DUP4 000012af: DUP2 000012b0: SLT 000012b1: ISZERO 000012b2: JUMPDEST 000012b3: DUP1 000012b4: PUSH2 0x12c7 000012b7: JUMPI 000012b8: POP 000012b9: PUSH1 0x00 000012bb: DUP4 000012bc: SLT 000012bd: DUP1 000012be: ISZERO 000012bf: PUSH2 0x12c7 000012c2: JUMPI 000012c3: POP 000012c4: DUP4 000012c5: DUP2 000012c6: SLT 000012c7: JUMPDEST 000012c8: PUSH2 0x111e 000012cb: JUMPI 000012cc: PUSH1 0x00 000012ce: DUP1 000012cf: REVERT 000012d0: JUMPDEST 000012d1: PUSH1 0x00 000012d3: DUP1 000012d4: DUP3 000012d5: SLT 000012d6: ISZERO 000012d7: PUSH2 0x12df 000012da: JUMPI 000012db: PUSH1 0x00 000012dd: DUP1 000012de: REVERT 000012df: JUMPDEST 000012e0: POP 000012e1: SWAP1 000012e2: JUMP 000012e3: JUMPDEST 000012e4: PUSH1 0x00 000012e6: PUSH2 0x12ee 000012e9: DUP4 000012ea: PUSH2 0x0bce 000012ed: JUMP 000012ee: JUMPDEST 000012ef: SWAP1 000012f0: POP 000012f1: DUP1 000012f2: DUP3 000012f3: GT 000012f4: ISZERO 000012f5: PUSH2 0x1316 000012f8: JUMPI 000012f9: PUSH1 0x00 000012fb: PUSH2 0x1304 000012fe: DUP4 000012ff: DUP4 00001300: PUSH2 0x1483 00001303: JUMP 00001304: JUMPDEST 00001305: SWAP1 00001306: POP 00001307: PUSH2 0x1310 0000130a: DUP5 0000130b: DUP3 0000130c: PUSH2 0x14c5 0000130f: JUMP 00001310: JUMPDEST 00001311: POP 00001312: PUSH2 0x11ba 00001315: JUMP 00001316: JUMPDEST 00001317: DUP1 00001318: DUP3 00001319: LT 0000131a: ISZERO 0000131b: PUSH2 0x11ba 0000131e: JUMPI 0000131f: PUSH1 0x00 00001321: PUSH2 0x132a 00001324: DUP3 00001325: DUP5 00001326: PUSH2 0x1483 00001329: JUMP 0000132a: JUMPDEST 0000132b: SWAP1 0000132c: POP 0000132d: PUSH2 0x1336 00001330: DUP5 00001331: DUP3 00001332: PUSH2 0x1529 00001335: JUMP 00001336: JUMPDEST 00001337: POP 00001338: POP 00001339: POP 0000133a: POP 0000133b: JUMP 0000133c: JUMPDEST 0000133d: PUSH1 0x00 0000133f: DUP1 00001340: PUSH2 0x1348 00001343: DUP5 00001344: PUSH2 0x0d74 00001347: JUMP 00001348: JUMPDEST 00001349: SWAP1 0000134a: POP 0000134b: DUP1 0000134c: ISZERO 0000134d: PUSH2 0x1479 00001350: JUMPI 00001351: PUSH1 0x01 00001353: PUSH1 0x01 00001355: PUSH1 0xa0 00001357: SHL 00001358: SUB 00001359: DUP5 0000135a: AND 0000135b: PUSH1 0x00 0000135d: SWAP1 0000135e: DUP2 0000135f: MSTORE 00001360: PUSH1 0x07 00001362: PUSH1 0x20 00001364: MSTORE 00001365: PUSH1 0x40 00001367: SWAP1 00001368: KECCAK256 00001369: SLOAD 0000136a: PUSH2 0x1373 0000136d: SWAP1 0000136e: DUP3 0000136f: PUSH2 0x1125 00001372: JUMP 00001373: JUMPDEST 00001374: PUSH1 0x01 00001376: PUSH1 0x01 00001378: PUSH1 0xa0 0000137a: SHL 0000137b: SUB 0000137c: DUP1 0000137d: DUP7 0000137e: AND 0000137f: PUSH1 0x00 00001381: DUP2 00001382: DUP2 00001383: MSTORE 00001384: PUSH1 0x07 00001386: PUSH1 0x20 00001388: SWAP1 00001389: DUP2 0000138a: MSTORE 0000138b: PUSH1 0x40 0000138d: SWAP2 0000138e: DUP3 0000138f: SWAP1 00001390: KECCAK256 00001391: SWAP5 00001392: SWAP1 00001393: SWAP5 00001394: SSTORE 00001395: DUP1 00001396: MLOAD 00001397: DUP6 00001398: DUP2 00001399: MSTORE 0000139a: SWAP3 0000139b: DUP8 0000139c: AND 0000139d: SWAP4 0000139e: DUP4 0000139f: ADD 000013a0: SWAP4 000013a1: SWAP1 000013a2: SWAP4 000013a3: MSTORE 000013a4: DUP3 000013a5: MLOAD 000013a6: SWAP1 000013a7: SWAP3 000013a8: PUSH32 0xeb063efb53b3790d2bc15284b59af7544466c8787c2883321ee27095647911b6 000013c9: SWAP3 000013ca: DUP3 000013cb: SWAP1 000013cc: SUB 000013cd: ADD 000013ce: SWAP1 000013cf: LOG2 000013d0: PUSH1 0x40 000013d2: MLOAD 000013d3: PUSH1 0x00 000013d5: SWAP1 000013d6: PUSH1 0x01 000013d8: PUSH1 0x01 000013da: PUSH1 0xa0 000013dc: SHL 000013dd: SUB 000013de: DUP6 000013df: AND 000013e0: SWAP1 000013e1: DUP4 000013e2: SWAP1 000013e3: DUP4 000013e4: DUP2 000013e5: DUP2 000013e6: DUP2 000013e7: DUP6 000013e8: DUP8 000013e9: GAS 000013ea: CALL 000013eb: SWAP3 000013ec: POP 000013ed: POP 000013ee: POP 000013ef: RETURNDATASIZE 000013f0: DUP1 000013f1: PUSH1 0x00 000013f3: DUP2 000013f4: EQ 000013f5: PUSH2 0x141a 000013f8: JUMPI 000013f9: PUSH1 0x40 000013fb: MLOAD 000013fc: SWAP2 000013fd: POP 000013fe: PUSH1 0x1f 00001400: NOT 00001401: PUSH1 0x3f 00001403: RETURNDATASIZE 00001404: ADD 00001405: AND 00001406: DUP3 00001407: ADD 00001408: PUSH1 0x40 0000140a: MSTORE 0000140b: RETURNDATASIZE 0000140c: DUP3 0000140d: MSTORE 0000140e: RETURNDATASIZE 0000140f: PUSH1 0x00 00001411: PUSH1 0x20 00001413: DUP5 00001414: ADD 00001415: RETURNDATACOPY 00001416: PUSH2 0x141f 00001419: JUMP 0000141a: JUMPDEST 0000141b: PUSH1 0x60 0000141d: SWAP2 0000141e: POP 0000141f: JUMPDEST 00001420: POP 00001421: POP 00001422: SWAP1 00001423: POP 00001424: DUP1 00001425: PUSH2 0x1471 00001428: JUMPI 00001429: PUSH1 0x01 0000142b: PUSH1 0x01 0000142d: PUSH1 0xa0 0000142f: SHL 00001430: SUB 00001431: DUP6 00001432: AND 00001433: PUSH1 0x00 00001435: SWAP1 00001436: DUP2 00001437: MSTORE 00001438: PUSH1 0x07 0000143a: PUSH1 0x20 0000143c: MSTORE 0000143d: PUSH1 0x40 0000143f: SWAP1 00001440: KECCAK256 00001441: SLOAD 00001442: PUSH2 0x144b 00001445: SWAP1 00001446: DUP4 00001447: PUSH2 0x1483 0000144a: JUMP 0000144b: JUMPDEST 0000144c: PUSH1 0x01 0000144e: PUSH1 0x01 00001450: PUSH1 0xa0 00001452: SHL 00001453: SUB 00001454: DUP7 00001455: AND 00001456: PUSH1 0x00 00001458: SWAP1 00001459: DUP2 0000145a: MSTORE 0000145b: PUSH1 0x07 0000145d: PUSH1 0x20 0000145f: MSTORE 00001460: PUSH1 0x40 00001462: DUP2 00001463: KECCAK256 00001464: SWAP2 00001465: SWAP1 00001466: SWAP2 00001467: SSTORE 00001468: SWAP3 00001469: POP 0000146a: PUSH2 0x086f 0000146d: SWAP2 0000146e: POP 0000146f: POP 00001470: JUMP 00001471: JUMPDEST 00001472: POP 00001473: SWAP1 00001474: POP 00001475: PUSH2 0x086f 00001478: JUMP 00001479: JUMPDEST 0000147a: POP 0000147b: PUSH1 0x00 0000147d: SWAP4 0000147e: SWAP3 0000147f: POP 00001480: POP 00001481: POP 00001482: JUMP 00001483: JUMPDEST 00001484: PUSH1 0x00 00001486: PUSH2 0x111e 00001489: DUP4 0000148a: DUP4 0000148b: PUSH1 0x40 0000148d: MLOAD 0000148e: DUP1 0000148f: PUSH1 0x40 00001491: ADD 00001492: PUSH1 0x40 00001494: MSTORE 00001495: DUP1 00001496: PUSH1 0x1e 00001498: DUP2 00001499: MSTORE 0000149a: PUSH1 0x20 0000149c: ADD 0000149d: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 000014be: DUP2 000014bf: MSTORE 000014c0: POP 000014c1: PUSH2 0x11f6 000014c4: JUMP 000014c5: JUMPDEST 000014c6: PUSH2 0x14cf 000014c9: DUP3 000014ca: DUP3 000014cb: PUSH2 0x156d 000014ce: JUMP 000014cf: JUMPDEST 000014d0: PUSH2 0x1509 000014d3: PUSH2 0x14ea 000014d6: PUSH2 0x0947 000014d9: DUP4 000014da: PUSH1 0x05 000014dc: SLOAD 000014dd: PUSH2 0x10c5 000014e0: SWAP1 000014e1: SWAP2 000014e2: SWAP1 000014e3: PUSH4 0xffffffff 000014e8: AND 000014e9: JUMP 000014ea: JUMPDEST 000014eb: PUSH1 0x01 000014ed: PUSH1 0x01 000014ef: PUSH1 0xa0 000014f1: SHL 000014f2: SUB 000014f3: DUP5 000014f4: AND 000014f5: PUSH1 0x00 000014f7: SWAP1 000014f8: DUP2 000014f9: MSTORE 000014fa: PUSH1 0x06 000014fc: PUSH1 0x20 000014fe: MSTORE 000014ff: PUSH1 0x40 00001501: SWAP1 00001502: KECCAK256 00001503: SLOAD 00001504: SWAP1 00001505: PUSH2 0x165d 00001508: JUMP 00001509: JUMPDEST 0000150a: PUSH1 0x01 0000150c: PUSH1 0x01 0000150e: PUSH1 0xa0 00001510: SHL 00001511: SUB 00001512: SWAP1 00001513: SWAP3 00001514: AND 00001515: PUSH1 0x00 00001517: SWAP1 00001518: DUP2 00001519: MSTORE 0000151a: PUSH1 0x06 0000151c: PUSH1 0x20 0000151e: MSTORE 0000151f: PUSH1 0x40 00001521: SWAP1 00001522: KECCAK256 00001523: SWAP2 00001524: SWAP1 00001525: SWAP2 00001526: SSTORE 00001527: POP 00001528: JUMP 00001529: JUMPDEST 0000152a: PUSH2 0x1533 0000152d: DUP3 0000152e: DUP3 0000152f: PUSH2 0x168f 00001532: JUMP 00001533: JUMPDEST 00001534: PUSH2 0x1509 00001537: PUSH2 0x154e 0000153a: PUSH2 0x0947 0000153d: DUP4 0000153e: PUSH1 0x05 00001540: SLOAD 00001541: PUSH2 0x10c5 00001544: SWAP1 00001545: SWAP2 00001546: SWAP1 00001547: PUSH4 0xffffffff 0000154c: AND 0000154d: JUMP 0000154e: JUMPDEST 0000154f: PUSH1 0x01 00001551: PUSH1 0x01 00001553: PUSH1 0xa0 00001555: SHL 00001556: SUB 00001557: DUP5 00001558: AND 00001559: PUSH1 0x00 0000155b: SWAP1 0000155c: DUP2 0000155d: MSTORE 0000155e: PUSH1 0x06 00001560: PUSH1 0x20 00001562: MSTORE 00001563: PUSH1 0x40 00001565: SWAP1 00001566: KECCAK256 00001567: SLOAD 00001568: SWAP1 00001569: PUSH2 0x129d 0000156c: JUMP 0000156d: JUMPDEST 0000156e: PUSH1 0x01 00001570: PUSH1 0x01 00001572: PUSH1 0xa0 00001574: SHL 00001575: SUB 00001576: DUP3 00001577: AND 00001578: PUSH2 0x15c8 0000157b: JUMPI 0000157c: PUSH1 0x40 0000157e: DUP1 0000157f: MLOAD 00001580: PUSH3 0x461bcd 00001584: PUSH1 0xe5 00001586: SHL 00001587: DUP2 00001588: MSTORE 00001589: PUSH1 0x20 0000158b: PUSH1 0x04 0000158d: DUP3 0000158e: ADD 0000158f: MSTORE 00001590: PUSH1 0x1f 00001592: PUSH1 0x24 00001594: DUP3 00001595: ADD 00001596: MSTORE 00001597: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300 000015b8: PUSH1 0x44 000015ba: DUP3 000015bb: ADD 000015bc: MSTORE 000015bd: SWAP1 000015be: MLOAD 000015bf: SWAP1 000015c0: DUP2 000015c1: SWAP1 000015c2: SUB 000015c3: PUSH1 0x64 000015c5: ADD 000015c6: SWAP1 000015c7: REVERT 000015c8: JUMPDEST 000015c9: PUSH2 0x15d4 000015cc: PUSH1 0x00 000015ce: DUP4 000015cf: DUP4 000015d0: PUSH2 0x11ba 000015d3: JUMP 000015d4: JUMPDEST 000015d5: PUSH1 0x02 000015d7: SLOAD 000015d8: PUSH2 0x15e1 000015db: SWAP1 000015dc: DUP3 000015dd: PUSH2 0x1125 000015e0: JUMP 000015e1: JUMPDEST 000015e2: PUSH1 0x02 000015e4: SSTORE 000015e5: PUSH1 0x01 000015e7: PUSH1 0x01 000015e9: PUSH1 0xa0 000015eb: SHL 000015ec: SUB 000015ed: DUP3 000015ee: AND 000015ef: PUSH1 0x00 000015f1: SWAP1 000015f2: DUP2 000015f3: MSTORE 000015f4: PUSH1 0x20 000015f6: DUP2 000015f7: SWAP1 000015f8: MSTORE 000015f9: PUSH1 0x40 000015fb: SWAP1 000015fc: KECCAK256 000015fd: SLOAD 000015fe: PUSH2 0x1607 00001601: SWAP1 00001602: DUP3 00001603: PUSH2 0x1125 00001606: JUMP 00001607: JUMPDEST 00001608: PUSH1 0x01 0000160a: PUSH1 0x01 0000160c: PUSH1 0xa0 0000160e: SHL 0000160f: SUB 00001610: DUP4 00001611: AND 00001612: PUSH1 0x00 00001614: DUP2 00001615: DUP2 00001616: MSTORE 00001617: PUSH1 0x20 00001619: DUP2 0000161a: DUP2 0000161b: MSTORE 0000161c: PUSH1 0x40 0000161e: DUP1 0000161f: DUP4 00001620: KECCAK256 00001621: SWAP5 00001622: SWAP1 00001623: SWAP5 00001624: SSTORE 00001625: DUP4 00001626: MLOAD 00001627: DUP6 00001628: DUP2 00001629: MSTORE 0000162a: SWAP4 0000162b: MLOAD 0000162c: SWAP3 0000162d: SWAP4 0000162e: SWAP2 0000162f: SWAP3 00001630: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001651: SWAP3 00001652: DUP2 00001653: SWAP1 00001654: SUB 00001655: SWAP1 00001656: SWAP2 00001657: ADD 00001658: SWAP1 00001659: LOG3 0000165a: POP 0000165b: POP 0000165c: JUMP 0000165d: JUMPDEST 0000165e: PUSH1 0x00 00001660: DUP2 00001661: DUP4 00001662: SUB 00001663: DUP2 00001664: DUP4 00001665: SLT 00001666: DUP1 00001667: ISZERO 00001668: SWAP1 00001669: PUSH2 0x1672 0000166c: JUMPI 0000166d: POP 0000166e: DUP4 0000166f: DUP2 00001670: SGT 00001671: ISZERO 00001672: JUMPDEST 00001673: DUP1 00001674: PUSH2 0x12c7 00001677: JUMPI 00001678: POP 00001679: PUSH1 0x00 0000167b: DUP4 0000167c: SLT 0000167d: DUP1 0000167e: ISZERO 0000167f: PUSH2 0x12c7 00001682: JUMPI 00001683: POP 00001684: DUP4 00001685: DUP2 00001686: SGT 00001687: PUSH2 0x111e 0000168a: JUMPI 0000168b: PUSH1 0x00 0000168d: DUP1 0000168e: REVERT 0000168f: JUMPDEST 00001690: PUSH1 0x01 00001692: PUSH1 0x01 00001694: PUSH1 0xa0 00001696: SHL 00001697: SUB 00001698: DUP3 00001699: AND 0000169a: PUSH2 0x16d4 0000169d: JUMPI 0000169e: PUSH1 0x40 000016a0: MLOAD 000016a1: PUSH3 0x461bcd 000016a5: PUSH1 0xe5 000016a7: SHL 000016a8: DUP2 000016a9: MSTORE 000016aa: PUSH1 0x04 000016ac: ADD 000016ad: DUP1 000016ae: DUP1 000016af: PUSH1 0x20 000016b1: ADD 000016b2: DUP3 000016b3: DUP2 000016b4: SUB 000016b5: DUP3 000016b6: MSTORE 000016b7: PUSH1 0x21 000016b9: DUP2 000016ba: MSTORE 000016bb: PUSH1 0x20 000016bd: ADD 000016be: DUP1 000016bf: PUSH2 0x18d9 000016c2: PUSH1 0x21 000016c4: SWAP2 000016c5: CODECOPY 000016c6: PUSH1 0x40 000016c8: ADD 000016c9: SWAP2 000016ca: POP 000016cb: POP 000016cc: PUSH1 0x40 000016ce: MLOAD 000016cf: DUP1 000016d0: SWAP2 000016d1: SUB 000016d2: SWAP1 000016d3: REVERT 000016d4: JUMPDEST 000016d5: PUSH2 0x16e0 000016d8: DUP3 000016d9: PUSH1 0x00 000016db: DUP4 000016dc: PUSH2 0x11ba 000016df: JUMP 000016e0: JUMPDEST 000016e1: PUSH2 0x171d 000016e4: DUP2 000016e5: PUSH1 0x40 000016e7: MLOAD 000016e8: DUP1 000016e9: PUSH1 0x60 000016eb: ADD 000016ec: PUSH1 0x40 000016ee: MSTORE 000016ef: DUP1 000016f0: PUSH1 0x22 000016f2: DUP2 000016f3: MSTORE 000016f4: PUSH1 0x20 000016f6: ADD 000016f7: PUSH2 0x17bb 000016fa: PUSH1 0x22 000016fc: SWAP2 000016fd: CODECOPY 000016fe: PUSH1 0x01 00001700: PUSH1 0x01 00001702: PUSH1 0xa0 00001704: SHL 00001705: SUB 00001706: DUP6 00001707: AND 00001708: PUSH1 0x00 0000170a: SWAP1 0000170b: DUP2 0000170c: MSTORE 0000170d: PUSH1 0x20 0000170f: DUP2 00001710: SWAP1 00001711: MSTORE 00001712: PUSH1 0x40 00001714: SWAP1 00001715: KECCAK256 00001716: SLOAD 00001717: SWAP2 00001718: SWAP1 00001719: PUSH2 0x11f6 0000171c: JUMP 0000171d: JUMPDEST 0000171e: PUSH1 0x01 00001720: PUSH1 0x01 00001722: PUSH1 0xa0 00001724: SHL 00001725: SUB 00001726: DUP4 00001727: AND 00001728: PUSH1 0x00 0000172a: SWAP1 0000172b: DUP2 0000172c: MSTORE 0000172d: PUSH1 0x20 0000172f: DUP2 00001730: SWAP1 00001731: MSTORE 00001732: PUSH1 0x40 00001734: SWAP1 00001735: KECCAK256 00001736: SSTORE 00001737: PUSH1 0x02 00001739: SLOAD 0000173a: PUSH2 0x1743 0000173d: SWAP1 0000173e: DUP3 0000173f: PUSH2 0x1483 00001742: JUMP 00001743: JUMPDEST 00001744: PUSH1 0x02 00001746: SSTORE 00001747: PUSH1 0x40 00001749: DUP1 0000174a: MLOAD 0000174b: DUP3 0000174c: DUP2 0000174d: MSTORE 0000174e: SWAP1 0000174f: MLOAD 00001750: PUSH1 0x00 00001752: SWAP2 00001753: PUSH1 0x01 00001755: PUSH1 0x01 00001757: PUSH1 0xa0 00001759: SHL 0000175a: SUB 0000175b: DUP6 0000175c: AND 0000175d: SWAP2 0000175e: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000177f: SWAP2 00001780: DUP2 00001781: SWAP1 00001782: SUB 00001783: PUSH1 0x20 00001785: ADD 00001786: SWAP1 00001787: LOG3 00001788: POP 00001789: POP 0000178a: JUMP 0000178b: INVALID 0000178c: BLOBBASEFEE 0000178d: POP 0000178e: UNKNOWN(0x4F) 0000178f: POP 00001790: DIFFICULTY 00001791: UNKNOWN(0x4F) 00001792: SELFBALANCE 00001793: GASLIMIT 00001794: PUSH0 00001795: DIFFICULTY 00001796: PUSH10 0x766964656e645f547261 000017a1: PUSH4 0x6b65723a 000017a6: KECCAK256 000017a7: UNKNOWN(0x4E) 000017a8: PUSH16 0x20617070726f76616c7320616c6c6f77 000017b9: PUSH6 0x644552433230 000017c0: GASPRICE 000017c1: KECCAK256 000017c2: PUSH3 0x75726e 000017c6: KECCAK256 000017c7: PUSH2 0x6d6f 000017ca: PUSH22 0x6e7420657863656564732062616c616e63654f776e61 000017e1: PUSH3 0x6c653a 000017e5: KECCAK256 000017e6: PUSH15 0x6577206f776e657220697320746865 000017f6: KECCAK256 000017f7: PUSH27 0x65726f20616464726573734a504f50444f47455f4469766964656e 00001813: PUSH5 0x5f54726163 00001819: PUSH12 0x65723a207769746864726177 00001826: DIFFICULTY 00001827: PUSH10 0x766964656e6420646973 00001832: PUSH2 0x626c 00001835: PUSH6 0x642e20557365 0000183c: KECCAK256 0000183d: PUSH21 0x68652027636c61696d272066756e6374696f6e206f 00001853: PUSH15 0x20746865206d61696e204a504f5044 00001863: UNKNOWN(0x4F) 00001864: SELFBALANCE 00001865: GASLIMIT 00001866: KECCAK256 00001867: PUSH4 0x6f6e7472 0000186c: PUSH2 0x6374 0000186f: UNKNOWN(0x2E) 00001870: MSTORE8 00001871: PUSH2 0x6665 00001874: UNKNOWN(0x4D) 00001875: PUSH2 0x7468 00001878: GASPRICE 00001879: KECCAK256 0000187a: PUSH14 0x756c7469706c69636174696f6e20 00001889: PUSH16 0x766572666c6f7745524332303a207472 0000189a: PUSH2 0x6e73 0000189d: PUSH7 0x657220616d6f75 000018a5: PUSH15 0x74206578636565647320616c6c6f77 000018b5: PUSH2 0x6e63 000018b8: PUSH6 0x4f776e61626c 000018bf: PUSH6 0x3a2063616c6c 000018c6: PUSH6 0x72206973206e 000018cd: PUSH16 0x7420746865206f776e65724552433230 000018de: GASPRICE 000018df: KECCAK256 000018e0: PUSH3 0x75726e 000018e4: KECCAK256 000018e5: PUSH7 0x726f6d20746865 000018ed: KECCAK256 000018ee: PUSH27 0x65726f20616464726573734a504f50444f47455f4469766964656e 0000190a: PUSH5 0x5f54726163 00001910: PUSH12 0x65723a204e6f207472616e73 0000191d: PUSH7 0x65727320616c6c 00001925: PUSH16 0x77656445524332303a20646563726561 00001936: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a 0000194b: PUSH6 0x726fa2646970 00001952: PUSH7 0x73582212204be5 0000195a: PUSH15 0xdd23567617921e649e3de2516bac9b 0000196a: UNKNOWN(0xDF) 0000196b: UNKNOWN(0xBA) 0000196c: EXTCODECOPY 0000196d: BLOBBASEFEE 0000196e: SLOAD 0000196f: UNKNOWN(0xD6) 00001970: XOR 00001971: UNKNOWN(0xA5) 00001972: ORIGIN 00001973: UNKNOWN(0x0C) 00001974: SWAP1 00001975: UNKNOWN(0xD3) 00001976: UNKNOWN(0x2F) 00001977: CHAINID 00001978: PUSH5 0x736f6c6343 0000197e: STOP 0000197f: MOD 00001980: UNKNOWN(0x0C) 00001981: STOP 00001982: 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: 0xd257ad6eb294c78cf9a56e2e5c76d782edb95eae02cd97fc8ea3864baed084b8
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0xd257ad6eb294c78cf9a56e2e5c76d782edb95eae02cd97fc8ea3864baed084b8",
"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": 2682,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 3836,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 3973,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 6514,
"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": 6514,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x9b9b4ca6a0d5c5f495a7273aeb45836b088fe6a45f12aa252e096441cc8d7607
call_targets:
0xe3f30a48419224400c84fd0fcbf62fe01a6e6d6f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9b9b4ca6a0d5c5f495a7273aeb45836b088fe6a45f12aa252e096441cc8d7607",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe3f30a48419224400c84fd0fcbf62fe01a6e6d6f"
],
"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": 5098,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 6514,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x9b9b4ca6a0d5c5f495a7273aeb45836b088fe6a45f12aa252e096441cc8d7607
call_targets:
0xe3f30a48419224400c84fd0fcbf62fe01a6e6d6f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9b9b4ca6a0d5c5f495a7273aeb45836b088fe6a45f12aa252e096441cc8d7607",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe3f30a48419224400c84fd0fcbf62fe01a6e6d6f"
],
"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": 5098,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 6514,
"type": "tx_origin_used"
}
]
}
|