fact: Variables (cp1 cp2 : cprog) (k0 : cpmap (catrev cp1 cp2) -> color).
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq choice) mathcomp(fintype path fingraph) fourcolor(hypermap geometry color coloring cfmap ctree)