Function characteristic_square_mod_6_is_one 

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