bn-254-group-prime

(in-package "PRIMES")

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

(defprime bn-254-group-prime
  21888242871839275222246405745257275088548364400416034343698204186575808495617
  (5 (2 3
      13
      29
      983
      11003
      237073
      405928799
      1670836401704629
      13818364434197438864469338081)
    (28 2 1 1 1 1 1 1 1 1)
    (nil nil
      nil
      nil
      nil
      nil
      nil
      (22 (2 11 3691 4999) (1 1 1 1) (nil nil nil nil))
      (2 (2 3 5156902474397)
        (2 4 1)
        (nil nil
          (2 (2 107 12048837557)
            (2 1 1)
            (nil nil (2 (2 7 661 93001) (2 2 1 1) (nil nil nil nil))))))
      (3 (2 5 823 1593227 65865678001877903)
        (5 1 1 1 1)
        (nil nil
          nil
          nil
          (5 (2 83 379 1637 639533339)
            (1 1 1 1 1)
            (nil nil
              nil
              nil
              (2 (2 229 853 1637) (1 1 1 1) (nil nil nil nil)))))))))