session sqrt = NTP4Verif +
theories
  "sqrt_Sqrt1_real_sqr_compatqtvc"
  "sqrt_Sqrt1_trunc_lower_boundqtvc"
  "sqrt_Sqrt1_sqrt1qtvc"
