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