1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'examples/AkmanEtAl2004/ZooWorld.e').
4%;
5%; Copyright (c) 2005 IBM Corporation and others.
6%; All rights reserved. This program and the accompanying materials
7%; are made available under the terms of the Common Public License v1.0
8%; which accompanies this distribution, and is available at
9%; http://www.eclipse.org/legal/cpl-v10.html
10%;
11%; Contributors:
12%; IBM - Initial implementation
13%;
14%; @article{Akman:2004,
15%; author = "Varol Akman and Selim T. Erdogan and Joohyung Lee and Vladimir Lifschitz and Hudson Turner",
16%; year = "2004",
17%; title = "Representing the zoo world and the traffic world in the language of the causal calculator",
18%; journal = "Artificial Intelligence",
19%; volume = "153",
20%; pages = "105--140",
21%; }
22%;
23
24% sort position: integer
25==> subsort(position,integer).
26
27% sort location
28==> sort(location).
29
30% sort cage: location
31==> subsort(cage,location).
32
33% sort gate
34==> sort(gate).
35
36% sort animal
37==> sort(animal).
38
39% sort elephant: animal
40==> subsort(elephant,animal).
41
42% sort horse: animal
43==> subsort(horse,animal).
44
45% sort dog: animal
46==> subsort(dog,animal).
47
48% sort human: animal
49==> subsort(human,animal).
50
51% sort species
52==> sort(species).
53
54% function Loc(position): location
55 % functional_predicate(loc(position,location)).
56==> mpred_prop(loc(position,location),functional_predicate).
57==> meta_argtypes(loc(position,location)).
58resultIsa(loc,location).
59
60% function Side1(gate): position
61 % functional_predicate(side1(gate,position)).
62==> mpred_prop(side1(gate,position),functional_predicate).
63==> meta_argtypes(side1(gate,position)).
64resultIsa(side1,position).
65
66% function Side2(gate): position
67 % functional_predicate(side2(gate,position)).
68==> mpred_prop(side2(gate,position),functional_predicate).
69==> meta_argtypes(side2(gate,position)).
70resultIsa(side2,position).
71
72% function Species(animal): species
73 % functional_predicate(species(animal,species)).
74==> mpred_prop(species(animal,species),functional_predicate).
75==> meta_argtypes(species(animal,species)).
76resultIsa(species,species).
77
78% predicate Accessible(position,position,time)
79 % predicate(accessible(position,position,time)).
80==> mpred_prop(accessible(position,position,time),predicate).
81==> meta_argtypes(accessible(position,position,time)).
82
83% predicate Adult(animal)
84 % predicate(adult(animal)).
85==> mpred_prop(adult(animal),predicate).
86==> meta_argtypes(adult(animal)).
87
88% predicate Large(animal)
89 % predicate(large(animal)).
90==> mpred_prop(large(animal),predicate).
91==> meta_argtypes(large(animal)).
92
93% predicate LargeSpecies(species)
94 % predicate(largeSpecies(species)).
95==> mpred_prop(largeSpecies(species),predicate).
96==> meta_argtypes(largeSpecies(species)).
97
98% predicate Neighbor(position,position)
99 % predicate(neighbor(position,position)).
100==> mpred_prop(neighbor(position,position),predicate).
101==> meta_argtypes(neighbor(position,position)).
102
103% predicate Sides(position,position,gate)
104 % predicate(sides(position,position,gate)).
105==> mpred_prop(sides(position,position,gate),predicate).
106==> meta_argtypes(sides(position,position,gate)).
107
108% event Close(human,gate)
109 % event(close(human,gate)).
110==> mpred_prop(close(human,gate),event).
111==> meta_argtypes(close(human,gate)).
112
113% event GetOff(human,animal)
114 % event(getOff(human,animal)).
115==> mpred_prop(getOff(human,animal),event).
116==> meta_argtypes(getOff(human,animal)).
117
118% event Mount(human,animal)
119 % event(mount(human,animal)).
120==> mpred_prop(mount(human,animal),event).
121==> meta_argtypes(mount(human,animal)).
122
123% event Move(animal,position)
124 % event(move(animal,position)).
125==> mpred_prop(move(animal,position),event).
126==> meta_argtypes(move(animal,position)).
127
128% event Open(human,gate)
129 % event(open(human,gate)).
130==> mpred_prop(open(human,gate),event).
131==> meta_argtypes(open(human,gate)).
132
133% event ThrowOff(animal,human)
134 % event(throwOff(animal,human)).
135==> mpred_prop(throwOff(animal,human),event).
136==> meta_argtypes(throwOff(animal,human)).
137
138% fluent AbnormalEncroachment(human)
139 % fluent(abnormalEncroachment(human)).
140==> mpred_prop(abnormalEncroachment(human),fluent).
141==> meta_argtypes(abnormalEncroachment(human)).
142
143% noninertial AbnormalEncroachment
144==> noninertial(abnormalEncroachment).
145
146% fluent DoneBy(event,animal)
147 % fluent(doneBy(event,animal)).
148==> mpred_prop(doneBy(event,animal),fluent).
149==> meta_argtypes(doneBy(event,animal)).
150
151% noninertial DoneBy
152==> noninertial(doneBy).
153
154% fluent Mounted(human,animal)
155 % fluent(mounted(human,animal)).
156==> mpred_prop(mounted(human,animal),fluent).
157==> meta_argtypes(mounted(human,animal)).
158
159% fluent MountFails(human)
160 % fluent(mountFails(human)).
161==> mpred_prop(mountFails(human),fluent).
162==> meta_argtypes(mountFails(human)).
163
164% noninertial MountFails
165==> noninertial(mountFails).
166
167% fluent Moves(animal)
168 % fluent(moves(animal)).
169==> mpred_prop(moves(animal),fluent).
170==> meta_argtypes(moves(animal)).
171
172% noninertial Moves
173==> noninertial(moves).
174
175% fluent Opened(gate)
176 % fluent(opened(gate)).
177==> mpred_prop(opened(gate),fluent).
178==> meta_argtypes(opened(gate)).
179
180% fluent Pos(animal,position)
181 % fluent(pos(animal,position)).
182==> mpred_prop(pos(animal,position),fluent).
183==> meta_argtypes(pos(animal,position)).
184
185% fluent PosDeterminingFluent(human,position)
186 % fluent(posDeterminingFluent(human,position)).
187==> mpred_prop(posDeterminingFluent(human,position),fluent).
188==> meta_argtypes(posDeterminingFluent(human,position)).
189
190% noninertial PosDeterminingFluent
191==> noninertial(posDeterminingFluent).
192
193% fluent ThrowOffFails(animal,human)
194 % fluent(throwOffFails(animal,human)).
195==> mpred_prop(throwOffFails(animal,human),fluent).
196==> meta_argtypes(throwOffFails(animal,human)).
197
198% noninertial ThrowOffFails
199==> noninertial(throwOffFails).
200
201% species HumanSpecies, ElephantSpecies, HorseSpecies, DogSpecies
202==> t(species,humanSpecies).
203==> t(species,elephantSpecies).
204==> t(species,horseSpecies).
205==> t(species,dogSpecies).
206
207% location Outside
208==> t(location,outside).
209
210
213largeSpecies(humanSpecies).
214
215
218largeSpecies(elephantSpecies).
219
220
223largeSpecies(horseSpecies).
224
225
228 229axiom(not(largeSpecies(dogSpecies)),
230 []).
231
232
243
244 256axiom(holds_at(doneBy(Event, Animal), Time),
257
258 [ equals(Event, close(Animal, Gate)),
259 happens(Event, Time)
260 ]).
261axiom(holds_at(doneBy(Event, Animal), Time),
262
263 [ equals(Event, getOff(Animal, Animal1)),
264 happens(Event, Time)
265 ]).
266axiom(holds_at(doneBy(Event, Animal), Time),
267
268 [ equals(Event, mount(Animal, Animal15)),
269 happens(Event, Time)
270 ]).
271axiom(holds_at(doneBy(Event, Animal), Time),
272
273 [ equals(Event, move(Animal, Position)),
274 happens(Event, Time)
275 ]).
276axiom(holds_at(doneBy(Event, Animal), Time),
277
278 [ equals(Event, open(Animal, Gate7)),
279 happens(Event, Time)
280 ]).
281axiom(holds_at(doneBy(Event, Animal), Time),
282
283 [ equals(Event, throwOff(Animal, Human1)),
284 happens(Event, Time)
285 ]).
286
287 290
291 305axiom(not(holds_at(doneBy(DoneBy_Param, Close_Param), Time9)),
306 [not(happens(DoneBy_Param, Time9))]).
307axiom(not(holds_at(doneBy(DoneBy_Param, Close_Param), Time9)),
308
309 [ not(equals(DoneBy_Param, close(Close_Param, Close_Ret))),
310 not(equals(DoneBy_Param,
311 getOff(Close_Param, GetOff_Ret))),
312 not(equals(DoneBy_Param, mount(Close_Param, Mount_Ret))),
313 not(equals(DoneBy_Param, move(Close_Param, Move_Ret))),
314 not(equals(DoneBy_Param, open(Close_Param, Open_Ret))),
315 not(equals(DoneBy_Param,
316 throwOff(Close_Param, ThrowOff_Ret)))
317 ]).
318
319 322axiom(happens(Happens_Param, Maptime),
323 [holds_at(doneBy(Happens_Param, DoneBy_Ret), Maptime)]).
324
325 339axiom(equals(Equals_Param, close(Close_Param23, Close_Ret24)),
340
341 [ not(equals(Equals_Param,
342 getOff(Close_Param23, GetOff_Ret25))),
343 not(equals(Equals_Param,
344 mount(Close_Param23, Mount_Ret26))),
345 not(equals(Equals_Param,
346 move(Close_Param23, Move_Ret27))),
347 not(equals(Equals_Param,
348 open(Close_Param23, Open_Ret28))),
349 not(equals(Equals_Param,
350 throwOff(Close_Param23, ThrowOff_Ret29))),
351 holds_at(doneBy(Equals_Param, Close_Param23), Time21)
352 ]).
353
354 368axiom(equals(Equals_Param31, getOff(GetOff_Param, GetOff_Ret33)),
369
370 [ not(equals(Equals_Param31,
371 mount(GetOff_Param, Mount_Ret34))),
372 not(equals(Equals_Param31,
373 move(GetOff_Param, Move_Ret35))),
374 not(equals(Equals_Param31,
375 open(GetOff_Param, Open_Ret36))),
376 not(equals(Equals_Param31,
377 throwOff(GetOff_Param, ThrowOff_Ret37))),
378 not(equals(Equals_Param31,
379 close(GetOff_Param, Close_Ret38))),
380 holds_at(doneBy(Equals_Param31, GetOff_Param), Time30)
381 ]).
382
383 397axiom(equals(Equals_Param40, mount(Mount_Param, Mount_Ret42)),
398
399 [ not(equals(Equals_Param40,
400 move(Mount_Param, Move_Ret43))),
401 not(equals(Equals_Param40,
402 open(Mount_Param, Open_Ret44))),
403 not(equals(Equals_Param40,
404 throwOff(Mount_Param, ThrowOff_Ret45))),
405 not(equals(Equals_Param40,
406 getOff(Mount_Param, GetOff_Ret46))),
407 not(equals(Equals_Param40,
408 close(Mount_Param, Close_Ret47))),
409 holds_at(doneBy(Equals_Param40, Mount_Param), Time39)
410 ]).
411
412 423axiom(equals(Equals_Param49, move(Move_Param, Move_Ret51)),
424
425 [ not(equals(Equals_Param49, open(Move_Param, Open_Ret52))),
426 not(equals(Equals_Param49,
427 throwOff(Move_Param, ThrowOff_Ret53))),
428 not(equals(Equals_Param49,
429 mount(Move_Param, Mount_Ret54))),
430 not(equals(Equals_Param49,
431 getOff(Move_Param, GetOff_Ret55))),
432 not(equals(Equals_Param49,
433 close(Move_Param, Close_Ret56))),
434 holds_at(doneBy(Equals_Param49, Move_Param), Time48)
435 ]).
436
437 447axiom(equals(Equals_Param58, open(Open_Param, Open_Ret60)),
448
449 [ not(equals(Equals_Param58,
450 throwOff(Open_Param, ThrowOff_Ret61))),
451 not(equals(Equals_Param58, move(Open_Param, Move_Ret62))),
452 not(equals(Equals_Param58,
453 mount(Open_Param, Mount_Ret63))),
454 not(equals(Equals_Param58,
455 getOff(Open_Param, GetOff_Ret64))),
456 not(equals(Equals_Param58,
457 close(Open_Param, Close_Ret65))),
458 holds_at(doneBy(Equals_Param58, Open_Param), Time57)
459 ]).
460
461 474axiom(equals(Equals_Param67, throwOff(ThrowOff_Param, ThrowOff_Ret69)),
475
476 [ not(equals(Equals_Param67,
477 open(ThrowOff_Param, Open_Ret70))),
478 not(equals(Equals_Param67,
479 move(ThrowOff_Param, Move_Ret71))),
480 not(equals(Equals_Param67,
481 mount(ThrowOff_Param, Mount_Ret72))),
482 not(equals(Equals_Param67,
483 getOff(ThrowOff_Param, GetOff_Ret73))),
484 not(equals(Equals_Param67,
485 close(ThrowOff_Param, Close_Ret74))),
486 holds_at(doneBy(Equals_Param67, ThrowOff_Param), Time66)
487 ]).
488
489
496axiom(Event1=Event2,
497
498 [ holds_at(doneBy(Event1, Animal), Time),
499 holds_at(doneBy(Event2, Animal), Time)
500 ]).
501
502
505 506
507 511axiom(large(Animal),
512 [adult(Animal), largeSpecies(species(Animal))]).
513
514 517
518 523axiom(not(large(Large_Ret)),
524 [not(adult(Large_Ret))]).
525axiom(not(large(Large_Ret)),
526 [not(largeSpecies(species(Large_Ret)))]).
527
528 531axiom(adult(Adult_Ret),
532 [large(Adult_Ret)]).
533
534 537axiom(largeSpecies(species(Species_Ret)),
538 [large(Species_Ret)]).
539
540
543
546
547 550
551 556axiom(not(some(Some_Param, '$kolem_Fn_87'(Neighbor_Param))),
557 [not({dif(Some_Param, Neighbor_Param)})]).
558axiom(not(some(Some_Param, '$kolem_Fn_87'(Neighbor_Param))),
559 [not(neighbor(Neighbor_Param, Some_Param))]).
560
561 565axiom({ dif(Dif_Param, Dif_Ret)
566},
567 [some(Dif_Param, '$kolem_Fn_87'(Dif_Ret))]).
568
569 572axiom(neighbor(Neighbor_Param7, Some_Param8),
573 [some(Some_Param8, '$kolem_Fn_87'(Neighbor_Param7))]).
574
575
578 579 580axiom(not(neighbor(Neighbor_Param, Neighbor_Param)),
581 []).
582
583
589axiom(neighbor(Position2, Position1),
590 [neighbor(Position1, Position2)]).
591
592
595 596diff(Cage,outside).
597
598
606
607 615axiom(sides(Position1, Position2, Gate),
616
617 [ equals(side1(Gate), Position1),
618 equals(side2(Gate), Position2)
619 ]).
620axiom(sides(Position1, Position2, Gate),
621
622 [ equals(side2(Gate), Position1),
623 equals(side1(Gate), Position2)
624 ]).
625
626 629
630 638axiom(not(sides(Sides_Param, Equals_Ret, Sides_Ret)),
639
640 [ not(equals(side2(Sides_Ret), Sides_Param)),
641 not(equals(side1(Sides_Ret), Sides_Param))
642 ]).
643axiom(not(sides(Sides_Param, Equals_Ret, Sides_Ret)),
644
645 [ not(equals(side1(Sides_Ret), Equals_Ret)),
646 not(equals(side1(Sides_Ret), Sides_Param))
647 ]).
648axiom(not(sides(Sides_Param, Equals_Ret, Sides_Ret)),
649
650 [ not(equals(side2(Sides_Ret), Sides_Param)),
651 not(equals(side2(Sides_Ret), Equals_Ret))
652 ]).
653axiom(not(sides(Sides_Param, Equals_Ret, Sides_Ret)),
654
655 [ not(equals(side1(Sides_Ret), Equals_Ret)),
656 not(equals(side2(Sides_Ret), Equals_Ret))
657 ]).
658
659 665axiom(equals(side1(Side1_Ret), Sides_Param6),
666
667 [ not(equals(side2(Side1_Ret), Sides_Param6)),
668 sides(Sides_Param6, Equals_Ret8, Side1_Ret)
669 ]).
670axiom(equals(side1(Side1_Ret), Sides_Param6),
671
672 [ not(equals(side1(Side1_Ret), Equals_Ret8)),
673 sides(Sides_Param6, Equals_Ret8, Side1_Ret)
674 ]).
675
676 682axiom(equals(side2(Side2_Ret), Equals_Ret10),
683
684 [ not(equals(side2(Side2_Ret), Sides_Param9)),
685 sides(Sides_Param9, Equals_Ret10, Side2_Ret)
686 ]).
687axiom(equals(side2(Side2_Ret), Equals_Ret10),
688
689 [ not(equals(side1(Side2_Ret), Equals_Ret10)),
690 sides(Sides_Param9, Equals_Ret10, Side2_Ret)
691 ]).
692
693 699axiom(equals(side2(Side2_Ret13), Sides_Param12),
700
701 [ not(equals(side1(Side2_Ret13), Sides_Param12)),
702 sides(Sides_Param12, Equals_Ret14, Side2_Ret13)
703 ]).
704axiom(equals(side2(Side2_Ret13), Sides_Param12),
705
706 [ not(equals(side2(Side2_Ret13), Equals_Ret14)),
707 sides(Sides_Param12, Equals_Ret14, Side2_Ret13)
708 ]).
709
710 716axiom(equals(side1(Side1_Ret17), Equals_Ret16),
717
718 [ not(equals(side1(Side1_Ret17), Sides_Param15)),
719 sides(Sides_Param15, Equals_Ret16, Side1_Ret17)
720 ]).
721axiom(equals(side1(Side1_Ret17), Equals_Ret16),
722
723 [ not(equals(side2(Side1_Ret17), Equals_Ret16)),
724 sides(Sides_Param15, Equals_Ret16, Side1_Ret17)
725 ]).
726
727
730 731diff(loc(side1(Gate)),loc(side2(Gate))).
732
733
740axiom(Gate1=Gate2,
741
742 [ sides(Position1, Position2, Gate1),
743 sides(Position1, Position2, Gate2)
744 ]).
745
746
752axiom(neighbor(Position1, Position2),
753 [sides(Position1, Position2, Gate)]).
754
755
762
763 767
768 775axiom(sides(Sides_Param, Loc_Ret, Some_Param),
776
777 [ { dif(loc(Sides_Param), loc(Loc_Ret))
778 },
779 neighbor(Sides_Param, Loc_Ret),
780 some(Some_Param, '$kolem_Fn_88'(Sides_Param, Loc_Ret))
781 ]).
782
783 788axiom(not({dif(loc(Neighbor_Param), loc(Loc_Ret9))}),
789
790 [ neighbor(Neighbor_Param, Loc_Ret9),
791 not(sides(Neighbor_Param, Loc_Ret9, Some_Param8)),
792 some(Some_Param8,
793 '$kolem_Fn_88'(Neighbor_Param, Loc_Ret9))
794 ]).
795
796 803axiom(not(neighbor(Neighbor_Param10, Neighbor_Ret)),
804
805 [ { dif(loc(Neighbor_Param10), loc(Neighbor_Ret))
806 },
807 not(sides(Neighbor_Param10, Neighbor_Ret, Some_Param11)),
808 some(Some_Param11,
809 '$kolem_Fn_88'(Neighbor_Param10, Neighbor_Ret))
810 ]).
811
812 818axiom(not(some(Some_Param13, '$kolem_Fn_88'(Fn_88_Param, Fn_88_Ret))),
819
820 [ not(sides(Fn_88_Param, Fn_88_Ret, Some_Param13)),
821 { dif(loc(Fn_88_Param), loc(Fn_88_Ret))
822 },
823 neighbor(Fn_88_Param, Fn_88_Ret)
824 ]).
825
826
833axiom(Position1=Position2,
834
835 [ holds_at(pos(Animal, Position1), Time),
836 holds_at(pos(Animal, Position2), Time)
837 ]).
838
839
844
845 848
849 852axiom(holds_at(pos(Pos_Param, Some_Param), Time4),
853 [some(Some_Param, '$kolem_Fn_89'(Pos_Param, Time4))]).
854
855 858axiom(not(some(Some_Param8, '$kolem_Fn_89'(Fn_89_Param, Time7))),
859 [not(holds_at(pos(Fn_89_Param, Some_Param8), Time7))]).
860
861
871
872 875
876 891axiom(not({dif(Dif_Param, Pos_Param)}),
892
893 [ not(equals(Equals_Param10, Pos_Param)),
894 not(equals(Equals_Param, Dif_Param)),
895 large(Dif_Param),
896 large(Pos_Param),
897 holds_at(pos(Dif_Param, Pos_Ret), Time6),
898 holds_at(pos(Pos_Param, Pos_Ret), Time6)
899 ]).
900axiom(not({dif(Dif_Param, Pos_Param)}),
901
902 [ not(holds_at(mounted(Equals_Param10, Dif_Param), Time6)),
903 not(equals(Equals_Param, Dif_Param)),
904 large(Dif_Param),
905 large(Pos_Param),
906 holds_at(pos(Dif_Param, Pos_Ret), Time6),
907 holds_at(pos(Pos_Param, Pos_Ret), Time6)
908 ]).
909axiom(not({dif(Dif_Param, Pos_Param)}),
910
911 [ not(equals(Equals_Param10, Pos_Param)),
912 not(holds_at(mounted(Equals_Param, Pos_Param), Time6)),
913 large(Dif_Param),
914 large(Pos_Param),
915 holds_at(pos(Dif_Param, Pos_Ret), Time6),
916 holds_at(pos(Pos_Param, Pos_Ret), Time6)
917 ]).
918axiom(not({dif(Dif_Param, Pos_Param)}),
919
920 [ not(holds_at(mounted(Equals_Param10, Dif_Param), Time6)),
921 not(holds_at(mounted(Equals_Param, Pos_Param), Time6)),
922 large(Dif_Param),
923 large(Pos_Param),
924 holds_at(pos(Dif_Param, Pos_Ret), Time6),
925 holds_at(pos(Pos_Param, Pos_Ret), Time6)
926 ]).
927
928 944axiom(not(large(Pos_Param13)),
945
946 [ not(equals(Equals_Param16, Pos_Param14)),
947 not(equals(Equals_Param15, Pos_Param13)),
948 large(Pos_Param14),
949 holds_at(pos(Pos_Param13, Pos_Ret17), Time12),
950 holds_at(pos(Pos_Param14, Pos_Ret17), Time12),
951 { dif(Pos_Param13, Pos_Param14)
952 }
953 ]).
954axiom(not(large(Pos_Param13)),
955
956 [ not(holds_at(mounted(Equals_Param16, Pos_Param13),
957 Time12)),
958 not(equals(Equals_Param15, Pos_Param13)),
959 large(Pos_Param14),
960 holds_at(pos(Pos_Param13, Pos_Ret17), Time12),
961 holds_at(pos(Pos_Param14, Pos_Ret17), Time12),
962 { dif(Pos_Param13, Pos_Param14)
963 }
964 ]).
965axiom(not(large(Pos_Param13)),
966
967 [ not(equals(Equals_Param16, Pos_Param14)),
968 not(holds_at(mounted(Equals_Param15, Pos_Param14),
969 Time12)),
970 large(Pos_Param14),
971 holds_at(pos(Pos_Param13, Pos_Ret17), Time12),
972 holds_at(pos(Pos_Param14, Pos_Ret17), Time12),
973 { dif(Pos_Param13, Pos_Param14)
974 }
975 ]).
976axiom(not(large(Pos_Param13)),
977
978 [ not(holds_at(mounted(Equals_Param16, Pos_Param13),
979 Time12)),
980 not(holds_at(mounted(Equals_Param15, Pos_Param14),
981 Time12)),
982 large(Pos_Param14),
983 holds_at(pos(Pos_Param13, Pos_Ret17), Time12),
984 holds_at(pos(Pos_Param14, Pos_Ret17), Time12),
985 { dif(Pos_Param13, Pos_Param14)
986 }
987 ]).
988
989 1005axiom(not(large(Pos_Param20)),
1006
1007 [ not(equals(Equals_Param22, Pos_Param20)),
1008 not(equals(Equals_Param21, Pos_Param19)),
1009 holds_at(pos(Pos_Param19, Pos_Ret23), Time18),
1010 holds_at(pos(Pos_Param20, Pos_Ret23), Time18),
1011 large(Pos_Param19),
1012 { dif(Pos_Param19, Pos_Param20)
1013 }
1014 ]).
1015axiom(not(large(Pos_Param20)),
1016
1017 [ not(holds_at(mounted(Equals_Param22, Pos_Param19),
1018 Time18)),
1019 not(equals(Equals_Param21, Pos_Param19)),
1020 holds_at(pos(Pos_Param19, Pos_Ret23), Time18),
1021 holds_at(pos(Pos_Param20, Pos_Ret23), Time18),
1022 large(Pos_Param19),
1023 { dif(Pos_Param19, Pos_Param20)
1024 }
1025 ]).
1026axiom(not(large(Pos_Param20)),
1027
1028 [ not(equals(Equals_Param22, Pos_Param20)),
1029 not(holds_at(mounted(Equals_Param21, Pos_Param20),
1030 Time18)),
1031 holds_at(pos(Pos_Param19, Pos_Ret23), Time18),
1032 holds_at(pos(Pos_Param20, Pos_Ret23), Time18),
1033 large(Pos_Param19),
1034 { dif(Pos_Param19, Pos_Param20)
1035 }
1036 ]).
1037axiom(not(large(Pos_Param20)),
1038
1039 [ not(holds_at(mounted(Equals_Param22, Pos_Param19),
1040 Time18)),
1041 not(holds_at(mounted(Equals_Param21, Pos_Param20),
1042 Time18)),
1043 holds_at(pos(Pos_Param19, Pos_Ret23), Time18),
1044 holds_at(pos(Pos_Param20, Pos_Ret23), Time18),
1045 large(Pos_Param19),
1046 { dif(Pos_Param19, Pos_Param20)
1047 }
1048 ]).
1049
1050 1065axiom(not(holds_at(pos(Pos_Param25, Pos_Ret29), Time24)),
1066
1067 [ not(equals(Equals_Param28, Pos_Param26)),
1068 not(equals(Equals_Param27, Pos_Param25)),
1069 holds_at(pos(Pos_Param26, Pos_Ret29), Time24),
1070 large(Pos_Param26),
1071 large(Pos_Param25),
1072 dif(Pos_Param25, Pos_Param26)
1073 ]).
1074axiom(not(holds_at(pos(Pos_Param25, Pos_Ret29), Time24)),
1075
1076 [ not(holds_at(mounted(Equals_Param28, Pos_Param25),
1077 Time24)),
1078 not(equals(Equals_Param27, Pos_Param25)),
1079 holds_at(pos(Pos_Param26, Pos_Ret29), Time24),
1080 large(Pos_Param26),
1081 large(Pos_Param25),
1082 dif(Pos_Param25, Pos_Param26)
1083 ]).
1084axiom(not(holds_at(pos(Pos_Param25, Pos_Ret29), Time24)),
1085
1086 [ not(equals(Equals_Param28, Pos_Param26)),
1087 not(holds_at(mounted(Equals_Param27, Pos_Param26),
1088 Time24)),
1089 holds_at(pos(Pos_Param26, Pos_Ret29), Time24),
1090 large(Pos_Param26),
1091 large(Pos_Param25),
1092 dif(Pos_Param25, Pos_Param26)
1093 ]).
1094axiom(not(holds_at(pos(Pos_Param25, Pos_Ret29), Time24)),
1095
1096 [ not(holds_at(mounted(Equals_Param28, Pos_Param25),
1097 Time24)),
1098 not(holds_at(mounted(Equals_Param27, Pos_Param26),
1099 Time24)),
1100 holds_at(pos(Pos_Param26, Pos_Ret29), Time24),
1101 large(Pos_Param26),
1102 large(Pos_Param25),
1103 dif(Pos_Param25, Pos_Param26)
1104 ]).
1105
1106 1121axiom(not(holds_at(pos(Pos_Param31, Pos_Ret35), Time30)),
1122
1123 [ not(equals(Equals_Param34, Pos_Param31)),
1124 not(equals(Equals_Param33, Pos_Param32)),
1125 holds_at(pos(Pos_Param32, Pos_Ret35), Time30),
1126 large(Pos_Param31),
1127 large(Pos_Param32),
1128 dif(Pos_Param32, Pos_Param31)
1129 ]).
1130axiom(not(holds_at(pos(Pos_Param31, Pos_Ret35), Time30)),
1131
1132 [ not(holds_at(mounted(Equals_Param34, Pos_Param32),
1133 Time30)),
1134 not(equals(Equals_Param33, Pos_Param32)),
1135 holds_at(pos(Pos_Param32, Pos_Ret35), Time30),
1136 large(Pos_Param31),
1137 large(Pos_Param32),
1138 dif(Pos_Param32, Pos_Param31)
1139 ]).
1140axiom(not(holds_at(pos(Pos_Param31, Pos_Ret35), Time30)),
1141
1142 [ not(equals(Equals_Param34, Pos_Param31)),
1143 not(holds_at(mounted(Equals_Param33, Pos_Param31),
1144 Time30)),
1145 holds_at(pos(Pos_Param32, Pos_Ret35), Time30),
1146 large(Pos_Param31),
1147 large(Pos_Param32),
1148 dif(Pos_Param32, Pos_Param31)
1149 ]).
1150axiom(not(holds_at(pos(Pos_Param31, Pos_Ret35), Time30)),
1151
1152 [ not(holds_at(mounted(Equals_Param34, Pos_Param32),
1153 Time30)),
1154 not(holds_at(mounted(Equals_Param33, Pos_Param31),
1155 Time30)),
1156 holds_at(pos(Pos_Param32, Pos_Ret35), Time30),
1157 large(Pos_Param31),
1158 large(Pos_Param32),
1159 dif(Pos_Param32, Pos_Param31)
1160 ]).
1161
1162 1174axiom(equals(Equals_Param37, Dif_Param39),
1175
1176 [ not(equals(Equals_Param38, Pos_Param40)),
1177 { dif(Dif_Param39, Pos_Param40)
1178 },
1179 large(Dif_Param39),
1180 large(Pos_Param40),
1181 holds_at(pos(Dif_Param39, Pos_Ret41), Time36),
1182 holds_at(pos(Pos_Param40, Pos_Ret41), Time36)
1183 ]).
1184axiom(equals(Equals_Param37, Dif_Param39),
1185
1186 [ not(holds_at(mounted(Equals_Param38, Dif_Param39),
1187 Time36)),
1188 { dif(Dif_Param39, Pos_Param40)
1189 },
1190 large(Dif_Param39),
1191 large(Pos_Param40),
1192 holds_at(pos(Dif_Param39, Pos_Ret41), Time36),
1193 holds_at(pos(Pos_Param40, Pos_Ret41), Time36)
1194 ]).
1195
1196 1208axiom(holds_at(mounted(Mounted_Param, Pos_Param46), Time42),
1209
1210 [ not(equals(Equals_Param44, Pos_Param46)),
1211 dif(Dif_Param45, Pos_Param46),
1212 large(Dif_Param45),
1213 large(Pos_Param46),
1214 holds_at(pos(Dif_Param45, Pos_Ret47), Time42),
1215 holds_at(pos(Pos_Param46, Pos_Ret47), Time42)
1216 ]).
1217axiom(holds_at(mounted(Mounted_Param, Pos_Param46), Time42),
1218
1219 [ not(holds_at(mounted(Equals_Param44, Dif_Param45),
1220 Time42)),
1221 dif(Dif_Param45, Pos_Param46),
1222 large(Dif_Param45),
1223 large(Pos_Param46),
1224 holds_at(pos(Dif_Param45, Pos_Ret47), Time42),
1225 holds_at(pos(Pos_Param46, Pos_Ret47), Time42)
1226 ]).
1227
1228 1240axiom(equals(Equals_Param49, Pos_Param52),
1241
1242 [ not(equals(Equals_Param50, Dif_Param51)),
1243 { dif(Dif_Param51, Pos_Param52)
1244 },
1245 large(Dif_Param51),
1246 large(Pos_Param52),
1247 holds_at(pos(Dif_Param51, Pos_Ret53), Time48),
1248 holds_at(pos(Pos_Param52, Pos_Ret53), Time48)
1249 ]).
1250axiom(equals(Equals_Param49, Pos_Param52),
1251
1252 [ not(holds_at(mounted(Equals_Param50, Pos_Param52),
1253 Time48)),
1254 { dif(Dif_Param51, Pos_Param52)
1255 },
1256 large(Dif_Param51),
1257 large(Pos_Param52),
1258 holds_at(pos(Dif_Param51, Pos_Ret53), Time48),
1259 holds_at(pos(Pos_Param52, Pos_Ret53), Time48)
1260 ]).
1261
1262 1274axiom(holds_at(mounted(Mounted_Param55, Dif_Param57), Time54),
1275
1276 [ not(equals(Equals_Param56, Dif_Param57)),
1277 dif(Dif_Param57, Pos_Param58),
1278 large(Dif_Param57),
1279 large(Pos_Param58),
1280 holds_at(pos(Dif_Param57, Pos_Ret59), Time54),
1281 holds_at(pos(Pos_Param58, Pos_Ret59), Time54)
1282 ]).
1283axiom(holds_at(mounted(Mounted_Param55, Dif_Param57), Time54),
1284
1285 [ not(holds_at(mounted(Equals_Param56, Pos_Param58),
1286 Time54)),
1287 dif(Dif_Param57, Pos_Param58),
1288 large(Dif_Param57),
1289 large(Pos_Param58),
1290 holds_at(pos(Dif_Param57, Pos_Ret59), Time54),
1291 holds_at(pos(Pos_Param58, Pos_Ret59), Time54)
1292 ]).
1293
1294
1301axiom(Position1=Position2,
1302
1303 [ holds_at(posDeterminingFluent(Human, Position1), Time),
1304 holds_at(posDeterminingFluent(Human, Position2), Time)
1305 ]).
1306
1307
1312axiom(initiates(move(Animal, Position), pos(Animal, Position), Time),
1313 []).
1314
1315
1321axiom(terminates(move(Animal, Position2), pos(Animal, Position1), Time),
1322 [holds_at(pos(Animal, Position1), Time)]).
1323
1324
1330axiom(requires(move(Animal, Position), Time),
1331 [not(holds_at(pos(Animal, Position), Time))]).
1332
1333
1339axiom(requires(move(Human, Position), Time),
1340 [not(holds_at(mounted(Human, Animal), Time))]).
1341
1342
1347axiom(initiates(open(Human, Gate), opened(Gate), Time),
1348 []).
1349
1350
1360axiom(requires(open(Human, Gate), Time),
1361
1362 [ equals(side1(Gate), Position),
1363 not(holds_at(opened(Gate), Time)),
1364 not(holds_at(mounted(Human, Animal), Time)),
1365 holds_at(pos(Human, Position), Time)
1366 ]).
1367axiom(requires(open(Human, Gate), Time),
1368
1369 [ equals(side2(Gate), Position),
1370 not(holds_at(opened(Gate), Time)),
1371 not(holds_at(mounted(Human, Animal), Time)),
1372 holds_at(pos(Human, Position), Time)
1373 ]).
1374
1375
1380axiom(terminates(close(Human, Gate), opened(Gate), Time),
1381 []).
1382
1383
1393
1394 1398
1399 1409axiom(not(some(Some_Param, '$kolem_Fn_95'(Fn_95_Param, Close_Ret, Maptime, Fn_95_Ret))),
1410
1411 [ not(holds_at(opened(Close_Ret), Maptime)),
1412 happens(close(Fn_95_Param, Close_Ret), Maptime)
1413 ]).
1414axiom(not(some(Some_Param, '$kolem_Fn_95'(Fn_95_Param, Close_Ret, Maptime, Fn_95_Ret))),
1415
1416 [ holds_at(mounted(Fn_95_Param, Fn_95_Ret), Maptime),
1417 happens(close(Fn_95_Param, Close_Ret), Maptime)
1418 ]).
1419axiom(not(some(Some_Param, '$kolem_Fn_95'(Fn_95_Param, Close_Ret, Maptime, Fn_95_Ret))),
1420
1421 [ not(equals(side1(Close_Ret), Some_Param)),
1422 not(equals(side2(Close_Ret), Some_Param)),
1423 happens(close(Fn_95_Param, Close_Ret), Maptime)
1424 ]).
1425axiom(not(some(Some_Param, '$kolem_Fn_95'(Fn_95_Param, Close_Ret, Maptime, Fn_95_Ret))),
1426
1427 [ not(holds_at(pos(Fn_95_Param, Some_Param), Maptime)),
1428 happens(close(Fn_95_Param, Close_Ret), Maptime)
1429 ]).
1430
1431 1445axiom(not(happens(close(Close_Param, Close_Ret14), Maptime11)),
1446
1447 [ not(holds_at(opened(Close_Ret14), Maptime11)),
1448 some(Some_Param13,
1449 '$kolem_Fn_95'(Close_Param,
1450 Close_Ret14,
1451 Maptime11,
1452 Mounted_Ret))
1453 ]).
1454axiom(not(happens(close(Close_Param, Close_Ret14), Maptime11)),
1455
1456 [ holds_at(mounted(Close_Param, Mounted_Ret), Maptime11),
1457 some(Some_Param13,
1458 '$kolem_Fn_95'(Close_Param,
1459 Close_Ret14,
1460 Maptime11,
1461 Mounted_Ret))
1462 ]).
1463axiom(not(happens(close(Close_Param, Close_Ret14), Maptime11)),
1464
1465 [ not(equals(side1(Close_Ret14), Some_Param13)),
1466 not(equals(side2(Close_Ret14), Some_Param13)),
1467 some(Some_Param13,
1468 '$kolem_Fn_95'(Close_Param,
1469 Close_Ret14,
1470 Maptime11,
1471 Mounted_Ret))
1472 ]).
1473axiom(not(happens(close(Close_Param, Close_Ret14), Maptime11)),
1474
1475 [ not(holds_at(pos(Close_Param, Some_Param13), Maptime11)),
1476 some(Some_Param13,
1477 '$kolem_Fn_95'(Close_Param,
1478 Close_Ret14,
1479 Maptime11,
1480 Mounted_Ret))
1481 ]).
1482
1483 1491axiom(holds_at(opened(Opened_Ret), Time16),
1492
1493 [ happens(close(Close_Param17, Opened_Ret), Time16),
1494 some(Some_Param18,
1495 '$kolem_Fn_95'(Close_Param17,
1496 Opened_Ret,
1497 Time16,
1498 Fn_95_Ret20))
1499 ]).
1500
1501 1509axiom(not(holds_at(mounted(Mounted_Param, Mounted_Ret24), Time21)),
1510
1511 [ happens(close(Mounted_Param, Close_Ret25), Time21),
1512 some(Some_Param23,
1513 '$kolem_Fn_95'(Mounted_Param,
1514 Close_Ret25,
1515 Time21,
1516 Mounted_Ret24))
1517 ]).
1518
1519 1528axiom(equals(side1(Side1_Ret), Some_Param28),
1529
1530 [ not(equals(side2(Side1_Ret), Some_Param28)),
1531 happens(close(Close_Param27, Side1_Ret), Maptime26),
1532 some(Some_Param28,
1533 '$kolem_Fn_95'(Close_Param27,
1534 Side1_Ret,
1535 Maptime26,
1536 Fn_95_Ret30))
1537 ]).
1538
1539 1548axiom(equals(side2(Side2_Ret), Some_Param33),
1549
1550 [ not(equals(side1(Side2_Ret), Some_Param33)),
1551 happens(close(Close_Param32, Side2_Ret), Maptime31),
1552 some(Some_Param33,
1553 '$kolem_Fn_95'(Close_Param32,
1554 Side2_Ret,
1555 Maptime31,
1556 Fn_95_Ret35))
1557 ]).
1558
1559 1567axiom(holds_at(pos(Pos_Param, Some_Param38), Time36),
1568
1569 [ happens(close(Pos_Param, Close_Ret39), Time36),
1570 some(Some_Param38,
1571 '$kolem_Fn_95'(Pos_Param,
1572 Close_Ret39,
1573 Time36,
1574 Fn_95_Ret40))
1575 ]).
1576
1577
1584axiom(holds_at(pos(Human, Position), Time),
1585
1586 [ holds_at(mounted(Human, Animal), Time),
1587 holds_at(pos(Animal, Position), Time)
1588 ]).
1589
1590
1597
1598 1603axiom(holds_at(moves(Animal), t),
1604
1605 [ holds_at(pos(Animal, Position), t),
1606 not(holds_at(pos(Animal, Position), start)),
1607 b(t, start),
1608 ignore(t+1=start)
1609 ]).
1610
1611 1615
1616 1621axiom(not(holds_at(moves(Pos_Param), t)),
1622 [not(holds_at(pos(Pos_Param, Pos_Ret), t))]).
1623axiom(not(holds_at(moves(Pos_Param), t)),
1624
1625 [ holds_at(pos(Pos_Param, Pos_Ret), start),
1626 b(t, start),
1627 ignore(t+1=start)
1628 ]).
1629
1630 1633axiom(holds_at(pos(Pos_Param5, Pos_Ret6), t),
1634 [holds_at(moves(Pos_Param5), t)]).
1635
1636 1639axiom(not(holds_at(pos(Pos_Param7, Pos_Ret8), start)),
1640 [holds_at(moves(Pos_Param7), t), b(t, start), ignore(t+1=start)]).
1641
1642
1649
1650 1655axiom(holds_at(mountFails(Human), Time),
1656
1657 [ happens(mount(Human, Animal), Time),
1658 holds_at(moves(Animal), Time)
1659 ]).
1660
1661 1665
1666 1671axiom(not(holds_at(mountFails(Mount_Param), Time3)),
1672 [not(happens(mount(Mount_Param, Mount_Ret), Time3))]).
1673axiom(not(holds_at(mountFails(Mount_Param), Time3)),
1674 [not(holds_at(moves(Mount_Ret), Time3))]).
1675
1676 1679axiom(happens(mount(Mount_Param7, Mount_Ret8), Maptime),
1680 [holds_at(mountFails(Mount_Param7), Maptime)]).
1681
1682 1685axiom(holds_at(moves(Moves_Ret), Time9),
1686 [holds_at(mountFails(MountFails_Ret), Time9)]).
1687
1688
1694axiom(releases(mount(Human, Animal), pos(Human, Position), Time),
1695 [not(holds_at(moves(Animal), Time))]).
1696
1697
1703axiom(initiates(mount(Human, Animal), mounted(Human, Animal), Time),
1704 [not(holds_at(moves(Animal), Time))]).
1705
1706
1713axiom(initiates(mount(Human, Animal), pos(Human, Position), Time),
1714
1715 [ holds_at(pos(Animal, Position), Time),
1716 holds_at(moves(Animal), Time)
1717 ]).
1718
1719
1726axiom(terminates(mount(Human, Animal), pos(Human, Position), Time),
1727
1728 [ holds_at(pos(Human, Position), Time),
1729 holds_at(moves(Animal), Time)
1730 ]).
1731
1732
1738axiom(requires(mount(Human, Animal), Time),
1739 [large(Animal)]).
1740
1741
1747axiom(large(Animal),
1748 [holds_at(mounted(Human, Animal), Time)]).
1749
1750
1756axiom(requires(mount(Human1, Human2), Time),
1757 [not(large(Human1))]).
1758
1759
1765axiom(not(large(Human1)),
1766 [holds_at(mounted(Human1, Human2), Time)]).
1767
1768
1774axiom(requires(mount(Human, Animal), Time),
1775 [not({dif(Human1, Human)})]).
1776axiom(requires(mount(Human, Animal), Time),
1777 [not(holds_at(mounted(Human1, Animal), Time))]).
1778
1779
1786axiom(Human1=Human2,
1787
1788 [ holds_at(mounted(Human1, Animal), Time),
1789 holds_at(mounted(Human2, Animal), Time)
1790 ]).
1791
1792
1798axiom(requires(mount(Human, Animal), Time),
1799 [not({dif(Human1, Human)})]).
1800axiom(requires(mount(Human, Animal), Time),
1801 [not(holds_at(mounted(Human1, Human), Time))]).
1802
1803
1809
1810 1814
1815 1820axiom(holds_at(mounted(Mounted_Param, Some_Param), Time5),
1821
1822 [ happens(mount(Mount_Param, Mounted_Param), Time5),
1823 some(Some_Param,
1824 '$kolem_Fn_103'(Mount_Param, Mounted_Param, Time5))
1825 ]).
1826
1827 1835axiom(not(happens(mount(Mount_Param10, Mounted_Param11), Maptime)),
1836
1837 [ not(holds_at(mounted(Mounted_Param11, Some_Param12),
1838 Maptime)),
1839 some(Some_Param12,
1840 '$kolem_Fn_103'(Mount_Param10,
1841 Mounted_Param11,
1842 Maptime))
1843 ]).
1844
1845 1850axiom(not(some(Some_Param14, '$kolem_Fn_103'(Fn_103_Param, Mounted_Param16, Time13))),
1851
1852 [ not(holds_at(mounted(Mounted_Param16, Some_Param14),
1853 Time13)),
1854 happens(mount(Fn_103_Param, Mounted_Param16), Time13)
1855 ]).
1856
1857
1863axiom(not(exists([Animal], holds_at(mounted(Human2, Animal), Time))),
1864 [holds_at(mounted(Human1, Human2), Time)]).
1865
1866
1872axiom(requires(mount(Human, Animal), Time),
1873 [not(holds_at(mounted(Human, Animal1), Time))]).
1874
1875
1881axiom(terminates(getOff(Human, Animal), mounted(Human, Animal), Time),
1882 [not(holds_at(moves(Animal), Time))]).
1883
1884
1891axiom(initiates(getOff(Human, Animal), pos(Human, Position), Time),
1892
1893 [ not(holds_at(moves(Animal), Time)),
1894 holds_at(posDeterminingFluent(Human, Position), Time)
1895 ]).
1896
1897
1904axiom(terminates(getOff(Human, Animal), pos(Human, Position), Time),
1905
1906 [ not(holds_at(moves(Animal), Time)),
1907 holds_at(pos(Human, Position), Time)
1908 ]).
1909
1910
1918axiom(terminates(getOff(Human, Animal), pos(Human, Position2), Time),
1919
1920 [ not(holds_at(moves(Animal), Time)),
1921 holds_at(pos(Human, Position1), Time),
1922 { dif(Position1, Position2)
1923 }
1924 ]).
1925
1926
1932axiom(requires(getOff(Human, Animal), Time),
1933 [holds_at(mounted(Human, Animal), Time)]).
1934
1935
1944
1945 1950axiom(holds_at(throwOffFails(Animal1, Human), t),
1951
1952 [ dif(Animal2, Human),
1953 holds_at(posDeterminingFluent(Human, Position), t),
1954 large(Animal2),
1955 holds_at(pos(Animal2, Position), start),
1956 b(t, start),
1957 ignore(t+1=start)
1958 ]).
1959
1960 1964
1965 1974axiom(not(holds_at(throwOffFails(ThrowOffFails_Param, PosDeterminingFluent_Param), t)),
1975 [not({dif(Dif_Param, PosDeterminingFluent_Param)})]).
1976axiom(not(holds_at(throwOffFails(ThrowOffFails_Param, PosDeterminingFluent_Param), t)),
1977
1978 [ not(holds_at(posDeterminingFluent(PosDeterminingFluent_Param,
1979 PosDeterminingFluent_Ret),
1980 t))
1981 ]).
1982axiom(not(holds_at(throwOffFails(ThrowOffFails_Param, PosDeterminingFluent_Param), t)),
1983 [not(large(Dif_Param))]).
1984axiom(not(holds_at(throwOffFails(ThrowOffFails_Param, PosDeterminingFluent_Param), t)),
1985
1986 [ not(holds_at(pos(Dif_Param, PosDeterminingFluent_Ret), start)),
1987 b(t, start),
1988 ignore(t+1=start)
1989 ]).
1990
1991 1995axiom({ dif(Dif_Param9, Dif_Ret)
1996},
1997 [holds_at(throwOffFails(ThrowOffFails_Param10, Dif_Ret), t)]).
1998
1999 2004axiom(holds_at(posDeterminingFluent(PosDeterminingFluent_Param12, PosDeterminingFluent_Ret14), t),
2005
2006 [ holds_at(throwOffFails(ThrowOffFails_Param13,
2007 PosDeterminingFluent_Param12),
2008 t)
2009 ]).
2010
2011 2016axiom(large(Large_Ret),
2017
2018 [ holds_at(throwOffFails(ThrowOffFails_Param15,
2019 ThrowOffFails_Ret),
2020 t)
2021 ]).
2022
2023 2028axiom(holds_at(pos(Pos_Param, Pos_Ret), start),
2029
2030 [ holds_at(throwOffFails(ThrowOffFails_Param19,
2031 ThrowOffFails_Ret21),
2032 t),
2033 b(t, start),
2034 ignore(t+1=start)
2035 ]).
2036
2037
2044axiom(initiates(throwOff(Animal, Human), pos(Human, Position), Time),
2045
2046 [ holds_at(posDeterminingFluent(Human, Position), Time),
2047 not(holds_at(throwOffFails(Animal, Human), Time))
2048 ]).
2049
2050
2057axiom(terminates(throwOff(Animal, Human), pos(Human, Position), Time),
2058
2059 [ holds_at(pos(Human, Position), Time),
2060 not(holds_at(throwOffFails(Animal, Human), Time))
2061 ]).
2062
2063
2072axiom(terminates(throwOff(Animal, Human), pos(Human, Position2), Time),
2073
2074 [ not(holds_at(throwOffFails(Animal, Human), Time)),
2075 holds_at(pos(Human, Position1), Time),
2076 not(holds_at(posDeterminingFluent(Human, Position2),
2077 Time)),
2078 { dif(Position1, Position2)
2079 }
2080 ]).
2081
2082
2089axiom(holds_at(posDeterminingFluent(Human, 1), Time),
2090
2091 [ not(happens(throwOff(Animal, Human), Time)),
2092 not(happens(getOff(Human, Animal), Time))
2093 ]).
2094
2095
2103axiom(initiates(throwOff(Animal1, Human), mounted(Human, Animal2), Time),
2104
2105 [ holds_at(posDeterminingFluent(Human, Position), Time),
2106 holds_at(throwOffFails(Animal1, Human), Time),
2107 holds_at(pos(Animal2, Position), Time)
2108 ]).
2109
2110
2116axiom(terminates(throwOff(Animal, Human), mounted(Human, Animal), Time),
2117 [not(holds_at(throwOffFails(Animal, Human), Time))]).
2118
2119
2125axiom(requires(throwOff(Animal, Human), Time),
2126 [holds_at(mounted(Human, Animal), Time)]).
2127
2128
2134axiom(not(happens(getOff(Human, Animal), Time)),
2135 [happens(throwOff(Animal, Human), Time)]).
2136
2137
2143axiom(not(happens(throwOff(Animal, Human), Time)),
2144 [happens(getOff(Human, Animal), Time)]).
2145
2146
2153
2154 2159axiom(accessible(Position1, Position2, Time),
2160
2161 [ thereExists((neighbor(Position1, Position2), not([gate])),
2162 (sides(Position1, Position2, gate), not(holds_at(opened(gate), Time))))
2163 ]).
2164axiom(thereExists((neighbor(Position1, Position2), not([gate])), (sides(Position1, Position2, gate), not(holds_at(opened(gate), Time)))),
2165 [accessible(Position1, Position2, Time)]).
2166
2167
2175axiom(accessible(Position1, Position2, t),
2176
2177 [ { dif(Position1, Position2)
2178 },
2179 holds_at(pos(Animal, Position1), t),
2180 holds_at(pos(Animal, Position2), start),
2181 b(t, start),
2182 ignore(t+1=start)
2183 ]).
2184
2185
2198
2199 2206axiom(holds_at(abnormalEncroachment(Human), Time),
2207 [holds_at(mountFails(Human), Time)]).
2208axiom(holds_at(abnormalEncroachment(Human), t),
2209
2210 [ holds_at(posDeterminingFluent(Human, Position), t),
2211 not(holds_at(throwOffFails(Animal2, Human), t)),
2212 happens(throwOff(Animal2, Human), t),
2213 dif(Animal1, Human),
2214 large(Animal1),
2215 holds_at(pos(Animal1, Position), t),
2216 not(holds_at(pos(Animal1, Position), start)),
2217 b(t, start),
2218 ignore(t+1=start)
2219 ]).
2220
2221 2224
2225 2242axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
2243
2244 [ not(holds_at(posDeterminingFluent(PosDeterminingFluent_Param,
2245 PosDeterminingFluent_Ret),
2246 t)),
2247 not(holds_at(mountFails(PosDeterminingFluent_Param), t))
2248 ]).
2249axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
2250
2251 [ holds_at(throwOffFails(ThrowOffFails_Param,
2252 PosDeterminingFluent_Param),
2253 t),
2254 not(holds_at(mountFails(PosDeterminingFluent_Param), t))
2255 ]).
2256axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
2257
2258 [ not(happens(throwOff(ThrowOffFails_Param,
2259 PosDeterminingFluent_Param),
2260 t)),
2261 not(holds_at(mountFails(PosDeterminingFluent_Param), t))
2262 ]).
2263axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
2264
2265 [ not({dif(Dif_Param, PosDeterminingFluent_Param)}),
2266 not(holds_at(mountFails(PosDeterminingFluent_Param), t))
2267 ]).
2268axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
2269
2270 [ not(large(Dif_Param)),
2271 not(holds_at(mountFails(PosDeterminingFluent_Param), t))
2272 ]).
2273axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
2274
2275 [ not(holds_at(pos(Dif_Param, PosDeterminingFluent_Ret), t)),
2276 not(holds_at(mountFails(PosDeterminingFluent_Param), t))
2277 ]).
2278axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
2279
2280 [ holds_at(pos(Dif_Param, PosDeterminingFluent_Ret), start),
2281 not(holds_at(mountFails(PosDeterminingFluent_Param), t)),
2282 b(t, start),
2283 ignore(t+1=start)
2284 ]).
2285
2286 2304axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
2305
2306 [ not(holds_at(posDeterminingFluent(PosDeterminingFluent_Param9,
2307 PosDeterminingFluent_Ret12),
2308 t)),
2309 holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
2310 ]).
2311axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
2312
2313 [ holds_at(throwOffFails(ThrowOffFails_Param10,
2314 PosDeterminingFluent_Param9),
2315 t),
2316 holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
2317 ]).
2318axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
2319
2320 [ not(happens(throwOff(ThrowOffFails_Param10,
2321 PosDeterminingFluent_Param9),
2322 t)),
2323 holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
2324 ]).
2325axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
2326
2327 [ not({dif(Dif_Param11, PosDeterminingFluent_Param9)}),
2328 holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
2329 ]).
2330axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
2331
2332 [ not(large(Dif_Param11)),
2333 holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
2334 ]).
2335axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
2336
2337 [ not(holds_at(pos(Dif_Param11, PosDeterminingFluent_Ret12), t)),
2338 holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
2339 ]).
2340axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
2341
2342 [ holds_at(pos(Dif_Param11, PosDeterminingFluent_Ret12), start),
2343 holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t),
2344 b(t, start),
2345 ignore(t+1=start)
2346 ]).
2347
2348 2352axiom(holds_at(posDeterminingFluent(PosDeterminingFluent_Param13, PosDeterminingFluent_Ret14), t),
2353
2354 [ not(holds_at(mountFails(PosDeterminingFluent_Param13), t)),
2355 holds_at(abnormalEncroachment(PosDeterminingFluent_Param13), t)
2356 ]).
2357
2358 2362axiom(not(holds_at(throwOffFails(ThrowOffFails_Param15, ThrowOffFails_Ret), t)),
2363
2364 [ not(holds_at(mountFails(ThrowOffFails_Ret), t)),
2365 holds_at(abnormalEncroachment(ThrowOffFails_Ret), t)
2366 ]).
2367
2368 2372axiom(happens(throwOff(ThrowOff_Param, ThrowOff_Ret), t),
2373
2374 [ not(holds_at(mountFails(ThrowOff_Ret), t)),
2375 holds_at(abnormalEncroachment(ThrowOff_Ret), t)
2376 ]).
2377
2378 2383axiom({ dif(Dif_Param19, Dif_Ret)
2384},
2385
2386 [ not(holds_at(mountFails(Dif_Ret), t)),
2387 holds_at(abnormalEncroachment(Dif_Ret), t)
2388 ]).
2389
2390 2394axiom(large(Large_Ret),
2395
2396 [ not(holds_at(mountFails(MountFails_Ret), t)),
2397 holds_at(abnormalEncroachment(MountFails_Ret), t)
2398 ]).
2399
2400 2404axiom(holds_at(pos(Pos_Param, Pos_Ret), t),
2405
2406 [ not(holds_at(mountFails(MountFails_Ret25), t)),
2407 holds_at(abnormalEncroachment(MountFails_Ret25), t)
2408 ]).
2409
2410 2414axiom(not(holds_at(pos(Pos_Param26, Pos_Ret27), start)),
2415
2416 [ not(holds_at(mountFails(MountFails_Ret28), t)),
2417 holds_at(abnormalEncroachment(MountFails_Ret28), t),
2418 b(t, start),
2419 ignore(t+1=start)
2420 ]).
2421
2422
2432
2433 2436
2437 2449axiom(not(holds_at(pos(Pos_Param, Pos_Ret), t)),
2450
2451 [ not(equals(Equals_Param, Pos_Param7)),
2452 not(holds_at(pos(Pos_Param, Pos_Ret), start)),
2453 not(holds_at(pos(Pos_Param7, Pos_Ret), t)),
2454 holds_at(pos(Pos_Param7, Pos_Ret), start),
2455 large(Pos_Param),
2456 large(Pos_Param7),
2457 b(t, start),
2458 ignore(t+1=start)
2459 ]).
2460axiom(not(holds_at(pos(Pos_Param, Pos_Ret), t)),
2461
2462 [ not(holds_at(abnormalEncroachment(Equals_Param), t)),
2463 not(holds_at(pos(Pos_Param, Pos_Ret), start)),
2464 not(holds_at(pos(Pos_Param7, Pos_Ret), t)),
2465 holds_at(pos(Pos_Param7, Pos_Ret), start),
2466 large(Pos_Param),
2467 large(Pos_Param7),
2468 b(t, start),
2469 ignore(t+1=start)
2470 ]).
2471
2472 2483axiom(holds_at(pos(Pos_Param11, Pos_Ret14), start),
2484
2485 [ not(equals(Equals_Param13, Pos_Param12)),
2486 not(holds_at(pos(Pos_Param12, Pos_Ret14), t)),
2487 holds_at(pos(Pos_Param12, Pos_Ret14), start),
2488 holds_at(pos(Pos_Param11, Pos_Ret14), t),
2489 large(Pos_Param11),
2490 large(Pos_Param12),
2491 b(t, start),
2492 ignore(t+1=start)
2493 ]).
2494axiom(holds_at(pos(Pos_Param11, Pos_Ret14), start),
2495
2496 [ not(holds_at(abnormalEncroachment(Equals_Param13), t)),
2497 not(holds_at(pos(Pos_Param12, Pos_Ret14), t)),
2498 holds_at(pos(Pos_Param12, Pos_Ret14), start),
2499 holds_at(pos(Pos_Param11, Pos_Ret14), t),
2500 large(Pos_Param11),
2501 large(Pos_Param12),
2502 b(t, start),
2503 ignore(t+1=start)
2504 ]).
2505
2506 2516axiom(holds_at(pos(Pos_Param16, Pos_Ret19), t),
2517
2518 [ not(equals(Equals_Param18, Pos_Param16)),
2519 holds_at(pos(Pos_Param16, Pos_Ret19), start),
2520 not(holds_at(pos(Pos_Param17, Pos_Ret19), start)),
2521 holds_at(pos(Pos_Param17, Pos_Ret19), t),
2522 large(Pos_Param17),
2523 large(Pos_Param16),
2524 b(t, start),
2525 ignore(t+1=start)
2526 ]).
2527axiom(holds_at(pos(Pos_Param16, Pos_Ret19), t),
2528
2529 [ not(holds_at(abnormalEncroachment(Equals_Param18), t)),
2530 holds_at(pos(Pos_Param16, Pos_Ret19), start),
2531 not(holds_at(pos(Pos_Param17, Pos_Ret19), start)),
2532 holds_at(pos(Pos_Param17, Pos_Ret19), t),
2533 large(Pos_Param17),
2534 large(Pos_Param16),
2535 b(t, start),
2536 ignore(t+1=start)
2537 ]).
2538
2539 2549axiom(not(holds_at(pos(Pos_Param21, Pos_Ret24), start)),
2550
2551 [ not(equals(Equals_Param23, Pos_Param21)),
2552 not(holds_at(pos(Pos_Param21, Pos_Ret24), t)),
2553 not(holds_at(pos(Pos_Param22, Pos_Ret24), start)),
2554 holds_at(pos(Pos_Param22, Pos_Ret24), t),
2555 large(Pos_Param22),
2556 large(Pos_Param21),
2557 b(t, start),
2558 ignore(t+1=start)
2559 ]).
2560axiom(not(holds_at(pos(Pos_Param21, Pos_Ret24), start)),
2561
2562 [ not(holds_at(abnormalEncroachment(Equals_Param23), t)),
2563 not(holds_at(pos(Pos_Param21, Pos_Ret24), t)),
2564 not(holds_at(pos(Pos_Param22, Pos_Ret24), start)),
2565 holds_at(pos(Pos_Param22, Pos_Ret24), t),
2566 large(Pos_Param22),
2567 large(Pos_Param21),
2568 b(t, start),
2569 ignore(t+1=start)
2570 ]).
2571
2572 2584axiom(not(large(Pos_Param27)),
2585
2586 [ not(equals(Equals_Param26, Pos_Param28)),
2587 large(Pos_Param28),
2588 holds_at(pos(Pos_Param27, Pos_Ret29), t),
2589 not(holds_at(pos(Pos_Param27, Pos_Ret29), start)),
2590 not(holds_at(pos(Pos_Param28, Pos_Ret29), t)),
2591 holds_at(pos(Pos_Param28, Pos_Ret29), start),
2592 b(t, start),
2593 ignore(t+1=start)
2594 ]).
2595axiom(not(large(Pos_Param27)),
2596
2597 [ not(holds_at(abnormalEncroachment(Equals_Param26), t)),
2598 large(Pos_Param28),
2599 holds_at(pos(Pos_Param27, Pos_Ret29), t),
2600 not(holds_at(pos(Pos_Param27, Pos_Ret29), start)),
2601 not(holds_at(pos(Pos_Param28, Pos_Ret29), t)),
2602 holds_at(pos(Pos_Param28, Pos_Ret29), start),
2603 b(t, start),
2604 ignore(t+1=start)
2605 ]).
2606
2607 2617axiom(not(large(Pos_Param33)),
2618
2619 [ not(equals(Equals_Param31, Pos_Param33)),
2620 large(Pos_Param32),
2621 holds_at(pos(Pos_Param32, Pos_Ret34), t),
2622 not(holds_at(pos(Pos_Param32, Pos_Ret34), start)),
2623 not(holds_at(pos(Pos_Param33, Pos_Ret34), t)),
2624 holds_at(pos(Pos_Param33, Pos_Ret34), start),
2625 b(t, start),
2626 ignore(t+1=start)
2627 ]).
2628axiom(not(large(Pos_Param33)),
2629
2630 [ not(holds_at(abnormalEncroachment(Equals_Param31), t)),
2631 large(Pos_Param32),
2632 holds_at(pos(Pos_Param32, Pos_Ret34), t),
2633 not(holds_at(pos(Pos_Param32, Pos_Ret34), start)),
2634 not(holds_at(pos(Pos_Param33, Pos_Ret34), t)),
2635 holds_at(pos(Pos_Param33, Pos_Ret34), start),
2636 b(t, start),
2637 ignore(t+1=start)
2638 ]).
2639
2640 2648axiom(equals(Equals_Param36, Pos_Param38),
2649
2650 [ large(Pos_Param38),
2651 large(Pos_Param37),
2652 holds_at(pos(Pos_Param37, Pos_Ret39), t),
2653 not(holds_at(pos(Pos_Param37, Pos_Ret39), start)),
2654 not(holds_at(pos(Pos_Param38, Pos_Ret39), t)),
2655 holds_at(pos(Pos_Param38, Pos_Ret39), start),
2656 b(t, start),
2657 ignore(t+1=start)
2658 ]).
2659
2660 2668axiom(holds_at(abnormalEncroachment(AbnormalEncroachment_Ret), t),
2669
2670 [ large(Pos_Param42),
2671 large(Pos_Param41),
2672 holds_at(pos(Pos_Param41, Pos_Ret44), t),
2673 not(holds_at(pos(Pos_Param41, Pos_Ret44), start)),
2674 not(holds_at(pos(Pos_Param42, Pos_Ret44), t)),
2675 holds_at(pos(Pos_Param42, Pos_Ret44), start),
2676 b(t, start),
2677 ignore(t+1=start)
2678 ]).
2679
2680
2691axiom(not(exists([Gate], sides(Position1, Position2, Gate))),
2692
2693 [ { dif(Animal1, Animal2)
2694 },
2695 large(Animal1),
2696 large(Animal2),
2697 holds_at(pos(Animal1, Position1), t),
2698 holds_at(pos(Animal1, Position2), start),
2699 holds_at(pos(Animal2, Position1), t),
2700 holds_at(pos(Animal2, Position2), start),
2701 b(t, start),
2702 ignore(t+1=start)
2703 ]).
2704
2705
2716axiom(not(exists([Gate], sides(Position1, Position2, Gate))),
2717
2718 [ { dif(Animal1, Animal2)
2719 },
2720 large(Animal1),
2721 large(Animal2),
2722 holds_at(pos(Animal1, Position1), t),
2723 holds_at(pos(Animal1, Position2), start),
2724 holds_at(pos(Animal2, Position2), t),
2725 holds_at(pos(Animal2, Position1), start),
2726 b(t, start),
2727 ignore(t+1=start)
2728 ]).
2729
2730
2740axiom(not(exists([Animal], (holds_at(pos(Animal, Position1), t), holds_at(pos(Animal, Position2), t+1)))),
2741
2742 [ holds_at(opened(Gate), t),
2743 not(holds_at(opened(Gate), start)),
2744 sides(Position1, Position2, Gate),
2745 b(t, start),
2746 ignore(t+1=start)
2747 ]).
2748
2749% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:394
2750% gate GateAO
2751% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:395
2752==> t(gate,gateAO).
2753
2754% cage CageA
2755% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:396
2756==> t(cage,cageA).
2757
2758
2761loc(1,cageA).
2762
2763
2766loc(2,cageA).
2767
2768
2771loc(3,cageA).
2772
2773
2776loc(4,cageA).
2777
2778
2781loc(5,outside).
2782
2783
2786loc(6,outside).
2787
2788
2791loc(7,outside).
2792
2793
2796loc(8,outside).
2797
2798
2828
2829 2885axiom(neighbor(Position1, Position2),
2886 [equals(Position1, 1), equals(Position2, 2)]).
2887axiom(neighbor(Position1, Position2),
2888 [equals(Position1, 1), equals(Position2, 3)]).
2889axiom(neighbor(Position1, Position2),
2890 [equals(Position1, 1), equals(Position2, 4)]).
2891axiom(neighbor(Position1, Position2),
2892 [equals(Position1, 2), equals(Position2, 3)]).
2893axiom(neighbor(Position1, Position2),
2894 [equals(Position1, 2), equals(Position2, 4)]).
2895axiom(neighbor(Position1, Position2),
2896 [equals(Position1, 3), equals(Position2, 4)]).
2897axiom(neighbor(Position1, Position2),
2898 [equals(Position1, 5), equals(Position2, 6)]).
2899axiom(neighbor(Position1, Position2),
2900 [equals(Position1, 5), equals(Position2, 7)]).
2901axiom(neighbor(Position1, Position2),
2902 [equals(Position1, 5), equals(Position2, 8)]).
2903axiom(neighbor(Position1, Position2),
2904 [equals(Position1, 6), equals(Position2, 7)]).
2905axiom(neighbor(Position1, Position2),
2906 [equals(Position1, 6), equals(Position2, 8)]).
2907axiom(neighbor(Position1, Position2),
2908 [equals(Position1, 7), equals(Position2, 8)]).
2909axiom(neighbor(Position1, Position2),
2910 [equals(Position2, 1), equals(Position1, 2)]).
2911axiom(neighbor(Position1, Position2),
2912 [equals(Position2, 1), equals(Position1, 3)]).
2913axiom(neighbor(Position1, Position2),
2914 [equals(Position2, 1), equals(Position1, 4)]).
2915axiom(neighbor(Position1, Position2),
2916 [equals(Position2, 2), equals(Position1, 3)]).
2917axiom(neighbor(Position1, Position2),
2918 [equals(Position2, 2), equals(Position1, 4)]).
2919axiom(neighbor(Position1, Position2),
2920 [equals(Position2, 3), equals(Position1, 4)]).
2921axiom(neighbor(Position1, Position2),
2922 [equals(Position2, 5), equals(Position1, 6)]).
2923axiom(neighbor(Position1, Position2),
2924 [equals(Position2, 5), equals(Position1, 7)]).
2925axiom(neighbor(Position1, Position2),
2926 [equals(Position2, 5), equals(Position1, 8)]).
2927axiom(neighbor(Position1, Position2),
2928 [equals(Position2, 6), equals(Position1, 7)]).
2929axiom(neighbor(Position1, Position2),
2930 [equals(Position2, 6), equals(Position1, 8)]).
2931axiom(neighbor(Position1, Position2),
2932 [equals(Position2, 7), equals(Position1, 8)]).
2933axiom(neighbor(Position1, Position2),
2934 [equals(Position1, 4), equals(Position2, 7)]).
2935axiom(neighbor(Position1, Position2),
2936 [equals(Position2, 4), equals(Position1, 7)]).
2937
2938 2941todo_later(if(neighbor(Position1, Position2), (Position1=1, Position2=2;Position1=1, Position2=3;Position1=1, Position2=4;Position1=2, Position2=3;Position1=2, Position2=4;Position1=3, Position2=4;Position1=5, Position2=6;Position1=5, Position2=7;Position1=5, Position2=8;Position1=6, Position2=7;Position1=6, Position2=8;Position1=7, Position2=8;Position2=1, Position1=2;Position2=1, Position1=3;Position2=1, Position1=4;Position2=2, Position1=3;Position2=2, Position1=4;Position2=3, Position1=4;Position2=5, Position1=6;Position2=5, Position1=7;Position2=5, Position1=8;Position2=6, Position1=7;Position2=6, Position1=8;Position2=7, Position1=8;Position1=4, Position2=7;Position2=4, Position1=7)), [(not(neighbor(Neighbor_Param, Equals_Param)):-(not(equals(Neighbor_Param, 1));not(equals(Equals_Param, 2))), (not(equals(Neighbor_Param, 1));not(equals(Equals_Param, 3))), (not(equals(Neighbor_Param, 1));not(equals(Equals_Param, 4))), (not(equals(Neighbor_Param, 2));not(equals(Equals_Param, 3))), (not(equals(Neighbor_Param, 2));not(equals(Equals_Param, 4))), (not(equals(Neighbor_Param, 3));not(equals(Equals_Param, 4))), (not(equals(Neighbor_Param, 5));not(equals(Equals_Param, 6))), (not(equals(Neighbor_Param, 5));not(equals(Equals_Param, 7))), (not(equals(Neighbor_Param, 5));not(equals(Equals_Param, 8))), (not(equals(Neighbor_Param, 6));not(equals(Equals_Param, 7))), (not(equals(Neighbor_Param, 6));not(equals(Equals_Param, 8))), (not(equals(Neighbor_Param, 7));not(equals(Equals_Param, 8))), (not(equals(Equals_Param, 1));not(equals(Neighbor_Param, 2))), (not(equals(Equals_Param, 1));not(equals(Neighbor_Param, 3))), (not(equals(Equals_Param, 1));not(equals(Neighbor_Param, 4))), (not(equals(Equals_Param, 2));not(equals(Neighbor_Param, 3))), (not(equals(Equals_Param, 2));not(equals(Neighbor_Param, 4))), (not(equals(Equals_Param, 3));not(equals(Neighbor_Param, 4))), (not(equals(Equals_Param, 5));not(equals(Neighbor_Param, 6))), (not(equals(Equals_Param, 5));not(equals(Neighbor_Param, 7))), (not(equals(Equals_Param, 5));not(equals(Neighbor_Param, 8))), (not(equals(Equals_Param, 6));not(equals(Neighbor_Param, 7))), (not(equals(Equals_Param, 6));not(equals(Neighbor_Param, 8))), (not(equals(Equals_Param, 7));not(equals(Neighbor_Param, 8))), (not(equals(Neighbor_Param, 4));not(equals(Equals_Param, 7))), (not(equals(Equals_Param, 4));not(equals(Neighbor_Param, 7)))), (equals(Equals_Param4, 1):-((not(equals(Equals_Param4, 1));not(equals(Equals_Param5, 3))), (not(equals(Equals_Param4, 1));not(equals(Equals_Param5, 4))), (not(equals(Equals_Param4, 2));not(equals(Equals_Param5, 3))), (not(equals(Equals_Param4, 2));not(equals(Equals_Param5, 4))), (not(equals(Equals_Param4, 3));not(equals(Equals_Param5, 4))), (not(equals(Equals_Param4, 5));not(equals(Equals_Param5, 6))), (not(equals(Equals_Param4, 5));not(equals(Equals_Param5, 7))), (not(equals(Equals_Param4, 5));not(equals(Equals_Param5, 8))), (not(equals(Equals_Param4, 6));not(equals(Equals_Param5, 7))), (not(equals(Equals_Param4, 6));not(equals(Equals_Param5, 8))), (not(equals(Equals_Param4, 7));not(equals(Equals_Param5, 8))), (not(equals(Equals_Param5, 1));not(equals(Equals_Param4, 2))), (not(equals(Equals_Param5, 1));not(equals(Equals_Param4, 3))), (not(equals(Equals_Param5, 1));not(equals(Equals_Param4, 4))), (not(equals(Equals_Param5, 2));not(equals(Equals_Param4, 3))), (not(equals(Equals_Param5, 2));not(equals(Equals_Param4, 4))), (not(equals(Equals_Param5, 3));not(equals(Equals_Param4, 4))), (not(equals(Equals_Param5, 5));not(equals(Equals_Param4, 6))), (not(equals(Equals_Param5, 5));not(equals(Equals_Param4, 7))), (not(equals(Equals_Param5, 5));not(equals(Equals_Param4, 8))), (not(equals(Equals_Param5, 6));not(equals(Equals_Param4, 7))), (not(equals(Equals_Param5, 6));not(equals(Equals_Param4, 8))), (not(equals(Equals_Param5, 7));not(equals(Equals_Param4, 8))), (not(equals(Equals_Param4, 4));not(equals(Equals_Param5, 7))), (not(equals(Equals_Param5, 4));not(equals(Equals_Param4, 7)))), neighbor(Equals_Param4, Equals_Param5)), (equals(Equals_Param6, 2):-((not(equals(Equals_Param7, 1));not(equals(Equals_Param6, 3))), (not(equals(Equals_Param7, 1));not(equals(Equals_Param6, 4))), (not(equals(Equals_Param7, 2));not(equals(Equals_Param6, 3))), (not(equals(Equals_Param7, 2));not(equals(Equals_Param6, 4))), (not(equals(Equals_Param7, 3));not(equals(Equals_Param6, 4))), (not(equals(Equals_Param7, 5));not(equals(Equals_Param6, 6))), (not(equals(Equals_Param7, 5));not(equals(Equals_Param6, 7))), (not(equals(Equals_Param7, 5));not(equals(Equals_Param6, 8))), (not(equals(Equals_Param7, 6));not(equals(Equals_Param6, 7))), (not(equals(Equals_Param7, 6));not(equals(Equals_Param6, 8))), (not(equals(Equals_Param7, 7));not(equals(Equals_Param6, 8))), (not(equals(Equals_Param6, 1));not(equals(Equals_Param7, 2))), (not(equals(Equals_Param6, 1));not(equals(Equals_Param7, 3))), (not(equals(Equals_Param6, 1));not(equals(Equals_Param7, 4))), (not(equals(Equals_Param6, 2));not(equals(Equals_Param7, 3))), (not(equals(Equals_Param6, 2));not(equals(Equals_Param7, 4))), (not(equals(Equals_Param6, 3));not(equals(Equals_Param7, 4))), (not(equals(Equals_Param6, 5));not(equals(Equals_Param7, 6))), (not(equals(Equals_Param6, 5));not(equals(Equals_Param7, 7))), (not(equals(Equals_Param6, 5));not(equals(Equals_Param7, 8))), (not(equals(Equals_Param6, 6));not(equals(Equals_Param7, 7))), (not(equals(Equals_Param6, 6));not(equals(Equals_Param7, 8))), (not(equals(Equals_Param6, 7));not(equals(Equals_Param7, 8))), (not(equals(Equals_Param7, 4));not(equals(Equals_Param6, 7))), (not(equals(Equals_Param6, 4));not(equals(Equals_Param7, 7)))), neighbor(Equals_Param7, Equals_Param6)), (equals(Equals_Param8, 1):-((not(equals(Equals_Param8, 1));not(equals(Equals_Param9, 4))), (not(equals(Equals_Param8, 2));not(equals(Equals_Param9, 3))), (not(equals(Equals_Param8, 2));not(equals(Equals_Param9, 4))), (not(equals(Equals_Param8, 3));not(equals(Equals_Param9, 4))), (not(equals(Equals_Param8, 5));not(equals(Equals_Param9, 6))), (not(equals(Equals_Param8, 5));not(equals(Equals_Param9, 7))), (not(equals(Equals_Param8, 5));not(equals(Equals_Param9, 8))), (not(equals(Equals_Param8, 6));not(equals(Equals_Param9, 7))), (not(equals(Equals_Param8, 6));not(equals(Equals_Param9, 8))), (not(equals(Equals_Param8, 7));not(equals(Equals_Param9, 8))), (not(equals(Equals_Param9, 1));not(equals(Equals_Param8, 2))), (not(equals(Equals_Param9, 1));not(equals(Equals_Param8, 3))), (not(equals(Equals_Param9, 1));not(equals(Equals_Param8, 4))), (not(equals(Equals_Param9, 2));not(equals(Equals_Param8, 3))), (not(equals(Equals_Param9, 2));not(equals(Equals_Param8, 4))), (not(equals(Equals_Param9, 3));not(equals(Equals_Param8, 4))), (not(equals(Equals_Param9, 5));not(equals(Equals_Param8, 6))), (not(equals(Equals_Param9, 5));not(equals(Equals_Param8, 7))), (not(equals(Equals_Param9, 5));not(equals(Equals_Param8, 8))), (not(equals(Equals_Param9, 6));not(equals(Equals_Param8, 7))), (not(equals(Equals_Param9, 6));not(equals(Equals_Param8, 8))), (not(equals(Equals_Param9, 7));not(equals(Equals_Param8, 8))), (not(equals(Equals_Param8, 4));not(equals(Equals_Param9, 7))), (not(equals(Equals_Param9, 4));not(equals(Equals_Param8, 7)))), (not(equals(Equals_Param8, 1));not(equals(Equals_Param9, 2))), neighbor(Equals_Param8, Equals_Param9)), (equals(Equals_Param10, 3):-((not(equals(Equals_Param11, 1));not(equals(Equals_Param10, 4))), (not(equals(Equals_Param11, 2));not(equals(Equals_Param10, 3))), (not(equals(Equals_Param11, 2));not(equals(Equals_Param10, 4))), (not(equals(Equals_Param11, 3));not(equals(Equals_Param10, 4))), (not(equals(Equals_Param11, 5));not(equals(Equals_Param10, 6))), (not(equals(Equals_Param11, 5));not(equals(Equals_Param10, 7))), (not(equals(Equals_Param11, 5));not(equals(Equals_Param10, 8))), (not(equals(Equals_Param11, 6));not(equals(Equals_Param10, 7))), (not(equals(Equals_Param11, 6));not(equals(Equals_Param10, 8))), (not(equals(Equals_Param11, 7));not(equals(Equals_Param10, 8))), (not(equals(Equals_Param10, 1));not(equals(Equals_Param11, 2))), (not(equals(Equals_Param10, 1));not(equals(Equals_Param11, 3))), (not(equals(Equals_Param10, 1));not(equals(Equals_Param11, 4))), (not(equals(Equals_Param10, 2));not(equals(Equals_Param11, 3))), (not(equals(Equals_Param10, 2));not(equals(Equals_Param11, 4))), (not(equals(Equals_Param10, 3));not(equals(Equals_Param11, 4))), (not(equals(Equals_Param10, 5));not(equals(Equals_Param11, 6))), (not(equals(Equals_Param10, 5));not(equals(Equals_Param11, 7))), (not(equals(Equals_Param10, 5));not(equals(Equals_Param11, 8))), (not(equals(Equals_Param10, 6));not(equals(Equals_Param11, 7))), (not(equals(Equals_Param10, 6));not(equals(Equals_Param11, 8))), (not(equals(Equals_Param10, 7));not(equals(Equals_Param11, 8))), (not(equals(Equals_Param11, 4));not(equals(Equals_Param10, 7))), (not(equals(Equals_Param10, 4));not(equals(Equals_Param11, 7)))), (not(equals(Equals_Param11, 1));not(equals(Equals_Param10, 2))), neighbor(Equals_Param11, Equals_Param10)), (equals(Equals_Param12, 1):-((not(equals(Equals_Param12, 2));not(equals(Equals_Param13, 3))), (not(equals(Equals_Param12, 2));not(equals(Equals_Param13, 4))), (not(equals(Equals_Param12, 3));not(equals(Equals_Param13, 4))), (not(equals(Equals_Param12, 5));not(equals(Equals_Param13, 6))), (not(equals(Equals_Param12, 5));not(equals(Equals_Param13, 7))), (not(equals(Equals_Param12, 5));not(equals(Equals_Param13, 8))), (not(equals(Equals_Param12, 6));not(equals(Equals_Param13, 7))), (not(equals(Equals_Param12, 6));not(equals(Equals_Param13, 8))), (not(equals(Equals_Param12, 7));not(equals(Equals_Param13, 8))), (not(equals(Equals_Param13, 1));not(equals(Equals_Param12, 2))), (not(equals(Equals_Param13, 1));not(equals(Equals_Param12, 3))), (not(equals(Equals_Param13, 1));not(equals(Equals_Param12, 4))), (not(equals(Equals_Param13, 2));not(equals(Equals_Param12, 3))), (not(equals(Equals_Param13, 2));not(equals(Equals_Param12, 4))), (not(equals(Equals_Param13, 3));not(equals(Equals_Param12, 4))), (not(equals(Equals_Param13, 5));not(equals(Equals_Param12, 6))), (not(equals(Equals_Param13, 5));not(equals(Equals_Param12, 7))), (not(equals(Equals_Param13, 5));not(equals(Equals_Param12, 8))), (not(equals(Equals_Param13, 6));not(equals(Equals_Param12, 7))), (not(equals(Equals_Param13, 6));not(equals(Equals_Param12, 8))), (not(equals(Equals_Param13, 7));not(equals(Equals_Param12, 8))), (not(equals(Equals_Param12, 4));not(equals(Equals_Param13, 7))), (not(equals(Equals_Param13, 4));not(equals(Equals_Param12, 7)))), (not(equals(Equals_Param12, 1));not(equals(Equals_Param13, 3))), (not(equals(Equals_Param12, 1));not(equals(Equals_Param13, 2))), neighbor(Equals_Param12, Equals_Param13)), (equals(Equals_Param14, 4):-((not(equals(Equals_Param15, 2));not(equals(Equals_Param14, 3))), (not(equals(Equals_Param15, 2));not(equals(Equals_Param14, 4))), (not(equals(Equals_Param15, 3));not(equals(Equals_Param14, 4))), (not(equals(Equals_Param15, 5));not(equals(Equals_Param14, 6))), (not(equals(Equals_Param15, 5));not(equals(Equals_Param14, 7))), (not(equals(Equals_Param15, 5));not(equals(Equals_Param14, 8))), (not(equals(Equals_Param15, 6));not(equals(Equals_Param14, 7))), (not(equals(Equals_Param15, 6));not(equals(Equals_Param14, 8))), (not(equals(Equals_Param15, 7));not(equals(Equals_Param14, 8))), (not(equals(Equals_Param14, 1));not(equals(Equals_Param15, 2))), (not(equals(Equals_Param14, 1));not(equals(Equals_Param15, 3))), (not(equals(Equals_Param14, 1));not(equals(Equals_Param15, 4))), (not(equals(Equals_Param14, 2));not(equals(Equals_Param15, 3))), (not(equals(Equals_Param14, 2));not(equals(Equals_Param15, 4))), (not(equals(Equals_Param14, 3));not(equals(Equals_Param15, 4))), (not(equals(Equals_Param14, 5));not(equals(Equals_Param15, 6))), (not(equals(Equals_Param14, 5));not(equals(Equals_Param15, 7))), (not(equals(Equals_Param14, 5));not(equals(Equals_Param15, 8))), (not(equals(Equals_Param14, 6));not(equals(Equals_Param15, 7))), (not(equals(Equals_Param14, 6));not(equals(Equals_Param15, 8))), (not(equals(Equals_Param14, 7));not(equals(Equals_Param15, 8))), (not(equals(Equals_Param15, 4));not(equals(Equals_Param14, 7))), (not(equals(Equals_Param14, 4));not(equals(Equals_Param15, 7)))), (not(equals(Equals_Param15, 1));not(equals(Equals_Param14, 3))), (not(equals(Equals_Param15, 1));not(equals(Equals_Param14, 2))), neighbor(Equals_Param15, Equals_Param14)), (equals(Equals_Param16, 2):-((not(equals(Equals_Param16, 2));not(equals(Equals_Param17, 4))), (not(equals(Equals_Param16, 3));not(equals(Equals_Param17, 4))), (not(equals(Equals_Param16, 5));not(equals(Equals_Param17, 6))), (not(equals(Equals_Param16, 5));not(equals(Equals_Param17, 7))), (not(equals(Equals_Param16, 5));not(equals(Equals_Param17, 8))), (not(equals(Equals_Param16, 6));not(equals(Equals_Param17, 7))), (not(equals(Equals_Param16, 6));not(equals(Equals_Param17, 8))), (not(equals(Equals_Param16, 7));not(equals(Equals_Param17, 8))), (not(equals(Equals_Param17, 1));not(equals(Equals_Param16, 2))), (not(equals(Equals_Param17, 1));not(equals(Equals_Param16, 3))), (not(equals(Equals_Param17, 1));not(equals(Equals_Param16, 4))), (not(equals(Equals_Param17, 2));not(equals(Equals_Param16, 3))), (not(equals(Equals_Param17, 2));not(equals(Equals_Param16, 4))), (not(equals(Equals_Param17, 3));not(equals(Equals_Param16, 4))), (not(equals(Equals_Param17, 5));not(equals(Equals_Param16, 6))), (not(equals(Equals_Param17, 5));not(equals(Equals_Param16, 7))), (not(equals(Equals_Param17, 5));not(equals(Equals_Param16, 8))), (not(equals(Equals_Param17, 6));not(equals(Equals_Param16, 7))), (not(equals(Equals_Param17, 6));not(equals(Equals_Param16, 8))), (not(equals(Equals_Param17, 7));not(equals(Equals_Param16, 8))), (not(equals(Equals_Param16, 4));not(equals(Equals_Param17, 7))), (not(equals(Equals_Param17, 4));not(equals(Equals_Param16, 7)))), (not(equals(Equals_Param16, 1));not(equals(Equals_Param17, 4))), (not(equals(Equals_Param16, 1));not(equals(Equals_Param17, 3))), (not(equals(Equals_Param16, 1));not(equals(Equals_Param17, 2))), neighbor(Equals_Param16, Equals_Param17)), (equals(Equals_Param18, 3):-((not(equals(Equals_Param19, 2));not(equals(Equals_Param18, 4))), (not(equals(Equals_Param19, 3));not(equals(Equals_Param18, 4))), (not(equals(Equals_Param19, 5));not(equals(Equals_Param18, 6))), (not(equals(Equals_Param19, 5));not(equals(Equals_Param18, 7))), (not(equals(Equals_Param19, 5));not(equals(Equals_Param18, 8))), (not(equals(Equals_Param19, 6));not(equals(Equals_Param18, 7))), (not(equals(Equals_Param19, 6));not(equals(Equals_Param18, 8))), (not(equals(Equals_Param19, 7));not(equals(Equals_Param18, 8))), (not(equals(Equals_Param18, 1));not(equals(Equals_Param19, 2))), (not(equals(Equals_Param18, 1));not(equals(Equals_Param19, 3))), (not(equals(Equals_Param18, 1));not(equals(Equals_Param19, 4))), (not(equals(Equals_Param18, 2));not(equals(Equals_Param19, 3))), (not(equals(Equals_Param18, 2));not(equals(Equals_Param19, 4))), (not(equals(Equals_Param18, 3));not(equals(Equals_Param19, 4))), (not(equals(Equals_Param18, 5));not(equals(Equals_Param19, 6))), (not(equals(Equals_Param18, 5));not(equals(Equals_Param19, 7))), (not(equals(Equals_Param18, 5));not(equals(Equals_Param19, 8))), (not(equals(Equals_Param18, 6));not(equals(Equals_Param19, 7))), (not(equals(Equals_Param18, 6));not(equals(Equals_Param19, 8))), (not(equals(Equals_Param18, 7));not(equals(Equals_Param19, 8))), (not(equals(Equals_Param19, 4));not(equals(Equals_Param18, 7))), (not(equals(Equals_Param18, 4));not(equals(Equals_Param19, 7)))), (not(equals(Equals_Param19, 1));not(equals(Equals_Param18, 4))), (not(equals(Equals_Param19, 1));not(equals(Equals_Param18, 3))), (not(equals(Equals_Param19, 1));not(equals(Equals_Param18, 2))), neighbor(Equals_Param19, Equals_Param18)), (equals(Equals_Param20, 2):-((not(equals(Equals_Param20, 3));not(equals(Equals_Param21, 4))), (not(equals(Equals_Param20, 5));not(equals(Equals_Param21, 6))), (not(equals(Equals_Param20, 5));not(equals(Equals_Param21, 7))), (not(equals(Equals_Param20, 5));not(equals(Equals_Param21, 8))), (not(equals(Equals_Param20, 6));not(equals(Equals_Param21, 7))), (not(equals(Equals_Param20, 6));not(equals(Equals_Param21, 8))), (not(equals(Equals_Param20, 7));not(equals(Equals_Param21, 8))), (not(equals(Equals_Param21, 1));not(equals(Equals_Param20, 2))), (not(equals(Equals_Param21, 1));not(equals(Equals_Param20, 3))), (not(equals(Equals_Param21, 1));not(equals(Equals_Param20, 4))), (not(equals(Equals_Param21, 2));not(equals(Equals_Param20, 3))), (not(equals(Equals_Param21, 2));not(equals(Equals_Param20, 4))), (not(equals(Equals_Param21, 3));not(equals(Equals_Param20, 4))), (not(equals(Equals_Param21, 5));not(equals(Equals_Param20, 6))), (not(equals(Equals_Param21, 5));not(equals(Equals_Param20, 7))), (not(equals(Equals_Param21, 5));not(equals(Equals_Param20, 8))), (not(equals(Equals_Param21, 6));not(equals(Equals_Param20, 7))), (not(equals(Equals_Param21, 6));not(equals(Equals_Param20, 8))), (not(equals(Equals_Param21, 7));not(equals(Equals_Param20, 8))), (not(equals(Equals_Param20, 4));not(equals(Equals_Param21, 7))), (not(equals(Equals_Param21, 4));not(equals(Equals_Param20, 7)))), (not(equals(Equals_Param20, 2));not(equals(Equals_Param21, 3))), (not(equals(Equals_Param20, 1));not(equals(Equals_Param21, 4))), (not(equals(Equals_Param20, 1));not(equals(Equals_Param21, 3))), (not(equals(Equals_Param20, 1));not(equals(Equals_Param21, 2))), neighbor(Equals_Param20, Equals_Param21)), (equals(Equals_Param22, 4):-((not(equals(Equals_Param23, 3));not(equals(Equals_Param22, 4))), (not(equals(Equals_Param23, 5));not(equals(Equals_Param22, 6))), (not(equals(Equals_Param23, 5));not(equals(Equals_Param22, 7))), (not(equals(Equals_Param23, 5));not(equals(Equals_Param22, 8))), (not(equals(Equals_Param23, 6));not(equals(Equals_Param22, 7))), (not(equals(Equals_Param23, 6));not(equals(Equals_Param22, 8))), (not(equals(Equals_Param23, 7));not(equals(Equals_Param22, 8))), (not(equals(Equals_Param22, 1));not(equals(Equals_Param23, 2))), (not(equals(Equals_Param22, 1));not(equals(Equals_Param23, 3))), (not(equals(Equals_Param22, 1));not(equals(Equals_Param23, 4))), (not(equals(Equals_Param22, 2));not(equals(Equals_Param23, 3))), (not(equals(Equals_Param22, 2));not(equals(Equals_Param23, 4))), (not(equals(Equals_Param22, 3));not(equals(Equals_Param23, 4))), (not(equals(Equals_Param22, 5));not(equals(Equals_Param23, 6))), (not(equals(Equals_Param22, 5));not(equals(Equals_Param23, 7))), (not(equals(Equals_Param22, 5));not(equals(Equals_Param23, 8))), (not(equals(Equals_Param22, 6));not(equals(Equals_Param23, 7))), (not(equals(Equals_Param22, 6));not(equals(Equals_Param23, 8))), (not(equals(Equals_Param22, 7));not(equals(Equals_Param23, 8))), (not(equals(Equals_Param23, 4));not(equals(Equals_Param22, 7))), (not(equals(Equals_Param22, 4));not(equals(Equals_Param23, 7)))), (not(equals(Equals_Param23, 2));not(equals(Equals_Param22, 3))), (not(equals(Equals_Param23, 1));not(equals(Equals_Param22, 4))), (not(equals(Equals_Param23, 1));not(equals(Equals_Param22, 3))), (not(equals(Equals_Param23, 1));not(equals(Equals_Param22, 2))), neighbor(Equals_Param23, Equals_Param22)), (equals(Equals_Param24, 3):-((not(equals(Equals_Param24, 5));not(equals(Equals_Param25, 6))), (not(equals(Equals_Param24, 5));not(equals(Equals_Param25, 7))), (not(equals(Equals_Param24, 5));not(equals(Equals_Param25, 8))), (not(equals(Equals_Param24, 6));not(equals(Equals_Param25, 7))), (not(equals(Equals_Param24, 6));not(equals(Equals_Param25, 8))), (not(equals(Equals_Param24, 7));not(equals(Equals_Param25, 8))), (not(equals(Equals_Param25, 1));not(equals(Equals_Param24, 2))), (not(equals(Equals_Param25, 1));not(equals(Equals_Param24, 3))), (not(equals(Equals_Param25, 1));not(equals(Equals_Param24, 4))), (not(equals(Equals_Param25, 2));not(equals(Equals_Param24, 3))), (not(equals(Equals_Param25, 2));not(equals(Equals_Param24, 4))), (not(equals(Equals_Param25, 3));not(equals(Equals_Param24, 4))), (not(equals(Equals_Param25, 5));not(equals(Equals_Param24, 6))), (not(equals(Equals_Param25, 5));not(equals(Equals_Param24, 7))), (not(equals(Equals_Param25, 5));not(equals(Equals_Param24, 8))), (not(equals(Equals_Param25, 6));not(equals(Equals_Param24, 7))), (not(equals(Equals_Param25, 6));not(equals(Equals_Param24, 8))), (not(equals(Equals_Param25, 7));not(equals(Equals_Param24, 8))), (not(equals(Equals_Param24, 4));not(equals(Equals_Param25, 7))), (not(equals(Equals_Param25, 4));not(equals(Equals_Param24, 7)))), (not(equals(Equals_Param24, 2));not(equals(Equals_Param25, 4))), (not(equals(Equals_Param24, 2));not(equals(Equals_Param25, 3))), (not(equals(Equals_Param24, 1));not(equals(Equals_Param25, 4))), (not(equals(Equals_Param24, 1));not(equals(Equals_Param25, 3))), (not(equals(Equals_Param24, 1));not(equals(Equals_Param25, 2))), neighbor(Equals_Param24, Equals_Param25)), (equals(Equals_Param26, 4):-((not(equals(Equals_Param27, 5));not(equals(Equals_Param26, 6))), (not(equals(Equals_Param27, 5));not(equals(Equals_Param26, 7))), (not(equals(Equals_Param27, 5));not(equals(Equals_Param26, 8))), (not(equals(Equals_Param27, 6));not(equals(Equals_Param26, 7))), (not(equals(Equals_Param27, 6));not(equals(Equals_Param26, 8))), (not(equals(Equals_Param27, 7));not(equals(Equals_Param26, 8))), (not(equals(Equals_Param26, 1));not(equals(Equals_Param27, 2))), (not(equals(Equals_Param26, 1));not(equals(Equals_Param27, 3))), (not(equals(Equals_Param26, 1));not(equals(Equals_Param27, 4))), (not(equals(Equals_Param26, 2));not(equals(Equals_Param27, 3))), (not(equals(Equals_Param26, 2));not(equals(Equals_Param27, 4))), (not(equals(Equals_Param26, 3));not(equals(Equals_Param27, 4))), (not(equals(Equals_Param26, 5));not(equals(Equals_Param27, 6))), (not(equals(Equals_Param26, 5));not(equals(Equals_Param27, 7))), (not(equals(Equals_Param26, 5));not(equals(Equals_Param27, 8))), (not(equals(Equals_Param26, 6));not(equals(Equals_Param27, 7))), (not(equals(Equals_Param26, 6));not(equals(Equals_Param27, 8))), (not(equals(Equals_Param26, 7));not(equals(Equals_Param27, 8))), (not(equals(Equals_Param27, 4));not(equals(Equals_Param26, 7))), (not(equals(Equals_Param26, 4));not(equals(Equals_Param27, 7)))), (not(equals(Equals_Param27, 2));not(equals(Equals_Param26, 4))), (not(equals(Equals_Param27, 2));not(equals(Equals_Param26, 3))), (not(equals(Equals_Param27, 1));not(equals(Equals_Param26, 4))), (not(equals(Equals_Param27, 1));not(equals(Equals_Param26, 3))), (not(equals(Equals_Param27, 1));not(equals(Equals_Param26, 2))), neighbor(Equals_Param27, Equals_Param26)), (equals(Equals_Param28, 5):-((not(equals(Equals_Param28, 5));not(equals(Equals_Param29, 7))), (not(equals(Equals_Param28, 5));not(equals(Equals_Param29, 8))), (not(equals(Equals_Param28, 6));not(equals(Equals_Param29, 7))), (not(equals(Equals_Param28, 6));not(equals(Equals_Param29, 8))), (not(equals(Equals_Param28, 7));not(equals(Equals_Param29, 8))), (not(equals(Equals_Param29, 1));not(equals(Equals_Param28, 2))), (not(equals(Equals_Param29, 1));not(equals(Equals_Param28, 3))), (not(equals(Equals_Param29, 1));not(equals(Equals_Param28, 4))), (not(equals(Equals_Param29, 2));not(equals(Equals_Param28, 3))), (not(equals(Equals_Param29, 2));not(equals(Equals_Param28, 4))), (not(equals(Equals_Param29, 3));not(equals(Equals_Param28, 4))), (not(equals(Equals_Param29, 5));not(equals(Equals_Param28, 6))), (not(equals(Equals_Param29, 5));not(equals(Equals_Param28, 7))), (not(equals(Equals_Param29, 5));not(equals(Equals_Param28, 8))), (not(equals(Equals_Param29, 6));not(equals(Equals_Param28, 7))), (not(equals(Equals_Param29, 6));not(equals(Equals_Param28, 8))), (not(equals(Equals_Param29, 7));not(equals(Equals_Param28, 8))), (not(equals(Equals_Param28, 4));not(equals(Equals_Param29, 7))), (not(equals(Equals_Param29, 4));not(equals(Equals_Param28, 7)))), (not(equals(Equals_Param28, 3));not(equals(Equals_Param29, 4))), (not(equals(Equals_Param28, 2));not(equals(Equals_Param29, 4))), (not(equals(Equals_Param28, 2));not(equals(Equals_Param29, 3))), (not(equals(Equals_Param28, 1));not(equals(Equals_Param29, 4))), (not(equals(Equals_Param28, 1));not(equals(Equals_Param29, 3))), (not(equals(Equals_Param28, 1));not(equals(Equals_Param29, 2))), neighbor(Equals_Param28, Equals_Param29)), (equals(Equals_Param30, 6):-((not(equals(Equals_Param31, 5));not(equals(Equals_Param30, 7))), (not(equals(Equals_Param31, 5));not(equals(Equals_Param30, 8))), (not(equals(Equals_Param31, 6));not(equals(Equals_Param30, 7))), (not(equals(Equals_Param31, 6));not(equals(Equals_Param30, 8))), (not(equals(Equals_Param31, 7));not(equals(Equals_Param30, 8))), (not(equals(Equals_Param30, 1));not(equals(Equals_Param31, 2))), (not(equals(Equals_Param30, 1));not(equals(Equals_Param31, 3))), (not(equals(Equals_Param30, 1));not(equals(Equals_Param31, 4))), (not(equals(Equals_Param30, 2));not(equals(Equals_Param31, 3))), (not(equals(Equals_Param30, 2));not(equals(Equals_Param31, 4))), (not(equals(Equals_Param30, 3));not(equals(Equals_Param31, 4))), (not(equals(Equals_Param30, 5));not(equals(Equals_Param31, 6))), (not(equals(Equals_Param30, 5));not(equals(Equals_Param31, 7))), (not(equals(Equals_Param30, 5));not(equals(Equals_Param31, 8))), (not(equals(Equals_Param30, 6));not(equals(Equals_Param31, 7))), (not(equals(Equals_Param30, 6));not(equals(Equals_Param31, 8))), (not(equals(Equals_Param30, 7));not(equals(Equals_Param31, 8))), (not(equals(Equals_Param31, 4));not(equals(Equals_Param30, 7))), (not(equals(Equals_Param30, 4));not(equals(Equals_Param31, 7)))), (not(equals(Equals_Param31, 3));not(equals(Equals_Param30, 4))), (not(equals(Equals_Param31, 2));not(equals(Equals_Param30, 4))), (not(equals(Equals_Param31, 2));not(equals(Equals_Param30, 3))), (not(equals(Equals_Param31, 1));not(equals(Equals_Param30, 4))), (not(equals(Equals_Param31, 1));not(equals(Equals_Param30, 3))), (not(equals(Equals_Param31, 1));not(equals(Equals_Param30, 2))), neighbor(Equals_Param31, Equals_Param30)), (equals(Equals_Param32, 5):-((not(equals(Equals_Param32, 5));not(equals(Equals_Param33, 8))), (not(equals(Equals_Param32, 6));not(equals(Equals_Param33, 7))), (not(equals(Equals_Param32, 6));not(equals(Equals_Param33, 8))), (not(equals(Equals_Param32, 7));not(equals(Equals_Param33, 8))), (not(equals(Equals_Param33, 1));not(equals(Equals_Param32, 2))), (not(equals(Equals_Param33, 1));not(equals(Equals_Param32, 3))), (not(equals(Equals_Param33, 1));not(equals(Equals_Param32, 4))), (not(equals(Equals_Param33, 2));not(equals(Equals_Param32, 3))), (not(equals(Equals_Param33, 2));not(equals(Equals_Param32, 4))), (not(equals(Equals_Param33, 3));not(equals(Equals_Param32, 4))), (not(equals(Equals_Param33, 5));not(equals(Equals_Param32, 6))), (not(equals(Equals_Param33, 5));not(equals(Equals_Param32, 7))), (not(equals(Equals_Param33, 5));not(equals(Equals_Param32, 8))), (not(equals(Equals_Param33, 6));not(equals(Equals_Param32, 7))), (not(equals(Equals_Param33, 6));not(equals(Equals_Param32, 8))), (not(equals(Equals_Param33, 7));not(equals(Equals_Param32, 8))), (not(equals(Equals_Param32, 4));not(equals(Equals_Param33, 7))), (not(equals(Equals_Param33, 4));not(equals(Equals_Param32, 7)))), (not(equals(Equals_Param32, 5));not(equals(Equals_Param33, 6))), (not(equals(Equals_Param32, 3));not(equals(Equals_Param33, 4))), (not(equals(Equals_Param32, 2));not(equals(Equals_Param33, 4))), (not(equals(Equals_Param32, 2));not(equals(Equals_Param33, 3))), (not(equals(Equals_Param32, 1));not(equals(Equals_Param33, 4))), (not(equals(Equals_Param32, 1));not(equals(Equals_Param33, 3))), (not(equals(Equals_Param32, 1));not(equals(Equals_Param33, 2))), neighbor(Equals_Param32, Equals_Param33)), (equals(Equals_Param34, 7):-((not(equals(Equals_Param35, 5));not(equals(Equals_Param34, 8))), (not(equals(Equals_Param35, 6));not(equals(Equals_Param34, 7))), (not(equals(Equals_Param35, 6));not(equals(Equals_Param34, 8))), (not(equals(Equals_Param35, 7));not(equals(Equals_Param34, 8))), (not(equals(Equals_Param34, 1));not(equals(Equals_Param35, 2))), (not(equals(Equals_Param34, 1));not(equals(Equals_Param35, 3))), (not(equals(Equals_Param34, 1));not(equals(Equals_Param35, 4))), (not(equals(Equals_Param34, 2));not(equals(Equals_Param35, 3))), (not(equals(Equals_Param34, 2));not(equals(Equals_Param35, 4))), (not(equals(Equals_Param34, 3));not(equals(Equals_Param35, 4))), (not(equals(Equals_Param34, 5));not(equals(Equals_Param35, 6))), (not(equals(Equals_Param34, 5));not(equals(Equals_Param35, 7))), (not(equals(Equals_Param34, 5));not(equals(Equals_Param35, 8))), (not(equals(Equals_Param34, 6));not(equals(Equals_Param35, 7))), (not(equals(Equals_Param34, 6));not(equals(Equals_Param35, 8))), (not(equals(Equals_Param34, 7));not(equals(Equals_Param35, 8))), (not(equals(Equals_Param35, 4));not(equals(Equals_Param34, 7))), (not(equals(Equals_Param34, 4));not(equals(Equals_Param35, 7)))), (not(equals(Equals_Param35, 5));not(equals(Equals_Param34, 6))), (not(equals(Equals_Param35, 3));not(equals(Equals_Param34, 4))), (not(equals(Equals_Param35, 2));not(equals(Equals_Param34, 4))), (not(equals(Equals_Param35, 2));not(equals(Equals_Param34, 3))), (not(equals(Equals_Param35, 1));not(equals(Equals_Param34, 4))), (not(equals(Equals_Param35, 1));not(equals(Equals_Param34, 3))), (not(equals(Equals_Param35, 1));not(equals(Equals_Param34, 2))), neighbor(Equals_Param35, Equals_Param34)), (equals(Equals_Param36, 5):-((not(equals(Equals_Param36, 6));not(equals(Equals_Param37, 7))), (not(equals(Equals_Param36, 6));not(equals(Equals_Param37, 8))), (not(equals(Equals_Param36, 7));not(equals(Equals_Param37, 8))), (not(equals(Equals_Param37, 1));not(equals(Equals_Param36, 2))), (not(equals(Equals_Param37, 1));not(equals(Equals_Param36, 3))), (not(equals(Equals_Param37, 1));not(equals(Equals_Param36, 4))), (not(equals(Equals_Param37, 2));not(equals(Equals_Param36, 3))), (not(equals(Equals_Param37, 2));not(equals(Equals_Param36, 4))), (not(equals(Equals_Param37, 3));not(equals(Equals_Param36, 4))), (not(equals(Equals_Param37, 5));not(equals(Equals_Param36, 6))), (not(equals(Equals_Param37, 5));not(equals(Equals_Param36, 7))), (not(equals(Equals_Param37, 5));not(equals(Equals_Param36, 8))), (not(equals(Equals_Param37, 6));not(equals(Equals_Param36, 7))), (not(equals(Equals_Param37, 6));not(equals(Equals_Param36, 8))), (not(equals(Equals_Param37, 7));not(equals(Equals_Param36, 8))), (not(equals(Equals_Param36, 4));not(equals(Equals_Param37, 7))), (not(equals(Equals_Param37, 4));not(equals(Equals_Param36, 7)))), (not(equals(Equals_Param36, 5));not(equals(Equals_Param37, 7))), (not(equals(Equals_Param36, 5));not(equals(Equals_Param37, 6))), (not(equals(Equals_Param36, 3));not(equals(Equals_Param37, 4))), (not(equals(Equals_Param36, 2));not(equals(Equals_Param37, 4))), (not(equals(Equals_Param36, 2));not(equals(Equals_Param37, 3))), (not(equals(Equals_Param36, 1));not(equals(Equals_Param37, 4))), (not(equals(Equals_Param36, 1));not(equals(Equals_Param37, 3))), (not(equals(Equals_Param36, 1));not(equals(Equals_Param37, 2))), neighbor(Equals_Param36, Equals_Param37)), (equals(Equals_Param38, 8):-((not(equals(Equals_Param39, 6));not(equals(Equals_Param38, 7))), (not(equals(Equals_Param39, 6));not(equals(Equals_Param38, 8))), (not(equals(Equals_Param39, 7));not(equals(Equals_Param38, 8))), (not(equals(Equals_Param38, 1));not(equals(Equals_Param39, 2))), (not(equals(Equals_Param38, 1));not(equals(Equals_Param39, 3))), (not(equals(Equals_Param38, 1));not(equals(Equals_Param39, 4))), (not(equals(Equals_Param38, 2));not(equals(Equals_Param39, 3))), (not(equals(Equals_Param38, 2));not(equals(Equals_Param39, 4))), (not(equals(Equals_Param38, 3));not(equals(Equals_Param39, 4))), (not(equals(Equals_Param38, 5));not(equals(Equals_Param39, 6))), (not(equals(Equals_Param38, 5));not(equals(Equals_Param39, 7))), (not(equals(Equals_Param38, 5));not(equals(Equals_Param39, 8))), (not(equals(Equals_Param38, 6));not(equals(Equals_Param39, 7))), (not(equals(Equals_Param38, 6));not(equals(Equals_Param39, 8))), (not(equals(Equals_Param38, 7));not(equals(Equals_Param39, 8))), (not(equals(Equals_Param39, 4));not(equals(Equals_Param38, 7))), (not(equals(Equals_Param38, 4));not(equals(Equals_Param39, 7)))), (not(equals(Equals_Param39, 5));not(equals(Equals_Param38, 7))), (not(equals(Equals_Param39, 5));not(equals(Equals_Param38, 6))), (not(equals(Equals_Param39, 3));not(equals(Equals_Param38, 4))), (not(equals(Equals_Param39, 2));not(equals(Equals_Param38, 4))), (not(equals(Equals_Param39, 2));not(equals(Equals_Param38, 3))), (not(equals(Equals_Param39, 1));not(equals(Equals_Param38, 4))), (not(equals(Equals_Param39, 1));not(equals(Equals_Param38, 3))), (not(equals(Equals_Param39, 1));not(equals(Equals_Param38, 2))), neighbor(Equals_Param39, Equals_Param38)), (equals(Equals_Param40, 6):-((not(equals(Equals_Param40, 6));not(equals(Equals_Param41, 8))), (not(equals(Equals_Param40, 7));not(equals(Equals_Param41, 8))), (not(equals(Equals_Param41, 1));not(equals(Equals_Param40, 2))), (not(equals(Equals_Param41, 1));not(equals(Equals_Param40, 3))), (not(equals(Equals_Param41, 1));not(equals(Equals_Param40, 4))), (not(equals(Equals_Param41, 2));not(equals(Equals_Param40, 3))), (not(equals(Equals_Param41, 2));not(equals(Equals_Param40, 4))), (not(equals(Equals_Param41, 3));not(equals(Equals_Param40, 4))), (not(equals(Equals_Param41, 5));not(equals(Equals_Param40, 6))), (not(equals(Equals_Param41, 5));not(equals(Equals_Param40, 7))), (not(equals(Equals_Param41, 5));not(equals(Equals_Param40, 8))), (not(equals(Equals_Param41, 6));not(equals(Equals_Param40, 7))), (not(equals(Equals_Param41, 6));not(equals(Equals_Param40, 8))), (not(equals(Equals_Param41, 7));not(equals(Equals_Param40, 8))), (not(equals(Equals_Param40, 4));not(equals(Equals_Param41, 7))), (not(equals(Equals_Param41, 4));not(equals(Equals_Param40, 7)))), (not(equals(Equals_Param40, 5));not(equals(Equals_Param41, 8))), (not(equals(Equals_Param40, 5));not(equals(Equals_Param41, 7))), (not(equals(Equals_Param40, 5));not(equals(Equals_Param41, 6))), (not(equals(Equals_Param40, 3));not(equals(Equals_Param41, 4))), (not(equals(Equals_Param40, 2));not(equals(Equals_Param41, 4))), (not(equals(Equals_Param40, 2));not(equals(Equals_Param41, 3))), (not(equals(Equals_Param40, 1));not(equals(Equals_Param41, 4))), (not(equals(Equals_Param40, 1));not(equals(Equals_Param41, 3))), (not(equals(Equals_Param40, 1));not(equals(Equals_Param41, 2))), neighbor(Equals_Param40, Equals_Param41)), (equals(Equals_Param42, 7):-((not(equals(Equals_Param43, 6));not(equals(Equals_Param42, 8))), (not(equals(Equals_Param43, 7));not(equals(Equals_Param42, 8))), (not(equals(Equals_Param42, 1));not(equals(Equals_Param43, 2))), (not(equals(Equals_Param42, 1));not(equals(Equals_Param43, 3))), (not(equals(Equals_Param42, 1));not(equals(Equals_Param43, 4))), (not(equals(Equals_Param42, 2));not(equals(Equals_Param43, 3))), (not(equals(Equals_Param42, 2));not(equals(Equals_Param43, 4))), (not(equals(Equals_Param42, 3));not(equals(Equals_Param43, 4))), (not(equals(Equals_Param42, 5));not(equals(Equals_Param43, 6))), (not(equals(Equals_Param42, 5));not(equals(Equals_Param43, 7))), (not(equals(Equals_Param42, 5));not(equals(Equals_Param43, 8))), (not(equals(Equals_Param42, 6));not(equals(Equals_Param43, 7))), (not(equals(Equals_Param42, 6));not(equals(Equals_Param43, 8))), (not(equals(Equals_Param42, 7));not(equals(Equals_Param43, 8))), (not(equals(Equals_Param43, 4));not(equals(Equals_Param42, 7))), (not(equals(Equals_Param42, 4));not(equals(Equals_Param43, 7)))), (not(equals(Equals_Param43, 5));not(equals(Equals_Param42, 8))), (not(equals(Equals_Param43, 5));not(equals(Equals_Param42, 7))), (not(equals(Equals_Param43, 5));not(equals(Equals_Param42, 6))), (not(equals(Equals_Param43, 3));not(equals(Equals_Param42, 4))), (not(equals(Equals_Param43, 2));not(equals(Equals_Param42, 4))), (not(equals(Equals_Param43, 2));not(equals(Equals_Param42, 3))), (not(equals(Equals_Param43, 1));not(equals(Equals_Param42, 4))), (not(equals(Equals_Param43, 1));not(equals(Equals_Param42, 3))), (not(equals(Equals_Param43, 1));not(equals(Equals_Param42, 2))), neighbor(Equals_Param43, Equals_Param42)), (equals(Equals_Param44, 6):-((not(equals(Equals_Param44, 7));not(equals(Equals_Param45, 8))), (not(equals(Equals_Param45, 1));not(equals(Equals_Param44, 2))), (not(equals(Equals_Param45, 1));not(equals(Equals_Param44, 3))), (not(equals(Equals_Param45, 1));not(equals(Equals_Param44, 4))), (not(equals(Equals_Param45, 2));not(equals(Equals_Param44, 3))), (not(equals(Equals_Param45, 2));not(equals(Equals_Param44, 4))), (not(equals(Equals_Param45, 3));not(equals(Equals_Param44, 4))), (not(equals(Equals_Param45, 5));not(equals(Equals_Param44, 6))), (not(equals(Equals_Param45, 5));not(equals(Equals_Param44, 7))), (not(equals(Equals_Param45, 5));not(equals(Equals_Param44, 8))), (not(equals(Equals_Param45, 6));not(equals(Equals_Param44, 7))), (not(equals(Equals_Param45, 6));not(equals(Equals_Param44, 8))), (not(equals(Equals_Param45, 7));not(equals(Equals_Param44, 8))), (not(equals(Equals_Param44, 4));not(equals(Equals_Param45, 7))), (not(equals(Equals_Param45, 4));not(equals(Equals_Param44, 7)))), (not(equals(Equals_Param44, 6));not(equals(Equals_Param45, 7))), (not(equals(Equals_Param44, 5));not(equals(Equals_Param45, 8))), (not(equals(Equals_Param44, 5));not(equals(Equals_Param45, 7))), (not(equals(Equals_Param44, 5));not(equals(Equals_Param45, 6))), (not(equals(Equals_Param44, 3));not(equals(Equals_Param45, 4))), (not(equals(Equals_Param44, 2));not(equals(Equals_Param45, 4))), (not(equals(Equals_Param44, 2));not(equals(Equals_Param45, 3))), (not(equals(Equals_Param44, 1));not(equals(Equals_Param45, 4))), (not(equals(Equals_Param44, 1));not(equals(Equals_Param45, 3))), (not(equals(Equals_Param44, 1));not(equals(Equals_Param45, 2))), neighbor(Equals_Param44, Equals_Param45)), (equals(Equals_Param46, 8):-((not(equals(Equals_Param47, 7));not(equals(Equals_Param46, 8))), (not(equals(Equals_Param46, 1));not(equals(Equals_Param47, 2))), (not(equals(Equals_Param46, 1));not(equals(Equals_Param47, 3))), (not(equals(Equals_Param46, 1));not(equals(Equals_Param47, 4))), (not(equals(Equals_Param46, 2));not(equals(Equals_Param47, 3))), (not(equals(Equals_Param46, 2));not(equals(Equals_Param47, 4))), (not(equals(Equals_Param46, 3));not(equals(Equals_Param47, 4))), (not(equals(Equals_Param46, 5));not(equals(Equals_Param47, 6))), (not(equals(Equals_Param46, 5));not(equals(Equals_Param47, 7))), (not(equals(Equals_Param46, 5));not(equals(Equals_Param47, 8))), (not(equals(Equals_Param46, 6));not(equals(Equals_Param47, 7))), (not(equals(Equals_Param46, 6));not(equals(Equals_Param47, 8))), (not(equals(Equals_Param46, 7));not(equals(Equals_Param47, 8))), (not(equals(Equals_Param47, 4));not(equals(Equals_Param46, 7))), (not(equals(Equals_Param46, 4));not(equals(Equals_Param47, 7)))), (not(equals(Equals_Param47, 6));not(equals(Equals_Param46, 7))), (not(equals(Equals_Param47, 5));not(equals(Equals_Param46, 8))), (not(equals(Equals_Param47, 5));not(equals(Equals_Param46, 7))), (not(equals(Equals_Param47, 5));not(equals(Equals_Param46, 6))), (not(equals(Equals_Param47, 3));not(equals(Equals_Param46, 4))), (not(equals(Equals_Param47, 2));not(equals(Equals_Param46, 4))), (not(equals(Equals_Param47, 2));not(equals(Equals_Param46, 3))), (not(equals(Equals_Param47, 1));not(equals(Equals_Param46, 4))), (not(equals(Equals_Param47, 1));not(equals(Equals_Param46, 3))), (not(equals(Equals_Param47, 1));not(equals(Equals_Param46, 2))), neighbor(Equals_Param47, Equals_Param46)), (equals(Equals_Param48, 7):-((not(equals(Equals_Param49, 1));not(equals(Equals_Param48, 2))), (not(equals(Equals_Param49, 1));not(equals(Equals_Param48, 3))), (not(equals(Equals_Param49, 1));not(equals(Equals_Param48, 4))), (not(equals(Equals_Param49, 2));not(equals(Equals_Param48, 3))), (not(equals(Equals_Param49, 2));not(equals(Equals_Param48, 4))), (not(equals(Equals_Param49, 3));not(equals(Equals_Param48, 4))), (not(equals(Equals_Param49, 5));not(equals(Equals_Param48, 6))), (not(equals(Equals_Param49, 5));not(equals(Equals_Param48, 7))), (not(equals(Equals_Param49, 5));not(equals(Equals_Param48, 8))), (not(equals(Equals_Param49, 6));not(equals(Equals_Param48, 7))), (not(equals(Equals_Param49, 6));not(equals(Equals_Param48, 8))), (not(equals(Equals_Param49, 7));not(equals(Equals_Param48, 8))), (not(equals(Equals_Param48, 4));not(equals(Equals_Param49, 7))), (not(equals(Equals_Param49, 4));not(equals(Equals_Param48, 7)))), (not(equals(Equals_Param48, 6));not(equals(Equals_Param49, 8))), (not(equals(Equals_Param48, 6));not(equals(Equals_Param49, 7))), (not(equals(Equals_Param48, 5));not(equals(Equals_Param49, 8))), (not(equals(Equals_Param48, 5));not(equals(Equals_Param49, 7))), (not(equals(Equals_Param48, 5));not(equals(Equals_Param49, 6))), (not(equals(Equals_Param48, 3));not(equals(Equals_Param49, 4))), (not(equals(Equals_Param48, 2));not(equals(Equals_Param49, 4))), (not(equals(Equals_Param48, 2));not(equals(Equals_Param49, 3))), (not(equals(Equals_Param48, 1));not(equals(Equals_Param49, 4))), (not(equals(Equals_Param48, 1));not(equals(Equals_Param49, 3))), (not(equals(Equals_Param48, 1));not(equals(Equals_Param49, 2))), neighbor(Equals_Param48, Equals_Param49)), (equals(Equals_Param50, 8):-((not(equals(Equals_Param50, 1));not(equals(Equals_Param51, 2))), (not(equals(Equals_Param50, 1));not(equals(Equals_Param51, 3))), (not(equals(Equals_Param50, 1));not(equals(Equals_Param51, 4))), (not(equals(Equals_Param50, 2));not(equals(Equals_Param51, 3))), (not(equals(Equals_Param50, 2));not(equals(Equals_Param51, 4))), (not(equals(Equals_Param50, 3));not(equals(Equals_Param51, 4))), (not(equals(Equals_Param50, 5));not(equals(Equals_Param51, 6))), (not(equals(Equals_Param50, 5));not(equals(Equals_Param51, 7))), (not(equals(Equals_Param50, 5));not(equals(Equals_Param51, 8))), (not(equals(Equals_Param50, 6));not(equals(Equals_Param51, 7))), (not(equals(Equals_Param50, 6));not(equals(Equals_Param51, 8))), (not(equals(Equals_Param50, 7));not(equals(Equals_Param51, 8))), (not(equals(Equals_Param51, 4));not(equals(Equals_Param50, 7))), (not(equals(Equals_Param50, 4));not(equals(Equals_Param51, 7)))), (not(equals(Equals_Param51, 6));not(equals(Equals_Param50, 8))), (not(equals(Equals_Param51, 6));not(equals(Equals_Param50, 7))), (not(equals(Equals_Param51, 5));not(equals(Equals_Param50, 8))), (not(equals(Equals_Param51, 5));not(equals(Equals_Param50, 7))), (not(equals(Equals_Param51, 5));not(equals(Equals_Param50, 6))), (not(equals(Equals_Param51, 3));not(equals(Equals_Param50, 4))), (not(equals(Equals_Param51, 2));not(equals(Equals_Param50, 4))), (not(equals(Equals_Param51, 2));not(equals(Equals_Param50, 3))), (not(equals(Equals_Param51, 1));not(equals(Equals_Param50, 4))), (not(equals(Equals_Param51, 1));not(equals(Equals_Param50, 3))), (not(equals(Equals_Param51, 1));not(equals(Equals_Param50, 2))), neighbor(Equals_Param51, Equals_Param50)), (equals(Equals_Param52, 1):-((not(equals(Equals_Param52, 1));not(equals(Equals_Param53, 3))), (not(equals(Equals_Param52, 1));not(equals(Equals_Param53, 4))), (not(equals(Equals_Param52, 2));not(equals(Equals_Param53, 3))), (not(equals(Equals_Param52, 2));not(equals(Equals_Param53, 4))), (not(equals(Equals_Param52, 3));not(equals(Equals_Param53, 4))), (not(equals(Equals_Param52, 5));not(equals(Equals_Param53, 6))), (not(equals(Equals_Param52, 5));not(equals(Equals_Param53, 7))), (not(equals(Equals_Param52, 5));not(equals(Equals_Param53, 8))), (not(equals(Equals_Param52, 6));not(equals(Equals_Param53, 7))), (not(equals(Equals_Param52, 6));not(equals(Equals_Param53, 8))), (not(equals(Equals_Param52, 7));not(equals(Equals_Param53, 8))), (not(equals(Equals_Param53, 4));not(equals(Equals_Param52, 7))), (not(equals(Equals_Param52, 4));not(equals(Equals_Param53, 7)))), (not(equals(Equals_Param53, 7));not(equals(Equals_Param52, 8))), (not(equals(Equals_Param53, 6));not(equals(Equals_Param52, 8))), (not(equals(Equals_Param53, 6));not(equals(Equals_Param52, 7))), (not(equals(Equals_Param53, 5));not(equals(Equals_Param52, 8))), (not(equals(Equals_Param53, 5));not(equals(Equals_Param52, 7))), (not(equals(Equals_Param53, 5));not(equals(Equals_Param52, 6))), (not(equals(Equals_Param53, 3));not(equals(Equals_Param52, 4))), (not(equals(Equals_Param53, 2));not(equals(Equals_Param52, 4))), (not(equals(Equals_Param53, 2));not(equals(Equals_Param52, 3))), (not(equals(Equals_Param53, 1));not(equals(Equals_Param52, 4))), (not(equals(Equals_Param53, 1));not(equals(Equals_Param52, 3))), (not(equals(Equals_Param53, 1));not(equals(Equals_Param52, 2))), neighbor(Equals_Param53, Equals_Param52)), (equals(Equals_Param54, 2):-((not(equals(Equals_Param55, 1));not(equals(Equals_Param54, 3))), (not(equals(Equals_Param55, 1));not(equals(Equals_Param54, 4))), (not(equals(Equals_Param55, 2));not(equals(Equals_Param54, 3))), (not(equals(Equals_Param55, 2));not(equals(Equals_Param54, 4))), (not(equals(Equals_Param55, 3));not(equals(Equals_Param54, 4))), (not(equals(Equals_Param55, 5));not(equals(Equals_Param54, 6))), (not(equals(Equals_Param55, 5));not(equals(Equals_Param54, 7))), (not(equals(Equals_Param55, 5));not(equals(Equals_Param54, 8))), (not(equals(Equals_Param55, 6));not(equals(Equals_Param54, 7))), (not(equals(Equals_Param55, 6));not(equals(Equals_Param54, 8))), (not(equals(Equals_Param55, 7));not(equals(Equals_Param54, 8))), (not(equals(Equals_Param54, 4));not(equals(Equals_Param55, 7))), (not(equals(Equals_Param55, 4));not(equals(Equals_Param54, 7)))), (not(equals(Equals_Param54, 7));not(equals(Equals_Param55, 8))), (not(equals(Equals_Param54, 6));not(equals(Equals_Param55, 8))), (not(equals(Equals_Param54, 6));not(equals(Equals_Param55, 7))), (not(equals(Equals_Param54, 5));not(equals(Equals_Param55, 8))), (not(equals(Equals_Param54, 5));not(equals(Equals_Param55, 7))), (not(equals(Equals_Param54, 5));not(equals(Equals_Param55, 6))), (not(equals(Equals_Param54, 3));not(equals(Equals_Param55, 4))), (not(equals(Equals_Param54, 2));not(equals(Equals_Param55, 4))), (not(equals(Equals_Param54, 2));not(equals(Equals_Param55, 3))), (not(equals(Equals_Param54, 1));not(equals(Equals_Param55, 4))), (not(equals(Equals_Param54, 1));not(equals(Equals_Param55, 3))), (not(equals(Equals_Param54, 1));not(equals(Equals_Param55, 2))), neighbor(Equals_Param54, Equals_Param55)), (equals(Equals_Param56, 1):-((not(equals(Equals_Param56, 1));not(equals(Equals_Param57, 4))), (not(equals(Equals_Param56, 2));not(equals(Equals_Param57, 3))), (not(equals(Equals_Param56, 2));not(equals(Equals_Param57, 4))), (not(equals(Equals_Param56, 3));not(equals(Equals_Param57, 4))), (not(equals(Equals_Param56, 5));not(equals(Equals_Param57, 6))), (not(equals(Equals_Param56, 5));not(equals(Equals_Param57, 7))), (not(equals(Equals_Param56, 5));not(equals(Equals_Param57, 8))), (not(equals(Equals_Param56, 6));not(equals(Equals_Param57, 7))), (not(equals(Equals_Param56, 6));not(equals(Equals_Param57, 8))), (not(equals(Equals_Param56, 7));not(equals(Equals_Param57, 8))), (not(equals(Equals_Param57, 4));not(equals(Equals_Param56, 7))), (not(equals(Equals_Param56, 4));not(equals(Equals_Param57, 7)))), (not(equals(Equals_Param56, 1));not(equals(Equals_Param57, 2))), (not(equals(Equals_Param57, 7));not(equals(Equals_Param56, 8))), (not(equals(Equals_Param57, 6));not(equals(Equals_Param56, 8))), (not(equals(Equals_Param57, 6));not(equals(Equals_Param56, 7))), (not(equals(Equals_Param57, 5));not(equals(Equals_Param56, 8))), (not(equals(Equals_Param57, 5));not(equals(Equals_Param56, 7))), (not(equals(Equals_Param57, 5));not(equals(Equals_Param56, 6))), (not(equals(Equals_Param57, 3));not(equals(Equals_Param56, 4))), (not(equals(Equals_Param57, 2));not(equals(Equals_Param56, 4))), (not(equals(Equals_Param57, 2));not(equals(Equals_Param56, 3))), (not(equals(Equals_Param57, 1));not(equals(Equals_Param56, 4))), (not(equals(Equals_Param57, 1));not(equals(Equals_Param56, 3))), (not(equals(Equals_Param57, 1));not(equals(Equals_Param56, 2))), neighbor(Equals_Param57, Equals_Param56)), (equals(Equals_Param58, 3):-((not(equals(Equals_Param59, 1));not(equals(Equals_Param58, 4))), (not(equals(Equals_Param59, 2));not(equals(Equals_Param58, 3))), (not(equals(Equals_Param59, 2));not(equals(Equals_Param58, 4))), (not(equals(Equals_Param59, 3));not(equals(Equals_Param58, 4))), (not(equals(Equals_Param59, 5));not(equals(Equals_Param58, 6))), (not(equals(Equals_Param59, 5));not(equals(Equals_Param58, 7))), (not(equals(Equals_Param59, 5));not(equals(Equals_Param58, 8))), (not(equals(Equals_Param59, 6));not(equals(Equals_Param58, 7))), (not(equals(Equals_Param59, 6));not(equals(Equals_Param58, 8))), (not(equals(Equals_Param59, 7));not(equals(Equals_Param58, 8))), (not(equals(Equals_Param58, 4));not(equals(Equals_Param59, 7))), (not(equals(Equals_Param59, 4));not(equals(Equals_Param58, 7)))), (not(equals(Equals_Param59, 1));not(equals(Equals_Param58, 2))), (not(equals(Equals_Param58, 7));not(equals(Equals_Param59, 8))), (not(equals(Equals_Param58, 6));not(equals(Equals_Param59, 8))), (not(equals(Equals_Param58, 6));not(equals(Equals_Param59, 7))), (not(equals(Equals_Param58, 5));not(equals(Equals_Param59, 8))), (not(equals(Equals_Param58, 5));not(equals(Equals_Param59, 7))), (not(equals(Equals_Param58, 5));not(equals(Equals_Param59, 6))), (not(equals(Equals_Param58, 3));not(equals(Equals_Param59, 4))), (not(equals(Equals_Param58, 2));not(equals(Equals_Param59, 4))), (not(equals(Equals_Param58, 2));not(equals(Equals_Param59, 3))), (not(equals(Equals_Param58, 1));not(equals(Equals_Param59, 4))), (not(equals(Equals_Param58, 1));not(equals(Equals_Param59, 3))), (not(equals(Equals_Param58, 1));not(equals(Equals_Param59, 2))), neighbor(Equals_Param58, Equals_Param59)), (equals(Equals_Param60, 1):-((not(equals(Equals_Param60, 2));not(equals(Equals_Param61, 3))), (not(equals(Equals_Param60, 2));not(equals(Equals_Param61, 4))), (not(equals(Equals_Param60, 3));not(equals(Equals_Param61, 4))), (not(equals(Equals_Param60, 5));not(equals(Equals_Param61, 6))), (not(equals(Equals_Param60, 5));not(equals(Equals_Param61, 7))), (not(equals(Equals_Param60, 5));not(equals(Equals_Param61, 8))), (not(equals(Equals_Param60, 6));not(equals(Equals_Param61, 7))), (not(equals(Equals_Param60, 6));not(equals(Equals_Param61, 8))), (not(equals(Equals_Param60, 7));not(equals(Equals_Param61, 8))), (not(equals(Equals_Param61, 4));not(equals(Equals_Param60, 7))), (not(equals(Equals_Param60, 4));not(equals(Equals_Param61, 7)))), (not(equals(Equals_Param60, 1));not(equals(Equals_Param61, 3))), (not(equals(Equals_Param60, 1));not(equals(Equals_Param61, 2))), (not(equals(Equals_Param61, 7));not(equals(Equals_Param60, 8))), (not(equals(Equals_Param61, 6));not(equals(Equals_Param60, 8))), (not(equals(Equals_Param61, 6));not(equals(Equals_Param60, 7))), (not(equals(Equals_Param61, 5));not(equals(Equals_Param60, 8))), (not(equals(Equals_Param61, 5));not(equals(Equals_Param60, 7))), (not(equals(Equals_Param61, 5));not(equals(Equals_Param60, 6))), (not(equals(Equals_Param61, 3));not(equals(Equals_Param60, 4))), (not(equals(Equals_Param61, 2));not(equals(Equals_Param60, 4))), (not(equals(Equals_Param61, 2));not(equals(Equals_Param60, 3))), (not(equals(Equals_Param61, 1));not(equals(Equals_Param60, 4))), (not(equals(Equals_Param61, 1));not(equals(Equals_Param60, 3))), (not(equals(Equals_Param61, 1));not(equals(Equals_Param60, 2))), neighbor(Equals_Param61, Equals_Param60)), (equals(Equals_Param62, 4):-((not(equals(Equals_Param63, 2));not(equals(Equals_Param62, 3))), (not(equals(Equals_Param63, 2));not(equals(Equals_Param62, 4))), (not(equals(Equals_Param63, 3));not(equals(Equals_Param62, 4))), (not(equals(Equals_Param63, 5));not(equals(Equals_Param62, 6))), (not(equals(Equals_Param63, 5));not(equals(Equals_Param62, 7))), (not(equals(Equals_Param63, 5));not(equals(Equals_Param62, 8))), (not(equals(Equals_Param63, 6));not(equals(Equals_Param62, 7))), (not(equals(Equals_Param63, 6));not(equals(Equals_Param62, 8))), (not(equals(Equals_Param63, 7));not(equals(Equals_Param62, 8))), (not(equals(Equals_Param62, 4));not(equals(Equals_Param63, 7))), (not(equals(Equals_Param63, 4));not(equals(Equals_Param62, 7)))), (not(equals(Equals_Param63, 1));not(equals(Equals_Param62, 3))), (not(equals(Equals_Param63, 1));not(equals(Equals_Param62, 2))), (not(equals(Equals_Param62, 7));not(equals(Equals_Param63, 8))), (not(equals(Equals_Param62, 6));not(equals(Equals_Param63, 8))), (not(equals(Equals_Param62, 6));not(equals(Equals_Param63, 7))), (not(equals(Equals_Param62, 5));not(equals(Equals_Param63, 8))), (not(equals(Equals_Param62, 5));not(equals(Equals_Param63, 7))), (not(equals(Equals_Param62, 5));not(equals(Equals_Param63, 6))), (not(equals(Equals_Param62, 3));not(equals(Equals_Param63, 4))), (not(equals(Equals_Param62, 2));not(equals(Equals_Param63, 4))), (not(equals(Equals_Param62, 2));not(equals(Equals_Param63, 3))), (not(equals(Equals_Param62, 1));not(equals(Equals_Param63, 4))), (not(equals(Equals_Param62, 1));not(equals(Equals_Param63, 3))), (not(equals(Equals_Param62, 1));not(equals(Equals_Param63, 2))), neighbor(Equals_Param62, Equals_Param63)), (equals(Equals_Param64, 2):-((not(equals(Equals_Param64, 2));not(equals(Equals_Param65, 4))), (not(equals(Equals_Param64, 3));not(equals(Equals_Param65, 4))), (not(equals(Equals_Param64, 5));not(equals(Equals_Param65, 6))), (not(equals(Equals_Param64, 5));not(equals(Equals_Param65, 7))), (not(equals(Equals_Param64, 5));not(equals(Equals_Param65, 8))), (not(equals(Equals_Param64, 6));not(equals(Equals_Param65, 7))), (not(equals(Equals_Param64, 6));not(equals(Equals_Param65, 8))), (not(equals(Equals_Param64, 7));not(equals(Equals_Param65, 8))), (not(equals(Equals_Param65, 4));not(equals(Equals_Param64, 7))), (not(equals(Equals_Param64, 4));not(equals(Equals_Param65, 7)))), (not(equals(Equals_Param64, 1));not(equals(Equals_Param65, 4))), (not(equals(Equals_Param64, 1));not(equals(Equals_Param65, 3))), (not(equals(Equals_Param64, 1));not(equals(Equals_Param65, 2))), (not(equals(Equals_Param65, 7));not(equals(Equals_Param64, 8))), (not(equals(Equals_Param65, 6));not(equals(Equals_Param64, 8))), (not(equals(Equals_Param65, 6));not(equals(Equals_Param64, 7))), (not(equals(Equals_Param65, 5));not(equals(Equals_Param64, 8))), (not(equals(Equals_Param65, 5));not(equals(Equals_Param64, 7))), (not(equals(Equals_Param65, 5));not(equals(Equals_Param64, 6))), (not(equals(Equals_Param65, 3));not(equals(Equals_Param64, 4))), (not(equals(Equals_Param65, 2));not(equals(Equals_Param64, 4))), (not(equals(Equals_Param65, 2));not(equals(Equals_Param64, 3))), (not(equals(Equals_Param65, 1));not(equals(Equals_Param64, 4))), (not(equals(Equals_Param65, 1));not(equals(Equals_Param64, 3))), (not(equals(Equals_Param65, 1));not(equals(Equals_Param64, 2))), neighbor(Equals_Param65, Equals_Param64)), (equals(Equals_Param66, 3):-((not(equals(Equals_Param67, 2));not(equals(Equals_Param66, 4))), (not(equals(Equals_Param67, 3));not(equals(Equals_Param66, 4))), (not(equals(Equals_Param67, 5));not(equals(Equals_Param66, 6))), (not(equals(Equals_Param67, 5));not(equals(Equals_Param66, 7))), (not(equals(Equals_Param67, 5));not(equals(Equals_Param66, 8))), (not(equals(Equals_Param67, 6));not(equals(Equals_Param66, 7))), (not(equals(Equals_Param67, 6));not(equals(Equals_Param66, 8))), (not(equals(Equals_Param67, 7));not(equals(Equals_Param66, 8))), (not(equals(Equals_Param66, 4));not(equals(Equals_Param67, 7))), (not(equals(Equals_Param67, 4));not(equals(Equals_Param66, 7)))), (not(equals(Equals_Param67, 1));not(equals(Equals_Param66, 4))), (not(equals(Equals_Param67, 1));not(equals(Equals_Param66, 3))), (not(equals(Equals_Param67, 1));not(equals(Equals_Param66, 2))), (not(equals(Equals_Param66, 7));not(equals(Equals_Param67, 8))), (not(equals(Equals_Param66, 6));not(equals(Equals_Param67, 8))), (not(equals(Equals_Param66, 6));not(equals(Equals_Param67, 7))), (not(equals(Equals_Param66, 5));not(equals(Equals_Param67, 8))), (not(equals(Equals_Param66, 5));not(equals(Equals_Param67, 7))), (not(equals(Equals_Param66, 5));not(equals(Equals_Param67, 6))), (not(equals(Equals_Param66, 3));not(equals(Equals_Param67, 4))), (not(equals(Equals_Param66, 2));not(equals(Equals_Param67, 4))), (not(equals(Equals_Param66, 2));not(equals(Equals_Param67, 3))), (not(equals(Equals_Param66, 1));not(equals(Equals_Param67, 4))), (not(equals(Equals_Param66, 1));not(equals(Equals_Param67, 3))), (not(equals(Equals_Param66, 1));not(equals(Equals_Param67, 2))), neighbor(Equals_Param66, Equals_Param67)), (equals(Equals_Param68, 2):-((not(equals(Equals_Param68, 3));not(equals(Equals_Param69, 4))), (not(equals(Equals_Param68, 5));not(equals(Equals_Param69, 6))), (not(equals(Equals_Param68, 5));not(equals(Equals_Param69, 7))), (not(equals(Equals_Param68, 5));not(equals(Equals_Param69, 8))), (not(equals(Equals_Param68, 6));not(equals(Equals_Param69, 7))), (not(equals(Equals_Param68, 6));not(equals(Equals_Param69, 8))), (not(equals(Equals_Param68, 7));not(equals(Equals_Param69, 8))), (not(equals(Equals_Param69, 4));not(equals(Equals_Param68, 7))), (not(equals(Equals_Param68, 4));not(equals(Equals_Param69, 7)))), (not(equals(Equals_Param68, 2));not(equals(Equals_Param69, 3))), (not(equals(Equals_Param68, 1));not(equals(Equals_Param69, 4))), (not(equals(Equals_Param68, 1));not(equals(Equals_Param69, 3))), (not(equals(Equals_Param68, 1));not(equals(Equals_Param69, 2))), (not(equals(Equals_Param69, 7));not(equals(Equals_Param68, 8))), (not(equals(Equals_Param69, 6));not(equals(Equals_Param68, 8))), (not(equals(Equals_Param69, 6));not(equals(Equals_Param68, 7))), (not(equals(Equals_Param69, 5));not(equals(Equals_Param68, 8))), (not(equals(Equals_Param69, 5));not(equals(Equals_Param68, 7))), (not(equals(Equals_Param69, 5));not(equals(Equals_Param68, 6))), (not(equals(Equals_Param69, 3));not(equals(Equals_Param68, 4))), (not(equals(Equals_Param69, 2));not(equals(Equals_Param68, 4))), (not(equals(Equals_Param69, 2));not(equals(Equals_Param68, 3))), (not(equals(Equals_Param69, 1));not(equals(Equals_Param68, 4))), (not(equals(Equals_Param69, 1));not(equals(Equals_Param68, 3))), (not(equals(Equals_Param69, 1));not(equals(Equals_Param68, 2))), neighbor(Equals_Param69, Equals_Param68)), (equals(Equals_Param70, 4):-((not(equals(Equals_Param71, 3));not(equals(Equals_Param70, 4))), (not(equals(Equals_Param71, 5));not(equals(Equals_Param70, 6))), (not(equals(Equals_Param71, 5));not(equals(Equals_Param70, 7))), (not(equals(Equals_Param71, 5));not(equals(Equals_Param70, 8))), (not(equals(Equals_Param71, 6));not(equals(Equals_Param70, 7))), (not(equals(Equals_Param71, 6));not(equals(Equals_Param70, 8))), (not(equals(Equals_Param71, 7));not(equals(Equals_Param70, 8))), (not(equals(Equals_Param70, 4));not(equals(Equals_Param71, 7))), (not(equals(Equals_Param71, 4));not(equals(Equals_Param70, 7)))), (not(equals(Equals_Param71, 2));not(equals(Equals_Param70, 3))), (not(equals(Equals_Param71, 1));not(equals(Equals_Param70, 4))), (not(equals(Equals_Param71, 1));not(equals(Equals_Param70, 3))), (not(equals(Equals_Param71, 1));not(equals(Equals_Param70, 2))), (not(equals(Equals_Param70, 7));not(equals(Equals_Param71, 8))), (not(equals(Equals_Param70, 6));not(equals(Equals_Param71, 8))), (not(equals(Equals_Param70, 6));not(equals(Equals_Param71, 7))), (not(equals(Equals_Param70, 5));not(equals(Equals_Param71, 8))), (not(equals(Equals_Param70, 5));not(equals(Equals_Param71, 7))), (not(equals(Equals_Param70, 5));not(equals(Equals_Param71, 6))), (not(equals(Equals_Param70, 3));not(equals(Equals_Param71, 4))), (not(equals(Equals_Param70, 2));not(equals(Equals_Param71, 4))), (not(equals(Equals_Param70, 2));not(equals(Equals_Param71, 3))), (not(equals(Equals_Param70, 1));not(equals(Equals_Param71, 4))), (not(equals(Equals_Param70, 1));not(equals(Equals_Param71, 3))), (not(equals(Equals_Param70, 1));not(equals(Equals_Param71, 2))), neighbor(Equals_Param70, Equals_Param71)), (equals(Equals_Param72, 3):-((not(equals(Equals_Param72, 5));not(equals(Equals_Param73, 6))), (not(equals(Equals_Param72, 5));not(equals(Equals_Param73, 7))), (not(equals(Equals_Param72, 5));not(equals(Equals_Param73, 8))), (not(equals(Equals_Param72, 6));not(equals(Equals_Param73, 7))), (not(equals(Equals_Param72, 6));not(equals(Equals_Param73, 8))), (not(equals(Equals_Param72, 7));not(equals(Equals_Param73, 8))), (not(equals(Equals_Param73, 4));not(equals(Equals_Param72, 7))), (not(equals(Equals_Param72, 4));not(equals(Equals_Param73, 7)))), (not(equals(Equals_Param72, 2));not(equals(Equals_Param73, 4))), (not(equals(Equals_Param72, 2));not(equals(Equals_Param73, 3))), (not(equals(Equals_Param72, 1));not(equals(Equals_Param73, 4))), (not(equals(Equals_Param72, 1));not(equals(Equals_Param73, 3))), (not(equals(Equals_Param72, 1));not(equals(Equals_Param73, 2))), (not(equals(Equals_Param73, 7));not(equals(Equals_Param72, 8))), (not(equals(Equals_Param73, 6));not(equals(Equals_Param72, 8))), (not(equals(Equals_Param73, 6));not(equals(Equals_Param72, 7))), (not(equals(Equals_Param73, 5));not(equals(Equals_Param72, 8))), (not(equals(Equals_Param73, 5));not(equals(Equals_Param72, 7))), (not(equals(Equals_Param73, 5));not(equals(Equals_Param72, 6))), (not(equals(Equals_Param73, 3));not(equals(Equals_Param72, 4))), (not(equals(Equals_Param73, 2));not(equals(Equals_Param72, 4))), (not(equals(Equals_Param73, 2));not(equals(Equals_Param72, 3))), (not(equals(Equals_Param73, 1));not(equals(Equals_Param72, 4))), (not(equals(Equals_Param73, 1));not(equals(Equals_Param72, 3))), (not(equals(Equals_Param73, 1));not(equals(Equals_Param72, 2))), neighbor(Equals_Param73, Equals_Param72)), (equals(Equals_Param74, 4):-((not(equals(Equals_Param75, 5));not(equals(Equals_Param74, 6))), (not(equals(Equals_Param75, 5));not(equals(Equals_Param74, 7))), (not(equals(Equals_Param75, 5));not(equals(Equals_Param74, 8))), (not(equals(Equals_Param75, 6));not(equals(Equals_Param74, 7))), (not(equals(Equals_Param75, 6));not(equals(Equals_Param74, 8))), (not(equals(Equals_Param75, 7));not(equals(Equals_Param74, 8))), (not(equals(Equals_Param74, 4));not(equals(Equals_Param75, 7))), (not(equals(Equals_Param75, 4));not(equals(Equals_Param74, 7)))), (not(equals(Equals_Param75, 2));not(equals(Equals_Param74, 4))), (not(equals(Equals_Param75, 2));not(equals(Equals_Param74, 3))), (not(equals(Equals_Param75, 1));not(equals(Equals_Param74, 4))), (not(equals(Equals_Param75, 1));not(equals(Equals_Param74, 3))), (not(equals(Equals_Param75, 1));not(equals(Equals_Param74, 2))), (not(equals(Equals_Param74, 7));not(equals(Equals_Param75, 8))), (not(equals(Equals_Param74, 6));not(equals(Equals_Param75, 8))), (not(equals(Equals_Param74, 6));not(equals(Equals_Param75, 7))), (not(equals(Equals_Param74, 5));not(equals(Equals_Param75, 8))), (not(equals(Equals_Param74, 5));not(equals(Equals_Param75, 7))), (not(equals(Equals_Param74, 5));not(equals(Equals_Param75, 6))), (not(equals(Equals_Param74, 3));not(equals(Equals_Param75, 4))), (not(equals(Equals_Param74, 2));not(equals(Equals_Param75, 4))), (not(equals(Equals_Param74, 2));not(equals(Equals_Param75, 3))), (not(equals(Equals_Param74, 1));not(equals(Equals_Param75, 4))), (not(equals(Equals_Param74, 1));not(equals(Equals_Param75, 3))), (not(equals(Equals_Param74, 1));not(equals(Equals_Param75, 2))), neighbor(Equals_Param74, Equals_Param75)), (equals(Equals_Param76, 5):-((not(equals(Equals_Param76, 5));not(equals(Equals_Param77, 7))), (not(equals(Equals_Param76, 5));not(equals(Equals_Param77, 8))), (not(equals(Equals_Param76, 6));not(equals(Equals_Param77, 7))), (not(equals(Equals_Param76, 6));not(equals(Equals_Param77, 8))), (not(equals(Equals_Param76, 7));not(equals(Equals_Param77, 8))), (not(equals(Equals_Param77, 4));not(equals(Equals_Param76, 7))), (not(equals(Equals_Param76, 4));not(equals(Equals_Param77, 7)))), (not(equals(Equals_Param76, 3));not(equals(Equals_Param77, 4))), (not(equals(Equals_Param76, 2));not(equals(Equals_Param77, 4))), (not(equals(Equals_Param76, 2));not(equals(Equals_Param77, 3))), (not(equals(Equals_Param76, 1));not(equals(Equals_Param77, 4))), (not(equals(Equals_Param76, 1));not(equals(Equals_Param77, 3))), (not(equals(Equals_Param76, 1));not(equals(Equals_Param77, 2))), (not(equals(Equals_Param77, 7));not(equals(Equals_Param76, 8))), (not(equals(Equals_Param77, 6));not(equals(Equals_Param76, 8))), (not(equals(Equals_Param77, 6));not(equals(Equals_Param76, 7))), (not(equals(Equals_Param77, 5));not(equals(Equals_Param76, 8))), (not(equals(Equals_Param77, 5));not(equals(Equals_Param76, 7))), (not(equals(Equals_Param77, 5));not(equals(Equals_Param76, 6))), (not(equals(Equals_Param77, 3));not(equals(Equals_Param76, 4))), (not(equals(Equals_Param77, 2));not(equals(Equals_Param76, 4))), (not(equals(Equals_Param77, 2));not(equals(Equals_Param76, 3))), (not(equals(Equals_Param77, 1));not(equals(Equals_Param76, 4))), (not(equals(Equals_Param77, 1));not(equals(Equals_Param76, 3))), (not(equals(Equals_Param77, 1));not(equals(Equals_Param76, 2))), neighbor(Equals_Param77, Equals_Param76)), (equals(Equals_Param78, 6):-((not(equals(Equals_Param79, 5));not(equals(Equals_Param78, 7))), (not(equals(Equals_Param79, 5));not(equals(Equals_Param78, 8))), (not(equals(Equals_Param79, 6));not(equals(Equals_Param78, 7))), (not(equals(Equals_Param79, 6));not(equals(Equals_Param78, 8))), (not(equals(Equals_Param79, 7));not(equals(Equals_Param78, 8))), (not(equals(Equals_Param78, 4));not(equals(Equals_Param79, 7))), (not(equals(Equals_Param79, 4));not(equals(Equals_Param78, 7)))), (not(equals(Equals_Param79, 3));not(equals(Equals_Param78, 4))), (not(equals(Equals_Param79, 2));not(equals(Equals_Param78, 4))), (not(equals(Equals_Param79, 2));not(equals(Equals_Param78, 3))), (not(equals(Equals_Param79, 1));not(equals(Equals_Param78, 4))), (not(equals(Equals_Param79, 1));not(equals(Equals_Param78, 3))), (not(equals(Equals_Param79, 1));not(equals(Equals_Param78, 2))), (not(equals(Equals_Param78, 7));not(equals(Equals_Param79, 8))), (not(equals(Equals_Param78, 6));not(equals(Equals_Param79, 8))), (not(equals(Equals_Param78, 6));not(equals(Equals_Param79, 7))), (not(equals(Equals_Param78, 5));not(equals(Equals_Param79, 8))), (not(equals(Equals_Param78, 5));not(equals(Equals_Param79, 7))), (not(equals(Equals_Param78, 5));not(equals(Equals_Param79, 6))), (not(equals(Equals_Param78, 3));not(equals(Equals_Param79, 4))), (not(equals(Equals_Param78, 2));not(equals(Equals_Param79, 4))), (not(equals(Equals_Param78, 2));not(equals(Equals_Param79, 3))), (not(equals(Equals_Param78, 1));not(equals(Equals_Param79, 4))), (not(equals(Equals_Param78, 1));not(equals(Equals_Param79, 3))), (not(equals(Equals_Param78, 1));not(equals(Equals_Param79, 2))), neighbor(Equals_Param78, Equals_Param79)), (equals(Equals_Param80, 5):-((not(equals(Equals_Param80, 5));not(equals(Equals_Param81, 8))), (not(equals(Equals_Param80, 6));not(equals(Equals_Param81, 7))), (not(equals(Equals_Param80, 6));not(equals(Equals_Param81, 8))), (not(equals(Equals_Param80, 7));not(equals(Equals_Param81, 8))), (not(equals(Equals_Param81, 4));not(equals(Equals_Param80, 7))), (not(equals(Equals_Param80, 4));not(equals(Equals_Param81, 7)))), (not(equals(Equals_Param80, 5));not(equals(Equals_Param81, 6))), (not(equals(Equals_Param80, 3));not(equals(Equals_Param81, 4))), (not(equals(Equals_Param80, 2));not(equals(Equals_Param81, 4))), (not(equals(Equals_Param80, 2));not(equals(Equals_Param81, 3))), (not(equals(Equals_Param80, 1));not(equals(Equals_Param81, 4))), (not(equals(Equals_Param80, 1));not(equals(Equals_Param81, 3))), (not(equals(Equals_Param80, 1));not(equals(Equals_Param81, 2))), (not(equals(Equals_Param81, 7));not(equals(Equals_Param80, 8))), (not(equals(Equals_Param81, 6));not(equals(Equals_Param80, 8))), (not(equals(Equals_Param81, 6));not(equals(Equals_Param80, 7))), (not(equals(Equals_Param81, 5));not(equals(Equals_Param80, 8))), (not(equals(Equals_Param81, 5));not(equals(Equals_Param80, 7))), (not(equals(Equals_Param81, 5));not(equals(Equals_Param80, 6))), (not(equals(Equals_Param81, 3));not(equals(Equals_Param80, 4))), (not(equals(Equals_Param81, 2));not(equals(Equals_Param80, 4))), (not(equals(Equals_Param81, 2));not(equals(Equals_Param80, 3))), (not(equals(Equals_Param81, 1));not(equals(Equals_Param80, 4))), (not(equals(Equals_Param81, 1));not(equals(Equals_Param80, 3))), (not(equals(Equals_Param81, 1));not(equals(Equals_Param80, 2))), neighbor(Equals_Param81, Equals_Param80)), (equals(Equals_Param82, 7):-((not(equals(Equals_Param83, 5));not(equals(Equals_Param82, 8))), (not(equals(Equals_Param83, 6));not(equals(Equals_Param82, 7))), (not(equals(Equals_Param83, 6));not(equals(Equals_Param82, 8))), (not(equals(Equals_Param83, 7));not(equals(Equals_Param82, 8))), (not(equals(Equals_Param82, 4));not(equals(Equals_Param83, 7))), (not(equals(Equals_Param83, 4));not(equals(Equals_Param82, 7)))), (not(equals(Equals_Param83, 5));not(equals(Equals_Param82, 6))), (not(equals(Equals_Param83, 3));not(equals(Equals_Param82, 4))), (not(equals(Equals_Param83, 2));not(equals(Equals_Param82, 4))), (not(equals(Equals_Param83, 2));not(equals(Equals_Param82, 3))), (not(equals(Equals_Param83, 1));not(equals(Equals_Param82, 4))), (not(equals(Equals_Param83, 1));not(equals(Equals_Param82, 3))), (not(equals(Equals_Param83, 1));not(equals(Equals_Param82, 2))), (not(equals(Equals_Param82, 7));not(equals(Equals_Param83, 8))), (not(equals(Equals_Param82, 6));not(equals(Equals_Param83, 8))), (not(equals(Equals_Param82, 6));not(equals(Equals_Param83, 7))), (not(equals(Equals_Param82, 5));not(equals(Equals_Param83, 8))), (not(equals(Equals_Param82, 5));not(equals(Equals_Param83, 7))), (not(equals(Equals_Param82, 5));not(equals(Equals_Param83, 6))), (not(equals(Equals_Param82, 3));not(equals(Equals_Param83, 4))), (not(equals(Equals_Param82, 2));not(equals(Equals_Param83, 4))), (not(equals(Equals_Param82, 2));not(equals(Equals_Param83, 3))), (not(equals(Equals_Param82, 1));not(equals(Equals_Param83, 4))), (not(equals(Equals_Param82, 1));not(equals(Equals_Param83, 3))), (not(equals(Equals_Param82, 1));not(equals(Equals_Param83, 2))), neighbor(Equals_Param82, Equals_Param83)), (equals(Equals_Param84, 5):-((not(equals(Equals_Param84, 6));not(equals(Equals_Param85, 7))), (not(equals(Equals_Param84, 6));not(equals(Equals_Param85, 8))), (not(equals(Equals_Param84, 7));not(equals(Equals_Param85, 8))), (not(equals(Equals_Param85, 4));not(equals(Equals_Param84, 7))), (not(equals(Equals_Param84, 4));not(equals(Equals_Param85, 7)))), (not(equals(Equals_Param84, 5));not(equals(Equals_Param85, 7))), (not(equals(Equals_Param84, 5));not(equals(Equals_Param85, 6))), (not(equals(Equals_Param84, 3));not(equals(Equals_Param85, 4))), (not(equals(Equals_Param84, 2));not(equals(Equals_Param85, 4))), (not(equals(Equals_Param84, 2));not(equals(Equals_Param85, 3))), (not(equals(Equals_Param84, 1));not(equals(Equals_Param85, 4))), (not(equals(Equals_Param84, 1));not(equals(Equals_Param85, 3))), (not(equals(Equals_Param84, 1));not(equals(Equals_Param85, 2))), (not(equals(Equals_Param85, 7));not(equals(Equals_Param84, 8))), (not(equals(Equals_Param85, 6));not(equals(Equals_Param84, 8))), (not(equals(Equals_Param85, 6));not(equals(Equals_Param84, 7))), (not(equals(Equals_Param85, 5));not(equals(Equals_Param84, 8))), (not(equals(Equals_Param85, 5));not(equals(Equals_Param84, 7))), (not(equals(Equals_Param85, 5));not(equals(Equals_Param84, 6))), (not(equals(Equals_Param85, 3));not(equals(Equals_Param84, 4))), (not(equals(Equals_Param85, 2));not(equals(Equals_Param84, 4))), (not(equals(Equals_Param85, 2));not(equals(Equals_Param84, 3))), (not(equals(Equals_Param85, 1));not(equals(Equals_Param84, 4))), (not(equals(Equals_Param85, 1));not(equals(Equals_Param84, 3))), (not(equals(Equals_Param85, 1));not(equals(Equals_Param84, 2))), neighbor(Equals_Param85, Equals_Param84)), (equals(Equals_Param86, 8):-((not(equals(Equals_Param87, 6));not(equals(Equals_Param86, 7))), (not(equals(Equals_Param87, 6));not(equals(Equals_Param86, 8))), (not(equals(Equals_Param87, 7));not(equals(Equals_Param86, 8))), (not(equals(Equals_Param86, 4));not(equals(Equals_Param87, 7))), (not(equals(Equals_Param87, 4));not(equals(Equals_Param86, 7)))), (not(equals(Equals_Param87, 5));not(equals(Equals_Param86, 7))), (not(equals(Equals_Param87, 5));not(equals(Equals_Param86, 6))), (not(equals(Equals_Param87, 3));not(equals(Equals_Param86, 4))), (not(equals(Equals_Param87, 2));not(equals(Equals_Param86, 4))), (not(equals(Equals_Param87, 2));not(equals(Equals_Param86, 3))), (not(equals(Equals_Param87, 1));not(equals(Equals_Param86, 4))), (not(equals(Equals_Param87, 1));not(equals(Equals_Param86, 3))), (not(equals(Equals_Param87, 1));not(equals(Equals_Param86, 2))), (not(equals(Equals_Param86, 7));not(equals(Equals_Param87, 8))), (not(equals(Equals_Param86, 6));not(equals(Equals_Param87, 8))), (not(equals(Equals_Param86, 6));not(equals(Equals_Param87, 7))), (not(equals(Equals_Param86, 5));not(equals(Equals_Param87, 8))), (not(equals(Equals_Param86, 5));not(equals(Equals_Param87, 7))), (not(equals(Equals_Param86, 5));not(equals(Equals_Param87, 6))), (not(equals(Equals_Param86, 3));not(equals(Equals_Param87, 4))), (not(equals(Equals_Param86, 2));not(equals(Equals_Param87, 4))), (not(equals(Equals_Param86, 2));not(equals(Equals_Param87, 3))), (not(equals(Equals_Param86, 1));not(equals(Equals_Param87, 4))), (not(equals(Equals_Param86, 1));not(equals(Equals_Param87, 3))), (not(equals(Equals_Param86, 1));not(equals(Equals_Param87, 2))), neighbor(Equals_Param86, Equals_Param87)), (equals(Equals_Param88, 6):-((not(equals(Equals_Param88, 6));not(equals(Equals_Param89, 8))), (not(equals(Equals_Param88, 7));not(equals(Equals_Param89, 8))), (not(equals(Equals_Param89, 4));not(equals(Equals_Param88, 7))), (not(equals(Equals_Param88, 4));not(equals(Equals_Param89, 7)))), (not(equals(Equals_Param88, 5));not(equals(Equals_Param89, 8))), (not(equals(Equals_Param88, 5));not(equals(Equals_Param89, 7))), (not(equals(Equals_Param88, 5));not(equals(Equals_Param89, 6))), (not(equals(Equals_Param88, 3));not(equals(Equals_Param89, 4))), (not(equals(Equals_Param88, 2));not(equals(Equals_Param89, 4))), (not(equals(Equals_Param88, 2));not(equals(Equals_Param89, 3))), (not(equals(Equals_Param88, 1));not(equals(Equals_Param89, 4))), (not(equals(Equals_Param88, 1));not(equals(Equals_Param89, 3))), (not(equals(Equals_Param88, 1));not(equals(Equals_Param89, 2))), (not(equals(Equals_Param89, 7));not(equals(Equals_Param88, 8))), (not(equals(Equals_Param89, 6));not(equals(Equals_Param88, 8))), (not(equals(Equals_Param89, 6));not(equals(Equals_Param88, 7))), (not(equals(Equals_Param89, 5));not(equals(Equals_Param88, 8))), (not(equals(Equals_Param89, 5));not(equals(Equals_Param88, 7))), (not(equals(Equals_Param89, 5));not(equals(Equals_Param88, 6))), (not(equals(Equals_Param89, 3));not(equals(Equals_Param88, 4))), (not(equals(Equals_Param89, 2));not(equals(Equals_Param88, 4))), (not(equals(Equals_Param89, 2));not(equals(Equals_Param88, 3))), (not(equals(Equals_Param89, 1));not(equals(Equals_Param88, 4))), (not(equals(Equals_Param89, 1));not(equals(Equals_Param88, 3))), (not(equals(Equals_Param89, 1));not(equals(Equals_Param88, 2))), neighbor(Equals_Param89, Equals_Param88)), (equals(Equals_Param90, 7):-((not(equals(Equals_Param91, 6));not(equals(Equals_Param90, 8))), (not(equals(Equals_Param91, 7));not(equals(Equals_Param90, 8))), (not(equals(Equals_Param90, 4));not(equals(Equals_Param91, 7))), (not(equals(Equals_Param91, 4));not(equals(Equals_Param90, 7)))), (not(equals(Equals_Param91, 5));not(equals(Equals_Param90, 8))), (not(equals(Equals_Param91, 5));not(equals(Equals_Param90, 7))), (not(equals(Equals_Param91, 5));not(equals(Equals_Param90, 6))), (not(equals(Equals_Param91, 3));not(equals(Equals_Param90, 4))), (not(equals(Equals_Param91, 2));not(equals(Equals_Param90, 4))), (not(equals(Equals_Param91, 2));not(equals(Equals_Param90, 3))), (not(equals(Equals_Param91, 1));not(equals(Equals_Param90, 4))), (not(equals(Equals_Param91, 1));not(equals(Equals_Param90, 3))), (not(equals(Equals_Param91, 1));not(equals(Equals_Param90, 2))), (not(equals(Equals_Param90, 7));not(equals(Equals_Param91, 8))), (not(equals(Equals_Param90, 6));not(equals(Equals_Param91, 8))), (not(equals(Equals_Param90, 6));not(equals(Equals_Param91, 7))), (not(equals(Equals_Param90, 5));not(equals(Equals_Param91, 8))), (not(equals(Equals_Param90, 5));not(equals(Equals_Param91, 7))), (not(equals(Equals_Param90, 5));not(equals(Equals_Param91, 6))), (not(equals(Equals_Param90, 3));not(equals(Equals_Param91, 4))), (not(equals(Equals_Param90, 2));not(equals(Equals_Param91, 4))), (not(equals(Equals_Param90, 2));not(equals(Equals_Param91, 3))), (not(equals(Equals_Param90, 1));not(equals(Equals_Param91, 4))), (not(equals(Equals_Param90, 1));not(equals(Equals_Param91, 3))), (not(equals(Equals_Param90, 1));not(equals(Equals_Param91, 2))), neighbor(Equals_Param90, Equals_Param91)), (equals(Equals_Param92, 6):-((not(equals(Equals_Param92, 7));not(equals(Equals_Param93, 8))), (not(equals(Equals_Param93, 4));not(equals(Equals_Param92, 7))), (not(equals(Equals_Param92, 4));not(equals(Equals_Param93, 7)))), (not(equals(Equals_Param92, 6));not(equals(Equals_Param93, 7))), (not(equals(Equals_Param92, 5));not(equals(Equals_Param93, 8))), (not(equals(Equals_Param92, 5));not(equals(Equals_Param93, 7))), (not(equals(Equals_Param92, 5));not(equals(Equals_Param93, 6))), (not(equals(Equals_Param92, 3));not(equals(Equals_Param93, 4))), (not(equals(Equals_Param92, 2));not(equals(Equals_Param93, 4))), (not(equals(Equals_Param92, 2));not(equals(Equals_Param93, 3))), (not(equals(Equals_Param92, 1));not(equals(Equals_Param93, 4))), (not(equals(Equals_Param92, 1));not(equals(Equals_Param93, 3))), (not(equals(Equals_Param92, 1));not(equals(Equals_Param93, 2))), (not(equals(Equals_Param93, 7));not(equals(Equals_Param92, 8))), (not(equals(Equals_Param93, 6));not(equals(Equals_Param92, 8))), (not(equals(Equals_Param93, 6));not(equals(Equals_Param92, 7))), (not(equals(Equals_Param93, 5));not(equals(Equals_Param92, 8))), (not(equals(Equals_Param93, 5));not(equals(Equals_Param92, 7))), (not(equals(Equals_Param93, 5));not(equals(Equals_Param92, 6))), (not(equals(Equals_Param93, 3));not(equals(Equals_Param92, 4))), (not(equals(Equals_Param93, 2));not(equals(Equals_Param92, 4))), (not(equals(Equals_Param93, 2));not(equals(Equals_Param92, 3))), (not(equals(Equals_Param93, 1));not(equals(Equals_Param92, 4))), (not(equals(Equals_Param93, 1));not(equals(Equals_Param92, 3))), (not(equals(Equals_Param93, 1));not(equals(Equals_Param92, 2))), neighbor(Equals_Param93, Equals_Param92)), (equals(Equals_Param94, 8):-((not(equals(Equals_Param95, 7));not(equals(Equals_Param94, 8))), (not(equals(Equals_Param94, 4));not(equals(Equals_Param95, 7))), (not(equals(Equals_Param95, 4));not(equals(Equals_Param94, 7)))), (not(equals(Equals_Param95, 6));not(equals(Equals_Param94, 7))), (not(equals(Equals_Param95, 5));not(equals(Equals_Param94, 8))), (not(equals(Equals_Param95, 5));not(equals(Equals_Param94, 7))), (not(equals(Equals_Param95, 5));not(equals(Equals_Param94, 6))), (not(equals(Equals_Param95, 3));not(equals(Equals_Param94, 4))), (not(equals(Equals_Param95, 2));not(equals(Equals_Param94, 4))), (not(equals(Equals_Param95, 2));not(equals(Equals_Param94, 3))), (not(equals(Equals_Param95, 1));not(equals(Equals_Param94, 4))), (not(equals(Equals_Param95, 1));not(equals(Equals_Param94, 3))), (not(equals(Equals_Param95, 1));not(equals(Equals_Param94, 2))), (not(equals(Equals_Param94, 7));not(equals(Equals_Param95, 8))), (not(equals(Equals_Param94, 6));not(equals(Equals_Param95, 8))), (not(equals(Equals_Param94, 6));not(equals(Equals_Param95, 7))), (not(equals(Equals_Param94, 5));not(equals(Equals_Param95, 8))), (not(equals(Equals_Param94, 5));not(equals(Equals_Param95, 7))), (not(equals(Equals_Param94, 5));not(equals(Equals_Param95, 6))), (not(equals(Equals_Param94, 3));not(equals(Equals_Param95, 4))), (not(equals(Equals_Param94, 2));not(equals(Equals_Param95, 4))), (not(equals(Equals_Param94, 2));not(equals(Equals_Param95, 3))), (not(equals(Equals_Param94, 1));not(equals(Equals_Param95, 4))), (not(equals(Equals_Param94, 1));not(equals(Equals_Param95, 3))), (not(equals(Equals_Param94, 1));not(equals(Equals_Param95, 2))), neighbor(Equals_Param94, Equals_Param95)), (equals(Equals_Param96, 7):-((not(equals(Equals_Param97, 4));not(equals(Equals_Param96, 7))), (not(equals(Equals_Param96, 4));not(equals(Equals_Param97, 7)))), (not(equals(Equals_Param96, 6));not(equals(Equals_Param97, 8))), (not(equals(Equals_Param96, 6));not(equals(Equals_Param97, 7))), (not(equals(Equals_Param96, 5));not(equals(Equals_Param97, 8))), (not(equals(Equals_Param96, 5));not(equals(Equals_Param97, 7))), (not(equals(Equals_Param96, 5));not(equals(Equals_Param97, 6))), (not(equals(Equals_Param96, 3));not(equals(Equals_Param97, 4))), (not(equals(Equals_Param96, 2));not(equals(Equals_Param97, 4))), (not(equals(Equals_Param96, 2));not(equals(Equals_Param97, 3))), (not(equals(Equals_Param96, 1));not(equals(Equals_Param97, 4))), (not(equals(Equals_Param96, 1));not(equals(Equals_Param97, 3))), (not(equals(Equals_Param96, 1));not(equals(Equals_Param97, 2))), (not(equals(Equals_Param97, 7));not(equals(Equals_Param96, 8))), (not(equals(Equals_Param97, 6));not(equals(Equals_Param96, 8))), (not(equals(Equals_Param97, 6));not(equals(Equals_Param96, 7))), (not(equals(Equals_Param97, 5));not(equals(Equals_Param96, 8))), (not(equals(Equals_Param97, 5));not(equals(Equals_Param96, 7))), (not(equals(Equals_Param97, 5));not(equals(Equals_Param96, 6))), (not(equals(Equals_Param97, 3));not(equals(Equals_Param96, 4))), (not(equals(Equals_Param97, 2));not(equals(Equals_Param96, 4))), (not(equals(Equals_Param97, 2));not(equals(Equals_Param96, 3))), (not(equals(Equals_Param97, 1));not(equals(Equals_Param96, 4))), (not(equals(Equals_Param97, 1));not(equals(Equals_Param96, 3))), (not(equals(Equals_Param97, 1));not(equals(Equals_Param96, 2))), neighbor(Equals_Param97, Equals_Param96)), (equals(Equals_Param98, 8):-((not(equals(Equals_Param98, 4));not(equals(Equals_Param99, 7))), (not(equals(Equals_Param99, 4));not(equals(Equals_Param98, 7)))), (not(equals(Equals_Param99, 6));not(equals(Equals_Param98, 8))), (not(equals(Equals_Param99, 6));not(equals(Equals_Param98, 7))), (not(equals(Equals_Param99, 5));not(equals(Equals_Param98, 8))), (not(equals(Equals_Param99, 5));not(equals(Equals_Param98, 7))), (not(equals(Equals_Param99, 5));not(equals(Equals_Param98, 6))), (not(equals(Equals_Param99, 3));not(equals(Equals_Param98, 4))), (not(equals(Equals_Param99, 2));not(equals(Equals_Param98, 4))), (not(equals(Equals_Param99, 2));not(equals(Equals_Param98, 3))), (not(equals(Equals_Param99, 1));not(equals(Equals_Param98, 4))), (not(equals(Equals_Param99, 1));not(equals(Equals_Param98, 3))), (not(equals(Equals_Param99, 1));not(equals(Equals_Param98, 2))), (not(equals(Equals_Param98, 7));not(equals(Equals_Param99, 8))), (not(equals(Equals_Param98, 6));not(equals(Equals_Param99, 8))), (not(equals(Equals_Param98, 6));not(equals(Equals_Param99, 7))), (not(equals(Equals_Param98, 5));not(equals(Equals_Param99, 8))), (not(equals(Equals_Param98, 5));not(equals(Equals_Param99, 7))), (not(equals(Equals_Param98, 5));not(equals(Equals_Param99, 6))), (not(equals(Equals_Param98, 3));not(equals(Equals_Param99, 4))), (not(equals(Equals_Param98, 2));not(equals(Equals_Param99, 4))), (not(equals(Equals_Param98, 2));not(equals(Equals_Param99, 3))), (not(equals(Equals_Param98, 1));not(equals(Equals_Param99, 4))), (not(equals(Equals_Param98, 1));not(equals(Equals_Param99, 3))), (not(equals(Equals_Param98, 1));not(equals(Equals_Param99, 2))), neighbor(Equals_Param98, Equals_Param99)), (equals(Equals_Param100, 4):-(not(equals(Equals_Param101, 4));not(equals(Equals_Param100, 7))), (not(equals(Equals_Param101, 7));not(equals(Equals_Param100, 8))), (not(equals(Equals_Param101, 6));not(equals(Equals_Param100, 8))), (not(equals(Equals_Param101, 6));not(equals(Equals_Param100, 7))), (not(equals(Equals_Param101, 5));not(equals(Equals_Param100, 8))), (not(equals(Equals_Param101, 5));not(equals(Equals_Param100, 7))), (not(equals(Equals_Param101, 5));not(equals(Equals_Param100, 6))), (not(equals(Equals_Param101, 3));not(equals(Equals_Param100, 4))), (not(equals(Equals_Param101, 2));not(equals(Equals_Param100, 4))), (not(equals(Equals_Param101, 2));not(equals(Equals_Param100, 3))), (not(equals(Equals_Param101, 1));not(equals(Equals_Param100, 4))), (not(equals(Equals_Param101, 1));not(equals(Equals_Param100, 3))), (not(equals(Equals_Param101, 1));not(equals(Equals_Param100, 2))), (not(equals(Equals_Param100, 7));not(equals(Equals_Param101, 8))), (not(equals(Equals_Param100, 6));not(equals(Equals_Param101, 8))), (not(equals(Equals_Param100, 6));not(equals(Equals_Param101, 7))), (not(equals(Equals_Param100, 5));not(equals(Equals_Param101, 8))), (not(equals(Equals_Param100, 5));not(equals(Equals_Param101, 7))), (not(equals(Equals_Param100, 5));not(equals(Equals_Param101, 6))), (not(equals(Equals_Param100, 3));not(equals(Equals_Param101, 4))), (not(equals(Equals_Param100, 2));not(equals(Equals_Param101, 4))), (not(equals(Equals_Param100, 2));not(equals(Equals_Param101, 3))), (not(equals(Equals_Param100, 1));not(equals(Equals_Param101, 4))), (not(equals(Equals_Param100, 1));not(equals(Equals_Param101, 3))), (not(equals(Equals_Param100, 1));not(equals(Equals_Param101, 2))), neighbor(Equals_Param100, Equals_Param101)), (equals(Equals_Param102, 7):-(not(equals(Equals_Param102, 4));not(equals(Equals_Param103, 7))), (not(equals(Equals_Param102, 7));not(equals(Equals_Param103, 8))), (not(equals(Equals_Param102, 6));not(equals(Equals_Param103, 8))), (not(equals(Equals_Param102, 6));not(equals(Equals_Param103, 7))), (not(equals(Equals_Param102, 5));not(equals(Equals_Param103, 8))), (not(equals(Equals_Param102, 5));not(equals(Equals_Param103, 7))), (not(equals(Equals_Param102, 5));not(equals(Equals_Param103, 6))), (not(equals(Equals_Param102, 3));not(equals(Equals_Param103, 4))), (not(equals(Equals_Param102, 2));not(equals(Equals_Param103, 4))), (not(equals(Equals_Param102, 2));not(equals(Equals_Param103, 3))), (not(equals(Equals_Param102, 1));not(equals(Equals_Param103, 4))), (not(equals(Equals_Param102, 1));not(equals(Equals_Param103, 3))), (not(equals(Equals_Param102, 1));not(equals(Equals_Param103, 2))), (not(equals(Equals_Param103, 7));not(equals(Equals_Param102, 8))), (not(equals(Equals_Param103, 6));not(equals(Equals_Param102, 8))), (not(equals(Equals_Param103, 6));not(equals(Equals_Param102, 7))), (not(equals(Equals_Param103, 5));not(equals(Equals_Param102, 8))), (not(equals(Equals_Param103, 5));not(equals(Equals_Param102, 7))), (not(equals(Equals_Param103, 5));not(equals(Equals_Param102, 6))), (not(equals(Equals_Param103, 3));not(equals(Equals_Param102, 4))), (not(equals(Equals_Param103, 2));not(equals(Equals_Param102, 4))), (not(equals(Equals_Param103, 2));not(equals(Equals_Param102, 3))), (not(equals(Equals_Param103, 1));not(equals(Equals_Param102, 4))), (not(equals(Equals_Param103, 1));not(equals(Equals_Param102, 3))), (not(equals(Equals_Param103, 1));not(equals(Equals_Param102, 2))), neighbor(Equals_Param103, Equals_Param102)), (equals(Equals_Param104, 4):-(not(equals(Equals_Param105, 4));not(equals(Equals_Param104, 7))), (not(equals(Equals_Param104, 7));not(equals(Equals_Param105, 8))), (not(equals(Equals_Param104, 6));not(equals(Equals_Param105, 8))), (not(equals(Equals_Param104, 6));not(equals(Equals_Param105, 7))), (not(equals(Equals_Param104, 5));not(equals(Equals_Param105, 8))), (not(equals(Equals_Param104, 5));not(equals(Equals_Param105, 7))), (not(equals(Equals_Param104, 5));not(equals(Equals_Param105, 6))), (not(equals(Equals_Param104, 3));not(equals(Equals_Param105, 4))), (not(equals(Equals_Param104, 2));not(equals(Equals_Param105, 4))), (not(equals(Equals_Param104, 2));not(equals(Equals_Param105, 3))), (not(equals(Equals_Param104, 1));not(equals(Equals_Param105, 4))), (not(equals(Equals_Param104, 1));not(equals(Equals_Param105, 3))), (not(equals(Equals_Param104, 1));not(equals(Equals_Param105, 2))), (not(equals(Equals_Param105, 7));not(equals(Equals_Param104, 8))), (not(equals(Equals_Param105, 6));not(equals(Equals_Param104, 8))), (not(equals(Equals_Param105, 6));not(equals(Equals_Param104, 7))), (not(equals(Equals_Param105, 5));not(equals(Equals_Param104, 8))), (not(equals(Equals_Param105, 5));not(equals(Equals_Param104, 7))), (not(equals(Equals_Param105, 5));not(equals(Equals_Param104, 6))), (not(equals(Equals_Param105, 3));not(equals(Equals_Param104, 4))), (not(equals(Equals_Param105, 2));not(equals(Equals_Param104, 4))), (not(equals(Equals_Param105, 2));not(equals(Equals_Param104, 3))), (not(equals(Equals_Param105, 1));not(equals(Equals_Param104, 4))), (not(equals(Equals_Param105, 1));not(equals(Equals_Param104, 3))), (not(equals(Equals_Param105, 1));not(equals(Equals_Param104, 2))), neighbor(Equals_Param105, Equals_Param104)), (equals(Equals_Param106, 7):-(not(equals(Equals_Param106, 4));not(equals(Equals_Param107, 7))), (not(equals(Equals_Param107, 7));not(equals(Equals_Param106, 8))), (not(equals(Equals_Param107, 6));not(equals(Equals_Param106, 8))), (not(equals(Equals_Param107, 6));not(equals(Equals_Param106, 7))), (not(equals(Equals_Param107, 5));not(equals(Equals_Param106, 8))), (not(equals(Equals_Param107, 5));not(equals(Equals_Param106, 7))), (not(equals(Equals_Param107, 5));not(equals(Equals_Param106, 6))), (not(equals(Equals_Param107, 3));not(equals(Equals_Param106, 4))), (not(equals(Equals_Param107, 2));not(equals(Equals_Param106, 4))), (not(equals(Equals_Param107, 2));not(equals(Equals_Param106, 3))), (not(equals(Equals_Param107, 1));not(equals(Equals_Param106, 4))), (not(equals(Equals_Param107, 1));not(equals(Equals_Param106, 3))), (not(equals(Equals_Param107, 1));not(equals(Equals_Param106, 2))), (not(equals(Equals_Param106, 7));not(equals(Equals_Param107, 8))), (not(equals(Equals_Param106, 6));not(equals(Equals_Param107, 8))), (not(equals(Equals_Param106, 6));not(equals(Equals_Param107, 7))), (not(equals(Equals_Param106, 5));not(equals(Equals_Param107, 8))), (not(equals(Equals_Param106, 5));not(equals(Equals_Param107, 7))), (not(equals(Equals_Param106, 5));not(equals(Equals_Param107, 6))), (not(equals(Equals_Param106, 3));not(equals(Equals_Param107, 4))), (not(equals(Equals_Param106, 2));not(equals(Equals_Param107, 4))), (not(equals(Equals_Param106, 2));not(equals(Equals_Param107, 3))), (not(equals(Equals_Param106, 1));not(equals(Equals_Param107, 4))), (not(equals(Equals_Param106, 1));not(equals(Equals_Param107, 3))), (not(equals(Equals_Param106, 1));not(equals(Equals_Param107, 2))), neighbor(Equals_Param106, Equals_Param107))], 53==53).
2942
2943
2946side1(gateAO,4).
2947
2948
2951side2(gateAO,7).
2952
2953