Import the contents of a GeoJSON file:

Export a GeoGraphics object as a GeoJSON file:

Import the GeoJSON file:

Print the GeoJSON code:

Read a GeoJSON file as a string:

Import the string and interpret it as a GeoGraphics object:

Export a GeoGraphics map as a GeoJSON file:

Import the file:

Export a GeoGraphics object as a string using the GeoJSON format:

Specify explicitly the GeoJSON format to export a GeoGraphics object to a JSON file:

Import the file as pure JSON:

Import the file as GeoJSON:

Export a GeoGraphics expression containing graphical directives, encoded as GeoJSON properties:

Import back the GeoGraphics data:

Import a particular element from a GeoJSON file:

Export GeoGraphics primitives and directives of different types:

Import the file:

Give the list of possible elements to import from a GeoJSON file:

Import one element:

Import several elements:

Download earthquake data for the East Coast of the US:

Export a GeoGraphics map of the data as a GeoJSON file, so that it can be used in other applications:

Verify the result, importing the "Data" element of the GeoJSON file:

Import the GeoJSON file using a relief geo background, to show correlation with the topography: