session hex_to_bin_Why3_ide = NTP4Verif +
theories
  "hex_to_bin_Why3_ide_VChex_to_bin_fail_post_goal2"
  "hex_to_bin_Why3_ide_VChex_to_bin_to_digit_post_2_goal4"
  "hex_to_bin_Why3_ide_VChex_to_bin_assign_normal_part2_goal1"
  "hex_to_bin_Why3_ide_VChex_to_bin_assign_exit_goal0"
  "hex_to_bin_Why3_ide_VChex_to_bin_to_digit_post_goal3"
