session StrictLowerBoundForce_Why3_ide = NTP4Verif +
theories
  "StrictLowerBoundForce_Why3_ide_VCStrictLowerBoundForce_post_goal0"
