Property BridgeAndVehicles-PT-V80P50N50-CTLCardinality-00
   "Automatically generated by Citili v2021"
   is:
      A (((A (F ((E (G (E (F (tokens-count("SORTI_B", "COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20", "COMPTEUR_21", "COMPTEUR_22", "COMPTEUR_23", "COMPTEUR_24", "COMPTEUR_25", "COMPTEUR_26", "COMPTEUR_27", "COMPTEUR_28", "COMPTEUR_29", "COMPTEUR_30", "COMPTEUR_31", "COMPTEUR_32", "COMPTEUR_33", "COMPTEUR_34", "COMPTEUR_35", "COMPTEUR_36", "COMPTEUR_37", "COMPTEUR_38", "COMPTEUR_39", "COMPTEUR_40", "COMPTEUR_41", "COMPTEUR_42", "COMPTEUR_43", "COMPTEUR_44", "COMPTEUR_45", "COMPTEUR_46", "COMPTEUR_47", "COMPTEUR_48", "COMPTEUR_49", "COMPTEUR_50", "NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80", "CAPACITE", "CHOIX_1", "CHOIX_2", "ATTENTE_B") <= tokens-count("CHOIX_1", "CHOIX_2", "ROUTE_B", "SORTI_A")))))) | (A (F (! (tokens-count("VIDANGE_1", "VIDANGE_2", "CAPACITE", "SUR_PONT_A", "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", "ROUTE_B") <= 15))))))) & ((E (G (A (G ((14 <= tokens-count("SORTI_A", "ROUTE_A", "CONTROLEUR_1", "CONTROLEUR_2", "NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80", "SUR_PONT_A", "SORTI_B", "ROUTE_B")) & (tokens-count("ROUTE_B", "CAPACITE", "SUR_PONT_B", "SORTI_A", "CONTROLEUR_1", "CONTROLEUR_2", "NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80", "VIDANGE_1", "VIDANGE_2") <= tokens-count("CHOIX_1", "CHOIX_2", "COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20", "COMPTEUR_21", "COMPTEUR_22", "COMPTEUR_23", "COMPTEUR_24", "COMPTEUR_25", "COMPTEUR_26", "COMPTEUR_27", "COMPTEUR_28", "COMPTEUR_29", "COMPTEUR_30", "COMPTEUR_31", "COMPTEUR_32", "COMPTEUR_33", "COMPTEUR_34", "COMPTEUR_35", "COMPTEUR_36", "COMPTEUR_37", "COMPTEUR_38", "COMPTEUR_39", "COMPTEUR_40", "COMPTEUR_41", "COMPTEUR_42", "COMPTEUR_43", "COMPTEUR_44", "COMPTEUR_45", "COMPTEUR_46", "COMPTEUR_47", "COMPTEUR_48", "COMPTEUR_49", "COMPTEUR_50", "SUR_PONT_A", "ATTENTE_B", "NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80"))))))) | ((E (X (! (! (tokens-count("NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80", "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", "ATTENTE_A", "ATTENTE_B", "SORTI_B", "ROUTE_B", "CHOIX_1", "CHOIX_2", "CONTROLEUR_1", "CONTROLEUR_2", "SUR_PONT_A", "SORTI_A") <= tokens-count("ATTENTE_A", "COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20", "COMPTEUR_21", "COMPTEUR_22", "COMPTEUR_23", "COMPTEUR_24", "COMPTEUR_25", "COMPTEUR_26", "COMPTEUR_27", "COMPTEUR_28", "COMPTEUR_29", "COMPTEUR_30", "COMPTEUR_31", "COMPTEUR_32", "COMPTEUR_33", "COMPTEUR_34", "COMPTEUR_35", "COMPTEUR_36", "COMPTEUR_37", "COMPTEUR_38", "COMPTEUR_39", "COMPTEUR_40", "COMPTEUR_41", "COMPTEUR_42", "COMPTEUR_43", "COMPTEUR_44", "COMPTEUR_45", "COMPTEUR_46", "COMPTEUR_47", "COMPTEUR_48", "COMPTEUR_49", "COMPTEUR_50", "CONTROLEUR_1", "CONTROLEUR_2", "ROUTE_B", "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", "ROUTE_A")))))) & ((! (E (G (tokens-count("ATTENTE_B", "ROUTE_B") <= 22)))) | ((tokens-count("ATTENTE_B", "ATTENTE_A", "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", "VIDANGE_1", "VIDANGE_2", "ROUTE_B", "NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80", "SORTI_B") <= 13) | (tokens-count("ATTENTE_B", "CONTROLEUR_1", "CONTROLEUR_2", "ROUTE_B", "SUR_PONT_B") <= tokens-count("CONTROLEUR_1", "CONTROLEUR_2", "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", "ATTENTE_A", "CAPACITE", "COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20", "COMPTEUR_21", "COMPTEUR_22", "COMPTEUR_23", "COMPTEUR_24", "COMPTEUR_25", "COMPTEUR_26", "COMPTEUR_27", "COMPTEUR_28", "COMPTEUR_29", "COMPTEUR_30", "COMPTEUR_31", "COMPTEUR_32", "COMPTEUR_33", "COMPTEUR_34", "COMPTEUR_35", "COMPTEUR_36", "COMPTEUR_37", "COMPTEUR_38", "COMPTEUR_39", "COMPTEUR_40", "COMPTEUR_41", "COMPTEUR_42", "COMPTEUR_43", "COMPTEUR_44", "COMPTEUR_45", "COMPTEUR_46", "COMPTEUR_47", "COMPTEUR_48", "COMPTEUR_49", "COMPTEUR_50", "ROUTE_B", "CHOIX_1", "CHOIX_2"))))))) U (tokens-count("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", "ROUTE_B", "SUR_PONT_B", "ATTENTE_B", "CAPACITE", "COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20", "COMPTEUR_21", "COMPTEUR_22", "COMPTEUR_23", "COMPTEUR_24", "COMPTEUR_25", "COMPTEUR_26", "COMPTEUR_27", "COMPTEUR_28", "COMPTEUR_29", "COMPTEUR_30", "COMPTEUR_31", "COMPTEUR_32", "COMPTEUR_33", "COMPTEUR_34", "COMPTEUR_35", "COMPTEUR_36", "COMPTEUR_37", "COMPTEUR_38", "COMPTEUR_39", "COMPTEUR_40", "COMPTEUR_41", "COMPTEUR_42", "COMPTEUR_43", "COMPTEUR_44", "COMPTEUR_45", "COMPTEUR_46", "COMPTEUR_47", "COMPTEUR_48", "COMPTEUR_49", "COMPTEUR_50", "SORTI_A", "ATTENTE_A", "SUR_PONT_A", "NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80") <= 25))
   end.
