
(/VERSIONCHECK 2) 

(PUT '|REGSET;rep| '|SPADreplace| '(XLAM (|s|) |s|)) 

(DEFUN |REGSET;rep| (|s| $) |s|) 

(PUT '|REGSET;per| '|SPADreplace| '(XLAM (|l|) |l|)) 

(DEFUN |REGSET;per| (|l| $) |l|) 

(DEFUN |REGSET;copy;2$;3| (|ts| $)
  (|REGSET;per| (SPADCALL (|REGSET;rep| |ts| $) (QREFELT $ 11)) $)) 

(DEFUN |REGSET;empty;$;4| ($) (|REGSET;per| NIL $)) 

(DEFUN |REGSET;empty?;$B;5| (|ts| $) (NULL (|REGSET;rep| |ts| $))) 

(DEFUN |REGSET;parts;$L;6| (|ts| $) (|REGSET;rep| |ts| $)) 

(DEFUN |REGSET;members;$L;7| (|ts| $) (|REGSET;rep| |ts| $)) 

(DEFUN |REGSET;map;M2$;8| (|f| |ts| $)
  (SPADCALL (SPADCALL |f| (|REGSET;rep| |ts| $) (QREFELT $ 19)) (QREFELT $ 20))) 

(DEFUN |REGSET;map!;M2$;9| (|f| |ts| $)
  (SPADCALL (SPADCALL |f| (|REGSET;rep| |ts| $) (QREFELT $ 22)) (QREFELT $ 20))) 

(DEFUN |REGSET;member?;P$B;10| (|p| |ts| $)
  (SPADCALL |p| (|REGSET;rep| |ts| $) (QREFELT $ 24))) 

(PUT '|REGSET;roughUnitIdeal?;$B;11| '|SPADreplace| '(XLAM (|ts|) 'NIL)) 

(DEFUN |REGSET;roughUnitIdeal?;$B;11| (|ts| $) 'NIL) 

(DEFUN |REGSET;coerce;$Of;12| (|ts| $)
  (PROG (#1=#:G722 |p| #2=#:G721 |lp|)
    (RETURN
     (SEQ
      (LETT |lp| (REVERSE (|REGSET;rep| |ts| $)) . #3=(|REGSET;coerce;$Of;12|))
      (EXIT
       (SPADCALL
        (PROGN
         (LETT #2# NIL . #3#)
         (SEQ (LETT |p| NIL . #3#) (LETT #1# |lp| . #3#) G190
              (COND
               ((OR (ATOM #1#) (PROGN (LETT |p| (CAR #1#) . #3#) NIL))
                (GO G191)))
              (SEQ
               (EXIT
                (LETT #2# (CONS (SPADCALL |p| (QREFELT $ 28)) #2#) . #3#)))
              (LETT #1# (CDR #1#) . #3#) (GO G190) G191
              (EXIT (NREVERSE0 #2#))))
        (QREFELT $ 30))))))) 

(DEFUN |REGSET;mvar;$V;13| (|ts| $)
  (COND ((SPADCALL |ts| (QREFELT $ 15)) (|error| "mvar$REGSET: #1 is empty"))
        ('T (SPADCALL (|SPADfirst| (|REGSET;rep| |ts| $)) (QREFELT $ 32))))) 

(DEFUN |REGSET;first;$U;14| (|ts| $)
  (COND ((SPADCALL |ts| (QREFELT $ 15)) (CONS 1 "failed"))
        ('T (CONS 0 (|SPADfirst| (|REGSET;rep| |ts| $)))))) 

(DEFUN |REGSET;last;$U;15| (|ts| $)
  (COND ((SPADCALL |ts| (QREFELT $ 15)) (CONS 1 "failed"))
        ('T (CONS 0 (SPADCALL (|REGSET;rep| |ts| $) (QREFELT $ 36)))))) 

(DEFUN |REGSET;rest;$U;16| (|ts| $)
  (COND ((SPADCALL |ts| (QREFELT $ 15)) (CONS 1 "failed"))
        ('T (CONS 0 (|REGSET;per| (CDR (|REGSET;rep| |ts| $)) $))))) 

(DEFUN |REGSET;coerce;$L;17| (|ts| $) (|REGSET;rep| |ts| $)) 

(DEFUN |REGSET;collectUpper;$V$;18| (|ts| |v| $)
  (PROG (|lp| |newlp|)
    (RETURN
     (SEQ
      (COND ((SPADCALL |ts| (QREFELT $ 15)) |ts|)
            ('T
             (SEQ
              (LETT |lp| (|REGSET;rep| |ts| $)
                    . #1=(|REGSET;collectUpper;$V$;18|))
              (LETT |newlp| NIL . #1#)
              (SEQ G190
                   (COND
                    ((NULL
                      (COND ((NULL |lp|) 'NIL)
                            ('T
                             (SPADCALL |v|
                                       (SPADCALL (|SPADfirst| |lp|)
                                                 (QREFELT $ 32))
                                       (QREFELT $ 41)))))
                     (GO G191)))
                   (SEQ (LETT |newlp| (CONS (|SPADfirst| |lp|) |newlp|) . #1#)
                        (EXIT (LETT |lp| (CDR |lp|) . #1#)))
                   NIL (GO G190) G191 (EXIT NIL))
              (EXIT (|REGSET;per| (REVERSE |newlp|) $))))))))) 

(DEFUN |REGSET;collectUnder;$V$;19| (|ts| |v| $)
  (PROG (|lp|)
    (RETURN
     (SEQ
      (COND ((SPADCALL |ts| (QREFELT $ 15)) |ts|)
            ('T
             (SEQ
              (LETT |lp| (|REGSET;rep| |ts| $)
                    . #1=(|REGSET;collectUnder;$V$;19|))
              (SEQ G190
                   (COND
                    ((NULL
                      (COND
                       ((OR (NULL |lp|)
                            (SPADCALL
                             (SPADCALL (|SPADfirst| |lp|) (QREFELT $ 32)) |v|
                             (QREFELT $ 41)))
                        'NIL)
                       ('T 'T)))
                     (GO G191)))
                   (SEQ (EXIT (LETT |lp| (CDR |lp|) . #1#))) NIL (GO G190) G191
                   (EXIT NIL))
              (EXIT (|REGSET;per| |lp| $))))))))) 

(DEFUN |REGSET;construct;L$;20| (|lp| $)
  (PROG (|ts| |eif|)
    (RETURN
     (SEQ (LETT |ts| (|REGSET;per| NIL $) . #1=(|REGSET;construct;L$;20|))
          (EXIT
           (COND ((NULL |lp|) |ts|)
                 ('T
                  (SEQ
                   (LETT |lp| (SPADCALL (ELT $ 44) |lp| (QREFELT $ 46)) . #1#)
                   (SEQ G190
                        (COND
                         ((NULL (COND ((NULL |lp|) 'NIL) ('T 'T))) (GO G191)))
                        (SEQ
                         (LETT |eif|
                               (SPADCALL |ts| (|SPADfirst| |lp|)
                                         (QREFELT $ 47))
                               . #1#)
                         (EXIT
                          (COND
                           ((QEQCAR |eif| 0)
                            (SEQ (LETT |ts| (QCDR |eif|) . #1#)
                                 (EXIT (LETT |lp| (CDR |lp|) . #1#))))
                           ('T
                            (|error|
                             "in construct : List P -> %  from REGSET : bad #1")))))
                        NIL (GO G190) G191 (EXIT NIL))
                   (EXIT |ts|))))))))) 

(DEFUN |REGSET;extendIfCan;$PU;21| (|ts| |p| $)
  (SEQ
   (COND ((SPADCALL |p| (QREFELT $ 48)) (CONS 1 "failed"))
         ((SPADCALL |ts| (QREFELT $ 15))
          (SEQ
           (LETT |p| (SPADCALL |p| (QREFELT $ 49)) |REGSET;extendIfCan;$PU;21|)
           (EXIT (CONS 0 (|REGSET;per| (LIST |p|) $)))))
         ((NULL
           (SPADCALL (SPADCALL |ts| (QREFELT $ 33))
                     (SPADCALL |p| (QREFELT $ 32)) (QREFELT $ 41)))
          (CONS 1 "failed"))
         ('T
          (COND
           ((SPADCALL (SPADCALL |p| (QREFELT $ 50)) |ts| (QREFELT $ 51))
            (CONS 0 (|REGSET;per| (CONS |p| (|REGSET;rep| |ts| $)) $)))
           ('T (CONS 1 "failed"))))))) 

(DEFUN |REGSET;removeZero;P$P;22| (|p| |ts| $)
  (PROG (|q| #1=#:G791 #2=#:G782 |tsv-| |v|)
    (RETURN
     (SEQ
      (EXIT
       (COND
        ((OR (SPADCALL |p| (QREFELT $ 48)) (SPADCALL |ts| (QREFELT $ 15))) |p|)
        ('T
         (SEQ
          (LETT |v| (SPADCALL |p| (QREFELT $ 32))
                . #3=(|REGSET;removeZero;P$P;22|))
          (LETT |tsv-| (SPADCALL |ts| |v| (QREFELT $ 43)) . #3#)
          (COND
           ((SPADCALL |v| |ts| (QREFELT $ 52))
            (SEQ
             (LETT |q|
                   (SPADCALL |p|
                             (PROG2
                                 (LETT #2# (SPADCALL |ts| |v| (QREFELT $ 53))
                                       . #3#)
                                 (QCDR #2#)
                               (|check-union| (QEQCAR #2# 0) (QREFELT $ 9)
                                              #2#))
                             (QREFELT $ 54))
                   . #3#)
             (EXIT
              (COND
               ((SPADCALL |q| (QREFELT $ 55))
                (PROGN (LETT #1# |q| . #3#) (GO #1#)))
               ((SPADCALL (SPADCALL |q| |tsv-| (QREFELT $ 56)) (QREFELT $ 55))
                (PROGN (LETT #1# (|spadConstant| $ 57) . #3#) (GO #1#))))))))
          (EXIT
           (COND ((SPADCALL |tsv-| (QREFELT $ 15)) |p|)
                 ('T
                  (SEQ (LETT |q| (|spadConstant| $ 57) . #3#)
                       (SEQ G190
                            (COND
                             ((NULL
                               (SPADCALL (SPADCALL |p| |v| (QREFELT $ 59))
                                         (QREFELT $ 61)))
                              (GO G191)))
                            (SEQ
                             (LETT |q|
                                   (SPADCALL
                                    (SPADCALL
                                     (SPADCALL (SPADCALL |p| (QREFELT $ 50))
                                               |tsv-| (QREFELT $ 56))
                                     (SPADCALL |p| (QREFELT $ 62))
                                     (QREFELT $ 63))
                                    |q| (QREFELT $ 64))
                                   . #3#)
                             (EXIT
                              (LETT |p| (SPADCALL |p| (QREFELT $ 65)) . #3#)))
                            NIL (GO G190) G191 (EXIT NIL))
                       (EXIT
                        (SPADCALL |q| (SPADCALL |p| |tsv-| (QREFELT $ 56))
                                  (QREFELT $ 64)))))))))))
      #1# (EXIT #1#))))) 

(DEFUN |REGSET;internalAugment;P2$;23| (|p| |ts| $)
  (COND
   ((SPADCALL |p| (QREFELT $ 48))
    (|error| "in internalAugment$REGSET: ground? #1"))
   ('T
    (SPADCALL (SPADCALL |p| |ts| 'NIL 'NIL 'NIL 'NIL 'NIL (QREFELT $ 66))
              (QREFELT $ 68))))) 

(DEFUN |REGSET;internalAugment;L2$;24| (|lp| |ts| $)
  (COND ((NULL |lp|) |ts|)
        ('T
         (SPADCALL (CDR |lp|) (SPADCALL (|SPADfirst| |lp|) |ts| (QREFELT $ 69))
                   (QREFELT $ 70))))) 

(DEFUN |REGSET;internalAugment;P$5BL;25|
       (|p| |ts| |rem?| |red?| |prim?| |sqfr?| |extend?| $)
  (PROG (#1=#:G806 |us| #2=#:G805 |lts| #3=#:G804 |f| #4=#:G803 |lsfp| |tsv+|
         |tsv-| |v|)
    (RETURN
     (SEQ
      (LETT |v| (SPADCALL |p| (QREFELT $ 32))
            . #5=(|REGSET;internalAugment;P$5BL;25|))
      (LETT |tsv-| (SPADCALL |ts| |v| (QREFELT $ 43)) . #5#)
      (LETT |tsv+| (SPADCALL |ts| |v| (QREFELT $ 42)) . #5#)
      (COND
       (|rem?|
        (LETT |p| (QVELT (SPADCALL |p| |tsv-| (QREFELT $ 72)) 1) . #5#)))
      (COND (|red?| (LETT |p| (SPADCALL |p| |tsv-| (QREFELT $ 56)) . #5#)))
      (COND (|prim?| (LETT |p| (SPADCALL |p| (QREFELT $ 73)) . #5#)))
      (COND
       (|sqfr?|
        (SEQ (LETT |lsfp| (SPADCALL |p| (QREFELT $ 75)) . #5#)
             (EXIT
              (LETT |lts|
                    (PROGN
                     (LETT #4# NIL . #5#)
                     (SEQ (LETT |f| NIL . #5#) (LETT #3# |lsfp| . #5#) G190
                          (COND
                           ((OR (ATOM #3#)
                                (PROGN (LETT |f| (CAR #3#) . #5#) NIL))
                            #6=(GO G191)))
                          (SEQ
                           (EXIT
                            (LETT #4#
                                  (CONS
                                   (|REGSET;per|
                                    (CONS |f| (|REGSET;rep| |tsv-| $)) $)
                                   #4#)
                                  . #5#)))
                          (LETT #3# (CDR #3#) . #5#) #7=(GO G190) G191
                          (EXIT (NREVERSE0 #4#))))
                    . #5#))))
       (#8='T
        (LETT |lts| (LIST (|REGSET;per| (CONS |p| (|REGSET;rep| |tsv-| $)) $))
              . #5#)))
      (EXIT
       (COND
        (|extend?|
         (SPADCALL (SPADCALL |tsv+| (QREFELT $ 17)) |lts| (QREFELT $ 76)))
        (#8#
         (PROGN
          (LETT #2# NIL . #5#)
          (SEQ (LETT |us| NIL . #5#) (LETT #1# |lts| . #5#) G190
               (COND
                ((OR (ATOM #1#) (PROGN (LETT |us| (CAR #1#) . #5#) NIL)) #6#))
               (SEQ
                (EXIT
                 (LETT #2#
                       (CONS
                        (|REGSET;per|
                         (SPADCALL (|REGSET;rep| |tsv+| $)
                                   (|REGSET;rep| |us| $) (QREFELT $ 77))
                         $)
                        #2#)
                       . #5#)))
               (LETT #1# (CDR #1#) . #5#) #7# G191
               (EXIT (NREVERSE0 #2#))))))))))) 

(DEFUN |REGSET;augment;P$L;26| (|p| |ts| $)
  (COND
   ((SPADCALL |p| (QREFELT $ 48)) (|error| "in augment$REGSET: ground? #1"))
   ((SPADCALL (SPADCALL |p| (QREFELT $ 32)) |ts| (QREFELT $ 52))
    (|error| "in augment$REGSET: bad #1"))
   ('T (SPADCALL |p| |ts| 'T 'T 'T 'T 'T (QREFELT $ 66))))) 

(DEFUN |REGSET;extend;P$L;27| (|p| |ts| $)
  (PROG (|lts| #1=#:G815 |us| |split| |v|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL |p| (QREFELT $ 48)) (|error| "in extend$REGSET: ground? #1"))
       ('T
        (SEQ
         (LETT |v| (SPADCALL |p| (QREFELT $ 32)) . #2=(|REGSET;extend;P$L;27|))
         (COND
          ((NULL
            (SPADCALL (SPADCALL |ts| (QREFELT $ 33))
                      (SPADCALL |p| (QREFELT $ 32)) (QREFELT $ 41)))
           (EXIT (|error| "in extend$REGSET: bad #1"))))
         (LETT |lts| NIL . #2#)
         (LETT |split|
               (SPADCALL (SPADCALL |p| (QREFELT $ 50)) |ts| (QREFELT $ 79))
               . #2#)
         (SEQ (LETT |us| NIL . #2#) (LETT #1# |split| . #2#) G190
              (COND
               ((OR (ATOM #1#) (PROGN (LETT |us| (CAR #1#) . #2#) NIL))
                (GO G191)))
              (SEQ
               (EXIT
                (LETT |lts|
                      (SPADCALL (SPADCALL |p| |us| (QREFELT $ 78)) |lts|
                                (QREFELT $ 80))
                      . #2#)))
              (LETT #1# (CDR #1#) . #2#) (GO G190) G191 (EXIT NIL))
         (EXIT |lts|)))))))) 

(DEFUN |REGSET;invertible?;P$B;28| (|p| |ts| $)
  (SPADCALL |p| |ts| (QREFELT $ 83))) 

(DEFUN |REGSET;invertible?;P$L;29| (|p| |ts| $)
  (SPADCALL |p| |ts| (QREFELT $ 86))) 

(DEFUN |REGSET;invertibleSet;P$L;30| (|p| |ts| $)
  (SPADCALL |p| |ts| (QREFELT $ 90))) 

(DEFUN |REGSET;lastSubResultant;2P$L;31| (|p1| |p2| |ts| $)
  (SPADCALL |p1| |p2| |ts| (QREFELT $ 93))) 

(DEFUN |REGSET;squareFreePart;P$L;32| (|p| |ts| $)
  (SPADCALL |p| |ts| (QREFELT $ 97))) 

(DEFUN |REGSET;intersect;P$L;33| (|p| |ts| $)
  (SPADCALL (LIST |p|) (LIST |ts|) 'NIL 'NIL (QREFELT $ 100))) 

(DEFUN |REGSET;intersect;L2L;34| (|lp| |lts| $)
  (SPADCALL |lp| |lts| 'NIL 'NIL (QREFELT $ 100))) 

(DEFUN |REGSET;zeroSetSplit;LL;35| (|lp| $)
  (SPADCALL |lp| 'T 'NIL (QREFELT $ 103))) 

(DEFUN |REGSET;zeroSetSplit;LBL;36| (|lp| |clos?| $)
  (SPADCALL |lp| |clos?| 'NIL (QREFELT $ 103))) 

(DEFUN |REGSET;zeroSetSplit;L2BL;37| (|lp| |clos?| |info?| $)
  (SPADCALL |lp| 'T |clos?| |info?| 'T (QREFELT $ 106))) 

(DEFUN |REGSET;zeroSetSplit;L4BL;38| (|lp| |hash?| |clos?| |info?| |prep?| $)
  (PROG (|lts| |dom3| |dom2| |dom1| |#G94| |#G93| |#G92| |#G91| |#G90| |#G89|
         |s3| |s2| |s1| |#G85| |#G84| |#G83| |#G82| |#G81| |#G80| |e|)
    (RETURN
     (SEQ
      (COND
       (|hash?|
        (SEQ (LETT |e| (MAKE-FULL-CVEC 0) . #1=(|REGSET;zeroSetSplit;L4BL;38|))
             (COND
              (|info?|
               (PROGN
                (LETT |#G80| "w" . #1#)
                (LETT |#G81| "g" . #1#)
                (LETT |#G82| "i" . #1#)
                (LETT |s1| |#G80| . #1#)
                (LETT |s2| |#G81| . #1#)
                (LETT |s3| |#G82| . #1#)))
              (#2='T
               (PROGN
                (LETT |#G83| |e| . #1#)
                (LETT |#G84| |e| . #1#)
                (LETT |#G85| |e| . #1#)
                (LETT |s1| |#G83| . #1#)
                (LETT |s2| |#G84| . #1#)
                (LETT |s3| |#G85| . #1#))))
             (COND
              (|info?|
               (PROGN
                (LETT |#G89| "QCMPACK" . #1#)
                (LETT |#G90| "REGSETGCD: Gcd" . #1#)
                (LETT |#G91| "REGSETGCD: Inv Set" . #1#)
                (LETT |dom1| |#G89| . #1#)
                (LETT |dom2| |#G90| . #1#)
                (LETT |dom3| |#G91| . #1#)))
              (#2#
               (PROGN
                (LETT |#G92| |e| . #1#)
                (LETT |#G93| |e| . #1#)
                (LETT |#G94| |e| . #1#)
                (LETT |dom1| |#G92| . #1#)
                (LETT |dom2| |#G93| . #1#)
                (LETT |dom3| |#G94| . #1#))))
             (SPADCALL |s1| "W" |dom1| (QREFELT $ 110))
             (SPADCALL |s2| "G" |dom2| (QREFELT $ 111))
             (EXIT (SPADCALL |s3| "I" |dom3| (QREFELT $ 112))))))
      (LETT |lts| (SPADCALL |lp| |clos?| |info?| |prep?| (QREFELT $ 113))
            . #1#)
      (COND
       (|hash?|
        (SEQ (SPADCALL (QREFELT $ 114)) (SPADCALL (QREFELT $ 115))
             (EXIT (SPADCALL (QREFELT $ 116))))))
      (EXIT |lts|))))) 

(DEFUN |REGSET;internalZeroSetSplit;L3BL;39| (|lp| |clos?| |info?| |prep?| $)
  (PROG (|lts| #1=#:G853 |p| |ts| |pp|)
    (RETURN
     (SEQ
      (COND
       (|prep?|
        (SEQ
         (LETT |pp| (SPADCALL |lp| |clos?| |info?| (QREFELT $ 118))
               . #2=(|REGSET;internalZeroSetSplit;L3BL;39|))
         (LETT |lp| (QCAR |pp|) . #2#) (EXIT (LETT |lts| (QCDR |pp|) . #2#))))
       (#3='T
        (SEQ (LETT |ts| (SPADCALL NIL (QREFELT $ 20)) . #2#)
             (EXIT (LETT |lts| (LIST |ts|) . #2#)))))
      (LETT |lp| (SPADCALL (ELT $ 55) |lp| (QREFELT $ 120)) . #2#)
      (EXIT
       (COND ((SPADCALL (ELT $ 48) |lp| (QREFELT $ 121)) NIL)
             ((OR (NULL |lp|) (SPADCALL |lts| (QREFELT $ 122))) |lts|)
             ('T
              (SEQ (LETT |lp| (SPADCALL (ELT $ 44) |lp| (QREFELT $ 46)) . #2#)
                   (EXIT
                    (COND
                     (|clos?|
                      (SPADCALL |lp| |lts| |clos?| |info?| (QREFELT $ 100)))
                     (#3#
                      (SEQ
                       (SEQ (LETT |p| NIL . #2#) (LETT #1# |lp| . #2#) G190
                            (COND
                             ((OR (ATOM #1#)
                                  (PROGN (LETT |p| (CAR #1#) . #2#) NIL))
                              (GO G191)))
                            (SEQ
                             (EXIT
                              (LETT |lts|
                                    (SPADCALL (LIST |p|) |lts| |clos?| |info?|
                                              (QREFELT $ 100))
                                    . #2#)))
                            (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                            (EXIT NIL))
                       (EXIT |lts|))))))))))))) 

(DEFUN |REGSET;largeSystem?| (|lp| $)
  (PROG (|lts|)
    (RETURN
     (SEQ
      (COND ((< 16 (LENGTH |lp|)) 'T) ((< (LENGTH |lp|) 13) 'NIL)
            ('T
             (SEQ (LETT |lts| NIL |REGSET;largeSystem?|)
                  (EXIT
                   (< 3
                      (- (LENGTH |lp|)
                         (SPADCALL |lp| |lts| (QREFELT $ 123)))))))))))) 

(DEFUN |REGSET;smallSystem?| (|lp| $) (< (LENGTH |lp|) 5)) 

(DEFUN |REGSET;mediumSystem?| (|lp| $)
  (PROG (|lts|)
    (RETURN
     (SEQ (LETT |lts| NIL |REGSET;mediumSystem?|)
          (EXIT
           (< (- (SPADCALL |lp| |lts| (QREFELT $ 123)) (LENGTH |lp|)) 2)))))) 

(DEFUN |REGSET;lin?| (|p| $)
  (COND
   ((SPADCALL (SPADCALL |p| (QREFELT $ 50)) (QREFELT $ 48))
    (EQL (SPADCALL |p| (QREFELT $ 124)) 1))
   ('T 'NIL))) 

(DEFUN |REGSET;preprocess;L2BR;44| (|lp| |clos?| |info?| $)
  (PROG (#1=#:G891 |lp2| |lts| #2=#:G904 |p| |lp3| #3=#:G903 |lp4| #4=#:G902
         #5=#:G901 #6=#:G900 #7=#:G899 #8=#:G898 #9=#:G897 #10=#:G896
         #11=#:G895 #12=#:G894 #13=#:G893 |lp1| #14=#:G892 |ts|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |ts| (SPADCALL NIL (QREFELT $ 20))
              . #15=(|REGSET;preprocess;L2BR;44|))
        (LETT |lts| (LIST |ts|) . #15#)
        (EXIT
         (COND ((NULL |lp|) (CONS |lp| |lts|))
               (#16='T
                (SEQ (LETT |lp1| NIL . #15#) (LETT |lp2| NIL . #15#)
                     (SEQ (LETT |p| NIL . #15#) (LETT #14# |lp| . #15#) G190
                          (COND
                           ((OR (ATOM #14#)
                                (PROGN (LETT |p| (CAR #14#) . #15#) NIL))
                            #17=(GO G191)))
                          (SEQ
                           (EXIT
                            (COND
                             ((SPADCALL (SPADCALL |p| (QREFELT $ 65))
                                        (QREFELT $ 48))
                              (LETT |lp1| (CONS |p| |lp1|) . #15#))
                             ('T (LETT |lp2| (CONS |p| |lp2|) . #15#)))))
                          (LETT #14# (CDR #14#) . #15#) #18=(GO G190) G191
                          (EXIT NIL))
                     (LETT |lts|
                           (SPADCALL |lp1| (LIST |ts|) |clos?| |info?|
                                     (QREFELT $ 100))
                           . #15#)
                     (EXIT
                      (COND
                       ((SPADCALL |lp| (QREFELT $ 126))
                        (COND
                         ((|REGSET;largeSystem?| |lp| $)
                          (PROGN
                           (LETT #1# (CONS |lp2| |lts|) . #15#)
                           (GO #1#)))
                         (#16#
                          (SEQ
                           (COND
                            ((< 7 (LENGTH |lp|))
                             (SEQ
                              (LETT |lp2| (SPADCALL |lp2| (QREFELT $ 127))
                                    . #15#)
                              (LETT |lp2|
                                    (SPADCALL (ELT $ 55) |lp2| (QREFELT $ 120))
                                    . #15#)
                              (EXIT
                               (COND
                                ((SPADCALL (ELT $ 48) |lp2| (QREFELT $ 121))
                                 (PROGN
                                  (LETT #1# (CONS |lp2| |lts|) . #15#)
                                  (GO #1#)))
                                (#16#
                                 (SEQ
                                  (LETT |lp3|
                                        (PROGN
                                         (LETT #13# NIL . #15#)
                                         (SEQ (LETT |p| NIL . #15#)
                                              (LETT #12# |lp2| . #15#) G190
                                              (COND
                                               ((OR (ATOM #12#)
                                                    (PROGN
                                                     (LETT |p| (CAR #12#)
                                                           . #15#)
                                                     NIL))
                                                #17#))
                                              (SEQ
                                               (EXIT
                                                (COND
                                                 ((|REGSET;lin?| |p| $)
                                                  (LETT #13# (CONS |p| #13#)
                                                        . #15#)))))
                                              (LETT #12# (CDR #12#) . #15#)
                                              #18# G191
                                              (EXIT (NREVERSE0 #13#))))
                                        . #15#)
                                  (LETT |lp4|
                                        (PROGN
                                         (LETT #11# NIL . #15#)
                                         (SEQ (LETT |p| NIL . #15#)
                                              (LETT #10# |lp2| . #15#) G190
                                              (COND
                                               ((OR (ATOM #10#)
                                                    (PROGN
                                                     (LETT |p| (CAR #10#)
                                                           . #15#)
                                                     NIL))
                                                #17#))
                                              (SEQ
                                               (EXIT
                                                (COND
                                                 ((COND
                                                   ((|REGSET;lin?| |p| $) 'NIL)
                                                   (#16# 'T))
                                                  (LETT #11# (CONS |p| #11#)
                                                        . #15#)))))
                                              (LETT #10# (CDR #10#) . #15#)
                                              #18# G191
                                              (EXIT (NREVERSE0 #11#))))
                                        . #15#)
                                  (COND
                                   (|clos?|
                                    (LETT |lts|
                                          (SPADCALL |lp4| |lts| |clos?| |info?|
                                                    (QREFELT $ 100))
                                          . #15#))
                                   (#16#
                                    (SEQ
                                     (LETT |lp4|
                                           (SPADCALL (ELT $ 44) |lp4|
                                                     (QREFELT $ 46))
                                           . #15#)
                                     (EXIT
                                      (SEQ (LETT |p| NIL . #15#)
                                           (LETT #9# |lp4| . #15#) G190
                                           (COND
                                            ((OR (ATOM #9#)
                                                 (PROGN
                                                  (LETT |p| (CAR #9#) . #15#)
                                                  NIL))
                                             #17#))
                                           (SEQ
                                            (EXIT
                                             (LETT |lts|
                                                   (SPADCALL (LIST |p|) |lts|
                                                             |clos?| |info?|
                                                             (QREFELT $ 100))
                                                   . #15#)))
                                           (LETT #9# (CDR #9#) . #15#) #18#
                                           G191 (EXIT NIL))))))
                                  (EXIT (LETT |lp2| |lp3| . #15#))))))))
                            (#16#
                             (SEQ
                              (LETT |lp2| (SPADCALL |lp2| (QREFELT $ 127))
                                    . #15#)
                              (LETT |lp2|
                                    (SPADCALL (ELT $ 55) |lp2| (QREFELT $ 120))
                                    . #15#)
                              (EXIT
                               (COND
                                ((SPADCALL (ELT $ 48) |lp2| (QREFELT $ 121))
                                 (PROGN
                                  (LETT #1# (CONS |lp2| |lts|) . #15#)
                                  (GO #1#))))))))
                           (COND
                            (|clos?|
                             (LETT |lts|
                                   (SPADCALL |lp2| |lts| |clos?| |info?|
                                             (QREFELT $ 100))
                                   . #15#))
                            (#16#
                             (SEQ
                              (LETT |lp2|
                                    (SPADCALL (ELT $ 44) |lp2| (QREFELT $ 46))
                                    . #15#)
                              (EXIT
                               (SEQ (LETT |p| NIL . #15#)
                                    (LETT #8# |lp2| . #15#) G190
                                    (COND
                                     ((OR (ATOM #8#)
                                          (PROGN
                                           (LETT |p| (CAR #8#) . #15#)
                                           NIL))
                                      #17#))
                                    (SEQ
                                     (EXIT
                                      (LETT |lts|
                                            (SPADCALL (LIST |p|) |lts| |clos?|
                                                      |info?| (QREFELT $ 100))
                                            . #15#)))
                                    (LETT #8# (CDR #8#) . #15#) #18# G191
                                    (EXIT NIL))))))
                           (LETT |lp2| NIL . #15#)
                           (EXIT
                            (PROGN
                             (LETT #1# (CONS |lp2| |lts|) . #15#)
                             (GO #1#)))))))
                       ((|REGSET;smallSystem?| |lp| $) (CONS |lp2| |lts|))
                       ((|REGSET;mediumSystem?| |lp| $)
                        (CONS (SPADCALL |lp2| (QREFELT $ 127)) |lts|))
                       (#16#
                        (SEQ
                         (LETT |lp3|
                               (PROGN
                                (LETT #7# NIL . #15#)
                                (SEQ (LETT |p| NIL . #15#)
                                     (LETT #6# |lp2| . #15#) G190
                                     (COND
                                      ((OR (ATOM #6#)
                                           (PROGN
                                            (LETT |p| (CAR #6#) . #15#)
                                            NIL))
                                       #17#))
                                     (SEQ
                                      (EXIT
                                       (COND
                                        ((|REGSET;lin?| |p| $)
                                         (LETT #7# (CONS |p| #7#) . #15#)))))
                                     (LETT #6# (CDR #6#) . #15#) #18# G191
                                     (EXIT (NREVERSE0 #7#))))
                               . #15#)
                         (LETT |lp4|
                               (PROGN
                                (LETT #5# NIL . #15#)
                                (SEQ (LETT |p| NIL . #15#)
                                     (LETT #4# |lp2| . #15#) G190
                                     (COND
                                      ((OR (ATOM #4#)
                                           (PROGN
                                            (LETT |p| (CAR #4#) . #15#)
                                            NIL))
                                       #17#))
                                     (SEQ
                                      (EXIT
                                       (COND
                                        ((COND ((|REGSET;lin?| |p| $) 'NIL)
                                               (#16# 'T))
                                         (LETT #5# (CONS |p| #5#) . #15#)))))
                                     (LETT #4# (CDR #4#) . #15#) #18# G191
                                     (EXIT (NREVERSE0 #5#))))
                               . #15#)
                         (COND
                          (|clos?|
                           (LETT |lts|
                                 (SPADCALL |lp4| |lts| |clos?| |info?|
                                           (QREFELT $ 100))
                                 . #15#))
                          (#16#
                           (SEQ
                            (LETT |lp4|
                                  (SPADCALL (ELT $ 44) |lp4| (QREFELT $ 46))
                                  . #15#)
                            (EXIT
                             (SEQ (LETT |p| NIL . #15#) (LETT #3# |lp4| . #15#)
                                  G190
                                  (COND
                                   ((OR (ATOM #3#)
                                        (PROGN
                                         (LETT |p| (CAR #3#) . #15#)
                                         NIL))
                                    #17#))
                                  (SEQ
                                   (EXIT
                                    (LETT |lts|
                                          (SPADCALL (LIST |p|) |lts| |clos?|
                                                    |info?| (QREFELT $ 100))
                                          . #15#)))
                                  (LETT #3# (CDR #3#) . #15#) #18# G191
                                  (EXIT NIL))))))
                         (COND
                          (|clos?|
                           (LETT |lts|
                                 (SPADCALL |lp3| |lts| |clos?| |info?|
                                           (QREFELT $ 100))
                                 . #15#))
                          (#16#
                           (SEQ
                            (LETT |lp3|
                                  (SPADCALL (ELT $ 44) |lp3| (QREFELT $ 46))
                                  . #15#)
                            (EXIT
                             (SEQ (LETT |p| NIL . #15#) (LETT #2# |lp3| . #15#)
                                  G190
                                  (COND
                                   ((OR (ATOM #2#)
                                        (PROGN
                                         (LETT |p| (CAR #2#) . #15#)
                                         NIL))
                                    #17#))
                                  (SEQ
                                   (EXIT
                                    (LETT |lts|
                                          (SPADCALL (LIST |p|) |lts| |clos?|
                                                    |info?| (QREFELT $ 100))
                                          . #15#)))
                                  (LETT #2# (CDR #2#) . #15#) #18# G191
                                  (EXIT NIL))))))
                         (LETT |lp2| NIL . #15#)
                         (EXIT
                          (PROGN
                           (LETT #1# (CONS |lp2| |lts|) . #15#)
                           (GO #1#)))))))))))))
      #1# (EXIT #1#))))) 

(DEFUN |RegularTriangularSet| (&REST #1=#:G924)
  (PROG ()
    (RETURN
     (PROG (#2=#:G925)
       (RETURN
        (COND
         ((LETT #2#
                (|lassocShiftWithFunction| (|devaluateList| #1#)
                                           (HGET |$ConstructorCache|
                                                 '|RegularTriangularSet|)
                                           '|domainEqualList|)
                . #3=(|RegularTriangularSet|))
          (|CDRwithIncrement| #2#))
         ('T
          (UNWIND-PROTECT
              (PROG1 (APPLY (|function| |RegularTriangularSet;|) #1#)
                (LETT #2# T . #3#))
            (COND
             ((NOT #2#)
              (HREM |$ConstructorCache| '|RegularTriangularSet|))))))))))) 

(DEFUN |RegularTriangularSet;| (|#1| |#2| |#3| |#4|)
  (PROG (#1=#:G923 |pv$| #2=#:G922 $ |dv$| DV$4 DV$3 DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #3=(|RegularTriangularSet|))
      (LETT DV$2 (|devaluate| |#2|) . #3#)
      (LETT DV$3 (|devaluate| |#3|) . #3#)
      (LETT DV$4 (|devaluate| |#4|) . #3#)
      (LETT |dv$| (LIST '|RegularTriangularSet| DV$1 DV$2 DV$3 DV$4) . #3#)
      (LETT $ (GETREFV 144) . #3#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3
                (LETT |pv$|
                      (|buildPredVector| 0 0
                                         (LIST
                                          (|HasCategory| |#4|
                                                         '(|ConvertibleTo|
                                                           (|InputForm|)))
                                          (LETT #2#
                                                (|HasCategory| |#4|
                                                               '(|SetCategory|))
                                                . #3#)
                                          (AND #2#
                                               (|HasCategory| |#4|
                                                              (LIST '|Evalable|
                                                                    (|devaluate|
                                                                     |#4|))))
                                          (|HasCategory| |#1|
                                                         '(|IntegralDomain|))
                                          (|HasCategory| |#3| '(|Finite|))))
                      . #3#))
      (|haddProp| |$ConstructorCache| '|RegularTriangularSet|
                  (LIST DV$1 DV$2 DV$3 DV$4) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 8 |#3|)
      (QSETREFV $ 9 |#4|)
      (AND (|HasCategory| $ '(|shallowlyMutable|)) (|augmentPredVector| $ 32))
      (AND (LETT #1# (|HasCategory| $ '(|finiteAggregate|)) . #3#)
           (|augmentPredVector| $ 64))
      (AND #1# #2# (|augmentPredVector| $ 128))
      $)))) 

(MAKEPROP '|RegularTriangularSet| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
              (|local| |#3|) (|local| |#4|) (|List| 9) (0 . |copy|)
              |REGSET;copy;2$;3| |REGSET;empty;$;4| (|Boolean|)
              |REGSET;empty?;$B;5| |REGSET;parts;$L;6| |REGSET;members;$L;7|
              (|Mapping| 9 9) (5 . |map|) |REGSET;construct;L$;20|
              |REGSET;map;M2$;8| (11 . |map!|) |REGSET;map!;M2$;9|
              (17 . |member?|) |REGSET;member?;P$B;10|
              |REGSET;roughUnitIdeal?;$B;11| (|OutputForm|) (23 . |coerce|)
              (|List| $) (28 . |brace|) |REGSET;coerce;$Of;12| (33 . |mvar|)
              |REGSET;mvar;$V;13| (|Union| 9 '#1="failed") |REGSET;first;$U;14|
              (38 . |last|) |REGSET;last;$U;15| (|Union| $ '#1#)
              |REGSET;rest;$U;16| |REGSET;coerce;$L;17| (43 . <)
              |REGSET;collectUpper;$V$;18| |REGSET;collectUnder;$V$;19|
              (49 . |infRittWu?|) (|Mapping| 14 9 9) (55 . |sort|)
              |REGSET;extendIfCan;$PU;21| (61 . |ground?|)
              (66 . |primitivePart|) (71 . |init|) |REGSET;invertible?;P$B;28|
              (76 . |algebraic?|) (82 . |select|) (88 . |lazyPrem|)
              (94 . |zero?|) |REGSET;removeZero;P$P;22| (99 . |Zero|)
              (|NonNegativeInteger|) (103 . |degree|) (|Integer|)
              (109 . |positive?|) (114 . |mainMonomial|) (119 . *) (125 . +)
              (131 . |tail|) |REGSET;internalAugment;P$5BL;25| (|List| $$)
              (136 . |first|) |REGSET;internalAugment;P2$;23|
              |REGSET;internalAugment;L2$;24|
              (|Record| (|:| |rnum| 6) (|:| |polnum| 9) (|:| |den| 6))
              (141 . |remainder|) (147 . |mainPrimitivePart|)
              (|PolynomialSetUtilitiesPackage| 6 7 8 9)
              (152 . |squareFreeFactors|) (157 . |extend|) (163 . |concat|)
              |REGSET;augment;P$L;26| |REGSET;invertibleSet;P$L;30|
              (169 . |concat|) |REGSET;extend;P$L;27|
              (|RegularTriangularSetGcdPackage| 6 7 8 9 $$)
              (175 . |toseInvertible?|)
              (|Record| (|:| |val| 14) (|:| |tower| $$)) (|List| 84)
              (181 . |toseInvertible?|)
              (|Record| (|:| |val| 14) (|:| |tower| $)) (|List| 87)
              |REGSET;invertible?;P$L;29| (187 . |toseInvertibleSet|)
              (|Record| (|:| |val| 9) (|:| |tower| $$)) (|List| 91)
              (193 . |toseLastSubResultant|)
              (|Record| (|:| |val| 9) (|:| |tower| $)) (|List| 94)
              |REGSET;lastSubResultant;2P$L;31| (200 . |toseSquareFreePart|)
              |REGSET;squareFreePart;P$L;32|
              (|RegularSetDecompositionPackage| 6 7 8 9 $$) (206 . |decompose|)
              |REGSET;intersect;P$L;33| |REGSET;intersect;L2L;34|
              |REGSET;zeroSetSplit;L2BL;37| |REGSET;zeroSetSplit;LL;35|
              |REGSET;zeroSetSplit;LBL;36| |REGSET;zeroSetSplit;L4BL;38|
              (|Void|) (|String|) (|QuasiComponentPackage| 6 7 8 9 $$)
              (214 . |startTable!|) (221 . |startTableGcd!|)
              (228 . |startTableInvSet!|) |REGSET;internalZeroSetSplit;L3BL;39|
              (235 . |stopTable!|) (239 . |stopTableGcd!|)
              (243 . |stopTableInvSet!|)
              (|Record| (|:| |val| 10) (|:| |towers| 29))
              |REGSET;preprocess;L2BR;44| (|Mapping| 14 9) (247 . |remove|)
              (253 . |any?|) (259 . |empty?|) (264 . |numberOfVariables|)
              (270 . |mdeg|) (275 . |One|) (279 . |probablyZeroDim?|)
              (284 . |crushedSet|) (|Mapping| 9 9 9) (|List| 130)
              (|Equation| 9) (|InputForm|)
              (|Record| (|:| |num| 9) (|:| |den| 6)) (|Union| 9 29)
              (|Union| 14 29) (|List| 8)
              (|Record| (|:| |close| $) (|:| |open| 10)) (|List| 136)
              (|Mapping| 14 9 10) (|Record| (|:| |close| 10) (|:| |open| 10))
              (|Record| (|:| |bas| $) (|:| |top| 10)) (|Union| 140 '#1#)
              (|Record| (|:| |under| $) (|:| |floor| $) (|:| |upper| $))
              (|SingleInteger|))
           '#(~= 289 |zeroSetSplitIntoTriangularSystems| 295 |zeroSetSplit| 300
              |variables| 327 |trivialIdeal?| 332 |triangular?| 337
              |stronglyReduced?| 342 |stronglyReduce| 353 |squareFreePart| 359
              |sort| 365 |size?| 371 |select| 377 |sample| 389
              |roughUnitIdeal?| 393 |roughSubIdeal?| 398 |roughEqualIdeals?|
              404 |roughBase?| 410 |rewriteSetWithReduction| 415
              |rewriteIdealWithRemainder| 423 |rewriteIdealWithHeadRemainder|
              429 |retractIfCan| 435 |retract| 440 |rest| 445 |removeZero| 450
              |removeDuplicates| 456 |remove| 461 |remainder| 473 |reduced?|
              479 |reduceByQuasiMonic| 486 |reduce| 492 |quasiComponent| 521
              |purelyTranscendental?| 526 |purelyAlgebraicLeadingMonomial?| 532
              |purelyAlgebraic?| 538 |preprocess| 549 |parts| 556 |normalized?|
              561 |mvar| 572 |more?| 577 |members| 583 |member?| 588 |map!| 594
              |map| 600 |mainVariables| 606 |mainVariable?| 611 |less?| 617
              |latex| 623 |lastSubResultantElseSplit| 628 |lastSubResultant|
              635 |last| 642 |invertibleSet| 647 |invertibleElseSplit?| 653
              |invertible?| 659 |intersect| 671 |internalZeroSetSplit| 695
              |internalAugment| 703 |initials| 726 |initiallyReduced?| 731
              |initiallyReduce| 742 |infRittWu?| 748 |iexactQuo| 754
              |headRemainder| 760 |headReduced?| 766 |headReduce| 777 |hash|
              783 |first| 788 |find| 793 |extendIfCan| 799 |extend| 805
              |every?| 835 |eval| 841 |eq?| 867 |empty?| 873 |empty| 878
              |degree| 882 |count| 887 |copy| 899 |convert| 904 |construct| 909
              |collectUpper| 914 |collectUnder| 920 |collectQuasiMonic| 926
              |collect| 931 |coerce| 937 |coHeight| 947 |basicSet| 952
              |autoReduced?| 965 |augment| 971 |any?| 995 |algebraicVariables|
              1001 |algebraicCoefficients?| 1006 |algebraic?| 1012 = 1018 |#|
              1024)
           'NIL
           (CONS (|makeByteWordVec2| 3 '(0 0 0 0 0 0 0 3 0 0 0 0 0 0 3 1))
                 (CONS
                  '#(|RegularTriangularSetCategory&| |TriangularSetCategory&|
                     |PolynomialSetCategory&| |Collection&|
                     |HomogeneousAggregate&| |SetCategory&| |Aggregate&|
                     |Evalable&| |BasicType&| NIL NIL NIL NIL NIL
                     |InnerEvalable&| NIL)
                  (CONS
                   '#((|RegularTriangularSetCategory| 6 7 8 9)
                      (|TriangularSetCategory| 6 7 8 9)
                      (|PolynomialSetCategory| 6 7 8 9) (|Collection| 9)
                      (|HomogeneousAggregate| 9) (|SetCategory|) (|Aggregate|)
                      (|Evalable| 9) (|BasicType|) (|shallowlyMutable|)
                      (|finiteAggregate|) (|CoercibleTo| (|List| 9)) (|Type|)
                      (|CoercibleTo| 27) (|InnerEvalable| 9 9)
                      (|ConvertibleTo| 131))
                   (|makeByteWordVec2| 143
                                       '(1 10 0 0 11 2 10 0 18 0 19 2 10 0 18 0
                                         22 2 10 14 9 0 24 1 9 27 0 28 1 27 0
                                         29 30 1 9 8 0 32 1 10 9 0 36 2 8 14 0
                                         0 41 2 9 14 0 0 44 2 10 0 45 0 46 1 9
                                         14 0 48 1 9 0 0 49 1 9 0 0 50 2 0 14 8
                                         0 52 2 0 34 0 8 53 2 9 0 0 0 54 1 9 14
                                         0 55 0 9 0 57 2 9 58 0 8 59 1 60 14 0
                                         61 1 9 0 0 62 2 9 0 0 0 63 2 9 0 0 0
                                         64 1 9 0 0 65 1 67 2 0 68 2 0 71 9 0
                                         72 1 9 0 0 73 1 74 10 9 75 2 0 29 10
                                         29 76 2 10 0 0 0 77 2 67 0 0 0 80 2 82
                                         14 9 2 83 2 82 85 9 2 86 2 82 67 9 2
                                         90 3 82 92 9 9 2 93 2 82 92 9 2 97 4
                                         99 67 10 67 14 14 100 3 109 107 108
                                         108 108 110 3 82 107 108 108 108 111 3
                                         82 107 108 108 108 112 0 109 107 114 0
                                         82 107 115 0 82 107 116 2 10 0 119 0
                                         120 2 10 14 119 0 121 1 67 14 0 122 2
                                         99 58 10 67 123 1 9 58 0 124 0 6 0 125
                                         1 74 14 10 126 1 74 10 10 127 2 0 14 0
                                         0 1 1 0 137 10 1 5 0 29 10 14 14 14 14
                                         106 3 0 29 10 14 14 103 2 0 29 10 14
                                         105 1 0 29 10 104 1 0 135 0 1 1 0 14 0
                                         1 1 4 14 0 1 1 0 14 0 1 2 0 14 9 0 1 2
                                         0 9 9 0 1 2 0 95 9 0 98 2 0 142 0 8 1
                                         2 0 14 0 58 1 2 7 0 119 0 1 2 0 34 0 8
                                         53 0 0 0 1 1 4 14 0 26 2 4 14 0 0 1 2
                                         4 14 0 0 1 1 4 14 0 1 4 0 10 10 0 128
                                         45 1 2 4 10 10 0 1 2 4 10 10 0 1 1 0
                                         38 10 1 1 0 0 10 1 1 0 38 0 39 2 0 9 9
                                         0 56 1 8 0 0 1 2 8 0 9 0 1 2 7 0 119 0
                                         1 2 4 71 9 0 72 3 0 14 9 0 45 1 2 0 9
                                         9 0 1 4 8 9 128 0 9 9 1 2 7 9 128 0 1
                                         3 7 9 128 0 9 1 4 0 9 9 0 128 45 1 1 0
                                         139 0 1 2 0 14 9 0 1 2 0 14 9 0 1 1 0
                                         14 0 1 2 0 14 9 0 1 3 0 117 10 14 14
                                         118 1 7 10 0 16 2 0 14 9 0 1 1 0 14 0
                                         1 1 0 8 0 33 2 0 14 0 58 1 1 7 10 0 17
                                         2 8 14 9 0 25 2 6 0 18 0 23 2 0 0 18 0
                                         21 1 0 135 0 1 2 0 14 8 0 1 2 0 14 0
                                         58 1 1 0 108 0 1 3 0 133 9 9 0 1 3 0
                                         95 9 9 0 96 1 0 34 0 37 2 0 29 9 0 79
                                         2 0 134 9 0 1 2 0 14 9 0 51 2 0 88 9 0
                                         89 2 0 29 9 29 1 2 0 29 10 0 1 2 0 29
                                         10 29 102 2 0 29 9 0 101 4 0 29 10 14
                                         14 14 113 7 0 29 9 0 14 14 14 14 14 66
                                         2 0 0 10 0 70 2 0 0 9 0 69 1 0 10 0 1
                                         1 0 14 0 1 2 0 14 9 0 1 2 0 9 9 0 1 2
                                         0 14 0 0 1 2 4 6 6 6 1 2 4 132 9 0 1 1
                                         0 14 0 1 2 0 14 9 0 1 2 0 9 9 0 1 1 0
                                         143 0 1 1 0 34 0 35 2 0 34 119 0 1 2 0
                                         38 0 9 47 2 0 29 10 29 76 2 0 29 9 29
                                         1 2 0 29 10 0 1 2 0 29 9 0 81 2 0 0 0
                                         9 1 2 7 14 119 0 1 2 3 0 0 129 1 3 3 0
                                         0 9 9 1 2 3 0 0 130 1 3 3 0 0 10 10 1
                                         2 0 14 0 0 1 1 0 14 0 15 0 0 0 13 1 0
                                         58 0 1 2 8 58 9 0 1 2 7 58 119 0 1 1 0
                                         0 0 12 1 1 131 0 1 1 0 0 10 20 2 0 0 0
                                         8 42 2 0 0 0 8 43 1 0 0 0 1 2 0 0 0 8
                                         1 1 0 10 0 40 1 0 27 0 31 1 5 58 0 1 2
                                         0 141 10 45 1 3 0 141 10 119 45 1 2 0
                                         14 0 138 1 2 0 29 10 29 1 2 0 29 9 29
                                         1 2 0 29 10 0 1 2 0 29 9 0 78 2 7 14
                                         119 0 1 1 0 135 0 1 2 0 14 9 0 1 2 0
                                         14 8 0 52 2 0 14 0 0 1 1 7 58 0 1)))))
           '|lookupComplete|)) 
