sc_int64_mask.cpp revision 12027
1/***************************************************************************** 2 3 Licensed to Accellera Systems Initiative Inc. (Accellera) under one or 4 more contributor license agreements. See the NOTICE file distributed 5 with this work for additional information regarding copyright ownership. 6 Accellera licenses this file to you under the Apache License, Version 2.0 7 (the "License"); you may not use this file except in compliance with the 8 License. You may obtain a copy of the License at 9 10 http://www.apache.org/licenses/LICENSE-2.0 11 12 Unless required by applicable law or agreed to in writing, software 13 distributed under the License is distributed on an "AS IS" BASIS, 14 WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or 15 implied. See the License for the specific language governing 16 permissions and limitations under the License. 17 18 *****************************************************************************/ 19 20/***************************************************************************** 21 22 sc_int64_mask.cpp -- Fills the mask_int lookup table to enable efficient 23 part-selection on 64-bit sc_ints and sc_uints. 24 25 Original Author: Amit Rao, Synopsys, Inc. 26 27 *****************************************************************************/ 28 29/***************************************************************************** 30 31 MODIFICATION LOG - modifiers, enter your name, affiliation, date and 32 changes you are making here. 33 34 Name, Affiliation, Date: Ali Dasdan, Synopsys, Inc. 35 Description of Modification: - Resolved ambiguity with sc_(un)signed. 36 - Merged the code for 64- and 32-bit versions 37 via the constants in sc_nbdefs.h. 38 - Eliminated redundant file inclusions. 39 40 Name, Affiliation, Date: 41 Description of Modification: 42 43 *****************************************************************************/ 44 45 46// $Log: sc_int64_mask.cpp,v $ 47// Revision 1.3 2011/02/18 20:19:14 acg 48// Andy Goodrich: updating Copyright notice. 49// 50// Revision 1.2 2009/05/22 16:06:29 acg 51// Andy Goodrich: process control updates. 52// 53// Revision 1.1.1.1 2006/12/15 20:20:05 acg 54// SystemC 2.3 55// 56// Revision 1.3 2006/01/13 18:49:31 acg 57// Added $Log command so that CVS check in comments are reproduced in the 58// source. 59// 60 61#ifndef _32BIT_ 62 63#include "sysc/datatypes/int/sc_int_base.h" 64#include "sysc/datatypes/int/sc_uint_base.h" 65 66 67namespace sc_dt 68{ 69 70#if !defined(_WIN32) || defined(__MINGW32__) 71 72const uint_type mask_int[SC_INTWIDTH][SC_INTWIDTH] = 73{ 74{ 750xfffffffffffffffeULL 76}, 77{ 780xfffffffffffffffcULL, 790xfffffffffffffffdULL 80}, 81{ 820xfffffffffffffff8ULL, 830xfffffffffffffff9ULL, 840xfffffffffffffffbULL 85}, 86{ 870xfffffffffffffff0ULL, 880xfffffffffffffff1ULL, 890xfffffffffffffff3ULL, 900xfffffffffffffff7ULL 91}, 92{ 930xffffffffffffffe0ULL, 940xffffffffffffffe1ULL, 950xffffffffffffffe3ULL, 960xffffffffffffffe7ULL, 970xffffffffffffffefULL 98}, 99{ 1000xffffffffffffffc0ULL, 1010xffffffffffffffc1ULL, 1020xffffffffffffffc3ULL, 1030xffffffffffffffc7ULL, 1040xffffffffffffffcfULL, 1050xffffffffffffffdfULL 106}, 107{ 1080xffffffffffffff80ULL, 1090xffffffffffffff81ULL, 1100xffffffffffffff83ULL, 1110xffffffffffffff87ULL, 1120xffffffffffffff8fULL, 1130xffffffffffffff9fULL, 1140xffffffffffffffbfULL 115}, 116{ 1170xffffffffffffff00ULL, 1180xffffffffffffff01ULL, 1190xffffffffffffff03ULL, 1200xffffffffffffff07ULL, 1210xffffffffffffff0fULL, 1220xffffffffffffff1fULL, 1230xffffffffffffff3fULL, 1240xffffffffffffff7fULL 125}, 126{ 1270xfffffffffffffe00ULL, 1280xfffffffffffffe01ULL, 1290xfffffffffffffe03ULL, 1300xfffffffffffffe07ULL, 1310xfffffffffffffe0fULL, 1320xfffffffffffffe1fULL, 1330xfffffffffffffe3fULL, 1340xfffffffffffffe7fULL, 1350xfffffffffffffeffULL 136}, 137{ 1380xfffffffffffffc00ULL, 1390xfffffffffffffc01ULL, 1400xfffffffffffffc03ULL, 1410xfffffffffffffc07ULL, 1420xfffffffffffffc0fULL, 1430xfffffffffffffc1fULL, 1440xfffffffffffffc3fULL, 1450xfffffffffffffc7fULL, 1460xfffffffffffffcffULL, 1470xfffffffffffffdffULL 148}, 149{ 1500xfffffffffffff800ULL, 1510xfffffffffffff801ULL, 1520xfffffffffffff803ULL, 1530xfffffffffffff807ULL, 1540xfffffffffffff80fULL, 1550xfffffffffffff81fULL, 1560xfffffffffffff83fULL, 1570xfffffffffffff87fULL, 1580xfffffffffffff8ffULL, 1590xfffffffffffff9ffULL, 1600xfffffffffffffbffULL 161}, 162{ 1630xfffffffffffff000ULL, 1640xfffffffffffff001ULL, 1650xfffffffffffff003ULL, 1660xfffffffffffff007ULL, 1670xfffffffffffff00fULL, 1680xfffffffffffff01fULL, 1690xfffffffffffff03fULL, 1700xfffffffffffff07fULL, 1710xfffffffffffff0ffULL, 1720xfffffffffffff1ffULL, 1730xfffffffffffff3ffULL, 1740xfffffffffffff7ffULL 175}, 176{ 1770xffffffffffffe000ULL, 1780xffffffffffffe001ULL, 1790xffffffffffffe003ULL, 1800xffffffffffffe007ULL, 1810xffffffffffffe00fULL, 1820xffffffffffffe01fULL, 1830xffffffffffffe03fULL, 1840xffffffffffffe07fULL, 1850xffffffffffffe0ffULL, 1860xffffffffffffe1ffULL, 1870xffffffffffffe3ffULL, 1880xffffffffffffe7ffULL, 1890xffffffffffffefffULL 190}, 191{ 1920xffffffffffffc000ULL, 1930xffffffffffffc001ULL, 1940xffffffffffffc003ULL, 1950xffffffffffffc007ULL, 1960xffffffffffffc00fULL, 1970xffffffffffffc01fULL, 1980xffffffffffffc03fULL, 1990xffffffffffffc07fULL, 2000xffffffffffffc0ffULL, 2010xffffffffffffc1ffULL, 2020xffffffffffffc3ffULL, 2030xffffffffffffc7ffULL, 2040xffffffffffffcfffULL, 2050xffffffffffffdfffULL 206}, 207{ 2080xffffffffffff8000ULL, 2090xffffffffffff8001ULL, 2100xffffffffffff8003ULL, 2110xffffffffffff8007ULL, 2120xffffffffffff800fULL, 2130xffffffffffff801fULL, 2140xffffffffffff803fULL, 2150xffffffffffff807fULL, 2160xffffffffffff80ffULL, 2170xffffffffffff81ffULL, 2180xffffffffffff83ffULL, 2190xffffffffffff87ffULL, 2200xffffffffffff8fffULL, 2210xffffffffffff9fffULL, 2220xffffffffffffbfffULL 223}, 224{ 2250xffffffffffff0000ULL, 2260xffffffffffff0001ULL, 2270xffffffffffff0003ULL, 2280xffffffffffff0007ULL, 2290xffffffffffff000fULL, 2300xffffffffffff001fULL, 2310xffffffffffff003fULL, 2320xffffffffffff007fULL, 2330xffffffffffff00ffULL, 2340xffffffffffff01ffULL, 2350xffffffffffff03ffULL, 2360xffffffffffff07ffULL, 2370xffffffffffff0fffULL, 2380xffffffffffff1fffULL, 2390xffffffffffff3fffULL, 2400xffffffffffff7fffULL 241}, 242{ 2430xfffffffffffe0000ULL, 2440xfffffffffffe0001ULL, 2450xfffffffffffe0003ULL, 2460xfffffffffffe0007ULL, 2470xfffffffffffe000fULL, 2480xfffffffffffe001fULL, 2490xfffffffffffe003fULL, 2500xfffffffffffe007fULL, 2510xfffffffffffe00ffULL, 2520xfffffffffffe01ffULL, 2530xfffffffffffe03ffULL, 2540xfffffffffffe07ffULL, 2550xfffffffffffe0fffULL, 2560xfffffffffffe1fffULL, 2570xfffffffffffe3fffULL, 2580xfffffffffffe7fffULL, 2590xfffffffffffeffffULL 260}, 261{ 2620xfffffffffffc0000ULL, 2630xfffffffffffc0001ULL, 2640xfffffffffffc0003ULL, 2650xfffffffffffc0007ULL, 2660xfffffffffffc000fULL, 2670xfffffffffffc001fULL, 2680xfffffffffffc003fULL, 2690xfffffffffffc007fULL, 2700xfffffffffffc00ffULL, 2710xfffffffffffc01ffULL, 2720xfffffffffffc03ffULL, 2730xfffffffffffc07ffULL, 2740xfffffffffffc0fffULL, 2750xfffffffffffc1fffULL, 2760xfffffffffffc3fffULL, 2770xfffffffffffc7fffULL, 2780xfffffffffffcffffULL, 2790xfffffffffffdffffULL 280}, 281{ 2820xfffffffffff80000ULL, 2830xfffffffffff80001ULL, 2840xfffffffffff80003ULL, 2850xfffffffffff80007ULL, 2860xfffffffffff8000fULL, 2870xfffffffffff8001fULL, 2880xfffffffffff8003fULL, 2890xfffffffffff8007fULL, 2900xfffffffffff800ffULL, 2910xfffffffffff801ffULL, 2920xfffffffffff803ffULL, 2930xfffffffffff807ffULL, 2940xfffffffffff80fffULL, 2950xfffffffffff81fffULL, 2960xfffffffffff83fffULL, 2970xfffffffffff87fffULL, 2980xfffffffffff8ffffULL, 2990xfffffffffff9ffffULL, 3000xfffffffffffbffffULL 301}, 302{ 3030xfffffffffff00000ULL, 3040xfffffffffff00001ULL, 3050xfffffffffff00003ULL, 3060xfffffffffff00007ULL, 3070xfffffffffff0000fULL, 3080xfffffffffff0001fULL, 3090xfffffffffff0003fULL, 3100xfffffffffff0007fULL, 3110xfffffffffff000ffULL, 3120xfffffffffff001ffULL, 3130xfffffffffff003ffULL, 3140xfffffffffff007ffULL, 3150xfffffffffff00fffULL, 3160xfffffffffff01fffULL, 3170xfffffffffff03fffULL, 3180xfffffffffff07fffULL, 3190xfffffffffff0ffffULL, 3200xfffffffffff1ffffULL, 3210xfffffffffff3ffffULL, 3220xfffffffffff7ffffULL 323}, 324{ 3250xffffffffffe00000ULL, 3260xffffffffffe00001ULL, 3270xffffffffffe00003ULL, 3280xffffffffffe00007ULL, 3290xffffffffffe0000fULL, 3300xffffffffffe0001fULL, 3310xffffffffffe0003fULL, 3320xffffffffffe0007fULL, 3330xffffffffffe000ffULL, 3340xffffffffffe001ffULL, 3350xffffffffffe003ffULL, 3360xffffffffffe007ffULL, 3370xffffffffffe00fffULL, 3380xffffffffffe01fffULL, 3390xffffffffffe03fffULL, 3400xffffffffffe07fffULL, 3410xffffffffffe0ffffULL, 3420xffffffffffe1ffffULL, 3430xffffffffffe3ffffULL, 3440xffffffffffe7ffffULL, 3450xffffffffffefffffULL 346}, 347{ 3480xffffffffffc00000ULL, 3490xffffffffffc00001ULL, 3500xffffffffffc00003ULL, 3510xffffffffffc00007ULL, 3520xffffffffffc0000fULL, 3530xffffffffffc0001fULL, 3540xffffffffffc0003fULL, 3550xffffffffffc0007fULL, 3560xffffffffffc000ffULL, 3570xffffffffffc001ffULL, 3580xffffffffffc003ffULL, 3590xffffffffffc007ffULL, 3600xffffffffffc00fffULL, 3610xffffffffffc01fffULL, 3620xffffffffffc03fffULL, 3630xffffffffffc07fffULL, 3640xffffffffffc0ffffULL, 3650xffffffffffc1ffffULL, 3660xffffffffffc3ffffULL, 3670xffffffffffc7ffffULL, 3680xffffffffffcfffffULL, 3690xffffffffffdfffffULL 370}, 371{ 3720xffffffffff800000ULL, 3730xffffffffff800001ULL, 3740xffffffffff800003ULL, 3750xffffffffff800007ULL, 3760xffffffffff80000fULL, 3770xffffffffff80001fULL, 3780xffffffffff80003fULL, 3790xffffffffff80007fULL, 3800xffffffffff8000ffULL, 3810xffffffffff8001ffULL, 3820xffffffffff8003ffULL, 3830xffffffffff8007ffULL, 3840xffffffffff800fffULL, 3850xffffffffff801fffULL, 3860xffffffffff803fffULL, 3870xffffffffff807fffULL, 3880xffffffffff80ffffULL, 3890xffffffffff81ffffULL, 3900xffffffffff83ffffULL, 3910xffffffffff87ffffULL, 3920xffffffffff8fffffULL, 3930xffffffffff9fffffULL, 3940xffffffffffbfffffULL 395}, 396{ 3970xffffffffff000000ULL, 3980xffffffffff000001ULL, 3990xffffffffff000003ULL, 4000xffffffffff000007ULL, 4010xffffffffff00000fULL, 4020xffffffffff00001fULL, 4030xffffffffff00003fULL, 4040xffffffffff00007fULL, 4050xffffffffff0000ffULL, 4060xffffffffff0001ffULL, 4070xffffffffff0003ffULL, 4080xffffffffff0007ffULL, 4090xffffffffff000fffULL, 4100xffffffffff001fffULL, 4110xffffffffff003fffULL, 4120xffffffffff007fffULL, 4130xffffffffff00ffffULL, 4140xffffffffff01ffffULL, 4150xffffffffff03ffffULL, 4160xffffffffff07ffffULL, 4170xffffffffff0fffffULL, 4180xffffffffff1fffffULL, 4190xffffffffff3fffffULL, 4200xffffffffff7fffffULL 421}, 422{ 4230xfffffffffe000000ULL, 4240xfffffffffe000001ULL, 4250xfffffffffe000003ULL, 4260xfffffffffe000007ULL, 4270xfffffffffe00000fULL, 4280xfffffffffe00001fULL, 4290xfffffffffe00003fULL, 4300xfffffffffe00007fULL, 4310xfffffffffe0000ffULL, 4320xfffffffffe0001ffULL, 4330xfffffffffe0003ffULL, 4340xfffffffffe0007ffULL, 4350xfffffffffe000fffULL, 4360xfffffffffe001fffULL, 4370xfffffffffe003fffULL, 4380xfffffffffe007fffULL, 4390xfffffffffe00ffffULL, 4400xfffffffffe01ffffULL, 4410xfffffffffe03ffffULL, 4420xfffffffffe07ffffULL, 4430xfffffffffe0fffffULL, 4440xfffffffffe1fffffULL, 4450xfffffffffe3fffffULL, 4460xfffffffffe7fffffULL, 4470xfffffffffeffffffULL 448}, 449{ 4500xfffffffffc000000ULL, 4510xfffffffffc000001ULL, 4520xfffffffffc000003ULL, 4530xfffffffffc000007ULL, 4540xfffffffffc00000fULL, 4550xfffffffffc00001fULL, 4560xfffffffffc00003fULL, 4570xfffffffffc00007fULL, 4580xfffffffffc0000ffULL, 4590xfffffffffc0001ffULL, 4600xfffffffffc0003ffULL, 4610xfffffffffc0007ffULL, 4620xfffffffffc000fffULL, 4630xfffffffffc001fffULL, 4640xfffffffffc003fffULL, 4650xfffffffffc007fffULL, 4660xfffffffffc00ffffULL, 4670xfffffffffc01ffffULL, 4680xfffffffffc03ffffULL, 4690xfffffffffc07ffffULL, 4700xfffffffffc0fffffULL, 4710xfffffffffc1fffffULL, 4720xfffffffffc3fffffULL, 4730xfffffffffc7fffffULL, 4740xfffffffffcffffffULL, 4750xfffffffffdffffffULL 476}, 477{ 4780xfffffffff8000000ULL, 4790xfffffffff8000001ULL, 4800xfffffffff8000003ULL, 4810xfffffffff8000007ULL, 4820xfffffffff800000fULL, 4830xfffffffff800001fULL, 4840xfffffffff800003fULL, 4850xfffffffff800007fULL, 4860xfffffffff80000ffULL, 4870xfffffffff80001ffULL, 4880xfffffffff80003ffULL, 4890xfffffffff80007ffULL, 4900xfffffffff8000fffULL, 4910xfffffffff8001fffULL, 4920xfffffffff8003fffULL, 4930xfffffffff8007fffULL, 4940xfffffffff800ffffULL, 4950xfffffffff801ffffULL, 4960xfffffffff803ffffULL, 4970xfffffffff807ffffULL, 4980xfffffffff80fffffULL, 4990xfffffffff81fffffULL, 5000xfffffffff83fffffULL, 5010xfffffffff87fffffULL, 5020xfffffffff8ffffffULL, 5030xfffffffff9ffffffULL, 5040xfffffffffbffffffULL 505}, 506{ 5070xfffffffff0000000ULL, 5080xfffffffff0000001ULL, 5090xfffffffff0000003ULL, 5100xfffffffff0000007ULL, 5110xfffffffff000000fULL, 5120xfffffffff000001fULL, 5130xfffffffff000003fULL, 5140xfffffffff000007fULL, 5150xfffffffff00000ffULL, 5160xfffffffff00001ffULL, 5170xfffffffff00003ffULL, 5180xfffffffff00007ffULL, 5190xfffffffff0000fffULL, 5200xfffffffff0001fffULL, 5210xfffffffff0003fffULL, 5220xfffffffff0007fffULL, 5230xfffffffff000ffffULL, 5240xfffffffff001ffffULL, 5250xfffffffff003ffffULL, 5260xfffffffff007ffffULL, 5270xfffffffff00fffffULL, 5280xfffffffff01fffffULL, 5290xfffffffff03fffffULL, 5300xfffffffff07fffffULL, 5310xfffffffff0ffffffULL, 5320xfffffffff1ffffffULL, 5330xfffffffff3ffffffULL, 5340xfffffffff7ffffffULL 535}, 536{ 5370xffffffffe0000000ULL, 5380xffffffffe0000001ULL, 5390xffffffffe0000003ULL, 5400xffffffffe0000007ULL, 5410xffffffffe000000fULL, 5420xffffffffe000001fULL, 5430xffffffffe000003fULL, 5440xffffffffe000007fULL, 5450xffffffffe00000ffULL, 5460xffffffffe00001ffULL, 5470xffffffffe00003ffULL, 5480xffffffffe00007ffULL, 5490xffffffffe0000fffULL, 5500xffffffffe0001fffULL, 5510xffffffffe0003fffULL, 5520xffffffffe0007fffULL, 5530xffffffffe000ffffULL, 5540xffffffffe001ffffULL, 5550xffffffffe003ffffULL, 5560xffffffffe007ffffULL, 5570xffffffffe00fffffULL, 5580xffffffffe01fffffULL, 5590xffffffffe03fffffULL, 5600xffffffffe07fffffULL, 5610xffffffffe0ffffffULL, 5620xffffffffe1ffffffULL, 5630xffffffffe3ffffffULL, 5640xffffffffe7ffffffULL, 5650xffffffffefffffffULL 566}, 567{ 5680xffffffffc0000000ULL, 5690xffffffffc0000001ULL, 5700xffffffffc0000003ULL, 5710xffffffffc0000007ULL, 5720xffffffffc000000fULL, 5730xffffffffc000001fULL, 5740xffffffffc000003fULL, 5750xffffffffc000007fULL, 5760xffffffffc00000ffULL, 5770xffffffffc00001ffULL, 5780xffffffffc00003ffULL, 5790xffffffffc00007ffULL, 5800xffffffffc0000fffULL, 5810xffffffffc0001fffULL, 5820xffffffffc0003fffULL, 5830xffffffffc0007fffULL, 5840xffffffffc000ffffULL, 5850xffffffffc001ffffULL, 5860xffffffffc003ffffULL, 5870xffffffffc007ffffULL, 5880xffffffffc00fffffULL, 5890xffffffffc01fffffULL, 5900xffffffffc03fffffULL, 5910xffffffffc07fffffULL, 5920xffffffffc0ffffffULL, 5930xffffffffc1ffffffULL, 5940xffffffffc3ffffffULL, 5950xffffffffc7ffffffULL, 5960xffffffffcfffffffULL, 5970xffffffffdfffffffULL 598}, 599{ 6000xffffffff80000000ULL, 6010xffffffff80000001ULL, 6020xffffffff80000003ULL, 6030xffffffff80000007ULL, 6040xffffffff8000000fULL, 6050xffffffff8000001fULL, 6060xffffffff8000003fULL, 6070xffffffff8000007fULL, 6080xffffffff800000ffULL, 6090xffffffff800001ffULL, 6100xffffffff800003ffULL, 6110xffffffff800007ffULL, 6120xffffffff80000fffULL, 6130xffffffff80001fffULL, 6140xffffffff80003fffULL, 6150xffffffff80007fffULL, 6160xffffffff8000ffffULL, 6170xffffffff8001ffffULL, 6180xffffffff8003ffffULL, 6190xffffffff8007ffffULL, 6200xffffffff800fffffULL, 6210xffffffff801fffffULL, 6220xffffffff803fffffULL, 6230xffffffff807fffffULL, 6240xffffffff80ffffffULL, 6250xffffffff81ffffffULL, 6260xffffffff83ffffffULL, 6270xffffffff87ffffffULL, 6280xffffffff8fffffffULL, 6290xffffffff9fffffffULL, 6300xffffffffbfffffffULL 631}, 632{ 6330xffffffff00000000ULL, 6340xffffffff00000001ULL, 6350xffffffff00000003ULL, 6360xffffffff00000007ULL, 6370xffffffff0000000fULL, 6380xffffffff0000001fULL, 6390xffffffff0000003fULL, 6400xffffffff0000007fULL, 6410xffffffff000000ffULL, 6420xffffffff000001ffULL, 6430xffffffff000003ffULL, 6440xffffffff000007ffULL, 6450xffffffff00000fffULL, 6460xffffffff00001fffULL, 6470xffffffff00003fffULL, 6480xffffffff00007fffULL, 6490xffffffff0000ffffULL, 6500xffffffff0001ffffULL, 6510xffffffff0003ffffULL, 6520xffffffff0007ffffULL, 6530xffffffff000fffffULL, 6540xffffffff001fffffULL, 6550xffffffff003fffffULL, 6560xffffffff007fffffULL, 6570xffffffff00ffffffULL, 6580xffffffff01ffffffULL, 6590xffffffff03ffffffULL, 6600xffffffff07ffffffULL, 6610xffffffff0fffffffULL, 6620xffffffff1fffffffULL, 6630xffffffff3fffffffULL, 6640xffffffff7fffffffULL 665}, 666{ 6670xfffffffe00000000ULL, 6680xfffffffe00000001ULL, 6690xfffffffe00000003ULL, 6700xfffffffe00000007ULL, 6710xfffffffe0000000fULL, 6720xfffffffe0000001fULL, 6730xfffffffe0000003fULL, 6740xfffffffe0000007fULL, 6750xfffffffe000000ffULL, 6760xfffffffe000001ffULL, 6770xfffffffe000003ffULL, 6780xfffffffe000007ffULL, 6790xfffffffe00000fffULL, 6800xfffffffe00001fffULL, 6810xfffffffe00003fffULL, 6820xfffffffe00007fffULL, 6830xfffffffe0000ffffULL, 6840xfffffffe0001ffffULL, 6850xfffffffe0003ffffULL, 6860xfffffffe0007ffffULL, 6870xfffffffe000fffffULL, 6880xfffffffe001fffffULL, 6890xfffffffe003fffffULL, 6900xfffffffe007fffffULL, 6910xfffffffe00ffffffULL, 6920xfffffffe01ffffffULL, 6930xfffffffe03ffffffULL, 6940xfffffffe07ffffffULL, 6950xfffffffe0fffffffULL, 6960xfffffffe1fffffffULL, 6970xfffffffe3fffffffULL, 6980xfffffffe7fffffffULL, 6990xfffffffeffffffffULL 700}, 701{ 7020xfffffffc00000000ULL, 7030xfffffffc00000001ULL, 7040xfffffffc00000003ULL, 7050xfffffffc00000007ULL, 7060xfffffffc0000000fULL, 7070xfffffffc0000001fULL, 7080xfffffffc0000003fULL, 7090xfffffffc0000007fULL, 7100xfffffffc000000ffULL, 7110xfffffffc000001ffULL, 7120xfffffffc000003ffULL, 7130xfffffffc000007ffULL, 7140xfffffffc00000fffULL, 7150xfffffffc00001fffULL, 7160xfffffffc00003fffULL, 7170xfffffffc00007fffULL, 7180xfffffffc0000ffffULL, 7190xfffffffc0001ffffULL, 7200xfffffffc0003ffffULL, 7210xfffffffc0007ffffULL, 7220xfffffffc000fffffULL, 7230xfffffffc001fffffULL, 7240xfffffffc003fffffULL, 7250xfffffffc007fffffULL, 7260xfffffffc00ffffffULL, 7270xfffffffc01ffffffULL, 7280xfffffffc03ffffffULL, 7290xfffffffc07ffffffULL, 7300xfffffffc0fffffffULL, 7310xfffffffc1fffffffULL, 7320xfffffffc3fffffffULL, 7330xfffffffc7fffffffULL, 7340xfffffffcffffffffULL, 7350xfffffffdffffffffULL 736}, 737{ 7380xfffffff800000000ULL, 7390xfffffff800000001ULL, 7400xfffffff800000003ULL, 7410xfffffff800000007ULL, 7420xfffffff80000000fULL, 7430xfffffff80000001fULL, 7440xfffffff80000003fULL, 7450xfffffff80000007fULL, 7460xfffffff8000000ffULL, 7470xfffffff8000001ffULL, 7480xfffffff8000003ffULL, 7490xfffffff8000007ffULL, 7500xfffffff800000fffULL, 7510xfffffff800001fffULL, 7520xfffffff800003fffULL, 7530xfffffff800007fffULL, 7540xfffffff80000ffffULL, 7550xfffffff80001ffffULL, 7560xfffffff80003ffffULL, 7570xfffffff80007ffffULL, 7580xfffffff8000fffffULL, 7590xfffffff8001fffffULL, 7600xfffffff8003fffffULL, 7610xfffffff8007fffffULL, 7620xfffffff800ffffffULL, 7630xfffffff801ffffffULL, 7640xfffffff803ffffffULL, 7650xfffffff807ffffffULL, 7660xfffffff80fffffffULL, 7670xfffffff81fffffffULL, 7680xfffffff83fffffffULL, 7690xfffffff87fffffffULL, 7700xfffffff8ffffffffULL, 7710xfffffff9ffffffffULL, 7720xfffffffbffffffffULL 773}, 774{ 7750xfffffff000000000ULL, 7760xfffffff000000001ULL, 7770xfffffff000000003ULL, 7780xfffffff000000007ULL, 7790xfffffff00000000fULL, 7800xfffffff00000001fULL, 7810xfffffff00000003fULL, 7820xfffffff00000007fULL, 7830xfffffff0000000ffULL, 7840xfffffff0000001ffULL, 7850xfffffff0000003ffULL, 7860xfffffff0000007ffULL, 7870xfffffff000000fffULL, 7880xfffffff000001fffULL, 7890xfffffff000003fffULL, 7900xfffffff000007fffULL, 7910xfffffff00000ffffULL, 7920xfffffff00001ffffULL, 7930xfffffff00003ffffULL, 7940xfffffff00007ffffULL, 7950xfffffff0000fffffULL, 7960xfffffff0001fffffULL, 7970xfffffff0003fffffULL, 7980xfffffff0007fffffULL, 7990xfffffff000ffffffULL, 8000xfffffff001ffffffULL, 8010xfffffff003ffffffULL, 8020xfffffff007ffffffULL, 8030xfffffff00fffffffULL, 8040xfffffff01fffffffULL, 8050xfffffff03fffffffULL, 8060xfffffff07fffffffULL, 8070xfffffff0ffffffffULL, 8080xfffffff1ffffffffULL, 8090xfffffff3ffffffffULL, 8100xfffffff7ffffffffULL 811}, 812{ 8130xffffffe000000000ULL, 8140xffffffe000000001ULL, 8150xffffffe000000003ULL, 8160xffffffe000000007ULL, 8170xffffffe00000000fULL, 8180xffffffe00000001fULL, 8190xffffffe00000003fULL, 8200xffffffe00000007fULL, 8210xffffffe0000000ffULL, 8220xffffffe0000001ffULL, 8230xffffffe0000003ffULL, 8240xffffffe0000007ffULL, 8250xffffffe000000fffULL, 8260xffffffe000001fffULL, 8270xffffffe000003fffULL, 8280xffffffe000007fffULL, 8290xffffffe00000ffffULL, 8300xffffffe00001ffffULL, 8310xffffffe00003ffffULL, 8320xffffffe00007ffffULL, 8330xffffffe0000fffffULL, 8340xffffffe0001fffffULL, 8350xffffffe0003fffffULL, 8360xffffffe0007fffffULL, 8370xffffffe000ffffffULL, 8380xffffffe001ffffffULL, 8390xffffffe003ffffffULL, 8400xffffffe007ffffffULL, 8410xffffffe00fffffffULL, 8420xffffffe01fffffffULL, 8430xffffffe03fffffffULL, 8440xffffffe07fffffffULL, 8450xffffffe0ffffffffULL, 8460xffffffe1ffffffffULL, 8470xffffffe3ffffffffULL, 8480xffffffe7ffffffffULL, 8490xffffffefffffffffULL 850}, 851{ 8520xffffffc000000000ULL, 8530xffffffc000000001ULL, 8540xffffffc000000003ULL, 8550xffffffc000000007ULL, 8560xffffffc00000000fULL, 8570xffffffc00000001fULL, 8580xffffffc00000003fULL, 8590xffffffc00000007fULL, 8600xffffffc0000000ffULL, 8610xffffffc0000001ffULL, 8620xffffffc0000003ffULL, 8630xffffffc0000007ffULL, 8640xffffffc000000fffULL, 8650xffffffc000001fffULL, 8660xffffffc000003fffULL, 8670xffffffc000007fffULL, 8680xffffffc00000ffffULL, 8690xffffffc00001ffffULL, 8700xffffffc00003ffffULL, 8710xffffffc00007ffffULL, 8720xffffffc0000fffffULL, 8730xffffffc0001fffffULL, 8740xffffffc0003fffffULL, 8750xffffffc0007fffffULL, 8760xffffffc000ffffffULL, 8770xffffffc001ffffffULL, 8780xffffffc003ffffffULL, 8790xffffffc007ffffffULL, 8800xffffffc00fffffffULL, 8810xffffffc01fffffffULL, 8820xffffffc03fffffffULL, 8830xffffffc07fffffffULL, 8840xffffffc0ffffffffULL, 8850xffffffc1ffffffffULL, 8860xffffffc3ffffffffULL, 8870xffffffc7ffffffffULL, 8880xffffffcfffffffffULL, 8890xffffffdfffffffffULL 890}, 891{ 8920xffffff8000000000ULL, 8930xffffff8000000001ULL, 8940xffffff8000000003ULL, 8950xffffff8000000007ULL, 8960xffffff800000000fULL, 8970xffffff800000001fULL, 8980xffffff800000003fULL, 8990xffffff800000007fULL, 9000xffffff80000000ffULL, 9010xffffff80000001ffULL, 9020xffffff80000003ffULL, 9030xffffff80000007ffULL, 9040xffffff8000000fffULL, 9050xffffff8000001fffULL, 9060xffffff8000003fffULL, 9070xffffff8000007fffULL, 9080xffffff800000ffffULL, 9090xffffff800001ffffULL, 9100xffffff800003ffffULL, 9110xffffff800007ffffULL, 9120xffffff80000fffffULL, 9130xffffff80001fffffULL, 9140xffffff80003fffffULL, 9150xffffff80007fffffULL, 9160xffffff8000ffffffULL, 9170xffffff8001ffffffULL, 9180xffffff8003ffffffULL, 9190xffffff8007ffffffULL, 9200xffffff800fffffffULL, 9210xffffff801fffffffULL, 9220xffffff803fffffffULL, 9230xffffff807fffffffULL, 9240xffffff80ffffffffULL, 9250xffffff81ffffffffULL, 9260xffffff83ffffffffULL, 9270xffffff87ffffffffULL, 9280xffffff8fffffffffULL, 9290xffffff9fffffffffULL, 9300xffffffbfffffffffULL 931}, 932{ 9330xffffff0000000000ULL, 9340xffffff0000000001ULL, 9350xffffff0000000003ULL, 9360xffffff0000000007ULL, 9370xffffff000000000fULL, 9380xffffff000000001fULL, 9390xffffff000000003fULL, 9400xffffff000000007fULL, 9410xffffff00000000ffULL, 9420xffffff00000001ffULL, 9430xffffff00000003ffULL, 9440xffffff00000007ffULL, 9450xffffff0000000fffULL, 9460xffffff0000001fffULL, 9470xffffff0000003fffULL, 9480xffffff0000007fffULL, 9490xffffff000000ffffULL, 9500xffffff000001ffffULL, 9510xffffff000003ffffULL, 9520xffffff000007ffffULL, 9530xffffff00000fffffULL, 9540xffffff00001fffffULL, 9550xffffff00003fffffULL, 9560xffffff00007fffffULL, 9570xffffff0000ffffffULL, 9580xffffff0001ffffffULL, 9590xffffff0003ffffffULL, 9600xffffff0007ffffffULL, 9610xffffff000fffffffULL, 9620xffffff001fffffffULL, 9630xffffff003fffffffULL, 9640xffffff007fffffffULL, 9650xffffff00ffffffffULL, 9660xffffff01ffffffffULL, 9670xffffff03ffffffffULL, 9680xffffff07ffffffffULL, 9690xffffff0fffffffffULL, 9700xffffff1fffffffffULL, 9710xffffff3fffffffffULL, 9720xffffff7fffffffffULL 973}, 974{ 9750xfffffe0000000000ULL, 9760xfffffe0000000001ULL, 9770xfffffe0000000003ULL, 9780xfffffe0000000007ULL, 9790xfffffe000000000fULL, 9800xfffffe000000001fULL, 9810xfffffe000000003fULL, 9820xfffffe000000007fULL, 9830xfffffe00000000ffULL, 9840xfffffe00000001ffULL, 9850xfffffe00000003ffULL, 9860xfffffe00000007ffULL, 9870xfffffe0000000fffULL, 9880xfffffe0000001fffULL, 9890xfffffe0000003fffULL, 9900xfffffe0000007fffULL, 9910xfffffe000000ffffULL, 9920xfffffe000001ffffULL, 9930xfffffe000003ffffULL, 9940xfffffe000007ffffULL, 9950xfffffe00000fffffULL, 9960xfffffe00001fffffULL, 9970xfffffe00003fffffULL, 9980xfffffe00007fffffULL, 9990xfffffe0000ffffffULL, 10000xfffffe0001ffffffULL, 10010xfffffe0003ffffffULL, 10020xfffffe0007ffffffULL, 10030xfffffe000fffffffULL, 10040xfffffe001fffffffULL, 10050xfffffe003fffffffULL, 10060xfffffe007fffffffULL, 10070xfffffe00ffffffffULL, 10080xfffffe01ffffffffULL, 10090xfffffe03ffffffffULL, 10100xfffffe07ffffffffULL, 10110xfffffe0fffffffffULL, 10120xfffffe1fffffffffULL, 10130xfffffe3fffffffffULL, 10140xfffffe7fffffffffULL, 10150xfffffeffffffffffULL 1016}, 1017{ 10180xfffffc0000000000ULL, 10190xfffffc0000000001ULL, 10200xfffffc0000000003ULL, 10210xfffffc0000000007ULL, 10220xfffffc000000000fULL, 10230xfffffc000000001fULL, 10240xfffffc000000003fULL, 10250xfffffc000000007fULL, 10260xfffffc00000000ffULL, 10270xfffffc00000001ffULL, 10280xfffffc00000003ffULL, 10290xfffffc00000007ffULL, 10300xfffffc0000000fffULL, 10310xfffffc0000001fffULL, 10320xfffffc0000003fffULL, 10330xfffffc0000007fffULL, 10340xfffffc000000ffffULL, 10350xfffffc000001ffffULL, 10360xfffffc000003ffffULL, 10370xfffffc000007ffffULL, 10380xfffffc00000fffffULL, 10390xfffffc00001fffffULL, 10400xfffffc00003fffffULL, 10410xfffffc00007fffffULL, 10420xfffffc0000ffffffULL, 10430xfffffc0001ffffffULL, 10440xfffffc0003ffffffULL, 10450xfffffc0007ffffffULL, 10460xfffffc000fffffffULL, 10470xfffffc001fffffffULL, 10480xfffffc003fffffffULL, 10490xfffffc007fffffffULL, 10500xfffffc00ffffffffULL, 10510xfffffc01ffffffffULL, 10520xfffffc03ffffffffULL, 10530xfffffc07ffffffffULL, 10540xfffffc0fffffffffULL, 10550xfffffc1fffffffffULL, 10560xfffffc3fffffffffULL, 10570xfffffc7fffffffffULL, 10580xfffffcffffffffffULL, 10590xfffffdffffffffffULL 1060}, 1061{ 10620xfffff80000000000ULL, 10630xfffff80000000001ULL, 10640xfffff80000000003ULL, 10650xfffff80000000007ULL, 10660xfffff8000000000fULL, 10670xfffff8000000001fULL, 10680xfffff8000000003fULL, 10690xfffff8000000007fULL, 10700xfffff800000000ffULL, 10710xfffff800000001ffULL, 10720xfffff800000003ffULL, 10730xfffff800000007ffULL, 10740xfffff80000000fffULL, 10750xfffff80000001fffULL, 10760xfffff80000003fffULL, 10770xfffff80000007fffULL, 10780xfffff8000000ffffULL, 10790xfffff8000001ffffULL, 10800xfffff8000003ffffULL, 10810xfffff8000007ffffULL, 10820xfffff800000fffffULL, 10830xfffff800001fffffULL, 10840xfffff800003fffffULL, 10850xfffff800007fffffULL, 10860xfffff80000ffffffULL, 10870xfffff80001ffffffULL, 10880xfffff80003ffffffULL, 10890xfffff80007ffffffULL, 10900xfffff8000fffffffULL, 10910xfffff8001fffffffULL, 10920xfffff8003fffffffULL, 10930xfffff8007fffffffULL, 10940xfffff800ffffffffULL, 10950xfffff801ffffffffULL, 10960xfffff803ffffffffULL, 10970xfffff807ffffffffULL, 10980xfffff80fffffffffULL, 10990xfffff81fffffffffULL, 11000xfffff83fffffffffULL, 11010xfffff87fffffffffULL, 11020xfffff8ffffffffffULL, 11030xfffff9ffffffffffULL, 11040xfffffbffffffffffULL 1105}, 1106{ 11070xfffff00000000000ULL, 11080xfffff00000000001ULL, 11090xfffff00000000003ULL, 11100xfffff00000000007ULL, 11110xfffff0000000000fULL, 11120xfffff0000000001fULL, 11130xfffff0000000003fULL, 11140xfffff0000000007fULL, 11150xfffff000000000ffULL, 11160xfffff000000001ffULL, 11170xfffff000000003ffULL, 11180xfffff000000007ffULL, 11190xfffff00000000fffULL, 11200xfffff00000001fffULL, 11210xfffff00000003fffULL, 11220xfffff00000007fffULL, 11230xfffff0000000ffffULL, 11240xfffff0000001ffffULL, 11250xfffff0000003ffffULL, 11260xfffff0000007ffffULL, 11270xfffff000000fffffULL, 11280xfffff000001fffffULL, 11290xfffff000003fffffULL, 11300xfffff000007fffffULL, 11310xfffff00000ffffffULL, 11320xfffff00001ffffffULL, 11330xfffff00003ffffffULL, 11340xfffff00007ffffffULL, 11350xfffff0000fffffffULL, 11360xfffff0001fffffffULL, 11370xfffff0003fffffffULL, 11380xfffff0007fffffffULL, 11390xfffff000ffffffffULL, 11400xfffff001ffffffffULL, 11410xfffff003ffffffffULL, 11420xfffff007ffffffffULL, 11430xfffff00fffffffffULL, 11440xfffff01fffffffffULL, 11450xfffff03fffffffffULL, 11460xfffff07fffffffffULL, 11470xfffff0ffffffffffULL, 11480xfffff1ffffffffffULL, 11490xfffff3ffffffffffULL, 11500xfffff7ffffffffffULL 1151}, 1152{ 11530xffffe00000000000ULL, 11540xffffe00000000001ULL, 11550xffffe00000000003ULL, 11560xffffe00000000007ULL, 11570xffffe0000000000fULL, 11580xffffe0000000001fULL, 11590xffffe0000000003fULL, 11600xffffe0000000007fULL, 11610xffffe000000000ffULL, 11620xffffe000000001ffULL, 11630xffffe000000003ffULL, 11640xffffe000000007ffULL, 11650xffffe00000000fffULL, 11660xffffe00000001fffULL, 11670xffffe00000003fffULL, 11680xffffe00000007fffULL, 11690xffffe0000000ffffULL, 11700xffffe0000001ffffULL, 11710xffffe0000003ffffULL, 11720xffffe0000007ffffULL, 11730xffffe000000fffffULL, 11740xffffe000001fffffULL, 11750xffffe000003fffffULL, 11760xffffe000007fffffULL, 11770xffffe00000ffffffULL, 11780xffffe00001ffffffULL, 11790xffffe00003ffffffULL, 11800xffffe00007ffffffULL, 11810xffffe0000fffffffULL, 11820xffffe0001fffffffULL, 11830xffffe0003fffffffULL, 11840xffffe0007fffffffULL, 11850xffffe000ffffffffULL, 11860xffffe001ffffffffULL, 11870xffffe003ffffffffULL, 11880xffffe007ffffffffULL, 11890xffffe00fffffffffULL, 11900xffffe01fffffffffULL, 11910xffffe03fffffffffULL, 11920xffffe07fffffffffULL, 11930xffffe0ffffffffffULL, 11940xffffe1ffffffffffULL, 11950xffffe3ffffffffffULL, 11960xffffe7ffffffffffULL, 11970xffffefffffffffffULL 1198}, 1199{ 12000xffffc00000000000ULL, 12010xffffc00000000001ULL, 12020xffffc00000000003ULL, 12030xffffc00000000007ULL, 12040xffffc0000000000fULL, 12050xffffc0000000001fULL, 12060xffffc0000000003fULL, 12070xffffc0000000007fULL, 12080xffffc000000000ffULL, 12090xffffc000000001ffULL, 12100xffffc000000003ffULL, 12110xffffc000000007ffULL, 12120xffffc00000000fffULL, 12130xffffc00000001fffULL, 12140xffffc00000003fffULL, 12150xffffc00000007fffULL, 12160xffffc0000000ffffULL, 12170xffffc0000001ffffULL, 12180xffffc0000003ffffULL, 12190xffffc0000007ffffULL, 12200xffffc000000fffffULL, 12210xffffc000001fffffULL, 12220xffffc000003fffffULL, 12230xffffc000007fffffULL, 12240xffffc00000ffffffULL, 12250xffffc00001ffffffULL, 12260xffffc00003ffffffULL, 12270xffffc00007ffffffULL, 12280xffffc0000fffffffULL, 12290xffffc0001fffffffULL, 12300xffffc0003fffffffULL, 12310xffffc0007fffffffULL, 12320xffffc000ffffffffULL, 12330xffffc001ffffffffULL, 12340xffffc003ffffffffULL, 12350xffffc007ffffffffULL, 12360xffffc00fffffffffULL, 12370xffffc01fffffffffULL, 12380xffffc03fffffffffULL, 12390xffffc07fffffffffULL, 12400xffffc0ffffffffffULL, 12410xffffc1ffffffffffULL, 12420xffffc3ffffffffffULL, 12430xffffc7ffffffffffULL, 12440xffffcfffffffffffULL, 12450xffffdfffffffffffULL 1246}, 1247{ 12480xffff800000000000ULL, 12490xffff800000000001ULL, 12500xffff800000000003ULL, 12510xffff800000000007ULL, 12520xffff80000000000fULL, 12530xffff80000000001fULL, 12540xffff80000000003fULL, 12550xffff80000000007fULL, 12560xffff8000000000ffULL, 12570xffff8000000001ffULL, 12580xffff8000000003ffULL, 12590xffff8000000007ffULL, 12600xffff800000000fffULL, 12610xffff800000001fffULL, 12620xffff800000003fffULL, 12630xffff800000007fffULL, 12640xffff80000000ffffULL, 12650xffff80000001ffffULL, 12660xffff80000003ffffULL, 12670xffff80000007ffffULL, 12680xffff8000000fffffULL, 12690xffff8000001fffffULL, 12700xffff8000003fffffULL, 12710xffff8000007fffffULL, 12720xffff800000ffffffULL, 12730xffff800001ffffffULL, 12740xffff800003ffffffULL, 12750xffff800007ffffffULL, 12760xffff80000fffffffULL, 12770xffff80001fffffffULL, 12780xffff80003fffffffULL, 12790xffff80007fffffffULL, 12800xffff8000ffffffffULL, 12810xffff8001ffffffffULL, 12820xffff8003ffffffffULL, 12830xffff8007ffffffffULL, 12840xffff800fffffffffULL, 12850xffff801fffffffffULL, 12860xffff803fffffffffULL, 12870xffff807fffffffffULL, 12880xffff80ffffffffffULL, 12890xffff81ffffffffffULL, 12900xffff83ffffffffffULL, 12910xffff87ffffffffffULL, 12920xffff8fffffffffffULL, 12930xffff9fffffffffffULL, 12940xffffbfffffffffffULL 1295}, 1296{ 12970xffff000000000000ULL, 12980xffff000000000001ULL, 12990xffff000000000003ULL, 13000xffff000000000007ULL, 13010xffff00000000000fULL, 13020xffff00000000001fULL, 13030xffff00000000003fULL, 13040xffff00000000007fULL, 13050xffff0000000000ffULL, 13060xffff0000000001ffULL, 13070xffff0000000003ffULL, 13080xffff0000000007ffULL, 13090xffff000000000fffULL, 13100xffff000000001fffULL, 13110xffff000000003fffULL, 13120xffff000000007fffULL, 13130xffff00000000ffffULL, 13140xffff00000001ffffULL, 13150xffff00000003ffffULL, 13160xffff00000007ffffULL, 13170xffff0000000fffffULL, 13180xffff0000001fffffULL, 13190xffff0000003fffffULL, 13200xffff0000007fffffULL, 13210xffff000000ffffffULL, 13220xffff000001ffffffULL, 13230xffff000003ffffffULL, 13240xffff000007ffffffULL, 13250xffff00000fffffffULL, 13260xffff00001fffffffULL, 13270xffff00003fffffffULL, 13280xffff00007fffffffULL, 13290xffff0000ffffffffULL, 13300xffff0001ffffffffULL, 13310xffff0003ffffffffULL, 13320xffff0007ffffffffULL, 13330xffff000fffffffffULL, 13340xffff001fffffffffULL, 13350xffff003fffffffffULL, 13360xffff007fffffffffULL, 13370xffff00ffffffffffULL, 13380xffff01ffffffffffULL, 13390xffff03ffffffffffULL, 13400xffff07ffffffffffULL, 13410xffff0fffffffffffULL, 13420xffff1fffffffffffULL, 13430xffff3fffffffffffULL, 13440xffff7fffffffffffULL 1345}, 1346{ 13470xfffe000000000000ULL, 13480xfffe000000000001ULL, 13490xfffe000000000003ULL, 13500xfffe000000000007ULL, 13510xfffe00000000000fULL, 13520xfffe00000000001fULL, 13530xfffe00000000003fULL, 13540xfffe00000000007fULL, 13550xfffe0000000000ffULL, 13560xfffe0000000001ffULL, 13570xfffe0000000003ffULL, 13580xfffe0000000007ffULL, 13590xfffe000000000fffULL, 13600xfffe000000001fffULL, 13610xfffe000000003fffULL, 13620xfffe000000007fffULL, 13630xfffe00000000ffffULL, 13640xfffe00000001ffffULL, 13650xfffe00000003ffffULL, 13660xfffe00000007ffffULL, 13670xfffe0000000fffffULL, 13680xfffe0000001fffffULL, 13690xfffe0000003fffffULL, 13700xfffe0000007fffffULL, 13710xfffe000000ffffffULL, 13720xfffe000001ffffffULL, 13730xfffe000003ffffffULL, 13740xfffe000007ffffffULL, 13750xfffe00000fffffffULL, 13760xfffe00001fffffffULL, 13770xfffe00003fffffffULL, 13780xfffe00007fffffffULL, 13790xfffe0000ffffffffULL, 13800xfffe0001ffffffffULL, 13810xfffe0003ffffffffULL, 13820xfffe0007ffffffffULL, 13830xfffe000fffffffffULL, 13840xfffe001fffffffffULL, 13850xfffe003fffffffffULL, 13860xfffe007fffffffffULL, 13870xfffe00ffffffffffULL, 13880xfffe01ffffffffffULL, 13890xfffe03ffffffffffULL, 13900xfffe07ffffffffffULL, 13910xfffe0fffffffffffULL, 13920xfffe1fffffffffffULL, 13930xfffe3fffffffffffULL, 13940xfffe7fffffffffffULL, 13950xfffeffffffffffffULL 1396}, 1397{ 13980xfffc000000000000ULL, 13990xfffc000000000001ULL, 14000xfffc000000000003ULL, 14010xfffc000000000007ULL, 14020xfffc00000000000fULL, 14030xfffc00000000001fULL, 14040xfffc00000000003fULL, 14050xfffc00000000007fULL, 14060xfffc0000000000ffULL, 14070xfffc0000000001ffULL, 14080xfffc0000000003ffULL, 14090xfffc0000000007ffULL, 14100xfffc000000000fffULL, 14110xfffc000000001fffULL, 14120xfffc000000003fffULL, 14130xfffc000000007fffULL, 14140xfffc00000000ffffULL, 14150xfffc00000001ffffULL, 14160xfffc00000003ffffULL, 14170xfffc00000007ffffULL, 14180xfffc0000000fffffULL, 14190xfffc0000001fffffULL, 14200xfffc0000003fffffULL, 14210xfffc0000007fffffULL, 14220xfffc000000ffffffULL, 14230xfffc000001ffffffULL, 14240xfffc000003ffffffULL, 14250xfffc000007ffffffULL, 14260xfffc00000fffffffULL, 14270xfffc00001fffffffULL, 14280xfffc00003fffffffULL, 14290xfffc00007fffffffULL, 14300xfffc0000ffffffffULL, 14310xfffc0001ffffffffULL, 14320xfffc0003ffffffffULL, 14330xfffc0007ffffffffULL, 14340xfffc000fffffffffULL, 14350xfffc001fffffffffULL, 14360xfffc003fffffffffULL, 14370xfffc007fffffffffULL, 14380xfffc00ffffffffffULL, 14390xfffc01ffffffffffULL, 14400xfffc03ffffffffffULL, 14410xfffc07ffffffffffULL, 14420xfffc0fffffffffffULL, 14430xfffc1fffffffffffULL, 14440xfffc3fffffffffffULL, 14450xfffc7fffffffffffULL, 14460xfffcffffffffffffULL, 14470xfffdffffffffffffULL 1448}, 1449{ 14500xfff8000000000000ULL, 14510xfff8000000000001ULL, 14520xfff8000000000003ULL, 14530xfff8000000000007ULL, 14540xfff800000000000fULL, 14550xfff800000000001fULL, 14560xfff800000000003fULL, 14570xfff800000000007fULL, 14580xfff80000000000ffULL, 14590xfff80000000001ffULL, 14600xfff80000000003ffULL, 14610xfff80000000007ffULL, 14620xfff8000000000fffULL, 14630xfff8000000001fffULL, 14640xfff8000000003fffULL, 14650xfff8000000007fffULL, 14660xfff800000000ffffULL, 14670xfff800000001ffffULL, 14680xfff800000003ffffULL, 14690xfff800000007ffffULL, 14700xfff80000000fffffULL, 14710xfff80000001fffffULL, 14720xfff80000003fffffULL, 14730xfff80000007fffffULL, 14740xfff8000000ffffffULL, 14750xfff8000001ffffffULL, 14760xfff8000003ffffffULL, 14770xfff8000007ffffffULL, 14780xfff800000fffffffULL, 14790xfff800001fffffffULL, 14800xfff800003fffffffULL, 14810xfff800007fffffffULL, 14820xfff80000ffffffffULL, 14830xfff80001ffffffffULL, 14840xfff80003ffffffffULL, 14850xfff80007ffffffffULL, 14860xfff8000fffffffffULL, 14870xfff8001fffffffffULL, 14880xfff8003fffffffffULL, 14890xfff8007fffffffffULL, 14900xfff800ffffffffffULL, 14910xfff801ffffffffffULL, 14920xfff803ffffffffffULL, 14930xfff807ffffffffffULL, 14940xfff80fffffffffffULL, 14950xfff81fffffffffffULL, 14960xfff83fffffffffffULL, 14970xfff87fffffffffffULL, 14980xfff8ffffffffffffULL, 14990xfff9ffffffffffffULL, 15000xfffbffffffffffffULL 1501}, 1502{ 15030xfff0000000000000ULL, 15040xfff0000000000001ULL, 15050xfff0000000000003ULL, 15060xfff0000000000007ULL, 15070xfff000000000000fULL, 15080xfff000000000001fULL, 15090xfff000000000003fULL, 15100xfff000000000007fULL, 15110xfff00000000000ffULL, 15120xfff00000000001ffULL, 15130xfff00000000003ffULL, 15140xfff00000000007ffULL, 15150xfff0000000000fffULL, 15160xfff0000000001fffULL, 15170xfff0000000003fffULL, 15180xfff0000000007fffULL, 15190xfff000000000ffffULL, 15200xfff000000001ffffULL, 15210xfff000000003ffffULL, 15220xfff000000007ffffULL, 15230xfff00000000fffffULL, 15240xfff00000001fffffULL, 15250xfff00000003fffffULL, 15260xfff00000007fffffULL, 15270xfff0000000ffffffULL, 15280xfff0000001ffffffULL, 15290xfff0000003ffffffULL, 15300xfff0000007ffffffULL, 15310xfff000000fffffffULL, 15320xfff000001fffffffULL, 15330xfff000003fffffffULL, 15340xfff000007fffffffULL, 15350xfff00000ffffffffULL, 15360xfff00001ffffffffULL, 15370xfff00003ffffffffULL, 15380xfff00007ffffffffULL, 15390xfff0000fffffffffULL, 15400xfff0001fffffffffULL, 15410xfff0003fffffffffULL, 15420xfff0007fffffffffULL, 15430xfff000ffffffffffULL, 15440xfff001ffffffffffULL, 15450xfff003ffffffffffULL, 15460xfff007ffffffffffULL, 15470xfff00fffffffffffULL, 15480xfff01fffffffffffULL, 15490xfff03fffffffffffULL, 15500xfff07fffffffffffULL, 15510xfff0ffffffffffffULL, 15520xfff1ffffffffffffULL, 15530xfff3ffffffffffffULL, 15540xfff7ffffffffffffULL 1555}, 1556{ 15570xffe0000000000000ULL, 15580xffe0000000000001ULL, 15590xffe0000000000003ULL, 15600xffe0000000000007ULL, 15610xffe000000000000fULL, 15620xffe000000000001fULL, 15630xffe000000000003fULL, 15640xffe000000000007fULL, 15650xffe00000000000ffULL, 15660xffe00000000001ffULL, 15670xffe00000000003ffULL, 15680xffe00000000007ffULL, 15690xffe0000000000fffULL, 15700xffe0000000001fffULL, 15710xffe0000000003fffULL, 15720xffe0000000007fffULL, 15730xffe000000000ffffULL, 15740xffe000000001ffffULL, 15750xffe000000003ffffULL, 15760xffe000000007ffffULL, 15770xffe00000000fffffULL, 15780xffe00000001fffffULL, 15790xffe00000003fffffULL, 15800xffe00000007fffffULL, 15810xffe0000000ffffffULL, 15820xffe0000001ffffffULL, 15830xffe0000003ffffffULL, 15840xffe0000007ffffffULL, 15850xffe000000fffffffULL, 15860xffe000001fffffffULL, 15870xffe000003fffffffULL, 15880xffe000007fffffffULL, 15890xffe00000ffffffffULL, 15900xffe00001ffffffffULL, 15910xffe00003ffffffffULL, 15920xffe00007ffffffffULL, 15930xffe0000fffffffffULL, 15940xffe0001fffffffffULL, 15950xffe0003fffffffffULL, 15960xffe0007fffffffffULL, 15970xffe000ffffffffffULL, 15980xffe001ffffffffffULL, 15990xffe003ffffffffffULL, 16000xffe007ffffffffffULL, 16010xffe00fffffffffffULL, 16020xffe01fffffffffffULL, 16030xffe03fffffffffffULL, 16040xffe07fffffffffffULL, 16050xffe0ffffffffffffULL, 16060xffe1ffffffffffffULL, 16070xffe3ffffffffffffULL, 16080xffe7ffffffffffffULL, 16090xffefffffffffffffULL 1610}, 1611{ 16120xffc0000000000000ULL, 16130xffc0000000000001ULL, 16140xffc0000000000003ULL, 16150xffc0000000000007ULL, 16160xffc000000000000fULL, 16170xffc000000000001fULL, 16180xffc000000000003fULL, 16190xffc000000000007fULL, 16200xffc00000000000ffULL, 16210xffc00000000001ffULL, 16220xffc00000000003ffULL, 16230xffc00000000007ffULL, 16240xffc0000000000fffULL, 16250xffc0000000001fffULL, 16260xffc0000000003fffULL, 16270xffc0000000007fffULL, 16280xffc000000000ffffULL, 16290xffc000000001ffffULL, 16300xffc000000003ffffULL, 16310xffc000000007ffffULL, 16320xffc00000000fffffULL, 16330xffc00000001fffffULL, 16340xffc00000003fffffULL, 16350xffc00000007fffffULL, 16360xffc0000000ffffffULL, 16370xffc0000001ffffffULL, 16380xffc0000003ffffffULL, 16390xffc0000007ffffffULL, 16400xffc000000fffffffULL, 16410xffc000001fffffffULL, 16420xffc000003fffffffULL, 16430xffc000007fffffffULL, 16440xffc00000ffffffffULL, 16450xffc00001ffffffffULL, 16460xffc00003ffffffffULL, 16470xffc00007ffffffffULL, 16480xffc0000fffffffffULL, 16490xffc0001fffffffffULL, 16500xffc0003fffffffffULL, 16510xffc0007fffffffffULL, 16520xffc000ffffffffffULL, 16530xffc001ffffffffffULL, 16540xffc003ffffffffffULL, 16550xffc007ffffffffffULL, 16560xffc00fffffffffffULL, 16570xffc01fffffffffffULL, 16580xffc03fffffffffffULL, 16590xffc07fffffffffffULL, 16600xffc0ffffffffffffULL, 16610xffc1ffffffffffffULL, 16620xffc3ffffffffffffULL, 16630xffc7ffffffffffffULL, 16640xffcfffffffffffffULL, 16650xffdfffffffffffffULL 1666}, 1667{ 16680xff80000000000000ULL, 16690xff80000000000001ULL, 16700xff80000000000003ULL, 16710xff80000000000007ULL, 16720xff8000000000000fULL, 16730xff8000000000001fULL, 16740xff8000000000003fULL, 16750xff8000000000007fULL, 16760xff800000000000ffULL, 16770xff800000000001ffULL, 16780xff800000000003ffULL, 16790xff800000000007ffULL, 16800xff80000000000fffULL, 16810xff80000000001fffULL, 16820xff80000000003fffULL, 16830xff80000000007fffULL, 16840xff8000000000ffffULL, 16850xff8000000001ffffULL, 16860xff8000000003ffffULL, 16870xff8000000007ffffULL, 16880xff800000000fffffULL, 16890xff800000001fffffULL, 16900xff800000003fffffULL, 16910xff800000007fffffULL, 16920xff80000000ffffffULL, 16930xff80000001ffffffULL, 16940xff80000003ffffffULL, 16950xff80000007ffffffULL, 16960xff8000000fffffffULL, 16970xff8000001fffffffULL, 16980xff8000003fffffffULL, 16990xff8000007fffffffULL, 17000xff800000ffffffffULL, 17010xff800001ffffffffULL, 17020xff800003ffffffffULL, 17030xff800007ffffffffULL, 17040xff80000fffffffffULL, 17050xff80001fffffffffULL, 17060xff80003fffffffffULL, 17070xff80007fffffffffULL, 17080xff8000ffffffffffULL, 17090xff8001ffffffffffULL, 17100xff8003ffffffffffULL, 17110xff8007ffffffffffULL, 17120xff800fffffffffffULL, 17130xff801fffffffffffULL, 17140xff803fffffffffffULL, 17150xff807fffffffffffULL, 17160xff80ffffffffffffULL, 17170xff81ffffffffffffULL, 17180xff83ffffffffffffULL, 17190xff87ffffffffffffULL, 17200xff8fffffffffffffULL, 17210xff9fffffffffffffULL, 17220xffbfffffffffffffULL 1723}, 1724{ 17250xff00000000000000ULL, 17260xff00000000000001ULL, 17270xff00000000000003ULL, 17280xff00000000000007ULL, 17290xff0000000000000fULL, 17300xff0000000000001fULL, 17310xff0000000000003fULL, 17320xff0000000000007fULL, 17330xff000000000000ffULL, 17340xff000000000001ffULL, 17350xff000000000003ffULL, 17360xff000000000007ffULL, 17370xff00000000000fffULL, 17380xff00000000001fffULL, 17390xff00000000003fffULL, 17400xff00000000007fffULL, 17410xff0000000000ffffULL, 17420xff0000000001ffffULL, 17430xff0000000003ffffULL, 17440xff0000000007ffffULL, 17450xff000000000fffffULL, 17460xff000000001fffffULL, 17470xff000000003fffffULL, 17480xff000000007fffffULL, 17490xff00000000ffffffULL, 17500xff00000001ffffffULL, 17510xff00000003ffffffULL, 17520xff00000007ffffffULL, 17530xff0000000fffffffULL, 17540xff0000001fffffffULL, 17550xff0000003fffffffULL, 17560xff0000007fffffffULL, 17570xff000000ffffffffULL, 17580xff000001ffffffffULL, 17590xff000003ffffffffULL, 17600xff000007ffffffffULL, 17610xff00000fffffffffULL, 17620xff00001fffffffffULL, 17630xff00003fffffffffULL, 17640xff00007fffffffffULL, 17650xff0000ffffffffffULL, 17660xff0001ffffffffffULL, 17670xff0003ffffffffffULL, 17680xff0007ffffffffffULL, 17690xff000fffffffffffULL, 17700xff001fffffffffffULL, 17710xff003fffffffffffULL, 17720xff007fffffffffffULL, 17730xff00ffffffffffffULL, 17740xff01ffffffffffffULL, 17750xff03ffffffffffffULL, 17760xff07ffffffffffffULL, 17770xff0fffffffffffffULL, 17780xff1fffffffffffffULL, 17790xff3fffffffffffffULL, 17800xff7fffffffffffffULL 1781}, 1782{ 17830xfe00000000000000ULL, 17840xfe00000000000001ULL, 17850xfe00000000000003ULL, 17860xfe00000000000007ULL, 17870xfe0000000000000fULL, 17880xfe0000000000001fULL, 17890xfe0000000000003fULL, 17900xfe0000000000007fULL, 17910xfe000000000000ffULL, 17920xfe000000000001ffULL, 17930xfe000000000003ffULL, 17940xfe000000000007ffULL, 17950xfe00000000000fffULL, 17960xfe00000000001fffULL, 17970xfe00000000003fffULL, 17980xfe00000000007fffULL, 17990xfe0000000000ffffULL, 18000xfe0000000001ffffULL, 18010xfe0000000003ffffULL, 18020xfe0000000007ffffULL, 18030xfe000000000fffffULL, 18040xfe000000001fffffULL, 18050xfe000000003fffffULL, 18060xfe000000007fffffULL, 18070xfe00000000ffffffULL, 18080xfe00000001ffffffULL, 18090xfe00000003ffffffULL, 18100xfe00000007ffffffULL, 18110xfe0000000fffffffULL, 18120xfe0000001fffffffULL, 18130xfe0000003fffffffULL, 18140xfe0000007fffffffULL, 18150xfe000000ffffffffULL, 18160xfe000001ffffffffULL, 18170xfe000003ffffffffULL, 18180xfe000007ffffffffULL, 18190xfe00000fffffffffULL, 18200xfe00001fffffffffULL, 18210xfe00003fffffffffULL, 18220xfe00007fffffffffULL, 18230xfe0000ffffffffffULL, 18240xfe0001ffffffffffULL, 18250xfe0003ffffffffffULL, 18260xfe0007ffffffffffULL, 18270xfe000fffffffffffULL, 18280xfe001fffffffffffULL, 18290xfe003fffffffffffULL, 18300xfe007fffffffffffULL, 18310xfe00ffffffffffffULL, 18320xfe01ffffffffffffULL, 18330xfe03ffffffffffffULL, 18340xfe07ffffffffffffULL, 18350xfe0fffffffffffffULL, 18360xfe1fffffffffffffULL, 18370xfe3fffffffffffffULL, 18380xfe7fffffffffffffULL, 18390xfeffffffffffffffULL 1840}, 1841{ 18420xfc00000000000000ULL, 18430xfc00000000000001ULL, 18440xfc00000000000003ULL, 18450xfc00000000000007ULL, 18460xfc0000000000000fULL, 18470xfc0000000000001fULL, 18480xfc0000000000003fULL, 18490xfc0000000000007fULL, 18500xfc000000000000ffULL, 18510xfc000000000001ffULL, 18520xfc000000000003ffULL, 18530xfc000000000007ffULL, 18540xfc00000000000fffULL, 18550xfc00000000001fffULL, 18560xfc00000000003fffULL, 18570xfc00000000007fffULL, 18580xfc0000000000ffffULL, 18590xfc0000000001ffffULL, 18600xfc0000000003ffffULL, 18610xfc0000000007ffffULL, 18620xfc000000000fffffULL, 18630xfc000000001fffffULL, 18640xfc000000003fffffULL, 18650xfc000000007fffffULL, 18660xfc00000000ffffffULL, 18670xfc00000001ffffffULL, 18680xfc00000003ffffffULL, 18690xfc00000007ffffffULL, 18700xfc0000000fffffffULL, 18710xfc0000001fffffffULL, 18720xfc0000003fffffffULL, 18730xfc0000007fffffffULL, 18740xfc000000ffffffffULL, 18750xfc000001ffffffffULL, 18760xfc000003ffffffffULL, 18770xfc000007ffffffffULL, 18780xfc00000fffffffffULL, 18790xfc00001fffffffffULL, 18800xfc00003fffffffffULL, 18810xfc00007fffffffffULL, 18820xfc0000ffffffffffULL, 18830xfc0001ffffffffffULL, 18840xfc0003ffffffffffULL, 18850xfc0007ffffffffffULL, 18860xfc000fffffffffffULL, 18870xfc001fffffffffffULL, 18880xfc003fffffffffffULL, 18890xfc007fffffffffffULL, 18900xfc00ffffffffffffULL, 18910xfc01ffffffffffffULL, 18920xfc03ffffffffffffULL, 18930xfc07ffffffffffffULL, 18940xfc0fffffffffffffULL, 18950xfc1fffffffffffffULL, 18960xfc3fffffffffffffULL, 18970xfc7fffffffffffffULL, 18980xfcffffffffffffffULL, 18990xfdffffffffffffffULL 1900}, 1901{ 19020xf800000000000000ULL, 19030xf800000000000001ULL, 19040xf800000000000003ULL, 19050xf800000000000007ULL, 19060xf80000000000000fULL, 19070xf80000000000001fULL, 19080xf80000000000003fULL, 19090xf80000000000007fULL, 19100xf8000000000000ffULL, 19110xf8000000000001ffULL, 19120xf8000000000003ffULL, 19130xf8000000000007ffULL, 19140xf800000000000fffULL, 19150xf800000000001fffULL, 19160xf800000000003fffULL, 19170xf800000000007fffULL, 19180xf80000000000ffffULL, 19190xf80000000001ffffULL, 19200xf80000000003ffffULL, 19210xf80000000007ffffULL, 19220xf8000000000fffffULL, 19230xf8000000001fffffULL, 19240xf8000000003fffffULL, 19250xf8000000007fffffULL, 19260xf800000000ffffffULL, 19270xf800000001ffffffULL, 19280xf800000003ffffffULL, 19290xf800000007ffffffULL, 19300xf80000000fffffffULL, 19310xf80000001fffffffULL, 19320xf80000003fffffffULL, 19330xf80000007fffffffULL, 19340xf8000000ffffffffULL, 19350xf8000001ffffffffULL, 19360xf8000003ffffffffULL, 19370xf8000007ffffffffULL, 19380xf800000fffffffffULL, 19390xf800001fffffffffULL, 19400xf800003fffffffffULL, 19410xf800007fffffffffULL, 19420xf80000ffffffffffULL, 19430xf80001ffffffffffULL, 19440xf80003ffffffffffULL, 19450xf80007ffffffffffULL, 19460xf8000fffffffffffULL, 19470xf8001fffffffffffULL, 19480xf8003fffffffffffULL, 19490xf8007fffffffffffULL, 19500xf800ffffffffffffULL, 19510xf801ffffffffffffULL, 19520xf803ffffffffffffULL, 19530xf807ffffffffffffULL, 19540xf80fffffffffffffULL, 19550xf81fffffffffffffULL, 19560xf83fffffffffffffULL, 19570xf87fffffffffffffULL, 19580xf8ffffffffffffffULL, 19590xf9ffffffffffffffULL, 19600xfbffffffffffffffULL 1961}, 1962{ 19630xf000000000000000ULL, 19640xf000000000000001ULL, 19650xf000000000000003ULL, 19660xf000000000000007ULL, 19670xf00000000000000fULL, 19680xf00000000000001fULL, 19690xf00000000000003fULL, 19700xf00000000000007fULL, 19710xf0000000000000ffULL, 19720xf0000000000001ffULL, 19730xf0000000000003ffULL, 19740xf0000000000007ffULL, 19750xf000000000000fffULL, 19760xf000000000001fffULL, 19770xf000000000003fffULL, 19780xf000000000007fffULL, 19790xf00000000000ffffULL, 19800xf00000000001ffffULL, 19810xf00000000003ffffULL, 19820xf00000000007ffffULL, 19830xf0000000000fffffULL, 19840xf0000000001fffffULL, 19850xf0000000003fffffULL, 19860xf0000000007fffffULL, 19870xf000000000ffffffULL, 19880xf000000001ffffffULL, 19890xf000000003ffffffULL, 19900xf000000007ffffffULL, 19910xf00000000fffffffULL, 19920xf00000001fffffffULL, 19930xf00000003fffffffULL, 19940xf00000007fffffffULL, 19950xf0000000ffffffffULL, 19960xf0000001ffffffffULL, 19970xf0000003ffffffffULL, 19980xf0000007ffffffffULL, 19990xf000000fffffffffULL, 20000xf000001fffffffffULL, 20010xf000003fffffffffULL, 20020xf000007fffffffffULL, 20030xf00000ffffffffffULL, 20040xf00001ffffffffffULL, 20050xf00003ffffffffffULL, 20060xf00007ffffffffffULL, 20070xf0000fffffffffffULL, 20080xf0001fffffffffffULL, 20090xf0003fffffffffffULL, 20100xf0007fffffffffffULL, 20110xf000ffffffffffffULL, 20120xf001ffffffffffffULL, 20130xf003ffffffffffffULL, 20140xf007ffffffffffffULL, 20150xf00fffffffffffffULL, 20160xf01fffffffffffffULL, 20170xf03fffffffffffffULL, 20180xf07fffffffffffffULL, 20190xf0ffffffffffffffULL, 20200xf1ffffffffffffffULL, 20210xf3ffffffffffffffULL, 20220xf7ffffffffffffffULL 2023}, 2024{ 20250xe000000000000000ULL, 20260xe000000000000001ULL, 20270xe000000000000003ULL, 20280xe000000000000007ULL, 20290xe00000000000000fULL, 20300xe00000000000001fULL, 20310xe00000000000003fULL, 20320xe00000000000007fULL, 20330xe0000000000000ffULL, 20340xe0000000000001ffULL, 20350xe0000000000003ffULL, 20360xe0000000000007ffULL, 20370xe000000000000fffULL, 20380xe000000000001fffULL, 20390xe000000000003fffULL, 20400xe000000000007fffULL, 20410xe00000000000ffffULL, 20420xe00000000001ffffULL, 20430xe00000000003ffffULL, 20440xe00000000007ffffULL, 20450xe0000000000fffffULL, 20460xe0000000001fffffULL, 20470xe0000000003fffffULL, 20480xe0000000007fffffULL, 20490xe000000000ffffffULL, 20500xe000000001ffffffULL, 20510xe000000003ffffffULL, 20520xe000000007ffffffULL, 20530xe00000000fffffffULL, 20540xe00000001fffffffULL, 20550xe00000003fffffffULL, 20560xe00000007fffffffULL, 20570xe0000000ffffffffULL, 20580xe0000001ffffffffULL, 20590xe0000003ffffffffULL, 20600xe0000007ffffffffULL, 20610xe000000fffffffffULL, 20620xe000001fffffffffULL, 20630xe000003fffffffffULL, 20640xe000007fffffffffULL, 20650xe00000ffffffffffULL, 20660xe00001ffffffffffULL, 20670xe00003ffffffffffULL, 20680xe00007ffffffffffULL, 20690xe0000fffffffffffULL, 20700xe0001fffffffffffULL, 20710xe0003fffffffffffULL, 20720xe0007fffffffffffULL, 20730xe000ffffffffffffULL, 20740xe001ffffffffffffULL, 20750xe003ffffffffffffULL, 20760xe007ffffffffffffULL, 20770xe00fffffffffffffULL, 20780xe01fffffffffffffULL, 20790xe03fffffffffffffULL, 20800xe07fffffffffffffULL, 20810xe0ffffffffffffffULL, 20820xe1ffffffffffffffULL, 20830xe3ffffffffffffffULL, 20840xe7ffffffffffffffULL, 20850xefffffffffffffffULL 2086}, 2087{ 20880xc000000000000000ULL, 20890xc000000000000001ULL, 20900xc000000000000003ULL, 20910xc000000000000007ULL, 20920xc00000000000000fULL, 20930xc00000000000001fULL, 20940xc00000000000003fULL, 20950xc00000000000007fULL, 20960xc0000000000000ffULL, 20970xc0000000000001ffULL, 20980xc0000000000003ffULL, 20990xc0000000000007ffULL, 21000xc000000000000fffULL, 21010xc000000000001fffULL, 21020xc000000000003fffULL, 21030xc000000000007fffULL, 21040xc00000000000ffffULL, 21050xc00000000001ffffULL, 21060xc00000000003ffffULL, 21070xc00000000007ffffULL, 21080xc0000000000fffffULL, 21090xc0000000001fffffULL, 21100xc0000000003fffffULL, 21110xc0000000007fffffULL, 21120xc000000000ffffffULL, 21130xc000000001ffffffULL, 21140xc000000003ffffffULL, 21150xc000000007ffffffULL, 21160xc00000000fffffffULL, 21170xc00000001fffffffULL, 21180xc00000003fffffffULL, 21190xc00000007fffffffULL, 21200xc0000000ffffffffULL, 21210xc0000001ffffffffULL, 21220xc0000003ffffffffULL, 21230xc0000007ffffffffULL, 21240xc000000fffffffffULL, 21250xc000001fffffffffULL, 21260xc000003fffffffffULL, 21270xc000007fffffffffULL, 21280xc00000ffffffffffULL, 21290xc00001ffffffffffULL, 21300xc00003ffffffffffULL, 21310xc00007ffffffffffULL, 21320xc0000fffffffffffULL, 21330xc0001fffffffffffULL, 21340xc0003fffffffffffULL, 21350xc0007fffffffffffULL, 21360xc000ffffffffffffULL, 21370xc001ffffffffffffULL, 21380xc003ffffffffffffULL, 21390xc007ffffffffffffULL, 21400xc00fffffffffffffULL, 21410xc01fffffffffffffULL, 21420xc03fffffffffffffULL, 21430xc07fffffffffffffULL, 21440xc0ffffffffffffffULL, 21450xc1ffffffffffffffULL, 21460xc3ffffffffffffffULL, 21470xc7ffffffffffffffULL, 21480xcfffffffffffffffULL, 21490xdfffffffffffffffULL 2150}, 2151{ 21520x8000000000000000ULL, 21530x8000000000000001ULL, 21540x8000000000000003ULL, 21550x8000000000000007ULL, 21560x800000000000000fULL, 21570x800000000000001fULL, 21580x800000000000003fULL, 21590x800000000000007fULL, 21600x80000000000000ffULL, 21610x80000000000001ffULL, 21620x80000000000003ffULL, 21630x80000000000007ffULL, 21640x8000000000000fffULL, 21650x8000000000001fffULL, 21660x8000000000003fffULL, 21670x8000000000007fffULL, 21680x800000000000ffffULL, 21690x800000000001ffffULL, 21700x800000000003ffffULL, 21710x800000000007ffffULL, 21720x80000000000fffffULL, 21730x80000000001fffffULL, 21740x80000000003fffffULL, 21750x80000000007fffffULL, 21760x8000000000ffffffULL, 21770x8000000001ffffffULL, 21780x8000000003ffffffULL, 21790x8000000007ffffffULL, 21800x800000000fffffffULL, 21810x800000001fffffffULL, 21820x800000003fffffffULL, 21830x800000007fffffffULL, 21840x80000000ffffffffULL, 21850x80000001ffffffffULL, 21860x80000003ffffffffULL, 21870x80000007ffffffffULL, 21880x8000000fffffffffULL, 21890x8000001fffffffffULL, 21900x8000003fffffffffULL, 21910x8000007fffffffffULL, 21920x800000ffffffffffULL, 21930x800001ffffffffffULL, 21940x800003ffffffffffULL, 21950x800007ffffffffffULL, 21960x80000fffffffffffULL, 21970x80001fffffffffffULL, 21980x80003fffffffffffULL, 21990x80007fffffffffffULL, 22000x8000ffffffffffffULL, 22010x8001ffffffffffffULL, 22020x8003ffffffffffffULL, 22030x8007ffffffffffffULL, 22040x800fffffffffffffULL, 22050x801fffffffffffffULL, 22060x803fffffffffffffULL, 22070x807fffffffffffffULL, 22080x80ffffffffffffffULL, 22090x81ffffffffffffffULL, 22100x83ffffffffffffffULL, 22110x87ffffffffffffffULL, 22120x8fffffffffffffffULL, 22130x9fffffffffffffffULL, 22140xbfffffffffffffffULL 2215}, 2216{ 22170x0ULL, 22180x1ULL, 22190x3ULL, 22200x7ULL, 22210xfULL, 22220x1fULL, 22230x3fULL, 22240x7fULL, 22250xffULL, 22260x1ffULL, 22270x3ffULL, 22280x7ffULL, 22290xfffULL, 22300x1fffULL, 22310x3fffULL, 22320x7fffULL, 22330xffffULL, 22340x1ffffULL, 22350x3ffffULL, 22360x7ffffULL, 22370xfffffULL, 22380x1fffffULL, 22390x3fffffULL, 22400x7fffffULL, 22410xffffffULL, 22420x1ffffffULL, 22430x3ffffffULL, 22440x7ffffffULL, 22450xfffffffULL, 22460x1fffffffULL, 22470x3fffffffULL, 22480x7fffffffULL, 22490xffffffffULL, 22500x1ffffffffULL, 22510x3ffffffffULL, 22520x7ffffffffULL, 22530xfffffffffULL, 22540x1fffffffffULL, 22550x3fffffffffULL, 22560x7fffffffffULL, 22570xffffffffffULL, 22580x1ffffffffffULL, 22590x3ffffffffffULL, 22600x7ffffffffffULL, 22610xfffffffffffULL, 22620x1fffffffffffULL, 22630x3fffffffffffULL, 22640x7fffffffffffULL, 22650xffffffffffffULL, 22660x1ffffffffffffULL, 22670x3ffffffffffffULL, 22680x7ffffffffffffULL, 22690xfffffffffffffULL, 22700x1fffffffffffffULL, 22710x3fffffffffffffULL, 22720x7fffffffffffffULL, 22730xffffffffffffffULL, 22740x1ffffffffffffffULL, 22750x3ffffffffffffffULL, 22760x7ffffffffffffffULL, 22770xfffffffffffffffULL, 22780x1fffffffffffffffULL, 22790x3fffffffffffffffULL, 22800x7fffffffffffffffULL 2281} 2282}; 2283 2284#else //end of #ifndef WIN32 2285 2286const uint_type mask_int[SC_INTWIDTH][SC_INTWIDTH] = 2287{ 2288{ 22890xfffffffffffffffei64 2290}, 2291{ 22920xfffffffffffffffci64, 22930xfffffffffffffffdi64 2294}, 2295{ 22960xfffffffffffffff8i64, 22970xfffffffffffffff9i64, 22980xfffffffffffffffbi64 2299}, 2300{ 23010xfffffffffffffff0i64, 23020xfffffffffffffff1i64, 23030xfffffffffffffff3i64, 23040xfffffffffffffff7i64 2305}, 2306{ 23070xffffffffffffffe0i64, 23080xffffffffffffffe1i64, 23090xffffffffffffffe3i64, 23100xffffffffffffffe7i64, 23110xffffffffffffffefi64 2312}, 2313{ 23140xffffffffffffffc0i64, 23150xffffffffffffffc1i64, 23160xffffffffffffffc3i64, 23170xffffffffffffffc7i64, 23180xffffffffffffffcfi64, 23190xffffffffffffffdfi64 2320}, 2321{ 23220xffffffffffffff80i64, 23230xffffffffffffff81i64, 23240xffffffffffffff83i64, 23250xffffffffffffff87i64, 23260xffffffffffffff8fi64, 23270xffffffffffffff9fi64, 23280xffffffffffffffbfi64 2329}, 2330{ 23310xffffffffffffff00i64, 23320xffffffffffffff01i64, 23330xffffffffffffff03i64, 23340xffffffffffffff07i64, 23350xffffffffffffff0fi64, 23360xffffffffffffff1fi64, 23370xffffffffffffff3fi64, 23380xffffffffffffff7fi64 2339}, 2340{ 23410xfffffffffffffe00i64, 23420xfffffffffffffe01i64, 23430xfffffffffffffe03i64, 23440xfffffffffffffe07i64, 23450xfffffffffffffe0fi64, 23460xfffffffffffffe1fi64, 23470xfffffffffffffe3fi64, 23480xfffffffffffffe7fi64, 23490xfffffffffffffeffi64 2350}, 2351{ 23520xfffffffffffffc00i64, 23530xfffffffffffffc01i64, 23540xfffffffffffffc03i64, 23550xfffffffffffffc07i64, 23560xfffffffffffffc0fi64, 23570xfffffffffffffc1fi64, 23580xfffffffffffffc3fi64, 23590xfffffffffffffc7fi64, 23600xfffffffffffffcffi64, 23610xfffffffffffffdffi64 2362}, 2363{ 23640xfffffffffffff800i64, 23650xfffffffffffff801i64, 23660xfffffffffffff803i64, 23670xfffffffffffff807i64, 23680xfffffffffffff80fi64, 23690xfffffffffffff81fi64, 23700xfffffffffffff83fi64, 23710xfffffffffffff87fi64, 23720xfffffffffffff8ffi64, 23730xfffffffffffff9ffi64, 23740xfffffffffffffbffi64 2375}, 2376{ 23770xfffffffffffff000i64, 23780xfffffffffffff001i64, 23790xfffffffffffff003i64, 23800xfffffffffffff007i64, 23810xfffffffffffff00fi64, 23820xfffffffffffff01fi64, 23830xfffffffffffff03fi64, 23840xfffffffffffff07fi64, 23850xfffffffffffff0ffi64, 23860xfffffffffffff1ffi64, 23870xfffffffffffff3ffi64, 23880xfffffffffffff7ffi64 2389}, 2390{ 23910xffffffffffffe000i64, 23920xffffffffffffe001i64, 23930xffffffffffffe003i64, 23940xffffffffffffe007i64, 23950xffffffffffffe00fi64, 23960xffffffffffffe01fi64, 23970xffffffffffffe03fi64, 23980xffffffffffffe07fi64, 23990xffffffffffffe0ffi64, 24000xffffffffffffe1ffi64, 24010xffffffffffffe3ffi64, 24020xffffffffffffe7ffi64, 24030xffffffffffffefffi64 2404}, 2405{ 24060xffffffffffffc000i64, 24070xffffffffffffc001i64, 24080xffffffffffffc003i64, 24090xffffffffffffc007i64, 24100xffffffffffffc00fi64, 24110xffffffffffffc01fi64, 24120xffffffffffffc03fi64, 24130xffffffffffffc07fi64, 24140xffffffffffffc0ffi64, 24150xffffffffffffc1ffi64, 24160xffffffffffffc3ffi64, 24170xffffffffffffc7ffi64, 24180xffffffffffffcfffi64, 24190xffffffffffffdfffi64 2420}, 2421{ 24220xffffffffffff8000i64, 24230xffffffffffff8001i64, 24240xffffffffffff8003i64, 24250xffffffffffff8007i64, 24260xffffffffffff800fi64, 24270xffffffffffff801fi64, 24280xffffffffffff803fi64, 24290xffffffffffff807fi64, 24300xffffffffffff80ffi64, 24310xffffffffffff81ffi64, 24320xffffffffffff83ffi64, 24330xffffffffffff87ffi64, 24340xffffffffffff8fffi64, 24350xffffffffffff9fffi64, 24360xffffffffffffbfffi64 2437}, 2438{ 24390xffffffffffff0000i64, 24400xffffffffffff0001i64, 24410xffffffffffff0003i64, 24420xffffffffffff0007i64, 24430xffffffffffff000fi64, 24440xffffffffffff001fi64, 24450xffffffffffff003fi64, 24460xffffffffffff007fi64, 24470xffffffffffff00ffi64, 24480xffffffffffff01ffi64, 24490xffffffffffff03ffi64, 24500xffffffffffff07ffi64, 24510xffffffffffff0fffi64, 24520xffffffffffff1fffi64, 24530xffffffffffff3fffi64, 24540xffffffffffff7fffi64 2455}, 2456{ 24570xfffffffffffe0000i64, 24580xfffffffffffe0001i64, 24590xfffffffffffe0003i64, 24600xfffffffffffe0007i64, 24610xfffffffffffe000fi64, 24620xfffffffffffe001fi64, 24630xfffffffffffe003fi64, 24640xfffffffffffe007fi64, 24650xfffffffffffe00ffi64, 24660xfffffffffffe01ffi64, 24670xfffffffffffe03ffi64, 24680xfffffffffffe07ffi64, 24690xfffffffffffe0fffi64, 24700xfffffffffffe1fffi64, 24710xfffffffffffe3fffi64, 24720xfffffffffffe7fffi64, 24730xfffffffffffeffffi64 2474}, 2475{ 24760xfffffffffffc0000i64, 24770xfffffffffffc0001i64, 24780xfffffffffffc0003i64, 24790xfffffffffffc0007i64, 24800xfffffffffffc000fi64, 24810xfffffffffffc001fi64, 24820xfffffffffffc003fi64, 24830xfffffffffffc007fi64, 24840xfffffffffffc00ffi64, 24850xfffffffffffc01ffi64, 24860xfffffffffffc03ffi64, 24870xfffffffffffc07ffi64, 24880xfffffffffffc0fffi64, 24890xfffffffffffc1fffi64, 24900xfffffffffffc3fffi64, 24910xfffffffffffc7fffi64, 24920xfffffffffffcffffi64, 24930xfffffffffffdffffi64 2494}, 2495{ 24960xfffffffffff80000i64, 24970xfffffffffff80001i64, 24980xfffffffffff80003i64, 24990xfffffffffff80007i64, 25000xfffffffffff8000fi64, 25010xfffffffffff8001fi64, 25020xfffffffffff8003fi64, 25030xfffffffffff8007fi64, 25040xfffffffffff800ffi64, 25050xfffffffffff801ffi64, 25060xfffffffffff803ffi64, 25070xfffffffffff807ffi64, 25080xfffffffffff80fffi64, 25090xfffffffffff81fffi64, 25100xfffffffffff83fffi64, 25110xfffffffffff87fffi64, 25120xfffffffffff8ffffi64, 25130xfffffffffff9ffffi64, 25140xfffffffffffbffffi64 2515}, 2516{ 25170xfffffffffff00000i64, 25180xfffffffffff00001i64, 25190xfffffffffff00003i64, 25200xfffffffffff00007i64, 25210xfffffffffff0000fi64, 25220xfffffffffff0001fi64, 25230xfffffffffff0003fi64, 25240xfffffffffff0007fi64, 25250xfffffffffff000ffi64, 25260xfffffffffff001ffi64, 25270xfffffffffff003ffi64, 25280xfffffffffff007ffi64, 25290xfffffffffff00fffi64, 25300xfffffffffff01fffi64, 25310xfffffffffff03fffi64, 25320xfffffffffff07fffi64, 25330xfffffffffff0ffffi64, 25340xfffffffffff1ffffi64, 25350xfffffffffff3ffffi64, 25360xfffffffffff7ffffi64 2537}, 2538{ 25390xffffffffffe00000i64, 25400xffffffffffe00001i64, 25410xffffffffffe00003i64, 25420xffffffffffe00007i64, 25430xffffffffffe0000fi64, 25440xffffffffffe0001fi64, 25450xffffffffffe0003fi64, 25460xffffffffffe0007fi64, 25470xffffffffffe000ffi64, 25480xffffffffffe001ffi64, 25490xffffffffffe003ffi64, 25500xffffffffffe007ffi64, 25510xffffffffffe00fffi64, 25520xffffffffffe01fffi64, 25530xffffffffffe03fffi64, 25540xffffffffffe07fffi64, 25550xffffffffffe0ffffi64, 25560xffffffffffe1ffffi64, 25570xffffffffffe3ffffi64, 25580xffffffffffe7ffffi64, 25590xffffffffffefffffi64 2560}, 2561{ 25620xffffffffffc00000i64, 25630xffffffffffc00001i64, 25640xffffffffffc00003i64, 25650xffffffffffc00007i64, 25660xffffffffffc0000fi64, 25670xffffffffffc0001fi64, 25680xffffffffffc0003fi64, 25690xffffffffffc0007fi64, 25700xffffffffffc000ffi64, 25710xffffffffffc001ffi64, 25720xffffffffffc003ffi64, 25730xffffffffffc007ffi64, 25740xffffffffffc00fffi64, 25750xffffffffffc01fffi64, 25760xffffffffffc03fffi64, 25770xffffffffffc07fffi64, 25780xffffffffffc0ffffi64, 25790xffffffffffc1ffffi64, 25800xffffffffffc3ffffi64, 25810xffffffffffc7ffffi64, 25820xffffffffffcfffffi64, 25830xffffffffffdfffffi64 2584}, 2585{ 25860xffffffffff800000i64, 25870xffffffffff800001i64, 25880xffffffffff800003i64, 25890xffffffffff800007i64, 25900xffffffffff80000fi64, 25910xffffffffff80001fi64, 25920xffffffffff80003fi64, 25930xffffffffff80007fi64, 25940xffffffffff8000ffi64, 25950xffffffffff8001ffi64, 25960xffffffffff8003ffi64, 25970xffffffffff8007ffi64, 25980xffffffffff800fffi64, 25990xffffffffff801fffi64, 26000xffffffffff803fffi64, 26010xffffffffff807fffi64, 26020xffffffffff80ffffi64, 26030xffffffffff81ffffi64, 26040xffffffffff83ffffi64, 26050xffffffffff87ffffi64, 26060xffffffffff8fffffi64, 26070xffffffffff9fffffi64, 26080xffffffffffbfffffi64 2609}, 2610{ 26110xffffffffff000000i64, 26120xffffffffff000001i64, 26130xffffffffff000003i64, 26140xffffffffff000007i64, 26150xffffffffff00000fi64, 26160xffffffffff00001fi64, 26170xffffffffff00003fi64, 26180xffffffffff00007fi64, 26190xffffffffff0000ffi64, 26200xffffffffff0001ffi64, 26210xffffffffff0003ffi64, 26220xffffffffff0007ffi64, 26230xffffffffff000fffi64, 26240xffffffffff001fffi64, 26250xffffffffff003fffi64, 26260xffffffffff007fffi64, 26270xffffffffff00ffffi64, 26280xffffffffff01ffffi64, 26290xffffffffff03ffffi64, 26300xffffffffff07ffffi64, 26310xffffffffff0fffffi64, 26320xffffffffff1fffffi64, 26330xffffffffff3fffffi64, 26340xffffffffff7fffffi64 2635}, 2636{ 26370xfffffffffe000000i64, 26380xfffffffffe000001i64, 26390xfffffffffe000003i64, 26400xfffffffffe000007i64, 26410xfffffffffe00000fi64, 26420xfffffffffe00001fi64, 26430xfffffffffe00003fi64, 26440xfffffffffe00007fi64, 26450xfffffffffe0000ffi64, 26460xfffffffffe0001ffi64, 26470xfffffffffe0003ffi64, 26480xfffffffffe0007ffi64, 26490xfffffffffe000fffi64, 26500xfffffffffe001fffi64, 26510xfffffffffe003fffi64, 26520xfffffffffe007fffi64, 26530xfffffffffe00ffffi64, 26540xfffffffffe01ffffi64, 26550xfffffffffe03ffffi64, 26560xfffffffffe07ffffi64, 26570xfffffffffe0fffffi64, 26580xfffffffffe1fffffi64, 26590xfffffffffe3fffffi64, 26600xfffffffffe7fffffi64, 26610xfffffffffeffffffi64 2662}, 2663{ 26640xfffffffffc000000i64, 26650xfffffffffc000001i64, 26660xfffffffffc000003i64, 26670xfffffffffc000007i64, 26680xfffffffffc00000fi64, 26690xfffffffffc00001fi64, 26700xfffffffffc00003fi64, 26710xfffffffffc00007fi64, 26720xfffffffffc0000ffi64, 26730xfffffffffc0001ffi64, 26740xfffffffffc0003ffi64, 26750xfffffffffc0007ffi64, 26760xfffffffffc000fffi64, 26770xfffffffffc001fffi64, 26780xfffffffffc003fffi64, 26790xfffffffffc007fffi64, 26800xfffffffffc00ffffi64, 26810xfffffffffc01ffffi64, 26820xfffffffffc03ffffi64, 26830xfffffffffc07ffffi64, 26840xfffffffffc0fffffi64, 26850xfffffffffc1fffffi64, 26860xfffffffffc3fffffi64, 26870xfffffffffc7fffffi64, 26880xfffffffffcffffffi64, 26890xfffffffffdffffffi64 2690}, 2691{ 26920xfffffffff8000000i64, 26930xfffffffff8000001i64, 26940xfffffffff8000003i64, 26950xfffffffff8000007i64, 26960xfffffffff800000fi64, 26970xfffffffff800001fi64, 26980xfffffffff800003fi64, 26990xfffffffff800007fi64, 27000xfffffffff80000ffi64, 27010xfffffffff80001ffi64, 27020xfffffffff80003ffi64, 27030xfffffffff80007ffi64, 27040xfffffffff8000fffi64, 27050xfffffffff8001fffi64, 27060xfffffffff8003fffi64, 27070xfffffffff8007fffi64, 27080xfffffffff800ffffi64, 27090xfffffffff801ffffi64, 27100xfffffffff803ffffi64, 27110xfffffffff807ffffi64, 27120xfffffffff80fffffi64, 27130xfffffffff81fffffi64, 27140xfffffffff83fffffi64, 27150xfffffffff87fffffi64, 27160xfffffffff8ffffffi64, 27170xfffffffff9ffffffi64, 27180xfffffffffbffffffi64 2719}, 2720{ 27210xfffffffff0000000i64, 27220xfffffffff0000001i64, 27230xfffffffff0000003i64, 27240xfffffffff0000007i64, 27250xfffffffff000000fi64, 27260xfffffffff000001fi64, 27270xfffffffff000003fi64, 27280xfffffffff000007fi64, 27290xfffffffff00000ffi64, 27300xfffffffff00001ffi64, 27310xfffffffff00003ffi64, 27320xfffffffff00007ffi64, 27330xfffffffff0000fffi64, 27340xfffffffff0001fffi64, 27350xfffffffff0003fffi64, 27360xfffffffff0007fffi64, 27370xfffffffff000ffffi64, 27380xfffffffff001ffffi64, 27390xfffffffff003ffffi64, 27400xfffffffff007ffffi64, 27410xfffffffff00fffffi64, 27420xfffffffff01fffffi64, 27430xfffffffff03fffffi64, 27440xfffffffff07fffffi64, 27450xfffffffff0ffffffi64, 27460xfffffffff1ffffffi64, 27470xfffffffff3ffffffi64, 27480xfffffffff7ffffffi64 2749}, 2750{ 27510xffffffffe0000000i64, 27520xffffffffe0000001i64, 27530xffffffffe0000003i64, 27540xffffffffe0000007i64, 27550xffffffffe000000fi64, 27560xffffffffe000001fi64, 27570xffffffffe000003fi64, 27580xffffffffe000007fi64, 27590xffffffffe00000ffi64, 27600xffffffffe00001ffi64, 27610xffffffffe00003ffi64, 27620xffffffffe00007ffi64, 27630xffffffffe0000fffi64, 27640xffffffffe0001fffi64, 27650xffffffffe0003fffi64, 27660xffffffffe0007fffi64, 27670xffffffffe000ffffi64, 27680xffffffffe001ffffi64, 27690xffffffffe003ffffi64, 27700xffffffffe007ffffi64, 27710xffffffffe00fffffi64, 27720xffffffffe01fffffi64, 27730xffffffffe03fffffi64, 27740xffffffffe07fffffi64, 27750xffffffffe0ffffffi64, 27760xffffffffe1ffffffi64, 27770xffffffffe3ffffffi64, 27780xffffffffe7ffffffi64, 27790xffffffffefffffffi64 2780}, 2781{ 27820xffffffffc0000000i64, 27830xffffffffc0000001i64, 27840xffffffffc0000003i64, 27850xffffffffc0000007i64, 27860xffffffffc000000fi64, 27870xffffffffc000001fi64, 27880xffffffffc000003fi64, 27890xffffffffc000007fi64, 27900xffffffffc00000ffi64, 27910xffffffffc00001ffi64, 27920xffffffffc00003ffi64, 27930xffffffffc00007ffi64, 27940xffffffffc0000fffi64, 27950xffffffffc0001fffi64, 27960xffffffffc0003fffi64, 27970xffffffffc0007fffi64, 27980xffffffffc000ffffi64, 27990xffffffffc001ffffi64, 28000xffffffffc003ffffi64, 28010xffffffffc007ffffi64, 28020xffffffffc00fffffi64, 28030xffffffffc01fffffi64, 28040xffffffffc03fffffi64, 28050xffffffffc07fffffi64, 28060xffffffffc0ffffffi64, 28070xffffffffc1ffffffi64, 28080xffffffffc3ffffffi64, 28090xffffffffc7ffffffi64, 28100xffffffffcfffffffi64, 28110xffffffffdfffffffi64 2812}, 2813{ 28140xffffffff80000000i64, 28150xffffffff80000001i64, 28160xffffffff80000003i64, 28170xffffffff80000007i64, 28180xffffffff8000000fi64, 28190xffffffff8000001fi64, 28200xffffffff8000003fi64, 28210xffffffff8000007fi64, 28220xffffffff800000ffi64, 28230xffffffff800001ffi64, 28240xffffffff800003ffi64, 28250xffffffff800007ffi64, 28260xffffffff80000fffi64, 28270xffffffff80001fffi64, 28280xffffffff80003fffi64, 28290xffffffff80007fffi64, 28300xffffffff8000ffffi64, 28310xffffffff8001ffffi64, 28320xffffffff8003ffffi64, 28330xffffffff8007ffffi64, 28340xffffffff800fffffi64, 28350xffffffff801fffffi64, 28360xffffffff803fffffi64, 28370xffffffff807fffffi64, 28380xffffffff80ffffffi64, 28390xffffffff81ffffffi64, 28400xffffffff83ffffffi64, 28410xffffffff87ffffffi64, 28420xffffffff8fffffffi64, 28430xffffffff9fffffffi64, 28440xffffffffbfffffffi64 2845}, 2846{ 28470xffffffff00000000i64, 28480xffffffff00000001i64, 28490xffffffff00000003i64, 28500xffffffff00000007i64, 28510xffffffff0000000fi64, 28520xffffffff0000001fi64, 28530xffffffff0000003fi64, 28540xffffffff0000007fi64, 28550xffffffff000000ffi64, 28560xffffffff000001ffi64, 28570xffffffff000003ffi64, 28580xffffffff000007ffi64, 28590xffffffff00000fffi64, 28600xffffffff00001fffi64, 28610xffffffff00003fffi64, 28620xffffffff00007fffi64, 28630xffffffff0000ffffi64, 28640xffffffff0001ffffi64, 28650xffffffff0003ffffi64, 28660xffffffff0007ffffi64, 28670xffffffff000fffffi64, 28680xffffffff001fffffi64, 28690xffffffff003fffffi64, 28700xffffffff007fffffi64, 28710xffffffff00ffffffi64, 28720xffffffff01ffffffi64, 28730xffffffff03ffffffi64, 28740xffffffff07ffffffi64, 28750xffffffff0fffffffi64, 28760xffffffff1fffffffi64, 28770xffffffff3fffffffi64, 28780xffffffff7fffffffi64 2879}, 2880{ 28810xfffffffe00000000i64, 28820xfffffffe00000001i64, 28830xfffffffe00000003i64, 28840xfffffffe00000007i64, 28850xfffffffe0000000fi64, 28860xfffffffe0000001fi64, 28870xfffffffe0000003fi64, 28880xfffffffe0000007fi64, 28890xfffffffe000000ffi64, 28900xfffffffe000001ffi64, 28910xfffffffe000003ffi64, 28920xfffffffe000007ffi64, 28930xfffffffe00000fffi64, 28940xfffffffe00001fffi64, 28950xfffffffe00003fffi64, 28960xfffffffe00007fffi64, 28970xfffffffe0000ffffi64, 28980xfffffffe0001ffffi64, 28990xfffffffe0003ffffi64, 29000xfffffffe0007ffffi64, 29010xfffffffe000fffffi64, 29020xfffffffe001fffffi64, 29030xfffffffe003fffffi64, 29040xfffffffe007fffffi64, 29050xfffffffe00ffffffi64, 29060xfffffffe01ffffffi64, 29070xfffffffe03ffffffi64, 29080xfffffffe07ffffffi64, 29090xfffffffe0fffffffi64, 29100xfffffffe1fffffffi64, 29110xfffffffe3fffffffi64, 29120xfffffffe7fffffffi64, 29130xfffffffeffffffffi64 2914}, 2915{ 29160xfffffffc00000000i64, 29170xfffffffc00000001i64, 29180xfffffffc00000003i64, 29190xfffffffc00000007i64, 29200xfffffffc0000000fi64, 29210xfffffffc0000001fi64, 29220xfffffffc0000003fi64, 29230xfffffffc0000007fi64, 29240xfffffffc000000ffi64, 29250xfffffffc000001ffi64, 29260xfffffffc000003ffi64, 29270xfffffffc000007ffi64, 29280xfffffffc00000fffi64, 29290xfffffffc00001fffi64, 29300xfffffffc00003fffi64, 29310xfffffffc00007fffi64, 29320xfffffffc0000ffffi64, 29330xfffffffc0001ffffi64, 29340xfffffffc0003ffffi64, 29350xfffffffc0007ffffi64, 29360xfffffffc000fffffi64, 29370xfffffffc001fffffi64, 29380xfffffffc003fffffi64, 29390xfffffffc007fffffi64, 29400xfffffffc00ffffffi64, 29410xfffffffc01ffffffi64, 29420xfffffffc03ffffffi64, 29430xfffffffc07ffffffi64, 29440xfffffffc0fffffffi64, 29450xfffffffc1fffffffi64, 29460xfffffffc3fffffffi64, 29470xfffffffc7fffffffi64, 29480xfffffffcffffffffi64, 29490xfffffffdffffffffi64 2950}, 2951{ 29520xfffffff800000000i64, 29530xfffffff800000001i64, 29540xfffffff800000003i64, 29550xfffffff800000007i64, 29560xfffffff80000000fi64, 29570xfffffff80000001fi64, 29580xfffffff80000003fi64, 29590xfffffff80000007fi64, 29600xfffffff8000000ffi64, 29610xfffffff8000001ffi64, 29620xfffffff8000003ffi64, 29630xfffffff8000007ffi64, 29640xfffffff800000fffi64, 29650xfffffff800001fffi64, 29660xfffffff800003fffi64, 29670xfffffff800007fffi64, 29680xfffffff80000ffffi64, 29690xfffffff80001ffffi64, 29700xfffffff80003ffffi64, 29710xfffffff80007ffffi64, 29720xfffffff8000fffffi64, 29730xfffffff8001fffffi64, 29740xfffffff8003fffffi64, 29750xfffffff8007fffffi64, 29760xfffffff800ffffffi64, 29770xfffffff801ffffffi64, 29780xfffffff803ffffffi64, 29790xfffffff807ffffffi64, 29800xfffffff80fffffffi64, 29810xfffffff81fffffffi64, 29820xfffffff83fffffffi64, 29830xfffffff87fffffffi64, 29840xfffffff8ffffffffi64, 29850xfffffff9ffffffffi64, 29860xfffffffbffffffffi64 2987}, 2988{ 29890xfffffff000000000i64, 29900xfffffff000000001i64, 29910xfffffff000000003i64, 29920xfffffff000000007i64, 29930xfffffff00000000fi64, 29940xfffffff00000001fi64, 29950xfffffff00000003fi64, 29960xfffffff00000007fi64, 29970xfffffff0000000ffi64, 29980xfffffff0000001ffi64, 29990xfffffff0000003ffi64, 30000xfffffff0000007ffi64, 30010xfffffff000000fffi64, 30020xfffffff000001fffi64, 30030xfffffff000003fffi64, 30040xfffffff000007fffi64, 30050xfffffff00000ffffi64, 30060xfffffff00001ffffi64, 30070xfffffff00003ffffi64, 30080xfffffff00007ffffi64, 30090xfffffff0000fffffi64, 30100xfffffff0001fffffi64, 30110xfffffff0003fffffi64, 30120xfffffff0007fffffi64, 30130xfffffff000ffffffi64, 30140xfffffff001ffffffi64, 30150xfffffff003ffffffi64, 30160xfffffff007ffffffi64, 30170xfffffff00fffffffi64, 30180xfffffff01fffffffi64, 30190xfffffff03fffffffi64, 30200xfffffff07fffffffi64, 30210xfffffff0ffffffffi64, 30220xfffffff1ffffffffi64, 30230xfffffff3ffffffffi64, 30240xfffffff7ffffffffi64 3025}, 3026{ 30270xffffffe000000000i64, 30280xffffffe000000001i64, 30290xffffffe000000003i64, 30300xffffffe000000007i64, 30310xffffffe00000000fi64, 30320xffffffe00000001fi64, 30330xffffffe00000003fi64, 30340xffffffe00000007fi64, 30350xffffffe0000000ffi64, 30360xffffffe0000001ffi64, 30370xffffffe0000003ffi64, 30380xffffffe0000007ffi64, 30390xffffffe000000fffi64, 30400xffffffe000001fffi64, 30410xffffffe000003fffi64, 30420xffffffe000007fffi64, 30430xffffffe00000ffffi64, 30440xffffffe00001ffffi64, 30450xffffffe00003ffffi64, 30460xffffffe00007ffffi64, 30470xffffffe0000fffffi64, 30480xffffffe0001fffffi64, 30490xffffffe0003fffffi64, 30500xffffffe0007fffffi64, 30510xffffffe000ffffffi64, 30520xffffffe001ffffffi64, 30530xffffffe003ffffffi64, 30540xffffffe007ffffffi64, 30550xffffffe00fffffffi64, 30560xffffffe01fffffffi64, 30570xffffffe03fffffffi64, 30580xffffffe07fffffffi64, 30590xffffffe0ffffffffi64, 30600xffffffe1ffffffffi64, 30610xffffffe3ffffffffi64, 30620xffffffe7ffffffffi64, 30630xffffffefffffffffi64 3064}, 3065{ 30660xffffffc000000000i64, 30670xffffffc000000001i64, 30680xffffffc000000003i64, 30690xffffffc000000007i64, 30700xffffffc00000000fi64, 30710xffffffc00000001fi64, 30720xffffffc00000003fi64, 30730xffffffc00000007fi64, 30740xffffffc0000000ffi64, 30750xffffffc0000001ffi64, 30760xffffffc0000003ffi64, 30770xffffffc0000007ffi64, 30780xffffffc000000fffi64, 30790xffffffc000001fffi64, 30800xffffffc000003fffi64, 30810xffffffc000007fffi64, 30820xffffffc00000ffffi64, 30830xffffffc00001ffffi64, 30840xffffffc00003ffffi64, 30850xffffffc00007ffffi64, 30860xffffffc0000fffffi64, 30870xffffffc0001fffffi64, 30880xffffffc0003fffffi64, 30890xffffffc0007fffffi64, 30900xffffffc000ffffffi64, 30910xffffffc001ffffffi64, 30920xffffffc003ffffffi64, 30930xffffffc007ffffffi64, 30940xffffffc00fffffffi64, 30950xffffffc01fffffffi64, 30960xffffffc03fffffffi64, 30970xffffffc07fffffffi64, 30980xffffffc0ffffffffi64, 30990xffffffc1ffffffffi64, 31000xffffffc3ffffffffi64, 31010xffffffc7ffffffffi64, 31020xffffffcfffffffffi64, 31030xffffffdfffffffffi64 3104}, 3105{ 31060xffffff8000000000i64, 31070xffffff8000000001i64, 31080xffffff8000000003i64, 31090xffffff8000000007i64, 31100xffffff800000000fi64, 31110xffffff800000001fi64, 31120xffffff800000003fi64, 31130xffffff800000007fi64, 31140xffffff80000000ffi64, 31150xffffff80000001ffi64, 31160xffffff80000003ffi64, 31170xffffff80000007ffi64, 31180xffffff8000000fffi64, 31190xffffff8000001fffi64, 31200xffffff8000003fffi64, 31210xffffff8000007fffi64, 31220xffffff800000ffffi64, 31230xffffff800001ffffi64, 31240xffffff800003ffffi64, 31250xffffff800007ffffi64, 31260xffffff80000fffffi64, 31270xffffff80001fffffi64, 31280xffffff80003fffffi64, 31290xffffff80007fffffi64, 31300xffffff8000ffffffi64, 31310xffffff8001ffffffi64, 31320xffffff8003ffffffi64, 31330xffffff8007ffffffi64, 31340xffffff800fffffffi64, 31350xffffff801fffffffi64, 31360xffffff803fffffffi64, 31370xffffff807fffffffi64, 31380xffffff80ffffffffi64, 31390xffffff81ffffffffi64, 31400xffffff83ffffffffi64, 31410xffffff87ffffffffi64, 31420xffffff8fffffffffi64, 31430xffffff9fffffffffi64, 31440xffffffbfffffffffi64 3145}, 3146{ 31470xffffff0000000000i64, 31480xffffff0000000001i64, 31490xffffff0000000003i64, 31500xffffff0000000007i64, 31510xffffff000000000fi64, 31520xffffff000000001fi64, 31530xffffff000000003fi64, 31540xffffff000000007fi64, 31550xffffff00000000ffi64, 31560xffffff00000001ffi64, 31570xffffff00000003ffi64, 31580xffffff00000007ffi64, 31590xffffff0000000fffi64, 31600xffffff0000001fffi64, 31610xffffff0000003fffi64, 31620xffffff0000007fffi64, 31630xffffff000000ffffi64, 31640xffffff000001ffffi64, 31650xffffff000003ffffi64, 31660xffffff000007ffffi64, 31670xffffff00000fffffi64, 31680xffffff00001fffffi64, 31690xffffff00003fffffi64, 31700xffffff00007fffffi64, 31710xffffff0000ffffffi64, 31720xffffff0001ffffffi64, 31730xffffff0003ffffffi64, 31740xffffff0007ffffffi64, 31750xffffff000fffffffi64, 31760xffffff001fffffffi64, 31770xffffff003fffffffi64, 31780xffffff007fffffffi64, 31790xffffff00ffffffffi64, 31800xffffff01ffffffffi64, 31810xffffff03ffffffffi64, 31820xffffff07ffffffffi64, 31830xffffff0fffffffffi64, 31840xffffff1fffffffffi64, 31850xffffff3fffffffffi64, 31860xffffff7fffffffffi64 3187}, 3188{ 31890xfffffe0000000000i64, 31900xfffffe0000000001i64, 31910xfffffe0000000003i64, 31920xfffffe0000000007i64, 31930xfffffe000000000fi64, 31940xfffffe000000001fi64, 31950xfffffe000000003fi64, 31960xfffffe000000007fi64, 31970xfffffe00000000ffi64, 31980xfffffe00000001ffi64, 31990xfffffe00000003ffi64, 32000xfffffe00000007ffi64, 32010xfffffe0000000fffi64, 32020xfffffe0000001fffi64, 32030xfffffe0000003fffi64, 32040xfffffe0000007fffi64, 32050xfffffe000000ffffi64, 32060xfffffe000001ffffi64, 32070xfffffe000003ffffi64, 32080xfffffe000007ffffi64, 32090xfffffe00000fffffi64, 32100xfffffe00001fffffi64, 32110xfffffe00003fffffi64, 32120xfffffe00007fffffi64, 32130xfffffe0000ffffffi64, 32140xfffffe0001ffffffi64, 32150xfffffe0003ffffffi64, 32160xfffffe0007ffffffi64, 32170xfffffe000fffffffi64, 32180xfffffe001fffffffi64, 32190xfffffe003fffffffi64, 32200xfffffe007fffffffi64, 32210xfffffe00ffffffffi64, 32220xfffffe01ffffffffi64, 32230xfffffe03ffffffffi64, 32240xfffffe07ffffffffi64, 32250xfffffe0fffffffffi64, 32260xfffffe1fffffffffi64, 32270xfffffe3fffffffffi64, 32280xfffffe7fffffffffi64, 32290xfffffeffffffffffi64 3230}, 3231{ 32320xfffffc0000000000i64, 32330xfffffc0000000001i64, 32340xfffffc0000000003i64, 32350xfffffc0000000007i64, 32360xfffffc000000000fi64, 32370xfffffc000000001fi64, 32380xfffffc000000003fi64, 32390xfffffc000000007fi64, 32400xfffffc00000000ffi64, 32410xfffffc00000001ffi64, 32420xfffffc00000003ffi64, 32430xfffffc00000007ffi64, 32440xfffffc0000000fffi64, 32450xfffffc0000001fffi64, 32460xfffffc0000003fffi64, 32470xfffffc0000007fffi64, 32480xfffffc000000ffffi64, 32490xfffffc000001ffffi64, 32500xfffffc000003ffffi64, 32510xfffffc000007ffffi64, 32520xfffffc00000fffffi64, 32530xfffffc00001fffffi64, 32540xfffffc00003fffffi64, 32550xfffffc00007fffffi64, 32560xfffffc0000ffffffi64, 32570xfffffc0001ffffffi64, 32580xfffffc0003ffffffi64, 32590xfffffc0007ffffffi64, 32600xfffffc000fffffffi64, 32610xfffffc001fffffffi64, 32620xfffffc003fffffffi64, 32630xfffffc007fffffffi64, 32640xfffffc00ffffffffi64, 32650xfffffc01ffffffffi64, 32660xfffffc03ffffffffi64, 32670xfffffc07ffffffffi64, 32680xfffffc0fffffffffi64, 32690xfffffc1fffffffffi64, 32700xfffffc3fffffffffi64, 32710xfffffc7fffffffffi64, 32720xfffffcffffffffffi64, 32730xfffffdffffffffffi64 3274}, 3275{ 32760xfffff80000000000i64, 32770xfffff80000000001i64, 32780xfffff80000000003i64, 32790xfffff80000000007i64, 32800xfffff8000000000fi64, 32810xfffff8000000001fi64, 32820xfffff8000000003fi64, 32830xfffff8000000007fi64, 32840xfffff800000000ffi64, 32850xfffff800000001ffi64, 32860xfffff800000003ffi64, 32870xfffff800000007ffi64, 32880xfffff80000000fffi64, 32890xfffff80000001fffi64, 32900xfffff80000003fffi64, 32910xfffff80000007fffi64, 32920xfffff8000000ffffi64, 32930xfffff8000001ffffi64, 32940xfffff8000003ffffi64, 32950xfffff8000007ffffi64, 32960xfffff800000fffffi64, 32970xfffff800001fffffi64, 32980xfffff800003fffffi64, 32990xfffff800007fffffi64, 33000xfffff80000ffffffi64, 33010xfffff80001ffffffi64, 33020xfffff80003ffffffi64, 33030xfffff80007ffffffi64, 33040xfffff8000fffffffi64, 33050xfffff8001fffffffi64, 33060xfffff8003fffffffi64, 33070xfffff8007fffffffi64, 33080xfffff800ffffffffi64, 33090xfffff801ffffffffi64, 33100xfffff803ffffffffi64, 33110xfffff807ffffffffi64, 33120xfffff80fffffffffi64, 33130xfffff81fffffffffi64, 33140xfffff83fffffffffi64, 33150xfffff87fffffffffi64, 33160xfffff8ffffffffffi64, 33170xfffff9ffffffffffi64, 33180xfffffbffffffffffi64 3319}, 3320{ 33210xfffff00000000000i64, 33220xfffff00000000001i64, 33230xfffff00000000003i64, 33240xfffff00000000007i64, 33250xfffff0000000000fi64, 33260xfffff0000000001fi64, 33270xfffff0000000003fi64, 33280xfffff0000000007fi64, 33290xfffff000000000ffi64, 33300xfffff000000001ffi64, 33310xfffff000000003ffi64, 33320xfffff000000007ffi64, 33330xfffff00000000fffi64, 33340xfffff00000001fffi64, 33350xfffff00000003fffi64, 33360xfffff00000007fffi64, 33370xfffff0000000ffffi64, 33380xfffff0000001ffffi64, 33390xfffff0000003ffffi64, 33400xfffff0000007ffffi64, 33410xfffff000000fffffi64, 33420xfffff000001fffffi64, 33430xfffff000003fffffi64, 33440xfffff000007fffffi64, 33450xfffff00000ffffffi64, 33460xfffff00001ffffffi64, 33470xfffff00003ffffffi64, 33480xfffff00007ffffffi64, 33490xfffff0000fffffffi64, 33500xfffff0001fffffffi64, 33510xfffff0003fffffffi64, 33520xfffff0007fffffffi64, 33530xfffff000ffffffffi64, 33540xfffff001ffffffffi64, 33550xfffff003ffffffffi64, 33560xfffff007ffffffffi64, 33570xfffff00fffffffffi64, 33580xfffff01fffffffffi64, 33590xfffff03fffffffffi64, 33600xfffff07fffffffffi64, 33610xfffff0ffffffffffi64, 33620xfffff1ffffffffffi64, 33630xfffff3ffffffffffi64, 33640xfffff7ffffffffffi64 3365}, 3366{ 33670xffffe00000000000i64, 33680xffffe00000000001i64, 33690xffffe00000000003i64, 33700xffffe00000000007i64, 33710xffffe0000000000fi64, 33720xffffe0000000001fi64, 33730xffffe0000000003fi64, 33740xffffe0000000007fi64, 33750xffffe000000000ffi64, 33760xffffe000000001ffi64, 33770xffffe000000003ffi64, 33780xffffe000000007ffi64, 33790xffffe00000000fffi64, 33800xffffe00000001fffi64, 33810xffffe00000003fffi64, 33820xffffe00000007fffi64, 33830xffffe0000000ffffi64, 33840xffffe0000001ffffi64, 33850xffffe0000003ffffi64, 33860xffffe0000007ffffi64, 33870xffffe000000fffffi64, 33880xffffe000001fffffi64, 33890xffffe000003fffffi64, 33900xffffe000007fffffi64, 33910xffffe00000ffffffi64, 33920xffffe00001ffffffi64, 33930xffffe00003ffffffi64, 33940xffffe00007ffffffi64, 33950xffffe0000fffffffi64, 33960xffffe0001fffffffi64, 33970xffffe0003fffffffi64, 33980xffffe0007fffffffi64, 33990xffffe000ffffffffi64, 34000xffffe001ffffffffi64, 34010xffffe003ffffffffi64, 34020xffffe007ffffffffi64, 34030xffffe00fffffffffi64, 34040xffffe01fffffffffi64, 34050xffffe03fffffffffi64, 34060xffffe07fffffffffi64, 34070xffffe0ffffffffffi64, 34080xffffe1ffffffffffi64, 34090xffffe3ffffffffffi64, 34100xffffe7ffffffffffi64, 34110xffffefffffffffffi64 3412}, 3413{ 34140xffffc00000000000i64, 34150xffffc00000000001i64, 34160xffffc00000000003i64, 34170xffffc00000000007i64, 34180xffffc0000000000fi64, 34190xffffc0000000001fi64, 34200xffffc0000000003fi64, 34210xffffc0000000007fi64, 34220xffffc000000000ffi64, 34230xffffc000000001ffi64, 34240xffffc000000003ffi64, 34250xffffc000000007ffi64, 34260xffffc00000000fffi64, 34270xffffc00000001fffi64, 34280xffffc00000003fffi64, 34290xffffc00000007fffi64, 34300xffffc0000000ffffi64, 34310xffffc0000001ffffi64, 34320xffffc0000003ffffi64, 34330xffffc0000007ffffi64, 34340xffffc000000fffffi64, 34350xffffc000001fffffi64, 34360xffffc000003fffffi64, 34370xffffc000007fffffi64, 34380xffffc00000ffffffi64, 34390xffffc00001ffffffi64, 34400xffffc00003ffffffi64, 34410xffffc00007ffffffi64, 34420xffffc0000fffffffi64, 34430xffffc0001fffffffi64, 34440xffffc0003fffffffi64, 34450xffffc0007fffffffi64, 34460xffffc000ffffffffi64, 34470xffffc001ffffffffi64, 34480xffffc003ffffffffi64, 34490xffffc007ffffffffi64, 34500xffffc00fffffffffi64, 34510xffffc01fffffffffi64, 34520xffffc03fffffffffi64, 34530xffffc07fffffffffi64, 34540xffffc0ffffffffffi64, 34550xffffc1ffffffffffi64, 34560xffffc3ffffffffffi64, 34570xffffc7ffffffffffi64, 34580xffffcfffffffffffi64, 34590xffffdfffffffffffi64 3460}, 3461{ 34620xffff800000000000i64, 34630xffff800000000001i64, 34640xffff800000000003i64, 34650xffff800000000007i64, 34660xffff80000000000fi64, 34670xffff80000000001fi64, 34680xffff80000000003fi64, 34690xffff80000000007fi64, 34700xffff8000000000ffi64, 34710xffff8000000001ffi64, 34720xffff8000000003ffi64, 34730xffff8000000007ffi64, 34740xffff800000000fffi64, 34750xffff800000001fffi64, 34760xffff800000003fffi64, 34770xffff800000007fffi64, 34780xffff80000000ffffi64, 34790xffff80000001ffffi64, 34800xffff80000003ffffi64, 34810xffff80000007ffffi64, 34820xffff8000000fffffi64, 34830xffff8000001fffffi64, 34840xffff8000003fffffi64, 34850xffff8000007fffffi64, 34860xffff800000ffffffi64, 34870xffff800001ffffffi64, 34880xffff800003ffffffi64, 34890xffff800007ffffffi64, 34900xffff80000fffffffi64, 34910xffff80001fffffffi64, 34920xffff80003fffffffi64, 34930xffff80007fffffffi64, 34940xffff8000ffffffffi64, 34950xffff8001ffffffffi64, 34960xffff8003ffffffffi64, 34970xffff8007ffffffffi64, 34980xffff800fffffffffi64, 34990xffff801fffffffffi64, 35000xffff803fffffffffi64, 35010xffff807fffffffffi64, 35020xffff80ffffffffffi64, 35030xffff81ffffffffffi64, 35040xffff83ffffffffffi64, 35050xffff87ffffffffffi64, 35060xffff8fffffffffffi64, 35070xffff9fffffffffffi64, 35080xffffbfffffffffffi64 3509}, 3510{ 35110xffff000000000000i64, 35120xffff000000000001i64, 35130xffff000000000003i64, 35140xffff000000000007i64, 35150xffff00000000000fi64, 35160xffff00000000001fi64, 35170xffff00000000003fi64, 35180xffff00000000007fi64, 35190xffff0000000000ffi64, 35200xffff0000000001ffi64, 35210xffff0000000003ffi64, 35220xffff0000000007ffi64, 35230xffff000000000fffi64, 35240xffff000000001fffi64, 35250xffff000000003fffi64, 35260xffff000000007fffi64, 35270xffff00000000ffffi64, 35280xffff00000001ffffi64, 35290xffff00000003ffffi64, 35300xffff00000007ffffi64, 35310xffff0000000fffffi64, 35320xffff0000001fffffi64, 35330xffff0000003fffffi64, 35340xffff0000007fffffi64, 35350xffff000000ffffffi64, 35360xffff000001ffffffi64, 35370xffff000003ffffffi64, 35380xffff000007ffffffi64, 35390xffff00000fffffffi64, 35400xffff00001fffffffi64, 35410xffff00003fffffffi64, 35420xffff00007fffffffi64, 35430xffff0000ffffffffi64, 35440xffff0001ffffffffi64, 35450xffff0003ffffffffi64, 35460xffff0007ffffffffi64, 35470xffff000fffffffffi64, 35480xffff001fffffffffi64, 35490xffff003fffffffffi64, 35500xffff007fffffffffi64, 35510xffff00ffffffffffi64, 35520xffff01ffffffffffi64, 35530xffff03ffffffffffi64, 35540xffff07ffffffffffi64, 35550xffff0fffffffffffi64, 35560xffff1fffffffffffi64, 35570xffff3fffffffffffi64, 35580xffff7fffffffffffi64 3559}, 3560{ 35610xfffe000000000000i64, 35620xfffe000000000001i64, 35630xfffe000000000003i64, 35640xfffe000000000007i64, 35650xfffe00000000000fi64, 35660xfffe00000000001fi64, 35670xfffe00000000003fi64, 35680xfffe00000000007fi64, 35690xfffe0000000000ffi64, 35700xfffe0000000001ffi64, 35710xfffe0000000003ffi64, 35720xfffe0000000007ffi64, 35730xfffe000000000fffi64, 35740xfffe000000001fffi64, 35750xfffe000000003fffi64, 35760xfffe000000007fffi64, 35770xfffe00000000ffffi64, 35780xfffe00000001ffffi64, 35790xfffe00000003ffffi64, 35800xfffe00000007ffffi64, 35810xfffe0000000fffffi64, 35820xfffe0000001fffffi64, 35830xfffe0000003fffffi64, 35840xfffe0000007fffffi64, 35850xfffe000000ffffffi64, 35860xfffe000001ffffffi64, 35870xfffe000003ffffffi64, 35880xfffe000007ffffffi64, 35890xfffe00000fffffffi64, 35900xfffe00001fffffffi64, 35910xfffe00003fffffffi64, 35920xfffe00007fffffffi64, 35930xfffe0000ffffffffi64, 35940xfffe0001ffffffffi64, 35950xfffe0003ffffffffi64, 35960xfffe0007ffffffffi64, 35970xfffe000fffffffffi64, 35980xfffe001fffffffffi64, 35990xfffe003fffffffffi64, 36000xfffe007fffffffffi64, 36010xfffe00ffffffffffi64, 36020xfffe01ffffffffffi64, 36030xfffe03ffffffffffi64, 36040xfffe07ffffffffffi64, 36050xfffe0fffffffffffi64, 36060xfffe1fffffffffffi64, 36070xfffe3fffffffffffi64, 36080xfffe7fffffffffffi64, 36090xfffeffffffffffffi64 3610}, 3611{ 36120xfffc000000000000i64, 36130xfffc000000000001i64, 36140xfffc000000000003i64, 36150xfffc000000000007i64, 36160xfffc00000000000fi64, 36170xfffc00000000001fi64, 36180xfffc00000000003fi64, 36190xfffc00000000007fi64, 36200xfffc0000000000ffi64, 36210xfffc0000000001ffi64, 36220xfffc0000000003ffi64, 36230xfffc0000000007ffi64, 36240xfffc000000000fffi64, 36250xfffc000000001fffi64, 36260xfffc000000003fffi64, 36270xfffc000000007fffi64, 36280xfffc00000000ffffi64, 36290xfffc00000001ffffi64, 36300xfffc00000003ffffi64, 36310xfffc00000007ffffi64, 36320xfffc0000000fffffi64, 36330xfffc0000001fffffi64, 36340xfffc0000003fffffi64, 36350xfffc0000007fffffi64, 36360xfffc000000ffffffi64, 36370xfffc000001ffffffi64, 36380xfffc000003ffffffi64, 36390xfffc000007ffffffi64, 36400xfffc00000fffffffi64, 36410xfffc00001fffffffi64, 36420xfffc00003fffffffi64, 36430xfffc00007fffffffi64, 36440xfffc0000ffffffffi64, 36450xfffc0001ffffffffi64, 36460xfffc0003ffffffffi64, 36470xfffc0007ffffffffi64, 36480xfffc000fffffffffi64, 36490xfffc001fffffffffi64, 36500xfffc003fffffffffi64, 36510xfffc007fffffffffi64, 36520xfffc00ffffffffffi64, 36530xfffc01ffffffffffi64, 36540xfffc03ffffffffffi64, 36550xfffc07ffffffffffi64, 36560xfffc0fffffffffffi64, 36570xfffc1fffffffffffi64, 36580xfffc3fffffffffffi64, 36590xfffc7fffffffffffi64, 36600xfffcffffffffffffi64, 36610xfffdffffffffffffi64 3662}, 3663{ 36640xfff8000000000000i64, 36650xfff8000000000001i64, 36660xfff8000000000003i64, 36670xfff8000000000007i64, 36680xfff800000000000fi64, 36690xfff800000000001fi64, 36700xfff800000000003fi64, 36710xfff800000000007fi64, 36720xfff80000000000ffi64, 36730xfff80000000001ffi64, 36740xfff80000000003ffi64, 36750xfff80000000007ffi64, 36760xfff8000000000fffi64, 36770xfff8000000001fffi64, 36780xfff8000000003fffi64, 36790xfff8000000007fffi64, 36800xfff800000000ffffi64, 36810xfff800000001ffffi64, 36820xfff800000003ffffi64, 36830xfff800000007ffffi64, 36840xfff80000000fffffi64, 36850xfff80000001fffffi64, 36860xfff80000003fffffi64, 36870xfff80000007fffffi64, 36880xfff8000000ffffffi64, 36890xfff8000001ffffffi64, 36900xfff8000003ffffffi64, 36910xfff8000007ffffffi64, 36920xfff800000fffffffi64, 36930xfff800001fffffffi64, 36940xfff800003fffffffi64, 36950xfff800007fffffffi64, 36960xfff80000ffffffffi64, 36970xfff80001ffffffffi64, 36980xfff80003ffffffffi64, 36990xfff80007ffffffffi64, 37000xfff8000fffffffffi64, 37010xfff8001fffffffffi64, 37020xfff8003fffffffffi64, 37030xfff8007fffffffffi64, 37040xfff800ffffffffffi64, 37050xfff801ffffffffffi64, 37060xfff803ffffffffffi64, 37070xfff807ffffffffffi64, 37080xfff80fffffffffffi64, 37090xfff81fffffffffffi64, 37100xfff83fffffffffffi64, 37110xfff87fffffffffffi64, 37120xfff8ffffffffffffi64, 37130xfff9ffffffffffffi64, 37140xfffbffffffffffffi64 3715}, 3716{ 37170xfff0000000000000i64, 37180xfff0000000000001i64, 37190xfff0000000000003i64, 37200xfff0000000000007i64, 37210xfff000000000000fi64, 37220xfff000000000001fi64, 37230xfff000000000003fi64, 37240xfff000000000007fi64, 37250xfff00000000000ffi64, 37260xfff00000000001ffi64, 37270xfff00000000003ffi64, 37280xfff00000000007ffi64, 37290xfff0000000000fffi64, 37300xfff0000000001fffi64, 37310xfff0000000003fffi64, 37320xfff0000000007fffi64, 37330xfff000000000ffffi64, 37340xfff000000001ffffi64, 37350xfff000000003ffffi64, 37360xfff000000007ffffi64, 37370xfff00000000fffffi64, 37380xfff00000001fffffi64, 37390xfff00000003fffffi64, 37400xfff00000007fffffi64, 37410xfff0000000ffffffi64, 37420xfff0000001ffffffi64, 37430xfff0000003ffffffi64, 37440xfff0000007ffffffi64, 37450xfff000000fffffffi64, 37460xfff000001fffffffi64, 37470xfff000003fffffffi64, 37480xfff000007fffffffi64, 37490xfff00000ffffffffi64, 37500xfff00001ffffffffi64, 37510xfff00003ffffffffi64, 37520xfff00007ffffffffi64, 37530xfff0000fffffffffi64, 37540xfff0001fffffffffi64, 37550xfff0003fffffffffi64, 37560xfff0007fffffffffi64, 37570xfff000ffffffffffi64, 37580xfff001ffffffffffi64, 37590xfff003ffffffffffi64, 37600xfff007ffffffffffi64, 37610xfff00fffffffffffi64, 37620xfff01fffffffffffi64, 37630xfff03fffffffffffi64, 37640xfff07fffffffffffi64, 37650xfff0ffffffffffffi64, 37660xfff1ffffffffffffi64, 37670xfff3ffffffffffffi64, 37680xfff7ffffffffffffi64 3769}, 3770{ 37710xffe0000000000000i64, 37720xffe0000000000001i64, 37730xffe0000000000003i64, 37740xffe0000000000007i64, 37750xffe000000000000fi64, 37760xffe000000000001fi64, 37770xffe000000000003fi64, 37780xffe000000000007fi64, 37790xffe00000000000ffi64, 37800xffe00000000001ffi64, 37810xffe00000000003ffi64, 37820xffe00000000007ffi64, 37830xffe0000000000fffi64, 37840xffe0000000001fffi64, 37850xffe0000000003fffi64, 37860xffe0000000007fffi64, 37870xffe000000000ffffi64, 37880xffe000000001ffffi64, 37890xffe000000003ffffi64, 37900xffe000000007ffffi64, 37910xffe00000000fffffi64, 37920xffe00000001fffffi64, 37930xffe00000003fffffi64, 37940xffe00000007fffffi64, 37950xffe0000000ffffffi64, 37960xffe0000001ffffffi64, 37970xffe0000003ffffffi64, 37980xffe0000007ffffffi64, 37990xffe000000fffffffi64, 38000xffe000001fffffffi64, 38010xffe000003fffffffi64, 38020xffe000007fffffffi64, 38030xffe00000ffffffffi64, 38040xffe00001ffffffffi64, 38050xffe00003ffffffffi64, 38060xffe00007ffffffffi64, 38070xffe0000fffffffffi64, 38080xffe0001fffffffffi64, 38090xffe0003fffffffffi64, 38100xffe0007fffffffffi64, 38110xffe000ffffffffffi64, 38120xffe001ffffffffffi64, 38130xffe003ffffffffffi64, 38140xffe007ffffffffffi64, 38150xffe00fffffffffffi64, 38160xffe01fffffffffffi64, 38170xffe03fffffffffffi64, 38180xffe07fffffffffffi64, 38190xffe0ffffffffffffi64, 38200xffe1ffffffffffffi64, 38210xffe3ffffffffffffi64, 38220xffe7ffffffffffffi64, 38230xffefffffffffffffi64 3824}, 3825{ 38260xffc0000000000000i64, 38270xffc0000000000001i64, 38280xffc0000000000003i64, 38290xffc0000000000007i64, 38300xffc000000000000fi64, 38310xffc000000000001fi64, 38320xffc000000000003fi64, 38330xffc000000000007fi64, 38340xffc00000000000ffi64, 38350xffc00000000001ffi64, 38360xffc00000000003ffi64, 38370xffc00000000007ffi64, 38380xffc0000000000fffi64, 38390xffc0000000001fffi64, 38400xffc0000000003fffi64, 38410xffc0000000007fffi64, 38420xffc000000000ffffi64, 38430xffc000000001ffffi64, 38440xffc000000003ffffi64, 38450xffc000000007ffffi64, 38460xffc00000000fffffi64, 38470xffc00000001fffffi64, 38480xffc00000003fffffi64, 38490xffc00000007fffffi64, 38500xffc0000000ffffffi64, 38510xffc0000001ffffffi64, 38520xffc0000003ffffffi64, 38530xffc0000007ffffffi64, 38540xffc000000fffffffi64, 38550xffc000001fffffffi64, 38560xffc000003fffffffi64, 38570xffc000007fffffffi64, 38580xffc00000ffffffffi64, 38590xffc00001ffffffffi64, 38600xffc00003ffffffffi64, 38610xffc00007ffffffffi64, 38620xffc0000fffffffffi64, 38630xffc0001fffffffffi64, 38640xffc0003fffffffffi64, 38650xffc0007fffffffffi64, 38660xffc000ffffffffffi64, 38670xffc001ffffffffffi64, 38680xffc003ffffffffffi64, 38690xffc007ffffffffffi64, 38700xffc00fffffffffffi64, 38710xffc01fffffffffffi64, 38720xffc03fffffffffffi64, 38730xffc07fffffffffffi64, 38740xffc0ffffffffffffi64, 38750xffc1ffffffffffffi64, 38760xffc3ffffffffffffi64, 38770xffc7ffffffffffffi64, 38780xffcfffffffffffffi64, 38790xffdfffffffffffffi64 3880}, 3881{ 38820xff80000000000000i64, 38830xff80000000000001i64, 38840xff80000000000003i64, 38850xff80000000000007i64, 38860xff8000000000000fi64, 38870xff8000000000001fi64, 38880xff8000000000003fi64, 38890xff8000000000007fi64, 38900xff800000000000ffi64, 38910xff800000000001ffi64, 38920xff800000000003ffi64, 38930xff800000000007ffi64, 38940xff80000000000fffi64, 38950xff80000000001fffi64, 38960xff80000000003fffi64, 38970xff80000000007fffi64, 38980xff8000000000ffffi64, 38990xff8000000001ffffi64, 39000xff8000000003ffffi64, 39010xff8000000007ffffi64, 39020xff800000000fffffi64, 39030xff800000001fffffi64, 39040xff800000003fffffi64, 39050xff800000007fffffi64, 39060xff80000000ffffffi64, 39070xff80000001ffffffi64, 39080xff80000003ffffffi64, 39090xff80000007ffffffi64, 39100xff8000000fffffffi64, 39110xff8000001fffffffi64, 39120xff8000003fffffffi64, 39130xff8000007fffffffi64, 39140xff800000ffffffffi64, 39150xff800001ffffffffi64, 39160xff800003ffffffffi64, 39170xff800007ffffffffi64, 39180xff80000fffffffffi64, 39190xff80001fffffffffi64, 39200xff80003fffffffffi64, 39210xff80007fffffffffi64, 39220xff8000ffffffffffi64, 39230xff8001ffffffffffi64, 39240xff8003ffffffffffi64, 39250xff8007ffffffffffi64, 39260xff800fffffffffffi64, 39270xff801fffffffffffi64, 39280xff803fffffffffffi64, 39290xff807fffffffffffi64, 39300xff80ffffffffffffi64, 39310xff81ffffffffffffi64, 39320xff83ffffffffffffi64, 39330xff87ffffffffffffi64, 39340xff8fffffffffffffi64, 39350xff9fffffffffffffi64, 39360xffbfffffffffffffi64 3937}, 3938{ 39390xff00000000000000i64, 39400xff00000000000001i64, 39410xff00000000000003i64, 39420xff00000000000007i64, 39430xff0000000000000fi64, 39440xff0000000000001fi64, 39450xff0000000000003fi64, 39460xff0000000000007fi64, 39470xff000000000000ffi64, 39480xff000000000001ffi64, 39490xff000000000003ffi64, 39500xff000000000007ffi64, 39510xff00000000000fffi64, 39520xff00000000001fffi64, 39530xff00000000003fffi64, 39540xff00000000007fffi64, 39550xff0000000000ffffi64, 39560xff0000000001ffffi64, 39570xff0000000003ffffi64, 39580xff0000000007ffffi64, 39590xff000000000fffffi64, 39600xff000000001fffffi64, 39610xff000000003fffffi64, 39620xff000000007fffffi64, 39630xff00000000ffffffi64, 39640xff00000001ffffffi64, 39650xff00000003ffffffi64, 39660xff00000007ffffffi64, 39670xff0000000fffffffi64, 39680xff0000001fffffffi64, 39690xff0000003fffffffi64, 39700xff0000007fffffffi64, 39710xff000000ffffffffi64, 39720xff000001ffffffffi64, 39730xff000003ffffffffi64, 39740xff000007ffffffffi64, 39750xff00000fffffffffi64, 39760xff00001fffffffffi64, 39770xff00003fffffffffi64, 39780xff00007fffffffffi64, 39790xff0000ffffffffffi64, 39800xff0001ffffffffffi64, 39810xff0003ffffffffffi64, 39820xff0007ffffffffffi64, 39830xff000fffffffffffi64, 39840xff001fffffffffffi64, 39850xff003fffffffffffi64, 39860xff007fffffffffffi64, 39870xff00ffffffffffffi64, 39880xff01ffffffffffffi64, 39890xff03ffffffffffffi64, 39900xff07ffffffffffffi64, 39910xff0fffffffffffffi64, 39920xff1fffffffffffffi64, 39930xff3fffffffffffffi64, 39940xff7fffffffffffffi64 3995}, 3996{ 39970xfe00000000000000i64, 39980xfe00000000000001i64, 39990xfe00000000000003i64, 40000xfe00000000000007i64, 40010xfe0000000000000fi64, 40020xfe0000000000001fi64, 40030xfe0000000000003fi64, 40040xfe0000000000007fi64, 40050xfe000000000000ffi64, 40060xfe000000000001ffi64, 40070xfe000000000003ffi64, 40080xfe000000000007ffi64, 40090xfe00000000000fffi64, 40100xfe00000000001fffi64, 40110xfe00000000003fffi64, 40120xfe00000000007fffi64, 40130xfe0000000000ffffi64, 40140xfe0000000001ffffi64, 40150xfe0000000003ffffi64, 40160xfe0000000007ffffi64, 40170xfe000000000fffffi64, 40180xfe000000001fffffi64, 40190xfe000000003fffffi64, 40200xfe000000007fffffi64, 40210xfe00000000ffffffi64, 40220xfe00000001ffffffi64, 40230xfe00000003ffffffi64, 40240xfe00000007ffffffi64, 40250xfe0000000fffffffi64, 40260xfe0000001fffffffi64, 40270xfe0000003fffffffi64, 40280xfe0000007fffffffi64, 40290xfe000000ffffffffi64, 40300xfe000001ffffffffi64, 40310xfe000003ffffffffi64, 40320xfe000007ffffffffi64, 40330xfe00000fffffffffi64, 40340xfe00001fffffffffi64, 40350xfe00003fffffffffi64, 40360xfe00007fffffffffi64, 40370xfe0000ffffffffffi64, 40380xfe0001ffffffffffi64, 40390xfe0003ffffffffffi64, 40400xfe0007ffffffffffi64, 40410xfe000fffffffffffi64, 40420xfe001fffffffffffi64, 40430xfe003fffffffffffi64, 40440xfe007fffffffffffi64, 40450xfe00ffffffffffffi64, 40460xfe01ffffffffffffi64, 40470xfe03ffffffffffffi64, 40480xfe07ffffffffffffi64, 40490xfe0fffffffffffffi64, 40500xfe1fffffffffffffi64, 40510xfe3fffffffffffffi64, 40520xfe7fffffffffffffi64, 40530xfeffffffffffffffi64 4054}, 4055{ 40560xfc00000000000000i64, 40570xfc00000000000001i64, 40580xfc00000000000003i64, 40590xfc00000000000007i64, 40600xfc0000000000000fi64, 40610xfc0000000000001fi64, 40620xfc0000000000003fi64, 40630xfc0000000000007fi64, 40640xfc000000000000ffi64, 40650xfc000000000001ffi64, 40660xfc000000000003ffi64, 40670xfc000000000007ffi64, 40680xfc00000000000fffi64, 40690xfc00000000001fffi64, 40700xfc00000000003fffi64, 40710xfc00000000007fffi64, 40720xfc0000000000ffffi64, 40730xfc0000000001ffffi64, 40740xfc0000000003ffffi64, 40750xfc0000000007ffffi64, 40760xfc000000000fffffi64, 40770xfc000000001fffffi64, 40780xfc000000003fffffi64, 40790xfc000000007fffffi64, 40800xfc00000000ffffffi64, 40810xfc00000001ffffffi64, 40820xfc00000003ffffffi64, 40830xfc00000007ffffffi64, 40840xfc0000000fffffffi64, 40850xfc0000001fffffffi64, 40860xfc0000003fffffffi64, 40870xfc0000007fffffffi64, 40880xfc000000ffffffffi64, 40890xfc000001ffffffffi64, 40900xfc000003ffffffffi64, 40910xfc000007ffffffffi64, 40920xfc00000fffffffffi64, 40930xfc00001fffffffffi64, 40940xfc00003fffffffffi64, 40950xfc00007fffffffffi64, 40960xfc0000ffffffffffi64, 40970xfc0001ffffffffffi64, 40980xfc0003ffffffffffi64, 40990xfc0007ffffffffffi64, 41000xfc000fffffffffffi64, 41010xfc001fffffffffffi64, 41020xfc003fffffffffffi64, 41030xfc007fffffffffffi64, 41040xfc00ffffffffffffi64, 41050xfc01ffffffffffffi64, 41060xfc03ffffffffffffi64, 41070xfc07ffffffffffffi64, 41080xfc0fffffffffffffi64, 41090xfc1fffffffffffffi64, 41100xfc3fffffffffffffi64, 41110xfc7fffffffffffffi64, 41120xfcffffffffffffffi64, 41130xfdffffffffffffffi64 4114}, 4115{ 41160xf800000000000000i64, 41170xf800000000000001i64, 41180xf800000000000003i64, 41190xf800000000000007i64, 41200xf80000000000000fi64, 41210xf80000000000001fi64, 41220xf80000000000003fi64, 41230xf80000000000007fi64, 41240xf8000000000000ffi64, 41250xf8000000000001ffi64, 41260xf8000000000003ffi64, 41270xf8000000000007ffi64, 41280xf800000000000fffi64, 41290xf800000000001fffi64, 41300xf800000000003fffi64, 41310xf800000000007fffi64, 41320xf80000000000ffffi64, 41330xf80000000001ffffi64, 41340xf80000000003ffffi64, 41350xf80000000007ffffi64, 41360xf8000000000fffffi64, 41370xf8000000001fffffi64, 41380xf8000000003fffffi64, 41390xf8000000007fffffi64, 41400xf800000000ffffffi64, 41410xf800000001ffffffi64, 41420xf800000003ffffffi64, 41430xf800000007ffffffi64, 41440xf80000000fffffffi64, 41450xf80000001fffffffi64, 41460xf80000003fffffffi64, 41470xf80000007fffffffi64, 41480xf8000000ffffffffi64, 41490xf8000001ffffffffi64, 41500xf8000003ffffffffi64, 41510xf8000007ffffffffi64, 41520xf800000fffffffffi64, 41530xf800001fffffffffi64, 41540xf800003fffffffffi64, 41550xf800007fffffffffi64, 41560xf80000ffffffffffi64, 41570xf80001ffffffffffi64, 41580xf80003ffffffffffi64, 41590xf80007ffffffffffi64, 41600xf8000fffffffffffi64, 41610xf8001fffffffffffi64, 41620xf8003fffffffffffi64, 41630xf8007fffffffffffi64, 41640xf800ffffffffffffi64, 41650xf801ffffffffffffi64, 41660xf803ffffffffffffi64, 41670xf807ffffffffffffi64, 41680xf80fffffffffffffi64, 41690xf81fffffffffffffi64, 41700xf83fffffffffffffi64, 41710xf87fffffffffffffi64, 41720xf8ffffffffffffffi64, 41730xf9ffffffffffffffi64, 41740xfbffffffffffffffi64 4175}, 4176{ 41770xf000000000000000i64, 41780xf000000000000001i64, 41790xf000000000000003i64, 41800xf000000000000007i64, 41810xf00000000000000fi64, 41820xf00000000000001fi64, 41830xf00000000000003fi64, 41840xf00000000000007fi64, 41850xf0000000000000ffi64, 41860xf0000000000001ffi64, 41870xf0000000000003ffi64, 41880xf0000000000007ffi64, 41890xf000000000000fffi64, 41900xf000000000001fffi64, 41910xf000000000003fffi64, 41920xf000000000007fffi64, 41930xf00000000000ffffi64, 41940xf00000000001ffffi64, 41950xf00000000003ffffi64, 41960xf00000000007ffffi64, 41970xf0000000000fffffi64, 41980xf0000000001fffffi64, 41990xf0000000003fffffi64, 42000xf0000000007fffffi64, 42010xf000000000ffffffi64, 42020xf000000001ffffffi64, 42030xf000000003ffffffi64, 42040xf000000007ffffffi64, 42050xf00000000fffffffi64, 42060xf00000001fffffffi64, 42070xf00000003fffffffi64, 42080xf00000007fffffffi64, 42090xf0000000ffffffffi64, 42100xf0000001ffffffffi64, 42110xf0000003ffffffffi64, 42120xf0000007ffffffffi64, 42130xf000000fffffffffi64, 42140xf000001fffffffffi64, 42150xf000003fffffffffi64, 42160xf000007fffffffffi64, 42170xf00000ffffffffffi64, 42180xf00001ffffffffffi64, 42190xf00003ffffffffffi64, 42200xf00007ffffffffffi64, 42210xf0000fffffffffffi64, 42220xf0001fffffffffffi64, 42230xf0003fffffffffffi64, 42240xf0007fffffffffffi64, 42250xf000ffffffffffffi64, 42260xf001ffffffffffffi64, 42270xf003ffffffffffffi64, 42280xf007ffffffffffffi64, 42290xf00fffffffffffffi64, 42300xf01fffffffffffffi64, 42310xf03fffffffffffffi64, 42320xf07fffffffffffffi64, 42330xf0ffffffffffffffi64, 42340xf1ffffffffffffffi64, 42350xf3ffffffffffffffi64, 42360xf7ffffffffffffffi64 4237}, 4238{ 42390xe000000000000000i64, 42400xe000000000000001i64, 42410xe000000000000003i64, 42420xe000000000000007i64, 42430xe00000000000000fi64, 42440xe00000000000001fi64, 42450xe00000000000003fi64, 42460xe00000000000007fi64, 42470xe0000000000000ffi64, 42480xe0000000000001ffi64, 42490xe0000000000003ffi64, 42500xe0000000000007ffi64, 42510xe000000000000fffi64, 42520xe000000000001fffi64, 42530xe000000000003fffi64, 42540xe000000000007fffi64, 42550xe00000000000ffffi64, 42560xe00000000001ffffi64, 42570xe00000000003ffffi64, 42580xe00000000007ffffi64, 42590xe0000000000fffffi64, 42600xe0000000001fffffi64, 42610xe0000000003fffffi64, 42620xe0000000007fffffi64, 42630xe000000000ffffffi64, 42640xe000000001ffffffi64, 42650xe000000003ffffffi64, 42660xe000000007ffffffi64, 42670xe00000000fffffffi64, 42680xe00000001fffffffi64, 42690xe00000003fffffffi64, 42700xe00000007fffffffi64, 42710xe0000000ffffffffi64, 42720xe0000001ffffffffi64, 42730xe0000003ffffffffi64, 42740xe0000007ffffffffi64, 42750xe000000fffffffffi64, 42760xe000001fffffffffi64, 42770xe000003fffffffffi64, 42780xe000007fffffffffi64, 42790xe00000ffffffffffi64, 42800xe00001ffffffffffi64, 42810xe00003ffffffffffi64, 42820xe00007ffffffffffi64, 42830xe0000fffffffffffi64, 42840xe0001fffffffffffi64, 42850xe0003fffffffffffi64, 42860xe0007fffffffffffi64, 42870xe000ffffffffffffi64, 42880xe001ffffffffffffi64, 42890xe003ffffffffffffi64, 42900xe007ffffffffffffi64, 42910xe00fffffffffffffi64, 42920xe01fffffffffffffi64, 42930xe03fffffffffffffi64, 42940xe07fffffffffffffi64, 42950xe0ffffffffffffffi64, 42960xe1ffffffffffffffi64, 42970xe3ffffffffffffffi64, 42980xe7ffffffffffffffi64, 42990xefffffffffffffffi64 4300}, 4301{ 43020xc000000000000000i64, 43030xc000000000000001i64, 43040xc000000000000003i64, 43050xc000000000000007i64, 43060xc00000000000000fi64, 43070xc00000000000001fi64, 43080xc00000000000003fi64, 43090xc00000000000007fi64, 43100xc0000000000000ffi64, 43110xc0000000000001ffi64, 43120xc0000000000003ffi64, 43130xc0000000000007ffi64, 43140xc000000000000fffi64, 43150xc000000000001fffi64, 43160xc000000000003fffi64, 43170xc000000000007fffi64, 43180xc00000000000ffffi64, 43190xc00000000001ffffi64, 43200xc00000000003ffffi64, 43210xc00000000007ffffi64, 43220xc0000000000fffffi64, 43230xc0000000001fffffi64, 43240xc0000000003fffffi64, 43250xc0000000007fffffi64, 43260xc000000000ffffffi64, 43270xc000000001ffffffi64, 43280xc000000003ffffffi64, 43290xc000000007ffffffi64, 43300xc00000000fffffffi64, 43310xc00000001fffffffi64, 43320xc00000003fffffffi64, 43330xc00000007fffffffi64, 43340xc0000000ffffffffi64, 43350xc0000001ffffffffi64, 43360xc0000003ffffffffi64, 43370xc0000007ffffffffi64, 43380xc000000fffffffffi64, 43390xc000001fffffffffi64, 43400xc000003fffffffffi64, 43410xc000007fffffffffi64, 43420xc00000ffffffffffi64, 43430xc00001ffffffffffi64, 43440xc00003ffffffffffi64, 43450xc00007ffffffffffi64, 43460xc0000fffffffffffi64, 43470xc0001fffffffffffi64, 43480xc0003fffffffffffi64, 43490xc0007fffffffffffi64, 43500xc000ffffffffffffi64, 43510xc001ffffffffffffi64, 43520xc003ffffffffffffi64, 43530xc007ffffffffffffi64, 43540xc00fffffffffffffi64, 43550xc01fffffffffffffi64, 43560xc03fffffffffffffi64, 43570xc07fffffffffffffi64, 43580xc0ffffffffffffffi64, 43590xc1ffffffffffffffi64, 43600xc3ffffffffffffffi64, 43610xc7ffffffffffffffi64, 43620xcfffffffffffffffi64, 43630xdfffffffffffffffi64 4364}, 4365{ 43660x8000000000000000i64, 43670x8000000000000001i64, 43680x8000000000000003i64, 43690x8000000000000007i64, 43700x800000000000000fi64, 43710x800000000000001fi64, 43720x800000000000003fi64, 43730x800000000000007fi64, 43740x80000000000000ffi64, 43750x80000000000001ffi64, 43760x80000000000003ffi64, 43770x80000000000007ffi64, 43780x8000000000000fffi64, 43790x8000000000001fffi64, 43800x8000000000003fffi64, 43810x8000000000007fffi64, 43820x800000000000ffffi64, 43830x800000000001ffffi64, 43840x800000000003ffffi64, 43850x800000000007ffffi64, 43860x80000000000fffffi64, 43870x80000000001fffffi64, 43880x80000000003fffffi64, 43890x80000000007fffffi64, 43900x8000000000ffffffi64, 43910x8000000001ffffffi64, 43920x8000000003ffffffi64, 43930x8000000007ffffffi64, 43940x800000000fffffffi64, 43950x800000001fffffffi64, 43960x800000003fffffffi64, 43970x800000007fffffffi64, 43980x80000000ffffffffi64, 43990x80000001ffffffffi64, 44000x80000003ffffffffi64, 44010x80000007ffffffffi64, 44020x8000000fffffffffi64, 44030x8000001fffffffffi64, 44040x8000003fffffffffi64, 44050x8000007fffffffffi64, 44060x800000ffffffffffi64, 44070x800001ffffffffffi64, 44080x800003ffffffffffi64, 44090x800007ffffffffffi64, 44100x80000fffffffffffi64, 44110x80001fffffffffffi64, 44120x80003fffffffffffi64, 44130x80007fffffffffffi64, 44140x8000ffffffffffffi64, 44150x8001ffffffffffffi64, 44160x8003ffffffffffffi64, 44170x8007ffffffffffffi64, 44180x800fffffffffffffi64, 44190x801fffffffffffffi64, 44200x803fffffffffffffi64, 44210x807fffffffffffffi64, 44220x80ffffffffffffffi64, 44230x81ffffffffffffffi64, 44240x83ffffffffffffffi64, 44250x87ffffffffffffffi64, 44260x8fffffffffffffffi64, 44270x9fffffffffffffffi64, 44280xbfffffffffffffffi64 4429}, 4430{ 44310x0i64, 44320x1i64, 44330x3i64, 44340x7i64, 44350xfi64, 44360x1fi64, 44370x3fi64, 44380x7fi64, 44390xffi64, 44400x1ffi64, 44410x3ffi64, 44420x7ffi64, 44430xfffi64, 44440x1fffi64, 44450x3fffi64, 44460x7fffi64, 44470xffffi64, 44480x1ffffi64, 44490x3ffffi64, 44500x7ffffi64, 44510xfffffi64, 44520x1fffffi64, 44530x3fffffi64, 44540x7fffffi64, 44550xffffffi64, 44560x1ffffffi64, 44570x3ffffffi64, 44580x7ffffffi64, 44590xfffffffi64, 44600x1fffffffi64, 44610x3fffffffi64, 44620x7fffffffi64, 44630xffffffffi64, 44640x1ffffffffi64, 44650x3ffffffffi64, 44660x7ffffffffi64, 44670xfffffffffi64, 44680x1fffffffffi64, 44690x3fffffffffi64, 44700x7fffffffffi64, 44710xffffffffffi64, 44720x1ffffffffffi64, 44730x3ffffffffffi64, 44740x7ffffffffffi64, 44750xfffffffffffi64, 44760x1fffffffffffi64, 44770x3fffffffffffi64, 44780x7fffffffffffi64, 44790xffffffffffffi64, 44800x1ffffffffffffi64, 44810x3ffffffffffffi64, 44820x7ffffffffffffi64, 44830xfffffffffffffi64, 44840x1fffffffffffffi64, 44850x3fffffffffffffi64, 44860x7fffffffffffffi64, 44870xffffffffffffffi64, 44880x1ffffffffffffffi64, 44890x3ffffffffffffffi64, 44900x7ffffffffffffffi64, 44910xfffffffffffffffi64, 44920x1fffffffffffffffi64, 44930x3fffffffffffffffi64, 44940x7fffffffffffffffi64 4495} 4496}; 4497 4498#endif // end of #ifndef WIN32 4499 4500} // namespace sc_dt 4501 4502#endif 4503