]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
s390x regtest: Rework dfpext
authorAndreas Arnez <arnez@linux.ibm.com>
Thu, 7 Sep 2023 14:43:25 +0000 (16:43 +0200)
committerAndreas Arnez <arnez@linux.ibm.com>
Thu, 7 Sep 2023 14:43:25 +0000 (16:43 +0200)
The dfpext test case uses `_Decimal*' types and thus cannot be compiled
with Clang.  Avoid this.  Also, remove a duplicate in the set of tested
values and adjust the output file accordingly.

none/tests/s390x/dfpext.c
none/tests/s390x/dfpext.stdout.exp

index d9a62d22f5d205ab0dc31418294b3f4e03652550..1f05e16caaada3854f52afd5097f51de2c85fe97 100644 (file)
-#include <stdio.h>
-#include "opcodes.h"
 #include "dfp_utils.h"
-#define __STDC_WANT_DEC_FP__ 1
-#include <float.h>
-
-#define L2D(insn,  initial, target,round)                               \
-  ({                                                                    \
-    register unsigned long source asm("2") =  initial;                  \
-    register typeof(target) _t asm("f0");                               \
-    asm volatile(insn(round,0,0,2) :"=f" (_t):"d"(source));             \
-    _t;                                                                 \
-  })
-
-#define I2D(insn,  initial, target,round)                               \
-  ({                                                                    \
-    register int source asm("2") =  initial;                            \
-    register typeof(target) _t asm("f0");                               \
-    asm volatile(insn(round,0,0,2) :"=f" (_t):"d"(source));             \
-    _t;                                                                 \
-})
-
-#define D2L(insn, initial, type, round, cc)                             \
-  ({                                                                    \
-    register type source asm("f0") =  initial;                          \
-    register unsigned long target asm ("2") = 0;                        \
-    asm volatile(insn(round,0,2,0)                                      \
-                 "ipm %1\n\t"                                           \
-                 "srl %1,28\n\t"                                        \
-                 :"=d" (target), "=d" (cc) :"f"(source):"cc");          \
-    target;                                                             \
-  })
-
-#define D2I(insn, initial, type, round, cc)                             \
-  ({                                                                    \
-    register type source asm("f0") =  initial;                          \
-    register int target asm ("2") = 0;                                  \
-    asm volatile(insn(round,0,2,0)                                      \
-                 "ipm %1\n\t"                                           \
-                 "srl %1,28\n\t"                                        \
-                 :"=d" (target), "=d" (cc) :"f"(source):"cc");          \
-    target;                                                             \
-})
-
-
-#define DO_PRINT_L2D(insn, l, d, round)                                 \
-  ({                                                                    \
-    printf(#insn " round=%d %lu -> ", 0x##round, l);                    \
-    d = L2D(insn, l, d, round);                                         \
-    DFP_VAL_PRINT(d, typeof(d));                                        \
-    printf("\n");                                                       \
-  })
-
-#define DO_INSN_L2D(insn, round, type)                                  \
-  ({                                                                    \
-    type d;                                                             \
-    DO_PRINT_L2D(insn, 0UL, d, round);                                  \
-    DO_PRINT_L2D(insn, 1UL, d, round);                                  \
-    DO_PRINT_L2D(insn, 0xffffffffUL, d, round);                         \
-    DO_PRINT_L2D(insn, 0x80000000UL, d, round);                         \
-    DO_PRINT_L2D(insn, 0x7fffffffUL, d, round);                         \
-    DO_PRINT_L2D(insn, 0x100000000UL, d, round);                        \
-    DO_PRINT_L2D(insn, 0xffffffffffffffffUL, d, round);                 \
-    DO_PRINT_L2D(insn, 0x8000000000000000UL, d, round);                 \
-    DO_PRINT_L2D(insn, 0x7fffffffffffffffUL, d, round);                 \
-  })
-
-#define DO_PRINT_I2D(insn, l, d, round)                                 \
-  ({                                                                    \
-    printf(#insn " round=%d %d -> ", 0x##round, l);                     \
-    d = I2D(insn, l, d, round);                                         \
-    DFP_VAL_PRINT(d, typeof(d));                                        \
-    printf("\n");                                                       \
-  })
-
-#define DO_INSN_I2D(insn, round, type)                                  \
-  ({                                                                    \
-    type d;                                                             \
-    DO_PRINT_I2D(insn, 0, d, round);                                    \
-    DO_PRINT_I2D(insn, 1, d, round);                                    \
-    DO_PRINT_I2D(insn, 0xffffffff, d, round);                           \
-    DO_PRINT_I2D(insn, 0x80000000, d, round);                           \
-    DO_PRINT_I2D(insn, 0x7fffffff, d, round);                           \
+#include <stdio.h>
+
+#define DO_PRINT_I2D(insn, l, type, round)                                     \
+   ({                                                                          \
+      int  source = l;                                                         \
+      type d;                                                                  \
+      printf(#insn " round=%d %d -> ", round, source);                         \
+      asm(".insn rrf," insn() "0000,%[r1],%[r2],%[m],0"                        \
+          : [r1] "=f"(d.f)                                                     \
+          : [r2] "d"(source), [m] "i"(round));                                 \
+      DFP_VAL_PRINT(d, type);                                                  \
+      printf("\n");                                                            \
    })
 
-#define DO_PRINT_D2L(insn, d, type, round, cc)                          \
-  ({                                                                    \
-    printf(#insn " round=%d ", 0x##round);                              \
-    DFP_VAL_PRINT(d, type);                                             \
-    printf(" -> %lu ", D2L(insn, d, type, round, cc));                  \
-    printf("cc=%d\n", cc);                                              \
-  })
-
-#define DO_INSN_D2L(insn, round, type)                                  \
-  ({                                                                    \
-    int cc;                                                             \
-    type d;                                                             \
-    d = -1.1DD;                                                         \
-    DO_PRINT_D2L(insn, d, type, round, cc);                             \
-    d = 0.DD;                                                           \
-    DO_PRINT_D2L(insn, d, type, round, cc);                             \
-    d = 1.DD;                                                           \
-    DO_PRINT_D2L(insn, d, type, round, cc);                             \
-    d = 1.4DD;                                                          \
-    DO_PRINT_D2L(insn, d, type, round, cc);                             \
-    d = 1.5DD;                                                          \
-    DO_PRINT_D2L(insn, d, type, round, cc);                             \
-    d = 1.6DD;                                                          \
-    DO_PRINT_D2L(insn, d, type, round, cc);                             \
-    d = 1.6E+4DD;                                                       \
-    DO_PRINT_D2L(insn, d, type, round, cc);                             \
-    d = 1.6E+8DD;                                                       \
-    DO_PRINT_D2L(insn, d, type, round, cc);                             \
-    d = 1.6E+4DD;                                                       \
-    DO_PRINT_D2L(insn, d, type, round, cc);                             \
-    d = 1.6E+12DD;                                                      \
-    DO_PRINT_D2L(insn, d, type, round, cc);                             \
-    d = 1.6E+20DD;                                                      \
-    DO_PRINT_D2L(insn, d, type, round, cc);                             \
-    d = 1.6E+200DD;                                                     \
-    DO_PRINT_D2L(insn, d, type, round, cc);                             \
-    d = 1.6E-4DD;                                                       \
-    DO_PRINT_D2L(insn, d, type, round, cc);                             \
-    d = DEC32_MIN;                                                      \
-    DO_PRINT_D2L(insn, d, type, round, cc);                             \
-    d = DEC32_MAX;                                                      \
-    DO_PRINT_D2L(insn, d, type, round, cc);                             \
-    d = DEC64_MIN;                                                      \
-    DO_PRINT_D2L(insn, d, type, round, cc);                             \
-    d = DEC64_MAX;                                                      \
-    DO_PRINT_D2L(insn, d, type, round, cc);                             \
-  })
-
-#define DO_PRINT_D2I(insn, d, type, round, cc)                          \
-  ({                                                                    \
-    printf(#insn " round=%d ", 0x##round);                              \
-    DFP_VAL_PRINT(d, type);                                             \
-    printf(" -> %d ", D2I(insn, d, type, round, cc));                   \
-    printf("cc=%d\n", cc);                                              \
-  })
-
-#define DO_INSN_D2I(insn, round, type)                                  \
-  ({                                                                    \
-    int cc;                                                             \
-    type d;                                                             \
-    d = -1.1DD;                                                         \
-    DO_PRINT_D2I(insn, d, type, round, cc);                             \
-    d = 0.DD;                                                           \
-    DO_PRINT_D2I(insn, d, type, round, cc);                             \
-    d = 1.DD;                                                           \
-    DO_PRINT_D2I(insn, d, type, round, cc);                             \
-    d = 1.4DD;                                                          \
-    DO_PRINT_D2I(insn, d, type, round, cc);                             \
-    d = 1.5DD;                                                          \
-    DO_PRINT_D2I(insn, d, type, round, cc);                             \
-    d = 1.6DD;                                                          \
-    DO_PRINT_D2I(insn, d, type, round, cc);                             \
-    d = 1.6E+4DD;                                                       \
-    DO_PRINT_D2I(insn, d, type, round, cc);                             \
-    d = 1.6E+8DD;                                                       \
-    DO_PRINT_D2I(insn, d, type, round, cc);                             \
-    d = 1.6E+4DD;                                                       \
-    DO_PRINT_D2I(insn, d, type, round, cc);                             \
-    d = 1.6E+12DD;                                                      \
-    DO_PRINT_D2I(insn, d, type, round, cc);                             \
-    d = 1.6E+20DD;                                                      \
-    DO_PRINT_D2I(insn, d, type, round, cc);                             \
-    d = 1.6E+200DD;                                                     \
-    DO_PRINT_D2I(insn, d, type, round, cc);                             \
-    d = 1.6E-4DD;                                                       \
-    DO_PRINT_D2I(insn, d, type, round, cc);                             \
-    d = DEC32_MIN;                                                      \
-    DO_PRINT_D2I(insn, d, type, round, cc);                             \
-    d = DEC32_MAX;                                                      \
-    DO_PRINT_D2I(insn, d, type, round, cc);                             \
-    d = DEC64_MIN;                                                      \
-    DO_PRINT_D2I(insn, d, type, round, cc);                             \
-    d = DEC64_MAX;                                                      \
-    DO_PRINT_D2I(insn, d, type, round, cc);                             \
-  })
-
-#define DO_D2L(round)                                                   \
-  ({                                                                    \
-    DO_INSN_D2L(CLFDTR, round, _Decimal64);                             \
-    DO_INSN_D2L(CLGDTR, round, _Decimal64);                             \
-    DO_INSN_D2I(CFDTR,  round, _Decimal64);                             \
-    DO_INSN_D2L(CLFXTR, round, _Decimal128);                            \
-    DO_INSN_D2L(CLGXTR, round, _Decimal128);                            \
-    DO_INSN_D2I(CFXTR,  round, _Decimal128);                            \
-  })
+#define DO_INSN_I2D(insn, round, type)                                         \
+   ({                                                                          \
+      DO_PRINT_I2D(insn, 0, type, round);                                      \
+      DO_PRINT_I2D(insn, 1, type, round);                                      \
+      DO_PRINT_I2D(insn, -1, type, round);                                     \
+      DO_PRINT_I2D(insn, -2147483648, type, round);                            \
+      DO_PRINT_I2D(insn, 0x7fffffff, type, round);                             \
+   })
 
+#define DO_PRINT_L2D(insn, l, type, round)                                     \
+   ({                                                                          \
+      unsigned long source = l;                                                \
+      type          d;                                                         \
+      printf(#insn " round=%d %lu -> ", round, source);                        \
+      asm(".insn rrf," insn() "0000,%[r1],%[r2],%[m],0"                        \
+          : [r1] "=f"(d.f)                                                     \
+          : [r2] "d"(source), [m] "i"(round));                                 \
+      DFP_VAL_PRINT(d, type);                                                  \
+      printf("\n");                                                            \
+   })
+
+#define DO_INSN_L2D(insn, round, type)                                         \
+   ({                                                                          \
+      DO_PRINT_L2D(insn, 0UL, type, round);                                    \
+      DO_PRINT_L2D(insn, 1UL, type, round);                                    \
+      DO_PRINT_L2D(insn, 0xffffffffUL, type, round);                           \
+      DO_PRINT_L2D(insn, 0x80000000UL, type, round);                           \
+      DO_PRINT_L2D(insn, 0x7fffffffUL, type, round);                           \
+      DO_PRINT_L2D(insn, 0x100000000UL, type, round);                          \
+      DO_PRINT_L2D(insn, 0xffffffffffffffffUL, type, round);                   \
+      DO_PRINT_L2D(insn, 0x8000000000000000UL, type, round);                   \
+      DO_PRINT_L2D(insn, 0x7fffffffffffffffUL, type, round);                   \
+   })
+
+#define DO_PRINT_D2I(insn, d, type, round, ity, fmt)                           \
+   ({                                                                          \
+      ity target = 0;                                                          \
+      int cc;                                                                  \
+      printf(#insn " round=%d ", round);                                       \
+      DFP_VAL_PRINT(d, type);                                                  \
+      asm(".insn rrf," insn() "0000,%[r1],%[r2],%[m],0\n\t"                    \
+                              "ipm %[c]\n\t"                                   \
+                              "srl %[c],28\n\t"                                \
+          : [r1] "+d"(target), [c] "=d"(cc)                                    \
+          : [r2] "f"(d.f), [m] "i"(round)                                      \
+          : "cc");                                                             \
+      printf(" -> " fmt " cc=%d\n", target, cc);                               \
+   })
+
+static const pun_d64 d64_vals[] = {
+   {0xa234000000000011}, /* -1.DD */
+   {0x2238000000000000}, /* 0.DD */
+   {0x2238000000000001}, /* 1.DD */
+   {0x2234000000000014}, /* 1.4DD */
+   {0x2234000000000015}, /* 1.5DD */
+   {0x2234000000000016}, /* 1.6DD */
+   {0x2244000000000016}, /* 1.6E+4DD */
+   {0x2254000000000016}, /* 1.6E+8DD */
+   {0x2264000000000016}, /* 1.6E+12DD */
+   {0x2284000000000016}, /* 1.6E+20DD */
+   {0x4154000000000016}, /* 1.6E+200DD */
+   {0x2224000000000016}, /* 1.6E-4DD */
+   {0x20bc000000000001}, /* DEC32_MIN */
+   {0x23a000000093fcff}, /* DEC32_MAX */
+   {0x003c000000000001}, /* DEC64_MIN */
+   {0x77fcff3fcff3fcff}, /* DEC64_MAX */
+};
+
+static const pun_d128 d128_vals[] = {
+   {{0xa207c00000000000, 0x0000000000000011}},
+   {{0x2208000000000000, 0x0000000000000000}},
+   {{0x2208000000000000, 0x0000000000000001}},
+   {{0x2207c00000000000, 0x0000000000000014}},
+   {{0x2207c00000000000, 0x0000000000000015}},
+   {{0x2207c00000000000, 0x0000000000000016}},
+   {{0x2208c00000000000, 0x0000000000000016}},
+   {{0x2209c00000000000, 0x0000000000000016}},
+   {{0x220ac00000000000, 0x0000000000000016}},
+   {{0x220cc00000000000, 0x0000000000000016}},
+   {{0x2239c00000000000, 0x0000000000000016}},
+   {{0x2206c00000000000, 0x0000000000000016}},
+   {{0x21f0400000000000, 0x0000000000000001}},
+   {{0x221e800000000000, 0x000000000093fcff}},
+   {{0x21a8400000000000, 0x0000000000000001}},
+   {{0x2264400000000000, 0x0024ff3fcff3fcff}},
+};
+
+#define DO_INSN_D2I(insn, round, t, ity, fmt)                                  \
+   ({                                                                          \
+      for (unsigned j = 0; j < sizeof(t##_vals) / sizeof(t##_vals[0]); j++) {  \
+         DO_PRINT_D2I(insn, t##_vals[j], pun_##t, round, ity, fmt);            \
+      }                                                                        \
+   })
+
+#define CLFDTR() "0xb943"
+#define CLGDTR() "0xb942"
+#define CLFXTR() "0xb94b"
+#define CLGXTR() "0xb94a"
+#define CFDTR()  "0xb941"
+#define CFXTR()  "0xb949"
+
+#define CDFTR()  "0xb951"
+#define CXFTR()  "0xb959"
+#define CDLFTR() "0xb953"
+#define CXLFTR() "0xb95b"
+#define CDLGTR() "0xb952"
+#define CXLGTR() "0xb95a"
+
+#define DO_D2L(round)                                                          \
+   ({                                                                          \
+      DO_INSN_D2I(CLFDTR, round, d64, unsigned, "%u");                         \
+      DO_INSN_D2I(CLGDTR, round, d64, unsigned long, "%lu");                   \
+      DO_INSN_D2I(CFDTR, round, d64, int, "%d");                               \
+      DO_INSN_D2I(CLFXTR, round, d128, unsigned, "%u");                        \
+      DO_INSN_D2I(CLGXTR, round, d128, unsigned long, "%lu");                  \
+      DO_INSN_D2I(CFXTR, round, d128, int, "%d");                              \
+   })
 
 int main()
 {
-  /* rounding mode is not used for the following insns */
-  DO_INSN_I2D(CDFTR,  0, _Decimal64);
-  DO_INSN_I2D(CXFTR,  0, _Decimal128);
-  DO_INSN_L2D(CDLFTR, 0, _Decimal64);
-  DO_INSN_L2D(CXLFTR, 0, _Decimal128);
-  DO_INSN_L2D(CXLGTR, 0, _Decimal128);
+   /* rounding mode is not used for the following insns */
+   DO_INSN_I2D(CDFTR, 0, pun_d64);
+   DO_INSN_I2D(CXFTR, 0, pun_d128);
+   DO_INSN_L2D(CDLFTR, 0, pun_d64);
+   DO_INSN_L2D(CXLFTR, 0, pun_d128);
+   DO_INSN_L2D(CXLGTR, 0, pun_d128);
 
-  /* Omit rounding mode value 0 and 2 as the current DFP rounding
-     mode is chosen for these values. */
-  DO_INSN_L2D(CDLGTR, 1, _Decimal64);
-  DO_D2L(1);
+   /* Omit rounding mode value 0 and 2 as the current DFP rounding
+      mode is chosen for these values. */
+   DO_INSN_L2D(CDLGTR, 1, pun_d64);
+   DO_D2L(1);
 
-  DO_INSN_L2D(CDLGTR, 3, _Decimal64);
-  DO_D2L(3);
+   DO_INSN_L2D(CDLGTR, 3, pun_d64);
+   DO_D2L(3);
 
-  DO_INSN_L2D(CDLGTR, 4, _Decimal64);
-  DO_D2L(4);
+   DO_INSN_L2D(CDLGTR, 4, pun_d64);
+   DO_D2L(4);
 
-  DO_INSN_L2D(CDLGTR, 5, _Decimal64);
-  DO_D2L(5);
+   DO_INSN_L2D(CDLGTR, 5, pun_d64);
+   DO_D2L(5);
 
-  DO_INSN_L2D(CDLGTR, 6, _Decimal64);
-  DO_D2L(6);
+   DO_INSN_L2D(CDLGTR, 6, pun_d64);
+   DO_D2L(6);
 
-  DO_INSN_L2D(CDLGTR, 7, _Decimal64);
-  DO_D2L(7);
+   DO_INSN_L2D(CDLGTR, 7, pun_d64);
+   DO_D2L(7);
 
-  DO_INSN_L2D(CDLGTR, 8, _Decimal64);
-  DO_D2L(8);
+   DO_INSN_L2D(CDLGTR, 8, pun_d64);
+   DO_D2L(8);
 
-  DO_INSN_L2D(CDLGTR, 9, _Decimal64);
-  DO_D2L(9);
+   DO_INSN_L2D(CDLGTR, 9, pun_d64);
+   DO_D2L(9);
 
-  DO_INSN_L2D(CDLGTR, a, _Decimal64);
-  DO_D2L(a);
+   DO_INSN_L2D(CDLGTR, 10, pun_d64);
+   DO_D2L(10);
 
-  DO_INSN_L2D(CDLGTR, b, _Decimal64);
-  DO_D2L(b);
+   DO_INSN_L2D(CDLGTR, 11, pun_d64);
+   DO_D2L(11);
 
-  DO_INSN_L2D(CDLGTR, c, _Decimal64);
-  DO_D2L(c);
+   DO_INSN_L2D(CDLGTR, 12, pun_d64);
+   DO_D2L(12);
 
-  DO_INSN_L2D(CDLGTR, d, _Decimal64);
-  DO_D2L(d);
+   DO_INSN_L2D(CDLGTR, 13, pun_d64);
+   DO_D2L(13);
 
-  DO_INSN_L2D(CDLGTR, e, _Decimal64);
-  DO_D2L(e);
+   DO_INSN_L2D(CDLGTR, 14, pun_d64);
+   DO_D2L(14);
 
-  DO_INSN_L2D(CDLGTR, f, _Decimal64);
-  DO_D2L(f);
+   DO_INSN_L2D(CDLGTR, 15, pun_d64);
+   DO_D2L(15);
 
-  return 0;
+   return 0;
 }
index 62368731b3ad2ddf4e7d261f8c35fd5f0c169718..2ad93880eab1ce3b7bbad15042a1e194ce610442 100644 (file)
@@ -52,7 +52,6 @@ CLFDTR round=1 2234000000000015 -> 2 cc=2
 CLFDTR round=1 2234000000000016 -> 2 cc=2
 CLFDTR round=1 2244000000000016 -> 16000 cc=2
 CLFDTR round=1 2254000000000016 -> 160000000 cc=2
-CLFDTR round=1 2244000000000016 -> 16000 cc=2
 CLFDTR round=1 2264000000000016 -> 4294967295 cc=3
 CLFDTR round=1 2284000000000016 -> 4294967295 cc=3
 CLFDTR round=1 4154000000000016 -> 4294967295 cc=3
@@ -69,7 +68,6 @@ CLGDTR round=1 2234000000000015 -> 2 cc=2
 CLGDTR round=1 2234000000000016 -> 2 cc=2
 CLGDTR round=1 2244000000000016 -> 16000 cc=2
 CLGDTR round=1 2254000000000016 -> 160000000 cc=2
-CLGDTR round=1 2244000000000016 -> 16000 cc=2
 CLGDTR round=1 2264000000000016 -> 1600000000000 cc=2
 CLGDTR round=1 2284000000000016 -> 18446744073709551615 cc=3
 CLGDTR round=1 4154000000000016 -> 18446744073709551615 cc=3
@@ -86,7 +84,6 @@ CFDTR round=1 2234000000000015 -> 2 cc=2
 CFDTR round=1 2234000000000016 -> 2 cc=2
 CFDTR round=1 2244000000000016 -> 16000 cc=2
 CFDTR round=1 2254000000000016 -> 160000000 cc=2
-CFDTR round=1 2244000000000016 -> 16000 cc=2
 CFDTR round=1 2264000000000016 -> 2147483647 cc=3
 CFDTR round=1 2284000000000016 -> 2147483647 cc=3
 CFDTR round=1 4154000000000016 -> 2147483647 cc=3
@@ -103,7 +100,6 @@ CLFXTR round=1 2207c000000000000000000000000015 -> 2 cc=2
 CLFXTR round=1 2207c000000000000000000000000016 -> 2 cc=2
 CLFXTR round=1 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=1 2209c000000000000000000000000016 -> 160000000 cc=2
-CLFXTR round=1 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=1 220ac000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=1 220cc000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=1 2239c000000000000000000000000016 -> 4294967295 cc=3
@@ -120,7 +116,6 @@ CLGXTR round=1 2207c000000000000000000000000015 -> 2 cc=2
 CLGXTR round=1 2207c000000000000000000000000016 -> 2 cc=2
 CLGXTR round=1 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=1 2209c000000000000000000000000016 -> 160000000 cc=2
-CLGXTR round=1 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=1 220ac000000000000000000000000016 -> 1600000000000 cc=2
 CLGXTR round=1 220cc000000000000000000000000016 -> 18446744073709551615 cc=3
 CLGXTR round=1 2239c000000000000000000000000016 -> 18446744073709551615 cc=3
@@ -137,7 +132,6 @@ CFXTR round=1 2207c000000000000000000000000015 -> 2 cc=2
 CFXTR round=1 2207c000000000000000000000000016 -> 2 cc=2
 CFXTR round=1 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=1 2209c000000000000000000000000016 -> 160000000 cc=2
-CFXTR round=1 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=1 220ac000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=1 220cc000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=1 2239c000000000000000000000000016 -> 2147483647 cc=3
@@ -163,7 +157,6 @@ CLFDTR round=3 2234000000000015 -> 1 cc=2
 CLFDTR round=3 2234000000000016 -> 1 cc=2
 CLFDTR round=3 2244000000000016 -> 16000 cc=2
 CLFDTR round=3 2254000000000016 -> 160000000 cc=2
-CLFDTR round=3 2244000000000016 -> 16000 cc=2
 CLFDTR round=3 2264000000000016 -> 4294967295 cc=3
 CLFDTR round=3 2284000000000016 -> 4294967295 cc=3
 CLFDTR round=3 4154000000000016 -> 4294967295 cc=3
@@ -180,7 +173,6 @@ CLGDTR round=3 2234000000000015 -> 1 cc=2
 CLGDTR round=3 2234000000000016 -> 1 cc=2
 CLGDTR round=3 2244000000000016 -> 16000 cc=2
 CLGDTR round=3 2254000000000016 -> 160000000 cc=2
-CLGDTR round=3 2244000000000016 -> 16000 cc=2
 CLGDTR round=3 2264000000000016 -> 1600000000000 cc=2
 CLGDTR round=3 2284000000000016 -> 18446744073709551615 cc=3
 CLGDTR round=3 4154000000000016 -> 18446744073709551615 cc=3
@@ -197,7 +189,6 @@ CFDTR round=3 2234000000000015 -> 1 cc=2
 CFDTR round=3 2234000000000016 -> 1 cc=2
 CFDTR round=3 2244000000000016 -> 16000 cc=2
 CFDTR round=3 2254000000000016 -> 160000000 cc=2
-CFDTR round=3 2244000000000016 -> 16000 cc=2
 CFDTR round=3 2264000000000016 -> 2147483647 cc=3
 CFDTR round=3 2284000000000016 -> 2147483647 cc=3
 CFDTR round=3 4154000000000016 -> 2147483647 cc=3
@@ -214,7 +205,6 @@ CLFXTR round=3 2207c000000000000000000000000015 -> 1 cc=2
 CLFXTR round=3 2207c000000000000000000000000016 -> 1 cc=2
 CLFXTR round=3 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=3 2209c000000000000000000000000016 -> 160000000 cc=2
-CLFXTR round=3 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=3 220ac000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=3 220cc000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=3 2239c000000000000000000000000016 -> 4294967295 cc=3
@@ -231,7 +221,6 @@ CLGXTR round=3 2207c000000000000000000000000015 -> 1 cc=2
 CLGXTR round=3 2207c000000000000000000000000016 -> 1 cc=2
 CLGXTR round=3 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=3 2209c000000000000000000000000016 -> 160000000 cc=2
-CLGXTR round=3 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=3 220ac000000000000000000000000016 -> 1600000000000 cc=2
 CLGXTR round=3 220cc000000000000000000000000016 -> 18446744073709551615 cc=3
 CLGXTR round=3 2239c000000000000000000000000016 -> 18446744073709551615 cc=3
@@ -248,7 +237,6 @@ CFXTR round=3 2207c000000000000000000000000015 -> 1 cc=2
 CFXTR round=3 2207c000000000000000000000000016 -> 1 cc=2
 CFXTR round=3 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=3 2209c000000000000000000000000016 -> 160000000 cc=2
-CFXTR round=3 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=3 220ac000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=3 220cc000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=3 2239c000000000000000000000000016 -> 2147483647 cc=3
@@ -274,7 +262,6 @@ CLFDTR round=4 2234000000000015 -> 2 cc=2
 CLFDTR round=4 2234000000000016 -> 2 cc=2
 CLFDTR round=4 2244000000000016 -> 16000 cc=2
 CLFDTR round=4 2254000000000016 -> 160000000 cc=2
-CLFDTR round=4 2244000000000016 -> 16000 cc=2
 CLFDTR round=4 2264000000000016 -> 4294967295 cc=3
 CLFDTR round=4 2284000000000016 -> 4294967295 cc=3
 CLFDTR round=4 4154000000000016 -> 4294967295 cc=3
@@ -291,7 +278,6 @@ CLGDTR round=4 2234000000000015 -> 2 cc=2
 CLGDTR round=4 2234000000000016 -> 2 cc=2
 CLGDTR round=4 2244000000000016 -> 16000 cc=2
 CLGDTR round=4 2254000000000016 -> 160000000 cc=2
-CLGDTR round=4 2244000000000016 -> 16000 cc=2
 CLGDTR round=4 2264000000000016 -> 1600000000000 cc=2
 CLGDTR round=4 2284000000000016 -> 18446744073709551615 cc=3
 CLGDTR round=4 4154000000000016 -> 18446744073709551615 cc=3
@@ -308,7 +294,6 @@ CFDTR round=4 2234000000000015 -> 2 cc=2
 CFDTR round=4 2234000000000016 -> 2 cc=2
 CFDTR round=4 2244000000000016 -> 16000 cc=2
 CFDTR round=4 2254000000000016 -> 160000000 cc=2
-CFDTR round=4 2244000000000016 -> 16000 cc=2
 CFDTR round=4 2264000000000016 -> 2147483647 cc=3
 CFDTR round=4 2284000000000016 -> 2147483647 cc=3
 CFDTR round=4 4154000000000016 -> 2147483647 cc=3
@@ -325,7 +310,6 @@ CLFXTR round=4 2207c000000000000000000000000015 -> 2 cc=2
 CLFXTR round=4 2207c000000000000000000000000016 -> 2 cc=2
 CLFXTR round=4 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=4 2209c000000000000000000000000016 -> 160000000 cc=2
-CLFXTR round=4 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=4 220ac000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=4 220cc000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=4 2239c000000000000000000000000016 -> 4294967295 cc=3
@@ -342,7 +326,6 @@ CLGXTR round=4 2207c000000000000000000000000015 -> 2 cc=2
 CLGXTR round=4 2207c000000000000000000000000016 -> 2 cc=2
 CLGXTR round=4 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=4 2209c000000000000000000000000016 -> 160000000 cc=2
-CLGXTR round=4 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=4 220ac000000000000000000000000016 -> 1600000000000 cc=2
 CLGXTR round=4 220cc000000000000000000000000016 -> 18446744073709551615 cc=3
 CLGXTR round=4 2239c000000000000000000000000016 -> 18446744073709551615 cc=3
@@ -359,7 +342,6 @@ CFXTR round=4 2207c000000000000000000000000015 -> 2 cc=2
 CFXTR round=4 2207c000000000000000000000000016 -> 2 cc=2
 CFXTR round=4 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=4 2209c000000000000000000000000016 -> 160000000 cc=2
-CFXTR round=4 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=4 220ac000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=4 220cc000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=4 2239c000000000000000000000000016 -> 2147483647 cc=3
@@ -385,7 +367,6 @@ CLFDTR round=5 2234000000000015 -> 1 cc=2
 CLFDTR round=5 2234000000000016 -> 1 cc=2
 CLFDTR round=5 2244000000000016 -> 16000 cc=2
 CLFDTR round=5 2254000000000016 -> 160000000 cc=2
-CLFDTR round=5 2244000000000016 -> 16000 cc=2
 CLFDTR round=5 2264000000000016 -> 4294967295 cc=3
 CLFDTR round=5 2284000000000016 -> 4294967295 cc=3
 CLFDTR round=5 4154000000000016 -> 4294967295 cc=3
@@ -402,7 +383,6 @@ CLGDTR round=5 2234000000000015 -> 1 cc=2
 CLGDTR round=5 2234000000000016 -> 1 cc=2
 CLGDTR round=5 2244000000000016 -> 16000 cc=2
 CLGDTR round=5 2254000000000016 -> 160000000 cc=2
-CLGDTR round=5 2244000000000016 -> 16000 cc=2
 CLGDTR round=5 2264000000000016 -> 1600000000000 cc=2
 CLGDTR round=5 2284000000000016 -> 18446744073709551615 cc=3
 CLGDTR round=5 4154000000000016 -> 18446744073709551615 cc=3
@@ -419,7 +399,6 @@ CFDTR round=5 2234000000000015 -> 1 cc=2
 CFDTR round=5 2234000000000016 -> 1 cc=2
 CFDTR round=5 2244000000000016 -> 16000 cc=2
 CFDTR round=5 2254000000000016 -> 160000000 cc=2
-CFDTR round=5 2244000000000016 -> 16000 cc=2
 CFDTR round=5 2264000000000016 -> 2147483647 cc=3
 CFDTR round=5 2284000000000016 -> 2147483647 cc=3
 CFDTR round=5 4154000000000016 -> 2147483647 cc=3
@@ -436,7 +415,6 @@ CLFXTR round=5 2207c000000000000000000000000015 -> 1 cc=2
 CLFXTR round=5 2207c000000000000000000000000016 -> 1 cc=2
 CLFXTR round=5 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=5 2209c000000000000000000000000016 -> 160000000 cc=2
-CLFXTR round=5 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=5 220ac000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=5 220cc000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=5 2239c000000000000000000000000016 -> 4294967295 cc=3
@@ -453,7 +431,6 @@ CLGXTR round=5 2207c000000000000000000000000015 -> 1 cc=2
 CLGXTR round=5 2207c000000000000000000000000016 -> 1 cc=2
 CLGXTR round=5 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=5 2209c000000000000000000000000016 -> 160000000 cc=2
-CLGXTR round=5 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=5 220ac000000000000000000000000016 -> 1600000000000 cc=2
 CLGXTR round=5 220cc000000000000000000000000016 -> 18446744073709551615 cc=3
 CLGXTR round=5 2239c000000000000000000000000016 -> 18446744073709551615 cc=3
@@ -470,7 +447,6 @@ CFXTR round=5 2207c000000000000000000000000015 -> 1 cc=2
 CFXTR round=5 2207c000000000000000000000000016 -> 1 cc=2
 CFXTR round=5 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=5 2209c000000000000000000000000016 -> 160000000 cc=2
-CFXTR round=5 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=5 220ac000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=5 220cc000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=5 2239c000000000000000000000000016 -> 2147483647 cc=3
@@ -496,7 +472,6 @@ CLFDTR round=6 2234000000000015 -> 2 cc=2
 CLFDTR round=6 2234000000000016 -> 2 cc=2
 CLFDTR round=6 2244000000000016 -> 16000 cc=2
 CLFDTR round=6 2254000000000016 -> 160000000 cc=2
-CLFDTR round=6 2244000000000016 -> 16000 cc=2
 CLFDTR round=6 2264000000000016 -> 4294967295 cc=3
 CLFDTR round=6 2284000000000016 -> 4294967295 cc=3
 CLFDTR round=6 4154000000000016 -> 4294967295 cc=3
@@ -513,7 +488,6 @@ CLGDTR round=6 2234000000000015 -> 2 cc=2
 CLGDTR round=6 2234000000000016 -> 2 cc=2
 CLGDTR round=6 2244000000000016 -> 16000 cc=2
 CLGDTR round=6 2254000000000016 -> 160000000 cc=2
-CLGDTR round=6 2244000000000016 -> 16000 cc=2
 CLGDTR round=6 2264000000000016 -> 1600000000000 cc=2
 CLGDTR round=6 2284000000000016 -> 18446744073709551615 cc=3
 CLGDTR round=6 4154000000000016 -> 18446744073709551615 cc=3
@@ -530,7 +504,6 @@ CFDTR round=6 2234000000000015 -> 2 cc=2
 CFDTR round=6 2234000000000016 -> 2 cc=2
 CFDTR round=6 2244000000000016 -> 16000 cc=2
 CFDTR round=6 2254000000000016 -> 160000000 cc=2
-CFDTR round=6 2244000000000016 -> 16000 cc=2
 CFDTR round=6 2264000000000016 -> 2147483647 cc=3
 CFDTR round=6 2284000000000016 -> 2147483647 cc=3
 CFDTR round=6 4154000000000016 -> 2147483647 cc=3
@@ -547,7 +520,6 @@ CLFXTR round=6 2207c000000000000000000000000015 -> 2 cc=2
 CLFXTR round=6 2207c000000000000000000000000016 -> 2 cc=2
 CLFXTR round=6 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=6 2209c000000000000000000000000016 -> 160000000 cc=2
-CLFXTR round=6 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=6 220ac000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=6 220cc000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=6 2239c000000000000000000000000016 -> 4294967295 cc=3
@@ -564,7 +536,6 @@ CLGXTR round=6 2207c000000000000000000000000015 -> 2 cc=2
 CLGXTR round=6 2207c000000000000000000000000016 -> 2 cc=2
 CLGXTR round=6 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=6 2209c000000000000000000000000016 -> 160000000 cc=2
-CLGXTR round=6 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=6 220ac000000000000000000000000016 -> 1600000000000 cc=2
 CLGXTR round=6 220cc000000000000000000000000016 -> 18446744073709551615 cc=3
 CLGXTR round=6 2239c000000000000000000000000016 -> 18446744073709551615 cc=3
@@ -581,7 +552,6 @@ CFXTR round=6 2207c000000000000000000000000015 -> 2 cc=2
 CFXTR round=6 2207c000000000000000000000000016 -> 2 cc=2
 CFXTR round=6 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=6 2209c000000000000000000000000016 -> 160000000 cc=2
-CFXTR round=6 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=6 220ac000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=6 220cc000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=6 2239c000000000000000000000000016 -> 2147483647 cc=3
@@ -607,7 +577,6 @@ CLFDTR round=7 2234000000000015 -> 1 cc=2
 CLFDTR round=7 2234000000000016 -> 1 cc=2
 CLFDTR round=7 2244000000000016 -> 16000 cc=2
 CLFDTR round=7 2254000000000016 -> 160000000 cc=2
-CLFDTR round=7 2244000000000016 -> 16000 cc=2
 CLFDTR round=7 2264000000000016 -> 4294967295 cc=3
 CLFDTR round=7 2284000000000016 -> 4294967295 cc=3
 CLFDTR round=7 4154000000000016 -> 4294967295 cc=3
@@ -624,7 +593,6 @@ CLGDTR round=7 2234000000000015 -> 1 cc=2
 CLGDTR round=7 2234000000000016 -> 1 cc=2
 CLGDTR round=7 2244000000000016 -> 16000 cc=2
 CLGDTR round=7 2254000000000016 -> 160000000 cc=2
-CLGDTR round=7 2244000000000016 -> 16000 cc=2
 CLGDTR round=7 2264000000000016 -> 1600000000000 cc=2
 CLGDTR round=7 2284000000000016 -> 18446744073709551615 cc=3
 CLGDTR round=7 4154000000000016 -> 18446744073709551615 cc=3
@@ -641,7 +609,6 @@ CFDTR round=7 2234000000000015 -> 1 cc=2
 CFDTR round=7 2234000000000016 -> 1 cc=2
 CFDTR round=7 2244000000000016 -> 16000 cc=2
 CFDTR round=7 2254000000000016 -> 160000000 cc=2
-CFDTR round=7 2244000000000016 -> 16000 cc=2
 CFDTR round=7 2264000000000016 -> 2147483647 cc=3
 CFDTR round=7 2284000000000016 -> 2147483647 cc=3
 CFDTR round=7 4154000000000016 -> 2147483647 cc=3
@@ -658,7 +625,6 @@ CLFXTR round=7 2207c000000000000000000000000015 -> 1 cc=2
 CLFXTR round=7 2207c000000000000000000000000016 -> 1 cc=2
 CLFXTR round=7 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=7 2209c000000000000000000000000016 -> 160000000 cc=2
-CLFXTR round=7 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=7 220ac000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=7 220cc000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=7 2239c000000000000000000000000016 -> 4294967295 cc=3
@@ -675,7 +641,6 @@ CLGXTR round=7 2207c000000000000000000000000015 -> 1 cc=2
 CLGXTR round=7 2207c000000000000000000000000016 -> 1 cc=2
 CLGXTR round=7 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=7 2209c000000000000000000000000016 -> 160000000 cc=2
-CLGXTR round=7 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=7 220ac000000000000000000000000016 -> 1600000000000 cc=2
 CLGXTR round=7 220cc000000000000000000000000016 -> 18446744073709551615 cc=3
 CLGXTR round=7 2239c000000000000000000000000016 -> 18446744073709551615 cc=3
@@ -692,7 +657,6 @@ CFXTR round=7 2207c000000000000000000000000015 -> 1 cc=2
 CFXTR round=7 2207c000000000000000000000000016 -> 1 cc=2
 CFXTR round=7 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=7 2209c000000000000000000000000016 -> 160000000 cc=2
-CFXTR round=7 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=7 220ac000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=7 220cc000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=7 2239c000000000000000000000000016 -> 2147483647 cc=3
@@ -718,7 +682,6 @@ CLFDTR round=8 2234000000000015 -> 2 cc=2
 CLFDTR round=8 2234000000000016 -> 2 cc=2
 CLFDTR round=8 2244000000000016 -> 16000 cc=2
 CLFDTR round=8 2254000000000016 -> 160000000 cc=2
-CLFDTR round=8 2244000000000016 -> 16000 cc=2
 CLFDTR round=8 2264000000000016 -> 4294967295 cc=3
 CLFDTR round=8 2284000000000016 -> 4294967295 cc=3
 CLFDTR round=8 4154000000000016 -> 4294967295 cc=3
@@ -735,7 +698,6 @@ CLGDTR round=8 2234000000000015 -> 2 cc=2
 CLGDTR round=8 2234000000000016 -> 2 cc=2
 CLGDTR round=8 2244000000000016 -> 16000 cc=2
 CLGDTR round=8 2254000000000016 -> 160000000 cc=2
-CLGDTR round=8 2244000000000016 -> 16000 cc=2
 CLGDTR round=8 2264000000000016 -> 1600000000000 cc=2
 CLGDTR round=8 2284000000000016 -> 18446744073709551615 cc=3
 CLGDTR round=8 4154000000000016 -> 18446744073709551615 cc=3
@@ -752,7 +714,6 @@ CFDTR round=8 2234000000000015 -> 2 cc=2
 CFDTR round=8 2234000000000016 -> 2 cc=2
 CFDTR round=8 2244000000000016 -> 16000 cc=2
 CFDTR round=8 2254000000000016 -> 160000000 cc=2
-CFDTR round=8 2244000000000016 -> 16000 cc=2
 CFDTR round=8 2264000000000016 -> 2147483647 cc=3
 CFDTR round=8 2284000000000016 -> 2147483647 cc=3
 CFDTR round=8 4154000000000016 -> 2147483647 cc=3
@@ -769,7 +730,6 @@ CLFXTR round=8 2207c000000000000000000000000015 -> 2 cc=2
 CLFXTR round=8 2207c000000000000000000000000016 -> 2 cc=2
 CLFXTR round=8 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=8 2209c000000000000000000000000016 -> 160000000 cc=2
-CLFXTR round=8 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=8 220ac000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=8 220cc000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=8 2239c000000000000000000000000016 -> 4294967295 cc=3
@@ -786,7 +746,6 @@ CLGXTR round=8 2207c000000000000000000000000015 -> 2 cc=2
 CLGXTR round=8 2207c000000000000000000000000016 -> 2 cc=2
 CLGXTR round=8 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=8 2209c000000000000000000000000016 -> 160000000 cc=2
-CLGXTR round=8 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=8 220ac000000000000000000000000016 -> 1600000000000 cc=2
 CLGXTR round=8 220cc000000000000000000000000016 -> 18446744073709551615 cc=3
 CLGXTR round=8 2239c000000000000000000000000016 -> 18446744073709551615 cc=3
@@ -803,7 +762,6 @@ CFXTR round=8 2207c000000000000000000000000015 -> 2 cc=2
 CFXTR round=8 2207c000000000000000000000000016 -> 2 cc=2
 CFXTR round=8 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=8 2209c000000000000000000000000016 -> 160000000 cc=2
-CFXTR round=8 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=8 220ac000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=8 220cc000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=8 2239c000000000000000000000000016 -> 2147483647 cc=3
@@ -829,7 +787,6 @@ CLFDTR round=9 2234000000000015 -> 1 cc=2
 CLFDTR round=9 2234000000000016 -> 1 cc=2
 CLFDTR round=9 2244000000000016 -> 16000 cc=2
 CLFDTR round=9 2254000000000016 -> 160000000 cc=2
-CLFDTR round=9 2244000000000016 -> 16000 cc=2
 CLFDTR round=9 2264000000000016 -> 4294967295 cc=3
 CLFDTR round=9 2284000000000016 -> 4294967295 cc=3
 CLFDTR round=9 4154000000000016 -> 4294967295 cc=3
@@ -846,7 +803,6 @@ CLGDTR round=9 2234000000000015 -> 1 cc=2
 CLGDTR round=9 2234000000000016 -> 1 cc=2
 CLGDTR round=9 2244000000000016 -> 16000 cc=2
 CLGDTR round=9 2254000000000016 -> 160000000 cc=2
-CLGDTR round=9 2244000000000016 -> 16000 cc=2
 CLGDTR round=9 2264000000000016 -> 1600000000000 cc=2
 CLGDTR round=9 2284000000000016 -> 18446744073709551615 cc=3
 CLGDTR round=9 4154000000000016 -> 18446744073709551615 cc=3
@@ -863,7 +819,6 @@ CFDTR round=9 2234000000000015 -> 1 cc=2
 CFDTR round=9 2234000000000016 -> 1 cc=2
 CFDTR round=9 2244000000000016 -> 16000 cc=2
 CFDTR round=9 2254000000000016 -> 160000000 cc=2
-CFDTR round=9 2244000000000016 -> 16000 cc=2
 CFDTR round=9 2264000000000016 -> 2147483647 cc=3
 CFDTR round=9 2284000000000016 -> 2147483647 cc=3
 CFDTR round=9 4154000000000016 -> 2147483647 cc=3
@@ -880,7 +835,6 @@ CLFXTR round=9 2207c000000000000000000000000015 -> 1 cc=2
 CLFXTR round=9 2207c000000000000000000000000016 -> 1 cc=2
 CLFXTR round=9 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=9 2209c000000000000000000000000016 -> 160000000 cc=2
-CLFXTR round=9 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=9 220ac000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=9 220cc000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=9 2239c000000000000000000000000016 -> 4294967295 cc=3
@@ -897,7 +851,6 @@ CLGXTR round=9 2207c000000000000000000000000015 -> 1 cc=2
 CLGXTR round=9 2207c000000000000000000000000016 -> 1 cc=2
 CLGXTR round=9 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=9 2209c000000000000000000000000016 -> 160000000 cc=2
-CLGXTR round=9 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=9 220ac000000000000000000000000016 -> 1600000000000 cc=2
 CLGXTR round=9 220cc000000000000000000000000016 -> 18446744073709551615 cc=3
 CLGXTR round=9 2239c000000000000000000000000016 -> 18446744073709551615 cc=3
@@ -914,7 +867,6 @@ CFXTR round=9 2207c000000000000000000000000015 -> 1 cc=2
 CFXTR round=9 2207c000000000000000000000000016 -> 1 cc=2
 CFXTR round=9 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=9 2209c000000000000000000000000016 -> 160000000 cc=2
-CFXTR round=9 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=9 220ac000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=9 220cc000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=9 2239c000000000000000000000000016 -> 2147483647 cc=3
@@ -940,7 +892,6 @@ CLFDTR round=10 2234000000000015 -> 2 cc=2
 CLFDTR round=10 2234000000000016 -> 2 cc=2
 CLFDTR round=10 2244000000000016 -> 16000 cc=2
 CLFDTR round=10 2254000000000016 -> 160000000 cc=2
-CLFDTR round=10 2244000000000016 -> 16000 cc=2
 CLFDTR round=10 2264000000000016 -> 4294967295 cc=3
 CLFDTR round=10 2284000000000016 -> 4294967295 cc=3
 CLFDTR round=10 4154000000000016 -> 4294967295 cc=3
@@ -957,7 +908,6 @@ CLGDTR round=10 2234000000000015 -> 2 cc=2
 CLGDTR round=10 2234000000000016 -> 2 cc=2
 CLGDTR round=10 2244000000000016 -> 16000 cc=2
 CLGDTR round=10 2254000000000016 -> 160000000 cc=2
-CLGDTR round=10 2244000000000016 -> 16000 cc=2
 CLGDTR round=10 2264000000000016 -> 1600000000000 cc=2
 CLGDTR round=10 2284000000000016 -> 18446744073709551615 cc=3
 CLGDTR round=10 4154000000000016 -> 18446744073709551615 cc=3
@@ -974,7 +924,6 @@ CFDTR round=10 2234000000000015 -> 2 cc=2
 CFDTR round=10 2234000000000016 -> 2 cc=2
 CFDTR round=10 2244000000000016 -> 16000 cc=2
 CFDTR round=10 2254000000000016 -> 160000000 cc=2
-CFDTR round=10 2244000000000016 -> 16000 cc=2
 CFDTR round=10 2264000000000016 -> 2147483647 cc=3
 CFDTR round=10 2284000000000016 -> 2147483647 cc=3
 CFDTR round=10 4154000000000016 -> 2147483647 cc=3
@@ -991,7 +940,6 @@ CLFXTR round=10 2207c000000000000000000000000015 -> 2 cc=2
 CLFXTR round=10 2207c000000000000000000000000016 -> 2 cc=2
 CLFXTR round=10 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=10 2209c000000000000000000000000016 -> 160000000 cc=2
-CLFXTR round=10 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=10 220ac000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=10 220cc000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=10 2239c000000000000000000000000016 -> 4294967295 cc=3
@@ -1008,7 +956,6 @@ CLGXTR round=10 2207c000000000000000000000000015 -> 2 cc=2
 CLGXTR round=10 2207c000000000000000000000000016 -> 2 cc=2
 CLGXTR round=10 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=10 2209c000000000000000000000000016 -> 160000000 cc=2
-CLGXTR round=10 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=10 220ac000000000000000000000000016 -> 1600000000000 cc=2
 CLGXTR round=10 220cc000000000000000000000000016 -> 18446744073709551615 cc=3
 CLGXTR round=10 2239c000000000000000000000000016 -> 18446744073709551615 cc=3
@@ -1025,7 +972,6 @@ CFXTR round=10 2207c000000000000000000000000015 -> 2 cc=2
 CFXTR round=10 2207c000000000000000000000000016 -> 2 cc=2
 CFXTR round=10 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=10 2209c000000000000000000000000016 -> 160000000 cc=2
-CFXTR round=10 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=10 220ac000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=10 220cc000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=10 2239c000000000000000000000000016 -> 2147483647 cc=3
@@ -1051,7 +997,6 @@ CLFDTR round=11 2234000000000015 -> 1 cc=2
 CLFDTR round=11 2234000000000016 -> 1 cc=2
 CLFDTR round=11 2244000000000016 -> 16000 cc=2
 CLFDTR round=11 2254000000000016 -> 160000000 cc=2
-CLFDTR round=11 2244000000000016 -> 16000 cc=2
 CLFDTR round=11 2264000000000016 -> 4294967295 cc=3
 CLFDTR round=11 2284000000000016 -> 4294967295 cc=3
 CLFDTR round=11 4154000000000016 -> 4294967295 cc=3
@@ -1068,7 +1013,6 @@ CLGDTR round=11 2234000000000015 -> 1 cc=2
 CLGDTR round=11 2234000000000016 -> 1 cc=2
 CLGDTR round=11 2244000000000016 -> 16000 cc=2
 CLGDTR round=11 2254000000000016 -> 160000000 cc=2
-CLGDTR round=11 2244000000000016 -> 16000 cc=2
 CLGDTR round=11 2264000000000016 -> 1600000000000 cc=2
 CLGDTR round=11 2284000000000016 -> 18446744073709551615 cc=3
 CLGDTR round=11 4154000000000016 -> 18446744073709551615 cc=3
@@ -1085,7 +1029,6 @@ CFDTR round=11 2234000000000015 -> 1 cc=2
 CFDTR round=11 2234000000000016 -> 1 cc=2
 CFDTR round=11 2244000000000016 -> 16000 cc=2
 CFDTR round=11 2254000000000016 -> 160000000 cc=2
-CFDTR round=11 2244000000000016 -> 16000 cc=2
 CFDTR round=11 2264000000000016 -> 2147483647 cc=3
 CFDTR round=11 2284000000000016 -> 2147483647 cc=3
 CFDTR round=11 4154000000000016 -> 2147483647 cc=3
@@ -1102,7 +1045,6 @@ CLFXTR round=11 2207c000000000000000000000000015 -> 1 cc=2
 CLFXTR round=11 2207c000000000000000000000000016 -> 1 cc=2
 CLFXTR round=11 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=11 2209c000000000000000000000000016 -> 160000000 cc=2
-CLFXTR round=11 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=11 220ac000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=11 220cc000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=11 2239c000000000000000000000000016 -> 4294967295 cc=3
@@ -1119,7 +1061,6 @@ CLGXTR round=11 2207c000000000000000000000000015 -> 1 cc=2
 CLGXTR round=11 2207c000000000000000000000000016 -> 1 cc=2
 CLGXTR round=11 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=11 2209c000000000000000000000000016 -> 160000000 cc=2
-CLGXTR round=11 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=11 220ac000000000000000000000000016 -> 1600000000000 cc=2
 CLGXTR round=11 220cc000000000000000000000000016 -> 18446744073709551615 cc=3
 CLGXTR round=11 2239c000000000000000000000000016 -> 18446744073709551615 cc=3
@@ -1136,7 +1077,6 @@ CFXTR round=11 2207c000000000000000000000000015 -> 1 cc=2
 CFXTR round=11 2207c000000000000000000000000016 -> 1 cc=2
 CFXTR round=11 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=11 2209c000000000000000000000000016 -> 160000000 cc=2
-CFXTR round=11 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=11 220ac000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=11 220cc000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=11 2239c000000000000000000000000016 -> 2147483647 cc=3
@@ -1162,7 +1102,6 @@ CLFDTR round=12 2234000000000015 -> 2 cc=2
 CLFDTR round=12 2234000000000016 -> 2 cc=2
 CLFDTR round=12 2244000000000016 -> 16000 cc=2
 CLFDTR round=12 2254000000000016 -> 160000000 cc=2
-CLFDTR round=12 2244000000000016 -> 16000 cc=2
 CLFDTR round=12 2264000000000016 -> 4294967295 cc=3
 CLFDTR round=12 2284000000000016 -> 4294967295 cc=3
 CLFDTR round=12 4154000000000016 -> 4294967295 cc=3
@@ -1179,7 +1118,6 @@ CLGDTR round=12 2234000000000015 -> 2 cc=2
 CLGDTR round=12 2234000000000016 -> 2 cc=2
 CLGDTR round=12 2244000000000016 -> 16000 cc=2
 CLGDTR round=12 2254000000000016 -> 160000000 cc=2
-CLGDTR round=12 2244000000000016 -> 16000 cc=2
 CLGDTR round=12 2264000000000016 -> 1600000000000 cc=2
 CLGDTR round=12 2284000000000016 -> 18446744073709551615 cc=3
 CLGDTR round=12 4154000000000016 -> 18446744073709551615 cc=3
@@ -1196,7 +1134,6 @@ CFDTR round=12 2234000000000015 -> 2 cc=2
 CFDTR round=12 2234000000000016 -> 2 cc=2
 CFDTR round=12 2244000000000016 -> 16000 cc=2
 CFDTR round=12 2254000000000016 -> 160000000 cc=2
-CFDTR round=12 2244000000000016 -> 16000 cc=2
 CFDTR round=12 2264000000000016 -> 2147483647 cc=3
 CFDTR round=12 2284000000000016 -> 2147483647 cc=3
 CFDTR round=12 4154000000000016 -> 2147483647 cc=3
@@ -1213,7 +1150,6 @@ CLFXTR round=12 2207c000000000000000000000000015 -> 2 cc=2
 CLFXTR round=12 2207c000000000000000000000000016 -> 2 cc=2
 CLFXTR round=12 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=12 2209c000000000000000000000000016 -> 160000000 cc=2
-CLFXTR round=12 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=12 220ac000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=12 220cc000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=12 2239c000000000000000000000000016 -> 4294967295 cc=3
@@ -1230,7 +1166,6 @@ CLGXTR round=12 2207c000000000000000000000000015 -> 2 cc=2
 CLGXTR round=12 2207c000000000000000000000000016 -> 2 cc=2
 CLGXTR round=12 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=12 2209c000000000000000000000000016 -> 160000000 cc=2
-CLGXTR round=12 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=12 220ac000000000000000000000000016 -> 1600000000000 cc=2
 CLGXTR round=12 220cc000000000000000000000000016 -> 18446744073709551615 cc=3
 CLGXTR round=12 2239c000000000000000000000000016 -> 18446744073709551615 cc=3
@@ -1247,7 +1182,6 @@ CFXTR round=12 2207c000000000000000000000000015 -> 2 cc=2
 CFXTR round=12 2207c000000000000000000000000016 -> 2 cc=2
 CFXTR round=12 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=12 2209c000000000000000000000000016 -> 160000000 cc=2
-CFXTR round=12 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=12 220ac000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=12 220cc000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=12 2239c000000000000000000000000016 -> 2147483647 cc=3
@@ -1273,7 +1207,6 @@ CLFDTR round=13 2234000000000015 -> 1 cc=2
 CLFDTR round=13 2234000000000016 -> 2 cc=2
 CLFDTR round=13 2244000000000016 -> 16000 cc=2
 CLFDTR round=13 2254000000000016 -> 160000000 cc=2
-CLFDTR round=13 2244000000000016 -> 16000 cc=2
 CLFDTR round=13 2264000000000016 -> 4294967295 cc=3
 CLFDTR round=13 2284000000000016 -> 4294967295 cc=3
 CLFDTR round=13 4154000000000016 -> 4294967295 cc=3
@@ -1290,7 +1223,6 @@ CLGDTR round=13 2234000000000015 -> 1 cc=2
 CLGDTR round=13 2234000000000016 -> 2 cc=2
 CLGDTR round=13 2244000000000016 -> 16000 cc=2
 CLGDTR round=13 2254000000000016 -> 160000000 cc=2
-CLGDTR round=13 2244000000000016 -> 16000 cc=2
 CLGDTR round=13 2264000000000016 -> 1600000000000 cc=2
 CLGDTR round=13 2284000000000016 -> 18446744073709551615 cc=3
 CLGDTR round=13 4154000000000016 -> 18446744073709551615 cc=3
@@ -1307,7 +1239,6 @@ CFDTR round=13 2234000000000015 -> 1 cc=2
 CFDTR round=13 2234000000000016 -> 2 cc=2
 CFDTR round=13 2244000000000016 -> 16000 cc=2
 CFDTR round=13 2254000000000016 -> 160000000 cc=2
-CFDTR round=13 2244000000000016 -> 16000 cc=2
 CFDTR round=13 2264000000000016 -> 2147483647 cc=3
 CFDTR round=13 2284000000000016 -> 2147483647 cc=3
 CFDTR round=13 4154000000000016 -> 2147483647 cc=3
@@ -1324,7 +1255,6 @@ CLFXTR round=13 2207c000000000000000000000000015 -> 1 cc=2
 CLFXTR round=13 2207c000000000000000000000000016 -> 2 cc=2
 CLFXTR round=13 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=13 2209c000000000000000000000000016 -> 160000000 cc=2
-CLFXTR round=13 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=13 220ac000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=13 220cc000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=13 2239c000000000000000000000000016 -> 4294967295 cc=3
@@ -1341,7 +1271,6 @@ CLGXTR round=13 2207c000000000000000000000000015 -> 1 cc=2
 CLGXTR round=13 2207c000000000000000000000000016 -> 2 cc=2
 CLGXTR round=13 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=13 2209c000000000000000000000000016 -> 160000000 cc=2
-CLGXTR round=13 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=13 220ac000000000000000000000000016 -> 1600000000000 cc=2
 CLGXTR round=13 220cc000000000000000000000000016 -> 18446744073709551615 cc=3
 CLGXTR round=13 2239c000000000000000000000000016 -> 18446744073709551615 cc=3
@@ -1358,7 +1287,6 @@ CFXTR round=13 2207c000000000000000000000000015 -> 1 cc=2
 CFXTR round=13 2207c000000000000000000000000016 -> 2 cc=2
 CFXTR round=13 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=13 2209c000000000000000000000000016 -> 160000000 cc=2
-CFXTR round=13 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=13 220ac000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=13 220cc000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=13 2239c000000000000000000000000016 -> 2147483647 cc=3
@@ -1384,7 +1312,6 @@ CLFDTR round=14 2234000000000015 -> 2 cc=2
 CLFDTR round=14 2234000000000016 -> 2 cc=2
 CLFDTR round=14 2244000000000016 -> 16000 cc=2
 CLFDTR round=14 2254000000000016 -> 160000000 cc=2
-CLFDTR round=14 2244000000000016 -> 16000 cc=2
 CLFDTR round=14 2264000000000016 -> 4294967295 cc=3
 CLFDTR round=14 2284000000000016 -> 4294967295 cc=3
 CLFDTR round=14 4154000000000016 -> 4294967295 cc=3
@@ -1401,7 +1328,6 @@ CLGDTR round=14 2234000000000015 -> 2 cc=2
 CLGDTR round=14 2234000000000016 -> 2 cc=2
 CLGDTR round=14 2244000000000016 -> 16000 cc=2
 CLGDTR round=14 2254000000000016 -> 160000000 cc=2
-CLGDTR round=14 2244000000000016 -> 16000 cc=2
 CLGDTR round=14 2264000000000016 -> 1600000000000 cc=2
 CLGDTR round=14 2284000000000016 -> 18446744073709551615 cc=3
 CLGDTR round=14 4154000000000016 -> 18446744073709551615 cc=3
@@ -1418,7 +1344,6 @@ CFDTR round=14 2234000000000015 -> 2 cc=2
 CFDTR round=14 2234000000000016 -> 2 cc=2
 CFDTR round=14 2244000000000016 -> 16000 cc=2
 CFDTR round=14 2254000000000016 -> 160000000 cc=2
-CFDTR round=14 2244000000000016 -> 16000 cc=2
 CFDTR round=14 2264000000000016 -> 2147483647 cc=3
 CFDTR round=14 2284000000000016 -> 2147483647 cc=3
 CFDTR round=14 4154000000000016 -> 2147483647 cc=3
@@ -1435,7 +1360,6 @@ CLFXTR round=14 2207c000000000000000000000000015 -> 2 cc=2
 CLFXTR round=14 2207c000000000000000000000000016 -> 2 cc=2
 CLFXTR round=14 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=14 2209c000000000000000000000000016 -> 160000000 cc=2
-CLFXTR round=14 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=14 220ac000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=14 220cc000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=14 2239c000000000000000000000000016 -> 4294967295 cc=3
@@ -1452,7 +1376,6 @@ CLGXTR round=14 2207c000000000000000000000000015 -> 2 cc=2
 CLGXTR round=14 2207c000000000000000000000000016 -> 2 cc=2
 CLGXTR round=14 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=14 2209c000000000000000000000000016 -> 160000000 cc=2
-CLGXTR round=14 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=14 220ac000000000000000000000000016 -> 1600000000000 cc=2
 CLGXTR round=14 220cc000000000000000000000000016 -> 18446744073709551615 cc=3
 CLGXTR round=14 2239c000000000000000000000000016 -> 18446744073709551615 cc=3
@@ -1469,7 +1392,6 @@ CFXTR round=14 2207c000000000000000000000000015 -> 2 cc=2
 CFXTR round=14 2207c000000000000000000000000016 -> 2 cc=2
 CFXTR round=14 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=14 2209c000000000000000000000000016 -> 160000000 cc=2
-CFXTR round=14 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=14 220ac000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=14 220cc000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=14 2239c000000000000000000000000016 -> 2147483647 cc=3
@@ -1495,7 +1417,6 @@ CLFDTR round=15 2234000000000015 -> 1 cc=2
 CLFDTR round=15 2234000000000016 -> 1 cc=2
 CLFDTR round=15 2244000000000016 -> 16000 cc=2
 CLFDTR round=15 2254000000000016 -> 160000000 cc=2
-CLFDTR round=15 2244000000000016 -> 16000 cc=2
 CLFDTR round=15 2264000000000016 -> 4294967295 cc=3
 CLFDTR round=15 2284000000000016 -> 4294967295 cc=3
 CLFDTR round=15 4154000000000016 -> 4294967295 cc=3
@@ -1512,7 +1433,6 @@ CLGDTR round=15 2234000000000015 -> 1 cc=2
 CLGDTR round=15 2234000000000016 -> 1 cc=2
 CLGDTR round=15 2244000000000016 -> 16000 cc=2
 CLGDTR round=15 2254000000000016 -> 160000000 cc=2
-CLGDTR round=15 2244000000000016 -> 16000 cc=2
 CLGDTR round=15 2264000000000016 -> 1600000000000 cc=2
 CLGDTR round=15 2284000000000016 -> 18446744073709551615 cc=3
 CLGDTR round=15 4154000000000016 -> 18446744073709551615 cc=3
@@ -1529,7 +1449,6 @@ CFDTR round=15 2234000000000015 -> 1 cc=2
 CFDTR round=15 2234000000000016 -> 1 cc=2
 CFDTR round=15 2244000000000016 -> 16000 cc=2
 CFDTR round=15 2254000000000016 -> 160000000 cc=2
-CFDTR round=15 2244000000000016 -> 16000 cc=2
 CFDTR round=15 2264000000000016 -> 2147483647 cc=3
 CFDTR round=15 2284000000000016 -> 2147483647 cc=3
 CFDTR round=15 4154000000000016 -> 2147483647 cc=3
@@ -1546,7 +1465,6 @@ CLFXTR round=15 2207c000000000000000000000000015 -> 1 cc=2
 CLFXTR round=15 2207c000000000000000000000000016 -> 1 cc=2
 CLFXTR round=15 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=15 2209c000000000000000000000000016 -> 160000000 cc=2
-CLFXTR round=15 2208c000000000000000000000000016 -> 16000 cc=2
 CLFXTR round=15 220ac000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=15 220cc000000000000000000000000016 -> 4294967295 cc=3
 CLFXTR round=15 2239c000000000000000000000000016 -> 4294967295 cc=3
@@ -1563,7 +1481,6 @@ CLGXTR round=15 2207c000000000000000000000000015 -> 1 cc=2
 CLGXTR round=15 2207c000000000000000000000000016 -> 1 cc=2
 CLGXTR round=15 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=15 2209c000000000000000000000000016 -> 160000000 cc=2
-CLGXTR round=15 2208c000000000000000000000000016 -> 16000 cc=2
 CLGXTR round=15 220ac000000000000000000000000016 -> 1600000000000 cc=2
 CLGXTR round=15 220cc000000000000000000000000016 -> 18446744073709551615 cc=3
 CLGXTR round=15 2239c000000000000000000000000016 -> 18446744073709551615 cc=3
@@ -1580,7 +1497,6 @@ CFXTR round=15 2207c000000000000000000000000015 -> 1 cc=2
 CFXTR round=15 2207c000000000000000000000000016 -> 1 cc=2
 CFXTR round=15 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=15 2209c000000000000000000000000016 -> 160000000 cc=2
-CFXTR round=15 2208c000000000000000000000000016 -> 16000 cc=2
 CFXTR round=15 220ac000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=15 220cc000000000000000000000000016 -> 2147483647 cc=3
 CFXTR round=15 2239c000000000000000000000000016 -> 2147483647 cc=3