/*$OpenXM: OpenXM/rc/asirrc,v 1.4 2000/01/16 06:08:53 takayama Exp $*/
load("gr")$
load("primdec")$
load("katsura")$
load("xm")$
end$