Both tree decodings work. Now the problem is figuring out which is which.