c CS 3.7
c Commercial use requires a licence
c contact igsys@eclipse.net
c
c nodes:             850     arcs:             2529
c scale-factor:       12     cut-off-factor:   29.2
c
c time:             0.01     cost:            14012
c refines:             2     discharges:       1211
c pushes:           1697     relabels:         1808
c updates:             3     u-scans:          1151
c p-refines:           5     r-scans:          3760
c dfs-scans:       10200     bad-in:        0  +  0
c
s 14012
f       0     621          1
f       0       2          1
f       0     423          1
f       0       3          1
f       0     426          1
f       0       6          1
f       0       7          1
f       0     594          1
f       0     750          1
f       0      10          1
f       0      11          1
f       0     438          1
f       0     753          1
f       0      14          1
f       0      15          1
f       0     603          1
f       0     444          1
f       0      17          1
f       0     666          1
f       0      18          1
f       0     447          1
f       0      19          2
f       0      20          1
f       0      21          1
f       0     798          1
f       0      24          2
f       0     623          1
f       0      26          1
f       0     668          1
f       0      28          1
f       0      29          2
f       0     465          1
f       0      31          1
f       0     630          1
f       0      34          1
f       0     471          1
f       0     636          1
f       0      36          1
f       0     474          1
f       0     624          1
f       0      38          1
f       0     477          1
f       0     759          1
f       0      43          2
f       0     519          1
f       0      44          1
f       0     510          1
f       0      46          1
f       0     558          1
f       0     495          1
f       0      51          1
f       0     498          1
f       0      53          1
f       0      54          1
f       0     501          1
f       0     671          1
f       0     507          1
f       0      59          1
f       0     672          1
f       0     807          1
f       0      64          1
f       0     516          1
f       0      68          1
f       0     522          1
f       0      70          1
f       0     767          1
f       0      75          1
f       0     596          1
f       0      77          1
f       0      78          1
f       0     540          1
f       0      81          1
f       0     521          1
f       0     717          1
f       0      84          1
f       0      85          1
f       0     618          1
f       0      86          1
f       0      87          1
f       0      88          1
f       0      89          1
f       0      90          1
f       0     771          1
f       0     560          1
f       0      95          1
f       0     738          1
f       0      96          1
f       0     564          1
f       0      97          1
f       0     567          1
f       0      99          1
f       0     744          1
f       0     570          1
f       0     103          1
f       0     752          1
f       0     104          1
f       0     105          1
f       0     461          1
f       0     108          1
f       0     109          1
f       0     110          1
f       0     112          1
f       0     588          1
f       0     113          1
f       0     590          1
f       0     591          1
f       0     115          1
f       0     116          1
f       0     680          1
f       0     118          1
f       0     527          1
f       0     120          1
f       0     600          1
f       0     681          1
f       0     123          1
f       0     779          1
f       0     792          1
f       0     130          1
f       0     617          1
f       0     132          1
f       0     801          1
f       0     134          1
f       0     135          1
f       0     563          1
f       0     138          1
f       0     140          1
f       0     557          1
f       0     141          1
f       0     631          1
f       0     633          1
f       0     143          1
f       0     819          1
f       0     599          1
f       0     639          1
f       0     825          1
f       0     148          1
f       0     644          1
f       0     645          1
f       0     572          1
f       0     651          1
f       0     157          1
f       0     158          1
f       0     425          1
f       0     160          2
f       0     161          1
f       0     162          2
f       0     583          1
f       0     166          1
f       0     529          1
f       0     168          1
f       0     673          1
f       0     170          1
f       0     786          1
f       0     614          1
f       0     172          1
f       0     679          1
f       0     173          1
f       0     443          1
f       0     178          1
f       0     179          1
f       0     533          1
f       0     182          1
f       0     183          1
f       0     184          1
f       0     185          1
f       0     691          1
f       0     187          1
f       0     470          1
f       0     705          1
f       0     191          2
f       0     192          1
f       0     708          1
f       0     634          1
f       0     195          1
f       0     795          1
f       0     196          1
f       0     198          1
f       0     199          1
f       0     200          1
f       0     720          1
f       0     584          1
f       0     202          1
f       0     203          1
f       0     206          1
f       0     729          1
f       0     731          1
f       0     732          1
f       0     209          1
f       0     734          1
f       0     735          1
f       0     212          1
f       0     659          1
f       0     213          2
f       0     214          1
f       0     458          1
f       0     216          1
f       0     497          1
f       0     602          1
f       0     220          1
f       0     222          1
f       0     754          1
f       0     803          1
f       0     476          1
f       0     227          1
f       0     228          1
f       0     763          1
f       0     766          1
f       0     770          1
f       0     772          1
f       0     235          1
f       0     638          1
f       0     775          1
f       0     569          1
f       0     238          1
f       0     806          1
f       0     240          1
f       0     530          1
f       0     243          1
f       0     479          1
f       0     788          1
f       0     246          1
f       0     791          1
f       0     793          1
f       0     796          1
f       0     799          1
f       0     253          1
f       0     254          2
f       0     700          1
f       0     260          1
f       0     262          1
f       0     813          1
f       0     263          1
f       0     264          1
f       0     640          1
f       0     265          1
f       0     268          1
f       0     274          1
f       0     831          1
f       0     833          1
f       0     834          1
f       0     277          1
f       0     278          1
f       0     279          1
f       0     281          1
f       0     814          1
f       0     706          1
f       0     285          1
f       0     286          1
f       0     287          1
f       0     288          1
f       0     289          1
f       0     709          1
f       0     290          1
f       0     710          1
f       0     291          1
f       0     434          1
f       0     293          1
f       0     820          1
f       0     830          1
f       0     565          1
f       0     440          1
f       0     298          1
f       0     302          1
f       0     610          1
f       0     304          1
f       0     646          1
f       0     307          1
f       0     611          1
f       0     308          1
f       0     827          1
f       0     460          1
f       0     315          1
f       0     422          2
f       0     318          1
f       0     718          1
f       0     319          1
f       0     320          1
f       0     321          1
f       0     719          1
f       0     469          1
f       0     323          1
f       0     324          2
f       0     327          1
f       0     835          1
f       0     328          1
f       0     643          1
f       0     329          1
f       0     330          1
f       0     493          1
f       0     333          1
f       0     769          1
f       0     649          1
f       0     335          1
f       0     484          1
f       0     336          1
f       0     337          1
f       0     481          1
f       0     838          1
f       0     341          1
f       0     342          1
f       0     343          1
f       0     344          1
f       0     345          1
f       0     424          1
f       0     667          1
f       0     349          1
f       0     728          1
f       0     350          1
f       0     351          1
f       0     352          1
f       0     502          1
f       0     499          1
f       0     548          1
f       0     356          1
f       0     357          1
f       0     358          1
f       0     509          1
f       0     359          1
f       0     655          1
f       0     364          1
f       0     733          1
f       0     366          1
f       0     433          1
f       0     367          1
f       0     736          1
f       0     369          1
f       0     592          1
f       0     370          1
f       0     523          1
f       0     526          1
f       0     373          1
f       0     656          1
f       0     676          1
f       0     703          2
f       0     378          1
f       0     380          1
f       0     381          1
f       0     496          1
f       0     382          1
f       0     508          1
f       0     658          1
f       0     384          1
f       0     385          1
f       0     620          1
f       0     386          1
f       0     541          1
f       0     544          1
f       0     389          1
f       0     391          1
f       0     724          1
f       0     743          1
f       0     395          1
f       0     512          1
f       0     397          1
f       0     442          1
f       0     400          1
f       0     401          1
f       0     745          1
f       0     402          1
f       0     559          1
f       0     403          1
f       0     661          1
f       0     404          1
f       0     562          1
f       0     607          1
f       0     406          1
f       0     514          1
f       0     445          1
f       0     409          1
f       0     670          1
f       0     568          1
f       0     571          1
f       0     415          1
f       0     416          1
f       0     664          1
f       0     418          1
f       0     419          1
f       0     751          1
f       0     420          1
f       0     756          1
f       0      39          2
f       0     692          1
f       0     758          1
f       0     549          1
f       0     193          1
f       0     794          1
f       0     194          1
f       0      40          1
f       0     768          1
f       0     480          1
f       0     552          1
f       0     714          1
f       0     197          1
f       0     473          1
f       0      41          1
f       0     694          1
f       0     627          1
f       0     635          1
f       0      22          1
f       0     555          1
f       0     201          1
f       0      91          1
f       0     677          1
f       0     723          1
f       0      92          1
f       0     725          1
f       0     204          1
f       0     726          1
f       0     205          2
f       0     800          1
f       0      42          2
f       0      93          2
f       0     207          1
f       0     483          2
f       0     208          2
f       0      94          1
f       0     561          1
f       0     453          1
f       0     210          1
f       0      23          2
f       0     211          1
f       0     491          1
f       0      13          1
f       0     486          1
f       0      45          2
f       0     740          1
f       0     678          1
f       0     741          1
f       0     215          1
f       0      98          1
f       0       4          1
f       0     456          1
f       0     217          1
f       0     489          1
f       0     218          1
f       0     747          1
f       0     219          1
f       0     637          1
f       0     100          1
f       0     697          1
f       0     221          1
f       0     475          1
f       0      47          1
f       0     101          1
f       0     223          1
f       0     755          1
f       0     224          1
f       0     693          1
f       0     225          1
f       0     102          1
f       0     226          1
f       0     760          1
f       0     573          1
f       0     804          1
f       0     657          1
f       0      48          1
f       0     229          1
f       0     764          1
f       0     230          1
f       0     492          1
f       0     231          1
f       0     604          1
f       0     232          1
f       0     520          1
f       0     233          1
f       0     576          1
f       0     234          1
f       0      49          1
f       0      25          1
f       0     106          1
f       0     236          1
f       0     524          1
f       0     237          2
f       0     107          1
f       0     581          1
f       0     778          1
f       0     239          1
f       0      50          1
f       0     761          1
f       0     781          1
f       0     241          1
f       0       1          1
f       0     242          1
f       0     707          1
f       0     597          1
f       0     441          1
f       0     244          1
f       0     787          1
f       0     245          1
f       0     585          1
f       0     111          1
f       0     790          1
f       0     247          2
f       0     515          1
f       0     248          2
f       0     665          1
f       0     249          1
f       0     713          1
f       0     250          2
f       0      52          1
f       0     251          1
f       0     797          1
f       0     252          2
f       0     459          1
f       0      27          1
f       0     545          1
f       0     114          2
f       0     802          1
f       0     255          1
f       0     579          1
f       0     256          1
f       0     701          1
f       0     257          1
f       0     551          1
f       0     258          1
f       0     808          1
f       0     259          1
f       0     809          1
f       0       8          1
f       0     810          1
f       0     261          1
f       0     812          1
f       0     773          1
f       0     432          1
f       0     774          2
f       0     815          1
f       0     117          1
f       0      55          1
f       0     462          1
f       0     605          1
f       0     266          1
f       0     554          1
f       0     267          1
f       0     821          1
f       0     457          1
f       0     822          1
f       0     269          1
f       0     824          1
f       0     270          1
f       0     641          1
f       0     271          1
f       0     466          1
f       0     272          1
f       0     828          1
f       0     273          1
f       0     811          1
f       0     119          1
f       0      56          1
f       0     275          1
f       0     504          1
f       0     276          1
f       0      57          1
f       0     121          1
f       0     536          1
f       0     776          1
f       0     837          1
f       0     122          1
f       0     839          1
f       0     280          1
f       0     840          1
f       0     506          2
f       0      58          1
f       0     282          1
f       0     482          1
f       0     283          1
f       0     464          1
f       0     284          1
f       0     817          1
f       0     124          1
f       0     538          1
f       0     606          1
f       0     428          1
f       0     125          1
f       0     818          1
f       0     777          1
f       0     608          1
f       0     126          1
f       0      16          1
f       0     127          1
f       0     452          2
f       0     128          1
f       0     780          1
f       0     292          1
f       0     595          1
f       0     129          1
f       0     446          1
f       0     294          1
f       0      30          3
f       0     295          1
f       0     615          1
f       0     296          1
f       0     823          1
f       0     297          1
f       0     131          1
f       0      60          1
f       0     712          1
f       0     299          1
f       0     587          1
f       0     300          1
f       0     539          1
f       0     301          1
f       0     566          1
f       0     762          1
f       0      61          2
f       0     303          1
f       0     826          1
f       0     133          1
f       0     448          1
f       0     305          1
f       0     598          1
f       0     306          2
f       0     451          2
f       0       9          1
f       0     699          1
f       0      62          1
f       0     454          1
f       0     309          1
f       0     488          1
f       0     310          1
f       0     513          1
f       0     311          1
f       0     715          1
f       0     312          1
f       0     716          1
f       0     313          1
f       0     829          1
f       0     314          1
f       0     136          1
f       0     625          1
f       0     137          1
f       0     316          1
f       0     463          1
f       0     317          2
f       0     542          1
f       0     626          1
f       0      63          1
f       0     628          1
f       0     832          1
f       0     139          1
f       0     647          1
f       0     629          1
f       0     684          1
f       0     322          1
f       0       5          1
f       0     663          1
f       0     613          1
f       0      65          1
f       0     472          1
f       0     325          2
f       0     574          1
f       0     326          1
f       0     721          1
f       0     142          1
f       0     518          1
f       0      66          1
f       0     437          1
f       0     144          1
f       0     836          1
f       0      67          1
f       0     478          1
f       0     331          1
f       0     145          1
f       0     332          1
f       0     722          1
f       0     783          1
f       0     146          1
f       0     334          1
f       0     690          1
f       0     147          1
f       0      32          1
f       0     468          1
f       0     485          3
f       0     642          1
f       0     149          2
f       0     338          1
f       0     487          1
f       0     339          1
f       0      69          1
f       0     340          1
f       0     494          1
f       0     150          1
f       0     578          1
f       0     455          1
f       0     652          2
f       0     151          1
f       0     727          1
f       0      33          1
f       0     662          1
f       0     152          1
f       0     547          1
f       0     346          1
f       0     648          1
f       0     347          1
f       0     575          1
f       0     348          2
f       0     153          1
f       0     650          1
f       0     154          1
f       0     525          1
f       0     500          1
f       0     155          1
f       0     586          1
f       0     653          1
f       0     156          1
f       0     353          2
f       0     503          1
f       0     354          1
f       0     654          1
f       0     355          1
f       0      71          2
f       0     686          1
f       0     427          1
f       0     765          1
f       0     430          2
f       0     785          1
f       0     159          1
f       0      72          1
f       0     511          1
f       0     360          2
f       0     431          1
f       0     361          2
f       0     528          1
f       0     362          1
f       0     490          1
f       0     363          1
f       0     616          2
f       0     660          1
f       0      73          2
f       0     365          1
f       0     757          1
f       0     467          1
f       0     669          1
f       0     632          1
f       0     163          2
f       0     368          1
f       0     505          1
f       0      74          2
f       0     164          2
f       0     816          1
f       0     165          2
f       0     371          1
f       0     737          1
f       0     372          1
f       0     687          1
f       0     531          1
f       0     435          1
f       0     374          2
f       0     167          1
f       0     375          1
f       0     619          1
f       0     376          1
f       0     782          1
f       0     377          1
f       0     739          2
f       0     582          1
f       0     532          1
f       0     379          1
f       0     436          1
f       0      76          1
f       0     535          1
f       0     169          1
f       0     674          1
f       0     534          1
f       0      35          1
f       0     383          1
f       0     171          1
f       0     675          1
f       0     439          1
f       0     450          1
f       0     537          1
f       0      79          1
f       0     711          1
f       0     387          1
f       0     742          1
f       0     388          1
f       0     174          2
f       0     682          1
f       0     784          1
f       0     390          2
f       0     593          1
f       0     175          1
f       0     805          1
f       0     392          1
f       0     683          1
f       0     393          2
f       0     176          1
f       0     394          1
f       0     550          1
f       0     685          1
f       0     177          1
f       0     396          1
f       0     553          2
f       0     449          1
f       0     589          1
f       0     398          1
f       0      80          1
f       0     399          1
f       0     556          1
f       0     688          1
f       0     730          1
f       0     609          1
f       0     689          1
f       0     180          1
f       0      12          1
f       0     181          1
f       0     789          1
f       0      37          2
f       0     601          1
f       0     405          1
f       0      82          2
f       0     695          1
f       0     746          1
f       0     407          1
f       0     543          1
f       0     408          1
f       0     696          1
f       0      83          1
f       0     698          1
f       0     410          1
f       0     186          1
f       0     411          1
f       0     849         14
f       0     412          1
f       0     612          1
f       0     413          1
f       0     622          1
f       0     414          1
f       0     749          1
f       0     429          1
f       0     748          1
f       0     546          1
f       0     188          1
f       0     417          1
f       0     517          2
f       0     702          1
f       0     577          1
f       0     189          1
f       0     704          1
f       0     190          1
f       0     580          1
f       0     421          1
f       1     845          1
f       1     844          0
f       2     843          1
f       2     844          0
f       3     848          0
f       3     847          1
f       4     845          1
f       4     846          0
f       5     844          1
f       5     845          0
f       6     844          0
f       6     843          1
f       7     846          0
f       7     847          1
f       8     844          0
f       8     845          1
f       9     844          1
f       9     845          0
f      10     843          1
f      10     842          0
f      11     841          0
f      11     842          1
f      12     846          1
f      12     845          0
f      13     845          1
f      13     844          0
f      14     843          1
f      14     844          0
f      15     847          1
f      15     846          0
f      16     844          0
f      16     845          1
f      17     846          0
f      17     847          1
f      18     842          1
f      18     843          0
f      19     848          1
f      19     847          1
f      20     846          0
f      20     847          1
f      21     848          0
f      21     847          1
f      22     846          1
f      22     845          0
f      23     845          1
f      23     846          1
f      24     848          1
f      24     847          1
f      25     845          1
f      25     844          0
f      26     847          1
f      26     848          0
f      27     844          0
f      27     845          1
f      28     847          1
f      28     846          0
f      29     841          1
f      29     842          1
f      30     845          2
f      30     844          1
f      31     843          1
f      31     842          0
f      32     844          1
f      32     845          0
f      33     845          0
f      33     844          1
f      34     848          1
f      34     847          0
f      35     844          0
f      35     845          1
f      36     841          1
f      36     842          0
f      37     846          1
f      37     845          1
f      38     842          1
f      38     843          0
f      39     847          1
f      39     846          1
f      40     846          1
f      40     845          0
f      41     845          0
f      41     846          1
f      42     843          1
f      42     844          1
f      43     847          1
f      43     848          1
f      44     842          1
f      44     843          0
f      45     844          1
f      45     845          1
f      46     848          1
f      46     847          0
f      47     844          1
f      47     845          0
f      48     846          1
f      48     845          0
f      49     846          1
f      49     845          0
f      50     845          1
f      50     846          0
f      51     848          1
f      51     847          0
f      52     845          1
f      52     846          0
f      53     847          1
f      53     848          0
f      54     842          1
f      54     843          0
f      55     845          1
f      55     844          0
f      56     845          1
f      56     846          0
f      57     846          0
f      57     845          1
f      58     846          0
f      58     845          1
f      59     843          1
f      59     844          0
f      60     846          0
f      60     845          1
f      61     843          1
f      61     844          1
f      62     844          1
f      62     845          0
f      63     846          1
f      63     845          0
f      64     848          1
f      64     847          0
f      65     844          1
f      65     845          0
f      66     845          0
f      66     844          1
f      67     846          1
f      67     845          0
f      68     843          1
f      68     844          0
f      69     845          0
f      69     844          1
f      70     848          1
f      70     847          0
f      71     843          1
f      71     844          1
f      72     844          1
f      72     845          0
f      73     846          1
f      73     845          1
f      74     844          1
f      74     845          1
f      75     848          0
f      75     847          1
f      76     845          1
f      76     844          0
f      77     847          1
f      77     848          0
f      78     844          0
f      78     843          1
f      79     845          1
f      79     844          0
f      80     844          0
f      80     845          1
f      81     843          1
f      81     844          0
f      82     846          1
f      82     845          1
f      83     845          1
f      83     846          0
f      84     844          0
f      84     843          1
f      85     844          0
f      85     843          1
f      86     841          1
f      86     842          0
f      87     847          1
f      87     846          0
f      88     844          0
f      88     843          1
f      89     841          1
f      89     842          0
f      90     847          1
f      90     846          0
f      91     846          0
f      91     845          1
f      92     845          0
f      92     846          1
f      93     846          1
f      93     845          1
f      94     846          0
f      94     845          1
f      95     841          1
f      95     842          0
f      96     844          0
f      96     843          1
f      97     844          0
f      97     843          1
f      98     844          1
f      98     845          0
f      99     843          1
f      99     844          0
f     100     845          1
f     100     844          0
f     101     845          1
f     101     846          0
f     102     845          1
f     102     846          0
f     103     844          0
f     103     843          1
f     104     846          0
f     104     847          1
f     105     842          1
f     105     841          0
f     106     846          0
f     106     845          1
f     107     844          1
f     107     845          0
f     108     848          0
f     108     847          1
f     109     847          1
f     109     848          0
f     110     843          1
f     110     844          0
f     111     844          1
f     111     845          0
f     112     848          1
f     112     847          0
f     113     847          0
f     113     848          1
f     114     845          1
f     114     844          1
f     115     843          1
f     115     844          0
f     116     847          1
f     116     848          0
f     117     846          0
f     117     845          1
f     118     842          0
f     118     843          1
f     119     845          0
f     119     846          1
f     120     841          1
f     120     842          0
f     121     845          1
f     121     844          0
f     122     845          0
f     122     846          1
f     123     841          1
f     123     842          0
f     124     846          1
f     124     845          0
f     125     844          1
f     125     845          0
f     126     844          0
f     126     845          1
f     127     844          0
f     127     845          1
f     128     844          1
f     128     845          0
f     129     845          1
f     129     844          0
f     130     847          1
f     130     848          0
f     131     844          0
f     131     845          1
f     132     843          0
f     132     842          1
f     133     844          1
f     133     845          0
f     134     847          1
f     134     848          0
f     135     843          1
f     135     844          0
f     136     845          0
f     136     846          1
f     137     845          0
f     137     846          1
f     138     848          0
f     138     847          1
f     139     846          1
f     139     845          0
f     140     846          0
f     140     847          1
f     141     847          1
f     141     848          0
f     142     845          0
f     142     846          1
f     143     847          1
f     143     848          0
f     144     846          1
f     144     845          0
f     145     845          0
f     145     846          1
f     146     845          1
f     146     846          0
f     147     845          1
f     147     846          0
f     148     847          1
f     148     846          0
f     149     843          1
f     149     844          1
f     150     845          1
f     150     844          0
f     151     844          1
f     151     845          0
f     152     844          1
f     152     845          0
f     153     845          0
f     153     844          1
f     154     844          1
f     154     845          0
f     155     845          0
f     155     846          1
f     156     846          1
f     156     845          0
f     157     841          1
f     157     842          0
f     158     847          0
f     158     848          1
f     159     845          1
f     159     844          0
f     160     848          1
f     160     847          1
f     161     847          1
f     161     848          0
f     162     842          1
f     162     841          1
f     163     846          1
f     163     845          1
f     164     844          1
f     164     845          1
f     165     843          1
f     165     844          1
f     166     848          0
f     166     847          1
f     167     845          0
f     167     846          1
f     168     848          0
f     168     847          1
f     169     845          0
f     169     844          1
f     170     842          0
f     170     843          1
f     171     846          0
f     171     845          1
f     172     848          1
f     172     847          0
f     173     848          0
f     173     847          1
f     174     844          1
f     174     845          1
f     175     846          1
f     175     845          0
f     176     845          0
f     176     846          1
f     177     845          0
f     177     844          1
f     178     848          0
f     178     847          1
f     179     846          0
f     179     847          1
f     180     846          1
f     180     845          0
f     181     845          0
f     181     846          1
f     182     841          0
f     182     842          1
f     183     848          0
f     183     847          1
f     184     841          1
f     184     842          0
f     185     842          0
f     185     843          1
f     186     845          0
f     186     844          1
f     187     841          1
f     187     842          0
f     188     844          1
f     188     845          0
f     189     846          0
f     189     845          1
f     190     844          1
f     190     845          0
f     191     842          1
f     191     843          1
f     192     847          1
f     192     848          0
f     193     845          0
f     193     844          1
f     194     844          0
f     194     845          1
f     195     848          1
f     195     847          0
f     196     841          1
f     196     842          0
f     197     844          0
f     197     845          1
f     198     842          0
f     198     841          1
f     199     842          1
f     199     843          0
f     200     847          1
f     200     848          0
f     201     844          1
f     201     845          0
f     202     843          1
f     202     842          0
f     203     843          1
f     203     844          0
f     204     844          1
f     204     845          0
f     205     847          1
f     205     846          1
f     206     846          0
f     206     847          1
f     207     846          0
f     207     845          1
f     208     844          1
f     208     845          1
f     209     841          0
f     209     842          1
f     210     845          1
f     210     844          0
f     211     845          0
f     211     846          1
f     212     847          0
f     212     848          1
f     213     843          1
f     213     842          1
f     214     843          1
f     214     844          0
f     215     845          1
f     215     846          0
f     216     847          1
f     216     846          0
f     217     845          1
f     217     846          0
f     218     845          1
f     218     846          0
f     219     845          0
f     219     844          1
f     220     844          0
f     220     843          1
f     221     844          1
f     221     845          0
f     222     848          0
f     222     847          1
f     223     846          1
f     223     845          0
f     224     845          0
f     224     846          1
f     225     844          1
f     225     845          0
f     226     846          1
f     226     845          0
f     227     843          1
f     227     844          0
f     228     843          1
f     228     844          0
f     229     845          0
f     229     844          1
f     230     845          0
f     230     846          1
f     231     845          0
f     231     846          1
f     232     845          0
f     232     844          1
f     233     845          0
f     233     846          1
f     234     844          1
f     234     845          0
f     235     844          0
f     235     843          1
f     236     844          1
f     236     845          0
f     237     846          1
f     237     845          1
f     238     846          0
f     238     847          1
f     239     844          1
f     239     845          0
f     240     846          0
f     240     847          1
f     241     846          1
f     241     845          0
f     242     845          0
f     242     846          1
f     243     847          1
f     243     846          0
f     244     844          1
f     244     845          0
f     245     844          1
f     245     845          0
f     246     843          1
f     246     842          0
f     247     845          1
f     247     844          1
f     248     844          1
f     248     845          1
f     249     846          0
f     249     845          1
f     250     847          1
f     250     846          1
f     251     845          0
f     251     846          1
f     252     846          1
f     252     845          1
f     253     843          1
f     253     844          0
f     254     847          1
f     254     848          1
f     255     845          0
f     255     846          1
f     256     843          1
f     256     844          0
f     257     845          0
f     257     846          1
f     258     846          0
f     258     845          1
f     259     844          1
f     259     845          0
f     260     841          1
f     260     842          0
f     261     845          0
f     261     844          1
f     262     847          1
f     262     848          0
f     263     843          1
f     263     844          0
f     264     842          0
f     264     841          1
f     265     847          1
f     265     848          0
f     266     844          1
f     266     845          0
f     267     845          0
f     267     844          1
f     268     843          1
f     268     844          0
f     269     845          0
f     269     846          1
f     270     846          1
f     270     845          0
f     271     845          1
f     271     846          0
f     272     845          1
f     272     846          0
f     273     845          1
f     273     844          0
f     274     846          0
f     274     847          1
f     275     845          0
f     275     846          1
f     276     845          1
f     276     846          0
f     277     843          1
f     277     844          0
f     278     846          0
f     278     847          1
f     279     844          0
f     279     843          1
f     280     845          1
f     280     846          0
f     281     846          0
f     281     847          1
f     282     844          1
f     282     845          0
f     283     845          1
f     283     844          0
f     284     844          0
f     284     845          1
f     285     847          1
f     285     848          0
f     286     843          1
f     286     842          0
f     287     842          1
f     287     843          0
f     288     842          0
f     288     841          1
f     289     846          0
f     289     847          1
f     290     847          1
f     290     848          0
f     291     842          0
f     291     841          1
f     292     845          1
f     292     846          0
f     293     841          0
f     293     842          1
f     294     846          0
f     294     845          1
f     295     844          1
f     295     845          0
f     296     845          0
f     296     846          1
f     297     846          0
f     297     845          1
f     298     846          0
f     298     847          1
f     299     844          1
f     299     845          0
f     300     846          0
f     300     845          1
f     301     845          1
f     301     846          0
f     302     843          1
f     302     844          0
f     303     846          0
f     303     845          1
f     304     843          1
f     304     844          0
f     305     845          0
f     305     846          1
f     306     844          1
f     306     845          1
f     307     847          1
f     307     848          0
f     308     846          0
f     308     847          1
f     309     845          0
f     309     846          1
f     310     845          0
f     310     844          1
f     311     845          0
f     311     846          1
f     312     845          0
f     312     846          1
f     313     845          0
f     313     844          1
f     314     845          0
f     314     846          1
f     315     846          0
f     315     847          1
f     316     845          0
f     316     844          1
f     317     844          1
f     317     845          1
f     318     843          1
f     318     844          0
f     319     847          1
f     319     848          0
f     320     842          1
f     320     841          0
f     321     843          1
f     321     842          0
f     322     845          0
f     322     844          1
f     323     846          0
f     323     847          1
f     324     847          1
f     324     848          1
f     325     845          1
f     325     846          1
f     326     845          0
f     326     846          1
f     327     843          1
f     327     844          0
f     328     847          1
f     328     848          0
f     329     846          0
f     329     847          1
f     330     847          1
f     330     848          0
f     331     845          0
f     331     846          1
f     332     844          1
f     332     845          0
f     333     847          1
f     333     848          0
f     334     844          0
f     334     845          1
f     335     847          1
f     335     848          0
f     336     843          1
f     336     842          0
f     337     844          0
f     337     843          1
f     338     845          0
f     338     846          1
f     339     844          0
f     339     845          1
f     340     845          0
f     340     844          1
f     341     842          0
f     341     843          1
f     342     842          1
f     342     843          0
f     343     848          1
f     343     847          0
f     344     848          0
f     344     847          1
f     345     848          1
f     345     847          0
f     346     846          0
f     346     845          1
f     347     845          0
f     347     846          1
f     348     846          1
f     348     845          1
f     349     847          1
f     349     848          0
f     350     842          1
f     350     843          0
f     351     844          0
f     351     843          1
f     352     847          1
f     352     848          0
f     353     844          1
f     353     845          1
f     354     845          0
f     354     844          1
f     355     844          1
f     355     845          0
f     356     847          0
f     356     848          1
f     357     848          0
f     357     847          1
f     358     843          1
f     358     844          0
f     359     846          0
f     359     847          1
f     360     845          1
f     360     844          1
f     361     845          1
f     361     846          1
f     362     844          1
f     362     845          0
f     363     846          0
f     363     845          1
f     364     844          0
f     364     843          1
f     365     845          0
f     365     846          1
f     366     843          1
f     366     844          0
f     367     847          1
f     367     848          0
f     368     845          0
f     368     846          1
f     369     846          0
f     369     847          1
f     370     844          0
f     370     843          1
f     371     844          1
f     371     845          0
f     372     844          1
f     372     845          0
f     373     847          1
f     373     846          0
f     374     844          1
f     374     845          1
f     375     845          0
f     375     844          1
f     376     844          1
f     376     845          0
f     377     845          0
f     377     846          1
f     378     847          1
f     378     846          0
f     379     844          1
f     379     845          0
f     380     842          1
f     380     841          0
f     381     843          1
f     381     844          0
f     382     841          1
f     382     842          0
f     383     845          0
f     383     846          1
f     384     847          1
f     384     846          0
f     385     846          0
f     385     847          1
f     386     842          1
f     386     841          0
f     387     845          1
f     387     844          0
f     388     845          0
f     388     846          1
f     389     848          0
f     389     847          1
f     390     846          1
f     390     845          1
f     391     846          0
f     391     847          1
f     392     845          0
f     392     846          1
f     393     845          1
f     393     844          1
f     394     844          0
f     394     845          1
f     395     843          1
f     395     842          0
f     396     846          0
f     396     845          1
f     397     846          0
f     397     847          1
f     398     845          0
f     398     846          1
f     399     845          0
f     399     844          1
f     400     843          0
f     400     842          1
f     401     846          0
f     401     847          1
f     402     848          0
f     402     847          1
f     403     847          1
f     403     846          0
f     404     848          0
f     404     847          1
f     405     844          1
f     405     845          0
f     406     847          1
f     406     848          0
f     407     845          0
f     407     846          1
f     408     845          0
f     408     846          1
f     409     844          0
f     409     843          1
f     410     844          1
f     410     845          0
f     411     844          0
f     411     845          1
f     412     846          0
f     412     845          1
f     413     844          0
f     413     845          1
f     414     845          1
f     414     844          0
f     415     843          1
f     415     842          0
f     416     843          1
f     416     844          0
f     417     846          0
f     417     845          1
f     418     848          1
f     418     847          0
f     419     843          1
f     419     842          0
f     420     844          0
f     420     843          1
f     421     845          0
f     421     844          1
f     422     847          1
f     422     848          1
f     423     848          0
f     423     847          1
f     424     847          1
f     424     848          0
f     425     848          0
f     425     847          1
f     426     848          1
f     426     847          0
f     427     845          1
f     427     846          0
f     428     845          0
f     428     846          1
f     429     844          1
f     429     845          0
f     430     845          1
f     430     846          1
f     431     844          1
f     431     845          0
f     432     844          1
f     432     845          0
f     433     842          1
f     433     843          0
f     434     846          0
f     434     847          1
f     435     845          0
f     435     846          1
f     436     845          0
f     436     846          1
f     437     845          0
f     437     846          1
f     438     843          1
f     438     844          0
f     439     845          0
f     439     846          1
f     440     843          1
f     440     844          0
f     441     845          0
f     441     846          1
f     442     842          1
f     442     843          0
f     443     846          0
f     443     847          1
f     444     843          1
f     444     844          0
f     445     847          1
f     445     848          0
f     446     844          0
f     446     845          1
f     447     843          1
f     447     842          0
f     448     844          0
f     448     845          1
f     449     845          0
f     449     846          1
f     450     845          1
f     450     846          0
f     451     845          1
f     451     846          1
f     452     845          1
f     452     846          1
f     453     844          1
f     453     845          0
f     454     844          1
f     454     845          0
f     455     844          1
f     455     845          0
f     456     845          1
f     456     846          0
f     457     844          1
f     457     845          0
f     458     847          1
f     458     846          0
f     459     845          0
f     459     846          1
f     460     843          1
f     460     844          0
f     461     842          1
f     461     841          0
f     462     844          1
f     462     845          0
f     463     844          1
f     463     845          0
f     464     844          1
f     464     845          0
f     465     843          1
f     465     844          0
f     466     844          1
f     466     845          0
f     467     845          0
f     467     846          1
f     468     844          1
f     468     845          0
f     469     843          1
f     469     844          0
f     470     842          1
f     470     841          0
f     471     842          1
f     471     843          0
f     472     845          0
f     472     846          1
f     473     845          0
f     473     846          1
f     474     841          1
f     474     842          0
f     475     845          1
f     475     846          0
f     476     843          1
f     476     842          0
f     477     843          1
f     477     844          0
f     478     845          1
f     478     846          0
f     479     841          1
f     479     842          0
f     480     845          1
f     480     846          0
f     481     847          1
f     481     848          0
f     482     845          0
f     482     846          1
f     483     843          1
f     483     844          1
f     484     843          1
f     484     844          0
f     485     845          1
f     485     846          2
f     486     845          1
f     486     846          0
f     487     844          1
f     487     845          0
f     488     845          1
f     488     846          0
f     489     845          1
f     489     846          0
f     490     845          1
f     490     846          0
f     491     844          1
f     491     845          0
f     492     844          1
f     492     845          0
f     493     846          0
f     493     847          1
f     494     844          1
f     494     845          0
f     495     843          1
f     495     844          0
f     496     846          0
f     496     847          1
f     497     848          0
f     497     847          1
f     498     843          1
f     498     844          0
f     499     843          1
f     499     844          0
f     500     845          0
f     500     846          1
f     501     846          0
f     501     847          1
f     502     848          0
f     502     847          1
f     503     845          0
f     503     846          1
f     504     845          0
f     504     846          1
f     505     844          1
f     505     845          0
f     506     845          1
f     506     846          1
f     507     843          1
f     507     844          0
f     508     846          0
f     508     847          1
f     509     848          0
f     509     847          1
f     510     847          1
f     510     848          0
f     511     844          1
f     511     845          0
f     512     848          0
f     512     847          1
f     513     845          0
f     513     846          1
f     514     842          1
f     514     843          0
f     515     845          0
f     515     846          1
f     516     843          1
f     516     844          0
f     517     845          1
f     517     846          1
f     518     845          0
f     518     846          1
f     519     843          1
f     519     844          0
f     520     845          0
f     520     846          1
f     521     843          1
f     521     842          0
f     522     843          1
f     522     844          0
f     523     847          1
f     523     848          0
f     524     844          1
f     524     845          0
f     525     845          0
f     525     846          1
f     526     846          0
f     526     847          1
f     527     843          1
f     527     844          0
f     528     844          1
f     528     845          0
f     529     842          1
f     529     843          0
f     530     843          1
f     530     844          0
f     531     845          1
f     531     846          0
f     532     845          1
f     532     846          0
f     533     843          1
f     533     844          0
f     534     844          1
f     534     845          0
f     535     845          1
f     535     846          0
f     536     845          0
f     536     846          1
f     537     845          1
f     537     846          0
f     538     845          1
f     538     846          0
f     539     844          0
f     539     845          1
f     540     841          1
f     540     842          0
f     541     847          1
f     541     848          0
f     542     845          0
f     542     846          1
f     543     844          0
f     543     845          1
f     544     842          1
f     544     843          0
f     545     845          0
f     545     846          1
f     546     844          1
f     546     845          0
f     547     845          1
f     547     846          0
f     548     843          1
f     548     844          0
f     549     844          0
f     549     845          1
f     550     844          1
f     550     845          0
f     551     844          0
f     551     845          1
f     552     844          0
f     552     845          1
f     553     844          1
f     553     845          1
f     554     845          0
f     554     846          1
f     555     844          1
f     555     845          0
f     556     845          1
f     556     846          0
f     557     846          0
f     557     847          1
f     558     846          0
f     558     847          1
f     559     846          0
f     559     847          1
f     560     841          1
f     560     842          0
f     561     845          1
f     561     846          0
f     562     847          1
f     562     848          0
f     563     843          1
f     563     842          0
f     564     847          1
f     564     848          0
f     565     841          1
f     565     842          0
f     566     845          1
f     566     846          0
f     567     847          1
f     567     848          0
f     568     846          0
f     568     847          1
f     569     841          1
f     569     842          0
f     570     843          1
f     570     844          0
f     571     843          1
f     571     844          0
f     572     846          0
f     572     847          1
f     573     844          1
f     573     845          0
f     574     845          1
f     574     846          0
f     575     844          1
f     575     845          0
f     576     845          0
f     576     846          1
f     577     844          1
f     577     845          0
f     578     844          1
f     578     845          0
f     579     844          1
f     579     845          0
f     580     844          1
f     580     845          0
f     581     845          0
f     581     846          1
f     582     845          0
f     582     846          1
f     583     843          1
f     583     842          0
f     584     846          0
f     584     847          1
f     585     845          0
f     585     846          1
f     586     845          0
f     586     846          1
f     587     845          0
f     587     846          1
f     588     843          1
f     588     842          0
f     589     845          0
f     589     846          1
f     590     843          1
f     590     844          0
f     591     846          0
f     591     847          1
f     592     848          0
f     592     847          1
f     593     845          0
f     593     846          1
f     594     846          0
f     594     847          1
f     595     845          0
f     595     846          1
f     596     847          1
f     596     848          0
f     597     845          0
f     597     846          1
f     598     844          1
f     598     845          0
f     599     846          0
f     599     847          1
f     600     848          0
f     600     847          1
f     601     845          0
f     601     846          1
f     602     843          1
f     602     844          0
f     603     841          1
f     603     842          0
f     604     845          0
f     604     846          1
f     605     844          1
f     605     845          0
f     606     844          1
f     606     845          0
f     607     843          1
f     607     844          0
f     608     844          1
f     608     845          0
f     609     845          0
f     609     846          1
f     610     846          0
f     610     847          1
f     611     846          0
f     611     847          1
f     612     844          1
f     612     845          0
f     613     844          1
f     613     845          0
f     614     848          0
f     614     847          1
f     615     845          0
f     615     846          1
f     616     844          1
f     616     845          1
f     617     848          0
f     617     847          1
f     618     842          1
f     618     843          0
f     619     845          0
f     619     846          1
f     620     848          0
f     620     847          1
f     621     842          1
f     621     843          0
f     622     845          0
f     622     846          1
f     623     843          1
f     623     844          0
f     624     843          1
f     624     844          0
f     625     845          1
f     625     846          0
f     626     844          1
f     626     845          0
f     627     845          1
f     627     846          0
f     628     845          1
f     628     846          0
f     629     845          0
f     629     846          1
f     630     843          1
f     630     844          0
f     631     841          1
f     631     842          0
f     632     844          1
f     632     845          0
f     633     847          1
f     633     848          0
f     634     843          1
f     634     844          0
f     635     845          0
f     635     846          1
f     636     843          1
f     636     844          0
f     637     845          1
f     637     846          0
f     638     841          1
f     638     842          0
f     639     843          1
f     639     844          0
f     640     847          1
f     640     848          0
f     641     844          0
f     641     845          1
f     642     844          0
f     642     845          1
f     643     846          0
f     643     847          1
f     644     846          0
f     644     847          1
f     645     843          1
f     645     844          0
f     646     847          1
f     646     848          0
f     647     845          1
f     647     846          0
f     648     845          0
f     648     846          1
f     649     843          1
f     649     844          0
f     650     845          1
f     650     846          0
f     651     843          1
f     651     844          0
f     652     845          1
f     652     846          1
f     653     845          0
f     653     846          1
f     654     845          1
f     654     846          0
f     655     843          1
f     655     844          0
f     656     848          1
f     656     847          0
f     657     844          1
f     657     845          0
f     658     847          1
f     658     848          0
f     659     843          1
f     659     844          0
f     660     844          0
f     660     845          1
f     661     847          1
f     661     848          0
f     662     845          0
f     662     846          1
f     663     845          1
f     663     846          0
f     664     841          1
f     664     842          0
f     665     844          1
f     665     845          0
f     666     842          1
f     666     843          0
f     667     842          1
f     667     843          0
f     668     842          1
f     668     843          0
f     669     844          1
f     669     845          0
f     670     847          1
f     670     848          0
f     671     847          1
f     671     848          0
f     672     842          1
f     672     843          0
f     673     841          1
f     673     842          0
f     674     845          1
f     674     846          0
f     675     845          1
f     675     846          0
f     676     846          0
f     676     847          1
f     677     844          1
f     677     845          0
f     678     845          1
f     678     846          0
f     679     842          1
f     679     843          0
f     680     843          1
f     680     844          0
f     681     847          1
f     681     848          0
f     682     845          1
f     682     846          0
f     683     844          1
f     683     845          0
f     684     845          1
f     684     846          0
f     685     845          1
f     685     846          0
f     686     845          1
f     686     846          0
f     687     844          1
f     687     845          0
f     688     845          0
f     688     846          1
f     689     844          1
f     689     845          0
f     690     844          1
f     690     845          0
f     691     848          0
f     691     847          1
f     692     844          1
f     692     845          0
f     693     844          1
f     693     845          0
f     694     844          1
f     694     845          0
f     695     845          0
f     695     846          1
f     696     844          1
f     696     845          0
f     697     845          0
f     697     846          1
f     698     844          1
f     698     845          0
f     699     844          1
f     699     845          0
f     700     842          1
f     700     841          0
f     701     845          0
f     701     846          1
f     702     845          0
f     702     846          1
f     703     847          1
f     703     848          1
f     704     845          0
f     704     846          1
f     705     843          1
f     705     842          0
f     706     848          0
f     706     847          1
f     707     844          1
f     707     845          0
f     708     842          1
f     708     841          0
f     709     848          0
f     709     847          1
f     710     846          0
f     710     847          1
f     711     845          0
f     711     846          1
f     712     844          1
f     712     845          0
f     713     844          1
f     713     845          0
f     714     845          0
f     714     846          1
f     715     844          1
f     715     845          0
f     716     844          1
f     716     845          0
f     717     843          1
f     717     844          0
f     718     847          1
f     718     848          0
f     719     848          0
f     719     847          1
f     720     846          0
f     720     847          1
f     721     844          1
f     721     845          0
f     722     844          1
f     722     845          0
f     723     844          1
f     723     845          0
f     724     841          1
f     724     842          0
f     725     845          0
f     725     846          1
f     726     845          0
f     726     846          1
f     727     845          1
f     727     846          0
f     728     848          1
f     728     847          0
f     729     843          1
f     729     842          0
f     730     845          1
f     730     846          0
f     731     843          1
f     731     842          0
f     732     843          1
f     732     844          0
f     733     846          0
f     733     847          1
f     734     842          1
f     734     841          0
f     735     846          0
f     735     847          1
f     736     847          1
f     736     848          0
f     737     845          0
f     737     846          1
f     738     841          1
f     738     842          0
f     739     844          1
f     739     845          1
f     740     845          0
f     740     846          1
f     741     845          0
f     741     846          1
f     742     845          1
f     742     846          0
f     743     848          1
f     743     847          0
f     744     846          0
f     744     847          1
f     745     841          1
f     745     842          0
f     746     844          0
f     746     845          1
f     747     845          1
f     747     846          0
f     748     844          1
f     748     845          0
f     749     845          0
f     749     846          1
f     750     843          1
f     750     844          0
f     751     841          1
f     751     842          0
f     752     843          1
f     752     844          0
f     753     843          1
f     753     844          0
f     754     846          0
f     754     847          1
f     755     844          1
f     755     845          0
f     756     844          1
f     756     845          0
f     757     845          1
f     757     846          0
f     758     845          1
f     758     846          0
f     759     843          1
f     759     844          0
f     760     844          1
f     760     845          0
f     761     845          1
f     761     846          0
f     762     845          1
f     762     846          0
f     763     847          1
f     763     848          0
f     764     844          1
f     764     845          0
f     765     846          0
f     765     845          1
f     766     846          0
f     766     847          1
f     767     842          1
f     767     841          0
f     768     844          1
f     768     845          0
f     769     848          0
f     769     847          1
f     770     848          0
f     770     847          1
f     771     848          0
f     771     847          1
f     772     848          0
f     772     847          1
f     773     845          0
f     773     846          1
f     774     845          1
f     774     846          1
f     775     848          0
f     775     847          1
f     776     845          0
f     776     846          1
f     777     845          0
f     777     846          1
f     778     844          1
f     778     845          0
f     779     848          0
f     779     847          1
f     780     844          1
f     780     845          0
f     781     845          0
f     781     846          1
f     782     844          1
f     782     845          0
f     783     844          1
f     783     845          0
f     784     845          0
f     784     846          1
f     785     844          1
f     785     845          0
f     786     846          0
f     786     847          1
f     787     845          0
f     787     846          1
f     788     848          0
f     788     847          1
f     789     844          1
f     789     845          0
f     790     845          1
f     790     846          0
f     791     848          1
f     791     847          0
f     792     847          1
f     792     848          0
f     793     846          0
f     793     847          1
f     794     845          1
f     794     846          0
f     795     846          0
f     795     847          1
f     796     847          1
f     796     848          0
f     797     844          0
f     797     845          1
f     798     846          0
f     798     847          1
f     799     843          1
f     799     844          0
f     800     845          1
f     800     846          0
f     801     841          1
f     801     842          0
f     802     845          1
f     802     846          0
f     803     843          1
f     803     844          0
f     804     845          1
f     804     846          0
f     805     845          1
f     805     846          0
f     806     847          1
f     806     848          0
f     807     846          0
f     807     847          1
f     808     845          1
f     808     846          0
f     809     845          1
f     809     846          0
f     810     845          1
f     810     846          0
f     811     845          1
f     811     846          0
f     812     845          1
f     812     846          0
f     813     848          0
f     813     847          1
f     814     843          1
f     814     844          0
f     815     845          0
f     815     846          1
f     816     844          1
f     816     845          0
f     817     844          1
f     817     845          0
f     818     844          1
f     818     845          0
f     819     843          1
f     819     842          0
f     820     843          1
f     820     844          0
f     821     844          1
f     821     845          0
f     822     844          1
f     822     845          0
f     823     844          1
f     823     845          0
f     824     845          0
f     824     846          1
f     825     842          1
f     825     841          0
f     826     845          0
f     826     846          1
f     827     848          0
f     827     847          1
f     828     845          0
f     828     846          1
f     829     845          1
f     829     846          0
f     830     843          1
f     830     844          0
f     831     843          1
f     831     844          0
f     832     844          0
f     832     845          1
f     833     843          1
f     833     844          0
f     834     843          1
f     834     844          0
f     835     846          0
f     835     847          1
f     836     845          0
f     836     846          1
f     837     844          1
f     837     845          0
f     838     843          1
f     838     844          0
f     839     844          1
f     839     845          0
f     840     845          1
f     840     846          0
f     841     849         34
f     842     849         42
f     843     849        126
f     844     849        167
f     845     849        180
f     846     849        153
f     847     849        171
f     848     849         28
c