Maxima: 5.31.3

Closes #546.