Property BridgeAndVehicles-PT-V80P50N50-CTLCardinality-01
   "Automatically generated by Citili v2021"
   is:
      E (F (((E (X (! (((tokens-count("ATTENTE_A", "VIDANGE_1", "VIDANGE_2", "CONTROLEUR_1", "CONTROLEUR_2", "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") <= 18) | (tokens-count("ATTENTE_A", "ROUTE_B", "CAPACITE", "SORTI_A", "SUR_PONT_B", "ATTENTE_B", "CONTROLEUR_1", "CONTROLEUR_2", "CHOIX_1", "CHOIX_2") <= tokens-count("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", "SORTI_A", "COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20", "COMPTEUR_21", "COMPTEUR_22", "COMPTEUR_23", "COMPTEUR_24", "COMPTEUR_25", "COMPTEUR_26", "COMPTEUR_27", "COMPTEUR_28", "COMPTEUR_29", "COMPTEUR_30", "COMPTEUR_31", "COMPTEUR_32", "COMPTEUR_33", "COMPTEUR_34", "COMPTEUR_35", "COMPTEUR_36", "COMPTEUR_37", "COMPTEUR_38", "COMPTEUR_39", "COMPTEUR_40", "COMPTEUR_41", "COMPTEUR_42", "COMPTEUR_43", "COMPTEUR_44", "COMPTEUR_45", "COMPTEUR_46", "COMPTEUR_47", "COMPTEUR_48", "COMPTEUR_49", "COMPTEUR_50", "NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80", "ATTENTE_A", "ROUTE_B", "SUR_PONT_B", "ATTENTE_B", "ROUTE_A"))) | (tokens-count("COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20", "COMPTEUR_21", "COMPTEUR_22", "COMPTEUR_23", "COMPTEUR_24", "COMPTEUR_25", "COMPTEUR_26", "COMPTEUR_27", "COMPTEUR_28", "COMPTEUR_29", "COMPTEUR_30", "COMPTEUR_31", "COMPTEUR_32", "COMPTEUR_33", "COMPTEUR_34", "COMPTEUR_35", "COMPTEUR_36", "COMPTEUR_37", "COMPTEUR_38", "COMPTEUR_39", "COMPTEUR_40", "COMPTEUR_41", "COMPTEUR_42", "COMPTEUR_43", "COMPTEUR_44", "COMPTEUR_45", "COMPTEUR_46", "COMPTEUR_47", "COMPTEUR_48", "COMPTEUR_49", "COMPTEUR_50", "ATTENTE_A", "ROUTE_A", "SUR_PONT_B", "NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80", "ROUTE_B", "ATTENTE_B", "CHOIX_1", "CHOIX_2", "SUR_PONT_A", "CAPACITE") <= tokens-count("ATTENTE_A", "VIDANGE_1", "VIDANGE_2", "ROUTE_B", "ATTENTE_B", "CAPACITE", "SORTI_A")))))) & (! ((((E (X (tokens-count("ATTENTE_B", "SUR_PONT_A", "ROUTE_A", "SORTI_A", "CHOIX_1", "CHOIX_2", "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", "ROUTE_B", "SUR_PONT_B") <= tokens-count("ROUTE_B", "SORTI_B", "SUR_PONT_B", "ROUTE_A", "SUR_PONT_A", "CAPACITE", "SORTI_A")))) | (! (tokens-count("VIDANGE_1", "VIDANGE_2", "ROUTE_B", "COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20", "COMPTEUR_21", "COMPTEUR_22", "COMPTEUR_23", "COMPTEUR_24", "COMPTEUR_25", "COMPTEUR_26", "COMPTEUR_27", "COMPTEUR_28", "COMPTEUR_29", "COMPTEUR_30", "COMPTEUR_31", "COMPTEUR_32", "COMPTEUR_33", "COMPTEUR_34", "COMPTEUR_35", "COMPTEUR_36", "COMPTEUR_37", "COMPTEUR_38", "COMPTEUR_39", "COMPTEUR_40", "COMPTEUR_41", "COMPTEUR_42", "COMPTEUR_43", "COMPTEUR_44", "COMPTEUR_45", "COMPTEUR_46", "COMPTEUR_47", "COMPTEUR_48", "COMPTEUR_49", "COMPTEUR_50", "ROUTE_A", "SUR_PONT_A", "NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80", "SORTI_A", "SUR_PONT_B", "SORTI_B") <= tokens-count("SORTI_A", "ATTENTE_B", "CAPACITE", "SUR_PONT_B", "SORTI_B", "ATTENTE_A", "CHOIX_1", "CHOIX_2")))) | (42 <= tokens-count("ATTENTE_A", "SORTI_B", "VIDANGE_1", "VIDANGE_2", "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"))) & ((E (X (tokens-count("SUR_PONT_A", "SORTI_A", "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", "COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20", "COMPTEUR_21", "COMPTEUR_22", "COMPTEUR_23", "COMPTEUR_24", "COMPTEUR_25", "COMPTEUR_26", "COMPTEUR_27", "COMPTEUR_28", "COMPTEUR_29", "COMPTEUR_30", "COMPTEUR_31", "COMPTEUR_32", "COMPTEUR_33", "COMPTEUR_34", "COMPTEUR_35", "COMPTEUR_36", "COMPTEUR_37", "COMPTEUR_38", "COMPTEUR_39", "COMPTEUR_40", "COMPTEUR_41", "COMPTEUR_42", "COMPTEUR_43", "COMPTEUR_44", "COMPTEUR_45", "COMPTEUR_46", "COMPTEUR_47", "COMPTEUR_48", "COMPTEUR_49", "COMPTEUR_50", "NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80", "ROUTE_B", "CONTROLEUR_1", "CONTROLEUR_2") <= tokens-count("CHOIX_1", "CHOIX_2", "SORTI_B", "CAPACITE", "COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20", "COMPTEUR_21", "COMPTEUR_22", "COMPTEUR_23", "COMPTEUR_24", "COMPTEUR_25", "COMPTEUR_26", "COMPTEUR_27", "COMPTEUR_28", "COMPTEUR_29", "COMPTEUR_30", "COMPTEUR_31", "COMPTEUR_32", "COMPTEUR_33", "COMPTEUR_34", "COMPTEUR_35", "COMPTEUR_36", "COMPTEUR_37", "COMPTEUR_38", "COMPTEUR_39", "COMPTEUR_40", "COMPTEUR_41", "COMPTEUR_42", "COMPTEUR_43", "COMPTEUR_44", "COMPTEUR_45", "COMPTEUR_46", "COMPTEUR_47", "COMPTEUR_48", "COMPTEUR_49", "COMPTEUR_50", "NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80", "SORTI_A", "ROUTE_B", "SUR_PONT_A", "CONTROLEUR_1", "CONTROLEUR_2")))) | (tokens-count("COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20", "COMPTEUR_21", "COMPTEUR_22", "COMPTEUR_23", "COMPTEUR_24", "COMPTEUR_25", "COMPTEUR_26", "COMPTEUR_27", "COMPTEUR_28", "COMPTEUR_29", "COMPTEUR_30", "COMPTEUR_31", "COMPTEUR_32", "COMPTEUR_33", "COMPTEUR_34", "COMPTEUR_35", "COMPTEUR_36", "COMPTEUR_37", "COMPTEUR_38", "COMPTEUR_39", "COMPTEUR_40", "COMPTEUR_41", "COMPTEUR_42", "COMPTEUR_43", "COMPTEUR_44", "COMPTEUR_45", "COMPTEUR_46", "COMPTEUR_47", "COMPTEUR_48", "COMPTEUR_49", "COMPTEUR_50", "SORTI_A", "NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80", "SUR_PONT_B", "CAPACITE", "ROUTE_B", "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", "CONTROLEUR_1", "CONTROLEUR_2") <= tokens-count("VIDANGE_1", "VIDANGE_2", "ATTENTE_A", "NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80", "SUR_PONT_A", "SUR_PONT_B", "COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20", "COMPTEUR_21", "COMPTEUR_22", "COMPTEUR_23", "COMPTEUR_24", "COMPTEUR_25", "COMPTEUR_26", "COMPTEUR_27", "COMPTEUR_28", "COMPTEUR_29", "COMPTEUR_30", "COMPTEUR_31", "COMPTEUR_32", "COMPTEUR_33", "COMPTEUR_34", "COMPTEUR_35", "COMPTEUR_36", "COMPTEUR_37", "COMPTEUR_38", "COMPTEUR_39", "COMPTEUR_40", "COMPTEUR_41", "COMPTEUR_42", "COMPTEUR_43", "COMPTEUR_44", "COMPTEUR_45", "COMPTEUR_46", "COMPTEUR_47", "COMPTEUR_48", "COMPTEUR_49", "COMPTEUR_50", "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")))))) & (E (F ((E (G (13 <= tokens-count("ROUTE_A", "ATTENTE_A", "SORTI_A", "SUR_PONT_B", "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", "ATTENTE_B", "NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80", "CAPACITE", "VIDANGE_1", "VIDANGE_2", "ROUTE_B")))) & (E (G (A (F (tokens-count("ROUTE_A") <= 27))))))))))
   end.
