session verifythis_2017_pair_insertion_sort = NTP4Verif +
theories
  "verifythis_2017_pair_insertion_sort_Challenge1_pair_insertion_sortqtvc"
