maxima_47_2_.