load("gr")$
load("primdec")$
end$