$MAGMA
0.47

Short