Property PhilosophersDyn-PT-20-ReachabilityCardinality-00
   "Automatically generated by Citili v2022"
   is:
      A (G (! (50 <= 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"))))
   end.
Property PhilosophersDyn-PT-20-ReachabilityCardinality-01
   "Automatically generated by Citili v2022"
   is:
      A (G (((! (! ((! ((29 <= 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")) | (! ((27 <= 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")) & (15 <= 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("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") <= 48)))) | (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)) | (! (! (26 <= 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-ReachabilityCardinality-02
   "Automatically generated by Citili v2022"
   is:
      A (G (((47 <= 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")) | (! ((38 <= 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("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") <= 22) & (10 <= 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("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("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") <= 28))))) & (19 <= 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")))))) | ((((! ((! (40 <= 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") <= 24))) & ((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("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("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("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") <= 40) | (17 <= 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")))) & ((11 <= 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("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("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("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")) | (43 <= 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"))) | ((22 <= 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("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")))) & (! (19 <= 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")))) & (4 <= 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") <= 30) & ((((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") <= 32) | ((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("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") <= 15))) & (! (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") <= 37))) | (! (! (2 <= 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("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") <= 45)) & ((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") <= 49) & ((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") <= 49) & (((6 <= 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("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") <= 40)) & (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") <= 42)))))) & (16 <= 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"))))))
   end.
Property PhilosophersDyn-PT-20-ReachabilityCardinality-03
   "Automatically generated by Citili v2022"
   is:
      A (G (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") <= 31))
   end.
Property PhilosophersDyn-PT-20-ReachabilityCardinality-04
   "Automatically generated by Citili v2022"
   is:
      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") <= 3))
   end.
Property PhilosophersDyn-PT-20-ReachabilityCardinality-05
   "Automatically generated by Citili v2022"
   is:
      A (G (((! ((! ((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("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("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("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") <= 35) | (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("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("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("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") <= 22)) & (7 <= 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("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") <= 42))) & (! (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("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("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("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") <= 44)) & (! (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") <= 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") <= 48) & (! ((((34 <= 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("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"))) & ((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("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("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")))) & (12 <= 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"))))))) & (! ((44 <= 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("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") <= 43)) | (! ((! (! (31 <= 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")))) & ((! (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"))) & ((24 <= 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("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("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"))))))))))))
   end.
Property PhilosophersDyn-PT-20-ReachabilityCardinality-06
   "Automatically generated by Citili v2022"
   is:
      E (F (40 <= 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")))
   end.
Property PhilosophersDyn-PT-20-ReachabilityCardinality-07
   "Automatically generated by Citili v2022"
   is:
      A (G (! ((((! (((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")) | (((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")) & (44 <= 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("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") <= 33)))) | (! (! ((30 <= 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")) | (20 <= 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("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") <= 23) | ((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") <= 45) & (((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")) & ((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") <= 7) | (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("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("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("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")) | (32 <= 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("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") <= 41))))))) & (! (((44 <= 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")) | (! ((! (41 <= 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"))) | (! (22 <= 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") <= 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("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")))))))) & (3 <= 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")))))
   end.
Property PhilosophersDyn-PT-20-ReachabilityCardinality-08
   "Automatically generated by Citili v2022"
   is:
      A (G (! ((((((! (1 <= tokens-count("Neighbourhood_1_1"))) & (! (1 <= tokens-count("Think_15")))) & ((tokens-count("HasLeft_7") <= 1) | ((1 <= tokens-count("Neighbourhood_3_20")) & (! (! (tokens-count("Neighbourhood_5_10") <= tokens-count("Neighbourhood_9_6"))))))) | ((! (tokens-count("HasLeft_4") <= 1)) & (((((tokens-count("HasLeft_14") <= 1) | (tokens-count("Neighbourhood_5_11") <= 1)) & (! (1 <= tokens-count("HasLeft_3")))) | ((tokens-count("Neighbourhood_19_4") <= tokens-count("Neighbourhood_10_12")) & ((tokens-count("Think_11") <= tokens-count("HasRight_20")) & (tokens-count("Neighbourhood_19_6") <= 1)))) | ((tokens-count("HasLeft_1") <= tokens-count("Neighbourhood_10_7")) & (! ((1 <= tokens-count("HasLeft_10")) | (tokens-count("Neighbourhood_3_4") <= 1))))))) & ((! (tokens-count("Neighbourhood_17_12") <= 1)) & (! ((tokens-count("Neighbourhood_10_11") <= 1) | ((! (! (tokens-count("WaitRight_11") <= 1))) & (((tokens-count("Neighbourhood_17_18") <= 1) & (tokens-count("Neighbourhood_5_16") <= tokens-count("WaitLeft_17"))) & (1 <= tokens-count("Neighbourhood_3_6")))))))) & (! (tokens-count("Neighbourhood_5_11") <= 1)))))
   end.
Property PhilosophersDyn-PT-20-ReachabilityCardinality-09
   "Automatically generated by Citili v2022"
   is:
      A (G (tokens-count("HasLeft_13") <= 1))
   end.
Property PhilosophersDyn-PT-20-ReachabilityCardinality-10
   "Automatically generated by Citili v2022"
   is:
      A (G (! (((! (tokens-count("Neighbourhood_14_13") <= 1)) & (((((((1 <= tokens-count("Neighbourhood_18_14")) & (1 <= tokens-count("Neighbourhood_19_13"))) | ((1 <= tokens-count("Think_10")) | (tokens-count("Neighbourhood_2_5") <= 1))) | (! (tokens-count("WaitRight_3") <= 1))) & (tokens-count("Neighbourhood_4_9") <= tokens-count("Neighbourhood_3_6"))) & (tokens-count("Think_14") <= 1)) & (tokens-count("WaitLeft_5") <= tokens-count("Forks_19")))) & ((! ((((tokens-count("Neighbourhood_5_8") <= tokens-count("Neighbourhood_4_15")) | (tokens-count("Neighbourhood_19_11") <= tokens-count("Neighbourhood_10_14"))) & (! ((! (tokens-count("Outside_8") <= 1)) & ((tokens-count("Neighbourhood_8_2") <= tokens-count("Think_11")) & (tokens-count("Neighbourhood_20_15") <= 1))))) & (((tokens-count("Neighbourhood_4_9") <= 1) & (((tokens-count("Neighbourhood_10_4") <= 1) | (1 <= tokens-count("Think_4"))) | (! (tokens-count("Neighbourhood_5_11") <= tokens-count("Neighbourhood_7_12"))))) | ((((tokens-count("Neighbourhood_18_7") <= tokens-count("WaitRight_17")) & (tokens-count("Neighbourhood_20_6") <= tokens-count("Neighbourhood_4_20"))) | ((1 <= tokens-count("Neighbourhood_6_1")) | (tokens-count("Neighbourhood_7_20") <= tokens-count("Forks_13")))) | (((tokens-count("Think_20") <= 1) & (1 <= tokens-count("Forks_19"))) | ((tokens-count("Neighbourhood_6_7") <= tokens-count("Neighbourhood_18_19")) & (tokens-count("Neighbourhood_17_14") <= tokens-count("Neighbourhood_19_13")))))))) & (tokens-count("Neighbourhood_13_11") <= tokens-count("Forks_8"))))))
   end.
Property PhilosophersDyn-PT-20-ReachabilityCardinality-11
   "Automatically generated by Citili v2022"
   is:
      A (G ((tokens-count("Neighbourhood_8_17") <= tokens-count("Think_20")) | (! ((! (((tokens-count("Neighbourhood_7_19") <= 1) & ((1 <= tokens-count("Neighbourhood_6_20")) | ((1 <= tokens-count("HasRight_12")) | (! (1 <= tokens-count("WaitRight_8")))))) & (! (((! (1 <= tokens-count("Neighbourhood_13_1"))) & (! (tokens-count("Neighbourhood_2_9") <= tokens-count("Neighbourhood_19_3")))) & (! (tokens-count("HasRight_15") <= tokens-count("Neighbourhood_2_16"))))))) & (! (! (((! (! (tokens-count("WaitLeft_16") <= 1))) | (! (! (1 <= tokens-count("Neighbourhood_17_3"))))) & (((1 <= tokens-count("Neighbourhood_20_2")) | (tokens-count("Neighbourhood_19_16") <= tokens-count("Neighbourhood_7_8"))) | ((tokens-count("Neighbourhood_18_4") <= tokens-count("Neighbourhood_11_8")) & (! (1 <= tokens-count("Neighbourhood_16_17"))))))))))))
   end.
Property PhilosophersDyn-PT-20-ReachabilityCardinality-12
   "Automatically generated by Citili v2022"
   is:
      E (F ((((tokens-count("Neighbourhood_13_17") <= 1) | (1 <= tokens-count("WaitRight_13"))) & (1 <= tokens-count("Neighbourhood_12_6"))) & (1 <= tokens-count("Neighbourhood_2_16"))))
   end.
Property PhilosophersDyn-PT-20-ReachabilityCardinality-13
   "Automatically generated by Citili v2022"
   is:
      E (F (! ((! (tokens-count("Neighbourhood_20_10") <= tokens-count("Think_14"))) | ((! (! (tokens-count("Neighbourhood_17_7") <= tokens-count("Neighbourhood_20_11")))) | ((! ((! (! ((tokens-count("Neighbourhood_20_2") <= tokens-count("Neighbourhood_20_4")) & (1 <= tokens-count("Neighbourhood_13_6"))))) | (1 <= tokens-count("WaitLeft_9")))) | (! (((tokens-count("Neighbourhood_10_16") <= tokens-count("Neighbourhood_13_2")) & ((tokens-count("Neighbourhood_4_19") <= tokens-count("HasRight_1")) & (1 <= tokens-count("WaitRight_8")))) & (! (! (tokens-count("Neighbourhood_9_8") <= tokens-count("Neighbourhood_7_12")))))))))))
   end.
Property PhilosophersDyn-PT-20-ReachabilityCardinality-14
   "Automatically generated by Citili v2022"
   is:
      E (F (! (tokens-count("Neighbourhood_1_14") <= 1)))
   end.
Property PhilosophersDyn-PT-20-ReachabilityCardinality-15
   "Automatically generated by Citili v2022"
   is:
      A (G (! ((1 <= tokens-count("Neighbourhood_9_11")) & (1 <= tokens-count("Neighbourhood_18_8")))))
   end.
