session parse_x509_cert_relaxed_Why3_ide = NTP4Verif +
theories
  "parse_x509_cert_relaxed_Why3_ide_VCparse_x509_cert_relaxed_post_part2_goal0"
  "parse_x509_cert_relaxed_Why3_ide_VCparse_x509_cert_relaxed_post_5_part2_goal2"
  "parse_x509_cert_relaxed_Why3_ide_VCparse_x509_cert_relaxed_post_3_part3_goal1"
