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
   11     Arnaud Nguembang Fadja and Fabrizio Riguzzi. 
   12      Hierachical probabilistic logic programs
   13*/

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