Symbol: thmc50_data