(setmaxdeg 5)
(setq nmodgen 1)
%(setq anickresolutionoutputfile "test_bergman/leftmodbtn.out")
(algforminput)
vars x,a; x*x, x*a;