Magma 1.10.2