Book Size Resulting From Folding A Sheet Of Paper Into 12 Leaves