
(SDEFUN |JBE;coerce;JB$;1| ((|jv| JB) ($ $)) (SPADCALL |jv| (QREFELT $ 8))) 

(PUT '|JBE;coerce;E$;2| '|SPADreplace| '(XLAM (|exp|) |exp|)) 

(SDEFUN |JBE;coerce;E$;2| ((|exp| |Expression| (|Integer|)) ($ $)) |exp|) 

(PUT '|JBE;coerce;$E;3| '|SPADreplace| '(XLAM (|f|) |f|)) 

(SDEFUN |JBE;coerce;$E;3| ((|f| $) ($ |Expression| (|Integer|))) |f|) 

(SDEFUN |JBE;coerce;Smp$;4|
        ((|p| |SparseMultivariatePolynomial| (|Integer|) (|Kernel| $)) ($ $))
        (SPADCALL |p| (|spadConstant| $ 13) (QREFELT $ 15))) 

(SDEFUN |JBE;numerJP;$Smp;5|
        ((|f| $)
         ($ |SparseMultivariatePolynomial| (|Expression| (|Integer|)) JB))
        (SPROG
         ((|res|
           (|SparseMultivariatePolynomial| (|Expression| (|Integer|)) JB))
          (|Exp| (|List| (|NonNegativeInteger|))) (JV (|List| JB))
          (|newco| (|Expression| (|Integer|))) (|jv| (|Union| JB "failed"))
          (|vs| ($)) (#1=#:G675 NIL) (|v| NIL) (#2=#:G673 NIL) (|mon| NIL)
          (#3=#:G674 NIL) (|co| NIL) (CO (|List| (|Integer|)))
          (PM
           (|List| (|SparseMultivariatePolynomial| (|Integer|) (|Kernel| $))))
          (|p| (|SparseMultivariatePolynomial| (|Integer|) (|Kernel| $))))
         (SEQ (LETT |res| (|spadConstant| $ 18) . #4=(|JBE;numerJP;$Smp;5|))
              (LETT |p| (SPADCALL |f| (QREFELT $ 19)) . #4#)
              (LETT PM (SPADCALL |p| (QREFELT $ 21)) . #4#)
              (LETT CO (SPADCALL |p| (QREFELT $ 23)) . #4#)
              (SEQ (LETT |co| NIL . #4#) (LETT #3# CO . #4#)
                   (LETT |mon| NIL . #4#) (LETT #2# PM . #4#) G190
                   (COND
                    ((OR (ATOM #2#) (PROGN (LETT |mon| (CAR #2#) . #4#) NIL)
                         (ATOM #3#) (PROGN (LETT |co| (CAR #3#) . #4#) NIL))
                     (GO G191)))
                   (SEQ (LETT JV NIL . #4#) (LETT |Exp| NIL . #4#)
                        (LETT |newco| (SPADCALL |co| (QREFELT $ 25)) . #4#)
                        (SEQ (LETT |v| NIL . #4#)
                             (LETT #1# (SPADCALL |mon| (QREFELT $ 27)) . #4#)
                             G190
                             (COND
                              ((OR (ATOM #1#)
                                   (PROGN (LETT |v| (CAR #1#) . #4#) NIL))
                               (GO G191)))
                             (SEQ
                              (LETT |vs| (SPADCALL |v| (QREFELT $ 29)) . #4#)
                              (LETT |jv| (SPADCALL |vs| (QREFELT $ 31)) . #4#)
                              (EXIT
                               (COND
                                ((QEQCAR |jv| 1)
                                 (LETT |newco|
                                       (SPADCALL |newco|
                                                 (SPADCALL |vs| (QREFELT $ 11))
                                                 (QREFELT $ 32))
                                       . #4#))
                                ('T
                                 (SEQ (LETT JV (CONS (QCDR |jv|) JV) . #4#)
                                      (EXIT
                                       (LETT |Exp|
                                             (CONS
                                              (SPADCALL |mon| |v|
                                                        (QREFELT $ 35))
                                              |Exp|)
                                             . #4#)))))))
                             (LETT #1# (CDR #1#) . #4#) (GO G190) G191
                             (EXIT NIL))
                        (EXIT
                         (LETT |res|
                               (SPADCALL |res|
                                         (SPADCALL |newco|
                                                   (SPADCALL
                                                    (|spadConstant| $ 38)
                                                    (NREVERSE JV)
                                                    (NREVERSE |Exp|)
                                                    (QREFELT $ 41))
                                                   (QREFELT $ 42))
                                         (QREFELT $ 43))
                               . #4#)))
                   (LETT #2# (PROG1 (CDR #2#) (LETT #3# (CDR #3#) . #4#))
                         . #4#)
                   (GO G190) G191 (EXIT NIL))
              (EXIT |res|)))) 

(SDEFUN |JBE;coerce;Smp$;6|
        ((|p| |SparseMultivariatePolynomial| (|Expression| (|Integer|)) JB)
         ($ $))
        (SPROG
         ((|res| ($)) (|prod| ($)) (#1=#:G683 NIL) (|v| NIL) (#2=#:G681 NIL)
          (|mon| NIL) (#3=#:G682 NIL) (|co| NIL)
          (CO (|List| (|Expression| (|Integer|))))
          (PM
           (|List|
            (|SparseMultivariatePolynomial| (|Expression| (|Integer|)) JB))))
         (SEQ (LETT |res| (|spadConstant| $ 45) . #4=(|JBE;coerce;Smp$;6|))
              (LETT PM (SPADCALL |p| (QREFELT $ 46)) . #4#)
              (LETT CO (SPADCALL |p| (QREFELT $ 48)) . #4#)
              (SEQ (LETT |co| NIL . #4#) (LETT #3# CO . #4#)
                   (LETT |mon| NIL . #4#) (LETT #2# PM . #4#) G190
                   (COND
                    ((OR (ATOM #2#) (PROGN (LETT |mon| (CAR #2#) . #4#) NIL)
                         (ATOM #3#) (PROGN (LETT |co| (CAR #3#) . #4#) NIL))
                     (GO G191)))
                   (SEQ (LETT |prod| |co| . #4#)
                        (SEQ (LETT |v| NIL . #4#)
                             (LETT #1# (SPADCALL |mon| (QREFELT $ 49)) . #4#)
                             G190
                             (COND
                              ((OR (ATOM #1#)
                                   (PROGN (LETT |v| (CAR #1#) . #4#) NIL))
                               (GO G191)))
                             (SEQ
                              (EXIT
                               (LETT |prod|
                                     (SPADCALL |prod|
                                               (SPADCALL
                                                (SPADCALL |v| (QREFELT $ 9))
                                                (SPADCALL |p| |v|
                                                          (QREFELT $ 50))
                                                (QREFELT $ 51))
                                               (QREFELT $ 52))
                                     . #4#)))
                             (LETT #1# (CDR #1#) . #4#) (GO G190) G191
                             (EXIT NIL))
                        (EXIT
                         (LETT |res| (SPADCALL |res| |prod| (QREFELT $ 53))
                               . #4#)))
                   (LETT #2# (PROG1 (CDR #2#) (LETT #3# (CDR #3#) . #4#))
                         . #4#)
                   (GO G190) G191 (EXIT NIL))
              (EXIT |res|)))) 

(SDEFUN |JBE;gcd;3$;7| ((|f1| $) (|f2| $) ($ $))
        (SPADCALL
         (SPADCALL (SPADCALL |f1| (QREFELT $ 19))
                   (SPADCALL |f2| (QREFELT $ 19)) (QREFELT $ 55))
         (QREFELT $ 16))) 

(SDEFUN |JBE;exquo;2$U;8| ((|f1| $) (|f2| $) ($ |Union| $ "failed"))
        (SPROG
         ((|p|
           (|Union| (|SparseMultivariatePolynomial| (|Integer|) (|Kernel| $))
                    "failed")))
         (SEQ
          (LETT |p|
                (SPADCALL (SPADCALL |f1| (QREFELT $ 19))
                          (SPADCALL |f2| (QREFELT $ 19)) (QREFELT $ 58))
                |JBE;exquo;2$U;8|)
          (EXIT
           (COND ((QEQCAR |p| 1) (CONS 1 "failed"))
                 ('T (CONS 0 (SPADCALL (QCDR |p|) (QREFELT $ 16))))))))) 

(SDEFUN |JBE;recip;$U;9| ((|f| $) ($ |Union| $ "failed"))
        (CONS 0 (SPADCALL (|spadConstant| $ 36) |f| (QREFELT $ 60)))) 

(SDEFUN |JBE;purge|
        ((|l| |List| (|Kernel| $)) (|q| |NonNegativeInteger|)
         ($ |List| (|Kernel| $)))
        (SPROG ((#1=#:G700 NIL) (|k| NIL) (#2=#:G699 NIL))
               (SEQ
                (PROGN
                 (LETT #2# NIL . #3=(|JBE;purge|))
                 (SEQ (LETT |k| NIL . #3#) (LETT #1# |l| . #3#) G190
                      (COND
                       ((OR (ATOM #1#) (PROGN (LETT |k| (CAR #1#) . #3#) NIL))
                        (GO G191)))
                      (SEQ
                       (EXIT
                        (COND
                         ((EQL
                           (SPADCALL (SPADCALL |k| (QREFELT $ 29))
                                     (QREFELT $ 62))
                           |q|)
                          (LETT #2# (CONS |k| #2#) . #3#)))))
                      (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                      (EXIT (NREVERSE #2#))))))) 

(SDEFUN |JBE;dimrec|
        ((|lmv| |List| (|List| (|Kernel| $))) (|indVars| |List| (|Kernel| $))
         (|remVars| . #1=(|List| (|Kernel| $)))
         (|sets| . #2=(|List| (|List| (|Kernel| $))))
         ($ |List| (|List| (|Kernel| $))))
        (SPROG
         ((|res| #2#) (|elem| (|Boolean|)) (#3=#:G727 NIL) (|ik| NIL)
          (#4=#:G726 NIL) (#5=#:G724 NIL) (|m| NIL) (#6=#:G725 NIL)
          (#7=#:G722 NIL) (|lv| NIL) (#8=#:G723 NIL)
          (|indK| (|List| (|Kernel| $))) (|newVars| #1#) (|jk| (|Kernel| $)))
         (SEQ (LETT |res| |sets| . #9=(|JBE;dimrec|))
              (LETT |newVars| |remVars| . #9#)
              (SEQ G190
                   (COND
                    ((NULL (COND ((NULL |newVars|) 'NIL) ('T 'T))) (GO G191)))
                   (SEQ (LETT |jk| (SPADCALL |newVars| (QREFELT $ 63)) . #9#)
                        (LETT |newVars| (CDR |newVars|) . #9#)
                        (LETT |elem| 'NIL . #9#)
                        (LETT |indK| (SPADCALL |indVars| |jk| (QREFELT $ 64))
                              . #9#)
                        (SEQ (LETT #8# NIL . #9#) (LETT |lv| NIL . #9#)
                             (LETT #7# |lmv| . #9#) G190
                             (COND
                              ((OR (ATOM #7#)
                                   (PROGN (LETT |lv| (CAR #7#) . #9#) NIL) #8#)
                               (GO G191)))
                             (SEQ
                              (EXIT
                               (LETT |elem|
                                     (SPADCALL |lv| |indK| (QREFELT $ 66))
                                     . #9#)))
                             (LETT #7#
                                   (PROG1 (CDR #7#) (LETT #8# |elem| . #9#))
                                   . #9#)
                             (GO G190) G191 (EXIT NIL))
                        (EXIT
                         (COND
                          ((NULL |elem|)
                           (LETT |res|
                                 (|JBE;dimrec| |lmv| |indK| |newVars| |res| $)
                                 . #9#)))))
                   NIL (GO G190) G191 (EXIT NIL))
              (LETT |elem| 'NIL . #9#)
              (SEQ (LETT #6# NIL . #9#) (LETT |m| NIL . #9#)
                   (LETT #5# |res| . #9#) G190
                   (COND
                    ((OR (ATOM #5#) (PROGN (LETT |m| (CAR #5#) . #9#) NIL) #6#)
                     (GO G191)))
                   (SEQ
                    (EXIT
                     (LETT |elem|
                           (SPADCALL (ELT $ 68)
                                     (PROGN
                                      (LETT #4# NIL . #9#)
                                      (SEQ (LETT |ik| NIL . #9#)
                                           (LETT #3# |indVars| . #9#) G190
                                           (COND
                                            ((OR (ATOM #3#)
                                                 (PROGN
                                                  (LETT |ik| (CAR #3#) . #9#)
                                                  NIL))
                                             (GO G191)))
                                           (SEQ
                                            (EXIT
                                             (LETT #4#
                                                   (CONS
                                                    (SPADCALL |ik| |m|
                                                              (QREFELT $ 67))
                                                    #4#)
                                                   . #9#)))
                                           (LETT #3# (CDR #3#) . #9#) (GO G190)
                                           G191 (EXIT (NREVERSE #4#))))
                                     'T (QREFELT $ 71))
                           . #9#)))
                   (LETT #5# (PROG1 (CDR #5#) (LETT #6# |elem| . #9#)) . #9#)
                   (GO G190) G191 (EXIT NIL))
              (COND
               ((NULL |elem|)
                (LETT |res| (SPADCALL |indVars| |res| (QREFELT $ 73)) . #9#)))
              (EXIT |res|)))) 

(SDEFUN |JBE;dimension;LSem2Nni;12|
        ((|sys| |List| $) (|jm| |SparseEchelonMatrix| JB $)
         (|q| |NonNegativeInteger|) ($ |NonNegativeInteger|))
        (SPROG
         ((|dim| (|NonNegativeInteger|)) (#1=#:G738 NIL) (|ind| NIL)
          (|indSets| (|List| (|List| (|Kernel| $))))
          (|dim0| (|NonNegativeInteger|)) (#2=#:G731 NIL)
          (|allvars| (|List| (|Kernel| $))) (#3=#:G737 NIL) (|lv| NIL)
          (|lmv| (|List| (|List| (|Kernel| $)))) (#4=#:G736 NIL) (|p| NIL)
          (#5=#:G735 NIL)
          (|polys|
           (|List| (|SparseMultivariatePolynomial| (|Integer|) (|Kernel| $)))))
         (SEQ
          (LETT |polys| (SPADCALL (ELT $ 19) |sys| (QREFELT $ 78))
                . #6=(|JBE;dimension;LSem2Nni;12|))
          (LETT |lmv|
                (PROGN
                 (LETT #5# NIL . #6#)
                 (SEQ (LETT |p| NIL . #6#) (LETT #4# |polys| . #6#) G190
                      (COND
                       ((OR (ATOM #4#) (PROGN (LETT |p| (CAR #4#) . #6#) NIL))
                        (GO G191)))
                      (SEQ
                       (EXIT
                        (LETT #5#
                              (CONS
                               (SPADCALL
                                (SPADCALL (SPADCALL |p| (QREFELT $ 79))
                                          (QREFELT $ 27))
                                (QREFELT $ 80))
                               #5#)
                              . #6#)))
                      (LETT #4# (CDR #4#) . #6#) (GO G190) G191
                      (EXIT (NREVERSE #5#))))
                . #6#)
          (LETT |allvars| (SPADCALL |lmv| (QREFELT $ 81)) . #6#)
          (SEQ (LETT |lv| NIL . #6#) (LETT #3# (CDR |lmv|) . #6#) G190
               (COND
                ((OR (ATOM #3#) (PROGN (LETT |lv| (CAR #3#) . #6#) NIL))
                 (GO G191)))
               (SEQ
                (EXIT
                 (LETT |allvars|
                       (SPADCALL (SPADCALL |lv| |allvars| (QREFELT $ 82))
                                 (QREFELT $ 83))
                       . #6#)))
               (LETT #3# (CDR #3#) . #6#) (GO G190) G191 (EXIT NIL))
          (LETT |dim0|
                (PROG1
                    (LETT #2#
                          (- (SPADCALL |q| (QREFELT $ 84)) (LENGTH |allvars|))
                          . #6#)
                  (|check_subtype| (>= #2# 0) '(|NonNegativeInteger|) #2#))
                . #6#)
          (LETT |indSets| (|JBE;dimrec| |lmv| NIL |allvars| NIL $) . #6#)
          (LETT |dim| 0 . #6#)
          (SEQ (LETT |ind| NIL . #6#) (LETT #1# |indSets| . #6#) G190
               (COND
                ((OR (ATOM #1#) (PROGN (LETT |ind| (CAR #1#) . #6#) NIL))
                 (GO G191)))
               (SEQ (EXIT (LETT |dim| (MAX |dim| (LENGTH |ind|)) . #6#)))
               (LETT #1# (CDR #1#) . #6#) (GO G190) G191 (EXIT NIL))
          (EXIT (+ |dim0| |dim|))))) 

(SDEFUN |JBE;orderDim;LSem2Nni;13|
        ((|sys| |List| $) (|jm| |SparseEchelonMatrix| JB $)
         (|q| |NonNegativeInteger|) ($ |NonNegativeInteger|))
        (SPROG
         ((|dim| (|NonNegativeInteger|)) (#1=#:G749 NIL) (|ind| NIL)
          (|indSets| (|List| (|List| (|Kernel| $))))
          (|dim0| (|NonNegativeInteger|)) (#2=#:G742 NIL)
          (|allvars| (|List| (|Kernel| $))) (#3=#:G748 NIL) (|lv| NIL)
          (|lmv| (|List| (|List| (|Kernel| $)))) (#4=#:G747 NIL) (|p| NIL)
          (#5=#:G746 NIL)
          (|polys|
           (|List| (|SparseMultivariatePolynomial| (|Integer|) (|Kernel| $)))))
         (SEQ
          (LETT |polys| (SPADCALL (ELT $ 19) |sys| (QREFELT $ 78))
                . #6=(|JBE;orderDim;LSem2Nni;13|))
          (LETT |lmv|
                (PROGN
                 (LETT #5# NIL . #6#)
                 (SEQ (LETT |p| NIL . #6#) (LETT #4# |polys| . #6#) G190
                      (COND
                       ((OR (ATOM #4#) (PROGN (LETT |p| (CAR #4#) . #6#) NIL))
                        (GO G191)))
                      (SEQ
                       (EXIT
                        (LETT #5#
                              (CONS
                               (SPADCALL
                                (|JBE;purge|
                                 (SPADCALL (SPADCALL |p| (QREFELT $ 79))
                                           (QREFELT $ 27))
                                 |q| $)
                                (QREFELT $ 80))
                               #5#)
                              . #6#)))
                      (LETT #4# (CDR #4#) . #6#) (GO G190) G191
                      (EXIT (NREVERSE #5#))))
                . #6#)
          (LETT |allvars| (SPADCALL |lmv| (QREFELT $ 81)) . #6#)
          (SEQ (LETT |lv| NIL . #6#) (LETT #3# (CDR |lmv|) . #6#) G190
               (COND
                ((OR (ATOM #3#) (PROGN (LETT |lv| (CAR #3#) . #6#) NIL))
                 (GO G191)))
               (SEQ
                (EXIT
                 (LETT |allvars|
                       (SPADCALL (SPADCALL |lv| |allvars| (QREFELT $ 82))
                                 (QREFELT $ 83))
                       . #6#)))
               (LETT #3# (CDR #3#) . #6#) (GO G190) G191 (EXIT NIL))
          (LETT |dim0|
                (PROG1
                    (LETT #2#
                          (- (SPADCALL |q| (QREFELT $ 88)) (LENGTH |allvars|))
                          . #6#)
                  (|check_subtype| (>= #2# 0) '(|NonNegativeInteger|) #2#))
                . #6#)
          (LETT |indSets| (|JBE;dimrec| |lmv| NIL |allvars| NIL $) . #6#)
          (LETT |dim| 0 . #6#)
          (SEQ (LETT |ind| NIL . #6#) (LETT #1# |indSets| . #6#) G190
               (COND
                ((OR (ATOM #1#) (PROGN (LETT |ind| (CAR #1#) . #6#) NIL))
                 (GO G191)))
               (SEQ (EXIT (LETT |dim| (MAX |dim| (LENGTH |ind|)) . #6#)))
               (LETT #1# (CDR #1#) . #6#) (GO G190) G191 (EXIT NIL))
          (EXIT (+ |dim0| |dim|))))) 

(SDEFUN |JBE;simpSMP|
        ((|p| |SparseMultivariatePolynomial| (|Integer|) (|Kernel| $))
         ($ |SparseMultivariatePolynomial| (|Integer|) (|Kernel| $)))
        (SPROG
         ((|up|
           (|SparseUnivariatePolynomial|
            (|SparseMultivariatePolynomial| (|Integer|) (|Kernel| $))))
          (|md| (|NonNegativeInteger|))
          (|lc| (|SparseMultivariatePolynomial| (|Integer|) (|Kernel| $)))
          (|v| (|Kernel| $)) (|tv| (|Union| (|Kernel| $) "failed")))
         (SEQ
          (COND ((SPADCALL |p| (QREFELT $ 90)) (|spadConstant| $ 13))
                (#1='T
                 (SEQ
                  (LETT |tv| (SPADCALL |p| (QREFELT $ 92))
                        . #2=(|JBE;simpSMP|))
                  (EXIT
                   (COND ((QEQCAR |tv| 1) (|error| "inconsistent system"))
                         (#1#
                          (SEQ (LETT |v| (QCDR |tv|) . #2#)
                               (LETT |up| (SPADCALL |p| |v| (QREFELT $ 94))
                                     . #2#)
                               (EXIT
                                (COND
                                 ((SPADCALL |up| (QREFELT $ 96))
                                  (SEQ
                                   (LETT |lc| (SPADCALL |up| (QREFELT $ 97))
                                         . #2#)
                                   (EXIT
                                    (COND
                                     ((QEQCAR (SPADCALL |lc| (QREFELT $ 92)) 1)
                                      (SPADCALL (|spadConstant| $ 13) |v| 1
                                                (QREFELT $ 98)))
                                     (#1#
                                      (SPADCALL (|JBE;simpSMP| |lc| $) |v| 1
                                                (QREFELT $ 98)))))))
                                 (#1#
                                  (SEQ
                                   (LETT |md| (SPADCALL |up| (QREFELT $ 99))
                                         . #2#)
                                   (EXIT
                                    (COND
                                     ((SPADCALL |md| 0 (QREFELT $ 101))
                                      (SEQ
                                       (LETT |up|
                                             (QCAR
                                              (SPADCALL |up|
                                                        (SPADCALL
                                                         (|spadConstant| $ 13)
                                                         |md| (QREFELT $ 102))
                                                        (QREFELT $ 104)))
                                             . #2#)
                                       (EXIT
                                        (SPADCALL |up| |v| (QREFELT $ 105)))))
                                     (#1# |p|))))))))))))))))) 

(SDEFUN |JBE;simpOne;2$;15| ((|f| $) ($ $))
        (COND ((SPADCALL |f| (QREFELT $ 106)) (|spadConstant| $ 45))
              ('T
               (SPADCALL (|JBE;simpSMP| (SPADCALL |f| (QREFELT $ 19)) $)
                         (QREFELT $ 16))))) 

(SDEFUN |JBE;greaterLD|
        ((|r1| |Record| (|:| |Fun| $)
          (|:| JMR
               (|Record| (|:| |Indices| (|List| JB))
                         (|:| |Entries| (|List| $))))
          (|:| |Depend| (|List| (|NonNegativeInteger|))))
         (|r2| |Record| (|:| |Fun| $)
          (|:| JMR
               (|Record| (|:| |Indices| #1=(|List| JB))
                         (|:| |Entries| (|List| $))))
          (|:| |Depend| (|List| (|NonNegativeInteger|))))
         ($ |Boolean|))
        (SPROG ((|ind2| #1#) (|ind1| #1#))
               (SEQ
                (COND ((NULL (QCAR (QVELT |r1| 1))) 'NIL)
                      ((NULL (QCAR (QVELT |r2| 1))) 'T)
                      (#2='T
                       (SEQ
                        (LETT |ind1| (QCAR (QVELT |r1| 1))
                              . #3=(|JBE;greaterLD|))
                        (LETT |ind2| (QCAR (QVELT |r2| 1)) . #3#)
                        (EXIT
                         (COND
                          ((SPADCALL (|SPADfirst| |ind1|) (|SPADfirst| |ind2|)
                                     (QREFELT $ 108))
                           (< (LENGTH |ind1|) (LENGTH |ind2|)))
                          (#2#
                           (SPADCALL (|SPADfirst| |ind1|) (|SPADfirst| |ind2|)
                                     (QREFELT $ 109))))))))))) 

(SDEFUN |JBE;groebner| ((|sys| |List| $) ($ |List| $))
        (SPROG
         ((|gbase|
           (|List| (|SparseMultivariatePolynomial| (|Integer|) (|Kernel| $))))
          (|polys|
           (|List| (|SparseMultivariatePolynomial| (|Integer|) (|Kernel| $)))))
         (SEQ
          (LETT |polys| (SPADCALL (ELT $ 19) |sys| (QREFELT $ 78))
                . #1=(|JBE;groebner|))
          (SPADCALL
           (SPADCALL "polys" (SPADCALL |polys| (QREFELT $ 111))
                     (QREFELT $ 112))
           (QREFELT $ 114))
          (LETT |gbase| (SPADCALL |polys| (QREFELT $ 116)) . #1#)
          (EXIT (SPADCALL (ELT $ 16) |gbase| (QREFELT $ 119)))))) 

(SDEFUN |JBE;groebnerSimp|
        ((|sysL| |List|
          (|Record| (|:| |Fun| $)
                    (|:| JMR
                         (|Record| (|:| |Indices| (|List| JB))
                                   (|:| |Entries| (|List| $))))
                    (|:| |Depend| (|List| (|NonNegativeInteger|)))))
         (|ind| |List| JB)
         ($ |List|
          (|Record| (|:| |Fun| $)
                    (|:| JMR
                         (|Record| (|:| |Indices| (|List| JB))
                                   (|:| |Entries| (|List| $))))
                    (|:| |Depend| (|List| (|NonNegativeInteger|))))))
        (SPROG
         ((#1=#:G793 NIL) (|fun| NIL) (|i| NIL) (#2=#:G792 NIL)
          (|resJM| (|SparseEchelonMatrix| JB $)) (#3=#:G791 NIL) (|eq| NIL)
          (#4=#:G790 NIL) (|resSys| (|List| $)) (#5=#:G789 NIL) (|rec| NIL)
          (#6=#:G788 NIL) (|resDep| (|List| (|NonNegativeInteger|)))
          (|tmp| (|List| (|List| (|NonNegativeInteger|)))) (#7=#:G787 NIL)
          (#8=#:G786 NIL))
         (SEQ
          (SPADCALL
           (SPADCALL "groebnerSimp: #"
                     (SPADCALL (LENGTH |sysL|) (QREFELT $ 120))
                     (QREFELT $ 112))
           (QREFELT $ 114))
          (LETT |tmp|
                (PROGN
                 (LETT #8# NIL . #9=(|JBE;groebnerSimp|))
                 (SEQ (LETT |rec| NIL . #9#) (LETT #7# |sysL| . #9#) G190
                      (COND
                       ((OR (ATOM #7#)
                            (PROGN (LETT |rec| (CAR #7#) . #9#) NIL))
                        (GO G191)))
                      (SEQ (EXIT (LETT #8# (CONS (QVELT |rec| 2) #8#) . #9#)))
                      (LETT #7# (CDR #7#) . #9#) (GO G190) G191
                      (EXIT (NREVERSE #8#))))
                . #9#)
          (LETT |resDep| (SPADCALL (ELT $ 121) |tmp| NIL (QREFELT $ 125))
                . #9#)
          (LETT |resSys|
                (|JBE;groebner|
                 (PROGN
                  (LETT #6# NIL . #9#)
                  (SEQ (LETT |rec| NIL . #9#) (LETT #5# |sysL| . #9#) G190
                       (COND
                        ((OR (ATOM #5#)
                             (PROGN (LETT |rec| (CAR #5#) . #9#) NIL))
                         (GO G191)))
                       (SEQ (EXIT (LETT #6# (CONS (QVELT |rec| 0) #6#) . #9#)))
                       (LETT #5# (CDR #5#) . #9#) (GO G190) G191
                       (EXIT (NREVERSE #6#))))
                 $)
                . #9#)
          (LETT |resJM|
                (SPADCALL |resSys|
                          (PROGN
                           (LETT #4# NIL . #9#)
                           (SEQ (LETT |eq| NIL . #9#) (LETT #3# |resSys| . #9#)
                                G190
                                (COND
                                 ((OR (ATOM #3#)
                                      (PROGN (LETT |eq| (CAR #3#) . #9#) NIL))
                                  (GO G191)))
                                (SEQ (EXIT (LETT #4# (CONS |ind| #4#) . #9#)))
                                (LETT #3# (CDR #3#) . #9#) (GO G190) G191
                                (EXIT (NREVERSE #4#))))
                          (QREFELT $ 127))
                . #9#)
          (SPADCALL "END groebnerSimp" (QREFELT $ 114))
          (EXIT
           (PROGN
            (LETT #2# NIL . #9#)
            (SEQ (LETT |i| 1 . #9#) (LETT |fun| NIL . #9#)
                 (LETT #1# |resSys| . #9#) G190
                 (COND
                  ((OR (ATOM #1#) (PROGN (LETT |fun| (CAR #1#) . #9#) NIL))
                   (GO G191)))
                 (SEQ
                  (EXIT
                   (LETT #2#
                         (CONS
                          (VECTOR |fun| (SPADCALL |resJM| |i| (QREFELT $ 130))
                                  |resDep|)
                          #2#)
                         . #9#)))
                 (LETT #1# (PROG1 (CDR #1#) (LETT |i| (|inc_SI| |i|) . #9#))
                       . #9#)
                 (GO G190) G191 (EXIT (NREVERSE #2#)))))))) 

(SDEFUN |JBE;linearSimp|
        ((|sysL| |List|
          (|Record| (|:| |Fun| $)
                    (|:| JMR
                         (|Record| (|:| |Indices| (|List| JB))
                                   (|:| |Entries| (|List| $))))
                    (|:| |Depend| (|List| (|NonNegativeInteger|)))))
         (|ind| |List| JB)
         ($ |List|
          (|Record| (|:| |Fun| $)
                    (|:| JMR
                         (|Record| (|:| |Indices| (|List| JB))
                                   (|:| |Entries| (|List| $))))
                    (|:| |Depend| (|List| (|NonNegativeInteger|))))))
        (SPROG
         ((|res|
           (|List|
            (|Record| (|:| |Fun| $)
                      (|:| JMR
                           (|Record| (|:| |Indices| (|List| JB))
                                     (|:| |Entries| (|List| $))))
                      (|:| |Depend| (|List| (|NonNegativeInteger|))))))
          (|newDep| (|List| (|NonNegativeInteger|)))
          (|newJMR|
           (|Record| (|:| |Indices| (|List| JB)) (|:| |Entries| (|List| $))))
          (|newFun| ($)) (#1=#:G812 NIL)
          (|rec|
           #2=(|Record| (|:| |Fun| $)
                        (|:| JMR
                             (|Record| (|:| |Indices| (|List| JB))
                                       (|:| |Entries| (|List| $))))
                        (|:| |Depend| (|List| (|NonNegativeInteger|)))))
          (|sdep| (|List| (|NonNegativeInteger|))) (|ssub| ($)) (#3=#:G798 NIL)
          (|rsysL|
           (|List|
            (|Record| (|:| |Fun| $)
                      (|:| JMR
                           (|Record| (|:| |Indices| (|List| JB))
                                     (|:| |Entries| (|List| $))))
                      (|:| |Depend| (|List| (|NonNegativeInteger|))))))
          (|sld| (JB)) (|srec| #2#) (|solved?| (|Boolean|))
          (|s| (|Union| $ "failed")) (|ld| (JB)))
         (SEQ (LETT |solved?| 'NIL . #4=(|JBE;linearSimp|))
              (LETT |rsysL| NIL . #4#)
              (SEQ G190
                   (COND
                    ((NULL (COND ((OR |solved?| (NULL |sysL|)) 'NIL) ('T 'T)))
                     (GO G191)))
                   (SEQ (LETT |rec| (SPADCALL |sysL| (QREFELT $ 133)) . #4#)
                        (LETT |sysL| (CDR |sysL|) . #4#)
                        (LETT |ld| (|SPADfirst| (QCAR (QVELT |rec| 1))) . #4#)
                        (LETT |s|
                              (SPADCALL (QVELT |rec| 0) |ld| (QREFELT $ 134))
                              . #4#)
                        (LETT |solved?| (QEQCAR |s| 0) . #4#)
                        (EXIT
                         (COND
                          (|solved?|
                           (SEQ (LETT |srec| |rec| . #4#)
                                (EXIT (LETT |sld| |ld| . #4#))))
                          ('T
                           (LETT |rsysL|
                                 (SPADCALL |rec| |rsysL| (QREFELT $ 135))
                                 . #4#)))))
                   NIL (GO G190) G191 (EXIT NIL))
              (LETT |rsysL|
                    (SPADCALL (NREVERSE |rsysL|) |sysL| (QREFELT $ 136)) . #4#)
              (EXIT
               (COND
                (|solved?|
                 (SEQ
                  (LETT |ssub|
                        (PROG2 (LETT #3# |s| . #4#)
                            (QCDR #3#)
                          (|check_union| (QEQCAR #3# 0) $ #3#))
                        . #4#)
                  (LETT |res| (LIST |srec|) . #4#)
                  (LETT |sdep| (QVELT |srec| 2) . #4#)
                  (SEQ (LETT |rec| NIL . #4#) (LETT #1# |rsysL| . #4#) G190
                       (COND
                        ((OR (ATOM #1#)
                             (PROGN (LETT |rec| (CAR #1#) . #4#) NIL))
                         (GO G191)))
                       (SEQ
                        (LETT |newFun|
                              (SPADCALL
                               (SPADCALL (QVELT |rec| 0) |sld| |ssub|
                                         (QREFELT $ 137))
                               (QREFELT $ 107))
                              . #4#)
                        (EXIT
                         (COND
                          ((NULL (SPADCALL |newFun| (QREFELT $ 106)))
                           (SEQ
                            (LETT |newJMR|
                                  (SPADCALL
                                   (SPADCALL (LIST |newFun|) (LIST |ind|)
                                             (QREFELT $ 127))
                                   1 (QREFELT $ 130))
                                  . #4#)
                            (LETT |newDep|
                                  (SPADCALL (APPEND (QVELT |rec| 2) |sdep|)
                                            (QREFELT $ 138))
                                  . #4#)
                            (EXIT
                             (LETT |res|
                                   (SPADCALL
                                    (VECTOR |newFun| |newJMR| |newDep|) |res|
                                    (QREFELT $ 135))
                                   . #4#)))))))
                       (LETT #1# (CDR #1#) . #4#) (GO G190) G191 (EXIT NIL))
                  (EXIT (NREVERSE |res|))))
                ('T (|JBE;groebnerSimp| |rsysL| |ind| $))))))) 

(SDEFUN |JBE;simpRec|
        ((|sysL| |List|
          (|Record| (|:| |Fun| $)
                    (|:| JMR
                         (|Record| (|:| |Indices| (|List| JB))
                                   (|:| |Entries| (|List| $))))
                    (|:| |Depend| (|List| (|NonNegativeInteger|)))))
         (|ind| |List| JB)
         ($ |List|
          (|Record| (|:| |Fun| $)
                    (|:| JMR
                         (|Record| (|:| |Indices| (|List| JB))
                                   (|:| |Entries| (|List| $))))
                    (|:| |Depend| (|List| (|NonNegativeInteger|))))))
        (SPROG
         ((|newSysL|
           (|List|
            (|Record| (|:| |Fun| $)
                      (|:| JMR
                           (|Record| (|:| |Indices| (|List| JB))
                                     (|:| |Entries| (|List| $))))
                      (|:| |Depend| (|List| (|NonNegativeInteger|))))))
          (|sld| (JB))
          (|srec|
           #1=(|Record| (|:| |Fun| $)
                        (|:| JMR
                             (|Record| (|:| |Indices| (|List| JB))
                                       (|:| |Entries| (|List| $))))
                        (|:| |Depend| (|List| (|NonNegativeInteger|)))))
          (|eqLD| (|List| #1#))
          (|resLD|
           (|List|
            (|Record| (|:| |Fun| $)
                      (|:| JMR
                           (|Record| (|:| |Indices| (|List| JB))
                                     (|:| |Entries| (|List| $))))
                      (|:| |Depend| (|List| (|NonNegativeInteger|))))))
          (|fld| (JB)) (|frec| #1#))
         (SEQ
          (COND ((< (LENGTH |sysL|) 2) |sysL|)
                (#2='T
                 (SEQ
                  (LETT |frec| (SPADCALL |sysL| (QREFELT $ 133))
                        . #3=(|JBE;simpRec|))
                  (LETT |fld| (|SPADfirst| (QCAR (QVELT |frec| 1))) . #3#)
                  (LETT |sysL| (CDR |sysL|) . #3#)
                  (LETT |srec| (SPADCALL |sysL| (QREFELT $ 133)) . #3#)
                  (LETT |sld| (|SPADfirst| (QCAR (QVELT |srec| 1))) . #3#)
                  (EXIT
                   (COND
                    ((SPADCALL |fld| |sld| (QREFELT $ 109))
                     (SPADCALL |frec| (|JBE;simpRec| |sysL| |ind| $)
                               (QREFELT $ 135)))
                    (#2#
                     (SEQ (LETT |eqLD| (LIST |frec|) . #3#)
                          (SEQ G190
                               (COND
                                ((NULL
                                  (COND ((NULL |sysL|) 'NIL)
                                        ('T
                                         (SPADCALL |sld| |fld|
                                                   (QREFELT $ 108)))))
                                 (GO G191)))
                               (SEQ
                                (LETT |eqLD|
                                      (SPADCALL |srec| |eqLD| (QREFELT $ 135))
                                      . #3#)
                                (LETT |sysL| (CDR |sysL|) . #3#)
                                (EXIT
                                 (COND
                                  ((NULL (NULL |sysL|))
                                   (SEQ
                                    (LETT |srec|
                                          (SPADCALL |sysL| (QREFELT $ 133))
                                          . #3#)
                                    (EXIT
                                     (LETT |sld|
                                           (|SPADfirst|
                                            (QCAR (QVELT |srec| 1)))
                                           . #3#)))))))
                               NIL (GO G190) G191 (EXIT NIL))
                          (LETT |eqLD|
                                (SPADCALL (CONS (|function| |JBE;greaterLD|) $)
                                          (|JBE;linearSimp| (NREVERSE |eqLD|)
                                           |ind| $)
                                          (QREFELT $ 140))
                                . #3#)
                          (LETT |srec| (SPADCALL |eqLD| (QREFELT $ 133)) . #3#)
                          (LETT |sld| (|SPADfirst| (QCAR (QVELT |srec| 1)))
                                . #3#)
                          (LETT |resLD| NIL . #3#)
                          (SEQ G190
                               (COND
                                ((NULL
                                  (COND ((NULL |eqLD|) 'NIL)
                                        ('T
                                         (SPADCALL |sld| |fld|
                                                   (QREFELT $ 108)))))
                                 (GO G191)))
                               (SEQ
                                (LETT |resLD|
                                      (SPADCALL |srec| |resLD| (QREFELT $ 135))
                                      . #3#)
                                (LETT |eqLD| (CDR |eqLD|) . #3#)
                                (EXIT
                                 (COND
                                  ((NULL (NULL |eqLD|))
                                   (SEQ
                                    (LETT |srec|
                                          (SPADCALL |eqLD| (QREFELT $ 133))
                                          . #3#)
                                    (EXIT
                                     (LETT |sld|
                                           (|SPADfirst|
                                            (QCAR (QVELT |srec| 1)))
                                           . #3#)))))))
                               NIL (GO G190) G191 (EXIT NIL))
                          (LETT |newSysL|
                                (SPADCALL (CONS (|function| |JBE;greaterLD|) $)
                                          |eqLD| |sysL| (QREFELT $ 141))
                                . #3#)
                          (EXIT
                           (SPADCALL (NREVERSE |resLD|)
                                     (|JBE;simpRec| |newSysL| |ind| $)
                                     (QREFELT $ 136))))))))))))) 

(SDEFUN |JBE;simplify;LSemR;21|
        ((|sys| |List| $) (|jm| |SparseEchelonMatrix| JB $)
         ($ |Record| (|:| |Sys| (|List| $))
          (|:| JM (|SparseEchelonMatrix| JB $))
          (|:| |Depend|
               (|Union| "failed" (|List| (|List| (|NonNegativeInteger|)))))))
        (SPROG
         ((|resDep| (|List| (|List| (|NonNegativeInteger|))))
          (|resSys| (|List| $)) (#1=#:G868 NIL) (|rec| NIL) (|i| NIL)
          (|resJM| (|SparseEchelonMatrix| JB $))
          (|sysL|
           (|List|
            (|Record| (|:| |Fun| $)
                      (|:| JMR
                           (|Record| (|:| |Indices| (|List| JB))
                                     (|:| |Entries| (|List| $))))
                      (|:| |Depend| (|List| (|NonNegativeInteger|))))))
          (|r|
           (|Record| (|:| |Indices| (|List| JB)) (|:| |Entries| (|List| $))))
          (|neq| ($)) (#2=#:G867 NIL) (|eq| NIL) (|inds| (|List| JB)))
         (SEQ
          (LETT |inds| (SPADCALL |jm| (QREFELT $ 142))
                . #3=(|JBE;simplify;LSemR;21|))
          (LETT |sysL| NIL . #3#)
          (SEQ (LETT |i| 1 . #3#) (LETT |eq| NIL . #3#) (LETT #2# |sys| . #3#)
               G190
               (COND
                ((OR (ATOM #2#) (PROGN (LETT |eq| (CAR #2#) . #3#) NIL))
                 (GO G191)))
               (SEQ
                (EXIT
                 (COND
                  ((COND ((SPADCALL |eq| (QREFELT $ 106)) 'NIL) (#4='T 'T))
                   (SEQ (LETT |neq| (SPADCALL |eq| (QREFELT $ 107)) . #3#)
                        (COND
                         ((SPADCALL |neq| |eq| (QREFELT $ 143))
                          (LETT |r| (SPADCALL |jm| |i| (QREFELT $ 130)) . #3#))
                         ('T
                          (LETT |r|
                                (SPADCALL
                                 (SPADCALL (LIST |neq|)
                                           (LIST
                                            (QCAR
                                             (SPADCALL |jm| |i|
                                                       (QREFELT $ 130))))
                                           (QREFELT $ 127))
                                 1 (QREFELT $ 130))
                                . #3#)))
                        (COND
                         ((OR (NULL (QCAR |r|))
                              (EQUAL
                               (SPADCALL (|SPADfirst| (QCAR |r|))
                                         (QREFELT $ 145))
                               '|Indep|))
                          (EXIT (|error| "inconsistent system"))))
                        (EXIT
                         (LETT |sysL|
                               (SPADCALL (VECTOR |neq| |r| (LIST |i|)) |sysL|
                                         (QREFELT $ 135))
                               . #3#)))))))
               (LETT #2# (PROG1 (CDR #2#) (LETT |i| (|inc_SI| |i|) . #3#))
                     . #3#)
               (GO G190) G191 (EXIT NIL))
          (EXIT
           (COND
            ((NULL |sysL|)
             (VECTOR (SPADCALL (QREFELT $ 85)) (SPADCALL NIL 0 (QREFELT $ 146))
                     (CONS 1 NIL)))
            (#4#
             (SEQ
              (LETT |sysL|
                    (|JBE;simpRec|
                     (SPADCALL (CONS (|function| |JBE;greaterLD|) $) |sysL|
                               (QREFELT $ 140))
                     |inds| $)
                    . #3#)
              (LETT |resSys| (SPADCALL (QREFELT $ 85)) . #3#)
              (LETT |resJM| (SPADCALL |inds| (LENGTH |sysL|) (QREFELT $ 146))
                    . #3#)
              (LETT |resDep| NIL . #3#)
              (SEQ (LETT |i| 1 . #3#) (LETT |rec| NIL . #3#)
                   (LETT #1# |sysL| . #3#) G190
                   (COND
                    ((OR (ATOM #1#) (PROGN (LETT |rec| (CAR #1#) . #3#) NIL))
                     (GO G191)))
                   (SEQ
                    (EXIT
                     (COND
                      ((OR (NULL (QCAR (QVELT |rec| 1)))
                           (SPADCALL (|SPADfirst| (QCAR (QVELT |rec| 1)))
                                     (SPADCALL 1 (QREFELT $ 148))
                                     (QREFELT $ 149)))
                       (|error| "inconsistent system"))
                      ('T
                       (SEQ
                        (LETT |resSys|
                              (SPADCALL (QVELT |rec| 0) |resSys|
                                        (QREFELT $ 150))
                              . #3#)
                        (SPADCALL |resJM| |i| (QVELT |rec| 1) (QREFELT $ 151))
                        (EXIT
                         (LETT |resDep| (CONS (QVELT |rec| 2) |resDep|)
                               . #3#)))))))
                   (LETT #1# (PROG1 (CDR #1#) (LETT |i| (|inc_SI| |i|) . #3#))
                         . #3#)
                   (GO G190) G191 (EXIT NIL))
              (EXIT
               (VECTOR (SPADCALL |resSys| (QREFELT $ 152)) |resJM|
                       (CONS 1 (NREVERSE |resDep|))))))))))) 

(SDEFUN |JBE;jetVariables;$L;22| ((|Phi| $) ($ |List| JB))
        (SPROG
         ((JV (|List| JB)) (#1=#:G883 NIL)
          (|pmindex| (|List| (|NonNegativeInteger|))) (#2=#:G880 NIL)
          (#3=#:G898 NIL) (|i| NIL) (#4=#:G897 NIL)
          (|mindex| (|List| (|Integer|))) (#5=#:G896 NIL) (#6=#:G895 NIL)
          (|pupindex| #7=(|Integer|)) (#8=#:G877 NIL) (|uindex| #7#)
          (#9=#:G874 NIL) (|xindex| #7#) (|arg| (|List| $)) (|typ| (|Symbol|))
          (#10=#:G871 NIL) (#11=#:G893 NIL) (|Ke| NIL) (#12=#:G894 NIL)
          (|Op| NIL) (|LOps| (|List| (|BasicOperator|))) (#13=#:G892 NIL)
          (#14=#:G891 NIL) (|LKernels| (|List| (|Kernel| $))))
         (SEQ (LETT JV NIL . #15=(|JBE;jetVariables;$L;22|))
              (LETT |LKernels| (SPADCALL |Phi| (QREFELT $ 157)) . #15#)
              (LETT |LOps|
                    (PROGN
                     (LETT #14# NIL . #15#)
                     (SEQ (LETT |Ke| NIL . #15#) (LETT #13# |LKernels| . #15#)
                          G190
                          (COND
                           ((OR (ATOM #13#)
                                (PROGN (LETT |Ke| (CAR #13#) . #15#) NIL))
                            (GO G191)))
                          (SEQ
                           (EXIT
                            (LETT #14#
                                  (CONS (SPADCALL |Ke| (QREFELT $ 159)) #14#)
                                  . #15#)))
                          (LETT #13# (CDR #13#) . #15#) (GO G190) G191
                          (EXIT (NREVERSE #14#))))
                    . #15#)
              (SEQ (LETT |Op| NIL . #15#) (LETT #12# |LOps| . #15#)
                   (LETT |Ke| NIL . #15#) (LETT #11# |LKernels| . #15#) G190
                   (COND
                    ((OR (ATOM #11#) (PROGN (LETT |Ke| (CAR #11#) . #15#) NIL)
                         (ATOM #12#) (PROGN (LETT |Op| (CAR #12#) . #15#) NIL))
                     (GO G191)))
                   (SEQ
                    (EXIT
                     (COND
                      ((SPADCALL |Op| '|%jet| (QREFELT $ 160))
                       (SEQ
                        (LETT |typ|
                              (PROG2
                                  (LETT #10#
                                        (SPADCALL |Op| '|%jet| (QREFELT $ 162))
                                        . #15#)
                                  (QCDR #10#)
                                (|check_union| (QEQCAR #10# 0) (|None|) #10#))
                              . #15#)
                        (LETT |arg| (SPADCALL |Ke| (QREFELT $ 163)) . #15#)
                        (EXIT
                         (COND
                          ((EQUAL |typ| '|Indep|)
                           (SEQ
                            (LETT |xindex|
                                  (SPADCALL (SPADCALL |arg| (QREFELT $ 164))
                                            (QREFELT $ 165))
                                  . #15#)
                            (EXIT
                             (LETT JV
                                   (CONS
                                    (SPADCALL
                                     (PROG1 (LETT #9# |xindex| . #15#)
                                       (|check_subtype| (> #9# 0)
                                                        '(|PositiveInteger|)
                                                        #9#))
                                     (QREFELT $ 166))
                                    JV)
                                   . #15#))))
                          ((EQUAL |typ| '|Dep|)
                           (SEQ
                            (LETT |uindex|
                                  (SPADCALL (SPADCALL |arg| (QREFELT $ 164))
                                            (QREFELT $ 165))
                                  . #15#)
                            (EXIT
                             (LETT JV
                                   (CONS
                                    (SPADCALL
                                     (PROG1 (LETT #8# |uindex| . #15#)
                                       (|check_subtype| (> #8# 0)
                                                        '(|PositiveInteger|)
                                                        #8#))
                                     (QREFELT $ 148))
                                    JV)
                                   . #15#))))
                          ('T
                           (SEQ
                            (LETT |pupindex|
                                  (SPADCALL (SPADCALL |arg| (QREFELT $ 164))
                                            (QREFELT $ 165))
                                  . #15#)
                            (LETT |mindex|
                                  (PROGN
                                   (LETT #6# NIL . #15#)
                                   (SEQ (LETT |i| NIL . #15#)
                                        (LETT #5#
                                              (SPADCALL
                                               (SPADCALL |arg| (QREFELT $ 167))
                                               (QREFELT $ 167))
                                              . #15#)
                                        G190
                                        (COND
                                         ((OR (ATOM #5#)
                                              (PROGN
                                               (LETT |i| (CAR #5#) . #15#)
                                               NIL))
                                          (GO G191)))
                                        (SEQ
                                         (EXIT
                                          (LETT #6#
                                                (CONS
                                                 (SPADCALL |i| (QREFELT $ 165))
                                                 #6#)
                                                . #15#)))
                                        (LETT #5# (CDR #5#) . #15#) (GO G190)
                                        G191 (EXIT (NREVERSE #6#))))
                                  . #15#)
                            (LETT |pmindex|
                                  (PROGN
                                   (LETT #4# NIL . #15#)
                                   (SEQ (LETT |i| NIL . #15#)
                                        (LETT #3# |mindex| . #15#) G190
                                        (COND
                                         ((OR (ATOM #3#)
                                              (PROGN
                                               (LETT |i| (CAR #3#) . #15#)
                                               NIL))
                                          (GO G191)))
                                        (SEQ
                                         (EXIT
                                          (LETT #4#
                                                (CONS
                                                 (PROG1 (LETT #2# |i| . #15#)
                                                   (|check_subtype| (>= #2# 0)
                                                                    '(|NonNegativeInteger|)
                                                                    #2#))
                                                 #4#)
                                                . #15#)))
                                        (LETT #3# (CDR #3#) . #15#) (GO G190)
                                        G191 (EXIT (NREVERSE #4#))))
                                  . #15#)
                            (EXIT
                             (LETT JV
                                   (CONS
                                    (SPADCALL
                                     (PROG1 (LETT #1# |pupindex| . #15#)
                                       (|check_subtype| (> #1# 0)
                                                        '(|PositiveInteger|)
                                                        #1#))
                                     |pmindex| (QREFELT $ 168))
                                    JV)
                                   . #15#)))))))))))
                   (LETT #11# (PROG1 (CDR #11#) (LETT #12# (CDR #12#) . #15#))
                         . #15#)
                   (GO G190) G191 (EXIT NIL))
              (EXIT
               (SPADCALL (ELT $ 109) (SPADCALL JV (QREFELT $ 169))
                         (QREFELT $ 171)))))) 

(SDEFUN |JBE;differentiate;$JB$;23| ((|fun| $) (|jv| JB) ($ $))
        (SPROG ((|x| (|Symbol|)))
               (SEQ
                (LETT |x| (SPADCALL |jv| (QREFELT $ 173))
                      |JBE;differentiate;$JB$;23|)
                (EXIT (SPADCALL |fun| |x| (QREFELT $ 174)))))) 

(SDEFUN |JBE;differentiate;$S$;24| ((|fun| $) (|x| |Symbol|) ($ $))
        (SPADCALL (SPADCALL |fun| (QREFELT $ 11)) |x| (QREFELT $ 176))) 

(SDEFUN |JBE;subst;$JB2$;25| ((|f| $) (|jv| JB) (|exp| $) ($ $))
        (SPROG ((|res| ($)))
               (SEQ
                (LETT |res|
                      (SPADCALL |f|
                                (SPADCALL (SPADCALL |jv| (QREFELT $ 9)) |exp|
                                          (QREFELT $ 179))
                                (QREFELT $ 181))
                      |JBE;subst;$JB2$;25|)
                (EXIT |res|)))) 

(SDEFUN |JBE;solveFor;$JBU;26| ((|f| $) (|jv| JB) ($ |Union| $ "failed"))
        (SPROG
         ((|vquo| #1=(|List| (|Kernel| $))) (|vrem| #1#)
          (|md|
           (|Record|
            (|:| |quotient|
                 (|SparseMultivariatePolynomial| (|Integer|) (|Kernel| $)))
            (|:| |remainder|
                 (|SparseMultivariatePolynomial| (|Integer|) (|Kernel| $)))))
          (|var| (|Kernel| $))
          (|fun| (|SparseMultivariatePolynomial| (|Integer|) (|Kernel| $))))
         (SEQ
          (LETT |fun| (SPADCALL |f| (QREFELT $ 19))
                . #2=(|JBE;solveFor;$JBU;26|))
          (LETT |var| (SPADCALL (SPADCALL |jv| (QREFELT $ 9)) (QREFELT $ 182))
                . #2#)
          (LETT |md|
                (SPADCALL |fun| (SPADCALL |var| (QREFELT $ 183)) |var|
                          (QREFELT $ 184))
                . #2#)
          (LETT |vrem| (SPADCALL (QCDR |md|) (QREFELT $ 27)) . #2#)
          (LETT |vquo| (SPADCALL (QCAR |md|) (QREFELT $ 27)) . #2#)
          (EXIT
           (COND
            ((SPADCALL |var| (APPEND |vrem| |vquo|) (QREFELT $ 67))
             (CONS 1 "failed"))
            ((SPADCALL (QCDR |md|) (QREFELT $ 185))
             (COND ((NULL |vquo|) (CONS 0 (|spadConstant| $ 45)))
                   (#3='T (CONS 1 "failed"))))
            (#3#
             (CONS 0
                   (SPADCALL (SPADCALL (QCDR |md|) (QCAR |md|) (QREFELT $ 15))
                             (QREFELT $ 186))))))))) 

(SDEFUN |JBE;kernel0| ((|op| |BasicOperator|) (|ls| |List| $) ($ $))
        (SPADCALL |op| |ls| (QREFELT $ 187))) 

(SDEFUN |JBE;sy2jbe| ((|s| |Symbol|) ($ $)) (SPADCALL |s| (QREFELT $ 188))) 

(SDEFUN |JBE;hidedisp| ((|l| |List| $) ($ |OutputForm|))
        (SPROG
         ((|op| (|OutputForm|)) (#1=#:G922 NIL) (|e| NIL) (#2=#:G921 NIL)
          (|k| NIL) (|args| (|List| (|OutputForm|))) (|show| #3=(|Integer|))
          (|num| #3#) (|name| (|Symbol|)))
         (SEQ
          (LETT |name|
                (SPADCALL (SPADCALL |l| (QREFELT $ 189)) (QREFELT $ 190))
                . #4=(|JBE;hidedisp|))
          (LETT |l| (SPADCALL |l| (QREFELT $ 167)) . #4#)
          (LETT |num| (SPADCALL (SPADCALL |l| (QREFELT $ 189)) (QREFELT $ 165))
                . #4#)
          (LETT |l| (SPADCALL |l| (QREFELT $ 167)) . #4#)
          (LETT |show|
                (SPADCALL (SPADCALL |l| (QREFELT $ 189)) (QREFELT $ 165))
                . #4#)
          (LETT |l| (SPADCALL |l| (QREFELT $ 167)) . #4#)
          (LETT |args| NIL . #4#)
          (SEQ (LETT |k| 1 . #4#) G190
               (COND ((|greater_SI| |k| |show|) (GO G191)))
               (SEQ
                (LETT |args|
                      (SPADCALL |args|
                                (LIST
                                 (SPADCALL (SPADCALL |l| (QREFELT $ 189))
                                           (QREFELT $ 191)))
                                (QREFELT $ 193))
                      . #4#)
                (EXIT (LETT |l| (SPADCALL |l| (QREFELT $ 167)) . #4#)))
               (LETT |k| (|inc_SI| |k|) . #4#) (GO G190) G191 (EXIT NIL))
          (SEQ (LETT |k| (+ |show| 1) . #4#) G190
               (COND ((> |k| |num|) (GO G191)))
               (SEQ (EXIT (LETT |l| (SPADCALL |l| (QREFELT $ 167)) . #4#)))
               (LETT |k| (+ |k| 1) . #4#) (GO G190) G191 (EXIT NIL))
          (COND
           ((SPADCALL |l| (QREFELT $ 194))
            (LETT |op| (SPADCALL |name| (QREFELT $ 195)) . #4#))
           (#5='T
            (LETT |op|
                  (SPADCALL (SPADCALL |name| (QREFELT $ 195))
                            (SPADCALL
                             (PROGN
                              (LETT #2# NIL . #4#)
                              (SEQ (LETT |e| NIL . #4#) (LETT #1# |l| . #4#)
                                   G190
                                   (COND
                                    ((OR (ATOM #1#)
                                         (PROGN
                                          (LETT |e| (CAR #1#) . #4#)
                                          NIL))
                                     (GO G191)))
                                   (SEQ
                                    (EXIT
                                     (LETT #2#
                                           (CONS (SPADCALL |e| (QREFELT $ 191))
                                                 #2#)
                                           . #4#)))
                                   (LETT #1# (CDR #1#) . #4#) (GO G190) G191
                                   (EXIT (NREVERSE #2#))))
                             (QREFELT $ 196))
                            (QREFELT $ 197))
                  . #4#)))
          (EXIT
           (COND ((NULL |args|) |op|)
                 (#5# (SPADCALL |op| |args| (QREFELT $ 198)))))))) 

(SDEFUN |JBE;hidediff| ((|l| |List| $) (|x| |Symbol|) ($ $))
        (SPROG
         ((|res| ($)) (|newarg| (|List| $)) (#1=#:G944 NIL) (|j| NIL)
          (#2=#:G943 NIL) (|da| ($)) (|k| NIL) (#3=#:G942 NIL) (|arg| NIL)
          (|op| (|BasicOperator|)) (|oldarg| (|List| $)) (#4=#:G926 NIL)
          (|diff| (|List| (|Integer|))) (#5=#:G941 NIL) (#6=#:G940 NIL)
          (|args| (|List| $)) (|show| #7=(|Integer|)) (|num| #7#)
          (|name| (|Symbol|)))
         (SEQ
          (LETT |oldarg| (SPADCALL |l| (QREFELT $ 199)) . #8=(|JBE;hidediff|))
          (LETT |name|
                (SPADCALL (SPADCALL |l| (QREFELT $ 189)) (QREFELT $ 190))
                . #8#)
          (LETT |l| (SPADCALL |l| (QREFELT $ 167)) . #8#)
          (LETT |num| (SPADCALL (SPADCALL |l| (QREFELT $ 189)) (QREFELT $ 165))
                . #8#)
          (EXIT
           (COND ((ZEROP |num|) (|spadConstant| $ 45))
                 ('T
                  (SEQ (LETT |l| (SPADCALL |l| (QREFELT $ 167)) . #8#)
                       (LETT |show|
                             (SPADCALL (SPADCALL |l| (QREFELT $ 189))
                                       (QREFELT $ 165))
                             . #8#)
                       (LETT |l| (SPADCALL |l| (QREFELT $ 167)) . #8#)
                       (LETT |args| (SPADCALL (QREFELT $ 85)) . #8#)
                       (SEQ (LETT |k| 1 . #8#) G190
                            (COND ((|greater_SI| |k| |num|) (GO G191)))
                            (SEQ
                             (LETT |args|
                                   (SPADCALL (SPADCALL |l| (QREFELT $ 189))
                                             |args| (QREFELT $ 150))
                                   . #8#)
                             (EXIT
                              (LETT |l| (SPADCALL |l| (QREFELT $ 167)) . #8#)))
                            (LETT |k| (|inc_SI| |k|) . #8#) (GO G190) G191
                            (EXIT NIL))
                       (LETT |diff|
                             (PROGN
                              (LETT #6# NIL . #8#)
                              (SEQ (LETT |k| NIL . #8#) (LETT #5# |l| . #8#)
                                   G190
                                   (COND
                                    ((OR (ATOM #5#)
                                         (PROGN
                                          (LETT |k| (CAR #5#) . #8#)
                                          NIL))
                                     (GO G191)))
                                   (SEQ
                                    (EXIT
                                     (LETT #6#
                                           (CONS (SPADCALL |k| (QREFELT $ 165))
                                                 #6#)
                                           . #8#)))
                                   (LETT #5# (CDR #5#) . #8#) (GO G190) G191
                                   (EXIT (NREVERSE #6#))))
                             . #8#)
                       (LETT |oldarg|
                             (SPADCALL |oldarg|
                                       (PROG1 (LETT #4# (+ |num| 3) . #8#)
                                         (|check_subtype| (>= #4# 0)
                                                          '(|NonNegativeInteger|)
                                                          #4#))
                                       (QREFELT $ 200))
                             . #8#)
                       (LETT |op| (SPADCALL |name| (QREFELT $ 201)) . #8#)
                       (SPADCALL |op| '|%specialDisp|
                                 (CONS (|function| |JBE;hidedisp|) $)
                                 (QREFELT $ 203))
                       (SPADCALL |op| '|%specialDiff|
                                 (CONS (|function| |JBE;hidediff|) $)
                                 (QREFELT $ 203))
                       (LETT |res| (|spadConstant| $ 45) . #8#)
                       (SEQ (LETT |arg| NIL . #8#) (LETT #3# |args| . #8#)
                            (LETT |k| |num| . #8#) G190
                            (COND
                             ((OR (< |k| 1) (ATOM #3#)
                                  (PROGN (LETT |arg| (CAR #3#) . #8#) NIL))
                              (GO G191)))
                            (SEQ
                             (LETT |da| (SPADCALL |arg| |x| (QREFELT $ 174))
                                   . #8#)
                             (EXIT
                              (COND
                               ((NULL (SPADCALL |da| (QREFELT $ 106)))
                                (SEQ
                                 (LETT |newarg|
                                       (SPADCALL |oldarg|
                                                 (PROGN
                                                  (LETT #2# NIL . #8#)
                                                  (SEQ (LETT |j| NIL . #8#)
                                                       (LETT #1#
                                                             (SPADCALL |diff|
                                                                       (LIST
                                                                        |k|)
                                                                       (QREFELT
                                                                        $ 204))
                                                             . #8#)
                                                       G190
                                                       (COND
                                                        ((OR (ATOM #1#)
                                                             (PROGN
                                                              (LETT |j|
                                                                    (CAR #1#)
                                                                    . #8#)
                                                              NIL))
                                                         (GO G191)))
                                                       (SEQ
                                                        (EXIT
                                                         (LETT #2#
                                                               (CONS
                                                                (SPADCALL |j|
                                                                          (QREFELT
                                                                           $
                                                                           205))
                                                                #2#)
                                                               . #8#)))
                                                       (LETT #1# (CDR #1#)
                                                             . #8#)
                                                       (GO G190) G191
                                                       (EXIT (NREVERSE #2#))))
                                                 (QREFELT $ 206))
                                       . #8#)
                                 (EXIT
                                  (LETT |res|
                                        (SPADCALL |res|
                                                  (SPADCALL
                                                   (|JBE;kernel0| |op| |newarg|
                                                    $)
                                                   |da| (QREFELT $ 52))
                                                  (QREFELT $ 53))
                                        . #8#)))))))
                            (LETT |k|
                                  (PROG1 (+ |k| -1) (LETT #3# (CDR #3#) . #8#))
                                  . #8#)
                            (GO G190) G191 (EXIT NIL))
                       (EXIT |res|)))))))) 

(SDEFUN |JBE;function;SLNni$;31|
        ((|f| |Symbol|) (|arg| |List| $) (|show| |NonNegativeInteger|) ($ $))
        (SPROG ((|args| (|List| $)) (|op| (|BasicOperator|)))
               (SEQ
                (LETT |op| (SPADCALL |f| (QREFELT $ 201))
                      . #1=(|JBE;function;SLNni$;31|))
                (SPADCALL |op| '|%specialDisp|
                          (CONS (|function| |JBE;hidedisp|) $) (QREFELT $ 203))
                (SPADCALL |op| '|%specialDiff|
                          (CONS (|function| |JBE;hidediff|) $) (QREFELT $ 203))
                (LETT |args|
                      (SPADCALL
                       (LIST (|JBE;sy2jbe| |f| $)
                             (SPADCALL (SPADCALL |arg| (QREFELT $ 207))
                                       (QREFELT $ 205))
                             (SPADCALL |show| (QREFELT $ 205)))
                       |arg| (QREFELT $ 206))
                      . #1#)
                (EXIT (|JBE;kernel0| |op| |args| $))))) 

(DECLAIM (NOTINLINE |JetBundleExpression;|)) 

(DEFUN |JetBundleExpression| (#1=#:G1021)
  (SPROG NIL
         (PROG (#2=#:G1022)
           (RETURN
            (COND
             ((LETT #2#
                    (|lassocShiftWithFunction| (LIST (|devaluate| #1#))
                                               (HGET |$ConstructorCache|
                                                     '|JetBundleExpression|)
                                               '|domainEqualList|)
                    . #3=(|JetBundleExpression|))
              (|CDRwithIncrement| #2#))
             ('T
              (UNWIND-PROTECT
                  (PROG1 (|JetBundleExpression;| #1#) (LETT #2# T . #3#))
                (COND
                 ((NOT #2#)
                  (HREM |$ConstructorCache| '|JetBundleExpression|)))))))))) 

(DEFUN |JetBundleExpression;| (|#1|)
  (SPROG
   ((|pv$| NIL) (#1=#:G1019 NIL) (#2=#:G1020 NIL) ($ NIL) (|dv$| NIL)
    (DV$1 NIL))
   (PROGN
    (LETT DV$1 (|devaluate| |#1|) . #3=(|JetBundleExpression|))
    (LETT |dv$| (LIST '|JetBundleExpression| DV$1) . #3#)
    (LETT $ (GETREFV 258) . #3#)
    (QSETREFV $ 0 |dv$|)
    (QSETREFV $ 3
              (LETT |pv$|
                    (|buildPredVector| 0 0
                                       (LIST
                                        (LETT #2#
                                              (|HasCategory| (|Integer|)
                                                             '(|IntegralDomain|))
                                              . #3#)
                                        (OR
                                         (|HasCategory| (|Integer|)
                                                        '(|RetractableTo|
                                                          (|Fraction|
                                                           (|Integer|))))
                                         (AND
                                          (|HasCategory| (|Integer|)
                                                         '(|RetractableTo|
                                                           (|Integer|)))
                                          #2#))
                                        (|HasCategory| (|Integer|)
                                                       '(|CommutativeRing|))
                                        (|HasCategory| (|Integer|)
                                                       '(|CharacteristicNonZero|))
                                        (|HasCategory| (|Integer|)
                                                       '(|CharacteristicZero|))
                                        (|HasCategory| (|Integer|) '(|Ring|))
                                        (|HasCategory| (|Integer|) '(|Group|))
                                        (|HasCategory| (|Integer|)
                                                       '(|ConvertibleTo|
                                                         (|InputForm|)))
                                        (|HasCategory| (|Integer|)
                                                       '(|ConvertibleTo|
                                                         (|Pattern|
                                                          (|Float|))))
                                        (|HasCategory| (|Integer|)
                                                       '(|ConvertibleTo|
                                                         (|Pattern|
                                                          (|Integer|))))
                                        (|HasCategory| (|Integer|)
                                                       '(|PatternMatchable|
                                                         (|Float|)))
                                        (LETT #1#
                                              (|HasCategory| (|Integer|)
                                                             '(|PatternMatchable|
                                                               (|Integer|)))
                                              . #3#)
                                        (OR
                                         (AND
                                          (|HasCategory| (|Integer|)
                                                         '(|ConvertibleTo|
                                                           (|Pattern|
                                                            (|Float|))))
                                          (|HasCategory| (|Integer|)
                                                         '(|LinearlyExplicitRingOver|
                                                           (|Integer|))))
                                         (AND
                                          (|HasCategory| (|Integer|)
                                                         '(|ConvertibleTo|
                                                           (|Pattern|
                                                            (|Integer|))))
                                          (|HasCategory| (|Integer|)
                                                         '(|LinearlyExplicitRingOver|
                                                           (|Integer|))))
                                         (AND
                                          (|HasCategory| (|Integer|)
                                                         '(|ConvertibleTo|
                                                           (|InputForm|)))
                                          (|HasCategory| (|Integer|)
                                                         '(|LinearlyExplicitRingOver|
                                                           (|Integer|))))
                                         (AND
                                          (|HasCategory| (|Integer|)
                                                         '(|LinearlyExplicitRingOver|
                                                           (|Integer|)))
                                          (|HasCategory| (|Integer|)
                                                         '(|PatternMatchable|
                                                           (|Float|))))
                                         (AND
                                          (|HasCategory| (|Integer|)
                                                         '(|LinearlyExplicitRingOver|
                                                           (|Integer|)))
                                          #1#)
                                         (AND
                                          (|HasCategory| (|Integer|)
                                                         '(|LinearlyExplicitRingOver|
                                                           (|Integer|)))
                                          (|HasCategory| (|Integer|)
                                                         '(|RetractableTo|
                                                           (|Fraction|
                                                            (|Integer|)))))
                                         (AND
                                          (|HasCategory| (|Integer|)
                                                         '(|LinearlyExplicitRingOver|
                                                           (|Integer|)))
                                          (|HasCategory| (|Integer|)
                                                         '(|RetractableTo|
                                                           (|Integer|)))
                                          #2#)
                                         (AND
                                          (|HasCategory| (|Integer|)
                                                         '(|LinearlyExplicitRingOver|
                                                           (|Integer|)))
                                          (|HasCategory| (|Integer|)
                                                         '(|Group|)))
                                         (|HasCategory| (|Integer|) '(|Ring|)))
                                        (|HasCategory| (|Integer|)
                                                       '(|AbelianSemiGroup|))
                                        (|HasCategory| (|Integer|)
                                                       '(|SemiGroup|))))
                    . #3#))
    (|haddProp| |$ConstructorCache| '|JetBundleExpression| (LIST DV$1)
                (CONS 1 $))
    (|stuffDomainSlots| $)
    (QSETREFV $ 6 |#1|)
    (AND (|HasCategory| $ '(|Ring|)) (|augmentPredVector| $ 32768))
    (AND (|HasCategory| $ '(|RetractableTo| (|Integer|)))
         (|augmentPredVector| $ 65536))
    (SETF |pv$| (QREFELT $ 3))
    (QSETREFV $ 7 (|Expression| (|Integer|)))
    $))) 

(MAKEPROP '|JetBundleExpression| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL (|Expression| 24) (|local| |#1|) '|Rep|
              (0 . |coerce|) |JBE;coerce;JB$;1| |JBE;coerce;E$;2|
              |JBE;coerce;$E;3| (|SparseMultivariatePolynomial| 24 34)
              (5 . |One|) (|SparseMultivariatePolynomial| 24 28) (9 . /)
              |JBE;coerce;Smp$;4| (|SparseMultivariatePolynomial| 5 6)
              (15 . |Zero|) (19 . |numer|) (|List| $)
              (24 . |primitiveMonomials|) (|List| 24) (29 . |coefficients|)
              (|Integer|) (34 . |coerce|) (|List| 34) (39 . |variables|)
              (|Kernel| $) (44 . |coerce|) (|Union| 6 '#1="failed")
              (49 . |retractIfCan|) (54 . *) (|NonNegativeInteger|)
              (|Kernel| $$) (60 . |degree|) (66 . |One|) (70 . |One|)
              (74 . |One|) (|List| 6) (|List| 33) (78 . |monomial|) (85 . *)
              (91 . +) |JBE;numerJP;$Smp;5| (97 . |Zero|)
              (101 . |primitiveMonomials|) (|List| 5) (106 . |coefficients|)
              (111 . |variables|) (116 . |degree|) (122 . ^) (128 . *)
              (134 . +) |JBE;coerce;Smp$;6| (140 . |gcd|) |JBE;gcd;3$;7|
              (|Union| $ '"failed") (146 . |exquo|) |JBE;exquo;2$U;8| (152 . /)
              |JBE;recip;$U;9| (158 . |order|) (163 . |first|) (168 . |concat|)
              (|Boolean|) (174 . =) (180 . |member?|) (186 . |and|)
              (|Mapping| 65 65 65) (|List| 65) (192 . |reduce|) (|List| 26)
              (199 . |cons|) (|List| 12) (|Mapping| 12 $$) (|List| $$)
              (|FiniteLinearAggregateFunctions2| $$ 76 12 74) (205 . |map|)
              (211 . |leadingMonomial|) (216 . |sort!|) (221 . |first|)
              (226 . |merge|) (232 . |removeDuplicates!|) (237 . |dimJ|)
              (242 . |empty|) (|SparseEchelonMatrix| 6 $)
              |JBE;dimension;LSem2Nni;12| (246 . |dimS|)
              |JBE;orderDim;LSem2Nni;13| (251 . |ground?|)
              (|Union| 34 '"failed") (256 . |mainVariable|)
              (|SparseUnivariatePolynomial| $) (261 . |univariate|)
              (|SparseUnivariatePolynomial| 12) (267 . |monomial?|)
              (272 . |leadingCoefficient|) (277 . |monomial|)
              (284 . |minimumDegree|) (289 . |Zero|) (293 . >)
              (299 . |monomial|)
              (|Record| (|:| |quotient| $) (|:| |remainder| $))
              (305 . |monicDivide|) (311 . |multivariate|) (317 . |zero?|)
              |JBE;simpOne;2$;15| (322 . =) (328 . >) (|OutputForm|)
              (334 . |coerce|) (339 . |assign|) (|Void|) (345 . |print|)
              (|GroebnerPackage| 24 (|IndexedExponents| 34) 34 12)
              (350 . |groebner|) (|Mapping| $$ 12)
              (|FiniteLinearAggregateFunctions2| 12 74 $$ 76) (355 . |map|)
              (361 . |coerce|) (366 . |setUnion|) (372 . |empty|)
              (|Mapping| 40 40 40) (|List| 40) (376 . |reduce|) (|List| 39)
              (383 . |jacobiMatrix|)
              (|Record| (|:| |Indices| 39) (|:| |Entries| 76))
              (|SparseEchelonMatrix| 6 $$) (389 . |row|)
              (|Record| (|:| |Fun| $$) (|:| JMR 128) (|:| |Depend| 40))
              (|List| 131) (395 . |first|) |JBE;solveFor;$JBU;26|
              (400 . |cons|) (406 . |concat!|) |JBE;subst;$JB2$;25|
              (412 . |removeDuplicates!|) (|Mapping| 65 131 131)
              (417 . |sort!|) (423 . |merge|) (430 . |allIndices|) (435 . =)
              (|Symbol|) (441 . |type|) (446 . |new|) (|PositiveInteger|)
              (452 . U) (457 . <) (463 . |cons|) (469 . |setRow!|)
              (476 . |reverse!|) (|Union| '"failed" 124)
              (|Record| (|:| |Sys| 20) (|:| JM 86) (|:| |Depend| 153))
              |JBE;simplify;LSemR;21| (|List| 28) (481 . |tower|)
              (|BasicOperator|) (486 . |operator|) (491 . |has?|)
              (|Union| 202 '"failed") (497 . |property|) (503 . |argument|)
              (508 . |second|) (513 . |retract|) (518 . X) (523 . |rest|)
              (528 . P) (534 . |removeDuplicates!|) (|Mapping| 65 6 6)
              (539 . |sort|) |JBE;jetVariables;$L;22| (545 . |name|)
              |JBE;differentiate;$S$;24| |JBE;differentiate;$JB$;23|
              (550 . |differentiate|) (556 . =) (|Equation| $$) (562 . =)
              (|Equation| $) (568 . |eval|) (574 . |retract|) (579 . |coerce|)
              (584 . |monicDivide|) (591 . |zero?|) (596 . -) (601 . |kernel|)
              (607 . |coerce|) (612 . |first|) (617 . |retract|)
              (622 . |coerce|) (|List| 110) (627 . |concat!|) (633 . |empty?|)
              (638 . |coerce|) (643 . |commaSeparate|) (648 . |sub|)
              (654 . |prefix|) (660 . |copy|) (665 . |first|)
              (671 . |operator|) (|None|) (676 . |setProperty|) (683 . |merge|)
              (689 . |coerce|) (694 . |append|) (700 . |#|)
              |JBE;function;SLNni$;31| (|Union| 210 '#1#) (|Fraction| 24)
              (|Union| 20 '#2="failed")
              (|Record| (|:| |coef| 24) (|:| |var| 28)) (|Union| 212 '#2#)
              (|List| 144) (|List| 158) (|InputForm|) (|Pattern| (|Float|))
              (|Pattern| 24) (|Factored| $) (|Polynomial| 210) (|Fraction| 220)
              (|Fraction| 93) (|Union| 224 '#1#) (|Fraction| 239)
              (|PatternMatchResult| (|Float|) $) (|PatternMatchResult| 24 $)
              (|Matrix| 24) (|Matrix| $)
              (|Record| (|:| |mat| 227) (|:| |vec| (|Vector| 24))) (|Vector| $)
              (|Record| (|:| |var| 28) (|:| |exponent| 24)) (|Union| 231 '#2#)
              (|Record| (|:| |val| $) (|:| |exponent| 24)) (|Union| 233 '#2#)
              (|Mapping| $ 20) (|List| 235) (|Mapping| $ $) (|List| 237)
              (|Polynomial| 24) (|Union| 239 '#1#) (|SegmentBinding| $)
              (|Record| (|:| |coef| 20) (|:| |generator| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $))
              (|Union| 243 '"failed")
              (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $))
              (|Polynomial| $) (|Union| 28 '#1#) (|List| 180)
              (|Union| 144 '#1#) (|Union| 24 '#1#)
              (|Record| (|:| |DPhi| $) (|:| |JVars| 39))
              (|Record| (|:| |DSys| 20) (|:| |JVars| 126))
              (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
              (|Record| (|:| |llcm_res| $) (|:| |coeff1| $) (|:| |coeff2| $))
              (|String|) (|SingleInteger|) (|HashState|))
           '#(~= 705 |zerosOf| 711 |zeroOf| 738 |zero?| 765 |whittakerW| 770
              |whittakerM| 777 |weierstrassZeta| 784 |weierstrassSigma| 791
              |weierstrassPPrime| 798 |weierstrassP| 805 |weberE| 812
              |variables| 818 |univariate| 823 |unitNormal| 829 |unitCanonical|
              834 |unit?| 839 |tower| 844 |tanh| 854 |tan| 859 |symbol| 864
              |summation| 869 |subtractIfCan| 881 |subst| 887 |struveL| 913
              |struveH| 919 |squareFreePart| 925 |squareFree| 930 |sqrt| 935
              |sortLD| 940 |solveFor| 945 |smaller?| 951 |sizeLess?| 957 |sinh|
              963 |sin| 968 |simplify| 973 |simpOne| 979 |simpMod| 984
              |setNotation| 997 |sech| 1002 |sec| 1007 |sample| 1012 |rootsOf|
              1016 |rootSum| 1043 |rootOf| 1050 |riemannZeta| 1077
              |retractIfCan| 1082 |retract| 1117 |rem| 1152 |reducedSystem|
              1158 |reduceMod| 1169 |reduce| 1175 |recip| 1180 |quo| 1185
              |product| 1191 |principalIdeal| 1203 |prime?| 1208 |polylog| 1213
              |polygamma| 1219 |pi| 1225 |permutation| 1229 |patternMatch| 1235
              |paren| 1249 |orderDim| 1259 |order| 1266 |opposite?| 1271
              |operators| 1277 |operator| 1282 |one?| 1287 |odd?| 1292
              |numerator| 1297 |numerJP| 1302 |numer| 1307 |numIndVar| 1312
              |numDepVar| 1316 |nthRoot| 1320 |multiEuclidean| 1326 |minPoly|
              1332 |meixnerM| 1337 |meijerG| 1345 |map| 1354 |mainKernel| 1360
              |lommelS2| 1365 |lommelS1| 1372 |log| 1379 |li| 1384 |lerchPhi|
              1389 |legendreQ| 1396 |legendreP| 1403 |leadingDer| 1410
              |lcmCoef| 1415 |lcm| 1421 |latex| 1432 |lambertW| 1437
              |laguerreL| 1442 |kummerU| 1449 |kummerM| 1456 |kernels| 1463
              |kernel| 1473 |kelvinKer| 1485 |kelvinKei| 1491 |kelvinBer| 1497
              |kelvinBei| 1503 |jetVariables| 1509 |jacobiZeta| 1514
              |jacobiTheta| 1520 |jacobiSn| 1526 |jacobiP| 1532 |jacobiMatrix|
              1540 |jacobiDn| 1551 |jacobiCn| 1557 |isTimes| 1563 |isPower|
              1568 |isPlus| 1573 |isMult| 1578 |isExpt| 1583 |is?| 1600 |inv|
              1612 |integral| 1617 |hypergeometricF| 1629 |hermiteH| 1636
              |height| 1642 |hashUpdate!| 1647 |hash| 1653 |hankelH2| 1658
              |hankelH1| 1664 |ground?| 1670 |ground| 1675 |getNotation| 1680
              |gcdPolynomial| 1684 |gcd| 1690 |function| 1701 |fresnelS| 1708
              |fresnelC| 1713 |freeOf?| 1718 |formalDiff2| 1736 |formalDiff|
              1750 |factorials| 1768 |factorial| 1779 |factor| 1784
              |extractSymbol| 1789 |extendedEuclidean| 1794 |exquo| 1807
              |expressIdealMember| 1813 |exp| 1819 |even?| 1824 |eval| 1829
              |euclideanSize| 1990 |erfi| 1995 |erf| 2000 |elt| 2005
              |ellipticPi| 2101 |ellipticK| 2108 |ellipticF| 2113 |ellipticE|
              2119 |divide| 2130 |distribute| 2136 |dimension| 2147 |dilog|
              2154 |digamma| 2159 |differentiate| 2164 |denominator| 2196
              |denom| 2201 |definingPolynomial| 2206 |dSubst| 2211 |csch| 2218
              |csc| 2223 |coth| 2228 |cot| 2233 |cosh| 2238 |cos| 2243
              |convert| 2248 |const?| 2268 |conjugate| 2273 |commutator| 2279
              |coerce| 2285 |class| 2360 |charthRoot| 2365 |charlierC| 2370
              |characteristic| 2377 |box| 2381 |binomial| 2391 |besselY| 2397
              |besselK| 2403 |besselJ| 2409 |besselI| 2415 |belong?| 2421
              |autoReduce| 2426 |atanh| 2431 |atan| 2436 |associates?| 2441
              |asinh| 2447 |asin| 2452 |asech| 2457 |asec| 2462 |applyQuote|
              2467 |annihilate?| 2503 |angerJ| 2509 |airyBiPrime| 2515 |airyBi|
              2520 |airyAiPrime| 2525 |airyAi| 2530 |acsch| 2535 |acsc| 2540
              |acoth| 2545 |acot| 2550 |acosh| 2555 |acos| 2560 |abs| 2565 ^
              2570 |Zero| 2600 X 2604 U 2613 |Si| 2622 |Shi| 2627 P 2632 |One|
              2654 |Gamma| 2658 |Ei| 2669 D 2674 |Ci| 2700 |Chi| 2705 |Beta|
              2710 = 2716 / 2722 - 2734 + 2745 * 2751)
           'NIL
           (CONS
            (|makeByteWordVec2| 13
                                '(0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 6 0 0 0 0 0 3 4
                                  5 13 0 0 0 3 0 0 0 0 0 3 3 0 0 0 7 0 0 0 0 0
                                  0 0 0 0 11 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
                                  0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 6 8 9 10))
            (CONS
             '#(|AlgebraicallyClosedFunctionSpace&| |AlgebraicallyClosedField&|
                |FunctionSpace&| |Field&| |EuclideanDomain&|
                |JetBundleFunctionCategory&| NIL |UniqueFactorizationDomain&|
                |GcdDomain&| |DivisionRing&| NIL |Algebra&| NIL |Algebra&|
                |Algebra&| |FullyLinearlyExplicitRingOver&|
                |PartialDifferentialRing&| |Module&| NIL |EntireRing&|
                |Module&| |Module&| NIL NIL NIL NIL NIL |Ring&| NIL NIL NIL NIL
                |Rng&| NIL NIL NIL |AbelianGroup&| NIL NIL |Group&| NIL
                |ExpressionSpace&| |AbelianMonoid&| |Monoid&| NIL NIL NIL
                |SemiGroup&| |AbelianSemiGroup&| NIL NIL NIL
                |TranscendentalFunctionCategory&| |FullyRetractableTo&| NIL
                |Evalable&| |SetCategory&| NIL NIL NIL
                |ElementaryFunctionCategory&| NIL |HyperbolicFunctionCategory&|
                |ArcTrigonometricFunctionCategory&|
                |TrigonometricFunctionCategory&| |RadicalCategory&|
                |RetractableTo&| NIL |RetractableTo&| NIL NIL |InnerEvalable&|
                |InnerEvalable&| |RetractableTo&| |RetractableTo&| NIL NIL NIL
                |BasicType&| NIL |RetractableTo&| |RetractableTo&|
                |RetractableTo&| NIL NIL NIL)
             (CONS
              '#((|AlgebraicallyClosedFunctionSpace| 24)
                 (|AlgebraicallyClosedField|) (|FunctionSpace| 24) (|Field|)
                 (|EuclideanDomain|) (|JetBundleFunctionCategory| 6)
                 (|PrincipalIdealDomain|) (|UniqueFactorizationDomain|)
                 (|GcdDomain|) (|DivisionRing|) (|IntegralDomain|)
                 (|Algebra| 210) (|LeftOreRing|) (|Algebra| $$) (|Algebra| 24)
                 (|FullyLinearlyExplicitRingOver| 24)
                 (|PartialDifferentialRing| 144) (|Module| 210)
                 (|CommutativeRing|) (|EntireRing|) (|Module| $$) (|Module| 24)
                 (|CharacteristicNonZero|) (|CharacteristicZero|)
                 (|LinearlyExplicitRingOver| 24) (|BiModule| 210 210)
                 (|BiModule| $$ $$) (|Ring|) (|BiModule| 24 24)
                 (|RightModule| 210) (|LeftModule| 210) (|LeftModule| $$)
                 (|Rng|) (|RightModule| $$) (|LeftModule| 24)
                 (|RightModule| 24) (|AbelianGroup|)
                 (|CancellationAbelianMonoid|) (|SemiRing|) (|Group|)
                 (|FullyPatternMatchable| 24) (|ExpressionSpace|)
                 (|AbelianMonoid|) (|Monoid|) (|SemiRng|)
                 (|LiouvillianFunctionCategory|) (|Comparable|) (|SemiGroup|)
                 (|AbelianSemiGroup|) (|PatternMatchable| (|Float|))
                 (|PatternMatchable| 24) (|CombinatorialOpsCategory|)
                 (|TranscendentalFunctionCategory|) (|FullyRetractableTo| 24)
                 (|Patternable| 24) (|Evalable| $$) (|SetCategory|)
                 (|SpecialFunctionCategory|) (|PrimitiveFunctionCategory|)
                 (|CombinatorialFunctionCategory|)
                 (|ElementaryFunctionCategory|)
                 (|ArcHyperbolicFunctionCategory|)
                 (|HyperbolicFunctionCategory|)
                 (|ArcTrigonometricFunctionCategory|)
                 (|TrigonometricFunctionCategory|) (|RadicalCategory|)
                 (|RetractableTo| 24) (|Type|) (|RetractableTo| 144)
                 (|canonicalsClosed|) (|canonicalUnitNormal|)
                 (|InnerEvalable| $$ $$) (|InnerEvalable| 34 $$)
                 (|RetractableTo| 34) (|RetractableTo| 6) (|noZeroDivisors|)
                 (|CommutativeStar|) (|unitsKnown|) (|BasicType|)
                 (|CoercibleTo| 110) (|RetractableTo| 210)
                 (|RetractableTo| 224) (|RetractableTo| 239)
                 (|ConvertibleTo| 216) (|ConvertibleTo| 217)
                 (|ConvertibleTo| 218))
              (|makeByteWordVec2| 257
                                  '(1 6 5 0 8 0 12 0 13 2 0 0 14 14 15 0 17 0
                                    18 1 0 14 0 19 1 12 20 0 21 1 12 22 0 23 1
                                    5 0 24 25 1 12 26 0 27 1 0 0 28 29 1 0 30 0
                                    31 2 5 0 0 0 32 2 12 33 0 34 35 0 0 0 36 0
                                    6 0 37 0 17 0 38 3 17 0 0 39 40 41 2 17 0 5
                                    0 42 2 17 0 0 0 43 0 0 0 45 1 17 20 0 46 1
                                    17 47 0 48 1 17 39 0 49 2 17 33 0 6 50 2 0
                                    0 0 33 51 2 0 0 0 0 52 2 0 0 0 0 53 2 12 0
                                    0 0 55 2 12 57 0 0 58 2 0 0 0 0 60 1 0 33 0
                                    62 1 26 34 0 63 2 26 0 0 34 64 2 26 65 0 0
                                    66 2 26 65 34 0 67 2 65 0 0 0 68 3 70 65 69
                                    0 65 71 2 72 0 26 0 73 2 77 74 75 76 78 1
                                    12 0 0 79 1 26 0 0 80 1 72 26 0 81 2 26 0 0
                                    0 82 1 26 0 0 83 1 6 33 33 84 0 76 0 85 1 6
                                    33 33 88 1 12 65 0 90 1 12 91 0 92 2 12 93
                                    0 34 94 1 95 65 0 96 1 95 12 0 97 3 12 0 0
                                    34 33 98 1 95 33 0 99 0 7 0 100 2 33 65 0 0
                                    101 2 95 0 12 33 102 2 95 103 0 0 104 2 12
                                    0 93 34 105 1 0 65 0 106 2 6 65 0 0 108 2 6
                                    65 0 0 109 1 74 110 0 111 2 110 0 0 0 112 1
                                    110 113 0 114 1 115 74 74 116 2 118 76 117
                                    74 119 1 33 110 0 120 2 40 0 0 0 121 0 110
                                    0 122 3 124 40 123 0 40 125 2 0 86 20 126
                                    127 2 129 128 0 24 130 1 132 131 0 133 2
                                    132 0 131 0 135 2 132 0 0 0 136 1 40 0 0
                                    138 2 132 0 139 0 140 3 132 0 139 0 0 141 1
                                    129 39 0 142 2 0 65 0 0 143 1 6 144 0 145 2
                                    129 0 39 24 146 1 6 0 147 148 2 6 65 0 0
                                    149 2 76 0 2 0 150 3 129 113 0 24 128 151 1
                                    76 0 0 152 1 0 156 0 157 1 34 158 0 159 2
                                    158 65 0 144 160 2 158 161 0 144 162 1 34
                                    76 0 163 1 76 2 0 164 1 0 24 0 165 1 6 0
                                    147 166 1 76 0 0 167 2 6 0 147 40 168 1 39
                                    0 0 169 2 39 0 170 0 171 1 6 144 0 173 2 7
                                    0 0 144 176 2 7 65 0 0 177 2 178 0 2 2 179
                                    2 0 0 0 180 181 1 0 28 0 182 1 12 0 34 183
                                    3 12 103 0 0 34 184 1 12 65 0 185 1 0 0 0
                                    186 2 5 0 158 20 187 1 5 0 144 188 1 76 2 0
                                    189 1 0 144 0 190 1 0 110 0 191 2 192 0 0 0
                                    193 1 76 65 0 194 1 144 110 0 195 1 110 0
                                    20 196 2 110 0 0 0 197 2 110 0 0 20 198 1
                                    76 0 0 199 2 76 0 0 33 200 1 158 0 144 201
                                    3 158 0 0 144 202 203 2 22 0 0 0 204 1 0 0
                                    24 205 2 76 0 0 0 206 1 76 33 0 207 2 0 65
                                    0 0 1 1 0 20 93 1 1 0 20 246 1 2 0 20 93
                                    144 1 1 0 20 0 1 2 0 20 0 144 1 1 0 0 246 1
                                    2 0 0 93 144 1 1 0 0 93 1 1 0 0 0 1 2 0 0 0
                                    144 1 1 0 65 0 106 3 0 0 0 0 0 1 3 0 0 0 0
                                    0 1 3 0 0 0 0 0 1 3 0 0 0 0 0 1 3 0 0 0 0 0
                                    1 3 0 0 0 0 0 1 2 0 0 0 0 1 1 0 214 0 1 2 1
                                    222 0 28 1 1 0 253 0 1 1 0 0 0 1 1 0 65 0 1
                                    1 0 156 0 157 1 0 156 20 1 1 0 0 0 1 1 0 0
                                    0 1 1 0 86 20 1 2 0 0 0 241 1 2 0 0 0 144 1
                                    2 0 57 0 0 1 2 0 0 0 248 1 2 0 0 0 180 1 3
                                    0 0 0 156 20 1 3 0 0 0 6 0 137 2 0 0 0 0 1
                                    2 0 0 0 0 1 1 0 0 0 1 1 0 219 0 1 1 0 0 0 1
                                    1 0 20 20 1 2 0 57 0 6 134 2 0 65 0 0 1 2 0
                                    65 0 0 1 1 0 0 0 1 1 0 0 0 1 2 0 154 20 86
                                    155 1 0 0 0 107 3 0 154 20 86 20 1 2 0 20
                                    20 20 1 1 0 113 144 1 1 0 0 0 1 1 0 0 0 1 0
                                    0 0 1 1 0 20 246 1 2 0 20 93 144 1 1 0 20
                                    93 1 1 0 20 0 1 2 0 20 0 144 1 3 0 0 0 93
                                    144 1 1 0 0 246 1 2 0 0 93 144 1 1 0 0 93 1
                                    1 0 0 0 1 2 0 0 0 144 1 1 0 0 0 1 1 2 209 0
                                    1 1 1 223 0 1 1 6 240 0 1 1 0 247 0 1 1 0
                                    249 0 1 1 0 250 0 1 1 0 30 0 31 1 2 210 0 1
                                    1 1 224 0 1 1 6 239 0 1 1 0 28 0 182 1 0
                                    144 0 190 1 0 24 0 165 1 0 6 0 1 2 0 0 0 0
                                    1 1 6 227 228 1 2 6 229 228 230 1 2 0 20 20
                                    20 1 1 0 0 0 1 1 0 57 0 61 2 0 0 0 0 1 2 0
                                    0 0 144 1 2 0 0 0 241 1 1 0 242 20 1 1 0 65
                                    0 1 2 0 0 0 0 1 2 0 0 0 0 1 0 0 0 1 2 0 0 0
                                    0 1 3 11 225 0 217 225 1 3 12 226 0 218 226
                                    1 1 0 0 0 1 1 0 0 20 1 3 0 33 20 86 33 89 1
                                    0 33 0 62 2 0 65 0 0 1 1 0 215 0 1 1 0 158
                                    158 1 1 0 65 0 1 1 17 65 0 1 1 0 0 0 1 1 0
                                    17 0 44 1 6 14 0 19 0 0 147 1 0 0 147 1 2 0
                                    0 0 24 1 2 0 211 20 0 1 1 16 93 28 1 4 0 0
                                    0 0 0 0 1 5 17 0 20 20 20 20 0 1 2 0 0 237
                                    28 1 1 0 247 0 1 3 0 0 0 0 0 1 3 0 0 0 0 0
                                    1 1 0 0 0 1 1 0 0 0 1 3 0 0 0 0 0 1 3 0 0 0
                                    0 0 1 3 0 0 0 0 0 1 1 0 6 0 1 2 0 254 0 0 1
                                    1 0 0 20 1 2 0 0 0 0 1 1 0 255 0 1 1 0 0 0
                                    1 3 0 0 0 0 0 1 3 0 0 0 0 0 1 3 0 0 0 0 0 1
                                    1 0 156 20 1 1 0 156 0 1 2 0 0 158 20 1 2 0
                                    0 158 0 1 2 0 0 0 0 1 2 0 0 0 0 1 2 0 0 0 0
                                    1 2 0 0 0 0 1 1 0 39 0 172 2 0 0 0 0 1 2 0
                                    0 0 0 1 2 0 0 0 0 1 4 0 0 0 0 0 0 1 1 0 86
                                    20 1 2 0 86 20 126 127 2 0 0 0 0 1 2 0 0 0
                                    0 1 1 15 211 0 1 1 6 234 0 1 1 14 211 0 1 1
                                    14 213 0 1 2 6 232 0 158 1 2 6 232 0 144 1
                                    1 15 232 0 1 2 0 65 0 158 1 2 0 65 0 144 1
                                    1 0 0 0 1 2 0 0 0 241 1 2 0 0 0 144 1 3 17
                                    0 20 20 0 1 2 0 0 0 0 1 1 0 33 0 1 2 0 257
                                    257 0 1 1 0 256 0 1 2 0 0 0 0 1 2 0 0 0 0 1
                                    1 0 65 0 1 1 0 24 0 1 0 0 144 1 2 0 93 93
                                    93 1 2 0 0 0 0 56 1 0 0 20 1 3 0 0 144 20
                                    33 208 1 0 0 0 1 1 0 0 0 1 2 0 65 0 0 1 2 0
                                    65 0 144 1 2 0 65 0 6 1 3 0 251 0 147 86 1
                                    3 0 252 20 147 86 1 2 0 20 20 147 1 2 0 0 0
                                    147 1 2 0 0 0 40 1 1 0 0 0 1 2 0 0 0 144 1
                                    1 0 0 0 1 1 0 219 0 1 1 0 86 86 1 3 0 244 0
                                    0 0 1 2 0 245 0 0 1 2 0 57 0 0 59 2 0 211
                                    20 0 1 1 0 0 0 1 1 17 65 0 1 2 8 0 0 214 1
                                    2 8 0 0 144 1 4 8 0 0 158 0 144 1 1 8 0 0 1
                                    4 8 0 0 215 20 144 1 4 6 0 0 214 40 236 1 4
                                    6 0 0 214 40 238 1 4 6 0 0 144 33 235 1 4 6
                                    0 0 144 33 237 1 3 0 0 0 28 0 1 3 0 0 0 156
                                    20 1 2 0 0 0 180 181 2 0 0 0 248 1 3 0 0 0
                                    0 0 1 3 0 0 0 20 20 1 3 0 0 0 214 236 1 3 0
                                    0 0 214 238 1 3 0 0 0 144 235 1 3 0 0 0 215
                                    238 1 3 0 0 0 144 237 1 3 0 0 0 215 236 1 3
                                    0 0 0 158 237 1 3 0 0 0 158 235 1 1 0 33 0
                                    1 1 0 0 0 1 1 0 0 0 1 2 0 0 158 0 1 3 0 0
                                    158 0 0 1 5 0 0 158 0 0 0 0 1 4 0 0 158 0 0
                                    0 1 6 0 0 158 0 0 0 0 0 1 8 0 0 158 0 0 0 0
                                    0 0 0 1 7 0 0 158 0 0 0 0 0 0 1 9 0 0 158 0
                                    0 0 0 0 0 0 0 1 2 0 0 158 20 1 10 0 0 158 0
                                    0 0 0 0 0 0 0 0 1 3 0 0 0 0 0 1 1 0 0 0 1 2
                                    0 0 0 0 1 2 0 0 0 0 1 1 0 0 0 1 2 0 103 0 0
                                    1 1 0 0 0 1 2 0 0 0 0 1 3 0 33 20 86 33 87
                                    1 0 0 0 1 1 0 0 0 1 2 0 0 0 6 175 3 0 0 0
                                    214 40 1 3 0 0 0 144 33 1 2 0 0 0 144 174 2
                                    0 0 0 214 1 1 0 0 0 1 1 1 14 0 1 1 16 0 0 1
                                    3 0 0 0 6 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1
                                    1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 8 216 0 1 1
                                    9 217 0 1 1 10 218 0 1 1 1 0 219 1 1 0 65 0
                                    1 2 7 0 0 0 1 2 7 0 0 0 1 1 1 0 220 1 1 1 0
                                    221 1 1 1 0 224 1 1 6 0 239 1 1 0 0 14 16 1
                                    0 0 17 54 1 0 5 0 11 1 0 0 5 10 1 0 0 210 1
                                    1 0 0 28 29 1 0 0 144 1 1 0 0 6 9 1 0 0 0 1
                                    1 0 0 24 205 1 0 110 0 191 1 0 33 0 1 1 4
                                    57 0 1 3 0 0 0 0 0 1 0 0 33 1 1 0 0 20 1 1
                                    0 0 0 1 2 0 0 0 0 1 2 0 0 0 0 1 2 0 0 0 0 1
                                    2 0 0 0 0 1 2 0 0 0 0 1 1 0 65 158 1 1 0 20
                                    20 1 1 0 0 0 1 1 0 0 0 1 2 0 65 0 0 1 1 0 0
                                    0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 2 0 0 144
                                    0 1 3 0 0 144 0 0 1 5 0 0 144 0 0 0 0 1 4 0
                                    0 144 0 0 0 1 2 0 0 144 20 1 2 0 65 0 0 1 2
                                    0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0
                                    0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0
                                    1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 2 0 0 0 0 1
                                    2 0 0 0 24 1 2 0 0 0 210 1 2 0 0 0 33 51 2
                                    0 0 0 147 1 0 0 0 45 0 0 0 1 1 0 0 147 1 0
                                    0 0 1 1 0 0 147 1 1 0 0 0 1 1 0 0 0 1 2 0 0
                                    147 33 1 1 0 0 33 1 1 0 0 40 1 2 0 0 147 40
                                    1 0 0 0 36 2 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1
                                    3 0 0 0 144 33 1 3 0 0 0 214 40 1 2 0 0 0
                                    214 1 2 0 0 0 144 1 1 0 0 0 1 1 0 0 0 1 2 0
                                    0 0 0 1 2 0 65 0 0 143 2 1 0 14 14 15 2 0 0
                                    0 0 60 2 0 0 0 0 1 1 0 0 0 186 2 0 0 0 0 53
                                    2 3 0 0 24 1 2 0 0 210 0 1 2 0 0 0 210 1 2
                                    0 0 0 0 52 2 0 0 24 0 1 2 0 0 33 0 1 2 0 0
                                    147 0 1)))))
           '|lookupComplete|)) 
