libmongocrypt-helper 1.6.1.0.1001 → 1.7.4.0.1000

data/ext/libmongocrypt/libmongocrypt/test/data/range-min-cover/mincover_double.cstruct

@@ -0,0 +1,3277 @@
+// This code is GENERATED! Do not edit!
+// clang-format off
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = -100.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = -100.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = -100.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = -100.000000,
+  .includeUpperBound = true,
+  .sparsity = 8,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = -1.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "0011111110101",
+    "001111111011",
+    "0011111111",
+    "010000000000",
+    "0100000000010000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = -1.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "00111111101010",
+    "00111111101011",
+    "001111111011",
+    "0011111111",
+    "010000000000",
+    "0100000000010000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = -1.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "0011111110101000",
+    "0011111110101001",
+    "0011111110101010",
+    "0011111110101011",
+    "0011111110101100",
+    "0011111110101101",
+    "0011111110101110",
+    "0011111110101111",
+    "001111111011",
+    "001111111100",
+    "001111111101",
+    "001111111110",
+    "001111111111",
+    "010000000000",
+    "0100000000010000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = 0.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "0011111110101",
+    "001111111011",
+    "0011111111",
+    "01",
+    "1000000000000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = 0.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "00111111101010",
+    "00111111101011",
+    "001111111011",
+    "0011111111",
+    "01",
+    "1000000000000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = 0.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "0011111110101000",
+    "0011111110101001",
+    "0011111110101010",
+    "0011111110101011",
+    "0011111110101100",
+    "0011111110101101",
+    "0011111110101110",
+    "0011111110101111",
+    "001111111011",
+    "001111111100",
+    "001111111101",
+    "001111111110",
+    "001111111111",
+    "0100",
+    "0101",
+    "0110",
+    "0111",
+    "1000000000000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = 7.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "0011111110101",
+    "001111111011",
+    "0011111111",
+    "01",
+    "10",
+    "110000000000",
+    "1100000000010",
+    "11000000000110",
+    "1100000000011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = 7.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "00111111101010",
+    "00111111101011",
+    "001111111011",
+    "0011111111",
+    "01",
+    "10",
+    "110000000000",
+    "11000000000100",
+    "11000000000101",
+    "11000000000110",
+    "1100000000011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = 7.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "0011111110101000",
+    "0011111110101001",
+    "0011111110101010",
+    "0011111110101011",
+    "0011111110101100",
+    "0011111110101101",
+    "0011111110101110",
+    "0011111110101111",
+    "001111111011",
+    "001111111100",
+    "001111111101",
+    "001111111110",
+    "001111111111",
+    "0100",
+    "0101",
+    "0110",
+    "0111",
+    "1000",
+    "1001",
+    "1010",
+    "1011",
+    "110000000000",
+    "1100000000010000",
+    "1100000000010001",
+    "1100000000010010",
+    "1100000000010011",
+    "1100000000010100",
+    "1100000000010101",
+    "1100000000010110",
+    "1100000000010111",
+    "1100000000011000",
+    "1100000000011001",
+    "1100000000011010",
+    "1100000000011011",
+    "1100000000011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = 32.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "0011111110101",
+    "001111111011",
+    "0011111111",
+    "01",
+    "10",
+    "1100000000",
+    "1100000001000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = 32.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "00111111101010",
+    "00111111101011",
+    "001111111011",
+    "0011111111",
+    "01",
+    "10",
+    "1100000000",
+    "1100000001000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = 32.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "0011111110101000",
+    "0011111110101001",
+    "0011111110101010",
+    "0011111110101011",
+    "0011111110101100",
+    "0011111110101101",
+    "0011111110101110",
+    "0011111110101111",
+    "001111111011",
+    "001111111100",
+    "001111111101",
+    "001111111110",
+    "001111111111",
+    "0100",
+    "0101",
+    "0110",
+    "0111",
+    "1000",
+    "1001",
+    "1010",
+    "1011",
+    "110000000000",
+    "110000000001",
+    "110000000010",
+    "110000000011",
+    "1100000001000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = 1023.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "0011111110101",
+    "001111111011",
+    "0011111111",
+    "01",
+    "10",
+    "110000000",
+    "1100000010000",
+    "11000000100010",
+    "110000001000110",
+    "1100000010001110",
+    "11000000100011110",
+    "110000001000111110",
+    "1100000010001111110",
+    "11000000100011111110",
+    "110000001000111111110",
+    "1100000010001111111110000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = 1023.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "00111111101010",
+    "00111111101011",
+    "001111111011",
+    "0011111111",
+    "01",
+    "10",
+    "1100000000",
+    "1100000001",
+    "11000000100000",
+    "11000000100001",
+    "11000000100010",
+    "1100000010001100",
+    "1100000010001101",
+    "1100000010001110",
+    "110000001000111100",
+    "110000001000111101",
+    "110000001000111110",
+    "11000000100011111100",
+    "11000000100011111101",
+    "11000000100011111110",
+    "1100000010001111111100",
+    "1100000010001111111101",
+    "1100000010001111111110000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = 4369.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "0011111110101",
+    "001111111011",
+    "0011111111",
+    "01",
+    "10",
+    "110000000",
+    "11000000100",
+    "110000001010",
+    "1100000010110000",
+    "11000000101100010000",
+    "110000001011000100010000",
+    "1100000010110001000100010000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = 4369.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "00111111101010",
+    "00111111101011",
+    "001111111011",
+    "0011111111",
+    "01",
+    "10",
+    "1100000000",
+    "1100000001",
+    "110000001000",
+    "110000001001",
+    "110000001010",
+    "1100000010110000",
+    "11000000101100010000",
+    "110000001011000100010000",
+    "1100000010110001000100010000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = 4369.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "0011111110101000",
+    "0011111110101001",
+    "0011111110101010",
+    "0011111110101011",
+    "0011111110101100",
+    "0011111110101101",
+    "0011111110101110",
+    "0011111110101111",
+    "001111111011",
+    "001111111100",
+    "001111111101",
+    "001111111110",
+    "001111111111",
+    "0100",
+    "0101",
+    "0110",
+    "0111",
+    "1000",
+    "1001",
+    "1010",
+    "1011",
+    "110000000000",
+    "110000000001",
+    "110000000010",
+    "110000000011",
+    "110000000100",
+    "110000000101",
+    "110000000110",
+    "110000000111",
+    "110000001000",
+    "110000001001",
+    "110000001010",
+    "1100000010110000",
+    "11000000101100010000",
+    "110000001011000100010000",
+    "1100000010110001000100010000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = 65535.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "0011111110101",
+    "001111111011",
+    "0011111111",
+    "01",
+    "10",
+    "110000000",
+    "1100000010",
+    "11000000110",
+    "1100000011100",
+    "11000000111010",
+    "110000001110110",
+    "1100000011101110",
+    "11000000111011110",
+    "110000001110111110",
+    "1100000011101111110",
+    "11000000111011111110",
+    "110000001110111111110",
+    "1100000011101111111110",
+    "11000000111011111111110",
+    "110000001110111111111110",
+    "1100000011101111111111110",
+    "11000000111011111111111110",
+    "110000001110111111111111110",
+    "1100000011101111111111111110000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = 65535.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "00111111101010",
+    "00111111101011",
+    "001111111011",
+    "0011111111",
+    "01",
+    "10",
+    "1100000000",
+    "1100000001",
+    "1100000010",
+    "110000001100",
+    "110000001101",
+    "11000000111000",
+    "11000000111001",
+    "11000000111010",
+    "1100000011101100",
+    "1100000011101101",
+    "1100000011101110",
+    "110000001110111100",
+    "110000001110111101",
+    "110000001110111110",
+    "11000000111011111100",
+    "11000000111011111101",
+    "11000000111011111110",
+    "1100000011101111111100",
+    "1100000011101111111101",
+    "1100000011101111111110",
+    "110000001110111111111100",
+    "110000001110111111111101",
+    "110000001110111111111110",
+    "11000000111011111111111100",
+    "11000000111011111111111101",
+    "11000000111011111111111110",
+    "1100000011101111111111111100",
+    "1100000011101111111111111101",
+    "1100000011101111111111111110000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "0011111110101",
+    "001111111011",
+    "0011111111",
+    "01",
+    "10",
+    "11000000",
+    "110000010",
+    "1100000110",
+    "110000011100",
+    "1100000111010",
+    "11000001110110",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "00111111101010",
+    "00111111101011",
+    "001111111011",
+    "0011111111",
+    "01",
+    "10",
+    "11000000",
+    "1100000100",
+    "1100000101",
+    "1100000110",
+    "110000011100",
+    "11000001110100",
+    "11000001110101",
+    "11000001110110",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -100.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0011111110100111",
+    "0011111110101000",
+    "0011111110101001",
+    "0011111110101010",
+    "0011111110101011",
+    "0011111110101100",
+    "0011111110101101",
+    "0011111110101110",
+    "0011111110101111",
+    "001111111011",
+    "001111111100",
+    "001111111101",
+    "001111111110",
+    "001111111111",
+    "0100",
+    "0101",
+    "0110",
+    "0111",
+    "1000",
+    "1001",
+    "1010",
+    "1011",
+    "11000000",
+    "110000010000",
+    "110000010001",
+    "110000010010",
+    "110000010011",
+    "110000010100",
+    "110000010101",
+    "110000010110",
+    "110000010111",
+    "110000011000",
+    "110000011001",
+    "110000011010",
+    "110000011011",
+    "110000011100",
+    "1100000111010000",
+    "1100000111010001",
+    "1100000111010010",
+    "1100000111010011",
+    "1100000111010100",
+    "1100000111010101",
+    "1100000111010110",
+    "1100000111010111",
+    "1100000111011000",
+    "1100000111011001",
+    "1100000111011010",
+    "1100000111011011",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1.000000,
+  .includeLowerBound = true,
+  .upperBound = -1.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0100000000010000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1.000000,
+  .includeLowerBound = true,
+  .upperBound = -1.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0100000000010000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1.000000,
+  .includeLowerBound = true,
+  .upperBound = -1.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0100000000010000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1.000000,
+  .includeLowerBound = true,
+  .upperBound = -1.000000,
+  .includeUpperBound = true,
+  .sparsity = 8,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "0100000000010000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1.000000,
+  .includeLowerBound = true,
+  .upperBound = 0.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "010000000001",
+    "01000000001",
+    "0100000001",
+    "010000001",
+    "01000001",
+    "0100001",
+    "010001",
+    "01001",
+    "0101",
+    "011",
+    "1000000000000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1.000000,
+  .includeLowerBound = true,
+  .upperBound = 0.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "010000000001",
+    "010000000010",
+    "010000000011",
+    "0100000001",
+    "0100000010",
+    "0100000011",
+    "01000001",
+    "01000010",
+    "01000011",
+    "010001",
+    "010010",
+    "010011",
+    "0101",
+    "0110",
+    "0111",
+    "1000000000000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1.000000,
+  .includeLowerBound = true,
+  .upperBound = 0.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "010000000001",
+    "010000000010",
+    "010000000011",
+    "010000000100",
+    "010000000101",
+    "010000000110",
+    "010000000111",
+    "010000001000",
+    "010000001001",
+    "010000001010",
+    "010000001011",
+    "010000001100",
+    "010000001101",
+    "010000001110",
+    "010000001111",
+    "01000001",
+    "01000010",
+    "01000011",
+    "01000100",
+    "01000101",
+    "01000110",
+    "01000111",
+    "01001000",
+    "01001001",
+    "01001010",
+    "01001011",
+    "01001100",
+    "01001101",
+    "01001110",
+    "01001111",
+    "0101",
+    "0110",
+    "0111",
+    "1000000000000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1.000000,
+  .includeLowerBound = true,
+  .upperBound = 7.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "010000000001",
+    "01000000001",
+    "0100000001",
+    "010000001",
+    "01000001",
+    "0100001",
+    "010001",
+    "01001",
+    "0101",
+    "011",
+    "10",
+    "110000000000",
+    "1100000000010",
+    "11000000000110",
+    "1100000000011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1.000000,
+  .includeLowerBound = true,
+  .upperBound = 7.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "010000000001",
+    "010000000010",
+    "010000000011",
+    "0100000001",
+    "0100000010",
+    "0100000011",
+    "01000001",
+    "01000010",
+    "01000011",
+    "010001",
+    "010010",
+    "010011",
+    "0101",
+    "0110",
+    "0111",
+    "10",
+    "110000000000",
+    "11000000000100",
+    "11000000000101",
+    "11000000000110",
+    "1100000000011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1.000000,
+  .includeLowerBound = true,
+  .upperBound = 32.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "010000000001",
+    "01000000001",
+    "0100000001",
+    "010000001",
+    "01000001",
+    "0100001",
+    "010001",
+    "01001",
+    "0101",
+    "011",
+    "10",
+    "1100000000",
+    "1100000001000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1.000000,
+  .includeLowerBound = true,
+  .upperBound = 32.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "010000000001",
+    "010000000010",
+    "010000000011",
+    "0100000001",
+    "0100000010",
+    "0100000011",
+    "01000001",
+    "01000010",
+    "01000011",
+    "010001",
+    "010010",
+    "010011",
+    "0101",
+    "0110",
+    "0111",
+    "10",
+    "1100000000",
+    "1100000001000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1.000000,
+  .includeLowerBound = true,
+  .upperBound = 32.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "010000000001",
+    "010000000010",
+    "010000000011",
+    "010000000100",
+    "010000000101",
+    "010000000110",
+    "010000000111",
+    "010000001000",
+    "010000001001",
+    "010000001010",
+    "010000001011",
+    "010000001100",
+    "010000001101",
+    "010000001110",
+    "010000001111",
+    "01000001",
+    "01000010",
+    "01000011",
+    "01000100",
+    "01000101",
+    "01000110",
+    "01000111",
+    "01001000",
+    "01001001",
+    "01001010",
+    "01001011",
+    "01001100",
+    "01001101",
+    "01001110",
+    "01001111",
+    "0101",
+    "0110",
+    "0111",
+    "1000",
+    "1001",
+    "1010",
+    "1011",
+    "110000000000",
+    "110000000001",
+    "110000000010",
+    "110000000011",
+    "1100000001000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1.000000,
+  .includeLowerBound = true,
+  .upperBound = 1023.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "010000000001",
+    "01000000001",
+    "0100000001",
+    "010000001",
+    "01000001",
+    "0100001",
+    "010001",
+    "01001",
+    "0101",
+    "011",
+    "10",
+    "110000000",
+    "1100000010000",
+    "11000000100010",
+    "110000001000110",
+    "1100000010001110",
+    "11000000100011110",
+    "110000001000111110",
+    "1100000010001111110",
+    "11000000100011111110",
+    "110000001000111111110",
+    "1100000010001111111110000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1.000000,
+  .includeLowerBound = true,
+  .upperBound = 1023.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "010000000001",
+    "010000000010",
+    "010000000011",
+    "0100000001",
+    "0100000010",
+    "0100000011",
+    "01000001",
+    "01000010",
+    "01000011",
+    "010001",
+    "010010",
+    "010011",
+    "0101",
+    "0110",
+    "0111",
+    "10",
+    "1100000000",
+    "1100000001",
+    "11000000100000",
+    "11000000100001",
+    "11000000100010",
+    "1100000010001100",
+    "1100000010001101",
+    "1100000010001110",
+    "110000001000111100",
+    "110000001000111101",
+    "110000001000111110",
+    "11000000100011111100",
+    "11000000100011111101",
+    "11000000100011111110",
+    "1100000010001111111100",
+    "1100000010001111111101",
+    "1100000010001111111110000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1.000000,
+  .includeLowerBound = true,
+  .upperBound = 4369.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "010000000001",
+    "01000000001",
+    "0100000001",
+    "010000001",
+    "01000001",
+    "0100001",
+    "010001",
+    "01001",
+    "0101",
+    "011",
+    "10",
+    "110000000",
+    "11000000100",
+    "110000001010",
+    "1100000010110000",
+    "11000000101100010000",
+    "110000001011000100010000",
+    "1100000010110001000100010000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1.000000,
+  .includeLowerBound = true,
+  .upperBound = 4369.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "010000000001",
+    "010000000010",
+    "010000000011",
+    "0100000001",
+    "0100000010",
+    "0100000011",
+    "01000001",
+    "01000010",
+    "01000011",
+    "010001",
+    "010010",
+    "010011",
+    "0101",
+    "0110",
+    "0111",
+    "10",
+    "1100000000",
+    "1100000001",
+    "110000001000",
+    "110000001001",
+    "110000001010",
+    "1100000010110000",
+    "11000000101100010000",
+    "110000001011000100010000",
+    "1100000010110001000100010000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1.000000,
+  .includeLowerBound = true,
+  .upperBound = 65535.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "010000000001",
+    "01000000001",
+    "0100000001",
+    "010000001",
+    "01000001",
+    "0100001",
+    "010001",
+    "01001",
+    "0101",
+    "011",
+    "10",
+    "110000000",
+    "1100000010",
+    "11000000110",
+    "1100000011100",
+    "11000000111010",
+    "110000001110110",
+    "1100000011101110",
+    "11000000111011110",
+    "110000001110111110",
+    "1100000011101111110",
+    "11000000111011111110",
+    "110000001110111111110",
+    "1100000011101111111110",
+    "11000000111011111111110",
+    "110000001110111111111110",
+    "1100000011101111111111110",
+    "11000000111011111111111110",
+    "110000001110111111111111110",
+    "1100000011101111111111111110000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1.000000,
+  .includeLowerBound = true,
+  .upperBound = 65535.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "010000000001",
+    "010000000010",
+    "010000000011",
+    "0100000001",
+    "0100000010",
+    "0100000011",
+    "01000001",
+    "01000010",
+    "01000011",
+    "010001",
+    "010010",
+    "010011",
+    "0101",
+    "0110",
+    "0111",
+    "10",
+    "1100000000",
+    "1100000001",
+    "1100000010",
+    "110000001100",
+    "110000001101",
+    "11000000111000",
+    "11000000111001",
+    "11000000111010",
+    "1100000011101100",
+    "1100000011101101",
+    "1100000011101110",
+    "110000001110111100",
+    "110000001110111101",
+    "110000001110111110",
+    "11000000111011111100",
+    "11000000111011111101",
+    "11000000111011111110",
+    "1100000011101111111100",
+    "1100000011101111111101",
+    "1100000011101111111110",
+    "110000001110111111111100",
+    "110000001110111111111101",
+    "110000001110111111111110",
+    "11000000111011111111111100",
+    "11000000111011111111111101",
+    "11000000111011111111111110",
+    "1100000011101111111111111100",
+    "1100000011101111111111111101",
+    "1100000011101111111111111110000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "010000000001",
+    "01000000001",
+    "0100000001",
+    "010000001",
+    "01000001",
+    "0100001",
+    "010001",
+    "01001",
+    "0101",
+    "011",
+    "10",
+    "11000000",
+    "110000010",
+    "1100000110",
+    "110000011100",
+    "1100000111010",
+    "11000001110110",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "010000000001",
+    "010000000010",
+    "010000000011",
+    "0100000001",
+    "0100000010",
+    "0100000011",
+    "01000001",
+    "01000010",
+    "01000011",
+    "010001",
+    "010010",
+    "010011",
+    "0101",
+    "0110",
+    "0111",
+    "10",
+    "11000000",
+    "1100000100",
+    "1100000101",
+    "1100000110",
+    "110000011100",
+    "11000001110100",
+    "11000001110101",
+    "11000001110110",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0.000000,
+  .includeLowerBound = true,
+  .upperBound = 0.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1000000000000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0.000000,
+  .includeLowerBound = true,
+  .upperBound = 0.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1000000000000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0.000000,
+  .includeLowerBound = true,
+  .upperBound = 0.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1000000000000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0.000000,
+  .includeLowerBound = true,
+  .upperBound = 0.000000,
+  .includeUpperBound = true,
+  .sparsity = 8,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1000000000000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0.000000,
+  .includeLowerBound = true,
+  .upperBound = 7.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "10",
+    "110000000000",
+    "1100000000010",
+    "11000000000110",
+    "1100000000011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0.000000,
+  .includeLowerBound = true,
+  .upperBound = 7.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "10",
+    "110000000000",
+    "11000000000100",
+    "11000000000101",
+    "11000000000110",
+    "1100000000011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0.000000,
+  .includeLowerBound = true,
+  .upperBound = 7.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1000",
+    "1001",
+    "1010",
+    "1011",
+    "110000000000",
+    "1100000000010000",
+    "1100000000010001",
+    "1100000000010010",
+    "1100000000010011",
+    "1100000000010100",
+    "1100000000010101",
+    "1100000000010110",
+    "1100000000010111",
+    "1100000000011000",
+    "1100000000011001",
+    "1100000000011010",
+    "1100000000011011",
+    "1100000000011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0.000000,
+  .includeLowerBound = true,
+  .upperBound = 32.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "10",
+    "1100000000",
+    "1100000001000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0.000000,
+  .includeLowerBound = true,
+  .upperBound = 32.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "10",
+    "1100000000",
+    "1100000001000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0.000000,
+  .includeLowerBound = true,
+  .upperBound = 32.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1000",
+    "1001",
+    "1010",
+    "1011",
+    "110000000000",
+    "110000000001",
+    "110000000010",
+    "110000000011",
+    "1100000001000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0.000000,
+  .includeLowerBound = true,
+  .upperBound = 1023.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "10",
+    "110000000",
+    "1100000010000",
+    "11000000100010",
+    "110000001000110",
+    "1100000010001110",
+    "11000000100011110",
+    "110000001000111110",
+    "1100000010001111110",
+    "11000000100011111110",
+    "110000001000111111110",
+    "1100000010001111111110000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0.000000,
+  .includeLowerBound = true,
+  .upperBound = 1023.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "10",
+    "1100000000",
+    "1100000001",
+    "11000000100000",
+    "11000000100001",
+    "11000000100010",
+    "1100000010001100",
+    "1100000010001101",
+    "1100000010001110",
+    "110000001000111100",
+    "110000001000111101",
+    "110000001000111110",
+    "11000000100011111100",
+    "11000000100011111101",
+    "11000000100011111110",
+    "1100000010001111111100",
+    "1100000010001111111101",
+    "1100000010001111111110000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0.000000,
+  .includeLowerBound = true,
+  .upperBound = 4369.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "10",
+    "110000000",
+    "11000000100",
+    "110000001010",
+    "1100000010110000",
+    "11000000101100010000",
+    "110000001011000100010000",
+    "1100000010110001000100010000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0.000000,
+  .includeLowerBound = true,
+  .upperBound = 4369.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "10",
+    "1100000000",
+    "1100000001",
+    "110000001000",
+    "110000001001",
+    "110000001010",
+    "1100000010110000",
+    "11000000101100010000",
+    "110000001011000100010000",
+    "1100000010110001000100010000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0.000000,
+  .includeLowerBound = true,
+  .upperBound = 4369.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1000",
+    "1001",
+    "1010",
+    "1011",
+    "110000000000",
+    "110000000001",
+    "110000000010",
+    "110000000011",
+    "110000000100",
+    "110000000101",
+    "110000000110",
+    "110000000111",
+    "110000001000",
+    "110000001001",
+    "110000001010",
+    "1100000010110000",
+    "11000000101100010000",
+    "110000001011000100010000",
+    "1100000010110001000100010000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0.000000,
+  .includeLowerBound = true,
+  .upperBound = 65535.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "10",
+    "110000000",
+    "1100000010",
+    "11000000110",
+    "1100000011100",
+    "11000000111010",
+    "110000001110110",
+    "1100000011101110",
+    "11000000111011110",
+    "110000001110111110",
+    "1100000011101111110",
+    "11000000111011111110",
+    "110000001110111111110",
+    "1100000011101111111110",
+    "11000000111011111111110",
+    "110000001110111111111110",
+    "1100000011101111111111110",
+    "11000000111011111111111110",
+    "110000001110111111111111110",
+    "1100000011101111111111111110000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0.000000,
+  .includeLowerBound = true,
+  .upperBound = 65535.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "10",
+    "1100000000",
+    "1100000001",
+    "1100000010",
+    "110000001100",
+    "110000001101",
+    "11000000111000",
+    "11000000111001",
+    "11000000111010",
+    "1100000011101100",
+    "1100000011101101",
+    "1100000011101110",
+    "110000001110111100",
+    "110000001110111101",
+    "110000001110111110",
+    "11000000111011111100",
+    "11000000111011111101",
+    "11000000111011111110",
+    "1100000011101111111100",
+    "1100000011101111111101",
+    "1100000011101111111110",
+    "110000001110111111111100",
+    "110000001110111111111101",
+    "110000001110111111111110",
+    "11000000111011111111111100",
+    "11000000111011111111111101",
+    "11000000111011111111111110",
+    "1100000011101111111111111100",
+    "1100000011101111111111111101",
+    "1100000011101111111111111110000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "10",
+    "11000000",
+    "110000010",
+    "1100000110",
+    "110000011100",
+    "1100000111010",
+    "11000001110110",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "10",
+    "11000000",
+    "1100000100",
+    "1100000101",
+    "1100000110",
+    "110000011100",
+    "11000001110100",
+    "11000001110101",
+    "11000001110110",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1000",
+    "1001",
+    "1010",
+    "1011",
+    "11000000",
+    "110000010000",
+    "110000010001",
+    "110000010010",
+    "110000010011",
+    "110000010100",
+    "110000010101",
+    "110000010110",
+    "110000010111",
+    "110000011000",
+    "110000011001",
+    "110000011010",
+    "110000011011",
+    "110000011100",
+    "1100000111010000",
+    "1100000111010001",
+    "1100000111010010",
+    "1100000111010011",
+    "1100000111010100",
+    "1100000111010101",
+    "1100000111010110",
+    "1100000111010111",
+    "1100000111011000",
+    "1100000111011001",
+    "1100000111011010",
+    "1100000111011011",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7.000000,
+  .includeLowerBound = true,
+  .upperBound = 7.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000000011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7.000000,
+  .includeLowerBound = true,
+  .upperBound = 7.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000000011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7.000000,
+  .includeLowerBound = true,
+  .upperBound = 7.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000000011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7.000000,
+  .includeLowerBound = true,
+  .upperBound = 7.000000,
+  .includeUpperBound = true,
+  .sparsity = 8,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000000011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7.000000,
+  .includeLowerBound = true,
+  .upperBound = 32.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "11000000000111",
+    "11000000001",
+    "1100000001000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7.000000,
+  .includeLowerBound = true,
+  .upperBound = 32.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "11000000000111",
+    "110000000010",
+    "110000000011",
+    "1100000001000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7.000000,
+  .includeLowerBound = true,
+  .upperBound = 32.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000000011100",
+    "1100000000011101",
+    "1100000000011110",
+    "1100000000011111",
+    "110000000010",
+    "110000000011",
+    "1100000001000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7.000000,
+  .includeLowerBound = true,
+  .upperBound = 32.000000,
+  .includeUpperBound = true,
+  .sparsity = 8,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000000011100",
+    "1100000000011101",
+    "1100000000011110",
+    "1100000000011111",
+    "1100000000100000",
+    "1100000000100001",
+    "1100000000100010",
+    "1100000000100011",
+    "1100000000100100",
+    "1100000000100101",
+    "1100000000100110",
+    "1100000000100111",
+    "1100000000101000",
+    "1100000000101001",
+    "1100000000101010",
+    "1100000000101011",
+    "1100000000101100",
+    "1100000000101101",
+    "1100000000101110",
+    "1100000000101111",
+    "1100000000110000",
+    "1100000000110001",
+    "1100000000110010",
+    "1100000000110011",
+    "1100000000110100",
+    "1100000000110101",
+    "1100000000110110",
+    "1100000000110111",
+    "1100000000111000",
+    "1100000000111001",
+    "1100000000111010",
+    "1100000000111011",
+    "1100000000111100",
+    "1100000000111101",
+    "1100000000111110",
+    "1100000000111111",
+    "1100000001000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7.000000,
+  .includeLowerBound = true,
+  .upperBound = 1023.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "11000000000111",
+    "11000000001",
+    "1100000001",
+    "1100000010000",
+    "11000000100010",
+    "110000001000110",
+    "1100000010001110",
+    "11000000100011110",
+    "110000001000111110",
+    "1100000010001111110",
+    "11000000100011111110",
+    "110000001000111111110",
+    "1100000010001111111110000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7.000000,
+  .includeLowerBound = true,
+  .upperBound = 1023.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "11000000000111",
+    "110000000010",
+    "110000000011",
+    "1100000001",
+    "11000000100000",
+    "11000000100001",
+    "11000000100010",
+    "1100000010001100",
+    "1100000010001101",
+    "1100000010001110",
+    "110000001000111100",
+    "110000001000111101",
+    "110000001000111110",
+    "11000000100011111100",
+    "11000000100011111101",
+    "11000000100011111110",
+    "1100000010001111111100",
+    "1100000010001111111101",
+    "1100000010001111111110000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7.000000,
+  .includeLowerBound = true,
+  .upperBound = 1023.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000000011100",
+    "1100000000011101",
+    "1100000000011110",
+    "1100000000011111",
+    "110000000010",
+    "110000000011",
+    "110000000100",
+    "110000000101",
+    "110000000110",
+    "110000000111",
+    "1100000010000000",
+    "1100000010000001",
+    "1100000010000010",
+    "1100000010000011",
+    "1100000010000100",
+    "1100000010000101",
+    "1100000010000110",
+    "1100000010000111",
+    "1100000010001000",
+    "1100000010001001",
+    "1100000010001010",
+    "1100000010001011",
+    "1100000010001100",
+    "1100000010001101",
+    "1100000010001110",
+    "11000000100011110000",
+    "11000000100011110001",
+    "11000000100011110010",
+    "11000000100011110011",
+    "11000000100011110100",
+    "11000000100011110101",
+    "11000000100011110110",
+    "11000000100011110111",
+    "11000000100011111000",
+    "11000000100011111001",
+    "11000000100011111010",
+    "11000000100011111011",
+    "11000000100011111100",
+    "11000000100011111101",
+    "11000000100011111110",
+    "110000001000111111110000",
+    "110000001000111111110001",
+    "110000001000111111110010",
+    "110000001000111111110011",
+    "110000001000111111110100",
+    "110000001000111111110101",
+    "110000001000111111110110",
+    "110000001000111111110111",
+    "1100000010001111111110000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7.000000,
+  .includeLowerBound = true,
+  .upperBound = 4369.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "11000000000111",
+    "11000000001",
+    "1100000001",
+    "11000000100",
+    "110000001010",
+    "1100000010110000",
+    "11000000101100010000",
+    "110000001011000100010000",
+    "1100000010110001000100010000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7.000000,
+  .includeLowerBound = true,
+  .upperBound = 4369.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "11000000000111",
+    "110000000010",
+    "110000000011",
+    "1100000001",
+    "110000001000",
+    "110000001001",
+    "110000001010",
+    "1100000010110000",
+    "11000000101100010000",
+    "110000001011000100010000",
+    "1100000010110001000100010000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7.000000,
+  .includeLowerBound = true,
+  .upperBound = 4369.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000000011100",
+    "1100000000011101",
+    "1100000000011110",
+    "1100000000011111",
+    "110000000010",
+    "110000000011",
+    "110000000100",
+    "110000000101",
+    "110000000110",
+    "110000000111",
+    "110000001000",
+    "110000001001",
+    "110000001010",
+    "1100000010110000",
+    "11000000101100010000",
+    "110000001011000100010000",
+    "1100000010110001000100010000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7.000000,
+  .includeLowerBound = true,
+  .upperBound = 65535.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "11000000000111",
+    "11000000001",
+    "1100000001",
+    "1100000010",
+    "11000000110",
+    "1100000011100",
+    "11000000111010",
+    "110000001110110",
+    "1100000011101110",
+    "11000000111011110",
+    "110000001110111110",
+    "1100000011101111110",
+    "11000000111011111110",
+    "110000001110111111110",
+    "1100000011101111111110",
+    "11000000111011111111110",
+    "110000001110111111111110",
+    "1100000011101111111111110",
+    "11000000111011111111111110",
+    "110000001110111111111111110",
+    "1100000011101111111111111110000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7.000000,
+  .includeLowerBound = true,
+  .upperBound = 65535.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "11000000000111",
+    "110000000010",
+    "110000000011",
+    "1100000001",
+    "1100000010",
+    "110000001100",
+    "110000001101",
+    "11000000111000",
+    "11000000111001",
+    "11000000111010",
+    "1100000011101100",
+    "1100000011101101",
+    "1100000011101110",
+    "110000001110111100",
+    "110000001110111101",
+    "110000001110111110",
+    "11000000111011111100",
+    "11000000111011111101",
+    "11000000111011111110",
+    "1100000011101111111100",
+    "1100000011101111111101",
+    "1100000011101111111110",
+    "110000001110111111111100",
+    "110000001110111111111101",
+    "110000001110111111111110",
+    "11000000111011111111111100",
+    "11000000111011111111111101",
+    "11000000111011111111111110",
+    "1100000011101111111111111100",
+    "1100000011101111111111111101",
+    "1100000011101111111111111110000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "11000000000111",
+    "11000000001",
+    "1100000001",
+    "110000001",
+    "110000010",
+    "1100000110",
+    "110000011100",
+    "1100000111010",
+    "11000001110110",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "11000000000111",
+    "110000000010",
+    "110000000011",
+    "1100000001",
+    "1100000010",
+    "1100000011",
+    "1100000100",
+    "1100000101",
+    "1100000110",
+    "110000011100",
+    "11000001110100",
+    "11000001110101",
+    "11000001110110",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000000011100",
+    "1100000000011101",
+    "1100000000011110",
+    "1100000000011111",
+    "110000000010",
+    "110000000011",
+    "110000000100",
+    "110000000101",
+    "110000000110",
+    "110000000111",
+    "110000001000",
+    "110000001001",
+    "110000001010",
+    "110000001011",
+    "110000001100",
+    "110000001101",
+    "110000001110",
+    "110000001111",
+    "110000010000",
+    "110000010001",
+    "110000010010",
+    "110000010011",
+    "110000010100",
+    "110000010101",
+    "110000010110",
+    "110000010111",
+    "110000011000",
+    "110000011001",
+    "110000011010",
+    "110000011011",
+    "110000011100",
+    "1100000111010000",
+    "1100000111010001",
+    "1100000111010010",
+    "1100000111010011",
+    "1100000111010100",
+    "1100000111010101",
+    "1100000111010110",
+    "1100000111010111",
+    "1100000111011000",
+    "1100000111011001",
+    "1100000111011010",
+    "1100000111011011",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 32.000000,
+  .includeLowerBound = true,
+  .upperBound = 32.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000001000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 32.000000,
+  .includeLowerBound = true,
+  .upperBound = 32.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000001000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 32.000000,
+  .includeLowerBound = true,
+  .upperBound = 32.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000001000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 32.000000,
+  .includeLowerBound = true,
+  .upperBound = 32.000000,
+  .includeUpperBound = true,
+  .sparsity = 8,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000001000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 32.000000,
+  .includeLowerBound = true,
+  .upperBound = 1023.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000001",
+    "1100000010000",
+    "11000000100010",
+    "110000001000110",
+    "1100000010001110",
+    "11000000100011110",
+    "110000001000111110",
+    "1100000010001111110",
+    "11000000100011111110",
+    "110000001000111111110",
+    "1100000010001111111110000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 32.000000,
+  .includeLowerBound = true,
+  .upperBound = 1023.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000001",
+    "11000000100000",
+    "11000000100001",
+    "11000000100010",
+    "1100000010001100",
+    "1100000010001101",
+    "1100000010001110",
+    "110000001000111100",
+    "110000001000111101",
+    "110000001000111110",
+    "11000000100011111100",
+    "11000000100011111101",
+    "11000000100011111110",
+    "1100000010001111111100",
+    "1100000010001111111101",
+    "1100000010001111111110000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 32.000000,
+  .includeLowerBound = true,
+  .upperBound = 1023.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "110000000100",
+    "110000000101",
+    "110000000110",
+    "110000000111",
+    "1100000010000000",
+    "1100000010000001",
+    "1100000010000010",
+    "1100000010000011",
+    "1100000010000100",
+    "1100000010000101",
+    "1100000010000110",
+    "1100000010000111",
+    "1100000010001000",
+    "1100000010001001",
+    "1100000010001010",
+    "1100000010001011",
+    "1100000010001100",
+    "1100000010001101",
+    "1100000010001110",
+    "11000000100011110000",
+    "11000000100011110001",
+    "11000000100011110010",
+    "11000000100011110011",
+    "11000000100011110100",
+    "11000000100011110101",
+    "11000000100011110110",
+    "11000000100011110111",
+    "11000000100011111000",
+    "11000000100011111001",
+    "11000000100011111010",
+    "11000000100011111011",
+    "11000000100011111100",
+    "11000000100011111101",
+    "11000000100011111110",
+    "110000001000111111110000",
+    "110000001000111111110001",
+    "110000001000111111110010",
+    "110000001000111111110011",
+    "110000001000111111110100",
+    "110000001000111111110101",
+    "110000001000111111110110",
+    "110000001000111111110111",
+    "1100000010001111111110000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 32.000000,
+  .includeLowerBound = true,
+  .upperBound = 4369.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000001",
+    "11000000100",
+    "110000001010",
+    "1100000010110000",
+    "11000000101100010000",
+    "110000001011000100010000",
+    "1100000010110001000100010000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 32.000000,
+  .includeLowerBound = true,
+  .upperBound = 4369.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000001",
+    "110000001000",
+    "110000001001",
+    "110000001010",
+    "1100000010110000",
+    "11000000101100010000",
+    "110000001011000100010000",
+    "1100000010110001000100010000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 32.000000,
+  .includeLowerBound = true,
+  .upperBound = 4369.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "110000000100",
+    "110000000101",
+    "110000000110",
+    "110000000111",
+    "110000001000",
+    "110000001001",
+    "110000001010",
+    "1100000010110000",
+    "11000000101100010000",
+    "110000001011000100010000",
+    "1100000010110001000100010000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 32.000000,
+  .includeLowerBound = true,
+  .upperBound = 65535.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000001",
+    "1100000010",
+    "11000000110",
+    "1100000011100",
+    "11000000111010",
+    "110000001110110",
+    "1100000011101110",
+    "11000000111011110",
+    "110000001110111110",
+    "1100000011101111110",
+    "11000000111011111110",
+    "110000001110111111110",
+    "1100000011101111111110",
+    "11000000111011111111110",
+    "110000001110111111111110",
+    "1100000011101111111111110",
+    "11000000111011111111111110",
+    "110000001110111111111111110",
+    "1100000011101111111111111110000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 32.000000,
+  .includeLowerBound = true,
+  .upperBound = 65535.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000001",
+    "1100000010",
+    "110000001100",
+    "110000001101",
+    "11000000111000",
+    "11000000111001",
+    "11000000111010",
+    "1100000011101100",
+    "1100000011101101",
+    "1100000011101110",
+    "110000001110111100",
+    "110000001110111101",
+    "110000001110111110",
+    "11000000111011111100",
+    "11000000111011111101",
+    "11000000111011111110",
+    "1100000011101111111100",
+    "1100000011101111111101",
+    "1100000011101111111110",
+    "110000001110111111111100",
+    "110000001110111111111101",
+    "110000001110111111111110",
+    "11000000111011111111111100",
+    "11000000111011111111111101",
+    "11000000111011111111111110",
+    "1100000011101111111111111100",
+    "1100000011101111111111111101",
+    "1100000011101111111111111110000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 32.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000001",
+    "110000001",
+    "110000010",
+    "1100000110",
+    "110000011100",
+    "1100000111010",
+    "11000001110110",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 32.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000001",
+    "1100000010",
+    "1100000011",
+    "1100000100",
+    "1100000101",
+    "1100000110",
+    "110000011100",
+    "11000001110100",
+    "11000001110101",
+    "11000001110110",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 32.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "110000000100",
+    "110000000101",
+    "110000000110",
+    "110000000111",
+    "110000001000",
+    "110000001001",
+    "110000001010",
+    "110000001011",
+    "110000001100",
+    "110000001101",
+    "110000001110",
+    "110000001111",
+    "110000010000",
+    "110000010001",
+    "110000010010",
+    "110000010011",
+    "110000010100",
+    "110000010101",
+    "110000010110",
+    "110000010111",
+    "110000011000",
+    "110000011001",
+    "110000011010",
+    "110000011011",
+    "110000011100",
+    "1100000111010000",
+    "1100000111010001",
+    "1100000111010010",
+    "1100000111010011",
+    "1100000111010100",
+    "1100000111010101",
+    "1100000111010110",
+    "1100000111010111",
+    "1100000111011000",
+    "1100000111011001",
+    "1100000111011010",
+    "1100000111011011",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1023.000000,
+  .includeLowerBound = true,
+  .upperBound = 1023.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000010001111111110000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1023.000000,
+  .includeLowerBound = true,
+  .upperBound = 1023.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000010001111111110000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1023.000000,
+  .includeLowerBound = true,
+  .upperBound = 1023.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000010001111111110000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1023.000000,
+  .includeLowerBound = true,
+  .upperBound = 1023.000000,
+  .includeUpperBound = true,
+  .sparsity = 8,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000010001111111110000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1023.000000,
+  .includeLowerBound = true,
+  .upperBound = 4369.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "110000001000111111111",
+    "110000001001",
+    "110000001010",
+    "1100000010110000",
+    "11000000101100010000",
+    "110000001011000100010000",
+    "1100000010110001000100010000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1023.000000,
+  .includeLowerBound = true,
+  .upperBound = 4369.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000010001111111110",
+    "1100000010001111111111",
+    "110000001001",
+    "110000001010",
+    "1100000010110000",
+    "11000000101100010000",
+    "110000001011000100010000",
+    "1100000010110001000100010000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1023.000000,
+  .includeLowerBound = true,
+  .upperBound = 4369.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "110000001000111111111000",
+    "110000001000111111111001",
+    "110000001000111111111010",
+    "110000001000111111111011",
+    "110000001000111111111100",
+    "110000001000111111111101",
+    "110000001000111111111110",
+    "110000001000111111111111",
+    "110000001001",
+    "110000001010",
+    "1100000010110000",
+    "11000000101100010000",
+    "110000001011000100010000",
+    "1100000010110001000100010000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1023.000000,
+  .includeLowerBound = true,
+  .upperBound = 65535.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "110000001000111111111",
+    "110000001001",
+    "11000000101",
+    "11000000110",
+    "1100000011100",
+    "11000000111010",
+    "110000001110110",
+    "1100000011101110",
+    "11000000111011110",
+    "110000001110111110",
+    "1100000011101111110",
+    "11000000111011111110",
+    "110000001110111111110",
+    "1100000011101111111110",
+    "11000000111011111111110",
+    "110000001110111111111110",
+    "1100000011101111111111110",
+    "11000000111011111111111110",
+    "110000001110111111111111110",
+    "1100000011101111111111111110000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1023.000000,
+  .includeLowerBound = true,
+  .upperBound = 65535.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000010001111111110",
+    "1100000010001111111111",
+    "110000001001",
+    "110000001010",
+    "110000001011",
+    "110000001100",
+    "110000001101",
+    "11000000111000",
+    "11000000111001",
+    "11000000111010",
+    "1100000011101100",
+    "1100000011101101",
+    "1100000011101110",
+    "110000001110111100",
+    "110000001110111101",
+    "110000001110111110",
+    "11000000111011111100",
+    "11000000111011111101",
+    "11000000111011111110",
+    "1100000011101111111100",
+    "1100000011101111111101",
+    "1100000011101111111110",
+    "110000001110111111111100",
+    "110000001110111111111101",
+    "110000001110111111111110",
+    "11000000111011111111111100",
+    "11000000111011111111111101",
+    "11000000111011111111111110",
+    "1100000011101111111111111100",
+    "1100000011101111111111111101",
+    "1100000011101111111111111110000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1023.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "110000001000111111111",
+    "110000001001",
+    "11000000101",
+    "1100000011",
+    "110000010",
+    "1100000110",
+    "110000011100",
+    "1100000111010",
+    "11000001110110",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1023.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000010001111111110",
+    "1100000010001111111111",
+    "110000001001",
+    "110000001010",
+    "110000001011",
+    "1100000011",
+    "1100000100",
+    "1100000101",
+    "1100000110",
+    "110000011100",
+    "11000001110100",
+    "11000001110101",
+    "11000001110110",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1023.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "110000001000111111111000",
+    "110000001000111111111001",
+    "110000001000111111111010",
+    "110000001000111111111011",
+    "110000001000111111111100",
+    "110000001000111111111101",
+    "110000001000111111111110",
+    "110000001000111111111111",
+    "110000001001",
+    "110000001010",
+    "110000001011",
+    "110000001100",
+    "110000001101",
+    "110000001110",
+    "110000001111",
+    "110000010000",
+    "110000010001",
+    "110000010010",
+    "110000010011",
+    "110000010100",
+    "110000010101",
+    "110000010110",
+    "110000010111",
+    "110000011000",
+    "110000011001",
+    "110000011010",
+    "110000011011",
+    "110000011100",
+    "1100000111010000",
+    "1100000111010001",
+    "1100000111010010",
+    "1100000111010011",
+    "1100000111010100",
+    "1100000111010101",
+    "1100000111010110",
+    "1100000111010111",
+    "1100000111011000",
+    "1100000111011001",
+    "1100000111011010",
+    "1100000111011011",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 4369.000000,
+  .includeLowerBound = true,
+  .upperBound = 4369.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000010110001000100010000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 4369.000000,
+  .includeLowerBound = true,
+  .upperBound = 4369.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000010110001000100010000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 4369.000000,
+  .includeLowerBound = true,
+  .upperBound = 4369.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000010110001000100010000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 4369.000000,
+  .includeLowerBound = true,
+  .upperBound = 4369.000000,
+  .includeUpperBound = true,
+  .sparsity = 8,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000010110001000100010000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 4369.000000,
+  .includeLowerBound = true,
+  .upperBound = 65535.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "110000001011000100010001",
+    "11000000101100010001001",
+    "1100000010110001000101",
+    "110000001011000100011",
+    "1100000010110001001",
+    "110000001011000101",
+    "11000000101100011",
+    "110000001011001",
+    "11000000101101",
+    "1100000010111",
+    "11000000110",
+    "1100000011100",
+    "11000000111010",
+    "110000001110110",
+    "1100000011101110",
+    "11000000111011110",
+    "110000001110111110",
+    "1100000011101111110",
+    "11000000111011111110",
+    "110000001110111111110",
+    "1100000011101111111110",
+    "11000000111011111111110",
+    "110000001110111111111110",
+    "1100000011101111111111110",
+    "11000000111011111111111110",
+    "110000001110111111111111110",
+    "1100000011101111111111111110000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 4369.000000,
+  .includeLowerBound = true,
+  .upperBound = 65535.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "110000001011000100010001",
+    "110000001011000100010010",
+    "110000001011000100010011",
+    "1100000010110001000101",
+    "1100000010110001000110",
+    "1100000010110001000111",
+    "11000000101100010010",
+    "11000000101100010011",
+    "110000001011000101",
+    "110000001011000110",
+    "110000001011000111",
+    "1100000010110010",
+    "1100000010110011",
+    "11000000101101",
+    "11000000101110",
+    "11000000101111",
+    "110000001100",
+    "110000001101",
+    "11000000111000",
+    "11000000111001",
+    "11000000111010",
+    "1100000011101100",
+    "1100000011101101",
+    "1100000011101110",
+    "110000001110111100",
+    "110000001110111101",
+    "110000001110111110",
+    "11000000111011111100",
+    "11000000111011111101",
+    "11000000111011111110",
+    "1100000011101111111100",
+    "1100000011101111111101",
+    "1100000011101111111110",
+    "110000001110111111111100",
+    "110000001110111111111101",
+    "110000001110111111111110",
+    "11000000111011111111111100",
+    "11000000111011111111111101",
+    "11000000111011111111111110",
+    "1100000011101111111111111100",
+    "1100000011101111111111111101",
+    "1100000011101111111111111110000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 4369.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "110000001011000100010001",
+    "11000000101100010001001",
+    "1100000010110001000101",
+    "110000001011000100011",
+    "1100000010110001001",
+    "110000001011000101",
+    "11000000101100011",
+    "110000001011001",
+    "11000000101101",
+    "1100000010111",
+    "1100000011",
+    "110000010",
+    "1100000110",
+    "110000011100",
+    "1100000111010",
+    "11000001110110",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 4369.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "110000001011000100010001",
+    "110000001011000100010010",
+    "110000001011000100010011",
+    "1100000010110001000101",
+    "1100000010110001000110",
+    "1100000010110001000111",
+    "11000000101100010010",
+    "11000000101100010011",
+    "110000001011000101",
+    "110000001011000110",
+    "110000001011000111",
+    "1100000010110010",
+    "1100000010110011",
+    "11000000101101",
+    "11000000101110",
+    "11000000101111",
+    "1100000011",
+    "1100000100",
+    "1100000101",
+    "1100000110",
+    "110000011100",
+    "11000001110100",
+    "11000001110101",
+    "11000001110110",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 65535.000000,
+  .includeLowerBound = true,
+  .upperBound = 65535.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000011101111111111111110000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 65535.000000,
+  .includeLowerBound = true,
+  .upperBound = 65535.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000011101111111111111110000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 65535.000000,
+  .includeLowerBound = true,
+  .upperBound = 65535.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000011101111111111111110000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 65535.000000,
+  .includeLowerBound = true,
+  .upperBound = 65535.000000,
+  .includeUpperBound = true,
+  .sparsity = 8,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000011101111111111111110000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 65535.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "110000001110111111111111111",
+    "110000001111",
+    "110000010",
+    "1100000110",
+    "110000011100",
+    "1100000111010",
+    "11000001110110",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 65535.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000011101111111111111110",
+    "1100000011101111111111111111",
+    "110000001111",
+    "1100000100",
+    "1100000101",
+    "1100000110",
+    "110000011100",
+    "11000001110100",
+    "11000001110101",
+    "11000001110110",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 65535.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000011101111111111111110",
+    "1100000011101111111111111111",
+    "110000001111",
+    "110000010000",
+    "110000010001",
+    "110000010010",
+    "110000010011",
+    "110000010100",
+    "110000010101",
+    "110000010110",
+    "110000010111",
+    "110000011000",
+    "110000011001",
+    "110000011010",
+    "110000011011",
+    "110000011100",
+    "1100000111010000",
+    "1100000111010001",
+    "1100000111010010",
+    "1100000111010011",
+    "1100000111010100",
+    "1100000111010101",
+    "1100000111010110",
+    "1100000111010111",
+    "1100000111011000",
+    "1100000111011001",
+    "1100000111011010",
+    "1100000111011011",
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1879048192.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1879048192.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1879048192.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1879048192.000000,
+  .includeLowerBound = true,
+  .upperBound = 1879048192.000000,
+  .includeUpperBound = true,
+  .sparsity = 8,
+  .min = { .set = true, .value = -1000000000000000L },
+  .max = { .set = true, .value = 0x7000000000000000L },
+  .expectMincoverStrings = {
+    "1100000111011100000000000000000000000000000000000000000000000000",
+  },
+},