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_int_mask.cpp -- Fills the mask_int lookup table to enable efficient
23                     part-selection on 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: Philipp A Hartmann, Intel
41  Description of Modification: - drop specializations for Windows, 32-bit only
42
43      Name, Affiliation, Date:
44  Description of Modification:
45
46 *****************************************************************************/
47
48#include "systemc/ext/dt/int/sc_int_base.hh"
49#include "systemc/ext/dt/int/sc_uint_base.hh"
50
51#ifndef UINT64_C
52# define UINT64_C(v) v ## ULL
53#endif // UINT64_C
54
55namespace sc_dt {
56
57const uint_type mask_int[SC_INTWIDTH][SC_INTWIDTH] = {
58    {
59        UINT64_C(0xfffffffffffffffe)
60    },
61    {
62        UINT64_C(0xfffffffffffffffc),
63        UINT64_C(0xfffffffffffffffd)
64    },
65    {
66        UINT64_C(0xfffffffffffffff8),
67        UINT64_C(0xfffffffffffffff9),
68        UINT64_C(0xfffffffffffffffb)
69    },
70    {
71        UINT64_C(0xfffffffffffffff0),
72        UINT64_C(0xfffffffffffffff1),
73        UINT64_C(0xfffffffffffffff3),
74        UINT64_C(0xfffffffffffffff7)
75    },
76    {
77        UINT64_C(0xffffffffffffffe0),
78        UINT64_C(0xffffffffffffffe1),
79        UINT64_C(0xffffffffffffffe3),
80        UINT64_C(0xffffffffffffffe7),
81        UINT64_C(0xffffffffffffffef)
82    },
83    {
84        UINT64_C(0xffffffffffffffc0),
85        UINT64_C(0xffffffffffffffc1),
86        UINT64_C(0xffffffffffffffc3),
87        UINT64_C(0xffffffffffffffc7),
88        UINT64_C(0xffffffffffffffcf),
89        UINT64_C(0xffffffffffffffdf)
90    },
91    {
92        UINT64_C(0xffffffffffffff80),
93        UINT64_C(0xffffffffffffff81),
94        UINT64_C(0xffffffffffffff83),
95        UINT64_C(0xffffffffffffff87),
96        UINT64_C(0xffffffffffffff8f),
97        UINT64_C(0xffffffffffffff9f),
98        UINT64_C(0xffffffffffffffbf)
99    },
100    {
101        UINT64_C(0xffffffffffffff00),
102        UINT64_C(0xffffffffffffff01),
103        UINT64_C(0xffffffffffffff03),
104        UINT64_C(0xffffffffffffff07),
105        UINT64_C(0xffffffffffffff0f),
106        UINT64_C(0xffffffffffffff1f),
107        UINT64_C(0xffffffffffffff3f),
108        UINT64_C(0xffffffffffffff7f)
109    },
110    {
111        UINT64_C(0xfffffffffffffe00),
112        UINT64_C(0xfffffffffffffe01),
113        UINT64_C(0xfffffffffffffe03),
114        UINT64_C(0xfffffffffffffe07),
115        UINT64_C(0xfffffffffffffe0f),
116        UINT64_C(0xfffffffffffffe1f),
117        UINT64_C(0xfffffffffffffe3f),
118        UINT64_C(0xfffffffffffffe7f),
119        UINT64_C(0xfffffffffffffeff)
120    },
121    {
122        UINT64_C(0xfffffffffffffc00),
123        UINT64_C(0xfffffffffffffc01),
124        UINT64_C(0xfffffffffffffc03),
125        UINT64_C(0xfffffffffffffc07),
126        UINT64_C(0xfffffffffffffc0f),
127        UINT64_C(0xfffffffffffffc1f),
128        UINT64_C(0xfffffffffffffc3f),
129        UINT64_C(0xfffffffffffffc7f),
130        UINT64_C(0xfffffffffffffcff),
131        UINT64_C(0xfffffffffffffdff)
132    },
133    {
134        UINT64_C(0xfffffffffffff800),
135        UINT64_C(0xfffffffffffff801),
136        UINT64_C(0xfffffffffffff803),
137        UINT64_C(0xfffffffffffff807),
138        UINT64_C(0xfffffffffffff80f),
139        UINT64_C(0xfffffffffffff81f),
140        UINT64_C(0xfffffffffffff83f),
141        UINT64_C(0xfffffffffffff87f),
142        UINT64_C(0xfffffffffffff8ff),
143        UINT64_C(0xfffffffffffff9ff),
144        UINT64_C(0xfffffffffffffbff)
145    },
146    {
147        UINT64_C(0xfffffffffffff000),
148        UINT64_C(0xfffffffffffff001),
149        UINT64_C(0xfffffffffffff003),
150        UINT64_C(0xfffffffffffff007),
151        UINT64_C(0xfffffffffffff00f),
152        UINT64_C(0xfffffffffffff01f),
153        UINT64_C(0xfffffffffffff03f),
154        UINT64_C(0xfffffffffffff07f),
155        UINT64_C(0xfffffffffffff0ff),
156        UINT64_C(0xfffffffffffff1ff),
157        UINT64_C(0xfffffffffffff3ff),
158        UINT64_C(0xfffffffffffff7ff)
159    },
160    {
161        UINT64_C(0xffffffffffffe000),
162        UINT64_C(0xffffffffffffe001),
163        UINT64_C(0xffffffffffffe003),
164        UINT64_C(0xffffffffffffe007),
165        UINT64_C(0xffffffffffffe00f),
166        UINT64_C(0xffffffffffffe01f),
167        UINT64_C(0xffffffffffffe03f),
168        UINT64_C(0xffffffffffffe07f),
169        UINT64_C(0xffffffffffffe0ff),
170        UINT64_C(0xffffffffffffe1ff),
171        UINT64_C(0xffffffffffffe3ff),
172        UINT64_C(0xffffffffffffe7ff),
173        UINT64_C(0xffffffffffffefff)
174    },
175    {
176        UINT64_C(0xffffffffffffc000),
177        UINT64_C(0xffffffffffffc001),
178        UINT64_C(0xffffffffffffc003),
179        UINT64_C(0xffffffffffffc007),
180        UINT64_C(0xffffffffffffc00f),
181        UINT64_C(0xffffffffffffc01f),
182        UINT64_C(0xffffffffffffc03f),
183        UINT64_C(0xffffffffffffc07f),
184        UINT64_C(0xffffffffffffc0ff),
185        UINT64_C(0xffffffffffffc1ff),
186        UINT64_C(0xffffffffffffc3ff),
187        UINT64_C(0xffffffffffffc7ff),
188        UINT64_C(0xffffffffffffcfff),
189        UINT64_C(0xffffffffffffdfff)
190    },
191    {
192        UINT64_C(0xffffffffffff8000),
193        UINT64_C(0xffffffffffff8001),
194        UINT64_C(0xffffffffffff8003),
195        UINT64_C(0xffffffffffff8007),
196        UINT64_C(0xffffffffffff800f),
197        UINT64_C(0xffffffffffff801f),
198        UINT64_C(0xffffffffffff803f),
199        UINT64_C(0xffffffffffff807f),
200        UINT64_C(0xffffffffffff80ff),
201        UINT64_C(0xffffffffffff81ff),
202        UINT64_C(0xffffffffffff83ff),
203        UINT64_C(0xffffffffffff87ff),
204        UINT64_C(0xffffffffffff8fff),
205        UINT64_C(0xffffffffffff9fff),
206        UINT64_C(0xffffffffffffbfff)
207    },
208    {
209        UINT64_C(0xffffffffffff0000),
210        UINT64_C(0xffffffffffff0001),
211        UINT64_C(0xffffffffffff0003),
212        UINT64_C(0xffffffffffff0007),
213        UINT64_C(0xffffffffffff000f),
214        UINT64_C(0xffffffffffff001f),
215        UINT64_C(0xffffffffffff003f),
216        UINT64_C(0xffffffffffff007f),
217        UINT64_C(0xffffffffffff00ff),
218        UINT64_C(0xffffffffffff01ff),
219        UINT64_C(0xffffffffffff03ff),
220        UINT64_C(0xffffffffffff07ff),
221        UINT64_C(0xffffffffffff0fff),
222        UINT64_C(0xffffffffffff1fff),
223        UINT64_C(0xffffffffffff3fff),
224        UINT64_C(0xffffffffffff7fff)
225    },
226    {
227        UINT64_C(0xfffffffffffe0000),
228        UINT64_C(0xfffffffffffe0001),
229        UINT64_C(0xfffffffffffe0003),
230        UINT64_C(0xfffffffffffe0007),
231        UINT64_C(0xfffffffffffe000f),
232        UINT64_C(0xfffffffffffe001f),
233        UINT64_C(0xfffffffffffe003f),
234        UINT64_C(0xfffffffffffe007f),
235        UINT64_C(0xfffffffffffe00ff),
236        UINT64_C(0xfffffffffffe01ff),
237        UINT64_C(0xfffffffffffe03ff),
238        UINT64_C(0xfffffffffffe07ff),
239        UINT64_C(0xfffffffffffe0fff),
240        UINT64_C(0xfffffffffffe1fff),
241        UINT64_C(0xfffffffffffe3fff),
242        UINT64_C(0xfffffffffffe7fff),
243        UINT64_C(0xfffffffffffeffff)
244    },
245    {
246        UINT64_C(0xfffffffffffc0000),
247        UINT64_C(0xfffffffffffc0001),
248        UINT64_C(0xfffffffffffc0003),
249        UINT64_C(0xfffffffffffc0007),
250        UINT64_C(0xfffffffffffc000f),
251        UINT64_C(0xfffffffffffc001f),
252        UINT64_C(0xfffffffffffc003f),
253        UINT64_C(0xfffffffffffc007f),
254        UINT64_C(0xfffffffffffc00ff),
255        UINT64_C(0xfffffffffffc01ff),
256        UINT64_C(0xfffffffffffc03ff),
257        UINT64_C(0xfffffffffffc07ff),
258        UINT64_C(0xfffffffffffc0fff),
259        UINT64_C(0xfffffffffffc1fff),
260        UINT64_C(0xfffffffffffc3fff),
261        UINT64_C(0xfffffffffffc7fff),
262        UINT64_C(0xfffffffffffcffff),
263        UINT64_C(0xfffffffffffdffff)
264    },
265    {
266        UINT64_C(0xfffffffffff80000),
267        UINT64_C(0xfffffffffff80001),
268        UINT64_C(0xfffffffffff80003),
269        UINT64_C(0xfffffffffff80007),
270        UINT64_C(0xfffffffffff8000f),
271        UINT64_C(0xfffffffffff8001f),
272        UINT64_C(0xfffffffffff8003f),
273        UINT64_C(0xfffffffffff8007f),
274        UINT64_C(0xfffffffffff800ff),
275        UINT64_C(0xfffffffffff801ff),
276        UINT64_C(0xfffffffffff803ff),
277        UINT64_C(0xfffffffffff807ff),
278        UINT64_C(0xfffffffffff80fff),
279        UINT64_C(0xfffffffffff81fff),
280        UINT64_C(0xfffffffffff83fff),
281        UINT64_C(0xfffffffffff87fff),
282        UINT64_C(0xfffffffffff8ffff),
283        UINT64_C(0xfffffffffff9ffff),
284        UINT64_C(0xfffffffffffbffff)
285    },
286    {
287        UINT64_C(0xfffffffffff00000),
288        UINT64_C(0xfffffffffff00001),
289        UINT64_C(0xfffffffffff00003),
290        UINT64_C(0xfffffffffff00007),
291        UINT64_C(0xfffffffffff0000f),
292        UINT64_C(0xfffffffffff0001f),
293        UINT64_C(0xfffffffffff0003f),
294        UINT64_C(0xfffffffffff0007f),
295        UINT64_C(0xfffffffffff000ff),
296        UINT64_C(0xfffffffffff001ff),
297        UINT64_C(0xfffffffffff003ff),
298        UINT64_C(0xfffffffffff007ff),
299        UINT64_C(0xfffffffffff00fff),
300        UINT64_C(0xfffffffffff01fff),
301        UINT64_C(0xfffffffffff03fff),
302        UINT64_C(0xfffffffffff07fff),
303        UINT64_C(0xfffffffffff0ffff),
304        UINT64_C(0xfffffffffff1ffff),
305        UINT64_C(0xfffffffffff3ffff),
306        UINT64_C(0xfffffffffff7ffff)
307    },
308    {
309        UINT64_C(0xffffffffffe00000),
310        UINT64_C(0xffffffffffe00001),
311        UINT64_C(0xffffffffffe00003),
312        UINT64_C(0xffffffffffe00007),
313        UINT64_C(0xffffffffffe0000f),
314        UINT64_C(0xffffffffffe0001f),
315        UINT64_C(0xffffffffffe0003f),
316        UINT64_C(0xffffffffffe0007f),
317        UINT64_C(0xffffffffffe000ff),
318        UINT64_C(0xffffffffffe001ff),
319        UINT64_C(0xffffffffffe003ff),
320        UINT64_C(0xffffffffffe007ff),
321        UINT64_C(0xffffffffffe00fff),
322        UINT64_C(0xffffffffffe01fff),
323        UINT64_C(0xffffffffffe03fff),
324        UINT64_C(0xffffffffffe07fff),
325        UINT64_C(0xffffffffffe0ffff),
326        UINT64_C(0xffffffffffe1ffff),
327        UINT64_C(0xffffffffffe3ffff),
328        UINT64_C(0xffffffffffe7ffff),
329        UINT64_C(0xffffffffffefffff)
330    },
331    {
332        UINT64_C(0xffffffffffc00000),
333        UINT64_C(0xffffffffffc00001),
334        UINT64_C(0xffffffffffc00003),
335        UINT64_C(0xffffffffffc00007),
336        UINT64_C(0xffffffffffc0000f),
337        UINT64_C(0xffffffffffc0001f),
338        UINT64_C(0xffffffffffc0003f),
339        UINT64_C(0xffffffffffc0007f),
340        UINT64_C(0xffffffffffc000ff),
341        UINT64_C(0xffffffffffc001ff),
342        UINT64_C(0xffffffffffc003ff),
343        UINT64_C(0xffffffffffc007ff),
344        UINT64_C(0xffffffffffc00fff),
345        UINT64_C(0xffffffffffc01fff),
346        UINT64_C(0xffffffffffc03fff),
347        UINT64_C(0xffffffffffc07fff),
348        UINT64_C(0xffffffffffc0ffff),
349        UINT64_C(0xffffffffffc1ffff),
350        UINT64_C(0xffffffffffc3ffff),
351        UINT64_C(0xffffffffffc7ffff),
352        UINT64_C(0xffffffffffcfffff),
353        UINT64_C(0xffffffffffdfffff)
354    },
355    {
356        UINT64_C(0xffffffffff800000),
357        UINT64_C(0xffffffffff800001),
358        UINT64_C(0xffffffffff800003),
359        UINT64_C(0xffffffffff800007),
360        UINT64_C(0xffffffffff80000f),
361        UINT64_C(0xffffffffff80001f),
362        UINT64_C(0xffffffffff80003f),
363        UINT64_C(0xffffffffff80007f),
364        UINT64_C(0xffffffffff8000ff),
365        UINT64_C(0xffffffffff8001ff),
366        UINT64_C(0xffffffffff8003ff),
367        UINT64_C(0xffffffffff8007ff),
368        UINT64_C(0xffffffffff800fff),
369        UINT64_C(0xffffffffff801fff),
370        UINT64_C(0xffffffffff803fff),
371        UINT64_C(0xffffffffff807fff),
372        UINT64_C(0xffffffffff80ffff),
373        UINT64_C(0xffffffffff81ffff),
374        UINT64_C(0xffffffffff83ffff),
375        UINT64_C(0xffffffffff87ffff),
376        UINT64_C(0xffffffffff8fffff),
377        UINT64_C(0xffffffffff9fffff),
378        UINT64_C(0xffffffffffbfffff)
379    },
380    {
381        UINT64_C(0xffffffffff000000),
382        UINT64_C(0xffffffffff000001),
383        UINT64_C(0xffffffffff000003),
384        UINT64_C(0xffffffffff000007),
385        UINT64_C(0xffffffffff00000f),
386        UINT64_C(0xffffffffff00001f),
387        UINT64_C(0xffffffffff00003f),
388        UINT64_C(0xffffffffff00007f),
389        UINT64_C(0xffffffffff0000ff),
390        UINT64_C(0xffffffffff0001ff),
391        UINT64_C(0xffffffffff0003ff),
392        UINT64_C(0xffffffffff0007ff),
393        UINT64_C(0xffffffffff000fff),
394        UINT64_C(0xffffffffff001fff),
395        UINT64_C(0xffffffffff003fff),
396        UINT64_C(0xffffffffff007fff),
397        UINT64_C(0xffffffffff00ffff),
398        UINT64_C(0xffffffffff01ffff),
399        UINT64_C(0xffffffffff03ffff),
400        UINT64_C(0xffffffffff07ffff),
401        UINT64_C(0xffffffffff0fffff),
402        UINT64_C(0xffffffffff1fffff),
403        UINT64_C(0xffffffffff3fffff),
404        UINT64_C(0xffffffffff7fffff)
405    },
406    {
407        UINT64_C(0xfffffffffe000000),
408        UINT64_C(0xfffffffffe000001),
409        UINT64_C(0xfffffffffe000003),
410        UINT64_C(0xfffffffffe000007),
411        UINT64_C(0xfffffffffe00000f),
412        UINT64_C(0xfffffffffe00001f),
413        UINT64_C(0xfffffffffe00003f),
414        UINT64_C(0xfffffffffe00007f),
415        UINT64_C(0xfffffffffe0000ff),
416        UINT64_C(0xfffffffffe0001ff),
417        UINT64_C(0xfffffffffe0003ff),
418        UINT64_C(0xfffffffffe0007ff),
419        UINT64_C(0xfffffffffe000fff),
420        UINT64_C(0xfffffffffe001fff),
421        UINT64_C(0xfffffffffe003fff),
422        UINT64_C(0xfffffffffe007fff),
423        UINT64_C(0xfffffffffe00ffff),
424        UINT64_C(0xfffffffffe01ffff),
425        UINT64_C(0xfffffffffe03ffff),
426        UINT64_C(0xfffffffffe07ffff),
427        UINT64_C(0xfffffffffe0fffff),
428        UINT64_C(0xfffffffffe1fffff),
429        UINT64_C(0xfffffffffe3fffff),
430        UINT64_C(0xfffffffffe7fffff),
431        UINT64_C(0xfffffffffeffffff)
432    },
433    {
434        UINT64_C(0xfffffffffc000000),
435        UINT64_C(0xfffffffffc000001),
436        UINT64_C(0xfffffffffc000003),
437        UINT64_C(0xfffffffffc000007),
438        UINT64_C(0xfffffffffc00000f),
439        UINT64_C(0xfffffffffc00001f),
440        UINT64_C(0xfffffffffc00003f),
441        UINT64_C(0xfffffffffc00007f),
442        UINT64_C(0xfffffffffc0000ff),
443        UINT64_C(0xfffffffffc0001ff),
444        UINT64_C(0xfffffffffc0003ff),
445        UINT64_C(0xfffffffffc0007ff),
446        UINT64_C(0xfffffffffc000fff),
447        UINT64_C(0xfffffffffc001fff),
448        UINT64_C(0xfffffffffc003fff),
449        UINT64_C(0xfffffffffc007fff),
450        UINT64_C(0xfffffffffc00ffff),
451        UINT64_C(0xfffffffffc01ffff),
452        UINT64_C(0xfffffffffc03ffff),
453        UINT64_C(0xfffffffffc07ffff),
454        UINT64_C(0xfffffffffc0fffff),
455        UINT64_C(0xfffffffffc1fffff),
456        UINT64_C(0xfffffffffc3fffff),
457        UINT64_C(0xfffffffffc7fffff),
458        UINT64_C(0xfffffffffcffffff),
459        UINT64_C(0xfffffffffdffffff)
460    },
461    {
462        UINT64_C(0xfffffffff8000000),
463        UINT64_C(0xfffffffff8000001),
464        UINT64_C(0xfffffffff8000003),
465        UINT64_C(0xfffffffff8000007),
466        UINT64_C(0xfffffffff800000f),
467        UINT64_C(0xfffffffff800001f),
468        UINT64_C(0xfffffffff800003f),
469        UINT64_C(0xfffffffff800007f),
470        UINT64_C(0xfffffffff80000ff),
471        UINT64_C(0xfffffffff80001ff),
472        UINT64_C(0xfffffffff80003ff),
473        UINT64_C(0xfffffffff80007ff),
474        UINT64_C(0xfffffffff8000fff),
475        UINT64_C(0xfffffffff8001fff),
476        UINT64_C(0xfffffffff8003fff),
477        UINT64_C(0xfffffffff8007fff),
478        UINT64_C(0xfffffffff800ffff),
479        UINT64_C(0xfffffffff801ffff),
480        UINT64_C(0xfffffffff803ffff),
481        UINT64_C(0xfffffffff807ffff),
482        UINT64_C(0xfffffffff80fffff),
483        UINT64_C(0xfffffffff81fffff),
484        UINT64_C(0xfffffffff83fffff),
485        UINT64_C(0xfffffffff87fffff),
486        UINT64_C(0xfffffffff8ffffff),
487        UINT64_C(0xfffffffff9ffffff),
488        UINT64_C(0xfffffffffbffffff)
489    },
490    {
491        UINT64_C(0xfffffffff0000000),
492        UINT64_C(0xfffffffff0000001),
493        UINT64_C(0xfffffffff0000003),
494        UINT64_C(0xfffffffff0000007),
495        UINT64_C(0xfffffffff000000f),
496        UINT64_C(0xfffffffff000001f),
497        UINT64_C(0xfffffffff000003f),
498        UINT64_C(0xfffffffff000007f),
499        UINT64_C(0xfffffffff00000ff),
500        UINT64_C(0xfffffffff00001ff),
501        UINT64_C(0xfffffffff00003ff),
502        UINT64_C(0xfffffffff00007ff),
503        UINT64_C(0xfffffffff0000fff),
504        UINT64_C(0xfffffffff0001fff),
505        UINT64_C(0xfffffffff0003fff),
506        UINT64_C(0xfffffffff0007fff),
507        UINT64_C(0xfffffffff000ffff),
508        UINT64_C(0xfffffffff001ffff),
509        UINT64_C(0xfffffffff003ffff),
510        UINT64_C(0xfffffffff007ffff),
511        UINT64_C(0xfffffffff00fffff),
512        UINT64_C(0xfffffffff01fffff),
513        UINT64_C(0xfffffffff03fffff),
514        UINT64_C(0xfffffffff07fffff),
515        UINT64_C(0xfffffffff0ffffff),
516        UINT64_C(0xfffffffff1ffffff),
517        UINT64_C(0xfffffffff3ffffff),
518        UINT64_C(0xfffffffff7ffffff)
519    },
520    {
521        UINT64_C(0xffffffffe0000000),
522        UINT64_C(0xffffffffe0000001),
523        UINT64_C(0xffffffffe0000003),
524        UINT64_C(0xffffffffe0000007),
525        UINT64_C(0xffffffffe000000f),
526        UINT64_C(0xffffffffe000001f),
527        UINT64_C(0xffffffffe000003f),
528        UINT64_C(0xffffffffe000007f),
529        UINT64_C(0xffffffffe00000ff),
530        UINT64_C(0xffffffffe00001ff),
531        UINT64_C(0xffffffffe00003ff),
532        UINT64_C(0xffffffffe00007ff),
533        UINT64_C(0xffffffffe0000fff),
534        UINT64_C(0xffffffffe0001fff),
535        UINT64_C(0xffffffffe0003fff),
536        UINT64_C(0xffffffffe0007fff),
537        UINT64_C(0xffffffffe000ffff),
538        UINT64_C(0xffffffffe001ffff),
539        UINT64_C(0xffffffffe003ffff),
540        UINT64_C(0xffffffffe007ffff),
541        UINT64_C(0xffffffffe00fffff),
542        UINT64_C(0xffffffffe01fffff),
543        UINT64_C(0xffffffffe03fffff),
544        UINT64_C(0xffffffffe07fffff),
545        UINT64_C(0xffffffffe0ffffff),
546        UINT64_C(0xffffffffe1ffffff),
547        UINT64_C(0xffffffffe3ffffff),
548        UINT64_C(0xffffffffe7ffffff),
549        UINT64_C(0xffffffffefffffff)
550    },
551    {
552        UINT64_C(0xffffffffc0000000),
553        UINT64_C(0xffffffffc0000001),
554        UINT64_C(0xffffffffc0000003),
555        UINT64_C(0xffffffffc0000007),
556        UINT64_C(0xffffffffc000000f),
557        UINT64_C(0xffffffffc000001f),
558        UINT64_C(0xffffffffc000003f),
559        UINT64_C(0xffffffffc000007f),
560        UINT64_C(0xffffffffc00000ff),
561        UINT64_C(0xffffffffc00001ff),
562        UINT64_C(0xffffffffc00003ff),
563        UINT64_C(0xffffffffc00007ff),
564        UINT64_C(0xffffffffc0000fff),
565        UINT64_C(0xffffffffc0001fff),
566        UINT64_C(0xffffffffc0003fff),
567        UINT64_C(0xffffffffc0007fff),
568        UINT64_C(0xffffffffc000ffff),
569        UINT64_C(0xffffffffc001ffff),
570        UINT64_C(0xffffffffc003ffff),
571        UINT64_C(0xffffffffc007ffff),
572        UINT64_C(0xffffffffc00fffff),
573        UINT64_C(0xffffffffc01fffff),
574        UINT64_C(0xffffffffc03fffff),
575        UINT64_C(0xffffffffc07fffff),
576        UINT64_C(0xffffffffc0ffffff),
577        UINT64_C(0xffffffffc1ffffff),
578        UINT64_C(0xffffffffc3ffffff),
579        UINT64_C(0xffffffffc7ffffff),
580        UINT64_C(0xffffffffcfffffff),
581        UINT64_C(0xffffffffdfffffff)
582    },
583    {
584        UINT64_C(0xffffffff80000000),
585        UINT64_C(0xffffffff80000001),
586        UINT64_C(0xffffffff80000003),
587        UINT64_C(0xffffffff80000007),
588        UINT64_C(0xffffffff8000000f),
589        UINT64_C(0xffffffff8000001f),
590        UINT64_C(0xffffffff8000003f),
591        UINT64_C(0xffffffff8000007f),
592        UINT64_C(0xffffffff800000ff),
593        UINT64_C(0xffffffff800001ff),
594        UINT64_C(0xffffffff800003ff),
595        UINT64_C(0xffffffff800007ff),
596        UINT64_C(0xffffffff80000fff),
597        UINT64_C(0xffffffff80001fff),
598        UINT64_C(0xffffffff80003fff),
599        UINT64_C(0xffffffff80007fff),
600        UINT64_C(0xffffffff8000ffff),
601        UINT64_C(0xffffffff8001ffff),
602        UINT64_C(0xffffffff8003ffff),
603        UINT64_C(0xffffffff8007ffff),
604        UINT64_C(0xffffffff800fffff),
605        UINT64_C(0xffffffff801fffff),
606        UINT64_C(0xffffffff803fffff),
607        UINT64_C(0xffffffff807fffff),
608        UINT64_C(0xffffffff80ffffff),
609        UINT64_C(0xffffffff81ffffff),
610        UINT64_C(0xffffffff83ffffff),
611        UINT64_C(0xffffffff87ffffff),
612        UINT64_C(0xffffffff8fffffff),
613        UINT64_C(0xffffffff9fffffff),
614        UINT64_C(0xffffffffbfffffff)
615    },
616    {
617        UINT64_C(0xffffffff00000000),
618        UINT64_C(0xffffffff00000001),
619        UINT64_C(0xffffffff00000003),
620        UINT64_C(0xffffffff00000007),
621        UINT64_C(0xffffffff0000000f),
622        UINT64_C(0xffffffff0000001f),
623        UINT64_C(0xffffffff0000003f),
624        UINT64_C(0xffffffff0000007f),
625        UINT64_C(0xffffffff000000ff),
626        UINT64_C(0xffffffff000001ff),
627        UINT64_C(0xffffffff000003ff),
628        UINT64_C(0xffffffff000007ff),
629        UINT64_C(0xffffffff00000fff),
630        UINT64_C(0xffffffff00001fff),
631        UINT64_C(0xffffffff00003fff),
632        UINT64_C(0xffffffff00007fff),
633        UINT64_C(0xffffffff0000ffff),
634        UINT64_C(0xffffffff0001ffff),
635        UINT64_C(0xffffffff0003ffff),
636        UINT64_C(0xffffffff0007ffff),
637        UINT64_C(0xffffffff000fffff),
638        UINT64_C(0xffffffff001fffff),
639        UINT64_C(0xffffffff003fffff),
640        UINT64_C(0xffffffff007fffff),
641        UINT64_C(0xffffffff00ffffff),
642        UINT64_C(0xffffffff01ffffff),
643        UINT64_C(0xffffffff03ffffff),
644        UINT64_C(0xffffffff07ffffff),
645        UINT64_C(0xffffffff0fffffff),
646        UINT64_C(0xffffffff1fffffff),
647        UINT64_C(0xffffffff3fffffff),
648        UINT64_C(0xffffffff7fffffff)
649    },
650    {
651        UINT64_C(0xfffffffe00000000),
652        UINT64_C(0xfffffffe00000001),
653        UINT64_C(0xfffffffe00000003),
654        UINT64_C(0xfffffffe00000007),
655        UINT64_C(0xfffffffe0000000f),
656        UINT64_C(0xfffffffe0000001f),
657        UINT64_C(0xfffffffe0000003f),
658        UINT64_C(0xfffffffe0000007f),
659        UINT64_C(0xfffffffe000000ff),
660        UINT64_C(0xfffffffe000001ff),
661        UINT64_C(0xfffffffe000003ff),
662        UINT64_C(0xfffffffe000007ff),
663        UINT64_C(0xfffffffe00000fff),
664        UINT64_C(0xfffffffe00001fff),
665        UINT64_C(0xfffffffe00003fff),
666        UINT64_C(0xfffffffe00007fff),
667        UINT64_C(0xfffffffe0000ffff),
668        UINT64_C(0xfffffffe0001ffff),
669        UINT64_C(0xfffffffe0003ffff),
670        UINT64_C(0xfffffffe0007ffff),
671        UINT64_C(0xfffffffe000fffff),
672        UINT64_C(0xfffffffe001fffff),
673        UINT64_C(0xfffffffe003fffff),
674        UINT64_C(0xfffffffe007fffff),
675        UINT64_C(0xfffffffe00ffffff),
676        UINT64_C(0xfffffffe01ffffff),
677        UINT64_C(0xfffffffe03ffffff),
678        UINT64_C(0xfffffffe07ffffff),
679        UINT64_C(0xfffffffe0fffffff),
680        UINT64_C(0xfffffffe1fffffff),
681        UINT64_C(0xfffffffe3fffffff),
682        UINT64_C(0xfffffffe7fffffff),
683        UINT64_C(0xfffffffeffffffff)
684    },
685    {
686        UINT64_C(0xfffffffc00000000),
687        UINT64_C(0xfffffffc00000001),
688        UINT64_C(0xfffffffc00000003),
689        UINT64_C(0xfffffffc00000007),
690        UINT64_C(0xfffffffc0000000f),
691        UINT64_C(0xfffffffc0000001f),
692        UINT64_C(0xfffffffc0000003f),
693        UINT64_C(0xfffffffc0000007f),
694        UINT64_C(0xfffffffc000000ff),
695        UINT64_C(0xfffffffc000001ff),
696        UINT64_C(0xfffffffc000003ff),
697        UINT64_C(0xfffffffc000007ff),
698        UINT64_C(0xfffffffc00000fff),
699        UINT64_C(0xfffffffc00001fff),
700        UINT64_C(0xfffffffc00003fff),
701        UINT64_C(0xfffffffc00007fff),
702        UINT64_C(0xfffffffc0000ffff),
703        UINT64_C(0xfffffffc0001ffff),
704        UINT64_C(0xfffffffc0003ffff),
705        UINT64_C(0xfffffffc0007ffff),
706        UINT64_C(0xfffffffc000fffff),
707        UINT64_C(0xfffffffc001fffff),
708        UINT64_C(0xfffffffc003fffff),
709        UINT64_C(0xfffffffc007fffff),
710        UINT64_C(0xfffffffc00ffffff),
711        UINT64_C(0xfffffffc01ffffff),
712        UINT64_C(0xfffffffc03ffffff),
713        UINT64_C(0xfffffffc07ffffff),
714        UINT64_C(0xfffffffc0fffffff),
715        UINT64_C(0xfffffffc1fffffff),
716        UINT64_C(0xfffffffc3fffffff),
717        UINT64_C(0xfffffffc7fffffff),
718        UINT64_C(0xfffffffcffffffff),
719        UINT64_C(0xfffffffdffffffff)
720    },
721    {
722        UINT64_C(0xfffffff800000000),
723        UINT64_C(0xfffffff800000001),
724        UINT64_C(0xfffffff800000003),
725        UINT64_C(0xfffffff800000007),
726        UINT64_C(0xfffffff80000000f),
727        UINT64_C(0xfffffff80000001f),
728        UINT64_C(0xfffffff80000003f),
729        UINT64_C(0xfffffff80000007f),
730        UINT64_C(0xfffffff8000000ff),
731        UINT64_C(0xfffffff8000001ff),
732        UINT64_C(0xfffffff8000003ff),
733        UINT64_C(0xfffffff8000007ff),
734        UINT64_C(0xfffffff800000fff),
735        UINT64_C(0xfffffff800001fff),
736        UINT64_C(0xfffffff800003fff),
737        UINT64_C(0xfffffff800007fff),
738        UINT64_C(0xfffffff80000ffff),
739        UINT64_C(0xfffffff80001ffff),
740        UINT64_C(0xfffffff80003ffff),
741        UINT64_C(0xfffffff80007ffff),
742        UINT64_C(0xfffffff8000fffff),
743        UINT64_C(0xfffffff8001fffff),
744        UINT64_C(0xfffffff8003fffff),
745        UINT64_C(0xfffffff8007fffff),
746        UINT64_C(0xfffffff800ffffff),
747        UINT64_C(0xfffffff801ffffff),
748        UINT64_C(0xfffffff803ffffff),
749        UINT64_C(0xfffffff807ffffff),
750        UINT64_C(0xfffffff80fffffff),
751        UINT64_C(0xfffffff81fffffff),
752        UINT64_C(0xfffffff83fffffff),
753        UINT64_C(0xfffffff87fffffff),
754        UINT64_C(0xfffffff8ffffffff),
755        UINT64_C(0xfffffff9ffffffff),
756        UINT64_C(0xfffffffbffffffff)
757    },
758    {
759        UINT64_C(0xfffffff000000000),
760        UINT64_C(0xfffffff000000001),
761        UINT64_C(0xfffffff000000003),
762        UINT64_C(0xfffffff000000007),
763        UINT64_C(0xfffffff00000000f),
764        UINT64_C(0xfffffff00000001f),
765        UINT64_C(0xfffffff00000003f),
766        UINT64_C(0xfffffff00000007f),
767        UINT64_C(0xfffffff0000000ff),
768        UINT64_C(0xfffffff0000001ff),
769        UINT64_C(0xfffffff0000003ff),
770        UINT64_C(0xfffffff0000007ff),
771        UINT64_C(0xfffffff000000fff),
772        UINT64_C(0xfffffff000001fff),
773        UINT64_C(0xfffffff000003fff),
774        UINT64_C(0xfffffff000007fff),
775        UINT64_C(0xfffffff00000ffff),
776        UINT64_C(0xfffffff00001ffff),
777        UINT64_C(0xfffffff00003ffff),
778        UINT64_C(0xfffffff00007ffff),
779        UINT64_C(0xfffffff0000fffff),
780        UINT64_C(0xfffffff0001fffff),
781        UINT64_C(0xfffffff0003fffff),
782        UINT64_C(0xfffffff0007fffff),
783        UINT64_C(0xfffffff000ffffff),
784        UINT64_C(0xfffffff001ffffff),
785        UINT64_C(0xfffffff003ffffff),
786        UINT64_C(0xfffffff007ffffff),
787        UINT64_C(0xfffffff00fffffff),
788        UINT64_C(0xfffffff01fffffff),
789        UINT64_C(0xfffffff03fffffff),
790        UINT64_C(0xfffffff07fffffff),
791        UINT64_C(0xfffffff0ffffffff),
792        UINT64_C(0xfffffff1ffffffff),
793        UINT64_C(0xfffffff3ffffffff),
794        UINT64_C(0xfffffff7ffffffff)
795    },
796    {
797        UINT64_C(0xffffffe000000000),
798        UINT64_C(0xffffffe000000001),
799        UINT64_C(0xffffffe000000003),
800        UINT64_C(0xffffffe000000007),
801        UINT64_C(0xffffffe00000000f),
802        UINT64_C(0xffffffe00000001f),
803        UINT64_C(0xffffffe00000003f),
804        UINT64_C(0xffffffe00000007f),
805        UINT64_C(0xffffffe0000000ff),
806        UINT64_C(0xffffffe0000001ff),
807        UINT64_C(0xffffffe0000003ff),
808        UINT64_C(0xffffffe0000007ff),
809        UINT64_C(0xffffffe000000fff),
810        UINT64_C(0xffffffe000001fff),
811        UINT64_C(0xffffffe000003fff),
812        UINT64_C(0xffffffe000007fff),
813        UINT64_C(0xffffffe00000ffff),
814        UINT64_C(0xffffffe00001ffff),
815        UINT64_C(0xffffffe00003ffff),
816        UINT64_C(0xffffffe00007ffff),
817        UINT64_C(0xffffffe0000fffff),
818        UINT64_C(0xffffffe0001fffff),
819        UINT64_C(0xffffffe0003fffff),
820        UINT64_C(0xffffffe0007fffff),
821        UINT64_C(0xffffffe000ffffff),
822        UINT64_C(0xffffffe001ffffff),
823        UINT64_C(0xffffffe003ffffff),
824        UINT64_C(0xffffffe007ffffff),
825        UINT64_C(0xffffffe00fffffff),
826        UINT64_C(0xffffffe01fffffff),
827        UINT64_C(0xffffffe03fffffff),
828        UINT64_C(0xffffffe07fffffff),
829        UINT64_C(0xffffffe0ffffffff),
830        UINT64_C(0xffffffe1ffffffff),
831        UINT64_C(0xffffffe3ffffffff),
832        UINT64_C(0xffffffe7ffffffff),
833        UINT64_C(0xffffffefffffffff)
834    },
835    {
836        UINT64_C(0xffffffc000000000),
837        UINT64_C(0xffffffc000000001),
838        UINT64_C(0xffffffc000000003),
839        UINT64_C(0xffffffc000000007),
840        UINT64_C(0xffffffc00000000f),
841        UINT64_C(0xffffffc00000001f),
842        UINT64_C(0xffffffc00000003f),
843        UINT64_C(0xffffffc00000007f),
844        UINT64_C(0xffffffc0000000ff),
845        UINT64_C(0xffffffc0000001ff),
846        UINT64_C(0xffffffc0000003ff),
847        UINT64_C(0xffffffc0000007ff),
848        UINT64_C(0xffffffc000000fff),
849        UINT64_C(0xffffffc000001fff),
850        UINT64_C(0xffffffc000003fff),
851        UINT64_C(0xffffffc000007fff),
852        UINT64_C(0xffffffc00000ffff),
853        UINT64_C(0xffffffc00001ffff),
854        UINT64_C(0xffffffc00003ffff),
855        UINT64_C(0xffffffc00007ffff),
856        UINT64_C(0xffffffc0000fffff),
857        UINT64_C(0xffffffc0001fffff),
858        UINT64_C(0xffffffc0003fffff),
859        UINT64_C(0xffffffc0007fffff),
860        UINT64_C(0xffffffc000ffffff),
861        UINT64_C(0xffffffc001ffffff),
862        UINT64_C(0xffffffc003ffffff),
863        UINT64_C(0xffffffc007ffffff),
864        UINT64_C(0xffffffc00fffffff),
865        UINT64_C(0xffffffc01fffffff),
866        UINT64_C(0xffffffc03fffffff),
867        UINT64_C(0xffffffc07fffffff),
868        UINT64_C(0xffffffc0ffffffff),
869        UINT64_C(0xffffffc1ffffffff),
870        UINT64_C(0xffffffc3ffffffff),
871        UINT64_C(0xffffffc7ffffffff),
872        UINT64_C(0xffffffcfffffffff),
873        UINT64_C(0xffffffdfffffffff)
874    },
875    {
876        UINT64_C(0xffffff8000000000),
877        UINT64_C(0xffffff8000000001),
878        UINT64_C(0xffffff8000000003),
879        UINT64_C(0xffffff8000000007),
880        UINT64_C(0xffffff800000000f),
881        UINT64_C(0xffffff800000001f),
882        UINT64_C(0xffffff800000003f),
883        UINT64_C(0xffffff800000007f),
884        UINT64_C(0xffffff80000000ff),
885        UINT64_C(0xffffff80000001ff),
886        UINT64_C(0xffffff80000003ff),
887        UINT64_C(0xffffff80000007ff),
888        UINT64_C(0xffffff8000000fff),
889        UINT64_C(0xffffff8000001fff),
890        UINT64_C(0xffffff8000003fff),
891        UINT64_C(0xffffff8000007fff),
892        UINT64_C(0xffffff800000ffff),
893        UINT64_C(0xffffff800001ffff),
894        UINT64_C(0xffffff800003ffff),
895        UINT64_C(0xffffff800007ffff),
896        UINT64_C(0xffffff80000fffff),
897        UINT64_C(0xffffff80001fffff),
898        UINT64_C(0xffffff80003fffff),
899        UINT64_C(0xffffff80007fffff),
900        UINT64_C(0xffffff8000ffffff),
901        UINT64_C(0xffffff8001ffffff),
902        UINT64_C(0xffffff8003ffffff),
903        UINT64_C(0xffffff8007ffffff),
904        UINT64_C(0xffffff800fffffff),
905        UINT64_C(0xffffff801fffffff),
906        UINT64_C(0xffffff803fffffff),
907        UINT64_C(0xffffff807fffffff),
908        UINT64_C(0xffffff80ffffffff),
909        UINT64_C(0xffffff81ffffffff),
910        UINT64_C(0xffffff83ffffffff),
911        UINT64_C(0xffffff87ffffffff),
912        UINT64_C(0xffffff8fffffffff),
913        UINT64_C(0xffffff9fffffffff),
914        UINT64_C(0xffffffbfffffffff)
915    },
916    {
917        UINT64_C(0xffffff0000000000),
918        UINT64_C(0xffffff0000000001),
919        UINT64_C(0xffffff0000000003),
920        UINT64_C(0xffffff0000000007),
921        UINT64_C(0xffffff000000000f),
922        UINT64_C(0xffffff000000001f),
923        UINT64_C(0xffffff000000003f),
924        UINT64_C(0xffffff000000007f),
925        UINT64_C(0xffffff00000000ff),
926        UINT64_C(0xffffff00000001ff),
927        UINT64_C(0xffffff00000003ff),
928        UINT64_C(0xffffff00000007ff),
929        UINT64_C(0xffffff0000000fff),
930        UINT64_C(0xffffff0000001fff),
931        UINT64_C(0xffffff0000003fff),
932        UINT64_C(0xffffff0000007fff),
933        UINT64_C(0xffffff000000ffff),
934        UINT64_C(0xffffff000001ffff),
935        UINT64_C(0xffffff000003ffff),
936        UINT64_C(0xffffff000007ffff),
937        UINT64_C(0xffffff00000fffff),
938        UINT64_C(0xffffff00001fffff),
939        UINT64_C(0xffffff00003fffff),
940        UINT64_C(0xffffff00007fffff),
941        UINT64_C(0xffffff0000ffffff),
942        UINT64_C(0xffffff0001ffffff),
943        UINT64_C(0xffffff0003ffffff),
944        UINT64_C(0xffffff0007ffffff),
945        UINT64_C(0xffffff000fffffff),
946        UINT64_C(0xffffff001fffffff),
947        UINT64_C(0xffffff003fffffff),
948        UINT64_C(0xffffff007fffffff),
949        UINT64_C(0xffffff00ffffffff),
950        UINT64_C(0xffffff01ffffffff),
951        UINT64_C(0xffffff03ffffffff),
952        UINT64_C(0xffffff07ffffffff),
953        UINT64_C(0xffffff0fffffffff),
954        UINT64_C(0xffffff1fffffffff),
955        UINT64_C(0xffffff3fffffffff),
956        UINT64_C(0xffffff7fffffffff)
957    },
958    {
959        UINT64_C(0xfffffe0000000000),
960        UINT64_C(0xfffffe0000000001),
961        UINT64_C(0xfffffe0000000003),
962        UINT64_C(0xfffffe0000000007),
963        UINT64_C(0xfffffe000000000f),
964        UINT64_C(0xfffffe000000001f),
965        UINT64_C(0xfffffe000000003f),
966        UINT64_C(0xfffffe000000007f),
967        UINT64_C(0xfffffe00000000ff),
968        UINT64_C(0xfffffe00000001ff),
969        UINT64_C(0xfffffe00000003ff),
970        UINT64_C(0xfffffe00000007ff),
971        UINT64_C(0xfffffe0000000fff),
972        UINT64_C(0xfffffe0000001fff),
973        UINT64_C(0xfffffe0000003fff),
974        UINT64_C(0xfffffe0000007fff),
975        UINT64_C(0xfffffe000000ffff),
976        UINT64_C(0xfffffe000001ffff),
977        UINT64_C(0xfffffe000003ffff),
978        UINT64_C(0xfffffe000007ffff),
979        UINT64_C(0xfffffe00000fffff),
980        UINT64_C(0xfffffe00001fffff),
981        UINT64_C(0xfffffe00003fffff),
982        UINT64_C(0xfffffe00007fffff),
983        UINT64_C(0xfffffe0000ffffff),
984        UINT64_C(0xfffffe0001ffffff),
985        UINT64_C(0xfffffe0003ffffff),
986        UINT64_C(0xfffffe0007ffffff),
987        UINT64_C(0xfffffe000fffffff),
988        UINT64_C(0xfffffe001fffffff),
989        UINT64_C(0xfffffe003fffffff),
990        UINT64_C(0xfffffe007fffffff),
991        UINT64_C(0xfffffe00ffffffff),
992        UINT64_C(0xfffffe01ffffffff),
993        UINT64_C(0xfffffe03ffffffff),
994        UINT64_C(0xfffffe07ffffffff),
995        UINT64_C(0xfffffe0fffffffff),
996        UINT64_C(0xfffffe1fffffffff),
997        UINT64_C(0xfffffe3fffffffff),
998        UINT64_C(0xfffffe7fffffffff),
999        UINT64_C(0xfffffeffffffffff)
1000    },
1001    {
1002        UINT64_C(0xfffffc0000000000),
1003        UINT64_C(0xfffffc0000000001),
1004        UINT64_C(0xfffffc0000000003),
1005        UINT64_C(0xfffffc0000000007),
1006        UINT64_C(0xfffffc000000000f),
1007        UINT64_C(0xfffffc000000001f),
1008        UINT64_C(0xfffffc000000003f),
1009        UINT64_C(0xfffffc000000007f),
1010        UINT64_C(0xfffffc00000000ff),
1011        UINT64_C(0xfffffc00000001ff),
1012        UINT64_C(0xfffffc00000003ff),
1013        UINT64_C(0xfffffc00000007ff),
1014        UINT64_C(0xfffffc0000000fff),
1015        UINT64_C(0xfffffc0000001fff),
1016        UINT64_C(0xfffffc0000003fff),
1017        UINT64_C(0xfffffc0000007fff),
1018        UINT64_C(0xfffffc000000ffff),
1019        UINT64_C(0xfffffc000001ffff),
1020        UINT64_C(0xfffffc000003ffff),
1021        UINT64_C(0xfffffc000007ffff),
1022        UINT64_C(0xfffffc00000fffff),
1023        UINT64_C(0xfffffc00001fffff),
1024        UINT64_C(0xfffffc00003fffff),
1025        UINT64_C(0xfffffc00007fffff),
1026        UINT64_C(0xfffffc0000ffffff),
1027        UINT64_C(0xfffffc0001ffffff),
1028        UINT64_C(0xfffffc0003ffffff),
1029        UINT64_C(0xfffffc0007ffffff),
1030        UINT64_C(0xfffffc000fffffff),
1031        UINT64_C(0xfffffc001fffffff),
1032        UINT64_C(0xfffffc003fffffff),
1033        UINT64_C(0xfffffc007fffffff),
1034        UINT64_C(0xfffffc00ffffffff),
1035        UINT64_C(0xfffffc01ffffffff),
1036        UINT64_C(0xfffffc03ffffffff),
1037        UINT64_C(0xfffffc07ffffffff),
1038        UINT64_C(0xfffffc0fffffffff),
1039        UINT64_C(0xfffffc1fffffffff),
1040        UINT64_C(0xfffffc3fffffffff),
1041        UINT64_C(0xfffffc7fffffffff),
1042        UINT64_C(0xfffffcffffffffff),
1043        UINT64_C(0xfffffdffffffffff)
1044    },
1045    {
1046        UINT64_C(0xfffff80000000000),
1047        UINT64_C(0xfffff80000000001),
1048        UINT64_C(0xfffff80000000003),
1049        UINT64_C(0xfffff80000000007),
1050        UINT64_C(0xfffff8000000000f),
1051        UINT64_C(0xfffff8000000001f),
1052        UINT64_C(0xfffff8000000003f),
1053        UINT64_C(0xfffff8000000007f),
1054        UINT64_C(0xfffff800000000ff),
1055        UINT64_C(0xfffff800000001ff),
1056        UINT64_C(0xfffff800000003ff),
1057        UINT64_C(0xfffff800000007ff),
1058        UINT64_C(0xfffff80000000fff),
1059        UINT64_C(0xfffff80000001fff),
1060        UINT64_C(0xfffff80000003fff),
1061        UINT64_C(0xfffff80000007fff),
1062        UINT64_C(0xfffff8000000ffff),
1063        UINT64_C(0xfffff8000001ffff),
1064        UINT64_C(0xfffff8000003ffff),
1065        UINT64_C(0xfffff8000007ffff),
1066        UINT64_C(0xfffff800000fffff),
1067        UINT64_C(0xfffff800001fffff),
1068        UINT64_C(0xfffff800003fffff),
1069        UINT64_C(0xfffff800007fffff),
1070        UINT64_C(0xfffff80000ffffff),
1071        UINT64_C(0xfffff80001ffffff),
1072        UINT64_C(0xfffff80003ffffff),
1073        UINT64_C(0xfffff80007ffffff),
1074        UINT64_C(0xfffff8000fffffff),
1075        UINT64_C(0xfffff8001fffffff),
1076        UINT64_C(0xfffff8003fffffff),
1077        UINT64_C(0xfffff8007fffffff),
1078        UINT64_C(0xfffff800ffffffff),
1079        UINT64_C(0xfffff801ffffffff),
1080        UINT64_C(0xfffff803ffffffff),
1081        UINT64_C(0xfffff807ffffffff),
1082        UINT64_C(0xfffff80fffffffff),
1083        UINT64_C(0xfffff81fffffffff),
1084        UINT64_C(0xfffff83fffffffff),
1085        UINT64_C(0xfffff87fffffffff),
1086        UINT64_C(0xfffff8ffffffffff),
1087        UINT64_C(0xfffff9ffffffffff),
1088        UINT64_C(0xfffffbffffffffff)
1089    },
1090    {
1091        UINT64_C(0xfffff00000000000),
1092        UINT64_C(0xfffff00000000001),
1093        UINT64_C(0xfffff00000000003),
1094        UINT64_C(0xfffff00000000007),
1095        UINT64_C(0xfffff0000000000f),
1096        UINT64_C(0xfffff0000000001f),
1097        UINT64_C(0xfffff0000000003f),
1098        UINT64_C(0xfffff0000000007f),
1099        UINT64_C(0xfffff000000000ff),
1100        UINT64_C(0xfffff000000001ff),
1101        UINT64_C(0xfffff000000003ff),
1102        UINT64_C(0xfffff000000007ff),
1103        UINT64_C(0xfffff00000000fff),
1104        UINT64_C(0xfffff00000001fff),
1105        UINT64_C(0xfffff00000003fff),
1106        UINT64_C(0xfffff00000007fff),
1107        UINT64_C(0xfffff0000000ffff),
1108        UINT64_C(0xfffff0000001ffff),
1109        UINT64_C(0xfffff0000003ffff),
1110        UINT64_C(0xfffff0000007ffff),
1111        UINT64_C(0xfffff000000fffff),
1112        UINT64_C(0xfffff000001fffff),
1113        UINT64_C(0xfffff000003fffff),
1114        UINT64_C(0xfffff000007fffff),
1115        UINT64_C(0xfffff00000ffffff),
1116        UINT64_C(0xfffff00001ffffff),
1117        UINT64_C(0xfffff00003ffffff),
1118        UINT64_C(0xfffff00007ffffff),
1119        UINT64_C(0xfffff0000fffffff),
1120        UINT64_C(0xfffff0001fffffff),
1121        UINT64_C(0xfffff0003fffffff),
1122        UINT64_C(0xfffff0007fffffff),
1123        UINT64_C(0xfffff000ffffffff),
1124        UINT64_C(0xfffff001ffffffff),
1125        UINT64_C(0xfffff003ffffffff),
1126        UINT64_C(0xfffff007ffffffff),
1127        UINT64_C(0xfffff00fffffffff),
1128        UINT64_C(0xfffff01fffffffff),
1129        UINT64_C(0xfffff03fffffffff),
1130        UINT64_C(0xfffff07fffffffff),
1131        UINT64_C(0xfffff0ffffffffff),
1132        UINT64_C(0xfffff1ffffffffff),
1133        UINT64_C(0xfffff3ffffffffff),
1134        UINT64_C(0xfffff7ffffffffff)
1135    },
1136    {
1137        UINT64_C(0xffffe00000000000),
1138        UINT64_C(0xffffe00000000001),
1139        UINT64_C(0xffffe00000000003),
1140        UINT64_C(0xffffe00000000007),
1141        UINT64_C(0xffffe0000000000f),
1142        UINT64_C(0xffffe0000000001f),
1143        UINT64_C(0xffffe0000000003f),
1144        UINT64_C(0xffffe0000000007f),
1145        UINT64_C(0xffffe000000000ff),
1146        UINT64_C(0xffffe000000001ff),
1147        UINT64_C(0xffffe000000003ff),
1148        UINT64_C(0xffffe000000007ff),
1149        UINT64_C(0xffffe00000000fff),
1150        UINT64_C(0xffffe00000001fff),
1151        UINT64_C(0xffffe00000003fff),
1152        UINT64_C(0xffffe00000007fff),
1153        UINT64_C(0xffffe0000000ffff),
1154        UINT64_C(0xffffe0000001ffff),
1155        UINT64_C(0xffffe0000003ffff),
1156        UINT64_C(0xffffe0000007ffff),
1157        UINT64_C(0xffffe000000fffff),
1158        UINT64_C(0xffffe000001fffff),
1159        UINT64_C(0xffffe000003fffff),
1160        UINT64_C(0xffffe000007fffff),
1161        UINT64_C(0xffffe00000ffffff),
1162        UINT64_C(0xffffe00001ffffff),
1163        UINT64_C(0xffffe00003ffffff),
1164        UINT64_C(0xffffe00007ffffff),
1165        UINT64_C(0xffffe0000fffffff),
1166        UINT64_C(0xffffe0001fffffff),
1167        UINT64_C(0xffffe0003fffffff),
1168        UINT64_C(0xffffe0007fffffff),
1169        UINT64_C(0xffffe000ffffffff),
1170        UINT64_C(0xffffe001ffffffff),
1171        UINT64_C(0xffffe003ffffffff),
1172        UINT64_C(0xffffe007ffffffff),
1173        UINT64_C(0xffffe00fffffffff),
1174        UINT64_C(0xffffe01fffffffff),
1175        UINT64_C(0xffffe03fffffffff),
1176        UINT64_C(0xffffe07fffffffff),
1177        UINT64_C(0xffffe0ffffffffff),
1178        UINT64_C(0xffffe1ffffffffff),
1179        UINT64_C(0xffffe3ffffffffff),
1180        UINT64_C(0xffffe7ffffffffff),
1181        UINT64_C(0xffffefffffffffff)
1182    },
1183    {
1184        UINT64_C(0xffffc00000000000),
1185        UINT64_C(0xffffc00000000001),
1186        UINT64_C(0xffffc00000000003),
1187        UINT64_C(0xffffc00000000007),
1188        UINT64_C(0xffffc0000000000f),
1189        UINT64_C(0xffffc0000000001f),
1190        UINT64_C(0xffffc0000000003f),
1191        UINT64_C(0xffffc0000000007f),
1192        UINT64_C(0xffffc000000000ff),
1193        UINT64_C(0xffffc000000001ff),
1194        UINT64_C(0xffffc000000003ff),
1195        UINT64_C(0xffffc000000007ff),
1196        UINT64_C(0xffffc00000000fff),
1197        UINT64_C(0xffffc00000001fff),
1198        UINT64_C(0xffffc00000003fff),
1199        UINT64_C(0xffffc00000007fff),
1200        UINT64_C(0xffffc0000000ffff),
1201        UINT64_C(0xffffc0000001ffff),
1202        UINT64_C(0xffffc0000003ffff),
1203        UINT64_C(0xffffc0000007ffff),
1204        UINT64_C(0xffffc000000fffff),
1205        UINT64_C(0xffffc000001fffff),
1206        UINT64_C(0xffffc000003fffff),
1207        UINT64_C(0xffffc000007fffff),
1208        UINT64_C(0xffffc00000ffffff),
1209        UINT64_C(0xffffc00001ffffff),
1210        UINT64_C(0xffffc00003ffffff),
1211        UINT64_C(0xffffc00007ffffff),
1212        UINT64_C(0xffffc0000fffffff),
1213        UINT64_C(0xffffc0001fffffff),
1214        UINT64_C(0xffffc0003fffffff),
1215        UINT64_C(0xffffc0007fffffff),
1216        UINT64_C(0xffffc000ffffffff),
1217        UINT64_C(0xffffc001ffffffff),
1218        UINT64_C(0xffffc003ffffffff),
1219        UINT64_C(0xffffc007ffffffff),
1220        UINT64_C(0xffffc00fffffffff),
1221        UINT64_C(0xffffc01fffffffff),
1222        UINT64_C(0xffffc03fffffffff),
1223        UINT64_C(0xffffc07fffffffff),
1224        UINT64_C(0xffffc0ffffffffff),
1225        UINT64_C(0xffffc1ffffffffff),
1226        UINT64_C(0xffffc3ffffffffff),
1227        UINT64_C(0xffffc7ffffffffff),
1228        UINT64_C(0xffffcfffffffffff),
1229        UINT64_C(0xffffdfffffffffff)
1230    },
1231    {
1232        UINT64_C(0xffff800000000000),
1233        UINT64_C(0xffff800000000001),
1234        UINT64_C(0xffff800000000003),
1235        UINT64_C(0xffff800000000007),
1236        UINT64_C(0xffff80000000000f),
1237        UINT64_C(0xffff80000000001f),
1238        UINT64_C(0xffff80000000003f),
1239        UINT64_C(0xffff80000000007f),
1240        UINT64_C(0xffff8000000000ff),
1241        UINT64_C(0xffff8000000001ff),
1242        UINT64_C(0xffff8000000003ff),
1243        UINT64_C(0xffff8000000007ff),
1244        UINT64_C(0xffff800000000fff),
1245        UINT64_C(0xffff800000001fff),
1246        UINT64_C(0xffff800000003fff),
1247        UINT64_C(0xffff800000007fff),
1248        UINT64_C(0xffff80000000ffff),
1249        UINT64_C(0xffff80000001ffff),
1250        UINT64_C(0xffff80000003ffff),
1251        UINT64_C(0xffff80000007ffff),
1252        UINT64_C(0xffff8000000fffff),
1253        UINT64_C(0xffff8000001fffff),
1254        UINT64_C(0xffff8000003fffff),
1255        UINT64_C(0xffff8000007fffff),
1256        UINT64_C(0xffff800000ffffff),
1257        UINT64_C(0xffff800001ffffff),
1258        UINT64_C(0xffff800003ffffff),
1259        UINT64_C(0xffff800007ffffff),
1260        UINT64_C(0xffff80000fffffff),
1261        UINT64_C(0xffff80001fffffff),
1262        UINT64_C(0xffff80003fffffff),
1263        UINT64_C(0xffff80007fffffff),
1264        UINT64_C(0xffff8000ffffffff),
1265        UINT64_C(0xffff8001ffffffff),
1266        UINT64_C(0xffff8003ffffffff),
1267        UINT64_C(0xffff8007ffffffff),
1268        UINT64_C(0xffff800fffffffff),
1269        UINT64_C(0xffff801fffffffff),
1270        UINT64_C(0xffff803fffffffff),
1271        UINT64_C(0xffff807fffffffff),
1272        UINT64_C(0xffff80ffffffffff),
1273        UINT64_C(0xffff81ffffffffff),
1274        UINT64_C(0xffff83ffffffffff),
1275        UINT64_C(0xffff87ffffffffff),
1276        UINT64_C(0xffff8fffffffffff),
1277        UINT64_C(0xffff9fffffffffff),
1278        UINT64_C(0xffffbfffffffffff)
1279    },
1280    {
1281        UINT64_C(0xffff000000000000),
1282        UINT64_C(0xffff000000000001),
1283        UINT64_C(0xffff000000000003),
1284        UINT64_C(0xffff000000000007),
1285        UINT64_C(0xffff00000000000f),
1286        UINT64_C(0xffff00000000001f),
1287        UINT64_C(0xffff00000000003f),
1288        UINT64_C(0xffff00000000007f),
1289        UINT64_C(0xffff0000000000ff),
1290        UINT64_C(0xffff0000000001ff),
1291        UINT64_C(0xffff0000000003ff),
1292        UINT64_C(0xffff0000000007ff),
1293        UINT64_C(0xffff000000000fff),
1294        UINT64_C(0xffff000000001fff),
1295        UINT64_C(0xffff000000003fff),
1296        UINT64_C(0xffff000000007fff),
1297        UINT64_C(0xffff00000000ffff),
1298        UINT64_C(0xffff00000001ffff),
1299        UINT64_C(0xffff00000003ffff),
1300        UINT64_C(0xffff00000007ffff),
1301        UINT64_C(0xffff0000000fffff),
1302        UINT64_C(0xffff0000001fffff),
1303        UINT64_C(0xffff0000003fffff),
1304        UINT64_C(0xffff0000007fffff),
1305        UINT64_C(0xffff000000ffffff),
1306        UINT64_C(0xffff000001ffffff),
1307        UINT64_C(0xffff000003ffffff),
1308        UINT64_C(0xffff000007ffffff),
1309        UINT64_C(0xffff00000fffffff),
1310        UINT64_C(0xffff00001fffffff),
1311        UINT64_C(0xffff00003fffffff),
1312        UINT64_C(0xffff00007fffffff),
1313        UINT64_C(0xffff0000ffffffff),
1314        UINT64_C(0xffff0001ffffffff),
1315        UINT64_C(0xffff0003ffffffff),
1316        UINT64_C(0xffff0007ffffffff),
1317        UINT64_C(0xffff000fffffffff),
1318        UINT64_C(0xffff001fffffffff),
1319        UINT64_C(0xffff003fffffffff),
1320        UINT64_C(0xffff007fffffffff),
1321        UINT64_C(0xffff00ffffffffff),
1322        UINT64_C(0xffff01ffffffffff),
1323        UINT64_C(0xffff03ffffffffff),
1324        UINT64_C(0xffff07ffffffffff),
1325        UINT64_C(0xffff0fffffffffff),
1326        UINT64_C(0xffff1fffffffffff),
1327        UINT64_C(0xffff3fffffffffff),
1328        UINT64_C(0xffff7fffffffffff)
1329    },
1330    {
1331        UINT64_C(0xfffe000000000000),
1332        UINT64_C(0xfffe000000000001),
1333        UINT64_C(0xfffe000000000003),
1334        UINT64_C(0xfffe000000000007),
1335        UINT64_C(0xfffe00000000000f),
1336        UINT64_C(0xfffe00000000001f),
1337        UINT64_C(0xfffe00000000003f),
1338        UINT64_C(0xfffe00000000007f),
1339        UINT64_C(0xfffe0000000000ff),
1340        UINT64_C(0xfffe0000000001ff),
1341        UINT64_C(0xfffe0000000003ff),
1342        UINT64_C(0xfffe0000000007ff),
1343        UINT64_C(0xfffe000000000fff),
1344        UINT64_C(0xfffe000000001fff),
1345        UINT64_C(0xfffe000000003fff),
1346        UINT64_C(0xfffe000000007fff),
1347        UINT64_C(0xfffe00000000ffff),
1348        UINT64_C(0xfffe00000001ffff),
1349        UINT64_C(0xfffe00000003ffff),
1350        UINT64_C(0xfffe00000007ffff),
1351        UINT64_C(0xfffe0000000fffff),
1352        UINT64_C(0xfffe0000001fffff),
1353        UINT64_C(0xfffe0000003fffff),
1354        UINT64_C(0xfffe0000007fffff),
1355        UINT64_C(0xfffe000000ffffff),
1356        UINT64_C(0xfffe000001ffffff),
1357        UINT64_C(0xfffe000003ffffff),
1358        UINT64_C(0xfffe000007ffffff),
1359        UINT64_C(0xfffe00000fffffff),
1360        UINT64_C(0xfffe00001fffffff),
1361        UINT64_C(0xfffe00003fffffff),
1362        UINT64_C(0xfffe00007fffffff),
1363        UINT64_C(0xfffe0000ffffffff),
1364        UINT64_C(0xfffe0001ffffffff),
1365        UINT64_C(0xfffe0003ffffffff),
1366        UINT64_C(0xfffe0007ffffffff),
1367        UINT64_C(0xfffe000fffffffff),
1368        UINT64_C(0xfffe001fffffffff),
1369        UINT64_C(0xfffe003fffffffff),
1370        UINT64_C(0xfffe007fffffffff),
1371        UINT64_C(0xfffe00ffffffffff),
1372        UINT64_C(0xfffe01ffffffffff),
1373        UINT64_C(0xfffe03ffffffffff),
1374        UINT64_C(0xfffe07ffffffffff),
1375        UINT64_C(0xfffe0fffffffffff),
1376        UINT64_C(0xfffe1fffffffffff),
1377        UINT64_C(0xfffe3fffffffffff),
1378        UINT64_C(0xfffe7fffffffffff),
1379        UINT64_C(0xfffeffffffffffff)
1380    },
1381    {
1382        UINT64_C(0xfffc000000000000),
1383        UINT64_C(0xfffc000000000001),
1384        UINT64_C(0xfffc000000000003),
1385        UINT64_C(0xfffc000000000007),
1386        UINT64_C(0xfffc00000000000f),
1387        UINT64_C(0xfffc00000000001f),
1388        UINT64_C(0xfffc00000000003f),
1389        UINT64_C(0xfffc00000000007f),
1390        UINT64_C(0xfffc0000000000ff),
1391        UINT64_C(0xfffc0000000001ff),
1392        UINT64_C(0xfffc0000000003ff),
1393        UINT64_C(0xfffc0000000007ff),
1394        UINT64_C(0xfffc000000000fff),
1395        UINT64_C(0xfffc000000001fff),
1396        UINT64_C(0xfffc000000003fff),
1397        UINT64_C(0xfffc000000007fff),
1398        UINT64_C(0xfffc00000000ffff),
1399        UINT64_C(0xfffc00000001ffff),
1400        UINT64_C(0xfffc00000003ffff),
1401        UINT64_C(0xfffc00000007ffff),
1402        UINT64_C(0xfffc0000000fffff),
1403        UINT64_C(0xfffc0000001fffff),
1404        UINT64_C(0xfffc0000003fffff),
1405        UINT64_C(0xfffc0000007fffff),
1406        UINT64_C(0xfffc000000ffffff),
1407        UINT64_C(0xfffc000001ffffff),
1408        UINT64_C(0xfffc000003ffffff),
1409        UINT64_C(0xfffc000007ffffff),
1410        UINT64_C(0xfffc00000fffffff),
1411        UINT64_C(0xfffc00001fffffff),
1412        UINT64_C(0xfffc00003fffffff),
1413        UINT64_C(0xfffc00007fffffff),
1414        UINT64_C(0xfffc0000ffffffff),
1415        UINT64_C(0xfffc0001ffffffff),
1416        UINT64_C(0xfffc0003ffffffff),
1417        UINT64_C(0xfffc0007ffffffff),
1418        UINT64_C(0xfffc000fffffffff),
1419        UINT64_C(0xfffc001fffffffff),
1420        UINT64_C(0xfffc003fffffffff),
1421        UINT64_C(0xfffc007fffffffff),
1422        UINT64_C(0xfffc00ffffffffff),
1423        UINT64_C(0xfffc01ffffffffff),
1424        UINT64_C(0xfffc03ffffffffff),
1425        UINT64_C(0xfffc07ffffffffff),
1426        UINT64_C(0xfffc0fffffffffff),
1427        UINT64_C(0xfffc1fffffffffff),
1428        UINT64_C(0xfffc3fffffffffff),
1429        UINT64_C(0xfffc7fffffffffff),
1430        UINT64_C(0xfffcffffffffffff),
1431        UINT64_C(0xfffdffffffffffff)
1432    },
1433    {
1434        UINT64_C(0xfff8000000000000),
1435        UINT64_C(0xfff8000000000001),
1436        UINT64_C(0xfff8000000000003),
1437        UINT64_C(0xfff8000000000007),
1438        UINT64_C(0xfff800000000000f),
1439        UINT64_C(0xfff800000000001f),
1440        UINT64_C(0xfff800000000003f),
1441        UINT64_C(0xfff800000000007f),
1442        UINT64_C(0xfff80000000000ff),
1443        UINT64_C(0xfff80000000001ff),
1444        UINT64_C(0xfff80000000003ff),
1445        UINT64_C(0xfff80000000007ff),
1446        UINT64_C(0xfff8000000000fff),
1447        UINT64_C(0xfff8000000001fff),
1448        UINT64_C(0xfff8000000003fff),
1449        UINT64_C(0xfff8000000007fff),
1450        UINT64_C(0xfff800000000ffff),
1451        UINT64_C(0xfff800000001ffff),
1452        UINT64_C(0xfff800000003ffff),
1453        UINT64_C(0xfff800000007ffff),
1454        UINT64_C(0xfff80000000fffff),
1455        UINT64_C(0xfff80000001fffff),
1456        UINT64_C(0xfff80000003fffff),
1457        UINT64_C(0xfff80000007fffff),
1458        UINT64_C(0xfff8000000ffffff),
1459        UINT64_C(0xfff8000001ffffff),
1460        UINT64_C(0xfff8000003ffffff),
1461        UINT64_C(0xfff8000007ffffff),
1462        UINT64_C(0xfff800000fffffff),
1463        UINT64_C(0xfff800001fffffff),
1464        UINT64_C(0xfff800003fffffff),
1465        UINT64_C(0xfff800007fffffff),
1466        UINT64_C(0xfff80000ffffffff),
1467        UINT64_C(0xfff80001ffffffff),
1468        UINT64_C(0xfff80003ffffffff),
1469        UINT64_C(0xfff80007ffffffff),
1470        UINT64_C(0xfff8000fffffffff),
1471        UINT64_C(0xfff8001fffffffff),
1472        UINT64_C(0xfff8003fffffffff),
1473        UINT64_C(0xfff8007fffffffff),
1474        UINT64_C(0xfff800ffffffffff),
1475        UINT64_C(0xfff801ffffffffff),
1476        UINT64_C(0xfff803ffffffffff),
1477        UINT64_C(0xfff807ffffffffff),
1478        UINT64_C(0xfff80fffffffffff),
1479        UINT64_C(0xfff81fffffffffff),
1480        UINT64_C(0xfff83fffffffffff),
1481        UINT64_C(0xfff87fffffffffff),
1482        UINT64_C(0xfff8ffffffffffff),
1483        UINT64_C(0xfff9ffffffffffff),
1484        UINT64_C(0xfffbffffffffffff)
1485    },
1486    {
1487        UINT64_C(0xfff0000000000000),
1488        UINT64_C(0xfff0000000000001),
1489        UINT64_C(0xfff0000000000003),
1490        UINT64_C(0xfff0000000000007),
1491        UINT64_C(0xfff000000000000f),
1492        UINT64_C(0xfff000000000001f),
1493        UINT64_C(0xfff000000000003f),
1494        UINT64_C(0xfff000000000007f),
1495        UINT64_C(0xfff00000000000ff),
1496        UINT64_C(0xfff00000000001ff),
1497        UINT64_C(0xfff00000000003ff),
1498        UINT64_C(0xfff00000000007ff),
1499        UINT64_C(0xfff0000000000fff),
1500        UINT64_C(0xfff0000000001fff),
1501        UINT64_C(0xfff0000000003fff),
1502        UINT64_C(0xfff0000000007fff),
1503        UINT64_C(0xfff000000000ffff),
1504        UINT64_C(0xfff000000001ffff),
1505        UINT64_C(0xfff000000003ffff),
1506        UINT64_C(0xfff000000007ffff),
1507        UINT64_C(0xfff00000000fffff),
1508        UINT64_C(0xfff00000001fffff),
1509        UINT64_C(0xfff00000003fffff),
1510        UINT64_C(0xfff00000007fffff),
1511        UINT64_C(0xfff0000000ffffff),
1512        UINT64_C(0xfff0000001ffffff),
1513        UINT64_C(0xfff0000003ffffff),
1514        UINT64_C(0xfff0000007ffffff),
1515        UINT64_C(0xfff000000fffffff),
1516        UINT64_C(0xfff000001fffffff),
1517        UINT64_C(0xfff000003fffffff),
1518        UINT64_C(0xfff000007fffffff),
1519        UINT64_C(0xfff00000ffffffff),
1520        UINT64_C(0xfff00001ffffffff),
1521        UINT64_C(0xfff00003ffffffff),
1522        UINT64_C(0xfff00007ffffffff),
1523        UINT64_C(0xfff0000fffffffff),
1524        UINT64_C(0xfff0001fffffffff),
1525        UINT64_C(0xfff0003fffffffff),
1526        UINT64_C(0xfff0007fffffffff),
1527        UINT64_C(0xfff000ffffffffff),
1528        UINT64_C(0xfff001ffffffffff),
1529        UINT64_C(0xfff003ffffffffff),
1530        UINT64_C(0xfff007ffffffffff),
1531        UINT64_C(0xfff00fffffffffff),
1532        UINT64_C(0xfff01fffffffffff),
1533        UINT64_C(0xfff03fffffffffff),
1534        UINT64_C(0xfff07fffffffffff),
1535        UINT64_C(0xfff0ffffffffffff),
1536        UINT64_C(0xfff1ffffffffffff),
1537        UINT64_C(0xfff3ffffffffffff),
1538        UINT64_C(0xfff7ffffffffffff)
1539    },
1540    {
1541        UINT64_C(0xffe0000000000000),
1542        UINT64_C(0xffe0000000000001),
1543        UINT64_C(0xffe0000000000003),
1544        UINT64_C(0xffe0000000000007),
1545        UINT64_C(0xffe000000000000f),
1546        UINT64_C(0xffe000000000001f),
1547        UINT64_C(0xffe000000000003f),
1548        UINT64_C(0xffe000000000007f),
1549        UINT64_C(0xffe00000000000ff),
1550        UINT64_C(0xffe00000000001ff),
1551        UINT64_C(0xffe00000000003ff),
1552        UINT64_C(0xffe00000000007ff),
1553        UINT64_C(0xffe0000000000fff),
1554        UINT64_C(0xffe0000000001fff),
1555        UINT64_C(0xffe0000000003fff),
1556        UINT64_C(0xffe0000000007fff),
1557        UINT64_C(0xffe000000000ffff),
1558        UINT64_C(0xffe000000001ffff),
1559        UINT64_C(0xffe000000003ffff),
1560        UINT64_C(0xffe000000007ffff),
1561        UINT64_C(0xffe00000000fffff),
1562        UINT64_C(0xffe00000001fffff),
1563        UINT64_C(0xffe00000003fffff),
1564        UINT64_C(0xffe00000007fffff),
1565        UINT64_C(0xffe0000000ffffff),
1566        UINT64_C(0xffe0000001ffffff),
1567        UINT64_C(0xffe0000003ffffff),
1568        UINT64_C(0xffe0000007ffffff),
1569        UINT64_C(0xffe000000fffffff),
1570        UINT64_C(0xffe000001fffffff),
1571        UINT64_C(0xffe000003fffffff),
1572        UINT64_C(0xffe000007fffffff),
1573        UINT64_C(0xffe00000ffffffff),
1574        UINT64_C(0xffe00001ffffffff),
1575        UINT64_C(0xffe00003ffffffff),
1576        UINT64_C(0xffe00007ffffffff),
1577        UINT64_C(0xffe0000fffffffff),
1578        UINT64_C(0xffe0001fffffffff),
1579        UINT64_C(0xffe0003fffffffff),
1580        UINT64_C(0xffe0007fffffffff),
1581        UINT64_C(0xffe000ffffffffff),
1582        UINT64_C(0xffe001ffffffffff),
1583        UINT64_C(0xffe003ffffffffff),
1584        UINT64_C(0xffe007ffffffffff),
1585        UINT64_C(0xffe00fffffffffff),
1586        UINT64_C(0xffe01fffffffffff),
1587        UINT64_C(0xffe03fffffffffff),
1588        UINT64_C(0xffe07fffffffffff),
1589        UINT64_C(0xffe0ffffffffffff),
1590        UINT64_C(0xffe1ffffffffffff),
1591        UINT64_C(0xffe3ffffffffffff),
1592        UINT64_C(0xffe7ffffffffffff),
1593        UINT64_C(0xffefffffffffffff)
1594    },
1595    {
1596        UINT64_C(0xffc0000000000000),
1597        UINT64_C(0xffc0000000000001),
1598        UINT64_C(0xffc0000000000003),
1599        UINT64_C(0xffc0000000000007),
1600        UINT64_C(0xffc000000000000f),
1601        UINT64_C(0xffc000000000001f),
1602        UINT64_C(0xffc000000000003f),
1603        UINT64_C(0xffc000000000007f),
1604        UINT64_C(0xffc00000000000ff),
1605        UINT64_C(0xffc00000000001ff),
1606        UINT64_C(0xffc00000000003ff),
1607        UINT64_C(0xffc00000000007ff),
1608        UINT64_C(0xffc0000000000fff),
1609        UINT64_C(0xffc0000000001fff),
1610        UINT64_C(0xffc0000000003fff),
1611        UINT64_C(0xffc0000000007fff),
1612        UINT64_C(0xffc000000000ffff),
1613        UINT64_C(0xffc000000001ffff),
1614        UINT64_C(0xffc000000003ffff),
1615        UINT64_C(0xffc000000007ffff),
1616        UINT64_C(0xffc00000000fffff),
1617        UINT64_C(0xffc00000001fffff),
1618        UINT64_C(0xffc00000003fffff),
1619        UINT64_C(0xffc00000007fffff),
1620        UINT64_C(0xffc0000000ffffff),
1621        UINT64_C(0xffc0000001ffffff),
1622        UINT64_C(0xffc0000003ffffff),
1623        UINT64_C(0xffc0000007ffffff),
1624        UINT64_C(0xffc000000fffffff),
1625        UINT64_C(0xffc000001fffffff),
1626        UINT64_C(0xffc000003fffffff),
1627        UINT64_C(0xffc000007fffffff),
1628        UINT64_C(0xffc00000ffffffff),
1629        UINT64_C(0xffc00001ffffffff),
1630        UINT64_C(0xffc00003ffffffff),
1631        UINT64_C(0xffc00007ffffffff),
1632        UINT64_C(0xffc0000fffffffff),
1633        UINT64_C(0xffc0001fffffffff),
1634        UINT64_C(0xffc0003fffffffff),
1635        UINT64_C(0xffc0007fffffffff),
1636        UINT64_C(0xffc000ffffffffff),
1637        UINT64_C(0xffc001ffffffffff),
1638        UINT64_C(0xffc003ffffffffff),
1639        UINT64_C(0xffc007ffffffffff),
1640        UINT64_C(0xffc00fffffffffff),
1641        UINT64_C(0xffc01fffffffffff),
1642        UINT64_C(0xffc03fffffffffff),
1643        UINT64_C(0xffc07fffffffffff),
1644        UINT64_C(0xffc0ffffffffffff),
1645        UINT64_C(0xffc1ffffffffffff),
1646        UINT64_C(0xffc3ffffffffffff),
1647        UINT64_C(0xffc7ffffffffffff),
1648        UINT64_C(0xffcfffffffffffff),
1649        UINT64_C(0xffdfffffffffffff)
1650    },
1651    {
1652        UINT64_C(0xff80000000000000),
1653        UINT64_C(0xff80000000000001),
1654        UINT64_C(0xff80000000000003),
1655        UINT64_C(0xff80000000000007),
1656        UINT64_C(0xff8000000000000f),
1657        UINT64_C(0xff8000000000001f),
1658        UINT64_C(0xff8000000000003f),
1659        UINT64_C(0xff8000000000007f),
1660        UINT64_C(0xff800000000000ff),
1661        UINT64_C(0xff800000000001ff),
1662        UINT64_C(0xff800000000003ff),
1663        UINT64_C(0xff800000000007ff),
1664        UINT64_C(0xff80000000000fff),
1665        UINT64_C(0xff80000000001fff),
1666        UINT64_C(0xff80000000003fff),
1667        UINT64_C(0xff80000000007fff),
1668        UINT64_C(0xff8000000000ffff),
1669        UINT64_C(0xff8000000001ffff),
1670        UINT64_C(0xff8000000003ffff),
1671        UINT64_C(0xff8000000007ffff),
1672        UINT64_C(0xff800000000fffff),
1673        UINT64_C(0xff800000001fffff),
1674        UINT64_C(0xff800000003fffff),
1675        UINT64_C(0xff800000007fffff),
1676        UINT64_C(0xff80000000ffffff),
1677        UINT64_C(0xff80000001ffffff),
1678        UINT64_C(0xff80000003ffffff),
1679        UINT64_C(0xff80000007ffffff),
1680        UINT64_C(0xff8000000fffffff),
1681        UINT64_C(0xff8000001fffffff),
1682        UINT64_C(0xff8000003fffffff),
1683        UINT64_C(0xff8000007fffffff),
1684        UINT64_C(0xff800000ffffffff),
1685        UINT64_C(0xff800001ffffffff),
1686        UINT64_C(0xff800003ffffffff),
1687        UINT64_C(0xff800007ffffffff),
1688        UINT64_C(0xff80000fffffffff),
1689        UINT64_C(0xff80001fffffffff),
1690        UINT64_C(0xff80003fffffffff),
1691        UINT64_C(0xff80007fffffffff),
1692        UINT64_C(0xff8000ffffffffff),
1693        UINT64_C(0xff8001ffffffffff),
1694        UINT64_C(0xff8003ffffffffff),
1695        UINT64_C(0xff8007ffffffffff),
1696        UINT64_C(0xff800fffffffffff),
1697        UINT64_C(0xff801fffffffffff),
1698        UINT64_C(0xff803fffffffffff),
1699        UINT64_C(0xff807fffffffffff),
1700        UINT64_C(0xff80ffffffffffff),
1701        UINT64_C(0xff81ffffffffffff),
1702        UINT64_C(0xff83ffffffffffff),
1703        UINT64_C(0xff87ffffffffffff),
1704        UINT64_C(0xff8fffffffffffff),
1705        UINT64_C(0xff9fffffffffffff),
1706        UINT64_C(0xffbfffffffffffff)
1707    },
1708    {
1709        UINT64_C(0xff00000000000000),
1710        UINT64_C(0xff00000000000001),
1711        UINT64_C(0xff00000000000003),
1712        UINT64_C(0xff00000000000007),
1713        UINT64_C(0xff0000000000000f),
1714        UINT64_C(0xff0000000000001f),
1715        UINT64_C(0xff0000000000003f),
1716        UINT64_C(0xff0000000000007f),
1717        UINT64_C(0xff000000000000ff),
1718        UINT64_C(0xff000000000001ff),
1719        UINT64_C(0xff000000000003ff),
1720        UINT64_C(0xff000000000007ff),
1721        UINT64_C(0xff00000000000fff),
1722        UINT64_C(0xff00000000001fff),
1723        UINT64_C(0xff00000000003fff),
1724        UINT64_C(0xff00000000007fff),
1725        UINT64_C(0xff0000000000ffff),
1726        UINT64_C(0xff0000000001ffff),
1727        UINT64_C(0xff0000000003ffff),
1728        UINT64_C(0xff0000000007ffff),
1729        UINT64_C(0xff000000000fffff),
1730        UINT64_C(0xff000000001fffff),
1731        UINT64_C(0xff000000003fffff),
1732        UINT64_C(0xff000000007fffff),
1733        UINT64_C(0xff00000000ffffff),
1734        UINT64_C(0xff00000001ffffff),
1735        UINT64_C(0xff00000003ffffff),
1736        UINT64_C(0xff00000007ffffff),
1737        UINT64_C(0xff0000000fffffff),
1738        UINT64_C(0xff0000001fffffff),
1739        UINT64_C(0xff0000003fffffff),
1740        UINT64_C(0xff0000007fffffff),
1741        UINT64_C(0xff000000ffffffff),
1742        UINT64_C(0xff000001ffffffff),
1743        UINT64_C(0xff000003ffffffff),
1744        UINT64_C(0xff000007ffffffff),
1745        UINT64_C(0xff00000fffffffff),
1746        UINT64_C(0xff00001fffffffff),
1747        UINT64_C(0xff00003fffffffff),
1748        UINT64_C(0xff00007fffffffff),
1749        UINT64_C(0xff0000ffffffffff),
1750        UINT64_C(0xff0001ffffffffff),
1751        UINT64_C(0xff0003ffffffffff),
1752        UINT64_C(0xff0007ffffffffff),
1753        UINT64_C(0xff000fffffffffff),
1754        UINT64_C(0xff001fffffffffff),
1755        UINT64_C(0xff003fffffffffff),
1756        UINT64_C(0xff007fffffffffff),
1757        UINT64_C(0xff00ffffffffffff),
1758        UINT64_C(0xff01ffffffffffff),
1759        UINT64_C(0xff03ffffffffffff),
1760        UINT64_C(0xff07ffffffffffff),
1761        UINT64_C(0xff0fffffffffffff),
1762        UINT64_C(0xff1fffffffffffff),
1763        UINT64_C(0xff3fffffffffffff),
1764        UINT64_C(0xff7fffffffffffff)
1765    },
1766    {
1767        UINT64_C(0xfe00000000000000),
1768        UINT64_C(0xfe00000000000001),
1769        UINT64_C(0xfe00000000000003),
1770        UINT64_C(0xfe00000000000007),
1771        UINT64_C(0xfe0000000000000f),
1772        UINT64_C(0xfe0000000000001f),
1773        UINT64_C(0xfe0000000000003f),
1774        UINT64_C(0xfe0000000000007f),
1775        UINT64_C(0xfe000000000000ff),
1776        UINT64_C(0xfe000000000001ff),
1777        UINT64_C(0xfe000000000003ff),
1778        UINT64_C(0xfe000000000007ff),
1779        UINT64_C(0xfe00000000000fff),
1780        UINT64_C(0xfe00000000001fff),
1781        UINT64_C(0xfe00000000003fff),
1782        UINT64_C(0xfe00000000007fff),
1783        UINT64_C(0xfe0000000000ffff),
1784        UINT64_C(0xfe0000000001ffff),
1785        UINT64_C(0xfe0000000003ffff),
1786        UINT64_C(0xfe0000000007ffff),
1787        UINT64_C(0xfe000000000fffff),
1788        UINT64_C(0xfe000000001fffff),
1789        UINT64_C(0xfe000000003fffff),
1790        UINT64_C(0xfe000000007fffff),
1791        UINT64_C(0xfe00000000ffffff),
1792        UINT64_C(0xfe00000001ffffff),
1793        UINT64_C(0xfe00000003ffffff),
1794        UINT64_C(0xfe00000007ffffff),
1795        UINT64_C(0xfe0000000fffffff),
1796        UINT64_C(0xfe0000001fffffff),
1797        UINT64_C(0xfe0000003fffffff),
1798        UINT64_C(0xfe0000007fffffff),
1799        UINT64_C(0xfe000000ffffffff),
1800        UINT64_C(0xfe000001ffffffff),
1801        UINT64_C(0xfe000003ffffffff),
1802        UINT64_C(0xfe000007ffffffff),
1803        UINT64_C(0xfe00000fffffffff),
1804        UINT64_C(0xfe00001fffffffff),
1805        UINT64_C(0xfe00003fffffffff),
1806        UINT64_C(0xfe00007fffffffff),
1807        UINT64_C(0xfe0000ffffffffff),
1808        UINT64_C(0xfe0001ffffffffff),
1809        UINT64_C(0xfe0003ffffffffff),
1810        UINT64_C(0xfe0007ffffffffff),
1811        UINT64_C(0xfe000fffffffffff),
1812        UINT64_C(0xfe001fffffffffff),
1813        UINT64_C(0xfe003fffffffffff),
1814        UINT64_C(0xfe007fffffffffff),
1815        UINT64_C(0xfe00ffffffffffff),
1816        UINT64_C(0xfe01ffffffffffff),
1817        UINT64_C(0xfe03ffffffffffff),
1818        UINT64_C(0xfe07ffffffffffff),
1819        UINT64_C(0xfe0fffffffffffff),
1820        UINT64_C(0xfe1fffffffffffff),
1821        UINT64_C(0xfe3fffffffffffff),
1822        UINT64_C(0xfe7fffffffffffff),
1823        UINT64_C(0xfeffffffffffffff)
1824    },
1825    {
1826        UINT64_C(0xfc00000000000000),
1827        UINT64_C(0xfc00000000000001),
1828        UINT64_C(0xfc00000000000003),
1829        UINT64_C(0xfc00000000000007),
1830        UINT64_C(0xfc0000000000000f),
1831        UINT64_C(0xfc0000000000001f),
1832        UINT64_C(0xfc0000000000003f),
1833        UINT64_C(0xfc0000000000007f),
1834        UINT64_C(0xfc000000000000ff),
1835        UINT64_C(0xfc000000000001ff),
1836        UINT64_C(0xfc000000000003ff),
1837        UINT64_C(0xfc000000000007ff),
1838        UINT64_C(0xfc00000000000fff),
1839        UINT64_C(0xfc00000000001fff),
1840        UINT64_C(0xfc00000000003fff),
1841        UINT64_C(0xfc00000000007fff),
1842        UINT64_C(0xfc0000000000ffff),
1843        UINT64_C(0xfc0000000001ffff),
1844        UINT64_C(0xfc0000000003ffff),
1845        UINT64_C(0xfc0000000007ffff),
1846        UINT64_C(0xfc000000000fffff),
1847        UINT64_C(0xfc000000001fffff),
1848        UINT64_C(0xfc000000003fffff),
1849        UINT64_C(0xfc000000007fffff),
1850        UINT64_C(0xfc00000000ffffff),
1851        UINT64_C(0xfc00000001ffffff),
1852        UINT64_C(0xfc00000003ffffff),
1853        UINT64_C(0xfc00000007ffffff),
1854        UINT64_C(0xfc0000000fffffff),
1855        UINT64_C(0xfc0000001fffffff),
1856        UINT64_C(0xfc0000003fffffff),
1857        UINT64_C(0xfc0000007fffffff),
1858        UINT64_C(0xfc000000ffffffff),
1859        UINT64_C(0xfc000001ffffffff),
1860        UINT64_C(0xfc000003ffffffff),
1861        UINT64_C(0xfc000007ffffffff),
1862        UINT64_C(0xfc00000fffffffff),
1863        UINT64_C(0xfc00001fffffffff),
1864        UINT64_C(0xfc00003fffffffff),
1865        UINT64_C(0xfc00007fffffffff),
1866        UINT64_C(0xfc0000ffffffffff),
1867        UINT64_C(0xfc0001ffffffffff),
1868        UINT64_C(0xfc0003ffffffffff),
1869        UINT64_C(0xfc0007ffffffffff),
1870        UINT64_C(0xfc000fffffffffff),
1871        UINT64_C(0xfc001fffffffffff),
1872        UINT64_C(0xfc003fffffffffff),
1873        UINT64_C(0xfc007fffffffffff),
1874        UINT64_C(0xfc00ffffffffffff),
1875        UINT64_C(0xfc01ffffffffffff),
1876        UINT64_C(0xfc03ffffffffffff),
1877        UINT64_C(0xfc07ffffffffffff),
1878        UINT64_C(0xfc0fffffffffffff),
1879        UINT64_C(0xfc1fffffffffffff),
1880        UINT64_C(0xfc3fffffffffffff),
1881        UINT64_C(0xfc7fffffffffffff),
1882        UINT64_C(0xfcffffffffffffff),
1883        UINT64_C(0xfdffffffffffffff)
1884    },
1885    {
1886        UINT64_C(0xf800000000000000),
1887        UINT64_C(0xf800000000000001),
1888        UINT64_C(0xf800000000000003),
1889        UINT64_C(0xf800000000000007),
1890        UINT64_C(0xf80000000000000f),
1891        UINT64_C(0xf80000000000001f),
1892        UINT64_C(0xf80000000000003f),
1893        UINT64_C(0xf80000000000007f),
1894        UINT64_C(0xf8000000000000ff),
1895        UINT64_C(0xf8000000000001ff),
1896        UINT64_C(0xf8000000000003ff),
1897        UINT64_C(0xf8000000000007ff),
1898        UINT64_C(0xf800000000000fff),
1899        UINT64_C(0xf800000000001fff),
1900        UINT64_C(0xf800000000003fff),
1901        UINT64_C(0xf800000000007fff),
1902        UINT64_C(0xf80000000000ffff),
1903        UINT64_C(0xf80000000001ffff),
1904        UINT64_C(0xf80000000003ffff),
1905        UINT64_C(0xf80000000007ffff),
1906        UINT64_C(0xf8000000000fffff),
1907        UINT64_C(0xf8000000001fffff),
1908        UINT64_C(0xf8000000003fffff),
1909        UINT64_C(0xf8000000007fffff),
1910        UINT64_C(0xf800000000ffffff),
1911        UINT64_C(0xf800000001ffffff),
1912        UINT64_C(0xf800000003ffffff),
1913        UINT64_C(0xf800000007ffffff),
1914        UINT64_C(0xf80000000fffffff),
1915        UINT64_C(0xf80000001fffffff),
1916        UINT64_C(0xf80000003fffffff),
1917        UINT64_C(0xf80000007fffffff),
1918        UINT64_C(0xf8000000ffffffff),
1919        UINT64_C(0xf8000001ffffffff),
1920        UINT64_C(0xf8000003ffffffff),
1921        UINT64_C(0xf8000007ffffffff),
1922        UINT64_C(0xf800000fffffffff),
1923        UINT64_C(0xf800001fffffffff),
1924        UINT64_C(0xf800003fffffffff),
1925        UINT64_C(0xf800007fffffffff),
1926        UINT64_C(0xf80000ffffffffff),
1927        UINT64_C(0xf80001ffffffffff),
1928        UINT64_C(0xf80003ffffffffff),
1929        UINT64_C(0xf80007ffffffffff),
1930        UINT64_C(0xf8000fffffffffff),
1931        UINT64_C(0xf8001fffffffffff),
1932        UINT64_C(0xf8003fffffffffff),
1933        UINT64_C(0xf8007fffffffffff),
1934        UINT64_C(0xf800ffffffffffff),
1935        UINT64_C(0xf801ffffffffffff),
1936        UINT64_C(0xf803ffffffffffff),
1937        UINT64_C(0xf807ffffffffffff),
1938        UINT64_C(0xf80fffffffffffff),
1939        UINT64_C(0xf81fffffffffffff),
1940        UINT64_C(0xf83fffffffffffff),
1941        UINT64_C(0xf87fffffffffffff),
1942        UINT64_C(0xf8ffffffffffffff),
1943        UINT64_C(0xf9ffffffffffffff),
1944        UINT64_C(0xfbffffffffffffff)
1945    },
1946    {
1947        UINT64_C(0xf000000000000000),
1948        UINT64_C(0xf000000000000001),
1949        UINT64_C(0xf000000000000003),
1950        UINT64_C(0xf000000000000007),
1951        UINT64_C(0xf00000000000000f),
1952        UINT64_C(0xf00000000000001f),
1953        UINT64_C(0xf00000000000003f),
1954        UINT64_C(0xf00000000000007f),
1955        UINT64_C(0xf0000000000000ff),
1956        UINT64_C(0xf0000000000001ff),
1957        UINT64_C(0xf0000000000003ff),
1958        UINT64_C(0xf0000000000007ff),
1959        UINT64_C(0xf000000000000fff),
1960        UINT64_C(0xf000000000001fff),
1961        UINT64_C(0xf000000000003fff),
1962        UINT64_C(0xf000000000007fff),
1963        UINT64_C(0xf00000000000ffff),
1964        UINT64_C(0xf00000000001ffff),
1965        UINT64_C(0xf00000000003ffff),
1966        UINT64_C(0xf00000000007ffff),
1967        UINT64_C(0xf0000000000fffff),
1968        UINT64_C(0xf0000000001fffff),
1969        UINT64_C(0xf0000000003fffff),
1970        UINT64_C(0xf0000000007fffff),
1971        UINT64_C(0xf000000000ffffff),
1972        UINT64_C(0xf000000001ffffff),
1973        UINT64_C(0xf000000003ffffff),
1974        UINT64_C(0xf000000007ffffff),
1975        UINT64_C(0xf00000000fffffff),
1976        UINT64_C(0xf00000001fffffff),
1977        UINT64_C(0xf00000003fffffff),
1978        UINT64_C(0xf00000007fffffff),
1979        UINT64_C(0xf0000000ffffffff),
1980        UINT64_C(0xf0000001ffffffff),
1981        UINT64_C(0xf0000003ffffffff),
1982        UINT64_C(0xf0000007ffffffff),
1983        UINT64_C(0xf000000fffffffff),
1984        UINT64_C(0xf000001fffffffff),
1985        UINT64_C(0xf000003fffffffff),
1986        UINT64_C(0xf000007fffffffff),
1987        UINT64_C(0xf00000ffffffffff),
1988        UINT64_C(0xf00001ffffffffff),
1989        UINT64_C(0xf00003ffffffffff),
1990        UINT64_C(0xf00007ffffffffff),
1991        UINT64_C(0xf0000fffffffffff),
1992        UINT64_C(0xf0001fffffffffff),
1993        UINT64_C(0xf0003fffffffffff),
1994        UINT64_C(0xf0007fffffffffff),
1995        UINT64_C(0xf000ffffffffffff),
1996        UINT64_C(0xf001ffffffffffff),
1997        UINT64_C(0xf003ffffffffffff),
1998        UINT64_C(0xf007ffffffffffff),
1999        UINT64_C(0xf00fffffffffffff),
2000        UINT64_C(0xf01fffffffffffff),
2001        UINT64_C(0xf03fffffffffffff),
2002        UINT64_C(0xf07fffffffffffff),
2003        UINT64_C(0xf0ffffffffffffff),
2004        UINT64_C(0xf1ffffffffffffff),
2005        UINT64_C(0xf3ffffffffffffff),
2006        UINT64_C(0xf7ffffffffffffff)
2007    },
2008    {
2009        UINT64_C(0xe000000000000000),
2010        UINT64_C(0xe000000000000001),
2011        UINT64_C(0xe000000000000003),
2012        UINT64_C(0xe000000000000007),
2013        UINT64_C(0xe00000000000000f),
2014        UINT64_C(0xe00000000000001f),
2015        UINT64_C(0xe00000000000003f),
2016        UINT64_C(0xe00000000000007f),
2017        UINT64_C(0xe0000000000000ff),
2018        UINT64_C(0xe0000000000001ff),
2019        UINT64_C(0xe0000000000003ff),
2020        UINT64_C(0xe0000000000007ff),
2021        UINT64_C(0xe000000000000fff),
2022        UINT64_C(0xe000000000001fff),
2023        UINT64_C(0xe000000000003fff),
2024        UINT64_C(0xe000000000007fff),
2025        UINT64_C(0xe00000000000ffff),
2026        UINT64_C(0xe00000000001ffff),
2027        UINT64_C(0xe00000000003ffff),
2028        UINT64_C(0xe00000000007ffff),
2029        UINT64_C(0xe0000000000fffff),
2030        UINT64_C(0xe0000000001fffff),
2031        UINT64_C(0xe0000000003fffff),
2032        UINT64_C(0xe0000000007fffff),
2033        UINT64_C(0xe000000000ffffff),
2034        UINT64_C(0xe000000001ffffff),
2035        UINT64_C(0xe000000003ffffff),
2036        UINT64_C(0xe000000007ffffff),
2037        UINT64_C(0xe00000000fffffff),
2038        UINT64_C(0xe00000001fffffff),
2039        UINT64_C(0xe00000003fffffff),
2040        UINT64_C(0xe00000007fffffff),
2041        UINT64_C(0xe0000000ffffffff),
2042        UINT64_C(0xe0000001ffffffff),
2043        UINT64_C(0xe0000003ffffffff),
2044        UINT64_C(0xe0000007ffffffff),
2045        UINT64_C(0xe000000fffffffff),
2046        UINT64_C(0xe000001fffffffff),
2047        UINT64_C(0xe000003fffffffff),
2048        UINT64_C(0xe000007fffffffff),
2049        UINT64_C(0xe00000ffffffffff),
2050        UINT64_C(0xe00001ffffffffff),
2051        UINT64_C(0xe00003ffffffffff),
2052        UINT64_C(0xe00007ffffffffff),
2053        UINT64_C(0xe0000fffffffffff),
2054        UINT64_C(0xe0001fffffffffff),
2055        UINT64_C(0xe0003fffffffffff),
2056        UINT64_C(0xe0007fffffffffff),
2057        UINT64_C(0xe000ffffffffffff),
2058        UINT64_C(0xe001ffffffffffff),
2059        UINT64_C(0xe003ffffffffffff),
2060        UINT64_C(0xe007ffffffffffff),
2061        UINT64_C(0xe00fffffffffffff),
2062        UINT64_C(0xe01fffffffffffff),
2063        UINT64_C(0xe03fffffffffffff),
2064        UINT64_C(0xe07fffffffffffff),
2065        UINT64_C(0xe0ffffffffffffff),
2066        UINT64_C(0xe1ffffffffffffff),
2067        UINT64_C(0xe3ffffffffffffff),
2068        UINT64_C(0xe7ffffffffffffff),
2069        UINT64_C(0xefffffffffffffff)
2070    },
2071    {
2072        UINT64_C(0xc000000000000000),
2073        UINT64_C(0xc000000000000001),
2074        UINT64_C(0xc000000000000003),
2075        UINT64_C(0xc000000000000007),
2076        UINT64_C(0xc00000000000000f),
2077        UINT64_C(0xc00000000000001f),
2078        UINT64_C(0xc00000000000003f),
2079        UINT64_C(0xc00000000000007f),
2080        UINT64_C(0xc0000000000000ff),
2081        UINT64_C(0xc0000000000001ff),
2082        UINT64_C(0xc0000000000003ff),
2083        UINT64_C(0xc0000000000007ff),
2084        UINT64_C(0xc000000000000fff),
2085        UINT64_C(0xc000000000001fff),
2086        UINT64_C(0xc000000000003fff),
2087        UINT64_C(0xc000000000007fff),
2088        UINT64_C(0xc00000000000ffff),
2089        UINT64_C(0xc00000000001ffff),
2090        UINT64_C(0xc00000000003ffff),
2091        UINT64_C(0xc00000000007ffff),
2092        UINT64_C(0xc0000000000fffff),
2093        UINT64_C(0xc0000000001fffff),
2094        UINT64_C(0xc0000000003fffff),
2095        UINT64_C(0xc0000000007fffff),
2096        UINT64_C(0xc000000000ffffff),
2097        UINT64_C(0xc000000001ffffff),
2098        UINT64_C(0xc000000003ffffff),
2099        UINT64_C(0xc000000007ffffff),
2100        UINT64_C(0xc00000000fffffff),
2101        UINT64_C(0xc00000001fffffff),
2102        UINT64_C(0xc00000003fffffff),
2103        UINT64_C(0xc00000007fffffff),
2104        UINT64_C(0xc0000000ffffffff),
2105        UINT64_C(0xc0000001ffffffff),
2106        UINT64_C(0xc0000003ffffffff),
2107        UINT64_C(0xc0000007ffffffff),
2108        UINT64_C(0xc000000fffffffff),
2109        UINT64_C(0xc000001fffffffff),
2110        UINT64_C(0xc000003fffffffff),
2111        UINT64_C(0xc000007fffffffff),
2112        UINT64_C(0xc00000ffffffffff),
2113        UINT64_C(0xc00001ffffffffff),
2114        UINT64_C(0xc00003ffffffffff),
2115        UINT64_C(0xc00007ffffffffff),
2116        UINT64_C(0xc0000fffffffffff),
2117        UINT64_C(0xc0001fffffffffff),
2118        UINT64_C(0xc0003fffffffffff),
2119        UINT64_C(0xc0007fffffffffff),
2120        UINT64_C(0xc000ffffffffffff),
2121        UINT64_C(0xc001ffffffffffff),
2122        UINT64_C(0xc003ffffffffffff),
2123        UINT64_C(0xc007ffffffffffff),
2124        UINT64_C(0xc00fffffffffffff),
2125        UINT64_C(0xc01fffffffffffff),
2126        UINT64_C(0xc03fffffffffffff),
2127        UINT64_C(0xc07fffffffffffff),
2128        UINT64_C(0xc0ffffffffffffff),
2129        UINT64_C(0xc1ffffffffffffff),
2130        UINT64_C(0xc3ffffffffffffff),
2131        UINT64_C(0xc7ffffffffffffff),
2132        UINT64_C(0xcfffffffffffffff),
2133        UINT64_C(0xdfffffffffffffff)
2134    },
2135    {
2136        UINT64_C(0x8000000000000000),
2137        UINT64_C(0x8000000000000001),
2138        UINT64_C(0x8000000000000003),
2139        UINT64_C(0x8000000000000007),
2140        UINT64_C(0x800000000000000f),
2141        UINT64_C(0x800000000000001f),
2142        UINT64_C(0x800000000000003f),
2143        UINT64_C(0x800000000000007f),
2144        UINT64_C(0x80000000000000ff),
2145        UINT64_C(0x80000000000001ff),
2146        UINT64_C(0x80000000000003ff),
2147        UINT64_C(0x80000000000007ff),
2148        UINT64_C(0x8000000000000fff),
2149        UINT64_C(0x8000000000001fff),
2150        UINT64_C(0x8000000000003fff),
2151        UINT64_C(0x8000000000007fff),
2152        UINT64_C(0x800000000000ffff),
2153        UINT64_C(0x800000000001ffff),
2154        UINT64_C(0x800000000003ffff),
2155        UINT64_C(0x800000000007ffff),
2156        UINT64_C(0x80000000000fffff),
2157        UINT64_C(0x80000000001fffff),
2158        UINT64_C(0x80000000003fffff),
2159        UINT64_C(0x80000000007fffff),
2160        UINT64_C(0x8000000000ffffff),
2161        UINT64_C(0x8000000001ffffff),
2162        UINT64_C(0x8000000003ffffff),
2163        UINT64_C(0x8000000007ffffff),
2164        UINT64_C(0x800000000fffffff),
2165        UINT64_C(0x800000001fffffff),
2166        UINT64_C(0x800000003fffffff),
2167        UINT64_C(0x800000007fffffff),
2168        UINT64_C(0x80000000ffffffff),
2169        UINT64_C(0x80000001ffffffff),
2170        UINT64_C(0x80000003ffffffff),
2171        UINT64_C(0x80000007ffffffff),
2172        UINT64_C(0x8000000fffffffff),
2173        UINT64_C(0x8000001fffffffff),
2174        UINT64_C(0x8000003fffffffff),
2175        UINT64_C(0x8000007fffffffff),
2176        UINT64_C(0x800000ffffffffff),
2177        UINT64_C(0x800001ffffffffff),
2178        UINT64_C(0x800003ffffffffff),
2179        UINT64_C(0x800007ffffffffff),
2180        UINT64_C(0x80000fffffffffff),
2181        UINT64_C(0x80001fffffffffff),
2182        UINT64_C(0x80003fffffffffff),
2183        UINT64_C(0x80007fffffffffff),
2184        UINT64_C(0x8000ffffffffffff),
2185        UINT64_C(0x8001ffffffffffff),
2186        UINT64_C(0x8003ffffffffffff),
2187        UINT64_C(0x8007ffffffffffff),
2188        UINT64_C(0x800fffffffffffff),
2189        UINT64_C(0x801fffffffffffff),
2190        UINT64_C(0x803fffffffffffff),
2191        UINT64_C(0x807fffffffffffff),
2192        UINT64_C(0x80ffffffffffffff),
2193        UINT64_C(0x81ffffffffffffff),
2194        UINT64_C(0x83ffffffffffffff),
2195        UINT64_C(0x87ffffffffffffff),
2196        UINT64_C(0x8fffffffffffffff),
2197        UINT64_C(0x9fffffffffffffff),
2198        UINT64_C(0xbfffffffffffffff)
2199    },
2200    {
2201        UINT64_C(0x0),
2202        UINT64_C(0x1),
2203        UINT64_C(0x3),
2204        UINT64_C(0x7),
2205        UINT64_C(0xf),
2206        UINT64_C(0x1f),
2207        UINT64_C(0x3f),
2208        UINT64_C(0x7f),
2209        UINT64_C(0xff),
2210        UINT64_C(0x1ff),
2211        UINT64_C(0x3ff),
2212        UINT64_C(0x7ff),
2213        UINT64_C(0xfff),
2214        UINT64_C(0x1fff),
2215        UINT64_C(0x3fff),
2216        UINT64_C(0x7fff),
2217        UINT64_C(0xffff),
2218        UINT64_C(0x1ffff),
2219        UINT64_C(0x3ffff),
2220        UINT64_C(0x7ffff),
2221        UINT64_C(0xfffff),
2222        UINT64_C(0x1fffff),
2223        UINT64_C(0x3fffff),
2224        UINT64_C(0x7fffff),
2225        UINT64_C(0xffffff),
2226        UINT64_C(0x1ffffff),
2227        UINT64_C(0x3ffffff),
2228        UINT64_C(0x7ffffff),
2229        UINT64_C(0xfffffff),
2230        UINT64_C(0x1fffffff),
2231        UINT64_C(0x3fffffff),
2232        UINT64_C(0x7fffffff),
2233        UINT64_C(0xffffffff),
2234        UINT64_C(0x1ffffffff),
2235        UINT64_C(0x3ffffffff),
2236        UINT64_C(0x7ffffffff),
2237        UINT64_C(0xfffffffff),
2238        UINT64_C(0x1fffffffff),
2239        UINT64_C(0x3fffffffff),
2240        UINT64_C(0x7fffffffff),
2241        UINT64_C(0xffffffffff),
2242        UINT64_C(0x1ffffffffff),
2243        UINT64_C(0x3ffffffffff),
2244        UINT64_C(0x7ffffffffff),
2245        UINT64_C(0xfffffffffff),
2246        UINT64_C(0x1fffffffffff),
2247        UINT64_C(0x3fffffffffff),
2248        UINT64_C(0x7fffffffffff),
2249        UINT64_C(0xffffffffffff),
2250        UINT64_C(0x1ffffffffffff),
2251        UINT64_C(0x3ffffffffffff),
2252        UINT64_C(0x7ffffffffffff),
2253        UINT64_C(0xfffffffffffff),
2254        UINT64_C(0x1fffffffffffff),
2255        UINT64_C(0x3fffffffffffff),
2256        UINT64_C(0x7fffffffffffff),
2257        UINT64_C(0xffffffffffffff),
2258        UINT64_C(0x1ffffffffffffff),
2259        UINT64_C(0x3ffffffffffffff),
2260        UINT64_C(0x7ffffffffffffff),
2261        UINT64_C(0xfffffffffffffff),
2262        UINT64_C(0x1fffffffffffffff),
2263        UINT64_C(0x3fffffffffffffff),
2264        UINT64_C(0x7fffffffffffffff)
2265    }
2266};
2267
2268} // namespace sc_dt
2269