session verifythis_2018_mind_the_gap_1 = NTP4Verif +
theories
  "verifythis_2018_mind_the_gap_1_Top_gap_bufferqtvc"
  "verifythis_2018_mind_the_gap_1_Top_leftqtvc"
  "verifythis_2018_mind_the_gap_1_Top_rightqtvc"
  "verifythis_2018_mind_the_gap_1_Top_deleteqtvc"
  "verifythis_2018_mind_the_gap_1_Top_growqtvc"
  "verifythis_2018_mind_the_gap_1_Top_insertqtvc"
