// This code is GENERATED! Do not edit! Regenerate with `test/util/make_includes.py` // 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", }, },