session parse_x509_Name_Why3_ide = NTP4Verif +
theories
  "parse_x509_Name_Why3_ide_VCparse_x509_Name_assert_rte_unsigned_downcast_2_goal4"
  "parse_x509_Name_Why3_ide_VCparse_x509_Name_post_part10_goal1"
  "parse_x509_Name_Why3_ide_VCparse_x509_Name_loop_inv_established_goal3"
  "parse_x509_Name_Why3_ide_VCparse_x509_Name_loop_inv_preserved_goal2"
  "parse_x509_Name_Why3_ide_VCparse_x509_Name_loop_term_decrease_goal5"
  "parse_x509_Name_Why3_ide_VCparse_x509_Name_post_part09_goal0"
