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