Add n = 54 and n = 56 walls

2 files changed, 57 insertions, 0 deletions

diff --git a/data/mauer54.txt b/data/mauer54.txt
new file mode 100644
index 0000000..1369960
--- /dev/null
+++ b/data/mauer54.txt
@@ -0,0 +1,28 @@
+ 1 29 44 12 49  6 51 14 34 28 25 19 53  5 43 16 35 30 17 20 46 26 23 37 24  4 52 31 22 36  8 54  9 41 15 45 33  7 47 21 38  2 40  3 50 13 48 32 18 39 10 11 42 27 
+11 39 15 47  1 40 30 29 27 32 17 42 13 44  8 45 35  9 49  2 51 16 36 12 48 22 25 28 33 14 50  3 52  6 41 21 26 37 24 20 43 34  5 54  7 23 10 46 53  4 38 31 18 19 
+12 40  9 43 13 28 49 11 51  2 41 21 35 23 26 37 17 18 46 24 47  3 34 30 20 45  6 50 10 44 27 15 22 31 53  4 33 32 16 25 48  1 52 29 36 14 42  5 54  8 39 38 19  7 
+13 41  6 38 27 34 21 36 15 45 10 46  8 50 20 25 26 37 11 52  1 53  7 43 14 44  9 17 51 28 31 19 33 29 18 48  5 54 22  2 39  4 49 32 42 30 24 23 12 47 16 40 35  3 
+14 42  3 30 47 12 40 19 35 24 29 31 20 37 17 45  1 39 49  4 44 18 33 21 28 36 34 16 46  5 48  2 54 10 43 13 38 22 53  9 23 50  7 15 32 52  8 41 25 51 26 27  6 11 
+15 40  2 35 48  7 44 13 39 22 37 17 29 34 19 42  8 52 16 28 25 41  4 54 21 20 43  5 38 32 11 47 18 49 23 12 50 10 24 36 27 26 30 31 46  1 53  6 33 51  9  3 45 14 
+16 37  5 32 44 15 38 21 40 12 43  6 53 10 39 19 33 29 23 41 13 45  2 51 11 48  7 52 18 22 25 35 30 24 27 31 42  9 14 28 54 20 46  8 26 17 49  4 34  3 50  1 36 47 
+17 34 11 44 22 27 31 14 46  8 52 10 41 18 32 29 21 40 15 47  5 48  6 54  1 38 26 49 19 24  9 51  7 36 50  3 39  4 53 28 16 42 33 12 35 45  2 43 30 37 25 20 23 13 
+ 6 34 33 29 17 48  5 52  1 37 49  3 45  2 54 12 51  4 42 20 39 14 44  8 41  7 43 35 18 40 15 50 21 19 22 47  9 38 23 31 46 24 25 16 10 13 53 36 30 32 27 26 11 28 
+20 25 23 42  5 46 17 41 18 33 21 34 22 19 53  7 54  1 47  9 38 30 24 32 35 10 45 15 49  2 43 26 16 44  8 40 36 13 27 31 48 11 37 51  3 50 12 39 14  6 52 29 28  4 
+18 31 14 46  9 50  1 42 25 36 15 44 11 49  3 28 52 12 32 34 19 38 27 17 33 35 26 20 45  6 53  4 47  2 43 29 16 54 10 30  8 51 22 48  5 37 39  7 23 41 40 13 24 21 
+26  7 47 16 30 32 19 43  9 48 13 37 18 41 12 49  5 53  8 42  3 23 54 22 31 27 24 39 14 52 10 29 33 11 38 40 20  6 51 36 15 25 21  4 50 45 34 28  1 35 46 17 44  2 
+ 4 32 45 14 35 22 37 10 52  8 39 23 43  7 38 24 27 11 54 18 48  1 50  9 42 15 33 36 13 41 16 21 46 20 30 34 44  5 26 47  3 51 28  6 19 53 31 25 29 12 17  2 49 40 
+23 16 36 26 20 43  9 50  3 52  5 30 54  2 47  4 48 19 33  7 53 21 31 12 45 18 39 24 25  6 51 32 13 38 28 10 49 41  8 44 11 29 14 17 40 27 46 22 37 15 35 42 34  1 
+ 2 30 46 21 25 36 16 45  7 51  3 53 15 29 27 28 22 43 31 10 33 35 13 47  6 50  4 41 38 17 39 11 54  1 32 52  8 34 12 49 19  5 48 42 20 14 18 37 40 26 24 23 44  9 
+ 7 35 41 10 38 20 33 26 28 31 23 36 16 24 50  6 43 22 34 27 37 11 39 18 29 30 42  3 40 47  9 45  5 48  4 46 15 51 25  1 53 13 54  2 14 52  8 44 19 32 49 17 21 12 
+21 22 26 39  8 49  6 47 12 50  1 53  4 51 14 41  9 48  3 44 42  5 36 27 23 38 16 13 54 20 34 24 28 37 25 30 29 17 32 43 18 31 52 45  2 15 33 11 40 35  7 46 19 10 
+27  4 45 24 23 39 13 26 44 18 34 25 32 22 36 20 30 31 21 40 11 46  9 50  5 47 12 48  1 51 19 37 17 42 28 14 35  6 54 10 49  8 15 53 33 43 29  3 52  7  2 38 41 16 
+ 5 33 39  8 48 11 51  2 52  4 47  7 53 13 35 23 34 26 25 37 14 43 15 44 32  3 49 12 29 42  1 54 10 50 17 27 40 18 30 41  6 45 24 38 19 16 31 46 20  9 28 36 21 22 
+10 38 18 45  3 43 24 33 20 40 11 48  6 49  9 51  2 46 14 50  8 17 54 13 42 19 23 44  4 27 53 12 34 31  7 36 52 15 21 35 39 16 28 30 32  5 29 47 37 41 22  1 26 25 
+19 28 17 24 50  4 51 10 47  2 52 14 33 30 21 40 13 45  6 39 29 32 22 34 15 53  8 41  9 54  3 42 25 35  5 49  1  7 48 46 26 44 12 43 11 23 27 38 16 37 20 31 36 18 
+ 3 31 48 12 33 29 23 38 16 42  9 52  1 47 15 50 10 36 13 28 43 20 46  2 53  5 37 30 17 54 14 25 27 34 32 11 24 51 18 40 19 21 45  7 35 22  6 26  4 49 44 39  8 41 
+25 10 49  7 41 18 35 24 32 26 27 30 28 33 11 42 31  3 54 16 36 29 17 40 19 34 37  8 47  4 48 20 23 46 12 53  2 43 38  6 13 39  1 52 51 21 44  9 50 14 45 22  5 15 
+ 8 36 27 34 15 46  4 45 17 23 53  9 39  7 54  6 47 18 41 12 35 28 19 25 51 11 40 21 37 13 30 44 26 16 42  2 52  1 50 29 14 49 22  3 48 38 20 43 10 32 33  5 24 31 
+ 9 37 21 20 50  2 51  8 49 14 35 27 26 31 25 32 36 10 38 30 15 22 52 16 46  1 54  7 33 29 40  6 41 23 44 19 39  3 47 17 42  4 45 11 34 24 28 12 13 53 48 18 43  5 
+22 19 29 37 36  3 50  6 42 20 46  5 38 24 44  4 52  2 53  7 45 10 40 25 26 31 28 32 11 23 39 43  1 49 14 13 54 35 27 12 34 41 33  9 18 47 17 51 15 21 30 48 16  8 
+28  1 43 31 19 41 11 48  5 30 44  4 53 16 40 14 38 24 27 32 21 49  8 39 10 51  2 29 46 23 12 26 52  3 54 18 22 45 33  7 37 35  9 36 47 25 20 34 15 42 13 50 17  6 
+24 13 42 18 32 25 28 31 22 38 16 40 12 51  1 46 15 48  5 50  6 26 54  3 49 14 52  2 53  7 35 21 39  8 45 17 20 37 19 11 47 44 23 36  9 41 27 43 10 34 29 33  4 30
diff --git a/data/mauer56.txt b/data/mauer56.txt
new file mode 100644
index 0000000..2675e0e
--- /dev/null
+++ b/data/mauer56.txt
@@ -0,0 +1,29 @@
+ 1 30 45 32 18 23 48 16 34 29 28 17 50 19 31 35 15 51 33  4 40 26 22 43  2 24 52 36  8 56 12 10 55 27 37 14 44 20 46  5 47 21 13 54  9 38 41  3 39 49 11 53  7 25 42  6 
+11 40 14 46 10 49  8 52  7 53  1 35 41  9 55 12 37  6 56 23 28 39 13 50  3 42 22 44 15 43 17 45 21 24 29 26 27 48  2 51 25 20 31 36 33  5 54 47 16 30 18 19 38 34 32  4 
+12 41 11 45 14 51  1 33 42 24 31 18 46 20 37 22 36 21 30 39 15  9 56 29 23 38 10 26 55 13 49  4 54  6 52 19 34  5 53  3 48 50 17 16 35  7 47 28 44 40  2 43 27  8 25 32 
+25 13 47 11 41 20 32 31 24 38 16 43 14 26 44 27 21 45  9 53  1 48 15 52  4 51 18 30 23 35 37 17 22 46 33  7 55  8 50  2 34 54  6 56 28 19  3 36 42 29 40  5 39 12 10 49 
+14 43  2 35 50  7 45 19 37 11 52 15 38 23 28 31 44  5 46 16 41 21 47  1 54  6 48 13 51  4 53  8 33 40  9 55 10 39 12 42 18 27 36 26 22 25 49 17 24 32 56  3 30 29 34 20 
+15 43  3 39 34 26 30 32 20 42 13 48  8 53  5 50 24 19 33 36 40  1 49 11 38 29 23 45  2 54  7 52 12 55 16 17 44 10 31 47  9 46 22 27 35 41  4 51  6 56 21 18 37 28 25 14 
+16 40  6 42 25 39 19 36 26 30 20 44 11 51  2 52  9 53 15 35 17 47  5 29 55  8 46 12 43 18 28 41 24 31 22 54 13 21 27 37 10 56  3 50 23 32 34 45  4 48 14 49 33 38  7  1 
+17 37  9 29 53  2 54  4 55  8 43 22 31 35 13 48 10 49  6 38 34 33 18 41 14 50  5 56 15 23 25 42 16 51 28  1 32 30 52 11 40  7 45 44  3 47 24 27 12 36 20 39 19 46 21 26 
+23 19 33 31 22 41 10 46 15 45  9 53  5 27 48 20 30 13 56 11 47 16 36 28 26 37 12 51  3 54  6 49 32 14 35 24 34 29 17 55  8 38 39 42 18  1 21 40 25 50  4  7  2 52 44 43 
+20 28 21 22 52  9 50  2  6 54 49 16 34 30 25 15 56  8 47 18 32 37 11 38 27 39 19 40 10 26 44 29 43  1 48 23 33 36  7 53 31 12 45  4 55 13 14 51 35 17  5  3 46 41 42 24 
+26 10 50  9 43 18 36 14 49  6 55 12 54  1 56  2 42 23 34 27 41  4 53 16 32 25 28 35 17 48  5 52 11 44 20 33 21 47  3 24 51 30 19 45 15 39 38  8 46 13 40 29 37 31 22  7 
+13 42  5 38 35 28 25 41 18 36 21 37 17 47  7 53  3 46 20 43 12 50  6 48 10 55  4 56 22  1 54 14 32 34 19 49  2 52 15 51 23 11 39 30 24 31 29 26 40  8  9 44 33 27 16 45 
+ 4 33 50  6 48 12 42 21 35 22 34 28 24 39 17 38 26 29 25 44  7 52  3 55  8 53 27  9 32 40 11 56  1 15 49 41 13  5 54 43 23 16 37 18 51 20 46 19 30 31 14 45 10 47 36  2 
+18 34 15 49  1 38 43 14 54  3 41 10 55 11 46  8 47 16 40 21 37 20 45  7 48 13 36 28 27 30 31 26 50  2 35 29 42  9 56  4 53 17 32 12 25 19 52 33 22 23 39 44 24 51  6  5 
+ 2 31 47  8 51 15 40 23 29 32 25 33 21 45  6 54  5 49  7 35 42 24 28 34 19 44 14 39 18 41 38  3 46  4 56 22 43 11 30 55  9 27 16 53 37 10 17 52 26 12 50 36 48  1 20 13 
+ 9 38 32 24 29 31 21 44 10 48 15 39 18 43 12 45 11 51  4 55  6 26 46 25 22 41 16 42 14 53  8 40 19 37 13 23 47 35 36 17 49  2 52  1 20 34 56  7 54 27 30 28 33  3  5 50 
+ 8 37 25 20 52  4 53 12 54  2 55  3 40 13 50 18 29 36 27 30 24 42  7 23 56 15 49  5 47 14 46 10 44  6 45 39 19 32 22 33 26 28 35 21 38 34 16  9 31  1 48 43 17 51 11 41 
+27  7 48 19 30 34 16 51  3 45 26 32 42  4 40 25 33 28 24 38 35  9 44 18 49  1 47 21 31 29 36 13 37 41 10 46 11 54 12 39 43  6 50  5 56  2 55 14 23 53 20  8 17 52 15 22 
+ 5 34 44 16 36 24 29 33 22 40 12 51  4 47 38  7 39 26 32 31 20 43 17 37 35 11 52  1 48 19 42  9 56  3 53  6 50 14 25 41 15 30 55 10 28 49  2 54 18 21 45 27 13 46  8 23 
+29  1 44 33 17 26 53  4 46 19 37 25 36 18 41 16 43 13 50  3 51 14 34 35 20 42  2 24 56 27 39  5 48 15 45  9 49  6 47 21 28 52  8 32  7 40 23 55 11 38 54 31 10 22 30 12 
+10 39 17 48  5 45 27 28 38 14 47  6 53  8 49  3 54  4 52 13 55  2 51  9 46  7 43 22 33 32 16 56 11 26 25 50 12 44 19  1 40 42 18 41 31 30 20 37 21 36 24 35 23 34 29 15 
+ 3 32 49 13 39 22 35 25 30 27 33 29 23 36 21 40 19 37 17 46 10 52  8 51 12 34 38  7 56  2 45 18 20 47 28 31 41  4 43 14 44  5 54 11 55 48  1 53 15  6 42 50 24 16 26  9 
+19 31 18 47  3 44 23 39 17 46  6 51  7 49  9 55  1 52 11 54 14 30 25 10 56 20 40 16 37 24 21 50  2 53  5 48 15 45 32 22 29 34 26  8 43 27 42  4 41 38 33 13 12 36 35 28 
+21 23 27 42  7 46 17 48  5 52  4 39 35 26 24 22 55  3 54  2  1 56 53 13 36 31 30 25 34  6 51 28 43  8 38 20 40 16 37 45 10 41 29 14 44 12 33 19 50 11 32 15 47 49  9 18 
+22 24 26 40 15 44 11 47 27  2 54 20 30 32 29 28 23 41 14 49  5 45 31 17 39 33  9 50 19 36 25 34  7 56 12 38  3 51 42  6 46  1 55 37  8 52 10 35 13 53 48 18 16 43  4 21 
+ 6 35 36 12 51  8 52  9 50 11 44  5 54 14 33 16 56 10 39 25 29 32 31 21 40 17 47  4 55  3 38 30 27 42  7 53 18 23 48 13 20 49 24  2 46 45 22 15 43 28 26  1 37 41 34 19 
+28  4 46 27 20 47  5 49 13 50  7 52  1 55 10 41 17 42 12 43 22 19 45 30 33 21 32 29 24 34 26 31 23 39 25 36  8 51 18 38 35 15 14 48 16 56  6 44  9 54 37 11  2 40 53  3 
+ 7 36 30 37 12 51  3 38 40  8 55 10 45  2 56 14 34 31 22 18 54 19 27 44  6 15 53 41 11 50 20 21 39 16 52  4 42 26 28 24  1 49 33 43 13 47 46  5 29 25 35 48  9 32 23 17 
+24 16 41 21 28 37 13 53  1 43 23 42 19 34 27 32 44  2 48  8 50 12 49  5 54  3 45 20 46  9 33 35 36 17 18 30 40 38 25 29  7 55  4 56 26 11 15 52 22 51 47 31 39 14  6 10