cuelang.org/go@v0.10.1/cue/testdata/benchmarks/share.txtar (about)

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