session lse = NTP4Verif +
sessions
  "Why3STD"
theories
  "sum_real_Sum"
  "udouble_UDouble"
  "my_exp_log_ExpLogLemmas"
  "my_exp_log_ExpLogApprox"
  "my_sum_Sum"
  "my_sum_Bound"
  "my_sum_Combine"
  "my_lse_LSE"
