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