session numeric = NTP4Verif +
sessions
  "Why3STD"
theories
  "add_sqrt_AdditionSqrtSingle"
  "add_sub_mul_AddSubMulSingle"
  "addition_AdditionSingle"
  "exp_log_ExpLogSingle"
  "multiplication_MultiplicationSingle"
  "sin_cos_SinCosSingle"
  "substraction_SubstractionSingle"
  "lse_Helpers"
  "sum_SumSingle"
