I am not disputing the fact that Bitmain owned hashnet cloud mining platform. I know it is true as there is a lot of overwhelming evidence showing the connection between the two. What I was looking for is the news to prove that Bitmain sold off Hashnet at some point, as you stated in the OP.