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