メインループの切り出し
数独の解を得る
グレブナー基底が1のときの動作を修正, 数独を解く実装完成