```    1/* Bongard dataset from
2L. De Raedt and W. Van Laer. Inductive constraint logic.
3In Klaus P. Jantke, Takeshi Shinohara, and Thomas Zeugmann, editors,
4Proceedings of the Sixth International Workshop on Algorithmic
5Learning Theory, volume 997 of Lecture Notes in Artificial Intelligence,
6pages 80-94. SpringerVerlag, 1995.
7
9https://dtai.cs.kuleuven.be/static/ACE/doc/
10*/
```

?- `induce_lm([train],P)`,`test(P,[test],LL,AUCROC,ROC,AUCPR,PR)`. */

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