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