```    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_par([train],P)`,`test(P,[test],LL,AUCROC,ROC,AUCPR,PR)`. % learn the parameteters and test the result ?- `induce([train],P)`,`test(P,[test],LL,AUCROC,ROC,AUCPR,PR)`. % learn the structure and the parameters and test the result ?- `in(P)`,`test(P,[test],LL,AUCROC,ROC,AUCPR,PR)`. % test the input theory ?- `induce_par([all],P)`. ?- `induce([all],P)`. */

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