session verifythis_2017_maximum_sum_submatrix = NTP4Verif +
theories
  "verifythis_2017_maximum_sum_submatrix_Kadane2D_maximum_submatrixqtvc"
