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