H_X (303 checks, sparse supports)
[0, 1, 26, 27]
[2, 3, 28, 29]
[4, 5, 30, 31]
[6, 7, 32, 33]
[8, 9, 34, 35]
[10, 11, 36, 37]
[12, 13, 38, 39]
[14, 15, 40, 41]
[16, 17, 42, 43]
[18, 19, 44, 45]
[20, 21, 46, 47]
[22, 23, 48, 49]
[24, 25, 50, 51]
[27, 28, 53, 54]
[29, 30, 55, 56]
[31, 32, 57, 58]
[33, 34, 59, 60]
[35, 36, 61, 62]
[37, 38, 63, 64]
[39, 40, 65, 66]
[41, 42, 67, 68]
[43, 44, 69, 70]
[45, 46, 71, 72]
[47, 48, 73, 74]
[49, 50, 75, 76]
[52, 53, 78, 79]
[54, 55, 80, 81]
[56, 57, 82, 83]
[58, 59, 84, 85]
[60, 61, 86, 87]
[62, 63, 88, 89]
[64, 65, 90, 91]
[66, 67, 92, 93]
[68, 69, 94, 95]
[70, 71, 96, 97]
[72, 73, 98, 99]
[74, 75, 100, 101]
[76, 77, 102, 103]
[81, 82, 107, 108]
[85, 86, 111, 112]
[89, 90, 115, 116]
[93, 94, 119, 120]
[97, 98, 123, 124]
[101, 102, 127, 128]
[104, 105, 130, 131]
[106, 107, 132, 133]
[108, 109, 134, 135]
[110, 111, 136, 137]
[112, 113, 138, 139]
[114, 115, 140, 141]
[116, 117, 142, 143]
[118, 119, 144, 145]
[120, 121, 146, 147]
[122, 123, 148, 149]
[124, 125, 150, 151]
[126, 127, 152, 153]
[128, 129, 154, 155]
[131, 132, 157, 158]
[133, 134, 159, 160]
[135, 136, 161, 162]
[137, 138, 163, 164]
[139, 140, 165, 166]
[141, 142, 167, 168]
[143, 144, 169, 170]
[145, 146, 171, 172]
[147, 148, 173, 174]
[149, 150, 175, 176]
[151, 152, 177, 178]
[153, 154, 179, 180]
[158, 159, 182, 183]
[160, 161, 184, 185]
[162, 163, 186, 187]
[164, 165, 188, 189]
[166, 167, 190, 191]
[168, 169, 192, 193]
[170, 171, 194, 195]
[172, 173, 196, 197]
[174, 175, 198, 199]
[176, 177, 200, 201]
[178, 179, 202, 203]
[183, 184, 209, 210]
[187, 188, 213, 214]
[191, 192, 217, 218]
[195, 196, 221, 222]
[199, 200, 225, 226]
[203, 204, 229, 230]
[206, 207, 232, 233]
[208, 209, 234, 235]
[210, 211, 236, 237]
[212, 213, 238, 239]
[214, 215, 240, 241]
[216, 217, 242, 243]
[218, 219, 244, 245]
[220, 221, 246, 247]
[222, 223, 248, 249]
[224, 225, 250, 251]
[226, 227, 252, 253]
[228, 229, 254, 255]
[230, 231, 256, 257]
[233, 234, 259, 260]
[235, 236, 261, 262]
[237, 238, 263, 264]
[239, 240, 265, 266]
[241, 242, 267, 268]
[243, 244, 269, 270]
[245, 246, 271, 272]
[247, 248, 273, 274]
[249, 250, 275, 276]
[251, 252, 277, 278]
[253, 254, 279, 280]
[255, 256, 281, 282]
[258, 259, 284, 285]
[260, 261, 286, 287]
[262, 263, 288, 289]
[264, 265, 290, 291]
[266, 267, 292, 293]
[268, 269, 294, 295]
[270, 271, 296, 297]
[272, 273, 298, 299]
[274, 275, 300, 301]
[276, 277, 302, 303]
[278, 279, 304, 305]
[280, 281, 306, 307]
[282, 283, 308, 309]
[287, 288, 313, 314]
[291, 292, 317, 318]
[295, 296, 321, 322]
[299, 300, 325, 326]
[303, 304, 329, 330]
[307, 308, 333, 334]
[310, 311, 336, 337]
[312, 313, 338, 339]
[314, 315, 340, 341]
[316, 317, 342, 343]
[318, 319, 344, 345]
[320, 321, 346, 347]
[322, 323, 348, 349]
[324, 325, 350, 351]
[326, 327, 352, 353]
[328, 329, 354, 355]
[330, 331, 356, 357]
[332, 333, 358, 359]
[334, 335, 360, 361]
[337, 338, 363, 364]
[339, 340, 365, 366]
[341, 342, 367, 368]
[343, 344, 369, 370]
[345, 346, 371, 372]
[347, 348, 373, 374]
[349, 350, 375, 376]
[351, 352, 377, 378]
[353, 354, 379, 380]
[355, 356, 381, 382]
[357, 358, 383, 384]
[359, 360, 385, 386]
[362, 363, 388, 389]
[364, 365, 390, 391]
[366, 367, 392, 393]
[368, 369, 394, 395]
[370, 371, 396, 397]
[372, 373, 398, 399]
[374, 375, 400, 401]
[376, 377, 402, 403]
[378, 379, 404, 405]
[380, 381, 406, 407]
[382, 383, 408, 409]
[384, 385, 410, 411]
[386, 387, 412, 413]
[391, 392, 417, 418]
[395, 396, 421, 422]
[399, 400, 425, 426]
[403, 404, 429, 430]
[407, 408, 433, 434]
[411, 412, 437, 438]
[414, 415, 439, 440]
[416, 417, 441, 442]
[418, 419, 443, 444]
[420, 421, 445, 446]
[422, 423, 447, 448]
[424, 425, 449, 450]
[426, 427, 451, 452]
[428, 429, 453, 454]
[430, 431, 455, 456]
[432, 433, 457, 458]
[434, 435, 459, 460]
[436, 437, 461, 462]
[440, 441, 466, 467]
[442, 443, 468, 469]
[444, 445, 470, 471]
[446, 447, 472, 473]
[448, 449, 474, 475]
[450, 451, 476, 477]
[452, 453, 478, 479]
[454, 455, 480, 481]
[456, 457, 482, 483]
[458, 459, 484, 485]
[460, 461, 486, 487]
[462, 463, 488, 489]
[467, 468, 492, 493]
[469, 470, 494, 495]
[471, 472, 496, 497]
[473, 474, 498, 499]
[475, 476, 500, 501]
[477, 478, 502, 503]
[479, 480, 504, 505]
[481, 482, 506, 507]
[483, 484, 508, 509]
[485, 486, 510, 511]
[487, 488, 512, 513]
[489, 490, 514, 515]
[493, 494, 519, 520]
[497, 498, 523, 524]
[501, 502, 527, 528]
[505, 506, 531, 532]
[509, 510, 535, 536]
[513, 514, 539, 540]
[516, 517, 542, 543]
[518, 519, 544, 545]
[520, 521, 546, 547]
[522, 523, 548, 549]
[524, 525, 550, 551]
[526, 527, 552, 553]
[528, 529, 554, 555]
[530, 531, 556, 557]
[532, 533, 558, 559]
[534, 535, 560, 561]
[536, 537, 562, 563]
[538, 539, 564, 565]
[540, 541, 566, 567]
[543, 544, 569, 570]
[545, 546, 571, 572]
[547, 548, 573, 574]
[549, 550, 575, 576]
[551, 552, 577, 578]
[553, 554, 579, 580]
[555, 556, 581, 582]
[557, 558, 583, 584]
[559, 560, 585, 586]
[561, 562, 587, 588]
[563, 564, 589, 590]
[565, 566, 591, 592]
[568, 569, 594, 595]
[570, 571, 596, 597]
[572, 573, 598, 599]
[574, 575, 600, 601]
[576, 577, 602, 603]
[578, 579, 604, 605]
[580, 581, 606, 607]
[582, 583, 608, 609]
[584, 585, 610, 611]
[586, 587, 612, 613]
[588, 589, 614, 615]
[590, 591, 616, 617]
[592, 593, 618, 619]
[595, 596, 621, 622]
[597, 598, 623, 624]
[599, 600, 625, 626]
[601, 602, 627, 628]
[603, 604, 629, 630]
[605, 606, 631, 632]
[607, 608, 633, 634]
[609, 610, 635, 636]
[611, 612, 637, 638]
[613, 614, 639, 640]
[615, 616, 641, 642]
[617, 618, 643, 644]
[620, 621, 646, 647]
[622, 623, 648, 649]
[624, 625, 650, 651]
[626, 627, 652, 653]
[628, 629, 654, 655]
[630, 631, 656, 657]
[632, 633, 658, 659]
[634, 635, 660, 661]
[636, 637, 662, 663]
[638, 639, 664, 665]
[640, 641, 666, 667]
[642, 643, 668, 669]
[644, 645, 670, 671]
[26, 52]
[78, 104]
[130, 156]
[156, 157, 181, 206]
[232, 258]
[284, 310]
[336, 362]
[388, 414]
[439, 465]
[465, 466, 491, 516]
[542, 568]
[594, 620]
[51, 77]
[103, 129]
[155, 180, 204, 231]
[205, 231]
[257, 283]
[309, 335]
[361, 387]
[413, 438, 463, 464]
[464, 490]
[515, 541]
[567, 593]
[619, 645]
H_Z (318 checks, sparse supports)
[1, 2, 27, 28]
[5, 6, 31, 32]
[7, 8, 33, 34]
[11, 12, 37, 38]
[13, 14, 39, 40]
[17, 18, 43, 44]
[19, 20, 45, 46]
[23, 24, 49, 50]
[26, 27, 52, 53]
[28, 29, 54, 55]
[30, 31, 56, 57]
[32, 33, 58, 59]
[34, 35, 60, 61]
[36, 37, 62, 63]
[38, 39, 64, 65]
[40, 41, 66, 67]
[42, 43, 68, 69]
[44, 45, 70, 71]
[46, 47, 72, 73]
[48, 49, 74, 75]
[50, 51, 76, 77]
[53, 54, 79, 80]
[55, 56, 81, 82]
[57, 58, 83, 84]
[59, 60, 85, 86]
[61, 62, 87, 88]
[63, 64, 89, 90]
[65, 66, 91, 92]
[67, 68, 93, 94]
[69, 70, 95, 96]
[71, 72, 97, 98]
[73, 74, 99, 100]
[75, 76, 101, 102]
[78, 79, 104, 105]
[80, 81, 106, 107]
[82, 83, 108, 109]
[84, 85, 110, 111]
[86, 87, 112, 113]
[88, 89, 114, 115]
[90, 91, 116, 117]
[92, 93, 118, 119]
[94, 95, 120, 121]
[96, 97, 122, 123]
[98, 99, 124, 125]
[100, 101, 126, 127]
[102, 103, 128, 129]
[105, 106, 131, 132]
[107, 108, 133, 134]
[109, 110, 135, 136]
[111, 112, 137, 138]
[113, 114, 139, 140]
[115, 116, 141, 142]
[117, 118, 143, 144]
[119, 120, 145, 146]
[121, 122, 147, 148]
[123, 124, 149, 150]
[125, 126, 151, 152]
[127, 128, 153, 154]
[130, 131, 156, 157]
[132, 133, 158, 159]
[134, 135, 160, 161]
[136, 137, 162, 163]
[138, 139, 164, 165]
[140, 141, 166, 167]
[142, 143, 168, 169]
[144, 145, 170, 171]
[146, 147, 172, 173]
[148, 149, 174, 175]
[150, 151, 176, 177]
[152, 153, 178, 179]
[154, 155, 180]
[157, 158, 181, 182]
[161, 162, 185, 186]
[163, 164, 187, 188]
[167, 168, 191, 192]
[169, 170, 193, 194]
[173, 174, 197, 198]
[175, 176, 199, 200]
[179, 180, 203, 204]
[181, 206, 207]
[182, 183, 208, 209]
[184, 185, 210, 211]
[186, 187, 212, 213]
[188, 189, 214, 215]
[190, 191, 216, 217]
[192, 193, 218, 219]
[194, 195, 220, 221]
[196, 197, 222, 223]
[198, 199, 224, 225]
[200, 201, 226, 227]
[202, 203, 228, 229]
[204, 205, 230, 231]
[207, 208, 233, 234]
[209, 210, 235, 236]
[211, 212, 237, 238]
[213, 214, 239, 240]
[215, 216, 241, 242]
[217, 218, 243, 244]
[219, 220, 245, 246]
[221, 222, 247, 248]
[223, 224, 249, 250]
[225, 226, 251, 252]
[227, 228, 253, 254]
[229, 230, 255, 256]
[232, 233, 258, 259]
[234, 235, 260, 261]
[236, 237, 262, 263]
[238, 239, 264, 265]
[240, 241, 266, 267]
[242, 243, 268, 269]
[244, 245, 270, 271]
[246, 247, 272, 273]
[248, 249, 274, 275]
[250, 251, 276, 277]
[252, 253, 278, 279]
[254, 255, 280, 281]
[256, 257, 282, 283]
[259, 260, 285, 286]
[261, 262, 287, 288]
[263, 264, 289, 290]
[265, 266, 291, 292]
[267, 268, 293, 294]
[269, 270, 295, 296]
[271, 272, 297, 298]
[273, 274, 299, 300]
[275, 276, 301, 302]
[277, 278, 303, 304]
[279, 280, 305, 306]
[281, 282, 307, 308]
[284, 285, 310, 311]
[286, 287, 312, 313]
[288, 289, 314, 315]
[290, 291, 316, 317]
[292, 293, 318, 319]
[294, 295, 320, 321]
[296, 297, 322, 323]
[298, 299, 324, 325]
[300, 301, 326, 327]
[302, 303, 328, 329]
[304, 305, 330, 331]
[306, 307, 332, 333]
[308, 309, 334, 335]
[311, 312, 337, 338]
[315, 316, 341, 342]
[317, 318, 343, 344]
[321, 322, 347, 348]
[323, 324, 349, 350]
[327, 328, 353, 354]
[329, 330, 355, 356]
[333, 334, 359, 360]
[336, 337, 362, 363]
[338, 339, 364, 365]
[340, 341, 366, 367]
[342, 343, 368, 369]
[344, 345, 370, 371]
[346, 347, 372, 373]
[348, 349, 374, 375]
[350, 351, 376, 377]
[352, 353, 378, 379]
[354, 355, 380, 381]
[356, 357, 382, 383]
[358, 359, 384, 385]
[360, 361, 386, 387]
[363, 364, 389, 390]
[365, 366, 391, 392]
[367, 368, 393, 394]
[369, 370, 395, 396]
[371, 372, 397, 398]
[373, 374, 399, 400]
[375, 376, 401, 402]
[377, 378, 403, 404]
[379, 380, 405, 406]
[381, 382, 407, 408]
[383, 384, 409, 410]
[385, 386, 411, 412]
[388, 389, 414, 415]
[390, 391, 416, 417]
[392, 393, 418, 419]
[394, 395, 420, 421]
[396, 397, 422, 423]
[398, 399, 424, 425]
[400, 401, 426, 427]
[402, 403, 428, 429]
[404, 405, 430, 431]
[406, 407, 432, 433]
[408, 409, 434, 435]
[410, 411, 436, 437]
[412, 413, 438]
[415, 416, 440, 441]
[417, 418, 442, 443]
[419, 420, 444, 445]
[421, 422, 446, 447]
[423, 424, 448, 449]
[425, 426, 450, 451]
[427, 428, 452, 453]
[429, 430, 454, 455]
[431, 432, 456, 457]
[433, 434, 458, 459]
[435, 436, 460, 461]
[437, 438, 462, 463]
[439, 440, 465, 466]
[441, 442, 467, 468]
[443, 444, 469, 470]
[445, 446, 471, 472]
[447, 448, 473, 474]
[449, 450, 475, 476]
[451, 452, 477, 478]
[453, 454, 479, 480]
[455, 456, 481, 482]
[457, 458, 483, 484]
[459, 460, 485, 486]
[461, 462, 487, 488]
[463, 464, 489, 490]
[466, 467, 491, 492]
[470, 471, 495, 496]
[472, 473, 497, 498]
[476, 477, 501, 502]
[478, 479, 503, 504]
[482, 483, 507, 508]
[484, 485, 509, 510]
[488, 489, 513, 514]
[491, 516, 517]
[492, 493, 518, 519]
[494, 495, 520, 521]
[496, 497, 522, 523]
[498, 499, 524, 525]
[500, 501, 526, 527]
[502, 503, 528, 529]
[504, 505, 530, 531]
[506, 507, 532, 533]
[508, 509, 534, 535]
[510, 511, 536, 537]
[512, 513, 538, 539]
[514, 515, 540, 541]
[517, 518, 543, 544]
[519, 520, 545, 546]
[521, 522, 547, 548]
[523, 524, 549, 550]
[525, 526, 551, 552]
[527, 528, 553, 554]
[529, 530, 555, 556]
[531, 532, 557, 558]
[533, 534, 559, 560]
[535, 536, 561, 562]
[537, 538, 563, 564]
[539, 540, 565, 566]
[542, 543, 568, 569]
[544, 545, 570, 571]
[546, 547, 572, 573]
[548, 549, 574, 575]
[550, 551, 576, 577]
[552, 553, 578, 579]
[554, 555, 580, 581]
[556, 557, 582, 583]
[558, 559, 584, 585]
[560, 561, 586, 587]
[562, 563, 588, 589]
[564, 565, 590, 591]
[566, 567, 592, 593]
[569, 570, 595, 596]
[571, 572, 597, 598]
[573, 574, 599, 600]
[575, 576, 601, 602]
[577, 578, 603, 604]
[579, 580, 605, 606]
[581, 582, 607, 608]
[583, 584, 609, 610]
[585, 586, 611, 612]
[587, 588, 613, 614]
[589, 590, 615, 616]
[591, 592, 617, 618]
[594, 595, 620, 621]
[596, 597, 622, 623]
[598, 599, 624, 625]
[600, 601, 626, 627]
[602, 603, 628, 629]
[604, 605, 630, 631]
[606, 607, 632, 633]
[608, 609, 634, 635]
[610, 611, 636, 637]
[612, 613, 638, 639]
[614, 615, 640, 641]
[616, 617, 642, 643]
[618, 619, 644, 645]
[621, 622, 647, 648]
[625, 626, 651, 652]
[627, 628, 653, 654]
[631, 632, 657, 658]
[633, 634, 659, 660]
[637, 638, 663, 664]
[639, 640, 665, 666]
[643, 644, 669, 670]
[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]
[646, 647]
[648, 649]
[650, 651]
[652, 653]
[654, 655]
[656, 657]
[658, 659]
[660, 661]
[662, 663]
[664, 665]
[666, 667]
[668, 669]
[670, 671]