/*$OpenXM: OpenXM/rc/asirrc,v 1.3 1999/12/15 05:54:23 takayama Exp $*/
load("gr")$
load("primdec")$
load("xm")$
end$