0.0 -80.108333 0.0 -80.025 0.033333 -80.000014 0.125 -80.00019 0.133333 -80.000217 0.2 -80.000487 0.275 -80.000921 0.316667 -80.001222 0.416667 -80.002115 0.483333 -80.002847 0.491667 -80.002946 0.516667 -80.003253 7.225 -80.64029 8.575 -80.904387 8.583333 -80.906162 8.591667 -80.907939 8.791667 -80.951125 8.85 -80.963916 10.0 -83.028049 10.0 -85.702006 0.333333 -89.976523 0.308333 -89.976303 0.0 -80.108333