libmongocrypt-helper 1.7.0.0.1001 → 1.7.4.0.1000

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

@@ -0,0 +1,3398 @@
+// This code is GENERATED! Do not edit!
+// clang-format off
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = -1 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001100111111110011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = -1 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001100111111110011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001100111111110011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001100111111110011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001100111111110011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001100111111110011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001100111111110011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001100111111110011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = -1 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "111000110101111110101001001100011001111111101",
+    "11100011010111111010100100110001100111111111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = -1 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "1110001101011111101010010011000110011111111010",
+    "1110001101011111101010010011000110011111111011",
+    "11100011010111111010100100110001100111111111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = -1 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "111000110101111110101001001100011001111111101",
+    "111000110101111110101001001100011001111111110",
+    "111000110101111110101001001100011001111111111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = -1 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "111000110101111110101001001100011001111111101000",
+    "111000110101111110101001001100011001111111101001",
+    "111000110101111110101001001100011001111111101010",
+    "111000110101111110101001001100011001111111101011",
+    "111000110101111110101001001100011001111111101100",
+    "111000110101111110101001001100011001111111101101",
+    "111000110101111110101001001100011001111111101110",
+    "111000110101111110101001001100011001111111101111",
+    "11100011010111111010100100110001100111111111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "111000110101111110101001001100011001111111101",
+    "11100011010111111010100100110001100111111111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "1110001101011111101010010011000110011111111010",
+    "1110001101011111101010010011000110011111111011",
+    "11100011010111111010100100110001100111111111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "111000110101111110101001001100011001111111101",
+    "111000110101111110101001001100011001111111110",
+    "111000110101111110101001001100011001111111111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "111000110101111110101001001100011001111111101000",
+    "111000110101111110101001001100011001111111101001",
+    "111000110101111110101001001100011001111111101010",
+    "111000110101111110101001001100011001111111101011",
+    "111000110101111110101001001100011001111111101100",
+    "111000110101111110101001001100011001111111101101",
+    "111000110101111110101001001100011001111111101110",
+    "111000110101111110101001001100011001111111101111",
+    "11100011010111111010100100110001100111111111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "111000110101111110101001001100011001111111101",
+    "11100011010111111010100100110001100111111111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "1110001101011111101010010011000110011111111010",
+    "1110001101011111101010010011000110011111111011",
+    "11100011010111111010100100110001100111111111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "111000110101111110101001001100011001111111101",
+    "111000110101111110101001001100011001111111110",
+    "111000110101111110101001001100011001111111111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "111000110101111110101001001100011001111111101000",
+    "111000110101111110101001001100011001111111101001",
+    "111000110101111110101001001100011001111111101010",
+    "111000110101111110101001001100011001111111101011",
+    "111000110101111110101001001100011001111111101100",
+    "111000110101111110101001001100011001111111101101",
+    "111000110101111110101001001100011001111111101110",
+    "111000110101111110101001001100011001111111101111",
+    "11100011010111111010100100110001100111111111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "0000000000000111000110101111110101001001100011001111111100111",
+    "0000000000000111000110101111110101001001100011001111111101",
+    "000000000000011100011010111111010100100110001100111111111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "00000000000001110001101011111101010010011000110011111111001110",
+    "00000000000001110001101011111101010010011000110011111111001111",
+    "0000000000000111000110101111110101001001100011001111111101",
+    "0000000000000111000110101111110101001001100011001111111110",
+    "0000000000000111000110101111110101001001100011001111111111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001100111111110011100",
+    "000000000000011100011010111111010100100110001100111111110011101",
+    "000000000000011100011010111111010100100110001100111111110011110",
+    "000000000000011100011010111111010100100110001100111111110011111",
+    "000000000000011100011010111111010100100110001100111111110100",
+    "000000000000011100011010111111010100100110001100111111110101",
+    "000000000000011100011010111111010100100110001100111111110110",
+    "000000000000011100011010111111010100100110001100111111110111",
+    "000000000000011100011010111111010100100110001100111111111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "111000110101111110101001001100011001111111101",
+    "11100011010111111010100100110001100111111111",
+    "11100011010111111010100100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "1110001101011111101010010011000110011111111010",
+    "1110001101011111101010010011000110011111111011",
+    "11100011010111111010100100110001100111111111",
+    "11100011010111111010100100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "111000110101111110101001001100011001111111101",
+    "11100011010111111010100100110001100111111111",
+    "11100011010111111010100100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "1110001101011111101010010011000110011111111010",
+    "1110001101011111101010010011000110011111111011",
+    "11100011010111111010100100110001100111111111",
+    "11100011010111111010100100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "0000000000000111000110101111110101001001100011001111111100111",
+    "0000000000000111000110101111110101001001100011001111111101",
+    "000000000000011100011010111111010100100110001100111111111",
+    "000000000000011100011010111111010100100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001100111111110011100",
+    "000000000000011100011010111111010100100110001100111111110011101",
+    "000000000000011100011010111111010100100110001100111111110011110",
+    "000000000000011100011010111111010100100110001100111111110011111",
+    "000000000000011100011010111111010100100110001100111111110100",
+    "000000000000011100011010111111010100100110001100111111110101",
+    "000000000000011100011010111111010100100110001100111111110110",
+    "000000000000011100011010111111010100100110001100111111110111",
+    "000000000000011100011010111111010100100110001100111111111",
+    "000000000000011100011010111111010100100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "111000110101111110101001001100011001111111101",
+    "11100011010111111010100100110001100111111111",
+    "11100011010111111010100100110001101000000",
+    "111000110101111110101001001100011010000010",
+    "111000110101111110101001001100011010000011000",
+    "1110001101011111101010010011000110100000110010",
+    "11100011010111111010100100110001101000001100110",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "1110001101011111101010010011000110011111111010",
+    "1110001101011111101010010011000110011111111011",
+    "11100011010111111010100100110001100111111111",
+    "111000110101111110101001001100011010000000",
+    "111000110101111110101001001100011010000001",
+    "111000110101111110101001001100011010000010",
+    "1110001101011111101010010011000110100000110000",
+    "1110001101011111101010010011000110100000110001",
+    "1110001101011111101010010011000110100000110010",
+    "111000110101111110101001001100011010000011001100",
+    "111000110101111110101001001100011010000011001101",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "111000110101111110101001001100011001111111101",
+    "111000110101111110101001001100011001111111110",
+    "111000110101111110101001001100011001111111111",
+    "111000110101111110101001001100011010000000",
+    "111000110101111110101001001100011010000001",
+    "111000110101111110101001001100011010000010",
+    "111000110101111110101001001100011010000011000",
+    "111000110101111110101001001100011010000011001000",
+    "111000110101111110101001001100011010000011001001",
+    "111000110101111110101001001100011010000011001010",
+    "111000110101111110101001001100011010000011001011",
+    "111000110101111110101001001100011010000011001100",
+    "111000110101111110101001001100011010000011001101",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "111000110101111110101001001100011001111111101000",
+    "111000110101111110101001001100011001111111101001",
+    "111000110101111110101001001100011001111111101010",
+    "111000110101111110101001001100011001111111101011",
+    "111000110101111110101001001100011001111111101100",
+    "111000110101111110101001001100011001111111101101",
+    "111000110101111110101001001100011001111111101110",
+    "111000110101111110101001001100011001111111101111",
+    "11100011010111111010100100110001100111111111",
+    "11100011010111111010100100110001101000000000",
+    "11100011010111111010100100110001101000000001",
+    "11100011010111111010100100110001101000000010",
+    "11100011010111111010100100110001101000000011",
+    "11100011010111111010100100110001101000000100",
+    "11100011010111111010100100110001101000000101",
+    "11100011010111111010100100110001101000000110",
+    "11100011010111111010100100110001101000000111",
+    "11100011010111111010100100110001101000001000",
+    "11100011010111111010100100110001101000001001",
+    "11100011010111111010100100110001101000001010",
+    "11100011010111111010100100110001101000001011",
+    "111000110101111110101001001100011010000011000000",
+    "111000110101111110101001001100011010000011000001",
+    "111000110101111110101001001100011010000011000010",
+    "111000110101111110101001001100011010000011000011",
+    "111000110101111110101001001100011010000011000100",
+    "111000110101111110101001001100011010000011000101",
+    "111000110101111110101001001100011010000011000110",
+    "111000110101111110101001001100011010000011000111",
+    "111000110101111110101001001100011010000011001000",
+    "111000110101111110101001001100011010000011001001",
+    "111000110101111110101001001100011010000011001010",
+    "111000110101111110101001001100011010000011001011",
+    "111000110101111110101001001100011010000011001100",
+    "111000110101111110101001001100011010000011001101",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "0000000000000111000110101111110101001001100011001111111100111",
+    "0000000000000111000110101111110101001001100011001111111101",
+    "000000000000011100011010111111010100100110001100111111111",
+    "000000000000011100011010111111010100100110001101000000",
+    "0000000000000111000110101111110101001001100011010000010",
+    "0000000000000111000110101111110101001001100011010000011000",
+    "00000000000001110001101011111101010010011000110100000110010",
+    "000000000000011100011010111111010100100110001101000001100110",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "00000000000001110001101011111101010010011000110011111111001110",
+    "00000000000001110001101011111101010010011000110011111111001111",
+    "0000000000000111000110101111110101001001100011001111111101",
+    "0000000000000111000110101111110101001001100011001111111110",
+    "0000000000000111000110101111110101001001100011001111111111",
+    "000000000000011100011010111111010100100110001101000000",
+    "00000000000001110001101011111101010010011000110100000100",
+    "00000000000001110001101011111101010010011000110100000101",
+    "0000000000000111000110101111110101001001100011010000011000",
+    "000000000000011100011010111111010100100110001101000001100100",
+    "000000000000011100011010111111010100100110001101000001100101",
+    "000000000000011100011010111111010100100110001101000001100110",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001100111111110011100",
+    "000000000000011100011010111111010100100110001100111111110011101",
+    "000000000000011100011010111111010100100110001100111111110011110",
+    "000000000000011100011010111111010100100110001100111111110011111",
+    "000000000000011100011010111111010100100110001100111111110100",
+    "000000000000011100011010111111010100100110001100111111110101",
+    "000000000000011100011010111111010100100110001100111111110110",
+    "000000000000011100011010111111010100100110001100111111110111",
+    "000000000000011100011010111111010100100110001100111111111",
+    "000000000000011100011010111111010100100110001101000000",
+    "000000000000011100011010111111010100100110001101000001000",
+    "000000000000011100011010111111010100100110001101000001001",
+    "000000000000011100011010111111010100100110001101000001010",
+    "000000000000011100011010111111010100100110001101000001011",
+    "000000000000011100011010111111010100100110001101000001100000",
+    "000000000000011100011010111111010100100110001101000001100001",
+    "000000000000011100011010111111010100100110001101000001100010",
+    "000000000000011100011010111111010100100110001101000001100011",
+    "000000000000011100011010111111010100100110001101000001100100",
+    "000000000000011100011010111111010100100110001101000001100101",
+    "000000000000011100011010111111010100100110001101000001100110",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "111000110101111110101001001100011001111111101",
+    "11100011010111111010100100110001100111111111",
+    "1110001101011111101010010011000110100000",
+    "11100011010111111010100100110001101000010000000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011001111111100111",
+    "1110001101011111101010010011000110011111111010",
+    "1110001101011111101010010011000110011111111011",
+    "11100011010111111010100100110001100111111111",
+    "1110001101011111101010010011000110100000",
+    "11100011010111111010100100110001101000010000000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "0000000000000111000110101111110101001001100011001111111100111",
+    "0000000000000111000110101111110101001001100011001111111101",
+    "000000000000011100011010111111010100100110001100111111111",
+    "00000000000001110001101011111101010010011000110100000",
+    "000000000000011100011010111111010100100110001101000010000000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001100111111110011100",
+    "000000000000011100011010111111010100100110001100111111110011101",
+    "000000000000011100011010111111010100100110001100111111110011110",
+    "000000000000011100011010111111010100100110001100111111110011111",
+    "000000000000011100011010111111010100100110001100111111110100",
+    "000000000000011100011010111111010100100110001100111111110101",
+    "000000000000011100011010111111010100100110001100111111110110",
+    "000000000000011100011010111111010100100110001100111111110111",
+    "000000000000011100011010111111010100100110001100111111111",
+    "000000000000011100011010111111010100100110001101000000",
+    "000000000000011100011010111111010100100110001101000001",
+    "000000000000011100011010111111010100100110001101000010000000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "0000000000000111000110101111110101001001100011001111111100111",
+    "0000000000000111000110101111110101001001100011001111111101",
+    "000000000000011100011010111111010100100110001100111111111",
+    "000000000000011100011010111111010100100110001101",
+    "00000000000001110001101011111101010010011000111",
+    "00000000000001110001101011111101010010011001",
+    "0000000000000111000110101111110101001001101",
+    "000000000000011100011010111111010100100111",
+    "000000000000011100011010111111010100101",
+    "00000000000001110001101011111101010011",
+    "000000000000011100011010111111010101",
+    "00000000000001110001101011111101011",
+    "000000000000011100011010111111011",
+    "00000000000001110001101011111110000",
+    "0000000000000111000110101111111000100",
+    "0000000000000111000110101111111000101000",
+    "00000000000001110001101011111110001010010",
+    "000000000000011100011010111111100010100110000",
+    "0000000000000111000110101111111000101001100010",
+    "000000000000011100011010111111100010100110001100",
+    "000000000000011100011010111111100010100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001100111111110011100",
+    "000000000000011100011010111111010100100110001100111111110011101",
+    "000000000000011100011010111111010100100110001100111111110011110",
+    "000000000000011100011010111111010100100110001100111111110011111",
+    "000000000000011100011010111111010100100110001100111111110100",
+    "000000000000011100011010111111010100100110001100111111110101",
+    "000000000000011100011010111111010100100110001100111111110110",
+    "000000000000011100011010111111010100100110001100111111110111",
+    "000000000000011100011010111111010100100110001100111111111",
+    "000000000000011100011010111111010100100110001101",
+    "000000000000011100011010111111010100100110001110",
+    "000000000000011100011010111111010100100110001111",
+    "000000000000011100011010111111010100100110010",
+    "000000000000011100011010111111010100100110011",
+    "000000000000011100011010111111010100100110100",
+    "000000000000011100011010111111010100100110101",
+    "000000000000011100011010111111010100100110110",
+    "000000000000011100011010111111010100100110111",
+    "000000000000011100011010111111010100100111",
+    "000000000000011100011010111111010100101",
+    "000000000000011100011010111111010100110",
+    "000000000000011100011010111111010100111",
+    "000000000000011100011010111111010101",
+    "000000000000011100011010111111010110",
+    "000000000000011100011010111111010111",
+    "000000000000011100011010111111011",
+    "000000000000011100011010111111100000",
+    "000000000000011100011010111111100001",
+    "000000000000011100011010111111100010000",
+    "000000000000011100011010111111100010001",
+    "000000000000011100011010111111100010010",
+    "000000000000011100011010111111100010011",
+    "000000000000011100011010111111100010100000",
+    "000000000000011100011010111111100010100001",
+    "000000000000011100011010111111100010100010",
+    "000000000000011100011010111111100010100011",
+    "000000000000011100011010111111100010100100",
+    "000000000000011100011010111111100010100101",
+    "000000000000011100011010111111100010100110000",
+    "000000000000011100011010111111100010100110001000",
+    "000000000000011100011010111111100010100110001001",
+    "000000000000011100011010111111100010100110001010",
+    "000000000000011100011010111111100010100110001011",
+    "000000000000011100011010111111100010100110001100",
+    "000000000000011100011010111111100010100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = -1 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001100111111111111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = -1 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001100111111111111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001100111111111111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001100111111111111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001100111111111111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001100111111111111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001100111111111111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001100111111111111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "0",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "00000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001100111111111111111",
+    "11100011010111111010100100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001100111111111111111",
+    "11100011010111111010100100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001100111111111111111",
+    "11100011010111111010100100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001100111111111111111",
+    "11100011010111111010100100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001100111111111111111",
+    "000000000000011100011010111111010100100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001100111111111111111",
+    "000000000000011100011010111111010100100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "root",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "root",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "root",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "root",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "0000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "0000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "00000000000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "00000000000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000000000000",
+    "000000000000000000000000000000000000000000000000000000000000001",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001100111111111111111",
+    "11100011010111111010100100110001101000000",
+    "111000110101111110101001001100011010000010",
+    "111000110101111110101001001100011010000011000",
+    "1110001101011111101010010011000110100000110010",
+    "11100011010111111010100100110001101000001100110",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001100111111111111111",
+    "111000110101111110101001001100011010000000",
+    "111000110101111110101001001100011010000001",
+    "111000110101111110101001001100011010000010",
+    "1110001101011111101010010011000110100000110000",
+    "1110001101011111101010010011000110100000110001",
+    "1110001101011111101010010011000110100000110010",
+    "111000110101111110101001001100011010000011001100",
+    "111000110101111110101001001100011010000011001101",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001100111111111111111",
+    "000000000000011100011010111111010100100110001101000000",
+    "0000000000000111000110101111110101001001100011010000010",
+    "0000000000000111000110101111110101001001100011010000011000",
+    "00000000000001110001101011111101010010011000110100000110010",
+    "000000000000011100011010111111010100100110001101000001100110",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001100111111111111111",
+    "000000000000011100011010111111010100100110001101000000",
+    "000000000000011100011010111111010100100110001101000001000",
+    "000000000000011100011010111111010100100110001101000001001",
+    "000000000000011100011010111111010100100110001101000001010",
+    "000000000000011100011010111111010100100110001101000001011",
+    "000000000000011100011010111111010100100110001101000001100000",
+    "000000000000011100011010111111010100100110001101000001100001",
+    "000000000000011100011010111111010100100110001101000001100010",
+    "000000000000011100011010111111010100100110001101000001100011",
+    "000000000000011100011010111111010100100110001101000001100100",
+    "000000000000011100011010111111010100100110001101000001100101",
+    "000000000000011100011010111111010100100110001101000001100110",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "00",
+    "010",
+    "011000",
+    "0110010",
+    "01100110",
+    "01100111000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000",
+    "0000000000000000000000000000000000000000000000000000010",
+    "0000000000000000000000000000000000000000000000000000011000",
+    "00000000000000000000000000000000000000000000000000000110010",
+    "000000000000000000000000000000000000000000000000000001100110",
+    "000000000000000000000000000000000000000000000000000001100111000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000",
+    "000000000000000000000000000000000000000000000000000001000",
+    "000000000000000000000000000000000000000000000000000001001",
+    "000000000000000000000000000000000000000000000000000001010",
+    "000000000000000000000000000000000000000000000000000001011",
+    "000000000000000000000000000000000000000000000000000001100000",
+    "000000000000000000000000000000000000000000000000000001100001",
+    "000000000000000000000000000000000000000000000000000001100010",
+    "000000000000000000000000000000000000000000000000000001100011",
+    "000000000000000000000000000000000000000000000000000001100100",
+    "000000000000000000000000000000000000000000000000000001100101",
+    "000000000000000000000000000000000000000000000000000001100110",
+    "000000000000000000000000000000000000000000000000000001100111000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001100111111111111111",
+    "1110001101011111101010010011000110100000",
+    "11100011010111111010100100110001101000010000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001100111111111111111",
+    "1110001101011111101010010011000110100000",
+    "11100011010111111010100100110001101000010000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001100111111111111111",
+    "00000000000001110001101011111101010010011000110100000",
+    "000000000000011100011010111111010100100110001101000010000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001100111111111111111",
+    "000000000000011100011010111111010100100110001101000000",
+    "000000000000011100011010111111010100100110001101000001",
+    "000000000000011100011010111111010100100110001101000010000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "0",
+    "1000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "00",
+    "01",
+    "1000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "00000000000000000000000000000000000000000000000000000",
+    "00000000000000000000000000000000000000000000000000001000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000",
+    "000000000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000000000001000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000",
+    "000000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000000010000000000",
+    "000000000000000000000000000000000000000000000000000010000000001",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001100111111111111111",
+    "000000000000011100011010111111010100100110001101",
+    "00000000000001110001101011111101010010011000111",
+    "00000000000001110001101011111101010010011001",
+    "0000000000000111000110101111110101001001101",
+    "000000000000011100011010111111010100100111",
+    "000000000000011100011010111111010100101",
+    "00000000000001110001101011111101010011",
+    "000000000000011100011010111111010101",
+    "00000000000001110001101011111101011",
+    "000000000000011100011010111111011",
+    "00000000000001110001101011111110000",
+    "0000000000000111000110101111111000100",
+    "0000000000000111000110101111111000101000",
+    "00000000000001110001101011111110001010010",
+    "000000000000011100011010111111100010100110000",
+    "0000000000000111000110101111111000101001100010",
+    "000000000000011100011010111111100010100110001100",
+    "000000000000011100011010111111100010100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001100111111111111111",
+    "000000000000011100011010111111010100100110001101",
+    "000000000000011100011010111111010100100110001110",
+    "000000000000011100011010111111010100100110001111",
+    "000000000000011100011010111111010100100110010",
+    "000000000000011100011010111111010100100110011",
+    "000000000000011100011010111111010100100110100",
+    "000000000000011100011010111111010100100110101",
+    "000000000000011100011010111111010100100110110",
+    "000000000000011100011010111111010100100110111",
+    "000000000000011100011010111111010100100111",
+    "000000000000011100011010111111010100101",
+    "000000000000011100011010111111010100110",
+    "000000000000011100011010111111010100111",
+    "000000000000011100011010111111010101",
+    "000000000000011100011010111111010110",
+    "000000000000011100011010111111010111",
+    "000000000000011100011010111111011",
+    "000000000000011100011010111111100000",
+    "000000000000011100011010111111100001",
+    "000000000000011100011010111111100010000",
+    "000000000000011100011010111111100010001",
+    "000000000000011100011010111111100010010",
+    "000000000000011100011010111111100010011",
+    "000000000000011100011010111111100010100000",
+    "000000000000011100011010111111100010100001",
+    "000000000000011100011010111111100010100010",
+    "000000000000011100011010111111100010100011",
+    "000000000000011100011010111111100010100100",
+    "000000000000011100011010111111100010100101",
+    "000000000000011100011010111111100010100110000",
+    "000000000000011100011010111111100010100110001000",
+    "000000000000011100011010111111100010100110001001",
+    "000000000000011100011010111111100010100110001010",
+    "000000000000011100011010111111100010100110001011",
+    "000000000000011100011010111111100010100110001100",
+    "000000000000011100011010111111100010100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000",
+    "0000000000000000000000000000000010",
+    "00000000000000000000000000000000110",
+    "00000000000000000000000000000000111000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000000000000",
+    "0000000000000000000000000000000001",
+    "0000000000000000000000000000000010",
+    "000000000000000000000000000000001100",
+    "000000000000000000000000000000001101",
+    "00000000000000000000000000000000111000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000",
+    "000000000000000000000000000000001000",
+    "000000000000000000000000000000001001",
+    "000000000000000000000000000000001010",
+    "000000000000000000000000000000001011",
+    "000000000000000000000000000000001100",
+    "000000000000000000000000000000001101",
+    "000000000000000000000000000000001110000000000000000000000000000",
+    "000000000000000000000000000000001110000000000000000000000000001",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "1",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "00000000001",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000000000001",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000000000001",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "00000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001101000000",
+    "111000110101111110101001001100011010000010",
+    "111000110101111110101001001100011010000011000",
+    "1110001101011111101010010011000110100000110010",
+    "11100011010111111010100100110001101000001100110",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011010000000",
+    "111000110101111110101001001100011010000001",
+    "111000110101111110101001001100011010000010",
+    "1110001101011111101010010011000110100000110000",
+    "1110001101011111101010010011000110100000110001",
+    "1110001101011111101010010011000110100000110010",
+    "111000110101111110101001001100011010000011001100",
+    "111000110101111110101001001100011010000011001101",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "111000110101111110101001001100011010000000",
+    "111000110101111110101001001100011010000001",
+    "111000110101111110101001001100011010000010",
+    "111000110101111110101001001100011010000011000",
+    "111000110101111110101001001100011010000011001000",
+    "111000110101111110101001001100011010000011001001",
+    "111000110101111110101001001100011010000011001010",
+    "111000110101111110101001001100011010000011001011",
+    "111000110101111110101001001100011010000011001100",
+    "111000110101111110101001001100011010000011001101",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001101000000000",
+    "11100011010111111010100100110001101000000001",
+    "11100011010111111010100100110001101000000010",
+    "11100011010111111010100100110001101000000011",
+    "11100011010111111010100100110001101000000100",
+    "11100011010111111010100100110001101000000101",
+    "11100011010111111010100100110001101000000110",
+    "11100011010111111010100100110001101000000111",
+    "11100011010111111010100100110001101000001000",
+    "11100011010111111010100100110001101000001001",
+    "11100011010111111010100100110001101000001010",
+    "11100011010111111010100100110001101000001011",
+    "111000110101111110101001001100011010000011000000",
+    "111000110101111110101001001100011010000011000001",
+    "111000110101111110101001001100011010000011000010",
+    "111000110101111110101001001100011010000011000011",
+    "111000110101111110101001001100011010000011000100",
+    "111000110101111110101001001100011010000011000101",
+    "111000110101111110101001001100011010000011000110",
+    "111000110101111110101001001100011010000011000111",
+    "111000110101111110101001001100011010000011001000",
+    "111000110101111110101001001100011010000011001001",
+    "111000110101111110101001001100011010000011001010",
+    "111000110101111110101001001100011010000011001011",
+    "111000110101111110101001001100011010000011001100",
+    "111000110101111110101001001100011010000011001101",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001101000000",
+    "0000000000000111000110101111110101001001100011010000010",
+    "0000000000000111000110101111110101001001100011010000011000",
+    "00000000000001110001101011111101010010011000110100000110010",
+    "000000000000011100011010111111010100100110001101000001100110",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001101000000",
+    "00000000000001110001101011111101010010011000110100000100",
+    "00000000000001110001101011111101010010011000110100000101",
+    "0000000000000111000110101111110101001001100011010000011000",
+    "000000000000011100011010111111010100100110001101000001100100",
+    "000000000000011100011010111111010100100110001101000001100101",
+    "000000000000011100011010111111010100100110001101000001100110",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001101000000",
+    "000000000000011100011010111111010100100110001101000001000",
+    "000000000000011100011010111111010100100110001101000001001",
+    "000000000000011100011010111111010100100110001101000001010",
+    "000000000000011100011010111111010100100110001101000001011",
+    "000000000000011100011010111111010100100110001101000001100000",
+    "000000000000011100011010111111010100100110001101000001100001",
+    "000000000000011100011010111111010100100110001101000001100010",
+    "000000000000011100011010111111010100100110001101000001100011",
+    "000000000000011100011010111111010100100110001101000001100100",
+    "000000000000011100011010111111010100100110001101000001100101",
+    "000000000000011100011010111111010100100110001101000001100110",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "00000000000001110001101011111101010010011000110100000000",
+    "00000000000001110001101011111101010010011000110100000001",
+    "00000000000001110001101011111101010010011000110100000010",
+    "00000000000001110001101011111101010010011000110100000011",
+    "00000000000001110001101011111101010010011000110100000100",
+    "00000000000001110001101011111101010010011000110100000101",
+    "000000000000011100011010111111010100100110001101000001100000",
+    "000000000000011100011010111111010100100110001101000001100001",
+    "000000000000011100011010111111010100100110001101000001100010",
+    "000000000000011100011010111111010100100110001101000001100011",
+    "000000000000011100011010111111010100100110001101000001100100",
+    "000000000000011100011010111111010100100110001101000001100101",
+    "000000000000011100011010111111010100100110001101000001100110",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "00000000001",
+    "0000000001",
+    "000000001",
+    "00000001",
+    "0000001",
+    "000001",
+    "00001",
+    "0001",
+    "001",
+    "010",
+    "011000",
+    "0110010",
+    "01100110",
+    "01100111000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000000000000010",
+    "0000000000000000000000000000000000000000000000000000011000",
+    "00000000000000000000000000000000000000000000000000000110010",
+    "000000000000000000000000000000000000000000000000000001100110",
+    "000000000000000000000000000000000000000000000000000001100111000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000000000000000010",
+    "000000000000000000000000000000000000000000000000000000000000011",
+    "000000000000000000000000000000000000000000000000000000000000100",
+    "000000000000000000000000000000000000000000000000000000000000101",
+    "000000000000000000000000000000000000000000000000000000000000110",
+    "000000000000000000000000000000000000000000000000000000000000111",
+    "000000000000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000000000000010",
+    "000000000000000000000000000000000000000000000000000000000011",
+    "000000000000000000000000000000000000000000000000000000000100",
+    "000000000000000000000000000000000000000000000000000000000101",
+    "000000000000000000000000000000000000000000000000000000000110",
+    "000000000000000000000000000000000000000000000000000000000111",
+    "000000000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000000000010",
+    "000000000000000000000000000000000000000000000000000000011",
+    "000000000000000000000000000000000000000000000000000000100",
+    "000000000000000000000000000000000000000000000000000000101",
+    "000000000000000000000000000000000000000000000000000000110",
+    "000000000000000000000000000000000000000000000000000000111",
+    "000000000000000000000000000000000000000000000000000001000",
+    "000000000000000000000000000000000000000000000000000001001",
+    "000000000000000000000000000000000000000000000000000001010",
+    "000000000000000000000000000000000000000000000000000001011",
+    "000000000000000000000000000000000000000000000000000001100000",
+    "000000000000000000000000000000000000000000000000000001100001",
+    "000000000000000000000000000000000000000000000000000001100010",
+    "000000000000000000000000000000000000000000000000000001100011",
+    "000000000000000000000000000000000000000000000000000001100100",
+    "000000000000000000000000000000000000000000000000000001100101",
+    "000000000000000000000000000000000000000000000000000001100110",
+    "000000000000000000000000000000000000000000000000000001100111000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "00",
+    "010",
+    "011000",
+    "0110010",
+    "01100110",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "00",
+    "0100",
+    "0101",
+    "011000",
+    "01100100",
+    "01100101",
+    "01100110",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "000",
+    "001",
+    "010",
+    "011000",
+    "011001000",
+    "011001001",
+    "011001010",
+    "011001011",
+    "011001100",
+    "011001101",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "0000",
+    "0001",
+    "0010",
+    "0011",
+    "0100",
+    "0101",
+    "01100000",
+    "01100001",
+    "01100010",
+    "01100011",
+    "01100100",
+    "01100101",
+    "01100110",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000",
+    "0000000000000000000000000000000000000000000000000000010",
+    "0000000000000000000000000000000000000000000000000000011000",
+    "00000000000000000000000000000000000000000000000000000110010",
+    "000000000000000000000000000000000000000000000000000001100110",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000",
+    "00000000000000000000000000000000000000000000000000000100",
+    "00000000000000000000000000000000000000000000000000000101",
+    "0000000000000000000000000000000000000000000000000000011000",
+    "000000000000000000000000000000000000000000000000000001100100",
+    "000000000000000000000000000000000000000000000000000001100101",
+    "000000000000000000000000000000000000000000000000000001100110",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000",
+    "000000000000000000000000000000000000000000000000000001000",
+    "000000000000000000000000000000000000000000000000000001001",
+    "000000000000000000000000000000000000000000000000000001010",
+    "000000000000000000000000000000000000000000000000000001011",
+    "000000000000000000000000000000000000000000000000000001100000",
+    "000000000000000000000000000000000000000000000000000001100001",
+    "000000000000000000000000000000000000000000000000000001100010",
+    "000000000000000000000000000000000000000000000000000001100011",
+    "000000000000000000000000000000000000000000000000000001100100",
+    "000000000000000000000000000000000000000000000000000001100101",
+    "000000000000000000000000000000000000000000000000000001100110",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "00000000000000000000000000000000000000000000000000000000",
+    "00000000000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000000000000010",
+    "00000000000000000000000000000000000000000000000000000011",
+    "00000000000000000000000000000000000000000000000000000100",
+    "00000000000000000000000000000000000000000000000000000101",
+    "000000000000000000000000000000000000000000000000000001100000",
+    "000000000000000000000000000000000000000000000000000001100001",
+    "000000000000000000000000000000000000000000000000000001100010",
+    "000000000000000000000000000000000000000000000000000001100011",
+    "000000000000000000000000000000000000000000000000000001100100",
+    "000000000000000000000000000000000000000000000000000001100101",
+    "000000000000000000000000000000000000000000000000000001100110",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "1110001101011111101010010011000110100000",
+    "11100011010111111010100100110001101000010000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "1110001101011111101010010011000110100000",
+    "11100011010111111010100100110001101000010000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "00000000000001110001101011111101010010011000110100000",
+    "000000000000011100011010111111010100100110001101000010000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001101000000",
+    "000000000000011100011010111111010100100110001101000001",
+    "000000000000011100011010111111010100100110001101000010000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "00000000001",
+    "0000000001",
+    "000000001",
+    "00000001",
+    "0000001",
+    "000001",
+    "00001",
+    "0001",
+    "001",
+    "01",
+    "1000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000000000001000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000000000000000010",
+    "000000000000000000000000000000000000000000000000000000000000011",
+    "000000000000000000000000000000000000000000000000000000000000100",
+    "000000000000000000000000000000000000000000000000000000000000101",
+    "000000000000000000000000000000000000000000000000000000000000110",
+    "000000000000000000000000000000000000000000000000000000000000111",
+    "000000000000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000000000000010",
+    "000000000000000000000000000000000000000000000000000000000011",
+    "000000000000000000000000000000000000000000000000000000000100",
+    "000000000000000000000000000000000000000000000000000000000101",
+    "000000000000000000000000000000000000000000000000000000000110",
+    "000000000000000000000000000000000000000000000000000000000111",
+    "000000000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000000000010",
+    "000000000000000000000000000000000000000000000000000000011",
+    "000000000000000000000000000000000000000000000000000000100",
+    "000000000000000000000000000000000000000000000000000000101",
+    "000000000000000000000000000000000000000000000000000000110",
+    "000000000000000000000000000000000000000000000000000000111",
+    "000000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000000010000000000",
+    "000000000000000000000000000000000000000000000000000010000000001",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "0",
+    "10000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "00000000000000000000000000000000000000000000000000000",
+    "000000000000000000000000000000000000000000000000000010000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000",
+    "000000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000000010000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001101",
+    "00000000000001110001101011111101010010011000111",
+    "00000000000001110001101011111101010010011001",
+    "0000000000000111000110101111110101001001101",
+    "000000000000011100011010111111010100100111",
+    "000000000000011100011010111111010100101",
+    "00000000000001110001101011111101010011",
+    "000000000000011100011010111111010101",
+    "00000000000001110001101011111101011",
+    "000000000000011100011010111111011",
+    "00000000000001110001101011111110000",
+    "0000000000000111000110101111111000100",
+    "0000000000000111000110101111111000101000",
+    "00000000000001110001101011111110001010010",
+    "000000000000011100011010111111100010100110000",
+    "0000000000000111000110101111111000101001100010",
+    "000000000000011100011010111111100010100110001100",
+    "000000000000011100011010111111100010100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001101",
+    "000000000000011100011010111111010100100110001110",
+    "000000000000011100011010111111010100100110001111",
+    "000000000000011100011010111111010100100110010",
+    "000000000000011100011010111111010100100110011",
+    "000000000000011100011010111111010100100110100",
+    "000000000000011100011010111111010100100110101",
+    "000000000000011100011010111111010100100110110",
+    "000000000000011100011010111111010100100110111",
+    "000000000000011100011010111111010100100111",
+    "000000000000011100011010111111010100101",
+    "000000000000011100011010111111010100110",
+    "000000000000011100011010111111010100111",
+    "000000000000011100011010111111010101",
+    "000000000000011100011010111111010110",
+    "000000000000011100011010111111010111",
+    "000000000000011100011010111111011",
+    "000000000000011100011010111111100000",
+    "000000000000011100011010111111100001",
+    "000000000000011100011010111111100010000",
+    "000000000000011100011010111111100010001",
+    "000000000000011100011010111111100010010",
+    "000000000000011100011010111111100010011",
+    "000000000000011100011010111111100010100000",
+    "000000000000011100011010111111100010100001",
+    "000000000000011100011010111111100010100010",
+    "000000000000011100011010111111100010100011",
+    "000000000000011100011010111111100010100100",
+    "000000000000011100011010111111100010100101",
+    "000000000000011100011010111111100010100110000",
+    "000000000000011100011010111111100010100110001000",
+    "000000000000011100011010111111100010100110001001",
+    "000000000000011100011010111111100010100110001010",
+    "000000000000011100011010111111100010100110001011",
+    "000000000000011100011010111111100010100110001100",
+    "000000000000011100011010111111100010100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000001",
+    "0000000000000000000000000000000000001",
+    "000000000000000000000000000000000001",
+    "00000000000000000000000000000000001",
+    "0000000000000000000000000000000001",
+    "0000000000000000000000000000000010",
+    "00000000000000000000000000000000110",
+    "00000000000000000000000000000000111000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000",
+    "0000000000000000000000000000000010",
+    "00000000000000000000000000000000110",
+    "000000000000000000000000000000001110000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000",
+    "000000000000000000000000000000001000",
+    "000000000000000000000000000000001001",
+    "000000000000000000000000000000001010",
+    "000000000000000000000000000000001011",
+    "000000000000000000000000000000001100",
+    "000000000000000000000000000000001101",
+    "000000000000000000000000000000001110000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001101000001100110111",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001101000001100110111",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001101000001100110111",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001101000001100110111",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "01100111000",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000001100111000",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000001100111000",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "01100110111",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000001100110111",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 823,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000001100110111",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001101000001100110111",
+    "11100011010111111010100100110001101000001100111",
+    "11100011010111111010100100110001101000001101",
+    "1110001101011111101010010011000110100000111",
+    "11100011010111111010100100110001101000010000000000",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001101000001100110111",
+    "111000110101111110101001001100011010000011001110",
+    "111000110101111110101001001100011010000011001111",
+    "11100011010111111010100100110001101000001101",
+    "11100011010111111010100100110001101000001110",
+    "11100011010111111010100100110001101000001111",
+    "11100011010111111010100100110001101000010000000000",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001101000001100110111",
+    "000000000000011100011010111111010100100110001101000001100111",
+    "000000000000011100011010111111010100100110001101000001101",
+    "00000000000001110001101011111101010010011000110100000111",
+    "000000000000011100011010111111010100100110001101000010000000000",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001101000001100110111",
+    "000000000000011100011010111111010100100110001101000001100111",
+    "000000000000011100011010111111010100100110001101000001101",
+    "000000000000011100011010111111010100100110001101000001110",
+    "000000000000011100011010111111010100100110001101000001111",
+    "000000000000011100011010111111010100100110001101000010000000000",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "01100111",
+    "01101",
+    "0111",
+    "1000000000",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "01100111",
+    "011010",
+    "011011",
+    "0111",
+    "1000000000",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000001100111",
+    "000000000000000000000000000000000000000000000000000001101",
+    "00000000000000000000000000000000000000000000000000000111",
+    "00000000000000000000000000000000000000000000000000001000000000",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000001100111",
+    "0000000000000000000000000000000000000000000000000000011010",
+    "0000000000000000000000000000000000000000000000000000011011",
+    "00000000000000000000000000000000000000000000000000000111",
+    "00000000000000000000000000000000000000000000000000001000000000",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000001100111",
+    "000000000000000000000000000000000000000000000000000001101",
+    "000000000000000000000000000000000000000000000000000001110",
+    "000000000000000000000000000000000000000000000000000001111",
+    "000000000000000000000000000000000000000000000000000010000000000",
+    "000000000000000000000000000000000000000000000000000010000000001",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "01100110111",
+    "01100111",
+    "01101",
+    "0111",
+    "10000000000",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000001100110111",
+    "000000000000000000000000000000000000000000000000000001100111",
+    "000000000000000000000000000000000000000000000000000001101",
+    "00000000000000000000000000000000000000000000000000000111",
+    "000000000000000000000000000000000000000000000000000010000000000",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000001100110111",
+    "000000000000000000000000000000000000000000000000000001100111",
+    "000000000000000000000000000000000000000000000000000001101",
+    "000000000000000000000000000000000000000000000000000001110",
+    "000000000000000000000000000000000000000000000000000001111",
+    "000000000000000000000000000000000000000000000000000010000000000",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001101000001100110111",
+    "000000000000011100011010111111010100100110001101000001100111",
+    "000000000000011100011010111111010100100110001101000001101",
+    "00000000000001110001101011111101010010011000110100000111",
+    "00000000000001110001101011111101010010011000110100001",
+    "0000000000000111000110101111110101001001100011010001",
+    "000000000000011100011010111111010100100110001101001",
+    "00000000000001110001101011111101010010011000110101",
+    "0000000000000111000110101111110101001001100011011",
+    "00000000000001110001101011111101010010011000111",
+    "00000000000001110001101011111101010010011001",
+    "0000000000000111000110101111110101001001101",
+    "000000000000011100011010111111010100100111",
+    "000000000000011100011010111111010100101",
+    "00000000000001110001101011111101010011",
+    "000000000000011100011010111111010101",
+    "00000000000001110001101011111101011",
+    "000000000000011100011010111111011",
+    "00000000000001110001101011111110000",
+    "0000000000000111000110101111111000100",
+    "0000000000000111000110101111111000101000",
+    "00000000000001110001101011111110001010010",
+    "000000000000011100011010111111100010100110000",
+    "0000000000000111000110101111111000101001100010",
+    "000000000000011100011010111111100010100110001100",
+    "000000000000011100011010111111100010100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000001100111",
+    "000000000000000000000000000000000000000000000000000001101",
+    "00000000000000000000000000000000000000000000000000000111",
+    "00000000000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000001",
+    "0000000000000000000000000000000000001",
+    "000000000000000000000000000000000001",
+    "00000000000000000000000000000000001",
+    "0000000000000000000000000000000001",
+    "0000000000000000000000000000000010",
+    "00000000000000000000000000000000110",
+    "00000000000000000000000000000000111000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000001100111",
+    "0000000000000000000000000000000000000000000000000000011010",
+    "0000000000000000000000000000000000000000000000000000011011",
+    "00000000000000000000000000000000000000000000000000000111",
+    "000000000000000000000000000000000000000000000000000010",
+    "000000000000000000000000000000000000000000000000000011",
+    "0000000000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000000000010",
+    "0000000000000000000000000000000000000000000000000011",
+    "00000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000000010",
+    "00000000000000000000000000000000000000000000000011",
+    "000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000010",
+    "000000000000000000000000000000000000000000000011",
+    "0000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000010",
+    "0000000000000000000000000000000000000000000011",
+    "00000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000010",
+    "00000000000000000000000000000000000000000011",
+    "000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000010",
+    "000000000000000000000000000000000000000011",
+    "0000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000010",
+    "0000000000000000000000000000000000000011",
+    "00000000000000000000000000000000000001",
+    "00000000000000000000000000000000000010",
+    "00000000000000000000000000000000000011",
+    "000000000000000000000000000000000001",
+    "000000000000000000000000000000000010",
+    "000000000000000000000000000000000011",
+    "0000000000000000000000000000000001",
+    "0000000000000000000000000000000010",
+    "000000000000000000000000000000001100",
+    "000000000000000000000000000000001101",
+    "00000000000000000000000000000000111000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 823,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000001100110111",
+    "000000000000000000000000000000000000000000000000000001100111",
+    "000000000000000000000000000000000000000000000000000001101",
+    "00000000000000000000000000000000000000000000000000000111",
+    "00000000000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000001",
+    "0000000000000000000000000000000000001",
+    "000000000000000000000000000000000001",
+    "00000000000000000000000000000000001",
+    "0000000000000000000000000000000001",
+    "0000000000000000000000000000000010",
+    "00000000000000000000000000000000110",
+    "000000000000000000000000000000001110000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1024,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001101000010000000000",
+  },
+},
+{
+  .lowerBound = 1024,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "11100011010111111010100100110001101000010000000000",
+  },
+},
+{
+  .lowerBound = 1024,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001101000010000000000",
+  },
+},
+{
+  .lowerBound = 1024,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001101000010000000000",
+  },
+},
+{
+  .lowerBound = 1024,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "10000000001",
+  },
+},
+{
+  .lowerBound = 1024,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000010000000001",
+  },
+},
+{
+  .lowerBound = 1024,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000010000000001",
+  },
+},
+{
+  .lowerBound = 1024,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1024 },
+  .expectMincoverStrings = {
+    "10000000000",
+  },
+},
+{
+  .lowerBound = 1024,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000010000000000",
+  },
+},
+{
+  .lowerBound = 1024,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000010000000000",
+  },
+},
+{
+  .lowerBound = 1024,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 1024 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1024,
+  .includeLowerBound = true,
+  .upperBound = 1024,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 1024 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1024,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "00000000000001110001101011111101010010011000110100001",
+    "0000000000000111000110101111110101001001100011010001",
+    "000000000000011100011010111111010100100110001101001",
+    "00000000000001110001101011111101010010011000110101",
+    "0000000000000111000110101111110101001001100011011",
+    "00000000000001110001101011111101010010011000111",
+    "00000000000001110001101011111101010010011001",
+    "0000000000000111000110101111110101001001101",
+    "000000000000011100011010111111010100100111",
+    "000000000000011100011010111111010100101",
+    "00000000000001110001101011111101010011",
+    "000000000000011100011010111111010101",
+    "00000000000001110001101011111101011",
+    "000000000000011100011010111111011",
+    "00000000000001110001101011111110000",
+    "0000000000000111000110101111111000100",
+    "0000000000000111000110101111111000101000",
+    "00000000000001110001101011111110001010010",
+    "000000000000011100011010111111100010100110000",
+    "0000000000000111000110101111111000101001100010",
+    "000000000000011100011010111111100010100110001100",
+    "000000000000011100011010111111100010100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = 1024,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111010100100110001101000010",
+    "000000000000011100011010111111010100100110001101000011",
+    "000000000000011100011010111111010100100110001101000100",
+    "000000000000011100011010111111010100100110001101000101",
+    "000000000000011100011010111111010100100110001101000110",
+    "000000000000011100011010111111010100100110001101000111",
+    "000000000000011100011010111111010100100110001101001",
+    "000000000000011100011010111111010100100110001101010",
+    "000000000000011100011010111111010100100110001101011",
+    "000000000000011100011010111111010100100110001101100",
+    "000000000000011100011010111111010100100110001101101",
+    "000000000000011100011010111111010100100110001101110",
+    "000000000000011100011010111111010100100110001101111",
+    "000000000000011100011010111111010100100110001110",
+    "000000000000011100011010111111010100100110001111",
+    "000000000000011100011010111111010100100110010",
+    "000000000000011100011010111111010100100110011",
+    "000000000000011100011010111111010100100110100",
+    "000000000000011100011010111111010100100110101",
+    "000000000000011100011010111111010100100110110",
+    "000000000000011100011010111111010100100110111",
+    "000000000000011100011010111111010100100111",
+    "000000000000011100011010111111010100101",
+    "000000000000011100011010111111010100110",
+    "000000000000011100011010111111010100111",
+    "000000000000011100011010111111010101",
+    "000000000000011100011010111111010110",
+    "000000000000011100011010111111010111",
+    "000000000000011100011010111111011",
+    "000000000000011100011010111111100000",
+    "000000000000011100011010111111100001",
+    "000000000000011100011010111111100010000",
+    "000000000000011100011010111111100010001",
+    "000000000000011100011010111111100010010",
+    "000000000000011100011010111111100010011",
+    "000000000000011100011010111111100010100000",
+    "000000000000011100011010111111100010100001",
+    "000000000000011100011010111111100010100010",
+    "000000000000011100011010111111100010100011",
+    "000000000000011100011010111111100010100100",
+    "000000000000011100011010111111100010100101",
+    "000000000000011100011010111111100010100110000",
+    "000000000000011100011010111111100010100110001000",
+    "000000000000011100011010111111100010100110001001",
+    "000000000000011100011010111111100010100110001010",
+    "000000000000011100011010111111100010100110001011",
+    "000000000000011100011010111111100010100110001100",
+    "000000000000011100011010111111100010100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = 1024,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000000000000000000000010000000001",
+    "00000000000000000000000000000000000000000000000000001000000001",
+    "0000000000000000000000000000000000000000000000000000100000001",
+    "000000000000000000000000000000000000000000000000000010000001",
+    "00000000000000000000000000000000000000000000000000001000001",
+    "0000000000000000000000000000000000000000000000000000100001",
+    "000000000000000000000000000000000000000000000000000010001",
+    "00000000000000000000000000000000000000000000000000001001",
+    "0000000000000000000000000000000000000000000000000000101",
+    "000000000000000000000000000000000000000000000000000011",
+    "0000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000001",
+    "0000000000000000000000000000000000001",
+    "000000000000000000000000000000000001",
+    "00000000000000000000000000000000001",
+    "0000000000000000000000000000000001",
+    "0000000000000000000000000000000010",
+    "00000000000000000000000000000000110",
+    "00000000000000000000000000000000111000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1024,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "00000000000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000000001",
+    "0000000000000000000000000000000000000001",
+    "000000000000000000000000000000000000001",
+    "00000000000000000000000000000000000001",
+    "0000000000000000000000000000000000001",
+    "000000000000000000000000000000000001",
+    "00000000000000000000000000000000001",
+    "0000000000000000000000000000000001",
+    "0000000000000000000000000000000010",
+    "00000000000000000000000000000000110",
+    "000000000000000000000000000000001110000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1024,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 1024 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000",
+    "0000000000000000000000000000000010",
+    "000000000000000000000000000000001100",
+    "0000000000000000000000000000000011010",
+    "00000000000000000000000000000000110110",
+    "000000000000000000000000000000001101110",
+    "0000000000000000000000000000000011011110",
+    "00000000000000000000000000000000110111110",
+    "000000000000000000000000000000001101111110",
+    "0000000000000000000000000000000011011111110",
+    "00000000000000000000000000000000110111111110",
+    "000000000000000000000000000000001101111111110",
+    "0000000000000000000000000000000011011111111110",
+    "00000000000000000000000000000000110111111111110",
+    "000000000000000000000000000000001101111111111110",
+    "0000000000000000000000000000000011011111111111110",
+    "00000000000000000000000000000000110111111111111110",
+    "000000000000000000000000000000001101111111111111110",
+    "0000000000000000000000000000000011011111111111111110",
+    "00000000000000000000000000000000110111111111111111110",
+    "000000000000000000000000000000001101111111111111111110000000000",
+  },
+},
+{
+  .lowerBound = 1024,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 1024 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000000",
+    "000000000000000000000000000000001000",
+    "000000000000000000000000000000001001",
+    "000000000000000000000000000000001010",
+    "000000000000000000000000000000001011",
+    "000000000000000000000000000000001100",
+    "000000000000000000000000000000001101000",
+    "000000000000000000000000000000001101001",
+    "000000000000000000000000000000001101010",
+    "000000000000000000000000000000001101011",
+    "000000000000000000000000000000001101100",
+    "000000000000000000000000000000001101101",
+    "000000000000000000000000000000001101110",
+    "000000000000000000000000000000001101111000",
+    "000000000000000000000000000000001101111001",
+    "000000000000000000000000000000001101111010",
+    "000000000000000000000000000000001101111011",
+    "000000000000000000000000000000001101111100",
+    "000000000000000000000000000000001101111101",
+    "000000000000000000000000000000001101111110",
+    "000000000000000000000000000000001101111111000",
+    "000000000000000000000000000000001101111111001",
+    "000000000000000000000000000000001101111111010",
+    "000000000000000000000000000000001101111111011",
+    "000000000000000000000000000000001101111111100",
+    "000000000000000000000000000000001101111111101",
+    "000000000000000000000000000000001101111111110",
+    "000000000000000000000000000000001101111111111000",
+    "000000000000000000000000000000001101111111111001",
+    "000000000000000000000000000000001101111111111010",
+    "000000000000000000000000000000001101111111111011",
+    "000000000000000000000000000000001101111111111100",
+    "000000000000000000000000000000001101111111111101",
+    "000000000000000000000000000000001101111111111110",
+    "000000000000000000000000000000001101111111111111000",
+    "000000000000000000000000000000001101111111111111001",
+    "000000000000000000000000000000001101111111111111010",
+    "000000000000000000000000000000001101111111111111011",
+    "000000000000000000000000000000001101111111111111100",
+    "000000000000000000000000000000001101111111111111101",
+    "000000000000000000000000000000001101111111111111110",
+    "000000000000000000000000000000001101111111111111111000",
+    "000000000000000000000000000000001101111111111111111001",
+    "000000000000000000000000000000001101111111111111111010",
+    "000000000000000000000000000000001101111111111111111011",
+    "000000000000000000000000000000001101111111111111111100",
+    "000000000000000000000000000000001101111111111111111101",
+    "000000000000000000000000000000001101111111111111111110000000000",
+  },
+},
+{
+  .lowerBound = 1879048192,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111100010100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = 1879048192,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1000000000000000 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000011100011010111111100010100110001101000000000000000",
+  },
+},
+{
+  .lowerBound = 1879048192,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000001110000000000000000000000000001",
+  },
+},
+{
+  .lowerBound = 1879048192,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000001110000000000000000000000000001",
+  },
+},
+{
+  .lowerBound = 1879048192,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000001110000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1879048192,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000001110000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1879048192,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 1024 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000001101111111111111111110000000000",
+  },
+},
+{
+  .lowerBound = 1879048192,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 1024 },
+  .max = { .set = true, .value = 8070450532247928832 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000001101111111111111111110000000000",
+  },
+},