1 2 3 4 5 6 7 8 9 10
use ffnt::Z64; use num_traits::identities::Zero; const P: u64 = 8589934583; fn main() { let sum = (1..P).map(Z64::<P>::from).reduce(|acc, t| acc + t).unwrap(); assert!(sum.is_zero()); }