proposition: Lemma red302to322 : reducible_in_range 302 322 the_configs.
proof: Proof. CatReducible red302to306 red306to310 red310to314 red314to318 red318to322. Qed.
imports: mathcomp(ssreflect ssrfun ssrbool ssrnat seq) fourcolor(cfmap cfreducible configurations) fourcolor(job303to306 job307to310 job311to314) fourcolor(job315to318 job319to322)