18:-use_module(library(pascal)). 19
20:- if(current_predicate(use_rendering/1)). 21:- use_rendering(c3). 22:- use_rendering(pic). 23:- endif. 24
25:-pascal. 26
27:-set_pascal(examples,keys(pos)). 28:-set_pascal(default_parameters,0). 29:-set_pascal(learning_algorithm,gradient_descent). 30:-set_pascal(learning_rate,fixed(0.5)). 31:-set_pascal(regularizing_constant,5). 32:-set_pascal(regularization,2). 33
34:-set_pascal(gd_iter,1000). 35:-set_pascal(epsilon,0.0001). 36:-set_pascal(epsilon_fraction,0.0001). 37:-set_pascal(max_length,8). 38:-set_pascal(max_lengths,[2,1,1,1]). 39:-set_pascal(max_nodes,3).
40:-set_pascal(beamsize,2). 41:-set_pascal(max_rules,5). 42:-set_pascal(verbosity,1). 43
44bg([]).
45
46in([]).
47
48:- begin_in. 49
50ic("0.5 :: circle(A)/\\in(A,B)---> false.").
51ic("0.5 :: circle(B)/\\in(B,A)---> config(A,up).").
52ic("0.5 :: circle(A)/\\in(A,B)---> config(A,up).").
53ic("0.5 :: square(A)---> config(A,up).").
54
55:- end_in. 68
69fold(train,[2,3,5,6,9,12,14,15,17,20,24,25,28,29,31,36,37,40,41,50,52,55,56,57,
70 59,62,63,65,66,67,69,74,76,77,79,83,93,95,99,101,103,104,105,106,107,109,110,
71 111,112,117,120,121,125,126,127,128,131,135,137,140,143,144,151,154,155,156,
72 159,167,168,169,172,175,176,177,178,181,184,188,190,192,193,194,196,198,202,
73 206,208,209,211,214,219,222,223,224,225,227,230,231,233,238,241,243,244,248,
74 249,250,256,258,260,268,270,273,280,282,286,287,288,289,290,295,300,301,303,
75 304,307,309,314,316,319,321,324,326,327,328,329,331,334,337,343,345,348,352,
76 353,355,358,366,369,370,373,375,376,378,379,381,382,390,393,402,404,408,411,
77 412,416,417,419,420,421,424,425,427,428,431,432,433,437,444,445,447,453,456,
78 457,459,462,463,464,465,468,470,473,474,476,477,479,481,482,483,485,488,489]).
79
80fold(test,
81 [490,491,494,497,499,500,512,513,516,517,520,521,527,529,531,533,534,539,540,
82 542,543,544,546,550,552,553,555,559,565,567,568,572,578,582,583,591,595,597,
83 600,602,609,612,614,615,616,617,622,625,628,634,635,637,639,640,641,642,647,
84 648,649,650,654,656,657,658,662,667,669,671,679,682,683,685,686,691,693,698,
85 700,701,705,708,709,710,719,722,723,725,728,732,734,737,740,741,743,744,745,
86 747,748,750,751,753,754,755,765,766,768,769,772,773,777,779,780,781,787,794,
87 795,797,803,805,807,814,815,816,818,819,822,829,832,833,835,836,837,838,841,
88 844,845,846,847,848,849,856,859,862,864,867,872,874,876,880,882,887,890,892,
89 893,897,899,900,904,909,910,912,915,917,926,927,929,930,931,932,933,938,939,
90 940,941,944,945,946,947,955,957,961,971,973,974,975,977,978,979,984,989,991,
91 995,997,1000]).
92
93fold(all,F):-
94 fold(train,FTr),
95 fold(test,FTe),
96 append(FTr,FTe,F).
97
98
99
100
101
102modeh(*,triangle(+obj)).
103modeh(*,square(+obj)).
104modeh(*,circle(+obj)).
105modeh(*,config(+obj,-#dir)).
106
108
109modeb(*,triangle(-obj)).
110modeb(*,square(-obj)).
111modeb(*,circle(-obj)).
112modeb(*,in(+obj,-obj)).
113modeb(*,in(-obj,+obj)).
114modeb(*,config(+obj,-#dir)).
115
117pos(2).
118triangle(2,o5).
119config(2,o5,up).
120square(2,o4).
121in(2,o4,o5).
122circle(2,o3).
123triangle(2,o2).
124config(2,o2,up).
125in(2,o2,o3).
126triangle(2,o1).
127config(2,o1,up).
128
129neg(pos(3)).
130circle(3,o4).
131circle(3,o3).
132in(3,o3,o4).
133square(3,o2).
134circle(3,o1).
135in(3,o1,o2).
136
137neg(pos(5)).
138square(5,o3).
139square(5,o2).
140in(5,o2,o3).
141square(5,o1).
142
143pos(6).
144triangle(6,o5).
145config(6,o5,down).
146triangle(6,o4).
147config(6,o4,up).
148in(6,o4,o5).
149circle(6,o3).
150square(6,o2).
151in(6,o2,o3).
152triangle(6,o1).
153config(6,o1,up).
154
155pos(9).
156circle(9,o4).
157triangle(9,o3).
158config(9,o3,up).
159in(9,o3,o4).
160triangle(9,o2).
161config(9,o2,down).
162square(9,o1).
163in(9,o1,o2).
164
165neg(pos(12)).
166triangle(12,o5).
167config(12,o5,down).
168square(12,o4).
169in(12,o4,o5).
170circle(12,o3).
171circle(12,o2).
172in(12,o2,o3).
173triangle(12,o1).
174config(12,o1,down).
175
176neg(pos(14)).
177triangle(14,o3).
178config(14,o3,down).
179circle(14,o2).
180in(14,o2,o3).
181triangle(14,o1).
182config(14,o1,down).
183
184neg(pos(15)).
185triangle(15,o4).
186config(15,o4,down).
187circle(15,o3).
188in(15,o3,o4).
189triangle(15,o2).
190config(15,o2,up).
191circle(15,o1).
192in(15,o1,o2).
193
194pos(17).
195triangle(17,o2).
196config(17,o2,down).
197triangle(17,o1).
198config(17,o1,down).
199in(17,o1,o2).
200
201pos(20).
202triangle(20,o6).
203config(20,o6,up).
204triangle(20,o5).
205config(20,o5,up).
206in(20,o5,o6).
207square(20,o4).
208triangle(20,o3).
209config(20,o3,up).
210in(20,o3,o4).
211square(20,o2).
212triangle(20,o1).
213config(20,o1,up).
214in(20,o1,o2).
215
216pos(24).
217triangle(24,o4).
218config(24,o4,up).
219circle(24,o3).
220in(24,o3,o4).
221triangle(24,o2).
222config(24,o2,up).
223triangle(24,o1).
224config(24,o1,up).
225in(24,o1,o2).
226
227neg(pos(25)).
228square(25,o2).
229square(25,o1).
230in(25,o1,o2).
231
232neg(pos(28)).
233square(28,o5).
234square(28,o4).
235in(28,o4,o5).
236circle(28,o3).
237circle(28,o2).
238in(28,o2,o3).
239triangle(28,o1).
240config(28,o1,up).
241
242neg(pos(29)).
243triangle(29,o2).
244config(29,o2,up).
245square(29,o1).
246in(29,o1,o2).
247
248neg(pos(31)).
249circle(31,o4).
250square(31,o3).
251in(31,o3,o4).
252square(31,o2).
253circle(31,o1).
254in(31,o1,o2).
255
256neg(pos(36)).
257triangle(36,o3).
258config(36,o3,up).
259circle(36,o2).
260in(36,o2,o3).
261circle(36,o1).
262
263neg(pos(37)).
264square(37,o6).
265circle(37,o5).
266in(37,o5,o6).
267square(37,o4).
268circle(37,o3).
269in(37,o3,o4).
270square(37,o2).
271triangle(37,o1).
272config(37,o1,down).
273in(37,o1,o2).
274
275neg(pos(40)).
276circle(40,o4).
277square(40,o3).
278in(40,o3,o4).
279square(40,o2).
280circle(40,o1).
281in(40,o1,o2).
282
283neg(pos(41)).
284square(41,o3).
285circle(41,o2).
286in(41,o2,o3).
287triangle(41,o1).
288config(41,o1,down).
289
290pos(50).
291triangle(50,o6).
292config(50,o6,up).
293square(50,o5).
294in(50,o5,o6).
295triangle(50,o4).
296config(50,o4,down).
297circle(50,o3).
298in(50,o3,o4).
299triangle(50,o2).
300config(50,o2,up).
301triangle(50,o1).
302config(50,o1,down).
303in(50,o1,o2).
304
305neg(pos(52)).
306square(52,o3).
307circle(52,o2).
308in(52,o2,o3).
309circle(52,o1).
310
311neg(pos(55)).
312triangle(55,o2).
313config(55,o2,down).
314square(55,o1).
315in(55,o1,o2).
316
317neg(pos(56)).
318circle(56,o5).
319circle(56,o4).
320in(56,o4,o5).
321circle(56,o3).
322circle(56,o2).
323in(56,o2,o3).
324circle(56,o1).
325
326neg(pos(57)).
327circle(57,o4).
328circle(57,o3).
329in(57,o3,o4).
330square(57,o2).
331triangle(57,o1).
332config(57,o1,up).
333in(57,o1,o2).
334
335neg(pos(59)).
336square(59,o5).
337triangle(59,o4).
338config(59,o4,up).
339in(59,o4,o5).
340triangle(59,o3).
341config(59,o3,down).
342circle(59,o2).
343in(59,o2,o3).
344circle(59,o1).
345
346pos(62).
347triangle(62,o5).
348config(62,o5,up).
349triangle(62,o4).
350config(62,o4,down).
351in(62,o4,o5).
352triangle(62,o3).
353config(62,o3,up).
354square(62,o2).
355in(62,o2,o3).
356triangle(62,o1).
357config(62,o1,down).
358
359neg(pos(63)).
360triangle(63,o2).
361config(63,o2,up).
362square(63,o1).
363in(63,o1,o2).
364
365neg(pos(65)).
366circle(65,o6).
367circle(65,o5).
368in(65,o5,o6).
369circle(65,o4).
370circle(65,o3).
371in(65,o3,o4).
372square(65,o2).
373square(65,o1).
374in(65,o1,o2).
375
376neg(pos(66)).
377triangle(66,o2).
378config(66,o2,up).
379circle(66,o1).
380in(66,o1,o2).
381
382neg(pos(67)).
383circle(67,o4).
384circle(67,o3).
385in(67,o3,o4).
386square(67,o2).
387triangle(67,o1).
388config(67,o1,down).
389in(67,o1,o2).
390
391pos(69).
392circle(69,o3).
393triangle(69,o2).
394config(69,o2,up).
395in(69,o2,o3).
396triangle(69,o1).
397config(69,o1,down).
398
399pos(74).
400circle(74,o6).
401triangle(74,o5).
402config(74,o5,up).
403in(74,o5,o6).
404triangle(74,o4).
405config(74,o4,down).
406square(74,o3).
407in(74,o3,o4).
408triangle(74,o2).
409config(74,o2,down).
410triangle(74,o1).
411config(74,o1,down).
412in(74,o1,o2).
413
414pos(76).
415square(76,o6).
416square(76,o5).
417in(76,o5,o6).
418triangle(76,o4).
419config(76,o4,up).
420square(76,o3).
421in(76,o3,o4).
422triangle(76,o2).
423config(76,o2,up).
424triangle(76,o1).
425config(76,o1,down).
426in(76,o1,o2).
427
428neg(pos(77)).
429square(77,o3).
430triangle(77,o2).
431config(77,o2,up).
432in(77,o2,o3).
433square(77,o1).
434
435pos(79).
436triangle(79,o5).
437config(79,o5,up).
438triangle(79,o4).
439config(79,o4,down).
440in(79,o4,o5).
441triangle(79,o3).
442config(79,o3,down).
443triangle(79,o2).
444config(79,o2,up).
445in(79,o2,o3).
446square(79,o1).
447
448pos(83).
449triangle(83,o3).
450config(83,o3,up).
451triangle(83,o2).
452config(83,o2,down).
453in(83,o2,o3).
454square(83,o1).
455
456neg(pos(93)).
457square(93,o4).
458triangle(93,o3).
459config(93,o3,up).
460in(93,o3,o4).
461circle(93,o2).
462circle(93,o1).
463in(93,o1,o2).
464
465pos(95).
466circle(95,o6).
467square(95,o5).
468in(95,o5,o6).
469square(95,o4).
470triangle(95,o3).
471config(95,o3,up).
472in(95,o3,o4).
473square(95,o2).
474triangle(95,o1).
475config(95,o1,down).
476in(95,o1,o2).
477
478neg(pos(99)).
479triangle(99,o4).
480config(99,o4,down).
481square(99,o3).
482in(99,o3,o4).
483square(99,o2).
484circle(99,o1).
485in(99,o1,o2).
486
487neg(pos(101)).
488square(101,o6).
489square(101,o5).
490in(101,o5,o6).
491triangle(101,o4).
492config(101,o4,down).
493circle(101,o3).
494in(101,o3,o4).
495triangle(101,o2).
496config(101,o2,down).
497circle(101,o1).
498in(101,o1,o2).
499
500pos(103).
501circle(103,o4).
502square(103,o3).
503in(103,o3,o4).
504square(103,o2).
505triangle(103,o1).
506config(103,o1,up).
507in(103,o1,o2).
508
509pos(104).
510circle(104,o5).
511triangle(104,o4).
512config(104,o4,up).
513in(104,o4,o5).
514circle(104,o3).
515square(104,o2).
516in(104,o2,o3).
517circle(104,o1).
518
519neg(pos(105)).
520triangle(105,o2).
521config(105,o2,up).
522square(105,o1).
523in(105,o1,o2).
524
525pos(106).
526triangle(106,o5).
527config(106,o5,up).
528triangle(106,o4).
529config(106,o4,up).
530in(106,o4,o5).
531circle(106,o3).
532circle(106,o2).
533in(106,o2,o3).
534square(106,o1).
535
536pos(107).
537square(107,o4).
538triangle(107,o3).
539config(107,o3,up).
540in(107,o3,o4).
541circle(107,o2).
542square(107,o1).
543in(107,o1,o2).
544
545neg(pos(109)).
546square(109,o4).
547circle(109,o3).
548in(109,o3,o4).
549square(109,o2).
550triangle(109,o1).
551config(109,o1,up).
552in(109,o1,o2).
553
554neg(pos(110)).
555triangle(110,o3).
556config(110,o3,up).
557circle(110,o2).
558in(110,o2,o3).
559triangle(110,o1).
560config(110,o1,up).
561
562neg(pos(111)).
563square(111,o6).
564circle(111,o5).
565in(111,o5,o6).
566square(111,o4).
567square(111,o3).
568in(111,o3,o4).
569triangle(111,o2).
570config(111,o2,up).
571square(111,o1).
572in(111,o1,o2).
573
574neg(pos(112)).
575square(112,o4).
576circle(112,o3).
577in(112,o3,o4).
578square(112,o2).
579circle(112,o1).
580in(112,o1,o2).
581
582neg(pos(117)).
583square(117,o2).
584square(117,o1).
585in(117,o1,o2).
586
587pos(120).
588circle(120,o3).
589square(120,o2).
590in(120,o2,o3).
591triangle(120,o1).
592config(120,o1,down).
593
594neg(pos(121)).
595triangle(121,o3).
596config(121,o3,down).
597square(121,o2).
598in(121,o2,o3).
599triangle(121,o1).
600config(121,o1,down).
601
602neg(pos(125)).
603circle(125,o4).
604circle(125,o3).
605in(125,o3,o4).
606square(125,o2).
607square(125,o1).
608in(125,o1,o2).
609
610neg(pos(126)).
611circle(126,o3).
612circle(126,o2).
613in(126,o2,o3).
614square(126,o1).
615
616neg(pos(127)).
617triangle(127,o3).
618config(127,o3,up).
619square(127,o2).
620in(127,o2,o3).
621square(127,o1).
622
623neg(pos(128)).
624circle(128,o3).
625circle(128,o2).
626in(128,o2,o3).
627square(128,o1).
628
629neg(pos(131)).
630circle(131,o2).
631circle(131,o1).
632in(131,o1,o2).
633
634pos(135).
635triangle(135,o5).
636config(135,o5,down).
637triangle(135,o4).
638config(135,o4,up).
639in(135,o4,o5).
640triangle(135,o3).
641config(135,o3,down).
642square(135,o2).
643in(135,o2,o3).
644square(135,o1).
645
646neg(pos(137)).
647square(137,o6).
648circle(137,o5).
649in(137,o5,o6).
650circle(137,o4).
651circle(137,o3).
652in(137,o3,o4).
653circle(137,o2).
654circle(137,o1).
655in(137,o1,o2).
656
657neg(pos(140)).
658square(140,o3).
659triangle(140,o2).
660config(140,o2,down).
661in(140,o2,o3).
662triangle(140,o1).
663config(140,o1,down).
664
665neg(pos(143)).
666circle(143,o4).
667triangle(143,o3).
668config(143,o3,down).
669in(143,o3,o4).
670circle(143,o2).
671circle(143,o1).
672in(143,o1,o2).
673
674neg(pos(144)).
675triangle(144,o5).
676config(144,o5,down).
677circle(144,o4).
678in(144,o4,o5).
679square(144,o3).
680square(144,o2).
681in(144,o2,o3).
682square(144,o1).
683
684neg(pos(151)).
685circle(151,o3).
686circle(151,o2).
687in(151,o2,o3).
688square(151,o1).
689
690neg(pos(154)).
691circle(154,o4).
692square(154,o3).
693in(154,o3,o4).
694circle(154,o2).
695circle(154,o1).
696in(154,o1,o2).
697
698neg(pos(155)).
699square(155,o3).
700circle(155,o2).
701in(155,o2,o3).
702square(155,o1).
703
704neg(pos(156)).
705square(156,o6).
706square(156,o5).
707in(156,o5,o6).
708triangle(156,o4).
709config(156,o4,down).
710square(156,o3).
711in(156,o3,o4).
712circle(156,o2).
713circle(156,o1).
714in(156,o1,o2).
715
716neg(pos(159)).
717triangle(159,o6).
718config(159,o6,up).
719square(159,o5).
720in(159,o5,o6).
721triangle(159,o4).
722config(159,o4,down).
723square(159,o3).
724in(159,o3,o4).
725square(159,o2).
726triangle(159,o1).
727config(159,o1,up).
728in(159,o1,o2).
729
730pos(167).
731circle(167,o4).
732circle(167,o3).
733in(167,o3,o4).
734triangle(167,o2).
735config(167,o2,up).
736triangle(167,o1).
737config(167,o1,down).
738in(167,o1,o2).
739
740pos(168).
741triangle(168,o4).
742config(168,o4,up).
743triangle(168,o3).
744config(168,o3,down).
745in(168,o3,o4).
746square(168,o2).
747triangle(168,o1).
748config(168,o1,down).
749in(168,o1,o2).
750
751neg(pos(169)).
752triangle(169,o6).
753config(169,o6,up).
754square(169,o5).
755in(169,o5,o6).
756circle(169,o4).
757triangle(169,o3).
758config(169,o3,down).
759in(169,o3,o4).
760circle(169,o2).
761circle(169,o1).
762in(169,o1,o2).
763
764neg(pos(172)).
765square(172,o4).
766circle(172,o3).
767in(172,o3,o4).
768triangle(172,o2).
769config(172,o2,up).
770circle(172,o1).
771in(172,o1,o2).
772
773neg(pos(175)).
774circle(175,o2).
775circle(175,o1).
776in(175,o1,o2).
777
778neg(pos(176)).
779circle(176,o5).
780circle(176,o4).
781in(176,o4,o5).
782circle(176,o3).
783square(176,o2).
784in(176,o2,o3).
785circle(176,o1).
786
787neg(pos(177)).
788circle(177,o4).
789circle(177,o3).
790in(177,o3,o4).
791square(177,o2).
792circle(177,o1).
793in(177,o1,o2).
794
795pos(178).
796triangle(178,o4).
797config(178,o4,up).
798triangle(178,o3).
799config(178,o3,up).
800in(178,o3,o4).
801triangle(178,o2).
802config(178,o2,up).
803square(178,o1).
804in(178,o1,o2).
805
806neg(pos(181)).
807triangle(181,o2).
808config(181,o2,up).
809circle(181,o1).
810in(181,o1,o2).
811
812neg(pos(184)).
813square(184,o2).
814circle(184,o1).
815in(184,o1,o2).
816
817neg(pos(188)).
818circle(188,o2).
819circle(188,o1).
820in(188,o1,o2).
821
822neg(pos(190)).
823square(190,o2).
824triangle(190,o1).
825config(190,o1,up).
826in(190,o1,o2).
827
828pos(192).
829circle(192,o3).
830square(192,o2).
831in(192,o2,o3).
832triangle(192,o1).
833config(192,o1,down).
834
835neg(pos(193)).
836triangle(193,o4).
837config(193,o4,up).
838circle(193,o3).
839in(193,o3,o4).
840square(193,o2).
841circle(193,o1).
842in(193,o1,o2).
843
844neg(pos(194)).
845circle(194,o4).
846square(194,o3).
847in(194,o3,o4).
848circle(194,o2).
849circle(194,o1).
850in(194,o1,o2).
851
852neg(pos(196)).
853square(196,o3).
854circle(196,o2).
855in(196,o2,o3).
856triangle(196,o1).
857config(196,o1,up).
858
859pos(198).
860triangle(198,o3).
861config(198,o3,down).
862triangle(198,o2).
863config(198,o2,down).
864in(198,o2,o3).
865square(198,o1).
866
867neg(pos(202)).
868circle(202,o5).
869circle(202,o4).
870in(202,o4,o5).
871square(202,o3).
872square(202,o2).
873in(202,o2,o3).
874triangle(202,o1).
875config(202,o1,down).
876
877neg(pos(206)).
878circle(206,o3).
879circle(206,o2).
880in(206,o2,o3).
881circle(206,o1).
882
883neg(pos(208)).
884square(208,o4).
885square(208,o3).
886in(208,o3,o4).
887triangle(208,o2).
888config(208,o2,down).
889circle(208,o1).
890in(208,o1,o2).
891
892neg(pos(209)).
893square(209,o5).
894square(209,o4).
895in(209,o4,o5).
896circle(209,o3).
897circle(209,o2).
898in(209,o2,o3).
899circle(209,o1).
900
901pos(211).
902triangle(211,o2).
903config(211,o2,down).
904triangle(211,o1).
905config(211,o1,down).
906in(211,o1,o2).
907
908pos(214).
909triangle(214,o5).
910config(214,o5,down).
911square(214,o4).
912in(214,o4,o5).
913circle(214,o3).
914square(214,o2).
915in(214,o2,o3).
916square(214,o1).
917
918pos(219).
919square(219,o4).
920triangle(219,o3).
921config(219,o3,up).
922in(219,o3,o4).
923triangle(219,o2).
924config(219,o2,up).
925triangle(219,o1).
926config(219,o1,down).
927in(219,o1,o2).
928
929pos(222).
930triangle(222,o4).
931config(222,o4,up).
932square(222,o3).
933in(222,o3,o4).
934triangle(222,o2).
935config(222,o2,down).
936triangle(222,o1).
937config(222,o1,down).
938in(222,o1,o2).
939
940pos(223).
941circle(223,o6).
942circle(223,o5).
943in(223,o5,o6).
944circle(223,o4).
945circle(223,o3).
946in(223,o3,o4).
947triangle(223,o2).
948config(223,o2,up).
949triangle(223,o1).
950config(223,o1,down).
951in(223,o1,o2).
952
953pos(224).
954circle(224,o6).
955square(224,o5).
956in(224,o5,o6).
957square(224,o4).
958square(224,o3).
959in(224,o3,o4).
960triangle(224,o2).
961config(224,o2,up).
962square(224,o1).
963in(224,o1,o2).
964
965pos(225).
966circle(225,o3).
967triangle(225,o2).
968config(225,o2,up).
969in(225,o2,o3).
970triangle(225,o1).
971config(225,o1,up).
972
973pos(227).
974circle(227,o3).
975triangle(227,o2).
976config(227,o2,up).
977in(227,o2,o3).
978circle(227,o1).
979
980neg(pos(230)).
981square(230,o5).
982square(230,o4).
983in(230,o4,o5).
984square(230,o3).
985triangle(230,o2).
986config(230,o2,up).
987in(230,o2,o3).
988triangle(230,o1).
989config(230,o1,down).
990
991pos(231).
992triangle(231,o2).
993config(231,o2,up).
994triangle(231,o1).
995config(231,o1,down).
996in(231,o1,o2).
997
998neg(pos(233)).
999square(233,o2).
1000circle(233,o1).
1001in(233,o1,o2).
1002
1003pos(238).
1004triangle(238,o5).
1005config(238,o5,up).
1006triangle(238,o4).
1007config(238,o4,down).
1008in(238,o4,o5).
1009triangle(238,o3).
1010config(238,o3,down).
1011triangle(238,o2).
1012config(238,o2,up).
1013in(238,o2,o3).
1014circle(238,o1).
1015
1016neg(pos(241)).
1017triangle(241,o5).
1018config(241,o5,up).
1019circle(241,o4).
1020in(241,o4,o5).
1021square(241,o3).
1022circle(241,o2).
1023in(241,o2,o3).
1024triangle(241,o1).
1025config(241,o1,down).
1026
1027neg(pos(243)).
1028circle(243,o2).
1029circle(243,o1).
1030in(243,o1,o2).
1031
1032pos(244).
1033square(244,o5).
1034square(244,o4).
1035in(244,o4,o5).
1036triangle(244,o3).
1037config(244,o3,down).
1038triangle(244,o2).
1039config(244,o2,down).
1040in(244,o2,o3).
1041square(244,o1).
1042
1043pos(248).
1044circle(248,o3).
1045triangle(248,o2).
1046config(248,o2,up).
1047in(248,o2,o3).
1048triangle(248,o1).
1049config(248,o1,down).
1050
1051neg(pos(249)).
1052circle(249,o5).
1053circle(249,o4).
1054in(249,o4,o5).
1055square(249,o3).
1056circle(249,o2).
1057in(249,o2,o3).
1058triangle(249,o1).
1059config(249,o1,down).
1060
1061neg(pos(250)).
1062square(250,o6).
1063circle(250,o5).
1064in(250,o5,o6).
1065circle(250,o4).
1066square(250,o3).
1067in(250,o3,o4).
1068circle(250,o2).
1069square(250,o1).
1070in(250,o1,o2).
1071
1072pos(256).
1073circle(256,o4).
1074triangle(256,o3).
1075config(256,o3,up).
1076in(256,o3,o4).
1077triangle(256,o2).
1078config(256,o2,up).
1079triangle(256,o1).
1080config(256,o1,down).
1081in(256,o1,o2).
1082
1083pos(258).
1084triangle(258,o4).
1085config(258,o4,up).
1086triangle(258,o3).
1087config(258,o3,down).
1088in(258,o3,o4).
1089circle(258,o2).
1090triangle(258,o1).
1091config(258,o1,down).
1092in(258,o1,o2).
1093
1094pos(260).
1095square(260,o4).
1096triangle(260,o3).
1097config(260,o3,down).
1098in(260,o3,o4).
1099triangle(260,o2).
1100config(260,o2,up).
1101triangle(260,o1).
1102config(260,o1,up).
1103in(260,o1,o2).
1104
1105neg(pos(268)).
1106square(268,o5).
1107circle(268,o4).
1108in(268,o4,o5).
1109circle(268,o3).
1110square(268,o2).
1111in(268,o2,o3).
1112square(268,o1).
1113
1114pos(270).
1115circle(270,o4).
1116triangle(270,o3).
1117config(270,o3,up).
1118in(270,o3,o4).
1119square(270,o2).
1120triangle(270,o1).
1121config(270,o1,down).
1122in(270,o1,o2).
1123
1124neg(pos(273)).
1125square(273,o4).
1126triangle(273,o3).
1127config(273,o3,down).
1128in(273,o3,o4).
1129square(273,o2).
1130square(273,o1).
1131in(273,o1,o2).
1132
1133neg(pos(280)).
1134square(280,o3).
1135square(280,o2).
1136in(280,o2,o3).
1137square(280,o1).
1138
1139pos(282).
1140triangle(282,o2).
1141config(282,o2,up).
1142triangle(282,o1).
1143config(282,o1,up).
1144in(282,o1,o2).
1145
1146neg(pos(286)).
1147triangle(286,o4).
1148config(286,o4,down).
1149circle(286,o3).
1150in(286,o3,o4).
1151triangle(286,o2).
1152config(286,o2,down).
1153square(286,o1).
1154in(286,o1,o2).
1155
1156neg(pos(287)).
1157triangle(287,o4).
1158config(287,o4,up).
1159square(287,o3).
1160in(287,o3,o4).
1161triangle(287,o2).
1162config(287,o2,down).
1163circle(287,o1).
1164in(287,o1,o2).
1165
1166pos(288).
1167circle(288,o5).
1168triangle(288,o4).
1169config(288,o4,up).
1170in(288,o4,o5).
1171circle(288,o3).
1172square(288,o2).
1173in(288,o2,o3).
1174square(288,o1).
1175
1176neg(pos(289)).
1177triangle(289,o6).
1178config(289,o6,up).
1179square(289,o5).
1180in(289,o5,o6).
1181triangle(289,o4).
1182config(289,o4,up).
1183square(289,o3).
1184in(289,o3,o4).
1185square(289,o2).
1186circle(289,o1).
1187in(289,o1,o2).
1188
1189neg(pos(290)).
1190triangle(290,o5).
1191config(290,o5,down).
1192circle(290,o4).
1193in(290,o4,o5).
1194triangle(290,o3).
1195config(290,o3,up).
1196circle(290,o2).
1197in(290,o2,o3).
1198square(290,o1).
1199
1200pos(295).
1201circle(295,o6).
1202triangle(295,o5).
1203config(295,o5,down).
1204in(295,o5,o6).
1205triangle(295,o4).
1206config(295,o4,down).
1207triangle(295,o3).
1208config(295,o3,down).
1209in(295,o3,o4).
1210circle(295,o2).
1211triangle(295,o1).
1212config(295,o1,up).
1213in(295,o1,o2).
1214
1215neg(pos(300)).
1216square(300,o3).
1217triangle(300,o2).
1218config(300,o2,down).
1219in(300,o2,o3).
1220triangle(300,o1).
1221config(300,o1,down).
1222
1223neg(pos(301)).
1224square(301,o6).
1225triangle(301,o5).
1226config(301,o5,up).
1227in(301,o5,o6).
1228square(301,o4).
1229square(301,o3).
1230in(301,o3,o4).
1231triangle(301,o2).
1232config(301,o2,up).
1233circle(301,o1).
1234in(301,o1,o2).
1235
1236neg(pos(303)).
1237circle(303,o3).
1238circle(303,o2).
1239in(303,o2,o3).
1240triangle(303,o1).
1241config(303,o1,up).
1242
1243neg(pos(304)).
1244square(304,o3).
1245square(304,o2).
1246in(304,o2,o3).
1247triangle(304,o1).
1248config(304,o1,up).
1249
1250neg(pos(307)).
1251square(307,o3).
1252circle(307,o2).
1253in(307,o2,o3).
1254square(307,o1).
1255
1256neg(pos(309)).
1257triangle(309,o3).
1258config(309,o3,down).
1259circle(309,o2).
1260in(309,o2,o3).
1261circle(309,o1).
1262
1263pos(314).
1264square(314,o5).
1265triangle(314,o4).
1266config(314,o4,down).
1267in(314,o4,o5).
1268triangle(314,o3).
1269config(314,o3,down).
1270triangle(314,o2).
1271config(314,o2,down).
1272in(314,o2,o3).
1273circle(314,o1).
1274
1275neg(pos(316)).
1276square(316,o4).
1277triangle(316,o3).
1278config(316,o3,up).
1279in(316,o3,o4).
1280triangle(316,o2).
1281config(316,o2,up).
1282circle(316,o1).
1283in(316,o1,o2).
1284
1285pos(319).
1286triangle(319,o5).
1287config(319,o5,down).
1288triangle(319,o4).
1289config(319,o4,down).
1290in(319,o4,o5).
1291square(319,o3).
1292square(319,o2).
1293in(319,o2,o3).
1294circle(319,o1).
1295
1296neg(pos(321)).
1297triangle(321,o2).
1298config(321,o2,down).
1299circle(321,o1).
1300in(321,o1,o2).
1301
1302neg(pos(324)).
1303square(324,o5).
1304square(324,o4).
1305in(324,o4,o5).
1306triangle(324,o3).
1307config(324,o3,down).
1308square(324,o2).
1309in(324,o2,o3).
1310square(324,o1).
1311
1312neg(pos(326)).
1313square(326,o6).
1314circle(326,o5).
1315in(326,o5,o6).
1316circle(326,o4).
1317square(326,o3).
1318in(326,o3,o4).
1319square(326,o2).
1320circle(326,o1).
1321in(326,o1,o2).
1322
1323neg(pos(327)).
1324square(327,o2).
1325circle(327,o1).
1326in(327,o1,o2).
1327
1328neg(pos(328)).
1329square(328,o2).
1330circle(328,o1).
1331in(328,o1,o2).
1332
1333neg(pos(329)).
1334triangle(329,o3).
1335config(329,o3,up).
1336circle(329,o2).
1337in(329,o2,o3).
1338square(329,o1).
1339
1340pos(331).
1341triangle(331,o4).
1342config(331,o4,up).
1343triangle(331,o3).
1344config(331,o3,up).
1345in(331,o3,o4).
1346triangle(331,o2).
1347config(331,o2,down).
1348triangle(331,o1).
1349config(331,o1,down).
1350in(331,o1,o2).
1351
1352neg(pos(334)).
1353triangle(334,o4).
1354config(334,o4,up).
1355circle(334,o3).
1356in(334,o3,o4).
1357square(334,o2).
1358square(334,o1).
1359in(334,o1,o2).
1360
1361neg(pos(337)).
1362circle(337,o4).
1363circle(337,o3).
1364in(337,o3,o4).
1365triangle(337,o2).
1366config(337,o2,down).
1367square(337,o1).
1368in(337,o1,o2).
1369
1370pos(343).
1371triangle(343,o6).
1372config(343,o6,down).
1373triangle(343,o5).
1374config(343,o5,up).
1375in(343,o5,o6).
1376square(343,o4).
1377square(343,o3).
1378in(343,o3,o4).
1379square(343,o2).
1380circle(343,o1).
1381in(343,o1,o2).
1382
1383pos(345).
1384circle(345,o5).
1385triangle(345,o4).
1386config(345,o4,up).
1387in(345,o4,o5).
1388circle(345,o3).
1389triangle(345,o2).
1390config(345,o2,up).
1391in(345,o2,o3).
1392square(345,o1).
1393
1394neg(pos(348)).
1395square(348,o4).
1396square(348,o3).
1397in(348,o3,o4).
1398square(348,o2).
1399circle(348,o1).
1400in(348,o1,o2).
1401
1402neg(pos(352)).
1403triangle(352,o6).
1404config(352,o6,down).
1405circle(352,o5).
1406in(352,o5,o6).
1407triangle(352,o4).
1408config(352,o4,up).
1409circle(352,o3).
1410in(352,o3,o4).
1411square(352,o2).
1412square(352,o1).
1413in(352,o1,o2).
1414
1415neg(pos(353)).
1416square(353,o2).
1417square(353,o1).
1418in(353,o1,o2).
1419
1420neg(pos(355)).
1421square(355,o2).
1422triangle(355,o1).
1423config(355,o1,up).
1424in(355,o1,o2).
1425
1426pos(358).
1427circle(358,o6).
1428square(358,o5).
1429in(358,o5,o6).
1430circle(358,o4).
1431triangle(358,o3).
1432config(358,o3,up).
1433in(358,o3,o4).
1434triangle(358,o2).
1435config(358,o2,up).
1436triangle(358,o1).
1437config(358,o1,down).
1438in(358,o1,o2).
1439
1440pos(366).
1441square(366,o6).
1442triangle(366,o5).
1443config(366,o5,down).
1444in(366,o5,o6).
1445circle(366,o4).
1446triangle(366,o3).
1447config(366,o3,down).
1448in(366,o3,o4).
1449triangle(366,o2).
1450config(366,o2,down).
1451triangle(366,o1).
1452config(366,o1,up).
1453in(366,o1,o2).
1454
1455neg(pos(369)).
1456triangle(369,o6).
1457config(369,o6,down).
1458circle(369,o5).
1459in(369,o5,o6).
1460square(369,o4).
1461square(369,o3).
1462in(369,o3,o4).
1463triangle(369,o2).
1464config(369,o2,up).
1465square(369,o1).
1466in(369,o1,o2).
1467
1468neg(pos(370)).
1469circle(370,o6).
1470circle(370,o5).
1471in(370,o5,o6).
1472square(370,o4).
1473triangle(370,o3).
1474config(370,o3,down).
1475in(370,o3,o4).
1476square(370,o2).
1477square(370,o1).
1478in(370,o1,o2).
1479
1480pos(373).
1481triangle(373,o3).
1482config(373,o3,up).
1483triangle(373,o2).
1484config(373,o2,down).
1485in(373,o2,o3).
1486square(373,o1).
1487
1488pos(375).
1489triangle(375,o4).
1490config(375,o4,down).
1491circle(375,o3).
1492in(375,o3,o4).
1493triangle(375,o2).
1494config(375,o2,up).
1495triangle(375,o1).
1496config(375,o1,up).
1497in(375,o1,o2).
1498
1499neg(pos(376)).
1500square(376,o4).
1501triangle(376,o3).
1502config(376,o3,down).
1503in(376,o3,o4).
1504square(376,o2).
1505square(376,o1).
1506in(376,o1,o2).
1507
1508neg(pos(378)).
1509square(378,o3).
1510circle(378,o2).
1511in(378,o2,o3).
1512square(378,o1).
1513
1514pos(379).
1515triangle(379,o3).
1516config(379,o3,up).
1517triangle(379,o2).
1518config(379,o2,up).
1519in(379,o2,o3).
1520triangle(379,o1).
1521config(379,o1,up).
1522
1523pos(381).
1524circle(381,o5).
1525square(381,o4).
1526in(381,o4,o5).
1527square(381,o3).
1528triangle(381,o2).
1529config(381,o2,down).
1530in(381,o2,o3).
1531triangle(381,o1).
1532config(381,o1,up).
1533
1534pos(382).
1535circle(382,o4).
1536triangle(382,o3).
1537config(382,o3,up).
1538in(382,o3,o4).
1539square(382,o2).
1540square(382,o1).
1541in(382,o1,o2).
1542
1543pos(390).
1544triangle(390,o4).
1545config(390,o4,down).
1546circle(390,o3).
1547in(390,o3,o4).
1548triangle(390,o2).
1549config(390,o2,down).
1550triangle(390,o1).
1551config(390,o1,down).
1552in(390,o1,o2).
1553
1554neg(pos(393)).
1555triangle(393,o3).
1556config(393,o3,up).
1557square(393,o2).
1558in(393,o2,o3).
1559square(393,o1).
1560
1561pos(402).
1562triangle(402,o5).
1563config(402,o5,down).
1564square(402,o4).
1565in(402,o4,o5).
1566triangle(402,o3).
1567config(402,o3,down).
1568triangle(402,o2).
1569config(402,o2,up).
1570in(402,o2,o3).
1571circle(402,o1).
1572
1573neg(pos(404)).
1574square(404,o3).
1575circle(404,o2).
1576in(404,o2,o3).
1577circle(404,o1).
1578
1579neg(pos(408)).
1580square(408,o2).
1581square(408,o1).
1582in(408,o1,o2).
1583
1584neg(pos(411)).
1585circle(411,o5).
1586triangle(411,o4).
1587config(411,o4,down).
1588in(411,o4,o5).
1589circle(411,o3).
1590circle(411,o2).
1591in(411,o2,o3).
1592square(411,o1).
1593
1594neg(pos(412)).
1595circle(412,o6).
1596circle(412,o5).
1597in(412,o5,o6).
1598square(412,o4).
1599circle(412,o3).
1600in(412,o3,o4).
1601circle(412,o2).
1602square(412,o1).
1603in(412,o1,o2).
1604
1605neg(pos(416)).
1606circle(416,o4).
1607square(416,o3).
1608in(416,o3,o4).
1609square(416,o2).
1610circle(416,o1).
1611in(416,o1,o2).
1612
1613neg(pos(417)).
1614triangle(417,o6).
1615config(417,o6,up).
1616square(417,o5).
1617in(417,o5,o6).
1618square(417,o4).
1619circle(417,o3).
1620in(417,o3,o4).
1621triangle(417,o2).
1622config(417,o2,up).
1623square(417,o1).
1624in(417,o1,o2).
1625
1626neg(pos(419)).
1627square(419,o2).
1628circle(419,o1).
1629in(419,o1,o2).
1630
1631pos(420).
1632triangle(420,o4).
1633config(420,o4,up).
1634triangle(420,o3).
1635config(420,o3,up).
1636in(420,o3,o4).
1637triangle(420,o2).
1638config(420,o2,up).
1639triangle(420,o1).
1640config(420,o1,down).
1641in(420,o1,o2).
1642
1643neg(pos(421)).
1644square(421,o2).
1645triangle(421,o1).
1646config(421,o1,up).
1647in(421,o1,o2).
1648
1649neg(pos(424)).
1650square(424,o2).
1651circle(424,o1).
1652in(424,o1,o2).
1653
1654neg(pos(425)).
1655triangle(425,o3).
1656config(425,o3,up).
1657circle(425,o2).
1658in(425,o2,o3).
1659square(425,o1).
1660
1661pos(427).
1662square(427,o6).
1663circle(427,o5).
1664in(427,o5,o6).
1665square(427,o4).
1666square(427,o3).
1667in(427,o3,o4).
1668triangle(427,o2).
1669config(427,o2,up).
1670triangle(427,o1).
1671config(427,o1,up).
1672in(427,o1,o2).
1673
1674pos(428).
1675circle(428,o4).
1676square(428,o3).
1677in(428,o3,o4).
1678square(428,o2).
1679triangle(428,o1).
1680config(428,o1,down).
1681in(428,o1,o2).
1682
1683neg(pos(431)).
1684square(431,o2).
1685triangle(431,o1).
1686config(431,o1,up).
1687in(431,o1,o2).
1688
1689neg(pos(432)).
1690square(432,o3).
1691circle(432,o2).
1692in(432,o2,o3).
1693circle(432,o1).
1694
1695pos(433).
1696triangle(433,o6).
1697config(433,o6,down).
1698square(433,o5).
1699in(433,o5,o6).
1700circle(433,o4).
1701square(433,o3).
1702in(433,o3,o4).
1703circle(433,o2).
1704square(433,o1).
1705in(433,o1,o2).
1706
1707neg(pos(437)).
1708triangle(437,o2).
1709config(437,o2,up).
1710circle(437,o1).
1711in(437,o1,o2).
1712
1713neg(pos(444)).
1714triangle(444,o3).
1715config(444,o3,down).
1716circle(444,o2).
1717in(444,o2,o3).
1718triangle(444,o1).
1719config(444,o1,up).
1720
1721neg(pos(445)).
1722square(445,o5).
1723triangle(445,o4).
1724config(445,o4,up).
1725in(445,o4,o5).
1726triangle(445,o3).
1727config(445,o3,down).
1728square(445,o2).
1729in(445,o2,o3).
1730square(445,o1).
1731
1732neg(pos(447)).
1733square(447,o5).
1734square(447,o4).
1735in(447,o4,o5).
1736square(447,o3).
1737triangle(447,o2).
1738config(447,o2,up).
1739in(447,o2,o3).
1740triangle(447,o1).
1741config(447,o1,down).
1742
1743pos(453).
1744circle(453,o6).
1745triangle(453,o5).
1746config(453,o5,down).
1747in(453,o5,o6).
1748triangle(453,o4).
1749config(453,o4,down).
1750triangle(453,o3).
1751config(453,o3,up).
1752in(453,o3,o4).
1753triangle(453,o2).
1754config(453,o2,up).
1755triangle(453,o1).
1756config(453,o1,up).
1757in(453,o1,o2).
1758
1759pos(456).
1760triangle(456,o3).
1761config(456,o3,up).
1762triangle(456,o2).
1763config(456,o2,up).
1764in(456,o2,o3).
1765square(456,o1).
1766
1767neg(pos(457)).
1768square(457,o4).
1769triangle(457,o3).
1770config(457,o3,up).
1771in(457,o3,o4).
1772triangle(457,o2).
1773config(457,o2,up).
1774square(457,o1).
1775in(457,o1,o2).
1776
1777pos(459).
1778triangle(459,o6).
1779config(459,o6,down).
1780triangle(459,o5).
1781config(459,o5,up).
1782in(459,o5,o6).
1783circle(459,o4).
1784circle(459,o3).
1785in(459,o3,o4).
1786triangle(459,o2).
1787config(459,o2,down).
1788circle(459,o1).
1789in(459,o1,o2).
1790
1791neg(pos(462)).
1792square(462,o2).
1793triangle(462,o1).
1794config(462,o1,down).
1795in(462,o1,o2).
1796
1797pos(463).
1798square(463,o6).
1799triangle(463,o5).
1800config(463,o5,down).
1801in(463,o5,o6).
1802square(463,o4).
1803square(463,o3).
1804in(463,o3,o4).
1805circle(463,o2).
1806square(463,o1).
1807in(463,o1,o2).
1808
1809pos(464).
1810triangle(464,o4).
1811config(464,o4,down).
1812square(464,o3).
1813in(464,o3,o4).
1814triangle(464,o2).
1815config(464,o2,up).
1816triangle(464,o1).
1817config(464,o1,up).
1818in(464,o1,o2).
1819
1820pos(465).
1821triangle(465,o3).
1822config(465,o3,down).
1823triangle(465,o2).
1824config(465,o2,down).
1825in(465,o2,o3).
1826square(465,o1).
1827
1828neg(pos(468)).
1829circle(468,o2).
1830circle(468,o1).
1831in(468,o1,o2).
1832
1833neg(pos(470)).
1834triangle(470,o4).
1835config(470,o4,down).
1836square(470,o3).
1837in(470,o3,o4).
1838circle(470,o2).
1839circle(470,o1).
1840in(470,o1,o2).
1841
1842neg(pos(473)).
1843square(473,o4).
1844triangle(473,o3).
1845config(473,o3,up).
1846in(473,o3,o4).
1847square(473,o2).
1848circle(473,o1).
1849in(473,o1,o2).
1850
1851neg(pos(474)).
1852triangle(474,o6).
1853config(474,o6,up).
1854square(474,o5).
1855in(474,o5,o6).
1856square(474,o4).
1857circle(474,o3).
1858in(474,o3,o4).
1859square(474,o2).
1860circle(474,o1).
1861in(474,o1,o2).
1862
1863neg(pos(476)).
1864triangle(476,o5).
1865config(476,o5,down).
1866square(476,o4).
1867in(476,o4,o5).
1868circle(476,o3).
1869circle(476,o2).
1870in(476,o2,o3).
1871square(476,o1).
1872
1873neg(pos(477)).
1874square(477,o4).
1875triangle(477,o3).
1876config(477,o3,up).
1877in(477,o3,o4).
1878square(477,o2).
1879triangle(477,o1).
1880config(477,o1,up).
1881in(477,o1,o2).
1882
1883pos(479).
1884circle(479,o2).
1885triangle(479,o1).
1886config(479,o1,up).
1887in(479,o1,o2).
1888
1889neg(pos(481)).
1890triangle(481,o2).
1891config(481,o2,down).
1892circle(481,o1).
1893in(481,o1,o2).
1894
1895pos(482).
1896triangle(482,o4).
1897config(482,o4,up).
1898triangle(482,o3).
1899config(482,o3,up).
1900in(482,o3,o4).
1901circle(482,o2).
1902triangle(482,o1).
1903config(482,o1,up).
1904in(482,o1,o2).
1905
1906neg(pos(483)).
1907circle(483,o4).
1908circle(483,o3).
1909in(483,o3,o4).
1910square(483,o2).
1911square(483,o1).
1912in(483,o1,o2).
1913
1914neg(pos(485)).
1915triangle(485,o2).
1916config(485,o2,down).
1917circle(485,o1).
1918in(485,o1,o2).
1919
1920neg(pos(488)).
1921triangle(488,o4).
1922config(488,o4,down).
1923circle(488,o3).
1924in(488,o3,o4).
1925square(488,o2).
1926circle(488,o1).
1927in(488,o1,o2).
1928
1929neg(pos(489)).
1930triangle(489,o3).
1931config(489,o3,down).
1932square(489,o2).
1933in(489,o2,o3).
1934square(489,o1).
1935
1936neg(pos(490)).
1937triangle(490,o5).
1938config(490,o5,down).
1939circle(490,o4).
1940in(490,o4,o5).
1941circle(490,o3).
1942circle(490,o2).
1943in(490,o2,o3).
1944square(490,o1).
1945
1946neg(pos(491)).
1947triangle(491,o2).
1948config(491,o2,up).
1949square(491,o1).
1950in(491,o1,o2).
1951
1952neg(pos(494)).
1953triangle(494,o2).
1954config(494,o2,up).
1955square(494,o1).
1956in(494,o1,o2).
1957
1958neg(pos(497)).
1959triangle(497,o2).
1960config(497,o2,up).
1961square(497,o1).
1962in(497,o1,o2).
1963
1964neg(pos(499)).
1965square(499,o5).
1966triangle(499,o4).
1967config(499,o4,down).
1968in(499,o4,o5).
1969square(499,o3).
1970square(499,o2).
1971in(499,o2,o3).
1972square(499,o1).
1973
1974neg(pos(500)).
1975circle(500,o3).
1976circle(500,o2).
1977in(500,o2,o3).
1978square(500,o1).
1979
1980neg(pos(512)).
1981square(512,o2).
1982triangle(512,o1).
1983config(512,o1,down).
1984in(512,o1,o2).
1985
1986neg(pos(513)).
1987triangle(513,o6).
1988config(513,o6,up).
1989square(513,o5).
1990in(513,o5,o6).
1991square(513,o4).
1992triangle(513,o3).
1993config(513,o3,up).
1994in(513,o3,o4).
1995triangle(513,o2).
1996config(513,o2,up).
1997square(513,o1).
1998in(513,o1,o2).
1999
2000pos(516).
2001circle(516,o4).
2002square(516,o3).
2003in(516,o3,o4).
2004circle(516,o2).
2005triangle(516,o1).
2006config(516,o1,down).
2007in(516,o1,o2).
2008
2009neg(pos(517)).
2010square(517,o5).
2011square(517,o4).
2012in(517,o4,o5).
2013triangle(517,o3).
2014config(517,o3,down).
2015square(517,o2).
2016in(517,o2,o3).
2017square(517,o1).
2018
2019pos(520).
2020triangle(520,o2).
2021config(520,o2,down).
2022triangle(520,o1).
2023config(520,o1,down).
2024in(520,o1,o2).
2025
2026neg(pos(521)).
2027circle(521,o6).
2028circle(521,o5).
2029in(521,o5,o6).
2030square(521,o4).
2031square(521,o3).
2032in(521,o3,o4).
2033circle(521,o2).
2034square(521,o1).
2035in(521,o1,o2).
2036
2037pos(527).
2038circle(527,o5).
2039triangle(527,o4).
2040config(527,o4,up).
2041in(527,o4,o5).
2042circle(527,o3).
2043square(527,o2).
2044in(527,o2,o3).
2045triangle(527,o1).
2046config(527,o1,up).
2047
2048neg(pos(529)).
2049square(529,o4).
2050triangle(529,o3).
2051config(529,o3,up).
2052in(529,o3,o4).
2053square(529,o2).
2054circle(529,o1).
2055in(529,o1,o2).
2056
2057neg(pos(531)).
2058circle(531,o2).
2059circle(531,o1).
2060in(531,o1,o2).
2061
2062neg(pos(533)).
2063triangle(533,o4).
2064config(533,o4,up).
2065square(533,o3).
2066in(533,o3,o4).
2067square(533,o2).
2068square(533,o1).
2069in(533,o1,o2).
2070
2071neg(pos(534)).
2072circle(534,o2).
2073circle(534,o1).
2074in(534,o1,o2).
2075
2076pos(539).
2077square(539,o6).
2078triangle(539,o5).
2079config(539,o5,down).
2080in(539,o5,o6).
2081circle(539,o4).
2082square(539,o3).
2083in(539,o3,o4).
2084square(539,o2).
2085square(539,o1).
2086in(539,o1,o2).
2087
2088neg(pos(540)).
2089circle(540,o2).
2090circle(540,o1).
2091in(540,o1,o2).
2092
2093neg(pos(542)).
2094square(542,o5).
2095square(542,o4).
2096in(542,o4,o5).
2097triangle(542,o3).
2098config(542,o3,up).
2099circle(542,o2).
2100in(542,o2,o3).
2101triangle(542,o1).
2102config(542,o1,down).
2103
2104neg(pos(543)).
2105triangle(543,o4).
2106config(543,o4,up).
2107square(543,o3).
2108in(543,o3,o4).
2109circle(543,o2).
2110circle(543,o1).
2111in(543,o1,o2).
2112
2113neg(pos(544)).
2114circle(544,o6).
2115circle(544,o5).
2116in(544,o5,o6).
2117square(544,o4).
2118circle(544,o3).
2119in(544,o3,o4).
2120circle(544,o2).
2121square(544,o1).
2122in(544,o1,o2).
2123
2124neg(pos(546)).
2125square(546,o3).
2126circle(546,o2).
2127in(546,o2,o3).
2128circle(546,o1).
2129
2130pos(550).
2131triangle(550,o4).
2132config(550,o4,up).
2133square(550,o3).
2134in(550,o3,o4).
2135circle(550,o2).
2136square(550,o1).
2137in(550,o1,o2).
2138
2139pos(552).
2140circle(552,o4).
2141triangle(552,o3).
2142config(552,o3,down).
2143in(552,o3,o4).
2144circle(552,o2).
2145triangle(552,o1).
2146config(552,o1,up).
2147in(552,o1,o2).
2148
2149neg(pos(553)).
2150circle(553,o2).
2151circle(553,o1).
2152in(553,o1,o2).
2153
2154neg(pos(555)).
2155square(555,o4).
2156triangle(555,o3).
2157config(555,o3,down).
2158in(555,o3,o4).
2159square(555,o2).
2160circle(555,o1).
2161in(555,o1,o2).
2162
2163neg(pos(559)).
2164square(559,o3).
2165circle(559,o2).
2166in(559,o2,o3).
2167triangle(559,o1).
2168config(559,o1,up).
2169
2170pos(565).
2171triangle(565,o6).
2172config(565,o6,down).
2173triangle(565,o5).
2174config(565,o5,up).
2175in(565,o5,o6).
2176circle(565,o4).
2177square(565,o3).
2178in(565,o3,o4).
2179triangle(565,o2).
2180config(565,o2,up).
2181circle(565,o1).
2182in(565,o1,o2).
2183
2184pos(567).
2185circle(567,o3).
2186square(567,o2).
2187in(567,o2,o3).
2188triangle(567,o1).
2189config(567,o1,down).
2190
2191pos(568).
2192square(568,o6).
2193square(568,o5).
2194in(568,o5,o6).
2195square(568,o4).
2196triangle(568,o3).
2197config(568,o3,up).
2198in(568,o3,o4).
2199circle(568,o2).
2200triangle(568,o1).
2201config(568,o1,up).
2202in(568,o1,o2).
2203
2204pos(572).
2205triangle(572,o4).
2206config(572,o4,down).
2207triangle(572,o3).
2208config(572,o3,down).
2209in(572,o3,o4).
2210square(572,o2).
2211triangle(572,o1).
2212config(572,o1,up).
2213in(572,o1,o2).
2214
2215neg(pos(578)).
2216square(578,o2).
2217triangle(578,o1).
2218config(578,o1,up).
2219in(578,o1,o2).
2220
2221pos(582).
2222triangle(582,o4).
2223config(582,o4,down).
2224triangle(582,o3).
2225config(582,o3,up).
2226in(582,o3,o4).
2227circle(582,o2).
2228triangle(582,o1).
2229config(582,o1,down).
2230in(582,o1,o2).
2231
2232neg(pos(583)).
2233square(583,o3).
2234circle(583,o2).
2235in(583,o2,o3).
2236square(583,o1).
2237
2238neg(pos(591)).
2239square(591,o2).
2240triangle(591,o1).
2241config(591,o1,up).
2242in(591,o1,o2).
2243
2244pos(595).
2245square(595,o4).
2246triangle(595,o3).
2247config(595,o3,down).
2248in(595,o3,o4).
2249triangle(595,o2).
2250config(595,o2,down).
2251triangle(595,o1).
2252config(595,o1,up).
2253in(595,o1,o2).
2254
2255pos(597).
2256circle(597,o4).
2257square(597,o3).
2258in(597,o3,o4).
2259triangle(597,o2).
2260config(597,o2,up).
2261square(597,o1).
2262in(597,o1,o2).
2263
2264neg(pos(600)).
2265square(600,o2).
2266square(600,o1).
2267in(600,o1,o2).
2268
2269pos(602).
2270circle(602,o5).
2271triangle(602,o4).
2272config(602,o4,down).
2273in(602,o4,o5).
2274circle(602,o3).
2275triangle(602,o2).
2276config(602,o2,up).
2277in(602,o2,o3).
2278circle(602,o1).
2279
2280neg(pos(609)).
2281circle(609,o2).
2282circle(609,o1).
2283in(609,o1,o2).
2284
2285neg(pos(612)).
2286triangle(612,o5).
2287config(612,o5,down).
2288circle(612,o4).
2289in(612,o4,o5).
2290square(612,o3).
2291square(612,o2).
2292in(612,o2,o3).
2293square(612,o1).
2294
2295neg(pos(614)).
2296triangle(614,o3).
2297config(614,o3,up).
2298square(614,o2).
2299in(614,o2,o3).
2300square(614,o1).
2301
2302neg(pos(615)).
2303square(615,o2).
2304triangle(615,o1).
2305config(615,o1,up).
2306in(615,o1,o2).
2307
2308neg(pos(616)).
2309circle(616,o2).
2310circle(616,o1).
2311in(616,o1,o2).
2312
2313neg(pos(617)).
2314square(617,o5).
2315triangle(617,o4).
2316config(617,o4,down).
2317in(617,o4,o5).
2318square(617,o3).
2319square(617,o2).
2320in(617,o2,o3).
2321square(617,o1).
2322
2323pos(622).
2324triangle(622,o2).
2325config(622,o2,down).
2326triangle(622,o1).
2327config(622,o1,down).
2328in(622,o1,o2).
2329
2330neg(pos(625)).
2331circle(625,o2).
2332circle(625,o1).
2333in(625,o1,o2).
2334
2335neg(pos(628)).
2336triangle(628,o5).
2337config(628,o5,down).
2338circle(628,o4).
2339in(628,o4,o5).
2340square(628,o3).
2341square(628,o2).
2342in(628,o2,o3).
2343square(628,o1).
2344
2345pos(634).
2346square(634,o6).
2347triangle(634,o5).
2348config(634,o5,up).
2349in(634,o5,o6).
2350triangle(634,o4).
2351config(634,o4,down).
2352triangle(634,o3).
2353config(634,o3,up).
2354in(634,o3,o4).
2355circle(634,o2).
2356square(634,o1).
2357in(634,o1,o2).
2358
2359neg(pos(635)).
2360triangle(635,o5).
2361config(635,o5,down).
2362circle(635,o4).
2363in(635,o4,o5).
2364triangle(635,o3).
2365config(635,o3,up).
2366square(635,o2).
2367in(635,o2,o3).
2368circle(635,o1).
2369
2370neg(pos(637)).
2371square(637,o2).
2372triangle(637,o1).
2373config(637,o1,up).
2374in(637,o1,o2).
2375
2376pos(639).
2377triangle(639,o5).
2378config(639,o5,up).
2379square(639,o4).
2380in(639,o4,o5).
2381circle(639,o3).
2382square(639,o2).
2383in(639,o2,o3).
2384triangle(639,o1).
2385config(639,o1,up).
2386
2387pos(640).
2388circle(640,o6).
2389square(640,o5).
2390in(640,o5,o6).
2391triangle(640,o4).
2392config(640,o4,up).
2393triangle(640,o3).
2394config(640,o3,down).
2395in(640,o3,o4).
2396triangle(640,o2).
2397config(640,o2,down).
2398square(640,o1).
2399in(640,o1,o2).
2400
2401pos(641).
2402circle(641,o2).
2403triangle(641,o1).
2404config(641,o1,up).
2405in(641,o1,o2).
2406
2407pos(642).
2408circle(642,o6).
2409square(642,o5).
2410in(642,o5,o6).
2411triangle(642,o4).
2412config(642,o4,up).
2413square(642,o3).
2414in(642,o3,o4).
2415circle(642,o2).
2416square(642,o1).
2417in(642,o1,o2).
2418
2419pos(647).
2420triangle(647,o4).
2421config(647,o4,up).
2422triangle(647,o3).
2423config(647,o3,down).
2424in(647,o3,o4).
2425square(647,o2).
2426square(647,o1).
2427in(647,o1,o2).
2428
2429pos(648).
2430triangle(648,o6).
2431config(648,o6,down).
2432triangle(648,o5).
2433config(648,o5,down).
2434in(648,o5,o6).
2435square(648,o4).
2436circle(648,o3).
2437in(648,o3,o4).
2438circle(648,o2).
2439circle(648,o1).
2440in(648,o1,o2).
2441
2442pos(649).
2443square(649,o4).
2444triangle(649,o3).
2445config(649,o3,up).
2446in(649,o3,o4).
2447circle(649,o2).
2448square(649,o1).
2449in(649,o1,o2).
2450
2451pos(650).
2452circle(650,o4).
2453square(650,o3).
2454in(650,o3,o4).
2455square(650,o2).
2456triangle(650,o1).
2457config(650,o1,up).
2458in(650,o1,o2).
2459
2460neg(pos(654)).
2461triangle(654,o4).
2462config(654,o4,up).
2463circle(654,o3).
2464in(654,o3,o4).
2465circle(654,o2).
2466circle(654,o1).
2467in(654,o1,o2).
2468
2469neg(pos(656)).
2470square(656,o2).
2471triangle(656,o1).
2472config(656,o1,down).
2473in(656,o1,o2).
2474
2475pos(657).
2476circle(657,o3).
2477triangle(657,o2).
2478config(657,o2,up).
2479in(657,o2,o3).
2480square(657,o1).
2481
2482neg(pos(658)).
2483square(658,o4).
2484circle(658,o3).
2485in(658,o3,o4).
2486square(658,o2).
2487circle(658,o1).
2488in(658,o1,o2).
2489
2490neg(pos(662)).
2491square(662,o3).
2492circle(662,o2).
2493in(662,o2,o3).
2494circle(662,o1).
2495
2496pos(667).
2497circle(667,o6).
2498circle(667,o5).
2499in(667,o5,o6).
2500triangle(667,o4).
2501config(667,o4,down).
2502circle(667,o3).
2503in(667,o3,o4).
2504triangle(667,o2).
2505config(667,o2,up).
2506triangle(667,o1).
2507config(667,o1,down).
2508in(667,o1,o2).
2509
2510neg(pos(669)).
2511square(669,o4).
2512square(669,o3).
2513in(669,o3,o4).
2514square(669,o2).
2515triangle(669,o1).
2516config(669,o1,down).
2517in(669,o1,o2).
2518
2519neg(pos(671)).
2520square(671,o5).
2521square(671,o4).
2522in(671,o4,o5).
2523triangle(671,o3).
2524config(671,o3,up).
2525circle(671,o2).
2526in(671,o2,o3).
2527square(671,o1).
2528
2529neg(pos(679)).
2530triangle(679,o2).
2531config(679,o2,up).
2532square(679,o1).
2533in(679,o1,o2).
2534
2535neg(pos(682)).
2536triangle(682,o4).
2537config(682,o4,up).
2538square(682,o3).
2539in(682,o3,o4).
2540triangle(682,o2).
2541config(682,o2,up).
2542square(682,o1).
2543in(682,o1,o2).
2544
2545neg(pos(683)).
2546square(683,o4).
2547circle(683,o3).
2548in(683,o3,o4).
2549triangle(683,o2).
2550config(683,o2,down).
2551circle(683,o1).
2552in(683,o1,o2).
2553
2554pos(685).
2555square(685,o6).
2556circle(685,o5).
2557in(685,o5,o6).
2558circle(685,o4).
2559circle(685,o3).
2560in(685,o3,o4).
2561triangle(685,o2).
2562config(685,o2,up).
2563triangle(685,o1).
2564config(685,o1,up).
2565in(685,o1,o2).
2566
2567pos(686).
2568circle(686,o4).
2569triangle(686,o3).
2570config(686,o3,up).
2571in(686,o3,o4).
2572square(686,o2).
2573triangle(686,o1).
2574config(686,o1,down).
2575in(686,o1,o2).
2576
2577neg(pos(691)).
2578square(691,o5).
2579circle(691,o4).
2580in(691,o4,o5).
2581triangle(691,o3).
2582config(691,o3,up).
2583square(691,o2).
2584in(691,o2,o3).
2585circle(691,o1).
2586
2587neg(pos(693)).
2588triangle(693,o6).
2589config(693,o6,up).
2590square(693,o5).
2591in(693,o5,o6).
2592square(693,o4).
2593circle(693,o3).
2594in(693,o3,o4).
2595square(693,o2).
2596triangle(693,o1).
2597config(693,o1,down).
2598in(693,o1,o2).
2599
2600neg(pos(698)).
2601triangle(698,o6).
2602config(698,o6,up).
2603circle(698,o5).
2604in(698,o5,o6).
2605square(698,o4).
2606square(698,o3).
2607in(698,o3,o4).
2608square(698,o2).
2609square(698,o1).
2610in(698,o1,o2).
2611
2612neg(pos(700)).
2613triangle(700,o2).
2614config(700,o2,down).
2615circle(700,o1).
2616in(700,o1,o2).
2617
2618neg(pos(701)).
2619circle(701,o5).
2620square(701,o4).
2621in(701,o4,o5).
2622circle(701,o3).
2623circle(701,o2).
2624in(701,o2,o3).
2625circle(701,o1).
2626
2627neg(pos(705)).
2628circle(705,o5).
2629circle(705,o4).
2630in(705,o4,o5).
2631triangle(705,o3).
2632config(705,o3,up).
2633circle(705,o2).
2634in(705,o2,o3).
2635circle(705,o1).
2636
2637neg(pos(708)).
2638triangle(708,o5).
2639config(708,o5,up).
2640square(708,o4).
2641in(708,o4,o5).
2642circle(708,o3).
2643circle(708,o2).
2644in(708,o2,o3).
2645square(708,o1).
2646
2647neg(pos(709)).
2648circle(709,o5).
2649circle(709,o4).
2650in(709,o4,o5).
2651triangle(709,o3).
2652config(709,o3,down).
2653circle(709,o2).
2654in(709,o2,o3).
2655square(709,o1).
2656
2657neg(pos(710)).
2658square(710,o4).
2659triangle(710,o3).
2660config(710,o3,down).
2661in(710,o3,o4).
2662square(710,o2).
2663triangle(710,o1).
2664config(710,o1,down).
2665in(710,o1,o2).
2666
2667neg(pos(719)).
2668square(719,o4).
2669square(719,o3).
2670in(719,o3,o4).
2671triangle(719,o2).
2672config(719,o2,down).
2673circle(719,o1).
2674in(719,o1,o2).
2675
2676neg(pos(722)).
2677triangle(722,o4).
2678config(722,o4,down).
2679square(722,o3).
2680in(722,o3,o4).
2681triangle(722,o2).
2682config(722,o2,up).
2683square(722,o1).
2684in(722,o1,o2).
2685
2686neg(pos(723)).
2687circle(723,o4).
2688circle(723,o3).
2689in(723,o3,o4).
2690triangle(723,o2).
2691config(723,o2,down).
2692circle(723,o1).
2693in(723,o1,o2).
2694
2695pos(725).
2696triangle(725,o2).
2697config(725,o2,down).
2698triangle(725,o1).
2699config(725,o1,down).
2700in(725,o1,o2).
2701
2702neg(pos(728)).
2703circle(728,o4).
2704circle(728,o3).
2705in(728,o3,o4).
2706square(728,o2).
2707circle(728,o1).
2708in(728,o1,o2).
2709
2710neg(pos(732)).
2711circle(732,o5).
2712triangle(732,o4).
2713config(732,o4,down).
2714in(732,o4,o5).
2715triangle(732,o3).
2716config(732,o3,up).
2717circle(732,o2).
2718in(732,o2,o3).
2719circle(732,o1).
2720
2721neg(pos(734)).
2722square(734,o4).
2723circle(734,o3).
2724in(734,o3,o4).
2725triangle(734,o2).
2726config(734,o2,down).
2727circle(734,o1).
2728in(734,o1,o2).
2729
2730neg(pos(737)).
2731square(737,o4).
2732circle(737,o3).
2733in(737,o3,o4).
2734square(737,o2).
2735triangle(737,o1).
2736config(737,o1,down).
2737in(737,o1,o2).
2738
2739neg(pos(740)).
2740square(740,o2).
2741square(740,o1).
2742in(740,o1,o2).
2743
2744neg(pos(741)).
2745triangle(741,o5).
2746config(741,o5,up).
2747circle(741,o4).
2748in(741,o4,o5).
2749square(741,o3).
2750circle(741,o2).
2751in(741,o2,o3).
2752triangle(741,o1).
2753config(741,o1,down).
2754
2755neg(pos(743)).
2756triangle(743,o2).
2757config(743,o2,down).
2758square(743,o1).
2759in(743,o1,o2).
2760
2761neg(pos(744)).
2762triangle(744,o5).
2763config(744,o5,down).
2764square(744,o4).
2765in(744,o4,o5).
2766triangle(744,o3).
2767config(744,o3,down).
2768square(744,o2).
2769in(744,o2,o3).
2770triangle(744,o1).
2771config(744,o1,down).
2772
2773pos(745).
2774circle(745,o3).
2775square(745,o2).
2776in(745,o2,o3).
2777triangle(745,o1).
2778config(745,o1,up).
2779
2780neg(pos(747)).
2781square(747,o2).
2782square(747,o1).
2783in(747,o1,o2).
2784
2785neg(pos(748)).
2786square(748,o5).
2787circle(748,o4).
2788in(748,o4,o5).
2789triangle(748,o3).
2790config(748,o3,down).
2791circle(748,o2).
2792in(748,o2,o3).
2793triangle(748,o1).
2794config(748,o1,up).
2795
2796neg(pos(750)).
2797square(750,o4).
2798triangle(750,o3).
2799config(750,o3,up).
2800in(750,o3,o4).
2801triangle(750,o2).
2802config(750,o2,up).
2803square(750,o1).
2804in(750,o1,o2).
2805
2806neg(pos(751)).
2807triangle(751,o2).
2808config(751,o2,down).
2809square(751,o1).
2810in(751,o1,o2).
2811
2812pos(753).
2813circle(753,o6).
2814triangle(753,o5).
2815config(753,o5,up).
2816in(753,o5,o6).
2817square(753,o4).
2818square(753,o3).
2819in(753,o3,o4).
2820square(753,o2).
2821square(753,o1).
2822in(753,o1,o2).
2823
2824neg(pos(754)).
2825square(754,o3).
2826triangle(754,o2).
2827config(754,o2,up).
2828in(754,o2,o3).
2829triangle(754,o1).
2830config(754,o1,up).
2831
2832neg(pos(755)).
2833triangle(755,o2).
2834config(755,o2,up).
2835circle(755,o1).
2836in(755,o1,o2).
2837
2838neg(pos(765)).
2839triangle(765,o2).
2840config(765,o2,down).
2841square(765,o1).
2842in(765,o1,o2).
2843
2844neg(pos(766)).
2845triangle(766,o3).
2846config(766,o3,up).
2847square(766,o2).
2848in(766,o2,o3).
2849triangle(766,o1).
2850config(766,o1,down).
2851
2852pos(768).
2853square(768,o6).
2854square(768,o5).
2855in(768,o5,o6).
2856circle(768,o4).
2857triangle(768,o3).
2858config(768,o3,down).
2859in(768,o3,o4).
2860triangle(768,o2).
2861config(768,o2,down).
2862triangle(768,o1).
2863config(768,o1,up).
2864in(768,o1,o2).
2865
2866neg(pos(769)).
2867circle(769,o2).
2868circle(769,o1).
2869in(769,o1,o2).
2870
2871neg(pos(772)).
2872square(772,o5).
2873circle(772,o4).
2874in(772,o4,o5).
2875square(772,o3).
2876triangle(772,o2).
2877config(772,o2,down).
2878in(772,o2,o3).
2879triangle(772,o1).
2880config(772,o1,down).
2881
2882neg(pos(773)).
2883square(773,o5).
2884triangle(773,o4).
2885config(773,o4,up).
2886in(773,o4,o5).
2887square(773,o3).
2888circle(773,o2).
2889in(773,o2,o3).
2890square(773,o1).
2891
2892neg(pos(777)).
2893triangle(777,o3).
2894config(777,o3,up).
2895circle(777,o2).
2896in(777,o2,o3).
2897circle(777,o1).
2898
2899neg(pos(779)).
2900square(779,o5).
2901triangle(779,o4).
2902config(779,o4,down).
2903in(779,o4,o5).
2904triangle(779,o3).
2905config(779,o3,up).
2906square(779,o2).
2907in(779,o2,o3).
2908square(779,o1).
2909
2910neg(pos(780)).
2911square(780,o5).
2912square(780,o4).
2913in(780,o4,o5).
2914circle(780,o3).
2915circle(780,o2).
2916in(780,o2,o3).
2917circle(780,o1).
2918
2919neg(pos(781)).
2920triangle(781,o6).
2921config(781,o6,up).
2922square(781,o5).
2923in(781,o5,o6).
2924square(781,o4).
2925triangle(781,o3).
2926config(781,o3,up).
2927in(781,o3,o4).
2928triangle(781,o2).
2929config(781,o2,up).
2930circle(781,o1).
2931in(781,o1,o2).
2932
2933pos(787).
2934square(787,o6).
2935triangle(787,o5).
2936config(787,o5,down).
2937in(787,o5,o6).
2938triangle(787,o4).
2939config(787,o4,down).
2940square(787,o3).
2941in(787,o3,o4).
2942circle(787,o2).
2943square(787,o1).
2944in(787,o1,o2).
2945
2946neg(pos(794)).
2947triangle(794,o3).
2948config(794,o3,up).
2949square(794,o2).
2950in(794,o2,o3).
2951triangle(794,o1).
2952config(794,o1,down).
2953
2954neg(pos(795)).
2955triangle(795,o3).
2956config(795,o3,down).
2957circle(795,o2).
2958in(795,o2,o3).
2959triangle(795,o1).
2960config(795,o1,up).
2961
2962neg(pos(797)).
2963circle(797,o5).
2964circle(797,o4).
2965in(797,o4,o5).
2966circle(797,o3).
2967square(797,o2).
2968in(797,o2,o3).
2969circle(797,o1).
2970
2971neg(pos(803)).
2972triangle(803,o4).
2973config(803,o4,up).
2974circle(803,o3).
2975in(803,o3,o4).
2976square(803,o2).
2977square(803,o1).
2978in(803,o1,o2).
2979
2980pos(805).
2981circle(805,o6).
2982triangle(805,o5).
2983config(805,o5,down).
2984in(805,o5,o6).
2985square(805,o4).
2986triangle(805,o3).
2987config(805,o3,down).
2988in(805,o3,o4).
2989triangle(805,o2).
2990config(805,o2,up).
2991triangle(805,o1).
2992config(805,o1,up).
2993in(805,o1,o2).
2994
2995neg(pos(807)).
2996square(807,o5).
2997triangle(807,o4).
2998config(807,o4,up).
2999in(807,o4,o5).
3000triangle(807,o3).
3001config(807,o3,down).
3002circle(807,o2).
3003in(807,o2,o3).
3004circle(807,o1).
3005
3006neg(pos(814)).
3007square(814,o2).
3008square(814,o1).
3009in(814,o1,o2).
3010
3011neg(pos(815)).
3012circle(815,o5).
3013circle(815,o4).
3014in(815,o4,o5).
3015square(815,o3).
3016circle(815,o2).
3017in(815,o2,o3).
3018square(815,o1).
3019
3020pos(816).
3021triangle(816,o6).
3022config(816,o6,up).
3023triangle(816,o5).
3024config(816,o5,down).
3025in(816,o5,o6).
3026triangle(816,o4).
3027config(816,o4,up).
3028circle(816,o3).
3029in(816,o3,o4).
3030square(816,o2).
3031triangle(816,o1).
3032config(816,o1,up).
3033in(816,o1,o2).
3034
3035neg(pos(818)).
3036square(818,o2).
3037triangle(818,o1).
3038config(818,o1,up).
3039in(818,o1,o2).
3040
3041neg(pos(819)).
3042circle(819,o5).
3043circle(819,o4).
3044in(819,o4,o5).
3045square(819,o3).
3046square(819,o2).
3047in(819,o2,o3).
3048circle(819,o1).
3049
3050neg(pos(822)).
3051square(822,o3).
3052square(822,o2).
3053in(822,o2,o3).
3054square(822,o1).
3055
3056neg(pos(829)).
3057square(829,o3).
3058square(829,o2).
3059in(829,o2,o3).
3060triangle(829,o1).
3061config(829,o1,down).
3062
3063neg(pos(832)).
3064square(832,o5).
3065circle(832,o4).
3066in(832,o4,o5).
3067triangle(832,o3).
3068config(832,o3,down).
3069circle(832,o2).
3070in(832,o2,o3).
3071square(832,o1).
3072
3073neg(pos(833)).
3074triangle(833,o3).
3075config(833,o3,up).
3076circle(833,o2).
3077in(833,o2,o3).
3078circle(833,o1).
3079
3080pos(835).
3081triangle(835,o6).
3082config(835,o6,down).
3083square(835,o5).
3084in(835,o5,o6).
3085triangle(835,o4).
3086config(835,o4,up).
3087triangle(835,o3).
3088config(835,o3,up).
3089in(835,o3,o4).
3090circle(835,o2).
3091triangle(835,o1).
3092config(835,o1,down).
3093in(835,o1,o2).
3094
3095neg(pos(836)).
3096square(836,o6).
3097square(836,o5).
3098in(836,o5,o6).
3099circle(836,o4).
3100square(836,o3).
3101in(836,o3,o4).
3102square(836,o2).
3103circle(836,o1).
3104in(836,o1,o2).
3105
3106pos(837).
3107triangle(837,o5).
3108config(837,o5,down).
3109triangle(837,o4).
3110config(837,o4,down).
3111in(837,o4,o5).
3112square(837,o3).
3113triangle(837,o2).
3114config(837,o2,down).
3115in(837,o2,o3).
3116square(837,o1).
3117
3118neg(pos(838)).
3119square(838,o4).
3120triangle(838,o3).
3121config(838,o3,up).
3122in(838,o3,o4).
3123triangle(838,o2).
3124config(838,o2,up).
3125square(838,o1).
3126in(838,o1,o2).
3127
3128pos(841).
3129triangle(841,o5).
3130config(841,o5,down).
3131triangle(841,o4).
3132config(841,o4,down).
3133in(841,o4,o5).
3134square(841,o3).
3135circle(841,o2).
3136in(841,o2,o3).
3137circle(841,o1).
3138
3139pos(844).
3140square(844,o6).
3141square(844,o5).
3142in(844,o5,o6).
3143circle(844,o4).
3144triangle(844,o3).
3145config(844,o3,up).
3146in(844,o3,o4).
3147circle(844,o2).
3148square(844,o1).
3149in(844,o1,o2).
3150
3151neg(pos(845)).
3152triangle(845,o4).
3153config(845,o4,up).
3154circle(845,o3).
3155in(845,o3,o4).
3156triangle(845,o2).
3157config(845,o2,down).
3158circle(845,o1).
3159in(845,o1,o2).
3160
3161neg(pos(846)).
3162square(846,o5).
3163square(846,o4).
3164in(846,o4,o5).
3165square(846,o3).
3166square(846,o2).
3167in(846,o2,o3).
3168square(846,o1).
3169
3170neg(pos(847)).
3171circle(847,o6).
3172circle(847,o5).
3173in(847,o5,o6).
3174circle(847,o4).
3175square(847,o3).
3176in(847,o3,o4).
3177circle(847,o2).
3178square(847,o1).
3179in(847,o1,o2).
3180
3181neg(pos(848)).
3182triangle(848,o3).
3183config(848,o3,down).
3184circle(848,o2).
3185in(848,o2,o3).
3186triangle(848,o1).
3187config(848,o1,down).
3188
3189pos(849).
3190triangle(849,o5).
3191config(849,o5,down).
3192triangle(849,o4).
3193config(849,o4,up).
3194in(849,o4,o5).
3195circle(849,o3).
3196triangle(849,o2).
3197config(849,o2,up).
3198in(849,o2,o3).
3199square(849,o1).
3200
3201neg(pos(856)).
3202triangle(856,o2).
3203config(856,o2,down).
3204square(856,o1).
3205in(856,o1,o2).
3206
3207neg(pos(859)).
3208square(859,o2).
3209circle(859,o1).
3210in(859,o1,o2).
3211
3212neg(pos(862)).
3213square(862,o3).
3214triangle(862,o2).
3215config(862,o2,down).
3216in(862,o2,o3).
3217square(862,o1).
3218
3219pos(864).
3220circle(864,o3).
3221triangle(864,o2).
3222config(864,o2,up).
3223in(864,o2,o3).
3224square(864,o1).
3225
3226neg(pos(867)).
3227circle(867,o5).
3228circle(867,o4).
3229in(867,o4,o5).
3230square(867,o3).
3231triangle(867,o2).
3232config(867,o2,up).
3233in(867,o2,o3).
3234circle(867,o1).
3235
3236neg(pos(872)).
3237square(872,o3).
3238circle(872,o2).
3239in(872,o2,o3).
3240circle(872,o1).
3241
3242pos(874).
3243triangle(874,o3).
3244config(874,o3,down).
3245triangle(874,o2).
3246config(874,o2,down).
3247in(874,o2,o3).
3248square(874,o1).
3249
3250neg(pos(876)).
3251square(876,o2).
3252circle(876,o1).
3253in(876,o1,o2).
3254
3255pos(880).
3256circle(880,o6).
3257circle(880,o5).
3258in(880,o5,o6).
3259triangle(880,o4).
3260config(880,o4,up).
3261triangle(880,o3).
3262config(880,o3,up).
3263in(880,o3,o4).
3264circle(880,o2).
3265circle(880,o1).
3266in(880,o1,o2).
3267
3268neg(pos(882)).
3269triangle(882,o4).
3270config(882,o4,down).
3271circle(882,o3).
3272in(882,o3,o4).
3273circle(882,o2).
3274circle(882,o1).
3275in(882,o1,o2).
3276
3277neg(pos(887)).
3278triangle(887,o4).
3279config(887,o4,down).
3280square(887,o3).
3281in(887,o3,o4).
3282triangle(887,o2).
3283config(887,o2,up).
3284square(887,o1).
3285in(887,o1,o2).
3286
3287neg(pos(890)).
3288triangle(890,o3).
3289config(890,o3,down).
3290square(890,o2).
3291in(890,o2,o3).
3292square(890,o1).
3293
3294neg(pos(892)).
3295triangle(892,o5).
3296config(892,o5,down).
3297circle(892,o4).
3298in(892,o4,o5).
3299square(892,o3).
3300triangle(892,o2).
3301config(892,o2,up).
3302in(892,o2,o3).
3303square(892,o1).
3304
3305pos(893).
3306triangle(893,o2).
3307config(893,o2,up).
3308triangle(893,o1).
3309config(893,o1,down).
3310in(893,o1,o2).
3311
3312neg(pos(897)).
3313square(897,o6).
3314square(897,o5).
3315in(897,o5,o6).
3316triangle(897,o4).
3317config(897,o4,up).
3318square(897,o3).
3319in(897,o3,o4).
3320triangle(897,o2).
3321config(897,o2,up).
3322square(897,o1).
3323in(897,o1,o2).
3324
3325neg(pos(899)).
3326circle(899,o2).
3327circle(899,o1).
3328in(899,o1,o2).
3329
3330neg(pos(900)).
3331square(900,o6).
3332triangle(900,o5).
3333config(900,o5,down).
3334in(900,o5,o6).
3335square(900,o4).
3336triangle(900,o3).
3337config(900,o3,up).
3338in(900,o3,o4).
3339square(900,o2).
3340square(900,o1).
3341in(900,o1,o2).
3342
3343neg(pos(904)).
3344circle(904,o5).
3345circle(904,o4).
3346in(904,o4,o5).
3347square(904,o3).
3348circle(904,o2).
3349in(904,o2,o3).
3350circle(904,o1).
3351
3352pos(909).
3353circle(909,o6).
3354square(909,o5).
3355in(909,o5,o6).
3356triangle(909,o4).
3357config(909,o4,up).
3358triangle(909,o3).
3359config(909,o3,up).
3360in(909,o3,o4).
3361square(909,o2).
3362circle(909,o1).
3363in(909,o1,o2).
3364
3365pos(910).
3366triangle(910,o4).
3367config(910,o4,down).
3368square(910,o3).
3369in(910,o3,o4).
3370circle(910,o2).
3371square(910,o1).
3372in(910,o1,o2).
3373
3374neg(pos(912)).
3375circle(912,o6).
3376triangle(912,o5).
3377config(912,o5,down).
3378in(912,o5,o6).
3379triangle(912,o4).
3380config(912,o4,up).
3381square(912,o3).
3382in(912,o3,o4).
3383triangle(912,o2).
3384config(912,o2,up).
3385circle(912,o1).
3386in(912,o1,o2).
3387
3388neg(pos(915)).
3389triangle(915,o5).
3390config(915,o5,up).
3391square(915,o4).
3392in(915,o4,o5).
3393triangle(915,o3).
3394config(915,o3,down).
3395circle(915,o2).
3396in(915,o2,o3).
3397circle(915,o1).
3398
3399neg(pos(917)).
3400triangle(917,o3).
3401config(917,o3,up).
3402square(917,o2).
3403in(917,o2,o3).
3404triangle(917,o1).
3405config(917,o1,up).
3406
3407neg(pos(926)).
3408square(926,o4).
3409square(926,o3).
3410in(926,o3,o4).
3411square(926,o2).
3412circle(926,o1).
3413in(926,o1,o2).
3414
3415neg(pos(927)).
3416triangle(927,o5).
3417config(927,o5,down).
3418circle(927,o4).
3419in(927,o4,o5).
3420triangle(927,o3).
3421config(927,o3,up).
3422circle(927,o2).
3423in(927,o2,o3).
3424circle(927,o1).
3425
3426neg(pos(929)).
3427square(929,o2).
3428circle(929,o1).
3429in(929,o1,o2).
3430
3431pos(930).
3432triangle(930,o3).
3433config(930,o3,up).
3434triangle(930,o2).
3435config(930,o2,up).
3436in(930,o2,o3).
3437square(930,o1).
3438
3439neg(pos(931)).
3440square(931,o2).
3441triangle(931,o1).
3442config(931,o1,up).
3443in(931,o1,o2).
3444
3445pos(932).
3446triangle(932,o5).
3447config(932,o5,down).
3448square(932,o4).
3449in(932,o4,o5).
3450triangle(932,o3).
3451config(932,o3,down).
3452triangle(932,o2).
3453config(932,o2,up).
3454in(932,o2,o3).
3455circle(932,o1).
3456
3457neg(pos(933)).
3458square(933,o3).
3459square(933,o2).
3460in(933,o2,o3).
3461triangle(933,o1).
3462config(933,o1,down).
3463
3464pos(938).
3465circle(938,o6).
3466circle(938,o5).
3467in(938,o5,o6).
3468triangle(938,o4).
3469config(938,o4,down).
3470triangle(938,o3).
3471config(938,o3,up).
3472in(938,o3,o4).
3473square(938,o2).
3474triangle(938,o1).
3475config(938,o1,down).
3476in(938,o1,o2).
3477
3478neg(pos(939)).
3479triangle(939,o2).
3480config(939,o2,up).
3481square(939,o1).
3482in(939,o1,o2).
3483
3484pos(940).
3485triangle(940,o4).
3486config(940,o4,down).
3487triangle(940,o3).
3488config(940,o3,up).
3489in(940,o3,o4).
3490circle(940,o2).
3491triangle(940,o1).
3492config(940,o1,up).
3493in(940,o1,o2).
3494
3495neg(pos(941)).
3496triangle(941,o3).
3497config(941,o3,down).
3498circle(941,o2).
3499in(941,o2,o3).
3500square(941,o1).
3501
3502neg(pos(944)).
3503circle(944,o4).
3504circle(944,o3).
3505in(944,o3,o4).
3506circle(944,o2).
3507triangle(944,o1).
3508config(944,o1,down).
3509in(944,o1,o2).
3510
3511neg(pos(945)).
3512square(945,o5).
3513square(945,o4).
3514in(945,o4,o5).
3515square(945,o3).
3516circle(945,o2).
3517in(945,o2,o3).
3518triangle(945,o1).
3519config(945,o1,down).
3520
3521pos(946).
3522triangle(946,o5).
3523config(946,o5,up).
3524circle(946,o4).
3525in(946,o4,o5).
3526triangle(946,o3).
3527config(946,o3,down).
3528triangle(946,o2).
3529config(946,o2,down).
3530in(946,o2,o3).
3531circle(946,o1).
3532
3533pos(947).
3534circle(947,o5).
3535circle(947,o4).
3536in(947,o4,o5).
3537triangle(947,o3).
3538config(947,o3,down).
3539triangle(947,o2).
3540config(947,o2,down).
3541in(947,o2,o3).
3542circle(947,o1).
3543
3544neg(pos(955)).
3545circle(955,o6).
3546triangle(955,o5).
3547config(955,o5,down).
3548in(955,o5,o6).
3549square(955,o4).
3550triangle(955,o3).
3551config(955,o3,up).
3552in(955,o3,o4).
3553square(955,o2).
3554circle(955,o1).
3555in(955,o1,o2).
3556
3557pos(957).
3558triangle(957,o6).
3559config(957,o6,down).
3560circle(957,o5).
3561in(957,o5,o6).
3562circle(957,o4).
3563square(957,o3).
3564in(957,o3,o4).
3565triangle(957,o2).
3566config(957,o2,up).
3567triangle(957,o1).
3568config(957,o1,up).
3569in(957,o1,o2).
3570
3571neg(pos(961)).
3572square(961,o4).
3573circle(961,o3).
3574in(961,o3,o4).
3575circle(961,o2).
3576circle(961,o1).
3577in(961,o1,o2).
3578
3579pos(971).
3580circle(971,o5).
3581triangle(971,o4).
3582config(971,o4,down).
3583in(971,o4,o5).
3584triangle(971,o3).
3585config(971,o3,up).
3586triangle(971,o2).
3587config(971,o2,down).
3588in(971,o2,o3).
3589square(971,o1).
3590
3591neg(pos(973)).
3592square(973,o4).
3593circle(973,o3).
3594in(973,o3,o4).
3595triangle(973,o2).
3596config(973,o2,down).
3597circle(973,o1).
3598in(973,o1,o2).
3599
3600neg(pos(974)).
3601circle(974,o6).
3602circle(974,o5).
3603in(974,o5,o6).
3604square(974,o4).
3605circle(974,o3).
3606in(974,o3,o4).
3607circle(974,o2).
3608circle(974,o1).
3609in(974,o1,o2).
3610
3611neg(pos(975)).
3612square(975,o3).
3613triangle(975,o2).
3614config(975,o2,down).
3615in(975,o2,o3).
3616triangle(975,o1).
3617config(975,o1,up).
3618
3619neg(pos(977)).
3620circle(977,o2).
3621circle(977,o1).
3622in(977,o1,o2).
3623
3624pos(978).
3625triangle(978,o2).
3626config(978,o2,down).
3627triangle(978,o1).
3628config(978,o1,up).
3629in(978,o1,o2).
3630
3631pos(979).
3632circle(979,o2).
3633triangle(979,o1).
3634config(979,o1,up).
3635in(979,o1,o2).
3636
3637neg(pos(984)).
3638square(984,o2).
3639circle(984,o1).
3640in(984,o1,o2).
3641
3642neg(pos(989)).
3643triangle(989,o2).
3644config(989,o2,up).
3645circle(989,o1).
3646in(989,o1,o2).
3647
3648pos(991).
3649circle(991,o6).
3650square(991,o5).
3651in(991,o5,o6).
3652triangle(991,o4).
3653config(991,o4,down).
3654square(991,o3).
3655in(991,o3,o4).
3656triangle(991,o2).
3657config(991,o2,up).
3658triangle(991,o1).
3659config(991,o1,down).
3660in(991,o1,o2).
3661
3662pos(995).
3663triangle(995,o6).
3664config(995,o6,up).
3665triangle(995,o5).
3666config(995,o5,up).
3667in(995,o5,o6).
3668square(995,o4).
3669square(995,o3).
3670in(995,o3,o4).
3671circle(995,o2).
3672circle(995,o1).
3673in(995,o1,o2).
3674
3675neg(pos(997)).
3676square(997,o3).
3677square(997,o2).
3678in(997,o2,o3).
3679triangle(997,o1).
3680config(997,o1,down).
3681
3682neg(pos(1000)).
3683square(1000,o6).
3684triangle(1000,o5).
3685config(1000,o5,up).
3686in(1000,o5,o6).
3687triangle(1000,o4).
3688config(1000,o4,up).
3689circle(1000,o3).
3690in(1000,o3,o4).
3691triangle(1000,o2).
3692config(1000,o2,down).
3693circle(1000,o1).
3694in(1000,o1,o2)
?-
induce_par_pascal([train],P),test_pascal(P,[test],LL,AUCROC,ROC,AUCPR,PR). % learn the parameteters and test the result ?-induce_pascal([train],P),test_pascal(P,[test],LL,AUCROC,ROC,AUCPR,PR). % learn the structure and the parameters and test the result ?-induce_par_pascal([all],P). ?-induce_pascal([all],P). */