proposition: Lemma red506to541 : reducible_in_range 506 541 the_configs.
proof: Proof. CatReducible red506to510 red510to516 red516to530 red530to534 red534to541. Qed.
imports: mathcomp(ssreflect ssrfun ssrbool ssrnat seq) fourcolor(cfmap cfreducible configurations) fourcolor(job507to510 job511to516 job517to530) fourcolor(job531to534 job535to541)