c CS 3.7
c Commercial use requires a licence
c contact igsys@eclipse.net
c
c nodes:             398     arcs:              792
c scale-factor:       12     cut-off-factor:   20.9
c
c time:             0.00     cost:              392
c refines:             1     discharges:        397
c pushes:            791     relabels:          774
c updates:             1     u-scans:            21
c p-refines:           5     r-scans:             7
c dfs-scans:        3980     bad-in:        0  +  0
c
s 392
f       0       1          1
f       0     199          1
f       0       2          1
f       0     200          1
f       0       3          1
f       0     201          1
f       0       4          1
f       0     202          1
f       0       5          1
f       0     203          1
f       0       6          1
f       0     204          1
f       0       7          1
f       0     205          1
f       0       8          1
f       0     206          1
f       0       9          1
f       0     207          1
f       0      10          1
f       0     208          1
f       0      11          1
f       0     209          1
f       0      12          1
f       0     210          1
f       0      13          1
f       0     211          1
f       0      14          1
f       0     212          1
f       0      15          1
f       0     213          1
f       0      16          1
f       0     214          1
f       0      17          1
f       0     215          1
f       0      18          1
f       0     216          1
f       0      19          1
f       0     217          1
f       0      20          1
f       0     218          1
f       0      21          1
f       0     219          1
f       0      22          1
f       0     220          1
f       0      23          1
f       0     221          1
f       0      24          1
f       0     222          1
f       0      25          1
f       0     223          1
f       0      26          1
f       0     224          1
f       0      27          1
f       0     225          1
f       0      28          1
f       0     226          1
f       0      29          1
f       0     227          1
f       0      30          1
f       0     228          1
f       0      31          1
f       0     229          1
f       0      32          1
f       0     230          1
f       0      33          1
f       0     231          1
f       0      34          1
f       0     232          1
f       0      35          1
f       0     233          1
f       0      36          1
f       0     234          1
f       0      37          1
f       0     235          1
f       0      38          1
f       0     236          1
f       0      39          1
f       0     237          1
f       0      40          1
f       0     238          1
f       0      41          1
f       0     239          1
f       0      42          1
f       0     240          1
f       0      43          1
f       0     241          1
f       0      44          1
f       0     242          1
f       0      45          1
f       0     243          1
f       0      46          1
f       0     244          1
f       0      47          1
f       0     245          1
f       0      48          1
f       0     246          1
f       0      49          1
f       0     247          1
f       0      50          1
f       0     248          1
f       0      51          1
f       0     249          1
f       0      52          1
f       0     250          1
f       0      53          1
f       0     251          1
f       0      54          1
f       0     252          1
f       0      55          1
f       0     253          1
f       0      56          1
f       0     254          1
f       0      57          1
f       0     255          1
f       0      58          1
f       0     256          1
f       0      59          1
f       0     257          1
f       0      60          1
f       0     258          1
f       0      61          1
f       0     259          1
f       0      62          1
f       0     260          1
f       0      63          1
f       0     261          1
f       0      64          1
f       0     262          1
f       0      65          1
f       0     263          1
f       0      66          1
f       0     264          1
f       0      67          1
f       0     265          1
f       0      68          1
f       0     266          1
f       0      69          1
f       0     267          1
f       0      70          1
f       0     268          1
f       0      71          1
f       0     269          1
f       0      72          1
f       0     270          1
f       0      73          1
f       0     271          1
f       0      74          1
f       0     272          1
f       0      75          1
f       0     273          1
f       0      76          1
f       0     274          1
f       0      77          1
f       0     275          1
f       0      78          1
f       0     276          1
f       0      79          1
f       0     277          1
f       0      80          1
f       0     278          1
f       0      81          1
f       0     279          1
f       0      82          1
f       0     280          1
f       0      83          1
f       0     281          1
f       0      84          1
f       0     282          1
f       0      85          1
f       0     283          1
f       0      86          1
f       0     284          1
f       0      87          1
f       0     285          1
f       0      88          1
f       0     286          1
f       0      89          1
f       0     287          1
f       0      90          1
f       0     288          1
f       0      91          1
f       0     289          1
f       0      92          1
f       0     290          1
f       0      93          1
f       0     291          1
f       0      94          1
f       0     292          1
f       0      95          1
f       0     293          1
f       0      96          1
f       0     294          1
f       0      97          1
f       0     295          1
f       0      98          1
f       0     296          1
f       0      99          1
f       0     297          1
f       0     100          1
f       0     298          1
f       0     101          1
f       0     299          1
f       0     102          1
f       0     300          1
f       0     103          1
f       0     301          1
f       0     104          1
f       0     302          1
f       0     105          1
f       0     303          1
f       0     106          1
f       0     304          1
f       0     107          1
f       0     305          1
f       0     108          1
f       0     306          1
f       0     109          1
f       0     307          1
f       0     110          1
f       0     308          1
f       0     111          1
f       0     309          1
f       0     112          1
f       0     310          1
f       0     113          1
f       0     311          1
f       0     114          1
f       0     312          1
f       0     115          1
f       0     313          1
f       0     116          1
f       0     314          1
f       0     117          1
f       0     315          1
f       0     118          1
f       0     316          1
f       0     119          1
f       0     317          1
f       0     120          1
f       0     318          1
f       0     121          1
f       0     319          1
f       0     122          1
f       0     320          1
f       0     123          1
f       0     321          1
f       0     124          1
f       0     322          1
f       0     125          1
f       0     323          1
f       0     126          1
f       0     324          1
f       0     127          1
f       0     325          1
f       0     128          1
f       0     326          1
f       0     129          1
f       0     327          1
f       0     130          1
f       0     328          1
f       0     131          1
f       0     329          1
f       0     132          1
f       0     330          1
f       0     133          1
f       0     331          1
f       0     134          1
f       0     332          1
f       0     135          1
f       0     333          1
f       0     136          1
f       0     334          1
f       0     137          1
f       0     335          1
f       0     138          1
f       0     336          1
f       0     139          1
f       0     337          1
f       0     140          1
f       0     338          1
f       0     141          1
f       0     339          1
f       0     142          1
f       0     340          1
f       0     143          1
f       0     341          1
f       0     144          1
f       0     342          1
f       0     145          1
f       0     343          1
f       0     146          1
f       0     344          1
f       0     147          1
f       0     345          1
f       0     148          1
f       0     346          1
f       0     149          1
f       0     347          1
f       0     150          1
f       0     348          1
f       0     151          1
f       0     349          1
f       0     152          1
f       0     350          1
f       0     153          1
f       0     351          1
f       0     154          1
f       0     352          1
f       0     155          1
f       0     353          1
f       0     156          1
f       0     354          1
f       0     157          1
f       0     355          1
f       0     158          1
f       0     356          1
f       0     159          1
f       0     357          1
f       0     160          1
f       0     358          1
f       0     161          1
f       0     359          1
f       0     162          1
f       0     360          1
f       0     163          1
f       0     361          1
f       0     164          1
f       0     362          1
f       0     165          1
f       0     363          1
f       0     166          1
f       0     364          1
f       0     167          1
f       0     365          1
f       0     168          1
f       0     366          1
f       0     169          1
f       0     367          1
f       0     170          1
f       0     368          1
f       0     171          1
f       0     369          1
f       0     172          1
f       0     370          1
f       0     173          1
f       0     371          1
f       0     174          1
f       0     372          1
f       0     175          1
f       0     373          1
f       0     176          1
f       0     374          1
f       0     177          1
f       0     375          1
f       0     178          1
f       0     376          1
f       0     179          1
f       0     377          1
f       0     180          1
f       0     378          1
f       0     181          1
f       0     379          1
f       0     182          1
f       0     380          1
f       0     183          1
f       0     381          1
f       0     184          1
f       0     382          1
f       0     185          1
f       0     383          1
f       0     186          1
f       0     384          1
f       0     187          1
f       0     385          1
f       0     188          1
f       0     386          1
f       0     189          1
f       0     387          1
f       0     190          1
f       0     388          1
f       0     191          1
f       0     389          1
f       0     192          1
f       0     390          1
f       0     193          1
f       0     391          1
f       0     194          1
f       0     392          1
f       0     195          1
f       0     393          1
f       0     196          1
f       0     394          1
f       0     197          1
f       0     395          1
f       0     198          1
f       0     397          0
f       1     396          1
f       2     396          1
f       3     396          1
f       4     396          1
f       5     396          1
f       6     396          1
f       7     396          1
f       8     396          1
f       9     396          1
f      10     396          1
f      11     396          1
f      12     396          1
f      13     396          1
f      14     396          1
f      15     396          1
f      16     396          1
f      17     396          1
f      18     396          1
f      19     396          1
f      20     396          1
f      21     396          1
f      22     396          1
f      23     396          1
f      24     396          1
f      25     396          1
f      26     396          1
f      27     396          1
f      28     396          1
f      29     396          1
f      30     396          1
f      31     396          1
f      32     396          1
f      33     396          1
f      34     396          1
f      35     396          1
f      36     396          1
f      37     396          1
f      38     396          1
f      39     396          1
f      40     396          1
f      41     396          1
f      42     396          1
f      43     396          1
f      44     396          1
f      45     396          1
f      46     396          1
f      47     396          1
f      48     396          1
f      49     396          1
f      50     396          1
f      51     396          1
f      52     396          1
f      53     396          1
f      54     396          1
f      55     396          1
f      56     396          1
f      57     396          1
f      58     396          1
f      59     396          1
f      60     396          1
f      61     396          1
f      62     396          1
f      63     396          1
f      64     396          1
f      65     396          1
f      66     396          1
f      67     396          1
f      68     396          1
f      69     396          1
f      70     396          1
f      71     396          1
f      72     396          1
f      73     396          1
f      74     396          1
f      75     396          1
f      76     396          1
f      77     396          1
f      78     396          1
f      79     396          1
f      80     396          1
f      81     396          1
f      82     396          1
f      83     396          1
f      84     396          1
f      85     396          1
f      86     396          1
f      87     396          1
f      88     396          1
f      89     396          1
f      90     396          1
f      91     396          1
f      92     396          1
f      93     396          1
f      94     396          1
f      95     396          1
f      96     396          1
f      97     396          1
f      98     396          1
f      99     396          1
f     100     396          1
f     101     396          1
f     102     396          1
f     103     396          1
f     104     396          1
f     105     396          1
f     106     396          1
f     107     396          1
f     108     396          1
f     109     396          1
f     110     396          1
f     111     396          1
f     112     396          1
f     113     396          1
f     114     396          1
f     115     396          1
f     116     396          1
f     117     396          1
f     118     396          1
f     119     396          1
f     120     396          1
f     121     396          1
f     122     396          1
f     123     396          1
f     124     396          1
f     125     396          1
f     126     396          1
f     127     396          1
f     128     396          1
f     129     396          1
f     130     396          1
f     131     396          1
f     132     396          1
f     133     396          1
f     134     396          1
f     135     396          1
f     136     396          1
f     137     396          1
f     138     396          1
f     139     396          1
f     140     396          1
f     141     396          1
f     142     396          1
f     143     396          1
f     144     396          1
f     145     396          1
f     146     396          1
f     147     396          1
f     148     396          1
f     149     396          1
f     150     396          1
f     151     396          1
f     152     396          1
f     153     396          1
f     154     396          1
f     155     396          1
f     156     396          1
f     157     396          1
f     158     396          1
f     159     396          1
f     160     396          1
f     161     396          1
f     162     396          1
f     163     396          1
f     164     396          1
f     165     396          1
f     166     396          1
f     167     396          1
f     168     396          1
f     169     396          1
f     170     396          1
f     171     396          1
f     172     396          1
f     173     396          1
f     174     396          1
f     175     396          1
f     176     396          1
f     177     396          1
f     178     396          1
f     179     396          1
f     180     396          1
f     181     396          1
f     182     396          1
f     183     396          1
f     184     396          1
f     185     396          1
f     186     396          1
f     187     396          1
f     188     396          1
f     189     396          1
f     190     396          1
f     191     396          1
f     192     396          1
f     193     396          1
f     194     396          1
f     195     396          1
f     196     396          1
f     197     396          1
f     198     396          1
f     199     396          1
f     200     396          1
f     201     396          1
f     202     396          1
f     203     396          1
f     204     396          1
f     205     396          1
f     206     396          1
f     207     396          1
f     208     396          1
f     209     396          1
f     210     396          1
f     211     396          1
f     212     396          1
f     213     396          1
f     214     396          1
f     215     396          1
f     216     396          1
f     217     396          1
f     218     396          1
f     219     396          1
f     220     396          1
f     221     396          1
f     222     396          1
f     223     396          1
f     224     396          1
f     225     396          1
f     226     396          1
f     227     396          1
f     228     396          1
f     229     396          1
f     230     396          1
f     231     396          1
f     232     396          1
f     233     396          1
f     234     396          1
f     235     396          1
f     236     396          1
f     237     396          1
f     238     396          1
f     239     396          1
f     240     396          1
f     241     396          1
f     242     396          1
f     243     396          1
f     244     396          1
f     245     396          1
f     246     396          1
f     247     396          1
f     248     396          1
f     249     396          1
f     250     396          1
f     251     396          1
f     252     396          1
f     253     396          1
f     254     396          1
f     255     396          1
f     256     396          1
f     257     396          1
f     258     396          1
f     259     396          1
f     260     396          1
f     261     396          1
f     262     396          1
f     263     396          1
f     264     396          1
f     265     396          1
f     266     396          1
f     267     396          1
f     268     396          1
f     269     396          1
f     270     396          1
f     271     396          1
f     272     396          1
f     273     396          1
f     274     396          1
f     275     396          1
f     276     396          1
f     277     396          1
f     278     396          1
f     279     396          1
f     280     396          1
f     281     396          1
f     282     396          1
f     283     396          1
f     284     396          1
f     285     396          1
f     286     396          1
f     287     396          1
f     288     396          1
f     289     396          1
f     290     396          1
f     291     396          1
f     292     396          1
f     293     396          1
f     294     396          1
f     295     396          1
f     296     396          1
f     297     396          1
f     298     396          1
f     299     396          1
f     300     396          1
f     301     396          1
f     302     396          1
f     303     396          1
f     304     396          1
f     305     396          1
f     306     396          1
f     307     396          1
f     308     396          1
f     309     396          1
f     310     396          1
f     311     396          1
f     312     396          1
f     313     396          1
f     314     396          1
f     315     396          1
f     316     396          1
f     317     396          1
f     318     396          1
f     319     396          1
f     320     396          1
f     321     396          1
f     322     396          1
f     323     396          1
f     324     396          1
f     325     396          1
f     326     396          1
f     327     396          1
f     328     396          1
f     329     396          1
f     330     396          1
f     331     396          1
f     332     396          1
f     333     396          1
f     334     396          1
f     335     396          1
f     336     396          1
f     337     396          1
f     338     396          1
f     339     396          1
f     340     396          1
f     341     396          1
f     342     396          1
f     343     396          1
f     344     396          1
f     345     396          1
f     346     396          1
f     347     396          1
f     348     396          1
f     349     396          1
f     350     396          1
f     351     396          1
f     352     396          1
f     353     396          1
f     354     396          1
f     355     396          1
f     356     396          1
f     357     396          1
f     358     396          1
f     359     396          1
f     360     396          1
f     361     396          1
f     362     396          1
f     363     396          1
f     364     396          1
f     365     396          1
f     366     396          1
f     367     396          1
f     368     396          1
f     369     396          1
f     370     396          1
f     371     396          1
f     372     396          1
f     373     396          1
f     374     396          1
f     375     396          1
f     376     396          1
f     377     396          1
f     378     396          1
f     379     396          1
f     380     396          1
f     381     396          1
f     382     396          1
f     383     396          1
f     384     396          1
f     385     396          1
f     386     396          1
f     387     396          1
f     388     396          1
f     389     396          1
f     390     396          1
f     391     396          1
f     392     396          1
f     393     396          1
f     394     396          1
f     395     396          1
f     396     397        395
c