TRACE_PAIRING_NONDEGENERATE ELLIPTIC_STABILIZER_INDEX gl2_mod8=1536 stabilizer=16 index=96 DETERMINANT_TRACE_CONTROLS checks=2560 RATIONAL_MATRIX_CONTROLS checks=9216 fractional_upper_right=7680 ORDER256_TRACE_CERTIFICATE_DONE