Property BridgeAndVehicles-PT-V80P50N50-CTLCardinality-02
   "Automatically generated by Citili v2021"
   is:
      E (G (! (! (A ((tokens-count("SORTI_A") <= 20) U (tokens-count("CHOIX_1", "CHOIX_2", "SUR_PONT_B", "CAPACITE", "SORTI_B", "ATTENTE_A") <= tokens-count("CHOIX_1", "CHOIX_2", "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", "VIDANGE_1", "VIDANGE_2", "CAPACITE", "SUR_PONT_B", "ROUTE_A", "ROUTE_B")))))))
   end.
Property BridgeAndVehicles-PT-V80P50N50-CTLCardinality-03
   "Automatically generated by Citili v2021"
   is:
      A (G (A (X (((12 <= tokens-count("CHOIX_1", "CHOIX_2", "SUR_PONT_A", "CONTROLEUR_1", "CONTROLEUR_2", "ATTENTE_B", "CAPACITE", "SUR_PONT_B", "VIDANGE_1", "VIDANGE_2")) | (A (F ((tokens-count("CHOIX_1", "CHOIX_2", "ATTENTE_A") <= tokens-count("ATTENTE_A", "SUR_PONT_B", "CONTROLEUR_1", "CONTROLEUR_2", "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", "SORTI_B", "ROUTE_A", "SUR_PONT_A", "COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20", "COMPTEUR_21", "COMPTEUR_22", "COMPTEUR_23", "COMPTEUR_24", "COMPTEUR_25", "COMPTEUR_26", "COMPTEUR_27", "COMPTEUR_28", "COMPTEUR_29", "COMPTEUR_30", "COMPTEUR_31", "COMPTEUR_32", "COMPTEUR_33", "COMPTEUR_34", "COMPTEUR_35", "COMPTEUR_36", "COMPTEUR_37", "COMPTEUR_38", "COMPTEUR_39", "COMPTEUR_40", "COMPTEUR_41", "COMPTEUR_42", "COMPTEUR_43", "COMPTEUR_44", "COMPTEUR_45", "COMPTEUR_46", "COMPTEUR_47", "COMPTEUR_48", "COMPTEUR_49", "COMPTEUR_50", "SORTI_A")) | (50 <= tokens-count("SORTI_A", "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", "SUR_PONT_A")))))) | (A (X (E (G (tokens-count("CAPACITE") <= tokens-count("ATTENTE_A", "CHOIX_1", "CHOIX_2", "ROUTE_A", "CAPACITE"))))))))))
   end.
