count m256/r512/a256 of opt_atePairingKnownG2Mixed