Visualize

Every case from n = 1 to 324, one square at a time: each step draws the best packing known and names the bound it reaches and its source · 8 m 14 s · open the film

A shorter film runs from 1 to 100 (2 m 20 s). Both are on the v0.4.2 release, with the receipt recording each file and the page it was drawn from. Both predate T-060, so at n = 11 they show the lower bound of 28 September, not the proved value. To move the squares yourself, open the Workbench.