diff --git a/samples/large_unsolvable.txt b/samples/large_unsolvable.txt new file mode 100644 index 0000000..64c9d1a --- /dev/null +++ b/samples/large_unsolvable.txt @@ -0,0 +1,240 @@ +1 1 1 0 0 1 1 0 1 1 1 1 0 1 0 +1 1 1 1 0 1 0 1 1 1 0 1 1 0 0 +1 0 1 0 1 0 1 1 1 1 0 1 1 1 1 +0 0 1 0 1 0 1 1 1 0 1 1 0 1 0 +0 1 0 1 0 1 1 1 0 0 1 0 0 1 0 +1 0 0 1 0 1 1 0 0 1 0 1 1 1 0 +1 0 1 0 0 0 0 1 0 1 0 0 1 1 1 +1 0 0 1 1 1 0 1 1 0 1 0 0 0 0 +0 1 1 0 1 0 0 0 0 1 0 1 0 1 1 +1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 +1 1 0 0 0 0 0 1 1 0 0 1 0 0 1 +0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 +0 1 0 1 0 1 1 0 1 0 0 1 1 1 0 +1 1 0 1 1 1 1 1 0 1 1 0 1 0 0 +0 1 0 1 1 1 1 1 1 1 0 0 1 0 0 + +0 0 1 0 0 0 0 1 1 0 0 1 0 1 1 +1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 +1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 +0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 +1 1 0 1 0 0 1 0 0 1 1 1 1 0 0 +1 1 1 0 1 1 0 1 0 0 0 1 0 0 1 +0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 +0 1 1 0 0 1 0 1 1 1 0 1 1 1 0 +0 0 0 1 1 1 0 0 0 1 0 1 0 0 1 +0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 +1 0 1 0 1 0 1 0 0 1 0 0 0 0 1 +1 0 1 0 0 1 1 0 1 0 1 1 1 0 0 +1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 +1 0 1 0 1 0 0 1 1 0 1 0 1 1 1 +0 1 0 0 1 0 1 0 0 1 1 1 1 1 1 + +1 0 0 1 0 1 1 1 1 1 0 1 0 0 1 +1 1 1 0 0 0 1 1 1 1 1 1 1 0 1 +1 1 0 0 1 1 1 1 0 1 0 1 1 1 1 +0 0 1 0 0 0 1 0 0 1 0 1 1 1 0 +1 1 0 0 0 1 1 1 0 1 0 1 0 0 1 +0 0 0 1 1 1 0 1 0 1 1 1 1 0 1 +0 1 0 0 1 1 1 0 1 1 1 0 0 1 0 +1 1 1 1 1 1 0 1 0 1 1 1 0 0 0 +1 1 0 0 1 1 1 1 0 0 1 0 1 1 0 +0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 +0 0 1 1 0 1 0 0 1 1 1 0 1 1 1 +0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 +0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 +1 1 1 1 1 0 1 1 1 0 1 0 1 0 0 +0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 + +0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 +1 0 1 1 0 1 1 1 1 0 1 0 1 1 0 +1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 +0 1 0 1 1 0 1 0 1 1 0 0 0 1 1 +1 0 0 1 0 0 1 1 1 0 1 0 0 0 0 +1 1 1 1 0 0 1 0 0 1 1 1 0 1 0 +1 1 0 0 0 1 0 1 0 1 0 1 0 1 0 +0 1 0 1 0 0 0 1 0 0 1 1 1 0 1 +1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 +0 1 1 1 0 0 1 1 0 0 0 0 1 1 1 +0 0 0 0 0 1 1 0 1 1 1 0 0 1 1 +1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 +0 0 1 0 1 1 0 1 0 0 0 1 1 0 0 +0 1 0 1 0 1 1 1 1 0 1 0 1 1 1 +1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 + +1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 +0 1 1 1 1 1 1 0 1 0 0 0 1 0 1 +0 1 0 0 1 0 0 0 1 1 1 1 0 1 1 +1 0 0 0 1 0 1 1 0 1 1 1 0 1 0 +1 1 1 0 1 1 0 0 0 1 0 0 0 0 1 +0 0 0 1 0 0 0 1 1 1 0 0 1 0 0 +0 0 0 0 1 0 0 1 1 1 0 1 1 0 0 +1 0 1 1 1 0 0 0 1 1 0 1 1 1 1 +0 1 1 0 1 1 0 1 1 0 1 0 1 0 1 +1 1 1 0 1 0 1 1 0 0 0 0 1 0 0 +1 1 0 1 0 0 1 0 0 1 1 0 0 1 0 +0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 +0 1 1 0 0 0 1 1 1 0 0 0 0 1 0 +1 1 0 0 0 1 1 1 1 0 1 1 0 0 0 +0 1 0 1 1 0 1 1 0 0 1 0 0 0 0 + +1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 +0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 +0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 +1 0 0 0 1 1 1 1 1 1 1 0 1 0 1 +0 1 0 0 1 0 1 1 1 0 0 0 1 0 0 +0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 +0 0 1 1 0 0 1 1 1 0 0 1 1 0 1 +0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 +1 1 0 1 0 1 0 0 1 1 0 0 0 1 1 +0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 +1 1 1 1 0 0 0 1 1 1 1 0 1 1 1 +0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 +1 1 1 1 0 1 1 0 0 1 0 0 1 0 1 +0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 +0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 + +0 1 1 0 1 0 0 0 0 1 0 0 1 1 0 +1 1 0 0 1 0 0 0 1 1 1 1 1 1 1 +1 1 0 0 1 0 0 1 1 1 0 1 1 0 1 +0 0 1 1 0 0 1 0 0 1 1 1 1 0 1 +1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 +0 0 1 0 1 1 1 1 1 1 0 1 1 0 1 +1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 +0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 +1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 +1 1 0 1 0 1 0 1 1 1 0 1 0 0 1 +0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 +0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 +0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 +0 0 0 1 0 1 0 1 1 1 0 0 0 1 0 +0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 + +1 0 1 1 0 0 1 1 1 1 0 1 1 1 1 +1 0 1 1 1 0 1 0 0 1 1 0 0 0 1 +0 1 1 1 0 1 1 0 1 0 0 0 1 1 1 +0 0 0 0 1 0 1 1 1 0 1 1 1 0 1 +0 1 0 1 1 0 1 0 0 1 1 0 0 0 1 +1 0 1 1 1 0 1 1 0 0 1 0 1 1 0 +1 1 0 1 1 1 0 0 0 1 0 1 1 0 1 +0 1 1 0 1 1 1 0 1 1 1 1 1 1 0 +1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 +0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 +1 0 0 0 1 1 1 1 0 1 1 0 1 1 0 +1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 +0 0 1 0 1 1 1 1 1 0 1 1 1 0 0 +0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 +1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 + +0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 +0 1 1 0 0 0 0 1 0 0 1 0 1 0 1 +0 0 1 0 0 0 0 1 1 1 0 1 1 1 1 +0 0 1 0 1 0 0 1 0 1 1 1 0 0 1 +1 0 1 1 1 1 0 0 0 0 1 1 0 1 1 +0 0 1 1 0 0 1 0 1 1 1 1 0 1 0 +0 1 1 1 0 0 0 1 0 0 0 1 0 1 1 +1 1 1 1 0 0 1 1 0 1 1 1 0 0 1 +1 0 1 0 1 1 1 1 1 1 0 1 0 0 0 +0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 +1 1 0 0 1 0 0 0 0 1 1 1 0 0 1 +1 0 1 1 0 0 0 1 1 1 1 1 1 1 1 +0 1 1 1 1 0 0 1 1 0 0 0 0 1 0 +0 1 0 1 0 0 1 0 1 1 1 1 0 1 0 +0 1 1 1 1 1 0 0 1 1 1 1 0 0 0 + +0 1 1 0 1 0 1 1 1 0 1 1 0 0 1 +0 1 1 0 1 0 1 0 1 0 0 0 1 0 1 +0 1 1 0 1 1 0 0 1 0 0 0 1 1 1 +0 0 0 0 1 1 1 0 1 1 1 1 0 0 0 +1 1 0 0 1 0 0 1 0 0 0 1 1 0 0 +0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 +1 1 0 0 0 1 1 0 1 1 1 1 0 0 0 +0 1 0 0 0 1 1 1 0 1 1 1 1 0 0 +1 0 0 1 0 0 1 0 1 1 0 1 0 0 0 +0 1 0 0 1 0 1 1 1 1 1 0 0 0 1 +1 0 0 1 1 1 1 0 1 0 0 0 1 1 1 +0 0 0 1 0 1 1 0 1 1 1 1 1 0 1 +1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 +0 1 1 1 0 1 0 0 1 0 1 1 1 1 0 +1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 + +1 0 1 1 1 0 1 1 0 0 0 1 1 1 0 +0 0 0 0 1 1 1 1 0 1 0 0 1 0 1 +1 0 0 1 0 0 1 0 0 1 1 1 1 0 1 +0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 +1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 +0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 +1 1 1 0 1 0 0 1 0 1 0 0 0 0 1 +0 0 1 0 0 0 1 1 1 1 0 0 1 1 0 +1 1 1 1 1 1 0 1 0 0 1 1 1 0 1 +0 1 0 0 1 0 1 1 1 0 1 0 0 0 1 +0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 +0 1 0 0 1 1 1 1 1 1 1 0 1 1 1 +1 1 0 0 0 1 0 0 1 0 1 0 0 1 0 +0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 +0 1 1 1 1 0 1 1 1 0 0 1 1 0 1 + +1 1 0 0 0 0 0 0 1 1 0 1 0 1 0 +1 0 1 0 0 0 0 1 1 0 1 1 1 0 1 +1 0 1 1 1 0 1 1 0 0 1 1 0 0 0 +1 0 0 1 0 0 1 1 1 1 0 0 1 0 1 +0 1 1 1 0 1 0 0 0 0 1 0 1 1 0 +1 0 0 0 1 0 1 0 0 1 1 1 0 0 1 +1 0 0 0 0 0 0 1 0 1 1 0 1 1 1 +0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 +0 0 1 0 1 0 0 1 0 0 0 0 1 1 1 +1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 +0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 +1 1 0 1 0 0 0 1 1 0 0 1 0 1 0 +0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 +1 0 1 1 0 0 1 1 0 1 1 0 0 0 0 +0 1 1 0 1 1 1 0 0 0 1 0 0 1 0 + +1 0 0 0 1 1 1 1 1 0 1 1 1 1 0 +1 0 0 0 1 0 1 1 1 0 1 0 1 1 0 +0 1 1 0 1 0 1 1 1 0 0 0 1 1 0 +1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 +1 1 1 0 0 1 1 0 1 1 0 0 0 1 1 +1 1 1 1 0 0 0 0 0 1 1 0 1 1 0 +0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 +0 0 0 1 1 0 1 0 0 1 1 1 1 0 0 +1 0 1 0 0 0 0 1 1 0 1 1 1 1 1 +1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 +1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 +1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 +1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 +0 0 0 0 1 1 0 0 1 1 1 0 1 1 1 +0 1 0 1 1 0 0 1 0 1 1 1 1 0 0 + +1 0 0 0 1 0 0 1 1 1 0 0 1 1 0 +0 0 1 0 1 0 0 0 0 1 0 1 0 1 1 +0 0 1 0 1 1 0 1 1 1 1 1 1 1 1 +1 0 1 1 1 1 1 0 1 0 1 1 0 0 0 +1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 +1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 +1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 +1 1 0 1 0 0 0 0 0 0 1 0 0 1 0 +1 1 1 1 1 0 1 0 1 1 0 0 1 1 0 +0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 +1 1 0 1 1 0 1 0 0 0 1 1 0 1 1 +0 1 0 1 1 0 0 1 0 0 0 1 0 0 1 +1 1 1 1 0 0 1 1 0 0 0 1 0 1 0 +0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 +0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 + +1 0 0 1 1 0 0 1 0 1 1 0 1 1 1 +1 1 1 0 1 1 1 0 1 0 1 0 1 1 0 +0 0 0 0 0 1 1 0 1 1 1 1 0 1 0 +1 0 1 1 0 0 1 1 1 0 1 1 0 1 0 +1 0 1 1 0 1 1 0 0 0 0 0 0 1 1 +1 0 0 0 1 1 0 0 0 1 0 1 1 1 0 +1 0 0 0 0 1 1 0 0 0 1 0 0 1 1 +0 1 1 1 1 1 0 1 0 1 1 0 1 0 1 +1 0 0 1 0 0 1 0 1 0 0 0 1 1 0 +1 1 1 1 1 1 0 0 0 0 1 0 0 0 1 +1 0 1 0 0 0 0 1 1 0 0 0 1 1 1 +1 1 1 1 1 0 0 1 1 0 1 0 0 1 1 +0 0 0 1 1 1 1 0 0 0 1 1 1 0 0 +0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 +1 1 0 0 0 0 0 1 1 1 1 1 0 1 1 +