0.0 -80.008333 0.0 -80.0 0.025 -80.000008 0.175 -80.000373 0.225 -80.000617 0.275 -80.000921 0.291667 -80.001037 0.816667 -80.024796 7.633333 -80.715264 7.666667 -80.721572 7.675 -80.723153 7.7 -80.727907 7.725 -80.732678 7.733333 -80.734272 7.741667 -80.735867 7.825 -80.751919 7.833333 -80.753534 7.866667 -80.760012 8.225 -80.83144 8.283333 -80.843379 8.783333 -80.949305 8.85 -80.963916 10.0 -83.028049 10.0 -85.693544 0.333333 -89.976523 0.308333 -89.976303 0.0 -80.008333