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