
(/VERSIONCHECK 2) 

(DEFUN |RSETGCD;startTableGcd!;3SV;1| (|ok| |ko| |domainName| $)
  (SEQ (SPADCALL (QREFELT $ 15)) (SPADCALL |ok| |ko| (QREFELT $ 17))
       (SPADCALL |domainName| (QREFELT $ 18)) (EXIT (SPADCALL (QREFELT $ 19))))) 

(DEFUN |RSETGCD;stopTableGcd!;V;2| ($)
  (SEQ (COND ((SPADCALL (QREFELT $ 22)) (SPADCALL (QREFELT $ 23))))
       (EXIT (SPADCALL (QREFELT $ 24))))) 

(DEFUN |RSETGCD;startTableInvSet!;3SV;3| (|ok| |ko| |domainName| $)
  (SEQ (SPADCALL (QREFELT $ 28)) (SPADCALL |ok| |ko| (QREFELT $ 29))
       (SPADCALL |domainName| (QREFELT $ 30)) (EXIT (SPADCALL (QREFELT $ 19))))) 

(DEFUN |RSETGCD;stopTableInvSet!;V;4| ($)
  (SEQ (COND ((SPADCALL (QREFELT $ 32)) (SPADCALL (QREFELT $ 33))))
       (EXIT (SPADCALL (QREFELT $ 34))))) 

