session fflush_Why3_ide = NTP4Verif +
theories
  "fflush_Why3_ide_VCfflush_assign_exit_part10_goal12"
  "fflush_Why3_ide_VCfflush_assign_exit_part02_goal7"
  "fflush_Why3_ide_VCfflush_assign_exit_part11_goal13"
  "fflush_Why3_ide_VCfflush_assign_exit_part04_goal9"
  "fflush_Why3_ide_VCfflush_assign_exit_part09_goal11"
  "fflush_Why3_ide_VCfflush_assign_normal_part02_goal15"
  "fflush_Why3_ide_VCfflush_assign_normal_part03_goal16"
  "fflush_Why3_ide_VCfflush_assign_exit_part03_goal8"
  "fflush_Why3_ide_VCfflush_assign_normal_part04_goal17"
  "fflush_Why3_ide_VCfflush_loop_inv_2_preserved_part2_goal4"
  "fflush_Why3_ide_VCfflush_assign_exit_part05_goal10"
  "fflush_Why3_ide_VCfflush_loop_inv_established_goal2"
  "fflush_Why3_ide_VCfflush_loop_assign_part2_goal6"
  "fflush_Why3_ide_VCfflush_loop_inv_2_established_goal5"
  "fflush_Why3_ide_VCfflush_call___fflush_pre_goal19"
  "fflush_Why3_ide_VCfflush_loop_inv_preserved_part2_goal1"
  "fflush_Why3_ide_VCfflush_assign_exit_part12_goal14"
  "fflush_Why3_ide_VCfflush_loop_inv_2_preserved_part1_goal3"
  "fflush_Why3_ide_VCfflush_assign_normal_part05_goal18"
  "fflush_Why3_ide_VCfflush_loop_inv_preserved_part1_goal0"
