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