 In this construction, any input merger only outputs formula_29 items at once, but the buffer it outputs to has double the space.This is done so that an input merger can be called only when its buffer does not have enough items, but that when it is called, it outputs a lot of items at once (namely, formula_29 of them).A "k"-merger works recursively in the following way.