(DEFUN |RSETGCD;toseInvertible?;PTSB;5| (|p| |ts| $)
  (PROG (#1=#:G744 #2=#:G749 |g| #3=#:G751 |gwt| |lgwt| |tsv-| |tsv| #4=#:G739
         #5=#:G732 #6=#:G750 |bwt| |toCheck| |v| |q|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |q| (SPADCALL (SPADCALL |p| |ts| (QREFELT $ 36)) (QREFELT $ 37))
              . #7=(|RSETGCD;toseInvertible?;PTSB;5|))
        (EXIT
         (COND ((SPADCALL |q| (QREFELT $ 38)) 'NIL)
               ((SPADCALL |q| |ts| (QREFELT $ 39)) 'T)
               ('T
                (SEQ (LETT |v| (SPADCALL |q| (QREFELT $ 40)) . #7#)
                     (COND
                      ((NULL (SPADCALL |v| |ts| (QREFELT $ 41)))
                       (EXIT
                        (SEQ
                         (LETT |toCheck| (SPADCALL |p| |ts| (QREFELT $ 44))
                               . #7#)
                         (SEQ
                          (EXIT
                           (SEQ (LETT |bwt| NIL . #7#)
                                (LETT #6# |toCheck| . #7#) G190
                                (COND
                                 ((OR (ATOM #6#)
                                      (PROGN (LETT |bwt| (CAR #6#) . #7#) NIL))
                                  #8=(GO G191)))
                                (SEQ
                                 (EXIT
                                  (COND
                                   ((|BooleanEquality| (QCAR |bwt|) 'NIL)
                                    (PROGN
                                     (LETT #5#
                                           (PROGN
                                            (LETT #2# 'NIL . #7#)
                                            (GO #2#))
                                           . #7#)
                                     (GO #5#))))))
                                (LETT #6# (CDR #6#) . #7#) #9=(GO G190) G191
                                (EXIT NIL)))
                          #5# (EXIT #5#))
                         (EXIT (PROGN (LETT #2# 'T . #7#) (GO #2#)))))))
                     (LETT |tsv|
                           (PROG2
                               (LETT #4# (SPADCALL |ts| |v| (QREFELT $ 46))
                                     . #7#)
                               (QCDR #4#)
                             (|check-union| (QEQCAR #4# 0) (QREFELT $ 9) #4#))
                           . #7#)
                     (LETT |tsv-| (SPADCALL |ts| |v| (QREFELT $ 47)) . #7#)
                     (LETT |lgwt|
                           (SPADCALL |tsv| |q| |tsv-| 'NIL 'T (QREFELT $ 49))
                           . #7#)
                     (SEQ (LETT |gwt| NIL . #7#) (LETT #3# |lgwt| . #7#) G190
                          (COND
                           ((OR (ATOM #3#)
                                (PROGN (LETT |gwt| (CAR #3#) . #7#) NIL))
                            #8#))
                          (SEQ
                           (EXIT
                            (SEQ (LETT |g| (QCAR |gwt|) . #7#)
                                 (EXIT
                                  (COND
                                   ((NULL (SPADCALL |g| (QREFELT $ 50)))
                                    (COND
                                     ((SPADCALL (SPADCALL |g| (QREFELT $ 40))
                                                |v| (QREFELT $ 51))
                                      (PROGN
                                       (LETT #1#
                                             (PROGN
                                              (LETT #2# 'NIL . #7#)
                                              (GO #2#))
                                             . #7#)
                                       (GO #1#)))))))))
                           #1# (EXIT #1#))
                          (LETT #3# (CDR #3#) . #7#) #9# G191 (EXIT NIL))
                     (EXIT 'T)))))))
      #2# (EXIT #2#))))) 

(DEFUN |RSETGCD;toseInvertible?;PTSL;6| (|p| |ts| $)
  (PROG (|lbwt| #1=#:G780 |bwt| #2=#:G779 |inv| |tsh| |h| |tsg| |g| #3=#:G778
         |gwt| |lgwt| |tsv+| |tsv-| |tsv| #4=#:G759 #5=#:G776 |newq| #6=#:G777
         |toCheck| |v| |q|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |q| (SPADCALL (SPADCALL |p| |ts| (QREFELT $ 36)) (QREFELT $ 37))
              . #7=(|RSETGCD;toseInvertible?;PTSL;6|))
        (EXIT
         (COND ((SPADCALL |q| (QREFELT $ 38)) (LIST (CONS 'NIL |ts|)))
               ((SPADCALL |q| |ts| (QREFELT $ 39)) (LIST (CONS 'T |ts|)))
               ('T
                (SEQ (LETT |v| (SPADCALL |q| (QREFELT $ 40)) . #7#)
                     (COND
                      ((NULL (SPADCALL |v| |ts| (QREFELT $ 41)))
                       (EXIT
                        (SEQ (LETT |lbwt| NIL . #7#)
                             (LETT |toCheck|
                                   (SPADCALL (SPADCALL |q| (QREFELT $ 53)) |ts|
                                             (QREFELT $ 44))
                                   . #7#)
                             (SEQ (LETT |bwt| NIL . #7#)
                                  (LETT #6# |toCheck| . #7#) G190
                                  (COND
                                   ((OR (ATOM #6#)
                                        (PROGN
                                         (LETT |bwt| (CAR #6#) . #7#)
                                         NIL))
                                    #8=(GO G191)))
                                  (SEQ
                                   (EXIT
                                    (COND
                                     ((QCAR |bwt|)
                                      (LETT |lbwt| (CONS |bwt| |lbwt|) . #7#))
                                     ('T
                                      (SEQ
                                       (LETT |newq|
                                             (SPADCALL |q| (QCDR |bwt|)
                                                       (QREFELT $ 54))
                                             . #7#)
                                       (EXIT
                                        (COND
                                         ((SPADCALL |newq| (QREFELT $ 38))
                                          (LETT |lbwt| (CONS |bwt| |lbwt|)
                                                . #7#))
                                         ('T
                                          (LETT |lbwt|
                                                (SPADCALL
                                                 (SPADCALL |newq| (QCDR |bwt|)
                                                           (QREFELT $ 44))
                                                 |lbwt| (QREFELT $ 55))
                                                . #7#)))))))))
                                  (LETT #6# (CDR #6#) . #7#) #9=(GO G190) G191
                                  (EXIT NIL))
                             (EXIT
                              (PROGN (LETT #5# |lbwt| . #7#) (GO #5#)))))))
                     (LETT |tsv|
                           (PROG2
                               (LETT #4# (SPADCALL |ts| |v| (QREFELT $ 46))
                                     . #7#)
                               (QCDR #4#)
                             (|check-union| (QEQCAR #4# 0) (QREFELT $ 9) #4#))
                           . #7#)
                     (LETT |tsv-| (SPADCALL |ts| |v| (QREFELT $ 47)) . #7#)
                     (LETT |tsv+| (SPADCALL |ts| |v| (QREFELT $ 56)) . #7#)
                     (LETT |lgwt|
                           (SPADCALL |tsv| |q| |tsv-| 'NIL 'NIL (QREFELT $ 49))
                           . #7#)
                     (LETT |lbwt| NIL . #7#)
                     (SEQ (LETT |gwt| NIL . #7#) (LETT #3# |lgwt| . #7#) G190
                          (COND
                           ((OR (ATOM #3#)
                                (PROGN (LETT |gwt| (CAR #3#) . #7#) NIL))
                            #8#))
                          (SEQ (LETT |g| (QCAR |gwt|) . #7#)
                               (LETT |ts| (QCDR |gwt|) . #7#)
                               (COND
                                ((OR (SPADCALL |g| (QREFELT $ 50))
                                     (SPADCALL (SPADCALL |g| (QREFELT $ 40))
                                               |v| (QREFELT $ 61)))
                                 (EXIT
                                  (SEQ
                                   (LETT |ts|
                                         (SPADCALL |tsv| |ts| (QREFELT $ 57))
                                         . #7#)
                                   (LETT |ts|
                                         (SPADCALL
                                          (SPADCALL |tsv+| (QREFELT $ 59)) |ts|
                                          (QREFELT $ 60))
                                         . #7#)
                                   (EXIT
                                    (LETT |lbwt| (CONS (CONS 'T |ts|) |lbwt|)
                                          . #7#))))))
                               (LETT |g| (SPADCALL |g| (QREFELT $ 62)) . #7#)
                               (LETT |tsg| (SPADCALL |g| |ts| (QREFELT $ 57))
                                     . #7#)
                               (LETT |tsg|
                                     (SPADCALL (SPADCALL |tsv+| (QREFELT $ 59))
                                               |tsg| (QREFELT $ 60))
                                     . #7#)
                               (LETT |lbwt| (CONS (CONS 'NIL |tsg|) |lbwt|)
                                     . #7#)
                               (LETT |h| (SPADCALL |tsv| |g| (QREFELT $ 63))
                                     . #7#)
                               (COND
                                ((OR (SPADCALL |h| (QREFELT $ 50))
                                     (SPADCALL (SPADCALL |h| (QREFELT $ 40))
                                               |v| (QREFELT $ 61)))
                                 (EXIT "leave")))
                               (LETT |h| (SPADCALL |h| (QREFELT $ 62)) . #7#)
                               (LETT |tsh| (SPADCALL |h| |ts| (QREFELT $ 57))
                                     . #7#)
                               (LETT |tsh|
                                     (SPADCALL (SPADCALL |tsv+| (QREFELT $ 59))
                                               |tsh| (QREFELT $ 60))
                                     . #7#)
                               (LETT |inv| (SPADCALL |q| |tsh| (QREFELT $ 44))
                                     . #7#)
                               (EXIT
                                (LETT |lbwt|
                                      (SPADCALL
                                       (PROGN
                                        (LETT #2# NIL . #7#)
                                        (SEQ (LETT |bwt| NIL . #7#)
                                             (LETT #1# |inv| . #7#) G190
                                             (COND
                                              ((OR (ATOM #1#)
                                                   (PROGN
                                                    (LETT |bwt| (CAR #1#)
                                                          . #7#)
                                                    NIL))
                                               #8#))
                                             (SEQ
                                              (EXIT
                                               (COND
                                                ((QCAR |bwt|)
                                                 (LETT #2# (CONS |bwt| #2#)
                                                       . #7#)))))
                                             (LETT #1# (CDR #1#) . #7#) #9#
                                             G191 (EXIT (NREVERSE0 #2#))))
                                       |lbwt| (QREFELT $ 55))
                                      . #7#)))
                          (LETT #3# (CDR #3#) . #7#) #9# G191 (EXIT NIL))
                     (EXIT
                      (SPADCALL (CONS #'|RSETGCD;toseInvertible?;PTSL;6!0| $)
                                |lbwt| (QREFELT $ 66)))))))))
      #5# (EXIT #5#))))) 

(DEFUN |RSETGCD;toseInvertible?;PTSL;6!0| (|x| |y| $)
  (SPADCALL (QCAR |x|) (QCAR |y|) (QREFELT $ 64))) 

(DEFUN |RSETGCD;toseInvertibleSet;PTSL;7| (|p| |ts| $)
  (PROG (|toSave| |inv| |tsh| |h| |g| #1=#:G812 |gwt| |lgwt| |tsv+| |tsv-|
         |tsv| #2=#:G795 #3=#:G810 |newq| #4=#:G811 |bwt| |toCheck| |v| |q| |e|
         |k|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |k| (CONS |p| |ts|) . #5=(|RSETGCD;toseInvertibleSet;PTSL;7|))
        (LETT |e| (SPADCALL |k| (QREFELT $ 68)) . #5#)
        (EXIT
         (COND ((QEQCAR |e| 0) (QCDR |e|))
               (#6='T
                (SEQ
                 (LETT |q|
                       (SPADCALL (SPADCALL |p| |ts| (QREFELT $ 36))
                                 (QREFELT $ 37))
                       . #5#)
                 (EXIT
                  (COND ((SPADCALL |q| (QREFELT $ 38)) NIL)
                        ((SPADCALL |q| |ts| (QREFELT $ 39)) (LIST |ts|))
                        (#6#
                         (SEQ (LETT |v| (SPADCALL |q| (QREFELT $ 40)) . #5#)
                              (LETT |toSave| NIL . #5#)
                              (COND
                               ((NULL (SPADCALL |v| |ts| (QREFELT $ 41)))
                                (EXIT
                                 (SEQ
                                  (LETT |toCheck|
                                        (SPADCALL (SPADCALL |q| (QREFELT $ 53))
                                                  |ts| (QREFELT $ 44))
                                        . #5#)
                                  (SEQ (LETT |bwt| NIL . #5#)
                                       (LETT #4# |toCheck| . #5#) G190
                                       (COND
                                        ((OR (ATOM #4#)
                                             (PROGN
                                              (LETT |bwt| (CAR #4#) . #5#)
                                              NIL))
                                         #7=(GO G191)))
                                       (SEQ
                                        (EXIT
                                         (COND
                                          ((QCAR |bwt|)
                                           (LETT |toSave|
                                                 (CONS (QCDR |bwt|) |toSave|)
                                                 . #5#))
                                          ('T
                                           (SEQ
                                            (LETT |newq|
                                                  (SPADCALL |q| (QCDR |bwt|)
                                                            (QREFELT $ 54))
                                                  . #5#)
                                            (EXIT
                                             (COND
                                              ((SPADCALL |newq| (QREFELT $ 38))
                                               "leave")
                                              ('T
                                               (LETT |toSave|
                                                     (SPADCALL
                                                      (SPADCALL |newq|
                                                                (QCDR |bwt|)
                                                                (QREFELT $ 70))
                                                      |toSave| (QREFELT $ 71))
                                                     . #5#)))))))))
                                       (LETT #4# (CDR #4#) . #5#) #8=(GO G190)
                                       G191 (EXIT NIL))
                                  (LETT |toSave|
                                        (SPADCALL |toSave| (QREFELT $ 72))
                                        . #5#)
                                  (EXIT
                                   (PROGN
                                    (LETT #3#
                                          (SPADCALL |toSave| (QREFELT $ 74))
                                          . #5#)
                                    (GO #3#)))))))
                              (LETT |tsv|
                                    (PROG2
                                        (LETT #2#
                                              (SPADCALL |ts| |v|
                                                        (QREFELT $ 46))
                                              . #5#)
                                        (QCDR #2#)
                                      (|check-union| (QEQCAR #2# 0)
                                                     (QREFELT $ 9) #2#))
                                    . #5#)
                              (LETT |tsv-| (SPADCALL |ts| |v| (QREFELT $ 47))
                                    . #5#)
                              (LETT |tsv+| (SPADCALL |ts| |v| (QREFELT $ 56))
                                    . #5#)
                              (LETT |lgwt|
                                    (SPADCALL |tsv| |q| |tsv-| 'NIL 'NIL
                                              (QREFELT $ 49))
                                    . #5#)
                              (SEQ (LETT |gwt| NIL . #5#)
                                   (LETT #1# |lgwt| . #5#) G190
                                   (COND
                                    ((OR (ATOM #1#)
                                         (PROGN
                                          (LETT |gwt| (CAR #1#) . #5#)
                                          NIL))
                                     #7#))
                                   (SEQ (LETT |g| (QCAR |gwt|) . #5#)
                                        (LETT |ts| (QCDR |gwt|) . #5#)
                                        (COND
                                         ((OR (SPADCALL |g| (QREFELT $ 50))
                                              (SPADCALL
                                               (SPADCALL |g| (QREFELT $ 40))
                                               |v| (QREFELT $ 61)))
                                          (EXIT
                                           (SEQ
                                            (LETT |ts|
                                                  (SPADCALL |tsv| |ts|
                                                            (QREFELT $ 57))
                                                  . #5#)
                                            (LETT |ts|
                                                  (SPADCALL
                                                   (SPADCALL |tsv+|
                                                             (QREFELT $ 59))
                                                   |ts| (QREFELT $ 60))
                                                  . #5#)
                                            (EXIT
                                             (LETT |toSave|
                                                   (CONS |ts| |toSave|)
                                                   . #5#))))))
                                        (LETT |g| (SPADCALL |g| (QREFELT $ 62))
                                              . #5#)
                                        (LETT |h|
                                              (SPADCALL |tsv| |g|
                                                        (QREFELT $ 63))
                                              . #5#)
                                        (LETT |h| (SPADCALL |h| (QREFELT $ 62))
                                              . #5#)
                                        (COND
                                         ((OR (SPADCALL |h| (QREFELT $ 50))
                                              (SPADCALL
                                               (SPADCALL |h| (QREFELT $ 40))
                                               |v| (QREFELT $ 61)))
                                          (EXIT "leave")))
                                        (LETT |tsh|
                                              (SPADCALL |h| |ts|
                                                        (QREFELT $ 57))
                                              . #5#)
                                        (LETT |tsh|
                                              (SPADCALL
                                               (SPADCALL |tsv+| (QREFELT $ 59))
                                               |tsh| (QREFELT $ 60))
                                              . #5#)
                                        (LETT |inv|
                                              (SPADCALL |q| |tsh|
                                                        (QREFELT $ 70))
                                              . #5#)
                                        (EXIT
                                         (LETT |toSave|
                                               (SPADCALL
                                                (SPADCALL |inv| |toSave|
                                                          (QREFELT $ 71))
                                                (QREFELT $ 72))
                                               . #5#)))
                                   (LETT #1# (CDR #1#) . #5#) #8# G191
                                   (EXIT NIL))
                              (LETT |toSave| (SPADCALL |toSave| (QREFELT $ 74))
                                    . #5#)
                              (SPADCALL |k| |toSave| (QREFELT $ 75))
                              (EXIT |toSave|)))))))))))
      #3# (EXIT #3#))))) 

(DEFUN |RSETGCD;toseSquareFreePartwip| (|p| |ts| $)
  (PROG (|lpwt| |sfp| |g| |us| #1=#:G821 |gwt| |lgwt| |q| |v|)
    (RETURN
     (SEQ
      (COND ((EQL (SPADCALL |p| (QREFELT $ 77)) 1) (LIST (CONS |p| |ts|)))
            ('T
             (SEQ
              (LETT |v| (SPADCALL |p| (QREFELT $ 40))
                    . #2=(|RSETGCD;toseSquareFreePartwip|))
              (LETT |q|
                    (SPADCALL (SPADCALL |p| |v| (QREFELT $ 79)) (QREFELT $ 62))
                    . #2#)
              (LETT |lgwt| (SPADCALL |p| |q| |ts| 'T 'NIL (QREFELT $ 49))
                    . #2#)
              (LETT |lpwt| NIL . #2#)
              (SEQ (LETT |gwt| NIL . #2#) (LETT #1# |lgwt| . #2#) G190
                   (COND
                    ((OR (ATOM #1#) (PROGN (LETT |gwt| (CAR #1#) . #2#) NIL))
                     (GO G191)))
                   (SEQ (LETT |g| (QCAR |gwt|) . #2#)
                        (LETT |us| (QCDR |gwt|) . #2#)
                        (COND
                         ((OR (SPADCALL |g| (QREFELT $ 50))
                              (SPADCALL (SPADCALL |g| (QREFELT $ 40)) |v|
                                        (QREFELT $ 61)))
                          (EXIT
                           (LETT |lpwt| (CONS (CONS |p| |us|) |lpwt|) . #2#))))
                        (LETT |g| (SPADCALL |g| (QREFELT $ 62)) . #2#)
                        (LETT |sfp| (SPADCALL |p| |g| (QREFELT $ 63)) . #2#)
                        (LETT |sfp|
                              (SPADCALL (SPADCALL |sfp| |us| (QREFELT $ 80))
                                        (QREFELT $ 62))
                              . #2#)
                        (EXIT
                         (LETT |lpwt| (CONS (CONS |sfp| |us|) |lpwt|) . #2#)))
                   (LETT #1# (CDR #1#) . #2#) (GO G190) G191 (EXIT NIL))
              (EXIT |lpwt|)))))))) 

(DEFUN |RSETGCD;toseSquareFreePartbase| (|p| |ts| $) (LIST (CONS |p| |ts|))) 

(DEFUN |RSETGCD;toseSquareFreePart;PTSL;10| (|p| |ts| $)
  (|RSETGCD;toseSquareFreePartwip| |p| |ts| $)) 

(DEFUN |RSETGCD;prepareSubResAlgo;2PTSL;11| (|p1| |p2| |ts| $)
  (PROG (|toSee| |toSave| |newp2| |s| #1=#:G828 |p3| #2=#:G841 |bwt| |lbwt|
         |lpwt| |v|)
    (RETURN
     (SEQ
      (LETT |toSee| (LIST (CONS (LIST |p1| |p2|) |ts|))
            . #3=(|RSETGCD;prepareSubResAlgo;2PTSL;11|))
      (LETT |toSave| NIL . #3#) (LETT |v| (SPADCALL |p1| (QREFELT $ 40)) . #3#)
      (SEQ G190
           (COND ((NULL (COND ((NULL |toSee|) 'NIL) ('T 'T))) #4=(GO G191)))
           (SEQ (LETT |lpwt| (|SPADfirst| |toSee|) . #3#)
                (LETT |toSee| (CDR |toSee|) . #3#)
                (LETT |p1| (SPADCALL (QCAR |lpwt|) 1 (QREFELT $ 83)) . #3#)
                (LETT |p2| (SPADCALL (QCAR |lpwt|) 2 (QREFELT $ 83)) . #3#)
                (LETT |ts| (QCDR |lpwt|) . #3#)
                (LETT |lbwt|
                      (SPADCALL (SPADCALL |p2| |v| (QREFELT $ 84)) |ts|
                                (QREFELT $ 44))
                      . #3#)
                (EXIT
                 (SEQ (LETT |bwt| NIL . #3#) (LETT #2# |lbwt| . #3#) G190
                      (COND
                       ((OR (ATOM #2#)
                            (PROGN (LETT |bwt| (CAR #2#) . #3#) NIL))
                        #4#))
                      (SEQ
                       (COND
                        ((|BooleanEquality| (QCAR |bwt|) 'T)
                         (COND
                          ((< 0 (SPADCALL |p2| |v| (QREFELT $ 88)))
                           (EXIT
                            (SEQ
                             (LETT |p3|
                                   (SPADCALL |p1|
                                             (SPADCALL |p2| (QREFELT $ 89))
                                             (QREFELT $ 90))
                                   . #3#)
                             (LETT |s|
                                   (SPADCALL (SPADCALL |p2| (QREFELT $ 53))
                                             (PROG1
                                                 (LETT #1#
                                                       (-
                                                        (SPADCALL |p1|
                                                                  (QREFELT $
                                                                           77))
                                                        (SPADCALL |p2|
                                                                  (QREFELT $
                                                                           77)))
                                                       . #3#)
                                               (|check-subtype| (>= #1# 0)
                                                                '(|NonNegativeInteger|)
                                                                #1#))
                                             (QREFELT $ 91))
                                   . #3#)
                             (EXIT
                              (LETT |toSave|
                                    (CONS
                                     (CONS (LIST |p2| |p3| |s|) (QCDR |bwt|))
                                     |toSave|)
                                    . #3#))))))))
                       (LETT |newp2|
                             (SPADCALL
                              (SPADCALL |p2| (QCDR |bwt|) (QREFELT $ 36))
                              (QREFELT $ 37))
                             . #3#)
                       (EXIT
                        (COND
                         ((|BooleanEquality| (QCAR |bwt|) 'T)
                          (LETT |toSave|
                                (CONS
                                 (CONS
                                  (LIST |p2| (|spadConstant| $ 87)
                                        (|spadConstant| $ 92))
                                  (QCDR |bwt|))
                                 |toSave|)
                                . #3#))
                         ((SPADCALL |newp2| (QREFELT $ 38))
                          (LETT |toSave|
                                (CONS
                                 (CONS
                                  (LIST |p1| (|spadConstant| $ 87)
                                        (|spadConstant| $ 92))
                                  (QCDR |bwt|))
                                 |toSave|)
                                . #3#))
                         ('T
                          (LETT |toSee|
                                (CONS (CONS (LIST |p1| |newp2|) (QCDR |bwt|))
                                      |toSee|)
                                . #3#)))))
                      (LETT #2# (CDR #2#) . #3#) #5=(GO G190) G191
                      (EXIT NIL))))
           NIL #5# G191 (EXIT NIL))
      (EXIT |toSave|))))) 

(DEFUN |RSETGCD;integralLastSubResultant;2PTSL;12| (|p1| |p2| |ts| $)
  (PROG (|ex| |gi1i2| |lsr|)
    (RETURN
     (SEQ
      (LETT |lsr| (SPADCALL |p1| |p2| (QREFELT $ 96))
            . #1=(|RSETGCD;integralLastSubResultant;2PTSL;12|))
      (EXIT
       (COND
        ((OR (SPADCALL |lsr| (QREFELT $ 50))
             (SPADCALL (SPADCALL |lsr| (QREFELT $ 40))
                       (SPADCALL |p1| (QREFELT $ 40)) (QREFELT $ 61)))
         (LIST (CONS |lsr| |ts|)))
        ('T
         (SEQ
          (LETT |gi1i2|
                (SPADCALL (SPADCALL |p1| (QREFELT $ 53))
                          (SPADCALL |p2| (QREFELT $ 53)) (QREFELT $ 97))
                . #1#)
          (LETT |ex|
                (SPADCALL (SPADCALL |gi1i2| |lsr| (QREFELT $ 98))
                          (SPADCALL |lsr| (QREFELT $ 53)) (QREFELT $ 100))
                . #1#)
          (EXIT
           (COND ((QEQCAR |ex| 1) (LIST (CONS |lsr| |ts|)))
                 ('T (LIST (CONS (QCDR |ex|) |ts|))))))))))))) 

(DEFUN |RSETGCD;internalLastSubResultant;2PTS2BL;13|
       (|p1| |p2| |ts| |b1| |b2| $)
  (PROG (|toSave| |toSee| |s| #1=#:G862 |p3| #2=#:G867 |e| |k|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |k| (VECTOR |p1| |p2| |ts| |b2|)
              . #3=(|RSETGCD;internalLastSubResultant;2PTS2BL;13|))
        (LETT |e| (SPADCALL |k| (QREFELT $ 103)) . #3#)
        (EXIT
         (COND ((QEQCAR |e| 0) (QCDR |e|))
               ((SPADCALL |ts| (QREFELT $ 104))
                (SEQ
                 (LETT |toSave| (SPADCALL |p1| |p2| |ts| (QREFELT $ 101))
                       . #3#)
                 (SPADCALL |k| |toSave| (QREFELT $ 105))
                 (EXIT (PROGN (LETT #2# |toSave| . #3#) (GO #2#)))))
               (#4='T
                (SEQ
                 (COND
                  (|b1|
                   (SEQ
                    (LETT |p3|
                          (SPADCALL |p1| (SPADCALL |p2| (QREFELT $ 89))
                                    (QREFELT $ 90))
                          . #3#)
                    (LETT |s|
                          (SPADCALL (SPADCALL |p2| (QREFELT $ 53))
                                    (PROG1
                                        (LETT #1#
                                              (- (SPADCALL |p1| (QREFELT $ 77))
                                                 (SPADCALL |p2|
                                                           (QREFELT $ 77)))
                                              . #3#)
                                      (|check-subtype| (>= #1# 0)
                                                       '(|NonNegativeInteger|)
                                                       #1#))
                                    (QREFELT $ 91))
                          . #3#)
                    (EXIT
                     (LETT |toSee| (LIST (CONS (LIST |p2| |p3| |s|) |ts|))
                           . #3#))))
                  (#4#
                   (LETT |toSee| (SPADCALL |p1| |p2| |ts| (QREFELT $ 95))
                         . #3#)))
                 (LETT |toSave|
                       (SPADCALL |toSee| (SPADCALL |p1| (QREFELT $ 40)) |b2|
                                 (QREFELT $ 106))
                       . #3#)
                 (SPADCALL |k| |toSave| (QREFELT $ 105)) (EXIT |toSave|)))))))
      #2# (EXIT #2#))))) 

(DEFUN |RSETGCD;internalLastSubResultant;LVBL;14| (|llpwt| |v| |b2| $)
  (PROG (#1=#:G890 |lpwt| |s| |p2| |p1| |#G80| |#G79| |toReturn| #2=#:G889 |p3|
         |delta| #3=#:G877 |toSee| #4=#:G886 #5=#:G888 |bwt| |lbwt| |ts|
         #6=#:G887)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |toReturn| NIL . #7=(|RSETGCD;internalLastSubResultant;LVBL;14|))
        (SEQ G190
             (COND ((NULL (COND ((NULL |llpwt|) 'NIL) ('T 'T))) #8=(GO G191)))
             (SEQ (LETT |toSee| |llpwt| . #7#) (LETT |llpwt| NIL . #7#)
                  (SEQ (LETT |lpwt| NIL . #7#) (LETT #6# |toSee| . #7#) G190
                       (COND
                        ((OR (ATOM #6#)
                             (PROGN (LETT |lpwt| (CAR #6#) . #7#) NIL))
                         #8#))
                       (SEQ
                        (LETT |p1| (SPADCALL (QCAR |lpwt|) 1 (QREFELT $ 83))
                              . #7#)
                        (LETT |p2| (SPADCALL (QCAR |lpwt|) 2 (QREFELT $ 83))
                              . #7#)
                        (LETT |s| (SPADCALL (QCAR |lpwt|) 3 (QREFELT $ 83))
                              . #7#)
                        (LETT |ts| (QCDR |lpwt|) . #7#)
                        (LETT |lbwt|
                              (SPADCALL (SPADCALL |p2| |v| (QREFELT $ 84)) |ts|
                                        (QREFELT $ 44))
                              . #7#)
                        (EXIT
                         (SEQ (LETT |bwt| NIL . #7#) (LETT #5# |lbwt| . #7#)
                              G190
                              (COND
                               ((OR (ATOM #5#)
                                    (PROGN (LETT |bwt| (CAR #5#) . #7#) NIL))
                                #8#))
                              (SEQ
                               (EXIT
                                (COND
                                 ((|BooleanEquality| (QCAR |bwt|) 'NIL)
                                  (SEQ
                                   (LETT |toReturn|
                                         (CONS (CONS |p1| (QCDR |bwt|))
                                               |toReturn|)
                                         . #7#)
                                   (EXIT
                                    (COND
                                     (|b2|
                                      (COND
                                       ((SPADCALL
                                         (SPADCALL |p1| |v| (QREFELT $ 88))
                                         (QREFELT $ 107))
                                        (PROGN
                                         (LETT #4# |toReturn| . #7#)
                                         (GO #4#)))))))))
                                 ('T
                                  (LETT |llpwt|
                                        (CONS
                                         (CONS (LIST |p1| |p2| |s|)
                                               (QCDR |bwt|))
                                         |llpwt|)
                                        . #7#)))))
                              (LETT #5# (CDR #5#) . #7#) #9=(GO G190) G191
                              (EXIT NIL))))
                       (LETT #6# (CDR #6#) . #7#) #9# G191 (EXIT NIL))
                  (EXIT
                   (COND ((NULL |llpwt|) "leave")
                         ('T
                          (SEQ (LETT |toSee| |llpwt| . #7#)
                               (LETT |llpwt| NIL . #7#)
                               (LETT |lpwt| (|SPADfirst| |toSee|) . #7#)
                               (LETT |toSee| (CDR |toSee|) . #7#)
                               (LETT |p1|
                                     (SPADCALL (QCAR |lpwt|) 1 (QREFELT $ 83))
                                     . #7#)
                               (LETT |p2|
                                     (SPADCALL (QCAR |lpwt|) 2 (QREFELT $ 83))
                                     . #7#)
                               (LETT |s|
                                     (SPADCALL (QCAR |lpwt|) 3 (QREFELT $ 83))
                                     . #7#)
                               (LETT |delta|
                                     (PROG1
                                         (LETT #3#
                                               (-
                                                (SPADCALL |p1| (QREFELT $ 77))
                                                (SPADCALL |p2| |v|
                                                          (QREFELT $ 88)))
                                               . #7#)
                                       (|check-subtype| (>= #3# 0)
                                                        '(|NonNegativeInteger|)
                                                        #3#))
                                     . #7#)
                               (LETT |p3|
                                     (SPADCALL |p2|
                                               (SPADCALL |p2| |v|
                                                         (QREFELT $ 84))
                                               |s| |delta| (QREFELT $ 108))
                                     . #7#)
                               (EXIT
                                (COND
                                 ((ZEROP (SPADCALL |p3| |v| (QREFELT $ 88)))
                                  (SEQ
                                   (LETT |toReturn|
                                         (CONS (CONS |p3| (QCDR |lpwt|))
                                               |toReturn|)
                                         . #7#)
                                   (EXIT
                                    (SEQ (LETT |lpwt| NIL . #7#)
                                         (LETT #2# |toSee| . #7#) G190
                                         (COND
                                          ((OR (ATOM #2#)
                                               (PROGN
                                                (LETT |lpwt| (CAR #2#) . #7#)
                                                NIL))
                                           #8#))
                                         (SEQ
                                          (EXIT
                                           (LETT |toReturn|
                                                 (CONS
                                                  (CONS |p3| (QCDR |lpwt|))
                                                  |toReturn|)
                                                 . #7#)))
                                         (LETT #2# (CDR #2#) . #7#) #9# G191
                                         (EXIT NIL)))))
                                 ('T
                                  (SEQ
                                   (PROGN
                                    (LETT |#G79| |p3| . #7#)
                                    (LETT |#G80|
                                          (SPADCALL |p1| |p2| |p3| |s|
                                                    (QREFELT $ 109))
                                          . #7#)
                                    (LETT |p1| |#G79| . #7#)
                                    (LETT |p2| |#G80| . #7#))
                                   (LETT |s| (SPADCALL |p1| |v| (QREFELT $ 84))
                                         . #7#)
                                   (LETT |llpwt|
                                         (CONS
                                          (CONS (LIST |p1| |p2| |s|)
                                                (QCDR |lpwt|))
                                          |llpwt|)
                                         . #7#)
                                   (EXIT
                                    (SEQ (LETT |lpwt| NIL . #7#)
                                         (LETT #1# |toSee| . #7#) G190
                                         (COND
                                          ((OR (ATOM #1#)
                                               (PROGN
                                                (LETT |lpwt| (CAR #1#) . #7#)
                                                NIL))
                                           #8#))
                                         (SEQ
                                          (EXIT
                                           (LETT |llpwt|
                                                 (CONS
                                                  (CONS (LIST |p1| |p2| |s|)
                                                        (QCDR |lpwt|))
                                                  |llpwt|)
                                                 . #7#)))
                                         (LETT #1# (CDR #1#) . #7#) #9# G191
                                         (EXIT NIL))))))))))))
             NIL #9# G191 (EXIT NIL))
        (EXIT |toReturn|)))
      #4# (EXIT #4#))))) 

(DEFUN |RSETGCD;toseLastSubResultant;2PTSL;15| (|p1| |p2| |ts| $)
  (PROG (|#G87| |#G86|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL |p1| (QREFELT $ 50))
        (|error| "in toseLastSubResultantElseSplit$TOSEGCD  : bad #1"))
       ((OR (SPADCALL |p2| (QREFELT $ 50))
            (NULL
             (SPADCALL (SPADCALL |p2| (QREFELT $ 40))
                       (SPADCALL |p1| (QREFELT $ 40)) (QREFELT $ 51))))
        (|error| "in toseLastSubResultantElseSplit$TOSEGCD : bad #2"))
       ((OR (SPADCALL (SPADCALL |p1| (QREFELT $ 40)) |ts| (QREFELT $ 41))
            (NULL (SPADCALL |p1| |ts| (QREFELT $ 110))))
        (|error| "in toseLastSubResultantElseSplit$TOSEGCD : bad #1"))
       ((NULL (SPADCALL |p2| |ts| (QREFELT $ 110)))
        (|error| "in toseLastSubResultantElseSplit$TOSEGCD : bad #2"))
       ('T
        (SEQ
         (COND
          ((SPADCALL |p1| |ts| (QREFELT $ 111))
           (COND
            ((SPADCALL |p2| |ts| (QREFELT $ 111))
             (EXIT (SPADCALL |p1| |p2| |ts| (QREFELT $ 101)))))))
         (COND
          ((< (SPADCALL |p1| (QREFELT $ 77)) (SPADCALL |p2| (QREFELT $ 77)))
           (SEQ
            (PROGN
             (LETT |#G86| |p2| . #1=(|RSETGCD;toseLastSubResultant;2PTSL;15|))
             (LETT |#G87| |p1| . #1#)
             (LETT |p1| |#G86| . #1#)
             (LETT |p2| |#G87| . #1#))
            (EXIT
             (COND
              ((ODDP (SPADCALL |p1| (QREFELT $ 77)))
               (COND
                ((ODDP (SPADCALL |p2| (QREFELT $ 77)))
                 (LETT |p2| (SPADCALL |p2| (QREFELT $ 89)) . #1#)))))))))
         (EXIT (SPADCALL |p1| |p2| |ts| 'NIL 'NIL (QREFELT $ 49)))))))))) 

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

(DEFUN |RegularTriangularSetGcdPackage;| (|#1| |#2| |#3| |#4| |#5|)
  (PROG (|pv$| $ |dv$| DV$5 DV$4 DV$3 DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|RegularTriangularSetGcdPackage|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT DV$3 (|devaluate| |#3|) . #1#)
      (LETT DV$4 (|devaluate| |#4|) . #1#)
      (LETT DV$5 (|devaluate| |#5|) . #1#)
      (LETT |dv$|
            (LIST '|RegularTriangularSetGcdPackage| DV$1 DV$2 DV$3 DV$4 DV$5)
            . #1#)
      (LETT $ (GETREFV 113) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|RegularTriangularSetGcdPackage|
                  (LIST DV$1 DV$2 DV$3 DV$4 DV$5) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 8 |#3|)
      (QSETREFV $ 9 |#4|)
      (QSETREFV $ 10 |#5|)
      $)))) 

(MAKEPROP '|RegularTriangularSetGcdPackage| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
              (|local| |#3|) (|local| |#4|) (|local| |#5|) (|Void|)
              (|Record| (|:| |arg1| 9) (|:| |arg2| 9) (|:| |arg3| 10)
                        (|:| |arg4| 21))
              (|Record| (|:| |val| 9) (|:| |tower| 10))
              (|TabulatedComputationPackage| 12 48) (0 . |initTable!|)
              (|String|) (4 . |printInfo!|) (10 . |startStats!|) (15 . |void|)
              |RSETGCD;startTableGcd!;3SV;1| (|Boolean|) (19 . |makingStats?|)
              (23 . |printStats!|) (27 . |clearTable!|)
              |RSETGCD;stopTableGcd!;V;2|
              (|Record| (|:| |arg1| 9) (|:| |arg3| 10))
              (|TabulatedComputationPackage| 26 69) (31 . |initTable!|)
              (35 . |printInfo!|) (41 . |startStats!|)
              |RSETGCD;startTableInvSet!;3SV;3| (46 . |makingStats?|)
              (50 . |printStats!|) (54 . |clearTable!|)
              |RSETGCD;stopTableInvSet!;V;4| (58 . |initiallyReduce|)
              (64 . |primitivePart|) (69 . |zero?|) (74 . |normalized?|)
              (80 . |mvar|) (85 . |algebraic?|)
              (|Record| (|:| |val| 21) (|:| |tower| 10)) (|List| 42)
              |RSETGCD;toseInvertible?;PTSL;6| (|Union| 9 '"failed")
              (91 . |select|) (97 . |collectUnder|) (|List| 13)
              |RSETGCD;internalLastSubResultant;2PTS2BL;13| (103 . |ground?|)
              (108 . =) |RSETGCD;toseInvertible?;PTSB;5| (114 . |init|)
              (119 . |removeZero|) (125 . |concat|) (131 . |collectUpper|)
              (137 . |internalAugment|) (|List| 9) (143 . |members|)
              (148 . |internalAugment|) (154 . <) (160 . |mainPrimitivePart|)
              (165 . |lazyPquo|) (171 . <) (|Mapping| 21 42 42) (177 . |sort|)
              (|Union| 69 '#1="failed") (183 . |extractIfCan|) (|List| 10)
              |RSETGCD;toseInvertibleSet;PTSL;7| (188 . |concat|)
              (194 . |removeDuplicates|) (|QuasiComponentPackage| 6 7 8 9 10)
              (199 . |algebraicSort|) (204 . |insert!|) (|NonNegativeInteger|)
              (210 . |mdeg|) (215 . |One|) (219 . D) (225 . |stronglyReduce|)
              |RSETGCD;toseSquareFreePart;PTSL;10| (|Integer|) (231 . |elt|)
              (237 . |leadingCoefficient|) (243 . |Zero|) (247 . |Zero|)
              (251 . |Zero|) (255 . |degree|) (261 . -) (266 . |prem|)
              (272 . ^) (278 . |One|)
              (|Record| (|:| |val| 58) (|:| |tower| 10)) (|List| 93)
              |RSETGCD;prepareSubResAlgo;2PTSL;11| (282 . |lastSubResultant|)
              (288 . |gcd|) (294 . *) (|Union| $ '"failed") (300 . |exquo|)
              |RSETGCD;integralLastSubResultant;2PTSL;12| (|Union| 48 '#1#)
              (306 . |extractIfCan|) (311 . |empty?|) (316 . |insert!|)
              |RSETGCD;internalLastSubResultant;LVBL;14| (322 . |positive?|)
              (327 . |LazardQuotient2|) (335 . |nextsubResultant2|)
              (343 . |initiallyReduced?|) (349 . |purelyTranscendental?|)
              |RSETGCD;toseLastSubResultant;2PTSL;15|)
           '#(|toseSquareFreePart| 355 |toseLastSubResultant| 361
              |toseInvertibleSet| 368 |toseInvertible?| 374 |stopTableInvSet!|
              386 |stopTableGcd!| 390 |startTableInvSet!| 394 |startTableGcd!|
              401 |prepareSubResAlgo| 408 |internalLastSubResultant| 415
              |integralLastSubResultant| 431)
           'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 112
                                                 '(0 14 11 15 2 14 11 16 16 17
                                                   1 14 11 16 18 0 11 0 19 0 14
                                                   21 22 0 14 11 23 0 14 11 24
                                                   0 27 11 28 2 27 11 16 16 29
                                                   1 27 11 16 30 0 27 21 32 0
                                                   27 11 33 0 27 11 34 2 10 9 9
                                                   0 36 1 9 0 0 37 1 9 21 0 38
                                                   2 10 21 9 0 39 1 9 8 0 40 2
                                                   10 21 8 0 41 2 10 45 0 8 46
                                                   2 10 0 0 8 47 1 9 21 0 50 2
                                                   8 21 0 0 51 1 9 0 0 53 2 10
                                                   9 9 0 54 2 43 0 0 0 55 2 10
                                                   0 0 8 56 2 10 0 9 0 57 1 10
                                                   58 0 59 2 10 0 58 0 60 2 8
                                                   21 0 0 61 1 9 0 0 62 2 9 0 0
                                                   0 63 2 21 21 0 0 64 2 43 0
                                                   65 0 66 1 27 67 26 68 2 69 0
                                                   0 0 71 1 69 0 0 72 1 73 69
                                                   69 74 2 27 11 26 69 75 1 9
                                                   76 0 77 0 6 0 78 2 9 0 0 8
                                                   79 2 10 9 9 0 80 2 58 9 0 82
                                                   83 2 9 0 0 8 84 0 6 0 85 0 7
                                                   0 86 0 9 0 87 2 9 76 0 8 88
                                                   1 9 0 0 89 2 9 0 0 0 90 2 9
                                                   0 0 76 91 0 9 0 92 2 9 0 0 0
                                                   96 2 9 0 0 0 97 2 9 0 0 0 98
                                                   2 9 99 0 0 100 1 14 102 12
                                                   103 1 10 21 0 104 2 14 11 12
                                                   48 105 1 82 21 0 107 4 9 0 0
                                                   0 0 76 108 4 9 0 0 0 0 0 109
                                                   2 10 21 9 0 110 2 10 21 9 0
                                                   111 2 0 48 9 10 81 3 0 48 9
                                                   9 10 112 2 0 69 9 10 70 2 0
                                                   43 9 10 44 2 0 21 9 10 52 0
                                                   0 11 35 0 0 11 25 3 0 11 16
                                                   16 16 31 3 0 11 16 16 16 20
                                                   3 0 94 9 9 10 95 5 0 48 9 9
                                                   10 21 21 49 3 0 48 94 8 21
                                                   106 3 0 48 9 9 10 101)))))
           '|lookupComplete|)) 
