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