Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.............
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is S_PhilosophersDyn-COL-20, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r130-smll-149441683300240
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME PhilosophersDyn-COL-20-LTLFireability-0
FORMULA_NAME PhilosophersDyn-COL-20-LTLFireability-1
FORMULA_NAME PhilosophersDyn-COL-20-LTLFireability-10
FORMULA_NAME PhilosophersDyn-COL-20-LTLFireability-11
FORMULA_NAME PhilosophersDyn-COL-20-LTLFireability-12
FORMULA_NAME PhilosophersDyn-COL-20-LTLFireability-13
FORMULA_NAME PhilosophersDyn-COL-20-LTLFireability-14
FORMULA_NAME PhilosophersDyn-COL-20-LTLFireability-15
FORMULA_NAME PhilosophersDyn-COL-20-LTLFireability-2
FORMULA_NAME PhilosophersDyn-COL-20-LTLFireability-3
FORMULA_NAME PhilosophersDyn-COL-20-LTLFireability-4
FORMULA_NAME PhilosophersDyn-COL-20-LTLFireability-5
FORMULA_NAME PhilosophersDyn-COL-20-LTLFireability-6
FORMULA_NAME PhilosophersDyn-COL-20-LTLFireability-7
FORMULA_NAME PhilosophersDyn-COL-20-LTLFireability-8
FORMULA_NAME PhilosophersDyn-COL-20-LTLFireability-9

=== Now, execution of the tool begins

