session verifythis_2018_mind_the_gap_2 = NTP4Verif +
theories
  "verifythis_2018_mind_the_gap_2_GapBuffer_bufferqtvc"
  "verifythis_2018_mind_the_gap_2_GapBuffer_leftqtvc"
  "verifythis_2018_mind_the_gap_2_GapBuffer_rightqtvc"
  "verifythis_2018_mind_the_gap_2_GapBuffer_growqtvc"
  "verifythis_2018_mind_the_gap_2_GapBuffer_insertqtvc"
  "verifythis_2018_mind_the_gap_2_GapBuffer_deleteqtvc"
