100644 blob d02bdb44a7a8f2e0d4c031333dba37ed4b540474	const_residue.rs
100644 blob 98f5fe5d6cbf56bc7bf6d909de0098979f028380	impl_modulus.rs
100644 blob bad14bc1b61c6fc410033bd03b10984bf3e57107	proptests.rs