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