proposition: Lemma red000to214 : reducible_in_range 0 214 the_configs.
proof: Proof. CatReducible red000to106 red106to164 red164to189 red189to206 red206to214. Qed.
imports: mathcomp(ssreflect ssrfun ssrbool ssrnat seq) fourcolor(cfmap cfreducible configurations) fourcolor(job001to106 job107to164 job165to189) fourcolor(job190to206 job207to214)