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