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

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