019ba8e4-0725-73a8-a8dd-6049badcbd4c
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 |
|---|---|---|---|---|
| 33359 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 33360 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 33361 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 33362 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 33363 | capability.graph | complete | 1 / 3 | 3 months ago |
| 33364 | detector.run | complete | 1 / 3 | 3 months ago |
| 33365 | 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: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x009c 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x0064 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8da5cb5b 00000024: EQ 00000025: PUSH2 0x0a82 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x9d0a2e99 0000002f: EQ 00000030: PUSH2 0x0ad9 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x9ed4bc8c 0000003a: EQ 0000003b: PUSH2 0x0b3e 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xa6f9dae1 00000045: EQ 00000046: PUSH2 0x0d4b 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xd759a23a 00000050: EQ 00000051: PUSH2 0x0d9c 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf5165863 0000005b: EQ 0000005c: PUSH2 0x0ddb 0000005f: JUMPI 00000060: PUSH2 0x009c 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x0cb673f7 0000006b: EQ 0000006c: PUSH2 0x0103 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x1921f72c 00000076: EQ 00000077: PUSH2 0x0310 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x206f8063 00000081: EQ 00000082: PUSH2 0x05c4 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x55662671 0000008c: EQ 0000008d: PUSH2 0x0645 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x65b42ee7 00000097: EQ 00000098: PUSH2 0x0696 0000009b: JUMPI 0000009c: JUMPDEST 0000009d: ADDRESS 0000009e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000b3: AND 000000b4: CALLER 000000b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000ca: AND 000000cb: PUSH32 0xf076877b7985c67b3e219d56c06a4af0ad002ca202ce4b71869ab7794de0bc66 000000ec: CALLVALUE 000000ed: PUSH1 0x40 000000ef: MLOAD 000000f0: DUP1 000000f1: DUP3 000000f2: DUP2 000000f3: MSTORE 000000f4: PUSH1 0x20 000000f6: ADD 000000f7: SWAP2 000000f8: POP 000000f9: POP 000000fa: PUSH1 0x40 000000fc: MLOAD 000000fd: DUP1 000000fe: SWAP2 000000ff: SUB 00000100: SWAP1 00000101: LOG3 00000102: STOP 00000103: JUMPDEST 00000104: CALLVALUE 00000105: DUP1 00000106: ISZERO 00000107: PUSH2 0x010f 0000010a: JUMPI 0000010b: PUSH1 0x00 0000010d: DUP1 0000010e: REVERT 0000010f: JUMPDEST 00000110: POP 00000111: PUSH2 0x030e 00000114: PUSH1 0x04 00000116: DUP1 00000117: CALLDATASIZE 00000118: SUB 00000119: PUSH1 0x80 0000011b: DUP2 0000011c: LT 0000011d: ISZERO 0000011e: PUSH2 0x0126 00000121: JUMPI 00000122: PUSH1 0x00 00000124: DUP1 00000125: REVERT 00000126: JUMPDEST 00000127: DUP2 00000128: ADD 00000129: SWAP1 0000012a: DUP1 0000012b: DUP1 0000012c: CALLDATALOAD 0000012d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000142: AND 00000143: SWAP1 00000144: PUSH1 0x20 00000146: ADD 00000147: SWAP1 00000148: SWAP3 00000149: SWAP2 0000014a: SWAP1 0000014b: DUP1 0000014c: CALLDATALOAD 0000014d: SWAP1 0000014e: PUSH1 0x20 00000150: ADD 00000151: SWAP1 00000152: PUSH5 0x0100000000 00000158: DUP2 00000159: GT 0000015a: ISZERO 0000015b: PUSH2 0x0163 0000015e: JUMPI 0000015f: PUSH1 0x00 00000161: DUP1 00000162: REVERT 00000163: JUMPDEST 00000164: DUP3 00000165: ADD 00000166: DUP4 00000167: PUSH1 0x20 00000169: DUP3 0000016a: ADD 0000016b: GT 0000016c: ISZERO 0000016d: PUSH2 0x0175 00000170: JUMPI 00000171: PUSH1 0x00 00000173: DUP1 00000174: REVERT 00000175: JUMPDEST 00000176: DUP1 00000177: CALLDATALOAD 00000178: SWAP1 00000179: PUSH1 0x20 0000017b: ADD 0000017c: SWAP2 0000017d: DUP5 0000017e: PUSH1 0x20 00000180: DUP4 00000181: MUL 00000182: DUP5 00000183: ADD 00000184: GT 00000185: PUSH5 0x0100000000 0000018b: DUP4 0000018c: GT 0000018d: OR 0000018e: ISZERO 0000018f: PUSH2 0x0197 00000192: JUMPI 00000193: PUSH1 0x00 00000195: DUP1 00000196: REVERT 00000197: JUMPDEST 00000198: SWAP2 00000199: SWAP1 0000019a: DUP1 0000019b: DUP1 0000019c: PUSH1 0x20 0000019e: MUL 0000019f: PUSH1 0x20 000001a1: ADD 000001a2: PUSH1 0x40 000001a4: MLOAD 000001a5: SWAP1 000001a6: DUP2 000001a7: ADD 000001a8: PUSH1 0x40 000001aa: MSTORE 000001ab: DUP1 000001ac: SWAP4 000001ad: SWAP3 000001ae: SWAP2 000001af: SWAP1 000001b0: DUP2 000001b1: DUP2 000001b2: MSTORE 000001b3: PUSH1 0x20 000001b5: ADD 000001b6: DUP4 000001b7: DUP4 000001b8: PUSH1 0x20 000001ba: MUL 000001bb: DUP1 000001bc: DUP3 000001bd: DUP5 000001be: CALLDATACOPY 000001bf: PUSH1 0x00 000001c1: DUP2 000001c2: DUP5 000001c3: ADD 000001c4: MSTORE 000001c5: PUSH1 0x1f 000001c7: NOT 000001c8: PUSH1 0x1f 000001ca: DUP3 000001cb: ADD 000001cc: AND 000001cd: SWAP1 000001ce: POP 000001cf: DUP1 000001d0: DUP4 000001d1: ADD 000001d2: SWAP3 000001d3: POP 000001d4: POP 000001d5: POP 000001d6: POP 000001d7: POP 000001d8: POP 000001d9: POP 000001da: SWAP2 000001db: SWAP3 000001dc: SWAP2 000001dd: SWAP3 000001de: SWAP1 000001df: DUP1 000001e0: CALLDATALOAD 000001e1: SWAP1 000001e2: PUSH1 0x20 000001e4: ADD 000001e5: SWAP1 000001e6: PUSH5 0x0100000000 000001ec: DUP2 000001ed: GT 000001ee: ISZERO 000001ef: PUSH2 0x01f7 000001f2: JUMPI 000001f3: PUSH1 0x00 000001f5: DUP1 000001f6: REVERT 000001f7: JUMPDEST 000001f8: DUP3 000001f9: ADD 000001fa: DUP4 000001fb: PUSH1 0x20 000001fd: DUP3 000001fe: ADD 000001ff: GT 00000200: ISZERO 00000201: PUSH2 0x0209 00000204: JUMPI 00000205: PUSH1 0x00 00000207: DUP1 00000208: REVERT 00000209: JUMPDEST 0000020a: DUP1 0000020b: CALLDATALOAD 0000020c: SWAP1 0000020d: PUSH1 0x20 0000020f: ADD 00000210: SWAP2 00000211: DUP5 00000212: PUSH1 0x20 00000214: DUP4 00000215: MUL 00000216: DUP5 00000217: ADD 00000218: GT 00000219: PUSH5 0x0100000000 0000021f: DUP4 00000220: GT 00000221: OR 00000222: ISZERO 00000223: PUSH2 0x022b 00000226: JUMPI 00000227: PUSH1 0x00 00000229: DUP1 0000022a: REVERT 0000022b: JUMPDEST 0000022c: SWAP2 0000022d: SWAP1 0000022e: DUP1 0000022f: DUP1 00000230: PUSH1 0x20 00000232: MUL 00000233: PUSH1 0x20 00000235: ADD 00000236: PUSH1 0x40 00000238: MLOAD 00000239: SWAP1 0000023a: DUP2 0000023b: ADD 0000023c: PUSH1 0x40 0000023e: MSTORE 0000023f: DUP1 00000240: SWAP4 00000241: SWAP3 00000242: SWAP2 00000243: SWAP1 00000244: DUP2 00000245: DUP2 00000246: MSTORE 00000247: PUSH1 0x20 00000249: ADD 0000024a: DUP4 0000024b: DUP4 0000024c: PUSH1 0x20 0000024e: MUL 0000024f: DUP1 00000250: DUP3 00000251: DUP5 00000252: CALLDATACOPY 00000253: PUSH1 0x00 00000255: DUP2 00000256: DUP5 00000257: ADD 00000258: MSTORE 00000259: PUSH1 0x1f 0000025b: NOT 0000025c: PUSH1 0x1f 0000025e: DUP3 0000025f: ADD 00000260: AND 00000261: SWAP1 00000262: POP 00000263: DUP1 00000264: DUP4 00000265: ADD 00000266: SWAP3 00000267: POP 00000268: POP 00000269: POP 0000026a: POP 0000026b: POP 0000026c: POP 0000026d: POP 0000026e: SWAP2 0000026f: SWAP3 00000270: SWAP2 00000271: SWAP3 00000272: SWAP1 00000273: DUP1 00000274: CALLDATALOAD 00000275: SWAP1 00000276: PUSH1 0x20 00000278: ADD 00000279: SWAP1 0000027a: PUSH5 0x0100000000 00000280: DUP2 00000281: GT 00000282: ISZERO 00000283: PUSH2 0x028b 00000286: JUMPI 00000287: PUSH1 0x00 00000289: DUP1 0000028a: REVERT 0000028b: JUMPDEST 0000028c: DUP3 0000028d: ADD 0000028e: DUP4 0000028f: PUSH1 0x20 00000291: DUP3 00000292: ADD 00000293: GT 00000294: ISZERO 00000295: PUSH2 0x029d 00000298: JUMPI 00000299: PUSH1 0x00 0000029b: DUP1 0000029c: REVERT 0000029d: JUMPDEST 0000029e: DUP1 0000029f: CALLDATALOAD 000002a0: SWAP1 000002a1: PUSH1 0x20 000002a3: ADD 000002a4: SWAP2 000002a5: DUP5 000002a6: PUSH1 0x20 000002a8: DUP4 000002a9: MUL 000002aa: DUP5 000002ab: ADD 000002ac: GT 000002ad: PUSH5 0x0100000000 000002b3: DUP4 000002b4: GT 000002b5: OR 000002b6: ISZERO 000002b7: PUSH2 0x02bf 000002ba: JUMPI 000002bb: PUSH1 0x00 000002bd: DUP1 000002be: REVERT 000002bf: JUMPDEST 000002c0: SWAP2 000002c1: SWAP1 000002c2: DUP1 000002c3: DUP1 000002c4: PUSH1 0x20 000002c6: MUL 000002c7: PUSH1 0x20 000002c9: ADD 000002ca: PUSH1 0x40 000002cc: MLOAD 000002cd: SWAP1 000002ce: DUP2 000002cf: ADD 000002d0: PUSH1 0x40 000002d2: MSTORE 000002d3: DUP1 000002d4: SWAP4 000002d5: SWAP3 000002d6: SWAP2 000002d7: SWAP1 000002d8: DUP2 000002d9: DUP2 000002da: MSTORE 000002db: PUSH1 0x20 000002dd: ADD 000002de: DUP4 000002df: DUP4 000002e0: PUSH1 0x20 000002e2: MUL 000002e3: DUP1 000002e4: DUP3 000002e5: DUP5 000002e6: CALLDATACOPY 000002e7: PUSH1 0x00 000002e9: DUP2 000002ea: DUP5 000002eb: ADD 000002ec: MSTORE 000002ed: PUSH1 0x1f 000002ef: NOT 000002f0: PUSH1 0x1f 000002f2: DUP3 000002f3: ADD 000002f4: AND 000002f5: SWAP1 000002f6: POP 000002f7: DUP1 000002f8: DUP4 000002f9: ADD 000002fa: SWAP3 000002fb: POP 000002fc: POP 000002fd: POP 000002fe: POP 000002ff: POP 00000300: POP 00000301: POP 00000302: SWAP2 00000303: SWAP3 00000304: SWAP2 00000305: SWAP3 00000306: SWAP1 00000307: POP 00000308: POP 00000309: POP 0000030a: PUSH2 0x0e20 0000030d: JUMP 0000030e: JUMPDEST 0000030f: STOP 00000310: JUMPDEST 00000311: PUSH2 0x05c2 00000314: PUSH1 0x04 00000316: DUP1 00000317: CALLDATASIZE 00000318: SUB 00000319: PUSH2 0x0100 0000031c: DUP2 0000031d: LT 0000031e: ISZERO 0000031f: PUSH2 0x0327 00000322: JUMPI 00000323: PUSH1 0x00 00000325: DUP1 00000326: REVERT 00000327: JUMPDEST 00000328: DUP2 00000329: ADD 0000032a: SWAP1 0000032b: DUP1 0000032c: DUP1 0000032d: CALLDATALOAD 0000032e: SWAP1 0000032f: PUSH1 0x20 00000331: ADD 00000332: SWAP1 00000333: SWAP3 00000334: SWAP2 00000335: SWAP1 00000336: DUP1 00000337: CALLDATALOAD 00000338: SWAP1 00000339: PUSH1 0x20 0000033b: ADD 0000033c: SWAP1 0000033d: SWAP3 0000033e: SWAP2 0000033f: SWAP1 00000340: DUP1 00000341: CALLDATALOAD 00000342: PUSH8 0xffffffffffffffff 0000034b: AND 0000034c: SWAP1 0000034d: PUSH1 0x20 0000034f: ADD 00000350: SWAP1 00000351: SWAP3 00000352: SWAP2 00000353: SWAP1 00000354: DUP1 00000355: CALLDATALOAD 00000356: SWAP1 00000357: PUSH1 0x20 00000359: ADD 0000035a: SWAP1 0000035b: PUSH5 0x0100000000 00000361: DUP2 00000362: GT 00000363: ISZERO 00000364: PUSH2 0x036c 00000367: JUMPI 00000368: PUSH1 0x00 0000036a: DUP1 0000036b: REVERT 0000036c: JUMPDEST 0000036d: DUP3 0000036e: ADD 0000036f: DUP4 00000370: PUSH1 0x20 00000372: DUP3 00000373: ADD 00000374: GT 00000375: ISZERO 00000376: PUSH2 0x037e 00000379: JUMPI 0000037a: PUSH1 0x00 0000037c: DUP1 0000037d: REVERT 0000037e: JUMPDEST 0000037f: DUP1 00000380: CALLDATALOAD 00000381: SWAP1 00000382: PUSH1 0x20 00000384: ADD 00000385: SWAP2 00000386: DUP5 00000387: PUSH1 0x01 00000389: DUP4 0000038a: MUL 0000038b: DUP5 0000038c: ADD 0000038d: GT 0000038e: PUSH5 0x0100000000 00000394: DUP4 00000395: GT 00000396: OR 00000397: ISZERO 00000398: PUSH2 0x03a0 0000039b: JUMPI 0000039c: PUSH1 0x00 0000039e: DUP1 0000039f: REVERT 000003a0: JUMPDEST 000003a1: SWAP2 000003a2: SWAP1 000003a3: DUP1 000003a4: DUP1 000003a5: PUSH1 0x1f 000003a7: ADD 000003a8: PUSH1 0x20 000003aa: DUP1 000003ab: SWAP2 000003ac: DIV 000003ad: MUL 000003ae: PUSH1 0x20 000003b0: ADD 000003b1: PUSH1 0x40 000003b3: MLOAD 000003b4: SWAP1 000003b5: DUP2 000003b6: ADD 000003b7: PUSH1 0x40 000003b9: MSTORE 000003ba: DUP1 000003bb: SWAP4 000003bc: SWAP3 000003bd: SWAP2 000003be: SWAP1 000003bf: DUP2 000003c0: DUP2 000003c1: MSTORE 000003c2: PUSH1 0x20 000003c4: ADD 000003c5: DUP4 000003c6: DUP4 000003c7: DUP1 000003c8: DUP3 000003c9: DUP5 000003ca: CALLDATACOPY 000003cb: PUSH1 0x00 000003cd: DUP2 000003ce: DUP5 000003cf: ADD 000003d0: MSTORE 000003d1: PUSH1 0x1f 000003d3: NOT 000003d4: PUSH1 0x1f 000003d6: DUP3 000003d7: ADD 000003d8: AND 000003d9: SWAP1 000003da: POP 000003db: DUP1 000003dc: DUP4 000003dd: ADD 000003de: SWAP3 000003df: POP 000003e0: POP 000003e1: POP 000003e2: POP 000003e3: POP 000003e4: POP 000003e5: POP 000003e6: SWAP2 000003e7: SWAP3 000003e8: SWAP2 000003e9: SWAP3 000003ea: SWAP1 000003eb: DUP1 000003ec: CALLDATALOAD 000003ed: SWAP1 000003ee: PUSH1 0x20 000003f0: ADD 000003f1: SWAP1 000003f2: PUSH5 0x0100000000 000003f8: DUP2 000003f9: GT 000003fa: ISZERO 000003fb: PUSH2 0x0403 000003fe: JUMPI 000003ff: PUSH1 0x00 00000401: DUP1 00000402: REVERT 00000403: JUMPDEST 00000404: DUP3 00000405: ADD 00000406: DUP4 00000407: PUSH1 0x20 00000409: DUP3 0000040a: ADD 0000040b: GT 0000040c: ISZERO 0000040d: PUSH2 0x0415 00000410: JUMPI 00000411: PUSH1 0x00 00000413: DUP1 00000414: REVERT 00000415: JUMPDEST 00000416: DUP1 00000417: CALLDATALOAD 00000418: SWAP1 00000419: PUSH1 0x20 0000041b: ADD 0000041c: SWAP2 0000041d: DUP5 0000041e: PUSH1 0x20 00000420: DUP4 00000421: MUL 00000422: DUP5 00000423: ADD 00000424: GT 00000425: PUSH5 0x0100000000 0000042b: DUP4 0000042c: GT 0000042d: OR 0000042e: ISZERO 0000042f: PUSH2 0x0437 00000432: JUMPI 00000433: PUSH1 0x00 00000435: DUP1 00000436: REVERT 00000437: JUMPDEST 00000438: SWAP2 00000439: SWAP1 0000043a: DUP1 0000043b: DUP1 0000043c: PUSH1 0x20 0000043e: MUL 0000043f: PUSH1 0x20 00000441: ADD 00000442: PUSH1 0x40 00000444: MLOAD 00000445: SWAP1 00000446: DUP2 00000447: ADD 00000448: PUSH1 0x40 0000044a: MSTORE 0000044b: DUP1 0000044c: SWAP4 0000044d: SWAP3 0000044e: SWAP2 0000044f: SWAP1 00000450: DUP2 00000451: DUP2 00000452: MSTORE 00000453: PUSH1 0x20 00000455: ADD 00000456: DUP4 00000457: DUP4 00000458: PUSH1 0x20 0000045a: MUL 0000045b: DUP1 0000045c: DUP3 0000045d: DUP5 0000045e: CALLDATACOPY 0000045f: PUSH1 0x00 00000461: DUP2 00000462: DUP5 00000463: ADD 00000464: MSTORE 00000465: PUSH1 0x1f 00000467: NOT 00000468: PUSH1 0x1f 0000046a: DUP3 0000046b: ADD 0000046c: AND 0000046d: SWAP1 0000046e: POP 0000046f: DUP1 00000470: DUP4 00000471: ADD 00000472: SWAP3 00000473: POP 00000474: POP 00000475: POP 00000476: POP 00000477: POP 00000478: POP 00000479: POP 0000047a: SWAP2 0000047b: SWAP3 0000047c: SWAP2 0000047d: SWAP3 0000047e: SWAP1 0000047f: DUP1 00000480: CALLDATALOAD 00000481: SWAP1 00000482: PUSH1 0x20 00000484: ADD 00000485: SWAP1 00000486: PUSH5 0x0100000000 0000048c: DUP2 0000048d: GT 0000048e: ISZERO 0000048f: PUSH2 0x0497 00000492: JUMPI 00000493: PUSH1 0x00 00000495: DUP1 00000496: REVERT 00000497: JUMPDEST 00000498: DUP3 00000499: ADD 0000049a: DUP4 0000049b: PUSH1 0x20 0000049d: DUP3 0000049e: ADD 0000049f: GT 000004a0: ISZERO 000004a1: PUSH2 0x04a9 000004a4: JUMPI 000004a5: PUSH1 0x00 000004a7: DUP1 000004a8: REVERT 000004a9: JUMPDEST 000004aa: DUP1 000004ab: CALLDATALOAD 000004ac: SWAP1 000004ad: PUSH1 0x20 000004af: ADD 000004b0: SWAP2 000004b1: DUP5 000004b2: PUSH1 0x20 000004b4: DUP4 000004b5: MUL 000004b6: DUP5 000004b7: ADD 000004b8: GT 000004b9: PUSH5 0x0100000000 000004bf: DUP4 000004c0: GT 000004c1: OR 000004c2: ISZERO 000004c3: PUSH2 0x04cb 000004c6: JUMPI 000004c7: PUSH1 0x00 000004c9: DUP1 000004ca: REVERT 000004cb: JUMPDEST 000004cc: SWAP2 000004cd: SWAP1 000004ce: DUP1 000004cf: DUP1 000004d0: PUSH1 0x20 000004d2: MUL 000004d3: PUSH1 0x20 000004d5: ADD 000004d6: PUSH1 0x40 000004d8: MLOAD 000004d9: SWAP1 000004da: DUP2 000004db: ADD 000004dc: PUSH1 0x40 000004de: MSTORE 000004df: DUP1 000004e0: SWAP4 000004e1: SWAP3 000004e2: SWAP2 000004e3: SWAP1 000004e4: DUP2 000004e5: DUP2 000004e6: MSTORE 000004e7: PUSH1 0x20 000004e9: ADD 000004ea: DUP4 000004eb: DUP4 000004ec: PUSH1 0x20 000004ee: MUL 000004ef: DUP1 000004f0: DUP3 000004f1: DUP5 000004f2: CALLDATACOPY 000004f3: PUSH1 0x00 000004f5: DUP2 000004f6: DUP5 000004f7: ADD 000004f8: MSTORE 000004f9: PUSH1 0x1f 000004fb: NOT 000004fc: PUSH1 0x1f 000004fe: DUP3 000004ff: ADD 00000500: AND 00000501: SWAP1 00000502: POP 00000503: DUP1 00000504: DUP4 00000505: ADD 00000506: SWAP3 00000507: POP 00000508: POP 00000509: POP 0000050a: POP 0000050b: POP 0000050c: POP 0000050d: POP 0000050e: SWAP2 0000050f: SWAP3 00000510: SWAP2 00000511: SWAP3 00000512: SWAP1 00000513: DUP1 00000514: CALLDATALOAD 00000515: SWAP1 00000516: PUSH1 0x20 00000518: ADD 00000519: SWAP1 0000051a: PUSH5 0x0100000000 00000520: DUP2 00000521: GT 00000522: ISZERO 00000523: PUSH2 0x052b 00000526: JUMPI 00000527: PUSH1 0x00 00000529: DUP1 0000052a: REVERT 0000052b: JUMPDEST 0000052c: DUP3 0000052d: ADD 0000052e: DUP4 0000052f: PUSH1 0x20 00000531: DUP3 00000532: ADD 00000533: GT 00000534: ISZERO 00000535: PUSH2 0x053d 00000538: JUMPI 00000539: PUSH1 0x00 0000053b: DUP1 0000053c: REVERT 0000053d: JUMPDEST 0000053e: DUP1 0000053f: CALLDATALOAD 00000540: SWAP1 00000541: PUSH1 0x20 00000543: ADD 00000544: SWAP2 00000545: DUP5 00000546: PUSH1 0x20 00000548: DUP4 00000549: MUL 0000054a: DUP5 0000054b: ADD 0000054c: GT 0000054d: PUSH5 0x0100000000 00000553: DUP4 00000554: GT 00000555: OR 00000556: ISZERO 00000557: PUSH2 0x055f 0000055a: JUMPI 0000055b: PUSH1 0x00 0000055d: DUP1 0000055e: REVERT 0000055f: JUMPDEST 00000560: SWAP2 00000561: SWAP1 00000562: DUP1 00000563: DUP1 00000564: PUSH1 0x20 00000566: MUL 00000567: PUSH1 0x20 00000569: ADD 0000056a: PUSH1 0x40 0000056c: MLOAD 0000056d: SWAP1 0000056e: DUP2 0000056f: ADD 00000570: PUSH1 0x40 00000572: MSTORE 00000573: DUP1 00000574: SWAP4 00000575: SWAP3 00000576: SWAP2 00000577: SWAP1 00000578: DUP2 00000579: DUP2 0000057a: MSTORE 0000057b: PUSH1 0x20 0000057d: ADD 0000057e: DUP4 0000057f: DUP4 00000580: PUSH1 0x20 00000582: MUL 00000583: DUP1 00000584: DUP3 00000585: DUP5 00000586: CALLDATACOPY 00000587: PUSH1 0x00 00000589: DUP2 0000058a: DUP5 0000058b: ADD 0000058c: MSTORE 0000058d: PUSH1 0x1f 0000058f: NOT 00000590: PUSH1 0x1f 00000592: DUP3 00000593: ADD 00000594: AND 00000595: SWAP1 00000596: POP 00000597: DUP1 00000598: DUP4 00000599: ADD 0000059a: SWAP3 0000059b: POP 0000059c: POP 0000059d: POP 0000059e: POP 0000059f: POP 000005a0: POP 000005a1: POP 000005a2: SWAP2 000005a3: SWAP3 000005a4: SWAP2 000005a5: SWAP3 000005a6: SWAP1 000005a7: DUP1 000005a8: CALLDATALOAD 000005a9: PUSH8 0xffffffffffffffff 000005b2: AND 000005b3: SWAP1 000005b4: PUSH1 0x20 000005b6: ADD 000005b7: SWAP1 000005b8: SWAP3 000005b9: SWAP2 000005ba: SWAP1 000005bb: POP 000005bc: POP 000005bd: POP 000005be: PUSH2 0x1153 000005c1: JUMP 000005c2: JUMPDEST 000005c3: STOP 000005c4: JUMPDEST 000005c5: CALLVALUE 000005c6: DUP1 000005c7: ISZERO 000005c8: PUSH2 0x05d0 000005cb: JUMPI 000005cc: PUSH1 0x00 000005ce: DUP1 000005cf: REVERT 000005d0: JUMPDEST 000005d1: POP 000005d2: PUSH2 0x0607 000005d5: PUSH1 0x04 000005d7: DUP1 000005d8: CALLDATASIZE 000005d9: SUB 000005da: PUSH1 0x20 000005dc: DUP2 000005dd: LT 000005de: ISZERO 000005df: PUSH2 0x05e7 000005e2: JUMPI 000005e3: PUSH1 0x00 000005e5: DUP1 000005e6: REVERT 000005e7: JUMPDEST 000005e8: DUP2 000005e9: ADD 000005ea: SWAP1 000005eb: DUP1 000005ec: DUP1 000005ed: CALLDATALOAD 000005ee: PUSH8 0xffffffffffffffff 000005f7: AND 000005f8: SWAP1 000005f9: PUSH1 0x20 000005fb: ADD 000005fc: SWAP1 000005fd: SWAP3 000005fe: SWAP2 000005ff: SWAP1 00000600: POP 00000601: POP 00000602: POP 00000603: PUSH2 0x1712 00000606: JUMP 00000607: JUMPDEST 00000608: PUSH1 0x40 0000060a: MLOAD 0000060b: DUP1 0000060c: DUP3 0000060d: PUSH1 0x15 0000060f: PUSH1 0x20 00000611: MUL 00000612: DUP1 00000613: DUP4 00000614: DUP4 00000615: PUSH1 0x00 00000617: JUMPDEST 00000618: DUP4 00000619: DUP2 0000061a: LT 0000061b: ISZERO 0000061c: PUSH2 0x0632 0000061f: JUMPI 00000620: DUP1 00000621: DUP3 00000622: ADD 00000623: MLOAD 00000624: DUP2 00000625: DUP5 00000626: ADD 00000627: MSTORE 00000628: PUSH1 0x20 0000062a: DUP2 0000062b: ADD 0000062c: SWAP1 0000062d: POP 0000062e: PUSH2 0x0617 00000631: JUMP 00000632: JUMPDEST 00000633: POP 00000634: POP 00000635: POP 00000636: POP 00000637: SWAP1 00000638: POP 00000639: ADD 0000063a: SWAP2 0000063b: POP 0000063c: POP 0000063d: PUSH1 0x40 0000063f: MLOAD 00000640: DUP1 00000641: SWAP2 00000642: SUB 00000643: SWAP1 00000644: RETURN 00000645: JUMPDEST 00000646: CALLVALUE 00000647: DUP1 00000648: ISZERO 00000649: PUSH2 0x0651 0000064c: JUMPI 0000064d: PUSH1 0x00 0000064f: DUP1 00000650: REVERT 00000651: JUMPDEST 00000652: POP 00000653: PUSH2 0x0694 00000656: PUSH1 0x04 00000658: DUP1 00000659: CALLDATASIZE 0000065a: SUB 0000065b: PUSH1 0x20 0000065d: DUP2 0000065e: LT 0000065f: ISZERO 00000660: PUSH2 0x0668 00000663: JUMPI 00000664: PUSH1 0x00 00000666: DUP1 00000667: REVERT 00000668: JUMPDEST 00000669: DUP2 0000066a: ADD 0000066b: SWAP1 0000066c: DUP1 0000066d: DUP1 0000066e: CALLDATALOAD 0000066f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000684: AND 00000685: SWAP1 00000686: PUSH1 0x20 00000688: ADD 00000689: SWAP1 0000068a: SWAP3 0000068b: SWAP2 0000068c: SWAP1 0000068d: POP 0000068e: POP 0000068f: POP 00000690: PUSH2 0x17eb 00000693: JUMP 00000694: JUMPDEST 00000695: STOP 00000696: JUMPDEST 00000697: CALLVALUE 00000698: DUP1 00000699: ISZERO 0000069a: PUSH2 0x06a2 0000069d: JUMPI 0000069e: PUSH1 0x00 000006a0: DUP1 000006a1: REVERT 000006a2: JUMPDEST 000006a3: POP 000006a4: PUSH2 0x0a80 000006a7: PUSH1 0x04 000006a9: DUP1 000006aa: CALLDATASIZE 000006ab: SUB 000006ac: PUSH2 0x0120 000006af: DUP2 000006b0: LT 000006b1: ISZERO 000006b2: PUSH2 0x06ba 000006b5: JUMPI 000006b6: PUSH1 0x00 000006b8: DUP1 000006b9: REVERT 000006ba: JUMPDEST 000006bb: DUP2 000006bc: ADD 000006bd: SWAP1 000006be: DUP1 000006bf: DUP1 000006c0: CALLDATALOAD 000006c1: PUSH8 0xffffffffffffffff 000006ca: AND 000006cb: SWAP1 000006cc: PUSH1 0x20 000006ce: ADD 000006cf: SWAP1 000006d0: SWAP3 000006d1: SWAP2 000006d2: SWAP1 000006d3: DUP1 000006d4: CALLDATALOAD 000006d5: PUSH8 0xffffffffffffffff 000006de: AND 000006df: SWAP1 000006e0: PUSH1 0x20 000006e2: ADD 000006e3: SWAP1 000006e4: SWAP3 000006e5: SWAP2 000006e6: SWAP1 000006e7: DUP1 000006e8: CALLDATALOAD 000006e9: SWAP1 000006ea: PUSH1 0x20 000006ec: ADD 000006ed: SWAP1 000006ee: PUSH5 0x0100000000 000006f4: DUP2 000006f5: GT 000006f6: ISZERO 000006f7: PUSH2 0x06ff 000006fa: JUMPI 000006fb: PUSH1 0x00 000006fd: DUP1 000006fe: REVERT 000006ff: JUMPDEST 00000700: DUP3 00000701: ADD 00000702: DUP4 00000703: PUSH1 0x20 00000705: DUP3 00000706: ADD 00000707: GT 00000708: ISZERO 00000709: PUSH2 0x0711 0000070c: JUMPI 0000070d: PUSH1 0x00 0000070f: DUP1 00000710: REVERT 00000711: JUMPDEST 00000712: DUP1 00000713: CALLDATALOAD 00000714: SWAP1 00000715: PUSH1 0x20 00000717: ADD 00000718: SWAP2 00000719: DUP5 0000071a: PUSH1 0x01 0000071c: DUP4 0000071d: MUL 0000071e: DUP5 0000071f: ADD 00000720: GT 00000721: PUSH5 0x0100000000 00000727: DUP4 00000728: GT 00000729: OR 0000072a: ISZERO 0000072b: PUSH2 0x0733 0000072e: JUMPI 0000072f: PUSH1 0x00 00000731: DUP1 00000732: REVERT 00000733: JUMPDEST 00000734: SWAP2 00000735: SWAP1 00000736: DUP1 00000737: DUP1 00000738: PUSH1 0x1f 0000073a: ADD 0000073b: PUSH1 0x20 0000073d: DUP1 0000073e: SWAP2 0000073f: DIV 00000740: MUL 00000741: PUSH1 0x20 00000743: ADD 00000744: PUSH1 0x40 00000746: MLOAD 00000747: SWAP1 00000748: DUP2 00000749: ADD 0000074a: PUSH1 0x40 0000074c: MSTORE 0000074d: DUP1 0000074e: SWAP4 0000074f: SWAP3 00000750: SWAP2 00000751: SWAP1 00000752: DUP2 00000753: DUP2 00000754: MSTORE 00000755: PUSH1 0x20 00000757: ADD 00000758: DUP4 00000759: DUP4 0000075a: DUP1 0000075b: DUP3 0000075c: DUP5 0000075d: CALLDATACOPY 0000075e: PUSH1 0x00 00000760: DUP2 00000761: DUP5 00000762: ADD 00000763: MSTORE 00000764: PUSH1 0x1f 00000766: NOT 00000767: PUSH1 0x1f 00000769: DUP3 0000076a: ADD 0000076b: AND 0000076c: SWAP1 0000076d: POP 0000076e: DUP1 0000076f: DUP4 00000770: ADD 00000771: SWAP3 00000772: POP 00000773: POP 00000774: POP 00000775: POP 00000776: POP 00000777: POP 00000778: POP 00000779: SWAP2 0000077a: SWAP3 0000077b: SWAP2 0000077c: SWAP3 0000077d: SWAP1 0000077e: DUP1 0000077f: CALLDATALOAD 00000780: SWAP1 00000781: PUSH1 0x20 00000783: ADD 00000784: SWAP1 00000785: PUSH5 0x0100000000 0000078b: DUP2 0000078c: GT 0000078d: ISZERO 0000078e: PUSH2 0x0796 00000791: JUMPI 00000792: PUSH1 0x00 00000794: DUP1 00000795: REVERT 00000796: JUMPDEST 00000797: DUP3 00000798: ADD 00000799: DUP4 0000079a: PUSH1 0x20 0000079c: DUP3 0000079d: ADD 0000079e: GT 0000079f: ISZERO 000007a0: PUSH2 0x07a8 000007a3: JUMPI 000007a4: PUSH1 0x00 000007a6: DUP1 000007a7: REVERT 000007a8: JUMPDEST 000007a9: DUP1 000007aa: CALLDATALOAD 000007ab: SWAP1 000007ac: PUSH1 0x20 000007ae: ADD 000007af: SWAP2 000007b0: DUP5 000007b1: PUSH1 0x01 000007b3: DUP4 000007b4: MUL 000007b5: DUP5 000007b6: ADD 000007b7: GT 000007b8: PUSH5 0x0100000000 000007be: DUP4 000007bf: GT 000007c0: OR 000007c1: ISZERO 000007c2: PUSH2 0x07ca 000007c5: JUMPI 000007c6: PUSH1 0x00 000007c8: DUP1 000007c9: REVERT 000007ca: JUMPDEST 000007cb: SWAP2 000007cc: SWAP1 000007cd: DUP1 000007ce: DUP1 000007cf: PUSH1 0x1f 000007d1: ADD 000007d2: PUSH1 0x20 000007d4: DUP1 000007d5: SWAP2 000007d6: DIV 000007d7: MUL 000007d8: PUSH1 0x20 000007da: ADD 000007db: PUSH1 0x40 000007dd: MLOAD 000007de: SWAP1 000007df: DUP2 000007e0: ADD 000007e1: PUSH1 0x40 000007e3: MSTORE 000007e4: DUP1 000007e5: SWAP4 000007e6: SWAP3 000007e7: SWAP2 000007e8: SWAP1 000007e9: DUP2 000007ea: DUP2 000007eb: MSTORE 000007ec: PUSH1 0x20 000007ee: ADD 000007ef: DUP4 000007f0: DUP4 000007f1: DUP1 000007f2: DUP3 000007f3: DUP5 000007f4: CALLDATACOPY 000007f5: PUSH1 0x00 000007f7: DUP2 000007f8: DUP5 000007f9: ADD 000007fa: MSTORE 000007fb: PUSH1 0x1f 000007fd: NOT 000007fe: PUSH1 0x1f 00000800: DUP3 00000801: ADD 00000802: AND 00000803: SWAP1 00000804: POP 00000805: DUP1 00000806: DUP4 00000807: ADD 00000808: SWAP3 00000809: POP 0000080a: POP 0000080b: POP 0000080c: POP 0000080d: POP 0000080e: POP 0000080f: POP 00000810: SWAP2 00000811: SWAP3 00000812: SWAP2 00000813: SWAP3 00000814: SWAP1 00000815: DUP1 00000816: CALLDATALOAD 00000817: SWAP1 00000818: PUSH1 0x20 0000081a: ADD 0000081b: SWAP1 0000081c: PUSH5 0x0100000000 00000822: DUP2 00000823: GT 00000824: ISZERO 00000825: PUSH2 0x082d 00000828: JUMPI 00000829: PUSH1 0x00 0000082b: DUP1 0000082c: REVERT 0000082d: JUMPDEST 0000082e: DUP3 0000082f: ADD 00000830: DUP4 00000831: PUSH1 0x20 00000833: DUP3 00000834: ADD 00000835: GT 00000836: ISZERO 00000837: PUSH2 0x083f 0000083a: JUMPI 0000083b: PUSH1 0x00 0000083d: DUP1 0000083e: REVERT 0000083f: JUMPDEST 00000840: DUP1 00000841: CALLDATALOAD 00000842: SWAP1 00000843: PUSH1 0x20 00000845: ADD 00000846: SWAP2 00000847: DUP5 00000848: PUSH1 0x20 0000084a: DUP4 0000084b: MUL 0000084c: DUP5 0000084d: ADD 0000084e: GT 0000084f: PUSH5 0x0100000000 00000855: DUP4 00000856: GT 00000857: OR 00000858: ISZERO 00000859: PUSH2 0x0861 0000085c: JUMPI 0000085d: PUSH1 0x00 0000085f: DUP1 00000860: REVERT 00000861: JUMPDEST 00000862: SWAP2 00000863: SWAP1 00000864: DUP1 00000865: DUP1 00000866: PUSH1 0x20 00000868: MUL 00000869: PUSH1 0x20 0000086b: ADD 0000086c: PUSH1 0x40 0000086e: MLOAD 0000086f: SWAP1 00000870: DUP2 00000871: ADD 00000872: PUSH1 0x40 00000874: MSTORE 00000875: DUP1 00000876: SWAP4 00000877: SWAP3 00000878: SWAP2 00000879: SWAP1 0000087a: DUP2 0000087b: DUP2 0000087c: MSTORE 0000087d: PUSH1 0x20 0000087f: ADD 00000880: DUP4 00000881: DUP4 00000882: PUSH1 0x20 00000884: MUL 00000885: DUP1 00000886: DUP3 00000887: DUP5 00000888: CALLDATACOPY 00000889: PUSH1 0x00 0000088b: DUP2 0000088c: DUP5 0000088d: ADD 0000088e: MSTORE 0000088f: PUSH1 0x1f 00000891: NOT 00000892: PUSH1 0x1f 00000894: DUP3 00000895: ADD 00000896: AND 00000897: SWAP1 00000898: POP 00000899: DUP1 0000089a: DUP4 0000089b: ADD 0000089c: SWAP3 0000089d: POP 0000089e: POP 0000089f: POP 000008a0: POP 000008a1: POP 000008a2: POP 000008a3: POP 000008a4: SWAP2 000008a5: SWAP3 000008a6: SWAP2 000008a7: SWAP3 000008a8: SWAP1 000008a9: DUP1 000008aa: CALLDATALOAD 000008ab: SWAP1 000008ac: PUSH1 0x20 000008ae: ADD 000008af: SWAP1 000008b0: PUSH5 0x0100000000 000008b6: DUP2 000008b7: GT 000008b8: ISZERO 000008b9: PUSH2 0x08c1 000008bc: JUMPI 000008bd: PUSH1 0x00 000008bf: DUP1 000008c0: REVERT 000008c1: JUMPDEST 000008c2: DUP3 000008c3: ADD 000008c4: DUP4 000008c5: PUSH1 0x20 000008c7: DUP3 000008c8: ADD 000008c9: GT 000008ca: ISZERO 000008cb: PUSH2 0x08d3 000008ce: JUMPI 000008cf: PUSH1 0x00 000008d1: DUP1 000008d2: REVERT 000008d3: JUMPDEST 000008d4: DUP1 000008d5: CALLDATALOAD 000008d6: SWAP1 000008d7: PUSH1 0x20 000008d9: ADD 000008da: SWAP2 000008db: DUP5 000008dc: PUSH1 0x20 000008de: DUP4 000008df: MUL 000008e0: DUP5 000008e1: ADD 000008e2: GT 000008e3: PUSH5 0x0100000000 000008e9: DUP4 000008ea: GT 000008eb: OR 000008ec: ISZERO 000008ed: PUSH2 0x08f5 000008f0: JUMPI 000008f1: PUSH1 0x00 000008f3: DUP1 000008f4: REVERT 000008f5: JUMPDEST 000008f6: SWAP2 000008f7: SWAP1 000008f8: DUP1 000008f9: DUP1 000008fa: PUSH1 0x20 000008fc: MUL 000008fd: PUSH1 0x20 000008ff: ADD 00000900: PUSH1 0x40 00000902: MLOAD 00000903: SWAP1 00000904: DUP2 00000905: ADD 00000906: PUSH1 0x40 00000908: MSTORE 00000909: DUP1 0000090a: SWAP4 0000090b: SWAP3 0000090c: SWAP2 0000090d: SWAP1 0000090e: DUP2 0000090f: DUP2 00000910: MSTORE 00000911: PUSH1 0x20 00000913: ADD 00000914: DUP4 00000915: DUP4 00000916: PUSH1 0x20 00000918: MUL 00000919: DUP1 0000091a: DUP3 0000091b: DUP5 0000091c: CALLDATACOPY 0000091d: PUSH1 0x00 0000091f: DUP2 00000920: DUP5 00000921: ADD 00000922: MSTORE 00000923: PUSH1 0x1f 00000925: NOT 00000926: PUSH1 0x1f 00000928: DUP3 00000929: ADD 0000092a: AND 0000092b: SWAP1 0000092c: POP 0000092d: DUP1 0000092e: DUP4 0000092f: ADD 00000930: SWAP3 00000931: POP 00000932: POP 00000933: POP 00000934: POP 00000935: POP 00000936: POP 00000937: POP 00000938: SWAP2 00000939: SWAP3 0000093a: SWAP2 0000093b: SWAP3 0000093c: SWAP1 0000093d: DUP1 0000093e: CALLDATALOAD 0000093f: SWAP1 00000940: PUSH1 0x20 00000942: ADD 00000943: SWAP1 00000944: PUSH5 0x0100000000 0000094a: DUP2 0000094b: GT 0000094c: ISZERO 0000094d: PUSH2 0x0955 00000950: JUMPI 00000951: PUSH1 0x00 00000953: DUP1 00000954: REVERT 00000955: JUMPDEST 00000956: DUP3 00000957: ADD 00000958: DUP4 00000959: PUSH1 0x20 0000095b: DUP3 0000095c: ADD 0000095d: GT 0000095e: ISZERO 0000095f: PUSH2 0x0967 00000962: JUMPI 00000963: PUSH1 0x00 00000965: DUP1 00000966: REVERT 00000967: JUMPDEST 00000968: DUP1 00000969: CALLDATALOAD 0000096a: SWAP1 0000096b: PUSH1 0x20 0000096d: ADD 0000096e: SWAP2 0000096f: DUP5 00000970: PUSH1 0x20 00000972: DUP4 00000973: MUL 00000974: DUP5 00000975: ADD 00000976: GT 00000977: PUSH5 0x0100000000 0000097d: DUP4 0000097e: GT 0000097f: OR 00000980: ISZERO 00000981: PUSH2 0x0989 00000984: JUMPI 00000985: PUSH1 0x00 00000987: DUP1 00000988: REVERT 00000989: JUMPDEST 0000098a: SWAP2 0000098b: SWAP1 0000098c: DUP1 0000098d: DUP1 0000098e: PUSH1 0x20 00000990: MUL 00000991: PUSH1 0x20 00000993: ADD 00000994: PUSH1 0x40 00000996: MLOAD 00000997: SWAP1 00000998: DUP2 00000999: ADD 0000099a: PUSH1 0x40 0000099c: MSTORE 0000099d: DUP1 0000099e: SWAP4 0000099f: SWAP3 000009a0: SWAP2 000009a1: SWAP1 000009a2: DUP2 000009a3: DUP2 000009a4: MSTORE 000009a5: PUSH1 0x20 000009a7: ADD 000009a8: DUP4 000009a9: DUP4 000009aa: PUSH1 0x20 000009ac: MUL 000009ad: DUP1 000009ae: DUP3 000009af: DUP5 000009b0: CALLDATACOPY 000009b1: PUSH1 0x00 000009b3: DUP2 000009b4: DUP5 000009b5: ADD 000009b6: MSTORE 000009b7: PUSH1 0x1f 000009b9: NOT 000009ba: PUSH1 0x1f 000009bc: DUP3 000009bd: ADD 000009be: AND 000009bf: SWAP1 000009c0: POP 000009c1: DUP1 000009c2: DUP4 000009c3: ADD 000009c4: SWAP3 000009c5: POP 000009c6: POP 000009c7: POP 000009c8: POP 000009c9: POP 000009ca: POP 000009cb: POP 000009cc: SWAP2 000009cd: SWAP3 000009ce: SWAP2 000009cf: SWAP3 000009d0: SWAP1 000009d1: DUP1 000009d2: CALLDATALOAD 000009d3: PUSH8 0xffffffffffffffff 000009dc: AND 000009dd: SWAP1 000009de: PUSH1 0x20 000009e0: ADD 000009e1: SWAP1 000009e2: SWAP3 000009e3: SWAP2 000009e4: SWAP1 000009e5: DUP1 000009e6: CALLDATALOAD 000009e7: SWAP1 000009e8: PUSH1 0x20 000009ea: ADD 000009eb: SWAP1 000009ec: PUSH5 0x0100000000 000009f2: DUP2 000009f3: GT 000009f4: ISZERO 000009f5: PUSH2 0x09fd 000009f8: JUMPI 000009f9: PUSH1 0x00 000009fb: DUP1 000009fc: REVERT 000009fd: JUMPDEST 000009fe: DUP3 000009ff: ADD 00000a00: DUP4 00000a01: PUSH1 0x20 00000a03: DUP3 00000a04: ADD 00000a05: GT 00000a06: ISZERO 00000a07: PUSH2 0x0a0f 00000a0a: JUMPI 00000a0b: PUSH1 0x00 00000a0d: DUP1 00000a0e: REVERT 00000a0f: JUMPDEST 00000a10: DUP1 00000a11: CALLDATALOAD 00000a12: SWAP1 00000a13: PUSH1 0x20 00000a15: ADD 00000a16: SWAP2 00000a17: DUP5 00000a18: PUSH1 0x20 00000a1a: DUP4 00000a1b: MUL 00000a1c: DUP5 00000a1d: ADD 00000a1e: GT 00000a1f: PUSH5 0x0100000000 00000a25: DUP4 00000a26: GT 00000a27: OR 00000a28: ISZERO 00000a29: PUSH2 0x0a31 00000a2c: JUMPI 00000a2d: PUSH1 0x00 00000a2f: DUP1 00000a30: REVERT 00000a31: JUMPDEST 00000a32: SWAP2 00000a33: SWAP1 00000a34: DUP1 00000a35: DUP1 00000a36: PUSH1 0x20 00000a38: MUL 00000a39: PUSH1 0x20 00000a3b: ADD 00000a3c: PUSH1 0x40 00000a3e: MLOAD 00000a3f: SWAP1 00000a40: DUP2 00000a41: ADD 00000a42: PUSH1 0x40 00000a44: MSTORE 00000a45: DUP1 00000a46: SWAP4 00000a47: SWAP3 00000a48: SWAP2 00000a49: SWAP1 00000a4a: DUP2 00000a4b: DUP2 00000a4c: MSTORE 00000a4d: PUSH1 0x20 00000a4f: ADD 00000a50: DUP4 00000a51: DUP4 00000a52: PUSH1 0x20 00000a54: MUL 00000a55: DUP1 00000a56: DUP3 00000a57: DUP5 00000a58: CALLDATACOPY 00000a59: PUSH1 0x00 00000a5b: DUP2 00000a5c: DUP5 00000a5d: ADD 00000a5e: MSTORE 00000a5f: PUSH1 0x1f 00000a61: NOT 00000a62: PUSH1 0x1f 00000a64: DUP3 00000a65: ADD 00000a66: AND 00000a67: SWAP1 00000a68: POP 00000a69: DUP1 00000a6a: DUP4 00000a6b: ADD 00000a6c: SWAP3 00000a6d: POP 00000a6e: POP 00000a6f: POP 00000a70: POP 00000a71: POP 00000a72: POP 00000a73: POP 00000a74: SWAP2 00000a75: SWAP3 00000a76: SWAP2 00000a77: SWAP3 00000a78: SWAP1 00000a79: POP 00000a7a: POP 00000a7b: POP 00000a7c: PUSH2 0x18f1 00000a7f: JUMP 00000a80: JUMPDEST 00000a81: STOP 00000a82: JUMPDEST 00000a83: CALLVALUE 00000a84: DUP1 00000a85: ISZERO 00000a86: PUSH2 0x0a8e 00000a89: JUMPI 00000a8a: PUSH1 0x00 00000a8c: DUP1 00000a8d: REVERT 00000a8e: JUMPDEST 00000a8f: POP 00000a90: PUSH2 0x0a97 00000a93: PUSH2 0x1bf9 00000a96: JUMP 00000a97: JUMPDEST 00000a98: PUSH1 0x40 00000a9a: MLOAD 00000a9b: DUP1 00000a9c: DUP3 00000a9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab2: AND 00000ab3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac8: AND 00000ac9: DUP2 00000aca: MSTORE 00000acb: PUSH1 0x20 00000acd: ADD 00000ace: SWAP2 00000acf: POP 00000ad0: POP 00000ad1: PUSH1 0x40 00000ad3: MLOAD 00000ad4: DUP1 00000ad5: SWAP2 00000ad6: SUB 00000ad7: SWAP1 00000ad8: RETURN 00000ad9: JUMPDEST 00000ada: CALLVALUE 00000adb: DUP1 00000adc: ISZERO 00000add: PUSH2 0x0ae5 00000ae0: JUMPI 00000ae1: PUSH1 0x00 00000ae3: DUP1 00000ae4: REVERT 00000ae5: JUMPDEST 00000ae6: POP 00000ae7: PUSH2 0x0b28 00000aea: PUSH1 0x04 00000aec: DUP1 00000aed: CALLDATASIZE 00000aee: SUB 00000aef: PUSH1 0x20 00000af1: DUP2 00000af2: LT 00000af3: ISZERO 00000af4: PUSH2 0x0afc 00000af7: JUMPI 00000af8: PUSH1 0x00 00000afa: DUP1 00000afb: REVERT 00000afc: JUMPDEST 00000afd: DUP2 00000afe: ADD 00000aff: SWAP1 00000b00: DUP1 00000b01: DUP1 00000b02: CALLDATALOAD 00000b03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b18: AND 00000b19: SWAP1 00000b1a: PUSH1 0x20 00000b1c: ADD 00000b1d: SWAP1 00000b1e: SWAP3 00000b1f: SWAP2 00000b20: SWAP1 00000b21: POP 00000b22: POP 00000b23: POP 00000b24: PUSH2 0x1c1e 00000b27: JUMP 00000b28: JUMPDEST 00000b29: PUSH1 0x40 00000b2b: MLOAD 00000b2c: DUP1 00000b2d: DUP3 00000b2e: DUP2 00000b2f: MSTORE 00000b30: PUSH1 0x20 00000b32: ADD 00000b33: SWAP2 00000b34: POP 00000b35: POP 00000b36: PUSH1 0x40 00000b38: MLOAD 00000b39: DUP1 00000b3a: SWAP2 00000b3b: SUB 00000b3c: SWAP1 00000b3d: RETURN 00000b3e: JUMPDEST 00000b3f: CALLVALUE 00000b40: DUP1 00000b41: ISZERO 00000b42: PUSH2 0x0b4a 00000b45: JUMPI 00000b46: PUSH1 0x00 00000b48: DUP1 00000b49: REVERT 00000b4a: JUMPDEST 00000b4b: POP 00000b4c: PUSH2 0x0d49 00000b4f: PUSH1 0x04 00000b51: DUP1 00000b52: CALLDATASIZE 00000b53: SUB 00000b54: PUSH1 0x80 00000b56: DUP2 00000b57: LT 00000b58: ISZERO 00000b59: PUSH2 0x0b61 00000b5c: JUMPI 00000b5d: PUSH1 0x00 00000b5f: DUP1 00000b60: REVERT 00000b61: JUMPDEST 00000b62: DUP2 00000b63: ADD 00000b64: SWAP1 00000b65: DUP1 00000b66: DUP1 00000b67: CALLDATALOAD 00000b68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b7d: AND 00000b7e: SWAP1 00000b7f: PUSH1 0x20 00000b81: ADD 00000b82: SWAP1 00000b83: SWAP3 00000b84: SWAP2 00000b85: SWAP1 00000b86: DUP1 00000b87: CALLDATALOAD 00000b88: SWAP1 00000b89: PUSH1 0x20 00000b8b: ADD 00000b8c: SWAP1 00000b8d: PUSH5 0x0100000000 00000b93: DUP2 00000b94: GT 00000b95: ISZERO 00000b96: PUSH2 0x0b9e 00000b99: JUMPI 00000b9a: PUSH1 0x00 00000b9c: DUP1 00000b9d: REVERT 00000b9e: JUMPDEST 00000b9f: DUP3 00000ba0: ADD 00000ba1: DUP4 00000ba2: PUSH1 0x20 00000ba4: DUP3 00000ba5: ADD 00000ba6: GT 00000ba7: ISZERO 00000ba8: PUSH2 0x0bb0 00000bab: JUMPI 00000bac: PUSH1 0x00 00000bae: DUP1 00000baf: REVERT 00000bb0: JUMPDEST 00000bb1: DUP1 00000bb2: CALLDATALOAD 00000bb3: SWAP1 00000bb4: PUSH1 0x20 00000bb6: ADD 00000bb7: SWAP2 00000bb8: DUP5 00000bb9: PUSH1 0x20 00000bbb: DUP4 00000bbc: MUL 00000bbd: DUP5 00000bbe: ADD 00000bbf: GT 00000bc0: PUSH5 0x0100000000 00000bc6: DUP4 00000bc7: GT 00000bc8: OR 00000bc9: ISZERO 00000bca: PUSH2 0x0bd2 00000bcd: JUMPI 00000bce: PUSH1 0x00 00000bd0: DUP1 00000bd1: REVERT 00000bd2: JUMPDEST 00000bd3: SWAP2 00000bd4: SWAP1 00000bd5: DUP1 00000bd6: DUP1 00000bd7: PUSH1 0x20 00000bd9: MUL 00000bda: PUSH1 0x20 00000bdc: ADD 00000bdd: PUSH1 0x40 00000bdf: MLOAD 00000be0: SWAP1 00000be1: DUP2 00000be2: ADD 00000be3: PUSH1 0x40 00000be5: MSTORE 00000be6: DUP1 00000be7: SWAP4 00000be8: SWAP3 00000be9: SWAP2 00000bea: SWAP1 00000beb: DUP2 00000bec: DUP2 00000bed: MSTORE 00000bee: PUSH1 0x20 00000bf0: ADD 00000bf1: DUP4 00000bf2: DUP4 00000bf3: PUSH1 0x20 00000bf5: MUL 00000bf6: DUP1 00000bf7: DUP3 00000bf8: DUP5 00000bf9: CALLDATACOPY 00000bfa: PUSH1 0x00 00000bfc: DUP2 00000bfd: DUP5 00000bfe: ADD 00000bff: MSTORE 00000c00: PUSH1 0x1f 00000c02: NOT 00000c03: PUSH1 0x1f 00000c05: DUP3 00000c06: ADD 00000c07: AND 00000c08: SWAP1 00000c09: POP 00000c0a: DUP1 00000c0b: DUP4 00000c0c: ADD 00000c0d: SWAP3 00000c0e: POP 00000c0f: POP 00000c10: POP 00000c11: POP 00000c12: POP 00000c13: POP 00000c14: POP 00000c15: SWAP2 00000c16: SWAP3 00000c17: SWAP2 00000c18: SWAP3 00000c19: SWAP1 00000c1a: DUP1 00000c1b: CALLDATALOAD 00000c1c: SWAP1 00000c1d: PUSH1 0x20 00000c1f: ADD 00000c20: SWAP1 00000c21: PUSH5 0x0100000000 00000c27: DUP2 00000c28: GT 00000c29: ISZERO 00000c2a: PUSH2 0x0c32 00000c2d: JUMPI 00000c2e: PUSH1 0x00 00000c30: DUP1 00000c31: REVERT 00000c32: JUMPDEST 00000c33: DUP3 00000c34: ADD 00000c35: DUP4 00000c36: PUSH1 0x20 00000c38: DUP3 00000c39: ADD 00000c3a: GT 00000c3b: ISZERO 00000c3c: PUSH2 0x0c44 00000c3f: JUMPI 00000c40: PUSH1 0x00 00000c42: DUP1 00000c43: REVERT 00000c44: JUMPDEST 00000c45: DUP1 00000c46: CALLDATALOAD 00000c47: SWAP1 00000c48: PUSH1 0x20 00000c4a: ADD 00000c4b: SWAP2 00000c4c: DUP5 00000c4d: PUSH1 0x20 00000c4f: DUP4 00000c50: MUL 00000c51: DUP5 00000c52: ADD 00000c53: GT 00000c54: PUSH5 0x0100000000 00000c5a: DUP4 00000c5b: GT 00000c5c: OR 00000c5d: ISZERO 00000c5e: PUSH2 0x0c66 00000c61: JUMPI 00000c62: PUSH1 0x00 00000c64: DUP1 00000c65: REVERT 00000c66: JUMPDEST 00000c67: SWAP2 00000c68: SWAP1 00000c69: DUP1 00000c6a: DUP1 00000c6b: PUSH1 0x20 00000c6d: MUL 00000c6e: PUSH1 0x20 00000c70: ADD 00000c71: PUSH1 0x40 00000c73: MLOAD 00000c74: SWAP1 00000c75: DUP2 00000c76: ADD 00000c77: PUSH1 0x40 00000c79: MSTORE 00000c7a: DUP1 00000c7b: SWAP4 00000c7c: SWAP3 00000c7d: SWAP2 00000c7e: SWAP1 00000c7f: DUP2 00000c80: DUP2 00000c81: MSTORE 00000c82: PUSH1 0x20 00000c84: ADD 00000c85: DUP4 00000c86: DUP4 00000c87: PUSH1 0x20 00000c89: MUL 00000c8a: DUP1 00000c8b: DUP3 00000c8c: DUP5 00000c8d: CALLDATACOPY 00000c8e: PUSH1 0x00 00000c90: DUP2 00000c91: DUP5 00000c92: ADD 00000c93: MSTORE 00000c94: PUSH1 0x1f 00000c96: NOT 00000c97: PUSH1 0x1f 00000c99: DUP3 00000c9a: ADD 00000c9b: AND 00000c9c: SWAP1 00000c9d: POP 00000c9e: DUP1 00000c9f: DUP4 00000ca0: ADD 00000ca1: SWAP3 00000ca2: POP 00000ca3: POP 00000ca4: POP 00000ca5: POP 00000ca6: POP 00000ca7: POP 00000ca8: POP 00000ca9: SWAP2 00000caa: SWAP3 00000cab: SWAP2 00000cac: SWAP3 00000cad: SWAP1 00000cae: DUP1 00000caf: CALLDATALOAD 00000cb0: SWAP1 00000cb1: PUSH1 0x20 00000cb3: ADD 00000cb4: SWAP1 00000cb5: PUSH5 0x0100000000 00000cbb: DUP2 00000cbc: GT 00000cbd: ISZERO 00000cbe: PUSH2 0x0cc6 00000cc1: JUMPI 00000cc2: PUSH1 0x00 00000cc4: DUP1 00000cc5: REVERT 00000cc6: JUMPDEST 00000cc7: DUP3 00000cc8: ADD 00000cc9: DUP4 00000cca: PUSH1 0x20 00000ccc: DUP3 00000ccd: ADD 00000cce: GT 00000ccf: ISZERO 00000cd0: PUSH2 0x0cd8 00000cd3: JUMPI 00000cd4: PUSH1 0x00 00000cd6: DUP1 00000cd7: REVERT 00000cd8: JUMPDEST 00000cd9: DUP1 00000cda: CALLDATALOAD 00000cdb: SWAP1 00000cdc: PUSH1 0x20 00000cde: ADD 00000cdf: SWAP2 00000ce0: DUP5 00000ce1: PUSH1 0x20 00000ce3: DUP4 00000ce4: MUL 00000ce5: DUP5 00000ce6: ADD 00000ce7: GT 00000ce8: PUSH5 0x0100000000 00000cee: DUP4 00000cef: GT 00000cf0: OR 00000cf1: ISZERO 00000cf2: PUSH2 0x0cfa 00000cf5: JUMPI 00000cf6: PUSH1 0x00 00000cf8: DUP1 00000cf9: REVERT 00000cfa: JUMPDEST 00000cfb: SWAP2 00000cfc: SWAP1 00000cfd: DUP1 00000cfe: DUP1 00000cff: PUSH1 0x20 00000d01: MUL 00000d02: PUSH1 0x20 00000d04: ADD 00000d05: PUSH1 0x40 00000d07: MLOAD 00000d08: SWAP1 00000d09: DUP2 00000d0a: ADD 00000d0b: PUSH1 0x40 00000d0d: MSTORE 00000d0e: DUP1 00000d0f: SWAP4 00000d10: SWAP3 00000d11: SWAP2 00000d12: SWAP1 00000d13: DUP2 00000d14: DUP2 00000d15: MSTORE 00000d16: PUSH1 0x20 00000d18: ADD 00000d19: DUP4 00000d1a: DUP4 00000d1b: PUSH1 0x20 00000d1d: MUL 00000d1e: DUP1 00000d1f: DUP3 00000d20: DUP5 00000d21: CALLDATACOPY 00000d22: PUSH1 0x00 00000d24: DUP2 00000d25: DUP5 00000d26: ADD 00000d27: MSTORE 00000d28: PUSH1 0x1f 00000d2a: NOT 00000d2b: PUSH1 0x1f 00000d2d: DUP3 00000d2e: ADD 00000d2f: AND 00000d30: SWAP1 00000d31: POP 00000d32: DUP1 00000d33: DUP4 00000d34: ADD 00000d35: SWAP3 00000d36: POP 00000d37: POP 00000d38: POP 00000d39: POP 00000d3a: POP 00000d3b: POP 00000d3c: POP 00000d3d: SWAP2 00000d3e: SWAP3 00000d3f: SWAP2 00000d40: SWAP3 00000d41: SWAP1 00000d42: POP 00000d43: POP 00000d44: POP 00000d45: PUSH2 0x1d01 00000d48: JUMP 00000d49: JUMPDEST 00000d4a: STOP 00000d4b: JUMPDEST 00000d4c: CALLVALUE 00000d4d: DUP1 00000d4e: ISZERO 00000d4f: PUSH2 0x0d57 00000d52: JUMPI 00000d53: PUSH1 0x00 00000d55: DUP1 00000d56: REVERT 00000d57: JUMPDEST 00000d58: POP 00000d59: PUSH2 0x0d9a 00000d5c: PUSH1 0x04 00000d5e: DUP1 00000d5f: CALLDATASIZE 00000d60: SUB 00000d61: PUSH1 0x20 00000d63: DUP2 00000d64: LT 00000d65: ISZERO 00000d66: PUSH2 0x0d6e 00000d69: JUMPI 00000d6a: PUSH1 0x00 00000d6c: DUP1 00000d6d: REVERT 00000d6e: JUMPDEST 00000d6f: DUP2 00000d70: ADD 00000d71: SWAP1 00000d72: DUP1 00000d73: DUP1 00000d74: CALLDATALOAD 00000d75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d8a: AND 00000d8b: SWAP1 00000d8c: PUSH1 0x20 00000d8e: ADD 00000d8f: SWAP1 00000d90: SWAP3 00000d91: SWAP2 00000d92: SWAP1 00000d93: POP 00000d94: POP 00000d95: POP 00000d96: PUSH2 0x1fcb 00000d99: JUMP 00000d9a: JUMPDEST 00000d9b: STOP 00000d9c: JUMPDEST 00000d9d: CALLVALUE 00000d9e: DUP1 00000d9f: ISZERO 00000da0: PUSH2 0x0da8 00000da3: JUMPI 00000da4: PUSH1 0x00 00000da6: DUP1 00000da7: REVERT 00000da8: JUMPDEST 00000da9: POP 00000daa: PUSH2 0x0db1 00000dad: PUSH2 0x20d0 00000db0: JUMP 00000db1: JUMPDEST 00000db2: PUSH1 0x40 00000db4: MLOAD 00000db5: DUP1 00000db6: DUP3 00000db7: PUSH8 0xffffffffffffffff 00000dc0: AND 00000dc1: PUSH8 0xffffffffffffffff 00000dca: AND 00000dcb: DUP2 00000dcc: MSTORE 00000dcd: PUSH1 0x20 00000dcf: ADD 00000dd0: SWAP2 00000dd1: POP 00000dd2: POP 00000dd3: PUSH1 0x40 00000dd5: MLOAD 00000dd6: DUP1 00000dd7: SWAP2 00000dd8: SUB 00000dd9: SWAP1 00000dda: RETURN 00000ddb: JUMPDEST 00000ddc: CALLVALUE 00000ddd: DUP1 00000dde: ISZERO 00000ddf: PUSH2 0x0de7 00000de2: JUMPI 00000de3: PUSH1 0x00 00000de5: DUP1 00000de6: REVERT 00000de7: JUMPDEST 00000de8: POP 00000de9: PUSH2 0x0e1e 00000dec: PUSH1 0x04 00000dee: DUP1 00000def: CALLDATASIZE 00000df0: SUB 00000df1: PUSH1 0x20 00000df3: DUP2 00000df4: LT 00000df5: ISZERO 00000df6: PUSH2 0x0dfe 00000df9: JUMPI 00000dfa: PUSH1 0x00 00000dfc: DUP1 00000dfd: REVERT 00000dfe: JUMPDEST 00000dff: DUP2 00000e00: ADD 00000e01: SWAP1 00000e02: DUP1 00000e03: DUP1 00000e04: CALLDATALOAD 00000e05: PUSH8 0xffffffffffffffff 00000e0e: AND 00000e0f: SWAP1 00000e10: PUSH1 0x20 00000e12: ADD 00000e13: SWAP1 00000e14: SWAP3 00000e15: SWAP2 00000e16: SWAP1 00000e17: POP 00000e18: POP 00000e19: POP 00000e1a: PUSH2 0x217a 00000e1d: JUMP 00000e1e: JUMPDEST 00000e1f: STOP 00000e20: JUMPDEST 00000e21: PUSH1 0x00 00000e23: PUSH1 0x02 00000e25: DUP6 00000e26: PUSH1 0x40 00000e28: MLOAD 00000e29: PUSH1 0x20 00000e2b: ADD 00000e2c: DUP1 00000e2d: DUP3 00000e2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e43: AND 00000e44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e59: AND 00000e5a: PUSH1 0x60 00000e5c: SHL 00000e5d: DUP2 00000e5e: MSTORE 00000e5f: PUSH1 0x14 00000e61: ADD 00000e62: SWAP2 00000e63: POP 00000e64: POP 00000e65: PUSH1 0x40 00000e67: MLOAD 00000e68: PUSH1 0x20 00000e6a: DUP2 00000e6b: DUP4 00000e6c: SUB 00000e6d: SUB 00000e6e: DUP2 00000e6f: MSTORE 00000e70: SWAP1 00000e71: PUSH1 0x40 00000e73: MSTORE 00000e74: PUSH1 0x40 00000e76: MLOAD 00000e77: DUP1 00000e78: DUP3 00000e79: DUP1 00000e7a: MLOAD 00000e7b: SWAP1 00000e7c: PUSH1 0x20 00000e7e: ADD 00000e7f: SWAP1 00000e80: DUP1 00000e81: DUP4 00000e82: DUP4 00000e83: JUMPDEST 00000e84: PUSH1 0x20 00000e86: DUP4 00000e87: LT 00000e88: PUSH2 0x0ea6 00000e8b: JUMPI 00000e8c: DUP1 00000e8d: MLOAD 00000e8e: DUP3 00000e8f: MSTORE 00000e90: PUSH1 0x20 00000e92: DUP3 00000e93: ADD 00000e94: SWAP2 00000e95: POP 00000e96: PUSH1 0x20 00000e98: DUP2 00000e99: ADD 00000e9a: SWAP1 00000e9b: POP 00000e9c: PUSH1 0x20 00000e9e: DUP4 00000e9f: SUB 00000ea0: SWAP3 00000ea1: POP 00000ea2: PUSH2 0x0e83 00000ea5: JUMP 00000ea6: JUMPDEST 00000ea7: PUSH1 0x01 00000ea9: DUP4 00000eaa: PUSH1 0x20 00000eac: SUB 00000ead: PUSH2 0x0100 00000eb0: EXP 00000eb1: SUB 00000eb2: DUP1 00000eb3: NOT 00000eb4: DUP3 00000eb5: MLOAD 00000eb6: AND 00000eb7: DUP2 00000eb8: DUP5 00000eb9: MLOAD 00000eba: AND 00000ebb: DUP1 00000ebc: DUP3 00000ebd: OR 00000ebe: DUP6 00000ebf: MSTORE 00000ec0: POP 00000ec1: POP 00000ec2: POP 00000ec3: POP 00000ec4: POP 00000ec5: POP 00000ec6: SWAP1 00000ec7: POP 00000ec8: ADD 00000ec9: SWAP2 00000eca: POP 00000ecb: POP 00000ecc: PUSH1 0x20 00000ece: PUSH1 0x40 00000ed0: MLOAD 00000ed1: DUP1 00000ed2: DUP4 00000ed3: SUB 00000ed4: DUP2 00000ed5: DUP6 00000ed6: GAS 00000ed7: STATICCALL 00000ed8: ISZERO 00000ed9: DUP1 00000eda: ISZERO 00000edb: PUSH2 0x0ee8 00000ede: JUMPI 00000edf: RETURNDATASIZE 00000ee0: PUSH1 0x00 00000ee2: DUP1 00000ee3: RETURNDATACOPY 00000ee4: RETURNDATASIZE 00000ee5: PUSH1 0x00 00000ee7: REVERT 00000ee8: JUMPDEST 00000ee9: POP 00000eea: POP 00000eeb: POP 00000eec: PUSH1 0x40 00000eee: MLOAD 00000eef: RETURNDATASIZE 00000ef0: PUSH1 0x20 00000ef2: DUP2 00000ef3: LT 00000ef4: ISZERO 00000ef5: PUSH2 0x0efd 00000ef8: JUMPI 00000ef9: PUSH1 0x00 00000efb: DUP1 00000efc: REVERT 00000efd: JUMPDEST 00000efe: DUP2 00000eff: ADD 00000f00: SWAP1 00000f01: DUP1 00000f02: DUP1 00000f03: MLOAD 00000f04: SWAP1 00000f05: PUSH1 0x20 00000f07: ADD 00000f08: SWAP1 00000f09: SWAP3 00000f0a: SWAP2 00000f0b: SWAP1 00000f0c: POP 00000f0d: POP 00000f0e: POP 00000f0f: SWAP1 00000f10: POP 00000f11: PUSH1 0x01 00000f13: PUSH1 0x00 00000f15: SWAP1 00000f16: SLOAD 00000f17: SWAP1 00000f18: PUSH2 0x0100 00000f1b: EXP 00000f1c: SWAP1 00000f1d: DIV 00000f1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f33: AND 00000f34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f49: AND 00000f4a: PUSH4 0x8983b2bc 00000f4f: DUP3 00000f50: DUP7 00000f51: DUP7 00000f52: DUP7 00000f53: PUSH1 0x40 00000f55: MLOAD 00000f56: DUP6 00000f57: PUSH4 0xffffffff 00000f5c: AND 00000f5d: PUSH1 0xe0 00000f5f: SHL 00000f60: DUP2 00000f61: MSTORE 00000f62: PUSH1 0x04 00000f64: ADD 00000f65: DUP1 00000f66: DUP6 00000f67: DUP2 00000f68: MSTORE 00000f69: PUSH1 0x20 00000f6b: ADD 00000f6c: DUP1 00000f6d: PUSH1 0x20 00000f6f: ADD 00000f70: DUP1 00000f71: PUSH1 0x20 00000f73: ADD 00000f74: DUP1 00000f75: PUSH1 0x20 00000f77: ADD 00000f78: DUP5 00000f79: DUP2 00000f7a: SUB 00000f7b: DUP5 00000f7c: MSTORE 00000f7d: DUP8 00000f7e: DUP2 00000f7f: DUP2 00000f80: MLOAD 00000f81: DUP2 00000f82: MSTORE 00000f83: PUSH1 0x20 00000f85: ADD 00000f86: SWAP2 00000f87: POP 00000f88: DUP1 00000f89: MLOAD 00000f8a: SWAP1 00000f8b: PUSH1 0x20 00000f8d: ADD 00000f8e: SWAP1 00000f8f: PUSH1 0x20 00000f91: MUL 00000f92: DUP1 00000f93: DUP4 00000f94: DUP4 00000f95: PUSH1 0x00 00000f97: JUMPDEST 00000f98: DUP4 00000f99: DUP2 00000f9a: LT 00000f9b: ISZERO 00000f9c: PUSH2 0x0fb2 00000f9f: JUMPI 00000fa0: DUP1 00000fa1: DUP3 00000fa2: ADD 00000fa3: MLOAD 00000fa4: DUP2 00000fa5: DUP5 00000fa6: ADD 00000fa7: MSTORE 00000fa8: PUSH1 0x20 00000faa: DUP2 00000fab: ADD 00000fac: SWAP1 00000fad: POP 00000fae: PUSH2 0x0f97 00000fb1: JUMP 00000fb2: JUMPDEST 00000fb3: POP 00000fb4: POP 00000fb5: POP 00000fb6: POP 00000fb7: SWAP1 00000fb8: POP 00000fb9: ADD 00000fba: DUP5 00000fbb: DUP2 00000fbc: SUB 00000fbd: DUP4 00000fbe: MSTORE 00000fbf: DUP7 00000fc0: DUP2 00000fc1: DUP2 00000fc2: MLOAD 00000fc3: DUP2 00000fc4: MSTORE 00000fc5: PUSH1 0x20 00000fc7: ADD 00000fc8: SWAP2 00000fc9: POP 00000fca: DUP1 00000fcb: MLOAD 00000fcc: SWAP1 00000fcd: PUSH1 0x20 00000fcf: ADD 00000fd0: SWAP1 00000fd1: PUSH1 0x20 00000fd3: MUL 00000fd4: DUP1 00000fd5: DUP4 00000fd6: DUP4 00000fd7: PUSH1 0x00 00000fd9: JUMPDEST 00000fda: DUP4 00000fdb: DUP2 00000fdc: LT 00000fdd: ISZERO 00000fde: PUSH2 0x0ff4 00000fe1: JUMPI 00000fe2: DUP1 00000fe3: DUP3 00000fe4: ADD 00000fe5: MLOAD 00000fe6: DUP2 00000fe7: DUP5 00000fe8: ADD 00000fe9: MSTORE 00000fea: PUSH1 0x20 00000fec: DUP2 00000fed: ADD 00000fee: SWAP1 00000fef: POP 00000ff0: PUSH2 0x0fd9 00000ff3: JUMP 00000ff4: JUMPDEST 00000ff5: POP 00000ff6: POP 00000ff7: POP 00000ff8: POP 00000ff9: SWAP1 00000ffa: POP 00000ffb: ADD 00000ffc: DUP5 00000ffd: DUP2 00000ffe: SUB 00000fff: DUP3 00001000: MSTORE 00001001: DUP6 00001002: DUP2 00001003: DUP2 00001004: MLOAD 00001005: DUP2 00001006: MSTORE 00001007: PUSH1 0x20 00001009: ADD 0000100a: SWAP2 0000100b: POP 0000100c: DUP1 0000100d: MLOAD 0000100e: SWAP1 0000100f: PUSH1 0x20 00001011: ADD 00001012: SWAP1 00001013: PUSH1 0x20 00001015: MUL 00001016: DUP1 00001017: DUP4 00001018: DUP4 00001019: PUSH1 0x00 0000101b: JUMPDEST 0000101c: DUP4 0000101d: DUP2 0000101e: LT 0000101f: ISZERO 00001020: PUSH2 0x1036 00001023: JUMPI 00001024: DUP1 00001025: DUP3 00001026: ADD 00001027: MLOAD 00001028: DUP2 00001029: DUP5 0000102a: ADD 0000102b: MSTORE 0000102c: PUSH1 0x20 0000102e: DUP2 0000102f: ADD 00001030: SWAP1 00001031: POP 00001032: PUSH2 0x101b 00001035: JUMP 00001036: JUMPDEST 00001037: POP 00001038: POP 00001039: POP 0000103a: POP 0000103b: SWAP1 0000103c: POP 0000103d: ADD 0000103e: SWAP8 0000103f: POP 00001040: POP 00001041: POP 00001042: POP 00001043: POP 00001044: POP 00001045: POP 00001046: POP 00001047: PUSH1 0x20 00001049: PUSH1 0x40 0000104b: MLOAD 0000104c: DUP1 0000104d: DUP4 0000104e: SUB 0000104f: DUP2 00001050: DUP7 00001051: DUP1 00001052: EXTCODESIZE 00001053: ISZERO 00001054: DUP1 00001055: ISZERO 00001056: PUSH2 0x105e 00001059: JUMPI 0000105a: PUSH1 0x00 0000105c: DUP1 0000105d: REVERT 0000105e: JUMPDEST 0000105f: POP 00001060: GAS 00001061: STATICCALL 00001062: ISZERO 00001063: DUP1 00001064: ISZERO 00001065: PUSH2 0x1072 00001068: JUMPI 00001069: RETURNDATASIZE 0000106a: PUSH1 0x00 0000106c: DUP1 0000106d: RETURNDATACOPY 0000106e: RETURNDATASIZE 0000106f: PUSH1 0x00 00001071: REVERT 00001072: JUMPDEST 00001073: POP 00001074: POP 00001075: POP 00001076: POP 00001077: PUSH1 0x40 00001079: MLOAD 0000107a: RETURNDATASIZE 0000107b: PUSH1 0x20 0000107d: DUP2 0000107e: LT 0000107f: ISZERO 00001080: PUSH2 0x1088 00001083: JUMPI 00001084: PUSH1 0x00 00001086: DUP1 00001087: REVERT 00001088: JUMPDEST 00001089: DUP2 0000108a: ADD 0000108b: SWAP1 0000108c: DUP1 0000108d: DUP1 0000108e: MLOAD 0000108f: SWAP1 00001090: PUSH1 0x20 00001092: ADD 00001093: SWAP1 00001094: SWAP3 00001095: SWAP2 00001096: SWAP1 00001097: POP 00001098: POP 00001099: POP 0000109a: PUSH2 0x110b 0000109d: JUMPI 0000109e: PUSH1 0x40 000010a0: MLOAD 000010a1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000010c2: DUP2 000010c3: MSTORE 000010c4: PUSH1 0x04 000010c6: ADD 000010c7: DUP1 000010c8: DUP1 000010c9: PUSH1 0x20 000010cb: ADD 000010cc: DUP3 000010cd: DUP2 000010ce: SUB 000010cf: DUP3 000010d0: MSTORE 000010d1: PUSH1 0x14 000010d3: DUP2 000010d4: MSTORE 000010d5: PUSH1 0x20 000010d7: ADD 000010d8: DUP1 000010d9: PUSH32 0x627020766572696679206e6f7420656e6f756768000000000000000000000000 000010fa: DUP2 000010fb: MSTORE 000010fc: POP 000010fd: PUSH1 0x20 000010ff: ADD 00001100: SWAP2 00001101: POP 00001102: POP 00001103: PUSH1 0x40 00001105: MLOAD 00001106: DUP1 00001107: SWAP2 00001108: SUB 00001109: SWAP1 0000110a: REVERT 0000110b: JUMPDEST 0000110c: DUP5 0000110d: PUSH1 0x01 0000110f: PUSH1 0x00 00001111: PUSH2 0x0100 00001114: EXP 00001115: DUP2 00001116: SLOAD 00001117: DUP2 00001118: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000112d: MUL 0000112e: NOT 0000112f: AND 00001130: SWAP1 00001131: DUP4 00001132: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001147: AND 00001148: MUL 00001149: OR 0000114a: SWAP1 0000114b: SSTORE 0000114c: POP 0000114d: POP 0000114e: POP 0000114f: POP 00001150: POP 00001151: POP 00001152: JUMP 00001153: JUMPDEST 00001154: PUSH1 0x00 00001156: DUP1 00001157: PUSH1 0x00 00001159: PUSH1 0x01 0000115b: PUSH1 0x00 0000115d: SWAP1 0000115e: SLOAD 0000115f: SWAP1 00001160: PUSH2 0x0100 00001163: EXP 00001164: SWAP1 00001165: DIV 00001166: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000117b: AND 0000117c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001191: AND 00001192: PUSH4 0xb5bdd1b9 00001197: DUP13 00001198: DUP13 00001199: DUP13 0000119a: DUP13 0000119b: DUP13 0000119c: DUP13 0000119d: DUP13 0000119e: PUSH1 0x40 000011a0: MLOAD 000011a1: DUP9 000011a2: PUSH4 0xffffffff 000011a7: AND 000011a8: PUSH1 0xe0 000011aa: SHL 000011ab: DUP2 000011ac: MSTORE 000011ad: PUSH1 0x04 000011af: ADD 000011b0: DUP1 000011b1: DUP9 000011b2: DUP2 000011b3: MSTORE 000011b4: PUSH1 0x20 000011b6: ADD 000011b7: DUP8 000011b8: DUP2 000011b9: MSTORE 000011ba: PUSH1 0x20 000011bc: ADD 000011bd: DUP7 000011be: PUSH8 0xffffffffffffffff 000011c7: AND 000011c8: PUSH8 0xffffffffffffffff 000011d1: AND 000011d2: DUP2 000011d3: MSTORE 000011d4: PUSH1 0x20 000011d6: ADD 000011d7: DUP1 000011d8: PUSH1 0x20 000011da: ADD 000011db: DUP1 000011dc: PUSH1 0x20 000011de: ADD 000011df: DUP1 000011e0: PUSH1 0x20 000011e2: ADD 000011e3: DUP1 000011e4: PUSH1 0x20 000011e6: ADD 000011e7: DUP6 000011e8: DUP2 000011e9: SUB 000011ea: DUP6 000011eb: MSTORE 000011ec: DUP10 000011ed: DUP2 000011ee: DUP2 000011ef: MLOAD 000011f0: DUP2 000011f1: MSTORE 000011f2: PUSH1 0x20 000011f4: ADD 000011f5: SWAP2 000011f6: POP 000011f7: DUP1 000011f8: MLOAD 000011f9: SWAP1 000011fa: PUSH1 0x20 000011fc: ADD 000011fd: SWAP1 000011fe: DUP1 000011ff: DUP4 00001200: DUP4 00001201: PUSH1 0x00 00001203: JUMPDEST 00001204: DUP4 00001205: DUP2 00001206: LT 00001207: ISZERO 00001208: PUSH2 0x121e 0000120b: JUMPI 0000120c: DUP1 0000120d: DUP3 0000120e: ADD 0000120f: MLOAD 00001210: DUP2 00001211: DUP5 00001212: ADD 00001213: MSTORE 00001214: PUSH1 0x20 00001216: DUP2 00001217: ADD 00001218: SWAP1 00001219: POP 0000121a: PUSH2 0x1203 0000121d: JUMP 0000121e: JUMPDEST 0000121f: POP 00001220: POP 00001221: POP 00001222: POP 00001223: SWAP1 00001224: POP 00001225: SWAP1 00001226: DUP2 00001227: ADD 00001228: SWAP1 00001229: PUSH1 0x1f 0000122b: AND 0000122c: DUP1 0000122d: ISZERO 0000122e: PUSH2 0x124b 00001231: JUMPI 00001232: DUP1 00001233: DUP3 00001234: SUB 00001235: DUP1 00001236: MLOAD 00001237: PUSH1 0x01 00001239: DUP4 0000123a: PUSH1 0x20 0000123c: SUB 0000123d: PUSH2 0x0100 00001240: EXP 00001241: SUB 00001242: NOT 00001243: AND 00001244: DUP2 00001245: MSTORE 00001246: PUSH1 0x20 00001248: ADD 00001249: SWAP2 0000124a: POP 0000124b: JUMPDEST 0000124c: POP 0000124d: DUP6 0000124e: DUP2 0000124f: SUB 00001250: DUP5 00001251: MSTORE 00001252: DUP9 00001253: DUP2 00001254: DUP2 00001255: MLOAD 00001256: DUP2 00001257: MSTORE 00001258: PUSH1 0x20 0000125a: ADD 0000125b: SWAP2 0000125c: POP 0000125d: DUP1 0000125e: MLOAD 0000125f: SWAP1 00001260: PUSH1 0x20 00001262: ADD 00001263: SWAP1 00001264: PUSH1 0x20 00001266: MUL 00001267: DUP1 00001268: DUP4 00001269: DUP4 0000126a: PUSH1 0x00 0000126c: JUMPDEST 0000126d: DUP4 0000126e: DUP2 0000126f: LT 00001270: ISZERO 00001271: PUSH2 0x1287 00001274: JUMPI 00001275: DUP1 00001276: DUP3 00001277: ADD 00001278: MLOAD 00001279: DUP2 0000127a: DUP5 0000127b: ADD 0000127c: MSTORE 0000127d: PUSH1 0x20 0000127f: DUP2 00001280: ADD 00001281: SWAP1 00001282: POP 00001283: PUSH2 0x126c 00001286: JUMP 00001287: JUMPDEST 00001288: POP 00001289: POP 0000128a: POP 0000128b: POP 0000128c: SWAP1 0000128d: POP 0000128e: ADD 0000128f: DUP6 00001290: DUP2 00001291: SUB 00001292: DUP4 00001293: MSTORE 00001294: DUP8 00001295: DUP2 00001296: DUP2 00001297: MLOAD 00001298: DUP2 00001299: MSTORE 0000129a: PUSH1 0x20 0000129c: ADD 0000129d: SWAP2 0000129e: POP 0000129f: DUP1 000012a0: MLOAD 000012a1: SWAP1 000012a2: PUSH1 0x20 000012a4: ADD 000012a5: SWAP1 000012a6: PUSH1 0x20 000012a8: MUL 000012a9: DUP1 000012aa: DUP4 000012ab: DUP4 000012ac: PUSH1 0x00 000012ae: JUMPDEST 000012af: DUP4 000012b0: DUP2 000012b1: LT 000012b2: ISZERO 000012b3: PUSH2 0x12c9 000012b6: JUMPI 000012b7: DUP1 000012b8: DUP3 000012b9: ADD 000012ba: MLOAD 000012bb: DUP2 000012bc: DUP5 000012bd: ADD 000012be: MSTORE 000012bf: PUSH1 0x20 000012c1: DUP2 000012c2: ADD 000012c3: SWAP1 000012c4: POP 000012c5: PUSH2 0x12ae 000012c8: JUMP 000012c9: JUMPDEST 000012ca: POP 000012cb: POP 000012cc: POP 000012cd: POP 000012ce: SWAP1 000012cf: POP 000012d0: ADD 000012d1: DUP6 000012d2: DUP2 000012d3: SUB 000012d4: DUP3 000012d5: MSTORE 000012d6: DUP7 000012d7: DUP2 000012d8: DUP2 000012d9: MLOAD 000012da: DUP2 000012db: MSTORE 000012dc: PUSH1 0x20 000012de: ADD 000012df: SWAP2 000012e0: POP 000012e1: DUP1 000012e2: MLOAD 000012e3: SWAP1 000012e4: PUSH1 0x20 000012e6: ADD 000012e7: SWAP1 000012e8: PUSH1 0x20 000012ea: MUL 000012eb: DUP1 000012ec: DUP4 000012ed: DUP4 000012ee: PUSH1 0x00 000012f0: JUMPDEST 000012f1: DUP4 000012f2: DUP2 000012f3: LT 000012f4: ISZERO 000012f5: PUSH2 0x130b 000012f8: JUMPI 000012f9: DUP1 000012fa: DUP3 000012fb: ADD 000012fc: MLOAD 000012fd: DUP2 000012fe: DUP5 000012ff: ADD 00001300: MSTORE 00001301: PUSH1 0x20 00001303: DUP2 00001304: ADD 00001305: SWAP1 00001306: POP 00001307: PUSH2 0x12f0 0000130a: JUMP 0000130b: JUMPDEST 0000130c: POP 0000130d: POP 0000130e: POP 0000130f: POP 00001310: SWAP1 00001311: POP 00001312: ADD 00001313: SWAP12 00001314: POP 00001315: POP 00001316: POP 00001317: POP 00001318: POP 00001319: POP 0000131a: POP 0000131b: POP 0000131c: POP 0000131d: POP 0000131e: POP 0000131f: POP 00001320: PUSH1 0x60 00001322: PUSH1 0x40 00001324: MLOAD 00001325: DUP1 00001326: DUP4 00001327: SUB 00001328: DUP2 00001329: PUSH1 0x00 0000132b: DUP8 0000132c: DUP1 0000132d: EXTCODESIZE 0000132e: ISZERO 0000132f: DUP1 00001330: ISZERO 00001331: PUSH2 0x1339 00001334: JUMPI 00001335: PUSH1 0x00 00001337: DUP1 00001338: REVERT 00001339: JUMPDEST 0000133a: POP 0000133b: GAS 0000133c: CALL 0000133d: ISZERO 0000133e: DUP1 0000133f: ISZERO 00001340: PUSH2 0x134d 00001343: JUMPI 00001344: RETURNDATASIZE 00001345: PUSH1 0x00 00001347: DUP1 00001348: RETURNDATACOPY 00001349: RETURNDATASIZE 0000134a: PUSH1 0x00 0000134c: REVERT 0000134d: JUMPDEST 0000134e: POP 0000134f: POP 00001350: POP 00001351: POP 00001352: PUSH1 0x40 00001354: MLOAD 00001355: RETURNDATASIZE 00001356: PUSH1 0x60 00001358: DUP2 00001359: LT 0000135a: ISZERO 0000135b: PUSH2 0x1363 0000135e: JUMPI 0000135f: PUSH1 0x00 00001361: DUP1 00001362: REVERT 00001363: JUMPDEST 00001364: DUP2 00001365: ADD 00001366: SWAP1 00001367: DUP1 00001368: DUP1 00001369: MLOAD 0000136a: SWAP1 0000136b: PUSH1 0x20 0000136d: ADD 0000136e: SWAP1 0000136f: SWAP3 00001370: SWAP2 00001371: SWAP1 00001372: DUP1 00001373: MLOAD 00001374: SWAP1 00001375: PUSH1 0x20 00001377: ADD 00001378: SWAP1 00001379: SWAP3 0000137a: SWAP2 0000137b: SWAP1 0000137c: DUP1 0000137d: MLOAD 0000137e: SWAP1 0000137f: PUSH1 0x20 00001381: ADD 00001382: SWAP1 00001383: SWAP3 00001384: SWAP2 00001385: SWAP1 00001386: POP 00001387: POP 00001388: POP 00001389: DUP1 0000138a: SWAP5 0000138b: POP 0000138c: DUP2 0000138d: SWAP4 0000138e: POP 0000138f: DUP3 00001390: SWAP6 00001391: POP 00001392: POP 00001393: POP 00001394: POP 00001395: PUSH1 0x03 00001397: PUSH1 0x00 00001399: SWAP1 0000139a: SLOAD 0000139b: SWAP1 0000139c: PUSH2 0x0100 0000139f: EXP 000013a0: SWAP1 000013a1: DIV 000013a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013b7: AND 000013b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013cd: AND 000013ce: DUP3 000013cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013e4: AND 000013e5: EQ 000013e6: ISZERO 000013e7: PUSH2 0x1436 000013ea: JUMPI 000013eb: DUP3 000013ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001401: AND 00001402: PUSH2 0x08fc 00001405: DUP3 00001406: SWAP1 00001407: DUP2 00001408: ISZERO 00001409: MUL 0000140a: SWAP1 0000140b: PUSH1 0x40 0000140d: MLOAD 0000140e: PUSH1 0x00 00001410: PUSH1 0x40 00001412: MLOAD 00001413: DUP1 00001414: DUP4 00001415: SUB 00001416: DUP2 00001417: DUP6 00001418: DUP9 00001419: DUP9 0000141a: CALL 0000141b: SWAP4 0000141c: POP 0000141d: POP 0000141e: POP 0000141f: POP 00001420: ISZERO 00001421: DUP1 00001422: ISZERO 00001423: PUSH2 0x1430 00001426: JUMPI 00001427: RETURNDATASIZE 00001428: PUSH1 0x00 0000142a: DUP1 0000142b: RETURNDATACOPY 0000142c: RETURNDATASIZE 0000142d: PUSH1 0x00 0000142f: REVERT 00001430: JUMPDEST 00001431: POP 00001432: PUSH2 0x168a 00001435: JUMP 00001436: JUMPDEST 00001437: DUP2 00001438: PUSH1 0x02 0000143a: PUSH1 0x00 0000143c: PUSH2 0x0100 0000143f: EXP 00001440: DUP2 00001441: SLOAD 00001442: DUP2 00001443: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001458: MUL 00001459: NOT 0000145a: AND 0000145b: SWAP1 0000145c: DUP4 0000145d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001472: AND 00001473: MUL 00001474: OR 00001475: SWAP1 00001476: SSTORE 00001477: POP 00001478: DUP1 00001479: PUSH1 0x02 0000147b: PUSH1 0x00 0000147d: SWAP1 0000147e: SLOAD 0000147f: SWAP1 00001480: PUSH2 0x0100 00001483: EXP 00001484: SWAP1 00001485: DIV 00001486: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000149b: AND 0000149c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014b1: AND 000014b2: PUSH4 0x70a08231 000014b7: ADDRESS 000014b8: PUSH1 0x40 000014ba: MLOAD 000014bb: DUP3 000014bc: PUSH4 0xffffffff 000014c1: AND 000014c2: PUSH1 0xe0 000014c4: SHL 000014c5: DUP2 000014c6: MSTORE 000014c7: PUSH1 0x04 000014c9: ADD 000014ca: DUP1 000014cb: DUP3 000014cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014e1: AND 000014e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014f7: AND 000014f8: DUP2 000014f9: MSTORE 000014fa: PUSH1 0x20 000014fc: ADD 000014fd: SWAP2 000014fe: POP 000014ff: POP 00001500: PUSH1 0x20 00001502: PUSH1 0x40 00001504: MLOAD 00001505: DUP1 00001506: DUP4 00001507: SUB 00001508: DUP2 00001509: PUSH1 0x00 0000150b: DUP8 0000150c: DUP1 0000150d: EXTCODESIZE 0000150e: ISZERO 0000150f: DUP1 00001510: ISZERO 00001511: PUSH2 0x1519 00001514: JUMPI 00001515: PUSH1 0x00 00001517: DUP1 00001518: REVERT 00001519: JUMPDEST 0000151a: POP 0000151b: GAS 0000151c: CALL 0000151d: ISZERO 0000151e: DUP1 0000151f: ISZERO 00001520: PUSH2 0x152d 00001523: JUMPI 00001524: RETURNDATASIZE 00001525: PUSH1 0x00 00001527: DUP1 00001528: RETURNDATACOPY 00001529: RETURNDATASIZE 0000152a: PUSH1 0x00 0000152c: REVERT 0000152d: JUMPDEST 0000152e: POP 0000152f: POP 00001530: POP 00001531: POP 00001532: PUSH1 0x40 00001534: MLOAD 00001535: RETURNDATASIZE 00001536: PUSH1 0x20 00001538: DUP2 00001539: LT 0000153a: ISZERO 0000153b: PUSH2 0x1543 0000153e: JUMPI 0000153f: PUSH1 0x00 00001541: DUP1 00001542: REVERT 00001543: JUMPDEST 00001544: DUP2 00001545: ADD 00001546: SWAP1 00001547: DUP1 00001548: DUP1 00001549: MLOAD 0000154a: SWAP1 0000154b: PUSH1 0x20 0000154d: ADD 0000154e: SWAP1 0000154f: SWAP3 00001550: SWAP2 00001551: SWAP1 00001552: POP 00001553: POP 00001554: POP 00001555: LT 00001556: ISZERO 00001557: PUSH2 0x15c8 0000155a: JUMPI 0000155b: PUSH1 0x40 0000155d: MLOAD 0000155e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000157f: DUP2 00001580: MSTORE 00001581: PUSH1 0x04 00001583: ADD 00001584: DUP1 00001585: DUP1 00001586: PUSH1 0x20 00001588: ADD 00001589: DUP3 0000158a: DUP2 0000158b: SUB 0000158c: DUP3 0000158d: MSTORE 0000158e: PUSH1 0x11 00001590: DUP2 00001591: MSTORE 00001592: PUSH1 0x20 00001594: ADD 00001595: DUP1 00001596: PUSH32 0x626c616e6365206e6f7420656e6f756768000000000000000000000000000000 000015b7: DUP2 000015b8: MSTORE 000015b9: POP 000015ba: PUSH1 0x20 000015bc: ADD 000015bd: SWAP2 000015be: POP 000015bf: POP 000015c0: PUSH1 0x40 000015c2: MLOAD 000015c3: DUP1 000015c4: SWAP2 000015c5: SUB 000015c6: SWAP1 000015c7: REVERT 000015c8: JUMPDEST 000015c9: PUSH1 0x02 000015cb: PUSH1 0x00 000015cd: SWAP1 000015ce: SLOAD 000015cf: SWAP1 000015d0: PUSH2 0x0100 000015d3: EXP 000015d4: SWAP1 000015d5: DIV 000015d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015eb: AND 000015ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001601: AND 00001602: PUSH4 0xa9059cbb 00001607: DUP5 00001608: DUP4 00001609: PUSH1 0x40 0000160b: MLOAD 0000160c: DUP4 0000160d: PUSH4 0xffffffff 00001612: AND 00001613: PUSH1 0xe0 00001615: SHL 00001616: DUP2 00001617: MSTORE 00001618: PUSH1 0x04 0000161a: ADD 0000161b: DUP1 0000161c: DUP4 0000161d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001632: AND 00001633: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001648: AND 00001649: DUP2 0000164a: MSTORE 0000164b: PUSH1 0x20 0000164d: ADD 0000164e: DUP3 0000164f: DUP2 00001650: MSTORE 00001651: PUSH1 0x20 00001653: ADD 00001654: SWAP3 00001655: POP 00001656: POP 00001657: POP 00001658: PUSH1 0x00 0000165a: PUSH1 0x40 0000165c: MLOAD 0000165d: DUP1 0000165e: DUP4 0000165f: SUB 00001660: DUP2 00001661: PUSH1 0x00 00001663: DUP8 00001664: DUP1 00001665: EXTCODESIZE 00001666: ISZERO 00001667: DUP1 00001668: ISZERO 00001669: PUSH2 0x1671 0000166c: JUMPI 0000166d: PUSH1 0x00 0000166f: DUP1 00001670: REVERT 00001671: JUMPDEST 00001672: POP 00001673: GAS 00001674: CALL 00001675: ISZERO 00001676: DUP1 00001677: ISZERO 00001678: PUSH2 0x1685 0000167b: JUMPI 0000167c: RETURNDATASIZE 0000167d: PUSH1 0x00 0000167f: DUP1 00001680: RETURNDATACOPY 00001681: RETURNDATASIZE 00001682: PUSH1 0x00 00001684: REVERT 00001685: JUMPDEST 00001686: POP 00001687: POP 00001688: POP 00001689: POP 0000168a: JUMPDEST 0000168b: DUP2 0000168c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016a1: AND 000016a2: DUP12 000016a3: PUSH32 0xc946972d7891372a8c5dc3bebb2e8d84859525a2644ff67dd97e6265c433737d 000016c4: PUSH1 0x40 000016c6: MLOAD 000016c7: PUSH1 0x40 000016c9: MLOAD 000016ca: DUP1 000016cb: SWAP2 000016cc: SUB 000016cd: SWAP1 000016ce: LOG3 000016cf: DUP4 000016d0: PUSH8 0xffffffffffffffff 000016d9: AND 000016da: PUSH32 0x98b8eb20ecfdd0b305aa7d74d5b3fab0d54a9d860c9093fbf4c08cada47115ae 000016fb: PUSH1 0x40 000016fd: MLOAD 000016fe: PUSH1 0x40 00001700: MLOAD 00001701: DUP1 00001702: SWAP2 00001703: SUB 00001704: SWAP1 00001705: LOG2 00001706: POP 00001707: POP 00001708: POP 00001709: POP 0000170a: POP 0000170b: POP 0000170c: POP 0000170d: POP 0000170e: POP 0000170f: POP 00001710: POP 00001711: JUMP 00001712: JUMPDEST 00001713: PUSH2 0x171a 00001716: PUSH2 0x21cb 00001719: JUMP 0000171a: JUMPDEST 0000171b: PUSH1 0x01 0000171d: PUSH1 0x00 0000171f: SWAP1 00001720: SLOAD 00001721: SWAP1 00001722: PUSH2 0x0100 00001725: EXP 00001726: SWAP1 00001727: DIV 00001728: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000173d: AND 0000173e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001753: AND 00001754: PUSH4 0x206f8063 00001759: DUP4 0000175a: PUSH1 0x40 0000175c: MLOAD 0000175d: DUP3 0000175e: PUSH4 0xffffffff 00001763: AND 00001764: PUSH1 0xe0 00001766: SHL 00001767: DUP2 00001768: MSTORE 00001769: PUSH1 0x04 0000176b: ADD 0000176c: DUP1 0000176d: DUP3 0000176e: PUSH8 0xffffffffffffffff 00001777: AND 00001778: PUSH8 0xffffffffffffffff 00001781: AND 00001782: DUP2 00001783: MSTORE 00001784: PUSH1 0x20 00001786: ADD 00001787: SWAP2 00001788: POP 00001789: POP 0000178a: PUSH2 0x02a0 0000178d: PUSH1 0x40 0000178f: MLOAD 00001790: DUP1 00001791: DUP4 00001792: SUB 00001793: DUP2 00001794: DUP7 00001795: DUP1 00001796: EXTCODESIZE 00001797: ISZERO 00001798: DUP1 00001799: ISZERO 0000179a: PUSH2 0x17a2 0000179d: JUMPI 0000179e: PUSH1 0x00 000017a0: DUP1 000017a1: REVERT 000017a2: JUMPDEST 000017a3: POP 000017a4: GAS 000017a5: STATICCALL 000017a6: ISZERO 000017a7: DUP1 000017a8: ISZERO 000017a9: PUSH2 0x17b6 000017ac: JUMPI 000017ad: RETURNDATASIZE 000017ae: PUSH1 0x00 000017b0: DUP1 000017b1: RETURNDATACOPY 000017b2: RETURNDATASIZE 000017b3: PUSH1 0x00 000017b5: REVERT 000017b6: JUMPDEST 000017b7: POP 000017b8: POP 000017b9: POP 000017ba: POP 000017bb: PUSH1 0x40 000017bd: MLOAD 000017be: RETURNDATASIZE 000017bf: PUSH1 0x1f 000017c1: NOT 000017c2: PUSH1 0x1f 000017c4: DUP3 000017c5: ADD 000017c6: AND 000017c7: DUP3 000017c8: ADD 000017c9: DUP1 000017ca: PUSH1 0x40 000017cc: MSTORE 000017cd: POP 000017ce: PUSH2 0x02a0 000017d1: DUP2 000017d2: LT 000017d3: ISZERO 000017d4: PUSH2 0x17dc 000017d7: JUMPI 000017d8: PUSH1 0x00 000017da: DUP1 000017db: REVERT 000017dc: JUMPDEST 000017dd: DUP2 000017de: ADD 000017df: SWAP1 000017e0: DUP1 000017e1: SWAP2 000017e2: SWAP1 000017e3: POP 000017e4: POP 000017e5: SWAP1 000017e6: POP 000017e7: SWAP2 000017e8: SWAP1 000017e9: POP 000017ea: JUMP 000017eb: JUMPDEST 000017ec: PUSH1 0x00 000017ee: DUP1 000017ef: SWAP1 000017f0: SLOAD 000017f1: SWAP1 000017f2: PUSH2 0x0100 000017f5: EXP 000017f6: SWAP1 000017f7: DIV 000017f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000180d: AND 0000180e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001823: AND 00001824: CALLER 00001825: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000183a: AND 0000183b: EQ 0000183c: PUSH2 0x18ad 0000183f: JUMPI 00001840: PUSH1 0x40 00001842: MLOAD 00001843: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001864: DUP2 00001865: MSTORE 00001866: PUSH1 0x04 00001868: ADD 00001869: DUP1 0000186a: DUP1 0000186b: PUSH1 0x20 0000186d: ADD 0000186e: DUP3 0000186f: DUP2 00001870: SUB 00001871: DUP3 00001872: MSTORE 00001873: PUSH1 0x11 00001875: DUP2 00001876: MSTORE 00001877: PUSH1 0x20 00001879: ADD 0000187a: DUP1 0000187b: PUSH32 0x796f75206e6f7420746865206f776e6572000000000000000000000000000000 0000189c: DUP2 0000189d: MSTORE 0000189e: POP 0000189f: PUSH1 0x20 000018a1: ADD 000018a2: SWAP2 000018a3: POP 000018a4: POP 000018a5: PUSH1 0x40 000018a7: MLOAD 000018a8: DUP1 000018a9: SWAP2 000018aa: SUB 000018ab: SWAP1 000018ac: REVERT 000018ad: JUMPDEST 000018ae: DUP1 000018af: PUSH1 0x01 000018b1: PUSH1 0x00 000018b3: PUSH2 0x0100 000018b6: EXP 000018b7: DUP2 000018b8: SLOAD 000018b9: DUP2 000018ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018cf: MUL 000018d0: NOT 000018d1: AND 000018d2: SWAP1 000018d3: DUP4 000018d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018e9: AND 000018ea: MUL 000018eb: OR 000018ec: SWAP1 000018ed: SSTORE 000018ee: POP 000018ef: POP 000018f0: JUMP 000018f1: JUMPDEST 000018f2: PUSH1 0x01 000018f4: PUSH1 0x00 000018f6: SWAP1 000018f7: SLOAD 000018f8: SWAP1 000018f9: PUSH2 0x0100 000018fc: EXP 000018fd: SWAP1 000018fe: DIV 000018ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001914: AND 00001915: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000192a: AND 0000192b: PUSH4 0x32fe56d5 00001930: DUP11 00001931: DUP11 00001932: DUP11 00001933: DUP11 00001934: DUP11 00001935: DUP11 00001936: DUP11 00001937: DUP10 00001938: PUSH1 0x40 0000193a: MLOAD 0000193b: DUP10 0000193c: PUSH4 0xffffffff 00001941: AND 00001942: PUSH1 0xe0 00001944: SHL 00001945: DUP2 00001946: MSTORE 00001947: PUSH1 0x04 00001949: ADD 0000194a: DUP1 0000194b: DUP10 0000194c: PUSH8 0xffffffffffffffff 00001955: AND 00001956: PUSH8 0xffffffffffffffff 0000195f: AND 00001960: DUP2 00001961: MSTORE 00001962: PUSH1 0x20 00001964: ADD 00001965: DUP9 00001966: PUSH8 0xffffffffffffffff 0000196f: AND 00001970: PUSH8 0xffffffffffffffff 00001979: AND 0000197a: DUP2 0000197b: MSTORE 0000197c: PUSH1 0x20 0000197e: ADD 0000197f: DUP1 00001980: PUSH1 0x20 00001982: ADD 00001983: DUP1 00001984: PUSH1 0x20 00001986: ADD 00001987: DUP1 00001988: PUSH1 0x20 0000198a: ADD 0000198b: DUP1 0000198c: PUSH1 0x20 0000198e: ADD 0000198f: DUP1 00001990: PUSH1 0x20 00001992: ADD 00001993: DUP1 00001994: PUSH1 0x20 00001996: ADD 00001997: DUP8 00001998: DUP2 00001999: SUB 0000199a: DUP8 0000199b: MSTORE 0000199c: DUP14 0000199d: DUP2 0000199e: DUP2 0000199f: MLOAD 000019a0: DUP2 000019a1: MSTORE 000019a2: PUSH1 0x20 000019a4: ADD 000019a5: SWAP2 000019a6: POP 000019a7: DUP1 000019a8: MLOAD 000019a9: SWAP1 000019aa: PUSH1 0x20 000019ac: ADD 000019ad: SWAP1 000019ae: DUP1 000019af: DUP4 000019b0: DUP4 000019b1: PUSH1 0x00 000019b3: JUMPDEST 000019b4: DUP4 000019b5: DUP2 000019b6: LT 000019b7: ISZERO 000019b8: PUSH2 0x19ce 000019bb: JUMPI 000019bc: DUP1 000019bd: DUP3 000019be: ADD 000019bf: MLOAD 000019c0: DUP2 000019c1: DUP5 000019c2: ADD 000019c3: MSTORE 000019c4: PUSH1 0x20 000019c6: DUP2 000019c7: ADD 000019c8: SWAP1 000019c9: POP 000019ca: PUSH2 0x19b3 000019cd: JUMP 000019ce: JUMPDEST 000019cf: POP 000019d0: POP 000019d1: POP 000019d2: POP 000019d3: SWAP1 000019d4: POP 000019d5: SWAP1 000019d6: DUP2 000019d7: ADD 000019d8: SWAP1 000019d9: PUSH1 0x1f 000019db: AND 000019dc: DUP1 000019dd: ISZERO 000019de: PUSH2 0x19fb 000019e1: JUMPI 000019e2: DUP1 000019e3: DUP3 000019e4: SUB 000019e5: DUP1 000019e6: MLOAD 000019e7: PUSH1 0x01 000019e9: DUP4 000019ea: PUSH1 0x20 000019ec: SUB 000019ed: PUSH2 0x0100 000019f0: EXP 000019f1: SUB 000019f2: NOT 000019f3: AND 000019f4: DUP2 000019f5: MSTORE 000019f6: PUSH1 0x20 000019f8: ADD 000019f9: SWAP2 000019fa: POP 000019fb: JUMPDEST 000019fc: POP 000019fd: DUP8 000019fe: DUP2 000019ff: SUB 00001a00: DUP7 00001a01: MSTORE 00001a02: DUP13 00001a03: DUP2 00001a04: DUP2 00001a05: MLOAD 00001a06: DUP2 00001a07: MSTORE 00001a08: PUSH1 0x20 00001a0a: ADD 00001a0b: SWAP2 00001a0c: POP 00001a0d: DUP1 00001a0e: MLOAD 00001a0f: SWAP1 00001a10: PUSH1 0x20 00001a12: ADD 00001a13: SWAP1 00001a14: DUP1 00001a15: DUP4 00001a16: DUP4 00001a17: PUSH1 0x00 00001a19: JUMPDEST 00001a1a: DUP4 00001a1b: DUP2 00001a1c: LT 00001a1d: ISZERO 00001a1e: PUSH2 0x1a34 00001a21: JUMPI 00001a22: DUP1 00001a23: DUP3 00001a24: ADD 00001a25: MLOAD 00001a26: DUP2 00001a27: DUP5 00001a28: ADD 00001a29: MSTORE 00001a2a: PUSH1 0x20 00001a2c: DUP2 00001a2d: ADD 00001a2e: SWAP1 00001a2f: POP 00001a30: PUSH2 0x1a19 00001a33: JUMP 00001a34: JUMPDEST 00001a35: POP 00001a36: POP 00001a37: POP 00001a38: POP 00001a39: SWAP1 00001a3a: POP 00001a3b: SWAP1 00001a3c: DUP2 00001a3d: ADD 00001a3e: SWAP1 00001a3f: PUSH1 0x1f 00001a41: AND 00001a42: DUP1 00001a43: ISZERO 00001a44: PUSH2 0x1a61 00001a47: JUMPI 00001a48: DUP1 00001a49: DUP3 00001a4a: SUB 00001a4b: DUP1 00001a4c: MLOAD 00001a4d: PUSH1 0x01 00001a4f: DUP4 00001a50: PUSH1 0x20 00001a52: SUB 00001a53: PUSH2 0x0100 00001a56: EXP 00001a57: SUB 00001a58: NOT 00001a59: AND 00001a5a: DUP2 00001a5b: MSTORE 00001a5c: PUSH1 0x20 00001a5e: ADD 00001a5f: SWAP2 00001a60: POP 00001a61: JUMPDEST 00001a62: POP 00001a63: DUP8 00001a64: DUP2 00001a65: SUB 00001a66: DUP6 00001a67: MSTORE 00001a68: DUP12 00001a69: DUP2 00001a6a: DUP2 00001a6b: MLOAD 00001a6c: DUP2 00001a6d: MSTORE 00001a6e: PUSH1 0x20 00001a70: ADD 00001a71: SWAP2 00001a72: POP 00001a73: DUP1 00001a74: MLOAD 00001a75: SWAP1 00001a76: PUSH1 0x20 00001a78: ADD 00001a79: SWAP1 00001a7a: PUSH1 0x20 00001a7c: MUL 00001a7d: DUP1 00001a7e: DUP4 00001a7f: DUP4 00001a80: PUSH1 0x00 00001a82: JUMPDEST 00001a83: DUP4 00001a84: DUP2 00001a85: LT 00001a86: ISZERO 00001a87: PUSH2 0x1a9d 00001a8a: JUMPI 00001a8b: DUP1 00001a8c: DUP3 00001a8d: ADD 00001a8e: MLOAD 00001a8f: DUP2 00001a90: DUP5 00001a91: ADD 00001a92: MSTORE 00001a93: PUSH1 0x20 00001a95: DUP2 00001a96: ADD 00001a97: SWAP1 00001a98: POP 00001a99: PUSH2 0x1a82 00001a9c: JUMP 00001a9d: JUMPDEST 00001a9e: POP 00001a9f: POP 00001aa0: POP 00001aa1: POP 00001aa2: SWAP1 00001aa3: POP 00001aa4: ADD 00001aa5: DUP8 00001aa6: DUP2 00001aa7: SUB 00001aa8: DUP5 00001aa9: MSTORE 00001aaa: DUP11 00001aab: DUP2 00001aac: DUP2 00001aad: MLOAD 00001aae: DUP2 00001aaf: MSTORE 00001ab0: PUSH1 0x20 00001ab2: ADD 00001ab3: SWAP2 00001ab4: POP 00001ab5: DUP1 00001ab6: MLOAD 00001ab7: SWAP1 00001ab8: PUSH1 0x20 00001aba: ADD 00001abb: SWAP1 00001abc: PUSH1 0x20 00001abe: MUL 00001abf: DUP1 00001ac0: DUP4 00001ac1: DUP4 00001ac2: PUSH1 0x00 00001ac4: JUMPDEST 00001ac5: DUP4 00001ac6: DUP2 00001ac7: LT 00001ac8: ISZERO 00001ac9: PUSH2 0x1adf 00001acc: JUMPI 00001acd: DUP1 00001ace: DUP3 00001acf: ADD 00001ad0: MLOAD 00001ad1: DUP2 00001ad2: DUP5 00001ad3: ADD 00001ad4: MSTORE 00001ad5: PUSH1 0x20 00001ad7: DUP2 00001ad8: ADD 00001ad9: SWAP1 00001ada: POP 00001adb: PUSH2 0x1ac4 00001ade: JUMP 00001adf: JUMPDEST 00001ae0: POP 00001ae1: POP 00001ae2: POP 00001ae3: POP 00001ae4: SWAP1 00001ae5: POP 00001ae6: ADD 00001ae7: DUP8 00001ae8: DUP2 00001ae9: SUB 00001aea: DUP4 00001aeb: MSTORE 00001aec: DUP10 00001aed: DUP2 00001aee: DUP2 00001aef: MLOAD 00001af0: DUP2 00001af1: MSTORE 00001af2: PUSH1 0x20 00001af4: ADD 00001af5: SWAP2 00001af6: POP 00001af7: DUP1 00001af8: MLOAD 00001af9: SWAP1 00001afa: PUSH1 0x20 00001afc: ADD 00001afd: SWAP1 00001afe: PUSH1 0x20 00001b00: MUL 00001b01: DUP1 00001b02: DUP4 00001b03: DUP4 00001b04: PUSH1 0x00 00001b06: JUMPDEST 00001b07: DUP4 00001b08: DUP2 00001b09: LT 00001b0a: ISZERO 00001b0b: PUSH2 0x1b21 00001b0e: JUMPI 00001b0f: DUP1 00001b10: DUP3 00001b11: ADD 00001b12: MLOAD 00001b13: DUP2 00001b14: DUP5 00001b15: ADD 00001b16: MSTORE 00001b17: PUSH1 0x20 00001b19: DUP2 00001b1a: ADD 00001b1b: SWAP1 00001b1c: POP 00001b1d: PUSH2 0x1b06 00001b20: JUMP 00001b21: JUMPDEST 00001b22: POP 00001b23: POP 00001b24: POP 00001b25: POP 00001b26: SWAP1 00001b27: POP 00001b28: ADD 00001b29: DUP8 00001b2a: DUP2 00001b2b: SUB 00001b2c: DUP3 00001b2d: MSTORE 00001b2e: DUP9 00001b2f: DUP2 00001b30: DUP2 00001b31: MLOAD 00001b32: DUP2 00001b33: MSTORE 00001b34: PUSH1 0x20 00001b36: ADD 00001b37: SWAP2 00001b38: POP 00001b39: DUP1 00001b3a: MLOAD 00001b3b: SWAP1 00001b3c: PUSH1 0x20 00001b3e: ADD 00001b3f: SWAP1 00001b40: PUSH1 0x20 00001b42: MUL 00001b43: DUP1 00001b44: DUP4 00001b45: DUP4 00001b46: PUSH1 0x00 00001b48: JUMPDEST 00001b49: DUP4 00001b4a: DUP2 00001b4b: LT 00001b4c: ISZERO 00001b4d: PUSH2 0x1b63 00001b50: JUMPI 00001b51: DUP1 00001b52: DUP3 00001b53: ADD 00001b54: MLOAD 00001b55: DUP2 00001b56: DUP5 00001b57: ADD 00001b58: MSTORE 00001b59: PUSH1 0x20 00001b5b: DUP2 00001b5c: ADD 00001b5d: SWAP1 00001b5e: POP 00001b5f: PUSH2 0x1b48 00001b62: JUMP 00001b63: JUMPDEST 00001b64: POP 00001b65: POP 00001b66: POP 00001b67: POP 00001b68: SWAP1 00001b69: POP 00001b6a: ADD 00001b6b: SWAP15 00001b6c: POP 00001b6d: POP 00001b6e: POP 00001b6f: POP 00001b70: POP 00001b71: POP 00001b72: POP 00001b73: POP 00001b74: POP 00001b75: POP 00001b76: POP 00001b77: POP 00001b78: POP 00001b79: POP 00001b7a: POP 00001b7b: PUSH1 0x00 00001b7d: PUSH1 0x40 00001b7f: MLOAD 00001b80: DUP1 00001b81: DUP4 00001b82: SUB 00001b83: DUP2 00001b84: PUSH1 0x00 00001b86: DUP8 00001b87: DUP1 00001b88: EXTCODESIZE 00001b89: ISZERO 00001b8a: DUP1 00001b8b: ISZERO 00001b8c: PUSH2 0x1b94 00001b8f: JUMPI 00001b90: PUSH1 0x00 00001b92: DUP1 00001b93: REVERT 00001b94: JUMPDEST 00001b95: POP 00001b96: GAS 00001b97: CALL 00001b98: ISZERO 00001b99: DUP1 00001b9a: ISZERO 00001b9b: PUSH2 0x1ba8 00001b9e: JUMPI 00001b9f: RETURNDATASIZE 00001ba0: PUSH1 0x00 00001ba2: DUP1 00001ba3: RETURNDATACOPY 00001ba4: RETURNDATASIZE 00001ba5: PUSH1 0x00 00001ba7: REVERT 00001ba8: JUMPDEST 00001ba9: POP 00001baa: POP 00001bab: POP 00001bac: POP 00001bad: DUP8 00001bae: PUSH8 0xffffffffffffffff 00001bb7: AND 00001bb8: DUP3 00001bb9: PUSH8 0xffffffffffffffff 00001bc2: AND 00001bc3: PUSH32 0x0f96c2f255b0638100bf5bfca02089ba0817eb6f6b7b8218883be95799b9f513 00001be4: PUSH1 0x40 00001be6: MLOAD 00001be7: PUSH1 0x40 00001be9: MLOAD 00001bea: DUP1 00001beb: SWAP2 00001bec: SUB 00001bed: SWAP1 00001bee: LOG3 00001bef: POP 00001bf0: POP 00001bf1: POP 00001bf2: POP 00001bf3: POP 00001bf4: POP 00001bf5: POP 00001bf6: POP 00001bf7: POP 00001bf8: JUMP 00001bf9: JUMPDEST 00001bfa: PUSH1 0x00 00001bfc: DUP1 00001bfd: SWAP1 00001bfe: SLOAD 00001bff: SWAP1 00001c00: PUSH2 0x0100 00001c03: EXP 00001c04: SWAP1 00001c05: DIV 00001c06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c1b: AND 00001c1c: DUP2 00001c1d: JUMP 00001c1e: JUMPDEST 00001c1f: PUSH1 0x00 00001c21: PUSH1 0x01 00001c23: PUSH1 0x00 00001c25: SWAP1 00001c26: SLOAD 00001c27: SWAP1 00001c28: PUSH2 0x0100 00001c2b: EXP 00001c2c: SWAP1 00001c2d: DIV 00001c2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c43: AND 00001c44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c59: AND 00001c5a: PUSH4 0x9d0a2e99 00001c5f: DUP4 00001c60: PUSH1 0x40 00001c62: MLOAD 00001c63: DUP3 00001c64: PUSH4 0xffffffff 00001c69: AND 00001c6a: PUSH1 0xe0 00001c6c: SHL 00001c6d: DUP2 00001c6e: MSTORE 00001c6f: PUSH1 0x04 00001c71: ADD 00001c72: DUP1 00001c73: DUP3 00001c74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c89: AND 00001c8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c9f: AND 00001ca0: DUP2 00001ca1: MSTORE 00001ca2: PUSH1 0x20 00001ca4: ADD 00001ca5: SWAP2 00001ca6: POP 00001ca7: POP 00001ca8: PUSH1 0x20 00001caa: PUSH1 0x40 00001cac: MLOAD 00001cad: DUP1 00001cae: DUP4 00001caf: SUB 00001cb0: DUP2 00001cb1: DUP7 00001cb2: DUP1 00001cb3: EXTCODESIZE 00001cb4: ISZERO 00001cb5: DUP1 00001cb6: ISZERO 00001cb7: PUSH2 0x1cbf 00001cba: JUMPI 00001cbb: PUSH1 0x00 00001cbd: DUP1 00001cbe: REVERT 00001cbf: JUMPDEST 00001cc0: POP 00001cc1: GAS 00001cc2: STATICCALL 00001cc3: ISZERO 00001cc4: DUP1 00001cc5: ISZERO 00001cc6: PUSH2 0x1cd3 00001cc9: JUMPI 00001cca: RETURNDATASIZE 00001ccb: PUSH1 0x00 00001ccd: DUP1 00001cce: RETURNDATACOPY 00001ccf: RETURNDATASIZE 00001cd0: PUSH1 0x00 00001cd2: REVERT 00001cd3: JUMPDEST 00001cd4: POP 00001cd5: POP 00001cd6: POP 00001cd7: POP 00001cd8: PUSH1 0x40 00001cda: MLOAD 00001cdb: RETURNDATASIZE 00001cdc: PUSH1 0x20 00001cde: DUP2 00001cdf: LT 00001ce0: ISZERO 00001ce1: PUSH2 0x1ce9 00001ce4: JUMPI 00001ce5: PUSH1 0x00 00001ce7: DUP1 00001ce8: REVERT 00001ce9: JUMPDEST 00001cea: DUP2 00001ceb: ADD 00001cec: SWAP1 00001ced: DUP1 00001cee: DUP1 00001cef: MLOAD 00001cf0: SWAP1 00001cf1: PUSH1 0x20 00001cf3: ADD 00001cf4: SWAP1 00001cf5: SWAP3 00001cf6: SWAP2 00001cf7: SWAP1 00001cf8: POP 00001cf9: POP 00001cfa: POP 00001cfb: SWAP1 00001cfc: POP 00001cfd: SWAP2 00001cfe: SWAP1 00001cff: POP 00001d00: JUMP 00001d01: JUMPDEST 00001d02: PUSH1 0x00 00001d04: PUSH1 0x02 00001d06: DUP6 00001d07: PUSH1 0x40 00001d09: MLOAD 00001d0a: PUSH1 0x20 00001d0c: ADD 00001d0d: DUP1 00001d0e: DUP3 00001d0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d24: AND 00001d25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d3a: AND 00001d3b: PUSH1 0x60 00001d3d: SHL 00001d3e: DUP2 00001d3f: MSTORE 00001d40: PUSH1 0x14 00001d42: ADD 00001d43: SWAP2 00001d44: POP 00001d45: POP 00001d46: PUSH1 0x40 00001d48: MLOAD 00001d49: PUSH1 0x20 00001d4b: DUP2 00001d4c: DUP4 00001d4d: SUB 00001d4e: SUB 00001d4f: DUP2 00001d50: MSTORE 00001d51: SWAP1 00001d52: PUSH1 0x40 00001d54: MSTORE 00001d55: PUSH1 0x40 00001d57: MLOAD 00001d58: DUP1 00001d59: DUP3 00001d5a: DUP1 00001d5b: MLOAD 00001d5c: SWAP1 00001d5d: PUSH1 0x20 00001d5f: ADD 00001d60: SWAP1 00001d61: DUP1 00001d62: DUP4 00001d63: DUP4 00001d64: JUMPDEST 00001d65: PUSH1 0x20 00001d67: DUP4 00001d68: LT 00001d69: PUSH2 0x1d87 00001d6c: JUMPI 00001d6d: DUP1 00001d6e: MLOAD 00001d6f: DUP3 00001d70: MSTORE 00001d71: PUSH1 0x20 00001d73: DUP3 00001d74: ADD 00001d75: SWAP2 00001d76: POP 00001d77: PUSH1 0x20 00001d79: DUP2 00001d7a: ADD 00001d7b: SWAP1 00001d7c: POP 00001d7d: PUSH1 0x20 00001d7f: DUP4 00001d80: SUB 00001d81: SWAP3 00001d82: POP 00001d83: PUSH2 0x1d64 00001d86: JUMP 00001d87: JUMPDEST 00001d88: PUSH1 0x01 00001d8a: DUP4 00001d8b: PUSH1 0x20 00001d8d: SUB 00001d8e: PUSH2 0x0100 00001d91: EXP 00001d92: SUB 00001d93: DUP1 00001d94: NOT 00001d95: DUP3 00001d96: MLOAD 00001d97: AND 00001d98: DUP2 00001d99: DUP5 00001d9a: MLOAD 00001d9b: AND 00001d9c: DUP1 00001d9d: DUP3 00001d9e: OR 00001d9f: DUP6 00001da0: MSTORE 00001da1: POP 00001da2: POP 00001da3: POP 00001da4: POP 00001da5: POP 00001da6: POP 00001da7: SWAP1 00001da8: POP 00001da9: ADD 00001daa: SWAP2 00001dab: POP 00001dac: POP 00001dad: PUSH1 0x20 00001daf: PUSH1 0x40 00001db1: MLOAD 00001db2: DUP1 00001db3: DUP4 00001db4: SUB 00001db5: DUP2 00001db6: DUP6 00001db7: GAS 00001db8: STATICCALL 00001db9: ISZERO 00001dba: DUP1 00001dbb: ISZERO 00001dbc: PUSH2 0x1dc9 00001dbf: JUMPI 00001dc0: RETURNDATASIZE 00001dc1: PUSH1 0x00 00001dc3: DUP1 00001dc4: RETURNDATACOPY 00001dc5: RETURNDATASIZE 00001dc6: PUSH1 0x00 00001dc8: REVERT 00001dc9: JUMPDEST 00001dca: POP 00001dcb: POP 00001dcc: POP 00001dcd: PUSH1 0x40 00001dcf: MLOAD 00001dd0: RETURNDATASIZE 00001dd1: PUSH1 0x20 00001dd3: DUP2 00001dd4: LT 00001dd5: ISZERO 00001dd6: PUSH2 0x1dde 00001dd9: JUMPI 00001dda: PUSH1 0x00 00001ddc: DUP1 00001ddd: REVERT 00001dde: JUMPDEST 00001ddf: DUP2 00001de0: ADD 00001de1: SWAP1 00001de2: DUP1 00001de3: DUP1 00001de4: MLOAD 00001de5: SWAP1 00001de6: PUSH1 0x20 00001de8: ADD 00001de9: SWAP1 00001dea: SWAP3 00001deb: SWAP2 00001dec: SWAP1 00001ded: POP 00001dee: POP 00001def: POP 00001df0: SWAP1 00001df1: POP 00001df2: PUSH1 0x01 00001df4: PUSH1 0x00 00001df6: SWAP1 00001df7: SLOAD 00001df8: SWAP1 00001df9: PUSH2 0x0100 00001dfc: EXP 00001dfd: SWAP1 00001dfe: DIV 00001dff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e14: AND 00001e15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e2a: AND 00001e2b: PUSH4 0x8983b2bc 00001e30: DUP3 00001e31: DUP7 00001e32: DUP7 00001e33: DUP7 00001e34: PUSH1 0x40 00001e36: MLOAD 00001e37: DUP6 00001e38: PUSH4 0xffffffff 00001e3d: AND 00001e3e: PUSH1 0xe0 00001e40: SHL 00001e41: DUP2 00001e42: MSTORE 00001e43: PUSH1 0x04 00001e45: ADD 00001e46: DUP1 00001e47: DUP6 00001e48: DUP2 00001e49: MSTORE 00001e4a: PUSH1 0x20 00001e4c: ADD 00001e4d: DUP1 00001e4e: PUSH1 0x20 00001e50: ADD 00001e51: DUP1 00001e52: PUSH1 0x20 00001e54: ADD 00001e55: DUP1 00001e56: PUSH1 0x20 00001e58: ADD 00001e59: DUP5 00001e5a: DUP2 00001e5b: SUB 00001e5c: DUP5 00001e5d: MSTORE 00001e5e: DUP8 00001e5f: DUP2 00001e60: DUP2 00001e61: MLOAD 00001e62: DUP2 00001e63: MSTORE 00001e64: PUSH1 0x20 00001e66: ADD 00001e67: SWAP2 00001e68: POP 00001e69: DUP1 00001e6a: MLOAD 00001e6b: SWAP1 00001e6c: PUSH1 0x20 00001e6e: ADD 00001e6f: SWAP1 00001e70: PUSH1 0x20 00001e72: MUL 00001e73: DUP1 00001e74: DUP4 00001e75: DUP4 00001e76: PUSH1 0x00 00001e78: JUMPDEST 00001e79: DUP4 00001e7a: DUP2 00001e7b: LT 00001e7c: ISZERO 00001e7d: PUSH2 0x1e93 00001e80: JUMPI 00001e81: DUP1 00001e82: DUP3 00001e83: ADD 00001e84: MLOAD 00001e85: DUP2 00001e86: DUP5 00001e87: ADD 00001e88: MSTORE 00001e89: PUSH1 0x20 00001e8b: DUP2 00001e8c: ADD 00001e8d: SWAP1 00001e8e: POP 00001e8f: PUSH2 0x1e78 00001e92: JUMP 00001e93: JUMPDEST 00001e94: POP 00001e95: POP 00001e96: POP 00001e97: POP 00001e98: SWAP1 00001e99: POP 00001e9a: ADD 00001e9b: DUP5 00001e9c: DUP2 00001e9d: SUB 00001e9e: DUP4 00001e9f: MSTORE 00001ea0: DUP7 00001ea1: DUP2 00001ea2: DUP2 00001ea3: MLOAD 00001ea4: DUP2 00001ea5: MSTORE 00001ea6: PUSH1 0x20 00001ea8: ADD 00001ea9: SWAP2 00001eaa: POP 00001eab: DUP1 00001eac: MLOAD 00001ead: SWAP1 00001eae: PUSH1 0x20 00001eb0: ADD 00001eb1: SWAP1 00001eb2: PUSH1 0x20 00001eb4: MUL 00001eb5: DUP1 00001eb6: DUP4 00001eb7: DUP4 00001eb8: PUSH1 0x00 00001eba: JUMPDEST 00001ebb: DUP4 00001ebc: DUP2 00001ebd: LT 00001ebe: ISZERO 00001ebf: PUSH2 0x1ed5 00001ec2: JUMPI 00001ec3: DUP1 00001ec4: DUP3 00001ec5: ADD 00001ec6: MLOAD 00001ec7: DUP2 00001ec8: DUP5 00001ec9: ADD 00001eca: MSTORE 00001ecb: PUSH1 0x20 00001ecd: DUP2 00001ece: ADD 00001ecf: SWAP1 00001ed0: POP 00001ed1: PUSH2 0x1eba 00001ed4: JUMP 00001ed5: JUMPDEST 00001ed6: POP 00001ed7: POP 00001ed8: POP 00001ed9: POP 00001eda: SWAP1 00001edb: POP 00001edc: ADD 00001edd: DUP5 00001ede: DUP2 00001edf: SUB 00001ee0: DUP3 00001ee1: MSTORE 00001ee2: DUP6 00001ee3: DUP2 00001ee4: DUP2 00001ee5: MLOAD 00001ee6: DUP2 00001ee7: MSTORE 00001ee8: PUSH1 0x20 00001eea: ADD 00001eeb: SWAP2 00001eec: POP 00001eed: DUP1 00001eee: MLOAD 00001eef: SWAP1 00001ef0: PUSH1 0x20 00001ef2: ADD 00001ef3: SWAP1 00001ef4: PUSH1 0x20 00001ef6: MUL 00001ef7: DUP1 00001ef8: DUP4 00001ef9: DUP4 00001efa: PUSH1 0x00 00001efc: JUMPDEST 00001efd: DUP4 00001efe: DUP2 00001eff: LT 00001f00: ISZERO 00001f01: PUSH2 0x1f17 00001f04: JUMPI 00001f05: DUP1 00001f06: DUP3 00001f07: ADD 00001f08: MLOAD 00001f09: DUP2 00001f0a: DUP5 00001f0b: ADD 00001f0c: MSTORE 00001f0d: PUSH1 0x20 00001f0f: DUP2 00001f10: ADD 00001f11: SWAP1 00001f12: POP 00001f13: PUSH2 0x1efc 00001f16: JUMP 00001f17: JUMPDEST 00001f18: POP 00001f19: POP 00001f1a: POP 00001f1b: POP 00001f1c: SWAP1 00001f1d: POP 00001f1e: ADD 00001f1f: SWAP8 00001f20: POP 00001f21: POP 00001f22: POP 00001f23: POP 00001f24: POP 00001f25: POP 00001f26: POP 00001f27: POP 00001f28: PUSH1 0x20 00001f2a: PUSH1 0x40 00001f2c: MLOAD 00001f2d: DUP1 00001f2e: DUP4 00001f2f: SUB 00001f30: DUP2 00001f31: DUP7 00001f32: DUP1 00001f33: EXTCODESIZE 00001f34: ISZERO 00001f35: DUP1 00001f36: ISZERO 00001f37: PUSH2 0x1f3f 00001f3a: JUMPI 00001f3b: PUSH1 0x00 00001f3d: DUP1 00001f3e: REVERT 00001f3f: JUMPDEST 00001f40: POP 00001f41: GAS 00001f42: STATICCALL 00001f43: ISZERO 00001f44: DUP1 00001f45: ISZERO 00001f46: PUSH2 0x1f53 00001f49: JUMPI 00001f4a: RETURNDATASIZE 00001f4b: PUSH1 0x00 00001f4d: DUP1 00001f4e: RETURNDATACOPY 00001f4f: RETURNDATASIZE 00001f50: PUSH1 0x00 00001f52: REVERT 00001f53: JUMPDEST 00001f54: POP 00001f55: POP 00001f56: POP 00001f57: POP 00001f58: PUSH1 0x40 00001f5a: MLOAD 00001f5b: RETURNDATASIZE 00001f5c: PUSH1 0x20 00001f5e: DUP2 00001f5f: LT 00001f60: ISZERO 00001f61: PUSH2 0x1f69 00001f64: JUMPI 00001f65: PUSH1 0x00 00001f67: DUP1 00001f68: REVERT 00001f69: JUMPDEST 00001f6a: DUP2 00001f6b: ADD 00001f6c: SWAP1 00001f6d: DUP1 00001f6e: DUP1 00001f6f: MLOAD 00001f70: SWAP1 00001f71: PUSH1 0x20 00001f73: ADD 00001f74: SWAP1 00001f75: SWAP3 00001f76: SWAP2 00001f77: SWAP1 00001f78: POP 00001f79: POP 00001f7a: POP 00001f7b: PUSH2 0x1f83 00001f7e: JUMPI 00001f7f: PUSH1 0x00 00001f81: DUP1 00001f82: REVERT 00001f83: JUMPDEST 00001f84: DUP5 00001f85: PUSH1 0x01 00001f87: PUSH1 0x00 00001f89: PUSH2 0x0100 00001f8c: EXP 00001f8d: DUP2 00001f8e: SLOAD 00001f8f: DUP2 00001f90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fa5: MUL 00001fa6: NOT 00001fa7: AND 00001fa8: SWAP1 00001fa9: DUP4 00001faa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fbf: AND 00001fc0: MUL 00001fc1: OR 00001fc2: SWAP1 00001fc3: SSTORE 00001fc4: POP 00001fc5: POP 00001fc6: POP 00001fc7: POP 00001fc8: POP 00001fc9: POP 00001fca: JUMP 00001fcb: JUMPDEST 00001fcc: PUSH1 0x00 00001fce: DUP1 00001fcf: SWAP1 00001fd0: SLOAD 00001fd1: SWAP1 00001fd2: PUSH2 0x0100 00001fd5: EXP 00001fd6: SWAP1 00001fd7: DIV 00001fd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fed: AND 00001fee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002003: AND 00002004: CALLER 00002005: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000201a: AND 0000201b: EQ 0000201c: PUSH2 0x208d 0000201f: JUMPI 00002020: PUSH1 0x40 00002022: MLOAD 00002023: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002044: DUP2 00002045: MSTORE 00002046: PUSH1 0x04 00002048: ADD 00002049: DUP1 0000204a: DUP1 0000204b: PUSH1 0x20 0000204d: ADD 0000204e: DUP3 0000204f: DUP2 00002050: SUB 00002051: DUP3 00002052: MSTORE 00002053: PUSH1 0x11 00002055: DUP2 00002056: MSTORE 00002057: PUSH1 0x20 00002059: ADD 0000205a: DUP1 0000205b: PUSH32 0x796f75206e6f7420746865206f776e6572000000000000000000000000000000 0000207c: DUP2 0000207d: MSTORE 0000207e: POP 0000207f: PUSH1 0x20 00002081: ADD 00002082: SWAP2 00002083: POP 00002084: POP 00002085: PUSH1 0x40 00002087: MLOAD 00002088: DUP1 00002089: SWAP2 0000208a: SUB 0000208b: SWAP1 0000208c: REVERT 0000208d: JUMPDEST 0000208e: DUP1 0000208f: PUSH1 0x00 00002091: DUP1 00002092: PUSH2 0x0100 00002095: EXP 00002096: DUP2 00002097: SLOAD 00002098: DUP2 00002099: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020ae: MUL 000020af: NOT 000020b0: AND 000020b1: SWAP1 000020b2: DUP4 000020b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020c8: AND 000020c9: MUL 000020ca: OR 000020cb: SWAP1 000020cc: SSTORE 000020cd: POP 000020ce: POP 000020cf: JUMP 000020d0: JUMPDEST 000020d1: PUSH1 0x00 000020d3: PUSH1 0x01 000020d5: PUSH1 0x00 000020d7: SWAP1 000020d8: SLOAD 000020d9: SWAP1 000020da: PUSH2 0x0100 000020dd: EXP 000020de: SWAP1 000020df: DIV 000020e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020f5: AND 000020f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000210b: AND 0000210c: PUSH4 0xd759a23a 00002111: PUSH1 0x40 00002113: MLOAD 00002114: DUP2 00002115: PUSH4 0xffffffff 0000211a: AND 0000211b: PUSH1 0xe0 0000211d: SHL 0000211e: DUP2 0000211f: MSTORE 00002120: PUSH1 0x04 00002122: ADD 00002123: PUSH1 0x20 00002125: PUSH1 0x40 00002127: MLOAD 00002128: DUP1 00002129: DUP4 0000212a: SUB 0000212b: DUP2 0000212c: DUP7 0000212d: DUP1 0000212e: EXTCODESIZE 0000212f: ISZERO 00002130: DUP1 00002131: ISZERO 00002132: PUSH2 0x213a 00002135: JUMPI 00002136: PUSH1 0x00 00002138: DUP1 00002139: REVERT 0000213a: JUMPDEST 0000213b: POP 0000213c: GAS 0000213d: STATICCALL 0000213e: ISZERO 0000213f: DUP1 00002140: ISZERO 00002141: PUSH2 0x214e 00002144: JUMPI 00002145: RETURNDATASIZE 00002146: PUSH1 0x00 00002148: DUP1 00002149: RETURNDATACOPY 0000214a: RETURNDATASIZE 0000214b: PUSH1 0x00 0000214d: REVERT 0000214e: JUMPDEST 0000214f: POP 00002150: POP 00002151: POP 00002152: POP 00002153: PUSH1 0x40 00002155: MLOAD 00002156: RETURNDATASIZE 00002157: PUSH1 0x20 00002159: DUP2 0000215a: LT 0000215b: ISZERO 0000215c: PUSH2 0x2164 0000215f: JUMPI 00002160: PUSH1 0x00 00002162: DUP1 00002163: REVERT 00002164: JUMPDEST 00002165: DUP2 00002166: ADD 00002167: SWAP1 00002168: DUP1 00002169: DUP1 0000216a: MLOAD 0000216b: SWAP1 0000216c: PUSH1 0x20 0000216e: ADD 0000216f: SWAP1 00002170: SWAP3 00002171: SWAP2 00002172: SWAP1 00002173: POP 00002174: POP 00002175: POP 00002176: SWAP1 00002177: POP 00002178: SWAP1 00002179: JUMP 0000217a: JUMPDEST 0000217b: DUP1 0000217c: PUSH8 0xffffffffffffffff 00002185: AND 00002186: CALLER 00002187: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000219c: AND 0000219d: PUSH32 0xa086cec427fcbfe3d77123e09f736de3af78768a35da375ca072c0078a450911 000021be: PUSH1 0x40 000021c0: MLOAD 000021c1: PUSH1 0x40 000021c3: MLOAD 000021c4: DUP1 000021c5: SWAP2 000021c6: SUB 000021c7: SWAP1 000021c8: LOG3 000021c9: POP 000021ca: JUMP 000021cb: JUMPDEST 000021cc: PUSH1 0x40 000021ce: MLOAD 000021cf: DUP1 000021d0: PUSH2 0x02a0 000021d3: ADD 000021d4: PUSH1 0x40 000021d6: MSTORE 000021d7: DUP1 000021d8: PUSH1 0x15 000021da: SWAP1 000021db: PUSH1 0x20 000021dd: DUP3 000021de: MUL 000021df: DUP1 000021e0: CODESIZE 000021e1: DUP4 000021e2: CODECOPY 000021e3: DUP1 000021e4: DUP3 000021e5: ADD 000021e6: SWAP2 000021e7: POP 000021e8: POP 000021e9: SWAP1 000021ea: POP 000021eb: POP 000021ec: SWAP1 000021ed: JUMP 000021ee: INVALID 000021ef: LOG1 000021f0: PUSH6 0x627a7a723058 000021f7: KECCAK256 000021f8: UNKNOWN(0x2B) 000021f9: POP 000021fa: PUSH8 0x8edbf2b9d264e9b5 00002203: CALL 00002204: SDIV 00002205: GASPRICE 00002206: EXP 00002207: UNKNOWN(0xDA) 00002208: PUSH26
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x92cca6f43dc238b459ffa66247c35385f0ddef7a90ab7c35bdcdabadec836b61
call_targets:
0x8cbd6dfdd2cc917793746613a648c600afb020b1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x92cca6f43dc238b459ffa66247c35385f0ddef7a90ab7c35bdcdabadec836b61",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8cbd6dfdd2cc917793746613a648c600afb020b1"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9d0a2e99",
"selector": "0x9d0a2e99",
"calldata_variants": [
"0x9d0a2e99",
"0x9d0a2e990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9ed4bc8c",
"selector": "0x9ed4bc8c",
"calldata_variants": [
"0x9ed4bc8c",
"0x9ed4bc8c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f9dae1",
"selector": "0xa6f9dae1",
"calldata_variants": [
"0xa6f9dae1",
"0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd759a23a",
"selector": "0xd759a23a",
"calldata_variants": [
"0xd759a23a",
"0xd759a23a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5165863",
"selector": "0xf5165863",
"calldata_variants": [
"0xf5165863",
"0xf51658630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0cb673f7",
"selector": "0x0cb673f7",
"calldata_variants": [
"0x0cb673f7",
"0x0cb673f70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1921f72c",
"selector": "0x1921f72c",
"calldata_variants": [
"0x1921f72c",
"0x1921f72c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4924,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5146,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5404,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [
{
"pc": 6180,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8196,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 6
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x92cca6f43dc238b459ffa66247c35385f0ddef7a90ab7c35bdcdabadec836b61
call_targets:
0x8cbd6dfdd2cc917793746613a648c600afb020b1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x92cca6f43dc238b459ffa66247c35385f0ddef7a90ab7c35bdcdabadec836b61",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8cbd6dfdd2cc917793746613a648c600afb020b1"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9d0a2e99",
"selector": "0x9d0a2e99",
"calldata_variants": [
"0x9d0a2e99",
"0x9d0a2e990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9ed4bc8c",
"selector": "0x9ed4bc8c",
"calldata_variants": [
"0x9ed4bc8c",
"0x9ed4bc8c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f9dae1",
"selector": "0xa6f9dae1",
"calldata_variants": [
"0xa6f9dae1",
"0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd759a23a",
"selector": "0xd759a23a",
"calldata_variants": [
"0xd759a23a",
"0xd759a23a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5165863",
"selector": "0xf5165863",
"calldata_variants": [
"0xf5165863",
"0xf51658630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0cb673f7",
"selector": "0x0cb673f7",
"calldata_variants": [
"0x0cb673f7",
"0x0cb673f70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1921f72c",
"selector": "0x1921f72c",
"calldata_variants": [
"0x1921f72c",
"0x1921f72c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4924,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5146,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5404,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": [
{
"pc": 6180,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8196,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| 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": 9
}
|
| 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": 13
}
|