ports/137778: Update for math/open-axiom

Stephen Montgomery-Smith stephen at missouri.edu
Fri Aug 14 20:40:07 UTC 2009


>Number:         137778
>Category:       ports
>Synopsis:       Update for math/open-axiom
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          maintainer-update
>Submitter-Id:   current-users
>Arrival-Date:   Fri Aug 14 20:40:05 UTC 2009
>Closed-Date:
>Last-Modified:
>Originator:     Stephen Montgomery-Smith
>Release:        FreeBSD 7.2-STABLE i386
>Organization:
>Environment:
FreeBSD laptop3.gateway.2wire.net 8.0-BETA2 FreeBSD 8.0-BETA2 #0: Wed Aug  5 20:37:47 CDT 2009     stephen at laptop3.gateway.2wire.net:/usr/obj/usr/src/sys/LAPTOP3  amd64


	
>Description:
1.  open-axiom has updated to 1.3.0.
2.  It now builds with sbcl which was recently updated to 1.30.0.
	
>How-To-Repeat:
	
>Fix:

Please use the latest build of sbcl.



diff -ur /usr/ports/math/open-axiom/Makefile open-axiom/Makefile
--- /usr/ports/math/open-axiom/Makefile	2009-08-08 21:36:45.000000000 -0500
+++ open-axiom/Makefile	2009-08-14 14:29:25.000000000 -0500
@@ -6,21 +6,19 @@
 #
 
 PORTNAME=	open-axiom
-PORTVERSION=	1.2.1
+PORTVERSION=	1.3.0
 CATEGORIES=	math
 MASTER_SITES=	SF
 
 MAINTAINER=	stephen at missouri.edu
 COMMENT=	A computer algebra system
 
-BUILD_DEPENDS=	clisp:${PORTSDIR}/lang/clisp \
+BUILD_DEPENDS=	sbcl:${PORTSDIR}/lang/sbcl \
 		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
+CONFIGURE_ARGS=	--with-lisp=sbcl
 USE_GMAKE=	yes
 USE_XORG=	x11 ice sm xpm
 USE_ICONV=	yes