Property BridgeAndVehicles-PT-V80P50N50-CTLCardinality-04
   "Automatically generated by Citili v2021"
   is:
      A (G (A ((A (F (((A (G (21 <= tokens-count("VIDANGE_1", "VIDANGE_2")))) & (! (tokens-count("VIDANGE_1", "VIDANGE_2", "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", "NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80", "ROUTE_B") <= tokens-count("SORTI_A", "SUR_PONT_A")))) & (E (G (tokens-count("COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20", "COMPTEUR_21", "COMPTEUR_22", "COMPTEUR_23", "COMPTEUR_24", "COMPTEUR_25", "COMPTEUR_26", "COMPTEUR_27", "COMPTEUR_28", "COMPTEUR_29", "COMPTEUR_30", "COMPTEUR_31", "COMPTEUR_32", "COMPTEUR_33", "COMPTEUR_34", "COMPTEUR_35", "COMPTEUR_36", "COMPTEUR_37", "COMPTEUR_38", "COMPTEUR_39", "COMPTEUR_40", "COMPTEUR_41", "COMPTEUR_42", "COMPTEUR_43", "COMPTEUR_44", "COMPTEUR_45", "COMPTEUR_46", "COMPTEUR_47", "COMPTEUR_48", "COMPTEUR_49", "COMPTEUR_50", "NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80", "VIDANGE_1", "VIDANGE_2", "SORTI_B", "ROUTE_B", "SUR_PONT_B") <= 48)))))) U (! (A (X (E (G (tokens-count("SUR_PONT_A", "CAPACITE", "SORTI_B", "CHOIX_1", "CHOIX_2", "ATTENTE_B") <= 18)))))))))
   end.
Property BridgeAndVehicles-PT-V80P50N50-CTLCardinality-05
   "Automatically generated by Citili v2021"
   is:
      ! (E (G (tokens-count("SORTI_A", "SUR_PONT_A", "CONTROLEUR_1", "CONTROLEUR_2") <= 35)))
   end.
