session verifythis_2021_lexicographic_permutations_1 = NTP4Verif +
theories
  "verifythis_2021_lexicographic_permutations_1_Top_lt_transqtvc"
  "verifythis_2021_lexicographic_permutations_1_Top_lt_asymqtvc"
  "verifythis_2021_lexicographic_permutations_1_Top_lt_totalqtvc"
  "verifythis_2021_lexicographic_permutations_1_Top_to_seqqtvc"
  "verifythis_2021_lexicographic_permutations_1_Top_is_permutation_of_reflqtvc"
  "verifythis_2021_lexicographic_permutations_1_Top_is_permutation_of_symqtvc"
  "verifythis_2021_lexicographic_permutations_1_Top_is_permutation_of_tranqtvc"
  "verifythis_2021_lexicographic_permutations_1_Top_occ_idqtvc"
  "verifythis_2021_lexicographic_permutations_1_Top_occ_splitqtvc"
  "verifythis_2021_lexicographic_permutations_1_Top_occ_atqtvc"
  "verifythis_2021_lexicographic_permutations_1_Top_occ_noneqtvc"
  "verifythis_2021_lexicographic_permutations_1_Top_descending_is_lastqtvc"
  "verifythis_2021_lexicographic_permutations_1_Top_ascending_is_firstqtvc"
  "verifythis_2021_lexicographic_permutations_1_Top_swapqtvc"
  "verifythis_2021_lexicographic_permutations_1_Top_nextqtvc"
  "verifythis_2021_lexicographic_permutations_1_Top_all_permutationsqtvc"
  "verifythis_2021_lexicographic_permutations_1_Top_permutqtvc"
