session fseek_Why3_ide = NTP4Verif +
theories
  "fseek_Why3_ide_VCfseek_assign_normal_part21_goal15"
  "fseek_Why3_ide_VCfseek_assign_normal_part20_goal14"
  "fseek_Why3_ide_VCfseek_assign_normal_part15_goal9"
  "fseek_Why3_ide_VCfseek_assign_normal_part29_goal19"
  "fseek_Why3_ide_VCfseek_assign_exit_part5_goal3"
  "fseek_Why3_ide_VCfseek_call_lseek_pre_part2_goal22"
  "fseek_Why3_ide_VCfseek_assign_normal_part02_goal4"
  "fseek_Why3_ide_VCfseek_call___fflush_pre_goal20"
  "fseek_Why3_ide_VCfseek_assign_exit_part3_goal1"
  "fseek_Why3_ide_VCfseek_assign_normal_part26_goal16"
  "fseek_Why3_ide_VCfseek_assign_normal_part03_goal5"
  "fseek_Why3_ide_VCfseek_assign_normal_part14_goal8"
  "fseek_Why3_ide_VCfseek_assign_normal_part28_goal18"
  "fseek_Why3_ide_VCfseek_assign_normal_part17_goal11"
  "fseek_Why3_ide_VCfseek_assign_normal_part19_goal13"
  "fseek_Why3_ide_VCfseek_assign_normal_part16_goal10"
  "fseek_Why3_ide_VCfseek_assign_normal_part27_goal17"
  "fseek_Why3_ide_VCfseek_assign_normal_part18_goal12"
  "fseek_Why3_ide_VCfseek_assign_normal_part04_goal6"
  "fseek_Why3_ide_VCfseek_assign_normal_part05_goal7"
  "fseek_Why3_ide_VCfseek_assign_exit_part2_goal0"
  "fseek_Why3_ide_VCfseek_call_lseek_pre_part3_goal23"
  "fseek_Why3_ide_VCfseek_call_lseek_pre_part1_goal21"
  "fseek_Why3_ide_VCfseek_assign_exit_part4_goal2"
  "fseek_Why3_ide_VCfseek_call_lseek_pre_part4_goal24"
