session partial = NTP4Verif +
theories
  "partial_S_sqtvc"
