session verifythis_fm2012_LRS = NTP4Verif +
sessions
  "Why3STD"
theories
  "verifythis_fm2012_LRS_LCP_not_common_prefix_if_last_char_are_differentqtvc"
  "verifythis_fm2012_LRS_LCP_longest_common_prefix_succqtvc"
  "verifythis_fm2012_LRS_LCP_lcpqtvc"
  "verifythis_fm2012_LRS_LCP_test_benchqtvc"
  "verifythis_fm2012_LRS_LCP"
  "verifythis_fm2012_LRS_SuffixSort_compareqtvc"
  "verifythis_fm2012_LRS_SuffixSort_lcp_same_indexqtvc"
  "verifythis_fm2012_LRS_SuffixSort_le_transqtvc"
  "verifythis_fm2012_LRS_SuffixSort_sortqtvc"
  "verifythis_fm2012_LRS_SuffixSort_test_benchqtvc"
  "verifythis_fm2012_LRS_SuffixSort"
  "verifythis_fm2012_LRS_SuffixArray_suffixArrayqtvc"
  "verifythis_fm2012_LRS_SuffixArray_selectqtvc"
  "verifythis_fm2012_LRS_SuffixArray_permut_permutationqtvc"
  "verifythis_fm2012_LRS_SuffixArray_createqtvc"
  "verifythis_fm2012_LRS_SuffixArray_lcpqtvc"
  "verifythis_fm2012_LRS_SuffixArray_test_benchqtvc"
  "verifythis_fm2012_LRS_SuffixArray"
  "verifythis_fm2012_LRS_LRS_lcp_symqtvc"
  "verifythis_fm2012_LRS_LRS_le_le_common_prefixqtvc"
  "verifythis_fm2012_LRS_LRS_le_le_longest_common_prefixqtvc"
  "verifythis_fm2012_LRS_LRS_lrsqtvc"
  "verifythis_fm2012_LRS_LRS_test_benchqtvc"
  "verifythis_fm2012_LRS_LRS"