Property BridgeAndVehicles-PT-V80P50N50-CTLCardinality-06
   "Automatically generated by Citili v2021"
   is:
      (E (G (A (X (E (X (((tokens-count("SORTI_A", "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", "SUR_PONT_B", "VIDANGE_1", "VIDANGE_2", "SORTI_B", "COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20", "COMPTEUR_21", "COMPTEUR_22", "COMPTEUR_23", "COMPTEUR_24", "COMPTEUR_25", "COMPTEUR_26", "COMPTEUR_27", "COMPTEUR_28", "COMPTEUR_29", "COMPTEUR_30", "COMPTEUR_31", "COMPTEUR_32", "COMPTEUR_33", "COMPTEUR_34", "COMPTEUR_35", "COMPTEUR_36", "COMPTEUR_37", "COMPTEUR_38", "COMPTEUR_39", "COMPTEUR_40", "COMPTEUR_41", "COMPTEUR_42", "COMPTEUR_43", "COMPTEUR_44", "COMPTEUR_45", "COMPTEUR_46", "COMPTEUR_47", "COMPTEUR_48", "COMPTEUR_49", "COMPTEUR_50", "ATTENTE_B", "CHOIX_1", "CHOIX_2", "NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80") <= 31) | (tokens-count("CAPACITE", "NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80", "SUR_PONT_A") <= 17)) | ((tokens-count("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", "ROUTE_A", "CHOIX_1", "CHOIX_2", "CONTROLEUR_1", "CONTROLEUR_2", "CAPACITE", "NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80", "COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20", "COMPTEUR_21", "COMPTEUR_22", "COMPTEUR_23", "COMPTEUR_24", "COMPTEUR_25", "COMPTEUR_26", "COMPTEUR_27", "COMPTEUR_28", "COMPTEUR_29", "COMPTEUR_30", "COMPTEUR_31", "COMPTEUR_32", "COMPTEUR_33", "COMPTEUR_34", "COMPTEUR_35", "COMPTEUR_36", "COMPTEUR_37", "COMPTEUR_38", "COMPTEUR_39", "COMPTEUR_40", "COMPTEUR_41", "COMPTEUR_42", "COMPTEUR_43", "COMPTEUR_44", "COMPTEUR_45", "COMPTEUR_46", "COMPTEUR_47", "COMPTEUR_48", "COMPTEUR_49", "COMPTEUR_50") <= 16) | (19 <= tokens-count("SORTI_B", "CAPACITE", "SUR_PONT_A")))))))))) | (! (A (X ((E (F (! (A (G (tokens-count("COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20", "COMPTEUR_21", "COMPTEUR_22", "COMPTEUR_23", "COMPTEUR_24", "COMPTEUR_25", "COMPTEUR_26", "COMPTEUR_27", "COMPTEUR_28", "COMPTEUR_29", "COMPTEUR_30", "COMPTEUR_31", "COMPTEUR_32", "COMPTEUR_33", "COMPTEUR_34", "COMPTEUR_35", "COMPTEUR_36", "COMPTEUR_37", "COMPTEUR_38", "COMPTEUR_39", "COMPTEUR_40", "COMPTEUR_41", "COMPTEUR_42", "COMPTEUR_43", "COMPTEUR_44", "COMPTEUR_45", "COMPTEUR_46", "COMPTEUR_47", "COMPTEUR_48", "COMPTEUR_49", "COMPTEUR_50", "SUR_PONT_B", "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", "CHOIX_1", "CHOIX_2", "SUR_PONT_A", "ATTENTE_A", "NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80", "ROUTE_B", "SORTI_B") <= tokens-count("ATTENTE_B", "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", "CHOIX_1", "CHOIX_2", "SORTI_B", "CAPACITE", "COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20", "COMPTEUR_21", "COMPTEUR_22", "COMPTEUR_23", "COMPTEUR_24", "COMPTEUR_25", "COMPTEUR_26", "COMPTEUR_27", "COMPTEUR_28", "COMPTEUR_29", "COMPTEUR_30", "COMPTEUR_31", "COMPTEUR_32", "COMPTEUR_33", "COMPTEUR_34", "COMPTEUR_35", "COMPTEUR_36", "COMPTEUR_37", "COMPTEUR_38", "COMPTEUR_39", "COMPTEUR_40", "COMPTEUR_41", "COMPTEUR_42", "COMPTEUR_43", "COMPTEUR_44", "COMPTEUR_45", "COMPTEUR_46", "COMPTEUR_47", "COMPTEUR_48", "COMPTEUR_49", "COMPTEUR_50", "ROUTE_A"))))))) & ((E (((tokens-count("VIDANGE_1", "VIDANGE_2", "ATTENTE_B", "SORTI_A", "CONTROLEUR_1", "CONTROLEUR_2", "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", "SUR_PONT_B", "COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20", "COMPTEUR_21", "COMPTEUR_22", "COMPTEUR_23", "COMPTEUR_24", "COMPTEUR_25", "COMPTEUR_26", "COMPTEUR_27", "COMPTEUR_28", "COMPTEUR_29", "COMPTEUR_30", "COMPTEUR_31", "COMPTEUR_32", "COMPTEUR_33", "COMPTEUR_34", "COMPTEUR_35", "COMPTEUR_36", "COMPTEUR_37", "COMPTEUR_38", "COMPTEUR_39", "COMPTEUR_40", "COMPTEUR_41", "COMPTEUR_42", "COMPTEUR_43", "COMPTEUR_44", "COMPTEUR_45", "COMPTEUR_46", "COMPTEUR_47", "COMPTEUR_48", "COMPTEUR_49", "COMPTEUR_50") <= tokens-count("SUR_PONT_A", "COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20", "COMPTEUR_21", "COMPTEUR_22", "COMPTEUR_23", "COMPTEUR_24", "COMPTEUR_25", "COMPTEUR_26", "COMPTEUR_27", "COMPTEUR_28", "COMPTEUR_29", "COMPTEUR_30", "COMPTEUR_31", "COMPTEUR_32", "COMPTEUR_33", "COMPTEUR_34", "COMPTEUR_35", "COMPTEUR_36", "COMPTEUR_37", "COMPTEUR_38", "COMPTEUR_39", "COMPTEUR_40", "COMPTEUR_41", "COMPTEUR_42", "COMPTEUR_43", "COMPTEUR_44", "COMPTEUR_45", "COMPTEUR_46", "COMPTEUR_47", "COMPTEUR_48", "COMPTEUR_49", "COMPTEUR_50", "CHOIX_1", "CHOIX_2", "CAPACITE", "VIDANGE_1", "VIDANGE_2", "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", "CONTROLEUR_1", "CONTROLEUR_2", "ATTENTE_A", "ROUTE_A")) & (27 <= tokens-count("ROUTE_A", "CAPACITE", "SORTI_B"))) U (tokens-count("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", "SUR_PONT_A", "ROUTE_B", "CONTROLEUR_1", "CONTROLEUR_2") <= tokens-count("ROUTE_A", "CHOIX_1", "CHOIX_2", "SORTI_A", "VIDANGE_1", "VIDANGE_2", "NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80", "SORTI_B", "ATTENTE_A", "COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20", "COMPTEUR_21", "COMPTEUR_22", "COMPTEUR_23", "COMPTEUR_24", "COMPTEUR_25", "COMPTEUR_26", "COMPTEUR_27", "COMPTEUR_28", "COMPTEUR_29", "COMPTEUR_30", "COMPTEUR_31", "COMPTEUR_32", "COMPTEUR_33", "COMPTEUR_34", "COMPTEUR_35", "COMPTEUR_36", "COMPTEUR_37", "COMPTEUR_38", "COMPTEUR_39", "COMPTEUR_40", "COMPTEUR_41", "COMPTEUR_42", "COMPTEUR_43", "COMPTEUR_44", "COMPTEUR_45", "COMPTEUR_46", "COMPTEUR_47", "COMPTEUR_48", "COMPTEUR_49", "COMPTEUR_50", "ROUTE_B")))) | (tokens-count("NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80") <= 37))))))
   end.
Property BridgeAndVehicles-PT-V80P50N50-CTLCardinality-07
   "Automatically generated by Citili v2021"
   is:
      E (G (32 <= tokens-count("VIDANGE_1", "VIDANGE_2", "ROUTE_B", "CHOIX_1", "CHOIX_2", "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", "ATTENTE_B", "CAPACITE", "CONTROLEUR_1", "CONTROLEUR_2", "ATTENTE_A")))
   end.
