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