Property PhilosophersDyn-PT-20-LTLCardinality-00
  "Automatically generated"
  is:
    A (((1) <= (#tokens("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"))) | F (((1) <= (#tokens("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1"))) U ((#tokens("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("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")))))
  end.
Property PhilosophersDyn-PT-20-LTLCardinality-01
  "Automatically generated"
  is:
    A F X (F X ((#tokens("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("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"))) | !G ((3) <= (#tokens("Forks_1", "Forks_18", "Forks_7", "Forks_19", "Forks_12", "Forks_8", "Forks_20", "Forks_11", "Forks_5", "Forks_6", "Forks_14", "Forks_13", "Forks_3", "Forks_16", "Forks_4", "Forks_2", "Forks_9", "Forks_10", "Forks_15", "Forks_17"))))
  end.
Property PhilosophersDyn-PT-20-LTLCardinality-02
  "Automatically generated"
  is:
    A F X !X (G X ((3) <= (#tokens("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"))) | F G F ((#tokens("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("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-LTLCardinality-03
  "Automatically generated"
  is:
    A G (!((2) <= (#tokens("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("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("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"))) | !X (((#tokens("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("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("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("Forks_1", "Forks_18", "Forks_7", "Forks_19", "Forks_12", "Forks_8", "Forks_20", "Forks_11", "Forks_5", "Forks_6", "Forks_14", "Forks_13", "Forks_3", "Forks_16", "Forks_4", "Forks_2", "Forks_9", "Forks_10", "Forks_15", "Forks_17"))))) U G F ((#tokens("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("Forks_1", "Forks_18", "Forks_7", "Forks_19", "Forks_12", "Forks_8", "Forks_20", "Forks_11", "Forks_5", "Forks_6", "Forks_14", "Forks_13", "Forks_3", "Forks_16", "Forks_4", "Forks_2", "Forks_9", "Forks_10", "Forks_15", "Forks_17")))))
  end.
Property PhilosophersDyn-PT-20-LTLCardinality-04
  "Automatically generated"
  is:
    A ((X F ((1) <= (#tokens("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"))) U F ((2) <= (#tokens("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")))) | X X (G ((#tokens("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("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("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("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8"))) U ((2) <= (#tokens("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-LTLCardinality-05
  "Automatically generated"
  is:
    A (F G (((1) <= (#tokens("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"))) & G !G ((3) <= (#tokens("Forks_1", "Forks_18", "Forks_7", "Forks_19", "Forks_12", "Forks_8", "Forks_20", "Forks_11", "Forks_5", "Forks_6", "Forks_14", "Forks_13", "Forks_3", "Forks_16", "Forks_4", "Forks_2", "Forks_9", "Forks_10", "Forks_15", "Forks_17")))) U ((#tokens("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("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8"))))
  end.
Property PhilosophersDyn-PT-20-LTLCardinality-06
  "Automatically generated"
  is:
    A X G ((1) <= (#tokens("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")))
  end.
Property PhilosophersDyn-PT-20-LTLCardinality-07
  "Automatically generated"
  is:
    A (X ((#tokens("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("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"))) U ((((#tokens("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("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"))) | !X ((#tokens("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("HasRight_13", "HasRight_7", "HasRight_14", "HasRight_1", "HasRight_15", "HasRight_2", "HasRight_6", "HasRight_9", "HasRight_16", "HasRight_20", "HasRight_19", "HasRight_8", "HasRight_17", "HasRight_18", "HasRight_4", "HasRight_10", "HasRight_3", "HasRight_11", "HasRight_12", "HasRight_5")))) U X (F ((#tokens("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("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"))) | F ((#tokens("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("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-LTLCardinality-08
  "Automatically generated"
  is:
    A ((!((0) <= (#tokens("WaitLeft_1"))) & F G F ((0) <= (#tokens("WaitLeft_1")))) U ((#tokens("Outside_14")) <= (#tokens("WaitLeft_15"))))
  end.
Property PhilosophersDyn-PT-20-LTLCardinality-09
  "Automatically generated"
  is:
    A !X G (((1) <= (#tokens("WaitLeft_2"))) & !G ((3) <= (#tokens("Think_1"))))
  end.
Property PhilosophersDyn-PT-20-LTLCardinality-10
  "Automatically generated"
  is:
    A (F (((#tokens("Outside_17")) <= (#tokens("WaitLeft_5"))) & G ((#tokens("Neighbourhood_16_5")) <= (#tokens("HasLeft_1")))) & !G (((#tokens("Outside_1")) <= (#tokens("WaitRight_9"))) & F G ((0) <= (#tokens("Think_4")))))
  end.
Property PhilosophersDyn-PT-20-LTLCardinality-11
  "Automatically generated"
  is:
    A (G !F ((#tokens("Neighbourhood_16_5")) <= (#tokens("HasRight_3"))) U X (!((#tokens("HasLeft_9")) <= (#tokens("Neighbourhood_17_7"))) | !((3) <= (#tokens("HasLeft_8")))))
  end.
Property PhilosophersDyn-PT-20-LTLCardinality-12
  "Automatically generated"
  is:
    A (!(X ((2) <= (#tokens("WaitRight_18"))) U ((#tokens("Outside_11")) <= (#tokens("HasRight_16")))) U (X !F ((#tokens("Outside_11")) <= (#tokens("HasRight_16"))) | (G ((0) <= (#tokens("HasLeft_4"))) U ((#tokens("Outside_13")) <= (#tokens("Neighbourhood_11_20"))))))
  end.
Property PhilosophersDyn-PT-20-LTLCardinality-13
  "Automatically generated"
  is:
    A F G !F X X !((#tokens("WaitLeft_19")) <= (#tokens("Forks_3")))
  end.
Property PhilosophersDyn-PT-20-LTLCardinality-14
  "Automatically generated"
  is:
    A !F ((((1) <= (#tokens("HasRight_19"))) U !(((1) <= (#tokens("HasRight_19"))) & (F ((1) <= (#tokens("HasRight_19"))) U G ((#tokens("Neighbourhood_13_6")) <= (#tokens("Forks_15")))))) U X ((#tokens("Think_15")) <= (#tokens("Neighbourhood_11_5"))))
  end.
Property PhilosophersDyn-PT-20-LTLCardinality-15
  "Automatically generated"
  is:
    A (G ((#tokens("Think_17")) <= (#tokens("WaitLeft_9"))) & (((#tokens("Think_17")) <= (#tokens("WaitLeft_9"))) | X F G F (((2) <= (#tokens("Think_5"))) | ((#tokens("Think_17")) <= (#tokens("WaitLeft_9"))))))
  end.
