The cap set problem: Up to dimension 7 - Henry Robert Thackeray (2022)