blob: 85473bbea09be4e25da910f4dd459803e1b98fb4 [file] [log] [blame]
/*****************************************************************************
Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
more contributor license agreements. See the NOTICE file distributed
with this work for additional information regarding copyright ownership.
Accellera licenses this file to you under the Apache License, Version 2.0
(the "License"); you may not use this file except in compliance with the
License. You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
implied. See the License for the specific language governing
permissions and limitations under the License.
*****************************************************************************/
/*****************************************************************************
sc_int_mask.cpp -- Fills the mask_int lookup table to enable efficient
part-selection on sc_ints and sc_uints.
Original Author: Amit Rao, Synopsys, Inc.
*****************************************************************************/
/*****************************************************************************
MODIFICATION LOG - modifiers, enter your name, affiliation, date and
changes you are making here.
Name, Affiliation, Date: Ali Dasdan, Synopsys, Inc.
Description of Modification: - Resolved ambiguity with sc_(un)signed.
- Merged the code for 64- and 32-bit versions
via the constants in sc_nbdefs.h.
- Eliminated redundant file inclusions.
Name, Affiliation, Date: Philipp A Hartmann, Intel
Description of Modification: - drop specializations for Windows, 32-bit only
Name, Affiliation, Date:
Description of Modification:
*****************************************************************************/
#include "systemc/ext/dt/int/sc_int_base.hh"
#include "systemc/ext/dt/int/sc_uint_base.hh"
#ifndef UINT64_C
# define UINT64_C(v) v ## ULL
#endif // UINT64_C
namespace sc_dt {
const uint_type mask_int[SC_INTWIDTH][SC_INTWIDTH] = {
{
UINT64_C(0xfffffffffffffffe)
},
{
UINT64_C(0xfffffffffffffffc),
UINT64_C(0xfffffffffffffffd)
},
{
UINT64_C(0xfffffffffffffff8),
UINT64_C(0xfffffffffffffff9),
UINT64_C(0xfffffffffffffffb)
},
{
UINT64_C(0xfffffffffffffff0),
UINT64_C(0xfffffffffffffff1),
UINT64_C(0xfffffffffffffff3),
UINT64_C(0xfffffffffffffff7)
},
{
UINT64_C(0xffffffffffffffe0),
UINT64_C(0xffffffffffffffe1),
UINT64_C(0xffffffffffffffe3),
UINT64_C(0xffffffffffffffe7),
UINT64_C(0xffffffffffffffef)
},
{
UINT64_C(0xffffffffffffffc0),
UINT64_C(0xffffffffffffffc1),
UINT64_C(0xffffffffffffffc3),
UINT64_C(0xffffffffffffffc7),
UINT64_C(0xffffffffffffffcf),
UINT64_C(0xffffffffffffffdf)
},
{
UINT64_C(0xffffffffffffff80),
UINT64_C(0xffffffffffffff81),
UINT64_C(0xffffffffffffff83),
UINT64_C(0xffffffffffffff87),
UINT64_C(0xffffffffffffff8f),
UINT64_C(0xffffffffffffff9f),
UINT64_C(0xffffffffffffffbf)
},
{
UINT64_C(0xffffffffffffff00),
UINT64_C(0xffffffffffffff01),
UINT64_C(0xffffffffffffff03),
UINT64_C(0xffffffffffffff07),
UINT64_C(0xffffffffffffff0f),
UINT64_C(0xffffffffffffff1f),
UINT64_C(0xffffffffffffff3f),
UINT64_C(0xffffffffffffff7f)
},
{
UINT64_C(0xfffffffffffffe00),
UINT64_C(0xfffffffffffffe01),
UINT64_C(0xfffffffffffffe03),
UINT64_C(0xfffffffffffffe07),
UINT64_C(0xfffffffffffffe0f),
UINT64_C(0xfffffffffffffe1f),
UINT64_C(0xfffffffffffffe3f),
UINT64_C(0xfffffffffffffe7f),
UINT64_C(0xfffffffffffffeff)
},
{
UINT64_C(0xfffffffffffffc00),
UINT64_C(0xfffffffffffffc01),
UINT64_C(0xfffffffffffffc03),
UINT64_C(0xfffffffffffffc07),
UINT64_C(0xfffffffffffffc0f),
UINT64_C(0xfffffffffffffc1f),
UINT64_C(0xfffffffffffffc3f),
UINT64_C(0xfffffffffffffc7f),
UINT64_C(0xfffffffffffffcff),
UINT64_C(0xfffffffffffffdff)
},
{
UINT64_C(0xfffffffffffff800),
UINT64_C(0xfffffffffffff801),
UINT64_C(0xfffffffffffff803),
UINT64_C(0xfffffffffffff807),
UINT64_C(0xfffffffffffff80f),
UINT64_C(0xfffffffffffff81f),
UINT64_C(0xfffffffffffff83f),
UINT64_C(0xfffffffffffff87f),
UINT64_C(0xfffffffffffff8ff),
UINT64_C(0xfffffffffffff9ff),
UINT64_C(0xfffffffffffffbff)
},
{
UINT64_C(0xfffffffffffff000),
UINT64_C(0xfffffffffffff001),
UINT64_C(0xfffffffffffff003),
UINT64_C(0xfffffffffffff007),
UINT64_C(0xfffffffffffff00f),
UINT64_C(0xfffffffffffff01f),
UINT64_C(0xfffffffffffff03f),
UINT64_C(0xfffffffffffff07f),
UINT64_C(0xfffffffffffff0ff),
UINT64_C(0xfffffffffffff1ff),
UINT64_C(0xfffffffffffff3ff),
UINT64_C(0xfffffffffffff7ff)
},
{
UINT64_C(0xffffffffffffe000),
UINT64_C(0xffffffffffffe001),
UINT64_C(0xffffffffffffe003),
UINT64_C(0xffffffffffffe007),
UINT64_C(0xffffffffffffe00f),
UINT64_C(0xffffffffffffe01f),
UINT64_C(0xffffffffffffe03f),
UINT64_C(0xffffffffffffe07f),
UINT64_C(0xffffffffffffe0ff),
UINT64_C(0xffffffffffffe1ff),
UINT64_C(0xffffffffffffe3ff),
UINT64_C(0xffffffffffffe7ff),
UINT64_C(0xffffffffffffefff)
},
{
UINT64_C(0xffffffffffffc000),
UINT64_C(0xffffffffffffc001),
UINT64_C(0xffffffffffffc003),
UINT64_C(0xffffffffffffc007),
UINT64_C(0xffffffffffffc00f),
UINT64_C(0xffffffffffffc01f),
UINT64_C(0xffffffffffffc03f),
UINT64_C(0xffffffffffffc07f),
UINT64_C(0xffffffffffffc0ff),
UINT64_C(0xffffffffffffc1ff),
UINT64_C(0xffffffffffffc3ff),
UINT64_C(0xffffffffffffc7ff),
UINT64_C(0xffffffffffffcfff),
UINT64_C(0xffffffffffffdfff)
},
{
UINT64_C(0xffffffffffff8000),
UINT64_C(0xffffffffffff8001),
UINT64_C(0xffffffffffff8003),
UINT64_C(0xffffffffffff8007),
UINT64_C(0xffffffffffff800f),
UINT64_C(0xffffffffffff801f),
UINT64_C(0xffffffffffff803f),
UINT64_C(0xffffffffffff807f),
UINT64_C(0xffffffffffff80ff),
UINT64_C(0xffffffffffff81ff),
UINT64_C(0xffffffffffff83ff),
UINT64_C(0xffffffffffff87ff),
UINT64_C(0xffffffffffff8fff),
UINT64_C(0xffffffffffff9fff),
UINT64_C(0xffffffffffffbfff)
},
{
UINT64_C(0xffffffffffff0000),
UINT64_C(0xffffffffffff0001),
UINT64_C(0xffffffffffff0003),
UINT64_C(0xffffffffffff0007),
UINT64_C(0xffffffffffff000f),
UINT64_C(0xffffffffffff001f),
UINT64_C(0xffffffffffff003f),
UINT64_C(0xffffffffffff007f),
UINT64_C(0xffffffffffff00ff),
UINT64_C(0xffffffffffff01ff),
UINT64_C(0xffffffffffff03ff),
UINT64_C(0xffffffffffff07ff),
UINT64_C(0xffffffffffff0fff),
UINT64_C(0xffffffffffff1fff),
UINT64_C(0xffffffffffff3fff),
UINT64_C(0xffffffffffff7fff)
},
{
UINT64_C(0xfffffffffffe0000),
UINT64_C(0xfffffffffffe0001),
UINT64_C(0xfffffffffffe0003),
UINT64_C(0xfffffffffffe0007),
UINT64_C(0xfffffffffffe000f),
UINT64_C(0xfffffffffffe001f),
UINT64_C(0xfffffffffffe003f),
UINT64_C(0xfffffffffffe007f),
UINT64_C(0xfffffffffffe00ff),
UINT64_C(0xfffffffffffe01ff),
UINT64_C(0xfffffffffffe03ff),
UINT64_C(0xfffffffffffe07ff),
UINT64_C(0xfffffffffffe0fff),
UINT64_C(0xfffffffffffe1fff),
UINT64_C(0xfffffffffffe3fff),
UINT64_C(0xfffffffffffe7fff),
UINT64_C(0xfffffffffffeffff)
},
{
UINT64_C(0xfffffffffffc0000),
UINT64_C(0xfffffffffffc0001),
UINT64_C(0xfffffffffffc0003),
UINT64_C(0xfffffffffffc0007),
UINT64_C(0xfffffffffffc000f),
UINT64_C(0xfffffffffffc001f),
UINT64_C(0xfffffffffffc003f),
UINT64_C(0xfffffffffffc007f),
UINT64_C(0xfffffffffffc00ff),
UINT64_C(0xfffffffffffc01ff),
UINT64_C(0xfffffffffffc03ff),
UINT64_C(0xfffffffffffc07ff),
UINT64_C(0xfffffffffffc0fff),
UINT64_C(0xfffffffffffc1fff),
UINT64_C(0xfffffffffffc3fff),
UINT64_C(0xfffffffffffc7fff),
UINT64_C(0xfffffffffffcffff),
UINT64_C(0xfffffffffffdffff)
},
{
UINT64_C(0xfffffffffff80000),
UINT64_C(0xfffffffffff80001),
UINT64_C(0xfffffffffff80003),
UINT64_C(0xfffffffffff80007),
UINT64_C(0xfffffffffff8000f),
UINT64_C(0xfffffffffff8001f),
UINT64_C(0xfffffffffff8003f),
UINT64_C(0xfffffffffff8007f),
UINT64_C(0xfffffffffff800ff),
UINT64_C(0xfffffffffff801ff),
UINT64_C(0xfffffffffff803ff),
UINT64_C(0xfffffffffff807ff),
UINT64_C(0xfffffffffff80fff),
UINT64_C(0xfffffffffff81fff),
UINT64_C(0xfffffffffff83fff),
UINT64_C(0xfffffffffff87fff),
UINT64_C(0xfffffffffff8ffff),
UINT64_C(0xfffffffffff9ffff),
UINT64_C(0xfffffffffffbffff)
},
{
UINT64_C(0xfffffffffff00000),
UINT64_C(0xfffffffffff00001),
UINT64_C(0xfffffffffff00003),
UINT64_C(0xfffffffffff00007),
UINT64_C(0xfffffffffff0000f),
UINT64_C(0xfffffffffff0001f),
UINT64_C(0xfffffffffff0003f),
UINT64_C(0xfffffffffff0007f),
UINT64_C(0xfffffffffff000ff),
UINT64_C(0xfffffffffff001ff),
UINT64_C(0xfffffffffff003ff),
UINT64_C(0xfffffffffff007ff),
UINT64_C(0xfffffffffff00fff),
UINT64_C(0xfffffffffff01fff),
UINT64_C(0xfffffffffff03fff),
UINT64_C(0xfffffffffff07fff),
UINT64_C(0xfffffffffff0ffff),
UINT64_C(0xfffffffffff1ffff),
UINT64_C(0xfffffffffff3ffff),
UINT64_C(0xfffffffffff7ffff)
},
{
UINT64_C(0xffffffffffe00000),
UINT64_C(0xffffffffffe00001),
UINT64_C(0xffffffffffe00003),
UINT64_C(0xffffffffffe00007),
UINT64_C(0xffffffffffe0000f),
UINT64_C(0xffffffffffe0001f),
UINT64_C(0xffffffffffe0003f),
UINT64_C(0xffffffffffe0007f),
UINT64_C(0xffffffffffe000ff),
UINT64_C(0xffffffffffe001ff),
UINT64_C(0xffffffffffe003ff),
UINT64_C(0xffffffffffe007ff),
UINT64_C(0xffffffffffe00fff),
UINT64_C(0xffffffffffe01fff),
UINT64_C(0xffffffffffe03fff),
UINT64_C(0xffffffffffe07fff),
UINT64_C(0xffffffffffe0ffff),
UINT64_C(0xffffffffffe1ffff),
UINT64_C(0xffffffffffe3ffff),
UINT64_C(0xffffffffffe7ffff),
UINT64_C(0xffffffffffefffff)
},
{
UINT64_C(0xffffffffffc00000),
UINT64_C(0xffffffffffc00001),
UINT64_C(0xffffffffffc00003),
UINT64_C(0xffffffffffc00007),
UINT64_C(0xffffffffffc0000f),
UINT64_C(0xffffffffffc0001f),
UINT64_C(0xffffffffffc0003f),
UINT64_C(0xffffffffffc0007f),
UINT64_C(0xffffffffffc000ff),
UINT64_C(0xffffffffffc001ff),
UINT64_C(0xffffffffffc003ff),
UINT64_C(0xffffffffffc007ff),
UINT64_C(0xffffffffffc00fff),
UINT64_C(0xffffffffffc01fff),
UINT64_C(0xffffffffffc03fff),
UINT64_C(0xffffffffffc07fff),
UINT64_C(0xffffffffffc0ffff),
UINT64_C(0xffffffffffc1ffff),
UINT64_C(0xffffffffffc3ffff),
UINT64_C(0xffffffffffc7ffff),
UINT64_C(0xffffffffffcfffff),
UINT64_C(0xffffffffffdfffff)
},
{
UINT64_C(0xffffffffff800000),
UINT64_C(0xffffffffff800001),
UINT64_C(0xffffffffff800003),
UINT64_C(0xffffffffff800007),
UINT64_C(0xffffffffff80000f),
UINT64_C(0xffffffffff80001f),
UINT64_C(0xffffffffff80003f),
UINT64_C(0xffffffffff80007f),
UINT64_C(0xffffffffff8000ff),
UINT64_C(0xffffffffff8001ff),
UINT64_C(0xffffffffff8003ff),
UINT64_C(0xffffffffff8007ff),
UINT64_C(0xffffffffff800fff),
UINT64_C(0xffffffffff801fff),
UINT64_C(0xffffffffff803fff),
UINT64_C(0xffffffffff807fff),
UINT64_C(0xffffffffff80ffff),
UINT64_C(0xffffffffff81ffff),
UINT64_C(0xffffffffff83ffff),
UINT64_C(0xffffffffff87ffff),
UINT64_C(0xffffffffff8fffff),
UINT64_C(0xffffffffff9fffff),
UINT64_C(0xffffffffffbfffff)
},
{
UINT64_C(0xffffffffff000000),
UINT64_C(0xffffffffff000001),
UINT64_C(0xffffffffff000003),
UINT64_C(0xffffffffff000007),
UINT64_C(0xffffffffff00000f),
UINT64_C(0xffffffffff00001f),
UINT64_C(0xffffffffff00003f),
UINT64_C(0xffffffffff00007f),
UINT64_C(0xffffffffff0000ff),
UINT64_C(0xffffffffff0001ff),
UINT64_C(0xffffffffff0003ff),
UINT64_C(0xffffffffff0007ff),
UINT64_C(0xffffffffff000fff),
UINT64_C(0xffffffffff001fff),
UINT64_C(0xffffffffff003fff),
UINT64_C(0xffffffffff007fff),
UINT64_C(0xffffffffff00ffff),
UINT64_C(0xffffffffff01ffff),
UINT64_C(0xffffffffff03ffff),
UINT64_C(0xffffffffff07ffff),
UINT64_C(0xffffffffff0fffff),
UINT64_C(0xffffffffff1fffff),
UINT64_C(0xffffffffff3fffff),
UINT64_C(0xffffffffff7fffff)
},
{
UINT64_C(0xfffffffffe000000),
UINT64_C(0xfffffffffe000001),
UINT64_C(0xfffffffffe000003),
UINT64_C(0xfffffffffe000007),
UINT64_C(0xfffffffffe00000f),
UINT64_C(0xfffffffffe00001f),
UINT64_C(0xfffffffffe00003f),
UINT64_C(0xfffffffffe00007f),
UINT64_C(0xfffffffffe0000ff),
UINT64_C(0xfffffffffe0001ff),
UINT64_C(0xfffffffffe0003ff),
UINT64_C(0xfffffffffe0007ff),
UINT64_C(0xfffffffffe000fff),
UINT64_C(0xfffffffffe001fff),
UINT64_C(0xfffffffffe003fff),
UINT64_C(0xfffffffffe007fff),
UINT64_C(0xfffffffffe00ffff),
UINT64_C(0xfffffffffe01ffff),
UINT64_C(0xfffffffffe03ffff),
UINT64_C(0xfffffffffe07ffff),
UINT64_C(0xfffffffffe0fffff),
UINT64_C(0xfffffffffe1fffff),
UINT64_C(0xfffffffffe3fffff),
UINT64_C(0xfffffffffe7fffff),
UINT64_C(0xfffffffffeffffff)
},
{
UINT64_C(0xfffffffffc000000),
UINT64_C(0xfffffffffc000001),
UINT64_C(0xfffffffffc000003),
UINT64_C(0xfffffffffc000007),
UINT64_C(0xfffffffffc00000f),
UINT64_C(0xfffffffffc00001f),
UINT64_C(0xfffffffffc00003f),
UINT64_C(0xfffffffffc00007f),
UINT64_C(0xfffffffffc0000ff),
UINT64_C(0xfffffffffc0001ff),
UINT64_C(0xfffffffffc0003ff),
UINT64_C(0xfffffffffc0007ff),
UINT64_C(0xfffffffffc000fff),
UINT64_C(0xfffffffffc001fff),
UINT64_C(0xfffffffffc003fff),
UINT64_C(0xfffffffffc007fff),
UINT64_C(0xfffffffffc00ffff),
UINT64_C(0xfffffffffc01ffff),
UINT64_C(0xfffffffffc03ffff),
UINT64_C(0xfffffffffc07ffff),
UINT64_C(0xfffffffffc0fffff),
UINT64_C(0xfffffffffc1fffff),
UINT64_C(0xfffffffffc3fffff),
UINT64_C(0xfffffffffc7fffff),
UINT64_C(0xfffffffffcffffff),
UINT64_C(0xfffffffffdffffff)
},
{
UINT64_C(0xfffffffff8000000),
UINT64_C(0xfffffffff8000001),
UINT64_C(0xfffffffff8000003),
UINT64_C(0xfffffffff8000007),
UINT64_C(0xfffffffff800000f),
UINT64_C(0xfffffffff800001f),
UINT64_C(0xfffffffff800003f),
UINT64_C(0xfffffffff800007f),
UINT64_C(0xfffffffff80000ff),
UINT64_C(0xfffffffff80001ff),
UINT64_C(0xfffffffff80003ff),
UINT64_C(0xfffffffff80007ff),
UINT64_C(0xfffffffff8000fff),
UINT64_C(0xfffffffff8001fff),
UINT64_C(0xfffffffff8003fff),
UINT64_C(0xfffffffff8007fff),
UINT64_C(0xfffffffff800ffff),
UINT64_C(0xfffffffff801ffff),
UINT64_C(0xfffffffff803ffff),
UINT64_C(0xfffffffff807ffff),
UINT64_C(0xfffffffff80fffff),
UINT64_C(0xfffffffff81fffff),
UINT64_C(0xfffffffff83fffff),
UINT64_C(0xfffffffff87fffff),
UINT64_C(0xfffffffff8ffffff),
UINT64_C(0xfffffffff9ffffff),
UINT64_C(0xfffffffffbffffff)
},
{
UINT64_C(0xfffffffff0000000),
UINT64_C(0xfffffffff0000001),
UINT64_C(0xfffffffff0000003),
UINT64_C(0xfffffffff0000007),
UINT64_C(0xfffffffff000000f),
UINT64_C(0xfffffffff000001f),
UINT64_C(0xfffffffff000003f),
UINT64_C(0xfffffffff000007f),
UINT64_C(0xfffffffff00000ff),
UINT64_C(0xfffffffff00001ff),
UINT64_C(0xfffffffff00003ff),
UINT64_C(0xfffffffff00007ff),
UINT64_C(0xfffffffff0000fff),
UINT64_C(0xfffffffff0001fff),
UINT64_C(0xfffffffff0003fff),
UINT64_C(0xfffffffff0007fff),
UINT64_C(0xfffffffff000ffff),
UINT64_C(0xfffffffff001ffff),
UINT64_C(0xfffffffff003ffff),
UINT64_C(0xfffffffff007ffff),
UINT64_C(0xfffffffff00fffff),
UINT64_C(0xfffffffff01fffff),
UINT64_C(0xfffffffff03fffff),
UINT64_C(0xfffffffff07fffff),
UINT64_C(0xfffffffff0ffffff),
UINT64_C(0xfffffffff1ffffff),
UINT64_C(0xfffffffff3ffffff),
UINT64_C(0xfffffffff7ffffff)
},
{
UINT64_C(0xffffffffe0000000),
UINT64_C(0xffffffffe0000001),
UINT64_C(0xffffffffe0000003),
UINT64_C(0xffffffffe0000007),
UINT64_C(0xffffffffe000000f),
UINT64_C(0xffffffffe000001f),
UINT64_C(0xffffffffe000003f),
UINT64_C(0xffffffffe000007f),
UINT64_C(0xffffffffe00000ff),
UINT64_C(0xffffffffe00001ff),
UINT64_C(0xffffffffe00003ff),
UINT64_C(0xffffffffe00007ff),
UINT64_C(0xffffffffe0000fff),
UINT64_C(0xffffffffe0001fff),
UINT64_C(0xffffffffe0003fff),
UINT64_C(0xffffffffe0007fff),
UINT64_C(0xffffffffe000ffff),
UINT64_C(0xffffffffe001ffff),
UINT64_C(0xffffffffe003ffff),
UINT64_C(0xffffffffe007ffff),
UINT64_C(0xffffffffe00fffff),
UINT64_C(0xffffffffe01fffff),
UINT64_C(0xffffffffe03fffff),
UINT64_C(0xffffffffe07fffff),
UINT64_C(0xffffffffe0ffffff),
UINT64_C(0xffffffffe1ffffff),
UINT64_C(0xffffffffe3ffffff),
UINT64_C(0xffffffffe7ffffff),
UINT64_C(0xffffffffefffffff)
},
{
UINT64_C(0xffffffffc0000000),
UINT64_C(0xffffffffc0000001),
UINT64_C(0xffffffffc0000003),
UINT64_C(0xffffffffc0000007),
UINT64_C(0xffffffffc000000f),
UINT64_C(0xffffffffc000001f),
UINT64_C(0xffffffffc000003f),
UINT64_C(0xffffffffc000007f),
UINT64_C(0xffffffffc00000ff),
UINT64_C(0xffffffffc00001ff),
UINT64_C(0xffffffffc00003ff),
UINT64_C(0xffffffffc00007ff),
UINT64_C(0xffffffffc0000fff),
UINT64_C(0xffffffffc0001fff),
UINT64_C(0xffffffffc0003fff),
UINT64_C(0xffffffffc0007fff),
UINT64_C(0xffffffffc000ffff),
UINT64_C(0xffffffffc001ffff),
UINT64_C(0xffffffffc003ffff),
UINT64_C(0xffffffffc007ffff),
UINT64_C(0xffffffffc00fffff),
UINT64_C(0xffffffffc01fffff),
UINT64_C(0xffffffffc03fffff),
UINT64_C(0xffffffffc07fffff),
UINT64_C(0xffffffffc0ffffff),
UINT64_C(0xffffffffc1ffffff),
UINT64_C(0xffffffffc3ffffff),
UINT64_C(0xffffffffc7ffffff),
UINT64_C(0xffffffffcfffffff),
UINT64_C(0xffffffffdfffffff)
},
{
UINT64_C(0xffffffff80000000),
UINT64_C(0xffffffff80000001),
UINT64_C(0xffffffff80000003),
UINT64_C(0xffffffff80000007),
UINT64_C(0xffffffff8000000f),
UINT64_C(0xffffffff8000001f),
UINT64_C(0xffffffff8000003f),
UINT64_C(0xffffffff8000007f),
UINT64_C(0xffffffff800000ff),
UINT64_C(0xffffffff800001ff),
UINT64_C(0xffffffff800003ff),
UINT64_C(0xffffffff800007ff),
UINT64_C(0xffffffff80000fff),
UINT64_C(0xffffffff80001fff),
UINT64_C(0xffffffff80003fff),
UINT64_C(0xffffffff80007fff),
UINT64_C(0xffffffff8000ffff),
UINT64_C(0xffffffff8001ffff),
UINT64_C(0xffffffff8003ffff),
UINT64_C(0xffffffff8007ffff),
UINT64_C(0xffffffff800fffff),
UINT64_C(0xffffffff801fffff),
UINT64_C(0xffffffff803fffff),
UINT64_C(0xffffffff807fffff),
UINT64_C(0xffffffff80ffffff),
UINT64_C(0xffffffff81ffffff),
UINT64_C(0xffffffff83ffffff),
UINT64_C(0xffffffff87ffffff),
UINT64_C(0xffffffff8fffffff),
UINT64_C(0xffffffff9fffffff),
UINT64_C(0xffffffffbfffffff)
},
{
UINT64_C(0xffffffff00000000),
UINT64_C(0xffffffff00000001),
UINT64_C(0xffffffff00000003),
UINT64_C(0xffffffff00000007),
UINT64_C(0xffffffff0000000f),
UINT64_C(0xffffffff0000001f),
UINT64_C(0xffffffff0000003f),
UINT64_C(0xffffffff0000007f),
UINT64_C(0xffffffff000000ff),
UINT64_C(0xffffffff000001ff),
UINT64_C(0xffffffff000003ff),
UINT64_C(0xffffffff000007ff),
UINT64_C(0xffffffff00000fff),
UINT64_C(0xffffffff00001fff),
UINT64_C(0xffffffff00003fff),
UINT64_C(0xffffffff00007fff),
UINT64_C(0xffffffff0000ffff),
UINT64_C(0xffffffff0001ffff),
UINT64_C(0xffffffff0003ffff),
UINT64_C(0xffffffff0007ffff),
UINT64_C(0xffffffff000fffff),
UINT64_C(0xffffffff001fffff),
UINT64_C(0xffffffff003fffff),
UINT64_C(0xffffffff007fffff),
UINT64_C(0xffffffff00ffffff),
UINT64_C(0xffffffff01ffffff),
UINT64_C(0xffffffff03ffffff),
UINT64_C(0xffffffff07ffffff),
UINT64_C(0xffffffff0fffffff),
UINT64_C(0xffffffff1fffffff),
UINT64_C(0xffffffff3fffffff),
UINT64_C(0xffffffff7fffffff)
},
{
UINT64_C(0xfffffffe00000000),
UINT64_C(0xfffffffe00000001),
UINT64_C(0xfffffffe00000003),
UINT64_C(0xfffffffe00000007),
UINT64_C(0xfffffffe0000000f),
UINT64_C(0xfffffffe0000001f),
UINT64_C(0xfffffffe0000003f),
UINT64_C(0xfffffffe0000007f),
UINT64_C(0xfffffffe000000ff),
UINT64_C(0xfffffffe000001ff),
UINT64_C(0xfffffffe000003ff),
UINT64_C(0xfffffffe000007ff),
UINT64_C(0xfffffffe00000fff),
UINT64_C(0xfffffffe00001fff),
UINT64_C(0xfffffffe00003fff),
UINT64_C(0xfffffffe00007fff),
UINT64_C(0xfffffffe0000ffff),
UINT64_C(0xfffffffe0001ffff),
UINT64_C(0xfffffffe0003ffff),
UINT64_C(0xfffffffe0007ffff),
UINT64_C(0xfffffffe000fffff),
UINT64_C(0xfffffffe001fffff),
UINT64_C(0xfffffffe003fffff),
UINT64_C(0xfffffffe007fffff),
UINT64_C(0xfffffffe00ffffff),
UINT64_C(0xfffffffe01ffffff),
UINT64_C(0xfffffffe03ffffff),
UINT64_C(0xfffffffe07ffffff),
UINT64_C(0xfffffffe0fffffff),
UINT64_C(0xfffffffe1fffffff),
UINT64_C(0xfffffffe3fffffff),
UINT64_C(0xfffffffe7fffffff),
UINT64_C(0xfffffffeffffffff)
},
{
UINT64_C(0xfffffffc00000000),
UINT64_C(0xfffffffc00000001),
UINT64_C(0xfffffffc00000003),
UINT64_C(0xfffffffc00000007),
UINT64_C(0xfffffffc0000000f),
UINT64_C(0xfffffffc0000001f),
UINT64_C(0xfffffffc0000003f),
UINT64_C(0xfffffffc0000007f),
UINT64_C(0xfffffffc000000ff),
UINT64_C(0xfffffffc000001ff),
UINT64_C(0xfffffffc000003ff),
UINT64_C(0xfffffffc000007ff),
UINT64_C(0xfffffffc00000fff),
UINT64_C(0xfffffffc00001fff),
UINT64_C(0xfffffffc00003fff),
UINT64_C(0xfffffffc00007fff),
UINT64_C(0xfffffffc0000ffff),
UINT64_C(0xfffffffc0001ffff),
UINT64_C(0xfffffffc0003ffff),
UINT64_C(0xfffffffc0007ffff),
UINT64_C(0xfffffffc000fffff),
UINT64_C(0xfffffffc001fffff),
UINT64_C(0xfffffffc003fffff),
UINT64_C(0xfffffffc007fffff),
UINT64_C(0xfffffffc00ffffff),
UINT64_C(0xfffffffc01ffffff),
UINT64_C(0xfffffffc03ffffff),
UINT64_C(0xfffffffc07ffffff),
UINT64_C(0xfffffffc0fffffff),
UINT64_C(0xfffffffc1fffffff),
UINT64_C(0xfffffffc3fffffff),
UINT64_C(0xfffffffc7fffffff),
UINT64_C(0xfffffffcffffffff),
UINT64_C(0xfffffffdffffffff)
},
{
UINT64_C(0xfffffff800000000),
UINT64_C(0xfffffff800000001),
UINT64_C(0xfffffff800000003),
UINT64_C(0xfffffff800000007),
UINT64_C(0xfffffff80000000f),
UINT64_C(0xfffffff80000001f),
UINT64_C(0xfffffff80000003f),
UINT64_C(0xfffffff80000007f),
UINT64_C(0xfffffff8000000ff),
UINT64_C(0xfffffff8000001ff),
UINT64_C(0xfffffff8000003ff),
UINT64_C(0xfffffff8000007ff),
UINT64_C(0xfffffff800000fff),
UINT64_C(0xfffffff800001fff),
UINT64_C(0xfffffff800003fff),
UINT64_C(0xfffffff800007fff),
UINT64_C(0xfffffff80000ffff),
UINT64_C(0xfffffff80001ffff),
UINT64_C(0xfffffff80003ffff),
UINT64_C(0xfffffff80007ffff),
UINT64_C(0xfffffff8000fffff),
UINT64_C(0xfffffff8001fffff),
UINT64_C(0xfffffff8003fffff),
UINT64_C(0xfffffff8007fffff),
UINT64_C(0xfffffff800ffffff),
UINT64_C(0xfffffff801ffffff),
UINT64_C(0xfffffff803ffffff),
UINT64_C(0xfffffff807ffffff),
UINT64_C(0xfffffff80fffffff),
UINT64_C(0xfffffff81fffffff),
UINT64_C(0xfffffff83fffffff),
UINT64_C(0xfffffff87fffffff),
UINT64_C(0xfffffff8ffffffff),
UINT64_C(0xfffffff9ffffffff),
UINT64_C(0xfffffffbffffffff)
},
{
UINT64_C(0xfffffff000000000),
UINT64_C(0xfffffff000000001),
UINT64_C(0xfffffff000000003),
UINT64_C(0xfffffff000000007),
UINT64_C(0xfffffff00000000f),
UINT64_C(0xfffffff00000001f),
UINT64_C(0xfffffff00000003f),
UINT64_C(0xfffffff00000007f),
UINT64_C(0xfffffff0000000ff),
UINT64_C(0xfffffff0000001ff),
UINT64_C(0xfffffff0000003ff),
UINT64_C(0xfffffff0000007ff),
UINT64_C(0xfffffff000000fff),
UINT64_C(0xfffffff000001fff),
UINT64_C(0xfffffff000003fff),
UINT64_C(0xfffffff000007fff),
UINT64_C(0xfffffff00000ffff),
UINT64_C(0xfffffff00001ffff),
UINT64_C(0xfffffff00003ffff),
UINT64_C(0xfffffff00007ffff),
UINT64_C(0xfffffff0000fffff),
UINT64_C(0xfffffff0001fffff),
UINT64_C(0xfffffff0003fffff),
UINT64_C(0xfffffff0007fffff),
UINT64_C(0xfffffff000ffffff),
UINT64_C(0xfffffff001ffffff),
UINT64_C(0xfffffff003ffffff),
UINT64_C(0xfffffff007ffffff),
UINT64_C(0xfffffff00fffffff),
UINT64_C(0xfffffff01fffffff),
UINT64_C(0xfffffff03fffffff),
UINT64_C(0xfffffff07fffffff),
UINT64_C(0xfffffff0ffffffff),
UINT64_C(0xfffffff1ffffffff),
UINT64_C(0xfffffff3ffffffff),
UINT64_C(0xfffffff7ffffffff)
},
{
UINT64_C(0xffffffe000000000),
UINT64_C(0xffffffe000000001),
UINT64_C(0xffffffe000000003),
UINT64_C(0xffffffe000000007),
UINT64_C(0xffffffe00000000f),
UINT64_C(0xffffffe00000001f),
UINT64_C(0xffffffe00000003f),
UINT64_C(0xffffffe00000007f),
UINT64_C(0xffffffe0000000ff),
UINT64_C(0xffffffe0000001ff),
UINT64_C(0xffffffe0000003ff),
UINT64_C(0xffffffe0000007ff),
UINT64_C(0xffffffe000000fff),
UINT64_C(0xffffffe000001fff),
UINT64_C(0xffffffe000003fff),
UINT64_C(0xffffffe000007fff),
UINT64_C(0xffffffe00000ffff),
UINT64_C(0xffffffe00001ffff),
UINT64_C(0xffffffe00003ffff),
UINT64_C(0xffffffe00007ffff),
UINT64_C(0xffffffe0000fffff),
UINT64_C(0xffffffe0001fffff),
UINT64_C(0xffffffe0003fffff),
UINT64_C(0xffffffe0007fffff),
UINT64_C(0xffffffe000ffffff),
UINT64_C(0xffffffe001ffffff),
UINT64_C(0xffffffe003ffffff),
UINT64_C(0xffffffe007ffffff),
UINT64_C(0xffffffe00fffffff),
UINT64_C(0xffffffe01fffffff),
UINT64_C(0xffffffe03fffffff),
UINT64_C(0xffffffe07fffffff),
UINT64_C(0xffffffe0ffffffff),
UINT64_C(0xffffffe1ffffffff),
UINT64_C(0xffffffe3ffffffff),
UINT64_C(0xffffffe7ffffffff),
UINT64_C(0xffffffefffffffff)
},
{
UINT64_C(0xffffffc000000000),
UINT64_C(0xffffffc000000001),
UINT64_C(0xffffffc000000003),
UINT64_C(0xffffffc000000007),
UINT64_C(0xffffffc00000000f),
UINT64_C(0xffffffc00000001f),
UINT64_C(0xffffffc00000003f),
UINT64_C(0xffffffc00000007f),
UINT64_C(0xffffffc0000000ff),
UINT64_C(0xffffffc0000001ff),
UINT64_C(0xffffffc0000003ff),
UINT64_C(0xffffffc0000007ff),
UINT64_C(0xffffffc000000fff),
UINT64_C(0xffffffc000001fff),
UINT64_C(0xffffffc000003fff),
UINT64_C(0xffffffc000007fff),
UINT64_C(0xffffffc00000ffff),
UINT64_C(0xffffffc00001ffff),
UINT64_C(0xffffffc00003ffff),
UINT64_C(0xffffffc00007ffff),
UINT64_C(0xffffffc0000fffff),
UINT64_C(0xffffffc0001fffff),
UINT64_C(0xffffffc0003fffff),
UINT64_C(0xffffffc0007fffff),
UINT64_C(0xffffffc000ffffff),
UINT64_C(0xffffffc001ffffff),
UINT64_C(0xffffffc003ffffff),
UINT64_C(0xffffffc007ffffff),
UINT64_C(0xffffffc00fffffff),
UINT64_C(0xffffffc01fffffff),
UINT64_C(0xffffffc03fffffff),
UINT64_C(0xffffffc07fffffff),
UINT64_C(0xffffffc0ffffffff),
UINT64_C(0xffffffc1ffffffff),
UINT64_C(0xffffffc3ffffffff),
UINT64_C(0xffffffc7ffffffff),
UINT64_C(0xffffffcfffffffff),
UINT64_C(0xffffffdfffffffff)
},
{
UINT64_C(0xffffff8000000000),
UINT64_C(0xffffff8000000001),
UINT64_C(0xffffff8000000003),
UINT64_C(0xffffff8000000007),
UINT64_C(0xffffff800000000f),
UINT64_C(0xffffff800000001f),
UINT64_C(0xffffff800000003f),
UINT64_C(0xffffff800000007f),
UINT64_C(0xffffff80000000ff),
UINT64_C(0xffffff80000001ff),
UINT64_C(0xffffff80000003ff),
UINT64_C(0xffffff80000007ff),
UINT64_C(0xffffff8000000fff),
UINT64_C(0xffffff8000001fff),
UINT64_C(0xffffff8000003fff),
UINT64_C(0xffffff8000007fff),
UINT64_C(0xffffff800000ffff),
UINT64_C(0xffffff800001ffff),
UINT64_C(0xffffff800003ffff),
UINT64_C(0xffffff800007ffff),
UINT64_C(0xffffff80000fffff),
UINT64_C(0xffffff80001fffff),
UINT64_C(0xffffff80003fffff),
UINT64_C(0xffffff80007fffff),
UINT64_C(0xffffff8000ffffff),
UINT64_C(0xffffff8001ffffff),
UINT64_C(0xffffff8003ffffff),
UINT64_C(0xffffff8007ffffff),
UINT64_C(0xffffff800fffffff),
UINT64_C(0xffffff801fffffff),
UINT64_C(0xffffff803fffffff),
UINT64_C(0xffffff807fffffff),
UINT64_C(0xffffff80ffffffff),
UINT64_C(0xffffff81ffffffff),
UINT64_C(0xffffff83ffffffff),
UINT64_C(0xffffff87ffffffff),
UINT64_C(0xffffff8fffffffff),
UINT64_C(0xffffff9fffffffff),
UINT64_C(0xffffffbfffffffff)
},
{
UINT64_C(0xffffff0000000000),
UINT64_C(0xffffff0000000001),
UINT64_C(0xffffff0000000003),
UINT64_C(0xffffff0000000007),
UINT64_C(0xffffff000000000f),
UINT64_C(0xffffff000000001f),
UINT64_C(0xffffff000000003f),
UINT64_C(0xffffff000000007f),
UINT64_C(0xffffff00000000ff),
UINT64_C(0xffffff00000001ff),
UINT64_C(0xffffff00000003ff),
UINT64_C(0xffffff00000007ff),
UINT64_C(0xffffff0000000fff),
UINT64_C(0xffffff0000001fff),
UINT64_C(0xffffff0000003fff),
UINT64_C(0xffffff0000007fff),
UINT64_C(0xffffff000000ffff),
UINT64_C(0xffffff000001ffff),
UINT64_C(0xffffff000003ffff),
UINT64_C(0xffffff000007ffff),
UINT64_C(0xffffff00000fffff),
UINT64_C(0xffffff00001fffff),
UINT64_C(0xffffff00003fffff),
UINT64_C(0xffffff00007fffff),
UINT64_C(0xffffff0000ffffff),
UINT64_C(0xffffff0001ffffff),
UINT64_C(0xffffff0003ffffff),
UINT64_C(0xffffff0007ffffff),
UINT64_C(0xffffff000fffffff),
UINT64_C(0xffffff001fffffff),
UINT64_C(0xffffff003fffffff),
UINT64_C(0xffffff007fffffff),
UINT64_C(0xffffff00ffffffff),
UINT64_C(0xffffff01ffffffff),
UINT64_C(0xffffff03ffffffff),
UINT64_C(0xffffff07ffffffff),
UINT64_C(0xffffff0fffffffff),
UINT64_C(0xffffff1fffffffff),
UINT64_C(0xffffff3fffffffff),
UINT64_C(0xffffff7fffffffff)
},
{
UINT64_C(0xfffffe0000000000),
UINT64_C(0xfffffe0000000001),
UINT64_C(0xfffffe0000000003),
UINT64_C(0xfffffe0000000007),
UINT64_C(0xfffffe000000000f),
UINT64_C(0xfffffe000000001f),
UINT64_C(0xfffffe000000003f),
UINT64_C(0xfffffe000000007f),
UINT64_C(0xfffffe00000000ff),
UINT64_C(0xfffffe00000001ff),
UINT64_C(0xfffffe00000003ff),
UINT64_C(0xfffffe00000007ff),
UINT64_C(0xfffffe0000000fff),
UINT64_C(0xfffffe0000001fff),
UINT64_C(0xfffffe0000003fff),
UINT64_C(0xfffffe0000007fff),
UINT64_C(0xfffffe000000ffff),
UINT64_C(0xfffffe000001ffff),
UINT64_C(0xfffffe000003ffff),
UINT64_C(0xfffffe000007ffff),
UINT64_C(0xfffffe00000fffff),
UINT64_C(0xfffffe00001fffff),
UINT64_C(0xfffffe00003fffff),
UINT64_C(0xfffffe00007fffff),
UINT64_C(0xfffffe0000ffffff),
UINT64_C(0xfffffe0001ffffff),
UINT64_C(0xfffffe0003ffffff),
UINT64_C(0xfffffe0007ffffff),
UINT64_C(0xfffffe000fffffff),
UINT64_C(0xfffffe001fffffff),
UINT64_C(0xfffffe003fffffff),
UINT64_C(0xfffffe007fffffff),
UINT64_C(0xfffffe00ffffffff),
UINT64_C(0xfffffe01ffffffff),
UINT64_C(0xfffffe03ffffffff),
UINT64_C(0xfffffe07ffffffff),
UINT64_C(0xfffffe0fffffffff),
UINT64_C(0xfffffe1fffffffff),
UINT64_C(0xfffffe3fffffffff),
UINT64_C(0xfffffe7fffffffff),
UINT64_C(0xfffffeffffffffff)
},
{
UINT64_C(0xfffffc0000000000),
UINT64_C(0xfffffc0000000001),
UINT64_C(0xfffffc0000000003),
UINT64_C(0xfffffc0000000007),
UINT64_C(0xfffffc000000000f),
UINT64_C(0xfffffc000000001f),
UINT64_C(0xfffffc000000003f),
UINT64_C(0xfffffc000000007f),
UINT64_C(0xfffffc00000000ff),
UINT64_C(0xfffffc00000001ff),
UINT64_C(0xfffffc00000003ff),
UINT64_C(0xfffffc00000007ff),
UINT64_C(0xfffffc0000000fff),
UINT64_C(0xfffffc0000001fff),
UINT64_C(0xfffffc0000003fff),
UINT64_C(0xfffffc0000007fff),
UINT64_C(0xfffffc000000ffff),
UINT64_C(0xfffffc000001ffff),
UINT64_C(0xfffffc000003ffff),
UINT64_C(0xfffffc000007ffff),
UINT64_C(0xfffffc00000fffff),
UINT64_C(0xfffffc00001fffff),
UINT64_C(0xfffffc00003fffff),
UINT64_C(0xfffffc00007fffff),
UINT64_C(0xfffffc0000ffffff),
UINT64_C(0xfffffc0001ffffff),
UINT64_C(0xfffffc0003ffffff),
UINT64_C(0xfffffc0007ffffff),
UINT64_C(0xfffffc000fffffff),
UINT64_C(0xfffffc001fffffff),
UINT64_C(0xfffffc003fffffff),
UINT64_C(0xfffffc007fffffff),
UINT64_C(0xfffffc00ffffffff),
UINT64_C(0xfffffc01ffffffff),
UINT64_C(0xfffffc03ffffffff),
UINT64_C(0xfffffc07ffffffff),
UINT64_C(0xfffffc0fffffffff),
UINT64_C(0xfffffc1fffffffff),
UINT64_C(0xfffffc3fffffffff),
UINT64_C(0xfffffc7fffffffff),
UINT64_C(0xfffffcffffffffff),
UINT64_C(0xfffffdffffffffff)
},
{
UINT64_C(0xfffff80000000000),
UINT64_C(0xfffff80000000001),
UINT64_C(0xfffff80000000003),
UINT64_C(0xfffff80000000007),
UINT64_C(0xfffff8000000000f),
UINT64_C(0xfffff8000000001f),
UINT64_C(0xfffff8000000003f),
UINT64_C(0xfffff8000000007f),
UINT64_C(0xfffff800000000ff),
UINT64_C(0xfffff800000001ff),
UINT64_C(0xfffff800000003ff),
UINT64_C(0xfffff800000007ff),
UINT64_C(0xfffff80000000fff),
UINT64_C(0xfffff80000001fff),
UINT64_C(0xfffff80000003fff),
UINT64_C(0xfffff80000007fff),
UINT64_C(0xfffff8000000ffff),
UINT64_C(0xfffff8000001ffff),
UINT64_C(0xfffff8000003ffff),
UINT64_C(0xfffff8000007ffff),
UINT64_C(0xfffff800000fffff),
UINT64_C(0xfffff800001fffff),
UINT64_C(0xfffff800003fffff),
UINT64_C(0xfffff800007fffff),
UINT64_C(0xfffff80000ffffff),
UINT64_C(0xfffff80001ffffff),
UINT64_C(0xfffff80003ffffff),
UINT64_C(0xfffff80007ffffff),
UINT64_C(0xfffff8000fffffff),
UINT64_C(0xfffff8001fffffff),
UINT64_C(0xfffff8003fffffff),
UINT64_C(0xfffff8007fffffff),
UINT64_C(0xfffff800ffffffff),
UINT64_C(0xfffff801ffffffff),
UINT64_C(0xfffff803ffffffff),
UINT64_C(0xfffff807ffffffff),
UINT64_C(0xfffff80fffffffff),
UINT64_C(0xfffff81fffffffff),
UINT64_C(0xfffff83fffffffff),
UINT64_C(0xfffff87fffffffff),
UINT64_C(0xfffff8ffffffffff),
UINT64_C(0xfffff9ffffffffff),
UINT64_C(0xfffffbffffffffff)
},
{
UINT64_C(0xfffff00000000000),
UINT64_C(0xfffff00000000001),
UINT64_C(0xfffff00000000003),
UINT64_C(0xfffff00000000007),
UINT64_C(0xfffff0000000000f),
UINT64_C(0xfffff0000000001f),
UINT64_C(0xfffff0000000003f),
UINT64_C(0xfffff0000000007f),
UINT64_C(0xfffff000000000ff),
UINT64_C(0xfffff000000001ff),
UINT64_C(0xfffff000000003ff),
UINT64_C(0xfffff000000007ff),
UINT64_C(0xfffff00000000fff),
UINT64_C(0xfffff00000001fff),
UINT64_C(0xfffff00000003fff),
UINT64_C(0xfffff00000007fff),
UINT64_C(0xfffff0000000ffff),
UINT64_C(0xfffff0000001ffff),
UINT64_C(0xfffff0000003ffff),
UINT64_C(0xfffff0000007ffff),
UINT64_C(0xfffff000000fffff),
UINT64_C(0xfffff000001fffff),
UINT64_C(0xfffff000003fffff),
UINT64_C(0xfffff000007fffff),
UINT64_C(0xfffff00000ffffff),
UINT64_C(0xfffff00001ffffff),
UINT64_C(0xfffff00003ffffff),
UINT64_C(0xfffff00007ffffff),
UINT64_C(0xfffff0000fffffff),
UINT64_C(0xfffff0001fffffff),
UINT64_C(0xfffff0003fffffff),
UINT64_C(0xfffff0007fffffff),
UINT64_C(0xfffff000ffffffff),
UINT64_C(0xfffff001ffffffff),
UINT64_C(0xfffff003ffffffff),
UINT64_C(0xfffff007ffffffff),
UINT64_C(0xfffff00fffffffff),
UINT64_C(0xfffff01fffffffff),
UINT64_C(0xfffff03fffffffff),
UINT64_C(0xfffff07fffffffff),
UINT64_C(0xfffff0ffffffffff),
UINT64_C(0xfffff1ffffffffff),
UINT64_C(0xfffff3ffffffffff),
UINT64_C(0xfffff7ffffffffff)
},
{
UINT64_C(0xffffe00000000000),
UINT64_C(0xffffe00000000001),
UINT64_C(0xffffe00000000003),
UINT64_C(0xffffe00000000007),
UINT64_C(0xffffe0000000000f),
UINT64_C(0xffffe0000000001f),
UINT64_C(0xffffe0000000003f),
UINT64_C(0xffffe0000000007f),
UINT64_C(0xffffe000000000ff),
UINT64_C(0xffffe000000001ff),
UINT64_C(0xffffe000000003ff),
UINT64_C(0xffffe000000007ff),
UINT64_C(0xffffe00000000fff),
UINT64_C(0xffffe00000001fff),
UINT64_C(0xffffe00000003fff),
UINT64_C(0xffffe00000007fff),
UINT64_C(0xffffe0000000ffff),
UINT64_C(0xffffe0000001ffff),
UINT64_C(0xffffe0000003ffff),
UINT64_C(0xffffe0000007ffff),
UINT64_C(0xffffe000000fffff),
UINT64_C(0xffffe000001fffff),
UINT64_C(0xffffe000003fffff),
UINT64_C(0xffffe000007fffff),
UINT64_C(0xffffe00000ffffff),
UINT64_C(0xffffe00001ffffff),
UINT64_C(0xffffe00003ffffff),
UINT64_C(0xffffe00007ffffff),
UINT64_C(0xffffe0000fffffff),
UINT64_C(0xffffe0001fffffff),
UINT64_C(0xffffe0003fffffff),
UINT64_C(0xffffe0007fffffff),
UINT64_C(0xffffe000ffffffff),
UINT64_C(0xffffe001ffffffff),
UINT64_C(0xffffe003ffffffff),
UINT64_C(0xffffe007ffffffff),
UINT64_C(0xffffe00fffffffff),
UINT64_C(0xffffe01fffffffff),
UINT64_C(0xffffe03fffffffff),
UINT64_C(0xffffe07fffffffff),
UINT64_C(0xffffe0ffffffffff),
UINT64_C(0xffffe1ffffffffff),
UINT64_C(0xffffe3ffffffffff),
UINT64_C(0xffffe7ffffffffff),
UINT64_C(0xffffefffffffffff)
},
{
UINT64_C(0xffffc00000000000),
UINT64_C(0xffffc00000000001),
UINT64_C(0xffffc00000000003),
UINT64_C(0xffffc00000000007),
UINT64_C(0xffffc0000000000f),
UINT64_C(0xffffc0000000001f),
UINT64_C(0xffffc0000000003f),
UINT64_C(0xffffc0000000007f),
UINT64_C(0xffffc000000000ff),
UINT64_C(0xffffc000000001ff),
UINT64_C(0xffffc000000003ff),
UINT64_C(0xffffc000000007ff),
UINT64_C(0xffffc00000000fff),
UINT64_C(0xffffc00000001fff),
UINT64_C(0xffffc00000003fff),
UINT64_C(0xffffc00000007fff),
UINT64_C(0xffffc0000000ffff),
UINT64_C(0xffffc0000001ffff),
UINT64_C(0xffffc0000003ffff),
UINT64_C(0xffffc0000007ffff),
UINT64_C(0xffffc000000fffff),
UINT64_C(0xffffc000001fffff),
UINT64_C(0xffffc000003fffff),
UINT64_C(0xffffc000007fffff),
UINT64_C(0xffffc00000ffffff),
UINT64_C(0xffffc00001ffffff),
UINT64_C(0xffffc00003ffffff),
UINT64_C(0xffffc00007ffffff),
UINT64_C(0xffffc0000fffffff),
UINT64_C(0xffffc0001fffffff),
UINT64_C(0xffffc0003fffffff),
UINT64_C(0xffffc0007fffffff),
UINT64_C(0xffffc000ffffffff),
UINT64_C(0xffffc001ffffffff),
UINT64_C(0xffffc003ffffffff),
UINT64_C(0xffffc007ffffffff),
UINT64_C(0xffffc00fffffffff),
UINT64_C(0xffffc01fffffffff),
UINT64_C(0xffffc03fffffffff),
UINT64_C(0xffffc07fffffffff),
UINT64_C(0xffffc0ffffffffff),
UINT64_C(0xffffc1ffffffffff),
UINT64_C(0xffffc3ffffffffff),
UINT64_C(0xffffc7ffffffffff),
UINT64_C(0xffffcfffffffffff),
UINT64_C(0xffffdfffffffffff)
},
{
UINT64_C(0xffff800000000000),
UINT64_C(0xffff800000000001),
UINT64_C(0xffff800000000003),
UINT64_C(0xffff800000000007),
UINT64_C(0xffff80000000000f),
UINT64_C(0xffff80000000001f),
UINT64_C(0xffff80000000003f),
UINT64_C(0xffff80000000007f),
UINT64_C(0xffff8000000000ff),
UINT64_C(0xffff8000000001ff),
UINT64_C(0xffff8000000003ff),
UINT64_C(0xffff8000000007ff),
UINT64_C(0xffff800000000fff),
UINT64_C(0xffff800000001fff),
UINT64_C(0xffff800000003fff),
UINT64_C(0xffff800000007fff),
UINT64_C(0xffff80000000ffff),
UINT64_C(0xffff80000001ffff),
UINT64_C(0xffff80000003ffff),
UINT64_C(0xffff80000007ffff),
UINT64_C(0xffff8000000fffff),
UINT64_C(0xffff8000001fffff),
UINT64_C(0xffff8000003fffff),
UINT64_C(0xffff8000007fffff),
UINT64_C(0xffff800000ffffff),
UINT64_C(0xffff800001ffffff),
UINT64_C(0xffff800003ffffff),
UINT64_C(0xffff800007ffffff),
UINT64_C(0xffff80000fffffff),
UINT64_C(0xffff80001fffffff),
UINT64_C(0xffff80003fffffff),
UINT64_C(0xffff80007fffffff),
UINT64_C(0xffff8000ffffffff),
UINT64_C(0xffff8001ffffffff),
UINT64_C(0xffff8003ffffffff),
UINT64_C(0xffff8007ffffffff),
UINT64_C(0xffff800fffffffff),
UINT64_C(0xffff801fffffffff),
UINT64_C(0xffff803fffffffff),
UINT64_C(0xffff807fffffffff),
UINT64_C(0xffff80ffffffffff),
UINT64_C(0xffff81ffffffffff),
UINT64_C(0xffff83ffffffffff),
UINT64_C(0xffff87ffffffffff),
UINT64_C(0xffff8fffffffffff),
UINT64_C(0xffff9fffffffffff),
UINT64_C(0xffffbfffffffffff)
},
{
UINT64_C(0xffff000000000000),
UINT64_C(0xffff000000000001),
UINT64_C(0xffff000000000003),
UINT64_C(0xffff000000000007),
UINT64_C(0xffff00000000000f),
UINT64_C(0xffff00000000001f),
UINT64_C(0xffff00000000003f),
UINT64_C(0xffff00000000007f),
UINT64_C(0xffff0000000000ff),
UINT64_C(0xffff0000000001ff),
UINT64_C(0xffff0000000003ff),
UINT64_C(0xffff0000000007ff),
UINT64_C(0xffff000000000fff),
UINT64_C(0xffff000000001fff),
UINT64_C(0xffff000000003fff),
UINT64_C(0xffff000000007fff),
UINT64_C(0xffff00000000ffff),
UINT64_C(0xffff00000001ffff),
UINT64_C(0xffff00000003ffff),
UINT64_C(0xffff00000007ffff),
UINT64_C(0xffff0000000fffff),
UINT64_C(0xffff0000001fffff),
UINT64_C(0xffff0000003fffff),
UINT64_C(0xffff0000007fffff),
UINT64_C(0xffff000000ffffff),
UINT64_C(0xffff000001ffffff),
UINT64_C(0xffff000003ffffff),
UINT64_C(0xffff000007ffffff),
UINT64_C(0xffff00000fffffff),
UINT64_C(0xffff00001fffffff),
UINT64_C(0xffff00003fffffff),
UINT64_C(0xffff00007fffffff),
UINT64_C(0xffff0000ffffffff),
UINT64_C(0xffff0001ffffffff),
UINT64_C(0xffff0003ffffffff),
UINT64_C(0xffff0007ffffffff),
UINT64_C(0xffff000fffffffff),
UINT64_C(0xffff001fffffffff),
UINT64_C(0xffff003fffffffff),
UINT64_C(0xffff007fffffffff),
UINT64_C(0xffff00ffffffffff),
UINT64_C(0xffff01ffffffffff),
UINT64_C(0xffff03ffffffffff),
UINT64_C(0xffff07ffffffffff),
UINT64_C(0xffff0fffffffffff),
UINT64_C(0xffff1fffffffffff),
UINT64_C(0xffff3fffffffffff),
UINT64_C(0xffff7fffffffffff)
},
{
UINT64_C(0xfffe000000000000),
UINT64_C(0xfffe000000000001),
UINT64_C(0xfffe000000000003),
UINT64_C(0xfffe000000000007),
UINT64_C(0xfffe00000000000f),
UINT64_C(0xfffe00000000001f),
UINT64_C(0xfffe00000000003f),
UINT64_C(0xfffe00000000007f),
UINT64_C(0xfffe0000000000ff),
UINT64_C(0xfffe0000000001ff),
UINT64_C(0xfffe0000000003ff),
UINT64_C(0xfffe0000000007ff),
UINT64_C(0xfffe000000000fff),
UINT64_C(0xfffe000000001fff),
UINT64_C(0xfffe000000003fff),
UINT64_C(0xfffe000000007fff),
UINT64_C(0xfffe00000000ffff),
UINT64_C(0xfffe00000001ffff),
UINT64_C(0xfffe00000003ffff),
UINT64_C(0xfffe00000007ffff),
UINT64_C(0xfffe0000000fffff),
UINT64_C(0xfffe0000001fffff),
UINT64_C(0xfffe0000003fffff),
UINT64_C(0xfffe0000007fffff),
UINT64_C(0xfffe000000ffffff),
UINT64_C(0xfffe000001ffffff),
UINT64_C(0xfffe000003ffffff),
UINT64_C(0xfffe000007ffffff),
UINT64_C(0xfffe00000fffffff),
UINT64_C(0xfffe00001fffffff),
UINT64_C(0xfffe00003fffffff),
UINT64_C(0xfffe00007fffffff),
UINT64_C(0xfffe0000ffffffff),
UINT64_C(0xfffe0001ffffffff),
UINT64_C(0xfffe0003ffffffff),
UINT64_C(0xfffe0007ffffffff),
UINT64_C(0xfffe000fffffffff),
UINT64_C(0xfffe001fffffffff),
UINT64_C(0xfffe003fffffffff),
UINT64_C(0xfffe007fffffffff),
UINT64_C(0xfffe00ffffffffff),
UINT64_C(0xfffe01ffffffffff),
UINT64_C(0xfffe03ffffffffff),
UINT64_C(0xfffe07ffffffffff),
UINT64_C(0xfffe0fffffffffff),
UINT64_C(0xfffe1fffffffffff),
UINT64_C(0xfffe3fffffffffff),
UINT64_C(0xfffe7fffffffffff),
UINT64_C(0xfffeffffffffffff)
},
{
UINT64_C(0xfffc000000000000),
UINT64_C(0xfffc000000000001),
UINT64_C(0xfffc000000000003),
UINT64_C(0xfffc000000000007),
UINT64_C(0xfffc00000000000f),
UINT64_C(0xfffc00000000001f),
UINT64_C(0xfffc00000000003f),
UINT64_C(0xfffc00000000007f),
UINT64_C(0xfffc0000000000ff),
UINT64_C(0xfffc0000000001ff),
UINT64_C(0xfffc0000000003ff),
UINT64_C(0xfffc0000000007ff),
UINT64_C(0xfffc000000000fff),
UINT64_C(0xfffc000000001fff),
UINT64_C(0xfffc000000003fff),
UINT64_C(0xfffc000000007fff),
UINT64_C(0xfffc00000000ffff),
UINT64_C(0xfffc00000001ffff),
UINT64_C(0xfffc00000003ffff),
UINT64_C(0xfffc00000007ffff),
UINT64_C(0xfffc0000000fffff),
UINT64_C(0xfffc0000001fffff),
UINT64_C(0xfffc0000003fffff),
UINT64_C(0xfffc0000007fffff),
UINT64_C(0xfffc000000ffffff),
UINT64_C(0xfffc000001ffffff),
UINT64_C(0xfffc000003ffffff),
UINT64_C(0xfffc000007ffffff),
UINT64_C(0xfffc00000fffffff),
UINT64_C(0xfffc00001fffffff),
UINT64_C(0xfffc00003fffffff),
UINT64_C(0xfffc00007fffffff),
UINT64_C(0xfffc0000ffffffff),
UINT64_C(0xfffc0001ffffffff),
UINT64_C(0xfffc0003ffffffff),
UINT64_C(0xfffc0007ffffffff),
UINT64_C(0xfffc000fffffffff),
UINT64_C(0xfffc001fffffffff),
UINT64_C(0xfffc003fffffffff),
UINT64_C(0xfffc007fffffffff),
UINT64_C(0xfffc00ffffffffff),
UINT64_C(0xfffc01ffffffffff),
UINT64_C(0xfffc03ffffffffff),
UINT64_C(0xfffc07ffffffffff),
UINT64_C(0xfffc0fffffffffff),
UINT64_C(0xfffc1fffffffffff),
UINT64_C(0xfffc3fffffffffff),
UINT64_C(0xfffc7fffffffffff),
UINT64_C(0xfffcffffffffffff),
UINT64_C(0xfffdffffffffffff)
},
{
UINT64_C(0xfff8000000000000),
UINT64_C(0xfff8000000000001),
UINT64_C(0xfff8000000000003),
UINT64_C(0xfff8000000000007),
UINT64_C(0xfff800000000000f),
UINT64_C(0xfff800000000001f),
UINT64_C(0xfff800000000003f),
UINT64_C(0xfff800000000007f),
UINT64_C(0xfff80000000000ff),
UINT64_C(0xfff80000000001ff),
UINT64_C(0xfff80000000003ff),
UINT64_C(0xfff80000000007ff),
UINT64_C(0xfff8000000000fff),
UINT64_C(0xfff8000000001fff),
UINT64_C(0xfff8000000003fff),
UINT64_C(0xfff8000000007fff),
UINT64_C(0xfff800000000ffff),
UINT64_C(0xfff800000001ffff),
UINT64_C(0xfff800000003ffff),
UINT64_C(0xfff800000007ffff),
UINT64_C(0xfff80000000fffff),
UINT64_C(0xfff80000001fffff),
UINT64_C(0xfff80000003fffff),
UINT64_C(0xfff80000007fffff),
UINT64_C(0xfff8000000ffffff),
UINT64_C(0xfff8000001ffffff),
UINT64_C(0xfff8000003ffffff),
UINT64_C(0xfff8000007ffffff),
UINT64_C(0xfff800000fffffff),
UINT64_C(0xfff800001fffffff),
UINT64_C(0xfff800003fffffff),
UINT64_C(0xfff800007fffffff),
UINT64_C(0xfff80000ffffffff),
UINT64_C(0xfff80001ffffffff),
UINT64_C(0xfff80003ffffffff),
UINT64_C(0xfff80007ffffffff),
UINT64_C(0xfff8000fffffffff),
UINT64_C(0xfff8001fffffffff),
UINT64_C(0xfff8003fffffffff),
UINT64_C(0xfff8007fffffffff),
UINT64_C(0xfff800ffffffffff),
UINT64_C(0xfff801ffffffffff),
UINT64_C(0xfff803ffffffffff),
UINT64_C(0xfff807ffffffffff),
UINT64_C(0xfff80fffffffffff),
UINT64_C(0xfff81fffffffffff),
UINT64_C(0xfff83fffffffffff),
UINT64_C(0xfff87fffffffffff),
UINT64_C(0xfff8ffffffffffff),
UINT64_C(0xfff9ffffffffffff),
UINT64_C(0xfffbffffffffffff)
},
{
UINT64_C(0xfff0000000000000),
UINT64_C(0xfff0000000000001),
UINT64_C(0xfff0000000000003),
UINT64_C(0xfff0000000000007),
UINT64_C(0xfff000000000000f),
UINT64_C(0xfff000000000001f),
UINT64_C(0xfff000000000003f),
UINT64_C(0xfff000000000007f),
UINT64_C(0xfff00000000000ff),
UINT64_C(0xfff00000000001ff),
UINT64_C(0xfff00000000003ff),
UINT64_C(0xfff00000000007ff),
UINT64_C(0xfff0000000000fff),
UINT64_C(0xfff0000000001fff),
UINT64_C(0xfff0000000003fff),
UINT64_C(0xfff0000000007fff),
UINT64_C(0xfff000000000ffff),
UINT64_C(0xfff000000001ffff),
UINT64_C(0xfff000000003ffff),
UINT64_C(0xfff000000007ffff),
UINT64_C(0xfff00000000fffff),
UINT64_C(0xfff00000001fffff),
UINT64_C(0xfff00000003fffff),
UINT64_C(0xfff00000007fffff),
UINT64_C(0xfff0000000ffffff),
UINT64_C(0xfff0000001ffffff),
UINT64_C(0xfff0000003ffffff),
UINT64_C(0xfff0000007ffffff),
UINT64_C(0xfff000000fffffff),
UINT64_C(0xfff000001fffffff),
UINT64_C(0xfff000003fffffff),
UINT64_C(0xfff000007fffffff),
UINT64_C(0xfff00000ffffffff),
UINT64_C(0xfff00001ffffffff),
UINT64_C(0xfff00003ffffffff),
UINT64_C(0xfff00007ffffffff),
UINT64_C(0xfff0000fffffffff),
UINT64_C(0xfff0001fffffffff),
UINT64_C(0xfff0003fffffffff),
UINT64_C(0xfff0007fffffffff),
UINT64_C(0xfff000ffffffffff),
UINT64_C(0xfff001ffffffffff),
UINT64_C(0xfff003ffffffffff),
UINT64_C(0xfff007ffffffffff),
UINT64_C(0xfff00fffffffffff),
UINT64_C(0xfff01fffffffffff),
UINT64_C(0xfff03fffffffffff),
UINT64_C(0xfff07fffffffffff),
UINT64_C(0xfff0ffffffffffff),
UINT64_C(0xfff1ffffffffffff),
UINT64_C(0xfff3ffffffffffff),
UINT64_C(0xfff7ffffffffffff)
},
{
UINT64_C(0xffe0000000000000),
UINT64_C(0xffe0000000000001),
UINT64_C(0xffe0000000000003),
UINT64_C(0xffe0000000000007),
UINT64_C(0xffe000000000000f),
UINT64_C(0xffe000000000001f),
UINT64_C(0xffe000000000003f),
UINT64_C(0xffe000000000007f),
UINT64_C(0xffe00000000000ff),
UINT64_C(0xffe00000000001ff),
UINT64_C(0xffe00000000003ff),
UINT64_C(0xffe00000000007ff),
UINT64_C(0xffe0000000000fff),
UINT64_C(0xffe0000000001fff),
UINT64_C(0xffe0000000003fff),
UINT64_C(0xffe0000000007fff),
UINT64_C(0xffe000000000ffff),
UINT64_C(0xffe000000001ffff),
UINT64_C(0xffe000000003ffff),
UINT64_C(0xffe000000007ffff),
UINT64_C(0xffe00000000fffff),
UINT64_C(0xffe00000001fffff),
UINT64_C(0xffe00000003fffff),
UINT64_C(0xffe00000007fffff),
UINT64_C(0xffe0000000ffffff),
UINT64_C(0xffe0000001ffffff),
UINT64_C(0xffe0000003ffffff),
UINT64_C(0xffe0000007ffffff),
UINT64_C(0xffe000000fffffff),
UINT64_C(0xffe000001fffffff),
UINT64_C(0xffe000003fffffff),
UINT64_C(0xffe000007fffffff),
UINT64_C(0xffe00000ffffffff),
UINT64_C(0xffe00001ffffffff),
UINT64_C(0xffe00003ffffffff),
UINT64_C(0xffe00007ffffffff),
UINT64_C(0xffe0000fffffffff),
UINT64_C(0xffe0001fffffffff),
UINT64_C(0xffe0003fffffffff),
UINT64_C(0xffe0007fffffffff),
UINT64_C(0xffe000ffffffffff),
UINT64_C(0xffe001ffffffffff),
UINT64_C(0xffe003ffffffffff),
UINT64_C(0xffe007ffffffffff),
UINT64_C(0xffe00fffffffffff),
UINT64_C(0xffe01fffffffffff),
UINT64_C(0xffe03fffffffffff),
UINT64_C(0xffe07fffffffffff),
UINT64_C(0xffe0ffffffffffff),
UINT64_C(0xffe1ffffffffffff),
UINT64_C(0xffe3ffffffffffff),
UINT64_C(0xffe7ffffffffffff),
UINT64_C(0xffefffffffffffff)
},
{
UINT64_C(0xffc0000000000000),
UINT64_C(0xffc0000000000001),
UINT64_C(0xffc0000000000003),
UINT64_C(0xffc0000000000007),
UINT64_C(0xffc000000000000f),
UINT64_C(0xffc000000000001f),
UINT64_C(0xffc000000000003f),
UINT64_C(0xffc000000000007f),
UINT64_C(0xffc00000000000ff),
UINT64_C(0xffc00000000001ff),
UINT64_C(0xffc00000000003ff),
UINT64_C(0xffc00000000007ff),
UINT64_C(0xffc0000000000fff),
UINT64_C(0xffc0000000001fff),
UINT64_C(0xffc0000000003fff),
UINT64_C(0xffc0000000007fff),
UINT64_C(0xffc000000000ffff),
UINT64_C(0xffc000000001ffff),
UINT64_C(0xffc000000003ffff),
UINT64_C(0xffc000000007ffff),
UINT64_C(0xffc00000000fffff),
UINT64_C(0xffc00000001fffff),
UINT64_C(0xffc00000003fffff),
UINT64_C(0xffc00000007fffff),
UINT64_C(0xffc0000000ffffff),
UINT64_C(0xffc0000001ffffff),
UINT64_C(0xffc0000003ffffff),
UINT64_C(0xffc0000007ffffff),
UINT64_C(0xffc000000fffffff),
UINT64_C(0xffc000001fffffff),
UINT64_C(0xffc000003fffffff),
UINT64_C(0xffc000007fffffff),
UINT64_C(0xffc00000ffffffff),
UINT64_C(0xffc00001ffffffff),
UINT64_C(0xffc00003ffffffff),
UINT64_C(0xffc00007ffffffff),
UINT64_C(0xffc0000fffffffff),
UINT64_C(0xffc0001fffffffff),
UINT64_C(0xffc0003fffffffff),
UINT64_C(0xffc0007fffffffff),
UINT64_C(0xffc000ffffffffff),
UINT64_C(0xffc001ffffffffff),
UINT64_C(0xffc003ffffffffff),
UINT64_C(0xffc007ffffffffff),
UINT64_C(0xffc00fffffffffff),
UINT64_C(0xffc01fffffffffff),
UINT64_C(0xffc03fffffffffff),
UINT64_C(0xffc07fffffffffff),
UINT64_C(0xffc0ffffffffffff),
UINT64_C(0xffc1ffffffffffff),
UINT64_C(0xffc3ffffffffffff),
UINT64_C(0xffc7ffffffffffff),
UINT64_C(0xffcfffffffffffff),
UINT64_C(0xffdfffffffffffff)
},
{
UINT64_C(0xff80000000000000),
UINT64_C(0xff80000000000001),
UINT64_C(0xff80000000000003),
UINT64_C(0xff80000000000007),
UINT64_C(0xff8000000000000f),
UINT64_C(0xff8000000000001f),
UINT64_C(0xff8000000000003f),
UINT64_C(0xff8000000000007f),
UINT64_C(0xff800000000000ff),
UINT64_C(0xff800000000001ff),
UINT64_C(0xff800000000003ff),
UINT64_C(0xff800000000007ff),
UINT64_C(0xff80000000000fff),
UINT64_C(0xff80000000001fff),
UINT64_C(0xff80000000003fff),
UINT64_C(0xff80000000007fff),
UINT64_C(0xff8000000000ffff),
UINT64_C(0xff8000000001ffff),
UINT64_C(0xff8000000003ffff),
UINT64_C(0xff8000000007ffff),
UINT64_C(0xff800000000fffff),
UINT64_C(0xff800000001fffff),
UINT64_C(0xff800000003fffff),
UINT64_C(0xff800000007fffff),
UINT64_C(0xff80000000ffffff),
UINT64_C(0xff80000001ffffff),
UINT64_C(0xff80000003ffffff),
UINT64_C(0xff80000007ffffff),
UINT64_C(0xff8000000fffffff),
UINT64_C(0xff8000001fffffff),
UINT64_C(0xff8000003fffffff),
UINT64_C(0xff8000007fffffff),
UINT64_C(0xff800000ffffffff),
UINT64_C(0xff800001ffffffff),
UINT64_C(0xff800003ffffffff),
UINT64_C(0xff800007ffffffff),
UINT64_C(0xff80000fffffffff),
UINT64_C(0xff80001fffffffff),
UINT64_C(0xff80003fffffffff),
UINT64_C(0xff80007fffffffff),
UINT64_C(0xff8000ffffffffff),
UINT64_C(0xff8001ffffffffff),
UINT64_C(0xff8003ffffffffff),
UINT64_C(0xff8007ffffffffff),
UINT64_C(0xff800fffffffffff),
UINT64_C(0xff801fffffffffff),
UINT64_C(0xff803fffffffffff),
UINT64_C(0xff807fffffffffff),
UINT64_C(0xff80ffffffffffff),
UINT64_C(0xff81ffffffffffff),
UINT64_C(0xff83ffffffffffff),
UINT64_C(0xff87ffffffffffff),
UINT64_C(0xff8fffffffffffff),
UINT64_C(0xff9fffffffffffff),
UINT64_C(0xffbfffffffffffff)
},
{
UINT64_C(0xff00000000000000),
UINT64_C(0xff00000000000001),
UINT64_C(0xff00000000000003),
UINT64_C(0xff00000000000007),
UINT64_C(0xff0000000000000f),
UINT64_C(0xff0000000000001f),
UINT64_C(0xff0000000000003f),
UINT64_C(0xff0000000000007f),
UINT64_C(0xff000000000000ff),
UINT64_C(0xff000000000001ff),
UINT64_C(0xff000000000003ff),
UINT64_C(0xff000000000007ff),
UINT64_C(0xff00000000000fff),
UINT64_C(0xff00000000001fff),
UINT64_C(0xff00000000003fff),
UINT64_C(0xff00000000007fff),
UINT64_C(0xff0000000000ffff),
UINT64_C(0xff0000000001ffff),
UINT64_C(0xff0000000003ffff),
UINT64_C(0xff0000000007ffff),
UINT64_C(0xff000000000fffff),
UINT64_C(0xff000000001fffff),
UINT64_C(0xff000000003fffff),
UINT64_C(0xff000000007fffff),
UINT64_C(0xff00000000ffffff),
UINT64_C(0xff00000001ffffff),
UINT64_C(0xff00000003ffffff),
UINT64_C(0xff00000007ffffff),
UINT64_C(0xff0000000fffffff),
UINT64_C(0xff0000001fffffff),
UINT64_C(0xff0000003fffffff),
UINT64_C(0xff0000007fffffff),
UINT64_C(0xff000000ffffffff),
UINT64_C(0xff000001ffffffff),
UINT64_C(0xff000003ffffffff),
UINT64_C(0xff000007ffffffff),
UINT64_C(0xff00000fffffffff),
UINT64_C(0xff00001fffffffff),
UINT64_C(0xff00003fffffffff),
UINT64_C(0xff00007fffffffff),
UINT64_C(0xff0000ffffffffff),
UINT64_C(0xff0001ffffffffff),
UINT64_C(0xff0003ffffffffff),
UINT64_C(0xff0007ffffffffff),
UINT64_C(0xff000fffffffffff),
UINT64_C(0xff001fffffffffff),
UINT64_C(0xff003fffffffffff),
UINT64_C(0xff007fffffffffff),
UINT64_C(0xff00ffffffffffff),
UINT64_C(0xff01ffffffffffff),
UINT64_C(0xff03ffffffffffff),
UINT64_C(0xff07ffffffffffff),
UINT64_C(0xff0fffffffffffff),
UINT64_C(0xff1fffffffffffff),
UINT64_C(0xff3fffffffffffff),
UINT64_C(0xff7fffffffffffff)
},
{
UINT64_C(0xfe00000000000000),
UINT64_C(0xfe00000000000001),
UINT64_C(0xfe00000000000003),
UINT64_C(0xfe00000000000007),
UINT64_C(0xfe0000000000000f),
UINT64_C(0xfe0000000000001f),
UINT64_C(0xfe0000000000003f),
UINT64_C(0xfe0000000000007f),
UINT64_C(0xfe000000000000ff),
UINT64_C(0xfe000000000001ff),
UINT64_C(0xfe000000000003ff),
UINT64_C(0xfe000000000007ff),
UINT64_C(0xfe00000000000fff),
UINT64_C(0xfe00000000001fff),
UINT64_C(0xfe00000000003fff),
UINT64_C(0xfe00000000007fff),
UINT64_C(0xfe0000000000ffff),
UINT64_C(0xfe0000000001ffff),
UINT64_C(0xfe0000000003ffff),
UINT64_C(0xfe0000000007ffff),
UINT64_C(0xfe000000000fffff),
UINT64_C(0xfe000000001fffff),
UINT64_C(0xfe000000003fffff),
UINT64_C(0xfe000000007fffff),
UINT64_C(0xfe00000000ffffff),
UINT64_C(0xfe00000001ffffff),
UINT64_C(0xfe00000003ffffff),
UINT64_C(0xfe00000007ffffff),
UINT64_C(0xfe0000000fffffff),
UINT64_C(0xfe0000001fffffff),
UINT64_C(0xfe0000003fffffff),
UINT64_C(0xfe0000007fffffff),
UINT64_C(0xfe000000ffffffff),
UINT64_C(0xfe000001ffffffff),
UINT64_C(0xfe000003ffffffff),
UINT64_C(0xfe000007ffffffff),
UINT64_C(0xfe00000fffffffff),
UINT64_C(0xfe00001fffffffff),
UINT64_C(0xfe00003fffffffff),
UINT64_C(0xfe00007fffffffff),
UINT64_C(0xfe0000ffffffffff),
UINT64_C(0xfe0001ffffffffff),
UINT64_C(0xfe0003ffffffffff),
UINT64_C(0xfe0007ffffffffff),
UINT64_C(0xfe000fffffffffff),
UINT64_C(0xfe001fffffffffff),
UINT64_C(0xfe003fffffffffff),
UINT64_C(0xfe007fffffffffff),
UINT64_C(0xfe00ffffffffffff),
UINT64_C(0xfe01ffffffffffff),
UINT64_C(0xfe03ffffffffffff),
UINT64_C(0xfe07ffffffffffff),
UINT64_C(0xfe0fffffffffffff),
UINT64_C(0xfe1fffffffffffff),
UINT64_C(0xfe3fffffffffffff),
UINT64_C(0xfe7fffffffffffff),
UINT64_C(0xfeffffffffffffff)
},
{
UINT64_C(0xfc00000000000000),
UINT64_C(0xfc00000000000001),
UINT64_C(0xfc00000000000003),
UINT64_C(0xfc00000000000007),
UINT64_C(0xfc0000000000000f),
UINT64_C(0xfc0000000000001f),
UINT64_C(0xfc0000000000003f),
UINT64_C(0xfc0000000000007f),
UINT64_C(0xfc000000000000ff),
UINT64_C(0xfc000000000001ff),
UINT64_C(0xfc000000000003ff),
UINT64_C(0xfc000000000007ff),
UINT64_C(0xfc00000000000fff),
UINT64_C(0xfc00000000001fff),
UINT64_C(0xfc00000000003fff),
UINT64_C(0xfc00000000007fff),
UINT64_C(0xfc0000000000ffff),
UINT64_C(0xfc0000000001ffff),
UINT64_C(0xfc0000000003ffff),
UINT64_C(0xfc0000000007ffff),
UINT64_C(0xfc000000000fffff),
UINT64_C(0xfc000000001fffff),
UINT64_C(0xfc000000003fffff),
UINT64_C(0xfc000000007fffff),
UINT64_C(0xfc00000000ffffff),
UINT64_C(0xfc00000001ffffff),
UINT64_C(0xfc00000003ffffff),
UINT64_C(0xfc00000007ffffff),
UINT64_C(0xfc0000000fffffff),
UINT64_C(0xfc0000001fffffff),
UINT64_C(0xfc0000003fffffff),
UINT64_C(0xfc0000007fffffff),
UINT64_C(0xfc000000ffffffff),
UINT64_C(0xfc000001ffffffff),
UINT64_C(0xfc000003ffffffff),
UINT64_C(0xfc000007ffffffff),
UINT64_C(0xfc00000fffffffff),
UINT64_C(0xfc00001fffffffff),
UINT64_C(0xfc00003fffffffff),
UINT64_C(0xfc00007fffffffff),
UINT64_C(0xfc0000ffffffffff),
UINT64_C(0xfc0001ffffffffff),
UINT64_C(0xfc0003ffffffffff),
UINT64_C(0xfc0007ffffffffff),
UINT64_C(0xfc000fffffffffff),
UINT64_C(0xfc001fffffffffff),
UINT64_C(0xfc003fffffffffff),
UINT64_C(0xfc007fffffffffff),
UINT64_C(0xfc00ffffffffffff),
UINT64_C(0xfc01ffffffffffff),
UINT64_C(0xfc03ffffffffffff),
UINT64_C(0xfc07ffffffffffff),
UINT64_C(0xfc0fffffffffffff),
UINT64_C(0xfc1fffffffffffff),
UINT64_C(0xfc3fffffffffffff),
UINT64_C(0xfc7fffffffffffff),
UINT64_C(0xfcffffffffffffff),
UINT64_C(0xfdffffffffffffff)
},
{
UINT64_C(0xf800000000000000),
UINT64_C(0xf800000000000001),
UINT64_C(0xf800000000000003),
UINT64_C(0xf800000000000007),
UINT64_C(0xf80000000000000f),
UINT64_C(0xf80000000000001f),
UINT64_C(0xf80000000000003f),
UINT64_C(0xf80000000000007f),
UINT64_C(0xf8000000000000ff),
UINT64_C(0xf8000000000001ff),
UINT64_C(0xf8000000000003ff),
UINT64_C(0xf8000000000007ff),
UINT64_C(0xf800000000000fff),
UINT64_C(0xf800000000001fff),
UINT64_C(0xf800000000003fff),
UINT64_C(0xf800000000007fff),
UINT64_C(0xf80000000000ffff),
UINT64_C(0xf80000000001ffff),
UINT64_C(0xf80000000003ffff),
UINT64_C(0xf80000000007ffff),
UINT64_C(0xf8000000000fffff),
UINT64_C(0xf8000000001fffff),
UINT64_C(0xf8000000003fffff),
UINT64_C(0xf8000000007fffff),
UINT64_C(0xf800000000ffffff),
UINT64_C(0xf800000001ffffff),
UINT64_C(0xf800000003ffffff),
UINT64_C(0xf800000007ffffff),
UINT64_C(0xf80000000fffffff),
UINT64_C(0xf80000001fffffff),
UINT64_C(0xf80000003fffffff),
UINT64_C(0xf80000007fffffff),
UINT64_C(0xf8000000ffffffff),
UINT64_C(0xf8000001ffffffff),
UINT64_C(0xf8000003ffffffff),
UINT64_C(0xf8000007ffffffff),
UINT64_C(0xf800000fffffffff),
UINT64_C(0xf800001fffffffff),
UINT64_C(0xf800003fffffffff),
UINT64_C(0xf800007fffffffff),
UINT64_C(0xf80000ffffffffff),
UINT64_C(0xf80001ffffffffff),
UINT64_C(0xf80003ffffffffff),
UINT64_C(0xf80007ffffffffff),
UINT64_C(0xf8000fffffffffff),
UINT64_C(0xf8001fffffffffff),
UINT64_C(0xf8003fffffffffff),
UINT64_C(0xf8007fffffffffff),
UINT64_C(0xf800ffffffffffff),
UINT64_C(0xf801ffffffffffff),
UINT64_C(0xf803ffffffffffff),
UINT64_C(0xf807ffffffffffff),
UINT64_C(0xf80fffffffffffff),
UINT64_C(0xf81fffffffffffff),
UINT64_C(0xf83fffffffffffff),
UINT64_C(0xf87fffffffffffff),
UINT64_C(0xf8ffffffffffffff),
UINT64_C(0xf9ffffffffffffff),
UINT64_C(0xfbffffffffffffff)
},
{
UINT64_C(0xf000000000000000),
UINT64_C(0xf000000000000001),
UINT64_C(0xf000000000000003),
UINT64_C(0xf000000000000007),
UINT64_C(0xf00000000000000f),
UINT64_C(0xf00000000000001f),
UINT64_C(0xf00000000000003f),
UINT64_C(0xf00000000000007f),
UINT64_C(0xf0000000000000ff),
UINT64_C(0xf0000000000001ff),
UINT64_C(0xf0000000000003ff),
UINT64_C(0xf0000000000007ff),
UINT64_C(0xf000000000000fff),
UINT64_C(0xf000000000001fff),
UINT64_C(0xf000000000003fff),
UINT64_C(0xf000000000007fff),
UINT64_C(0xf00000000000ffff),
UINT64_C(0xf00000000001ffff),
UINT64_C(0xf00000000003ffff),
UINT64_C(0xf00000000007ffff),
UINT64_C(0xf0000000000fffff),
UINT64_C(0xf0000000001fffff),
UINT64_C(0xf0000000003fffff),
UINT64_C(0xf0000000007fffff),
UINT64_C(0xf000000000ffffff),
UINT64_C(0xf000000001ffffff),
UINT64_C(0xf000000003ffffff),
UINT64_C(0xf000000007ffffff),
UINT64_C(0xf00000000fffffff),
UINT64_C(0xf00000001fffffff),
UINT64_C(0xf00000003fffffff),
UINT64_C(0xf00000007fffffff),
UINT64_C(0xf0000000ffffffff),
UINT64_C(0xf0000001ffffffff),
UINT64_C(0xf0000003ffffffff),
UINT64_C(0xf0000007ffffffff),
UINT64_C(0xf000000fffffffff),
UINT64_C(0xf000001fffffffff),
UINT64_C(0xf000003fffffffff),
UINT64_C(0xf000007fffffffff),
UINT64_C(0xf00000ffffffffff),
UINT64_C(0xf00001ffffffffff),
UINT64_C(0xf00003ffffffffff),
UINT64_C(0xf00007ffffffffff),
UINT64_C(0xf0000fffffffffff),
UINT64_C(0xf0001fffffffffff),
UINT64_C(0xf0003fffffffffff),
UINT64_C(0xf0007fffffffffff),
UINT64_C(0xf000ffffffffffff),
UINT64_C(0xf001ffffffffffff),
UINT64_C(0xf003ffffffffffff),
UINT64_C(0xf007ffffffffffff),
UINT64_C(0xf00fffffffffffff),
UINT64_C(0xf01fffffffffffff),
UINT64_C(0xf03fffffffffffff),
UINT64_C(0xf07fffffffffffff),
UINT64_C(0xf0ffffffffffffff),
UINT64_C(0xf1ffffffffffffff),
UINT64_C(0xf3ffffffffffffff),
UINT64_C(0xf7ffffffffffffff)
},
{
UINT64_C(0xe000000000000000),
UINT64_C(0xe000000000000001),
UINT64_C(0xe000000000000003),
UINT64_C(0xe000000000000007),
UINT64_C(0xe00000000000000f),
UINT64_C(0xe00000000000001f),
UINT64_C(0xe00000000000003f),
UINT64_C(0xe00000000000007f),
UINT64_C(0xe0000000000000ff),
UINT64_C(0xe0000000000001ff),
UINT64_C(0xe0000000000003ff),
UINT64_C(0xe0000000000007ff),
UINT64_C(0xe000000000000fff),
UINT64_C(0xe000000000001fff),
UINT64_C(0xe000000000003fff),
UINT64_C(0xe000000000007fff),
UINT64_C(0xe00000000000ffff),
UINT64_C(0xe00000000001ffff),
UINT64_C(0xe00000000003ffff),
UINT64_C(0xe00000000007ffff),
UINT64_C(0xe0000000000fffff),
UINT64_C(0xe0000000001fffff),
UINT64_C(0xe0000000003fffff),
UINT64_C(0xe0000000007fffff),
UINT64_C(0xe000000000ffffff),
UINT64_C(0xe000000001ffffff),
UINT64_C(0xe000000003ffffff),
UINT64_C(0xe000000007ffffff),
UINT64_C(0xe00000000fffffff),
UINT64_C(0xe00000001fffffff),
UINT64_C(0xe00000003fffffff),
UINT64_C(0xe00000007fffffff),
UINT64_C(0xe0000000ffffffff),
UINT64_C(0xe0000001ffffffff),
UINT64_C(0xe0000003ffffffff),
UINT64_C(0xe0000007ffffffff),
UINT64_C(0xe000000fffffffff),
UINT64_C(0xe000001fffffffff),
UINT64_C(0xe000003fffffffff),
UINT64_C(0xe000007fffffffff),
UINT64_C(0xe00000ffffffffff),
UINT64_C(0xe00001ffffffffff),
UINT64_C(0xe00003ffffffffff),
UINT64_C(0xe00007ffffffffff),
UINT64_C(0xe0000fffffffffff),
UINT64_C(0xe0001fffffffffff),
UINT64_C(0xe0003fffffffffff),
UINT64_C(0xe0007fffffffffff),
UINT64_C(0xe000ffffffffffff),
UINT64_C(0xe001ffffffffffff),
UINT64_C(0xe003ffffffffffff),
UINT64_C(0xe007ffffffffffff),
UINT64_C(0xe00fffffffffffff),
UINT64_C(0xe01fffffffffffff),
UINT64_C(0xe03fffffffffffff),
UINT64_C(0xe07fffffffffffff),
UINT64_C(0xe0ffffffffffffff),
UINT64_C(0xe1ffffffffffffff),
UINT64_C(0xe3ffffffffffffff),
UINT64_C(0xe7ffffffffffffff),
UINT64_C(0xefffffffffffffff)
},
{
UINT64_C(0xc000000000000000),
UINT64_C(0xc000000000000001),
UINT64_C(0xc000000000000003),
UINT64_C(0xc000000000000007),
UINT64_C(0xc00000000000000f),
UINT64_C(0xc00000000000001f),
UINT64_C(0xc00000000000003f),
UINT64_C(0xc00000000000007f),
UINT64_C(0xc0000000000000ff),
UINT64_C(0xc0000000000001ff),
UINT64_C(0xc0000000000003ff),
UINT64_C(0xc0000000000007ff),
UINT64_C(0xc000000000000fff),
UINT64_C(0xc000000000001fff),
UINT64_C(0xc000000000003fff),
UINT64_C(0xc000000000007fff),
UINT64_C(0xc00000000000ffff),
UINT64_C(0xc00000000001ffff),
UINT64_C(0xc00000000003ffff),
UINT64_C(0xc00000000007ffff),
UINT64_C(0xc0000000000fffff),
UINT64_C(0xc0000000001fffff),
UINT64_C(0xc0000000003fffff),
UINT64_C(0xc0000000007fffff),
UINT64_C(0xc000000000ffffff),
UINT64_C(0xc000000001ffffff),
UINT64_C(0xc000000003ffffff),
UINT64_C(0xc000000007ffffff),
UINT64_C(0xc00000000fffffff),
UINT64_C(0xc00000001fffffff),
UINT64_C(0xc00000003fffffff),
UINT64_C(0xc00000007fffffff),
UINT64_C(0xc0000000ffffffff),
UINT64_C(0xc0000001ffffffff),
UINT64_C(0xc0000003ffffffff),
UINT64_C(0xc0000007ffffffff),
UINT64_C(0xc000000fffffffff),
UINT64_C(0xc000001fffffffff),
UINT64_C(0xc000003fffffffff),
UINT64_C(0xc000007fffffffff),
UINT64_C(0xc00000ffffffffff),
UINT64_C(0xc00001ffffffffff),
UINT64_C(0xc00003ffffffffff),
UINT64_C(0xc00007ffffffffff),
UINT64_C(0xc0000fffffffffff),
UINT64_C(0xc0001fffffffffff),
UINT64_C(0xc0003fffffffffff),
UINT64_C(0xc0007fffffffffff),
UINT64_C(0xc000ffffffffffff),
UINT64_C(0xc001ffffffffffff),
UINT64_C(0xc003ffffffffffff),
UINT64_C(0xc007ffffffffffff),
UINT64_C(0xc00fffffffffffff),
UINT64_C(0xc01fffffffffffff),
UINT64_C(0xc03fffffffffffff),
UINT64_C(0xc07fffffffffffff),
UINT64_C(0xc0ffffffffffffff),
UINT64_C(0xc1ffffffffffffff),
UINT64_C(0xc3ffffffffffffff),
UINT64_C(0xc7ffffffffffffff),
UINT64_C(0xcfffffffffffffff),
UINT64_C(0xdfffffffffffffff)
},
{
UINT64_C(0x8000000000000000),
UINT64_C(0x8000000000000001),
UINT64_C(0x8000000000000003),
UINT64_C(0x8000000000000007),
UINT64_C(0x800000000000000f),
UINT64_C(0x800000000000001f),
UINT64_C(0x800000000000003f),
UINT64_C(0x800000000000007f),
UINT64_C(0x80000000000000ff),
UINT64_C(0x80000000000001ff),
UINT64_C(0x80000000000003ff),
UINT64_C(0x80000000000007ff),
UINT64_C(0x8000000000000fff),
UINT64_C(0x8000000000001fff),
UINT64_C(0x8000000000003fff),
UINT64_C(0x8000000000007fff),
UINT64_C(0x800000000000ffff),
UINT64_C(0x800000000001ffff),
UINT64_C(0x800000000003ffff),
UINT64_C(0x800000000007ffff),
UINT64_C(0x80000000000fffff),
UINT64_C(0x80000000001fffff),
UINT64_C(0x80000000003fffff),
UINT64_C(0x80000000007fffff),
UINT64_C(0x8000000000ffffff),
UINT64_C(0x8000000001ffffff),
UINT64_C(0x8000000003ffffff),
UINT64_C(0x8000000007ffffff),
UINT64_C(0x800000000fffffff),
UINT64_C(0x800000001fffffff),
UINT64_C(0x800000003fffffff),
UINT64_C(0x800000007fffffff),
UINT64_C(0x80000000ffffffff),
UINT64_C(0x80000001ffffffff),
UINT64_C(0x80000003ffffffff),
UINT64_C(0x80000007ffffffff),
UINT64_C(0x8000000fffffffff),
UINT64_C(0x8000001fffffffff),
UINT64_C(0x8000003fffffffff),
UINT64_C(0x8000007fffffffff),
UINT64_C(0x800000ffffffffff),
UINT64_C(0x800001ffffffffff),
UINT64_C(0x800003ffffffffff),
UINT64_C(0x800007ffffffffff),
UINT64_C(0x80000fffffffffff),
UINT64_C(0x80001fffffffffff),
UINT64_C(0x80003fffffffffff),
UINT64_C(0x80007fffffffffff),
UINT64_C(0x8000ffffffffffff),
UINT64_C(0x8001ffffffffffff),
UINT64_C(0x8003ffffffffffff),
UINT64_C(0x8007ffffffffffff),
UINT64_C(0x800fffffffffffff),
UINT64_C(0x801fffffffffffff),
UINT64_C(0x803fffffffffffff),
UINT64_C(0x807fffffffffffff),
UINT64_C(0x80ffffffffffffff),
UINT64_C(0x81ffffffffffffff),
UINT64_C(0x83ffffffffffffff),
UINT64_C(0x87ffffffffffffff),
UINT64_C(0x8fffffffffffffff),
UINT64_C(0x9fffffffffffffff),
UINT64_C(0xbfffffffffffffff)
},
{
UINT64_C(0x0),
UINT64_C(0x1),
UINT64_C(0x3),
UINT64_C(0x7),
UINT64_C(0xf),
UINT64_C(0x1f),
UINT64_C(0x3f),
UINT64_C(0x7f),
UINT64_C(0xff),
UINT64_C(0x1ff),
UINT64_C(0x3ff),
UINT64_C(0x7ff),
UINT64_C(0xfff),
UINT64_C(0x1fff),
UINT64_C(0x3fff),
UINT64_C(0x7fff),
UINT64_C(0xffff),
UINT64_C(0x1ffff),
UINT64_C(0x3ffff),
UINT64_C(0x7ffff),
UINT64_C(0xfffff),
UINT64_C(0x1fffff),
UINT64_C(0x3fffff),
UINT64_C(0x7fffff),
UINT64_C(0xffffff),
UINT64_C(0x1ffffff),
UINT64_C(0x3ffffff),
UINT64_C(0x7ffffff),
UINT64_C(0xfffffff),
UINT64_C(0x1fffffff),
UINT64_C(0x3fffffff),
UINT64_C(0x7fffffff),
UINT64_C(0xffffffff),
UINT64_C(0x1ffffffff),
UINT64_C(0x3ffffffff),
UINT64_C(0x7ffffffff),
UINT64_C(0xfffffffff),
UINT64_C(0x1fffffffff),
UINT64_C(0x3fffffffff),
UINT64_C(0x7fffffffff),
UINT64_C(0xffffffffff),
UINT64_C(0x1ffffffffff),
UINT64_C(0x3ffffffffff),
UINT64_C(0x7ffffffffff),
UINT64_C(0xfffffffffff),
UINT64_C(0x1fffffffffff),
UINT64_C(0x3fffffffffff),
UINT64_C(0x7fffffffffff),
UINT64_C(0xffffffffffff),
UINT64_C(0x1ffffffffffff),
UINT64_C(0x3ffffffffffff),
UINT64_C(0x7ffffffffffff),
UINT64_C(0xfffffffffffff),
UINT64_C(0x1fffffffffffff),
UINT64_C(0x3fffffffffffff),
UINT64_C(0x7fffffffffffff),
UINT64_C(0xffffffffffffff),
UINT64_C(0x1ffffffffffffff),
UINT64_C(0x3ffffffffffffff),
UINT64_C(0x7ffffffffffffff),
UINT64_C(0xfffffffffffffff),
UINT64_C(0x1fffffffffffffff),
UINT64_C(0x3fffffffffffffff),
UINT64_C(0x7fffffffffffffff)
}
};
} // namespace sc_dt