r = 4 (values in 1/8Z, m = r + 2 = 6): {'TRIV': 288, 'CERT': 718, 'THM_F': 14, 'THM_F+': 2}
  candidates not in TRIV/CERT/THM_F, by (F+ applies, F# applies): {(True, True): 2}
  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', '-3/8'), mu = -1/4, hat h(12) = -3/8, rho = 19/35
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/8', '1/8', '-1/2'), mu = -1/4, hat h(12) = -3/8, rho = 73/143
  THM_F: h(++,+-,-+,--) = ('-3/4', '1/8', '1/8', '-1/4'), mu = -3/16, hat h(12) = -5/16, rho = 23/55
  THM_F: h(++,+-,-+,--) = ('-5/8', '1/8', '1/8', '-7/8'), mu = -5/16, hat h(12) = -7/16, rho = 13/20
  THM_F: h(++,+-,-+,--) = ('-5/8', '1/8', '1/8', '-3/8'), mu = -3/16, hat h(12) = -5/16, rho = 11/28
  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: h(++,+-,-+,--) = ('-1/2', '1/8', '1/8', '-3/4'), mu = -1/4, hat h(12) = -3/8, rho = 73/143
  THM_F: h(++,+-,-+,--) = ('-1/2', '1/8', '1/8', '-1/4'), mu = -1/8, hat h(12) = -1/4, rho = 19/65
  THM_F: h(++,+-,-+,--) = ('-3/8', '1/8', '1/8', '-7/8'), mu = -1/4, hat h(12) = -3/8, rho = 19/35
  THM_F: h(++,+-,-+,--) = ('-3/8', '1/8', '1/8', '-5/8'), mu = -3/16, hat h(12) = -5/16, rho = 11/28
  THM_F: h(++,+-,-+,--) = ('-3/8', '1/8', '1/8', '-1/8'), mu = -1/16, hat h(12) = -3/16, rho = 23/112
  THM_F: h(++,+-,-+,--) = ('-1/4', '1/8', '1/8', '-3/4'), mu = -3/16, hat h(12) = -5/16, rho = 23/55
  THM_F: h(++,+-,-+,--) = ('-1/4', '1/8', '1/8', '-1/2'), mu = -1/8, hat h(12) = -1/4, rho = 19/65
  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: h(++,+-,-+,--) = ('-1/8', '1/8', '1/8', '-3/8'), mu = -1/16, hat h(12) = -3/16, rho = 23/112
