Short encodings of planar graphs and maps | Synapse