r = 6 (values in 1/32Z, m = r + 2 = 8): {'TRIV': 16896, 'CERT': 46696, 'THM_F': 1806, 'THM_F+': 114, 'THM_F#': 18, 'CERT_k3': 2, 'CERT_k2': 2}
  candidates not in TRIV/CERT/THM_F, by (F+ applies, F# applies): {(True, True): 114, (False, True): 18, (False, False): 4}
  THM_F: h(++,+-,-+,--) = ('-1', '1/32', '1/32', '-7/8'), mu = -29/64, hat h(12) = -31/64, rho = 33/37
  THM_F: h(++,+-,-+,--) = ('-1', '1/32', '1/32', '-13/16'), mu = -7/16, hat h(12) = -15/32, rho = 11/13
  THM_F: h(++,+-,-+,--) = ('-1', '1/32', '1/32', '-3/4'), mu = -27/64, hat h(12) = -29/64, rho = 33/41
  THM_F: h(++,+-,-+,--) = ('-1', '1/32', '1/32', '-11/16'), mu = -13/32, hat h(12) = -7/16, rho = 33/43
  THM_F: h(++,+-,-+,--) = ('-1', '1/32', '1/32', '-5/8'), mu = -25/64, hat h(12) = -27/64, rho = 11/15
  THM_F: h(++,+-,-+,--) = ('-1', '1/32', '1/32', '-9/16'), mu = -3/8, hat h(12) = -13/32, rho = 33/47
  THM_F: h(++,+-,-+,--) = ('-1', '1/32', '1/32', '-1/2'), mu = -23/64, hat h(12) = -25/64, rho = 33/49
  THM_F: h(++,+-,-+,--) = ('-1', '1/32', '1/32', '-7/16'), mu = -11/32, hat h(12) = -3/8, rho = 11/17
  THM_F: h(++,+-,-+,--) = ('-1', '1/32', '1/32', '-3/8'), mu = -21/64, hat h(12) = -23/64, rho = 33/53
  THM_F: h(++,+-,-+,--) = ('-1', '1/32', '1/32', '-5/16'), mu = -5/16, hat h(12) = -11/32, rho = 3/5
  THM_F: h(++,+-,-+,--) = ('-1', '1/32', '1/32', '-1/4'), mu = -19/64, hat h(12) = -21/64, rho = 11/19
  THM_F: h(++,+-,-+,--) = ('-1', '1/32', '1/32', '-3/16'), mu = -9/32, hat h(12) = -5/16, rho = 33/59
  THM_F: h(++,+-,-+,--) = ('-1', '1/32', '1/32', '-1/8'), mu = -17/64, hat h(12) = -19/64, rho = 33/61
  THM_F: h(++,+-,-+,--) = ('-1', '1/16', '1/16', '-13/16'), mu = -27/64, hat h(12) = -31/64, rho = 17/20
  THM_F: h(++,+-,-+,--) = ('-1', '1/16', '1/16', '-3/4'), mu = -13/32, hat h(12) = -15/32, rho = 17/21
  THM_F: h(++,+-,-+,--) = ('-1', '1/16', '1/16', '-11/16'), mu = -25/64, hat h(12) = -29/64, rho = 17/22
  THM_F: h(++,+-,-+,--) = ('-1', '1/16', '1/16', '-5/8'), mu = -3/8, hat h(12) = -7/16, rho = 17/23
  THM_F: h(++,+-,-+,--) = ('-1', '1/16', '1/16', '-9/16'), mu = -23/64, hat h(12) = -27/64, rho = 17/24
  THM_F: h(++,+-,-+,--) = ('-1', '1/16', '1/16', '-1/2'), mu = -11/32, hat h(12) = -13/32, rho = 17/25
  THM_F: h(++,+-,-+,--) = ('-1', '1/16', '1/16', '-7/16'), mu = -21/64, hat h(12) = -25/64, rho = 17/26
  THM_F: h(++,+-,-+,--) = ('-1', '1/16', '1/16', '-3/8'), mu = -5/16, hat h(12) = -3/8, rho = 17/27
  THM_F: h(++,+-,-+,--) = ('-1', '1/16', '1/16', '-5/16'), mu = -19/64, hat h(12) = -23/64, rho = 17/28
  THM_F: h(++,+-,-+,--) = ('-1', '1/16', '1/16', '-1/4'), mu = -9/32, hat h(12) = -11/32, rho = 17/29
  THM_F+ [D=+1, a=17/30, a2=4913/27000, Mp=383/2820, A=4913/27000, M=4913/27000, q=17/47]: h(++,+-,-+,--) = ('-1', '1/16', '1/16', '-3/16'), mu = -17/64, hat h(12) = -21/64, rho = 17/30
  THM_F: h(++,+-,-+,--) = ('-1', '3/32', '3/32', '-11/16'), mu = -3/8, hat h(12) = -15/32, rho = 7/9
  THM_F: h(++,+-,-+,--) = ('-1', '3/32', '3/32', '-5/8'), mu = -23/64, hat h(12) = -29/64, rho = 35/47
  THM_F: h(++,+-,-+,--) = ('-1', '3/32', '3/32', '-9/16'), mu = -11/32, hat h(12) = -7/16, rho = 5/7
  THM_F: h(++,+-,-+,--) = ('-1', '3/32', '3/32', '-1/2'), mu = -21/64, hat h(12) = -27/64, rho = 35/51
  THM_F: h(++,+-,-+,--) = ('-1', '3/32', '3/32', '-7/16'), mu = -5/16, hat h(12) = -13/32, rho = 35/53
  THM_F: h(++,+-,-+,--) = ('-1', '3/32', '3/32', '-3/8'), mu = -19/64, hat h(12) = -25/64, rho = 7/11
  THM_F: h(++,+-,-+,--) = ('-1', '3/32', '3/32', '-5/16'), mu = -9/32, hat h(12) = -3/8, rho = 35/57
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/32', '1/32', '-29/32'), mu = -29/64, hat h(12) = -31/64, rho = 181/204
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/32', '1/32', '-27/32'), mu = -7/16, hat h(12) = -15/32, rho = 271/323
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/32', '1/32', '-25/32'), mu = -27/64, hat h(12) = -29/64, rho = 541/680
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/32', '1/32', '-23/32'), mu = -13/32, hat h(12) = -7/16, rho = 90/119
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/32', '1/32', '-21/32'), mu = -25/64, hat h(12) = -27/64, rho = 49/68
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/32', '1/32', '-19/32'), mu = -3/8, hat h(12) = -13/32, rho = 269/391
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/32', '1/32', '-17/32'), mu = -23/64, hat h(12) = -25/64, rho = 179/272
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/32', '1/32', '-15/32'), mu = -11/32, hat h(12) = -3/8, rho = 268/425
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/32', '1/32', '-13/32'), mu = -21/64, hat h(12) = -23/64, rho = 535/884
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/32', '1/32', '-11/32'), mu = -5/16, hat h(12) = -11/32, rho = 89/153
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/32', '1/32', '-9/32'), mu = -19/64, hat h(12) = -21/64, rho = 533/952
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/32', '1/32', '-7/32'), mu = -9/32, hat h(12) = -5/16, rho = 266/493
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/32', '1/32', '-5/32'), mu = -17/64, hat h(12) = -19/64, rho = 177/340
  THM_F+ [D=+1, a=265/527, a2=18609625/146363183, Mp=82415/817377, A=18609625/146363183, M=18609625/146363183, q=17/48]: h(++,+-,-+,--) = ('-31/32', '1/32', '1/32', '-3/32'), mu = -1/4, hat h(12) = -9/32, rho = 265/527
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/16', '1/16', '-27/32'), mu = -27/64, hat h(12) = -31/64, rho = 1151/1365
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/16', '1/16', '-25/32'), mu = -13/32, hat h(12) = -15/32, rho = 1149/1435
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/16', '1/16', '-23/32'), mu = -25/64, hat h(12) = -29/64, rho = 1147/1505
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/16', '1/16', '-21/32'), mu = -3/8, hat h(12) = -7/16, rho = 229/315
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/16', '1/16', '-19/32'), mu = -23/64, hat h(12) = -27/64, rho = 1143/1645
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/16', '1/16', '-17/32'), mu = -11/32, hat h(12) = -13/32, rho = 163/245
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/16', '1/16', '-15/32'), mu = -21/64, hat h(12) = -25/64, rho = 67/105
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/16', '1/16', '-13/32'), mu = -5/16, hat h(12) = -3/8, rho = 1137/1855
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/16', '1/16', '-11/32'), mu = -19/64, hat h(12) = -23/64, rho = 227/385
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/16', '1/16', '-9/32'), mu = -9/32, hat h(12) = -11/32, rho = 1133/1995
  THM_F: h(++,+-,-+,--) = ('-31/32', '1/16', '1/16', '-7/32'), mu = -17/64, hat h(12) = -21/64, rho = 1131/2065
  THM_F+ [D=+1, a=1129/2135, a2=1439069689/9731810375, Mp=538533/4434395, A=1439069689/9731810375, M=1439069689/9731810375, q=35/96]: h(++,+-,-+,--) = ('-31/32', '1/16', '1/16', '-5/32'), mu = -1/4, hat h(12) = -5/16, rho = 1129/2135
  THM_F: h(++,+-,-+,--) = ('-31/32', '3/32', '3/32', '-23/32'), mu = -3/8, hat h(12) = -15/32, rho = 76/99
  THM_F: h(++,+-,-+,--) = ('-31/32', '3/32', '3/32', '-21/32'), mu = -23/64, hat h(12) = -29/64, rho = 607/828
  THM_F: h(++,+-,-+,--) = ('-31/32', '3/32', '3/32', '-19/32'), mu = -11/32, hat h(12) = -7/16, rho = 101/144
  THM_F: h(++,+-,-+,--) = ('-31/32', '3/32', '3/32', '-17/32'), mu = -21/64, hat h(12) = -27/64, rho = 121/180
  THM_F: h(++,+-,-+,--) = ('-31/32', '3/32', '3/32', '-15/32'), mu = -5/16, hat h(12) = -13/32, rho = 151/234
  THM_F: h(++,+-,-+,--) = ('-31/32', '3/32', '3/32', '-13/32'), mu = -19/64, hat h(12) = -25/64, rho = 67/108
  THM_F: h(++,+-,-+,--) = ('-31/32', '3/32', '3/32', '-11/32'), mu = -9/32, hat h(12) = -3/8, rho = 43/72
  THM_F: h(++,+-,-+,--) = ('-31/32', '3/32', '3/32', '-9/32'), mu = -17/64, hat h(12) = -23/64, rho = 601/1044
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/32', '1/32', '-7/8'), mu = -7/16, hat h(12) = -15/32, rho = 1081/1295
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/32', '1/32', '-13/16'), mu = -27/64, hat h(12) = -29/64, rho = 359/455
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/32', '1/32', '-3/4'), mu = -13/32, hat h(12) = -7/16, rho = 1073/1435
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/32', '1/32', '-11/16'), mu = -25/64, hat h(12) = -27/64, rho = 1069/1505
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/32', '1/32', '-5/8'), mu = -3/8, hat h(12) = -13/32, rho = 71/105
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/32', '1/32', '-9/16'), mu = -23/64, hat h(12) = -25/64, rho = 1061/1645
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/32', '1/32', '-1/2'), mu = -11/32, hat h(12) = -3/8, rho = 151/245
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/32', '1/32', '-7/16'), mu = -21/64, hat h(12) = -23/64, rho = 351/595
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/32', '1/32', '-3/8'), mu = -5/16, hat h(12) = -11/32, rho = 1049/1855
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/32', '1/32', '-5/16'), mu = -19/64, hat h(12) = -21/64, rho = 19/35
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/32', '1/32', '-1/4'), mu = -9/32, hat h(12) = -5/16, rho = 347/665
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/32', '1/32', '-3/16'), mu = -17/64, hat h(12) = -19/64, rho = 1037/2065
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/32', '1/32', '-1/8'), mu = -1/4, hat h(12) = -9/32, rho = 1033/2135
  THM_F+ [D=+1, a=7/15, a2=343/3375, Mp=259/2925, A=343/3375, M=343/3375, q=5/14]: h(++,+-,-+,--) = ('-15/16', '1/32', '1/32', '-1/16'), mu = -15/64, hat h(12) = -17/64, rho = 7/15
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/16', '1/16', '-7/8'), mu = -27/64, hat h(12) = -31/64, rho = 287/342
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/16', '1/16', '-13/16'), mu = -13/32, hat h(12) = -15/32, rho = 143/180
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/16', '1/16', '-3/4'), mu = -25/64, hat h(12) = -29/64, rho = 95/126
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/16', '1/16', '-11/16'), mu = -3/8, hat h(12) = -7/16, rho = 71/99
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/16', '1/16', '-5/8'), mu = -23/64, hat h(12) = -27/64, rho = 283/414
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/16', '1/16', '-9/16'), mu = -11/32, hat h(12) = -13/32, rho = 47/72
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/16', '1/16', '-1/2'), mu = -21/64, hat h(12) = -25/64, rho = 281/450
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/16', '1/16', '-7/16'), mu = -5/16, hat h(12) = -3/8, rho = 70/117
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/16', '1/16', '-3/8'), mu = -19/64, hat h(12) = -23/64, rho = 31/54
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/16', '1/16', '-5/16'), mu = -9/32, hat h(12) = -11/32, rho = 139/252
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/16', '1/16', '-1/4'), mu = -17/64, hat h(12) = -21/64, rho = 277/522
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/16', '1/16', '-3/16'), mu = -1/4, hat h(12) = -5/16, rho = 23/45
  THM_F+ [D=+1, a=275/558, a2=20796875/173741112, Mp=925/8556, A=20796875/173741112, M=20796875/173741112, q=18/49]: h(++,+-,-+,--) = ('-15/16', '1/16', '1/16', '-1/8'), mu = -15/64, hat h(12) = -19/64, rho = 275/558
  THM_F: h(++,+-,-+,--) = ('-15/16', '3/32', '3/32', '-13/16'), mu = -25/64, hat h(12) = -31/64, rho = 1213/1517
  THM_F: h(++,+-,-+,--) = ('-15/16', '3/32', '3/32', '-3/4'), mu = -3/8, hat h(12) = -15/32, rho = 1209/1591
  THM_F: h(++,+-,-+,--) = ('-15/16', '3/32', '3/32', '-11/16'), mu = -23/64, hat h(12) = -29/64, rho = 241/333
  THM_F: h(++,+-,-+,--) = ('-15/16', '3/32', '3/32', '-5/8'), mu = -11/32, hat h(12) = -7/16, rho = 1201/1739
  THM_F: h(++,+-,-+,--) = ('-15/16', '3/32', '3/32', '-9/16'), mu = -21/64, hat h(12) = -27/64, rho = 171/259
  THM_F: h(++,+-,-+,--) = ('-15/16', '3/32', '3/32', '-1/2'), mu = -5/16, hat h(12) = -13/32, rho = 1193/1887
  THM_F: h(++,+-,-+,--) = ('-15/16', '3/32', '3/32', '-7/16'), mu = -19/64, hat h(12) = -25/64, rho = 1189/1961
  THM_F: h(++,+-,-+,--) = ('-15/16', '3/32', '3/32', '-3/8'), mu = -9/32, hat h(12) = -3/8, rho = 237/407
  THM_F: h(++,+-,-+,--) = ('-15/16', '3/32', '3/32', '-5/16'), mu = -17/64, hat h(12) = -23/64, rho = 1181/2109
  THM_F: h(++,+-,-+,--) = ('-15/16', '3/32', '3/32', '-1/4'), mu = -1/4, hat h(12) = -11/32, rho = 1177/2183
  THM_F+ [D=+1, a=1173/2257, a2=1613964717/11497268593, Mp=1777095/13760929, A=1613964717/11497268593, M=1613964717/11497268593, q=37/98]: h(++,+-,-+,--) = ('-15/16', '3/32', '3/32', '-3/16'), mu = -15/64, hat h(12) = -21/64, rho = 1173/2257
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/8', '1/8', '-5/8'), mu = -21/64, hat h(12) = -29/64, rho = 53/76
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/8', '1/8', '-9/16'), mu = -5/16, hat h(12) = -7/16, rho = 317/475
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/8', '1/8', '-1/2'), mu = -19/64, hat h(12) = -27/64, rho = 158/247
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/8', '1/8', '-7/16'), mu = -9/32, hat h(12) = -13/32, rho = 35/57
  THM_F: h(++,+-,-+,--) = ('-15/16', '1/8', '1/8', '-3/8'), mu = -17/64, hat h(12) = -25/64, rho = 157/266
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/32', '1/32', '-31/32'), mu = -29/64, hat h(12) = -31/64, rho = 181/204
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/32', '1/32', '-27/32'), mu = -27/64, hat h(12) = -29/64, rho = 179/228
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/32', '1/32', '-25/32'), mu = -13/32, hat h(12) = -7/16, rho = 89/120
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/32', '1/32', '-23/32'), mu = -25/64, hat h(12) = -27/64, rho = 59/84
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/32', '1/32', '-21/32'), mu = -3/8, hat h(12) = -13/32, rho = 2/3
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/32', '1/32', '-19/32'), mu = -23/64, hat h(12) = -25/64, rho = 175/276
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/32', '1/32', '-17/32'), mu = -11/32, hat h(12) = -3/8, rho = 29/48
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/32', '1/32', '-15/32'), mu = -21/64, hat h(12) = -23/64, rho = 173/300
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/32', '1/32', '-13/32'), mu = -5/16, hat h(12) = -11/32, rho = 43/78
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/32', '1/32', '-11/32'), mu = -19/64, hat h(12) = -21/64, rho = 19/36
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/32', '1/32', '-9/32'), mu = -9/32, hat h(12) = -5/16, rho = 85/168
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/32', '1/32', '-7/32'), mu = -17/64, hat h(12) = -19/64, rho = 169/348
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/32', '1/32', '-5/32'), mu = -1/4, hat h(12) = -9/32, rho = 7/15
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/32', '1/32', '-3/32'), mu = -15/64, hat h(12) = -17/64, rho = 167/372
  THM_F# [D=+1, a=83/192, q=9/25, theta=1/12]: h(++,+-,-+,--) = ('-29/32', '1/32', '1/32', '-1/32'), mu = -7/32, hat h(12) = -1/4, rho = 83/192
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/16', '1/16', '-27/32'), mu = -13/32, hat h(12) = -15/32, rho = 1141/1443
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/16', '1/16', '-25/32'), mu = -25/64, hat h(12) = -29/64, rho = 1135/1517
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/16', '1/16', '-23/32'), mu = -3/8, hat h(12) = -7/16, rho = 1129/1591
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/16', '1/16', '-21/32'), mu = -23/64, hat h(12) = -27/64, rho = 1123/1665
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/16', '1/16', '-19/32'), mu = -11/32, hat h(12) = -13/32, rho = 1117/1739
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/16', '1/16', '-17/32'), mu = -21/64, hat h(12) = -25/64, rho = 1111/1813
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/16', '1/16', '-15/32'), mu = -5/16, hat h(12) = -3/8, rho = 65/111
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/16', '1/16', '-13/32'), mu = -19/64, hat h(12) = -23/64, rho = 1099/1961
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/16', '1/16', '-11/32'), mu = -9/32, hat h(12) = -11/32, rho = 1093/2035
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/16', '1/16', '-9/32'), mu = -17/64, hat h(12) = -21/64, rho = 1087/2109
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/16', '1/16', '-7/32'), mu = -1/4, hat h(12) = -5/16, rho = 1081/2183
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/16', '1/16', '-5/32'), mu = -15/64, hat h(12) = -19/64, rho = 1075/2257
  THM_F+ [D=+1, a=1069/2331, a2=1221611509/12665630691, Mp=20311/212121, A=1221611509/12665630691, M=1221611509/12665630691, q=37/100]: h(++,+-,-+,--) = ('-29/32', '1/16', '1/16', '-3/32'), mu = -7/32, hat h(12) = -9/32, rho = 1069/2331
  THM_F: h(++,+-,-+,--) = ('-29/32', '3/32', '3/32', '-27/32'), mu = -25/64, hat h(12) = -31/64, rho = 121/152
  THM_F: h(++,+-,-+,--) = ('-29/32', '3/32', '3/32', '-25/32'), mu = -3/8, hat h(12) = -15/32, rho = 43/57
  THM_F: h(++,+-,-+,--) = ('-29/32', '3/32', '3/32', '-23/32'), mu = -23/64, hat h(12) = -29/64, rho = 599/836
  THM_F: h(++,+-,-+,--) = ('-29/32', '3/32', '3/32', '-21/32'), mu = -11/32, hat h(12) = -7/16, rho = 298/437
  THM_F: h(++,+-,-+,--) = ('-29/32', '3/32', '3/32', '-19/32'), mu = -21/64, hat h(12) = -27/64, rho = 593/912
  THM_F: h(++,+-,-+,--) = ('-29/32', '3/32', '3/32', '-17/32'), mu = -5/16, hat h(12) = -13/32, rho = 59/95
  THM_F: h(++,+-,-+,--) = ('-29/32', '3/32', '3/32', '-15/32'), mu = -19/64, hat h(12) = -25/64, rho = 587/988
  THM_F: h(++,+-,-+,--) = ('-29/32', '3/32', '3/32', '-13/32'), mu = -9/32, hat h(12) = -3/8, rho = 292/513
  THM_F: h(++,+-,-+,--) = ('-29/32', '3/32', '3/32', '-11/32'), mu = -17/64, hat h(12) = -23/64, rho = 83/152
  THM_F: h(++,+-,-+,--) = ('-29/32', '3/32', '3/32', '-9/32'), mu = -1/4, hat h(12) = -11/32, rho = 289/551
  THM_F: h(++,+-,-+,--) = ('-29/32', '3/32', '3/32', '-7/32'), mu = -15/64, hat h(12) = -21/64, rho = 115/228
  THM_F+ [D=+1, a=286/589, a2=23393656/204336469, Mp=3068/26505, A=23393656/204336469, M=3068/26505, q=19/50]: h(++,+-,-+,--) = ('-29/32', '3/32', '3/32', '-5/32'), mu = -7/32, hat h(12) = -5/16, rho = 286/589
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/8', '1/8', '-23/32'), mu = -11/32, hat h(12) = -15/32, rho = 47/65
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/8', '1/8', '-21/32'), mu = -21/64, hat h(12) = -29/64, rho = 421/611
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/8', '1/8', '-19/32'), mu = -5/16, hat h(12) = -7/16, rho = 419/637
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/8', '1/8', '-17/32'), mu = -19/64, hat h(12) = -27/64, rho = 139/221
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/8', '1/8', '-15/32'), mu = -9/32, hat h(12) = -13/32, rho = 415/689
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/8', '1/8', '-13/32'), mu = -17/64, hat h(12) = -25/64, rho = 413/715
  THM_F: h(++,+-,-+,--) = ('-29/32', '1/8', '1/8', '-11/32'), mu = -1/4, hat h(12) = -3/8, rho = 137/247
  THM_F+ [D=+1, a=409/767, a2=68417929/451217663, Mp=702253/4710147, A=68417929/451217663, M=68417929/451217663, q=39/98]: h(++,+-,-+,--) = ('-29/32', '1/8', '1/8', '-9/32'), mu = -15/64, hat h(12) = -23/64, rho = 409/767
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/32', '1/32', '-1'), mu = -29/64, hat h(12) = -31/64, rho = 33/37
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/32', '1/32', '-15/16'), mu = -7/16, hat h(12) = -15/32, rho = 1081/1295
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/32', '1/32', '-13/16'), mu = -13/32, hat h(12) = -7/16, rho = 355/481
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/32', '1/32', '-3/4'), mu = -25/64, hat h(12) = -27/64, rho = 1057/1517
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/32', '1/32', '-11/16'), mu = -3/8, hat h(12) = -13/32, rho = 1049/1591
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/32', '1/32', '-5/8'), mu = -23/64, hat h(12) = -25/64, rho = 347/555
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/32', '1/32', '-9/16'), mu = -11/32, hat h(12) = -3/8, rho = 1033/1739
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/32', '1/32', '-1/2'), mu = -21/64, hat h(12) = -23/64, rho = 1025/1813
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/32', '1/32', '-7/16'), mu = -5/16, hat h(12) = -11/32, rho = 339/629
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/32', '1/32', '-3/8'), mu = -19/64, hat h(12) = -21/64, rho = 1009/1961
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/32', '1/32', '-5/16'), mu = -9/32, hat h(12) = -5/16, rho = 91/185
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/32', '1/32', '-1/4'), mu = -17/64, hat h(12) = -19/64, rho = 331/703
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/32', '1/32', '-3/16'), mu = -1/4, hat h(12) = -9/32, rho = 985/2183
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/32', '1/32', '-1/8'), mu = -15/64, hat h(12) = -17/64, rho = 977/2257
  THM_F+ [D=+1, a=323/777, a2=33698267/469097433, Mp=26809/353535, A=33698267/469097433, M=26809/353535, q=37/100]: h(++,+-,-+,--) = ('-7/8', '1/32', '1/32', '-1/16'), mu = -7/32, hat h(12) = -1/4, rho = 323/777
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/16', '1/16', '-15/16'), mu = -27/64, hat h(12) = -31/64, rho = 287/342
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/16', '1/16', '-13/16'), mu = -25/64, hat h(12) = -29/64, rho = 283/380
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/16', '1/16', '-3/4'), mu = -3/8, hat h(12) = -7/16, rho = 281/399
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/16', '1/16', '-11/16'), mu = -23/64, hat h(12) = -27/64, rho = 279/418
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/16', '1/16', '-5/8'), mu = -11/32, hat h(12) = -13/32, rho = 277/437
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/16', '1/16', '-9/16'), mu = -21/64, hat h(12) = -25/64, rho = 275/456
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/16', '1/16', '-1/2'), mu = -5/16, hat h(12) = -3/8, rho = 273/475
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/16', '1/16', '-7/16'), mu = -19/64, hat h(12) = -23/64, rho = 271/494
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/16', '1/16', '-3/8'), mu = -9/32, hat h(12) = -11/32, rho = 269/513
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/16', '1/16', '-5/16'), mu = -17/64, hat h(12) = -21/64, rho = 267/532
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/16', '1/16', '-1/4'), mu = -1/4, hat h(12) = -5/16, rho = 265/551
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/16', '1/16', '-3/16'), mu = -15/64, hat h(12) = -19/64, rho = 263/570
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/16', '1/16', '-1/8'), mu = -7/32, hat h(12) = -9/32, rho = 261/589
  THM_F+ [D=+1, a=259/608, a2=17373979/224755712, Mp=259/3072, A=17373979/224755712, M=259/3072, q=19/51]: h(++,+-,-+,--) = ('-7/8', '1/16', '1/16', '-1/16'), mu = -13/64, hat h(12) = -17/64, rho = 259/608
  THM_F: h(++,+-,-+,--) = ('-7/8', '3/32', '3/32', '-13/16'), mu = -3/8, hat h(12) = -15/32, rho = 1201/1599
  THM_F: h(++,+-,-+,--) = ('-7/8', '3/32', '3/32', '-3/4'), mu = -23/64, hat h(12) = -29/64, rho = 1193/1677
  THM_F: h(++,+-,-+,--) = ('-7/8', '3/32', '3/32', '-11/16'), mu = -11/32, hat h(12) = -7/16, rho = 79/117
  THM_F: h(++,+-,-+,--) = ('-7/8', '3/32', '3/32', '-5/8'), mu = -21/64, hat h(12) = -27/64, rho = 1177/1833
  THM_F: h(++,+-,-+,--) = ('-7/8', '3/32', '3/32', '-9/16'), mu = -5/16, hat h(12) = -13/32, rho = 167/273
  THM_F: h(++,+-,-+,--) = ('-7/8', '3/32', '3/32', '-1/2'), mu = -19/64, hat h(12) = -25/64, rho = 129/221
  THM_F: h(++,+-,-+,--) = ('-7/8', '3/32', '3/32', '-7/16'), mu = -9/32, hat h(12) = -3/8, rho = 1153/2067
  THM_F: h(++,+-,-+,--) = ('-7/8', '3/32', '3/32', '-3/8'), mu = -17/64, hat h(12) = -23/64, rho = 229/429
  THM_F: h(++,+-,-+,--) = ('-7/8', '3/32', '3/32', '-5/16'), mu = -1/4, hat h(12) = -11/32, rho = 379/741
  THM_F: h(++,+-,-+,--) = ('-7/8', '3/32', '3/32', '-1/4'), mu = -15/64, hat h(12) = -21/64, rho = 1129/2301
  THM_F: h(++,+-,-+,--) = ('-7/8', '3/32', '3/32', '-3/16'), mu = -7/32, hat h(12) = -5/16, rho = 1121/2379
  THM_F+ [D=+1, a=53/117, a2=148877/1601613, Mp=69907/676845, A=148877/1601613, M=69907/676845, q=13/34]: h(++,+-,-+,--) = ('-7/8', '3/32', '3/32', '-1/8'), mu = -13/64, hat h(12) = -19/64, rho = 53/117
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/8', '1/8', '-3/4'), mu = -11/32, hat h(12) = -15/32, rho = 79/110
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/8', '1/8', '-11/16'), mu = -21/64, hat h(12) = -29/64, rho = 157/230
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/8', '1/8', '-5/8'), mu = -5/16, hat h(12) = -7/16, rho = 13/20
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/8', '1/8', '-9/16'), mu = -19/64, hat h(12) = -27/64, rho = 31/50
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/8', '1/8', '-1/2'), mu = -9/32, hat h(12) = -13/32, rho = 77/130
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/8', '1/8', '-7/16'), mu = -17/64, hat h(12) = -25/64, rho = 17/30
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/8', '1/8', '-3/8'), mu = -1/4, hat h(12) = -3/8, rho = 19/35
  THM_F: h(++,+-,-+,--) = ('-7/8', '1/8', '1/8', '-5/16'), mu = -15/64, hat h(12) = -23/64, rho = 151/290
  THM_F+ [D=+1, a=1/2, a2=1/8, Mp=101/748, A=1/8, M=101/748, q=2/5]: h(++,+-,-+,--) = ('-7/8', '1/8', '1/8', '-1/4'), mu = -7/32, hat h(12) = -11/32, rho = 1/2
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/32', '1/32', '-31/32'), mu = -7/16, hat h(12) = -15/32, rho = 271/323
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/32', '1/32', '-29/32'), mu = -27/64, hat h(12) = -29/64, rho = 179/228
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/32', '1/32', '-25/32'), mu = -25/64, hat h(12) = -27/64, rho = 527/760
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/32', '1/32', '-23/32'), mu = -3/8, hat h(12) = -13/32, rho = 87/133
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/32', '1/32', '-21/32'), mu = -23/64, hat h(12) = -25/64, rho = 47/76
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/32', '1/32', '-19/32'), mu = -11/32, hat h(12) = -3/8, rho = 256/437
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/32', '1/32', '-17/32'), mu = -21/64, hat h(12) = -23/64, rho = 169/304
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/32', '1/32', '-15/32'), mu = -5/16, hat h(12) = -11/32, rho = 251/475
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/32', '1/32', '-13/32'), mu = -19/64, hat h(12) = -21/64, rho = 497/988
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/32', '1/32', '-11/32'), mu = -9/32, hat h(12) = -5/16, rho = 82/171
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/32', '1/32', '-9/32'), mu = -17/64, hat h(12) = -19/64, rho = 487/1064
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/32', '1/32', '-7/32'), mu = -1/4, hat h(12) = -9/32, rho = 241/551
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/32', '1/32', '-5/32'), mu = -15/64, hat h(12) = -17/64, rho = 159/380
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/32', '1/32', '-3/32'), mu = -7/32, hat h(12) = -1/4, rho = 236/589
  THM_F+ [D=+1, a=467/1216, a2=101847563/1798045696, Mp=230231/3502080, A=101847563/1798045696, M=230231/3502080, q=19/51]: h(++,+-,-+,--) = ('-27/32', '1/32', '1/32', '-1/32'), mu = -13/64, hat h(12) = -15/64, rho = 467/1216
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/16', '1/16', '-31/32'), mu = -27/64, hat h(12) = -31/64, rho = 1151/1365
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/16', '1/16', '-29/32'), mu = -13/32, hat h(12) = -15/32, rho = 1141/1443
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/16', '1/16', '-25/32'), mu = -3/8, hat h(12) = -7/16, rho = 1121/1599
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/16', '1/16', '-23/32'), mu = -23/64, hat h(12) = -27/64, rho = 1111/1677
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/16', '1/16', '-21/32'), mu = -11/32, hat h(12) = -13/32, rho = 367/585
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/16', '1/16', '-19/32'), mu = -21/64, hat h(12) = -25/64, rho = 1091/1833
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/16', '1/16', '-17/32'), mu = -5/16, hat h(12) = -3/8, rho = 1081/1911
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/16', '1/16', '-15/32'), mu = -19/64, hat h(12) = -23/64, rho = 7/13
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/16', '1/16', '-13/32'), mu = -9/32, hat h(12) = -11/32, rho = 1061/2067
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/16', '1/16', '-11/32'), mu = -17/64, hat h(12) = -21/64, rho = 1051/2145
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/16', '1/16', '-9/32'), mu = -1/4, hat h(12) = -5/16, rho = 347/741
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/16', '1/16', '-7/32'), mu = -15/64, hat h(12) = -19/64, rho = 1031/2301
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/16', '1/16', '-5/32'), mu = -7/32, hat h(12) = -9/32, rho = 1021/2379
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/16', '1/16', '-3/32'), mu = -13/64, hat h(12) = -17/64, rho = 337/819
  THM_F# [D=+1, a=77/195, q=3/8, theta=5/39]: h(++,+-,-+,--) = ('-27/32', '1/16', '1/16', '-1/32'), mu = -3/16, hat h(12) = -1/4, rho = 77/195
  THM_F: h(++,+-,-+,--) = ('-27/32', '3/32', '3/32', '-29/32'), mu = -25/64, hat h(12) = -31/64, rho = 121/152
  THM_F: h(++,+-,-+,--) = ('-27/32', '3/32', '3/32', '-25/32'), mu = -23/64, hat h(12) = -29/64, rho = 17/24
  THM_F: h(++,+-,-+,--) = ('-27/32', '3/32', '3/32', '-23/32'), mu = -11/32, hat h(12) = -7/16, rho = 59/88
  THM_F: h(++,+-,-+,--) = ('-27/32', '3/32', '3/32', '-21/32'), mu = -21/64, hat h(12) = -27/64, rho = 117/184
  THM_F: h(++,+-,-+,--) = ('-27/32', '3/32', '3/32', '-19/32'), mu = -5/16, hat h(12) = -13/32, rho = 29/48
  THM_F: h(++,+-,-+,--) = ('-27/32', '3/32', '3/32', '-17/32'), mu = -19/64, hat h(12) = -25/64, rho = 23/40
  THM_F: h(++,+-,-+,--) = ('-27/32', '3/32', '3/32', '-15/32'), mu = -9/32, hat h(12) = -3/8, rho = 57/104
  THM_F: h(++,+-,-+,--) = ('-27/32', '3/32', '3/32', '-13/32'), mu = -17/64, hat h(12) = -23/64, rho = 113/216
  THM_F: h(++,+-,-+,--) = ('-27/32', '3/32', '3/32', '-11/32'), mu = -1/4, hat h(12) = -11/32, rho = 1/2
  THM_F: h(++,+-,-+,--) = ('-27/32', '3/32', '3/32', '-9/32'), mu = -15/64, hat h(12) = -21/64, rho = 111/232
  THM_F: h(++,+-,-+,--) = ('-27/32', '3/32', '3/32', '-7/32'), mu = -7/32, hat h(12) = -5/16, rho = 11/24
  THM_F: h(++,+-,-+,--) = ('-27/32', '3/32', '3/32', '-5/32'), mu = -13/64, hat h(12) = -19/64, rho = 109/248
  THM_F# [D=+1, a=27/64, q=5/13, theta=487/3584]: h(++,+-,-+,--) = ('-27/32', '3/32', '3/32', '-3/32'), mu = -3/16, hat h(12) = -9/32, rho = 27/64
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/8', '1/8', '-25/32'), mu = -11/32, hat h(12) = -15/32, rho = 1261/1763
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/8', '1/8', '-23/32'), mu = -21/64, hat h(12) = -29/64, rho = 139/205
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/8', '1/8', '-21/32'), mu = -5/16, hat h(12) = -7/16, rho = 1241/1927
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/8', '1/8', '-19/32'), mu = -19/64, hat h(12) = -27/64, rho = 1231/2009
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/8', '1/8', '-17/32'), mu = -9/32, hat h(12) = -13/32, rho = 407/697
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/8', '1/8', '-15/32'), mu = -17/64, hat h(12) = -25/64, rho = 1211/2173
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/8', '1/8', '-13/32'), mu = -1/4, hat h(12) = -3/8, rho = 1201/2255
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/8', '1/8', '-11/32'), mu = -15/64, hat h(12) = -23/64, rho = 397/779
  THM_F: h(++,+-,-+,--) = ('-27/32', '1/8', '1/8', '-9/32'), mu = -7/32, hat h(12) = -11/32, rho = 1181/2419
  THM_F+ [D=+1, a=1171/2501, a2=1605723211/15643757501, Mp=43327/355569, A=1605723211/15643757501, M=43327/355569, q=41/102]: h(++,+-,-+,--) = ('-27/32', '1/8', '1/8', '-7/32'), mu = -13/64, hat h(12) = -21/64, rho = 1171/2501
  THM_F: h(++,+-,-+,--) = ('-27/32', '5/32', '5/32', '-19/32'), mu = -9/32, hat h(12) = -7/16, rho = 326/525
  THM_F: h(++,+-,-+,--) = ('-27/32', '5/32', '5/32', '-17/32'), mu = -17/64, hat h(12) = -27/64, rho = 647/1092
  THM_F: h(++,+-,-+,--) = ('-27/32', '5/32', '5/32', '-15/32'), mu = -1/4, hat h(12) = -13/32, rho = 107/189
  THM_F: h(++,+-,-+,--) = ('-27/32', '5/32', '5/32', '-13/32'), mu = -15/64, hat h(12) = -25/64, rho = 13/24
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/32', '1/32', '-1'), mu = -7/16, hat h(12) = -15/32, rho = 11/13
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/32', '1/32', '-15/16'), mu = -27/64, hat h(12) = -29/64, rho = 359/455
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/32', '1/32', '-7/8'), mu = -13/32, hat h(12) = -7/16, rho = 355/481
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/32', '1/32', '-3/4'), mu = -3/8, hat h(12) = -13/32, rho = 347/533
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/32', '1/32', '-11/16'), mu = -23/64, hat h(12) = -25/64, rho = 343/559
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/32', '1/32', '-5/8'), mu = -11/32, hat h(12) = -3/8, rho = 113/195
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/32', '1/32', '-9/16'), mu = -21/64, hat h(12) = -23/64, rho = 335/611
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/32', '1/32', '-1/2'), mu = -5/16, hat h(12) = -11/32, rho = 331/637
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/32', '1/32', '-7/16'), mu = -19/64, hat h(12) = -21/64, rho = 109/221
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/32', '1/32', '-3/8'), mu = -9/32, hat h(12) = -5/16, rho = 323/689
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/32', '1/32', '-5/16'), mu = -17/64, hat h(12) = -19/64, rho = 29/65
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/32', '1/32', '-1/4'), mu = -1/4, hat h(12) = -9/32, rho = 105/247
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/32', '1/32', '-3/16'), mu = -15/64, hat h(12) = -17/64, rho = 311/767
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/32', '1/32', '-1/8'), mu = -7/32, hat h(12) = -1/4, rho = 307/793
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/32', '1/32', '-1/16'), mu = -13/64, hat h(12) = -15/64, rho = 101/273
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/16', '1/16', '-1'), mu = -27/64, hat h(12) = -31/64, rho = 17/20
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/16', '1/16', '-15/16'), mu = -13/32, hat h(12) = -15/32, rho = 143/180
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/16', '1/16', '-7/8'), mu = -25/64, hat h(12) = -29/64, rho = 283/380
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/16', '1/16', '-3/4'), mu = -23/64, hat h(12) = -27/64, rho = 277/420
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/16', '1/16', '-11/16'), mu = -11/32, hat h(12) = -13/32, rho = 137/220
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/16', '1/16', '-5/8'), mu = -21/64, hat h(12) = -25/64, rho = 271/460
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/16', '1/16', '-9/16'), mu = -5/16, hat h(12) = -3/8, rho = 67/120
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/16', '1/16', '-1/2'), mu = -19/64, hat h(12) = -23/64, rho = 53/100
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/16', '1/16', '-7/16'), mu = -9/32, hat h(12) = -11/32, rho = 131/260
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/16', '1/16', '-3/8'), mu = -17/64, hat h(12) = -21/64, rho = 259/540
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/16', '1/16', '-5/16'), mu = -1/4, hat h(12) = -5/16, rho = 16/35
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/16', '1/16', '-1/4'), mu = -15/64, hat h(12) = -19/64, rho = 253/580
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/16', '1/16', '-3/16'), mu = -7/32, hat h(12) = -9/32, rho = 5/12
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/16', '1/16', '-1/8'), mu = -13/64, hat h(12) = -17/64, rho = 247/620
  THM_F+ [D=+1, a=61/160, a2=226981/4096000, Mp=4087/56320, A=226981/4096000, M=4087/56320, q=5/13]: h(++,+-,-+,--) = ('-13/16', '1/16', '1/16', '-1/16'), mu = -3/16, hat h(12) = -1/4, rho = 61/160
  THM_F: h(++,+-,-+,--) = ('-13/16', '3/32', '3/32', '-15/16'), mu = -25/64, hat h(12) = -31/64, rho = 1213/1517
  THM_F: h(++,+-,-+,--) = ('-13/16', '3/32', '3/32', '-7/8'), mu = -3/8, hat h(12) = -15/32, rho = 1201/1599
  THM_F: h(++,+-,-+,--) = ('-13/16', '3/32', '3/32', '-3/4'), mu = -11/32, hat h(12) = -7/16, rho = 1177/1763
  THM_F: h(++,+-,-+,--) = ('-13/16', '3/32', '3/32', '-11/16'), mu = -21/64, hat h(12) = -27/64, rho = 233/369
  THM_F: h(++,+-,-+,--) = ('-13/16', '3/32', '3/32', '-5/8'), mu = -5/16, hat h(12) = -13/32, rho = 1153/1927
  THM_F: h(++,+-,-+,--) = ('-13/16', '3/32', '3/32', '-9/16'), mu = -19/64, hat h(12) = -25/64, rho = 163/287
  THM_F: h(++,+-,-+,--) = ('-13/16', '3/32', '3/32', '-1/2'), mu = -9/32, hat h(12) = -3/8, rho = 1129/2091
  THM_F: h(++,+-,-+,--) = ('-13/16', '3/32', '3/32', '-7/16'), mu = -17/64, hat h(12) = -23/64, rho = 1117/2173
  THM_F: h(++,+-,-+,--) = ('-13/16', '3/32', '3/32', '-3/8'), mu = -1/4, hat h(12) = -11/32, rho = 221/451
  THM_F: h(++,+-,-+,--) = ('-13/16', '3/32', '3/32', '-5/16'), mu = -15/64, hat h(12) = -21/64, rho = 1093/2337
  THM_F: h(++,+-,-+,--) = ('-13/16', '3/32', '3/32', '-1/4'), mu = -7/32, hat h(12) = -5/16, rho = 1081/2419
  THM_F: h(++,+-,-+,--) = ('-13/16', '3/32', '3/32', '-3/16'), mu = -13/64, hat h(12) = -19/64, rho = 1069/2501
  THM_F+ [D=+1, a=151/369, a2=3442951/50243409, Mp=6493/71955, A=3442951/50243409, M=6493/71955, q=41/104]: h(++,+-,-+,--) = ('-13/16', '3/32', '3/32', '-1/8'), mu = -3/16, hat h(12) = -9/32, rho = 151/369
  THM_F# [D=+1, a=209/533, q=41/106, theta=4863798/31910423]: h(++,+-,-+,--) = ('-13/16', '3/32', '3/32', '-1/16'), mu = -11/64, hat h(12) = -17/64, rho = 209/533
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/8', '1/8', '-3/4'), mu = -21/64, hat h(12) = -29/64, rho = 52/77
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/8', '1/8', '-11/16'), mu = -5/16, hat h(12) = -7/16, rho = 103/161
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/8', '1/8', '-5/8'), mu = -19/64, hat h(12) = -27/64, rho = 17/28
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/8', '1/8', '-9/16'), mu = -9/32, hat h(12) = -13/32, rho = 101/175
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/8', '1/8', '-1/2'), mu = -17/64, hat h(12) = -25/64, rho = 50/91
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/8', '1/8', '-7/16'), mu = -1/4, hat h(12) = -3/8, rho = 11/21
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/8', '1/8', '-3/8'), mu = -15/64, hat h(12) = -23/64, rho = 1/2
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/8', '1/8', '-5/16'), mu = -7/32, hat h(12) = -11/32, rho = 97/203
  THM_F: h(++,+-,-+,--) = ('-13/16', '1/8', '1/8', '-1/4'), mu = -13/64, hat h(12) = -21/64, rho = 16/35
  THM_F+ [D=+1, a=95/217, a2=857375/10218313, Mp=33725/307923, A=857375/10218313, M=33725/307923, q=21/52]: h(++,+-,-+,--) = ('-13/16', '1/8', '1/8', '-3/16'), mu = -3/16, hat h(12) = -5/16, rho = 95/217
  THM_F: h(++,+-,-+,--) = ('-13/16', '5/32', '5/32', '-11/16'), mu = -19/64, hat h(12) = -29/64, rho = 1309/2021
  THM_F: h(++,+-,-+,--) = ('-13/16', '5/32', '5/32', '-5/8'), mu = -9/32, hat h(12) = -7/16, rho = 1297/2107
  THM_F: h(++,+-,-+,--) = ('-13/16', '5/32', '5/32', '-9/16'), mu = -17/64, hat h(12) = -27/64, rho = 1285/2193
  THM_F: h(++,+-,-+,--) = ('-13/16', '5/32', '5/32', '-1/2'), mu = -1/4, hat h(12) = -13/32, rho = 1273/2279
  THM_F: h(++,+-,-+,--) = ('-13/16', '5/32', '5/32', '-7/16'), mu = -15/64, hat h(12) = -25/64, rho = 1261/2365
  THM_F: h(++,+-,-+,--) = ('-13/16', '5/32', '5/32', '-3/8'), mu = -7/32, hat h(12) = -3/8, rho = 1249/2451
  THM_F+ [D=+1, a=1237/2537, a2=1892819053/16329068153, Mp=703853/4959835, A=1892819053/16329068153, M=703853/4959835, q=43/102]: h(++,+-,-+,--) = ('-13/16', '5/32', '5/32', '-5/16'), mu = -13/64, hat h(12) = -23/64, rho = 1237/2537
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/32', '1/32', '-31/32'), mu = -27/64, hat h(12) = -29/64, rho = 541/680
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/32', '1/32', '-29/32'), mu = -13/32, hat h(12) = -7/16, rho = 89/120
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/32', '1/32', '-27/32'), mu = -25/64, hat h(12) = -27/64, rho = 527/760
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/32', '1/32', '-23/32'), mu = -23/64, hat h(12) = -25/64, rho = 171/280
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/32', '1/32', '-21/32'), mu = -11/32, hat h(12) = -3/8, rho = 23/40
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/32', '1/32', '-19/32'), mu = -21/64, hat h(12) = -23/64, rho = 499/920
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/32', '1/32', '-17/32'), mu = -5/16, hat h(12) = -11/32, rho = 41/80
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/32', '1/32', '-15/32'), mu = -19/64, hat h(12) = -21/64, rho = 97/200
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/32', '1/32', '-13/32'), mu = -9/32, hat h(12) = -5/16, rho = 239/520
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/32', '1/32', '-11/32'), mu = -17/64, hat h(12) = -19/64, rho = 157/360
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/32', '1/32', '-9/32'), mu = -1/4, hat h(12) = -9/32, rho = 29/70
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/32', '1/32', '-7/32'), mu = -15/64, hat h(12) = -17/64, rho = 457/1160
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/32', '1/32', '-5/32'), mu = -7/32, hat h(12) = -1/4, rho = 3/8
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/32', '1/32', '-3/32'), mu = -13/64, hat h(12) = -15/64, rho = 443/1240
  THM_F+ [D=+1, a=109/320, a2=1295029/32768000, Mp=2507/45056, A=1295029/32768000, M=2507/45056, q=5/13]: h(++,+-,-+,--) = ('-25/32', '1/32', '1/32', '-1/32'), mu = -3/16, hat h(12) = -7/32, rho = 109/320
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/16', '1/16', '-31/32'), mu = -13/32, hat h(12) = -15/32, rho = 1149/1435
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/16', '1/16', '-29/32'), mu = -25/64, hat h(12) = -29/64, rho = 1135/1517
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/16', '1/16', '-27/32'), mu = -3/8, hat h(12) = -7/16, rho = 1121/1599
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/16', '1/16', '-23/32'), mu = -11/32, hat h(12) = -13/32, rho = 1093/1763
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/16', '1/16', '-21/32'), mu = -21/64, hat h(12) = -25/64, rho = 1079/1845
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/16', '1/16', '-19/32'), mu = -5/16, hat h(12) = -3/8, rho = 1065/1927
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/16', '1/16', '-17/32'), mu = -19/64, hat h(12) = -23/64, rho = 1051/2009
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/16', '1/16', '-15/32'), mu = -9/32, hat h(12) = -11/32, rho = 61/123
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/16', '1/16', '-13/32'), mu = -17/64, hat h(12) = -21/64, rho = 1023/2173
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/16', '1/16', '-11/32'), mu = -1/4, hat h(12) = -5/16, rho = 1009/2255
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/16', '1/16', '-9/32'), mu = -15/64, hat h(12) = -19/64, rho = 995/2337
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/16', '1/16', '-7/32'), mu = -7/32, hat h(12) = -9/32, rho = 981/2419
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/16', '1/16', '-5/32'), mu = -13/64, hat h(12) = -17/64, rho = 967/2501
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/16', '1/16', '-3/32'), mu = -3/16, hat h(12) = -1/4, rho = 953/2583
  THM_F# [D=+1, a=939/2665, q=41/106, theta=7/41]: h(++,+-,-+,--) = ('-25/32', '1/16', '1/16', '-1/32'), mu = -11/64, hat h(12) = -15/64, rho = 939/2665
  THM_F: h(++,+-,-+,--) = ('-25/32', '3/32', '3/32', '-29/32'), mu = -3/8, hat h(12) = -15/32, rho = 43/57
  THM_F: h(++,+-,-+,--) = ('-25/32', '3/32', '3/32', '-27/32'), mu = -23/64, hat h(12) = -29/64, rho = 17/24
  THM_F: h(++,+-,-+,--) = ('-25/32', '3/32', '3/32', '-23/32'), mu = -21/64, hat h(12) = -27/64, rho = 83/132
  THM_F: h(++,+-,-+,--) = ('-25/32', '3/32', '3/32', '-21/32'), mu = -5/16, hat h(12) = -13/32, rho = 41/69
  THM_F: h(++,+-,-+,--) = ('-25/32', '3/32', '3/32', '-19/32'), mu = -19/64, hat h(12) = -25/64, rho = 9/16
  THM_F: h(++,+-,-+,--) = ('-25/32', '3/32', '3/32', '-17/32'), mu = -9/32, hat h(12) = -3/8, rho = 8/15
  THM_F: h(++,+-,-+,--) = ('-25/32', '3/32', '3/32', '-15/32'), mu = -17/64, hat h(12) = -23/64, rho = 79/156
  THM_F: h(++,+-,-+,--) = ('-25/32', '3/32', '3/32', '-13/32'), mu = -1/4, hat h(12) = -11/32, rho = 13/27
  THM_F: h(++,+-,-+,--) = ('-25/32', '3/32', '3/32', '-11/32'), mu = -15/64, hat h(12) = -21/64, rho = 11/24
  THM_F: h(++,+-,-+,--) = ('-25/32', '3/32', '3/32', '-9/32'), mu = -7/32, hat h(12) = -5/16, rho = 38/87
  THM_F: h(++,+-,-+,--) = ('-25/32', '3/32', '3/32', '-7/32'), mu = -13/64, hat h(12) = -19/64, rho = 5/12
  THM_F: h(++,+-,-+,--) = ('-25/32', '3/32', '3/32', '-5/32'), mu = -3/16, hat h(12) = -9/32, rho = 37/93
  THM_F+ [D=+1, a=73/192, a2=389017/7077888, Mp=42121/528384, A=389017/7077888, M=42121/528384, q=21/53]: h(++,+-,-+,--) = ('-25/32', '3/32', '3/32', '-3/32'), mu = -11/64, hat h(12) = -17/64, rho = 73/192
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/8', '1/8', '-27/32'), mu = -11/32, hat h(12) = -15/32, rho = 1261/1763
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/8', '1/8', '-23/32'), mu = -5/16, hat h(12) = -7/16, rho = 137/215
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/8', '1/8', '-21/32'), mu = -19/64, hat h(12) = -27/64, rho = 1219/2021
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/8', '1/8', '-19/32'), mu = -9/32, hat h(12) = -13/32, rho = 1205/2107
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/8', '1/8', '-17/32'), mu = -17/64, hat h(12) = -25/64, rho = 397/731
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/8', '1/8', '-15/32'), mu = -1/4, hat h(12) = -3/8, rho = 1177/2279
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/8', '1/8', '-13/32'), mu = -15/64, hat h(12) = -23/64, rho = 1163/2365
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/8', '1/8', '-11/32'), mu = -7/32, hat h(12) = -11/32, rho = 383/817
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/8', '1/8', '-9/32'), mu = -13/64, hat h(12) = -21/64, rho = 1135/2537
  THM_F: h(++,+-,-+,--) = ('-25/32', '1/8', '1/8', '-7/32'), mu = -3/16, hat h(12) = -5/16, rho = 1121/2623
  THM_F+ [D=+1, a=123/301, a2=1860867/27270901, Mp=6519/66521, A=1860867/27270901, M=6519/66521, q=43/106]: h(++,+-,-+,--) = ('-25/32', '1/8', '1/8', '-5/32'), mu = -11/64, hat h(12) = -19/64, rho = 123/301
  THM_F: h(++,+-,-+,--) = ('-25/32', '5/32', '5/32', '-23/32'), mu = -19/64, hat h(12) = -29/64, rho = 653/1012
  THM_F: h(++,+-,-+,--) = ('-25/32', '5/32', '5/32', '-21/32'), mu = -9/32, hat h(12) = -7/16, rho = 323/528
  THM_F: h(++,+-,-+,--) = ('-25/32', '5/32', '5/32', '-19/32'), mu = -17/64, hat h(12) = -27/64, rho = 639/1100
  THM_F: h(++,+-,-+,--) = ('-25/32', '5/32', '5/32', '-17/32'), mu = -1/4, hat h(12) = -13/32, rho = 79/143
  THM_F: h(++,+-,-+,--) = ('-25/32', '5/32', '5/32', '-15/32'), mu = -15/64, hat h(12) = -25/64, rho = 625/1188
  THM_F: h(++,+-,-+,--) = ('-25/32', '5/32', '5/32', '-13/32'), mu = -7/32, hat h(12) = -3/8, rho = 309/616
  THM_F: h(++,+-,-+,--) = ('-25/32', '5/32', '5/32', '-11/32'), mu = -13/64, hat h(12) = -23/64, rho = 611/1276
  THM_F+ [D=+1, a=151/330, a2=3442951/35937000, Mp=10117/78540, A=3442951/35937000, M=10117/78540, q=11/26]: h(++,+-,-+,--) = ('-25/32', '5/32', '5/32', '-9/32'), mu = -3/16, hat h(12) = -11/32, rho = 151/330
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/32', '1/32', '-1'), mu = -27/64, hat h(12) = -29/64, rho = 33/41
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/32', '1/32', '-15/16'), mu = -13/32, hat h(12) = -7/16, rho = 1073/1435
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/32', '1/32', '-7/8'), mu = -25/64, hat h(12) = -27/64, rho = 1057/1517
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/32', '1/32', '-13/16'), mu = -3/8, hat h(12) = -13/32, rho = 347/533
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/32', '1/32', '-11/16'), mu = -11/32, hat h(12) = -3/8, rho = 1009/1763
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/32', '1/32', '-5/8'), mu = -21/64, hat h(12) = -23/64, rho = 331/615
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/32', '1/32', '-9/16'), mu = -5/16, hat h(12) = -11/32, rho = 977/1927
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/32', '1/32', '-1/2'), mu = -19/64, hat h(12) = -21/64, rho = 961/2009
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/32', '1/32', '-7/16'), mu = -9/32, hat h(12) = -5/16, rho = 315/697
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/32', '1/32', '-3/8'), mu = -17/64, hat h(12) = -19/64, rho = 929/2173
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/32', '1/32', '-5/16'), mu = -1/4, hat h(12) = -9/32, rho = 83/205
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/32', '1/32', '-1/4'), mu = -15/64, hat h(12) = -17/64, rho = 299/779
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/32', '1/32', '-3/16'), mu = -7/32, hat h(12) = -1/4, rho = 881/2419
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/32', '1/32', '-1/8'), mu = -13/64, hat h(12) = -15/64, rho = 865/2501
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/32', '1/32', '-1/16'), mu = -3/16, hat h(12) = -7/32, rho = 283/861
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/16', '1/16', '-1'), mu = -13/32, hat h(12) = -15/32, rho = 17/21
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/16', '1/16', '-15/16'), mu = -25/64, hat h(12) = -29/64, rho = 95/126
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/16', '1/16', '-7/8'), mu = -3/8, hat h(12) = -7/16, rho = 281/399
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/16', '1/16', '-13/16'), mu = -23/64, hat h(12) = -27/64, rho = 277/420
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/16', '1/16', '-11/16'), mu = -21/64, hat h(12) = -25/64, rho = 269/462
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/16', '1/16', '-5/8'), mu = -5/16, hat h(12) = -3/8, rho = 265/483
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/16', '1/16', '-9/16'), mu = -19/64, hat h(12) = -23/64, rho = 29/56
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/16', '1/16', '-1/2'), mu = -9/32, hat h(12) = -11/32, rho = 257/525
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/16', '1/16', '-7/16'), mu = -17/64, hat h(12) = -21/64, rho = 253/546
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/16', '1/16', '-3/8'), mu = -1/4, hat h(12) = -5/16, rho = 83/189
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/16', '1/16', '-5/16'), mu = -15/64, hat h(12) = -19/64, rho = 5/12
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/16', '1/16', '-1/4'), mu = -7/32, hat h(12) = -9/32, rho = 241/609
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/16', '1/16', '-3/16'), mu = -13/64, hat h(12) = -17/64, rho = 79/210
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/16', '1/16', '-1/8'), mu = -3/16, hat h(12) = -1/4, rho = 233/651
  THM_F+ [D=+1, a=229/672, a2=12008989/303464448, Mp=57479/924672, A=12008989/303464448, M=57479/924672, q=21/53]: h(++,+-,-+,--) = ('-3/4', '1/16', '1/16', '-1/16'), mu = -11/64, hat h(12) = -15/64, rho = 229/672
  THM_F: h(++,+-,-+,--) = ('-3/4', '3/32', '3/32', '-15/16'), mu = -3/8, hat h(12) = -15/32, rho = 1209/1591
  THM_F: h(++,+-,-+,--) = ('-3/4', '3/32', '3/32', '-7/8'), mu = -23/64, hat h(12) = -29/64, rho = 1193/1677
  THM_F: h(++,+-,-+,--) = ('-3/4', '3/32', '3/32', '-13/16'), mu = -11/32, hat h(12) = -7/16, rho = 1177/1763
  THM_F: h(++,+-,-+,--) = ('-3/4', '3/32', '3/32', '-11/16'), mu = -5/16, hat h(12) = -13/32, rho = 229/387
  THM_F: h(++,+-,-+,--) = ('-3/4', '3/32', '3/32', '-5/8'), mu = -19/64, hat h(12) = -25/64, rho = 1129/2021
  THM_F: h(++,+-,-+,--) = ('-3/4', '3/32', '3/32', '-9/16'), mu = -9/32, hat h(12) = -3/8, rho = 159/301
  THM_F: h(++,+-,-+,--) = ('-3/4', '3/32', '3/32', '-1/2'), mu = -17/64, hat h(12) = -23/64, rho = 1097/2193
  THM_F: h(++,+-,-+,--) = ('-3/4', '3/32', '3/32', '-7/16'), mu = -1/4, hat h(12) = -11/32, rho = 1081/2279
  THM_F: h(++,+-,-+,--) = ('-3/4', '3/32', '3/32', '-3/8'), mu = -15/64, hat h(12) = -21/64, rho = 213/473
  THM_F: h(++,+-,-+,--) = ('-3/4', '3/32', '3/32', '-5/16'), mu = -7/32, hat h(12) = -5/16, rho = 1049/2451
  THM_F: h(++,+-,-+,--) = ('-3/4', '3/32', '3/32', '-1/4'), mu = -13/64, hat h(12) = -19/64, rho = 1033/2537
  THM_F: h(++,+-,-+,--) = ('-3/4', '3/32', '3/32', '-3/16'), mu = -3/16, hat h(12) = -9/32, rho = 1017/2623
  THM_F: h(++,+-,-+,--) = ('-3/4', '3/32', '3/32', '-1/8'), mu = -11/64, hat h(12) = -17/64, rho = 143/387
  THM_F# [D=+1, a=197/559, q=43/108, theta=16560776/86901151]: h(++,+-,-+,--) = ('-3/4', '3/32', '3/32', '-1/16'), mu = -5/32, hat h(12) = -1/4, rho = 197/559
  THM_F+ [D=+1, a=67/176, a2=300763/5451776, Mp=67/768, A=300763/5451776, M=67/768, q=11/27]: h(++,+-,-+,--) = ('-3/4', '1/8', '1/8', '-1/8'), mu = -5/32, hat h(12) = -9/32, rho = 67/176
  THM_F+ [D=+1, a=1177/2745, a2=1630532233/20683643625, Mp=1778447/15264945, A=1630532233/20683643625, M=1778447/15264945, q=45/106]: h(++,+-,-+,--) = ('-3/4', '5/32', '5/32', '-1/4'), mu = -11/64, hat h(12) = -21/64, rho = 1177/2745
  THM_F+ [D=+1, a=135/448, a2=2460375/89915392, Mp=8235/176128, A=2460375/89915392, M=8235/176128, q=21/53]: h(++,+-,-+,--) = ('-23/32', '1/32', '1/32', '-1/32'), mu = -11/64, hat h(12) = -13/64, rho = 135/448
  THM_F# [D=+1, a=877/2795, q=43/108, theta=9/43]: h(++,+-,-+,--) = ('-23/32', '1/16', '1/16', '-1/32'), mu = -5/32, hat h(12) = -7/32, rho = 877/2795
  THM_F+ [D=+1, a=241/704, a2=13997521/348913664, Mp=65311/946176, A=13997521/348913664, M=65311/946176, q=11/27]: h(++,+-,-+,--) = ('-23/32', '3/32', '3/32', '-3/32'), mu = -5/32, hat h(12) = -1/4, rho = 241/704
  THM_F# [D=+1, a=23/65, q=9/22, theta=3589/16625]: h(++,+-,-+,--) = ('-23/32', '1/8', '1/8', '-3/32'), mu = -9/64, hat h(12) = -17/64, rho = 23/65
  THM_F+ [D=+1, a=286/713, a2=23393656/362467097, Mp=3068/29233, A=23393656/362467097, M=3068/29233, q=23/54]: h(++,+-,-+,--) = ('-23/32', '5/32', '5/32', '-7/32'), mu = -5/32, hat h(12) = -5/16, rho = 286/713
  THM_F+ [D=+1, a=37/117, a2=50653/1601613, Mp=36815/611793, A=50653/1601613, M=36815/611793, q=9/22]: h(++,+-,-+,--) = ('-11/16', '3/32', '3/32', '-1/16'), mu = -9/64, hat h(12) = -15/64, rho = 37/117
  THM_F+ [D=+1, a=127/368, a2=2048383/49836032, Mp=18415/241408, A=2048383/49836032, M=18415/241408, q=23/55]: h(++,+-,-+,--) = ('-11/16', '1/8', '1/8', '-1/8'), mu = -9/64, hat h(12) = -17/64, rho = 127/368
  THM_F+ [D=+1, a=1109/2961, a2=1363938029/25960629681, Mp=7763/82485, A=1363938029/25960629681, M=7763/82485, q=47/110]: h(++,+-,-+,--) = ('-11/16', '5/32', '5/32', '-3/16'), mu = -9/64, hat h(12) = -19/64, rho = 1109/2961
  THM_F+ [D=+1, a=311/696, a2=30080231/337153536, Mp=5287/38976, A=30080231/337153536, M=5287/38976, q=24/53]: h(++,+-,-+,--) = ('-11/16', '3/16', '3/16', '-3/8'), mu = -11/64, hat h(12) = -23/64, rho = 311/696
  THM_F+ [D=+1, a=163/585, a2=4330747/200201625, Mp=46129/1019655, A=4330747/200201625, M=46129/1019655, q=9/22]: h(++,+-,-+,--) = ('-21/32', '1/16', '1/16', '-1/32'), mu = -9/64, hat h(12) = -13/64, rho = 163/585
  THM_F# [D=+1, a=977/3055, q=47/112, theta=87916433/350817917]: h(++,+-,-+,--) = ('-21/32', '1/8', '1/8', '-3/32'), mu = -1/8, hat h(12) = -1/4, rho = 977/3055
  THM_F+ [D=+1, a=1213/2891, a2=1784770597/24162633971, Mp=277777/2251263, A=1784770597/24162633971, M=277777/2251263, q=49/108]: h(++,+-,-+,--) = ('-21/32', '3/16', '3/16', '-11/32'), mu = -5/32, hat h(12) = -11/32, rho = 1213/2891
  THM_F+ [D=+1, a=173/611, a2=5177717/228099131, Mp=17819/346437, A=5177717/228099131, M=17819/346437, q=47/112]: h(++,+-,-+,--) = ('-5/8', '3/32', '3/32', '-1/16'), mu = -1/8, hat h(12) = -7/32, rho = 173/611
  THM_F+ [D=+1, a=5/16, a2=125/4096, Mp=17/256, A=125/4096, M=17/256, q=3/7]: h(++,+-,-+,--) = ('-5/8', '1/8', '1/8', '-1/8'), mu = -1/8, hat h(12) = -1/4, rho = 5/16
  THM_F+ [D=+1, a=151/441, a2=3442951/85766121, Mp=188297/2264535, A=3442951/85766121, M=188297/2264535, q=7/16]: h(++,+-,-+,--) = ('-5/8', '5/32', '5/32', '-3/16'), mu = -1/8, hat h(12) = -9/32, rho = 151/441
  THM_F+ [D=+1, a=59/150, a2=205379/3375000, Mp=1711/15300, A=205379/3375000, M=1711/15300, q=5/11]: h(++,+-,-+,--) = ('-5/8', '3/16', '3/16', '-5/16'), mu = -9/64, hat h(12) = -21/64, rho = 59/150
  THM_F+ [D=+1, a=753/3055, a2=426957777/28512391375, Mp=7279/192465, A=426957777/28512391375, M=7279/192465, q=47/112]: h(++,+-,-+,--) = ('-19/32', '1/16', '1/16', '-1/32'), mu = -1/8, hat h(12) = -3/16, rho = 753/3055
  THM_F+ [D=+1, a=919/3185, a2=776151559/32309356625, Mp=10109/174195, A=776151559/32309356625, M=10109/174195, q=49/114]: h(++,+-,-+,--) = ('-19/32', '1/8', '1/8', '-3/32'), mu = -7/64, hat h(12) = -15/64, rho = 919/3185
  THM_F+ [D=+1, a=509/1600, a2=131872229/4096000000, Mp=98237/1331200, A=131872229/4096000000, M=98237/1331200, q=25/57]: h(++,+-,-+,--) = ('-19/32', '5/32', '5/32', '-5/32'), mu = -7/64, hat h(12) = -17/64, rho = 509/1600
  THM_F+ [D=+1, a=23/91, a2=12167/753571, Mp=19757/452907, A=12167/753571, M=19757/452907, q=49/114]: h(++,+-,-+,--) = ('-9/16', '3/32', '3/32', '-1/16'), mu = -7/64, hat h(12) = -13/64, rho = 23/91
  THM_F+ [D=+1, a=691/3185, a2=329939371/32309356625, Mp=165149/5283915, A=329939371/32309356625, M=165149/5283915, q=49/114]: h(++,+-,-+,--) = ('-17/32', '1/16', '1/16', '-1/32'), mu = -7/64, hat h(12) = -11/64, rho = 691/3185
  THM_F+ [D=+1, a=287/1105, a2=23639903/1349232625, Mp=5453/109395, A=23639903/1349232625, M=5453/109395, q=51/116]: h(++,+-,-+,--) = ('-17/32', '1/8', '1/8', '-3/32'), mu = -3/32, hat h(12) = -7/32, rho = 287/1105
  THM_F+ [D=+1, a=241/832, a2=13997521/575930368, Mp=65311/1011712, A=13997521/575930368, M=65311/1011712, q=13/29]: h(++,+-,-+,--) = ('-17/32', '5/32', '5/32', '-5/32'), mu = -3/32, hat h(12) = -1/4, rho = 241/832
  THM_F+ [D=+1, a=1099/3233, a2=1327373299/33792250337, Mp=1464967/16245825, A=1327373299/33792250337, M=1464967/16245825, q=53/114]: h(++,+-,-+,--) = ('-17/32', '3/16', '3/16', '-9/32'), mu = -7/64, hat h(12) = -19/64, rho = 1099/3233
  THM_F+ [D=+1, a=149/663, a2=3307949/291434247, Mp=16837/459459, A=3307949/291434247, M=16837/459459, q=51/116]: h(++,+-,-+,--) = ('-1/2', '3/32', '3/32', '-1/16'), mu = -3/32, hat h(12) = -3/16, rho = 149/663
  THM_F+ [D=+1, a=37/195, a2=50653/7414875, Mp=1147/45045, A=50653/7414875, M=1147/45045, q=51/116]: h(++,+-,-+,--) = ('-15/32', '1/16', '1/16', '-1/32'), mu = -3/32, hat h(12) = -5/32, rho = 37/195
  THM_F+ [D=+1, a=803/3445, a2=517781627/40885346125, Mp=32923/775125, A=517781627/40885346125, M=32923/775125, q=53/118]: h(++,+-,-+,--) = ('-15/32', '1/8', '1/8', '-3/32'), mu = -5/64, hat h(12) = -13/64, rho = 803/3445
  THM_F+ [D=+1, a=455/1728, a2=94196375/5159780352, Mp=229775/4091904, A=94196375/5159780352, M=229775/4091904, q=27/59]: h(++,+-,-+,--) = ('-15/32', '5/32', '5/32', '-5/32'), mu = -5/64, hat h(12) = -15/64, rho = 455/1728
  THM_F+ [D=+1, a=1053/3355, a2=1167575877/37763963875, Mp=1317303/16409305, A=1167575877/37763963875, M=1317303/16409305, q=55/116]: h(++,+-,-+,--) = ('-15/32', '3/16', '3/16', '-9/32'), mu = -3/32, hat h(12) = -9/32, rho = 1053/3355
  THM_F+ [D=+1, a=149/715, a2=3307949/365525875, Mp=16837/469755, A=3307949/365525875, M=16837/469755, q=11/24]: h(++,+-,-+,--) = ('-13/32', '1/8', '1/8', '-3/32'), mu = -1/16, hat h(12) = -3/16, rho = 149/715
  THM_F+ [D=+1, a=107/448, a2=1225043/89915392, Mp=1391/28672, A=1225043/89915392, M=1391/28672, q=7/15]: h(++,+-,-+,--) = ('-13/32', '5/32', '5/32', '-5/32'), mu = -1/16, hat h(12) = -7/32, rho = 107/448
  THM_F+ [D=+1, a=311/696, a2=30080231/337153536, Mp=5287/38976, A=30080231/337153536, M=5287/38976, q=24/53]: h(++,+-,-+,--) = ('-3/8', '3/16', '3/16', '-11/16'), mu = -11/64, hat h(12) = -23/64, rho = 311/696
  THM_F+ [D=+1, a=229/1235, a2=12008989/1883652875, Mp=23587/789165, A=12008989/1883652875, M=23587/789165, q=57/122]: h(++,+-,-+,--) = ('-11/32', '1/8', '1/8', '-3/32'), mu = -3/64, hat h(12) = -11/64, rho = 229/1235
  THM_F+ [D=+1, a=1213/2891, a2=1784770597/24162633971, Mp=277777/2251263, A=1784770597/24162633971, M=277777/2251263, q=49/108]: h(++,+-,-+,--) = ('-11/32', '3/16', '3/16', '-21/32'), mu = -5/32, hat h(12) = -11/32, rho = 1213/2891
  THM_F+ [D=+1, a=1237/2537, a2=1892819053/16329068153, Mp=703853/4959835, A=1892819053/16329068153, M=703853/4959835, q=43/102]: h(++,+-,-+,--) = ('-5/16', '5/32', '5/32', '-13/16'), mu = -13/64, hat h(12) = -23/64, rho = 1237/2537
  THM_F+ [D=+1, a=797/3717, a2=506261573/51354402813, Mp=230333/5556915, A=506261573/51354402813, M=230333/5556915, q=59/122]: h(++,+-,-+,--) = ('-5/16', '5/32', '5/32', '-3/16'), mu = -3/64, hat h(12) = -13/64, rho = 797/3717
  THM_F+ [D=+1, a=59/150, a2=205379/3375000, Mp=1711/15300, A=205379/3375000, M=1711/15300, q=5/11]: h(++,+-,-+,--) = ('-5/16', '3/16', '3/16', '-5/8'), mu = -9/64, hat h(12) = -21/64, rho = 59/150
  THM_F+ [D=+1, a=409/767, a2=68417929/451217663, Mp=702253/4710147, A=68417929/451217663, M=68417929/451217663, q=39/98]: h(++,+-,-+,--) = ('-9/32', '1/8', '1/8', '-29/32'), mu = -15/64, hat h(12) = -23/64, rho = 409/767
  CERT_k3 [nu=(1, 1, 1), Gamma=4317675409/14846652293120, F=['-41937/121670', '-1', '1', '-1', '1', '-1', '1', '-1']]: h(++,+-,-+,--) = ('-9/32', '1/8', '1/8', '-3/32'), mu = -1/32, hat h(12) = -5/32, rho = 629/3835
  THM_F+ [D=+1, a=151/330, a2=3442951/35937000, Mp=10117/78540, A=3442951/35937000, M=10117/78540, q=11/26]: h(++,+-,-+,--) = ('-9/32', '5/32', '5/32', '-25/32'), mu = -3/16, hat h(12) = -11/32, rho = 151/330
  THM_F+ [D=+1, a=1099/3233, a2=1327373299/33792250337, Mp=1464967/16245825, A=1327373299/33792250337, M=1464967/16245825, q=53/114]: h(++,+-,-+,--) = ('-9/32', '3/16', '3/16', '-17/32'), mu = -7/64, hat h(12) = -19/64, rho = 1099/3233
  THM_F+ [D=+1, a=1053/3355, a2=1167575877/37763963875, Mp=1317303/16409305, A=1167575877/37763963875, M=1317303/16409305, q=55/116]: h(++,+-,-+,--) = ('-9/32', '3/16', '3/16', '-15/32'), mu = -3/32, hat h(12) = -9/32, rho = 1053/3355
  THM_F+ [D=+1, a=101/767, a2=1030301/451217663, Mp=17473/1111383, A=1030301/451217663, M=17473/1111383, q=59/124]: h(++,+-,-+,--) = ('-1/4', '3/32', '3/32', '-1/16'), mu = -1/32, hat h(12) = -1/8, rho = 101/767
  THM_F+ [D=+1, a=1/2, a2=1/8, Mp=101/748, A=1/8, M=101/748, q=2/5]: h(++,+-,-+,--) = ('-1/4', '1/8', '1/8', '-7/8'), mu = -7/32, hat h(12) = -11/32, rho = 1/2
  THM_F+ [D=+1, a=1177/2745, a2=1630532233/20683643625, Mp=1778447/15264945, A=1630532233/20683643625, M=1778447/15264945, q=45/106]: h(++,+-,-+,--) = ('-1/4', '5/32', '5/32', '-3/4'), mu = -11/64, hat h(12) = -21/64, rho = 1177/2745
  THM_F+ [D=+1, a=1171/2501, a2=1605723211/15643757501, Mp=43327/355569, A=1605723211/15643757501, M=43327/355569, q=41/102]: h(++,+-,-+,--) = ('-7/32', '1/8', '1/8', '-27/32'), mu = -13/64, hat h(12) = -21/64, rho = 1171/2501
  THM_F+ [D=+1, a=286/713, a2=23393656/362467097, Mp=3068/29233, A=23393656/362467097, M=3068/29233, q=23/54]: h(++,+-,-+,--) = ('-7/32', '5/32', '5/32', '-23/32'), mu = -5/32, hat h(12) = -5/16, rho = 286/713
  THM_F+ [D=+1, a=17/30, a2=4913/27000, Mp=383/2820, A=4913/27000, M=4913/27000, q=17/47]: h(++,+-,-+,--) = ('-3/16', '1/16', '1/16', '-1'), mu = -17/64, hat h(12) = -21/64, rho = 17/30
  THM_F+ [D=+1, a=1173/2257, a2=1613964717/11497268593, Mp=1777095/13760929, A=1613964717/11497268593, M=1613964717/11497268593, q=37/98]: h(++,+-,-+,--) = ('-3/16', '3/32', '3/32', '-15/16'), mu = -15/64, hat h(12) = -21/64, rho = 1173/2257
  THM_F+ [D=+1, a=95/217, a2=857375/10218313, Mp=33725/307923, A=857375/10218313, M=33725/307923, q=21/52]: h(++,+-,-+,--) = ('-3/16', '1/8', '1/8', '-13/16'), mu = -3/16, hat h(12) = -5/16, rho = 95/217
  THM_F+ [D=+1, a=1109/2961, a2=1363938029/25960629681, Mp=7763/82485, A=1363938029/25960629681, M=7763/82485, q=47/110]: h(++,+-,-+,--) = ('-3/16', '5/32', '5/32', '-11/16'), mu = -9/64, hat h(12) = -19/64, rho = 1109/2961
  THM_F+ [D=+1, a=151/441, a2=3442951/85766121, Mp=188297/2264535, A=3442951/85766121, M=188297/2264535, q=7/16]: h(++,+-,-+,--) = ('-3/16', '5/32', '5/32', '-5/8'), mu = -1/8, hat h(12) = -9/32, rho = 151/441
  THM_F+ [D=+1, a=797/3717, a2=506261573/51354402813, Mp=230333/5556915, A=506261573/51354402813, M=230333/5556915, q=59/122]: h(++,+-,-+,--) = ('-3/16', '5/32', '5/32', '-5/16'), mu = -3/64, hat h(12) = -13/64, rho = 797/3717
  THM_F+ [D=+1, a=1129/2135, a2=1439069689/9731810375, Mp=538533/4434395, A=1439069689/9731810375, M=1439069689/9731810375, q=35/96]: h(++,+-,-+,--) = ('-5/32', '1/16', '1/16', '-31/32'), mu = -1/4, hat h(12) = -5/16, rho = 1129/2135
  CERT_k2 [nu=(1, 1), Gamma=67561/411505920, F=['-554/1215', '-1', '1', '-1']]: h(++,+-,-+,--) = ('-5/32', '1/16', '1/16', '-1/32'), mu = -1/64, hat h(12) = -5/64, rho = 319/3965
  THM_F+ [D=+1, a=286/589, a2=23393656/204336469, Mp=3068/26505, A=23393656/204336469, M=3068/26505, q=19/50]: h(++,+-,-+,--) = ('-5/32', '3/32', '3/32', '-29/32'), mu = -7/32, hat h(12) = -5/16, rho = 286/589
  THM_F+ [D=+1, a=123/301, a2=1860867/27270901, Mp=6519/66521, A=1860867/27270901, M=6519/66521, q=43/106]: h(++,+-,-+,--) = ('-5/32', '1/8', '1/8', '-25/32'), mu = -11/64, hat h(12) = -19/64, rho = 123/301
  THM_F+ [D=+1, a=509/1600, a2=131872229/4096000000, Mp=98237/1331200, A=131872229/4096000000, M=98237/1331200, q=25/57]: h(++,+-,-+,--) = ('-5/32', '5/32', '5/32', '-19/32'), mu = -7/64, hat h(12) = -17/64, rho = 509/1600
  THM_F+ [D=+1, a=241/832, a2=13997521/575930368, Mp=65311/1011712, A=13997521/575930368, M=65311/1011712, q=13/29]: h(++,+-,-+,--) = ('-5/32', '5/32', '5/32', '-17/32'), mu = -3/32, hat h(12) = -1/4, rho = 241/832
  THM_F+ [D=+1, a=455/1728, a2=94196375/5159780352, Mp=229775/4091904, A=94196375/5159780352, M=229775/4091904, q=27/59]: h(++,+-,-+,--) = ('-5/32', '5/32', '5/32', '-15/32'), mu = -5/64, hat h(12) = -15/64, rho = 455/1728
  THM_F+ [D=+1, a=107/448, a2=1225043/89915392, Mp=1391/28672, A=1225043/89915392, M=1391/28672, q=7/15]: h(++,+-,-+,--) = ('-5/32', '5/32', '5/32', '-13/32'), mu = -1/16, hat h(12) = -7/32, rho = 107/448
  THM_F+ [D=+1, a=275/558, a2=20796875/173741112, Mp=925/8556, A=20796875/173741112, M=20796875/173741112, q=18/49]: h(++,+-,-+,--) = ('-1/8', '1/16', '1/16', '-15/16'), mu = -15/64, hat h(12) = -19/64, rho = 275/558
  THM_F+ [D=+1, a=53/117, a2=148877/1601613, Mp=69907/676845, A=148877/1601613, M=69907/676845, q=13/34]: h(++,+-,-+,--) = ('-1/8', '3/32', '3/32', '-7/8'), mu = -13/64, hat h(12) = -19/64, rho = 53/117
  THM_F+ [D=+1, a=151/369, a2=3442951/50243409, Mp=6493/71955, A=3442951/50243409, M=6493/71955, q=41/104]: h(++,+-,-+,--) = ('-1/8', '3/32', '3/32', '-13/16'), mu = -3/16, hat h(12) = -9/32, rho = 151/369
  THM_F+ [D=+1, a=67/176, a2=300763/5451776, Mp=67/768, A=300763/5451776, M=67/768, q=11/27]: h(++,+-,-+,--) = ('-1/8', '1/8', '1/8', '-3/4'), mu = -5/32, hat h(12) = -9/32, rho = 67/176
  THM_F+ [D=+1, a=127/368, a2=2048383/49836032, Mp=18415/241408, A=2048383/49836032, M=18415/241408, q=23/55]: h(++,+-,-+,--) = ('-1/8', '1/8', '1/8', '-11/16'), mu = -9/64, hat h(12) = -17/64, rho = 127/368
  THM_F+ [D=+1, a=5/16, a2=125/4096, Mp=17/256, A=125/4096, M=17/256, q=3/7]: h(++,+-,-+,--) = ('-1/8', '1/8', '1/8', '-5/8'), mu = -1/8, hat h(12) = -1/4, rho = 5/16
  THM_F+ [D=+1, a=265/527, a2=18609625/146363183, Mp=82415/817377, A=18609625/146363183, M=18609625/146363183, q=17/48]: h(++,+-,-+,--) = ('-3/32', '1/32', '1/32', '-31/32'), mu = -1/4, hat h(12) = -9/32, rho = 265/527
  THM_F+ [D=+1, a=1069/2331, a2=1221611509/12665630691, Mp=20311/212121, A=1221611509/12665630691, M=1221611509/12665630691, q=37/100]: h(++,+-,-+,--) = ('-3/32', '1/16', '1/16', '-29/32'), mu = -7/32, hat h(12) = -9/32, rho = 1069/2331
  THM_F# [D=+1, a=27/64, q=5/13, theta=487/3584]: h(++,+-,-+,--) = ('-3/32', '3/32', '3/32', '-27/32'), mu = -3/16, hat h(12) = -9/32, rho = 27/64
  THM_F+ [D=+1, a=73/192, a2=389017/7077888, Mp=42121/528384, A=389017/7077888, M=42121/528384, q=21/53]: h(++,+-,-+,--) = ('-3/32', '3/32', '3/32', '-25/32'), mu = -11/64, hat h(12) = -17/64, rho = 73/192
  THM_F+ [D=+1, a=241/704, a2=13997521/348913664, Mp=65311/946176, A=13997521/348913664, M=65311/946176, q=11/27]: h(++,+-,-+,--) = ('-3/32', '3/32', '3/32', '-23/32'), mu = -5/32, hat h(12) = -1/4, rho = 241/704
  THM_F# [D=+1, a=23/65, q=9/22, theta=3589/16625]: h(++,+-,-+,--) = ('-3/32', '1/8', '1/8', '-23/32'), mu = -9/64, hat h(12) = -17/64, rho = 23/65
  THM_F# [D=+1, a=977/3055, q=47/112, theta=87916433/350817917]: h(++,+-,-+,--) = ('-3/32', '1/8', '1/8', '-21/32'), mu = -1/8, hat h(12) = -1/4, rho = 977/3055
  THM_F+ [D=+1, a=919/3185, a2=776151559/32309356625, Mp=10109/174195, A=776151559/32309356625, M=10109/174195, q=49/114]: h(++,+-,-+,--) = ('-3/32', '1/8', '1/8', '-19/32'), mu = -7/64, hat h(12) = -15/64, rho = 919/3185
  THM_F+ [D=+1, a=287/1105, a2=23639903/1349232625, Mp=5453/109395, A=23639903/1349232625, M=5453/109395, q=51/116]: h(++,+-,-+,--) = ('-3/32', '1/8', '1/8', '-17/32'), mu = -3/32, hat h(12) = -7/32, rho = 287/1105
  THM_F+ [D=+1, a=803/3445, a2=517781627/40885346125, Mp=32923/775125, A=517781627/40885346125, M=32923/775125, q=53/118]: h(++,+-,-+,--) = ('-3/32', '1/8', '1/8', '-15/32'), mu = -5/64, hat h(12) = -13/64, rho = 803/3445
  THM_F+ [D=+1, a=149/715, a2=3307949/365525875, Mp=16837/469755, A=3307949/365525875, M=16837/469755, q=11/24]: h(++,+-,-+,--) = ('-3/32', '1/8', '1/8', '-13/32'), mu = -1/16, hat h(12) = -3/16, rho = 149/715
  THM_F+ [D=+1, a=229/1235, a2=12008989/1883652875, Mp=23587/789165, A=12008989/1883652875, M=23587/789165, q=57/122]: h(++,+-,-+,--) = ('-3/32', '1/8', '1/8', '-11/32'), mu = -3/64, hat h(12) = -11/64, rho = 229/1235
  CERT_k3 [nu=(1, 1, 1), Gamma=4317675409/14846652293120, F=['1', '-1', '1', '-1', '1', '-1', '1', '41937/121670']]: h(++,+-,-+,--) = ('-3/32', '1/8', '1/8', '-9/32'), mu = -1/32, hat h(12) = -5/32, rho = 629/3835
  THM_F+ [D=+1, a=7/15, a2=343/3375, Mp=259/2925, A=343/3375, M=343/3375, q=5/14]: h(++,+-,-+,--) = ('-1/16', '1/32', '1/32', '-15/16'), mu = -15/64, hat h(12) = -17/64, rho = 7/15
  THM_F+ [D=+1, a=323/777, a2=33698267/469097433, Mp=26809/353535, A=33698267/469097433, M=26809/353535, q=37/100]: h(++,+-,-+,--) = ('-1/16', '1/32', '1/32', '-7/8'), mu = -7/32, hat h(12) = -1/4, rho = 323/777
  THM_F+ [D=+1, a=259/608, a2=17373979/224755712, Mp=259/3072, A=17373979/224755712, M=259/3072, q=19/51]: h(++,+-,-+,--) = ('-1/16', '1/16', '1/16', '-7/8'), mu = -13/64, hat h(12) = -17/64, rho = 259/608
  THM_F+ [D=+1, a=61/160, a2=226981/4096000, Mp=4087/56320, A=226981/4096000, M=4087/56320, q=5/13]: h(++,+-,-+,--) = ('-1/16', '1/16', '1/16', '-13/16'), mu = -3/16, hat h(12) = -1/4, rho = 61/160
  THM_F+ [D=+1, a=229/672, a2=12008989/303464448, Mp=57479/924672, A=12008989/303464448, M=57479/924672, q=21/53]: h(++,+-,-+,--) = ('-1/16', '1/16', '1/16', '-3/4'), mu = -11/64, hat h(12) = -15/64, rho = 229/672
  THM_F# [D=+1, a=209/533, q=41/106, theta=4863798/31910423]: h(++,+-,-+,--) = ('-1/16', '3/32', '3/32', '-13/16'), mu = -11/64, hat h(12) = -17/64, rho = 209/533
  THM_F# [D=+1, a=197/559, q=43/108, theta=16560776/86901151]: h(++,+-,-+,--) = ('-1/16', '3/32', '3/32', '-3/4'), mu = -5/32, hat h(12) = -1/4, rho = 197/559
  THM_F+ [D=+1, a=37/117, a2=50653/1601613, Mp=36815/611793, A=50653/1601613, M=36815/611793, q=9/22]: h(++,+-,-+,--) = ('-1/16', '3/32', '3/32', '-11/16'), mu = -9/64, hat h(12) = -15/64, rho = 37/117
  THM_F+ [D=+1, a=173/611, a2=5177717/228099131, Mp=17819/346437, A=5177717/228099131, M=17819/346437, q=47/112]: h(++,+-,-+,--) = ('-1/16', '3/32', '3/32', '-5/8'), mu = -1/8, hat h(12) = -7/32, rho = 173/611
  THM_F+ [D=+1, a=23/91, a2=12167/753571, Mp=19757/452907, A=12167/753571, M=19757/452907, q=49/114]: h(++,+-,-+,--) = ('-1/16', '3/32', '3/32', '-9/16'), mu = -7/64, hat h(12) = -13/64, rho = 23/91
  THM_F+ [D=+1, a=149/663, a2=3307949/291434247, Mp=16837/459459, A=3307949/291434247, M=16837/459459, q=51/116]: h(++,+-,-+,--) = ('-1/16', '3/32', '3/32', '-1/2'), mu = -3/32, hat h(12) = -3/16, rho = 149/663
  THM_F+ [D=+1, a=101/767, a2=1030301/451217663, Mp=17473/1111383, A=1030301/451217663, M=17473/1111383, q=59/124]: h(++,+-,-+,--) = ('-1/16', '3/32', '3/32', '-1/4'), mu = -1/32, hat h(12) = -1/8, rho = 101/767
  THM_F# [D=+1, a=83/192, q=9/25, theta=1/12]: h(++,+-,-+,--) = ('-1/32', '1/32', '1/32', '-29/32'), mu = -7/32, hat h(12) = -1/4, rho = 83/192
  THM_F+ [D=+1, a=467/1216, a2=101847563/1798045696, Mp=230231/3502080, A=101847563/1798045696, M=230231/3502080, q=19/51]: h(++,+-,-+,--) = ('-1/32', '1/32', '1/32', '-27/32'), mu = -13/64, hat h(12) = -15/64, rho = 467/1216
  THM_F+ [D=+1, a=109/320, a2=1295029/32768000, Mp=2507/45056, A=1295029/32768000, M=2507/45056, q=5/13]: h(++,+-,-+,--) = ('-1/32', '1/32', '1/32', '-25/32'), mu = -3/16, hat h(12) = -7/32, rho = 109/320
  THM_F+ [D=+1, a=135/448, a2=2460375/89915392, Mp=8235/176128, A=2460375/89915392, M=8235/176128, q=21/53]: h(++,+-,-+,--) = ('-1/32', '1/32', '1/32', '-23/32'), mu = -11/64, hat h(12) = -13/64, rho = 135/448
  THM_F# [D=+1, a=77/195, q=3/8, theta=5/39]: h(++,+-,-+,--) = ('-1/32', '1/16', '1/16', '-27/32'), mu = -3/16, hat h(12) = -1/4, rho = 77/195
  THM_F# [D=+1, a=939/2665, q=41/106, theta=7/41]: h(++,+-,-+,--) = ('-1/32', '1/16', '1/16', '-25/32'), mu = -11/64, hat h(12) = -15/64, rho = 939/2665
  THM_F# [D=+1, a=877/2795, q=43/108, theta=9/43]: h(++,+-,-+,--) = ('-1/32', '1/16', '1/16', '-23/32'), mu = -5/32, hat h(12) = -7/32, rho = 877/2795
  THM_F+ [D=+1, a=163/585, a2=4330747/200201625, Mp=46129/1019655, A=4330747/200201625, M=46129/1019655, q=9/22]: h(++,+-,-+,--) = ('-1/32', '1/16', '1/16', '-21/32'), mu = -9/64, hat h(12) = -13/64, rho = 163/585
  THM_F+ [D=+1, a=753/3055, a2=426957777/28512391375, Mp=7279/192465, A=426957777/28512391375, M=7279/192465, q=47/112]: h(++,+-,-+,--) = ('-1/32', '1/16', '1/16', '-19/32'), mu = -1/8, hat h(12) = -3/16, rho = 753/3055
  THM_F+ [D=+1, a=691/3185, a2=329939371/32309356625, Mp=165149/5283915, A=329939371/32309356625, M=165149/5283915, q=49/114]: h(++,+-,-+,--) = ('-1/32', '1/16', '1/16', '-17/32'), mu = -7/64, hat h(12) = -11/64, rho = 691/3185
  THM_F+ [D=+1, a=37/195, a2=50653/7414875, Mp=1147/45045, A=50653/7414875, M=1147/45045, q=51/116]: h(++,+-,-+,--) = ('-1/32', '1/16', '1/16', '-15/32'), mu = -3/32, hat h(12) = -5/32, rho = 37/195
  CERT_k2 [nu=(1, 1), Gamma=67561/411505920, F=['1', '-1', '1', '554/1215']]: h(++,+-,-+,--) = ('-1/32', '1/16', '1/16', '-5/32'), mu = -1/64, hat h(12) = -5/64, rho = 319/3965
