proposition: Lemma red541to588 : reducible_in_range 541 588 the_configs.
proof: Proof. CatReducible red541to545 red545to549 red549to553 red553to562 red562to588. Qed.
imports: mathcomp(ssreflect ssrfun ssrbool ssrnat seq) fourcolor(cfmap cfreducible configurations) fourcolor(job542to545 job546to549 job550to553) fourcolor(job554to562 job563to588)