[upqdktmg] Freecell short proof

It theoretically possible to create a long proof that Freecell game number 11982 is unsolvable. Using automated or semi-automated tools create a shorter proof. Automatically generate lemmas.