3 ms·It's easy enough to check, and they do in fact diff to the above.by boucher 18y agoIt's easy enough to check, and they do in fact diff to the above.jrockway 18y agoSure, but that's decided by the diff tool, not by the data.