BK_START 1496390180032


Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((G(X(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((("Neighbourhood0.Neighbourhood_0>=1")&&("Philosopher0.HasRight_0>=1"))&&("Philosopher0.HasLeft_0>=1"))||((("Neighbourhood1.Neighbourhood_1>=1")&&("Philosopher0.HasRight_0>=1"))&&("Philosopher0.HasLeft_0>=1")))||((("Neighbourhood2.Neighbourhood_2>=1")&&("Philosopher0.HasRight_0>=1"))&&("Philosopher0.HasLeft_0>=1")))||((("Neighbourhood3.Neighbourhood_3>=1")&&("Philosopher0.HasRight_0>=1"))&&("Philosopher0.HasLeft_0>=1")))||((("Neighbourhood4.Neighbourhood_4>=1")&&("Philosopher0.HasRight_0>=1"))&&("Philosopher0.HasLeft_0>=1")))||((("Neighbourhood5.Neighbourhood_5>=1")&&("Philosopher0.HasRight_0>=1"))&&("Philosopher0.HasLeft_0>=1")))||((("Neighbourhood6.Neighbourhood_6>=1")&&("Philosopher0.HasRight_0>=1"))&&("Philosopher0.HasLeft_0>=1")))||((("Neighbourhood7.Neighbourhood_7>=1")&&("Philosopher0.HasRight_0>=1"))&&("Philosopher0.HasLeft_0>=1")))||((("Neighbourhood8.Neighbourhood_8>=1")&&("Philosopher0.HasRight_0>=1"))&&("Philosopher0.HasLeft_0>=1")))||((("Neighbourhood9.Neighbourhood_9>=1")&&("Philosopher0.HasRight_0>=1"))&&("Philosopher0.HasLeft_0>=1")))||((("Neighbourhood10.Neighbourhood_10>=1")&&("Philosopher0.HasRight_0>=1"))&&("Philosopher0.HasLeft_0>=1")))||((("Neighbourhood11.Neighbourhood_11>=1")&&("Philosopher0.HasRight_0>=1"))&&("Philosopher0.HasLeft_0>=1")))||((("Neighbourhood12.Neighbourhood_12>=1")&&("Philosopher0.HasRight_0>=1"))&&("Philosopher0.HasLeft_0>=1")))||((("Neighbourhood13.Neighbourhood_13>=1")&&("Philosopher0.HasRight_0>=1"))&&("Philosopher0.HasLeft_0>=1")))||((("Neighbourhood14.Neighbourhood_14>=1")&&("Philosopher0.HasRight_0>=1"))&&("Philosopher0.HasLeft_0>=1")))||((("Neighbourhood15.Neighbourhood_15>=1")&&("Philosopher0.HasRight_0>=1"))&&("Philosopher0.HasLeft_0>=1")))||((("Neighbourhood16.Neighbourhood_16>=1")&&("Philosopher0.HasRight_0>=1"))&&("Philosopher0.HasLeft_0>=1")))||((("Neighbourhood17.Neighbourhood_17>=1")&&("Philosopher0.HasRight_0>=1"))&&("Philosopher0.HasLeft_0>=1")))||((("Neighbourhood18.Neighbourhood_18>=1")&&("Philosopher0.HasRight_0>=1"))&&("Philosopher0.HasLeft_0>=1")))||((("Neighbourhood19.Neighbourhood_19>=1")&&("Philosopher0.HasRight_0>=1"))&&("Philosopher0.HasLeft_0>=1")))||((("Neighbourhood20.Neighbourhood_20>=1")&&("Philosopher1.HasRight_1>=1"))&&("Philosopher1.HasLeft_1>=1")))||((("Neighbourhood21.Neighbourhood_21>=1")&&("Philosopher1.HasRight_1>=1"))&&("Philosopher1.HasLeft_1>=1")))||((("Neighbourhood22.Neighbourhood_22>=1")&&("Philosopher1.HasRight_1>=1"))&&("Philosopher1.HasLeft_1>=1")))||((("Neighbourhood23.Neighbourhood_23>=1")&&("Philosopher1.HasRight_1>=1"))&&("Philosopher1.HasLeft_1>=1")))||((("Neighbourhood24.Neighbourhood_24>=1")&&("Philosopher1.HasRight_1>=1"))&&("Philosopher1.HasLeft_1>=1")))||((("Neighbourhood25.Neighbourhood_25>=1")&&("Philosopher1.HasRight_1>=1"))&&("Philosopher1.HasLeft_1>=1")))||((("Neighbourhood26.Neighbourhood_26>=1")&&("Philosopher1.HasRight_1>=1"))&&("Philosopher1.HasLeft_1>=1")))||((("Neighbourhood27.Neighbourhood_27>=1")&&("Philosopher1.HasRight_1>=1"))&&("Philosopher1.HasLeft_1>=1")))||((("Neighbourhood28.Neighbourhood_28>=1")&&("Philosopher1.HasRight_1>=1"))&&("Philosopher1.HasLeft_1>=1")))||((("Neighbourhood29.Neighbourhood_29>=1")&&("Philosopher1.HasRight_1>=1"))&&("Philosopher1.HasLeft_1>=1")))||((("Neighbourhood30.Neighbourhood_30>=1")&&("Philosopher1.HasRight_1>=1"))&&("Philosopher1.HasLeft_1>=1")))||((("Neighbourhood31.Neighbourhood_31>=1")&&("Philosopher1.HasRight_1>=1"))&&("Philosopher1.HasLeft_1>=1")))||((("Neighbourhood32.Neighbourhood_32>=1")&&("Philosopher1.HasRight_1>=1"))&&("Philosopher1.HasLeft_1>=1")))||((("Neighbourhood33.Neighbourhood_33>=1")&&("Philosopher1.HasRight_1>=1"))&&("Philosopher1.HasLeft_1>=1")))||((("Neighbourhood34.Neighbourhood_34>=1")&&("Philosopher1.HasRight_1>=1"))&&("Philosopher1.HasLeft_1>=1")))||((("Neighbourhood35.Neighbourhood_35>=1")&&("Philosopher1.HasRight_1>=1"))&&("Philosopher1.HasLeft_1>=1")))||((("Neighbourhood36.Neighbourhood_36>=1")&&("Philosopher1.HasRight_1>=1"))&&("Philosopher1.HasLeft_1>=1")))||((("Neighbourhood37.Neighbourhood_37>=1")&&("Philosopher1.HasRight_1>=1"))&&("Philosopher1.HasLeft_1>=1")))||((("Neighbourhood38.Neighbourhood_38>=1")&&("Philosopher1.HasRight_1>=1"))&&("Philosopher1.HasLeft_1>=1")))||((("Neighbourhood39.Neighbourhood_39>=1")&&("Philosopher1.HasRight_1>=1"))&&("Philosopher1.HasLeft_1>=1")))||((("Neighbourhood40.Neighbourhood_40>=1")&&("Philosopher2.HasRight_2>=1"))&&("Philosopher2.HasLeft_2>=1")))||((("Neighbourhood41.Neighbourhood_41>=1")&&("Philosopher2.HasRight_2>=1"))&&("Philosopher2.HasLeft_2>=1")))||((("Neighbourhood42.Neighbourhood_42>=1")&&("Philosopher2.HasRight_2>=1"))&&("Philosopher2.HasLeft_2>=1")))||((("Neighbourhood43.Neighbourhood_43>=1")&&("Philosopher2.HasRight_2>=1"))&&("Philosopher2.HasLeft_2>=1")))||((("Neighbourhood44.Neighbourhood_44>=1")&&("Philosopher2.HasRight_2>=1"))&&("Philosopher2.HasLeft_2>=1")))||((("Neighbourhood45.Neighbourhood_45>=1")&&("Philosopher2.HasRight_2>=1"))&&("Philosopher2.HasLeft_2>=1")))||((("Neighbourhood46.Neighbourhood_46>=1")&&("Philosopher2.HasRight_2>=1"))&&("Philosopher2.HasLeft_2>=1")))||((("Neighbourhood47.Neighbourhood_47>=1")&&("Philosopher2.HasRight_2>=1"))&&("Philosopher2.HasLeft_2>=1")))||((("Neighbourhood48.Neighbourhood_48>=1")&&("Philosopher2.HasRight_2>=1"))&&("Philosopher2.HasLeft_2>=1")))||((("Neighbourhood49.Neighbourhood_49>=1")&&("Philosopher2.HasRight_2>=1"))&&("Philosopher2.HasLeft_2>=1")))||((("Neighbourhood50.Neighbourhood_50>=1")&&("Philosopher2.HasRight_2>=1"))&&("Philosopher2.HasLeft_2>=1")))||((("Neighbourhood51.Neighbourhood_51>=1")&&("Philosopher2.HasRight_2>=1"))&&("Philosopher2.HasLeft_2>=1")))||((("Neighbourhood52.Neighbourhood_52>=1")&&("Philosopher2.HasRight_2>=1"))&&("Philosopher2.HasLeft_2>=1")))||((("Neighbourhood53.Neighbourhood_53>=1")&&("Philosopher2.HasRight_2>=1"))&&("Philosopher2.HasLeft_2>=1")))||((("Neighbourhood54.Neighbourhood_54>=1")&&("Philosopher2.HasRight_2>=1"))&&("Philosopher2.HasLeft_2>=1")))||((("Neighbourhood55.Neighbourhood_55>=1")&&("Philosopher2.HasRight_2>=1"))&&("Philosopher2.HasLeft_2>=1")))||((("Neighbourhood56.Neighbourhood_56>=1")&&("Philosopher2.HasRight_2>=1"))&&("Philosopher2.HasLeft_2>=1")))||((("Neighbourhood57.Neighbourhood_57>=1")&&("Philosopher2.HasRight_2>=1"))&&("Philosopher2.HasLeft_2>=1")))||((("Neighbourhood58.Neighbourhood_58>=1")&&("Philosopher2.HasRight_2>=1"))&&("Philosopher2.HasLeft_2>=1")))||((("Neighbourhood59.Neighbourhood_59>=1")&&("Philosopher2.HasRight_2>=1"))&&("Philosopher2.HasLeft_2>=1")))||((("Neighbourhood60.Neighbourhood_60>=1")&&("Philosopher3.HasRight_3>=1"))&&("Philosopher3.HasLeft_3>=1")))||((("Neighbourhood61.Neighbourhood_61>=1")&&("Philosopher3.HasRight_3>=1"))&&("Philosopher3.HasLeft_3>=1")))||((("Neighbourhood62.Neighbourhood_62>=1")&&("Philosopher3.HasRight_3>=1"))&&("Philosopher3.HasLeft_3>=1")))||((("Neighbourhood63.Neighbourhood_63>=1")&&("Philosopher3.HasRight_3>=1"))&&("Philosopher3.HasLeft_3>=1")))||((("Neighbourhood64.Neighbourhood_64>=1")&&("Philosopher3.HasRight_3>=1"))&&("Philosopher3.HasLeft_3>=1")))||((("Neighbourhood65.Neighbourhood_65>=1")&&("Philosopher3.HasRight_3>=1"))&&("Philosopher3.HasLeft_3>=1")))||((("Neighbourhood66.Neighbourhood_66>=1")&&("Philosopher3.HasRight_3>=1"))&&("Philosopher3.HasLeft_3>=1")))||((("Neighbourhood67.Neighbourhood_67>=1")&&("Philosopher3.HasRight_3>=1"))&&("Philosopher3.HasLeft_3>=1")))||((("Neighbourhood68.Neighbourhood_68>=1")&&("Philosopher3.HasRight_3>=1"))&&("Philosopher3.HasLeft_3>=1")))||((("Neighbourhood69.Neighbourhood_69>=1")&&("Philosopher3.HasRight_3>=1"))&&("Philosopher3.HasLeft_3>=1")))||((("Neighbourhood70.Neighbourhood_70>=1")&&("Philosopher3.HasRight_3>=1"))&&("Philosopher3.HasLeft_3>=1")))||((("Neighbourhood71.Neighbourhood_71>=1")&&("Philosopher3.HasRight_3>=1"))&&("Philosopher3.HasLeft_3>=1")))||((("Neighbourhood72.Neighbourhood_72>=1")&&("Philosopher3.HasRight_3>=1"))&&("Philosopher3.HasLeft_3>=1")))||((("Neighbourhood73.Neighbourhood_73>=1")&&("Philosopher3.HasRight_3>=1"))&&("Philosopher3.HasLeft_3>=1")))||((("Neighbourhood74.Neighbourhood_74>=1")&&("Philosopher3.HasRight_3>=1"))&&("Philosopher3.HasLeft_3>=1")))||((("Neighbourhood75.Neighbourhood_75>=1")&&("Philosopher3.HasRight_3>=1"))&&("Philosopher3.HasLeft_3>=1")))||((("Neighbourhood76.Neighbourhood_76>=1")&&("Philosopher3.HasRight_3>=1"))&&("Philosopher3.HasLeft_3>=1")))||((("Neighbourhood77.Neighbourhood_77>=1")&&("Philosopher3.HasRight_3>=1"))&&("Philosopher3.HasLeft_3>=1")))||((("Neighbourhood78.Neighbourhood_78>=1")&&("Philosopher3.HasRight_3>=1"))&&("Philosopher3.HasLeft_3>=1")))||((("Neighbourhood79.Neighbourhood_79>=1")&&("Philosopher3.HasRight_3>=1"))&&("Philosopher3.HasLeft_3>=1")))||((("Neighbourhood80.Neighbourhood_80>=1")&&("Philosopher4.HasRight_4>=1"))&&("Philosopher4.HasLeft_4>=1")))||((("Neighbourhood81.Neighbourhood_81>=1")&&("Philosopher4.HasRight_4>=1"))&&("Philosopher4.HasLeft_4>=1")))||((("Neighbourhood82.Neighbourhood_82>=1")&&("Philosopher4.HasRight_4>=1"))&&("Philosopher4.HasLeft_4>=1")))||((("Neighbourhood83.Neighbourhood_83>=1")&&("Philosopher4.HasRight_4>=1"))&&("Philosopher4.HasLeft_4>=1")))||((("Neighbourhood84.Neighbourhood_84>=1")&&("Philosopher4.HasRight_4>=1"))&&("Philosopher4.HasLeft_4>=1")))||((("Neighbourhood85.Neighbourhood_85>=1")&&("Philosopher4.HasRight_4>=1"))&&("Philosopher4.HasLeft_4>=1")))||((("Neighbourhood86.Neighbourhood_86>=1")&&("Philosopher4.HasRight_4>=1"))&&("Philosopher4.HasLeft_4>=1")))||((("Neighbourhood87.Neighbourhood_87>=1")&&("Philosopher4.HasRight_4>=1"))&&("Philosopher4.HasLeft_4>=1")))||((("Neighbourhood88.Neighbourhood_88>=1")&&("Philosopher4.HasRight_4>=1"))&&("Philosopher4.HasLeft_4>=1")))||((("Neighbourhood89.Neighbourhood_89>=1")&&("Philosopher4.HasRight_4>=1"))&&("Philosopher4.HasLeft_4>=1")))||((("Neighbourhood90.Neighbourhood_90>=1")&&("Philosopher4.HasRight_4>=1"))&&("Philosopher4.HasLeft_4>=1")))||((("Neighbourhood91.Neighbourhood_91>=1")&&("Philosopher4.HasRight_4>=1"))&&("Philosopher4.HasLeft_4>=1")))||((("Neighbourhood92.Neighbourhood_92>=1")&&("Philosopher4.HasRight_4>=1"))&&("Philosopher4.HasLeft_4>=1")))||((("Neighbourhood93.Neighbourhood_93>=1")&&("Philosopher4.HasRight_4>=1"))&&("Philosopher4.HasLeft_4>=1")))||((("Neighbourhood94.Neighbourhood_94>=1")&&("Philosopher4.HasRight_4>=1"))&&("Philosopher4.HasLeft_4>=1")))||((("Neighbourhood95.Neighbourhood_95>=1")&&("Philosopher4.HasRight_4>=1"))&&("Philosopher4.HasLeft_4>=1")))||((("Neighbourhood96.Neighbourhood_96>=1")&&("Philosopher4.HasRight_4>=1"))&&("Philosopher4.HasLeft_4>=1")))||((("Neighbourhood97.Neighbourhood_97>=1")&&("Philosopher4.HasRight_4>=1"))&&("Philosopher4.HasLeft_4>=1")))||((("Neighbourhood98.Neighbourhood_98>=1")&&("Philosopher4.HasRight_4>=1"))&&("Philosopher4.HasLeft_4>=1")))||((("Neighbourhood99.Neighbourhood_99>=1")&&("Philosopher4.HasRight_4>=1"))&&("Philosopher4.HasLeft_4>=1")))||((("Neighbourhood100.Neighbourhood_100>=1")&&("Philosopher5.HasRight_5>=1"))&&("Philosopher5.HasLeft_5>=1")))||((("Neighbourhood101.Neighbourhood_101>=1")&&("Philosopher5.HasRight_5>=1"))&&("Philosopher5.HasLeft_5>=1")))||((("Neighbourhood102.Neighbourhood_102>=1")&&("Philosopher5.HasRight_5>=1"))&&("Philosopher5.HasLeft_5>=1")))||((("Neighbourhood103.Neighbourhood_103>=1")&&("Philosopher5.HasRight_5>=1"))&&("Philosopher5.HasLeft_5>=1")))||((("Neighbourhood104.Neighbourhood_104>=1")&&("Philosopher5.HasRight_5>=1"))&&("Philosopher5.HasLeft_5>=1")))||((("Neighbourhood105.Neighbourhood_105>=1")&&("Philosopher5.HasRight_5>=1"))&&("Philosopher5.HasLeft_5>=1")))||((("Neighbourhood106.Neighbourhood_106>=1")&&("Philosopher5.HasRight_5>=1"))&&("Philosopher5.HasLeft_5>=1")))||((("Neighbourhood107.Neighbourhood_107>=1")&&("Philosopher5.HasRight_5>=1"))&&("Philosopher5.HasLeft_5>=1")))||((("Neighbourhood108.Neighbourhood_108>=1")&&("Philosopher5.HasRight_5>=1"))&&("Philosopher5.HasLeft_5>=1")))||((("Neighbourhood109.Neighbourhood_109>=1")&&("Philosopher5.HasRight_5>=1"))&&("Philosopher5.HasLeft_5>=1")))||((("Neighbourhood110.Neighbourhood_110>=1")&&("Philosopher5.HasRight_5>=1"))&&("Philosopher5.HasLeft_5>=1")))||((("Neighbourhood111.Neighbourhood_111>=1")&&("Philosopher5.HasRight_5>=1"))&&("Philosopher5.HasLeft_5>=1")))||((("Neighbourhood112.Neighbourhood_112>=1")&&("Philosopher5.HasRight_5>=1"))&&("Philosopher5.HasLeft_5>=1")))||((("Neighbourhood113.Neighbourhood_113>=1")&&("Philosopher5.HasRight_5>=1"))&&("Philosopher5.HasLeft_5>=1")))||((("Neighbourhood114.Neighbourhood_114>=1")&&("Philosopher5.HasRight_5>=1"))&&("Philosopher5.HasLeft_5>=1")))||((("Neighbourhood115.Neighbourhood_115>=1")&&("Philosopher5.HasRight_5>=1"))&&("Philosopher5.HasLeft_5>=1")))||((("Neighbourhood116.Neighbourhood_116>=1")&&("Philosopher5.HasRight_5>=1"))&&("Philosopher5.HasLeft_5>=1")))||((("Neighbourhood117.Neighbourhood_117>=1")&&("Philosopher5.HasRight_5>=1"))&&("Philosopher5.HasLeft_5>=1")))||((("Neighbourhood118.Neighbourhood_118>=1")&&("Philosopher5.HasRight_5>=1"))&&("Philosopher5.HasLeft_5>=1")))||((("Neighbourhood119.Neighbourhood_119>=1")&&("Philosopher5.HasRight_5>=1"))&&("Philosopher5.HasLeft_5>=1")))||((("Neighbourhood120.Neighbourhood_120>=1")&&("Philosopher6.HasRight_6>=1"))&&("Philosopher6.HasLeft_6>=1")))||((("Neighbourhood121.Neighbourhood_121>=1")&&("Philosopher6.HasRight_6>=1"))&&("Philosopher6.HasLeft_6>=1")))||((("Neighbourhood122.Neighbourhood_122>=1")&&("Philosopher6.HasRight_6>=1"))&&("Philosopher6.HasLeft_6>=1")))||((("Neighbourhood123.Neighbourhood_123>=1")&&("Philosopher6.HasRight_6>=1"))&&("Philosopher6.HasLeft_6>=1")))||((("Neighbourhood124.Neighbourhood_124>=1")&&("Philosopher6.HasRight_6>=1"))&&("Philosopher6.HasLeft_6>=1")))||((("Neighbourhood125.Neighbourhood_125>=1")&&("Philosopher6.HasRight_6>=1"))&&("Philosopher6.HasLeft_6>=1")))||((("Neighbourhood126.Neighbourhood_126>=1")&&("Philosopher6.HasRight_6>=1"))&&("Philosopher6.HasLeft_6>=1")))||((("Neighbourhood127.Neighbourhood_127>=1")&&("Philosopher6.HasRight_6>=1"))&&("Philosopher6.HasLeft_6>=1")))||((("Neighbourhood128.Neighbourhood_128>=1")&&("Philosopher6.HasRight_6>=1"))&&("Philosopher6.HasLeft_6>=1")))||((("Neighbourhood129.Neighbourhood_129>=1")&&("Philosopher6.HasRight_6>=1"))&&("Philosopher6.HasLeft_6>=1")))||((("Neighbourhood130.Neighbourhood_130>=1")&&("Philosopher6.HasRight_6>=1"))&&("Philosopher6.HasLeft_6>=1")))||((("Neighbourhood131.Neighbourhood_131>=1")&&("Philosopher6.HasRight_6>=1"))&&("Philosopher6.HasLeft_6>=1")))||((("Neighbourhood132.Neighbourhood_132>=1")&&("Philosopher6.HasRight_6>=1"))&&("Philosopher6.HasLeft_6>=1")))||((("Neighbourhood133.Neighbourhood_133>=1")&&("Philosopher6.HasRight_6>=1"))&&("Philosopher6.HasLeft_6>=1")))||((("Neighbourhood134.Neighbourhood_134>=1")&&("Philosopher6.HasRight_6>=1"))&&("Philosopher6.HasLeft_6>=1")))||((("Neighbourhood135.Neighbourhood_135>=1")&&("Philosopher6.HasRight_6>=1"))&&("Philosopher6.HasLeft_6>=1")))||((("Neighbourhood136.Neighbourhood_136>=1")&&("Philosopher6.HasRight_6>=1"))&&("Philosopher6.HasLeft_6>=1")))||((("Neighbourhood137.Neighbourhood_137>=1")&&("Philosopher6.HasRight_6>=1"))&&("Philosopher6.HasLeft_6>=1")))||((("Neighbourhood138.Neighbourhood_138>=1")&&("Philosopher6.HasRight_6>=1"))&&("Philosopher6.HasLeft_6>=1")))||((("Neighbourhood139.Neighbourhood_139>=1")&&("Philosopher6.HasRight_6>=1"))&&("Philosopher6.HasLeft_6>=1")))||((("Neighbourhood140.Neighbourhood_140>=1")&&("Philosopher7.HasRight_7>=1"))&&("Philosopher7.HasLeft_7>=1")))||((("Neighbourhood141.Neighbourhood_141>=1")&&("Philosopher7.HasRight_7>=1"))&&("Philosopher7.HasLeft_7>=1")))||((("Neighbourhood142.Neighbourhood_142>=1")&&("Philosopher7.HasRight_7>=1"))&&("Philosopher7.HasLeft_7>=1")))||((("Neighbourhood143.Neighbourhood_143>=1")&&("Philosopher7.HasRight_7>=1"))&&("Philosopher7.HasLeft_7>=1")))||((("Neighbourhood144.Neighbourhood_144>=1")&&("Philosopher7.HasRight_7>=1"))&&("Philosopher7.HasLeft_7>=1")))||((("Neighbourhood145.Neighbourhood_145>=1")&&("Philosopher7.HasRight_7>=1"))&&("Philosopher7.HasLeft_7>=1")))||((("Neighbourhood146.Neighbourhood_146>=1")&&("Philosopher7.HasRight_7>=1"))&&("Philosopher7.HasLeft_7>=1")))||((("Neighbourhood147.Neighbourhood_147>=1")&&("Philosopher7.HasRight_7>=1"))&&("Philosopher7.HasLeft_7>=1")))||((("Neighbourhood148.Neighbourhood_148>=1")&&("Philosopher7.HasRight_7>=1"))&&("Philosopher7.HasLeft_7>=1")))||((("Neighbourhood149.Neighbourhood_149>=1")&&("Philosopher7.HasRight_7>=1"))&&("Philosopher7.HasLeft_7>=1")))||((("Neighbourhood150.Neighbourhood_150>=1")&&("Philosopher7.HasRight_7>=1"))&&("Philosopher7.HasLeft_7>=1")))||((("Neighbourhood151.Neighbourhood_151>=1")&&("Philosopher7.HasRight_7>=1"))&&("Philosopher7.HasLeft_7>=1")))||((("Neighbourhood152.Neighbourhood_152>=1")&&("Philosopher7.HasRight_7>=1"))&&("Philosopher7.HasLeft_7>=1")))||((("Neighbourhood153.Neighbourhood_153>=1")&&("Philosopher7.HasRight_7>=1"))&&("Philosopher7.HasLeft_7>=1")))||((("Neighbourhood154.Neighbourhood_154>=1")&&("Philosopher7.HasRight_7>=1"))&&("Philosopher7.HasLeft_7>=1")))||((("Neighbourhood155.Neighbourhood_155>=1")&&("Philosopher7.HasRight_7>=1"))&&("Philosopher7.HasLeft_7>=1")))||((("Neighbourhood156.Neighbourhood_156>=1")&&("Philosopher7.HasRight_7>=1"))&&("Philosopher7.HasLeft_7>=1")))||((("Neighbourhood157.Neighbourhood_157>=1")&&("Philosopher7.HasRight_7>=1"))&&("Philosopher7.HasLeft_7>=1")))||((("Neighbourhood158.Neighbourhood_158>=1")&&("Philosopher7.HasRight_7>=1"))&&("Philosopher7.HasLeft_7>=1")))||((("Neighbourhood159.Neighbourhood_159>=1")&&("Philosopher7.HasRight_7>=1"))&&("Philosopher7.HasLeft_7>=1")))||((("Neighbourhood160.Neighbourhood_160>=1")&&("Philosopher8.HasRight_8>=1"))&&("Philosopher8.HasLeft_8>=1")))||((("Neighbourhood161.Neighbourhood_161>=1")&&("Philosopher8.HasRight_8>=1"))&&("Philosopher8.HasLeft_8>=1")))||((("Neighbourhood162.Neighbourhood_162>=1")&&("Philosopher8.HasRight_8>=1"))&&("Philosopher8.HasLeft_8>=1")))||((("Neighbourhood163.Neighbourhood_163>=1")&&("Philosopher8.HasRight_8>=1"))&&("Philosopher8.HasLeft_8>=1")))||((("Neighbourhood164.Neighbourhood_164>=1")&&("Philosopher8.HasRight_8>=1"))&&("Philosopher8.HasLeft_8>=1")))||((("Neighbourhood165.Neighbourhood_165>=1")&&("Philosopher8.HasRight_8>=1"))&&("Philosopher8.HasLeft_8>=1")))||((("Neighbourhood166.Neighbourhood_166>=1")&&("Philosopher8.HasRight_8>=1"))&&("Philosopher8.HasLeft_8>=1")))||((("Neighbourhood167.Neighbourhood_167>=1")&&("Philosopher8.HasRight_8>=1"))&&("Philosopher8.HasLeft_8>=1")))||((("Neighbourhood168.Neighbourhood_168>=1")&&("Philosopher8.HasRight_8>=1"))&&("Philosopher8.HasLeft_8>=1")))||((("Neighbourhood169.Neighbourhood_169>=1")&&("Philosopher8.HasRight_8>=1"))&&("Philosopher8.HasLeft_8>=1")))||((("Neighbourhood170.Neighbourhood_170>=1")&&("Philosopher8.HasRight_8>=1"))&&("Philosopher8.HasLeft_8>=1")))||((("Neighbourhood171.Neighbourhood_171>=1")&&("Philosopher8.HasRight_8>=1"))&&("Philosopher8.HasLeft_8>=1")))||((("Neighbourhood172.Neighbourhood_172>=1")&&("Philosopher8.HasRight_8>=1"))&&("Philosopher8.HasLeft_8>=1")))||((("Neighbourhood173.Neighbourhood_173>=1")&&("Philosopher8.HasRight_8>=1"))&&("Philosopher8.HasLeft_8>=1")))||((("Neighbourhood174.Neighbourhood_174>=1")&&("Philosopher8.HasRight_8>=1"))&&("Philosopher8.HasLeft_8>=1")))||((("Neighbourhood175.Neighbourhood_175>=1")&&("Philosopher8.HasRight_8>=1"))&&("Philosopher8.HasLeft_8>=1")))||((("Neighbourhood176.Neighbourhood_176>=1")&&("Philosopher8.HasRight_8>=1"))&&("Philosopher8.HasLeft_8>=1")))||((("Neighbourhood177.Neighbourhood_177>=1")&&("Philosopher8.HasRight_8>=1"))&&("Philosopher8.HasLeft_8>=1")))||((("Neighbourhood178.Neighbourhood_178>=1")&&("Philosopher8.HasRight_8>=1"))&&("Philosopher8.HasLeft_8>=1")))||((("Neighbourhood179.Neighbourhood_179>=1")&&("Philosopher8.HasRight_8>=1"))&&("Philosopher8.HasLeft_8>=1")))||((("Neighbourhood180.Neighbourhood_180>=1")&&("Philosopher9.HasRight_9>=1"))&&("Philosopher9.HasLeft_9>=1")))||((("Neighbourhood181.Neighbourhood_181>=1")&&("Philosopher9.HasRight_9>=1"))&&("Philosopher9.HasLeft_9>=1")))||((("Neighbourhood182.Neighbourhood_182>=1")&&("Philosopher9.HasRight_9>=1"))&&("Philosopher9.HasLeft_9>=1")))||((("Neighbourhood183.Neighbourhood_183>=1")&&("Philosopher9.HasRight_9>=1"))&&("Philosopher9.HasLeft_9>=1")))||((("Neighbourhood184.Neighbourhood_184>=1")&&("Philosopher9.HasRight_9>=1"))&&("Philosopher9.HasLeft_9>=1")))||((("Neighbourhood185.Neighbourhood_185>=1")&&("Philosopher9.HasRight_9>=1"))&&("Philosopher9.HasLeft_9>=1")))||((("Neighbourhood186.Neighbourhood_186>=1")&&("Philosopher9.HasRight_9>=1"))&&("Philosopher9.HasLeft_9>=1")))||((("Neighbourhood187.Neighbourhood_187>=1")&&("Philosopher9.HasRight_9>=1"))&&("Philosopher9.HasLeft_9>=1")))||((("Neighbourhood188.Neighbourhood_188>=1")&&("Philosopher9.HasRight_9>=1"))&&("Philosopher9.HasLeft_9>=1")))||((("Neighbourhood189.Neighbourhood_189>=1")&&("Philosopher9.HasRight_9>=1"))&&("Philosopher9.HasLeft_9>=1")))||((("Neighbourhood190.Neighbourhood_190>=1")&&("Philosopher9.HasRight_9>=1"))&&("Philosopher9.HasLeft_9>=1")))||((("Neighbourhood191.Neighbourhood_191>=1")&&("Philosopher9.HasRight_9>=1"))&&("Philosopher9.HasLeft_9>=1")))||((("Neighbourhood192.Neighbourhood_192>=1")&&("Philosopher9.HasRight_9>=1"))&&("Philosopher9.HasLeft_9>=1")))||((("Neighbourhood193.Neighbourhood_193>=1")&&("Philosopher9.HasRight_9>=1"))&&("Philosopher9.HasLeft_9>=1")))||((("Neighbourhood194.Neighbourhood_194>=1")&&("Philosopher9.HasRight_9>=1"))&&("Philosopher9.HasLeft_9>=1")))||((("Neighbourhood195.Neighbourhood_195>=1")&&("Philosopher9.HasRight_9>=1"))&&("Philosopher9.HasLeft_9>=1")))||((("Neighbourhood196.Neighbourhood_196>=1")&&("Philosopher9.HasRight_9>=1"))&&("Philosopher9.HasLeft_9>=1")))||((("Neighbourhood197.Neighbourhood_197>=1")&&("Philosopher9.HasRight_9>=1"))&&("Philosopher9.HasLeft_9>=1")))||((("Neighbourhood198.Neighbourhood_198>=1")&&("Philosopher9.HasRight_9>=1"))&&("Philosopher9.HasLeft_9>=1")))||((("Neighbourhood199.Neighbourhood_199>=1")&&("Philosopher9.HasRight_9>=1"))&&("Philosopher9.HasLeft_9>=1")))||((("Neighbourhood200.Neighbourhood_200>=1")&&("Philosopher10.HasRight_10>=1"))&&("Philosopher10.HasLeft_10>=1")))||((("Neighbourhood201.Neighbourhood_201>=1")&&("Philosopher10.HasRight_10>=1"))&&("Philosopher10.HasLeft_10>=1")))||((("Neighbourhood202.Neighbourhood_202>=1")&&("Philosopher10.HasRight_10>=1"))&&("Philosopher10.HasLeft_10>=1")))||((("Neighbourhood203.Neighbourhood_203>=1")&&("Philosopher10.HasRight_10>=1"))&&("Philosopher10.HasLeft_10>=1")))||((("Neighbourhood204.Neighbourhood_204>=1")&&("Philosopher10.HasRight_10>=1"))&&("Philosopher10.HasLeft_10>=1")))||((("Neighbourhood205.Neighbourhood_205>=1")&&("Philosopher10.HasRight_10>=1"))&&("Philosopher10.HasLeft_10>=1")))||((("Neighbourhood206.Neighbourhood_206>=1")&&("Philosopher10.HasRight_10>=1"))&&("Philosopher10.HasLeft_10>=1")))||((("Neighbourhood207.Neighbourhood_207>=1")&&("Philosopher10.HasRight_10>=1"))&&("Philosopher10.HasLeft_10>=1")))||((("Neighbourhood208.Neighbourhood_208>=1")&&("Philosopher10.HasRight_10>=1"))&&("Philosopher10.HasLeft_10>=1")))||((("Neighbourhood209.Neighbourhood_209>=1")&&("Philosopher10.HasRight_10>=1"))&&("Philosopher10.HasLeft_10>=1")))||((("Neighbourhood210.Neighbourhood_210>=1")&&("Philosopher10.HasRight_10>=1"))&&("Philosopher10.HasLeft_10>=1")))||((("Neighbourhood211.Neighbourhood_211>=1")&&("Philosopher10.HasRight_10>=1"))&&("Philosopher10.HasLeft_10>=1")))||((("Neighbourhood212.Neighbourhood_212>=1")&&("Philosopher10.HasRight_10>=1"))&&("Philosopher10.HasLeft_10>=1")))||((("Neighbourhood213.Neighbourhood_213>=1")&&("Philosopher10.HasRight_10>=1"))&&("Philosopher10.HasLeft_10>=1")))||((("Neighbourhood214.Neighbourhood_214>=1")&&("Philosopher10.HasRight_10>=1"))&&("Philosopher10.HasLeft_10>=1")))||((("Neighbourhood215.Neighbourhood_215>=1")&&("Philosopher10.HasRight_10>=1"))&&("Philosopher10.HasLeft_10>=1")))||((("Neighbourhood216.Neighbourhood_216>=1")&&("Philosopher10.HasRight_10>=1"))&&("Philosopher10.HasLeft_10>=1")))||((("Neighbourhood217.Neighbourhood_217>=1")&&("Philosopher10.HasRight_10>=1"))&&("Philosopher10.HasLeft_10>=1")))||((("Neighbourhood218.Neighbourhood_218>=1")&&("Philosopher10.HasRight_10>=1"))&&("Philosopher10.HasLeft_10>=1")))||((("Neighbourhood219.Neighbourhood_219>=1")&&("Philosopher10.HasRight_10>=1"))&&("Philosopher10.HasLeft_10>=1")))||((("Neighbourhood220.Neighbourhood_220>=1")&&("Philosopher11.HasRight_11>=1"))&&("Philosopher11.HasLeft_11>=1")))||((("Neighbourhood221.Neighbourhood_221>=1")&&("Philosopher11.HasRight_11>=1"))&&("Philosopher11.HasLeft_11>=1")))||((("Neighbourhood222.Neighbourhood_222>=1")&&("Philosopher11.HasRight_11>=1"))&&("Philosopher11.HasLeft_11>=1")))||((("Neighbourhood223.Neighbourhood_223>=1")&&("Philosopher11.HasRight_11>=1"))&&("Philosopher11.HasLeft_11>=1")))||((("Neighbourhood224.Neighbourhood_224>=1")&&("Philosopher11.HasRight_11>=1"))&&("Philosopher11.HasLeft_11>=1")))||((("Neighbourhood225.Neighbourhood_225>=1")&&("Philosopher11.HasRight_11>=1"))&&("Philosopher11.HasLeft_11>=1")))||((("Neighbourhood226.Neighbourhood_226>=1")&&("Philosopher11.HasRight_11>=1"))&&("Philosopher11.HasLeft_11>=1")))||((("Neighbourhood227.Neighbourhood_227>=1")&&("Philosopher11.HasRight_11>=1"))&&("Philosopher11.HasLeft_11>=1")))||((("Neighbourhood228.Neighbourhood_228>=1")&&("Philosopher11.HasRight_11>=1"))&&("Philosopher11.HasLeft_11>=1")))||((("Neighbourhood229.Neighbourhood_229>=1")&&("Philosopher11.HasRight_11>=1"))&&("Philosopher11.HasLeft_11>=1")))||((("Neighbourhood230.Neighbourhood_230>=1")&&("Philosopher11.HasRight_11>=1"))&&("Philosopher11.HasLeft_11>=1")))||((("Neighbourhood231.Neighbourhood_231>=1")&&("Philosopher11.HasRight_11>=1"))&&("Philosopher11.HasLeft_11>=1")))||((("Neighbourhood232.Neighbourhood_232>=1")&&("Philosopher11.HasRight_11>=1"))&&("Philosopher11.HasLeft_11>=1")))||((("Neighbourhood233.Neighbourhood_233>=1")&&("Philosopher11.HasRight_11>=1"))&&("Philosopher11.HasLeft_11>=1")))||((("Neighbourhood234.Neighbourhood_234>=1")&&("Philosopher11.HasRight_11>=1"))&&("Philosopher11.HasLeft_11>=1")))||((("Neighbourhood235.Neighbourhood_235>=1")&&("Philosopher11.HasRight_11>=1"))&&("Philosopher11.HasLeft_11>=1")))||((("Neighbourhood236.Neighbourhood_236>=1")&&("Philosopher11.HasRight_11>=1"))&&("Philosopher11.HasLeft_11>=1")))||((("Neighbourhood237.Neighbourhood_237>=1")&&("Philosopher11.HasRight_11>=1"))&&("Philosopher11.HasLeft_11>=1")))||((("Neighbourhood238.Neighbourhood_238>=1")&&("Philosopher11.HasRight_11>=1"))&&("Philosopher11.HasLeft_11>=1")))||((("Neighbourhood239.Neighbourhood_239>=1")&&("Philosopher11.HasRight_11>=1"))&&("Philosopher11.HasLeft_11>=1")))||((("Neighbourhood240.Neighbourhood_240>=1")&&("Philosopher12.HasRight_12>=1"))&&("Philosopher12.HasLeft_12>=1")))||((("Neighbourhood241.Neighbourhood_241>=1")&&("Philosopher12.HasRight_12>=1"))&&("Philosopher12.HasLeft_12>=1")))||((("Neighbourhood242.Neighbourhood_242>=1")&&("Philosopher12.HasRight_12>=1"))&&("Philosopher12.HasLeft_12>=1")))||((("Neighbourhood243.Neighbourhood_243>=1")&&("Philosopher12.HasRight_12>=1"))&&("Philosopher12.HasLeft_12>=1")))||((("Neighbourhood244.Neighbourhood_244>=1")&&("Philosopher12.HasRight_12>=1"))&&("Philosopher12.HasLeft_12>=1")))||((("Neighbourhood245.Neighbourhood_245>=1")&&("Philosopher12.HasRight_12>=1"))&&("Philosopher12.HasLeft_12>=1")))||((("Neighbourhood246.Neighbourhood_246>=1")&&("Philosopher12.HasRight_12>=1"))&&("Philosopher12.HasLeft_12>=1")))||((("Neighbourhood247.Neighbourhood_247>=1")&&("Philosopher12.HasRight_12>=1"))&&("Philosopher12.HasLeft_12>=1")))||((("Neighbourhood248.Neighbourhood_248>=1")&&("Philosopher12.HasRight_12>=1"))&&("Philosopher12.HasLeft_12>=1")))||((("Neighbourhood249.Neighbourhood_249>=1")&&("Philosopher12.HasRight_12>=1"))&&("Philosopher12.HasLeft_12>=1")))||((("Neighbourhood250.Neighbourhood_250>=1")&&("Philosopher12.HasRight_12>=1"))&&("Philosopher12.HasLeft_12>=1")))||((("Neighbourhood251.Neighbourhood_251>=1")&&("Philosopher12.HasRight_12>=1"))&&("Philosopher12.HasLeft_12>=1")))||((("Neighbourhood252.Neighbourhood_252>=1")&&("Philosopher12.HasRight_12>=1"))&&("Philosopher12.HasLeft_12>=1")))||((("Neighbourhood253.Neighbourhood_253>=1")&&("Philosopher12.HasRight_12>=1"))&&("Philosopher12.HasLeft_12>=1")))||((("Neighbourhood254.Neighbourhood_254>=1")&&("Philosopher12.HasRight_12>=1"))&&("Philosopher12.HasLeft_12>=1")))||((("Neighbourhood255.Neighbourhood_255>=1")&&("Philosopher12.HasRight_12>=1"))&&("Philosopher12.HasLeft_12>=1")))||((("Neighbourhood256.Neighbourhood_256>=1")&&("Philosopher12.HasRight_12>=1"))&&("Philosopher12.HasLeft_12>=1")))||((("Neighbourhood257.Neighbourhood_257>=1")&&("Philosopher12.HasRight_12>=1"))&&("Philosopher12.HasLeft_12>=1")))||((("Neighbourhood258.Neighbourhood_258>=1")&&("Philosopher12.HasRight_12>=1"))&&("Philosopher12.HasLeft_12>=1")))||((("Neighbourhood259.Neighbourhood_259>=1")&&("Philosopher12.HasRight_12>=1"))&&("Philosopher12.HasLeft_12>=1")))||((("Neighbourhood260.Neighbourhood_260>=1")&&("Philosopher13.HasRight_13>=1"))&&("Philosopher13.HasLeft_13>=1")))||((("Neighbourhood261.Neighbourhood_261>=1")&&("Philosopher13.HasRight_13>=1"))&&("Philosopher13.HasLeft_13>=1")))||((("Neighbourhood262.Neighbourhood_262>=1")&&("Philosopher13.HasRight_13>=1"))&&("Philosopher13.HasLeft_13>=1")))||((("Neighbourhood263.Neighbourhood_263>=1")&&("Philosopher13.HasRight_13>=1"))&&("Philosopher13.HasLeft_13>=1")))||((("Neighbourhood264.Neighbourhood_264>=1")&&("Philosopher13.HasRight_13>=1"))&&("Philosopher13.HasLeft_13>=1")))||((("Neighbourhood265.Neighbourhood_265>=1")&&("Philosopher13.HasRight_13>=1"))&&("Philosopher13.HasLeft_13>=1")))||((("Neighbourhood266.Neighbourhood_266>=1")&&("Philosopher13.HasRight_13>=1"))&&("Philosopher13.HasLeft_13>=1")))||((("Neighbourhood267.Neighbourhood_267>=1")&&("Philosopher13.HasRight_13>=1"))&&("Philosopher13.HasLeft_13>=1")))||((("Neighbourhood268.Neighbourhood_268>=1")&&("Philosopher13.HasRight_13>=1"))&&("Philosopher13.HasLeft_13>=1")))||((("Neighbourhood269.Neighbourhood_269>=1")&&("Philosopher13.HasRight_13>=1"))&&("Philosopher13.HasLeft_13>=1")))||((("Neighbourhood270.Neighbourhood_270>=1")&&("Philosopher13.HasRight_13>=1"))&&("Philosopher13.HasLeft_13>=1")))||((("Neighbourhood271.Neighbourhood_271>=1")&&("Philosopher13.HasRight_13>=1"))&&("Philosopher13.HasLeft_13>=1")))||((("Neighbourhood272.Neighbourhood_272>=1")&&("Philosopher13.HasRight_13>=1"))&&("Philosopher13.HasLeft_13>=1")))||((("Neighbourhood273.Neighbourhood_273>=1")&&("Philosopher13.HasRight_13>=1"))&&("Philosopher13.HasLeft_13>=1")))||((("Neighbourhood274.Neighbourhood_274>=1")&&("Philosopher13.HasRight_13>=1"))&&("Philosopher13.HasLeft_13>=1")))||((("Neighbourhood275.Neighbourhood_275>=1")&&("Philosopher13.HasRight_13>=1"))&&("Philosopher13.HasLeft_13>=1")))||((("Neighbourhood276.Neighbourhood_276>=1")&&("Philosopher13.HasRight_13>=1"))&&("Philosopher13.HasLeft_13>=1")))||((("Neighbourhood277.Neighbourhood_277>=1")&&("Philosopher13.HasRight_13>=1"))&&("Philosopher13.HasLeft_13>=1")))||((("Neighbourhood278.Neighbourhood_278>=1")&&("Philosopher13.HasRight_13>=1"))&&("Philosopher13.HasLeft_13>=1")))||((("Neighbourhood279.Neighbourhood_279>=1")&&("Philosopher13.HasRight_13>=1"))&&("Philosopher13.HasLeft_13>=1")))||((("Neighbourhood280.Neighbourhood_280>=1")&&("Philosopher14.HasRight_14>=1"))&&("Philosopher14.HasLeft_14>=1")))||((("Neighbourhood281.Neighbourhood_281>=1")&&("Philosopher14.HasRight_14>=1"))&&("Philosopher14.HasLeft_14>=1")))||((("Neighbourhood282.Neighbourhood_282>=1")&&("Philosopher14.HasRight_14>=1"))&&("Philosopher14.HasLeft_14>=1")))||((("Neighbourhood283.Neighbourhood_283>=1")&&("Philosopher14.HasRight_14>=1"))&&("Philosopher14.HasLeft_14>=1")))||((("Neighbourhood284.Neighbourhood_284>=1")&&("Philosopher14.HasRight_14>=1"))&&("Philosopher14.HasLeft_14>=1")))||((("Neighbourhood285.Neighbourhood_285>=1")&&("Philosopher14.HasRight_14>=1"))&&("Philosopher14.HasLeft_14>=1")))||((("Neighbourhood286.Neighbourhood_286>=1")&&("Philosopher14.HasRight_14>=1"))&&("Philosopher14.HasLeft_14>=1")))||((("Neighbourhood287.Neighbourhood_287>=1")&&("Philosopher14.HasRight_14>=1"))&&("Philosopher14.HasLeft_14>=1")))||((("Neighbourhood288.Neighbourhood_288>=1")&&("Philosopher14.HasRight_14>=1"))&&("Philosopher14.HasLeft_14>=1")))||((("Neighbourhood289.Neighbourhood_289>=1")&&("Philosopher14.HasRight_14>=1"))&&("Philosopher14.HasLeft_14>=1")))||((("Neighbourhood290.Neighbourhood_290>=1")&&("Philosopher14.HasRight_14>=1"))&&("Philosopher14.HasLeft_14>=1")))||((("Neighbourhood291.Neighbourhood_291>=1")&&("Philosopher14.HasRight_14>=1"))&&("Philosopher14.HasLeft_14>=1")))||((("Neighbourhood292.Neighbourhood_292>=1")&&("Philosopher14.HasRight_14>=1"))&&("Philosopher14.HasLeft_14>=1")))||((("Neighbourhood293.Neighbourhood_293>=1")&&("Philosopher14.HasRight_14>=1"))&&("Philosopher14.HasLeft_14>=1")))||((("Neighbourhood294.Neighbourhood_294>=1")&&("Philosopher14.HasRight_14>=1"))&&("Philosopher14.HasLeft_14>=1")))||((("Neighbourhood295.Neighbourhood_295>=1")&&("Philosopher14.HasRight_14>=1"))&&("Philosopher14.HasLeft_14>=1")))||((("Neighbourhood296.Neighbourhood_296>=1")&&("Philosopher14.HasRight_14>=1"))&&("Philosopher14.HasLeft_14>=1")))||((("Neighbourhood297.Neighbourhood_297>=1")&&("Philosopher14.HasRight_14>=1"))&&("Philosopher14.HasLeft_14>=1")))||((("Neighbourhood298.Neighbourhood_298>=1")&&("Philosopher14.HasRight_14>=1"))&&("Philosopher14.HasLeft_14>=1")))||((("Neighbourhood299.Neighbourhood_299>=1")&&("Philosopher14.HasRight_14>=1"))&&("Philosopher14.HasLeft_14>=1")))||((("Neighbourhood300.Neighbourhood_300>=1")&&("Philosopher15.HasRight_15>=1"))&&("Philosopher15.HasLeft_15>=1")))||((("Neighbourhood301.Neighbourhood_301>=1")&&("Philosopher15.HasRight_15>=1"))&&("Philosopher15.HasLeft_15>=1")))||((("Neighbourhood302.Neighbourhood_302>=1")&&("Philosopher15.HasRight_15>=1"))&&("Philosopher15.HasLeft_15>=1")))||((("Neighbourhood303.Neighbourhood_303>=1")&&("Philosopher15.HasRight_15>=1"))&&("Philosopher15.HasLeft_15>=1")))||((("Neighbourhood304.Neighbourhood_304>=1")&&("Philosopher15.HasRight_15>=1"))&&("Philosopher15.HasLeft_15>=1")))||((("Neighbourhood305.Neighbourhood_305>=1")&&("Philosopher15.HasRight_15>=1"))&&("Philosopher15.HasLeft_15>=1")))||((("Neighbourhood306.Neighbourhood_306>=1")&&("Philosopher15.HasRight_15>=1"))&&("Philosopher15.HasLeft_15>=1")))||((("Neighbourhood307.Neighbourhood_307>=1")&&("Philosopher15.HasRight_15>=1"))&&("Philosopher15.HasLeft_15>=1")))||((("Neighbourhood308.Neighbourhood_308>=1")&&("Philosopher15.HasRight_15>=1"))&&("Philosopher15.HasLeft_15>=1")))||((("Neighbourhood309.Neighbourhood_309>=1")&&("Philosopher15.HasRight_15>=1"))&&("Philosopher15.HasLeft_15>=1")))||((("Neighbourhood310.Neighbourhood_310>=1")&&("Philosopher15.HasRight_15>=1"))&&("Philosopher15.HasLeft_15>=1")))||((("Neighbourhood311.Neighbourhood_311>=1")&&("Philosopher15.HasRight_15>=1"))&&("Philosopher15.HasLeft_15>=1")))||((("Neighbourhood312.Neighbourhood_312>=1")&&("Philosopher15.HasRight_15>=1"))&&("Philosopher15.HasLeft_15>=1")))||((("Neighbourhood313.Neighbourhood_313>=1")&&("Philosopher15.HasRight_15>=1"))&&("Philosopher15.HasLeft_15>=1")))||((("Neighbourhood314.Neighbourhood_314>=1")&&("Philosopher15.HasRight_15>=1"))&&("Philosopher15.HasLeft_15>=1")))||((("Neighbourhood315.Neighbourhood_315>=1")&&("Philosopher15.HasRight_15>=1"))&&("Philosopher15.HasLeft_15>=1")))||((("Neighbourhood316.Neighbourhood_316>=1")&&("Philosopher15.HasRight_15>=1"))&&("Philosopher15.HasLeft_15>=1")))||((("Neighbourhood317.Neighbourhood_317>=1")&&("Philosopher15.HasRight_15>=1"))&&("Philosopher15.HasLeft_15>=1")))||((("Neighbourhood318.Neighbourhood_318>=1")&&("Philosopher15.HasRight_15>=1"))&&("Philosopher15.HasLeft_15>=1")))||((("Neighbourhood319.Neighbourhood_319>=1")&&("Philosopher15.HasRight_15>=1"))&&("Philosopher15.HasLeft_15>=1")))||((("Neighbourhood320.Neighbourhood_320>=1")&&("Philosopher16.HasRight_16>=1"))&&("Philosopher16.HasLeft_16>=1")))||((("Neighbourhood321.Neighbourhood_321>=1")&&("Philosopher16.HasRight_16>=1"))&&("Philosopher16.HasLeft_16>=1")))||((("Neighbourhood322.Neighbourhood_322>=1")&&("Philosopher16.HasRight_16>=1"))&&("Philosopher16.HasLeft_16>=1")))||((("Neighbourhood323.Neighbourhood_323>=1")&&("Philosopher16.HasRight_16>=1"))&&("Philosopher16.HasLeft_16>=1")))||((("Neighbourhood324.Neighbourhood_324>=1")&&("Philosopher16.HasRight_16>=1"))&&("Philosopher16.HasLeft_16>=1")))||((("Neighbourhood325.Neighbourhood_325>=1")&&("Philosopher16.HasRight_16>=1"))&&("Philosopher16.HasLeft_16>=1")))||((("Neighbourhood326.Neighbourhood_326>=1")&&("Philosopher16.HasRight_16>=1"))&&("Philosopher16.HasLeft_16>=1")))||((("Neighbourhood327.Neighbourhood_327>=1")&&("Philosopher16.HasRight_16>=1"))&&("Philosopher16.HasLeft_16>=1")))||((("Neighbourhood328.Neighbourhood_328>=1")&&("Philosopher16.HasRight_16>=1"))&&("Philosopher16.HasLeft_16>=1")))||((("Neighbourhood329.Neighbourhood_329>=1")&&("Philosopher16.HasRight_16>=1"))&&("Philosopher16.HasLeft_16>=1")))||((("Neighbourhood330.Neighbourhood_330>=1")&&("Philosopher16.HasRight_16>=1"))&&("Philosopher16.HasLeft_16>=1")))||((("Neighbourhood331.Neighbourhood_331>=1")&&("Philosopher16.HasRight_16>=1"))&&("Philosopher16.HasLeft_16>=1")))||((("Neighbourhood332.Neighbourhood_332>=1")&&("Philosopher16.HasRight_16>=1"))&&("Philosopher16.HasLeft_16>=1")))||((("Neighbourhood333.Neighbourhood_333>=1")&&("Philosopher16.HasRight_16>=1"))&&("Philosopher16.HasLeft_16>=1")))||((("Neighbourhood334.Neighbourhood_334>=1")&&("Philosopher16.HasRight_16>=1"))&&("Philosopher16.HasLeft_16>=1")))||((("Neighbourhood335.Neighbourhood_335>=1")&&("Philosopher16.HasRight_16>=1"))&&("Philosopher16.HasLeft_16>=1")))||((("Neighbourhood336.Neighbourhood_336>=1")&&("Philosopher16.HasRight_16>=1"))&&("Philosopher16.HasLeft_16>=1")))||((("Neighbourhood337.Neighbourhood_337>=1")&&("Philosopher16.HasRight_16>=1"))&&("Philosopher16.HasLeft_16>=1")))||((("Neighbourhood338.Neighbourhood_338>=1")&&("Philosopher16.HasRight_16>=1"))&&("Philosopher16.HasLeft_16>=1")))||((("Neighbourhood339.Neighbourhood_339>=1")&&("Philosopher16.HasRight_16>=1"))&&("Philosopher16.HasLeft_16>=1")))||((("Neighbourhood340.Neighbourhood_340>=1")&&("Philosopher17.HasRight_17>=1"))&&("Philosopher17.HasLeft_17>=1")))||((("Neighbourhood341.Neighbourhood_341>=1")&&("Philosopher17.HasRight_17>=1"))&&("Philosopher17.HasLeft_17>=1")))||((("Neighbourhood342.Neighbourhood_342>=1")&&("Philosopher17.HasRight_17>=1"))&&("Philosopher17.HasLeft_17>=1")))||((("Neighbourhood343.Neighbourhood_343>=1")&&("Philosopher17.HasRight_17>=1"))&&("Philosopher17.HasLeft_17>=1")))||((("Neighbourhood344.Neighbourhood_344>=1")&&("Philosopher17.HasRight_17>=1"))&&("Philosopher17.HasLeft_17>=1")))||((("Neighbourhood345.Neighbourhood_345>=1")&&("Philosopher17.HasRight_17>=1"))&&("Philosopher17.HasLeft_17>=1")))||((("Neighbourhood346.Neighbourhood_346>=1")&&("Philosopher17.HasRight_17>=1"))&&("Philosopher17.HasLeft_17>=1")))||((("Neighbourhood347.Neighbourhood_347>=1")&&("Philosopher17.HasRight_17>=1"))&&("Philosopher17.HasLeft_17>=1")))||((("Neighbourhood348.Neighbourhood_348>=1")&&("Philosopher17.HasRight_17>=1"))&&("Philosopher17.HasLeft_17>=1")))||((("Neighbourhood349.Neighbourhood_349>=1")&&("Philosopher17.HasRight_17>=1"))&&("Philosopher17.HasLeft_17>=1")))||((("Neighbourhood350.Neighbourhood_350>=1")&&("Philosopher17.HasRight_17>=1"))&&("Philosopher17.HasLeft_17>=1")))||((("Neighbourhood351.Neighbourhood_351>=1")&&("Philosopher17.HasRight_17>=1"))&&("Philosopher17.HasLeft_17>=1")))||((("Neighbourhood352.Neighbourhood_352>=1")&&("Philosopher17.HasRight_17>=1"))&&("Philosopher17.HasLeft_17>=1")))||((("Neighbourhood353.Neighbourhood_353>=1")&&("Philosopher17.HasRight_17>=1"))&&("Philosopher17.HasLeft_17>=1")))||((("Neighbourhood354.Neighbourhood_354>=1")&&("Philosopher17.HasRight_17>=1"))&&("Philosopher17.HasLeft_17>=1")))||((("Neighbourhood355.Neighbourhood_355>=1")&&("Philosopher17.HasRight_17>=1"))&&("Philosopher17.HasLeft_17>=1")))||((("Neighbourhood356.Neighbourhood_356>=1")&&("Philosopher17.HasRight_17>=1"))&&("Philosopher17.HasLeft_17>=1")))||((("Neighbourhood357.Neighbourhood_357>=1")&&("Philosopher17.HasRight_17>=1"))&&("Philosopher17.HasLeft_17>=1")))||((("Neighbourhood358.Neighbourhood_358>=1")&&("Philosopher17.HasRight_17>=1"))&&("Philosopher17.HasLeft_17>=1")))||((("Neighbourhood359.Neighbourhood_359>=1")&&("Philosopher17.HasRight_17>=1"))&&("Philosopher17.HasLeft_17>=1")))||((("Neighbourhood360.Neighbourhood_360>=1")&&("Philosopher18.HasRight_18>=1"))&&("Philosopher18.HasLeft_18>=1")))||((("Neighbourhood361.Neighbourhood_361>=1")&&("Philosopher18.HasRight_18>=1"))&&("Philosopher18.HasLeft_18>=1")))||((("Neighbourhood362.Neighbourhood_362>=1")&&("Philosopher18.HasRight_18>=1"))&&("Philosopher18.HasLeft_18>=1")))||((("Neighbourhood363.Neighbourhood_363>=1")&&("Philosopher18.HasRight_18>=1"))&&("Philosopher18.HasLeft_18>=1")))||((("Neighbourhood364.Neighbourhood_364>=1")&&("Philosopher18.HasRight_18>=1"))&&("Philosopher18.HasLeft_18>=1")))||((("Neighbourhood365.Neighbourhood_365>=1")&&("Philosopher18.HasRight_18>=1"))&&("Philosopher18.HasLeft_18>=1")))||((("Neighbourhood366.Neighbourhood_366>=1")&&("Philosopher18.HasRight_18>=1"))&&("Philosopher18.HasLeft_18>=1")))||((("Neighbourhood367.Neighbourhood_367>=1")&&("Philosopher18.HasRight_18>=1"))&&("Philosopher18.HasLeft_18>=1")))||((("Neighbourhood368.Neighbourhood_368>=1")&&("Philosopher18.HasRight_18>=1"))&&("Philosopher18.HasLeft_18>=1")))||((("Neighbourhood369.Neighbourhood_369>=1")&&("Philosopher18.HasRight_18>=1"))&&("Philosopher18.HasLeft_18>=1")))||((("Neighbourhood370.Neighbourhood_370>=1")&&("Philosopher18.HasRight_18>=1"))&&("Philosopher18.HasLeft_18>=1")))||((("Neighbourhood371.Neighbourhood_371>=1")&&("Philosopher18.HasRight_18>=1"))&&("Philosopher18.HasLeft_18>=1")))||((("Neighbourhood372.Neighbourhood_372>=1")&&("Philosopher18.HasRight_18>=1"))&&("Philosopher18.HasLeft_18>=1")))||((("Neighbourhood373.Neighbourhood_373>=1")&&("Philosopher18.HasRight_18>=1"))&&("Philosopher18.HasLeft_18>=1")))||((("Neighbourhood374.Neighbourhood_374>=1")&&("Philosopher18.HasRight_18>=1"))&&("Philosopher18.HasLeft_18>=1")))||((("Neighbourhood375.Neighbourhood_375>=1")&&("Philosopher18.HasRight_18>=1"))&&("Philosopher18.HasLeft_18>=1")))||((("Neighbourhood376.Neighbourhood_376>=1")&&("Philosopher18.HasRight_18>=1"))&&("Philosopher18.HasLeft_18>=1")))||((("Neighbourhood377.Neighbourhood_377>=1")&&("Philosopher18.HasRight_18>=1"))&&("Philosopher18.HasLeft_18>=1")))||((("Neighbourhood378.Neighbourhood_378>=1")&&("Philosopher18.HasRight_18>=1"))&&("Philosopher18.HasLeft_18>=1")))||((("Neighbourhood379.Neighbourhood_379>=1")&&("Philosopher18.HasRight_18>=1"))&&("Philosopher18.HasLeft_18>=1")))||((("Neighbourhood380.Neighbourhood_380>=1")&&("Philosopher19.HasRight_19>=1"))&&("Philosopher19.HasLeft_19>=1")))||((("Neighbourhood381.Neighbourhood_381>=1")&&("Philosopher19.HasRight_19>=1"))&&("Philosopher19.HasLeft_19>=1")))||((("Neighbourhood382.Neighbourhood_382>=1")&&("Philosopher19.HasRight_19>=1"))&&("Philosopher19.HasLeft_19>=1")))||((("Neighbourhood383.Neighbourhood_383>=1")&&("Philosopher19.HasRight_19>=1"))&&("Philosopher19.HasLeft_19>=1")))||((("Neighbourhood384.Neighbourhood_384>=1")&&("Philosopher19.HasRight_19>=1"))&&("Philosopher19.HasLeft_19>=1")))||((("Neighbourhood385.Neighbourhood_385>=1")&&("Philosopher19.HasRight_19>=1"))&&("Philosopher19.HasLeft_19>=1")))||((("Neighbourhood386.Neighbourhood_386>=1")&&("Philosopher19.HasRight_19>=1"))&&("Philosopher19.HasLeft_19>=1")))||((("Neighbourhood387.Neighbourhood_387>=1")&&("Philosopher19.HasRight_19>=1"))&&("Philosopher19.HasLeft_19>=1")))||((("Neighbourhood388.Neighbourhood_388>=1")&&("Philosopher19.HasRight_19>=1"))&&("Philosopher19.HasLeft_19>=1")))||((("Neighbourhood389.Neighbourhood_389>=1")&&("Philosopher19.HasRight_19>=1"))&&("Philosopher19.HasLeft_19>=1")))||((("Neighbourhood390.Neighbourhood_390>=1")&&("Philosopher19.HasRight_19>=1"))&&("Philosopher19.HasLeft_19>=1")))||((("Neighbourhood391.Neighbourhood_391>=1")&&("Philosopher19.HasRight_19>=1"))&&("Philosopher19.HasLeft_19>=1")))||((("Neighbourhood392.Neighbourhood_392>=1")&&("Philosopher19.HasRight_19>=1"))&&("Philosopher19.HasLeft_19>=1")))||((("Neighbourhood393.Neighbourhood_393>=1")&&("Philosopher19.HasRight_19>=1"))&&("Philosopher19.HasLeft_19>=1")))||((("Neighbourhood394.Neighbourhood_394>=1")&&("Philosopher19.HasRight_19>=1"))&&("Philosopher19.HasLeft_19>=1")))||((("Neighbourhood395.Neighbourhood_395>=1")&&("Philosopher19.HasRight_19>=1"))&&("Philosopher19.HasLeft_19>=1")))||((("Neighbourhood396.Neighbourhood_396>=1")&&("Philosopher19.HasRight_19>=1"))&&("Philosopher19.HasLeft_19>=1")))||((("Neighbourhood397.Neighbourhood_397>=1")&&("Philosopher19.HasRight_19>=1"))&&("Philosopher19.HasLeft_19>=1")))||((("Neighbourhood398.Neighbourhood_398>=1")&&("Philosopher19.HasRight_19>=1"))&&("Philosopher19.HasLeft_19>=1")))||((("Neighbourhood399.Neighbourhood_399>=1")&&("Philosopher19.HasRight_19>=1"))&&("Philosopher19.HasLeft_19>=1"))))))
Formula 0 simplified : !GX(("Neighbourhood0.Neighbourhood_0>=1" & "Philosopher0.HasLeft_0>=1" & "Philosopher0.HasRight_0>=1") | ("Neighbourhood1.Neighbourhood_1>=1" & "Philosopher0.HasLeft_0>=1" & "Philosopher0.HasRight_0>=1") | ("Neighbourhood2.Neighbourhood_2>=1" & "Philosopher0.HasLeft_0>=1" & "Philosopher0.HasRight_0>=1") | ("Neighbourhood3.Neighbourhood_3>=1" & "Philosopher0.HasLeft_0>=1" & "Philosopher0.HasRight_0>=1") | ("Neighbourhood4.Neighbourhood_4>=1" & "Philosopher0.HasLeft_0>=1" & "Philosopher0.HasRight_0>=1") | ("Neighbourhood5.Neighbourhood_5>=1" & "Philosopher0.HasLeft_0>=1" & "Philosopher0.HasRight_0>=1") | ("Neighbourhood6.Neighbourhood_6>=1" & "Philosopher0.HasLeft_0>=1" & "Philosopher0.HasRight_0>=1") | ("Neighbourhood7.Neighbourhood_7>=1" & "Philosopher0.HasLeft_0>=1" & "Philosopher0.HasRight_0>=1") | ("Neighbourhood8.Neighbourhood_8>=1" & "Philosopher0.HasLeft_0>=1" & "Philosopher0.HasRight_0>=1") | ("Neighbourhood9.Neighbourhood_9>=1" & "Philosopher0.HasLeft_0>=1" & "Philosopher0.HasRight_0>=1") | ("Neighbourhood10.Neighbourhood_10>=1" & "Philosopher0.HasLeft_0>=1" & "Philosopher0.HasRight_0>=1") | ("Neighbourhood11.Neighbourhood_11>=1" & "Philosopher0.HasLeft_0>=1" & "Philosopher0.HasRight_0>=1") | ("Neighbourhood12.Neighbourhood_12>=1" & "Philosopher0.HasLeft_0>=1" & "Philosopher0.HasRight_0>=1") | ("Neighbourhood13.Neighbourhood_13>=1" & "Philosopher0.HasLeft_0>=1" & "Philosopher0.HasRight_0>=1") | ("Neighbourhood14.Neighbourhood_14>=1" & "Philosopher0.HasLeft_0>=1" & "Philosopher0.HasRight_0>=1") | ("Neighbourhood15.Neighbourhood_15>=1" & "Philosopher0.HasLeft_0>=1" & "Philosopher0.HasRight_0>=1") | ("Neighbourhood16.Neighbourhood_16>=1" & "Philosopher0.HasLeft_0>=1" & "Philosopher0.HasRight_0>=1") | ("Neighbourhood17.Neighbourhood_17>=1" & "Philosopher0.HasLeft_0>=1" & "Philosopher0.HasRight_0>=1") | ("Neighbourhood18.Neighbourhood_18>=1" & "Philosopher0.HasLeft_0>=1" & "Philosopher0.HasRight_0>=1") | ("Neighbourhood19.Neighbourhood_19>=1" & "Philosopher0.HasLeft_0>=1" & "Philosopher0.HasRight_0>=1") | ("Neighbourhood20.Neighbourhood_20>=1" & "Philosopher1.HasLeft_1>=1" & "Philosopher1.HasRight_1>=1") | ("Neighbourhood21.Neighbourhood_21>=1" & "Philosopher1.HasLeft_1>=1" & "Philosopher1.HasRight_1>=1") | ("Neighbourhood22.Neighbourhood_22>=1" & "Philosopher1.HasLeft_1>=1" & "Philosopher1.HasRight_1>=1") | ("Neighbourhood23.Neighbourhood_23>=1" & "Philosopher1.HasLeft_1>=1" & "Philosopher1.HasRight_1>=1") | ("Neighbourhood24.Neighbourhood_24>=1" & "Philosopher1.HasLeft_1>=1" & "Philosopher1.HasRight_1>=1") | ("Neighbourhood25.Neighbourhood_25>=1" & "Philosopher1.HasLeft_1>=1" & "Philosopher1.HasRight_1>=1") | ("Neighbourhood26.Neighbourhood_26>=1" & "Philosopher1.HasLeft_1>=1" & "Philosopher1.HasRight_1>=1") | ("Neighbourhood27.Neighbourhood_27>=1" & "Philosopher1.HasLeft_1>=1" & "Philosopher1.HasRight_1>=1") | ("Neighbourhood28.Neighbourhood_28>=1" & "Philosopher1.HasLeft_1>=1" & "Philosopher1.HasRight_1>=1") | ("Neighbourhood29.Neighbourhood_29>=1" & "Philosopher1.HasLeft_1>=1" & "Philosopher1.HasRight_1>=1") | ("Neighbourhood30.Neighbourhood_30>=1" & "Philosopher1.HasLeft_1>=1" & "Philosopher1.HasRight_1>=1") | ("Neighbourhood31.Neighbourhood_31>=1" & "Philosopher1.HasLeft_1>=1" & "Philosopher1.HasRight_1>=1") | ("Neighbourhood32.Neighbourhood_32>=1" & "Philosopher1.HasLeft_1>=1" & "Philosopher1.HasRight_1>=1") | ("Neighbourhood33.Neighbourhood_33>=1" & "Philosopher1.HasLeft_1>=1" & "Philosopher1.HasRight_1>=1") | ("Neighbourhood34.Neighbourhood_34>=1" & "Philosopher1.HasLeft_1>=1" & "Philosopher1.HasRight_1>=1") | ("Neighbourhood35.Neighbourhood_35>=1" & "Philosopher1.HasLeft_1>=1" & "Philosopher1.HasRight_1>=1") | ("Neighbourhood36.Neighbourhood_36>=1" & "Philosopher1.HasLeft_1>=1" & "Philosopher1.HasRight_1>=1") | ("Neighbourhood37.Neighbourhood_37>=1" & "Philosopher1.HasLeft_1>=1" & "Philosopher1.HasRight_1>=1") | ("Neighbourhood38.Neighbourhood_38>=1" & "Philosopher1.HasLeft_1>=1" & "Philosopher1.HasRight_1>=1") | ("Neighbourhood39.Neighbourhood_39>=1" & "Philosopher1.HasLeft_1>=1" & "Philosopher1.HasRight_1>=1") | ("Neighbourhood40.Neighbourhood_40>=1" & "Philosopher2.HasLeft_2>=1" & "Philosopher2.HasRight_2>=1") | ("Neighbourhood41.Neighbourhood_41>=1" & "Philosopher2.HasLeft_2>=1" & "Philosopher2.HasRight_2>=1") | ("Neighbourhood42.Neighbourhood_42>=1" & "Philosopher2.HasLeft_2>=1" & "Philosopher2.HasRight_2>=1") | ("Neighbourhood43.Neighbourhood_43>=1" & "Philosopher2.HasLeft_2>=1" & "Philosopher2.HasRight_2>=1") | ("Neighbourhood44.Neighbourhood_44>=1" & "Philosopher2.HasLeft_2>=1" & "Philosopher2.HasRight_2>=1") | ("Neighbourhood45.Neighbourhood_45>=1" & "Philosopher2.HasLeft_2>=1" & "Philosopher2.HasRight_2>=1") | ("Neighbourhood46.Neighbourhood_46>=1" & "Philosopher2.HasLeft_2>=1" & "Philosopher2.HasRight_2>=1") | ("Neighbourhood47.Neighbourhood_47>=1" & "Philosopher2.HasLeft_2>=1" & "Philosopher2.HasRight_2>=1") | ("Neighbourhood48.Neighbourhood_48>=1" & "Philosopher2.HasLeft_2>=1" & "Philosopher2.HasRight_2>=1") | ("Neighbourhood49.Neighbourhood_49>=1" & "Philosopher2.HasLeft_2>=1" & "Philosopher2.HasRight_2>=1") | ("Neighbourhood50.Neighbourhood_50>=1" & "Philosopher2.HasLeft_2>=1" & "Philosopher2.HasRight_2>=1") | ("Neighbourhood51.Neighbourhood_51>=1" & "Philosopher2.HasLeft_2>=1" & "Philosopher2.HasRight_2>=1") | ("Neighbourhood52.Neighbourhood_52>=1" & "Philosopher2.HasLeft_2>=1" & "Philosopher2.HasRight_2>=1") | ("Neighbourhood53.Neighbourhood_53>=1" & "Philosopher2.HasLeft_2>=1" & "Philosopher2.HasRight_2>=1") | ("Neighbourhood54.Neighbourhood_54>=1" & "Philosopher2.HasLeft_2>=1" & "Philosopher2.HasRight_2>=1") | ("Neighbourhood55.Neighbourhood_55>=1" & "Philosopher2.HasLeft_2>=1" & "Philosopher2.HasRight_2>=1") | ("Neighbourhood56.Neighbourhood_56>=1" & "Philosopher2.HasLeft_2>=1" & "Philosopher2.HasRight_2>=1") | ("Neighbourhood57.Neighbourhood_57>=1" & "Philosopher2.HasLeft_2>=1" & "Philosopher2.HasRight_2>=1") | ("Neighbourhood58.Neighbourhood_58>=1" & "Philosopher2.HasLeft_2>=1" & "Philosopher2.HasRight_2>=1") | ("Neighbourhood59.Neighbourhood_59>=1" & "Philosopher2.HasLeft_2>=1" & "Philosopher2.HasRight_2>=1") | ("Neighbourhood60.Neighbourhood_60>=1" & "Philosopher3.HasLeft_3>=1" & "Philosopher3.HasRight_3>=1") | ("Neighbourhood61.Neighbourhood_61>=1" & "Philosopher3.HasLeft_3>=1" & "Philosopher3.HasRight_3>=1") | ("Neighbourhood62.Neighbourhood_62>=1" & "Philosopher3.HasLeft_3>=1" & "Philosopher3.HasRight_3>=1") | ("Neighbourhood63.Neighbourhood_63>=1" & "Philosopher3.HasLeft_3>=1" & "Philosopher3.HasRight_3>=1") | ("Neighbourhood64.Neighbourhood_64>=1" & "Philosopher3.HasLeft_3>=1" & "Philosopher3.HasRight_3>=1") | ("Neighbourhood65.Neighbourhood_65>=1" & "Philosopher3.HasLeft_3>=1" & "Philosopher3.HasRight_3>=1") | ("Neighbourhood66.Neighbourhood_66>=1" & "Philosopher3.HasLeft_3>=1" & "Philosopher3.HasRight_3>=1") | ("Neighbourhood67.Neighbourhood_67>=1" & "Philosopher3.HasLeft_3>=1" & "Philosopher3.HasRight_3>=1") | ("Neighbourhood68.Neighbourhood_68>=1" & "Philosopher3.HasLeft_3>=1" & "Philosopher3.HasRight_3>=1") | ("Neighbourhood69.Neighbourhood_69>=1" & "Philosopher3.HasLeft_3>=1" & "Philosopher3.HasRight_3>=1") | ("Neighbourhood70.Neighbourhood_70>=1" & "Philosopher3.HasLeft_3>=1" & "Philosopher3.HasRight_3>=1") | ("Neighbourhood71.Neighbourhood_71>=1" & "Philosopher3.HasLeft_3>=1" & "Philosopher3.HasRight_3>=1") | ("Neighbourhood72.Neighbourhood_72>=1" & "Philosopher3.HasLeft_3>=1" & "Philosopher3.HasRight_3>=1") | ("Neighbourhood73.Neighbourhood_73>=1" & "Philosopher3.HasLeft_3>=1" & "Philosopher3.HasRight_3>=1") | ("Neighbourhood74.Neighbourhood_74>=1" & "Philosopher3.HasLeft_3>=1" & "Philosopher3.HasRight_3>=1") | ("Neighbourhood75.Neighbourhood_75>=1" & "Philosopher3.HasLeft_3>=1" & "Philosopher3.HasRight_3>=1") | ("Neighbourhood76.Neighbourhood_76>=1" & "Philosopher3.HasLeft_3>=1" & "Philosopher3.HasRight_3>=1") | ("Neighbourhood77.Neighbourhood_77>=1" & "Philosopher3.HasLeft_3>=1" & "Philosopher3.HasRight_3>=1") | ("Neighbourhood78.Neighbourhood_78>=1" & "Philosopher3.HasLeft_3>=1" & "Philosopher3.HasRight_3>=1") | ("Neighbourhood79.Neighbourhood_79>=1" & "Philosopher3.HasLeft_3>=1" & "Philosopher3.HasRight_3>=1") | ("Neighbourhood80.Neighbourhood_80>=1" & "Philosopher4.HasLeft_4>=1" & "Philosopher4.HasRight_4>=1") | ("Neighbourhood81.Neighbourhood_81>=1" & "Philosopher4.HasLeft_4>=1" & "Philosopher4.HasRight_4>=1") | ("Neighbourhood82.Neighbourhood_82>=1" & "Philosopher4.HasLeft_4>=1" & "Philosopher4.HasRight_4>=1") | ("Neighbourhood83.Neighbourhood_83>=1" & "Philosopher4.HasLeft_4>=1" & "Philosopher4.HasRight_4>=1") | ("Neighbourhood84.Neighbourhood_84>=1" & "Philosopher4.HasLeft_4>=1" & "Philosopher4.HasRight_4>=1") | ("Neighbourhood85.Neighbourhood_85>=1" & "Philosopher4.HasLeft_4>=1" & "Philosopher4.HasRight_4>=1") | ("Neighbourhood86.Neighbourhood_86>=1" & "Philosopher4.HasLeft_4>=1" & "Philosopher4.HasRight_4>=1") | ("Neighbourhood87.Neighbourhood_87>=1" & "Philosopher4.HasLeft_4>=1" & "Philosopher4.HasRight_4>=1") | ("Neighbourhood88.Neighbourhood_88>=1" & "Philosopher4.HasLeft_4>=1" & "Philosopher4.HasRight_4>=1") | ("Neighbourhood89.Neighbourhood_89>=1" & "Philosopher4.HasLeft_4>=1" & "Philosopher4.HasRight_4>=1") | ("Neighbourhood90.Neighbourhood_90>=1" & "Philosopher4.HasLeft_4>=1" & "Philosopher4.HasRight_4>=1") | ("Neighbourhood91.Neighbourhood_91>=1" & "Philosopher4.HasLeft_4>=1" & "Philosopher4.HasRight_4>=1") | ("Neighbourhood92.Neighbourhood_92>=1" & "Philosopher4.HasLeft_4>=1" & "Philosopher4.HasRight_4>=1") | ("Neighbourhood93.Neighbourhood_93>=1" & "Philosopher4.HasLeft_4>=1" & "Philosopher4.HasRight_4>=1") | ("Neighbourhood94.Neighbourhood_94>=1" & "Philosopher4.HasLeft_4>=1" & "Philosopher4.HasRight_4>=1") | ("Neighbourhood95.Neighbourhood_95>=1" & "Philosopher4.HasLeft_4>=1" & "Philosopher4.HasRight_4>=1") | ("Neighbourhood96.Neighbourhood_96>=1" & "Philosopher4.HasLeft_4>=1" & "Philosopher4.HasRight_4>=1") | ("Neighbourhood97.Neighbourhood_97>=1" & "Philosopher4.HasLeft_4>=1" & "Philosopher4.HasRight_4>=1") | ("Neighbourhood98.Neighbourhood_98>=1" & "Philosopher4.HasLeft_4>=1" & "Philosopher4.HasRight_4>=1") | ("Neighbourhood99.Neighbourhood_99>=1" & "Philosopher4.HasLeft_4>=1" & "Philosopher4.HasRight_4>=1") | ("Neighbourhood100.Neighbourhood_100>=1" & "Philosopher5.HasLeft_5>=1" & "Philosopher5.HasRight_5>=1") | ("Neighbourhood101.Neighbourhood_101>=1" & "Philosopher5.HasLeft_5>=1" & "Philosopher5.HasRight_5>=1") | ("Neighbourhood102.Neighbourhood_102>=1" & "Philosopher5.HasLeft_5>=1" & "Philosopher5.HasRight_5>=1") | ("Neighbourhood103.Neighbourhood_103>=1" & "Philosopher5.HasLeft_5>=1" & "Philosopher5.HasRight_5>=1") | ("Neighbourhood104.Neighbourhood_104>=1" & "Philosopher5.HasLeft_5>=1" & "Philosopher5.HasRight_5>=1") | ("Neighbourhood105.Neighbourhood_105>=1" & "Philosopher5.HasLeft_5>=1" & "Philosopher5.HasRight_5>=1") | ("Neighbourhood106.Neighbourhood_106>=1" & "Philosopher5.HasLeft_5>=1" & "Philosopher5.HasRight_5>=1") | ("Neighbourhood107.Neighbourhood_107>=1" & "Philosopher5.HasLeft_5>=1" & "Philosopher5.HasRight_5>=1") | ("Neighbourhood108.Neighbourhood_108>=1" & "Philosopher5.HasLeft_5>=1" & "Philosopher5.HasRight_5>=1") | ("Neighbourhood109.Neighbourhood_109>=1" & "Philosopher5.HasLeft_5>=1" & "Philosopher5.HasRight_5>=1") | ("Neighbourhood110.Neighbourhood_110>=1" & "Philosopher5.HasLeft_5>=1" & "Philosopher5.HasRight_5>=1") | ("Neighbourhood111.Neighbourhood_111>=1" & "Philosopher5.HasLeft_5>=1" & "Philosopher5.HasRight_5>=1") | ("Neighbourhood112.Neighbourhood_112>=1" & "Philosopher5.HasLeft_5>=1" & "Philosopher5.HasRight_5>=1") | ("Neighbourhood113.Neighbourhood_113>=1" & "Philosopher5.HasLeft_5>=1" & "Philosopher5.HasRight_5>=1") | ("Neighbourhood114.Neighbourhood_114>=1" & "Philosopher5.HasLeft_5>=1" & "Philosopher5.HasRight_5>=1") | ("Neighbourhood115.Neighbourhood_115>=1" & "Philosopher5.HasLeft_5>=1" & "Philosopher5.HasRight_5>=1") | ("Neighbourhood116.Neighbourhood_116>=1" & "Philosopher5.HasLeft_5>=1" & "Philosopher5.HasRight_5>=1") | ("Neighbourhood117.Neighbourhood_117>=1" & "Philosopher5.HasLeft_5>=1" & "Philosopher5.HasRight_5>=1") | ("Neighbourhood118.Neighbourhood_118>=1" & "Philosopher5.HasLeft_5>=1" & "Philosopher5.HasRight_5>=1") | ("Neighbourhood119.Neighbourhood_119>=1" & "Philosopher5.HasLeft_5>=1" & "Philosopher5.HasRight_5>=1") | ("Neighbourhood120.Neighbourhood_120>=1" & "Philosopher6.HasLeft_6>=1" & "Philosopher6.HasRight_6>=1") | ("Neighbourhood121.Neighbourhood_121>=1" & "Philosopher6.HasLeft_6>=1" & "Philosopher6.HasRight_6>=1") | ("Neighbourhood122.Neighbourhood_122>=1" & "Philosopher6.HasLeft_6>=1" & "Philosopher6.HasRight_6>=1") | ("Neighbourhood123.Neighbourhood_123>=1" & "Philosopher6.HasLeft_6>=1" & "Philosopher6.HasRight_6>=1") | ("Neighbourhood124.Neighbourhood_124>=1" & "Philosopher6.HasLeft_6>=1" & "Philosopher6.HasRight_6>=1") | ("Neighbourhood125.Neighbourhood_125>=1" & "Philosopher6.HasLeft_6>=1" & "Philosopher6.HasRight_6>=1") | ("Neighbourhood126.Neighbourhood_126>=1" & "Philosopher6.HasLeft_6>=1" & "Philosopher6.HasRight_6>=1") | ("Neighbourhood127.Neighbourhood_127>=1" & "Philosopher6.HasLeft_6>=1" & "Philosopher6.HasRight_6>=1") | ("Neighbourhood128.Neighbourhood_128>=1" & "Philosopher6.HasLeft_6>=1" & "Philosopher6.HasRight_6>=1") | ("Neighbourhood129.Neighbourhood_129>=1" & "Philosopher6.HasLeft_6>=1" & "Philosopher6.HasRight_6>=1") | ("Neighbourhood130.Neighbourhood_130>=1" & "Philosopher6.HasLeft_6>=1" & "Philosopher6.HasRight_6>=1") | ("Neighbourhood131.Neighbourhood_131>=1" & "Philosopher6.HasLeft_6>=1" & "Philosopher6.HasRight_6>=1") | ("Neighbourhood132.Neighbourhood_132>=1" & "Philosopher6.HasLeft_6>=1" & "Philosopher6.HasRight_6>=1") | ("Neighbourhood133.Neighbourhood_133>=1" & "Philosopher6.HasLeft_6>=1" & "Philosopher6.HasRight_6>=1") | ("Neighbourhood134.Neighbourhood_134>=1" & "Philosopher6.HasLeft_6>=1" & "Philosopher6.HasRight_6>=1") | ("Neighbourhood135.Neighbourhood_135>=1" & "Philosopher6.HasLeft_6>=1" & "Philosopher6.HasRight_6>=1") | ("Neighbourhood136.Neighbourhood_136>=1" & "Philosopher6.HasLeft_6>=1" & "Philosopher6.HasRight_6>=1") | ("Neighbourhood137.Neighbourhood_137>=1" & "Philosopher6.HasLeft_6>=1" & "Philosopher6.HasRight_6>=1") | ("Neighbourhood138.Neighbourhood_138>=1" & "Philosopher6.HasLeft_6>=1" & "Philosopher6.HasRight_6>=1") | ("Neighbourhood139.Neighbourhood_139>=1" & "Philosopher6.HasLeft_6>=1" & "Philosopher6.HasRight_6>=1") | ("Neighbourhood140.Neighbourhood_140>=1" & "Philosopher7.HasLeft_7>=1" & "Philosopher7.HasRight_7>=1") | ("Neighbourhood141.Neighbourhood_141>=1" & "Philosopher7.HasLeft_7>=1" & "Philosopher7.HasRight_7>=1") | ("Neighbourhood142.Neighbourhood_142>=1" & "Philosopher7.HasLeft_7>=1" & "Philosopher7.HasRight_7>=1") | ("Neighbourhood143.Neighbourhood_143>=1" & "Philosopher7.HasLeft_7>=1" & "Philosopher7.HasRight_7>=1") | ("Neighbourhood144.Neighbourhood_144>=1" & "Philosopher7.HasLeft_7>=1" & "Philosopher7.HasRight_7>=1") | ("Neighbourhood145.Neighbourhood_145>=1" & "Philosopher7.HasLeft_7>=1" & "Philosopher7.HasRight_7>=1") | ("Neighbourhood146.Neighbourhood_146>=1" & "Philosopher7.HasLeft_7>=1" & "Philosopher7.HasRight_7>=1") | ("Neighbourhood147.Neighbourhood_147>=1" & "Philosopher7.HasLeft_7>=1" & "Philosopher7.HasRight_7>=1") | ("Neighbourhood148.Neighbourhood_148>=1" & "Philosopher7.HasLeft_7>=1" & "Philosopher7.HasRight_7>=1") | ("Neighbourhood149.Neighbourhood_149>=1" & "Philosopher7.HasLeft_7>=1" & "Philosopher7.HasRight_7>=1") | ("Neighbourhood150.Neighbourhood_150>=1" & "Philosopher7.HasLeft_7>=1" & "Philosopher7.HasRight_7>=1") | ("Neighbourhood151.Neighbourhood_151>=1" & "Philosopher7.HasLeft_7>=1" & "Philosopher7.HasRight_7>=1") | ("Neighbourhood152.Neighbourhood_152>=1" & "Philosopher7.HasLeft_7>=1" & "Philosopher7.HasRight_7>=1") | ("Neighbourhood153.Neighbourhood_153>=1" & "Philosopher7.HasLeft_7>=1" & "Philosopher7.HasRight_7>=1") | ("Neighbourhood154.Neighbourhood_154>=1" & "Philosopher7.HasLeft_7>=1" & "Philosopher7.HasRight_7>=1") | ("Neighbourhood155.Neighbourhood_155>=1" & "Philosopher7.HasLeft_7>=1" & "Philosopher7.HasRight_7>=1") | ("Neighbourhood156.Neighbourhood_156>=1" & "Philosopher7.HasLeft_7>=1" & "Philosopher7.HasRight_7>=1") | ("Neighbourhood157.Neighbourhood_157>=1" & "Philosopher7.HasLeft_7>=1" & "Philosopher7.HasRight_7>=1") | ("Neighbourhood158.Neighbourhood_158>=1" & "Philosopher7.HasLeft_7>=1" & "Philosopher7.HasRight_7>=1") | ("Neighbourhood159.Neighbourhood_159>=1" & "Philosopher7.HasLeft_7>=1" & "Philosopher7.HasRight_7>=1") | ("Neighbourhood160.Neighbourhood_160>=1" & "Philosopher8.HasLeft_8>=1" & "Philosopher8.HasRight_8>=1") | ("Neighbourhood161.Neighbourhood_161>=1" & "Philosopher8.HasLeft_8>=1" & "Philosopher8.HasRight_8>=1") | ("Neighbourhood162.Neighbourhood_162>=1" & "Philosopher8.HasLeft_8>=1" & "Philosopher8.HasRight_8>=1") | ("Neighbourhood163.Neighbourhood_163>=1" & "Philosopher8.HasLeft_8>=1" & "Philosopher8.HasRight_8>=1") | ("Neighbourhood164.Neighbourhood_164>=1" & "Philosopher8.HasLeft_8>=1" & "Philosopher8.HasRight_8>=1") | ("Neighbourhood165.Neighbourhood_165>=1" & "Philosopher8.HasLeft_8>=1" & "Philosopher8.HasRight_8>=1") | ("Neighbourhood166.Neighbourhood_166>=1" & "Philosopher8.HasLeft_8>=1" & "Philosopher8.HasRight_8>=1") | ("Neighbourhood167.Neighbourhood_167>=1" & "Philosopher8.HasLeft_8>=1" & "Philosopher8.HasRight_8>=1") | ("Neighbourhood168.Neighbourhood_168>=1" & "Philosopher8.HasLeft_8>=1" & "Philosopher8.HasRight_8>=1") | ("Neighbourhood169.Neighbourhood_169>=1" & "Philosopher8.HasLeft_8>=1" & "Philosopher8.HasRight_8>=1") | ("Neighbourhood170.Neighbourhood_170>=1" & "Philosopher8.HasLeft_8>=1" & "Philosopher8.HasRight_8>=1") | ("Neighbourhood171.Neighbourhood_171>=1" & "Philosopher8.HasLeft_8>=1" & "Philosopher8.HasRight_8>=1") | ("Neighbourhood172.Neighbourhood_172>=1" & "Philosopher8.HasLeft_8>=1" & "Philosopher8.HasRight_8>=1") | ("Neighbourhood173.Neighbourhood_173>=1" & "Philosopher8.HasLeft_8>=1" & "Philosopher8.HasRight_8>=1") | ("Neighbourhood174.Neighbourhood_174>=1" & "Philosopher8.HasLeft_8>=1" & "Philosopher8.HasRight_8>=1") | ("Neighbourhood175.Neighbourhood_175>=1" & "Philosopher8.HasLeft_8>=1" & "Philosopher8.HasRight_8>=1") | ("Neighbourhood176.Neighbourhood_176>=1" & "Philosopher8.HasLeft_8>=1" & "Philosopher8.HasRight_8>=1") | ("Neighbourhood177.Neighbourhood_177>=1" & "Philosopher8.HasLeft_8>=1" & "Philosopher8.HasRight_8>=1") | ("Neighbourhood178.Neighbourhood_178>=1" & "Philosopher8.HasLeft_8>=1" & "Philosopher8.HasRight_8>=1") | ("Neighbourhood179.Neighbourhood_179>=1" & "Philosopher8.HasLeft_8>=1" & "Philosopher8.HasRight_8>=1") | ("Neighbourhood180.Neighbourhood_180>=1" & "Philosopher9.HasLeft_9>=1" & "Philosopher9.HasRight_9>=1") | ("Neighbourhood181.Neighbourhood_181>=1" & "Philosopher9.HasLeft_9>=1" & "Philosopher9.HasRight_9>=1") | ("Neighbourhood182.Neighbourhood_182>=1" & "Philosopher9.HasLeft_9>=1" & "Philosopher9.HasRight_9>=1") | ("Neighbourhood183.Neighbourhood_183>=1" & "Philosopher9.HasLeft_9>=1" & "Philosopher9.HasRight_9>=1") | ("Neighbourhood184.Neighbourhood_184>=1" & "Philosopher9.HasLeft_9>=1" & "Philosopher9.HasRight_9>=1") | ("Neighbourhood185.Neighbourhood_185>=1" & "Philosopher9.HasLeft_9>=1" & "Philosopher9.HasRight_9>=1") | ("Neighbourhood186.Neighbourhood_186>=1" & "Philosopher9.HasLeft_9>=1" & "Philosopher9.HasRight_9>=1") | ("Neighbourhood187.Neighbourhood_187>=1" & "Philosopher9.HasLeft_9>=1" & "Philosopher9.HasRight_9>=1") | ("Neighbourhood188.Neighbourhood_188>=1" & "Philosopher9.HasLeft_9>=1" & "Philosopher9.HasRight_9>=1") | ("Neighbourhood189.Neighbourhood_189>=1" & "Philosopher9.HasLeft_9>=1" & "Philosopher9.HasRight_9>=1") | ("Neighbourhood190.Neighbourhood_190>=1" & "Philosopher9.HasLeft_9>=1" & "Philosopher9.HasRight_9>=1") | ("Neighbourhood191.Neighbourhood_191>=1" & "Philosopher9.HasLeft_9>=1" & "Philosopher9.HasRight_9>=1") | ("Neighbourhood192.Neighbourhood_192>=1" & "Philosopher9.HasLeft_9>=1" & "Philosopher9.HasRight_9>=1") | ("Neighbourhood193.Neighbourhood_193>=1" & "Philosopher9.HasLeft_9>=1" & "Philosopher9.HasRight_9>=1") | ("Neighbourhood194.Neighbourhood_194>=1" & "Philosopher9.HasLeft_9>=1" & "Philosopher9.HasRight_9>=1") | ("Neighbourhood195.Neighbourhood_195>=1" & "Philosopher9.HasLeft_9>=1" & "Philosopher9.HasRight_9>=1") | ("Neighbourhood196.Neighbourhood_196>=1" & "Philosopher9.HasLeft_9>=1" & "Philosopher9.HasRight_9>=1") | ("Neighbourhood197.Neighbourhood_197>=1" & "Philosopher9.HasLeft_9>=1" & "Philosopher9.HasRight_9>=1") | ("Neighbourhood198.Neighbourhood_198>=1" & "Philosopher9.HasLeft_9>=1" & "Philosopher9.HasRight_9>=1") | ("Neighbourhood199.Neighbourhood_199>=1" & "Philosopher9.HasLeft_9>=1" & "Philosopher9.HasRight_9>=1") | ("Neighbourhood200.Neighbourhood_200>=1" & "Philosopher10.HasLeft_10>=1" & "Philosopher10.HasRight_10>=1") | ("Neighbourhood201.Neighbourhood_201>=1" & "Philosopher10.HasLeft_10>=1" & "Philosopher10.HasRight_10>=1") | ("Neighbourhood202.Neighbourhood_202>=1" & "Philosopher10.HasLeft_10>=1" & "Philosopher10.HasRight_10>=1") | ("Neighbourhood203.Neighbourhood_203>=1" & "Philosopher10.HasLeft_10>=1" & "Philosopher10.HasRight_10>=1") | ("Neighbourhood204.Neighbourhood_204>=1" & "Philosopher10.HasLeft_10>=1" & "Philosopher10.HasRight_10>=1") | ("Neighbourhood205.Neighbourhood_205>=1" & "Philosopher10.HasLeft_10>=1" & "Philosopher10.HasRight_10>=1") | ("Neighbourhood206.Neighbourhood_206>=1" & "Philosopher10.HasLeft_10>=1" & "Philosopher10.HasRight_10>=1") | ("Neighbourhood207.Neighbourhood_207>=1" & "Philosopher10.HasLeft_10>=1" & "Philosopher10.HasRight_10>=1") | ("Neighbourhood208.Neighbourhood_208>=1" & "Philosopher10.HasLeft_10>=1" & "Philosopher10.HasRight_10>=1") | ("Neighbourhood209.Neighbourhood_209>=1" & "Philosopher10.HasLeft_10>=1" & "Philosopher10.HasRight_10>=1") | ("Neighbourhood210.Neighbourhood_210>=1" & "Philosopher10.HasLeft_10>=1" & "Philosopher10.HasRight_10>=1") | ("Neighbourhood211.Neighbourhood_211>=1" & "Philosopher10.HasLeft_10>=1" & "Philosopher10.HasRight_10>=1") | ("Neighbourhood212.Neighbourhood_212>=1" & "Philosopher10.HasLeft_10>=1" & "Philosopher10.HasRight_10>=1") | ("Neighbourhood213.Neighbourhood_213>=1" & "Philosopher10.HasLeft_10>=1" & "Philosopher10.HasRight_10>=1") | ("Neighbourhood214.Neighbourhood_214>=1" & "Philosopher10.HasLeft_10>=1" & "Philosopher10.HasRight_10>=1") | ("Neighbourhood215.Neighbourhood_215>=1" & "Philosopher10.HasLeft_10>=1" & "Philosopher10.HasRight_10>=1") | ("Neighbourhood216.Neighbourhood_216>=1" & "Philosopher10.HasLeft_10>=1" & "Philosopher10.HasRight_10>=1") | ("Neighbourhood217.Neighbourhood_217>=1" & "Philosopher10.HasLeft_10>=1" & "Philosopher10.HasRight_10>=1") | ("Neighbourhood218.Neighbourhood_218>=1" & "Philosopher10.HasLeft_10>=1" & "Philosopher10.HasRight_10>=1") | ("Neighbourhood219.Neighbourhood_219>=1" & "Philosopher10.HasLeft_10>=1" & "Philosopher10.HasRight_10>=1") | ("Neighbourhood220.Neighbourhood_220>=1" & "Philosopher11.HasLeft_11>=1" & "Philosopher11.HasRight_11>=1") | ("Neighbourhood221.Neighbourhood_221>=1" & "Philosopher11.HasLeft_11>=1" & "Philosopher11.HasRight_11>=1") | ("Neighbourhood222.Neighbourhood_222>=1" & "Philosopher11.HasLeft_11>=1" & "Philosopher11.HasRight_11>=1") | ("Neighbourhood223.Neighbourhood_223>=1" & "Philosopher11.HasLeft_11>=1" & "Philosopher11.HasRight_11>=1") | ("Neighbourhood224.Neighbourhood_224>=1" & "Philosopher11.HasLeft_11>=1" & "Philosopher11.HasRight_11>=1") | ("Neighbourhood225.Neighbourhood_225>=1" & "Philosopher11.HasLeft_11>=1" & "Philosopher11.HasRight_11>=1") | ("Neighbourhood226.Neighbourhood_226>=1" & "Philosopher11.HasLeft_11>=1" & "Philosopher11.HasRight_11>=1") | ("Neighbourhood227.Neighbourhood_227>=1" & "Philosopher11.HasLeft_11>=1" & "Philosopher11.HasRight_11>=1") | ("Neighbourhood228.Neighbourhood_228>=1" & "Philosopher11.HasLeft_11>=1" & "Philosopher11.HasRight_11>=1") | ("Neighbourhood229.Neighbourhood_229>=1" & "Philosopher11.HasLeft_11>=1" & "Philosopher11.HasRight_11>=1") | ("Neighbourhood230.Neighbourhood_230>=1" & "Philosopher11.HasLeft_11>=1" & "Philosopher11.HasRight_11>=1") | ("Neighbourhood231.Neighbourhood_231>=1" & "Philosopher11.HasLeft_11>=1" & "Philosopher11.HasRight_11>=1") | ("Neighbourhood232.Neighbourhood_232>=1" & "Philosopher11.HasLeft_11>=1" & "Philosopher11.HasRight_11>=1") | ("Neighbourhood233.Neighbourhood_233>=1" & "Philosopher11.HasLeft_11>=1" & "Philosopher11.HasRight_11>=1") | ("Neighbourhood234.Neighbourhood_234>=1" & "Philosopher11.HasLeft_11>=1" & "Philosopher11.HasRight_11>=1") | ("Neighbourhood235.Neighbourhood_235>=1" & "Philosopher11.HasLeft_11>=1" & "Philosopher11.HasRight_11>=1") | ("Neighbourhood236.Neighbourhood_236>=1" & "Philosopher11.HasLeft_11>=1" & "Philosopher11.HasRight_11>=1") | ("Neighbourhood237.Neighbourhood_237>=1" & "Philosopher11.HasLeft_11>=1" & "Philosopher11.HasRight_11>=1") | ("Neighbourhood238.Neighbourhood_238>=1" & "Philosopher11.HasLeft_11>=1" & "Philosopher11.HasRight_11>=1") | ("Neighbourhood239.Neighbourhood_239>=1" & "Philosopher11.HasLeft_11>=1" & "Philosopher11.HasRight_11>=1") | ("Neighbourhood240.Neighbourhood_240>=1" & "Philosopher12.HasLeft_12>=1" & "Philosopher12.HasRight_12>=1") | ("Neighbourhood241.Neighbourhood_241>=1" & "Philosopher12.HasLeft_12>=1" & "Philosopher12.HasRight_12>=1") | ("Neighbourhood242.Neighbourhood_242>=1" & "Philosopher12.HasLeft_12>=1" & "Philosopher12.HasRight_12>=1") | ("Neighbourhood243.Neighbourhood_243>=1" & "Philosopher12.HasLeft_12>=1" & "Philosopher12.HasRight_12>=1") | ("Neighbourhood244.Neighbourhood_244>=1" & "Philosopher12.HasLeft_12>=1" & "Philosopher12.HasRight_12>=1") | ("Neighbourhood245.Neighbourhood_245>=1" & "Philosopher12.HasLeft_12>=1" & "Philosopher12.HasRight_12>=1") | ("Neighbourhood246.Neighbourhood_246>=1" & "Philosopher12.HasLeft_12>=1" & "Philosopher12.HasRight_12>=1") | ("Neighbourhood247.Neighbourhood_247>=1" & "Philosopher12.HasLeft_12>=1" & "Philosopher12.HasRight_12>=1") | ("Neighbourhood248.Neighbourhood_248>=1" & "Philosopher12.HasLeft_12>=1" & "Philosopher12.HasRight_12>=1") | ("Neighbourhood249.Neighbourhood_249>=1" & "Philosopher12.HasLeft_12>=1" & "Philosopher12.HasRight_12>=1") | ("Neighbourhood250.Neighbourhood_250>=1" & "Philosopher12.HasLeft_12>=1" & "Philosopher12.HasRight_12>=1") | ("Neighbourhood251.Neighbourhood_251>=1" & "Philosopher12.HasLeft_12>=1" & "Philosopher12.HasRight_12>=1") | ("Neighbourhood252.Neighbourhood_252>=1" & "Philosopher12.HasLeft_12>=1" & "Philosopher12.HasRight_12>=1") | ("Neighbourhood253.Neighbourhood_253>=1" & "Philosopher12.HasLeft_12>=1" & "Philosopher12.HasRight_12>=1") | ("Neighbourhood254.Neighbourhood_254>=1" & "Philosopher12.HasLeft_12>=1" & "Philosopher12.HasRight_12>=1") | ("Neighbourhood255.Neighbourhood_255>=1" & "Philosopher12.HasLeft_12>=1" & "Philosopher12.HasRight_12>=1") | ("Neighbourhood256.Neighbourhood_256>=1" & "Philosopher12.HasLeft_12>=1" & "Philosopher12.HasRight_12>=1") | ("Neighbourhood257.Neighbourhood_257>=1" & "Philosopher12.HasLeft_12>=1" & "Philosopher12.HasRight_12>=1") | ("Neighbourhood258.Neighbourhood_258>=1" & "Philosopher12.HasLeft_12>=1" & "Philosopher12.HasRight_12>=1") | ("Neighbourhood259.Neighbourhood_259>=1" & "Philosopher12.HasLeft_12>=1" & "Philosopher12.HasRight_12>=1") | ("Neighbourhood260.Neighbourhood_260>=1" & "Philosopher13.HasLeft_13>=1" & "Philosopher13.HasRight_13>=1") | ("Neighbourhood261.Neighbourhood_261>=1" & "Philosopher13.HasLeft_13>=1" & "Philosopher13.HasRight_13>=1") | ("Neighbourhood262.Neighbourhood_262>=1" & "Philosopher13.HasLeft_13>=1" & "Philosopher13.HasRight_13>=1") | ("Neighbourhood263.Neighbourhood_263>=1" & "Philosopher13.HasLeft_13>=1" & "Philosopher13.HasRight_13>=1") | ("Neighbourhood264.Neighbourhood_264>=1" & "Philosopher13.HasLeft_13>=1" & "Philosopher13.HasRight_13>=1") | ("Neighbourhood265.Neighbourhood_265>=1" & "Philosopher13.HasLeft_13>=1" & "Philosopher13.HasRight_13>=1") | ("Neighbourhood266.Neighbourhood_266>=1" & "Philosopher13.HasLeft_13>=1" & "Philosopher13.HasRight_13>=1") | ("Neighbourhood267.Neighbourhood_267>=1" & "Philosopher13.HasLeft_13>=1" & "Philosopher13.HasRight_13>=1") | ("Neighbourhood268.Neighbourhood_268>=1" & "Philosopher13.HasLeft_13>=1" & "Philosopher13.HasRight_13>=1") | ("Neighbourhood269.Neighbourhood_269>=1" & "Philosopher13.HasLeft_13>=1" & "Philosopher13.HasRight_13>=1") | ("Neighbourhood270.Neighbourhood_270>=1" & "Philosopher13.HasLeft_13>=1" & "Philosopher13.HasRight_13>=1") | ("Neighbourhood271.Neighbourhood_271>=1" & "Philosopher13.HasLeft_13>=1" & "Philosopher13.HasRight_13>=1") | ("Neighbourhood272.Neighbourhood_272>=1" & "Philosopher13.HasLeft_13>=1" & "Philosopher13.HasRight_13>=1") | ("Neighbourhood273.Neighbourhood_273>=1" & "Philosopher13.HasLeft_13>=1" & "Philosopher13.HasRight_13>=1") | ("Neighbourhood274.Neighbourhood_274>=1" & "Philosopher13.HasLeft_13>=1" & "Philosopher13.HasRight_13>=1") | ("Neighbourhood275.Neighbourhood_275>=1" & "Philosopher13.HasLeft_13>=1" & "Philosopher13.HasRight_13>=1") | ("Neighbourhood276.Neighbourhood_276>=1" & "Philosopher13.HasLeft_13>=1" & "Philosopher13.HasRight_13>=1") | ("Neighbourhood277.Neighbourhood_277>=1" & "Philosopher13.HasLeft_13>=1" & "Philosopher13.HasRight_13>=1") | ("Neighbourhood278.Neighbourhood_278>=1" & "Philosopher13.HasLeft_13>=1" & "Philosopher13.HasRight_13>=1") | ("Neighbourhood279.Neighbourhood_279>=1" & "Philosopher13.HasLeft_13>=1" & "Philosopher13.HasRight_13>=1") | ("Neighbourhood280.Neighbourhood_280>=1" & "Philosopher14.HasLeft_14>=1" & "Philosopher14.HasRight_14>=1") | ("Neighbourhood281.Neighbourhood_281>=1" & "Philosopher14.HasLeft_14>=1" & "Philosopher14.HasRight_14>=1") | ("Neighbourhood282.Neighbourhood_282>=1" & "Philosopher14.HasLeft_14>=1" & "Philosopher14.HasRight_14>=1") | ("Neighbourhood283.Neighbourhood_283>=1" & "Philosopher14.HasLeft_14>=1" & "Philosopher14.HasRight_14>=1") | ("Neighbourhood284.Neighbourhood_284>=1" & "Philosopher14.HasLeft_14>=1" & "Philosopher14.HasRight_14>=1") | ("Neighbourhood285.Neighbourhood_285>=1" & "Philosopher14.HasLeft_14>=1" & "Philosopher14.HasRight_14>=1") | ("Neighbourhood286.Neighbourhood_286>=1" & "Philosopher14.HasLeft_14>=1" & "Philosopher14.HasRight_14>=1") | ("Neighbourhood287.Neighbourhood_287>=1" & "Philosopher14.HasLeft_14>=1" & "Philosopher14.HasRight_14>=1") | ("Neighbourhood288.Neighbourhood_288>=1" & "Philosopher14.HasLeft_14>=1" & "Philosopher14.HasRight_14>=1") | ("Neighbourhood289.Neighbourhood_289>=1" & "Philosopher14.HasLeft_14>=1" & "Philosopher14.HasRight_14>=1") | ("Neighbourhood290.Neighbourhood_290>=1" & "Philosopher14.HasLeft_14>=1" & "Philosopher14.HasRight_14>=1") | ("Neighbourhood291.Neighbourhood_291>=1" & "Philosopher14.HasLeft_14>=1" & "Philosopher14.HasRight_14>=1") | ("Neighbourhood292.Neighbourhood_292>=1" & "Philosopher14.HasLeft_14>=1" & "Philosopher14.HasRight_14>=1") | ("Neighbourhood293.Neighbourhood_293>=1" & "Philosopher14.HasLeft_14>=1" & "Philosopher14.HasRight_14>=1") | ("Neighbourhood294.Neighbourhood_294>=1" & "Philosopher14.HasLeft_14>=1" & "Philosopher14.HasRight_14>=1") | ("Neighbourhood295.Neighbourhood_295>=1" & "Philosopher14.HasLeft_14>=1" & "Philosopher14.HasRight_14>=1") | ("Neighbourhood296.Neighbourhood_296>=1" & "Philosopher14.HasLeft_14>=1" & "Philosopher14.HasRight_14>=1") | ("Neighbourhood297.Neighbourhood_297>=1" & "Philosopher14.HasLeft_14>=1" & "Philosopher14.HasRight_14>=1") | ("Neighbourhood298.Neighbourhood_298>=1" & "Philosopher14.HasLeft_14>=1" & "Philosopher14.HasRight_14>=1") | ("Neighbourhood299.Neighbourhood_299>=1" & "Philosopher14.HasLeft_14>=1" & "Philosopher14.HasRight_14>=1") | ("Neighbourhood300.Neighbourhood_300>=1" & "Philosopher15.HasLeft_15>=1" & "Philosopher15.HasRight_15>=1") | ("Neighbourhood301.Neighbourhood_301>=1" & "Philosopher15.HasLeft_15>=1" & "Philosopher15.HasRight_15>=1") | ("Neighbourhood302.Neighbourhood_302>=1" & "Philosopher15.HasLeft_15>=1" & "Philosopher15.HasRight_15>=1") | ("Neighbourhood303.Neighbourhood_303>=1" & "Philosopher15.HasLeft_15>=1" & "Philosopher15.HasRight_15>=1") | ("Neighbourhood304.Neighbourhood_304>=1" & "Philosopher15.HasLeft_15>=1" & "Philosopher15.HasRight_15>=1") | ("Neighbourhood305.Neighbourhood_305>=1" & "Philosopher15.HasLeft_15>=1" & "Philosopher15.HasRight_15>=1") | ("Neighbourhood306.Neighbourhood_306>=1" & "Philosopher15.HasLeft_15>=1" & "Philosopher15.HasRight_15>=1") | ("Neighbourhood307.Neighbourhood_307>=1" & "Philosopher15.HasLeft_15>=1" & "Philosopher15.HasRight_15>=1") | ("Neighbourhood308.Neighbourhood_308>=1" & "Philosopher15.HasLeft_15>=1" & "Philosopher15.HasRight_15>=1") | ("Neighbourhood309.Neighbourhood_309>=1" & "Philosopher15.HasLeft_15>=1" & "Philosopher15.HasRight_15>=1") | ("Neighbourhood310.Neighbourhood_310>=1" & "Philosopher15.HasLeft_15>=1" & "Philosopher15.HasRight_15>=1") | ("Neighbourhood311.Neighbourhood_311>=1" & "Philosopher15.HasLeft_15>=1" & "Philosopher15.HasRight_15>=1") | ("Neighbourhood312.Neighbourhood_312>=1" & "Philosopher15.HasLeft_15>=1" & "Philosopher15.HasRight_15>=1") | ("Neighbourhood313.Neighbourhood_313>=1" & "Philosopher15.HasLeft_15>=1" & "Philosopher15.HasRight_15>=1") | ("Neighbourhood314.Neighbourhood_314>=1" & "Philosopher15.HasLeft_15>=1" & "Philosopher15.HasRight_15>=1") | ("Neighbourhood315.Neighbourhood_315>=1" & "Philosopher15.HasLeft_15>=1" & "Philosopher15.HasRight_15>=1") | ("Neighbourhood316.Neighbourhood_316>=1" & "Philosopher15.HasLeft_15>=1" & "Philosopher15.HasRight_15>=1") | ("Neighbourhood317.Neighbourhood_317>=1" & "Philosopher15.HasLeft_15>=1" & "Philosopher15.HasRight_15>=1") | ("Neighbourhood318.Neighbourhood_318>=1" & "Philosopher15.HasLeft_15>=1" & "Philosopher15.HasRight_15>=1") | ("Neighbourhood319.Neighbourhood_319>=1" & "Philosopher15.HasLeft_15>=1" & "Philosopher15.HasRight_15>=1") | ("Neighbourhood320.Neighbourhood_320>=1" & "Philosopher16.HasLeft_16>=1" & "Philosopher16.HasRight_16>=1") | ("Neighbourhood321.Neighbourhood_321>=1" & "Philosopher16.HasLeft_16>=1" & "Philosopher16.HasRight_16>=1") | ("Neighbourhood322.Neighbourhood_322>=1" & "Philosopher16.HasLeft_16>=1" & "Philosopher16.HasRight_16>=1") | ("Neighbourhood323.Neighbourhood_323>=1" & "Philosopher16.HasLeft_16>=1" & "Philosopher16.HasRight_16>=1") | ("Neighbourhood324.Neighbourhood_324>=1" & "Philosopher16.HasLeft_16>=1" & "Philosopher16.HasRight_16>=1") | ("Neighbourhood325.Neighbourhood_325>=1" & "Philosopher16.HasLeft_16>=1" & "Philosopher16.HasRight_16>=1") | ("Neighbourhood326.Neighbourhood_326>=1" & "Philosopher16.HasLeft_16>=1" & "Philosopher16.HasRight_16>=1") | ("Neighbourhood327.Neighbourhood_327>=1" & "Philosopher16.HasLeft_16>=1" & "Philosopher16.HasRight_16>=1") | ("Neighbourhood328.Neighbourhood_328>=1" & "Philosopher16.HasLeft_16>=1" & "Philosopher16.HasRight_16>=1") | ("Neighbourhood329.Neighbourhood_329>=1" & "Philosopher16.HasLeft_16>=1" & "Philosopher16.HasRight_16>=1") | ("Neighbourhood330.Neighbourhood_330>=1" & "Philosopher16.HasLeft_16>=1" & "Philosopher16.HasRight_16>=1") | ("Neighbourhood331.Neighbourhood_331>=1" & "Philosopher16.HasLeft_16>=1" & "Philosopher16.HasRight_16>=1") | ("Neighbourhood332.Neighbourhood_332>=1" & "Philosopher16.HasLeft_16>=1" & "Philosopher16.HasRight_16>=1") | ("Neighbourhood333.Neighbourhood_333>=1" & "Philosopher16.HasLeft_16>=1" & "Philosopher16.HasRight_16>=1") | ("Neighbourhood334.Neighbourhood_334>=1" & "Philosopher16.HasLeft_16>=1" & "Philosopher16.HasRight_16>=1") | ("Neighbourhood335.Neighbourhood_335>=1" & "Philosopher16.HasLeft_16>=1" & "Philosopher16.HasRight_16>=1") | ("Neighbourhood336.Neighbourhood_336>=1" & "Philosopher16.HasLeft_16>=1" & "Philosopher16.HasRight_16>=1") | ("Neighbourhood337.Neighbourhood_337>=1" & "Philosopher16.HasLeft_16>=1" & "Philosopher16.HasRight_16>=1") | ("Neighbourhood338.Neighbourhood_338>=1" & "Philosopher16.HasLeft_16>=1" & "Philosopher16.HasRight_16>=1") | ("Neighbourhood339.Neighbourhood_339>=1" & "Philosopher16.HasLeft_16>=1" & "Philosopher16.HasRight_16>=1") | ("Neighbourhood340.Neighbourhood_340>=1" & "Philosopher17.HasLeft_17>=1" & "Philosopher17.HasRight_17>=1") | ("Neighbourhood341.Neighbourhood_341>=1" & "Philosopher17.HasLeft_17>=1" & "Philosopher17.HasRight_17>=1") | ("Neighbourhood342.Neighbourhood_342>=1" & "Philosopher17.HasLeft_17>=1" & "Philosopher17.HasRight_17>=1") | ("Neighbourhood343.Neighbourhood_343>=1" & "Philosopher17.HasLeft_17>=1" & "Philosopher17.HasRight_17>=1") | ("Neighbourhood344.Neighbourhood_344>=1" & "Philosopher17.HasLeft_17>=1" & "Philosopher17.HasRight_17>=1") | ("Neighbourhood345.Neighbourhood_345>=1" & "Philosopher17.HasLeft_17>=1" & "Philosopher17.HasRight_17>=1") | ("Neighbourhood346.Neighbourhood_346>=1" & "Philosopher17.HasLeft_17>=1" & "Philosopher17.HasRight_17>=1") | ("Neighbourhood347.Neighbourhood_347>=1" & "Philosopher17.HasLeft_17>=1" & "Philosopher17.HasRight_17>=1") | ("Neighbourhood348.Neighbourhood_348>=1" & "Philosopher17.HasLeft_17>=1" & "Philosopher17.HasRight_17>=1") | ("Neighbourhood349.Neighbourhood_349>=1" & "Philosopher17.HasLeft_17>=1" & "Philosopher17.HasRight_17>=1") | ("Neighbourhood350.Neighbourhood_350>=1" & "Philosopher17.HasLeft_17>=1" & "Philosopher17.HasRight_17>=1") | ("Neighbourhood351.Neighbourhood_351>=1" & "Philosopher17.HasLeft_17>=1" & "Philosopher17.HasRight_17>=1") | ("Neighbourhood352.Neighbourhood_352>=1" & "Philosopher17.HasLeft_17>=1" & "Philosopher17.HasRight_17>=1") | ("Neighbourhood353.Neighbourhood_353>=1" & "Philosopher17.HasLeft_17>=1" & "Philosopher17.HasRight_17>=1") | ("Neighbourhood354.Neighbourhood_354>=1" & "Philosopher17.HasLeft_17>=1" & "Philosopher17.HasRight_17>=1") | ("Neighbourhood355.Neighbourhood_355>=1" & "Philosopher17.HasLeft_17>=1" & "Philosopher17.HasRight_17>=1") | ("Neighbourhood356.Neighbourhood_356>=1" & "Philosopher17.HasLeft_17>=1" & "Philosopher17.HasRight_17>=1") | ("Neighbourhood357.Neighbourhood_357>=1" & "Philosopher17.HasLeft_17>=1" & "Philosopher17.HasRight_17>=1") | ("Neighbourhood358.Neighbourhood_358>=1" & "Philosopher17.HasLeft_17>=1" & "Philosopher17.HasRight_17>=1") | ("Neighbourhood359.Neighbourhood_359>=1" & "Philosopher17.HasLeft_17>=1" & "Philosopher17.HasRight_17>=1") | ("Neighbourhood360.Neighbourhood_360>=1" & "Philosopher18.HasLeft_18>=1" & "Philosopher18.HasRight_18>=1") | ("Neighbourhood361.Neighbourhood_361>=1" & "Philosopher18.HasLeft_18>=1" & "Philosopher18.HasRight_18>=1") | ("Neighbourhood362.Neighbourhood_362>=1" & "Philosopher18.HasLeft_18>=1" & "Philosopher18.HasRight_18>=1") | ("Neighbourhood363.Neighbourhood_363>=1" & "Philosopher18.HasLeft_18>=1" & "Philosopher18.HasRight_18>=1") | ("Neighbourhood364.Neighbourhood_364>=1" & "Philosopher18.HasLeft_18>=1" & "Philosopher18.HasRight_18>=1") | ("Neighbourhood365.Neighbourhood_365>=1" & "Philosopher18.HasLeft_18>=1" & "Philosopher18.HasRight_18>=1") | ("Neighbourhood366.Neighbourhood_366>=1" & "Philosopher18.HasLeft_18>=1" & "Philosopher18.HasRight_18>=1") | ("Neighbourhood367.Neighbourhood_367>=1" & "Philosopher18.HasLeft_18>=1" & "Philosopher18.HasRight_18>=1") | ("Neighbourhood368.Neighbourhood_368>=1" & "Philosopher18.HasLeft_18>=1" & "Philosopher18.HasRight_18>=1") | ("Neighbourhood369.Neighbourhood_369>=1" & "Philosopher18.HasLeft_18>=1" & "Philosopher18.HasRight_18>=1") | ("Neighbourhood370.Neighbourhood_370>=1" & "Philosopher18.HasLeft_18>=1" & "Philosopher18.HasRight_18>=1") | ("Neighbourhood371.Neighbourhood_371>=1" & "Philosopher18.HasLeft_18>=1" & "Philosopher18.HasRight_18>=1") | ("Neighbourhood372.Neighbourhood_372>=1" & "Philosopher18.HasLeft_18>=1" & "Philosopher18.HasRight_18>=1") | ("Neighbourhood373.Neighbourhood_373>=1" & "Philosopher18.HasLeft_18>=1" & "Philosopher18.HasRight_18>=1") | ("Neighbourhood374.Neighbourhood_374>=1" & "Philosopher18.HasLeft_18>=1" & "Philosopher18.HasRight_18>=1") | ("Neighbourhood375.Neighbourhood_375>=1" & "Philosopher18.HasLeft_18>=1" & "Philosopher18.HasRight_18>=1") | ("Neighbourhood376.Neighbourhood_376>=1" & "Philosopher18.HasLeft_18>=1" & "Philosopher18.HasRight_18>=1") | ("Neighbourhood377.Neighbourhood_377>=1" & "Philosopher18.HasLeft_18>=1" & "Philosopher18.HasRight_18>=1") | ("Neighbourhood378.Neighbourhood_378>=1" & "Philosopher18.HasLeft_18>=1" & "Philosopher18.HasRight_18>=1") | ("Neighbourhood379.Neighbourhood_379>=1" & "Philosopher18.HasLeft_18>=1" & "Philosopher18.HasRight_18>=1") | ("Neighbourhood380.Neighbourhood_380>=1" & "Philosopher19.HasLeft_19>=1" & "Philosopher19.HasRight_19>=1") | ("Neighbourhood381.Neighbourhood_381>=1" & "Philosopher19.HasLeft_19>=1" & "Philosopher19.HasRight_19>=1") | ("Neighbourhood382.Neighbourhood_382>=1" & "Philosopher19.HasLeft_19>=1" & "Philosopher19.HasRight_19>=1") | ("Neighbourhood383.Neighbourhood_383>=1" & "Philosopher19.HasLeft_19>=1" & "Philosopher19.HasRight_19>=1") | ("Neighbourhood384.Neighbourhood_384>=1" & "Philosopher19.HasLeft_19>=1" & "Philosopher19.HasRight_19>=1") | ("Neighbourhood385.Neighbourhood_385>=1" & "Philosopher19.HasLeft_19>=1" & "Philosopher19.HasRight_19>=1") | ("Neighbourhood386.Neighbourhood_386>=1" & "Philosopher19.HasLeft_19>=1" & "Philosopher19.HasRight_19>=1") | ("Neighbourhood387.Neighbourhood_387>=1" & "Philosopher19.HasLeft_19>=1" & "Philosopher19.HasRight_19>=1") | ("Neighbourhood388.Neighbourhood_388>=1" & "Philosopher19.HasLeft_19>=1" & "Philosopher19.HasRight_19>=1") | ("Neighbourhood389.Neighbourhood_389>=1" & "Philosopher19.HasLeft_19>=1" & "Philosopher19.HasRight_19>=1") | ("Neighbourhood390.Neighbourhood_390>=1" & "Philosopher19.HasLeft_19>=1" & "Philosopher19.HasRight_19>=1") | ("Neighbourhood391.Neighbourhood_391>=1" & "Philosopher19.HasLeft_19>=1" & "Philosopher19.HasRight_19>=1") | ("Neighbourhood392.Neighbourhood_392>=1" & "Philosopher19.HasLeft_19>=1" & "Philosopher19.HasRight_19>=1") | ("Neighbourhood393.Neighbourhood_393>=1" & "Philosopher19.HasLeft_19>=1" & "Philosopher19.HasRight_19>=1") | ("Neighbourhood394.Neighbourhood_394>=1" & "Philosopher19.HasLeft_19>=1" & "Philosopher19.HasRight_19>=1") | ("Neighbourhood395.Neighbourhood_395>=1" & "Philosopher19.HasLeft_19>=1" & "Philosopher19.HasRight_19>=1") | ("Neighbourhood396.Neighbourhood_396>=1" & "Philosopher19.HasLeft_19>=1" & "Philosopher19.HasRight_19>=1") | ("Neighbourhood397.Neighbourhood_397>=1" & "Philosopher19.HasLeft_19>=1" & "Philosopher19.HasRight_19>=1") | ("Neighbourhood398.Neighbourhood_398>=1" & "Philosopher19.HasLeft_19>=1" & "Philosopher19.HasRight_19>=1") | ("Neighbourhood399.Neighbourhood_399>=1" & "Philosopher19.HasLeft_19>=1" & "Philosopher19.HasRight_19>=1"))

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLFireability -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 02, 2017 7:56:22 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 7:56:22 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Jun 02, 2017 7:56:23 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1389 ms
Jun 02, 2017 7:56:23 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 8 places.
Jun 02, 2017 7:56:23 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 02, 2017 7:56:23 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :Neighbourhood->Neighbourhood,
Philosopher->HasRight,HasLeft,WaitRight,WaitLeft,Forks,Think,Outside,

Jun 02, 2017 7:56:23 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 7 transitions.
Jun 02, 2017 7:56:23 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 02, 2017 7:56:35 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Jun 02, 2017 7:56:36 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Jun 02, 2017 7:56:39 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 20 instantiations of transitions. Total transitions/syncs built is 17260
Jun 02, 2017 7:56:42 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 6124 ms
Jun 02, 2017 7:58:00 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays HasRight, HasLeft, WaitRight, WaitLeft, Forks, Think, Outside, Neighbourhood to variables to allow decomposition.
Jun 02, 2017 7:58:45 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 85338 redundant transitions.
Jun 02, 2017 7:58:46 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 313 ms
Jun 02, 2017 7:58:46 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 490 ms

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_PhilosophersDyn-COL-20"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_PhilosophersDyn-COL-20.tgz
mv S_PhilosophersDyn-COL-20 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_PhilosophersDyn-COL-20, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r130-smll-149441683300240"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;