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
    8Downloaded from
    9https://dtai.cs.kuleuven.be/static/ACE/doc/
   10*/

   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))