-73.805000  -16.650000
  -72.225000  -18.266667
  -71.646667  -18.166667
  -71.108333  -19.616667
  -73.308333  -16.916667
  -77.275000  -12.050000
  -81.670000   -5.833333
  -81.401667   -4.916667
  -81.041667   -3.966667
  -81.530000   -4.483333
  -79.938333   -6.950000
  -79.341667   -8.500000
  -80.593333   -6.983333
  -78.713333   -9.016667
  -78.788333  -10.050000
  -78.280000  -10.033333
  -77.675000  -11.483333
  -77.841667  -11.500000
  -78.355000  -11.983333
  -78.020000  -11.966667
  -77.541667  -12.033333
  -77.775000  -11.950000
  -77.908333  -12.016667
  -78.025000  -12.133333
  -76.971667  -12.550000
  -78.525000  -11.500000
  -77.896667  -11.116667
  -78.108333  -12.100000
  -78.410000  -12.333333
  -77.788333  -12.566667
  -77.308333  -12.466667
  -76.725000  -12.916667
  -76.560000  -13.633333
  -76.708333  -13.733333
  -77.591667  -12.050000
  -77.758333  -12.050000
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.350000  -12.333333
  -77.166667  -12.266667
  -77.333333  -12.216667
  -77.283333  -12.083333
  -77.233333  -12.100000
  -77.333333  -12.083333
  -77.333333  -12.050000
  -77.500000  -12.050000
  -77.666667  -12.050000
  -77.833333  -12.050000
  -78.166667  -12.050000
  -77.500000  -12.050000
  -78.666667  -11.150000
  -78.333333  -11.166667
  -78.066667  -11.333333
  -77.933333  -11.550000
  -77.600000  -11.633333
  -77.533333  -11.833333
  -77.400000  -11.933333
  -77.250000  -12.133333
  -77.333333  -12.050000
  -77.500000  -12.050000
  -77.666667  -12.050000
  -77.833333  -12.050000
  -78.166667  -12.050000
  -78.500000  -12.050000
  -77.250000  -12.050000
  -77.416667  -12.050000
  -77.583333  -12.050000
  -77.750000  -12.050000
  -78.083333  -12.050000
  -78.416667  -12.050000
  -76.966667  -12.383333
  -77.150000  -12.383333
  -77.316667  -12.383333
  -77.650000  -12.383333
  -77.983333  -12.383333
  -78.416667  -12.000000
  -77.750000  -11.950000
  -77.583333  -11.950000
  -77.200000  -11.666667
  -77.450000  -11.666667
  -77.616667  -11.666667
  -77.950000  -11.666667
  -78.283333  -11.666667
  -78.466667  -11.366667
  -77.800000  -11.416667
  -77.916667  -11.000000
  -78.083333  -11.000000
  -78.416667  -11.000000
  -78.750000  -11.000000
  -78.966667  -10.666667
  -78.633333  -10.666667
  -78.300000  -10.666667
  -78.133333  -10.666667
  -77.966667  -10.666667
  -77.150000  -10.333333
  -78.316667  -10.333333
  -79.283333  -10.000000
  -78.950000  -10.000000
  -78.616667  -10.000000
  -78.450000  -10.000000
  -78.283333  -10.000000
  -78.333333   -9.866667
  -78.433333   -9.666667
  -78.816667   -9.633333
  -79.816667   -9.183333
  -79.483333   -9.150000
  -79.150000   -9.100000
  -78.983333   -9.083333
  -78.816667   -9.066667
  -78.800000   -9.000000
  -78.933333   -9.000000
  -78.100000   -9.000000
  -79.466667   -9.000000
  -79.833333   -9.033333
  -78.266667  -12.083333
  -76.500000  -13.133333
  -76.833333  -13.116667
  -77.350000  -13.100000
  -76.300000  -13.750000
  -77.116667  -14.083333
  -75.983333  -14.500000
  -74.716667  -15.883333
  -74.733333  -16.033333
  -74.250000  -15.950000
  -73.716667  -16.316667
  -72.116667  -17.100000
  -72.116667  -16.600000
  -71.616667  -17.500000
  -71.083333  -17.966667
  -71.083333  -18.133333
  -71.083333  -18.300000
  -71.100000  -18.950000
  -71.116667  -19.916667
  -72.766667  -17.816667
  -72.783333  -18.166667
  -73.266667  -17.766667
  -73.283333  -17.433333
  -73.316667  -16.750000
  -73.333333  -16.583333
  -73.350000  -16.383333
  -73.716667  -16.650000
  -73.716667  -16.966667
  -73.716667  -17.283333
  -74.483333  -15.783333
  -75.250000  -16.583333
  -75.433333  -16.833333
  -77.283333  -12.050000
  -77.450000  -12.050000
  -77.616667  -12.050000
  -77.766667  -12.050000
  -77.466667  -12.050000
  -77.633333  -12.050000
  -77.966667  -12.050000
  -78.333333  -12.050000
  -77.666667  -11.583333
  -77.500000  -11.583333
  -77.300000  -11.583333
  -80.900000   -6.416667
  -82.533333   -6.500000
  -82.650000   -5.900000
  -81.983333   -5.850000
  -81.150000   -5.800000
  -81.216667   -4.916667
  -82.500000   -3.916667
  -81.500000   -3.950000
  -80.983333   -3.916667
  -77.300000  -11.966667
  -81.383333   -4.833333
  -81.333333   -5.183333
  -81.300000   -5.500000
  -81.133333   -6.700000
  -80.916667   -7.000000
  -80.266667   -6.966667
  -79.850000   -8.833333
  -80.050000   -8.833333
  -78.633333   -9.533333
  -78.800000   -9.533333
  -78.966667   -9.533333
  -79.133333   -9.533333
  -79.300000   -9.533333
  -78.566667  -10.616667
  -78.950000  -10.816667
  -78.633333  -10.950000
  -78.133333  -10.916667
  -77.883333  -11.366667
  -77.516667  -11.483333
  -78.183333  -11.500000
  -78.516667  -11.450000
  -77.666667  -12.033333
  -77.416667  -12.033333
  -77.233333  -12.033333
  -77.266667  -12.050000
  -78.033333  -11.516667
  -77.800000  -11.216667
  -77.416667  -11.550000
  -77.533333  -11.666667
  -77.900000  -12.550000
  -77.583333  -12.183333
  -77.350000  -11.933333
  -77.250000  -12.000000
  -77.266667  -12.050000
  -77.066667  -12.666667
  -77.250000  -12.050000
  -78.016667  -12.016667
  -78.366667  -11.400000
  -77.750000  -11.333333
  -77.550000  -11.433333
  -77.350000  -11.583333
  -77.500000  -11.683333
  -77.950000  -12.000000
  -78.250000  -12.550000
  -77.466667  -12.350000
  -77.200000  -12.166667
  -77.050000  -12.366667
  -76.866667  -12.566667
  -77.283333  -12.866667
  -77.433333  -12.966667
  -77.633333  -13.383333
  -76.500000  -13.133333
  -76.833333  -13.833333
  -77.766667  -12.050000
  -77.933333  -12.050000
  -78.100000  -12.050000
  -78.266667  -12.050000
  -78.433333  -12.050000
  -78.283333  -11.783333
  -78.150000  -11.683333
  -78.016667  -11.583333
  -77.766667  -11.400000
  -77.666667  -11.366667
  -77.466667  -11.500000
  -77.500000  -11.833333
  -77.783333  -12.016667
  -78.066667  -12.500000
  -77.783333  -12.650000
  -77.216667  -12.100000
  -77.366667  -12.366667
  -77.650000  -12.533333
  -77.966667  -12.733333
  -77.600000  -13.083333
  -76.816667  -12.566667
  -76.216667  -12.750000
  -76.866667  -13.216667
  -77.100000  -13.516667
  -77.933333  -11.866667
  -76.766667  -13.583333
  -77.066667  -13.750000
  -77.350000  -13.916667
  -77.916667  -13.116667
  -77.300000  -12.150000
  -77.633333  -11.916667
  -77.583333  -11.616667
  -78.150000  -11.883333
  -78.100000  -12.016667
  -77.766667  -12.016667
  -77.866667  -11.183333
  -78.350000  -11.350000
  -78.816667  -11.516667
  -79.550000  -11.216667
  -78.600000  -10.850000
  -78.216667  -10.216667
  -78.850000  -10.466667
  -79.783333  -10.816667
  -79.966667  -10.316667
  -79.533333  -10.133333
  -79.116667   -9.966667
  -78.700000   -9.783333
  -78.416667   -9.666667
  -79.733333   -9.633333
  -79.533333   -8.933333
  -79.250000   -8.816667
  -79.116667   -8.766667
  -78.816667   -8.616667
  -79.033333   -8.233333
  -79.183333   -8.300000
  -80.150000   -8.650000
  -81.183333   -8.483333
  -80.050000   -7.933333
  -79.600000   -7.716667
  -79.316667   -8.016667
  -79.766667   -7.133333
  -79.916667   -7.200000
  -80.900000   -7.550000
  -81.716667   -7.300000
  -81.250000   -7.116667
  -80.766667   -6.950000
  -80.450000   -6.816667
  -80.300000   -6.750000
  -80.833333   -6.483333
  -81.316667   -6.666667
  -81.783333   -6.850000
  -82.266667   -7.033333
  -81.900000   -6.333333
  -81.450000   -6.116667
  -81.300000   -6.033333
  -81.500000   -4.566667
  -81.666667   -4.550000
  -82.116667   -4.783333
  -81.800000   -4.733333
  -81.650000   -4.716667
  -81.500000   -4.700000
  -81.366667   -4.666667
  -81.216667   -5.183333
  -81.400000   -5.183333
  -82.900000   -5.833333
  -81.966667   -5.583333
  -81.666667   -5.500000
  -81.350000   -5.416667
  -77.250000  -12.033333
  -77.416667  -12.033333
  -77.566667  -12.033333
  -77.900000  -12.033333
  -77.850000  -11.100000
  -77.700000  -11.033333
  -77.250000  -12.050000
  -77.416667  -12.050000
  -78.116667  -12.050000
  -77.933333  -11.666667
  -77.750000  -11.233333
  -78.116667  -10.333333
  -78.666667   -9.133333
  -78.833333   -9.100000
  -79.283333   -9.100000
  -79.500000   -9.100000
  -79.550000   -7.750000
  -80.033333   -6.833333
  -80.350000   -6.833333
  -80.600000   -6.833333
  -80.850000   -6.833333
  -80.900000   -6.450000
  -80.750000   -6.416667
  -80.650000   -6.416667
  -81.283333   -6.066667
  -81.250000   -5.783333
  -81.416667   -5.783333
  -81.583333   -5.783333
  -81.833333   -5.783333
  -82.083333   -5.783333
  -81.516667   -6.150000
  -80.750000   -6.550000
  -79.633333   -7.383333
  -80.200000   -8.316667
  -79.500000   -8.333333
  -78.966667  -10.066667
  -77.966667  -11.416667
  -77.633333  -11.416667
  -81.166667   -4.000000
  -81.416667   -3.983333
  -81.683333   -3.966667
  -82.566667   -3.933333
  -83.100000   -3.900000
  -83.250000   -4.750000
  -83.433333   -5.783333
  -82.900000   -5.783333
  -82.333333   -5.816667
  -81.750000   -5.850000
  -81.466667   -5.866667
  -81.200000   -6.000000
  -81.350000   -6.666667
  -81.666667   -7.333333
  -81.166667   -7.333333
  -80.666667   -7.333333
  -79.883333   -7.333333
  -79.333333   -8.383333
  -78.900000   -9.333333
  -79.400000   -9.333333
  -79.916667   -9.333333
  -80.400000   -9.333333
  -80.083333   -9.983333
  -79.750000  -10.716667
  -79.233333  -10.716667
  -80.000000  -12.000000
  -79.000000  -12.916667
  -78.000000  -14.000000
  -77.483333  -14.000000
  -76.966667  -14.000000
  -76.416667  -14.000000
  -76.283333  -15.416667
  -76.300000  -17.116667
  -74.016667  -16.600000
  -73.733333  -16.266667
  -77.466667  -12.050000
  -77.600000  -12.083333
  -77.733333  -12.116667
  -77.883333  -12.133333
  -77.933333  -11.883333
  -77.800000  -11.750000
  -77.650000  -11.666667
  -77.500000  -11.583333
  -77.333333  -11.500000
  -77.666667  -11.400000
  -77.833333  -11.300000
  -77.633333  -11.083333
  -77.916667  -11.300000
  -78.166667  -11.333333
  -78.333333  -11.416667
  -78.416667  -11.333333
  -78.500000  -11.083333
  -78.300000  -11.000000
  -78.050000  -10.916667
  -77.833333  -10.883333
  -77.750000  -10.833333
  -77.866667  -10.583333
  -78.166667  -10.416667
  -72.750000  -16.733333
  -73.316667  -17.366667
  -71.783333  -18.300000
  -71.166667  -18.650000
  -76.716667  -12.666667
  -76.883333  -12.650000
  -77.066667  -12.633333
  -77.316667  -12.666667
  -77.816667  -12.666667
  -77.566667  -13.383333
  -76.666667  -13.066667
  -76.400000  -14.066667
  -76.583333  -14.050000
  -76.266667  -14.066667
  -77.600000  -13.966667
  -77.916667  -14.066667
  -78.266667  -13.916667
  -76.533333  -14.733333
  -76.600000  -14.433333
  -75.383333  -15.383333
  -76.016667  -15.383333
  -76.533333  -15.300000
  -77.350000  -15.250000
  -76.716667  -16.033333
  -76.133333  -16.416667
  -76.366667  -16.166667
  -75.683333  -15.900000
  -75.733333  -15.550000
  -75.233333  -15.383333
  -74.933333  -16.350000
  -75.150000  -16.600000
  -73.366667  -16.850000
  -75.600000  -17.116667
  -74.866667  -17.583333
  -74.650000  -17.333333
  -73.983333  -16.566667
  -73.866667  -16.433333
  -73.750000  -16.300000
  -73.183333  -16.516667
  -73.266667  -16.633333
  -73.350000  -16.750000
  -73.733333  -17.266667
  -73.800000  -17.650000
  -74.150000  -17.850000
  -73.033333  -18.083333
  -72.866667  -17.783333
  -72.583333  -17.566667
  -72.383333  -17.300000
  -72.266667  -17.183333
  -72.133333  -17.066667
  -71.233333  -17.883333
  -71.350000  -18.016667
  -71.916667  -18.266667
  -71.866667  -18.516667
  -72.550000  -19.033333
  -72.400000  -19.033333
  -71.800000  -18.783333
  -71.200000  -18.533333
  -70.900000  -18.400000
  -70.683333  -18.350000
  -70.616667  -18.283333
  -77.266667  -12.000000
  -77.433333  -12.000000
  -77.616667  -12.000000
  -78.116667  -12.000000
  -78.383333  -12.000000
  -79.000000  -12.000000
  -79.500000  -12.000000
  -80.000000  -12.000000
  -80.500000  -12.000000
  -81.166667  -12.000000
  -81.166667  -11.000000
  -81.166667  -10.000000
  -81.166667   -8.000000
  -81.166667   -7.000000
  -81.166667   -6.500000
  -81.316667   -5.500000
  -81.283333   -4.250000
  -81.400000   -4.250000
  -82.033333   -4.250000
  -82.750000   -4.250000
  -83.100000   -4.250000
  -83.633333   -4.250000
  -84.700000   -4.250000
  -85.233333   -4.250000
  -84.233333   -5.083333
  -83.733333   -5.083333
  -83.233333   -5.083333
  -82.750000   -5.083333
  -82.733333   -5.083333
  -81.733333   -5.083333
  -81.183333   -6.000000
  -81.533333   -6.016667
  -81.750000   -6.000000
  -82.250000   -6.000000
  -82.750000   -6.000000
  -83.216667   -6.116667
  -83.750000   -6.133333
  -84.266667   -6.150000
  -84.816667   -6.166667
  -85.233333   -6.833333
  -84.633333   -6.850000
  -84.033333   -6.866667
  -83.566667   -6.883333
  -83.000000   -6.916667
  -82.233333   -6.950000
  -81.633333   -6.966667
  -80.866667   -7.000000
  -80.366667   -7.000000
  -80.200000   -7.000000
  -80.033333   -7.000000
  -79.866667   -7.000000
  -79.666667   -7.400000
  -79.833333   -7.400000
  -80.000000   -7.400000
  -80.233333   -7.400000
  -80.500000   -7.400000
  -81.000000   -7.400000
  -81.333333   -7.366667
  -80.850000   -8.033333
  -80.683333   -8.033333
  -80.433333   -8.033333
  -80.166667   -8.033333
  -79.916667   -8.033333
  -79.683333   -8.033333
  -79.516667   -8.033333
  -78.833333   -8.750000
  -79.000000   -8.766667
  -79.166667   -8.766667
  -79.416667   -8.783333
  -80.083333   -8.750000
  -80.166667   -8.800000
  -80.516667   -8.750000
  -80.250000   -9.416667
  -79.916667   -9.500000
  -79.416667   -9.533333
  -79.150000   -9.416667
  -78.733333   -9.550000
  -78.500000   -9.566667
  -78.833333  -10.066667
  -79.333333  -10.066667
  -79.233333  -10.766667
  -78.233333  -10.800000
  -77.900000  -10.816667
  -77.616667  -11.416667
  -77.783333  -11.416667
  -77.950000  -11.416667
  -78.183333  -12.416667
  -78.450000  -11.416667
  -78.700000  -11.500000
  -78.950000  -11.416667
  -78.633333  -12.066667
  -76.716667  -12.633333
  -76.900000  -12.633333
  -77.083333  -12.633333
  -77.416667  -12.633333
  -78.100000  -12.633333
  -78.566667  -12.633333
  -78.566667  -13.383333
  -78.033333  -13.383333
  -77.083333  -13.383333
  -76.700000  -13.383333
  -76.466667  -13.383333
  -76.350000  -14.033333
  -76.616667  -14.033333
  -76.950000  -14.033333
  -77.300000  -14.033333
  -77.633333  -14.033333
  -76.983333  -14.033333
  -78.333333  -14.033333
  -77.633333  -14.700000
  -77.616667  -14.700000
  -76.933333  -14.716667
  -76.600000  -14.700000
  -76.250000  -14.750000
  -76.066667  -14.750000
  -75.900000  -14.766667
  -75.383333  -15.383333
  -76.666667  -15.383333
  -77.016667  -15.333333
  -76.633333  -16.016667
  -76.100000  -16.400000
  -75.950000  -16.083333
  -75.650000  -15.900000
  -75.533333  -15.566667
  -75.400000  -15.400000
  -75.200000  -15.383333
  -74.466667  -15.833333
  -74.583333  -15.966667
  -74.916667  -16.350000
  -75.200000  -16.600000
  -75.366667  -16.850000
  -75.650000  -17.116667
  -74.466667  -17.300000
  -74.416667  -17.050000
  -74.166667  -16.783333
  -73.733333  -16.283333
  -72.883333  -16.650000
  -72.983333  -16.800000
  -73.100000  -16.916667
  -73.316667  -17.183333
  -73.533333  -17.433333
  -73.750000  -17.683333
  -73.983333  -17.933333
  -73.250000  -18.316667
  -73.016667  -18.066667
  -72.816667  -17.800000
  -72.366667  -17.283333
  -72.250000  -17.166667
  -72.133333  -17.050000
  -71.400000  -17.733333
  -71.866667  -18.250000
  -72.100000  -18.500000
  -72.333333  -18.750000
  -72.550000  -19.000000
  -72.233333  -18.883333
  -71.916667  -18.766667
  -71.416667  -18.650000
  -71.250000  -18.550000
  -71.016667  -18.450000
  -70.600000  -18.300000
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667
  -77.183333  -12.066667