libmongocrypt-helper 1.7.0.0.1001 → 1.7.4.0.1000

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

@@ -0,0 +1,4612 @@
+// This code is GENERATED! Do not edit!
+// clang-format off
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = -1 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = -1 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = -1 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = -1 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -100,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000100110001001011000011100",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = -1 },
+  .expectMincoverStrings = {
+    "1001100010010110000111",
+    "1001100010010110001",
+    "100110001001011001",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = -1 },
+  .expectMincoverStrings = {
+    "1001100010010110000111",
+    "10011000100101100010",
+    "10011000100101100011",
+    "100110001001011001",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = -1 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+    "100110001001011000011101",
+    "100110001001011000011110",
+    "100110001001011000011111",
+    "100110001001011000100",
+    "100110001001011000101",
+    "100110001001011000110",
+    "100110001001011000111",
+    "100110001001011001",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = -1 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+    "100110001001011000011101",
+    "100110001001011000011110",
+    "100110001001011000011111",
+    "10011000100101100010",
+    "10011000100101100011",
+    "10011000100101100100",
+    "10011000100101100101",
+    "10011000100101100110",
+    "10011000100101100111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "1001100010010110000111",
+    "1001100010010110001",
+    "100110001001011001",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "1001100010010110000111",
+    "10011000100101100010",
+    "10011000100101100011",
+    "100110001001011001",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+    "100110001001011000011101",
+    "100110001001011000011110",
+    "100110001001011000011111",
+    "100110001001011000100",
+    "100110001001011000101",
+    "100110001001011000110",
+    "100110001001011000111",
+    "100110001001011001",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+    "100110001001011000011101",
+    "100110001001011000011110",
+    "100110001001011000011111",
+    "10011000100101100010",
+    "10011000100101100011",
+    "10011000100101100100",
+    "10011000100101100101",
+    "10011000100101100110",
+    "10011000100101100111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "1001100010010110000111",
+    "1001100010010110001",
+    "100110001001011001",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "1001100010010110000111",
+    "10011000100101100010",
+    "10011000100101100011",
+    "100110001001011001",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+    "100110001001011000011101",
+    "100110001001011000011110",
+    "100110001001011000011111",
+    "100110001001011000100",
+    "100110001001011000101",
+    "100110001001011000110",
+    "100110001001011000111",
+    "100110001001011001",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+    "100110001001011000011101",
+    "100110001001011000011110",
+    "100110001001011000011111",
+    "10011000100101100010",
+    "10011000100101100011",
+    "10011000100101100100",
+    "10011000100101100101",
+    "10011000100101100110",
+    "10011000100101100111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "1001100010010110000111",
+    "1001100010010110001",
+    "100110001001011001",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "1001100010010110000111",
+    "10011000100101100010",
+    "10011000100101100011",
+    "100110001001011001",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+    "100110001001011000011101",
+    "100110001001011000011110",
+    "100110001001011000011111",
+    "100110001001011000100",
+    "100110001001011000101",
+    "100110001001011000110",
+    "100110001001011000111",
+    "100110001001011001",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+    "100110001001011000011101",
+    "100110001001011000011110",
+    "100110001001011000011111",
+    "10011000100101100010",
+    "10011000100101100011",
+    "10011000100101100100",
+    "10011000100101100101",
+    "10011000100101100110",
+    "10011000100101100111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "00000001001100010010110000111",
+    "00000001001100010010110001",
+    "0000000100110001001011001",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "000000010011000100101100001110",
+    "000000010011000100101100001111",
+    "00000001001100010010110001",
+    "00000001001100010010110010",
+    "00000001001100010010110011",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "000000010011000100101100001110",
+    "000000010011000100101100001111",
+    "000000010011000100101100010",
+    "000000010011000100101100011",
+    "000000010011000100101100100",
+    "000000010011000100101100101",
+    "000000010011000100101100110",
+    "000000010011000100101100111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "1001100010010110000111",
+    "1001100010010110001",
+    "100110001001011001",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "1001100010010110000111",
+    "10011000100101100010",
+    "10011000100101100011",
+    "100110001001011001",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+    "100110001001011000011101",
+    "100110001001011000011110",
+    "100110001001011000011111",
+    "100110001001011000100",
+    "100110001001011000101",
+    "100110001001011000110",
+    "100110001001011000111",
+    "100110001001011001",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+    "100110001001011000011101",
+    "100110001001011000011110",
+    "100110001001011000011111",
+    "10011000100101100010",
+    "10011000100101100011",
+    "10011000100101100100",
+    "10011000100101100101",
+    "10011000100101100110",
+    "10011000100101100111",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "1001100010010110000111",
+    "1001100010010110001",
+    "100110001001011001",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "1001100010010110000111",
+    "10011000100101100010",
+    "10011000100101100011",
+    "100110001001011001",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+    "100110001001011000011101",
+    "100110001001011000011110",
+    "100110001001011000011111",
+    "100110001001011000100",
+    "100110001001011000101",
+    "100110001001011000110",
+    "100110001001011000111",
+    "100110001001011001",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+    "100110001001011000011101",
+    "100110001001011000011110",
+    "100110001001011000011111",
+    "10011000100101100010",
+    "10011000100101100011",
+    "10011000100101100100",
+    "10011000100101100101",
+    "10011000100101100110",
+    "10011000100101100111",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "1001100010010110000111",
+    "1001100010010110001",
+    "100110001001011001",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "1001100010010110000111",
+    "10011000100101100010",
+    "10011000100101100011",
+    "100110001001011001",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+    "100110001001011000011101",
+    "100110001001011000011110",
+    "100110001001011000011111",
+    "100110001001011000100",
+    "100110001001011000101",
+    "100110001001011000110",
+    "100110001001011000111",
+    "100110001001011001",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+    "100110001001011000011101",
+    "100110001001011000011110",
+    "100110001001011000011111",
+    "10011000100101100010",
+    "10011000100101100011",
+    "10011000100101100100",
+    "10011000100101100101",
+    "10011000100101100110",
+    "10011000100101100111",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "00000001001100010010110000111",
+    "00000001001100010010110001",
+    "0000000100110001001011001",
+    "0000000100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "1001100010010110000111",
+    "1001100010010110001",
+    "100110001001011001",
+    "100110001001011010000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "1001100010010110000111",
+    "10011000100101100010",
+    "10011000100101100011",
+    "100110001001011001",
+    "1001100010010110100000",
+    "1001100010010110100001",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+    "100110001001011000011101",
+    "100110001001011000011110",
+    "100110001001011000011111",
+    "100110001001011000100",
+    "100110001001011000101",
+    "100110001001011000110",
+    "100110001001011000111",
+    "100110001001011001",
+    "100110001001011010000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+    "100110001001011000011101",
+    "100110001001011000011110",
+    "100110001001011000011111",
+    "10011000100101100010",
+    "10011000100101100011",
+    "10011000100101100100",
+    "10011000100101100101",
+    "10011000100101100110",
+    "10011000100101100111",
+    "100110001001011010000000",
+    "100110001001011010000001",
+    "100110001001011010000010",
+    "100110001001011010000011",
+    "100110001001011010000100",
+    "100110001001011010000101",
+    "100110001001011010000110",
+    "100110001001011010000111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "1001100010010110000111",
+    "1001100010010110001",
+    "100110001001011001",
+    "100110001001011010000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "1001100010010110000111",
+    "10011000100101100010",
+    "10011000100101100011",
+    "100110001001011001",
+    "1001100010010110100000",
+    "1001100010010110100001",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+    "100110001001011000011101",
+    "100110001001011000011110",
+    "100110001001011000011111",
+    "100110001001011000100",
+    "100110001001011000101",
+    "100110001001011000110",
+    "100110001001011000111",
+    "100110001001011001",
+    "100110001001011010000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+    "100110001001011000011101",
+    "100110001001011000011110",
+    "100110001001011000011111",
+    "10011000100101100010",
+    "10011000100101100011",
+    "10011000100101100100",
+    "10011000100101100101",
+    "10011000100101100110",
+    "10011000100101100111",
+    "100110001001011010000000",
+    "100110001001011010000001",
+    "100110001001011010000010",
+    "100110001001011010000011",
+    "100110001001011010000100",
+    "100110001001011010000101",
+    "100110001001011010000110",
+    "100110001001011010000111",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "00000001001100010010110000111",
+    "00000001001100010010110001",
+    "0000000100110001001011001",
+    "0000000100110001001011010000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "000000010011000100101100001110",
+    "000000010011000100101100001111",
+    "00000001001100010010110001",
+    "00000001001100010010110010",
+    "00000001001100010010110011",
+    "0000000100110001001011010000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "000000010011000100101100001110",
+    "000000010011000100101100001111",
+    "000000010011000100101100010",
+    "000000010011000100101100011",
+    "000000010011000100101100100",
+    "000000010011000100101100101",
+    "000000010011000100101100110",
+    "000000010011000100101100111",
+    "000000010011000100101101000000",
+    "000000010011000100101101000001",
+    "000000010011000100101101000010",
+    "000000010011000100101101000011",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "1001100010010110000111",
+    "1001100010010110001",
+    "100110001001011001",
+    "1001100010010110100",
+    "100110001001011010100000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "1001100010010110000111",
+    "10011000100101100010",
+    "10011000100101100011",
+    "100110001001011001",
+    "10011000100101101000",
+    "10011000100101101001",
+    "100110001001011010100000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+    "100110001001011000011101",
+    "100110001001011000011110",
+    "100110001001011000011111",
+    "100110001001011000100",
+    "100110001001011000101",
+    "100110001001011000110",
+    "100110001001011000111",
+    "100110001001011001",
+    "100110001001011010000",
+    "100110001001011010001",
+    "100110001001011010010",
+    "100110001001011010011",
+    "100110001001011010100000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011000011100",
+    "100110001001011000011101",
+    "100110001001011000011110",
+    "100110001001011000011111",
+    "10011000100101100010",
+    "10011000100101100011",
+    "10011000100101100100",
+    "10011000100101100101",
+    "10011000100101100110",
+    "10011000100101100111",
+    "10011000100101101000",
+    "10011000100101101001",
+    "100110001001011010100000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "00000001001100010010110000111",
+    "00000001001100010010110001",
+    "0000000100110001001011001",
+    "00000001001100010010110100",
+    "0000000100110001001011010100000",
+  },
+},
+{
+  .lowerBound = -100,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "00000001001100010010110000111",
+    "00000001001100010010110001",
+    "0000000100110001001011001",
+    "000000010011000100101101",
+    "00000001001100010010111",
+    "00000001001100010011",
+    "000000010011000101",
+    "00000001001100011",
+    "000000010011001",
+    "00000001001101",
+    "0000000100111",
+    "0000000101",
+    "000000011",
+    "0000001",
+    "000001",
+    "00001",
+    "0001",
+    "001",
+    "01",
+    "10",
+    "110",
+    "11100000",
+    "11100001000",
+    "111000010010",
+    "1110000100110000",
+    "1110000100110001000",
+    "111000010011000100100",
+    "1110000100110001001010",
+    "111000010011000100101100",
+    "1110000100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = -1 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = -1 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = -1 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = -1 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000100110001001011001111111",
+  },
+},
+{
+  .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 = 7 },
+  .expectMincoverStrings = {
+    "0000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "0000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "0000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = -1,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000100110001001011001111111",
+    "0000000100110001001011010000000",
+  },
+},
+{
+  .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 = 7 },
+  .expectMincoverStrings = {
+    "000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "0000",
+    "0001",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "0000",
+    "0001",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "00000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000000",
+    "000001",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000000",
+    "000001",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "100110001001011010000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "1001100010010110100000",
+    "1001100010010110100001",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "100110001001011010000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "100110001001011010000000",
+    "100110001001011010000001",
+    "100110001001011010000010",
+    "100110001001011010000011",
+    "100110001001011010000100",
+    "100110001001011010000101",
+    "100110001001011010000110",
+    "100110001001011010000111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "100110001001011010000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "1001100010010110100000",
+    "1001100010010110100001",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "100110001001011010000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "100110001001011010000000",
+    "100110001001011010000001",
+    "100110001001011010000010",
+    "100110001001011010000011",
+    "100110001001011010000100",
+    "100110001001011010000101",
+    "100110001001011010000110",
+    "100110001001011010000111",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000100110001001011001111111",
+    "0000000100110001001011010000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "0",
+    "1000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "00",
+    "01",
+    "1000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "0000",
+    "0001",
+    "0010",
+    "0011",
+    "0100",
+    "0101",
+    "0110",
+    "0111",
+    "1000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000",
+    "001000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "0000",
+    "0001",
+    "001000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000",
+    "001000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000000",
+    "0000000000000000000000000001000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "1001100010010110100",
+    "100110001001011010100000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "10011000100101101000",
+    "10011000100101101001",
+    "100110001001011010100000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "100110001001011010000",
+    "100110001001011010001",
+    "100110001001011010010",
+    "100110001001011010011",
+    "100110001001011010100000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011001111111",
+    "10011000100101101000",
+    "10011000100101101001",
+    "100110001001011010100000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000100110001001011001111111",
+    "00000001001100010010110100",
+    "0000000100110001001011010100000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "0",
+    "10000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "00",
+    "01",
+    "100000",
+    "100001",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000",
+    "001",
+    "010",
+    "011",
+    "100000",
+    "100001",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "00000000000000000000000000",
+    "000000000000000000000000010000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "00000000000000000000000000",
+    "000000000000000000000000010000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000",
+    "000000000000000000000000001",
+    "000000000000000000000000010000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000100110001001011001111111",
+    "000000010011000100101101",
+    "00000001001100010010111",
+    "00000001001100010011",
+    "000000010011000101",
+    "00000001001100011",
+    "000000010011001",
+    "00000001001101",
+    "0000000100111",
+    "0000000101",
+    "000000011",
+    "0000001",
+    "000001",
+    "00001",
+    "0001",
+    "001",
+    "01",
+    "10",
+    "110",
+    "11100000",
+    "11100001000",
+    "111000010010",
+    "1110000100110000",
+    "1110000100110001000",
+    "111000010011000100100",
+    "1110000100110001001010",
+    "111000010011000100101100",
+    "1110000100110001001011010000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0",
+    "10",
+    "110",
+    "111000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "00",
+    "01",
+    "10",
+    "1100",
+    "1101",
+    "111000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = -1,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "000",
+    "001",
+    "010",
+    "011",
+    "100",
+    "101",
+    "110",
+    "111000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 0 },
+  .expectMincoverStrings = {
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011010000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000100110001001011010000000",
+  },
+},
+{
+  .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 = 7 },
+  .expectMincoverStrings = {
+    "0001",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "0001",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "0001",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000001",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000001",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000001",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000000001",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 0,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011010000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "1001100010010110100000",
+    "1001100010010110100001",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011010000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011010000000",
+    "100110001001011010000001",
+    "100110001001011010000010",
+    "100110001001011010000011",
+    "100110001001011010000100",
+    "100110001001011010000101",
+    "100110001001011010000110",
+    "100110001001011010000111",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011010000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "1001100010010110100000",
+    "1001100010010110100001",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011010000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011010000000",
+    "100110001001011010000001",
+    "100110001001011010000010",
+    "100110001001011010000011",
+    "100110001001011010000100",
+    "100110001001011010000101",
+    "100110001001011010000110",
+    "100110001001011010000111",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000100110001001011010000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000100110001001011010000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "000000010011000100101101000000",
+    "000000010011000100101101000001",
+    "000000010011000100101101000010",
+    "000000010011000100101101000011",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000100110001001011010000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "0001",
+    "001",
+    "01",
+    "1000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "0001",
+    "0010",
+    "0011",
+    "01",
+    "1000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "0001",
+    "0010",
+    "0011",
+    "0100",
+    "0101",
+    "0110",
+    "0111",
+    "1000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000001",
+    "00001",
+    "0001",
+    "001000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000001",
+    "000010",
+    "000011",
+    "0001",
+    "001000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000001",
+    "000010",
+    "000011",
+    "000100",
+    "000101",
+    "000110",
+    "000111",
+    "001000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000000001",
+    "000000000000000000000000000001",
+    "00000000000000000000000000001",
+    "0000000000000000000000000001000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "root",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "root",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "root",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "root",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "0000",
+    "0001",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "0000",
+    "0001",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000000",
+    "000000000000000000000000000001",
+    "000000000000000000000000000010",
+    "000000000000000000000000000011",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "1001100010010110100",
+    "100110001001011010100000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "10011000100101101000",
+    "10011000100101101001",
+    "100110001001011010100000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011010000",
+    "100110001001011010001",
+    "100110001001011010010",
+    "100110001001011010011",
+    "100110001001011010100000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "10011000100101101000",
+    "10011000100101101001",
+    "100110001001011010100000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "00000001001100010010110100",
+    "0000000100110001001011010100000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000001",
+    "00001",
+    "0001",
+    "001",
+    "01",
+    "10000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000001",
+    "000010",
+    "000011",
+    "0001",
+    "0010",
+    "0011",
+    "01",
+    "100000",
+    "100001",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000001",
+    "000010",
+    "000011",
+    "000100",
+    "000101",
+    "000110",
+    "000111",
+    "001",
+    "010",
+    "011",
+    "100000",
+    "100001",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000000001",
+    "000000000000000000000000000001",
+    "00000000000000000000000000001",
+    "0000000000000000000000000001",
+    "000000000000000000000000001",
+    "000000000000000000000000010000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "0",
+    "100000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "00",
+    "01",
+    "100000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000",
+    "001",
+    "010",
+    "011",
+    "100000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "00000000000000000000000000",
+    "0000000000000000000000000100000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "000000010011000100101101",
+    "00000001001100010010111",
+    "00000001001100010011",
+    "000000010011000101",
+    "00000001001100011",
+    "000000010011001",
+    "00000001001101",
+    "0000000100111",
+    "0000000101",
+    "000000011",
+    "0000001",
+    "000001",
+    "00001",
+    "0001",
+    "001",
+    "01",
+    "10",
+    "110",
+    "11100000",
+    "11100001000",
+    "111000010010",
+    "1110000100110000",
+    "1110000100110001000",
+    "111000010011000100100",
+    "1110000100110001001010",
+    "111000010011000100101100",
+    "1110000100110001001011010000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000000001",
+    "000000000000000000000000000001",
+    "00000000000000000000000000001",
+    "0000000000000000000000000001",
+    "000000000000000000000000001",
+    "00000000000000000000000001",
+    "0000000000000000000000001",
+    "000000000000000000000001",
+    "00000000000000000000001",
+    "0000000000000000000001",
+    "000000000000000000001",
+    "00000000000000000001",
+    "0000000000000000001",
+    "000000000000000001",
+    "00000000000000001",
+    "0000000000000001",
+    "000000000000001",
+    "00000000000001",
+    "0000000000001",
+    "000000000001",
+    "00000000001",
+    "0000000001",
+    "000000001",
+    "00000001",
+    "0000001",
+    "000001",
+    "00001",
+    "0001",
+    "001",
+    "01",
+    "10",
+    "110",
+    "111000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 0,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0",
+    "10",
+    "110",
+    "1110000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011010000111",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011010000111",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011010000111",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "100110001001011010000111",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011010000111",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011010000111",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011010000111",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011010000111",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000100110001001011010000111",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "1000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "1000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "1000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "001000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "001000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "001000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000001000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "111",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 7 },
+  .expectMincoverStrings = {
+    "111",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000111",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000111",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000111",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000000111",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 7 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "00000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 7,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 7 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011010000111",
+    "100110001001011010001",
+    "10011000100101101001",
+    "100110001001011010100000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011010000111",
+    "1001100010010110100010",
+    "1001100010010110100011",
+    "10011000100101101001",
+    "100110001001011010100000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011010000111",
+    "100110001001011010001",
+    "100110001001011010010",
+    "100110001001011010011",
+    "100110001001011010100000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011010000111",
+    "100110001001011010001000",
+    "100110001001011010001001",
+    "100110001001011010001010",
+    "100110001001011010001011",
+    "100110001001011010001100",
+    "100110001001011010001101",
+    "100110001001011010001110",
+    "100110001001011010001111",
+    "10011000100101101001",
+    "100110001001011010100000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000100110001001011010000111",
+    "0000000100110001001011010001",
+    "000000010011000100101101001",
+    "0000000100110001001011010100000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "001",
+    "01",
+    "10000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "0010",
+    "0011",
+    "01",
+    "100000",
+    "100001",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "001",
+    "010",
+    "011",
+    "100000",
+    "100001",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000001",
+    "000000000000000000000000001",
+    "000000000000000000000000010000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000001",
+    "0000000000000000000000000010",
+    "0000000000000000000000000011",
+    "000000000000000000000000010000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000100",
+    "000000000000000000000000000101",
+    "000000000000000000000000000110",
+    "000000000000000000000000000111",
+    "000000000000000000000000001",
+    "000000000000000000000000010000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000111",
+    "001",
+    "01",
+    "100000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000111",
+    "0010",
+    "0011",
+    "01",
+    "100000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "000111",
+    "001",
+    "010",
+    "011",
+    "100000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000000111",
+    "0000000000000000000000000001",
+    "000000000000000000000000001",
+    "0000000000000000000000000100000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 7 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "0",
+    "10",
+    "1100",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = 7 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "00",
+    "01",
+    "10",
+    "1100",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = 7 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "0000",
+    "0001",
+    "0010",
+    "0011",
+    "0100",
+    "0101",
+    "0110",
+    "0111",
+    "1000",
+    "1001",
+    "1010",
+    "1011",
+    "1100",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 7 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000",
+    "0000000000000000000000000010",
+    "000000000000000000000000001100",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = 7 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000000",
+    "0000000000000000000000000001",
+    "0000000000000000000000000010",
+    "000000000000000000000000001100",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 7 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "000000000000000000000000000",
+    "000000000000000000000000001000",
+    "000000000000000000000000001001",
+    "000000000000000000000000001010",
+    "000000000000000000000000001011",
+    "000000000000000000000000001100",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000100110001001011010000111",
+    "0000000100110001001011010001",
+    "000000010011000100101101001",
+    "00000001001100010010110101",
+    "0000000100110001001011011",
+    "00000001001100010010111",
+    "00000001001100010011",
+    "000000010011000101",
+    "00000001001100011",
+    "000000010011001",
+    "00000001001101",
+    "0000000100111",
+    "0000000101",
+    "000000011",
+    "0000001",
+    "000001",
+    "00001",
+    "0001",
+    "001",
+    "01",
+    "10",
+    "110",
+    "11100000",
+    "11100001000",
+    "111000010010",
+    "1110000100110000",
+    "1110000100110001000",
+    "111000010011000100100",
+    "1110000100110001001010",
+    "111000010011000100101100",
+    "1110000100110001001011010000000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000001",
+    "000000000000000000000000001",
+    "00000000000000000000000001",
+    "0000000000000000000000001",
+    "000000000000000000000001",
+    "00000000000000000000001",
+    "0000000000000000000001",
+    "000000000000000000001",
+    "00000000000000000001",
+    "0000000000000000001",
+    "000000000000000001",
+    "00000000000000001",
+    "0000000000000001",
+    "000000000000001",
+    "00000000000001",
+    "0000000000001",
+    "000000000001",
+    "00000000001",
+    "0000000001",
+    "000000001",
+    "00000001",
+    "0000001",
+    "000001",
+    "00001",
+    "0001",
+    "001",
+    "01",
+    "10",
+    "110",
+    "111000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000001",
+    "0000000000000000000000000010",
+    "0000000000000000000000000011",
+    "00000000000000000000000001",
+    "00000000000000000000000010",
+    "00000000000000000000000011",
+    "000000000000000000000001",
+    "000000000000000000000010",
+    "000000000000000000000011",
+    "0000000000000000000001",
+    "0000000000000000000010",
+    "0000000000000000000011",
+    "00000000000000000001",
+    "00000000000000000010",
+    "00000000000000000011",
+    "000000000000000001",
+    "000000000000000010",
+    "000000000000000011",
+    "0000000000000001",
+    "0000000000000010",
+    "0000000000000011",
+    "00000000000001",
+    "00000000000010",
+    "00000000000011",
+    "000000000001",
+    "000000000010",
+    "000000000011",
+    "0000000001",
+    "0000000010",
+    "0000000011",
+    "00000001",
+    "00000010",
+    "00000011",
+    "000001",
+    "000010",
+    "000011",
+    "0001",
+    "0010",
+    "0011",
+    "01",
+    "10",
+    "1100",
+    "1101",
+    "111000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000000111",
+    "0000000000000000000000000001",
+    "000000000000000000000000001",
+    "00000000000000000000000001",
+    "0000000000000000000000001",
+    "000000000000000000000001",
+    "00000000000000000000001",
+    "0000000000000000000001",
+    "000000000000000000001",
+    "00000000000000000001",
+    "0000000000000000001",
+    "000000000000000001",
+    "00000000000000001",
+    "0000000000000001",
+    "000000000000001",
+    "00000000000001",
+    "0000000000001",
+    "000000000001",
+    "00000000001",
+    "0000000001",
+    "000000001",
+    "00000001",
+    "0000001",
+    "000001",
+    "00001",
+    "0001",
+    "001",
+    "01",
+    "10",
+    "110",
+    "1110000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 7 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0",
+    "10",
+    "1100",
+    "11010",
+    "110110",
+    "1101110",
+    "11011110",
+    "110111110",
+    "1101111110",
+    "11011111110",
+    "110111111110",
+    "1101111111110",
+    "11011111111110",
+    "110111111111110",
+    "1101111111111110",
+    "11011111111111110",
+    "110111111111111110",
+    "1101111111111111110",
+    "11011111111111111110",
+    "110111111111111111110",
+    "1101111111111111111110",
+    "11011111111111111111110",
+    "110111111111111111111110",
+    "1101111111111111111111110",
+    "11011111111111111111111110",
+    "110111111111111111111111110",
+    "1101111111111111111111111110",
+    "110111111111111111111111111100",
+  },
+},
+{
+  .lowerBound = 7,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = 7 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "00",
+    "01",
+    "10",
+    "1100",
+    "110100",
+    "110101",
+    "110110",
+    "11011100",
+    "11011101",
+    "11011110",
+    "1101111100",
+    "1101111101",
+    "1101111110",
+    "110111111100",
+    "110111111101",
+    "110111111110",
+    "11011111111100",
+    "11011111111101",
+    "11011111111110",
+    "1101111111111100",
+    "1101111111111101",
+    "1101111111111110",
+    "110111111111111100",
+    "110111111111111101",
+    "110111111111111110",
+    "11011111111111111100",
+    "11011111111111111101",
+    "11011111111111111110",
+    "1101111111111111111100",
+    "1101111111111111111101",
+    "1101111111111111111110",
+    "110111111111111111111100",
+    "110111111111111111111101",
+    "110111111111111111111110",
+    "11011111111111111111111100",
+    "11011111111111111111111101",
+    "11011111111111111111111110",
+    "1101111111111111111111111100",
+    "1101111111111111111111111101",
+    "1101111111111111111111111110",
+    "110111111111111111111111111100",
+  },
+},
+{
+  .lowerBound = 32,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011010100000",
+  },
+},
+{
+  .lowerBound = 32,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011010100000",
+  },
+},
+{
+  .lowerBound = 32,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011010100000",
+  },
+},
+{
+  .lowerBound = 32,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 4,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100110001001011010100000",
+  },
+},
+{
+  .lowerBound = 32,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000100110001001011010100000",
+  },
+},
+{
+  .lowerBound = 32,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100001",
+  },
+},
+{
+  .lowerBound = 32,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100001",
+  },
+},
+{
+  .lowerBound = 32,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100001",
+  },
+},
+{
+  .lowerBound = 32,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000100001",
+  },
+},
+{
+  .lowerBound = 32,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100000",
+  },
+},
+{
+  .lowerBound = 32,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 2,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100000",
+  },
+},
+{
+  .lowerBound = 32,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 3,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "100000",
+  },
+},
+{
+  .lowerBound = 32,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000100000",
+  },
+},
+{
+  .lowerBound = 32,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 7 },
+  .max = { .set = true, .value = 32 },
+  .expectMincoverStrings = {
+    "11001",
+  },
+},
+{
+  .lowerBound = 32,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 7 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000011001",
+  },
+},
+{
+  .lowerBound = 32,
+  .includeLowerBound = true,
+  .upperBound = 32,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 32 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 32,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "00000001001100010010110101",
+    "0000000100110001001011011",
+    "00000001001100010010111",
+    "00000001001100010011",
+    "000000010011000101",
+    "00000001001100011",
+    "000000010011001",
+    "00000001001101",
+    "0000000100111",
+    "0000000101",
+    "000000011",
+    "0000001",
+    "000001",
+    "00001",
+    "0001",
+    "001",
+    "01",
+    "10",
+    "110",
+    "11100000",
+    "11100001000",
+    "111000010010",
+    "1110000100110000",
+    "1110000100110001000",
+    "111000010011000100100",
+    "1110000100110001001010",
+    "111000010011000100101100",
+    "1110000100110001001011010000000",
+  },
+},
+{
+  .lowerBound = 32,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0000000000000000000000000100001",
+    "000000000000000000000000010001",
+    "00000000000000000000000001001",
+    "0000000000000000000000000101",
+    "000000000000000000000000011",
+    "0000000000000000000000001",
+    "000000000000000000000001",
+    "00000000000000000000001",
+    "0000000000000000000001",
+    "000000000000000000001",
+    "00000000000000000001",
+    "0000000000000000001",
+    "000000000000000001",
+    "00000000000000001",
+    "0000000000000001",
+    "000000000000001",
+    "00000000000001",
+    "0000000000001",
+    "000000000001",
+    "00000000001",
+    "0000000001",
+    "000000001",
+    "00000001",
+    "0000001",
+    "000001",
+    "00001",
+    "0001",
+    "001",
+    "01",
+    "10",
+    "110",
+    "111000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 32,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "00000000000000000000000001",
+    "0000000000000000000000001",
+    "000000000000000000000001",
+    "00000000000000000000001",
+    "0000000000000000000001",
+    "000000000000000000001",
+    "00000000000000000001",
+    "0000000000000000001",
+    "000000000000000001",
+    "00000000000000001",
+    "0000000000000001",
+    "000000000000001",
+    "00000000000001",
+    "0000000000001",
+    "000000000001",
+    "00000000001",
+    "0000000001",
+    "000000001",
+    "00000001",
+    "0000001",
+    "000001",
+    "00001",
+    "0001",
+    "001",
+    "01",
+    "10",
+    "110",
+    "1110000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 32,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 32 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "0",
+    "10",
+    "1100",
+    "11010",
+    "110110",
+    "1101110",
+    "11011110",
+    "110111110",
+    "1101111110",
+    "11011111110",
+    "110111111110",
+    "1101111111110",
+    "11011111111110",
+    "110111111111110",
+    "1101111111111110",
+    "11011111111111110",
+    "110111111111111110",
+    "1101111111111111110",
+    "11011111111111111110",
+    "110111111111111111110",
+    "1101111111111111111110",
+    "11011111111111111111110",
+    "110111111111111111111110",
+    "1101111111111111111111110",
+    "11011111111111111111111110",
+    "1101111111111111111111111100000",
+  },
+},
+{
+  .lowerBound = 1879048192,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -10000000 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "1110000100110001001011010000000",
+  },
+},
+{
+  .lowerBound = 1879048192,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = -1 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "1110000000000000000000000000001",
+  },
+},
+{
+  .lowerBound = 1879048192,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 0 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "1110000000000000000000000000000",
+  },
+},
+{
+  .lowerBound = 1879048192,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 7 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "1101111111111111111111111111001",
+  },
+},
+{
+  .lowerBound = 1879048192,
+  .includeLowerBound = true,
+  .upperBound = 1879048192,
+  .includeUpperBound = true,
+  .sparsity = 1,
+  .min = { .set = true, .value = 32 },
+  .max = { .set = true, .value = 1879048192 },
+  .expectMincoverStrings = {
+    "1101111111111111111111111100000",
+  },
+},