Property BridgeAndVehicles-PT-V80P50N50-CTLCardinality-08
   "Automatically generated by Citili v2021"
   is:
      E (X ((A ((A ((((tokens-count("NB_ATTENTE_B_46") <= tokens-count("NB_ATTENTE_B_40", "NB_ATTENTE_B_53", "NB_ATTENTE_A_1", "NB_ATTENTE_B_66")) | (tokens-count("NB_ATTENTE_B_1", "NB_ATTENTE_B_57", "NB_ATTENTE_B_37", "COMPTEUR_23") <= 41)) & ((tokens-count("NB_ATTENTE_B_56", "COMPTEUR_42", "CAPACITE", "NB_ATTENTE_B_72", "COMPTEUR_24", "NB_ATTENTE_A_11", "NB_ATTENTE_B_76", "NB_ATTENTE_B_45", "ROUTE_B", "COMPTEUR_23") <= 5) & (4 <= tokens-count("VIDANGE_2", "ROUTE_A", "NB_ATTENTE_A_40", "COMPTEUR_47", "NB_ATTENTE_B_19", "NB_ATTENTE_A_28", "NB_ATTENTE_B_9", "COMPTEUR_9", "COMPTEUR_44")))) U (! ((10 <= tokens-count("NB_ATTENTE_A_31", "NB_ATTENTE_A_40", "COMPTEUR_42", "NB_ATTENTE_A_63", "NB_ATTENTE_A_62", "NB_ATTENTE_A_53", "COMPTEUR_1", "COMPTEUR_44", "CAPACITE", "COMPTEUR_48")) | (tokens-count("NB_ATTENTE_A_51", "NB_ATTENTE_A_76", "NB_ATTENTE_B_31", "NB_ATTENTE_A_19", "NB_ATTENTE_B_58", "NB_ATTENTE_A_6", "NB_ATTENTE_A_67", "ATTENTE_A", "NB_ATTENTE_B_48", "NB_ATTENTE_A_9") <= 9))))) U (E (G ((! (18 <= tokens-count("NB_ATTENTE_A_43"))) & ((tokens-count("NB_ATTENTE_A_77", "NB_ATTENTE_B_51", "NB_ATTENTE_A_74", "NB_ATTENTE_B_58", "NB_ATTENTE_A_1", "NB_ATTENTE_A_61") <= 29) | (tokens-count("VIDANGE_2", "NB_ATTENTE_A_70", "NB_ATTENTE_B_10", "NB_ATTENTE_A_38", "NB_ATTENTE_A_23", "NB_ATTENTE_A_26", "NB_ATTENTE_A_11", "NB_ATTENTE_B_59") <= 50))))))) & (A (F (A ((E (F (20 <= tokens-count("NB_ATTENTE_B_27", "NB_ATTENTE_B_53", "COMPTEUR_13", "CAPACITE", "NB_ATTENTE_A_38", "NB_ATTENTE_A_75", "NB_ATTENTE_B_72", "COMPTEUR_39", "NB_ATTENTE_B_54")))) U (((tokens-count("ATTENTE_A", "COMPTEUR_30", "COMPTEUR_12", "SUR_PONT_A", "NB_ATTENTE_B_35", "NB_ATTENTE_B_41") <= 5) & (tokens-count("NB_ATTENTE_A_31", "COMPTEUR_5", "NB_ATTENTE_B_78", "NB_ATTENTE_A_0", "NB_ATTENTE_A_47", "NB_ATTENTE_B_16") <= tokens-count("NB_ATTENTE_B_53"))) | (E (F (tokens-count("NB_ATTENTE_B_44", "NB_ATTENTE_A_64", "NB_ATTENTE_B_14", "COMPTEUR_23", "NB_ATTENTE_A_2", "VIDANGE_2", "NB_ATTENTE_A_44", "COMPTEUR_14") <= tokens-count("NB_ATTENTE_A_44", "NB_ATTENTE_A_55", "NB_ATTENTE_B_64", "NB_ATTENTE_B_10", "ROUTE_A", "NB_ATTENTE_A_32", "NB_ATTENTE_B_7")))))))))))
   end.
Property BridgeAndVehicles-PT-V80P50N50-CTLCardinality-09
   "Automatically generated by Citili v2021"
   is:
      E (X (! (A (((34 <= tokens-count("NB_ATTENTE_A_33", "NB_ATTENTE_B_17", "NB_ATTENTE_A_63")) | (! (50 <= tokens-count("NB_ATTENTE_A_73", "NB_ATTENTE_A_58", "NB_ATTENTE_A_77", "NB_ATTENTE_A_5", "COMPTEUR_2", "NB_ATTENTE_A_25")))) U (! (tokens-count("NB_ATTENTE_B_50", "NB_ATTENTE_A_55", "COMPTEUR_38", "NB_ATTENTE_A_33", "COMPTEUR_44", "NB_ATTENTE_B_72", "NB_ATTENTE_A_51") <= tokens-count("CHOIX_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_68", "NB_ATTENTE_B_45", "NB_ATTENTE_B_9", "NB_ATTENTE_B_14", "NB_ATTENTE_B_3", "NB_ATTENTE_A_36")))))))
   end.
