Property PhilosophersDyn-PT-20-CTLCardinality-2025-00
   "Automatically generated by Citili v2025"
   is:
      A (X (((57 <= tokens-count("HasRight_13", "HasRight_7", "HasRight_14", "HasRight_1", "HasRight_15", "HasRight_2", "HasRight_6", "HasRight_9", "HasRight_16", "HasRight_20", "HasRight_19", "HasRight_8", "HasRight_17", "HasRight_18", "HasRight_4", "HasRight_10", "HasRight_3", "HasRight_11", "HasRight_12", "HasRight_5")) | (E (((((62 <= tokens-count("HasRight_13", "HasRight_7", "HasRight_14", "HasRight_1", "HasRight_15", "HasRight_2", "HasRight_6", "HasRight_9", "HasRight_16", "HasRight_20", "HasRight_19", "HasRight_8", "HasRight_17", "HasRight_18", "HasRight_4", "HasRight_10", "HasRight_3", "HasRight_11", "HasRight_12", "HasRight_5")) | (46 <= tokens-count("HasLeft_5", "HasLeft_13", "HasLeft_6", "HasLeft_7", "HasLeft_12", "HasLeft_8", "HasLeft_19", "HasLeft_11", "HasLeft_1", "HasLeft_20", "HasLeft_10", "HasLeft_16", "HasLeft_2", "HasLeft_9", "HasLeft_18", "HasLeft_17", "HasLeft_3", "HasLeft_15", "HasLeft_4", "HasLeft_14"))) & (A (G (tokens-count("Outside_15", "Outside_6", "Outside_19", "Outside_12", "Outside_5", "Outside_18", "Outside_13", "Outside_4", "Outside_1", "Outside_10", "Outside_20", "Outside_11", "Outside_9", "Outside_2", "Outside_16", "Outside_3", "Outside_17", "Outside_8", "Outside_14", "Outside_7") <= 1)))) | (E (F (tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8") <= 57)))) U (((25 <= tokens-count("HasRight_13", "HasRight_7", "HasRight_14", "HasRight_1", "HasRight_15", "HasRight_2", "HasRight_6", "HasRight_9", "HasRight_16", "HasRight_20", "HasRight_19", "HasRight_8", "HasRight_17", "HasRight_18", "HasRight_4", "HasRight_10", "HasRight_3", "HasRight_11", "HasRight_12", "HasRight_5")) | ((tokens-count("Outside_15", "Outside_6", "Outside_19", "Outside_12", "Outside_5", "Outside_18", "Outside_13", "Outside_4", "Outside_1", "Outside_10", "Outside_20", "Outside_11", "Outside_9", "Outside_2", "Outside_16", "Outside_3", "Outside_17", "Outside_8", "Outside_14", "Outside_7") <= 0) | (tokens-count("Neighbourhood_14_4", "Neighbourhood_1_11", "Neighbourhood_17_5", "Neighbourhood_8_13", "Neighbourhood_12_7", "Neighbourhood_14_19", "Neighbourhood_4_6", "Neighbourhood_1_16", "Neighbourhood_2_10", "Neighbourhood_16_4", "Neighbourhood_7_18", "Neighbourhood_12_10", "Neighbourhood_3_5", "Neighbourhood_11_6", "Neighbourhood_13_20", "Neighbourhood_11_11", "Neighbourhood_20_11", "Neighbourhood_14_14", "Neighbourhood_5_7", "Neighbourhood_5_14", "Neighbourhood_9_17", "Neighbourhood_5_19", "Neighbourhood_17_2", "Neighbourhood_18_16", "Neighbourhood_9_2", "Neighbourhood_12_1", "Neighbourhood_4_20", "Neighbourhood_10_5", "Neighbourhood_8_1", "Neighbourhood_8_2", "Neighbourhood_18_8", "Neighbourhood_10_11", "Neighbourhood_15_8", "Neighbourhood_16_13", "Neighbourhood_9_4", "Neighbourhood_13_8", "Neighbourhood_3_15", "Neighbourhood_9_16", "Neighbourhood_15_3", "Neighbourhood_19_7", "Neighbourhood_11_16", "Neighbourhood_18_12", "Neighbourhood_4_9", "Neighbourhood_15_1", "Neighbourhood_1_2", "Neighbourhood_2_2", "Neighbourhood_2_4", "Neighbourhood_6_3", "Neighbourhood_3_10", "Neighbourhood_10_15", "Neighbourhood_9_12", "Neighbourhood_6_8", "Neighbourhood_1_1", "Neighbourhood_12_18", "Neighbourhood_19_16", "Neighbourhood_19_9", "Neighbourhood_11_15", "Neighbourhood_17_4", "Neighbourhood_1_12", "Neighbourhood_11_7", "Neighbourhood_3_4", "Neighbourhood_6_19", "Neighbourhood_5_6", "Neighbourhood_20_20", "Neighbourhood_20_15", "Neighbourhood_12_9", "Neighbourhood_19_18", "Neighbourhood_17_6", "Neighbourhood_19_6", "Neighbourhood_14_11", "Neighbourhood_15_14", "Neighbourhood_5_18", "Neighbourhood_7_11", "Neighbourhood_8_12", "Neighbourhood_11_5", "Neighbourhood_2_13", "Neighbourhood_17_17", "Neighbourhood_5_9", "Neighbourhood_15_12", "Neighbourhood_9_13", "Neighbourhood_8_17", "Neighbourhood_13_19", "Neighbourhood_6_10", "Neighbourhood_9_15", "Neighbourhood_4_18", "Neighbourhood_20_9", "Neighbourhood_20_10", "Neighbourhood_7_20", "Neighbourhood_20_19", "Neighbourhood_5_8", "Neighbourhood_14_2", "Neighbourhood_2_15", "Neighbourhood_3_16", "Neighbourhood_1_3", "Neighbourhood_16_15", "Neighbourhood_3_2", "Neighbourhood_8_3", "Neighbourhood_9_1", "Neighbourhood_7_2", "Neighbourhood_10_16", "Neighbourhood_13_10", "Neighbourhood_15_13", "Neighbourhood_2_14", "Neighbourhood_14_10", "Neighbourhood_4_8", "Neighbourhood_4_17", "Neighbourhood_17_16", "Neighbourhood_18_6", "Neighbourhood_13_18", "Neighbourhood_11_4", "Neighbourhood_7_19", "Neighbourhood_16_14", "Neighbourhood_1_13", "Neighbourhood_11_17", "Neighbourhood_7_12", "Neighbourhood_9_14", "Neighbourhood_13_11", "Neighbourhood_12_19", "Neighbourhood_18_17", "Neighbourhood_14_1", "Neighbourhood_18_4", "Neighbourhood_6_9", "Neighbourhood_6_20", "Neighbourhood_14_20", "Neighbourhood_16_6", "Neighbourhood_7_9", "Neighbourhood_8_15", "Neighbourhood_9_5", "Neighbourhood_5_10", "Neighbourhood_18_18", "Neighbourhood_6_2", "Neighbourhood_20_2", "Neighbourhood_3_7", "Neighbourhood_19_10", "Neighbourhood_17_8", "Neighbourhood_20_8", "Neighbourhood_11_9", "Neighbourhood_2_16", "Neighbourhood_8_14", "Neighbourhood_2_12", "Neighbourhood_8_4", "Neighbourhood_6_7", "Neighbourhood_19_5", "Neighbourhood_1_4", "Neighbourhood_3_14", "Neighbourhood_1_20", "Neighbourhood_8_11", "Neighbourhood_16_12", "Neighbourhood_15_20", "Neighbourhood_11_8", "Neighbourhood_17_14", "Neighbourhood_19_20", "Neighbourhood_9_3", "Neighbourhood_18_19", "Neighbourhood_11_19", "Neighbourhood_10_4", "Neighbourhood_4_2", "Neighbourhood_13_7", "Neighbourhood_6_12", "Neighbourhood_16_5", "Neighbourhood_5_11", "Neighbourhood_6_1", "Neighbourhood_4_7", "Neighbourhood_13_12", "Neighbourhood_3_3", "Neighbourhood_8_10", "Neighbourhood_17_1", "Neighbourhood_10_17", "Neighbourhood_15_10", "Neighbourhood_19_4", "Neighbourhood_15_2", "Neighbourhood_3_8", "Neighbourhood_18_5", "Neighbourhood_16_16", "Neighbourhood_14_13", "Neighbourhood_18_10", "Neighbourhood_3_12", "Neighbourhood_1_19", "Neighbourhood_10_18", "Neighbourhood_9_20", "Neighbourhood_18_14", "Neighbourhood_3_18", "Neighbourhood_4_13", "Neighbourhood_11_14", "Neighbourhood_20_3", "Neighbourhood_16_1", "Neighbourhood_19_8", "Neighbourhood_17_9", "Neighbourhood_15_16", "Neighbourhood_16_11", "Neighbourhood_6_6", "Neighbourhood_2_18", "Neighbourhood_10_13", "Neighbourhood_10_9", "Neighbourhood_12_8", "Neighbourhood_8_5", "Neighbourhood_6_11", "Neighbourhood_5_2", "Neighbourhood_8_9", "Neighbourhood_14_12", "Neighbourhood_20_18", "Neighbourhood_14_15", "Neighbourhood_11_3", "Neighbourhood_19_14", "Neighbourhood_7_10", "Neighbourhood_5_12", "Neighbourhood_7_1", "Neighbourhood_14_7", "Neighbourhood_18_20", "Neighbourhood_5_17", "Neighbourhood_11_18", "Neighbourhood_2_17", "Neighbourhood_11_13", "Neighbourhood_12_2", "Neighbourhood_7_15", "Neighbourhood_19_19", "Neighbourhood_10_3", "Neighbourhood_16_10", "Neighbourhood_10_19", "Neighbourhood_12_17", "Neighbourhood_17_10", "Neighbourhood_2_3", "Neighbourhood_6_4", "Neighbourhood_3_13", "Neighbourhood_15_7", "Neighbourhood_14_5", "Neighbourhood_10_20", "Neighbourhood_10_14", "Neighbourhood_1_18", "Neighbourhood_15_6", "Neighbourhood_15_11", "Neighbourhood_13_2", "Neighbourhood_15_18", "Neighbourhood_17_15", "Neighbourhood_8_20", "Neighbourhood_7_6", "Neighbourhood_15_15", "Neighbourhood_8_18", "Neighbourhood_4_12", "Neighbourhood_3_20", "Neighbourhood_4_16", "Neighbourhood_13_4", "Neighbourhood_18_9", "Neighbourhood_9_9", "Neighbourhood_20_4", "Neighbourhood_1_6", "Neighbourhood_16_19", "Neighbourhood_8_7", "Neighbourhood_7_5", "Neighbourhood_19_3", "Neighbourhood_17_20", "Neighbourhood_14_16", "Neighbourhood_12_3", "Neighbourhood_3_17", "Neighbourhood_6_15", "Neighbourhood_9_19", "Neighbourhood_6_14", "Neighbourhood_2_8", "Neighbourhood_1_14", "Neighbourhood_11_2", "Neighbourhood_9_8", "Neighbourhood_2_19", "Neighbourhood_18_2", "Neighbourhood_6_5", "Neighbourhood_13_17", "Neighbourhood_20_14", "Neighbourhood_2_7", "Neighbourhood_12_13", "Neighbourhood_5_3", "Neighbourhood_13_14", "Neighbourhood_14_6", "Neighbourhood_1_8", "Neighbourhood_6_13", "Neighbourhood_3_19", "Neighbourhood_16_20", "Neighbourhood_7_7", "Neighbourhood_5_16", "Neighbourhood_13_6", "Neighbourhood_7_4", "Neighbourhood_18_3", "Neighbourhood_12_12", "Neighbourhood_1_9", "Neighbourhood_19_12", "Neighbourhood_16_7", "Neighbourhood_8_6", "Neighbourhood_2_20", "Neighbourhood_9_18", "Neighbourhood_14_8", "Neighbourhood_20_17", "Neighbourhood_15_5", "Neighbourhood_20_5", "Neighbourhood_18_1", "Neighbourhood_5_1", "Neighbourhood_19_1", "Neighbourhood_10_8", "Neighbourhood_18_11", "Neighbourhood_12_5", "Neighbourhood_15_9", "Neighbourhood_1_15", "Neighbourhood_13_16", "Neighbourhood_12_15", "Neighbourhood_4_1", "Neighbourhood_11_20", "Neighbourhood_5_5", "Neighbourhood_1_5", "Neighbourhood_13_13", "Neighbourhood_9_6", "Neighbourhood_16_9", "Neighbourhood_14_18", "Neighbourhood_5_15", "Neighbourhood_20_6", "Neighbourhood_8_19", "Neighbourhood_19_15", "Neighbourhood_20_13", "Neighbourhood_7_14", "Neighbourhood_12_4", "Neighbourhood_10_2", "Neighbourhood_9_10", "Neighbourhood_4_4", "Neighbourhood_4_11", "Neighbourhood_10_10", "Neighbourhood_17_19", "Neighbourhood_2_5", "Neighbourhood_17_11", "Neighbourhood_2_9", "Neighbourhood_6_16", "Neighbourhood_3_11", "Neighbourhood_20_7", "Neighbourhood_17_7", "Neighbourhood_12_14", "Neighbourhood_11_12", "Neighbourhood_7_17", "Neighbourhood_13_3", "Neighbourhood_14_17", "Neighbourhood_7_8", "Neighbourhood_19_13", "Neighbourhood_10_7", "Neighbourhood_10_1", "Neighbourhood_3_1", "Neighbourhood_17_3", "Neighbourhood_19_2", "Neighbourhood_7_16", "Neighbourhood_20_16", "Neighbourhood_15_4", "Neighbourhood_4_19", "Neighbourhood_10_6", "Neighbourhood_7_13", "Neighbourhood_5_13", "Neighbourhood_4_10", "Neighbourhood_17_18", "Neighbourhood_12_20", "Neighbourhood_17_13", "Neighbourhood_5_20", "Neighbourhood_3_9", "Neighbourhood_13_15", "Neighbourhood_14_9", "Neighbourhood_9_7", "Neighbourhood_12_11", "Neighbourhood_19_11", "Neighbourhood_20_12", "Neighbourhood_11_10", "Neighbourhood_3_6", "Neighbourhood_12_6", "Neighbourhood_4_15", "Neighbourhood_18_15", "Neighbourhood_20_1", "Neighbourhood_4_3", "Neighbourhood_6_18", "Neighbourhood_19_17", "Neighbourhood_1_10", "Neighbourhood_2_6", "Neighbourhood_8_8", "Neighbourhood_17_12", "Neighbourhood_5_4", "Neighbourhood_16_3", "Neighbourhood_16_8", "Neighbourhood_15_19", "Neighbourhood_9_11", "Neighbourhood_12_16", "Neighbourhood_14_3", "Neighbourhood_16_17", "Neighbourhood_10_12", "Neighbourhood_4_5", "Neighbourhood_16_18", "Neighbourhood_4_14", "Neighbourhood_18_13", "Neighbourhood_15_17", "Neighbourhood_1_17", "Neighbourhood_13_5", "Neighbourhood_13_9", "Neighbourhood_11_1", "Neighbourhood_7_3", "Neighbourhood_16_2", "Neighbourhood_2_1", "Neighbourhood_6_17", "Neighbourhood_1_7", "Neighbourhood_8_16", "Neighbourhood_2_11", "Neighbourhood_18_7", "Neighbourhood_13_1") <= tokens-count("HasLeft_5", "HasLeft_13", "HasLeft_6", "HasLeft_7", "HasLeft_12", "HasLeft_8", "HasLeft_19", "HasLeft_11", "HasLeft_1", "HasLeft_20", "HasLeft_10", "HasLeft_16", "HasLeft_2", "HasLeft_9", "HasLeft_18", "HasLeft_17", "HasLeft_3", "HasLeft_15", "HasLeft_4", "HasLeft_14")))) & (tokens-count("HasRight_13", "HasRight_7", "HasRight_14", "HasRight_1", "HasRight_15", "HasRight_2", "HasRight_6", "HasRight_9", "HasRight_16", "HasRight_20", "HasRight_19", "HasRight_8", "HasRight_17", "HasRight_18", "HasRight_4", "HasRight_10", "HasRight_3", "HasRight_11", "HasRight_12", "HasRight_5") <= 53))))) & ((! (A (F (tokens-count("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1") <= tokens-count("Outside_15", "Outside_6", "Outside_19", "Outside_12", "Outside_5", "Outside_18", "Outside_13", "Outside_4", "Outside_1", "Outside_10", "Outside_20", "Outside_11", "Outside_9", "Outside_2", "Outside_16", "Outside_3", "Outside_17", "Outside_8", "Outside_14", "Outside_7"))))) | ((A (X (E (X (24 <= tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8")))))) & ((E (F ((tokens-count("WaitLeft_9", "WaitLeft_18", "WaitLeft_5", "WaitLeft_19", "WaitLeft_12", "WaitLeft_11", "WaitLeft_6", "WaitLeft_20", "WaitLeft_3", "WaitLeft_4", "WaitLeft_14", "WaitLeft_13", "WaitLeft_15", "WaitLeft_8", "WaitLeft_1", "WaitLeft_7", "WaitLeft_16", "WaitLeft_2", "WaitLeft_10", "WaitLeft_17") <= tokens-count("HasLeft_5", "HasLeft_13", "HasLeft_6", "HasLeft_7", "HasLeft_12", "HasLeft_8", "HasLeft_19", "HasLeft_11", "HasLeft_1", "HasLeft_20", "HasLeft_10", "HasLeft_16", "HasLeft_2", "HasLeft_9", "HasLeft_18", "HasLeft_17", "HasLeft_3", "HasLeft_15", "HasLeft_4", "HasLeft_14")) | (tokens-count("Outside_15", "Outside_6", "Outside_19", "Outside_12", "Outside_5", "Outside_18", "Outside_13", "Outside_4", "Outside_1", "Outside_10", "Outside_20", "Outside_11", "Outside_9", "Outside_2", "Outside_16", "Outside_3", "Outside_17", "Outside_8", "Outside_14", "Outside_7") <= 68)))) | ((! (tokens-count("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1") <= 52)) | (E ((tokens-count("WaitLeft_9", "WaitLeft_18", "WaitLeft_5", "WaitLeft_19", "WaitLeft_12", "WaitLeft_11", "WaitLeft_6", "WaitLeft_20", "WaitLeft_3", "WaitLeft_4", "WaitLeft_14", "WaitLeft_13", "WaitLeft_15", "WaitLeft_8", "WaitLeft_1", "WaitLeft_7", "WaitLeft_16", "WaitLeft_2", "WaitLeft_10", "WaitLeft_17") <= 22) U (tokens-count("WaitLeft_9", "WaitLeft_18", "WaitLeft_5", "WaitLeft_19", "WaitLeft_12", "WaitLeft_11", "WaitLeft_6", "WaitLeft_20", "WaitLeft_3", "WaitLeft_4", "WaitLeft_14", "WaitLeft_13", "WaitLeft_15", "WaitLeft_8", "WaitLeft_1", "WaitLeft_7", "WaitLeft_16", "WaitLeft_2", "WaitLeft_10", "WaitLeft_17") <= tokens-count("Forks_1", "Forks_18", "Forks_7", "Forks_19", "Forks_12", "Forks_8", "Forks_20", "Forks_11", "Forks_5", "Forks_6", "Forks_14", "Forks_13", "Forks_3", "Forks_16", "Forks_4", "Forks_2", "Forks_9", "Forks_10", "Forks_15", "Forks_17"))))))))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-2025-01
   "Automatically generated by Citili v2025"
   is:
      ! (E (G (A (X (! (E (X (E (G (tokens-count("HasLeft_5", "HasLeft_13", "HasLeft_6", "HasLeft_7", "HasLeft_12", "HasLeft_8", "HasLeft_19", "HasLeft_11", "HasLeft_1", "HasLeft_20", "HasLeft_10", "HasLeft_16", "HasLeft_2", "HasLeft_9", "HasLeft_18", "HasLeft_17", "HasLeft_3", "HasLeft_15", "HasLeft_4", "HasLeft_14") <= 1))))))))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-2025-02
   "Automatically generated by Citili v2025"
   is:
      (A ((41 <= tokens-count("WaitLeft_9", "WaitLeft_18", "WaitLeft_5", "WaitLeft_19", "WaitLeft_12", "WaitLeft_11", "WaitLeft_6", "WaitLeft_20", "WaitLeft_3", "WaitLeft_4", "WaitLeft_14", "WaitLeft_13", "WaitLeft_15", "WaitLeft_8", "WaitLeft_1", "WaitLeft_7", "WaitLeft_16", "WaitLeft_2", "WaitLeft_10", "WaitLeft_17")) U (! (A (((! ((25 <= tokens-count("Outside_15", "Outside_6", "Outside_19", "Outside_12", "Outside_5", "Outside_18", "Outside_13", "Outside_4", "Outside_1", "Outside_10", "Outside_20", "Outside_11", "Outside_9", "Outside_2", "Outside_16", "Outside_3", "Outside_17", "Outside_8", "Outside_14", "Outside_7")) | (51 <= tokens-count("HasRight_13", "HasRight_7", "HasRight_14", "HasRight_1", "HasRight_15", "HasRight_2", "HasRight_6", "HasRight_9", "HasRight_16", "HasRight_20", "HasRight_19", "HasRight_8", "HasRight_17", "HasRight_18", "HasRight_4", "HasRight_10", "HasRight_3", "HasRight_11", "HasRight_12", "HasRight_5")))) & (A (G (tokens-count("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1") <= 29)))) U ((! (90 <= tokens-count("HasRight_13", "HasRight_7", "HasRight_14", "HasRight_1", "HasRight_15", "HasRight_2", "HasRight_6", "HasRight_9", "HasRight_16", "HasRight_20", "HasRight_19", "HasRight_8", "HasRight_17", "HasRight_18", "HasRight_4", "HasRight_10", "HasRight_3", "HasRight_11", "HasRight_12", "HasRight_5"))) & (E (F (50 <= tokens-count("Neighbourhood_14_4", "Neighbourhood_1_11", "Neighbourhood_17_5", "Neighbourhood_8_13", "Neighbourhood_12_7", "Neighbourhood_14_19", "Neighbourhood_4_6", "Neighbourhood_1_16", "Neighbourhood_2_10", "Neighbourhood_16_4", "Neighbourhood_7_18", "Neighbourhood_12_10", "Neighbourhood_3_5", "Neighbourhood_11_6", "Neighbourhood_13_20", "Neighbourhood_11_11", "Neighbourhood_20_11", "Neighbourhood_14_14", "Neighbourhood_5_7", "Neighbourhood_5_14", "Neighbourhood_9_17", "Neighbourhood_5_19", "Neighbourhood_17_2", "Neighbourhood_18_16", "Neighbourhood_9_2", "Neighbourhood_12_1", "Neighbourhood_4_20", "Neighbourhood_10_5", "Neighbourhood_8_1", "Neighbourhood_8_2", "Neighbourhood_18_8", "Neighbourhood_10_11", "Neighbourhood_15_8", "Neighbourhood_16_13", "Neighbourhood_9_4", "Neighbourhood_13_8", "Neighbourhood_3_15", "Neighbourhood_9_16", "Neighbourhood_15_3", "Neighbourhood_19_7", "Neighbourhood_11_16", "Neighbourhood_18_12", "Neighbourhood_4_9", "Neighbourhood_15_1", "Neighbourhood_1_2", "Neighbourhood_2_2", "Neighbourhood_2_4", "Neighbourhood_6_3", "Neighbourhood_3_10", "Neighbourhood_10_15", "Neighbourhood_9_12", "Neighbourhood_6_8", "Neighbourhood_1_1", "Neighbourhood_12_18", "Neighbourhood_19_16", "Neighbourhood_19_9", "Neighbourhood_11_15", "Neighbourhood_17_4", "Neighbourhood_1_12", "Neighbourhood_11_7", "Neighbourhood_3_4", "Neighbourhood_6_19", "Neighbourhood_5_6", "Neighbourhood_20_20", "Neighbourhood_20_15", "Neighbourhood_12_9", "Neighbourhood_19_18", "Neighbourhood_17_6", "Neighbourhood_19_6", "Neighbourhood_14_11", "Neighbourhood_15_14", "Neighbourhood_5_18", "Neighbourhood_7_11", "Neighbourhood_8_12", "Neighbourhood_11_5", "Neighbourhood_2_13", "Neighbourhood_17_17", "Neighbourhood_5_9", "Neighbourhood_15_12", "Neighbourhood_9_13", "Neighbourhood_8_17", "Neighbourhood_13_19", "Neighbourhood_6_10", "Neighbourhood_9_15", "Neighbourhood_4_18", "Neighbourhood_20_9", "Neighbourhood_20_10", "Neighbourhood_7_20", "Neighbourhood_20_19", "Neighbourhood_5_8", "Neighbourhood_14_2", "Neighbourhood_2_15", "Neighbourhood_3_16", "Neighbourhood_1_3", "Neighbourhood_16_15", "Neighbourhood_3_2", "Neighbourhood_8_3", "Neighbourhood_9_1", "Neighbourhood_7_2", "Neighbourhood_10_16", "Neighbourhood_13_10", "Neighbourhood_15_13", "Neighbourhood_2_14", "Neighbourhood_14_10", "Neighbourhood_4_8", "Neighbourhood_4_17", "Neighbourhood_17_16", "Neighbourhood_18_6", "Neighbourhood_13_18", "Neighbourhood_11_4", "Neighbourhood_7_19", "Neighbourhood_16_14", "Neighbourhood_1_13", "Neighbourhood_11_17", "Neighbourhood_7_12", "Neighbourhood_9_14", "Neighbourhood_13_11", "Neighbourhood_12_19", "Neighbourhood_18_17", "Neighbourhood_14_1", "Neighbourhood_18_4", "Neighbourhood_6_9", "Neighbourhood_6_20", "Neighbourhood_14_20", "Neighbourhood_16_6", "Neighbourhood_7_9", "Neighbourhood_8_15", "Neighbourhood_9_5", "Neighbourhood_5_10", "Neighbourhood_18_18", "Neighbourhood_6_2", "Neighbourhood_20_2", "Neighbourhood_3_7", "Neighbourhood_19_10", "Neighbourhood_17_8", "Neighbourhood_20_8", "Neighbourhood_11_9", "Neighbourhood_2_16", "Neighbourhood_8_14", "Neighbourhood_2_12", "Neighbourhood_8_4", "Neighbourhood_6_7", "Neighbourhood_19_5", "Neighbourhood_1_4", "Neighbourhood_3_14", "Neighbourhood_1_20", "Neighbourhood_8_11", "Neighbourhood_16_12", "Neighbourhood_15_20", "Neighbourhood_11_8", "Neighbourhood_17_14", "Neighbourhood_19_20", "Neighbourhood_9_3", "Neighbourhood_18_19", "Neighbourhood_11_19", "Neighbourhood_10_4", "Neighbourhood_4_2", "Neighbourhood_13_7", "Neighbourhood_6_12", "Neighbourhood_16_5", "Neighbourhood_5_11", "Neighbourhood_6_1", "Neighbourhood_4_7", "Neighbourhood_13_12", "Neighbourhood_3_3", "Neighbourhood_8_10", "Neighbourhood_17_1", "Neighbourhood_10_17", "Neighbourhood_15_10", "Neighbourhood_19_4", "Neighbourhood_15_2", "Neighbourhood_3_8", "Neighbourhood_18_5", "Neighbourhood_16_16", "Neighbourhood_14_13", "Neighbourhood_18_10", "Neighbourhood_3_12", "Neighbourhood_1_19", "Neighbourhood_10_18", "Neighbourhood_9_20", "Neighbourhood_18_14", "Neighbourhood_3_18", "Neighbourhood_4_13", "Neighbourhood_11_14", "Neighbourhood_20_3", "Neighbourhood_16_1", "Neighbourhood_19_8", "Neighbourhood_17_9", "Neighbourhood_15_16", "Neighbourhood_16_11", "Neighbourhood_6_6", "Neighbourhood_2_18", "Neighbourhood_10_13", "Neighbourhood_10_9", "Neighbourhood_12_8", "Neighbourhood_8_5", "Neighbourhood_6_11", "Neighbourhood_5_2", "Neighbourhood_8_9", "Neighbourhood_14_12", "Neighbourhood_20_18", "Neighbourhood_14_15", "Neighbourhood_11_3", "Neighbourhood_19_14", "Neighbourhood_7_10", "Neighbourhood_5_12", "Neighbourhood_7_1", "Neighbourhood_14_7", "Neighbourhood_18_20", "Neighbourhood_5_17", "Neighbourhood_11_18", "Neighbourhood_2_17", "Neighbourhood_11_13", "Neighbourhood_12_2", "Neighbourhood_7_15", "Neighbourhood_19_19", "Neighbourhood_10_3", "Neighbourhood_16_10", "Neighbourhood_10_19", "Neighbourhood_12_17", "Neighbourhood_17_10", "Neighbourhood_2_3", "Neighbourhood_6_4", "Neighbourhood_3_13", "Neighbourhood_15_7", "Neighbourhood_14_5", "Neighbourhood_10_20", "Neighbourhood_10_14", "Neighbourhood_1_18", "Neighbourhood_15_6", "Neighbourhood_15_11", "Neighbourhood_13_2", "Neighbourhood_15_18", "Neighbourhood_17_15", "Neighbourhood_8_20", "Neighbourhood_7_6", "Neighbourhood_15_15", "Neighbourhood_8_18", "Neighbourhood_4_12", "Neighbourhood_3_20", "Neighbourhood_4_16", "Neighbourhood_13_4", "Neighbourhood_18_9", "Neighbourhood_9_9", "Neighbourhood_20_4", "Neighbourhood_1_6", "Neighbourhood_16_19", "Neighbourhood_8_7", "Neighbourhood_7_5", "Neighbourhood_19_3", "Neighbourhood_17_20", "Neighbourhood_14_16", "Neighbourhood_12_3", "Neighbourhood_3_17", "Neighbourhood_6_15", "Neighbourhood_9_19", "Neighbourhood_6_14", "Neighbourhood_2_8", "Neighbourhood_1_14", "Neighbourhood_11_2", "Neighbourhood_9_8", "Neighbourhood_2_19", "Neighbourhood_18_2", "Neighbourhood_6_5", "Neighbourhood_13_17", "Neighbourhood_20_14", "Neighbourhood_2_7", "Neighbourhood_12_13", "Neighbourhood_5_3", "Neighbourhood_13_14", "Neighbourhood_14_6", "Neighbourhood_1_8", "Neighbourhood_6_13", "Neighbourhood_3_19", "Neighbourhood_16_20", "Neighbourhood_7_7", "Neighbourhood_5_16", "Neighbourhood_13_6", "Neighbourhood_7_4", "Neighbourhood_18_3", "Neighbourhood_12_12", "Neighbourhood_1_9", "Neighbourhood_19_12", "Neighbourhood_16_7", "Neighbourhood_8_6", "Neighbourhood_2_20", "Neighbourhood_9_18", "Neighbourhood_14_8", "Neighbourhood_20_17", "Neighbourhood_15_5", "Neighbourhood_20_5", "Neighbourhood_18_1", "Neighbourhood_5_1", "Neighbourhood_19_1", "Neighbourhood_10_8", "Neighbourhood_18_11", "Neighbourhood_12_5", "Neighbourhood_15_9", "Neighbourhood_1_15", "Neighbourhood_13_16", "Neighbourhood_12_15", "Neighbourhood_4_1", "Neighbourhood_11_20", "Neighbourhood_5_5", "Neighbourhood_1_5", "Neighbourhood_13_13", "Neighbourhood_9_6", "Neighbourhood_16_9", "Neighbourhood_14_18", "Neighbourhood_5_15", "Neighbourhood_20_6", "Neighbourhood_8_19", "Neighbourhood_19_15", "Neighbourhood_20_13", "Neighbourhood_7_14", "Neighbourhood_12_4", "Neighbourhood_10_2", "Neighbourhood_9_10", "Neighbourhood_4_4", "Neighbourhood_4_11", "Neighbourhood_10_10", "Neighbourhood_17_19", "Neighbourhood_2_5", "Neighbourhood_17_11", "Neighbourhood_2_9", "Neighbourhood_6_16", "Neighbourhood_3_11", "Neighbourhood_20_7", "Neighbourhood_17_7", "Neighbourhood_12_14", "Neighbourhood_11_12", "Neighbourhood_7_17", "Neighbourhood_13_3", "Neighbourhood_14_17", "Neighbourhood_7_8", "Neighbourhood_19_13", "Neighbourhood_10_7", "Neighbourhood_10_1", "Neighbourhood_3_1", "Neighbourhood_17_3", "Neighbourhood_19_2", "Neighbourhood_7_16", "Neighbourhood_20_16", "Neighbourhood_15_4", "Neighbourhood_4_19", "Neighbourhood_10_6", "Neighbourhood_7_13", "Neighbourhood_5_13", "Neighbourhood_4_10", "Neighbourhood_17_18", "Neighbourhood_12_20", "Neighbourhood_17_13", "Neighbourhood_5_20", "Neighbourhood_3_9", "Neighbourhood_13_15", "Neighbourhood_14_9", "Neighbourhood_9_7", "Neighbourhood_12_11", "Neighbourhood_19_11", "Neighbourhood_20_12", "Neighbourhood_11_10", "Neighbourhood_3_6", "Neighbourhood_12_6", "Neighbourhood_4_15", "Neighbourhood_18_15", "Neighbourhood_20_1", "Neighbourhood_4_3", "Neighbourhood_6_18", "Neighbourhood_19_17", "Neighbourhood_1_10", "Neighbourhood_2_6", "Neighbourhood_8_8", "Neighbourhood_17_12", "Neighbourhood_5_4", "Neighbourhood_16_3", "Neighbourhood_16_8", "Neighbourhood_15_19", "Neighbourhood_9_11", "Neighbourhood_12_16", "Neighbourhood_14_3", "Neighbourhood_16_17", "Neighbourhood_10_12", "Neighbourhood_4_5", "Neighbourhood_16_18", "Neighbourhood_4_14", "Neighbourhood_18_13", "Neighbourhood_15_17", "Neighbourhood_1_17", "Neighbourhood_13_5", "Neighbourhood_13_9", "Neighbourhood_11_1", "Neighbourhood_7_3", "Neighbourhood_16_2", "Neighbourhood_2_1", "Neighbourhood_6_17", "Neighbourhood_1_7", "Neighbourhood_8_16", "Neighbourhood_2_11", "Neighbourhood_18_7", "Neighbourhood_13_1")))))))))) & (E (G (tokens-count("HasLeft_5", "HasLeft_13", "HasLeft_6", "HasLeft_7", "HasLeft_12", "HasLeft_8", "HasLeft_19", "HasLeft_11", "HasLeft_1", "HasLeft_20", "HasLeft_10", "HasLeft_16", "HasLeft_2", "HasLeft_9", "HasLeft_18", "HasLeft_17", "HasLeft_3", "HasLeft_15", "HasLeft_4", "HasLeft_14") <= tokens-count("Forks_1", "Forks_18", "Forks_7", "Forks_19", "Forks_12", "Forks_8", "Forks_20", "Forks_11", "Forks_5", "Forks_6", "Forks_14", "Forks_13", "Forks_3", "Forks_16", "Forks_4", "Forks_2", "Forks_9", "Forks_10", "Forks_15", "Forks_17"))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-2025-03
   "Automatically generated by Citili v2025"
   is:
      E ((A (F (A (F ((! (tokens-count("HasLeft_5", "HasLeft_13", "HasLeft_6", "HasLeft_7", "HasLeft_12", "HasLeft_8", "HasLeft_19", "HasLeft_11", "HasLeft_1", "HasLeft_20", "HasLeft_10", "HasLeft_16", "HasLeft_2", "HasLeft_9", "HasLeft_18", "HasLeft_17", "HasLeft_3", "HasLeft_15", "HasLeft_4", "HasLeft_14") <= 92)) | (! ((23 <= tokens-count("HasRight_13", "HasRight_7", "HasRight_14", "HasRight_1", "HasRight_15", "HasRight_2", "HasRight_6", "HasRight_9", "HasRight_16", "HasRight_20", "HasRight_19", "HasRight_8", "HasRight_17", "HasRight_18", "HasRight_4", "HasRight_10", "HasRight_3", "HasRight_11", "HasRight_12", "HasRight_5")) | (tokens-count("HasRight_13", "HasRight_7", "HasRight_14", "HasRight_1", "HasRight_15", "HasRight_2", "HasRight_6", "HasRight_9", "HasRight_16", "HasRight_20", "HasRight_19", "HasRight_8", "HasRight_17", "HasRight_18", "HasRight_4", "HasRight_10", "HasRight_3", "HasRight_11", "HasRight_12", "HasRight_5") <= tokens-count("Neighbourhood_14_4", "Neighbourhood_1_11", "Neighbourhood_17_5", "Neighbourhood_8_13", "Neighbourhood_12_7", "Neighbourhood_14_19", "Neighbourhood_4_6", "Neighbourhood_1_16", "Neighbourhood_2_10", "Neighbourhood_16_4", "Neighbourhood_7_18", "Neighbourhood_12_10", "Neighbourhood_3_5", "Neighbourhood_11_6", "Neighbourhood_13_20", "Neighbourhood_11_11", "Neighbourhood_20_11", "Neighbourhood_14_14", "Neighbourhood_5_7", "Neighbourhood_5_14", "Neighbourhood_9_17", "Neighbourhood_5_19", "Neighbourhood_17_2", "Neighbourhood_18_16", "Neighbourhood_9_2", "Neighbourhood_12_1", "Neighbourhood_4_20", "Neighbourhood_10_5", "Neighbourhood_8_1", "Neighbourhood_8_2", "Neighbourhood_18_8", "Neighbourhood_10_11", "Neighbourhood_15_8", "Neighbourhood_16_13", "Neighbourhood_9_4", "Neighbourhood_13_8", "Neighbourhood_3_15", "Neighbourhood_9_16", "Neighbourhood_15_3", "Neighbourhood_19_7", "Neighbourhood_11_16", "Neighbourhood_18_12", "Neighbourhood_4_9", "Neighbourhood_15_1", "Neighbourhood_1_2", "Neighbourhood_2_2", "Neighbourhood_2_4", "Neighbourhood_6_3", "Neighbourhood_3_10", "Neighbourhood_10_15", "Neighbourhood_9_12", "Neighbourhood_6_8", "Neighbourhood_1_1", "Neighbourhood_12_18", "Neighbourhood_19_16", "Neighbourhood_19_9", "Neighbourhood_11_15", "Neighbourhood_17_4", "Neighbourhood_1_12", "Neighbourhood_11_7", "Neighbourhood_3_4", "Neighbourhood_6_19", "Neighbourhood_5_6", "Neighbourhood_20_20", "Neighbourhood_20_15", "Neighbourhood_12_9", "Neighbourhood_19_18", "Neighbourhood_17_6", "Neighbourhood_19_6", "Neighbourhood_14_11", "Neighbourhood_15_14", "Neighbourhood_5_18", "Neighbourhood_7_11", "Neighbourhood_8_12", "Neighbourhood_11_5", "Neighbourhood_2_13", "Neighbourhood_17_17", "Neighbourhood_5_9", "Neighbourhood_15_12", "Neighbourhood_9_13", "Neighbourhood_8_17", "Neighbourhood_13_19", "Neighbourhood_6_10", "Neighbourhood_9_15", "Neighbourhood_4_18", "Neighbourhood_20_9", "Neighbourhood_20_10", "Neighbourhood_7_20", "Neighbourhood_20_19", "Neighbourhood_5_8", "Neighbourhood_14_2", "Neighbourhood_2_15", "Neighbourhood_3_16", "Neighbourhood_1_3", "Neighbourhood_16_15", "Neighbourhood_3_2", "Neighbourhood_8_3", "Neighbourhood_9_1", "Neighbourhood_7_2", "Neighbourhood_10_16", "Neighbourhood_13_10", "Neighbourhood_15_13", "Neighbourhood_2_14", "Neighbourhood_14_10", "Neighbourhood_4_8", "Neighbourhood_4_17", "Neighbourhood_17_16", "Neighbourhood_18_6", "Neighbourhood_13_18", "Neighbourhood_11_4", "Neighbourhood_7_19", "Neighbourhood_16_14", "Neighbourhood_1_13", "Neighbourhood_11_17", "Neighbourhood_7_12", "Neighbourhood_9_14", "Neighbourhood_13_11", "Neighbourhood_12_19", "Neighbourhood_18_17", "Neighbourhood_14_1", "Neighbourhood_18_4", "Neighbourhood_6_9", "Neighbourhood_6_20", "Neighbourhood_14_20", "Neighbourhood_16_6", "Neighbourhood_7_9", "Neighbourhood_8_15", "Neighbourhood_9_5", "Neighbourhood_5_10", "Neighbourhood_18_18", "Neighbourhood_6_2", "Neighbourhood_20_2", "Neighbourhood_3_7", "Neighbourhood_19_10", "Neighbourhood_17_8", "Neighbourhood_20_8", "Neighbourhood_11_9", "Neighbourhood_2_16", "Neighbourhood_8_14", "Neighbourhood_2_12", "Neighbourhood_8_4", "Neighbourhood_6_7", "Neighbourhood_19_5", "Neighbourhood_1_4", "Neighbourhood_3_14", "Neighbourhood_1_20", "Neighbourhood_8_11", "Neighbourhood_16_12", "Neighbourhood_15_20", "Neighbourhood_11_8", "Neighbourhood_17_14", "Neighbourhood_19_20", "Neighbourhood_9_3", "Neighbourhood_18_19", "Neighbourhood_11_19", "Neighbourhood_10_4", "Neighbourhood_4_2", "Neighbourhood_13_7", "Neighbourhood_6_12", "Neighbourhood_16_5", "Neighbourhood_5_11", "Neighbourhood_6_1", "Neighbourhood_4_7", "Neighbourhood_13_12", "Neighbourhood_3_3", "Neighbourhood_8_10", "Neighbourhood_17_1", "Neighbourhood_10_17", "Neighbourhood_15_10", "Neighbourhood_19_4", "Neighbourhood_15_2", "Neighbourhood_3_8", "Neighbourhood_18_5", "Neighbourhood_16_16", "Neighbourhood_14_13", "Neighbourhood_18_10", "Neighbourhood_3_12", "Neighbourhood_1_19", "Neighbourhood_10_18", "Neighbourhood_9_20", "Neighbourhood_18_14", "Neighbourhood_3_18", "Neighbourhood_4_13", "Neighbourhood_11_14", "Neighbourhood_20_3", "Neighbourhood_16_1", "Neighbourhood_19_8", "Neighbourhood_17_9", "Neighbourhood_15_16", "Neighbourhood_16_11", "Neighbourhood_6_6", "Neighbourhood_2_18", "Neighbourhood_10_13", "Neighbourhood_10_9", "Neighbourhood_12_8", "Neighbourhood_8_5", "Neighbourhood_6_11", "Neighbourhood_5_2", "Neighbourhood_8_9", "Neighbourhood_14_12", "Neighbourhood_20_18", "Neighbourhood_14_15", "Neighbourhood_11_3", "Neighbourhood_19_14", "Neighbourhood_7_10", "Neighbourhood_5_12", "Neighbourhood_7_1", "Neighbourhood_14_7", "Neighbourhood_18_20", "Neighbourhood_5_17", "Neighbourhood_11_18", "Neighbourhood_2_17", "Neighbourhood_11_13", "Neighbourhood_12_2", "Neighbourhood_7_15", "Neighbourhood_19_19", "Neighbourhood_10_3", "Neighbourhood_16_10", "Neighbourhood_10_19", "Neighbourhood_12_17", "Neighbourhood_17_10", "Neighbourhood_2_3", "Neighbourhood_6_4", "Neighbourhood_3_13", "Neighbourhood_15_7", "Neighbourhood_14_5", "Neighbourhood_10_20", "Neighbourhood_10_14", "Neighbourhood_1_18", "Neighbourhood_15_6", "Neighbourhood_15_11", "Neighbourhood_13_2", "Neighbourhood_15_18", "Neighbourhood_17_15", "Neighbourhood_8_20", "Neighbourhood_7_6", "Neighbourhood_15_15", "Neighbourhood_8_18", "Neighbourhood_4_12", "Neighbourhood_3_20", "Neighbourhood_4_16", "Neighbourhood_13_4", "Neighbourhood_18_9", "Neighbourhood_9_9", "Neighbourhood_20_4", "Neighbourhood_1_6", "Neighbourhood_16_19", "Neighbourhood_8_7", "Neighbourhood_7_5", "Neighbourhood_19_3", "Neighbourhood_17_20", "Neighbourhood_14_16", "Neighbourhood_12_3", "Neighbourhood_3_17", "Neighbourhood_6_15", "Neighbourhood_9_19", "Neighbourhood_6_14", "Neighbourhood_2_8", "Neighbourhood_1_14", "Neighbourhood_11_2", "Neighbourhood_9_8", "Neighbourhood_2_19", "Neighbourhood_18_2", "Neighbourhood_6_5", "Neighbourhood_13_17", "Neighbourhood_20_14", "Neighbourhood_2_7", "Neighbourhood_12_13", "Neighbourhood_5_3", "Neighbourhood_13_14", "Neighbourhood_14_6", "Neighbourhood_1_8", "Neighbourhood_6_13", "Neighbourhood_3_19", "Neighbourhood_16_20", "Neighbourhood_7_7", "Neighbourhood_5_16", "Neighbourhood_13_6", "Neighbourhood_7_4", "Neighbourhood_18_3", "Neighbourhood_12_12", "Neighbourhood_1_9", "Neighbourhood_19_12", "Neighbourhood_16_7", "Neighbourhood_8_6", "Neighbourhood_2_20", "Neighbourhood_9_18", "Neighbourhood_14_8", "Neighbourhood_20_17", "Neighbourhood_15_5", "Neighbourhood_20_5", "Neighbourhood_18_1", "Neighbourhood_5_1", "Neighbourhood_19_1", "Neighbourhood_10_8", "Neighbourhood_18_11", "Neighbourhood_12_5", "Neighbourhood_15_9", "Neighbourhood_1_15", "Neighbourhood_13_16", "Neighbourhood_12_15", "Neighbourhood_4_1", "Neighbourhood_11_20", "Neighbourhood_5_5", "Neighbourhood_1_5", "Neighbourhood_13_13", "Neighbourhood_9_6", "Neighbourhood_16_9", "Neighbourhood_14_18", "Neighbourhood_5_15", "Neighbourhood_20_6", "Neighbourhood_8_19", "Neighbourhood_19_15", "Neighbourhood_20_13", "Neighbourhood_7_14", "Neighbourhood_12_4", "Neighbourhood_10_2", "Neighbourhood_9_10", "Neighbourhood_4_4", "Neighbourhood_4_11", "Neighbourhood_10_10", "Neighbourhood_17_19", "Neighbourhood_2_5", "Neighbourhood_17_11", "Neighbourhood_2_9", "Neighbourhood_6_16", "Neighbourhood_3_11", "Neighbourhood_20_7", "Neighbourhood_17_7", "Neighbourhood_12_14", "Neighbourhood_11_12", "Neighbourhood_7_17", "Neighbourhood_13_3", "Neighbourhood_14_17", "Neighbourhood_7_8", "Neighbourhood_19_13", "Neighbourhood_10_7", "Neighbourhood_10_1", "Neighbourhood_3_1", "Neighbourhood_17_3", "Neighbourhood_19_2", "Neighbourhood_7_16", "Neighbourhood_20_16", "Neighbourhood_15_4", "Neighbourhood_4_19", "Neighbourhood_10_6", "Neighbourhood_7_13", "Neighbourhood_5_13", "Neighbourhood_4_10", "Neighbourhood_17_18", "Neighbourhood_12_20", "Neighbourhood_17_13", "Neighbourhood_5_20", "Neighbourhood_3_9", "Neighbourhood_13_15", "Neighbourhood_14_9", "Neighbourhood_9_7", "Neighbourhood_12_11", "Neighbourhood_19_11", "Neighbourhood_20_12", "Neighbourhood_11_10", "Neighbourhood_3_6", "Neighbourhood_12_6", "Neighbourhood_4_15", "Neighbourhood_18_15", "Neighbourhood_20_1", "Neighbourhood_4_3", "Neighbourhood_6_18", "Neighbourhood_19_17", "Neighbourhood_1_10", "Neighbourhood_2_6", "Neighbourhood_8_8", "Neighbourhood_17_12", "Neighbourhood_5_4", "Neighbourhood_16_3", "Neighbourhood_16_8", "Neighbourhood_15_19", "Neighbourhood_9_11", "Neighbourhood_12_16", "Neighbourhood_14_3", "Neighbourhood_16_17", "Neighbourhood_10_12", "Neighbourhood_4_5", "Neighbourhood_16_18", "Neighbourhood_4_14", "Neighbourhood_18_13", "Neighbourhood_15_17", "Neighbourhood_1_17", "Neighbourhood_13_5", "Neighbourhood_13_9", "Neighbourhood_11_1", "Neighbourhood_7_3", "Neighbourhood_16_2", "Neighbourhood_2_1", "Neighbourhood_6_17", "Neighbourhood_1_7", "Neighbourhood_8_16", "Neighbourhood_2_11", "Neighbourhood_18_7", "Neighbourhood_13_1"))))))))) U (E (G ((((A (F (82 <= tokens-count("HasLeft_5", "HasLeft_13", "HasLeft_6", "HasLeft_7", "HasLeft_12", "HasLeft_8", "HasLeft_19", "HasLeft_11", "HasLeft_1", "HasLeft_20", "HasLeft_10", "HasLeft_16", "HasLeft_2", "HasLeft_9", "HasLeft_18", "HasLeft_17", "HasLeft_3", "HasLeft_15", "HasLeft_4", "HasLeft_14")))) | (38 <= tokens-count("Forks_1", "Forks_18", "Forks_7", "Forks_19", "Forks_12", "Forks_8", "Forks_20", "Forks_11", "Forks_5", "Forks_6", "Forks_14", "Forks_13", "Forks_3", "Forks_16", "Forks_4", "Forks_2", "Forks_9", "Forks_10", "Forks_15", "Forks_17"))) | ((tokens-count("Forks_1", "Forks_18", "Forks_7", "Forks_19", "Forks_12", "Forks_8", "Forks_20", "Forks_11", "Forks_5", "Forks_6", "Forks_14", "Forks_13", "Forks_3", "Forks_16", "Forks_4", "Forks_2", "Forks_9", "Forks_10", "Forks_15", "Forks_17") <= tokens-count("HasRight_13", "HasRight_7", "HasRight_14", "HasRight_1", "HasRight_15", "HasRight_2", "HasRight_6", "HasRight_9", "HasRight_16", "HasRight_20", "HasRight_19", "HasRight_8", "HasRight_17", "HasRight_18", "HasRight_4", "HasRight_10", "HasRight_3", "HasRight_11", "HasRight_12", "HasRight_5")) | (((87 <= tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8")) & (tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8") <= tokens-count("HasLeft_5", "HasLeft_13", "HasLeft_6", "HasLeft_7", "HasLeft_12", "HasLeft_8", "HasLeft_19", "HasLeft_11", "HasLeft_1", "HasLeft_20", "HasLeft_10", "HasLeft_16", "HasLeft_2", "HasLeft_9", "HasLeft_18", "HasLeft_17", "HasLeft_3", "HasLeft_15", "HasLeft_4", "HasLeft_14"))) | (E ((tokens-count("HasLeft_5", "HasLeft_13", "HasLeft_6", "HasLeft_7", "HasLeft_12", "HasLeft_8", "HasLeft_19", "HasLeft_11", "HasLeft_1", "HasLeft_20", "HasLeft_10", "HasLeft_16", "HasLeft_2", "HasLeft_9", "HasLeft_18", "HasLeft_17", "HasLeft_3", "HasLeft_15", "HasLeft_4", "HasLeft_14") <= 31) U (tokens-count("Outside_15", "Outside_6", "Outside_19", "Outside_12", "Outside_5", "Outside_18", "Outside_13", "Outside_4", "Outside_1", "Outside_10", "Outside_20", "Outside_11", "Outside_9", "Outside_2", "Outside_16", "Outside_3", "Outside_17", "Outside_8", "Outside_14", "Outside_7") <= tokens-count("HasLeft_5", "HasLeft_13", "HasLeft_6", "HasLeft_7", "HasLeft_12", "HasLeft_8", "HasLeft_19", "HasLeft_11", "HasLeft_1", "HasLeft_20", "HasLeft_10", "HasLeft_16", "HasLeft_2", "HasLeft_9", "HasLeft_18", "HasLeft_17", "HasLeft_3", "HasLeft_15", "HasLeft_4", "HasLeft_14"))))))) | (E (F (E (X (tokens-count("WaitLeft_9", "WaitLeft_18", "WaitLeft_5", "WaitLeft_19", "WaitLeft_12", "WaitLeft_11", "WaitLeft_6", "WaitLeft_20", "WaitLeft_3", "WaitLeft_4", "WaitLeft_14", "WaitLeft_13", "WaitLeft_15", "WaitLeft_8", "WaitLeft_1", "WaitLeft_7", "WaitLeft_16", "WaitLeft_2", "WaitLeft_10", "WaitLeft_17") <= 20)))))))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-2025-04
   "Automatically generated by Citili v2025"
   is:
      A (X (E (X (tokens-count("WaitLeft_9", "WaitLeft_18", "WaitLeft_5", "WaitLeft_19", "WaitLeft_12", "WaitLeft_11", "WaitLeft_6", "WaitLeft_20", "WaitLeft_3", "WaitLeft_4", "WaitLeft_14", "WaitLeft_13", "WaitLeft_15", "WaitLeft_8", "WaitLeft_1", "WaitLeft_7", "WaitLeft_16", "WaitLeft_2", "WaitLeft_10", "WaitLeft_17") <= tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8")))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (G (A ((! ((A (G ((44 <= tokens-count("HasLeft_5", "HasLeft_13", "HasLeft_6", "HasLeft_7", "HasLeft_12", "HasLeft_8", "HasLeft_19", "HasLeft_11", "HasLeft_1", "HasLeft_20", "HasLeft_10", "HasLeft_16", "HasLeft_2", "HasLeft_9", "HasLeft_18", "HasLeft_17", "HasLeft_3", "HasLeft_15", "HasLeft_4", "HasLeft_14")) | (38 <= tokens-count("HasRight_13", "HasRight_7", "HasRight_14", "HasRight_1", "HasRight_15", "HasRight_2", "HasRight_6", "HasRight_9", "HasRight_16", "HasRight_20", "HasRight_19", "HasRight_8", "HasRight_17", "HasRight_18", "HasRight_4", "HasRight_10", "HasRight_3", "HasRight_11", "HasRight_12", "HasRight_5"))))) & ((((tokens-count("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1") <= 67) | (33 <= tokens-count("WaitLeft_9", "WaitLeft_18", "WaitLeft_5", "WaitLeft_19", "WaitLeft_12", "WaitLeft_11", "WaitLeft_6", "WaitLeft_20", "WaitLeft_3", "WaitLeft_4", "WaitLeft_14", "WaitLeft_13", "WaitLeft_15", "WaitLeft_8", "WaitLeft_1", "WaitLeft_7", "WaitLeft_16", "WaitLeft_2", "WaitLeft_10", "WaitLeft_17"))) & ((tokens-count("Forks_1", "Forks_18", "Forks_7", "Forks_19", "Forks_12", "Forks_8", "Forks_20", "Forks_11", "Forks_5", "Forks_6", "Forks_14", "Forks_13", "Forks_3", "Forks_16", "Forks_4", "Forks_2", "Forks_9", "Forks_10", "Forks_15", "Forks_17") <= 4) & (52 <= tokens-count("HasLeft_5", "HasLeft_13", "HasLeft_6", "HasLeft_7", "HasLeft_12", "HasLeft_8", "HasLeft_19", "HasLeft_11", "HasLeft_1", "HasLeft_20", "HasLeft_10", "HasLeft_16", "HasLeft_2", "HasLeft_9", "HasLeft_18", "HasLeft_17", "HasLeft_3", "HasLeft_15", "HasLeft_4", "HasLeft_14")))) & (E ((84 <= tokens-count("Neighbourhood_14_4", "Neighbourhood_1_11", "Neighbourhood_17_5", "Neighbourhood_8_13", "Neighbourhood_12_7", "Neighbourhood_14_19", "Neighbourhood_4_6", "Neighbourhood_1_16", "Neighbourhood_2_10", "Neighbourhood_16_4", "Neighbourhood_7_18", "Neighbourhood_12_10", "Neighbourhood_3_5", "Neighbourhood_11_6", "Neighbourhood_13_20", "Neighbourhood_11_11", "Neighbourhood_20_11", "Neighbourhood_14_14", "Neighbourhood_5_7", "Neighbourhood_5_14", "Neighbourhood_9_17", "Neighbourhood_5_19", "Neighbourhood_17_2", "Neighbourhood_18_16", "Neighbourhood_9_2", "Neighbourhood_12_1", "Neighbourhood_4_20", "Neighbourhood_10_5", "Neighbourhood_8_1", "Neighbourhood_8_2", "Neighbourhood_18_8", "Neighbourhood_10_11", "Neighbourhood_15_8", "Neighbourhood_16_13", "Neighbourhood_9_4", "Neighbourhood_13_8", "Neighbourhood_3_15", "Neighbourhood_9_16", "Neighbourhood_15_3", "Neighbourhood_19_7", "Neighbourhood_11_16", "Neighbourhood_18_12", "Neighbourhood_4_9", "Neighbourhood_15_1", "Neighbourhood_1_2", "Neighbourhood_2_2", "Neighbourhood_2_4", "Neighbourhood_6_3", "Neighbourhood_3_10", "Neighbourhood_10_15", "Neighbourhood_9_12", "Neighbourhood_6_8", "Neighbourhood_1_1", "Neighbourhood_12_18", "Neighbourhood_19_16", "Neighbourhood_19_9", "Neighbourhood_11_15", "Neighbourhood_17_4", "Neighbourhood_1_12", "Neighbourhood_11_7", "Neighbourhood_3_4", "Neighbourhood_6_19", "Neighbourhood_5_6", "Neighbourhood_20_20", "Neighbourhood_20_15", "Neighbourhood_12_9", "Neighbourhood_19_18", "Neighbourhood_17_6", "Neighbourhood_19_6", "Neighbourhood_14_11", "Neighbourhood_15_14", "Neighbourhood_5_18", "Neighbourhood_7_11", "Neighbourhood_8_12", "Neighbourhood_11_5", "Neighbourhood_2_13", "Neighbourhood_17_17", "Neighbourhood_5_9", "Neighbourhood_15_12", "Neighbourhood_9_13", "Neighbourhood_8_17", "Neighbourhood_13_19", "Neighbourhood_6_10", "Neighbourhood_9_15", "Neighbourhood_4_18", "Neighbourhood_20_9", "Neighbourhood_20_10", "Neighbourhood_7_20", "Neighbourhood_20_19", "Neighbourhood_5_8", "Neighbourhood_14_2", "Neighbourhood_2_15", "Neighbourhood_3_16", "Neighbourhood_1_3", "Neighbourhood_16_15", "Neighbourhood_3_2", "Neighbourhood_8_3", "Neighbourhood_9_1", "Neighbourhood_7_2", "Neighbourhood_10_16", "Neighbourhood_13_10", "Neighbourhood_15_13", "Neighbourhood_2_14", "Neighbourhood_14_10", "Neighbourhood_4_8", "Neighbourhood_4_17", "Neighbourhood_17_16", "Neighbourhood_18_6", "Neighbourhood_13_18", "Neighbourhood_11_4", "Neighbourhood_7_19", "Neighbourhood_16_14", "Neighbourhood_1_13", "Neighbourhood_11_17", "Neighbourhood_7_12", "Neighbourhood_9_14", "Neighbourhood_13_11", "Neighbourhood_12_19", "Neighbourhood_18_17", "Neighbourhood_14_1", "Neighbourhood_18_4", "Neighbourhood_6_9", "Neighbourhood_6_20", "Neighbourhood_14_20", "Neighbourhood_16_6", "Neighbourhood_7_9", "Neighbourhood_8_15", "Neighbourhood_9_5", "Neighbourhood_5_10", "Neighbourhood_18_18", "Neighbourhood_6_2", "Neighbourhood_20_2", "Neighbourhood_3_7", "Neighbourhood_19_10", "Neighbourhood_17_8", "Neighbourhood_20_8", "Neighbourhood_11_9", "Neighbourhood_2_16", "Neighbourhood_8_14", "Neighbourhood_2_12", "Neighbourhood_8_4", "Neighbourhood_6_7", "Neighbourhood_19_5", "Neighbourhood_1_4", "Neighbourhood_3_14", "Neighbourhood_1_20", "Neighbourhood_8_11", "Neighbourhood_16_12", "Neighbourhood_15_20", "Neighbourhood_11_8", "Neighbourhood_17_14", "Neighbourhood_19_20", "Neighbourhood_9_3", "Neighbourhood_18_19", "Neighbourhood_11_19", "Neighbourhood_10_4", "Neighbourhood_4_2", "Neighbourhood_13_7", "Neighbourhood_6_12", "Neighbourhood_16_5", "Neighbourhood_5_11", "Neighbourhood_6_1", "Neighbourhood_4_7", "Neighbourhood_13_12", "Neighbourhood_3_3", "Neighbourhood_8_10", "Neighbourhood_17_1", "Neighbourhood_10_17", "Neighbourhood_15_10", "Neighbourhood_19_4", "Neighbourhood_15_2", "Neighbourhood_3_8", "Neighbourhood_18_5", "Neighbourhood_16_16", "Neighbourhood_14_13", "Neighbourhood_18_10", "Neighbourhood_3_12", "Neighbourhood_1_19", "Neighbourhood_10_18", "Neighbourhood_9_20", "Neighbourhood_18_14", "Neighbourhood_3_18", "Neighbourhood_4_13", "Neighbourhood_11_14", "Neighbourhood_20_3", "Neighbourhood_16_1", "Neighbourhood_19_8", "Neighbourhood_17_9", "Neighbourhood_15_16", "Neighbourhood_16_11", "Neighbourhood_6_6", "Neighbourhood_2_18", "Neighbourhood_10_13", "Neighbourhood_10_9", "Neighbourhood_12_8", "Neighbourhood_8_5", "Neighbourhood_6_11", "Neighbourhood_5_2", "Neighbourhood_8_9", "Neighbourhood_14_12", "Neighbourhood_20_18", "Neighbourhood_14_15", "Neighbourhood_11_3", "Neighbourhood_19_14", "Neighbourhood_7_10", "Neighbourhood_5_12", "Neighbourhood_7_1", "Neighbourhood_14_7", "Neighbourhood_18_20", "Neighbourhood_5_17", "Neighbourhood_11_18", "Neighbourhood_2_17", "Neighbourhood_11_13", "Neighbourhood_12_2", "Neighbourhood_7_15", "Neighbourhood_19_19", "Neighbourhood_10_3", "Neighbourhood_16_10", "Neighbourhood_10_19", "Neighbourhood_12_17", "Neighbourhood_17_10", "Neighbourhood_2_3", "Neighbourhood_6_4", "Neighbourhood_3_13", "Neighbourhood_15_7", "Neighbourhood_14_5", "Neighbourhood_10_20", "Neighbourhood_10_14", "Neighbourhood_1_18", "Neighbourhood_15_6", "Neighbourhood_15_11", "Neighbourhood_13_2", "Neighbourhood_15_18", "Neighbourhood_17_15", "Neighbourhood_8_20", "Neighbourhood_7_6", "Neighbourhood_15_15", "Neighbourhood_8_18", "Neighbourhood_4_12", "Neighbourhood_3_20", "Neighbourhood_4_16", "Neighbourhood_13_4", "Neighbourhood_18_9", "Neighbourhood_9_9", "Neighbourhood_20_4", "Neighbourhood_1_6", "Neighbourhood_16_19", "Neighbourhood_8_7", "Neighbourhood_7_5", "Neighbourhood_19_3", "Neighbourhood_17_20", "Neighbourhood_14_16", "Neighbourhood_12_3", "Neighbourhood_3_17", "Neighbourhood_6_15", "Neighbourhood_9_19", "Neighbourhood_6_14", "Neighbourhood_2_8", "Neighbourhood_1_14", "Neighbourhood_11_2", "Neighbourhood_9_8", "Neighbourhood_2_19", "Neighbourhood_18_2", "Neighbourhood_6_5", "Neighbourhood_13_17", "Neighbourhood_20_14", "Neighbourhood_2_7", "Neighbourhood_12_13", "Neighbourhood_5_3", "Neighbourhood_13_14", "Neighbourhood_14_6", "Neighbourhood_1_8", "Neighbourhood_6_13", "Neighbourhood_3_19", "Neighbourhood_16_20", "Neighbourhood_7_7", "Neighbourhood_5_16", "Neighbourhood_13_6", "Neighbourhood_7_4", "Neighbourhood_18_3", "Neighbourhood_12_12", "Neighbourhood_1_9", "Neighbourhood_19_12", "Neighbourhood_16_7", "Neighbourhood_8_6", "Neighbourhood_2_20", "Neighbourhood_9_18", "Neighbourhood_14_8", "Neighbourhood_20_17", "Neighbourhood_15_5", "Neighbourhood_20_5", "Neighbourhood_18_1", "Neighbourhood_5_1", "Neighbourhood_19_1", "Neighbourhood_10_8", "Neighbourhood_18_11", "Neighbourhood_12_5", "Neighbourhood_15_9", "Neighbourhood_1_15", "Neighbourhood_13_16", "Neighbourhood_12_15", "Neighbourhood_4_1", "Neighbourhood_11_20", "Neighbourhood_5_5", "Neighbourhood_1_5", "Neighbourhood_13_13", "Neighbourhood_9_6", "Neighbourhood_16_9", "Neighbourhood_14_18", "Neighbourhood_5_15", "Neighbourhood_20_6", "Neighbourhood_8_19", "Neighbourhood_19_15", "Neighbourhood_20_13", "Neighbourhood_7_14", "Neighbourhood_12_4", "Neighbourhood_10_2", "Neighbourhood_9_10", "Neighbourhood_4_4", "Neighbourhood_4_11", "Neighbourhood_10_10", "Neighbourhood_17_19", "Neighbourhood_2_5", "Neighbourhood_17_11", "Neighbourhood_2_9", "Neighbourhood_6_16", "Neighbourhood_3_11", "Neighbourhood_20_7", "Neighbourhood_17_7", "Neighbourhood_12_14", "Neighbourhood_11_12", "Neighbourhood_7_17", "Neighbourhood_13_3", "Neighbourhood_14_17", "Neighbourhood_7_8", "Neighbourhood_19_13", "Neighbourhood_10_7", "Neighbourhood_10_1", "Neighbourhood_3_1", "Neighbourhood_17_3", "Neighbourhood_19_2", "Neighbourhood_7_16", "Neighbourhood_20_16", "Neighbourhood_15_4", "Neighbourhood_4_19", "Neighbourhood_10_6", "Neighbourhood_7_13", "Neighbourhood_5_13", "Neighbourhood_4_10", "Neighbourhood_17_18", "Neighbourhood_12_20", "Neighbourhood_17_13", "Neighbourhood_5_20", "Neighbourhood_3_9", "Neighbourhood_13_15", "Neighbourhood_14_9", "Neighbourhood_9_7", "Neighbourhood_12_11", "Neighbourhood_19_11", "Neighbourhood_20_12", "Neighbourhood_11_10", "Neighbourhood_3_6", "Neighbourhood_12_6", "Neighbourhood_4_15", "Neighbourhood_18_15", "Neighbourhood_20_1", "Neighbourhood_4_3", "Neighbourhood_6_18", "Neighbourhood_19_17", "Neighbourhood_1_10", "Neighbourhood_2_6", "Neighbourhood_8_8", "Neighbourhood_17_12", "Neighbourhood_5_4", "Neighbourhood_16_3", "Neighbourhood_16_8", "Neighbourhood_15_19", "Neighbourhood_9_11", "Neighbourhood_12_16", "Neighbourhood_14_3", "Neighbourhood_16_17", "Neighbourhood_10_12", "Neighbourhood_4_5", "Neighbourhood_16_18", "Neighbourhood_4_14", "Neighbourhood_18_13", "Neighbourhood_15_17", "Neighbourhood_1_17", "Neighbourhood_13_5", "Neighbourhood_13_9", "Neighbourhood_11_1", "Neighbourhood_7_3", "Neighbourhood_16_2", "Neighbourhood_2_1", "Neighbourhood_6_17", "Neighbourhood_1_7", "Neighbourhood_8_16", "Neighbourhood_2_11", "Neighbourhood_18_7", "Neighbourhood_13_1")) U (tokens-count("Neighbourhood_14_4", "Neighbourhood_1_11", "Neighbourhood_17_5", "Neighbourhood_8_13", "Neighbourhood_12_7", "Neighbourhood_14_19", "Neighbourhood_4_6", "Neighbourhood_1_16", "Neighbourhood_2_10", "Neighbourhood_16_4", "Neighbourhood_7_18", "Neighbourhood_12_10", "Neighbourhood_3_5", "Neighbourhood_11_6", "Neighbourhood_13_20", "Neighbourhood_11_11", "Neighbourhood_20_11", "Neighbourhood_14_14", "Neighbourhood_5_7", "Neighbourhood_5_14", "Neighbourhood_9_17", "Neighbourhood_5_19", "Neighbourhood_17_2", "Neighbourhood_18_16", "Neighbourhood_9_2", "Neighbourhood_12_1", "Neighbourhood_4_20", "Neighbourhood_10_5", "Neighbourhood_8_1", "Neighbourhood_8_2", "Neighbourhood_18_8", "Neighbourhood_10_11", "Neighbourhood_15_8", "Neighbourhood_16_13", "Neighbourhood_9_4", "Neighbourhood_13_8", "Neighbourhood_3_15", "Neighbourhood_9_16", "Neighbourhood_15_3", "Neighbourhood_19_7", "Neighbourhood_11_16", "Neighbourhood_18_12", "Neighbourhood_4_9", "Neighbourhood_15_1", "Neighbourhood_1_2", "Neighbourhood_2_2", "Neighbourhood_2_4", "Neighbourhood_6_3", "Neighbourhood_3_10", "Neighbourhood_10_15", "Neighbourhood_9_12", "Neighbourhood_6_8", "Neighbourhood_1_1", "Neighbourhood_12_18", "Neighbourhood_19_16", "Neighbourhood_19_9", "Neighbourhood_11_15", "Neighbourhood_17_4", "Neighbourhood_1_12", "Neighbourhood_11_7", "Neighbourhood_3_4", "Neighbourhood_6_19", "Neighbourhood_5_6", "Neighbourhood_20_20", "Neighbourhood_20_15", "Neighbourhood_12_9", "Neighbourhood_19_18", "Neighbourhood_17_6", "Neighbourhood_19_6", "Neighbourhood_14_11", "Neighbourhood_15_14", "Neighbourhood_5_18", "Neighbourhood_7_11", "Neighbourhood_8_12", "Neighbourhood_11_5", "Neighbourhood_2_13", "Neighbourhood_17_17", "Neighbourhood_5_9", "Neighbourhood_15_12", "Neighbourhood_9_13", "Neighbourhood_8_17", "Neighbourhood_13_19", "Neighbourhood_6_10", "Neighbourhood_9_15", "Neighbourhood_4_18", "Neighbourhood_20_9", "Neighbourhood_20_10", "Neighbourhood_7_20", "Neighbourhood_20_19", "Neighbourhood_5_8", "Neighbourhood_14_2", "Neighbourhood_2_15", "Neighbourhood_3_16", "Neighbourhood_1_3", "Neighbourhood_16_15", "Neighbourhood_3_2", "Neighbourhood_8_3", "Neighbourhood_9_1", "Neighbourhood_7_2", "Neighbourhood_10_16", "Neighbourhood_13_10", "Neighbourhood_15_13", "Neighbourhood_2_14", "Neighbourhood_14_10", "Neighbourhood_4_8", "Neighbourhood_4_17", "Neighbourhood_17_16", "Neighbourhood_18_6", "Neighbourhood_13_18", "Neighbourhood_11_4", "Neighbourhood_7_19", "Neighbourhood_16_14", "Neighbourhood_1_13", "Neighbourhood_11_17", "Neighbourhood_7_12", "Neighbourhood_9_14", "Neighbourhood_13_11", "Neighbourhood_12_19", "Neighbourhood_18_17", "Neighbourhood_14_1", "Neighbourhood_18_4", "Neighbourhood_6_9", "Neighbourhood_6_20", "Neighbourhood_14_20", "Neighbourhood_16_6", "Neighbourhood_7_9", "Neighbourhood_8_15", "Neighbourhood_9_5", "Neighbourhood_5_10", "Neighbourhood_18_18", "Neighbourhood_6_2", "Neighbourhood_20_2", "Neighbourhood_3_7", "Neighbourhood_19_10", "Neighbourhood_17_8", "Neighbourhood_20_8", "Neighbourhood_11_9", "Neighbourhood_2_16", "Neighbourhood_8_14", "Neighbourhood_2_12", "Neighbourhood_8_4", "Neighbourhood_6_7", "Neighbourhood_19_5", "Neighbourhood_1_4", "Neighbourhood_3_14", "Neighbourhood_1_20", "Neighbourhood_8_11", "Neighbourhood_16_12", "Neighbourhood_15_20", "Neighbourhood_11_8", "Neighbourhood_17_14", "Neighbourhood_19_20", "Neighbourhood_9_3", "Neighbourhood_18_19", "Neighbourhood_11_19", "Neighbourhood_10_4", "Neighbourhood_4_2", "Neighbourhood_13_7", "Neighbourhood_6_12", "Neighbourhood_16_5", "Neighbourhood_5_11", "Neighbourhood_6_1", "Neighbourhood_4_7", "Neighbourhood_13_12", "Neighbourhood_3_3", "Neighbourhood_8_10", "Neighbourhood_17_1", "Neighbourhood_10_17", "Neighbourhood_15_10", "Neighbourhood_19_4", "Neighbourhood_15_2", "Neighbourhood_3_8", "Neighbourhood_18_5", "Neighbourhood_16_16", "Neighbourhood_14_13", "Neighbourhood_18_10", "Neighbourhood_3_12", "Neighbourhood_1_19", "Neighbourhood_10_18", "Neighbourhood_9_20", "Neighbourhood_18_14", "Neighbourhood_3_18", "Neighbourhood_4_13", "Neighbourhood_11_14", "Neighbourhood_20_3", "Neighbourhood_16_1", "Neighbourhood_19_8", "Neighbourhood_17_9", "Neighbourhood_15_16", "Neighbourhood_16_11", "Neighbourhood_6_6", "Neighbourhood_2_18", "Neighbourhood_10_13", "Neighbourhood_10_9", "Neighbourhood_12_8", "Neighbourhood_8_5", "Neighbourhood_6_11", "Neighbourhood_5_2", "Neighbourhood_8_9", "Neighbourhood_14_12", "Neighbourhood_20_18", "Neighbourhood_14_15", "Neighbourhood_11_3", "Neighbourhood_19_14", "Neighbourhood_7_10", "Neighbourhood_5_12", "Neighbourhood_7_1", "Neighbourhood_14_7", "Neighbourhood_18_20", "Neighbourhood_5_17", "Neighbourhood_11_18", "Neighbourhood_2_17", "Neighbourhood_11_13", "Neighbourhood_12_2", "Neighbourhood_7_15", "Neighbourhood_19_19", "Neighbourhood_10_3", "Neighbourhood_16_10", "Neighbourhood_10_19", "Neighbourhood_12_17", "Neighbourhood_17_10", "Neighbourhood_2_3", "Neighbourhood_6_4", "Neighbourhood_3_13", "Neighbourhood_15_7", "Neighbourhood_14_5", "Neighbourhood_10_20", "Neighbourhood_10_14", "Neighbourhood_1_18", "Neighbourhood_15_6", "Neighbourhood_15_11", "Neighbourhood_13_2", "Neighbourhood_15_18", "Neighbourhood_17_15", "Neighbourhood_8_20", "Neighbourhood_7_6", "Neighbourhood_15_15", "Neighbourhood_8_18", "Neighbourhood_4_12", "Neighbourhood_3_20", "Neighbourhood_4_16", "Neighbourhood_13_4", "Neighbourhood_18_9", "Neighbourhood_9_9", "Neighbourhood_20_4", "Neighbourhood_1_6", "Neighbourhood_16_19", "Neighbourhood_8_7", "Neighbourhood_7_5", "Neighbourhood_19_3", "Neighbourhood_17_20", "Neighbourhood_14_16", "Neighbourhood_12_3", "Neighbourhood_3_17", "Neighbourhood_6_15", "Neighbourhood_9_19", "Neighbourhood_6_14", "Neighbourhood_2_8", "Neighbourhood_1_14", "Neighbourhood_11_2", "Neighbourhood_9_8", "Neighbourhood_2_19", "Neighbourhood_18_2", "Neighbourhood_6_5", "Neighbourhood_13_17", "Neighbourhood_20_14", "Neighbourhood_2_7", "Neighbourhood_12_13", "Neighbourhood_5_3", "Neighbourhood_13_14", "Neighbourhood_14_6", "Neighbourhood_1_8", "Neighbourhood_6_13", "Neighbourhood_3_19", "Neighbourhood_16_20", "Neighbourhood_7_7", "Neighbourhood_5_16", "Neighbourhood_13_6", "Neighbourhood_7_4", "Neighbourhood_18_3", "Neighbourhood_12_12", "Neighbourhood_1_9", "Neighbourhood_19_12", "Neighbourhood_16_7", "Neighbourhood_8_6", "Neighbourhood_2_20", "Neighbourhood_9_18", "Neighbourhood_14_8", "Neighbourhood_20_17", "Neighbourhood_15_5", "Neighbourhood_20_5", "Neighbourhood_18_1", "Neighbourhood_5_1", "Neighbourhood_19_1", "Neighbourhood_10_8", "Neighbourhood_18_11", "Neighbourhood_12_5", "Neighbourhood_15_9", "Neighbourhood_1_15", "Neighbourhood_13_16", "Neighbourhood_12_15", "Neighbourhood_4_1", "Neighbourhood_11_20", "Neighbourhood_5_5", "Neighbourhood_1_5", "Neighbourhood_13_13", "Neighbourhood_9_6", "Neighbourhood_16_9", "Neighbourhood_14_18", "Neighbourhood_5_15", "Neighbourhood_20_6", "Neighbourhood_8_19", "Neighbourhood_19_15", "Neighbourhood_20_13", "Neighbourhood_7_14", "Neighbourhood_12_4", "Neighbourhood_10_2", "Neighbourhood_9_10", "Neighbourhood_4_4", "Neighbourhood_4_11", "Neighbourhood_10_10", "Neighbourhood_17_19", "Neighbourhood_2_5", "Neighbourhood_17_11", "Neighbourhood_2_9", "Neighbourhood_6_16", "Neighbourhood_3_11", "Neighbourhood_20_7", "Neighbourhood_17_7", "Neighbourhood_12_14", "Neighbourhood_11_12", "Neighbourhood_7_17", "Neighbourhood_13_3", "Neighbourhood_14_17", "Neighbourhood_7_8", "Neighbourhood_19_13", "Neighbourhood_10_7", "Neighbourhood_10_1", "Neighbourhood_3_1", "Neighbourhood_17_3", "Neighbourhood_19_2", "Neighbourhood_7_16", "Neighbourhood_20_16", "Neighbourhood_15_4", "Neighbourhood_4_19", "Neighbourhood_10_6", "Neighbourhood_7_13", "Neighbourhood_5_13", "Neighbourhood_4_10", "Neighbourhood_17_18", "Neighbourhood_12_20", "Neighbourhood_17_13", "Neighbourhood_5_20", "Neighbourhood_3_9", "Neighbourhood_13_15", "Neighbourhood_14_9", "Neighbourhood_9_7", "Neighbourhood_12_11", "Neighbourhood_19_11", "Neighbourhood_20_12", "Neighbourhood_11_10", "Neighbourhood_3_6", "Neighbourhood_12_6", "Neighbourhood_4_15", "Neighbourhood_18_15", "Neighbourhood_20_1", "Neighbourhood_4_3", "Neighbourhood_6_18", "Neighbourhood_19_17", "Neighbourhood_1_10", "Neighbourhood_2_6", "Neighbourhood_8_8", "Neighbourhood_17_12", "Neighbourhood_5_4", "Neighbourhood_16_3", "Neighbourhood_16_8", "Neighbourhood_15_19", "Neighbourhood_9_11", "Neighbourhood_12_16", "Neighbourhood_14_3", "Neighbourhood_16_17", "Neighbourhood_10_12", "Neighbourhood_4_5", "Neighbourhood_16_18", "Neighbourhood_4_14", "Neighbourhood_18_13", "Neighbourhood_15_17", "Neighbourhood_1_17", "Neighbourhood_13_5", "Neighbourhood_13_9", "Neighbourhood_11_1", "Neighbourhood_7_3", "Neighbourhood_16_2", "Neighbourhood_2_1", "Neighbourhood_6_17", "Neighbourhood_1_7", "Neighbourhood_8_16", "Neighbourhood_2_11", "Neighbourhood_18_7", "Neighbourhood_13_1") <= tokens-count("Forks_1", "Forks_18", "Forks_7", "Forks_19", "Forks_12", "Forks_8", "Forks_20", "Forks_11", "Forks_5", "Forks_6", "Forks_14", "Forks_13", "Forks_3", "Forks_16", "Forks_4", "Forks_2", "Forks_9", "Forks_10", "Forks_15", "Forks_17"))))))) U (A (X (A (((tokens-count("HasLeft_5", "HasLeft_13", "HasLeft_6", "HasLeft_7", "HasLeft_12", "HasLeft_8", "HasLeft_19", "HasLeft_11", "HasLeft_1", "HasLeft_20", "HasLeft_10", "HasLeft_16", "HasLeft_2", "HasLeft_9", "HasLeft_18", "HasLeft_17", "HasLeft_3", "HasLeft_15", "HasLeft_4", "HasLeft_14") <= 88) | (tokens-count("Outside_15", "Outside_6", "Outside_19", "Outside_12", "Outside_5", "Outside_18", "Outside_13", "Outside_4", "Outside_1", "Outside_10", "Outside_20", "Outside_11", "Outside_9", "Outside_2", "Outside_16", "Outside_3", "Outside_17", "Outside_8", "Outside_14", "Outside_7") <= tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8"))) U ((tokens-count("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1") <= 87) | (tokens-count("HasLeft_5", "HasLeft_13", "HasLeft_6", "HasLeft_7", "HasLeft_12", "HasLeft_8", "HasLeft_19", "HasLeft_11", "HasLeft_1", "HasLeft_20", "HasLeft_10", "HasLeft_16", "HasLeft_2", "HasLeft_9", "HasLeft_18", "HasLeft_17", "HasLeft_3", "HasLeft_15", "HasLeft_4", "HasLeft_14") <= 19)))))))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (X (E (G ((A ((56 <= tokens-count("Outside_15", "Outside_6", "Outside_19", "Outside_12", "Outside_5", "Outside_18", "Outside_13", "Outside_4", "Outside_1", "Outside_10", "Outside_20", "Outside_11", "Outside_9", "Outside_2", "Outside_16", "Outside_3", "Outside_17", "Outside_8", "Outside_14", "Outside_7")) U (E ((70 <= tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8")) U (tokens-count("HasRight_13", "HasRight_7", "HasRight_14", "HasRight_1", "HasRight_15", "HasRight_2", "HasRight_6", "HasRight_9", "HasRight_16", "HasRight_20", "HasRight_19", "HasRight_8", "HasRight_17", "HasRight_18", "HasRight_4", "HasRight_10", "HasRight_3", "HasRight_11", "HasRight_12", "HasRight_5") <= tokens-count("Forks_1", "Forks_18", "Forks_7", "Forks_19", "Forks_12", "Forks_8", "Forks_20", "Forks_11", "Forks_5", "Forks_6", "Forks_14", "Forks_13", "Forks_3", "Forks_16", "Forks_4", "Forks_2", "Forks_9", "Forks_10", "Forks_15", "Forks_17")))))) & ((tokens-count("Forks_1", "Forks_18", "Forks_7", "Forks_19", "Forks_12", "Forks_8", "Forks_20", "Forks_11", "Forks_5", "Forks_6", "Forks_14", "Forks_13", "Forks_3", "Forks_16", "Forks_4", "Forks_2", "Forks_9", "Forks_10", "Forks_15", "Forks_17") <= tokens-count("HasRight_13", "HasRight_7", "HasRight_14", "HasRight_1", "HasRight_15", "HasRight_2", "HasRight_6", "HasRight_9", "HasRight_16", "HasRight_20", "HasRight_19", "HasRight_8", "HasRight_17", "HasRight_18", "HasRight_4", "HasRight_10", "HasRight_3", "HasRight_11", "HasRight_12", "HasRight_5")) | ((((tokens-count("WaitLeft_9", "WaitLeft_18", "WaitLeft_5", "WaitLeft_19", "WaitLeft_12", "WaitLeft_11", "WaitLeft_6", "WaitLeft_20", "WaitLeft_3", "WaitLeft_4", "WaitLeft_14", "WaitLeft_13", "WaitLeft_15", "WaitLeft_8", "WaitLeft_1", "WaitLeft_7", "WaitLeft_16", "WaitLeft_2", "WaitLeft_10", "WaitLeft_17") <= 36) & (tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8") <= 45)) & (! (9 <= tokens-count("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1")))) | (! ((tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8") <= 57) | (tokens-count("HasLeft_5", "HasLeft_13", "HasLeft_6", "HasLeft_7", "HasLeft_12", "HasLeft_8", "HasLeft_19", "HasLeft_11", "HasLeft_1", "HasLeft_20", "HasLeft_10", "HasLeft_16", "HasLeft_2", "HasLeft_9", "HasLeft_18", "HasLeft_17", "HasLeft_3", "HasLeft_15", "HasLeft_4", "HasLeft_14") <= tokens-count("HasRight_13", "HasRight_7", "HasRight_14", "HasRight_1", "HasRight_15", "HasRight_2", "HasRight_6", "HasRight_9", "HasRight_16", "HasRight_20", "HasRight_19", "HasRight_8", "HasRight_17", "HasRight_18", "HasRight_4", "HasRight_10", "HasRight_3", "HasRight_11", "HasRight_12", "HasRight_5"))))))))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-2025-07
   "Automatically generated by Citili v2025"
   is:
      E (((E (X (E (X (((44 <= tokens-count("Neighbourhood_14_4", "Neighbourhood_1_11", "Neighbourhood_17_5", "Neighbourhood_8_13", "Neighbourhood_12_7", "Neighbourhood_14_19", "Neighbourhood_4_6", "Neighbourhood_1_16", "Neighbourhood_2_10", "Neighbourhood_16_4", "Neighbourhood_7_18", "Neighbourhood_12_10", "Neighbourhood_3_5", "Neighbourhood_11_6", "Neighbourhood_13_20", "Neighbourhood_11_11", "Neighbourhood_20_11", "Neighbourhood_14_14", "Neighbourhood_5_7", "Neighbourhood_5_14", "Neighbourhood_9_17", "Neighbourhood_5_19", "Neighbourhood_17_2", "Neighbourhood_18_16", "Neighbourhood_9_2", "Neighbourhood_12_1", "Neighbourhood_4_20", "Neighbourhood_10_5", "Neighbourhood_8_1", "Neighbourhood_8_2", "Neighbourhood_18_8", "Neighbourhood_10_11", "Neighbourhood_15_8", "Neighbourhood_16_13", "Neighbourhood_9_4", "Neighbourhood_13_8", "Neighbourhood_3_15", "Neighbourhood_9_16", "Neighbourhood_15_3", "Neighbourhood_19_7", "Neighbourhood_11_16", "Neighbourhood_18_12", "Neighbourhood_4_9", "Neighbourhood_15_1", "Neighbourhood_1_2", "Neighbourhood_2_2", "Neighbourhood_2_4", "Neighbourhood_6_3", "Neighbourhood_3_10", "Neighbourhood_10_15", "Neighbourhood_9_12", "Neighbourhood_6_8", "Neighbourhood_1_1", "Neighbourhood_12_18", "Neighbourhood_19_16", "Neighbourhood_19_9", "Neighbourhood_11_15", "Neighbourhood_17_4", "Neighbourhood_1_12", "Neighbourhood_11_7", "Neighbourhood_3_4", "Neighbourhood_6_19", "Neighbourhood_5_6", "Neighbourhood_20_20", "Neighbourhood_20_15", "Neighbourhood_12_9", "Neighbourhood_19_18", "Neighbourhood_17_6", "Neighbourhood_19_6", "Neighbourhood_14_11", "Neighbourhood_15_14", "Neighbourhood_5_18", "Neighbourhood_7_11", "Neighbourhood_8_12", "Neighbourhood_11_5", "Neighbourhood_2_13", "Neighbourhood_17_17", "Neighbourhood_5_9", "Neighbourhood_15_12", "Neighbourhood_9_13", "Neighbourhood_8_17", "Neighbourhood_13_19", "Neighbourhood_6_10", "Neighbourhood_9_15", "Neighbourhood_4_18", "Neighbourhood_20_9", "Neighbourhood_20_10", "Neighbourhood_7_20", "Neighbourhood_20_19", "Neighbourhood_5_8", "Neighbourhood_14_2", "Neighbourhood_2_15", "Neighbourhood_3_16", "Neighbourhood_1_3", "Neighbourhood_16_15", "Neighbourhood_3_2", "Neighbourhood_8_3", "Neighbourhood_9_1", "Neighbourhood_7_2", "Neighbourhood_10_16", "Neighbourhood_13_10", "Neighbourhood_15_13", "Neighbourhood_2_14", "Neighbourhood_14_10", "Neighbourhood_4_8", "Neighbourhood_4_17", "Neighbourhood_17_16", "Neighbourhood_18_6", "Neighbourhood_13_18", "Neighbourhood_11_4", "Neighbourhood_7_19", "Neighbourhood_16_14", "Neighbourhood_1_13", "Neighbourhood_11_17", "Neighbourhood_7_12", "Neighbourhood_9_14", "Neighbourhood_13_11", "Neighbourhood_12_19", "Neighbourhood_18_17", "Neighbourhood_14_1", "Neighbourhood_18_4", "Neighbourhood_6_9", "Neighbourhood_6_20", "Neighbourhood_14_20", "Neighbourhood_16_6", "Neighbourhood_7_9", "Neighbourhood_8_15", "Neighbourhood_9_5", "Neighbourhood_5_10", "Neighbourhood_18_18", "Neighbourhood_6_2", "Neighbourhood_20_2", "Neighbourhood_3_7", "Neighbourhood_19_10", "Neighbourhood_17_8", "Neighbourhood_20_8", "Neighbourhood_11_9", "Neighbourhood_2_16", "Neighbourhood_8_14", "Neighbourhood_2_12", "Neighbourhood_8_4", "Neighbourhood_6_7", "Neighbourhood_19_5", "Neighbourhood_1_4", "Neighbourhood_3_14", "Neighbourhood_1_20", "Neighbourhood_8_11", "Neighbourhood_16_12", "Neighbourhood_15_20", "Neighbourhood_11_8", "Neighbourhood_17_14", "Neighbourhood_19_20", "Neighbourhood_9_3", "Neighbourhood_18_19", "Neighbourhood_11_19", "Neighbourhood_10_4", "Neighbourhood_4_2", "Neighbourhood_13_7", "Neighbourhood_6_12", "Neighbourhood_16_5", "Neighbourhood_5_11", "Neighbourhood_6_1", "Neighbourhood_4_7", "Neighbourhood_13_12", "Neighbourhood_3_3", "Neighbourhood_8_10", "Neighbourhood_17_1", "Neighbourhood_10_17", "Neighbourhood_15_10", "Neighbourhood_19_4", "Neighbourhood_15_2", "Neighbourhood_3_8", "Neighbourhood_18_5", "Neighbourhood_16_16", "Neighbourhood_14_13", "Neighbourhood_18_10", "Neighbourhood_3_12", "Neighbourhood_1_19", "Neighbourhood_10_18", "Neighbourhood_9_20", "Neighbourhood_18_14", "Neighbourhood_3_18", "Neighbourhood_4_13", "Neighbourhood_11_14", "Neighbourhood_20_3", "Neighbourhood_16_1", "Neighbourhood_19_8", "Neighbourhood_17_9", "Neighbourhood_15_16", "Neighbourhood_16_11", "Neighbourhood_6_6", "Neighbourhood_2_18", "Neighbourhood_10_13", "Neighbourhood_10_9", "Neighbourhood_12_8", "Neighbourhood_8_5", "Neighbourhood_6_11", "Neighbourhood_5_2", "Neighbourhood_8_9", "Neighbourhood_14_12", "Neighbourhood_20_18", "Neighbourhood_14_15", "Neighbourhood_11_3", "Neighbourhood_19_14", "Neighbourhood_7_10", "Neighbourhood_5_12", "Neighbourhood_7_1", "Neighbourhood_14_7", "Neighbourhood_18_20", "Neighbourhood_5_17", "Neighbourhood_11_18", "Neighbourhood_2_17", "Neighbourhood_11_13", "Neighbourhood_12_2", "Neighbourhood_7_15", "Neighbourhood_19_19", "Neighbourhood_10_3", "Neighbourhood_16_10", "Neighbourhood_10_19", "Neighbourhood_12_17", "Neighbourhood_17_10", "Neighbourhood_2_3", "Neighbourhood_6_4", "Neighbourhood_3_13", "Neighbourhood_15_7", "Neighbourhood_14_5", "Neighbourhood_10_20", "Neighbourhood_10_14", "Neighbourhood_1_18", "Neighbourhood_15_6", "Neighbourhood_15_11", "Neighbourhood_13_2", "Neighbourhood_15_18", "Neighbourhood_17_15", "Neighbourhood_8_20", "Neighbourhood_7_6", "Neighbourhood_15_15", "Neighbourhood_8_18", "Neighbourhood_4_12", "Neighbourhood_3_20", "Neighbourhood_4_16", "Neighbourhood_13_4", "Neighbourhood_18_9", "Neighbourhood_9_9", "Neighbourhood_20_4", "Neighbourhood_1_6", "Neighbourhood_16_19", "Neighbourhood_8_7", "Neighbourhood_7_5", "Neighbourhood_19_3", "Neighbourhood_17_20", "Neighbourhood_14_16", "Neighbourhood_12_3", "Neighbourhood_3_17", "Neighbourhood_6_15", "Neighbourhood_9_19", "Neighbourhood_6_14", "Neighbourhood_2_8", "Neighbourhood_1_14", "Neighbourhood_11_2", "Neighbourhood_9_8", "Neighbourhood_2_19", "Neighbourhood_18_2", "Neighbourhood_6_5", "Neighbourhood_13_17", "Neighbourhood_20_14", "Neighbourhood_2_7", "Neighbourhood_12_13", "Neighbourhood_5_3", "Neighbourhood_13_14", "Neighbourhood_14_6", "Neighbourhood_1_8", "Neighbourhood_6_13", "Neighbourhood_3_19", "Neighbourhood_16_20", "Neighbourhood_7_7", "Neighbourhood_5_16", "Neighbourhood_13_6", "Neighbourhood_7_4", "Neighbourhood_18_3", "Neighbourhood_12_12", "Neighbourhood_1_9", "Neighbourhood_19_12", "Neighbourhood_16_7", "Neighbourhood_8_6", "Neighbourhood_2_20", "Neighbourhood_9_18", "Neighbourhood_14_8", "Neighbourhood_20_17", "Neighbourhood_15_5", "Neighbourhood_20_5", "Neighbourhood_18_1", "Neighbourhood_5_1", "Neighbourhood_19_1", "Neighbourhood_10_8", "Neighbourhood_18_11", "Neighbourhood_12_5", "Neighbourhood_15_9", "Neighbourhood_1_15", "Neighbourhood_13_16", "Neighbourhood_12_15", "Neighbourhood_4_1", "Neighbourhood_11_20", "Neighbourhood_5_5", "Neighbourhood_1_5", "Neighbourhood_13_13", "Neighbourhood_9_6", "Neighbourhood_16_9", "Neighbourhood_14_18", "Neighbourhood_5_15", "Neighbourhood_20_6", "Neighbourhood_8_19", "Neighbourhood_19_15", "Neighbourhood_20_13", "Neighbourhood_7_14", "Neighbourhood_12_4", "Neighbourhood_10_2", "Neighbourhood_9_10", "Neighbourhood_4_4", "Neighbourhood_4_11", "Neighbourhood_10_10", "Neighbourhood_17_19", "Neighbourhood_2_5", "Neighbourhood_17_11", "Neighbourhood_2_9", "Neighbourhood_6_16", "Neighbourhood_3_11", "Neighbourhood_20_7", "Neighbourhood_17_7", "Neighbourhood_12_14", "Neighbourhood_11_12", "Neighbourhood_7_17", "Neighbourhood_13_3", "Neighbourhood_14_17", "Neighbourhood_7_8", "Neighbourhood_19_13", "Neighbourhood_10_7", "Neighbourhood_10_1", "Neighbourhood_3_1", "Neighbourhood_17_3", "Neighbourhood_19_2", "Neighbourhood_7_16", "Neighbourhood_20_16", "Neighbourhood_15_4", "Neighbourhood_4_19", "Neighbourhood_10_6", "Neighbourhood_7_13", "Neighbourhood_5_13", "Neighbourhood_4_10", "Neighbourhood_17_18", "Neighbourhood_12_20", "Neighbourhood_17_13", "Neighbourhood_5_20", "Neighbourhood_3_9", "Neighbourhood_13_15", "Neighbourhood_14_9", "Neighbourhood_9_7", "Neighbourhood_12_11", "Neighbourhood_19_11", "Neighbourhood_20_12", "Neighbourhood_11_10", "Neighbourhood_3_6", "Neighbourhood_12_6", "Neighbourhood_4_15", "Neighbourhood_18_15", "Neighbourhood_20_1", "Neighbourhood_4_3", "Neighbourhood_6_18", "Neighbourhood_19_17", "Neighbourhood_1_10", "Neighbourhood_2_6", "Neighbourhood_8_8", "Neighbourhood_17_12", "Neighbourhood_5_4", "Neighbourhood_16_3", "Neighbourhood_16_8", "Neighbourhood_15_19", "Neighbourhood_9_11", "Neighbourhood_12_16", "Neighbourhood_14_3", "Neighbourhood_16_17", "Neighbourhood_10_12", "Neighbourhood_4_5", "Neighbourhood_16_18", "Neighbourhood_4_14", "Neighbourhood_18_13", "Neighbourhood_15_17", "Neighbourhood_1_17", "Neighbourhood_13_5", "Neighbourhood_13_9", "Neighbourhood_11_1", "Neighbourhood_7_3", "Neighbourhood_16_2", "Neighbourhood_2_1", "Neighbourhood_6_17", "Neighbourhood_1_7", "Neighbourhood_8_16", "Neighbourhood_2_11", "Neighbourhood_18_7", "Neighbourhood_13_1")) | (49 <= tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8"))) | (! (tokens-count("Neighbourhood_14_4", "Neighbourhood_1_11", "Neighbourhood_17_5", "Neighbourhood_8_13", "Neighbourhood_12_7", "Neighbourhood_14_19", "Neighbourhood_4_6", "Neighbourhood_1_16", "Neighbourhood_2_10", "Neighbourhood_16_4", "Neighbourhood_7_18", "Neighbourhood_12_10", "Neighbourhood_3_5", "Neighbourhood_11_6", "Neighbourhood_13_20", "Neighbourhood_11_11", "Neighbourhood_20_11", "Neighbourhood_14_14", "Neighbourhood_5_7", "Neighbourhood_5_14", "Neighbourhood_9_17", "Neighbourhood_5_19", "Neighbourhood_17_2", "Neighbourhood_18_16", "Neighbourhood_9_2", "Neighbourhood_12_1", "Neighbourhood_4_20", "Neighbourhood_10_5", "Neighbourhood_8_1", "Neighbourhood_8_2", "Neighbourhood_18_8", "Neighbourhood_10_11", "Neighbourhood_15_8", "Neighbourhood_16_13", "Neighbourhood_9_4", "Neighbourhood_13_8", "Neighbourhood_3_15", "Neighbourhood_9_16", "Neighbourhood_15_3", "Neighbourhood_19_7", "Neighbourhood_11_16", "Neighbourhood_18_12", "Neighbourhood_4_9", "Neighbourhood_15_1", "Neighbourhood_1_2", "Neighbourhood_2_2", "Neighbourhood_2_4", "Neighbourhood_6_3", "Neighbourhood_3_10", "Neighbourhood_10_15", "Neighbourhood_9_12", "Neighbourhood_6_8", "Neighbourhood_1_1", "Neighbourhood_12_18", "Neighbourhood_19_16", "Neighbourhood_19_9", "Neighbourhood_11_15", "Neighbourhood_17_4", "Neighbourhood_1_12", "Neighbourhood_11_7", "Neighbourhood_3_4", "Neighbourhood_6_19", "Neighbourhood_5_6", "Neighbourhood_20_20", "Neighbourhood_20_15", "Neighbourhood_12_9", "Neighbourhood_19_18", "Neighbourhood_17_6", "Neighbourhood_19_6", "Neighbourhood_14_11", "Neighbourhood_15_14", "Neighbourhood_5_18", "Neighbourhood_7_11", "Neighbourhood_8_12", "Neighbourhood_11_5", "Neighbourhood_2_13", "Neighbourhood_17_17", "Neighbourhood_5_9", "Neighbourhood_15_12", "Neighbourhood_9_13", "Neighbourhood_8_17", "Neighbourhood_13_19", "Neighbourhood_6_10", "Neighbourhood_9_15", "Neighbourhood_4_18", "Neighbourhood_20_9", "Neighbourhood_20_10", "Neighbourhood_7_20", "Neighbourhood_20_19", "Neighbourhood_5_8", "Neighbourhood_14_2", "Neighbourhood_2_15", "Neighbourhood_3_16", "Neighbourhood_1_3", "Neighbourhood_16_15", "Neighbourhood_3_2", "Neighbourhood_8_3", "Neighbourhood_9_1", "Neighbourhood_7_2", "Neighbourhood_10_16", "Neighbourhood_13_10", "Neighbourhood_15_13", "Neighbourhood_2_14", "Neighbourhood_14_10", "Neighbourhood_4_8", "Neighbourhood_4_17", "Neighbourhood_17_16", "Neighbourhood_18_6", "Neighbourhood_13_18", "Neighbourhood_11_4", "Neighbourhood_7_19", "Neighbourhood_16_14", "Neighbourhood_1_13", "Neighbourhood_11_17", "Neighbourhood_7_12", "Neighbourhood_9_14", "Neighbourhood_13_11", "Neighbourhood_12_19", "Neighbourhood_18_17", "Neighbourhood_14_1", "Neighbourhood_18_4", "Neighbourhood_6_9", "Neighbourhood_6_20", "Neighbourhood_14_20", "Neighbourhood_16_6", "Neighbourhood_7_9", "Neighbourhood_8_15", "Neighbourhood_9_5", "Neighbourhood_5_10", "Neighbourhood_18_18", "Neighbourhood_6_2", "Neighbourhood_20_2", "Neighbourhood_3_7", "Neighbourhood_19_10", "Neighbourhood_17_8", "Neighbourhood_20_8", "Neighbourhood_11_9", "Neighbourhood_2_16", "Neighbourhood_8_14", "Neighbourhood_2_12", "Neighbourhood_8_4", "Neighbourhood_6_7", "Neighbourhood_19_5", "Neighbourhood_1_4", "Neighbourhood_3_14", "Neighbourhood_1_20", "Neighbourhood_8_11", "Neighbourhood_16_12", "Neighbourhood_15_20", "Neighbourhood_11_8", "Neighbourhood_17_14", "Neighbourhood_19_20", "Neighbourhood_9_3", "Neighbourhood_18_19", "Neighbourhood_11_19", "Neighbourhood_10_4", "Neighbourhood_4_2", "Neighbourhood_13_7", "Neighbourhood_6_12", "Neighbourhood_16_5", "Neighbourhood_5_11", "Neighbourhood_6_1", "Neighbourhood_4_7", "Neighbourhood_13_12", "Neighbourhood_3_3", "Neighbourhood_8_10", "Neighbourhood_17_1", "Neighbourhood_10_17", "Neighbourhood_15_10", "Neighbourhood_19_4", "Neighbourhood_15_2", "Neighbourhood_3_8", "Neighbourhood_18_5", "Neighbourhood_16_16", "Neighbourhood_14_13", "Neighbourhood_18_10", "Neighbourhood_3_12", "Neighbourhood_1_19", "Neighbourhood_10_18", "Neighbourhood_9_20", "Neighbourhood_18_14", "Neighbourhood_3_18", "Neighbourhood_4_13", "Neighbourhood_11_14", "Neighbourhood_20_3", "Neighbourhood_16_1", "Neighbourhood_19_8", "Neighbourhood_17_9", "Neighbourhood_15_16", "Neighbourhood_16_11", "Neighbourhood_6_6", "Neighbourhood_2_18", "Neighbourhood_10_13", "Neighbourhood_10_9", "Neighbourhood_12_8", "Neighbourhood_8_5", "Neighbourhood_6_11", "Neighbourhood_5_2", "Neighbourhood_8_9", "Neighbourhood_14_12", "Neighbourhood_20_18", "Neighbourhood_14_15", "Neighbourhood_11_3", "Neighbourhood_19_14", "Neighbourhood_7_10", "Neighbourhood_5_12", "Neighbourhood_7_1", "Neighbourhood_14_7", "Neighbourhood_18_20", "Neighbourhood_5_17", "Neighbourhood_11_18", "Neighbourhood_2_17", "Neighbourhood_11_13", "Neighbourhood_12_2", "Neighbourhood_7_15", "Neighbourhood_19_19", "Neighbourhood_10_3", "Neighbourhood_16_10", "Neighbourhood_10_19", "Neighbourhood_12_17", "Neighbourhood_17_10", "Neighbourhood_2_3", "Neighbourhood_6_4", "Neighbourhood_3_13", "Neighbourhood_15_7", "Neighbourhood_14_5", "Neighbourhood_10_20", "Neighbourhood_10_14", "Neighbourhood_1_18", "Neighbourhood_15_6", "Neighbourhood_15_11", "Neighbourhood_13_2", "Neighbourhood_15_18", "Neighbourhood_17_15", "Neighbourhood_8_20", "Neighbourhood_7_6", "Neighbourhood_15_15", "Neighbourhood_8_18", "Neighbourhood_4_12", "Neighbourhood_3_20", "Neighbourhood_4_16", "Neighbourhood_13_4", "Neighbourhood_18_9", "Neighbourhood_9_9", "Neighbourhood_20_4", "Neighbourhood_1_6", "Neighbourhood_16_19", "Neighbourhood_8_7", "Neighbourhood_7_5", "Neighbourhood_19_3", "Neighbourhood_17_20", "Neighbourhood_14_16", "Neighbourhood_12_3", "Neighbourhood_3_17", "Neighbourhood_6_15", "Neighbourhood_9_19", "Neighbourhood_6_14", "Neighbourhood_2_8", "Neighbourhood_1_14", "Neighbourhood_11_2", "Neighbourhood_9_8", "Neighbourhood_2_19", "Neighbourhood_18_2", "Neighbourhood_6_5", "Neighbourhood_13_17", "Neighbourhood_20_14", "Neighbourhood_2_7", "Neighbourhood_12_13", "Neighbourhood_5_3", "Neighbourhood_13_14", "Neighbourhood_14_6", "Neighbourhood_1_8", "Neighbourhood_6_13", "Neighbourhood_3_19", "Neighbourhood_16_20", "Neighbourhood_7_7", "Neighbourhood_5_16", "Neighbourhood_13_6", "Neighbourhood_7_4", "Neighbourhood_18_3", "Neighbourhood_12_12", "Neighbourhood_1_9", "Neighbourhood_19_12", "Neighbourhood_16_7", "Neighbourhood_8_6", "Neighbourhood_2_20", "Neighbourhood_9_18", "Neighbourhood_14_8", "Neighbourhood_20_17", "Neighbourhood_15_5", "Neighbourhood_20_5", "Neighbourhood_18_1", "Neighbourhood_5_1", "Neighbourhood_19_1", "Neighbourhood_10_8", "Neighbourhood_18_11", "Neighbourhood_12_5", "Neighbourhood_15_9", "Neighbourhood_1_15", "Neighbourhood_13_16", "Neighbourhood_12_15", "Neighbourhood_4_1", "Neighbourhood_11_20", "Neighbourhood_5_5", "Neighbourhood_1_5", "Neighbourhood_13_13", "Neighbourhood_9_6", "Neighbourhood_16_9", "Neighbourhood_14_18", "Neighbourhood_5_15", "Neighbourhood_20_6", "Neighbourhood_8_19", "Neighbourhood_19_15", "Neighbourhood_20_13", "Neighbourhood_7_14", "Neighbourhood_12_4", "Neighbourhood_10_2", "Neighbourhood_9_10", "Neighbourhood_4_4", "Neighbourhood_4_11", "Neighbourhood_10_10", "Neighbourhood_17_19", "Neighbourhood_2_5", "Neighbourhood_17_11", "Neighbourhood_2_9", "Neighbourhood_6_16", "Neighbourhood_3_11", "Neighbourhood_20_7", "Neighbourhood_17_7", "Neighbourhood_12_14", "Neighbourhood_11_12", "Neighbourhood_7_17", "Neighbourhood_13_3", "Neighbourhood_14_17", "Neighbourhood_7_8", "Neighbourhood_19_13", "Neighbourhood_10_7", "Neighbourhood_10_1", "Neighbourhood_3_1", "Neighbourhood_17_3", "Neighbourhood_19_2", "Neighbourhood_7_16", "Neighbourhood_20_16", "Neighbourhood_15_4", "Neighbourhood_4_19", "Neighbourhood_10_6", "Neighbourhood_7_13", "Neighbourhood_5_13", "Neighbourhood_4_10", "Neighbourhood_17_18", "Neighbourhood_12_20", "Neighbourhood_17_13", "Neighbourhood_5_20", "Neighbourhood_3_9", "Neighbourhood_13_15", "Neighbourhood_14_9", "Neighbourhood_9_7", "Neighbourhood_12_11", "Neighbourhood_19_11", "Neighbourhood_20_12", "Neighbourhood_11_10", "Neighbourhood_3_6", "Neighbourhood_12_6", "Neighbourhood_4_15", "Neighbourhood_18_15", "Neighbourhood_20_1", "Neighbourhood_4_3", "Neighbourhood_6_18", "Neighbourhood_19_17", "Neighbourhood_1_10", "Neighbourhood_2_6", "Neighbourhood_8_8", "Neighbourhood_17_12", "Neighbourhood_5_4", "Neighbourhood_16_3", "Neighbourhood_16_8", "Neighbourhood_15_19", "Neighbourhood_9_11", "Neighbourhood_12_16", "Neighbourhood_14_3", "Neighbourhood_16_17", "Neighbourhood_10_12", "Neighbourhood_4_5", "Neighbourhood_16_18", "Neighbourhood_4_14", "Neighbourhood_18_13", "Neighbourhood_15_17", "Neighbourhood_1_17", "Neighbourhood_13_5", "Neighbourhood_13_9", "Neighbourhood_11_1", "Neighbourhood_7_3", "Neighbourhood_16_2", "Neighbourhood_2_1", "Neighbourhood_6_17", "Neighbourhood_1_7", "Neighbourhood_8_16", "Neighbourhood_2_11", "Neighbourhood_18_7", "Neighbourhood_13_1") <= 46))))))) & (((E (G (! (E (G (12 <= tokens-count("HasRight_13", "HasRight_7", "HasRight_14", "HasRight_1", "HasRight_15", "HasRight_2", "HasRight_6", "HasRight_9", "HasRight_16", "HasRight_20", "HasRight_19", "HasRight_8", "HasRight_17", "HasRight_18", "HasRight_4", "HasRight_10", "HasRight_3", "HasRight_11", "HasRight_12", "HasRight_5"))))))) | ((E ((tokens-count("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1") <= tokens-count("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1")) U (tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8") <= tokens-count("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1")))) | (E (F ((tokens-count("Neighbourhood_14_4", "Neighbourhood_1_11", "Neighbourhood_17_5", "Neighbourhood_8_13", "Neighbourhood_12_7", "Neighbourhood_14_19", "Neighbourhood_4_6", "Neighbourhood_1_16", "Neighbourhood_2_10", "Neighbourhood_16_4", "Neighbourhood_7_18", "Neighbourhood_12_10", "Neighbourhood_3_5", "Neighbourhood_11_6", "Neighbourhood_13_20", "Neighbourhood_11_11", "Neighbourhood_20_11", "Neighbourhood_14_14", "Neighbourhood_5_7", "Neighbourhood_5_14", "Neighbourhood_9_17", "Neighbourhood_5_19", "Neighbourhood_17_2", "Neighbourhood_18_16", "Neighbourhood_9_2", "Neighbourhood_12_1", "Neighbourhood_4_20", "Neighbourhood_10_5", "Neighbourhood_8_1", "Neighbourhood_8_2", "Neighbourhood_18_8", "Neighbourhood_10_11", "Neighbourhood_15_8", "Neighbourhood_16_13", "Neighbourhood_9_4", "Neighbourhood_13_8", "Neighbourhood_3_15", "Neighbourhood_9_16", "Neighbourhood_15_3", "Neighbourhood_19_7", "Neighbourhood_11_16", "Neighbourhood_18_12", "Neighbourhood_4_9", "Neighbourhood_15_1", "Neighbourhood_1_2", "Neighbourhood_2_2", "Neighbourhood_2_4", "Neighbourhood_6_3", "Neighbourhood_3_10", "Neighbourhood_10_15", "Neighbourhood_9_12", "Neighbourhood_6_8", "Neighbourhood_1_1", "Neighbourhood_12_18", "Neighbourhood_19_16", "Neighbourhood_19_9", "Neighbourhood_11_15", "Neighbourhood_17_4", "Neighbourhood_1_12", "Neighbourhood_11_7", "Neighbourhood_3_4", "Neighbourhood_6_19", "Neighbourhood_5_6", "Neighbourhood_20_20", "Neighbourhood_20_15", "Neighbourhood_12_9", "Neighbourhood_19_18", "Neighbourhood_17_6", "Neighbourhood_19_6", "Neighbourhood_14_11", "Neighbourhood_15_14", "Neighbourhood_5_18", "Neighbourhood_7_11", "Neighbourhood_8_12", "Neighbourhood_11_5", "Neighbourhood_2_13", "Neighbourhood_17_17", "Neighbourhood_5_9", "Neighbourhood_15_12", "Neighbourhood_9_13", "Neighbourhood_8_17", "Neighbourhood_13_19", "Neighbourhood_6_10", "Neighbourhood_9_15", "Neighbourhood_4_18", "Neighbourhood_20_9", "Neighbourhood_20_10", "Neighbourhood_7_20", "Neighbourhood_20_19", "Neighbourhood_5_8", "Neighbourhood_14_2", "Neighbourhood_2_15", "Neighbourhood_3_16", "Neighbourhood_1_3", "Neighbourhood_16_15", "Neighbourhood_3_2", "Neighbourhood_8_3", "Neighbourhood_9_1", "Neighbourhood_7_2", "Neighbourhood_10_16", "Neighbourhood_13_10", "Neighbourhood_15_13", "Neighbourhood_2_14", "Neighbourhood_14_10", "Neighbourhood_4_8", "Neighbourhood_4_17", "Neighbourhood_17_16", "Neighbourhood_18_6", "Neighbourhood_13_18", "Neighbourhood_11_4", "Neighbourhood_7_19", "Neighbourhood_16_14", "Neighbourhood_1_13", "Neighbourhood_11_17", "Neighbourhood_7_12", "Neighbourhood_9_14", "Neighbourhood_13_11", "Neighbourhood_12_19", "Neighbourhood_18_17", "Neighbourhood_14_1", "Neighbourhood_18_4", "Neighbourhood_6_9", "Neighbourhood_6_20", "Neighbourhood_14_20", "Neighbourhood_16_6", "Neighbourhood_7_9", "Neighbourhood_8_15", "Neighbourhood_9_5", "Neighbourhood_5_10", "Neighbourhood_18_18", "Neighbourhood_6_2", "Neighbourhood_20_2", "Neighbourhood_3_7", "Neighbourhood_19_10", "Neighbourhood_17_8", "Neighbourhood_20_8", "Neighbourhood_11_9", "Neighbourhood_2_16", "Neighbourhood_8_14", "Neighbourhood_2_12", "Neighbourhood_8_4", "Neighbourhood_6_7", "Neighbourhood_19_5", "Neighbourhood_1_4", "Neighbourhood_3_14", "Neighbourhood_1_20", "Neighbourhood_8_11", "Neighbourhood_16_12", "Neighbourhood_15_20", "Neighbourhood_11_8", "Neighbourhood_17_14", "Neighbourhood_19_20", "Neighbourhood_9_3", "Neighbourhood_18_19", "Neighbourhood_11_19", "Neighbourhood_10_4", "Neighbourhood_4_2", "Neighbourhood_13_7", "Neighbourhood_6_12", "Neighbourhood_16_5", "Neighbourhood_5_11", "Neighbourhood_6_1", "Neighbourhood_4_7", "Neighbourhood_13_12", "Neighbourhood_3_3", "Neighbourhood_8_10", "Neighbourhood_17_1", "Neighbourhood_10_17", "Neighbourhood_15_10", "Neighbourhood_19_4", "Neighbourhood_15_2", "Neighbourhood_3_8", "Neighbourhood_18_5", "Neighbourhood_16_16", "Neighbourhood_14_13", "Neighbourhood_18_10", "Neighbourhood_3_12", "Neighbourhood_1_19", "Neighbourhood_10_18", "Neighbourhood_9_20", "Neighbourhood_18_14", "Neighbourhood_3_18", "Neighbourhood_4_13", "Neighbourhood_11_14", "Neighbourhood_20_3", "Neighbourhood_16_1", "Neighbourhood_19_8", "Neighbourhood_17_9", "Neighbourhood_15_16", "Neighbourhood_16_11", "Neighbourhood_6_6", "Neighbourhood_2_18", "Neighbourhood_10_13", "Neighbourhood_10_9", "Neighbourhood_12_8", "Neighbourhood_8_5", "Neighbourhood_6_11", "Neighbourhood_5_2", "Neighbourhood_8_9", "Neighbourhood_14_12", "Neighbourhood_20_18", "Neighbourhood_14_15", "Neighbourhood_11_3", "Neighbourhood_19_14", "Neighbourhood_7_10", "Neighbourhood_5_12", "Neighbourhood_7_1", "Neighbourhood_14_7", "Neighbourhood_18_20", "Neighbourhood_5_17", "Neighbourhood_11_18", "Neighbourhood_2_17", "Neighbourhood_11_13", "Neighbourhood_12_2", "Neighbourhood_7_15", "Neighbourhood_19_19", "Neighbourhood_10_3", "Neighbourhood_16_10", "Neighbourhood_10_19", "Neighbourhood_12_17", "Neighbourhood_17_10", "Neighbourhood_2_3", "Neighbourhood_6_4", "Neighbourhood_3_13", "Neighbourhood_15_7", "Neighbourhood_14_5", "Neighbourhood_10_20", "Neighbourhood_10_14", "Neighbourhood_1_18", "Neighbourhood_15_6", "Neighbourhood_15_11", "Neighbourhood_13_2", "Neighbourhood_15_18", "Neighbourhood_17_15", "Neighbourhood_8_20", "Neighbourhood_7_6", "Neighbourhood_15_15", "Neighbourhood_8_18", "Neighbourhood_4_12", "Neighbourhood_3_20", "Neighbourhood_4_16", "Neighbourhood_13_4", "Neighbourhood_18_9", "Neighbourhood_9_9", "Neighbourhood_20_4", "Neighbourhood_1_6", "Neighbourhood_16_19", "Neighbourhood_8_7", "Neighbourhood_7_5", "Neighbourhood_19_3", "Neighbourhood_17_20", "Neighbourhood_14_16", "Neighbourhood_12_3", "Neighbourhood_3_17", "Neighbourhood_6_15", "Neighbourhood_9_19", "Neighbourhood_6_14", "Neighbourhood_2_8", "Neighbourhood_1_14", "Neighbourhood_11_2", "Neighbourhood_9_8", "Neighbourhood_2_19", "Neighbourhood_18_2", "Neighbourhood_6_5", "Neighbourhood_13_17", "Neighbourhood_20_14", "Neighbourhood_2_7", "Neighbourhood_12_13", "Neighbourhood_5_3", "Neighbourhood_13_14", "Neighbourhood_14_6", "Neighbourhood_1_8", "Neighbourhood_6_13", "Neighbourhood_3_19", "Neighbourhood_16_20", "Neighbourhood_7_7", "Neighbourhood_5_16", "Neighbourhood_13_6", "Neighbourhood_7_4", "Neighbourhood_18_3", "Neighbourhood_12_12", "Neighbourhood_1_9", "Neighbourhood_19_12", "Neighbourhood_16_7", "Neighbourhood_8_6", "Neighbourhood_2_20", "Neighbourhood_9_18", "Neighbourhood_14_8", "Neighbourhood_20_17", "Neighbourhood_15_5", "Neighbourhood_20_5", "Neighbourhood_18_1", "Neighbourhood_5_1", "Neighbourhood_19_1", "Neighbourhood_10_8", "Neighbourhood_18_11", "Neighbourhood_12_5", "Neighbourhood_15_9", "Neighbourhood_1_15", "Neighbourhood_13_16", "Neighbourhood_12_15", "Neighbourhood_4_1", "Neighbourhood_11_20", "Neighbourhood_5_5", "Neighbourhood_1_5", "Neighbourhood_13_13", "Neighbourhood_9_6", "Neighbourhood_16_9", "Neighbourhood_14_18", "Neighbourhood_5_15", "Neighbourhood_20_6", "Neighbourhood_8_19", "Neighbourhood_19_15", "Neighbourhood_20_13", "Neighbourhood_7_14", "Neighbourhood_12_4", "Neighbourhood_10_2", "Neighbourhood_9_10", "Neighbourhood_4_4", "Neighbourhood_4_11", "Neighbourhood_10_10", "Neighbourhood_17_19", "Neighbourhood_2_5", "Neighbourhood_17_11", "Neighbourhood_2_9", "Neighbourhood_6_16", "Neighbourhood_3_11", "Neighbourhood_20_7", "Neighbourhood_17_7", "Neighbourhood_12_14", "Neighbourhood_11_12", "Neighbourhood_7_17", "Neighbourhood_13_3", "Neighbourhood_14_17", "Neighbourhood_7_8", "Neighbourhood_19_13", "Neighbourhood_10_7", "Neighbourhood_10_1", "Neighbourhood_3_1", "Neighbourhood_17_3", "Neighbourhood_19_2", "Neighbourhood_7_16", "Neighbourhood_20_16", "Neighbourhood_15_4", "Neighbourhood_4_19", "Neighbourhood_10_6", "Neighbourhood_7_13", "Neighbourhood_5_13", "Neighbourhood_4_10", "Neighbourhood_17_18", "Neighbourhood_12_20", "Neighbourhood_17_13", "Neighbourhood_5_20", "Neighbourhood_3_9", "Neighbourhood_13_15", "Neighbourhood_14_9", "Neighbourhood_9_7", "Neighbourhood_12_11", "Neighbourhood_19_11", "Neighbourhood_20_12", "Neighbourhood_11_10", "Neighbourhood_3_6", "Neighbourhood_12_6", "Neighbourhood_4_15", "Neighbourhood_18_15", "Neighbourhood_20_1", "Neighbourhood_4_3", "Neighbourhood_6_18", "Neighbourhood_19_17", "Neighbourhood_1_10", "Neighbourhood_2_6", "Neighbourhood_8_8", "Neighbourhood_17_12", "Neighbourhood_5_4", "Neighbourhood_16_3", "Neighbourhood_16_8", "Neighbourhood_15_19", "Neighbourhood_9_11", "Neighbourhood_12_16", "Neighbourhood_14_3", "Neighbourhood_16_17", "Neighbourhood_10_12", "Neighbourhood_4_5", "Neighbourhood_16_18", "Neighbourhood_4_14", "Neighbourhood_18_13", "Neighbourhood_15_17", "Neighbourhood_1_17", "Neighbourhood_13_5", "Neighbourhood_13_9", "Neighbourhood_11_1", "Neighbourhood_7_3", "Neighbourhood_16_2", "Neighbourhood_2_1", "Neighbourhood_6_17", "Neighbourhood_1_7", "Neighbourhood_8_16", "Neighbourhood_2_11", "Neighbourhood_18_7", "Neighbourhood_13_1") <= tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8")) | (tokens-count("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1") <= tokens-count("Forks_1", "Forks_18", "Forks_7", "Forks_19", "Forks_12", "Forks_8", "Forks_20", "Forks_11", "Forks_5", "Forks_6", "Forks_14", "Forks_13", "Forks_3", "Forks_16", "Forks_4", "Forks_2", "Forks_9", "Forks_10", "Forks_15", "Forks_17"))))))) & ((A (X ((A ((74 <= tokens-count("HasRight_13", "HasRight_7", "HasRight_14", "HasRight_1", "HasRight_15", "HasRight_2", "HasRight_6", "HasRight_9", "HasRight_16", "HasRight_20", "HasRight_19", "HasRight_8", "HasRight_17", "HasRight_18", "HasRight_4", "HasRight_10", "HasRight_3", "HasRight_11", "HasRight_12", "HasRight_5")) U (tokens-count("HasLeft_5", "HasLeft_13", "HasLeft_6", "HasLeft_7", "HasLeft_12", "HasLeft_8", "HasLeft_19", "HasLeft_11", "HasLeft_1", "HasLeft_20", "HasLeft_10", "HasLeft_16", "HasLeft_2", "HasLeft_9", "HasLeft_18", "HasLeft_17", "HasLeft_3", "HasLeft_15", "HasLeft_4", "HasLeft_14") <= tokens-count("Neighbourhood_14_4", "Neighbourhood_1_11", "Neighbourhood_17_5", "Neighbourhood_8_13", "Neighbourhood_12_7", "Neighbourhood_14_19", "Neighbourhood_4_6", "Neighbourhood_1_16", "Neighbourhood_2_10", "Neighbourhood_16_4", "Neighbourhood_7_18", "Neighbourhood_12_10", "Neighbourhood_3_5", "Neighbourhood_11_6", "Neighbourhood_13_20", "Neighbourhood_11_11", "Neighbourhood_20_11", "Neighbourhood_14_14", "Neighbourhood_5_7", "Neighbourhood_5_14", "Neighbourhood_9_17", "Neighbourhood_5_19", "Neighbourhood_17_2", "Neighbourhood_18_16", "Neighbourhood_9_2", "Neighbourhood_12_1", "Neighbourhood_4_20", "Neighbourhood_10_5", "Neighbourhood_8_1", "Neighbourhood_8_2", "Neighbourhood_18_8", "Neighbourhood_10_11", "Neighbourhood_15_8", "Neighbourhood_16_13", "Neighbourhood_9_4", "Neighbourhood_13_8", "Neighbourhood_3_15", "Neighbourhood_9_16", "Neighbourhood_15_3", "Neighbourhood_19_7", "Neighbourhood_11_16", "Neighbourhood_18_12", "Neighbourhood_4_9", "Neighbourhood_15_1", "Neighbourhood_1_2", "Neighbourhood_2_2", "Neighbourhood_2_4", "Neighbourhood_6_3", "Neighbourhood_3_10", "Neighbourhood_10_15", "Neighbourhood_9_12", "Neighbourhood_6_8", "Neighbourhood_1_1", "Neighbourhood_12_18", "Neighbourhood_19_16", "Neighbourhood_19_9", "Neighbourhood_11_15", "Neighbourhood_17_4", "Neighbourhood_1_12", "Neighbourhood_11_7", "Neighbourhood_3_4", "Neighbourhood_6_19", "Neighbourhood_5_6", "Neighbourhood_20_20", "Neighbourhood_20_15", "Neighbourhood_12_9", "Neighbourhood_19_18", "Neighbourhood_17_6", "Neighbourhood_19_6", "Neighbourhood_14_11", "Neighbourhood_15_14", "Neighbourhood_5_18", "Neighbourhood_7_11", "Neighbourhood_8_12", "Neighbourhood_11_5", "Neighbourhood_2_13", "Neighbourhood_17_17", "Neighbourhood_5_9", "Neighbourhood_15_12", "Neighbourhood_9_13", "Neighbourhood_8_17", "Neighbourhood_13_19", "Neighbourhood_6_10", "Neighbourhood_9_15", "Neighbourhood_4_18", "Neighbourhood_20_9", "Neighbourhood_20_10", "Neighbourhood_7_20", "Neighbourhood_20_19", "Neighbourhood_5_8", "Neighbourhood_14_2", "Neighbourhood_2_15", "Neighbourhood_3_16", "Neighbourhood_1_3", "Neighbourhood_16_15", "Neighbourhood_3_2", "Neighbourhood_8_3", "Neighbourhood_9_1", "Neighbourhood_7_2", "Neighbourhood_10_16", "Neighbourhood_13_10", "Neighbourhood_15_13", "Neighbourhood_2_14", "Neighbourhood_14_10", "Neighbourhood_4_8", "Neighbourhood_4_17", "Neighbourhood_17_16", "Neighbourhood_18_6", "Neighbourhood_13_18", "Neighbourhood_11_4", "Neighbourhood_7_19", "Neighbourhood_16_14", "Neighbourhood_1_13", "Neighbourhood_11_17", "Neighbourhood_7_12", "Neighbourhood_9_14", "Neighbourhood_13_11", "Neighbourhood_12_19", "Neighbourhood_18_17", "Neighbourhood_14_1", "Neighbourhood_18_4", "Neighbourhood_6_9", "Neighbourhood_6_20", "Neighbourhood_14_20", "Neighbourhood_16_6", "Neighbourhood_7_9", "Neighbourhood_8_15", "Neighbourhood_9_5", "Neighbourhood_5_10", "Neighbourhood_18_18", "Neighbourhood_6_2", "Neighbourhood_20_2", "Neighbourhood_3_7", "Neighbourhood_19_10", "Neighbourhood_17_8", "Neighbourhood_20_8", "Neighbourhood_11_9", "Neighbourhood_2_16", "Neighbourhood_8_14", "Neighbourhood_2_12", "Neighbourhood_8_4", "Neighbourhood_6_7", "Neighbourhood_19_5", "Neighbourhood_1_4", "Neighbourhood_3_14", "Neighbourhood_1_20", "Neighbourhood_8_11", "Neighbourhood_16_12", "Neighbourhood_15_20", "Neighbourhood_11_8", "Neighbourhood_17_14", "Neighbourhood_19_20", "Neighbourhood_9_3", "Neighbourhood_18_19", "Neighbourhood_11_19", "Neighbourhood_10_4", "Neighbourhood_4_2", "Neighbourhood_13_7", "Neighbourhood_6_12", "Neighbourhood_16_5", "Neighbourhood_5_11", "Neighbourhood_6_1", "Neighbourhood_4_7", "Neighbourhood_13_12", "Neighbourhood_3_3", "Neighbourhood_8_10", "Neighbourhood_17_1", "Neighbourhood_10_17", "Neighbourhood_15_10", "Neighbourhood_19_4", "Neighbourhood_15_2", "Neighbourhood_3_8", "Neighbourhood_18_5", "Neighbourhood_16_16", "Neighbourhood_14_13", "Neighbourhood_18_10", "Neighbourhood_3_12", "Neighbourhood_1_19", "Neighbourhood_10_18", "Neighbourhood_9_20", "Neighbourhood_18_14", "Neighbourhood_3_18", "Neighbourhood_4_13", "Neighbourhood_11_14", "Neighbourhood_20_3", "Neighbourhood_16_1", "Neighbourhood_19_8", "Neighbourhood_17_9", "Neighbourhood_15_16", "Neighbourhood_16_11", "Neighbourhood_6_6", "Neighbourhood_2_18", "Neighbourhood_10_13", "Neighbourhood_10_9", "Neighbourhood_12_8", "Neighbourhood_8_5", "Neighbourhood_6_11", "Neighbourhood_5_2", "Neighbourhood_8_9", "Neighbourhood_14_12", "Neighbourhood_20_18", "Neighbourhood_14_15", "Neighbourhood_11_3", "Neighbourhood_19_14", "Neighbourhood_7_10", "Neighbourhood_5_12", "Neighbourhood_7_1", "Neighbourhood_14_7", "Neighbourhood_18_20", "Neighbourhood_5_17", "Neighbourhood_11_18", "Neighbourhood_2_17", "Neighbourhood_11_13", "Neighbourhood_12_2", "Neighbourhood_7_15", "Neighbourhood_19_19", "Neighbourhood_10_3", "Neighbourhood_16_10", "Neighbourhood_10_19", "Neighbourhood_12_17", "Neighbourhood_17_10", "Neighbourhood_2_3", "Neighbourhood_6_4", "Neighbourhood_3_13", "Neighbourhood_15_7", "Neighbourhood_14_5", "Neighbourhood_10_20", "Neighbourhood_10_14", "Neighbourhood_1_18", "Neighbourhood_15_6", "Neighbourhood_15_11", "Neighbourhood_13_2", "Neighbourhood_15_18", "Neighbourhood_17_15", "Neighbourhood_8_20", "Neighbourhood_7_6", "Neighbourhood_15_15", "Neighbourhood_8_18", "Neighbourhood_4_12", "Neighbourhood_3_20", "Neighbourhood_4_16", "Neighbourhood_13_4", "Neighbourhood_18_9", "Neighbourhood_9_9", "Neighbourhood_20_4", "Neighbourhood_1_6", "Neighbourhood_16_19", "Neighbourhood_8_7", "Neighbourhood_7_5", "Neighbourhood_19_3", "Neighbourhood_17_20", "Neighbourhood_14_16", "Neighbourhood_12_3", "Neighbourhood_3_17", "Neighbourhood_6_15", "Neighbourhood_9_19", "Neighbourhood_6_14", "Neighbourhood_2_8", "Neighbourhood_1_14", "Neighbourhood_11_2", "Neighbourhood_9_8", "Neighbourhood_2_19", "Neighbourhood_18_2", "Neighbourhood_6_5", "Neighbourhood_13_17", "Neighbourhood_20_14", "Neighbourhood_2_7", "Neighbourhood_12_13", "Neighbourhood_5_3", "Neighbourhood_13_14", "Neighbourhood_14_6", "Neighbourhood_1_8", "Neighbourhood_6_13", "Neighbourhood_3_19", "Neighbourhood_16_20", "Neighbourhood_7_7", "Neighbourhood_5_16", "Neighbourhood_13_6", "Neighbourhood_7_4", "Neighbourhood_18_3", "Neighbourhood_12_12", "Neighbourhood_1_9", "Neighbourhood_19_12", "Neighbourhood_16_7", "Neighbourhood_8_6", "Neighbourhood_2_20", "Neighbourhood_9_18", "Neighbourhood_14_8", "Neighbourhood_20_17", "Neighbourhood_15_5", "Neighbourhood_20_5", "Neighbourhood_18_1", "Neighbourhood_5_1", "Neighbourhood_19_1", "Neighbourhood_10_8", "Neighbourhood_18_11", "Neighbourhood_12_5", "Neighbourhood_15_9", "Neighbourhood_1_15", "Neighbourhood_13_16", "Neighbourhood_12_15", "Neighbourhood_4_1", "Neighbourhood_11_20", "Neighbourhood_5_5", "Neighbourhood_1_5", "Neighbourhood_13_13", "Neighbourhood_9_6", "Neighbourhood_16_9", "Neighbourhood_14_18", "Neighbourhood_5_15", "Neighbourhood_20_6", "Neighbourhood_8_19", "Neighbourhood_19_15", "Neighbourhood_20_13", "Neighbourhood_7_14", "Neighbourhood_12_4", "Neighbourhood_10_2", "Neighbourhood_9_10", "Neighbourhood_4_4", "Neighbourhood_4_11", "Neighbourhood_10_10", "Neighbourhood_17_19", "Neighbourhood_2_5", "Neighbourhood_17_11", "Neighbourhood_2_9", "Neighbourhood_6_16", "Neighbourhood_3_11", "Neighbourhood_20_7", "Neighbourhood_17_7", "Neighbourhood_12_14", "Neighbourhood_11_12", "Neighbourhood_7_17", "Neighbourhood_13_3", "Neighbourhood_14_17", "Neighbourhood_7_8", "Neighbourhood_19_13", "Neighbourhood_10_7", "Neighbourhood_10_1", "Neighbourhood_3_1", "Neighbourhood_17_3", "Neighbourhood_19_2", "Neighbourhood_7_16", "Neighbourhood_20_16", "Neighbourhood_15_4", "Neighbourhood_4_19", "Neighbourhood_10_6", "Neighbourhood_7_13", "Neighbourhood_5_13", "Neighbourhood_4_10", "Neighbourhood_17_18", "Neighbourhood_12_20", "Neighbourhood_17_13", "Neighbourhood_5_20", "Neighbourhood_3_9", "Neighbourhood_13_15", "Neighbourhood_14_9", "Neighbourhood_9_7", "Neighbourhood_12_11", "Neighbourhood_19_11", "Neighbourhood_20_12", "Neighbourhood_11_10", "Neighbourhood_3_6", "Neighbourhood_12_6", "Neighbourhood_4_15", "Neighbourhood_18_15", "Neighbourhood_20_1", "Neighbourhood_4_3", "Neighbourhood_6_18", "Neighbourhood_19_17", "Neighbourhood_1_10", "Neighbourhood_2_6", "Neighbourhood_8_8", "Neighbourhood_17_12", "Neighbourhood_5_4", "Neighbourhood_16_3", "Neighbourhood_16_8", "Neighbourhood_15_19", "Neighbourhood_9_11", "Neighbourhood_12_16", "Neighbourhood_14_3", "Neighbourhood_16_17", "Neighbourhood_10_12", "Neighbourhood_4_5", "Neighbourhood_16_18", "Neighbourhood_4_14", "Neighbourhood_18_13", "Neighbourhood_15_17", "Neighbourhood_1_17", "Neighbourhood_13_5", "Neighbourhood_13_9", "Neighbourhood_11_1", "Neighbourhood_7_3", "Neighbourhood_16_2", "Neighbourhood_2_1", "Neighbourhood_6_17", "Neighbourhood_1_7", "Neighbourhood_8_16", "Neighbourhood_2_11", "Neighbourhood_18_7", "Neighbourhood_13_1")))) & (E ((15 <= tokens-count("WaitLeft_9", "WaitLeft_18", "WaitLeft_5", "WaitLeft_19", "WaitLeft_12", "WaitLeft_11", "WaitLeft_6", "WaitLeft_20", "WaitLeft_3", "WaitLeft_4", "WaitLeft_14", "WaitLeft_13", "WaitLeft_15", "WaitLeft_8", "WaitLeft_1", "WaitLeft_7", "WaitLeft_16", "WaitLeft_2", "WaitLeft_10", "WaitLeft_17")) U (tokens-count("Forks_1", "Forks_18", "Forks_7", "Forks_19", "Forks_12", "Forks_8", "Forks_20", "Forks_11", "Forks_5", "Forks_6", "Forks_14", "Forks_13", "Forks_3", "Forks_16", "Forks_4", "Forks_2", "Forks_9", "Forks_10", "Forks_15", "Forks_17") <= 60)))))) | (E (X ((A (F (87 <= tokens-count("Outside_15", "Outside_6", "Outside_19", "Outside_12", "Outside_5", "Outside_18", "Outside_13", "Outside_4", "Outside_1", "Outside_10", "Outside_20", "Outside_11", "Outside_9", "Outside_2", "Outside_16", "Outside_3", "Outside_17", "Outside_8", "Outside_14", "Outside_7")))) & (E (F (tokens-count("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1") <= 46))))))))) U (48 <= tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8")))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-2025-08
   "Automatically generated by Citili v2025"
   is:
      A (F (((E (X (E ((tokens-count("Neighbourhood_15_7") <= 1) U (! (tokens-count("Neighbourhood_11_19") <= tokens-count("Neighbourhood_3_11"))))))) & (! (A (F (! ((tokens-count("Neighbourhood_12_1") <= 1) | (tokens-count("WaitRight_20") <= tokens-count("Neighbourhood_17_12")))))))) | ((E (G (! (tokens-count("Neighbourhood_7_19") <= tokens-count("Neighbourhood_12_2"))))) & ((! ((! (A ((tokens-count("Neighbourhood_14_10") <= 1) U (1 <= tokens-count("Neighbourhood_7_14"))))) & (((tokens-count("Outside_13") <= 0) & (1 <= tokens-count("Neighbourhood_7_3"))) | ((1 <= tokens-count("Neighbourhood_2_11")) & (tokens-count("WaitRight_1") <= 1))))) & (! (E (F (tokens-count("Neighbourhood_18_8") <= 1))))))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-2025-09
   "Automatically generated by Citili v2025"
   is:
      (A ((tokens-count("Neighbourhood_13_6") <= tokens-count("Neighbourhood_2_17")) U (! (E ((! (((1 <= tokens-count("Neighbourhood_7_7")) & (tokens-count("WaitRight_11") <= 0)) | (! (1 <= tokens-count("Neighbourhood_10_18"))))) U (A (G (A (F (tokens-count("Forks_1") <= 0)))))))))) | (A (G (A (F (! (((A (F (1 <= tokens-count("WaitRight_5")))) | (E (F (tokens-count("HasRight_3") <= 0)))) & (((1 <= tokens-count("Think_4")) | (tokens-count("HasRight_15") <= 0)) | (tokens-count("Neighbourhood_14_14") <= tokens-count("Neighbourhood_1_5")))))))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (G (A ((! (((tokens-count("HasLeft_11") <= 0) & (A ((1 <= tokens-count("Neighbourhood_14_16")) U (tokens-count("Neighbourhood_18_16") <= tokens-count("Neighbourhood_5_11"))))) | (! (E (F (1 <= tokens-count("Neighbourhood_14_5"))))))) U (((tokens-count("Neighbourhood_10_19") <= 0) & (((A (X (tokens-count("Neighbourhood_17_19") <= 1))) | (1 <= tokens-count("Neighbourhood_13_13"))) & (A (F (tokens-count("Neighbourhood_16_1") <= tokens-count("Neighbourhood_7_11")))))) | ((((A (X (1 <= tokens-count("Neighbourhood_16_14")))) | ((1 <= tokens-count("Neighbourhood_10_10")) & (tokens-count("Neighbourhood_13_1") <= tokens-count("Neighbourhood_20_8")))) & (! (tokens-count("Neighbourhood_16_3") <= 0))) & (! ((tokens-count("Neighbourhood_1_12") <= tokens-count("Neighbourhood_19_14")) & (E (X (1 <= tokens-count("HasRight_19")))))))))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-2025-11
   "Automatically generated by Citili v2025"
   is:
      E (X (A (G (E (((((1 <= tokens-count("Neighbourhood_12_18")) & (tokens-count("Neighbourhood_17_20") <= 0)) & (A ((tokens-count("Neighbourhood_8_7") <= 1) U (tokens-count("Neighbourhood_9_5") <= 0)))) | ((A (G (tokens-count("HasRight_16") <= 0))) & (A (F (tokens-count("Neighbourhood_16_16") <= 1))))) U ((A (X (tokens-count("Neighbourhood_11_4") <= tokens-count("Neighbourhood_14_16")))) & (A ((tokens-count("Neighbourhood_17_14") <= tokens-count("Neighbourhood_2_12")) U (tokens-count("Outside_12") <= tokens-count("Neighbourhood_7_5"))))))))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-2025-12
   "Automatically generated by Citili v2025"
   is:
      A (((tokens-count("Think_9") <= 1) & (E ((E (X ((! (tokens-count("Neighbourhood_19_14") <= 1)) | (tokens-count("Neighbourhood_20_7") <= 1)))) U ((A (X (tokens-count("WaitRight_12") <= tokens-count("Neighbourhood_7_12")))) & (E (X (A (X (tokens-count("Neighbourhood_20_7") <= tokens-count("Neighbourhood_11_16")))))))))) U ((A (((tokens-count("Neighbourhood_18_10") <= 0) | (E (F (! (tokens-count("Neighbourhood_9_16") <= 0))))) U (1 <= tokens-count("Neighbourhood_1_7")))) & (A (F (A (F (! (A (X (1 <= tokens-count("Neighbourhood_5_12")))))))))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-2025-13
   "Automatically generated by Citili v2025"
   is:
      (A (X ((E (G (((E (G (tokens-count("Neighbourhood_14_12") <= tokens-count("HasLeft_18")))) & (! (tokens-count("Neighbourhood_8_2") <= 0))) | ((A (F (1 <= tokens-count("WaitLeft_4")))) & (A (F (tokens-count("Neighbourhood_10_6") <= tokens-count("HasRight_15")))))))) | (E (X ((! (1 <= tokens-count("WaitLeft_8"))) | (A (F (1 <= tokens-count("Forks_20")))))))))) & (E (X (A (X (((tokens-count("Neighbourhood_8_7") <= tokens-count("Think_8")) | (E (G (tokens-count("Neighbourhood_16_19") <= tokens-count("Neighbourhood_8_18"))))) | (A (F (! (tokens-count("Think_16") <= 1)))))))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-2025-14
   "Automatically generated by Citili v2025"
   is:
      E (X (E (X (A (X (A (((tokens-count("Neighbourhood_17_11") <= 1) | (tokens-count("Forks_11") <= 1)) U (tokens-count("Neighbourhood_16_8") <= tokens-count("Neighbourhood_18_17")))))))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-2025-15
   "Automatically generated by Citili v2025"
   is:
      ! (A (G (E (F (((! (A (F (tokens-count("Neighbourhood_9_1") <= tokens-count("Neighbourhood_12_12"))))) | (A (F (1 <= tokens-count("Neighbourhood_11_17"))))) & (! (A (F (1 <= tokens-count("Neighbourhood_19_14"))))))))))
   end.
