Symbol: sigma1_512