Maxima 5.47.0