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