
(/VERSIONCHECK 2) 

(DEFUN |PRIMES;primes;2IL;1| (|m| |n| $)
  (PROG (|ll| #1=#:G1838 |k| #2=#:G1837 |l|)
    (RETURN
     (SEQ
      (LETT |l|
            (COND ((SPADCALL (QREFELT $ 17) |m| (QREFELT $ 35)) NIL)
                  ('T (LIST (QREFELT $ 17))))
            . #3=(|PRIMES;primes;2IL;1|))
      (COND
       ((OR (SPADCALL |n| (QREFELT $ 17) (QREFELT $ 35))
            (SPADCALL |n| |m| (QREFELT $ 35)))
        (EXIT NIL)))
      (COND
       ((SPADCALL |m| (QREFELT $ 36))
        (LETT |m| (SPADCALL |m| (|spadConstant| $ 11) (QREFELT $ 37)) . #3#)))
      (LETT |ll|
            (PROGN
             (LETT #2# NIL . #3#)
             (SEQ (LETT |k| (SPADCALL |m| (QREFELT $ 38)) . #3#)
                  (LETT #1# (SPADCALL |n| (QREFELT $ 38)) . #3#) G190
                  (COND ((> |k| #1#) (GO G191)))
                  (SEQ
                   (EXIT
                    (COND
                     ((SPADCALL (SPADCALL |k| (QREFELT $ 8)) (QREFELT $ 39))
                      (LETT #2# (CONS (SPADCALL |k| (QREFELT $ 8)) #2#)
                            . #3#)))))
                  (LETT |k| (+ |k| 2) . #3#) (GO G190) G191
                  (EXIT (NREVERSE0 #2#))))
            . #3#)
      (EXIT (NREVERSE (SPADCALL |ll| |l| (QREFELT $ 41)))))))) 

(DEFUN |PRIMES;rabinProvesCompositeSmall| (|p| |n| |nm1| |q| |k| $)
  (PROG (#1=#:G1843 #2=#:G1840 |t| |oldt| #3=#:G1844 |j|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |t| (SPADCALL |p| |q| |n| (QREFELT $ 43))
              . #4=(|PRIMES;rabinProvesCompositeSmall|))
        (COND
         ((NULL (SPADCALL |t| (|spadConstant| $ 11) (QREFELT $ 44)))
          (COND
           ((NULL (SPADCALL |t| |nm1| (QREFELT $ 44)))
            (SEQ
             (SEQ
              (EXIT
               (SEQ (LETT |j| 1 . #4#) (LETT #3# (- |k| 1) . #4#) G190
                    (COND ((QSGREATERP |j| #3#) (GO G191)))
                    (SEQ (LETT |oldt| |t| . #4#)
                         (LETT |t| (SPADCALL |t| |t| |n| (QREFELT $ 45)) . #4#)
                         (EXIT
                          (COND
                           ((SPADCALL |t| (|spadConstant| $ 11) (QREFELT $ 44))
                            (PROGN (LETT #1# 'T . #4#) (GO #1#)))
                           ((SPADCALL |t| |nm1| (QREFELT $ 44))
                            (PROGN (LETT #2# |$NoValue| . #4#) (GO #2#))))))
                    (LETT |j| (QSADD1 |j|) . #4#) (GO G190) G191 (EXIT NIL)))
              #2# (EXIT #2#))
             (EXIT
              (COND
               ((NULL (SPADCALL |t| |nm1| (QREFELT $ 44)))
                (PROGN (LETT #1# 'T . #4#) (GO #1#))))))))))
        (EXIT 'NIL)))
      #1# (EXIT #1#))))) 

(DEFUN |PRIMES;rabinProvesComposite| (|p| |n| |nm1| |q| |k| $)
  (PROG (#1=#:G1850 #2=#:G1847 |t| |oldt| #3=#:G1851 |j|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |t| (SPADCALL |p| |q| |n| (QREFELT $ 43))
              . #4=(|PRIMES;rabinProvesComposite|))
        (COND
         ((SPADCALL |t| |nm1| (QREFELT $ 44))
          (SPADCALL (QREFELT $ 33) 1
                    (+ (SPADCALL (QREFELT $ 33) 1 (QREFELT $ 46)) 1)
                    (QREFELT $ 47))))
        (COND
         ((NULL (SPADCALL |t| (|spadConstant| $ 11) (QREFELT $ 44)))
          (COND
           ((NULL (SPADCALL |t| |nm1| (QREFELT $ 44)))
            (SEQ
             (SEQ
              (EXIT
               (SEQ (LETT |j| 1 . #4#) (LETT #3# (- |k| 1) . #4#) G190
                    (COND ((QSGREATERP |j| #3#) (GO G191)))
                    (SEQ (LETT |oldt| |t| . #4#)
                         (LETT |t| (SPADCALL |t| |t| |n| (QREFELT $ 45)) . #4#)
                         (EXIT
                          (COND
                           ((SPADCALL |t| (|spadConstant| $ 11) (QREFELT $ 44))
                            (PROGN (LETT #1# 'T . #4#) (GO #1#)))
                           ((SPADCALL |t| |nm1| (QREFELT $ 44))
                            (SEQ
                             (SETELT $ 29
                                     (SPADCALL (QREFELT $ 29) |oldt|
                                               (QREFELT $ 48)))
                             (SPADCALL (QREFELT $ 33) (+ |j| 1)
                                       (+
                                        (SPADCALL (QREFELT $ 33) (+ |j| 1)
                                                  (QREFELT $ 46))
                                        1)
                                       (QREFELT $ 47))
                             (EXIT
                              (PROGN
                               (LETT #2# |$NoValue| . #4#)
                               (GO #2#))))))))
                    (LETT |j| (QSADD1 |j|) . #4#) (GO G190) G191 (EXIT NIL)))
              #2# (EXIT #2#))
             (EXIT
              (COND
               ((NULL (SPADCALL |t| |nm1| (QREFELT $ 44)))
                (PROGN (LETT #1# 'T . #4#) (GO #1#))))))))))
        (EXIT
         (COND ((< 2 (SPADCALL (QREFELT $ 29) (QREFELT $ 49))) 'T)
               ('T 'NIL)))))
      #1# (EXIT #1#))))) 

(DEFUN |PRIMES;prime?;IB;4| (|n| $)
  (PROG (#1=#:G1883 #2=#:G1888 |probablySafe| |currPrime| #3=#:G1885 |n9|
         #4=#:G1876 #5=#:G1889 |i| |mn| |q| |k| |nm1|)
    (RETURN
     (SEQ
      (EXIT
       (COND ((SPADCALL |n| (QREFELT $ 17) (QREFELT $ 35)) 'NIL)
             ((SPADCALL |n| (QREFELT $ 13) (QREFELT $ 35))
              (SPADCALL |n| (QREFELT $ 9) (QREFELT $ 50)))
             (#6='T
              (COND
               ((NULL
                 (SPADCALL (SPADCALL |n| (QREFELT $ 12) (QREFELT $ 51))
                           (|spadConstant| $ 11) (QREFELT $ 44)))
                'NIL)
               ('T
                (COND ((SPADCALL |n| (QREFELT $ 16) (QREFELT $ 35)) 'T)
                      (#6#
                       (SEQ
                        (LETT |nm1|
                              (SPADCALL |n| (|spadConstant| $ 11)
                                        (QREFELT $ 52))
                              . #7=(|PRIMES;prime?;IB;4|))
                        (LETT |q|
                              (SPADCALL |nm1| (QREFELT $ 17) (QREFELT $ 53))
                              . #7#)
                        (SEQ (LETT |k| 1 . #7#) G190
                             (COND
                              ((NULL
                                (COND ((SPADCALL |q| (QREFELT $ 54)) 'NIL)
                                      ('T 'T)))
                               #8=(GO G191)))
                             (SEQ
                              (EXIT
                               (LETT |q|
                                     (SPADCALL |q| (QREFELT $ 17)
                                               (QREFELT $ 53))
                                     . #7#)))
                             (LETT |k| (QSADD1 |k|) . #7#) #9=(GO G190) G191
                             (EXIT NIL))
                        (EXIT
                         (COND
                          ((SPADCALL |n| (QREFELT $ 26) (QREFELT $ 35))
                           (COND
                            ((OR
                              (|PRIMES;rabinProvesCompositeSmall|
                               (SPADCALL 2 (QREFELT $ 8)) |n| |nm1| |q| |k| $)
                              (|PRIMES;rabinProvesCompositeSmall|
                               (SPADCALL 3 (QREFELT $ 8)) |n| |nm1| |q| |k| $))
                             (PROGN (LETT #2# 'NIL . #7#) (GO #2#)))
                            ((SPADCALL |n| (QREFELT $ 20) (QREFELT $ 35))
                             (COND
                              ((OR
                                (|PRIMES;rabinProvesCompositeSmall|
                                 (SPADCALL 5 (QREFELT $ 8)) |n| |nm1| |q| |k|
                                 $)
                                (SPADCALL |n| (QREFELT $ 19) (QREFELT $ 50)))
                               (PROGN (LETT #2# 'NIL . #7#) (GO #2#)))
                              ('T 'T)))
                            (#6#
                             (COND
                              ((|PRIMES;rabinProvesCompositeSmall|
                                (SPADCALL 7 (QREFELT $ 8)) |n| |nm1| |q| |k| $)
                               (PROGN (LETT #2# 'NIL . #7#) (GO #2#)))
                              ((SPADCALL |n| (QREFELT $ 23) (QREFELT $ 35))
                               (COND
                                ((OR
                                  (|PRIMES;rabinProvesCompositeSmall|
                                   (SPADCALL 10 (QREFELT $ 8)) |n| |nm1| |q|
                                   |k| $)
                                  (SPADCALL |n| (QREFELT $ 21) (QREFELT $ 50)))
                                 (PROGN (LETT #2# 'NIL . #7#) (GO #2#)))
                                ('T 'T)))
                              (#6#
                               (COND
                                ((OR
                                  (|PRIMES;rabinProvesCompositeSmall|
                                   (SPADCALL 5 (QREFELT $ 8)) |n| |nm1| |q| |k|
                                   $)
                                  (|PRIMES;rabinProvesCompositeSmall|
                                   (SPADCALL 11 (QREFELT $ 8)) |n| |nm1| |q|
                                   |k| $))
                                 (PROGN (LETT #2# 'NIL . #7#) (GO #2#)))
                                ((SPADCALL |n| (QREFELT $ 25) (QREFELT $ 35))
                                 (COND
                                  ((SPADCALL |n| (QREFELT $ 24) (QREFELT $ 50))
                                   (PROGN (LETT #2# 'NIL . #7#) (GO #2#)))
                                  (#6# 'T)))
                                (#6#
                                 (COND
                                  ((OR
                                    (|PRIMES;rabinProvesCompositeSmall|
                                     (SPADCALL 13 (QREFELT $ 8)) |n| |nm1| |q|
                                     |k| $)
                                    (|PRIMES;rabinProvesCompositeSmall|
                                     (SPADCALL 17 (QREFELT $ 8)) |n| |nm1| |q|
                                     |k| $))
                                   (PROGN (LETT #2# 'NIL . #7#) (GO #2#)))
                                  ('T 'T)))))))))
                          (#6#
                           (SEQ
                            (EXIT
                             (SEQ (SETELT $ 29 (SPADCALL (QREFELT $ 28)))
                                  (SETELT $ 33 (SPADCALL |k| 0 (QREFELT $ 32)))
                                  (LETT |mn|
                                        (SPADCALL (QREFELT $ 9) (QREFELT $ 56))
                                        . #7#)
                                  (SEQ
                                   (EXIT
                                    (SEQ (LETT |i| (+ |mn| 1) . #7#)
                                         (LETT #5# (+ |mn| 10) . #7#) G190
                                         (COND ((> |i| #5#) #8#))
                                         (SEQ
                                          (EXIT
                                           (COND
                                            ((|PRIMES;rabinProvesComposite|
                                              (SPADCALL (QREFELT $ 9) |i|
                                                        (QREFELT $ 57))
                                              |n| |nm1| |q| |k| $)
                                             (PROGN
                                              (LETT #4#
                                                    (PROGN
                                                     (LETT #2# 'NIL . #7#)
                                                     (GO #2#))
                                                    . #7#)
                                              (GO #4#))))))
                                         (LETT |i| (+ |i| 1) . #7#) #9# G191
                                         (EXIT NIL)))
                                   #4# (EXIT #4#))
                                  (COND
                                   ((SPADCALL (|spadConstant| $ 11) |q|
                                              (QREFELT $ 35))
                                    (COND
                                     ((SPADCALL
                                       (SPADCALL
                                        (SPADCALL 3 |n| (QREFELT $ 58))
                                        (|spadConstant| $ 11) (QREFELT $ 37))
                                       (QREFELT $ 60))
                                      (EXIT 'NIL)))))
                                  (SEQ
                                   (LETT |n9|
                                         (SPADCALL |n|
                                                   (SPADCALL 9 (QREFELT $ 8))
                                                   (QREFELT $ 61))
                                         . #7#)
                                   (EXIT
                                    (COND
                                     ((OR
                                       (SPADCALL |n9| (|spadConstant| $ 11)
                                                 (QREFELT $ 44))
                                       (SPADCALL |n9|
                                                 (SPADCALL
                                                  (|spadConstant| $ 11)
                                                  (QREFELT $ 62))
                                                 (QREFELT $ 44)))
                                      (COND
                                       ((SPADCALL
                                         (SPADCALL
                                          (SPADCALL 8 |n| (QREFELT $ 58))
                                          (|spadConstant| $ 11) (QREFELT $ 37))
                                         (QREFELT $ 60))
                                        (PROGN
                                         (LETT #3# 'NIL . #7#)
                                         (GO #3#))))))))
                                  (LETT |currPrime|
                                        (SPADCALL (QREFELT $ 9) (+ |mn| 10)
                                                  (QREFELT $ 57))
                                        . #7#)
                                  (LETT |probablySafe| (QREFELT $ 18) . #7#)
                                  (SEQ G190
                                       (COND
                                        ((NULL
                                          (COND
                                           ((EQL
                                             (SPADCALL (QREFELT $ 33) |k|
                                                       (QREFELT $ 46))
                                             0)
                                            'T)
                                           ('T
                                            (SPADCALL |probablySafe| |n|
                                                      (QREFELT $ 35)))))
                                         #8#))
                                       (SEQ
                                        (EXIT
                                         (SEQ
                                          (LETT |currPrime|
                                                (SPADCALL |currPrime|
                                                          (QREFELT $ 63))
                                                . #7#)
                                          (LETT |probablySafe|
                                                (SPADCALL |probablySafe|
                                                          (SPADCALL 100
                                                                    (QREFELT $
                                                                             8))
                                                          (QREFELT $ 10))
                                                . #7#)
                                          (EXIT
                                           (COND
                                            ((|PRIMES;rabinProvesComposite|
                                              |currPrime| |n| |nm1| |q| |k| $)
                                             (PROGN
                                              (LETT #1#
                                                    (PROGN
                                                     (LETT #2# 'NIL . #7#)
                                                     (GO #2#))
                                                    . #7#)
                                              (GO #1#)))))))
                                        #1# (EXIT #1#))
                                       NIL #9# G191 (EXIT NIL))
                                  (EXIT 'T)))
                            #3# (EXIT #3#)))))))))))))
      #2# (EXIT #2#))))) 

(DEFUN |PRIMES;nextPrime;2I;5| (|n| $)
  (SEQ
   (COND ((SPADCALL |n| (QREFELT $ 17) (QREFELT $ 35)) (QREFELT $ 17))
         (#1='T
          (SEQ
           (COND
            ((SPADCALL |n| (QREFELT $ 54))
             (LETT |n| (SPADCALL |n| (QREFELT $ 17) (QREFELT $ 37))
                   . #2=(|PRIMES;nextPrime;2I;5|)))
            (#1#
             (LETT |n| (SPADCALL |n| (|spadConstant| $ 11) (QREFELT $ 37))
                   . #2#)))
           (SEQ G190
                (COND
                 ((NULL (COND ((SPADCALL |n| (QREFELT $ 39)) 'NIL) ('T 'T)))
                  (GO G191)))
                (SEQ
                 (EXIT
                  (LETT |n| (SPADCALL |n| (QREFELT $ 17) (QREFELT $ 37))
                        . #2#)))
                NIL (GO G190) G191 (EXIT NIL))
           (EXIT |n|)))))) 

(DEFUN |PRIMES;prevPrime;2I;6| (|n| $)
  (SEQ
   (COND
    ((SPADCALL |n| (SPADCALL 3 (QREFELT $ 8)) (QREFELT $ 35))
     (|error| "no primes less than 2"))
    ((SPADCALL |n| (SPADCALL 3 (QREFELT $ 8)) (QREFELT $ 44)) (QREFELT $ 17))
    (#1='T
     (SEQ
      (COND
       ((SPADCALL |n| (QREFELT $ 54))
        (LETT |n| (SPADCALL |n| (QREFELT $ 17) (QREFELT $ 52))
              . #2=(|PRIMES;prevPrime;2I;6|)))
       (#1#
        (LETT |n| (SPADCALL |n| (|spadConstant| $ 11) (QREFELT $ 52)) . #2#)))
      (SEQ G190
           (COND
            ((NULL (COND ((SPADCALL |n| (QREFELT $ 39)) 'NIL) ('T 'T)))
             (GO G191)))
           (SEQ
            (EXIT
             (LETT |n| (SPADCALL |n| (QREFELT $ 17) (QREFELT $ 52)) . #2#)))
           NIL (GO G190) G191 (EXIT NIL))
      (EXIT |n|)))))) 

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

(DEFUN |IntegerPrimesPackage;| (|#1|)
  (PROG (#1=#:G1826 #2=#:G1825 #3=#:G1827 #4=#:G1900 #5=#:G1792 |pv$| $ |dv$|
         DV$1)
    (RETURN
     (SEQ
      (PROGN
       (LETT DV$1 (|devaluate| |#1|) . #6=(|IntegerPrimesPackage|))
       (LETT |dv$| (LIST '|IntegerPrimesPackage| DV$1) . #6#)
       (LETT $ (GETREFV 65) . #6#)
       (QSETREFV $ 0 |dv$|)
       (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #6#))
       (|haddProp| |$ConstructorCache| '|IntegerPrimesPackage| (LIST DV$1)
                   (CONS 1 $))
       (|stuffDomainSlots| $)
       (QSETREFV $ 6 |#1|)
       (QSETREFV $ 9
                 (LIST (SPADCALL 2 (QREFELT $ 8)) (SPADCALL 3 (QREFELT $ 8))
                       (SPADCALL 5 (QREFELT $ 8)) (SPADCALL 7 (QREFELT $ 8))
                       (SPADCALL 11 (QREFELT $ 8)) (SPADCALL 13 (QREFELT $ 8))
                       (SPADCALL 17 (QREFELT $ 8)) (SPADCALL 19 (QREFELT $ 8))
                       (SPADCALL 23 (QREFELT $ 8)) (SPADCALL 29 (QREFELT $ 8))
                       (SPADCALL 31 (QREFELT $ 8)) (SPADCALL 37 (QREFELT $ 8))
                       (SPADCALL 41 (QREFELT $ 8)) (SPADCALL 43 (QREFELT $ 8))
                       (SPADCALL 47 (QREFELT $ 8)) (SPADCALL 53 (QREFELT $ 8))
                       (SPADCALL 59 (QREFELT $ 8)) (SPADCALL 61 (QREFELT $ 8))
                       (SPADCALL 67 (QREFELT $ 8)) (SPADCALL 71 (QREFELT $ 8))
                       (SPADCALL 73 (QREFELT $ 8)) (SPADCALL 79 (QREFELT $ 8))
                       (SPADCALL 83 (QREFELT $ 8)) (SPADCALL 89 (QREFELT $ 8))
                       (SPADCALL 97 (QREFELT $ 8)) (SPADCALL 101 (QREFELT $ 8))
                       (SPADCALL 103 (QREFELT $ 8))
                       (SPADCALL 107 (QREFELT $ 8))
                       (SPADCALL 109 (QREFELT $ 8))
                       (SPADCALL 113 (QREFELT $ 8))
                       (SPADCALL 127 (QREFELT $ 8))
                       (SPADCALL 131 (QREFELT $ 8))
                       (SPADCALL 137 (QREFELT $ 8))
                       (SPADCALL 139 (QREFELT $ 8))
                       (SPADCALL 149 (QREFELT $ 8))
                       (SPADCALL 151 (QREFELT $ 8))
                       (SPADCALL 157 (QREFELT $ 8))
                       (SPADCALL 163 (QREFELT $ 8))
                       (SPADCALL 167 (QREFELT $ 8))
                       (SPADCALL 173 (QREFELT $ 8))
                       (SPADCALL 179 (QREFELT $ 8))
                       (SPADCALL 181 (QREFELT $ 8))
                       (SPADCALL 191 (QREFELT $ 8))
                       (SPADCALL 193 (QREFELT $ 8))
                       (SPADCALL 197 (QREFELT $ 8))
                       (SPADCALL 199 (QREFELT $ 8))
                       (SPADCALL 211 (QREFELT $ 8))
                       (SPADCALL 223 (QREFELT $ 8))
                       (SPADCALL 227 (QREFELT $ 8))
                       (SPADCALL 229 (QREFELT $ 8))
                       (SPADCALL 233 (QREFELT $ 8))
                       (SPADCALL 239 (QREFELT $ 8))
                       (SPADCALL 241 (QREFELT $ 8))
                       (SPADCALL 251 (QREFELT $ 8))
                       (SPADCALL 257 (QREFELT $ 8))
                       (SPADCALL 263 (QREFELT $ 8))
                       (SPADCALL 269 (QREFELT $ 8))
                       (SPADCALL 271 (QREFELT $ 8))
                       (SPADCALL 277 (QREFELT $ 8))
                       (SPADCALL 281 (QREFELT $ 8))
                       (SPADCALL 283 (QREFELT $ 8))
                       (SPADCALL 293 (QREFELT $ 8))
                       (SPADCALL 307 (QREFELT $ 8))
                       (SPADCALL 311 (QREFELT $ 8))
                       (SPADCALL 313 (QREFELT $ 8))))
       (QSETREFV $ 12
                 (PROGN
                  (LETT #1# NIL . #6#)
                  (SEQ (LETT #5# NIL . #6#) (LETT #4# (QREFELT $ 9) . #6#) G190
                       (COND
                        ((OR (ATOM #4#) (PROGN (LETT #5# (CAR #4#) . #6#) NIL))
                         (GO G191)))
                       (SEQ
                        (EXIT
                         (PROGN
                          (LETT #3# #5# . #6#)
                          (COND
                           (#1#
                            (LETT #2# (SPADCALL #2# #3# (QREFELT $ 10)) . #6#))
                           ('T
                            (PROGN
                             (LETT #2# #3# . #6#)
                             (LETT #1# 'T . #6#)))))))
                       (LETT #4# (CDR #4#) . #6#) (GO G190) G191 (EXIT NIL))
                  (COND (#1# #2#) ('T (|spadConstant| $ 11)))))
       (QSETREFV $ 13 (SPADCALL 317 (QREFELT $ 8)))
       (QSETREFV $ 16 (SPADCALL (QREFELT $ 13) 2 (QREFELT $ 15)))
       (QSETREFV $ 17 (SPADCALL 2 (QREFELT $ 8)))
       (QSETREFV $ 18 (SPADCALL (SPADCALL 10 (QREFELT $ 8)) 20 (QREFELT $ 15)))
       (QSETREFV $ 19
                 (LIST (SPADCALL 25326001 (QREFELT $ 8))
                       (SPADCALL 161304001 (QREFELT $ 8))
                       (SPADCALL 960946321 (QREFELT $ 8))
                       (SPADCALL 1157839381 (QREFELT $ 8))
                       (SPADCALL 3697278427 (QREFELT $ 8))
                       (SPADCALL 5764643587 (QREFELT $ 8))
                       (SPADCALL 6770862367 (QREFELT $ 8))
                       (SPADCALL 14386156093 (QREFELT $ 8))
                       (SPADCALL 15579919981 (QREFELT $ 8))
                       (SPADCALL 18459366157 (QREFELT $ 8))
                       (SPADCALL 19887974881 (QREFELT $ 8))
                       (SPADCALL 21276028621 (QREFELT $ 8))))
       (QSETREFV $ 20 (SPADCALL 27716349961 (QREFELT $ 8)))
       (QSETREFV $ 21
                 (LIST (SPADCALL 3215031751 (QREFELT $ 8))
                       (SPADCALL 118670087467 (QREFELT $ 8))
                       (SPADCALL 128282461501 (QREFELT $ 8))
                       (SPADCALL 354864744877 (QREFELT $ 8))
                       (SPADCALL 546348519181 (QREFELT $ 8))
                       (SPADCALL 602248359169 (QREFELT $ 8))
                       (SPADCALL 669094855201 (QREFELT $ 8))))
       (QSETREFV $ 23 (SPADCALL (SPADCALL 10 12 (QREFELT $ 22)) (QREFELT $ 8)))
       (QSETREFV $ 24
                 (LIST (SPADCALL 2152302898747 (QREFELT $ 8))
                       (SPADCALL 3474749660383 (QREFELT $ 8))))
       (QSETREFV $ 25 (SPADCALL (SPADCALL 10 13 (QREFELT $ 22)) (QREFELT $ 8)))
       (QSETREFV $ 26 (SPADCALL 341550071728321 (QREFELT $ 8)))
       (QSETREFV $ 29 (SPADCALL (QREFELT $ 28)))
       (QSETREFV $ 33 (SPADCALL 1 0 (QREFELT $ 32)))
       $))))) 

(MAKEPROP '|IntegerPrimesPackage| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|Integer|) (0 . |coerce|)
              '|smallPrimes| (5 . *) (11 . |One|) '|productSmallPrimes|
              '|nextSmallPrime| (|PositiveInteger|) (15 . ^)
              '|nextSmallPrimeSquared| '|two| '|tenPowerTwenty|
              '|PomeranceList| '|PomeranceLimit| '|PinchList| (21 . ^)
              '|PinchLimit| '|PinchList2| '|PinchLimit2| '|JaeschkeLimit|
              (|Set| 6) (27 . |empty|) '|rootsMinus1| (|NonNegativeInteger|)
              (|Vector| 30) (31 . |new|) '|count2Order| (|Boolean|) (37 . <)
              (43 . |even?|) (48 . +) (54 . |convert|) |PRIMES;prime?;IB;4|
              (|List| 6) (59 . |concat!|) |PRIMES;primes;2IL;1| (65 . |powmod|)
              (72 . =) (78 . |mulmod|) (85 . |elt|) (91 . |setelt|)
              (98 . |union|) (104 . |#|) (109 . |member?|) (115 . |gcd|)
              (121 . -) (127 . |quo|) (133 . |odd?|) (138 . |Zero|)
              (142 . |minIndex|) (147 . |elt|) (153 . *) (|IntegerRoots| 6)
              (159 . |perfectSquare?|) (164 . |rem|) (170 . -)
              |PRIMES;nextPrime;2I;5| |PRIMES;prevPrime;2I;6|)
           '#(|primes| 175 |prime?| 181 |prevPrime| 186 |nextPrime| 191) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 64
                                                 '(1 6 0 7 8 2 6 0 0 0 10 0 6 0
                                                   11 2 6 0 0 14 15 2 14 0 0 14
                                                   22 0 27 0 28 2 31 0 30 30 32
                                                   2 6 34 0 0 35 1 6 34 0 36 2
                                                   6 0 0 0 37 1 6 7 0 38 2 40 0
                                                   0 0 41 3 6 0 0 0 0 43 2 6 34
                                                   0 0 44 3 6 0 0 0 0 45 2 31
                                                   30 0 7 46 3 31 30 0 7 30 47
                                                   2 27 0 0 6 48 1 27 30 0 49 2
                                                   40 34 6 0 50 2 6 0 0 0 51 2
                                                   6 0 0 0 52 2 6 0 0 0 53 1 6
                                                   34 0 54 0 6 0 55 1 40 7 0 56
                                                   2 40 6 0 7 57 2 6 0 14 0 58
                                                   1 59 34 6 60 2 6 0 0 0 61 1
                                                   6 0 0 62 2 0 40 6 6 42 1 0
                                                   34 6 39 1 0 6 6 64 1 0 6 6
                                                   63)))))
           '|lookupComplete|)) 
