session euler002 = NTP4Verif +
sessions
  "Why3STD"
theories
  "euler002_FibOnlyEven_fib_even_3nqtvc"
  "euler002_FibOnlyEven_fib_even0qtvc"
  "euler002_FibOnlyEven_fib_even1qtvc"
  "euler002_FibOnlyEven_fib_evennqtvc"
  "euler002_Solve_fqtvc"
  "euler002_FibSumEven"
  "euler002_FibOnlyEven"
  "euler002_Solve_runqtvc"
  "euler002_Solve_benchqtvc"
