session verifythis_2021_lexicographic_permutations_2 = NTP4Verif +
sessions
  "Why3STD"
theories
  "verifythis_2021_lexicographic_permutations_2_ArrayListConversions_to_list_fromqtvc"
  "verifythis_2021_lexicographic_permutations_2_ArrayListConversions_to_listqtvc"
  "verifythis_2021_lexicographic_permutations_2_ArrayListConversions_to_list_array_eqqtvc"
  "verifythis_2021_lexicographic_permutations_2_ArrayListConversions_of_listqtvc"
  "verifythis_2021_lexicographic_permutations_2_ArrayListConversions_eq_nthqtvc"
  "verifythis_2021_lexicographic_permutations_2_ArrayListConversions_of_to_listqtvc"
  "verifythis_2021_lexicographic_permutations_2_ArrayListConversions_to_of_listqtvc"
  "verifythis_2021_lexicographic_permutations_2_BoxedIntArrays_boxed_permutqtvc"
  "verifythis_2021_lexicographic_permutations_2_BoxedIntArrays_greaterqtvc"
  "verifythis_2021_lexicographic_permutations_2_BoxedIntArrays_boxed_greaterqtvc"
  "verifythis_2021_lexicographic_permutations_2_BoxedIntArrays_maxiqtvc"
  "verifythis_2021_lexicographic_permutations_2_Permut_find_eqqtvc"
  "verifythis_2021_lexicographic_permutations_2_Permut_lt_transqtvc"
  "verifythis_2021_lexicographic_permutations_2_Permut_find_leqtvc"
  "verifythis_2021_lexicographic_permutations_2_Permut_eq_le_compatqtvc"
  "verifythis_2021_lexicographic_permutations_2_Permut_eq_lt_compatqtvc"
  "verifythis_2021_lexicographic_permutations_2_Permut_le_or_ltqtvc"
  "verifythis_2021_lexicographic_permutations_2_Permut_lt_not_leqtvc"
  "verifythis_2021_lexicographic_permutations_2_Permut_eq_sub_permutqtvc"
  "verifythis_2021_lexicographic_permutations_2_Permut_le_permut_sortedqtvc"
  "verifythis_2021_lexicographic_permutations_2_Permut_le_permut_decr_sortedqtvc"
  "verifythis_2021_lexicographic_permutations_2_Permut_nextqtvc"
  "verifythis_2021_lexicographic_permutations_2_Permut_as_numqtvc"
  "verifythis_2021_lexicographic_permutations_2_BoxedIntArrays"
  "verifythis_2021_lexicographic_permutations_2_Permut_as_numberqtvc"
  "verifythis_2021_lexicographic_permutations_2_Permut_as_number_indqtvc"
  "verifythis_2021_lexicographic_permutations_2_Permut_as_number_strictqtvc"
  "verifythis_2021_lexicographic_permutations_2_Permut_seq_snoc_memqtvc"
  "verifythis_2021_lexicographic_permutations_2_ArrayListConversions"
  "verifythis_2021_lexicographic_permutations_2_Permut_permutqtvc"
