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