Loading paper
Improved Lower Bounds on the Classical Ramsey Numbers R(4,22) and R(4,25) | Tomesphere