Parameter F6.4-Params

val frobenius_coeffs_c1 : Fq.Unchecked.t array