/***************************************************************************** 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_int64_mask.cpp -- Fills the mask_int lookup table to enable efficient part-selection on 64-bit 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: Description of Modification: *****************************************************************************/ // $Log: sc_int64_mask.cpp,v $ // Revision 1.3 2011/02/18 20:19:14 acg // Andy Goodrich: updating Copyright notice. // // Revision 1.2 2009/05/22 16:06:29 acg // Andy Goodrich: process control updates. // // Revision 1.1.1.1 2006/12/15 20:20:05 acg // SystemC 2.3 // // Revision 1.3 2006/01/13 18:49:31 acg // Added $Log command so that CVS check in comments are reproduced in the // source. // #ifndef _32BIT_ #include "sysc/datatypes/int/sc_int_base.h" #include "sysc/datatypes/int/sc_uint_base.h" namespace sc_dt { #if !defined(_WIN32) || defined(__MINGW32__) const uint_type mask_int[SC_INTWIDTH][SC_INTWIDTH] = { { 0xfffffffffffffffeULL }, { 0xfffffffffffffffcULL, 0xfffffffffffffffdULL }, { 0xfffffffffffffff8ULL, 0xfffffffffffffff9ULL, 0xfffffffffffffffbULL }, { 0xfffffffffffffff0ULL, 0xfffffffffffffff1ULL, 0xfffffffffffffff3ULL, 0xfffffffffffffff7ULL }, { 0xffffffffffffffe0ULL, 0xffffffffffffffe1ULL, 0xffffffffffffffe3ULL, 0xffffffffffffffe7ULL, 0xffffffffffffffefULL }, { 0xffffffffffffffc0ULL, 0xffffffffffffffc1ULL, 0xffffffffffffffc3ULL, 0xffffffffffffffc7ULL, 0xffffffffffffffcfULL, 0xffffffffffffffdfULL }, { 0xffffffffffffff80ULL, 0xffffffffffffff81ULL, 0xffffffffffffff83ULL, 0xffffffffffffff87ULL, 0xffffffffffffff8fULL, 0xffffffffffffff9fULL, 0xffffffffffffffbfULL }, { 0xffffffffffffff00ULL, 0xffffffffffffff01ULL, 0xffffffffffffff03ULL, 0xffffffffffffff07ULL, 0xffffffffffffff0fULL, 0xffffffffffffff1fULL, 0xffffffffffffff3fULL, 0xffffffffffffff7fULL }, { 0xfffffffffffffe00ULL, 0xfffffffffffffe01ULL, 0xfffffffffffffe03ULL, 0xfffffffffffffe07ULL, 0xfffffffffffffe0fULL, 0xfffffffffffffe1fULL, 0xfffffffffffffe3fULL, 0xfffffffffffffe7fULL, 0xfffffffffffffeffULL }, { 0xfffffffffffffc00ULL, 0xfffffffffffffc01ULL, 0xfffffffffffffc03ULL, 0xfffffffffffffc07ULL, 0xfffffffffffffc0fULL, 0xfffffffffffffc1fULL, 0xfffffffffffffc3fULL, 0xfffffffffffffc7fULL, 0xfffffffffffffcffULL, 0xfffffffffffffdffULL }, { 0xfffffffffffff800ULL, 0xfffffffffffff801ULL, 0xfffffffffffff803ULL, 0xfffffffffffff807ULL, 0xfffffffffffff80fULL, 0xfffffffffffff81fULL, 0xfffffffffffff83fULL, 0xfffffffffffff87fULL, 0xfffffffffffff8ffULL, 0xfffffffffffff9ffULL, 0xfffffffffffffbffULL }, { 0xfffffffffffff000ULL, 0xfffffffffffff001ULL, 0xfffffffffffff003ULL, 0xfffffffffffff007ULL, 0xfffffffffffff00fULL, 0xfffffffffffff01fULL, 0xfffffffffffff03fULL, 0xfffffffffffff07fULL, 0xfffffffffffff0ffULL, 0xfffffffffffff1ffULL, 0xfffffffffffff3ffULL, 0xfffffffffffff7ffULL }, { 0xffffffffffffe000ULL, 0xffffffffffffe001ULL, 0xffffffffffffe003ULL, 0xffffffffffffe007ULL, 0xffffffffffffe00fULL, 0xffffffffffffe01fULL, 0xffffffffffffe03fULL, 0xffffffffffffe07fULL, 0xffffffffffffe0ffULL, 0xffffffffffffe1ffULL, 0xffffffffffffe3ffULL, 0xffffffffffffe7ffULL, 0xffffffffffffefffULL }, { 0xffffffffffffc000ULL, 0xffffffffffffc001ULL, 0xffffffffffffc003ULL, 0xffffffffffffc007ULL, 0xffffffffffffc00fULL, 0xffffffffffffc01fULL, 0xffffffffffffc03fULL, 0xffffffffffffc07fULL, 0xffffffffffffc0ffULL, 0xffffffffffffc1ffULL, 0xffffffffffffc3ffULL, 0xffffffffffffc7ffULL, 0xffffffffffffcfffULL, 0xffffffffffffdfffULL }, { 0xffffffffffff8000ULL, 0xffffffffffff8001ULL, 0xffffffffffff8003ULL, 0xffffffffffff8007ULL, 0xffffffffffff800fULL, 0xffffffffffff801fULL, 0xffffffffffff803fULL, 0xffffffffffff807fULL, 0xffffffffffff80ffULL, 0xffffffffffff81ffULL, 0xffffffffffff83ffULL, 0xffffffffffff87ffULL, 0xffffffffffff8fffULL, 0xffffffffffff9fffULL, 0xffffffffffffbfffULL }, { 0xffffffffffff0000ULL, 0xffffffffffff0001ULL, 0xffffffffffff0003ULL, 0xffffffffffff0007ULL, 0xffffffffffff000fULL, 0xffffffffffff001fULL, 0xffffffffffff003fULL, 0xffffffffffff007fULL, 0xffffffffffff00ffULL, 0xffffffffffff01ffULL, 0xffffffffffff03ffULL, 0xffffffffffff07ffULL, 0xffffffffffff0fffULL, 0xffffffffffff1fffULL, 0xffffffffffff3fffULL, 0xffffffffffff7fffULL }, { 0xfffffffffffe0000ULL, 0xfffffffffffe0001ULL, 0xfffffffffffe0003ULL, 0xfffffffffffe0007ULL, 0xfffffffffffe000fULL, 0xfffffffffffe001fULL, 0xfffffffffffe003fULL, 0xfffffffffffe007fULL, 0xfffffffffffe00ffULL, 0xfffffffffffe01ffULL, 0xfffffffffffe03ffULL, 0xfffffffffffe07ffULL, 0xfffffffffffe0fffULL, 0xfffffffffffe1fffULL, 0xfffffffffffe3fffULL, 0xfffffffffffe7fffULL, 0xfffffffffffeffffULL }, { 0xfffffffffffc0000ULL, 0xfffffffffffc0001ULL, 0xfffffffffffc0003ULL, 0xfffffffffffc0007ULL, 0xfffffffffffc000fULL, 0xfffffffffffc001fULL, 0xfffffffffffc003fULL, 0xfffffffffffc007fULL, 0xfffffffffffc00ffULL, 0xfffffffffffc01ffULL, 0xfffffffffffc03ffULL, 0xfffffffffffc07ffULL, 0xfffffffffffc0fffULL, 0xfffffffffffc1fffULL, 0xfffffffffffc3fffULL, 0xfffffffffffc7fffULL, 0xfffffffffffcffffULL, 0xfffffffffffdffffULL }, { 0xfffffffffff80000ULL, 0xfffffffffff80001ULL, 0xfffffffffff80003ULL, 0xfffffffffff80007ULL, 0xfffffffffff8000fULL, 0xfffffffffff8001fULL, 0xfffffffffff8003fULL, 0xfffffffffff8007fULL, 0xfffffffffff800ffULL, 0xfffffffffff801ffULL, 0xfffffffffff803ffULL, 0xfffffffffff807ffULL, 0xfffffffffff80fffULL, 0xfffffffffff81fffULL, 0xfffffffffff83fffULL, 0xfffffffffff87fffULL, 0xfffffffffff8ffffULL, 0xfffffffffff9ffffULL, 0xfffffffffffbffffULL }, { 0xfffffffffff00000ULL, 0xfffffffffff00001ULL, 0xfffffffffff00003ULL, 0xfffffffffff00007ULL, 0xfffffffffff0000fULL, 0xfffffffffff0001fULL, 0xfffffffffff0003fULL, 0xfffffffffff0007fULL, 0xfffffffffff000ffULL, 0xfffffffffff001ffULL, 0xfffffffffff003ffULL, 0xfffffffffff007ffULL, 0xfffffffffff00fffULL, 0xfffffffffff01fffULL, 0xfffffffffff03fffULL, 0xfffffffffff07fffULL, 0xfffffffffff0ffffULL, 0xfffffffffff1ffffULL, 0xfffffffffff3ffffULL, 0xfffffffffff7ffffULL }, { 0xffffffffffe00000ULL, 0xffffffffffe00001ULL, 0xffffffffffe00003ULL, 0xffffffffffe00007ULL, 0xffffffffffe0000fULL, 0xffffffffffe0001fULL, 0xffffffffffe0003fULL, 0xffffffffffe0007fULL, 0xffffffffffe000ffULL, 0xffffffffffe001ffULL, 0xffffffffffe003ffULL, 0xffffffffffe007ffULL, 0xffffffffffe00fffULL, 0xffffffffffe01fffULL, 0xffffffffffe03fffULL, 0xffffffffffe07fffULL, 0xffffffffffe0ffffULL, 0xffffffffffe1ffffULL, 0xffffffffffe3ffffULL, 0xffffffffffe7ffffULL, 0xffffffffffefffffULL }, { 0xffffffffffc00000ULL, 0xffffffffffc00001ULL, 0xffffffffffc00003ULL, 0xffffffffffc00007ULL, 0xffffffffffc0000fULL, 0xffffffffffc0001fULL, 0xffffffffffc0003fULL, 0xffffffffffc0007fULL, 0xffffffffffc000ffULL, 0xffffffffffc001ffULL, 0xffffffffffc003ffULL, 0xffffffffffc007ffULL, 0xffffffffffc00fffULL, 0xffffffffffc01fffULL, 0xffffffffffc03fffULL, 0xffffffffffc07fffULL, 0xffffffffffc0ffffULL, 0xffffffffffc1ffffULL, 0xffffffffffc3ffffULL, 0xffffffffffc7ffffULL, 0xffffffffffcfffffULL, 0xffffffffffdfffffULL }, { 0xffffffffff800000ULL, 0xffffffffff800001ULL, 0xffffffffff800003ULL, 0xffffffffff800007ULL, 0xffffffffff80000fULL, 0xffffffffff80001fULL, 0xffffffffff80003fULL, 0xffffffffff80007fULL, 0xffffffffff8000ffULL, 0xffffffffff8001ffULL, 0xffffffffff8003ffULL, 0xffffffffff8007ffULL, 0xffffffffff800fffULL, 0xffffffffff801fffULL, 0xffffffffff803fffULL, 0xffffffffff807fffULL, 0xffffffffff80ffffULL, 0xffffffffff81ffffULL, 0xffffffffff83ffffULL, 0xffffffffff87ffffULL, 0xffffffffff8fffffULL, 0xffffffffff9fffffULL, 0xffffffffffbfffffULL }, { 0xffffffffff000000ULL, 0xffffffffff000001ULL, 0xffffffffff000003ULL, 0xffffffffff000007ULL, 0xffffffffff00000fULL, 0xffffffffff00001fULL, 0xffffffffff00003fULL, 0xffffffffff00007fULL, 0xffffffffff0000ffULL, 0xffffffffff0001ffULL, 0xffffffffff0003ffULL, 0xffffffffff0007ffULL, 0xffffffffff000fffULL, 0xffffffffff001fffULL, 0xffffffffff003fffULL, 0xffffffffff007fffULL, 0xffffffffff00ffffULL, 0xffffffffff01ffffULL, 0xffffffffff03ffffULL, 0xffffffffff07ffffULL, 0xffffffffff0fffffULL, 0xffffffffff1fffffULL, 0xffffffffff3fffffULL, 0xffffffffff7fffffULL }, { 0xfffffffffe000000ULL, 0xfffffffffe000001ULL, 0xfffffffffe000003ULL, 0xfffffffffe000007ULL, 0xfffffffffe00000fULL, 0xfffffffffe00001fULL, 0xfffffffffe00003fULL, 0xfffffffffe00007fULL, 0xfffffffffe0000ffULL, 0xfffffffffe0001ffULL, 0xfffffffffe0003ffULL, 0xfffffffffe0007ffULL, 0xfffffffffe000fffULL, 0xfffffffffe001fffULL, 0xfffffffffe003fffULL, 0xfffffffffe007fffULL, 0xfffffffffe00ffffULL, 0xfffffffffe01ffffULL, 0xfffffffffe03ffffULL, 0xfffffffffe07ffffULL, 0xfffffffffe0fffffULL, 0xfffffffffe1fffffULL, 0xfffffffffe3fffffULL, 0xfffffffffe7fffffULL, 0xfffffffffeffffffULL }, { 0xfffffffffc000000ULL, 0xfffffffffc000001ULL, 0xfffffffffc000003ULL, 0xfffffffffc000007ULL, 0xfffffffffc00000fULL, 0xfffffffffc00001fULL, 0xfffffffffc00003fULL, 0xfffffffffc00007fULL, 0xfffffffffc0000ffULL, 0xfffffffffc0001ffULL, 0xfffffffffc0003ffULL, 0xfffffffffc0007ffULL, 0xfffffffffc000fffULL, 0xfffffffffc001fffULL, 0xfffffffffc003fffULL, 0xfffffffffc007fffULL, 0xfffffffffc00ffffULL, 0xfffffffffc01ffffULL, 0xfffffffffc03ffffULL, 0xfffffffffc07ffffULL, 0xfffffffffc0fffffULL, 0xfffffffffc1fffffULL, 0xfffffffffc3fffffULL, 0xfffffffffc7fffffULL, 0xfffffffffcffffffULL, 0xfffffffffdffffffULL }, { 0xfffffffff8000000ULL, 0xfffffffff8000001ULL, 0xfffffffff8000003ULL, 0xfffffffff8000007ULL, 0xfffffffff800000fULL, 0xfffffffff800001fULL, 0xfffffffff800003fULL, 0xfffffffff800007fULL, 0xfffffffff80000ffULL, 0xfffffffff80001ffULL, 0xfffffffff80003ffULL, 0xfffffffff80007ffULL, 0xfffffffff8000fffULL, 0xfffffffff8001fffULL, 0xfffffffff8003fffULL, 0xfffffffff8007fffULL, 0xfffffffff800ffffULL, 0xfffffffff801ffffULL, 0xfffffffff803ffffULL, 0xfffffffff807ffffULL, 0xfffffffff80fffffULL, 0xfffffffff81fffffULL, 0xfffffffff83fffffULL, 0xfffffffff87fffffULL, 0xfffffffff8ffffffULL, 0xfffffffff9ffffffULL, 0xfffffffffbffffffULL }, { 0xfffffffff0000000ULL, 0xfffffffff0000001ULL, 0xfffffffff0000003ULL, 0xfffffffff0000007ULL, 0xfffffffff000000fULL, 0xfffffffff000001fULL, 0xfffffffff000003fULL, 0xfffffffff000007fULL, 0xfffffffff00000ffULL, 0xfffffffff00001ffULL, 0xfffffffff00003ffULL, 0xfffffffff00007ffULL, 0xfffffffff0000fffULL, 0xfffffffff0001fffULL, 0xfffffffff0003fffULL, 0xfffffffff0007fffULL, 0xfffffffff000ffffULL, 0xfffffffff001ffffULL, 0xfffffffff003ffffULL, 0xfffffffff007ffffULL, 0xfffffffff00fffffULL, 0xfffffffff01fffffULL, 0xfffffffff03fffffULL, 0xfffffffff07fffffULL, 0xfffffffff0ffffffULL, 0xfffffffff1ffffffULL, 0xfffffffff3ffffffULL, 0xfffffffff7ffffffULL }, { 0xffffffffe0000000ULL, 0xffffffffe0000001ULL, 0xffffffffe0000003ULL, 0xffffffffe0000007ULL, 0xffffffffe000000fULL, 0xffffffffe000001fULL, 0xffffffffe000003fULL, 0xffffffffe000007fULL, 0xffffffffe00000ffULL, 0xffffffffe00001ffULL, 0xffffffffe00003ffULL, 0xffffffffe00007ffULL, 0xffffffffe0000fffULL, 0xffffffffe0001fffULL, 0xffffffffe0003fffULL, 0xffffffffe0007fffULL, 0xffffffffe000ffffULL, 0xffffffffe001ffffULL, 0xffffffffe003ffffULL, 0xffffffffe007ffffULL, 0xffffffffe00fffffULL, 0xffffffffe01fffffULL, 0xffffffffe03fffffULL, 0xffffffffe07fffffULL, 0xffffffffe0ffffffULL, 0xffffffffe1ffffffULL, 0xffffffffe3ffffffULL, 0xffffffffe7ffffffULL, 0xffffffffefffffffULL }, { 0xffffffffc0000000ULL, 0xffffffffc0000001ULL, 0xffffffffc0000003ULL, 0xffffffffc0000007ULL, 0xffffffffc000000fULL, 0xffffffffc000001fULL, 0xffffffffc000003fULL, 0xffffffffc000007fULL, 0xffffffffc00000ffULL, 0xffffffffc00001ffULL, 0xffffffffc00003ffULL, 0xffffffffc00007ffULL, 0xffffffffc0000fffULL, 0xffffffffc0001fffULL, 0xffffffffc0003fffULL, 0xffffffffc0007fffULL, 0xffffffffc000ffffULL, 0xffffffffc001ffffULL, 0xffffffffc003ffffULL, 0xffffffffc007ffffULL, 0xffffffffc00fffffULL, 0xffffffffc01fffffULL, 0xffffffffc03fffffULL, 0xffffffffc07fffffULL, 0xffffffffc0ffffffULL, 0xffffffffc1ffffffULL, 0xffffffffc3ffffffULL, 0xffffffffc7ffffffULL, 0xffffffffcfffffffULL, 0xffffffffdfffffffULL }, { 0xffffffff80000000ULL, 0xffffffff80000001ULL, 0xffffffff80000003ULL, 0xffffffff80000007ULL, 0xffffffff8000000fULL, 0xffffffff8000001fULL, 0xffffffff8000003fULL, 0xffffffff8000007fULL, 0xffffffff800000ffULL, 0xffffffff800001ffULL, 0xffffffff800003ffULL, 0xffffffff800007ffULL, 0xffffffff80000fffULL, 0xffffffff80001fffULL, 0xffffffff80003fffULL, 0xffffffff80007fffULL, 0xffffffff8000ffffULL, 0xffffffff8001ffffULL, 0xffffffff8003ffffULL, 0xffffffff8007ffffULL, 0xffffffff800fffffULL, 0xffffffff801fffffULL, 0xffffffff803fffffULL, 0xffffffff807fffffULL, 0xffffffff80ffffffULL, 0xffffffff81ffffffULL, 0xffffffff83ffffffULL, 0xffffffff87ffffffULL, 0xffffffff8fffffffULL, 0xffffffff9fffffffULL, 0xffffffffbfffffffULL }, { 0xffffffff00000000ULL, 0xffffffff00000001ULL, 0xffffffff00000003ULL, 0xffffffff00000007ULL, 0xffffffff0000000fULL, 0xffffffff0000001fULL, 0xffffffff0000003fULL, 0xffffffff0000007fULL, 0xffffffff000000ffULL, 0xffffffff000001ffULL, 0xffffffff000003ffULL, 0xffffffff000007ffULL, 0xffffffff00000fffULL, 0xffffffff00001fffULL, 0xffffffff00003fffULL, 0xffffffff00007fffULL, 0xffffffff0000ffffULL, 0xffffffff0001ffffULL, 0xffffffff0003ffffULL, 0xffffffff0007ffffULL, 0xffffffff000fffffULL, 0xffffffff001fffffULL, 0xffffffff003fffffULL, 0xffffffff007fffffULL, 0xffffffff00ffffffULL, 0xffffffff01ffffffULL, 0xffffffff03ffffffULL, 0xffffffff07ffffffULL, 0xffffffff0fffffffULL, 0xffffffff1fffffffULL, 0xffffffff3fffffffULL, 0xffffffff7fffffffULL }, { 0xfffffffe00000000ULL, 0xfffffffe00000001ULL, 0xfffffffe00000003ULL, 0xfffffffe00000007ULL, 0xfffffffe0000000fULL, 0xfffffffe0000001fULL, 0xfffffffe0000003fULL, 0xfffffffe0000007fULL, 0xfffffffe000000ffULL, 0xfffffffe000001ffULL, 0xfffffffe000003ffULL, 0xfffffffe000007ffULL, 0xfffffffe00000fffULL, 0xfffffffe00001fffULL, 0xfffffffe00003fffULL, 0xfffffffe00007fffULL, 0xfffffffe0000ffffULL, 0xfffffffe0001ffffULL, 0xfffffffe0003ffffULL, 0xfffffffe0007ffffULL, 0xfffffffe000fffffULL, 0xfffffffe001fffffULL, 0xfffffffe003fffffULL, 0xfffffffe007fffffULL, 0xfffffffe00ffffffULL, 0xfffffffe01ffffffULL, 0xfffffffe03ffffffULL, 0xfffffffe07ffffffULL, 0xfffffffe0fffffffULL, 0xfffffffe1fffffffULL, 0xfffffffe3fffffffULL, 0xfffffffe7fffffffULL, 0xfffffffeffffffffULL }, { 0xfffffffc00000000ULL, 0xfffffffc00000001ULL, 0xfffffffc00000003ULL, 0xfffffffc00000007ULL, 0xfffffffc0000000fULL, 0xfffffffc0000001fULL, 0xfffffffc0000003fULL, 0xfffffffc0000007fULL, 0xfffffffc000000ffULL, 0xfffffffc000001ffULL, 0xfffffffc000003ffULL, 0xfffffffc000007ffULL, 0xfffffffc00000fffULL, 0xfffffffc00001fffULL, 0xfffffffc00003fffULL, 0xfffffffc00007fffULL, 0xfffffffc0000ffffULL, 0xfffffffc0001ffffULL, 0xfffffffc0003ffffULL, 0xfffffffc0007ffffULL, 0xfffffffc000fffffULL, 0xfffffffc001fffffULL, 0xfffffffc003fffffULL, 0xfffffffc007fffffULL, 0xfffffffc00ffffffULL, 0xfffffffc01ffffffULL, 0xfffffffc03ffffffULL, 0xfffffffc07ffffffULL, 0xfffffffc0fffffffULL, 0xfffffffc1fffffffULL, 0xfffffffc3fffffffULL, 0xfffffffc7fffffffULL, 0xfffffffcffffffffULL, 0xfffffffdffffffffULL }, { 0xfffffff800000000ULL, 0xfffffff800000001ULL, 0xfffffff800000003ULL, 0xfffffff800000007ULL, 0xfffffff80000000fULL, 0xfffffff80000001fULL, 0xfffffff80000003fULL, 0xfffffff80000007fULL, 0xfffffff8000000ffULL, 0xfffffff8000001ffULL, 0xfffffff8000003ffULL, 0xfffffff8000007ffULL, 0xfffffff800000fffULL, 0xfffffff800001fffULL, 0xfffffff800003fffULL, 0xfffffff800007fffULL, 0xfffffff80000ffffULL, 0xfffffff80001ffffULL, 0xfffffff80003ffffULL, 0xfffffff80007ffffULL, 0xfffffff8000fffffULL, 0xfffffff8001fffffULL, 0xfffffff8003fffffULL, 0xfffffff8007fffffULL, 0xfffffff800ffffffULL, 0xfffffff801ffffffULL, 0xfffffff803ffffffULL, 0xfffffff807ffffffULL, 0xfffffff80fffffffULL, 0xfffffff81fffffffULL, 0xfffffff83fffffffULL, 0xfffffff87fffffffULL, 0xfffffff8ffffffffULL, 0xfffffff9ffffffffULL, 0xfffffffbffffffffULL }, { 0xfffffff000000000ULL, 0xfffffff000000001ULL, 0xfffffff000000003ULL, 0xfffffff000000007ULL, 0xfffffff00000000fULL, 0xfffffff00000001fULL, 0xfffffff00000003fULL, 0xfffffff00000007fULL, 0xfffffff0000000ffULL, 0xfffffff0000001ffULL, 0xfffffff0000003ffULL, 0xfffffff0000007ffULL, 0xfffffff000000fffULL, 0xfffffff000001fffULL, 0xfffffff000003fffULL, 0xfffffff000007fffULL, 0xfffffff00000ffffULL, 0xfffffff00001ffffULL, 0xfffffff00003ffffULL, 0xfffffff00007ffffULL, 0xfffffff0000fffffULL, 0xfffffff0001fffffULL, 0xfffffff0003fffffULL, 0xfffffff0007fffffULL, 0xfffffff000ffffffULL, 0xfffffff001ffffffULL, 0xfffffff003ffffffULL, 0xfffffff007ffffffULL, 0xfffffff00fffffffULL, 0xfffffff01fffffffULL, 0xfffffff03fffffffULL, 0xfffffff07fffffffULL, 0xfffffff0ffffffffULL, 0xfffffff1ffffffffULL, 0xfffffff3ffffffffULL, 0xfffffff7ffffffffULL }, { 0xffffffe000000000ULL, 0xffffffe000000001ULL, 0xffffffe000000003ULL, 0xffffffe000000007ULL, 0xffffffe00000000fULL, 0xffffffe00000001fULL, 0xffffffe00000003fULL, 0xffffffe00000007fULL, 0xffffffe0000000ffULL, 0xffffffe0000001ffULL, 0xffffffe0000003ffULL, 0xffffffe0000007ffULL, 0xffffffe000000fffULL, 0xffffffe000001fffULL, 0xffffffe000003fffULL, 0xffffffe000007fffULL, 0xffffffe00000ffffULL, 0xffffffe00001ffffULL, 0xffffffe00003ffffULL, 0xffffffe00007ffffULL, 0xffffffe0000fffffULL, 0xffffffe0001fffffULL, 0xffffffe0003fffffULL, 0xffffffe0007fffffULL, 0xffffffe000ffffffULL, 0xffffffe001ffffffULL, 0xffffffe003ffffffULL, 0xffffffe007ffffffULL, 0xffffffe00fffffffULL, 0xffffffe01fffffffULL, 0xffffffe03fffffffULL, 0xffffffe07fffffffULL, 0xffffffe0ffffffffULL, 0xffffffe1ffffffffULL, 0xffffffe3ffffffffULL, 0xffffffe7ffffffffULL, 0xffffffefffffffffULL }, { 0xffffffc000000000ULL, 0xffffffc000000001ULL, 0xffffffc000000003ULL, 0xffffffc000000007ULL, 0xffffffc00000000fULL, 0xffffffc00000001fULL, 0xffffffc00000003fULL, 0xffffffc00000007fULL, 0xffffffc0000000ffULL, 0xffffffc0000001ffULL, 0xffffffc0000003ffULL, 0xffffffc0000007ffULL, 0xffffffc000000fffULL, 0xffffffc000001fffULL, 0xffffffc000003fffULL, 0xffffffc000007fffULL, 0xffffffc00000ffffULL, 0xffffffc00001ffffULL, 0xffffffc00003ffffULL, 0xffffffc00007ffffULL, 0xffffffc0000fffffULL, 0xffffffc0001fffffULL, 0xffffffc0003fffffULL, 0xffffffc0007fffffULL, 0xffffffc000ffffffULL, 0xffffffc001ffffffULL, 0xffffffc003ffffffULL, 0xffffffc007ffffffULL, 0xffffffc00fffffffULL, 0xffffffc01fffffffULL, 0xffffffc03fffffffULL, 0xffffffc07fffffffULL, 0xffffffc0ffffffffULL, 0xffffffc1ffffffffULL, 0xffffffc3ffffffffULL, 0xffffffc7ffffffffULL, 0xffffffcfffffffffULL, 0xffffffdfffffffffULL }, { 0xffffff8000000000ULL, 0xffffff8000000001ULL, 0xffffff8000000003ULL, 0xffffff8000000007ULL, 0xffffff800000000fULL, 0xffffff800000001fULL, 0xffffff800000003fULL, 0xffffff800000007fULL, 0xffffff80000000ffULL, 0xffffff80000001ffULL, 0xffffff80000003ffULL, 0xffffff80000007ffULL, 0xffffff8000000fffULL, 0xffffff8000001fffULL, 0xffffff8000003fffULL, 0xffffff8000007fffULL, 0xffffff800000ffffULL, 0xffffff800001ffffULL, 0xffffff800003ffffULL, 0xffffff800007ffffULL, 0xffffff80000fffffULL, 0xffffff80001fffffULL, 0xffffff80003fffffULL, 0xffffff80007fffffULL, 0xffffff8000ffffffULL, 0xffffff8001ffffffULL, 0xffffff8003ffffffULL, 0xffffff8007ffffffULL, 0xffffff800fffffffULL, 0xffffff801fffffffULL, 0xffffff803fffffffULL, 0xffffff807fffffffULL, 0xffffff80ffffffffULL, 0xffffff81ffffffffULL, 0xffffff83ffffffffULL, 0xffffff87ffffffffULL, 0xffffff8fffffffffULL, 0xffffff9fffffffffULL, 0xffffffbfffffffffULL }, { 0xffffff0000000000ULL, 0xffffff0000000001ULL, 0xffffff0000000003ULL, 0xffffff0000000007ULL, 0xffffff000000000fULL, 0xffffff000000001fULL, 0xffffff000000003fULL, 0xffffff000000007fULL, 0xffffff00000000ffULL, 0xffffff00000001ffULL, 0xffffff00000003ffULL, 0xffffff00000007ffULL, 0xffffff0000000fffULL, 0xffffff0000001fffULL, 0xffffff0000003fffULL, 0xffffff0000007fffULL, 0xffffff000000ffffULL, 0xffffff000001ffffULL, 0xffffff000003ffffULL, 0xffffff000007ffffULL, 0xffffff00000fffffULL, 0xffffff00001fffffULL, 0xffffff00003fffffULL, 0xffffff00007fffffULL, 0xffffff0000ffffffULL, 0xffffff0001ffffffULL, 0xffffff0003ffffffULL, 0xffffff0007ffffffULL, 0xffffff000fffffffULL, 0xffffff001fffffffULL, 0xffffff003fffffffULL, 0xffffff007fffffffULL, 0xffffff00ffffffffULL, 0xffffff01ffffffffULL, 0xffffff03ffffffffULL, 0xffffff07ffffffffULL, 0xffffff0fffffffffULL, 0xffffff1fffffffffULL, 0xffffff3fffffffffULL, 0xffffff7fffffffffULL }, { 0xfffffe0000000000ULL, 0xfffffe0000000001ULL, 0xfffffe0000000003ULL, 0xfffffe0000000007ULL, 0xfffffe000000000fULL, 0xfffffe000000001fULL, 0xfffffe000000003fULL, 0xfffffe000000007fULL, 0xfffffe00000000ffULL, 0xfffffe00000001ffULL, 0xfffffe00000003ffULL, 0xfffffe00000007ffULL, 0xfffffe0000000fffULL, 0xfffffe0000001fffULL, 0xfffffe0000003fffULL, 0xfffffe0000007fffULL, 0xfffffe000000ffffULL, 0xfffffe000001ffffULL, 0xfffffe000003ffffULL, 0xfffffe000007ffffULL, 0xfffffe00000fffffULL, 0xfffffe00001fffffULL, 0xfffffe00003fffffULL, 0xfffffe00007fffffULL, 0xfffffe0000ffffffULL, 0xfffffe0001ffffffULL, 0xfffffe0003ffffffULL, 0xfffffe0007ffffffULL, 0xfffffe000fffffffULL, 0xfffffe001fffffffULL, 0xfffffe003fffffffULL, 0xfffffe007fffffffULL, 0xfffffe00ffffffffULL, 0xfffffe01ffffffffULL, 0xfffffe03ffffffffULL, 0xfffffe07ffffffffULL, 0xfffffe0fffffffffULL, 0xfffffe1fffffffffULL, 0xfffffe3fffffffffULL, 0xfffffe7fffffffffULL, 0xfffffeffffffffffULL }, { 0xfffffc0000000000ULL, 0xfffffc0000000001ULL, 0xfffffc0000000003ULL, 0xfffffc0000000007ULL, 0xfffffc000000000fULL, 0xfffffc000000001fULL, 0xfffffc000000003fULL, 0xfffffc000000007fULL, 0xfffffc00000000ffULL, 0xfffffc00000001ffULL, 0xfffffc00000003ffULL, 0xfffffc00000007ffULL, 0xfffffc0000000fffULL, 0xfffffc0000001fffULL, 0xfffffc0000003fffULL, 0xfffffc0000007fffULL, 0xfffffc000000ffffULL, 0xfffffc000001ffffULL, 0xfffffc000003ffffULL, 0xfffffc000007ffffULL, 0xfffffc00000fffffULL, 0xfffffc00001fffffULL, 0xfffffc00003fffffULL, 0xfffffc00007fffffULL, 0xfffffc0000ffffffULL, 0xfffffc0001ffffffULL, 0xfffffc0003ffffffULL, 0xfffffc0007ffffffULL, 0xfffffc000fffffffULL, 0xfffffc001fffffffULL, 0xfffffc003fffffffULL, 0xfffffc007fffffffULL, 0xfffffc00ffffffffULL, 0xfffffc01ffffffffULL, 0xfffffc03ffffffffULL, 0xfffffc07ffffffffULL, 0xfffffc0fffffffffULL, 0xfffffc1fffffffffULL, 0xfffffc3fffffffffULL, 0xfffffc7fffffffffULL, 0xfffffcffffffffffULL, 0xfffffdffffffffffULL }, { 0xfffff80000000000ULL, 0xfffff80000000001ULL, 0xfffff80000000003ULL, 0xfffff80000000007ULL, 0xfffff8000000000fULL, 0xfffff8000000001fULL, 0xfffff8000000003fULL, 0xfffff8000000007fULL, 0xfffff800000000ffULL, 0xfffff800000001ffULL, 0xfffff800000003ffULL, 0xfffff800000007ffULL, 0xfffff80000000fffULL, 0xfffff80000001fffULL, 0xfffff80000003fffULL, 0xfffff80000007fffULL, 0xfffff8000000ffffULL, 0xfffff8000001ffffULL, 0xfffff8000003ffffULL, 0xfffff8000007ffffULL, 0xfffff800000fffffULL, 0xfffff800001fffffULL, 0xfffff800003fffffULL, 0xfffff800007fffffULL, 0xfffff80000ffffffULL, 0xfffff80001ffffffULL, 0xfffff80003ffffffULL, 0xfffff80007ffffffULL, 0xfffff8000fffffffULL, 0xfffff8001fffffffULL, 0xfffff8003fffffffULL, 0xfffff8007fffffffULL, 0xfffff800ffffffffULL, 0xfffff801ffffffffULL, 0xfffff803ffffffffULL, 0xfffff807ffffffffULL, 0xfffff80fffffffffULL, 0xfffff81fffffffffULL, 0xfffff83fffffffffULL, 0xfffff87fffffffffULL, 0xfffff8ffffffffffULL, 0xfffff9ffffffffffULL, 0xfffffbffffffffffULL }, { 0xfffff00000000000ULL, 0xfffff00000000001ULL, 0xfffff00000000003ULL, 0xfffff00000000007ULL, 0xfffff0000000000fULL, 0xfffff0000000001fULL, 0xfffff0000000003fULL, 0xfffff0000000007fULL, 0xfffff000000000ffULL, 0xfffff000000001ffULL, 0xfffff000000003ffULL, 0xfffff000000007ffULL, 0xfffff00000000fffULL, 0xfffff00000001fffULL, 0xfffff00000003fffULL, 0xfffff00000007fffULL, 0xfffff0000000ffffULL, 0xfffff0000001ffffULL, 0xfffff0000003ffffULL, 0xfffff0000007ffffULL, 0xfffff000000fffffULL, 0xfffff000001fffffULL, 0xfffff000003fffffULL, 0xfffff000007fffffULL, 0xfffff00000ffffffULL, 0xfffff00001ffffffULL, 0xfffff00003ffffffULL, 0xfffff00007ffffffULL, 0xfffff0000fffffffULL, 0xfffff0001fffffffULL, 0xfffff0003fffffffULL, 0xfffff0007fffffffULL, 0xfffff000ffffffffULL, 0xfffff001ffffffffULL, 0xfffff003ffffffffULL, 0xfffff007ffffffffULL, 0xfffff00fffffffffULL, 0xfffff01fffffffffULL, 0xfffff03fffffffffULL, 0xfffff07fffffffffULL, 0xfffff0ffffffffffULL, 0xfffff1ffffffffffULL, 0xfffff3ffffffffffULL, 0xfffff7ffffffffffULL }, { 0xffffe00000000000ULL, 0xffffe00000000001ULL, 0xffffe00000000003ULL, 0xffffe00000000007ULL, 0xffffe0000000000fULL, 0xffffe0000000001fULL, 0xffffe0000000003fULL, 0xffffe0000000007fULL, 0xffffe000000000ffULL, 0xffffe000000001ffULL, 0xffffe000000003ffULL, 0xffffe000000007ffULL, 0xffffe00000000fffULL, 0xffffe00000001fffULL, 0xffffe00000003fffULL, 0xffffe00000007fffULL, 0xffffe0000000ffffULL, 0xffffe0000001ffffULL, 0xffffe0000003ffffULL, 0xffffe0000007ffffULL, 0xffffe000000fffffULL, 0xffffe000001fffffULL, 0xffffe000003fffffULL, 0xffffe000007fffffULL, 0xffffe00000ffffffULL, 0xffffe00001ffffffULL, 0xffffe00003ffffffULL, 0xffffe00007ffffffULL, 0xffffe0000fffffffULL, 0xffffe0001fffffffULL, 0xffffe0003fffffffULL, 0xffffe0007fffffffULL, 0xffffe000ffffffffULL, 0xffffe001ffffffffULL, 0xffffe003ffffffffULL, 0xffffe007ffffffffULL, 0xffffe00fffffffffULL, 0xffffe01fffffffffULL, 0xffffe03fffffffffULL, 0xffffe07fffffffffULL, 0xffffe0ffffffffffULL, 0xffffe1ffffffffffULL, 0xffffe3ffffffffffULL, 0xffffe7ffffffffffULL, 0xffffefffffffffffULL }, { 0xffffc00000000000ULL, 0xffffc00000000001ULL, 0xffffc00000000003ULL, 0xffffc00000000007ULL, 0xffffc0000000000fULL, 0xffffc0000000001fULL, 0xffffc0000000003fULL, 0xffffc0000000007fULL, 0xffffc000000000ffULL, 0xffffc000000001ffULL, 0xffffc000000003ffULL, 0xffffc000000007ffULL, 0xffffc00000000fffULL, 0xffffc00000001fffULL, 0xffffc00000003fffULL, 0xffffc00000007fffULL, 0xffffc0000000ffffULL, 0xffffc0000001ffffULL, 0xffffc0000003ffffULL, 0xffffc0000007ffffULL, 0xffffc000000fffffULL, 0xffffc000001fffffULL, 0xffffc000003fffffULL, 0xffffc000007fffffULL, 0xffffc00000ffffffULL, 0xffffc00001ffffffULL, 0xffffc00003ffffffULL, 0xffffc00007ffffffULL, 0xffffc0000fffffffULL, 0xffffc0001fffffffULL, 0xffffc0003fffffffULL, 0xffffc0007fffffffULL, 0xffffc000ffffffffULL, 0xffffc001ffffffffULL, 0xffffc003ffffffffULL, 0xffffc007ffffffffULL, 0xffffc00fffffffffULL, 0xffffc01fffffffffULL, 0xffffc03fffffffffULL, 0xffffc07fffffffffULL, 0xffffc0ffffffffffULL, 0xffffc1ffffffffffULL, 0xffffc3ffffffffffULL, 0xffffc7ffffffffffULL, 0xffffcfffffffffffULL, 0xffffdfffffffffffULL }, { 0xffff800000000000ULL, 0xffff800000000001ULL, 0xffff800000000003ULL, 0xffff800000000007ULL, 0xffff80000000000fULL, 0xffff80000000001fULL, 0xffff80000000003fULL, 0xffff80000000007fULL, 0xffff8000000000ffULL, 0xffff8000000001ffULL, 0xffff8000000003ffULL, 0xffff8000000007ffULL, 0xffff800000000fffULL, 0xffff800000001fffULL, 0xffff800000003fffULL, 0xffff800000007fffULL, 0xffff80000000ffffULL, 0xffff80000001ffffULL, 0xffff80000003ffffULL, 0xffff80000007ffffULL, 0xffff8000000fffffULL, 0xffff8000001fffffULL, 0xffff8000003fffffULL, 0xffff8000007fffffULL, 0xffff800000ffffffULL, 0xffff800001ffffffULL, 0xffff800003ffffffULL, 0xffff800007ffffffULL, 0xffff80000fffffffULL, 0xffff80001fffffffULL, 0xffff80003fffffffULL, 0xffff80007fffffffULL, 0xffff8000ffffffffULL, 0xffff8001ffffffffULL, 0xffff8003ffffffffULL, 0xffff8007ffffffffULL, 0xffff800fffffffffULL, 0xffff801fffffffffULL, 0xffff803fffffffffULL, 0xffff807fffffffffULL, 0xffff80ffffffffffULL, 0xffff81ffffffffffULL, 0xffff83ffffffffffULL, 0xffff87ffffffffffULL, 0xffff8fffffffffffULL, 0xffff9fffffffffffULL, 0xffffbfffffffffffULL }, { 0xffff000000000000ULL, 0xffff000000000001ULL, 0xffff000000000003ULL, 0xffff000000000007ULL, 0xffff00000000000fULL, 0xffff00000000001fULL, 0xffff00000000003fULL, 0xffff00000000007fULL, 0xffff0000000000ffULL, 0xffff0000000001ffULL, 0xffff0000000003ffULL, 0xffff0000000007ffULL, 0xffff000000000fffULL, 0xffff000000001fffULL, 0xffff000000003fffULL, 0xffff000000007fffULL, 0xffff00000000ffffULL, 0xffff00000001ffffULL, 0xffff00000003ffffULL, 0xffff00000007ffffULL, 0xffff0000000fffffULL, 0xffff0000001fffffULL, 0xffff0000003fffffULL, 0xffff0000007fffffULL, 0xffff000000ffffffULL, 0xffff000001ffffffULL, 0xffff000003ffffffULL, 0xffff000007ffffffULL, 0xffff00000fffffffULL, 0xffff00001fffffffULL, 0xffff00003fffffffULL, 0xffff00007fffffffULL, 0xffff0000ffffffffULL, 0xffff0001ffffffffULL, 0xffff0003ffffffffULL, 0xffff0007ffffffffULL, 0xffff000fffffffffULL, 0xffff001fffffffffULL, 0xffff003fffffffffULL, 0xffff007fffffffffULL, 0xffff00ffffffffffULL, 0xffff01ffffffffffULL, 0xffff03ffffffffffULL, 0xffff07ffffffffffULL, 0xffff0fffffffffffULL, 0xffff1fffffffffffULL, 0xffff3fffffffffffULL, 0xffff7fffffffffffULL }, { 0xfffe000000000000ULL, 0xfffe000000000001ULL, 0xfffe000000000003ULL, 0xfffe000000000007ULL, 0xfffe00000000000fULL, 0xfffe00000000001fULL, 0xfffe00000000003fULL, 0xfffe00000000007fULL, 0xfffe0000000000ffULL, 0xfffe0000000001ffULL, 0xfffe0000000003ffULL, 0xfffe0000000007ffULL, 0xfffe000000000fffULL, 0xfffe000000001fffULL, 0xfffe000000003fffULL, 0xfffe000000007fffULL, 0xfffe00000000ffffULL, 0xfffe00000001ffffULL, 0xfffe00000003ffffULL, 0xfffe00000007ffffULL, 0xfffe0000000fffffULL, 0xfffe0000001fffffULL, 0xfffe0000003fffffULL, 0xfffe0000007fffffULL, 0xfffe000000ffffffULL, 0xfffe000001ffffffULL, 0xfffe000003ffffffULL, 0xfffe000007ffffffULL, 0xfffe00000fffffffULL, 0xfffe00001fffffffULL, 0xfffe00003fffffffULL, 0xfffe00007fffffffULL, 0xfffe0000ffffffffULL, 0xfffe0001ffffffffULL, 0xfffe0003ffffffffULL, 0xfffe0007ffffffffULL, 0xfffe000fffffffffULL, 0xfffe001fffffffffULL, 0xfffe003fffffffffULL, 0xfffe007fffffffffULL, 0xfffe00ffffffffffULL, 0xfffe01ffffffffffULL, 0xfffe03ffffffffffULL, 0xfffe07ffffffffffULL, 0xfffe0fffffffffffULL, 0xfffe1fffffffffffULL, 0xfffe3fffffffffffULL, 0xfffe7fffffffffffULL, 0xfffeffffffffffffULL }, { 0xfffc000000000000ULL, 0xfffc000000000001ULL, 0xfffc000000000003ULL, 0xfffc000000000007ULL, 0xfffc00000000000fULL, 0xfffc00000000001fULL, 0xfffc00000000003fULL, 0xfffc00000000007fULL, 0xfffc0000000000ffULL, 0xfffc0000000001ffULL, 0xfffc0000000003ffULL, 0xfffc0000000007ffULL, 0xfffc000000000fffULL, 0xfffc000000001fffULL, 0xfffc000000003fffULL, 0xfffc000000007fffULL, 0xfffc00000000ffffULL, 0xfffc00000001ffffULL, 0xfffc00000003ffffULL, 0xfffc00000007ffffULL, 0xfffc0000000fffffULL, 0xfffc0000001fffffULL, 0xfffc0000003fffffULL, 0xfffc0000007fffffULL, 0xfffc000000ffffffULL, 0xfffc000001ffffffULL, 0xfffc000003ffffffULL, 0xfffc000007ffffffULL, 0xfffc00000fffffffULL, 0xfffc00001fffffffULL, 0xfffc00003fffffffULL, 0xfffc00007fffffffULL, 0xfffc0000ffffffffULL, 0xfffc0001ffffffffULL, 0xfffc0003ffffffffULL, 0xfffc0007ffffffffULL, 0xfffc000fffffffffULL, 0xfffc001fffffffffULL, 0xfffc003fffffffffULL, 0xfffc007fffffffffULL, 0xfffc00ffffffffffULL, 0xfffc01ffffffffffULL, 0xfffc03ffffffffffULL, 0xfffc07ffffffffffULL, 0xfffc0fffffffffffULL, 0xfffc1fffffffffffULL, 0xfffc3fffffffffffULL, 0xfffc7fffffffffffULL, 0xfffcffffffffffffULL, 0xfffdffffffffffffULL }, { 0xfff8000000000000ULL, 0xfff8000000000001ULL, 0xfff8000000000003ULL, 0xfff8000000000007ULL, 0xfff800000000000fULL, 0xfff800000000001fULL, 0xfff800000000003fULL, 0xfff800000000007fULL, 0xfff80000000000ffULL, 0xfff80000000001ffULL, 0xfff80000000003ffULL, 0xfff80000000007ffULL, 0xfff8000000000fffULL, 0xfff8000000001fffULL, 0xfff8000000003fffULL, 0xfff8000000007fffULL, 0xfff800000000ffffULL, 0xfff800000001ffffULL, 0xfff800000003ffffULL, 0xfff800000007ffffULL, 0xfff80000000fffffULL, 0xfff80000001fffffULL, 0xfff80000003fffffULL, 0xfff80000007fffffULL, 0xfff8000000ffffffULL, 0xfff8000001ffffffULL, 0xfff8000003ffffffULL, 0xfff8000007ffffffULL, 0xfff800000fffffffULL, 0xfff800001fffffffULL, 0xfff800003fffffffULL, 0xfff800007fffffffULL, 0xfff80000ffffffffULL, 0xfff80001ffffffffULL, 0xfff80003ffffffffULL, 0xfff80007ffffffffULL, 0xfff8000fffffffffULL, 0xfff8001fffffffffULL, 0xfff8003fffffffffULL, 0xfff8007fffffffffULL, 0xfff800ffffffffffULL, 0xfff801ffffffffffULL, 0xfff803ffffffffffULL, 0xfff807ffffffffffULL, 0xfff80fffffffffffULL, 0xfff81fffffffffffULL, 0xfff83fffffffffffULL, 0xfff87fffffffffffULL, 0xfff8ffffffffffffULL, 0xfff9ffffffffffffULL, 0xfffbffffffffffffULL }, { 0xfff0000000000000ULL, 0xfff0000000000001ULL, 0xfff0000000000003ULL, 0xfff0000000000007ULL, 0xfff000000000000fULL, 0xfff000000000001fULL, 0xfff000000000003fULL, 0xfff000000000007fULL, 0xfff00000000000ffULL, 0xfff00000000001ffULL, 0xfff00000000003ffULL, 0xfff00000000007ffULL, 0xfff0000000000fffULL, 0xfff0000000001fffULL, 0xfff0000000003fffULL, 0xfff0000000007fffULL, 0xfff000000000ffffULL, 0xfff000000001ffffULL, 0xfff000000003ffffULL, 0xfff000000007ffffULL, 0xfff00000000fffffULL, 0xfff00000001fffffULL, 0xfff00000003fffffULL, 0xfff00000007fffffULL, 0xfff0000000ffffffULL, 0xfff0000001ffffffULL, 0xfff0000003ffffffULL, 0xfff0000007ffffffULL, 0xfff000000fffffffULL, 0xfff000001fffffffULL, 0xfff000003fffffffULL, 0xfff000007fffffffULL, 0xfff00000ffffffffULL, 0xfff00001ffffffffULL, 0xfff00003ffffffffULL, 0xfff00007ffffffffULL, 0xfff0000fffffffffULL, 0xfff0001fffffffffULL, 0xfff0003fffffffffULL, 0xfff0007fffffffffULL, 0xfff000ffffffffffULL, 0xfff001ffffffffffULL, 0xfff003ffffffffffULL, 0xfff007ffffffffffULL, 0xfff00fffffffffffULL, 0xfff01fffffffffffULL, 0xfff03fffffffffffULL, 0xfff07fffffffffffULL, 0xfff0ffffffffffffULL, 0xfff1ffffffffffffULL, 0xfff3ffffffffffffULL, 0xfff7ffffffffffffULL }, { 0xffe0000000000000ULL, 0xffe0000000000001ULL, 0xffe0000000000003ULL, 0xffe0000000000007ULL, 0xffe000000000000fULL, 0xffe000000000001fULL, 0xffe000000000003fULL, 0xffe000000000007fULL, 0xffe00000000000ffULL, 0xffe00000000001ffULL, 0xffe00000000003ffULL, 0xffe00000000007ffULL, 0xffe0000000000fffULL, 0xffe0000000001fffULL, 0xffe0000000003fffULL, 0xffe0000000007fffULL, 0xffe000000000ffffULL, 0xffe000000001ffffULL, 0xffe000000003ffffULL, 0xffe000000007ffffULL, 0xffe00000000fffffULL, 0xffe00000001fffffULL, 0xffe00000003fffffULL, 0xffe00000007fffffULL, 0xffe0000000ffffffULL, 0xffe0000001ffffffULL, 0xffe0000003ffffffULL, 0xffe0000007ffffffULL, 0xffe000000fffffffULL, 0xffe000001fffffffULL, 0xffe000003fffffffULL, 0xffe000007fffffffULL, 0xffe00000ffffffffULL, 0xffe00001ffffffffULL, 0xffe00003ffffffffULL, 0xffe00007ffffffffULL, 0xffe0000fffffffffULL, 0xffe0001fffffffffULL, 0xffe0003fffffffffULL, 0xffe0007fffffffffULL, 0xffe000ffffffffffULL, 0xffe001ffffffffffULL, 0xffe003ffffffffffULL, 0xffe007ffffffffffULL, 0xffe00fffffffffffULL, 0xffe01fffffffffffULL, 0xffe03fffffffffffULL, 0xffe07fffffffffffULL, 0xffe0ffffffffffffULL, 0xffe1ffffffffffffULL, 0xffe3ffffffffffffULL, 0xffe7ffffffffffffULL, 0xffefffffffffffffULL }, { 0xffc0000000000000ULL, 0xffc0000000000001ULL, 0xffc0000000000003ULL, 0xffc0000000000007ULL, 0xffc000000000000fULL, 0xffc000000000001fULL, 0xffc000000000003fULL, 0xffc000000000007fULL, 0xffc00000000000ffULL, 0xffc00000000001ffULL, 0xffc00000000003ffULL, 0xffc00000000007ffULL, 0xffc0000000000fffULL, 0xffc0000000001fffULL, 0xffc0000000003fffULL, 0xffc0000000007fffULL, 0xffc000000000ffffULL, 0xffc000000001ffffULL, 0xffc000000003ffffULL, 0xffc000000007ffffULL, 0xffc00000000fffffULL, 0xffc00000001fffffULL, 0xffc00000003fffffULL, 0xffc00000007fffffULL, 0xffc0000000ffffffULL, 0xffc0000001ffffffULL, 0xffc0000003ffffffULL, 0xffc0000007ffffffULL, 0xffc000000fffffffULL, 0xffc000001fffffffULL, 0xffc000003fffffffULL, 0xffc000007fffffffULL, 0xffc00000ffffffffULL, 0xffc00001ffffffffULL, 0xffc00003ffffffffULL, 0xffc00007ffffffffULL, 0xffc0000fffffffffULL, 0xffc0001fffffffffULL, 0xffc0003fffffffffULL, 0xffc0007fffffffffULL, 0xffc000ffffffffffULL, 0xffc001ffffffffffULL, 0xffc003ffffffffffULL, 0xffc007ffffffffffULL, 0xffc00fffffffffffULL, 0xffc01fffffffffffULL, 0xffc03fffffffffffULL, 0xffc07fffffffffffULL, 0xffc0ffffffffffffULL, 0xffc1ffffffffffffULL, 0xffc3ffffffffffffULL, 0xffc7ffffffffffffULL, 0xffcfffffffffffffULL, 0xffdfffffffffffffULL }, { 0xff80000000000000ULL, 0xff80000000000001ULL, 0xff80000000000003ULL, 0xff80000000000007ULL, 0xff8000000000000fULL, 0xff8000000000001fULL, 0xff8000000000003fULL, 0xff8000000000007fULL, 0xff800000000000ffULL, 0xff800000000001ffULL, 0xff800000000003ffULL, 0xff800000000007ffULL, 0xff80000000000fffULL, 0xff80000000001fffULL, 0xff80000000003fffULL, 0xff80000000007fffULL, 0xff8000000000ffffULL, 0xff8000000001ffffULL, 0xff8000000003ffffULL, 0xff8000000007ffffULL, 0xff800000000fffffULL, 0xff800000001fffffULL, 0xff800000003fffffULL, 0xff800000007fffffULL, 0xff80000000ffffffULL, 0xff80000001ffffffULL, 0xff80000003ffffffULL, 0xff80000007ffffffULL, 0xff8000000fffffffULL, 0xff8000001fffffffULL, 0xff8000003fffffffULL, 0xff8000007fffffffULL, 0xff800000ffffffffULL, 0xff800001ffffffffULL, 0xff800003ffffffffULL, 0xff800007ffffffffULL, 0xff80000fffffffffULL, 0xff80001fffffffffULL, 0xff80003fffffffffULL, 0xff80007fffffffffULL, 0xff8000ffffffffffULL, 0xff8001ffffffffffULL, 0xff8003ffffffffffULL, 0xff8007ffffffffffULL, 0xff800fffffffffffULL, 0xff801fffffffffffULL, 0xff803fffffffffffULL, 0xff807fffffffffffULL, 0xff80ffffffffffffULL, 0xff81ffffffffffffULL, 0xff83ffffffffffffULL, 0xff87ffffffffffffULL, 0xff8fffffffffffffULL, 0xff9fffffffffffffULL, 0xffbfffffffffffffULL }, { 0xff00000000000000ULL, 0xff00000000000001ULL, 0xff00000000000003ULL, 0xff00000000000007ULL, 0xff0000000000000fULL, 0xff0000000000001fULL, 0xff0000000000003fULL, 0xff0000000000007fULL, 0xff000000000000ffULL, 0xff000000000001ffULL, 0xff000000000003ffULL, 0xff000000000007ffULL, 0xff00000000000fffULL, 0xff00000000001fffULL, 0xff00000000003fffULL, 0xff00000000007fffULL, 0xff0000000000ffffULL, 0xff0000000001ffffULL, 0xff0000000003ffffULL, 0xff0000000007ffffULL, 0xff000000000fffffULL, 0xff000000001fffffULL, 0xff000000003fffffULL, 0xff000000007fffffULL, 0xff00000000ffffffULL, 0xff00000001ffffffULL, 0xff00000003ffffffULL, 0xff00000007ffffffULL, 0xff0000000fffffffULL, 0xff0000001fffffffULL, 0xff0000003fffffffULL, 0xff0000007fffffffULL, 0xff000000ffffffffULL, 0xff000001ffffffffULL, 0xff000003ffffffffULL, 0xff000007ffffffffULL, 0xff00000fffffffffULL, 0xff00001fffffffffULL, 0xff00003fffffffffULL, 0xff00007fffffffffULL, 0xff0000ffffffffffULL, 0xff0001ffffffffffULL, 0xff0003ffffffffffULL, 0xff0007ffffffffffULL, 0xff000fffffffffffULL, 0xff001fffffffffffULL, 0xff003fffffffffffULL, 0xff007fffffffffffULL, 0xff00ffffffffffffULL, 0xff01ffffffffffffULL, 0xff03ffffffffffffULL, 0xff07ffffffffffffULL, 0xff0fffffffffffffULL, 0xff1fffffffffffffULL, 0xff3fffffffffffffULL, 0xff7fffffffffffffULL }, { 0xfe00000000000000ULL, 0xfe00000000000001ULL, 0xfe00000000000003ULL, 0xfe00000000000007ULL, 0xfe0000000000000fULL, 0xfe0000000000001fULL, 0xfe0000000000003fULL, 0xfe0000000000007fULL, 0xfe000000000000ffULL, 0xfe000000000001ffULL, 0xfe000000000003ffULL, 0xfe000000000007ffULL, 0xfe00000000000fffULL, 0xfe00000000001fffULL, 0xfe00000000003fffULL, 0xfe00000000007fffULL, 0xfe0000000000ffffULL, 0xfe0000000001ffffULL, 0xfe0000000003ffffULL, 0xfe0000000007ffffULL, 0xfe000000000fffffULL, 0xfe000000001fffffULL, 0xfe000000003fffffULL, 0xfe000000007fffffULL, 0xfe00000000ffffffULL, 0xfe00000001ffffffULL, 0xfe00000003ffffffULL, 0xfe00000007ffffffULL, 0xfe0000000fffffffULL, 0xfe0000001fffffffULL, 0xfe0000003fffffffULL, 0xfe0000007fffffffULL, 0xfe000000ffffffffULL, 0xfe000001ffffffffULL, 0xfe000003ffffffffULL, 0xfe000007ffffffffULL, 0xfe00000fffffffffULL, 0xfe00001fffffffffULL, 0xfe00003fffffffffULL, 0xfe00007fffffffffULL, 0xfe0000ffffffffffULL, 0xfe0001ffffffffffULL, 0xfe0003ffffffffffULL, 0xfe0007ffffffffffULL, 0xfe000fffffffffffULL, 0xfe001fffffffffffULL, 0xfe003fffffffffffULL, 0xfe007fffffffffffULL, 0xfe00ffffffffffffULL, 0xfe01ffffffffffffULL, 0xfe03ffffffffffffULL, 0xfe07ffffffffffffULL, 0xfe0fffffffffffffULL, 0xfe1fffffffffffffULL, 0xfe3fffffffffffffULL, 0xfe7fffffffffffffULL, 0xfeffffffffffffffULL }, { 0xfc00000000000000ULL, 0xfc00000000000001ULL, 0xfc00000000000003ULL, 0xfc00000000000007ULL, 0xfc0000000000000fULL, 0xfc0000000000001fULL, 0xfc0000000000003fULL, 0xfc0000000000007fULL, 0xfc000000000000ffULL, 0xfc000000000001ffULL, 0xfc000000000003ffULL, 0xfc000000000007ffULL, 0xfc00000000000fffULL, 0xfc00000000001fffULL, 0xfc00000000003fffULL, 0xfc00000000007fffULL, 0xfc0000000000ffffULL, 0xfc0000000001ffffULL, 0xfc0000000003ffffULL, 0xfc0000000007ffffULL, 0xfc000000000fffffULL, 0xfc000000001fffffULL, 0xfc000000003fffffULL, 0xfc000000007fffffULL, 0xfc00000000ffffffULL, 0xfc00000001ffffffULL, 0xfc00000003ffffffULL, 0xfc00000007ffffffULL, 0xfc0000000fffffffULL, 0xfc0000001fffffffULL, 0xfc0000003fffffffULL, 0xfc0000007fffffffULL, 0xfc000000ffffffffULL, 0xfc000001ffffffffULL, 0xfc000003ffffffffULL, 0xfc000007ffffffffULL, 0xfc00000fffffffffULL, 0xfc00001fffffffffULL, 0xfc00003fffffffffULL, 0xfc00007fffffffffULL, 0xfc0000ffffffffffULL, 0xfc0001ffffffffffULL, 0xfc0003ffffffffffULL, 0xfc0007ffffffffffULL, 0xfc000fffffffffffULL, 0xfc001fffffffffffULL, 0xfc003fffffffffffULL, 0xfc007fffffffffffULL, 0xfc00ffffffffffffULL, 0xfc01ffffffffffffULL, 0xfc03ffffffffffffULL, 0xfc07ffffffffffffULL, 0xfc0fffffffffffffULL, 0xfc1fffffffffffffULL, 0xfc3fffffffffffffULL, 0xfc7fffffffffffffULL, 0xfcffffffffffffffULL, 0xfdffffffffffffffULL }, { 0xf800000000000000ULL, 0xf800000000000001ULL, 0xf800000000000003ULL, 0xf800000000000007ULL, 0xf80000000000000fULL, 0xf80000000000001fULL, 0xf80000000000003fULL, 0xf80000000000007fULL, 0xf8000000000000ffULL, 0xf8000000000001ffULL, 0xf8000000000003ffULL, 0xf8000000000007ffULL, 0xf800000000000fffULL, 0xf800000000001fffULL, 0xf800000000003fffULL, 0xf800000000007fffULL, 0xf80000000000ffffULL, 0xf80000000001ffffULL, 0xf80000000003ffffULL, 0xf80000000007ffffULL, 0xf8000000000fffffULL, 0xf8000000001fffffULL, 0xf8000000003fffffULL, 0xf8000000007fffffULL, 0xf800000000ffffffULL, 0xf800000001ffffffULL, 0xf800000003ffffffULL, 0xf800000007ffffffULL, 0xf80000000fffffffULL, 0xf80000001fffffffULL, 0xf80000003fffffffULL, 0xf80000007fffffffULL, 0xf8000000ffffffffULL, 0xf8000001ffffffffULL, 0xf8000003ffffffffULL, 0xf8000007ffffffffULL, 0xf800000fffffffffULL, 0xf800001fffffffffULL, 0xf800003fffffffffULL, 0xf800007fffffffffULL, 0xf80000ffffffffffULL, 0xf80001ffffffffffULL, 0xf80003ffffffffffULL, 0xf80007ffffffffffULL, 0xf8000fffffffffffULL, 0xf8001fffffffffffULL, 0xf8003fffffffffffULL, 0xf8007fffffffffffULL, 0xf800ffffffffffffULL, 0xf801ffffffffffffULL, 0xf803ffffffffffffULL, 0xf807ffffffffffffULL, 0xf80fffffffffffffULL, 0xf81fffffffffffffULL, 0xf83fffffffffffffULL, 0xf87fffffffffffffULL, 0xf8ffffffffffffffULL, 0xf9ffffffffffffffULL, 0xfbffffffffffffffULL }, { 0xf000000000000000ULL, 0xf000000000000001ULL, 0xf000000000000003ULL, 0xf000000000000007ULL, 0xf00000000000000fULL, 0xf00000000000001fULL, 0xf00000000000003fULL, 0xf00000000000007fULL, 0xf0000000000000ffULL, 0xf0000000000001ffULL, 0xf0000000000003ffULL, 0xf0000000000007ffULL, 0xf000000000000fffULL, 0xf000000000001fffULL, 0xf000000000003fffULL, 0xf000000000007fffULL, 0xf00000000000ffffULL, 0xf00000000001ffffULL, 0xf00000000003ffffULL, 0xf00000000007ffffULL, 0xf0000000000fffffULL, 0xf0000000001fffffULL, 0xf0000000003fffffULL, 0xf0000000007fffffULL, 0xf000000000ffffffULL, 0xf000000001ffffffULL, 0xf000000003ffffffULL, 0xf000000007ffffffULL, 0xf00000000fffffffULL, 0xf00000001fffffffULL, 0xf00000003fffffffULL, 0xf00000007fffffffULL, 0xf0000000ffffffffULL, 0xf0000001ffffffffULL, 0xf0000003ffffffffULL, 0xf0000007ffffffffULL, 0xf000000fffffffffULL, 0xf000001fffffffffULL, 0xf000003fffffffffULL, 0xf000007fffffffffULL, 0xf00000ffffffffffULL, 0xf00001ffffffffffULL, 0xf00003ffffffffffULL, 0xf00007ffffffffffULL, 0xf0000fffffffffffULL, 0xf0001fffffffffffULL, 0xf0003fffffffffffULL, 0xf0007fffffffffffULL, 0xf000ffffffffffffULL, 0xf001ffffffffffffULL, 0xf003ffffffffffffULL, 0xf007ffffffffffffULL, 0xf00fffffffffffffULL, 0xf01fffffffffffffULL, 0xf03fffffffffffffULL, 0xf07fffffffffffffULL, 0xf0ffffffffffffffULL, 0xf1ffffffffffffffULL, 0xf3ffffffffffffffULL, 0xf7ffffffffffffffULL }, { 0xe000000000000000ULL, 0xe000000000000001ULL, 0xe000000000000003ULL, 0xe000000000000007ULL, 0xe00000000000000fULL, 0xe00000000000001fULL, 0xe00000000000003fULL, 0xe00000000000007fULL, 0xe0000000000000ffULL, 0xe0000000000001ffULL, 0xe0000000000003ffULL, 0xe0000000000007ffULL, 0xe000000000000fffULL, 0xe000000000001fffULL, 0xe000000000003fffULL, 0xe000000000007fffULL, 0xe00000000000ffffULL, 0xe00000000001ffffULL, 0xe00000000003ffffULL, 0xe00000000007ffffULL, 0xe0000000000fffffULL, 0xe0000000001fffffULL, 0xe0000000003fffffULL, 0xe0000000007fffffULL, 0xe000000000ffffffULL, 0xe000000001ffffffULL, 0xe000000003ffffffULL, 0xe000000007ffffffULL, 0xe00000000fffffffULL, 0xe00000001fffffffULL, 0xe00000003fffffffULL, 0xe00000007fffffffULL, 0xe0000000ffffffffULL, 0xe0000001ffffffffULL, 0xe0000003ffffffffULL, 0xe0000007ffffffffULL, 0xe000000fffffffffULL, 0xe000001fffffffffULL, 0xe000003fffffffffULL, 0xe000007fffffffffULL, 0xe00000ffffffffffULL, 0xe00001ffffffffffULL, 0xe00003ffffffffffULL, 0xe00007ffffffffffULL, 0xe0000fffffffffffULL, 0xe0001fffffffffffULL, 0xe0003fffffffffffULL, 0xe0007fffffffffffULL, 0xe000ffffffffffffULL, 0xe001ffffffffffffULL, 0xe003ffffffffffffULL, 0xe007ffffffffffffULL, 0xe00fffffffffffffULL, 0xe01fffffffffffffULL, 0xe03fffffffffffffULL, 0xe07fffffffffffffULL, 0xe0ffffffffffffffULL, 0xe1ffffffffffffffULL, 0xe3ffffffffffffffULL, 0xe7ffffffffffffffULL, 0xefffffffffffffffULL }, { 0xc000000000000000ULL, 0xc000000000000001ULL, 0xc000000000000003ULL, 0xc000000000000007ULL, 0xc00000000000000fULL, 0xc00000000000001fULL, 0xc00000000000003fULL, 0xc00000000000007fULL, 0xc0000000000000ffULL, 0xc0000000000001ffULL, 0xc0000000000003ffULL, 0xc0000000000007ffULL, 0xc000000000000fffULL, 0xc000000000001fffULL, 0xc000000000003fffULL, 0xc000000000007fffULL, 0xc00000000000ffffULL, 0xc00000000001ffffULL, 0xc00000000003ffffULL, 0xc00000000007ffffULL, 0xc0000000000fffffULL, 0xc0000000001fffffULL, 0xc0000000003fffffULL, 0xc0000000007fffffULL, 0xc000000000ffffffULL, 0xc000000001ffffffULL, 0xc000000003ffffffULL, 0xc000000007ffffffULL, 0xc00000000fffffffULL, 0xc00000001fffffffULL, 0xc00000003fffffffULL, 0xc00000007fffffffULL, 0xc0000000ffffffffULL, 0xc0000001ffffffffULL, 0xc0000003ffffffffULL, 0xc0000007ffffffffULL, 0xc000000fffffffffULL, 0xc000001fffffffffULL, 0xc000003fffffffffULL, 0xc000007fffffffffULL, 0xc00000ffffffffffULL, 0xc00001ffffffffffULL, 0xc00003ffffffffffULL, 0xc00007ffffffffffULL, 0xc0000fffffffffffULL, 0xc0001fffffffffffULL, 0xc0003fffffffffffULL, 0xc0007fffffffffffULL, 0xc000ffffffffffffULL, 0xc001ffffffffffffULL, 0xc003ffffffffffffULL, 0xc007ffffffffffffULL, 0xc00fffffffffffffULL, 0xc01fffffffffffffULL, 0xc03fffffffffffffULL, 0xc07fffffffffffffULL, 0xc0ffffffffffffffULL, 0xc1ffffffffffffffULL, 0xc3ffffffffffffffULL, 0xc7ffffffffffffffULL, 0xcfffffffffffffffULL, 0xdfffffffffffffffULL }, { 0x8000000000000000ULL, 0x8000000000000001ULL, 0x8000000000000003ULL, 0x8000000000000007ULL, 0x800000000000000fULL, 0x800000000000001fULL, 0x800000000000003fULL, 0x800000000000007fULL, 0x80000000000000ffULL, 0x80000000000001ffULL, 0x80000000000003ffULL, 0x80000000000007ffULL, 0x8000000000000fffULL, 0x8000000000001fffULL, 0x8000000000003fffULL, 0x8000000000007fffULL, 0x800000000000ffffULL, 0x800000000001ffffULL, 0x800000000003ffffULL, 0x800000000007ffffULL, 0x80000000000fffffULL, 0x80000000001fffffULL, 0x80000000003fffffULL, 0x80000000007fffffULL, 0x8000000000ffffffULL, 0x8000000001ffffffULL, 0x8000000003ffffffULL, 0x8000000007ffffffULL, 0x800000000fffffffULL, 0x800000001fffffffULL, 0x800000003fffffffULL, 0x800000007fffffffULL, 0x80000000ffffffffULL, 0x80000001ffffffffULL, 0x80000003ffffffffULL, 0x80000007ffffffffULL, 0x8000000fffffffffULL, 0x8000001fffffffffULL, 0x8000003fffffffffULL, 0x8000007fffffffffULL, 0x800000ffffffffffULL, 0x800001ffffffffffULL, 0x800003ffffffffffULL, 0x800007ffffffffffULL, 0x80000fffffffffffULL, 0x80001fffffffffffULL, 0x80003fffffffffffULL, 0x80007fffffffffffULL, 0x8000ffffffffffffULL, 0x8001ffffffffffffULL, 0x8003ffffffffffffULL, 0x8007ffffffffffffULL, 0x800fffffffffffffULL, 0x801fffffffffffffULL, 0x803fffffffffffffULL, 0x807fffffffffffffULL, 0x80ffffffffffffffULL, 0x81ffffffffffffffULL, 0x83ffffffffffffffULL, 0x87ffffffffffffffULL, 0x8fffffffffffffffULL, 0x9fffffffffffffffULL, 0xbfffffffffffffffULL }, { 0x0ULL, 0x1ULL, 0x3ULL, 0x7ULL, 0xfULL, 0x1fULL, 0x3fULL, 0x7fULL, 0xffULL, 0x1ffULL, 0x3ffULL, 0x7ffULL, 0xfffULL, 0x1fffULL, 0x3fffULL, 0x7fffULL, 0xffffULL, 0x1ffffULL, 0x3ffffULL, 0x7ffffULL, 0xfffffULL, 0x1fffffULL, 0x3fffffULL, 0x7fffffULL, 0xffffffULL, 0x1ffffffULL, 0x3ffffffULL, 0x7ffffffULL, 0xfffffffULL, 0x1fffffffULL, 0x3fffffffULL, 0x7fffffffULL, 0xffffffffULL, 0x1ffffffffULL, 0x3ffffffffULL, 0x7ffffffffULL, 0xfffffffffULL, 0x1fffffffffULL, 0x3fffffffffULL, 0x7fffffffffULL, 0xffffffffffULL, 0x1ffffffffffULL, 0x3ffffffffffULL, 0x7ffffffffffULL, 0xfffffffffffULL, 0x1fffffffffffULL, 0x3fffffffffffULL, 0x7fffffffffffULL, 0xffffffffffffULL, 0x1ffffffffffffULL, 0x3ffffffffffffULL, 0x7ffffffffffffULL, 0xfffffffffffffULL, 0x1fffffffffffffULL, 0x3fffffffffffffULL, 0x7fffffffffffffULL, 0xffffffffffffffULL, 0x1ffffffffffffffULL, 0x3ffffffffffffffULL, 0x7ffffffffffffffULL, 0xfffffffffffffffULL, 0x1fffffffffffffffULL, 0x3fffffffffffffffULL, 0x7fffffffffffffffULL } }; #else //end of #ifndef WIN32 const uint_type mask_int[SC_INTWIDTH][SC_INTWIDTH] = { { 0xfffffffffffffffei64 }, { 0xfffffffffffffffci64, 0xfffffffffffffffdi64 }, { 0xfffffffffffffff8i64, 0xfffffffffffffff9i64, 0xfffffffffffffffbi64 }, { 0xfffffffffffffff0i64, 0xfffffffffffffff1i64, 0xfffffffffffffff3i64, 0xfffffffffffffff7i64 }, { 0xffffffffffffffe0i64, 0xffffffffffffffe1i64, 0xffffffffffffffe3i64, 0xffffffffffffffe7i64, 0xffffffffffffffefi64 }, { 0xffffffffffffffc0i64, 0xffffffffffffffc1i64, 0xffffffffffffffc3i64, 0xffffffffffffffc7i64, 0xffffffffffffffcfi64, 0xffffffffffffffdfi64 }, { 0xffffffffffffff80i64, 0xffffffffffffff81i64, 0xffffffffffffff83i64, 0xffffffffffffff87i64, 0xffffffffffffff8fi64, 0xffffffffffffff9fi64, 0xffffffffffffffbfi64 }, { 0xffffffffffffff00i64, 0xffffffffffffff01i64, 0xffffffffffffff03i64, 0xffffffffffffff07i64, 0xffffffffffffff0fi64, 0xffffffffffffff1fi64, 0xffffffffffffff3fi64, 0xffffffffffffff7fi64 }, { 0xfffffffffffffe00i64, 0xfffffffffffffe01i64, 0xfffffffffffffe03i64, 0xfffffffffffffe07i64, 0xfffffffffffffe0fi64, 0xfffffffffffffe1fi64, 0xfffffffffffffe3fi64, 0xfffffffffffffe7fi64, 0xfffffffffffffeffi64 }, { 0xfffffffffffffc00i64, 0xfffffffffffffc01i64, 0xfffffffffffffc03i64, 0xfffffffffffffc07i64, 0xfffffffffffffc0fi64, 0xfffffffffffffc1fi64, 0xfffffffffffffc3fi64, 0xfffffffffffffc7fi64, 0xfffffffffffffcffi64, 0xfffffffffffffdffi64 }, { 0xfffffffffffff800i64, 0xfffffffffffff801i64, 0xfffffffffffff803i64, 0xfffffffffffff807i64, 0xfffffffffffff80fi64, 0xfffffffffffff81fi64, 0xfffffffffffff83fi64, 0xfffffffffffff87fi64, 0xfffffffffffff8ffi64, 0xfffffffffffff9ffi64, 0xfffffffffffffbffi64 }, { 0xfffffffffffff000i64, 0xfffffffffffff001i64, 0xfffffffffffff003i64, 0xfffffffffffff007i64, 0xfffffffffffff00fi64, 0xfffffffffffff01fi64, 0xfffffffffffff03fi64, 0xfffffffffffff07fi64, 0xfffffffffffff0ffi64, 0xfffffffffffff1ffi64, 0xfffffffffffff3ffi64, 0xfffffffffffff7ffi64 }, { 0xffffffffffffe000i64, 0xffffffffffffe001i64, 0xffffffffffffe003i64, 0xffffffffffffe007i64, 0xffffffffffffe00fi64, 0xffffffffffffe01fi64, 0xffffffffffffe03fi64, 0xffffffffffffe07fi64, 0xffffffffffffe0ffi64, 0xffffffffffffe1ffi64, 0xffffffffffffe3ffi64, 0xffffffffffffe7ffi64, 0xffffffffffffefffi64 }, { 0xffffffffffffc000i64, 0xffffffffffffc001i64, 0xffffffffffffc003i64, 0xffffffffffffc007i64, 0xffffffffffffc00fi64, 0xffffffffffffc01fi64, 0xffffffffffffc03fi64, 0xffffffffffffc07fi64, 0xffffffffffffc0ffi64, 0xffffffffffffc1ffi64, 0xffffffffffffc3ffi64, 0xffffffffffffc7ffi64, 0xffffffffffffcfffi64, 0xffffffffffffdfffi64 }, { 0xffffffffffff8000i64, 0xffffffffffff8001i64, 0xffffffffffff8003i64, 0xffffffffffff8007i64, 0xffffffffffff800fi64, 0xffffffffffff801fi64, 0xffffffffffff803fi64, 0xffffffffffff807fi64, 0xffffffffffff80ffi64, 0xffffffffffff81ffi64, 0xffffffffffff83ffi64, 0xffffffffffff87ffi64, 0xffffffffffff8fffi64, 0xffffffffffff9fffi64, 0xffffffffffffbfffi64 }, { 0xffffffffffff0000i64, 0xffffffffffff0001i64, 0xffffffffffff0003i64, 0xffffffffffff0007i64, 0xffffffffffff000fi64, 0xffffffffffff001fi64, 0xffffffffffff003fi64, 0xffffffffffff007fi64, 0xffffffffffff00ffi64, 0xffffffffffff01ffi64, 0xffffffffffff03ffi64, 0xffffffffffff07ffi64, 0xffffffffffff0fffi64, 0xffffffffffff1fffi64, 0xffffffffffff3fffi64, 0xffffffffffff7fffi64 }, { 0xfffffffffffe0000i64, 0xfffffffffffe0001i64, 0xfffffffffffe0003i64, 0xfffffffffffe0007i64, 0xfffffffffffe000fi64, 0xfffffffffffe001fi64, 0xfffffffffffe003fi64, 0xfffffffffffe007fi64, 0xfffffffffffe00ffi64, 0xfffffffffffe01ffi64, 0xfffffffffffe03ffi64, 0xfffffffffffe07ffi64, 0xfffffffffffe0fffi64, 0xfffffffffffe1fffi64, 0xfffffffffffe3fffi64, 0xfffffffffffe7fffi64, 0xfffffffffffeffffi64 }, { 0xfffffffffffc0000i64, 0xfffffffffffc0001i64, 0xfffffffffffc0003i64, 0xfffffffffffc0007i64, 0xfffffffffffc000fi64, 0xfffffffffffc001fi64, 0xfffffffffffc003fi64, 0xfffffffffffc007fi64, 0xfffffffffffc00ffi64, 0xfffffffffffc01ffi64, 0xfffffffffffc03ffi64, 0xfffffffffffc07ffi64, 0xfffffffffffc0fffi64, 0xfffffffffffc1fffi64, 0xfffffffffffc3fffi64, 0xfffffffffffc7fffi64, 0xfffffffffffcffffi64, 0xfffffffffffdffffi64 }, { 0xfffffffffff80000i64, 0xfffffffffff80001i64, 0xfffffffffff80003i64, 0xfffffffffff80007i64, 0xfffffffffff8000fi64, 0xfffffffffff8001fi64, 0xfffffffffff8003fi64, 0xfffffffffff8007fi64, 0xfffffffffff800ffi64, 0xfffffffffff801ffi64, 0xfffffffffff803ffi64, 0xfffffffffff807ffi64, 0xfffffffffff80fffi64, 0xfffffffffff81fffi64, 0xfffffffffff83fffi64, 0xfffffffffff87fffi64, 0xfffffffffff8ffffi64, 0xfffffffffff9ffffi64, 0xfffffffffffbffffi64 }, { 0xfffffffffff00000i64, 0xfffffffffff00001i64, 0xfffffffffff00003i64, 0xfffffffffff00007i64, 0xfffffffffff0000fi64, 0xfffffffffff0001fi64, 0xfffffffffff0003fi64, 0xfffffffffff0007fi64, 0xfffffffffff000ffi64, 0xfffffffffff001ffi64, 0xfffffffffff003ffi64, 0xfffffffffff007ffi64, 0xfffffffffff00fffi64, 0xfffffffffff01fffi64, 0xfffffffffff03fffi64, 0xfffffffffff07fffi64, 0xfffffffffff0ffffi64, 0xfffffffffff1ffffi64, 0xfffffffffff3ffffi64, 0xfffffffffff7ffffi64 }, { 0xffffffffffe00000i64, 0xffffffffffe00001i64, 0xffffffffffe00003i64, 0xffffffffffe00007i64, 0xffffffffffe0000fi64, 0xffffffffffe0001fi64, 0xffffffffffe0003fi64, 0xffffffffffe0007fi64, 0xffffffffffe000ffi64, 0xffffffffffe001ffi64, 0xffffffffffe003ffi64, 0xffffffffffe007ffi64, 0xffffffffffe00fffi64, 0xffffffffffe01fffi64, 0xffffffffffe03fffi64, 0xffffffffffe07fffi64, 0xffffffffffe0ffffi64, 0xffffffffffe1ffffi64, 0xffffffffffe3ffffi64, 0xffffffffffe7ffffi64, 0xffffffffffefffffi64 }, { 0xffffffffffc00000i64, 0xffffffffffc00001i64, 0xffffffffffc00003i64, 0xffffffffffc00007i64, 0xffffffffffc0000fi64, 0xffffffffffc0001fi64, 0xffffffffffc0003fi64, 0xffffffffffc0007fi64, 0xffffffffffc000ffi64, 0xffffffffffc001ffi64, 0xffffffffffc003ffi64, 0xffffffffffc007ffi64, 0xffffffffffc00fffi64, 0xffffffffffc01fffi64, 0xffffffffffc03fffi64, 0xffffffffffc07fffi64, 0xffffffffffc0ffffi64, 0xffffffffffc1ffffi64, 0xffffffffffc3ffffi64, 0xffffffffffc7ffffi64, 0xffffffffffcfffffi64, 0xffffffffffdfffffi64 }, { 0xffffffffff800000i64, 0xffffffffff800001i64, 0xffffffffff800003i64, 0xffffffffff800007i64, 0xffffffffff80000fi64, 0xffffffffff80001fi64, 0xffffffffff80003fi64, 0xffffffffff80007fi64, 0xffffffffff8000ffi64, 0xffffffffff8001ffi64, 0xffffffffff8003ffi64, 0xffffffffff8007ffi64, 0xffffffffff800fffi64, 0xffffffffff801fffi64, 0xffffffffff803fffi64, 0xffffffffff807fffi64, 0xffffffffff80ffffi64, 0xffffffffff81ffffi64, 0xffffffffff83ffffi64, 0xffffffffff87ffffi64, 0xffffffffff8fffffi64, 0xffffffffff9fffffi64, 0xffffffffffbfffffi64 }, { 0xffffffffff000000i64, 0xffffffffff000001i64, 0xffffffffff000003i64, 0xffffffffff000007i64, 0xffffffffff00000fi64, 0xffffffffff00001fi64, 0xffffffffff00003fi64, 0xffffffffff00007fi64, 0xffffffffff0000ffi64, 0xffffffffff0001ffi64, 0xffffffffff0003ffi64, 0xffffffffff0007ffi64, 0xffffffffff000fffi64, 0xffffffffff001fffi64, 0xffffffffff003fffi64, 0xffffffffff007fffi64, 0xffffffffff00ffffi64, 0xffffffffff01ffffi64, 0xffffffffff03ffffi64, 0xffffffffff07ffffi64, 0xffffffffff0fffffi64, 0xffffffffff1fffffi64, 0xffffffffff3fffffi64, 0xffffffffff7fffffi64 }, { 0xfffffffffe000000i64, 0xfffffffffe000001i64, 0xfffffffffe000003i64, 0xfffffffffe000007i64, 0xfffffffffe00000fi64, 0xfffffffffe00001fi64, 0xfffffffffe00003fi64, 0xfffffffffe00007fi64, 0xfffffffffe0000ffi64, 0xfffffffffe0001ffi64, 0xfffffffffe0003ffi64, 0xfffffffffe0007ffi64, 0xfffffffffe000fffi64, 0xfffffffffe001fffi64, 0xfffffffffe003fffi64, 0xfffffffffe007fffi64, 0xfffffffffe00ffffi64, 0xfffffffffe01ffffi64, 0xfffffffffe03ffffi64, 0xfffffffffe07ffffi64, 0xfffffffffe0fffffi64, 0xfffffffffe1fffffi64, 0xfffffffffe3fffffi64, 0xfffffffffe7fffffi64, 0xfffffffffeffffffi64 }, { 0xfffffffffc000000i64, 0xfffffffffc000001i64, 0xfffffffffc000003i64, 0xfffffffffc000007i64, 0xfffffffffc00000fi64, 0xfffffffffc00001fi64, 0xfffffffffc00003fi64, 0xfffffffffc00007fi64, 0xfffffffffc0000ffi64, 0xfffffffffc0001ffi64, 0xfffffffffc0003ffi64, 0xfffffffffc0007ffi64, 0xfffffffffc000fffi64, 0xfffffffffc001fffi64, 0xfffffffffc003fffi64, 0xfffffffffc007fffi64, 0xfffffffffc00ffffi64, 0xfffffffffc01ffffi64, 0xfffffffffc03ffffi64, 0xfffffffffc07ffffi64, 0xfffffffffc0fffffi64, 0xfffffffffc1fffffi64, 0xfffffffffc3fffffi64, 0xfffffffffc7fffffi64, 0xfffffffffcffffffi64, 0xfffffffffdffffffi64 }, { 0xfffffffff8000000i64, 0xfffffffff8000001i64, 0xfffffffff8000003i64, 0xfffffffff8000007i64, 0xfffffffff800000fi64, 0xfffffffff800001fi64, 0xfffffffff800003fi64, 0xfffffffff800007fi64, 0xfffffffff80000ffi64, 0xfffffffff80001ffi64, 0xfffffffff80003ffi64, 0xfffffffff80007ffi64, 0xfffffffff8000fffi64, 0xfffffffff8001fffi64, 0xfffffffff8003fffi64, 0xfffffffff8007fffi64, 0xfffffffff800ffffi64, 0xfffffffff801ffffi64, 0xfffffffff803ffffi64, 0xfffffffff807ffffi64, 0xfffffffff80fffffi64, 0xfffffffff81fffffi64, 0xfffffffff83fffffi64, 0xfffffffff87fffffi64, 0xfffffffff8ffffffi64, 0xfffffffff9ffffffi64, 0xfffffffffbffffffi64 }, { 0xfffffffff0000000i64, 0xfffffffff0000001i64, 0xfffffffff0000003i64, 0xfffffffff0000007i64, 0xfffffffff000000fi64, 0xfffffffff000001fi64, 0xfffffffff000003fi64, 0xfffffffff000007fi64, 0xfffffffff00000ffi64, 0xfffffffff00001ffi64, 0xfffffffff00003ffi64, 0xfffffffff00007ffi64, 0xfffffffff0000fffi64, 0xfffffffff0001fffi64, 0xfffffffff0003fffi64, 0xfffffffff0007fffi64, 0xfffffffff000ffffi64, 0xfffffffff001ffffi64, 0xfffffffff003ffffi64, 0xfffffffff007ffffi64, 0xfffffffff00fffffi64, 0xfffffffff01fffffi64, 0xfffffffff03fffffi64, 0xfffffffff07fffffi64, 0xfffffffff0ffffffi64, 0xfffffffff1ffffffi64, 0xfffffffff3ffffffi64, 0xfffffffff7ffffffi64 }, { 0xffffffffe0000000i64, 0xffffffffe0000001i64, 0xffffffffe0000003i64, 0xffffffffe0000007i64, 0xffffffffe000000fi64, 0xffffffffe000001fi64, 0xffffffffe000003fi64, 0xffffffffe000007fi64, 0xffffffffe00000ffi64, 0xffffffffe00001ffi64, 0xffffffffe00003ffi64, 0xffffffffe00007ffi64, 0xffffffffe0000fffi64, 0xffffffffe0001fffi64, 0xffffffffe0003fffi64, 0xffffffffe0007fffi64, 0xffffffffe000ffffi64, 0xffffffffe001ffffi64, 0xffffffffe003ffffi64, 0xffffffffe007ffffi64, 0xffffffffe00fffffi64, 0xffffffffe01fffffi64, 0xffffffffe03fffffi64, 0xffffffffe07fffffi64, 0xffffffffe0ffffffi64, 0xffffffffe1ffffffi64, 0xffffffffe3ffffffi64, 0xffffffffe7ffffffi64, 0xffffffffefffffffi64 }, { 0xffffffffc0000000i64, 0xffffffffc0000001i64, 0xffffffffc0000003i64, 0xffffffffc0000007i64, 0xffffffffc000000fi64, 0xffffffffc000001fi64, 0xffffffffc000003fi64, 0xffffffffc000007fi64, 0xffffffffc00000ffi64, 0xffffffffc00001ffi64, 0xffffffffc00003ffi64, 0xffffffffc00007ffi64, 0xffffffffc0000fffi64, 0xffffffffc0001fffi64, 0xffffffffc0003fffi64, 0xffffffffc0007fffi64, 0xffffffffc000ffffi64, 0xffffffffc001ffffi64, 0xffffffffc003ffffi64, 0xffffffffc007ffffi64, 0xffffffffc00fffffi64, 0xffffffffc01fffffi64, 0xffffffffc03fffffi64, 0xffffffffc07fffffi64, 0xffffffffc0ffffffi64, 0xffffffffc1ffffffi64, 0xffffffffc3ffffffi64, 0xffffffffc7ffffffi64, 0xffffffffcfffffffi64, 0xffffffffdfffffffi64 }, { 0xffffffff80000000i64, 0xffffffff80000001i64, 0xffffffff80000003i64, 0xffffffff80000007i64, 0xffffffff8000000fi64, 0xffffffff8000001fi64, 0xffffffff8000003fi64, 0xffffffff8000007fi64, 0xffffffff800000ffi64, 0xffffffff800001ffi64, 0xffffffff800003ffi64, 0xffffffff800007ffi64, 0xffffffff80000fffi64, 0xffffffff80001fffi64, 0xffffffff80003fffi64, 0xffffffff80007fffi64, 0xffffffff8000ffffi64, 0xffffffff8001ffffi64, 0xffffffff8003ffffi64, 0xffffffff8007ffffi64, 0xffffffff800fffffi64, 0xffffffff801fffffi64, 0xffffffff803fffffi64, 0xffffffff807fffffi64, 0xffffffff80ffffffi64, 0xffffffff81ffffffi64, 0xffffffff83ffffffi64, 0xffffffff87ffffffi64, 0xffffffff8fffffffi64, 0xffffffff9fffffffi64, 0xffffffffbfffffffi64 }, { 0xffffffff00000000i64, 0xffffffff00000001i64, 0xffffffff00000003i64, 0xffffffff00000007i64, 0xffffffff0000000fi64, 0xffffffff0000001fi64, 0xffffffff0000003fi64, 0xffffffff0000007fi64, 0xffffffff000000ffi64, 0xffffffff000001ffi64, 0xffffffff000003ffi64, 0xffffffff000007ffi64, 0xffffffff00000fffi64, 0xffffffff00001fffi64, 0xffffffff00003fffi64, 0xffffffff00007fffi64, 0xffffffff0000ffffi64, 0xffffffff0001ffffi64, 0xffffffff0003ffffi64, 0xffffffff0007ffffi64, 0xffffffff000fffffi64, 0xffffffff001fffffi64, 0xffffffff003fffffi64, 0xffffffff007fffffi64, 0xffffffff00ffffffi64, 0xffffffff01ffffffi64, 0xffffffff03ffffffi64, 0xffffffff07ffffffi64, 0xffffffff0fffffffi64, 0xffffffff1fffffffi64, 0xffffffff3fffffffi64, 0xffffffff7fffffffi64 }, { 0xfffffffe00000000i64, 0xfffffffe00000001i64, 0xfffffffe00000003i64, 0xfffffffe00000007i64, 0xfffffffe0000000fi64, 0xfffffffe0000001fi64, 0xfffffffe0000003fi64, 0xfffffffe0000007fi64, 0xfffffffe000000ffi64, 0xfffffffe000001ffi64, 0xfffffffe000003ffi64, 0xfffffffe000007ffi64, 0xfffffffe00000fffi64, 0xfffffffe00001fffi64, 0xfffffffe00003fffi64, 0xfffffffe00007fffi64, 0xfffffffe0000ffffi64, 0xfffffffe0001ffffi64, 0xfffffffe0003ffffi64, 0xfffffffe0007ffffi64, 0xfffffffe000fffffi64, 0xfffffffe001fffffi64, 0xfffffffe003fffffi64, 0xfffffffe007fffffi64, 0xfffffffe00ffffffi64, 0xfffffffe01ffffffi64, 0xfffffffe03ffffffi64, 0xfffffffe07ffffffi64, 0xfffffffe0fffffffi64, 0xfffffffe1fffffffi64, 0xfffffffe3fffffffi64, 0xfffffffe7fffffffi64, 0xfffffffeffffffffi64 }, { 0xfffffffc00000000i64, 0xfffffffc00000001i64, 0xfffffffc00000003i64, 0xfffffffc00000007i64, 0xfffffffc0000000fi64, 0xfffffffc0000001fi64, 0xfffffffc0000003fi64, 0xfffffffc0000007fi64, 0xfffffffc000000ffi64, 0xfffffffc000001ffi64, 0xfffffffc000003ffi64, 0xfffffffc000007ffi64, 0xfffffffc00000fffi64, 0xfffffffc00001fffi64, 0xfffffffc00003fffi64, 0xfffffffc00007fffi64, 0xfffffffc0000ffffi64, 0xfffffffc0001ffffi64, 0xfffffffc0003ffffi64, 0xfffffffc0007ffffi64, 0xfffffffc000fffffi64, 0xfffffffc001fffffi64, 0xfffffffc003fffffi64, 0xfffffffc007fffffi64, 0xfffffffc00ffffffi64, 0xfffffffc01ffffffi64, 0xfffffffc03ffffffi64, 0xfffffffc07ffffffi64, 0xfffffffc0fffffffi64, 0xfffffffc1fffffffi64, 0xfffffffc3fffffffi64, 0xfffffffc7fffffffi64, 0xfffffffcffffffffi64, 0xfffffffdffffffffi64 }, { 0xfffffff800000000i64, 0xfffffff800000001i64, 0xfffffff800000003i64, 0xfffffff800000007i64, 0xfffffff80000000fi64, 0xfffffff80000001fi64, 0xfffffff80000003fi64, 0xfffffff80000007fi64, 0xfffffff8000000ffi64, 0xfffffff8000001ffi64, 0xfffffff8000003ffi64, 0xfffffff8000007ffi64, 0xfffffff800000fffi64, 0xfffffff800001fffi64, 0xfffffff800003fffi64, 0xfffffff800007fffi64, 0xfffffff80000ffffi64, 0xfffffff80001ffffi64, 0xfffffff80003ffffi64, 0xfffffff80007ffffi64, 0xfffffff8000fffffi64, 0xfffffff8001fffffi64, 0xfffffff8003fffffi64, 0xfffffff8007fffffi64, 0xfffffff800ffffffi64, 0xfffffff801ffffffi64, 0xfffffff803ffffffi64, 0xfffffff807ffffffi64, 0xfffffff80fffffffi64, 0xfffffff81fffffffi64, 0xfffffff83fffffffi64, 0xfffffff87fffffffi64, 0xfffffff8ffffffffi64, 0xfffffff9ffffffffi64, 0xfffffffbffffffffi64 }, { 0xfffffff000000000i64, 0xfffffff000000001i64, 0xfffffff000000003i64, 0xfffffff000000007i64, 0xfffffff00000000fi64, 0xfffffff00000001fi64, 0xfffffff00000003fi64, 0xfffffff00000007fi64, 0xfffffff0000000ffi64, 0xfffffff0000001ffi64, 0xfffffff0000003ffi64, 0xfffffff0000007ffi64, 0xfffffff000000fffi64, 0xfffffff000001fffi64, 0xfffffff000003fffi64, 0xfffffff000007fffi64, 0xfffffff00000ffffi64, 0xfffffff00001ffffi64, 0xfffffff00003ffffi64, 0xfffffff00007ffffi64, 0xfffffff0000fffffi64, 0xfffffff0001fffffi64, 0xfffffff0003fffffi64, 0xfffffff0007fffffi64, 0xfffffff000ffffffi64, 0xfffffff001ffffffi64, 0xfffffff003ffffffi64, 0xfffffff007ffffffi64, 0xfffffff00fffffffi64, 0xfffffff01fffffffi64, 0xfffffff03fffffffi64, 0xfffffff07fffffffi64, 0xfffffff0ffffffffi64, 0xfffffff1ffffffffi64, 0xfffffff3ffffffffi64, 0xfffffff7ffffffffi64 }, { 0xffffffe000000000i64, 0xffffffe000000001i64, 0xffffffe000000003i64, 0xffffffe000000007i64, 0xffffffe00000000fi64, 0xffffffe00000001fi64, 0xffffffe00000003fi64, 0xffffffe00000007fi64, 0xffffffe0000000ffi64, 0xffffffe0000001ffi64, 0xffffffe0000003ffi64, 0xffffffe0000007ffi64, 0xffffffe000000fffi64, 0xffffffe000001fffi64, 0xffffffe000003fffi64, 0xffffffe000007fffi64, 0xffffffe00000ffffi64, 0xffffffe00001ffffi64, 0xffffffe00003ffffi64, 0xffffffe00007ffffi64, 0xffffffe0000fffffi64, 0xffffffe0001fffffi64, 0xffffffe0003fffffi64, 0xffffffe0007fffffi64, 0xffffffe000ffffffi64, 0xffffffe001ffffffi64, 0xffffffe003ffffffi64, 0xffffffe007ffffffi64, 0xffffffe00fffffffi64, 0xffffffe01fffffffi64, 0xffffffe03fffffffi64, 0xffffffe07fffffffi64, 0xffffffe0ffffffffi64, 0xffffffe1ffffffffi64, 0xffffffe3ffffffffi64, 0xffffffe7ffffffffi64, 0xffffffefffffffffi64 }, { 0xffffffc000000000i64, 0xffffffc000000001i64, 0xffffffc000000003i64, 0xffffffc000000007i64, 0xffffffc00000000fi64, 0xffffffc00000001fi64, 0xffffffc00000003fi64, 0xffffffc00000007fi64, 0xffffffc0000000ffi64, 0xffffffc0000001ffi64, 0xffffffc0000003ffi64, 0xffffffc0000007ffi64, 0xffffffc000000fffi64, 0xffffffc000001fffi64, 0xffffffc000003fffi64, 0xffffffc000007fffi64, 0xffffffc00000ffffi64, 0xffffffc00001ffffi64, 0xffffffc00003ffffi64, 0xffffffc00007ffffi64, 0xffffffc0000fffffi64, 0xffffffc0001fffffi64, 0xffffffc0003fffffi64, 0xffffffc0007fffffi64, 0xffffffc000ffffffi64, 0xffffffc001ffffffi64, 0xffffffc003ffffffi64, 0xffffffc007ffffffi64, 0xffffffc00fffffffi64, 0xffffffc01fffffffi64, 0xffffffc03fffffffi64, 0xffffffc07fffffffi64, 0xffffffc0ffffffffi64, 0xffffffc1ffffffffi64, 0xffffffc3ffffffffi64, 0xffffffc7ffffffffi64, 0xffffffcfffffffffi64, 0xffffffdfffffffffi64 }, { 0xffffff8000000000i64, 0xffffff8000000001i64, 0xffffff8000000003i64, 0xffffff8000000007i64, 0xffffff800000000fi64, 0xffffff800000001fi64, 0xffffff800000003fi64, 0xffffff800000007fi64, 0xffffff80000000ffi64, 0xffffff80000001ffi64, 0xffffff80000003ffi64, 0xffffff80000007ffi64, 0xffffff8000000fffi64, 0xffffff8000001fffi64, 0xffffff8000003fffi64, 0xffffff8000007fffi64, 0xffffff800000ffffi64, 0xffffff800001ffffi64, 0xffffff800003ffffi64, 0xffffff800007ffffi64, 0xffffff80000fffffi64, 0xffffff80001fffffi64, 0xffffff80003fffffi64, 0xffffff80007fffffi64, 0xffffff8000ffffffi64, 0xffffff8001ffffffi64, 0xffffff8003ffffffi64, 0xffffff8007ffffffi64, 0xffffff800fffffffi64, 0xffffff801fffffffi64, 0xffffff803fffffffi64, 0xffffff807fffffffi64, 0xffffff80ffffffffi64, 0xffffff81ffffffffi64, 0xffffff83ffffffffi64, 0xffffff87ffffffffi64, 0xffffff8fffffffffi64, 0xffffff9fffffffffi64, 0xffffffbfffffffffi64 }, { 0xffffff0000000000i64, 0xffffff0000000001i64, 0xffffff0000000003i64, 0xffffff0000000007i64, 0xffffff000000000fi64, 0xffffff000000001fi64, 0xffffff000000003fi64, 0xffffff000000007fi64, 0xffffff00000000ffi64, 0xffffff00000001ffi64, 0xffffff00000003ffi64, 0xffffff00000007ffi64, 0xffffff0000000fffi64, 0xffffff0000001fffi64, 0xffffff0000003fffi64, 0xffffff0000007fffi64, 0xffffff000000ffffi64, 0xffffff000001ffffi64, 0xffffff000003ffffi64, 0xffffff000007ffffi64, 0xffffff00000fffffi64, 0xffffff00001fffffi64, 0xffffff00003fffffi64, 0xffffff00007fffffi64, 0xffffff0000ffffffi64, 0xffffff0001ffffffi64, 0xffffff0003ffffffi64, 0xffffff0007ffffffi64, 0xffffff000fffffffi64, 0xffffff001fffffffi64, 0xffffff003fffffffi64, 0xffffff007fffffffi64, 0xffffff00ffffffffi64, 0xffffff01ffffffffi64, 0xffffff03ffffffffi64, 0xffffff07ffffffffi64, 0xffffff0fffffffffi64, 0xffffff1fffffffffi64, 0xffffff3fffffffffi64, 0xffffff7fffffffffi64 }, { 0xfffffe0000000000i64, 0xfffffe0000000001i64, 0xfffffe0000000003i64, 0xfffffe0000000007i64, 0xfffffe000000000fi64, 0xfffffe000000001fi64, 0xfffffe000000003fi64, 0xfffffe000000007fi64, 0xfffffe00000000ffi64, 0xfffffe00000001ffi64, 0xfffffe00000003ffi64, 0xfffffe00000007ffi64, 0xfffffe0000000fffi64, 0xfffffe0000001fffi64, 0xfffffe0000003fffi64, 0xfffffe0000007fffi64, 0xfffffe000000ffffi64, 0xfffffe000001ffffi64, 0xfffffe000003ffffi64, 0xfffffe000007ffffi64, 0xfffffe00000fffffi64, 0xfffffe00001fffffi64, 0xfffffe00003fffffi64, 0xfffffe00007fffffi64, 0xfffffe0000ffffffi64, 0xfffffe0001ffffffi64, 0xfffffe0003ffffffi64, 0xfffffe0007ffffffi64, 0xfffffe000fffffffi64, 0xfffffe001fffffffi64, 0xfffffe003fffffffi64, 0xfffffe007fffffffi64, 0xfffffe00ffffffffi64, 0xfffffe01ffffffffi64, 0xfffffe03ffffffffi64, 0xfffffe07ffffffffi64, 0xfffffe0fffffffffi64, 0xfffffe1fffffffffi64, 0xfffffe3fffffffffi64, 0xfffffe7fffffffffi64, 0xfffffeffffffffffi64 }, { 0xfffffc0000000000i64, 0xfffffc0000000001i64, 0xfffffc0000000003i64, 0xfffffc0000000007i64, 0xfffffc000000000fi64, 0xfffffc000000001fi64, 0xfffffc000000003fi64, 0xfffffc000000007fi64, 0xfffffc00000000ffi64, 0xfffffc00000001ffi64, 0xfffffc00000003ffi64, 0xfffffc00000007ffi64, 0xfffffc0000000fffi64, 0xfffffc0000001fffi64, 0xfffffc0000003fffi64, 0xfffffc0000007fffi64, 0xfffffc000000ffffi64, 0xfffffc000001ffffi64, 0xfffffc000003ffffi64, 0xfffffc000007ffffi64, 0xfffffc00000fffffi64, 0xfffffc00001fffffi64, 0xfffffc00003fffffi64, 0xfffffc00007fffffi64, 0xfffffc0000ffffffi64, 0xfffffc0001ffffffi64, 0xfffffc0003ffffffi64, 0xfffffc0007ffffffi64, 0xfffffc000fffffffi64, 0xfffffc001fffffffi64, 0xfffffc003fffffffi64, 0xfffffc007fffffffi64, 0xfffffc00ffffffffi64, 0xfffffc01ffffffffi64, 0xfffffc03ffffffffi64, 0xfffffc07ffffffffi64, 0xfffffc0fffffffffi64, 0xfffffc1fffffffffi64, 0xfffffc3fffffffffi64, 0xfffffc7fffffffffi64, 0xfffffcffffffffffi64, 0xfffffdffffffffffi64 }, { 0xfffff80000000000i64, 0xfffff80000000001i64, 0xfffff80000000003i64, 0xfffff80000000007i64, 0xfffff8000000000fi64, 0xfffff8000000001fi64, 0xfffff8000000003fi64, 0xfffff8000000007fi64, 0xfffff800000000ffi64, 0xfffff800000001ffi64, 0xfffff800000003ffi64, 0xfffff800000007ffi64, 0xfffff80000000fffi64, 0xfffff80000001fffi64, 0xfffff80000003fffi64, 0xfffff80000007fffi64, 0xfffff8000000ffffi64, 0xfffff8000001ffffi64, 0xfffff8000003ffffi64, 0xfffff8000007ffffi64, 0xfffff800000fffffi64, 0xfffff800001fffffi64, 0xfffff800003fffffi64, 0xfffff800007fffffi64, 0xfffff80000ffffffi64, 0xfffff80001ffffffi64, 0xfffff80003ffffffi64, 0xfffff80007ffffffi64, 0xfffff8000fffffffi64, 0xfffff8001fffffffi64, 0xfffff8003fffffffi64, 0xfffff8007fffffffi64, 0xfffff800ffffffffi64, 0xfffff801ffffffffi64, 0xfffff803ffffffffi64, 0xfffff807ffffffffi64, 0xfffff80fffffffffi64, 0xfffff81fffffffffi64, 0xfffff83fffffffffi64, 0xfffff87fffffffffi64, 0xfffff8ffffffffffi64, 0xfffff9ffffffffffi64, 0xfffffbffffffffffi64 }, { 0xfffff00000000000i64, 0xfffff00000000001i64, 0xfffff00000000003i64, 0xfffff00000000007i64, 0xfffff0000000000fi64, 0xfffff0000000001fi64, 0xfffff0000000003fi64, 0xfffff0000000007fi64, 0xfffff000000000ffi64, 0xfffff000000001ffi64, 0xfffff000000003ffi64, 0xfffff000000007ffi64, 0xfffff00000000fffi64, 0xfffff00000001fffi64, 0xfffff00000003fffi64, 0xfffff00000007fffi64, 0xfffff0000000ffffi64, 0xfffff0000001ffffi64, 0xfffff0000003ffffi64, 0xfffff0000007ffffi64, 0xfffff000000fffffi64, 0xfffff000001fffffi64, 0xfffff000003fffffi64, 0xfffff000007fffffi64, 0xfffff00000ffffffi64, 0xfffff00001ffffffi64, 0xfffff00003ffffffi64, 0xfffff00007ffffffi64, 0xfffff0000fffffffi64, 0xfffff0001fffffffi64, 0xfffff0003fffffffi64, 0xfffff0007fffffffi64, 0xfffff000ffffffffi64, 0xfffff001ffffffffi64, 0xfffff003ffffffffi64, 0xfffff007ffffffffi64, 0xfffff00fffffffffi64, 0xfffff01fffffffffi64, 0xfffff03fffffffffi64, 0xfffff07fffffffffi64, 0xfffff0ffffffffffi64, 0xfffff1ffffffffffi64, 0xfffff3ffffffffffi64, 0xfffff7ffffffffffi64 }, { 0xffffe00000000000i64, 0xffffe00000000001i64, 0xffffe00000000003i64, 0xffffe00000000007i64, 0xffffe0000000000fi64, 0xffffe0000000001fi64, 0xffffe0000000003fi64, 0xffffe0000000007fi64, 0xffffe000000000ffi64, 0xffffe000000001ffi64, 0xffffe000000003ffi64, 0xffffe000000007ffi64, 0xffffe00000000fffi64, 0xffffe00000001fffi64, 0xffffe00000003fffi64, 0xffffe00000007fffi64, 0xffffe0000000ffffi64, 0xffffe0000001ffffi64, 0xffffe0000003ffffi64, 0xffffe0000007ffffi64, 0xffffe000000fffffi64, 0xffffe000001fffffi64, 0xffffe000003fffffi64, 0xffffe000007fffffi64, 0xffffe00000ffffffi64, 0xffffe00001ffffffi64, 0xffffe00003ffffffi64, 0xffffe00007ffffffi64, 0xffffe0000fffffffi64, 0xffffe0001fffffffi64, 0xffffe0003fffffffi64, 0xffffe0007fffffffi64, 0xffffe000ffffffffi64, 0xffffe001ffffffffi64, 0xffffe003ffffffffi64, 0xffffe007ffffffffi64, 0xffffe00fffffffffi64, 0xffffe01fffffffffi64, 0xffffe03fffffffffi64, 0xffffe07fffffffffi64, 0xffffe0ffffffffffi64, 0xffffe1ffffffffffi64, 0xffffe3ffffffffffi64, 0xffffe7ffffffffffi64, 0xffffefffffffffffi64 }, { 0xffffc00000000000i64, 0xffffc00000000001i64, 0xffffc00000000003i64, 0xffffc00000000007i64, 0xffffc0000000000fi64, 0xffffc0000000001fi64, 0xffffc0000000003fi64, 0xffffc0000000007fi64, 0xffffc000000000ffi64, 0xffffc000000001ffi64, 0xffffc000000003ffi64, 0xffffc000000007ffi64, 0xffffc00000000fffi64, 0xffffc00000001fffi64, 0xffffc00000003fffi64, 0xffffc00000007fffi64, 0xffffc0000000ffffi64, 0xffffc0000001ffffi64, 0xffffc0000003ffffi64, 0xffffc0000007ffffi64, 0xffffc000000fffffi64, 0xffffc000001fffffi64, 0xffffc000003fffffi64, 0xffffc000007fffffi64, 0xffffc00000ffffffi64, 0xffffc00001ffffffi64, 0xffffc00003ffffffi64, 0xffffc00007ffffffi64, 0xffffc0000fffffffi64, 0xffffc0001fffffffi64, 0xffffc0003fffffffi64, 0xffffc0007fffffffi64, 0xffffc000ffffffffi64, 0xffffc001ffffffffi64, 0xffffc003ffffffffi64, 0xffffc007ffffffffi64, 0xffffc00fffffffffi64, 0xffffc01fffffffffi64, 0xffffc03fffffffffi64, 0xffffc07fffffffffi64, 0xffffc0ffffffffffi64, 0xffffc1ffffffffffi64, 0xffffc3ffffffffffi64, 0xffffc7ffffffffffi64, 0xffffcfffffffffffi64, 0xffffdfffffffffffi64 }, { 0xffff800000000000i64, 0xffff800000000001i64, 0xffff800000000003i64, 0xffff800000000007i64, 0xffff80000000000fi64, 0xffff80000000001fi64, 0xffff80000000003fi64, 0xffff80000000007fi64, 0xffff8000000000ffi64, 0xffff8000000001ffi64, 0xffff8000000003ffi64, 0xffff8000000007ffi64, 0xffff800000000fffi64, 0xffff800000001fffi64, 0xffff800000003fffi64, 0xffff800000007fffi64, 0xffff80000000ffffi64, 0xffff80000001ffffi64, 0xffff80000003ffffi64, 0xffff80000007ffffi64, 0xffff8000000fffffi64, 0xffff8000001fffffi64, 0xffff8000003fffffi64, 0xffff8000007fffffi64, 0xffff800000ffffffi64, 0xffff800001ffffffi64, 0xffff800003ffffffi64, 0xffff800007ffffffi64, 0xffff80000fffffffi64, 0xffff80001fffffffi64, 0xffff80003fffffffi64, 0xffff80007fffffffi64, 0xffff8000ffffffffi64, 0xffff8001ffffffffi64, 0xffff8003ffffffffi64, 0xffff8007ffffffffi64, 0xffff800fffffffffi64, 0xffff801fffffffffi64, 0xffff803fffffffffi64, 0xffff807fffffffffi64, 0xffff80ffffffffffi64, 0xffff81ffffffffffi64, 0xffff83ffffffffffi64, 0xffff87ffffffffffi64, 0xffff8fffffffffffi64, 0xffff9fffffffffffi64, 0xffffbfffffffffffi64 }, { 0xffff000000000000i64, 0xffff000000000001i64, 0xffff000000000003i64, 0xffff000000000007i64, 0xffff00000000000fi64, 0xffff00000000001fi64, 0xffff00000000003fi64, 0xffff00000000007fi64, 0xffff0000000000ffi64, 0xffff0000000001ffi64, 0xffff0000000003ffi64, 0xffff0000000007ffi64, 0xffff000000000fffi64, 0xffff000000001fffi64, 0xffff000000003fffi64, 0xffff000000007fffi64, 0xffff00000000ffffi64, 0xffff00000001ffffi64, 0xffff00000003ffffi64, 0xffff00000007ffffi64, 0xffff0000000fffffi64, 0xffff0000001fffffi64, 0xffff0000003fffffi64, 0xffff0000007fffffi64, 0xffff000000ffffffi64, 0xffff000001ffffffi64, 0xffff000003ffffffi64, 0xffff000007ffffffi64, 0xffff00000fffffffi64, 0xffff00001fffffffi64, 0xffff00003fffffffi64, 0xffff00007fffffffi64, 0xffff0000ffffffffi64, 0xffff0001ffffffffi64, 0xffff0003ffffffffi64, 0xffff0007ffffffffi64, 0xffff000fffffffffi64, 0xffff001fffffffffi64, 0xffff003fffffffffi64, 0xffff007fffffffffi64, 0xffff00ffffffffffi64, 0xffff01ffffffffffi64, 0xffff03ffffffffffi64, 0xffff07ffffffffffi64, 0xffff0fffffffffffi64, 0xffff1fffffffffffi64, 0xffff3fffffffffffi64, 0xffff7fffffffffffi64 }, { 0xfffe000000000000i64, 0xfffe000000000001i64, 0xfffe000000000003i64, 0xfffe000000000007i64, 0xfffe00000000000fi64, 0xfffe00000000001fi64, 0xfffe00000000003fi64, 0xfffe00000000007fi64, 0xfffe0000000000ffi64, 0xfffe0000000001ffi64, 0xfffe0000000003ffi64, 0xfffe0000000007ffi64, 0xfffe000000000fffi64, 0xfffe000000001fffi64, 0xfffe000000003fffi64, 0xfffe000000007fffi64, 0xfffe00000000ffffi64, 0xfffe00000001ffffi64, 0xfffe00000003ffffi64, 0xfffe00000007ffffi64, 0xfffe0000000fffffi64, 0xfffe0000001fffffi64, 0xfffe0000003fffffi64, 0xfffe0000007fffffi64, 0xfffe000000ffffffi64, 0xfffe000001ffffffi64, 0xfffe000003ffffffi64, 0xfffe000007ffffffi64, 0xfffe00000fffffffi64, 0xfffe00001fffffffi64, 0xfffe00003fffffffi64, 0xfffe00007fffffffi64, 0xfffe0000ffffffffi64, 0xfffe0001ffffffffi64, 0xfffe0003ffffffffi64, 0xfffe0007ffffffffi64, 0xfffe000fffffffffi64, 0xfffe001fffffffffi64, 0xfffe003fffffffffi64, 0xfffe007fffffffffi64, 0xfffe00ffffffffffi64, 0xfffe01ffffffffffi64, 0xfffe03ffffffffffi64, 0xfffe07ffffffffffi64, 0xfffe0fffffffffffi64, 0xfffe1fffffffffffi64, 0xfffe3fffffffffffi64, 0xfffe7fffffffffffi64, 0xfffeffffffffffffi64 }, { 0xfffc000000000000i64, 0xfffc000000000001i64, 0xfffc000000000003i64, 0xfffc000000000007i64, 0xfffc00000000000fi64, 0xfffc00000000001fi64, 0xfffc00000000003fi64, 0xfffc00000000007fi64, 0xfffc0000000000ffi64, 0xfffc0000000001ffi64, 0xfffc0000000003ffi64, 0xfffc0000000007ffi64, 0xfffc000000000fffi64, 0xfffc000000001fffi64, 0xfffc000000003fffi64, 0xfffc000000007fffi64, 0xfffc00000000ffffi64, 0xfffc00000001ffffi64, 0xfffc00000003ffffi64, 0xfffc00000007ffffi64, 0xfffc0000000fffffi64, 0xfffc0000001fffffi64, 0xfffc0000003fffffi64, 0xfffc0000007fffffi64, 0xfffc000000ffffffi64, 0xfffc000001ffffffi64, 0xfffc000003ffffffi64, 0xfffc000007ffffffi64, 0xfffc00000fffffffi64, 0xfffc00001fffffffi64, 0xfffc00003fffffffi64, 0xfffc00007fffffffi64, 0xfffc0000ffffffffi64, 0xfffc0001ffffffffi64, 0xfffc0003ffffffffi64, 0xfffc0007ffffffffi64, 0xfffc000fffffffffi64, 0xfffc001fffffffffi64, 0xfffc003fffffffffi64, 0xfffc007fffffffffi64, 0xfffc00ffffffffffi64, 0xfffc01ffffffffffi64, 0xfffc03ffffffffffi64, 0xfffc07ffffffffffi64, 0xfffc0fffffffffffi64, 0xfffc1fffffffffffi64, 0xfffc3fffffffffffi64, 0xfffc7fffffffffffi64, 0xfffcffffffffffffi64, 0xfffdffffffffffffi64 }, { 0xfff8000000000000i64, 0xfff8000000000001i64, 0xfff8000000000003i64, 0xfff8000000000007i64, 0xfff800000000000fi64, 0xfff800000000001fi64, 0xfff800000000003fi64, 0xfff800000000007fi64, 0xfff80000000000ffi64, 0xfff80000000001ffi64, 0xfff80000000003ffi64, 0xfff80000000007ffi64, 0xfff8000000000fffi64, 0xfff8000000001fffi64, 0xfff8000000003fffi64, 0xfff8000000007fffi64, 0xfff800000000ffffi64, 0xfff800000001ffffi64, 0xfff800000003ffffi64, 0xfff800000007ffffi64, 0xfff80000000fffffi64, 0xfff80000001fffffi64, 0xfff80000003fffffi64, 0xfff80000007fffffi64, 0xfff8000000ffffffi64, 0xfff8000001ffffffi64, 0xfff8000003ffffffi64, 0xfff8000007ffffffi64, 0xfff800000fffffffi64, 0xfff800001fffffffi64, 0xfff800003fffffffi64, 0xfff800007fffffffi64, 0xfff80000ffffffffi64, 0xfff80001ffffffffi64, 0xfff80003ffffffffi64, 0xfff80007ffffffffi64, 0xfff8000fffffffffi64, 0xfff8001fffffffffi64, 0xfff8003fffffffffi64, 0xfff8007fffffffffi64, 0xfff800ffffffffffi64, 0xfff801ffffffffffi64, 0xfff803ffffffffffi64, 0xfff807ffffffffffi64, 0xfff80fffffffffffi64, 0xfff81fffffffffffi64, 0xfff83fffffffffffi64, 0xfff87fffffffffffi64, 0xfff8ffffffffffffi64, 0xfff9ffffffffffffi64, 0xfffbffffffffffffi64 }, { 0xfff0000000000000i64, 0xfff0000000000001i64, 0xfff0000000000003i64, 0xfff0000000000007i64, 0xfff000000000000fi64, 0xfff000000000001fi64, 0xfff000000000003fi64, 0xfff000000000007fi64, 0xfff00000000000ffi64, 0xfff00000000001ffi64, 0xfff00000000003ffi64, 0xfff00000000007ffi64, 0xfff0000000000fffi64, 0xfff0000000001fffi64, 0xfff0000000003fffi64, 0xfff0000000007fffi64, 0xfff000000000ffffi64, 0xfff000000001ffffi64, 0xfff000000003ffffi64, 0xfff000000007ffffi64, 0xfff00000000fffffi64, 0xfff00000001fffffi64, 0xfff00000003fffffi64, 0xfff00000007fffffi64, 0xfff0000000ffffffi64, 0xfff0000001ffffffi64, 0xfff0000003ffffffi64, 0xfff0000007ffffffi64, 0xfff000000fffffffi64, 0xfff000001fffffffi64, 0xfff000003fffffffi64, 0xfff000007fffffffi64, 0xfff00000ffffffffi64, 0xfff00001ffffffffi64, 0xfff00003ffffffffi64, 0xfff00007ffffffffi64, 0xfff0000fffffffffi64, 0xfff0001fffffffffi64, 0xfff0003fffffffffi64, 0xfff0007fffffffffi64, 0xfff000ffffffffffi64, 0xfff001ffffffffffi64, 0xfff003ffffffffffi64, 0xfff007ffffffffffi64, 0xfff00fffffffffffi64, 0xfff01fffffffffffi64, 0xfff03fffffffffffi64, 0xfff07fffffffffffi64, 0xfff0ffffffffffffi64, 0xfff1ffffffffffffi64, 0xfff3ffffffffffffi64, 0xfff7ffffffffffffi64 }, { 0xffe0000000000000i64, 0xffe0000000000001i64, 0xffe0000000000003i64, 0xffe0000000000007i64, 0xffe000000000000fi64, 0xffe000000000001fi64, 0xffe000000000003fi64, 0xffe000000000007fi64, 0xffe00000000000ffi64, 0xffe00000000001ffi64, 0xffe00000000003ffi64, 0xffe00000000007ffi64, 0xffe0000000000fffi64, 0xffe0000000001fffi64, 0xffe0000000003fffi64, 0xffe0000000007fffi64, 0xffe000000000ffffi64, 0xffe000000001ffffi64, 0xffe000000003ffffi64, 0xffe000000007ffffi64, 0xffe00000000fffffi64, 0xffe00000001fffffi64, 0xffe00000003fffffi64, 0xffe00000007fffffi64, 0xffe0000000ffffffi64, 0xffe0000001ffffffi64, 0xffe0000003ffffffi64, 0xffe0000007ffffffi64, 0xffe000000fffffffi64, 0xffe000001fffffffi64, 0xffe000003fffffffi64, 0xffe000007fffffffi64, 0xffe00000ffffffffi64, 0xffe00001ffffffffi64, 0xffe00003ffffffffi64, 0xffe00007ffffffffi64, 0xffe0000fffffffffi64, 0xffe0001fffffffffi64, 0xffe0003fffffffffi64, 0xffe0007fffffffffi64, 0xffe000ffffffffffi64, 0xffe001ffffffffffi64, 0xffe003ffffffffffi64, 0xffe007ffffffffffi64, 0xffe00fffffffffffi64, 0xffe01fffffffffffi64, 0xffe03fffffffffffi64, 0xffe07fffffffffffi64, 0xffe0ffffffffffffi64, 0xffe1ffffffffffffi64, 0xffe3ffffffffffffi64, 0xffe7ffffffffffffi64, 0xffefffffffffffffi64 }, { 0xffc0000000000000i64, 0xffc0000000000001i64, 0xffc0000000000003i64, 0xffc0000000000007i64, 0xffc000000000000fi64, 0xffc000000000001fi64, 0xffc000000000003fi64, 0xffc000000000007fi64, 0xffc00000000000ffi64, 0xffc00000000001ffi64, 0xffc00000000003ffi64, 0xffc00000000007ffi64, 0xffc0000000000fffi64, 0xffc0000000001fffi64, 0xffc0000000003fffi64, 0xffc0000000007fffi64, 0xffc000000000ffffi64, 0xffc000000001ffffi64, 0xffc000000003ffffi64, 0xffc000000007ffffi64, 0xffc00000000fffffi64, 0xffc00000001fffffi64, 0xffc00000003fffffi64, 0xffc00000007fffffi64, 0xffc0000000ffffffi64, 0xffc0000001ffffffi64, 0xffc0000003ffffffi64, 0xffc0000007ffffffi64, 0xffc000000fffffffi64, 0xffc000001fffffffi64, 0xffc000003fffffffi64, 0xffc000007fffffffi64, 0xffc00000ffffffffi64, 0xffc00001ffffffffi64, 0xffc00003ffffffffi64, 0xffc00007ffffffffi64, 0xffc0000fffffffffi64, 0xffc0001fffffffffi64, 0xffc0003fffffffffi64, 0xffc0007fffffffffi64, 0xffc000ffffffffffi64, 0xffc001ffffffffffi64, 0xffc003ffffffffffi64, 0xffc007ffffffffffi64, 0xffc00fffffffffffi64, 0xffc01fffffffffffi64, 0xffc03fffffffffffi64, 0xffc07fffffffffffi64, 0xffc0ffffffffffffi64, 0xffc1ffffffffffffi64, 0xffc3ffffffffffffi64, 0xffc7ffffffffffffi64, 0xffcfffffffffffffi64, 0xffdfffffffffffffi64 }, { 0xff80000000000000i64, 0xff80000000000001i64, 0xff80000000000003i64, 0xff80000000000007i64, 0xff8000000000000fi64, 0xff8000000000001fi64, 0xff8000000000003fi64, 0xff8000000000007fi64, 0xff800000000000ffi64, 0xff800000000001ffi64, 0xff800000000003ffi64, 0xff800000000007ffi64, 0xff80000000000fffi64, 0xff80000000001fffi64, 0xff80000000003fffi64, 0xff80000000007fffi64, 0xff8000000000ffffi64, 0xff8000000001ffffi64, 0xff8000000003ffffi64, 0xff8000000007ffffi64, 0xff800000000fffffi64, 0xff800000001fffffi64, 0xff800000003fffffi64, 0xff800000007fffffi64, 0xff80000000ffffffi64, 0xff80000001ffffffi64, 0xff80000003ffffffi64, 0xff80000007ffffffi64, 0xff8000000fffffffi64, 0xff8000001fffffffi64, 0xff8000003fffffffi64, 0xff8000007fffffffi64, 0xff800000ffffffffi64, 0xff800001ffffffffi64, 0xff800003ffffffffi64, 0xff800007ffffffffi64, 0xff80000fffffffffi64, 0xff80001fffffffffi64, 0xff80003fffffffffi64, 0xff80007fffffffffi64, 0xff8000ffffffffffi64, 0xff8001ffffffffffi64, 0xff8003ffffffffffi64, 0xff8007ffffffffffi64, 0xff800fffffffffffi64, 0xff801fffffffffffi64, 0xff803fffffffffffi64, 0xff807fffffffffffi64, 0xff80ffffffffffffi64, 0xff81ffffffffffffi64, 0xff83ffffffffffffi64, 0xff87ffffffffffffi64, 0xff8fffffffffffffi64, 0xff9fffffffffffffi64, 0xffbfffffffffffffi64 }, { 0xff00000000000000i64, 0xff00000000000001i64, 0xff00000000000003i64, 0xff00000000000007i64, 0xff0000000000000fi64, 0xff0000000000001fi64, 0xff0000000000003fi64, 0xff0000000000007fi64, 0xff000000000000ffi64, 0xff000000000001ffi64, 0xff000000000003ffi64, 0xff000000000007ffi64, 0xff00000000000fffi64, 0xff00000000001fffi64, 0xff00000000003fffi64, 0xff00000000007fffi64, 0xff0000000000ffffi64, 0xff0000000001ffffi64, 0xff0000000003ffffi64, 0xff0000000007ffffi64, 0xff000000000fffffi64, 0xff000000001fffffi64, 0xff000000003fffffi64, 0xff000000007fffffi64, 0xff00000000ffffffi64, 0xff00000001ffffffi64, 0xff00000003ffffffi64, 0xff00000007ffffffi64, 0xff0000000fffffffi64, 0xff0000001fffffffi64, 0xff0000003fffffffi64, 0xff0000007fffffffi64, 0xff000000ffffffffi64, 0xff000001ffffffffi64, 0xff000003ffffffffi64, 0xff000007ffffffffi64, 0xff00000fffffffffi64, 0xff00001fffffffffi64, 0xff00003fffffffffi64, 0xff00007fffffffffi64, 0xff0000ffffffffffi64, 0xff0001ffffffffffi64, 0xff0003ffffffffffi64, 0xff0007ffffffffffi64, 0xff000fffffffffffi64, 0xff001fffffffffffi64, 0xff003fffffffffffi64, 0xff007fffffffffffi64, 0xff00ffffffffffffi64, 0xff01ffffffffffffi64, 0xff03ffffffffffffi64, 0xff07ffffffffffffi64, 0xff0fffffffffffffi64, 0xff1fffffffffffffi64, 0xff3fffffffffffffi64, 0xff7fffffffffffffi64 }, { 0xfe00000000000000i64, 0xfe00000000000001i64, 0xfe00000000000003i64, 0xfe00000000000007i64, 0xfe0000000000000fi64, 0xfe0000000000001fi64, 0xfe0000000000003fi64, 0xfe0000000000007fi64, 0xfe000000000000ffi64, 0xfe000000000001ffi64, 0xfe000000000003ffi64, 0xfe000000000007ffi64, 0xfe00000000000fffi64, 0xfe00000000001fffi64, 0xfe00000000003fffi64, 0xfe00000000007fffi64, 0xfe0000000000ffffi64, 0xfe0000000001ffffi64, 0xfe0000000003ffffi64, 0xfe0000000007ffffi64, 0xfe000000000fffffi64, 0xfe000000001fffffi64, 0xfe000000003fffffi64, 0xfe000000007fffffi64, 0xfe00000000ffffffi64, 0xfe00000001ffffffi64, 0xfe00000003ffffffi64, 0xfe00000007ffffffi64, 0xfe0000000fffffffi64, 0xfe0000001fffffffi64, 0xfe0000003fffffffi64, 0xfe0000007fffffffi64, 0xfe000000ffffffffi64, 0xfe000001ffffffffi64, 0xfe000003ffffffffi64, 0xfe000007ffffffffi64, 0xfe00000fffffffffi64, 0xfe00001fffffffffi64, 0xfe00003fffffffffi64, 0xfe00007fffffffffi64, 0xfe0000ffffffffffi64, 0xfe0001ffffffffffi64, 0xfe0003ffffffffffi64, 0xfe0007ffffffffffi64, 0xfe000fffffffffffi64, 0xfe001fffffffffffi64, 0xfe003fffffffffffi64, 0xfe007fffffffffffi64, 0xfe00ffffffffffffi64, 0xfe01ffffffffffffi64, 0xfe03ffffffffffffi64, 0xfe07ffffffffffffi64, 0xfe0fffffffffffffi64, 0xfe1fffffffffffffi64, 0xfe3fffffffffffffi64, 0xfe7fffffffffffffi64, 0xfeffffffffffffffi64 }, { 0xfc00000000000000i64, 0xfc00000000000001i64, 0xfc00000000000003i64, 0xfc00000000000007i64, 0xfc0000000000000fi64, 0xfc0000000000001fi64, 0xfc0000000000003fi64, 0xfc0000000000007fi64, 0xfc000000000000ffi64, 0xfc000000000001ffi64, 0xfc000000000003ffi64, 0xfc000000000007ffi64, 0xfc00000000000fffi64, 0xfc00000000001fffi64, 0xfc00000000003fffi64, 0xfc00000000007fffi64, 0xfc0000000000ffffi64, 0xfc0000000001ffffi64, 0xfc0000000003ffffi64, 0xfc0000000007ffffi64, 0xfc000000000fffffi64, 0xfc000000001fffffi64, 0xfc000000003fffffi64, 0xfc000000007fffffi64, 0xfc00000000ffffffi64, 0xfc00000001ffffffi64, 0xfc00000003ffffffi64, 0xfc00000007ffffffi64, 0xfc0000000fffffffi64, 0xfc0000001fffffffi64, 0xfc0000003fffffffi64, 0xfc0000007fffffffi64, 0xfc000000ffffffffi64, 0xfc000001ffffffffi64, 0xfc000003ffffffffi64, 0xfc000007ffffffffi64, 0xfc00000fffffffffi64, 0xfc00001fffffffffi64, 0xfc00003fffffffffi64, 0xfc00007fffffffffi64, 0xfc0000ffffffffffi64, 0xfc0001ffffffffffi64, 0xfc0003ffffffffffi64, 0xfc0007ffffffffffi64, 0xfc000fffffffffffi64, 0xfc001fffffffffffi64, 0xfc003fffffffffffi64, 0xfc007fffffffffffi64, 0xfc00ffffffffffffi64, 0xfc01ffffffffffffi64, 0xfc03ffffffffffffi64, 0xfc07ffffffffffffi64, 0xfc0fffffffffffffi64, 0xfc1fffffffffffffi64, 0xfc3fffffffffffffi64, 0xfc7fffffffffffffi64, 0xfcffffffffffffffi64, 0xfdffffffffffffffi64 }, { 0xf800000000000000i64, 0xf800000000000001i64, 0xf800000000000003i64, 0xf800000000000007i64, 0xf80000000000000fi64, 0xf80000000000001fi64, 0xf80000000000003fi64, 0xf80000000000007fi64, 0xf8000000000000ffi64, 0xf8000000000001ffi64, 0xf8000000000003ffi64, 0xf8000000000007ffi64, 0xf800000000000fffi64, 0xf800000000001fffi64, 0xf800000000003fffi64, 0xf800000000007fffi64, 0xf80000000000ffffi64, 0xf80000000001ffffi64, 0xf80000000003ffffi64, 0xf80000000007ffffi64, 0xf8000000000fffffi64, 0xf8000000001fffffi64, 0xf8000000003fffffi64, 0xf8000000007fffffi64, 0xf800000000ffffffi64, 0xf800000001ffffffi64, 0xf800000003ffffffi64, 0xf800000007ffffffi64, 0xf80000000fffffffi64, 0xf80000001fffffffi64, 0xf80000003fffffffi64, 0xf80000007fffffffi64, 0xf8000000ffffffffi64, 0xf8000001ffffffffi64, 0xf8000003ffffffffi64, 0xf8000007ffffffffi64, 0xf800000fffffffffi64, 0xf800001fffffffffi64, 0xf800003fffffffffi64, 0xf800007fffffffffi64, 0xf80000ffffffffffi64, 0xf80001ffffffffffi64, 0xf80003ffffffffffi64, 0xf80007ffffffffffi64, 0xf8000fffffffffffi64, 0xf8001fffffffffffi64, 0xf8003fffffffffffi64, 0xf8007fffffffffffi64, 0xf800ffffffffffffi64, 0xf801ffffffffffffi64, 0xf803ffffffffffffi64, 0xf807ffffffffffffi64, 0xf80fffffffffffffi64, 0xf81fffffffffffffi64, 0xf83fffffffffffffi64, 0xf87fffffffffffffi64, 0xf8ffffffffffffffi64, 0xf9ffffffffffffffi64, 0xfbffffffffffffffi64 }, { 0xf000000000000000i64, 0xf000000000000001i64, 0xf000000000000003i64, 0xf000000000000007i64, 0xf00000000000000fi64, 0xf00000000000001fi64, 0xf00000000000003fi64, 0xf00000000000007fi64, 0xf0000000000000ffi64, 0xf0000000000001ffi64, 0xf0000000000003ffi64, 0xf0000000000007ffi64, 0xf000000000000fffi64, 0xf000000000001fffi64, 0xf000000000003fffi64, 0xf000000000007fffi64, 0xf00000000000ffffi64, 0xf00000000001ffffi64, 0xf00000000003ffffi64, 0xf00000000007ffffi64, 0xf0000000000fffffi64, 0xf0000000001fffffi64, 0xf0000000003fffffi64, 0xf0000000007fffffi64, 0xf000000000ffffffi64, 0xf000000001ffffffi64, 0xf000000003ffffffi64, 0xf000000007ffffffi64, 0xf00000000fffffffi64, 0xf00000001fffffffi64, 0xf00000003fffffffi64, 0xf00000007fffffffi64, 0xf0000000ffffffffi64, 0xf0000001ffffffffi64, 0xf0000003ffffffffi64, 0xf0000007ffffffffi64, 0xf000000fffffffffi64, 0xf000001fffffffffi64, 0xf000003fffffffffi64, 0xf000007fffffffffi64, 0xf00000ffffffffffi64, 0xf00001ffffffffffi64, 0xf00003ffffffffffi64, 0xf00007ffffffffffi64, 0xf0000fffffffffffi64, 0xf0001fffffffffffi64, 0xf0003fffffffffffi64, 0xf0007fffffffffffi64, 0xf000ffffffffffffi64, 0xf001ffffffffffffi64, 0xf003ffffffffffffi64, 0xf007ffffffffffffi64, 0xf00fffffffffffffi64, 0xf01fffffffffffffi64, 0xf03fffffffffffffi64, 0xf07fffffffffffffi64, 0xf0ffffffffffffffi64, 0xf1ffffffffffffffi64, 0xf3ffffffffffffffi64, 0xf7ffffffffffffffi64 }, { 0xe000000000000000i64, 0xe000000000000001i64, 0xe000000000000003i64, 0xe000000000000007i64, 0xe00000000000000fi64, 0xe00000000000001fi64, 0xe00000000000003fi64, 0xe00000000000007fi64, 0xe0000000000000ffi64, 0xe0000000000001ffi64, 0xe0000000000003ffi64, 0xe0000000000007ffi64, 0xe000000000000fffi64, 0xe000000000001fffi64, 0xe000000000003fffi64, 0xe000000000007fffi64, 0xe00000000000ffffi64, 0xe00000000001ffffi64, 0xe00000000003ffffi64, 0xe00000000007ffffi64, 0xe0000000000fffffi64, 0xe0000000001fffffi64, 0xe0000000003fffffi64, 0xe0000000007fffffi64, 0xe000000000ffffffi64, 0xe000000001ffffffi64, 0xe000000003ffffffi64, 0xe000000007ffffffi64, 0xe00000000fffffffi64, 0xe00000001fffffffi64, 0xe00000003fffffffi64, 0xe00000007fffffffi64, 0xe0000000ffffffffi64, 0xe0000001ffffffffi64, 0xe0000003ffffffffi64, 0xe0000007ffffffffi64, 0xe000000fffffffffi64, 0xe000001fffffffffi64, 0xe000003fffffffffi64, 0xe000007fffffffffi64, 0xe00000ffffffffffi64, 0xe00001ffffffffffi64, 0xe00003ffffffffffi64, 0xe00007ffffffffffi64, 0xe0000fffffffffffi64, 0xe0001fffffffffffi64, 0xe0003fffffffffffi64, 0xe0007fffffffffffi64, 0xe000ffffffffffffi64, 0xe001ffffffffffffi64, 0xe003ffffffffffffi64, 0xe007ffffffffffffi64, 0xe00fffffffffffffi64, 0xe01fffffffffffffi64, 0xe03fffffffffffffi64, 0xe07fffffffffffffi64, 0xe0ffffffffffffffi64, 0xe1ffffffffffffffi64, 0xe3ffffffffffffffi64, 0xe7ffffffffffffffi64, 0xefffffffffffffffi64 }, { 0xc000000000000000i64, 0xc000000000000001i64, 0xc000000000000003i64, 0xc000000000000007i64, 0xc00000000000000fi64, 0xc00000000000001fi64, 0xc00000000000003fi64, 0xc00000000000007fi64, 0xc0000000000000ffi64, 0xc0000000000001ffi64, 0xc0000000000003ffi64, 0xc0000000000007ffi64, 0xc000000000000fffi64, 0xc000000000001fffi64, 0xc000000000003fffi64, 0xc000000000007fffi64, 0xc00000000000ffffi64, 0xc00000000001ffffi64, 0xc00000000003ffffi64, 0xc00000000007ffffi64, 0xc0000000000fffffi64, 0xc0000000001fffffi64, 0xc0000000003fffffi64, 0xc0000000007fffffi64, 0xc000000000ffffffi64, 0xc000000001ffffffi64, 0xc000000003ffffffi64, 0xc000000007ffffffi64, 0xc00000000fffffffi64, 0xc00000001fffffffi64, 0xc00000003fffffffi64, 0xc00000007fffffffi64, 0xc0000000ffffffffi64, 0xc0000001ffffffffi64, 0xc0000003ffffffffi64, 0xc0000007ffffffffi64, 0xc000000fffffffffi64, 0xc000001fffffffffi64, 0xc000003fffffffffi64, 0xc000007fffffffffi64, 0xc00000ffffffffffi64, 0xc00001ffffffffffi64, 0xc00003ffffffffffi64, 0xc00007ffffffffffi64, 0xc0000fffffffffffi64, 0xc0001fffffffffffi64, 0xc0003fffffffffffi64, 0xc0007fffffffffffi64, 0xc000ffffffffffffi64, 0xc001ffffffffffffi64, 0xc003ffffffffffffi64, 0xc007ffffffffffffi64, 0xc00fffffffffffffi64, 0xc01fffffffffffffi64, 0xc03fffffffffffffi64, 0xc07fffffffffffffi64, 0xc0ffffffffffffffi64, 0xc1ffffffffffffffi64, 0xc3ffffffffffffffi64, 0xc7ffffffffffffffi64, 0xcfffffffffffffffi64, 0xdfffffffffffffffi64 }, { 0x8000000000000000i64, 0x8000000000000001i64, 0x8000000000000003i64, 0x8000000000000007i64, 0x800000000000000fi64, 0x800000000000001fi64, 0x800000000000003fi64, 0x800000000000007fi64, 0x80000000000000ffi64, 0x80000000000001ffi64, 0x80000000000003ffi64, 0x80000000000007ffi64, 0x8000000000000fffi64, 0x8000000000001fffi64, 0x8000000000003fffi64, 0x8000000000007fffi64, 0x800000000000ffffi64, 0x800000000001ffffi64, 0x800000000003ffffi64, 0x800000000007ffffi64, 0x80000000000fffffi64, 0x80000000001fffffi64, 0x80000000003fffffi64, 0x80000000007fffffi64, 0x8000000000ffffffi64, 0x8000000001ffffffi64, 0x8000000003ffffffi64, 0x8000000007ffffffi64, 0x800000000fffffffi64, 0x800000001fffffffi64, 0x800000003fffffffi64, 0x800000007fffffffi64, 0x80000000ffffffffi64, 0x80000001ffffffffi64, 0x80000003ffffffffi64, 0x80000007ffffffffi64, 0x8000000fffffffffi64, 0x8000001fffffffffi64, 0x8000003fffffffffi64, 0x8000007fffffffffi64, 0x800000ffffffffffi64, 0x800001ffffffffffi64, 0x800003ffffffffffi64, 0x800007ffffffffffi64, 0x80000fffffffffffi64, 0x80001fffffffffffi64, 0x80003fffffffffffi64, 0x80007fffffffffffi64, 0x8000ffffffffffffi64, 0x8001ffffffffffffi64, 0x8003ffffffffffffi64, 0x8007ffffffffffffi64, 0x800fffffffffffffi64, 0x801fffffffffffffi64, 0x803fffffffffffffi64, 0x807fffffffffffffi64, 0x80ffffffffffffffi64, 0x81ffffffffffffffi64, 0x83ffffffffffffffi64, 0x87ffffffffffffffi64, 0x8fffffffffffffffi64, 0x9fffffffffffffffi64, 0xbfffffffffffffffi64 }, { 0x0i64, 0x1i64, 0x3i64, 0x7i64, 0xfi64, 0x1fi64, 0x3fi64, 0x7fi64, 0xffi64, 0x1ffi64, 0x3ffi64, 0x7ffi64, 0xfffi64, 0x1fffi64, 0x3fffi64, 0x7fffi64, 0xffffi64, 0x1ffffi64, 0x3ffffi64, 0x7ffffi64, 0xfffffi64, 0x1fffffi64, 0x3fffffi64, 0x7fffffi64, 0xffffffi64, 0x1ffffffi64, 0x3ffffffi64, 0x7ffffffi64, 0xfffffffi64, 0x1fffffffi64, 0x3fffffffi64, 0x7fffffffi64, 0xffffffffi64, 0x1ffffffffi64, 0x3ffffffffi64, 0x7ffffffffi64, 0xfffffffffi64, 0x1fffffffffi64, 0x3fffffffffi64, 0x7fffffffffi64, 0xffffffffffi64, 0x1ffffffffffi64, 0x3ffffffffffi64, 0x7ffffffffffi64, 0xfffffffffffi64, 0x1fffffffffffi64, 0x3fffffffffffi64, 0x7fffffffffffi64, 0xffffffffffffi64, 0x1ffffffffffffi64, 0x3ffffffffffffi64, 0x7ffffffffffffi64, 0xfffffffffffffi64, 0x1fffffffffffffi64, 0x3fffffffffffffi64, 0x7fffffffffffffi64, 0xffffffffffffffi64, 0x1ffffffffffffffi64, 0x3ffffffffffffffi64, 0x7ffffffffffffffi64, 0xfffffffffffffffi64, 0x1fffffffffffffffi64, 0x3fffffffffffffffi64, 0x7fffffffffffffffi64 } }; #endif // end of #ifndef WIN32 } // namespace sc_dt #endif