この手の有限確定ゲームは
総当りすればそれで終わりなのは最初から証明されている
量的にまだ無理なだけ