session algo63 = NTP4Verif +
theories
  "algo63_Algo63_exchangeqtvc"
  "algo63_Algo63_partition_qtvc"
  "algo63_Algo63_partitionqtvc"
