(/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|)) 

(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) (|%IntegerSection| 0))
                |ISTRING;#;$Nni;4|)) 

(PUT '|ISTRING;#;$Nni;4| '|SPADreplace| 'QCSIZE) 

(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
                |ISTRING;=;2$B;5|)) 

(PUT '|ISTRING;=;2$B;5| '|SPADreplace| 'EQUAL) 

(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
                |ISTRING;<;2$B;6|)) 

(PUT '|ISTRING;<;2$B;6| '|SPADreplace|
     '(XLAM (|s| |t|) (CGREATERP |t| |s|))) 

(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| 'COPY-SEQ) 

(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|)) 

(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| 'SXHASH) 

(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| $) (EQL (QCSIZE |s|) 0)) 

(DEFUN |ISTRING;#;$Nni;4| (|s| $) (DECLARE (IGNORE $)) (QCSIZE |s|)) 

(DEFUN |ISTRING;=;2$B;5| (|s| |t| $)
  (DECLARE (IGNORE $))
  (EQUAL |s| |t|)) 

(DEFUN |ISTRING;<;2$B;6| (|s| |t| $)
  (DECLARE (IGNORE $))
  (CGREATERP |t| |s|)) 

(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 (|getShellEntry| $ 6) (- |i| 1)
                            (|getShellEntry| $ 24))
                        $)
                    |t|)
           (|ISTRING;elt;$Us$;31| |s|
               (SPADCALL |i| (|getShellEntry| $ 26)) $))) 

(DEFUN |ISTRING;coerce;$Of;10| (|s| $)
  (SPADCALL |s| (|getShellEntry| $ 30))) 

(DEFUN |ISTRING;minIndex;$I;11| (|s| $) (|getShellEntry| $ 6)) 

(DEFUN |ISTRING;upperCase!;2$;12| (|s| $)
  (SPADCALL (ELT $ 35) |s| (|getShellEntry| $ 37))) 

(DEFUN |ISTRING;lowerCase!;2$;13| (|s| $)
  (SPADCALL (ELT $ 40) |s| (|getShellEntry| $ 37))) 

(DEFUN |ISTRING;latex;$S;14| (|s| $)
  (STRCONC "\\mbox{``" (STRCONC |s| "''}"))) 

