maxima-share: national-encoding [usr/share/maxima/5.46.0/share/test_batch_encodings/foo-ISO-8859-1.mac]
maxima-share: national-encoding [usr/share/maxima/5.46.0/share/test_batch_encodings/foo-ISO-8859-10.mac]
maxima-share: national-encoding [usr/share/maxima/5.46.0/share/test_batch_encodings/foo-ISO-8859-2.mac]
maxima-share: national-encoding [usr/share/maxima/5.46.0/share/test_batch_encodings/foo-ISO-8859-3.mac]
maxima-share: national-encoding [usr/share/maxima/5.46.0/share/test_batch_encodings/foo-ISO-8859-4.mac]
maxima-share: national-encoding [usr/share/maxima/5.46.0/share/test_batch_encodings/foo-ISO-8859-5.mac]
maxima-share: national-encoding [usr/share/maxima/5.46.0/share/test_batch_encodings/foo-ISO-8859-6.mac]
maxima-share: national-encoding [usr/share/maxima/5.46.0/share/test_batch_encodings/foo-ISO-8859-7.mac]
maxima-share: national-encoding [usr/share/maxima/5.46.0/share/test_batch_encodings/foo-ISO-8859-8.mac]
maxima-share: national-encoding [usr/share/maxima/5.46.0/share/test_batch_encodings/foo-ISO-8859-9.mac]
