added c3mycielski4 and cached values