The sale means that Google, in total, lost $717 million as a pure investment. This doesn’t include the value it generated in its search partnership, but we’re willing to bet it wasn’t worth more than…