1/* Bongard dataset from
2L. De Raedt and W. Van Laer. Inductive constraint logic.
3In Klaus P. Jantke, Takeshi Shinohara, and Thomas Zeugmann, editors,
4Proceedings of the Sixth International Workshop on Algorithmic
5Learning Theory, volume 997 of Lecture Notes in Artificial Intelligence,
6pages 80-94. SpringerVerlag, 1995.
7
9https://dtai.cs.kuleuven.be/static/ACE/doc/
10*/

?- induce_par([train],P),test(P,[test],LL,AUCROC,ROC,AUCPR,PR). % learn the parameteters and test the result ?- induce([train],P),test(P,[test],LL,AUCROC,ROC,AUCPR,PR). % learn the structure and the parameters and test the result ?- in(P),test(P,[test],LL,AUCROC,ROC,AUCPR,PR). % test the input theory ?- induce_par([all],P). ?- induce([all],P). */

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