Property BridgeAndVehicles-PT-V80P50N50-CTLCardinality-10
   "Automatically generated by Citili v2021"
   is:
      (A (G (E (F (E (G (A (G (38 <= tokens-count("NB_ATTENTE_B_13", "NB_ATTENTE_B_27", "COMPTEUR_50", "COMPTEUR_44", "COMPTEUR_16", "NB_ATTENTE_B_61", "NB_ATTENTE_B_80", "COMPTEUR_18", "COMPTEUR_24")))))))))) & ((A ((! (A (X (tokens-count("NB_ATTENTE_B_19", "NB_ATTENTE_B_43") <= 32)))) U ((tokens-count("NB_ATTENTE_B_53", "COMPTEUR_19") <= tokens-count("NB_ATTENTE_B_66", "COMPTEUR_38", "NB_ATTENTE_B_12", "NB_ATTENTE_A_45", "NB_ATTENTE_B_33", "NB_ATTENTE_A_79", "COMPTEUR_27", "COMPTEUR_3")) & (! ((! (! (6 <= tokens-count("COMPTEUR_5", "NB_ATTENTE_B_47", "NB_ATTENTE_A_45")))) | ((14 <= tokens-count("NB_ATTENTE_B_72", "NB_ATTENTE_B_27", "NB_ATTENTE_B_69", "NB_ATTENTE_B_45", "COMPTEUR_6", "NB_ATTENTE_A_11", "NB_ATTENTE_B_42", "NB_ATTENTE_B_1")) & (tokens-count("NB_ATTENTE_B_70", "ATTENTE_B", "NB_ATTENTE_B_59", "NB_ATTENTE_B_37", "NB_ATTENTE_A_2", "NB_ATTENTE_B_67") <= 49))))))) | (! (E ((A (X ((! (tokens-count("NB_ATTENTE_A_26", "NB_ATTENTE_A_50", "NB_ATTENTE_A_44", "NB_ATTENTE_A_9", "COMPTEUR_20", "NB_ATTENTE_A_0", "SORTI_B", "COMPTEUR_9", "NB_ATTENTE_B_17", "NB_ATTENTE_A_8") <= tokens-count("NB_ATTENTE_B_62", "COMPTEUR_32", "NB_ATTENTE_A_29"))) & ((23 <= tokens-count("COMPTEUR_30", "NB_ATTENTE_B_62", "NB_ATTENTE_A_66", "NB_ATTENTE_A_5")) | (tokens-count("NB_ATTENTE_B_60", "NB_ATTENTE_B_45") <= 28))))) U (((A (X (tokens-count("NB_ATTENTE_A_34", "COMPTEUR_38", "NB_ATTENTE_B_76", "NB_ATTENTE_A_39", "NB_ATTENTE_A_52", "NB_ATTENTE_B_54", "NB_ATTENTE_B_13", "COMPTEUR_40", "CAPACITE", "NB_ATTENTE_B_56") <= 45))) | (((tokens-count("COMPTEUR_29", "NB_ATTENTE_B_6") <= 42) & (tokens-count("NB_ATTENTE_B_52", "COMPTEUR_25", "NB_ATTENTE_B_28", "NB_ATTENTE_B_43", "NB_ATTENTE_B_66") <= 39)) & (E (F (tokens-count("NB_ATTENTE_B_21", "SORTI_A", "NB_ATTENTE_A_2", "COMPTEUR_45", "NB_ATTENTE_B_60", "NB_ATTENTE_B_1", "NB_ATTENTE_A_48", "COMPTEUR_34", "COMPTEUR_33", "COMPTEUR_40") <= tokens-count("NB_ATTENTE_B_64", "NB_ATTENTE_A_9")))))) & (tokens-count("NB_ATTENTE_B_59", "NB_ATTENTE_B_18", "NB_ATTENTE_B_30", "COMPTEUR_27", "COMPTEUR_15", "NB_ATTENTE_A_4", "COMPTEUR_28") <= tokens-count("NB_ATTENTE_B_30")))))))
   end.
Property BridgeAndVehicles-PT-V80P50N50-CTLCardinality-11
   "Automatically generated by Citili v2021"
   is:
      A (X (E (G (! (A (X (A ((tokens-count("COMPTEUR_20", "NB_ATTENTE_A_5", "NB_ATTENTE_A_64", "ROUTE_B", "COMPTEUR_14", "NB_ATTENTE_B_45", "NB_ATTENTE_B_80", "NB_ATTENTE_B_64") <= 24) U (22 <= tokens-count("NB_ATTENTE_A_55", "COMPTEUR_42", "NB_ATTENTE_B_6", "NB_ATTENTE_B_63", "COMPTEUR_8", "COMPTEUR_13"))))))))))
   end.
Property BridgeAndVehicles-PT-V80P50N50-CTLCardinality-12
   "Automatically generated by Citili v2021"
   is:
      A ((E (F (A ((E ((E ((38 <= tokens-count("NB_ATTENTE_B_74", "NB_ATTENTE_B_16", "NB_ATTENTE_B_68", "NB_ATTENTE_A_13", "NB_ATTENTE_A_54", "NB_ATTENTE_B_31", "VIDANGE_1", "NB_ATTENTE_B_4")) U (tokens-count("NB_ATTENTE_A_1", "NB_ATTENTE_B_36", "SUR_PONT_A", "NB_ATTENTE_A_58", "NB_ATTENTE_B_76", "NB_ATTENTE_A_23", "NB_ATTENTE_A_5", "NB_ATTENTE_A_41", "ATTENTE_B") <= 16))) U (! (tokens-count("COMPTEUR_15", "NB_ATTENTE_B_14", "NB_ATTENTE_A_20", "SUR_PONT_B", "NB_ATTENTE_B_5", "NB_ATTENTE_B_29", "NB_ATTENTE_A_4", "CHOIX_2", "NB_ATTENTE_A_50", "NB_ATTENTE_A_76") <= 21)))) U (27 <= tokens-count("NB_ATTENTE_B_18")))))) U (24 <= tokens-count("NB_ATTENTE_A_5", "SORTI_A", "NB_ATTENTE_A_1", "COMPTEUR_30", "NB_ATTENTE_A_69", "COMPTEUR_50")))
   end.
