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