session verifythis_2019_ghc_sort = NTP4Verif +
theories
  "verifythis_2019_ghc_sort_Top_Trans"
  "verifythis_2019_ghc_sort_Top_Trans1"
  "verifythis_2019_ghc_sort_Top_eqbqtvc"
  "verifythis_2019_ghc_sort_Top_list_seqqtvc"
  "verifythis_2019_ghc_sort_Top_nilqtvc"
  "verifythis_2019_ghc_sort_Top_extendqtvc"
  "verifythis_2019_ghc_sort_Top_cutpointsqtvc"
  "verifythis_2019_ghc_sort_Top_reverse_sorted_incrqtvc"
  "verifythis_2019_ghc_sort_Top_lt_le_sortedqtvc"
  "verifythis_2019_ghc_sort_Top_orderqtvc"
  "verifythis_2019_ghc_sort_Top_list_fromqtvc"
  "verifythis_2019_ghc_sort_Top_occ_sliceqtvc"
  "verifythis_2019_ghc_sort_Top_sorted_listsqtvc"
  "verifythis_2019_ghc_sort_Top_mergeqtvc"
  "verifythis_2019_ghc_sort_Top_merge_pairqtvc"
  "verifythis_2019_ghc_sort_Top_mergerecqtvc"
  "verifythis_2019_ghc_sort_Top_findqtvc"
  "verifythis_2019_ghc_sort_Top_same_occs_same_lengthsqtvc"
  "verifythis_2019_ghc_sort_Top_num_occ_seq_occqtvc"
  "verifythis_2019_ghc_sort_Top_sort_to_listqtvc"
  "verifythis_2019_ghc_sort_Top_copy_listqtvc"
  "verifythis_2019_ghc_sort_Top_mem_nth_in_boundsqtvc"
  "verifythis_2019_ghc_sort_Top_sorted_list_nthqtvc"
  "verifythis_2019_ghc_sort_Top_ghc_sortqtvc"
