session verifythis_2018_le_rouge_et_le_noir_2 = NTP4Verif +
theories
  "verifythis_2018_le_rouge_et_le_noir_2_Top_bij_preserveqtvc"
  "verifythis_2018_le_rouge_et_le_noir_2_Top_disjoint_unionqtvc"
  "verifythis_2018_le_rouge_et_le_noir_2_Top_cardinalqtvc"
  "verifythis_2018_le_rouge_et_le_noir_2_Top_czeroqtvc"
  "verifythis_2018_le_rouge_et_le_noir_2_Top_coneqtvc"
  "verifythis_2018_le_rouge_et_le_noir_2_Top_cmapqtvc"
  "verifythis_2018_le_rouge_et_le_noir_2_Top_caddqtvc"
  "verifythis_2018_le_rouge_et_le_noir_2_Top_mainqtvc"
