goldilocks-field-prime

(in-package "PRIMES")

(include-book "kestrel/number-theory/defprime" :dir :system)

(defprime goldilocks-prime
  18446744069414584321
  (7 (2 3 5 17 257 65537)
    (32 1 1 1 1 1)
    (nil nil nil nil nil (3 (2) (16) (nil)))))

(assert-event (equal (goldilocks-prime)
    (+ (- (expt 2 64) (expt 2 32)) 1)))