session div_u64_rem_0_Why3_ide = NTP4Verif +
theories
  "div_u64_rem_0_Why3_ide_VCdiv_u64_rem_0_post_goal0"
  "div_u64_rem_0_Why3_ide_VCdiv_u64_rem_0_post_2_goal1"
