* interp/sys-utility.boot (getSystemModulePath): Use

	systemAlgebraDirectory. 
	* interp/database.boot (pathToDatabase): Use systemDatabaseDirectory. 
	* algebra/integer.spad.pamphlet (Integer) [latex]: Tidy.
	* algebra/string.spad.pamphlet (Character) [latex]: Likewise.
	* algebra/Makefile.in: Rework bootstrapping set up.
	(COMPILE_LISP): Remove.
	(axiom_algebra_layer_strap): Likewise.
	(axiom_algebra_layer_strap_objects): Likewise.
	(axiom_algebra_bootstrap): Likewise.
	(oa_strap_0_fasls): New.
	(oa_strap_1_fasls): Likewise.
	(oa_strap_2_fasls): Likewise.
	(oa_strap_0_sources): Likewise.
	(oa_strap_1_sources): Likewise.
	(oa_strap_2_sources): Likewise.
	* src/algerab/strap: Remove.

1 files changed, 0 insertions, 824 deletions

diff --git a/src/algebra/strap/ISTRING.lsp b/src/algebra/strap/ISTRING.lsp
deleted file mode 100644
index cbb527db..00000000
--- a/src/algebra/strap/ISTRING.lsp
+++ /dev/null
@@ -1,824 +0,0 @@
-
-(/VERSIONCHECK 2) 
-
-(DECLAIM (FTYPE (FUNCTION ((|%IntegerSection| 0) |%Char| |%Shell|)
-                    |%Thing|)
-                |ISTRING;new;NniC$;1|)) 
-
-(PUT '|ISTRING;new;NniC$;1| '|SPADreplace| 'MAKE-FULL-CVEC) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%Thing|) |ISTRING;empty;$;2|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Boolean|)
-                |ISTRING;empty?;$B;3|)) 
-
-(PUT '|ISTRING;empty?;$B;3| '|SPADreplace|
-     '(XLAM (|s|) (|%ieq| (|%strlength| |s|) 0))) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) (|%IntegerSection| 0))
-                |ISTRING;#;$Nni;4|)) 
-
-(PUT '|ISTRING;#;$Nni;4| '|SPADreplace| '|%strlength|) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
-                |ISTRING;=;2$B;5|)) 
-
-(PUT '|ISTRING;=;2$B;5| '|SPADreplace| '|%streq|) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
-                |ISTRING;<;2$B;6|)) 
-
-(PUT '|ISTRING;<;2$B;6| '|SPADreplace| '|%strlt|) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
-                |ISTRING;concat;3$;7|)) 
-
-(PUT '|ISTRING;concat;3$;7| '|SPADreplace| '|%strconc|) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|)
-                |ISTRING;copy;2$;8|)) 
-
-(PUT '|ISTRING;copy;2$;8| '|SPADreplace| '|%strcopy|) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Integer| |%Shell|)
-                    |%Thing|)
-                |ISTRING;insert;2$I$;9|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|)
-                |ISTRING;coerce;$Of;10|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Integer|)
-                |ISTRING;minIndex;$I;11|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|)
-                |ISTRING;upperCase!;2$;12|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|)
-                |ISTRING;lowerCase!;2$;13|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%String|)
-                |ISTRING;latex;$S;14|)) 
-
-(PUT '|ISTRING;latex;$S;14| '|SPADreplace|
-     '(XLAM (|s|) (|%strconc| "\\mbox{``" (|%strconc| |s| "''}")))) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Thing| |%Shell|)
-                    |%Thing|)
-                |ISTRING;replace;$Us2$;15|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Integer| |%Char| |%Shell|)
-                    |%Char|)
-                |ISTRING;setelt;$I2C;16|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Integer| |%Shell|)
-                    |%Boolean|)
-                |ISTRING;substring?;2$IB;17|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Integer| |%Shell|)
-                    |%Integer|)
-                |ISTRING;position;2$2I;18|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Char| |%Thing| |%Integer| |%Shell|)
-                    |%Integer|)
-                |ISTRING;position;C$2I;19|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Integer| |%Shell|)
-                    |%Integer|)
-                |ISTRING;position;Cc$2I;20|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
-                |ISTRING;suffix?;2$B;21|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Char| |%Shell|) |%List|)
-                |ISTRING;split;$CL;22|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%List|)
-                |ISTRING;split;$CcL;23|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Char| |%Shell|) |%Thing|)
-                |ISTRING;leftTrim;$C$;24|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
-                |ISTRING;leftTrim;$Cc$;25|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Char| |%Shell|) |%Thing|)
-                |ISTRING;rightTrim;$C$;26|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
-                |ISTRING;rightTrim;$Cc$;27|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%Thing|)
-                |ISTRING;concat;L$;28|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Integer| |%Shell|)
-                    |%Thing|)
-                |ISTRING;copyInto!;2$I$;29|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Integer| |%Shell|) |%Char|)
-                |ISTRING;elt;$IC;30|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
-                |ISTRING;elt;$Us$;31|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Short|)
-                |ISTRING;hash;$Si;32|)) 
-
-(PUT '|ISTRING;hash;$Si;32| '|SPADreplace| '|%hash|) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Char| |%Shell|)
-                    (|%IntegerSection| 0))
-                |ISTRING;match;2$CNni;33|)) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Char| |%Shell|)
-                    |%Boolean|)
-                |ISTRING;match?;2$CB;34|)) 
-
-(DEFUN |ISTRING;new;NniC$;1| (|n| |c| $)
-  (DECLARE (IGNORE $))
-  (MAKE-FULL-CVEC |n| |c|)) 
-
-(DEFUN |ISTRING;empty;$;2| ($) (MAKE-FULL-CVEC 0)) 
-
-(DEFUN |ISTRING;empty?;$B;3| (|s| $)
-  (DECLARE (IGNORE $))
-  (ZEROP (LENGTH |s|))) 
-
-(DEFUN |ISTRING;#;$Nni;4| (|s| $) (DECLARE (IGNORE $)) (LENGTH |s|)) 
-
-(DEFUN |ISTRING;=;2$B;5| (|s| |t| $)
-  (DECLARE (IGNORE $))
-  (NOT (NULL (STRING= |s| |t|)))) 
-
-(DEFUN |ISTRING;<;2$B;6| (|s| |t| $)
-  (DECLARE (IGNORE $))
-  (NOT (NULL (STRING< |s| |t|)))) 
-
-(DEFUN |ISTRING;concat;3$;7| (|s| |t| $)
-  (DECLARE (IGNORE $))
-  (STRCONC |s| |t|)) 
-
-(DEFUN |ISTRING;copy;2$;8| (|s| $)
-  (DECLARE (IGNORE $))
-  (COPY-SEQ |s|)) 
-
-(DEFUN |ISTRING;insert;2$I$;9| (|s| |t| |i| $)
-  (STRCONC (STRCONC (|ISTRING;elt;$Us$;31| |s|
-                        (SPADCALL (SVREF $ 6) (- |i| 1)
-                            (|shellEntry| $ 24))
-                        $)
-                    |t|)
-           (|ISTRING;elt;$Us$;31| |s|
-               (SPADCALL |i| (|shellEntry| $ 26)) $))) 
-
-(DEFUN |ISTRING;coerce;$Of;10| (|s| $)
-  (SPADCALL |s| (|shellEntry| $ 30))) 
-
-(DEFUN |ISTRING;minIndex;$I;11| (|s| $) (SVREF $ 6)) 
-
-(DEFUN |ISTRING;upperCase!;2$;12| (|s| $)
-  (SPADCALL (ELT $ 35) |s| (|shellEntry| $ 37))) 
-
-(DEFUN |ISTRING;lowerCase!;2$;13| (|s| $)
-  (SPADCALL (ELT $ 40) |s| (|shellEntry| $ 37))) 
-
-(DEFUN |ISTRING;latex;$S;14| (|s| $)
-  (DECLARE (IGNORE $))
-  (STRCONC "\\mbox{``" (STRCONC |s| "''}"))) 
-
-(DEFUN |ISTRING;replace;$Us2$;15| (|s| |sg| |t| $)
-  (PROG (|r| |k|)
-    (RETURN
-      (LET ((|l| (- (SPADCALL |sg| (|shellEntry| $ 44)) (SVREF $ 6)))
-            (|m| (LENGTH |s|)) (|n| (LENGTH |t|))
-            (|h| (COND
-                   ((SPADCALL |sg| (|shellEntry| $ 45))
-                    (- (SPADCALL |sg| (|shellEntry| $ 46)) (SVREF $ 6)))
-                   (T (- (SPADCALL |s| (|shellEntry| $ 47))
-                         (SVREF $ 6))))))
-        (COND
-          ((OR (OR (MINUSP |l|) (NOT (< |h| |m|))) (< |h| (- |l| 1)))
-           (|error| "index out of range"))
-          (T (SEQ (LETT |r|
-                        (MAKE-FULL-CVEC
-                            (LET ((#0=#:G1420
-                                      (+ (- |m| (+ (- |h| |l|) 1)) |n|)))
-                              (|check-subtype| (NOT (MINUSP #0#))
-                                  '(|NonNegativeInteger|) #0#))
-                            (|spadConstant| $ 53))
-                        |ISTRING;replace;$Us2$;15|)
-                  (LETT |k| 0 |ISTRING;replace;$Us2$;15|)
-                  (LET ((|i| 0) (#1=#:G1511 (- |l| 1)))
-                    (LOOP
-                      (COND
-                        ((> |i| #1#) (RETURN NIL))
-                        (T (SEQ (SETF (CHAR |r| |k|) (CHAR |s| |i|))
-                                (EXIT (SETQ |k| (+ |k| 1))))))
-                      (SETQ |i| (+ |i| 1))))
-                  (LET ((|i| 0) (#2=#:G1512 (- |n| 1)))
-                    (LOOP
-                      (COND
-                        ((> |i| #2#) (RETURN NIL))
-                        (T (SEQ (SETF (CHAR |r| |k|) (CHAR |t| |i|))
-                                (EXIT (SETQ |k| (+ |k| 1))))))
-                      (SETQ |i| (+ |i| 1))))
-                  (LET ((|i| (+ |h| 1)) (#3=#:G1513 (- |m| 1)))
-                    (LOOP
-                      (COND
-                        ((> |i| #3#) (RETURN NIL))
-                        (T (SEQ (SETF (CHAR |r| |k|) (CHAR |s| |i|))
-                                (EXIT (SETQ |k| (+ |k| 1))))))
-                      (SETQ |i| (+ |i| 1))))
-                  (EXIT |r|)))))))) 
-
-(DEFUN |ISTRING;setelt;$I2C;16| (|s| |i| |c| $)
-  (COND
-    ((OR (< |i| (SVREF $ 6))
-         (< (SPADCALL |s| (|shellEntry| $ 47)) |i|))
-     (|error| "index out of range"))
-    (T (SEQ (SETF (CHAR |s| (- |i| (SVREF $ 6))) |c|) (EXIT |c|))))) 
-
-(DEFUN |ISTRING;substring?;2$IB;17| (|part| |whole| |startpos| $)
-  (LET ((|np| (LENGTH |part|)) (|nw| (LENGTH |whole|)))
-    (SEQ (SETQ |startpos| (- |startpos| (SVREF $ 6)))
-         (EXIT (COND
-                 ((MINUSP |startpos|) (|error| "index out of bounds"))
-                 (T (AND (NOT (< (- |nw| |startpos|) |np|))
-                         (SEQ (LET ((|ip| 0) (#0=#:G1514 (- |np| 1))
-                                    (|iw| |startpos|))
-                                (LOOP
-                                  (COND
-                                    ((> |ip| #0#) (RETURN NIL))
-                                    (T
-                                     (COND
-                                       ((NOT
-                                         (CHAR= (CHAR |part| |ip|)
-                                          (CHAR |whole| |iw|)))
-                                        (RETURN-FROM
-                                         |ISTRING;substring?;2$IB;17|
-                                          NIL)))))
-                                  (SETQ |ip| (+ |ip| 1))
-                                  (SETQ |iw| (+ |iw| 1))))
-                              (EXIT T))))))))) 
-
-(DEFUN |ISTRING;position;2$2I;18| (|s| |t| |startpos| $)
-  (PROG (|r|)
-    (RETURN
-      (SEQ (SETQ |startpos| (- |startpos| (SVREF $ 6)))
-           (EXIT (COND
-                   ((MINUSP |startpos|)
-                    (|error| "index out of bounds"))
-                   ((NOT (< |startpos| (LENGTH |t|)))
-                    (- (SVREF $ 6) 1))
-                   (T (SEQ (LETT |r| (STRPOS |s| |t| |startpos| NIL)
-                                 |ISTRING;position;2$2I;18|)
-                           (EXIT (COND
-                                   ((EQ |r| NIL) (- (SVREF $ 6) 1))
-                                   (T (+ |r| (SVREF $ 6))))))))))))) 
-
-(DEFUN |ISTRING;position;C$2I;19| (|c| |t| |startpos| $)
-  (SEQ (SETQ |startpos| (- |startpos| (SVREF $ 6)))
-       (EXIT (COND
-               ((MINUSP |startpos|) (|error| "index out of bounds"))
-               ((NOT (< |startpos| (LENGTH |t|))) (- (SVREF $ 6) 1))
-               (T (SEQ (LET ((|r| |startpos|)
-                             (#0=#:G1515 (- (LENGTH |t|) 1)))
-                         (LOOP
-                           (COND
-                             ((> |r| #0#) (RETURN NIL))
-                             (T (COND
-                                  ((CHAR= (CHAR |t| |r|) |c|)
-                                   (RETURN-FROM
-                                    |ISTRING;position;C$2I;19|
-                                     (+ |r| (SVREF $ 6)))))))
-                           (SETQ |r| (+ |r| 1))))
-                       (EXIT (- (SVREF $ 6) 1)))))))) 
-
-(DEFUN |ISTRING;position;Cc$2I;20| (|cc| |t| |startpos| $)
-  (SEQ (SETQ |startpos| (- |startpos| (SVREF $ 6)))
-       (EXIT (COND
-               ((MINUSP |startpos|) (|error| "index out of bounds"))
-               ((NOT (< |startpos| (LENGTH |t|))) (- (SVREF $ 6) 1))
-               (T (SEQ (LET ((|r| |startpos|)
-                             (#0=#:G1516 (- (LENGTH |t|) 1)))
-                         (LOOP
-                           (COND
-                             ((> |r| #0#) (RETURN NIL))
-                             (T (COND
-                                  ((SPADCALL (CHAR |t| |r|) |cc|
-                                    (|shellEntry| $ 65))
-                                   (RETURN-FROM
-                                    |ISTRING;position;Cc$2I;20|
-                                     (+ |r| (SVREF $ 6)))))))
-                           (SETQ |r| (+ |r| 1))))
-                       (EXIT (- (SVREF $ 6) 1)))))))) 
-
-(DEFUN |ISTRING;suffix?;2$B;21| (|s| |t| $)
-  (LET ((|m| (SPADCALL |s| (|shellEntry| $ 47)))
-        (|n| (SPADCALL |t| (|shellEntry| $ 47))))
-    (AND (NOT (< |n| |m|))
-         (|ISTRING;substring?;2$IB;17| |s| |t|
-             (- (+ (SVREF $ 6) |n|) |m|) $)))) 
-
-(DEFUN |ISTRING;split;$CL;22| (|s| |c| $)
-  (PROG (|l| |j|)
-    (RETURN
-      (LET ((|n| (SPADCALL |s| (|shellEntry| $ 47))) (|i| (SVREF $ 6)))
-        (SEQ (LOOP
-               (COND
-                 ((NOT (AND (NOT (< |n| |i|))
-                            (SPADCALL (|ISTRING;elt;$IC;30| |s| |i| $)
-                                |c| (|shellEntry| $ 70))))
-                  (RETURN NIL))
-                 (T (SETQ |i| (+ |i| 1)))))
-             (LETT |l| NIL |ISTRING;split;$CL;22|)
-             (LOOP
-               (COND
-                 ((NOT (AND (NOT (< |n| |i|))
-                            (NOT (< (LETT |j|
-                                     (|ISTRING;position;C$2I;19| |c|
-                                      |s| |i| $)
-                                     |ISTRING;split;$CL;22|)
-                                    (SVREF $ 6)))))
-                  (RETURN NIL))
-                 (T (SEQ (SETQ |l|
-                               (SPADCALL
-                                   (|ISTRING;elt;$Us$;31| |s|
-                                    (SPADCALL |i| (- |j| 1)
-                                     (|shellEntry| $ 24))
-                                    $)
-                                   |l| (|shellEntry| $ 73)))
-                         (SETQ |i| |j|)
-                         (EXIT (LOOP
-                                 (COND
-                                   ((NOT
-                                     (AND (NOT (< |n| |i|))
-                                      (SPADCALL
-                                       (|ISTRING;elt;$IC;30| |s| |i| $)
-                                       |c| (|shellEntry| $ 70))))
-                                    (RETURN NIL))
-                                   (T (SETQ |i| (+ |i| 1))))))))))
-             (COND
-               ((NOT (< |n| |i|))
-                (SETQ |l|
-                      (SPADCALL
-                          (|ISTRING;elt;$Us$;31| |s|
-                              (SPADCALL |i| |n| (|shellEntry| $ 24)) $)
-                          |l| (|shellEntry| $ 73)))))
-             (EXIT (NREVERSE |l|))))))) 
-
-(DEFUN |ISTRING;split;$CcL;23| (|s| |cc| $)
-  (PROG (|l| |j|)
-    (RETURN
-      (LET ((|n| (SPADCALL |s| (|shellEntry| $ 47))) (|i| (SVREF $ 6)))
-        (SEQ (LOOP
-               (COND
-                 ((NOT (AND (NOT (< |n| |i|))
-                            (SPADCALL (|ISTRING;elt;$IC;30| |s| |i| $)
-                                |cc| (|shellEntry| $ 65))))
-                  (RETURN NIL))
-                 (T (SETQ |i| (+ |i| 1)))))
-             (LETT |l| NIL |ISTRING;split;$CcL;23|)
-             (LOOP
-               (COND
-                 ((NOT (AND (NOT (< |n| |i|))
-                            (NOT (< (LETT |j|
-                                     (|ISTRING;position;Cc$2I;20| |cc|
-                                      |s| |i| $)
-                                     |ISTRING;split;$CcL;23|)
-                                    (SVREF $ 6)))))
-                  (RETURN NIL))
-                 (T (SEQ (SETQ |l|
-                               (SPADCALL
-                                   (|ISTRING;elt;$Us$;31| |s|
-                                    (SPADCALL |i| (- |j| 1)
-                                     (|shellEntry| $ 24))
-                                    $)
-                                   |l| (|shellEntry| $ 73)))
-                         (SETQ |i| |j|)
-                         (EXIT (LOOP
-                                 (COND
-                                   ((NOT
-                                     (AND (NOT (< |n| |i|))
-                                      (SPADCALL
-                                       (|ISTRING;elt;$IC;30| |s| |i| $)
-                                       |cc| (|shellEntry| $ 65))))
-                                    (RETURN NIL))
-                                   (T (SETQ |i| (+ |i| 1))))))))))
-             (COND
-               ((NOT (< |n| |i|))
-                (SETQ |l|
-                      (SPADCALL
-                          (|ISTRING;elt;$Us$;31| |s|
-                              (SPADCALL |i| |n| (|shellEntry| $ 24)) $)
-                          |l| (|shellEntry| $ 73)))))
-             (EXIT (NREVERSE |l|))))))) 
-
-(DEFUN |ISTRING;leftTrim;$C$;24| (|s| |c| $)
-  (LET ((|n| (SPADCALL |s| (|shellEntry| $ 47))) (|i| (SVREF $ 6)))
-    (SEQ (LOOP
-           (COND
-             ((NOT (AND (NOT (< |n| |i|))
-                        (SPADCALL (|ISTRING;elt;$IC;30| |s| |i| $) |c|
-                            (|shellEntry| $ 70))))
-              (RETURN NIL))
-             (T (SETQ |i| (+ |i| 1)))))
-         (EXIT (|ISTRING;elt;$Us$;31| |s|
-                   (SPADCALL |i| |n| (|shellEntry| $ 24)) $))))) 
-
-(DEFUN |ISTRING;leftTrim;$Cc$;25| (|s| |cc| $)
-  (LET ((|n| (SPADCALL |s| (|shellEntry| $ 47))) (|i| (SVREF $ 6)))
-    (SEQ (LOOP
-           (COND
-             ((NOT (AND (NOT (< |n| |i|))
-                        (SPADCALL (|ISTRING;elt;$IC;30| |s| |i| $) |cc|
-                            (|shellEntry| $ 65))))
-              (RETURN NIL))
-             (T (SETQ |i| (+ |i| 1)))))
-         (EXIT (|ISTRING;elt;$Us$;31| |s|
-                   (SPADCALL |i| |n| (|shellEntry| $ 24)) $))))) 
-
-(DEFUN |ISTRING;rightTrim;$C$;26| (|s| |c| $)
-  (LET ((|j| (SPADCALL |s| (|shellEntry| $ 47))))
-    (SEQ (LOOP
-           (COND
-             ((NOT (AND (NOT (< |j| (SVREF $ 6)))
-                        (SPADCALL (|ISTRING;elt;$IC;30| |s| |j| $) |c|
-                                  (|shellEntry| $ 70))))
-              (RETURN NIL))
-             (T (SETQ |j| (- |j| 1)))))
-         (EXIT (|ISTRING;elt;$Us$;31| |s|
-                   (SPADCALL (|ISTRING;minIndex;$I;11| |s| $) |j|
-                       (|shellEntry| $ 24))
-                   $))))) 
-
-(DEFUN |ISTRING;rightTrim;$Cc$;27| (|s| |cc| $)
-  (LET ((|j| (SPADCALL |s| (|shellEntry| $ 47))))
-    (SEQ (LOOP
-           (COND
-             ((NOT (AND (NOT (< |j| (SVREF $ 6)))
-                        (SPADCALL (|ISTRING;elt;$IC;30| |s| |j| $) |cc|
-                                  (|shellEntry| $ 65))))
-              (RETURN NIL))
-             (T (SETQ |j| (- |j| 1)))))
-         (EXIT (|ISTRING;elt;$Us$;31| |s|
-                   (SPADCALL (|ISTRING;minIndex;$I;11| |s| $) |j|
-                       (|shellEntry| $ 24))
-                   $))))) 
-
-(DEFUN |ISTRING;concat;L$;28| (|l| $)
-  (LET ((|t| (MAKE-FULL-CVEC
-                 (LET ((#0=#:G1473 NIL) (#1=#:G1474 T)
-                       (#2=#:G1518 |l|))
-                   (LOOP
-                     (COND
-                       ((ATOM #2#) (RETURN (COND (#1# 0) (T #0#))))
-                       (T (LET ((|s| (CAR #2#)))
-                            (LET ((#3=#:G1472 (LENGTH |s|)))
-                              (COND
-                                (#1# (SETQ #0# #3#))
-                                (T (SETQ #0# (+ #0# #3#))))
-                              (SETQ #1# NIL)))))
-                     (SETQ #2# (CDR #2#))))
-                 (|spadConstant| $ 53)))
-        (|i| (SVREF $ 6)))
-    (SEQ (LET ((#4=#:G1517 |l|))
-           (LOOP
-             (COND
-               ((ATOM #4#) (RETURN NIL))
-               (T (LET ((|s| (CAR #4#)))
-                    (SEQ (|ISTRING;copyInto!;2$I$;29| |t| |s| |i| $)
-                         (EXIT (SETQ |i| (+ |i| (LENGTH |s|))))))))
-             (SETQ #4# (CDR #4#))))
-         (EXIT |t|)))) 
-
-(DEFUN |ISTRING;copyInto!;2$I$;29| (|y| |x| |s| $)
-  (LET ((|m| (LENGTH |x|)) (|n| (LENGTH |y|)))
-    (SEQ (SETQ |s| (- |s| (SVREF $ 6)))
-         (EXIT (COND
-                 ((OR (MINUSP |s|) (< |n| (+ |s| |m|)))
-                  (|error| "index out of range"))
-                 (T (SEQ (RPLACSTR |y| |s| |m| |x| 0 |m|) (EXIT |y|)))))))) 
-
-(DEFUN |ISTRING;elt;$IC;30| (|s| |i| $)
-  (COND
-    ((OR (< |i| (SVREF $ 6))
-         (< (SPADCALL |s| (|shellEntry| $ 47)) |i|))
-     (|error| "index out of range"))
-    (T (CHAR |s| (- |i| (SVREF $ 6)))))) 
-
-(DEFUN |ISTRING;elt;$Us$;31| (|s| |sg| $)
-  (LET ((|l| (- (SPADCALL |sg| (|shellEntry| $ 44)) (SVREF $ 6)))
-        (|h| (COND
-               ((SPADCALL |sg| (|shellEntry| $ 45))
-                (- (SPADCALL |sg| (|shellEntry| $ 46)) (SVREF $ 6)))
-               (T (- (SPADCALL |s| (|shellEntry| $ 47)) (SVREF $ 6))))))
-    (COND
-      ((OR (MINUSP |l|) (NOT (< |h| (LENGTH |s|))))
-       (|error| "index out of bound"))
-      (T (SUBSTRING |s| |l| (MAX 0 (+ (- |h| |l|) 1))))))) 
-
-(DEFUN |ISTRING;hash;$Si;32| (|s| $)
-  (DECLARE (IGNORE $))
-  (SXHASH |s|)) 
-
-(DEFUN |ISTRING;match;2$CNni;33| (|pattern| |target| |wildcard| $)
-  (|stringMatch| |pattern| |target| (CHARACTER |wildcard|))) 
-
-(DEFUN |ISTRING;match?;2$CB;34| (|pattern| |target| |dontcare| $)
-  (PROG (|m| |p| |i| |q| |s|)
-    (RETURN
-      (LET ((|n| (SPADCALL |pattern| (|shellEntry| $ 47))))
-        (SEQ (LETT |p|
-                   (LET ((#0=#:G1501
-                             (|ISTRING;position;C$2I;19| |dontcare|
-                                 |pattern|
-                                 (LETT |m|
-                                       (|ISTRING;minIndex;$I;11|
-                                        |pattern| $)
-                                       |ISTRING;match?;2$CB;34|)
-                                 $)))
-                     (|check-subtype| (NOT (MINUSP #0#))
-                         '(|NonNegativeInteger|) #0#))
-                   |ISTRING;match?;2$CB;34|)
-             (EXIT (COND
-                     ((EQL |p| (- |m| 1))
-                      (NOT (NULL (STRING= |pattern| |target|))))
-                     (T (AND (NOT (AND (SPADCALL |p| |m|
-                                        (|shellEntry| $ 88))
-                                       (NOT
-                                        (SPADCALL
-                                         (|ISTRING;elt;$Us$;31|
-                                          |pattern|
-                                          (SPADCALL |m| (- |p| 1)
-                                           (|shellEntry| $ 24))
-                                          $)
-                                         |target| (|shellEntry| $ 89)))))
-                             (SEQ (LETT |i| |p|
-                                        |ISTRING;match?;2$CB;34|)
-                                  (LETT |q|
-                                        (LET
-                                         ((#1=#:G1502
-                                           (|ISTRING;position;C$2I;19|
-                                            |dontcare| |pattern|
-                                            (+ |p| 1) $)))
-                                          (|check-subtype|
-                                           (NOT (MINUSP #1#))
-                                           '(|NonNegativeInteger|) #1#))
-                                        |ISTRING;match?;2$CB;34|)
-                                  (LOOP
-                                    (COND
-                                      ((NOT
-                                        (SPADCALL |q| (- |m| 1)
-                                         (|shellEntry| $ 88)))
-                                       (RETURN NIL))
-                                      (T
-                                       (SEQ
-                                        (LETT |s|
-                                         (|ISTRING;elt;$Us$;31|
-                                          |pattern|
-                                          (SPADCALL (+ |p| 1) (- |q| 1)
-                                           (|shellEntry| $ 24))
-                                          $)
-                                         |ISTRING;match?;2$CB;34|)
-                                        (SETQ |i|
-                                         (LET
-                                          ((#2=#:G1503
-                                            (|ISTRING;position;2$2I;18|
-                                             |s| |target| |i| $)))
-                                           (|check-subtype|
-                                            (NOT (MINUSP #2#))
-                                            '(|NonNegativeInteger|)
-                                            #2#)))
-                                        (EXIT
-                                         (COND
-                                           ((EQL |i| (- |m| 1))
-                                            (RETURN-FROM
-                                             |ISTRING;match?;2$CB;34|
-                                              NIL))
-                                           (T
-                                            (SEQ
-                                             (SETQ |i|
-                                              (+ |i| (LENGTH |s|)))
-                                             (SETQ |p| |q|)
-                                             (EXIT
-                                              (SETQ |q|
-                                               (LET
-                                                ((#3=#:G1504
-                                                  (|ISTRING;position;C$2I;19|
-                                                   |dontcare| |pattern|
-                                                   (+ |q| 1) $)))
-                                                 (|check-subtype|
-                                                  (NOT (MINUSP #3#))
-                                                  '(|NonNegativeInteger|)
-                                                  #3#))))))))))))
-                                  (COND
-                                    ((AND
-                                      (SPADCALL |p| |n|
-                                       (|shellEntry| $ 88))
-                                      (NOT
-                                       (|ISTRING;suffix?;2$B;21|
-                                        (|ISTRING;elt;$Us$;31|
-                                         |pattern|
-                                         (SPADCALL (+ |p| 1) |n|
-                                          (|shellEntry| $ 24))
-                                         $)
-                                        |target| $)))
-                                     (EXIT NIL)))
-                                  (EXIT T))))))))))) 
-
-(DEFUN |IndexedString| (#0=#:G1519)
-  (DECLARE (SPECIAL |$ConstructorCache|))
-  (LET ((#1=#:G1520
-            (|lassocShiftWithFunction| (LIST (|devaluate| #0#))
-                (HGET |$ConstructorCache| '|IndexedString|)
-                '|domainEqualList|)))
-    (COND
-      (#1# (|CDRwithIncrement| #1#))
-      (T (UNWIND-PROTECT
-           (PROG1 (|IndexedString;| #0#) (SETQ #1# T))
-           (COND
-             ((NOT #1#) (HREM |$ConstructorCache| '|IndexedString|)))))))) 
-
-(DEFUN |IndexedString;| (|#1|)
-  (DECLARE (SPECIAL |$ConstructorCache|))
-  (LET* ((|dv$1| (|devaluate| |#1|))
-         (|dv$| (LIST '|IndexedString| |dv$1|)) ($ (|newShell| 101))
-         (|pv$| (|buildPredVector| 0 0
-                    (LIST (OR (AND (|HasCategory| (|Character|)
-                                    '(|OrderedSet|))
-                                   (|HasCategory| (|Character|)
-                                    '(|Evalable| (|Character|))))
-                              (AND (|HasCategory| (|Character|)
-                                    '(|SetCategory|))
-                                   (|HasCategory| (|Character|)
-                                    '(|Evalable| (|Character|)))))
-                          (OR (|HasCategory| (|Character|)
-                                  '(|CoercibleTo| (|OutputForm|)))
-                              (AND (|HasCategory| (|Character|)
-                                    '(|SetCategory|))
-                                   (|HasCategory| (|Character|)
-                                    '(|Evalable| (|Character|)))))
-                          (|HasCategory| (|Character|)
-                              '(|ConvertibleTo| (|InputForm|)))
-                          (OR (|HasCategory| (|Character|)
-                                  '(|OrderedSet|))
-                              (|HasCategory| (|Character|)
-                                  '(|SetCategory|)))
-                          (|HasCategory| (|Character|) '(|OrderedSet|))
-                          (OR (|HasCategory| (|Character|)
-                                  '(|BasicType|))
-                              (|HasCategory| (|Character|)
-                                  '(|OrderedSet|))
-                              (|HasCategory| (|Character|)
-                                  '(|SetCategory|)))
-                          (|HasCategory| (|Integer|) '(|OrderedSet|))
-                          (|HasCategory| (|Character|)
-                              '(|SetCategory|))
-                          (|HasCategory| (|Character|)
-                              '(|CoercibleTo| (|OutputForm|)))
-                          (|HasCategory| (|Character|) '(|BasicType|))
-                          (AND (|HasCategory| (|Character|)
-                                   '(|SetCategory|))
-                               (|HasCategory| (|Character|)
-                                   '(|Evalable| (|Character|))))))))
-    (SETF (|shellEntry| $ 0) |dv$|)
-    (SETF (|shellEntry| $ 3) |pv$|)
-    (|haddProp| |$ConstructorCache| '|IndexedString| (LIST |dv$1|)
-        (CONS 1 $))
-    (|stuffDomainSlots| $)
-    (SETF (|shellEntry| $ 6) |#1|)
-    $)) 
-
-(MAKEPROP '|IndexedString| '|infovec|
-    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|)
-             (|NonNegativeInteger|) (|Character|) |ISTRING;new;NniC$;1|
-             (|Integer|) (0 . |Zero|) |ISTRING;empty;$;2| (|Boolean|)
-             (4 . =) |ISTRING;empty?;$B;3| |ISTRING;#;$Nni;4|
-             |ISTRING;=;2$B;5| |ISTRING;<;2$B;6| |ISTRING;concat;3$;7|
-             |ISTRING;copy;2$;8| (10 . |One|) (14 . -)
-             (|UniversalSegment| 10) (20 . SEGMENT)
-             |ISTRING;elt;$Us$;31| (26 . SEGMENT)
-             |ISTRING;insert;2$I$;9| (|String|) (|OutputForm|)
-             (31 . |outputForm|) |ISTRING;coerce;$Of;10|
-             |ISTRING;minIndex;$I;11| (|CharacterClass|)
-             (36 . |upperCase|) (40 . |upperCase|) (|Mapping| 8 8)
-             (45 . |map!|) |ISTRING;upperCase!;2$;12|
-             (51 . |lowerCase|) (55 . |lowerCase|)
-             |ISTRING;lowerCase!;2$;13| (60 . |concat|)
-             |ISTRING;latex;$S;14| (66 . |lo|) (71 . |hasHi|)
-             (76 . |hi|) (81 . |maxIndex|) (86 . |Zero|) (90 . <)
-             (96 . >=) (102 . |One|) (106 . +) (112 . |space|)
-             (|PositiveInteger|) (116 . |One|) (120 . +)
-             |ISTRING;replace;$Us2$;15| (126 . >)
-             |ISTRING;setelt;$I2C;16| (132 . |false|) (136 . |true|)
-             |ISTRING;substring?;2$IB;17| |ISTRING;position;2$2I;18|
-             |ISTRING;position;C$2I;19| (140 . |member?|)
-             |ISTRING;position;Cc$2I;20| |ISTRING;suffix?;2$B;21|
-             (146 . <=) |ISTRING;elt;$IC;30| (152 . =) (|List| $$)
-             (158 . |empty|) (162 . |concat|) (168 . |reverse!|)
-             (|List| $) |ISTRING;split;$CL;22| |ISTRING;split;$CcL;23|
-             |ISTRING;leftTrim;$C$;24| |ISTRING;leftTrim;$Cc$;25|
-             |ISTRING;rightTrim;$C$;26| |ISTRING;rightTrim;$Cc$;27|
-             |ISTRING;copyInto!;2$I$;29| |ISTRING;concat;L$;28|
-             (173 . |max|) (|SingleInteger|) |ISTRING;hash;$Si;32|
-             |ISTRING;match;2$CNni;33| (179 . ~=) (185 . |prefix?|)
-             |ISTRING;match?;2$CB;34| (|List| 8) (|Equation| 8)
-             (|List| 92) (|Mapping| 8 8 8) (|InputForm|)
-             (|Mapping| 13 8) (|Mapping| 13 8 8) (|Void|)
-             (|Union| 8 '"failed") (|List| 10))
-          '#(~= 191 |upperCase!| 197 |upperCase| 202 |trim| 207 |swap!|
-             219 |suffix?| 226 |substring?| 232 |split| 239 |sorted?|
-             251 |sort!| 262 |sort| 273 |size?| 284 |setelt| 290
-             |select| 304 |sample| 310 |rightTrim| 314 |reverse!| 326
-             |reverse| 331 |replace| 336 |removeDuplicates| 343
-             |remove| 348 |reduce| 360 |qsetelt!| 381 |qelt| 388
-             |prefix?| 394 |position| 400 |parts| 433 |new| 438 |more?|
-             444 |minIndex| 450 |min| 455 |merge| 461 |members| 474
-             |member?| 479 |maxIndex| 485 |max| 490 |match?| 496
-             |match| 503 |map!| 510 |map| 516 |lowerCase!| 529
-             |lowerCase| 534 |less?| 539 |leftTrim| 545 |latex| 557
-             |insert| 562 |indices| 576 |index?| 581 |hash| 587 |first|
-             592 |find| 597 |fill!| 603 |every?| 609 |eval| 615 |eq?|
-             641 |entry?| 647 |entries| 653 |empty?| 658 |empty| 663
-             |elt| 667 |delete| 692 |count| 704 |copyInto!| 716 |copy|
-             723 |convert| 728 |construct| 733 |concat| 738 |coerce|
-             761 |before?| 771 |any?| 777 >= 783 > 789 = 795 <= 801 <
-             807 |#| 813)
-          '((|shallowlyMutable| . 0) (|finiteAggregate| . 0))
-          (CONS (|makeByteWordVec2| 6
-                    '(0 0 0 0 0 0 0 5 0 4 5 0 0 0 1 6 0 1 2 3))
-                (CONS '#(|StringAggregate&|
-                         |OneDimensionalArrayAggregate&|
-                         |FiniteLinearAggregate&| |LinearAggregate&|
-                         |IndexedAggregate&| |Collection&|
-                         |HomogeneousAggregate&| NIL
-                         |EltableAggregate&| |SetCategory&|
-                         |OrderedType&| NIL |Aggregate&| NIL
-                         |Evalable&| |BasicType&| NIL |InnerEvalable&|
-                         NIL NIL)
-                      (CONS '#((|StringAggregate|)
-                               (|OneDimensionalArrayAggregate| 8)
-                               (|FiniteLinearAggregate| 8)
-                               (|LinearAggregate| 8)
-                               (|IndexedAggregate| 10 8)
-                               (|Collection| 8)
-                               (|HomogeneousAggregate| 8)
-                               (|OrderedSet|) (|EltableAggregate| 10 8)
-                               (|SetCategory|) (|OrderedType|)
-                               (|Eltable| 23 $$) (|Aggregate|)
-                               (|Eltable| 10 8) (|Evalable| 8)
-                               (|BasicType|) (|Type|)
-                               (|InnerEvalable| 8 8) (|CoercibleTo| 29)
-                               (|ConvertibleTo| 95))
-                            (|makeByteWordVec2| 100
-                                '(0 10 0 11 2 10 13 0 0 14 0 10 0 21 2
-                                  10 0 0 0 22 2 23 0 10 10 24 1 23 0 10
-                                  26 1 29 0 28 30 0 33 0 34 1 8 0 0 35
-                                  2 0 0 36 0 37 0 33 0 39 1 8 0 0 40 2
-                                  28 0 0 0 42 1 23 10 0 44 1 23 13 0 45
-                                  1 23 10 0 46 1 0 10 0 47 0 7 0 48 2
-                                  10 13 0 0 49 2 10 13 0 0 50 0 7 0 51
-                                  2 10 0 0 0 52 0 8 0 53 0 54 0 55 2 7
-                                  0 0 0 56 2 10 13 0 0 58 0 13 0 60 0
-                                  13 0 61 2 33 13 8 0 65 2 10 13 0 0 68
-                                  2 8 13 0 0 70 0 71 0 72 2 71 0 2 0 73
-                                  1 71 0 0 74 2 10 0 0 0 84 2 10 13 0 0
-                                  88 2 0 13 0 0 89 2 10 13 0 0 1 1 0 0
-                                  0 38 1 0 0 0 1 2 0 0 0 8 1 2 0 0 0 33
-                                  1 3 0 98 0 10 10 1 2 0 13 0 0 67 3 0
-                                  13 0 0 10 62 2 0 75 0 33 77 2 0 75 0
-                                  8 76 1 5 13 0 1 2 0 13 97 0 1 1 5 0 0
-                                  1 2 0 0 97 0 1 1 5 0 0 1 2 0 0 97 0 1
-                                  2 0 13 0 7 1 3 0 8 0 23 8 1 3 0 8 0
-                                  10 8 59 2 0 0 96 0 1 0 0 0 1 2 0 0 0
-                                  8 80 2 0 0 0 33 81 1 0 0 0 1 1 0 0 0
-                                  1 3 0 0 0 23 0 57 1 8 0 0 1 2 8 0 8 0
-                                  1 2 0 0 96 0 1 4 8 8 94 0 8 8 1 3 0 8
-                                  94 0 8 1 2 0 8 94 0 1 3 0 8 0 10 8 1
-                                  2 0 8 0 10 1 2 0 13 0 0 89 3 8 10 8 0
-                                  10 64 2 8 10 8 0 1 3 0 10 33 0 10 66
-                                  3 0 10 0 0 10 63 2 0 10 96 0 1 1 0 91
-                                  0 1 2 0 0 7 8 9 2 0 13 0 7 1 1 7 10 0
-                                  32 2 5 0 0 0 1 2 5 0 0 0 1 3 0 0 97 0
-                                  0 1 1 0 91 0 1 2 8 13 8 0 1 1 7 10 0
-                                  47 2 5 0 0 0 1 3 0 13 0 0 8 90 3 0 7
-                                  0 0 8 87 2 0 0 36 0 37 3 0 0 94 0 0 1
-                                  2 0 0 36 0 1 1 0 0 0 41 1 0 0 0 1 2 0
-                                  13 0 7 1 2 0 0 0 8 78 2 0 0 0 33 79 1
-                                  8 28 0 43 3 0 0 8 0 10 1 3 0 0 0 0 10
-                                  27 1 0 100 0 1 2 0 13 10 0 1 1 8 85 0
-                                  86 1 7 8 0 1 2 0 99 96 0 1 2 0 0 0 8
-                                  1 2 0 13 96 0 1 3 11 0 0 91 91 1 3 11
-                                  0 0 8 8 1 2 11 0 0 93 1 2 11 0 0 92 1
-                                  2 0 13 0 0 1 2 8 13 8 0 1 1 0 91 0 1
-                                  1 0 13 0 15 0 0 0 12 2 0 0 0 0 1 2 0
-                                  0 0 23 25 2 0 8 0 10 69 3 0 8 0 10 8
-                                  1 2 0 0 0 10 1 2 0 0 0 23 1 2 8 7 8 0
-                                  1 2 0 7 96 0 1 3 0 0 0 0 10 82 1 0 0
-                                  0 20 1 3 95 0 1 1 0 0 91 1 2 0 0 0 0
-                                  19 1 0 0 75 83 2 0 0 8 0 1 2 0 0 0 8
-                                  1 1 9 29 0 31 1 0 0 8 1 2 10 13 0 0 1
-                                  2 0 13 96 0 1 2 5 13 0 0 1 2 5 13 0 0
-                                  1 2 10 13 0 0 17 2 5 13 0 0 1 2 5 13
-                                  0 0 18 1 0 7 0 16)))))
-          '|lookupComplete|))