GitHub_4CT_Haskell C可約がうまくいかない

Haskell の四色定理のプログラムですが、
C可約チェックがうまくいかないので、しばし中断します。