(PRIMES::BLS12-377-SCALAR-FIELD-PRIME)
(PRIMES::PRIMEP-OF-BLS12-377-SCALAR-FIELD-PRIME-CONSTANT)
(PRIMES::PRIMEP-OF-BLS12-377-SCALAR-FIELD-PRIME)
(PRIMES::BLS12-377-SCALAR-FIELD-PRIME-LINEAR)
(DM::PRIMEP1606867814)
(DM::PRIMEP1562153382
 (1 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-CAR))
 )
