"IC 5256"@cs .