session _parse_integer_Why3_ide = NTP4Verif +
theories
  "X_parse_integer_Why3_ide_VC_parse_integer_call_div_u64_pre_goal0"
