## 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).

- Previous version of this page can be accessed here.

- Bounds on the number of K_4 subgraphs implied by Theorem 3.3 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: view in the browser, get PDF file, get sage worksheet.

- References to the numbered statements from the paper in the files below are to this specific version: https://arxiv.org/abs/1410.6748v2.

- 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.