r = 3 (values in 1/4Z, m = r + 2 = 5): {'TRIV': 40, 'CERT': 86}
  candidates not in TRIV/CERT/THM_F, by (F+ applies, F# applies): {}
