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