session sum_real = NTP4Verif +
theories
  "sum_real_Sum_sumqtvc"
  "sum_real_Sum_sum_absqtvc"
  "sum_real_Sum_sum_strictly_posqtvc"
  "sum_real_Sum_sum_boundsqtvc"
