session get_str = NTP4Verif +
theories
  "get_str_Get_str_wmpn_get_str_bitsqtvc"
  "get_str_Get_str_wmpn_limb_get_strqtvc"
  "get_str_Get_str_wmpn_get_str_otherqtvc"
  "get_str_Get_str_wmpn_get_strqtvc"
