pub const fn characteristic_square_mod_6_is_one(characteristic: &[u64]) -> bool