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