diff -ur /usr/ports/math/open-axiom/distinfo open-axiom/distinfo
--- /usr/ports/math/open-axiom/distinfo	2009-08-08 21:36:45.000000000 -0500
+++ open-axiom/distinfo	2009-08-14 14:28:57.000000000 -0500
@@ -1,3 +1,3 @@
-MD5 (open-axiom-1.2.1.tar.bz2) = 491b46f56ce30b7b29b994799f69fdfa
-SHA256 (open-axiom-1.2.1.tar.bz2) = dd867fd8639ce8599bd52b793c04e62e88d398e9dd7de3a0599e24bc432573a8
-SIZE (open-axiom-1.2.1.tar.bz2) = 11603067
+MD5 (open-axiom-1.3.0.tar.bz2) = 4715756a9b325ec3e00e511eb0cf5e11
+SHA256 (open-axiom-1.3.0.tar.bz2) = 5c35d0c8b6da17ff2254d833c5f6694d3f5d49064e312e61719cdeb386f888c4
+SIZE (open-axiom-1.3.0.tar.bz2) = 11821857
diff -ur /usr/ports/math/open-axiom/pkg-plist open-axiom/pkg-plist
--- /usr/ports/math/open-axiom/pkg-plist	2009-08-08 21:36:45.000000000 -0500
+++ open-axiom/pkg-plist	2009-08-09 13:21:13.000000000 -0500
@@ -1,1208 +1,1297 @@
 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/ADDAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARITY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASTCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATTRAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BYTEBUF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BYTEORD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CAPSLAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CASEAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CATAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CATCTOR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CLLCTAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COLONAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMMAAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CONDUIT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CRCEAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CTOR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CTORCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CTORCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CTORKIND.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DATAARY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DEFAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DOMCTOR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DOMTMPLT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXITAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FCTRDATA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FUNDESC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HASAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HOMOTOP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HOSTNAME.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDENT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IFAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IMPTAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INBCON-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INBCON.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INBFILE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INETCLTS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INT16.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INT32.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INT64.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INT8.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IOBCON.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IOBFILE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IOMODE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IP4ADDR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ISAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/JOINAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KRCFROM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KTVLOGIC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KVTFROM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LETAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LINSET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LITERAL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LLINSET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSTAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MACROAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPPAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAYBE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NETCLT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPERCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPERCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPSIG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OUTBCON-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OUTBCON.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OUTBFILE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OVERSET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PORTNUM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRTDAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QQUTAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDUCEAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RETAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RGBCMDL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RGBCSPC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RLINSET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RPTAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RSTRCAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RTVALUE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SASTCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEGAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEQAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SIGAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPADAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPADXPT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUCHTAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYSINT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYSNNI.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TYPEAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UINT16.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UINT32.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UINT64.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UINT8.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WHEREAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WHILEAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/A1AGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/A1AGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ABELGRP-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ABELGRP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ABELMON-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ABELMON.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ABELSG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ABELSG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ACF-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ACF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ACFS-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ACFS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ACPLOT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AHYP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGEBRA-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGEBRA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGFACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGFF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGMANIP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGMFACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGPKG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGSC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALIST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AMR-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AMR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ANON.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ANTISYM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ANY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ANY1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/APPLYORE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/APPRULE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARR2CAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARR2CAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARRAY1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARRAY12.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARRAY2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP10.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP12.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP19.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP20.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP24.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP27.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP28.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP29.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP30.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP31.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP33.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP34.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP35.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP4.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP41.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP42.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP49.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP50.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP55.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP6.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP7.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP73.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP74.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP77.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP78.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP8.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP80.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP9.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASSOCEQ.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASTACK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASTCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATRIG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATRIG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATTRBUT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATTREG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AUTOMOR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BALFACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BASTYPE-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BASTYPE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BBTREE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BEZOUT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BFUNCT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BGAGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BGAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BINARY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BINDING.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BITS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BMODULE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BOOLEAN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BOP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BOP1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BOUNDZRO.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BPADIC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BPADICRT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BRAGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BRAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BRILL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BSTREE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BTAGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BTAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BTCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BTCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BTOURN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BTREE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BYTE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CABMON.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CACHSET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CARD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CARTEN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CARTEN2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CATEGORY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CCLASS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CDEN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CFCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CHAR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CHARNZ.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CHARPOL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CHARZ.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CHVAR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CINTSLPE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CLAGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CLAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CLIF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CLIP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CMPLXRT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COLOR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMBF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMBINAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMBOPC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMMONOP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMMUPC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPFACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPLEX.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPLEX2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPLPAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPPROP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMRING.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CONTFRAC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CONTOUR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COORDSYS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CPIMA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CPMATCH.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CRAPACK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CRFP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CSTTOOLS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CTORCALL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CTRIGMNP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CVMP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CYCLES.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CYCLOTOM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AGNT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AJFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AKFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01ALFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AMFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01ANFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01APFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AQFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01ASFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01FCFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01GBFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01TRNS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01WGTS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02AGNT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02BBFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02BHFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02CJFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02EJFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D03AGNT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D03EEFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D03FAFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DBASE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DBLRESP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DDFACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DECIMAL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DEFINTEF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DEFINTRF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DEGRED.fasl
 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/HEADAST.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/RINTERP.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/DEQUEUE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DERHAM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DFINTTLS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DFLOAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DFSFUN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DHMATRIX.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIAGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFEXT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFEXT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFRING-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFRING.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIOPS-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIOPS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIOSP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIRPCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIRPCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIRPROD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIRPROD2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DISPLAY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIVRING-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIVRING.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DLAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DLIST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DLP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DMP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DOMAIN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DPMM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DPMO.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DPOLCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DPOLCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DQAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DRAW.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DRAWCFUN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DRAWCURV.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DRAWCX.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DRAWHACK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DRAWPT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DROPT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DROPT0.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DROPT1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DSMP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DVARCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DVARCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04AGNT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04DGFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04FDFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04GCFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04JAFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04MBFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04NAFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04UCFA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EAB.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EFSTRUC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EFULS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EFUPXS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELABEXPR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELAGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELEMFUN-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELEMFUN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELFUTS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELTAB.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELTAGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELTAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EMR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ENTIRER.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ENV.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EQ.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EQ2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EQTBL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ERROR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ES-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ES.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ES1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ES2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESCONT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESCONT1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESTOOLS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESTOOLS1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESTOOLS2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EUCDOM-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EUCDOM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EVALAB-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EVALAB.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EVALCYC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXIT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPEXPAN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPR2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPR2UPS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPRODE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPRTUBE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPUPXS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FACTFUNC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FACUTIL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAGROUP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAMONC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAMONOID.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAMR-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAMR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FARRAY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAXF-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAXF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FCOMP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FCPAK1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FDIV.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FDIV2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FDIVCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FDIVCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FEVALAB-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FEVALAB.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FEXPR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCAT2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCGP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCGX.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFHOM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFIELDC-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFIELDC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFINTBAS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFNB.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFNBP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFNBX.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFPOLY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFPOLY2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFSLPE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFX.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FGLMICPK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FGROUP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FIELD-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FIELD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FILE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FILECAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINAALG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINAALG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINITE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINRALG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINRALG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLAGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLAGG2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLALG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLASORT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLINEXP-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLINEXP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLOAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLOATCP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLOATRP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FM1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMFUN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMONOID.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMTC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FNAME.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FNCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FNLA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FOP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORDER.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORMULA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORMULA1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORTCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORTFN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORTRAN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPARFRAC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPATMAB.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPC-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPS-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FR2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRAC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRAC2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRAMALG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRAMALG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRETRCT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRETRCT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRIDEAL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRIDEAL2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRMOD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRNAAF2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRNAALG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRNAALG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRUTIL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FS-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FS2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FS2EXPXP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FS2UPS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSAGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSAGG2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSCINT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSERIES.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSINT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSPECF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSPRMELT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSRED.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSUPFACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FTEM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FUNCTION.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FVC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FVFUN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GALFACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GALFACTU.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GALPOLYU.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GALUTIL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GAUSSFAC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GB.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GBEUCLID.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GBF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GBINTERN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GCDDOM-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GCDDOM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GCNAALG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GDMP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GENEEZ.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GENMFACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GENPGCD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GENUFACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GENUPS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GHENSEL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GMODPOL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GOSPER.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GPOLSET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GRALG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GRALG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GRAY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GRDEF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GRIMAGE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GRMOD-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GRMOD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GROEBSOL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GROUP-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GROUP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GSERIES.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GSTBL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GTSET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HACKPI.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HASHTBL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HB.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HDMP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HDP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HEADAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HEAP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HELLFDIV.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HEUGCD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HEXADEC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HOAGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HOAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HYPCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HYPCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IALGFACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IAN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IARRAY1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IARRAY2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IBACHIN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IBATOOL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IBITS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IBPTOOLS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ICARD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ICDEN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDEAL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDECOMP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPAG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPAM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPO.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPOAM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPOAMS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IEVALAB-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IEVALAB.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IFAMON.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IFARRAY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IFF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IIARRAY2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ILIST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IMATLIN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IMATQF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IMATRIX.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INBFF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INCRMAPS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INDE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INEP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INFINITY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INFORM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INFORM1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INFPROD0.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INFSP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INMODGCD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INNMFACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INPRODFF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INPRODPF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INPSIGN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INS-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTABL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTAF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTALG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTBIT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTDOM-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTDOM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTEF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTFACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTFTBL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTG0.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTHEORY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTHERAL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTHERTR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTPACK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTPAF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTPM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTRAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTRET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTRF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTRVL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTSLPE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTTOOLS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTTR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INVLAPLA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IPADIC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IPF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IPRNTPK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IR2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IR2F.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IROOT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IRREDFFX.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IRRF2F.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IRSN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IRURPK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ISTRING.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ISUMP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ISUPS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITAYLOR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITFUN2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITFUN3.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITRIGMNP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITUPLE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IVECTOR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IXAGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IXAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/JAVACODE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/JORDAN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KAFILE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KDAGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KDAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KERNEL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KERNEL2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KOERCE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KONVERT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KOVACIC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LALG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LALG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LAPLACE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LAUPOL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LAZM3PK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LEADCDET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LEXP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LEXTRIPK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LFCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LGROBP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIB.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIECAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIECAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIMITPS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIMITRF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LINDEP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LINEXP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIST2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIST2MAP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIST3.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LMDICT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LMODULE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LMOPS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LNAGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LNAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LO.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODEEF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODO.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODO1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODO2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODOCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODOCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODOF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODOOPS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LOGIC-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LOGIC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LPEFRAC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LPOLY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSAGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSMP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSMP1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSPP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSQM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LWORD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LZSTAGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LZSTAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/M3D.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAGMA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPHACK1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPHACK2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPHACK3.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPPKG1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPPKG2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPPKG3.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATCAT2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATLIN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATRIX.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATSTOR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MCALCFN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MCDEN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MCMPLX.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MDAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MDDFACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MESH.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MFINFACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MFLOAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MHROWRED.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MINT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKBCFUNC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKFLCFN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKFUNC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKRECORD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKUCFUNC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MLIFT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MLO.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MMAP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MMLFORM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MODFIELD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MODMON.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MODMONOM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MODOP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MODRING.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MODULE-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MODULE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MOEBIUS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONAD-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONAD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONADWU-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONADWU.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOGEN-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOGEN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOID-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOID.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOTOOL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MPC2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MPC3.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MPCPF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MPOLY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MPRFF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MRATFAC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MRF2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MRING.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MSET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MSETAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MSYSCMD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MTHING.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MTSCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MULTFACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MULTSQFR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAALG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAALG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGC02.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGC05.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGC06.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGD01.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGD02.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGD03.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGE01.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGE02.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGE04.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGF01.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGF02.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGF04.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGF07.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGSP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NARNG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NARNG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NASRING-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NASRING.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NCEP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NCNTFRAC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NCODIV.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NFINTBAS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NIPROB.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NLINSOL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NNI.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NODE1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NONE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NONE1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NORMMA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NORMPK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NORMRETR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NPCOEF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NREP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NSMP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NSUP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NSUP2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NTPOLFN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NTSCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMERIC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMFMT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMINT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMODE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMQUAD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMTUBE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OAGROUP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OAMON.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OAMONS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OASGP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OC-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OCAMON.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OCT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OCTCT2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODECAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODECONST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEEF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEIFTBL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEINT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPACK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPAL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPRIM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPROB.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPRRIC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODERAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODERED.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODERTRIC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODESYS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODETOOLS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODPOL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODVAR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OFMONOID.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OINTDOM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMCONN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMDEV.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMENC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMERR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMERRK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMEXPR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMLO.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMPKG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMSAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMSERVER.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ONECOMP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ONECOMP2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPQUERY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPTCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPTPACK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPTPROB.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDCOMP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDCOMP2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDFIN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDFUNS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDMON.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDRING-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDRING.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDSET-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDSET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OREPCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OREPCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OREPCTO.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORESUP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OREUP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORTHPOL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OSGROUP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OSI.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OUT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OUTFORM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OVAR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OWP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PADE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PADEPAC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PADIC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PADICCT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PADICRAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PADICRC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PAIR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PALETTE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PAN2EXPR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARPC2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARPCURV.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARSC2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARSCURV.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARSER.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARSU2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARSURF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARTPERM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATAB.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATLRES.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATMAB.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATMATCH.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATRES.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATRES2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATTERN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATTERN1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATTERN2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PBWLB.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PCOMP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDECAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDECOMP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDEPACK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDEPROB.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDRING-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDRING.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PENDTREE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PERM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PERMAN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PERMCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PERMGRP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFBR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFBRU.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFECAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFECAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFO.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFOQ.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFOTOOLS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFRPAC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PGCD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PGE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PGROEB.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PI.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PICOERCE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PID.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PINTERP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PINTERPA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PLEQN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PLOT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PLOT1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PLOT3D.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PLOTTOOL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMASS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMASSFS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMDOWN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMFS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMINS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMKERNEL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMLSAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMPLCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMPRED.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMPREDFS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMQFCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMSYM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMTOOLS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PNTHEORY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POINT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLTOPOL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLUTIL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLY2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLY2UP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLYCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLYCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLYCATQ.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLYLIFT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLYROOT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PPCURVE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PREASSOC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRIMARR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRIMARR2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRIMCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRIMELT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRIMES.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRINT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRODUCT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PROPERTY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PROPFRML.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PROPLOG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRQAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRTITION.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSCURVE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSETCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSETCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSETPK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSEUDLIN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSQFR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PTCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PTFUNC2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PTPACK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PTRANFN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PUSHVAR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PWFFINTB.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QALGSET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QALGSET2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QCMPACK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QEQUAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QFCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QFCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QFCAT2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QFORM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QUAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QUAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QUATCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QUATCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QUATCT2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QUEUE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RADCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RADCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RADFF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RADIX.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RADUTIL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RANDSRC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RATFACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RATRET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RCAGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RCAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RCFIELD-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RCFIELD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDEEF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDEEFS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDETR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDETRS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDIST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDIV.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REAL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REAL0.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REAL0Q.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REALSOLV.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RECLOS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REDORDER.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REGSET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REP1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REP2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REPDB.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REPSQ.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RESLATC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RESRING.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RESULT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RETRACT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RETRACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RETSOL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RFDIST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RFFACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RFFACTOR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RGCHAIN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RIDIST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RING-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RING.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RINTERP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RMATCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RMATCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RMATRIX.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RMCAT2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RMODULE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RNG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RNS-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RNS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ROIRC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ROMAN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ROUTINE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RPOLCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RPOLCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RRCC-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RRCC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RSDCMPK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RSETCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RSETCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RSETGCD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RULE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RULECOLD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RULESET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RURPK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SAE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SAEFACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SAERFFC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SAOS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SCACHE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SCOPE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SCPKG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SDPOL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SDVAR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEG2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEGBIND.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEGBIND2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEGCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEGXCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SETAGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SETAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SETCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SETCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SETMN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEX.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEXCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEXOF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SFORT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SFQCMPK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SFRGCD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SFRTCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SGCF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SGROUP-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SGROUP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SHDP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SHP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SIG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SIGNEF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SIGNRF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SIMPAN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SINT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SKAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SMATCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SMATCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SMITH.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SMP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SMTS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SNTSCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SOLVEFOR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SOLVERAD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SOLVESER.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SOLVETRA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SORTPAK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPACE3.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPACEC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPADPRSR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPECOUT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPFCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPLNODE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPLTREE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SQMATRIX.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SRAGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SRAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SRDCMPK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SREGSET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STACK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STAGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STBL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STEP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STINPROD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STREAM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STREAM1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STREAM2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STREAM3.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STRICAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STRING.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STRTBL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STTAYLOR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STTF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STTFNC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUBRESP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUBSPACE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUCH.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SULS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUMFS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUMRF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUP2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUPFRACF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUPXS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUTS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SWITCH.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMBOL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMFUNC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMPOLY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMTAB.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYNTAX.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYSSOLP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYSTEM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TABLBUMP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TABLE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TABLEAU.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TANEXP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TBAGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TBAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TBCMPPK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TEMUTL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TEX.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TEX1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TEXTFILE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TOOLSIGN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TOPSP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TRANFUN-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TRANFUN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TREE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TRIGCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TRIGCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TRIGMNIP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TRIMAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TRMANIP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TSETCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TSETCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TUBE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TUBETOOL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TUPLE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TWOFACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TYPE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UDPO.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UDVO.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UFD-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UFD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ULS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ULS2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ULSCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ULSCCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ULSCCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ULSCONS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UNIFACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UNISEG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UNISEG2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UP2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPCDEN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPDECOMP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPDIVP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPMP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPOLYC-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPOLYC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPOLYC2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPSCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPSCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPSQFREE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPXS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPXS2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPXSCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPXSCCA-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPXSCCA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPXSCONS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPXSSING.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/URAGG-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/URAGG.fasl
 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/UTS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UTS2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UTSCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UTSCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UTSODE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UTSODETL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UTYPE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VARIABLE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VECTCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VECTCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VECTOR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VECTOR2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VIEW.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VIEW2D.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VIEW3D.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VIEWDEF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VOID.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VSPACE-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VSPACE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WEIER.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WFFINTBS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WUTSET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XALG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XDPOLY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XEXPPKG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XF-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XFALG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XPBWPOLY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XPOLY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XPOLYC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XPR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XRPOLY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/YSTREAM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ZDSOLVE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ZLINDEP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ZMOD.fasl
 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/exposed.fasl
 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%%/autoload/ax.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/def.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/mark.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/nspadaux.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/pspad1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/pspad2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/wi1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/wi2.fasl
 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
@@ -2600,6 +2689,37 @@
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/ystream.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/zerodim.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/timestamp
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/gloss.text
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/glossdef.text
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/glosskey.text
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/abbreviation.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/boot.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/cd.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/clear.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/close.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/display.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/edit.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/fin.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/frame.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/help.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/history.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/library.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/lisp.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/load.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/ltrace.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/nclef.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/pquit.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/quit.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/read.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/savesystem.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/set.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/show.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/spool.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/synonym.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/system.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/trace.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/undo.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/what.help
 @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
@@ -2620,6 +2740,8 @@
 @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share
 @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra
 @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src
+ at dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help
+ at dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc
 @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%
 @dirrm lib/open-axiom/%%GNU_HOST%%
 @dirrm lib/open-axiom
>Release-Note:
>Audit-Trail:
>Unformatted:



More information about the freebsd-ports-bugs mailing list