GeoJSON is a popular format for encoding geographic data structures.…