Clique coloring of binomial random graphs. Issue 4 (12th November 2018)