019ba940-8825-70a8-9380-c14604719034
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 |
|---|---|---|---|---|
| 36245 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 36246 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 36247 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 36248 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 36249 | capability.graph | complete | 1 / 3 | 3 months ago |
| 36250 | detector.run | complete | 1 / 3 | 3 months ago |
| 36251 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x01a9 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x6a627842 00000026: GT 00000027: PUSH2 0x00f9 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xba9a7a56 00000031: GT 00000032: PUSH2 0x0097 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0xd21220a7 0000003c: GT 0000003d: PUSH2 0x0071 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xd21220a7 00000047: EQ 00000048: PUSH2 0x0534 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xd505accf 00000052: EQ 00000053: PUSH2 0x053c 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xdd62ed3e 0000005d: EQ 0000005e: PUSH2 0x058d 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xfff6cae9 00000068: EQ 00000069: PUSH2 0x05bb 0000006c: JUMPI 0000006d: PUSH2 0x01a9 00000070: JUMP 00000071: JUMPDEST 00000072: DUP1 00000073: PUSH4 0xba9a7a56 00000078: EQ 00000079: PUSH2 0x04fe 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0xbc25cf77 00000083: EQ 00000084: PUSH2 0x0506 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0xc45a0155 0000008e: EQ 0000008f: PUSH2 0x052c 00000092: JUMPI 00000093: PUSH2 0x01a9 00000096: JUMP 00000097: JUMPDEST 00000098: DUP1 00000099: PUSH4 0x7ecebe00 0000009e: GT 0000009f: PUSH2 0x00d3 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x7ecebe00 000000a9: EQ 000000aa: PUSH2 0x0465 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x89afcb44 000000b4: EQ 000000b5: PUSH2 0x048b 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x95d89b41 000000bf: EQ 000000c0: PUSH2 0x04ca 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xa9059cbb 000000ca: EQ 000000cb: PUSH2 0x04d2 000000ce: JUMPI 000000cf: PUSH2 0x01a9 000000d2: JUMP 000000d3: JUMPDEST 000000d4: DUP1 000000d5: PUSH4 0x6a627842 000000da: EQ 000000db: PUSH2 0x0411 000000de: JUMPI 000000df: DUP1 000000e0: PUSH4 0x70a08231 000000e5: EQ 000000e6: PUSH2 0x0437 000000e9: JUMPI 000000ea: DUP1 000000eb: PUSH4 0x7464fc3d 000000f0: EQ 000000f1: PUSH2 0x045d 000000f4: JUMPI 000000f5: PUSH2 0x01a9 000000f8: JUMP 000000f9: JUMPDEST 000000fa: DUP1 000000fb: PUSH4 0x23b872dd 00000100: GT 00000101: PUSH2 0x0166 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x3644e515 0000010b: GT 0000010c: PUSH2 0x0140 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0x3644e515 00000116: EQ 00000117: PUSH2 0x03cb 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0x485cc955 00000121: EQ 00000122: PUSH2 0x03d3 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0x5909c0d5 0000012c: EQ 0000012d: PUSH2 0x0401 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0x5a3d5493 00000137: EQ 00000138: PUSH2 0x0409 0000013b: JUMPI 0000013c: PUSH2 0x01a9 0000013f: JUMP 00000140: JUMPDEST 00000141: DUP1 00000142: PUSH4 0x23b872dd 00000147: EQ 00000148: PUSH2 0x036f 0000014b: JUMPI 0000014c: DUP1 0000014d: PUSH4 0x30adf81f 00000152: EQ 00000153: PUSH2 0x03a5 00000156: JUMPI 00000157: DUP1 00000158: PUSH4 0x313ce567 0000015d: EQ 0000015e: PUSH2 0x03ad 00000161: JUMPI 00000162: PUSH2 0x01a9 00000165: JUMP 00000166: JUMPDEST 00000167: DUP1 00000168: PUSH4 0x022c0d9f 0000016d: EQ 0000016e: PUSH2 0x01ae 00000171: JUMPI 00000172: DUP1 00000173: PUSH4 0x06fdde03 00000178: EQ 00000179: PUSH2 0x023c 0000017c: JUMPI 0000017d: DUP1 0000017e: PUSH4 0x0902f1ac 00000183: EQ 00000184: PUSH2 0x02b9 00000187: JUMPI 00000188: DUP1 00000189: PUSH4 0x095ea7b3 0000018e: EQ 0000018f: PUSH2 0x02f1 00000192: JUMPI 00000193: DUP1 00000194: PUSH4 0x0dfe1681 00000199: EQ 0000019a: PUSH2 0x0331 0000019d: JUMPI 0000019e: DUP1 0000019f: PUSH4 0x18160ddd 000001a4: EQ 000001a5: PUSH2 0x0355 000001a8: JUMPI 000001a9: JUMPDEST 000001aa: PUSH1 0x00 000001ac: DUP1 000001ad: REVERT 000001ae: JUMPDEST 000001af: PUSH2 0x023a 000001b2: PUSH1 0x04 000001b4: DUP1 000001b5: CALLDATASIZE 000001b6: SUB 000001b7: PUSH1 0x80 000001b9: DUP2 000001ba: LT 000001bb: ISZERO 000001bc: PUSH2 0x01c4 000001bf: JUMPI 000001c0: PUSH1 0x00 000001c2: DUP1 000001c3: REVERT 000001c4: JUMPDEST 000001c5: DUP2 000001c6: CALLDATALOAD 000001c7: SWAP2 000001c8: PUSH1 0x20 000001ca: DUP2 000001cb: ADD 000001cc: CALLDATALOAD 000001cd: SWAP2 000001ce: PUSH1 0x01 000001d0: PUSH1 0x01 000001d2: PUSH1 0xa0 000001d4: SHL 000001d5: SUB 000001d6: PUSH1 0x40 000001d8: DUP4 000001d9: ADD 000001da: CALLDATALOAD 000001db: AND 000001dc: SWAP2 000001dd: SWAP1 000001de: DUP2 000001df: ADD 000001e0: SWAP1 000001e1: PUSH1 0x80 000001e3: DUP2 000001e4: ADD 000001e5: PUSH1 0x60 000001e7: DUP3 000001e8: ADD 000001e9: CALLDATALOAD 000001ea: PUSH5 0x0100000000 000001f0: DUP2 000001f1: GT 000001f2: ISZERO 000001f3: PUSH2 0x01fb 000001f6: JUMPI 000001f7: PUSH1 0x00 000001f9: DUP1 000001fa: REVERT 000001fb: JUMPDEST 000001fc: DUP3 000001fd: ADD 000001fe: DUP4 000001ff: PUSH1 0x20 00000201: DUP3 00000202: ADD 00000203: GT 00000204: ISZERO 00000205: PUSH2 0x020d 00000208: JUMPI 00000209: PUSH1 0x00 0000020b: DUP1 0000020c: REVERT 0000020d: JUMPDEST 0000020e: DUP1 0000020f: CALLDATALOAD 00000210: SWAP1 00000211: PUSH1 0x20 00000213: ADD 00000214: SWAP2 00000215: DUP5 00000216: PUSH1 0x01 00000218: DUP4 00000219: MUL 0000021a: DUP5 0000021b: ADD 0000021c: GT 0000021d: PUSH5 0x0100000000 00000223: DUP4 00000224: GT 00000225: OR 00000226: ISZERO 00000227: PUSH2 0x022f 0000022a: JUMPI 0000022b: PUSH1 0x00 0000022d: DUP1 0000022e: REVERT 0000022f: JUMPDEST 00000230: POP 00000231: SWAP1 00000232: SWAP3 00000233: POP 00000234: SWAP1 00000235: POP 00000236: PUSH2 0x05c3 00000239: JUMP 0000023a: JUMPDEST 0000023b: STOP 0000023c: JUMPDEST 0000023d: PUSH2 0x0244 00000240: PUSH2 0x0b0e 00000243: JUMP 00000244: JUMPDEST 00000245: PUSH1 0x40 00000247: DUP1 00000248: MLOAD 00000249: PUSH1 0x20 0000024b: DUP1 0000024c: DUP3 0000024d: MSTORE 0000024e: DUP4 0000024f: MLOAD 00000250: DUP2 00000251: DUP4 00000252: ADD 00000253: MSTORE 00000254: DUP4 00000255: MLOAD 00000256: SWAP2 00000257: SWAP3 00000258: DUP4 00000259: SWAP3 0000025a: SWAP1 0000025b: DUP4 0000025c: ADD 0000025d: SWAP2 0000025e: DUP6 0000025f: ADD 00000260: SWAP1 00000261: DUP1 00000262: DUP4 00000263: DUP4 00000264: PUSH1 0x00 00000266: JUMPDEST 00000267: DUP4 00000268: DUP2 00000269: LT 0000026a: ISZERO 0000026b: PUSH2 0x027e 0000026e: JUMPI 0000026f: DUP2 00000270: DUP2 00000271: ADD 00000272: MLOAD 00000273: DUP4 00000274: DUP3 00000275: ADD 00000276: MSTORE 00000277: PUSH1 0x20 00000279: ADD 0000027a: PUSH2 0x0266 0000027d: JUMP 0000027e: JUMPDEST 0000027f: POP 00000280: POP 00000281: POP 00000282: POP 00000283: SWAP1 00000284: POP 00000285: SWAP1 00000286: DUP2 00000287: ADD 00000288: SWAP1 00000289: PUSH1 0x1f 0000028b: AND 0000028c: DUP1 0000028d: ISZERO 0000028e: PUSH2 0x02ab 00000291: JUMPI 00000292: DUP1 00000293: DUP3 00000294: SUB 00000295: DUP1 00000296: MLOAD 00000297: PUSH1 0x01 00000299: DUP4 0000029a: PUSH1 0x20 0000029c: SUB 0000029d: PUSH2 0x0100 000002a0: EXP 000002a1: SUB 000002a2: NOT 000002a3: AND 000002a4: DUP2 000002a5: MSTORE 000002a6: PUSH1 0x20 000002a8: ADD 000002a9: SWAP2 000002aa: POP 000002ab: JUMPDEST 000002ac: POP 000002ad: SWAP3 000002ae: POP 000002af: POP 000002b0: POP 000002b1: PUSH1 0x40 000002b3: MLOAD 000002b4: DUP1 000002b5: SWAP2 000002b6: SUB 000002b7: SWAP1 000002b8: RETURN 000002b9: JUMPDEST 000002ba: PUSH2 0x02c1 000002bd: PUSH2 0x0b3a 000002c0: JUMP 000002c1: JUMPDEST 000002c2: PUSH1 0x40 000002c4: DUP1 000002c5: MLOAD 000002c6: PUSH1 0x01 000002c8: PUSH1 0x01 000002ca: PUSH1 0x70 000002cc: SHL 000002cd: SUB 000002ce: SWAP5 000002cf: DUP6 000002d0: AND 000002d1: DUP2 000002d2: MSTORE 000002d3: SWAP3 000002d4: SWAP1 000002d5: SWAP4 000002d6: AND 000002d7: PUSH1 0x20 000002d9: DUP4 000002da: ADD 000002db: MSTORE 000002dc: PUSH4 0xffffffff 000002e1: AND 000002e2: DUP2 000002e3: DUP4 000002e4: ADD 000002e5: MSTORE 000002e6: SWAP1 000002e7: MLOAD 000002e8: SWAP1 000002e9: DUP2 000002ea: SWAP1 000002eb: SUB 000002ec: PUSH1 0x60 000002ee: ADD 000002ef: SWAP1 000002f0: RETURN 000002f1: JUMPDEST 000002f2: PUSH2 0x031d 000002f5: PUSH1 0x04 000002f7: DUP1 000002f8: CALLDATASIZE 000002f9: SUB 000002fa: PUSH1 0x40 000002fc: DUP2 000002fd: LT 000002fe: ISZERO 000002ff: PUSH2 0x0307 00000302: JUMPI 00000303: PUSH1 0x00 00000305: DUP1 00000306: REVERT 00000307: JUMPDEST 00000308: POP 00000309: PUSH1 0x01 0000030b: PUSH1 0x01 0000030d: PUSH1 0xa0 0000030f: SHL 00000310: SUB 00000311: DUP2 00000312: CALLDATALOAD 00000313: AND 00000314: SWAP1 00000315: PUSH1 0x20 00000317: ADD 00000318: CALLDATALOAD 00000319: PUSH2 0x0b64 0000031c: JUMP 0000031d: JUMPDEST 0000031e: PUSH1 0x40 00000320: DUP1 00000321: MLOAD 00000322: SWAP2 00000323: ISZERO 00000324: ISZERO 00000325: DUP3 00000326: MSTORE 00000327: MLOAD 00000328: SWAP1 00000329: DUP2 0000032a: SWAP1 0000032b: SUB 0000032c: PUSH1 0x20 0000032e: ADD 0000032f: SWAP1 00000330: RETURN 00000331: JUMPDEST 00000332: PUSH2 0x0339 00000335: PUSH2 0x0b7b 00000338: JUMP 00000339: JUMPDEST 0000033a: PUSH1 0x40 0000033c: DUP1 0000033d: MLOAD 0000033e: PUSH1 0x01 00000340: PUSH1 0x01 00000342: PUSH1 0xa0 00000344: SHL 00000345: SUB 00000346: SWAP1 00000347: SWAP3 00000348: AND 00000349: DUP3 0000034a: MSTORE 0000034b: MLOAD 0000034c: SWAP1 0000034d: DUP2 0000034e: SWAP1 0000034f: SUB 00000350: PUSH1 0x20 00000352: ADD 00000353: SWAP1 00000354: RETURN 00000355: JUMPDEST 00000356: PUSH2 0x035d 00000359: PUSH2 0x0b8a 0000035c: JUMP 0000035d: JUMPDEST 0000035e: PUSH1 0x40 00000360: DUP1 00000361: MLOAD 00000362: SWAP2 00000363: DUP3 00000364: MSTORE 00000365: MLOAD 00000366: SWAP1 00000367: DUP2 00000368: SWAP1 00000369: SUB 0000036a: PUSH1 0x20 0000036c: ADD 0000036d: SWAP1 0000036e: RETURN 0000036f: JUMPDEST 00000370: PUSH2 0x031d 00000373: PUSH1 0x04 00000375: DUP1 00000376: CALLDATASIZE 00000377: SUB 00000378: PUSH1 0x60 0000037a: DUP2 0000037b: LT 0000037c: ISZERO 0000037d: PUSH2 0x0385 00000380: JUMPI 00000381: PUSH1 0x00 00000383: DUP1 00000384: REVERT 00000385: JUMPDEST 00000386: POP 00000387: PUSH1 0x01 00000389: PUSH1 0x01 0000038b: PUSH1 0xa0 0000038d: SHL 0000038e: SUB 0000038f: DUP2 00000390: CALLDATALOAD 00000391: DUP2 00000392: AND 00000393: SWAP2 00000394: PUSH1 0x20 00000396: DUP2 00000397: ADD 00000398: CALLDATALOAD 00000399: SWAP1 0000039a: SWAP2 0000039b: AND 0000039c: SWAP1 0000039d: PUSH1 0x40 0000039f: ADD 000003a0: CALLDATALOAD 000003a1: PUSH2 0x0b90 000003a4: JUMP 000003a5: JUMPDEST 000003a6: PUSH2 0x035d 000003a9: PUSH2 0x0c2a 000003ac: JUMP 000003ad: JUMPDEST 000003ae: PUSH2 0x03b5 000003b1: PUSH2 0x0c4e 000003b4: JUMP 000003b5: JUMPDEST 000003b6: PUSH1 0x40 000003b8: DUP1 000003b9: MLOAD 000003ba: PUSH1 0xff 000003bc: SWAP1 000003bd: SWAP3 000003be: AND 000003bf: DUP3 000003c0: MSTORE 000003c1: MLOAD 000003c2: SWAP1 000003c3: DUP2 000003c4: SWAP1 000003c5: SUB 000003c6: PUSH1 0x20 000003c8: ADD 000003c9: SWAP1 000003ca: RETURN 000003cb: JUMPDEST 000003cc: PUSH2 0x035d 000003cf: PUSH2 0x0c53 000003d2: JUMP 000003d3: JUMPDEST 000003d4: PUSH2 0x023a 000003d7: PUSH1 0x04 000003d9: DUP1 000003da: CALLDATASIZE 000003db: SUB 000003dc: PUSH1 0x40 000003de: DUP2 000003df: LT 000003e0: ISZERO 000003e1: PUSH2 0x03e9 000003e4: JUMPI 000003e5: PUSH1 0x00 000003e7: DUP1 000003e8: REVERT 000003e9: JUMPDEST 000003ea: POP 000003eb: PUSH1 0x01 000003ed: PUSH1 0x01 000003ef: PUSH1 0xa0 000003f1: SHL 000003f2: SUB 000003f3: DUP2 000003f4: CALLDATALOAD 000003f5: DUP2 000003f6: AND 000003f7: SWAP2 000003f8: PUSH1 0x20 000003fa: ADD 000003fb: CALLDATALOAD 000003fc: AND 000003fd: PUSH2 0x0c59 00000400: JUMP 00000401: JUMPDEST 00000402: PUSH2 0x035d 00000405: PUSH2 0x0cdb 00000408: JUMP 00000409: JUMPDEST 0000040a: PUSH2 0x035d 0000040d: PUSH2 0x0ce1 00000410: JUMP 00000411: JUMPDEST 00000412: PUSH2 0x035d 00000415: PUSH1 0x04 00000417: DUP1 00000418: CALLDATASIZE 00000419: SUB 0000041a: PUSH1 0x20 0000041c: DUP2 0000041d: LT 0000041e: ISZERO 0000041f: PUSH2 0x0427 00000422: JUMPI 00000423: PUSH1 0x00 00000425: DUP1 00000426: REVERT 00000427: JUMPDEST 00000428: POP 00000429: CALLDATALOAD 0000042a: PUSH1 0x01 0000042c: PUSH1 0x01 0000042e: PUSH1 0xa0 00000430: SHL 00000431: SUB 00000432: AND 00000433: PUSH2 0x0ce7 00000436: JUMP 00000437: JUMPDEST 00000438: PUSH2 0x035d 0000043b: PUSH1 0x04 0000043d: DUP1 0000043e: CALLDATASIZE 0000043f: SUB 00000440: PUSH1 0x20 00000442: DUP2 00000443: LT 00000444: ISZERO 00000445: PUSH2 0x044d 00000448: JUMPI 00000449: PUSH1 0x00 0000044b: DUP1 0000044c: REVERT 0000044d: JUMPDEST 0000044e: POP 0000044f: CALLDATALOAD 00000450: PUSH1 0x01 00000452: PUSH1 0x01 00000454: PUSH1 0xa0 00000456: SHL 00000457: SUB 00000458: AND 00000459: PUSH2 0x0fe5 0000045c: JUMP 0000045d: JUMPDEST 0000045e: PUSH2 0x035d 00000461: PUSH2 0x0ff7 00000464: JUMP 00000465: JUMPDEST 00000466: PUSH2 0x035d 00000469: PUSH1 0x04 0000046b: DUP1 0000046c: CALLDATASIZE 0000046d: SUB 0000046e: PUSH1 0x20 00000470: DUP2 00000471: LT 00000472: ISZERO 00000473: PUSH2 0x047b 00000476: JUMPI 00000477: PUSH1 0x00 00000479: DUP1 0000047a: REVERT 0000047b: JUMPDEST 0000047c: POP 0000047d: CALLDATALOAD 0000047e: PUSH1 0x01 00000480: PUSH1 0x01 00000482: PUSH1 0xa0 00000484: SHL 00000485: SUB 00000486: AND 00000487: PUSH2 0x0ffd 0000048a: JUMP 0000048b: JUMPDEST 0000048c: PUSH2 0x04b1 0000048f: PUSH1 0x04 00000491: DUP1 00000492: CALLDATASIZE 00000493: SUB 00000494: PUSH1 0x20 00000496: DUP2 00000497: LT 00000498: ISZERO 00000499: PUSH2 0x04a1 0000049c: JUMPI 0000049d: PUSH1 0x00 0000049f: DUP1 000004a0: REVERT 000004a1: JUMPDEST 000004a2: POP 000004a3: CALLDATALOAD 000004a4: PUSH1 0x01 000004a6: PUSH1 0x01 000004a8: PUSH1 0xa0 000004aa: SHL 000004ab: SUB 000004ac: AND 000004ad: PUSH2 0x100f 000004b0: JUMP 000004b1: JUMPDEST 000004b2: PUSH1 0x40 000004b4: DUP1 000004b5: MLOAD 000004b6: SWAP3 000004b7: DUP4 000004b8: MSTORE 000004b9: PUSH1 0x20 000004bb: DUP4 000004bc: ADD 000004bd: SWAP2 000004be: SWAP1 000004bf: SWAP2 000004c0: MSTORE 000004c1: DUP1 000004c2: MLOAD 000004c3: SWAP2 000004c4: DUP3 000004c5: SWAP1 000004c6: SUB 000004c7: ADD 000004c8: SWAP1 000004c9: RETURN 000004ca: JUMPDEST 000004cb: PUSH2 0x0244 000004ce: PUSH2 0x13b3 000004d1: JUMP 000004d2: JUMPDEST 000004d3: PUSH2 0x031d 000004d6: PUSH1 0x04 000004d8: DUP1 000004d9: CALLDATASIZE 000004da: SUB 000004db: PUSH1 0x40 000004dd: DUP2 000004de: LT 000004df: ISZERO 000004e0: PUSH2 0x04e8 000004e3: JUMPI 000004e4: PUSH1 0x00 000004e6: DUP1 000004e7: REVERT 000004e8: JUMPDEST 000004e9: POP 000004ea: PUSH1 0x01 000004ec: PUSH1 0x01 000004ee: PUSH1 0xa0 000004f0: SHL 000004f1: SUB 000004f2: DUP2 000004f3: CALLDATALOAD 000004f4: AND 000004f5: SWAP1 000004f6: PUSH1 0x20 000004f8: ADD 000004f9: CALLDATALOAD 000004fa: PUSH2 0x13d2 000004fd: JUMP 000004fe: JUMPDEST 000004ff: PUSH2 0x035d 00000502: PUSH2 0x13df 00000505: JUMP 00000506: JUMPDEST 00000507: PUSH2 0x023a 0000050a: PUSH1 0x04 0000050c: DUP1 0000050d: CALLDATASIZE 0000050e: SUB 0000050f: PUSH1 0x20 00000511: DUP2 00000512: LT 00000513: ISZERO 00000514: PUSH2 0x051c 00000517: JUMPI 00000518: PUSH1 0x00 0000051a: DUP1 0000051b: REVERT 0000051c: JUMPDEST 0000051d: POP 0000051e: CALLDATALOAD 0000051f: PUSH1 0x01 00000521: PUSH1 0x01 00000523: PUSH1 0xa0 00000525: SHL 00000526: SUB 00000527: AND 00000528: PUSH2 0x13e5 0000052b: JUMP 0000052c: JUMPDEST 0000052d: PUSH2 0x0339 00000530: PUSH2 0x154e 00000533: JUMP 00000534: JUMPDEST 00000535: PUSH2 0x0339 00000538: PUSH2 0x155d 0000053b: JUMP 0000053c: JUMPDEST 0000053d: PUSH2 0x023a 00000540: PUSH1 0x04 00000542: DUP1 00000543: CALLDATASIZE 00000544: SUB 00000545: PUSH1 0xe0 00000547: DUP2 00000548: LT 00000549: ISZERO 0000054a: PUSH2 0x0552 0000054d: JUMPI 0000054e: PUSH1 0x00 00000550: DUP1 00000551: REVERT 00000552: JUMPDEST 00000553: POP 00000554: PUSH1 0x01 00000556: PUSH1 0x01 00000558: PUSH1 0xa0 0000055a: SHL 0000055b: SUB 0000055c: DUP2 0000055d: CALLDATALOAD 0000055e: DUP2 0000055f: AND 00000560: SWAP2 00000561: PUSH1 0x20 00000563: DUP2 00000564: ADD 00000565: CALLDATALOAD 00000566: SWAP1 00000567: SWAP2 00000568: AND 00000569: SWAP1 0000056a: PUSH1 0x40 0000056c: DUP2 0000056d: ADD 0000056e: CALLDATALOAD 0000056f: SWAP1 00000570: PUSH1 0x60 00000572: DUP2 00000573: ADD 00000574: CALLDATALOAD 00000575: SWAP1 00000576: PUSH1 0xff 00000578: PUSH1 0x80 0000057a: DUP3 0000057b: ADD 0000057c: CALLDATALOAD 0000057d: AND 0000057e: SWAP1 0000057f: PUSH1 0xa0 00000581: DUP2 00000582: ADD 00000583: CALLDATALOAD 00000584: SWAP1 00000585: PUSH1 0xc0 00000587: ADD 00000588: CALLDATALOAD 00000589: PUSH2 0x156c 0000058c: JUMP 0000058d: JUMPDEST 0000058e: PUSH2 0x035d 00000591: PUSH1 0x04 00000593: DUP1 00000594: CALLDATASIZE 00000595: SUB 00000596: PUSH1 0x40 00000598: DUP2 00000599: LT 0000059a: ISZERO 0000059b: PUSH2 0x05a3 0000059e: JUMPI 0000059f: PUSH1 0x00 000005a1: DUP1 000005a2: REVERT 000005a3: JUMPDEST 000005a4: POP 000005a5: PUSH1 0x01 000005a7: PUSH1 0x01 000005a9: PUSH1 0xa0 000005ab: SHL 000005ac: SUB 000005ad: DUP2 000005ae: CALLDATALOAD 000005af: DUP2 000005b0: AND 000005b1: SWAP2 000005b2: PUSH1 0x20 000005b4: ADD 000005b5: CALLDATALOAD 000005b6: AND 000005b7: PUSH2 0x176c 000005ba: JUMP 000005bb: JUMPDEST 000005bc: PUSH2 0x023a 000005bf: PUSH2 0x1789 000005c2: JUMP 000005c3: JUMPDEST 000005c4: PUSH1 0x0c 000005c6: SLOAD 000005c7: PUSH1 0x01 000005c9: EQ 000005ca: PUSH2 0x060c 000005cd: JUMPI 000005ce: PUSH1 0x40 000005d0: DUP1 000005d1: MLOAD 000005d2: PUSH3 0x461bcd 000005d6: PUSH1 0xe5 000005d8: SHL 000005d9: DUP2 000005da: MSTORE 000005db: PUSH1 0x20 000005dd: PUSH1 0x04 000005df: DUP3 000005e0: ADD 000005e1: MSTORE 000005e2: PUSH1 0x0f 000005e4: PUSH1 0x24 000005e6: DUP3 000005e7: ADD 000005e8: MSTORE 000005e9: PUSH15 0x165bdd54ddd85c0e881313d0d2d151 000005f9: PUSH1 0x8a 000005fb: SHL 000005fc: PUSH1 0x44 000005fe: DUP3 000005ff: ADD 00000600: MSTORE 00000601: SWAP1 00000602: MLOAD 00000603: SWAP1 00000604: DUP2 00000605: SWAP1 00000606: SUB 00000607: PUSH1 0x64 00000609: ADD 0000060a: SWAP1 0000060b: REVERT 0000060c: JUMPDEST 0000060d: PUSH1 0x00 0000060f: PUSH1 0x0c 00000611: SSTORE 00000612: DUP5 00000613: ISZERO 00000614: ISZERO 00000615: DUP1 00000616: PUSH2 0x061f 00000619: JUMPI 0000061a: POP 0000061b: PUSH1 0x00 0000061d: DUP5 0000061e: GT 0000061f: JUMPDEST 00000620: PUSH2 0x065a 00000623: JUMPI 00000624: PUSH1 0x40 00000626: MLOAD 00000627: PUSH3 0x461bcd 0000062b: PUSH1 0xe5 0000062d: SHL 0000062e: DUP2 0000062f: MSTORE 00000630: PUSH1 0x04 00000632: ADD 00000633: DUP1 00000634: DUP1 00000635: PUSH1 0x20 00000637: ADD 00000638: DUP3 00000639: DUP2 0000063a: SUB 0000063b: DUP3 0000063c: MSTORE 0000063d: PUSH1 0x23 0000063f: DUP2 00000640: MSTORE 00000641: PUSH1 0x20 00000643: ADD 00000644: DUP1 00000645: PUSH2 0x2211 00000648: PUSH1 0x23 0000064a: SWAP2 0000064b: CODECOPY 0000064c: PUSH1 0x40 0000064e: ADD 0000064f: SWAP2 00000650: POP 00000651: POP 00000652: PUSH1 0x40 00000654: MLOAD 00000655: DUP1 00000656: SWAP2 00000657: SUB 00000658: SWAP1 00000659: REVERT 0000065a: JUMPDEST 0000065b: PUSH1 0x00 0000065d: DUP1 0000065e: PUSH2 0x0665 00000661: PUSH2 0x0b3a 00000664: JUMP 00000665: JUMPDEST 00000666: POP 00000667: SWAP2 00000668: POP 00000669: SWAP2 0000066a: POP 0000066b: DUP2 0000066c: PUSH1 0x01 0000066e: PUSH1 0x01 00000670: PUSH1 0x70 00000672: SHL 00000673: SUB 00000674: AND 00000675: DUP8 00000676: LT 00000677: DUP1 00000678: ISZERO 00000679: PUSH2 0x068a 0000067c: JUMPI 0000067d: POP 0000067e: DUP1 0000067f: PUSH1 0x01 00000681: PUSH1 0x01 00000683: PUSH1 0x70 00000685: SHL 00000686: SUB 00000687: AND 00000688: DUP7 00000689: LT 0000068a: JUMPDEST 0000068b: PUSH2 0x06db 0000068e: JUMPI 0000068f: PUSH1 0x40 00000691: DUP1 00000692: MLOAD 00000693: PUSH3 0x461bcd 00000697: PUSH1 0xe5 00000699: SHL 0000069a: DUP2 0000069b: MSTORE 0000069c: PUSH1 0x20 0000069e: PUSH1 0x04 000006a0: DUP3 000006a1: ADD 000006a2: MSTORE 000006a3: PUSH1 0x1f 000006a5: PUSH1 0x24 000006a7: DUP3 000006a8: ADD 000006a9: MSTORE 000006aa: PUSH32 0x596f75537761703a20494e53554646494349454e545f4c495155494449545900 000006cb: PUSH1 0x44 000006cd: DUP3 000006ce: ADD 000006cf: MSTORE 000006d0: SWAP1 000006d1: MLOAD 000006d2: SWAP1 000006d3: DUP2 000006d4: SWAP1 000006d5: SUB 000006d6: PUSH1 0x64 000006d8: ADD 000006d9: SWAP1 000006da: REVERT 000006db: JUMPDEST 000006dc: PUSH1 0x06 000006de: SLOAD 000006df: PUSH1 0x07 000006e1: SLOAD 000006e2: PUSH1 0x00 000006e4: SWAP2 000006e5: DUP3 000006e6: SWAP2 000006e7: PUSH1 0x01 000006e9: PUSH1 0x01 000006eb: PUSH1 0xa0 000006ed: SHL 000006ee: SUB 000006ef: SWAP2 000006f0: DUP3 000006f1: AND 000006f2: SWAP2 000006f3: SWAP1 000006f4: DUP2 000006f5: AND 000006f6: SWAP1 000006f7: DUP10 000006f8: AND 000006f9: DUP3 000006fa: EQ 000006fb: DUP1 000006fc: ISZERO 000006fd: SWAP1 000006fe: PUSH2 0x0719 00000701: JUMPI 00000702: POP 00000703: DUP1 00000704: PUSH1 0x01 00000706: PUSH1 0x01 00000708: PUSH1 0xa0 0000070a: SHL 0000070b: SUB 0000070c: AND 0000070d: DUP10 0000070e: PUSH1 0x01 00000710: PUSH1 0x01 00000712: PUSH1 0xa0 00000714: SHL 00000715: SUB 00000716: AND 00000717: EQ 00000718: ISZERO 00000719: JUMPDEST 0000071a: PUSH2 0x0760 0000071d: JUMPI 0000071e: PUSH1 0x40 00000720: DUP1 00000721: MLOAD 00000722: PUSH3 0x461bcd 00000726: PUSH1 0xe5 00000728: SHL 00000729: DUP2 0000072a: MSTORE 0000072b: PUSH1 0x20 0000072d: PUSH1 0x04 0000072f: DUP3 00000730: ADD 00000731: MSTORE 00000732: PUSH1 0x13 00000734: PUSH1 0x24 00000736: DUP3 00000737: ADD 00000738: MSTORE 00000739: PUSH19 0x596f75537761703a20494e56414c49445f544f 0000074d: PUSH1 0x68 0000074f: SHL 00000750: PUSH1 0x44 00000752: DUP3 00000753: ADD 00000754: MSTORE 00000755: SWAP1 00000756: MLOAD 00000757: SWAP1 00000758: DUP2 00000759: SWAP1 0000075a: SUB 0000075b: PUSH1 0x64 0000075d: ADD 0000075e: SWAP1 0000075f: REVERT 00000760: JUMPDEST 00000761: DUP11 00000762: ISZERO 00000763: PUSH2 0x0771 00000766: JUMPI 00000767: PUSH2 0x0771 0000076a: DUP3 0000076b: DUP11 0000076c: DUP14 0000076d: PUSH2 0x18e9 00000770: JUMP 00000771: JUMPDEST 00000772: DUP10 00000773: ISZERO 00000774: PUSH2 0x0782 00000777: JUMPI 00000778: PUSH2 0x0782 0000077b: DUP2 0000077c: DUP11 0000077d: DUP13 0000077e: PUSH2 0x18e9 00000781: JUMP 00000782: JUMPDEST 00000783: DUP7 00000784: ISZERO 00000785: PUSH2 0x083d 00000788: JUMPI 00000789: DUP9 0000078a: PUSH1 0x01 0000078c: PUSH1 0x01 0000078e: PUSH1 0xa0 00000790: SHL 00000791: SUB 00000792: AND 00000793: PUSH4 0x61987d16 00000798: CALLER 00000799: DUP14 0000079a: DUP14 0000079b: DUP13 0000079c: DUP13 0000079d: PUSH1 0x40 0000079f: MLOAD 000007a0: DUP7 000007a1: PUSH4 0xffffffff 000007a6: AND 000007a7: PUSH1 0xe0 000007a9: SHL 000007aa: DUP2 000007ab: MSTORE 000007ac: PUSH1 0x04 000007ae: ADD 000007af: DUP1 000007b0: DUP7 000007b1: PUSH1 0x01 000007b3: PUSH1 0x01 000007b5: PUSH1 0xa0 000007b7: SHL 000007b8: SUB 000007b9: AND 000007ba: PUSH1 0x01 000007bc: PUSH1 0x01 000007be: PUSH1 0xa0 000007c0: SHL 000007c1: SUB 000007c2: AND 000007c3: DUP2 000007c4: MSTORE 000007c5: PUSH1 0x20 000007c7: ADD 000007c8: DUP6 000007c9: DUP2 000007ca: MSTORE 000007cb: PUSH1 0x20 000007cd: ADD 000007ce: DUP5 000007cf: DUP2 000007d0: MSTORE 000007d1: PUSH1 0x20 000007d3: ADD 000007d4: DUP1 000007d5: PUSH1 0x20 000007d7: ADD 000007d8: DUP3 000007d9: DUP2 000007da: SUB 000007db: DUP3 000007dc: MSTORE 000007dd: DUP5 000007de: DUP5 000007df: DUP3 000007e0: DUP2 000007e1: DUP2 000007e2: MSTORE 000007e3: PUSH1 0x20 000007e5: ADD 000007e6: SWAP3 000007e7: POP 000007e8: DUP1 000007e9: DUP3 000007ea: DUP5 000007eb: CALLDATACOPY 000007ec: PUSH1 0x00 000007ee: DUP2 000007ef: DUP5 000007f0: ADD 000007f1: MSTORE 000007f2: PUSH1 0x1f 000007f4: NOT 000007f5: PUSH1 0x1f 000007f7: DUP3 000007f8: ADD 000007f9: AND 000007fa: SWAP1 000007fb: POP 000007fc: DUP1 000007fd: DUP4 000007fe: ADD 000007ff: SWAP3 00000800: POP 00000801: POP 00000802: POP 00000803: SWAP7 00000804: POP 00000805: POP 00000806: POP 00000807: POP 00000808: POP 00000809: POP 0000080a: POP 0000080b: PUSH1 0x00 0000080d: PUSH1 0x40 0000080f: MLOAD 00000810: DUP1 00000811: DUP4 00000812: SUB 00000813: DUP2 00000814: PUSH1 0x00 00000816: DUP8 00000817: DUP1 00000818: EXTCODESIZE 00000819: ISZERO 0000081a: DUP1 0000081b: ISZERO 0000081c: PUSH2 0x0824 0000081f: JUMPI 00000820: PUSH1 0x00 00000822: DUP1 00000823: REVERT 00000824: JUMPDEST 00000825: POP 00000826: GAS 00000827: CALL 00000828: ISZERO 00000829: DUP1 0000082a: ISZERO 0000082b: PUSH2 0x0838 0000082e: JUMPI 0000082f: RETURNDATASIZE 00000830: PUSH1 0x00 00000832: DUP1 00000833: RETURNDATACOPY 00000834: RETURNDATASIZE 00000835: PUSH1 0x00 00000837: REVERT 00000838: JUMPDEST 00000839: POP 0000083a: POP 0000083b: POP 0000083c: POP 0000083d: JUMPDEST 0000083e: PUSH1 0x40 00000840: DUP1 00000841: MLOAD 00000842: PUSH4 0x70a08231 00000847: PUSH1 0xe0 00000849: SHL 0000084a: DUP2 0000084b: MSTORE 0000084c: ADDRESS 0000084d: PUSH1 0x04 0000084f: DUP3 00000850: ADD 00000851: MSTORE 00000852: SWAP1 00000853: MLOAD 00000854: PUSH1 0x01 00000856: PUSH1 0x01 00000858: PUSH1 0xa0 0000085a: SHL 0000085b: SUB 0000085c: DUP5 0000085d: AND 0000085e: SWAP2 0000085f: PUSH4 0x70a08231 00000864: SWAP2 00000865: PUSH1 0x24 00000867: DUP1 00000868: DUP4 00000869: ADD 0000086a: SWAP3 0000086b: PUSH1 0x20 0000086d: SWAP3 0000086e: SWAP2 0000086f: SWAP1 00000870: DUP3 00000871: SWAP1 00000872: SUB 00000873: ADD 00000874: DUP2 00000875: DUP7 00000876: DUP1 00000877: EXTCODESIZE 00000878: ISZERO 00000879: DUP1 0000087a: ISZERO 0000087b: PUSH2 0x0883 0000087e: JUMPI 0000087f: PUSH1 0x00 00000881: DUP1 00000882: REVERT 00000883: JUMPDEST 00000884: POP 00000885: GAS 00000886: STATICCALL 00000887: ISZERO 00000888: DUP1 00000889: ISZERO 0000088a: PUSH2 0x0897 0000088d: JUMPI 0000088e: RETURNDATASIZE 0000088f: PUSH1 0x00 00000891: DUP1 00000892: RETURNDATACOPY 00000893: RETURNDATASIZE 00000894: PUSH1 0x00 00000896: REVERT 00000897: JUMPDEST 00000898: POP 00000899: POP 0000089a: POP 0000089b: POP 0000089c: PUSH1 0x40 0000089e: MLOAD 0000089f: RETURNDATASIZE 000008a0: PUSH1 0x20 000008a2: DUP2 000008a3: LT 000008a4: ISZERO 000008a5: PUSH2 0x08ad 000008a8: JUMPI 000008a9: PUSH1 0x00 000008ab: DUP1 000008ac: REVERT 000008ad: JUMPDEST 000008ae: POP 000008af: MLOAD 000008b0: PUSH1 0x40 000008b2: DUP1 000008b3: MLOAD 000008b4: PUSH4 0x70a08231 000008b9: PUSH1 0xe0 000008bb: SHL 000008bc: DUP2 000008bd: MSTORE 000008be: ADDRESS 000008bf: PUSH1 0x04 000008c1: DUP3 000008c2: ADD 000008c3: MSTORE 000008c4: SWAP1 000008c5: MLOAD 000008c6: SWAP2 000008c7: SWAP6 000008c8: POP 000008c9: PUSH1 0x01 000008cb: PUSH1 0x01 000008cd: PUSH1 0xa0 000008cf: SHL 000008d0: SUB 000008d1: DUP4 000008d2: AND 000008d3: SWAP2 000008d4: PUSH4 0x70a08231 000008d9: SWAP2 000008da: PUSH1 0x24 000008dc: DUP1 000008dd: DUP3 000008de: ADD 000008df: SWAP3 000008e0: PUSH1 0x20 000008e2: SWAP3 000008e3: SWAP1 000008e4: SWAP2 000008e5: SWAP1 000008e6: DUP3 000008e7: SWAP1 000008e8: SUB 000008e9: ADD 000008ea: DUP2 000008eb: DUP7 000008ec: DUP1 000008ed: EXTCODESIZE 000008ee: ISZERO 000008ef: DUP1 000008f0: ISZERO 000008f1: PUSH2 0x08f9 000008f4: JUMPI 000008f5: PUSH1 0x00 000008f7: DUP1 000008f8: REVERT 000008f9: JUMPDEST 000008fa: POP 000008fb: GAS 000008fc: STATICCALL 000008fd: ISZERO 000008fe: DUP1 000008ff: ISZERO 00000900: PUSH2 0x090d 00000903: JUMPI 00000904: RETURNDATASIZE 00000905: PUSH1 0x00 00000907: DUP1 00000908: RETURNDATACOPY 00000909: RETURNDATASIZE 0000090a: PUSH1 0x00 0000090c: REVERT 0000090d: JUMPDEST 0000090e: POP 0000090f: POP 00000910: POP 00000911: POP 00000912: PUSH1 0x40 00000914: MLOAD 00000915: RETURNDATASIZE 00000916: PUSH1 0x20 00000918: DUP2 00000919: LT 0000091a: ISZERO 0000091b: PUSH2 0x0923 0000091e: JUMPI 0000091f: PUSH1 0x00 00000921: DUP1 00000922: REVERT 00000923: JUMPDEST 00000924: POP 00000925: MLOAD 00000926: SWAP3 00000927: POP 00000928: PUSH1 0x00 0000092a: SWAP2 0000092b: POP 0000092c: POP 0000092d: PUSH1 0x01 0000092f: PUSH1 0x01 00000931: PUSH1 0x70 00000933: SHL 00000934: SUB 00000935: DUP6 00000936: AND 00000937: DUP11 00000938: SWAP1 00000939: SUB 0000093a: DUP4 0000093b: GT 0000093c: PUSH2 0x0946 0000093f: JUMPI 00000940: PUSH1 0x00 00000942: PUSH2 0x0955 00000945: JUMP 00000946: JUMPDEST 00000947: DUP10 00000948: DUP6 00000949: PUSH1 0x01 0000094b: PUSH1 0x01 0000094d: PUSH1 0x70 0000094f: SHL 00000950: SUB 00000951: AND 00000952: SUB 00000953: DUP4 00000954: SUB 00000955: JUMPDEST 00000956: SWAP1 00000957: POP 00000958: PUSH1 0x00 0000095a: DUP10 0000095b: DUP6 0000095c: PUSH1 0x01 0000095e: PUSH1 0x01 00000960: PUSH1 0x70 00000962: SHL 00000963: SUB 00000964: AND 00000965: SUB 00000966: DUP4 00000967: GT 00000968: PUSH2 0x0972 0000096b: JUMPI 0000096c: PUSH1 0x00 0000096e: PUSH2 0x0981 00000971: JUMP 00000972: JUMPDEST 00000973: DUP10 00000974: DUP6 00000975: PUSH1 0x01 00000977: PUSH1 0x01 00000979: PUSH1 0x70 0000097b: SHL 0000097c: SUB 0000097d: AND 0000097e: SUB 0000097f: DUP4 00000980: SUB 00000981: JUMPDEST 00000982: SWAP1 00000983: POP 00000984: PUSH1 0x00 00000986: DUP3 00000987: GT 00000988: DUP1 00000989: PUSH2 0x0992 0000098c: JUMPI 0000098d: POP 0000098e: PUSH1 0x00 00000990: DUP2 00000991: GT 00000992: JUMPDEST 00000993: PUSH2 0x09cd 00000996: JUMPI 00000997: PUSH1 0x40 00000999: MLOAD 0000099a: PUSH3 0x461bcd 0000099e: PUSH1 0xe5 000009a0: SHL 000009a1: DUP2 000009a2: MSTORE 000009a3: PUSH1 0x04 000009a5: ADD 000009a6: DUP1 000009a7: DUP1 000009a8: PUSH1 0x20 000009aa: ADD 000009ab: DUP3 000009ac: DUP2 000009ad: SUB 000009ae: DUP3 000009af: MSTORE 000009b0: PUSH1 0x22 000009b2: DUP2 000009b3: MSTORE 000009b4: PUSH1 0x20 000009b6: ADD 000009b7: DUP1 000009b8: PUSH2 0x2280 000009bb: PUSH1 0x22 000009bd: SWAP2 000009be: CODECOPY 000009bf: PUSH1 0x40 000009c1: ADD 000009c2: SWAP2 000009c3: POP 000009c4: POP 000009c5: PUSH1 0x40 000009c7: MLOAD 000009c8: DUP1 000009c9: SWAP2 000009ca: SUB 000009cb: SWAP1 000009cc: REVERT 000009cd: JUMPDEST 000009ce: PUSH1 0x00 000009d0: PUSH2 0x0a01 000009d3: PUSH2 0x09e3 000009d6: DUP5 000009d7: PUSH1 0x03 000009d9: PUSH4 0xffffffff 000009de: PUSH2 0x1a83 000009e1: AND 000009e2: JUMP 000009e3: JUMPDEST 000009e4: PUSH2 0x09f5 000009e7: DUP8 000009e8: PUSH2 0x03e8 000009eb: PUSH4 0xffffffff 000009f0: PUSH2 0x1a83 000009f3: AND 000009f4: JUMP 000009f5: JUMPDEST 000009f6: SWAP1 000009f7: PUSH4 0xffffffff 000009fc: PUSH2 0x1ae6 000009ff: AND 00000a00: JUMP 00000a01: JUMPDEST 00000a02: SWAP1 00000a03: POP 00000a04: PUSH1 0x00 00000a06: PUSH2 0x0a19 00000a09: PUSH2 0x09e3 00000a0c: DUP5 00000a0d: PUSH1 0x03 00000a0f: PUSH4 0xffffffff 00000a14: PUSH2 0x1a83 00000a17: AND 00000a18: JUMP 00000a19: JUMPDEST 00000a1a: SWAP1 00000a1b: POP 00000a1c: PUSH2 0x0a4a 00000a1f: PUSH3 0x0f4240 00000a23: PUSH2 0x0a3e 00000a26: PUSH1 0x01 00000a28: PUSH1 0x01 00000a2a: PUSH1 0x70 00000a2c: SHL 00000a2d: SUB 00000a2e: DUP12 00000a2f: DUP2 00000a30: AND 00000a31: SWAP1 00000a32: DUP12 00000a33: AND 00000a34: PUSH4 0xffffffff 00000a39: PUSH2 0x1a83 00000a3c: AND 00000a3d: JUMP 00000a3e: JUMPDEST 00000a3f: SWAP1 00000a40: PUSH4 0xffffffff 00000a45: PUSH2 0x1a83 00000a48: AND 00000a49: JUMP 00000a4a: JUMPDEST 00000a4b: PUSH2 0x0a5a 00000a4e: DUP4 00000a4f: DUP4 00000a50: PUSH4 0xffffffff 00000a55: PUSH2 0x1a83 00000a58: AND 00000a59: JUMP 00000a5a: JUMPDEST 00000a5b: LT 00000a5c: ISZERO 00000a5d: PUSH2 0x0a9a 00000a60: JUMPI 00000a61: PUSH1 0x40 00000a63: DUP1 00000a64: MLOAD 00000a65: PUSH3 0x461bcd 00000a69: PUSH1 0xe5 00000a6b: SHL 00000a6c: DUP2 00000a6d: MSTORE 00000a6e: PUSH1 0x20 00000a70: PUSH1 0x04 00000a72: DUP3 00000a73: ADD 00000a74: MSTORE 00000a75: PUSH1 0x0a 00000a77: PUSH1 0x24 00000a79: DUP3 00000a7a: ADD 00000a7b: MSTORE 00000a7c: PUSH10 0x596f75537761703a204b 00000a87: PUSH1 0xb0 00000a89: SHL 00000a8a: PUSH1 0x44 00000a8c: DUP3 00000a8d: ADD 00000a8e: MSTORE 00000a8f: SWAP1 00000a90: MLOAD 00000a91: SWAP1 00000a92: DUP2 00000a93: SWAP1 00000a94: SUB 00000a95: PUSH1 0x64 00000a97: ADD 00000a98: SWAP1 00000a99: REVERT 00000a9a: JUMPDEST 00000a9b: POP 00000a9c: POP 00000a9d: PUSH2 0x0aa8 00000aa0: DUP5 00000aa1: DUP5 00000aa2: DUP9 00000aa3: DUP9 00000aa4: PUSH2 0x1b36 00000aa7: JUMP 00000aa8: JUMPDEST 00000aa9: PUSH1 0x40 00000aab: DUP1 00000aac: MLOAD 00000aad: DUP4 00000aae: DUP2 00000aaf: MSTORE 00000ab0: PUSH1 0x20 00000ab2: DUP2 00000ab3: ADD 00000ab4: DUP4 00000ab5: SWAP1 00000ab6: MSTORE 00000ab7: DUP1 00000ab8: DUP3 00000ab9: ADD 00000aba: DUP14 00000abb: SWAP1 00000abc: MSTORE 00000abd: PUSH1 0x60 00000abf: DUP2 00000ac0: ADD 00000ac1: DUP13 00000ac2: SWAP1 00000ac3: MSTORE 00000ac4: SWAP1 00000ac5: MLOAD 00000ac6: PUSH1 0x01 00000ac8: PUSH1 0x01 00000aca: PUSH1 0xa0 00000acc: SHL 00000acd: SUB 00000ace: DUP12 00000acf: AND 00000ad0: SWAP2 00000ad1: CALLER 00000ad2: SWAP2 00000ad3: PUSH32 0xd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d822 00000af4: SWAP2 00000af5: DUP2 00000af6: SWAP1 00000af7: SUB 00000af8: PUSH1 0x80 00000afa: ADD 00000afb: SWAP1 00000afc: LOG3 00000afd: POP 00000afe: POP 00000aff: PUSH1 0x01 00000b01: PUSH1 0x0c 00000b03: SSTORE 00000b04: POP 00000b05: POP 00000b06: POP 00000b07: POP 00000b08: POP 00000b09: POP 00000b0a: POP 00000b0b: POP 00000b0c: POP 00000b0d: JUMP 00000b0e: JUMPDEST 00000b0f: PUSH1 0x40 00000b11: MLOAD 00000b12: DUP1 00000b13: PUSH1 0x40 00000b15: ADD 00000b16: PUSH1 0x40 00000b18: MSTORE 00000b19: DUP1 00000b1a: PUSH1 0x10 00000b1c: DUP2 00000b1d: MSTORE 00000b1e: PUSH1 0x20 00000b20: ADD 00000b21: PUSH16 0x2cb7baa9bbb0b8102628102a37b5b2b7 00000b32: PUSH1 0x81 00000b34: SHL 00000b35: DUP2 00000b36: MSTORE 00000b37: POP 00000b38: DUP2 00000b39: JUMP 00000b3a: JUMPDEST 00000b3b: PUSH1 0x08 00000b3d: SLOAD 00000b3e: PUSH1 0x01 00000b40: PUSH1 0x01 00000b42: PUSH1 0x70 00000b44: SHL 00000b45: SUB 00000b46: DUP1 00000b47: DUP3 00000b48: AND 00000b49: SWAP3 00000b4a: PUSH1 0x01 00000b4c: PUSH1 0x70 00000b4e: SHL 00000b4f: DUP4 00000b50: DIV 00000b51: SWAP1 00000b52: SWAP2 00000b53: AND 00000b54: SWAP2 00000b55: PUSH1 0x01 00000b57: PUSH1 0xe0 00000b59: SHL 00000b5a: SWAP1 00000b5b: DIV 00000b5c: PUSH4 0xffffffff 00000b61: AND 00000b62: SWAP1 00000b63: JUMP 00000b64: JUMPDEST 00000b65: PUSH1 0x00 00000b67: PUSH2 0x0b71 00000b6a: CALLER 00000b6b: DUP5 00000b6c: DUP5 00000b6d: PUSH2 0x1cf9 00000b70: JUMP 00000b71: JUMPDEST 00000b72: POP 00000b73: PUSH1 0x01 00000b75: JUMPDEST 00000b76: SWAP3 00000b77: SWAP2 00000b78: POP 00000b79: POP 00000b7a: JUMP 00000b7b: JUMPDEST 00000b7c: PUSH1 0x06 00000b7e: SLOAD 00000b7f: PUSH1 0x01 00000b81: PUSH1 0x01 00000b83: PUSH1 0xa0 00000b85: SHL 00000b86: SUB 00000b87: AND 00000b88: DUP2 00000b89: JUMP 00000b8a: JUMPDEST 00000b8b: PUSH1 0x00 00000b8d: SLOAD 00000b8e: DUP2 00000b8f: JUMP 00000b90: JUMPDEST 00000b91: PUSH1 0x01 00000b93: PUSH1 0x01 00000b95: PUSH1 0xa0 00000b97: SHL 00000b98: SUB 00000b99: DUP4 00000b9a: AND 00000b9b: PUSH1 0x00 00000b9d: SWAP1 00000b9e: DUP2 00000b9f: MSTORE 00000ba0: PUSH1 0x02 00000ba2: PUSH1 0x20 00000ba4: SWAP1 00000ba5: DUP2 00000ba6: MSTORE 00000ba7: PUSH1 0x40 00000ba9: DUP1 00000baa: DUP4 00000bab: KECCAK256 00000bac: CALLER 00000bad: DUP5 00000bae: MSTORE 00000baf: SWAP1 00000bb0: SWAP2 00000bb1: MSTORE 00000bb2: DUP2 00000bb3: KECCAK256 00000bb4: SLOAD 00000bb5: PUSH1 0x00 00000bb7: NOT 00000bb8: EQ 00000bb9: PUSH2 0x0c15 00000bbc: JUMPI 00000bbd: PUSH1 0x01 00000bbf: PUSH1 0x01 00000bc1: PUSH1 0xa0 00000bc3: SHL 00000bc4: SUB 00000bc5: DUP5 00000bc6: AND 00000bc7: PUSH1 0x00 00000bc9: SWAP1 00000bca: DUP2 00000bcb: MSTORE 00000bcc: PUSH1 0x02 00000bce: PUSH1 0x20 00000bd0: SWAP1 00000bd1: DUP2 00000bd2: MSTORE 00000bd3: PUSH1 0x40 00000bd5: DUP1 00000bd6: DUP4 00000bd7: KECCAK256 00000bd8: CALLER 00000bd9: DUP5 00000bda: MSTORE 00000bdb: SWAP1 00000bdc: SWAP2 00000bdd: MSTORE 00000bde: SWAP1 00000bdf: KECCAK256 00000be0: SLOAD 00000be1: PUSH2 0x0bf0 00000be4: SWAP1 00000be5: DUP4 00000be6: PUSH4 0xffffffff 00000beb: PUSH2 0x1ae6 00000bee: AND 00000bef: JUMP 00000bf0: JUMPDEST 00000bf1: PUSH1 0x01 00000bf3: PUSH1 0x01 00000bf5: PUSH1 0xa0 00000bf7: SHL 00000bf8: SUB 00000bf9: DUP6 00000bfa: AND 00000bfb: PUSH1 0x00 00000bfd: SWAP1 00000bfe: DUP2 00000bff: MSTORE 00000c00: PUSH1 0x02 00000c02: PUSH1 0x20 00000c04: SWAP1 00000c05: DUP2 00000c06: MSTORE 00000c07: PUSH1 0x40 00000c09: DUP1 00000c0a: DUP4 00000c0b: KECCAK256 00000c0c: CALLER 00000c0d: DUP5 00000c0e: MSTORE 00000c0f: SWAP1 00000c10: SWAP2 00000c11: MSTORE 00000c12: SWAP1 00000c13: KECCAK256 00000c14: SSTORE 00000c15: JUMPDEST 00000c16: PUSH2 0x0c20 00000c19: DUP5 00000c1a: DUP5 00000c1b: DUP5 00000c1c: PUSH2 0x1d5b 00000c1f: JUMP 00000c20: JUMPDEST 00000c21: POP 00000c22: PUSH1 0x01 00000c24: SWAP4 00000c25: SWAP3 00000c26: POP 00000c27: POP 00000c28: POP 00000c29: JUMP 00000c2a: JUMPDEST 00000c2b: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9 00000c4c: DUP2 00000c4d: JUMP 00000c4e: JUMPDEST 00000c4f: PUSH1 0x12 00000c51: DUP2 00000c52: JUMP 00000c53: JUMPDEST 00000c54: PUSH1 0x03 00000c56: SLOAD 00000c57: DUP2 00000c58: JUMP 00000c59: JUMPDEST 00000c5a: PUSH1 0x05 00000c5c: SLOAD 00000c5d: PUSH1 0x01 00000c5f: PUSH1 0x01 00000c61: PUSH1 0xa0 00000c63: SHL 00000c64: SUB 00000c65: AND 00000c66: CALLER 00000c67: EQ 00000c68: PUSH2 0x0cad 00000c6b: JUMPI 00000c6c: PUSH1 0x40 00000c6e: DUP1 00000c6f: MLOAD 00000c70: PUSH3 0x461bcd 00000c74: PUSH1 0xe5 00000c76: SHL 00000c77: DUP2 00000c78: MSTORE 00000c79: PUSH1 0x20 00000c7b: PUSH1 0x04 00000c7d: DUP3 00000c7e: ADD 00000c7f: MSTORE 00000c80: PUSH1 0x12 00000c82: PUSH1 0x24 00000c84: DUP3 00000c85: ADD 00000c86: MSTORE 00000c87: PUSH18 0x2cb7baa9bbb0b81d102327a92124a22222a7 00000c9a: PUSH1 0x71 00000c9c: SHL 00000c9d: PUSH1 0x44 00000c9f: DUP3 00000ca0: ADD 00000ca1: MSTORE 00000ca2: SWAP1 00000ca3: MLOAD 00000ca4: SWAP1 00000ca5: DUP2 00000ca6: SWAP1 00000ca7: SUB 00000ca8: PUSH1 0x64 00000caa: ADD 00000cab: SWAP1 00000cac: REVERT 00000cad: JUMPDEST 00000cae: PUSH1 0x06 00000cb0: DUP1 00000cb1: SLOAD 00000cb2: PUSH1 0x01 00000cb4: PUSH1 0x01 00000cb6: PUSH1 0xa0 00000cb8: SHL 00000cb9: SUB 00000cba: SWAP4 00000cbb: DUP5 00000cbc: AND 00000cbd: PUSH1 0x01 00000cbf: PUSH1 0x01 00000cc1: PUSH1 0xa0 00000cc3: SHL 00000cc4: SUB 00000cc5: NOT 00000cc6: SWAP2 00000cc7: DUP3 00000cc8: AND 00000cc9: OR 00000cca: SWAP1 00000ccb: SWAP2 00000ccc: SSTORE 00000ccd: PUSH1 0x07 00000ccf: DUP1 00000cd0: SLOAD 00000cd1: SWAP3 00000cd2: SWAP1 00000cd3: SWAP4 00000cd4: AND 00000cd5: SWAP2 00000cd6: AND 00000cd7: OR 00000cd8: SWAP1 00000cd9: SSTORE 00000cda: JUMP 00000cdb: JUMPDEST 00000cdc: PUSH1 0x09 00000cde: SLOAD 00000cdf: DUP2 00000ce0: JUMP 00000ce1: JUMPDEST 00000ce2: PUSH1 0x0a 00000ce4: SLOAD 00000ce5: DUP2 00000ce6: JUMP 00000ce7: JUMPDEST 00000ce8: PUSH1 0x00 00000cea: PUSH1 0x0c 00000cec: SLOAD 00000ced: PUSH1 0x01 00000cef: EQ 00000cf0: PUSH2 0x0d32 00000cf3: JUMPI 00000cf4: PUSH1 0x40 00000cf6: DUP1 00000cf7: MLOAD 00000cf8: PUSH3 0x461bcd 00000cfc: PUSH1 0xe5 00000cfe: SHL 00000cff: DUP2 00000d00: MSTORE 00000d01: PUSH1 0x20 00000d03: PUSH1 0x04 00000d05: DUP3 00000d06: ADD 00000d07: MSTORE 00000d08: PUSH1 0x0f 00000d0a: PUSH1 0x24 00000d0c: DUP3 00000d0d: ADD 00000d0e: MSTORE 00000d0f: PUSH15 0x165bdd54ddd85c0e881313d0d2d151 00000d1f: PUSH1 0x8a 00000d21: SHL 00000d22: PUSH1 0x44 00000d24: DUP3 00000d25: ADD 00000d26: MSTORE 00000d27: SWAP1 00000d28: MLOAD 00000d29: SWAP1 00000d2a: DUP2 00000d2b: SWAP1 00000d2c: SUB 00000d2d: PUSH1 0x64 00000d2f: ADD 00000d30: SWAP1 00000d31: REVERT 00000d32: JUMPDEST 00000d33: PUSH1 0x00 00000d35: PUSH1 0x0c 00000d37: DUP2 00000d38: SWAP1 00000d39: SSTORE 00000d3a: DUP1 00000d3b: PUSH2 0x0d42 00000d3e: PUSH2 0x0b3a 00000d41: JUMP 00000d42: JUMPDEST 00000d43: POP 00000d44: PUSH1 0x06 00000d46: SLOAD 00000d47: PUSH1 0x40 00000d49: DUP1 00000d4a: MLOAD 00000d4b: PUSH4 0x70a08231 00000d50: PUSH1 0xe0 00000d52: SHL 00000d53: DUP2 00000d54: MSTORE 00000d55: ADDRESS 00000d56: PUSH1 0x04 00000d58: DUP3 00000d59: ADD 00000d5a: MSTORE 00000d5b: SWAP1 00000d5c: MLOAD 00000d5d: SWAP4 00000d5e: SWAP6 00000d5f: POP 00000d60: SWAP2 00000d61: SWAP4 00000d62: POP 00000d63: PUSH1 0x00 00000d65: SWAP3 00000d66: PUSH1 0x01 00000d68: PUSH1 0x01 00000d6a: PUSH1 0xa0 00000d6c: SHL 00000d6d: SUB 00000d6e: SWAP1 00000d6f: SWAP2 00000d70: AND 00000d71: SWAP2 00000d72: PUSH4 0x70a08231 00000d77: SWAP2 00000d78: PUSH1 0x24 00000d7a: DUP1 00000d7b: DUP4 00000d7c: ADD 00000d7d: SWAP3 00000d7e: PUSH1 0x20 00000d80: SWAP3 00000d81: SWAP2 00000d82: SWAP1 00000d83: DUP3 00000d84: SWAP1 00000d85: SUB 00000d86: ADD 00000d87: DUP2 00000d88: DUP7 00000d89: DUP1 00000d8a: EXTCODESIZE 00000d8b: ISZERO 00000d8c: DUP1 00000d8d: ISZERO 00000d8e: PUSH2 0x0d96 00000d91: JUMPI 00000d92: PUSH1 0x00 00000d94: DUP1 00000d95: REVERT 00000d96: JUMPDEST 00000d97: POP 00000d98: GAS 00000d99: STATICCALL 00000d9a: ISZERO 00000d9b: DUP1 00000d9c: ISZERO 00000d9d: PUSH2 0x0daa 00000da0: JUMPI 00000da1: RETURNDATASIZE 00000da2: PUSH1 0x00 00000da4: DUP1 00000da5: RETURNDATACOPY 00000da6: RETURNDATASIZE 00000da7: PUSH1 0x00 00000da9: REVERT 00000daa: JUMPDEST 00000dab: POP 00000dac: POP 00000dad: POP 00000dae: POP 00000daf: PUSH1 0x40 00000db1: MLOAD 00000db2: RETURNDATASIZE 00000db3: PUSH1 0x20 00000db5: DUP2 00000db6: LT 00000db7: ISZERO 00000db8: PUSH2 0x0dc0 00000dbb: JUMPI 00000dbc: PUSH1 0x00 00000dbe: DUP1 00000dbf: REVERT 00000dc0: JUMPDEST 00000dc1: POP 00000dc2: MLOAD 00000dc3: PUSH1 0x07 00000dc5: SLOAD 00000dc6: PUSH1 0x40 00000dc8: DUP1 00000dc9: MLOAD 00000dca: PUSH4 0x70a08231 00000dcf: PUSH1 0xe0 00000dd1: SHL 00000dd2: DUP2 00000dd3: MSTORE 00000dd4: ADDRESS 00000dd5: PUSH1 0x04 00000dd7: DUP3 00000dd8: ADD 00000dd9: MSTORE 00000dda: SWAP1 00000ddb: MLOAD 00000ddc: SWAP3 00000ddd: SWAP4 00000dde: POP 00000ddf: PUSH1 0x00 00000de1: SWAP3 00000de2: PUSH1 0x01 00000de4: PUSH1 0x01 00000de6: PUSH1 0xa0 00000de8: SHL 00000de9: SUB 00000dea: SWAP1 00000deb: SWAP3 00000dec: AND 00000ded: SWAP2 00000dee: PUSH4 0x70a08231 00000df3: SWAP2 00000df4: PUSH1 0x24 00000df6: DUP1 00000df7: DUP3 00000df8: ADD 00000df9: SWAP3 00000dfa: PUSH1 0x20 00000dfc: SWAP3 00000dfd: SWAP1 00000dfe: SWAP2 00000dff: SWAP1 00000e00: DUP3 00000e01: SWAP1 00000e02: SUB 00000e03: ADD 00000e04: DUP2 00000e05: DUP7 00000e06: DUP1 00000e07: EXTCODESIZE 00000e08: ISZERO 00000e09: DUP1 00000e0a: ISZERO 00000e0b: PUSH2 0x0e13 00000e0e: JUMPI 00000e0f: PUSH1 0x00 00000e11: DUP1 00000e12: REVERT 00000e13: JUMPDEST 00000e14: POP 00000e15: GAS 00000e16: STATICCALL 00000e17: ISZERO 00000e18: DUP1 00000e19: ISZERO 00000e1a: PUSH2 0x0e27 00000e1d: JUMPI 00000e1e: RETURNDATASIZE 00000e1f: PUSH1 0x00 00000e21: DUP1 00000e22: RETURNDATACOPY 00000e23: RETURNDATASIZE 00000e24: PUSH1 0x00 00000e26: REVERT 00000e27: JUMPDEST 00000e28: POP 00000e29: POP 00000e2a: POP 00000e2b: POP 00000e2c: PUSH1 0x40 00000e2e: MLOAD 00000e2f: RETURNDATASIZE 00000e30: PUSH1 0x20 00000e32: DUP2 00000e33: LT 00000e34: ISZERO 00000e35: PUSH2 0x0e3d 00000e38: JUMPI 00000e39: PUSH1 0x00 00000e3b: DUP1 00000e3c: REVERT 00000e3d: JUMPDEST 00000e3e: POP 00000e3f: MLOAD 00000e40: SWAP1 00000e41: POP 00000e42: PUSH1 0x00 00000e44: PUSH2 0x0e5c 00000e47: DUP4 00000e48: PUSH1 0x01 00000e4a: PUSH1 0x01 00000e4c: PUSH1 0x70 00000e4e: SHL 00000e4f: SUB 00000e50: DUP8 00000e51: AND 00000e52: PUSH4 0xffffffff 00000e57: PUSH2 0x1ae6 00000e5a: AND 00000e5b: JUMP 00000e5c: JUMPDEST 00000e5d: SWAP1 00000e5e: POP 00000e5f: PUSH1 0x00 00000e61: PUSH2 0x0e79 00000e64: DUP4 00000e65: PUSH1 0x01 00000e67: PUSH1 0x01 00000e69: PUSH1 0x70 00000e6b: SHL 00000e6c: SUB 00000e6d: DUP8 00000e6e: AND 00000e6f: PUSH4 0xffffffff 00000e74: PUSH2 0x1ae6 00000e77: AND 00000e78: JUMP 00000e79: JUMPDEST 00000e7a: SWAP1 00000e7b: POP 00000e7c: PUSH1 0x00 00000e7e: PUSH2 0x0e87 00000e81: DUP8 00000e82: DUP8 00000e83: PUSH2 0x1e15 00000e86: JUMP 00000e87: JUMPDEST 00000e88: PUSH1 0x00 00000e8a: SLOAD 00000e8b: SWAP1 00000e8c: SWAP2 00000e8d: POP 00000e8e: DUP1 00000e8f: PUSH2 0x0ec4 00000e92: JUMPI 00000e93: PUSH2 0x0eb0 00000e96: PUSH2 0x03e8 00000e99: PUSH2 0x09f5 00000e9c: PUSH2 0x0eab 00000e9f: DUP8 00000ea0: DUP8 00000ea1: PUSH4 0xffffffff 00000ea6: PUSH2 0x1a83 00000ea9: AND 00000eaa: JUMP 00000eab: JUMPDEST 00000eac: PUSH2 0x1fec 00000eaf: JUMP 00000eb0: JUMPDEST 00000eb1: SWAP9 00000eb2: POP 00000eb3: PUSH2 0x0ebf 00000eb6: PUSH1 0x00 00000eb8: PUSH2 0x03e8 00000ebb: PUSH2 0x203e 00000ebe: JUMP 00000ebf: JUMPDEST 00000ec0: PUSH2 0x0f13 00000ec3: JUMP 00000ec4: JUMPDEST 00000ec5: PUSH2 0x0f10 00000ec8: PUSH1 0x01 00000eca: PUSH1 0x01 00000ecc: PUSH1 0x70 00000ece: SHL 00000ecf: SUB 00000ed0: DUP10 00000ed1: AND 00000ed2: PUSH2 0x0ee1 00000ed5: DUP7 00000ed6: DUP5 00000ed7: PUSH4 0xffffffff 00000edc: PUSH2 0x1a83 00000edf: AND 00000ee0: JUMP 00000ee1: JUMPDEST 00000ee2: DUP2 00000ee3: PUSH2 0x0ee8 00000ee6: JUMPI 00000ee7: INVALID 00000ee8: JUMPDEST 00000ee9: DIV 00000eea: PUSH1 0x01 00000eec: PUSH1 0x01 00000eee: PUSH1 0x70 00000ef0: SHL 00000ef1: SUB 00000ef2: DUP10 00000ef3: AND 00000ef4: PUSH2 0x0f03 00000ef7: DUP7 00000ef8: DUP6 00000ef9: PUSH4 0xffffffff 00000efe: PUSH2 0x1a83 00000f01: AND 00000f02: JUMP 00000f03: JUMPDEST 00000f04: DUP2 00000f05: PUSH2 0x0f0a 00000f08: JUMPI 00000f09: INVALID 00000f0a: JUMPDEST 00000f0b: DIV 00000f0c: PUSH2 0x20d4 00000f0f: JUMP 00000f10: JUMPDEST 00000f11: SWAP9 00000f12: POP 00000f13: JUMPDEST 00000f14: PUSH1 0x00 00000f16: DUP10 00000f17: GT 00000f18: PUSH2 0x0f52 00000f1b: JUMPI 00000f1c: PUSH1 0x40 00000f1e: MLOAD 00000f1f: PUSH3 0x461bcd 00000f23: PUSH1 0xe5 00000f25: SHL 00000f26: DUP2 00000f27: MSTORE 00000f28: PUSH1 0x04 00000f2a: ADD 00000f2b: DUP1 00000f2c: DUP1 00000f2d: PUSH1 0x20 00000f2f: ADD 00000f30: DUP3 00000f31: DUP2 00000f32: SUB 00000f33: DUP3 00000f34: MSTORE 00000f35: PUSH1 0x26 00000f37: DUP2 00000f38: MSTORE 00000f39: PUSH1 0x20 00000f3b: ADD 00000f3c: DUP1 00000f3d: PUSH2 0x2234 00000f40: PUSH1 0x26 00000f42: SWAP2 00000f43: CODECOPY 00000f44: PUSH1 0x40 00000f46: ADD 00000f47: SWAP2 00000f48: POP 00000f49: POP 00000f4a: PUSH1 0x40 00000f4c: MLOAD 00000f4d: DUP1 00000f4e: SWAP2 00000f4f: SUB 00000f50: SWAP1 00000f51: REVERT 00000f52: JUMPDEST 00000f53: PUSH2 0x0f5c 00000f56: DUP11 00000f57: DUP11 00000f58: PUSH2 0x203e 00000f5b: JUMP 00000f5c: JUMPDEST 00000f5d: PUSH2 0x0f68 00000f60: DUP7 00000f61: DUP7 00000f62: DUP11 00000f63: DUP11 00000f64: PUSH2 0x1b36 00000f67: JUMP 00000f68: JUMPDEST 00000f69: DUP2 00000f6a: ISZERO 00000f6b: PUSH2 0x0f98 00000f6e: JUMPI 00000f6f: PUSH1 0x08 00000f71: SLOAD 00000f72: PUSH2 0x0f94 00000f75: SWAP1 00000f76: PUSH1 0x01 00000f78: PUSH1 0x01 00000f7a: PUSH1 0x70 00000f7c: SHL 00000f7d: SUB 00000f7e: DUP1 00000f7f: DUP3 00000f80: AND 00000f81: SWAP2 00000f82: PUSH1 0x01 00000f84: PUSH1 0x70 00000f86: SHL 00000f87: SWAP1 00000f88: DIV 00000f89: AND 00000f8a: PUSH4 0xffffffff 00000f8f: PUSH2 0x1a83 00000f92: AND 00000f93: JUMP 00000f94: JUMPDEST 00000f95: PUSH1 0x0b 00000f97: SSTORE 00000f98: JUMPDEST 00000f99: PUSH1 0x40 00000f9b: DUP1 00000f9c: MLOAD 00000f9d: DUP6 00000f9e: DUP2 00000f9f: MSTORE 00000fa0: PUSH1 0x20 00000fa2: DUP2 00000fa3: ADD 00000fa4: DUP6 00000fa5: SWAP1 00000fa6: MSTORE 00000fa7: DUP2 00000fa8: MLOAD 00000fa9: CALLER 00000faa: SWAP3 00000fab: PUSH32 0x4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f 00000fcc: SWAP3 00000fcd: DUP3 00000fce: SWAP1 00000fcf: SUB 00000fd0: ADD 00000fd1: SWAP1 00000fd2: LOG2 00000fd3: POP 00000fd4: POP 00000fd5: PUSH1 0x01 00000fd7: PUSH1 0x0c 00000fd9: SSTORE 00000fda: POP 00000fdb: SWAP5 00000fdc: SWAP7 00000fdd: SWAP6 00000fde: POP 00000fdf: POP 00000fe0: POP 00000fe1: POP 00000fe2: POP 00000fe3: POP 00000fe4: JUMP 00000fe5: JUMPDEST 00000fe6: PUSH1 0x01 00000fe8: PUSH1 0x20 00000fea: MSTORE 00000feb: PUSH1 0x00 00000fed: SWAP1 00000fee: DUP2 00000fef: MSTORE 00000ff0: PUSH1 0x40 00000ff2: SWAP1 00000ff3: KECCAK256 00000ff4: SLOAD 00000ff5: DUP2 00000ff6: JUMP 00000ff7: JUMPDEST 00000ff8: PUSH1 0x0b 00000ffa: SLOAD 00000ffb: DUP2 00000ffc: JUMP 00000ffd: JUMPDEST 00000ffe: PUSH1 0x04 00001000: PUSH1 0x20 00001002: MSTORE 00001003: PUSH1 0x00 00001005: SWAP1 00001006: DUP2 00001007: MSTORE 00001008: PUSH1 0x40 0000100a: SWAP1 0000100b: KECCAK256 0000100c: SLOAD 0000100d: DUP2 0000100e: JUMP 0000100f: JUMPDEST 00001010: PUSH1 0x00 00001012: DUP1 00001013: PUSH1 0x0c 00001015: SLOAD 00001016: PUSH1 0x01 00001018: EQ 00001019: PUSH2 0x105b 0000101c: JUMPI 0000101d: PUSH1 0x40 0000101f: DUP1 00001020: MLOAD 00001021: PUSH3 0x461bcd 00001025: PUSH1 0xe5 00001027: SHL 00001028: DUP2 00001029: MSTORE 0000102a: PUSH1 0x20 0000102c: PUSH1 0x04 0000102e: DUP3 0000102f: ADD 00001030: MSTORE 00001031: PUSH1 0x0f 00001033: PUSH1 0x24 00001035: DUP3 00001036: ADD 00001037: MSTORE 00001038: PUSH15 0x165bdd54ddd85c0e881313d0d2d151 00001048: PUSH1 0x8a 0000104a: SHL 0000104b: PUSH1 0x44 0000104d: DUP3 0000104e: ADD 0000104f: MSTORE 00001050: SWAP1 00001051: MLOAD 00001052: SWAP1 00001053: DUP2 00001054: SWAP1 00001055: SUB 00001056: PUSH1 0x64 00001058: ADD 00001059: SWAP1 0000105a: REVERT 0000105b: JUMPDEST 0000105c: PUSH1 0x00 0000105e: PUSH1 0x0c 00001060: DUP2 00001061: SWAP1 00001062: SSTORE 00001063: DUP1 00001064: PUSH2 0x106b 00001067: PUSH2 0x0b3a 0000106a: JUMP 0000106b: JUMPDEST 0000106c: POP 0000106d: PUSH1 0x06 0000106f: SLOAD 00001070: PUSH1 0x07 00001072: SLOAD 00001073: PUSH1 0x40 00001075: DUP1 00001076: MLOAD 00001077: PUSH4 0x70a08231 0000107c: PUSH1 0xe0 0000107e: SHL 0000107f: DUP2 00001080: MSTORE 00001081: ADDRESS 00001082: PUSH1 0x04 00001084: DUP3 00001085: ADD 00001086: MSTORE 00001087: SWAP1 00001088: MLOAD 00001089: SWAP5 0000108a: SWAP7 0000108b: POP 0000108c: SWAP3 0000108d: SWAP5 0000108e: POP 0000108f: PUSH1 0x01 00001091: PUSH1 0x01 00001093: PUSH1 0xa0 00001095: SHL 00001096: SUB 00001097: SWAP2 00001098: DUP3 00001099: AND 0000109a: SWAP4 0000109b: SWAP2 0000109c: AND 0000109d: SWAP2 0000109e: PUSH1 0x00 000010a0: SWAP2 000010a1: DUP5 000010a2: SWAP2 000010a3: PUSH4 0x70a08231 000010a8: SWAP2 000010a9: PUSH1 0x24 000010ab: DUP1 000010ac: DUP4 000010ad: ADD 000010ae: SWAP3 000010af: PUSH1 0x20 000010b1: SWAP3 000010b2: SWAP2 000010b3: SWAP1 000010b4: DUP3 000010b5: SWAP1 000010b6: SUB 000010b7: ADD 000010b8: DUP2 000010b9: DUP7 000010ba: DUP1 000010bb: EXTCODESIZE 000010bc: ISZERO 000010bd: DUP1 000010be: ISZERO 000010bf: PUSH2 0x10c7 000010c2: JUMPI 000010c3: PUSH1 0x00 000010c5: DUP1 000010c6: REVERT 000010c7: JUMPDEST 000010c8: POP 000010c9: GAS 000010ca: STATICCALL 000010cb: ISZERO 000010cc: DUP1 000010cd: ISZERO 000010ce: PUSH2 0x10db 000010d1: JUMPI 000010d2: RETURNDATASIZE 000010d3: PUSH1 0x00 000010d5: DUP1 000010d6: RETURNDATACOPY 000010d7: RETURNDATASIZE 000010d8: PUSH1 0x00 000010da: REVERT 000010db: JUMPDEST 000010dc: POP 000010dd: POP 000010de: POP 000010df: POP 000010e0: PUSH1 0x40 000010e2: MLOAD 000010e3: RETURNDATASIZE 000010e4: PUSH1 0x20 000010e6: DUP2 000010e7: LT 000010e8: ISZERO 000010e9: PUSH2 0x10f1 000010ec: JUMPI 000010ed: PUSH1 0x00 000010ef: DUP1 000010f0: REVERT 000010f1: JUMPDEST 000010f2: POP 000010f3: MLOAD 000010f4: PUSH1 0x40 000010f6: DUP1 000010f7: MLOAD 000010f8: PUSH4 0x70a08231 000010fd: PUSH1 0xe0 000010ff: SHL 00001100: DUP2 00001101: MSTORE 00001102: ADDRESS 00001103: PUSH1 0x04 00001105: DUP3 00001106: ADD 00001107: MSTORE 00001108: SWAP1 00001109: MLOAD 0000110a: SWAP2 0000110b: SWAP3 0000110c: POP 0000110d: PUSH1 0x00 0000110f: SWAP2 00001110: PUSH1 0x01 00001112: PUSH1 0x01 00001114: PUSH1 0xa0 00001116: SHL 00001117: SUB 00001118: DUP6 00001119: AND 0000111a: SWAP2 0000111b: PUSH4 0x70a08231 00001120: SWAP2 00001121: PUSH1 0x24 00001123: DUP1 00001124: DUP4 00001125: ADD 00001126: SWAP3 00001127: PUSH1 0x20 00001129: SWAP3 0000112a: SWAP2 0000112b: SWAP1 0000112c: DUP3 0000112d: SWAP1 0000112e: SUB 0000112f: ADD 00001130: DUP2 00001131: DUP7 00001132: DUP1 00001133: EXTCODESIZE 00001134: ISZERO 00001135: DUP1 00001136: ISZERO 00001137: PUSH2 0x113f 0000113a: JUMPI 0000113b: PUSH1 0x00 0000113d: DUP1 0000113e: REVERT 0000113f: JUMPDEST 00001140: POP 00001141: GAS 00001142: STATICCALL 00001143: ISZERO 00001144: DUP1 00001145: ISZERO 00001146: PUSH2 0x1153 00001149: JUMPI 0000114a: RETURNDATASIZE 0000114b: PUSH1 0x00 0000114d: DUP1 0000114e: RETURNDATACOPY 0000114f: RETURNDATASIZE 00001150: PUSH1 0x00 00001152: REVERT 00001153: JUMPDEST 00001154: POP 00001155: POP 00001156: POP 00001157: POP 00001158: PUSH1 0x40 0000115a: MLOAD 0000115b: RETURNDATASIZE 0000115c: PUSH1 0x20 0000115e: DUP2 0000115f: LT 00001160: ISZERO 00001161: PUSH2 0x1169 00001164: JUMPI 00001165: PUSH1 0x00 00001167: DUP1 00001168: REVERT 00001169: JUMPDEST 0000116a: POP 0000116b: MLOAD 0000116c: ADDRESS 0000116d: PUSH1 0x00 0000116f: SWAP1 00001170: DUP2 00001171: MSTORE 00001172: PUSH1 0x01 00001174: PUSH1 0x20 00001176: MSTORE 00001177: PUSH1 0x40 00001179: DUP2 0000117a: KECCAK256 0000117b: SLOAD 0000117c: SWAP2 0000117d: SWAP3 0000117e: POP 0000117f: PUSH2 0x1188 00001182: DUP9 00001183: DUP9 00001184: PUSH2 0x1e15 00001187: JUMP 00001188: JUMPDEST 00001189: PUSH1 0x00 0000118b: SLOAD 0000118c: SWAP1 0000118d: SWAP2 0000118e: POP 0000118f: DUP1 00001190: PUSH2 0x119f 00001193: DUP5 00001194: DUP8 00001195: PUSH4 0xffffffff 0000119a: PUSH2 0x1a83 0000119d: AND 0000119e: JUMP 0000119f: JUMPDEST 000011a0: DUP2 000011a1: PUSH2 0x11a6 000011a4: JUMPI 000011a5: INVALID 000011a6: JUMPDEST 000011a7: DIV 000011a8: SWAP11 000011a9: POP 000011aa: DUP1 000011ab: PUSH2 0x11ba 000011ae: DUP5 000011af: DUP7 000011b0: PUSH4 0xffffffff 000011b5: PUSH2 0x1a83 000011b8: AND 000011b9: JUMP 000011ba: JUMPDEST 000011bb: DUP2 000011bc: PUSH2 0x11c1 000011bf: JUMPI 000011c0: INVALID 000011c1: JUMPDEST 000011c2: DIV 000011c3: SWAP10 000011c4: POP 000011c5: PUSH1 0x00 000011c7: DUP12 000011c8: GT 000011c9: DUP1 000011ca: ISZERO 000011cb: PUSH2 0x11d4 000011ce: JUMPI 000011cf: POP 000011d0: PUSH1 0x00 000011d2: DUP11 000011d3: GT 000011d4: JUMPDEST 000011d5: PUSH2 0x120f 000011d8: JUMPI 000011d9: PUSH1 0x40 000011db: MLOAD 000011dc: PUSH3 0x461bcd 000011e0: PUSH1 0xe5 000011e2: SHL 000011e3: DUP2 000011e4: MSTORE 000011e5: PUSH1 0x04 000011e7: ADD 000011e8: DUP1 000011e9: DUP1 000011ea: PUSH1 0x20 000011ec: ADD 000011ed: DUP3 000011ee: DUP2 000011ef: SUB 000011f0: DUP3 000011f1: MSTORE 000011f2: PUSH1 0x26 000011f4: DUP2 000011f5: MSTORE 000011f6: PUSH1 0x20 000011f8: ADD 000011f9: DUP1 000011fa: PUSH2 0x225a 000011fd: PUSH1 0x26 000011ff: SWAP2 00001200: CODECOPY 00001201: PUSH1 0x40 00001203: ADD 00001204: SWAP2 00001205: POP 00001206: POP 00001207: PUSH1 0x40 00001209: MLOAD 0000120a: DUP1 0000120b: SWAP2 0000120c: SUB 0000120d: SWAP1 0000120e: REVERT 0000120f: JUMPDEST 00001210: PUSH2 0x1219 00001213: ADDRESS 00001214: DUP5 00001215: PUSH2 0x20ec 00001218: JUMP 00001219: JUMPDEST 0000121a: PUSH2 0x1224 0000121d: DUP8 0000121e: DUP14 0000121f: DUP14 00001220: PUSH2 0x18e9 00001223: JUMP 00001224: JUMPDEST 00001225: PUSH2 0x122f 00001228: DUP7 00001229: DUP14 0000122a: DUP13 0000122b: PUSH2 0x18e9 0000122e: JUMP 0000122f: JUMPDEST 00001230: PUSH1 0x40 00001232: DUP1 00001233: MLOAD 00001234: PUSH4 0x70a08231 00001239: PUSH1 0xe0 0000123b: SHL 0000123c: DUP2 0000123d: MSTORE 0000123e: ADDRESS 0000123f: PUSH1 0x04 00001241: DUP3 00001242: ADD 00001243: MSTORE 00001244: SWAP1 00001245: MLOAD 00001246: PUSH1 0x01 00001248: PUSH1 0x01 0000124a: PUSH1 0xa0 0000124c: SHL 0000124d: SUB 0000124e: DUP10 0000124f: AND 00001250: SWAP2 00001251: PUSH4 0x70a08231 00001256: SWAP2 00001257: PUSH1 0x24 00001259: DUP1 0000125a: DUP4 0000125b: ADD 0000125c: SWAP3 0000125d: PUSH1 0x20 0000125f: SWAP3 00001260: SWAP2 00001261: SWAP1 00001262: DUP3 00001263: SWAP1 00001264: SUB 00001265: ADD 00001266: DUP2 00001267: DUP7 00001268: DUP1 00001269: EXTCODESIZE 0000126a: ISZERO 0000126b: DUP1 0000126c: ISZERO 0000126d: PUSH2 0x1275 00001270: JUMPI 00001271: PUSH1 0x00 00001273: DUP1 00001274: REVERT 00001275: JUMPDEST 00001276: POP 00001277: GAS 00001278: STATICCALL 00001279: ISZERO 0000127a: DUP1 0000127b: ISZERO 0000127c: PUSH2 0x1289 0000127f: JUMPI 00001280: RETURNDATASIZE 00001281: PUSH1 0x00 00001283: DUP1 00001284: RETURNDATACOPY 00001285: RETURNDATASIZE 00001286: PUSH1 0x00 00001288: REVERT 00001289: JUMPDEST 0000128a: POP 0000128b: POP 0000128c: POP 0000128d: POP 0000128e: PUSH1 0x40 00001290: MLOAD 00001291: RETURNDATASIZE 00001292: PUSH1 0x20 00001294: DUP2 00001295: LT 00001296: ISZERO 00001297: PUSH2 0x129f 0000129a: JUMPI 0000129b: PUSH1 0x00 0000129d: DUP1 0000129e: REVERT 0000129f: JUMPDEST 000012a0: POP 000012a1: MLOAD 000012a2: PUSH1 0x40 000012a4: DUP1 000012a5: MLOAD 000012a6: PUSH4 0x70a08231 000012ab: PUSH1 0xe0 000012ad: SHL 000012ae: DUP2 000012af: MSTORE 000012b0: ADDRESS 000012b1: PUSH1 0x04 000012b3: DUP3 000012b4: ADD 000012b5: MSTORE 000012b6: SWAP1 000012b7: MLOAD 000012b8: SWAP2 000012b9: SWAP7 000012ba: POP 000012bb: PUSH1 0x01 000012bd: PUSH1 0x01 000012bf: PUSH1 0xa0 000012c1: SHL 000012c2: SUB 000012c3: DUP9 000012c4: AND 000012c5: SWAP2 000012c6: PUSH4 0x70a08231 000012cb: SWAP2 000012cc: PUSH1 0x24 000012ce: DUP1 000012cf: DUP3 000012d0: ADD 000012d1: SWAP3 000012d2: PUSH1 0x20 000012d4: SWAP3 000012d5: SWAP1 000012d6: SWAP2 000012d7: SWAP1 000012d8: DUP3 000012d9: SWAP1 000012da: SUB 000012db: ADD 000012dc: DUP2 000012dd: DUP7 000012de: DUP1 000012df: EXTCODESIZE 000012e0: ISZERO 000012e1: DUP1 000012e2: ISZERO 000012e3: PUSH2 0x12eb 000012e6: JUMPI 000012e7: PUSH1 0x00 000012e9: DUP1 000012ea: REVERT 000012eb: JUMPDEST 000012ec: POP 000012ed: GAS 000012ee: STATICCALL 000012ef: ISZERO 000012f0: DUP1 000012f1: ISZERO 000012f2: PUSH2 0x12ff 000012f5: JUMPI 000012f6: RETURNDATASIZE 000012f7: PUSH1 0x00 000012f9: DUP1 000012fa: RETURNDATACOPY 000012fb: RETURNDATASIZE 000012fc: PUSH1 0x00 000012fe: REVERT 000012ff: JUMPDEST 00001300: POP 00001301: POP 00001302: POP 00001303: POP 00001304: PUSH1 0x40 00001306: MLOAD 00001307: RETURNDATASIZE 00001308: PUSH1 0x20 0000130a: DUP2 0000130b: LT 0000130c: ISZERO 0000130d: PUSH2 0x1315 00001310: JUMPI 00001311: PUSH1 0x00 00001313: DUP1 00001314: REVERT 00001315: JUMPDEST 00001316: POP 00001317: MLOAD 00001318: SWAP4 00001319: POP 0000131a: PUSH2 0x1325 0000131d: DUP6 0000131e: DUP6 0000131f: DUP12 00001320: DUP12 00001321: PUSH2 0x1b36 00001324: JUMP 00001325: JUMPDEST 00001326: DUP2 00001327: ISZERO 00001328: PUSH2 0x1355 0000132b: JUMPI 0000132c: PUSH1 0x08 0000132e: SLOAD 0000132f: PUSH2 0x1351 00001332: SWAP1 00001333: PUSH1 0x01 00001335: PUSH1 0x01 00001337: PUSH1 0x70 00001339: SHL 0000133a: SUB 0000133b: DUP1 0000133c: DUP3 0000133d: AND 0000133e: SWAP2 0000133f: PUSH1 0x01 00001341: PUSH1 0x70 00001343: SHL 00001344: SWAP1 00001345: DIV 00001346: AND 00001347: PUSH4 0xffffffff 0000134c: PUSH2 0x1a83 0000134f: AND 00001350: JUMP 00001351: JUMPDEST 00001352: PUSH1 0x0b 00001354: SSTORE 00001355: JUMPDEST 00001356: PUSH1 0x40 00001358: DUP1 00001359: MLOAD 0000135a: DUP13 0000135b: DUP2 0000135c: MSTORE 0000135d: PUSH1 0x20 0000135f: DUP2 00001360: ADD 00001361: DUP13 00001362: SWAP1 00001363: MSTORE 00001364: DUP2 00001365: MLOAD 00001366: PUSH1 0x01 00001368: PUSH1 0x01 0000136a: PUSH1 0xa0 0000136c: SHL 0000136d: SUB 0000136e: DUP16 0000136f: AND 00001370: SWAP3 00001371: CALLER 00001372: SWAP3 00001373: PUSH32 0xdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496 00001394: SWAP3 00001395: SWAP1 00001396: DUP2 00001397: SWAP1 00001398: SUB 00001399: SWAP1 0000139a: SWAP2 0000139b: ADD 0000139c: SWAP1 0000139d: LOG3 0000139e: POP 0000139f: POP 000013a0: POP 000013a1: POP 000013a2: POP 000013a3: POP 000013a4: POP 000013a5: POP 000013a6: POP 000013a7: PUSH1 0x01 000013a9: PUSH1 0x0c 000013ab: DUP2 000013ac: SWAP1 000013ad: SSTORE 000013ae: POP 000013af: SWAP2 000013b0: POP 000013b1: SWAP2 000013b2: JUMP 000013b3: JUMPDEST 000013b4: PUSH1 0x40 000013b6: MLOAD 000013b7: DUP1 000013b8: PUSH1 0x40 000013ba: ADD 000013bb: PUSH1 0x40 000013bd: MSTORE 000013be: DUP1 000013bf: PUSH1 0x03 000013c1: DUP2 000013c2: MSTORE 000013c3: PUSH1 0x20 000013c5: ADD 000013c6: PUSH3 0x0554c5 000013ca: PUSH1 0xec 000013cc: SHL 000013cd: DUP2 000013ce: MSTORE 000013cf: POP 000013d0: DUP2 000013d1: JUMP 000013d2: JUMPDEST 000013d3: PUSH1 0x00 000013d5: PUSH2 0x0b71 000013d8: CALLER 000013d9: DUP5 000013da: DUP5 000013db: PUSH2 0x1d5b 000013de: JUMP 000013df: JUMPDEST 000013e0: PUSH2 0x03e8 000013e3: DUP2 000013e4: JUMP 000013e5: JUMPDEST 000013e6: PUSH1 0x0c 000013e8: SLOAD 000013e9: PUSH1 0x01 000013eb: EQ 000013ec: PUSH2 0x142e 000013ef: JUMPI 000013f0: PUSH1 0x40 000013f2: DUP1 000013f3: MLOAD 000013f4: PUSH3 0x461bcd 000013f8: PUSH1 0xe5 000013fa: SHL 000013fb: DUP2 000013fc: MSTORE 000013fd: PUSH1 0x20 000013ff: PUSH1 0x04 00001401: DUP3 00001402: ADD 00001403: MSTORE 00001404: PUSH1 0x0f 00001406: PUSH1 0x24 00001408: DUP3 00001409: ADD 0000140a: MSTORE 0000140b: PUSH15 0x165bdd54ddd85c0e881313d0d2d151 0000141b: PUSH1 0x8a 0000141d: SHL 0000141e: PUSH1 0x44 00001420: DUP3 00001421: ADD 00001422: MSTORE 00001423: SWAP1 00001424: MLOAD 00001425: SWAP1 00001426: DUP2 00001427: SWAP1 00001428: SUB 00001429: PUSH1 0x64 0000142b: ADD 0000142c: SWAP1 0000142d: REVERT 0000142e: JUMPDEST 0000142f: PUSH1 0x00 00001431: PUSH1 0x0c 00001433: SSTORE 00001434: PUSH1 0x06 00001436: SLOAD 00001437: PUSH1 0x07 00001439: SLOAD 0000143a: PUSH1 0x08 0000143c: SLOAD 0000143d: PUSH1 0x40 0000143f: DUP1 00001440: MLOAD 00001441: PUSH4 0x70a08231 00001446: PUSH1 0xe0 00001448: SHL 00001449: DUP2 0000144a: MSTORE 0000144b: ADDRESS 0000144c: PUSH1 0x04 0000144e: DUP3 0000144f: ADD 00001450: MSTORE 00001451: SWAP1 00001452: MLOAD 00001453: PUSH1 0x01 00001455: PUSH1 0x01 00001457: PUSH1 0xa0 00001459: SHL 0000145a: SUB 0000145b: SWAP5 0000145c: DUP6 0000145d: AND 0000145e: SWAP5 0000145f: SWAP1 00001460: SWAP4 00001461: AND 00001462: SWAP3 00001463: PUSH2 0x14dd 00001466: SWAP3 00001467: DUP6 00001468: SWAP3 00001469: DUP8 0000146a: SWAP3 0000146b: PUSH2 0x14d8 0000146e: SWAP3 0000146f: PUSH1 0x01 00001471: PUSH1 0x01 00001473: PUSH1 0x70 00001475: SHL 00001476: SUB 00001477: AND 00001478: SWAP2 00001479: DUP6 0000147a: SWAP2 0000147b: PUSH4 0x70a08231 00001480: SWAP2 00001481: PUSH1 0x24 00001483: DUP1 00001484: DUP3 00001485: ADD 00001486: SWAP3 00001487: PUSH1 0x20 00001489: SWAP3 0000148a: SWAP1 0000148b: SWAP2 0000148c: SWAP1 0000148d: DUP3 0000148e: SWAP1 0000148f: SUB 00001490: ADD 00001491: DUP2 00001492: DUP7 00001493: DUP1 00001494: EXTCODESIZE 00001495: ISZERO 00001496: DUP1 00001497: ISZERO 00001498: PUSH2 0x14a0 0000149b: JUMPI 0000149c: PUSH1 0x00 0000149e: DUP1 0000149f: REVERT 000014a0: JUMPDEST 000014a1: POP 000014a2: GAS 000014a3: STATICCALL 000014a4: ISZERO 000014a5: DUP1 000014a6: ISZERO 000014a7: PUSH2 0x14b4 000014aa: JUMPI 000014ab: RETURNDATASIZE 000014ac: PUSH1 0x00 000014ae: DUP1 000014af: RETURNDATACOPY 000014b0: RETURNDATASIZE 000014b1: PUSH1 0x00 000014b3: REVERT 000014b4: JUMPDEST 000014b5: POP 000014b6: POP 000014b7: POP 000014b8: POP 000014b9: PUSH1 0x40 000014bb: MLOAD 000014bc: RETURNDATASIZE 000014bd: PUSH1 0x20 000014bf: DUP2 000014c0: LT 000014c1: ISZERO 000014c2: PUSH2 0x14ca 000014c5: JUMPI 000014c6: PUSH1 0x00 000014c8: DUP1 000014c9: REVERT 000014ca: JUMPDEST 000014cb: POP 000014cc: MLOAD 000014cd: SWAP1 000014ce: PUSH4 0xffffffff 000014d3: PUSH2 0x1ae6 000014d6: AND 000014d7: JUMP 000014d8: JUMPDEST 000014d9: PUSH2 0x18e9 000014dc: JUMP 000014dd: JUMPDEST 000014de: PUSH1 0x08 000014e0: SLOAD 000014e1: PUSH1 0x40 000014e3: DUP1 000014e4: MLOAD 000014e5: PUSH4 0x70a08231 000014ea: PUSH1 0xe0 000014ec: SHL 000014ed: DUP2 000014ee: MSTORE 000014ef: ADDRESS 000014f0: PUSH1 0x04 000014f2: DUP3 000014f3: ADD 000014f4: MSTORE 000014f5: SWAP1 000014f6: MLOAD 000014f7: PUSH2 0x1544 000014fa: SWAP3 000014fb: DUP5 000014fc: SWAP3 000014fd: DUP8 000014fe: SWAP3 000014ff: PUSH2 0x14d8 00001502: SWAP3 00001503: PUSH1 0x01 00001505: PUSH1 0x70 00001507: SHL 00001508: SWAP1 00001509: DIV 0000150a: PUSH1 0x01 0000150c: PUSH1 0x01 0000150e: PUSH1 0x70 00001510: SHL 00001511: SUB 00001512: AND 00001513: SWAP2 00001514: PUSH1 0x01 00001516: PUSH1 0x01 00001518: PUSH1 0xa0 0000151a: SHL 0000151b: SUB 0000151c: DUP7 0000151d: AND 0000151e: SWAP2 0000151f: PUSH4 0x70a08231 00001524: SWAP2 00001525: PUSH1 0x24 00001527: DUP1 00001528: DUP3 00001529: ADD 0000152a: SWAP3 0000152b: PUSH1 0x20 0000152d: SWAP3 0000152e: SWAP1 0000152f: SWAP2 00001530: SWAP1 00001531: DUP3 00001532: SWAP1 00001533: SUB 00001534: ADD 00001535: DUP2 00001536: DUP7 00001537: DUP1 00001538: EXTCODESIZE 00001539: ISZERO 0000153a: DUP1 0000153b: ISZERO 0000153c: PUSH2 0x14a0 0000153f: JUMPI 00001540: PUSH1 0x00 00001542: DUP1 00001543: REVERT 00001544: JUMPDEST 00001545: POP 00001546: POP 00001547: PUSH1 0x01 00001549: PUSH1 0x0c 0000154b: SSTORE 0000154c: POP 0000154d: JUMP 0000154e: JUMPDEST 0000154f: PUSH1 0x05 00001551: SLOAD 00001552: PUSH1 0x01 00001554: PUSH1 0x01 00001556: PUSH1 0xa0 00001558: SHL 00001559: SUB 0000155a: AND 0000155b: DUP2 0000155c: JUMP 0000155d: JUMPDEST 0000155e: PUSH1 0x07 00001560: SLOAD 00001561: PUSH1 0x01 00001563: PUSH1 0x01 00001565: PUSH1 0xa0 00001567: SHL 00001568: SUB 00001569: AND 0000156a: DUP2 0000156b: JUMP 0000156c: JUMPDEST 0000156d: TIMESTAMP 0000156e: DUP5 0000156f: LT 00001570: ISZERO 00001571: PUSH2 0x15b4 00001574: JUMPI 00001575: PUSH1 0x40 00001577: DUP1 00001578: MLOAD 00001579: PUSH3 0x461bcd 0000157d: PUSH1 0xe5 0000157f: SHL 00001580: DUP2 00001581: MSTORE 00001582: PUSH1 0x20 00001584: PUSH1 0x04 00001586: DUP3 00001587: ADD 00001588: MSTORE 00001589: PUSH1 0x10 0000158b: PUSH1 0x24 0000158d: DUP3 0000158e: ADD 0000158f: MSTORE 00001590: PUSH16 0x165bdd54ddd85c0e8811561412549151 000015a1: PUSH1 0x82 000015a3: SHL 000015a4: PUSH1 0x44 000015a6: DUP3 000015a7: ADD 000015a8: MSTORE 000015a9: SWAP1 000015aa: MLOAD 000015ab: SWAP1 000015ac: DUP2 000015ad: SWAP1 000015ae: SUB 000015af: PUSH1 0x64 000015b1: ADD 000015b2: SWAP1 000015b3: REVERT 000015b4: JUMPDEST 000015b5: PUSH1 0x03 000015b7: SLOAD 000015b8: PUSH1 0x01 000015ba: PUSH1 0x01 000015bc: PUSH1 0xa0 000015be: SHL 000015bf: SUB 000015c0: DUP1 000015c1: DUP10 000015c2: AND 000015c3: PUSH1 0x00 000015c5: DUP2 000015c6: DUP2 000015c7: MSTORE 000015c8: PUSH1 0x04 000015ca: PUSH1 0x20 000015cc: SWAP1 000015cd: DUP2 000015ce: MSTORE 000015cf: PUSH1 0x40 000015d1: DUP1 000015d2: DUP4 000015d3: KECCAK256 000015d4: DUP1 000015d5: SLOAD 000015d6: PUSH1 0x01 000015d8: DUP1 000015d9: DUP3 000015da: ADD 000015db: SWAP1 000015dc: SWAP3 000015dd: SSTORE 000015de: DUP3 000015df: MLOAD 000015e0: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9 00001601: DUP2 00001602: DUP7 00001603: ADD 00001604: MSTORE 00001605: DUP1 00001606: DUP5 00001607: ADD 00001608: SWAP7 00001609: SWAP1 0000160a: SWAP7 0000160b: MSTORE 0000160c: SWAP6 0000160d: DUP14 0000160e: AND 0000160f: PUSH1 0x60 00001611: DUP7 00001612: ADD 00001613: MSTORE 00001614: PUSH1 0x80 00001616: DUP6 00001617: ADD 00001618: DUP13 00001619: SWAP1 0000161a: MSTORE 0000161b: PUSH1 0xa0 0000161d: DUP6 0000161e: ADD 0000161f: SWAP6 00001620: SWAP1 00001621: SWAP6 00001622: MSTORE 00001623: PUSH1 0xc0 00001625: DUP1 00001626: DUP6 00001627: ADD 00001628: DUP12 00001629: SWAP1 0000162a: MSTORE 0000162b: DUP2 0000162c: MLOAD 0000162d: DUP1 0000162e: DUP7 0000162f: SUB 00001630: SWAP1 00001631: SWAP2 00001632: ADD 00001633: DUP2 00001634: MSTORE 00001635: PUSH1 0xe0 00001637: DUP6 00001638: ADD 00001639: DUP3 0000163a: MSTORE 0000163b: DUP1 0000163c: MLOAD 0000163d: SWAP1 0000163e: DUP4 0000163f: ADD 00001640: KECCAK256 00001641: PUSH2 0x1901 00001644: PUSH1 0xf0 00001646: SHL 00001647: PUSH2 0x0100 0000164a: DUP7 0000164b: ADD 0000164c: MSTORE 0000164d: PUSH2 0x0102 00001650: DUP6 00001651: ADD 00001652: SWAP7 00001653: SWAP1 00001654: SWAP7 00001655: MSTORE 00001656: PUSH2 0x0122 00001659: DUP1 0000165a: DUP6 0000165b: ADD 0000165c: SWAP7 0000165d: SWAP1 0000165e: SWAP7 0000165f: MSTORE 00001660: DUP1 00001661: MLOAD 00001662: DUP1 00001663: DUP6 00001664: SUB 00001665: SWAP1 00001666: SWAP7 00001667: ADD 00001668: DUP7 00001669: MSTORE 0000166a: PUSH2 0x0142 0000166d: DUP5 0000166e: ADD 0000166f: DUP1 00001670: DUP3 00001671: MSTORE 00001672: DUP7 00001673: MLOAD 00001674: SWAP7 00001675: DUP4 00001676: ADD 00001677: SWAP7 00001678: SWAP1 00001679: SWAP7 0000167a: KECCAK256 0000167b: SWAP6 0000167c: DUP4 0000167d: SWAP1 0000167e: MSTORE 0000167f: PUSH2 0x0162 00001682: DUP5 00001683: ADD 00001684: DUP1 00001685: DUP3 00001686: MSTORE 00001687: DUP7 00001688: SWAP1 00001689: MSTORE 0000168a: PUSH1 0xff 0000168c: DUP10 0000168d: AND 0000168e: PUSH2 0x0182 00001691: DUP6 00001692: ADD 00001693: MSTORE 00001694: PUSH2 0x01a2 00001697: DUP5 00001698: ADD 00001699: DUP9 0000169a: SWAP1 0000169b: MSTORE 0000169c: PUSH2 0x01c2 0000169f: DUP5 000016a0: ADD 000016a1: DUP8 000016a2: SWAP1 000016a3: MSTORE 000016a4: MLOAD 000016a5: SWAP2 000016a6: SWAP4 000016a7: SWAP3 000016a8: PUSH2 0x01e2 000016ab: DUP1 000016ac: DUP3 000016ad: ADD 000016ae: SWAP4 000016af: PUSH1 0x1f 000016b1: NOT 000016b2: DUP2 000016b3: ADD 000016b4: SWAP3 000016b5: DUP2 000016b6: SWAP1 000016b7: SUB 000016b8: SWAP1 000016b9: SWAP2 000016ba: ADD 000016bb: SWAP1 000016bc: DUP6 000016bd: GAS 000016be: STATICCALL 000016bf: ISZERO 000016c0: DUP1 000016c1: ISZERO 000016c2: PUSH2 0x16cf 000016c5: JUMPI 000016c6: RETURNDATASIZE 000016c7: PUSH1 0x00 000016c9: DUP1 000016ca: RETURNDATACOPY 000016cb: RETURNDATASIZE 000016cc: PUSH1 0x00 000016ce: REVERT 000016cf: JUMPDEST 000016d0: POP 000016d1: POP 000016d2: PUSH1 0x40 000016d4: MLOAD 000016d5: PUSH1 0x1f 000016d7: NOT 000016d8: ADD 000016d9: MLOAD 000016da: SWAP2 000016db: POP 000016dc: POP 000016dd: PUSH1 0x01 000016df: PUSH1 0x01 000016e1: PUSH1 0xa0 000016e3: SHL 000016e4: SUB 000016e5: DUP2 000016e6: AND 000016e7: ISZERO 000016e8: DUP1 000016e9: ISZERO 000016ea: SWAP1 000016eb: PUSH2 0x1705 000016ee: JUMPI 000016ef: POP 000016f0: DUP9 000016f1: PUSH1 0x01 000016f3: PUSH1 0x01 000016f5: PUSH1 0xa0 000016f7: SHL 000016f8: SUB 000016f9: AND 000016fa: DUP2 000016fb: PUSH1 0x01 000016fd: PUSH1 0x01 000016ff: PUSH1 0xa0 00001701: SHL 00001702: SUB 00001703: AND 00001704: EQ 00001705: JUMPDEST 00001706: PUSH2 0x1756 00001709: JUMPI 0000170a: PUSH1 0x40 0000170c: DUP1 0000170d: MLOAD 0000170e: PUSH3 0x461bcd 00001712: PUSH1 0xe5 00001714: SHL 00001715: DUP2 00001716: MSTORE 00001717: PUSH1 0x20 00001719: PUSH1 0x04 0000171b: DUP3 0000171c: ADD 0000171d: MSTORE 0000171e: PUSH1 0x1a 00001720: PUSH1 0x24 00001722: DUP3 00001723: ADD 00001724: MSTORE 00001725: PUSH32 0x596f75537761703a20494e56414c49445f5349474e4154555245000000000000 00001746: PUSH1 0x44 00001748: DUP3 00001749: ADD 0000174a: MSTORE 0000174b: SWAP1 0000174c: MLOAD 0000174d: SWAP1 0000174e: DUP2 0000174f: SWAP1 00001750: SUB 00001751: PUSH1 0x64 00001753: ADD 00001754: SWAP1 00001755: REVERT 00001756: JUMPDEST 00001757: PUSH2 0x1761 0000175a: DUP10 0000175b: DUP10 0000175c: DUP10 0000175d: PUSH2 0x1cf9 00001760: JUMP 00001761: JUMPDEST 00001762: POP 00001763: POP 00001764: POP 00001765: POP 00001766: POP 00001767: POP 00001768: POP 00001769: POP 0000176a: POP 0000176b: JUMP 0000176c: JUMPDEST 0000176d: PUSH1 0x02 0000176f: PUSH1 0x20 00001771: SWAP1 00001772: DUP2 00001773: MSTORE 00001774: PUSH1 0x00 00001776: SWAP3 00001777: DUP4 00001778: MSTORE 00001779: PUSH1 0x40 0000177b: DUP1 0000177c: DUP5 0000177d: KECCAK256 0000177e: SWAP1 0000177f: SWAP2 00001780: MSTORE 00001781: SWAP1 00001782: DUP3 00001783: MSTORE 00001784: SWAP1 00001785: KECCAK256 00001786: SLOAD 00001787: DUP2 00001788: JUMP 00001789: JUMPDEST 0000178a: PUSH1 0x0c 0000178c: SLOAD 0000178d: PUSH1 0x01 0000178f: EQ 00001790: PUSH2 0x17d2 00001793: JUMPI 00001794: PUSH1 0x40 00001796: DUP1 00001797: MLOAD 00001798: PUSH3 0x461bcd 0000179c: PUSH1 0xe5 0000179e: SHL 0000179f: DUP2 000017a0: MSTORE 000017a1: PUSH1 0x20 000017a3: PUSH1 0x04 000017a5: DUP3 000017a6: ADD 000017a7: MSTORE 000017a8: PUSH1 0x0f 000017aa: PUSH1 0x24 000017ac: DUP3 000017ad: ADD 000017ae: MSTORE 000017af: PUSH15 0x165bdd54ddd85c0e881313d0d2d151 000017bf: PUSH1 0x8a 000017c1: SHL 000017c2: PUSH1 0x44 000017c4: DUP3 000017c5: ADD 000017c6: MSTORE 000017c7: SWAP1 000017c8: MLOAD 000017c9: SWAP1 000017ca: DUP2 000017cb: SWAP1 000017cc: SUB 000017cd: PUSH1 0x64 000017cf: ADD 000017d0: SWAP1 000017d1: REVERT 000017d2: JUMPDEST 000017d3: PUSH1 0x00 000017d5: PUSH1 0x0c 000017d7: SSTORE 000017d8: PUSH1 0x06 000017da: SLOAD 000017db: PUSH1 0x40 000017dd: DUP1 000017de: MLOAD 000017df: PUSH4 0x70a08231 000017e4: PUSH1 0xe0 000017e6: SHL 000017e7: DUP2 000017e8: MSTORE 000017e9: ADDRESS 000017ea: PUSH1 0x04 000017ec: DUP3 000017ed: ADD 000017ee: MSTORE 000017ef: SWAP1 000017f0: MLOAD 000017f1: PUSH2 0x18e2 000017f4: SWAP3 000017f5: PUSH1 0x01 000017f7: PUSH1 0x01 000017f9: PUSH1 0xa0 000017fb: SHL 000017fc: SUB 000017fd: AND 000017fe: SWAP2 000017ff: PUSH4 0x70a08231 00001804: SWAP2 00001805: PUSH1 0x24 00001807: DUP1 00001808: DUP4 00001809: ADD 0000180a: SWAP3 0000180b: PUSH1 0x20 0000180d: SWAP3 0000180e: SWAP2 0000180f: SWAP1 00001810: DUP3 00001811: SWAP1 00001812: SUB 00001813: ADD 00001814: DUP2 00001815: DUP7 00001816: DUP1 00001817: EXTCODESIZE 00001818: ISZERO 00001819: DUP1 0000181a: ISZERO 0000181b: PUSH2 0x1823 0000181e: JUMPI 0000181f: PUSH1 0x00 00001821: DUP1 00001822: REVERT 00001823: JUMPDEST 00001824: POP 00001825: GAS 00001826: STATICCALL 00001827: ISZERO 00001828: DUP1 00001829: ISZERO 0000182a: PUSH2 0x1837 0000182d: JUMPI 0000182e: RETURNDATASIZE 0000182f: PUSH1 0x00 00001831: DUP1 00001832: RETURNDATACOPY 00001833: RETURNDATASIZE 00001834: PUSH1 0x00 00001836: REVERT 00001837: JUMPDEST 00001838: POP 00001839: POP 0000183a: POP 0000183b: POP 0000183c: PUSH1 0x40 0000183e: MLOAD 0000183f: RETURNDATASIZE 00001840: PUSH1 0x20 00001842: DUP2 00001843: LT 00001844: ISZERO 00001845: PUSH2 0x184d 00001848: JUMPI 00001849: PUSH1 0x00 0000184b: DUP1 0000184c: REVERT 0000184d: JUMPDEST 0000184e: POP 0000184f: MLOAD 00001850: PUSH1 0x07 00001852: SLOAD 00001853: PUSH1 0x40 00001855: DUP1 00001856: MLOAD 00001857: PUSH4 0x70a08231 0000185c: PUSH1 0xe0 0000185e: SHL 0000185f: DUP2 00001860: MSTORE 00001861: ADDRESS 00001862: PUSH1 0x04 00001864: DUP3 00001865: ADD 00001866: MSTORE 00001867: SWAP1 00001868: MLOAD 00001869: PUSH1 0x01 0000186b: PUSH1 0x01 0000186d: PUSH1 0xa0 0000186f: SHL 00001870: SUB 00001871: SWAP1 00001872: SWAP3 00001873: AND 00001874: SWAP2 00001875: PUSH4 0x70a08231 0000187a: SWAP2 0000187b: PUSH1 0x24 0000187d: DUP1 0000187e: DUP3 0000187f: ADD 00001880: SWAP3 00001881: PUSH1 0x20 00001883: SWAP3 00001884: SWAP1 00001885: SWAP2 00001886: SWAP1 00001887: DUP3 00001888: SWAP1 00001889: SUB 0000188a: ADD 0000188b: DUP2 0000188c: DUP7 0000188d: DUP1 0000188e: EXTCODESIZE 0000188f: ISZERO 00001890: DUP1 00001891: ISZERO 00001892: PUSH2 0x189a 00001895: JUMPI 00001896: PUSH1 0x00 00001898: DUP1 00001899: REVERT 0000189a: JUMPDEST 0000189b: POP 0000189c: GAS 0000189d: STATICCALL 0000189e: ISZERO 0000189f: DUP1 000018a0: ISZERO 000018a1: PUSH2 0x18ae 000018a4: JUMPI 000018a5: RETURNDATASIZE 000018a6: PUSH1 0x00 000018a8: DUP1 000018a9: RETURNDATACOPY 000018aa: RETURNDATASIZE 000018ab: PUSH1 0x00 000018ad: REVERT 000018ae: JUMPDEST 000018af: POP 000018b0: POP 000018b1: POP 000018b2: POP 000018b3: PUSH1 0x40 000018b5: MLOAD 000018b6: RETURNDATASIZE 000018b7: PUSH1 0x20 000018b9: DUP2 000018ba: LT 000018bb: ISZERO 000018bc: PUSH2 0x18c4 000018bf: JUMPI 000018c0: PUSH1 0x00 000018c2: DUP1 000018c3: REVERT 000018c4: JUMPDEST 000018c5: POP 000018c6: MLOAD 000018c7: PUSH1 0x08 000018c9: SLOAD 000018ca: PUSH1 0x01 000018cc: PUSH1 0x01 000018ce: PUSH1 0x70 000018d0: SHL 000018d1: SUB 000018d2: DUP1 000018d3: DUP3 000018d4: AND 000018d5: SWAP2 000018d6: PUSH1 0x01 000018d8: PUSH1 0x70 000018da: SHL 000018db: SWAP1 000018dc: DIV 000018dd: AND 000018de: PUSH2 0x1b36 000018e1: JUMP 000018e2: JUMPDEST 000018e3: PUSH1 0x01 000018e5: PUSH1 0x0c 000018e7: SSTORE 000018e8: JUMP 000018e9: JUMPDEST 000018ea: PUSH1 0x40 000018ec: DUP1 000018ed: MLOAD 000018ee: DUP1 000018ef: DUP3 000018f0: ADD 000018f1: DUP3 000018f2: MSTORE 000018f3: PUSH1 0x19 000018f5: DUP2 000018f6: MSTORE 000018f7: PUSH32 0x7472616e7366657228616464726573732c75696e743235362900000000000000 00001918: PUSH1 0x20 0000191a: SWAP2 0000191b: DUP3 0000191c: ADD 0000191d: MSTORE 0000191e: DUP2 0000191f: MLOAD 00001920: PUSH1 0x01 00001922: PUSH1 0x01 00001924: PUSH1 0xa0 00001926: SHL 00001927: SUB 00001928: DUP6 00001929: DUP2 0000192a: AND 0000192b: PUSH1 0x24 0000192d: DUP4 0000192e: ADD 0000192f: MSTORE 00001930: PUSH1 0x44 00001932: DUP1 00001933: DUP4 00001934: ADD 00001935: DUP7 00001936: SWAP1 00001937: MSTORE 00001938: DUP5 00001939: MLOAD 0000193a: DUP1 0000193b: DUP5 0000193c: SUB 0000193d: SWAP1 0000193e: SWAP2 0000193f: ADD 00001940: DUP2 00001941: MSTORE 00001942: PUSH1 0x64 00001944: SWAP1 00001945: SWAP3 00001946: ADD 00001947: DUP5 00001948: MSTORE 00001949: SWAP2 0000194a: DUP2 0000194b: ADD 0000194c: DUP1 0000194d: MLOAD 0000194e: PUSH1 0x01 00001950: PUSH1 0x01 00001952: PUSH1 0xe0 00001954: SHL 00001955: SUB 00001956: AND 00001957: PUSH4 0xa9059cbb 0000195c: PUSH1 0xe0 0000195e: SHL 0000195f: OR 00001960: DUP2 00001961: MSTORE 00001962: SWAP3 00001963: MLOAD 00001964: DUP2 00001965: MLOAD 00001966: PUSH1 0x00 00001968: SWAP5 00001969: PUSH1 0x60 0000196b: SWAP5 0000196c: DUP10 0000196d: AND 0000196e: SWAP4 0000196f: SWAP3 00001970: SWAP2 00001971: DUP3 00001972: SWAP2 00001973: SWAP1 00001974: DUP1 00001975: DUP4 00001976: DUP4 00001977: JUMPDEST 00001978: PUSH1 0x20 0000197a: DUP4 0000197b: LT 0000197c: PUSH2 0x1996 0000197f: JUMPI 00001980: DUP1 00001981: MLOAD 00001982: DUP3 00001983: MSTORE 00001984: PUSH1 0x1f 00001986: NOT 00001987: SWAP1 00001988: SWAP3 00001989: ADD 0000198a: SWAP2 0000198b: PUSH1 0x20 0000198d: SWAP2 0000198e: DUP3 0000198f: ADD 00001990: SWAP2 00001991: ADD 00001992: PUSH2 0x1977 00001995: JUMP 00001996: JUMPDEST 00001997: PUSH1 0x01 00001999: DUP4 0000199a: PUSH1 0x20 0000199c: SUB 0000199d: PUSH2 0x0100 000019a0: EXP 000019a1: SUB 000019a2: DUP1 000019a3: NOT 000019a4: DUP3 000019a5: MLOAD 000019a6: AND 000019a7: DUP2 000019a8: DUP5 000019a9: MLOAD 000019aa: AND 000019ab: DUP1 000019ac: DUP3 000019ad: OR 000019ae: DUP6 000019af: MSTORE 000019b0: POP 000019b1: POP 000019b2: POP 000019b3: POP 000019b4: POP 000019b5: POP 000019b6: SWAP1 000019b7: POP 000019b8: ADD 000019b9: SWAP2 000019ba: POP 000019bb: POP 000019bc: PUSH1 0x00 000019be: PUSH1 0x40 000019c0: MLOAD 000019c1: DUP1 000019c2: DUP4 000019c3: SUB 000019c4: DUP2 000019c5: PUSH1 0x00 000019c7: DUP7 000019c8: GAS 000019c9: CALL 000019ca: SWAP2 000019cb: POP 000019cc: POP 000019cd: RETURNDATASIZE 000019ce: DUP1 000019cf: PUSH1 0x00 000019d1: DUP2 000019d2: EQ 000019d3: PUSH2 0x19f8 000019d6: JUMPI 000019d7: PUSH1 0x40 000019d9: MLOAD 000019da: SWAP2 000019db: POP 000019dc: PUSH1 0x1f 000019de: NOT 000019df: PUSH1 0x3f 000019e1: RETURNDATASIZE 000019e2: ADD 000019e3: AND 000019e4: DUP3 000019e5: ADD 000019e6: PUSH1 0x40 000019e8: MSTORE 000019e9: RETURNDATASIZE 000019ea: DUP3 000019eb: MSTORE 000019ec: RETURNDATASIZE 000019ed: PUSH1 0x00 000019ef: PUSH1 0x20 000019f1: DUP5 000019f2: ADD 000019f3: RETURNDATACOPY 000019f4: PUSH2 0x19fd 000019f7: JUMP 000019f8: JUMPDEST 000019f9: PUSH1 0x60 000019fb: SWAP2 000019fc: POP 000019fd: JUMPDEST 000019fe: POP 000019ff: SWAP2 00001a00: POP 00001a01: SWAP2 00001a02: POP 00001a03: DUP2 00001a04: DUP1 00001a05: ISZERO 00001a06: PUSH2 0x1a2b 00001a09: JUMPI 00001a0a: POP 00001a0b: DUP1 00001a0c: MLOAD 00001a0d: ISZERO 00001a0e: DUP1 00001a0f: PUSH2 0x1a2b 00001a12: JUMPI 00001a13: POP 00001a14: DUP1 00001a15: DUP1 00001a16: PUSH1 0x20 00001a18: ADD 00001a19: SWAP1 00001a1a: MLOAD 00001a1b: PUSH1 0x20 00001a1d: DUP2 00001a1e: LT 00001a1f: ISZERO 00001a20: PUSH2 0x1a28 00001a23: JUMPI 00001a24: PUSH1 0x00 00001a26: DUP1 00001a27: REVERT 00001a28: JUMPDEST 00001a29: POP 00001a2a: MLOAD 00001a2b: JUMPDEST 00001a2c: PUSH2 0x1a7c 00001a2f: JUMPI 00001a30: PUSH1 0x40 00001a32: DUP1 00001a33: MLOAD 00001a34: PUSH3 0x461bcd 00001a38: PUSH1 0xe5 00001a3a: SHL 00001a3b: DUP2 00001a3c: MSTORE 00001a3d: PUSH1 0x20 00001a3f: PUSH1 0x04 00001a41: DUP3 00001a42: ADD 00001a43: MSTORE 00001a44: PUSH1 0x18 00001a46: PUSH1 0x24 00001a48: DUP3 00001a49: ADD 00001a4a: MSTORE 00001a4b: PUSH32 0x596f75537761703a205452414e534645525f4641494c45440000000000000000 00001a6c: PUSH1 0x44 00001a6e: DUP3 00001a6f: ADD 00001a70: MSTORE 00001a71: SWAP1 00001a72: MLOAD 00001a73: SWAP1 00001a74: DUP2 00001a75: SWAP1 00001a76: SUB 00001a77: PUSH1 0x64 00001a79: ADD 00001a7a: SWAP1 00001a7b: REVERT 00001a7c: JUMPDEST 00001a7d: POP 00001a7e: POP 00001a7f: POP 00001a80: POP 00001a81: POP 00001a82: JUMP 00001a83: JUMPDEST 00001a84: PUSH1 0x00 00001a86: DUP2 00001a87: ISZERO 00001a88: DUP1 00001a89: PUSH2 0x1a9e 00001a8c: JUMPI 00001a8d: POP 00001a8e: POP 00001a8f: DUP1 00001a90: DUP3 00001a91: MUL 00001a92: DUP3 00001a93: DUP3 00001a94: DUP3 00001a95: DUP2 00001a96: PUSH2 0x1a9b 00001a99: JUMPI 00001a9a: INVALID 00001a9b: JUMPDEST 00001a9c: DIV 00001a9d: EQ 00001a9e: JUMPDEST 00001a9f: PUSH2 0x0b75 00001aa2: JUMPI 00001aa3: PUSH1 0x40 00001aa5: DUP1 00001aa6: MLOAD 00001aa7: PUSH3 0x461bcd 00001aab: PUSH1 0xe5 00001aad: SHL 00001aae: DUP2 00001aaf: MSTORE 00001ab0: PUSH1 0x20 00001ab2: PUSH1 0x04 00001ab4: DUP3 00001ab5: ADD 00001ab6: MSTORE 00001ab7: PUSH1 0x14 00001ab9: PUSH1 0x24 00001abb: DUP3 00001abc: ADD 00001abd: MSTORE 00001abe: PUSH20 0x64732d6d6174682d6d756c2d6f766572666c6f77 00001ad3: PUSH1 0x60 00001ad5: SHL 00001ad6: PUSH1 0x44 00001ad8: DUP3 00001ad9: ADD 00001ada: MSTORE 00001adb: SWAP1 00001adc: MLOAD 00001add: SWAP1 00001ade: DUP2 00001adf: SWAP1 00001ae0: SUB 00001ae1: PUSH1 0x64 00001ae3: ADD 00001ae4: SWAP1 00001ae5: REVERT 00001ae6: JUMPDEST 00001ae7: DUP1 00001ae8: DUP3 00001ae9: SUB 00001aea: DUP3 00001aeb: DUP2 00001aec: GT 00001aed: ISZERO 00001aee: PUSH2 0x0b75 00001af1: JUMPI 00001af2: PUSH1 0x40 00001af4: DUP1 00001af5: MLOAD 00001af6: PUSH3 0x461bcd 00001afa: PUSH1 0xe5 00001afc: SHL 00001afd: DUP2 00001afe: MSTORE 00001aff: PUSH1 0x20 00001b01: PUSH1 0x04 00001b03: DUP3 00001b04: ADD 00001b05: MSTORE 00001b06: PUSH1 0x15 00001b08: PUSH1 0x24 00001b0a: DUP3 00001b0b: ADD 00001b0c: MSTORE 00001b0d: PUSH21 0x64732d6d6174682d7375622d756e646572666c6f77 00001b23: PUSH1 0x58 00001b25: SHL 00001b26: PUSH1 0x44 00001b28: DUP3 00001b29: ADD 00001b2a: MSTORE 00001b2b: SWAP1 00001b2c: MLOAD 00001b2d: SWAP1 00001b2e: DUP2 00001b2f: SWAP1 00001b30: SUB 00001b31: PUSH1 0x64 00001b33: ADD 00001b34: SWAP1 00001b35: REVERT 00001b36: JUMPDEST 00001b37: PUSH1 0x01 00001b39: PUSH1 0x01 00001b3b: PUSH1 0x70 00001b3d: SHL 00001b3e: SUB 00001b3f: DUP5 00001b40: GT 00001b41: DUP1 00001b42: ISZERO 00001b43: SWAP1 00001b44: PUSH2 0x1b54 00001b47: JUMPI 00001b48: POP 00001b49: PUSH1 0x01 00001b4b: PUSH1 0x01 00001b4d: PUSH1 0x70 00001b4f: SHL 00001b50: SUB 00001b51: DUP4 00001b52: GT 00001b53: ISZERO 00001b54: JUMPDEST 00001b55: PUSH2 0x1b99 00001b58: JUMPI 00001b59: PUSH1 0x40 00001b5b: DUP1 00001b5c: MLOAD 00001b5d: PUSH3 0x461bcd 00001b61: PUSH1 0xe5 00001b63: SHL 00001b64: DUP2 00001b65: MSTORE 00001b66: PUSH1 0x20 00001b68: PUSH1 0x04 00001b6a: DUP3 00001b6b: ADD 00001b6c: MSTORE 00001b6d: PUSH1 0x11 00001b6f: PUSH1 0x24 00001b71: DUP3 00001b72: ADD 00001b73: MSTORE 00001b74: PUSH17 0x596f75537761703a204f564552464c4f57 00001b86: PUSH1 0x78 00001b88: SHL 00001b89: PUSH1 0x44 00001b8b: DUP3 00001b8c: ADD 00001b8d: MSTORE 00001b8e: SWAP1 00001b8f: MLOAD 00001b90: SWAP1 00001b91: DUP2 00001b92: SWAP1 00001b93: SUB 00001b94: PUSH1 0x64 00001b96: ADD 00001b97: SWAP1 00001b98: REVERT 00001b99: JUMPDEST 00001b9a: PUSH1 0x08 00001b9c: SLOAD 00001b9d: PUSH4 0xffffffff 00001ba2: TIMESTAMP 00001ba3: DUP2 00001ba4: AND 00001ba5: SWAP2 00001ba6: PUSH1 0x01 00001ba8: PUSH1 0xe0 00001baa: SHL 00001bab: SWAP1 00001bac: DIV 00001bad: DUP2 00001bae: AND 00001baf: DUP3 00001bb0: SUB 00001bb1: SWAP1 00001bb2: DUP2 00001bb3: AND 00001bb4: ISZERO 00001bb5: DUP1 00001bb6: ISZERO 00001bb7: SWAP1 00001bb8: PUSH2 0x1bc9 00001bbb: JUMPI 00001bbc: POP 00001bbd: PUSH1 0x01 00001bbf: PUSH1 0x01 00001bc1: PUSH1 0x70 00001bc3: SHL 00001bc4: SUB 00001bc5: DUP5 00001bc6: AND 00001bc7: ISZERO 00001bc8: ISZERO 00001bc9: JUMPDEST 00001bca: DUP1 00001bcb: ISZERO 00001bcc: PUSH2 0x1bdd 00001bcf: JUMPI 00001bd0: POP 00001bd1: PUSH1 0x01 00001bd3: PUSH1 0x01 00001bd5: PUSH1 0x70 00001bd7: SHL 00001bd8: SUB 00001bd9: DUP4 00001bda: AND 00001bdb: ISZERO 00001bdc: ISZERO 00001bdd: JUMPDEST 00001bde: ISZERO 00001bdf: PUSH2 0x1c4e 00001be2: JUMPI 00001be3: DUP1 00001be4: PUSH4 0xffffffff 00001be9: AND 00001bea: PUSH2 0x1c0b 00001bed: DUP6 00001bee: PUSH2 0x1bf6 00001bf1: DUP7 00001bf2: PUSH2 0x218a 00001bf5: JUMP 00001bf6: JUMPDEST 00001bf7: PUSH1 0x01 00001bf9: PUSH1 0x01 00001bfb: PUSH1 0xe0 00001bfd: SHL 00001bfe: SUB 00001bff: AND 00001c00: SWAP1 00001c01: PUSH4 0xffffffff 00001c06: PUSH2 0x219c 00001c09: AND 00001c0a: JUMP 00001c0b: JUMPDEST 00001c0c: PUSH1 0x09 00001c0e: DUP1 00001c0f: SLOAD 00001c10: PUSH1 0x01 00001c12: PUSH1 0x01 00001c14: PUSH1 0xe0 00001c16: SHL 00001c17: SUB 00001c18: SWAP3 00001c19: SWAP1 00001c1a: SWAP3 00001c1b: AND 00001c1c: SWAP3 00001c1d: SWAP1 00001c1e: SWAP3 00001c1f: MUL 00001c20: ADD 00001c21: SWAP1 00001c22: SSTORE 00001c23: PUSH4 0xffffffff 00001c28: DUP2 00001c29: AND 00001c2a: PUSH2 0x1c36 00001c2d: DUP5 00001c2e: PUSH2 0x1bf6 00001c31: DUP8 00001c32: PUSH2 0x218a 00001c35: JUMP 00001c36: JUMPDEST 00001c37: PUSH1 0x0a 00001c39: DUP1 00001c3a: SLOAD 00001c3b: PUSH1 0x01 00001c3d: PUSH1 0x01 00001c3f: PUSH1 0xe0 00001c41: SHL 00001c42: SUB 00001c43: SWAP3 00001c44: SWAP1 00001c45: SWAP3 00001c46: AND 00001c47: SWAP3 00001c48: SWAP1 00001c49: SWAP3 00001c4a: MUL 00001c4b: ADD 00001c4c: SWAP1 00001c4d: SSTORE 00001c4e: JUMPDEST 00001c4f: PUSH1 0x08 00001c51: DUP1 00001c52: SLOAD 00001c53: PUSH14 0xffffffffffffffffffffffffffff 00001c62: NOT 00001c63: AND 00001c64: PUSH1 0x01 00001c66: PUSH1 0x01 00001c68: PUSH1 0x70 00001c6a: SHL 00001c6b: SUB 00001c6c: DUP9 00001c6d: DUP2 00001c6e: AND 00001c6f: SWAP2 00001c70: SWAP1 00001c71: SWAP2 00001c72: OR 00001c73: PUSH14 0xffffffffffffffffffffffffffff 00001c82: PUSH1 0x70 00001c84: SHL 00001c85: NOT 00001c86: AND 00001c87: PUSH1 0x01 00001c89: PUSH1 0x70 00001c8b: SHL 00001c8c: DUP9 00001c8d: DUP4 00001c8e: AND 00001c8f: DUP2 00001c90: MUL 00001c91: SWAP2 00001c92: SWAP1 00001c93: SWAP2 00001c94: OR 00001c95: PUSH1 0x01 00001c97: PUSH1 0x01 00001c99: PUSH1 0xe0 00001c9b: SHL 00001c9c: SUB 00001c9d: AND 00001c9e: PUSH1 0x01 00001ca0: PUSH1 0xe0 00001ca2: SHL 00001ca3: PUSH4 0xffffffff 00001ca8: DUP8 00001ca9: AND 00001caa: MUL 00001cab: OR 00001cac: SWAP3 00001cad: DUP4 00001cae: SWAP1 00001caf: SSTORE 00001cb0: PUSH1 0x40 00001cb2: DUP1 00001cb3: MLOAD 00001cb4: DUP5 00001cb5: DUP5 00001cb6: AND 00001cb7: DUP2 00001cb8: MSTORE 00001cb9: SWAP2 00001cba: SWAP1 00001cbb: SWAP4 00001cbc: DIV 00001cbd: SWAP1 00001cbe: SWAP2 00001cbf: AND 00001cc0: PUSH1 0x20 00001cc2: DUP3 00001cc3: ADD 00001cc4: MSTORE 00001cc5: DUP2 00001cc6: MLOAD 00001cc7: PUSH32 0x1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1 00001ce8: SWAP3 00001ce9: SWAP2 00001cea: DUP2 00001ceb: SWAP1 00001cec: SUB 00001ced: SWAP1 00001cee: SWAP2 00001cef: ADD 00001cf0: SWAP1 00001cf1: LOG1 00001cf2: POP 00001cf3: POP 00001cf4: POP 00001cf5: POP 00001cf6: POP 00001cf7: POP 00001cf8: JUMP 00001cf9: JUMPDEST 00001cfa: PUSH1 0x01 00001cfc: PUSH1 0x01 00001cfe: PUSH1 0xa0 00001d00: SHL 00001d01: SUB 00001d02: DUP1 00001d03: DUP5 00001d04: AND 00001d05: PUSH1 0x00 00001d07: DUP2 00001d08: DUP2 00001d09: MSTORE 00001d0a: PUSH1 0x02 00001d0c: PUSH1 0x20 00001d0e: SWAP1 00001d0f: DUP2 00001d10: MSTORE 00001d11: PUSH1 0x40 00001d13: DUP1 00001d14: DUP4 00001d15: KECCAK256 00001d16: SWAP5 00001d17: DUP8 00001d18: AND 00001d19: DUP1 00001d1a: DUP5 00001d1b: MSTORE 00001d1c: SWAP5 00001d1d: DUP3 00001d1e: MSTORE 00001d1f: SWAP2 00001d20: DUP3 00001d21: SWAP1 00001d22: KECCAK256 00001d23: DUP6 00001d24: SWAP1 00001d25: SSTORE 00001d26: DUP2 00001d27: MLOAD 00001d28: DUP6 00001d29: DUP2 00001d2a: MSTORE 00001d2b: SWAP2 00001d2c: MLOAD 00001d2d: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00001d4e: SWAP3 00001d4f: DUP2 00001d50: SWAP1 00001d51: SUB 00001d52: SWAP1 00001d53: SWAP2 00001d54: ADD 00001d55: SWAP1 00001d56: LOG3 00001d57: POP 00001d58: POP 00001d59: POP 00001d5a: JUMP 00001d5b: JUMPDEST 00001d5c: PUSH1 0x01 00001d5e: PUSH1 0x01 00001d60: PUSH1 0xa0 00001d62: SHL 00001d63: SUB 00001d64: DUP4 00001d65: AND 00001d66: PUSH1 0x00 00001d68: SWAP1 00001d69: DUP2 00001d6a: MSTORE 00001d6b: PUSH1 0x01 00001d6d: PUSH1 0x20 00001d6f: MSTORE 00001d70: PUSH1 0x40 00001d72: SWAP1 00001d73: KECCAK256 00001d74: SLOAD 00001d75: PUSH2 0x1d84 00001d78: SWAP1 00001d79: DUP3 00001d7a: PUSH4 0xffffffff 00001d7f: PUSH2 0x1ae6 00001d82: AND 00001d83: JUMP 00001d84: JUMPDEST 00001d85: PUSH1 0x01 00001d87: PUSH1 0x01 00001d89: PUSH1 0xa0 00001d8b: SHL 00001d8c: SUB 00001d8d: DUP1 00001d8e: DUP6 00001d8f: AND 00001d90: PUSH1 0x00 00001d92: SWAP1 00001d93: DUP2 00001d94: MSTORE 00001d95: PUSH1 0x01 00001d97: PUSH1 0x20 00001d99: MSTORE 00001d9a: PUSH1 0x40 00001d9c: DUP1 00001d9d: DUP3 00001d9e: KECCAK256 00001d9f: SWAP4 00001da0: SWAP1 00001da1: SWAP4 00001da2: SSTORE 00001da3: SWAP1 00001da4: DUP5 00001da5: AND 00001da6: DUP2 00001da7: MSTORE 00001da8: KECCAK256 00001da9: SLOAD 00001daa: PUSH2 0x1db9 00001dad: SWAP1 00001dae: DUP3 00001daf: PUSH4 0xffffffff 00001db4: PUSH2 0x21c1 00001db7: AND 00001db8: JUMP 00001db9: JUMPDEST 00001dba: PUSH1 0x01 00001dbc: PUSH1 0x01 00001dbe: PUSH1 0xa0 00001dc0: SHL 00001dc1: SUB 00001dc2: DUP1 00001dc3: DUP5 00001dc4: AND 00001dc5: PUSH1 0x00 00001dc7: DUP2 00001dc8: DUP2 00001dc9: MSTORE 00001dca: PUSH1 0x01 00001dcc: PUSH1 0x20 00001dce: SWAP1 00001dcf: DUP2 00001dd0: MSTORE 00001dd1: PUSH1 0x40 00001dd3: SWAP2 00001dd4: DUP3 00001dd5: SWAP1 00001dd6: KECCAK256 00001dd7: SWAP5 00001dd8: SWAP1 00001dd9: SWAP5 00001dda: SSTORE 00001ddb: DUP1 00001ddc: MLOAD 00001ddd: DUP6 00001dde: DUP2 00001ddf: MSTORE 00001de0: SWAP1 00001de1: MLOAD 00001de2: SWAP2 00001de3: SWAP4 00001de4: SWAP3 00001de5: DUP8 00001de6: AND 00001de7: SWAP3 00001de8: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001e09: SWAP3 00001e0a: SWAP2 00001e0b: DUP3 00001e0c: SWAP1 00001e0d: SUB 00001e0e: ADD 00001e0f: SWAP1 00001e10: LOG3 00001e11: POP 00001e12: POP 00001e13: POP 00001e14: JUMP 00001e15: JUMPDEST 00001e16: PUSH1 0x00 00001e18: DUP1 00001e19: PUSH1 0x05 00001e1b: PUSH1 0x00 00001e1d: SWAP1 00001e1e: SLOAD 00001e1f: SWAP1 00001e20: PUSH2 0x0100 00001e23: EXP 00001e24: SWAP1 00001e25: DIV 00001e26: PUSH1 0x01 00001e28: PUSH1 0x01 00001e2a: PUSH1 0xa0 00001e2c: SHL 00001e2d: SUB 00001e2e: AND 00001e2f: PUSH1 0x01 00001e31: PUSH1 0x01 00001e33: PUSH1 0xa0 00001e35: SHL 00001e36: SUB 00001e37: AND 00001e38: PUSH4 0x017e7e58 00001e3d: PUSH1 0x40 00001e3f: MLOAD 00001e40: DUP2 00001e41: PUSH4 0xffffffff 00001e46: AND 00001e47: PUSH1 0xe0 00001e49: SHL 00001e4a: DUP2 00001e4b: MSTORE 00001e4c: PUSH1 0x04 00001e4e: ADD 00001e4f: PUSH1 0x20 00001e51: PUSH1 0x40 00001e53: MLOAD 00001e54: DUP1 00001e55: DUP4 00001e56: SUB 00001e57: DUP2 00001e58: DUP7 00001e59: DUP1 00001e5a: EXTCODESIZE 00001e5b: ISZERO 00001e5c: DUP1 00001e5d: ISZERO 00001e5e: PUSH2 0x1e66 00001e61: JUMPI 00001e62: PUSH1 0x00 00001e64: DUP1 00001e65: REVERT 00001e66: JUMPDEST 00001e67: POP 00001e68: GAS 00001e69: STATICCALL 00001e6a: ISZERO 00001e6b: DUP1 00001e6c: ISZERO 00001e6d: PUSH2 0x1e7a 00001e70: JUMPI 00001e71: RETURNDATASIZE 00001e72: PUSH1 0x00 00001e74: DUP1 00001e75: RETURNDATACOPY 00001e76: RETURNDATASIZE 00001e77: PUSH1 0x00 00001e79: REVERT 00001e7a: JUMPDEST 00001e7b: POP 00001e7c: POP 00001e7d: POP 00001e7e: POP 00001e7f: PUSH1 0x40 00001e81: MLOAD 00001e82: RETURNDATASIZE 00001e83: PUSH1 0x20 00001e85: DUP2 00001e86: LT 00001e87: ISZERO 00001e88: PUSH2 0x1e90 00001e8b: JUMPI 00001e8c: PUSH1 0x00 00001e8e: DUP1 00001e8f: REVERT 00001e90: JUMPDEST 00001e91: POP 00001e92: MLOAD 00001e93: PUSH1 0x0b 00001e95: SLOAD 00001e96: PUSH1 0x01 00001e98: PUSH1 0x01 00001e9a: PUSH1 0xa0 00001e9c: SHL 00001e9d: SUB 00001e9e: DUP3 00001e9f: AND 00001ea0: ISZERO 00001ea1: DUP1 00001ea2: ISZERO 00001ea3: SWAP5 00001ea4: POP 00001ea5: SWAP2 00001ea6: SWAP3 00001ea7: POP 00001ea8: SWAP1 00001ea9: PUSH2 0x1fd8 00001eac: JUMPI 00001ead: DUP1 00001eae: ISZERO 00001eaf: PUSH2 0x1fd3 00001eb2: JUMPI 00001eb3: PUSH1 0x00 00001eb5: PUSH2 0x1ed3 00001eb8: PUSH2 0x0eab 00001ebb: PUSH1 0x01 00001ebd: PUSH1 0x01 00001ebf: PUSH1 0x70 00001ec1: SHL 00001ec2: SUB 00001ec3: DUP9 00001ec4: DUP2 00001ec5: AND 00001ec6: SWAP1 00001ec7: DUP9 00001ec8: AND 00001ec9: PUSH4 0xffffffff 00001ece: PUSH2 0x1a83 00001ed1: AND 00001ed2: JUMP 00001ed3: JUMPDEST 00001ed4: SWAP1 00001ed5: POP 00001ed6: PUSH1 0x00 00001ed8: PUSH2 0x1ee0 00001edb: DUP4 00001edc: PUSH2 0x1fec 00001edf: JUMP 00001ee0: JUMPDEST 00001ee1: SWAP1 00001ee2: POP 00001ee3: DUP1 00001ee4: DUP3 00001ee5: GT 00001ee6: ISZERO 00001ee7: PUSH2 0x1fd0 00001eea: JUMPI 00001eeb: PUSH1 0x00 00001eed: PUSH2 0x1f0e 00001ef0: PUSH2 0x1eff 00001ef3: DUP5 00001ef4: DUP5 00001ef5: PUSH4 0xffffffff 00001efa: PUSH2 0x1ae6 00001efd: AND 00001efe: JUMP 00001eff: JUMPDEST 00001f00: PUSH1 0x00 00001f02: SLOAD 00001f03: SWAP1 00001f04: PUSH4 0xffffffff 00001f09: PUSH2 0x1a83 00001f0c: AND 00001f0d: JUMP 00001f0e: JUMPDEST 00001f0f: SWAP1 00001f10: POP 00001f11: PUSH1 0x00 00001f13: PUSH2 0x1fac 00001f16: DUP4 00001f17: PUSH2 0x1fa0 00001f1a: PUSH1 0x05 00001f1c: PUSH1 0x00 00001f1e: SWAP1 00001f1f: SLOAD 00001f20: SWAP1 00001f21: PUSH2 0x0100 00001f24: EXP 00001f25: SWAP1 00001f26: DIV 00001f27: PUSH1 0x01 00001f29: PUSH1 0x01 00001f2b: PUSH1 0xa0 00001f2d: SHL 00001f2e: SUB 00001f2f: AND 00001f30: PUSH1 0x01 00001f32: PUSH1 0x01 00001f34: PUSH1 0xa0 00001f36: SHL 00001f37: SUB 00001f38: AND 00001f39: PUSH4 0xdeba86e3 00001f3e: PUSH1 0x40 00001f40: MLOAD 00001f41: DUP2 00001f42: PUSH4 0xffffffff 00001f47: AND 00001f48: PUSH1 0xe0 00001f4a: SHL 00001f4b: DUP2 00001f4c: MSTORE 00001f4d: PUSH1 0x04 00001f4f: ADD 00001f50: PUSH1 0x20 00001f52: PUSH1 0x40 00001f54: MLOAD 00001f55: DUP1 00001f56: DUP4 00001f57: SUB 00001f58: DUP2 00001f59: DUP7 00001f5a: DUP1 00001f5b: EXTCODESIZE 00001f5c: ISZERO 00001f5d: DUP1 00001f5e: ISZERO 00001f5f: PUSH2 0x1f67 00001f62: JUMPI 00001f63: PUSH1 0x00 00001f65: DUP1 00001f66: REVERT 00001f67: JUMPDEST 00001f68: POP 00001f69: GAS 00001f6a: STATICCALL 00001f6b: ISZERO 00001f6c: DUP1 00001f6d: ISZERO 00001f6e: PUSH2 0x1f7b 00001f71: JUMPI 00001f72: RETURNDATASIZE 00001f73: PUSH1 0x00 00001f75: DUP1 00001f76: RETURNDATACOPY 00001f77: RETURNDATASIZE 00001f78: PUSH1 0x00 00001f7a: REVERT 00001f7b: JUMPDEST 00001f7c: POP 00001f7d: POP 00001f7e: POP 00001f7f: POP 00001f80: PUSH1 0x40 00001f82: MLOAD 00001f83: RETURNDATASIZE 00001f84: PUSH1 0x20 00001f86: DUP2 00001f87: LT 00001f88: ISZERO 00001f89: PUSH2 0x1f91 00001f8c: JUMPI 00001f8d: PUSH1 0x00 00001f8f: DUP1 00001f90: REVERT 00001f91: JUMPDEST 00001f92: POP 00001f93: MLOAD 00001f94: DUP8 00001f95: SWAP1 00001f96: PUSH4 0xffffffff 00001f9b: PUSH2 0x1a83 00001f9e: AND 00001f9f: JUMP 00001fa0: JUMPDEST 00001fa1: SWAP1 00001fa2: PUSH4 0xffffffff 00001fa7: PUSH2 0x21c1 00001faa: AND 00001fab: JUMP 00001fac: JUMPDEST 00001fad: SWAP1 00001fae: POP 00001faf: PUSH1 0x00 00001fb1: DUP2 00001fb2: DUP4 00001fb3: DUP2 00001fb4: PUSH2 0x1fb9 00001fb7: JUMPI 00001fb8: INVALID 00001fb9: JUMPDEST 00001fba: DIV 00001fbb: SWAP1 00001fbc: POP 00001fbd: DUP1 00001fbe: ISZERO 00001fbf: PUSH2 0x1fcc 00001fc2: JUMPI 00001fc3: PUSH2 0x1fcc 00001fc6: DUP8 00001fc7: DUP3 00001fc8: PUSH2 0x203e 00001fcb: JUMP 00001fcc: JUMPDEST 00001fcd: POP 00001fce: POP 00001fcf: POP 00001fd0: JUMPDEST 00001fd1: POP 00001fd2: POP 00001fd3: JUMPDEST 00001fd4: PUSH2 0x1fe4 00001fd7: JUMP 00001fd8: JUMPDEST 00001fd9: DUP1 00001fda: ISZERO 00001fdb: PUSH2 0x1fe4 00001fde: JUMPI 00001fdf: PUSH1 0x00 00001fe1: PUSH1 0x0b 00001fe3: SSTORE 00001fe4: JUMPDEST 00001fe5: POP 00001fe6: POP 00001fe7: SWAP3 00001fe8: SWAP2 00001fe9: POP 00001fea: POP 00001feb: JUMP 00001fec: JUMPDEST 00001fed: PUSH1 0x00 00001fef: PUSH1 0x03 00001ff1: DUP3 00001ff2: GT 00001ff3: ISZERO 00001ff4: PUSH2 0x202f 00001ff7: JUMPI 00001ff8: POP 00001ff9: DUP1 00001ffa: PUSH1 0x01 00001ffc: PUSH1 0x02 00001ffe: DUP3 00001fff: DIV 00002000: ADD 00002001: JUMPDEST 00002002: DUP2 00002003: DUP2 00002004: LT 00002005: ISZERO 00002006: PUSH2 0x2029 00002009: JUMPI 0000200a: DUP1 0000200b: SWAP2 0000200c: POP 0000200d: PUSH1 0x02 0000200f: DUP2 00002010: DUP3 00002011: DUP6 00002012: DUP2 00002013: PUSH2 0x2018 00002016: JUMPI 00002017: INVALID 00002018: JUMPDEST 00002019: DIV 0000201a: ADD 0000201b: DUP2 0000201c: PUSH2 0x2021 0000201f: JUMPI 00002020: INVALID 00002021: JUMPDEST 00002022: DIV 00002023: SWAP1 00002024: POP 00002025: PUSH2 0x2001 00002028: JUMP 00002029: JUMPDEST 0000202a: POP 0000202b: PUSH2 0x2039 0000202e: JUMP 0000202f: JUMPDEST 00002030: DUP2 00002031: ISZERO 00002032: PUSH2 0x2039 00002035: JUMPI 00002036: POP 00002037: PUSH1 0x01 00002039: JUMPDEST 0000203a: SWAP2 0000203b: SWAP1 0000203c: POP 0000203d: JUMP 0000203e: JUMPDEST 0000203f: PUSH1 0x00 00002041: SLOAD 00002042: PUSH2 0x2051 00002045: SWAP1 00002046: DUP3 00002047: PUSH4 0xffffffff 0000204c: PUSH2 0x21c1 0000204f: AND 00002050: JUMP 00002051: JUMPDEST 00002052: PUSH1 0x00 00002054: SWAP1 00002055: DUP2 00002056: SSTORE 00002057: PUSH1 0x01 00002059: PUSH1 0x01 0000205b: PUSH1 0xa0 0000205d: SHL 0000205e: SUB 0000205f: DUP4 00002060: AND 00002061: DUP2 00002062: MSTORE 00002063: PUSH1 0x01 00002065: PUSH1 0x20 00002067: MSTORE 00002068: PUSH1 0x40 0000206a: SWAP1 0000206b: KECCAK256 0000206c: SLOAD 0000206d: PUSH2 0x207c 00002070: SWAP1 00002071: DUP3 00002072: PUSH4 0xffffffff 00002077: PUSH2 0x21c1 0000207a: AND 0000207b: JUMP 0000207c: JUMPDEST 0000207d: PUSH1 0x01 0000207f: PUSH1 0x01 00002081: PUSH1 0xa0 00002083: SHL 00002084: SUB 00002085: DUP4 00002086: AND 00002087: PUSH1 0x00 00002089: DUP2 0000208a: DUP2 0000208b: MSTORE 0000208c: PUSH1 0x01 0000208e: PUSH1 0x20 00002090: SWAP1 00002091: DUP2 00002092: MSTORE 00002093: PUSH1 0x40 00002095: DUP1 00002096: DUP4 00002097: KECCAK256 00002098: SWAP5 00002099: SWAP1 0000209a: SWAP5 0000209b: SSTORE 0000209c: DUP4 0000209d: MLOAD 0000209e: DUP6 0000209f: DUP2 000020a0: MSTORE 000020a1: SWAP4 000020a2: MLOAD 000020a3: SWAP3 000020a4: SWAP4 000020a5: SWAP2 000020a6: SWAP3 000020a7: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000020c8: SWAP3 000020c9: DUP2 000020ca: SWAP1 000020cb: SUB 000020cc: SWAP1 000020cd: SWAP2 000020ce: ADD 000020cf: SWAP1 000020d0: LOG3 000020d1: POP 000020d2: POP 000020d3: JUMP 000020d4: JUMPDEST 000020d5: PUSH1 0x00 000020d7: DUP2 000020d8: DUP4 000020d9: LT 000020da: PUSH2 0x20e3 000020dd: JUMPI 000020de: DUP2 000020df: PUSH2 0x20e5 000020e2: JUMP 000020e3: JUMPDEST 000020e4: DUP3 000020e5: JUMPDEST 000020e6: SWAP4 000020e7: SWAP3 000020e8: POP 000020e9: POP 000020ea: POP 000020eb: JUMP 000020ec: JUMPDEST 000020ed: PUSH1 0x01 000020ef: PUSH1 0x01 000020f1: PUSH1 0xa0 000020f3: SHL 000020f4: SUB 000020f5: DUP3 000020f6: AND 000020f7: PUSH1 0x00 000020f9: SWAP1 000020fa: DUP2 000020fb: MSTORE 000020fc: PUSH1 0x01 000020fe: PUSH1 0x20 00002100: MSTORE 00002101: PUSH1 0x40 00002103: SWAP1 00002104: KECCAK256 00002105: SLOAD 00002106: PUSH2 0x2115 00002109: SWAP1 0000210a: DUP3 0000210b: PUSH4 0xffffffff 00002110: PUSH2 0x1ae6 00002113: AND 00002114: JUMP 00002115: JUMPDEST 00002116: PUSH1 0x01 00002118: PUSH1 0x01 0000211a: PUSH1 0xa0 0000211c: SHL 0000211d: SUB 0000211e: DUP4 0000211f: AND 00002120: PUSH1 0x00 00002122: SWAP1 00002123: DUP2 00002124: MSTORE 00002125: PUSH1 0x01 00002127: PUSH1 0x20 00002129: MSTORE 0000212a: PUSH1 0x40 0000212c: DUP2 0000212d: KECCAK256 0000212e: SWAP2 0000212f: SWAP1 00002130: SWAP2 00002131: SSTORE 00002132: SLOAD 00002133: PUSH2 0x2142 00002136: SWAP1 00002137: DUP3 00002138: PUSH4 0xffffffff 0000213d: PUSH2 0x1ae6 00002140: AND 00002141: JUMP 00002142: JUMPDEST 00002143: PUSH1 0x00 00002145: SWAP1 00002146: DUP2 00002147: SSTORE 00002148: PUSH1 0x40 0000214a: DUP1 0000214b: MLOAD 0000214c: DUP4 0000214d: DUP2 0000214e: MSTORE 0000214f: SWAP1 00002150: MLOAD 00002151: PUSH1 0x01 00002153: PUSH1 0x01 00002155: PUSH1 0xa0 00002157: SHL 00002158: SUB 00002159: DUP6 0000215a: AND 0000215b: SWAP2 0000215c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000217d: SWAP2 0000217e: SWAP1 0000217f: DUP2 00002180: SWAP1 00002181: SUB 00002182: PUSH1 0x20 00002184: ADD 00002185: SWAP1 00002186: LOG3 00002187: POP 00002188: POP 00002189: JUMP 0000218a: JUMPDEST 0000218b: PUSH1 0x01 0000218d: PUSH1 0x01 0000218f: PUSH1 0x70 00002191: SHL 00002192: SUB 00002193: AND 00002194: PUSH1 0x01 00002196: PUSH1 0x70 00002198: SHL 00002199: MUL 0000219a: SWAP1 0000219b: JUMP 0000219c: JUMPDEST 0000219d: PUSH1 0x00 0000219f: PUSH1 0x01 000021a1: PUSH1 0x01 000021a3: PUSH1 0x70 000021a5: SHL 000021a6: SUB 000021a7: DUP3 000021a8: AND 000021a9: PUSH1 0x01 000021ab: PUSH1 0x01 000021ad: PUSH1 0xe0 000021af: SHL 000021b0: SUB 000021b1: DUP5 000021b2: AND 000021b3: DUP2 000021b4: PUSH2 0x21b9 000021b7: JUMPI 000021b8: INVALID 000021b9: JUMPDEST 000021ba: DIV 000021bb: SWAP4 000021bc: SWAP3 000021bd: POP 000021be: POP 000021bf: POP 000021c0: JUMP 000021c1: JUMPDEST 000021c2: DUP1 000021c3: DUP3 000021c4: ADD 000021c5: DUP3 000021c6: DUP2 000021c7: LT 000021c8: ISZERO 000021c9: PUSH2 0x0b75 000021cc: JUMPI 000021cd: PUSH1 0x40 000021cf: DUP1 000021d0: MLOAD 000021d1: PUSH3 0x461bcd 000021d5: PUSH1 0xe5 000021d7: SHL 000021d8: DUP2 000021d9: MSTORE 000021da: PUSH1 0x20 000021dc: PUSH1 0x04 000021de: DUP3 000021df: ADD 000021e0: MSTORE 000021e1: PUSH1 0x14 000021e3: PUSH1 0x24 000021e5: DUP3 000021e6: ADD 000021e7: MSTORE 000021e8: PUSH20 0x64732d6d6174682d6164642d6f766572666c6f77 000021fd: PUSH1 0x60 000021ff: SHL 00002200: PUSH1 0x44 00002202: DUP3 00002203: ADD 00002204: MSTORE 00002205: SWAP1 00002206: MLOAD 00002207: SWAP1 00002208: DUP2 00002209: SWAP1 0000220a: SUB 0000220b: PUSH1 0x64 0000220d: ADD 0000220e: SWAP1 0000220f: REVERT 00002210: INVALID 00002211: MSIZE 00002212: PUSH16 0x75537761703a20494e53554646494349 00002223: GASLIMIT 00002224: UNKNOWN(0x4E) 00002225: SLOAD 00002226: PUSH0 00002227: UNKNOWN(0x4F) 00002228: SSTORE 00002229: SLOAD 0000222a: POP 0000222b: SSTORE 0000222c: SLOAD 0000222d: PUSH0 0000222e: COINBASE 0000222f: UNKNOWN(0x4D) 00002230: UNKNOWN(0x4F) 00002231: SSTORE 00002232: UNKNOWN(0x4E) 00002233: SLOAD 00002234: MSIZE 00002235: PUSH16 0x75537761703a20494e53554646494349 00002246: GASLIMIT 00002247: UNKNOWN(0x4E) 00002248: SLOAD 00002249: PUSH0 0000224a: UNKNOWN(0x4C) 0000224b: BLOBHASH 0000224c: MLOAD 0000224d: SSTORE 0000224e: BLOBHASH 0000224f: DIFFICULTY 00002250: BLOBHASH 00002251: SLOAD 00002252: MSIZE 00002253: PUSH0 00002254: UNKNOWN(0x4D) 00002255: BLOBHASH 00002256: UNKNOWN(0x4E) 00002257: SLOAD 00002258: GASLIMIT 00002259: DIFFICULTY 0000225a: MSIZE 0000225b: PUSH16 0x75537761703a20494e53554646494349 0000226c: GASLIMIT 0000226d: UNKNOWN(0x4E) 0000226e: SLOAD 0000226f: PUSH0 00002270: UNKNOWN(0x4C) 00002271: BLOBHASH 00002272: MLOAD 00002273: SSTORE 00002274: BLOBHASH 00002275: DIFFICULTY 00002276: BLOBHASH 00002277: SLOAD 00002278: MSIZE 00002279: PUSH0 0000227a: TIMESTAMP 0000227b: SSTORE 0000227c: MSTORE 0000227d: UNKNOWN(0x4E) 0000227e: GASLIMIT 0000227f: DIFFICULTY 00002280: MSIZE 00002281: PUSH16 0x75537761703a20494e53554646494349 00002292: GASLIMIT 00002293: UNKNOWN(0x4E) 00002294: SLOAD 00002295: PUSH0 00002296: BLOBHASH 00002297: UNKNOWN(0x4E) 00002298: POP 00002299: SSTORE 0000229a: SLOAD 0000229b: PUSH0 0000229c: COINBASE 0000229d: UNKNOWN(0x4D) 0000229e: UNKNOWN(0x4F) 0000229f: SSTORE 000022a0: UNKNOWN(0x4E) 000022a1: SLOAD 000022a2: LOG2 000022a3: PUSH6 0x627a7a723158 000022aa: KECCAK256 000022ab: BASEFEE 000022ac: SIGNEXTEND 000022ad: UNKNOWN(0xDB) 000022ae: SWAP14 000022af: UNKNOWN(0xD9) 000022b0: UNKNOWN(0xAA) 000022b1: UNKNOWN(0xD6) 000022b2: UNKNOWN(0xD2) 000022b3: UNKNOWN(0xCC) 000022b4: EXTCODEHASH 000022b5: OR 000022b6: UNKNOWN(0x4F) 000022b7: UNKNOWN(0xBA) 000022b8: UNKNOWN(0xAA) 000022b9: EQ 000022ba: UNKNOWN(0x27) 000022bb: CALLVALUE 000022bc: ADDRESS 000022bd: UNKNOWN(0xDD) 000022be: SDIV 000022bf: PUSH17 0xa9f9e7d8db8917c19d2c5464736f6c6343 000022d1: STOP 000022d2: SDIV 000022d3: LT 000022d4: STOP 000022d5: ORIGIN
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| 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": "0xd21220a7",
"selector": "0xd21220a7",
"calldata_variants": [
"0xd21220a7",
"0xd21220a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd505accf",
"selector": "0xd505accf",
"calldata_variants": [
"0xd505accf",
"0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfff6cae9",
"selector": "0xfff6cae9",
"calldata_variants": [
"0xfff6cae9",
"0xfff6cae90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xba9a7a56",
"selector": "0xba9a7a56",
"calldata_variants": [
"0xba9a7a56",
"0xba9a7a560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc25cf77",
"selector": "0xbc25cf77",
"calldata_variants": [
"0xbc25cf77",
"0xbc25cf770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc45a0155",
"selector": "0xc45a0155",
"calldata_variants": [
"0xc45a0155",
"0xc45a01550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ecebe00",
"selector": "0x7ecebe00",
"calldata_variants": [
"0x7ecebe00",
"0x7ecebe000000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 8917,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xec5ccd06d87437167077362daa279ec741f2dd8822077e74b80a40645dda2e46
call_targets:
0x504393f35e3cf04977845e183841d8e4ec0ef6b3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xec5ccd06d87437167077362daa279ec741f2dd8822077e74b80a40645dda2e46",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x504393f35e3cf04977845e183841d8e4ec0ef6b3"
],
"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": "0xd21220a7",
"selector": "0xd21220a7",
"calldata_variants": [
"0xd21220a7",
"0xd21220a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd505accf",
"selector": "0xd505accf",
"calldata_variants": [
"0xd505accf",
"0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfff6cae9",
"selector": "0xfff6cae9",
"calldata_variants": [
"0xfff6cae9",
"0xfff6cae90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xba9a7a56",
"selector": "0xba9a7a56",
"calldata_variants": [
"0xba9a7a56",
"0xba9a7a560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc25cf77",
"selector": "0xbc25cf77",
"calldata_variants": [
"0xbc25cf77",
"0xbc25cf770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc45a0155",
"selector": "0xc45a0155",
"calldata_variants": [
"0xc45a0155",
"0xc45a01550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ecebe00",
"selector": "0x7ecebe00",
"calldata_variants": [
"0x7ecebe00",
"0x7ecebe000000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2087,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6601,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 8917,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xec5ccd06d87437167077362daa279ec741f2dd8822077e74b80a40645dda2e46
call_targets:
0x504393f35e3cf04977845e183841d8e4ec0ef6b3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xec5ccd06d87437167077362daa279ec741f2dd8822077e74b80a40645dda2e46",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x504393f35e3cf04977845e183841d8e4ec0ef6b3"
],
"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": "0xd21220a7",
"selector": "0xd21220a7",
"calldata_variants": [
"0xd21220a7",
"0xd21220a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd505accf",
"selector": "0xd505accf",
"calldata_variants": [
"0xd505accf",
"0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfff6cae9",
"selector": "0xfff6cae9",
"calldata_variants": [
"0xfff6cae9",
"0xfff6cae90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xba9a7a56",
"selector": "0xba9a7a56",
"calldata_variants": [
"0xba9a7a56",
"0xba9a7a560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc25cf77",
"selector": "0xbc25cf77",
"calldata_variants": [
"0xbc25cf77",
"0xbc25cf770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc45a0155",
"selector": "0xc45a0155",
"calldata_variants": [
"0xc45a0155",
"0xc45a01550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ecebe00",
"selector": "0x7ecebe00",
"calldata_variants": [
"0x7ecebe00",
"0x7ecebe000000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2087,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6601,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 8917,
"type": "tx_origin_used"
}
]
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 16
}
|
| info | other | cast | Heavy CALL-family usage | 55 | no | — |
viewevidence_json{
"notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
"call_family_count": 16
}
|