[(1, 0), (1, 1), (0, 1), (0, 0)]
[(1, 2), (1, 3), (0, 3), (0, 2)]
[(1, 4), (1, 5), (0, 5), (0, 4)]
[(1, 6), (1, 7), (0, 7), (0, 6)]
[(1, 8), (1, 9), (0, 9), (0, 8)]
[(1, a), (1, b), (0, b), (0, a)]
[(1, c), (1, d), (0, d), (0, c)]
[(1, e), (1, f), (0, f), (0, e)]
[(2, 0), (2, 2), (0, 2), (0, 0)]
[(2, 0), (2, 3), (1, 3), (1, 0)]
[(2, 1), (2, 3), (0, 3), (0, 1)]
[(2, 1), (2, 2), (1, 2), (1, 1)]
[(2, 4), (2, 6), (0, 6), (0, 4)]
[(2, 4), (2, 7), (1, 7), (1, 4)]
[(2, 5), (2, 7), (0, 7), (0, 5)]
[(2, 5), (2, 6), (1, 6), (1, 5)]
[(2, 8), (2, a), (0, a), (0, 8)]
[(2, 8), (2, b), (1, b), (1, 8)]
[(2, 9), (2, b), (0, b), (0, 9)]
[(2, 9), (2, a), (1, a), (1, 9)]
[(2, c), (2, e), (0, e), (0, c)]
[(2, c), (2, f), (1, f), (1, c)]
[(2, d), (2, f), (0, f), (0, d)]
[(2, d), (2, e), (1, e), (1, d)]
[(3, 0), (3, 3), (0, 3), (0, 0)]
[(3, 0), (3, 2), (1, 2), (1, 0)]
[(3, 0), (3, 1), (2, 1), (2, 0)]
[(3, 1), (3, 2), (0, 2), (0, 1)]
[(3, 1), (3, 3), (1, 3), (1, 1)]
[(3, 2), (3, 3), (2, 3), (2, 2)]
[(3, 4), (3, 7), (0, 7), (0, 4)]
[(3, 4), (3, 6), (1, 6), (1, 4)]
[(3, 4), (3, 5), (2, 5), (2, 4)]
[(3, 5), (3, 6), (0, 6), (0, 5)]
[(3, 5), (3, 7), (1, 7), (1, 5)]
[(3, 6), (3, 7), (2, 7), (2, 6)]
[(3, 8), (3, b), (0, b), (0, 8)]
[(3, 8), (3, a), (1, a), (1, 8)]
[(3, 8), (3, 9), (2, 9), (2, 8)]
[(3, 9), (3, a), (0, a), (0, 9)]
[(3, 9), (3, b), (1, b), (1, 9)]
[(3, a), (3, b), (2, b), (2, a)]
[(3, c), (3, f), (0, f), (0, c)]
[(3, c), (3, e), (1, e), (1, c)]
[(3, c), (3, d), (2, d), (2, c)]
[(3, d), (3, e), (0, e), (0, d)]
[(3, d), (3, f), (1, f), (1, d)]
[(3, e), (3, f), (2, f), (2, e)]
[(4, 0), (4, 4), (0, 4), (0, 0)]
[(4, 0), (4, 5), (1, 5), (1, 0)]
[(4, 0), (4, 6), (2, 6), (2, 0)]
[(4, 0), (4, 7), (3, 7), (3, 0)]
[(4, 1), (4, 5), (0, 5), (0, 1)]
[(4, 1), (4, 4), (1, 4), (1, 1)]
[(4, 1), (4, 7), (2, 7), (2, 1)]
[(4, 1), (4, 6), (3, 6), (3, 1)]
[(4, 2), (4, 6), (0, 6), (0, 2)]
[(4, 2), (4, 7), (1, 7), (1, 2)]
[(4, 2), (4, 4), (2, 4), (2, 2)]
[(4, 2), (4, 5), (3, 5), (3, 2)]
[(4, 3), (4, 7), (0, 7), (0, 3)]
[(4, 3), (4, 6), (1, 6), (1, 3)]
[(4, 3), (4, 5), (2, 5), (2, 3)]
[(4, 3), (4, 4), (3, 4), (3, 3)]
[(4, 8), (4, c), (0, c), (0, 8)]
[(4, 8), (4, d), (1, d), (1, 8)]
[(4, 8), (4, e), (2, e), (2, 8)]
[(4, 8), (4, f), (3, f), (3, 8)]
[(4, 9), (4, d), (0, d), (0, 9)]
[(4, 9), (4, c), (1, c), (1, 9)]
[(4, 9), (4, f), (2, f), (2, 9)]
[(4, 9), (4, e), (3, e), (3, 9)]
[(4, a), (4, e), (0, e), (0, a)]
[(4, a), (4, f), (1, f), (1, a)]
[(4, a), (4, c), (2, c), (2, a)]
[(4, a), (4, d), (3, d), (3, a)]
[(4, b), (4, f), (0, f), (0, b)]
[(4, b), (4, e), (1, e), (1, b)]
[(4, b), (4, d), (2, d), (2, b)]
[(4, b), (4, c), (3, c), (3, b)]
[(5, 0), (5, 5), (0, 5), (0, 0)]
[(5, 0), (5, 4), (1, 4), (1, 0)]
[(5, 0), (5, 7), (2, 7), (2, 0)]
[(5, 0), (5, 6), (3, 6), (3, 0)]
[(5, 0), (5, 1), (4, 1), (4, 0)]
[(5, 1), (5, 4), (0, 4), (0, 1)]
[(5, 1), (5, 5), (1, 5), (1, 1)]
[(5, 1), (5, 6), (2, 6), (2, 1)]
[(5, 1), (5, 7), (3, 7), (3, 1)]
[(5, 2), (5, 7), (0, 7), (0, 2)]
[(5, 2), (5, 6), (1, 6), (1, 2)]
[(5, 2), (5, 5), (2, 5), (2, 2)]
[(5, 2), (5, 4), (3, 4), (3, 2)]
[(5, 2), (5, 3), (4, 3), (4, 2)]
[(5, 3), (5, 6), (0, 6), (0, 3)]
[(5, 3), (5, 7), (1, 7), (1, 3)]
[(5, 3), (5, 4), (2, 4), (2, 3)]
[(5, 3), (5, 5), (3, 5), (3, 3)]
[(5, 4), (5, 5), (4, 5), (4, 4)]
[(5, 6), (5, 7), (4, 7), (4, 6)]
[(5, 8), (5, d), (0, d), (0, 8)]
[(5, 8), (5, c), (1, c), (1, 8)]
[(5, 8), (5, f), (2, f), (2, 8)]
[(5, 8), (5, e), (3, e), (3, 8)]
[(5, 8), (5, 9), (4, 9), (4, 8)]
[(5, 9), (5, c), (0, c), (0, 9)]
[(5, 9), (5, d), (1, d), (1, 9)]
[(5, 9), (5, e), (2, e), (2, 9)]
[(5, 9), (5, f), (3, f), (3, 9)]
[(5, a), (5, f), (0, f), (0, a)]
[(5, a), (5, e), (1, e), (1, a)]
[(5, a), (5, d), (2, d), (2, a)]
[(5, a), (5, c), (3, c), (3, a)]
[(5, a), (5, b), (4, b), (4, a)]
[(5, b), (5, e), (0, e), (0, b)]
[(5, b), (5, f), (1, f), (1, b)]
[(5, b), (5, c), (2, c), (2, b)]
[(5, b), (5, d), (3, d), (3, b)]
[(5, c), (5, d), (4, d), (4, c)]
[(5, e), (5, f), (4, f), (4, e)]
[(6, 0), (6, 6), (0, 6), (0, 0)]
[(6, 0), (6, 7), (1, 7), (1, 0)]
[(6, 0), (6, 4), (2, 4), (2, 0)]
[(6, 0), (6, 5), (3, 5), (3, 0)]
[(6, 0), (6, 2), (4, 2), (4, 0)]
[(6, 0), (6, 3), (5, 3), (5, 0)]
[(6, 1), (6, 7), (0, 7), (0, 1)]
[(6, 1), (6, 6), (1, 6), (1, 1)]
[(6, 1), (6, 5), (2, 5), (2, 1)]
[(6, 1), (6, 4), (3, 4), (3, 1)]
[(6, 1), (6, 3), (4, 3), (4, 1)]
[(6, 1), (6, 2), (5, 2), (5, 1)]
[(6, 2), (6, 4), (0, 4), (0, 2)]
[(6, 2), (6, 5), (1, 5), (1, 2)]
[(6, 2), (6, 6), (2, 6), (2, 2)]
[(6, 2), (6, 7), (3, 7), (3, 2)]
[(6, 3), (6, 5), (0, 5), (0, 3)]
[(6, 3), (6, 4), (1, 4), (1, 3)]
[(6, 3), (6, 7), (2, 7), (2, 3)]
[(6, 3), (6, 6), (3, 6), (3, 3)]
[(6, 4), (6, 6), (4, 6), (4, 4)]
[(6, 4), (6, 7), (5, 7), (5, 4)]
[(6, 5), (6, 7), (4, 7), (4, 5)]
[(6, 5), (6, 6), (5, 6), (5, 5)]
[(6, 8), (6, e), (0, e), (0, 8)]
[(6, 8), (6, f), (1, f), (1, 8)]
[(6, 8), (6, c), (2, c), (2, 8)]
[(6, 8), (6, d), (3, d), (3, 8)]
[(6, 8), (6, a), (4, a), (4, 8)]
[(6, 8), (6, b), (5, b), (5, 8)]
[(6, 9), (6, f), (0, f), (0, 9)]
[(6, 9), (6, e), (1, e), (1, 9)]
[(6, 9), (6, d), (2, d), (2, 9)]
[(6, 9), (6, c), (3, c), (3, 9)]
[(6, 9), (6, b), (4, b), (4, 9)]
[(6, 9), (6, a), (5, a), (5, 9)]
[(6, a), (6, c), (0, c), (0, a)]
[(6, a), (6, d), (1, d), (1, a)]
[(6, a), (6, e), (2, e), (2, a)]
[(6, a), (6, f), (3, f), (3, a)]
[(6, b), (6, d), (0, d), (0, b)]
[(6, b), (6, c), (1, c), (1, b)]
[(6, b), (6, f), (2, f), (2, b)]
[(6, b), (6, e), (3, e), (3, b)]
[(6, c), (6, e), (4, e), (4, c)]
[(6, c), (6, f), (5, f), (5, c)]
[(6, d), (6, f), (4, f), (4, d)]
[(6, d), (6, e), (5, e), (5, d)]
[(7, 0), (7, 7), (0, 7), (0, 0)]
[(7, 0), (7, 6), (1, 6), (1, 0)]
[(7, 0), (7, 5), (2, 5), (2, 0)]
[(7, 0), (7, 4), (3, 4), (3, 0)]
[(7, 0), (7, 3), (4, 3), (4, 0)]
[(7, 0), (7, 2), (5, 2), (5, 0)]
[(7, 0), (7, 1), (6, 1), (6, 0)]
[(7, 1), (7, 6), (0, 6), (0, 1)]
[(7, 1), (7, 7), (1, 7), (1, 1)]
[(7, 1), (7, 4), (2, 4), (2, 1)]
[(7, 1), (7, 5), (3, 5), (3, 1)]
[(7, 1), (7, 2), (4, 2), (4, 1)]
[(7, 1), (7, 3), (5, 3), (5, 1)]
[(7, 2), (7, 5), (0, 5), (0, 2)]
[(7, 2), (7, 4), (1, 4), (1, 2)]
[(7, 2), (7, 7), (2, 7), (2, 2)]
[(7, 2), (7, 6), (3, 6), (3, 2)]
[(7, 2), (7, 3), (6, 3), (6, 2)]
[(7, 3), (7, 4), (0, 4), (0, 3)]
[(7, 3), (7, 5), (1, 5), (1, 3)]
[(7, 3), (7, 6), (2, 6), (2, 3)]
[(7, 3), (7, 7), (3, 7), (3, 3)]
[(7, 4), (7, 7), (4, 7), (4, 4)]
[(7, 4), (7, 6), (5, 6), (5, 4)]
[(7, 4), (7, 5), (6, 5), (6, 4)]
[(7, 5), (7, 6), (4, 6), (4, 5)]
[(7, 5), (7, 7), (5, 7), (5, 5)]
[(7, 6), (7, 7), (6, 7), (6, 6)]
[(7, 8), (7, f), (0, f), (0, 8)]
[(7, 8), (7, e), (1, e), (1, 8)]
[(7, 8), (7, d), (2, d), (2, 8)]
[(7, 8), (7, c), (3, c), (3, 8)]
[(7, 8), (7, b), (4, b), (4, 8)]
[(7, 8), (7, a), (5, a), (5, 8)]
[(7, 8), (7, 9), (6, 9), (6, 8)]
[(7, 9), (7, e), (0, e), (0, 9)]
[(7, 9), (7, f), (1, f), (1, 9)]
[(7, 9), (7, c), (2, c), (2, 9)]
[(7, 9), (7, d), (3, d), (3, 9)]
[(7, 9), (7, a), (4, a), (4, 9)]
[(7, 9), (7, b), (5, b), (5, 9)]
[(7, a), (7, d), (0, d), (0, a)]
[(7, a), (7, c), (1, c), (1, a)]
[(7, a), (7, f), (2, f), (2, a)]
[(7, a), (7, e), (3, e), (3, a)]
[(7, a), (7, b), (6, b), (6, a)]
[(7, b), (7, c), (0, c), (0, b)]
[(7, b), (7, d), (1, d), (1, b)]
[(7, b), (7, e), (2, e), (2, b)]
[(7, b), (7, f), (3, f), (3, b)]
[(7, c), (7, f), (4, f), (4, c)]
[(7, c), (7, e), (5, e), (5, c)]
[(7, c), (7, d), (6, d), (6, c)]
[(7, d), (7, e), (4, e), (4, d)]
[(7, d), (7, f), (5, f), (5, d)]
[(7, e), (7, f), (6, f), (6, e)]
[(8, 0), (8, 8), (0, 8), (0, 0)]
[(8, 0), (8, 9), (1, 9), (1, 0)]
[(8, 0), (8, a), (2, a), (2, 0)]
[(8, 0), (8, b), (3, b), (3, 0)]
[(8, 0), (8, c), (4, c), (4, 0)]
[(8, 0), (8, d), (5, d), (5, 0)]
[(8, 0), (8, e), (6, e), (6, 0)]
[(8, 0), (8, f), (7, f), (7, 0)]
[(8, 1), (8, 9), (0, 9), (0, 1)]
[(8, 1), (8, 8), (1, 8), (1, 1)]
[(8, 1), (8, b), (2, b), (2, 1)]
[(8, 1), (8, a), (3, a), (3, 1)]
[(8, 1), (8, d), (4, d), (4, 1)]
[(8, 1), (8, c), (5, c), (5, 1)]
[(8, 1), (8, f), (6, f), (6, 1)]
[(8, 1), (8, e), (7, e), (7, 1)]
[(8, 2), (8, a), (0, a), (0, 2)]
[(8, 2), (8, b), (1, b), (1, 2)]
[(8, 2), (8, 8), (2, 8), (2, 2)]
[(8, 2), (8, 9), (3, 9), (3, 2)]
[(8, 2), (8, e), (4, e), (4, 2)]
[(8, 2), (8, f), (5, f), (5, 2)]
[(8, 2), (8, c), (6, c), (6, 2)]
[(8, 2), (8, d), (7, d), (7, 2)]
[(8, 3), (8, b), (0, b), (0, 3)]
[(8, 3), (8, a), (1, a), (1, 3)]
[(8, 3), (8, 9), (2, 9), (2, 3)]
[(8, 3), (8, 8), (3, 8), (3, 3)]
[(8, 3), (8, f), (4, f), (4, 3)]
[(8, 3), (8, e), (5, e), (5, 3)]
[(8, 3), (8, d), (6, d), (6, 3)]
[(8, 3), (8, c), (7, c), (7, 3)]
[(8, 4), (8, c), (0, c), (0, 4)]
[(8, 4), (8, d), (1, d), (1, 4)]
[(8, 4), (8, e), (2, e), (2, 4)]
[(8, 4), (8, f), (3, f), (3, 4)]
[(8, 4), (8, 8), (4, 8), (4, 4)]
[(8, 4), (8, 9), (5, 9), (5, 4)]
[(8, 4), (8, a), (6, a), (6, 4)]
[(8, 4), (8, b), (7, b), (7, 4)]
[(8, 5), (8, d), (0, d), (0, 5)]
[(8, 5), (8, c), (1, c), (1, 5)]
[(8, 5), (8, f), (2, f), (2, 5)]
[(8, 5), (8, e), (3, e), (3, 5)]
[(8, 5), (8, 9), (4, 9), (4, 5)]
[(8, 5), (8, 8), (5, 8), (5, 5)]
[(8, 5), (8, b), (6, b), (6, 5)]
[(8, 5), (8, a), (7, a), (7, 5)]
[(8, 6), (8, e), (0, e), (0, 6)]
[(8, 6), (8, f), (1, f), (1, 6)]
[(8, 6), (8, c), (2, c), (2, 6)]
[(8, 6), (8, d), (3, d), (3, 6)]
[(8, 6), (8, a), (4, a), (4, 6)]
[(8, 6), (8, b), (5, b), (5, 6)]
[(8, 6), (8, 8), (6, 8), (6, 6)]
[(8, 6), (8, 9), (7, 9), (7, 6)]
[(8, 7), (8, f), (0, f), (0, 7)]
[(8, 7), (8, e), (1, e), (1, 7)]
[(8, 7), (8, d), (2, d), (2, 7)]
[(8, 7), (8, c), (3, c), (3, 7)]
[(8, 7), (8, b), (4, b), (4, 7)]
[(8, 7), (8, a), (5, a), (5, 7)]
[(8, 7), (8, 9), (6, 9), (6, 7)]
[(8, 7), (8, 8), (7, 8), (7, 7)]
[(9, 0), (9, 9), (0, 9), (0, 0)]
[(9, 0), (9, 8), (1, 8), (1, 0)]
[(9, 0), (9, b), (2, b), (2, 0)]
[(9, 0), (9, a), (3, a), (3, 0)]
[(9, 0), (9, d), (4, d), (4, 0)]
[(9, 0), (9, c), (5, c), (5, 0)]
[(9, 0), (9, f), (6, f), (6, 0)]
[(9, 0), (9, e), (7, e), (7, 0)]
[(9, 0), (9, 1), (8, 1), (8, 0)]
[(9, 1), (9, 8), (0, 8), (0, 1)]
[(9, 1), (9, 9), (1, 9), (1, 1)]
[(9, 1), (9, a), (2, a), (2, 1)]
[(9, 1), (9, b), (3, b), (3, 1)]
[(9, 1), (9, c), (4, c), (4, 1)]
[(9, 1), (9, d), (5, d), (5, 1)]
[(9, 1), (9, e), (6, e), (6, 1)]
[(9, 1), (9, f), (7, f), (7, 1)]
[(9, 2), (9, b), (0, b), (0, 2)]
[(9, 2), (9, a), (1, a), (1, 2)]
[(9, 2), (9, 9), (2, 9), (2, 2)]
[(9, 2), (9, 8), (3, 8), (3, 2)]
[(9, 2), (9, f), (4, f), (4, 2)]
[(9, 2), (9, e), (5, e), (5, 2)]
[(9, 2), (9, d), (6, d), (6, 2)]
[(9, 2), (9, c), (7, c), (7, 2)]
[(9, 2), (9, 3), (8, 3), (8, 2)]
[(9, 3), (9, a), (0, a), (0, 3)]
[(9, 3), (9, b), (1, b), (1, 3)]
[(9, 3), (9, 8), (2, 8), (2, 3)]
[(9, 3), (9, 9), (3, 9), (3, 3)]
[(9, 3), (9, e), (4, e), (4, 3)]
[(9, 3), (9, f), (5, f), (5, 3)]
[(9, 3), (9, c), (6, c), (6, 3)]
[(9, 3), (9, d), (7, d), (7, 3)]
[(9, 4), (9, d), (0, d), (0, 4)]
[(9, 4), (9, c), (1, c), (1, 4)]
[(9, 4), (9, f), (2, f), (2, 4)]
[(9, 4), (9, e), (3, e), (3, 4)]
[(9, 4), (9, 9), (4, 9), (4, 4)]
[(9, 4), (9, 8), (5, 8), (5, 4)]
[(9, 4), (9, b), (6, b), (6, 4)]
[(9, 4), (9, a), (7, a), (7, 4)]
[(9, 4), (9, 5), (8, 5), (8, 4)]
[(9, 5), (9, c), (0, c), (0, 5)]
[(9, 5), (9, d), (1, d), (1, 5)]
[(9, 5), (9, e), (2, e), (2, 5)]
[(9, 5), (9, f), (3, f), (3, 5)]
[(9, 5), (9, 8), (4, 8), (4, 5)]
[(9, 5), (9, 9), (5, 9), (5, 5)]
[(9, 5), (9, a), (6, a), (6, 5)]
[(9, 5), (9, b), (7, b), (7, 5)]
[(9, 6), (9, f), (0, f), (0, 6)]
[(9, 6), (9, e), (1, e), (1, 6)]
[(9, 6), (9, d), (2, d), (2, 6)]
[(9, 6), (9, c), (3, c), (3, 6)]
[(9, 6), (9, b), (4, b), (4, 6)]
[(9, 6), (9, a), (5, a), (5, 6)]
[(9, 6), (9, 9), (6, 9), (6, 6)]
[(9, 6), (9, 8), (7, 8), (7, 6)]
[(9, 6), (9, 7), (8, 7), (8, 6)]
[(9, 7), (9, e), (0, e), (0, 7)]
[(9, 7), (9, f), (1, f), (1, 7)]
[(9, 7), (9, c), (2, c), (2, 7)]
[(9, 7), (9, d), (3, d), (3, 7)]
[(9, 7), (9, a), (4, a), (4, 7)]
[(9, 7), (9, b), (5, b), (5, 7)]
[(9, 7), (9, 8), (6, 8), (6, 7)]
[(9, 7), (9, 9), (7, 9), (7, 7)]
[(9, 8), (9, 9), (8, 9), (8, 8)]
[(9, a), (9, b), (8, b), (8, a)]
[(9, c), (9, d), (8, d), (8, c)]
[(9, e), (9, f), (8, f), (8, e)]
[(a, 0), (a, a), (0, a), (0, 0)]
[(a, 0), (a, b), (1, b), (1, 0)]
[(a, 0), (a, 8), (2, 8), (2, 0)]
[(a, 0), (a, 9), (3, 9), (3, 0)]
[(a, 0), (a, e), (4, e), (4, 0)]
[(a, 0), (a, f), (5, f), (5, 0)]
[(a, 0), (a, c), (6, c), (6, 0)]
[(a, 0), (a, d), (7, d), (7, 0)]
[(a, 0), (a, 2), (8, 2), (8, 0)]
[(a, 0), (a, 3), (9, 3), (9, 0)]
[(a, 1), (a, b), (0, b), (0, 1)]
[(a, 1), (a, a), (1, a), (1, 1)]
[(a, 1), (a, 9), (2, 9), (2, 1)]
[(a, 1), (a, 8), (3, 8), (3, 1)]
[(a, 1), (a, f), (4, f), (4, 1)]
[(a, 1), (a, e), (5, e), (5, 1)]
[(a, 1), (a, d), (6, d), (6, 1)]
[(a, 1), (a, c), (7, c), (7, 1)]
[(a, 1), (a, 3), (8, 3), (8, 1)]
[(a, 1), (a, 2), (9, 2), (9, 1)]
[(a, 2), (a, 8), (0, 8), (0, 2)]
[(a, 2), (a, 9), (1, 9), (1, 2)]
[(a, 2), (a, a), (2, a), (2, 2)]
[(a, 2), (a, b), (3, b), (3, 2)]
[(a, 2), (a, c), (4, c), (4, 2)]
[(a, 2), (a, d), (5, d), (5, 2)]
[(a, 2), (a, e), (6, e), (6, 2)]
[(a, 2), (a, f), (7, f), (7, 2)]
[(a, 3), (a, 9), (0, 9), (0, 3)]
[(a, 3), (a, 8), (1, 8), (1, 3)]
[(a, 3), (a, b), (2, b), (2, 3)]
[(a, 3), (a, a), (3, a), (3, 3)]
[(a, 3), (a, d), (4, d), (4, 3)]
[(a, 3), (a, c), (5, c), (5, 3)]
[(a, 3), (a, f), (6, f), (6, 3)]
[(a, 3), (a, e), (7, e), (7, 3)]
[(a, 4), (a, e), (0, e), (0, 4)]
[(a, 4), (a, f), (1, f), (1, 4)]
[(a, 4), (a, c), (2, c), (2, 4)]
[(a, 4), (a, d), (3, d), (3, 4)]
[(a, 4), (a, a), (4, a), (4, 4)]
[(a, 4), (a, b), (5, b), (5, 4)]
[(a, 4), (a, 8), (6, 8), (6, 4)]
[(a, 4), (a, 9), (7, 9), (7, 4)]
[(a, 4), (a, 6), (8, 6), (8, 4)]
[(a, 4), (a, 7), (9, 7), (9, 4)]
[(a, 5), (a, f), (0, f), (0, 5)]
[(a, 5), (a, e), (1, e), (1, 5)]
[(a, 5), (a, d), (2, d), (2, 5)]
[(a, 5), (a, c), (3, c), (3, 5)]
[(a, 5), (a, b), (4, b), (4, 5)]
[(a, 5), (a, a), (5, a), (5, 5)]
[(a, 5), (a, 9), (6, 9), (6, 5)]
[(a, 5), (a, 8), (7, 8), (7, 5)]
[(a, 5), (a, 7), (8, 7), (8, 5)]
[(a, 5), (a, 6), (9, 6), (9, 5)]
[(a, 6), (a, c), (0, c), (0, 6)]
[(a, 6), (a, d), (1, d), (1, 6)]
[(a, 6), (a, e), (2, e), (2, 6)]
[(a, 6), (a, f), (3, f), (3, 6)]
[(a, 6), (a, 8), (4, 8), (4, 6)]
[(a, 6), (a, 9), (5, 9), (5, 6)]
[(a, 6), (a, a), (6, a), (6, 6)]
[(a, 6), (a, b), (7, b), (7, 6)]
[(a, 7), (a, d), (0, d), (0, 7)]
[(a, 7), (a, c), (1, c), (1, 7)]
[(a, 7), (a, f), (2, f), (2, 7)]
[(a, 7), (a, e), (3, e), (3, 7)]
[(a, 7), (a, 9), (4, 9), (4, 7)]
[(a, 7), (a, 8), (5, 8), (5, 7)]
[(a, 7), (a, b), (6, b), (6, 7)]
[(a, 7), (a, a), (7, a), (7, 7)]
[(a, 8), (a, a), (8, a), (8, 8)]
[(a, 8), (a, b), (9, b), (9, 8)]
[(a, 9), (a, b), (8, b), (8, 9)]
[(a, 9), (a, a), (9, a), (9, 9)]
[(a, c), (a, e), (8, e), (8, c)]
[(a, c), (a, f), (9, f), (9, c)]
[(a, d), (a, f), (8, f), (8, d)]
[(a, d), (a, e), (9, e), (9, d)]
[(b, 0), (b, b), (0, b), (0, 0)]
[(b, 0), (b, a), (1, a), (1, 0)]
[(b, 0), (b, 9), (2, 9), (2, 0)]
[(b, 0), (b, 8), (3, 8), (3, 0)]
[(b, 0), (b, f), (4, f), (4, 0)]
[(b, 0), (b, e), (5, e), (5, 0)]
[(b, 0), (b, d), (6, d), (6, 0)]
[(b, 0), (b, c), (7, c), (7, 0)]
[(b, 0), (b, 3), (8, 3), (8, 0)]
[(b, 0), (b, 2), (9, 2), (9, 0)]
[(b, 0), (b, 1), (a, 1), (a, 0)]
[(b, 1), (b, a), (0, a), (0, 1)]
[(b, 1), (b, b), (1, b), (1, 1)]
[(b, 1), (b, 8), (2, 8), (2, 1)]
[(b, 1), (b, 9), (3, 9), (3, 1)]
[(b, 1), (b, e), (4, e), (4, 1)]
[(b, 1), (b, f), (5, f), (5, 1)]
[(b, 1), (b, c), (6, c), (6, 1)]
[(b, 1), (b, d), (7, d), (7, 1)]
[(b, 1), (b, 2), (8, 2), (8, 1)]
[(b, 1), (b, 3), (9, 3), (9, 1)]
[(b, 2), (b, 9), (0, 9), (0, 2)]
[(b, 2), (b, 8), (1, 8), (1, 2)]
[(b, 2), (b, b), (2, b), (2, 2)]
[(b, 2), (b, a), (3, a), (3, 2)]
[(b, 2), (b, d), (4, d), (4, 2)]
[(b, 2), (b, c), (5, c), (5, 2)]
[(b, 2), (b, f), (6, f), (6, 2)]
[(b, 2), (b, e), (7, e), (7, 2)]
[(b, 2), (b, 3), (a, 3), (a, 2)]
[(b, 3), (b, 8), (0, 8), (0, 3)]
[(b, 3), (b, 9), (1, 9), (1, 3)]
[(b, 3), (b, a), (2, a), (2, 3)]
[(b, 3), (b, b), (3, b), (3, 3)]
[(b, 3), (b, c), (4, c), (4, 3)]
[(b, 3), (b, d), (5, d), (5, 3)]
[(b, 3), (b, e), (6, e), (6, 3)]
[(b, 3), (b, f), (7, f), (7, 3)]
[(b, 4), (b, f), (0, f), (0, 4)]
[(b, 4), (b, e), (1, e), (1, 4)]
[(b, 4), (b, d), (2, d), (2, 4)]
[(b, 4), (b, c), (3, c), (3, 4)]
[(b, 4), (b, b), (4, b), (4, 4)]
[(b, 4), (b, a), (5, a), (5, 4)]
[(b, 4), (b, 9), (6, 9), (6, 4)]
[(b, 4), (b, 8), (7, 8), (7, 4)]
[(b, 4), (b, 7), (8, 7), (8, 4)]
[(b, 4), (b, 6), (9, 6), (9, 4)]
[(b, 4), (b, 5), (a, 5), (a, 4)]
[(b, 5), (b, e), (0, e), (0, 5)]
[(b, 5), (b, f), (1, f), (1, 5)]
[(b, 5), (b, c), (2, c), (2, 5)]
[(b, 5), (b, d), (3, d), (3, 5)]
[(b, 5), (b, a), (4, a), (4, 5)]
[(b, 5), (b, b), (5, b), (5, 5)]
[(b, 5), (b, 8), (6, 8), (6, 5)]
[(b, 5), (b, 9), (7, 9), (7, 5)]
[(b, 5), (b, 6), (8, 6), (8, 5)]
[(b, 5), (b, 7), (9, 7), (9, 5)]
[(b, 6), (b, d), (0, d), (0, 6)]
[(b, 6), (b, c), (1, c), (1, 6)]
[(b, 6), (b, f), (2, f), (2, 6)]
[(b, 6), (b, e), (3, e), (3, 6)]
[(b, 6), (b, 9), (4, 9), (4, 6)]
[(b, 6), (b, 8), (5, 8), (5, 6)]
[(b, 6), (b, b), (6, b), (6, 6)]
[(b, 6), (b, a), (7, a), (7, 6)]
[(b, 6), (b, 7), (a, 7), (a, 6)]
[(b, 7), (b, c), (0, c), (0, 7)]
[(b, 7), (b, d), (1, d), (1, 7)]
[(b, 7), (b, e), (2, e), (2, 7)]
[(b, 7), (b, f), (3, f), (3, 7)]
[(b, 7), (b, 8), (4, 8), (4, 7)]
[(b, 7), (b, 9), (5, 9), (5, 7)]
[(b, 7), (b, a), (6, a), (6, 7)]
[(b, 7), (b, b), (7, b), (7, 7)]
[(b, 8), (b, b), (8, b), (8, 8)]
[(b, 8), (b, a), (9, a), (9, 8)]
[(b, 8), (b, 9), (a, 9), (a, 8)]
[(b, 9), (b, a), (8, a), (8, 9)]
[(b, 9), (b, b), (9, b), (9, 9)]
[(b, a), (b, b), (a, b), (a, a)]
[(b, c), (b, f), (8, f), (8, c)]
[(b, c), (b, e), (9, e), (9, c)]
[(b, c), (b, d), (a, d), (a, c)]
[(b, d), (b, e), (8, e), (8, d)]
[(b, d), (b, f), (9, f), (9, d)]
[(b, e), (b, f), (a, f), (a, e)]
[(c, 0), (c, c), (0, c), (0, 0)]
[(c, 0), (c, d), (1, d), (1, 0)]
[(c, 0), (c, e), (2, e), (2, 0)]
[(c, 0), (c, f), (3, f), (3, 0)]
[(c, 0), (c, 8), (4, 8), (4, 0)]
[(c, 0), (c, 9), (5, 9), (5, 0)]
[(c, 0), (c, a), (6, a), (6, 0)]
[(c, 0), (c, b), (7, b), (7, 0)]
[(c, 0), (c, 4), (8, 4), (8, 0)]
[(c, 0), (c, 5), (9, 5), (9, 0)]
[(c, 0), (c, 6), (a, 6), (a, 0)]
[(c, 0), (c, 7), (b, 7), (b, 0)]
[(c, 1), (c, d), (0, d), (0, 1)]
[(c, 1), (c, c), (1, c), (1, 1)]
[(c, 1), (c, f), (2, f), (2, 1)]
[(c, 1), (c, e), (3, e), (3, 1)]
[(c, 1), (c, 9), (4, 9), (4, 1)]
[(c, 1), (c, 8), (5, 8), (5, 1)]
[(c, 1), (c, b), (6, b), (6, 1)]
[(c, 1), (c, a), (7, a), (7, 1)]
[(c, 1), (c, 5), (8, 5), (8, 1)]
[(c, 1), (c, 4), (9, 4), (9, 1)]
[(c, 1), (c, 7), (a, 7), (a, 1)]
[(c, 1), (c, 6), (b, 6), (b, 1)]
[(c, 2), (c, e), (0, e), (0, 2)]
[(c, 2), (c, f), (1, f), (1, 2)]
[(c, 2), (c, c), (2, c), (2, 2)]
[(c, 2), (c, d), (3, d), (3, 2)]
[(c, 2), (c, a), (4, a), (4, 2)]
[(c, 2), (c, b), (5, b), (5, 2)]
[(c, 2), (c, 8), (6, 8), (6, 2)]
[(c, 2), (c, 9), (7, 9), (7, 2)]
[(c, 2), (c, 6), (8, 6), (8, 2)]
[(c, 2), (c, 7), (9, 7), (9, 2)]
[(c, 2), (c, 4), (a, 4), (a, 2)]
[(c, 2), (c, 5), (b, 5), (b, 2)]
[(c, 3), (c, f), (0, f), (0, 3)]
[(c, 3), (c, e), (1, e), (1, 3)]
[(c, 3), (c, d), (2, d), (2, 3)]
[(c, 3), (c, c), (3, c), (3, 3)]
[(c, 3), (c, b), (4, b), (4, 3)]
[(c, 3), (c, a), (5, a), (5, 3)]
[(c, 3), (c, 9), (6, 9), (6, 3)]
[(c, 3), (c, 8), (7, 8), (7, 3)]
[(c, 3), (c, 7), (8, 7), (8, 3)]
[(c, 3), (c, 6), (9, 6), (9, 3)]
[(c, 3), (c, 5), (a, 5), (a, 3)]
[(c, 3), (c, 4), (b, 4), (b, 3)]
[(c, 4), (c, 8), (0, 8), (0, 4)]
[(c, 4), (c, 9), (1, 9), (1, 4)]
[(c, 4), (c, a), (2, a), (2, 4)]
[(c, 4), (c, b), (3, b), (3, 4)]
[(c, 4), (c, c), (4, c), (4, 4)]
[(c, 4), (c, d), (5, d), (5, 4)]
[(c, 4), (c, e), (6, e), (6, 4)]
[(c, 4), (c, f), (7, f), (7, 4)]
[(c, 5), (c, 9), (0, 9), (0, 5)]
[(c, 5), (c, 8), (1, 8), (1, 5)]
[(c, 5), (c, b), (2, b), (2, 5)]
[(c, 5), (c, a), (3, a), (3, 5)]
[(c, 5), (c, d), (4, d), (4, 5)]
[(c, 5), (c, c), (5, c), (5, 5)]
[(c, 5), (c, f), (6, f), (6, 5)]
[(c, 5), (c, e), (7, e), (7, 5)]
[(c, 6), (c, a), (0, a), (0, 6)]
[(c, 6), (c, b), (1, b), (1, 6)]
[(c, 6), (c, 8), (2, 8), (2, 6)]
[(c, 6), (c, 9), (3, 9), (3, 6)]
[(c, 6), (c, e), (4, e), (4, 6)]
[(c, 6), (c, f), (5, f), (5, 6)]
[(c, 6), (c, c), (6, c), (6, 6)]
[(c, 6), (c, d), (7, d), (7, 6)]
[(c, 7), (c, b), (0, b), (0, 7)]
[(c, 7), (c, a), (1, a), (1, 7)]
[(c, 7), (c, 9), (2, 9), (2, 7)]
[(c, 7), (c, 8), (3, 8), (3, 7)]
[(c, 7), (c, f), (4, f), (4, 7)]
[(c, 7), (c, e), (5, e), (5, 7)]
[(c, 7), (c, d), (6, d), (6, 7)]
[(c, 7), (c, c), (7, c), (7, 7)]
[(c, 8), (c, c), (8, c), (8, 8)]
[(c, 8), (c, d), (9, d), (9, 8)]
[(c, 8), (c, e), (a, e), (a, 8)]
[(c, 8), (c, f), (b, f), (b, 8)]
[(c, 9), (c, d), (8, d), (8, 9)]
[(c, 9), (c, c), (9, c), (9, 9)]
[(c, 9), (c, f), (a, f), (a, 9)]
[(c, 9), (c, e), (b, e), (b, 9)]
[(c, a), (c, e), (8, e), (8, a)]
[(c, a), (c, f), (9, f), (9, a)]
[(c, a), (c, c), (a, c), (a, a)]
[(c, a), (c, d), (b, d), (b, a)]
[(c, b), (c, f), (8, f), (8, b)]
[(c, b), (c, e), (9, e), (9, b)]
[(c, b), (c, d), (a, d), (a, b)]
[(c, b), (c, c), (b, c), (b, b)]
[(d, 0), (d, d), (0, d), (0, 0)]
[(d, 0), (d, c), (1, c), (1, 0)]
[(d, 0), (d, f), (2, f), (2, 0)]
[(d, 0), (d, e), (3, e), (3, 0)]
[(d, 0), (d, 9), (4, 9), (4, 0)]
[(d, 0), (d, 8), (5, 8), (5, 0)]
[(d, 0), (d, b), (6, b), (6, 0)]
[(d, 0), (d, a), (7, a), (7, 0)]
[(d, 0), (d, 5), (8, 5), (8, 0)]
[(d, 0), (d, 4), (9, 4), (9, 0)]
[(d, 0), (d, 7), (a, 7), (a, 0)]
[(d, 0), (d, 6), (b, 6), (b, 0)]
[(d, 0), (d, 1), (c, 1), (c, 0)]
[(d, 1), (d, c), (0, c), (0, 1)]
[(d, 1), (d, d), (1, d), (1, 1)]
[(d, 1), (d, e), (2, e), (2, 1)]
[(d, 1), (d, f), (3, f), (3, 1)]
[(d, 1), (d, 8), (4, 8), (4, 1)]
[(d, 1), (d, 9), (5, 9), (5, 1)]
[(d, 1), (d, a), (6, a), (6, 1)]
[(d, 1), (d, b), (7, b), (7, 1)]
[(d, 1), (d, 4), (8, 4), (8, 1)]
[(d, 1), (d, 5), (9, 5), (9, 1)]
[(d, 1), (d, 6), (a, 6), (a, 1)]
[(d, 1), (d, 7), (b, 7), (b, 1)]
[(d, 2), (d, f), (0, f), (0, 2)]
[(d, 2), (d, e), (1, e), (1, 2)]
[(d, 2), (d, d), (2, d), (2, 2)]
[(d, 2), (d, c), (3, c), (3, 2)]
[(d, 2), (d, b), (4, b), (4, 2)]
[(d, 2), (d, a), (5, a), (5, 2)]
[(d, 2), (d, 9), (6, 9), (6, 2)]
[(d, 2), (d, 8), (7, 8), (7, 2)]
[(d, 2), (d, 7), (8, 7), (8, 2)]
[(d, 2), (d, 6), (9, 6), (9, 2)]
[(d, 2), (d, 5), (a, 5), (a, 2)]
[(d, 2), (d, 4), (b, 4), (b, 2)]
[(d, 2), (d, 3), (c, 3), (c, 2)]
[(d, 3), (d, e), (0, e), (0, 3)]
[(d, 3), (d, f), (1, f), (1, 3)]
[(d, 3), (d, c), (2, c), (2, 3)]
[(d, 3), (d, d), (3, d), (3, 3)]
[(d, 3), (d, a), (4, a), (4, 3)]
[(d, 3), (d, b), (5, b), (5, 3)]
[(d, 3), (d, 8), (6, 8), (6, 3)]
[(d, 3), (d, 9), (7, 9), (7, 3)]
[(d, 3), (d, 6), (8, 6), (8, 3)]
[(d, 3), (d, 7), (9, 7), (9, 3)]
[(d, 3), (d, 4), (a, 4), (a, 3)]
[(d, 3), (d, 5), (b, 5), (b, 3)]
[(d, 4), (d, 9), (0, 9), (0, 4)]
[(d, 4), (d, 8), (1, 8), (1, 4)]
[(d, 4), (d, b), (2, b), (2, 4)]
[(d, 4), (d, a), (3, a), (3, 4)]
[(d, 4), (d, d), (4, d), (4, 4)]
[(d, 4), (d, c), (5, c), (5, 4)]
[(d, 4), (d, f), (6, f), (6, 4)]
[(d, 4), (d, e), (7, e), (7, 4)]
[(d, 4), (d, 5), (c, 5), (c, 4)]
[(d, 5), (d, 8), (0, 8), (0, 5)]
[(d, 5), (d, 9), (1, 9), (1, 5)]
[(d, 5), (d, a), (2, a), (2, 5)]
[(d, 5), (d, b), (3, b), (3, 5)]
[(d, 5), (d, c), (4, c), (4, 5)]
[(d, 5), (d, d), (5, d), (5, 5)]
[(d, 5), (d, e), (6, e), (6, 5)]
[(d, 5), (d, f), (7, f), (7, 5)]
[(d, 6), (d, b), (0, b), (0, 6)]
[(d, 6), (d, a), (1, a), (1, 6)]
[(d, 6), (d, 9), (2, 9), (2, 6)]
[(d, 6), (d, 8), (3, 8), (3, 6)]
[(d, 6), (d, f), (4, f), (4, 6)]
[(d, 6), (d, e), (5, e), (5, 6)]
[(d, 6), (d, d), (6, d), (6, 6)]
[(d, 6), (d, c), (7, c), (7, 6)]
[(d, 6), (d, 7), (c, 7), (c, 6)]
[(d, 7), (d, a), (0, a), (0, 7)]
[(d, 7), (d, b), (1, b), (1, 7)]
[(d, 7), (d, 8), (2, 8), (2, 7)]
[(d, 7), (d, 9), (3, 9), (3, 7)]
[(d, 7), (d, e), (4, e), (4, 7)]
[(d, 7), (d, f), (5, f), (5, 7)]
[(d, 7), (d, c), (6, c), (6, 7)]
[(d, 7), (d, d), (7, d), (7, 7)]
[(d, 8), (d, d), (8, d), (8, 8)]
[(d, 8), (d, c), (9, c), (9, 8)]
[(d, 8), (d, f), (a, f), (a, 8)]
[(d, 8), (d, e), (b, e), (b, 8)]
[(d, 8), (d, 9), (c, 9), (c, 8)]
[(d, 9), (d, c), (8, c), (8, 9)]
[(d, 9), (d, d), (9, d), (9, 9)]
[(d, 9), (d, e), (a, e), (a, 9)]
[(d, 9), (d, f), (b, f), (b, 9)]
[(d, a), (d, f), (8, f), (8, a)]
[(d, a), (d, e), (9, e), (9, a)]
[(d, a), (d, d), (a, d), (a, a)]
[(d, a), (d, c), (b, c), (b, a)]
[(d, a), (d, b), (c, b), (c, a)]
[(d, b), (d, e), (8, e), (8, b)]
[(d, b), (d, f), (9, f), (9, b)]
[(d, b), (d, c), (a, c), (a, b)]
[(d, b), (d, d), (b, d), (b, b)]
[(d, c), (d, d), (c, d), (c, c)]
[(d, e), (d, f), (c, f), (c, e)]
[(e, 0), (e, e), (0, e), (0, 0)]
[(e, 0), (e, f), (1, f), (1, 0)]
[(e, 0), (e, c), (2, c), (2, 0)]
[(e, 0), (e, d), (3, d), (3, 0)]
[(e, 0), (e, a), (4, a), (4, 0)]
[(e, 0), (e, b), (5, b), (5, 0)]
[(e, 0), (e, 8), (6, 8), (6, 0)]
[(e, 0), (e, 9), (7, 9), (7, 0)]
[(e, 0), (e, 6), (8, 6), (8, 0)]
[(e, 0), (e, 7), (9, 7), (9, 0)]
[(e, 0), (e, 4), (a, 4), (a, 0)]
[(e, 0), (e, 5), (b, 5), (b, 0)]
[(e, 0), (e, 2), (c, 2), (c, 0)]
[(e, 0), (e, 3), (d, 3), (d, 0)]
[(e, 1), (e, f), (0, f), (0, 1)]
[(e, 1), (e, e), (1, e), (1, 1)]
[(e, 1), (e, d), (2, d), (2, 1)]
[(e, 1), (e, c), (3, c), (3, 1)]
[(e, 1), (e, b), (4, b), (4, 1)]
[(e, 1), (e, a), (5, a), (5, 1)]
[(e, 1), (e, 9), (6, 9), (6, 1)]
[(e, 1), (e, 8), (7, 8), (7, 1)]
[(e, 1), (e, 7), (8, 7), (8, 1)]
[(e, 1), (e, 6), (9, 6), (9, 1)]
[(e, 1), (e, 5), (a, 5), (a, 1)]
[(e, 1), (e, 4), (b, 4), (b, 1)]
[(e, 1), (e, 3), (c, 3), (c, 1)]
[(e, 1), (e, 2), (d, 2), (d, 1)]
[(e, 2), (e, c), (0, c), (0, 2)]
[(e, 2), (e, d), (1, d), (1, 2)]
[(e, 2), (e, e), (2, e), (2, 2)]
[(e, 2), (e, f), (3, f), (3, 2)]
[(e, 2), (e, 8), (4, 8), (4, 2)]
[(e, 2), (e, 9), (5, 9), (5, 2)]
[(e, 2), (e, a), (6, a), (6, 2)]
[(e, 2), (e, b), (7, b), (7, 2)]
[(e, 2), (e, 4), (8, 4), (8, 2)]
[(e, 2), (e, 5), (9, 5), (9, 2)]
[(e, 2), (e, 6), (a, 6), (a, 2)]
[(e, 2), (e, 7), (b, 7), (b, 2)]
[(e, 3), (e, d), (0, d), (0, 3)]
[(e, 3), (e, c), (1, c), (1, 3)]
[(e, 3), (e, f), (2, f), (2, 3)]
[(e, 3), (e, e), (3, e), (3, 3)]
[(e, 3), (e, 9), (4, 9), (4, 3)]
[(e, 3), (e, 8), (5, 8), (5, 3)]
[(e, 3), (e, b), (6, b), (6, 3)]
[(e, 3), (e, a), (7, a), (7, 3)]
[(e, 3), (e, 5), (8, 5), (8, 3)]
[(e, 3), (e, 4), (9, 4), (9, 3)]
[(e, 3), (e, 7), (a, 7), (a, 3)]
[(e, 3), (e, 6), (b, 6), (b, 3)]
[(e, 4), (e, a), (0, a), (0, 4)]
[(e, 4), (e, b), (1, b), (1, 4)]
[(e, 4), (e, 8), (2, 8), (2, 4)]
[(e, 4), (e, 9), (3, 9), (3, 4)]
[(e, 4), (e, e), (4, e), (4, 4)]
[(e, 4), (e, f), (5, f), (5, 4)]
[(e, 4), (e, c), (6, c), (6, 4)]
[(e, 4), (e, d), (7, d), (7, 4)]
[(e, 4), (e, 6), (c, 6), (c, 4)]
[(e, 4), (e, 7), (d, 7), (d, 4)]
[(e, 5), (e, b), (0, b), (0, 5)]
[(e, 5), (e, a), (1, a), (1, 5)]
[(e, 5), (e, 9), (2, 9), (2, 5)]
[(e, 5), (e, 8), (3, 8), (3, 5)]
[(e, 5), (e, f), (4, f), (4, 5)]
[(e, 5), (e, e), (5, e), (5, 5)]
[(e, 5), (e, d), (6, d), (6, 5)]
[(e, 5), (e, c), (7, c), (7, 5)]
[(e, 5), (e, 7), (c, 7), (c, 5)]
[(e, 5), (e, 6), (d, 6), (d, 5)]
[(e, 6), (e, 8), (0, 8), (0, 6)]
[(e, 6), (e, 9), (1, 9), (1, 6)]
[(e, 6), (e, a), (2, a), (2, 6)]
[(e, 6), (e, b), (3, b), (3, 6)]
[(e, 6), (e, c), (4, c), (4, 6)]
[(e, 6), (e, d), (5, d), (5, 6)]
[(e, 6), (e, e), (6, e), (6, 6)]
[(e, 6), (e, f), (7, f), (7, 6)]
[(e, 7), (e, 9), (0, 9), (0, 7)]
[(e, 7), (e, 8), (1, 8), (1, 7)]
[(e, 7), (e, b), (2, b), (2, 7)]
[(e, 7), (e, a), (3, a), (3, 7)]
[(e, 7), (e, d), (4, d), (4, 7)]
[(e, 7), (e, c), (5, c), (5, 7)]
[(e, 7), (e, f), (6, f), (6, 7)]
[(e, 7), (e, e), (7, e), (7, 7)]
[(e, 8), (e, e), (8, e), (8, 8)]
[(e, 8), (e, f), (9, f), (9, 8)]
[(e, 8), (e, c), (a, c), (a, 8)]
[(e, 8), (e, d), (b, d), (b, 8)]
[(e, 8), (e, a), (c, a), (c, 8)]
[(e, 8), (e, b), (d, b), (d, 8)]
[(e, 9), (e, f), (8, f), (8, 9)]
[(e, 9), (e, e), (9, e), (9, 9)]
[(e, 9), (e, d), (a, d), (a, 9)]
[(e, 9), (e, c), (b, c), (b, 9)]
[(e, 9), (e, b), (c, b), (c, 9)]
[(e, 9), (e, a), (d, a), (d, 9)]
[(e, a), (e, c), (8, c), (8, a)]
[(e, a), (e, d), (9, d), (9, a)]
[(e, a), (e, e), (a, e), (a, a)]
[(e, a), (e, f), (b, f), (b, a)]
[(e, b), (e, d), (8, d), (8, b)]
[(e, b), (e, c), (9, c), (9, b)]
[(e, b), (e, f), (a, f), (a, b)]
[(e, b), (e, e), (b, e), (b, b)]
[(e, c), (e, e), (c, e), (c, c)]
[(e, c), (e, f), (d, f), (d, c)]
[(e, d), (e, f), (c, f), (c, d)]
[(e, d), (e, e), (d, e), (d, d)]
[(f, 0), (f, f), (0, f), (0, 0)]
[(f, 0), (f, e), (1, e), (1, 0)]
[(f, 0), (f, d), (2, d), (2, 0)]
[(f, 0), (f, c), (3, c), (3, 0)]
[(f, 0), (f, b), (4, b), (4, 0)]
[(f, 0), (f, a), (5, a), (5, 0)]
[(f, 0), (f, 9), (6, 9), (6, 0)]
[(f, 0), (f, 8), (7, 8), (7, 0)]
[(f, 0), (f, 7), (8, 7), (8, 0)]
[(f, 0), (f, 6), (9, 6), (9, 0)]
[(f, 0), (f, 5), (a, 5), (a, 0)]
[(f, 0), (f, 4), (b, 4), (b, 0)]
[(f, 0), (f, 3), (c, 3), (c, 0)]
[(f, 0), (f, 2), (d, 2), (d, 0)]
[(f, 0), (f, 1), (e, 1), (e, 0)]
[(f, 1), (f, e), (0, e), (0, 1)]
[(f, 1), (f, f), (1, f), (1, 1)]
[(f, 1), (f, c), (2, c), (2, 1)]
[(f, 1), (f, d), (3, d), (3, 1)]
[(f, 1), (f, a), (4, a), (4, 1)]
[(f, 1), (f, b), (5, b), (5, 1)]
[(f, 1), (f, 8), (6, 8), (6, 1)]
[(f, 1), (f, 9), (7, 9), (7, 1)]
[(f, 1), (f, 6), (8, 6), (8, 1)]
[(f, 1), (f, 7), (9, 7), (9, 1)]
[(f, 1), (f, 4), (a, 4), (a, 1)]
[(f, 1), (f, 5), (b, 5), (b, 1)]
[(f, 1), (f, 2), (c, 2), (c, 1)]
[(f, 1), (f, 3), (d, 3), (d, 1)]
[(f, 2), (f, d), (0, d), (0, 2)]
[(f, 2), (f, c), (1, c), (1, 2)]
[(f, 2), (f, f), (2, f), (2, 2)]
[(f, 2), (f, e), (3, e), (3, 2)]
[(f, 2), (f, 9), (4, 9), (4, 2)]
[(f, 2), (f, 8), (5, 8), (5, 2)]
[(f, 2), (f, b), (6, b), (6, 2)]
[(f, 2), (f, a), (7, a), (7, 2)]
[(f, 2), (f, 5), (8, 5), (8, 2)]
[(f, 2), (f, 4), (9, 4), (9, 2)]
[(f, 2), (f, 7), (a, 7), (a, 2)]
[(f, 2), (f, 6), (b, 6), (b, 2)]
[(f, 2), (f, 3), (e, 3), (e, 2)]
[(f, 3), (f, c), (0, c), (0, 3)]
[(f, 3), (f, d), (1, d), (1, 3)]
[(f, 3), (f, e), (2, e), (2, 3)]
[(f, 3), (f, f), (3, f), (3, 3)]
[(f, 3), (f, 8), (4, 8), (4, 3)]
[(f, 3), (f, 9), (5, 9), (5, 3)]
[(f, 3), (f, a), (6, a), (6, 3)]
[(f, 3), (f, b), (7, b), (7, 3)]
[(f, 3), (f, 4), (8, 4), (8, 3)]
[(f, 3), (f, 5), (9, 5), (9, 3)]
[(f, 3), (f, 6), (a, 6), (a, 3)]
[(f, 3), (f, 7), (b, 7), (b, 3)]
[(f, 4), (f, b), (0, b), (0, 4)]
[(f, 4), (f, a), (1, a), (1, 4)]
[(f, 4), (f, 9), (2, 9), (2, 4)]
[(f, 4), (f, 8), (3, 8), (3, 4)]
[(f, 4), (f, f), (4, f), (4, 4)]
[(f, 4), (f, e), (5, e), (5, 4)]
[(f, 4), (f, d), (6, d), (6, 4)]
[(f, 4), (f, c), (7, c), (7, 4)]
[(f, 4), (f, 7), (c, 7), (c, 4)]
[(f, 4), (f, 6), (d, 6), (d, 4)]
[(f, 4), (f, 5), (e, 5), (e, 4)]
[(f, 5), (f, a), (0, a), (0, 5)]
[(f, 5), (f, b), (1, b), (1, 5)]
[(f, 5), (f, 8), (2, 8), (2, 5)]
[(f, 5), (f, 9), (3, 9), (3, 5)]
[(f, 5), (f, e), (4, e), (4, 5)]
[(f, 5), (f, f), (5, f), (5, 5)]
[(f, 5), (f, c), (6, c), (6, 5)]
[(f, 5), (f, d), (7, d), (7, 5)]
[(f, 5), (f, 6), (c, 6), (c, 5)]
[(f, 5), (f, 7), (d, 7), (d, 5)]
[(f, 6), (f, 9), (0, 9), (0, 6)]
[(f, 6), (f, 8), (1, 8), (1, 6)]
[(f, 6), (f, b), (2, b), (2, 6)]
[(f, 6), (f, a), (3, a), (3, 6)]
[(f, 6), (f, d), (4, d), (4, 6)]
[(f, 6), (f, c), (5, c), (5, 6)]
[(f, 6), (f, f), (6, f), (6, 6)]
[(f, 6), (f, e), (7, e), (7, 6)]
[(f, 6), (f, 7), (e, 7), (e, 6)]
[(f, 7), (f, 8), (0, 8), (0, 7)]
[(f, 7), (f, 9), (1, 9), (1, 7)]
[(f, 7), (f, a), (2, a), (2, 7)]
[(f, 7), (f, b), (3, b), (3, 7)]
[(f, 7), (f, c), (4, c), (4, 7)]
[(f, 7), (f, d), (5, d), (5, 7)]
[(f, 7), (f, e), (6, e), (6, 7)]
[(f, 7), (f, f), (7, f), (7, 7)]
[(f, 8), (f, f), (8, f), (8, 8)]
[(f, 8), (f, e), (9, e), (9, 8)]
[(f, 8), (f, d), (a, d), (a, 8)]
[(f, 8), (f, c), (b, c), (b, 8)]
[(f, 8), (f, b), (c, b), (c, 8)]
[(f, 8), (f, a), (d, a), (d, 8)]
[(f, 8), (f, 9), (e, 9), (e, 8)]
[(f, 9), (f, e), (8, e), (8, 9)]
[(f, 9), (f, f), (9, f), (9, 9)]
[(f, 9), (f, c), (a, c), (a, 9)]
[(f, 9), (f, d), (b, d), (b, 9)]
[(f, 9), (f, a), (c, a), (c, 9)]
[(f, 9), (f, b), (d, b), (d, 9)]
[(f, a), (f, d), (8, d), (8, a)]
[(f, a), (f, c), (9, c), (9, a)]
[(f, a), (f, f), (a, f), (a, a)]
[(f, a), (f, e), (b, e), (b, a)]
[(f, a), (f, b), (e, b), (e, a)]
[(f, b), (f, c), (8, c), (8, b)]
[(f, b), (f, d), (9, d), (9, b)]
[(f, b), (f, e), (a, e), (a, b)]
[(f, b), (f, f), (b, f), (b, b)]
[(f, c), (f, f), (c, f), (c, c)]
[(f, c), (f, e), (d, e), (d, c)]
[(f, c), (f, d), (e, d), (e, c)]
[(f, d), (f, e), (c, e), (c, d)]
[(f, d), (f, f), (d, f), (d, d)]
[(f, e), (f, f), (e, f), (e, e)]
Count = 960
SetKnowns Count = 154
SetKnowns Count = 60
SetKnowns Count = 0
SetKnowns Count = 0
SetKnowns Count = 0
SetKnowns Count = 0
state[0][0] = 2 count = 1
state[0][1] = 4 count = 1
state[0][2] = 10 count = 1
state[0][3] = 20 count = 1
state[0][4] = 200 count = 1
state[0][5] = 400 count = 1
state[0][6] = 800 count = 1
state[0][7] = 1000 count = 1
state[0][8] = 100000 count = 1
state[0][9] = 200000 count = 1
state[0][a] = 400000 count = 1
state[0][b] = 800000 count = 1
state[0][c] = 1000000 count = 1
state[0][d] = 2000000 count = 1
state[0][e] = 4000000 count = 1
state[0][f] = 8000000 count = 1
state[1][0] = f count = 3
state[1][1] = 8 count = 1
state[1][2] = 71 count = 3
state[1][3] = 40 count = 1
state[1][4] = c38c count = 7
state[1][5] = c58d count = 7
state[1][6] = 3801 count = 3
state[1][7] = 2000 count = 1
state[1][8] = 6001c000c count = 7
state[1][9] = 6002c000d count = 7
state[1][a] = 180430060 count = 7
state[1][b] = 180830061 count = 7
state[1][c] = 6100018d count = 7
state[1][d] = 6200018c count = 7
state[1][e] = 1c000001 count = 3
state[1][f] = 10000000 count = 1
state[2][0] = ce count = 5
state[2][1] = a5 count = 3
state[2][2] = dd count = 5
state[2][3] = 80 count = 1
state[2][4] = a38d count = 7
state[2][5] = 5401 count = 3
state[2][6] = a98c count = 7
state[2][7] = 4000 count = 1
state[2][8] = 5001a00cd count = 9
state[2][9] = 2802500a0 count = 7
state[2][a] = 5004a00cc count = 9
state[2][b] = 2808500a1 count = 7
state[2][c] = 5100018c count = 7
state[2][d] = 2a000001 count = 3
state[2][e] = 5400018d count = 7
state[2][f] = 20000000 count = 1
state[3][0] = 123 count = 3
state[3][1] = 149 count = 3
state[3][2] = 15c count = 5
state[3][3] = 100 count = 1
state[3][4] = 9201 count = 3
state[3][5] = 658c count = 7
state[3][6] = 698d count = 7
state[3][7] = 8000 count = 1
state[3][8] = 480190120 count = 7
state[3][9] = 30026014c count = 9
state[3][a] = 30046014d count = 9
state[3][b] = 480890121 count = 7
state[3][c] = 49000001 count = 3
state[3][d] = 3200018d count = 7
state[3][e] = 3400018c count = 7
state[3][f] = 40000000 count = 1
state[4][0] = 18122 count = 5
state[4][1] = 140a4 count = 5
state[4][2] = 12070 count = 5
state[4][3] = 11021 count = 3
state[4][4] = 18321 count = 5
state[4][5] = 144a1 count = 5
state[4][6] = 12861 count = 5
state[4][7] = 10000 count = 1
state[4][8] = 440190121 count = 7
state[4][9] = 2202500a1 count = 7
state[4][a] = 110430061 count = 7
state[4][b] = 88800001 count = 3
state[4][c] = 441090120 count = 7
state[4][d] = 2220500a0 count = 7
state[4][e] = 114030060 count = 7
state[4][f] = 80000000 count = 1
state[5][0] = 240cf count = 7
state[5][1] = 28148 count = 5
state[5][2] = 21011 count = 3
state[5][3] = 22041 count = 3
state[5][4] = 2834d count = 7
state[5][5] = 244cc count = 7
state[5][6] = 22860 count = 5
state[5][7] = 20000 count = 1
state[5][8] = 4201a00cc count = 9
state[5][9] = 24026014d count = 9
state[5][a] = 108400001 count = 3
state[5][b] = 90830060 count = 7
state[5][c] = 24106014c count = 9
state[5][d] = 4220a00cd count = 9
state[5][e] = 94030061 count = 7
state[5][f] = 100000000 count = 1
state[6][0] = 4200e count = 5
state[6][1] = 41005 count = 3
state[6][2] = 4815d count = 7
state[6][3] = 44081 count = 3
state[6][4] = 4834c count = 7
state[6][5] = 444a0 count = 5
state[6][6] = 4280d count = 5
state[6][7] = 40000 count = 1
state[6][8] = 4101c000d count = 7
state[6][9] = 208200001 count = 3
state[6][a] = 14046014c count = 9
state[6][b] = a08500a0 count = 7
state[6][c] = 14106014d count = 9
state[6][d] = a20500a1 count = 7
state[6][e] = 4140c000c count = 7
state[6][f] = 200000000 count = 1
state[7][0] = 81003 count = 3
state[7][1] = 82009 count = 3
state[7][2] = 840dc count = 7
state[7][3] = 88101 count = 3
state[7][4] = 88320 count = 5
state[7][5] = 844cd count = 7
state[7][6] = 8280c count = 5
state[7][7] = 80000 count = 1
state[7][8] = 408100001 count = 3
state[7][9] = 2102c000c count = 7
state[7][a] = 1204a00cd count = 9
state[7][b] = c0890120 count = 7
state[7][c] = c1090121 count = 7
state[7][d] = 1220a00cc count = 9
state[7][e] = 2140c000d count = 7
state[7][f] = 400000000 count = 1
state[8][0] = c00081002 count = 5
state[8][1] = a00041004 count = 5
state[8][2] = 900021010 count = 5
state[8][3] = 880011020 count = 5
state[8][4] = 840009200 count = 5
state[8][5] = 820005400 count = 5
state[8][6] = 810003800 count = 5
state[8][7] = 808001001 count = 3
state[8][8] = c00181001 count = 5
state[8][9] = a00241001 count = 5
state[8][a] = 900421001 count = 5
state[8][b] = 880811001 count = 5
state[8][c] = 841009001 count = 5
state[8][d] = 822005001 count = 5
state[8][e] = 814003001 count = 5
state[8][f] = 800000000 count = 1
state[9][0] = 120004200f count = 7
state[9][1] = 1400082008 count = 5
state[9][2] = 1080012071 count = 7
state[9][3] = 1100022040 count = 5
state[9][4] = 102000a38c count = 9
state[9][5] = 104000658d count = 9
state[9][6] = 1008000801 count = 3
state[9][7] = 1010002001 count = 3
state[9][8] = 140018200d count = 7
state[9][9] = 120024200c count = 7
state[9][a] = 1100422061 count = 7
state[9][b] = 1080812060 count = 7
state[9][c] = 104100618c count = 9
state[9][d] = 102200a18d count = 9
state[9][e] = 1014003000 count = 5
state[9][f] = 1000000000 count = 1
state[a][0] = 21000240ce count = 9
state[a][1] = 20800140a5 count = 7
state[a][2] = 24000840dd count = 9
state[a][3] = 2200044080 count = 5
state[a][4] = 201000c38d count = 9
state[a][5] = 2008000401 count = 3
state[a][6] = 204000698c count = 9
state[a][7] = 2020004001 count = 3
state[a][8] = 24001840cc count = 9
state[a][9] = 22002440a1 count = 7
state[a][a] = 21004240cd count = 9
state[a][b] = 20808140a0 count = 7
state[a][c] = 204100618d count = 9
state[a][d] = 2022005000 count = 5
state[a][e] = 201400c18c count = 9
state[a][f] = 2000000000 count = 1
state[b][0] = 4080018123 count = 7
state[b][1] = 4100028149 count = 7
state[b][2] = 420004815c count = 9
state[b][3] = 4400088100 count = 5
state[b][4] = 4008000201 count = 3
state[b][5] = 401000c58c count = 9
state[b][6] = 402000a98d count = 9
state[b][7] = 4040008001 count = 3
state[b][8] = 4400188121 count = 7
state[b][9] = 420024814d count = 9
state[b][a] = 410042814c count = 9
state[b][b] = 4080818120 count = 7
state[b][c] = 4041009000 count = 5
state[b][d] = 402200a18c count = 9
state[b][e] = 401400c18d count = 9
state[b][f] = 4000000000 count = 1
state[c][0] = 8040000122 count = 5
state[c][1] = 80200000a4 count = 5
state[c][2] = 8010000070 count = 5
state[c][3] = 8008000021 count = 3
state[c][4] = 8400088321 count = 7
state[c][5] = 82000444a1 count = 7
state[c][6] = 8100022861 count = 7
state[c][7] = 8080010001 count = 3
state[c][8] = 8400188120 count = 7
state[c][9] = 82002440a0 count = 7
state[c][a] = 8100422060 count = 7
state[c][b] = 8080811000 count = 5
state[c][c] = 8041000121 count = 5
state[c][d] = 80220000a1 count = 5
state[c][e] = 8014000061 count = 5
state[c][f] = 8000000000 count = 1
state[d][0] = 100200000cf count = 7
state[d][1] = 10040000148 count = 5
state[d][2] = 10008000011 count = 3
state[d][3] = 10010000041 count = 3
state[d][4] = 1020004834d count = 9
state[d][5] = 104000844cc count = 9
state[d][6] = 10080012860 count = 7
state[d][7] = 10100020001 count = 3
state[d][8] = 104001840cd count = 9
state[d][9] = 1020024814c count = 9
state[d][a] = 10100421000 count = 5
state[d][b] = 10080812061 count = 7
state[d][c] = 1004100014d count = 7
state[d][d] = 100220000cc count = 7
state[d][e] = 10014000060 count = 5
state[d][f] = 10000000000 count = 1
state[e][0] = 2001000000e count = 5
state[e][1] = 20008000005 count = 3
state[e][2] = 2004000015d count = 7
state[e][3] = 20020000081 count = 3
state[e][4] = 2010002834c count = 9
state[e][5] = 200800144a0 count = 7
state[e][6] = 2040008280d count = 7
state[e][7] = 20200040001 count = 3
state[e][8] = 2040018200c count = 7
state[e][9] = 20200241000 count = 5
state[e][a] = 2010042814d count = 9
state[e][b] = 200808140a1 count = 7
state[e][c] = 2004100014c count = 7
state[e][d] = 200220000a0 count = 5
state[e][e] = 2001400000d count = 5
state[e][f] = 20000000000 count = 1
state[f][0] = 40008000003 count = 3
state[f][1] = 40010000009 count = 3
state[f][2] = 400200000dc count = 7
state[f][3] = 40040000101 count = 3
state[f][4] = 40080018320 count = 7
state[f][5] = 401000244cd count = 9
state[f][6] = 4020004280c count = 7
state[f][7] = 40400080001 count = 3
state[f][8] = 40400181000 count = 5
state[f][9] = 4020024200d count = 7
state[f][a] = 401004240cc count = 9
state[f][b] = 40080818121 count = 7
state[f][c] = 40041000120 count = 5
state[f][d] = 400220000cd count = 7
state[f][e] = 4001400000c count = 5
state[f][f] = 40000000000 count = 1
Number of independents = 42
[(1, 0), (1, 1), (0, 1), (0, 0)] v=0
[(1, 2), (1, 3), (0, 3), (0, 2)] v=0
[(1, 4), (1, 5), (0, 5), (0, 4)] v=0
[(1, 6), (1, 7), (0, 7), (0, 6)] v=0
[(1, 8), (1, 9), (0, 9), (0, 8)] v=0
[(1, a), (1, b), (0, b), (0, a)] v=0
[(1, c), (1, d), (0, d), (0, c)] v=0
[(1, e), (1, f), (0, f), (0, e)] v=0
[(2, 0), (2, 2), (0, 2), (0, 0)] v=0
[(2, 0), (2, 3), (1, 3), (1, 0)] v=0
[(2, 1), (2, 3), (0, 3), (0, 1)] v=0
[(2, 1), (2, 2), (1, 2), (1, 1)] v=0
[(2, 4), (2, 6), (0, 6), (0, 4)] v=0
[(2, 4), (2, 7), (1, 7), (1, 4)] v=0
[(2, 5), (2, 7), (0, 7), (0, 5)] v=0
[(2, 5), (2, 6), (1, 6), (1, 5)] v=0
[(2, 8), (2, a), (0, a), (0, 8)] v=0
[(2, 8), (2, b), (1, b), (1, 8)] v=0
[(2, 9), (2, b), (0, b), (0, 9)] v=0
[(2, 9), (2, a), (1, a), (1, 9)] v=0
[(2, c), (2, e), (0, e), (0, c)] v=0
[(2, c), (2, f), (1, f), (1, c)] v=0
[(2, d), (2, f), (0, f), (0, d)] v=0
[(2, d), (2, e), (1, e), (1, d)] v=0
[(3, 0), (3, 3), (0, 3), (0, 0)] v=0
[(3, 0), (3, 2), (1, 2), (1, 0)] v=0
[(3, 0), (3, 1), (2, 1), (2, 0)] v=0
[(3, 1), (3, 2), (0, 2), (0, 1)] v=0
[(3, 1), (3, 3), (1, 3), (1, 1)] v=0
[(3, 2), (3, 3), (2, 3), (2, 2)] v=0
[(3, 4), (3, 7), (0, 7), (0, 4)] v=0
[(3, 4), (3, 6), (1, 6), (1, 4)] v=0
[(3, 4), (3, 5), (2, 5), (2, 4)] v=0
[(3, 5), (3, 6), (0, 6), (0, 5)] v=0
[(3, 5), (3, 7), (1, 7), (1, 5)] v=0
[(3, 6), (3, 7), (2, 7), (2, 6)] v=0
[(3, 8), (3, b), (0, b), (0, 8)] v=0
[(3, 8), (3, a), (1, a), (1, 8)] v=0
[(3, 8), (3, 9), (2, 9), (2, 8)] v=0
[(3, 9), (3, a), (0, a), (0, 9)] v=0
[(3, 9), (3, b), (1, b), (1, 9)] v=0
[(3, a), (3, b), (2, b), (2, a)] v=0
[(3, c), (3, f), (0, f), (0, c)] v=0
[(3, c), (3, e), (1, e), (1, c)] v=0
[(3, c), (3, d), (2, d), (2, c)] v=0
[(3, d), (3, e), (0, e), (0, d)] v=0
[(3, d), (3, f), (1, f), (1, d)] v=0
[(3, e), (3, f), (2, f), (2, e)] v=0
[(4, 0), (4, 4), (0, 4), (0, 0)] v=0
[(4, 0), (4, 5), (1, 5), (1, 0)] v=0
[(4, 0), (4, 6), (2, 6), (2, 0)] v=0
[(4, 0), (4, 7), (3, 7), (3, 0)] v=0
[(4, 1), (4, 5), (0, 5), (0, 1)] v=0
[(4, 1), (4, 4), (1, 4), (1, 1)] v=0
[(4, 1), (4, 7), (2, 7), (2, 1)] v=0
[(4, 1), (4, 6), (3, 6), (3, 1)] v=0
[(4, 2), (4, 6), (0, 6), (0, 2)] v=0
[(4, 2), (4, 7), (1, 7), (1, 2)] v=0
[(4, 2), (4, 4), (2, 4), (2, 2)] v=0
[(4, 2), (4, 5), (3, 5), (3, 2)] v=0
[(4, 3), (4, 7), (0, 7), (0, 3)] v=0
[(4, 3), (4, 6), (1, 6), (1, 3)] v=0
[(4, 3), (4, 5), (2, 5), (2, 3)] v=0
[(4, 3), (4, 4), (3, 4), (3, 3)] v=0
[(4, 8), (4, c), (0, c), (0, 8)] v=0
[(4, 8), (4, d), (1, d), (1, 8)] v=0
[(4, 8), (4, e), (2, e), (2, 8)] v=0
[(4, 8), (4, f), (3, f), (3, 8)] v=0
[(4, 9), (4, d), (0, d), (0, 9)] v=0
[(4, 9), (4, c), (1, c), (1, 9)] v=0
[(4, 9), (4, f), (2, f), (2, 9)] v=0
[(4, 9), (4, e), (3, e), (3, 9)] v=0
[(4, a), (4, e), (0, e), (0, a)] v=0
[(4, a), (4, f), (1, f), (1, a)] v=0
[(4, a), (4, c), (2, c), (2, a)] v=0
[(4, a), (4, d), (3, d), (3, a)] v=0
[(4, b), (4, f), (0, f), (0, b)] v=0
[(4, b), (4, e), (1, e), (1, b)] v=0
[(4, b), (4, d), (2, d), (2, b)] v=0
[(4, b), (4, c), (3, c), (3, b)] v=0
[(5, 0), (5, 5), (0, 5), (0, 0)] v=0
[(5, 0), (5, 4), (1, 4), (1, 0)] v=0
[(5, 0), (5, 7), (2, 7), (2, 0)] v=0
[(5, 0), (5, 6), (3, 6), (3, 0)] v=0
[(5, 0), (5, 1), (4, 1), (4, 0)] v=0
[(5, 1), (5, 4), (0, 4), (0, 1)] v=0
[(5, 1), (5, 5), (1, 5), (1, 1)] v=0
[(5, 1), (5, 6), (2, 6), (2, 1)] v=0
[(5, 1), (5, 7), (3, 7), (3, 1)] v=0
[(5, 2), (5, 7), (0, 7), (0, 2)] v=0
[(5, 2), (5, 6), (1, 6), (1, 2)] v=0
[(5, 2), (5, 5), (2, 5), (2, 2)] v=0
[(5, 2), (5, 4), (3, 4), (3, 2)] v=0
[(5, 2), (5, 3), (4, 3), (4, 2)] v=0
[(5, 3), (5, 6), (0, 6), (0, 3)] v=0
[(5, 3), (5, 7), (1, 7), (1, 3)] v=0
[(5, 3), (5, 4), (2, 4), (2, 3)] v=0
[(5, 3), (5, 5), (3, 5), (3, 3)] v=0
[(5, 4), (5, 5), (4, 5), (4, 4)] v=0
[(5, 6), (5, 7), (4, 7), (4, 6)] v=0
[(5, 8), (5, d), (0, d), (0, 8)] v=0
[(5, 8), (5, c), (1, c), (1, 8)] v=0
[(5, 8), (5, f), (2, f), (2, 8)] v=0
[(5, 8), (5, e), (3, e), (3, 8)] v=0
[(5, 8), (5, 9), (4, 9), (4, 8)] v=0
[(5, 9), (5, c), (0, c), (0, 9)] v=0
[(5, 9), (5, d), (1, d), (1, 9)] v=0
[(5, 9), (5, e), (2, e), (2, 9)] v=0
[(5, 9), (5, f), (3, f), (3, 9)] v=0
[(5, a), (5, f), (0, f), (0, a)] v=0
[(5, a), (5, e), (1, e), (1, a)] v=0
[(5, a), (5, d), (2, d), (2, a)] v=0
[(5, a), (5, c), (3, c), (3, a)] v=0
[(5, a), (5, b), (4, b), (4, a)] v=0
[(5, b), (5, e), (0, e), (0, b)] v=0
[(5, b), (5, f), (1, f), (1, b)] v=0
[(5, b), (5, c), (2, c), (2, b)] v=0
[(5, b), (5, d), (3, d), (3, b)] v=0
[(5, c), (5, d), (4, d), (4, c)] v=0
[(5, e), (5, f), (4, f), (4, e)] v=0
[(6, 0), (6, 6), (0, 6), (0, 0)] v=0
[(6, 0), (6, 7), (1, 7), (1, 0)] v=0
[(6, 0), (6, 4), (2, 4), (2, 0)] v=0
[(6, 0), (6, 5), (3, 5), (3, 0)] v=0
[(6, 0), (6, 2), (4, 2), (4, 0)] v=0
[(6, 0), (6, 3), (5, 3), (5, 0)] v=0
[(6, 1), (6, 7), (0, 7), (0, 1)] v=0
[(6, 1), (6, 6), (1, 6), (1, 1)] v=0
[(6, 1), (6, 5), (2, 5), (2, 1)] v=0
[(6, 1), (6, 4), (3, 4), (3, 1)] v=0
[(6, 1), (6, 3), (4, 3), (4, 1)] v=0
[(6, 1), (6, 2), (5, 2), (5, 1)] v=0
[(6, 2), (6, 4), (0, 4), (0, 2)] v=0
[(6, 2), (6, 5), (1, 5), (1, 2)] v=0
[(6, 2), (6, 6), (2, 6), (2, 2)] v=0
[(6, 2), (6, 7), (3, 7), (3, 2)] v=0
[(6, 3), (6, 5), (0, 5), (0, 3)] v=0
[(6, 3), (6, 4), (1, 4), (1, 3)] v=0
[(6, 3), (6, 7), (2, 7), (2, 3)] v=0
[(6, 3), (6, 6), (3, 6), (3, 3)] v=0
[(6, 4), (6, 6), (4, 6), (4, 4)] v=0
[(6, 4), (6, 7), (5, 7), (5, 4)] v=0
[(6, 5), (6, 7), (4, 7), (4, 5)] v=0
[(6, 5), (6, 6), (5, 6), (5, 5)] v=0
[(6, 8), (6, e), (0, e), (0, 8)] v=0
[(6, 8), (6, f), (1, f), (1, 8)] v=0
[(6, 8), (6, c), (2, c), (2, 8)] v=0
[(6, 8), (6, d), (3, d), (3, 8)] v=0
[(6, 8), (6, a), (4, a), (4, 8)] v=0
[(6, 8), (6, b), (5, b), (5, 8)] v=0
[(6, 9), (6, f), (0, f), (0, 9)] v=0
[(6, 9), (6, e), (1, e), (1, 9)] v=0
[(6, 9), (6, d), (2, d), (2, 9)] v=0
[(6, 9), (6, c), (3, c), (3, 9)] v=0
[(6, 9), (6, b), (4, b), (4, 9)] v=0
[(6, 9), (6, a), (5, a), (5, 9)] v=0
[(6, a), (6, c), (0, c), (0, a)] v=0
[(6, a), (6, d), (1, d), (1, a)] v=0
[(6, a), (6, e), (2, e), (2, a)] v=0
[(6, a), (6, f), (3, f), (3, a)] v=0
[(6, b), (6, d), (0, d), (0, b)] v=0
[(6, b), (6, c), (1, c), (1, b)] v=0
[(6, b), (6, f), (2, f), (2, b)] v=0
[(6, b), (6, e), (3, e), (3, b)] v=0
[(6, c), (6, e), (4, e), (4, c)] v=0
[(6, c), (6, f), (5, f), (5, c)] v=0
[(6, d), (6, f), (4, f), (4, d)] v=0
[(6, d), (6, e), (5, e), (5, d)] v=0
[(7, 0), (7, 7), (0, 7), (0, 0)] v=0
[(7, 0), (7, 6), (1, 6), (1, 0)] v=0
[(7, 0), (7, 5), (2, 5), (2, 0)] v=0
[(7, 0), (7, 4), (3, 4), (3, 0)] v=0
[(7, 0), (7, 3), (4, 3), (4, 0)] v=0
[(7, 0), (7, 2), (5, 2), (5, 0)] v=0
[(7, 0), (7, 1), (6, 1), (6, 0)] v=0
[(7, 1), (7, 6), (0, 6), (0, 1)] v=0
[(7, 1), (7, 7), (1, 7), (1, 1)] v=0
[(7, 1), (7, 4), (2, 4), (2, 1)] v=0
[(7, 1), (7, 5), (3, 5), (3, 1)] v=0
[(7, 1), (7, 2), (4, 2), (4, 1)] v=0
[(7, 1), (7, 3), (5, 3), (5, 1)] v=0
[(7, 2), (7, 5), (0, 5), (0, 2)] v=0
[(7, 2), (7, 4), (1, 4), (1, 2)] v=0
[(7, 2), (7, 7), (2, 7), (2, 2)] v=0
[(7, 2), (7, 6), (3, 6), (3, 2)] v=0
[(7, 2), (7, 3), (6, 3), (6, 2)] v=0
[(7, 3), (7, 4), (0, 4), (0, 3)] v=0
[(7, 3), (7, 5), (1, 5), (1, 3)] v=0
[(7, 3), (7, 6), (2, 6), (2, 3)] v=0
[(7, 3), (7, 7), (3, 7), (3, 3)] v=0
[(7, 4), (7, 7), (4, 7), (4, 4)] v=0
[(7, 4), (7, 6), (5, 6), (5, 4)] v=0
[(7, 4), (7, 5), (6, 5), (6, 4)] v=0
[(7, 5), (7, 6), (4, 6), (4, 5)] v=0
[(7, 5), (7, 7), (5, 7), (5, 5)] v=0
[(7, 6), (7, 7), (6, 7), (6, 6)] v=0
[(7, 8), (7, f), (0, f), (0, 8)] v=0
[(7, 8), (7, e), (1, e), (1, 8)] v=0
[(7, 8), (7, d), (2, d), (2, 8)] v=0
[(7, 8), (7, c), (3, c), (3, 8)] v=0
[(7, 8), (7, b), (4, b), (4, 8)] v=0
[(7, 8), (7, a), (5, a), (5, 8)] v=0
[(7, 8), (7, 9), (6, 9), (6, 8)] v=0
[(7, 9), (7, e), (0, e), (0, 9)] v=0
[(7, 9), (7, f), (1, f), (1, 9)] v=0
[(7, 9), (7, c), (2, c), (2, 9)] v=0
[(7, 9), (7, d), (3, d), (3, 9)] v=0
[(7, 9), (7, a), (4, a), (4, 9)] v=0
[(7, 9), (7, b), (5, b), (5, 9)] v=0
[(7, a), (7, d), (0, d), (0, a)] v=0
[(7, a), (7, c), (1, c), (1, a)] v=0
[(7, a), (7, f), (2, f), (2, a)] v=0
[(7, a), (7, e), (3, e), (3, a)] v=0
[(7, a), (7, b), (6, b), (6, a)] v=0
[(7, b), (7, c), (0, c), (0, b)] v=0
[(7, b), (7, d), (1, d), (1, b)] v=0
[(7, b), (7, e), (2, e), (2, b)] v=0
[(7, b), (7, f), (3, f), (3, b)] v=0
[(7, c), (7, f), (4, f), (4, c)] v=0
[(7, c), (7, e), (5, e), (5, c)] v=0
[(7, c), (7, d), (6, d), (6, c)] v=0
[(7, d), (7, e), (4, e), (4, d)] v=0
[(7, d), (7, f), (5, f), (5, d)] v=0
[(7, e), (7, f), (6, f), (6, e)] v=0
[(8, 0), (8, 8), (0, 8), (0, 0)] v=0
[(8, 0), (8, 9), (1, 9), (1, 0)] v=0
[(8, 0), (8, a), (2, a), (2, 0)] v=0
[(8, 0), (8, b), (3, b), (3, 0)] v=0
[(8, 0), (8, c), (4, c), (4, 0)] v=0
[(8, 0), (8, d), (5, d), (5, 0)] v=0
[(8, 0), (8, e), (6, e), (6, 0)] v=0
[(8, 0), (8, f), (7, f), (7, 0)] v=0
[(8, 1), (8, 9), (0, 9), (0, 1)] v=0
[(8, 1), (8, 8), (1, 8), (1, 1)] v=0
[(8, 1), (8, b), (2, b), (2, 1)] v=0
[(8, 1), (8, a), (3, a), (3, 1)] v=0
[(8, 1), (8, d), (4, d), (4, 1)] v=0
[(8, 1), (8, c), (5, c), (5, 1)] v=0
[(8, 1), (8, f), (6, f), (6, 1)] v=0
[(8, 1), (8, e), (7, e), (7, 1)] v=0
[(8, 2), (8, a), (0, a), (0, 2)] v=0
[(8, 2), (8, b), (1, b), (1, 2)] v=0
[(8, 2), (8, 8), (2, 8), (2, 2)] v=0
[(8, 2), (8, 9), (3, 9), (3, 2)] v=0
[(8, 2), (8, e), (4, e), (4, 2)] v=0
[(8, 2), (8, f), (5, f), (5, 2)] v=0
[(8, 2), (8, c), (6, c), (6, 2)] v=0
[(8, 2), (8, d), (7, d), (7, 2)] v=0
[(8, 3), (8, b), (0, b), (0, 3)] v=0
[(8, 3), (8, a), (1, a), (1, 3)] v=0
[(8, 3), (8, 9), (2, 9), (2, 3)] v=0
[(8, 3), (8, 8), (3, 8), (3, 3)] v=0
[(8, 3), (8, f), (4, f), (4, 3)] v=0
[(8, 3), (8, e), (5, e), (5, 3)] v=0
[(8, 3), (8, d), (6, d), (6, 3)] v=0
[(8, 3), (8, c), (7, c), (7, 3)] v=0
[(8, 4), (8, c), (0, c), (0, 4)] v=0
[(8, 4), (8, d), (1, d), (1, 4)] v=0
[(8, 4), (8, e), (2, e), (2, 4)] v=0
[(8, 4), (8, f), (3, f), (3, 4)] v=0
[(8, 4), (8, 8), (4, 8), (4, 4)] v=0
[(8, 4), (8, 9), (5, 9), (5, 4)] v=0
[(8, 4), (8, a), (6, a), (6, 4)] v=0
[(8, 4), (8, b), (7, b), (7, 4)] v=0
[(8, 5), (8, d), (0, d), (0, 5)] v=0
[(8, 5), (8, c), (1, c), (1, 5)] v=0
[(8, 5), (8, f), (2, f), (2, 5)] v=0
[(8, 5), (8, e), (3, e), (3, 5)] v=0
[(8, 5), (8, 9), (4, 9), (4, 5)] v=0
[(8, 5), (8, 8), (5, 8), (5, 5)] v=0
[(8, 5), (8, b), (6, b), (6, 5)] v=0
[(8, 5), (8, a), (7, a), (7, 5)] v=0
[(8, 6), (8, e), (0, e), (0, 6)] v=0
[(8, 6), (8, f), (1, f), (1, 6)] v=0
[(8, 6), (8, c), (2, c), (2, 6)] v=0
[(8, 6), (8, d), (3, d), (3, 6)] v=0
[(8, 6), (8, a), (4, a), (4, 6)] v=0
[(8, 6), (8, b), (5, b), (5, 6)] v=0
[(8, 6), (8, 8), (6, 8), (6, 6)] v=0
[(8, 6), (8, 9), (7, 9), (7, 6)] v=0
[(8, 7), (8, f), (0, f), (0, 7)] v=0
[(8, 7), (8, e), (1, e), (1, 7)] v=0
[(8, 7), (8, d), (2, d), (2, 7)] v=0
[(8, 7), (8, c), (3, c), (3, 7)] v=0
[(8, 7), (8, b), (4, b), (4, 7)] v=0
[(8, 7), (8, a), (5, a), (5, 7)] v=0
[(8, 7), (8, 9), (6, 9), (6, 7)] v=0
[(8, 7), (8, 8), (7, 8), (7, 7)] v=0
[(9, 0), (9, 9), (0, 9), (0, 0)] v=0
[(9, 0), (9, 8), (1, 8), (1, 0)] v=0
[(9, 0), (9, b), (2, b), (2, 0)] v=1
[(9, 0), (9, a), (3, a), (3, 0)] v=1
[(9, 0), (9, d), (4, d), (4, 0)] v=1
[(9, 0), (9, c), (5, c), (5, 0)] v=1
[(9, 0), (9, f), (6, f), (6, 0)] v=0
[(9, 0), (9, e), (7, e), (7, 0)] v=0
[(9, 0), (9, 1), (8, 1), (8, 0)] v=0
[(9, 1), (9, 8), (0, 8), (0, 1)] v=0
[(9, 1), (9, 9), (1, 9), (1, 1)] v=0
[(9, 1), (9, a), (2, a), (2, 1)] v=1
[(9, 1), (9, b), (3, b), (3, 1)] v=1
[(9, 1), (9, c), (4, c), (4, 1)] v=1
[(9, 1), (9, d), (5, d), (5, 1)] v=1
[(9, 1), (9, e), (6, e), (6, 1)] v=0
[(9, 1), (9, f), (7, f), (7, 1)] v=0
[(9, 2), (9, b), (0, b), (0, 2)] v=0
[(9, 2), (9, a), (1, a), (1, 2)] v=0
[(9, 2), (9, 9), (2, 9), (2, 2)] v=1
[(9, 2), (9, 8), (3, 8), (3, 2)] v=1
[(9, 2), (9, f), (4, f), (4, 2)] v=0
[(9, 2), (9, e), (5, e), (5, 2)] v=0
[(9, 2), (9, d), (6, d), (6, 2)] v=1
[(9, 2), (9, c), (7, c), (7, 2)] v=1
[(9, 2), (9, 3), (8, 3), (8, 2)] v=0
[(9, 3), (9, a), (0, a), (0, 3)] v=0
[(9, 3), (9, b), (1, b), (1, 3)] v=0
[(9, 3), (9, 8), (2, 8), (2, 3)] v=1
[(9, 3), (9, 9), (3, 9), (3, 3)] v=1
[(9, 3), (9, e), (4, e), (4, 3)] v=0
[(9, 3), (9, f), (5, f), (5, 3)] v=0
[(9, 3), (9, c), (6, c), (6, 3)] v=1
[(9, 3), (9, d), (7, d), (7, 3)] v=1
[(9, 4), (9, d), (0, d), (0, 4)] v=0
[(9, 4), (9, c), (1, c), (1, 4)] v=0
[(9, 4), (9, f), (2, f), (2, 4)] v=0
[(9, 4), (9, e), (3, e), (3, 4)] v=0
[(9, 4), (9, 9), (4, 9), (4, 4)] v=1
[(9, 4), (9, 8), (5, 8), (5, 4)] v=1
[(9, 4), (9, b), (6, b), (6, 4)] v=1
[(9, 4), (9, a), (7, a), (7, 4)] v=1
[(9, 4), (9, 5), (8, 5), (8, 4)] v=0
[(9, 5), (9, c), (0, c), (0, 5)] v=0
[(9, 5), (9, d), (1, d), (1, 5)] v=0
[(9, 5), (9, e), (2, e), (2, 5)] v=0
[(9, 5), (9, f), (3, f), (3, 5)] v=0
[(9, 5), (9, 8), (4, 8), (4, 5)] v=1
[(9, 5), (9, 9), (5, 9), (5, 5)] v=1
[(9, 5), (9, a), (6, a), (6, 5)] v=1
[(9, 5), (9, b), (7, b), (7, 5)] v=1
[(9, 6), (9, f), (0, f), (0, 6)] v=0
[(9, 6), (9, e), (1, e), (1, 6)] v=0
[(9, 6), (9, d), (2, d), (2, 6)] v=0
[(9, 6), (9, c), (3, c), (3, 6)] v=0
[(9, 6), (9, b), (4, b), (4, 6)] v=0
[(9, 6), (9, a), (5, a), (5, 6)] v=0
[(9, 6), (9, 9), (6, 9), (6, 6)] v=0
[(9, 6), (9, 8), (7, 8), (7, 6)] v=0
[(9, 6), (9, 7), (8, 7), (8, 6)] v=0
[(9, 7), (9, e), (0, e), (0, 7)] v=0
[(9, 7), (9, f), (1, f), (1, 7)] v=0
[(9, 7), (9, c), (2, c), (2, 7)] v=0
[(9, 7), (9, d), (3, d), (3, 7)] v=0
[(9, 7), (9, a), (4, a), (4, 7)] v=0
[(9, 7), (9, b), (5, b), (5, 7)] v=0
[(9, 7), (9, 8), (6, 8), (6, 7)] v=0
[(9, 7), (9, 9), (7, 9), (7, 7)] v=0
[(9, 8), (9, 9), (8, 9), (8, 8)] v=0
[(9, a), (9, b), (8, b), (8, a)] v=0
[(9, c), (9, d), (8, d), (8, c)] v=0
[(9, e), (9, f), (8, f), (8, e)] v=0
[(a, 0), (a, a), (0, a), (0, 0)] v=0
[(a, 0), (a, b), (1, b), (1, 0)] v=1
[(a, 0), (a, 8), (2, 8), (2, 0)] v=0
[(a, 0), (a, 9), (3, 9), (3, 0)] v=1
[(a, 0), (a, e), (4, e), (4, 0)] v=1
[(a, 0), (a, f), (5, f), (5, 0)] v=0
[(a, 0), (a, c), (6, c), (6, 0)] v=1
[(a, 0), (a, d), (7, d), (7, 0)] v=0
[(a, 0), (a, 2), (8, 2), (8, 0)] v=0
[(a, 0), (a, 3), (9, 3), (9, 0)] v=0
[(a, 1), (a, b), (0, b), (0, 1)] v=0
[(a, 1), (a, a), (1, a), (1, 1)] v=1
[(a, 1), (a, 9), (2, 9), (2, 1)] v=0
[(a, 1), (a, 8), (3, 8), (3, 1)] v=1
[(a, 1), (a, f), (4, f), (4, 1)] v=0
[(a, 1), (a, e), (5, e), (5, 1)] v=1
[(a, 1), (a, d), (6, d), (6, 1)] v=0
[(a, 1), (a, c), (7, c), (7, 1)] v=1
[(a, 1), (a, 3), (8, 3), (8, 1)] v=0
[(a, 1), (a, 2), (9, 2), (9, 1)] v=0
[(a, 2), (a, 8), (0, 8), (0, 2)] v=0
[(a, 2), (a, 9), (1, 9), (1, 2)] v=1
[(a, 2), (a, a), (2, a), (2, 2)] v=0
[(a, 2), (a, b), (3, b), (3, 2)] v=1
[(a, 2), (a, c), (4, c), (4, 2)] v=1
[(a, 2), (a, d), (5, d), (5, 2)] v=0
[(a, 2), (a, e), (6, e), (6, 2)] v=1
[(a, 2), (a, f), (7, f), (7, 2)] v=0
[(a, 3), (a, 9), (0, 9), (0, 3)] v=0
[(a, 3), (a, 8), (1, 8), (1, 3)] v=1
[(a, 3), (a, b), (2, b), (2, 3)] v=0
[(a, 3), (a, a), (3, a), (3, 3)] v=1
[(a, 3), (a, d), (4, d), (4, 3)] v=0
[(a, 3), (a, c), (5, c), (5, 3)] v=1
[(a, 3), (a, f), (6, f), (6, 3)] v=0
[(a, 3), (a, e), (7, e), (7, 3)] v=1
[(a, 4), (a, e), (0, e), (0, 4)] v=0
[(a, 4), (a, f), (1, f), (1, 4)] v=0
[(a, 4), (a, c), (2, c), (2, 4)] v=0
[(a, 4), (a, d), (3, d), (3, 4)] v=0
[(a, 4), (a, a), (4, a), (4, 4)] v=1
[(a, 4), (a, b), (5, b), (5, 4)] v=1
[(a, 4), (a, 8), (6, 8), (6, 4)] v=1
[(a, 4), (a, 9), (7, 9), (7, 4)] v=1
[(a, 4), (a, 6), (8, 6), (8, 4)] v=0
[(a, 4), (a, 7), (9, 7), (9, 4)] v=0
[(a, 5), (a, f), (0, f), (0, 5)] v=0
[(a, 5), (a, e), (1, e), (1, 5)] v=0
[(a, 5), (a, d), (2, d), (2, 5)] v=0
[(a, 5), (a, c), (3, c), (3, 5)] v=0
[(a, 5), (a, b), (4, b), (4, 5)] v=0
[(a, 5), (a, a), (5, a), (5, 5)] v=0
[(a, 5), (a, 9), (6, 9), (6, 5)] v=0
[(a, 5), (a, 8), (7, 8), (7, 5)] v=0
[(a, 5), (a, 7), (8, 7), (8, 5)] v=0
[(a, 5), (a, 6), (9, 6), (9, 5)] v=0
[(a, 6), (a, c), (0, c), (0, 6)] v=0
[(a, 6), (a, d), (1, d), (1, 6)] v=0
[(a, 6), (a, e), (2, e), (2, 6)] v=0
[(a, 6), (a, f), (3, f), (3, 6)] v=0
[(a, 6), (a, 8), (4, 8), (4, 6)] v=1
[(a, 6), (a, 9), (5, 9), (5, 6)] v=1
[(a, 6), (a, a), (6, a), (6, 6)] v=1
[(a, 6), (a, b), (7, b), (7, 6)] v=1
[(a, 7), (a, d), (0, d), (0, 7)] v=0
[(a, 7), (a, c), (1, c), (1, 7)] v=0
[(a, 7), (a, f), (2, f), (2, 7)] v=0
[(a, 7), (a, e), (3, e), (3, 7)] v=0
[(a, 7), (a, 9), (4, 9), (4, 7)] v=0
[(a, 7), (a, 8), (5, 8), (5, 7)] v=0
[(a, 7), (a, b), (6, b), (6, 7)] v=0
[(a, 7), (a, a), (7, a), (7, 7)] v=0
[(a, 8), (a, a), (8, a), (8, 8)] v=0
[(a, 8), (a, b), (9, b), (9, 8)] v=0
[(a, 9), (a, b), (8, b), (8, 9)] v=0
[(a, 9), (a, a), (9, a), (9, 9)] v=0
[(a, c), (a, e), (8, e), (8, c)] v=0
[(a, c), (a, f), (9, f), (9, c)] v=0
[(a, d), (a, f), (8, f), (8, d)] v=0
[(a, d), (a, e), (9, e), (9, d)] v=0
[(b, 0), (b, b), (0, b), (0, 0)] v=0
[(b, 0), (b, a), (1, a), (1, 0)] v=1
[(b, 0), (b, 9), (2, 9), (2, 0)] v=1
[(b, 0), (b, 8), (3, 8), (3, 0)] v=0
[(b, 0), (b, f), (4, f), (4, 0)] v=0
[(b, 0), (b, e), (5, e), (5, 0)] v=1
[(b, 0), (b, d), (6, d), (6, 0)] v=1
[(b, 0), (b, c), (7, c), (7, 0)] v=0
[(b, 0), (b, 3), (8, 3), (8, 0)] v=0
[(b, 0), (b, 2), (9, 2), (9, 0)] v=0
[(b, 0), (b, 1), (a, 1), (a, 0)] v=0
[(b, 1), (b, a), (0, a), (0, 1)] v=0
[(b, 1), (b, b), (1, b), (1, 1)] v=1
[(b, 1), (b, 8), (2, 8), (2, 1)] v=1
[(b, 1), (b, 9), (3, 9), (3, 1)] v=0
[(b, 1), (b, e), (4, e), (4, 1)] v=1
[(b, 1), (b, f), (5, f), (5, 1)] v=0
[(b, 1), (b, c), (6, c), (6, 1)] v=0
[(b, 1), (b, d), (7, d), (7, 1)] v=1
[(b, 1), (b, 2), (8, 2), (8, 1)] v=0
[(b, 1), (b, 3), (9, 3), (9, 1)] v=0
[(b, 2), (b, 9), (0, 9), (0, 2)] v=0
[(b, 2), (b, 8), (1, 8), (1, 2)] v=1
[(b, 2), (b, b), (2, b), (2, 2)] v=1
[(b, 2), (b, a), (3, a), (3, 2)] v=0
[(b, 2), (b, d), (4, d), (4, 2)] v=1
[(b, 2), (b, c), (5, c), (5, 2)] v=0
[(b, 2), (b, f), (6, f), (6, 2)] v=0
[(b, 2), (b, e), (7, e), (7, 2)] v=1
[(b, 2), (b, 3), (a, 3), (a, 2)] v=0
[(b, 3), (b, 8), (0, 8), (0, 3)] v=0
[(b, 3), (b, 9), (1, 9), (1, 3)] v=1
[(b, 3), (b, a), (2, a), (2, 3)] v=1
[(b, 3), (b, b), (3, b), (3, 3)] v=0
[(b, 3), (b, c), (4, c), (4, 3)] v=0
[(b, 3), (b, d), (5, d), (5, 3)] v=1
[(b, 3), (b, e), (6, e), (6, 3)] v=1
[(b, 3), (b, f), (7, f), (7, 3)] v=0
[(b, 4), (b, f), (0, f), (0, 4)] v=0
[(b, 4), (b, e), (1, e), (1, 4)] v=0
[(b, 4), (b, d), (2, d), (2, 4)] v=0
[(b, 4), (b, c), (3, c), (3, 4)] v=0
[(b, 4), (b, b), (4, b), (4, 4)] v=0
[(b, 4), (b, a), (5, a), (5, 4)] v=0
[(b, 4), (b, 9), (6, 9), (6, 4)] v=0
[(b, 4), (b, 8), (7, 8), (7, 4)] v=0
[(b, 4), (b, 7), (8, 7), (8, 4)] v=0
[(b, 4), (b, 6), (9, 6), (9, 4)] v=0
[(b, 4), (b, 5), (a, 5), (a, 4)] v=0
[(b, 5), (b, e), (0, e), (0, 5)] v=0
[(b, 5), (b, f), (1, f), (1, 5)] v=0
[(b, 5), (b, c), (2, c), (2, 5)] v=0
[(b, 5), (b, d), (3, d), (3, 5)] v=0
[(b, 5), (b, a), (4, a), (4, 5)] v=1
[(b, 5), (b, b), (5, b), (5, 5)] v=1
[(b, 5), (b, 8), (6, 8), (6, 5)] v=1
[(b, 5), (b, 9), (7, 9), (7, 5)] v=1
[(b, 5), (b, 6), (8, 6), (8, 5)] v=0
[(b, 5), (b, 7), (9, 7), (9, 5)] v=0
[(b, 6), (b, d), (0, d), (0, 6)] v=0
[(b, 6), (b, c), (1, c), (1, 6)] v=0
[(b, 6), (b, f), (2, f), (2, 6)] v=0
[(b, 6), (b, e), (3, e), (3, 6)] v=0
[(b, 6), (b, 9), (4, 9), (4, 6)] v=1
[(b, 6), (b, 8), (5, 8), (5, 6)] v=1
[(b, 6), (b, b), (6, b), (6, 6)] v=1
[(b, 6), (b, a), (7, a), (7, 6)] v=1
[(b, 6), (b, 7), (a, 7), (a, 6)] v=0
[(b, 7), (b, c), (0, c), (0, 7)] v=0
[(b, 7), (b, d), (1, d), (1, 7)] v=0
[(b, 7), (b, e), (2, e), (2, 7)] v=0
[(b, 7), (b, f), (3, f), (3, 7)] v=0
[(b, 7), (b, 8), (4, 8), (4, 7)] v=0
[(b, 7), (b, 9), (5, 9), (5, 7)] v=0
[(b, 7), (b, a), (6, a), (6, 7)] v=0
[(b, 7), (b, b), (7, b), (7, 7)] v=0
[(b, 8), (b, b), (8, b), (8, 8)] v=0
[(b, 8), (b, a), (9, a), (9, 8)] v=0
[(b, 8), (b, 9), (a, 9), (a, 8)] v=0
[(b, 9), (b, a), (8, a), (8, 9)] v=0
[(b, 9), (b, b), (9, b), (9, 9)] v=0
[(b, a), (b, b), (a, b), (a, a)] v=0
[(b, c), (b, f), (8, f), (8, c)] v=0
[(b, c), (b, e), (9, e), (9, c)] v=0
[(b, c), (b, d), (a, d), (a, c)] v=0
[(b, d), (b, e), (8, e), (8, d)] v=0
[(b, d), (b, f), (9, f), (9, d)] v=0
[(b, e), (b, f), (a, f), (a, e)] v=0
[(c, 0), (c, c), (0, c), (0, 0)] v=0
[(c, 0), (c, d), (1, d), (1, 0)] v=1
[(c, 0), (c, e), (2, e), (2, 0)] v=1
[(c, 0), (c, f), (3, f), (3, 0)] v=0
[(c, 0), (c, 8), (4, 8), (4, 0)] v=0
[(c, 0), (c, 9), (5, 9), (5, 0)] v=1
[(c, 0), (c, a), (6, a), (6, 0)] v=1
[(c, 0), (c, b), (7, b), (7, 0)] v=0
[(c, 0), (c, 4), (8, 4), (8, 0)] v=0
[(c, 0), (c, 5), (9, 5), (9, 0)] v=0
[(c, 0), (c, 6), (a, 6), (a, 0)] v=0
[(c, 0), (c, 7), (b, 7), (b, 0)] v=0
[(c, 1), (c, d), (0, d), (0, 1)] v=0
[(c, 1), (c, c), (1, c), (1, 1)] v=1
[(c, 1), (c, f), (2, f), (2, 1)] v=0
[(c, 1), (c, e), (3, e), (3, 1)] v=1
[(c, 1), (c, 9), (4, 9), (4, 1)] v=0
[(c, 1), (c, 8), (5, 8), (5, 1)] v=1
[(c, 1), (c, b), (6, b), (6, 1)] v=0
[(c, 1), (c, a), (7, a), (7, 1)] v=1
[(c, 1), (c, 5), (8, 5), (8, 1)] v=0
[(c, 1), (c, 4), (9, 4), (9, 1)] v=0
[(c, 1), (c, 7), (a, 7), (a, 1)] v=0
[(c, 1), (c, 6), (b, 6), (b, 1)] v=0
[(c, 2), (c, e), (0, e), (0, 2)] v=0
[(c, 2), (c, f), (1, f), (1, 2)] v=0
[(c, 2), (c, c), (2, c), (2, 2)] v=1
[(c, 2), (c, d), (3, d), (3, 2)] v=1
[(c, 2), (c, a), (4, a), (4, 2)] v=0
[(c, 2), (c, b), (5, b), (5, 2)] v=0
[(c, 2), (c, 8), (6, 8), (6, 2)] v=1
[(c, 2), (c, 9), (7, 9), (7, 2)] v=1
[(c, 2), (c, 6), (8, 6), (8, 2)] v=0
[(c, 2), (c, 7), (9, 7), (9, 2)] v=0
[(c, 2), (c, 4), (a, 4), (a, 2)] v=0
[(c, 2), (c, 5), (b, 5), (b, 2)] v=0
[(c, 3), (c, f), (0, f), (0, 3)] v=0
[(c, 3), (c, e), (1, e), (1, 3)] v=0
[(c, 3), (c, d), (2, d), (2, 3)] v=0
[(c, 3), (c, c), (3, c), (3, 3)] v=0
[(c, 3), (c, b), (4, b), (4, 3)] v=0
[(c, 3), (c, a), (5, a), (5, 3)] v=0
[(c, 3), (c, 9), (6, 9), (6, 3)] v=0
[(c, 3), (c, 8), (7, 8), (7, 3)] v=0
[(c, 3), (c, 7), (8, 7), (8, 3)] v=0
[(c, 3), (c, 6), (9, 6), (9, 3)] v=0
[(c, 3), (c, 5), (a, 5), (a, 3)] v=0
[(c, 3), (c, 4), (b, 4), (b, 3)] v=0
[(c, 4), (c, 8), (0, 8), (0, 4)] v=0
[(c, 4), (c, 9), (1, 9), (1, 4)] v=1
[(c, 4), (c, a), (2, a), (2, 4)] v=1
[(c, 4), (c, b), (3, b), (3, 4)] v=0
[(c, 4), (c, c), (4, c), (4, 4)] v=0
[(c, 4), (c, d), (5, d), (5, 4)] v=1
[(c, 4), (c, e), (6, e), (6, 4)] v=1
[(c, 4), (c, f), (7, f), (7, 4)] v=0
[(c, 5), (c, 9), (0, 9), (0, 5)] v=0
[(c, 5), (c, 8), (1, 8), (1, 5)] v=1
[(c, 5), (c, b), (2, b), (2, 5)] v=0
[(c, 5), (c, a), (3, a), (3, 5)] v=1
[(c, 5), (c, d), (4, d), (4, 5)] v=0
[(c, 5), (c, c), (5, c), (5, 5)] v=1
[(c, 5), (c, f), (6, f), (6, 5)] v=0
[(c, 5), (c, e), (7, e), (7, 5)] v=1
[(c, 6), (c, a), (0, a), (0, 6)] v=0
[(c, 6), (c, b), (1, b), (1, 6)] v=0
[(c, 6), (c, 8), (2, 8), (2, 6)] v=1
[(c, 6), (c, 9), (3, 9), (3, 6)] v=1
[(c, 6), (c, e), (4, e), (4, 6)] v=0
[(c, 6), (c, f), (5, f), (5, 6)] v=0
[(c, 6), (c, c), (6, c), (6, 6)] v=1
[(c, 6), (c, d), (7, d), (7, 6)] v=1
[(c, 7), (c, b), (0, b), (0, 7)] v=0
[(c, 7), (c, a), (1, a), (1, 7)] v=0
[(c, 7), (c, 9), (2, 9), (2, 7)] v=0
[(c, 7), (c, 8), (3, 8), (3, 7)] v=0
[(c, 7), (c, f), (4, f), (4, 7)] v=0
[(c, 7), (c, e), (5, e), (5, 7)] v=0
[(c, 7), (c, d), (6, d), (6, 7)] v=0
[(c, 7), (c, c), (7, c), (7, 7)] v=0
[(c, 8), (c, c), (8, c), (8, 8)] v=0
[(c, 8), (c, d), (9, d), (9, 8)] v=0
[(c, 8), (c, e), (a, e), (a, 8)] v=0
[(c, 8), (c, f), (b, f), (b, 8)] v=0
[(c, 9), (c, d), (8, d), (8, 9)] v=0
[(c, 9), (c, c), (9, c), (9, 9)] v=0
[(c, 9), (c, f), (a, f), (a, 9)] v=0
[(c, 9), (c, e), (b, e), (b, 9)] v=0
[(c, a), (c, e), (8, e), (8, a)] v=0
[(c, a), (c, f), (9, f), (9, a)] v=0
[(c, a), (c, c), (a, c), (a, a)] v=0
[(c, a), (c, d), (b, d), (b, a)] v=0
[(c, b), (c, f), (8, f), (8, b)] v=0
[(c, b), (c, e), (9, e), (9, b)] v=0
[(c, b), (c, d), (a, d), (a, b)] v=0
[(c, b), (c, c), (b, c), (b, b)] v=0
[(d, 0), (d, d), (0, d), (0, 0)] v=0
[(d, 0), (d, c), (1, c), (1, 0)] v=1
[(d, 0), (d, f), (2, f), (2, 0)] v=0
[(d, 0), (d, e), (3, e), (3, 0)] v=1
[(d, 0), (d, 9), (4, 9), (4, 0)] v=1
[(d, 0), (d, 8), (5, 8), (5, 0)] v=0
[(d, 0), (d, b), (6, b), (6, 0)] v=1
[(d, 0), (d, a), (7, a), (7, 0)] v=0
[(d, 0), (d, 5), (8, 5), (8, 0)] v=0
[(d, 0), (d, 4), (9, 4), (9, 0)] v=0
[(d, 0), (d, 7), (a, 7), (a, 0)] v=0
[(d, 0), (d, 6), (b, 6), (b, 0)] v=0
[(d, 0), (d, 1), (c, 1), (c, 0)] v=0
[(d, 1), (d, c), (0, c), (0, 1)] v=0
[(d, 1), (d, d), (1, d), (1, 1)] v=1
[(d, 1), (d, e), (2, e), (2, 1)] v=1
[(d, 1), (d, f), (3, f), (3, 1)] v=0
[(d, 1), (d, 8), (4, 8), (4, 1)] v=1
[(d, 1), (d, 9), (5, 9), (5, 1)] v=0
[(d, 1), (d, a), (6, a), (6, 1)] v=0
[(d, 1), (d, b), (7, b), (7, 1)] v=1
[(d, 1), (d, 4), (8, 4), (8, 1)] v=0
[(d, 1), (d, 5), (9, 5), (9, 1)] v=0
[(d, 1), (d, 6), (a, 6), (a, 1)] v=0
[(d, 1), (d, 7), (b, 7), (b, 1)] v=0
[(d, 2), (d, f), (0, f), (0, 2)] v=0
[(d, 2), (d, e), (1, e), (1, 2)] v=0
[(d, 2), (d, d), (2, d), (2, 2)] v=0
[(d, 2), (d, c), (3, c), (3, 2)] v=0
[(d, 2), (d, b), (4, b), (4, 2)] v=0
[(d, 2), (d, a), (5, a), (5, 2)] v=0
[(d, 2), (d, 9), (6, 9), (6, 2)] v=0
[(d, 2), (d, 8), (7, 8), (7, 2)] v=0
[(d, 2), (d, 7), (8, 7), (8, 2)] v=0
[(d, 2), (d, 6), (9, 6), (9, 2)] v=0
[(d, 2), (d, 5), (a, 5), (a, 2)] v=0
[(d, 2), (d, 4), (b, 4), (b, 2)] v=0
[(d, 2), (d, 3), (c, 3), (c, 2)] v=0
[(d, 3), (d, e), (0, e), (0, 3)] v=0
[(d, 3), (d, f), (1, f), (1, 3)] v=0
[(d, 3), (d, c), (2, c), (2, 3)] v=1
[(d, 3), (d, d), (3, d), (3, 3)] v=1
[(d, 3), (d, a), (4, a), (4, 3)] v=0
[(d, 3), (d, b), (5, b), (5, 3)] v=0
[(d, 3), (d, 8), (6, 8), (6, 3)] v=1
[(d, 3), (d, 9), (7, 9), (7, 3)] v=1
[(d, 3), (d, 6), (8, 6), (8, 3)] v=0
[(d, 3), (d, 7), (9, 7), (9, 3)] v=0
[(d, 3), (d, 4), (a, 4), (a, 3)] v=0
[(d, 3), (d, 5), (b, 5), (b, 3)] v=0
[(d, 4), (d, 9), (0, 9), (0, 4)] v=0
[(d, 4), (d, 8), (1, 8), (1, 4)] v=1
[(d, 4), (d, b), (2, b), (2, 4)] v=1
[(d, 4), (d, a), (3, a), (3, 4)] v=0
[(d, 4), (d, d), (4, d), (4, 4)] v=1
[(d, 4), (d, c), (5, c), (5, 4)] v=0
[(d, 4), (d, f), (6, f), (6, 4)] v=0
[(d, 4), (d, e), (7, e), (7, 4)] v=1
[(d, 4), (d, 5), (c, 5), (c, 4)] v=0
[(d, 5), (d, 8), (0, 8), (0, 5)] v=0
[(d, 5), (d, 9), (1, 9), (1, 5)] v=1
[(d, 5), (d, a), (2, a), (2, 5)] v=0
[(d, 5), (d, b), (3, b), (3, 5)] v=1
[(d, 5), (d, c), (4, c), (4, 5)] v=1
[(d, 5), (d, d), (5, d), (5, 5)] v=0
[(d, 5), (d, e), (6, e), (6, 5)] v=1
[(d, 5), (d, f), (7, f), (7, 5)] v=0
[(d, 6), (d, b), (0, b), (0, 6)] v=0
[(d, 6), (d, a), (1, a), (1, 6)] v=0
[(d, 6), (d, 9), (2, 9), (2, 6)] v=1
[(d, 6), (d, 8), (3, 8), (3, 6)] v=1
[(d, 6), (d, f), (4, f), (4, 6)] v=0
[(d, 6), (d, e), (5, e), (5, 6)] v=0
[(d, 6), (d, d), (6, d), (6, 6)] v=1
[(d, 6), (d, c), (7, c), (7, 6)] v=1
[(d, 6), (d, 7), (c, 7), (c, 6)] v=0
[(d, 7), (d, a), (0, a), (0, 7)] v=0
[(d, 7), (d, b), (1, b), (1, 7)] v=0
[(d, 7), (d, 8), (2, 8), (2, 7)] v=0
[(d, 7), (d, 9), (3, 9), (3, 7)] v=0
[(d, 7), (d, e), (4, e), (4, 7)] v=0
[(d, 7), (d, f), (5, f), (5, 7)] v=0
[(d, 7), (d, c), (6, c), (6, 7)] v=0
[(d, 7), (d, d), (7, d), (7, 7)] v=0
[(d, 8), (d, d), (8, d), (8, 8)] v=0
[(d, 8), (d, c), (9, c), (9, 8)] v=0
[(d, 8), (d, f), (a, f), (a, 8)] v=0
[(d, 8), (d, e), (b, e), (b, 8)] v=0
[(d, 8), (d, 9), (c, 9), (c, 8)] v=0
[(d, 9), (d, c), (8, c), (8, 9)] v=0
[(d, 9), (d, d), (9, d), (9, 9)] v=0
[(d, 9), (d, e), (a, e), (a, 9)] v=0
[(d, 9), (d, f), (b, f), (b, 9)] v=0
[(d, a), (d, f), (8, f), (8, a)] v=0
[(d, a), (d, e), (9, e), (9, a)] v=0
[(d, a), (d, d), (a, d), (a, a)] v=0
[(d, a), (d, c), (b, c), (b, a)] v=0
[(d, a), (d, b), (c, b), (c, a)] v=0
[(d, b), (d, e), (8, e), (8, b)] v=0
[(d, b), (d, f), (9, f), (9, b)] v=0
[(d, b), (d, c), (a, c), (a, b)] v=0
[(d, b), (d, d), (b, d), (b, b)] v=0
[(d, c), (d, d), (c, d), (c, c)] v=0
[(d, e), (d, f), (c, f), (c, e)] v=0
[(e, 0), (e, e), (0, e), (0, 0)] v=0
[(e, 0), (e, f), (1, f), (1, 0)] v=0
[(e, 0), (e, c), (2, c), (2, 0)] v=1
[(e, 0), (e, d), (3, d), (3, 0)] v=1
[(e, 0), (e, a), (4, a), (4, 0)] v=1
[(e, 0), (e, b), (5, b), (5, 0)] v=1
[(e, 0), (e, 8), (6, 8), (6, 0)] v=0
[(e, 0), (e, 9), (7, 9), (7, 0)] v=0
[(e, 0), (e, 6), (8, 6), (8, 0)] v=0
[(e, 0), (e, 7), (9, 7), (9, 0)] v=0
[(e, 0), (e, 4), (a, 4), (a, 0)] v=0
[(e, 0), (e, 5), (b, 5), (b, 0)] v=0
[(e, 0), (e, 2), (c, 2), (c, 0)] v=0
[(e, 0), (e, 3), (d, 3), (d, 0)] v=0
[(e, 1), (e, f), (0, f), (0, 1)] v=0
[(e, 1), (e, e), (1, e), (1, 1)] v=0
[(e, 1), (e, d), (2, d), (2, 1)] v=0
[(e, 1), (e, c), (3, c), (3, 1)] v=0
[(e, 1), (e, b), (4, b), (4, 1)] v=0
[(e, 1), (e, a), (5, a), (5, 1)] v=0
[(e, 1), (e, 9), (6, 9), (6, 1)] v=0
[(e, 1), (e, 8), (7, 8), (7, 1)] v=0
[(e, 1), (e, 7), (8, 7), (8, 1)] v=0
[(e, 1), (e, 6), (9, 6), (9, 1)] v=0
[(e, 1), (e, 5), (a, 5), (a, 1)] v=0
[(e, 1), (e, 4), (b, 4), (b, 1)] v=0
[(e, 1), (e, 3), (c, 3), (c, 1)] v=0
[(e, 1), (e, 2), (d, 2), (d, 1)] v=0
[(e, 2), (e, c), (0, c), (0, 2)] v=0
[(e, 2), (e, d), (1, d), (1, 2)] v=1
[(e, 2), (e, e), (2, e), (2, 2)] v=1
[(e, 2), (e, f), (3, f), (3, 2)] v=0
[(e, 2), (e, 8), (4, 8), (4, 2)] v=1
[(e, 2), (e, 9), (5, 9), (5, 2)] v=0
[(e, 2), (e, a), (6, a), (6, 2)] v=0
[(e, 2), (e, b), (7, b), (7, 2)] v=1
[(e, 2), (e, 4), (8, 4), (8, 2)] v=0
[(e, 2), (e, 5), (9, 5), (9, 2)] v=0
[(e, 2), (e, 6), (a, 6), (a, 2)] v=0
[(e, 2), (e, 7), (b, 7), (b, 2)] v=0
[(e, 3), (e, d), (0, d), (0, 3)] v=0
[(e, 3), (e, c), (1, c), (1, 3)] v=1
[(e, 3), (e, f), (2, f), (2, 3)] v=0
[(e, 3), (e, e), (3, e), (3, 3)] v=1
[(e, 3), (e, 9), (4, 9), (4, 3)] v=0
[(e, 3), (e, 8), (5, 8), (5, 3)] v=1
[(e, 3), (e, b), (6, b), (6, 3)] v=0
[(e, 3), (e, a), (7, a), (7, 3)] v=1
[(e, 3), (e, 5), (8, 5), (8, 3)] v=0
[(e, 3), (e, 4), (9, 4), (9, 3)] v=0
[(e, 3), (e, 7), (a, 7), (a, 3)] v=0
[(e, 3), (e, 6), (b, 6), (b, 3)] v=0
[(e, 4), (e, a), (0, a), (0, 4)] v=0
[(e, 4), (e, b), (1, b), (1, 4)] v=1
[(e, 4), (e, 8), (2, 8), (2, 4)] v=1
[(e, 4), (e, 9), (3, 9), (3, 4)] v=0
[(e, 4), (e, e), (4, e), (4, 4)] v=1
[(e, 4), (e, f), (5, f), (5, 4)] v=0
[(e, 4), (e, c), (6, c), (6, 4)] v=0
[(e, 4), (e, d), (7, d), (7, 4)] v=1
[(e, 4), (e, 6), (c, 6), (c, 4)] v=0
[(e, 4), (e, 7), (d, 7), (d, 4)] v=0
[(e, 5), (e, b), (0, b), (0, 5)] v=0
[(e, 5), (e, a), (1, a), (1, 5)] v=1
[(e, 5), (e, 9), (2, 9), (2, 5)] v=0
[(e, 5), (e, 8), (3, 8), (3, 5)] v=1
[(e, 5), (e, f), (4, f), (4, 5)] v=0
[(e, 5), (e, e), (5, e), (5, 5)] v=1
[(e, 5), (e, d), (6, d), (6, 5)] v=0
[(e, 5), (e, c), (7, c), (7, 5)] v=1
[(e, 5), (e, 7), (c, 7), (c, 5)] v=0
[(e, 5), (e, 6), (d, 6), (d, 5)] v=0
[(e, 6), (e, 8), (0, 8), (0, 6)] v=0
[(e, 6), (e, 9), (1, 9), (1, 6)] v=0
[(e, 6), (e, a), (2, a), (2, 6)] v=1
[(e, 6), (e, b), (3, b), (3, 6)] v=1
[(e, 6), (e, c), (4, c), (4, 6)] v=1
[(e, 6), (e, d), (5, d), (5, 6)] v=1
[(e, 6), (e, e), (6, e), (6, 6)] v=0
[(e, 6), (e, f), (7, f), (7, 6)] v=0
[(e, 7), (e, 9), (0, 9), (0, 7)] v=0
[(e, 7), (e, 8), (1, 8), (1, 7)] v=0
[(e, 7), (e, b), (2, b), (2, 7)] v=0
[(e, 7), (e, a), (3, a), (3, 7)] v=0
[(e, 7), (e, d), (4, d), (4, 7)] v=0
[(e, 7), (e, c), (5, c), (5, 7)] v=0
[(e, 7), (e, f), (6, f), (6, 7)] v=0
[(e, 7), (e, e), (7, e), (7, 7)] v=0
[(e, 8), (e, e), (8, e), (8, 8)] v=0
[(e, 8), (e, f), (9, f), (9, 8)] v=0
[(e, 8), (e, c), (a, c), (a, 8)] v=0
[(e, 8), (e, d), (b, d), (b, 8)] v=0
[(e, 8), (e, a), (c, a), (c, 8)] v=0
[(e, 8), (e, b), (d, b), (d, 8)] v=0
[(e, 9), (e, f), (8, f), (8, 9)] v=0
[(e, 9), (e, e), (9, e), (9, 9)] v=0
[(e, 9), (e, d), (a, d), (a, 9)] v=0
[(e, 9), (e, c), (b, c), (b, 9)] v=0
[(e, 9), (e, b), (c, b), (c, 9)] v=0
[(e, 9), (e, a), (d, a), (d, 9)] v=0
[(e, a), (e, c), (8, c), (8, a)] v=0
[(e, a), (e, d), (9, d), (9, a)] v=0
[(e, a), (e, e), (a, e), (a, a)] v=0
[(e, a), (e, f), (b, f), (b, a)] v=0
[(e, b), (e, d), (8, d), (8, b)] v=0
[(e, b), (e, c), (9, c), (9, b)] v=0
[(e, b), (e, f), (a, f), (a, b)] v=0
[(e, b), (e, e), (b, e), (b, b)] v=0
[(e, c), (e, e), (c, e), (c, c)] v=0
[(e, c), (e, f), (d, f), (d, c)] v=0
[(e, d), (e, f), (c, f), (c, d)] v=0
[(e, d), (e, e), (d, e), (d, d)] v=0
[(f, 0), (f, f), (0, f), (0, 0)] v=0
[(f, 0), (f, e), (1, e), (1, 0)] v=0
[(f, 0), (f, d), (2, d), (2, 0)] v=0
[(f, 0), (f, c), (3, c), (3, 0)] v=0
[(f, 0), (f, b), (4, b), (4, 0)] v=0
[(f, 0), (f, a), (5, a), (5, 0)] v=0
[(f, 0), (f, 9), (6, 9), (6, 0)] v=0
[(f, 0), (f, 8), (7, 8), (7, 0)] v=0
[(f, 0), (f, 7), (8, 7), (8, 0)] v=0
[(f, 0), (f, 6), (9, 6), (9, 0)] v=0
[(f, 0), (f, 5), (a, 5), (a, 0)] v=0
[(f, 0), (f, 4), (b, 4), (b, 0)] v=0
[(f, 0), (f, 3), (c, 3), (c, 0)] v=0
[(f, 0), (f, 2), (d, 2), (d, 0)] v=0
[(f, 0), (f, 1), (e, 1), (e, 0)] v=0
[(f, 1), (f, e), (0, e), (0, 1)] v=0
[(f, 1), (f, f), (1, f), (1, 1)] v=0
[(f, 1), (f, c), (2, c), (2, 1)] v=1
[(f, 1), (f, d), (3, d), (3, 1)] v=1
[(f, 1), (f, a), (4, a), (4, 1)] v=1
[(f, 1), (f, b), (5, b), (5, 1)] v=1
[(f, 1), (f, 8), (6, 8), (6, 1)] v=0
[(f, 1), (f, 9), (7, 9), (7, 1)] v=0
[(f, 1), (f, 6), (8, 6), (8, 1)] v=0
[(f, 1), (f, 7), (9, 7), (9, 1)] v=0
[(f, 1), (f, 4), (a, 4), (a, 1)] v=0
[(f, 1), (f, 5), (b, 5), (b, 1)] v=0
[(f, 1), (f, 2), (c, 2), (c, 1)] v=0
[(f, 1), (f, 3), (d, 3), (d, 1)] v=0
[(f, 2), (f, d), (0, d), (0, 2)] v=0
[(f, 2), (f, c), (1, c), (1, 2)] v=1
[(f, 2), (f, f), (2, f), (2, 2)] v=0
[(f, 2), (f, e), (3, e), (3, 2)] v=1
[(f, 2), (f, 9), (4, 9), (4, 2)] v=1
[(f, 2), (f, 8), (5, 8), (5, 2)] v=0
[(f, 2), (f, b), (6, b), (6, 2)] v=1
[(f, 2), (f, a), (7, a), (7, 2)] v=0
[(f, 2), (f, 5), (8, 5), (8, 2)] v=0
[(f, 2), (f, 4), (9, 4), (9, 2)] v=0
[(f, 2), (f, 7), (a, 7), (a, 2)] v=0
[(f, 2), (f, 6), (b, 6), (b, 2)] v=0
[(f, 2), (f, 3), (e, 3), (e, 2)] v=0
[(f, 3), (f, c), (0, c), (0, 3)] v=0
[(f, 3), (f, d), (1, d), (1, 3)] v=1
[(f, 3), (f, e), (2, e), (2, 3)] v=1
[(f, 3), (f, f), (3, f), (3, 3)] v=0
[(f, 3), (f, 8), (4, 8), (4, 3)] v=0
[(f, 3), (f, 9), (5, 9), (5, 3)] v=1
[(f, 3), (f, a), (6, a), (6, 3)] v=1
[(f, 3), (f, b), (7, b), (7, 3)] v=0
[(f, 3), (f, 4), (8, 4), (8, 3)] v=0
[(f, 3), (f, 5), (9, 5), (9, 3)] v=0
[(f, 3), (f, 6), (a, 6), (a, 3)] v=0
[(f, 3), (f, 7), (b, 7), (b, 3)] v=0
[(f, 4), (f, b), (0, b), (0, 4)] v=0
[(f, 4), (f, a), (1, a), (1, 4)] v=1
[(f, 4), (f, 9), (2, 9), (2, 4)] v=1
[(f, 4), (f, 8), (3, 8), (3, 4)] v=0
[(f, 4), (f, f), (4, f), (4, 4)] v=0
[(f, 4), (f, e), (5, e), (5, 4)] v=1
[(f, 4), (f, d), (6, d), (6, 4)] v=1
[(f, 4), (f, c), (7, c), (7, 4)] v=0
[(f, 4), (f, 7), (c, 7), (c, 4)] v=0
[(f, 4), (f, 6), (d, 6), (d, 4)] v=0
[(f, 4), (f, 5), (e, 5), (e, 4)] v=0
[(f, 5), (f, a), (0, a), (0, 5)] v=0
[(f, 5), (f, b), (1, b), (1, 5)] v=1
[(f, 5), (f, 8), (2, 8), (2, 5)] v=0
[(f, 5), (f, 9), (3, 9), (3, 5)] v=1
[(f, 5), (f, e), (4, e), (4, 5)] v=1
[(f, 5), (f, f), (5, f), (5, 5)] v=0
[(f, 5), (f, c), (6, c), (6, 5)] v=1
[(f, 5), (f, d), (7, d), (7, 5)] v=0
[(f, 5), (f, 6), (c, 6), (c, 5)] v=0
[(f, 5), (f, 7), (d, 7), (d, 5)] v=0
[(f, 6), (f, 9), (0, 9), (0, 6)] v=0
[(f, 6), (f, 8), (1, 8), (1, 6)] v=0
[(f, 6), (f, b), (2, b), (2, 6)] v=1
[(f, 6), (f, a), (3, a), (3, 6)] v=1
[(f, 6), (f, d), (4, d), (4, 6)] v=1
[(f, 6), (f, c), (5, c), (5, 6)] v=1
[(f, 6), (f, f), (6, f), (6, 6)] v=0
[(f, 6), (f, e), (7, e), (7, 6)] v=0
[(f, 6), (f, 7), (e, 7), (e, 6)] v=0
[(f, 7), (f, 8), (0, 8), (0, 7)] v=0
[(f, 7), (f, 9), (1, 9), (1, 7)] v=0
[(f, 7), (f, a), (2, a), (2, 7)] v=0
[(f, 7), (f, b), (3, b), (3, 7)] v=0
[(f, 7), (f, c), (4, c), (4, 7)] v=0
[(f, 7), (f, d), (5, d), (5, 7)] v=0
[(f, 7), (f, e), (6, e), (6, 7)] v=0
[(f, 7), (f, f), (7, f), (7, 7)] v=0
[(f, 8), (f, f), (8, f), (8, 8)] v=0
[(f, 8), (f, e), (9, e), (9, 8)] v=0
[(f, 8), (f, d), (a, d), (a, 8)] v=0
[(f, 8), (f, c), (b, c), (b, 8)] v=0
[(f, 8), (f, b), (c, b), (c, 8)] v=0
[(f, 8), (f, a), (d, a), (d, 8)] v=0
[(f, 8), (f, 9), (e, 9), (e, 8)] v=0
[(f, 9), (f, e), (8, e), (8, 9)] v=0
[(f, 9), (f, f), (9, f), (9, 9)] v=0
[(f, 9), (f, c), (a, c), (a, 9)] v=0
[(f, 9), (f, d), (b, d), (b, 9)] v=0
[(f, 9), (f, a), (c, a), (c, 9)] v=0
[(f, 9), (f, b), (d, b), (d, 9)] v=0
[(f, a), (f, d), (8, d), (8, a)] v=0
[(f, a), (f, c), (9, c), (9, a)] v=0
[(f, a), (f, f), (a, f), (a, a)] v=0
[(f, a), (f, e), (b, e), (b, a)] v=0
[(f, a), (f, b), (e, b), (e, a)] v=0
[(f, b), (f, c), (8, c), (8, b)] v=0
[(f, b), (f, d), (9, d), (9, b)] v=0
[(f, b), (f, e), (a, e), (a, b)] v=0
[(f, b), (f, f), (b, f), (b, b)] v=0
[(f, c), (f, f), (c, f), (c, c)] v=0
[(f, c), (f, e), (d, e), (d, c)] v=0
[(f, c), (f, d), (e, d), (e, c)] v=0
[(f, d), (f, e), (c, e), (c, d)] v=0
[(f, d), (f, f), (d, f), (d, d)] v=0
[(f, e), (f, f), (e, f), (e, e)] v=0
Consistent count = 792
Sign Bits
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
- 1 - 1 + - - 1 + - + - - + - 1
+ - - 1 - - + 1 - + + - + - - 1
- - + 1 - + - 1 + + - - - - + 1
+ + + - - - - 1 - - - - + + + 1
- + - - - + + 1 + - - + + - - 1
+ - - - + + - 1 - - + + - - + 1
- - + - + - + 1 - + - + - + - 1
+ + + + + + + - - - - - - - - 1
- + - + + - - - - + - + + - + 1
+ - - + - - + - + - - + - + + 1
- - + + - + - - - - + + + + - 1
+ + + - - - - - + + + + - - - 1
- + - - - + + - - + + - - + + 1
+ - - - + + - - + + - - + + - 1
- - + - + - + - + - + - + - + 1
Ordered Conflicts
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 4 4 4 4 4 4 0 0
0 0 0 0 0 0 0 0 4 4 4 4 4 0 4 0
0 0 0 0 0 0 0 0 4 4 4 4 0 4 4 0
0 0 0 0 0 0 0 0 4 4 4 0 4 4 4 0
0 0 0 0 0 0 0 0 4 4 0 4 4 4 4 0
0 0 0 0 0 0 0 0 4 0 4 4 4 4 4 0
0 0 0 0 0 0 0 0 0 4 4 4 4 4 4 0
Participated Conflicts
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
4 4 4 4 4 4 0 0 4 4 4 4 4 4 0 0
4 4 4 4 4 0 4 0 4 4 4 4 4 0 4 0
4 4 4 4 0 4 4 0 4 4 4 4 0 4 4 0
4 4 4 0 4 4 4 0 4 4 4 0 4 4 4 0
4 4 0 4 4 4 4 0 4 4 0 4 4 4 4 0
4 0 4 4 4 4 4 0 4 0 4 4 4 4 4 0
0 4 4 4 4 4 4 0 0 4 4 4 4 4 4 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
4 4 4 4 4 4 0 0 4 4 4 4 4 4 0 0
4 4 4 4 4 0 4 0 4 4 4 4 4 0 4 0
4 4 4 4 0 4 4 0 4 4 4 4 0 4 4 0
4 4 4 0 4 4 4 0 4 4 4 0 4 4 4 0
4 4 0 4 4 4 4 0 4 4 0 4 4 4 4 0
4 0 4 4 4 4 4 0 4 0 4 4 4 4 4 0
0 4 4 4 4 4 4 0 0 4 4 4 4 4 4 0
Default Component Equations
+s[0][0]*a*A+s[1][1]*b*B+s[2][2]*c*C+s[3][3]*d*D+s[4][4]*e*E+s[5][5]*f*F+s[6][6]*g*G+s[7][7]*h*H+s[8][8]*i*I+s[9][9]*j*J+s[10][10]*k*K+s[11][11]*l*L+s[12][12]*m*M+s[13][13]*n*N+s[14][14]*o*O+s[15][15]*p*P
+s[0][1]*a*B+s[1][0]*b*A+s[2][3]*c*D+s[3][2]*d*C+s[4][5]*e*F+s[5][4]*f*E+s[6][7]*g*H+s[7][6]*h*G+s[8][9]*i*J+s[9][8]*j*I+s[10][11]*k*L+s[11][10]*l*K+s[12][13]*m*N+s[13][12]*n*M+s[14][15]*o*P+s[15][14]*p*O
+s[0][2]*a*C+s[1][3]*b*D+s[2][0]*c*A+s[3][1]*d*B+s[4][6]*e*G+s[5][7]*f*H+s[6][4]*g*E+s[7][5]*h*F+s[8][10]*i*K+s[9][11]*j*L+s[10][8]*k*I+s[11][9]*l*J+s[12][14]*m*O+s[13][15]*n*P+s[14][12]*o*M+s[15][13]*p*N
+s[0][3]*a*D+s[1][2]*b*C+s[2][1]*c*B+s[3][0]*d*A+s[4][7]*e*H+s[5][6]*f*G+s[6][5]*g*F+s[7][4]*h*E+s[8][11]*i*L+s[9][10]*j*K+s[10][9]*k*J+s[11][8]*l*I+s[12][15]*m*P+s[13][14]*n*O+s[14][13]*o*N+s[15][12]*p*M
+s[0][4]*a*E+s[1][5]*b*F+s[2][6]*c*G+s[3][7]*d*H+s[4][0]*e*A+s[5][1]*f*B+s[6][2]*g*C+s[7][3]*h*D+s[8][12]*i*M+s[9][13]*j*N+s[10][14]*k*O+s[11][15]*l*P+s[12][8]*m*I+s[13][9]*n*J+s[14][10]*o*K+s[15][11]*p*L
+s[0][5]*a*F+s[1][4]*b*E+s[2][7]*c*H+s[3][6]*d*G+s[4][1]*e*B+s[5][0]*f*A+s[6][3]*g*D+s[7][2]*h*C+s[8][13]*i*N+s[9][12]*j*M+s[10][15]*k*P+s[11][14]*l*O+s[12][9]*m*J+s[13][8]*n*I+s[14][11]*o*L+s[15][10]*p*K
+s[0][6]*a*G+s[1][7]*b*H+s[2][4]*c*E+s[3][5]*d*F+s[4][2]*e*C+s[5][3]*f*D+s[6][0]*g*A+s[7][1]*h*B+s[8][14]*i*O+s[9][15]*j*P+s[10][12]*k*M+s[11][13]*l*N+s[12][10]*m*K+s[13][11]*n*L+s[14][8]*o*I+s[15][9]*p*J
+s[0][7]*a*H+s[1][6]*b*G+s[2][5]*c*F+s[3][4]*d*E+s[4][3]*e*D+s[5][2]*f*C+s[6][1]*g*B+s[7][0]*h*A+s[8][15]*i*P+s[9][14]*j*O+s[10][13]*k*N+s[11][12]*l*M+s[12][11]*m*L+s[13][10]*n*K+s[14][9]*o*J+s[15][8]*p*I
+s[0][8]*a*I+s[1][9]*b*J+s[2][10]*c*K+s[3][11]*d*L+s[4][12]*e*M+s[5][13]*f*N+s[6][14]*g*O+s[7][15]*h*P+s[8][0]*i*A+s[9][1]*j*B+s[10][2]*k*C+s[11][3]*l*D+s[12][4]*m*E+s[13][5]*n*F+s[14][6]*o*G+s[15][7]*p*H
+s[0][9]*a*J+s[1][8]*b*I+s[2][11]*c*L+s[3][10]*d*K+s[4][13]*e*N+s[5][12]*f*M+s[6][15]*g*P+s[7][14]*h*O+s[8][1]*i*B+s[9][0]*j*A+s[10][3]*k*D+s[11][2]*l*C+s[12][5]*m*F+s[13][4]*n*E+s[14][7]*o*H+s[15][6]*p*G
+s[0][10]*a*K+s[1][11]*b*L+s[2][8]*c*I+s[3][9]*d*J+s[4][14]*e*O+s[5][15]*f*P+s[6][12]*g*M+s[7][13]*h*N+s[8][2]*i*C+s[9][3]*j*D+s[10][0]*k*A+s[11][1]*l*B+s[12][6]*m*G+s[13][7]*n*H+s[14][4]*o*E+s[15][5]*p*F
+s[0][11]*a*L+s[1][10]*b*K+s[2][9]*c*J+s[3][8]*d*I+s[4][15]*e*P+s[5][14]*f*O+s[6][13]*g*N+s[7][12]*h*M+s[8][3]*i*D+s[9][2]*j*C+s[10][1]*k*B+s[11][0]*l*A+s[12][7]*m*H+s[13][6]*n*G+s[14][5]*o*F+s[15][4]*p*E
+s[0][12]*a*M+s[1][13]*b*N+s[2][14]*c*O+s[3][15]*d*P+s[4][8]*e*I+s[5][9]*f*J+s[6][10]*g*K+s[7][11]*h*L+s[8][4]*i*E+s[9][5]*j*F+s[10][6]*k*G+s[11][7]*l*H+s[12][0]*m*A+s[13][1]*n*B+s[14][2]*o*C+s[15][3]*p*D
+s[0][13]*a*N+s[1][12]*b*M+s[2][15]*c*P+s[3][14]*d*O+s[4][9]*e*J+s[5][8]*f*I+s[6][11]*g*L+s[7][10]*h*K+s[8][5]*i*F+s[9][4]*j*E+s[10][7]*k*H+s[11][6]*l*G+s[12][1]*m*B+s[13][0]*n*A+s[14][3]*o*D+s[15][2]*p*C
+s[0][14]*a*O+s[1][15]*b*P+s[2][12]*c*M+s[3][13]*d*N+s[4][10]*e*K+s[5][11]*f*L+s[6][8]*g*I+s[7][9]*h*J+s[8][6]*i*G+s[9][7]*j*H+s[10][4]*k*E+s[11][5]*l*F+s[12][2]*m*C+s[13][3]*n*D+s[14][0]*o*A+s[15][1]*p*B
+s[0][15]*a*P+s[1][14]*b*O+s[2][13]*c*N+s[3][12]*d*M+s[4][11]*e*L+s[5][10]*f*K+s[6][9]*g*J+s[7][8]*h*I+s[8][7]*i*H+s[9][6]*j*G+s[10][5]*k*F+s[11][4]*l*E+s[12][3]*m*D+s[13][2]*n*C+s[14][1]*o*B+s[15][0]*p*A
Default Sign (T matrix)
+ + + + + + + + + + + + + + + +
- + - + + - - + + - + - - + - +
+ - - + - - + + - + + - + - - +
- - + + - + - + + + - - - - + +
+ + + - - - - + - - - - + + + +
- + - - - + + + + - - + + - - +
+ - - - + + - + - - + + - - + +
- - + - + - + + - + - + - + - +
+ + + + + + + - - - - - - - - +
- + - + + - - - - + - + + - + +
+ - - + - - + - + - - + - + + +
- - + + - + - - - - + + + + - +
+ + + - - - - - + + + + - - - +
- + - - - + + - - + + - - + + +
+ - - - + + - - + + - - + + - +
- - + - + - + - + - + - + - + +
Pair Sign Equations
S[0][0] = a*T[0][0]
S[0][1] = b*T[0][1]
S[0][2] = d*T[0][2]
S[0][3] = e*T[0][3]
S[0][4] = i*T[0][4]
S[0][5] = j*T[0][5]
S[0][6] = k*T[0][6]
S[0][7] = l*T[0][7]
S[0][8] = t*T[0][8]
S[0][9] = u*T[0][9]
S[0][10] = v*T[0][10]
S[0][11] = w*T[0][11]
S[0][12] = x*T[0][12]
S[0][13] = A*T[0][13]
S[0][14] = B*T[0][14]
S[0][15] = C*T[0][15]
S[1][0] = a*b*c*T[1][0]
S[1][1] = c*T[1][1]
S[1][2] = d*e*f*T[1][2]
S[1][3] = f*T[1][3]
S[1][4] = b*i*c*g*n*h*o*T[1][4]
S[1][5] = b*j*c*g*n*h*o*T[1][5]
S[1][6] = k*l*m*T[1][6]
S[1][7] = m*T[1][7]
S[1][8] = b*t*c*r*I*s*J*T[1][8]
S[1][9] = b*u*c*r*I*s*J*T[1][9]
S[1][10] = e*v*f*p*G*q*H*T[1][10]
S[1][11] = e*w*f*p*G*q*H*T[1][11]
S[1][12] = b*x*c*g*E*h*F*T[1][12]
S[1][13] = b*A*c*g*E*h*F*T[1][13]
S[1][14] = B*C*D*T[1][14]
S[1][15] = D*T[1][15]
S[2][0] = a*b*c*f*g*T[2][0]
S[2][1] = b*e*g*T[2][1]
S[2][2] = b*d*c*f*g*T[2][2]
S[2][3] = g*T[2][3]
S[2][4] = b*i*c*m*g*h*o*T[2][4]
S[2][5] = j*l*n*T[2][5]
S[2][6] = b*k*c*m*g*h*o*T[2][6]
S[2][7] = n*T[2][7]
S[2][8] = b*t*c*f*g*q*H*s*J*T[2][8]
S[2][9] = e*u*g*p*G*r*I*T[2][9]
S[2][10] = b*v*c*f*g*q*H*s*J*T[2][10]
S[2][11] = e*w*g*p*G*r*I*T[2][11]
S[2][12] = b*x*c*D*g*h*F*T[2][12]
S[2][13] = A*C*E*T[2][13]
S[2][14] = b*B*c*D*g*h*F*T[2][14]
S[2][15] = E*T[2][15]
S[3][0] = a*e*h*T[3][0]
S[3][1] = c*f*h*T[3][1]
S[3][2] = b*d*c*f*h*T[3][2]
S[3][3] = h*T[3][3]
S[3][4] = i*l*o*T[3][4]
S[3][5] = b*j*c*m*g*n*h*T[3][5]
S[3][6] = b*k*c*m*g*n*h*T[3][6]
S[3][7] = o*T[3][7]
S[3][8] = e*t*h*p*G*s*J*T[3][8]
S[3][9] = b*u*c*f*h*q*H*r*I*T[3][9]
S[3][10] = b*v*c*f*h*q*H*r*I*T[3][10]
S[3][11] = e*w*h*p*G*s*J*T[3][11]
S[3][12] = x*C*F*T[3][12]
S[3][13] = b*A*c*D*g*E*h*T[3][13]
S[3][14] = b*B*c*D*g*E*h*T[3][14]
S[3][15] = F*T[3][15]
S[4][0] = a*e*h*o*p*T[4][0]
S[4][1] = b*e*g*n*p*T[4][1]
S[4][2] = d*e*f*m*p*T[4][2]
S[4][3] = e*l*p*T[4][3]
S[4][4] = e*i*h*o*p*T[4][4]
S[4][5] = e*j*g*n*p*T[4][5]
S[4][6] = e*k*f*m*p*T[4][6]
S[4][7] = p*T[4][7]
S[4][8] = e*t*h*F*p*s*J*T[4][8]
S[4][9] = e*u*g*E*p*r*I*T[4][9]
S[4][10] = e*v*f*D*p*q*H*T[4][10]
S[4][11] = w*C*G*T[4][11]
S[4][12] = e*x*h*F*p*s*J*T[4][12]
S[4][13] = e*A*g*E*p*r*I*T[4][13]
S[4][14] = e*B*f*D*p*q*H*T[4][14]
S[4][15] = G*T[4][15]
S[5][0] = a*b*c*f*g*n*q*T[5][0]
S[5][1] = c*f*h*o*q*T[5][1]
S[5][2] = d*l*q*T[5][2]
S[5][3] = f*m*q*T[5][3]
S[5][4] = b*i*c*f*h*o*q*T[5][4]
S[5][5] = b*j*c*f*g*n*q*T[5][5]
S[5][6] = e*k*f*m*q*T[5][6]
S[5][7] = q*T[5][7]
S[5][8] = b*t*c*f*g*E*q*s*J*T[5][8]
S[5][9] = b*u*c*f*h*F*q*r*I*T[5][9]
S[5][10] = v*C*H*T[5][10]
S[5][11] = e*w*f*D*p*G*q*T[5][11]
S[5][12] = b*x*c*f*h*F*q*r*I*T[5][12]
S[5][13] = b*A*c*f*g*E*q*s*J*T[5][13]
S[5][14] = e*B*f*D*p*G*q*T[5][14]
S[5][15] = H*T[5][15]
S[6][0] = a*b*c*m*r*T[6][0]
S[6][1] = b*l*r*T[6][1]
S[6][2] = b*d*c*f*h*o*r*T[6][2]
S[6][3] = g*n*r*T[6][3]
S[6][4] = b*i*c*f*h*o*r*T[6][4]
S[6][5] = e*j*g*n*r*T[6][5]
S[6][6] = b*k*c*m*r*T[6][6]
S[6][7] = r*T[6][7]
S[6][8] = b*t*c*D*r*s*J*T[6][8]
S[6][9] = u*C*I*T[6][9]
S[6][10] = b*v*c*f*h*F*q*H*r*T[6][10]
S[6][11] = e*w*g*E*p*G*r*T[6][11]
S[6][12] = b*x*c*f*h*F*q*H*r*T[6][12]
S[6][13] = e*A*g*E*p*G*r*T[6][13]
S[6][14] = b*B*c*D*r*s*J*T[6][14]
S[6][15] = I*T[6][15]
S[7][0] = a*l*s*T[7][0]
S[7][1] = c*m*s*T[7][1]
S[7][2] = b*d*c*f*g*n*s*T[7][2]
S[7][3] = h*o*s*T[7][3]
S[7][4] = e*i*h*o*s*T[7][4]
S[7][5] = b*j*c*f*g*n*s*T[7][5]
S[7][6] = b*k*c*m*s*T[7][6]
S[7][7] = s*T[7][7]
S[7][8] = t*C*J*T[7][8]
S[7][9] = b*u*c*D*r*I*s*T[7][9]
S[7][10] = b*v*c*f*g*E*q*H*s*T[7][10]
S[7][11] = e*w*h*F*p*G*s*T[7][11]
S[7][12] = e*x*h*F*p*G*s*T[7][12]
S[7][13] = b*A*c*f*g*E*q*H*s*T[7][13]
S[7][14] = b*B*c*D*r*I*s*T[7][14]
S[7][15] = J*T[7][15]
S[8][0] = a*l*s*J*K*T[8][0]
S[8][1] = b*l*r*I*K*T[8][1]
S[8][2] = d*l*q*H*K*T[8][2]
S[8][3] = e*l*p*G*K*T[8][3]
S[8][4] = i*l*o*F*K*T[8][4]
S[8][5] = j*l*n*E*K*T[8][5]
S[8][6] = k*l*m*D*K*T[8][6]
S[8][7] = l*C*K*T[8][7]
S[8][8] = l*t*s*J*K*T[8][8]
S[8][9] = l*u*r*I*K*T[8][9]
S[8][10] = l*v*q*H*K*T[8][10]
S[8][11] = l*w*p*G*K*T[8][11]
S[8][12] = l*x*o*F*K*T[8][12]
S[8][13] = l*A*n*E*K*T[8][13]
S[8][14] = l*B*m*D*K*T[8][14]
S[8][15] = K*T[8][15]
S[9][0] = a*b*c*m*r*I*L*T[9][0]
S[9][1] = c*m*s*J*L*T[9][1]
S[9][2] = d*e*f*m*p*G*L*T[9][2]
S[9][3] = f*m*q*H*L*T[9][3]
S[9][4] = b*i*c*m*g*E*h*o*L*T[9][4]
S[9][5] = b*j*c*m*g*n*h*F*L*T[9][5]
S[9][6] = k*C*L*T[9][6]
S[9][7] = m*D*L*T[9][7]
S[9][8] = b*t*c*m*s*J*L*T[9][8]
S[9][9] = b*u*c*m*r*I*L*T[9][9]
S[9][10] = e*v*f*m*q*H*L*T[9][10]
S[9][11] = e*w*f*m*p*G*L*T[9][11]
S[9][12] = b*x*c*m*g*n*h*F*L*T[9][12]
S[9][13] = b*A*c*m*g*E*h*o*L*T[9][13]
S[9][14] = l*B*m*D*L*T[9][14]
S[9][15] = L*T[9][15]
S[10][0] = a*b*c*f*g*n*q*H*M*T[10][0]
S[10][1] = b*e*g*n*p*G*M*T[10][1]
S[10][2] = b*d*c*f*g*n*s*J*M*T[10][2]
S[10][3] = g*n*r*I*M*T[10][3]
S[10][4] = b*i*c*D*g*n*h*o*M*T[10][4]
S[10][5] = j*C*M*T[10][5]
S[10][6] = b*k*c*m*g*n*h*F*M*T[10][6]
S[10][7] = n*E*M*T[10][7]
S[10][8] = b*t*c*f*g*n*s*J*M*T[10][8]
S[10][9] = e*u*g*n*r*I*M*T[10][9]
S[10][10] = b*v*c*f*g*n*q*H*M*T[10][10]
S[10][11] = e*w*g*n*p*G*M*T[10][11]
S[10][12] = b*x*c*m*g*n*h*F*M*T[10][12]
S[10][13] = l*A*n*E*M*T[10][13]
S[10][14] = b*B*c*D*g*n*h*o*M*T[10][14]
S[10][15] = M*T[10][15]
S[11][0] = a*e*h*o*p*G*N*T[11][0]
S[11][1] = c*f*h*o*q*H*N*T[11][1]
S[11][2] = b*d*c*f*h*o*r*I*N*T[11][2]
S[11][3] = h*o*s*J*N*T[11][3]
S[11][4] = i*C*N*T[11][4]
S[11][5] = b*j*c*D*g*n*h*o*N*T[11][5]
S[11][6] = b*k*c*m*g*E*h*o*N*T[11][6]
S[11][7] = o*F*N*T[11][7]
S[11][8] = e*t*h*o*s*J*N*T[11][8]
S[11][9] = b*u*c*f*h*o*r*I*N*T[11][9]
S[11][10] = b*v*c*f*h*o*q*H*N*T[11][10]
S[11][11] = e*w*h*o*p*G*N*T[11][11]
S[11][12] = l*x*o*F*N*T[11][12]
S[11][13] = b*A*c*m*g*E*h*o*N*T[11][13]
S[11][14] = b*B*c*D*g*n*h*o*N*T[11][14]
S[11][15] = N*T[11][15]
S[12][0] = a*e*h*F*O*T[12][0]
S[12][1] = b*e*g*E*O*T[12][1]
S[12][2] = d*e*f*D*O*T[12][2]
S[12][3] = e*C*O*T[12][3]
S[12][4] = e*i*h*o*s*J*O*T[12][4]
S[12][5] = e*j*g*n*r*I*O*T[12][5]
S[12][6] = e*k*f*m*q*H*O*T[12][6]
S[12][7] = p*G*O*T[12][7]
S[12][8] = e*t*h*o*s*J*O*T[12][8]
S[12][9] = e*u*g*n*r*I*O*T[12][9]
S[12][10] = e*v*f*m*q*H*O*T[12][10]
S[12][11] = l*w*p*G*O*T[12][11]
S[12][12] = e*x*h*F*O*T[12][12]
S[12][13] = e*A*g*E*O*T[12][13]
S[12][14] = e*B*f*D*O*T[12][14]
S[12][15] = O*T[12][15]
S[13][0] = a*b*c*f*g*E*P*T[13][0]
S[13][1] = c*f*h*F*P*T[13][1]
S[13][2] = d*C*P*T[13][2]
S[13][3] = f*D*P*T[13][3]
S[13][4] = b*i*c*f*h*o*r*I*P*T[13][4]
S[13][5] = b*j*c*f*g*n*s*J*P*T[13][5]
S[13][6] = e*k*f*m*p*G*P*T[13][6]
S[13][7] = q*H*P*T[13][7]
S[13][8] = b*t*c*f*g*n*s*J*P*T[13][8]
S[13][9] = b*u*c*f*h*o*r*I*P*T[13][9]
S[13][10] = l*v*q*H*P*T[13][10]
S[13][11] = e*w*f*m*p*G*P*T[13][11]
S[13][12] = b*x*c*f*h*F*P*T[13][12]
S[13][13] = b*A*c*f*g*E*P*T[13][13]
S[13][14] = e*B*f*D*P*T[13][14]
S[13][15] = P*T[13][15]
S[14][0] = a*b*c*D*Q*T[14][0]
S[14][1] = b*C*Q*T[14][1]
S[14][2] = b*d*c*f*h*F*Q*T[14][2]
S[14][3] = g*E*Q*T[14][3]
S[14][4] = b*i*c*f*h*o*q*H*Q*T[14][4]
S[14][5] = e*j*g*n*p*G*Q*T[14][5]
S[14][6] = b*k*c*m*s*J*Q*T[14][6]
S[14][7] = r*I*Q*T[14][7]
S[14][8] = b*t*c*m*s*J*Q*T[14][8]
S[14][9] = l*u*r*I*Q*T[14][9]
S[14][10] = b*v*c*f*h*o*q*H*Q*T[14][10]
S[14][11] = e*w*g*n*p*G*Q*T[14][11]
S[14][12] = b*x*c*f*h*F*Q*T[14][12]
S[14][13] = e*A*g*E*Q*T[14][13]
S[14][14] = b*B*c*D*Q*T[14][14]
S[14][15] = Q*T[14][15]
S[15][0] = a*C*R*T[15][0]
S[15][1] = c*D*R*T[15][1]
S[15][2] = b*d*c*f*g*E*R*T[15][2]
S[15][3] = h*F*R*T[15][3]
S[15][4] = e*i*h*o*p*G*R*T[15][4]
S[15][5] = b*j*c*f*g*n*q*H*R*T[15][5]
S[15][6] = b*k*c*m*r*I*R*T[15][6]
S[15][7] = s*J*R*T[15][7]
S[15][8] = l*t*s*J*R*T[15][8]
S[15][9] = b*u*c*m*r*I*R*T[15][9]
S[15][10] = b*v*c*f*g*n*q*H*R*T[15][10]
S[15][11] = e*w*h*o*p*G*R*T[15][11]
S[15][12] = e*x*h*F*R*T[15][12]
S[15][13] = b*A*c*f*g*E*R*T[15][13]
S[15][14] = b*B*c*D*R*T[15][14]
S[15][15] = R*T[15][15]