session verifythis_2018_le_rouge_et_le_noir_1 = NTP4Verif +
theories
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_valid_contrqtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_colo_0qtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_colo_1qtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_colo_2qtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_colo_3qtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_valid_split_fbqtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_valid_restrictqtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_first_black_tileqtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_addleftqtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_addleft_fbqtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_mapaddleft_fbqtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_bij_imageqtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_bij_cardinalqtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_extqtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_app_eqqtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_addleft_resultqtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_addleft_bijectiveqtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_mapaddleft_cardqtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_addleft_validqtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_mapaddleft_validqtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_mapaddleft_lengthqtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_disjoint_unionqtvc"
  "verifythis_2018_le_rouge_et_le_noir_1_ColoredTiles_enumqtvc"
