session nistonacci = NTP4Verif +
theories
  "nistonacci_Top_nistqtvc"
  "nistonacci_Top_nistonacciqtvc"
  "nistonacci_Top_nist_ge_nqtvc"
  "nistonacci_Top_test"
