PING: [RS6000] rotate and mask constants [PR94393]

Bill Schmidt wschmidt@linux.ibm.com
Tue Aug 10 16:02:49 GMT 2021


Hi Pat,

Thanks very much for taking this over!  Some (non-binding) comments from 
me below...

On 8/10/21 10:49 AM, Pat Haugen wrote:
> On 7/27/21 1:35 PM, will schmidt wrote:
>> On Fri, 2021-07-23 at 15:23 -0500, Pat Haugen via Gcc-patches wrote:
>>> Ping
>>> https://gcc.gnu.org/pipermail/gcc-patches/2020-October/555760.html
>>>
>>> I've done a current bootstrap/regtest on powerpc64/powerpc64le with
>>> no regressions.
>>>
>>> -Pat
>> That patch was previously posted by Alan Modra.
>> Given the time lapse this may need to be re-posted entirely, pending
>> what the maintainers suggest.. :-)
>>
>>
> Including full patch.
>
>
> diff --git a/gcc/config/rs6000/rs6000.c b/gcc/config/rs6000/rs6000.c
> index 60f406a4ff6..8e758a1f2dd 100644
> --- a/gcc/config/rs6000/rs6000.c
> +++ b/gcc/config/rs6000/rs6000.c
> @@ -1131,6 +1131,8 @@ static tree rs6000_handle_altivec_attribute (tree *, tree, tree, int, bool *);
>   static tree rs6000_handle_struct_attribute (tree *, tree, tree, int, bool *);
>   static tree rs6000_builtin_vectorized_libmass (combined_fn, tree, tree);
>   static void rs6000_emit_set_long_const (rtx, HOST_WIDE_INT);
> +static bool rotate_and_mask_constant (unsigned HOST_WIDE_INT, HOST_WIDE_INT *,
> +				      int *, unsigned HOST_WIDE_INT *);


It would be nice if we could rearrange code to avoid this, but that is 
probably beyond the scope of this change.

>   static int rs6000_memory_move_cost (machine_mode, reg_class_t, bool);
>   static bool rs6000_debug_rtx_costs (rtx, machine_mode, int, int, int *, bool);
>   static int rs6000_debug_address_cost (rtx, machine_mode, addr_space_t,
> @@ -5973,7 +5975,7 @@ num_insns_constant_gpr (HOST_WIDE_INT value)
>   }
>   
>   /* Helper for num_insns_constant.  Allow constants formed by the
> -   num_insns_constant_gpr sequences, plus li -1, rldicl/rldicr/rlwinm,
> +   num_insns_constant_gpr sequences, and li/lis+rldicl/rldicr/rldic/rlwinm,
>      and handle modes that require multiple gprs.  */
>   
>   static int
> @@ -5988,8 +5990,8 @@ num_insns_constant_multi (HOST_WIDE_INT value, machine_mode mode)
>         if (insns > 2
>   	  /* We won't get more than 2 from num_insns_constant_gpr
>   	     except when TARGET_POWERPC64 and mode is DImode or
> -	     wider, so the register mode must be DImode.  */
> -	  && rs6000_is_valid_and_mask (GEN_INT (low), DImode))
> +	     wider.  */
> +	  && rotate_and_mask_constant (low, NULL, NULL, NULL))


Hm, is this code ever executed?  How does this not result in assignment 
through null pointers?

It would be good to figure out whether this code is reachable at all, 
and just yank it out if not.  Otherwise we need a test case that hits it.

>   	insns = 2;
>         total += insns;
>         /* If BITS_PER_WORD is the number of bits in HOST_WIDE_INT, doing
> @@ -10077,6 +10079,244 @@ rs6000_emit_set_const (rtx dest, rtx source)
>     return true;
>   }
>   
> +/* Rotate DImode word, being careful to handle the case where
> +   HOST_WIDE_INT is larger than DImode.  */
> +
> +static inline unsigned HOST_WIDE_INT
> +rotate_di (unsigned HOST_WIDE_INT x, unsigned int shift)
> +{
> +  unsigned HOST_WIDE_INT mask_hi, mask_lo;
> +
> +  mask_hi = (HOST_WIDE_INT_1U << 63 << 1) - (HOST_WIDE_INT_1U << shift);
> +  mask_lo = (HOST_WIDE_INT_1U << shift) - 1;
> +  x = ((x << shift) & mask_hi) | ((x >> (64 - shift)) & mask_lo);
> +  x = (x ^ (HOST_WIDE_INT_1U << 63)) - (HOST_WIDE_INT_1U << 63);
> +  return x;
> +}


The above could really use some commentary and/or examples.  I'm 
relatively convinced it's right, but it took a lot of squinting and 
pencilwork to come to that tentative conclusion. :-)

> +
> +/* Can C be formed by rotating a 16-bit positive value left by C16LSB?  */
> +
> +static inline bool
> +is_rotate_positive_constant (unsigned HOST_WIDE_INT c, int c16lsb,
> +			     HOST_WIDE_INT *val, int *shift,
> +			     unsigned HOST_WIDE_INT *mask)
> +{
> +  if ((c & ~(HOST_WIDE_INT_UC (0x7fff) << c16lsb)) == 0)
> +    {
> +      /* eg. c = 1100 0000 0000 ... 0000
> +	 -> val = 0x3000, shift = 49, mask = -1ull.  */
> +      if (val)
> +	{
> +	  c >>= c16lsb;
> +	  /* Make the value and shift canonical in the sense of
> +	     selecting the smallest value.  For the example above
> +	     -> val = 3, shift = 61.  */
> +	  int trail_zeros = ctz_hwi (c);
> +	  c >>= trail_zeros;
> +	  c16lsb += trail_zeros;
> +	  *val = c;
> +	  *shift = c16lsb;
> +	  *mask = HOST_WIDE_INT_M1U;
> +	}
> +      return true;
> +    }
> +  return false;
> +}
> +
> +/* Can C be formed by rotating a 16-bit negative value left by C16LSB?  */
> +
> +static inline bool
> +is_rotate_negative_constant (unsigned HOST_WIDE_INT c, int c16lsb,
> +			     HOST_WIDE_INT *val, int *shift,
> +			     unsigned HOST_WIDE_INT *mask)
> +{
> +  if ((c | (HOST_WIDE_INT_UC (0x7fff) << c16lsb)) == HOST_WIDE_INT_M1U)
> +    {
> +      if (val)
> +	{
> +	  c >>= c16lsb;
> +	  /* When there are no leading ones, C16LSB is 49 and we have
> +	     an implicit 1 bit to make up our 16-bit negative value,
> +	     which is why the shift here is 15 rather than 16.  */
> +	  c |= HOST_WIDE_INT_M1U << 15;
> +	  /* Canonicalize by removing trailing ones in the constant.
> +	     eg. 0xbfff -> 0xfffe.  */
> +	  int trail_ones = ctz_hwi (~c);
> +	  c = (HOST_WIDE_INT) c >> trail_ones;
> +	  c16lsb += trail_ones;
> +	  *val = c;
> +	  *shift = c16lsb;
> +	  *mask = HOST_WIDE_INT_M1U;
> +	}
> +      return true;
> +    }
> +  return false;
> +}
> +
> +/* Detect cases where a constant can be formed by li; rldicl, li; rldicr,
> +   lis; rldicl, lis; rldicr, or li; rldic.  */
> +
> +static bool
> +rotate_and_mask_constant (unsigned HOST_WIDE_INT c,
> +			  HOST_WIDE_INT *val, int *shift,
> +			  unsigned HOST_WIDE_INT *mask)
> +{
> +  /* We know C is a DImode value properly sign extended to
> +     HOST_WIDE_INT that can't be formed by lis; addi.  So if C is
> +     positive there must be a 1 bit somewhere in bits 32 thru 62, and
> +     if C is negative there must be a 0 bit in the same range.  That
> +     puts constraints on the max leading zeros or ones.  Thus no need
> +     to check the C16LSB (lsb of 16-bit constant that fits in li)
> +     expressions below for negative values.  */
> +  int lead_zeros = clz_hwi (c);
> +
> +  /* First check for rotated constants.  */
> +  int c16lsb = HOST_BITS_PER_WIDE_INT - 15 - lead_zeros;
> +  if (is_rotate_positive_constant (c, c16lsb, val, shift, mask))
> +    return true;
> +
> +  /* Handle wrap-around 16-bit constants too, by rotating the
> +     potential wrapped constant so that it no longer wraps.  This also
> +     has constraints on the max leading zeros or ones such that the
> +     C16LSB expression below will never be negative.  */
> +  unsigned HOST_WIDE_INT rc = rotate_di (c, 32);
> +  c16lsb = HOST_BITS_PER_WIDE_INT - 15 - clz_hwi (rc);
> +  if (is_rotate_positive_constant (rc, c16lsb, val, shift, mask))
> +    {
> +      if (val)
> +	*shift ^= 32;
> +      return true;
> +    }
> +
> +  int lead_ones = clz_hwi (~c);
> +  c16lsb = HOST_BITS_PER_WIDE_INT - 15 - lead_ones;
> +  if (is_rotate_negative_constant (c, c16lsb, val, shift, mask))
> +    return true;
> +
> +  c16lsb = HOST_BITS_PER_WIDE_INT - 15 - clz_hwi (~rc);
> +  if (is_rotate_negative_constant (rc, c16lsb, val, shift, mask))
> +    {
> +      if (val)
> +	*shift ^= 32;
> +      return true;
> +    }
> +
> +  /* 00...01xxxxxxxxxxxxxxx1..11 (up to 15 x's, any number of leading
> +     0's and trailing 1's) can be implemented as a li, rldicl.  */
> +  c16lsb = HOST_BITS_PER_WIDE_INT - 16 - lead_zeros;
> +  if ((c | (HOST_WIDE_INT_M1U << c16lsb)) == HOST_WIDE_INT_M1U)
> +    {
> +      /* eg. c = 0000 1011 1111 1111 ... 1111
> +	 -> val = sext(0xbfff), shift = 44, mask = 0x0fffffffffffffff.  */
> +      if (val)
> +	{
> +	  c = (c >> c16lsb) | (HOST_WIDE_INT_M1U << 16);
> +	  *val = c;
> +	  *shift = c == HOST_WIDE_INT_M1U ? 0 : c16lsb;
> +	  *mask = HOST_WIDE_INT_M1U >> lead_zeros;
> +	}
> +      return true;
> +    }
> +  /* 00...01xxxxxxxxxxxxxxx00..01..11 (up to 15 x's followed by 16 0's,
> +     any number of leading 0's and trailing 1's) can be implemented as
> +     lis, rldicl.  */
> +  c16lsb = HOST_BITS_PER_WIDE_INT - 32 - lead_zeros;
> +  if (c16lsb >= 0
> +      && (c & ((HOST_WIDE_INT_1U << (c16lsb + 16))
> +	       - (HOST_WIDE_INT_1U << c16lsb))) == 0
> +      && (c | (HOST_WIDE_INT_M1U << c16lsb)) == HOST_WIDE_INT_M1U)
> +    {
> +      if (val)
> +	{
> +	  c = (c >> c16lsb) | (HOST_WIDE_INT_M1U << 32);
> +	  *val = c;
> +	  *shift = c16lsb;
> +	  *mask = HOST_WIDE_INT_M1U >> lead_zeros;
> +	}
> +      return true;
> +    }
> +  /* TRAIL_ZEROS is less than 49 here since 49 or more trailing zeros
> +     are handled above as a rotate of a positive 16-bit value.  */
> +  int trail_zeros = ctz_hwi (c);
> +  /* 1..1xxxxxxxxxxxxxxx1..10..0 (any number of leading 1's, up to 15
> +     x's followed by any number of 1's followed by any number of 0's)
> +     can be implemented as li, rldicr.  */
> +  c16lsb = HOST_BITS_PER_WIDE_INT - 15 - lead_ones;
> +  if ((c | (HOST_WIDE_INT_M1U << c16lsb)
> +       | ~(HOST_WIDE_INT_M1U << trail_zeros)) == HOST_WIDE_INT_M1U)
> +    {
> +      if (val)
> +	{
> +	  c = (c >> c16lsb) | (HOST_WIDE_INT_M1U << 15);
> +	  *val = c;
> +	  *shift = c == HOST_WIDE_INT_M1U ? 0 : c16lsb;
> +	  *mask = HOST_WIDE_INT_M1U << trail_zeros;
> +	}
> +      return true;
> +    }
> +  /* 1..1xxxxxxxxxxxxxxx0..01..10..0 (any number of leading 1's, up to
> +     15 x's followed by 16 0's, any number of 1's followed by any
> +     number of 0's) can be implemented as lis, rldicr.  */
> +  c16lsb = HOST_BITS_PER_WIDE_INT - 31 - lead_ones;
> +  if (c16lsb >= trail_zeros
> +      && (c & ((HOST_WIDE_INT_1U << (c16lsb + 16))
> +	       - (HOST_WIDE_INT_1U << c16lsb))) == 0
> +      && (c | (HOST_WIDE_INT_M1U << c16lsb)
> +	  | ~(HOST_WIDE_INT_M1U << trail_zeros)) == HOST_WIDE_INT_M1U)
> +    {
> +      if (val)
> +	{
> +	  c = (c >> c16lsb) | (HOST_WIDE_INT_M1U << 31);
> +	  *val = c;
> +	  *shift = c16lsb;
> +	  *mask = HOST_WIDE_INT_M1U << trail_zeros;
> +	}
> +      return true;
> +    }
> +  /* 00..011..1xxxxxxxxxxxxxx0..0 (up to 15 x's, any number of leading
> +     0's followed by any number of 1's and any number of trailing 0's)
> +     can be implemented as li, rldic.  */
> +  c16lsb = trail_zeros;
> +  if ((c | ~(HOST_WIDE_INT_M1U << (c16lsb + 15))
> +       | ~(HOST_WIDE_INT_M1U >> lead_zeros)) == HOST_WIDE_INT_M1U)
> +    {
> +      if (val)
> +	{
> +	  c = (c >> c16lsb) | (HOST_WIDE_INT_M1U << 16);
> +	  *val = c;
> +	  *shift = c16lsb;
> +	  *mask = ((HOST_WIDE_INT_M1U << c16lsb)
> +		   & (HOST_WIDE_INT_M1U >> lead_zeros));
> +	}
> +      return true;
> +    }
> +  /* 11..1xxxxxxxxxxxxxx0..01..1 (up to 15 x's, any number of leading
> +     1's and any number of trailing 0's followed by any number of 1's)
> +     can be implemented as li, rldic.  */
> +  int trail_ones = ctz_hwi (~c);
> +  c16lsb = HOST_BITS_PER_WIDE_INT - 15 - lead_ones;
> +  if ((c & (HOST_WIDE_INT_M1U << trail_ones)
> +       & ~(HOST_WIDE_INT_M1U << c16lsb)) == 0)
> +    {
> +      if (val)
> +	{
> +	  c = (c >> c16lsb) | (HOST_WIDE_INT_M1U << 15);
> +	  /* Canonicalize by removing trailing zeros in the constant.
> +	     eg. 0x8000 -> 0xffff.  */
> +	  trail_zeros = ctz_hwi (c);
> +	  c = (HOST_WIDE_INT) c >> trail_zeros;
> +	  c16lsb += trail_zeros;
> +	  *val = c;
> +	  *shift = c16lsb;
> +	  *mask = ((HOST_WIDE_INT_M1U << c16lsb)
> +		   | ~(HOST_WIDE_INT_M1U << trail_ones));
> +	}
> +      return true;
> +    }
> +
> +  return false;
> +}


Lots of good work above -- I did not spot any errors.

