Converted through geojson.io