"IC 2801"@cs .