これを改造して、16x16の超難問の数独を解かせたい。

10 には a, 11にはb,...16にはgと、17進数で割り当てる。

002g0000b0a00300
5b00d0f00e000ca0
f00001b020d0g070
0cd03702050f00b0
000b5000a0800047
d0c0080f00029b00
050f007d030b0028
2070400bf056a000
b080200650f9c000
020500d70a010083
10f00a05000c2d00
0009f00040b0005g
0d40720e0b0800f0
30000f40d0207060
7f00b050010002e0
0052000060700g00

しかし、結果がいつまでたっても返ってこない。
複数解の可能性をすべて確認しないと返ってこないのも、この場合は困る。とにかく1個見つけてくれればいいんだよ・・・
じゃあ大域脱出でもやるかと思って、"モナドのすべて"のContinuationモナドをみたが、よくわからなかった。