Symbol: Sigma1_512