c CS 3.7
c Commercial use requires a licence
c contact igsys@eclipse.net
c
c nodes:             600     arcs:             1196
c scale-factor:       12     cut-off-factor:   25.0
c
c time:             0.00     cost:             5000
c refines:             1     discharges:        605
c pushes:           1206     relabels:         1765
c updates:             2     u-scans:           483
c p-refines:           5     r-scans:          2399
c dfs-scans:        6000     bad-in:        0  +  0
c
s 5000
f       0       1          1
f       0     300          1
f       0       2          1
f       0     301          1
f       0       3          1
f       0     302          1
f       0       4          1
f       0     303          1
f       0       5          1
f       0     304          1
f       0       6          1
f       0     305          1
f       0       7          1
f       0     306          1
f       0       8          1
f       0     307          1
f       0       9          1
f       0     308          1
f       0      10          1
f       0     309          1
f       0      11          1
f       0     310          1
f       0      12          1
f       0     311          1
f       0      13          1
f       0     312          1
f       0      14          1
f       0     313          1
f       0      15          1
f       0     314          1
f       0      16          1
f       0     315          1
f       0      17          1
f       0     316          1
f       0      18          1
f       0     317          1
f       0      19          1
f       0     318          1
f       0      20          1
f       0     319          1
f       0      21          1
f       0     320          1
f       0      22          1
f       0     321          1
f       0      23          1
f       0     322          1
f       0      24          1
f       0     323          1
f       0      25          1
f       0     324          1
f       0      26          1
f       0     325          1
f       0      27          1
f       0     326          1
f       0      28          1
f       0     327          1
f       0      29          1
f       0     328          1
f       0      30          1
f       0     329          1
f       0      31          1
f       0     330          1
f       0      32          1
f       0     331          1
f       0      33          1
f       0     332          1
f       0      34          1
f       0     333          1
f       0      35          1
f       0     334          1
f       0      36          1
f       0     335          1
f       0      37          1
f       0     336          1
f       0      38          1
f       0     337          1
f       0      39          1
f       0     338          1
f       0      40          1
f       0     339          1
f       0      41          1
f       0     340          1
f       0      42          1
f       0     341          1
f       0      43          1
f       0     342          1
f       0      44          1
f       0     343          1
f       0      45          1
f       0     344          1
f       0      46          1
f       0     345          1
f       0      47          1
f       0     346          1
f       0      48          1
f       0     347          1
f       0      49          1
f       0     348          1
f       0      50          1
f       0     349          1
f       0      51          1
f       0     350          1
f       0      52          1
f       0     351          1
f       0      53          1
f       0     352          1
f       0      54          1
f       0     353          1
f       0      55          1
f       0     354          1
f       0      56          1
f       0     355          1
f       0      57          1
f       0     356          1
f       0      58          1
f       0     357          1
f       0      59          1
f       0     358          1
f       0      60          1
f       0     359          1
f       0      61          1
f       0     360          1
f       0      62          1
f       0     361          1
f       0      63          1
f       0     362          1
f       0      64          1
f       0     363          1
f       0      65          1
f       0     364          1
f       0      66          1
f       0     365          1
f       0      67          1
f       0     366          1
f       0      68          1
f       0     367          1
f       0      69          1
f       0     368          1
f       0      70          1
f       0     369          1
f       0      71          1
f       0     370          1
f       0      72          1
f       0     371          1
f       0      73          1
f       0     372          1
f       0      74          1
f       0     373          1
f       0      75          0
f       0     374          1
f       0      76          1
f       0     375          1
f       0      77          1
f       0     376          1
f       0      78          1
f       0     377          1
f       0      79          1
f       0     378          1
f       0      80          1
f       0     379          1
f       0      81          1
f       0     380          1
f       0      82          1
f       0     381          1
f       0      83          1
f       0     382          1
f       0      84          1
f       0     383          1
f       0      85          1
f       0     384          1
f       0      86          1
f       0     385          1
f       0      87          1
f       0     386          1
f       0      88          1
f       0     387          1
f       0      89          1
f       0     388          1
f       0      90          1
f       0     389          1
f       0      91          1
f       0     390          1
f       0      92          1
f       0     391          1
f       0      93          1
f       0     392          1
f       0      94          1
f       0     393          1
f       0      95          1
f       0     394          1
f       0      96          1
f       0     395          1
f       0      97          1
f       0     396          1
f       0      98          1
f       0     397          1
f       0      99          1
f       0     398          1
f       0     100          1
f       0     399          1
f       0     101          1
f       0     400          1
f       0     102          1
f       0     401          1
f       0     103          1
f       0     402          1
f       0     104          1
f       0     403          1
f       0     105          1
f       0     404          1
f       0     106          1
f       0     405          1
f       0     107          1
f       0     406          1
f       0     108          1
f       0     407          1
f       0     109          1
f       0     408          1
f       0     110          1
f       0     409          1
f       0     111          1
f       0     410          1
f       0     112          1
f       0     411          1
f       0     113          1
f       0     412          1
f       0     114          1
f       0     413          1
f       0     115          1
f       0     414          1
f       0     116          1
f       0     415          1
f       0     117          1
f       0     416          1
f       0     118          1
f       0     417          1
f       0     119          1
f       0     418          1
f       0     120          1
f       0     419          1
f       0     121          1
f       0     420          1
f       0     122          1
f       0     421          1
f       0     123          1
f       0     422          1
f       0     124          1
f       0     423          1
f       0     125          1
f       0     424          1
f       0     126          1
f       0     425          1
f       0     127          1
f       0     426          1
f       0     128          1
f       0     427          1
f       0     129          1
f       0     428          1
f       0     130          1
f       0     429          1
f       0     131          1
f       0     430          1
f       0     132          1
f       0     431          1
f       0     133          1
f       0     432          1
f       0     134          1
f       0     433          1
f       0     135          1
f       0     434          1
f       0     136          1
f       0     435          1
f       0     137          1
f       0     436          1
f       0     138          1
f       0     437          1
f       0     139          1
f       0     438          1
f       0     140          1
f       0     439          1
f       0     141          1
f       0     440          1
f       0     142          1
f       0     441          1
f       0     143          1
f       0     442          1
f       0     144          1
f       0     443          1
f       0     145          1
f       0     444          1
f       0     146          1
f       0     445          1
f       0     147          1
f       0     446          1
f       0     148          1
f       0     447          1
f       0     149          1
f       0     448          1
f       0     150          1
f       0     449          1
f       0     151          1
f       0     450          1
f       0     152          1
f       0     451          1
f       0     153          1
f       0     452          0
f       0     154          1
f       0     453          1
f       0     155          1
f       0     454          1
f       0     156          1
f       0     455          1
f       0     157          1
f       0     456          1
f       0     158          1
f       0     457          1
f       0     159          1
f       0     458          1
f       0     160          1
f       0     459          1
f       0     161          1
f       0     460          1
f       0     162          1
f       0     461          1
f       0     163          1
f       0     462          1
f       0     164          1
f       0     463          1
f       0     165          1
f       0     464          1
f       0     166          1
f       0     465          1
f       0     167          1
f       0     466          1
f       0     168          1
f       0     467          1
f       0     169          1
f       0     468          1
f       0     170          1
f       0     469          1
f       0     171          1
f       0     470          1
f       0     172          1
f       0     471          1
f       0     173          1
f       0     472          1
f       0     174          1
f       0     473          1
f       0     175          1
f       0     474          1
f       0     176          1
f       0     475          1
f       0     177          1
f       0     476          1
f       0     178          1
f       0     477          1
f       0     179          1
f       0     478          1
f       0     180          1
f       0     479          1
f       0     181          1
f       0     480          1
f       0     182          1
f       0     481          1
f       0     183          1
f       0     482          1
f       0     184          1
f       0     483          1
f       0     185          1
f       0     484          1
f       0     186          1
f       0     485          1
f       0     187          1
f       0     486          1
f       0     188          1
f       0     487          1
f       0     189          1
f       0     488          1
f       0     190          1
f       0     489          1
f       0     191          1
f       0     490          1
f       0     192          1
f       0     491          1
f       0     193          1
f       0     492          1
f       0     194          1
f       0     493          1
f       0     195          1
f       0     494          1
f       0     196          1
f       0     495          1
f       0     197          1
f       0     496          1
f       0     198          1
f       0     497          1
f       0     199          1
f       0     498          1
f       0     200          1
f       0     499          1
f       0     201          1
f       0     500          1
f       0     202          1
f       0     501          1
f       0     203          1
f       0     502          1
f       0     204          1
f       0     503          1
f       0     205          1
f       0     504          1
f       0     206          1
f       0     505          1
f       0     207          1
f       0     506          1
f       0     208          1
f       0     507          1
f       0     209          1
f       0     508          1
f       0     210          1
f       0     509          1
f       0     211          1
f       0     510          1
f       0     212          1
f       0     511          1
f       0     213          1
f       0     512          1
f       0     214          1
f       0     513          1
f       0     215          1
f       0     514          1
f       0     216          1
f       0     515          1
f       0     217          1
f       0     516          1
f       0     218          1
f       0     517          1
f       0     219          1
f       0     518          1
f       0     220          1
f       0     519          1
f       0     221          1
f       0     520          1
f       0     222          1
f       0     521          1
f       0     223          1
f       0     522          1
f       0     224          1
f       0     523          1
f       0     225          1
f       0     524          1
f       0     226          1
f       0     525          1
f       0     227          1
f       0     526          1
f       0     228          1
f       0     527          1
f       0     229          1
f       0     528          1
f       0     230          1
f       0     529          1
f       0     231          1
f       0     530          1
f       0     232          1
f       0     531          1
f       0     233          1
f       0     532          1
f       0     234          1
f       0     533          1
f       0     235          1
f       0     534          1
f       0     236          1
f       0     535          1
f       0     237          1
f       0     536          1
f       0     238          1
f       0     537          1
f       0     239          1
f       0     538          1
f       0     240          1
f       0     539          1
f       0     241          1
f       0     540          1
f       0     242          1
f       0     541          1
f       0     243          1
f       0     542          1
f       0     244          1
f       0     543          1
f       0     245          1
f       0     544          0
f       0     246          1
f       0     545          1
f       0     247          1
f       0     546          1
f       0     248          1
f       0     547          1
f       0     249          1
f       0     548          1
f       0     250          1
f       0     549          1
f       0     251          1
f       0     550          1
f       0     252          1
f       0     551          1
f       0     253          1
f       0     552          1
f       0     254          1
f       0     553          1
f       0     255          1
f       0     554          1
f       0     256          1
f       0     555          1
f       0     257          1
f       0     556          1
f       0     258          1
f       0     557          1
f       0     259          1
f       0     558          1
f       0     260          1
f       0     559          1
f       0     261          1
f       0     560          1
f       0     262          1
f       0     561          1
f       0     263          1
f       0     562          1
f       0     264          1
f       0     563          1
f       0     265          1
f       0     564          1
f       0     266          1
f       0     565          1
f       0     267          1
f       0     566          1
f       0     268          1
f       0     567          1
f       0     269          1
f       0     568          1
f       0     270          1
f       0     569          1
f       0     271          1
f       0     570          1
f       0     272          1
f       0     571          1
f       0     273          1
f       0     572          1
f       0     274          1
f       0     573          1
f       0     275          1
f       0     574          1
f       0     276          1
f       0     575          1
f       0     277          1
f       0     576          1
f       0     278          1
f       0     577          1
f       0     279          1
f       0     578          1
f       0     280          1
f       0     579          1
f       0     281          1
f       0     580          1
f       0     282          1
f       0     581          1
f       0     283          1
f       0     582          1
f       0     284          1
f       0     583          1
f       0     285          1
f       0     584          0
f       0     286          0
f       0     585          1
f       0     287          1
f       0     586          1
f       0     288          1
f       0     587          1
f       0     289          1
f       0     588          1
f       0     290          1
f       0     589          1
f       0     291          1
f       0     590          1
f       0     292          1
f       0     591          1
f       0     293          1
f       0     592          1
f       0     294          1
f       0     593          1
f       0     295          1
f       0     594          1
f       0     296          1
f       0     595          1
f       0     297          1
f       0     596          1
f       0     298          1
f       0     597          1
f       0     299          1
f       0     599          5
f       1     598          1
f       2     598          1
f       3     598          1
f       4     598          1
f       5     598          1
f       6     598          1
f       7     598          1
f       8     598          1
f       9     598          1
f      10     598          1
f      11     598          1
f      12     598          1
f      13     598          1
f      14     598          1
f      15     598          1
f      16     598          1
f      17     598          1
f      18     598          1
f      19     598          1
f      20     598          1
f      21     598          1
f      22     598          1
f      23     598          1
f      24     598          1
f      25     598          1
f      26     598          1
f      27     598          1
f      28     598          1
f      29     598          1
f      30     598          1
f      31     598          1
f      32     598          1
f      33     598          1
f      34     598          1
f      35     598          1
f      36     598          1
f      37     598          1
f      38     598          1
f      39     598          1
f      40     598          1
f      41     598          1
f      42     598          1
f      43     598          1
f      44     598          1
f      45     598          1
f      46     598          1
f      47     598          1
f      48     598          1
f      49     598          1
f      50     598          1
f      51     598          1
f      52     598          1
f      53     598          1
f      54     598          1
f      55     598          1
f      56     598          1
f      57     598          1
f      58     598          1
f      59     598          1
f      60     598          1
f      61     598          1
f      62     598          1
f      63     598          1
f      64     598          1
f      65     598          1
f      66     598          1
f      67     598          1
f      68     598          1
f      69     598          1
f      70     598          1
f      71     598          1
f      72     598          1
f      73     598          1
f      74     598          1
f      75     598          0
f      76     598          1
f      77     598          1
f      78     598          1
f      79     598          1
f      80     598          1
f      81     598          1
f      82     598          1
f      83     598          1
f      84     598          1
f      85     598          1
f      86     598          1
f      87     598          1
f      88     598          1
f      89     598          1
f      90     598          1
f      91     598          1
f      92     598          1
f      93     598          1
f      94     598          1
f      95     598          1
f      96     598          1
f      97     598          1
f      98     598          1
f      99     598          1
f     100     598          1
f     101     598          1
f     102     598          1
f     103     598          1
f     104     598          1
f     105     598          1
f     106     598          1
f     107     598          1
f     108     598          1
f     109     598          1
f     110     598          1
f     111     598          1
f     112     598          1
f     113     598          1
f     114     598          1
f     115     598          1
f     116     598          1
f     117     598          1
f     118     598          1
f     119     598          1
f     120     598          1
f     121     598          1
f     122     598          1
f     123     598          1
f     124     598          1
f     125     598          1
f     126     598          1
f     127     598          1
f     128     598          1
f     129     598          1
f     130     598          1
f     131     598          1
f     132     598          1
f     133     598          1
f     134     598          1
f     135     598          1
f     136     598          1
f     137     598          1
f     138     598          1
f     139     598          1
f     140     598          1
f     141     598          1
f     142     598          1
f     143     598          1
f     144     598          1
f     145     598          1
f     146     598          1
f     147     598          1
f     148     598          1
f     149     598          1
f     150     598          1
f     151     598          1
f     152     598          1
f     153     598          1
f     154     598          1
f     155     598          1
f     156     598          1
f     157     598          1
f     158     598          1
f     159     598          1
f     160     598          1
f     161     598          1
f     162     598          1
f     163     598          1
f     164     598          1
f     165     598          1
f     166     598          1
f     167     598          1
f     168     598          1
f     169     598          1
f     170     598          1
f     171     598          1
f     172     598          1
f     173     598          1
f     174     598          1
f     175     598          1
f     176     598          1
f     177     598          1
f     178     598          1
f     179     598          1
f     180     598          1
f     181     598          1
f     182     598          1
f     183     598          1
f     184     598          1
f     185     598          1
f     186     598          1
f     187     598          1
f     188     598          1
f     189     598          1
f     190     598          1
f     191     598          1
f     192     598          1
f     193     598          1
f     194     598          1
f     195     598          1
f     196     598          1
f     197     598          1
f     198     598          1
f     199     598          1
f     200     598          1
f     201     598          1
f     202     598          1
f     203     598          1
f     204     598          1
f     205     598          1
f     206     598          1
f     207     598          1
f     208     598          1
f     209     598          1
f     210     598          1
f     211     598          1
f     212     598          1
f     213     598          1
f     214     598          1
f     215     598          1
f     216     598          1
f     217     598          1
f     218     598          1
f     219     598          1
f     220     598          1
f     221     598          1
f     222     598          1
f     223     598          1
f     224     598          1
f     225     598          1
f     226     598          1
f     227     598          1
f     228     598          1
f     229     598          1
f     230     598          1
f     231     598          1
f     232     598          1
f     233     598          1
f     234     598          1
f     235     598          1
f     236     598          1
f     237     598          1
f     238     598          1
f     239     598          1
f     240     598          1
f     241     598          1
f     242     598          1
f     243     598          1
f     244     598          1
f     245     598          1
f     246     598          1
f     247     598          1
f     248     598          1
f     249     598          1
f     250     598          1
f     251     598          1
f     252     598          1
f     253     598          1
f     254     598          1
f     255     598          1
f     256     598          1
f     257     598          1
f     258     598          1
f     259     598          1
f     260     598          1
f     261     598          1
f     262     598          1
f     263     598          1
f     264     598          1
f     265     598          1
f     266     598          1
f     267     598          1
f     268     598          1
f     269     598          1
f     270     598          1
f     271     598          1
f     272     598          1
f     273     598          1
f     274     598          1
f     275     598          1
f     276     598          1
f     277     598          1
f     278     598          1
f     279     598          1
f     280     598          1
f     281     598          1
f     282     598          1
f     283     598          1
f     284     598          1
f     285     598          1
f     286     598          0
f     287     598          1
f     288     598          1
f     289     598          1
f     290     598          1
f     291     598          1
f     292     598          1
f     293     598          1
f     294     598          1
f     295     598          1
f     296     598          1
f     297     598          1
f     298     598          1
f     299     598          1
f     300     598          1
f     301     598          1
f     302     598          1
f     303     598          1
f     304     598          1
f     305     598          1
f     306     598          1
f     307     598          1
f     308     598          1
f     309     598          1
f     310     598          1
f     311     598          1
f     312     598          1
f     313     598          1
f     314     598          1
f     315     598          1
f     316     598          1
f     317     598          1
f     318     598          1
f     319     598          1
f     320     598          1
f     321     598          1
f     322     598          1
f     323     598          1
f     324     598          1
f     325     598          1
f     326     598          1
f     327     598          1
f     328     598          1
f     329     598          1
f     330     598          1
f     331     598          1
f     332     598          1
f     333     598          1
f     334     598          1
f     335     598          1
f     336     598          1
f     337     598          1
f     338     598          1
f     339     598          1
f     340     598          1
f     341     598          1
f     342     598          1
f     343     598          1
f     344     598          1
f     345     598          1
f     346     598          1
f     347     598          1
f     348     598          1
f     349     598          1
f     350     598          1
f     351     598          1
f     352     598          1
f     353     598          1
f     354     598          1
f     355     598          1
f     356     598          1
f     357     598          1
f     358     598          1
f     359     598          1
f     360     598          1
f     361     598          1
f     362     598          1
f     363     598          1
f     364     598          1
f     365     598          1
f     366     598          1
f     367     598          1
f     368     598          1
f     369     598          1
f     370     598          1
f     371     598          1
f     372     598          1
f     373     598          1
f     374     598          1
f     375     598          1
f     376     598          1
f     377     598          1
f     378     598          1
f     379     598          1
f     380     598          1
f     381     598          1
f     382     598          1
f     383     598          1
f     384     598          1
f     385     598          1
f     386     598          1
f     387     598          1
f     388     598          1
f     389     598          1
f     390     598          1
f     391     598          1
f     392     598          1
f     393     598          1
f     394     598          1
f     395     598          1
f     396     598          1
f     397     598          1
f     398     598          1
f     399     598          1
f     400     598          1
f     401     598          1
f     402     598          1
f     403     598          1
f     404     598          1
f     405     598          1
f     406     598          1
f     407     598          1
f     408     598          1
f     409     598          1
f     410     598          1
f     411     598          1
f     412     598          1
f     413     598          1
f     414     598          1
f     415     598          1
f     416     598          1
f     417     598          1
f     418     598          1
f     419     598          1
f     420     598          1
f     421     598          1
f     422     598          1
f     423     598          1
f     424     598          1
f     425     598          1
f     426     598          1
f     427     598          1
f     428     598          1
f     429     598          1
f     430     598          1
f     431     598          1
f     432     598          1
f     433     598          1
f     434     598          1
f     435     598          1
f     436     598          1
f     437     598          1
f     438     598          1
f     439     598          1
f     440     598          1
f     441     598          1
f     442     598          1
f     443     598          1
f     444     598          1
f     445     598          1
f     446     598          1
f     447     598          1
f     448     598          1
f     449     598          1
f     450     598          1
f     451     598          1
f     452     598          0
f     453     598          1
f     454     598          1
f     455     598          1
f     456     598          1
f     457     598          1
f     458     598          1
f     459     598          1
f     460     598          1
f     461     598          1
f     462     598          1
f     463     598          1
f     464     598          1
f     465     598          1
f     466     598          1
f     467     598          1
f     468     598          1
f     469     598          1
f     470     598          1
f     471     598          1
f     472     598          1
f     473     598          1
f     474     598          1
f     475     598          1
f     476     598          1
f     477     598          1
f     478     598          1
f     479     598          1
f     480     598          1
f     481     598          1
f     482     598          1
f     483     598          1
f     484     598          1
f     485     598          1
f     486     598          1
f     487     598          1
f     488     598          1
f     489     598          1
f     490     598          1
f     491     598          1
f     492     598          1
f     493     598          1
f     494     598          1
f     495     598          1
f     496     598          1
f     497     598          1
f     498     598          1
f     499     598          1
f     500     598          1
f     501     598          1
f     502     598          1
f     503     598          1
f     504     598          1
f     505     598          1
f     506     598          1
f     507     598          1
f     508     598          1
f     509     598          1
f     510     598          1
f     511     598          1
f     512     598          1
f     513     598          1
f     514     598          1
f     515     598          1
f     516     598          1
f     517     598          1
f     518     598          1
f     519     598          1
f     520     598          1
f     521     598          1
f     522     598          1
f     523     598          1
f     524     598          1
f     525     598          1
f     526     598          1
f     527     598          1
f     528     598          1
f     529     598          1
f     530     598          1
f     531     598          1
f     532     598          1
f     533     598          1
f     534     598          1
f     535     598          1
f     536     598          1
f     537     598          1
f     538     598          1
f     539     598          1
f     540     598          1
f     541     598          1
f     542     598          1
f     543     598          1
f     544     598          0
f     545     598          1
f     546     598          1
f     547     598          1
f     548     598          1
f     549     598          1
f     550     598          1
f     551     598          1
f     552     598          1
f     553     598          1
f     554     598          1
f     555     598          1
f     556     598          1
f     557     598          1
f     558     598          1
f     559     598          1
f     560     598          1
f     561     598          1
f     562     598          1
f     563     598          1
f     564     598          1
f     565     598          1
f     566     598          1
f     567     598          1
f     568     598          1
f     569     598          1
f     570     598          1
f     571     598          1
f     572     598          1
f     573     598          1
f     574     598          1
f     575     598          1
f     576     598          1
f     577     598          1
f     578     598          1
f     579     598          1
f     580     598          1
f     581     598          1
f     582     598          1
f     583     598          1
f     584     598          0
f     585     598          1
f     586     598          1
f     587     598          1
f     588     598          1
f     589     598          1
f     590     598          1
f     591     598          1
f     592     598          1
f     593     598          1
f     594     598          1
f     595     598          1
f     596     598          1
f     597     598          1
f     598     599        592
c