[teod]

Is it possible to verify that these coins are among the ones stolen?

[mrb]

Yes, and his coins turn out to not be related to the hack: http://blog.zorinaq.com/bitfinex-hack-2016/