Files needed for a verification of the proof of Lemma 2.8 in the paper "The codegree threshold of K4-" by Falgas-Ravry, Pikhurko, Vaughan and Volec

This web-page contains the coefficients, the matrices and the script that can be used to verify the correctness of the proof of Lemma 2.8 presented in the paper The codegree threshold of K4- authored by Victor Falgas-Ravry, Oleg Pikhurko, Emil Vaughan and Jan Volec. A preliminary version of the paper can be downloaded from arXiv.