session fread_Why3_ide = NTP4Verif +
theories
  "fread_Why3_ide_VCfread_call__fread_pre_2_part6_goal5"
  "fread_Why3_ide_VCfread_call__fread_pre_3_goal6"
  "fread_Why3_ide_VCfread_call__fread_pre_4_goal7"
  "fread_Why3_ide_VCfread_call__fread_pre_5_goal8"
  "fread_Why3_ide_VCfread_call__fread_pre_2_part5_goal4"
  "fread_Why3_ide_VCfread_call__fread_pre_2_part1_goal0"
  "fread_Why3_ide_VCfread_call__fread_pre_2_part3_goal2"
  "fread_Why3_ide_VCfread_call__fread_pre_2_part4_goal3"
  "fread_Why3_ide_VCfread_call__fread_pre_2_part2_goal1"
