graphs -- Appendix: The Magma language.