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

?- induce_lift([train],P),test_lift(P,[test],LL,AUCROC,ROC,AUCPR,PR). % learn the structure and the parameters and test the result ?- induce_par_lift([train],P),test_lift(P,[test],LL,AUCROC,ROC,AUCPR,PR). % learn the parameteters and test the result ?- in(P),test_lift(P,[test],LL,AUCROC,ROC,AUCPR,PR). % test the input theory ?- induce_par_lift([all],P). ?- induce_lift([all],P). */

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