I'm not exactly sure, but confirmed the output by running on the command line, and Morgan Price (FastTree developer) confirmed that the branch lengths can be slightly different. I didn't want to invest a bunch of time in figuring it out, since we know that both ways are correct.