interpretation(14, [
    function(^(_,_), [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,0,2,2,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,4,0,0,4,0,0,0,0,0,0,0,0,0,0,5,0,0,0,5,0,0,0,0,0,0,0,0,0,6,0,0,0,0,6,0,0,0,0,0,0,0,0,7,0,0,0,0,0,7,0,0,0,0,0,0,0,8,0,0,0,0,0,0,8,0,0,0,0,0,0,9,0,0,0,0,0,0,0,9,0,0,0,0,0,10,0,0,0,0,0,0,0,0,10,0,0,0,0,11,0,0,0,0,0,0,0,0,0,11,0,0,0,12,0,0,0,0,0,0,0,0,0,0,12,0,0,13,0,0,0,0,0,0,0,0,0,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,3,1,1,3,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,1,1,5,1,1,1,1,5,1,1,1,1,1,1,1,1,6,1,1,1,1,1,6,1,1,1,1,1,1,1,7,1,1,1,1,1,1,7,1,1,1,1,1,1,8,1,1,1,1,1,1,1,8,1,1,1,1,1,9,1,1,1,1,1,1,1,1,9,1,1,1,1,10,1,1,1,1,1,1,1,1,1,10,1,1,1,11,1,1,1,1,1,1,1,1,1,1,11,1,1,12,1,1,1,1,1,1,1,1,1,1,1,12,1,13,1,1,1,1,1,1,1,1,1,1,1,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,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,5,1,1,5,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,1,1,7,1,1,1,1,7,1,1,1,1,1,1,1,1,6,1,1,1,1,1,6,1,1,1,1,1,1,1,9,1,1,1,1,1,1,9,1,1,1,1,1,1,8,1,1,1,1,1,1,1,8,1,1,1,1,1,11,1,1,1,1,1,1,1,1,11,1,1,1,1,10,1,1,1,1,1,1,1,1,1,10,1,1,1,13,1,1,1,1,1,1,1,1,1,1,13,1,1,12,1,1,1,1,1,1,1,1,1,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,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,4,0,0,4,0,0,0,0,0,0,0,0,0,0,5,0,0,0,5,0,0,0,0,0,0,0,0,0,6,0,0,0,0,6,0,0,0,0,0,0,0,0,7,0,0,0,0,0,7,0,0,0,0,0,0,0,8,0,0,0,0,0,0,8,0,0,0,0,0,0,9,0,0,0,0,0,0,0,9,0,0,0,0,0,10,0,0,0,0,0,0,0,0,10,0,0,13,0,11,0,0,0,0,0,0,0,0,0,11,11,0,0,12,0,0,0,0,0,0,0,0,0,11,12,0,0,13,0,0,0,0,0,0,0,0,13,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,3,1,1,3,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,1,1,5,1,1,1,1,5,1,1,1,1,1,1,1,1,6,1,1,1,1,1,6,1,1,1,1,1,1,1,7,1,1,1,1,1,1,7,1,1,1,1,1,1,8,1,1,1,1,1,1,1,8,1,1,1,1,1,9,1,1,1,1,1,1,1,1,9,1,1,1,1,10,1,1,1,1,1,1,1,1,1,10,1,1,10,11,1,1,1,1,1,1,1,1,1,1,11,12,1,12,1,1,1,1,1,1,1,1,1,1,12,12,1,13,1,1,1,1,1,1,1,1,1,10,1,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,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,5,1,1,5,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,1,1,7,1,1,1,1,7,1,1,1,1,1,1,1,1,6,1,1,1,1,1,6,1,1,1,1,1,1,1,9,1,1,1,1,1,1,9,1,1,1,1,1,1,8,1,1,1,1,1,1,1,8,1,1,1,1,1,11,1,1,1,1,1,1,1,1,11,1,1,12,1,10,1,1,1,1,1,1,1,1,1,10,10,1,1,13,1,1,1,1,1,1,1,1,1,10,13,1,1,12,1,1,1,1,1,1,1,1,12,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,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,4,0,0,4,0,0,0,0,0,0,0,0,0,0,5,0,0,0,5,0,0,0,0,0,0,0,0,0,6,0,0,0,0,6,0,0,0,0,0,0,0,0,7,0,0,0,0,0,7,0,0,0,0,0,0,0,8,0,0,0,0,0,0,8,0,0,11,0,13,0,9,0,0,0,0,0,0,0,9,9,0,9,0,0,10,0,0,0,0,0,0,0,9,10,0,12,0,0,11,0,0,0,0,0,0,11,0,0,11,0,11,0,12,0,0,0,0,0,0,0,9,12,0,12,0,0,13,0,0,0,0,0,0,13,0,0,11,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,3,1,1,3,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,1,1,5,1,1,1,1,5,1,1,1,1,1,1,1,1,6,1,1,1,1,1,6,1,1,1,1,1,1,1,7,1,1,1,1,1,1,7,1,1,1,1,1,1,8,1,1,1,1,1,1,1,8,1,1,8,1,8,9,1,1,1,1,1,1,1,1,9,10,1,12,1,10,1,1,1,1,1,1,1,1,10,10,1,10,1,11,1,1,1,1,1,1,1,8,1,1,11,1,13,12,1,1,1,1,1,1,1,1,12,10,1,12,1,13,1,1,1,1,1,1,1,8,1,1,13,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,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,5,1,1,5,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,1,1,7,1,1,1,1,7,1,1,1,1,1,1,1,1,6,1,1,1,1,1,6,1,1,1,1,1,1,1,9,1,1,1,1,1,1,9,1,1,10,1,12,1,8,1,1,1,1,1,1,1,8,8,1,8,1,1,11,1,1,1,1,1,1,1,8,11,1,13,1,1,10,1,1,1,1,1,1,10,1,1,10,1,10,1,13,1,1,1,1,1,1,1,8,13,1,13,1,1,12,1,1,1,1,1,1,12,1,1,10,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,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,4,0,0,4,0,0,0,0,0,0,0,0,0,0,5,0,0,0,5,0,0,0,0,0,0,0,0,0,6,0,0,0,0,6,0,0,0,0,0,0,13,0,7,0,0,0,0,0,7,0,0,0,0,7,0,0,8,0,0,0,0,0,0,8,0,0,11,0,0,0,9,0,0,0,0,0,0,0,9,9,0,0,0,0,10,0,0,0,0,0,0,0,9,10,0,0,0,0,11,0,0,0,0,0,0,11,0,0,11,0,0,0,12,0,0,0,0,0,7,0,0,0,0,12,0,0,13,0,0,0,0,13,0,0,0,0,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,3,1,1,3,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,1,1,5,1,1,1,1,5,1,1,1,1,1,1,1,1,6,1,1,1,1,1,6,1,1,1,1,1,1,6,7,1,1,1,1,1,1,7,1,1,1,1,12,1,8,1,1,1,1,1,1,1,8,1,1,8,1,1,9,1,1,1,1,1,1,1,1,9,10,1,1,1,10,1,1,1,1,1,1,1,1,10,10,1,1,1,11,1,1,1,1,1,1,1,8,1,1,11,1,1,12,1,1,1,1,1,1,12,1,1,1,1,12,1,13,1,1,1,1,1,6,1,1,1,1,1,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,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,5,1,1,5,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,1,1,7,1,1,1,1,7,1,1,1,1,1,1,12,1,6,1,1,1,1,1,6,1,1,1,1,6,1,1,9,1,1,1,1,1,1,9,1,1,10,1,1,1,8,1,1,1,1,1,1,1,8,8,1,1,1,1,11,1,1,1,1,1,1,1,8,11,1,1,1,1,10,1,1,1,1,1,1,10,1,1,10,1,1,1,13,1,1,1,1,1,6,1,1,1,1,13,1,1,12,1,1,1,1,12,1,1,1,1,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,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,4,0,0,4,0,0,0,0,0,0,0,0,0,0,5,0,0,0,5,0,0,0,0,0,0,0,0,0,6,0,0,0,0,6,0,0,0,0,0,0,0,0,7,0,0,0,0,0,7,0,0,0,0,0,0,0,8,0,0,0,0,0,0,8,0,13,11,11,13,0,9,0,0,0,0,0,0,0,9,9,0,9,0,0,10,0,0,0,0,0,0,13,9,10,0,9,13,0,11,0,0,0,0,0,0,11,0,0,11,11,0,0,12,0,0,0,0,0,0,11,9,9,11,12,0,0,13,0,0,0,0,0,0,13,0,13,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,3,1,1,3,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,1,1,5,1,1,1,1,5,1,1,1,1,1,1,1,1,6,1,1,1,1,1,6,1,1,1,1,1,1,1,7,1,1,1,1,1,1,7,1,1,1,1,1,1,8,1,1,1,1,1,1,1,8,1,1,8,1,8,9,1,1,1,1,1,1,1,1,9,10,12,12,10,10,1,1,1,1,1,1,1,1,10,10,1,1,10,11,1,1,1,1,1,1,1,8,12,1,11,12,8,12,1,1,1,1,1,1,1,1,12,1,12,12,1,13,1,1,1,1,1,1,1,8,10,10,8,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,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,5,1,1,5,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,1,1,7,1,1,1,1,7,1,1,1,1,1,1,1,1,6,1,1,1,1,1,6,1,1,1,1,1,1,1,9,1,1,1,1,1,1,9,1,12,10,10,12,1,8,1,1,1,1,1,1,1,8,8,1,8,1,1,11,1,1,1,1,1,1,12,8,11,1,8,12,1,10,1,1,1,1,1,1,10,1,1,10,10,1,1,13,1,1,1,1,1,1,10,8,8,10,13,1,1,12,1,1,1,1,1,1,12,1,12,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,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,4,0,0,4,0,0,0,0,0,0,0,0,0,0,5,0,0,0,5,0,0,0,0,0,0,0,0,0,6,0,0,0,0,6,0,0,9,0,11,0,13,0,7,0,0,0,0,0,7,7,0,7,0,7,0,0,8,0,0,0,0,0,7,8,0,10,0,12,0,0,9,0,0,0,0,9,0,0,9,0,9,0,9,0,10,0,0,0,0,0,7,10,0,10,0,7,0,0,11,0,0,0,0,11,0,0,9,0,11,0,9,0,12,0,0,0,0,0,7,12,0,7,0,12,0,0,13,0,0,0,0,13,0,0,9,0,9,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,3,1,1,3,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,1,1,5,1,1,1,1,5,1,1,1,1,1,1,1,1,6,1,1,1,1,1,6,1,1,6,1,6,1,6,7,1,1,1,1,1,1,7,8,1,10,1,12,1,8,1,1,1,1,1,1,8,8,1,8,1,8,1,9,1,1,1,1,1,6,1,1,9,1,11,1,13,10,1,1,1,1,1,1,10,8,1,10,1,8,1,11,1,1,1,1,1,6,1,1,11,1,11,1,6,12,1,1,1,1,1,1,12,8,1,8,1,12,1,13,1,1,1,1,1,6,1,1,13,1,6,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,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,5,1,1,5,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,1,1,7,1,1,1,1,7,1,1,8,1,10,1,12,1,6,1,1,1,1,1,6,6,1,6,1,6,1,1,9,1,1,1,1,1,6,9,1,11,1,13,1,1,8,1,1,1,1,8,1,1,8,1,8,1,8,1,11,1,1,1,1,1,6,11,1,11,1,6,1,1,10,1,1,1,1,10,1,1,8,1,10,1,8,1,13,1,1,1,1,1,6,13,1,6,1,13,1,1,12,1,1,1,1,12,1,1,8,1,8,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,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,4,0,0,4,0,0,0,0,0,0,0,0,0,0,5,0,0,0,5,0,0,0,0,0,0,0,0,0,6,0,0,0,0,6,0,0,9,0,11,0,13,0,7,0,0,0,0,0,7,7,0,7,0,7,0,0,8,0,0,0,0,0,7,8,0,10,0,12,0,0,9,0,0,0,0,9,0,0,9,0,9,0,9,0,10,0,0,0,0,0,7,10,0,10,0,12,0,0,11,0,0,0,0,11,0,0,9,0,11,0,11,0,12,0,0,0,0,0,7,12,0,12,0,12,0,0,13,0,0,0,0,13,0,0,9,0,11,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,3,1,1,3,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,1,1,5,1,1,1,1,5,1,1,1,1,1,1,1,1,6,1,1,1,1,1,6,1,1,6,1,6,1,6,7,1,1,1,1,1,1,7,8,1,10,1,12,1,8,1,1,1,1,1,1,8,8,1,8,1,8,1,9,1,1,1,1,1,6,1,1,9,1,11,1,13,10,1,1,1,1,1,1,10,8,1,10,1,10,1,11,1,1,1,1,1,6,1,1,11,1,11,1,13,12,1,1,1,1,1,1,12,8,1,10,1,12,1,13,1,1,1,1,1,6,1,1,13,1,13,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,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,5,1,1,5,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,1,1,7,1,1,1,1,7,1,1,8,1,10,1,12,1,6,1,1,1,1,1,6,6,1,6,1,6,1,1,9,1,1,1,1,1,6,9,1,11,1,13,1,1,8,1,1,1,1,8,1,1,8,1,8,1,8,1,11,1,1,1,1,1,6,11,1,11,1,13,1,1,10,1,1,1,1,10,1,1,8,1,10,1,10,1,13,1,1,1,1,1,6,13,1,13,1,13,1,1,12,1,1,1,1,12,1,1,8,1,10,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,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,4,0,0,4,0,0,0,0,0,0,0,0,13,0,5,0,0,0,5,0,0,0,0,0,0,5,0,0,6,0,0,0,0,6,0,0,9,0,11,0,0,0,7,0,0,0,0,0,7,7,0,7,0,0,0,0,8,0,0,0,0,0,7,8,0,10,0,0,0,0,9,0,0,0,0,9,0,0,9,0,9,0,0,0,10,0,0,0,0,0,7,10,0,10,0,0,0,0,11,0,0,0,0,11,0,0,9,0,11,0,0,0,12,0,0,0,5,0,0,0,0,0,0,12,0,0,13,0,0,13,0,0,0,0,0,0,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,3,1,1,3,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,1,4,5,1,1,1,1,5,1,1,1,1,1,1,12,1,6,1,1,1,1,1,6,1,1,6,1,6,1,1,7,1,1,1,1,1,1,7,8,1,10,1,1,1,8,1,1,1,1,1,1,8,8,1,8,1,1,1,9,1,1,1,1,1,6,1,1,9,1,11,1,1,10,1,1,1,1,1,1,10,8,1,10,1,1,1,11,1,1,1,1,1,6,1,1,11,1,11,1,1,12,1,1,1,1,12,1,1,1,1,1,1,12,1,13,1,1,1,4,1,1,1,1,1,1,1,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,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,5,1,1,5,1,1,1,1,1,1,1,1,12,1,4,1,1,1,4,1,1,1,1,1,1,4,1,1,7,1,1,1,1,7,1,1,8,1,10,1,1,1,6,1,1,1,1,1,6,6,1,6,1,1,1,1,9,1,1,1,1,1,6,9,1,11,1,1,1,1,8,1,1,1,1,8,1,1,8,1,8,1,1,1,11,1,1,1,1,1,6,11,1,11,1,1,1,1,10,1,1,1,1,10,1,1,8,1,10,1,1,1,13,1,1,1,4,1,1,1,1,1,1,13,1,1,12,1,1,12,1,1,1,1,1,1,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,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,4,0,0,4,0,0,0,0,0,0,0,0,0,0,5,0,0,0,5,0,0,0,0,0,0,0,0,0,6,0,0,0,0,6,0,0,9,13,11,11,13,0,7,0,0,0,0,0,7,7,0,7,0,7,0,0,8,0,0,0,0,0,7,8,0,8,0,8,0,0,9,0,0,0,0,9,0,0,9,13,11,11,13,0,10,0,0,0,0,13,7,8,13,10,0,8,13,0,11,0,0,0,0,11,0,0,11,0,11,11,0,0,12,0,0,0,0,11,7,8,11,8,11,12,0,0,13,0,0,0,0,13,0,0,13,13,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,3,1,1,3,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,1,1,5,1,1,1,1,5,1,1,1,1,1,1,1,1,6,1,1,1,1,1,6,1,1,6,1,6,1,6,7,1,1,1,1,1,1,7,8,1,10,12,12,10,8,1,1,1,1,1,1,8,8,1,10,12,12,10,9,1,1,1,1,1,6,1,1,9,1,9,1,9,10,1,1,1,1,1,1,10,10,1,10,1,1,10,11,1,1,1,1,1,6,12,12,9,1,11,12,9,12,1,1,1,1,1,1,12,12,1,1,12,12,1,13,1,1,1,1,1,6,10,10,9,10,9,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,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,5,1,1,5,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,1,1,7,1,1,1,1,7,1,1,8,12,10,10,12,1,6,1,1,1,1,1,6,6,1,6,1,6,1,1,9,1,1,1,1,1,6,9,1,9,1,9,1,1,8,1,1,1,1,8,1,1,8,12,10,10,12,1,11,1,1,1,1,12,6,9,12,11,1,9,12,1,10,1,1,1,1,10,1,1,10,1,10,10,1,1,13,1,1,1,1,10,6,9,10,9,10,13,1,1,12,1,1,1,1,12,1,1,12,12,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,0,0,0,0,0,0,0,0,13,0,3,0,3,0,0,0,0,0,0,0,0,3,0,0,4,0,0,4,0,0,0,0,0,0,11,0,0,0,5,0,0,0,5,0,0,0,0,5,0,0,0,0,6,0,0,0,0,6,0,0,9,0,0,0,0,0,7,0,0,0,0,0,7,7,0,0,0,0,0,0,8,0,0,0,0,0,7,8,0,0,0,0,0,0,9,0,0,0,0,9,0,0,9,0,0,0,0,0,10,0,0,0,5,0,0,0,0,10,0,0,0,0,11,0,0,11,0,0,0,0,0,0,11,0,0,0,12,0,3,0,0,0,0,0,0,0,0,12,0,0,13,13,0,0,0,0,0,0,0,0,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,2,3,1,1,3,1,1,1,1,1,1,1,1,12,1,4,1,1,1,4,1,1,1,1,1,1,4,1,1,5,1,1,1,1,5,1,1,1,1,10,1,1,1,6,1,1,1,1,1,6,1,1,6,1,1,1,1,7,1,1,1,1,1,1,7,8,1,1,1,1,1,8,1,1,1,1,1,1,8,8,1,1,1,1,1,9,1,1,1,1,1,6,1,1,9,1,1,1,1,10,1,1,1,1,10,1,1,1,1,10,1,1,1,11,1,1,1,4,1,1,1,1,1,1,11,1,1,12,1,1,12,1,1,1,1,1,1,1,1,12,1,13,1,2,1,1,1,1,1,1,1,1,1,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,1,1,1,1,1,1,1,1,12,1,2,1,2,1,1,1,1,1,1,1,1,2,1,1,5,1,1,5,1,1,1,1,1,1,10,1,1,1,4,1,1,1,4,1,1,1,1,4,1,1,1,1,7,1,1,1,1,7,1,1,8,1,1,1,1,1,6,1,1,1,1,1,6,6,1,1,1,1,1,1,9,1,1,1,1,1,6,9,1,1,1,1,1,1,8,1,1,1,1,8,1,1,8,1,1,1,1,1,11,1,1,1,4,1,1,1,1,11,1,1,1,1,10,1,1,10,1,1,1,1,1,1,10,1,1,1,13,1,2,1,1,1,1,1,1,1,1,13,1,1,12,12,1,1,1,1,1,1,1,1,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,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,4,0,0,4,0,0,0,0,0,13,11,11,13,0,5,0,0,0,5,0,0,0,0,5,0,5,0,0,6,0,0,0,0,6,0,0,9,0,0,0,0,0,7,0,0,0,0,0,7,7,0,0,0,0,0,0,8,0,0,0,0,0,7,8,0,0,0,0,0,0,9,0,0,0,0,9,0,0,9,0,0,0,0,0,10,0,0,13,5,0,0,0,0,10,0,5,13,0,11,0,0,11,0,0,0,0,0,0,11,11,0,0,12,0,0,11,5,0,0,0,0,5,11,12,0,0,13,0,0,13,0,0,0,0,0,13,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,3,1,1,3,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,4,1,4,5,1,1,1,1,5,1,1,1,1,10,12,12,10,6,1,1,1,1,1,6,1,1,6,1,1,1,1,7,1,1,1,1,1,1,7,8,1,1,1,1,1,8,1,1,1,1,1,1,8,8,1,1,1,1,1,9,1,1,1,1,1,6,1,1,9,1,1,1,1,10,1,1,1,1,10,1,1,1,1,10,1,1,10,11,1,1,1,4,12,1,1,1,1,1,11,12,4,12,1,1,1,1,12,1,1,1,1,1,12,12,1,13,1,1,1,4,10,1,1,1,1,10,4,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,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,5,1,1,5,1,1,1,1,1,12,10,10,12,1,4,1,1,1,4,1,1,1,1,4,1,4,1,1,7,1,1,1,1,7,1,1,8,1,1,1,1,1,6,1,1,1,1,1,6,6,1,1,1,1,1,1,9,1,1,1,1,1,6,9,1,1,1,1,1,1,8,1,1,1,1,8,1,1,8,1,1,1,1,1,11,1,1,12,4,1,1,1,1,11,1,4,12,1,10,1,1,10,1,1,1,1,1,1,10,10,1,1,13,1,1,10,4,1,1,1,1,4,10,13,1,1,12,1,1,12,1,1,1,1,1,12,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,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,4,0,0,4,0,0,9,11,9,9,11,9,0,0,5,0,0,0,5,0,0,5,0,5,0,0,0,0,6,0,0,0,0,6,0,6,0,0,0,6,0,0,7,0,0,9,0,0,7,13,9,9,0,9,13,0,8,0,0,11,5,6,13,8,0,5,11,6,13,0,9,0,0,9,0,0,9,0,9,9,0,9,0,0,10,0,0,9,5,0,9,5,9,10,0,9,0,0,11,0,0,11,0,0,0,11,0,0,11,0,0,0,12,0,0,9,0,6,9,6,9,9,0,12,0,0,13,0,0,0,0,0,13,13,0,0,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,3,1,1,3,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,4,1,4,1,1,5,1,1,1,1,5,8,1,8,10,10,8,1,8,6,1,1,1,1,8,6,1,8,12,1,8,12,8,7,1,1,1,1,1,1,7,1,7,1,1,1,7,8,1,1,1,1,8,8,1,8,1,1,8,1,8,9,1,1,1,4,10,12,7,1,9,10,4,12,7,10,1,1,1,1,10,1,1,1,10,10,1,1,1,11,1,1,1,4,8,8,1,8,4,1,11,1,8,12,1,1,1,1,1,12,1,1,12,1,1,12,1,13,1,1,1,1,8,8,7,8,7,1,8,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,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,5,1,1,5,1,1,8,10,8,8,10,8,1,1,4,1,1,1,4,1,1,4,1,4,1,1,1,1,7,1,1,1,1,7,1,7,1,1,1,7,1,1,6,1,1,8,1,1,6,12,8,8,1,8,12,1,9,1,1,10,4,7,12,9,1,4,10,7,12,1,8,1,1,8,1,1,8,1,8,8,1,8,1,1,11,1,1,8,4,1,8,4,8,11,1,8,1,1,10,1,1,10,1,1,1,10,1,1,10,1,1,1,13,1,1,8,1,7,8,7,8,8,1,13,1,1,12,1,1,1,1,1,12,12,1,1,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,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,4,0,0,4,0,0,7,0,9,0,11,0,13,0,5,0,0,0,5,5,0,5,0,5,0,5,0,0,6,0,0,0,5,6,0,8,0,10,0,12,0,0,7,0,0,7,0,0,7,0,7,0,7,0,7,0,8,0,0,0,5,8,0,8,0,5,0,5,0,0,9,0,0,9,0,0,7,0,9,0,7,0,7,0,10,0,0,0,5,10,0,5,0,10,0,5,0,0,11,0,0,11,0,0,7,0,7,0,11,0,7,0,12,0,0,0,5,12,0,5,0,5,0,12,0,0,13,0,0,13,0,0,7,0,7,0,7,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,3,1,1,3,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,4,1,4,1,4,1,4,5,1,1,1,1,5,6,1,8,1,10,1,12,1,6,1,1,1,1,6,6,1,6,1,6,1,6,1,7,1,1,1,4,1,1,7,1,9,1,11,1,13,8,1,1,1,1,8,6,1,8,1,6,1,6,1,9,1,1,1,4,1,1,9,1,9,1,4,1,4,10,1,1,1,1,10,6,1,6,1,10,1,6,1,11,1,1,1,4,1,1,11,1,4,1,11,1,4,12,1,1,1,1,12,6,1,6,1,6,1,12,1,13,1,1,1,4,1,1,13,1,4,1,4,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,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,5,1,1,5,1,1,6,1,8,1,10,1,12,1,4,1,1,1,4,4,1,4,1,4,1,4,1,1,7,1,1,1,4,7,1,9,1,11,1,13,1,1,6,1,1,6,1,1,6,1,6,1,6,1,6,1,9,1,1,1,4,9,1,9,1,4,1,4,1,1,8,1,1,8,1,1,6,1,8,1,6,1,6,1,11,1,1,1,4,11,1,4,1,11,1,4,1,1,10,1,1,10,1,1,6,1,6,1,10,1,6,1,13,1,1,1,4,13,1,4,1,4,1,13,1,1,12,1,1,12,1,1,6,1,6,1,6,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,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,4,0,0,4,0,0,7,0,9,0,11,0,13,0,5,0,0,0,5,5,0,5,0,5,0,5,0,0,6,0,0,0,5,6,0,8,0,10,0,12,0,0,7,0,0,7,0,0,7,0,7,0,7,0,7,0,8,0,0,0,5,8,0,8,0,5,0,5,0,0,9,0,0,9,0,0,7,0,9,0,7,0,7,0,10,0,0,0,5,10,0,5,0,10,0,12,0,0,11,0,0,11,0,0,7,0,7,0,11,0,11,0,12,0,0,0,5,12,0,5,0,12,0,12,0,0,13,0,0,13,0,0,7,0,7,0,11,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,3,1,1,3,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,4,1,4,1,4,1,4,5,1,1,1,1,5,6,1,8,1,10,1,12,1,6,1,1,1,1,6,6,1,6,1,6,1,6,1,7,1,1,1,4,1,1,7,1,9,1,11,1,13,8,1,1,1,1,8,6,1,8,1,6,1,6,1,9,1,1,1,4,1,1,9,1,9,1,4,1,4,10,1,1,1,1,10,6,1,6,1,10,1,10,1,11,1,1,1,4,1,1,11,1,4,1,11,1,13,12,1,1,1,1,12,6,1,6,1,10,1,12,1,13,1,1,1,4,1,1,13,1,4,1,13,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,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,5,1,1,5,1,1,6,1,8,1,10,1,12,1,4,1,1,1,4,4,1,4,1,4,1,4,1,1,7,1,1,1,4,7,1,9,1,11,1,13,1,1,6,1,1,6,1,1,6,1,6,1,6,1,6,1,9,1,1,1,4,9,1,9,1,4,1,4,1,1,8,1,1,8,1,1,6,1,8,1,6,1,6,1,11,1,1,1,4,11,1,4,1,11,1,13,1,1,10,1,1,10,1,1,6,1,6,1,10,1,10,1,13,1,1,1,4,13,1,4,1,13,1,13,1,1,12,1,1,12,1,1,6,1,6,1,10,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,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,4,0,0,4,0,0,7,0,9,0,11,0,13,0,5,0,0,0,5,5,0,5,0,5,0,5,0,0,6,0,0,0,5,6,0,8,0,10,0,6,0,0,7,0,0,7,0,0,7,0,7,0,7,0,13,0,8,0,0,0,5,8,0,8,0,5,0,8,0,0,9,0,0,9,0,0,7,0,9,0,7,0,13,0,10,0,0,0,5,10,0,5,0,10,0,10,0,0,11,0,0,11,0,0,7,0,7,0,11,0,13,0,12,0,0,0,5,6,0,8,0,10,0,12,0,0,13,0,0,13,0,0,13,0,13,0,13,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,3,1,1,3,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,4,1,4,1,4,1,4,5,1,1,1,1,5,6,1,8,1,10,1,12,1,6,1,1,1,1,6,6,1,6,1,6,1,12,1,7,1,1,1,4,1,1,7,1,9,1,11,1,7,8,1,1,1,1,8,6,1,8,1,6,1,12,1,9,1,1,1,4,1,1,9,1,9,1,4,1,9,10,1,1,1,1,10,6,1,6,1,10,1,12,1,11,1,1,1,4,1,1,11,1,4,1,11,1,11,12,1,1,1,1,12,12,1,12,1,12,1,12,1,13,1,1,1,4,1,1,7,1,9,1,11,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,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,5,1,1,5,1,1,6,1,8,1,10,1,12,1,4,1,1,1,4,4,1,4,1,4,1,4,1,1,7,1,1,1,4,7,1,9,1,11,1,7,1,1,6,1,1,6,1,1,6,1,6,1,6,1,12,1,9,1,1,1,4,9,1,9,1,4,1,9,1,1,8,1,1,8,1,1,6,1,8,1,6,1,12,1,11,1,1,1,4,11,1,4,1,11,1,11,1,1,10,1,1,10,1,1,6,1,6,1,10,1,12,1,13,1,1,1,4,7,1,9,1,11,1,13,1,1,12,1,1,12,1,1,12,1,12,1,12,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,0,0,0,0,0,0,0,0,13,0,3,0,3,0,0,0,0,0,0,0,0,3,0,0,4,0,0,4,0,0,7,0,9,0,11,0,0,0,5,0,0,0,5,5,0,5,0,5,0,0,0,0,6,0,0,0,5,6,0,8,0,10,0,0,0,0,7,0,0,7,0,0,7,0,7,0,7,0,0,0,8,0,0,0,5,8,0,8,0,5,0,0,0,0,9,0,0,9,0,0,7,0,9,0,7,0,0,0,10,0,0,0,5,10,0,5,0,10,0,0,0,0,11,0,0,11,0,0,7,0,7,0,11,0,0,0,12,0,3,0,0,0,0,0,0,0,0,12,0,0,13,13,0,0,0,0,0,0,0,0,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,2,3,1,1,3,1,1,1,1,1,1,1,1,12,1,4,1,1,1,4,1,1,4,1,4,1,4,1,1,5,1,1,1,1,5,6,1,8,1,10,1,1,1,6,1,1,1,1,6,6,1,6,1,6,1,1,1,7,1,1,1,4,1,1,7,1,9,1,11,1,1,8,1,1,1,1,8,6,1,8,1,6,1,1,1,9,1,1,1,4,1,1,9,1,9,1,4,1,1,10,1,1,1,1,10,6,1,6,1,10,1,1,1,11,1,1,1,4,1,1,11,1,4,1,11,1,1,12,1,1,12,1,1,1,1,1,1,1,1,12,1,13,1,2,1,1,1,1,1,1,1,1,1,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,1,1,1,1,1,1,1,1,12,1,2,1,2,1,1,1,1,1,1,1,1,2,1,1,5,1,1,5,1,1,6,1,8,1,10,1,1,1,4,1,1,1,4,4,1,4,1,4,1,1,1,1,7,1,1,1,4,7,1,9,1,11,1,1,1,1,6,1,1,6,1,1,6,1,6,1,6,1,1,1,9,1,1,1,4,9,1,9,1,4,1,1,1,1,8,1,1,8,1,1,6,1,8,1,6,1,1,1,11,1,1,1,4,11,1,4,1,11,1,1,1,1,10,1,1,10,1,1,6,1,6,1,10,1,1,1,13,1,2,1,1,1,1,1,1,1,1,13,1,1,12,12,1,1,1,1,1,1,1,1,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,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,4,0,0,4,0,0,7,0,9,0,11,0,13,0,5,0,0,0,5,5,0,5,0,5,0,5,0,0,6,0,0,0,5,6,0,8,0,10,0,12,0,0,7,0,0,7,0,0,7,0,7,0,7,0,7,0,8,0,0,0,5,8,0,8,0,10,0,12,0,0,9,0,0,9,0,0,7,0,9,0,9,0,9,0,10,0,0,0,5,10,0,10,0,10,0,12,0,0,11,0,0,11,0,0,7,0,9,0,11,0,11,0,12,0,0,0,5,12,0,12,0,12,0,12,0,0,13,0,0,13,0,0,7,0,9,0,11,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,3,1,1,3,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,4,1,4,1,4,1,4,5,1,1,1,1,5,6,1,8,1,10,1,12,1,6,1,1,1,1,6,6,1,6,1,6,1,6,1,7,1,1,1,4,1,1,7,1,9,1,11,1,13,8,1,1,1,1,8,6,1,8,1,8,1,8,1,9,1,1,1,4,1,1,9,1,9,1,11,1,13,10,1,1,1,1,10,6,1,8,1,10,1,10,1,11,1,1,1,4,1,1,11,1,11,1,11,1,13,12,1,1,1,1,12,6,1,8,1,10,1,12,1,13,1,1,1,4,1,1,13,1,13,1,13,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,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,5,1,1,5,1,1,6,1,8,1,10,1,12,1,4,1,1,1,4,4,1,4,1,4,1,4,1,1,7,1,1,1,4,7,1,9,1,11,1,13,1,1,6,1,1,6,1,1,6,1,6,1,6,1,6,1,9,1,1,1,4,9,1,9,1,11,1,13,1,1,8,1,1,8,1,1,6,1,8,1,8,1,8,1,11,1,1,1,4,11,1,11,1,11,1,13,1,1,10,1,1,10,1,1,6,1,8,1,10,1,10,1,13,1,1,1,4,13,1,13,1,13,1,13,1,1,12,1,1,12,1,1,6,1,8,1,10,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,0,0,0,0,0,0,0,0,13,0,3,0,3,0,0,0,0,0,0,0,0,3,0,0,4,0,0,4,0,0,7,0,9,0,11,0,0,0,5,0,0,0,5,5,0,5,0,5,0,0,0,0,6,0,0,0,5,6,0,8,0,10,0,0,0,0,7,0,0,7,0,0,7,0,7,0,7,0,0,0,8,0,0,0,5,8,0,8,0,10,0,0,0,0,9,0,0,9,0,0,7,0,9,0,9,0,0,0,10,0,0,0,5,10,0,10,0,10,0,0,0,0,11,0,0,11,0,0,7,0,9,0,11,0,0,0,12,0,3,0,0,0,0,0,0,0,0,12,0,0,13,13,0,0,0,0,0,0,0,0,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,2,3,1,1,3,1,1,1,1,1,1,1,1,12,1,4,1,1,1,4,1,1,4,1,4,1,4,1,1,5,1,1,1,1,5,6,1,8,1,10,1,1,1,6,1,1,1,1,6,6,1,6,1,6,1,1,1,7,1,1,1,4,1,1,7,1,9,1,11,1,1,8,1,1,1,1,8,6,1,8,1,8,1,1,1,9,1,1,1,4,1,1,9,1,9,1,11,1,1,10,1,1,1,1,10,6,1,8,1,10,1,1,1,11,1,1,1,4,1,1,11,1,11,1,11,1,1,12,1,1,12,1,1,1,1,1,1,1,1,12,1,13,1,2,1,1,1,1,1,1,1,1,1,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,1,1,1,1,1,1,1,1,12,1,2,1,2,1,1,1,1,1,1,1,1,2,1,1,5,1,1,5,1,1,6,1,8,1,10,1,1,1,4,1,1,1,4,4,1,4,1,4,1,1,1,1,7,1,1,1,4,7,1,9,1,11,1,1,1,1,6,1,1,6,1,1,6,1,6,1,6,1,1,1,9,1,1,1,4,9,1,9,1,11,1,1,1,1,8,1,1,8,1,1,6,1,8,1,8,1,1,1,11,1,1,1,4,11,1,11,1,11,1,1,1,1,10,1,1,10,1,1,6,1,8,1,10,1,1,1,13,1,2,1,1,1,1,1,1,1,1,13,1,1,12,12,1,1,1,1,1,1,1,1,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,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,4,0,0,4,0,0,7,0,9,13,11,11,13,0,5,0,0,0,5,5,0,5,0,5,0,5,0,0,6,0,0,0,5,6,0,8,0,6,0,6,0,0,7,0,0,7,0,0,7,0,7,13,11,11,13,0,8,0,0,0,5,8,0,8,0,8,0,8,0,0,9,0,0,9,0,0,7,0,9,13,11,11,13,0,10,0,0,13,5,6,13,8,13,10,0,6,13,0,11,0,0,11,0,0,11,0,11,0,11,11,0,0,12,0,0,11,5,6,11,8,11,6,11,12,0,0,13,0,0,13,0,0,13,0,13,13,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,3,1,1,3,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,4,1,4,1,4,1,4,5,1,1,1,1,5,6,1,8,1,10,12,12,10,6,1,1,1,1,6,6,1,6,1,10,12,12,10,7,1,1,1,4,1,1,7,1,9,1,7,1,7,8,1,1,1,1,8,6,1,8,1,10,12,12,10,9,1,1,1,4,1,1,9,1,9,1,9,1,9,10,1,1,1,1,10,10,1,10,1,10,1,1,10,11,1,1,1,4,12,12,7,12,9,1,11,12,7,12,1,1,1,1,12,12,1,12,1,1,12,12,1,13,1,1,1,4,10,10,7,10,9,10,7,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,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,5,1,1,5,1,1,6,1,8,12,10,10,12,1,4,1,1,1,4,4,1,4,1,4,1,4,1,1,7,1,1,1,4,7,1,9,1,7,1,7,1,1,6,1,1,6,1,1,6,1,6,12,10,10,12,1,9,1,1,1,4,9,1,9,1,9,1,9,1,1,8,1,1,8,1,1,6,1,8,12,10,10,12,1,11,1,1,12,4,7,12,9,12,11,1,7,12,1,10,1,1,10,1,1,10,1,10,1,10,10,1,1,13,1,1,10,4,7,10,9,10,7,10,13,1,1,12,1,1,12,1,1,12,1,12,12,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,0,0,0,0,0,0,11,0,13,0,3,0,3,0,0,0,0,0,0,3,0,3,0,0,4,0,0,4,0,0,7,0,9,0,0,0,0,0,5,0,0,0,5,5,0,5,0,0,0,0,0,0,6,0,0,0,5,6,0,8,0,0,0,0,0,0,7,0,0,7,0,0,7,0,7,0,0,0,0,0,8,0,0,0,5,8,0,8,0,0,0,0,0,0,9,0,0,9,0,0,7,0,9,0,0,0,0,0,10,0,3,0,0,0,0,0,0,10,0,12,0,0,11,11,0,0,0,0,0,0,0,0,11,0,11,0,12,0,3,0,0,0,0,0,0,12,0,12,0,0,13,13,0,0,0,0,0,0,0,0,11,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,2,1,2,3,1,1,3,1,1,1,1,1,1,10,1,12,1,4,1,1,1,4,1,1,4,1,4,1,1,1,1,5,1,1,1,1,5,6,1,8,1,1,1,1,1,6,1,1,1,1,6,6,1,6,1,1,1,1,1,7,1,1,1,4,1,1,7,1,9,1,1,1,1,8,1,1,1,1,8,6,1,8,1,1,1,1,1,9,1,1,1,4,1,1,9,1,9,1,1,1,1,10,1,1,10,1,1,1,1,1,1,10,1,10,1,11,1,2,1,1,1,1,1,1,1,1,11,1,13,12,1,1,12,1,1,1,1,1,1,10,1,12,1,13,1,2,1,1,1,1,1,1,1,1,13,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,1,1,1,1,1,1,10,1,12,1,2,1,2,1,1,1,1,1,1,2,1,2,1,1,5,1,1,5,1,1,6,1,8,1,1,1,1,1,4,1,1,1,4,4,1,4,1,1,1,1,1,1,7,1,1,1,4,7,1,9,1,1,1,1,1,1,6,1,1,6,1,1,6,1,6,1,1,1,1,1,9,1,1,1,4,9,1,9,1,1,1,1,1,1,8,1,1,8,1,1,6,1,8,1,1,1,1,1,11,1,2,1,1,1,1,1,1,11,1,13,1,1,10,10,1,1,1,1,1,1,1,1,10,1,10,1,13,1,2,1,1,1,1,1,1,13,1,13,1,1,12,12,1,1,1,1,1,1,1,1,10,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,0,0,0,0,0,13,11,11,13,0,3,0,3,0,0,0,0,0,0,3,0,3,0,0,4,0,0,4,0,0,7,0,9,0,0,0,0,0,5,0,0,0,5,5,0,5,0,0,0,0,0,0,6,0,0,0,5,6,0,8,0,0,0,0,0,0,7,0,0,7,0,0,7,0,7,0,0,0,0,0,8,0,0,0,5,8,0,8,0,0,0,0,0,0,9,0,0,9,0,0,7,0,9,0,0,0,0,0,10,13,3,0,0,0,0,0,0,10,0,3,13,0,11,11,0,0,0,0,0,0,0,0,11,11,0,0,12,11,3,0,0,0,0,0,0,3,11,12,0,0,13,13,0,0,0,0,0,0,0,13,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,2,1,2,3,1,1,3,1,1,1,1,1,1,10,12,12,10,4,1,1,1,4,1,1,4,1,4,1,1,1,1,5,1,1,1,1,5,6,1,8,1,1,1,1,1,6,1,1,1,1,6,6,1,6,1,1,1,1,1,7,1,1,1,4,1,1,7,1,9,1,1,1,1,8,1,1,1,1,8,6,1,8,1,1,1,1,1,9,1,1,1,4,1,1,9,1,9,1,1,1,1,10,1,1,10,1,1,1,1,1,1,10,1,1,10,11,1,2,12,1,1,1,1,1,1,1,11,12,2,12,1,1,12,1,1,1,1,1,1,1,12,12,1,13,1,2,10,1,1,1,1,1,1,10,2,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,1,1,1,1,1,12,10,10,12,1,2,1,2,1,1,1,1,1,1,2,1,2,1,1,5,1,1,5,1,1,6,1,8,1,1,1,1,1,4,1,1,1,4,4,1,4,1,1,1,1,1,1,7,1,1,1,4,7,1,9,1,1,1,1,1,1,6,1,1,6,1,1,6,1,6,1,1,1,1,1,9,1,1,1,4,9,1,9,1,1,1,1,1,1,8,1,1,8,1,1,6,1,8,1,1,1,1,1,11,12,2,1,1,1,1,1,1,11,1,2,12,1,10,10,1,1,1,1,1,1,1,1,10,10,1,1,13,10,2,1,1,1,1,1,1,2,10,13,1,1,12,12,1,1,1,1,1,1,1,12,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,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,4,0,0,4,0,0,7,11,9,9,11,11,13,0,5,0,0,0,5,5,0,5,0,5,0,5,0,0,6,0,0,0,5,6,0,6,0,6,0,6,0,0,7,0,0,7,0,0,7,11,9,9,11,11,13,0,8,0,0,11,5,6,11,8,0,6,11,8,0,0,9,0,0,9,0,0,9,0,9,9,0,0,13,0,10,0,0,9,5,6,9,6,9,10,0,6,13,0,11,0,0,11,0,0,11,11,0,0,11,11,0,0,12,0,0,11,5,6,11,8,0,6,11,12,0,0,13,0,0,13,0,0,13,0,13,13,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,3,1,1,3,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,4,1,4,1,4,1,4,5,1,1,1,1,5,6,1,8,10,10,8,12,10,6,1,1,1,1,6,6,1,8,10,10,8,12,10,7,1,1,1,4,1,1,7,1,7,1,7,1,7,8,1,1,1,1,8,8,1,8,1,1,8,12,1,9,1,1,1,4,10,10,7,1,9,10,7,1,9,10,1,1,1,1,10,10,1,1,10,10,1,1,10,11,1,1,1,4,8,8,7,8,7,1,11,12,7,12,1,1,1,1,12,12,1,12,1,1,12,12,1,13,1,1,1,4,10,10,7,1,9,10,7,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,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,5,1,1,5,1,1,6,10,8,8,10,10,12,1,4,1,1,1,4,4,1,4,1,4,1,4,1,1,7,1,1,1,4,7,1,7,1,7,1,7,1,1,6,1,1,6,1,1,6,10,8,8,10,10,12,1,9,1,1,10,4,7,10,9,1,7,10,9,1,1,8,1,1,8,1,1,8,1,8,8,1,1,12,1,11,1,1,8,4,7,8,7,8,11,1,7,12,1,10,1,1,10,1,1,10,10,1,1,10,10,1,1,13,1,1,10,4,7,10,9,1,7,10,13,1,1,12,1,1,12,1,1,12,1,12,12,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,0,0,0,0,0,0,0,0,13,0,3,0,3,0,0,0,0,0,0,0,0,3,0,0,4,0,0,4,0,0,7,11,9,9,11,0,0,0,5,0,0,0,5,5,0,5,0,5,0,0,0,0,6,0,0,0,5,6,0,6,0,6,0,0,0,0,7,0,0,7,0,0,7,11,9,9,11,0,0,0,8,0,0,11,5,6,11,8,0,6,11,0,0,0,9,0,0,9,0,0,9,0,9,9,0,0,0,0,10,0,0,9,5,6,9,6,9,10,0,0,0,0,11,0,0,11,0,0,11,11,0,0,11,0,0,0,12,0,3,0,0,0,0,0,0,0,0,12,0,0,13,13,0,0,0,0,0,0,0,0,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,2,3,1,1,3,1,1,1,1,1,1,1,1,12,1,4,1,1,1,4,1,1,4,1,4,1,4,1,1,5,1,1,1,1,5,6,1,8,10,10,8,1,1,6,1,1,1,1,6,6,1,8,10,10,8,1,1,7,1,1,1,4,1,1,7,1,7,1,7,1,1,8,1,1,1,1,8,8,1,8,1,1,8,1,1,9,1,1,1,4,10,10,7,1,9,10,7,1,1,10,1,1,1,1,10,10,1,1,10,10,1,1,1,11,1,1,1,4,8,8,7,8,7,1,11,1,1,12,1,1,12,1,1,1,1,1,1,1,1,12,1,13,1,2,1,1,1,1,1,1,1,1,1,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,1,1,1,1,1,1,1,1,12,1,2,1,2,1,1,1,1,1,1,1,1,2,1,1,5,1,1,5,1,1,6,10,8,8,10,1,1,1,4,1,1,1,4,4,1,4,1,4,1,1,1,1,7,1,1,1,4,7,1,7,1,7,1,1,1,1,6,1,1,6,1,1,6,10,8,8,10,1,1,1,9,1,1,10,4,7,10,9,1,7,10,1,1,1,8,1,1,8,1,1,8,1,8,8,1,1,1,1,11,1,1,8,4,7,8,7,8,11,1,1,1,1,10,1,1,10,1,1,10,10,1,1,10,1,1,1,13,1,2,1,1,1,1,1,1,1,1,13,1,1,12,12,1,1,1,1,1,1,1,1,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,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,4,0,0,4,0,0,7,11,9,9,11,9,13,0,5,0,0,0,5,5,0,5,0,5,0,5,0,0,6,0,0,0,5,6,0,6,0,5,0,6,0,0,7,0,0,7,0,0,7,13,9,9,13,9,13,0,8,0,0,11,5,6,13,8,0,5,11,6,13,0,9,0,0,9,0,0,9,0,9,9,0,9,0,0,10,0,0,9,5,5,9,5,9,10,0,10,0,0,11,0,0,11,0,0,13,11,0,0,11,0,13,0,12,0,0,9,5,6,9,6,9,10,0,12,0,0,13,0,0,13,0,0,13,13,0,0,13,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,3,1,1,3,1,1,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,4,1,4,1,4,1,4,5,1,1,1,1,5,6,1,8,10,10,8,12,8,6,1,1,1,1,6,6,1,8,12,12,8,12,8,7,1,1,1,4,1,1,7,1,7,1,4,1,7,8,1,1,1,1,8,8,1,8,1,1,8,1,8,9,1,1,1,4,10,12,7,1,9,10,4,12,7,10,1,1,1,1,10,12,1,1,10,10,1,12,1,11,1,1,1,4,8,8,4,8,4,1,11,1,11,12,1,1,1,1,12,12,1,1,12,12,1,12,1,13,1,1,1,4,8,8,7,8,7,1,11,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,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,5,1,1,5,1,1,6,10,8,8,10,8,12,1,4,1,1,1,4,4,1,4,1,4,1,4,1,1,7,1,1,1,4,7,1,7,1,4,1,7,1,1,6,1,1,6,1,1,6,12,8,8,12,8,12,1,9,1,1,10,4,7,12,9,1,4,10,7,12,1,8,1,1,8,1,1,8,1,8,8,1,8,1,1,11,1,1,8,4,4,8,4,8,11,1,11,1,1,10,1,1,10,1,1,12,10,1,1,10,1,12,1,13,1,1,8,4,7,8,7,8,11,1,13,1,1,12,1,1,12,1,1,12,12,1,1,12,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,0,0,0,0,0,13,11,11,13,0,3,0,3,0,0,0,0,0,0,3,0,3,0,0,4,0,0,4,0,9,7,7,9,0,0,0,0,0,5,0,0,0,5,5,0,5,0,0,0,0,0,0,6,0,0,9,5,6,0,5,9,0,0,0,0,0,7,0,0,7,0,0,7,7,0,0,0,0,0,0,8,0,0,7,5,5,7,8,0,0,0,0,0,0,9,0,0,9,0,9,0,0,9,0,0,0,0,0,10,13,3,0,0,0,0,0,0,10,0,3,13,0,11,11,0,0,0,0,0,0,0,0,11,11,0,0,12,11,3,0,0,0,0,0,0,3,11,12,0,0,13,13,0,0,0,0,0,0,0,13,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,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,2,1,2,3,1,1,3,1,1,1,1,1,1,10,12,12,10,4,1,1,1,4,1,1,4,1,4,1,1,1,1,5,1,1,1,1,5,6,8,8,6,1,1,1,1,6,1,1,1,1,6,6,1,1,6,1,1,1,1,7,1,1,1,4,8,1,7,8,4,1,1,1,1,8,1,1,1,1,8,1,8,8,1,1,1,1,1,9,1,1,1,4,6,6,4,1,9,1,1,1,1,10,1,1,10,1,1,1,1,1,1,10,1,1,10,11,1,2,12,1,1,1,1,1,1,1,11,12,2,12,1,1,12,1,1,1,1,1,1,1,12,12,1,13,1,2,10,1,1,1,1,1,1,10,2,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,1,1,1,1,1,12,10,10,12,1,2,1,2,1,1,1,1,1,1,2,1,2,1,1,5,1,1,5,1,8,6,6,8,1,1,1,1,1,4,1,1,1,4,4,1,4,1,1,1,1,1,1,7,1,1,8,4,7,1,4,8,1,1,1,1,1,6,1,1,6,1,1,6,6,1,1,1,1,1,1,9,1,1,6,4,4,6,9,1,1,1,1,1,1,8,1,1,8,1,8,1,1,8,1,1,1,1,1,11,12,2,1,1,1,1,1,1,11,1,2,12,1,10,10,1,1,1,1,1,1,1,1,10,10,1,1,13,10,2,1,1,1,1,1,1,2,10,13,1,1,12,12,1,1,1,1,1,1,1,12,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,7,9,7,7,9,7,0,0,7,0,3,0,3,0,0,3,0,3,0,0,0,0,0,0,4,0,0,4,0,4,0,0,0,4,0,12,0,0,5,7,0,0,5,11,7,7,0,7,11,0,5,0,6,9,3,4,11,6,0,3,9,4,11,12,11,0,7,7,0,0,7,0,7,7,0,7,0,0,7,0,8,7,3,0,7,3,7,8,0,7,0,0,7,0,9,9,0,0,0,9,0,0,9,0,0,0,0,0,10,7,0,4,7,4,7,7,0,10,0,12,7,0,11,0,0,0,11,11,0,0,0,0,11,0,11,0,12,0,0,12,0,12,0,0,0,12,0,12,0,0,13,7,0,0,5,11,7,7,0,7,11,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,2,1,2,1,1,1,1,3,1,1,3,6,1,6,8,8,6,1,6,6,1,4,1,1,6,4,1,6,10,1,6,10,6,4,1,5,1,1,1,1,5,1,5,1,1,1,5,1,13,6,1,1,6,6,1,6,1,1,6,1,6,6,1,7,1,2,8,10,5,1,7,8,2,10,5,10,13,8,1,1,8,1,1,1,8,8,1,1,1,1,1,9,1,2,6,6,1,6,2,1,9,1,6,6,1,10,1,1,1,10,1,1,10,1,1,10,1,10,1,11,1,1,6,6,5,6,5,1,6,1,11,6,13,12,1,1,6,4,1,6,10,1,6,10,6,12,1,13,1,1,1,1,13,1,13,1,1,1,13,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,6,8,6,6,8,6,1,1,6,1,2,1,2,1,1,2,1,2,1,1,1,1,1,1,5,1,1,5,1,5,1,1,1,5,1,13,1,1,4,6,1,1,4,10,6,6,1,6,10,1,4,1,7,8,2,5,10,7,1,2,8,5,10,13,10,1,6,6,1,1,6,1,6,6,1,6,1,1,6,1,9,6,2,1,6,2,6,9,1,6,1,1,6,1,8,8,1,1,1,8,1,1,8,1,1,1,1,1,11,6,1,5,6,5,6,6,1,11,1,13,6,1,10,1,1,1,10,10,1,1,1,1,10,1,10,1,13,1,1,13,1,13,1,1,1,13,1,13,1,1,12,6,1,1,4,10,6,6,1,6,10,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,7,9,7,7,9,7,0,9,13,0,3,0,3,0,0,3,0,3,0,0,0,3,0,0,4,0,0,4,0,4,0,0,0,4,0,4,0,0,5,7,0,0,5,11,7,7,0,7,11,11,13,0,6,9,3,4,11,6,0,3,9,4,11,6,0,0,7,7,0,0,7,0,7,7,0,7,0,0,13,0,8,7,3,0,7,3,7,8,0,7,0,3,13,0,9,9,0,0,0,9,0,0,9,0,0,9,0,0,10,7,0,4,7,4,7,7,0,10,0,4,13,0,11,0,0,0,11,11,0,0,0,0,11,11,0,0,12,9,3,4,11,6,0,3,9,4,11,12,0,0,13,13,0,0,13,0,13,13,0,13,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,2,1,2,1,1,1,2,3,1,1,3,6,1,6,8,8,6,1,6,12,8,4,1,1,6,4,1,6,10,1,6,10,6,12,10,5,1,1,1,1,5,1,5,1,1,1,5,1,5,6,1,1,6,6,1,6,1,1,6,1,6,12,1,7,1,2,8,10,5,1,7,8,2,10,5,1,7,8,1,1,8,1,1,1,8,8,1,1,1,1,8,9,1,2,6,6,1,6,2,1,9,1,6,12,2,10,1,1,1,10,1,1,10,1,1,10,1,1,10,11,1,1,6,6,5,6,5,1,6,1,11,12,5,12,1,1,12,12,1,12,1,1,12,1,12,12,1,13,1,2,8,10,5,1,7,8,2,10,5,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,6,8,6,6,8,6,1,8,12,1,2,1,2,1,1,2,1,2,1,1,1,2,1,1,5,1,1,5,1,5,1,1,1,5,1,5,1,1,4,6,1,1,4,10,6,6,1,6,10,10,12,1,7,8,2,5,10,7,1,2,8,5,10,7,1,1,6,6,1,1,6,1,6,6,1,6,1,1,12,1,9,6,2,1,6,2,6,9,1,6,1,2,12,1,8,8,1,1,1,8,1,1,8,1,1,8,1,1,11,6,1,5,6,5,6,6,1,11,1,5,12,1,10,1,1,1,10,10,1,1,1,1,10,10,1,1,13,8,2,5,10,7,1,2,8,5,10,13,1,1,12,12,1,1,12,1,12,12,1,12,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,5,0,7,0,9,0,11,0,13,0,3,0,3,3,0,3,0,3,0,3,0,3,0,0,4,0,3,4,0,6,0,8,0,10,0,12,0,0,5,5,0,0,5,0,5,0,5,0,5,0,5,0,6,0,3,6,0,6,0,3,0,3,0,3,0,0,7,7,0,0,5,0,7,0,5,0,5,0,5,0,8,0,3,8,0,3,0,8,0,3,0,3,0,0,9,9,0,0,5,0,5,0,9,0,5,0,5,0,10,0,3,10,0,3,0,3,0,10,0,3,0,0,11,11,0,0,5,0,5,0,5,0,11,0,5,0,12,0,3,12,0,3,0,3,0,3,0,12,0,0,13,13,0,0,5,0,5,0,5,0,5,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,1,2,1,2,1,2,1,2,3,1,1,3,4,1,6,1,8,1,10,1,12,1,4,1,1,4,4,1,4,1,4,1,4,1,4,1,5,1,2,1,1,5,1,7,1,9,1,11,1,13,6,1,1,6,4,1,6,1,4,1,4,1,4,1,7,1,2,1,1,7,1,7,1,2,1,2,1,2,8,1,1,8,4,1,4,1,8,1,4,1,4,1,9,1,2,1,1,9,1,2,1,9,1,2,1,2,10,1,1,10,4,1,4,1,4,1,10,1,4,1,11,1,2,1,1,11,1,2,1,2,1,11,1,2,12,1,1,12,4,1,4,1,4,1,4,1,12,1,13,1,2,1,1,13,1,2,1,2,1,2,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,4,1,6,1,8,1,10,1,12,1,2,1,2,2,1,2,1,2,1,2,1,2,1,1,5,1,2,5,1,7,1,9,1,11,1,13,1,1,4,4,1,1,4,1,4,1,4,1,4,1,4,1,7,1,2,7,1,7,1,2,1,2,1,2,1,1,6,6,1,1,4,1,6,1,4,1,4,1,4,1,9,1,2,9,1,2,1,9,1,2,1,2,1,1,8,8,1,1,4,1,4,1,8,1,4,1,4,1,11,1,2,11,1,2,1,2,1,11,1,2,1,1,10,10,1,1,4,1,4,1,4,1,10,1,4,1,13,1,2,13,1,2,1,2,1,2,1,13,1,1,12,12,1,1,4,1,4,1,4,1,4,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,5,0,7,0,9,0,11,0,13,0,3,0,3,3,0,3,0,3,0,3,0,3,0,0,4,0,3,4,0,6,0,8,0,10,0,12,0,0,5,5,0,0,5,0,5,0,5,0,5,0,5,0,6,0,3,6,0,6,0,3,0,3,0,3,0,0,7,7,0,0,5,0,7,0,5,0,5,0,5,0,8,0,3,8,0,3,0,8,0,3,0,3,0,0,9,9,0,0,5,0,5,0,9,0,5,0,5,0,10,0,3,10,0,3,0,3,0,10,0,12,0,0,11,11,0,0,5,0,5,0,5,0,11,0,11,0,12,0,3,12,0,3,0,3,0,12,0,12,0,0,13,13,0,0,5,0,5,0,5,0,11,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,1,2,1,2,1,2,1,2,3,1,1,3,4,1,6,1,8,1,10,1,12,1,4,1,1,4,4,1,4,1,4,1,4,1,4,1,5,1,2,1,1,5,1,7,1,9,1,11,1,13,6,1,1,6,4,1,6,1,4,1,4,1,4,1,7,1,2,1,1,7,1,7,1,2,1,2,1,2,8,1,1,8,4,1,4,1,8,1,4,1,4,1,9,1,2,1,1,9,1,2,1,9,1,2,1,2,10,1,1,10,4,1,4,1,4,1,10,1,10,1,11,1,2,1,1,11,1,2,1,2,1,11,1,13,12,1,1,12,4,1,4,1,4,1,10,1,12,1,13,1,2,1,1,13,1,2,1,2,1,13,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,4,1,6,1,8,1,10,1,12,1,2,1,2,2,1,2,1,2,1,2,1,2,1,1,5,1,2,5,1,7,1,9,1,11,1,13,1,1,4,4,1,1,4,1,4,1,4,1,4,1,4,1,7,1,2,7,1,7,1,2,1,2,1,2,1,1,6,6,1,1,4,1,6,1,4,1,4,1,4,1,9,1,2,9,1,2,1,9,1,2,1,2,1,1,8,8,1,1,4,1,4,1,8,1,4,1,4,1,11,1,2,11,1,2,1,2,1,11,1,13,1,1,10,10,1,1,4,1,4,1,4,1,10,1,10,1,13,1,2,13,1,2,1,2,1,13,1,13,1,1,12,12,1,1,4,1,4,1,4,1,10,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,5,0,7,0,9,0,11,0,13,0,3,0,3,3,0,3,0,3,0,3,0,3,0,0,4,0,3,4,0,6,0,8,0,10,0,4,0,0,5,5,0,0,5,0,5,0,5,0,5,0,13,0,6,0,3,6,0,6,0,3,0,3,0,6,0,0,7,7,0,0,5,0,7,0,5,0,5,0,13,0,8,0,3,8,0,3,0,8,0,3,0,8,0,0,9,9,0,0,5,0,5,0,9,0,5,0,13,0,10,0,3,10,0,3,0,3,0,10,0,10,0,0,11,11,0,0,5,0,5,0,5,0,11,0,13,0,12,0,3,4,0,6,0,8,0,10,0,12,0,0,13,13,0,0,13,0,13,0,13,0,13,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,1,2,1,2,1,2,1,2,3,1,1,3,4,1,6,1,8,1,10,1,12,1,4,1,1,4,4,1,4,1,4,1,4,1,12,1,5,1,2,1,1,5,1,7,1,9,1,11,1,5,6,1,1,6,4,1,6,1,4,1,4,1,12,1,7,1,2,1,1,7,1,7,1,2,1,2,1,7,8,1,1,8,4,1,4,1,8,1,4,1,12,1,9,1,2,1,1,9,1,2,1,9,1,2,1,9,10,1,1,10,4,1,4,1,4,1,10,1,12,1,11,1,2,1,1,11,1,2,1,2,1,11,1,11,12,1,1,12,12,1,12,1,12,1,12,1,12,1,13,1,2,1,1,5,1,7,1,9,1,11,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,4,1,6,1,8,1,10,1,12,1,2,1,2,2,1,2,1,2,1,2,1,2,1,1,5,1,2,5,1,7,1,9,1,11,1,5,1,1,4,4,1,1,4,1,4,1,4,1,4,1,12,1,7,1,2,7,1,7,1,2,1,2,1,7,1,1,6,6,1,1,4,1,6,1,4,1,4,1,12,1,9,1,2,9,1,2,1,9,1,2,1,9,1,1,8,8,1,1,4,1,4,1,8,1,4,1,12,1,11,1,2,11,1,2,1,2,1,11,1,11,1,1,10,10,1,1,4,1,4,1,4,1,10,1,12,1,13,1,2,5,1,7,1,9,1,11,1,13,1,1,12,12,1,1,12,1,12,1,12,1,12,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,5,0,7,0,9,0,11,12,0,0,3,0,3,3,0,3,0,3,0,3,0,0,3,0,4,0,3,4,0,6,0,8,0,10,0,0,13,0,5,5,0,0,5,0,5,0,5,0,5,5,0,0,6,0,3,6,0,6,0,3,0,3,0,0,3,0,7,7,0,0,5,0,7,0,5,0,5,5,0,0,8,0,3,8,0,3,0,8,0,13,0,0,13,0,9,9,0,0,5,0,5,0,9,0,5,9,0,0,10,0,3,10,0,3,0,13,0,10,0,0,13,0,11,11,0,0,5,0,5,0,5,0,11,11,0,0,12,12,0,0,5,0,5,0,9,0,11,12,0,0,13,0,3,13,0,3,0,13,0,13,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,1,2,1,2,1,2,2,1,3,1,1,3,4,1,6,1,8,1,10,1,1,13,4,1,1,4,4,1,4,1,4,1,4,1,1,4,5,1,2,1,1,5,1,7,1,9,1,11,12,1,6,1,1,6,4,1,6,1,4,1,4,1,1,4,7,1,2,1,1,7,1,7,1,2,1,2,2,1,8,1,1,8,4,1,4,1,8,1,4,1,1,8,9,1,2,1,1,9,1,2,1,9,1,12,12,1,10,1,1,10,4,1,4,1,4,1,10,1,1,10,11,1,2,1,1,11,1,2,1,12,1,11,12,1,12,1,2,1,1,12,1,2,1,12,1,12,12,1,13,1,1,13,4,1,4,1,8,1,10,1,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,4,1,6,1,8,1,10,13,1,1,2,1,2,2,1,2,1,2,1,2,1,1,2,1,5,1,2,5,1,7,1,9,1,11,1,1,12,1,4,4,1,1,4,1,4,1,4,1,4,4,1,1,7,1,2,7,1,7,1,2,1,2,1,1,2,1,6,6,1,1,4,1,6,1,4,1,4,4,1,1,9,1,2,9,1,2,1,9,1,12,1,1,12,1,8,8,1,1,4,1,4,1,8,1,4,8,1,1,11,1,2,11,1,2,1,12,1,11,1,1,12,1,10,10,1,1,4,1,4,1,4,1,10,10,1,1,13,13,1,1,4,1,4,1,8,1,10,13,1,1,12,1,2,12,1,2,1,12,1,12,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,5,0,7,0,9,0,11,0,13,0,3,0,3,3,0,3,0,3,0,3,0,3,0,0,4,0,3,4,0,6,0,8,0,10,0,12,0,0,5,5,0,0,5,0,5,0,5,0,5,0,5,0,6,0,3,6,0,6,0,3,0,3,0,3,0,0,7,7,0,0,5,0,7,0,5,0,5,0,5,0,8,0,3,8,0,3,0,8,0,10,0,12,0,0,9,9,0,0,5,0,5,0,9,0,9,0,9,0,10,0,3,10,0,3,0,10,0,10,0,12,0,0,11,11,0,0,5,0,5,0,9,0,11,0,11,0,12,0,3,12,0,3,0,12,0,12,0,12,0,0,13,13,0,0,5,0,5,0,9,0,11,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,1,2,1,2,1,2,1,2,3,1,1,3,4,1,6,1,8,1,10,1,12,1,4,1,1,4,4,1,4,1,4,1,4,1,4,1,5,1,2,1,1,5,1,7,1,9,1,11,1,13,6,1,1,6,4,1,6,1,4,1,4,1,4,1,7,1,2,1,1,7,1,7,1,2,1,2,1,2,8,1,1,8,4,1,4,1,8,1,8,1,8,1,9,1,2,1,1,9,1,2,1,9,1,11,1,13,10,1,1,10,4,1,4,1,8,1,10,1,10,1,11,1,2,1,1,11,1,2,1,11,1,11,1,13,12,1,1,12,4,1,4,1,8,1,10,1,12,1,13,1,2,1,1,13,1,2,1,13,1,13,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,4,1,6,1,8,1,10,1,12,1,2,1,2,2,1,2,1,2,1,2,1,2,1,1,5,1,2,5,1,7,1,9,1,11,1,13,1,1,4,4,1,1,4,1,4,1,4,1,4,1,4,1,7,1,2,7,1,7,1,2,1,2,1,2,1,1,6,6,1,1,4,1,6,1,4,1,4,1,4,1,9,1,2,9,1,2,1,9,1,11,1,13,1,1,8,8,1,1,4,1,4,1,8,1,8,1,8,1,11,1,2,11,1,2,1,11,1,11,1,13,1,1,10,10,1,1,4,1,4,1,8,1,10,1,10,1,13,1,2,13,1,2,1,13,1,13,1,13,1,1,12,12,1,1,4,1,4,1,8,1,10,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,5,0,7,0,9,0,11,0,13,0,3,0,3,3,0,3,0,3,0,3,0,3,0,0,4,0,3,4,0,6,0,8,0,10,0,12,0,0,5,5,0,0,5,0,5,0,5,0,5,0,5,0,6,0,3,6,0,6,0,3,0,3,0,12,0,0,7,7,0,0,5,0,7,0,5,0,5,0,7,0,8,0,3,8,0,3,0,8,0,10,0,3,0,0,9,9,0,0,5,0,5,0,9,0,9,0,5,0,10,0,3,10,0,3,0,10,0,10,0,3,0,0,11,11,0,0,5,0,5,0,9,0,11,0,5,0,12,0,3,12,0,12,0,3,0,3,0,12,0,0,13,13,0,0,5,0,7,0,5,0,5,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,1,2,1,2,1,2,1,2,3,1,1,3,4,1,6,1,8,1,10,1,12,1,4,1,1,4,4,1,4,1,4,1,4,1,4,1,5,1,2,1,1,5,1,7,1,9,1,11,1,13,6,1,1,6,4,1,6,1,4,1,4,1,6,1,7,1,2,1,1,7,1,7,1,2,1,2,1,13,8,1,1,8,4,1,4,1,8,1,8,1,4,1,9,1,2,1,1,9,1,2,1,9,1,11,1,2,10,1,1,10,4,1,4,1,8,1,10,1,4,1,11,1,2,1,1,11,1,2,1,11,1,11,1,2,12,1,1,12,4,1,6,1,4,1,4,1,12,1,13,1,2,1,1,13,1,13,1,2,1,2,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,4,1,6,1,8,1,10,1,12,1,2,1,2,2,1,2,1,2,1,2,1,2,1,1,5,1,2,5,1,7,1,9,1,11,1,13,1,1,4,4,1,1,4,1,4,1,4,1,4,1,4,1,7,1,2,7,1,7,1,2,1,2,1,13,1,1,6,6,1,1,4,1,6,1,4,1,4,1,6,1,9,1,2,9,1,2,1,9,1,11,1,2,1,1,8,8,1,1,4,1,4,1,8,1,8,1,4,1,11,1,2,11,1,2,1,11,1,11,1,2,1,1,10,10,1,1,4,1,4,1,8,1,10,1,4,1,13,1,2,13,1,13,1,2,1,2,1,13,1,1,12,12,1,1,4,1,6,1,4,1,4,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,5,0,7,0,9,0,11,0,13,0,3,0,3,3,0,3,0,3,0,3,0,3,0,0,4,0,3,4,0,6,0,8,0,10,0,4,0,0,5,5,0,0,5,0,5,0,5,0,5,0,13,0,6,0,3,6,0,6,0,3,0,3,0,6,0,0,7,7,0,0,5,0,7,0,5,0,5,0,13,0,8,0,3,8,0,3,0,8,0,10,0,8,0,0,9,9,0,0,5,0,5,0,9,0,9,0,13,0,10,0,3,10,0,3,0,10,0,10,0,10,0,0,11,11,0,0,5,0,5,0,9,0,11,0,13,0,12,0,3,4,0,6,0,8,0,10,0,12,0,0,13,13,0,0,13,0,13,0,13,0,13,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,1,2,1,2,1,2,1,2,3,1,1,3,4,1,6,1,8,1,10,1,12,1,4,1,1,4,4,1,4,1,4,1,4,1,12,1,5,1,2,1,1,5,1,7,1,9,1,11,1,5,6,1,1,6,4,1,6,1,4,1,4,1,12,1,7,1,2,1,1,7,1,7,1,2,1,2,1,7,8,1,1,8,4,1,4,1,8,1,8,1,12,1,9,1,2,1,1,9,1,2,1,9,1,11,1,9,10,1,1,10,4,1,4,1,8,1,10,1,12,1,11,1,2,1,1,11,1,2,1,11,1,11,1,11,12,1,1,12,12,1,12,1,12,1,12,1,12,1,13,1,2,1,1,5,1,7,1,9,1,11,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,4,1,6,1,8,1,10,1,12,1,2,1,2,2,1,2,1,2,1,2,1,2,1,1,5,1,2,5,1,7,1,9,1,11,1,5,1,1,4,4,1,1,4,1,4,1,4,1,4,1,12,1,7,1,2,7,1,7,1,2,1,2,1,7,1,1,6,6,1,1,4,1,6,1,4,1,4,1,12,1,9,1,2,9,1,2,1,9,1,11,1,9,1,1,8,8,1,1,4,1,4,1,8,1,8,1,12,1,11,1,2,11,1,2,1,11,1,11,1,11,1,1,10,10,1,1,4,1,4,1,8,1,10,1,12,1,13,1,2,5,1,7,1,9,1,11,1,13,1,1,12,12,1,1,12,1,12,1,12,1,12,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,5,0,7,0,9,0,11,12,0,0,3,0,3,3,0,3,0,3,0,3,0,0,3,0,4,0,3,4,0,6,0,8,0,10,0,0,13,0,5,5,0,0,5,0,5,0,5,0,5,5,0,0,6,0,3,6,0,6,0,3,0,13,0,0,13,0,7,7,0,0,5,0,7,0,5,0,5,7,0,0,8,0,3,8,0,3,0,8,0,8,0,0,3,0,9,9,0,0,5,0,5,0,9,0,11,11,0,0,10,0,3,10,0,13,0,8,0,10,0,0,13,0,11,11,0,0,5,0,5,0,11,0,11,11,0,0,12,12,0,0,5,0,7,0,11,0,11,12,0,0,13,0,3,13,0,13,0,3,0,13,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,1,2,1,2,1,2,2,1,3,1,1,3,4,1,6,1,8,1,10,1,1,13,4,1,1,4,4,1,4,1,4,1,4,1,1,4,5,1,2,1,1,5,1,7,1,9,1,11,12,1,6,1,1,6,4,1,6,1,4,1,4,1,1,6,7,1,2,1,1,7,1,7,1,2,1,12,12,1,8,1,1,8,4,1,4,1,8,1,10,1,1,10,9,1,2,1,1,9,1,2,1,9,1,9,2,1,10,1,1,10,4,1,4,1,10,1,10,1,1,10,11,1,2,1,1,11,1,12,1,9,1,11,12,1,12,1,2,1,1,12,1,12,1,2,1,12,12,1,13,1,1,13,4,1,6,1,10,1,10,1,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,4,1,6,1,8,1,10,13,1,1,2,1,2,2,1,2,1,2,1,2,1,1,2,1,5,1,2,5,1,7,1,9,1,11,1,1,12,1,4,4,1,1,4,1,4,1,4,1,4,4,1,1,7,1,2,7,1,7,1,2,1,12,1,1,12,1,6,6,1,1,4,1,6,1,4,1,4,6,1,1,9,1,2,9,1,2,1,9,1,9,1,1,2,1,8,8,1,1,4,1,4,1,8,1,10,10,1,1,11,1,2,11,1,12,1,9,1,11,1,1,12,1,10,10,1,1,4,1,4,1,10,1,10,10,1,1,13,13,1,1,4,1,6,1,10,1,10,13,1,1,12,1,2,12,1,12,1,2,1,12,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,5,0,7,0,9,0,11,0,13,0,3,0,3,3,0,3,0,3,0,3,0,3,0,0,4,0,3,4,0,6,0,8,0,4,0,4,0,0,5,5,0,0,5,0,5,0,5,0,11,0,13,0,6,0,3,6,0,6,0,3,0,6,0,6,0,0,7,7,0,0,5,0,7,0,5,0,11,0,13,0,8,0,3,8,0,3,0,8,0,8,0,8,0,0,9,9,0,0,5,0,5,0,9,0,11,0,13,0,10,0,3,4,0,6,0,8,0,10,0,12,0,0,11,11,0,0,11,0,11,0,11,0,11,0,11,0,12,0,3,4,0,6,0,8,0,12,0,12,0,0,13,13,0,0,13,0,13,0,13,0,11,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,1,2,1,2,1,2,1,2,3,1,1,3,4,1,6,1,8,1,10,1,12,1,4,1,1,4,4,1,4,1,4,1,10,1,12,1,5,1,2,1,1,5,1,7,1,9,1,5,1,5,6,1,1,6,4,1,6,1,4,1,10,1,12,1,7,1,2,1,1,7,1,7,1,2,1,7,1,7,8,1,1,8,4,1,4,1,8,1,10,1,12,1,9,1,2,1,1,9,1,2,1,9,1,9,1,9,10,1,1,10,10,1,10,1,10,1,10,1,10,1,11,1,2,1,1,5,1,7,1,9,1,11,1,13,12,1,1,12,12,1,12,1,12,1,10,1,12,1,13,1,2,1,1,5,1,7,1,9,1,13,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,4,1,6,1,8,1,10,1,12,1,2,1,2,2,1,2,1,2,1,2,1,2,1,1,5,1,2,5,1,7,1,9,1,5,1,5,1,1,4,4,1,1,4,1,4,1,4,1,10,1,12,1,7,1,2,7,1,7,1,2,1,7,1,7,1,1,6,6,1,1,4,1,6,1,4,1,10,1,12,1,9,1,2,9,1,2,1,9,1,9,1,9,1,1,8,8,1,1,4,1,4,1,8,1,10,1,12,1,11,1,2,5,1,7,1,9,1,11,1,13,1,1,10,10,1,1,10,1,10,1,10,1,10,1,10,1,13,1,2,5,1,7,1,9,1,13,1,13,1,1,12,12,1,1,12,1,12,1,12,1,10,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,5,0,7,0,9,0,11,0,2,0,3,0,3,3,0,3,0,3,0,3,0,12,0,0,4,0,3,4,0,6,0,8,0,4,0,12,0,0,5,5,0,0,5,0,5,0,5,0,11,0,5,0,6,0,3,6,0,6,0,3,0,6,0,12,0,0,7,7,0,0,5,0,7,0,5,0,11,0,7,0,8,0,3,8,0,3,0,8,0,8,0,12,0,0,9,9,0,0,5,0,5,0,9,0,11,0,9,0,10,0,3,4,0,6,0,8,0,10,0,12,0,0,11,11,0,0,11,0,11,0,11,0,11,0,11,0,12,0,12,12,0,12,0,12,0,12,0,12,0,0,13,2,0,0,5,0,7,0,9,0,11,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,1,2,1,2,1,2,1,13,3,1,1,3,4,1,6,1,8,1,10,1,3,1,4,1,1,4,4,1,4,1,4,1,10,1,4,1,5,1,2,1,1,5,1,7,1,9,1,5,1,13,6,1,1,6,4,1,6,1,4,1,10,1,6,1,7,1,2,1,1,7,1,7,1,2,1,7,1,13,8,1,1,8,4,1,4,1,8,1,10,1,8,1,9,1,2,1,1,9,1,2,1,9,1,9,1,13,10,1,1,10,10,1,10,1,10,1,10,1,10,1,11,1,2,1,1,5,1,7,1,9,1,11,1,13,12,1,1,3,4,1,6,1,8,1,10,1,12,1,13,1,13,1,1,13,1,13,1,13,1,13,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,4,1,6,1,8,1,10,1,3,1,2,1,2,2,1,2,1,2,1,2,1,13,1,1,5,1,2,5,1,7,1,9,1,5,1,13,1,1,4,4,1,1,4,1,4,1,4,1,10,1,4,1,7,1,2,7,1,7,1,2,1,7,1,13,1,1,6,6,1,1,4,1,6,1,4,1,10,1,6,1,9,1,2,9,1,2,1,9,1,9,1,13,1,1,8,8,1,1,4,1,4,1,8,1,10,1,8,1,11,1,2,5,1,7,1,9,1,11,1,13,1,1,10,10,1,1,10,1,10,1,10,1,10,1,10,1,13,1,13,13,1,13,1,13,1,13,1,13,1,1,12,3,1,1,4,1,6,1,8,1,10,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,5,0,7,0,9,13,11,11,13,0,3,0,3,3,0,3,0,3,0,3,0,3,0,0,4,0,3,4,0,6,0,8,0,4,0,4,0,0,5,5,0,0,5,0,5,0,5,13,11,11,13,0,6,0,3,6,0,6,0,3,0,6,0,6,0,0,7,7,0,0,5,0,7,0,5,13,11,11,13,0,8,0,3,8,0,3,0,8,0,8,0,8,0,0,9,9,0,0,5,0,5,0,9,13,11,11,13,0,10,13,3,4,13,6,13,8,13,10,0,4,13,0,11,11,0,0,11,0,11,0,11,0,11,11,0,0,12,11,3,4,11,6,11,8,11,4,11,12,0,0,13,13,0,0,13,0,13,0,13,13,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,1,2,1,2,1,2,1,2,3,1,1,3,4,1,6,1,8,1,10,12,12,10,4,1,1,4,4,1,4,1,4,1,10,12,12,10,5,1,2,1,1,5,1,7,1,9,1,5,1,5,6,1,1,6,4,1,6,1,4,1,10,12,12,10,7,1,2,1,1,7,1,7,1,2,1,7,1,7,8,1,1,8,4,1,4,1,8,1,10,12,12,10,9,1,2,1,1,9,1,2,1,9,1,9,1,9,10,1,1,10,10,1,10,1,10,1,10,1,1,10,11,1,2,12,12,5,12,7,12,9,1,11,12,5,12,1,1,12,12,1,12,1,12,1,1,12,12,1,13,1,2,10,10,5,10,7,10,9,10,5,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,4,1,6,1,8,12,10,10,12,1,2,1,2,2,1,2,1,2,1,2,1,2,1,1,5,1,2,5,1,7,1,9,1,5,1,5,1,1,4,4,1,1,4,1,4,1,4,12,10,10,12,1,7,1,2,7,1,7,1,2,1,7,1,7,1,1,6,6,1,1,4,1,6,1,4,12,10,10,12,1,9,1,2,9,1,2,1,9,1,9,1,9,1,1,8,8,1,1,4,1,4,1,8,12,10,10,12,1,11,12,2,5,12,7,12,9,12,11,1,5,12,1,10,10,1,1,10,1,10,1,10,1,10,10,1,1,13,10,2,5,10,7,10,9,10,5,10,13,1,1,12,12,1,1,12,1,12,1,12,12,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,5,0,7,0,9,0,11,0,13,0,3,0,3,3,0,3,0,3,0,3,0,3,0,0,4,0,3,4,0,6,0,8,0,10,0,12,0,0,5,5,0,0,5,0,5,0,5,0,5,0,5,0,6,0,3,6,0,6,0,8,0,10,0,12,0,0,7,7,0,0,5,0,7,0,7,0,7,0,7,0,8,0,3,8,0,8,0,8,0,10,0,12,0,0,9,9,0,0,5,0,7,0,9,0,9,0,9,0,10,0,3,10,0,10,0,10,0,10,0,12,0,0,11,11,0,0,5,0,7,0,9,0,11,0,11,0,12,0,3,12,0,12,0,12,0,12,0,12,0,0,13,13,0,0,5,0,7,0,9,0,11,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,1,2,1,2,1,2,1,2,3,1,1,3,4,1,6,1,8,1,10,1,12,1,4,1,1,4,4,1,4,1,4,1,4,1,4,1,5,1,2,1,1,5,1,7,1,9,1,11,1,13,6,1,1,6,4,1,6,1,6,1,6,1,6,1,7,1,2,1,1,7,1,7,1,9,1,11,1,13,8,1,1,8,4,1,6,1,8,1,8,1,8,1,9,1,2,1,1,9,1,9,1,9,1,11,1,13,10,1,1,10,4,1,6,1,8,1,10,1,10,1,11,1,2,1,1,11,1,11,1,11,1,11,1,13,12,1,1,12,4,1,6,1,8,1,10,1,12,1,13,1,2,1,1,13,1,13,1,13,1,13,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,4,1,6,1,8,1,10,1,12,1,2,1,2,2,1,2,1,2,1,2,1,2,1,1,5,1,2,5,1,7,1,9,1,11,1,13,1,1,4,4,1,1,4,1,4,1,4,1,4,1,4,1,7,1,2,7,1,7,1,9,1,11,1,13,1,1,6,6,1,1,4,1,6,1,6,1,6,1,6,1,9,1,2,9,1,9,1,9,1,11,1,13,1,1,8,8,1,1,4,1,6,1,8,1,8,1,8,1,11,1,2,11,1,11,1,11,1,11,1,13,1,1,10,10,1,1,4,1,6,1,8,1,10,1,10,1,13,1,2,13,1,13,1,13,1,13,1,13,1,1,12,12,1,1,4,1,6,1,8,1,10,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,5,0,7,0,9,13,11,11,13,0,3,0,3,3,0,3,0,3,0,3,0,3,0,0,4,0,3,4,0,6,0,8,0,4,0,4,0,0,5,5,0,0,5,0,5,0,5,13,11,11,13,0,6,0,3,6,0,6,0,8,0,6,0,6,0,0,7,7,0,0,5,0,7,0,7,13,11,11,13,0,8,0,3,8,0,8,0,8,0,8,0,8,0,0,9,9,0,0,5,0,7,0,9,13,11,11,13,0,10,13,3,4,13,6,13,8,13,10,0,4,13,0,11,11,0,0,11,0,11,0,11,0,11,11,0,0,12,11,3,4,11,6,11,8,11,4,11,12,0,0,13,13,0,0,13,0,13,0,13,13,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,1,2,1,2,1,2,1,2,3,1,1,3,4,1,6,1,8,1,10,12,12,10,4,1,1,4,4,1,4,1,4,1,10,12,12,10,5,1,2,1,1,5,1,7,1,9,1,5,1,5,6,1,1,6,4,1,6,1,6,1,10,12,12,10,7,1,2,1,1,7,1,7,1,9,1,7,1,7,8,1,1,8,4,1,6,1,8,1,10,12,12,10,9,1,2,1,1,9,1,9,1,9,1,9,1,9,10,1,1,10,10,1,10,1,10,1,10,1,1,10,11,1,2,12,12,5,12,7,12,9,1,11,12,5,12,1,1,12,12,1,12,1,12,1,1,12,12,1,13,1,2,10,10,5,10,7,10,9,10,5,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,4,1,6,1,8,12,10,10,12,1,2,1,2,2,1,2,1,2,1,2,1,2,1,1,5,1,2,5,1,7,1,9,1,5,1,5,1,1,4,4,1,1,4,1,4,1,4,12,10,10,12,1,7,1,2,7,1,7,1,9,1,7,1,7,1,1,6,6,1,1,4,1,6,1,6,12,10,10,12,1,9,1,2,9,1,9,1,9,1,9,1,9,1,1,8,8,1,1,4,1,6,1,8,12,10,10,12,1,11,12,2,5,12,7,12,9,12,11,1,5,12,1,10,10,1,1,10,1,10,1,10,1,10,10,1,1,13,10,2,5,10,7,10,9,10,5,10,13,1,1,12,12,1,1,12,1,12,1,12,12,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,5,0,7,11,9,9,11,11,13,0,3,0,3,3,0,3,0,3,0,3,0,3,0,0,4,0,3,4,0,6,0,4,0,4,0,4,0,0,5,5,0,0,5,0,5,11,9,9,11,11,13,0,6,0,3,6,0,6,0,6,0,6,0,6,0,0,7,7,0,0,5,0,7,11,9,9,11,11,13,0,8,11,3,4,11,6,11,8,0,4,11,8,0,0,9,9,0,0,9,0,9,0,9,9,0,0,13,0,10,9,3,4,9,6,9,4,9,10,0,4,13,0,11,11,0,0,11,0,11,11,0,0,11,11,0,0,12,11,3,4,11,6,11,8,0,4,11,12,0,0,13,13,0,0,13,0,13,0,13,13,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,1,2,1,2,1,2,1,2,3,1,1,3,4,1,6,1,8,10,10,8,12,10,4,1,1,4,4,1,4,1,8,10,10,8,12,10,5,1,2,1,1,5,1,7,1,5,1,5,1,5,6,1,1,6,4,1,6,1,8,10,10,8,12,10,7,1,2,1,1,7,1,7,1,7,1,7,1,7,8,1,1,8,8,1,8,1,8,1,1,8,12,1,9,1,2,10,10,5,10,7,1,9,10,5,1,9,10,1,1,10,10,1,10,1,1,10,10,1,1,10,11,1,2,8,8,5,8,7,8,5,1,11,12,5,12,1,1,12,12,1,12,1,12,1,1,12,12,1,13,1,2,10,10,5,10,7,1,9,10,5,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,4,1,6,10,8,8,10,10,12,1,2,1,2,2,1,2,1,2,1,2,1,2,1,1,5,1,2,5,1,7,1,5,1,5,1,5,1,1,4,4,1,1,4,1,4,10,8,8,10,10,12,1,7,1,2,7,1,7,1,7,1,7,1,7,1,1,6,6,1,1,4,1,6,10,8,8,10,10,12,1,9,10,2,5,10,7,10,9,1,5,10,9,1,1,8,8,1,1,8,1,8,1,8,8,1,1,12,1,11,8,2,5,8,7,8,5,8,11,1,5,12,1,10,10,1,1,10,1,10,10,1,1,10,10,1,1,13,10,2,5,10,7,10,9,1,5,10,13,1,1,12,12,1,1,12,1,12,1,12,12,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,5,0,7,11,9,9,11,9,13,0,3,0,3,3,0,3,0,3,0,3,0,3,0,0,4,0,3,4,0,6,0,4,0,6,0,4,0,0,5,5,0,0,5,0,5,13,9,9,13,9,13,0,6,0,3,6,0,6,0,6,0,6,0,6,0,0,7,7,0,0,5,0,7,11,9,9,11,9,13,0,8,11,3,4,13,6,11,8,0,6,11,4,13,0,9,9,0,0,9,0,9,0,9,9,0,9,0,0,10,9,3,6,9,6,9,6,9,10,0,10,0,0,11,11,0,0,13,0,11,11,0,0,11,0,13,0,12,9,3,4,9,6,9,4,9,10,0,12,0,0,13,13,0,0,13,0,13,13,0,0,13,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,1,2,1,2,1,2,1,2,3,1,1,3,4,1,6,1,8,10,10,8,12,8,4,1,1,4,4,1,4,1,8,12,12,8,12,8,5,1,2,1,1,5,1,7,1,5,1,7,1,5,6,1,1,6,4,1,6,1,8,10,10,8,12,8,7,1,2,1,1,7,1,7,1,7,1,7,1,7,8,1,1,8,8,1,8,1,8,1,1,8,1,8,9,1,2,10,12,5,10,7,1,9,10,7,12,5,10,1,1,10,12,1,10,1,1,10,10,1,12,1,11,1,2,8,8,7,8,7,8,7,1,11,1,11,12,1,1,12,12,1,12,1,1,12,12,1,12,1,13,1,2,8,8,5,8,7,8,5,1,11,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,4,1,6,10,8,8,10,8,12,1,2,1,2,2,1,2,1,2,1,2,1,2,1,1,5,1,2,5,1,7,1,5,1,7,1,5,1,1,4,4,1,1,4,1,4,12,8,8,12,8,12,1,7,1,2,7,1,7,1,7,1,7,1,7,1,1,6,6,1,1,4,1,6,10,8,8,10,8,12,1,9,10,2,5,12,7,10,9,1,7,10,5,12,1,8,8,1,1,8,1,8,1,8,8,1,8,1,1,11,8,2,7,8,7,8,7,8,11,1,11,1,1,10,10,1,1,12,1,10,10,1,1,10,1,12,1,13,8,2,5,8,7,8,5,8,11,1,13,1,1,12,12,1,1,12,1,12,12,1,1,12,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,5,0,7,11,9,9,11,9,13,0,3,0,3,3,0,3,0,3,0,3,0,3,0,0,4,0,3,4,0,6,0,4,0,3,0,4,0,0,5,5,0,0,5,0,5,13,9,9,13,9,13,0,6,0,3,6,0,6,0,6,0,3,0,6,0,0,7,7,0,0,5,0,7,13,9,9,13,9,13,0,8,11,3,4,13,6,13,8,0,3,11,4,13,0,9,9,0,0,9,0,9,0,9,9,0,9,0,0,10,9,3,3,9,3,9,3,9,10,0,10,0,0,11,11,0,0,13,0,13,11,0,0,11,0,13,0,12,9,3,4,9,6,9,4,9,10,0,12,0,0,13,13,0,0,13,0,13,13,0,0,13,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,1,2,1,2,1,2,1,2,3,1,1,3,4,1,6,1,8,10,10,8,12,8,4,1,1,4,4,1,4,1,8,12,12,8,12,8,5,1,2,1,1,5,1,7,1,5,1,2,1,5,6,1,1,6,4,1,6,1,8,12,12,8,12,8,7,1,2,1,1,7,1,7,1,7,1,2,1,7,8,1,1,8,8,1,8,1,8,1,1,8,1,8,9,1,2,10,12,5,12,7,1,9,10,2,12,5,10,1,1,10,12,1,12,1,1,10,10,1,12,1,11,1,2,8,8,2,8,2,8,2,1,11,1,11,12,1,1,12,12,1,12,1,1,12,12,1,12,1,13,1,2,8,8,5,8,7,8,5,1,11,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,4,1,6,10,8,8,10,8,12,1,2,1,2,2,1,2,1,2,1,2,1,2,1,1,5,1,2,5,1,7,1,5,1,2,1,5,1,1,4,4,1,1,4,1,4,12,8,8,12,8,12,1,7,1,2,7,1,7,1,7,1,2,1,7,1,1,6,6,1,1,4,1,6,12,8,8,12,8,12,1,9,10,2,5,12,7,12,9,1,2,10,5,12,1,8,8,1,1,8,1,8,1,8,8,1,8,1,1,11,8,2,2,8,2,8,2,8,11,1,11,1,1,10,10,1,1,12,1,12,10,1,1,10,1,12,1,13,8,2,5,8,7,8,5,8,11,1,13,1,1,12,12,1,1,12,1,12,12,1,1,12,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,5,9,7,7,9,9,11,7,13,0,3,0,3,3,0,3,0,3,0,3,0,3,0,0,4,0,3,4,0,4,0,4,0,4,0,4,0,0,5,5,0,0,5,9,7,7,9,9,11,7,13,0,6,9,3,4,9,6,0,4,9,6,0,4,13,0,7,7,0,0,7,0,7,7,0,0,11,7,0,0,8,7,3,4,7,4,7,8,0,4,11,8,0,0,9,9,0,0,9,9,0,0,9,9,0,0,13,0,10,9,3,4,9,6,0,4,9,10,0,4,13,0,11,11,0,0,11,0,11,11,0,0,11,11,0,0,12,7,3,4,7,4,7,8,0,4,11,12,0,0,13,13,0,0,13,13,0,0,13,13,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,1,2,1,2,1,2,1,2,3,1,1,3,4,1,6,8,8,6,10,8,12,6,4,1,1,4,4,1,6,8,8,6,10,8,12,6,5,1,2,1,1,5,1,5,1,5,1,5,1,5,6,1,1,6,6,1,6,1,1,6,10,1,1,6,7,1,2,8,8,5,1,7,8,5,1,7,12,5,8,1,1,8,8,1,1,8,8,1,1,8,12,1,9,1,2,6,6,5,6,5,1,9,10,5,1,9,10,1,1,10,10,1,10,1,1,10,10,1,1,10,11,1,2,8,8,5,1,7,8,5,1,11,12,5,12,1,1,12,12,1,1,12,12,1,1,12,12,1,13,1,2,6,6,5,6,5,1,9,10,5,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,4,8,6,6,8,8,10,6,12,1,2,1,2,2,1,2,1,2,1,2,1,2,1,1,5,1,2,5,1,5,1,5,1,5,1,5,1,1,4,4,1,1,4,8,6,6,8,8,10,6,12,1,7,8,2,5,8,7,1,5,8,7,1,5,12,1,6,6,1,1,6,1,6,6,1,1,10,6,1,1,9,6,2,5,6,5,6,9,1,5,10,9,1,1,8,8,1,1,8,8,1,1,8,8,1,1,12,1,11,8,2,5,8,7,1,5,8,11,1,5,12,1,10,10,1,1,10,1,10,10,1,1,10,10,1,1,13,6,2,5,6,5,6,9,1,5,10,13,1,1,12,12,1,1,12,12,1,1,12,12,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,5,9,7,7,9,13,11,11,13,0,3,0,3,3,0,3,0,3,0,3,0,3,0,0,4,0,3,4,0,4,0,4,0,4,0,3,0,0,5,5,0,0,5,9,7,7,9,9,11,11,9,0,6,9,3,4,9,6,0,4,9,6,0,3,9,0,7,7,0,0,7,0,7,7,0,0,11,11,0,0,8,7,3,4,7,4,7,8,0,4,11,12,0,0,9,9,0,0,9,9,0,0,9,9,0,0,9,0,10,13,3,4,9,6,0,4,9,10,0,3,13,0,11,11,0,0,11,0,11,11,0,0,11,11,0,0,12,11,3,3,11,3,11,12,0,3,11,12,0,0,13,13,0,0,9,9,0,0,9,13,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,1,2,1,2,1,2,1,2,3,1,1,3,4,1,6,8,8,6,10,12,12,10,4,1,1,4,4,1,6,8,8,6,10,8,8,10,5,1,2,1,1,5,1,5,1,5,1,5,1,2,6,1,1,6,6,1,6,1,1,6,10,1,1,10,7,1,2,8,8,5,1,7,8,5,1,7,8,2,8,1,1,8,8,1,1,8,8,1,1,8,8,1,9,1,2,6,6,5,6,5,1,9,10,5,1,13,10,1,1,10,10,1,10,1,1,10,10,1,1,10,11,1,2,12,8,5,1,7,8,5,1,11,12,2,12,1,1,12,8,1,1,8,8,1,1,12,12,1,13,1,2,10,10,2,10,2,1,13,10,2,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,4,8,6,6,8,12,10,10,12,1,2,1,2,2,1,2,1,2,1,2,1,2,1,1,5,1,2,5,1,5,1,5,1,5,1,2,1,1,4,4,1,1,4,8,6,6,8,8,10,10,8,1,7,8,2,5,8,7,1,5,8,7,1,2,8,1,6,6,1,1,6,1,6,6,1,1,10,10,1,1,9,6,2,5,6,5,6,9,1,5,10,13,1,1,8,8,1,1,8,8,1,1,8,8,1,1,8,1,11,12,2,5,8,7,1,5,8,11,1,2,12,1,10,10,1,1,10,1,10,10,1,1,10,10,1,1,13,10,2,2,10,2,10,13,1,2,10,13,1,1,12,12,1,1,8,8,1,1,8,12,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,5,9,7,7,9,13,11,11,13,0,3,0,3,3,0,3,0,3,0,3,0,3,0,0,4,0,3,4,0,4,0,4,0,4,0,4,0,0,5,5,0,0,5,9,7,7,9,13,11,11,13,0,6,9,3,4,9,6,0,4,9,6,0,4,9,0,7,7,0,0,7,0,7,7,0,0,11,11,0,0,8,7,3,4,7,4,7,8,0,4,11,12,0,0,9,9,0,0,9,9,0,0,9,9,0,0,9,0,10,13,3,4,13,6,0,4,9,10,0,4,13,0,11,11,0,0,11,0,11,11,0,0,11,11,0,0,12,11,3,4,11,4,11,12,0,4,11,12,0,0,13,13,0,0,13,9,0,0,9,13,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,1,2,1,2,1,2,1,2,3,1,1,3,4,1,6,8,8,6,10,12,12,10,4,1,1,4,4,1,6,8,8,6,10,12,12,10,5,1,2,1,1,5,1,5,1,5,1,5,1,5,6,1,1,6,6,1,6,1,1,6,10,1,1,10,7,1,2,8,8,5,1,7,8,5,1,7,8,5,8,1,1,8,8,1,1,8,8,1,1,8,8,1,9,1,2,6,6,5,6,5,1,9,10,5,1,13,10,1,1,10,10,1,10,1,1,10,10,1,1,10,11,1,2,12,12,5,1,7,8,5,1,11,12,5,12,1,1,12,12,1,1,8,8,1,1,12,12,1,13,1,2,10,10,5,10,5,1,13,10,5,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,4,8,6,6,8,12,10,10,12,1,2,1,2,2,1,2,1,2,1,2,1,2,1,1,5,1,2,5,1,5,1,5,1,5,1,5,1,1,4,4,1,1,4,8,6,6,8,12,10,10,12,1,7,8,2,5,8,7,1,5,8,7,1,5,8,1,6,6,1,1,6,1,6,6,1,1,10,10,1,1,9,6,2,5,6,5,6,9,1,5,10,13,1,1,8,8,1,1,8,8,1,1,8,8,1,1,8,1,11,12,2,5,12,7,1,5,8,11,1,5,12,1,10,10,1,1,10,1,10,10,1,1,10,10,1,1,13,10,2,5,10,5,10,13,1,5,10,13,1,1,12,12,1,1,12,8,1,1,8,12,1,1,12])]).
