mv logxlm5to11~ logxlm5to11~~
mv logxlm5to11 logxlm5to11~
mv xlmgb5to11 xlmgb5to11~
mv xlmh5to11 xlmh5to11~
~joeb/GB/Devbm/V0.988/bin/Linux_elf/largebergman <<%EOI >logxlm5to11 &
(setmodulus 2)
(ncpbhgroebner "lm5to11in" "xlmgb5to11" "xlmnil5to11" "xlmh5to11")
(interpbacktrace)
%EOF


