session sub_1 = NTP4Verif +
theories
  "sub_1_Sub_1_wmpn_sub_1qtvc"
  "sub_1_Sub_1_wmpn_decrqtvc"
  "sub_1_Sub_1_wmpn_decr_1qtvc"
  "sub_1_Sub_1_wmpn_sub_1_in_placeqtvc"
