
(/VERSIONCHECK 2) 

(PUT '|PADICRC;getExpon| '|SPADreplace| 'QCAR) 

(DEFUN |PADICRC;getExpon| (|x| $) (QCAR |x|)) 

(PUT '|PADICRC;getZp| '|SPADreplace| 'QCDR) 

(DEFUN |PADICRC;getZp| (|x| $) (QCDR |x|)) 

(PUT '|PADICRC;makeQp| '|SPADreplace| 'CONS) 

(DEFUN |PADICRC;makeQp| (|r| |int| $) (CONS |r| |int|)) 

(DEFUN |PADICRC;Zero;$;4| ($)
  (|PADICRC;makeQp| 0 (|spadConstant| $ 13) $)) 

(DEFUN |PADICRC;One;$;5| ($)
  (|PADICRC;makeQp| 0 (|spadConstant| $ 15) $)) 

(DEFUN |PADICRC;coerce;I$;6| (|x| $)
  (SPADCALL (SPADCALL |x| (QREFELT $ 17)) (QREFELT $ 18))) 

(DEFUN |PADICRC;coerce;F$;7| (|r| $)
  (SPADCALL (SPADCALL (SPADCALL |r| (QREFELT $ 21)) (QREFELT $ 19))
            (SPADCALL (SPADCALL |r| (QREFELT $ 22)) (QREFELT $ 19))
            (QREFELT $ 23))) 

(DEFUN |PADICRC;coerce;PADIC$;8| (|x| $) (|PADICRC;makeQp| 0 |x| $)) 

(DEFUN |PADICRC;removeZeroes;2$;9| (|x| $)
  (PROG (|xx|)
    (RETURN
      (COND
        ((SPADCALL
             (SPADCALL
                 (LETT |xx| (|PADICRC;getZp| |x| $)
                       |PADICRC;removeZeroes;2$;9|)
                 (QREFELT $ 26))
             (QREFELT $ 28))
         (|spadConstant| $ 14))
        ((ZEROP (SPADCALL |xx| (QREFELT $ 29)))
         (SPADCALL
             (|PADICRC;makeQp| (+ (|PADICRC;getExpon| |x| $) 1)
                 (SPADCALL |xx| (QREFELT $ 30)) $)
             (QREFELT $ 31)))
        ('T |x|))))) 

(DEFUN |PADICRC;removeZeroes;I2$;10| (|n| |x| $)
  (PROG (|xx|)
    (RETURN
      (COND
        ((< 0 |n|)
         (COND
           ((SPADCALL
                (SPADCALL
                    (LETT |xx| (|PADICRC;getZp| |x| $)
                          |PADICRC;removeZeroes;I2$;10|)
                    (QREFELT $ 26))
                (QREFELT $ 28))
            (|spadConstant| $ 14))
           ((ZEROP (SPADCALL |xx| (QREFELT $ 29)))
            (SPADCALL (- |n| 1)
                (|PADICRC;makeQp| (+ (|PADICRC;getExpon| |x| $) 1)
                    (SPADCALL |xx| (QREFELT $ 30)) $)
                (QREFELT $ 32)))
           ('T |x|)))
        ('T |x|))))) 

(DEFUN |PADICRC;=;2$B;11| (|x| |y| $)
  (PROG (|n| #0=#:G1892 #1=#:G1944)
    (RETURN
      (SEQ (COND
             ((EQ |x| |y|) 'T)
             ('T
              (SEQ (LETT |n|
                         (- (|PADICRC;getExpon| |x| $)
                            (|PADICRC;getExpon| |y| $))
                         . #2=(|PADICRC;=;2$B;11|))
                   (EXIT (COND
                           ((< |n| 0)
                            (SPADCALL
                                (SPADCALL
                                    (EXPT (QREFELT $ 6)
                                     (PROG1 (LETT #0# (- |n|) . #2#)
                                       (|check-subtype| (>= #0# 0)
                                        '(|NonNegativeInteger|) #0#)))
                                    (|PADICRC;getZp| |y| $)
                                    (QREFELT $ 33))
                                (|PADICRC;getZp| |x| $) (QREFELT $ 34)))
                           ('T
                            (SPADCALL
                                (SPADCALL
                                    (EXPT (QREFELT $ 6)
                                     (PROG1 (LETT #1# |n| . #2#)
                                       (|check-subtype| (>= #1# 0)
                                        '(|NonNegativeInteger|) #1#)))
                                    (|PADICRC;getZp| |x| $)
                                    (QREFELT $ 33))
                                (|PADICRC;getZp| |y| $) (QREFELT $ 34)))))))))))) 

(DEFUN |PADICRC;+;3$;12| (|x| |y| $)
  (PROG (|n| #0=#:G1950 #1=#:G1953)
    (RETURN
      (SEQ (LETT |n|
                 (- (|PADICRC;getExpon| |x| $)
                    (|PADICRC;getExpon| |y| $))
                 . #2=(|PADICRC;+;3$;12|))
           (EXIT (COND
                   ((< |n| 0)
                    (|PADICRC;makeQp| (|PADICRC;getExpon| |x| $)
                        (SPADCALL (|PADICRC;getZp| |x| $)
                            (SPADCALL
                                (EXPT (QREFELT $ 6)
                                      (PROG1 (LETT #0# (- |n|) . #2#)
                                        (|check-subtype| (>= #0# 0)
                                         '(|NonNegativeInteger|) #0#)))
                                (|PADICRC;getZp| |y| $) (QREFELT $ 33))
                            (QREFELT $ 36))
                        $))
                   ('T
                    (|PADICRC;makeQp| (|PADICRC;getExpon| |y| $)
                        (SPADCALL (|PADICRC;getZp| |y| $)
                            (SPADCALL
                                (EXPT (QREFELT $ 6)
                                      (PROG1 (LETT #1# |n| . #2#)
                                        (|check-subtype| (>= #1# 0)
                                         '(|NonNegativeInteger|) #1#)))
                                (|PADICRC;getZp| |x| $) (QREFELT $ 33))
                            (QREFELT $ 36))
                        $)))))))) 

(DEFUN |PADICRC;-;2$;13| (|x| $)
  (|PADICRC;makeQp| (|PADICRC;getExpon| |x| $)
      (SPADCALL (|PADICRC;getZp| |x| $) (QREFELT $ 38)) $)) 

(DEFUN |PADICRC;-;3$;14| (|x| |y| $)
  (PROG (|n| #0=#:G1959 #1=#:G1962)
    (RETURN
      (SEQ (LETT |n|
                 (- (|PADICRC;getExpon| |x| $)
                    (|PADICRC;getExpon| |y| $))
                 . #2=(|PADICRC;-;3$;14|))
           (EXIT (COND
                   ((< |n| 0)
                    (|PADICRC;makeQp| (|PADICRC;getExpon| |x| $)
                        (SPADCALL (|PADICRC;getZp| |x| $)
                            (SPADCALL
                                (EXPT (QREFELT $ 6)
                                      (PROG1 (LETT #0# (- |n|) . #2#)
                                        (|check-subtype| (>= #0# 0)
                                         '(|NonNegativeInteger|) #0#)))
                                (|PADICRC;getZp| |y| $) (QREFELT $ 33))
                            (QREFELT $ 40))
                        $))
                   ('T
                    (|PADICRC;makeQp| (|PADICRC;getExpon| |y| $)
                        (SPADCALL
                            (SPADCALL
                                (EXPT (QREFELT $ 6)
                                      (PROG1 (LETT #1# |n| . #2#)
                                        (|check-subtype| (>= #1# 0)
                                         '(|NonNegativeInteger|) #1#)))
                                (|PADICRC;getZp| |x| $) (QREFELT $ 33))
                            (|PADICRC;getZp| |y| $) (QREFELT $ 40))
                        $)))))))) 

(DEFUN |PADICRC;*;I2$;15| (|n| |x| $)
  (|PADICRC;makeQp| (|PADICRC;getExpon| |x| $)
      (SPADCALL |n| (|PADICRC;getZp| |x| $) (QREFELT $ 33)) $)) 

(DEFUN |PADICRC;*;3$;16| (|x| |y| $)
  (|PADICRC;makeQp|
      (+ (|PADICRC;getExpon| |x| $) (|PADICRC;getExpon| |y| $))
      (SPADCALL (|PADICRC;getZp| |x| $) (|PADICRC;getZp| |y| $)
          (QREFELT $ 43))
      $)) 

(DEFUN |PADICRC;**;$I$;17| (|x| |n| $)
  (PROG (#0=#:G1967 #1=#:G1968)
    (RETURN
      (COND
        ((ZEROP |n|) (|spadConstant| $ 16))
        ((SPADCALL |n| (QREFELT $ 45))
         (SPADCALL |x|
             (PROG1 (LETT #0# |n| . #2=(|PADICRC;**;$I$;17|))
               (|check-subtype| (> #0# 0) '(|PositiveInteger|) #0#))
             (QREFELT $ 48)))
        ('T
         (SPADCALL
             (SPADCALL |x|
                 (PROG1 (LETT #1# (- |n|) . #2#)
                   (|check-subtype| (> #1# 0) '(|PositiveInteger|) #1#))
                 (QREFELT $ 48))
             (QREFELT $ 49))))))) 

(DEFUN |PADICRC;recip;$U;18| (|x| $)
  (PROG (|xx| |inv|)
    (RETURN
      (SEQ (LETT |x| (SPADCALL 1000 |x| (QREFELT $ 32))
                 . #0=(|PADICRC;recip;$U;18|))
           (EXIT (COND
                   ((ZEROP (SPADCALL
                               (LETT |xx|
                                     (|PADICRC;getZp| |x| $) . #0#)
                               (QREFELT $ 29)))
                    (CONS 1 "failed"))
                   ('T
                    (SEQ (LETT |inv|
                               (SPADCALL |xx| (QREFELT $ 52)) . #0#)
                         (EXIT (COND
                                 ((QEQCAR |inv| 1) (CONS 1 "failed"))
                                 ('T
                                  (CONS 0
                                        (|PADICRC;makeQp|
                                         (- (|PADICRC;getExpon| |x| $))
                                         (QCDR |inv|) $))))))))))))) 

(DEFUN |PADICRC;inv;2$;19| (|x| $)
  (PROG (|inv|)
    (RETURN
      (SEQ (LETT |inv| (SPADCALL |x| (QREFELT $ 53))
                 |PADICRC;inv;2$;19|)
           (EXIT (COND
                   ((QEQCAR |inv| 1) (|error| "inv: no inverse"))
                   ('T (QCDR |inv|)))))))) 

(DEFUN |PADICRC;/;3$;20| (|x| |y| $)
  (SPADCALL |x| (SPADCALL |y| (QREFELT $ 49)) (QREFELT $ 44))) 

(DEFUN |PADICRC;/;2PADIC$;21| (|x| |y| $)
  (SPADCALL (SPADCALL |x| (QREFELT $ 18)) (SPADCALL |y| (QREFELT $ 18))
      (QREFELT $ 23))) 

(DEFUN |PADICRC;*;PADIC2$;22| (|x| |y| $)
  (|PADICRC;makeQp| (|PADICRC;getExpon| |y| $)
      (SPADCALL |x| (|PADICRC;getZp| |y| $) (QREFELT $ 43)) $)) 

(DEFUN |PADICRC;approximate;$IF;23| (|x| |n| $)
  (PROG (|k|)
    (RETURN
      (SEQ (LETT |k| (|PADICRC;getExpon| |x| $)
                 |PADICRC;approximate;$IF;23|)
           (EXIT (SPADCALL
                     (SPADCALL (SPADCALL (QREFELT $ 6) (QREFELT $ 56))
                         |k| (QREFELT $ 57))
                     (SPADCALL (|PADICRC;getZp| |x| $) (- |n| |k|)
                         (QREFELT $ 58))
                     (QREFELT $ 59))))))) 

(DEFUN |PADICRC;cfStream| (|x| $)
  (PROG ()
    (RETURN
      (SEQ (SPADCALL (CONS #'|PADICRC;cfStream!0| (VECTOR $ |x|))
               (QREFELT $ 65)))))) 

(DEFUN |PADICRC;cfStream!0| ($$)
  (PROG ($)
    (LETT $ (QREFELT $$ 0) |PADICRC;cfStream|)
    (RETURN
      (PROGN
        (PROG (|invx| |x0|)
          (RETURN
            (SEQ (LETT |invx| (SPADCALL (QREFELT $$ 1) (QREFELT $ 49))
                       NIL)
                 (LETT |x0|
                       (SPADCALL |invx| (|spadConstant| $ 61)
                           (QREFELT $ 60))
                       NIL)
                 (EXIT (SPADCALL |x0|
                           (|PADICRC;cfStream|
                               (SPADCALL |invx|
                                   (SPADCALL |x0| (QREFELT $ 24))
                                   (QREFELT $ 41))
                               $)
                           (QREFELT $ 63)))))))))) 

(DEFUN |PADICRC;continuedFraction;$Cf;25| (|x| $)
  (PROG (|x0|)
    (RETURN
      (SEQ (LETT |x0| (SPADCALL |x| 1 (QREFELT $ 60))
                 |PADICRC;continuedFraction;$Cf;25|)
           (EXIT (SPADCALL |x0|
                     (|PADICRC;cfStream|
                         (SPADCALL |x| (SPADCALL |x0| (QREFELT $ 24))
                             (QREFELT $ 41))
                         $)
                     (QREFELT $ 67))))))) 

(DEFUN |PADICRC;termOutput| (|k| |c| $)
  (PROG (|mon|)
    (RETURN
      (SEQ (COND
             ((EQL |k| 0) (SPADCALL |c| (QREFELT $ 10)))
             (#0='T
              (SEQ (LETT |mon|
                         (COND
                           ((EQL |k| 1) (QREFELT $ 11))
                           (#0#
                            (SPADCALL (QREFELT $ 11)
                                (SPADCALL |k| (QREFELT $ 10))
                                (QREFELT $ 69))))
                         |PADICRC;termOutput|)
                   (EXIT (COND
                           ((EQL |c| 1) |mon|)
                           ((EQL |c| -1)
                            (SPADCALL |mon| (QREFELT $ 70)))
                           ('T
                            (SPADCALL (SPADCALL |c| (QREFELT $ 10))
                                |mon| (QREFELT $ 71)))))))))))) 

(PUT '|PADICRC;showAll?| '|SPADreplace| '(XLAM NIL 'T)) 

(DEFUN |PADICRC;showAll?| ($) 'T) 

(DEFUN |PADICRC;coerce;$Of;28| (|x| $)
  (PROG (|m| |zp| |count| |n| |uu| |l|)
    (RETURN
      (SEQ (LETT |x| (SPADCALL |$streamCount| |x| (QREFELT $ 32))
                 . #0=(|PADICRC;coerce;$Of;28|))
           (LETT |m| (|PADICRC;getExpon| |x| $) . #0#)
           (LETT |zp| (|PADICRC;getZp| |x| $) . #0#)
           (LETT |uu| (SPADCALL |zp| (QREFELT $ 26)) . #0#)
           (LETT |l| NIL . #0#)
           (EXIT (COND
                   ((SPADCALL |uu| (QREFELT $ 28))
                    (SPADCALL 0 (QREFELT $ 10)))
                   ('T
                    (SEQ (LETT |count| |$streamCount| . #0#)
                         (SEQ (LETT |n| 0 . #0#) G190
                              (COND
                                ((OR (QSGREATERP |n| |count|)
                                     (NULL
                                      (COND
                                        ((SPADCALL |uu| (QREFELT $ 28))
                                         'NIL)
                                        ('T 'T))))
                                 #1=(GO G191)))
                              (SEQ (COND
                                     ((NULL
                                       (EQL
                                        (SPADCALL |uu| (QREFELT $ 72))
                                        0))
                                      (LETT |l|
                                       (CONS
                                        (|PADICRC;termOutput|
                                         (+ |n| |m|)
                                         (SPADCALL |uu| (QREFELT $ 72))
                                         $)
                                        |l|) . #0#)))
                                   (EXIT
                                    (LETT |uu|
                                     (SPADCALL |uu| (QREFELT $ 73)) . #0#)))
                              (LETT |n| (QSADD1 |n|) . #0#)
                              #2=(GO G190) G191 (EXIT NIL))
                         (COND
                           ((|PADICRC;showAll?| $)
                            (SEQ (LETT |n| (+ |count| 1) . #0#) G190
                                 (COND
                                   ((NULL
                                     (COND
                                       ((SPADCALL |uu| (QREFELT $ 74))
                                        (COND
                                          ((SPADCALL |uu|
                                            (SPADCALL |uu|
                                             (QREFELT $ 73))
                                            (QREFELT $ 75))
                                           'NIL)
                                          ('T 'T)))
                                       ('T 'NIL)))
                                    #1#))
                                 (SEQ (COND
                                        ((NULL
                                          (EQL
                                           (SPADCALL |uu|
                                            (QREFELT $ 72))
                                           0))
                                         (LETT |l|
                                          (CONS
                                           (|PADICRC;termOutput|
                                            (+ |n| |m|)
                                            (SPADCALL |uu|
                                             (QREFELT $ 72))
                                            $)
                                           |l|) . #0#)))
                                      (EXIT
                                       (LETT |uu|
                                        (SPADCALL |uu| (QREFELT $ 73)) . #0#)))
                                 (LETT |n| (+ |n| 1) . #0#) #2# G191
                                 (EXIT NIL))))
                         (LETT |l|
                               (COND
                                 ((SPADCALL |uu| (QREFELT $ 76)) |l|)
                                 ('T
                                  (SEQ (COND
                                         ((SPADCALL |uu|
                                           (SPADCALL |uu|
                                            (QREFELT $ 73))
                                           (QREFELT $ 75))
                                          (COND
                                            ((EQL
                                              (SPADCALL |uu|
                                               (QREFELT $ 72))
                                              0)
                                             (EXIT |l|)))))
                                       (EXIT
                                        (CONS
                                         (SPADCALL "O"
                                          (LIST
                                           (SPADCALL (QREFELT $ 11)
                                            (SPADCALL (+ |n| |m|)
                                             (QREFELT $ 10))
                                            (QREFELT $ 69)))
                                          (QREFELT $ 78))
                                         |l|))))) . #0#)
                         (EXIT (COND
                                 ((NULL |l|)
                                  (SPADCALL 0 (QREFELT $ 80)))
                                 ('T
                                  (SPADCALL (ELT $ 81) (NREVERSE |l|)
                                      (QREFELT $ 84))))))))))))) 

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

(DEFUN |PAdicRationalConstructor;| (|#1| |#2|)
  (PROG (DV$1 DV$2 |dv$| $ #0=#:G2059 |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|)
              . #1=(|PAdicRationalConstructor|))
        (LETT DV$2 (|devaluate| |#2|) . #1#)
        (LETT |dv$| (LIST '|PAdicRationalConstructor| DV$1 DV$2) . #1#)
        (LETT $ (GETREFV 125) . #1#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3
            (LETT |pv$|
                  (|buildPredVector| 0 0
                      (LIST (|HasCategory| |#2|
                                '(|PolynomialFactorizationExplicit|))
                            (|HasCategory| |#2|
                                '(|RetractableTo| (|Symbol|)))
                            (|HasCategory| |#2|
                                '(|CharacteristicNonZero|))
                            (|HasCategory| |#2|
                                '(|CharacteristicZero|))
                            (|HasCategory| |#2|
                                '(|ConvertibleTo| (|InputForm|)))
                            (|HasCategory| |#2| '(|RealConstant|))
                            (|HasCategory| |#2|
                                '(|OrderedIntegralDomain|))
                            (|HasCategory| |#2|
                                '(|RetractableTo| (|Integer|)))
                            (|HasCategory| |#2| '(|StepThrough|))
                            (|HasCategory| |#2|
                                '(|PatternMatchable| (|Float|)))
                            (|HasCategory| |#2|
                                '(|PatternMatchable| (|Integer|)))
                            (|HasCategory| |#2|
                                '(|ConvertibleTo|
                                     (|Pattern| (|Float|))))
                            (|HasCategory| |#2|
                                '(|ConvertibleTo|
                                     (|Pattern| (|Integer|))))
                            (|HasCategory| |#2|
                                '(|LinearlyExplicitRingOver|
                                     (|Integer|)))
                            (|HasCategory| |#2|
                                '(|PartialDifferentialRing| (|Symbol|)))
                            (|HasCategory| |#2| '(|DifferentialRing|))
                            (|HasCategory| |#2|
                                (LIST '|InnerEvalable| '(|Symbol|)
                                      (|devaluate| |#2|)))
                            (|HasCategory| |#2|
                                (LIST '|Evalable| (|devaluate| |#2|)))
                            (|HasCategory| |#2|
                                (LIST '|Eltable| (|devaluate| |#2|)
                                      (|devaluate| |#2|)))
                            (|HasCategory| |#2| '(|EuclideanDomain|))
                            (|HasCategory| |#2|
                                '(|IntegerNumberSystem|))
                            (LETT #0#
                                  (|HasCategory| |#2| '(|OrderedSet|)) . #1#)
                            (OR (|HasCategory| |#2|
                                    '(|OrderedIntegralDomain|))
                                #0#))) . #1#))
        (|haddProp| |$ConstructorCache| '|PAdicRationalConstructor|
            (LIST DV$1 DV$2) (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 |#2|)
        (AND (|HasCategory| $ '(|CharacteristicNonZero|))
             (|HasCategory| |#2| '(|PolynomialFactorizationExplicit|))
             (|augmentPredVector| $ 8388608))
        (AND (OR (AND (|HasCategory| $ '(|CharacteristicNonZero|))
                      (|HasCategory| |#2|
                          '(|PolynomialFactorizationExplicit|)))
                 (|HasCategory| |#2| '(|CharacteristicNonZero|)))
             (|augmentPredVector| $ 16777216))
        (QSETREFV $ 11 (SPADCALL |#1| (QREFELT $ 10)))
        (QSETREFV $ 12
            (|Record| (|:| |expon| (|Integer|)) (|:| |pint| |#2|)))
        $)))) 

(MAKEPROP '|PAdicRationalConstructor| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             (|OutputForm|) (|Integer|) (0 . |coerce|) 'PEXPR '|Rep|
             (5 . |Zero|)
             (CONS IDENTITY
                   (FUNCALL (|dispatchFunction| |PADICRC;Zero;$;4|) $))
             (9 . |One|)
             (CONS IDENTITY
                   (FUNCALL (|dispatchFunction| |PADICRC;One;$;5|) $))
             (13 . |coerce|) |PADICRC;coerce;PADIC$;8|
             |PADICRC;coerce;I$;6| (|Fraction| 9) (18 . |numer|)
             (23 . |denom|) |PADICRC;/;3$;20| |PADICRC;coerce;F$;7|
             (|Stream| 9) (28 . |digits|) (|Boolean|) (33 . |empty?|)
             (38 . |moduloP|) (43 . |quotientByP|)
             |PADICRC;removeZeroes;2$;9| |PADICRC;removeZeroes;I2$;10|
             (48 . *) (54 . =) |PADICRC;=;2$B;11| (60 . +)
             |PADICRC;+;3$;12| (66 . -) |PADICRC;-;2$;13| (71 . -)
             |PADICRC;-;3$;14| |PADICRC;*;I2$;15| (77 . *)
             |PADICRC;*;3$;16| (83 . |positive?|) (|PositiveInteger|)
             (|RepeatedSquaring| $$) (88 . |expt|) |PADICRC;inv;2$;19|
             |PADICRC;**;$I$;17| (|Union| $ '"failed") (94 . |recip|)
             |PADICRC;recip;$U;18| |PADICRC;/;2PADIC$;21|
             |PADICRC;*;PADIC2$;22| (99 . |coerce|) (104 . **)
             (110 . |approximate|) (116 . *)
             |PADICRC;approximate;$IF;23| (122 . |One|) (|Stream| 20)
             (126 . |concat|) (|Mapping| $) (132 . |delay|)
             (|ContinuedFraction| 20)
             (137 . |reducedContinuedFraction|)
             |PADICRC;continuedFraction;$Cf;25| (143 . **) (149 . -)
             (154 . *) (160 . |frst|) (165 . |rst|)
             (170 . |explicitEntries?|) (175 . |eq?|)
             (181 . |explicitlyEmpty?|) (|List| $) (186 . |prefix|)
             (|NonNegativeInteger|) (192 . |coerce|) (197 . +)
             (|Mapping| 8 8 8) (|List| 8) (203 . |reduce|)
             |PADICRC;coerce;$Of;28| (|Union| 97 '"failed")
             (|Matrix| $) (|InputForm|) (|Pattern| 106) (|Pattern| 9)
             (|List| 92) (|Equation| 7) (|List| 7) (|Symbol|)
             (|List| 94)
             (|Record| (|:| |mat| 98) (|:| |vec| (|Vector| 9)))
             (|Vector| $) (|Matrix| 9) (|List| 79)
             (|PatternMatchResult| 106 $) (|PatternMatchResult| 9 $)
             (|Factored| 103) (|SparseUnivariatePolynomial| $)
             (|Union| 105 '"failed") (|List| 103) (|Float|)
             (|DoubleFloat|) (|Union| 9 '"failed")
             (|Union| 20 '"failed") (|Union| 94 '"failed")
             (|Record| (|:| |mat| 112) (|:| |vec| (|Vector| 7)))
             (|Matrix| 7) (|Mapping| 7 7) (|Union| 7 '"failed")
             (|Factored| $) (|Union| 77 '"failed")
             (|Record| (|:| |coef1| $) (|:| |coef2| $)
                 (|:| |generator| $))
             (|Record| (|:| |coef1| $) (|:| |coef2| $))
             (|Union| 118 '"failed")
             (|Record| (|:| |quotient| $) (|:| |remainder| $))
             (|Record| (|:| |coef| 77) (|:| |generator| $))
             (|Record| (|:| |unit| $) (|:| |canonical| $)
                 (|:| |associate| $))
             (|SingleInteger|) (|String|))
          '#(~= 209 |zero?| 215 |wholePart| 220 |unitNormal| 225
             |unitCanonical| 230 |unit?| 235 |subtractIfCan| 240
             |squareFreePolynomial| 246 |squareFreePart| 251
             |squareFree| 256 |solveLinearPolynomialEquation| 261
             |sizeLess?| 267 |sign| 273 |sample| 278 |retractIfCan| 282
             |retract| 302 |removeZeroes| 322 |rem| 333 |reducedSystem|
             339 |recip| 361 |random| 366 |quo| 370 |principalIdeal|
             376 |prime?| 381 |positive?| 386 |patternMatch| 391 |one?|
             405 |numerator| 410 |numer| 415 |nextItem| 420 |negative?|
             425 |multiEuclidean| 430 |min| 436 |max| 442 |map| 448
             |lcm| 454 |latex| 465 |inv| 470 |init| 475 |hash| 479
             |gcdPolynomial| 484 |gcd| 490 |fractionPart| 501 |floor|
             506 |factorSquareFreePolynomial| 511 |factorPolynomial|
             516 |factor| 521 |extendedEuclidean| 526 |exquo| 539
             |expressIdealMember| 545 |eval| 551 |euclideanSize| 591
             |elt| 596 |divide| 602 |differentiate| 608 |denominator|
             658 |denom| 663 |convert| 668 |continuedFraction| 693
             |conditionP| 698 |coerce| 703 |charthRoot| 733
             |characteristic| 738 |ceiling| 742 |associates?| 747
             |approximate| 753 |abs| 759 ^ 764 |Zero| 782 |One| 786 D
             790 >= 840 > 846 = 852 <= 858 < 864 / 870 - 882 + 893 **
             899 * 917)
          'NIL
          (CONS (|makeByteWordVec2| 23
                    '(0 0 0 1 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 3 4 7
                      14 15 16 0 0 0 0 0 0 0 0 0 0 0 7 0 7 0 0 7 0 0 0
                      0 7 0 0 0 23 9 10 11 0 0 6 18 0 0 0 0 0 0 0 0 0 2
                      5 6 6 8 8 12 13 17 18 19))
                (CONS '#(|QuotientFieldCategory&| |Field&|
                         |EuclideanDomain&|
                         |PolynomialFactorizationExplicit&| NIL
                         |UniqueFactorizationDomain&| |GcdDomain&| NIL
                         |DivisionRing&| |IntegralDomain&|
                         |FullyLinearlyExplicitRingOver&|
                         |DifferentialExtension&| |Algebra&| |Algebra&|
                         |Algebra&| NIL |Module&| |Module&| NIL NIL
                         |Module&| NIL NIL |OrderedRing&| NIL
                         |PartialDifferentialRing&| |DifferentialRing&|
                         NIL NIL NIL |Ring&| NIL NIL NIL NIL NIL NIL
                         NIL NIL |AbelianGroup&| NIL NIL NIL NIL NIL
                         |AbelianMonoid&| |Monoid&| NIL NIL
                         |FullyEvalableOver&| |SemiGroup&|
                         |AbelianSemiGroup&| |OrderedSet&| NIL NIL NIL
                         NIL |SetCategory&| NIL |Evalable&| NIL
                         |RetractableTo&| NIL NIL NIL NIL NIL
                         |BasicType&| NIL |RetractableTo&| NIL NIL NIL
                         |RetractableTo&| |RetractableTo&| NIL NIL
                         |InnerEvalable&| |InnerEvalable&| NIL)
                      (CONS '#((|QuotientFieldCategory| 7) (|Field|)
                               (|EuclideanDomain|)
                               (|PolynomialFactorizationExplicit|)
                               (|PrincipalIdealDomain|)
                               (|UniqueFactorizationDomain|)
                               (|GcdDomain|) (|OrderedIntegralDomain|)
                               (|DivisionRing|) (|IntegralDomain|)
                               (|FullyLinearlyExplicitRingOver| 7)
                               (|DifferentialExtension| 7)
                               (|Algebra| 7) (|Algebra| 20)
                               (|Algebra| $$)
                               (|LinearlyExplicitRingOver| 7)
                               (|Module| 7) (|Module| 20)
                               (|EntireRing|) (|CommutativeRing|)
                               (|Module| $$) (|CharacteristicNonZero|)
                               (|CharacteristicZero|) (|OrderedRing|)
                               (|LinearlyExplicitRingOver| 9)
                               (|PartialDifferentialRing| 94)
                               (|DifferentialRing|) (|BiModule| 7 7)
                               (|BiModule| 20 20) (|BiModule| $$ $$)
                               (|Ring|) (|RightModule| 7)
                               (|LeftModule| 7) (|RightModule| 20)
                               (|LeftModule| 20) (|LeftModule| $$)
                               (|Rng|) (|RightModule| $$)
                               (|OrderedAbelianGroup|) (|AbelianGroup|)
                               (|OrderedCancellationAbelianMonoid|)
                               (|CancellationAbelianMonoid|)
                               (|SemiRing|) (|OrderedAbelianMonoid|)
                               (|FullyPatternMatchable| 7)
                               (|AbelianMonoid|) (|Monoid|) (|SemiRng|)
                               (|OrderedAbelianSemiGroup|)
                               (|FullyEvalableOver| 7) (|SemiGroup|)
                               (|AbelianSemiGroup|) (|OrderedSet|)
                               (|StepThrough|) (|PatternMatchable| 106)
                               (|PatternMatchable| 9) (|Patternable| 7)
                               (|SetCategory|) (|RealConstant|)
                               (|Evalable| 7) (|Type|)
                               (|RetractableTo| 7) (|canonicalsClosed|)
                               (|canonicalUnitNormal|)
                               (|noZeroDivisors|) (|CommutativeStar|)
                               (|unitsKnown|) (|BasicType|)
                               (|CoercibleTo| 8) (|RetractableTo| 94)
                               (|ConvertibleTo| 88)
                               (|ConvertibleTo| 107)
                               (|ConvertibleTo| 106)
                               (|RetractableTo| 20) (|RetractableTo| 9)
                               (|ConvertibleTo| 89)
                               (|ConvertibleTo| 90)
                               (|InnerEvalable| 94 7)
                               (|InnerEvalable| 7 7) (|Eltable| 7 $$))
                            (|makeByteWordVec2| 124
                                '(1 9 8 0 10 0 7 0 13 0 7 0 15 1 7 0 9
                                  17 1 20 9 0 21 1 20 9 0 22 1 7 25 0
                                  26 1 25 27 0 28 1 7 9 0 29 1 7 0 0 30
                                  2 7 0 9 0 33 2 7 27 0 0 34 2 7 0 0 0
                                  36 1 7 0 0 38 2 7 0 0 0 40 2 7 0 0 0
                                  43 1 9 27 0 45 2 47 2 2 46 48 1 7 51
                                  0 52 1 20 0 9 56 2 20 0 0 9 57 2 7 9
                                  0 9 58 2 20 0 0 9 59 0 9 0 61 2 62 0
                                  20 0 63 1 62 0 64 65 2 66 0 20 62 67
                                  2 8 0 0 0 69 1 8 0 0 70 2 8 0 0 0 71
                                  1 25 9 0 72 1 25 0 0 73 1 25 27 0 74
                                  2 25 27 0 0 75 1 25 27 0 76 2 8 0 0
                                  77 78 1 79 8 0 80 2 8 0 0 0 81 2 83 8
                                  82 0 84 2 0 27 0 0 1 1 0 27 0 1 1 20
                                  7 0 1 1 0 122 0 1 1 0 0 0 1 1 0 27 0
                                  1 2 0 51 0 0 1 1 1 102 103 1 1 0 0 0
                                  1 1 0 115 0 1 2 1 104 105 103 1 2 0
                                  27 0 0 1 1 7 9 0 1 0 0 0 1 1 8 108 0
                                  1 1 8 109 0 1 1 2 110 0 1 1 0 114 0 1
                                  1 8 9 0 1 1 8 20 0 1 1 2 94 0 1 1 0 7
                                  0 1 2 0 0 9 0 32 1 0 0 0 31 2 0 0 0 0
                                  1 2 14 96 87 97 1 1 14 98 87 1 2 0
                                  111 87 97 1 1 0 112 87 1 1 0 51 0 53
                                  0 21 0 1 2 0 0 0 0 1 1 0 121 77 1 1 0
                                  27 0 1 1 7 27 0 1 3 10 100 0 89 100 1
                                  3 11 101 0 90 101 1 1 0 27 0 1 1 0 0
                                  0 1 1 0 7 0 1 1 9 51 0 1 1 7 27 0 1 2
                                  0 116 77 0 1 2 22 0 0 0 1 2 22 0 0 0
                                  1 2 0 0 113 0 1 1 0 0 77 1 2 0 0 0 0
                                  1 1 0 124 0 1 1 0 0 0 49 0 9 0 1 1 0
                                  123 0 1 2 0 103 103 103 1 1 0 0 77 1
                                  2 0 0 0 0 1 1 20 0 0 1 1 21 7 0 1 1 1
                                  102 103 1 1 1 102 103 1 1 0 115 0 1 2
                                  0 117 0 0 1 3 0 119 0 0 0 1 2 0 51 0
                                  0 1 2 0 116 77 0 1 2 18 0 0 91 1 3 18
                                  0 0 7 7 1 2 18 0 0 92 1 3 18 0 0 93
                                  93 1 3 17 0 0 94 7 1 3 17 0 0 95 93 1
                                  1 0 79 0 1 2 19 0 0 7 1 2 0 120 0 0 1
                                  2 16 0 0 79 1 1 16 0 0 1 3 15 0 0 95
                                  99 1 2 15 0 0 95 1 3 15 0 0 94 79 1 2
                                  15 0 0 94 1 2 0 0 0 113 1 3 0 0 0 113
                                  79 1 1 0 0 0 1 1 0 7 0 1 1 5 88 0 1 1
                                  12 89 0 1 1 13 90 0 1 1 6 106 0 1 1 6
                                  107 0 1 1 0 66 0 68 1 24 86 87 1 1 2
                                  0 94 1 1 0 0 7 18 1 0 0 20 24 1 0 0 9
                                  19 1 0 0 0 1 1 0 8 0 85 1 25 51 0 1 0
                                  0 79 1 1 21 7 0 1 2 0 27 0 0 1 2 0 20
                                  0 9 60 1 7 0 0 1 2 0 0 0 9 1 2 0 0 0
                                  79 1 2 0 0 0 46 1 0 0 0 14 0 0 0 16 2
                                  16 0 0 79 1 1 16 0 0 1 3 15 0 0 95 99
                                  1 2 15 0 0 95 1 3 15 0 0 94 79 1 2 15
                                  0 0 94 1 2 0 0 0 113 1 3 0 0 0 113 79
                                  1 2 22 27 0 0 1 2 22 27 0 0 1 2 0 27
                                  0 0 35 2 22 27 0 0 1 2 22 27 0 0 1 2
                                  0 0 7 7 54 2 0 0 0 0 23 2 0 0 0 0 41
                                  1 0 0 0 39 2 0 0 0 0 37 2 0 0 0 9 50
                                  2 0 0 0 79 1 2 0 0 0 46 1 2 0 0 7 0
                                  55 2 0 0 0 7 1 2 0 0 20 0 1 2 0 0 0
                                  20 1 2 0 0 0 0 44 2 0 0 9 0 42 2 0 0
                                  79 0 1 2 0 0 46 0 1)))))
          '|lookupComplete|)) 
