session parse_Time_Why3_ide = NTP4Verif +
theories
  "parse_Time_Why3_ide_VCparse_Time_post_2_part3_goal0"
  "parse_Time_Why3_ide_VCparse_Time_post_2_part4_goal1"
  "parse_Time_Why3_ide_VCparse_Time_assert_rte_mem_access_goal2"
  "parse_Time_Why3_ide_VCparse_Time_assert_rte_mem_access_2_part1_goal3"
  "parse_Time_Why3_ide_VCparse_Time_assert_rte_mem_access_2_part2_goal4"
  "parse_Time_Why3_ide_VCparse_Time_assert_rte_mem_access_2_part3_goal5"
  "parse_Time_Why3_ide_VCparse_Time_call_parse_UTCTime_pre_11_goal6"
  "parse_Time_Why3_ide_VCparse_Time_call_parse_generalizedTime_pre_10_goal7"
