mv man1res man1res~
mv logman1~ logman1~~
mv logman1 logman1~
../../bin/sun4/bergman <<%EOF >logman1 &
(NONCOMMIFY)
(LOAD anick)
(SETQ MAXDEG 4)
(ON CALCBETTI)
(ON ONFLYBETTI)
(SETQ ANICKRESOLUTIONOUTPUTFILE "man1res")
(off gc)
(SIMPLE)
vars x,y;
x*y;
(CALCULATEANICKRESOLUTIONTOLIMIT (GETMAXDEG))
(ANICKDISPLAY)
(interpbacktrace)
(quit)
%EOF
