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