Property BridgeAndVehicles-PT-V80P50N50-CTLCardinality-13
   "Automatically generated by Citili v2021"
   is:
      A (((E ((tokens-count("NB_ATTENTE_A_54", "NB_ATTENTE_A_44", "NB_ATTENTE_B_68", "NB_ATTENTE_B_50") <= 21) U (((E (F (45 <= tokens-count("NB_ATTENTE_B_76", "NB_ATTENTE_B_3", "NB_ATTENTE_A_35", "COMPTEUR_32")))) | ((tokens-count("NB_ATTENTE_B_16", "NB_ATTENTE_A_35", "COMPTEUR_40", "NB_ATTENTE_A_71", "COMPTEUR_7", "NB_ATTENTE_A_72") <= 28) & (tokens-count("NB_ATTENTE_A_46", "ROUTE_B") <= tokens-count("NB_ATTENTE_B_52", "NB_ATTENTE_A_76", "COMPTEUR_29", "NB_ATTENTE_B_62", "COMPTEUR_24", "NB_ATTENTE_B_19", "COMPTEUR_16", "NB_ATTENTE_B_32", "COMPTEUR_47")))) & (! (E ((tokens-count("NB_ATTENTE_B_45") <= tokens-count("NB_ATTENTE_A_67", "COMPTEUR_9", "NB_ATTENTE_A_36", "COMPTEUR_6", "NB_ATTENTE_A_18", "NB_ATTENTE_A_38", "NB_ATTENTE_B_72", "ROUTE_A", "NB_ATTENTE_B_73")) U (tokens-count("COMPTEUR_43", "NB_ATTENTE_B_19", "NB_ATTENTE_A_48", "NB_ATTENTE_A_17", "NB_ATTENTE_A_1") <= tokens-count("COMPTEUR_29", "NB_ATTENTE_A_24")))))))) & (! ((A (F (((tokens-count("NB_ATTENTE_A_12", "COMPTEUR_47", "COMPTEUR_12", "NB_ATTENTE_B_79", "NB_ATTENTE_A_52", "NB_ATTENTE_A_43") <= 27) | (tokens-count("COMPTEUR_18", "NB_ATTENTE_B_60", "NB_ATTENTE_B_47", "NB_ATTENTE_B_28", "COMPTEUR_39", "NB_ATTENTE_A_14", "NB_ATTENTE_A_29") <= 1)) | ((24 <= tokens-count("NB_ATTENTE_A_53", "NB_ATTENTE_B_16", "NB_ATTENTE_A_2", "NB_ATTENTE_A_31", "NB_ATTENTE_B_69", "NB_ATTENTE_A_72", "SUR_PONT_A")) | (tokens-count("NB_ATTENTE_B_79", "NB_ATTENTE_B_6", "NB_ATTENTE_A_10") <= 40))))) & ((tokens-count("NB_ATTENTE_B_48") <= tokens-count("COMPTEUR_48", "NB_ATTENTE_A_42", "NB_ATTENTE_B_48", "NB_ATTENTE_B_17", "NB_ATTENTE_B_33", "COMPTEUR_41", "NB_ATTENTE_A_53")) & ((A (G (10 <= tokens-count("NB_ATTENTE_B_33", "NB_ATTENTE_A_79", "NB_ATTENTE_B_31", "COMPTEUR_33")))) & (E (F (tokens-count("NB_ATTENTE_A_27", "NB_ATTENTE_A_52") <= tokens-count("NB_ATTENTE_A_48", "NB_ATTENTE_B_3", "NB_ATTENTE_B_80", "NB_ATTENTE_B_51", "NB_ATTENTE_B_56", "NB_ATTENTE_B_71", "NB_ATTENTE_B_76", "NB_ATTENTE_A_26", "NB_ATTENTE_B_66", "NB_ATTENTE_A_52"))))))))) U (! (A ((A (F (A ((4 <= tokens-count("COMPTEUR_2")) U (tokens-count("NB_ATTENTE_A_25", "NB_ATTENTE_A_55", "NB_ATTENTE_B_14", "NB_ATTENTE_B_58", "COMPTEUR_37", "NB_ATTENTE_B_60", "COMPTEUR_29", "NB_ATTENTE_A_7", "NB_ATTENTE_A_65", "NB_ATTENTE_A_38") <= tokens-count("NB_ATTENTE_B_3", "ATTENTE_A", "COMPTEUR_39", "COMPTEUR_44", "NB_ATTENTE_A_46", "NB_ATTENTE_A_20", "NB_ATTENTE_A_34", "NB_ATTENTE_B_19", "COMPTEUR_37", "ROUTE_B")))))) U (tokens-count("VIDANGE_1", "COMPTEUR_49", "NB_ATTENTE_A_4", "NB_ATTENTE_B_77", "NB_ATTENTE_A_24", "CHOIX_1", "NB_ATTENTE_A_14", "NB_ATTENTE_A_80") <= tokens-count("ATTENTE_B", "NB_ATTENTE_B_30", "NB_ATTENTE_B_3", "CONTROLEUR_2", "NB_ATTENTE_B_36"))))))
   end.
Property BridgeAndVehicles-PT-V80P50N50-CTLCardinality-14
   "Automatically generated by Citili v2021"
   is:
      E (G (! (A ((((! (A (X (27 <= tokens-count("NB_ATTENTE_A_19", "COMPTEUR_16", "COMPTEUR_40", "NB_ATTENTE_B_64", "NB_ATTENTE_A_44", "NB_ATTENTE_B_20", "NB_ATTENTE_A_41", "NB_ATTENTE_B_73", "COMPTEUR_37", "NB_ATTENTE_A_71"))))) & (! (! (tokens-count("COMPTEUR_36", "NB_ATTENTE_B_24", "NB_ATTENTE_B_4", "COMPTEUR_39", "NB_ATTENTE_B_75", "NB_ATTENTE_B_59", "COMPTEUR_50", "NB_ATTENTE_B_54", "NB_ATTENTE_B_43", "COMPTEUR_1") <= 29)))) | (A ((E (F (tokens-count("NB_ATTENTE_A_78", "NB_ATTENTE_A_44") <= 32))) U (A (G (6 <= tokens-count("NB_ATTENTE_A_19", "NB_ATTENTE_B_21", "NB_ATTENTE_B_41", "NB_ATTENTE_A_13", "COMPTEUR_25"))))))) U (! (! (1 <= tokens-count("NB_ATTENTE_B_3"))))))))
   end.
Property BridgeAndVehicles-PT-V80P50N50-CTLCardinality-15
   "Automatically generated by Citili v2021"
   is:
      E (F (A (X (A (G (! (((tokens-count("NB_ATTENTE_B_58", "NB_ATTENTE_A_2", "NB_ATTENTE_B_45", "COMPTEUR_32", "NB_ATTENTE_A_21") <= 29) & (17 <= tokens-count("NB_ATTENTE_A_56", "NB_ATTENTE_B_51", "NB_ATTENTE_A_33", "NB_ATTENTE_B_19", "NB_ATTENTE_A_73", "NB_ATTENTE_A_2", "NB_ATTENTE_B_14", "NB_ATTENTE_A_61", "ROUTE_A", "NB_ATTENTE_B_57"))) & (A (X (tokens-count("NB_ATTENTE_A_22", "NB_ATTENTE_B_18") <= tokens-count("NB_ATTENTE_B_54", "NB_ATTENTE_A_14", "NB_ATTENTE_A_13", "NB_ATTENTE_A_79", "NB_ATTENTE_B_28", "ROUTE_A", "NB_ATTENTE_A_69", "NB_ATTENTE_B_8", "NB_ATTENTE_A_41", "NB_ATTENTE_B_42")))))))))))
   end.
