0.0 -80.108333 0.0 -80.091667 0.008333 -80.000001 0.05 -80.00003 0.1 -80.000122 0.133333 -80.000217 0.191667 -80.000448 0.241667 -80.000712 0.266667 -80.000866 0.316667 -80.001222 0.416667 -80.002115 0.541667 -80.003575 0.566667 -80.003913 0.608333 -80.004509 0.625 -80.00476 0.816667 -80.008127 7.225 -80.64029 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