gwft := [[0, 1, 2, 1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 1, 2, 1, 0, 2, 1, 2, 0, 1, 0, 
2, 0, 1, 2, 1, 0], [0, 1, 2, 0, 2, 1, 2, 0, 1, 0, 2, 0, 1, 2, 0, 2, 1, 0, 2, 0, 
1, 0, 2, 1, 2, 0, 2, 1, 0], [0, 1, 2, 0, 2, 1, 2, 0, 1, 2, 1, 0, 1, 2, 0, 2, 1, 
0, 1, 2, 1, 0, 2, 1, 2, 0, 2, 1, 0], [0, 1, 2, 1, 0, 2, 1, 2, 0, 1, 2, 1, 0, 2, 
0, 1, 0, 2, 1, 2, 0, 1, 0, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 1, 2, 0, 1, 0, 
2, 1, 0, 1, 2, 0, 2, 1, 2, 0, 1, 0, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 1, 2, 
0, 2, 1, 0, 2, 0, 1, 2, 0, 2, 1, 2, 0, 1, 0, 2, 0, 1, 2, 1, 0], [0, 1, 2, 0, 2, 
1, 2, 0, 1, 0, 2, 0, 1, 2, 1, 0, 1, 2, 0, 1, 0, 2, 0, 1, 2, 0, 2, 1, 0], [0, 1, 
2, 0, 2, 1, 2, 0, 1, 0, 2, 1, 2, 0, 2, 1, 0, 1, 2, 1, 0, 2, 0, 1, 2, 0, 2, 1, 
0], [0, 1, 2, 1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 2, 1, 0, 1, 2, 0, 1, 0, 2, 1, 2, 0, 
1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 1, 0, 2, 0, 1, 2, 1, 0, 2, 
1, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 2, 1, 0, 2, 0, 1, 
2, 0, 2, 1, 2, 0, 1, 2, 1, 0], [0, 1, 2, 0, 2, 1, 2, 0, 1, 2, 1, 0, 1, 2, 0, 2, 
1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 2, 1, 0], [0, 1, 2, 0, 2, 1, 0, 2, 0, 1, 0, 2, 1, 
0, 1, 2, 1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 2, 1, 0], [0, 1, 2, 0, 2, 1, 0, 2, 0, 1, 
2, 1, 0, 1, 2, 0, 2, 1, 2, 0, 1, 0, 2, 1, 2, 0, 2, 1, 0], [0, 1, 2, 0, 2, 1, 2, 
0, 1, 0, 2, 0, 1, 2, 0, 2, 1, 0, 1, 2, 1, 0, 2, 1, 2, 0, 2, 1, 0]]:
rw := [0, 1, 2, 9, 8, 10, 12, 13, 4, 3, 5, 14, 6, 7, 11]:
acw2 := [[0, 3], [0, 5], [0, 9], [0, 10], [1, 2], [1, 6], [1, 7], [1, 11], [1, 
12], [1, 13], [1, 14], [2, 7], [2, 11], [2, 13], [2, 14], [3, 4], [3, 5], [3, 
8], [3, 9], [3, 10], [4, 5], [4, 8], [4, 9], [4, 10], [5, 8], [5, 9], [5, 10], 
[6, 7], [6, 12], [6, 14], [7, 11], [7, 13], [7, 14], [8, 9], [8, 10], [9, 10], 
[11, 12], [11, 13], [11, 14], [12, 13], [13, 14]]:
acw3 := [[0, 3, 5], [0, 3, 9], [0, 3, 10], [0, 5, 9], [0, 5, 10], [0, 9, 10], 
[1, 2, 7], [1, 2, 11], [1, 2, 13], [1, 2, 14], [1, 6, 7], [1, 6, 12], [1, 6, 
14], [1, 7, 11], [1, 7, 13], [1, 7, 14], [1, 11, 12], [1, 11, 13], [1, 11, 14], 
[1, 12, 13], [1, 13, 14], [2, 7, 11], [2, 7, 13], [2, 7, 14], [2, 11, 13], [2, 
11, 14], [2, 13, 14], [3, 4, 5], [3, 4, 8], [3, 4, 9], [3, 4, 10], [3, 5, 8], 
[3, 5, 9], [3, 5, 10], [3, 8, 9], [3, 8, 10], [3, 9, 10], [4, 5, 8], [4, 5, 9], 
[4, 5, 10], [4, 8, 9], [4, 8, 10], [4, 9, 10], [5, 8, 9], [5, 8, 10], [5, 9, 
10], [6, 7, 14], [7, 11, 13], [7, 11, 14], [7, 13, 14], [8, 9, 10], [11, 12, 
13], [11, 13, 14]]:
mts := [[[0, 1, 2, 0, 2, 1, 2, 0, 1, 0, 2, 0, 1, 2, 0, 2, 1, 0, 2, 0, 1, 0, 2, 
1, 2, 0, 2, 1, 0], [0, 1, 2, 0, 2, 1, 2, 0, 1, 2, 1, 0, 1, 2, 0, 2, 1, 0, 1, 2, 
1, 0, 2, 1, 2, 0, 2, 1, 0], [0, 1, 2, 0, 2, 1, 2, 0, 1, 0, 2, 1, 2, 0, 2, 1, 0, 
1, 2, 1, 0, 2, 0, 1, 2, 0, 2, 1, 0], [0, 1, 2, 0, 2, 1, 2, 0, 1, 2, 1, 0, 1, 2, 
0, 2, 1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 2, 1, 0], [0, 1, 2, 0, 2, 1, 0, 2, 0, 1, 2, 
1, 0, 1, 2, 0, 2, 1, 2, 0, 1, 0, 2, 1, 2, 0, 2, 1, 0], [0, 1, 2, 0, 2, 1, 2, 0, 
1, 0, 2, 0, 1, 2, 0, 2, 1, 0, 1, 2, 1, 0, 2, 1, 2, 0, 2, 1, 0]], [[0, 1, 2, 1, 
0, 2, 1, 2, 0, 1, 2, 1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 1, 0, 2, 0, 1, 2, 1, 0], [0, 
1, 2, 1, 0, 2, 1, 2, 0, 1, 0, 2, 1, 0, 1, 2, 0, 2, 1, 2, 0, 1, 0, 2, 0, 1, 2, 
1, 0], [0, 1, 2, 1, 0, 2, 1, 2, 0, 2, 1, 0, 2, 0, 1, 2, 0, 2, 1, 2, 0, 1, 0, 2, 
0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 2, 1, 0, 1, 2, 0, 1, 0, 
2, 1, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 1, 0, 2, 0, 1, 
2, 1, 0, 2, 1, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 2, 1, 
0, 2, 0, 1, 2, 0, 2, 1, 2, 0, 1, 2, 1, 0]]]:
grimm_mts := [[[0, 1, 2, 0, 2, 1, 2, 0, 1, 0, 2, 0, 1, 2, 0, 2, 1, 0, 2, 0, 1, 
0, 2, 1, 2, 0, 2, 1, 0], [0, 1, 2, 0, 2, 1, 2, 0, 1, 2, 1, 0, 1, 2, 0, 2, 1, 0, 
1, 2, 1, 0, 2, 1, 2, 0, 2, 1, 0], [0, 1, 2, 0, 2, 1, 2, 0, 1, 0, 2, 1, 2, 0, 2, 
1, 0, 1, 2, 1, 0, 2, 0, 1, 2, 0, 2, 1, 0], [0, 1, 2, 0, 2, 1, 2, 0, 1, 2, 1, 0, 
1, 2, 0, 2, 1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 2, 1, 0], [0, 1, 2, 0, 2, 1, 0, 2, 0, 
1, 2, 1, 0, 1, 2, 0, 2, 1, 2, 0, 1, 0, 2, 1, 2, 0, 2, 1, 0], [0, 1, 2, 0, 2, 1, 
2, 0, 1, 0, 2, 0, 1, 2, 0, 2, 1, 0, 1, 2, 1, 0, 2, 1, 2, 0, 2, 1, 0]], [[0, 1, 
2, 1, 0, 2, 1, 2, 0, 1, 2, 1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 1, 0, 2, 0, 1, 2, 1, 
0], [0, 1, 2, 1, 0, 2, 1, 2, 0, 1, 0, 2, 1, 0, 1, 2, 0, 2, 1, 2, 0, 1, 0, 2, 0, 
1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 1, 2, 0, 2, 1, 0, 2, 0, 1, 2, 0, 2, 1, 2, 0, 1, 
0, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 2, 1, 0, 1, 2, 0, 
1, 0, 2, 1, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 1, 0, 2, 
0, 1, 2, 1, 0, 2, 1, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 
2, 1, 0, 2, 0, 1, 2, 0, 2, 1, 2, 0, 1, 2, 1, 0]]]: