Without having access to their records, there is no 110% provability that those two wallets are in fact owned by GOX, however, if this were a civil matter, with the information provided at http://letstalkbitcoin.com/the-ghost-in-the-machine-at-mtgox/#.UxImAuNdUhM, there's pretty good probability that they are.
Furthermore it seems that there's a motherload of wallets that have touched the following address (see for example where the transfers of .00777 end up) here: