session strsep_Why3_ide = NTP4Verif +
theories
  "strsep_Why3_ide_VCstrsep_found_post_5_part5_goal14"
  "strsep_Why3_ide_VCstrsep_disjoint_not_found_found_null_part2_goal2"
  "strsep_Why3_ide_VCstrsep_found_post_3_part1_goal6"
  "strsep_Why3_ide_VCstrsep_found_post_3_part2_goal7"
  "strsep_Why3_ide_VCstrsep_found_post_4_part3_goal9"
  "strsep_Why3_ide_VCstrsep_found_post_2_part1_goal4"
  "strsep_Why3_ide_VCstrsep_call_strpbrk_pre_2_goal3"
  "strsep_Why3_ide_VCstrsep_complete_not_found_found_null_goal0"
  "strsep_Why3_ide_VCstrsep_disjoint_not_found_found_null_part1_goal1"
  "strsep_Why3_ide_VCstrsep_found_post_2_part3_goal5"
  "strsep_Why3_ide_VCstrsep_found_post_5_part2_goal11"
  "strsep_Why3_ide_VCstrsep_found_post_5_part1_goal10"
  "strsep_Why3_ide_VCstrsep_found_post_5_part3_goal12"
  "strsep_Why3_ide_VCstrsep_found_post_5_part6_goal15"
  "strsep_Why3_ide_VCstrsep_found_post_3_part3_goal8"
  "strsep_Why3_ide_VCstrsep_found_post_5_part4_goal13"
