hal/maxima archive