019b3844-9488-72f9-94c4-8bef4a5d4346
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 |
|---|---|---|---|---|
| 13217 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 13218 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 56581 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 56582 | capability.graph | complete | 1 / 3 | 1 week ago |
| 56583 | detector.run | complete | 1 / 3 | 1 week ago |
| 56584 | 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 0x019c 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x90eeb02b 00000019: GT 0000001a: PUSH2 0x00ec 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc2b40ae4 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe8295588 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe8295588 0000003a: EQ 0000003b: PUSH2 0x06f2 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xec732959 00000045: EQ 00000046: PUSH2 0x071c 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf178e47c 00000050: EQ 00000051: PUSH2 0x0731 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfc7e9c6f 0000005b: EQ 0000005c: PUSH2 0x075b 0000005f: JUMPI 00000060: PUSH2 0x019c 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xc2b40ae4 0000006b: EQ 0000006c: PUSH2 0x0689 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xcd87a3b4 00000076: EQ 00000077: PUSH2 0x06b3 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xe5285dcc 00000081: EQ 00000082: PUSH2 0x06c8 00000085: JUMPI 00000086: PUSH2 0x019c 00000089: JUMP 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x9fa12d0b 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x9fa12d0b 0000009c: EQ 0000009d: PUSH2 0x0577 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xb06faf62 000000a7: EQ 000000a8: PUSH2 0x0642 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xb214faa5 000000b2: EQ 000000b3: PUSH2 0x0657 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xba70f757 000000bd: EQ 000000be: PUSH2 0x0674 000000c1: JUMPI 000000c2: PUSH2 0x019c 000000c5: JUMP 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x90eeb02b 000000cd: EQ 000000ce: PUSH2 0x0464 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x916710aa 000000d8: EQ 000000d9: PUSH2 0x0479 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x97fc007c 000000e3: EQ 000000e4: PUSH2 0x0544 000000e7: JUMPI 000000e8: PUSH2 0x019c 000000eb: JUMP 000000ec: JUMPDEST 000000ed: DUP1 000000ee: PUSH4 0x4ecf518b 000000f3: GT 000000f4: PUSH2 0x0159 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x6d9833e3 000000fe: GT 000000ff: PUSH2 0x0133 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x6d9833e3 00000109: EQ 0000010a: PUSH2 0x03f3 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x839df945 00000114: EQ 00000115: PUSH2 0x041d 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x88d761f2 0000011f: EQ 00000120: PUSH2 0x0447 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x8bca6d16 0000012a: EQ 0000012b: PUSH2 0x044f 0000012e: JUMPI 0000012f: PUSH2 0x019c 00000132: JUMP 00000133: JUMPDEST 00000134: DUP1 00000135: PUSH4 0x4ecf518b 0000013a: EQ 0000013b: PUSH2 0x0335 0000013e: JUMPI 0000013f: DUP1 00000140: PUSH4 0x570ca735 00000145: EQ 00000146: PUSH2 0x0363 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x6ba355aa 00000150: EQ 00000151: PUSH2 0x0378 00000154: JUMPI 00000155: PUSH2 0x019c 00000158: JUMP 00000159: JUMPDEST 0000015a: DUP1 0000015b: PUSH4 0x06394c9b 00000160: EQ 00000161: PUSH2 0x01a1 00000164: JUMPI 00000165: DUP1 00000166: PUSH4 0x17cc915c 0000016b: EQ 0000016c: PUSH2 0x01d6 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x21a0adb6 00000176: EQ 00000177: PUSH2 0x0214 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x2b7ac3f3 00000181: EQ 00000182: PUSH2 0x02ad 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x38bf282e 0000018c: EQ 0000018d: PUSH2 0x02de 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x414a37ba 00000197: EQ 00000198: PUSH2 0x0320 0000019b: JUMPI 0000019c: JUMPDEST 0000019d: PUSH1 0x00 0000019f: DUP1 000001a0: REVERT 000001a1: JUMPDEST 000001a2: CALLVALUE 000001a3: DUP1 000001a4: ISZERO 000001a5: PUSH2 0x01ad 000001a8: JUMPI 000001a9: PUSH1 0x00 000001ab: DUP1 000001ac: REVERT 000001ad: JUMPDEST 000001ae: POP 000001af: PUSH2 0x01d4 000001b2: PUSH1 0x04 000001b4: DUP1 000001b5: CALLDATASIZE 000001b6: SUB 000001b7: PUSH1 0x20 000001b9: DUP2 000001ba: LT 000001bb: ISZERO 000001bc: PUSH2 0x01c4 000001bf: JUMPI 000001c0: PUSH1 0x00 000001c2: DUP1 000001c3: REVERT 000001c4: JUMPDEST 000001c5: POP 000001c6: CALLDATALOAD 000001c7: PUSH1 0x01 000001c9: PUSH1 0x01 000001cb: PUSH1 0xa0 000001cd: SHL 000001ce: SUB 000001cf: AND 000001d0: PUSH2 0x0770 000001d3: JUMP 000001d4: JUMPDEST 000001d5: STOP 000001d6: JUMPDEST 000001d7: CALLVALUE 000001d8: DUP1 000001d9: ISZERO 000001da: PUSH2 0x01e2 000001dd: JUMPI 000001de: PUSH1 0x00 000001e0: DUP1 000001e1: REVERT 000001e2: JUMPDEST 000001e3: POP 000001e4: PUSH2 0x0200 000001e7: PUSH1 0x04 000001e9: DUP1 000001ea: CALLDATASIZE 000001eb: SUB 000001ec: PUSH1 0x20 000001ee: DUP2 000001ef: LT 000001f0: ISZERO 000001f1: PUSH2 0x01f9 000001f4: JUMPI 000001f5: PUSH1 0x00 000001f7: DUP1 000001f8: REVERT 000001f9: JUMPDEST 000001fa: POP 000001fb: CALLDATALOAD 000001fc: PUSH2 0x07db 000001ff: JUMP 00000200: JUMPDEST 00000201: PUSH1 0x40 00000203: DUP1 00000204: MLOAD 00000205: SWAP2 00000206: ISZERO 00000207: ISZERO 00000208: DUP3 00000209: MSTORE 0000020a: MLOAD 0000020b: SWAP1 0000020c: DUP2 0000020d: SWAP1 0000020e: SUB 0000020f: PUSH1 0x20 00000211: ADD 00000212: SWAP1 00000213: RETURN 00000214: JUMPDEST 00000215: PUSH2 0x01d4 00000218: PUSH1 0x04 0000021a: DUP1 0000021b: CALLDATASIZE 0000021c: SUB 0000021d: PUSH1 0xe0 0000021f: DUP2 00000220: LT 00000221: ISZERO 00000222: PUSH2 0x022a 00000225: JUMPI 00000226: PUSH1 0x00 00000228: DUP1 00000229: REVERT 0000022a: JUMPDEST 0000022b: DUP2 0000022c: ADD 0000022d: SWAP1 0000022e: PUSH1 0x20 00000230: DUP2 00000231: ADD 00000232: DUP2 00000233: CALLDATALOAD 00000234: PUSH1 0x01 00000236: PUSH1 0x20 00000238: SHL 00000239: DUP2 0000023a: GT 0000023b: ISZERO 0000023c: PUSH2 0x0244 0000023f: JUMPI 00000240: PUSH1 0x00 00000242: DUP1 00000243: REVERT 00000244: JUMPDEST 00000245: DUP3 00000246: ADD 00000247: DUP4 00000248: PUSH1 0x20 0000024a: DUP3 0000024b: ADD 0000024c: GT 0000024d: ISZERO 0000024e: PUSH2 0x0256 00000251: JUMPI 00000252: PUSH1 0x00 00000254: DUP1 00000255: REVERT 00000256: JUMPDEST 00000257: DUP1 00000258: CALLDATALOAD 00000259: SWAP1 0000025a: PUSH1 0x20 0000025c: ADD 0000025d: SWAP2 0000025e: DUP5 0000025f: PUSH1 0x01 00000261: DUP4 00000262: MUL 00000263: DUP5 00000264: ADD 00000265: GT 00000266: PUSH1 0x01 00000268: PUSH1 0x20 0000026a: SHL 0000026b: DUP4 0000026c: GT 0000026d: OR 0000026e: ISZERO 0000026f: PUSH2 0x0277 00000272: JUMPI 00000273: PUSH1 0x00 00000275: DUP1 00000276: REVERT 00000277: JUMPDEST 00000278: SWAP2 00000279: SWAP4 0000027a: POP 0000027b: SWAP2 0000027c: POP 0000027d: DUP1 0000027e: CALLDATALOAD 0000027f: SWAP1 00000280: PUSH1 0x20 00000282: DUP2 00000283: ADD 00000284: CALLDATALOAD 00000285: SWAP1 00000286: PUSH1 0x01 00000288: PUSH1 0x01 0000028a: PUSH1 0xa0 0000028c: SHL 0000028d: SUB 0000028e: PUSH1 0x40 00000290: DUP3 00000291: ADD 00000292: CALLDATALOAD 00000293: DUP2 00000294: AND 00000295: SWAP2 00000296: PUSH1 0x60 00000298: DUP2 00000299: ADD 0000029a: CALLDATALOAD 0000029b: SWAP1 0000029c: SWAP2 0000029d: AND 0000029e: SWAP1 0000029f: PUSH1 0x80 000002a1: DUP2 000002a2: ADD 000002a3: CALLDATALOAD 000002a4: SWAP1 000002a5: PUSH1 0xa0 000002a7: ADD 000002a8: CALLDATALOAD 000002a9: PUSH2 0x07f0 000002ac: JUMP 000002ad: JUMPDEST 000002ae: CALLVALUE 000002af: DUP1 000002b0: ISZERO 000002b1: PUSH2 0x02b9 000002b4: JUMPI 000002b5: PUSH1 0x00 000002b7: DUP1 000002b8: REVERT 000002b9: JUMPDEST 000002ba: POP 000002bb: PUSH2 0x02c2 000002be: PUSH2 0x0b31 000002c1: JUMP 000002c2: JUMPDEST 000002c3: PUSH1 0x40 000002c5: DUP1 000002c6: MLOAD 000002c7: PUSH1 0x01 000002c9: PUSH1 0x01 000002cb: PUSH1 0xa0 000002cd: SHL 000002ce: SUB 000002cf: SWAP1 000002d0: SWAP3 000002d1: AND 000002d2: DUP3 000002d3: MSTORE 000002d4: MLOAD 000002d5: SWAP1 000002d6: DUP2 000002d7: SWAP1 000002d8: SUB 000002d9: PUSH1 0x20 000002db: ADD 000002dc: SWAP1 000002dd: RETURN 000002de: JUMPDEST 000002df: CALLVALUE 000002e0: DUP1 000002e1: ISZERO 000002e2: PUSH2 0x02ea 000002e5: JUMPI 000002e6: PUSH1 0x00 000002e8: DUP1 000002e9: REVERT 000002ea: JUMPDEST 000002eb: POP 000002ec: PUSH2 0x030e 000002ef: PUSH1 0x04 000002f1: DUP1 000002f2: CALLDATASIZE 000002f3: SUB 000002f4: PUSH1 0x40 000002f6: DUP2 000002f7: LT 000002f8: ISZERO 000002f9: PUSH2 0x0301 000002fc: JUMPI 000002fd: PUSH1 0x00 000002ff: DUP1 00000300: REVERT 00000301: JUMPDEST 00000302: POP 00000303: DUP1 00000304: CALLDATALOAD 00000305: SWAP1 00000306: PUSH1 0x20 00000308: ADD 00000309: CALLDATALOAD 0000030a: PUSH2 0x0b40 0000030d: JUMP 0000030e: JUMPDEST 0000030f: PUSH1 0x40 00000311: DUP1 00000312: MLOAD 00000313: SWAP2 00000314: DUP3 00000315: MSTORE 00000316: MLOAD 00000317: SWAP1 00000318: DUP2 00000319: SWAP1 0000031a: SUB 0000031b: PUSH1 0x20 0000031d: ADD 0000031e: SWAP1 0000031f: RETURN 00000320: JUMPDEST 00000321: CALLVALUE 00000322: DUP1 00000323: ISZERO 00000324: PUSH2 0x032c 00000327: JUMPI 00000328: PUSH1 0x00 0000032a: DUP1 0000032b: REVERT 0000032c: JUMPDEST 0000032d: POP 0000032e: PUSH2 0x030e 00000331: PUSH2 0x0d21 00000334: JUMP 00000335: JUMPDEST 00000336: CALLVALUE 00000337: DUP1 00000338: ISZERO 00000339: PUSH2 0x0341 0000033c: JUMPI 0000033d: PUSH1 0x00 0000033f: DUP1 00000340: REVERT 00000341: JUMPDEST 00000342: POP 00000343: PUSH2 0x034a 00000346: PUSH2 0x0d33 00000349: JUMP 0000034a: JUMPDEST 0000034b: PUSH1 0x40 0000034d: DUP1 0000034e: MLOAD 0000034f: PUSH4 0xffffffff 00000354: SWAP1 00000355: SWAP3 00000356: AND 00000357: DUP3 00000358: MSTORE 00000359: MLOAD 0000035a: SWAP1 0000035b: DUP2 0000035c: SWAP1 0000035d: SUB 0000035e: PUSH1 0x20 00000360: ADD 00000361: SWAP1 00000362: RETURN 00000363: JUMPDEST 00000364: CALLVALUE 00000365: DUP1 00000366: ISZERO 00000367: PUSH2 0x036f 0000036a: JUMPI 0000036b: PUSH1 0x00 0000036d: DUP1 0000036e: REVERT 0000036f: JUMPDEST 00000370: POP 00000371: PUSH2 0x02c2 00000374: PUSH2 0x0d3f 00000377: JUMP 00000378: JUMPDEST 00000379: CALLVALUE 0000037a: DUP1 0000037b: ISZERO 0000037c: PUSH2 0x0384 0000037f: JUMPI 00000380: PUSH1 0x00 00000382: DUP1 00000383: REVERT 00000384: JUMPDEST 00000385: POP 00000386: PUSH2 0x01d4 00000389: PUSH1 0x04 0000038b: DUP1 0000038c: CALLDATASIZE 0000038d: SUB 0000038e: PUSH1 0x40 00000390: DUP2 00000391: LT 00000392: ISZERO 00000393: PUSH2 0x039b 00000396: JUMPI 00000397: PUSH1 0x00 00000399: DUP1 0000039a: REVERT 0000039b: JUMPDEST 0000039c: DUP2 0000039d: ADD 0000039e: SWAP1 0000039f: PUSH1 0x20 000003a1: DUP2 000003a2: ADD 000003a3: DUP2 000003a4: CALLDATALOAD 000003a5: PUSH1 0x01 000003a7: PUSH1 0x20 000003a9: SHL 000003aa: DUP2 000003ab: GT 000003ac: ISZERO 000003ad: PUSH2 0x03b5 000003b0: JUMPI 000003b1: PUSH1 0x00 000003b3: DUP1 000003b4: REVERT 000003b5: JUMPDEST 000003b6: DUP3 000003b7: ADD 000003b8: DUP4 000003b9: PUSH1 0x20 000003bb: DUP3 000003bc: ADD 000003bd: GT 000003be: ISZERO 000003bf: PUSH2 0x03c7 000003c2: JUMPI 000003c3: PUSH1 0x00 000003c5: DUP1 000003c6: REVERT 000003c7: JUMPDEST 000003c8: DUP1 000003c9: CALLDATALOAD 000003ca: SWAP1 000003cb: PUSH1 0x20 000003cd: ADD 000003ce: SWAP2 000003cf: DUP5 000003d0: PUSH1 0x20 000003d2: DUP4 000003d3: MUL 000003d4: DUP5 000003d5: ADD 000003d6: GT 000003d7: PUSH1 0x01 000003d9: PUSH1 0x20 000003db: SHL 000003dc: DUP4 000003dd: GT 000003de: OR 000003df: ISZERO 000003e0: PUSH2 0x03e8 000003e3: JUMPI 000003e4: PUSH1 0x00 000003e6: DUP1 000003e7: REVERT 000003e8: JUMPDEST 000003e9: SWAP2 000003ea: SWAP4 000003eb: POP 000003ec: SWAP2 000003ed: POP 000003ee: CALLDATALOAD 000003ef: PUSH2 0x0d4e 000003f2: JUMP 000003f3: JUMPDEST 000003f4: CALLVALUE 000003f5: DUP1 000003f6: ISZERO 000003f7: PUSH2 0x03ff 000003fa: JUMPI 000003fb: PUSH1 0x00 000003fd: DUP1 000003fe: REVERT 000003ff: JUMPDEST 00000400: POP 00000401: PUSH2 0x0200 00000404: PUSH1 0x04 00000406: DUP1 00000407: CALLDATASIZE 00000408: SUB 00000409: PUSH1 0x20 0000040b: DUP2 0000040c: LT 0000040d: ISZERO 0000040e: PUSH2 0x0416 00000411: JUMPI 00000412: PUSH1 0x00 00000414: DUP1 00000415: REVERT 00000416: JUMPDEST 00000417: POP 00000418: CALLDATALOAD 00000419: PUSH2 0x0dfd 0000041c: JUMP 0000041d: JUMPDEST 0000041e: CALLVALUE 0000041f: DUP1 00000420: ISZERO 00000421: PUSH2 0x0429 00000424: JUMPI 00000425: PUSH1 0x00 00000427: DUP1 00000428: REVERT 00000429: JUMPDEST 0000042a: POP 0000042b: PUSH2 0x0200 0000042e: PUSH1 0x04 00000430: DUP1 00000431: CALLDATASIZE 00000432: SUB 00000433: PUSH1 0x20 00000435: DUP2 00000436: LT 00000437: ISZERO 00000438: PUSH2 0x0440 0000043b: JUMPI 0000043c: PUSH1 0x00 0000043e: DUP1 0000043f: REVERT 00000440: JUMPDEST 00000441: POP 00000442: CALLDATALOAD 00000443: PUSH2 0x0e70 00000446: JUMP 00000447: JUMPDEST 00000448: PUSH2 0x01d4 0000044b: PUSH2 0x0e85 0000044e: JUMP 0000044f: JUMPDEST 00000450: CALLVALUE 00000451: DUP1 00000452: ISZERO 00000453: PUSH2 0x045b 00000456: JUMPI 00000457: PUSH1 0x00 00000459: DUP1 0000045a: REVERT 0000045b: JUMPDEST 0000045c: POP 0000045d: PUSH2 0x030e 00000460: PUSH2 0x0ee3 00000463: JUMP 00000464: JUMPDEST 00000465: CALLVALUE 00000466: DUP1 00000467: ISZERO 00000468: PUSH2 0x0470 0000046b: JUMPI 0000046c: PUSH1 0x00 0000046e: DUP1 0000046f: REVERT 00000470: JUMPDEST 00000471: POP 00000472: PUSH2 0x034a 00000475: PUSH2 0x0ee9 00000478: JUMP 00000479: JUMPDEST 0000047a: CALLVALUE 0000047b: DUP1 0000047c: ISZERO 0000047d: PUSH2 0x0485 00000480: JUMPI 00000481: PUSH1 0x00 00000483: DUP1 00000484: REVERT 00000485: JUMPDEST 00000486: POP 00000487: PUSH2 0x01d4 0000048a: PUSH1 0x04 0000048c: DUP1 0000048d: CALLDATASIZE 0000048e: SUB 0000048f: PUSH1 0x40 00000491: DUP2 00000492: LT 00000493: ISZERO 00000494: PUSH2 0x049c 00000497: JUMPI 00000498: PUSH1 0x00 0000049a: DUP1 0000049b: REVERT 0000049c: JUMPDEST 0000049d: DUP2 0000049e: ADD 0000049f: SWAP1 000004a0: PUSH1 0x20 000004a2: DUP2 000004a3: ADD 000004a4: DUP2 000004a5: CALLDATALOAD 000004a6: PUSH1 0x01 000004a8: PUSH1 0x20 000004aa: SHL 000004ab: DUP2 000004ac: GT 000004ad: ISZERO 000004ae: PUSH2 0x04b6 000004b1: JUMPI 000004b2: PUSH1 0x00 000004b4: DUP1 000004b5: REVERT 000004b6: JUMPDEST 000004b7: DUP3 000004b8: ADD 000004b9: DUP4 000004ba: PUSH1 0x20 000004bc: DUP3 000004bd: ADD 000004be: GT 000004bf: ISZERO 000004c0: PUSH2 0x04c8 000004c3: JUMPI 000004c4: PUSH1 0x00 000004c6: DUP1 000004c7: REVERT 000004c8: JUMPDEST 000004c9: DUP1 000004ca: CALLDATALOAD 000004cb: SWAP1 000004cc: PUSH1 0x20 000004ce: ADD 000004cf: SWAP2 000004d0: DUP5 000004d1: PUSH1 0x20 000004d3: DUP4 000004d4: MUL 000004d5: DUP5 000004d6: ADD 000004d7: GT 000004d8: PUSH1 0x01 000004da: PUSH1 0x20 000004dc: SHL 000004dd: DUP4 000004de: GT 000004df: OR 000004e0: ISZERO 000004e1: PUSH2 0x04e9 000004e4: JUMPI 000004e5: PUSH1 0x00 000004e7: DUP1 000004e8: REVERT 000004e9: JUMPDEST 000004ea: SWAP2 000004eb: SWAP4 000004ec: SWAP1 000004ed: SWAP3 000004ee: SWAP1 000004ef: SWAP2 000004f0: PUSH1 0x20 000004f2: DUP2 000004f3: ADD 000004f4: SWAP1 000004f5: CALLDATALOAD 000004f6: PUSH1 0x01 000004f8: PUSH1 0x20 000004fa: SHL 000004fb: DUP2 000004fc: GT 000004fd: ISZERO 000004fe: PUSH2 0x0506 00000501: JUMPI 00000502: PUSH1 0x00 00000504: DUP1 00000505: REVERT 00000506: JUMPDEST 00000507: DUP3 00000508: ADD 00000509: DUP4 0000050a: PUSH1 0x20 0000050c: DUP3 0000050d: ADD 0000050e: GT 0000050f: ISZERO 00000510: PUSH2 0x0518 00000513: JUMPI 00000514: PUSH1 0x00 00000516: DUP1 00000517: REVERT 00000518: JUMPDEST 00000519: DUP1 0000051a: CALLDATALOAD 0000051b: SWAP1 0000051c: PUSH1 0x20 0000051e: ADD 0000051f: SWAP2 00000520: DUP5 00000521: PUSH1 0x20 00000523: DUP4 00000524: MUL 00000525: DUP5 00000526: ADD 00000527: GT 00000528: PUSH1 0x01 0000052a: PUSH1 0x20 0000052c: SHL 0000052d: DUP4 0000052e: GT 0000052f: OR 00000530: ISZERO 00000531: PUSH2 0x0539 00000534: JUMPI 00000535: PUSH1 0x00 00000537: DUP1 00000538: REVERT 00000539: JUMPDEST 0000053a: POP 0000053b: SWAP1 0000053c: SWAP3 0000053d: POP 0000053e: SWAP1 0000053f: POP 00000540: PUSH2 0x0ef5 00000543: JUMP 00000544: JUMPDEST 00000545: CALLVALUE 00000546: DUP1 00000547: ISZERO 00000548: PUSH2 0x0550 0000054b: JUMPI 0000054c: PUSH1 0x00 0000054e: DUP1 0000054f: REVERT 00000550: JUMPDEST 00000551: POP 00000552: PUSH2 0x01d4 00000555: PUSH1 0x04 00000557: DUP1 00000558: CALLDATASIZE 00000559: SUB 0000055a: PUSH1 0x20 0000055c: DUP2 0000055d: LT 0000055e: ISZERO 0000055f: PUSH2 0x0567 00000562: JUMPI 00000563: PUSH1 0x00 00000565: DUP1 00000566: REVERT 00000567: JUMPDEST 00000568: POP 00000569: CALLDATALOAD 0000056a: PUSH1 0x01 0000056c: PUSH1 0x01 0000056e: PUSH1 0xa0 00000570: SHL 00000571: SUB 00000572: AND 00000573: PUSH2 0x114a 00000576: JUMP 00000577: JUMPDEST 00000578: CALLVALUE 00000579: DUP1 0000057a: ISZERO 0000057b: PUSH2 0x0583 0000057e: JUMPI 0000057f: PUSH1 0x00 00000581: DUP1 00000582: REVERT 00000583: JUMPDEST 00000584: POP 00000585: PUSH2 0x05f2 00000588: PUSH1 0x04 0000058a: DUP1 0000058b: CALLDATASIZE 0000058c: SUB 0000058d: PUSH1 0x20 0000058f: DUP2 00000590: LT 00000591: ISZERO 00000592: PUSH2 0x059a 00000595: JUMPI 00000596: PUSH1 0x00 00000598: DUP1 00000599: REVERT 0000059a: JUMPDEST 0000059b: DUP2 0000059c: ADD 0000059d: SWAP1 0000059e: PUSH1 0x20 000005a0: DUP2 000005a1: ADD 000005a2: DUP2 000005a3: CALLDATALOAD 000005a4: PUSH1 0x01 000005a6: PUSH1 0x20 000005a8: SHL 000005a9: DUP2 000005aa: GT 000005ab: ISZERO 000005ac: PUSH2 0x05b4 000005af: JUMPI 000005b0: PUSH1 0x00 000005b2: DUP1 000005b3: REVERT 000005b4: JUMPDEST 000005b5: DUP3 000005b6: ADD 000005b7: DUP4 000005b8: PUSH1 0x20 000005ba: DUP3 000005bb: ADD 000005bc: GT 000005bd: ISZERO 000005be: PUSH2 0x05c6 000005c1: JUMPI 000005c2: PUSH1 0x00 000005c4: DUP1 000005c5: REVERT 000005c6: JUMPDEST 000005c7: DUP1 000005c8: CALLDATALOAD 000005c9: SWAP1 000005ca: PUSH1 0x20 000005cc: ADD 000005cd: SWAP2 000005ce: DUP5 000005cf: PUSH1 0x20 000005d1: DUP4 000005d2: MUL 000005d3: DUP5 000005d4: ADD 000005d5: GT 000005d6: PUSH1 0x01 000005d8: PUSH1 0x20 000005da: SHL 000005db: DUP4 000005dc: GT 000005dd: OR 000005de: ISZERO 000005df: PUSH2 0x05e7 000005e2: JUMPI 000005e3: PUSH1 0x00 000005e5: DUP1 000005e6: REVERT 000005e7: JUMPDEST 000005e8: POP 000005e9: SWAP1 000005ea: SWAP3 000005eb: POP 000005ec: SWAP1 000005ed: POP 000005ee: PUSH2 0x11b5 000005f1: JUMP 000005f2: JUMPDEST 000005f3: PUSH1 0x40 000005f5: DUP1 000005f6: MLOAD 000005f7: PUSH1 0x20 000005f9: DUP1 000005fa: DUP3 000005fb: MSTORE 000005fc: DUP4 000005fd: MLOAD 000005fe: DUP2 000005ff: DUP4 00000600: ADD 00000601: MSTORE 00000602: DUP4 00000603: MLOAD 00000604: SWAP2 00000605: SWAP3 00000606: DUP4 00000607: SWAP3 00000608: SWAP1 00000609: DUP4 0000060a: ADD 0000060b: SWAP2 0000060c: DUP6 0000060d: DUP2 0000060e: ADD 0000060f: SWAP2 00000610: MUL 00000611: DUP1 00000612: DUP4 00000613: DUP4 00000614: PUSH1 0x00 00000616: JUMPDEST 00000617: DUP4 00000618: DUP2 00000619: LT 0000061a: ISZERO 0000061b: PUSH2 0x062e 0000061e: JUMPI 0000061f: DUP2 00000620: DUP2 00000621: ADD 00000622: MLOAD 00000623: DUP4 00000624: DUP3 00000625: ADD 00000626: MSTORE 00000627: PUSH1 0x20 00000629: ADD 0000062a: PUSH2 0x0616 0000062d: JUMP 0000062e: JUMPDEST 0000062f: POP 00000630: POP 00000631: POP 00000632: POP 00000633: SWAP1 00000634: POP 00000635: ADD 00000636: SWAP3 00000637: POP 00000638: POP 00000639: POP 0000063a: PUSH1 0x40 0000063c: MLOAD 0000063d: DUP1 0000063e: SWAP2 0000063f: SUB 00000640: SWAP1 00000641: RETURN 00000642: JUMPDEST 00000643: CALLVALUE 00000644: DUP1 00000645: ISZERO 00000646: PUSH2 0x064e 00000649: JUMPI 0000064a: PUSH1 0x00 0000064c: DUP1 0000064d: REVERT 0000064e: JUMPDEST 0000064f: POP 00000650: PUSH2 0x0200 00000653: PUSH2 0x123d 00000656: JUMP 00000657: JUMPDEST 00000658: PUSH2 0x01d4 0000065b: PUSH1 0x04 0000065d: DUP1 0000065e: CALLDATASIZE 0000065f: SUB 00000660: PUSH1 0x20 00000662: DUP2 00000663: LT 00000664: ISZERO 00000665: PUSH2 0x066d 00000668: JUMPI 00000669: PUSH1 0x00 0000066b: DUP1 0000066c: REVERT 0000066d: JUMPDEST 0000066e: POP 0000066f: CALLDATALOAD 00000670: PUSH2 0x124d 00000673: JUMP 00000674: JUMPDEST 00000675: CALLVALUE 00000676: DUP1 00000677: ISZERO 00000678: PUSH2 0x0680 0000067b: JUMPI 0000067c: PUSH1 0x00 0000067e: DUP1 0000067f: REVERT 00000680: JUMPDEST 00000681: POP 00000682: PUSH2 0x030e 00000685: PUSH2 0x136e 00000688: JUMP 00000689: JUMPDEST 0000068a: CALLVALUE 0000068b: DUP1 0000068c: ISZERO 0000068d: PUSH2 0x0695 00000690: JUMPI 00000691: PUSH1 0x00 00000693: DUP1 00000694: REVERT 00000695: JUMPDEST 00000696: POP 00000697: PUSH2 0x030e 0000069a: PUSH1 0x04 0000069c: DUP1 0000069d: CALLDATASIZE 0000069e: SUB 0000069f: PUSH1 0x20 000006a1: DUP2 000006a2: LT 000006a3: ISZERO 000006a4: PUSH2 0x06ac 000006a7: JUMPI 000006a8: PUSH1 0x00 000006aa: DUP1 000006ab: REVERT 000006ac: JUMPDEST 000006ad: POP 000006ae: CALLDATALOAD 000006af: PUSH2 0x138f 000006b2: JUMP 000006b3: JUMPDEST 000006b4: CALLVALUE 000006b5: DUP1 000006b6: ISZERO 000006b7: PUSH2 0x06bf 000006ba: JUMPI 000006bb: PUSH1 0x00 000006bd: DUP1 000006be: REVERT 000006bf: JUMPDEST 000006c0: POP 000006c1: PUSH2 0x034a 000006c4: PUSH2 0x13a3 000006c7: JUMP 000006c8: JUMPDEST 000006c9: CALLVALUE 000006ca: DUP1 000006cb: ISZERO 000006cc: PUSH2 0x06d4 000006cf: JUMPI 000006d0: PUSH1 0x00 000006d2: DUP1 000006d3: REVERT 000006d4: JUMPDEST 000006d5: POP 000006d6: PUSH2 0x0200 000006d9: PUSH1 0x04 000006db: DUP1 000006dc: CALLDATASIZE 000006dd: SUB 000006de: PUSH1 0x20 000006e0: DUP2 000006e1: LT 000006e2: ISZERO 000006e3: PUSH2 0x06eb 000006e6: JUMPI 000006e7: PUSH1 0x00 000006e9: DUP1 000006ea: REVERT 000006eb: JUMPDEST 000006ec: POP 000006ed: CALLDATALOAD 000006ee: PUSH2 0x13a8 000006f1: JUMP 000006f2: JUMPDEST 000006f3: CALLVALUE 000006f4: DUP1 000006f5: ISZERO 000006f6: PUSH2 0x06fe 000006f9: JUMPI 000006fa: PUSH1 0x00 000006fc: DUP1 000006fd: REVERT 000006fe: JUMPDEST 000006ff: POP 00000700: PUSH2 0x030e 00000703: PUSH1 0x04 00000705: DUP1 00000706: CALLDATASIZE 00000707: SUB 00000708: PUSH1 0x20 0000070a: DUP2 0000070b: LT 0000070c: ISZERO 0000070d: PUSH2 0x0715 00000710: JUMPI 00000711: PUSH1 0x00 00000713: DUP1 00000714: REVERT 00000715: JUMPDEST 00000716: POP 00000717: CALLDATALOAD 00000718: PUSH2 0x13bd 0000071b: JUMP 0000071c: JUMPDEST 0000071d: CALLVALUE 0000071e: DUP1 0000071f: ISZERO 00000720: PUSH2 0x0728 00000723: JUMPI 00000724: PUSH1 0x00 00000726: DUP1 00000727: REVERT 00000728: JUMPDEST 00000729: POP 0000072a: PUSH2 0x030e 0000072d: PUSH2 0x13db 00000730: JUMP 00000731: JUMPDEST 00000732: CALLVALUE 00000733: DUP1 00000734: ISZERO 00000735: PUSH2 0x073d 00000738: JUMPI 00000739: PUSH1 0x00 0000073b: DUP1 0000073c: REVERT 0000073d: JUMPDEST 0000073e: POP 0000073f: PUSH2 0x030e 00000742: PUSH1 0x04 00000744: DUP1 00000745: CALLDATASIZE 00000746: SUB 00000747: PUSH1 0x20 00000749: DUP2 0000074a: LT 0000074b: ISZERO 0000074c: PUSH2 0x0754 0000074f: JUMPI 00000750: PUSH1 0x00 00000752: DUP1 00000753: REVERT 00000754: JUMPDEST 00000755: POP 00000756: CALLDATALOAD 00000757: PUSH2 0x13ff 0000075a: JUMP 0000075b: JUMPDEST 0000075c: CALLVALUE 0000075d: DUP1 0000075e: ISZERO 0000075f: PUSH2 0x0767 00000762: JUMPI 00000763: PUSH1 0x00 00000765: DUP1 00000766: REVERT 00000767: JUMPDEST 00000768: POP 00000769: PUSH2 0x034a 0000076c: PUSH2 0x140c 0000076f: JUMP 00000770: JUMPDEST 00000771: PUSH1 0x6d 00000773: SLOAD 00000774: PUSH1 0x01 00000776: PUSH1 0x01 00000778: PUSH1 0xa0 0000077a: SHL 0000077b: SUB 0000077c: AND 0000077d: CALLER 0000077e: EQ 0000077f: PUSH2 0x07b9 00000782: JUMPI 00000783: PUSH1 0x40 00000785: MLOAD 00000786: PUSH3 0x461bcd 0000078a: PUSH1 0xe5 0000078c: SHL 0000078d: DUP2 0000078e: MSTORE 0000078f: PUSH1 0x04 00000791: ADD 00000792: DUP1 00000793: DUP1 00000794: PUSH1 0x20 00000796: ADD 00000797: DUP3 00000798: DUP2 00000799: SUB 0000079a: DUP3 0000079b: MSTORE 0000079c: PUSH1 0x25 0000079e: DUP2 0000079f: MSTORE 000007a0: PUSH1 0x20 000007a2: ADD 000007a3: DUP1 000007a4: PUSH2 0x1949 000007a7: PUSH1 0x25 000007a9: SWAP2 000007aa: CODECOPY 000007ab: PUSH1 0x40 000007ad: ADD 000007ae: SWAP2 000007af: POP 000007b0: POP 000007b1: PUSH1 0x40 000007b3: MLOAD 000007b4: DUP1 000007b5: SWAP2 000007b6: SUB 000007b7: SWAP1 000007b8: REVERT 000007b9: JUMPDEST 000007ba: PUSH1 0x6d 000007bc: DUP1 000007bd: SLOAD 000007be: PUSH1 0x01 000007c0: PUSH1 0x01 000007c2: PUSH1 0xa0 000007c4: SHL 000007c5: SUB 000007c6: NOT 000007c7: AND 000007c8: PUSH1 0x01 000007ca: PUSH1 0x01 000007cc: PUSH1 0xa0 000007ce: SHL 000007cf: SUB 000007d0: SWAP3 000007d1: SWAP1 000007d2: SWAP3 000007d3: AND 000007d4: SWAP2 000007d5: SWAP1 000007d6: SWAP2 000007d7: OR 000007d8: SWAP1 000007d9: SSTORE 000007da: JUMP 000007db: JUMPDEST 000007dc: PUSH1 0x6a 000007de: PUSH1 0x20 000007e0: MSTORE 000007e1: PUSH1 0x00 000007e3: SWAP1 000007e4: DUP2 000007e5: MSTORE 000007e6: PUSH1 0x40 000007e8: SWAP1 000007e9: KECCAK256 000007ea: SLOAD 000007eb: PUSH1 0xff 000007ed: AND 000007ee: DUP2 000007ef: JUMP 000007f0: JUMPDEST 000007f1: PUSH1 0x68 000007f3: DUP1 000007f4: SLOAD 000007f5: PUSH1 0x01 000007f7: ADD 000007f8: SWAP1 000007f9: DUP2 000007fa: SWAP1 000007fb: SSTORE 000007fc: PUSH1 0x69 000007fe: SLOAD 000007ff: DUP4 00000800: GT 00000801: ISZERO 00000802: PUSH2 0x0852 00000805: JUMPI 00000806: PUSH1 0x40 00000808: DUP1 00000809: MLOAD 0000080a: PUSH3 0x461bcd 0000080e: PUSH1 0xe5 00000810: SHL 00000811: DUP2 00000812: MSTORE 00000813: PUSH1 0x20 00000815: PUSH1 0x04 00000817: DUP3 00000818: ADD 00000819: MSTORE 0000081a: PUSH1 0x1a 0000081c: PUSH1 0x24 0000081e: DUP3 0000081f: ADD 00000820: MSTORE 00000821: PUSH32 0x4665652065786365656473207472616e736665722076616c7565000000000000 00000842: PUSH1 0x44 00000844: DUP3 00000845: ADD 00000846: MSTORE 00000847: SWAP1 00000848: MLOAD 00000849: SWAP1 0000084a: DUP2 0000084b: SWAP1 0000084c: SUB 0000084d: PUSH1 0x64 0000084f: ADD 00000850: SWAP1 00000851: REVERT 00000852: JUMPDEST 00000853: PUSH1 0x00 00000855: DUP7 00000856: DUP2 00000857: MSTORE 00000858: PUSH1 0x6a 0000085a: PUSH1 0x20 0000085c: MSTORE 0000085d: PUSH1 0x40 0000085f: SWAP1 00000860: KECCAK256 00000861: SLOAD 00000862: PUSH1 0xff 00000864: AND 00000865: ISZERO 00000866: PUSH2 0x08b6 00000869: JUMPI 0000086a: PUSH1 0x40 0000086c: DUP1 0000086d: MLOAD 0000086e: PUSH3 0x461bcd 00000872: PUSH1 0xe5 00000874: SHL 00000875: DUP2 00000876: MSTORE 00000877: PUSH1 0x20 00000879: PUSH1 0x04 0000087b: DUP3 0000087c: ADD 0000087d: MSTORE 0000087e: PUSH1 0x1f 00000880: PUSH1 0x24 00000882: DUP3 00000883: ADD 00000884: MSTORE 00000885: PUSH32 0x546865206e6f746520686173206265656e20616c7265616479207370656e7400 000008a6: PUSH1 0x44 000008a8: DUP3 000008a9: ADD 000008aa: MSTORE 000008ab: SWAP1 000008ac: MLOAD 000008ad: SWAP1 000008ae: DUP2 000008af: SWAP1 000008b0: SUB 000008b1: PUSH1 0x64 000008b3: ADD 000008b4: SWAP1 000008b5: REVERT 000008b6: JUMPDEST 000008b7: PUSH2 0x08bf 000008ba: DUP8 000008bb: PUSH2 0x0dfd 000008be: JUMP 000008bf: JUMPDEST 000008c0: PUSH2 0x0910 000008c3: JUMPI 000008c4: PUSH1 0x40 000008c6: DUP1 000008c7: MLOAD 000008c8: PUSH3 0x461bcd 000008cc: PUSH1 0xe5 000008ce: SHL 000008cf: DUP2 000008d0: MSTORE 000008d1: PUSH1 0x20 000008d3: PUSH1 0x04 000008d5: DUP3 000008d6: ADD 000008d7: MSTORE 000008d8: PUSH1 0x1c 000008da: PUSH1 0x24 000008dc: DUP3 000008dd: ADD 000008de: MSTORE 000008df: PUSH32 0x43616e6e6f742066696e6420796f7572206d65726b6c6520726f6f7400000000 00000900: PUSH1 0x44 00000902: DUP3 00000903: ADD 00000904: MSTORE 00000905: SWAP1 00000906: MLOAD 00000907: SWAP1 00000908: DUP2 00000909: SWAP1 0000090a: SUB 0000090b: PUSH1 0x64 0000090d: ADD 0000090e: SWAP1 0000090f: REVERT 00000910: JUMPDEST 00000911: PUSH1 0x6c 00000913: SLOAD 00000914: PUSH1 0x40 00000916: DUP1 00000917: MLOAD 00000918: PUSH1 0xc0 0000091a: DUP1 0000091b: DUP3 0000091c: ADD 0000091d: DUP4 0000091e: MSTORE 0000091f: DUP11 00000920: DUP3 00000921: MSTORE 00000922: PUSH1 0x20 00000924: DUP3 00000925: ADD 00000926: DUP11 00000927: SWAP1 00000928: MSTORE 00000929: PUSH1 0x01 0000092b: PUSH1 0x01 0000092d: PUSH1 0xa0 0000092f: SHL 00000930: SUB 00000931: DUP10 00000932: DUP2 00000933: AND 00000934: DUP4 00000935: DUP6 00000936: ADD 00000937: MSTORE 00000938: DUP9 00000939: DUP2 0000093a: AND 0000093b: PUSH1 0x60 0000093d: DUP5 0000093e: ADD 0000093f: MSTORE 00000940: PUSH1 0x80 00000942: DUP4 00000943: ADD 00000944: DUP9 00000945: SWAP1 00000946: MSTORE 00000947: PUSH1 0xa0 00000949: DUP4 0000094a: ADD 0000094b: DUP8 0000094c: SWAP1 0000094d: MSTORE 0000094e: SWAP3 0000094f: MLOAD 00000950: PUSH4 0x695ef6f9 00000955: PUSH1 0xe0 00000957: SHL 00000958: DUP2 00000959: MSTORE 0000095a: SWAP3 0000095b: SWAP1 0000095c: SWAP4 0000095d: AND 0000095e: SWAP3 0000095f: PUSH4 0x695ef6f9 00000964: SWAP3 00000965: DUP14 00000966: SWAP3 00000967: DUP14 00000968: SWAP3 00000969: SWAP1 0000096a: SWAP2 0000096b: PUSH1 0x04 0000096d: DUP2 0000096e: ADD 0000096f: SWAP2 00000970: DUP3 00000971: SWAP2 00000972: PUSH1 0x24 00000974: ADD 00000975: SWAP1 00000976: DUP5 00000977: SWAP1 00000978: DUP1 00000979: DUP4 0000097a: DUP4 0000097b: PUSH1 0x00 0000097d: JUMPDEST 0000097e: DUP4 0000097f: DUP2 00000980: LT 00000981: ISZERO 00000982: PUSH2 0x0995 00000985: JUMPI 00000986: DUP2 00000987: DUP2 00000988: ADD 00000989: MLOAD 0000098a: DUP4 0000098b: DUP3 0000098c: ADD 0000098d: MSTORE 0000098e: PUSH1 0x20 00000990: ADD 00000991: PUSH2 0x097d 00000994: JUMP 00000995: JUMPDEST 00000996: POP 00000997: POP 00000998: POP 00000999: POP 0000099a: SWAP1 0000099b: POP 0000099c: ADD 0000099d: DUP3 0000099e: DUP2 0000099f: SUB 000009a0: DUP3 000009a1: MSTORE 000009a2: DUP6 000009a3: DUP6 000009a4: DUP3 000009a5: DUP2 000009a6: DUP2 000009a7: MSTORE 000009a8: PUSH1 0x20 000009aa: ADD 000009ab: SWAP3 000009ac: POP 000009ad: DUP1 000009ae: DUP3 000009af: DUP5 000009b0: CALLDATACOPY 000009b1: PUSH1 0x00 000009b3: DUP2 000009b4: DUP5 000009b5: ADD 000009b6: MSTORE 000009b7: PUSH1 0x1f 000009b9: NOT 000009ba: PUSH1 0x1f 000009bc: DUP3 000009bd: ADD 000009be: AND 000009bf: SWAP1 000009c0: POP 000009c1: DUP1 000009c2: DUP4 000009c3: ADD 000009c4: SWAP3 000009c5: POP 000009c6: POP 000009c7: POP 000009c8: SWAP5 000009c9: POP 000009ca: POP 000009cb: POP 000009cc: POP 000009cd: POP 000009ce: PUSH1 0x20 000009d0: PUSH1 0x40 000009d2: MLOAD 000009d3: DUP1 000009d4: DUP4 000009d5: SUB 000009d6: DUP2 000009d7: PUSH1 0x00 000009d9: DUP8 000009da: DUP1 000009db: EXTCODESIZE 000009dc: ISZERO 000009dd: DUP1 000009de: ISZERO 000009df: PUSH2 0x09e7 000009e2: JUMPI 000009e3: PUSH1 0x00 000009e5: DUP1 000009e6: REVERT 000009e7: JUMPDEST 000009e8: POP 000009e9: GAS 000009ea: CALL 000009eb: ISZERO 000009ec: DUP1 000009ed: ISZERO 000009ee: PUSH2 0x09fb 000009f1: JUMPI 000009f2: RETURNDATASIZE 000009f3: PUSH1 0x00 000009f5: DUP1 000009f6: RETURNDATACOPY 000009f7: RETURNDATASIZE 000009f8: PUSH1 0x00 000009fa: REVERT 000009fb: JUMPDEST 000009fc: POP 000009fd: POP 000009fe: POP 000009ff: POP 00000a00: PUSH1 0x40 00000a02: MLOAD 00000a03: RETURNDATASIZE 00000a04: PUSH1 0x20 00000a06: DUP2 00000a07: LT 00000a08: ISZERO 00000a09: PUSH2 0x0a11 00000a0c: JUMPI 00000a0d: PUSH1 0x00 00000a0f: DUP1 00000a10: REVERT 00000a11: JUMPDEST 00000a12: POP 00000a13: MLOAD 00000a14: PUSH2 0x0a5d 00000a17: JUMPI 00000a18: PUSH1 0x40 00000a1a: DUP1 00000a1b: MLOAD 00000a1c: PUSH3 0x461bcd 00000a20: PUSH1 0xe5 00000a22: SHL 00000a23: DUP2 00000a24: MSTORE 00000a25: PUSH1 0x20 00000a27: PUSH1 0x04 00000a29: DUP3 00000a2a: ADD 00000a2b: MSTORE 00000a2c: PUSH1 0x16 00000a2e: PUSH1 0x24 00000a30: DUP3 00000a31: ADD 00000a32: MSTORE 00000a33: PUSH22 0x24b73b30b634b2103bb4ba34323930bb90383937b7b3 00000a4a: PUSH1 0x51 00000a4c: SHL 00000a4d: PUSH1 0x44 00000a4f: DUP3 00000a50: ADD 00000a51: MSTORE 00000a52: SWAP1 00000a53: MLOAD 00000a54: SWAP1 00000a55: DUP2 00000a56: SWAP1 00000a57: SUB 00000a58: PUSH1 0x64 00000a5a: ADD 00000a5b: SWAP1 00000a5c: REVERT 00000a5d: JUMPDEST 00000a5e: PUSH1 0x00 00000a60: DUP7 00000a61: DUP2 00000a62: MSTORE 00000a63: PUSH1 0x6a 00000a65: PUSH1 0x20 00000a67: MSTORE 00000a68: PUSH1 0x40 00000a6a: SWAP1 00000a6b: KECCAK256 00000a6c: DUP1 00000a6d: SLOAD 00000a6e: PUSH1 0xff 00000a70: NOT 00000a71: AND 00000a72: PUSH1 0x01 00000a74: OR 00000a75: SWAP1 00000a76: SSTORE 00000a77: PUSH2 0x0a82 00000a7a: DUP6 00000a7b: DUP6 00000a7c: DUP6 00000a7d: DUP6 00000a7e: PUSH2 0x141f 00000a81: JUMP 00000a82: JUMPDEST 00000a83: PUSH1 0x40 00000a85: DUP1 00000a86: MLOAD 00000a87: PUSH1 0x01 00000a89: PUSH1 0x01 00000a8b: PUSH1 0xa0 00000a8d: SHL 00000a8e: SUB 00000a8f: DUP8 00000a90: DUP2 00000a91: AND 00000a92: DUP3 00000a93: MSTORE 00000a94: PUSH1 0x20 00000a96: DUP3 00000a97: ADD 00000a98: DUP10 00000a99: SWAP1 00000a9a: MSTORE 00000a9b: DUP2 00000a9c: DUP4 00000a9d: ADD 00000a9e: DUP7 00000a9f: SWAP1 00000aa0: MSTORE 00000aa1: SWAP2 00000aa2: MLOAD 00000aa3: SWAP2 00000aa4: DUP7 00000aa5: AND 00000aa6: SWAP2 00000aa7: PUSH32 0xe9e508bad6d4c3227e881ca19068f099da81b5164dd6d62b2eaf1e8bc6c34931 00000ac8: SWAP2 00000ac9: DUP2 00000aca: SWAP1 00000acb: SUB 00000acc: PUSH1 0x60 00000ace: ADD 00000acf: SWAP1 00000ad0: LOG2 00000ad1: PUSH1 0x68 00000ad3: SLOAD 00000ad4: DUP2 00000ad5: EQ 00000ad6: PUSH2 0x0b26 00000ad9: JUMPI 00000ada: PUSH1 0x40 00000adc: DUP1 00000add: MLOAD 00000ade: PUSH3 0x461bcd 00000ae2: PUSH1 0xe5 00000ae4: SHL 00000ae5: DUP2 00000ae6: MSTORE 00000ae7: PUSH1 0x20 00000ae9: PUSH1 0x04 00000aeb: DUP3 00000aec: ADD 00000aed: MSTORE 00000aee: PUSH1 0x1f 00000af0: PUSH1 0x24 00000af2: DUP3 00000af3: ADD 00000af4: MSTORE 00000af5: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000b16: PUSH1 0x44 00000b18: DUP3 00000b19: ADD 00000b1a: MSTORE 00000b1b: SWAP1 00000b1c: MLOAD 00000b1d: SWAP1 00000b1e: DUP2 00000b1f: SWAP1 00000b20: SUB 00000b21: PUSH1 0x64 00000b23: ADD 00000b24: SWAP1 00000b25: REVERT 00000b26: JUMPDEST 00000b27: POP 00000b28: POP 00000b29: POP 00000b2a: POP 00000b2b: POP 00000b2c: POP 00000b2d: POP 00000b2e: POP 00000b2f: POP 00000b30: JUMP 00000b31: JUMPDEST 00000b32: PUSH1 0x6c 00000b34: SLOAD 00000b35: PUSH1 0x01 00000b37: PUSH1 0x01 00000b39: PUSH1 0xa0 00000b3b: SHL 00000b3c: SUB 00000b3d: AND 00000b3e: DUP2 00000b3f: JUMP 00000b40: JUMPDEST 00000b41: PUSH1 0x00 00000b43: PUSH1 0x00 00000b45: DUP1 00000b46: MLOAD 00000b47: PUSH1 0x20 00000b49: PUSH2 0x18c0 00000b4c: DUP4 00000b4d: CODECOPY 00000b4e: DUP2 00000b4f: MLOAD 00000b50: SWAP2 00000b51: MSTORE 00000b52: DUP4 00000b53: LT 00000b54: PUSH2 0x0ba4 00000b57: JUMPI 00000b58: PUSH1 0x40 00000b5a: DUP1 00000b5b: MLOAD 00000b5c: PUSH3 0x461bcd 00000b60: PUSH1 0xe5 00000b62: SHL 00000b63: DUP2 00000b64: MSTORE 00000b65: PUSH1 0x20 00000b67: PUSH1 0x04 00000b69: DUP3 00000b6a: ADD 00000b6b: DUP2 00000b6c: SWAP1 00000b6d: MSTORE 00000b6e: PUSH1 0x24 00000b70: DUP3 00000b71: ADD 00000b72: MSTORE 00000b73: PUSH32 0x5f6c6566742073686f756c6420626520696e7369646520746865206669656c64 00000b94: PUSH1 0x44 00000b96: DUP3 00000b97: ADD 00000b98: MSTORE 00000b99: SWAP1 00000b9a: MLOAD 00000b9b: SWAP1 00000b9c: DUP2 00000b9d: SWAP1 00000b9e: SUB 00000b9f: PUSH1 0x64 00000ba1: ADD 00000ba2: SWAP1 00000ba3: REVERT 00000ba4: JUMPDEST 00000ba5: PUSH1 0x00 00000ba7: DUP1 00000ba8: MLOAD 00000ba9: PUSH1 0x20 00000bab: PUSH2 0x18c0 00000bae: DUP4 00000baf: CODECOPY 00000bb0: DUP2 00000bb1: MLOAD 00000bb2: SWAP2 00000bb3: MSTORE 00000bb4: DUP3 00000bb5: LT 00000bb6: PUSH2 0x0bf0 00000bb9: JUMPI 00000bba: PUSH1 0x40 00000bbc: MLOAD 00000bbd: PUSH3 0x461bcd 00000bc1: PUSH1 0xe5 00000bc3: SHL 00000bc4: DUP2 00000bc5: MSTORE 00000bc6: PUSH1 0x04 00000bc8: ADD 00000bc9: DUP1 00000bca: DUP1 00000bcb: PUSH1 0x20 00000bcd: ADD 00000bce: DUP3 00000bcf: DUP2 00000bd0: SUB 00000bd1: DUP3 00000bd2: MSTORE 00000bd3: PUSH1 0x21 00000bd5: DUP2 00000bd6: MSTORE 00000bd7: PUSH1 0x20 00000bd9: ADD 00000bda: DUP1 00000bdb: PUSH2 0x186b 00000bde: PUSH1 0x21 00000be0: SWAP2 00000be1: CODECOPY 00000be2: PUSH1 0x40 00000be4: ADD 00000be5: SWAP2 00000be6: POP 00000be7: POP 00000be8: PUSH1 0x40 00000bea: MLOAD 00000beb: DUP1 00000bec: SWAP2 00000bed: SUB 00000bee: SWAP1 00000bef: REVERT 00000bf0: JUMPDEST 00000bf1: PUSH1 0x40 00000bf3: DUP1 00000bf4: MLOAD 00000bf5: PUSH4 0xf47d33b5 00000bfa: PUSH1 0xe0 00000bfc: SHL 00000bfd: DUP2 00000bfe: MSTORE 00000bff: PUSH1 0x04 00000c01: DUP2 00000c02: ADD 00000c03: DUP6 00000c04: SWAP1 00000c05: MSTORE 00000c06: PUSH1 0x00 00000c08: PUSH1 0x24 00000c0a: DUP3 00000c0b: ADD 00000c0c: DUP2 00000c0d: SWAP1 00000c0e: MSTORE 00000c0f: DUP3 00000c10: MLOAD 00000c11: DUP7 00000c12: SWAP4 00000c13: SWAP2 00000c14: SWAP3 00000c15: PUSH20 0x83584f83f26af4edda9cbe8c730bc87c364b28fe 00000c2a: SWAP3 00000c2b: PUSH4 0xf47d33b5 00000c30: SWAP3 00000c31: PUSH1 0x44 00000c33: DUP1 00000c34: DUP5 00000c35: ADD 00000c36: SWAP4 00000c37: DUP3 00000c38: SWAP1 00000c39: SUB 00000c3a: ADD 00000c3b: DUP2 00000c3c: DUP7 00000c3d: DUP1 00000c3e: EXTCODESIZE 00000c3f: ISZERO 00000c40: DUP1 00000c41: ISZERO 00000c42: PUSH2 0x0c4a 00000c45: JUMPI 00000c46: PUSH1 0x00 00000c48: DUP1 00000c49: REVERT 00000c4a: JUMPDEST 00000c4b: POP 00000c4c: GAS 00000c4d: DELEGATECALL 00000c4e: ISZERO 00000c4f: DUP1 00000c50: ISZERO 00000c51: PUSH2 0x0c5e 00000c54: JUMPI 00000c55: RETURNDATASIZE 00000c56: PUSH1 0x00 00000c58: DUP1 00000c59: RETURNDATACOPY 00000c5a: RETURNDATASIZE 00000c5b: PUSH1 0x00 00000c5d: REVERT 00000c5e: JUMPDEST 00000c5f: POP 00000c60: POP 00000c61: POP 00000c62: POP 00000c63: PUSH1 0x40 00000c65: MLOAD 00000c66: RETURNDATASIZE 00000c67: PUSH1 0x40 00000c69: DUP2 00000c6a: LT 00000c6b: ISZERO 00000c6c: PUSH2 0x0c74 00000c6f: JUMPI 00000c70: PUSH1 0x00 00000c72: DUP1 00000c73: REVERT 00000c74: JUMPDEST 00000c75: POP 00000c76: DUP1 00000c77: MLOAD 00000c78: PUSH1 0x20 00000c7a: SWAP1 00000c7b: SWAP2 00000c7c: ADD 00000c7d: MLOAD 00000c7e: SWAP1 00000c7f: SWAP3 00000c80: POP 00000c81: SWAP1 00000c82: POP 00000c83: PUSH1 0x00 00000c85: DUP1 00000c86: MLOAD 00000c87: PUSH1 0x20 00000c89: PUSH2 0x18c0 00000c8c: DUP4 00000c8d: CODECOPY 00000c8e: DUP2 00000c8f: MLOAD 00000c90: SWAP2 00000c91: MSTORE 00000c92: DUP5 00000c93: DUP4 00000c94: ADDMOD 00000c95: SWAP2 00000c96: POP 00000c97: PUSH20 0x83584f83f26af4edda9cbe8c730bc87c364b28fe 00000cac: PUSH4 0xf47d33b5 00000cb1: DUP4 00000cb2: DUP4 00000cb3: PUSH1 0x40 00000cb5: MLOAD 00000cb6: DUP4 00000cb7: PUSH4 0xffffffff 00000cbc: AND 00000cbd: PUSH1 0xe0 00000cbf: SHL 00000cc0: DUP2 00000cc1: MSTORE 00000cc2: PUSH1 0x04 00000cc4: ADD 00000cc5: DUP1 00000cc6: DUP4 00000cc7: DUP2 00000cc8: MSTORE 00000cc9: PUSH1 0x20 00000ccb: ADD 00000ccc: DUP3 00000ccd: DUP2 00000cce: MSTORE 00000ccf: PUSH1 0x20 00000cd1: ADD 00000cd2: SWAP3 00000cd3: POP 00000cd4: POP 00000cd5: POP 00000cd6: PUSH1 0x40 00000cd8: DUP1 00000cd9: MLOAD 00000cda: DUP1 00000cdb: DUP4 00000cdc: SUB 00000cdd: DUP2 00000cde: DUP7 00000cdf: DUP1 00000ce0: EXTCODESIZE 00000ce1: ISZERO 00000ce2: DUP1 00000ce3: ISZERO 00000ce4: PUSH2 0x0cec 00000ce7: JUMPI 00000ce8: PUSH1 0x00 00000cea: DUP1 00000ceb: REVERT 00000cec: JUMPDEST 00000ced: POP 00000cee: GAS 00000cef: DELEGATECALL 00000cf0: ISZERO 00000cf1: DUP1 00000cf2: ISZERO 00000cf3: PUSH2 0x0d00 00000cf6: JUMPI 00000cf7: RETURNDATASIZE 00000cf8: PUSH1 0x00 00000cfa: DUP1 00000cfb: RETURNDATACOPY 00000cfc: RETURNDATASIZE 00000cfd: PUSH1 0x00 00000cff: REVERT 00000d00: JUMPDEST 00000d01: POP 00000d02: POP 00000d03: POP 00000d04: POP 00000d05: PUSH1 0x40 00000d07: MLOAD 00000d08: RETURNDATASIZE 00000d09: PUSH1 0x40 00000d0b: DUP2 00000d0c: LT 00000d0d: ISZERO 00000d0e: PUSH2 0x0d16 00000d11: JUMPI 00000d12: PUSH1 0x00 00000d14: DUP1 00000d15: REVERT 00000d16: JUMPDEST 00000d17: POP 00000d18: MLOAD 00000d19: SWAP6 00000d1a: SWAP5 00000d1b: POP 00000d1c: POP 00000d1d: POP 00000d1e: POP 00000d1f: POP 00000d20: JUMP 00000d21: JUMPDEST 00000d22: PUSH1 0x00 00000d24: DUP1 00000d25: MLOAD 00000d26: PUSH1 0x20 00000d28: PUSH2 0x18c0 00000d2b: DUP4 00000d2c: CODECOPY 00000d2d: DUP2 00000d2e: MLOAD 00000d2f: SWAP2 00000d30: MSTORE 00000d31: DUP2 00000d32: JUMP 00000d33: JUMPDEST 00000d34: PUSH1 0x00 00000d36: SLOAD 00000d37: PUSH4 0xffffffff 00000d3c: AND 00000d3d: DUP2 00000d3e: JUMP 00000d3f: JUMPDEST 00000d40: PUSH1 0x6d 00000d42: SLOAD 00000d43: PUSH1 0x01 00000d45: PUSH1 0x01 00000d47: PUSH1 0xa0 00000d49: SHL 00000d4a: SUB 00000d4b: AND 00000d4c: DUP2 00000d4d: JUMP 00000d4e: JUMPDEST 00000d4f: PUSH1 0x6d 00000d51: SLOAD 00000d52: PUSH1 0x01 00000d54: PUSH1 0x01 00000d56: PUSH1 0xa0 00000d58: SHL 00000d59: SUB 00000d5a: AND 00000d5b: CALLER 00000d5c: EQ 00000d5d: PUSH2 0x0d97 00000d60: JUMPI 00000d61: PUSH1 0x40 00000d63: MLOAD 00000d64: PUSH3 0x461bcd 00000d68: PUSH1 0xe5 00000d6a: SHL 00000d6b: DUP2 00000d6c: MSTORE 00000d6d: PUSH1 0x04 00000d6f: ADD 00000d70: DUP1 00000d71: DUP1 00000d72: PUSH1 0x20 00000d74: ADD 00000d75: DUP3 00000d76: DUP2 00000d77: SUB 00000d78: DUP3 00000d79: MSTORE 00000d7a: PUSH1 0x25 00000d7c: DUP2 00000d7d: MSTORE 00000d7e: PUSH1 0x20 00000d80: ADD 00000d81: DUP1 00000d82: PUSH2 0x1949 00000d85: PUSH1 0x25 00000d87: SWAP2 00000d88: CODECOPY 00000d89: PUSH1 0x40 00000d8b: ADD 00000d8c: SWAP2 00000d8d: POP 00000d8e: POP 00000d8f: PUSH1 0x40 00000d91: MLOAD 00000d92: DUP1 00000d93: SWAP2 00000d94: SUB 00000d95: SWAP1 00000d96: REVERT 00000d97: JUMPDEST 00000d98: PUSH1 0x6d 00000d9a: SLOAD 00000d9b: PUSH1 0x01 00000d9d: PUSH1 0xa0 00000d9f: SHL 00000da0: SWAP1 00000da1: DIV 00000da2: PUSH1 0xff 00000da4: AND 00000da5: ISZERO 00000da6: PUSH2 0x0de9 00000da9: JUMPI 00000daa: PUSH1 0x40 00000dac: DUP1 00000dad: MLOAD 00000dae: PUSH3 0x461bcd 00000db2: PUSH1 0xe5 00000db4: SHL 00000db5: DUP2 00000db6: MSTORE 00000db7: PUSH1 0x20 00000db9: PUSH1 0x04 00000dbb: DUP3 00000dbc: ADD 00000dbd: MSTORE 00000dbe: PUSH1 0x10 00000dc0: PUSH1 0x24 00000dc2: DUP3 00000dc3: ADD 00000dc4: MSTORE 00000dc5: PUSH16 0x185b1c9958591e481b5a59dc985d1959 00000dd6: PUSH1 0x82 00000dd8: SHL 00000dd9: PUSH1 0x44 00000ddb: DUP3 00000ddc: ADD 00000ddd: MSTORE 00000dde: SWAP1 00000ddf: MLOAD 00000de0: SWAP1 00000de1: DUP2 00000de2: SWAP1 00000de3: SUB 00000de4: PUSH1 0x64 00000de6: ADD 00000de7: SWAP1 00000de8: REVERT 00000de9: JUMPDEST 00000dea: PUSH2 0x0df5 00000ded: PUSH1 0x01 00000def: DUP5 00000df0: DUP5 00000df1: PUSH2 0x179e 00000df4: JUMP 00000df5: JUMPDEST 00000df6: POP 00000df7: PUSH1 0x04 00000df9: SSTORE 00000dfa: POP 00000dfb: POP 00000dfc: JUMP 00000dfd: JUMPDEST 00000dfe: PUSH1 0x00 00000e00: DUP2 00000e01: PUSH2 0x0e0c 00000e04: JUMPI 00000e05: POP 00000e06: PUSH1 0x00 00000e08: PUSH2 0x0e6b 00000e0b: JUMP 00000e0c: JUMPDEST 00000e0d: PUSH1 0x03 00000e0f: SLOAD 00000e10: PUSH4 0xffffffff 00000e15: AND 00000e16: JUMPDEST 00000e17: PUSH1 0x04 00000e19: DUP2 00000e1a: PUSH4 0xffffffff 00000e1f: AND 00000e20: PUSH1 0x64 00000e22: DUP2 00000e23: LT 00000e24: PUSH2 0x0e29 00000e27: JUMPI 00000e28: INVALID 00000e29: JUMPDEST 00000e2a: ADD 00000e2b: SLOAD 00000e2c: DUP4 00000e2d: EQ 00000e2e: ISZERO 00000e2f: PUSH2 0x0e3c 00000e32: JUMPI 00000e33: PUSH1 0x01 00000e35: SWAP2 00000e36: POP 00000e37: POP 00000e38: PUSH2 0x0e6b 00000e3b: JUMP 00000e3c: JUMPDEST 00000e3d: PUSH4 0xffffffff 00000e42: DUP2 00000e43: AND 00000e44: PUSH2 0x0e4b 00000e47: JUMPI 00000e48: POP 00000e49: PUSH1 0x64 00000e4b: JUMPDEST 00000e4c: PUSH1 0x03 00000e4e: SLOAD 00000e4f: PUSH1 0x00 00000e51: NOT 00000e52: SWAP1 00000e53: SWAP2 00000e54: ADD 00000e55: SWAP1 00000e56: PUSH4 0xffffffff 00000e5b: DUP1 00000e5c: DUP4 00000e5d: AND 00000e5e: SWAP2 00000e5f: AND 00000e60: EQ 00000e61: ISZERO 00000e62: PUSH2 0x0e16 00000e65: JUMPI 00000e66: PUSH1 0x00 00000e68: SWAP2 00000e69: POP 00000e6a: POP 00000e6b: JUMPDEST 00000e6c: SWAP2 00000e6d: SWAP1 00000e6e: POP 00000e6f: JUMP 00000e70: JUMPDEST 00000e71: PUSH1 0x6b 00000e73: PUSH1 0x20 00000e75: MSTORE 00000e76: PUSH1 0x00 00000e78: SWAP1 00000e79: DUP2 00000e7a: MSTORE 00000e7b: PUSH1 0x40 00000e7d: SWAP1 00000e7e: KECCAK256 00000e7f: SLOAD 00000e80: PUSH1 0xff 00000e82: AND 00000e83: DUP2 00000e84: JUMP 00000e85: JUMPDEST 00000e86: PUSH1 0x6d 00000e88: SLOAD 00000e89: PUSH1 0x01 00000e8b: PUSH1 0x01 00000e8d: PUSH1 0xa0 00000e8f: SHL 00000e90: SUB 00000e91: AND 00000e92: CALLER 00000e93: EQ 00000e94: PUSH2 0x0ece 00000e97: JUMPI 00000e98: PUSH1 0x40 00000e9a: MLOAD 00000e9b: PUSH3 0x461bcd 00000e9f: PUSH1 0xe5 00000ea1: SHL 00000ea2: DUP2 00000ea3: MSTORE 00000ea4: PUSH1 0x04 00000ea6: ADD 00000ea7: DUP1 00000ea8: DUP1 00000ea9: PUSH1 0x20 00000eab: ADD 00000eac: DUP3 00000ead: DUP2 00000eae: SUB 00000eaf: DUP3 00000eb0: MSTORE 00000eb1: PUSH1 0x25 00000eb3: DUP2 00000eb4: MSTORE 00000eb5: PUSH1 0x20 00000eb7: ADD 00000eb8: DUP1 00000eb9: PUSH2 0x1949 00000ebc: PUSH1 0x25 00000ebe: SWAP2 00000ebf: CODECOPY 00000ec0: PUSH1 0x40 00000ec2: ADD 00000ec3: SWAP2 00000ec4: POP 00000ec5: POP 00000ec6: PUSH1 0x40 00000ec8: MLOAD 00000ec9: DUP1 00000eca: SWAP2 00000ecb: SUB 00000ecc: SWAP1 00000ecd: REVERT 00000ece: JUMPDEST 00000ecf: PUSH1 0x6d 00000ed1: DUP1 00000ed2: SLOAD 00000ed3: PUSH1 0xff 00000ed5: PUSH1 0xa0 00000ed7: SHL 00000ed8: NOT 00000ed9: AND 00000eda: PUSH1 0x01 00000edc: PUSH1 0xa0 00000ede: SHL 00000edf: OR 00000ee0: SWAP1 00000ee1: SSTORE 00000ee2: JUMP 00000ee3: JUMPDEST 00000ee4: PUSH1 0x69 00000ee6: SLOAD 00000ee7: DUP2 00000ee8: JUMP 00000ee9: JUMPDEST 00000eea: PUSH1 0x03 00000eec: SLOAD 00000eed: PUSH4 0xffffffff 00000ef2: AND 00000ef3: DUP2 00000ef4: JUMP 00000ef5: JUMPDEST 00000ef6: PUSH1 0x6d 00000ef8: SLOAD 00000ef9: PUSH1 0x01 00000efb: PUSH1 0x01 00000efd: PUSH1 0xa0 00000eff: SHL 00000f00: SUB 00000f01: AND 00000f02: CALLER 00000f03: EQ 00000f04: PUSH2 0x0f3e 00000f07: JUMPI 00000f08: PUSH1 0x40 00000f0a: MLOAD 00000f0b: PUSH3 0x461bcd 00000f0f: PUSH1 0xe5 00000f11: SHL 00000f12: DUP2 00000f13: MSTORE 00000f14: PUSH1 0x04 00000f16: ADD 00000f17: DUP1 00000f18: DUP1 00000f19: PUSH1 0x20 00000f1b: ADD 00000f1c: DUP3 00000f1d: DUP2 00000f1e: SUB 00000f1f: DUP3 00000f20: MSTORE 00000f21: PUSH1 0x25 00000f23: DUP2 00000f24: MSTORE 00000f25: PUSH1 0x20 00000f27: ADD 00000f28: DUP1 00000f29: PUSH2 0x1949 00000f2c: PUSH1 0x25 00000f2e: SWAP2 00000f2f: CODECOPY 00000f30: PUSH1 0x40 00000f32: ADD 00000f33: SWAP2 00000f34: POP 00000f35: POP 00000f36: PUSH1 0x40 00000f38: MLOAD 00000f39: DUP1 00000f3a: SWAP2 00000f3b: SUB 00000f3c: SWAP1 00000f3d: REVERT 00000f3e: JUMPDEST 00000f3f: PUSH1 0x6d 00000f41: SLOAD 00000f42: PUSH1 0x01 00000f44: PUSH1 0xa0 00000f46: SHL 00000f47: SWAP1 00000f48: DIV 00000f49: PUSH1 0xff 00000f4b: AND 00000f4c: ISZERO 00000f4d: PUSH2 0x0f95 00000f50: JUMPI 00000f51: PUSH1 0x40 00000f53: DUP1 00000f54: MLOAD 00000f55: PUSH3 0x461bcd 00000f59: PUSH1 0xe5 00000f5b: SHL 00000f5c: DUP2 00000f5d: MSTORE 00000f5e: PUSH1 0x20 00000f60: PUSH1 0x04 00000f62: DUP3 00000f63: ADD 00000f64: MSTORE 00000f65: PUSH1 0x15 00000f67: PUSH1 0x24 00000f69: DUP3 00000f6a: ADD 00000f6b: MSTORE 00000f6c: PUSH21 0x135a59dc985d1a5bdb881a5cc8191a5cd8589b1959 00000f82: PUSH1 0x5a 00000f84: SHL 00000f85: PUSH1 0x44 00000f87: DUP3 00000f88: ADD 00000f89: MSTORE 00000f8a: SWAP1 00000f8b: MLOAD 00000f8c: SWAP1 00000f8d: DUP2 00000f8e: SWAP1 00000f8f: SUB 00000f90: PUSH1 0x64 00000f92: ADD 00000f93: SWAP1 00000f94: REVERT 00000f95: JUMPDEST 00000f96: PUSH1 0x00 00000f98: JUMPDEST 00000f99: PUSH4 0xffffffff 00000f9e: DUP2 00000f9f: AND 00000fa0: DUP5 00000fa1: GT 00000fa2: ISZERO 00000fa3: PUSH2 0x105e 00000fa6: JUMPI 00000fa7: PUSH1 0x01 00000fa9: PUSH1 0x6b 00000fab: PUSH1 0x00 00000fad: DUP8 00000fae: DUP8 00000faf: DUP6 00000fb0: PUSH4 0xffffffff 00000fb5: AND 00000fb6: DUP2 00000fb7: DUP2 00000fb8: LT 00000fb9: PUSH2 0x0fbe 00000fbc: JUMPI 00000fbd: INVALID 00000fbe: JUMPDEST 00000fbf: SWAP1 00000fc0: POP 00000fc1: PUSH1 0x20 00000fc3: MUL 00000fc4: ADD 00000fc5: CALLDATALOAD 00000fc6: DUP2 00000fc7: MSTORE 00000fc8: PUSH1 0x20 00000fca: ADD 00000fcb: SWAP1 00000fcc: DUP2 00000fcd: MSTORE 00000fce: PUSH1 0x20 00000fd0: ADD 00000fd1: PUSH1 0x00 00000fd3: KECCAK256 00000fd4: PUSH1 0x00 00000fd6: PUSH2 0x0100 00000fd9: EXP 00000fda: DUP2 00000fdb: SLOAD 00000fdc: DUP2 00000fdd: PUSH1 0xff 00000fdf: MUL 00000fe0: NOT 00000fe1: AND 00000fe2: SWAP1 00000fe3: DUP4 00000fe4: ISZERO 00000fe5: ISZERO 00000fe6: MUL 00000fe7: OR 00000fe8: SWAP1 00000fe9: SSTORE 00000fea: POP 00000feb: DUP5 00000fec: DUP5 00000fed: DUP3 00000fee: PUSH4 0xffffffff 00000ff3: AND 00000ff4: DUP2 00000ff5: DUP2 00000ff6: LT 00000ff7: PUSH2 0x0ffc 00000ffa: JUMPI 00000ffb: INVALID 00000ffc: JUMPDEST 00000ffd: PUSH1 0x03 00000fff: SLOAD 00001000: PUSH1 0x40 00001002: DUP1 00001003: MLOAD 00001004: PUSH1 0x01 00001006: PUSH1 0x20 00001008: SHL 00001009: SWAP1 0000100a: SWAP3 0000100b: DIV 0000100c: PUSH4 0xffffffff 00001011: SWAP1 00001012: DUP2 00001013: AND 00001014: DUP8 00001015: ADD 00001016: AND 00001017: DUP3 00001018: MSTORE 00001019: TIMESTAMP 0000101a: PUSH1 0x20 0000101c: DUP1 0000101d: DUP5 0000101e: ADD 0000101f: SWAP2 00001020: SWAP1 00001021: SWAP2 00001022: MSTORE 00001023: DUP2 00001024: MLOAD 00001025: SWAP4 00001026: MUL 00001027: SWAP5 00001028: SWAP1 00001029: SWAP5 0000102a: ADD 0000102b: CALLDATALOAD 0000102c: SWAP4 0000102d: PUSH32 0xa945e51eec50ab98c161376f0db4cf2aeba3ec92755fe2fcd388bdbbb80ff196 0000104e: SWAP4 0000104f: POP 00001050: SWAP1 00001051: DUP3 00001052: SWAP1 00001053: SUB 00001054: ADD 00001055: SWAP1 00001056: LOG2 00001057: PUSH1 0x01 00001059: ADD 0000105a: PUSH2 0x0f98 0000105d: JUMP 0000105e: JUMPDEST 0000105f: POP 00001060: PUSH1 0x03 00001062: DUP1 00001063: SLOAD 00001064: PUSH4 0xffffffff 00001069: PUSH1 0x01 0000106b: PUSH1 0x20 0000106d: SHL 0000106e: DUP1 0000106f: DUP4 00001070: DIV 00001071: DUP3 00001072: AND 00001073: DUP8 00001074: ADD 00001075: SWAP1 00001076: SWAP2 00001077: AND 00001078: MUL 00001079: PUSH8 0xffffffff00000000 00001082: NOT 00001083: SWAP1 00001084: SWAP2 00001085: AND 00001086: OR 00001087: SWAP1 00001088: SSTORE 00001089: PUSH1 0x00 0000108b: JUMPDEST 0000108c: DUP2 0000108d: DUP2 0000108e: LT 0000108f: ISZERO 00001090: PUSH2 0x1143 00001093: JUMPI 00001094: PUSH1 0x01 00001096: PUSH1 0x6a 00001098: PUSH1 0x00 0000109a: DUP6 0000109b: DUP6 0000109c: DUP6 0000109d: DUP2 0000109e: DUP2 0000109f: LT 000010a0: PUSH2 0x10a5 000010a3: JUMPI 000010a4: INVALID 000010a5: JUMPDEST 000010a6: SWAP1 000010a7: POP 000010a8: PUSH1 0x20 000010aa: MUL 000010ab: ADD 000010ac: CALLDATALOAD 000010ad: DUP2 000010ae: MSTORE 000010af: PUSH1 0x20 000010b1: ADD 000010b2: SWAP1 000010b3: DUP2 000010b4: MSTORE 000010b5: PUSH1 0x20 000010b7: ADD 000010b8: PUSH1 0x00 000010ba: KECCAK256 000010bb: PUSH1 0x00 000010bd: PUSH2 0x0100 000010c0: EXP 000010c1: DUP2 000010c2: SLOAD 000010c3: DUP2 000010c4: PUSH1 0xff 000010c6: MUL 000010c7: NOT 000010c8: AND 000010c9: SWAP1 000010ca: DUP4 000010cb: ISZERO 000010cc: ISZERO 000010cd: MUL 000010ce: OR 000010cf: SWAP1 000010d0: SSTORE 000010d1: POP 000010d2: PUSH1 0x00 000010d4: PUSH1 0x01 000010d6: PUSH1 0x01 000010d8: PUSH1 0xa0 000010da: SHL 000010db: SUB 000010dc: AND 000010dd: PUSH32 0xe9e508bad6d4c3227e881ca19068f099da81b5164dd6d62b2eaf1e8bc6c34931 000010fe: PUSH1 0x00 00001100: DUP6 00001101: DUP6 00001102: DUP6 00001103: DUP2 00001104: DUP2 00001105: LT 00001106: PUSH2 0x110b 00001109: JUMPI 0000110a: INVALID 0000110b: JUMPDEST 0000110c: PUSH1 0x40 0000110e: DUP1 0000110f: MLOAD 00001110: PUSH1 0x01 00001112: PUSH1 0x01 00001114: PUSH1 0xa0 00001116: SHL 00001117: SUB 00001118: SWAP1 00001119: SWAP6 0000111a: AND 0000111b: DUP6 0000111c: MSTORE 0000111d: PUSH1 0x20 0000111f: SWAP2 00001120: DUP3 00001121: MUL 00001122: SWAP4 00001123: SWAP1 00001124: SWAP4 00001125: ADD 00001126: CALLDATALOAD 00001127: SWAP1 00001128: DUP5 00001129: ADD 0000112a: MSTORE 0000112b: POP 0000112c: PUSH1 0x00 0000112e: DUP3 0000112f: DUP3 00001130: ADD 00001131: MSTORE 00001132: MLOAD 00001133: SWAP1 00001134: DUP2 00001135: SWAP1 00001136: SUB 00001137: PUSH1 0x60 00001139: ADD 0000113a: SWAP1 0000113b: LOG2 0000113c: PUSH1 0x01 0000113e: ADD 0000113f: PUSH2 0x108b 00001142: JUMP 00001143: JUMPDEST 00001144: POP 00001145: POP 00001146: POP 00001147: POP 00001148: POP 00001149: JUMP 0000114a: JUMPDEST 0000114b: PUSH1 0x6d 0000114d: SLOAD 0000114e: PUSH1 0x01 00001150: PUSH1 0x01 00001152: PUSH1 0xa0 00001154: SHL 00001155: SUB 00001156: AND 00001157: CALLER 00001158: EQ 00001159: PUSH2 0x1193 0000115c: JUMPI 0000115d: PUSH1 0x40 0000115f: MLOAD 00001160: PUSH3 0x461bcd 00001164: PUSH1 0xe5 00001166: SHL 00001167: DUP2 00001168: MSTORE 00001169: PUSH1 0x04 0000116b: ADD 0000116c: DUP1 0000116d: DUP1 0000116e: PUSH1 0x20 00001170: ADD 00001171: DUP3 00001172: DUP2 00001173: SUB 00001174: DUP3 00001175: MSTORE 00001176: PUSH1 0x25 00001178: DUP2 00001179: MSTORE 0000117a: PUSH1 0x20 0000117c: ADD 0000117d: DUP1 0000117e: PUSH2 0x1949 00001181: PUSH1 0x25 00001183: SWAP2 00001184: CODECOPY 00001185: PUSH1 0x40 00001187: ADD 00001188: SWAP2 00001189: POP 0000118a: POP 0000118b: PUSH1 0x40 0000118d: MLOAD 0000118e: DUP1 0000118f: SWAP2 00001190: SUB 00001191: SWAP1 00001192: REVERT 00001193: JUMPDEST 00001194: PUSH1 0x6c 00001196: DUP1 00001197: SLOAD 00001198: PUSH1 0x01 0000119a: PUSH1 0x01 0000119c: PUSH1 0xa0 0000119e: SHL 0000119f: SUB 000011a0: NOT 000011a1: AND 000011a2: PUSH1 0x01 000011a4: PUSH1 0x01 000011a6: PUSH1 0xa0 000011a8: SHL 000011a9: SUB 000011aa: SWAP3 000011ab: SWAP1 000011ac: SWAP3 000011ad: AND 000011ae: SWAP2 000011af: SWAP1 000011b0: SWAP2 000011b1: OR 000011b2: SWAP1 000011b3: SSTORE 000011b4: JUMP 000011b5: JUMPDEST 000011b6: PUSH1 0x40 000011b8: DUP1 000011b9: MLOAD 000011ba: DUP3 000011bb: DUP2 000011bc: MSTORE 000011bd: PUSH1 0x20 000011bf: DUP1 000011c0: DUP5 000011c1: MUL 000011c2: DUP3 000011c3: ADD 000011c4: ADD 000011c5: SWAP1 000011c6: SWAP2 000011c7: MSTORE 000011c8: PUSH1 0x60 000011ca: SWAP1 000011cb: DUP3 000011cc: DUP1 000011cd: ISZERO 000011ce: PUSH2 0x11e1 000011d1: JUMPI 000011d2: DUP2 000011d3: PUSH1 0x20 000011d5: ADD 000011d6: PUSH1 0x20 000011d8: DUP3 000011d9: MUL 000011da: DUP1 000011db: CODESIZE 000011dc: DUP4 000011dd: CODECOPY 000011de: ADD 000011df: SWAP1 000011e0: POP 000011e1: JUMPDEST 000011e2: POP 000011e3: SWAP1 000011e4: POP 000011e5: PUSH1 0x00 000011e7: JUMPDEST 000011e8: DUP3 000011e9: DUP2 000011ea: LT 000011eb: ISZERO 000011ec: PUSH2 0x1236 000011ef: JUMPI 000011f0: PUSH2 0x120a 000011f3: DUP5 000011f4: DUP5 000011f5: DUP4 000011f6: DUP2 000011f7: DUP2 000011f8: LT 000011f9: PUSH2 0x11fe 000011fc: JUMPI 000011fd: INVALID 000011fe: JUMPDEST 000011ff: SWAP1 00001200: POP 00001201: PUSH1 0x20 00001203: MUL 00001204: ADD 00001205: CALLDATALOAD 00001206: PUSH2 0x13a8 00001209: JUMP 0000120a: JUMPDEST 0000120b: ISZERO 0000120c: PUSH2 0x122e 0000120f: JUMPI 00001210: PUSH1 0x01 00001212: DUP3 00001213: DUP3 00001214: DUP2 00001215: MLOAD 00001216: DUP2 00001217: LT 00001218: PUSH2 0x121d 0000121b: JUMPI 0000121c: INVALID 0000121d: JUMPDEST 0000121e: SWAP2 0000121f: ISZERO 00001220: ISZERO 00001221: PUSH1 0x20 00001223: SWAP3 00001224: DUP4 00001225: MUL 00001226: SWAP2 00001227: SWAP1 00001228: SWAP2 00001229: ADD 0000122a: SWAP1 0000122b: SWAP2 0000122c: ADD 0000122d: MSTORE 0000122e: JUMPDEST 0000122f: PUSH1 0x01 00001231: ADD 00001232: PUSH2 0x11e7 00001235: JUMP 00001236: JUMPDEST 00001237: POP 00001238: SWAP3 00001239: SWAP2 0000123a: POP 0000123b: POP 0000123c: JUMP 0000123d: JUMPDEST 0000123e: PUSH1 0x6d 00001240: SLOAD 00001241: PUSH1 0x01 00001243: PUSH1 0xa0 00001245: SHL 00001246: SWAP1 00001247: DIV 00001248: PUSH1 0xff 0000124a: AND 0000124b: DUP2 0000124c: JUMP 0000124d: JUMPDEST 0000124e: PUSH1 0x68 00001250: DUP1 00001251: SLOAD 00001252: PUSH1 0x01 00001254: ADD 00001255: SWAP1 00001256: DUP2 00001257: SWAP1 00001258: SSTORE 00001259: PUSH1 0x00 0000125b: DUP3 0000125c: DUP2 0000125d: MSTORE 0000125e: PUSH1 0x6b 00001260: PUSH1 0x20 00001262: MSTORE 00001263: PUSH1 0x40 00001265: SWAP1 00001266: KECCAK256 00001267: SLOAD 00001268: PUSH1 0xff 0000126a: AND 0000126b: ISZERO 0000126c: PUSH2 0x12a6 0000126f: JUMPI 00001270: PUSH1 0x40 00001272: MLOAD 00001273: PUSH3 0x461bcd 00001277: PUSH1 0xe5 00001279: SHL 0000127a: DUP2 0000127b: MSTORE 0000127c: PUSH1 0x04 0000127e: ADD 0000127f: DUP1 00001280: DUP1 00001281: PUSH1 0x20 00001283: ADD 00001284: DUP3 00001285: DUP2 00001286: SUB 00001287: DUP3 00001288: MSTORE 00001289: PUSH1 0x21 0000128b: DUP2 0000128c: MSTORE 0000128d: PUSH1 0x20 0000128f: ADD 00001290: DUP1 00001291: PUSH2 0x18e0 00001294: PUSH1 0x21 00001296: SWAP2 00001297: CODECOPY 00001298: PUSH1 0x40 0000129a: ADD 0000129b: SWAP2 0000129c: POP 0000129d: POP 0000129e: PUSH1 0x40 000012a0: MLOAD 000012a1: DUP1 000012a2: SWAP2 000012a3: SUB 000012a4: SWAP1 000012a5: REVERT 000012a6: JUMPDEST 000012a7: PUSH1 0x00 000012a9: PUSH2 0x12b1 000012ac: DUP4 000012ad: PUSH2 0x15c5 000012b0: JUMP 000012b1: JUMPDEST 000012b2: PUSH1 0x00 000012b4: DUP5 000012b5: DUP2 000012b6: MSTORE 000012b7: PUSH1 0x6b 000012b9: PUSH1 0x20 000012bb: MSTORE 000012bc: PUSH1 0x40 000012be: SWAP1 000012bf: KECCAK256 000012c0: DUP1 000012c1: SLOAD 000012c2: PUSH1 0xff 000012c4: NOT 000012c5: AND 000012c6: PUSH1 0x01 000012c8: OR 000012c9: SWAP1 000012ca: SSTORE 000012cb: SWAP1 000012cc: POP 000012cd: PUSH2 0x12d4 000012d0: PUSH2 0x175c 000012d3: JUMP 000012d4: JUMPDEST 000012d5: PUSH1 0x40 000012d7: DUP1 000012d8: MLOAD 000012d9: PUSH4 0xffffffff 000012de: DUP4 000012df: AND 000012e0: DUP2 000012e1: MSTORE 000012e2: TIMESTAMP 000012e3: PUSH1 0x20 000012e5: DUP3 000012e6: ADD 000012e7: MSTORE 000012e8: DUP2 000012e9: MLOAD 000012ea: DUP6 000012eb: SWAP3 000012ec: PUSH32 0xa945e51eec50ab98c161376f0db4cf2aeba3ec92755fe2fcd388bdbbb80ff196 0000130d: SWAP3 0000130e: DUP3 0000130f: SWAP1 00001310: SUB 00001311: ADD 00001312: SWAP1 00001313: LOG2 00001314: POP 00001315: PUSH1 0x68 00001317: SLOAD 00001318: DUP2 00001319: EQ 0000131a: PUSH2 0x136a 0000131d: JUMPI 0000131e: PUSH1 0x40 00001320: DUP1 00001321: MLOAD 00001322: PUSH3 0x461bcd 00001326: PUSH1 0xe5 00001328: SHL 00001329: DUP2 0000132a: MSTORE 0000132b: PUSH1 0x20 0000132d: PUSH1 0x04 0000132f: DUP3 00001330: ADD 00001331: MSTORE 00001332: PUSH1 0x1f 00001334: PUSH1 0x24 00001336: DUP3 00001337: ADD 00001338: MSTORE 00001339: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 0000135a: PUSH1 0x44 0000135c: DUP3 0000135d: ADD 0000135e: MSTORE 0000135f: SWAP1 00001360: MLOAD 00001361: SWAP1 00001362: DUP2 00001363: SWAP1 00001364: SUB 00001365: PUSH1 0x64 00001367: ADD 00001368: SWAP1 00001369: REVERT 0000136a: JUMPDEST 0000136b: POP 0000136c: POP 0000136d: JUMP 0000136e: JUMPDEST 0000136f: PUSH1 0x03 00001371: SLOAD 00001372: PUSH1 0x00 00001374: SWAP1 00001375: PUSH1 0x04 00001377: SWAP1 00001378: PUSH4 0xffffffff 0000137d: AND 0000137e: PUSH1 0x64 00001380: DUP2 00001381: LT 00001382: PUSH2 0x1387 00001385: JUMPI 00001386: INVALID 00001387: JUMPDEST 00001388: ADD 00001389: SLOAD 0000138a: SWAP1 0000138b: POP 0000138c: JUMPDEST 0000138d: SWAP1 0000138e: JUMP 0000138f: JUMPDEST 00001390: PUSH1 0x04 00001392: DUP2 00001393: PUSH1 0x64 00001395: DUP2 00001396: LT 00001397: PUSH2 0x139c 0000139a: JUMPI 0000139b: INVALID 0000139c: JUMPDEST 0000139d: ADD 0000139e: SLOAD 0000139f: SWAP1 000013a0: POP 000013a1: DUP2 000013a2: JUMP 000013a3: JUMPDEST 000013a4: PUSH1 0x64 000013a6: DUP2 000013a7: JUMP 000013a8: JUMPDEST 000013a9: PUSH1 0x00 000013ab: SWAP1 000013ac: DUP2 000013ad: MSTORE 000013ae: PUSH1 0x6a 000013b0: PUSH1 0x20 000013b2: MSTORE 000013b3: PUSH1 0x40 000013b5: SWAP1 000013b6: KECCAK256 000013b7: SLOAD 000013b8: PUSH1 0xff 000013ba: AND 000013bb: SWAP1 000013bc: JUMP 000013bd: JUMPDEST 000013be: PUSH1 0x02 000013c0: DUP2 000013c1: DUP2 000013c2: SLOAD 000013c3: DUP2 000013c4: LT 000013c5: PUSH2 0x13ca 000013c8: JUMPI 000013c9: INVALID 000013ca: JUMPDEST 000013cb: PUSH1 0x00 000013cd: SWAP2 000013ce: DUP3 000013cf: MSTORE 000013d0: PUSH1 0x20 000013d2: SWAP1 000013d3: SWAP2 000013d4: KECCAK256 000013d5: ADD 000013d6: SLOAD 000013d7: SWAP1 000013d8: POP 000013d9: DUP2 000013da: JUMP 000013db: JUMPDEST 000013dc: PUSH32 0x2fe54c60d3acabf3343a35b6eba15db4821b340f76e741e2249685ed4899af6c 000013fd: DUP2 000013fe: JUMP 000013ff: JUMPDEST 00001400: PUSH1 0x01 00001402: DUP2 00001403: DUP2 00001404: SLOAD 00001405: DUP2 00001406: LT 00001407: PUSH2 0x13ca 0000140a: JUMPI 0000140b: INVALID 0000140c: JUMPDEST 0000140d: PUSH1 0x03 0000140f: SLOAD 00001410: PUSH1 0x01 00001412: PUSH1 0x20 00001414: SHL 00001415: SWAP1 00001416: DIV 00001417: PUSH4 0xffffffff 0000141c: AND 0000141d: DUP2 0000141e: JUMP 0000141f: JUMPDEST 00001420: CALLVALUE 00001421: ISZERO 00001422: PUSH2 0x145c 00001425: JUMPI 00001426: PUSH1 0x40 00001428: MLOAD 00001429: PUSH3 0x461bcd 0000142d: PUSH1 0xe5 0000142f: SHL 00001430: DUP2 00001431: MSTORE 00001432: PUSH1 0x04 00001434: ADD 00001435: DUP1 00001436: DUP1 00001437: PUSH1 0x20 00001439: ADD 0000143a: DUP3 0000143b: DUP2 0000143c: SUB 0000143d: DUP3 0000143e: MSTORE 0000143f: PUSH1 0x35 00001441: DUP2 00001442: MSTORE 00001443: PUSH1 0x20 00001445: ADD 00001446: DUP1 00001447: PUSH2 0x196e 0000144a: PUSH1 0x35 0000144c: SWAP2 0000144d: CODECOPY 0000144e: PUSH1 0x40 00001450: ADD 00001451: SWAP2 00001452: POP 00001453: POP 00001454: PUSH1 0x40 00001456: MLOAD 00001457: DUP1 00001458: SWAP2 00001459: SUB 0000145a: SWAP1 0000145b: REVERT 0000145c: JUMPDEST 0000145d: DUP1 0000145e: ISZERO 0000145f: PUSH2 0x1499 00001462: JUMPI 00001463: PUSH1 0x40 00001465: MLOAD 00001466: PUSH3 0x461bcd 0000146a: PUSH1 0xe5 0000146c: SHL 0000146d: DUP2 0000146e: MSTORE 0000146f: PUSH1 0x04 00001471: ADD 00001472: DUP1 00001473: DUP1 00001474: PUSH1 0x20 00001476: ADD 00001477: DUP3 00001478: DUP2 00001479: SUB 0000147a: DUP3 0000147b: MSTORE 0000147c: PUSH1 0x34 0000147e: DUP2 0000147f: MSTORE 00001480: PUSH1 0x20 00001482: ADD 00001483: DUP1 00001484: PUSH2 0x188c 00001487: PUSH1 0x34 00001489: SWAP2 0000148a: CODECOPY 0000148b: PUSH1 0x40 0000148d: ADD 0000148e: SWAP2 0000148f: POP 00001490: POP 00001491: PUSH1 0x40 00001493: MLOAD 00001494: DUP1 00001495: SWAP2 00001496: SUB 00001497: SWAP1 00001498: REVERT 00001499: JUMPDEST 0000149a: PUSH1 0x69 0000149c: SLOAD 0000149d: PUSH1 0x40 0000149f: MLOAD 000014a0: PUSH1 0x00 000014a2: SWAP2 000014a3: PUSH1 0x01 000014a5: PUSH1 0x01 000014a7: PUSH1 0xa0 000014a9: SHL 000014aa: SUB 000014ab: DUP8 000014ac: AND 000014ad: SWAP2 000014ae: SWAP1 000014af: DUP6 000014b0: SWAP1 000014b1: SUB 000014b2: SWAP1 000014b3: DUP4 000014b4: DUP2 000014b5: DUP2 000014b6: DUP2 000014b7: DUP6 000014b8: DUP8 000014b9: GAS 000014ba: CALL 000014bb: SWAP3 000014bc: POP 000014bd: POP 000014be: POP 000014bf: RETURNDATASIZE 000014c0: DUP1 000014c1: PUSH1 0x00 000014c3: DUP2 000014c4: EQ 000014c5: PUSH2 0x14ea 000014c8: JUMPI 000014c9: PUSH1 0x40 000014cb: MLOAD 000014cc: SWAP2 000014cd: POP 000014ce: PUSH1 0x1f 000014d0: NOT 000014d1: PUSH1 0x3f 000014d3: RETURNDATASIZE 000014d4: ADD 000014d5: AND 000014d6: DUP3 000014d7: ADD 000014d8: PUSH1 0x40 000014da: MSTORE 000014db: RETURNDATASIZE 000014dc: DUP3 000014dd: MSTORE 000014de: RETURNDATASIZE 000014df: PUSH1 0x00 000014e1: PUSH1 0x20 000014e3: DUP5 000014e4: ADD 000014e5: RETURNDATACOPY 000014e6: PUSH2 0x14ef 000014e9: JUMP 000014ea: JUMPDEST 000014eb: PUSH1 0x60 000014ed: SWAP2 000014ee: POP 000014ef: JUMPDEST 000014f0: POP 000014f1: POP 000014f2: SWAP1 000014f3: POP 000014f4: DUP1 000014f5: PUSH2 0x152f 000014f8: JUMPI 000014f9: PUSH1 0x40 000014fb: MLOAD 000014fc: PUSH3 0x461bcd 00001500: PUSH1 0xe5 00001502: SHL 00001503: DUP2 00001504: MSTORE 00001505: PUSH1 0x04 00001507: ADD 00001508: DUP1 00001509: DUP1 0000150a: PUSH1 0x20 0000150c: ADD 0000150d: DUP3 0000150e: DUP2 0000150f: SUB 00001510: DUP3 00001511: MSTORE 00001512: PUSH1 0x25 00001514: DUP2 00001515: MSTORE 00001516: PUSH1 0x20 00001518: ADD 00001519: DUP1 0000151a: PUSH2 0x1901 0000151d: PUSH1 0x25 0000151f: SWAP2 00001520: CODECOPY 00001521: PUSH1 0x40 00001523: ADD 00001524: SWAP2 00001525: POP 00001526: POP 00001527: PUSH1 0x40 00001529: MLOAD 0000152a: DUP1 0000152b: SWAP2 0000152c: SUB 0000152d: SWAP1 0000152e: REVERT 0000152f: JUMPDEST 00001530: DUP3 00001531: ISZERO 00001532: PUSH2 0x1143 00001535: JUMPI 00001536: PUSH1 0x40 00001538: MLOAD 00001539: PUSH1 0x01 0000153b: PUSH1 0x01 0000153d: PUSH1 0xa0 0000153f: SHL 00001540: SUB 00001541: DUP6 00001542: AND 00001543: SWAP1 00001544: DUP5 00001545: SWAP1 00001546: PUSH1 0x00 00001548: DUP2 00001549: DUP2 0000154a: DUP2 0000154b: DUP6 0000154c: DUP8 0000154d: GAS 0000154e: CALL 0000154f: SWAP3 00001550: POP 00001551: POP 00001552: POP 00001553: RETURNDATASIZE 00001554: DUP1 00001555: PUSH1 0x00 00001557: DUP2 00001558: EQ 00001559: PUSH2 0x157e 0000155c: JUMPI 0000155d: PUSH1 0x40 0000155f: MLOAD 00001560: SWAP2 00001561: POP 00001562: PUSH1 0x1f 00001564: NOT 00001565: PUSH1 0x3f 00001567: RETURNDATASIZE 00001568: ADD 00001569: AND 0000156a: DUP3 0000156b: ADD 0000156c: PUSH1 0x40 0000156e: MSTORE 0000156f: RETURNDATASIZE 00001570: DUP3 00001571: MSTORE 00001572: RETURNDATASIZE 00001573: PUSH1 0x00 00001575: PUSH1 0x20 00001577: DUP5 00001578: ADD 00001579: RETURNDATACOPY 0000157a: PUSH2 0x1583 0000157d: JUMP 0000157e: JUMPDEST 0000157f: PUSH1 0x60 00001581: SWAP2 00001582: POP 00001583: JUMPDEST 00001584: POP 00001585: POP 00001586: DUP1 00001587: SWAP2 00001588: POP 00001589: POP 0000158a: DUP1 0000158b: PUSH2 0x1143 0000158e: JUMPI 0000158f: PUSH1 0x40 00001591: MLOAD 00001592: PUSH3 0x461bcd 00001596: PUSH1 0xe5 00001598: SHL 00001599: DUP2 0000159a: MSTORE 0000159b: PUSH1 0x04 0000159d: ADD 0000159e: DUP1 0000159f: DUP1 000015a0: PUSH1 0x20 000015a2: ADD 000015a3: DUP3 000015a4: DUP2 000015a5: SUB 000015a6: DUP3 000015a7: MSTORE 000015a8: PUSH1 0x23 000015aa: DUP2 000015ab: MSTORE 000015ac: PUSH1 0x20 000015ae: ADD 000015af: DUP1 000015b0: PUSH2 0x1926 000015b3: PUSH1 0x23 000015b5: SWAP2 000015b6: CODECOPY 000015b7: PUSH1 0x40 000015b9: ADD 000015ba: SWAP2 000015bb: POP 000015bc: POP 000015bd: PUSH1 0x40 000015bf: MLOAD 000015c0: DUP1 000015c1: SWAP2 000015c2: SUB 000015c3: SWAP1 000015c4: REVERT 000015c5: JUMPDEST 000015c6: PUSH1 0x03 000015c8: SLOAD 000015c9: PUSH1 0x00 000015cb: DUP1 000015cc: SLOAD 000015cd: SWAP1 000015ce: SWAP2 000015cf: PUSH4 0xffffffff 000015d4: PUSH1 0x01 000015d6: PUSH1 0x20 000015d8: SHL 000015d9: SWAP1 000015da: SWAP2 000015db: DIV 000015dc: DUP2 000015dd: AND 000015de: SWAP2 000015df: DUP2 000015e0: AND 000015e1: PUSH1 0x02 000015e3: EXP 000015e4: AND 000015e5: DUP2 000015e6: EQ 000015e7: ISZERO 000015e8: PUSH2 0x1622 000015eb: JUMPI 000015ec: PUSH1 0x40 000015ee: MLOAD 000015ef: PUSH3 0x461bcd 000015f3: PUSH1 0xe5 000015f5: SHL 000015f6: DUP2 000015f7: MSTORE 000015f8: PUSH1 0x04 000015fa: ADD 000015fb: DUP1 000015fc: DUP1 000015fd: PUSH1 0x20 000015ff: ADD 00001600: DUP3 00001601: DUP2 00001602: SUB 00001603: DUP3 00001604: MSTORE 00001605: PUSH1 0x2f 00001607: DUP2 00001608: MSTORE 00001609: PUSH1 0x20 0000160b: ADD 0000160c: DUP1 0000160d: PUSH2 0x1804 00001610: PUSH1 0x2f 00001612: SWAP2 00001613: CODECOPY 00001614: PUSH1 0x40 00001616: ADD 00001617: SWAP2 00001618: POP 00001619: POP 0000161a: PUSH1 0x40 0000161c: MLOAD 0000161d: DUP1 0000161e: SWAP2 0000161f: SUB 00001620: SWAP1 00001621: REVERT 00001622: JUMPDEST 00001623: PUSH1 0x03 00001625: DUP1 00001626: SLOAD 00001627: PUSH4 0xffffffff 0000162c: PUSH1 0x01 0000162e: PUSH1 0x20 00001630: SHL 00001631: DUP1 00001632: DUP4 00001633: DIV 00001634: DUP3 00001635: AND 00001636: PUSH1 0x01 00001638: ADD 00001639: SWAP1 0000163a: SWAP2 0000163b: AND 0000163c: MUL 0000163d: PUSH8 0xffffffff00000000 00001646: NOT 00001647: SWAP1 00001648: SWAP2 00001649: AND 0000164a: OR 0000164b: SWAP1 0000164c: SSTORE 0000164d: DUP3 0000164e: PUSH1 0x00 00001650: DUP1 00001651: DUP1 00001652: JUMPDEST 00001653: PUSH1 0x00 00001655: SLOAD 00001656: PUSH4 0xffffffff 0000165b: SWAP1 0000165c: DUP2 0000165d: AND 0000165e: SWAP1 0000165f: DUP3 00001660: AND 00001661: LT 00001662: ISZERO 00001663: PUSH2 0x16fa 00001666: JUMPI 00001667: PUSH1 0x01 00001669: DUP6 0000166a: AND 0000166b: PUSH2 0x16b6 0000166e: JUMPI 0000166f: DUP4 00001670: SWAP3 00001671: POP 00001672: PUSH1 0x02 00001674: DUP2 00001675: PUSH4 0xffffffff 0000167a: AND 0000167b: DUP2 0000167c: SLOAD 0000167d: DUP2 0000167e: LT 0000167f: PUSH2 0x1684 00001682: JUMPI 00001683: INVALID 00001684: JUMPDEST 00001685: SWAP1 00001686: PUSH1 0x00 00001688: MSTORE 00001689: PUSH1 0x20 0000168b: PUSH1 0x00 0000168d: KECCAK256 0000168e: ADD 0000168f: SLOAD 00001690: SWAP2 00001691: POP 00001692: DUP4 00001693: PUSH1 0x01 00001695: DUP3 00001696: PUSH4 0xffffffff 0000169b: AND 0000169c: DUP2 0000169d: SLOAD 0000169e: DUP2 0000169f: LT 000016a0: PUSH2 0x16a5 000016a3: JUMPI 000016a4: INVALID 000016a5: JUMPDEST 000016a6: PUSH1 0x00 000016a8: SWAP2 000016a9: DUP3 000016aa: MSTORE 000016ab: PUSH1 0x20 000016ad: SWAP1 000016ae: SWAP2 000016af: KECCAK256 000016b0: ADD 000016b1: SSTORE 000016b2: PUSH2 0x16da 000016b5: JUMP 000016b6: JUMPDEST 000016b7: PUSH1 0x01 000016b9: DUP2 000016ba: PUSH4 0xffffffff 000016bf: AND 000016c0: DUP2 000016c1: SLOAD 000016c2: DUP2 000016c3: LT 000016c4: PUSH2 0x16c9 000016c7: JUMPI 000016c8: INVALID 000016c9: JUMPDEST 000016ca: SWAP1 000016cb: PUSH1 0x00 000016cd: MSTORE 000016ce: PUSH1 0x20 000016d0: PUSH1 0x00 000016d2: KECCAK256 000016d3: ADD 000016d4: SLOAD 000016d5: SWAP3 000016d6: POP 000016d7: DUP4 000016d8: SWAP2 000016d9: POP 000016da: JUMPDEST 000016db: PUSH2 0x16e4 000016de: DUP4 000016df: DUP4 000016e0: PUSH2 0x0b40 000016e3: JUMP 000016e4: JUMPDEST 000016e5: SWAP4 000016e6: POP 000016e7: PUSH1 0x02 000016e9: PUSH4 0xffffffff 000016ee: DUP7 000016ef: AND 000016f0: DIV 000016f1: SWAP5 000016f2: POP 000016f3: PUSH1 0x01 000016f5: ADD 000016f6: PUSH2 0x1652 000016f9: JUMP 000016fa: JUMPDEST 000016fb: POP 000016fc: PUSH1 0x03 000016fe: SLOAD 000016ff: PUSH1 0x64 00001701: SWAP1 00001702: PUSH4 0xffffffff 00001707: SWAP1 00001708: DUP2 00001709: AND 0000170a: PUSH1 0x01 0000170c: ADD 0000170d: AND 0000170e: PUSH1 0x03 00001710: DUP1 00001711: SLOAD 00001712: PUSH4 0xffffffff 00001717: NOT 00001718: AND 00001719: SWAP3 0000171a: SWAP1 0000171b: SWAP2 0000171c: MOD 0000171d: PUSH4 0xffffffff 00001722: SWAP1 00001723: DUP2 00001724: AND 00001725: SWAP3 00001726: SWAP1 00001727: SWAP3 00001728: OR 00001729: SWAP1 0000172a: DUP2 0000172b: SWAP1 0000172c: SSTORE 0000172d: DUP5 0000172e: SWAP2 0000172f: PUSH1 0x04 00001731: SWAP2 00001732: AND 00001733: PUSH1 0x64 00001735: DUP2 00001736: LT 00001737: PUSH2 0x173c 0000173a: JUMPI 0000173b: INVALID 0000173c: JUMPDEST 0000173d: ADD 0000173e: SSTORE 0000173f: POP 00001740: POP 00001741: PUSH1 0x03 00001743: SLOAD 00001744: PUSH1 0x01 00001746: PUSH1 0x20 00001748: SHL 00001749: SWAP1 0000174a: DIV 0000174b: PUSH4 0xffffffff 00001750: AND 00001751: PUSH1 0x00 00001753: NOT 00001754: ADD 00001755: SWAP5 00001756: SWAP4 00001757: POP 00001758: POP 00001759: POP 0000175a: POP 0000175b: JUMP 0000175c: JUMPDEST 0000175d: PUSH1 0x69 0000175f: SLOAD 00001760: CALLVALUE 00001761: EQ 00001762: PUSH2 0x179c 00001765: JUMPI 00001766: PUSH1 0x40 00001768: MLOAD 00001769: PUSH3 0x461bcd 0000176d: PUSH1 0xe5 0000176f: SHL 00001770: DUP2 00001771: MSTORE 00001772: PUSH1 0x04 00001774: ADD 00001775: DUP1 00001776: DUP1 00001777: PUSH1 0x20 00001779: ADD 0000177a: DUP3 0000177b: DUP2 0000177c: SUB 0000177d: DUP3 0000177e: MSTORE 0000177f: PUSH1 0x38 00001781: DUP2 00001782: MSTORE 00001783: PUSH1 0x20 00001785: ADD 00001786: DUP1 00001787: PUSH2 0x1833 0000178a: PUSH1 0x38 0000178c: SWAP2 0000178d: CODECOPY 0000178e: PUSH1 0x40 00001790: ADD 00001791: SWAP2 00001792: POP 00001793: POP 00001794: PUSH1 0x40 00001796: MLOAD 00001797: DUP1 00001798: SWAP2 00001799: SUB 0000179a: SWAP1 0000179b: REVERT 0000179c: JUMPDEST 0000179d: JUMP 0000179e: JUMPDEST 0000179f: DUP3 000017a0: DUP1 000017a1: SLOAD 000017a2: DUP3 000017a3: DUP3 000017a4: SSTORE 000017a5: SWAP1 000017a6: PUSH1 0x00 000017a8: MSTORE 000017a9: PUSH1 0x20 000017ab: PUSH1 0x00 000017ad: KECCAK256 000017ae: SWAP1 000017af: DUP2 000017b0: ADD 000017b1: SWAP3 000017b2: DUP3 000017b3: ISZERO 000017b4: PUSH2 0x17d9 000017b7: JUMPI 000017b8: SWAP2 000017b9: PUSH1 0x20 000017bb: MUL 000017bc: DUP3 000017bd: ADD 000017be: JUMPDEST 000017bf: DUP3 000017c0: DUP2 000017c1: GT 000017c2: ISZERO 000017c3: PUSH2 0x17d9 000017c6: JUMPI 000017c7: DUP3 000017c8: CALLDATALOAD 000017c9: DUP3 000017ca: SSTORE 000017cb: SWAP2 000017cc: PUSH1 0x20 000017ce: ADD 000017cf: SWAP2 000017d0: SWAP1 000017d1: PUSH1 0x01 000017d3: ADD 000017d4: SWAP1 000017d5: PUSH2 0x17be 000017d8: JUMP 000017d9: JUMPDEST 000017da: POP 000017db: PUSH2 0x17e5 000017de: SWAP3 000017df: SWAP2 000017e0: POP 000017e1: PUSH2 0x17e9 000017e4: JUMP 000017e5: JUMPDEST 000017e6: POP 000017e7: SWAP1 000017e8: JUMP 000017e9: JUMPDEST 000017ea: PUSH2 0x138c 000017ed: SWAP2 000017ee: SWAP1 000017ef: JUMPDEST 000017f0: DUP1 000017f1: DUP3 000017f2: GT 000017f3: ISZERO 000017f4: PUSH2 0x17e5 000017f7: JUMPI 000017f8: PUSH1 0x00 000017fa: DUP2 000017fb: SSTORE 000017fc: PUSH1 0x01 000017fe: ADD 000017ff: PUSH2 0x17ef 00001802: JUMP 00001803: INVALID 00001804: UNKNOWN(0x4D) 00001805: PUSH6 0x726b6c652074 0000180c: PUSH19 0x65652069732066756c6c2e204e6f206d6f7265 00001820: KECCAK256 00001821: PUSH13 0x656166732063616e2062652061 0000182f: PUSH5 0x646564506c 00001835: PUSH6 0x617365207365 0000183c: PUSH15 0x6420606d697844656e6f6d696e6174 0000184c: PUSH10 0x6f6e602045544820616c 00001857: PUSH16 0x6e672077697468207472616e73616374 00001868: PUSH10 0x6f6e5f72696768742073 00001873: PUSH9 0x6f756c642062652069 0000187d: PUSH15 0x7369646520746865206669656c6452 0000188d: PUSH6 0x66756e642076 00001894: PUSH2 0x6c75 00001897: PUSH6 0x206973207375 0000189e: PUSH17 0x706f73656420746f206265207a65726f20 000018b0: PUSH7 0x6f722045544820 000018b8: PUSH10 0x6e7374616e636530644e 000018c3: PUSH19 0xe131a029b85045b68181585d2833e84879b970 000018d7: SWAP2 000018d8: NUMBER 000018d9: UNKNOWN(0xE1) 000018da: CREATE2 000018db: SWAP4 000018dc: CREATE 000018dd: STOP 000018de: STOP 000018df: ADD 000018e0: SLOAD 000018e1: PUSH9 0x6520636f6d6d69746d 000018eb: PUSH6 0x6e7420686173 000018f2: KECCAK256 000018f3: PUSH3 0x65656e 000018f7: KECCAK256 000018f8: PUSH20 0x75626d69747465647061796d656e7420746f205f 0000190d: PUSH19 0x6563697069656e7420646964206e6f7420676f 00001921: KECCAK256 00001922: PUSH21 0x6872757061796d656e7420746f205f72656c617965 00001938: PUSH19 0x20646964206e6f7420676f20746872754f6e6c 0000194c: PUSH26 0x206f70657261746f722063616e2063616c6c2074686973206675 00001967: PUSH15 0x6374696f6e2e4d6573736167652076 00001977: PUSH2 0x6c75 0000197a: PUSH6 0x206973207375 00001981: PUSH17 0x706f73656420746f206265207a65726f20 00001993: PUSH7 0x6f722045544820 0000199b: PUSH10 0x6e7374616e6365a26562 000019a6: PUSH27 0x7a72315820c9f7630da160f4b4d3cccffa6ea57694d26cf7a1d5da 000019c2: UNKNOWN(0xD9) 000019c3: UNKNOWN(0xB0) 000019c4: UNKNOWN(0xD2) 000019c5: UNKNOWN(0xF6) 000019c6: PUSH14 0x3318c4467564736f6c634300050b 000019d5: STOP 000019d6: ORIGIN
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: 0xa30a753dd7562cd40f85aa3797b789efcfef236bd0b1ac1c3c9458d65b8768e1
call_targets:
0x83584f83f26af4edda9cbe8c730bc87c364b28fe
target_varies:
no
classification:
constant_target
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "sink_reached",
"attempts": 110,
"trace_id": "0xa30a753dd7562cd40f85aa3797b789efcfef236bd0b1ac1c3c9458d65b8768e1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x83584f83f26af4edda9cbe8c730bc87c364b28fe"
],
"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": "0xe8295588",
"selector": "0xe8295588",
"calldata_variants": [
"0xe8295588",
"0xe82955880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xec732959",
"selector": "0xec732959",
"calldata_variants": [
"0xec732959",
"0xec7329590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf178e47c",
"selector": "0xf178e47c",
"calldata_variants": [
"0xf178e47c",
"0xf178e47c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc7e9c6f",
"selector": "0xfc7e9c6f",
"calldata_variants": [
"0xfc7e9c6f",
"0xfc7e9c6f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc2b40ae4",
"selector": "0xc2b40ae4",
"calldata_variants": [
"0xc2b40ae4",
"0xc2b40ae40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd87a3b4",
"selector": "0xcd87a3b4",
"calldata_variants": [
"0xcd87a3b4",
"0xcd87a3b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe5285dcc",
"selector": "0xe5285dcc",
"calldata_variants": [
"0xe5285dcc",
"0xe5285dcc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9fa12d0b",
"selector": "0x9fa12d0b",
"calldata_variants": [
"0x9fa12d0b",
"0x9fa12d0b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3149,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 3311,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 6614,
"type": "tx_origin_used"
}
],
"delegatecall_count": 2,
"untrusted_delegatecall_count": 2
}
|
| 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": "0xe8295588",
"selector": "0xe8295588",
"calldata_variants": [
"0xe8295588",
"0xe82955880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xec732959",
"selector": "0xec732959",
"calldata_variants": [
"0xec732959",
"0xec7329590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf178e47c",
"selector": "0xf178e47c",
"calldata_variants": [
"0xf178e47c",
"0xf178e47c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc7e9c6f",
"selector": "0xfc7e9c6f",
"calldata_variants": [
"0xfc7e9c6f",
"0xfc7e9c6f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc2b40ae4",
"selector": "0xc2b40ae4",
"calldata_variants": [
"0xc2b40ae4",
"0xc2b40ae40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd87a3b4",
"selector": "0xcd87a3b4",
"calldata_variants": [
"0xcd87a3b4",
"0xcd87a3b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe5285dcc",
"selector": "0xe5285dcc",
"calldata_variants": [
"0xe5285dcc",
"0xe5285dcc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9fa12d0b",
"selector": "0x9fa12d0b",
"calldata_variants": [
"0x9fa12d0b",
"0x9fa12d0b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 6614,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x48cd531be85e2206788a394a9ccbc7790bd8b23f1285666c83a68d5e7e57cd1d
call_targets:
0x12d66f87a04a9e220743712ce6d9bb1b5616b8fc
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x48cd531be85e2206788a394a9ccbc7790bd8b23f1285666c83a68d5e7e57cd1d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x12d66f87a04a9e220743712ce6d9bb1b5616b8fc"
],
"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": "0xe8295588",
"selector": "0xe8295588",
"calldata_variants": [
"0xe8295588",
"0xe82955880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xec732959",
"selector": "0xec732959",
"calldata_variants": [
"0xec732959",
"0xec7329590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf178e47c",
"selector": "0xf178e47c",
"calldata_variants": [
"0xf178e47c",
"0xf178e47c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc7e9c6f",
"selector": "0xfc7e9c6f",
"calldata_variants": [
"0xfc7e9c6f",
"0xfc7e9c6f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc2b40ae4",
"selector": "0xc2b40ae4",
"calldata_variants": [
"0xc2b40ae4",
"0xc2b40ae40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd87a3b4",
"selector": "0xcd87a3b4",
"calldata_variants": [
"0xcd87a3b4",
"0xcd87a3b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe5285dcc",
"selector": "0xe5285dcc",
"calldata_variants": [
"0xe5285dcc",
"0xe5285dcc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9fa12d0b",
"selector": "0x9fa12d0b",
"calldata_variants": [
"0x9fa12d0b",
"0x9fa12d0b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2538,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5306,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5454,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 6614,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x48cd531be85e2206788a394a9ccbc7790bd8b23f1285666c83a68d5e7e57cd1d
call_targets:
0x12d66f87a04a9e220743712ce6d9bb1b5616b8fc
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x48cd531be85e2206788a394a9ccbc7790bd8b23f1285666c83a68d5e7e57cd1d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x12d66f87a04a9e220743712ce6d9bb1b5616b8fc"
],
"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": "0xe8295588",
"selector": "0xe8295588",
"calldata_variants": [
"0xe8295588",
"0xe82955880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xec732959",
"selector": "0xec732959",
"calldata_variants": [
"0xec732959",
"0xec7329590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf178e47c",
"selector": "0xf178e47c",
"calldata_variants": [
"0xf178e47c",
"0xf178e47c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc7e9c6f",
"selector": "0xfc7e9c6f",
"calldata_variants": [
"0xfc7e9c6f",
"0xfc7e9c6f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc2b40ae4",
"selector": "0xc2b40ae4",
"calldata_variants": [
"0xc2b40ae4",
"0xc2b40ae40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd87a3b4",
"selector": "0xcd87a3b4",
"calldata_variants": [
"0xcd87a3b4",
"0xcd87a3b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe5285dcc",
"selector": "0xe5285dcc",
"calldata_variants": [
"0xe5285dcc",
"0xe5285dcc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9fa12d0b",
"selector": "0x9fa12d0b",
"calldata_variants": [
"0x9fa12d0b",
"0x9fa12d0b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2538,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5306,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5454,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 6614,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x2508a7b3863009dde75bbdd4cd5477a0e537cc7931fd7c18a1aa8434fca66572
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x2508a7b3863009dde75bbdd4cd5477a0e537cc7931fd7c18a1aa8434fca66572",
"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": "0xe8295588",
"selector": "0xe8295588",
"calldata_variants": [
"0xe8295588",
"0xe82955880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xec732959",
"selector": "0xec732959",
"calldata_variants": [
"0xec732959",
"0xec7329590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf178e47c",
"selector": "0xf178e47c",
"calldata_variants": [
"0xf178e47c",
"0xf178e47c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc7e9c6f",
"selector": "0xfc7e9c6f",
"calldata_variants": [
"0xfc7e9c6f",
"0xfc7e9c6f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc2b40ae4",
"selector": "0xc2b40ae4",
"calldata_variants": [
"0xc2b40ae4",
"0xc2b40ae40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd87a3b4",
"selector": "0xcd87a3b4",
"calldata_variants": [
"0xcd87a3b4",
"0xcd87a3b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe5285dcc",
"selector": "0xe5285dcc",
"calldata_variants": [
"0xe5285dcc",
"0xe5285dcc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9fa12d0b",
"selector": "0x9fa12d0b",
"calldata_variants": [
"0x9fa12d0b",
"0x9fa12d0b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 1
}
|