mv logalm5to11~ logalm5to11~~
mv logalm5to11 logalm5to11~
mv almgb5to11 almgb5to11~
mv almh5to11 almh5to11~
~joeb/GB/Devbm/V0.988/bin/alpha/largebergman <<%EOI >logalm5to11 &
(setmodulus 2) (setmaxdeg 12)
(ncpbhgroebner "lm5to11in" "almgb5to11" "almnil5to11" "almh5to11")
(interpbacktrace)
%EOF


