proposition: Lemma red282to302 : reducible_in_range 282 302 the_configs.
proof: Proof. CatReducible red282to286 red286to290 red290to294 red294to298 red298to302. Qed.
imports: mathcomp(ssreflect ssrfun ssrbool ssrnat seq) fourcolor(cfmap cfreducible configurations) fourcolor(job283to286 job287to290 job291to294) fourcolor(job295to298 job299to302)