[math-fun] packing squares of two sizes