session isqrt = NTP4Verif +
theories
  "isqrt_Square_sqr_non_negqtvc"
  "isqrt_Square_sqr_increasingqtvc"
  "isqrt_Square_sqr_sumqtvc"
  "isqrt_Simple_isqrtqtvc"
  "isqrt_Square"
  "isqrt_Simple_mainqtvc"
  "isqrt_NewtonMethod_sqrtqtvc"
