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.