session verifythis_2021_shearsort_modified = NTP4Verif +
theories
  "verifythis_2021_shearsort_modified_Top_inv_nonnegqtvc"
  "verifythis_2021_shearsort_modified_Top_shearsortqtvc"
