session algo64 = NTP4Verif +
theories
  "algo64_Algo64_quicksortqtvc"
  "algo64_Algo64_qsqtvc"
