session foveoos11_challenge2 = NTP4Verif +
theories
  "foveoos11_challenge2_MaximumTree"
  "foveoos11_challenge2_MaximumTree_size_nonnegqtvc"
  "foveoos11_challenge2_MaximumTree_maximumqtvc"
