/* [wxMaxima batch file version 1] [ DO NOT EDIT BY HAND! ]*/
/* [ Created with wxMaxima version 19.10.0-DevelopmentSnapshot ] */

/* Old versions of Maxima abort on loading files that end in a comment. */
"Created with wxMaxima 20.01.1"$
