gwft := [[0, 1, 2, 0, 2, 1, 2, 0, 1, 2, 1, 0, 1, 2, 0, 1, 0, 2, 0, 1, 2, 1, 0, 2, 1, 2, 0, 2, 1, 0], [0, 1, 2, 1, 0, 2, 1, 2, 0, 2, 1, 0, 2, 0, 1, 0, 2, 1, 0, 1, 2, 0, 2, 1, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 1, 2, 0, 2, 1, 0, 2, 0, 1, 0, 2, 1, 0, 1, 2, 0, 1, 0, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 1, 2, 0, 1, 0, 2, 0, 1, 2, 0, 2, 1, 0, 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, 1, 0, 2, 1, 2, 0, 1, 0, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 1, 2, 0, 1, 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, 2, 0, 1, 2, 1, 0, 2, 1, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 1, 2, 0, 1, 0, 2, 0, 1, 2, 1, 0, 1, 2, 0, 1, 0, 2, 1, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 1, 2, 0, 1, 0, 2, 1, 0, 1, 2, 1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 1, 2, 1, 0], [0, 1, 2, 0, 2, 1, 0, 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, 2, 1, 0, 2, 0, 1, 0, 2, 1, 0, 1, 2, 1, 0, 2, 1, 2, 0, 2, 1, 0], [0, 1, 2, 1, 0, 2, 0, 1, 0, 2, 1, 0, 1, 2, 0, 2, 1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 1, 2, 1, 0], [0, 1, 2, 0, 2, 1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 1, 2, 1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 2, 1, 0], [0, 1, 2, 1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 1, 2, 1, 0, 2, 0, 1, 2, 0, 2, 1, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 0, 1, 0, 2, 1, 0, 1, 2, 0, 1, 0, 2, 0, 1, 2, 0, 2, 1, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 1, 2, 0, 2, 1, 0, 1, 2, 0, 1, 0, 2, 0, 1, 2, 0, 2, 1, 2, 0, 1, 2, 1, 0], [0, 1, 2, 0, 2, 1, 2, 0, 1, 0, 2, 0, 1, 2, 1, 0, 2, 1, 2, 0, 1, 0, 2, 0, 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, 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, 1, 2, 1, 0, 2, 0, 1, 2, 0, 2, 1, 0], [0, 1, 2, 0, 2, 1, 0, 2, 0, 1, 0, 2, 1, 2, 0, 2, 1, 0, 1, 2, 1, 0, 2, 0, 1, 2, 0, 2, 1, 0]]: rw := [10, 15, 14, 11, 13, 6, 5, 8, 7, 18, 0, 3, 16, 4, 2, 1, 12, 19, 9, 17]: acw2 := [[0, 9], [0, 10], [0, 16], [0, 17], [0, 18], [1, 2], [1, 4], [1, 5], [1, 6], [1, 8], [1, 11], [1, 13], [1, 14], [1, 15], [2, 3], [2, 4], [2, 5], [2, 6], [2, 8], [2, 11], [2, 13], [2, 14], [2, 15], [3, 4], [3, 6], [3, 8], [3, 11], [3, 13], [3, 14], [3, 15], [4, 5], [4, 6], [4, 8], [4, 11], [4, 13], [4, 14], [4, 15], [5, 6], [5, 8], [5, 11], [5, 13], [5, 14], [5, 15], [6, 7], [6, 13], [6, 14], [6, 15], [7, 8], [7, 11], [7, 13], [7, 14], [7, 15], [9, 10], [9, 12], [9, 16], [9, 17], [9, 18], [9, 19], [10, 12], [10, 18], [10, 19], [11, 13], [11, 14], [12, 16], [12, 17], [12, 18], [13, 14], [13, 15], [14, 15], [16, 18], [16, 19], [17, 18], [17, 19], [18, 19]]: acw3 := [[0, 9, 10], [0, 9, 16], [0, 9, 17], [0, 9, 18], [0, 10, 18], [0, 16, 18], [0, 17, 18], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 2, 8], [1, 2, 11], [1, 2, 13], [1, 2, 14], [1, 2, 15], [1, 4, 5], [1, 4, 6], [1, 4, 8], [1, 4, 11], [1, 4, 13], [1, 4, 14], [1, 4, 15], [1, 5, 6], [1, 5, 8], [1, 5, 11], [1, 5, 13], [1, 5, 14], [1, 5, 15], [1, 6, 13], [1, 6, 14], [1, 6, 15], [1, 11, 13], [1, 11, 14], [1, 13, 14], [1, 13, 15], [1, 14, 15], [2, 3, 4], [2, 3, 6], [2, 3, 8], [2, 3, 11], [2, 3, 13], [2, 3, 14], [2, 3, 15], [2, 4, 5], [2, 4, 6], [2, 4, 8], [2, 4, 11], [2, 4, 13], [2, 4, 14], [2, 4, 15], [2, 5, 6], [2, 5, 8], [2, 5, 11], [2, 5, 13], [2, 5, 14], [2, 5, 15], [2, 6, 13], [2, 6, 14], [2, 6, 15], [2, 11, 13], [2, 11, 14], [2, 13, 14], [2, 13, 15], [2, 14, 15], [3, 4, 6], [3, 4, 8], [3, 4, 11], [3, 4, 13], [3, 4, 14], [3, 4, 15], [3, 6, 13], [3, 6, 14], [3, 6, 15], [3, 11, 13], [3, 11, 14], [3, 13, 14], [3, 13, 15], [3, 14, 15], [4, 5, 6], [4, 5, 8], [4, 5, 11], [4, 5, 13], [4, 5, 14], [4, 5, 15], [4, 6, 13], [4, 6, 14], [4, 6, 15], [4, 11, 13], [4, 11, 14], [4, 13, 14], [4, 13, 15], [4, 14, 15], [5, 6, 13], [5, 6, 14], [5, 6, 15], [5, 11, 13], [5, 11, 14], [5, 13, 14], [5, 13, 15], [5, 14, 15], [6, 7, 13], [6, 7, 14], [6, 7, 15], [6, 13, 14], [6, 13, 15], [6, 14, 15], [7, 11, 13], [7, 11, 14], [7, 13, 14], [7, 13, 15], [7, 14, 15], [9, 10, 12], [9, 10, 18], [9, 10, 19], [9, 12, 16], [9, 12, 17], [9, 12, 18], [9, 16, 18], [9, 16, 19], [9, 17, 18], [9, 17, 19], [9, 18, 19], [10, 12, 18], [10, 18, 19], [11, 13, 14], [12, 16, 18], [12, 17, 18], [13, 14, 15], [16, 18, 19], [17, 18, 19]]: mts := [[[0, 1, 2, 1, 0, 2, 1, 2, 0, 2, 1, 0, 2, 0, 1, 0, 2, 1, 0, 1, 2, 0, 2, 1, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 1, 2, 0, 2, 1, 0, 2, 0, 1, 0, 2, 1, 0, 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, 1, 0, 2, 1, 2, 0, 1, 0, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 1, 2, 0, 1, 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, 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, 1, 2, 1, 0, 2, 0, 1, 2, 0, 2, 1, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 0, 1, 0, 2, 1, 0, 1, 2, 0, 1, 0, 2, 0, 1, 2, 0, 2, 1, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 1, 2, 0, 2, 1, 0, 1, 2, 0, 1, 0, 2, 0, 1, 2, 0, 2, 1, 2, 0, 1, 2, 1, 0]]]: grimm_mts := [[[0, 1, 2, 1, 0, 2, 1, 2, 0, 2, 1, 0, 2, 0, 1, 0, 2, 1, 0, 1, 2, 0, 2, 1, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 1, 2, 0, 2, 1, 0, 2, 0, 1, 0, 2, 1, 0, 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, 1, 0, 2, 1, 2, 0, 1, 0, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 1, 2, 0, 1, 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, 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, 1, 2, 1, 0, 2, 0, 1, 2, 0, 2, 1, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 0, 1, 0, 2, 1, 0, 1, 2, 0, 1, 0, 2, 0, 1, 2, 0, 2, 1, 2, 0, 1, 2, 1, 0], [0, 1, 2, 1, 0, 2, 1, 2, 0, 2, 1, 0, 1, 2, 0, 1, 0, 2, 0, 1, 2, 0, 2, 1, 2, 0, 1, 2, 1, 0]]]: