session duplets = NTP4Verif +
theories
  "duplets_Duplets_dupletqtvc"
  "duplets_Duplets_dupletsqtvc"
