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