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*/

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