Property BridgeAndVehicles-PT-V80P50N50-UpperBounds-00
  "Automatically generated"
  is:
    bound("ATTENTE_A")
  end.
Property BridgeAndVehicles-PT-V80P50N50-UpperBounds-01
  "Automatically generated"
  is:
    bound("CAPACITE")
  end.
Property BridgeAndVehicles-PT-V80P50N50-UpperBounds-02
  "Automatically generated"
  is:
    bound("ROUTE_A")
  end.
Property BridgeAndVehicles-PT-V80P50N50-UpperBounds-03
  "Automatically generated"
  is:
    bound("NB_ATTENTE_B_0", "NB_ATTENTE_B_1", "NB_ATTENTE_B_2", "NB_ATTENTE_B_3", "NB_ATTENTE_B_4", "NB_ATTENTE_B_5", "NB_ATTENTE_B_6", "NB_ATTENTE_B_7", "NB_ATTENTE_B_8", "NB_ATTENTE_B_9", "NB_ATTENTE_B_10", "NB_ATTENTE_B_11", "NB_ATTENTE_B_12", "NB_ATTENTE_B_13", "NB_ATTENTE_B_14", "NB_ATTENTE_B_15", "NB_ATTENTE_B_16", "NB_ATTENTE_B_17", "NB_ATTENTE_B_18", "NB_ATTENTE_B_19", "NB_ATTENTE_B_20", "NB_ATTENTE_B_21", "NB_ATTENTE_B_22", "NB_ATTENTE_B_23", "NB_ATTENTE_B_24", "NB_ATTENTE_B_25", "NB_ATTENTE_B_26", "NB_ATTENTE_B_27", "NB_ATTENTE_B_28", "NB_ATTENTE_B_29", "NB_ATTENTE_B_30", "NB_ATTENTE_B_31", "NB_ATTENTE_B_32", "NB_ATTENTE_B_33", "NB_ATTENTE_B_34", "NB_ATTENTE_B_35", "NB_ATTENTE_B_36", "NB_ATTENTE_B_37", "NB_ATTENTE_B_38", "NB_ATTENTE_B_39", "NB_ATTENTE_B_40", "NB_ATTENTE_B_41", "NB_ATTENTE_B_42", "NB_ATTENTE_B_43", "NB_ATTENTE_B_44", "NB_ATTENTE_B_45", "NB_ATTENTE_B_46", "NB_ATTENTE_B_47", "NB_ATTENTE_B_48", "NB_ATTENTE_B_49", "NB_ATTENTE_B_50", "NB_ATTENTE_B_51", "NB_ATTENTE_B_52", "NB_ATTENTE_B_53", "NB_ATTENTE_B_54", "NB_ATTENTE_B_55", "NB_ATTENTE_B_56", "NB_ATTENTE_B_57", "NB_ATTENTE_B_58", "NB_ATTENTE_B_59", "NB_ATTENTE_B_60", "NB_ATTENTE_B_61", "NB_ATTENTE_B_62", "NB_ATTENTE_B_63", "NB_ATTENTE_B_64", "NB_ATTENTE_B_65", "NB_ATTENTE_B_66", "NB_ATTENTE_B_67", "NB_ATTENTE_B_68", "NB_ATTENTE_B_69", "NB_ATTENTE_B_70", "NB_ATTENTE_B_71", "NB_ATTENTE_B_72", "NB_ATTENTE_B_73", "NB_ATTENTE_B_74", "NB_ATTENTE_B_75", "NB_ATTENTE_B_76", "NB_ATTENTE_B_77", "NB_ATTENTE_B_78", "NB_ATTENTE_B_79", "NB_ATTENTE_B_80")
  end.
Property BridgeAndVehicles-PT-V80P50N50-UpperBounds-04
  "Automatically generated"
  is:
    bound("SORTI_B")
  end.
Property BridgeAndVehicles-PT-V80P50N50-UpperBounds-05
  "Automatically generated"
  is:
    bound("CAPACITE")
  end.
Property BridgeAndVehicles-PT-V80P50N50-UpperBounds-06
  "Automatically generated"
  is:
    bound("CHOIX_1", "CHOIX_2")
  end.
Property BridgeAndVehicles-PT-V80P50N50-UpperBounds-07
  "Automatically generated"
  is:
    bound("ATTENTE_A")
  end.
Property BridgeAndVehicles-PT-V80P50N50-UpperBounds-08
  "Automatically generated"
  is:
    bound("NB_ATTENTE_A_31")
  end.
Property BridgeAndVehicles-PT-V80P50N50-UpperBounds-09
  "Automatically generated"
  is:
    bound("NB_ATTENTE_A_21")
  end.
Property BridgeAndVehicles-PT-V80P50N50-UpperBounds-10
  "Automatically generated"
  is:
    bound("NB_ATTENTE_A_48")
  end.
Property BridgeAndVehicles-PT-V80P50N50-UpperBounds-11
  "Automatically generated"
  is:
    bound("NB_ATTENTE_B_3")
  end.
Property BridgeAndVehicles-PT-V80P50N50-UpperBounds-12
  "Automatically generated"
  is:
    bound("NB_ATTENTE_A_15")
  end.
Property BridgeAndVehicles-PT-V80P50N50-UpperBounds-13
  "Automatically generated"
  is:
    bound("NB_ATTENTE_B_32")
  end.
Property BridgeAndVehicles-PT-V80P50N50-UpperBounds-14
  "Automatically generated"
  is:
    bound("NB_ATTENTE_A_59")
  end.
Property BridgeAndVehicles-PT-V80P50N50-UpperBounds-15
  "Automatically generated"
  is:
    bound("COMPTEUR_40")
  end.
