(PRIMES::GOLDILOCKS-PRIME)
(PRIMES::PRIMEP-OF-GOLDILOCKS-PRIME-CONSTANT)
(PRIMES::PRIMEP-OF-GOLDILOCKS-PRIME)
(PRIMES::GOLDILOCKS-PRIME-LINEAR)
(DM::PRIMEP405856839)
(DM::PRIMEP451586183
 (1 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-CAR))
 )
