1: \begin{abstract} 

2:   We give a graphical theory of integral indefinite binary Hamiltonian

3:   forms $f$ analogous to the one of Conway for binary quadratic forms

4:   and the one of Bestvina-Savin for binary Hermitian forms. Given a

5:   maximal order $\OOO$ in a definite quaternion algebra over $\QQ$, we

6:   define the {\em waterworld} of $f$, analogous to Conway's {\em

7:     river} and Bestvina-Savin's {\em ocean}, and use it to give a

8:   combinatorial description of the values of $f$ on $\OOO\times \OOO$.

9:   We use an appropriate normalisation of Busemann distances to the

10:   cusps (with an algebraic description given in an independent

11:   appendix), and the $\SLO$-equivariant Ford-Voronoi cellulation of

12:   the real hyperbolic $5$-space.

13: \footnote{{\bf Keywords:} binary Hamiltonian form, rational

14:     quaternion algebra, maximal order, Hamilton-Bianchi group,

15:     reduction theory, waterworld, hyperbolic $5$-space.~~ {\bf AMS

16:       codes: } 11E39, 20G20, 11R52, 53A35, 15A21, 11F06, 20H10}

17: \end{abstract}

18: