[1/2] rs6000: building const with lis/li/pli+rldicx

diff --git a/gcc/config/rs6000/rs6000.cc b/gcc/config/rs6000/rs6000.cc
index 243247fb838..93438b4da07 100644
--- a/gcc/config/rs6000/rs6000.cc
+++ b/gcc/config/rs6000/rs6000.cc
@@ -10103,6 +10103,222 @@  rs6000_emit_set_const (rtx dest, rtx source)
   return true;
 }
 
+/* Check if C can be rotated from an immediate which starts with at least CLZ
+   bits zero.
+
+   Return the number by which C can be rotated from the immediate.
+   Return -1 if C can not be rotated as from.  */
+
+static int
+rotate_from_leading_zeros_const (unsigned HOST_WIDE_INT c, int clz)
+{
+  /* case a. 0..0xxx: already at least clz zeros.  */
+  int lz = clz_hwi (c);
+  if (lz >= clz)
+    return 0;
+
+  /* case b. 0..0xxx0..0: at least clz zeros.  */
+  int tz = ctz_hwi (c);
+  if (lz + tz >= clz)
+    return tz; /* mod width */
+
+  /* case c. xx10.....0xx: rotate 'clz + 1' bits firstly, then check case b.
+	       ^bit -> Vbit, then zeros are at head or tail.
+	     00...00xxx100, 'clz + 1' >= 'bits of xxxx'.  */
+  const int rot_bits = HOST_BITS_PER_WIDE_INT - clz + 1;
+  unsigned HOST_WIDE_INT rc = (c >> rot_bits) | (c << (clz - 1));
+  lz = clz_hwi (rc);
+  tz = ctz_hwi (rc);
+  if (lz + tz >= clz)
+    return tz + rot_bits;
+
+  return -1;
+}
+
+/* Check if C can be rotated from a negative value of li: 1..1xx
+   Return the number by which C can be rotated from the value of li.
+   Return -1 if C can not be rotated from a negative value of li.  */
+
+static int
+rotate_from_li_negative (unsigned HOST_WIDE_INT c)
+{
+  /* 1..1xx1..1. up to 15 x's  */
+  return rotate_from_leading_zeros_const (~c, 49);
+}
+
+/* Check if C can be rotated from a negative value of lis: 1..1xx0..0
+   return the number by which C can be rotated from the value of lis.
+   return -1 if C can not be rotated from a negative value of lis.  */
+
+static int
+rotate_from_lis_negative (unsigned HOST_WIDE_INT c)
+{
+  /* case a. 1..1xxx0..01..1: up to 15 x's, at least 16 0's.  */
+  int leading_ones = clz_hwi (~c);
+  int tailing_ones = ctz_hwi (~c);
+  int middle_zeros = ctz_hwi (c >> tailing_ones);
+  if (middle_zeros >= 16 && leading_ones + tailing_ones >= 33)
+    return tailing_ones;
+
+  /* case b. xx0..01..1xx: some of 15 x's (and some of 16 0's) are
+     rotated over highest bit.  */
+  int pos_one = clz_hwi ((c << 16) >> 16);
+  middle_zeros = ctz_hwi (c >> (HOST_BITS_PER_WIDE_INT - pos_one));
+  int middle_ones = clz_hwi (~(c << pos_one));
+  if (middle_zeros <= 21 && middle_zeros >= 16 && middle_ones >= 33)
+    return HOST_BITS_PER_WIDE_INT - pos_one;
+
+  return -1;
+}
+
+/* Check if C can be rotated from negative value of li/lis.  */
+
+static int
+rotate_from_lisli_negative (unsigned HOST_WIDE_INT c)
+{
+  int n = rotate_from_li_negative (c);
+  if (n < 0)
+    n = rotate_from_lis_negative (c);
+
+  return n;
+}
+
+static int
+rotate_from_pli_negative (unsigned HOST_WIDE_INT c)
+{
+  /* 1..1xx1..1. up to 33 x's  */
+  return rotate_from_leading_zeros_const (~c, 31);
+}
+
+/* Check if C can be rldic from negative value of pli or li.
+   MASK store the mask value for SH and MB of instruction rldic.
+   SIGN_BITS are the number of leading sig ones: 31 for pli, 49 for li.  */
+
+static int
+check_rldic (unsigned HOST_WIDE_INT c, unsigned HOST_WIDE_INT *mask,
+	     int sign_bits)
+{
+  gcc_assert (sign_bits == 49 || sign_bits == 31);
+
+  /* 1..1xx1..1: negative value of li/pli --> 0..01..1xx0..0:
+     right bits are shiftted as 0's, and left 1's(and x's) are clear.  */
+  int tz = ctz_hwi (c);
+  int lz = clz_hwi (c);
+  int middle_ones = clz_hwi (~(c << lz));
+  if (tz + lz + middle_ones >= sign_bits)
+    {
+      *mask = ((1ULL << (HOST_BITS_PER_WIDE_INT - tz - lz)) - 1ULL) << tz;
+      return tz;
+    }
+
+  /* 1..1xx1..1 --> 1..1xx0..01..1: some 1's(follwing x's) are clear. */
+  /* leading ones and tailing ones */
+  int lo = clz_hwi (~c);
+  int to = ctz_hwi (~c);
+  int middle_zeros = ctz_hwi (c >> to);
+  if (lo + to + middle_zeros >= sign_bits)
+    {
+      *mask = ~(((1ULL << middle_zeros) - 1ULL) << to);
+      return to + middle_zeros;
+    }
+
+  /* xx1..1xx: --> xx0..01..1xx: some 1's(follwing x's) are clear. */
+  /* The 24th bit would be in successive 0 or 1.  */
+  auto guess_shift = [&mask, c, sign_bits](int assum_succesive_bit) -> int {
+    int pos_01; /* possition for the first bit of sucessive 1.  */
+    unsigned HOST_WIDE_INT low_mask = (1UL << assum_succesive_bit) - 1;
+    pos_01 = ((c & (1ULL << assum_succesive_bit)) == 0)
+	       ? clz_hwi (c & low_mask)
+	       : HOST_BITS_PER_WIDE_INT - ctz_hwi (~(c | low_mask));
+
+    int middle_ones = clz_hwi (~c << pos_01);
+    int middle_zeros = ctz_hwi (c >> (HOST_BITS_PER_WIDE_INT - pos_01));
+    if (pos_01 < HOST_BITS_PER_WIDE_INT
+	&& middle_ones + middle_zeros < HOST_BITS_PER_WIDE_INT
+	&& middle_ones + middle_zeros >= sign_bits)
+      {
+	*mask = ~(((1ULL << middle_zeros) - 1ULL)
+		  << (HOST_BITS_PER_WIDE_INT - pos_01));
+	return HOST_BITS_PER_WIDE_INT - pos_01 + middle_zeros;
+      }
+    return -1;
+  };
+
+  /* For li (sign_bits == 49), bit 24 must be successive 0 or 1.  */
+  int n = guess_shift (24);
+  if (n >= 0 || sign_bits == 49)
+    return n;
+
+  /* For pli, the 40th bit may also be successive 0 or 1.  */
+  return guess_shift (40);
+}
+
+/* Check if value C can be generated by 2 instructions, base instruction
+   is li or lis, another instruction is rldicl, rldicr or rldic.
+   FOR_PLI is true if the base instruction is pli.
+   MASK is set as the mask value of rldicl, rldicr or rldic.
+   Returns the rotated number of bits for rldicl, rldicr or rldic.  */
+
+static int
+check_rotate_mask (unsigned HOST_WIDE_INT c, unsigned HOST_WIDE_INT *mask,
+		   bool for_pli)
+{
+  int (*check_rotate_negative) (unsigned HOST_WIDE_INT c)
+    = for_pli ? rotate_from_pli_negative : rotate_from_lisli_negative;
+  int sign_bits = for_pli ? 31 : 49;
+
+  /* 0..0xx: positive li, at least 49 0's. */
+  int n = rotate_from_leading_zeros_const (c, sign_bits);
+  if (n < 0)
+    n = check_rotate_negative (c);
+
+  *mask = HOST_WIDE_INT_M1U;
+  if (n >= 0)
+    return n;
+
+  /* Check if C can be rldicl from negative value li/lis or pli.  */
+  /* Changing leading zeros to ones to check the value.  */
+  int lz = clz_hwi (c);
+  n = check_rotate_negative (
+    c | (HOST_WIDE_INT_M1U << (HOST_BITS_PER_WIDE_INT - lz)));
+
+  *mask = HOST_WIDE_INT_M1U >> lz;
+  if (n >= 0)
+    return n;
+
+  /* Check if C can be rldicr from negative value of li/lis or pli.  */
+  /* Changing tailing zeros to ones to check the value.  */
+  int tz = ctz_hwi (c);
+  n = check_rotate_negative (c | ((HOST_WIDE_INT_1U << tz) - 1));
+
+  *mask = HOST_WIDE_INT_M1U << tz;
+  if (n >= 0)
+    return n;
+
+  return check_rldic (c, mask, sign_bits);
+}
+
+/* Check if value C can be generated by 2 instructions, one instruction
+   is li or lis, another instruction is rldicl, rldicr or rldic.
+   FOR_PLI is true if the base instruction is pli.
+   VAL is set as the value of rotated from: result of pli or lis/li.
+   SHIFT is set as number of bits for rldicl, rldicr or rldic.
+   MASK is set as the mask value of rldicl, rldicr or rldic.  */
+
+static bool
+check_rotate_mask (unsigned HOST_WIDE_INT c, HOST_WIDE_INT *val, int *shift,
+		   unsigned HOST_WIDE_INT *mask, bool for_pli)
+{
+  int n = check_rotate_mask (c, mask, for_pli);
+  if (n < 0)
+    return false;
+
+  c |= ~*mask;
+  *val = (c >> n) | (c << (HOST_BITS_PER_WIDE_INT - n));
+  *shift = n;
+  return true;
+}
+
 /* 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.  */
@@ -10113,6 +10329,9 @@  rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c)
   rtx temp;
   HOST_WIDE_INT ud1, ud2, ud3, ud4;
   HOST_WIDE_INT orig_c = c;
+  HOST_WIDE_INT val = c;
+  int shift;
+  unsigned HOST_WIDE_INT mask;
 
   ud1 = c & 0xffff;
   c = c >> 16;
@@ -10159,6 +10378,19 @@  rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c)
       emit_move_insn (dest, gen_rtx_XOR (DImode, copy_rtx (temp),
 					 GEN_INT (orig_c ^ imm)));
     }
+  else if (check_rotate_mask (orig_c, &val, &shift, &mask, false)
+	   || (TARGET_PREFIXED
+	       && check_rotate_mask (orig_c, &val, &shift, &mask, true)))
+    {
+      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/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
@@ -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..658c78b0b11
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/rot_cst2.c
@@ -0,0 +1,9 @@ 
+/* { dg-options "-O2 -mdejagnu-cpu=power8" } */
+
+#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 } } } } */