4 files changed, 2305 insertions, 0 deletions

diff --git a/math/open-axiom/Makefile b/math/open-axiom/Makefile
new file mode 100644
index 000000000000..194c6f7fbe19
--- /dev/null
+++ b/math/open-axiom/Makefile
@@ -0,0 +1,31 @@
+# New ports collection makefile for:	open-axiom
+# Date created:		12 October 2008
+# Whom:			stephen@math.missouri.edu
+#
+# $FreeBSD$
+#
+
+PORTNAME=	open-axiom
+PORTVERSION=	1.2.0
+CATEGORIES=	math
+MASTER_SITES=	SF
+
+MAINTAINER=	stephen@math.missouri.edu
+COMMENT=	A computer algebra system
+
+BUILD_DEPENDS=	clisp:${PORTSDIR}/lang/clisp \
+		noweb:${PORTSDIR}/devel/noweb
+LIB_DEPENDS=	readline:${PORTSDIR}/devel/readline \
+		sigsegv:${PORTSDIR}/devel/libsigsegv
+
+USE_BZIP2=	yes
+GNU_CONFIGURE=	yes
+CONFIGURE_ARGS=	--with-lisp=clisp
+USE_GMAKE=	yes
+USE_XORG=	x11 ice sm xpm
+USE_ICONV=	yes
+USE_GETTEXT=	yes
+
+PLIST_SUB=	AXIOM_VER=${PORTVERSION} GNU_HOST=${CONFIGURE_TARGET}
+
+.include <bsd.port.mk>
diff --git a/math/open-axiom/distinfo b/math/open-axiom/distinfo
new file mode 100644
index 000000000000..a02ce668c6e6
--- /dev/null
+++ b/math/open-axiom/distinfo
@@ -0,0 +1,3 @@
+MD5 (open-axiom-1.2.0.tar.bz2) = 28acbcd6f8f0874ec8b79138c6de4e40
+SHA256 (open-axiom-1.2.0.tar.bz2) = 2cd5edfa480279775f8450ef1d29574d1ba94a5035c7854163fe73959edd01f7
+SIZE (open-axiom-1.2.0.tar.bz2) = 11593549
diff --git a/math/open-axiom/pkg-descr b/math/open-axiom/pkg-descr
new file mode 100644
index 000000000000..48b7862cc701
--- /dev/null
+++ b/math/open-axiom/pkg-descr
@@ -0,0 +1,6 @@
+OpenAxiom is an open source platform for symbolic, algebraic, and numerical
+computations. It offers an interactive environment, an expressive programming
+language, a compiler, a large set of mathematical libraries of interest to
+researchers and practitioners of computational sciences.
+
+WWW: http://www.open-axiom.org
diff --git a/math/open-axiom/pkg-plist b/math/open-axiom/pkg-plist
new file mode 100644
index 000000000000..ead594f30576
--- /dev/null
+++ b/math/open-axiom/pkg-plist
@@ -0,0 +1,2265 @@
+bin/open-axiom
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/A1AGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/A1AGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ABELGRP-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ABELGRP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ABELMON-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ABELMON.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ABELSG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ABELSG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ACF-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ACF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ACFS-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ACFS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ACPLOT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AHYP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGEBRA-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGEBRA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGFACT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGFF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGMANIP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGMFACT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGPKG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGSC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALIST.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AMR-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AMR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ANON.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ANTISYM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ANY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ANY1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/APPLYORE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/APPRULE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARR2CAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARR2CAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARRAY1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARRAY12.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARRAY2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP10.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP12.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP19.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP20.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP24.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP27.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP28.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP29.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP30.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP31.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP33.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP34.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP35.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP4.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP41.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP42.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP49.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP50.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP55.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP6.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP7.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP73.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP74.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP77.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP78.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP8.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP80.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP9.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASSOCEQ.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASTACK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASTCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATRIG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATRIG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATTRBUT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATTREG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AUTOMOR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BALFACT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BASTYPE-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BASTYPE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BBTREE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BEZOUT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BFUNCT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BGAGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BGAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BINARY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BINDING.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BINFILE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BITS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BMODULE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BOOLEAN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BOP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BOP1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BOUNDZRO.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BPADIC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BPADICRT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BRAGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BRAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BRILL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BSTREE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BTAGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BTAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BTCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BTCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BTOURN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BTREE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BYTE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BYTEARY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CABMON.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CACHSET.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CARD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CARTEN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CARTEN2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CATEGORY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CCLASS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CDEN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CFCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CHAR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CHARNZ.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CHARPOL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CHARZ.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CHVAR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CINTSLPE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CLAGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CLAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CLIF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CLIP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CMPLXRT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COLOR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMBF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMBINAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMBOPC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMMONOP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMMUPC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPFACT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPLEX.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPLEX2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPLPAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPPROP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMRING.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CONTFRAC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CONTOUR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COORDSYS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CPIMA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CPMATCH.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CRAPACK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CRFP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CSTTOOLS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CTORCALL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CTRIGMNP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CVMP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CYCLES.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CYCLOTOM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AGNT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AJFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AKFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01ALFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AMFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01ANFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01APFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AQFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01ASFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01FCFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01GBFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01TRNS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01WGTS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02AGNT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02BBFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02BHFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02CJFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02EJFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D03AGNT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D03EEFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D03FAFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DBASE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DBLRESP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DDFACT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DECIMAL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DEFINTEF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DEFINTRF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DEGRED.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DEPENDENTS.DAASE/index.KAF
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DEQUEUE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DERHAM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DFINTTLS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DFLOAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DFSFUN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DHMATRIX.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIAGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFEXT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFEXT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFRING-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFRING.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIOPS-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIOPS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIOSP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIRPCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIRPCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIRPROD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIRPROD2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DISPLAY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIVRING-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIVRING.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DLAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DLIST.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DLP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DMP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DOMAIN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DPMM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DPMO.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DPOLCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DPOLCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DQAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DRAW.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DRAWCFUN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DRAWCURV.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DRAWCX.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DRAWHACK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DRAWPT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DROPT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DROPT0.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DROPT1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DSMP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DVARCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DVARCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04AGNT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04DGFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04FDFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04GCFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04JAFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04MBFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04NAFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04UCFA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EAB.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EFSTRUC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EFULS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EFUPXS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELABEXPR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELAGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELEMFUN-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELEMFUN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELFUTS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELTAB.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELTAGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELTAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EMR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ENTIRER.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ENV.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EQ.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EQ2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EQTBL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ERROR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ES-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ES.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ES1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ES2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESCONT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESCONT1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESTOOLS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESTOOLS1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESTOOLS2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EUCDOM-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EUCDOM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EVALAB-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EVALAB.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EVALCYC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXIT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPEXPAN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPR2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPR2UPS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPRODE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPRTUBE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPUPXS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FACTFUNC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FACUTIL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAGROUP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAMONC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAMONOID.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAMR-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAMR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FARRAY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAXF-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAXF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FCOMP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FCPAK1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FDIV.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FDIV2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FDIVCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FDIVCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FEVALAB-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FEVALAB.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FEXPR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCAT2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCGP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCGX.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFHOM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFIELDC-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFIELDC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFINTBAS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFNB.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFNBP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFNBX.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFPOLY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFPOLY2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFSLPE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFX.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FGLMICPK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FGROUP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FIELD-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FIELD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FILE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FILECAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINAALG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINAALG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINITE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINRALG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINRALG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLAGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLAGG2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLALG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLASORT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLINEXP-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLINEXP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLOAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLOATCP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLOATRP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FM1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMFUN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMONOID.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMTC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FNAME.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FNCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FNLA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FOP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORDER.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORMULA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORMULA1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORTCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORTFN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORTRAN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPARFRAC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPATMAB.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPC-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPS-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FR2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRAC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRAC2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRAMALG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRAMALG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRETRCT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRETRCT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRIDEAL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRIDEAL2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRMOD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRNAAF2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRNAALG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRNAALG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRUTIL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FS-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FS2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FS2EXPXP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FS2UPS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSAGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSAGG2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSCINT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSERIES.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSINT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSPECF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSPRMELT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSRED.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FST.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSUPFACT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FTEM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FUNCTION.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FVC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FVFUN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GALFACT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GALFACTU.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GALPOLYU.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GALUTIL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GAUSSFAC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GB.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GBEUCLID.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GBF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GBINTERN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GCDDOM-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GCDDOM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GCNAALG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GDMP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GENEEZ.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GENMFACT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GENPGCD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GENUFACT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GENUPS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GHENSEL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GMODPOL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GOSPER.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GPOLSET.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GRALG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GRALG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GRAY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GRDEF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GRIMAGE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GRMOD-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GRMOD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GROEBSOL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GROUP-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GROUP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GSERIES.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GSTBL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GTSET.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HACKPI.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HASHTBL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HB.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HDMP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HDP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HEAP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HELLFDIV.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HEUGCD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HEXADEC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HOAGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HOAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HYPCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HYPCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IALGFACT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IAN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IARRAY1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IARRAY2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IBACHIN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IBATOOL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IBITS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IBPTOOLS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ICARD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ICDEN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDEAL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDECOMP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPAG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPAM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPO.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPOAM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPOAMS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IEVALAB-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IEVALAB.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IFAMON.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IFARRAY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IFF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IIARRAY2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ILIST.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IMATLIN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IMATQF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IMATRIX.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INBFF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INCRMAPS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INDE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INEP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INFINITY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INFORM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INFORM1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INFPROD0.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INFSP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INMODGCD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INNMFACT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INPRODFF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INPRODPF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INPSIGN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INS-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTABL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTAF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTALG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTBIT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTDOM-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTDOM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTEF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTFACT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTFTBL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTG0.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTHEORY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTHERAL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTHERTR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTPACK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTPAF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTPM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTRAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTRET.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTRF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTRVL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTSLPE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTTOOLS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTTR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INVLAPLA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IPADIC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IPF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IPRNTPK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IR2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IR2F.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IROOT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IRREDFFX.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IRRF2F.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IRSN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IRURPK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ISTRING.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ISUMP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ISUPS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITAYLOR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITFUN2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITFUN3.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITRIGMNP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITUPLE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IVECTOR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IXAGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IXAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/JAVACODE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/JORDAN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KAFILE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KDAGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KDAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KERNEL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KERNEL2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KOERCE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KONVERT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KOVACIC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LALG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LALG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LAPLACE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LAUPOL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LAZM3PK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LEADCDET.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LEXP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LEXTRIPK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LFCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LGROBP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIB.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIECAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIECAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIMITPS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIMITRF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LINDEP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LINEXP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIST.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIST2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIST2MAP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIST3.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LMDICT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LMODULE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LMOPS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LNAGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LNAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LO.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODEEF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODO.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODO1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODO2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODOCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODOCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODOF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODOOPS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LOGIC-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LOGIC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LPEFRAC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LPOLY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSAGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSMP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSMP1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSPP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSQM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LWORD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LZSTAGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LZSTAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/M3D.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAGMA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPHACK1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPHACK2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPHACK3.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPPKG1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPPKG2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPPKG3.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATCAT2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATLIN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATRIX.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATSTOR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MCALCFN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MCDEN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MCMPLX.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MDAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MDDFACT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MESH.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MFINFACT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MFLOAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MHROWRED.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MINT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKBCFUNC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKCHSET.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKFLCFN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKFUNC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKRECORD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKUCFUNC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MLIFT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MLO.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MMAP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MMLFORM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MODFIELD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MODMON.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MODMONOM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MODOP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MODRING.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MODULE-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MODULE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MOEBIUS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONAD-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONAD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONADWU-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONADWU.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOGEN-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOGEN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOID-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOID.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOTOOL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MPC2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MPC3.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MPCPF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MPOLY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MPRFF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MRATFAC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MRF2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MRING.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MSET.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MSETAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MSYSCMD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MTHING.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MTSCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MULTFACT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MULTSQFR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAALG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAALG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGC02.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGC05.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGC06.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGD01.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGD02.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGD03.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGE01.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGE02.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGE04.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGF01.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGF02.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGF04.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGF07.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGSP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NARNG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NARNG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NASRING-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NASRING.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NCEP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NCNTFRAC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NCODIV.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NFINTBAS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NIPROB.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NLINSOL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NNI.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NODE1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NONE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NONE1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NORMMA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NORMPK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NORMRETR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NPCOEF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NREP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NSMP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NSUP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NSUP2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NTPOLFN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NTSCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMERIC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMFMT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMINT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMODE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMQUAD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMTUBE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OAGROUP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OAMON.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OAMONS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OASGP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OC-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OCAMON.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OCT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OCTCT2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODECAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODECONST.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEEF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEIFTBL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEINT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPACK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPAL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPRIM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPROB.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPRRIC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODERAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODERED.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODERTRIC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODESYS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODETOOLS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODPOL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODVAR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OFMONOID.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OINTDOM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMCONN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMDEV.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMENC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMERR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMERRK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMEXPR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMLO.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMPKG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMSAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMSERVER.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ONECOMP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ONECOMP2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPQUERY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPTCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPTPACK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPTPROB.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDCOMP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDCOMP2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDFIN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDFUNS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDMON.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDRING-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDRING.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDSET-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDSET.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OREPCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OREPCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OREPCTO.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORESUP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OREUP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORTHPOL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OSGROUP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OSI.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OUT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OUTFORM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OVAR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OWP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PADE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PADEPAC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PADIC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PADICCT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PADICRAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PADICRC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PAIR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PALETTE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PAN2EXPR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARPC2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARPCURV.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARSC2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARSCURV.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARSER.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARSU2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARSURF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARTPERM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATAB.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATLRES.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATMAB.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATMATCH.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATRES.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATRES2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATTERN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATTERN1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATTERN2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PBWLB.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PCOMP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDECAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDECOMP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDEPACK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDEPROB.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDRING-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDRING.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PENDTREE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PERM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PERMAN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PERMCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PERMGRP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFBR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFBRU.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFECAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFECAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFO.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFOQ.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFOTOOLS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFRPAC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PGCD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PGE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PGROEB.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PI.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PICOERCE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PID.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PINTERP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PINTERPA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PLEQN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PLOT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PLOT1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PLOT3D.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PLOTTOOL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMASS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMASSFS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMDOWN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMFS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMINS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMKERNEL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMLSAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMPLCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMPRED.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMPREDFS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMQFCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMSYM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMTOOLS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PNTHEORY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POINT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLTOPOL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLUTIL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLY2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLY2UP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLYCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLYCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLYCATQ.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLYLIFT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLYROOT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PPCURVE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PREASSOC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRIMARR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRIMARR2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRIMCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRIMELT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRIMES.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRINT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRODUCT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PROPERTY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PROPFRML.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PROPLOG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRQAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRTITION.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSCURVE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSETCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSETCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSETPK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSEUDLIN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSQFR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PTCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PTFUNC2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PTPACK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PTRANFN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PUSHVAR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PWFFINTB.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QALGSET.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QALGSET2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QCMPACK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QEQUAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QFCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QFCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QFCAT2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QFORM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QUAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QUAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QUATCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QUATCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QUATCT2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QUEUE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RADCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RADCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RADFF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RADIX.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RADUTIL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RANDSRC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RATFACT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RATRET.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RCAGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RCAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RCFIELD-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RCFIELD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDEEF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDEEFS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDETR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDETRS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDIST.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDIV.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REAL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REAL0.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REAL0Q.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REALSOLV.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RECLOS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REDORDER.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REGSET.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REP1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REP2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REPDB.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REPSQ.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RESLATC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RESRING.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RESULT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RETRACT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RETRACT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RETSOL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RFDIST.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RFFACT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RFFACTOR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RGCHAIN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RIDIST.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RING-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RING.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RMATCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RMATCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RMATRIX.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RMCAT2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RMODULE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RNG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RNS-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RNS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ROIRC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ROMAN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ROUTINE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RPOLCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RPOLCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RRCC-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RRCC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RSDCMPK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RSETCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RSETCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RSETGCD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RULE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RULECOLD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RULESET.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RURPK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SAE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SAEFACT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SAERFFC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SAOS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SCACHE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SCOPE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SCPKG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SDPOL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SDVAR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEG2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEGBIND.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEGBIND2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEGCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEGXCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SET.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SETAGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SETAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SETCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SETCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SETMN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEX.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEXCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEXOF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SFORT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SFQCMPK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SFRGCD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SFRTCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SGCF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SGROUP-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SGROUP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SHDP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SHP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SIG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SIGNEF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SIGNRF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SIMPAN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SINT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SKAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SMATCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SMATCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SMITH.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SMP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SMTS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SNTSCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SOLVEFOR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SOLVERAD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SOLVESER.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SOLVETRA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SORTPAK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPACE3.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPACEC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPADPRSR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPECOUT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPFCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPLNODE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPLTREE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SQMATRIX.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SRAGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SRAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SRDCMPK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SREGSET.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STACK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STAGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STBL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STEP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STINPROD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STREAM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STREAM1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STREAM2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STREAM3.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STRICAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STRING.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STRTBL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STTAYLOR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STTF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STTFNC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUBRESP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUBSPACE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUCH.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SULS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUMFS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUMRF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUP2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUPFRACF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUPXS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUTS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SWITCH.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMBOL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMFUNC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMPOLY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMTAB.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYNTAX.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYSSOLP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYSTEM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TABLBUMP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TABLE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TABLEAU.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TANEXP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TBAGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TBAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TBCMPPK.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TEMUTL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TEX.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TEX1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TEXTFILE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TOOLSIGN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TOPSP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TRANFUN-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TRANFUN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TREE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TRIGCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TRIGCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TRIGMNIP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TRIMAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TRMANIP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TSETCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TSETCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TUBE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TUBETOOL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TUPLE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TWOFACT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TYPE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UDPO.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UDVO.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UFD-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UFD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ULS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ULS2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ULSCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ULSCCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ULSCCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ULSCONS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UNIFACT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UNISEG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UNISEG2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UP2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPCDEN.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPDECOMP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPDIVP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPMP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPOLYC-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPOLYC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPOLYC2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPSCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPSCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPSQFREE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPXS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPXS2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPXSCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPXSCCA-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPXSCCA.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPXSCONS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPXSSING.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/URAGG-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/URAGG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/USERS.DAASE/index.KAF
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UTS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UTS2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UTSCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UTSCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UTSODE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UTSODETL.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UTYPE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VARIABLE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VECTCAT-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VECTCAT.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VECTOR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VECTOR2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VIEW.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VIEW2D.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VIEW3D.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VIEWDEF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VOID.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VSPACE-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VSPACE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WEIER.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WFFINTBS.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WUTSET.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XALG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XDPOLY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XEXPPKG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XF-.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XF.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XFALG.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XPBWPOLY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XPOLY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XPOLYC.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XPR.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XRPOLY.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/YSTREAM.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ZDSOLVE.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ZLINDEP.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ZMOD.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/browse.daase
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/category.daase
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/comdb.text
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/compress.daase
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/exposed.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/exposed.lib
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/interp.daase
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/libdb.text
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/operation.daase
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/ax.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/def.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/mark.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/nspadaux.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/pspad1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/pspad2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/wi1.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/wi2.fas
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/bin/AXIOMsys
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/bin/asq
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/bin/bootsys
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/bin/clef
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/bin/sman
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/bin/viewAlone
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/spiral.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/sqmatrix.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/explot3d.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/sregset.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/explot2d.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/algaggr.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/algbrbf.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/algfacob.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/alist.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/allfact.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/antoine.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/arith.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/array1.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/array2.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/arrows.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/asec.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/aseg6.as
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/aseg7.as
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/assign.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/atansqrt.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/axiom.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bags.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bbtree.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bern.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bernpoly.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/binary.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bop.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bouquet.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bstree.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bug10069.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bug10312.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bug6357.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bug9057.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bugs.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/calculus.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/calculus2.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/card.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/cardinal.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/carten.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/cclass.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/cdraw.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ch.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/char.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/clif.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/clifford.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/coercels.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/collect.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/color.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/complex.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/cone.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/conformal.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/constant.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/contfrac.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/contfrc.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/coordsys.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/curl.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/cycles.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/cycles1.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/cycloid.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/cycloid2.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/cycloid3.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/cyfactor.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/damped.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/danzwill.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/de2re.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/decimal.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/defintef.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/defintrf.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/defs.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/derham.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/dfloat.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/dhtri.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/divisor.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/dmp.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/dpol.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/draw.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/draw2dSF.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/drawalg.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/drawcfn.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/drawcfun.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/drawcurv.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/drawcx.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/drawex.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/drawpoly.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/drawx.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/easter.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ecfact.as
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/efi.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/egg.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/eigen.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/elemfun.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/elemnum.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/elfuts.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/elt.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/eq.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/eqtbl.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/equation.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/equation2.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/errortrap.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/eval.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/evalex.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/exdiff.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/exint.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/exit.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/exlap.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/exlimit.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/expexpan.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/explim.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/expr.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/expr1.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/exprode.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/exprpoly.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/exseries.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/exsum.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/farray.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ffdemo.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fferr.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ffrac.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ffx72.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fib.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/file.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fixed.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/float.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/float1.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/float2.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fname.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fname1.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fnla.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fns.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/folium.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fparfrac.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fparfrc.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fr.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fr1.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fr2.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/frac.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/function.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/galois.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/gary1.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/gbf.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/genups.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/gnarly1.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/gonshor.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/grdef.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/grpthry.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/gstbl.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/heap.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/heat.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/helix.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/help.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/herm.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/hexadec.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/hilbert.as
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/huang.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ico.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ideal.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ifact.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/images1.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/images1a.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/images3.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/images3a.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/images6.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/images6a.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/images7.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/images7a.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/infprod.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/int.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/intaf.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/intdeq.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/intef.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/intef2.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/intg0.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/intheory.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/intlf.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/intmix.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/intmix2.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/intrf.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ipftest.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/is.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/isprime.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/kafile.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/kernel.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/knot.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/knot2.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/kovacic.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/kuipers.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/laplace.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/leg.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lexp.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lextripk.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lib.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/limit.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/linalg.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lindep.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/liss1.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/liss2.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/list.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lode.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lodesys.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lodo.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lodo1.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lodo2.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lodo3.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lodof.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/loop.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lpoly.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lump.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lupfact.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lword.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/macbug.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/macros.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/magma.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/mapleok.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/mappkg1.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/marcbench.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/matbug.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/matops.as
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/matrix.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/matrix1.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/matrix22.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/mfinfact.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/mkfunc.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/mountain.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/mpoly.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/mset.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/mset2.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/mult3d.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/multKnot.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/multfact.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/multiple.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ndftip.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/negfloats.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/nepip.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/newlodo.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/newton.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/nlode.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/none.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/noonburg.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/noptip.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/nqip.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/nsfip.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ntube.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/numbers.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/oct.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/octonion.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ode.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/odpol.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/op.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/op1.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/opalg.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/operator.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ovar.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/padic.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/palette.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/parabola.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/parpcurv.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/parscurv.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/parsurf.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/pascal.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/pascal1.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/pat.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/patmatch.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/pdecomp0.as
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/perm.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/perman.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/pfr.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/pfr1.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/pinch.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/plotfile.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/pmint.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/pollevel.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/poly.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/poly1.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/polycoer.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/psgenfcn.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/quat.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/quat1.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/r20abugs.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/r20bugs.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/r21bugs.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/r21bugsbig.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/radff.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/radix.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/realclos.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/reclos.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/reductio.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/regset.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/repa6.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ribbon.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ribbons.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ribbonsNew.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/rk4draw.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/robidoux.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/roman.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/romnum.as
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/roots.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/rules.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ruleset.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/saddle.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/scherk.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/scope.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/seg.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/segbind.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/series.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/series2.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/sersolve.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/set.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/sinCosEx.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/sininv.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/sinsin.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/sinsin2.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/sint.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/skew.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/slowint.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/solvetra.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/space3.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/spadprof.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/stbl.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/stream.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/stream2.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/streams.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/string.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/strtbl.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/symbol.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/synonym.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/synonym2.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/t111293.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/table.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tanatan.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/test.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tetra.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/textfile.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tknot.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/torus.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tree.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/triglim.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tschirn.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tsetcatbutcher.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tsetcatchemical.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tsetcatvermeer.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tutchap1.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tutchap2.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tutchap3.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tutchap4.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tutchap67.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/typo.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/uniseg.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/up.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/vector.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/vectors.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/viewdef.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/void.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/wiggle.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/wutset.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/xpbwpoly.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/xpoly.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/xpr.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/zdsolve.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/zimmer.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/zlindep.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/command.list
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/copyright
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/ex2ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/htadd
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/hypertex
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/libopen-axiom-core.a
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/libopen-axiom-core.so
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/session
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/spadbuf
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/spadclient
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/summary
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/view2D
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/view3D
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/viewman
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Al.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ClickToSet.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Continue.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/DoIt.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Im.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Re.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xdesp.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xfbox.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xfcirc.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xfullbox.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xfullcirc.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xfullfbox.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xfullfcirc.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xgreybox.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xgreycirc.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xgreyfbox.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xgreyfcirc.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xhappy.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xnobox.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xnocirc.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xnoface.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xopenbox.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xopencirc.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xopenfbox.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xopenfcirc.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xperv.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xsad.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xtickbox.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xtickcirc.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xtickfbox.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xtickfcirc.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xxbox.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xxcirc.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xxfbox.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xxfcirc.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/aTx=b.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ai.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/aleph.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/alpha.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/alpha.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/alphaj.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/angle.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/anna_logo.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/axiom.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/axiom1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/back.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/backslash.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/beta.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/beta.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/betaj.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/bot.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/bullet.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/c02aff.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/c1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/chi.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ci.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/clear.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/clearall.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ctb.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d01aqf.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d01fcf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d01gaf1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d01gaf2.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d02gaf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d03edf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d03edf1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d03eef.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d03eef.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d03eef1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d03eef2.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d03faf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d03faf.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/del.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/delta-cap.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/delta.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/delta.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/div.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/door.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/dot.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/down.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/down3.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/dr.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e01baf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e01baf1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e01bef.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e01daf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e01daf1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02adf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02adf1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02aef.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02agf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02agf1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02ahf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02ahf1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02ajf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02baf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02bdf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02bef.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02daf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02daf1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e04fdf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e04fdf1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e04mbf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e04naf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e04ucf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ell.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/emptyset.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ep1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ep2.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/epi.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/epp.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/epsilon.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/epsilon.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/eqpage.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/erase.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/error.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/eta.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/exists.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/exit.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/exit3d.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/exit3d_old.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/exit3di.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/f01qcf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/f01qcf1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/f01qcf2.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/f01qcf3.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/f01qdf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/f01qdf1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/f01qdf2.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/f01rdf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/f01rdf1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/f01rdf2.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/fi.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/forall.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/fqr.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/fr.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/gamma-cap.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/gamma.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/gamma.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/gammak.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/gi.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/great=.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/hbar.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/help.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/help2.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/help3.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/help3d.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/help3d_old.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/help3di.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/home3d.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/home3d_old.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/home3di.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/imath.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/infty.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/infty.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ing.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ing1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ing2.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int1.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int10.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int11.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int12.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int13.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int2.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int3.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int4.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int5.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int6.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int7.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int8.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int9.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/integral.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/iota.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/jmath.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/kappa.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/l1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/lambda-cap.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/lambda.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/lamdab.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/lamdai.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/lamdaj.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ldlt.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/less=.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/lj.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/llt.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/lt.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/mask.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/menudot.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/mkm.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/mu.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/mui.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/muj.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/mx.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/my.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/nabla.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/naglogo.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ncap.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/neg.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/newrho.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/nl.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/nn.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/noop.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/noop3d.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/not=.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/notequal.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/notequal.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/nu.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/nx.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ny.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ode1.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ode2.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ode3.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/omega-cap.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/omega.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/omicron.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt1.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt2.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt2c.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt3.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt3c1.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt3c2.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt4.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt4c1.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt4c2.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt4c3.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt5.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt61.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt62.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt63.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/parallel.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/partial.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/pelzel.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/phi-cap.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/phi.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/phi.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/pi-cap.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/pi.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/pi.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/pick.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/pick_old.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/plusminus.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/prime.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/prod.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/psi-cap.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/psi.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/psi.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/px.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/py.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/quad.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/quit.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/return.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/return2.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/return3.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/rho.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/rho=r.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/rhosq=.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s13aaf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s13aaf1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s13aaf2.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s13acf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s13adf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s14baf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s15adf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s15aef.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17acf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17adf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17aef.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17aef1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17aff.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17aff1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17dcf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17def.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17dlf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17dlf1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17dlf2.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s18acf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s18acf1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s18adf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s18adf1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s18aef.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s18aef1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s18aff.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s18aff1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s18dcf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s18def.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s21baf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s21baf1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s21bbf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s21bbf1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s21bcf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s21bcf1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s21bdf.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s21bdf1.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/sdown.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/sdown3d.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/sdown3dpr.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/si-integral.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/sigma-cap.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/sigma.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/smile.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/source.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/subtwo.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/sum.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/sup.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/sup3d.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/sup3dpr.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/surd.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/tau.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/tear.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/theta-cap.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/theta.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/top.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/triangle.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/uij.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/uj.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/unpick.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/unpick_old.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/up.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/up2.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/up3.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/up3d.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/up3di.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/updots.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/upsilon-cap.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/upsilon.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/wr.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/x1.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xbar.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xe.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xi-cap.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xi.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xii.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xiii.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xj.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xmax.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xmin.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xq.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xr.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xs.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/y1.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/y2.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/y3.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ye.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/yi.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/yr.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ys.xbm
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/zeta.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/zetak.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/zk.bitmap
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ALIST.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ALIST.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ANNA-ES.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ANNA-ES.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ARRAY1.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ARRAY1.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ARRAY2.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ARRAY2.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/BBTREE.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/BBTREE.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/BINARY.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/BINARY.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/BOP.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/BOP.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/BSTREE.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/BSTREE.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CARD.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CARD.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CARTEN.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CARTEN.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CCLASS.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CCLASS.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CHAR.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CHAR.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CLIF.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CLIF.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/COMPLEX.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/COMPLEX.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CONTFRAC.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CONTFRAC.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CPHelp.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CYCLES.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CYCLES.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/DECIMAL.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/DECIMAL.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/DERHAM.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/DERHAM.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/DFLOAT.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/DFLOAT.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/DMP.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/DMP.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/EQ.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/EQ.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/EQTBL.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/EQTBL.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/EXIT.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/EXIT.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/EXPR.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/EXPR.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FARRAY.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FARRAY.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FILE.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FILE.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FLOAT.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FLOAT.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FNAME.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FNAME.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FPARFRAC.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FPARFRAC.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FR.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FR.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FR2.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FR2.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FRAC.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FRAC.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/GBF.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/GBF.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/GSTBL.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/GSTBL.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HEAP.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HEAP.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HEXADEC.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HEXADEC.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXAdvPage1.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXAdvPage2.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXAdvPage3.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXAdvPage4.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXAdvPage5.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXAdvPage6.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXAdvTopPage.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXFormatPage1.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXFormatPage2.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXFormatPage3.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXFormatPage4.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXFormatPage5.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXFormatPage6.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXFormatPage7.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXFormatPage8.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXFormatTopPage.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXIntroPage1.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXIntroPage2.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXIntroPage3.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXIntroTopPage.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXLinkPage1.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXLinkPage2.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXLinkPage3.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXLinkPage4.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXLinkPage5.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXLinkPage6.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXLinkTopPage.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXTopPage.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXTryPage.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXplay.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/INT.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/INT.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/INTHEORY.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/INTHEORY.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/KAFILE.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/KAFILE.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/KERNEL.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/KERNEL.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LAZM3PK.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LAZM3PK.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LEXP.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LEXP.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LEXTRIPK.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LEXTRIPK.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LIB.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LIB.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LIST.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LIST.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LODO.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LODO.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LODO1.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LODO1.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LODO2.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LODO2.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LPOLY.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LPOLY.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LWORD.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LWORD.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/Link.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MAGMA.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MAGMA.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MAPPKG1.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MAPPKG1.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MATRIX.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MATRIX.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MKFUNC.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MKFUNC.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MPOLY.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MPOLY.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MSET.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MSET.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/NONE.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/NONE.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/OCT.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/OCT.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ODPOL.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ODPOL.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/OP.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/OP.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/OVAR.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/OVAR.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/PERMAN.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/PERMAN.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/PFR.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/PFR.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/POLY.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/POLY.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/QUAT.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/QUAT.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/RADIX.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/RADIX.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/RECLOS.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/RECLOS.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/REGSET.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/REGSET.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ROMAN.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ROMAN.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SEG.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SEG.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SEGBIND.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SEGBIND.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SET.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SET.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SINT.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SINT.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SQMATRIX.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SQMATRIX.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SREGSET.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SREGSET.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/STBL.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/STBL.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/STREAM.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/STREAM.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/STRING.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/STRING.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/STRTBL.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/STRTBL.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SYMBOL.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SYMBOL.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/TABLE.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/TABLE.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/TEXTFILE.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/TEXTFILE.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/UNISEG.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/UNISEG.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/UP.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/UP.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/VECTOR.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/VECTOR.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/VOID.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/VOID.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/WUTSET.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/WUTSET.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/XPBWPOLY.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/XPBWPOLY.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/XPOLY.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/XPOLY.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/XPR.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/XPR.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ZDSOLVE.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ZDSOLVE.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ZLINDEP.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ZLINDEP.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/algebra.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/aspex.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/basic.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/bmcat.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/coverex.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/coverex.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/evalex.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/evalex.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exdiff.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exdiff.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exint.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exint.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exlap.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exlap.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exlimit.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exlimit.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exmatrix.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exmatrix.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/explot2d.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/explot2d.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/explot3d.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/explot3d.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/expose.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exseries.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exseries.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exsum.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exsum.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/function.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/function.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/gloss.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/graphics.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/graphics.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/grpthry.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/grpthry.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/help.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ht.db
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/hyperdoc.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/man0.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/mapping.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/nagaux.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/nagc.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/nagd.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/nage.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/nagf.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/nagm.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/nags.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/nagx.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/newuser.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/numbers.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/numbers.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/patch.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/polys.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/polys.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/record.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/releaseNotes.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/rootpage.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/srchkey.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/topics.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/type.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug00.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug01.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug01.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug02.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug02.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug03.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug03.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug04.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug04.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug05.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug05.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug06.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug06.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug07.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug07.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug08.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug08.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug10.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug10.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug11.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug11.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug12.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug12.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug13.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug13.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug14.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug15.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug15.pht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug16.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug21.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/union.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/util.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/xmpexp.ht
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/msgs/s2-us.msgs
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/timestamp
+@dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DEPENDENTS.DAASE
+@dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/USERS.DAASE
+@dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra
+@dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload
+@exec mkdir -p %D/lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/bin/.libs
+@dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/bin/.libs
+@dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/bin
+@dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input
+@exec mkdir -p %D/lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/.libs
+@dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/.libs
+@exec mkdir -p %D/lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph
+@dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph
+@dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib
+@dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps
+@dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages
+@dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex
+@dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/msgs
+@dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share
+@dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%
+@dirrm lib/open-axiom/%%GNU_HOST%%
+@dirrm lib/open-axiom