Smallest Squared Squares

In this paper we have a look at squared squares with small integer sidelengths, where the only restriction is that any two subsquares of the same size are not allowed to share a full border. We prove that there are exactly two such squared squares (and their mirrored versions) up to and including size 17x17. They are shown in Figure 1 (page 2).