(DEFUN |ISTRING;replace;$Us2$;15| (|s| |sg| |t| $)
  (PROG (|r| |k|)
    (RETURN
      (LET* ((|l| (- (SPADCALL |sg| (|getShellEntry| $ 44))
                     (|getShellEntry| $ 6)))
             (|m| (QCSIZE |s|)) (|n| (QCSIZE |t|))
             (|h| (COND
                    ((SPADCALL |sg| (|getShellEntry| $ 45))
                     (- (SPADCALL |sg| (|getShellEntry| $ 46))
                        (|getShellEntry| $ 6)))
                    ('T
                     (- (SPADCALL |s| (|getShellEntry| $ 47))
                        (|getShellEntry| $ 6))))))
        (SEQ (COND
               ((OR (OR (MINUSP |l|) (>= |h| |m|)) (< |h| (- |l| 1)))
                (EXIT (|error| "index out of range"))))
             (LETT |r|
                   (MAKE-FULL-CVEC
                       (LET ((#0=#:G1444
                                 (+ (- |m| (+ (- |h| |l|) 1)) |n|)))
                         (|check-subtype| (>= #0# 0)
                             '(|NonNegativeInteger|) #0#))
                       (|spadConstant| $ 53))
                   |ISTRING;replace;$Us2$;15|)
             (LETT |k| 0 |ISTRING;replace;$Us2$;15|)
             (LET ((|i| 0) (#1=#:G1535 (- |l| 1)))
               (LOOP
                 (COND
                   ((> |i| #1#) (RETURN NIL))
                   (T (SEQ (QESET |r| |k| (CHAR |s| |i|))
                           (EXIT (SETQ |k| (+ |k| 1))))))
                 (SETQ |i| (+ |i| 1))))
             (LET ((|i| 0) (#2=#:G1536 (- |n| 1)))
               (LOOP
                 (COND
                   ((> |i| #2#) (RETURN NIL))
                   (T (SEQ (QESET |r| |k| (CHAR |t| |i|))
                           (EXIT (SETQ |k| (+ |k| 1))))))
                 (SETQ |i| (+ |i| 1))))
             (LET ((|i| (+ |h| 1)) (#3=#:G1537 (- |m| 1)))
               (LOOP
                 (COND
                   ((> |i| #3#) (RETURN NIL))
                   (T (SEQ (QESET |r| |k| (CHAR |s| |i|))
                           (EXIT (SETQ |k| (+ |k| 1))))))
                 (SETQ |i| (+ |i| 1))))
             (EXIT |r|)))))) 

(DEFUN |ISTRING;setelt;$I2C;16| (|s| |i| |c| $)
  (SEQ (COND
         ((OR (< |i| (|getShellEntry| $ 6))
              (< (SPADCALL |s| (|getShellEntry| $ 47)) |i|))
          (|error| "index out of range"))
         ('T
          (SEQ (QESET |s| (- |i| (|getShellEntry| $ 6)) |c|)
               (EXIT |c|)))))) 

(DEFUN |ISTRING;substring?;2$IB;17| (|part| |whole| |startpos| $)
  (LET* ((|np| (QCSIZE |part|)) (|nw| (QCSIZE |whole|)))
    (SEQ (SETQ |startpos| (- |startpos| (|getShellEntry| $ 6)))
         (EXIT (COND
                 ((MINUSP |startpos|) (|error| "index out of bounds"))
                 ((< (- |nw| |startpos|) |np|) NIL)
                 ('T
                  (SEQ (LET ((|ip| 0) (#0=#:G1538 (- |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| (|getShellEntry| $ 6)))
           (EXIT (COND
                   ((MINUSP |startpos|)
                    (|error| "index out of bounds"))
                   ((>= |startpos| (QCSIZE |t|))
                    (- (|getShellEntry| $ 6) 1))
                   ('T
                    (SEQ (LETT |r| (STRPOS |s| |t| |startpos| NIL)
                               |ISTRING;position;2$2I;18|)
                         (EXIT (COND
                                 ((EQ |r| NIL)
                                  (- (|getShellEntry| $ 6) 1))
                                 ('T (+ |r| (|getShellEntry| $ 6))))))))))))) 

(DEFUN |ISTRING;position;C$2I;19| (|c| |t| |startpos| $)
  (SEQ (SETQ |startpos| (- |startpos| (|getShellEntry| $ 6)))
       (EXIT (COND
               ((MINUSP |startpos|) (|error| "index out of bounds"))
               ((>= |startpos| (QCSIZE |t|))
                (- (|getShellEntry| $ 6) 1))
               ('T
                (SEQ (LET ((|r| |startpos|)
                           (#0=#:G1539 (- (QCSIZE |t|) 1)))
                       (LOOP
                         (COND
                           ((> |r| #0#) (RETURN NIL))
                           (T (COND
                                ((CHAR= (CHAR |t| |r|) |c|)
                                 (RETURN-FROM
                                     |ISTRING;position;C$2I;19|
                                   (+ |r| (|getShellEntry| $ 6)))))))
                         (SETQ |r| (+ |r| 1))))
                     (EXIT (- (|getShellEntry| $ 6) 1)))))))) 

(DEFUN |ISTRING;position;Cc$2I;20| (|cc| |t| |startpos| $)
  (SEQ (SETQ |startpos| (- |startpos| (|getShellEntry| $ 6)))
       (EXIT (COND
               ((MINUSP |startpos|) (|error| "index out of bounds"))
               ((>= |startpos| (QCSIZE |t|))
                (- (|getShellEntry| $ 6) 1))
               ('T
                (SEQ (LET ((|r| |startpos|)
                           (#0=#:G1540 (- (QCSIZE |t|) 1)))
                       (LOOP
                         (COND
                           ((> |r| #0#) (RETURN NIL))
                           (T (COND
                                ((SPADCALL (CHAR |t| |r|) |cc|
                                     (|getShellEntry| $ 65))
                                 (RETURN-FROM
                                     |ISTRING;position;Cc$2I;20|
                                   (+ |r| (|getShellEntry| $ 6)))))))
                         (SETQ |r| (+ |r| 1))))
                     (EXIT (- (|getShellEntry| $ 6) 1)))))))) 

(DEFUN |ISTRING;suffix?;2$B;21| (|s| |t| $)
  (LET* ((|m| (SPADCALL |s| (|getShellEntry| $ 47)))
         (|n| (SPADCALL |t| (|getShellEntry| $ 47))))
    (COND
      ((< |n| |m|) NIL)
      ('T
       (|ISTRING;substring?;2$IB;17| |s| |t|
           (- (+ (|getShellEntry| $ 6) |n|) |m|) $))))) 

(DEFUN |ISTRING;split;$CL;22| (|s| |c| $)
  (PROG (|l| |j|)
    (RETURN
      (LET* ((|n| (SPADCALL |s| (|getShellEntry| $ 47)))
             (|i| (|getShellEntry| $ 6)))
        (SEQ (LOOP
               (COND
                 ((NOT (COND
                         ((< |n| |i|) NIL)
                         ('T
                          (SPADCALL (|ISTRING;elt;$IC;30| |s| |i| $)
                              |c| (|getShellEntry| $ 69)))))
                  (RETURN NIL))
                 (T (SETQ |i| (+ |i| 1)))))
             (LETT |l| NIL |ISTRING;split;$CL;22|)
             (LOOP
               (COND
                 ((NOT (COND
                         ((< |n| |i|) NIL)
                         ('T
                          (>= (LETT |j|
                                    (|ISTRING;position;C$2I;19| |c| |s|
                                     |i| $)
                                    |ISTRING;split;$CL;22|)
                              (|getShellEntry| $ 6)))))
                  (RETURN NIL))
                 (T (SEQ (SETQ |l|
                               (SPADCALL
                                   (|ISTRING;elt;$Us$;31| |s|
                                    (SPADCALL |i| (- |j| 1)
                                     (|getShellEntry| $ 24))
                                    $)
                                   |l| (|getShellEntry| $ 72)))
                         (SETQ |i| |j|)
                         (EXIT (LOOP
                                 (COND
                                   ((NOT
                                     (COND
                                       ((< |n| |i|) NIL)
                                       ('T
                                        (SPADCALL
                                         (|ISTRING;elt;$IC;30| |s| |i|
                                          $)
                                         |c| (|getShellEntry| $ 69)))))
                                    (RETURN NIL))
                                   (T (SETQ |i| (+ |i| 1))))))))))
             (COND
               ((NOT (< |n| |i|))
                (SETQ |l|
                      (SPADCALL
                          (|ISTRING;elt;$Us$;31| |s|
                              (SPADCALL |i| |n| (|getShellEntry| $ 24))
                              $)
                          |l| (|getShellEntry| $ 72)))))
             (EXIT (NREVERSE |l|))))))) 

(DEFUN |ISTRING;split;$CcL;23| (|s| |cc| $)
  (PROG (|l| |j|)
    (RETURN
      (LET* ((|n| (SPADCALL |s| (|getShellEntry| $ 47)))
             (|i| (|getShellEntry| $ 6)))
        (SEQ (LOOP
               (COND
                 ((NOT (COND
                         ((< |n| |i|) NIL)
                         ('T
                          (SPADCALL (|ISTRING;elt;$IC;30| |s| |i| $)
                              |cc| (|getShellEntry| $ 65)))))
                  (RETURN NIL))
                 (T (SETQ |i| (+ |i| 1)))))
             (LETT |l| NIL |ISTRING;split;$CcL;23|)
             (LOOP
               (COND
                 ((NOT (COND
                         ((< |n| |i|) NIL)
                         ('T
                          (>= (LETT |j|
                                    (|ISTRING;position;Cc$2I;20| |cc|
                                     |s| |i| $)
                                    |ISTRING;split;$CcL;23|)
                              (|getShellEntry| $ 6)))))
                  (RETURN NIL))
                 (T (SEQ (SETQ |l|
                               (SPADCALL
                                   (|ISTRING;elt;$Us$;31| |s|
                                    (SPADCALL |i| (- |j| 1)
                                     (|getShellEntry| $ 24))
                                    $)
                                   |l| (|getShellEntry| $ 72)))
                         (SETQ |i| |j|)
                         (EXIT (LOOP
                                 (COND
                                   ((NOT
                                     (COND
                                       ((< |n| |i|) NIL)
                                       ('T
                                        (SPADCALL
                                         (|ISTRING;elt;$IC;30| |s| |i|
                                          $)
                                         |cc| (|getShellEntry| $ 65)))))
                                    (RETURN NIL))
                                   (T (SETQ |i| (+ |i| 1))))))))))
             (COND
               ((NOT (< |n| |i|))
                (SETQ |l|
                      (SPADCALL
                          (|ISTRING;elt;$Us$;31| |s|
                              (SPADCALL |i| |n| (|getShellEntry| $ 24))
                              $)
                          |l| (|getShellEntry| $ 72)))))
             (EXIT (NREVERSE |l|))))))) 

(DEFUN |ISTRING;leftTrim;$C$;24| (|s| |c| $)
  (LET* ((|n| (SPADCALL |s| (|getShellEntry| $ 47)))
         (|i| (|getShellEntry| $ 6)))
    (SEQ (LOOP
           (COND
             ((NOT (COND
                     ((< |n| |i|) NIL)
                     ('T
                      (SPADCALL (|ISTRING;elt;$IC;30| |s| |i| $) |c|
                                (|getShellEntry| $ 69)))))
              (RETURN NIL))
             (T (SETQ |i| (+ |i| 1)))))
         (EXIT (|ISTRING;elt;$Us$;31| |s|
                   (SPADCALL |i| |n| (|getShellEntry| $ 24)) $))))) 

(DEFUN |ISTRING;leftTrim;$Cc$;25| (|s| |cc| $)
  (LET* ((|n| (SPADCALL |s| (|getShellEntry| $ 47)))
         (|i| (|getShellEntry| $ 6)))
    (SEQ (LOOP
           (COND
             ((NOT (COND
                     ((< |n| |i|) NIL)
                     ('T
                      (SPADCALL (|ISTRING;elt;$IC;30| |s| |i| $) |cc|
                                (|getShellEntry| $ 65)))))
              (RETURN NIL))
             (T (SETQ |i| (+ |i| 1)))))
         (EXIT (|ISTRING;elt;$Us$;31| |s|
                   (SPADCALL |i| |n| (|getShellEntry| $ 24)) $))))) 

(DEFUN |ISTRING;rightTrim;$C$;26| (|s| |c| $)
  (LET ((|j| (SPADCALL |s| (|getShellEntry| $ 47))))
    (SEQ (LOOP
           (COND
             ((NOT (COND
                     ((>= |j| (|getShellEntry| $ 6))
                      (SPADCALL (|ISTRING;elt;$IC;30| |s| |j| $) |c|
                          (|getShellEntry| $ 69)))
                     ('T NIL)))
              (RETURN NIL))
             (T (SETQ |j| (- |j| 1)))))
         (EXIT (|ISTRING;elt;$Us$;31| |s|
                   (SPADCALL (|ISTRING;minIndex;$I;11| |s| $) |j|
                       (|getShellEntry| $ 24))
                   $))))) 

(DEFUN |ISTRING;rightTrim;$Cc$;27| (|s| |cc| $)
  (LET ((|j| (SPADCALL |s| (|getShellEntry| $ 47))))
    (SEQ (LOOP
           (COND
             ((NOT (COND
                     ((>= |j| (|getShellEntry| $ 6))
                      (SPADCALL (|ISTRING;elt;$IC;30| |s| |j| $) |cc|
                          (|getShellEntry| $ 65)))
                     ('T NIL)))
              (RETURN NIL))
             (T (SETQ |j| (- |j| 1)))))
         (EXIT (|ISTRING;elt;$Us$;31| |s|
                   (SPADCALL (|ISTRING;minIndex;$I;11| |s| $) |j|
                       (|getShellEntry| $ 24))
                   $))))) 

(DEFUN |ISTRING;concat;L$;28| (|l| $)
  (LET* ((|t| (SPADCALL
                  (LET ((#0=#:G1497 NIL) (#1=#:G1498 T)
                        (#2=#:G1542 |l|))
                    (LOOP
                      (COND
                        ((ATOM #2#) (RETURN (COND (#1# 0) (T #0#))))
                        (T (LET ((|s| (CAR #2#)))
                             (LET ((#3=#:G1496
                                    (SPADCALL |s|
                                     (|getShellEntry| $ 16))))
                               (COND
                                 (#1# (SETQ #0# #3#))
                                 (T (SETQ #0# (+ #0# #3#))))
                               (SETQ #1# NIL)))))
                      (SETQ #2# (CDR #2#))))
                  (|spadConstant| $ 53) (|getShellEntry| $ 9)))
         (|i| (|getShellEntry| $ 6)))
    (SEQ (LET ((#4=#:G1541 |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| (QCSIZE |s|))))))))
             (SETQ #4# (CDR #4#))))
         (EXIT |t|)))) 

(DEFUN |ISTRING;copyInto!;2$I$;29| (|y| |x| |s| $)
  (LET* ((|m| (SPADCALL |x| (|getShellEntry| $ 16)))
         (|n| (QCSIZE |y|)))
    (SEQ (SETQ |s| (- |s| (|getShellEntry| $ 6)))
         (COND
           ((OR (MINUSP |s|) (< |n| (+ |s| |m|)))
            (EXIT (|error| "index out of range"))))
         (RPLACSTR |y| |s| |m| |x| 0 |m|) (EXIT |y|)))) 

(DEFUN |ISTRING;elt;$IC;30| (|s| |i| $)
  (COND
    ((OR (< |i| (|getShellEntry| $ 6))
         (< (SPADCALL |s| (|getShellEntry| $ 47)) |i|))
     (|error| "index out of range"))
    ('T (CHAR |s| (- |i| (|getShellEntry| $ 6)))))) 

(DEFUN |ISTRING;elt;$Us$;31| (|s| |sg| $)
  (LET* ((|l| (- (SPADCALL |sg| (|getShellEntry| $ 44))
                 (|getShellEntry| $ 6)))
         (|h| (COND
                ((SPADCALL |sg| (|getShellEntry| $ 45))
                 (- (SPADCALL |sg| (|getShellEntry| $ 46))
                    (|getShellEntry| $ 6)))
                ('T
                 (- (SPADCALL |s| (|getShellEntry| $ 47))
                    (|getShellEntry| $ 6))))))
    (SEQ (COND
           ((OR (MINUSP |l|) (>= |h| (QCSIZE |s|)))
            (EXIT (|error| "index out of bound"))))
         (EXIT (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| (|getShellEntry| $ 47))))
        (SEQ (LETT |p|
                   (LET ((#0=#:G1525
                             (|ISTRING;position;C$2I;19| |dontcare|
                                 |pattern|
                                 (LETT |m|
                                       (|ISTRING;minIndex;$I;11|
                                        |pattern| $)
                                       |ISTRING;match?;2$CB;34|)
                                 $)))
                     (|check-subtype| (>= #0# 0)
                         '(|NonNegativeInteger|) #0#))
                   |ISTRING;match?;2$CB;34|)
             (EXIT (COND
                     ((EQL |p| (- |m| 1)) (EQUAL |pattern| |target|))
                     ('T
                      (SEQ (COND
                             ((SPADCALL |p| |m| (|getShellEntry| $ 87))
                              (COND
                                ((NOT (SPADCALL
                                       (|ISTRING;elt;$Us$;31| |pattern|
                                        (SPADCALL |m| (- |p| 1)
                                         (|getShellEntry| $ 24))
                                        $)
                                       |target| (|getShellEntry| $ 88)))
                                 (EXIT NIL)))))
                           (LETT |i| |p| |ISTRING;match?;2$CB;34|)
                           (LETT |q|
                                 (LET ((#1=#:G1526
                                        (|ISTRING;position;C$2I;19|
                                         |dontcare| |pattern| (+ |p| 1)
                                         $)))
                                   (|check-subtype| (>= #1# 0)
                                    '(|NonNegativeInteger|) #1#))
                                 |ISTRING;match?;2$CB;34|)
                           (LOOP
                             (COND
                               ((NOT (SPADCALL |q| (- |m| 1)
                                      (|getShellEntry| $ 87)))
                                (RETURN NIL))
                               (T (SEQ (LETT |s|
                                        (|ISTRING;elt;$Us$;31|
                                         |pattern|
                                         (SPADCALL (+ |p| 1) (- |q| 1)
                                          (|getShellEntry| $ 24))
                                         $)
                                        |ISTRING;match?;2$CB;34|)
                                       (SETQ |i|
                                        (LET
                                         ((#2=#:G1527
                                           (|ISTRING;position;2$2I;18|
                                            |s| |target| |i| $)))
                                          (|check-subtype| (>= #2# 0)
                                           '(|NonNegativeInteger|) #2#)))
                                       (EXIT
                                        (COND
                                          ((EQL |i| (- |m| 1))
                                           (RETURN-FROM
                                            |ISTRING;match?;2$CB;34|
                                             NIL))
                                          ('T
                                           (SEQ
                                            (SETQ |i|
                                             (+ |i| (QCSIZE |s|)))
                                            (SETQ |p| |q|)
                                            (EXIT
                                             (SETQ |q|
                                              (LET
                                               ((#3=#:G1528
                                                 (|ISTRING;position;C$2I;19|
                                                  |dontcare| |pattern|
                                                  (+ |q| 1) $)))
                                                (|check-subtype|
                                                 (>= #3# 0)
                                                 '(|NonNegativeInteger|)
                                                 #3#))))))))))))
                           (COND
                             ((SPADCALL |p| |n| (|getShellEntry| $ 87))
                              (COND
                                ((NOT (|ISTRING;suffix?;2$B;21|
                                       (|ISTRING;elt;$Us$;31| |pattern|
                                        (SPADCALL (+ |p| 1) |n|
                                         (|getShellEntry| $ 24))
                                        $)
                                       |target| $))
                                 (EXIT NIL)))))
                           (EXIT T)))))))))) 

(DEFUN |IndexedString| (#0=#:G1543)
  (DECLARE (SPECIAL |$ConstructorCache|))
  (PROG (#1=#:G1544)
    (RETURN
      (COND
        ((SETQ #1#
               (|lassocShiftWithFunction| (LIST (|devaluate| #0#))
                   (HGET |$ConstructorCache| '|IndexedString|)
                   '|domainEqualList|))
         (|CDRwithIncrement| #1#))
        ('T
         (UNWIND-PROTECT
           (PROG1 (|IndexedString;| #0#) (SETQ #1# T))
           (COND
             ((NOT #1#) (HREM |$ConstructorCache| '|IndexedString|))))))))) 

(DEFUN |IndexedString;| (|#1|)
  (LET* ((|dv$1| (|devaluate| |#1|))
         (|dv$| (LIST '|IndexedString| |dv$1|)) ($ (|newShell| 100))
         (|pv$| (|buildPredVector| 0 0
                    (LIST (OR (AND (|HasCategory| (|Character|)
                                    '(|OrderedSet|))
                                   (|HasCategory| (|Character|)
                                    (LIST '|Evalable| '(|Character|))))
                              (AND (|HasCategory| (|Character|)
                                    '(|SetCategory|))
                                   (|HasCategory| (|Character|)
                                    (LIST '|Evalable| '(|Character|)))))
                          (OR (|HasCategory| (|Character|)
                                  (LIST '|CoercibleTo| '(|OutputForm|)))
                              (AND (|HasCategory| (|Character|)
                                    '(|SetCategory|))
                                   (|HasCategory| (|Character|)
                                    (LIST '|Evalable| '(|Character|)))))
                          (|HasCategory| (|Character|)
                              (LIST '|ConvertibleTo| '(|InputForm|)))
                          (OR (|HasCategory| (|Character|)
                                  '(|OrderedSet|))
                              (|HasCategory| (|Character|)
                                  '(|SetCategory|)))
                          (|HasCategory| (|Character|) '(|OrderedSet|))
                          (|HasCategory| (|Integer|) '(|OrderedSet|))
                          (|HasCategory| (|Character|)
                              '(|SetCategory|))
                          (|HasCategory| (|Character|)
                              (LIST '|CoercibleTo| '(|OutputForm|)))
                          (AND (|HasCategory| (|Character|)
                                   '(|SetCategory|))
                               (|HasCategory| (|Character|)
                                   (LIST '|Evalable| '(|Character|))))))))
    (DECLARE (SPECIAL |$ConstructorCache|))
    (|setShellEntry| $ 0 |dv$|)
    (|setShellEntry| $ 3 |pv$|)
    (|haddProp| |$ConstructorCache| '|IndexedString| (LIST |dv$1|)
        (CONS 1 $))
    (|stuffDomainSlots| $)
    (|setShellEntry| $ 6 |#1|)
    $)) 

(MAKEPROP '|IndexedString| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|)
             (|NonNegativeInteger|) (|Character|) |ISTRING;new;NniC$;1|
             |ISTRING;empty;$;2| (|Integer|) (0 . |Zero|) (|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| 11) (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|
             |ISTRING;elt;$IC;30| (146 . =) (|List| $$) (152 . |empty|)
             (156 . |concat|) (162 . |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|
             (167 . |max|) (|SingleInteger|) |ISTRING;hash;$Si;32|
             |ISTRING;match;2$CNni;33| (173 . ~=) (179 . |prefix?|)
             |ISTRING;match?;2$CB;34| (|List| 8) (|Equation| 8)
             (|List| 91) (|Mapping| 8 8 8) (|InputForm|)
             (|Mapping| 13 8) (|Mapping| 13 8 8) (|Void|)
             (|Union| 8 '"failed") (|List| 11))
          '#(~= 185 |upperCase!| 191 |upperCase| 196 |trim| 201 |swap!|
             213 |suffix?| 220 |substring?| 226 |split| 233 |sorted?|
             245 |sort!| 256 |sort| 267 |size?| 278 |setelt| 284
             |select| 298 |sample| 304 |rightTrim| 308 |reverse!| 320
             |reverse| 325 |replace| 330 |removeDuplicates| 337
             |remove| 342 |reduce| 354 |qsetelt!| 375 |qelt| 382
             |prefix?| 388 |position| 394 |parts| 427 |new| 432 |more?|
             438 |minIndex| 444 |min| 449 |merge| 455 |members| 468
             |member?| 473 |maxIndex| 479 |max| 484 |match?| 490
             |match| 497 |map!| 504 |map| 510 |lowerCase!| 523
             |lowerCase| 528 |less?| 533 |leftTrim| 539 |latex| 551
             |insert| 556 |indices| 570 |index?| 575 |hash| 581 |first|
             586 |find| 591 |fill!| 597 |every?| 603 |eval| 609 |eq?|
             635 |entry?| 641 |entries| 647 |empty?| 652 |empty| 657
             |elt| 661 |delete| 686 |count| 698 |copyInto!| 710 |copy|
             717 |convert| 722 |construct| 727 |concat| 732 |coerce|
             755 |before?| 765 |any?| 771 >= 777 > 783 = 789 <= 795 <
             801 |#| 807)
          '((|shallowlyMutable| . 0) (|finiteAggregate| . 0))
          (CONS (|makeByteWordVec2| 5
                    '(0 0 0 0 0 0 0 0 5 0 0 0 1 4 0 1 2 3 4))
                (CONS '#(|StringAggregate&|
                         |OneDimensionalArrayAggregate&|
                         |FiniteLinearAggregate&| |LinearAggregate&|
                         |IndexedAggregate&| |Collection&|
                         |HomogeneousAggregate&| |EltableAggregate&|
                         |OrderedSet&| NIL |Aggregate&| NIL |Evalable&|
                         |SetCategory&| NIL |InnerEvalable&| NIL NIL
                         |BasicType&|)
                      (CONS '#((|StringAggregate|)
                               (|OneDimensionalArrayAggregate| 8)
                               (|FiniteLinearAggregate| 8)
                               (|LinearAggregate| 8)
                               (|IndexedAggregate| 11 8)
                               (|Collection| 8)
                               (|HomogeneousAggregate| 8)
                               (|EltableAggregate| 11 8) (|OrderedSet|)
                               (|Eltable| 23 $$) (|Aggregate|)
                               (|Eltable| 11 8) (|Evalable| 8)
                               (|SetCategory|) (|Type|)
                               (|InnerEvalable| 8 8) (|CoercibleTo| 29)
                               (|ConvertibleTo| 94) (|BasicType|))
                            (|makeByteWordVec2| 99
                                '(0 11 0 12 2 11 13 0 0 14 0 11 0 21 2
                                  11 0 0 0 22 2 23 0 11 11 24 1 23 0 11
                                  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 11 0 44 1 23 13 0 45
                                  1 23 11 0 46 1 0 11 0 47 0 7 0 48 2
                                  11 13 0 0 49 2 11 13 0 0 50 0 7 0 51
                                  2 11 0 0 0 52 0 8 0 53 0 54 0 55 2 7
                                  0 0 0 56 2 11 13 0 0 58 0 13 0 60 0
                                  13 0 61 2 33 13 8 0 65 2 8 13 0 0 69
                                  0 70 0 71 2 70 0 2 0 72 1 70 0 0 73 2
                                  11 0 0 0 83 2 11 13 0 0 87 2 0 13 0 0
                                  88 2 7 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 97 0 11
                                  11 1 2 0 13 0 0 67 3 0 13 0 0 11 62 2
                                  0 74 0 33 76 2 0 74 0 8 75 1 5 13 0 1
                                  2 0 13 96 0 1 1 5 0 0 1 2 0 0 96 0 1
                                  1 5 0 0 1 2 0 0 96 0 1 2 0 13 0 7 1 3
                                  0 8 0 23 8 1 3 0 8 0 11 8 59 2 0 0 95
                                  0 1 0 0 0 1 2 0 0 0 8 79 2 0 0 0 33
                                  80 1 0 0 0 1 1 0 0 0 1 3 0 0 0 23 0
                                  57 1 7 0 0 1 2 7 0 8 0 1 2 0 0 95 0 1
                                  4 7 8 93 0 8 8 1 3 0 8 93 0 8 1 2 0 8
                                  93 0 1 3 0 8 0 11 8 1 2 0 8 0 11 1 2
                                  0 13 0 0 88 3 7 11 8 0 11 64 2 7 11 8
                                  0 1 3 0 11 33 0 11 66 3 0 11 0 0 11
                                  63 2 0 11 95 0 1 1 0 90 0 1 2 0 0 7 8
                                  9 2 0 13 0 7 1 1 6 11 0 32 2 5 0 0 0
                                  1 2 5 0 0 0 1 3 0 0 96 0 0 1 1 0 90 0
                                  1 2 7 13 8 0 1 1 6 11 0 47 2 5 0 0 0
                                  1 3 0 13 0 0 8 89 3 0 7 0 0 8 86 2 0
                                  0 36 0 37 3 0 0 93 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 77 2 0 0 0 33 78 1 7 28 0 43 3
                                  0 0 8 0 11 1 3 0 0 0 0 11 27 1 0 99 0
                                  1 2 0 13 11 0 1 1 7 84 0 85 1 6 8 0 1
                                  2 0 98 95 0 1 2 0 0 0 8 1 2 0 13 95 0
                                  1 3 9 0 0 90 90 1 3 9 0 0 8 8 1 2 9 0
                                  0 92 1 2 9 0 0 91 1 2 0 13 0 0 1 2 7
                                  13 8 0 1 1 0 90 0 1 1 0 13 0 15 0 0 0
                                  10 2 0 0 0 0 1 2 0 0 0 23 25 2 0 8 0
                                  11 68 3 0 8 0 11 8 1 2 0 0 0 11 1 2 0
                                  0 0 23 1 2 7 7 8 0 1 2 0 7 95 0 1 3 0
                                  0 0 0 11 81 1 0 0 0 20 1 3 94 0 1 1 0
                                  0 90 1 2 0 0 0 0 19 1 0 0 74 82 2 0 0
                                  8 0 1 2 0 0 0 8 1 1 8 29 0 31 1 0 0 8
                                  1 2 7 13 0 0 1 2 0 13 95 0 1 2 5 13 0
                                  0 1 2 5 13 0 0 1 2 7 13 0 0 17 2 5 13
                                  0 0 1 2 5 13 0 0 18 1 0 7 0 16)))))
          '|lookupComplete|))