[ANN] Magma 1.0r39