H_X (23 checks, sparse supports)
[0, 20, 22, 23, 25, 26, 28, 31, 36, 38, 40, 42]
[1, 20, 23, 24, 25, 28, 29, 30, 33, 34, 36, 37, 38, 40, 42, 43]
[2, 20, 23, 24, 28, 30, 32, 33, 36, 37, 38, 39, 41, 42, 45, 46]
[3, 20, 22, 24, 30, 32, 37, 38, 40, 41, 44, 45]
[4, 22, 24, 25, 26, 28, 29, 32, 36, 38, 41, 44]
[5, 20, 22, 23, 25, 29, 31, 32, 33, 34, 36, 37, 39, 40, 42, 44]
[6, 20, 24, 26, 28, 29, 30, 33, 36, 39, 40, 42, 43, 44, 45, 46]
[7, 20, 24, 25, 26, 28, 32, 34, 37, 39, 41, 45]
[8, 23, 24, 25, 28, 32, 33, 34, 36, 37, 44, 46]
[9, 20, 22, 23, 26, 28, 30, 31, 32, 33, 36, 37, 40, 44, 45, 46]
[10, 20, 23, 24, 26, 28, 29, 30, 31, 34, 37, 40, 41, 43, 44, 45]
[11, 22, 24, 25, 28, 30, 32, 34, 36, 37, 38, 39, 40, 41, 43, 46]
[12, 20, 29, 31, 32, 33, 36, 37, 38, 41, 44, 46]
[13, 20, 22, 23, 24, 31, 36, 39, 40, 43, 44, 45]
[14, 20, 24, 25, 26, 28, 29, 30, 31, 32, 42, 43]
[15, 24, 31, 32, 33, 34, 37, 39, 40, 41, 43, 44]
[16, 22, 23, 25, 28, 32, 38, 40, 43, 44, 45, 46]
[17, 22, 26, 29, 30, 33, 36, 37, 38, 40, 42, 44]
[18, 20, 23, 28, 29, 34, 36, 39, 40, 41, 42, 45]
[19, 20, 24, 25, 26, 30, 37, 38, 39, 40, 42, 46]
[21, 22, 23, 24, 25, 26, 31, 32, 33, 34, 41, 42]
[27, 28, 29, 30, 31, 32, 33, 34, 43, 44, 45, 46]
[35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46]
H_Z (23 checks, sparse supports)
[0, 20, 22, 23, 25, 26, 28, 31, 36, 38, 40, 42]
[1, 20, 23, 24, 25, 28, 29, 30, 33, 34, 36, 37, 38, 40, 42, 43]
[2, 20, 23, 24, 28, 30, 32, 33, 36, 37, 38, 39, 41, 42, 45, 46]
[3, 20, 22, 24, 30, 32, 37, 38, 40, 41, 44, 45]
[4, 22, 24, 25, 26, 28, 29, 32, 36, 38, 41, 44]
[5, 20, 22, 23, 25, 29, 31, 32, 33, 34, 36, 37, 39, 40, 42, 44]
[6, 20, 24, 26, 28, 29, 30, 33, 36, 39, 40, 42, 43, 44, 45, 46]
[7, 20, 24, 25, 26, 28, 32, 34, 37, 39, 41, 45]
[8, 23, 24, 25, 28, 32, 33, 34, 36, 37, 44, 46]
[9, 20, 22, 23, 26, 28, 30, 31, 32, 33, 36, 37, 40, 44, 45, 46]
[10, 20, 23, 24, 26, 28, 29, 30, 31, 34, 37, 40, 41, 43, 44, 45]
[11, 22, 24, 25, 28, 30, 32, 34, 36, 37, 38, 39, 40, 41, 43, 46]
[12, 20, 29, 31, 32, 33, 36, 37, 38, 41, 44, 46]
[13, 20, 22, 23, 24, 31, 36, 39, 40, 43, 44, 45]
[14, 20, 24, 25, 26, 28, 29, 30, 31, 32, 42, 43]
[15, 24, 31, 32, 33, 34, 37, 39, 40, 41, 43, 44]
[16, 22, 23, 25, 28, 32, 38, 40, 43, 44, 45, 46]
[17, 22, 26, 29, 30, 33, 36, 37, 38, 40, 42, 44]
[18, 20, 23, 28, 29, 34, 36, 39, 40, 41, 42, 45]
[19, 20, 24, 25, 26, 30, 37, 38, 39, 40, 42, 46]
[21, 22, 23, 24, 25, 26, 31, 32, 33, 34, 41, 42]
[27, 28, 29, 30, 31, 32, 33, 34, 43, 44, 45, 46]
[35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46]