c CS 3.7
c Commercial use requires a licence
c contact igsys@eclipse.net
c
c nodes:             161     arcs:              318
c scale-factor:       12     cut-off-factor:   14.0
c
c time:             0.00     cost:                9
c refines:             1     discharges:        160
c pushes:            317     relabels:          312
c updates:             1     u-scans:             9
c p-refines:           4     r-scans:             7
c dfs-scans:        1288     bad-in:        0  +  0
c
s 9
f       0       1          1
f       0     160          0
f       0       2          1
f       0      82          1
f       0       3          1
f       0      83          1
f       0       4          1
f       0      84          1
f       0       5          1
f       0      85          1
f       0       6          1
f       0      86          1
f       0       7          1
f       0      87          1
f       0       8          1
f       0      88          1
f       0       9          1
f       0      89          1
f       0      10          1
f       0      90          1
f       0      11          1
f       0      91          1
f       0      12          1
f       0      92          1
f       0      13          1
f       0      93          1
f       0      14          1
f       0      94          1
f       0      15          1
f       0      95          1
f       0      16          1
f       0      96          1
f       0      17          1
f       0      97          1
f       0      18          1
f       0      98          1
f       0      19          1
f       0      99          1
f       0      20          1
f       0     100          1
f       0      21          1
f       0     101          1
f       0      22          1
f       0     102          1
f       0      23          1
f       0     103          1
f       0      24          1
f       0     104          1
f       0      25          1
f       0     105          1
f       0      26          1
f       0     106          1
f       0      27          1
f       0     107          1
f       0      28          1
f       0     108          1
f       0      29          1
f       0     109          1
f       0      30          1
f       0     110          1
f       0      31          1
f       0     111          1
f       0      32          1
f       0     112          1
f       0      33          1
f       0     113          1
f       0      34          1
f       0     114          1
f       0      35          1
f       0     115          1
f       0      36          1
f       0     116          1
f       0      37          1
f       0     117          1
f       0      38          1
f       0     118          1
f       0      39          1
f       0     119          1
f       0      40          1
f       0     120          1
f       0      41          1
f       0     121          1
f       0      42          1
f       0     122          1
f       0      43          1
f       0     123          1
f       0      44          1
f       0     124          1
f       0      45          1
f       0     125          1
f       0      46          1
f       0     126          1
f       0      47          1
f       0     127          1
f       0      48          1
f       0     128          1
f       0      49          1
f       0     129          1
f       0      50          1
f       0     130          1
f       0      51          1
f       0     131          1
f       0      52          1
f       0     132          1
f       0      53          1
f       0     133          1
f       0      54          1
f       0     134          1
f       0      55          1
f       0     135          1
f       0      56          1
f       0     136          1
f       0      57          1
f       0     137          1
f       0      58          1
f       0     138          1
f       0      59          1
f       0     139          1
f       0      60          1
f       0     140          1
f       0      61          1
f       0     141          1
f       0      62          1
f       0     142          1
f       0      63          1
f       0     143          1
f       0      64          1
f       0     144          1
f       0      65          1
f       0     145          1
f       0      66          1
f       0     146          1
f       0      67          1
f       0     147          1
f       0      68          1
f       0     148          1
f       0      69          1
f       0     149          1
f       0      70          1
f       0     150          1
f       0      71          1
f       0     151          1
f       0      72          1
f       0     152          1
f       0      73          1
f       0     153          1
f       0      74          1
f       0     154          1
f       0      75          1
f       0     155          1
f       0      76          1
f       0     156          1
f       0      77          1
f       0     157          1
f       0      78          1
f       0     158          1
f       0      79          1
f       0      81          1
f       0      80          1
f       1     159          1
f       2     159          1
f       3     159          1
f       4     159          1
f       5     159          1
f       6     159          1
f       7     159          1
f       8     159          1
f       9     159          1
f      10     159          1
f      11     159          1
f      12     159          1
f      13     159          1
f      14     159          1
f      15     159          1
f      16     159          1
f      17     159          1
f      18     159          1
f      19     159          1
f      20     159          1
f      21     159          1
f      22     159          1
f      23     159          1
f      24     159          1
f      25     159          1
f      26     159          1
f      27     159          1
f      28     159          1
f      29     159          1
f      30     159          1
f      31     159          1
f      32     159          1
f      33     159          1
f      34     159          1
f      35     159          1
f      36     159          1
f      37     159          1
f      38     159          1
f      39     159          1
f      40     159          1
f      41     159          1
f      42     159          1
f      43     159          1
f      44     159          1
f      45     159          1
f      46     159          1
f      47     159          1
f      48     159          1
f      49     159          1
f      50     159          1
f      51     159          1
f      52     159          1
f      53     159          1
f      54     159          1
f      55     159          1
f      56     159          1
f      57     159          1
f      58     159          1
f      59     159          1
f      60     159          1
f      61     159          1
f      62     159          1
f      63     159          1
f      64     159          1
f      65     159          1
f      66     159          1
f      67     159          1
f      68     159          1
f      69     159          1
f      70     159          1
f      71     159          1
f      72     159          1
f      73     159          1
f      74     159          1
f      75     159          1
f      76     159          1
f      77     159          1
f      78     159          1
f      79     159          1
f      80     159          1
f      81     159          1
f      82     159          1
f      83     159          1
f      84     159          1
f      85     159          1
f      86     159          1
f      87     159          1
f      88     159          1
f      89     159          1
f      90     159          1
f      91     159          1
f      92     159          1
f      93     159          1
f      94     159          1
f      95     159          1
f      96     159          1
f      97     159          1
f      98     159          1
f      99     159          1
f     100     159          1
f     101     159          1
f     102     159          1
f     103     159          1
f     104     159          1
f     105     159          1
f     106     159          1
f     107     159          1
f     108     159          1
f     109     159          1
f     110     159          1
f     111     159          1
f     112     159          1
f     113     159          1
f     114     159          1
f     115     159          1
f     116     159          1
f     117     159          1
f     118     159          1
f     119     159          1
f     120     159          1
f     121     159          1
f     122     159          1
f     123     159          1
f     124     159          1
f     125     159          1
f     126     159          1
f     127     159          1
f     128     159          1
f     129     159          1
f     130     159          1
f     131     159          1
f     132     159          1
f     133     159          1
f     134     159          1
f     135     159          1
f     136     159          1
f     137     159          1
f     138     159          1
f     139     159          1
f     140     159          1
f     141     159          1
f     142     159          1
f     143     159          1
f     144     159          1
f     145     159          1
f     146     159          1
f     147     159          1
f     148     159          1
f     149     159          1
f     150     159          1
f     151     159          1
f     152     159          1
f     153     159          1
f     154     159          1
f     155     159          1
f     156     159          1
f     157     159          1
f     158     159          1
f     159     160        158
c