The mutability takes advantage of the first fill, which happens on the first odd-length set produced by the Merkle iteration. To duplicate the value that will be filled requires a tuple of hashes at the end of the original set, with a power of two length, where that power is the number of iterations before the first odd set is produced.
(edited)