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