0.0 -80.108333 0.0 -80.033333 0.008333 -80.025001 0.016667 -80.01667 0.033333 -80.000014 0.058333 -80.000041 0.108333 -80.000143 0.125 -80.00019 0.158333 -80.000305 0.233333 -80.000663 0.291667 -80.001037 0.3 -80.001097 0.683333 -80.00569 0.708333 -80.006114 0.725 -80.006405 0.783333 -80.007477 0.791667 -80.007637 0.816667 -80.008127 7.225 -80.64029 8.558333 -80.900842 8.675 -80.925808 8.683333 -80.927605 8.7 -80.931204 8.85 -80.963916 10.0 -83.028049 10.0 -85.702006 0.333333 -89.976523 0.308333 -89.976303 0.0 -80.108333