0.0 -80.083333 0.0 -80.058333 0.058333 -80.008375 0.1 -80.000122 0.133333 -80.000217 0.241667 -80.000712 0.316667 -80.001222 0.425 -80.002201 0.516667 -80.003253 0.566667 -80.003913 0.683333 -80.00569 0.8 -80.007799 0.816667 -80.008127 7.225 -80.64029 8.55 -80.899072 8.725 -80.936615 8.85 -80.963916 10.0 -83.028049 10.0 -85.702006 0.333333 -89.976523 0.308333 -89.976303 0.0 -80.083333