ampl: include 'C:\Users\DELL\Ejecutar52.run';

Presolve eliminates 2553 constraints and 671104 variables.
Adjusted problem:
74148 variables:
	1456 binary variables
	72682 integer variables
	10 linear variables
11008 constraints, all linear; 668007 nonzeros
	2636 equality constraints
	8372 inequality constraints
1 linear objective; 5 nonzeros.

Setting $presolve_inteps < 1.71e-14 could change presolve results.

CPLEX 20.1.0.0: timelimit=7200
outlev=1
mipdisplay=2
MIP Presolve eliminated 97 rows and 4709 columns.
MIP Presolve modified 104 coefficients.
Reduced MIP has 9950 rows, 68387 columns, and 616396 nonzeros.
Reduced MIP has 1456 binaries, 66926 generals, 0 SOSs, and 0 indicators.
Detecting symmetries...
MIP Presolve eliminated 660 rows and 708 columns.
Reduced MIP has 9290 rows, 67679 columns, and 613868 nonzeros.
Reduced MIP has 1344 binaries, 66330 generals, 0 SOSs, and 0 indicators.
Probing fixed 0 vars, tightened 294 bounds.
Probing time = 0.16 sec. (54.48 ticks)
Cover probing fixed 0 vars, tightened 677 bounds.
Clique table members: 96.
MIP emphasis: balance optimality and feasibility.
MIP search method: dynamic search.
Parallel mode: deterministic, using up to 8 threads.
Root relaxation solution time = 4.19 sec. (2239.70 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap

      0     0     3813.3862  1337                   3813.3862       26         
*     0+    0                      6566873.5201     3813.3862            99.94%
*     0+    0                      6566789.1451     3813.3862            99.94%
      0     0     3813.3878  1112  6566789.1451     Cuts: 156     3772   99.94%
      0     0     3813.3878  1239  6566789.1451     Cuts: 761     7405   99.94%
      0     0     3813.3878   899  6566789.1451      Cuts: 88    10717   99.94%
*     0+    0                         7687.8319     3813.3878            50.40%
*     0+    0                         6389.9261     3813.3878            40.32%
*     0+    0                         6388.2368     3813.3878            40.31%
*     0+    0                         6239.8281     3813.3878            38.89%
*     0+    0                         6151.1697     3813.3878            38.01%
*     0+    0                         6100.4097     3813.3878            37.49%
*     0+    0                         6072.2097     3813.3878            37.20%
*     0+    0                         6065.7327     3813.3878            37.13%
      0     0  -1.00000e+75     0     6065.7327     3813.3878    10717   37.13%
      0     0     3813.3878  1031     6065.7327     Cuts: 622    13190   37.13%
Heuristic still looking.
      0     2     3813.3878   684     6065.7327     3813.3878    13190   37.13%
Elapsed time = 161.52 sec. (149198.48 ticks, tree = 0.02 MB)
      1     3     3813.3878   683     6065.7327     3813.3878    13197   37.13%
      2     3     3813.3936  1057     6065.7327     3813.3878    24539   37.13%
      3     4     3813.3878  1147     6065.7327     3813.3878    18977   37.13%
      4     6     3813.3878  1066     6065.7327     3813.3878    31818   37.13%
      5     7     3813.3878  1078     6065.7327     3813.3878    32172   37.13%
      7     4     3813.4012  1128     6065.7327     3813.3878    21140   37.13%
*     9+    6                         6060.6623     3813.3878            37.08%
      9    11     3813.3878  1072     6060.6623     3813.3878    44985   37.08%
     10    12     3813.3878  1061     6060.6623     3813.3878    45329   37.08%
     11    13     3813.3878  1081     6060.6623     3813.3878    45516   37.08%
*    12+    4                         5930.3966     3813.3878            35.70%
     12    10     3813.4012  1213     5930.3966     3813.3878    50579   35.70%
Elapsed time = 246.95 sec. (186400.55 ticks, tree = 0.04 MB)
     14     5     3813.3936  1092     5930.3966     3813.3878    34984   35.70%
     18     5     3813.3936   978     5930.3966     3813.3878    37110   35.70%
     20    14     3813.3879  1105     5930.3966     3813.3878    51561   35.70%
     24    19     3813.3878   968     5930.3966     3813.3878    84930   35.70%
     30    16     3813.4012  1084     5930.3966     3813.3878    60415   35.70%
     31    20     3813.3936  1022     5930.3966     3813.3878    81570   35.70%
     33    21     3813.3936  1067     5930.3966     3813.3878    81905   35.70%
     35    24     3813.4012  1026     5930.3966     3813.3878    91290   35.70%
     38    23     3813.4278  1061     5930.3966     3813.3878    88285   35.70%
     44    33     3813.3878   970     5930.3966     3813.3878    93845   35.70%
Elapsed time = 320.13 sec. (202944.68 ticks, tree = 1.52 MB)
     48    25     3813.4012   950     5930.3966     3813.3878    93073   35.70%
     53    39     3813.3878  1000     5930.3966     3813.3878    94914   35.70%
     56    41     3813.4078  1091     5930.3966     3813.3878    95654   35.70%
     61    47     3813.3878   894     5930.3966     3813.3878   105453   35.70%
     68    49     3813.3878   941     5930.3966     3813.3878   110989   35.70%
     76    52     3813.3878  1040     5930.3966     3813.3878   111475   35.70%
     81    49     3813.3878  1024     5930.3966     3813.3878   107089   35.70%
     84    61     3813.4136  1037     5930.3966     3813.3878   127154   35.70%
     88    54     3813.3878  1180     5930.3966     3813.3878   123440   35.70%
     92    70     3813.3878   809     5930.3966     3813.3878   140224   35.70%
Elapsed time = 374.78 sec. (217105.75 ticks, tree = 2.96 MB)
     96    74     3813.3936  1030     5930.3966     3813.3878   153348   35.70%
    103    89     3813.3878   953     5930.3966     3813.3878   170845   35.70%
    113    92     3813.3878   974     5930.3966     3813.3878   171296   35.70%
    120    95     3813.3878  1055     5930.3966     3813.3878   179121   35.70%
    125    94     3813.3878   918     5930.3966     3813.3878   172506   35.70%
    128   102     3813.3878  1022     5930.3966     3813.3878   204316   35.70%
    135   104     3813.3878  1003     5930.3966     3813.3878   204799   35.70%
    143   107     3813.3936   979     5930.3966     3813.3878   208226   35.70%
    144   119     3813.4078  1025     5930.3966     3813.3878   214417   35.70%
    150   107     3813.3878  1033     5930.3966     3813.3878   207184   35.70%
Elapsed time = 436.36 sec. (230014.12 ticks, tree = 4.13 MB)
    153   141     3813.3878  1028     5930.3966     3813.3878   228221   35.70%
    155   126     3813.3878  1029     5930.3966     3813.3878   220632   35.70%
    161   125     3813.4078  1058     5930.3966     3813.3878   216900   35.70%
    165   146     3813.3878  1064     5930.3966     3813.3878   232721   35.70%
    168   153     3813.4274  1119     5930.3966     3813.3878   236776   35.70%
    170   161     3813.3878   834     5930.3966     3813.3878   242969   35.70%
    173   158     3813.4053   906     5930.3966     3813.3878   240663   35.70%
    179   150     3813.3878  1026     5930.3966     3813.3878   235365   35.70%
    187   165     3813.3878   855     5930.3966     3813.3878   246862   35.70%
    194   168     3813.4078  1107     5930.3966     3813.3878   247500   35.70%
Elapsed time = 500.70 sec. (243674.13 ticks, tree = 9.61 MB)
    197   176     3813.3878   924     5930.3966     3813.3878   251821   35.70%
    200   108     3813.3936   652     5930.3966     3813.3878   208231   35.70%
    205   178     3813.3936   789     5930.3966     3813.3878   253970   35.70%
    213   177     3813.3878   973     5930.3966     3813.3878   253731   35.70%
    217   180     3813.4012   498     5930.3966     3813.3878   256744   35.70%
    225   184     3813.4012   510     5930.3966     3813.3878   257332   35.70%
    230   185     3813.4012   568     5930.3966     3813.3878   257953   35.70%
    236   207     3813.3878   927     5930.3966     3813.3878   271054   35.70%
    242   186     3813.4012   573     5930.3966     3813.3878   259257   35.70%
    251   208     3813.3878  1054     5930.3966     3813.3878   272461   35.70%
Elapsed time = 552.89 sec. (255118.51 ticks, tree = 12.14 MB)
    255   199     3813.4078  1029     5930.3966     3813.3878   268168   35.70%
    264   244     3813.4012   482     5930.3966     3813.3878   305076   35.70%
    269   209     3813.3878  1078     5930.3966     3813.3878   274352   35.70%
    281   245     3813.4012   542     5930.3966     3813.3878   307151   35.70%
    284   212     3813.3878  1026     5930.3966     3813.3878   276506   35.70%
    288   247     3813.4012   594     5930.3966     3813.3878   308865   35.70%
    290   253     3813.4678  1053     5930.3966     3813.3878   315824   35.70%
    292   249     3813.4012   476     5930.3966     3813.3878   310477   35.70%
    293   261     3813.4078  1070     5930.3966     3813.3878   321026   35.70%
    296   274     3813.4012   519     5930.3966     3813.3878   343010   35.70%
Elapsed time = 623.14 sec. (269348.51 ticks, tree = 16.89 MB)
    298   275     3813.4012   500     5930.3966     3813.3878   344593   35.70%
    300   276     3813.4012   568     5930.3966     3813.3878   346760   35.70%
    301   258     3813.4053   519     5930.3966     3813.3878   338946   35.70%
    302   206     3813.3936  1010     5930.3966     3813.3878   303359   35.70%
    304   284     3813.4078  1162     5930.3966     3813.3878   354968   35.70%
    305   277     3813.4012   689     5930.3966     3813.3878   353295   35.70%
    310   219     3813.4163   980     5930.3966     3813.3878   313936   35.70%
    312   304     3813.3963   881     5930.3966     3813.3878   421541   35.70%
    319   306     3813.3963   805     5930.3966     3813.3878   422031   35.70%
    323   297     3813.4253   904     5930.3966     3813.3878   392394   35.70%
Elapsed time = 735.94 sec. (291522.53 ticks, tree = 18.84 MB)
    324   308     3813.3963   733     5930.3966     3813.3878   424291   35.70%
    326   294     3813.4053   674     5930.3966     3813.3878   375634   35.70%
    332   310     3813.4021   357     5930.3966     3813.3878   406559   35.70%
    334   294     3813.3936   987     5930.3966     3813.3878   391281   35.70%
    336   315     3813.3963   672     5930.3966     3813.3878   427157   35.70%
    338   320     3813.4163  1025     5930.3966     3813.3878   449405   35.70%
    342   323     3813.3963   784     5930.3966     3813.3878   451477   35.70%
    343   332     3813.4021   968     5930.3966     3813.3878   459526   35.70%
    348   324     3813.3963   867     5930.3966     3813.3878   453349   35.70%
    352   337     3813.4021   668     5930.3966     3813.3878   461734   35.70%
Elapsed time = 822.81 sec. (310813.37 ticks, tree = 24.04 MB)
    355   339     3813.4021   357     5930.3966     3813.3878   462377   35.70%
    356   306     3813.3936   870     5930.3966     3813.3878   452365   35.70%
    360   348     3813.4021   365     5930.3966     3813.3878   487016   35.70%
    363   350     3813.4021   342     5930.3966     3813.3878   487504   35.70%
    367   352     3813.4287   964     5930.3966     3813.3878   489860   35.70%
    368   343     3813.4336   921     5930.3966     3813.3878   483526   35.70%
    370   345     3813.3936   915     5930.3966     3813.3878   484210   35.70%
    372   353     3813.4021   644     5930.3966     3813.3878   492700   35.70%
    376   348     3813.3936   936     5930.3966     3813.3878   485880   35.70%
    381   355     3813.4621   807     5930.3966     3813.3878   495784   35.70%
Elapsed time = 939.30 sec. (332990.83 ticks, tree = 25.74 MB)
    392   375     3813.4021   757     5930.3966     3813.3878   516171   35.70%
    401   368     3813.3936   450     5930.3966     3813.3878   510177   35.70%
    413   376     3813.3936   590     5930.3966     3813.3878   513312   35.70%
    431   393     3813.4064   806     5930.3966     3813.3878   540034   35.70%
    443   402     3813.4021   738     5930.3966     3813.3878   549643   35.70%
    455   407     3813.4021   667     5930.3966     3813.3878   551890   35.70%
    466   416     3813.3878   886     5930.3966     3813.3878   565925   35.70%
    472   429     3813.4021   743     5930.3966     3813.3878   578973   35.70%
    483   433     3813.4021   586     5930.3966     3813.3878   581160   35.70%
    489   454     3813.4253   518     5930.3966     3813.3878   622217   35.70%
Elapsed time = 1138.80 sec. (375766.24 ticks, tree = 37.00 MB)
    504   440     3813.4021   523     5930.3966     3813.3878   586517   35.70%
    512   453     3813.4015   910     5930.3966     3813.3878   606995   35.70%
    524   492     3813.3963   671     5930.3966     3813.3878   648842   35.70%
    539   499     3813.3963   949     5930.3966     3813.3878   651718   35.70%
    551   430     3813.4053   663     5930.3966     3813.3878   604940   35.70%
    560   478     3813.4221   662     5930.3966     3813.3878   643825   35.70%
    572   514     3813.4163   593     5930.3966     3813.3878   658960   35.70%
    584   523     3813.4021   382     5930.3966     3813.3878   707982   35.70%
    592   517     3813.4246   753     5930.3966     3813.3878   663956   35.70%
    608   551     3813.4163   681     5930.3966     3813.3878   724717   35.70%
Elapsed time = 1354.84 sec. (421135.22 ticks, tree = 48.83 MB)
    613   554     3813.4363   778     5930.3966     3813.3878   726968   35.70%
    628   559     3813.4163   816     5930.3966     3813.3878   729276   35.70%
    642   567     3813.4163   663     5930.3966     3813.3878   731150   35.70%
    656   574     3813.4163   763     5930.3966     3813.3878   733480   35.70%
    677   642     3813.4363   881     5930.3966     3813.3878   789731   35.70%
    697   648     3813.4163   621     5930.3966     3813.3878   791891   35.70%
    706   652     3813.4163   569     5930.3966     3813.3878   794255   35.70%
    713   655     3813.4163   712     5930.3966     3813.3878   796547   35.70%
    722   608     3813.3936   362     5930.3966     3813.3878   773687   35.70%
    737   671     3813.3936   747     5930.3966     3813.3878   806055   35.70%
Elapsed time = 1558.97 sec. (462835.07 ticks, tree = 66.56 MB)
    746   697     3813.4163   694     5930.3966     3813.3878   821214   35.70%
    763   707     3813.4163   534     5930.3966     3813.3878   823539   35.70%
    780   717     3813.4246   410     5930.3966     3813.3878   825969   35.70%
    793   692     3813.3936   414     5930.3966     3813.3878   816244   35.70%
    803   722     3813.4246   505     5930.3966     3813.3878   831313   35.70%
    816   492     3813.3878   891     5930.3966     3813.3878   649995   35.70%
    836   742     3813.3936   327     5930.3966     3813.3878   857355   35.70%
    859   720     3813.4253   315     5930.3966     3813.3878   845751   35.70%
    877   799     3813.4302   174     5930.3966     3813.3878   884612   35.70%
    893   763     3813.3878   900     5930.3966     3813.3878   871470   35.70%
Elapsed time = 1755.36 sec. (503009.04 ticks, tree = 80.35 MB)
    924   839     3813.3878   759     5930.3966     3813.3878   915242   35.70%
    937   759     3813.4419   921     5930.3966     3813.3878   869449   35.70%
    961   762     3813.4019   425     5930.3966     3813.3878   872002   35.70%
    973   813     3813.4401   890     5930.3966     3813.3878   896058   35.70%
    988   884     3813.4019   810     5930.3966     3813.3878   957153   35.70%
   1002   886     3813.4019   565     5930.3966     3813.3878   959402   35.70%
   1024   874     3813.4453   491     5930.3966     3813.3878   947486   35.70%
   1052   898     3813.4019   278     5930.3966     3813.3878   964136   35.70%
   1070   980     3813.4082   762     5930.3966     3813.3878  1038964   35.70%
   1090   924     3813.3963   606     5930.3966     3813.3878   986532   35.70%
Elapsed time = 1934.69 sec. (543855.76 ticks, tree = 104.11 MB)
   1111  1017     3813.4053   337     5930.3966     3813.3878  1097216   35.70%
   1135   979     3813.4096   802     5930.3966     3813.3878  1023280   35.70%
   1154   993     3813.4080   160     5930.3966     3813.3878  1049126   35.70%
   1166  1078     3813.4263   912     5930.3966     3813.3878  1137465   35.70%
   1179  1080     3813.4163  1068     5930.3966     3813.3878  1139570   35.70%
   1193  1064     3813.4019   215     5930.3966     3813.3878  1125329   35.70%
   1205  1066     3813.4019   246     5930.3966     3813.3878  1127657   35.70%
   1232  1137     3813.4096   858     5930.3966     3813.3878  1179798   35.70%
   1252  1170     3813.4453   217     5930.3966     3813.3878  1231712   35.70%
   1273  1106     3813.4302   210     5930.3966     3813.3878  1169774   35.70%
Elapsed time = 2119.50 sec. (583417.57 ticks, tree = 133.77 MB)
   1285  1175     3813.4453  1002     5930.3966     3813.3878  1236330   35.70%
   1301  1250     3813.4302   176     5930.3966     3813.3878  1313478   35.70%
   1312  1227     3813.3963   392     5930.3966     3813.3878  1274350   35.70%
   1322  1230     3813.3963   464     5930.3966     3813.3878  1276524   35.70%
   1339  1232     3813.3963   412     5930.3966     3813.3878  1278787   35.70%
   1349  1289     3813.4546   884     5930.3966     3813.3878  1357355   35.70%
   1376  1263     3813.4302   451     5930.3966     3813.3878  1325834   35.70%
   1396  1272     3813.4080   128     5930.3966     3813.3878  1345949   35.70%
   1417  1267     3813.4302   524     5930.3966     3813.3878  1330712   35.70%
   1436  1278     3813.4080   142     5930.3966     3813.3878  1350837   35.70%
Elapsed time = 2309.09 sec. (623188.55 ticks, tree = 161.20 MB)
   1451  1318     3813.4446   962     5930.3966     3813.3878  1368589   35.70%
   1466  1355     3813.4463  1080     5930.3966     3813.3878  1432271   35.70%
   1495  1359     3813.3963   866     5930.3966     3813.3878  1434449   35.70%
   1504  1418     3813.4246   683     5930.3966     3813.3878  1471928   35.70%
   1529  1435     3813.4080   124     5930.3966     3813.3878  1521721   35.70%
   1545  1426     3813.4246   480     5930.3966     3813.3878  1476837   35.70%
   1562  1377     3813.3963   906     5930.3966     3813.3878  1443999   35.70%
   1580  1505     3813.3963   500     5930.3966     3813.3878  1577119   35.70%
   1597  1444     3813.4165   576     5930.3966     3813.3878  1532695   35.70%
   1615  1560     3813.4502   740     5930.3966     3813.3878  1647230   35.70%
Elapsed time = 2497.78 sec. (664017.43 ticks, tree = 207.28 MB)
*  1633+ 1577                         5915.2145     3813.3878            35.53%
   1634  1461     3813.4453   266     5915.2145     3813.3878  1550284   35.53%
   1648  1462     3813.4453   908     5915.2145     3813.3878  1552918   35.53%
*  1649+ 1593                         5898.3495     3813.3878            35.35%
   1659  1491     3813.4019   814     5898.3495     3813.3878  1572043   35.35%
   1675  1525     3813.3963   446     5898.3495     3813.3878  1591702   35.35%
   1683  1647     3813.3963   764     5898.3495     3813.3878  1752547   35.35%
   1695  1552     3813.4846   798     5898.3495     3813.3878  1611681   35.35%
   1711  1632     3813.4019   234     5898.3495     3813.3878  1740996   35.35%
   1733  1657     3813.3963   653     5898.3495     3813.3878  1759355   35.35%
   1745  1639     3813.4052   888     5898.3495     3813.3878  1746623   35.35%
   1765  1695     3813.4302   287     5898.3495     3813.3878  1839510   35.35%
Elapsed time = 2700.11 sec. (705837.00 ticks, tree = 236.98 MB)
   1782  1688     3813.4246   725     5898.3495     3813.3878  1781855   35.35%
   1797  1689     3813.3936   988     5898.3495     3813.3878  1847362   35.35%
   1811  1692     3813.4406   767     5898.3495     3813.3878  1787125   35.35%
   1832  1696     3813.3936   876     5898.3495     3813.3878  1851517   35.35%
   1853  1744     3813.4053   320     5898.3495     3813.3878  1881102   35.35%
   1875  1812     3813.3936   762     5898.3495     3813.3878  1980669   35.35%
   1902  1769     3813.3963   420     5898.3495     3813.3878  1904505   35.35%
   1928  1762     3813.4053   304     5898.3495     3813.3878  1889137   35.35%
   1947  1763     3813.4053   731     5898.3495     3813.3878  1891390   35.35%
   1965  1879     3813.4053   301     5898.3495     3813.3878  2078435   35.35%
Elapsed time = 2868.89 sec. (746706.59 ticks, tree = 266.67 MB)
   1983  1909     3813.3963   348     5898.3495     3813.3878  2100122   35.35%
   1997  1912     3813.3963   563     5898.3495     3813.3878  2102429   35.35%
   2016  1943     3813.4246   621     5898.3495     3813.3878  2120741   35.35%
   2042  1922     3813.3963   866     5898.3495     3813.3878  2108132   35.35%
   2055  1858     3813.4019   445     5898.3495     3813.3878  2071838   35.35%
   2075  1962     3813.4246   298     5898.3495     3813.3878  2128772   35.35%
   2102  1934     3813.3963   378     5898.3495     3813.3878  2115645   35.35%
   2115  1936     3813.3963   933     5898.3495     3813.3878  2118097   35.35%
   2133  1986     3813.4291   475     5898.3495     3813.3878  2137142   35.35%
   2143  1989     3813.4310   793     5898.3495     3813.3878  2139720   35.35%
Elapsed time = 3044.48 sec. (789212.13 ticks, tree = 285.69 MB)
   2157  2048     3813.4163   898     5898.3495     3813.3878  2207362   35.35%
   2169  2002     3813.4053   319     5898.3495     3813.3878  2171682   35.35%
   2187  2005     3813.4053   329     5898.3495     3813.3878  2174251   35.35%
   2207  2006     3813.4053   726     5898.3495     3813.3878  2176853   35.35%
   2234  2008     3813.4053   838     5898.3495     3813.3878  2179264   35.35%
   2249  2139     3813.3936   761     5898.3495     3813.3878  2241217   35.35%
   2262  2141     3813.4439   786     5898.3495     3813.3878  2240564   35.35%
   2281  2156     3813.4053   715     5898.3495     3813.3878  2260050   35.35%
   2302  2226     3813.4246   193     5898.3495     3813.3878  2276431   35.35%
   2320  2152     3813.3936   320     5898.3495     3813.3878  2251481   35.35%
Elapsed time = 3245.42 sec. (832117.99 ticks, tree = 312.58 MB)
   2335  2168     3813.4053   372     5898.3495     3813.3878  2267677   35.35%
   2342  2250     3813.3936   426     5898.3495     3813.3878  2299290   35.35%
   2359  2249     3813.4019   266     5898.3495     3813.3878  2298604   35.35%
   2370  2253     3813.4019   281     5898.3495     3813.3878  2301075   35.35%
   2396  2288     3813.4302   214     5898.3495     3813.3878  2332445   35.35%
   2405  2289     3813.4302   511     5898.3495     3813.3878  2335031   35.35%
   2428  2281     3813.4053   351     5898.3495     3813.3878  2327273   35.35%
   2441  2286     3813.4053   308     5898.3495     3813.3878  2329825   35.35%
   2467  2282     3813.3936   379     5898.3495     3813.3878  2315153   35.35%
   2483  2278     3813.4019   243     5898.3495     3813.3878  2315704   35.35%
Elapsed time = 3382.72 sec. (871340.57 ticks, tree = 334.87 MB)
   2513  2369     3813.3878   423     5898.3495     3813.3878  2373072   35.35%
   2553  2305     3813.4302   371     5898.3495     3813.3878  2349767   35.35%
   2577  2443     3813.4064   797     5898.3495     3813.3878  2417217   35.35%
   2609  2465     3813.4053   270     5898.3495     3813.3878  2439432   35.35%
   2634  2404     3813.3905   788     5898.3495     3813.3878  2382310   35.35%
   2663  2416     3813.3905   716     5898.3495     3813.3878  2384455   35.35%
   2682  2470     3813.4053   313     5898.3495     3813.3878  2446802   35.35%
   2710  2564     3813.4246   358     5898.3495     3813.3878  2506669   35.35%
   2735  2670     3813.3936   325     5898.3495     3813.3878  2544070   35.35%
   2768  2679     3813.3936   319     5898.3495     3813.3878  2546408   35.35%
Elapsed time = 3554.88 sec. (910681.14 ticks, tree = 399.74 MB)
   2813  2683     3813.3936   344     5898.3495     3813.3878  2548880   35.35%
   2848  2577     3813.4246   714     5898.3495     3813.3878  2516622   35.35%
   2887  2708     3813.4019   612     5898.3495     3813.3878  2574908   35.35%
   2906  2545     3813.4194   347     5898.3495     3813.3878  2498480   35.35%
   2938  2706     3813.4171   792     5898.3495     3813.3878  2537279   35.35%
   2966  2722     3813.4019   214     5898.3495     3813.3878  2582142   35.35%
   3000  2744     3813.4053   500     5898.3495     3813.3878  2606142   35.35%
   3011  2726     3813.4019   783     5898.3495     3813.3878  2587531   35.35%
   3022  2766     3813.4382   652     5898.3495     3813.3878  2632474   35.35%
   3031  2770     3813.4302   233     5898.3495     3813.3878  2635027   35.35%
Elapsed time = 3671.27 sec. (950558.47 ticks, tree = 417.32 MB)
   3040  2754     3813.4053   558     5898.3495     3813.3878  2616830   35.35%
   3047  2779     3813.4502   648     5898.3495     3813.3878  2642754   35.35%
   3050  2782     3813.4302   385     5898.3495     3813.3878  2645441   35.35%

Performing restart 1

Repeating presolve.
MIP Presolve modified 469238 coefficients.
Reduced MIP has 9290 rows, 67679 columns, and 320358 nonzeros.
Reduced MIP has 1344 binaries, 66330 generals, 0 SOSs, and 0 indicators.
Reduced MIP has 9290 rows, 67679 columns, and 320358 nonzeros.
Reduced MIP has 1344 binaries, 66330 generals, 0 SOSs, and 0 indicators.
Represolve time = 1.03 sec. (604.08 ticks)
*  3051+    0                         5840.2354     3813.3878            34.70%
   3051     0     3813.3878  1295     5840.2354     Cuts: 649  2834682   34.70%
   3051     0     3813.3878  1476     5840.2354     Cuts: 705  2844482   34.70%
   3051     0     3813.3878  1258     5840.2354     Cuts: 559  2850656   34.70%
   3051     0     3813.3878  1059     5840.2354     Cuts: 419  2853097   34.70%
   3051     0     3813.3878  1493     5840.2354     Cuts: 765  2860616   34.70%
   3051     0     3813.3878  1376     5840.2354     Cuts: 602  2868919   34.70%
   3051     0     3813.3878  1307     5840.2354     Cuts: 528  2875795   34.70%
   3051     0     3813.3878  1181     5840.2354     Cuts: 561  2881225   34.70%
   3051     0     3813.3878  1152     5840.2354     Cuts: 435  2884334   34.70%
   3051     0     3813.3878  1553     5840.2354     Cuts: 882  2891541   34.70%
*  3051+    0                         5739.2154     3813.3878            33.56%
   3051     2     3813.3878   762     5739.2154     3813.3878  2891541   33.56%
   3053     4     3813.3880  1033     5739.2154     3813.3878  2898122   33.56%
   3057     4     3813.3878  1078     5739.2154     3813.3878  2898084   33.56%
   3065    15     3813.3908  1013     5739.2154     3813.3878  2920865   33.56%
   3084    20     3813.3880   875     5739.2154     3813.3878  2936371   33.56%
   3121    32     3813.3908   971     5739.2154     3813.3878  2949258   33.56%
   3132    68     3813.3889  1082     5739.2154     3813.3878  3018108   33.56%
Elapsed time = 4592.36 sec. (1586155.85 ticks, tree = 1.00 MB)
   3159    36     3813.3908   965     5739.2154     3813.3878  2960957   33.56%
   3208   102     3813.3881  1132     5739.2154     3813.3878  3092199   33.56%
   3278   149     3813.4025  1098     5739.2154     3813.3878  3156527   33.56%
   3360   211     3813.3890   945     5739.2154     3813.3878  3168893   33.56%
   3408   318     3813.3880  1129     5739.2154     3813.3878  3292400   33.56%
   3472   389     3813.3880   866     5739.2154     3813.3878  3312938   33.56%
   3540   398     3813.3880   393     5739.2154     3813.3878  3318845   33.56%
   3626   499     3813.3880   651     5739.2154     3813.3878  3348578   33.56%
   3694   586     3813.3881   876     5739.2154     3813.3878  3375120   33.56%
*  3747+  648                         5732.4708     3813.3878            33.48%
   3750   615     3813.3880   599     5732.4708     3813.3878  3388985   33.48%
Elapsed time = 4776.94 sec. (1625004.89 ticks, tree = 34.99 MB)
*  3790+  659                         5693.5170     3813.3878            33.02%
   3809   673     3813.3915   796     5693.5170     3813.3878  3411789   33.02%
*  3822+  727                         5688.4589     3813.3878            32.96%
   3850   709     3813.3881  1036     5688.4589     3813.3878  3425375   32.96%
   3909   802     3813.3915   786     5688.4589     3813.3878  3466463   32.96%
   3952   804     3813.3915   776     5688.4589     3813.3878  3469658   32.96%
   4000   855     3813.3880   817     5688.4589     3813.3878  3498078   32.96%
   4052   945     3813.3880   648     5688.4589     3813.3878  3541427   32.96%
   4118   939     3813.3890   774     5688.4589     3813.3878  3540077   32.96%
   4170   977     3813.4053   761     5688.4589     3813.3878  3554864   32.96%
   4220  1064     3813.3881   788     5688.4589     3813.3878  3594797   32.96%
   4252  1154     3813.3900   811     5688.4589     3813.3878  3631432   32.96%
Elapsed time = 4979.00 sec. (1664256.47 ticks, tree = 89.71 MB)
   4285  1181     3813.3881   930     5688.4589     3813.3878  3644578   32.96%
   4303  1197     3813.3880   596     5688.4589     3813.3878  3652292   32.96%
   4320  1203     3813.3881   882     5688.4589     3813.3878  3657941   32.96%
   4343  1233     3813.3880   690     5688.4589     3813.3878  3675414   32.96%
   4363  1241     3813.3880   861     5688.4589     3813.3878  3698802   32.96%
   4371   925     3813.3880   539     5688.4589     3813.3878  3531617   32.96%
   4379  1295     3813.3880   817     5688.4589     3813.3878  3720874   32.96%
   4393  1296     3813.3881   858     5688.4589     3813.3878  3722163   32.96%
   4410  1303     3813.3881   922     5688.4589     3813.3878  3725492   32.96%
   4430  1336     3813.3881   835     5688.4589     3813.3878  3740314   32.96%
Elapsed time = 5293.78 sec. (1725995.53 ticks, tree = 108.43 MB)
   4452  1375     3813.3890   728     5688.4589     3813.3878  3767862   32.96%
   4471  1361     3813.3916   727     5688.4589     3813.3878  3763102   32.96%
   4490  1370     3813.3916   664     5688.4589     3813.3878  3767196   32.96%
   4510  1404     3813.3880   596     5688.4589     3813.3878  3788219   32.96%
   4520  1408     3813.3880   668     5688.4589     3813.3878  3790824   32.96%
   4536  1421     3813.3880   636     5688.4589     3813.3878  3793956   32.96%
   4548  1438     3813.3880   712     5688.4589     3813.3878  3805315   32.96%
   4553  1441     3813.3880   578     5688.4589     3813.3878  3808965   32.96%
   4569  1459     3813.3908   771     5688.4589     3813.3878  3817094   32.96%
   4592  1473     3813.3908   516     5688.4589     3813.3878  3820620   32.96%
Elapsed time = 5465.33 sec. (1765941.10 ticks, tree = 124.16 MB)
   4627  1456     3813.3880   655     5688.4589     3813.3878  3820518   32.96%
   4644  1531     3813.3908   549     5688.4589     3813.3878  3848229   32.96%
   4663  1491     3813.3880   612     5688.4589     3813.3878  3843127   32.96%
   4683  1549     3813.3933   909     5688.4589     3813.3878  3866133   32.96%
   4700  1554     3813.3880   557     5688.4589     3813.3878  3870344   32.96%
   4705  1557     3813.3881   517     5688.4589     3813.3878  3876183   32.96%
   4712  1603     3813.3880   647     5688.4589     3813.3878  3907695   32.96%
   4732  1613     3813.3880   716     5688.4589     3813.3878  3911451   32.96%
   4740  1627     3813.3880   618     5688.4589     3813.3878  3935328   32.96%
   4751  1393     3813.3893   588     5688.4589     3813.3878  3772890   32.96%
Elapsed time = 5817.92 sec. (1862924.93 ticks, tree = 115.12 MB)
   4755  1655     3813.3893   937     5688.4589     3813.3878  3946023   32.96%
   4761  1661     3813.4093   890     5688.4589     3813.3878  3949553   32.96%
   4773  1669     3813.3932   570     5688.4589     3813.3878  3950277   32.96%
   4857  1742     3813.3920   592     5688.4589     3813.3878  3963986   32.96%
   4876  1705     3813.4253   881     5688.4589     3813.3878  3959916   32.96%
   4915  1614     3813.3880   296     5688.4589     3813.3878  3911476   32.96%
   4951  1728     3813.3881   786     5688.4589     3813.3878  3969373   32.96%
   4983  1769     3813.4108   584     5688.4589     3813.3878  3986288   32.96%
   5004  1845     3813.3880   499     5688.4589     3813.3878  4005399   32.96%
   5021  1889     3813.3920   615     5688.4589     3813.3878  4022441   32.96%
Elapsed time = 5977.30 sec. (1905362.45 ticks, tree = 173.18 MB)
   5043  1893     3813.3920   433     5688.4589     3813.3878  4025982   32.96%
   5067  1898     3813.3920   855     5688.4589     3813.3878  4029897   32.96%
   5086  1969     3813.3881   583     5688.4589     3813.3878  4068731   32.96%
   5114  1995     3813.4020   731     5688.4589     3813.3878  4082805   32.96%
   5144  2044     3813.4135   571     5688.4589     3813.3878  4114367   32.96%
   5175  1992     3813.3881   836     5688.4589     3813.3878  4078715   32.96%
   5206  2065     3813.4211   639     5688.4589     3813.3878  4121088   32.96%
   5276  2099     3813.3920   351     5688.4589     3813.3878  4145705   32.96%
   5326  2211     3813.4215   393     5688.4589     3813.3878  4174301   32.96%
   5348  2214     3813.4215   389     5688.4589     3813.3878  4178433   32.96%
Elapsed time = 6143.58 sec. (1944798.66 ticks, tree = 219.07 MB)
   5373  2218     3813.3881   385     5688.4589     3813.3878  4187081   32.96%
   5457  2231     3813.3908   813     5688.4589     3813.3878  4192432   32.96%
   5500  2370     3813.4238   356     5688.4589     3813.3878  4236618   32.96%
   5532  2253     3813.3898   727     5688.4589     3813.3878  4212182   32.96%
   5605  2402     3813.3881   428     5688.4589     3813.3878  4266923   32.96%
   5652  2406     3813.3889   806     5688.4589     3813.3878  4270465   32.96%
   5738  2551     3813.4388   281     5688.4589     3813.3878  4321154   32.96%
   5783  2477     3813.3920   629     5688.4589     3813.3878  4306746   32.96%
   5835  2566     3813.4388   380     5688.4589     3813.3878  4330852   32.96%
   5894  2640     3813.3880   385     5688.4589     3813.3878  4377573   32.96%
Elapsed time = 6314.17 sec. (1985312.52 ticks, tree = 277.38 MB)
   5987  2851     3813.3977   651     5688.4589     3813.3878  4456070   32.96%
   6038  2609     3813.4453   829     5688.4589     3813.3878  4356557   32.96%
   6085  2702     3813.4120   588     5688.4589     3813.3878  4406405   32.96%
   6112  2822     3813.4388   185     5688.4589     3813.3878  4453764   32.96%
   6165  2902     3813.4653   766     5688.4589     3813.3878  4478464   32.96%
   6218  2929     3813.4425   411     5688.4589     3813.3878  4497457   32.96%
   6262  3077     3813.4508   553     5688.4589     3813.3878  4568917   32.96%
   6315  3132     3813.4653   627     5688.4589     3813.3878  4597117   32.96%
   6359  3147     3813.4653   816     5688.4589     3813.3878  4600115   32.96%
   6414  3218     3813.4530   601     5688.4589     3813.3878  4626741   32.96%
Elapsed time = 6490.02 sec. (2024085.13 ticks, tree = 364.37 MB)
Starting limited solution polishing.
   6455  3243     3813.4531   746     5688.4589     3813.3878  4630599   32.96%
   6516  3261     3813.3880   280     5688.4589     3813.3878  4655560   32.96%
   6612  3386     3813.4425   461     5688.4589     3813.3878  4740768   32.96%
   6658  3374     3813.4653   432     5688.4589     3813.3878  4731467   32.96%
   6717  3490     3813.3880   296     5688.4589     3813.3878  4778586   32.96%
   6776  3499     3813.3880   297     5688.4589     3813.3878  4782560   32.96%
   6887  3507     3813.3890   684     5688.4589     3813.3878  4786952   32.96%
   6967  3646     3813.4108   827     5688.4589     3813.3878  4845833   32.96%
   7013  3670     3813.4866   780     5688.4589     3813.3878  4864247   32.96%
   7060  3877     3813.3925   688     5688.4589     3813.3878  4934396   32.96%
Elapsed time = 6666.52 sec. (2062990.27 ticks, tree = 471.51 MB)
   7099  3693     3813.4853   501     5688.4589     3813.3878  4871232   32.96%
   7147  4014     3813.4425   352     5688.4589     3813.3878  5002295   32.96%
   7190  3792     3813.4523   738     5688.4589     3813.3878  4906365   32.96%
   7233  4034     3813.4523   671     5688.4589     3813.3878  5020511   32.96%
   7317  4047     3813.4524   611     5688.4589     3813.3878  5023739   32.96%
   7354  4029     3813.4756   755     5688.4589     3813.3878  5017767   32.96%
   7394  4193     3813.4853   495     5688.4589     3813.3878  5118859   32.96%
   7436  4175     3813.3990   781     5688.4589     3813.3878  5070726   32.96%
   7470  4073     3813.5065   824     5688.4589     3813.3878  5060764   32.96%
   7491  4333     3813.4080   468     5688.4589     3813.3878  5190895   32.96%
Elapsed time = 6849.44 sec. (2102483.37 ticks, tree = 548.89 MB)
   7517  4246     3813.5065   911     5688.4589     3813.3878  5162100   32.96%
   7543  4328     3813.4228   870     5688.4589     3813.3878  5183727   32.96%
   7591  4399     3813.4879   693     5688.4589     3813.3878  5226623   32.96%
   7615  4423     3813.4533   535     5688.4589     3813.3878  5229069   32.96%
   7645  4418     3813.4879   582     5688.4589     3813.3878  5232737   32.96%
   7674  4152     3813.4163   726     5688.4589     3813.3878  5089417   32.96%
   7701  4417     3813.5001   966     5688.4589     3813.3878  5259026   32.96%
*  7706+ 4492                         5688.4575     3813.3878            32.96%
   7746  4600     3813.4802   714     5688.4575     3813.3878  5365155   32.96%
   7762  4556     3813.4879   729     5688.4575     3813.3878  5337353   32.96%
*  7777+ 4511                         5685.0859     3813.3878            32.92%
   7807  4517     3813.4995   877     5685.0859     3813.3878  5327554   32.92%
Elapsed time = 7034.03 sec. (2141654.13 ticks, tree = 580.71 MB)
   7838  4614     3813.4751   717     5685.0859     3813.3878  5363167   32.92%
   7869  4657     3813.5014   760     5685.0859     3813.3878  5423189   32.92%
*  7903+ 4663                         5680.0291     3813.3878            32.86%
   7905  4697     3813.4969   899     5680.0291     3813.3878  5446595   32.86%
   7922  4756     3813.4758   670     5680.0291     3813.3878  5466121   32.86%
   7959  4791     3813.5710   875     5680.0291     3813.3878  5491240   32.86%
   8029  4827     3813.4139   691     5680.0291     3813.3878  5511026   32.86%
   8062  4828     3813.4654   916     5680.0291     3813.3878  5514405   32.86%
   8104  4804     3813.5710   914     5680.0291     3813.3878  5500135   32.86%

Flow cuts applied:  65
Mixed integer rounding cuts applied:  9
Lift and project cuts applied:  1

Root node processing (before b&c):
  Real time             =  160.95 sec. (148377.61 ticks)
Parallel b&c, 8 threads:
  Real time             = 7039.31 sec. (2028130.23 ticks)
  Sync time (average)   =  654.51 sec.
  Wait time (average)   =    0.10 sec.
                          ------------
Total (root+branch&cut) = 7200.27 sec. (2176507.84 ticks)
Parallel mode: deterministic, using up to 8 threads for concurrent optimization:
 * Starting dual Simplex on 1 thread...
 * Starting Barrier on 6 threads...
 * Starting primal Simplex on 1 thread...
LP Presolve eliminated 11008 rows and 74148 columns.
All rows and columns eliminated.

Dual simplex solved model.

CPLEX 20.1.0.0: time limit with integer solution; objective 5680.029122
5707338 MIP simplex iterations
8142 branch-and-bound nodes
absmipgap = 1866.64, relmipgap = 0.328632
COSTOS = 5680.03

NVS [*] :=
1  0.979562
2  0.994161
3  0.99256
4  0.966667
5  0.986667
;

O [1,*,*] (tr)
:    1    2    3    4   5    6    7     :=
1     0    2    4   0    2    5    7
2     8    3    7   4    6    6   11
3     8    7    7   6    7    7   12
4     8   12    7   8    6    7   15
5     8   10    7   8   10   11   16
6     8   12   11   7   10   15   16
7    12   10   10   6    8    8   13
8    12   14   10   6    8   10   14
9    12   15   16   7   10    9   12
10    8   12    8   6    7   10   10
11    9   17    6   9   12   16   14
12    9   13    6   8   12   13   11
13    9   10    6   9    8   13    8
14    9    9    6   8    8   14   10
15    5    4    4   4    3    5    2

 [2,*,*] (tr)
:    1    2    3    4    5    6    7     :=
1     2    3    4    4    2    6    2
2     4    9    7    6    7    6    4
3     4   13    7    6    9    6    3
4     5   13   10    9    6    6    6
5     6    6   10   12   10    8   11
6     6    7   12   12   17    7   11
7     6   11    6    6   10    9   19
8    11    8    8    8    6   13   14
9     6    8   10    5    7   12   12
10    5   21    9    6   10   12   14
11    7   15    7    9    7   10   18
12   10   15    6   11   14   17   13
13    9   15    6    8   13   10    9
14    6    8    8    7   13   10    9
15    4    8    4    4    4    4    5

 [3,*,*] (tr)
:    1    2    3    4    5    6    7     :=
1     2    3    4    4   10    0    2
2     4    5    4    4    7    4    4
3     3    7    4    7   10    6    4
4     7    9    6    5   12    7   15
5     7    7    9    6   12    9   16
6    11    5   14    8   10    7   14
7    10    8   14   20   10    7   15
8     9    8   18   13   10    8   14
9    12    9   10   13   14    8   13
10   10   10    8   10   12    9   12
11    9   12    6    7   10   11   17
12   13    7    9    8   15   12   11
13    8    7    8    9    9   10    7
14    8    8    8    8    9   10    7
15    5    4    4    3    5   10    2

 [4,*,*] (tr)
:    1   2    3    4    5    6    7     :=
1    4    4    4    2    2    4    2
2    3    6    6    8    5    5    3
3    4    7    6    5    5    6    6
4    6    8    8   11    6    7    7
5    8    7    7   10    7    7   10
6    6    6   10   12   11    9   12
7    6    5   10    6    6   13    9
8    6   10    8   15    8    9   11
9    7    7   13    6    6    8   18
10   7   10   11    6    6   16   13
11   6    7    7    9    7   11   12
12   9    9    6   11    8   17   13
13   8    8    6    9   10   16   12
14   8    4    3    8    8   14    7
15   4    4    7    2    4    4    2

 [5,*,*] (tr)
:    1    2    3    4    5    6    7     :=
1     4    4    4    8    5    4    4
2     5    4    4    6    4    4    4
3     5    7    4    8    6    7    3
4     5    7    7    9    9    7    6
5     5    6    7    6   10    7    8
6     7    7    5    6    6    9   13
7    10    5    6    7    6    9    9
8     5    6    7    6    6    7    9
9     7    6    5   16    5    7   13
10    6    6   12   13    6    9   16
11    6    6   12   13   15   13   13
12    7   11   11   16   12    9   14
13    5   11   12   16   12   12    8
14    5   11    6    9   12    7    7
15    4    8    3    3    4    4    2
;

X [*,*] (tr)
:    1   2   3   4   5   6   7   8    :=
1    2   5   3   2   4   4   4   0
2    0   2   0   0   3   0   0   0
4    0   3   1   3   2   0   0   0
7    5   0   4   6   2   0   0   1
9    0   0   0   1   0   0   0   0
12   2   2   0   0   1   2   0   2
13   1   5   0   5   4   0   0   0
14   0   2   4   3   0   0   0   0
17   0   4   0   0   1   0   0   0
18   0   1   2   0   4   0   0   0
22   0   0   3   3   4   0   1   0
25   5   4   3   6   0   0   0   0
;

:        PE  PF    :=
1 1 1     0   2
1 1 2     4   0
1 1 3     4   0
1 1 4     2   0
1 1 6     2   0
1 1 7     6   0
1 1 8     7   0
1 1 9     6   0
1 1 10    2   0
1 1 11    2   0
1 1 12    1   0
1 1 14    2   0
1 2 1     0   2
1 2 4     8   0
1 2 5     4   0
1 2 6     7   0
1 2 7     4   0
1 2 8     8   0
1 2 9     9   0
1 2 10    7   0
1 2 11   10   0
1 2 12    6   0
1 2 13    3   0
1 3 2     3   0
1 3 3     3   0
1 3 4     2   0
1 3 5     1   0
1 3 6     6   0
1 3 7     3   0
1 3 8     4   0
1 3 9     9   0
1 3 11    1   0
1 3 12    1   0
1 3 13    0   2
1 3 14    0   3
1 4 1     0   4
1 4 4     1   0
1 4 5     2   0
1 4 6     1   0
1 4 7     1   0
1 5 2     2   0
1 5 5     4   0
1 5 6     4   0
1 5 7     2   0
1 5 8     2   0
1 5 9     4   0
1 5 10    1   0
1 5 11    6   0
1 5 12    4   0
1 5 13    0   1
1 6 2     3   0
1 6 3     1   0
1 6 5     3   0
1 6 6     7   0
1 6 7     1   0
1 6 8     1   0
1 6 11    5   0
1 6 12    2   0
1 6 13    5   0
1 6 14    4   0
1 7 1     5   0
1 7 2     6   0
1 7 3     8   0
1 7 4    10   0
1 7 5     5   0
1 7 6     3   0
1 7 7     2   0
1 7 8     6   0
1 7 10    1   0
1 7 11    2   0
1 7 14    1   0
2 1 8     5   0
2 1 12    2   0
2 1 13    2   1
2 1 14    0   1
2 2 2     5   0
2 2 3     8   0
2 2 4     7   0
2 2 7     4   0
2 2 8     3   0
2 2 9     3   0
2 2 10   15   0
2 2 11    7   0
2 2 12    8   0
2 2 13    6   0
2 2 15    4   0
2 3 2     3   0
2 3 3     3   0
2 3 4     4   0
2 3 5     4   0
2 3 6     5   0
2 3 8     2   0
2 3 9     3   0
2 3 13    0   2
2 4 2     2   0
2 4 4     3   0
2 4 5     6   0
2 4 6     6   0
2 4 8     3   0
2 4 12    2   0
2 5 2     2   0
2 5 3     3   0
2 5 5     4   0
2 5 6    10   0
2 5 7     3   0
2 5 9     2   0
2 5 10    4   0
2 5 12    6   0
2 5 13    4   0
2 5 14    4   0
2 6 1     2   0
2 6 2     2   0
2 6 3     1   0
2 6 4     1   0
2 6 7     1   0
2 6 8     6   0
2 6 9     4   0
2 6 10    3   0
2 6 12    6   0
2 6 13    1   0
2 6 14    3   0
2 7 7     8   0
2 7 8     6   0
2 7 11    4   0
2 7 15    3   0
3 1 5     2   0
3 1 6     5   0
3 1 7     3   0
3 1 8     2   0
3 1 9     7   0
3 1 10    4   0
3 1 11    3   0
3 1 12    5   0
3 1 15    1   0
3 2 3     1   0
3 2 4     3   0
3 2 7     2   0
3 2 8     2   0
3 2 9     3   0
3 2 10    5   0
3 2 11    4   0
3 3 1     0   1
3 3 5     3   0
3 3 6     8   0
3 3 7     7   0
3 3 8    11   0
3 3 9     5   0
3 3 12    3   0
3 4 6     2   0
3 4 7    15   0
3 4 8     6   0
3 4 9     7   0
3 4 10    4   0
3 4 11    1   0
3 5 1     8   0
3 5 2     3   0
3 5 3     4   0
3 5 4     7   0
3 5 5     7   0
3 5 6     4   0
3 5 7     4   0
3 5 8     4   0
3 5 9     8   0
3 5 10    5   0
3 5 11    3   0
3 5 12    6   0
3 5 13    1   0
3 5 14    2   0
3 6 1     0   4
3 6 4     1   0
3 6 5     2   0
3 6 12    1   0
3 6 13    3   0
3 6 14    1   0
3 6 15    6   0
3 7 4    10   0
3 7 5     7   0
3 7 6     1   0
3 7 7     6   0
3 7 8     4   0
3 7 11    5   0
4 1 1     2   0
4 1 2     0   1
4 1 4     1   0
4 1 5     2   0
4 1 12    1   0
4 2 2     2   0
4 2 3     1   0
4 2 4     2   0
4 2 8     3   0
4 2 10    4   0
4 2 12    2   0
4 2 14    0   5
4 3 2     2   0
4 3 3     2   0
4 3 4     3   0
4 3 6     3   0
4 3 7     4   0
4 3 8     2   0
4 3 9     6   0
4 3 10    3   0
4 3 11    2   0
4 3 13    0   4
4 3 14    0   4
4 3 15    3   0
4 4 1     0   1
4 4 2     4   0
4 4 3     0   1
4 4 4     5   0
4 4 5     4   0
4 4 6     6   0
4 4 7     1   0
4 4 8     8   0
4 4 11    1   0
4 4 12    3   0
4 4 15    0   2
4 5 3     0   2
4 5 5     1   0
4 5 6     5   0
4 5 8     2   0
4 5 13    1   0
4 6 5     0   1
4 6 6     2   0
4 6 7     6   0
4 6 10    4   0
4 6 11    2   0
4 6 12    6   0
4 6 13    8   0
4 6 14    7   0
4 7 2     0   1
4 7 3     2   0
4 7 6     0   1
4 7 8     4   0
4 7 9     7   0
4 7 13    2   0
5 1 1     2   0
5 1 2     1   0
5 1 3     1   0
5 1 7     4   0
5 1 10    1   0
5 1 13    0   5
5 1 14    0   4
5 2 4     1   0
5 2 5     1   0
5 2 12    3   0
5 2 13    3   0
5 2 14    3   0
5 2 15    4   0
5 3 5     1   0
5 3 8     2   0
5 3 10    4   0
5 3 11    6   0
5 3 12    6   0
5 3 13    4   0
5 4 1     4   0
5 4 2     2   0
5 4 3     2   0
5 4 4     3   0
5 4 9     9   0
5 4 10    7   0
5 4 11    5   0
5 4 12    7   0
5 4 13    7   0
5 5 1     3   0
5 5 4     3   0
5 5 5     3   0
5 5 9     1   0
5 5 11    7   0
5 5 12    4   0
5 5 13    4   0
5 5 14    4   0
5 6 7     1   0
5 6 11    3   0
5 6 13    3   0
5 7 1     2   0
5 7 12    3   0
;

PO [*,1,1,*] (tr)
:    1    4    :=
2     8   0
3     8   0
4     8   0
5     8   0
6     8   0
7    12   0
8    12   0
9    12   0
10    8   0
11    8   1
12    9   0
13    9   0
14    9   0
15    5   0

 [*,1,2,*] (tr)
:    1    2   4    :=
1     2   0   0
2     2   0   1
3     7   0   0
4    12   0   0
5    10   0   0
6    10   0   2
7    10   0   0
8    14   0   0
9    12   3   0
10   12   0   0
11   17   0   0
12   13   0   0
13   10   0   0
14    9   0   0
15    4   0   0

 [*,1,3,*] (tr)
:    1    2    :=
1     3   1
2     7   0
3     7   0
4     7   0
5     7   0
6    11   0
7    10   0
8    10   0
9    12   4
10    8   0
11    6   0
12    6   0
13    6   0
14    6   0
15    4   0

 [*,1,4,*] (tr)
:    1   4    :=
2    4   0
3    6   0
4    8   0
5    8   0
6    7   0
7    6   0
8    6   0
9    5   2
10   4   2
11   9   0
12   8   0
13   8   1
14   8   0
15   3   1

 [*,1,5,*] (tr)
:    1    4    :=
1     2   0
2     6   0
3     6   1
4     6   0
5    10   0
6    10   0
7     8   0
8     8   0
9    10   0
10    7   0
11   12   0
12   12   0
13    8   0
14    8   0
15    1   2

 [*,1,6,*] (tr)
:    1    4    :=
1     5   0
2     5   1
3     7   0
4     7   0
5    11   0
6    15   0
7     8   0
8     8   2
9     8   1
10    8   2
11   13   3
12   13   0
13   13   0
14    9   5
15    0   5

 [*,1,7,*] (tr)
:    1    4    :=
1     7   0
2    11   0
3    11   1
4    15   0
5    16   0
6    16   0
7    13   0
8    14   0
9    10   2
10   10   0
11   14   0
12    8   3
13    8   0
14    7   3
15    2   0

 [*,2,1,*] (tr)
:    2   7  12  17  22    :=
1    2   0   0   0   0
2    2   2   0   0   0
3    2   2   0   0   0
4    2   3   0   0   0
5    3   3   0   0   0
6    3   3   0   0   0
7    3   3   0   0   0
8    3   3   0   0   5
9    3   3   0   0   0
10   3   1   0   0   1
11   3   2   0   1   1
12   3   6   0   0   1
13   0   6   2   1   0
14   0   5   0   1   0
15   0   4   0   0   0

 [*,2,2,*] (tr)
:    2   7   12  17  22    :=
1    0    0   0   3   0
2    3    2   0   4   0
3    3    2   0   4   4
4    3    2   0   4   4
5    3    2   0   0   1
6    3    4   0   0   0
7    5    4   0   0   2
8    5    2   0   0   1
9    2    2   3   0   1
10   2   15   0   0   4
11   0   15   0   0   0
12   0   15   0   0   0
13   0   15   0   0   0
14   0    8   0   0   0
15   0    8   0   0   0

 [*,2,3,*] (tr)
:    2   7   9  22    :=
1    0   4   0   0
2    3   4   0   0
3    3   4   0   0
4    3   6   0   1
5    3   7   0   0
6    3   7   0   2
7    3   3   0   0
8    5   3   0   0
9    0   5   0   5
10   2   5   0   2
11   2   5   0   0
12   0   5   0   1
13   0   5   1   0
14   0   5   1   2
15   0   2   0   2

 [*,2,4,*] (tr)
:    2   7   17  22    :=
1    0    3   0   1
2    0    3   0   3
3    2    3   0   1
4    2    4   0   3
5    2    6   4   0
6    2    6   0   4
7    0    4   2   0
8    0    4   0   4
9    0    4   1   0
10   0    6   0   0
11   0    9   0   0
12   0   11   0   0
13   0    8   0   0
14   0    7   0   0
15   0    4   0   0

 [*,2,5,*] (tr)
:    2   7   12  17  22    :=
1    0    2   0   0   0
2    0    6   0   0   1
3    0    6   0   0   3
4    0    6   0   0   0
5    0   10   0   0   0
6    0   10   2   0   5
7    0   10   0   0   0
8    0    6   0   0   0
9    0    7   0   0   0
10   0    7   0   1   2
11   0    7   0   0   0
12   2    9   0   0   3
13   2    9   0   0   2
14   2    9   0   0   2
15   2    2   0   0   0

 [*,2,6,*] (tr)
:    2   7   17  22    :=
1    3    3   0   0
2    3    3   0   0
3    3    3   0   0
4    3    3   0   0
5    3    3   2   0
6    3    4   0   0
7    3    6   0   0
8    3    6   0   4
9    0   10   0   2
10   0   10   0   2
11   0   10   0   0
12   0   10   3   4
13   0    7   3   0
14   0    7   0   3
15   0    1   3   0

 [*,2,7,*] (tr)
:    2   7   17  22    :=
1    0    0   2   0
2    0    1   3   0
3    0    1   0   2
4    0    6   0   0
5    3    6   0   2
6    5    6   0   0
7    5    7   1   6
8    5    2   1   6
9    5    6   0   1
10   3   11   0   0
11   3   11   0   4
12   3   10   0   0
13   0    9   0   0
14   0    9   0   0
15   0    5   0   0

 [*,3,1,*] (tr)
:   12  13  14  18    :=
1    0   2   0   0
2    0   3   1   0
3    0   3   0   0
4    2   3   0   2
5    5   2   0   0
6    7   2   0   2
7    9   1   0   0
8    9   0   0   0
9    9   3   0   0
10   7   3   0   0
11   5   3   1   0
12   5   8   0   0
13   0   8   0   0
14   0   8   0   0
15   0   5   0   0

 [*,3,2,*] (tr)
:   12  13  14  18    :=
1    0   3   0   0
2    0   5   0   0
3    2   5   0   0
4    4   5   0   0
5    4   2   1   0
6    5   0   0   0
7    3   1   4   0
8    3   5   0   0
9    0   5   0   4
10   5   5   0   0
11   5   4   0   3
12   3   4   0   0
13   3   4   0   0
14   0   4   0   4
15   0   4   0   0

 [*,3,3,*] (tr)
:   12  13  14  18    :=
1    0   4   0   0
2    0   4   0   0
3    0   4   0   0
4    0   6   0   0
5    0   9   0   0
6    5   9   0   0
7    5   9   0   0
8    5   9   0   4
9    5   5   0   0
10   5   3   0   0
11   5   0   1   0
12   7   0   2   0
13   7   0   0   1
14   4   0   0   4
15   4   0   0   0

 [*,3,4,*] (tr)
:   12  13  14  18    :=
1    0   1   0   3
2    0   1   0   3
3    0   1   2   4
4    0   5   0   0
5    0   5   0   1
6    2   6   0   0
7    8   5   0   7
8    8   5   0   0
9    8   5   0   0
10   8   0   1   1
11   4   3   0   0
12   4   4   0   0
13   4   4   1   0
14   4   4   0   0
15   2   1   0   0

 [*,3,5,*] (tr)
:   12  13  14  18    :=
1    2   5   3   0
2    2   5   0   0
3    5   5   0   0
4    7   5   0   0
5    7   5   0   0
6    5   5   0   0
7    5   5   0   0
8    5   5   0   0
9    7   5   0   2
10   7   5   0   0
11   4   4   0   2
12   2   9   1   3
13   0   9   0   0
14   0   9   0   0
15   0   5   0   0

 [*,3,6,*] (tr)
:   12   13  14  18    :=
2    4    0   0   0
3    4    2   0   0
4    4    3   0   0
5    4    5   0   0
6    2    5   0   0
7    2    5   0   0
8    2    6   0   0
9    2    4   2   0
10   2    7   0   0
11   2    7   0   2
12   0   12   0   0
13   0   10   0   0
14   0   10   0   0
15   0   10   0   0

 [*,3,7,*] (tr)
:   12  13  14  18    :=
1    1   1   0   0
2    3   1   0   0
3    3   1   0   0
4    5   6   4   0
5    5   9   0   2
6    5   9   0   0
7    5   9   0   1
8    5   9   0   0
9    4   9   0   0
10   4   4   4   0
11   4   9   4   0
12   2   9   0   0
13   2   5   0   0
14   2   5   0   0
15   2   0   0   0

 [*,4,1,*] (tr)
:    4   9  14  17  18    :=
1    0   0   4   0   0
2    0   0   3   0   0
3    0   0   4   0   0
4    0   0   6   0   0
5    0   0   6   0   2
6    0   0   6   0   0
7    0   0   2   1   3
8    0   0   2   1   3
9    0   0   3   1   3
10   3   1   1   1   1
11   5   1   0   0   0
12   6   1   1   1   0
13   6   1   1   0   0
14   6   1   1   0   0
15   3   1   0   0   0

 [*,4,2,*] (tr)
:    4  14  17  18    :=
1    3   0   1   0
2    2   4   0   0
3    3   4   0   0
4    4   4   0   0
5    4   3   0   0
6    2   4   0   0
7    1   0   0   4
8    6   0   0   4
9    6   0   0   1
10   5   0   0   5
11   5   0   0   2
12   2   2   0   5
13   2   2   0   4
14   2   2   0   0
15   2   2   0   0

 [*,4,3,*] (tr)
:    4   9  14  17  18    :=
1    0   0   0   4   0
2    2   0   0   4   0
3    2   0   0   4   0
4    2   0   2   4   0
5    5   0   2   0   0
6    8   0   2   0   0
7    8   0   2   0   0
8    8   0   0   0   0
9    8   1   0   0   4
10   3   1   3   0   4
11   0   1   2   0   4
12   0   1   1   0   4
13   0   0   3   0   3
14   0   0   3   0   0
15   0   0   3   0   4

 [*,4,4,*] (tr)
:    4   9  14  17  18    :=
1    1   0   0   0   1
2    3   0   2   0   3
3    3   0   0   0   2
4    3   0   2   0   6
5    3   0   2   0   5
6    2   0   0   4   6
7    3   0   0   3   0
8    5   0   0   5   5
9    2   0   3   0   1
10   2   1   2   1   0
11   4   1   3   1   0
12   6   1   3   1   0
13   5   1   2   1   0
14   3   1   3   1   0
15   1   1   0   0   0

 [*,4,5,*] (tr)
:    4   9  14  17  18    :=
1    0   1   1   0   0
2    0   1   4   0   0
3    0   1   4   0   0
4    1   1   4   0   0
5    1   1   4   1   0
6    1   1   4   5   0
7    1   0   0   5   0
8    1   0   0   5   2
9    0   0   0   5   1
10   0   0   3   0   3
11   0   0   5   1   1
12   3   0   4   1   0
13   3   0   5   0   2
14   3   0   5   0   0
15   1   0   3   0   0

 [*,4,6,*] (tr)
:    4   9  14  17  18    :=
1    2   1   0   0   1
2    1   1   0   0   3
3    2   1   0   0   3
4    2   1   1   0   3
5    3   1   1   0   2
6    3   1   1   2   2
7    4   0   1   2   6
8    2   0   0   3   4
9    1   0   2   1   4
10   3   0   8   1   4
11   0   0   8   1   2
12   5   0   8   0   4
13   5   0   7   0   4
14   0   0   7   3   4
15   0   0   4   0   0

 [*,4,7,*] (tr)
:    4   9  14  17  18    :=
1    0   0   0   2   0
2    1   0   0   2   0
3    0   0   0   5   1
4    1   0   0   5   1
5    2   0   4   1   3
6    2   0   4   1   5
7    2   0   4   0   3
8    3   0   4   0   4
9    3   1   7   1   6
10   5   1   1   0   6
11   4   1   1   0   6
12   1   1   5   0   6
13   4   1   5   0   2
14   1   1   3   0   2
15   2   0   0   0   0

 [*,5,1,*] (tr)
:   22  25    :=
1    4   0
2    5   0
3    5   0
4    5   0
5    5   0
6    5   2
7    8   2
8    3   2
9    4   3
10   3   3
11   3   3
12   2   5
13   0   5
14   0   5
15   0   4

 [*,5,2,*] (tr)
:   22  25    :=
1    0   4
2    0   4
3    0   7
4    0   7
5    3   3
6    4   3
7    2   3
8    3   3
9    3   3
10   3   3
11   3   3
12   3   8
13   3   8
14   3   8
15   3   5

 [*,5,3,*] (tr)
:   22  25    :=
1    0   4
2    0   4
3    0   4
4    1   6
5    2   5
6    0   5
7    2   4
8    5   2
9    0   5
10   4   8
11   6   6
12   5   6
13   6   6
14   0   6
15   0   3

 [*,5,4,*] (tr)
:   22  25    :=
1    2   6
2    0   6
3    2   6
4    0   9
5    3   3
6    3   3
7    4   3
8    3   3
9    7   9
10   7   6
11   7   6
12   7   9
13   7   9
14   0   9
15   0   3

 [*,5,5,*] (tr)
:   22   25    :=
1    3    2
2    2    2
3    1    5
4    4    5
5    5    5
6    0    6
7    2    4
8    2    4
9    4    1
10   2    4
11   3   12
12   0   12
13   0   12
14   0   12
15   0    4

 [*,5,6,*] (tr)
:   22  25    :=
1    0   4
2    0   4
3    1   6
4    1   6
5    1   6
6    1   8
7    5   4
8    1   6
9    3   4
10   6   3
11   8   5
12   4   5
13   7   5
14   4   3
15   3   1

 [*,5,7,*] (tr)
:   22   25    :=
1    4    0
2    4    0
3    2    1
4    5    1
5    3    5
6    8    5
7    5    4
8    5    4
9    6    7
10   7    9
11   3   10
12   4   10
13   1    7
14   0    7
15   0    2
;

R [1,1,1,*,*]
 [1,1,2,*,*]
:    4    :=
1    2

 [1,1,3,*,*]
:    4    :=
1    2

 [1,1,4,*,*]
:    4    :=
5    1
9    1

 [1,1,5,*,*]
 [1,1,6,*,*]
:    4    :=
9    2

 [1,1,7,*,*]
:    4    :=
36   2

 [1,2,1,*,*]
 [1,2,2,*,*]
 [1,2,3,*,*]
 [1,2,4,*,*]
 [1,2,5,*,*]
 [1,2,6,*,*]
 [1,2,7,*,*]
 [1,4,1,*,*]
 [1,4,2,*,*]
 [1,4,3,*,*]
 [1,4,4,*,*]
 [1,4,5,*,*]
 [1,4,6,*,*]
 [1,4,7,*,*]
 [1,7,1,*,*]
:   14    :=
35   1
36   4

 [1,7,2,*,*]
:   14    :=
33   5

 [1,7,3,*,*]
 [1,7,4,*,*]
:   14    :=
35   3
36   2

 [1,7,5,*,*]
:   14    :=
17   3
36   2

 [1,7,6,*,*]
 [1,7,7,*,*]
:   14    :=
13   5

 [1,9,1,*,*]
 [1,9,2,*,*]
 [1,9,3,*,*]
 [1,9,4,*,*]
 [1,9,5,*,*]
 [1,9,6,*,*]
 [1,9,7,*,*]
 [1,12,1,*,*]
:   15    :=
25   2

 [1,12,2,*,*]
:   15    :=
33   2

 [1,12,3,*,*]
 [1,12,4,*,*]
:   15    :=
25   2

 [1,12,5,*,*]
:   15    :=
9    2

 [1,12,6,*,*]
:   15    :=
5    2

 [1,12,7,*,*]
 [1,13,1,*,*]
:   12    :=
1    1

 [1,13,2,*,*]
:   12    :=
5    1

 [1,13,3,*,*]
 [1,13,4,*,*]
 [1,13,5,*,*]
:   12    :=
25   1

 [1,13,6,*,*]
:   12    :=
13   1

 [1,13,7,*,*]
:   12    :=
1    1

 [1,14,1,*,*]
 [1,14,2,*,*]
 [1,14,3,*,*]
 [1,14,4,*,*]
 [1,14,5,*,*]
 [1,14,6,*,*]
 [1,14,7,*,*]
 [1,17,1,*,*]
 [1,17,2,*,*]
 [1,17,3,*,*]
 [1,17,4,*,*]
 [1,17,5,*,*]
 [1,17,6,*,*]
 [1,17,7,*,*]
 [1,18,1,*,*]
 [1,18,2,*,*]
 [1,18,3,*,*]
 [1,18,4,*,*]
 [1,18,5,*,*]
 [1,18,6,*,*]
 [1,18,7,*,*]
 [1,19,1,*,*]
 [1,19,2,*,*]
 [1,19,3,*,*]
 [1,19,4,*,*]
 [1,19,5,*,*]
 [1,19,6,*,*]
 [1,19,7,*,*]
 [1,22,1,*,*]
 [1,22,2,*,*]
 [1,22,3,*,*]
 [1,22,4,*,*]
 [1,22,5,*,*]
 [1,22,6,*,*]
 [1,22,7,*,*]
 [1,25,1,*,*]
 [1,25,2,*,*]
:    5    :=
36   5

 [1,25,3,*,*]
:    5    :=
1    3
13   2

 [1,25,4,*,*]
:    5    :=
1    2
36   3

 [1,25,5,*,*]
:    5    :=
35   5

 [1,25,6,*,*]
 [1,25,7,*,*]
:    5    :=
35   5

 [2,1,1,*,*]
:   26    :=
36   5

 [2,1,2,*,*]
:   26    :=
35   5

 [2,1,3,*,*]
 [2,1,4,*,*]
:   26    :=
35   5

 [2,1,5,*,*]
:   26    :=
35   5

 [2,1,6,*,*]
:   26    :=
35   5

 [2,1,7,*,*]
:   26    :=
35   5

 [2,2,1,*,*]
:   23    :=
1    2

 [2,2,2,*,*]
:   23    :=
25   2

 [2,2,3,*,*]
:   23    :=
28   2

 [2,2,4,*,*]
:   23    :=
9    2

 [2,2,5,*,*]
:   23    :=
36   2

 [2,2,6,*,*]
 [2,2,7,*,*]
:   23    :=
21   2

 [2,4,1,*,*]
:   22    :=
35   3

 [2,4,2,*,*]
:   22    :=
28   3

 [2,4,3,*,*]
:   22    :=
21   3

 [2,4,4,*,*]
:   22    :=
5    1
36   2

 [2,4,5,*,*]
:   22    :=
36   3

 [2,4,6,*,*]
:   22    :=
25   1
36   2

 [2,4,7,*,*]
 [2,7,1,*,*]
 [2,7,2,*,*]
 [2,7,3,*,*]
 [2,7,4,*,*]
 [2,7,5,*,*]
 [2,7,6,*,*]
 [2,7,7,*,*]
 [2,9,1,*,*]
 [2,9,2,*,*]
 [2,9,3,*,*]
 [2,9,4,*,*]
 [2,9,5,*,*]
 [2,9,6,*,*]
 [2,9,7,*,*]
 [2,12,1,*,*]
:   23    :=
21   2

 [2,12,2,*,*]
:   23    :=
9    2

 [2,12,3,*,*]
:   23    :=
36   2

 [2,12,4,*,*]
:   23    :=
25   2

 [2,12,5,*,*]
:   23    :=
31   2

 [2,12,6,*,*]
 [2,12,7,*,*]
:   23    :=
13   2

 [2,13,1,*,*]
:   26    :=
36   5

 [2,13,2,*,*]
:   26    :=
1    3
5    1
25   1

 [2,13,3,*,*]
 [2,13,4,*,*]
:   26    :=
21   1
35   3
36   1

 [2,13,5,*,*]
:   26    :=
36   5

 [2,13,6,*,*]
:   26    :=
36   5

 [2,13,7,*,*]
:   26    :=
35   5

 [2,14,1,*,*]
 [2,14,2,*,*]
:   28    :=
36   2

 [2,14,3,*,*]
:   28    :=
13   2

 [2,14,4,*,*]
:   28    :=
5    2

 [2,14,5,*,*]
:   28    :=
35   2

 [2,14,6,*,*]
:   28    :=
13   1
31   1

 [2,14,7,*,*]
:   28    :=
33   2

 [2,17,1,*,*]
 [2,17,2,*,*]
:   28    :=
1    4

 [2,17,3,*,*]
:   28    :=
1    4

 [2,17,4,*,*]
:   28    :=
17   4

 [2,17,5,*,*]
:   28    :=
21   4

 [2,17,6,*,*]
:   28    :=
17   2
36   2

 [2,17,7,*,*]
:   28    :=
1    4

 [2,18,1,*,*]
:   26    :=
25   1

 [2,18,2,*,*]
:   26    :=
31   1

 [2,18,3,*,*]
 [2,18,4,*,*]
:   26    :=
25   1

 [2,18,5,*,*]
:   26    :=
31   1

 [2,18,6,*,*]
:   26    :=
1    1

 [2,18,7,*,*]
:   26    :=
9    1

 [2,19,1,*,*]
 [2,19,2,*,*]
 [2,19,3,*,*]
 [2,19,4,*,*]
 [2,19,5,*,*]
 [2,19,6,*,*]
 [2,19,7,*,*]
 [2,22,1,*,*]
 [2,22,2,*,*]
 [2,22,3,*,*]
 [2,22,4,*,*]
 [2,22,5,*,*]
 [2,22,6,*,*]
 [2,22,7,*,*]
 [2,25,1,*,*]
:   26    :=
21   2
36   2

 [2,25,2,*,*]
:   26    :=
1    4

 [2,25,3,*,*]
 [2,25,4,*,*]
:   26    :=
1    4

 [2,25,5,*,*]
:   26    :=
35   3
36   1

 [2,25,6,*,*]
:   26    :=
21   2
35   2

 [2,25,7,*,*]
:   26    :=
9    1
31   3

 [3,1,1,*,*]
 [3,1,2,*,*]
 [3,1,3,*,*]
:    1    :=
2    1
18   2

 [3,1,4,*,*]
:    1    :=
34   3

 [3,1,5,*,*]
:    1    :=
32   2
34   1

 [3,1,6,*,*]
:    1    :=
2    3

 [3,1,7,*,*]
:    1    :=
2    3

 [3,2,1,*,*]
 [3,2,2,*,*]
 [3,2,3,*,*]
 [3,2,4,*,*]
 [3,2,5,*,*]
 [3,2,6,*,*]
 [3,2,7,*,*]
 [3,4,1,*,*]
 [3,4,2,*,*]
:    2    :=
14   1

 [3,4,3,*,*]
 [3,4,4,*,*]
:    2    :=
6    1

 [3,4,5,*,*]
:    2    :=
10   1

 [3,4,6,*,*]
:    2    :=
18   1

 [3,4,7,*,*]
:    2    :=
6    1

 [3,7,1,*,*]
 [3,7,2,*,*]
:    3    :=
34   4

 [3,7,3,*,*]
:    3    :=
2    4

 [3,7,4,*,*]
 [3,7,5,*,*]
:    3    :=
6    4

 [3,7,6,*,*]
:    3    :=
32   4

 [3,7,7,*,*]
:    3    :=
26   1
34   3

 [3,9,1,*,*]
 [3,9,2,*,*]
 [3,9,3,*,*]
 [3,9,4,*,*]
 [3,9,5,*,*]
 [3,9,6,*,*]
 [3,9,7,*,*]
 [3,12,1,*,*]
 [3,12,2,*,*]
 [3,12,3,*,*]
 [3,12,4,*,*]
 [3,12,5,*,*]
 [3,12,6,*,*]
 [3,12,7,*,*]
 [3,13,1,*,*]
 [3,13,2,*,*]
 [3,13,3,*,*]
 [3,13,4,*,*]
 [3,13,5,*,*]
 [3,13,6,*,*]
 [3,13,7,*,*]
 [3,14,1,*,*]
:   12    :=
2    4

 [3,14,2,*,*]
:   12    :=
6    4

 [3,14,3,*,*]
 [3,14,4,*,*]
 [3,14,5,*,*]
:   12    :=
2    4

 [3,14,6,*,*]
:   12    :=
34   4

 [3,14,7,*,*]
:   12    :=
14   4

 [3,17,1,*,*]
 [3,17,2,*,*]
 [3,17,3,*,*]
 [3,17,4,*,*]
 [3,17,5,*,*]
 [3,17,6,*,*]
 [3,17,7,*,*]
 [3,18,1,*,*]
:    7    :=
14   2

 [3,18,2,*,*]
 [3,18,3,*,*]
 [3,18,4,*,*]
:    7    :=
6    2

 [3,18,5,*,*]
:    7    :=
29   2

 [3,18,6,*,*]
:    7    :=
6    2

 [3,18,7,*,*]
:    7    :=
32   2

 [3,19,1,*,*]
 [3,19,2,*,*]
 [3,19,3,*,*]
 [3,19,4,*,*]
 [3,19,5,*,*]
 [3,19,6,*,*]
 [3,19,7,*,*]
 [3,22,1,*,*]
 [3,22,2,*,*]
 [3,22,3,*,*]
:    1    :=
14   1
34   2

 [3,22,4,*,*]
:    1    :=
29   3

 [3,22,5,*,*]
:    1    :=
2    3

 [3,22,6,*,*]
:    1    :=
34   3

 [3,22,7,*,*]
:    1    :=
26   3

 [3,25,1,*,*]
:   11    :=
32   1
34   2

 [3,25,2,*,*]
 [3,25,3,*,*]
:   11    :=
32   3

 [3,25,4,*,*]
:   11    :=
14   3

 [3,25,5,*,*]
:   11    :=
10   3

 [3,25,6,*,*]
:   11    :=
10   2
34   1

 [3,25,7,*,*]
 [4,1,1,*,*]
 [4,1,2,*,*]
:   28    :=
10   2

 [4,1,3,*,*]
:   28    :=
32   2

 [4,1,4,*,*]
:   28    :=
10   1
14   1

 [4,1,5,*,*]
:   28    :=
2    2

 [4,1,6,*,*]
:   28    :=
2    2

 [4,1,7,*,*]
:   28    :=
18   1
29   1

 [4,2,1,*,*]
 [4,2,2,*,*]
 [4,2,3,*,*]
 [4,2,4,*,*]
 [4,2,5,*,*]
 [4,2,6,*,*]
 [4,2,7,*,*]
 [4,4,1,*,*]
:   24    :=
34   3

 [4,4,2,*,*]
:   24    :=
2    3

 [4,4,3,*,*]
:   24    :=
18   3

 [4,4,4,*,*]
:   24    :=
29   3

 [4,4,5,*,*]
 [4,4,6,*,*]
:   24    :=
34   3

 [4,4,7,*,*]
:   24    :=
18   1
32   2

 [4,7,1,*,*]
 [4,7,2,*,*]
:   28    :=
6    2
34   4

 [4,7,3,*,*]
:   28    :=
14   2
32   2
34   2

 [4,7,4,*,*]
:   28    :=
2    3
26   1
34   2

 [4,7,5,*,*]
:   28    :=
32   6

 [4,7,6,*,*]
:   28    :=
2    3
26   3

 [4,7,7,*,*]
:   28    :=
32   4
34   2

 [4,9,1,*,*]
:   27    :=
34   1

 [4,9,2,*,*]
 [4,9,3,*,*]
:   27    :=
32   1

 [4,9,4,*,*]
:   27    :=
34   1

 [4,9,5,*,*]
:   27    :=
2    1

 [4,9,6,*,*]
:   27    :=
2    1

 [4,9,7,*,*]
:   27    :=
32   1

 [4,12,1,*,*]
 [4,12,2,*,*]
 [4,12,3,*,*]
 [4,12,4,*,*]
 [4,12,5,*,*]
 [4,12,6,*,*]
 [4,12,7,*,*]
 [4,13,1,*,*]
:   27    :=
2    1
6    1
32   3

 [4,13,2,*,*]
 [4,13,3,*,*]
:   27    :=
14   2
18   3

 [4,13,4,*,*]
:   27    :=
2    1
14   4

 [4,13,5,*,*]
:   27    :=
2    5

 [4,13,6,*,*]
:   27    :=
10   2
34   3

 [4,13,7,*,*]
:   27    :=
14   5

 [4,14,1,*,*]
:   27    :=
14   2
32   1

 [4,14,2,*,*]
 [4,14,3,*,*]
:   27    :=
34   3

 [4,14,4,*,*]
:   27    :=
32   3

 [4,14,5,*,*]
:   27    :=
34   3

 [4,14,6,*,*]
:   27    :=
32   3

 [4,14,7,*,*]
:   27    :=
32   3

 [4,17,1,*,*]
 [4,17,2,*,*]
 [4,17,3,*,*]
 [4,17,4,*,*]
 [4,17,5,*,*]
 [4,17,6,*,*]
 [4,17,7,*,*]
 [4,18,1,*,*]
 [4,18,2,*,*]
 [4,18,3,*,*]
 [4,18,4,*,*]
 [4,18,5,*,*]
 [4,18,6,*,*]
 [4,18,7,*,*]
 [4,19,1,*,*]
 [4,19,2,*,*]
 [4,19,3,*,*]
 [4,19,4,*,*]
 [4,19,5,*,*]
 [4,19,6,*,*]
 [4,19,7,*,*]
 [4,22,1,*,*]
:   23    :=
26   3

 [4,22,2,*,*]
:   23    :=
34   3

 [4,22,3,*,*]
:   23    :=
29   3

 [4,22,4,*,*]
:   23    :=
2    3

 [4,22,5,*,*]
:   23    :=
18   1
32   2

 [4,22,6,*,*]
 [4,22,7,*,*]
:   23    :=
22   3

 [4,25,1,*,*]
 [4,25,2,*,*]
:   28    :=
10   3
32   3

 [4,25,3,*,*]
:   28    :=
2    1
18   2
34   3

 [4,25,4,*,*]
:   28    :=
32   6

 [4,25,5,*,*]
:   28    :=
2    2
22   1
34   3

 [4,25,6,*,*]
:   28    :=
2    4
29   2

 [4,25,7,*,*]
:   28    :=
18   4
34   2

 [5,1,1,*,*]
:   17    :=
27   4

 [5,1,2,*,*]
:   17    :=
30   4

 [5,1,3,*,*]
:   17    :=
7    4

 [5,1,4,*,*]
 [5,1,5,*,*]
:   17    :=
7    4

 [5,1,6,*,*]
 [5,1,7,*,*]
:   17    :=
3    4

 [5,2,1,*,*]
:   16    :=
19   3

 [5,2,2,*,*]
:   16    :=
7    3

 [5,2,3,*,*]
:   16    :=
3    1
7    2

 [5,2,4,*,*]
 [5,2,5,*,*]
 [5,2,6,*,*]
:   16    :=
3    3

 [5,2,7,*,*]
:   16    :=
19   3

 [5,4,1,*,*]
 [5,4,2,*,*]
:    4    :=
30   2

 [5,4,3,*,*]
:    4    :=
7    2

 [5,4,4,*,*]
:    4    :=
3    1
27   1

 [5,4,5,*,*]
 [5,4,6,*,*]
:    4    :=
3    2

 [5,4,7,*,*]
:    4    :=
30   2

 [5,7,1,*,*]
:   15    :=
7    2

 [5,7,2,*,*]
:   15    :=
23   2

 [5,7,3,*,*]
 [5,7,4,*,*]
:   15    :=
19   2

 [5,7,5,*,*]
:   15    :=
3    2

 [5,7,6,*,*]
:   15    :=
27   2

 [5,7,7,*,*]
 [5,9,1,*,*]
 [5,9,2,*,*]
 [5,9,3,*,*]
 [5,9,4,*,*]
 [5,9,5,*,*]
 [5,9,6,*,*]
 [5,9,7,*,*]
 [5,12,1,*,*]
:   17    :=
19   1

 [5,12,2,*,*]
:   17    :=
23   1

 [5,12,3,*,*]
:   17    :=
23   1

 [5,12,4,*,*]
 [5,12,5,*,*]
:   17    :=
11   1

 [5,12,6,*,*]
 [5,12,7,*,*]
:   17    :=
3    1

 [5,13,1,*,*]
 [5,13,2,*,*]
:    3    :=
30   4

 [5,13,3,*,*]
:    3    :=
3    4

 [5,13,4,*,*]
 [5,13,5,*,*]
:    3    :=
27   4

 [5,13,6,*,*]
:    3    :=
19   2
30   2

 [5,13,7,*,*]
:    3    :=
19   4

 [5,14,1,*,*]
 [5,14,2,*,*]
 [5,14,3,*,*]
 [5,14,4,*,*]
 [5,14,5,*,*]
 [5,14,6,*,*]
 [5,14,7,*,*]
 [5,17,1,*,*]
:    7    :=
27   1

 [5,17,2,*,*]
 [5,17,3,*,*]
 [5,17,4,*,*]
:    7    :=
27   1

 [5,17,5,*,*]
:    7    :=
19   1

 [5,17,6,*,*]
:    7    :=
30   1

 [5,17,7,*,*]
:    7    :=
7    1

 [5,18,1,*,*]
 [5,18,2,*,*]
:    4    :=
27   4

 [5,18,3,*,*]
:    4    :=
30   4

 [5,18,4,*,*]
:    4    :=
3    4

 [5,18,5,*,*]
 [5,18,6,*,*]
:    4    :=
27   4

 [5,18,7,*,*]
:    4    :=
19   4

 [5,19,1,*,*]
 [5,19,2,*,*]
 [5,19,3,*,*]
 [5,19,4,*,*]
 [5,19,5,*,*]
 [5,19,6,*,*]
 [5,19,7,*,*]
 [5,22,1,*,*]
:   13    :=
3    4

 [5,22,2,*,*]
:   13    :=
11   4

 [5,22,3,*,*]
 [5,22,4,*,*]
:   13    :=
23   4

 [5,22,5,*,*]
 [5,22,6,*,*]
:   13    :=
27   4

 [5,22,7,*,*]
:   13    :=
3    4

 [5,25,1,*,*]
 [5,25,2,*,*]
 [5,25,3,*,*]
 [5,25,4,*,*]
 [5,25,5,*,*]
 [5,25,6,*,*]
 [5,25,7,*,*]
 [6,1,1,*,*]
:   26    :=
7    4

 [6,1,2,*,*]
:   26    :=
15   4

 [6,1,3,*,*]
 [6,1,4,*,*]
:   26    :=
7    3
15   1

 [6,1,5,*,*]
:   26    :=
19   4

 [6,1,6,*,*]
:   26    :=
23   4

 [6,1,7,*,*]
:   26    :=
15   4

 [6,2,1,*,*]
 [6,2,2,*,*]
 [6,2,3,*,*]
 [6,2,4,*,*]
 [6,2,5,*,*]
 [6,2,6,*,*]
 [6,2,7,*,*]
 [6,4,1,*,*]
 [6,4,2,*,*]
 [6,4,3,*,*]
 [6,4,4,*,*]
 [6,4,5,*,*]
 [6,4,6,*,*]
 [6,4,7,*,*]
 [6,7,1,*,*]
 [6,7,2,*,*]
 [6,7,3,*,*]
 [6,7,4,*,*]
 [6,7,5,*,*]
 [6,7,6,*,*]
 [6,7,7,*,*]
 [6,9,1,*,*]
 [6,9,2,*,*]
 [6,9,3,*,*]
 [6,9,4,*,*]
 [6,9,5,*,*]
 [6,9,6,*,*]
 [6,9,7,*,*]
 [6,12,1,*,*]
:   23    :=
19   2

 [6,12,2,*,*]
:   23    :=
15   2

 [6,12,3,*,*]
:   23    :=
23   2

 [6,12,4,*,*]
:   23    :=
27   2

 [6,12,5,*,*]
:   23    :=
15   2

 [6,12,6,*,*]
 [6,12,7,*,*]
:   23    :=
30   2

 [6,13,1,*,*]
 [6,13,2,*,*]
 [6,13,3,*,*]
 [6,13,4,*,*]
 [6,13,5,*,*]
 [6,13,6,*,*]
 [6,13,7,*,*]
 [6,14,1,*,*]
 [6,14,2,*,*]
 [6,14,3,*,*]
 [6,14,4,*,*]
 [6,14,5,*,*]
 [6,14,6,*,*]
 [6,14,7,*,*]
 [6,17,1,*,*]
 [6,17,2,*,*]
 [6,17,3,*,*]
 [6,17,4,*,*]
 [6,17,5,*,*]
 [6,17,6,*,*]
 [6,17,7,*,*]
 [6,18,1,*,*]
 [6,18,2,*,*]
 [6,18,3,*,*]
 [6,18,4,*,*]
 [6,18,5,*,*]
 [6,18,6,*,*]
 [6,18,7,*,*]
 [6,19,1,*,*]
 [6,19,2,*,*]
 [6,19,3,*,*]
 [6,19,4,*,*]
 [6,19,5,*,*]
 [6,19,6,*,*]
 [6,19,7,*,*]
 [6,22,1,*,*]
 [6,22,2,*,*]
 [6,22,3,*,*]
 [6,22,4,*,*]
 [6,22,5,*,*]
 [6,22,6,*,*]
 [6,22,7,*,*]
 [6,25,1,*,*]
 [6,25,2,*,*]
 [6,25,3,*,*]
 [6,25,4,*,*]
 [6,25,5,*,*]
 [6,25,6,*,*]
 [6,25,7,*,*]
 [7,1,1,*,*]
:   16    :=
8    4

 [7,1,2,*,*]
:   16    :=
12   3
16   1

 [7,1,3,*,*]
:   16    :=
24   4

 [7,1,4,*,*]
 [7,1,5,*,*]
 [7,1,6,*,*]
:   16    :=
20   4

 [7,1,7,*,*]
:   16    :=
8    4

 [7,2,1,*,*]
 [7,2,2,*,*]
 [7,2,3,*,*]
 [7,2,4,*,*]
 [7,2,5,*,*]
 [7,2,6,*,*]
 [7,2,7,*,*]
 [7,4,1,*,*]
 [7,4,2,*,*]
 [7,4,3,*,*]
 [7,4,4,*,*]
 [7,4,5,*,*]
 [7,4,6,*,*]
 [7,4,7,*,*]
 [7,7,1,*,*]
 [7,7,2,*,*]
 [7,7,3,*,*]
 [7,7,4,*,*]
 [7,7,5,*,*]
 [7,7,6,*,*]
 [7,7,7,*,*]
 [7,9,1,*,*]
 [7,9,2,*,*]
 [7,9,3,*,*]
 [7,9,4,*,*]
 [7,9,5,*,*]
 [7,9,6,*,*]
 [7,9,7,*,*]
 [7,12,1,*,*]
 [7,12,2,*,*]
 [7,12,3,*,*]
 [7,12,4,*,*]
 [7,12,5,*,*]
 [7,12,6,*,*]
 [7,12,7,*,*]
 [7,13,1,*,*]
 [7,13,2,*,*]
 [7,13,3,*,*]
 [7,13,4,*,*]
 [7,13,5,*,*]
 [7,13,6,*,*]
 [7,13,7,*,*]
 [7,14,1,*,*]
 [7,14,2,*,*]
 [7,14,3,*,*]
 [7,14,4,*,*]
 [7,14,5,*,*]
 [7,14,6,*,*]
 [7,14,7,*,*]
 [7,17,1,*,*]
 [7,17,2,*,*]
 [7,17,3,*,*]
 [7,17,4,*,*]
 [7,17,5,*,*]
 [7,17,6,*,*]
 [7,17,7,*,*]
 [7,18,1,*,*]
 [7,18,2,*,*]
 [7,18,3,*,*]
 [7,18,4,*,*]
 [7,18,5,*,*]
 [7,18,6,*,*]
 [7,18,7,*,*]
 [7,19,1,*,*]
 [7,19,2,*,*]
 [7,19,3,*,*]
 [7,19,4,*,*]
 [7,19,5,*,*]
 [7,19,6,*,*]
 [7,19,7,*,*]
 [7,22,1,*,*]
:    8    :=
8    1

 [7,22,2,*,*]
 [7,22,3,*,*]
:    8    :=
16   1

 [7,22,4,*,*]
 [7,22,5,*,*]
:    8    :=
12   1

 [7,22,6,*,*]
:    8    :=
12   1

 [7,22,7,*,*]
:    8    :=
16   1

 [7,25,1,*,*]
 [7,25,2,*,*]
 [7,25,3,*,*]
 [7,25,4,*,*]
 [7,25,5,*,*]
 [7,25,6,*,*]
 [7,25,7,*,*]
 [8,1,1,*,*]
 [8,1,2,*,*]
 [8,1,3,*,*]
 [8,1,4,*,*]
 [8,1,5,*,*]
 [8,1,6,*,*]
 [8,1,7,*,*]
 [8,2,1,*,*]
 [8,2,2,*,*]
 [8,2,3,*,*]
 [8,2,4,*,*]
 [8,2,5,*,*]
 [8,2,6,*,*]
 [8,2,7,*,*]
 [8,4,1,*,*]
 [8,4,2,*,*]
 [8,4,3,*,*]
 [8,4,4,*,*]
 [8,4,5,*,*]
 [8,4,6,*,*]
 [8,4,7,*,*]
 [8,7,1,*,*]
:   27    :=
16   1

 [8,7,2,*,*]
 [8,7,3,*,*]
:   27    :=
20   1

 [8,7,4,*,*]
:   27    :=
16   1

 [8,7,5,*,*]
:   27    :=
20   1

 [8,7,6,*,*]
:   27    :=
24   1

 [8,7,7,*,*]
:   27    :=
8    1

 [8,9,1,*,*]
 [8,9,2,*,*]
 [8,9,3,*,*]
 [8,9,4,*,*]
 [8,9,5,*,*]
 [8,9,6,*,*]
 [8,9,7,*,*]
 [8,12,1,*,*]
:   27    :=
16   2

 [8,12,2,*,*]
 [8,12,3,*,*]
:   27    :=
24   2

 [8,12,4,*,*]
:   27    :=
24   2

 [8,12,5,*,*]
:   27    :=
4    2

 [8,12,6,*,*]
:   27    :=
8    2

 [8,12,7,*,*]
:   27    :=
8    2

 [8,13,1,*,*]
 [8,13,2,*,*]
 [8,13,3,*,*]
 [8,13,4,*,*]
 [8,13,5,*,*]
 [8,13,6,*,*]
 [8,13,7,*,*]
 [8,14,1,*,*]
 [8,14,2,*,*]
 [8,14,3,*,*]
 [8,14,4,*,*]
 [8,14,5,*,*]
 [8,14,6,*,*]
 [8,14,7,*,*]
 [8,17,1,*,*]
 [8,17,2,*,*]
 [8,17,3,*,*]
 [8,17,4,*,*]
 [8,17,5,*,*]
 [8,17,6,*,*]
 [8,17,7,*,*]
 [8,18,1,*,*]
 [8,18,2,*,*]
 [8,18,3,*,*]
 [8,18,4,*,*]
 [8,18,5,*,*]
 [8,18,6,*,*]
 [8,18,7,*,*]
 [8,19,1,*,*]
 [8,19,2,*,*]
 [8,19,3,*,*]
 [8,19,4,*,*]
 [8,19,5,*,*]
 [8,19,6,*,*]
 [8,19,7,*,*]
 [8,22,1,*,*]
 [8,22,2,*,*]
 [8,22,3,*,*]
 [8,22,4,*,*]
 [8,22,5,*,*]
 [8,22,6,*,*]
 [8,22,7,*,*]
 [8,25,1,*,*]
 [8,25,2,*,*]
 [8,25,3,*,*]
 [8,25,4,*,*]
 [8,25,5,*,*]
 [8,25,6,*,*]
 [8,25,7,*,*];

SEC [1,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
1    0   1   1   0   1   0   0   0   1   1   1   1   0
4    1   0   0   0   0   0   0   1   0   0   0   0   0
5    0   0   0   0   0   0   0   0   0   0   0   0   1
12   0   0   0   0   0   0   1   0   0   0   0   0   0
14   0   0   0   1   0   0   0   0   0   0   0   0   0
15   0   0   0   0   0   1   0   0   0   0   0   0   0

 [2,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
22   0   0   1   0   0   0   0   0   0   0   1   1   0
23   0   1   0   0   0   1   0   0   0   0   0   0   0
26   1   0   0   0   0   0   1   0   0   1   0   0   1
27   0   0   0   1   0   0   0   0   0   0   0   0   0
28   0   0   0   0   1   0   0   1   1   0   0   0   0

 [3,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
1    1   1   0   0   1   0   1   0   1   0   1   1   0
2    0   0   1   0   0   0   0   0   0   0   0   0   0
3    0   0   0   1   0   1   0   0   0   0   0   0   0
7    0   0   0   0   0   0   0   0   0   1   0   0   0
11   0   0   0   0   0   0   0   0   0   0   0   0   1
12   0   0   0   0   0   0   0   1   0   0   0   0   0

 [4,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
22   0   1   0   0   0   1   0   0   1   0   1   0   0
23   0   0   0   0   0   0   0   0   0   0   0   1   0
24   0   0   1   0   0   0   0   0   0   0   0   0   0
25   0   0   0   0   0   0   0   0   0   1   0   0   0
27   0   0   0   0   1   0   1   1   0   0   0   0   0
28   1   0   0   1   0   0   0   0   0   0   0   0   1

 [5,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
1    0   0   0   0   0   0   0   1   0   0   1   0   0
2    0   0   0   0   1   0   0   0   0   0   0   0   0
3    0   0   0   0   0   0   1   0   0   0   0   0   0
4    0   0   1   0   0   0   0   0   0   1   0   0   0
7    0   0   0   0   0   0   0   0   1   0   0   0   0
10   0   0   0   0   0   0   0   0   0   0   0   0   1
13   0   0   0   0   0   0   0   0   0   0   0   1   0
15   0   0   0   1   0   0   0   0   0   0   0   0   0
16   0   1   0   0   0   0   0   0   0   0   0   0   0
17   1   0   0   0   0   1   0   0   0   0   0   0   0

 [6,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
22   0   1   1   1   1   0   1   1   1   1   1   1   1
23   0   0   0   0   0   1   0   0   0   0   0   0   0
26   1   0   0   0   0   0   0   0   0   0   0   0   0

 [7,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
1    0   1   1   1   1   1   1   1   1   1   1   0   1
8    0   0   0   0   0   0   0   0   0   0   0   1   0
16   1   0   0   0   0   0   0   0   0   0   0   0   0

 [8,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
22   1   1   1   0   1   0   1   1   1   1   1   1   1
27   0   0   0   1   0   1   0   0   0   0   0   0   0
;

Poli = 56
totales = 131

Faltantes = 66
sobrantes = 294.6
salario = 5308.04
servicio = 10.2691
capacitacion = 1.12

_solve_elapsed_time = 7201.19

_nvars = 745252
_ncons = 13561

solve_result_num = 422

