session strpbrk_Why3_ide = NTP4Verif +
theories
  "strpbrk_Why3_ide_VCstrpbrk_exists_post_part1_goal2"
  "strpbrk_Why3_ide_VCstrpbrk_exists_post_4_part2_goal7"
  "strpbrk_Why3_ide_VCstrpbrk_exists_post_4_part3_goal8"
  "strpbrk_Why3_ide_VCstrpbrk_exists_post_4_part1_goal6"
  "strpbrk_Why3_ide_VCstrpbrk_not_exists_post_part1_goal10"
  "strpbrk_Why3_ide_VCstrpbrk_exists_post_part2_goal3"
  "strpbrk_Why3_ide_VCstrpbrk_exists_post_4_part4_goal9"
  "strpbrk_Why3_ide_VCstrpbrk_exists_post_2_part2_goal4"
  "strpbrk_Why3_ide_VCstrpbrk_call___strxspn_pre_3_goal1"
  "strpbrk_Why3_ide_VCstrpbrk_call___strxspn_pre_2_goal0"
  "strpbrk_Why3_ide_VCstrpbrk_exists_post_3_part2_goal5"