> +
>   /* Subroutine of rs6000_emit_set_const, handling PowerPC64 DImode.
>      Output insns to set DEST equal to the constant C as a series of
>      lis, ori and shl instructions.  */
> @@ -10086,6 +10326,9 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c)
>   {
>     rtx temp;
>     HOST_WIDE_INT ud1, ud2, ud3, ud4;
> +  HOST_WIDE_INT val = c;
> +  int shift;
> +  unsigned HOST_WIDE_INT mask;
>   
>     ud1 = c & 0xffff;
>     c = c >> 16;
> @@ -10111,6 +10354,17 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c)
>   			gen_rtx_IOR (DImode, copy_rtx (temp),
>   				     GEN_INT (ud1)));
>       }
> +  else if (rotate_and_mask_constant (val, &val, &shift, &mask))
> +    {
> +      temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode);
> +      emit_move_insn (temp, GEN_INT (val));
> +      rtx x = copy_rtx (temp);
> +      if (shift != 0)
> +	x = gen_rtx_ROTATE (DImode, x, GEN_INT (shift));
> +      if (mask != HOST_WIDE_INT_M1U)
> +	x = gen_rtx_AND (DImode, x, GEN_INT (mask));
> +      emit_move_insn (dest, x);
> +    }
>     else if (ud3 == 0 && ud4 == 0)
>       {
>         temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode);
> diff --git a/gcc/config/rs6000/rs6000.md b/gcc/config/rs6000/rs6000.md
> index a84438f8545..a76bb560ae7 100644
> --- a/gcc/config/rs6000/rs6000.md
> +++ b/gcc/config/rs6000/rs6000.md
> @@ -9356,24 +9356,8 @@ (define_insn "*movdi_internal64"
>   	   *,          *,          *,
>   	   p8v,        p8v")])
>   
> -; Some DImode loads are best done as a load of -1 followed by a mask
> -; instruction.
> -(define_split
> -  [(set (match_operand:DI 0 "int_reg_operand_not_pseudo")
> -	(match_operand:DI 1 "const_int_operand"))]
> -  "TARGET_POWERPC64
> -   && num_insns_constant (operands[1], DImode) > 1
> -   && !IN_RANGE (INTVAL (operands[1]), -0x80000000, 0xffffffff)
> -   && rs6000_is_valid_and_mask (operands[1], DImode)"
> -  [(set (match_dup 0)
> -	(const_int -1))
> -   (set (match_dup 0)
> -	(and:DI (match_dup 0)
> -		(match_dup 1)))]
> -  "")
> -
> -;; Split a load of a large constant into the appropriate five-instruction
> -;; sequence.  Handle anything in a constant number of insns.
> +;; Split a load of a large constant into a sequence of two to five
> +;; instructions.
>   ;; When non-easy constants can go in the TOC, this should use
>   ;; easy_fp_constant predicate.
>   (define_split
> diff --git a/gcc/testsuite/gcc.target/powerpc/rot_cst.h b/gcc/testsuite/gcc.target/powerpc/rot_cst.h
> new file mode 100644
> index 00000000000..a57b5aca6cf
> --- /dev/null
> +++ b/gcc/testsuite/gcc.target/powerpc/rot_cst.h


The test cases look exhaustive and reasonable. :-)  My only concern is 
making sure they are tested on -m32 as well as -m64.

Thanks again to both you and Alan for the patch!

Bill

> @@ -0,0 +1,5270 @@
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1 (void)
> +{
> +  return 0xc000000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c2 (void)
> +{
> +  return 0xc00000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c3 (void)
> +{
> +  return 0xc0000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c4 (void)
> +{
> +  return 0xc000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c5 (void)
> +{
> +  return 0xc00000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c6 (void)
> +{
> +  return 0xc0000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c7 (void)
> +{
> +  return 0xc000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c8 (void)
> +{
> +  return 0xc00000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c9 (void)
> +{
> +  return 0xc0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c10 (void)
> +{
> +  return 0xc000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c11 (void)
> +{
> +  return 0xc00000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c12 (void)
> +{
> +  return 0xc0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c13 (void)
> +{
> +  return 0xc000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c14 (void)
> +{
> +  return 0xc00ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c15 (void)
> +{
> +  return 0xc0ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c16 (void)
> +{
> +  return 0xcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c17 (void)
> +{
> +  return 0xbfffffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c18 (void)
> +{
> +  return 0xbffffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c19 (void)
> +{
> +  return 0xbfffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c20 (void)
> +{
> +  return 0xbffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c21 (void)
> +{
> +  return 0xbfffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c22 (void)
> +{
> +  return 0xbffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c23 (void)
> +{
> +  return 0xbfffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c24 (void)
> +{
> +  return 0xbffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c25 (void)
> +{
> +  return 0xbfffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c26 (void)
> +{
> +  return 0xbffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c27 (void)
> +{
> +  return 0xbfffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c28 (void)
> +{
> +  return 0xbffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c29 (void)
> +{
> +  return 0xbfffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c30 (void)
> +{
> +  return 0xbffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c31 (void)
> +{
> +  return 0xbfULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c32 (void)
> +{
> +  return 0xbULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c33 (void)
> +{
> +  return -0x124ULL << 48;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c34 (void)
> +{
> +  return -0x124ULL << 44;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c35 (void)
> +{
> +  return -0x124ULL << 40;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c36 (void)
> +{
> +  return -0x124ULL << 32;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c37 (void)
> +{
> +  return -0x124ULL << 28;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c38 (void)
> +{
> +  return -0x124ULL << 24;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c39 (void)
> +{
> +  return -0x124ULL << 20;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c40 (void)
> +{
> +  return -0x124ULL << 16;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c41 (void)
> +{
> +  return -0x124ULL << 12;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c42 (void)
> +{
> +  return -0x124ULL << 8;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c43 (void)
> +{
> +  return -0x124ULL << 4;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c44 (void)
> +{
> +  return -0x124ULL << 0;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c45 (void)
> +{
> +   return 0x00ffffffffffff00ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c46 (void)
> +{
> +   return 0x00ffffffff000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c47 (void)
> +{
> +   return 0x00ffff0000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c48 (void)
> +{
> +   return 0xffffff0000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c49 (void)
> +{
> +   return 0xffffff000000ffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c50 (void)
> +{
> +   return 0x8000000000000003ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c51 (void)
> +{
> +  return 0x8051000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c52 (void)
> +{
> +  return 0x80510fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c53 (void)
> +{
> +  return 0xff00020000ffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c54 (void)
> +{
> +  return 0x89ab0000ffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1001 (void)
> +{
> +  return 0x0000002400000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1002 (void)
> +{
> +  return 0x000001e350000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1003 (void)
> +{
> +  return 0x2460000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1004 (void)
> +{
> +  return 0x00000000d9000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1005 (void)
> +{
> +  return 0x00000d9000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1006 (void)
> +{
> +  return 0x000000a800000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1007 (void)
> +{
> +  return 0x8000000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1008 (void)
> +{
> +  return 0x000000008b420000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1009 (void)
> +{
> +  return 0x00000000f4000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1010 (void)
> +{
> +  return 0x00000000d5660000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1011 (void)
> +{
> +  return 0x001fe00000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1012 (void)
> +{
> +  return 0x0b00000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1013 (void)
> +{
> +  return 0x00000000a3f00000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1014 (void)
> +{
> +  return 0x00000000b2200000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1015 (void)
> +{
> +  return 0x0000204000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1016 (void)
> +{
> +  return 0x83c0000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1017 (void)
> +{
> +  return 0x00000037a4000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1018 (void)
> +{
> +  return 0x00000000a1000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1019 (void)
> +{
> +  return 0x00024c0000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1020 (void)
> +{
> +  return 0x0000069200000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1021 (void)
> +{
> +  return 0x00000000df300000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1022 (void)
> +{
> +  return 0x000000037cc00000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1023 (void)
> +{
> +  return 0x0000017c00000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1024 (void)
> +{
> +  return 0x30a0000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1025 (void)
> +{
> +  return 0x0000004680000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1026 (void)
> +{
> +  return 0x0000000160000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1027 (void)
> +{
> +  return 0x0000001600000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1028 (void)
> +{
> +  return 0x00000000c0e80000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1029 (void)
> +{
> +  return 0x0000006074000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1030 (void)
> +{
> +  return 0x0017f60000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1031 (void)
> +{
> +  return 0x00000000d8180000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1032 (void)
> +{
> +  return 0x06c0c00000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1033 (void)
> +{
> +  return 0x00000000e2c00000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1034 (void)
> +{
> +  return 0x00000000cb900000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1035 (void)
> +{
> +  return 0x00000000a0800000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1036 (void)
> +{
> +  return 0x163a000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1037 (void)
> +{
> +  return 0x0000000b1d000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1038 (void)
> +{
> +  return 0x00000000c7980000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1039 (void)
> +{
> +  return 0x00000000ccc00000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1040 (void)
> +{
> +  return 0x0000001efa000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1041 (void)
> +{
> +  return 0x0004020000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1042 (void)
> +{
> +  return 0x0054000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1043 (void)
> +{
> +  return 0x0000002806000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1044 (void)
> +{
> +  return 0x00000000e4000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1045 (void)
> +{
> +  return 0x0000390000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1046 (void)
> +{
> +  return 0x0000000200000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1047 (void)
> +{
> +  return 0x0000003900000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1048 (void)
> +{
> +  return 0x001c800000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1049 (void)
> +{
> +  return 0x1452000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1050 (void)
> +{
> +  return 0x00000c8000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1051 (void)
> +{
> +  return 0x00000000d6500000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1052 (void)
> +{
> +  return 0x0000000093000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1053 (void)
> +{
> +  return 0x00000000e87c0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1054 (void)
> +{
> +  return 0x0000000a08000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1055 (void)
> +{
> +  return 0x00000001d8000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1056 (void)
> +{
> +  return 0x00000000dc060000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1057 (void)
> +{
> +  return 0x00000000f3a00000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1058 (void)
> +{
> +  return 0x000000079d000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1059 (void)
> +{
> +  return 0x001e740000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1060 (void)
> +{
> +  return 0x79d0000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1061 (void)
> +{
> +  return 0x2000000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1062 (void)
> +{
> +  return 0x8f80000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1063 (void)
> +{
> +  return 0x060d800000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1064 (void)
> +{
> +  return 0xffc2000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1065 (void)
> +{
> +  return 0x00000000e0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1066 (void)
> +{
> +  return 0x1c00000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1067 (void)
> +{
> +  return 0x05c6000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1068 (void)
> +{
> +  return 0x00000000e2000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1069 (void)
> +{
> +  return 0x00000000d0100000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1070 (void)
> +{
> +  return 0x3404000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1071 (void)
> +{
> +  return 0x00000000a2140000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1072 (void)
> +{
> +  return 0x0000000300c00000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1073 (void)
> +{
> +  return 0x00000000d0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1074 (void)
> +{
> +  return 0x0000012800000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1075 (void)
> +{
> +  return 0x00000004a0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1076 (void)
> +{
> +  return 0x0000580000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1077 (void)
> +{
> +  return 0x02c0000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1078 (void)
> +{
> +  return 0x00000000c0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1079 (void)
> +{
> +  return 0x0000600000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1080 (void)
> +{
> +  return 0x0000030ca0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1081 (void)
> +{
> +  return 0x0003f6c000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1082 (void)
> +{
> +  return 0x0000000090000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1083 (void)
> +{
> +  return 0x00000340d8000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1084 (void)
> +{
> +  return 0x00000000fbc00000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1085 (void)
> +{
> +  return 0x00000000cf060000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1086 (void)
> +{
> +  return 0x00000000a8040000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1087 (void)
> +{
> +  return 0x00000000803e0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1088 (void)
> +{
> +  return 0x00000000ca000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1089 (void)
> +{
> +  return 0x00000000915c0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1090 (void)
> +{
> +  return 0x0000122b80000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1091 (void)
> +{
> +  return 0x00000002c0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1092 (void)
> +{
> +  return 0x0000000083000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1093 (void)
> +{
> +  return 0x0030000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1094 (void)
> +{
> +  return 0x0300000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1095 (void)
> +{
> +  return 0x00000d9800000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1096 (void)
> +{
> +  return 0x0036600000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1097 (void)
> +{
> +  return 0x0000002e7a000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1098 (void)
> +{
> +  return 0x00000000e2480000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1099 (void)
> +{
> +  return 0x00e2480000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1100 (void)
> +{
> +  return 0x001a000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1101 (void)
> +{
> +  return 0xac00000000000070ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1102 (void)
> +{
> +  return 0xc2b0000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1103 (void)
> +{
> +  return 0x90000000000000f7ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1104 (void)
> +{
> +  return 0xa540000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1105 (void)
> +{
> +  return 0x0ac000000000000bULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1106 (void)
> +{
> +  return 0x0a80000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1107 (void)
> +{
> +  return 0x4400000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1108 (void)
> +{
> +  return 0xb600000000000002ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1109 (void)
> +{
> +  return 0x5b00000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1110 (void)
> +{
> +  return 0x0030000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1111 (void)
> +{
> +  return 0x8000000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1112 (void)
> +{
> +  return 0x800000000000399dULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1113 (void)
> +{
> +  return 0xd660000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1114 (void)
> +{
> +  return 0x7800000000000074ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1115 (void)
> +{
> +  return 0xa600000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1116 (void)
> +{
> +  return 0xd500000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1117 (void)
> +{
> +  return 0x0018000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1118 (void)
> +{
> +  return 0x800000000000000fULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1119 (void)
> +{
> +  return 0xdb80000000000008ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1120 (void)
> +{
> +  return 0x30000000000003a7ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1121 (void)
> +{
> +  return 0x4000000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1122 (void)
> +{
> +  return 0x098000000000000cULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1123 (void)
> +{
> +  return 0x5000000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1124 (void)
> +{
> +  return 0x47a000000000000dULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1125 (void)
> +{
> +  return 0xa8f4000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1126 (void)
> +{
> +  return 0x7278000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1127 (void)
> +{
> +  return 0x5800000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1128 (void)
> +{
> +  return 0x310000000000002fULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1129 (void)
> +{
> +  return 0x7988000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1130 (void)
> +{
> +  return 0x6200000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1131 (void)
> +{
> +  return 0xe000000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1132 (void)
> +{
> +  return 0xe0000000000000f7ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1133 (void)
> +{
> +  return 0x100000000000059fULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1134 (void)
> +{
> +  return 0xdc00000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1135 (void)
> +{
> +  return 0x3000000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1136 (void)
> +{
> +  return 0x4100000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1137 (void)
> +{
> +  return 0x5c00000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1138 (void)
> +{
> +  return 0xc000000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1139 (void)
> +{
> +  return 0xd280000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1140 (void)
> +{
> +  return 0x3400000000000049ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1141 (void)
> +{
> +  return 0x24d0000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1142 (void)
> +{
> +  return 0x80000000000000faULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1143 (void)
> +{
> +  return 0x6000000000000019ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1144 (void)
> +{
> +  return 0x5800000000000006ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1145 (void)
> +{
> +  return 0x4000000000000004ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1146 (void)
> +{
> +  return 0xd000000000000005ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1147 (void)
> +{
> +  return 0x6800000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1148 (void)
> +{
> +  return 0x8000000000000b29ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1149 (void)
> +{
> +  return 0xcc38000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1150 (void)
> +{
> +  return 0xd000000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1151 (void)
> +{
> +  return 0x7100000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1152 (void)
> +{
> +  return 0x0580000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1153 (void)
> +{
> +  return 0x7c0000000000009dULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1154 (void)
> +{
> +  return 0x4000000000000003ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1155 (void)
> +{
> +  return 0xcc0000000000000dULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1156 (void)
> +{
> +  return 0xb980000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1157 (void)
> +{
> +  return 0xe00000000000017dULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1158 (void)
> +{
> +  return 0x9c30000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1159 (void)
> +{
> +  return 0xfb80000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1160 (void)
> +{
> +  return 0x2000000000000019ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1161 (void)
> +{
> +  return 0x9200000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1162 (void)
> +{
> +  return 0x8000000000001000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1163 (void)
> +{
> +  return 0x4800000000000028ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1164 (void)
> +{
> +  return 0x87f8000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1165 (void)
> +{
> +  return 0x5900000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1166 (void)
> +{
> +  return 0xef00000000000015ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1167 (void)
> +{
> +  return 0x140000000000000aULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1168 (void)
> +{
> +  return 0xc000000000000004ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1169 (void)
> +{
> +  return 0x010000000000001eULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1170 (void)
> +{
> +  return 0x08ec000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1171 (void)
> +{
> +  return 0x8000000000000007ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1172 (void)
> +{
> +  return 0xc000000000000003ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1173 (void)
> +{
> +  return 0xa660000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1174 (void)
> +{
> +  return 0x3880000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1175 (void)
> +{
> +  return 0x2f60000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1176 (void)
> +{
> +  return 0x3970000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1177 (void)
> +{
> +  return 0xc0000000000004e5ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1178 (void)
> +{
> +  return 0x800000000000019aULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1179 (void)
> +{
> +  return 0xb000000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1180 (void)
> +{
> +  return 0x6000000000000003ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1181 (void)
> +{
> +  return 0x8000000000000003ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1182 (void)
> +{
> +  return 0xe00000000000005eULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1183 (void)
> +{
> +  return 0x0e000000000000a9ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1184 (void)
> +{
> +  return 0x4680000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1185 (void)
> +{
> +  return 0x3e00000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1186 (void)
> +{
> +  return 0x8000000000000009ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1187 (void)
> +{
> +  return 0xb800000000000172ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1188 (void)
> +{
> +  return 0x24f0000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1189 (void)
> +{
> +  return 0xc000000000000006ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1190 (void)
> +{
> +  return 0x500000000000000cULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1191 (void)
> +{
> +  return 0x7840000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1192 (void)
> +{
> +  return 0xfa00000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1193 (void)
> +{
> +  return 0xad00000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1194 (void)
> +{
> +  return 0x0bb0000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1195 (void)
> +{
> +  return 0x7810000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1196 (void)
> +{
> +  return 0xea00000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1197 (void)
> +{
> +  return 0x7000000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1198 (void)
> +{
> +  return 0x8000000000000002ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1199 (void)
> +{
> +  return 0x3698000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1200 (void)
> +{
> +  return 0xd778000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1201 (void)
> +{
> +  return 0xfff1443fffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1202 (void)
> +{
> +  return 0xffffffff53fbffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1203 (void)
> +{
> +  return 0xffffffd4feffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1204 (void)
> +{
> +  return 0xfffffa9fdfffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1205 (void)
> +{
> +  return 0x53fbffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1206 (void)
> +{
> +  return 0xffffeaefffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1207 (void)
> +{
> +  return 0xfd5dffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1208 (void)
> +{
> +  return 0xff8d5fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1209 (void)
> +{
> +  return 0xffffffff743fffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1210 (void)
> +{
> +  return 0xffffffff2f17ffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1211 (void)
> +{
> +  return 0xfffe5e2fffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1212 (void)
> +{
> +  return 0xfff2f17fffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1213 (void)
> +{
> +  return 0xffffffff395fffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1214 (void)
> +{
> +  return 0xe3ffffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1215 (void)
> +{
> +  return 0xffffffff78afffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1216 (void)
> +{
> +  return 0xfffffc0fffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1217 (void)
> +{
> +  return 0xffffffe4697fffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1218 (void)
> +{
> +  return 0xffe1707fffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1219 (void)
> +{
> +  return 0xffffffff4091ffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1220 (void)
> +{
> +  return 0xfffffc827fffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1221 (void)
> +{
> +  return 0xffffffff2e4fffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1222 (void)
> +{
> +  return 0xffffffff64bfffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1223 (void)
> +{
> +  return 0xffffe47fffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1224 (void)
> +{
> +  return 0xffe7ffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1225 (void)
> +{
> +  return 0xffffffff3ff5ffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1226 (void)
> +{
> +  return 0xff0a1fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1227 (void)
> +{
> +  return 0xffffffff0307ffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1228 (void)
> +{
> +  return 0xffffe060ffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1229 (void)
> +{
> +  return 0xffffffff6fffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1230 (void)
> +{
> +  return 0xffffdfffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1231 (void)
> +{
> +  return 0xffbfdfffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1232 (void)
> +{
> +  return 0xfc5fffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1233 (void)
> +{
> +  return 0xc5ffffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1234 (void)
> +{
> +  return 0xffffffff1645ffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1235 (void)
> +{
> +  return 0xffffe2c8bfffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1236 (void)
> +{
> +  return 0xffffffff695dffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1237 (void)
> +{
> +  return 0xfffffffeff5fffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1238 (void)
> +{
> +  return 0xfffc8dbfffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1239 (void)
> +{
> +  return 0xffffffff3ff7ffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1240 (void)
> +{
> +  return 0xffffffbfffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1241 (void)
> +{
> +  return 0xffffffff3effffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1242 (void)
> +{
> +  return 0xffff3effffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1243 (void)
> +{
> +  return 0xffffe070ffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1244 (void)
> +{
> +  return 0xffffffff5ffbffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1245 (void)
> +{
> +  return 0xfd7fefffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1246 (void)
> +{
> +  return 0x7fffffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1247 (void)
> +{
> +  return 0xffffffff56ffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1248 (void)
> +{
> +  return 0xfffffffc37ffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1249 (void)
> +{
> +  return 0xffffffff0c2fffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1250 (void)
> +{
> +  return 0xfffffff7ffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1251 (void)
> +{
> +  return 0xfffffffbffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1252 (void)
> +{
> +  return 0xffffffff0543ffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1253 (void)
> +{
> +  return 0xffffffff1fffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1254 (void)
> +{
> +  return 0xfffffffc7fffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1255 (void)
> +{
> +  return 0xffffffff07ffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1256 (void)
> +{
> +  return 0xf0dfffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1257 (void)
> +{
> +  return 0xffffffff0183ffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1258 (void)
> +{
> +  return 0xfff407ffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1259 (void)
> +{
> +  return 0xffdbffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1260 (void)
> +{
> +  return 0xfffffffd57ffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1261 (void)
> +{
> +  return 0xfffff9ffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1262 (void)
> +{
> +  return 0xffffffff12c3ffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1263 (void)
> +{
> +  return 0xffffffff761fffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1264 (void)
> +{
> +  return 0xffffeec3ffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1265 (void)
> +{
> +  return 0xffcf0fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1266 (void)
> +{
> +  return 0xfffffffe4effffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1267 (void)
> +{
> +  return 0xffffffd423ffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1268 (void)
> +{
> +  return 0xfbf3ffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1269 (void)
> +{
> +  return 0xffffffff2c9fffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1270 (void)
> +{
> +  return 0xffffffff3b83ffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1271 (void)
> +{
> +  return 0xffffffff5957ffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1272 (void)
> +{
> +  return 0xffd655ffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1273 (void)
> +{
> +  return 0xffffffe1fbffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1274 (void)
> +{
> +  return 0xffff87efffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1275 (void)
> +{
> +  return 0xffffbfffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1276 (void)
> +{
> +  return 0xffffffff2fffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1277 (void)
> +{
> +  return 0x4b7fffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1278 (void)
> +{
> +  return 0xfffffffed5cfffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1279 (void)
> +{
> +  return 0xcdcfffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1280 (void)
> +{
> +  return 0xfffff8b77fffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1281 (void)
> +{
> +  return 0xfffffff8b77fffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1282 (void)
> +{
> +  return 0xffffff17ffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1283 (void)
> +{
> +  return 0xffffffff7dffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1284 (void)
> +{
> +  return 0xfffffff7dfffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1285 (void)
> +{
> +  return 0xf8ffffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1286 (void)
> +{
> +  return 0xffffffff6e4fffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1287 (void)
> +{
> +  return 0xffffffff4bffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1288 (void)
> +{
> +  return 0xffffffff7a5bffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1289 (void)
> +{
> +  return 0xffffffff63ffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1290 (void)
> +{
> +  return 0xffffffa2bfffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1291 (void)
> +{
> +  return 0xf86fffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1292 (void)
> +{
> +  return 0xfffffff9ffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1293 (void)
> +{
> +  return 0xc7afffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1294 (void)
> +{
> +  return 0xe7ffffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1295 (void)
> +{
> +  return 0xf1dfffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1296 (void)
> +{
> +  return 0xffff7fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1297 (void)
> +{
> +  return 0xfffffff437ffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1298 (void)
> +{
> +  return 0xfffffffccfffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1299 (void)
> +{
> +  return 0xffffffe9d13fffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1300 (void)
> +{
> +  return 0xfffffd3a27ffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1301 (void)
> +{
> +  return 0x1fffffffffffffcaULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1302 (void)
> +{
> +  return 0x2f9ffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1303 (void)
> +{
> +  return 0xcfffffffffffff17ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1304 (void)
> +{
> +  return 0x7fffffffffffff88ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1305 (void)
> +{
> +  return 0xdffffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1306 (void)
> +{
> +  return 0xbffffffffffffff9ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1307 (void)
> +{
> +  return 0x6ffffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1308 (void)
> +{
> +  return 0x44effffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1309 (void)
> +{
> +  return 0x8ffffffffffffd10ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1310 (void)
> +{
> +  return 0xf3cffffffffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1311 (void)
> +{
> +  return 0xc7fffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1312 (void)
> +{
> +  return 0x8dfffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1313 (void)
> +{
> +  return 0x5ffffffffffffff2ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1314 (void)
> +{
> +  return 0x4bfffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1315 (void)
> +{
> +  return 0x35fffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1316 (void)
> +{
> +  return 0x5ffffffffffff41fULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1317 (void)
> +{
> +  return 0x17ffffffffffff20ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1318 (void)
> +{
> +  return 0x43fffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1319 (void)
> +{
> +  return 0xa41ffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1320 (void)
> +{
> +  return 0x9f53fffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1321 (void)
> +{
> +  return 0x7ffffffffffff865ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1322 (void)
> +{
> +  return 0x9ffffffffffffff9ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1323 (void)
> +{
> +  return 0xfdeffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1324 (void)
> +{
> +  return 0xafffffffffffff97ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1325 (void)
> +{
> +  return 0x53fffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1326 (void)
> +{
> +  return 0x97fffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1327 (void)
> +{
> +  return 0x82fffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1328 (void)
> +{
> +  return 0x03fffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1329 (void)
> +{
> +  return 0xd38bfffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1330 (void)
> +{
> +  return 0x12bffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1331 (void)
> +{
> +  return 0x2ebffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1332 (void)
> +{
> +  return 0xac1ffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1333 (void)
> +{
> +  return 0x06b3fffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1334 (void)
> +{
> +  return 0xd67fffffffffffc0ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1335 (void)
> +{
> +  return 0x7fffffffffffff3bULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1336 (void)
> +{
> +  return 0xe0bffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1337 (void)
> +{
> +  return 0xfbbfffffffffffe9ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1338 (void)
> +{
> +  return 0xfa3ffffffffffff3ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1339 (void)
> +{
> +  return 0xfe8ffffffffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1340 (void)
> +{
> +  return 0x07fffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1341 (void)
> +{
> +  return 0xfcffffffffffffd7ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1342 (void)
> +{
> +  return 0x5ffffffffffffff3ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1343 (void)
> +{
> +  return 0x861ffffffffffff0ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1344 (void)
> +{
> +  return 0x10c3fffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1345 (void)
> +{
> +  return 0x7ffffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1346 (void)
> +{
> +  return 0x3ffffffffffffc66ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1347 (void)
> +{
> +  return 0xecfffffffffffffdULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1348 (void)
> +{
> +  return 0xf67ffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1349 (void)
> +{
> +  return 0xff7fffffffffffe2ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1350 (void)
> +{
> +  return 0xcffffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1351 (void)
> +{
> +  return 0x24fffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1352 (void)
> +{
> +  return 0x047fffffffffffcaULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1353 (void)
> +{
> +  return 0x023fffffffffffe5ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1354 (void)
> +{
> +  return 0x0ffffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1355 (void)
> +{
> +  return 0xe6fffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1356 (void)
> +{
> +  return 0xbffffffffffffc68ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1357 (void)
> +{
> +  return 0x345ffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1358 (void)
> +{
> +  return 0xfb3ffffffffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1359 (void)
> +{
> +  return 0xd4f7fffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1360 (void)
> +{
> +  return 0xfafffffffffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1361 (void)
> +{
> +  return 0xe167fffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1362 (void)
> +{
> +  return 0xf9fffffffffffff2ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1363 (void)
> +{
> +  return 0x7ffffffffffff82bULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1364 (void)
> +{
> +  return 0x0adffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1365 (void)
> +{
> +  return 0xdbfffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1366 (void)
> +{
> +  return 0xbffffffffffff962ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1367 (void)
> +{
> +  return 0xeffffffffffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1368 (void)
> +{
> +  return 0x747fffffffffffdeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1369 (void)
> +{
> +  return 0x67fffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1370 (void)
> +{
> +  return 0x587ffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1371 (void)
> +{
> +  return 0x6fffffffffffff31ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1372 (void)
> +{
> +  return 0x3cfffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1373 (void)
> +{
> +  return 0x31fffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1374 (void)
> +{
> +  return 0xe7fffffffffffff3ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1375 (void)
> +{
> +  return 0x63fffffffffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1376 (void)
> +{
> +  return 0xbffffffffffffffdULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1377 (void)
> +{
> +  return 0x3a73fffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1378 (void)
> +{
> +  return 0x3e33fffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1379 (void)
> +{
> +  return 0x3ffffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1380 (void)
> +{
> +  return 0xdd7ffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1381 (void)
> +{
> +  return 0xfefffffffffffffaULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1382 (void)
> +{
> +  return 0xbfbffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1383 (void)
> +{
> +  return 0x917fffffffffffd0ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1384 (void)
> +{
> +  return 0x87cffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1385 (void)
> +{
> +  return 0x7cffffffffffffe8ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1386 (void)
> +{
> +  return 0xf29ffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1387 (void)
> +{
> +  return 0xa0ffffffffffffd1ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1388 (void)
> +{
> +  return 0x367ffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1389 (void)
> +{
> +  return 0x2ffffffffffffff5ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1390 (void)
> +{
> +  return 0x9ffffffffffffffdULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1391 (void)
> +{
> +  return 0x7fffffffffffffb4ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1392 (void)
> +{
> +  return 0x3fffffffffffffe4ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1393 (void)
> +{
> +  return 0xffdffffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1394 (void)
> +{
> +  return 0x7ffffffffffffe9fULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1395 (void)
> +{
> +  return 0x9ffffffffffffb0fULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1396 (void)
> +{
> +  return 0xc3e7fffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1397 (void)
> +{
> +  return 0xfb7ffffffffffff2ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1398 (void)
> +{
> +  return 0xbffffffffffffdc6ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1399 (void)
> +{
> +  return 0xfb7ffffffffffff6ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1400 (void)
> +{
> +  return 0xedffffffffffffdbULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1401 (void)
> +{
> +  return 0x3d9c3fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1402 (void)
> +{
> +  return 0x7f817fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1403 (void)
> +{
> +  return 0x0fe53fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1404 (void)
> +{
> +  return 0x002dfe3fffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1405 (void)
> +{
> +  return 0x077247ffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1406 (void)
> +{
> +  return 0x3fffffffffffd26fULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1407 (void)
> +{
> +  return 0x009d7fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1408 (void)
> +{
> +  return 0x3fffffffffffdfffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1409 (void)
> +{
> +  return 0x1fffffffffffbffdULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1410 (void)
> +{
> +  return 0x3be7bfffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1411 (void)
> +{
> +  return 0x03ffffffffffc8cfULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1412 (void)
> +{
> +  return 0x03ffffffffffb20fULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1413 (void)
> +{
> +  return 0x2cb3bfffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1414 (void)
> +{
> +  return 0x5d3b7fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1415 (void)
> +{
> +  return 0x0fffffffffffe615ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1416 (void)
> +{
> +  return 0x0fffffffffff9d7fULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1417 (void)
> +{
> +  return 0x5680ffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1418 (void)
> +{
> +  return 0x7fffffffffff8061ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1419 (void)
> +{
> +  return 0x00c2ffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1420 (void)
> +{
> +  return 0x0b307fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1421 (void)
> +{
> +  return 0x1fffffffffffc237ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1422 (void)
> +{
> +  return 0x08dc7fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1423 (void)
> +{
> +  return 0x1fffffffffff9759ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1424 (void)
> +{
> +  return 0x1fffffffffffc6fbULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1425 (void)
> +{
> +  return 0x3fffffffffffcf39ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1426 (void)
> +{
> +  return 0x1fffffffffff98e5ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1427 (void)
> +{
> +  return 0x31ca3fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1428 (void)
> +{
> +  return 0x7c9b7fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1429 (void)
> +{
> +  return 0x0fffffffffffd7ffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1430 (void)
> +{
> +  return 0x1fffffffffffefffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1431 (void)
> +{
> +  return 0x07eaffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1432 (void)
> +{
> +  return 0x07ff8fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1433 (void)
> +{
> +  return 0x7fffffffffffa741ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1434 (void)
> +{
> +  return 0x1fffffffffffe14bULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1435 (void)
> +{
> +  return 0x0a58ffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1436 (void)
> +{
> +  return 0x18f8dfffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1437 (void)
> +{
> +  return 0x0fffffffffffce97ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1438 (void)
> +{
> +  return 0x07fffffffffff41dULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1439 (void)
> +{
> +  return 0x0ffffffffffff4e1ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1440 (void)
> +{
> +  return 0x4e10ffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1441 (void)
> +{
> +  return 0x3c673fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1442 (void)
> +{
> +  return 0x1fffffffffffec7fULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1443 (void)
> +{
> +  return 0x7fffffffffffa47dULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1444 (void)
> +{
> +  return 0x56a4ffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1445 (void)
> +{
> +  return 0x7fffffffffffae55ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1446 (void)
> +{
> +  return 0x3fffffffffffbb79ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1447 (void)
> +{
> +  return 0x1fffffffffffe87fULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1448 (void)
> +{
> +  return 0x7fffffffffff8fffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1449 (void)
> +{
> +  return 0x7fffffffffffbe13ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1450 (void)
> +{
> +  return 0x1fffffffffffdf5bULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1451 (void)
> +{
> +  return 0x1fffffffffffeffbULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1452 (void)
> +{
> +  return 0x5beb7fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1453 (void)
> +{
> +  return 0x1a7f1fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1454 (void)
> +{
> +  return 0x07ffffffffffefffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1455 (void)
> +{
> +  return 0x7fffffffffffb5bfULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1456 (void)
> +{
> +  return 0x3fffffffffffd5a3ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1457 (void)
> +{
> +  return 0x7fffffffffff8641ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1458 (void)
> +{
> +  return 0x78dd7fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1459 (void)
> +{
> +  return 0x7fffffffffffafffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1460 (void)
> +{
> +  return 0x1ff59fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1461 (void)
> +{
> +  return 0x12ffdfffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1462 (void)
> +{
> +  return 0x7fffffffffff8c3fULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1463 (void)
> +{
> +  return 0x03ffffffffffb87fULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1464 (void)
> +{
> +  return 0x1fffffffffffefc9ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1465 (void)
> +{
> +  return 0x7e48ffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1466 (void)
> +{
> +  return 0x1fffffffffffbffbULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1467 (void)
> +{
> +  return 0x03ffffffffffe2fdULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1468 (void)
> +{
> +  return 0x7fffffffffff957fULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1469 (void)
> +{
> +  return 0x3ffb7fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1470 (void)
> +{
> +  return 0x03c2bfffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1471 (void)
> +{
> +  return 0x3fffffffffffcd95ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1472 (void)
> +{
> +  return 0x7fffffffffff8cffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1473 (void)
> +{
> +  return 0x12bcffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1474 (void)
> +{
> +  return 0x1fffffffffffb7c9ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1475 (void)
> +{
> +  return 0x7fff7fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1476 (void)
> +{
> +  return 0x7fffffffffffbaa5ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1477 (void)
> +{
> +  return 0x4ee97fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1478 (void)
> +{
> +  return 0x00be7affffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1479 (void)
> +{
> +  return 0x27f97fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1480 (void)
> +{
> +  return 0x7b117fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1481 (void)
> +{
> +  return 0x07e67fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1482 (void)
> +{
> +  return 0x7fccffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1483 (void)
> +{
> +  return 0x0c69dfffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1484 (void)
> +{
> +  return 0x1fffffffffffa9a9ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1485 (void)
> +{
> +  return 0x7fffffffffffa939ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1486 (void)
> +{
> +  return 0x5272ffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1487 (void)
> +{
> +  return 0x3fffffffffffddffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1488 (void)
> +{
> +  return 0x003ffffffffffe1fULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1489 (void)
> +{
> +  return 0x7fffffffffffa8cbULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1490 (void)
> +{
> +  return 0x36757fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1491 (void)
> +{
> +  return 0x3fffffffffffcfffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1492 (void)
> +{
> +  return 0x1fffffffffffdc7fULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1493 (void)
> +{
> +  return 0x3fffffffffff964bULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1494 (void)
> +{
> +  return 0x7fffffffffffbad9ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1495 (void)
> +{
> +  return 0x1fffffffffffa639ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1496 (void)
> +{
> +  return 0x4328ffffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1497 (void)
> +{
> +  return 0x3fffffffffffd2fbULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1498 (void)
> +{
> +  return 0x3fffffffffffca8dULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1499 (void)
> +{
> +  return 0x7fffffffffff8dc3ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1500 (void)
> +{
> +  return 0x27d13fffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1501 (void)
> +{
> +  return 0x00000000807b0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1502 (void)
> +{
> +  return 0x0000000180000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1503 (void)
> +{
> +  return 0x0000000090650000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1504 (void)
> +{
> +  return 0xfffd0000ffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1505 (void)
> +{
> +  return 0x000000009ddf0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1506 (void)
> +{
> +  return 0x0000000194280001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1507 (void)
> +{
> +  return 0x00000000fbf70000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1508 (void)
> +{
> +  return 0x00000000dc3f0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1509 (void)
> +{
> +  return 0x00000000f1050000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1510 (void)
> +{
> +  return 0x00000000ec110000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1511 (void)
> +{
> +  return 0x000000009c250000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1512 (void)
> +{
> +  return 0x000000009b470000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1513 (void)
> +{
> +  return 0x00000000a81d0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1514 (void)
> +{
> +  return 0x0000000140000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1515 (void)
> +{
> +  return 0x00000000e82d0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1516 (void)
> +{
> +  return 0x00000000f2590000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1517 (void)
> +{
> +  return 0x0000000090850000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1518 (void)
> +{
> +  return 0x0000000200000003ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1519 (void)
> +{
> +  return 0x00000000802b0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1520 (void)
> +{
> +  return 0x000000010fe80001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1521 (void)
> +{
> +  return 0x00000000a0010000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1522 (void)
> +{
> +  return 0x00000000f1ad0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1523 (void)
> +{
> +  return 0x00000000c8570000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1524 (void)
> +{
> +  return 0x00000000a2030000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1525 (void)
> +{
> +  return 0x00000000c41b0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1526 (void)
> +{
> +  return 0x00000000b0430000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1527 (void)
> +{
> +  return 0x00000000b5110000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1528 (void)
> +{
> +  return 0x00000000f1010000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1529 (void)
> +{
> +  return 0x00000000e7c30000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1530 (void)
> +{
> +  return 0x0000000080010000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1531 (void)
> +{
> +  return 0x0000000080cd0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1532 (void)
> +{
> +  return 0x00000000a3ff0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1533 (void)
> +{
> +  return 0x00000000b0330000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1534 (void)
> +{
> +  return 0x00000000de110000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1535 (void)
> +{
> +  return 0x0000000080050000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1536 (void)
> +{
> +  return 0x000000017e700001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1537 (void)
> +{
> +  return 0x00000000c2350000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1538 (void)
> +{
> +  return 0x0000000168000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1539 (void)
> +{
> +  return 0x000000009f4b0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1540 (void)
> +{
> +  return 0x0000000500000007ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1541 (void)
> +{
> +  return 0x0000000168200001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1542 (void)
> +{
> +  return 0x00000000826b0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1543 (void)
> +{
> +  return 0x00000001e6000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1544 (void)
> +{
> +  return 0x0000000342000003ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1545 (void)
> +{
> +  return 0x00000000af590000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1546 (void)
> +{
> +  return 0x00000000886f0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1547 (void)
> +{
> +  return 0x0000000310000003ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1548 (void)
> +{
> +  return 0x00000000a0070000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1549 (void)
> +{
> +  return 0x00000000cb0b0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1550 (void)
> +{
> +  return 0x00000001c8000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1551 (void)
> +{
> +  return 0x0000000388000003ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1552 (void)
> +{
> +  return 0x00000000b09f0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1553 (void)
> +{
> +  return 0x00000000e06b0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1554 (void)
> +{
> +  return 0x00000000c1750000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1555 (void)
> +{
> +  return 0x00000000eb0b0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1556 (void)
> +{
> +  return 0x0000000089270000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1557 (void)
> +{
> +  return 0x0000000260000003ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1558 (void)
> +{
> +  return 0x00000000c2ff0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1559 (void)
> +{
> +  return 0x000000008ddd0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1560 (void)
> +{
> +  return 0x00000000ab5f0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1561 (void)
> +{
> +  return 0x0000000083a30000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1562 (void)
> +{
> +  return 0x0000000090370000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1563 (void)
> +{
> +  return 0x0000000081810000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1564 (void)
> +{
> +  return 0x00000000b9110000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1565 (void)
> +{
> +  return 0x00000000cc010000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1566 (void)
> +{
> +  return 0x00000002cf000003ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1567 (void)
> +{
> +  return 0x00000000e2390000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1568 (void)
> +{
> +  return 0x000000064a000007ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1569 (void)
> +{
> +  return 0x00000001a0000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1570 (void)
> +{
> +  return 0x0000000086110000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1571 (void)
> +{
> +  return 0x00000000e0050000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1572 (void)
> +{
> +  return 0x0000000188000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1573 (void)
> +{
> +  return 0x00000000c0290000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1574 (void)
> +{
> +  return 0x0000000091670000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1575 (void)
> +{
> +  return 0x0000000144000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1576 (void)
> +{
> +  return 0x000000008c0d0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1577 (void)
> +{
> +  return 0x00000000c0150000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1578 (void)
> +{
> +  return 0x00000002a1d00003ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1579 (void)
> +{
> +  return 0x00000000ccad0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1580 (void)
> +{
> +  return 0x00000002e9200003ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1581 (void)
> +{
> +  return 0x0000000080210000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1582 (void)
> +{
> +  return 0x00000000aca90000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1583 (void)
> +{
> +  return 0x0000000a7100000fULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1584 (void)
> +{
> +  return 0x00000000fcd50000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1585 (void)
> +{
> +  return 0x0000000098010000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1586 (void)
> +{
> +  return 0x00000001fc000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1587 (void)
> +{
> +  return 0x00000000e5670000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1588 (void)
> +{
> +  return 0x0000000085090000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1589 (void)
> +{
> +  return 0x00000000fdb30000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1590 (void)
> +{
> +  return 0x00000000da030000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1591 (void)
> +{
> +  return 0x00000000a0030000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1592 (void)
> +{
> +  return 0x00000000c7310000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1593 (void)
> +{
> +  return 0x00000000b9f90000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1594 (void)
> +{
> +  return 0x00000000bf810000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1595 (void)
> +{
> +  return 0x00000000d1010000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1596 (void)
> +{
> +  return 0x00000000a4f90000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1597 (void)
> +{
> +  return 0x0000000098070000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1598 (void)
> +{
> +  return 0x000000035d800003ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1599 (void)
> +{
> +  return 0x000000008f990000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1600 (void)
> +{
> +  return 0x00000000c4070000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1601 (void)
> +{
> +  return 0xfe11800000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1602 (void)
> +{
> +  return 0xffffff5ffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1603 (void)
> +{
> +  return 0xffffffcd99fffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1604 (void)
> +{
> +  return 0xffffeefffffffc00ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1605 (void)
> +{
> +  return 0xffffffccfffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1606 (void)
> +{
> +  return 0xead1e00000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1607 (void)
> +{
> +  return 0xb500e00000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1608 (void)
> +{
> +  return 0xffffccd6fffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1609 (void)
> +{
> +  return 0xffffffff5ffffff8ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1610 (void)
> +{
> +  return 0xfffffffd9ffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1611 (void)
> +{
> +  return 0xfffffff9afffffe0ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1612 (void)
> +{
> +  return 0xffffff97e7fffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1613 (void)
> +{
> +  return 0xfffffa79fffffff8ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1614 (void)
> +{
> +  return 0x8005c00000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1615 (void)
> +{
> +  return 0xffffffcdfffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1616 (void)
> +{
> +  return 0xffffff806ffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1617 (void)
> +{
> +  return 0xffffaffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1618 (void)
> +{
> +  return 0xe000c00000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1619 (void)
> +{
> +  return 0xe1fec00000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1620 (void)
> +{
> +  return 0xfffffffd757ffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1621 (void)
> +{
> +  return 0xd3defffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1622 (void)
> +{
> +  return 0xfffffcfffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1623 (void)
> +{
> +  return 0xaa82c00000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1624 (void)
> +{
> +  return 0xffffff7ffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1625 (void)
> +{
> +  return 0xfffffffb3ffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1626 (void)
> +{
> +  return 0xfffffffdda5ffff8ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1627 (void)
> +{
> +  return 0xfffffa4feffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1628 (void)
> +{
> +  return 0xfffff8257ffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1629 (void)
> +{
> +  return 0xfffef4ffffffff00ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1630 (void)
> +{
> +  return 0xffffffff39fffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1631 (void)
> +{
> +  return 0xfffff957dffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1632 (void)
> +{
> +  return 0xffffffeefffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1633 (void)
> +{
> +  return 0xfffffffefffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1634 (void)
> +{
> +  return 0xfffffefffffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1635 (void)
> +{
> +  return 0xffffffd7bffffff0ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1636 (void)
> +{
> +  return 0xe3cca00000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1637 (void)
> +{
> +  return 0xffffffebfffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1638 (void)
> +{
> +  return 0xffffff3ffffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1639 (void)
> +{
> +  return 0xf800200000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1640 (void)
> +{
> +  return 0xffff3dfffffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1641 (void)
> +{
> +  return 0x8d8aff0000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1642 (void)
> +{
> +  return 0xffffcbfffffffff0ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1643 (void)
> +{
> +  return 0xe0d6800000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1644 (void)
> +{
> +  return 0xfffff4921ffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1645 (void)
> +{
> +  return 0xfff2b7fffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1646 (void)
> +{
> +  return 0xffff845ffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1647 (void)
> +{
> +  return 0xffffe0c5fffffff0ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1648 (void)
> +{
> +  return 0xfffffc4ffffffff8ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1649 (void)
> +{
> +  return 0xa219000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1650 (void)
> +{
> +  return 0xe51d7ffffffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1651 (void)
> +{
> +  return 0xffc041fffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1652 (void)
> +{
> +  return 0xffff751ffffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1653 (void)
> +{
> +  return 0xf319000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1654 (void)
> +{
> +  return 0xfffffddffffffff8ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1655 (void)
> +{
> +  return 0xfffffff65ffffff0ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1656 (void)
> +{
> +  return 0xa261000000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1657 (void)
> +{
> +  return 0xfffffaeafffffff0ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1658 (void)
> +{
> +  return 0xffff7c5ffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1659 (void)
> +{
> +  return 0xffffbffffffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1660 (void)
> +{
> +  return 0xfffff57ffffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1661 (void)
> +{
> +  return 0xfffa33fffffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1662 (void)
> +{
> +  return 0xfffffffe111ffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1663 (void)
> +{
> +  return 0xfffffffe8ffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1664 (void)
> +{
> +  return 0xfffffffc4b4ffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1665 (void)
> +{
> +  return 0x5c09c00000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1666 (void)
> +{
> +  return 0xfffff7fffffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1667 (void)
> +{
> +  return 0xfffffffc67fffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1668 (void)
> +{
> +  return 0xffff17fffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1669 (void)
> +{
> +  return 0xfffffff2e7fffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1670 (void)
> +{
> +  return 0xffffffff57fffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1671 (void)
> +{
> +  return 0xffe1bdfffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1672 (void)
> +{
> +  return 0x8cce800000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1673 (void)
> +{
> +  return 0x326dc00000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1674 (void)
> +{
> +  return 0xffff87fffffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1675 (void)
> +{
> +  return 0xffffe0fffffffff8ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1676 (void)
> +{
> +  return 0xfbf4c00000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1677 (void)
> +{
> +  return 0xfffffffe937ffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1678 (void)
> +{
> +  return 0xfffffff937fffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1679 (void)
> +{
> +  return 0xd9bf7ffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1680 (void)
> +{
> +  return 0xa800800000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1681 (void)
> +{
> +  return 0x28c5c00000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1682 (void)
> +{
> +  return 0xec31800000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1683 (void)
> +{
> +  return 0x4f39fffffffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1684 (void)
> +{
> +  return 0xfff60bfffffffff8ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1685 (void)
> +{
> +  return 0xffffd7fffffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1686 (void)
> +{
> +  return 0xffffffff5ffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1687 (void)
> +{
> +  return 0x7781c00000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1688 (void)
> +{
> +  return 0x43f1fffffffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1689 (void)
> +{
> +  return 0xfffdaffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1690 (void)
> +{
> +  return 0xffffc7fffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1691 (void)
> +{
> +  return 0xfffffff8bffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1692 (void)
> +{
> +  return 0xffffffff53dffff8ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1693 (void)
> +{
> +  return 0xfffffff21ffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1694 (void)
> +{
> +  return 0xfffffffdfffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1695 (void)
> +{
> +  return 0xb281800000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1696 (void)
> +{
> +  return 0xfffffffacb7fffe0ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1697 (void)
> +{
> +  return 0xfffffff7fffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1698 (void)
> +{
> +  return 0xfffffffdeffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1699 (void)
> +{
> +  return 0xf227dffffffffffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1700 (void)
> +{
> +  return 0xfff3c4fffffffffcULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1701 (void)
> +{
> +  return 0x00d0000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1702 (void)
> +{
> +  return 0x0de20001c0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1703 (void)
> +{
> +  return 0x08c00001e0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1704 (void)
> +{
> +  return 0x1800000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1705 (void)
> +{
> +  return 0xfd68000006000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1706 (void)
> +{
> +  return 0x0040000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1707 (void)
> +{
> +  return 0x0ed8000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1708 (void)
> +{
> +  return 0x00b8000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1709 (void)
> +{
> +  return 0x4000000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1710 (void)
> +{
> +  return 0x000c000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1711 (void)
> +{
> +  return 0x001e0001fc000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1712 (void)
> +{
> +  return 0x9e000000e0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1713 (void)
> +{
> +  return 0x3e40000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1714 (void)
> +{
> +  return 0x0200000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1715 (void)
> +{
> +  return 0x06000001f0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1716 (void)
> +{
> +  return 0x01800001c0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1717 (void)
> +{
> +  return 0x2900000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1718 (void)
> +{
> +  return 0x0018000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1719 (void)
> +{
> +  return 0x3140000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1720 (void)
> +{
> +  return 0x0bc0000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1721 (void)
> +{
> +  return 0x1840000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1722 (void)
> +{
> +  return 0x0b300001c0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1723 (void)
> +{
> +  return 0x2800000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1724 (void)
> +{
> +  return 0x34000001c0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1725 (void)
> +{
> +  return 0x0400000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1726 (void)
> +{
> +  return 0x6800000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1727 (void)
> +{
> +  return 0x14000001e0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1728 (void)
> +{
> +  return 0x00d4000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1729 (void)
> +{
> +  return 0x5000000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1730 (void)
> +{
> +  return 0x0642000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1731 (void)
> +{
> +  return 0x015a000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1732 (void)
> +{
> +  return 0x00040001e0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1733 (void)
> +{
> +  return 0x00d0000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1734 (void)
> +{
> +  return 0x1140000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1735 (void)
> +{
> +  return 0x14980001c0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1736 (void)
> +{
> +  return 0x4c00000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1737 (void)
> +{
> +  return 0x6000000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1738 (void)
> +{
> +  return 0x48a8000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1739 (void)
> +{
> +  return 0x0770000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1740 (void)
> +{
> +  return 0x157a0001e0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1741 (void)
> +{
> +  return 0x10920001c0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1742 (void)
> +{
> +  return 0x00a00001fc000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1743 (void)
> +{
> +  return 0x15400001c0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1744 (void)
> +{
> +  return 0x0800000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1745 (void)
> +{
> +  return 0x3e80000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1746 (void)
> +{
> +  return 0x01b4000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1747 (void)
> +{
> +  return 0x4500000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1748 (void)
> +{
> +  return 0x86000000c0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1749 (void)
> +{
> +  return 0x02000001e0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1750 (void)
> +{
> +  return 0x0020000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1751 (void)
> +{
> +  return 0x0030000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1752 (void)
> +{
> +  return 0x02ec000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1753 (void)
> +{
> +  return 0x0070000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1754 (void)
> +{
> +  return 0x0d6c000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1755 (void)
> +{
> +  return 0x000c000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1756 (void)
> +{
> +  return 0xc000000040000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1757 (void)
> +{
> +  return 0x3c00000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1758 (void)
> +{
> +  return 0x01800001e0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1759 (void)
> +{
> +  return 0x0640000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1760 (void)
> +{
> +  return 0xbb40000080000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1761 (void)
> +{
> +  return 0x01f0000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1762 (void)
> +{
> +  return 0x00020001e0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1763 (void)
> +{
> +  return 0x02e4000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1764 (void)
> +{
> +  return 0x00d8000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1765 (void)
> +{
> +  return 0x00a8000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1766 (void)
> +{
> +  return 0x2c30000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1767 (void)
> +{
> +  return 0xb200000080000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1768 (void)
> +{
> +  return 0x36000001e0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1769 (void)
> +{
> +  return 0x0080000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1770 (void)
> +{
> +  return 0xac00000080000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1771 (void)
> +{
> +  return 0x0360000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1772 (void)
> +{
> +  return 0x00e2000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1773 (void)
> +{
> +  return 0x416e000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1774 (void)
> +{
> +  return 0x0090000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1775 (void)
> +{
> +  return 0x2000000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1776 (void)
> +{
> +  return 0x0d60000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1777 (void)
> +{
> +  return 0xf46400001e000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1778 (void)
> +{
> +  return 0x0140000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1779 (void)
> +{
> +  return 0xa7000000e0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1780 (void)
> +{
> +  return 0x00400001c0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1781 (void)
> +{
> +  return 0x003a000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1782 (void)
> +{
> +  return 0x3618000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1783 (void)
> +{
> +  return 0x18c0000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1784 (void)
> +{
> +  return 0x14c00001c0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1785 (void)
> +{
> +  return 0x3400000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1786 (void)
> +{
> +  return 0x08000001e0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1787 (void)
> +{
> +  return 0x43c0000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1788 (void)
> +{
> +  return 0x0d30000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1789 (void)
> +{
> +  return 0x6390000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1790 (void)
> +{
> +  return 0x5400000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1791 (void)
> +{
> +  return 0x1a00000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1792 (void)
> +{
> +  return 0x5a000001f8000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1793 (void)
> +{
> +  return 0x001c000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1794 (void)
> +{
> +  return 0x47e0000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1795 (void)
> +{
> +  return 0x0026000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1796 (void)
> +{
> +  return 0x01400001f0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1797 (void)
> +{
> +  return 0x005e000100000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1798 (void)
> +{
> +  return 0x08000001f0000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1799 (void)
> +{
> +  return 0x0fe0000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1800 (void)
> +{
> +  return 0x0274000180000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1801 (void)
> +{
> +  return 0x00000001580e0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1802 (void)
> +{
> +  return 0x00000000fe07c000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1803 (void)
> +{
> +  return 0x038eca0000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1804 (void)
> +{
> +  return 0x00000001001e0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1805 (void)
> +{
> +  return 0x00000001f7a60000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1806 (void)
> +{
> +  return 0x1f7a600000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1807 (void)
> +{
> +  return 0x00000001c0020000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1808 (void)
> +{
> +  return 0x0000000e00100000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1809 (void)
> +{
> +  return 0x0fffffffffff9000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1810 (void)
> +{
> +  return 0x0000000120060000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1811 (void)
> +{
> +  return 0x00000000fc02c000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1812 (void)
> +{
> +  return 0x0000003f00b00000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1813 (void)
> +{
> +  return 0x0003f00b00000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1814 (void)
> +{
> +  return 0x0000000120860000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1815 (void)
> +{
> +  return 0x0000000120020000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1816 (void)
> +{
> +  return 0x7fffffffffffbffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1817 (void)
> +{
> +  return 0x0000000110fe0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1818 (void)
> +{
> +  return 0x00000000dec18000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1819 (void)
> +{
> +  return 0x000000015ee20000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1820 (void)
> +{
> +  return 0x00000001b6020000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1821 (void)
> +{
> +  return 0x0001b60200000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1822 (void)
> +{
> +  return 0x00000001eece0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1823 (void)
> +{
> +  return 0x3fffffffffffc226ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1824 (void)
> +{
> +  return 0x0000000180320000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1825 (void)
> +{
> +  return 0x00000000f89f1000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1826 (void)
> +{
> +  return 0x00000000c5078000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1827 (void)
> +{
> +  return 0x0001cad780000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1828 (void)
> +{
> +  return 0x00000000d1a08000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1829 (void)
> +{
> +  return 0x0034682000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1830 (void)
> +{
> +  return 0x7fffffffffff4c22ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1831 (void)
> +{
> +  return 0x00000000c1818000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1832 (void)
> +{
> +  return 0x7fffffffffff3e7eULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1833 (void)
> +{
> +  return 0x0fffffffffffd0ceULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1834 (void)
> +{
> +  return 0x3fffffffffff37f6ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1835 (void)
> +{
> +  return 0x0000000138de0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1836 (void)
> +{
> +  return 0x000000014f560000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1837 (void)
> +{
> +  return 0x00000000fd1e8800ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1838 (void)
> +{
> +  return 0x00000001802e0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1839 (void)
> +{
> +  return 0x0001802e00000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1840 (void)
> +{
> +  return 0x00c0170000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1841 (void)
> +{
> +  return 0x00000001e87a0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1842 (void)
> +{
> +  return 0x0000000100020000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1843 (void)
> +{
> +  return 0x2000400000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1844 (void)
> +{
> +  return 0x00000001870a0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1845 (void)
> +{
> +  return 0x00000000f815b000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1846 (void)
> +{
> +  return 0x3fffffffffffa242ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1847 (void)
> +{
> +  return 0x000000017a0a0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1848 (void)
> +{
> +  return 0x0000000107860000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1849 (void)
> +{
> +  return 0x00000000c60d8000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1850 (void)
> +{
> +  return 0x6306c00000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1851 (void)
> +{
> +  return 0x7fffffffffff39f2ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1852 (void)
> +{
> +  return 0x000000015dfa0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1853 (void)
> +{
> +  return 0x00000000f1ee8000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1854 (void)
> +{
> +  return 0x00000001cc5a0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1855 (void)
> +{
> +  return 0x07ffffffffffc83eULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1856 (void)
> +{
> +  return 0x00000000fb6fa000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1857 (void)
> +{
> +  return 0x7fffffffffff6d0eULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1858 (void)
> +{
> +  return 0x7fffffffffff63eeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1859 (void)
> +{
> +  return 0x00000000ec9ec000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1860 (void)
> +{
> +  return 0x00000001a0020000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1861 (void)
> +{
> +  return 0x00000000fcf38000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1862 (void)
> +{
> +  return 0x3fffffffffff66baULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1863 (void)
> +{
> +  return 0x00000000ff758000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1864 (void)
> +{
> +  return 0x000000012c960000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1865 (void)
> +{
> +  return 0x0000000181ba0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1866 (void)
> +{
> +  return 0x00000001e4120000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1867 (void)
> +{
> +  return 0x00000000f0728000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1868 (void)
> +{
> +  return 0x7839400000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1869 (void)
> +{
> +  return 0x000000018e060000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1870 (void)
> +{
> +  return 0x0000063818000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1871 (void)
> +{
> +  return 0x0000000100060000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1872 (void)
> +{
> +  return 0x00001d0050000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1873 (void)
> +{
> +  return 0x00000000f0902000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1874 (void)
> +{
> +  return 0x00000000e0428000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1875 (void)
> +{
> +  return 0x0001c08500000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1876 (void)
> +{
> +  return 0x00000001d0120000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1877 (void)
> +{
> +  return 0x00000000f7418000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1878 (void)
> +{
> +  return 0x7fffffffffff7ffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1879 (void)
> +{
> +  return 0x00000000da368000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1880 (void)
> +{
> +  return 0x1800300000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1881 (void)
> +{
> +  return 0x3fffffffffff67faULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1882 (void)
> +{
> +  return 0x3fffffffffffbddaULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1883 (void)
> +{
> +  return 0x00000000ec80c000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1884 (void)
> +{
> +  return 0x00000000f505c000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1885 (void)
> +{
> +  return 0x00000002000c0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1886 (void)
> +{
> +  return 0x00000000fc108000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1887 (void)
> +{
> +  return 0x00000000cd408000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1888 (void)
> +{
> +  return 0x00000001b6860000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1889 (void)
> +{
> +  return 0x000000010aaa0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1890 (void)
> +{
> +  return 0x0000000181860000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1891 (void)
> +{
> +  return 0x3fffffffffffbffeULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1892 (void)
> +{
> +  return 0x00000000f083c000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1893 (void)
> +{
> +  return 0x07ffffffffffd27eULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1894 (void)
> +{
> +  return 0x00000001b21e0000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1895 (void)
> +{
> +  return 0x00d90f0000000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1896 (void)
> +{
> +  return 0x1fffffffffffe4deULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1897 (void)
> +{
> +  return 0x00000000f9652000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1898 (void)
> +{
> +  return 0x00000000f77b8000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1899 (void)
> +{
> +  return 0x000e3c0800000000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1900 (void)
> +{
> +  return 0x00000000df008000ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1901 (void)
> +{
> +  return 0xbe01000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1902 (void)
> +{
> +  return 0xf451400000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1903 (void)
> +{
> +  return 0xfa93c00000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1904 (void)
> +{
> +  return 0xfe056c3fffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1905 (void)
> +{
> +  return 0xf227400000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1906 (void)
> +{
> +  return 0x41aa000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1907 (void)
> +{
> +  return 0xd855800000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1908 (void)
> +{
> +  return 0xe600c00000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1909 (void)
> +{
> +  return 0xffffffff69883fffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1910 (void)
> +{
> +  return 0xf206000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1911 (void)
> +{
> +  return 0x6ac2000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1912 (void)
> +{
> +  return 0xf802000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1913 (void)
> +{
> +  return 0xffffffff22ba0fffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1914 (void)
> +{
> +  return 0xe565000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1915 (void)
> +{
> +  return 0xff401c0000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1916 (void)
> +{
> +  return 0x136e000000000003ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1917 (void)
> +{
> +  return 0x50fe000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1918 (void)
> +{
> +  return 0xffffabc07fffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1919 (void)
> +{
> +  return 0xffffffff75b07fffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1920 (void)
> +{
> +  return 0xffffff75b07fffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1921 (void)
> +{
> +  return 0xfffffeeb60ffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1922 (void)
> +{
> +  return 0x681e000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1923 (void)
> +{
> +  return 0xa68b000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1924 (void)
> +{
> +  return 0x2002000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1925 (void)
> +{
> +  return 0x5c2e000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1926 (void)
> +{
> +  return 0x844400000000000fULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1927 (void)
> +{
> +  return 0xf088800000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1928 (void)
> +{
> +  return 0xc199000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1929 (void)
> +{
> +  return 0xa40e000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1930 (void)
> +{
> +  return 0xffffffff7e307fffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1931 (void)
> +{
> +  return 0xf21cc00000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1932 (void)
> +{
> +  return 0x8ffe000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1933 (void)
> +{
> +  return 0xffffffff7f003fffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1934 (void)
> +{
> +  return 0xffffbf801fffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1935 (void)
> +{
> +  return 0xffffffff613e7fffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1936 (void)
> +{
> +  return 0xfffffffb09f3ffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1937 (void)
> +{
> +  return 0x003c000000000003ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1938 (void)
> +{
> +  return 0x058e000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1939 (void)
> +{
> +  return 0xa092000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1940 (void)
> +{
> +  return 0xaa5d000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1941 (void)
> +{
> +  return 0xffffffff58fe0fffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1942 (void)
> +{
> +  return 0xae4d000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1943 (void)
> +{
> +  return 0x7332000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1944 (void)
> +{
> +  return 0xfd199bffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1945 (void)
> +{
> +  return 0xffffffff3faaffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1946 (void)
> +{
> +  return 0x0004000000000007ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1947 (void)
> +{
> +  return 0xc001000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1948 (void)
> +{
> +  return 0x078a000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1949 (void)
> +{
> +  return 0x62f6000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1950 (void)
> +{
> +  return 0x0992000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1951 (void)
> +{
> +  return 0xc189800000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1952 (void)
> +{
> +  return 0xe106000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1953 (void)
> +{
> +  return 0xffffffff4c5e7fffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1954 (void)
> +{
> +  return 0xd21e000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1955 (void)
> +{
> +  return 0xf000200000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1956 (void)
> +{
> +  return 0xffffffff6af20fffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1957 (void)
> +{
> +  return 0xf93691ffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1958 (void)
> +{
> +  return 0xffffffff69da0fffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1959 (void)
> +{
> +  return 0x740a000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1960 (void)
> +{
> +  return 0x8901000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1961 (void)
> +{
> +  return 0xffffffe7f60fffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1962 (void)
> +{
> +  return 0xffffffff7b903fffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1963 (void)
> +{
> +  return 0xfff7b903ffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1964 (void)
> +{
> +  return 0x0cfa000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1965 (void)
> +{
> +  return 0xffffffff5fc07fffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1966 (void)
> +{
> +  return 0x8002000000000003ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1967 (void)
> +{
> +  return 0x986a000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1968 (void)
> +{
> +  return 0x001800000000003fULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1969 (void)
> +{
> +  return 0x43da000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1970 (void)
> +{
> +  return 0x0006000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1971 (void)
> +{
> +  return 0xfb41000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1972 (void)
> +{
> +  return 0xfffffffd64083fffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1973 (void)
> +{
> +  return 0xad26000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1974 (void)
> +{
> +  return 0x4c6800000000000fULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1975 (void)
> +{
> +  return 0xe635400000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1976 (void)
> +{
> +  return 0xffffffff47fe7fffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1977 (void)
> +{
> +  return 0xffffffff563e7fffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1978 (void)
> +{
> +  return 0xc40a800000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1979 (void)
> +{
> +  return 0xe6e7400000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1980 (void)
> +{
> +  return 0xcdce800000000003ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1981 (void)
> +{
> +  return 0xa8cd000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1982 (void)
> +{
> +  return 0x13f6000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1983 (void)
> +{
> +  return 0xffffffff3ff200ffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1984 (void)
> +{
> +  return 0x02aa000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1985 (void)
> +{
> +  return 0x000a000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1986 (void)
> +{
> +  return 0xffffffff7ffaffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1987 (void)
> +{
> +  return 0xb681000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1988 (void)
> +{
> +  return 0x0034000000000003ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1989 (void)
> +{
> +  return 0xffffff9ff97fffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1990 (void)
> +{
> +  return 0xfffffffefff5ffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1991 (void)
> +{
> +  return 0xd707000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1992 (void)
> +{
> +  return 0xfe28f8ffffffffffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1993 (void)
> +{
> +  return 0xffffffff7f963fffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1994 (void)
> +{
> +  return 0xd803000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1995 (void)
> +{
> +  return 0xffffffff3ff63fffULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1996 (void)
> +{
> +  return 0xda1e000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1997 (void)
> +{
> +  return 0xf3a3800000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1998 (void)
> +{
> +  return 0x1e0e000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c1999 (void)
> +{
> +  return 0xb7c6000000000001ULL;
> +}
> +unsigned long long __attribute__ ((__noinline__, __noclone__))
> +c2000 (void)
> +{
> +  return 0x36ba000000000001ULL;
> +}
> diff --git a/gcc/testsuite/gcc.target/powerpc/rot_cst1.c b/gcc/testsuite/gcc.target/powerpc/rot_cst1.c
> new file mode 100644
> index 00000000000..d7781cf8ac7
> --- /dev/null
> +++ b/gcc/testsuite/gcc.target/powerpc/rot_cst1.c
> @@ -0,0 +1,1077 @@
> +/* { dg-do run } */
> +/* { dg-options "-O2" } */
> +
> +#include "rot_cst.h"
> +
> +struct fun {
> +  unsigned long long (*f) (void);
> +  unsigned long long val;
> +};
> +
> +volatile struct fun values[] = {
> +  { c1,  0xc000000000000000ULL },
> +  { c2,  0x0c00000000000000ULL },
> +  { c3,  0x00c0000000000000ULL },
> +  { c4,  0x000c000000000000ULL },
> +  { c5,  0x0000c00000000000ULL },
> +  { c6,  0x00000c0000000000ULL },
> +  { c7,  0x000000c000000000ULL },
> +  { c8,  0x0000000c00000000ULL },
> +  { c9,  0x00000000c0000000ULL },
> +  { c10, 0x000000000c000000ULL },
> +  { c11, 0x0000000000c00000ULL },
> +  { c12, 0x00000000000c0000ULL },
> +  { c13, 0x000000000000c000ULL },
> +  { c14, 0x0000000000000c00ULL },
> +  { c15, 0x00000000000000c0ULL },
> +  { c16, 0x000000000000000cULL },
> +  { c17, 0xbfffffffffffffffULL },
> +  { c18, 0x0bffffffffffffffULL },
> +  { c19, 0x00bfffffffffffffULL },
> +  { c20, 0x000bffffffffffffULL },
> +  { c21, 0x0000bfffffffffffULL },
> +  { c22, 0x00000bffffffffffULL },
> +  { c23, 0x000000bfffffffffULL },
> +  { c24, 0x0000000bffffffffULL },
> +  { c25, 0x00000000bfffffffULL },
> +  { c26, 0x000000000bffffffULL },
> +  { c27, 0x0000000000bfffffULL },
> +  { c28, 0x00000000000bffffULL },
> +  { c29, 0x000000000000bfffULL },
> +  { c30, 0x0000000000000bffULL },
> +  { c31, 0x00000000000000bfULL },
> +  { c32, 0x000000000000000bULL },
> +  { c33, -0x124ULL << 48 },
> +  { c34, -0x124ULL << 44 },
> +  { c35, -0x124ULL << 40 },
> +  { c36, -0x124ULL << 32 },
> +  { c37, -0x124ULL << 28 },
> +  { c38, -0x124ULL << 24 },
> +  { c39, -0x124ULL << 20 },
> +  { c40, -0x124ULL << 16 },
> +  { c41, -0x124ULL << 12 },
> +  { c42, -0x124ULL << 8 },
> +  { c43, -0x124ULL << 4 },
> +  { c44, -0x124ULL << 0 },
> +  { c45, 0x00ffffffffffff00ULL },
> +  { c46, 0x00ffffffff000000ULL },
> +  { c47, 0x00ffff0000000000ULL },
> +  { c48, 0xffffff0000000000ULL },
> +  { c49, 0xffffff000000ffffULL },
> +  { c50, 0x8000000000000003ULL },
> +  { c51, 0x8051000000000001ULL },
> +  { c52, 0x80510fffffffffffULL },
> +  { c53, 0xff00020000ffffffULL },
> +  { c54, 0x000089ab0000ffffULL },
> +  { c1001, 0x0000002400000000ULL },
> +  { c1002, 0x000001e350000000ULL },
> +  { c1003, 0x2460000000000000ULL },
> +  { c1004, 0x00000000d9000000ULL },
> +  { c1005, 0x00000d9000000000ULL },
> +  { c1006, 0x000000a800000000ULL },
> +  { c1007, 0x8000000000000000ULL },
> +  { c1008, 0x000000008b420000ULL },
> +  { c1009, 0x00000000f4000000ULL },
> +  { c1010, 0x00000000d5660000ULL },
> +  { c1011, 0x001fe00000000000ULL },
> +  { c1012, 0x0b00000000000000ULL },
> +  { c1013, 0x00000000a3f00000ULL },
> +  { c1014, 0x00000000b2200000ULL },
> +  { c1015, 0x0000204000000000ULL },
> +  { c1016, 0x83c0000000000000ULL },
> +  { c1017, 0x00000037a4000000ULL },
> +  { c1018, 0x00000000a1000000ULL },
> +  { c1019, 0x00024c0000000000ULL },
> +  { c1020, 0x0000069200000000ULL },
> +  { c1021, 0x00000000df300000ULL },
> +  { c1022, 0x000000037cc00000ULL },
> +  { c1023, 0x0000017c00000000ULL },
> +  { c1024, 0x30a0000000000000ULL },
> +  { c1025, 0x0000004680000000ULL },
> +  { c1026, 0x0000000160000000ULL },
> +  { c1027, 0x0000001600000000ULL },
> +  { c1028, 0x00000000c0e80000ULL },
> +  { c1029, 0x0000006074000000ULL },
> +  { c1030, 0x0017f60000000000ULL },
> +  { c1031, 0x00000000d8180000ULL },
> +  { c1032, 0x06c0c00000000000ULL },
> +  { c1033, 0x00000000e2c00000ULL },
> +  { c1034, 0x00000000cb900000ULL },
> +  { c1035, 0x00000000a0800000ULL },
> +  { c1036, 0x163a000000000000ULL },
> +  { c1037, 0x0000000b1d000000ULL },
> +  { c1038, 0x00000000c7980000ULL },
> +  { c1039, 0x00000000ccc00000ULL },
> +  { c1040, 0x0000001efa000000ULL },
> +  { c1041, 0x0004020000000000ULL },
> +  { c1042, 0x0054000000000000ULL },
> +  { c1043, 0x0000002806000000ULL },
> +  { c1044, 0x00000000e4000000ULL },
> +  { c1045, 0x0000390000000000ULL },
> +  { c1046, 0x0000000200000000ULL },
> +  { c1047, 0x0000003900000000ULL },
> +  { c1048, 0x001c800000000000ULL },
> +  { c1049, 0x1452000000000000ULL },
> +  { c1050, 0x00000c8000000000ULL },
> +  { c1051, 0x00000000d6500000ULL },
> +  { c1052, 0x0000000093000000ULL },
> +  { c1053, 0x00000000e87c0000ULL },
> +  { c1054, 0x0000000a08000000ULL },
> +  { c1055, 0x00000001d8000000ULL },
> +  { c1056, 0x00000000dc060000ULL },
> +  { c1057, 0x00000000f3a00000ULL },
> +  { c1058, 0x000000079d000000ULL },
> +  { c1059, 0x001e740000000000ULL },
> +  { c1060, 0x79d0000000000000ULL },
> +  { c1061, 0x2000000000000000ULL },
> +  { c1062, 0x8f80000000000000ULL },
> +  { c1063, 0x060d800000000000ULL },
> +  { c1064, 0xffc2000000000000ULL },
> +  { c1065, 0x00000000e0000000ULL },
> +  { c1066, 0x1c00000000000000ULL },
> +  { c1067, 0x05c6000000000000ULL },
> +  { c1068, 0x00000000e2000000ULL },
> +  { c1069, 0x00000000d0100000ULL },
> +  { c1070, 0x3404000000000000ULL },
> +  { c1071, 0x00000000a2140000ULL },
> +  { c1072, 0x0000000300c00000ULL },
> +  { c1073, 0x00000000d0000000ULL },
> +  { c1074, 0x0000012800000000ULL },
> +  { c1075, 0x00000004a0000000ULL },
> +  { c1076, 0x0000580000000000ULL },
> +  { c1077, 0x02c0000000000000ULL },
> +  { c1078, 0x00000000c0000000ULL },
> +  { c1079, 0x0000600000000000ULL },
> +  { c1080, 0x0000030ca0000000ULL },
> +  { c1081, 0x0003f6c000000000ULL },
> +  { c1082, 0x0000000090000000ULL },
> +  { c1083, 0x00000340d8000000ULL },
> +  { c1084, 0x00000000fbc00000ULL },
> +  { c1085, 0x00000000cf060000ULL },
> +  { c1086, 0x00000000a8040000ULL },
> +  { c1087, 0x00000000803e0000ULL },
> +  { c1088, 0x00000000ca000000ULL },
> +  { c1089, 0x00000000915c0000ULL },
> +  { c1090, 0x0000122b80000000ULL },
> +  { c1091, 0x00000002c0000000ULL },
> +  { c1092, 0x0000000083000000ULL },
> +  { c1093, 0x0030000000000000ULL },
> +  { c1094, 0x0300000000000000ULL },
> +  { c1095, 0x00000d9800000000ULL },
> +  { c1096, 0x0036600000000000ULL },
> +  { c1097, 0x0000002e7a000000ULL },
> +  { c1098, 0x00000000e2480000ULL },
> +  { c1099, 0x00e2480000000000ULL },
> +  { c1100, 0x001a000000000000ULL },
> +  { c1101, 0xac00000000000070ULL },
> +  { c1102, 0xc2b0000000000001ULL },
> +  { c1103, 0x90000000000000f7ULL },
> +  { c1104, 0xa540000000000001ULL },
> +  { c1105, 0x0ac000000000000bULL },
> +  { c1106, 0x0a80000000000001ULL },
> +  { c1107, 0x4400000000000001ULL },
> +  { c1108, 0xb600000000000002ULL },
> +  { c1109, 0x5b00000000000001ULL },
> +  { c1110, 0x0030000000000001ULL },
> +  { c1111, 0x8000000000000001ULL },
> +  { c1112, 0x800000000000399dULL },
> +  { c1113, 0xd660000000000001ULL },
> +  { c1114, 0x7800000000000074ULL },
> +  { c1115, 0xa600000000000001ULL },
> +  { c1116, 0xd500000000000001ULL },
> +  { c1117, 0x0018000000000001ULL },
> +  { c1118, 0x800000000000000fULL },
> +  { c1119, 0xdb80000000000008ULL },
> +  { c1120, 0x30000000000003a7ULL },
> +  { c1121, 0x4000000000000001ULL },
> +  { c1122, 0x098000000000000cULL },
> +  { c1123, 0x5000000000000001ULL },
> +  { c1124, 0x47a000000000000dULL },
> +  { c1125, 0xa8f4000000000001ULL },
> +  { c1126, 0x7278000000000001ULL },
> +  { c1127, 0x5800000000000001ULL },
> +  { c1128, 0x310000000000002fULL },
> +  { c1129, 0x7988000000000001ULL },
> +  { c1130, 0x6200000000000001ULL },
> +  { c1131, 0xe000000000000001ULL },
> +  { c1132, 0xe0000000000000f7ULL },
> +  { c1133, 0x100000000000059fULL },
> +  { c1134, 0xdc00000000000001ULL },
> +  { c1135, 0x3000000000000001ULL },
> +  { c1136, 0x4100000000000001ULL },
> +  { c1137, 0x5c00000000000001ULL },
> +  { c1138, 0xc000000000000001ULL },
> +  { c1139, 0xd280000000000001ULL },
> +  { c1140, 0x3400000000000049ULL },
> +  { c1141, 0x24d0000000000001ULL },
> +  { c1142, 0x80000000000000faULL },
> +  { c1143, 0x6000000000000019ULL },
> +  { c1144, 0x5800000000000006ULL },
> +  { c1145, 0x4000000000000004ULL },
> +  { c1146, 0xd000000000000005ULL },
> +  { c1147, 0x6800000000000001ULL },
> +  { c1148, 0x8000000000000b29ULL },
> +  { c1149, 0xcc38000000000001ULL },
> +  { c1150, 0xd000000000000001ULL },
> +  { c1151, 0x7100000000000001ULL },
> +  { c1152, 0x0580000000000001ULL },
> +  { c1153, 0x7c0000000000009dULL },
> +  { c1154, 0x4000000000000003ULL },
> +  { c1155, 0xcc0000000000000dULL },
> +  { c1156, 0xb980000000000001ULL },
> +  { c1157, 0xe00000000000017dULL },
> +  { c1158, 0x9c30000000000001ULL },
> +  { c1159, 0xfb80000000000001ULL },
> +  { c1160, 0x2000000000000019ULL },
> +  { c1161, 0x9200000000000001ULL },
> +  { c1162, 0x8000000000001000ULL },
> +  { c1163, 0x4800000000000028ULL },
> +  { c1164, 0x87f8000000000001ULL },
> +  { c1165, 0x5900000000000001ULL },
> +  { c1166, 0xef00000000000015ULL },
> +  { c1167, 0x140000000000000aULL },
> +  { c1168, 0xc000000000000004ULL },
> +  { c1169, 0x010000000000001eULL },
> +  { c1170, 0x08ec000000000001ULL },
> +  { c1171, 0x8000000000000007ULL },
> +  { c1172, 0xc000000000000003ULL },
> +  { c1173, 0xa660000000000001ULL },
> +  { c1174, 0x3880000000000001ULL },
> +  { c1175, 0x2f60000000000001ULL },
> +  { c1176, 0x3970000000000001ULL },
> +  { c1177, 0xc0000000000004e5ULL },
> +  { c1178, 0x800000000000019aULL },
> +  { c1179, 0xb000000000000001ULL },
> +  { c1180, 0x6000000000000003ULL },
> +  { c1181, 0x8000000000000003ULL },
> +  { c1182, 0xe00000000000005eULL },
> +  { c1183, 0x0e000000000000a9ULL },
> +  { c1184, 0x4680000000000001ULL },
> +  { c1185, 0x3e00000000000001ULL },
> +  { c1186, 0x8000000000000009ULL },
> +  { c1187, 0xb800000000000172ULL },
> +  { c1188, 0x24f0000000000001ULL },
> +  { c1189, 0xc000000000000006ULL },
> +  { c1190, 0x500000000000000cULL },
> +  { c1191, 0x7840000000000001ULL },
> +  { c1192, 0xfa00000000000001ULL },
> +  { c1193, 0xad00000000000001ULL },
> +  { c1194, 0x0bb0000000000001ULL },
> +  { c1195, 0x7810000000000001ULL },
> +  { c1196, 0xea00000000000001ULL },
> +  { c1197, 0x7000000000000001ULL },
> +  { c1198, 0x8000000000000002ULL },
> +  { c1199, 0x3698000000000001ULL },
> +  { c1200, 0xd778000000000001ULL },
> +  { c1201, 0xfff1443fffffffffULL },
> +  { c1202, 0xffffffff53fbffffULL },
> +  { c1203, 0xffffffd4feffffffULL },
> +  { c1204, 0xfffffa9fdfffffffULL },
> +  { c1205, 0x53fbffffffffffffULL },
> +  { c1206, 0xffffeaefffffffffULL },
> +  { c1207, 0xfd5dffffffffffffULL },
> +  { c1208, 0xff8d5fffffffffffULL },
> +  { c1209, 0xffffffff743fffffULL },
> +  { c1210, 0xffffffff2f17ffffULL },
> +  { c1211, 0xfffe5e2fffffffffULL },
> +  { c1212, 0xfff2f17fffffffffULL },
> +  { c1213, 0xffffffff395fffffULL },
> +  { c1214, 0xe3ffffffffffffffULL },
> +  { c1215, 0xffffffff78afffffULL },
> +  { c1216, 0xfffffc0fffffffffULL },
> +  { c1217, 0xffffffe4697fffffULL },
> +  { c1218, 0xffe1707fffffffffULL },
> +  { c1219, 0xffffffff4091ffffULL },
> +  { c1220, 0xfffffc827fffffffULL },
> +  { c1221, 0xffffffff2e4fffffULL },
> +  { c1222, 0xffffffff64bfffffULL },
> +  { c1223, 0xffffe47fffffffffULL },
> +  { c1224, 0xffe7ffffffffffffULL },
> +  { c1225, 0xffffffff3ff5ffffULL },
> +  { c1226, 0xff0a1fffffffffffULL },
> +  { c1227, 0xffffffff0307ffffULL },
> +  { c1228, 0xffffe060ffffffffULL },
> +  { c1229, 0xffffffff6fffffffULL },
> +  { c1230, 0xffffdfffffffffffULL },
> +  { c1231, 0xffbfdfffffffffffULL },
> +  { c1232, 0xfc5fffffffffffffULL },
> +  { c1233, 0xc5ffffffffffffffULL },
> +  { c1234, 0xffffffff1645ffffULL },
> +  { c1235, 0xffffe2c8bfffffffULL },
> +  { c1236, 0xffffffff695dffffULL },
> +  { c1237, 0xfffffffeff5fffffULL },
> +  { c1238, 0xfffc8dbfffffffffULL },
> +  { c1239, 0xffffffff3ff7ffffULL },
> +  { c1240, 0xffffffbfffffffffULL },
> +  { c1241, 0xffffffff3effffffULL },
> +  { c1242, 0xffff3effffffffffULL },
> +  { c1243, 0xffffe070ffffffffULL },
> +  { c1244, 0xffffffff5ffbffffULL },
> +  { c1245, 0xfd7fefffffffffffULL },
> +  { c1246, 0x7fffffffffffffffULL },
> +  { c1247, 0xffffffff56ffffffULL },
> +  { c1248, 0xfffffffc37ffffffULL },
> +  { c1249, 0xffffffff0c2fffffULL },
> +  { c1250, 0xfffffff7ffffffffULL },
> +  { c1251, 0xfffffffbffffffffULL },
> +  { c1252, 0xffffffff0543ffffULL },
> +  { c1253, 0xffffffff1fffffffULL },
> +  { c1254, 0xfffffffc7fffffffULL },
> +  { c1255, 0xffffffff07ffffffULL },
> +  { c1256, 0xf0dfffffffffffffULL },
> +  { c1257, 0xffffffff0183ffffULL },
> +  { c1258, 0xfff407ffffffffffULL },
> +  { c1259, 0xffdbffffffffffffULL },
> +  { c1260, 0xfffffffd57ffffffULL },
> +  { c1261, 0xfffff9ffffffffffULL },
> +  { c1262, 0xffffffff12c3ffffULL },
> +  { c1263, 0xffffffff761fffffULL },
> +  { c1264, 0xffffeec3ffffffffULL },
> +  { c1265, 0xffcf0fffffffffffULL },
> +  { c1266, 0xfffffffe4effffffULL },
> +  { c1267, 0xffffffd423ffffffULL },
> +  { c1268, 0xfbf3ffffffffffffULL },
> +  { c1269, 0xffffffff2c9fffffULL },
> +  { c1270, 0xffffffff3b83ffffULL },
> +  { c1271, 0xffffffff5957ffffULL },
> +  { c1272, 0xffd655ffffffffffULL },
> +  { c1273, 0xffffffe1fbffffffULL },
> +  { c1274, 0xffff87efffffffffULL },
> +  { c1275, 0xffffbfffffffffffULL },
> +  { c1276, 0xffffffff2fffffffULL },
> +  { c1277, 0x4b7fffffffffffffULL },
> +  { c1278, 0xfffffffed5cfffffULL },
> +  { c1279, 0xcdcfffffffffffffULL },
> +  { c1280, 0xfffff8b77fffffffULL },
> +  { c1281, 0xfffffff8b77fffffULL },
> +  { c1282, 0xffffff17ffffffffULL },
> +  { c1283, 0xffffffff7dffffffULL },
> +  { c1284, 0xfffffff7dfffffffULL },
> +  { c1285, 0xf8ffffffffffffffULL },
> +  { c1286, 0xffffffff6e4fffffULL },
> +  { c1287, 0xffffffff4bffffffULL },
> +  { c1288, 0xffffffff7a5bffffULL },
> +  { c1289, 0xffffffff63ffffffULL },
> +  { c1290, 0xffffffa2bfffffffULL },
> +  { c1291, 0xf86fffffffffffffULL },
> +  { c1292, 0xfffffff9ffffffffULL },
> +  { c1293, 0xc7afffffffffffffULL },
> +  { c1294, 0xe7ffffffffffffffULL },
> +  { c1295, 0xf1dfffffffffffffULL },
> +  { c1296, 0xffff7fffffffffffULL },
> +  { c1297, 0xfffffff437ffffffULL },
> +  { c1298, 0xfffffffccfffffffULL },
> +  { c1299, 0xffffffe9d13fffffULL },
> +  { c1300, 0xfffffd3a27ffffffULL },
> +  { c1301, 0x1fffffffffffffcaULL },
> +  { c1302, 0x2f9ffffffffffffeULL },
> +  { c1303, 0xcfffffffffffff17ULL },
> +  { c1304, 0x7fffffffffffff88ULL },
> +  { c1305, 0xdffffffffffffffeULL },
> +  { c1306, 0xbffffffffffffff9ULL },
> +  { c1307, 0x6ffffffffffffffeULL },
> +  { c1308, 0x44effffffffffffeULL },
> +  { c1309, 0x8ffffffffffffd10ULL },
> +  { c1310, 0xf3cffffffffffffcULL },
> +  { c1311, 0xc7fffffffffffffeULL },
> +  { c1312, 0x8dfffffffffffffeULL },
> +  { c1313, 0x5ffffffffffffff2ULL },
> +  { c1314, 0x4bfffffffffffffeULL },
> +  { c1315, 0x35fffffffffffffeULL },
> +  { c1316, 0x5ffffffffffff41fULL },
> +  { c1317, 0x17ffffffffffff20ULL },
> +  { c1318, 0x43fffffffffffffeULL },
> +  { c1319, 0xa41ffffffffffffeULL },
> +  { c1320, 0x9f53fffffffffffeULL },
> +  { c1321, 0x7ffffffffffff865ULL },
> +  { c1322, 0x9ffffffffffffff9ULL },
> +  { c1323, 0xfdeffffffffffffeULL },
> +  { c1324, 0xafffffffffffff97ULL },
> +  { c1325, 0x53fffffffffffffeULL },
> +  { c1326, 0x97fffffffffffffeULL },
> +  { c1327, 0x82fffffffffffffeULL },
> +  { c1328, 0x03fffffffffffffeULL },
> +  { c1329, 0xd38bfffffffffffeULL },
> +  { c1330, 0x12bffffffffffffeULL },
> +  { c1331, 0x2ebffffffffffffeULL },
> +  { c1332, 0xac1ffffffffffffeULL },
> +  { c1333, 0x06b3fffffffffffeULL },
> +  { c1334, 0xd67fffffffffffc0ULL },
> +  { c1335, 0x7fffffffffffff3bULL },
> +  { c1336, 0xe0bffffffffffffeULL },
> +  { c1337, 0xfbbfffffffffffe9ULL },
> +  { c1338, 0xfa3ffffffffffff3ULL },
> +  { c1339, 0xfe8ffffffffffffcULL },
> +  { c1340, 0x07fffffffffffffeULL },
> +  { c1341, 0xfcffffffffffffd7ULL },
> +  { c1342, 0x5ffffffffffffff3ULL },
> +  { c1343, 0x861ffffffffffff0ULL },
> +  { c1344, 0x10c3fffffffffffeULL },
> +  { c1345, 0x7ffffffffffffffeULL },
> +  { c1346, 0x3ffffffffffffc66ULL },
> +  { c1347, 0xecfffffffffffffdULL },
> +  { c1348, 0xf67ffffffffffffeULL },
> +  { c1349, 0xff7fffffffffffe2ULL },
> +  { c1350, 0xcffffffffffffffeULL },
> +  { c1351, 0x24fffffffffffffeULL },
> +  { c1352, 0x047fffffffffffcaULL },
> +  { c1353, 0x023fffffffffffe5ULL },
> +  { c1354, 0x0ffffffffffffffeULL },
> +  { c1355, 0xe6fffffffffffffeULL },
> +  { c1356, 0xbffffffffffffc68ULL },
> +  { c1357, 0x345ffffffffffffeULL },
> +  { c1358, 0xfb3ffffffffffffcULL },
> +  { c1359, 0xd4f7fffffffffffeULL },
> +  { c1360, 0xfafffffffffffffcULL },
> +  { c1361, 0xe167fffffffffffeULL },
> +  { c1362, 0xf9fffffffffffff2ULL },
> +  { c1363, 0x7ffffffffffff82bULL },
> +  { c1364, 0x0adffffffffffffeULL },
> +  { c1365, 0xdbfffffffffffffeULL },
> +  { c1366, 0xbffffffffffff962ULL },
> +  { c1367, 0xeffffffffffffffcULL },
> +  { c1368, 0x747fffffffffffdeULL },
> +  { c1369, 0x67fffffffffffffeULL },
> +  { c1370, 0x587ffffffffffffeULL },
> +  { c1371, 0x6fffffffffffff31ULL },
> +  { c1372, 0x3cfffffffffffffeULL },
> +  { c1373, 0x31fffffffffffffeULL },
> +  { c1374, 0xe7fffffffffffff3ULL },
> +  { c1375, 0x63fffffffffffffcULL },
> +  { c1376, 0xbffffffffffffffdULL },
> +  { c1377, 0x3a73fffffffffffeULL },
> +  { c1378, 0x3e33fffffffffffeULL },
> +  { c1379, 0x3ffffffffffffffeULL },
> +  { c1380, 0xdd7ffffffffffffeULL },
> +  { c1381, 0xfefffffffffffffaULL },
> +  { c1382, 0xbfbffffffffffffeULL },
> +  { c1383, 0x917fffffffffffd0ULL },
> +  { c1384, 0x87cffffffffffffeULL },
> +  { c1385, 0x7cffffffffffffe8ULL },
> +  { c1386, 0xf29ffffffffffffeULL },
> +  { c1387, 0xa0ffffffffffffd1ULL },
> +  { c1388, 0x367ffffffffffffeULL },
> +  { c1389, 0x2ffffffffffffff5ULL },
> +  { c1390, 0x9ffffffffffffffdULL },
> +  { c1391, 0x7fffffffffffffb4ULL },
> +  { c1392, 0x3fffffffffffffe4ULL },
> +  { c1393, 0xffdffffffffffffeULL },
> +  { c1394, 0x7ffffffffffffe9fULL },
> +  { c1395, 0x9ffffffffffffb0fULL },
> +  { c1396, 0xc3e7fffffffffffeULL },
> +  { c1397, 0xfb7ffffffffffff2ULL },
> +  { c1398, 0xbffffffffffffdc6ULL },
> +  { c1399, 0xfb7ffffffffffff6ULL },
> +  { c1400, 0xedffffffffffffdbULL },
> +  { c1401, 0x3d9c3fffffffffffULL },
> +  { c1402, 0x7f817fffffffffffULL },
> +  { c1403, 0x0fe53fffffffffffULL },
> +  { c1404, 0x002dfe3fffffffffULL },
> +  { c1405, 0x077247ffffffffffULL },
> +  { c1406, 0x3fffffffffffd26fULL },
> +  { c1407, 0x009d7fffffffffffULL },
> +  { c1408, 0x3fffffffffffdfffULL },
> +  { c1409, 0x1fffffffffffbffdULL },
> +  { c1410, 0x3be7bfffffffffffULL },
> +  { c1411, 0x03ffffffffffc8cfULL },
> +  { c1412, 0x03ffffffffffb20fULL },
> +  { c1413, 0x2cb3bfffffffffffULL },
> +  { c1414, 0x5d3b7fffffffffffULL },
> +  { c1415, 0x0fffffffffffe615ULL },
> +  { c1416, 0x0fffffffffff9d7fULL },
> +  { c1417, 0x5680ffffffffffffULL },
> +  { c1418, 0x7fffffffffff8061ULL },
> +  { c1419, 0x00c2ffffffffffffULL },
> +  { c1420, 0x0b307fffffffffffULL },
> +  { c1421, 0x1fffffffffffc237ULL },
> +  { c1422, 0x08dc7fffffffffffULL },
> +  { c1423, 0x1fffffffffff9759ULL },
> +  { c1424, 0x1fffffffffffc6fbULL },
> +  { c1425, 0x3fffffffffffcf39ULL },
> +  { c1426, 0x1fffffffffff98e5ULL },
> +  { c1427, 0x31ca3fffffffffffULL },
> +  { c1428, 0x7c9b7fffffffffffULL },
> +  { c1429, 0x0fffffffffffd7ffULL },
> +  { c1430, 0x1fffffffffffefffULL },
> +  { c1431, 0x07eaffffffffffffULL },
> +  { c1432, 0x07ff8fffffffffffULL },
> +  { c1433, 0x7fffffffffffa741ULL },
> +  { c1434, 0x1fffffffffffe14bULL },
> +  { c1435, 0x0a58ffffffffffffULL },
> +  { c1436, 0x18f8dfffffffffffULL },
> +  { c1437, 0x0fffffffffffce97ULL },
> +  { c1438, 0x07fffffffffff41dULL },
> +  { c1439, 0x0ffffffffffff4e1ULL },
> +  { c1440, 0x4e10ffffffffffffULL },
> +  { c1441, 0x3c673fffffffffffULL },
> +  { c1442, 0x1fffffffffffec7fULL },
> +  { c1443, 0x7fffffffffffa47dULL },
> +  { c1444, 0x56a4ffffffffffffULL },
> +  { c1445, 0x7fffffffffffae55ULL },
> +  { c1446, 0x3fffffffffffbb79ULL },
> +  { c1447, 0x1fffffffffffe87fULL },
> +  { c1448, 0x7fffffffffff8fffULL },
> +  { c1449, 0x7fffffffffffbe13ULL },
> +  { c1450, 0x1fffffffffffdf5bULL },
> +  { c1451, 0x1fffffffffffeffbULL },
> +  { c1452, 0x5beb7fffffffffffULL },
> +  { c1453, 0x1a7f1fffffffffffULL },
> +  { c1454, 0x07ffffffffffefffULL },
> +  { c1455, 0x7fffffffffffb5bfULL },
> +  { c1456, 0x3fffffffffffd5a3ULL },
> +  { c1457, 0x7fffffffffff8641ULL },
> +  { c1458, 0x78dd7fffffffffffULL },
> +  { c1459, 0x7fffffffffffafffULL },
> +  { c1460, 0x1ff59fffffffffffULL },
> +  { c1461, 0x12ffdfffffffffffULL },
> +  { c1462, 0x7fffffffffff8c3fULL },
> +  { c1463, 0x03ffffffffffb87fULL },
> +  { c1464, 0x1fffffffffffefc9ULL },
> +  { c1465, 0x7e48ffffffffffffULL },
> +  { c1466, 0x1fffffffffffbffbULL },
> +  { c1467, 0x03ffffffffffe2fdULL },
> +  { c1468, 0x7fffffffffff957fULL },
> +  { c1469, 0x3ffb7fffffffffffULL },
> +  { c1470, 0x03c2bfffffffffffULL },
> +  { c1471, 0x3fffffffffffcd95ULL },
> +  { c1472, 0x7fffffffffff8cffULL },
> +  { c1473, 0x12bcffffffffffffULL },
> +  { c1474, 0x1fffffffffffb7c9ULL },
> +  { c1475, 0x7fff7fffffffffffULL },
> +  { c1476, 0x7fffffffffffbaa5ULL },
> +  { c1477, 0x4ee97fffffffffffULL },
> +  { c1478, 0x00be7affffffffffULL },
> +  { c1479, 0x27f97fffffffffffULL },
> +  { c1480, 0x7b117fffffffffffULL },
> +  { c1481, 0x07e67fffffffffffULL },
> +  { c1482, 0x7fccffffffffffffULL },
> +  { c1483, 0x0c69dfffffffffffULL },
> +  { c1484, 0x1fffffffffffa9a9ULL },
> +  { c1485, 0x7fffffffffffa939ULL },
> +  { c1486, 0x5272ffffffffffffULL },
> +  { c1487, 0x3fffffffffffddffULL },
> +  { c1488, 0x003ffffffffffe1fULL },
> +  { c1489, 0x7fffffffffffa8cbULL },
> +  { c1490, 0x36757fffffffffffULL },
> +  { c1491, 0x3fffffffffffcfffULL },
> +  { c1492, 0x1fffffffffffdc7fULL },
> +  { c1493, 0x3fffffffffff964bULL },
> +  { c1494, 0x7fffffffffffbad9ULL },
> +  { c1495, 0x1fffffffffffa639ULL },
> +  { c1496, 0x4328ffffffffffffULL },
> +  { c1497, 0x3fffffffffffd2fbULL },
> +  { c1498, 0x3fffffffffffca8dULL },
> +  { c1499, 0x7fffffffffff8dc3ULL },
> +  { c1500, 0x27d13fffffffffffULL },
> +  { c1501, 0x00000000807b0000ULL },
> +  { c1502, 0x0000000180000001ULL },
> +  { c1503, 0x0000000090650000ULL },
> +  { c1504, 0xfffd0000ffffffffULL },
> +  { c1505, 0x000000009ddf0000ULL },
> +  { c1506, 0x0000000194280001ULL },
> +  { c1507, 0x00000000fbf70000ULL },
> +  { c1508, 0x00000000dc3f0000ULL },
> +  { c1509, 0x00000000f1050000ULL },
> +  { c1510, 0x00000000ec110000ULL },
> +  { c1511, 0x000000009c250000ULL },
> +  { c1512, 0x000000009b470000ULL },
> +  { c1513, 0x00000000a81d0000ULL },
> +  { c1514, 0x0000000140000001ULL },
> +  { c1515, 0x00000000e82d0000ULL },
> +  { c1516, 0x00000000f2590000ULL },
> +  { c1517, 0x0000000090850000ULL },
> +  { c1518, 0x0000000200000003ULL },
> +  { c1519, 0x00000000802b0000ULL },
> +  { c1520, 0x000000010fe80001ULL },
> +  { c1521, 0x00000000a0010000ULL },
> +  { c1522, 0x00000000f1ad0000ULL },
> +  { c1523, 0x00000000c8570000ULL },
> +  { c1524, 0x00000000a2030000ULL },
> +  { c1525, 0x00000000c41b0000ULL },
> +  { c1526, 0x00000000b0430000ULL },
> +  { c1527, 0x00000000b5110000ULL },
> +  { c1528, 0x00000000f1010000ULL },
> +  { c1529, 0x00000000e7c30000ULL },
> +  { c1530, 0x0000000080010000ULL },
> +  { c1531, 0x0000000080cd0000ULL },
> +  { c1532, 0x00000000a3ff0000ULL },
> +  { c1533, 0x00000000b0330000ULL },
> +  { c1534, 0x00000000de110000ULL },
> +  { c1535, 0x0000000080050000ULL },
> +  { c1536, 0x000000017e700001ULL },
> +  { c1537, 0x00000000c2350000ULL },
> +  { c1538, 0x0000000168000001ULL },
> +  { c1539, 0x000000009f4b0000ULL },
> +  { c1540, 0x0000000500000007ULL },
> +  { c1541, 0x0000000168200001ULL },
> +  { c1542, 0x00000000826b0000ULL },
> +  { c1543, 0x00000001e6000001ULL },
> +  { c1544, 0x0000000342000003ULL },
> +  { c1545, 0x00000000af590000ULL },
> +  { c1546, 0x00000000886f0000ULL },
> +  { c1547, 0x0000000310000003ULL },
> +  { c1548, 0x00000000a0070000ULL },
> +  { c1549, 0x00000000cb0b0000ULL },
> +  { c1550, 0x00000001c8000001ULL },
> +  { c1551, 0x0000000388000003ULL },
> +  { c1552, 0x00000000b09f0000ULL },
> +  { c1553, 0x00000000e06b0000ULL },
> +  { c1554, 0x00000000c1750000ULL },
> +  { c1555, 0x00000000eb0b0000ULL },
> +  { c1556, 0x0000000089270000ULL },
> +  { c1557, 0x0000000260000003ULL },
> +  { c1558, 0x00000000c2ff0000ULL },
> +  { c1559, 0x000000008ddd0000ULL },
> +  { c1560, 0x00000000ab5f0000ULL },
> +  { c1561, 0x0000000083a30000ULL },
> +  { c1562, 0x0000000090370000ULL },
> +  { c1563, 0x0000000081810000ULL },
> +  { c1564, 0x00000000b9110000ULL },
> +  { c1565, 0x00000000cc010000ULL },
> +  { c1566, 0x00000002cf000003ULL },
> +  { c1567, 0x00000000e2390000ULL },
> +  { c1568, 0x000000064a000007ULL },
> +  { c1569, 0x00000001a0000001ULL },
> +  { c1570, 0x0000000086110000ULL },
> +  { c1571, 0x00000000e0050000ULL },
> +  { c1572, 0x0000000188000001ULL },
> +  { c1573, 0x00000000c0290000ULL },
> +  { c1574, 0x0000000091670000ULL },
> +  { c1575, 0x0000000144000001ULL },
> +  { c1576, 0x000000008c0d0000ULL },
> +  { c1577, 0x00000000c0150000ULL },
> +  { c1578, 0x00000002a1d00003ULL },
> +  { c1579, 0x00000000ccad0000ULL },
> +  { c1580, 0x00000002e9200003ULL },
> +  { c1581, 0x0000000080210000ULL },
> +  { c1582, 0x00000000aca90000ULL },
> +  { c1583, 0x0000000a7100000fULL },
> +  { c1584, 0x00000000fcd50000ULL },
> +  { c1585, 0x0000000098010000ULL },
> +  { c1586, 0x00000001fc000001ULL },
> +  { c1587, 0x00000000e5670000ULL },
> +  { c1588, 0x0000000085090000ULL },
> +  { c1589, 0x00000000fdb30000ULL },
> +  { c1590, 0x00000000da030000ULL },
> +  { c1591, 0x00000000a0030000ULL },
> +  { c1592, 0x00000000c7310000ULL },
> +  { c1593, 0x00000000b9f90000ULL },
> +  { c1594, 0x00000000bf810000ULL },
> +  { c1595, 0x00000000d1010000ULL },
> +  { c1596, 0x00000000a4f90000ULL },
> +  { c1597, 0x0000000098070000ULL },
> +  { c1598, 0x000000035d800003ULL },
> +  { c1599, 0x000000008f990000ULL },
> +  { c1600, 0x00000000c4070000ULL },
> +  { c1601, 0xfe11800000000000ULL },
> +  { c1602, 0xffffff5ffffffffeULL },
> +  { c1603, 0xffffffcd99fffffeULL },
> +  { c1604, 0xffffeefffffffc00ULL },
> +  { c1605, 0xffffffccfffffffcULL },
> +  { c1606, 0xead1e00000000000ULL },
> +  { c1607, 0xb500e00000000000ULL },
> +  { c1608, 0xffffccd6fffffffcULL },
> +  { c1609, 0xffffffff5ffffff8ULL },
> +  { c1610, 0xfffffffd9ffffffeULL },
> +  { c1611, 0xfffffff9afffffe0ULL },
> +  { c1612, 0xffffff97e7fffffeULL },
> +  { c1613, 0xfffffa79fffffff8ULL },
> +  { c1614, 0x8005c00000000000ULL },
> +  { c1615, 0xffffffcdfffffffeULL },
> +  { c1616, 0xffffff806ffffffcULL },
> +  { c1617, 0xffffaffffffffffeULL },
> +  { c1618, 0xe000c00000000000ULL },
> +  { c1619, 0xe1fec00000000000ULL },
> +  { c1620, 0xfffffffd757ffffeULL },
> +  { c1621, 0xd3defffffffffffeULL },
> +  { c1622, 0xfffffcfffffffffeULL },
> +  { c1623, 0xaa82c00000000000ULL },
> +  { c1624, 0xffffff7ffffffffeULL },
> +  { c1625, 0xfffffffb3ffffffcULL },
> +  { c1626, 0xfffffffdda5ffff8ULL },
> +  { c1627, 0xfffffa4feffffffeULL },
> +  { c1628, 0xfffff8257ffffffcULL },
> +  { c1629, 0xfffef4ffffffff00ULL },
> +  { c1630, 0xffffffff39fffffcULL },
> +  { c1631, 0xfffff957dffffffeULL },
> +  { c1632, 0xffffffeefffffffcULL },
> +  { c1633, 0xfffffffefffffffeULL },
> +  { c1634, 0xfffffefffffffffcULL },
> +  { c1635, 0xffffffd7bffffff0ULL },
> +  { c1636, 0xe3cca00000000000ULL },
> +  { c1637, 0xffffffebfffffffcULL },
> +  { c1638, 0xffffff3ffffffffcULL },
> +  { c1639, 0xf800200000000000ULL },
> +  { c1640, 0xffff3dfffffffffcULL },
> +  { c1641, 0x8d8aff0000000000ULL },
> +  { c1642, 0xffffcbfffffffff0ULL },
> +  { c1643, 0xe0d6800000000000ULL },
> +  { c1644, 0xfffff4921ffffffcULL },
> +  { c1645, 0xfff2b7fffffffffeULL },
> +  { c1646, 0xffff845ffffffffeULL },
> +  { c1647, 0xffffe0c5fffffff0ULL },
> +  { c1648, 0xfffffc4ffffffff8ULL },
> +  { c1649, 0xa219000000000000ULL },
> +  { c1650, 0xe51d7ffffffffffcULL },
> +  { c1651, 0xffc041fffffffffeULL },
> +  { c1652, 0xffff751ffffffffcULL },
> +  { c1653, 0xf319000000000000ULL },
> +  { c1654, 0xfffffddffffffff8ULL },
> +  { c1655, 0xfffffff65ffffff0ULL },
> +  { c1656, 0xa261000000000000ULL },
> +  { c1657, 0xfffffaeafffffff0ULL },
> +  { c1658, 0xffff7c5ffffffffeULL },
> +  { c1659, 0xffffbffffffffffcULL },
> +  { c1660, 0xfffff57ffffffffcULL },
> +  { c1661, 0xfffa33fffffffffcULL },
> +  { c1662, 0xfffffffe111ffffeULL },
> +  { c1663, 0xfffffffe8ffffffeULL },
> +  { c1664, 0xfffffffc4b4ffffcULL },
> +  { c1665, 0x5c09c00000000000ULL },
> +  { c1666, 0xfffff7fffffffffcULL },
> +  { c1667, 0xfffffffc67fffffcULL },
> +  { c1668, 0xffff17fffffffffeULL },
> +  { c1669, 0xfffffff2e7fffffeULL },
> +  { c1670, 0xffffffff57fffffeULL },
> +  { c1671, 0xffe1bdfffffffffeULL },
> +  { c1672, 0x8cce800000000000ULL },
> +  { c1673, 0x326dc00000000000ULL },
> +  { c1674, 0xffff87fffffffffcULL },
> +  { c1675, 0xffffe0fffffffff8ULL },
> +  { c1676, 0xfbf4c00000000000ULL },
> +  { c1677, 0xfffffffe937ffffeULL },
> +  { c1678, 0xfffffff937fffffcULL },
> +  { c1679, 0xd9bf7ffffffffffeULL },
> +  { c1680, 0xa800800000000000ULL },
> +  { c1681, 0x28c5c00000000000ULL },
> +  { c1682, 0xec31800000000000ULL },
> +  { c1683, 0x4f39fffffffffffcULL },
> +  { c1684, 0xfff60bfffffffff8ULL },
> +  { c1685, 0xffffd7fffffffffcULL },
> +  { c1686, 0xffffffff5ffffffeULL },
> +  { c1687, 0x7781c00000000000ULL },
> +  { c1688, 0x43f1fffffffffffcULL },
> +  { c1689, 0xfffdaffffffffffeULL },
> +  { c1690, 0xffffc7fffffffffeULL },
> +  { c1691, 0xfffffff8bffffffeULL },
> +  { c1692, 0xffffffff53dffff8ULL },
> +  { c1693, 0xfffffff21ffffffeULL },
> +  { c1694, 0xfffffffdfffffffeULL },
> +  { c1695, 0xb281800000000000ULL },
> +  { c1696, 0xfffffffacb7fffe0ULL },
> +  { c1697, 0xfffffff7fffffffcULL },
> +  { c1698, 0xfffffffdeffffffcULL },
> +  { c1699, 0xf227dffffffffffeULL },
> +  { c1700, 0xfff3c4fffffffffcULL },
> +  { c1701, 0x00d0000100000000ULL },
> +  { c1702, 0x0de20001c0000000ULL },
> +  { c1703, 0x08c00001e0000000ULL },
> +  { c1704, 0x1800000180000000ULL },
> +  { c1705, 0xfd68000006000000ULL },
> +  { c1706, 0x0040000100000000ULL },
> +  { c1707, 0x0ed8000100000000ULL },
> +  { c1708, 0x00b8000100000000ULL },
> +  { c1709, 0x4000000180000000ULL },
> +  { c1710, 0x000c000100000000ULL },
> +  { c1711, 0x001e0001fc000000ULL },
> +  { c1712, 0x9e000000e0000000ULL },
> +  { c1713, 0x3e40000180000000ULL },
> +  { c1714, 0x0200000180000000ULL },
> +  { c1715, 0x06000001f0000000ULL },
> +  { c1716, 0x01800001c0000000ULL },
> +  { c1717, 0x2900000180000000ULL },
> +  { c1718, 0x0018000100000000ULL },
> +  { c1719, 0x3140000180000000ULL },
> +  { c1720, 0x0bc0000100000000ULL },
> +  { c1721, 0x1840000100000000ULL },
> +  { c1722, 0x0b300001c0000000ULL },
> +  { c1723, 0x2800000100000000ULL },
> +  { c1724, 0x34000001c0000000ULL },
> +  { c1725, 0x0400000100000000ULL },
> +  { c1726, 0x6800000180000000ULL },
> +  { c1727, 0x14000001e0000000ULL },
> +  { c1728, 0x00d4000100000000ULL },
> +  { c1729, 0x5000000100000000ULL },
> +  { c1730, 0x0642000180000000ULL },
> +  { c1731, 0x015a000100000000ULL },
> +  { c1732, 0x00040001e0000000ULL },
> +  { c1733, 0x00d0000180000000ULL },
> +  { c1734, 0x1140000100000000ULL },
> +  { c1735, 0x14980001c0000000ULL },
> +  { c1736, 0x4c00000180000000ULL },
> +  { c1737, 0x6000000100000000ULL },
> +  { c1738, 0x48a8000100000000ULL },
> +  { c1739, 0x0770000100000000ULL },
> +  { c1740, 0x157a0001e0000000ULL },
> +  { c1741, 0x10920001c0000000ULL },
> +  { c1742, 0x00a00001fc000000ULL },
> +  { c1743, 0x15400001c0000000ULL },
> +  { c1744, 0x0800000180000000ULL },
> +  { c1745, 0x3e80000100000000ULL },
> +  { c1746, 0x01b4000100000000ULL },
> +  { c1747, 0x4500000100000000ULL },
> +  { c1748, 0x86000000c0000000ULL },
> +  { c1749, 0x02000001e0000000ULL },
> +  { c1750, 0x0020000100000000ULL },
> +  { c1751, 0x0030000100000000ULL },
> +  { c1752, 0x02ec000100000000ULL },
> +  { c1753, 0x0070000180000000ULL },
> +  { c1754, 0x0d6c000100000000ULL },
> +  { c1755, 0x000c000180000000ULL },
> +  { c1756, 0xc000000040000000ULL },
> +  { c1757, 0x3c00000100000000ULL },
> +  { c1758, 0x01800001e0000000ULL },
> +  { c1759, 0x0640000100000000ULL },
> +  { c1760, 0xbb40000080000000ULL },
> +  { c1761, 0x01f0000100000000ULL },
> +  { c1762, 0x00020001e0000000ULL },
> +  { c1763, 0x02e4000180000000ULL },
> +  { c1764, 0x00d8000100000000ULL },
> +  { c1765, 0x00a8000180000000ULL },
> +  { c1766, 0x2c30000100000000ULL },
> +  { c1767, 0xb200000080000000ULL },
> +  { c1768, 0x36000001e0000000ULL },
> +  { c1769, 0x0080000100000000ULL },
> +  { c1770, 0xac00000080000000ULL },
> +  { c1771, 0x0360000180000000ULL },
> +  { c1772, 0x00e2000180000000ULL },
> +  { c1773, 0x416e000100000000ULL },
> +  { c1774, 0x0090000100000000ULL },
> +  { c1775, 0x2000000100000000ULL },
> +  { c1776, 0x0d60000180000000ULL },
> +  { c1777, 0xf46400001e000000ULL },
> +  { c1778, 0x0140000180000000ULL },
> +  { c1779, 0xa7000000e0000000ULL },
> +  { c1780, 0x00400001c0000000ULL },
> +  { c1781, 0x003a000100000000ULL },
> +  { c1782, 0x3618000100000000ULL },
> +  { c1783, 0x18c0000180000000ULL },
> +  { c1784, 0x14c00001c0000000ULL },
> +  { c1785, 0x3400000180000000ULL },
> +  { c1786, 0x08000001e0000000ULL },
> +  { c1787, 0x43c0000100000000ULL },
> +  { c1788, 0x0d30000180000000ULL },
> +  { c1789, 0x6390000180000000ULL },
> +  { c1790, 0x5400000100000000ULL },
> +  { c1791, 0x1a00000100000000ULL },
> +  { c1792, 0x5a000001f8000000ULL },
> +  { c1793, 0x001c000100000000ULL },
> +  { c1794, 0x47e0000100000000ULL },
> +  { c1795, 0x0026000180000000ULL },
> +  { c1796, 0x01400001f0000000ULL },
> +  { c1797, 0x005e000100000000ULL },
> +  { c1798, 0x08000001f0000000ULL },
> +  { c1799, 0x0fe0000180000000ULL },
> +  { c1800, 0x0274000180000000ULL },
> +  { c1801, 0x00000001580e0000ULL },
> +  { c1802, 0x00000000fe07c000ULL },
> +  { c1803, 0x038eca0000000000ULL },
> +  { c1804, 0x00000001001e0000ULL },
> +  { c1805, 0x00000001f7a60000ULL },
> +  { c1806, 0x1f7a600000000000ULL },
> +  { c1807, 0x00000001c0020000ULL },
> +  { c1808, 0x0000000e00100000ULL },
> +  { c1809, 0x0fffffffffff9000ULL },
> +  { c1810, 0x0000000120060000ULL },
> +  { c1811, 0x00000000fc02c000ULL },
> +  { c1812, 0x0000003f00b00000ULL },
> +  { c1813, 0x0003f00b00000000ULL },
> +  { c1814, 0x0000000120860000ULL },
> +  { c1815, 0x0000000120020000ULL },
> +  { c1816, 0x7fffffffffffbffeULL },
> +  { c1817, 0x0000000110fe0000ULL },
> +  { c1818, 0x00000000dec18000ULL },
> +  { c1819, 0x000000015ee20000ULL },
> +  { c1820, 0x00000001b6020000ULL },
> +  { c1821, 0x0001b60200000000ULL },
> +  { c1822, 0x00000001eece0000ULL },
> +  { c1823, 0x3fffffffffffc226ULL },
> +  { c1824, 0x0000000180320000ULL },
> +  { c1825, 0x00000000f89f1000ULL },
> +  { c1826, 0x00000000c5078000ULL },
> +  { c1827, 0x0001cad780000000ULL },
> +  { c1828, 0x00000000d1a08000ULL },
> +  { c1829, 0x0034682000000000ULL },
> +  { c1830, 0x7fffffffffff4c22ULL },
> +  { c1831, 0x00000000c1818000ULL },
> +  { c1832, 0x7fffffffffff3e7eULL },
> +  { c1833, 0x0fffffffffffd0ceULL },
> +  { c1834, 0x3fffffffffff37f6ULL },
> +  { c1835, 0x0000000138de0000ULL },
> +  { c1836, 0x000000014f560000ULL },
> +  { c1837, 0x00000000fd1e8800ULL },
> +  { c1838, 0x00000001802e0000ULL },
> +  { c1839, 0x0001802e00000000ULL },
> +  { c1840, 0x00c0170000000000ULL },
> +  { c1841, 0x00000001e87a0000ULL },
> +  { c1842, 0x0000000100020000ULL },
> +  { c1843, 0x2000400000000000ULL },
> +  { c1844, 0x00000001870a0000ULL },
> +  { c1845, 0x00000000f815b000ULL },
> +  { c1846, 0x3fffffffffffa242ULL },
> +  { c1847, 0x000000017a0a0000ULL },
> +  { c1848, 0x0000000107860000ULL },
> +  { c1849, 0x00000000c60d8000ULL },
> +  { c1850, 0x6306c00000000000ULL },
> +  { c1851, 0x7fffffffffff39f2ULL },
> +  { c1852, 0x000000015dfa0000ULL },
> +  { c1853, 0x00000000f1ee8000ULL },
> +  { c1854, 0x00000001cc5a0000ULL },
> +  { c1855, 0x07ffffffffffc83eULL },
> +  { c1856, 0x00000000fb6fa000ULL },
> +  { c1857, 0x7fffffffffff6d0eULL },
> +  { c1858, 0x7fffffffffff63eeULL },
> +  { c1859, 0x00000000ec9ec000ULL },
> +  { c1860, 0x00000001a0020000ULL },
> +  { c1861, 0x00000000fcf38000ULL },
> +  { c1862, 0x3fffffffffff66baULL },
> +  { c1863, 0x00000000ff758000ULL },
> +  { c1864, 0x000000012c960000ULL },
> +  { c1865, 0x0000000181ba0000ULL },
> +  { c1866, 0x00000001e4120000ULL },
> +  { c1867, 0x00000000f0728000ULL },
> +  { c1868, 0x7839400000000000ULL },
> +  { c1869, 0x000000018e060000ULL },
> +  { c1870, 0x0000063818000000ULL },
> +  { c1871, 0x0000000100060000ULL },
> +  { c1872, 0x00001d0050000000ULL },
> +  { c1873, 0x00000000f0902000ULL },
> +  { c1874, 0x00000000e0428000ULL },
> +  { c1875, 0x0001c08500000000ULL },
> +  { c1876, 0x00000001d0120000ULL },
> +  { c1877, 0x00000000f7418000ULL },
> +  { c1878, 0x7fffffffffff7ffeULL },
> +  { c1879, 0x00000000da368000ULL },
> +  { c1880, 0x1800300000000000ULL },
> +  { c1881, 0x3fffffffffff67faULL },
> +  { c1882, 0x3fffffffffffbddaULL },
> +  { c1883, 0x00000000ec80c000ULL },
> +  { c1884, 0x00000000f505c000ULL },
> +  { c1885, 0x00000002000c0000ULL },
> +  { c1886, 0x00000000fc108000ULL },
> +  { c1887, 0x00000000cd408000ULL },
> +  { c1888, 0x00000001b6860000ULL },
> +  { c1889, 0x000000010aaa0000ULL },
> +  { c1890, 0x0000000181860000ULL },
> +  { c1891, 0x3fffffffffffbffeULL },
> +  { c1892, 0x00000000f083c000ULL },
> +  { c1893, 0x07ffffffffffd27eULL },
> +  { c1894, 0x00000001b21e0000ULL },
> +  { c1895, 0x00d90f0000000000ULL },
> +  { c1896, 0x1fffffffffffe4deULL },
> +  { c1897, 0x00000000f9652000ULL },
> +  { c1898, 0x00000000f77b8000ULL },
> +  { c1899, 0x000e3c0800000000ULL },
> +  { c1900, 0x00000000df008000ULL },
> +  { c1901, 0xbe01000000000001ULL },
> +  { c1902, 0xf451400000000001ULL },
> +  { c1903, 0xfa93c00000000001ULL },
> +  { c1904, 0xfe056c3fffffffffULL },
> +  { c1905, 0xf227400000000001ULL },
> +  { c1906, 0x41aa000000000001ULL },
> +  { c1907, 0xd855800000000001ULL },
> +  { c1908, 0xe600c00000000001ULL },
> +  { c1909, 0xffffffff69883fffULL },
> +  { c1910, 0xf206000000000001ULL },
> +  { c1911, 0x6ac2000000000001ULL },
> +  { c1912, 0xf802000000000001ULL },
> +  { c1913, 0xffffffff22ba0fffULL },
> +  { c1914, 0xe565000000000001ULL },
> +  { c1915, 0xff401c0000000001ULL },
> +  { c1916, 0x136e000000000003ULL },
> +  { c1917, 0x50fe000000000001ULL },
> +  { c1918, 0xffffabc07fffffffULL },
> +  { c1919, 0xffffffff75b07fffULL },
> +  { c1920, 0xffffff75b07fffffULL },
> +  { c1921, 0xfffffeeb60ffffffULL },
> +  { c1922, 0x681e000000000001ULL },
> +  { c1923, 0xa68b000000000001ULL },
> +  { c1924, 0x2002000000000001ULL },
> +  { c1925, 0x5c2e000000000001ULL },
> +  { c1926, 0x844400000000000fULL },
> +  { c1927, 0xf088800000000001ULL },
> +  { c1928, 0xc199000000000001ULL },
> +  { c1929, 0xa40e000000000001ULL },
> +  { c1930, 0xffffffff7e307fffULL },
> +  { c1931, 0xf21cc00000000001ULL },
> +  { c1932, 0x8ffe000000000001ULL },
> +  { c1933, 0xffffffff7f003fffULL },
> +  { c1934, 0xffffbf801fffffffULL },
> +  { c1935, 0xffffffff613e7fffULL },
> +  { c1936, 0xfffffffb09f3ffffULL },
> +  { c1937, 0x003c000000000003ULL },
> +  { c1938, 0x058e000000000001ULL },
> +  { c1939, 0xa092000000000001ULL },
> +  { c1940, 0xaa5d000000000001ULL },
> +  { c1941, 0xffffffff58fe0fffULL },
> +  { c1942, 0xae4d000000000001ULL },
> +  { c1943, 0x7332000000000001ULL },
> +  { c1944, 0xfd199bffffffffffULL },
> +  { c1945, 0xffffffff3faaffffULL },
> +  { c1946, 0x0004000000000007ULL },
> +  { c1947, 0xc001000000000001ULL },
> +  { c1948, 0x078a000000000001ULL },
> +  { c1949, 0x62f6000000000001ULL },
> +  { c1950, 0x0992000000000001ULL },
> +  { c1951, 0xc189800000000001ULL },
> +  { c1952, 0xe106000000000001ULL },
> +  { c1953, 0xffffffff4c5e7fffULL },
> +  { c1954, 0xd21e000000000001ULL },
> +  { c1955, 0xf000200000000001ULL },
> +  { c1956, 0xffffffff6af20fffULL },
> +  { c1957, 0xf93691ffffffffffULL },
> +  { c1958, 0xffffffff69da0fffULL },
> +  { c1959, 0x740a000000000001ULL },
> +  { c1960, 0x8901000000000001ULL },
> +  { c1961, 0xffffffe7f60fffffULL },
> +  { c1962, 0xffffffff7b903fffULL },
> +  { c1963, 0xfff7b903ffffffffULL },
> +  { c1964, 0x0cfa000000000001ULL },
> +  { c1965, 0xffffffff5fc07fffULL },
> +  { c1966, 0x8002000000000003ULL },
> +  { c1967, 0x986a000000000001ULL },
> +  { c1968, 0x001800000000003fULL },
> +  { c1969, 0x43da000000000001ULL },
> +  { c1970, 0x0006000000000001ULL },
> +  { c1971, 0xfb41000000000001ULL },
> +  { c1972, 0xfffffffd64083fffULL },
> +  { c1973, 0xad26000000000001ULL },
> +  { c1974, 0x4c6800000000000fULL },
> +  { c1975, 0xe635400000000001ULL },
> +  { c1976, 0xffffffff47fe7fffULL },
> +  { c1977, 0xffffffff563e7fffULL },
> +  { c1978, 0xc40a800000000001ULL },
> +  { c1979, 0xe6e7400000000001ULL },
> +  { c1980, 0xcdce800000000003ULL },
> +  { c1981, 0xa8cd000000000001ULL },
> +  { c1982, 0x13f6000000000001ULL },
> +  { c1983, 0xffffffff3ff200ffULL },
> +  { c1984, 0x02aa000000000001ULL },
> +  { c1985, 0x000a000000000001ULL },
> +  { c1986, 0xffffffff7ffaffffULL },
> +  { c1987, 0xb681000000000001ULL },
> +  { c1988, 0x0034000000000003ULL },
> +  { c1989, 0xffffff9ff97fffffULL },
> +  { c1990, 0xfffffffefff5ffffULL },
> +  { c1991, 0xd707000000000001ULL },
> +  { c1992, 0xfe28f8ffffffffffULL },
> +  { c1993, 0xffffffff7f963fffULL },
> +  { c1994, 0xd803000000000001ULL },
> +  { c1995, 0xffffffff3ff63fffULL },
> +  { c1996, 0xda1e000000000001ULL },
> +  { c1997, 0xf3a3800000000001ULL },
> +  { c1998, 0x1e0e000000000001ULL },
> +  { c1999, 0xb7c6000000000001ULL },
> +  { c2000, 0x36ba000000000001ULL }
> +};
> +
> +int
> +main (void)
> +{
> +  volatile struct fun *t;
> +
> +  for (t = values; t < values + sizeof (values) / sizeof (values[0]); ++t)
> +    if (t->f () != t->val)
> +      __builtin_abort ();
> +  return 0;
> +}
> diff --git a/gcc/testsuite/gcc.target/powerpc/rot_cst2.c b/gcc/testsuite/gcc.target/powerpc/rot_cst2.c
> new file mode 100644
> index 00000000000..7faa9cccadc
> --- /dev/null
> +++ b/gcc/testsuite/gcc.target/powerpc/rot_cst2.c
> @@ -0,0 +1,10 @@
> +/* { dg-do compile } */
> +/* { dg-options "-O2" } */
> +
> +#include "rot_cst.h"
> +
> +/* c10, c11, c12, c14, c15, c16, c30, c31, c32, c39, c40, c43, c44 are
> +   2 insn functions, the rest all 3 instructions.  */
> +/* { dg-final { scan-assembler-times {(?n)^\s+[a-z]} 3149 { target { lp64 } } } } */
> +
> +/* { dg-final { scan-assembler-times {(?n)^\s+[a-z]} 3784 { target { ilp32 } } } } */


More information about the Gcc-patches mailing list