## Supplementary files for the proof of non-existence of SRG(76,30,8,14)

### A. Bondarenko, A. Prymak, D. Radchenko

- The paper can be accessed here (arxiv).

- A revision is being prepared. Current version is here. Updated versions of the files below refer to this revision.

- Bounds on the number of K_4 subgraphs implied by Theorem 4.2 for SRG graphs of size at most 1300 are listed in this text file, the expression for the rational function of k, r, s providing the bound is in this text file.

- Computation of the bound on the number of 4-cliques (updated version): view in the browser, get PDF file, get sage worksheet.

- Computation of the bound on the number of 4-cliques: view in the browser, get PDF file, get sage worksheet.

- Auxiliary computations: view in the browser, get PDF file, get sage worksheet.

- Eliminating 16-coclique: view in the browser, get PDF file, get sage worksheet.

- Eliminating K6,10: view in the browser, get PDF file, get sage worksheet.