interpretation(20, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12,15,14,17,16,19,18]), function(^(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,10, 0, 0, 0, 0, 0, 0, 0, 0,10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,11, 0, 0, 0, 0, 0, 0, 0, 0, 0,11, 0, 0, 0, 0, 0, 0, 0, 0, 0,12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,12, 0, 0, 0, 0, 0, 0, 0, 0,13, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,13, 0, 0, 0, 0, 0, 0, 0,14, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,14, 0, 0, 0, 0, 0, 0,15, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,15, 0, 0, 0, 0, 0,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16, 0, 0, 0, 0,17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,17, 0, 0, 0,18, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,18, 0, 0,19, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,19]), function(v(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 10, 1, 1, 1, 1, 1, 1, 1, 1, 1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1, 11, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,11, 1, 1, 1, 1, 1, 1, 1, 1, 12, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,12, 1, 1, 1, 1, 1, 1, 1, 13, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,13, 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,14, 1, 1, 1, 1, 1, 15, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,15, 1, 1, 1, 1, 16, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,16, 1, 1, 1, 17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17, 1, 1, 18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18, 1, 19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,19]), function(f(_,_), [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 3, 2, 5, 4, 7, 6, 9, 8,11,10,13,12,15,14,17,16,19,18, 1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,11, 1, 1, 1, 1, 1, 1, 1, 1,11, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1,13, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,13, 1, 1, 1, 1, 1, 1, 1, 1,12, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,12, 1, 1, 1, 1, 1, 1, 1,15, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,15, 1, 1, 1, 1, 1, 1,14, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,14, 1, 1, 1, 1, 1,17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17, 1, 1, 1, 1,16, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,16, 1, 1, 1,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,19, 1, 1,18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18]), function(m(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,10, 0, 0, 0, 0, 0, 0, 0, 0,10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,11, 0, 0, 0, 0, 0, 0, 0, 0, 0,11, 0, 0, 0, 0, 0, 0, 0, 0, 0,12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,12, 0, 0, 0, 0, 0, 0, 0, 0,13, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,13, 0, 0, 0, 0, 0, 0, 0,14, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,14, 0, 0, 0, 0, 0, 0,15, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,15, 0, 0, 0, 0, 0,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16, 0, 0, 0, 0,17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,17, 0, 0, 0,18, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,18, 0, 0,19, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,19]), function(j(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 10, 1, 1, 1, 1, 1, 1, 1, 1, 1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1, 11, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,11, 1, 1, 1, 1, 1, 1, 1, 1, 12, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,12, 1, 1, 1, 1, 1, 1, 1, 13, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,13, 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,14, 1, 1, 1, 1, 1, 15, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,15, 1, 1, 1, 1, 16, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,16, 1, 1, 1, 17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17, 1, 1, 18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18, 1, 19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,19])]). interpretation(20, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12,15,14,17,16,19,18]), function(^(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,10, 0, 0, 0, 0, 0, 0, 0, 0,10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,11, 0, 0, 0, 0, 0, 0, 0, 0, 0,11, 0, 0, 0, 0, 0, 0, 0, 0, 0,12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,12, 0, 0, 0, 0, 0, 0, 0, 0,13, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,13, 0, 0, 0, 0, 0, 0, 0,14, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,14, 0, 0,14,14, 0, 0,15, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,15,16,19,16,19, 0,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16,16, 0,16, 0, 0,17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,14,19, 0,17,14,19, 0,18, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,14,16,16,14,18, 0, 0,19, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,19, 0,19, 0,19]), function(v(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 10, 1, 1, 1, 1, 1, 1, 1, 1, 1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1, 11, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,11, 1, 1, 1, 1, 1, 1, 1, 1, 12, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,12, 1, 1, 1, 1, 1, 1, 1, 13, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,13, 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,14, 1,18,17,18,17, 15, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,15,15, 1, 1,15, 16, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18,15,16, 1,18,15, 17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17, 1, 1,17, 1,17, 18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18, 1,18, 1,18, 1, 19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17,15,15,17, 1,19]), function(f(_,_), [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 3, 2, 5, 4, 7, 6, 9, 8,11,10,13,12,15,14,17,16,19,18, 1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,11, 1, 1, 1, 1, 1, 1, 1, 1,11, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1,13, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,13, 1, 1, 1, 1, 1, 1, 1, 1,12, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,12, 1, 1, 1, 1, 1, 1, 1,15, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,15, 1, 1,15,15, 1, 1,14, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,14,17,18,17,18, 1,17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17,17, 1,17, 1, 1,16, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,15,18, 1,16,15,18, 1,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,15,17,17,15,19, 1, 1,18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18, 1,18, 1,18]), function(m(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,10, 0, 0, 0, 0, 0, 0, 0, 0,10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,11, 0, 0, 0, 0, 0, 0, 0, 0, 0,11, 0, 0, 0, 0, 0, 0, 0, 0, 0,12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,12, 0, 0, 0, 0, 0, 0, 0, 0,13, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,13, 0, 0, 0, 0, 0, 0, 0,14, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,14, 0, 0,14,14, 0, 0,15, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,15,16,19,16,19, 0,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16,16, 0,16, 0, 0,17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,14,19, 0,17,14,19, 0,18, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,14,16,16,14,18, 0, 0,19, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,19, 0,19, 0,19]), function(j(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 10, 1, 1, 1, 1, 1, 1, 1, 1, 1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1, 11, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,11, 1, 1, 1, 1, 1, 1, 1, 1, 12, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,12, 1, 1, 1, 1, 1, 1, 1, 13, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,13, 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,14, 1,18,17,18,17, 15, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,15,15, 1, 1,15, 16, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18,15,16, 1,18,15, 17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17, 1, 1,17, 1,17, 18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18, 1,18, 1,18, 1, 19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17,15,15,17, 1,19])]). interpretation(20, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12,15,14,18,19,16,17]), function(^(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,10, 0, 0, 0, 0, 0, 0, 0, 0,10, 0, 0,15,16,15,16, 0,15,15, 0,11, 0, 0, 0, 0, 0, 0, 0, 0, 0,11, 0, 0,11, 0, 0, 0,11, 0, 0,12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,12, 0,12, 0, 0, 0, 0,12, 0,13, 0, 0, 0, 0, 0, 0, 0, 0,15, 0, 0,13,17,15, 0,17,15,15, 0,14, 0, 0, 0, 0, 0, 0, 0, 0,16,11,12,17,14, 0,16,17,11,12, 0,15, 0, 0, 0, 0, 0, 0, 0, 0,15, 0, 0,15, 0,15, 0, 0,15,15, 0,16, 0, 0, 0, 0, 0, 0, 0, 0,16, 0, 0, 0,16, 0,16, 0, 0, 0, 0,17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,17,17, 0, 0,17, 0, 0, 0,18, 0, 0, 0, 0, 0, 0, 0, 0,15,11, 0,15,11,15, 0, 0,18,15, 0,19, 0, 0, 0, 0, 0, 0, 0, 0,15, 0,12,15,12,15, 0, 0,15,19]), function(v(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 10, 1, 1, 1, 1, 1, 1, 1, 1, 1,10, 1, 1, 1, 1,10,10, 1, 1, 1, 11, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,11,14, 1,14,18,14,14,18, 1, 12, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,14,12, 1,14,19,14,14, 1,19, 13, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,13, 1,13, 1,13, 1, 1, 14, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,14,14, 1,14, 1,14,14, 1, 1, 15, 1, 1, 1, 1, 1, 1, 1, 1, 1,10,18,19,13, 1,15,10,13,18,19, 16, 1, 1, 1, 1, 1, 1, 1, 1, 1,10,14,14, 1,14,10,16,14, 1, 1, 17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,14,14,13,14,13,14,17, 1, 1, 18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18, 1, 1, 1,18, 1, 1,18, 1, 19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,19, 1, 1,19, 1, 1, 1,19]), function(f(_,_), [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 3, 2, 5, 4, 7, 6, 9, 8,11,10,13,12,15,14,18,19,16,17, 1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,11, 1, 1, 1, 1, 1, 1, 1, 1,11, 1, 1,14,18,14,18, 1,14,14, 1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1,10, 1, 1,10, 1, 1, 1,10, 1, 1,13, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,13, 1,13, 1, 1, 1, 1,13, 1,12, 1, 1, 1, 1, 1, 1, 1, 1,14, 1, 1,12,19,14, 1,19,14,14, 1,15, 1, 1, 1, 1, 1, 1, 1, 1,18,10,13,19,15, 1,18,19,10,13, 1,14, 1, 1, 1, 1, 1, 1, 1, 1,14, 1, 1,14, 1,14, 1, 1,14,14, 1,18, 1, 1, 1, 1, 1, 1, 1, 1,18, 1, 1, 1,18, 1,18, 1, 1, 1, 1,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,19,19, 1, 1,19, 1, 1, 1,16, 1, 1, 1, 1, 1, 1, 1, 1,14,10, 1,14,10,14, 1, 1,16,14, 1,17, 1, 1, 1, 1, 1, 1, 1, 1,14, 1,13,14,13,14, 1, 1,14,17]), function(m(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,10, 0, 0, 0, 0, 0, 0, 0, 0,10, 0, 0,15,16,15,16, 0,15,15, 0,11, 0, 0, 0, 0, 0, 0, 0, 0, 0,11, 0, 0,11, 0, 0, 0,11, 0, 0,12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,12, 0,12, 0, 0, 0, 0,12, 0,13, 0, 0, 0, 0, 0, 0, 0, 0,15, 0, 0,13,17,15, 0,17,15,15, 0,14, 0, 0, 0, 0, 0, 0, 0, 0,16,11,12,17,14, 0,16,17,11,12, 0,15, 0, 0, 0, 0, 0, 0, 0, 0,15, 0, 0,15, 0,15, 0, 0,15,15, 0,16, 0, 0, 0, 0, 0, 0, 0, 0,16, 0, 0, 0,16, 0,16, 0, 0, 0, 0,17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,17,17, 0, 0,17, 0, 0, 0,18, 0, 0, 0, 0, 0, 0, 0, 0,15,11, 0,15,11,15, 0, 0,18,15, 0,19, 0, 0, 0, 0, 0, 0, 0, 0,15, 0,12,15,12,15, 0, 0,15,19]), function(j(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 10, 1, 1, 1, 1, 1, 1, 1, 1, 1,10, 1, 1, 1, 1,10,10, 1, 1, 1, 11, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,11,14, 1,14,18,14,14,18, 1, 12, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,14,12, 1,14,19,14,14, 1,19, 13, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,13, 1,13, 1,13, 1, 1, 14, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,14,14, 1,14, 1,14,14, 1, 1, 15, 1, 1, 1, 1, 1, 1, 1, 1, 1,10,18,19,13, 1,15,10,13,18,19, 16, 1, 1, 1, 1, 1, 1, 1, 1, 1,10,14,14, 1,14,10,16,14, 1, 1, 17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,14,14,13,14,13,14,17, 1, 1, 18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18, 1, 1, 1,18, 1, 1,18, 1, 19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,19, 1, 1,19, 1, 1, 1,19])]). interpretation(20, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12,15,14,17,16,19,18]), function(^(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 8, 8, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 0,16,19,16,19, 0,10, 0, 0, 0, 0, 0, 0, 0, 0,10, 0, 0,10,10, 0, 0, 0, 0, 0, 0,11, 0, 0, 0, 0, 0, 0, 0, 0, 0,11,12,15,12,15, 0, 0, 0, 0, 0,12, 0, 0, 0, 0, 0, 0, 0, 0, 0,12,12, 0,12, 0, 0, 0, 0, 0, 0,13, 0, 0, 0, 0, 0, 0, 0, 0,10,15, 0,13,10,15, 0, 0, 0, 0, 0,14, 0, 0, 0, 0, 0, 0, 0, 0,10,12,12,10,14, 0, 0, 0, 0, 0, 0,15, 0, 0, 0, 0, 0, 0, 0, 0, 0,15, 0,15, 0,15, 0, 0, 0, 0, 0,16, 0, 0, 0, 0, 0, 0, 0,16, 0, 0, 0, 0, 0, 0,16, 0,16, 0, 0,17, 0, 0, 0, 0, 0, 0, 8,19, 0, 0, 0, 0, 0, 0, 0,17, 8,19, 0,18, 0, 0, 0, 0, 0, 0, 8,16, 0, 0, 0, 0, 0, 0,16, 8,18, 0, 0,19, 0, 0, 0, 0, 0, 0, 0,19, 0, 0, 0, 0, 0, 0, 0,19, 0,19]), function(v(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1,18,17,18,17, 9, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 9, 1, 1, 9, 10, 1, 1, 1, 1, 1, 1, 1, 1, 1,10, 1,14,13,14,13, 1, 1, 1, 1, 11, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,11,11, 1, 1,11, 1, 1, 1, 1, 12, 1, 1, 1, 1, 1, 1, 1, 1, 1,14,11,12, 1,14,11, 1, 1, 1, 1, 13, 1, 1, 1, 1, 1, 1, 1, 1, 1,13, 1, 1,13, 1,13, 1, 1, 1, 1, 14, 1, 1, 1, 1, 1, 1, 1, 1, 1,14, 1,14, 1,14, 1, 1, 1, 1, 1, 15, 1, 1, 1, 1, 1, 1, 1, 1, 1,13,11,11,13, 1,15, 1, 1, 1, 1, 16, 1, 1, 1, 1, 1, 1, 1,18, 9, 1, 1, 1, 1, 1, 1,16, 1,18, 9, 17, 1, 1, 1, 1, 1, 1, 1,17, 1, 1, 1, 1, 1, 1, 1, 1,17, 1,17, 18, 1, 1, 1, 1, 1, 1, 1,18, 1, 1, 1, 1, 1, 1, 1,18, 1,18, 1, 19, 1, 1, 1, 1, 1, 1, 1,17, 9, 1, 1, 1, 1, 1, 1, 9,17, 1,19]), function(f(_,_), [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 3, 2, 5, 4, 7, 6, 9, 8,11,10,13,12,15,14,17,16,19,18, 1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 9, 9, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1,17,18,17,18, 1,11, 1, 1, 1, 1, 1, 1, 1, 1,11, 1, 1,11,11, 1, 1, 1, 1, 1, 1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1,10,13,14,13,14, 1, 1, 1, 1, 1,13, 1, 1, 1, 1, 1, 1, 1, 1, 1,13,13, 1,13, 1, 1, 1, 1, 1, 1,12, 1, 1, 1, 1, 1, 1, 1, 1,11,14, 1,12,11,14, 1, 1, 1, 1, 1,15, 1, 1, 1, 1, 1, 1, 1, 1,11,13,13,11,15, 1, 1, 1, 1, 1, 1,14, 1, 1, 1, 1, 1, 1, 1, 1, 1,14, 1,14, 1,14, 1, 1, 1, 1, 1,17, 1, 1, 1, 1, 1, 1, 1,17, 1, 1, 1, 1, 1, 1,17, 1,17, 1, 1,16, 1, 1, 1, 1, 1, 1, 9,18, 1, 1, 1, 1, 1, 1, 1,16, 9,18, 1,19, 1, 1, 1, 1, 1, 1, 9,17, 1, 1, 1, 1, 1, 1,17, 9,19, 1, 1,18, 1, 1, 1, 1, 1, 1, 1,18, 1, 1, 1, 1, 1, 1, 1,18, 1,18]), function(m(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 8, 8, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 0,16,19,16,19, 0,10, 0, 0, 0, 0, 0, 0, 0, 0,10, 0, 0,10,10, 0, 0, 0, 0, 0, 0,11, 0, 0, 0, 0, 0, 0, 0, 0, 0,11,12,15,12,15, 0, 0, 0, 0, 0,12, 0, 0, 0, 0, 0, 0, 0, 0, 0,12,12, 0,12, 0, 0, 0, 0, 0, 0,13, 0, 0, 0, 0, 0, 0, 0, 0,10,15, 0,13,10,15, 0, 0, 0, 0, 0,14, 0, 0, 0, 0, 0, 0, 0, 0,10,12,12,10,14, 0, 0, 0, 0, 0, 0,15, 0, 0, 0, 0, 0, 0, 0, 0, 0,15, 0,15, 0,15, 0, 0, 0, 0, 0,16, 0, 0, 0, 0, 0, 0, 0,16, 0, 0, 0, 0, 0, 0,16, 0,16, 0, 0,17, 0, 0, 0, 0, 0, 0, 8,19, 0, 0, 0, 0, 0, 0, 0,17, 8,19, 0,18, 0, 0, 0, 0, 0, 0, 8,16, 0, 0, 0, 0, 0, 0,16, 8,18, 0, 0,19, 0, 0, 0, 0, 0, 0, 0,19, 0, 0, 0, 0, 0, 0, 0,19, 0,19]), function(j(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1,18,17,18,17, 9, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 9, 1, 1, 9, 10, 1, 1, 1, 1, 1, 1, 1, 1, 1,10, 1,14,13,14,13, 1, 1, 1, 1, 11, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,11,11, 1, 1,11, 1, 1, 1, 1, 12, 1, 1, 1, 1, 1, 1, 1, 1, 1,14,11,12, 1,14,11, 1, 1, 1, 1, 13, 1, 1, 1, 1, 1, 1, 1, 1, 1,13, 1, 1,13, 1,13, 1, 1, 1, 1, 14, 1, 1, 1, 1, 1, 1, 1, 1, 1,14, 1,14, 1,14, 1, 1, 1, 1, 1, 15, 1, 1, 1, 1, 1, 1, 1, 1, 1,13,11,11,13, 1,15, 1, 1, 1, 1, 16, 1, 1, 1, 1, 1, 1, 1,18, 9, 1, 1, 1, 1, 1, 1,16, 1,18, 9, 17, 1, 1, 1, 1, 1, 1, 1,17, 1, 1, 1, 1, 1, 1, 1, 1,17, 1,17, 18, 1, 1, 1, 1, 1, 1, 1,18, 1, 1, 1, 1, 1, 1, 1,18, 1,18, 1, 19, 1, 1, 1, 1, 1, 1, 1,17, 9, 1, 1, 1, 1, 1, 1, 9,17, 1,19])]). interpretation(20, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12,15,14,17,16,19,18]), function(^(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 6, 0, 0, 0, 7, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0,14, 0,14,16,16,14, 0,14, 0, 8, 0, 0, 0, 0, 0, 0, 8, 0, 0, 8, 8, 0, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 9,10,13,10,13, 0,13, 0, 0, 0,13, 0,10, 0, 0, 0, 0, 0, 0, 0,10,10, 0,10, 0, 0, 0, 0, 0, 0, 0, 0,11, 0, 0, 0, 0, 0, 0, 8,13, 0,11, 8,13, 0,13, 0, 0, 0,13, 0,12, 0, 0, 0, 0, 0,14, 8,10,10, 8,12, 0,14,18, 0,14,18,14, 0,13, 0, 0, 0, 0, 0, 0, 0,13, 0,13, 0,13, 0,13, 0, 0, 0,13, 0,14, 0, 0, 0, 0, 0,14, 0, 0, 0, 0,14, 0,14, 0, 0,14, 0,14, 0,15, 0, 0, 0, 0, 6,16, 0,13, 0,13,18,13, 0,15,16, 6,18,13, 0,16, 0, 0, 0, 0, 0,16, 0, 0, 0, 0, 0, 0, 0,16,16, 0, 0, 0, 0,17, 0, 0, 0, 0, 6,14, 0, 0, 0, 0,14, 0,14, 6, 0,17, 0,14, 0,18, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,18, 0, 0,18, 0, 0,18, 0, 0,19, 0, 0, 0, 0, 0,14, 0,13, 0,13,14,13,14,13, 0,14, 0,19]), function(v(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1,15,17,15,15,17,15, 1, 7, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 7, 1, 7, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 8, 1,12,11,12,11,12, 1, 1, 1,12, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 9, 9, 1, 1, 9, 1, 1, 1, 1, 1, 1, 10, 1, 1, 1, 1, 1, 1, 1,12, 9,10, 1,12, 9,12, 1, 1, 1,12, 1, 11, 1, 1, 1, 1, 1, 1, 1,11, 1, 1,11, 1,11, 1, 1, 1, 1, 1, 1, 12, 1, 1, 1, 1, 1, 1, 1,12, 1,12, 1,12, 1,12, 1, 1, 1,12, 1, 13, 1, 1, 1, 1, 1,15, 1,11, 9, 9,11, 1,13,19,15,15, 1,15,19, 14, 1, 1, 1, 1, 1,17, 7,12, 1,12, 1,12,19,14, 1, 7,17,12,19, 15, 1, 1, 1, 1, 1,15, 1, 1, 1, 1, 1, 1,15, 1,15,15, 1,15, 1, 16, 1, 1, 1, 1, 1,15, 7, 1, 1, 1, 1, 1,15, 7,15,16, 1,15, 1, 17, 1, 1, 1, 1, 1,17, 1, 1, 1, 1, 1, 1, 1,17, 1, 1,17, 1, 1, 18, 1, 1, 1, 1, 1,15, 1,12, 1,12, 1,12,15,12,15,15, 1,18, 1, 19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,19,19, 1, 1, 1, 1,19]), function(f(_,_), [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 3, 2, 5, 4, 7, 6, 9, 8,11,10,13,12,15,14,17,16,19,18, 1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1, 7, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1,15, 1,15,17,17,15, 1,15, 1, 9, 1, 1, 1, 1, 1, 1, 9, 1, 1, 9, 9, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 8,11,12,11,12, 1,12, 1, 1, 1,12, 1,11, 1, 1, 1, 1, 1, 1, 1,11,11, 1,11, 1, 1, 1, 1, 1, 1, 1, 1,10, 1, 1, 1, 1, 1, 1, 9,12, 1,10, 9,12, 1,12, 1, 1, 1,12, 1,13, 1, 1, 1, 1, 1,15, 9,11,11, 9,13, 1,15,19, 1,15,19,15, 1,12, 1, 1, 1, 1, 1, 1, 1,12, 1,12, 1,12, 1,12, 1, 1, 1,12, 1,15, 1, 1, 1, 1, 1,15, 1, 1, 1, 1,15, 1,15, 1, 1,15, 1,15, 1,14, 1, 1, 1, 1, 7,17, 1,12, 1,12,19,12, 1,14,17, 7,19,12, 1,17, 1, 1, 1, 1, 1,17, 1, 1, 1, 1, 1, 1, 1,17,17, 1, 1, 1, 1,16, 1, 1, 1, 1, 7,15, 1, 1, 1, 1,15, 1,15, 7, 1,16, 1,15, 1,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,19, 1, 1,19, 1, 1,19, 1, 1,18, 1, 1, 1, 1, 1,15, 1,12, 1,12,15,12,15,12, 1,15, 1,18]), function(m(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 6, 0, 0, 0, 7, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0,14, 0,14,16,16,14, 0,14, 0, 8, 0, 0, 0, 0, 0, 0, 8, 0, 0, 8, 8, 0, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 9,10,13,10,13, 0,13, 0, 0, 0,13, 0,10, 0, 0, 0, 0, 0, 0, 0,10,10, 0,10, 0, 0, 0, 0, 0, 0, 0, 0,11, 0, 0, 0, 0, 0, 0, 8,13, 0,11, 8,13, 0,13, 0, 0, 0,13, 0,12, 0, 0, 0, 0, 0,14, 8,10,10, 8,12, 0,14,18, 0,14,18,14, 0,13, 0, 0, 0, 0, 0, 0, 0,13, 0,13, 0,13, 0,13, 0, 0, 0,13, 0,14, 0, 0, 0, 0, 0,14, 0, 0, 0, 0,14, 0,14, 0, 0,14, 0,14, 0,15, 0, 0, 0, 0, 6,16, 0,13, 0,13,18,13, 0,15,16, 6,18,13, 0,16, 0, 0, 0, 0, 0,16, 0, 0, 0, 0, 0, 0, 0,16,16, 0, 0, 0, 0,17, 0, 0, 0, 0, 6,14, 0, 0, 0, 0,14, 0,14, 6, 0,17, 0,14, 0,18, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,18, 0, 0,18, 0, 0,18, 0, 0,19, 0, 0, 0, 0, 0,14, 0,13, 0,13,14,13,14,13, 0,14, 0,19]), function(j(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1,15,17,15,15,17,15, 1, 7, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 7, 1, 7, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 8, 1,12,11,12,11,12, 1, 1, 1,12, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 9, 9, 1, 1, 9, 1, 1, 1, 1, 1, 1, 10, 1, 1, 1, 1, 1, 1, 1,12, 9,10, 1,12, 9,12, 1, 1, 1,12, 1, 11, 1, 1, 1, 1, 1, 1, 1,11, 1, 1,11, 1,11, 1, 1, 1, 1, 1, 1, 12, 1, 1, 1, 1, 1, 1, 1,12, 1,12, 1,12, 1,12, 1, 1, 1,12, 1, 13, 1, 1, 1, 1, 1,15, 1,11, 9, 9,11, 1,13,19,15,15, 1,15,19, 14, 1, 1, 1, 1, 1,17, 7,12, 1,12, 1,12,19,14, 1, 7,17,12,19, 15, 1, 1, 1, 1, 1,15, 1, 1, 1, 1, 1, 1,15, 1,15,15, 1,15, 1, 16, 1, 1, 1, 1, 1,15, 7, 1, 1, 1, 1, 1,15, 7,15,16, 1,15, 1, 17, 1, 1, 1, 1, 1,17, 1, 1, 1, 1, 1, 1, 1,17, 1, 1,17, 1, 1, 18, 1, 1, 1, 1, 1,15, 1,12, 1,12, 1,12,15,12,15,15, 1,18, 1, 19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,19,19, 1, 1, 1, 1,19])]). interpretation(20, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,14,15,12,13,17,16,19,18]), function(^(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6, 0, 0,11,12,11,12, 0,11,11,11, 0, 0,11, 0, 7, 0, 0, 0, 0, 0, 7, 0, 0, 7, 0, 0, 0, 7, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 8, 0, 8, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0,11, 0, 0, 9,13,11, 0,13,11,11,11, 0, 0,11, 0,10, 0, 0, 0, 0,12, 7, 8,13,10, 0,12,13, 7, 8,18,17,18,17, 0,11, 0, 0, 0, 0,11, 0, 0,11, 0,11, 0, 0,11,11,11, 0, 0,11, 0,12, 0, 0, 0, 0,12, 0, 0, 0,12, 0,12, 0, 0, 0, 0, 0, 0, 0, 0,13, 0, 0, 0, 0, 0, 0, 0,13,13, 0, 0,13, 0, 0, 0, 0, 0, 0, 0,14, 0, 0, 0, 0,11, 7, 0,11, 7,11, 0, 0,14,11,11, 0, 0,11, 0,15, 0, 0, 0, 0,11, 0, 8,11, 8,11, 0, 0,11,15,11, 0, 0,11, 0,16, 0, 0, 0, 0,11, 0, 0,11,18,11, 0, 0,11,11,16, 0,18,11, 0,17, 0, 0, 0, 0, 0, 0, 0, 0,17, 0, 0, 0, 0, 0, 0,17, 0,17, 0,18, 0, 0, 0, 0, 0, 0, 0, 0,18, 0, 0, 0, 0, 0,18, 0,18, 0, 0,19, 0, 0, 0, 0,11, 0, 0,11,17,11, 0, 0,11,11,11,17, 0,19]), function(v(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 6, 6, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 7,10, 1,10,14,10,10,14, 1, 1,10,10, 1, 8, 1, 1, 1, 1, 1, 1,10, 8, 1,10,15,10,10, 1,15, 1,10,10, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 9, 1, 9, 1, 1, 1, 1, 1, 1, 10, 1, 1, 1, 1, 1, 1,10,10, 1,10, 1,10,10, 1, 1, 1,10,10, 1, 11, 1, 1, 1, 1, 1, 6,14,15, 9, 1,11, 6, 9,14,15,16,19,16,19, 12, 1, 1, 1, 1, 1, 6,10,10, 1,10, 6,12,10, 1, 1, 1,10,10, 1, 13, 1, 1, 1, 1, 1, 1,10,10, 9,10, 9,10,13, 1, 1, 1,10,10, 1, 14, 1, 1, 1, 1, 1, 1,14, 1, 1, 1,14, 1, 1,14, 1, 1, 1, 1, 1, 15, 1, 1, 1, 1, 1, 1, 1,15, 1, 1,15, 1, 1, 1,15, 1, 1, 1, 1, 16, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,16, 1, 1, 1, 1,16, 1,16, 1, 17, 1, 1, 1, 1, 1, 1,10,10, 1,10,19,10,10, 1, 1, 1,17,10,19, 18, 1, 1, 1, 1, 1, 1,10,10, 1,10,16,10,10, 1, 1,16,10,18, 1, 19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,19, 1, 1, 1, 1, 1,19, 1,19]), function(f(_,_), [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 3, 2, 5, 4, 7, 6, 9, 8,11,10,14,15,12,13,17,16,19,18, 1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 7, 1, 1,10,14,10,14, 1,10,10,10, 1, 1,10, 1, 6, 1, 1, 1, 1, 1, 6, 1, 1, 6, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 9, 1, 9, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1,10, 1, 1, 8,15,10, 1,15,10,10,10, 1, 1,10, 1,11, 1, 1, 1, 1,14, 6, 9,15,11, 1,14,15, 6, 9,19,16,19,16, 1,10, 1, 1, 1, 1,10, 1, 1,10, 1,10, 1, 1,10,10,10, 1, 1,10, 1,14, 1, 1, 1, 1,14, 1, 1, 1,14, 1,14, 1, 1, 1, 1, 1, 1, 1, 1,15, 1, 1, 1, 1, 1, 1, 1,15,15, 1, 1,15, 1, 1, 1, 1, 1, 1, 1,12, 1, 1, 1, 1,10, 6, 1,10, 6,10, 1, 1,12,10,10, 1, 1,10, 1,13, 1, 1, 1, 1,10, 1, 9,10, 9,10, 1, 1,10,13,10, 1, 1,10, 1,17, 1, 1, 1, 1,10, 1, 1,10,19,10, 1, 1,10,10,17, 1,19,10, 1,16, 1, 1, 1, 1, 1, 1, 1, 1,16, 1, 1, 1, 1, 1, 1,16, 1,16, 1,19, 1, 1, 1, 1, 1, 1, 1, 1,19, 1, 1, 1, 1, 1,19, 1,19, 1, 1,18, 1, 1, 1, 1,10, 1, 1,10,16,10, 1, 1,10,10,10,16, 1,18]), function(m(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6, 0, 0,11,12,11,12, 0,11,11,11, 0, 0,11, 0, 7, 0, 0, 0, 0, 0, 7, 0, 0, 7, 0, 0, 0, 7, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 8, 0, 8, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0,11, 0, 0, 9,13,11, 0,13,11,11,11, 0, 0,11, 0,10, 0, 0, 0, 0,12, 7, 8,13,10, 0,12,13, 7, 8,18,17,18,17, 0,11, 0, 0, 0, 0,11, 0, 0,11, 0,11, 0, 0,11,11,11, 0, 0,11, 0,12, 0, 0, 0, 0,12, 0, 0, 0,12, 0,12, 0, 0, 0, 0, 0, 0, 0, 0,13, 0, 0, 0, 0, 0, 0, 0,13,13, 0, 0,13, 0, 0, 0, 0, 0, 0, 0,14, 0, 0, 0, 0,11, 7, 0,11, 7,11, 0, 0,14,11,11, 0, 0,11, 0,15, 0, 0, 0, 0,11, 0, 8,11, 8,11, 0, 0,11,15,11, 0, 0,11, 0,16, 0, 0, 0, 0,11, 0, 0,11,18,11, 0, 0,11,11,16, 0,18,11, 0,17, 0, 0, 0, 0, 0, 0, 0, 0,17, 0, 0, 0, 0, 0, 0,17, 0,17, 0,18, 0, 0, 0, 0, 0, 0, 0, 0,18, 0, 0, 0, 0, 0,18, 0,18, 0, 0,19, 0, 0, 0, 0,11, 0, 0,11,17,11, 0, 0,11,11,11,17, 0,19]), function(j(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 6, 6, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 7,10, 1,10,14,10,10,14, 1, 1,10,10, 1, 8, 1, 1, 1, 1, 1, 1,10, 8, 1,10,15,10,10, 1,15, 1,10,10, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 9, 1, 9, 1, 1, 1, 1, 1, 1, 10, 1, 1, 1, 1, 1, 1,10,10, 1,10, 1,10,10, 1, 1, 1,10,10, 1, 11, 1, 1, 1, 1, 1, 6,14,15, 9, 1,11, 6, 9,14,15,16,19,16,19, 12, 1, 1, 1, 1, 1, 6,10,10, 1,10, 6,12,10, 1, 1, 1,10,10, 1, 13, 1, 1, 1, 1, 1, 1,10,10, 9,10, 9,10,13, 1, 1, 1,10,10, 1, 14, 1, 1, 1, 1, 1, 1,14, 1, 1, 1,14, 1, 1,14, 1, 1, 1, 1, 1, 15, 1, 1, 1, 1, 1, 1, 1,15, 1, 1,15, 1, 1, 1,15, 1, 1, 1, 1, 16, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,16, 1, 1, 1, 1,16, 1,16, 1, 17, 1, 1, 1, 1, 1, 1,10,10, 1,10,19,10,10, 1, 1, 1,17,10,19, 18, 1, 1, 1, 1, 1, 1,10,10, 1,10,16,10,10, 1, 1,16,10,18, 1, 19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,19, 1, 1, 1, 1, 1,19, 1,19])]). interpretation(20, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,14,15,12,13,17,16,19,18]), function(^(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16,19,16,19, 0, 6, 0, 0, 0, 0, 6, 0, 0,11,12,11,12, 0,11,11, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 7, 0, 0, 7, 0, 0, 0, 7, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 8, 0, 8, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0,11, 0, 0, 9,13,11, 0,13,11,11, 0, 0, 0, 0, 0,10, 0, 0, 0, 0,12, 7, 8,13,10, 0,12,13, 7, 8, 0, 0, 0, 0, 0,11, 0, 0, 0, 0,11, 0, 0,11, 0,11, 0, 0,11,11, 0, 0, 0, 0, 0,12, 0, 0, 0, 0,12, 0, 0, 0,12, 0,12, 0, 0, 0, 0, 0, 0, 0, 0,13, 0, 0, 0, 0, 0, 0, 0,13,13, 0, 0,13, 0, 0, 0, 0, 0, 0, 0,14, 0, 0, 0, 0,11, 7, 0,11, 7,11, 0, 0,14,11, 0, 0, 0, 0, 0,15, 0, 0, 0, 0,11, 0, 8,11, 8,11, 0, 0,11,15, 0, 0, 0, 0, 0,16, 0, 0, 0,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16, 0,16, 0, 0,17, 0, 0, 4,19, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,17, 4,19, 0,18, 0, 0, 4,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16, 4,18, 0, 0,19, 0, 0, 0,19, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,19, 0,19]), function(v(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18,17,18,17, 5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 5, 6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 6, 6, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 7,10, 1,10,14,10,10,14, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1,10, 8, 1,10,15,10,10, 1,15, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 9, 1, 9, 1, 1, 1, 1, 1, 1, 10, 1, 1, 1, 1, 1, 1,10,10, 1,10, 1,10,10, 1, 1, 1, 1, 1, 1, 11, 1, 1, 1, 1, 1, 6,14,15, 9, 1,11, 6, 9,14,15, 1, 1, 1, 1, 12, 1, 1, 1, 1, 1, 6,10,10, 1,10, 6,12,10, 1, 1, 1, 1, 1, 1, 13, 1, 1, 1, 1, 1, 1,10,10, 9,10, 9,10,13, 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 1, 1, 1,14, 1, 1, 1,14, 1, 1,14, 1, 1, 1, 1, 1, 15, 1, 1, 1, 1, 1, 1, 1,15, 1, 1,15, 1, 1, 1,15, 1, 1, 1, 1, 16, 1, 1, 1,18, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,16, 1,18, 5, 17, 1, 1, 1,17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17, 1,17, 18, 1, 1, 1,18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18, 1,18, 1, 19, 1, 1, 1,17, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5,17, 1,19]), function(f(_,_), [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 3, 2, 5, 4, 7, 6, 9, 8,11,10,14,15,12,13,17,16,19,18, 1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 5, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17,18,17,18, 1, 7, 1, 1, 1, 1, 7, 1, 1,10,14,10,14, 1,10,10, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1, 1, 6, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 9, 1, 9, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1,10, 1, 1, 8,15,10, 1,15,10,10, 1, 1, 1, 1, 1,11, 1, 1, 1, 1,14, 6, 9,15,11, 1,14,15, 6, 9, 1, 1, 1, 1, 1,10, 1, 1, 1, 1,10, 1, 1,10, 1,10, 1, 1,10,10, 1, 1, 1, 1, 1,14, 1, 1, 1, 1,14, 1, 1, 1,14, 1,14, 1, 1, 1, 1, 1, 1, 1, 1,15, 1, 1, 1, 1, 1, 1, 1,15,15, 1, 1,15, 1, 1, 1, 1, 1, 1, 1,12, 1, 1, 1, 1,10, 6, 1,10, 6,10, 1, 1,12,10, 1, 1, 1, 1, 1,13, 1, 1, 1, 1,10, 1, 9,10, 9,10, 1, 1,10,13, 1, 1, 1, 1, 1,17, 1, 1, 1,17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17, 1,17, 1, 1,16, 1, 1, 5,18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,16, 5,18, 1,19, 1, 1, 5,17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17, 5,19, 1, 1,18, 1, 1, 1,18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18, 1,18]), function(m(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16,19,16,19, 0, 6, 0, 0, 0, 0, 6, 0, 0,11,12,11,12, 0,11,11, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 7, 0, 0, 7, 0, 0, 0, 7, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 8, 0, 8, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0,11, 0, 0, 9,13,11, 0,13,11,11, 0, 0, 0, 0, 0,10, 0, 0, 0, 0,12, 7, 8,13,10, 0,12,13, 7, 8, 0, 0, 0, 0, 0,11, 0, 0, 0, 0,11, 0, 0,11, 0,11, 0, 0,11,11, 0, 0, 0, 0, 0,12, 0, 0, 0, 0,12, 0, 0, 0,12, 0,12, 0, 0, 0, 0, 0, 0, 0, 0,13, 0, 0, 0, 0, 0, 0, 0,13,13, 0, 0,13, 0, 0, 0, 0, 0, 0, 0,14, 0, 0, 0, 0,11, 7, 0,11, 7,11, 0, 0,14,11, 0, 0, 0, 0, 0,15, 0, 0, 0, 0,11, 0, 8,11, 8,11, 0, 0,11,15, 0, 0, 0, 0, 0,16, 0, 0, 0,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16, 0,16, 0, 0,17, 0, 0, 4,19, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,17, 4,19, 0,18, 0, 0, 4,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16, 4,18, 0, 0,19, 0, 0, 0,19, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,19, 0,19]), function(j(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18,17,18,17, 5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 5, 6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 6, 6, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 7,10, 1,10,14,10,10,14, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1,10, 8, 1,10,15,10,10, 1,15, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 9, 1, 9, 1, 1, 1, 1, 1, 1, 10, 1, 1, 1, 1, 1, 1,10,10, 1,10, 1,10,10, 1, 1, 1, 1, 1, 1, 11, 1, 1, 1, 1, 1, 6,14,15, 9, 1,11, 6, 9,14,15, 1, 1, 1, 1, 12, 1, 1, 1, 1, 1, 6,10,10, 1,10, 6,12,10, 1, 1, 1, 1, 1, 1, 13, 1, 1, 1, 1, 1, 1,10,10, 9,10, 9,10,13, 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 1, 1, 1,14, 1, 1, 1,14, 1, 1,14, 1, 1, 1, 1, 1, 15, 1, 1, 1, 1, 1, 1, 1,15, 1, 1,15, 1, 1, 1,15, 1, 1, 1, 1, 16, 1, 1, 1,18, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,16, 1,18, 5, 17, 1, 1, 1,17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17, 1,17, 18, 1, 1, 1,18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18, 1,18, 1, 19, 1, 1, 1,17, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5,17, 1,19])]). interpretation(20, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12,15,14,17,16,19,18]), function(^(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6, 0, 0, 6, 6, 0, 0, 6, 0, 6, 6, 0, 6, 0, 0, 7, 0, 0, 0, 0, 0, 7, 8,11, 8,11,12,17,14,19,12,17,14,19, 0, 8, 0, 0, 0, 0, 0, 8, 8, 0, 8, 0, 8, 0, 0, 8, 8, 0, 0, 8, 0, 9, 0, 0, 0, 0, 6,11, 0, 9, 6,11,14,13,14,13,18,17,18,17, 0,10, 0, 0, 0, 0, 6, 8, 8, 6,10, 0, 8, 6, 0,10,10, 0, 6, 8, 0,11, 0, 0, 0, 0, 0,11, 0,11, 0,11,14,17,14,17,14,17,14,17, 0,12, 0, 0, 0, 0, 0,12, 8,14, 8,14,12, 0,14, 8,12, 0,14, 8, 0,13, 0, 0, 0, 0, 6,17, 0,13, 6,17, 0,13, 0,13, 6,17, 6,17, 0,14, 0, 0, 0, 0, 0,14, 0,14, 0,14,14, 0,14, 0,14, 0,14, 0, 0,15, 0, 0, 0, 0, 6,19, 8,13,10,17, 8,13, 0,15,10,17, 6,19, 0,16, 0, 0, 0, 0, 6,12, 8,18,10,14,12, 6,14,10,16, 0,18, 8, 0,17, 0, 0, 0, 0, 0,17, 0,17, 0,17, 0,17, 0,17, 0,17, 0,17, 0,18, 0, 0, 0, 0, 6,14, 0,18, 6,14,14, 6,14, 6,18, 0,18, 0, 0,19, 0, 0, 0, 0, 0,19, 8,17, 8,17, 8,17, 0,19, 8,17, 0,19]), function(v(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1,10, 9,10, 9,16,13,18,15,16,13,18,15, 7, 1, 1, 1, 1, 1, 1, 7, 7, 1, 1, 7, 7, 1, 7, 1, 1, 7, 1, 7, 8, 1, 1, 1, 1, 1,10, 7, 8, 1,10, 7,12,15,12,15,16,19,16,19, 9, 1, 1, 1, 1, 1, 9, 1, 1, 9, 1, 9, 1, 9, 9, 1, 1, 9, 9, 1, 10, 1, 1, 1, 1, 1,10, 1,10, 1,10, 1,16,15,16,15,16,15,16,15, 11, 1, 1, 1, 1, 1, 9, 7, 7, 9, 1,11, 7, 9,11, 1, 1,11, 9, 7, 12, 1, 1, 1, 1, 1,16, 7,12, 1,16, 7,12, 1,12, 1,16, 7,16, 7, 13, 1, 1, 1, 1, 1,13, 1,15, 9,15, 9, 1,13, 9,15, 1,13, 9,15, 14, 1, 1, 1, 1, 1,18, 7,12, 9,16,11,12, 9,14, 1,16,11,18, 7, 15, 1, 1, 1, 1, 1,15, 1,15, 1,15, 1, 1,15, 1,15, 1,15, 1,15, 16, 1, 1, 1, 1, 1,16, 1,16, 1,16, 1,16, 1,16, 1,16, 1,16, 1, 17, 1, 1, 1, 1, 1,13, 7,19, 9,15,11, 7,13,11,15, 1,17, 9,19, 18, 1, 1, 1, 1, 1,18, 1,16, 9,16, 9,16, 9,18, 1,16, 9,18, 1, 19, 1, 1, 1, 1, 1,15, 7,19, 1,15, 7, 7,15, 7,15, 1,19, 1,19]), function(f(_,_), [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 3, 2, 5, 4, 7, 6, 9, 8,11,10,13,12,15,14,17,16,19,18, 1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 7, 1, 1, 7, 7, 1, 1, 7, 1, 7, 7, 1, 7, 1, 1, 6, 1, 1, 1, 1, 1, 6, 9,10, 9,10,13,16,15,18,13,16,15,18, 1, 9, 1, 1, 1, 1, 1, 9, 9, 1, 9, 1, 9, 1, 1, 9, 9, 1, 1, 9, 1, 8, 1, 1, 1, 1, 7,10, 1, 8, 7,10,15,12,15,12,19,16,19,16, 1,11, 1, 1, 1, 1, 7, 9, 9, 7,11, 1, 9, 7, 1,11,11, 1, 7, 9, 1,10, 1, 1, 1, 1, 1,10, 1,10, 1,10,15,16,15,16,15,16,15,16, 1,13, 1, 1, 1, 1, 1,13, 9,15, 9,15,13, 1,15, 9,13, 1,15, 9, 1,12, 1, 1, 1, 1, 7,16, 1,12, 7,16, 1,12, 1,12, 7,16, 7,16, 1,15, 1, 1, 1, 1, 1,15, 1,15, 1,15,15, 1,15, 1,15, 1,15, 1, 1,14, 1, 1, 1, 1, 7,18, 9,12,11,16, 9,12, 1,14,11,16, 7,18, 1,17, 1, 1, 1, 1, 7,13, 9,19,11,15,13, 7,15,11,17, 1,19, 9, 1,16, 1, 1, 1, 1, 1,16, 1,16, 1,16, 1,16, 1,16, 1,16, 1,16, 1,19, 1, 1, 1, 1, 7,15, 1,19, 7,15,15, 7,15, 7,19, 1,19, 1, 1,18, 1, 1, 1, 1, 1,18, 9,16, 9,16, 9,16, 1,18, 9,16, 1,18]), function(m(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6, 0, 0, 6, 6, 0, 0, 6, 0, 6, 6, 0, 6, 0, 0, 7, 0, 0, 0, 0, 0, 7, 8,11, 8,11,12,17,14,19,12,17,14,19, 0, 8, 0, 0, 0, 0, 0, 8, 8, 0, 8, 0, 8, 0, 0, 8, 8, 0, 0, 8, 0, 9, 0, 0, 0, 0, 6,11, 0, 9, 6,11,14,13,14,13,18,17,18,17, 0,10, 0, 0, 0, 0, 6, 8, 8, 6,10, 0, 8, 6, 0,10,10, 0, 6, 8, 0,11, 0, 0, 0, 0, 0,11, 0,11, 0,11,14,17,14,17,14,17,14,17, 0,12, 0, 0, 0, 0, 0,12, 8,14, 8,14,12, 0,14, 8,12, 0,14, 8, 0,13, 0, 0, 0, 0, 6,17, 0,13, 6,17, 0,13, 0,13, 6,17, 6,17, 0,14, 0, 0, 0, 0, 0,14, 0,14, 0,14,14, 0,14, 0,14, 0,14, 0, 0,15, 0, 0, 0, 0, 6,19, 8,13,10,17, 8,13, 0,15,10,17, 6,19, 0,16, 0, 0, 0, 0, 6,12, 8,18,10,14,12, 6,14,10,16, 0,18, 8, 0,17, 0, 0, 0, 0, 0,17, 0,17, 0,17, 0,17, 0,17, 0,17, 0,17, 0,18, 0, 0, 0, 0, 6,14, 0,18, 6,14,14, 6,14, 6,18, 0,18, 0, 0,19, 0, 0, 0, 0, 0,19, 8,17, 8,17, 8,17, 0,19, 8,17, 0,19]), function(j(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1,10, 9,10, 9,16,13,18,15,16,13,18,15, 7, 1, 1, 1, 1, 1, 1, 7, 7, 1, 1, 7, 7, 1, 7, 1, 1, 7, 1, 7, 8, 1, 1, 1, 1, 1,10, 7, 8, 1,10, 7,12,15,12,15,16,19,16,19, 9, 1, 1, 1, 1, 1, 9, 1, 1, 9, 1, 9, 1, 9, 9, 1, 1, 9, 9, 1, 10, 1, 1, 1, 1, 1,10, 1,10, 1,10, 1,16,15,16,15,16,15,16,15, 11, 1, 1, 1, 1, 1, 9, 7, 7, 9, 1,11, 7, 9,11, 1, 1,11, 9, 7, 12, 1, 1, 1, 1, 1,16, 7,12, 1,16, 7,12, 1,12, 1,16, 7,16, 7, 13, 1, 1, 1, 1, 1,13, 1,15, 9,15, 9, 1,13, 9,15, 1,13, 9,15, 14, 1, 1, 1, 1, 1,18, 7,12, 9,16,11,12, 9,14, 1,16,11,18, 7, 15, 1, 1, 1, 1, 1,15, 1,15, 1,15, 1, 1,15, 1,15, 1,15, 1,15, 16, 1, 1, 1, 1, 1,16, 1,16, 1,16, 1,16, 1,16, 1,16, 1,16, 1, 17, 1, 1, 1, 1, 1,13, 7,19, 9,15,11, 7,13,11,15, 1,17, 9,19, 18, 1, 1, 1, 1, 1,18, 1,16, 9,16, 9,16, 9,18, 1,16, 9,18, 1, 19, 1, 1, 1, 1, 1,15, 7,19, 1,15, 7, 7,15, 7,15, 1,19, 1,19])]). interpretation(20, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12,15,14,17,16,19,18]), function(^(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 0, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16,19,16,19, 0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0,12,15,12,15, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6, 0, 0, 6, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 7, 8,11, 8,11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 8, 8, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 6,11, 0, 9, 6,11, 0, 0, 0, 0, 0, 0, 0, 0, 0,10, 0, 0, 0, 0, 6, 8, 8, 6,10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,11, 0, 0, 0, 0, 0,11, 0,11, 0,11, 0, 0, 0, 0, 0, 0, 0, 0, 0,12, 0, 0, 0,12, 0, 0, 0, 0, 0, 0,12, 0,12, 0, 0, 0, 0, 0, 0,13, 0, 0, 4,15, 0, 0, 0, 0, 0, 0, 0,13, 4,15, 0, 0, 0, 0, 0,14, 0, 0, 4,12, 0, 0, 0, 0, 0, 0,12, 4,14, 0, 0, 0, 0, 0, 0,15, 0, 0, 0,15, 0, 0, 0, 0, 0, 0, 0,15, 0,15, 0, 0, 0, 0, 0,16, 0,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16, 0,16, 0, 0,17, 2,19, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,17, 2,19, 0,18, 2,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16, 2,18, 0, 0,19, 0,19, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,19, 0,19]), function(v(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18,17,18,17, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1,14,13,14,13, 1, 1, 1, 1, 5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 5, 1, 1, 5, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1,10, 9,10, 9, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 7, 7, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1,10, 7, 8, 1,10, 7, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 9, 1, 1, 9, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 10, 1, 1, 1, 1, 1,10, 1,10, 1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1, 11, 1, 1, 1, 1, 1, 9, 7, 7, 9, 1,11, 1, 1, 1, 1, 1, 1, 1, 1, 12, 1, 1, 1,14, 5, 1, 1, 1, 1, 1, 1,12, 1,14, 5, 1, 1, 1, 1, 13, 1, 1, 1,13, 1, 1, 1, 1, 1, 1, 1, 1,13, 1,13, 1, 1, 1, 1, 14, 1, 1, 1,14, 1, 1, 1, 1, 1, 1, 1,14, 1,14, 1, 1, 1, 1, 1, 15, 1, 1, 1,13, 5, 1, 1, 1, 1, 1, 1, 5,13, 1,15, 1, 1, 1, 1, 16, 1,18, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,16, 1,18, 3, 17, 1,17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17, 1,17, 18, 1,18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18, 1,18, 1, 19, 1,17, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3,17, 1,19]), function(f(_,_), [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 3, 2, 5, 4, 7, 6, 9, 8,11,10,13,12,15,14,17,16,19,18, 1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17,18,17,18, 1, 5, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 5, 5, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1,13,14,13,14, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 7, 1, 1, 7, 7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 9,10, 9,10, 1, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 9, 9, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 7,10, 1, 8, 7,10, 1, 1, 1, 1, 1, 1, 1, 1, 1,11, 1, 1, 1, 1, 7, 9, 9, 7,11, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,10, 1, 1, 1, 1, 1,10, 1,10, 1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1,13, 1, 1, 1,13, 1, 1, 1, 1, 1, 1,13, 1,13, 1, 1, 1, 1, 1, 1,12, 1, 1, 5,14, 1, 1, 1, 1, 1, 1, 1,12, 5,14, 1, 1, 1, 1, 1,15, 1, 1, 5,13, 1, 1, 1, 1, 1, 1,13, 5,15, 1, 1, 1, 1, 1, 1,14, 1, 1, 1,14, 1, 1, 1, 1, 1, 1, 1,14, 1,14, 1, 1, 1, 1, 1,17, 1,17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17, 1,17, 1, 1,16, 3,18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,16, 3,18, 1,19, 3,17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17, 3,19, 1, 1,18, 1,18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18, 1,18]), function(m(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 0, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16,19,16,19, 0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0,12,15,12,15, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6, 0, 0, 6, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 7, 8,11, 8,11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 8, 8, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 6,11, 0, 9, 6,11, 0, 0, 0, 0, 0, 0, 0, 0, 0,10, 0, 0, 0, 0, 6, 8, 8, 6,10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,11, 0, 0, 0, 0, 0,11, 0,11, 0,11, 0, 0, 0, 0, 0, 0, 0, 0, 0,12, 0, 0, 0,12, 0, 0, 0, 0, 0, 0,12, 0,12, 0, 0, 0, 0, 0, 0,13, 0, 0, 4,15, 0, 0, 0, 0, 0, 0, 0,13, 4,15, 0, 0, 0, 0, 0,14, 0, 0, 4,12, 0, 0, 0, 0, 0, 0,12, 4,14, 0, 0, 0, 0, 0, 0,15, 0, 0, 0,15, 0, 0, 0, 0, 0, 0, 0,15, 0,15, 0, 0, 0, 0, 0,16, 0,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16, 0,16, 0, 0,17, 2,19, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,17, 2,19, 0,18, 2,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16, 2,18, 0, 0,19, 0,19, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,19, 0,19]), function(j(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18,17,18,17, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1,14,13,14,13, 1, 1, 1, 1, 5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 5, 1, 1, 5, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 1,10, 9,10, 9, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 7, 7, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1,10, 7, 8, 1,10, 7, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 9, 1, 1, 9, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 10, 1, 1, 1, 1, 1,10, 1,10, 1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1, 11, 1, 1, 1, 1, 1, 9, 7, 7, 9, 1,11, 1, 1, 1, 1, 1, 1, 1, 1, 12, 1, 1, 1,14, 5, 1, 1, 1, 1, 1, 1,12, 1,14, 5, 1, 1, 1, 1, 13, 1, 1, 1,13, 1, 1, 1, 1, 1, 1, 1, 1,13, 1,13, 1, 1, 1, 1, 14, 1, 1, 1,14, 1, 1, 1, 1, 1, 1, 1,14, 1,14, 1, 1, 1, 1, 1, 15, 1, 1, 1,13, 5, 1, 1, 1, 1, 1, 1, 5,13, 1,15, 1, 1, 1, 1, 16, 1,18, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,16, 1,18, 3, 17, 1,17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17, 1,17, 18, 1,18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18, 1,18, 1, 19, 1,17, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3,17, 1,19])]). interpretation(20, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12,15,14,17,16,19,18]), function(^(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 2, 0, 0, 0, 0, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0,12, 0,12,14,14,12, 0,12, 0, 0, 0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0,16, 0, 0,16, 0, 0,16,19,16,19, 0, 6, 0, 0, 0, 0, 6, 0, 0, 6, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 7, 8,11, 8,11, 0,11, 0, 0, 0,11, 0, 0, 0, 8, 0, 0, 0, 0, 0, 8, 8, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 6,11, 0, 9, 6,11, 0,11, 0, 0, 0,11, 0, 0, 0,10, 0,12, 0,16, 6, 8, 8, 6,10, 0,12,16, 0,12,16,12,16, 0, 0,11, 0, 0, 0, 0, 0,11, 0,11, 0,11, 0,11, 0, 0, 0,11, 0, 0, 0,12, 0,12, 0, 0, 0, 0, 0, 0,12, 0,12, 0, 0,12, 0,12, 0, 0, 0,13, 2,14, 0,16, 0,11, 0,11,16,11, 0,13,14, 2,16,11,16, 0, 0,14, 0,14, 0, 0, 0, 0, 0, 0, 0, 0, 0,14,14, 0, 0, 0, 0, 0, 0,15, 2,12, 0, 0, 0, 0, 0, 0,12, 0,12, 2, 0,15, 0,12, 0, 0, 0,16, 0, 0, 0,16, 0, 0, 0, 0,16, 0, 0,16, 0, 0,16, 0,16, 0, 0,17, 0,12, 4,19, 0,11, 0,11,12,11,12,11, 0,12, 0,17, 4,19, 0,18, 0, 0, 4,16, 0, 0, 0, 0,16, 0, 0,16, 0, 0,16, 4,18, 0, 0,19, 0, 0, 0,19, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,19, 0,19]), function(v(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1,13,15,13,13,15,13, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 3, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1,17,17, 1, 1, 1,18,17,18,17, 5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 5, 6, 1, 1, 1, 1, 1, 6, 1,10, 9,10, 9,10, 1, 1, 1,10, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 7, 7, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1,10, 7, 8, 1,10, 7,10, 1, 1, 1,10, 1, 1, 1, 9, 1, 1, 1, 1, 1, 9, 1, 1, 9, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 10, 1, 1, 1, 1, 1,10, 1,10, 1,10, 1,10, 1, 1, 1,10, 1, 1, 1, 11, 1,13, 1,17, 1, 9, 7, 7, 9, 1,11,17,13,13, 1,13,17, 1,17, 12, 1,15, 3,17, 1,10, 1,10, 1,10,17,12, 1, 3,15,10,17, 1,17, 13, 1,13, 1, 1, 1, 1, 1, 1, 1, 1,13, 1,13,13, 1,13, 1, 1, 1, 14, 1,13, 3, 1, 1, 1, 1, 1, 1, 1,13, 3,13,14, 1,13, 1, 1, 1, 15, 1,15, 1, 1, 1, 1, 1, 1, 1, 1, 1,15, 1, 1,15, 1, 1, 1, 1, 16, 1,13, 1,18, 5,10, 1,10, 1,10,13,10,13,13, 1,16, 1,18, 5, 17, 1, 1, 1,17, 1, 1, 1, 1, 1, 1,17,17, 1, 1, 1, 1,17, 1,17, 18, 1, 1, 1,18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18, 1,18, 1, 19, 1, 1, 1,17, 5, 1, 1, 1, 1, 1,17,17, 1, 1, 1, 5,17, 1,19]), function(f(_,_), [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 3, 2, 5, 4, 7, 6, 9, 8,11,10,13,12,15,14,17,16,19,18, 1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 3, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1,13, 1,13,15,15,13, 1,13, 1, 1, 1, 5, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 5, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1,17, 1, 1,17, 1, 1,17,18,17,18, 1, 7, 1, 1, 1, 1, 7, 1, 1, 7, 7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 6, 9,10, 9,10, 1,10, 1, 1, 1,10, 1, 1, 1, 9, 1, 1, 1, 1, 1, 9, 9, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 7,10, 1, 8, 7,10, 1,10, 1, 1, 1,10, 1, 1, 1,11, 1,13, 1,17, 7, 9, 9, 7,11, 1,13,17, 1,13,17,13,17, 1, 1,10, 1, 1, 1, 1, 1,10, 1,10, 1,10, 1,10, 1, 1, 1,10, 1, 1, 1,13, 1,13, 1, 1, 1, 1, 1, 1,13, 1,13, 1, 1,13, 1,13, 1, 1, 1,12, 3,15, 1,17, 1,10, 1,10,17,10, 1,12,15, 3,17,10,17, 1, 1,15, 1,15, 1, 1, 1, 1, 1, 1, 1, 1, 1,15,15, 1, 1, 1, 1, 1, 1,14, 3,13, 1, 1, 1, 1, 1, 1,13, 1,13, 3, 1,14, 1,13, 1, 1, 1,17, 1, 1, 1,17, 1, 1, 1, 1,17, 1, 1,17, 1, 1,17, 1,17, 1, 1,16, 1,13, 5,18, 1,10, 1,10,13,10,13,10, 1,13, 1,16, 5,18, 1,19, 1, 1, 5,17, 1, 1, 1, 1,17, 1, 1,17, 1, 1,17, 5,19, 1, 1,18, 1, 1, 1,18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18, 1,18]), function(m(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 2, 0, 0, 0, 0, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0,12, 0,12,14,14,12, 0,12, 0, 0, 0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0,16, 0, 0,16, 0, 0,16,19,16,19, 0, 6, 0, 0, 0, 0, 6, 0, 0, 6, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 7, 8,11, 8,11, 0,11, 0, 0, 0,11, 0, 0, 0, 8, 0, 0, 0, 0, 0, 8, 8, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 6,11, 0, 9, 6,11, 0,11, 0, 0, 0,11, 0, 0, 0,10, 0,12, 0,16, 6, 8, 8, 6,10, 0,12,16, 0,12,16,12,16, 0, 0,11, 0, 0, 0, 0, 0,11, 0,11, 0,11, 0,11, 0, 0, 0,11, 0, 0, 0,12, 0,12, 0, 0, 0, 0, 0, 0,12, 0,12, 0, 0,12, 0,12, 0, 0, 0,13, 2,14, 0,16, 0,11, 0,11,16,11, 0,13,14, 2,16,11,16, 0, 0,14, 0,14, 0, 0, 0, 0, 0, 0, 0, 0, 0,14,14, 0, 0, 0, 0, 0, 0,15, 2,12, 0, 0, 0, 0, 0, 0,12, 0,12, 2, 0,15, 0,12, 0, 0, 0,16, 0, 0, 0,16, 0, 0, 0, 0,16, 0, 0,16, 0, 0,16, 0,16, 0, 0,17, 0,12, 4,19, 0,11, 0,11,12,11,12,11, 0,12, 0,17, 4,19, 0,18, 0, 0, 4,16, 0, 0, 0, 0,16, 0, 0,16, 0, 0,16, 4,18, 0, 0,19, 0, 0, 0,19, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,19, 0,19]), function(j(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1,13,15,13,13,15,13, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 3, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1,17,17, 1, 1, 1,18,17,18,17, 5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 5, 6, 1, 1, 1, 1, 1, 6, 1,10, 9,10, 9,10, 1, 1, 1,10, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 7, 7, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1,10, 7, 8, 1,10, 7,10, 1, 1, 1,10, 1, 1, 1, 9, 1, 1, 1, 1, 1, 9, 1, 1, 9, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 10, 1, 1, 1, 1, 1,10, 1,10, 1,10, 1,10, 1, 1, 1,10, 1, 1, 1, 11, 1,13, 1,17, 1, 9, 7, 7, 9, 1,11,17,13,13, 1,13,17, 1,17, 12, 1,15, 3,17, 1,10, 1,10, 1,10,17,12, 1, 3,15,10,17, 1,17, 13, 1,13, 1, 1, 1, 1, 1, 1, 1, 1,13, 1,13,13, 1,13, 1, 1, 1, 14, 1,13, 3, 1, 1, 1, 1, 1, 1, 1,13, 3,13,14, 1,13, 1, 1, 1, 15, 1,15, 1, 1, 1, 1, 1, 1, 1, 1, 1,15, 1, 1,15, 1, 1, 1, 1, 16, 1,13, 1,18, 5,10, 1,10, 1,10,13,10,13,13, 1,16, 1,18, 5, 17, 1, 1, 1,17, 1, 1, 1, 1, 1, 1,17,17, 1, 1, 1, 1,17, 1,17, 18, 1, 1, 1,18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18, 1,18, 1, 19, 1, 1, 1,17, 5, 1, 1, 1, 1, 1,17,17, 1, 1, 1, 5,17, 1,19])]). interpretation(20, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,12,13,10,11,15,14,18,19,16,17]), function(^(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,15,16,15,16, 0,15,15, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 0, 3, 0, 0, 4, 0, 0, 4, 0, 0, 9,10, 9,10, 0, 9, 9, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 5, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6, 0, 6, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0, 0, 7, 0, 0, 9, 0, 0, 7,11, 9, 0,11, 9, 9,11, 0, 0, 0, 0,11, 0, 8, 0, 0,10, 5, 6,11, 8, 0,10,11, 5, 6,11, 0, 0, 0, 0,11, 0, 9, 0, 0, 9, 0, 0, 9, 0, 9, 0, 0, 9, 9, 0, 0, 0, 0, 0, 0, 0,10, 0, 0,10, 0, 0, 0,10, 0,10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,11, 0, 0, 0, 0, 0,11,11, 0, 0,11, 0, 0,11, 0, 0, 0, 0,11, 0,12, 0, 0, 9, 5, 0, 9, 5, 9, 0, 0,12, 9, 0, 0, 0, 0, 0, 0, 0,13,15, 0, 9, 0, 6, 9, 6, 9, 0, 0, 9,13,17,15, 0,17,15,15, 0,14,16, 3, 0, 0, 0,11,11, 0, 0,11, 0,17,14, 0,16,17, 3,11, 0,15,15, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,15, 0,15, 0, 0,15,15, 0,16,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16, 0,16, 0, 0, 0, 0,17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,17,17, 0, 0,17, 0, 0, 0,18,15, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0,15, 3,15, 0, 0,18,15, 0,19,15, 0, 0, 0, 0,11,11, 0, 0,11, 0,15,11,15, 0, 0,15,19]), function(v(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1,14, 1, 1,14,18,14,14,18, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 4, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 1, 1, 5, 8, 1, 8,12, 8, 8,12, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 8, 6, 1, 8,13, 8, 8, 1,13, 1,13, 1,13, 1, 1, 7, 1, 1, 1, 1, 1, 1, 7, 1, 7, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 8, 8, 1, 8, 1, 8, 8, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 4,12,13, 7, 1, 9, 4, 7,12,13, 1,13, 1,13, 1, 1, 10, 1, 1, 1, 4, 8, 8, 1, 8, 4,10, 8, 1, 1, 1, 1, 1, 1, 1, 1, 11, 1, 1,14, 1, 8, 8, 7, 8, 7, 8,11, 1, 1,14,19,14,14, 1,19, 12, 1, 1, 1, 1,12, 1, 1, 1,12, 1, 1,12, 1, 1, 1, 1, 1, 1, 1, 13, 1, 1, 1, 1, 1,13, 1, 1,13, 1, 1, 1,13, 1,13, 1,13, 1, 1, 14, 1, 1,14, 1, 1, 1, 1, 1, 1, 1,14, 1, 1,14, 1,14,14, 1, 1, 15, 1, 2,18, 1, 1,13, 1, 1,13, 1,19, 1,13, 1,15, 2,13,18,19, 16, 1, 2,14, 1, 1, 1, 1, 1, 1, 1,14, 1, 1,14, 2,16,14, 1, 1, 17, 1, 1,14, 1, 1,13, 1, 1,13, 1,14, 1,13,14,13,14,17, 1, 1, 18, 1, 1,18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18, 1, 1,18, 1, 19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,19, 1, 1, 1,19, 1, 1, 1,19]), function(f(_,_), [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 3, 2, 5, 4, 7, 6, 9, 8,12,13,10,11,15,14,18,19,16,17, 1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,14,18,14,18, 1,14,14, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 5, 1, 1, 5, 1, 1, 8,12, 8,12, 1, 8, 8, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 7, 1, 7, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 8, 1, 1, 6,13, 8, 1,13, 8, 8,13, 1, 1, 1, 1,13, 1, 9, 1, 1,12, 4, 7,13, 9, 1,12,13, 4, 7,13, 1, 1, 1, 1,13, 1, 8, 1, 1, 8, 1, 1, 8, 1, 8, 1, 1, 8, 8, 1, 1, 1, 1, 1, 1, 1,12, 1, 1,12, 1, 1, 1,12, 1,12, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,13, 1, 1, 1, 1, 1,13,13, 1, 1,13, 1, 1,13, 1, 1, 1, 1,13, 1,10, 1, 1, 8, 4, 1, 8, 4, 8, 1, 1,10, 8, 1, 1, 1, 1, 1, 1, 1,11,14, 1, 8, 1, 7, 8, 7, 8, 1, 1, 8,11,19,14, 1,19,14,14, 1,15,18, 2, 1, 1, 1,13,13, 1, 1,13, 1,19,15, 1,18,19, 2,13, 1,14,14, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,14, 1,14, 1, 1,14,14, 1,18,18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18, 1,18, 1, 1, 1, 1,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,19,19, 1, 1,19, 1, 1, 1,16,14, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1,14, 2,14, 1, 1,16,14, 1,17,14, 1, 1, 1, 1,13,13, 1, 1,13, 1,14,13,14, 1, 1,14,17]), function(m(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,15,16,15,16, 0,15,15, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 0, 3, 0, 0, 4, 0, 0, 4, 0, 0, 9,10, 9,10, 0, 9, 9, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 5, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6, 0, 6, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0, 0, 7, 0, 0, 9, 0, 0, 7,11, 9, 0,11, 9, 9,11, 0, 0, 0, 0,11, 0, 8, 0, 0,10, 5, 6,11, 8, 0,10,11, 5, 6,11, 0, 0, 0, 0,11, 0, 9, 0, 0, 9, 0, 0, 9, 0, 9, 0, 0, 9, 9, 0, 0, 0, 0, 0, 0, 0,10, 0, 0,10, 0, 0, 0,10, 0,10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,11, 0, 0, 0, 0, 0,11,11, 0, 0,11, 0, 0,11, 0, 0, 0, 0,11, 0,12, 0, 0, 9, 5, 0, 9, 5, 9, 0, 0,12, 9, 0, 0, 0, 0, 0, 0, 0,13,15, 0, 9, 0, 6, 9, 6, 9, 0, 0, 9,13,17,15, 0,17,15,15, 0,14,16, 3, 0, 0, 0,11,11, 0, 0,11, 0,17,14, 0,16,17, 3,11, 0,15,15, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,15, 0,15, 0, 0,15,15, 0,16,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16, 0,16, 0, 0, 0, 0,17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,17,17, 0, 0,17, 0, 0, 0,18,15, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0,15, 3,15, 0, 0,18,15, 0,19,15, 0, 0, 0, 0,11,11, 0, 0,11, 0,15,11,15, 0, 0,15,19]), function(j(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1,14, 1, 1,14,18,14,14,18, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 4, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 1, 1, 5, 8, 1, 8,12, 8, 8,12, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 8, 6, 1, 8,13, 8, 8, 1,13, 1,13, 1,13, 1, 1, 7, 1, 1, 1, 1, 1, 1, 7, 1, 7, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 8, 8, 1, 8, 1, 8, 8, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 4,12,13, 7, 1, 9, 4, 7,12,13, 1,13, 1,13, 1, 1, 10, 1, 1, 1, 4, 8, 8, 1, 8, 4,10, 8, 1, 1, 1, 1, 1, 1, 1, 1, 11, 1, 1,14, 1, 8, 8, 7, 8, 7, 8,11, 1, 1,14,19,14,14, 1,19, 12, 1, 1, 1, 1,12, 1, 1, 1,12, 1, 1,12, 1, 1, 1, 1, 1, 1, 1, 13, 1, 1, 1, 1, 1,13, 1, 1,13, 1, 1, 1,13, 1,13, 1,13, 1, 1, 14, 1, 1,14, 1, 1, 1, 1, 1, 1, 1,14, 1, 1,14, 1,14,14, 1, 1, 15, 1, 2,18, 1, 1,13, 1, 1,13, 1,19, 1,13, 1,15, 2,13,18,19, 16, 1, 2,14, 1, 1, 1, 1, 1, 1, 1,14, 1, 1,14, 2,16,14, 1, 1, 17, 1, 1,14, 1, 1,13, 1, 1,13, 1,14, 1,13,14,13,14,17, 1, 1, 18, 1, 1,18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18, 1, 1,18, 1, 19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,19, 1, 1, 1,19, 1, 1, 1,19])]). interpretation(20, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,12,13,10,11,15,14,17,16,19,18]), function(^(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 2, 0, 0, 0, 3, 0, 3, 0, 0, 0, 0,14, 0, 0, 0, 0, 0,14,16,16,14, 0,14, 0, 4, 0, 0, 4, 0, 0, 9,10, 9,10, 0, 9, 9, 0, 9, 0, 0, 0, 9, 0, 5, 0, 0, 0, 5, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6, 0, 6, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0, 0, 7, 0, 0, 9, 0, 0, 7,11, 9, 0,11, 9, 9, 0, 9, 0, 0, 0, 9, 0, 8, 0,14,10, 5, 6,11, 8, 0,10,11, 5, 6,14,18, 0,14,18,14, 0, 9, 0, 0, 9, 0, 0, 9, 0, 9, 0, 0, 9, 9, 0, 9, 0, 0, 0, 9, 0,10, 0, 0,10, 0, 0, 0,10, 0,10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,11, 0, 0, 0, 0, 0,11,11, 0, 0,11, 0, 0, 0, 0, 0, 0, 0, 0, 0,12, 0, 0, 9, 5, 0, 9, 5, 9, 0, 0,12, 9, 0, 9, 0, 0, 0, 9, 0,13, 0, 0, 9, 0, 6, 9, 6, 9, 0, 0, 9,13, 0, 9, 0, 0, 0, 9, 0,14, 0,14, 0, 0, 0, 0,14, 0, 0, 0, 0, 0,14, 0, 0,14, 0,14, 0,15, 2,16, 9, 0, 0, 9,18, 9, 0, 0, 9, 9, 0,15,16, 2,18, 9, 0,16, 0,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16,16, 0, 0, 0, 0,17, 2,14, 0, 0, 0, 0,14, 0, 0, 0, 0, 0,14, 2, 0,17, 0,14, 0,18, 0, 0, 0, 0, 0, 0,18, 0, 0, 0, 0, 0, 0,18, 0, 0,18, 0, 0,19, 0,14, 9, 0, 0, 9,14, 9, 0, 0, 9, 9,14, 9, 0,14, 0,19]), function(v(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1,15, 1, 1, 1, 1,17,15,15,17,15, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 3, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 4, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 1, 1, 5, 8, 1, 8,12, 8, 8,12, 1, 8, 1, 1, 1, 8, 1, 6, 1, 1, 1, 1, 8, 6, 1, 8,13, 8, 8, 1,13, 8, 1, 1, 1, 8, 1, 7, 1, 1, 1, 1, 1, 1, 7, 1, 7, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 8, 8, 1, 8, 1, 8, 8, 1, 1, 8, 1, 1, 1, 8, 1, 9, 1,15, 1, 4,12,13, 7, 1, 9, 4, 7,12,13,19,15,15, 1,15,19, 10, 1, 1, 1, 4, 8, 8, 1, 8, 4,10, 8, 1, 1, 8, 1, 1, 1, 8, 1, 11, 1, 1, 1, 1, 8, 8, 7, 8, 7, 8,11, 1, 1, 8, 1, 1, 1, 8, 1, 12, 1, 1, 1, 1,12, 1, 1, 1,12, 1, 1,12, 1, 1, 1, 1, 1, 1, 1, 13, 1, 1, 1, 1, 1,13, 1, 1,13, 1, 1, 1,13, 1, 1, 1, 1, 1, 1, 14, 1,17, 3, 1, 8, 8, 1, 8,19, 8, 8, 1, 1,14, 1, 3,17, 8,19, 15, 1,15, 1, 1, 1, 1, 1, 1,15, 1, 1, 1, 1, 1,15,15, 1,15, 1, 16, 1,15, 3, 1, 1, 1, 1, 1,15, 1, 1, 1, 1, 3,15,16, 1,15, 1, 17, 1,17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17, 1, 1,17, 1, 1, 18, 1,15, 1, 1, 8, 8, 1, 8,15, 8, 8, 1, 1, 8,15,15, 1,18, 1, 19, 1, 1, 1, 1, 1, 1, 1, 1,19, 1, 1, 1, 1,19, 1, 1, 1, 1,19]), function(f(_,_), [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 3, 2, 5, 4, 7, 6, 9, 8,12,13,10,11,15,14,17,16,19,18, 1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 3, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1,15, 1, 1, 1, 1, 1,15,17,17,15, 1,15, 1, 5, 1, 1, 5, 1, 1, 8,12, 8,12, 1, 8, 8, 1, 8, 1, 1, 1, 8, 1, 4, 1, 1, 1, 4, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 7, 1, 7, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 8, 1, 1, 6,13, 8, 1,13, 8, 8, 1, 8, 1, 1, 1, 8, 1, 9, 1,15,12, 4, 7,13, 9, 1,12,13, 4, 7,15,19, 1,15,19,15, 1, 8, 1, 1, 8, 1, 1, 8, 1, 8, 1, 1, 8, 8, 1, 8, 1, 1, 1, 8, 1,12, 1, 1,12, 1, 1, 1,12, 1,12, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,13, 1, 1, 1, 1, 1,13,13, 1, 1,13, 1, 1, 1, 1, 1, 1, 1, 1, 1,10, 1, 1, 8, 4, 1, 8, 4, 8, 1, 1,10, 8, 1, 8, 1, 1, 1, 8, 1,11, 1, 1, 8, 1, 7, 8, 7, 8, 1, 1, 8,11, 1, 8, 1, 1, 1, 8, 1,15, 1,15, 1, 1, 1, 1,15, 1, 1, 1, 1, 1,15, 1, 1,15, 1,15, 1,14, 3,17, 8, 1, 1, 8,19, 8, 1, 1, 8, 8, 1,14,17, 3,19, 8, 1,17, 1,17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17,17, 1, 1, 1, 1,16, 3,15, 1, 1, 1, 1,15, 1, 1, 1, 1, 1,15, 3, 1,16, 1,15, 1,19, 1, 1, 1, 1, 1, 1,19, 1, 1, 1, 1, 1, 1,19, 1, 1,19, 1, 1,18, 1,15, 8, 1, 1, 8,15, 8, 1, 1, 8, 8,15, 8, 1,15, 1,18]), function(m(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 2, 0, 0, 0, 3, 0, 3, 0, 0, 0, 0,14, 0, 0, 0, 0, 0,14,16,16,14, 0,14, 0, 4, 0, 0, 4, 0, 0, 9,10, 9,10, 0, 9, 9, 0, 9, 0, 0, 0, 9, 0, 5, 0, 0, 0, 5, 0, 0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6, 0, 6, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0, 0, 7, 0, 0, 9, 0, 0, 7,11, 9, 0,11, 9, 9, 0, 9, 0, 0, 0, 9, 0, 8, 0,14,10, 5, 6,11, 8, 0,10,11, 5, 6,14,18, 0,14,18,14, 0, 9, 0, 0, 9, 0, 0, 9, 0, 9, 0, 0, 9, 9, 0, 9, 0, 0, 0, 9, 0,10, 0, 0,10, 0, 0, 0,10, 0,10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,11, 0, 0, 0, 0, 0,11,11, 0, 0,11, 0, 0, 0, 0, 0, 0, 0, 0, 0,12, 0, 0, 9, 5, 0, 9, 5, 9, 0, 0,12, 9, 0, 9, 0, 0, 0, 9, 0,13, 0, 0, 9, 0, 6, 9, 6, 9, 0, 0, 9,13, 0, 9, 0, 0, 0, 9, 0,14, 0,14, 0, 0, 0, 0,14, 0, 0, 0, 0, 0,14, 0, 0,14, 0,14, 0,15, 2,16, 9, 0, 0, 9,18, 9, 0, 0, 9, 9, 0,15,16, 2,18, 9, 0,16, 0,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16,16, 0, 0, 0, 0,17, 2,14, 0, 0, 0, 0,14, 0, 0, 0, 0, 0,14, 2, 0,17, 0,14, 0,18, 0, 0, 0, 0, 0, 0,18, 0, 0, 0, 0, 0, 0,18, 0, 0,18, 0, 0,19, 0,14, 9, 0, 0, 9,14, 9, 0, 0, 9, 9,14, 9, 0,14, 0,19]), function(j(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1,15, 1, 1, 1, 1,17,15,15,17,15, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 3, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 4, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 1, 1, 5, 8, 1, 8,12, 8, 8,12, 1, 8, 1, 1, 1, 8, 1, 6, 1, 1, 1, 1, 8, 6, 1, 8,13, 8, 8, 1,13, 8, 1, 1, 1, 8, 1, 7, 1, 1, 1, 1, 1, 1, 7, 1, 7, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 8, 8, 1, 8, 1, 8, 8, 1, 1, 8, 1, 1, 1, 8, 1, 9, 1,15, 1, 4,12,13, 7, 1, 9, 4, 7,12,13,19,15,15, 1,15,19, 10, 1, 1, 1, 4, 8, 8, 1, 8, 4,10, 8, 1, 1, 8, 1, 1, 1, 8, 1, 11, 1, 1, 1, 1, 8, 8, 7, 8, 7, 8,11, 1, 1, 8, 1, 1, 1, 8, 1, 12, 1, 1, 1, 1,12, 1, 1, 1,12, 1, 1,12, 1, 1, 1, 1, 1, 1, 1, 13, 1, 1, 1, 1, 1,13, 1, 1,13, 1, 1, 1,13, 1, 1, 1, 1, 1, 1, 14, 1,17, 3, 1, 8, 8, 1, 8,19, 8, 8, 1, 1,14, 1, 3,17, 8,19, 15, 1,15, 1, 1, 1, 1, 1, 1,15, 1, 1, 1, 1, 1,15,15, 1,15, 1, 16, 1,15, 3, 1, 1, 1, 1, 1,15, 1, 1, 1, 1, 3,15,16, 1,15, 1, 17, 1,17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17, 1, 1,17, 1, 1, 18, 1,15, 1, 1, 8, 8, 1, 8,15, 8, 8, 1, 1, 8,15,15, 1,18, 1, 19, 1, 1, 1, 1, 1, 1, 1, 1,19, 1, 1, 1, 1,19, 1, 1, 1, 1,19])]). interpretation(20, [ function(c(_), [1,0,3,2,5,4,7,6,10,11,8,9,13,12,15,14,17,16,19,18]), function(^(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 7, 8, 7, 8, 0, 7, 7, 7, 0, 0, 7, 7, 0, 0, 7, 0, 3, 0, 3, 0, 0, 3, 0, 0, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0, 4, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 7, 0, 0, 5, 9, 7, 0, 9, 7, 7, 7, 0, 0, 7, 7, 0, 0, 7, 0, 6, 8, 3, 4, 9, 6, 0, 8, 9, 3, 4,14,13,14,13,18,17,18,17, 0, 7, 7, 0, 0, 7, 0, 7, 0, 0, 7, 7, 7, 0, 0, 7, 7, 0, 0, 7, 0, 8, 8, 0, 0, 0, 8, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 9, 9, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,10, 7, 3, 0, 7, 3, 7, 0, 0,10, 7, 7, 0, 0, 7, 7, 0, 0, 7, 0,11, 7, 0, 4, 7, 4, 7, 0, 0, 7,11, 7, 0, 0, 7, 7, 0, 0, 7, 0,12, 7, 0, 0, 7,14, 7, 0, 0, 7, 7,12, 0,14, 7, 7, 0, 0, 7, 0,13, 0, 0, 0, 0,13, 0, 0, 0, 0, 0, 0,13, 0,13, 0, 0, 0, 0, 0,14, 0, 0, 0, 0,14, 0, 0, 0, 0, 0,14, 0,14, 0, 0, 0, 0, 0, 0,15, 7, 0, 0, 7,13, 7, 0, 0, 7, 7, 7,13, 0,15, 7, 0, 0, 7, 0,16, 7, 0, 0, 7,18, 7, 0, 0, 7, 7, 7, 0, 0, 7,16, 0,18, 7, 0,17, 0, 0, 0, 0,17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,17, 0,17, 0,18, 0, 0, 0, 0,18, 0, 0, 0, 0, 0, 0, 0, 0, 0,18, 0,18, 0, 0,19, 7, 0, 0, 7,17, 7, 0, 0, 7, 7, 7, 0, 0, 7, 7,17, 0,19]), function(v(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 6, 1, 6,10, 6, 6,10, 1, 1, 6, 6, 1, 1, 6, 6, 1, 4, 1, 1, 6, 4, 1, 6,11, 6, 6, 1,11, 1, 6, 6, 1, 1, 6, 6, 1, 5, 1, 1, 1, 1, 5, 1, 5, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 6, 6, 1, 6, 1, 6, 6, 1, 1, 1, 6, 6, 1, 1, 6, 6, 1, 7, 1, 2,10,11, 5, 1, 7, 2, 5,10,11,12,15,12,15,16,19,16,19, 8, 1, 2, 6, 6, 1, 6, 2, 8, 6, 1, 1, 1, 6, 6, 1, 1, 6, 6, 1, 9, 1, 1, 6, 6, 5, 6, 5, 6, 9, 1, 1, 1, 6, 6, 1, 1, 6, 6, 1, 10, 1, 1,10, 1, 1, 1,10, 1, 1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1, 11, 1, 1, 1,11, 1, 1,11, 1, 1, 1,11, 1, 1, 1, 1, 1, 1, 1, 1, 12, 1, 1, 1, 1, 1, 1,12, 1, 1, 1, 1,12, 1,12, 1, 1, 1, 1, 1, 13, 1, 1, 6, 6, 1, 6,15, 6, 6, 1, 1, 1,13, 6,15, 1, 6, 6, 1, 14, 1, 1, 6, 6, 1, 6,12, 6, 6, 1, 1,12, 6,14, 1, 1, 6, 6, 1, 15, 1, 1, 1, 1, 1, 1,15, 1, 1, 1, 1, 1,15, 1,15, 1, 1, 1, 1, 16, 1, 1, 1, 1, 1, 1,16, 1, 1, 1, 1, 1, 1, 1, 1,16, 1,16, 1, 17, 1, 1, 6, 6, 1, 6,19, 6, 6, 1, 1, 1, 6, 6, 1, 1,17, 6,19, 18, 1, 1, 6, 6, 1, 6,16, 6, 6, 1, 1, 1, 6, 6, 1,16, 6,18, 1, 19, 1, 1, 1, 1, 1, 1,19, 1, 1, 1, 1, 1, 1, 1, 1, 1,19, 1,19]), function(f(_,_), [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 3, 2, 5, 4, 7, 6,10,11, 8, 9,13,12,15,14,17,16,19,18, 1, 3, 3, 1, 1, 6,10, 6,10, 1, 6, 6, 6, 1, 1, 6, 6, 1, 1, 6, 1, 2, 1, 2, 1, 1, 2, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 5, 1, 5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 6, 1, 1, 4,11, 6, 1,11, 6, 6, 6, 1, 1, 6, 6, 1, 1, 6, 1, 7,10, 2, 5,11, 7, 1,10,11, 2, 5,15,12,15,12,19,16,19,16, 1, 6, 6, 1, 1, 6, 1, 6, 1, 1, 6, 6, 6, 1, 1, 6, 6, 1, 1, 6, 1,10,10, 1, 1, 1,10, 1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,11, 1, 1, 1,11,11, 1, 1,11, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 8, 6, 2, 1, 6, 2, 6, 1, 1, 8, 6, 6, 1, 1, 6, 6, 1, 1, 6, 1, 9, 6, 1, 5, 6, 5, 6, 1, 1, 6, 9, 6, 1, 1, 6, 6, 1, 1, 6, 1,13, 6, 1, 1, 6,15, 6, 1, 1, 6, 6,13, 1,15, 6, 6, 1, 1, 6, 1,12, 1, 1, 1, 1,12, 1, 1, 1, 1, 1, 1,12, 1,12, 1, 1, 1, 1, 1,15, 1, 1, 1, 1,15, 1, 1, 1, 1, 1,15, 1,15, 1, 1, 1, 1, 1, 1,14, 6, 1, 1, 6,12, 6, 1, 1, 6, 6, 6,12, 1,14, 6, 1, 1, 6, 1,17, 6, 1, 1, 6,19, 6, 1, 1, 6, 6, 6, 1, 1, 6,17, 1,19, 6, 1,16, 1, 1, 1, 1,16, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,16, 1,16, 1,19, 1, 1, 1, 1,19, 1, 1, 1, 1, 1, 1, 1, 1, 1,19, 1,19, 1, 1,18, 6, 1, 1, 6,16, 6, 1, 1, 6, 6, 6, 1, 1, 6, 6,16, 1,18]), function(m(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 7, 8, 7, 8, 0, 7, 7, 7, 0, 0, 7, 7, 0, 0, 7, 0, 3, 0, 3, 0, 0, 3, 0, 0, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0, 4, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 7, 0, 0, 5, 9, 7, 0, 9, 7, 7, 7, 0, 0, 7, 7, 0, 0, 7, 0, 6, 8, 3, 4, 9, 6, 0, 8, 9, 3, 4,14,13,14,13,18,17,18,17, 0, 7, 7, 0, 0, 7, 0, 7, 0, 0, 7, 7, 7, 0, 0, 7, 7, 0, 0, 7, 0, 8, 8, 0, 0, 0, 8, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 9, 9, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,10, 7, 3, 0, 7, 3, 7, 0, 0,10, 7, 7, 0, 0, 7, 7, 0, 0, 7, 0,11, 7, 0, 4, 7, 4, 7, 0, 0, 7,11, 7, 0, 0, 7, 7, 0, 0, 7, 0,12, 7, 0, 0, 7,14, 7, 0, 0, 7, 7,12, 0,14, 7, 7, 0, 0, 7, 0,13, 0, 0, 0, 0,13, 0, 0, 0, 0, 0, 0,13, 0,13, 0, 0, 0, 0, 0,14, 0, 0, 0, 0,14, 0, 0, 0, 0, 0,14, 0,14, 0, 0, 0, 0, 0, 0,15, 7, 0, 0, 7,13, 7, 0, 0, 7, 7, 7,13, 0,15, 7, 0, 0, 7, 0,16, 7, 0, 0, 7,18, 7, 0, 0, 7, 7, 7, 0, 0, 7,16, 0,18, 7, 0,17, 0, 0, 0, 0,17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,17, 0,17, 0,18, 0, 0, 0, 0,18, 0, 0, 0, 0, 0, 0, 0, 0, 0,18, 0,18, 0, 0,19, 7, 0, 0, 7,17, 7, 0, 0, 7, 7, 7, 0, 0, 7, 7,17, 0,19]), function(j(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 6, 1, 6,10, 6, 6,10, 1, 1, 6, 6, 1, 1, 6, 6, 1, 4, 1, 1, 6, 4, 1, 6,11, 6, 6, 1,11, 1, 6, 6, 1, 1, 6, 6, 1, 5, 1, 1, 1, 1, 5, 1, 5, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 6, 6, 1, 6, 1, 6, 6, 1, 1, 1, 6, 6, 1, 1, 6, 6, 1, 7, 1, 2,10,11, 5, 1, 7, 2, 5,10,11,12,15,12,15,16,19,16,19, 8, 1, 2, 6, 6, 1, 6, 2, 8, 6, 1, 1, 1, 6, 6, 1, 1, 6, 6, 1, 9, 1, 1, 6, 6, 5, 6, 5, 6, 9, 1, 1, 1, 6, 6, 1, 1, 6, 6, 1, 10, 1, 1,10, 1, 1, 1,10, 1, 1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1, 11, 1, 1, 1,11, 1, 1,11, 1, 1, 1,11, 1, 1, 1, 1, 1, 1, 1, 1, 12, 1, 1, 1, 1, 1, 1,12, 1, 1, 1, 1,12, 1,12, 1, 1, 1, 1, 1, 13, 1, 1, 6, 6, 1, 6,15, 6, 6, 1, 1, 1,13, 6,15, 1, 6, 6, 1, 14, 1, 1, 6, 6, 1, 6,12, 6, 6, 1, 1,12, 6,14, 1, 1, 6, 6, 1, 15, 1, 1, 1, 1, 1, 1,15, 1, 1, 1, 1, 1,15, 1,15, 1, 1, 1, 1, 16, 1, 1, 1, 1, 1, 1,16, 1, 1, 1, 1, 1, 1, 1, 1,16, 1,16, 1, 17, 1, 1, 6, 6, 1, 6,19, 6, 6, 1, 1, 1, 6, 6, 1, 1,17, 6,19, 18, 1, 1, 6, 6, 1, 6,16, 6, 6, 1, 1, 1, 6, 6, 1,16, 6,18, 1, 19, 1, 1, 1, 1, 1, 1,19, 1, 1, 1, 1, 1, 1, 1, 1, 1,19, 1,19])]). interpretation(20, [ function(c(_), [1,0,3,2,5,4,7,6,10,11,8,9,13,12,15,14,17,16,19,18]), function(^(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 7, 8, 7, 8, 0, 7, 7, 7, 0, 0, 7, 7, 0, 0, 7, 0, 3, 0, 3, 0, 0, 3, 0, 0, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0, 4, 0, 0, 0, 0, 4, 0, 4, 0, 4, 4, 0, 4, 0, 0, 5, 7, 0, 0, 5, 9, 7, 0, 9, 7, 7,12,17,14,19,12,17,14,19, 0, 6, 8, 3, 4, 9, 6, 0, 8, 9, 3, 4,14,13,14,13,18,17,18,17, 0, 7, 7, 0, 0, 7, 0, 7, 0, 0, 7, 7, 7, 0, 0, 7, 7, 0, 0, 7, 0, 8, 8, 0, 0, 0, 8, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 9, 9, 0, 0, 9, 0, 0,14,17,14,17,14,17,14,17, 0,10, 7, 3, 0, 7, 3, 7, 0, 0,10, 7, 7, 0, 0, 7, 7, 0, 0, 7, 0,11, 7, 0, 4, 7, 4, 7, 0, 0, 7,11, 7, 4, 0,11,11, 0, 4, 7, 0,12, 7, 0, 0,12,14, 7, 0,14, 7, 7,12, 0,14, 7,12, 0,14, 7, 0,13, 0, 0, 4,17,13, 0, 0,17, 0, 4, 0,13, 0,13, 4,17, 4,17, 0,14, 0, 0, 0,14,14, 0, 0,14, 0, 0,14, 0,14, 0,14, 0,14, 0, 0,15, 7, 0, 4,19,13, 7, 0,17, 7,11, 7,13, 0,15,11,17, 4,19, 0,16, 7, 0, 4,12,18, 7, 0,14, 7,11,12, 4,14,11,16, 0,18, 7, 0,17, 0, 0, 0,17,17, 0, 0,17, 0, 0, 0,17, 0,17, 0,17, 0,17, 0,18, 0, 0, 4,14,18, 0, 0,14, 0, 4,14, 4,14, 4,18, 0,18, 0, 0,19, 7, 0, 0,19,17, 7, 0,17, 7, 7, 7,17, 0,19, 7,17, 0,19]), function(v(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 6, 1, 6,10, 6, 6,10, 1, 1, 6, 6, 1, 1, 6, 6, 1, 4, 1, 1, 6, 4, 1, 6,11, 6, 6, 1,11,16,13,18,15,16,13,18,15, 5, 1, 1, 1, 1, 5, 1, 5, 1, 5, 1, 1, 5, 1, 5, 1, 1, 5, 1, 5, 6, 1, 1, 6, 6, 1, 6, 1, 6, 6, 1, 1, 1, 6, 6, 1, 1, 6, 6, 1, 7, 1, 2,10,11, 5, 1, 7, 2, 5,10,11,12,15,12,15,16,19,16,19, 8, 1, 2, 6, 6, 1, 6, 2, 8, 6, 1, 1, 1, 6, 6, 1, 1, 6, 6, 1, 9, 1, 1, 6, 6, 5, 6, 5, 6, 9, 1, 1, 5, 6, 9, 1, 1, 9, 6, 5, 10, 1, 1,10, 1, 1, 1,10, 1, 1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1, 11, 1, 1, 1,11, 1, 1,11, 1, 1, 1,11,16,15,16,15,16,15,16,15, 12, 1, 1, 1,16, 5, 1,12, 1, 5, 1,16,12, 1,12, 1,16, 5,16, 5, 13, 1, 1, 6,13, 1, 6,15, 6, 6, 1,15, 1,13, 6,15, 1,13, 6,15, 14, 1, 1, 6,18, 5, 6,12, 6, 9, 1,16,12, 6,14, 1,16, 9,18, 5, 15, 1, 1, 1,15, 1, 1,15, 1, 1, 1,15, 1,15, 1,15, 1,15, 1,15, 16, 1, 1, 1,16, 1, 1,16, 1, 1, 1,16,16, 1,16, 1,16, 1,16, 1, 17, 1, 1, 6,13, 5, 6,19, 6, 9, 1,15, 5,13, 9,15, 1,17, 6,19, 18, 1, 1, 6,18, 1, 6,16, 6, 6, 1,16,16, 6,18, 1,16, 6,18, 1, 19, 1, 1, 1,15, 5, 1,19, 1, 5, 1,15, 5,15, 5,15, 1,19, 1,19]), function(f(_,_), [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 3, 2, 5, 4, 7, 6,10,11, 8, 9,13,12,15,14,17,16,19,18, 1, 3, 3, 1, 1, 6,10, 6,10, 1, 6, 6, 6, 1, 1, 6, 6, 1, 1, 6, 1, 2, 1, 2, 1, 1, 2, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 5, 1, 5, 1, 1, 1, 1, 5, 1, 5, 1, 5, 5, 1, 5, 1, 1, 4, 6, 1, 1, 4,11, 6, 1,11, 6, 6,13,16,15,18,13,16,15,18, 1, 7,10, 2, 5,11, 7, 1,10,11, 2, 5,15,12,15,12,19,16,19,16, 1, 6, 6, 1, 1, 6, 1, 6, 1, 1, 6, 6, 6, 1, 1, 6, 6, 1, 1, 6, 1,10,10, 1, 1, 1,10, 1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,11, 1, 1, 1,11,11, 1, 1,11, 1, 1,15,16,15,16,15,16,15,16, 1, 8, 6, 2, 1, 6, 2, 6, 1, 1, 8, 6, 6, 1, 1, 6, 6, 1, 1, 6, 1, 9, 6, 1, 5, 6, 5, 6, 1, 1, 6, 9, 6, 5, 1, 9, 9, 1, 5, 6, 1,13, 6, 1, 1,13,15, 6, 1,15, 6, 6,13, 1,15, 6,13, 1,15, 6, 1,12, 1, 1, 5,16,12, 1, 1,16, 1, 5, 1,12, 1,12, 5,16, 5,16, 1,15, 1, 1, 1,15,15, 1, 1,15, 1, 1,15, 1,15, 1,15, 1,15, 1, 1,14, 6, 1, 5,18,12, 6, 1,16, 6, 9, 6,12, 1,14, 9,16, 5,18, 1,17, 6, 1, 5,13,19, 6, 1,15, 6, 9,13, 5,15, 9,17, 1,19, 6, 1,16, 1, 1, 1,16,16, 1, 1,16, 1, 1, 1,16, 1,16, 1,16, 1,16, 1,19, 1, 1, 5,15,19, 1, 1,15, 1, 5,15, 5,15, 5,19, 1,19, 1, 1,18, 6, 1, 1,18,16, 6, 1,16, 6, 6, 6,16, 1,18, 6,16, 1,18]), function(m(_,_), [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 0, 2, 2, 0, 0, 7, 8, 7, 8, 0, 7, 7, 7, 0, 0, 7, 7, 0, 0, 7, 0, 3, 0, 3, 0, 0, 3, 0, 0, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0, 4, 0, 0, 0, 0, 4, 0, 4, 0, 4, 4, 0, 4, 0, 0, 5, 7, 0, 0, 5, 9, 7, 0, 9, 7, 7,12,17,14,19,12,17,14,19, 0, 6, 8, 3, 4, 9, 6, 0, 8, 9, 3, 4,14,13,14,13,18,17,18,17, 0, 7, 7, 0, 0, 7, 0, 7, 0, 0, 7, 7, 7, 0, 0, 7, 7, 0, 0, 7, 0, 8, 8, 0, 0, 0, 8, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 9, 9, 0, 0, 9, 0, 0,14,17,14,17,14,17,14,17, 0,10, 7, 3, 0, 7, 3, 7, 0, 0,10, 7, 7, 0, 0, 7, 7, 0, 0, 7, 0,11, 7, 0, 4, 7, 4, 7, 0, 0, 7,11, 7, 4, 0,11,11, 0, 4, 7, 0,12, 7, 0, 0,12,14, 7, 0,14, 7, 7,12, 0,14, 7,12, 0,14, 7, 0,13, 0, 0, 4,17,13, 0, 0,17, 0, 4, 0,13, 0,13, 4,17, 4,17, 0,14, 0, 0, 0,14,14, 0, 0,14, 0, 0,14, 0,14, 0,14, 0,14, 0, 0,15, 7, 0, 4,19,13, 7, 0,17, 7,11, 7,13, 0,15,11,17, 4,19, 0,16, 7, 0, 4,12,18, 7, 0,14, 7,11,12, 4,14,11,16, 0,18, 7, 0,17, 0, 0, 0,17,17, 0, 0,17, 0, 0, 0,17, 0,17, 0,17, 0,17, 0,18, 0, 0, 4,14,18, 0, 0,14, 0, 4,14, 4,14, 4,18, 0,18, 0, 0,19, 7, 0, 0,19,17, 7, 0,17, 7, 7, 7,17, 0,19, 7,17, 0,19]), function(j(_,_), [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 6, 1, 6,10, 6, 6,10, 1, 1, 6, 6, 1, 1, 6, 6, 1, 4, 1, 1, 6, 4, 1, 6,11, 6, 6, 1,11,16,13,18,15,16,13,18,15, 5, 1, 1, 1, 1, 5, 1, 5, 1, 5, 1, 1, 5, 1, 5, 1, 1, 5, 1, 5, 6, 1, 1, 6, 6, 1, 6, 1, 6, 6, 1, 1, 1, 6, 6, 1, 1, 6, 6, 1, 7, 1, 2,10,11, 5, 1, 7, 2, 5,10,11,12,15,12,15,16,19,16,19, 8, 1, 2, 6, 6, 1, 6, 2, 8, 6, 1, 1, 1, 6, 6, 1, 1, 6, 6, 1, 9, 1, 1, 6, 6, 5, 6, 5, 6, 9, 1, 1, 5, 6, 9, 1, 1, 9, 6, 5, 10, 1, 1,10, 1, 1, 1,10, 1, 1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1, 11, 1, 1, 1,11, 1, 1,11, 1, 1, 1,11,16,15,16,15,16,15,16,15, 12, 1, 1, 1,16, 5, 1,12, 1, 5, 1,16,12, 1,12, 1,16, 5,16, 5, 13, 1, 1, 6,13, 1, 6,15, 6, 6, 1,15, 1,13, 6,15, 1,13, 6,15, 14, 1, 1, 6,18, 5, 6,12, 6, 9, 1,16,12, 6,14, 1,16, 9,18, 5, 15, 1, 1, 1,15, 1, 1,15, 1, 1, 1,15, 1,15, 1,15, 1,15, 1,15, 16, 1, 1, 1,16, 1, 1,16, 1, 1, 1,16,16, 1,16, 1,16, 1,16, 1, 17, 1, 1, 6,13, 5, 6,19, 6, 9, 1,15, 5,13, 9,15, 1,17, 6,19, 18, 1, 1, 6,18, 1, 6,16, 6, 6, 1,16,16, 6,18, 1,16, 6,18, 1, 19, 1, 1, 1,15, 5, 1,19, 1, 5, 1,15, 5,15, 5,15, 1,19, 1,19])]). % isofilter: input=21851, kept=14, checks=25125, perms=4099970189, 1227097.79 seconds.