Hard hexagons: exact solution | Synapse