session max_seq_Why3_ide = NTP4Verif +
theories
  "max_seq_Why3_ide_VCmax_seq_post_goal0"
  "max_seq_Why3_ide_VCmax_seq_post_2_goal1"
  "max_seq_Why3_ide_VCmax_seq_assert_rte_mem_access_goal2"
