proposition: Lemma red234to282 : reducible_in_range 234 282 the_configs.
proof: Proof. CatReducible red234to238 red238to253 red253to270 red270to278 red278to282. Qed.
imports: mathcomp(ssreflect ssrfun ssrbool ssrnat seq) fourcolor(cfmap cfreducible configurations) fourcolor(job235to238 job239to253 job254to270) fourcolor(job271to278 job279to282)