  We prove a conjecture of Fock and Goncharov which provides a birational
equivalence of a cluster variety called the cluster symplectic double and a
certain moduli space of local systems associated to a surface.
