Symbol: PCT_nistp521