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