ecc/curves/brainpoolp512t1 library