session euler001 = NTP4Verif +
sessions
  "Why3STD"
theories
  "euler001_DivModHints_mod_div_uniqueqtvc"
  "euler001_DivModHints_mod_succ_1qtvc"
  "euler001_DivModHints_mod_succ_2qtvc"
  "euler001_DivModHints_div_succ_1qtvc"
  "euler001_DivModHints_div_succ_2qtvc"
  "euler001_DivModHints_mod2_mul2qtvc"
  "euler001_DivModHints_mod2_mul2_auxqtvc"
  "euler001_DivModHints_mod2_mul2_aux2qtvc"
  "euler001_DivModHints_div2_mul2qtvc"
  "euler001_DivModHints_div2_mul2_auxqtvc"
  "euler001_DivModHints_div2_addqtvc"
  "euler001_DivModHints_div2_subqtvc"
  "euler001_TriangularNumbers_tr_mod_2qtvc"
  "euler001_DivModHints"
  "euler001_TriangularNumbers_tr_reprqtvc"
  "euler001_TriangularNumbers_tr_succqtvc"
  "euler001_SumMultiple_mod_15qtvc"
  "euler001_TriangularNumbers"
  "euler001_SumMultiple_closed_formula_0qtvc"
  "euler001_SumMultiple_closed_formula_nqtvc"
  "euler001_SumMultiple_closed_formula_n_3qtvc"
  "euler001_SumMultiple_closed_formula_n_5qtvc"
  "euler001_SumMultiple_closed_formula_n_15qtvc"
  "euler001_SumMultiple_closed_formula_indqtvc"
  "euler001_SumMultiple_div_15qtvc"
  "euler001_SumMultiple_div_5qtvc"
  "euler001_SumMultiple_div_3qtvc"
  "euler001_SumMultiple_closed_Formulaqtvc"
  "euler001_Euler001_solveqtvc"
  "euler001_SumMultiple"
  "euler001_Euler001_runqtvc"
  "euler001_Euler001_benchqtvc"
