Loading paper
The saturation number for unions of four cliques | Tomesphere