Weren't they mining on eligius for some time?

You can search this topic and find evidence that they really mined at eligius! (links to btc adresses and eligius pool)