
(/VERSIONCHECK 2) 

(DEFUN |WFFINTBS;listSquaredFactors| (|px| $)
  (PROG (|ans| #1=#:G1828 |f| |factored|)
    (RETURN
     (SEQ (LETT |ans| NIL . #2=(|WFFINTBS;listSquaredFactors|))
          (LETT |factored| (SPADCALL |px| (QREFELT $ 12)) . #2#)
          (SEQ (LETT |f| NIL . #2#)
               (LETT #1# (SPADCALL |factored| (QREFELT $ 15)) . #2#) G190
               (COND
                ((OR (ATOM #1#) (PROGN (LETT |f| (CAR #1#) . #2#) NIL))
                 (GO G191)))
               (SEQ
                (EXIT
                 (COND
                  ((SPADCALL (QCDR |f|) 1 (QREFELT $ 19))
                   (LETT |ans| (CONS (QCAR |f|) |ans|) . #2#)))))
               (LETT #1# (CDR #1#) . #2#) (GO G190) G191 (EXIT NIL))
          (EXIT |ans|))))) 

(DEFUN |WFFINTBS;iLocalIntegralBasis|
       (|bas| |pows| |tfm| |matrixOut| |disc| |prime| $)
  (PROG (#1=#:G1856 #2=#:G1860 |oldIndex| |indexChange| |rbinv| |rbden| |rb|
         |index| |idinv| |id| |j| #3=#:G1862 |vec| |i| |ns| |frobPow|
         #4=#:G1861 |r| |tmpMat| |frob| |pPows| |coMat| |coMat0| |denPow|
         #5=#:G1838 |coor0| |bi| |lp| |q| |p| |sae| |p2| |standardBasis| |n|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |n| (SPADCALL (QREFELT $ 21))
              . #6=(|WFFINTBS;iLocalIntegralBasis|))
        (LETT |standardBasis| (SPADCALL (QREFELT $ 23)) . #6#)
        (LETT |p2| (SPADCALL |prime| |prime| (QREFELT $ 24)) . #6#)
        (LETT |sae|
              (|SimpleAlgebraicExtension| (QREFELT $ 6) (QREFELT $ 7) |prime|)
              . #6#)
        (LETT |p| (SPADCALL (QREFELT $ 26)) . #6#)
        (LETT |q|
              (SPADCALL
               (|compiledLookupCheck| '|size|
                                      (LIST (LIST '|NonNegativeInteger|))
                                      |sae|))
              . #6#)
        (LETT |lp| (SPADCALL |q| |n| (QREFELT $ 28)) . #6#)
        (LETT |rb| (SPADCALL |n| (|spadConstant| $ 29) (QREFELT $ 31)) . #6#)
        (LETT |rbinv| (SPADCALL |n| (|spadConstant| $ 29) (QREFELT $ 31))
              . #6#)
        (LETT |rbden| (|spadConstant| $ 29) . #6#)
        (LETT |index| (|spadConstant| $ 29) . #6#)
        (LETT |oldIndex| (|spadConstant| $ 29) . #6#)
        (EXIT
         (SEQ G190 NIL
              (SEQ
               (SEQ (LETT |i| 1 . #6#) G190
                    (COND ((QSGREATERP |i| |n|) (GO G191)))
                    (SEQ (LETT |bi| (|spadConstant| $ 32) . #6#)
                         (SEQ (LETT |j| 1 . #6#) G190
                              (COND ((QSGREATERP |j| |n|) (GO G191)))
                              (SEQ
                               (EXIT
                                (LETT |bi|
                                      (SPADCALL |bi|
                                                (SPADCALL
                                                 (QAREF2O |rb| |i| |j| 1 1)
                                                 (QAREF1O |standardBasis| |j|
                                                          1)
                                                 (QREFELT $ 33))
                                                (QREFELT $ 34))
                                      . #6#)))
                              (LETT |j| (QSADD1 |j|) . #6#) (GO G190) G191
                              (EXIT NIL))
                         (QSETAREF1O |bas| |i| |bi| 1)
                         (EXIT
                          (QSETAREF1O |pows| |i|
                                      (SPADCALL |bi| |p| (QREFELT $ 35)) 1)))
                    (LETT |i| (QSADD1 |i|) . #6#) (GO G190) G191 (EXIT NIL))
               (LETT |coor0|
                     (SPADCALL (SPADCALL |pows| |bas| (QREFELT $ 36))
                               (QREFELT $ 37))
                     . #6#)
               (LETT |denPow|
                     (SPADCALL |rbden|
                               (PROG1 (LETT #5# (- |p| 1) . #6#)
                                 (|check-subtype| (>= #5# 0)
                                                  '(|NonNegativeInteger|) #5#))
                               (QREFELT $ 38))
                     . #6#)
               (LETT |coMat0| (SPADCALL |coor0| |denPow| (QREFELT $ 40)) . #6#)
               (EXIT
                (COND ((QEQCAR |coMat0| 1) (|error| "can't happen"))
                      ('T
                       (SEQ
                        (EXIT
                         (SEQ (LETT |coMat| (QCDR |coMat0|) . #6#)
                              (LETT |pPows|
                                    (SPADCALL
                                     (|compiledLookupCheck| '|reduce|
                                                            (LIST '$
                                                                  (|devaluate|
                                                                   (ELT $ 7)))
                                                            |sae|)
                                     |coMat|
                                     (|compiledLookupCheck| '|map|
                                                            (LIST
                                                             (LIST '|Matrix|
                                                                   (|devaluate|
                                                                    |sae|))
                                                             (LIST '|Mapping|
                                                                   (|devaluate|
                                                                    |sae|)
                                                                   (|devaluate|
                                                                    (ELT $ 7)))
                                                             (LIST '|Matrix|
                                                                   (|devaluate|
                                                                    (ELT $
                                                                         7))))
                                                            (|MatrixCategoryFunctions2|
                                                             (ELT $ 7)
                                                             (|Vector|
                                                              (ELT $ 7))
                                                             (|Vector|
                                                              (ELT $ 7))
                                                             (|Matrix|
                                                              (ELT $ 7))
                                                             |sae|
                                                             (|Vector| |sae|)
                                                             (|Vector| |sae|)
                                                             (|Matrix|
                                                              |sae|))))
                                    . #6#)
                              (LETT |frob|
                                    (SPADCALL |pPows|
                                              (|compiledLookupCheck| '|copy|
                                                                     (LIST '$
                                                                           '$)
                                                                     (|Matrix|
                                                                      |sae|)))
                                    . #6#)
                              (LETT |tmpMat|
                                    (SPADCALL |n| |n|
                                              (SPADCALL
                                               (|compiledLookupCheck| '|Zero|
                                                                      (LIST '$)
                                                                      |sae|))
                                              (|compiledLookupCheck| '|new|
                                                                     (LIST '$
                                                                           (LIST
                                                                            '|NonNegativeInteger|)
                                                                           (LIST
                                                                            '|NonNegativeInteger|)
                                                                           (|devaluate|
                                                                            |sae|))
                                                                     (|Matrix|
                                                                      |sae|)))
                                    . #6#)
                              (SEQ (LETT |r| 2 . #6#)
                                   (LETT #4# (SPADCALL |p| |q| (QREFELT $ 28))
                                         . #6#)
                                   G190 (COND ((QSGREATERP |r| #4#) (GO G191)))
                                   (SEQ
                                    (SEQ (LETT |i| 1 . #6#) G190
                                         (COND
                                          ((QSGREATERP |i| |n|) (GO G191)))
                                         (SEQ
                                          (EXIT
                                           (SEQ (LETT |j| 1 . #6#) G190
                                                (COND
                                                 ((QSGREATERP |j| |n|)
                                                  (GO G191)))
                                                (SEQ
                                                 (EXIT
                                                  (QSETAREF2O |tmpMat| |i| |j|
                                                              (SPADCALL
                                                               (QAREF2O |frob|
                                                                        |i| |j|
                                                                        1 1)
                                                               |p|
                                                               (|compiledLookupCheck|
                                                                '^
                                                                (LIST '$ '$
                                                                      (LIST
                                                                       '|Integer|))
                                                                |sae|))
                                                              1 1)))
                                                (LETT |j| (QSADD1 |j|) . #6#)
                                                (GO G190) G191 (EXIT NIL))))
                                         (LETT |i| (QSADD1 |i|) . #6#)
                                         (GO G190) G191 (EXIT NIL))
                                    (EXIT
                                     (SPADCALL |frob| |pPows| |tmpMat|
                                               (|compiledLookupCheck| '|times!|
                                                                      (LIST
                                                                       (LIST
                                                                        '|Matrix|
                                                                        (|devaluate|
                                                                         |sae|))
                                                                       (LIST
                                                                        '|Matrix|
                                                                        (|devaluate|
                                                                         |sae|))
                                                                       (LIST
                                                                        '|Matrix|
                                                                        (|devaluate|
                                                                         |sae|))
                                                                       (LIST
                                                                        '|Matrix|
                                                                        (|devaluate|
                                                                         |sae|)))
                                                                      (|StorageEfficientMatrixOperations|
                                                                       |sae|)))))
                                   (LETT |r| (QSADD1 |r|) . #6#) (GO G190) G191
                                   (EXIT NIL))
                              (LETT |frobPow|
                                    (SPADCALL |frob| |lp|
                                              (|compiledLookupCheck| '^
                                                                     (LIST '$
                                                                           '$
                                                                           (LIST
                                                                            '|NonNegativeInteger|))
                                                                     (|Matrix|
                                                                      |sae|)))
                                    . #6#)
                              (LETT |ns|
                                    (SPADCALL |frobPow|
                                              (|compiledLookupCheck|
                                               '|nullSpace|
                                               (LIST
                                                (LIST '|List|
                                                      (LIST '|Vector|
                                                            (|devaluate|
                                                             |sae|)))
                                                '$)
                                               (|Matrix| |sae|)))
                                    . #6#)
                              (SEQ (LETT |i| 1 . #6#) G190
                                   (COND ((QSGREATERP |i| |n|) (GO G191)))
                                   (SEQ
                                    (EXIT
                                     (SEQ (LETT |j| 1 . #6#) G190
                                          (COND
                                           ((QSGREATERP |j| |n|) (GO G191)))
                                          (SEQ
                                           (EXIT
                                            (QSETAREF2O |tfm| |i| |j|
                                                        (|spadConstant| $ 42) 1
                                                        1)))
                                          (LETT |j| (QSADD1 |j|) . #6#)
                                          (GO G190) G191 (EXIT NIL))))
                                   (LETT |i| (QSADD1 |i|) . #6#) (GO G190) G191
                                   (EXIT NIL))
                              (SEQ (LETT |i| 1 . #6#) (LETT |vec| NIL . #6#)
                                   (LETT #3# |ns| . #6#) G190
                                   (COND
                                    ((OR (ATOM #3#)
                                         (PROGN
                                          (LETT |vec| (CAR #3#) . #6#)
                                          NIL))
                                     (GO G191)))
                                   (SEQ
                                    (EXIT
                                     (SEQ (LETT |j| 1 . #6#) G190
                                          (COND
                                           ((QSGREATERP |j| |n|) (GO G191)))
                                          (SEQ
                                           (EXIT
                                            (QSETAREF2O |tfm| |i| |j|
                                                        (SPADCALL
                                                         (QAREF1O |vec| |j| 1)
                                                         (|compiledLookupCheck|
                                                          '|lift|
                                                          (LIST
                                                           (|devaluate|
                                                            (ELT $ 7))
                                                           '$)
                                                          |sae|))
                                                        1 1)))
                                          (LETT |j| (QSADD1 |j|) . #6#)
                                          (GO G190) G191 (EXIT NIL))))
                                   (LETT #3#
                                         (PROG1 (CDR #3#)
                                           (LETT |i| (QSADD1 |i|) . #6#))
                                         . #6#)
                                   (GO G190) G191 (EXIT NIL))
                              (LETT |id|
                                    (SPADCALL
                                     (SPADCALL |tfm| |prime| (QREFELT $ 44))
                                     (QREFELT $ 45))
                                    . #6#)
                              (LETT |idinv|
                                    (SPADCALL |id| |prime| (QREFELT $ 47))
                                    . #6#)
                              (LETT |rbinv|
                                    (SPADCALL
                                     (SPADCALL |id| |rb| (QREFELT $ 48))
                                     (SPADCALL |rbinv| |idinv| (QREFELT $ 48))
                                     (SPADCALL |prime| |rbden| (QREFELT $ 24))
                                     (QREFELT $ 49))
                                    . #6#)
                              (LETT |index| (SPADCALL |rbinv| (QREFELT $ 50))
                                    . #6#)
                              (LETT |rb|
                                    (SPADCALL
                                     (SPADCALL |rbinv|
                                               (SPADCALL |rbden| |prime|
                                                         (QREFELT $ 24))
                                               (QREFELT $ 51))
                                     (QREFELT $ 52))
                                    . #6#)
                              (COND
                               ((SPADCALL
                                 (SPADCALL |rb| |matrixOut| |prime| |n|
                                           (QREFELT $ 53))
                                 (|spadConstant| $ 29) (QREFELT $ 54))
                                (LETT |rb| |matrixOut| . #6#))
                               ('T
                                (LETT |rbden|
                                      (SPADCALL |rbden| |prime| (QREFELT $ 24))
                                      . #6#)))
                              (LETT |rbinv|
                                    (SPADCALL |rb| |rbden| (QREFELT $ 47))
                                    . #6#)
                              (LETT |indexChange|
                                    (SPADCALL |index| |oldIndex|
                                              (QREFELT $ 55))
                                    . #6#)
                              (LETT |oldIndex| |index| . #6#)
                              (LETT |disc|
                                    (SPADCALL |disc|
                                              (SPADCALL |indexChange|
                                                        |indexChange|
                                                        (QREFELT $ 24))
                                              (QREFELT $ 55))
                                    . #6#)
                              (EXIT
                               (COND
                                ((SPADCALL (|spadConstant| $ 29) |indexChange|
                                           (QREFELT $ 56))
                                 (COND
                                  ((QEQCAR
                                    (SPADCALL |disc| |p2| (QREFELT $ 57)) 1)
                                   (PROGN
                                    (LETT #1#
                                          (PROGN
                                           (LETT #2#
                                                 (VECTOR |rb| |rbden| |rbinv|
                                                         |disc|)
                                                 . #6#)
                                           (GO #2#))
                                          . #6#)
                                    (GO #1#)))))
                                ('T
                                 (PROGN
                                  (LETT #1#
                                        (PROGN
                                         (LETT #2#
                                               (VECTOR |rb| |rbden| |rbinv|
                                                       |disc|)
                                               . #6#)
                                         (GO #2#))
                                        . #6#)
                                  (GO #1#)))))))
                        #1# (EXIT #1#))))))
              NIL (GO G190) G191 (EXIT NIL)))))
      #2# (EXIT #2#))))) 

(DEFUN |WFFINTBS;integralBasis;R;3| ($)
  (PROG (|runningRbinv| |runningRb| |runningRbden| |mat| |disc| |rbden| |rbinv|
         |rb| |lb| #1=#:G1873 |prime| |matrixOut| |tfm| |pows| |bas| |singList|
         |n| |traceMat|)
    (RETURN
     (SEQ
      (LETT |traceMat| (SPADCALL (QREFELT $ 58))
            . #2=(|WFFINTBS;integralBasis;R;3|))
      (LETT |n| (SPADCALL (QREFELT $ 21)) . #2#)
      (LETT |disc| (SPADCALL |traceMat| (QREFELT $ 59)) . #2#)
      (EXIT
       (COND
        ((SPADCALL |disc| (QREFELT $ 60))
         (|error| "integralBasis: polynomial must be separable"))
        (#3='T
         (SEQ (LETT |singList| (|WFFINTBS;listSquaredFactors| |disc| $) . #2#)
              (LETT |runningRb|
                    (SPADCALL |n| (|spadConstant| $ 29) (QREFELT $ 31)) . #2#)
              (LETT |runningRbinv|
                    (SPADCALL |n| (|spadConstant| $ 29) (QREFELT $ 31)) . #2#)
              (LETT |runningRbden| (|spadConstant| $ 29) . #2#)
              (EXIT
               (COND
                ((NULL |singList|)
                 (VECTOR |runningRb| |runningRbden| |runningRbinv|))
                (#3#
                 (SEQ (LETT |bas| (MAKEARR1 |n| (|spadConstant| $ 32)) . #2#)
                      (LETT |pows| (MAKEARR1 |n| (|spadConstant| $ 32)) . #2#)
                      (LETT |tfm|
                            (SPADCALL |n| |n| (|spadConstant| $ 42)
                                      (QREFELT $ 61))
                            . #2#)
                      (LETT |matrixOut|
                            (SPADCALL |n| |n| (|spadConstant| $ 42)
                                      (QREFELT $ 61))
                            . #2#)
                      (SEQ (LETT |prime| NIL . #2#) (LETT #1# |singList| . #2#)
                           G190
                           (COND
                            ((OR (ATOM #1#)
                                 (PROGN (LETT |prime| (CAR #1#) . #2#) NIL))
                             (GO G191)))
                           (SEQ
                            (LETT |lb|
                                  (|WFFINTBS;iLocalIntegralBasis| |bas| |pows|
                                   |tfm| |matrixOut| |disc| |prime| $)
                                  . #2#)
                            (LETT |rb| (QVELT |lb| 0) . #2#)
                            (LETT |rbinv| (QVELT |lb| 2) . #2#)
                            (LETT |rbden| (QVELT |lb| 1) . #2#)
                            (LETT |disc| (QVELT |lb| 3) . #2#)
                            (EXIT
                             (COND
                              ((SPADCALL (|spadConstant| $ 29) |rbden|
                                         (QREFELT $ 56))
                               (SEQ
                                (LETT |mat|
                                      (SPADCALL
                                       (SPADCALL |rbden| |runningRb|
                                                 (QREFELT $ 62))
                                       (SPADCALL |runningRbden| |rb|
                                                 (QREFELT $ 62))
                                       (QREFELT $ 63))
                                      . #2#)
                                (LETT |runningRbden|
                                      (SPADCALL |runningRbden| |rbden|
                                                (QREFELT $ 24))
                                      . #2#)
                                (LETT |runningRb|
                                      (SPADCALL
                                       (SPADCALL |mat| |runningRbden|
                                                 (QREFELT $ 44))
                                       (QREFELT $ 45))
                                      . #2#)
                                (EXIT
                                 (LETT |runningRbinv|
                                       (SPADCALL |runningRb| |runningRbden|
                                                 (QREFELT $ 47))
                                       . #2#)))))))
                           (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                           (EXIT NIL))
                      (EXIT
                       (VECTOR |runningRb| |runningRbden|
                               |runningRbinv|)))))))))))))) 

(DEFUN |WFFINTBS;localIntegralBasis;RR;4| (|prime| $)
  (PROG (|lb| |matrixOut| |tfm| |pows| |bas| |disc| |n| |traceMat|)
    (RETURN
     (SEQ
      (LETT |traceMat| (SPADCALL (QREFELT $ 58))
            . #1=(|WFFINTBS;localIntegralBasis;RR;4|))
      (LETT |n| (SPADCALL (QREFELT $ 21)) . #1#)
      (LETT |disc| (SPADCALL |traceMat| (QREFELT $ 59)) . #1#)
      (EXIT
       (COND
        ((SPADCALL |disc| (QREFELT $ 60))
         (|error| "localIntegralBasis: polynomial must be separable"))
        ((QEQCAR
          (SPADCALL |disc| (SPADCALL |prime| |prime| (QREFELT $ 24))
                    (QREFELT $ 57))
          1)
         (VECTOR (SPADCALL |n| (|spadConstant| $ 29) (QREFELT $ 31))
                 (|spadConstant| $ 29)
                 (SPADCALL |n| (|spadConstant| $ 29) (QREFELT $ 31))))
        ('T
         (SEQ (LETT |bas| (MAKEARR1 |n| (|spadConstant| $ 32)) . #1#)
              (LETT |pows| (MAKEARR1 |n| (|spadConstant| $ 32)) . #1#)
              (LETT |tfm|
                    (SPADCALL |n| |n| (|spadConstant| $ 42) (QREFELT $ 61))
                    . #1#)
              (LETT |matrixOut|
                    (SPADCALL |n| |n| (|spadConstant| $ 42) (QREFELT $ 61))
                    . #1#)
              (LETT |lb|
                    (|WFFINTBS;iLocalIntegralBasis| |bas| |pows| |tfm|
                     |matrixOut| |disc| |prime| $)
                    . #1#)
              (EXIT
               (VECTOR (QVELT |lb| 0) (QVELT |lb| 1) (QVELT |lb| 2))))))))))) 

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

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

(MAKEPROP '|WildFunctionFieldIntegralBasis| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
              (|local| |#3|) (|local| |#4|) (|Factored| 7)
              (|DistinctDegreeFactorize| 6 7) (0 . |factor|)
              (|Record| (|:| |factor| 7) (|:| |exponent| 18)) (|List| 13)
              (5 . |factors|) (10 . |One|) (|Boolean|) (|Integer|) (14 . >)
              (|PositiveInteger|) (20 . |rank|) (|Vector| $) (24 . |basis|)
              (28 . *) (|NonNegativeInteger|) (34 . |characteristic|)
              (|IntegralBasisTools| 7 8 9) (38 . |leastPower|) (44 . |One|)
              (|Matrix| 7) (48 . |scalarMatrix|) (54 . |Zero|) (58 . *)
              (64 . +) (70 . ^) (76 . |coordinates|) (82 . |transpose|)
              (87 . ^) (|Union| $ '"failed") (93 . |exquo|) (99 . |Zero|)
              (103 . |Zero|) (|ModularHermitianRowReduction| 7)
              (107 . |rowEchelon|) (113 . |squareTop|)
              (|TriangularMatrixOperations| 7 (|Vector| 7) (|Vector| 7) 30)
              (118 . |UpTriBddDenomInv|) (124 . *) (130 . |idealiser|)
              (137 . |diagonalProduct|) (142 . |LowTriBddDenomInv|)
              (148 . |rowEchelon|) (153 . |divideIfCan!|) (161 . =)
              (167 . |quo|) (173 . |sizeLess?|) (179 . |exquo|)
              (185 . |traceMatrix|) (189 . |determinant|) (194 . |zero?|)
              (199 . |new|) (206 . *) (212 . |vertConcat|)
              (|Record| (|:| |basis| 30) (|:| |basisDen| 7)
                        (|:| |basisInv| 30))
              |WFFINTBS;integralBasis;R;3| |WFFINTBS;localIntegralBasis;RR;4|)
           '#(|localIntegralBasis| 218 |integralBasis| 223) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 66
                                                 '(1 11 10 7 12 1 10 14 0 15 0
                                                   6 0 16 2 18 17 0 0 19 0 9 20
                                                   21 0 9 22 23 2 7 0 0 0 24 0
                                                   9 25 26 2 27 25 25 25 28 0 7
                                                   0 29 2 30 0 25 7 31 0 9 0 32
                                                   2 9 0 7 0 33 2 9 0 0 0 34 2
                                                   9 0 0 25 35 2 9 30 22 22 36
                                                   1 30 0 0 37 2 7 0 0 25 38 2
                                                   30 39 0 7 40 0 6 0 41 0 7 0
                                                   42 2 43 30 30 7 44 1 30 0 0
                                                   45 2 46 30 30 7 47 2 30 0 0
                                                   0 48 3 27 30 30 30 7 49 1 27
                                                   7 30 50 2 46 30 30 7 51 1 30
                                                   0 0 52 4 27 7 30 30 7 18 53
                                                   2 7 17 0 0 54 2 7 0 0 0 55 2
                                                   7 17 0 0 56 2 7 39 0 0 57 0
                                                   9 30 58 1 30 7 0 59 1 7 17 0
                                                   60 3 30 0 25 25 7 61 2 30 0
                                                   7 0 62 2 30 0 0 0 63 1 0 64
                                                   7 66 0 0 64 65)))))
           '|lookupComplete|)) 
