session sumrange = NTP4Verif +
theories
  "sumrange_ArraySum_sumqtvc"
  "sumrange_ArraySum_sum_rightqtvc"
  "sumrange_Simple_queryqtvc"
  "sumrange_ArraySum"
  "sumrange_ExtraLemmas_sum_concatqtvc"
  "sumrange_ExtraLemmas_sum_frameqtvc"
  "sumrange_ExtraLemmas_sum_updateqtvc"
  "sumrange_CumulativeArray_createqtvc"
  "sumrange_ExtraLemmas"
  "sumrange_CumulativeArray_queryqtvc"
  "sumrange_CumulativeArray_updateqtvc"
  "sumrange_CumulativeTree_tree_of_arrayqtvc"
  "sumrange_CumulativeTree_createqtvc"
  "sumrange_CumulativeTree_query_auxqtvc"
  "sumrange_CumulativeTree_queryqtvc"
  "sumrange_CumulativeTree_is_tree_for_frameqtvc"
  "sumrange_CumulativeTree_update_auxqtvc"
  "sumrange_CumulativeTree_updateqtvc"
  "sumrange_CumulativeTree_depth_minqtvc"
  "sumrange_CumulativeTree_depth_is_logqtvc"
  "sumrange_CumulativeTree_update_aux_complexityqtvc"
  "sumrange_CumulativeTree_query_aux_complexityqtvc"
