added cc of c3mycielski4 to cache