session base_info = NTP4Verif +
theories
  "base_info_BaseInfo_wmpn_base_power_of_two_pqtvc"
  "base_info_BaseInfo_wmpn_base_infoqtvc"
  "base_info_BaseInfo_pow_compatqtvc"
  "base_info_BaseInfo_wmpn_get_base_infoqtvc"
  "base_info_BaseInfo_wmpn_limb_size_in_base_2qtvc"
