H_X (87 checks, sparse supports)
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11]
[12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23]
[24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35]
[36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47]
[48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59]
[60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71]
[72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83]
[84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95]
[96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107]
[108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119]
[120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131]
[132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143]
[144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155]
[156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167]
[168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179]
[180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191]
[192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203]
[204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215]
[216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227]
[228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239]
[240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251]
[252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263]
[264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275]
[12, 35, 46, 52, 98, 147, 163, 169, 185, 222, 237, 272]
[8, 24, 47, 58, 64, 110, 159, 175, 181, 197, 234, 249]
[20, 36, 59, 70, 76, 122, 171, 187, 193, 209, 246, 261]
[32, 48, 71, 82, 88, 134, 183, 199, 205, 221, 258, 273]
[9, 44, 60, 83, 94, 100, 146, 195, 211, 217, 233, 270]
[6, 21, 56, 72, 95, 106, 112, 158, 207, 223, 229, 245]
[18, 33, 68, 84, 107, 118, 124, 170, 219, 235, 241, 257]
[30, 45, 80, 96, 119, 130, 136, 182, 231, 247, 253, 269]
[1, 17, 54, 69, 104, 120, 143, 154, 160, 206, 255, 271]
[7, 13, 29, 66, 81, 116, 132, 155, 166, 172, 218, 267]
[3, 19, 25, 41, 78, 93, 128, 144, 167, 178, 184, 230]
[15, 31, 37, 53, 90, 105, 140, 156, 179, 190, 196, 242]
[27, 43, 49, 65, 102, 117, 152, 168, 191, 202, 208, 254]
[2, 51, 67, 73, 89, 126, 141, 176, 192, 215, 226, 232]
[14, 63, 79, 85, 101, 138, 153, 188, 204, 227, 238, 244]
[26, 75, 91, 97, 113, 150, 165, 200, 216, 239, 250, 256]
[38, 87, 103, 109, 125, 162, 177, 212, 228, 251, 262, 268]
[4, 50, 99, 115, 121, 137, 174, 189, 224, 240, 263, 274]
[10, 16, 62, 111, 127, 133, 149, 186, 201, 236, 252, 275]
[11, 22, 28, 74, 123, 139, 145, 161, 198, 213, 248, 264]
[0, 19, 38, 57, 116, 130, 137, 147, 193, 215, 244, 258]
[12, 31, 50, 69, 128, 142, 149, 159, 205, 227, 256, 270]
[6, 24, 43, 62, 81, 140, 154, 161, 171, 217, 239, 268]
[4, 18, 36, 55, 74, 93, 152, 166, 173, 183, 229, 251]
[16, 30, 48, 67, 86, 105, 164, 178, 185, 195, 241, 263]
[28, 42, 60, 79, 98, 117, 176, 190, 197, 207, 253, 275]
[11, 40, 54, 72, 91, 110, 129, 188, 202, 209, 219, 265]
[1, 23, 52, 66, 84, 103, 122, 141, 200, 214, 221, 231]
[37, 59, 88, 102, 120, 139, 158, 177, 236, 250, 257, 267]
[3, 49, 71, 100, 114, 132, 151, 170, 189, 248, 262, 269]
[5, 15, 61, 83, 112, 126, 144, 163, 182, 201, 260, 274]
[10, 17, 27, 73, 95, 124, 138, 156, 175, 194, 213, 272]
[8, 22, 29, 39, 85, 107, 136, 150, 168, 187, 206, 225]
[20, 34, 41, 51, 97, 119, 148, 162, 180, 199, 218, 237]
[32, 46, 53, 63, 109, 131, 160, 174, 192, 211, 230, 249]
[44, 58, 65, 75, 121, 143, 172, 186, 204, 223, 242, 261]
[56, 70, 77, 87, 133, 155, 184, 198, 216, 235, 254, 273]
[9, 68, 82, 89, 99, 145, 167, 196, 210, 228, 247, 266]
[2, 21, 80, 94, 101, 111, 157, 179, 208, 222, 240, 259]
[14, 33, 92, 106, 113, 123, 169, 191, 220, 234, 252, 271]
[7, 26, 45, 104, 118, 125, 135, 181, 203, 232, 246, 264]
[0, 29, 49, 68, 74, 138, 154, 163, 179, 231, 249, 256]
[12, 41, 61, 80, 86, 150, 166, 175, 191, 243, 261, 268]
[4, 24, 53, 73, 92, 98, 162, 178, 187, 203, 255, 273]
[9, 16, 36, 65, 85, 104, 110, 174, 190, 199, 215, 267]
[3, 21, 28, 48, 77, 97, 116, 122, 186, 202, 211, 227]
[15, 33, 40, 60, 89, 109, 128, 134, 198, 214, 223, 239]
[27, 45, 52, 72, 101, 121, 140, 146, 210, 226, 235, 251]
[39, 57, 64, 84, 113, 133, 152, 158, 222, 238, 247, 263]
[51, 69, 76, 96, 125, 145, 164, 170, 234, 250, 259, 275]
[11, 63, 81, 88, 108, 137, 157, 176, 182, 246, 262, 271]
[7, 23, 75, 93, 100, 120, 149, 169, 188, 194, 258, 274]
[10, 19, 35, 87, 105, 112, 132, 161, 181, 200, 206, 270]
[6, 22, 31, 47, 99, 117, 124, 144, 173, 193, 212, 218]
[18, 34, 43, 59, 111, 129, 136, 156, 185, 205, 224, 230]
[30, 46, 55, 71, 123, 141, 148, 168, 197, 217, 236, 242]
[42, 58, 67, 83, 135, 153, 160, 180, 209, 229, 248, 254]
[54, 70, 79, 95, 147, 165, 172, 192, 221, 241, 260, 266]
[2, 66, 82, 91, 107, 159, 177, 184, 204, 233, 253, 272]
[8, 14, 78, 94, 103, 119, 171, 189, 196, 216, 245, 265]
[1, 20, 26, 90, 106, 115, 131, 183, 201, 208, 228, 257]
[13, 32, 38, 102, 118, 127, 143, 195, 213, 220, 240, 269]
[5, 25, 44, 50, 114, 130, 139, 155, 207, 225, 232, 252]
[17, 37, 56, 62, 126, 142, 151, 167, 219, 237, 244, 264]
H_Z (89 checks, sparse supports)
[0, 6, 62, 68, 124, 130, 145, 151, 207, 213, 269, 275]
[5, 11, 12, 18, 74, 80, 136, 142, 157, 163, 219, 225]
[17, 23, 24, 30, 86, 92, 148, 154, 169, 175, 231, 237]
[29, 35, 36, 42, 98, 104, 160, 166, 181, 187, 243, 249]
[41, 47, 48, 54, 110, 116, 172, 178, 193, 199, 255, 261]
[53, 59, 60, 66, 122, 128, 184, 190, 205, 211, 267, 273]
[3, 9, 65, 71, 72, 78, 134, 140, 196, 202, 217, 223]
[15, 21, 77, 83, 84, 90, 146, 152, 208, 214, 229, 235]
[27, 33, 89, 95, 96, 102, 158, 164, 220, 226, 241, 247]
[39, 45, 101, 107, 108, 114, 170, 176, 232, 238, 253, 259]
[51, 57, 113, 119, 120, 126, 182, 188, 244, 250, 265, 271]
[1, 7, 63, 69, 125, 131, 132, 138, 194, 200, 256, 262]
[13, 19, 75, 81, 137, 143, 144, 150, 206, 212, 268, 274]
[4, 10, 25, 31, 87, 93, 149, 155, 156, 162, 218, 224]
[16, 22, 37, 43, 99, 105, 161, 167, 168, 174, 230, 236]
[28, 34, 49, 55, 111, 117, 173, 179, 180, 186, 242, 248]
[40, 46, 61, 67, 123, 129, 185, 191, 192, 198, 254, 260]
[52, 58, 73, 79, 135, 141, 197, 203, 204, 210, 266, 272]
[2, 8, 64, 70, 85, 91, 147, 153, 209, 215, 216, 222]
[14, 20, 76, 82, 97, 103, 159, 165, 221, 227, 228, 234]
[26, 32, 88, 94, 109, 115, 171, 177, 233, 239, 240, 246]
[38, 44, 100, 106, 121, 127, 183, 189, 245, 251, 252, 258]
[50, 56, 112, 118, 133, 139, 195, 201, 257, 263, 264, 270]
[0, 10, 15, 23, 52, 57, 133, 140, 161, 163, 194, 198]
[12, 22, 27, 35, 64, 69, 145, 152, 173, 175, 206, 210]
[24, 34, 39, 47, 76, 81, 157, 164, 185, 187, 218, 222]
[36, 46, 51, 59, 88, 93, 169, 176, 197, 199, 230, 234]
[48, 58, 63, 71, 100, 105, 181, 188, 209, 211, 242, 246]
[60, 70, 75, 83, 112, 117, 193, 200, 221, 223, 254, 258]
[72, 82, 87, 95, 124, 129, 205, 212, 233, 235, 266, 270]
[2, 6, 84, 94, 99, 107, 136, 141, 217, 224, 245, 247]
[14, 18, 96, 106, 111, 119, 148, 153, 229, 236, 257, 259]
[26, 30, 108, 118, 123, 131, 160, 165, 241, 248, 269, 271]
[5, 7, 38, 42, 120, 130, 135, 143, 172, 177, 253, 260]
[17, 19, 50, 54, 132, 142, 147, 155, 184, 189, 265, 272]
[1, 8, 29, 31, 62, 66, 144, 154, 159, 167, 196, 201]
[13, 20, 41, 43, 74, 78, 156, 166, 171, 179, 208, 213]
[25, 32, 53, 55, 86, 90, 168, 178, 183, 191, 220, 225]
[37, 44, 65, 67, 98, 102, 180, 190, 195, 203, 232, 237]
[49, 56, 77, 79, 110, 114, 192, 202, 207, 215, 244, 249]
[61, 68, 89, 91, 122, 126, 204, 214, 219, 227, 256, 261]
[73, 80, 101, 103, 134, 138, 216, 226, 231, 239, 268, 273]
[4, 9, 85, 92, 113, 115, 146, 150, 228, 238, 243, 251]
[16, 21, 97, 104, 125, 127, 158, 162, 240, 250, 255, 263]
[28, 33, 109, 116, 137, 139, 170, 174, 252, 262, 267, 275]
[3, 11, 40, 45, 121, 128, 149, 151, 182, 186, 264, 274]
[0, 7, 149, 154, 206, 215, 217, 225, 232, 236, 267, 270]
[3, 6, 12, 19, 161, 166, 218, 227, 229, 237, 244, 248]
[15, 18, 24, 31, 173, 178, 230, 239, 241, 249, 256, 260]
[27, 30, 36, 43, 185, 190, 242, 251, 253, 261, 268, 272]
[4, 8, 39, 42, 48, 55, 197, 202, 254, 263, 265, 273]
[1, 9, 16, 20, 51, 54, 60, 67, 209, 214, 266, 275]
[2, 11, 13, 21, 28, 32, 63, 66, 72, 79, 221, 226]
[14, 23, 25, 33, 40, 44, 75, 78, 84, 91, 233, 238]
[26, 35, 37, 45, 52, 56, 87, 90, 96, 103, 245, 250]
[38, 47, 49, 57, 64, 68, 99, 102, 108, 115, 257, 262]
[50, 59, 61, 69, 76, 80, 111, 114, 120, 127, 269, 274]
[5, 10, 62, 71, 73, 81, 88, 92, 123, 126, 132, 139]
[17, 22, 74, 83, 85, 93, 100, 104, 135, 138, 144, 151]
[29, 34, 86, 95, 97, 105, 112, 116, 147, 150, 156, 163]
[41, 46, 98, 107, 109, 117, 124, 128, 159, 162, 168, 175]
[53, 58, 110, 119, 121, 129, 136, 140, 171, 174, 180, 187]
[65, 70, 122, 131, 133, 141, 148, 152, 183, 186, 192, 199]
[77, 82, 134, 143, 145, 153, 160, 164, 195, 198, 204, 211]
[89, 94, 146, 155, 157, 165, 172, 176, 207, 210, 216, 223]
[101, 106, 158, 167, 169, 177, 184, 188, 219, 222, 228, 235]
[113, 118, 170, 179, 181, 189, 196, 200, 231, 234, 240, 247]
[125, 130, 182, 191, 193, 201, 208, 212, 243, 246, 252, 259]
[137, 142, 194, 203, 205, 213, 220, 224, 255, 258, 264, 271]
[0, 8, 14, 19, 27, 34, 41, 45, 136, 138, 181, 191]
[12, 20, 26, 31, 39, 46, 53, 57, 148, 150, 193, 203]
[24, 32, 38, 43, 51, 58, 65, 69, 160, 162, 205, 215]
[36, 44, 50, 55, 63, 70, 77, 81, 172, 174, 217, 227]
[48, 56, 62, 67, 75, 82, 89, 93, 184, 186, 229, 239]
[60, 68, 74, 79, 87, 94, 101, 105, 196, 198, 241, 251]
[72, 80, 86, 91, 99, 106, 113, 117, 208, 210, 253, 263]
[84, 92, 98, 103, 111, 118, 125, 129, 220, 222, 265, 275]
[1, 11, 96, 104, 110, 115, 123, 130, 137, 141, 232, 234]
[13, 23, 108, 116, 122, 127, 135, 142, 149, 153, 244, 246]
[25, 35, 120, 128, 134, 139, 147, 154, 161, 165, 256, 258]
[37, 47, 132, 140, 146, 151, 159, 166, 173, 177, 268, 270]
[16, 18, 61, 71, 156, 164, 170, 175, 183, 190, 197, 201]
[28, 30, 73, 83, 168, 176, 182, 187, 195, 202, 209, 213]
[40, 42, 85, 95, 180, 188, 194, 199, 207, 214, 221, 225]
[64, 66, 109, 119, 204, 212, 218, 223, 231, 238, 245, 249]
[76, 78, 121, 131, 216, 224, 230, 235, 243, 250, 257, 261]
[5, 9, 100, 102, 145, 155, 240, 248, 254, 259, 267, 274]
[3, 10, 17, 21, 112, 114, 157, 167, 252, 260, 266, 271]
[2, 7, 15, 22, 29, 33, 124, 126, 169, 179, 264, 272]