interpretation(14, [
    function(^(_,_), [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,0,2,2,0,0,5,9,7,7,9,13,11,11,13,0,3,0,3,3,0,3,0,3,0,3,0,3,0,0,4,0,3,4,0,4,0,3,0,4,0,3,0,0,5,5,0,0,5,11,7,7,11,7,11,11,7,0,6,9,3,4,11,6,0,3,9,4,11,12,0,0,7,7,0,0,7,0,7,7,0,7,0,0,7,0,8,7,3,3,7,3,7,8,0,8,0,3,7,0,9,9,0,0,11,9,0,0,9,0,11,11,0,0,10,13,3,4,7,4,7,8,0,10,0,3,13,0,11,11,0,0,11,11,0,0,11,0,11,11,0,0,12,11,3,3,11,12,0,3,11,3,11,12,0,0,13,13,0,0,7,0,7,7,0,13,0,0,13]),
    function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,1,2,1,2,1,2,1,2,3,1,1,3,4,1,6,8,8,6,10,12,12,10,4,1,1,4,4,1,6,10,10,6,10,6,6,10,5,1,2,1,1,5,1,5,1,2,1,5,1,2,6,1,1,6,6,1,6,1,1,6,1,6,6,1,7,1,2,8,10,5,1,7,8,2,10,5,1,13,8,1,1,8,10,1,1,8,8,1,10,1,1,10,9,1,2,6,6,2,6,2,1,9,1,9,6,2,10,1,1,10,10,1,1,10,10,1,10,1,1,10,11,1,2,12,6,5,6,5,1,9,1,11,12,2,12,1,1,12,6,1,6,1,1,6,1,12,12,1,13,1,2,10,10,2,1,13,10,2,10,2,1,13]),
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12]),
    function(f(_,_), [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,1,3,3,1,1,4,8,6,6,8,12,10,10,12,1,2,1,2,2,1,2,1,2,1,2,1,2,1,1,5,1,2,5,1,5,1,2,1,5,1,2,1,1,4,4,1,1,4,10,6,6,10,6,10,10,6,1,7,8,2,5,10,7,1,2,8,5,10,13,1,1,6,6,1,1,6,1,6,6,1,6,1,1,6,1,9,6,2,2,6,2,6,9,1,9,1,2,6,1,8,8,1,1,10,8,1,1,8,1,10,10,1,1,11,12,2,5,6,5,6,9,1,11,1,2,12,1,10,10,1,1,10,10,1,1,10,1,10,10,1,1,13,10,2,2,10,13,1,2,10,2,10,13,1,1,12,12,1,1,6,1,6,6,1,12,1,1,12])]).
% interpfilter t1.in models: checked 311, passed 47, 3.28 seconds.