https://1library.net/document/y4gl77ry-translative-packing-of-unit-squares-into-squares.html