interpretation(12, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10]), function(^(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,0,0,0,0,0,0,0,0,3,0,3,0,0,0,0,0,0,0,0,0,4,0,0,4,0,0,0,0,0,0,0,0,5,0,0,0,5,0,0,0,0,0,0,0,6,0,0,0,0,6,0,0,0,0,0,0,7,0,0,0,0,0,7,0,0,0,0,0,8,0,0,0,0,0,0,8,0,0,0,0,9,0,0,0,0,0,0,0,9,0,0,0,10,0,0,0,0,0,0,0,0,10,0,0,11,0,0,0,0,0,0,0,0,0,11]), function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,3,1,1,3,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,5,1,1,1,1,5,1,1,1,1,1,1,6,1,1,1,1,1,6,1,1,1,1,1,7,1,1,1,1,1,1,7,1,1,1,1,8,1,1,1,1,1,1,1,8,1,1,1,9,1,1,1,1,1,1,1,1,9,1,1,10,1,1,1,1,1,1,1,1,1,10,1,11,1,1,1,1,1,1,1,1,1,1,11]), function(f(_,_), [1,1,1,1,1,1,1,1,1,1,1,1,1,0,3,2,5,4,7,6,9,8,11,10,1,3,3,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,5,1,1,5,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,7,1,1,1,1,7,1,1,1,1,1,1,6,1,1,1,1,1,6,1,1,1,1,1,9,1,1,1,1,1,1,9,1,1,1,1,8,1,1,1,1,1,1,1,8,1,1,1,11,1,1,1,1,1,1,1,1,11,1,1,10,1,1,1,1,1,1,1,1,1,10]), function(m(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,0,0,0,0,0,0,0,0,3,0,3,0,0,0,0,0,0,0,0,0,4,0,0,4,0,0,0,0,0,0,0,0,5,0,0,0,5,0,0,0,0,0,0,0,6,0,0,0,0,6,0,0,0,0,0,0,7,0,0,0,0,0,7,0,0,0,0,0,8,0,0,0,0,0,0,8,0,0,0,0,9,0,0,0,0,0,0,0,9,0,0,0,10,0,0,0,0,0,0,0,0,10,0,0,11,0,0,0,0,0,0,0,0,0,11]), function(j(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,3,1,1,3,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,5,1,1,1,1,5,1,1,1,1,1,1,6,1,1,1,1,1,6,1,1,1,1,1,7,1,1,1,1,1,1,7,1,1,1,1,8,1,1,1,1,1,1,1,8,1,1,1,9,1,1,1,1,1,1,1,1,9,1,1,10,1,1,1,1,1,1,1,1,1,10,1,11,1,1,1,1,1,1,1,1,1,1,11])]). interpretation(12, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10]), function(^(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,0,0,0,0,0,0,0,0,3,0,3,0,0,0,0,0,0,0,0,0,4,0,0,4,0,0,0,0,0,0,0,0,5,0,0,0,5,0,0,0,0,0,0,0,6,0,0,0,0,6,0,0,0,0,0,0,7,0,0,0,0,0,7,0,0,0,0,0,8,0,0,0,0,0,0,8,0,0,11,0,9,0,0,0,0,0,0,0,9,9,0,0,10,0,0,0,0,0,0,0,9,10,0,0,11,0,0,0,0,0,0,11,0,0,11]), function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,3,1,1,3,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,5,1,1,1,1,5,1,1,1,1,1,1,6,1,1,1,1,1,6,1,1,1,1,1,7,1,1,1,1,1,1,7,1,1,1,1,8,1,1,1,1,1,1,1,8,1,1,8,9,1,1,1,1,1,1,1,1,9,10,1,10,1,1,1,1,1,1,1,1,10,10,1,11,1,1,1,1,1,1,1,8,1,1,11]), function(f(_,_), [1,1,1,1,1,1,1,1,1,1,1,1,1,0,3,2,5,4,7,6,9,8,11,10,1,3,3,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,5,1,1,5,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,7,1,1,1,1,7,1,1,1,1,1,1,6,1,1,1,1,1,6,1,1,1,1,1,9,1,1,1,1,1,1,9,1,1,10,1,8,1,1,1,1,1,1,1,8,8,1,1,11,1,1,1,1,1,1,1,8,11,1,1,10,1,1,1,1,1,1,10,1,1,10]), function(m(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,0,0,0,0,0,0,0,0,3,0,3,0,0,0,0,0,0,0,0,0,4,0,0,4,0,0,0,0,0,0,0,0,5,0,0,0,5,0,0,0,0,0,0,0,6,0,0,0,0,6,0,0,0,0,0,0,7,0,0,0,0,0,7,0,0,0,0,0,8,0,0,0,0,0,0,8,0,0,11,0,9,0,0,0,0,0,0,0,9,9,0,0,10,0,0,0,0,0,0,0,9,10,0,0,11,0,0,0,0,0,0,11,0,0,11]), function(j(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,3,1,1,3,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,5,1,1,1,1,5,1,1,1,1,1,1,6,1,1,1,1,1,6,1,1,1,1,1,7,1,1,1,1,1,1,7,1,1,1,1,8,1,1,1,1,1,1,1,8,1,1,8,9,1,1,1,1,1,1,1,1,9,10,1,10,1,1,1,1,1,1,1,1,10,10,1,11,1,1,1,1,1,1,1,8,1,1,11])]). interpretation(12, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10]), function(^(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,0,0,0,0,0,0,0,0,3,0,3,0,0,0,0,0,0,0,0,0,4,0,0,4,0,0,0,0,0,0,0,0,5,0,0,0,5,0,0,0,0,0,0,0,6,0,0,0,0,6,0,0,9,6,0,0,7,0,0,0,0,0,7,7,0,0,11,0,8,0,0,0,0,0,7,8,0,0,11,0,9,0,0,0,0,9,0,0,9,9,0,0,10,0,0,0,0,6,0,0,9,10,0,0,11,0,0,0,0,0,11,11,0,0,11]), function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,3,1,1,3,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,5,1,1,1,1,5,1,1,1,1,1,1,6,1,1,1,1,1,6,1,1,6,10,1,7,1,1,1,1,1,1,7,8,1,1,7,8,1,1,1,1,1,1,8,8,1,1,8,9,1,1,1,1,1,6,1,1,9,10,1,10,1,1,1,1,1,10,1,1,10,10,1,11,1,1,1,1,1,1,7,8,1,1,11]), function(f(_,_), [1,1,1,1,1,1,1,1,1,1,1,1,1,0,3,2,5,4,7,6,9,8,11,10,1,3,3,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,5,1,1,5,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,7,1,1,1,1,7,1,1,8,7,1,1,6,1,1,1,1,1,6,6,1,1,10,1,9,1,1,1,1,1,6,9,1,1,10,1,8,1,1,1,1,8,1,1,8,8,1,1,11,1,1,1,1,7,1,1,8,11,1,1,10,1,1,1,1,1,10,10,1,1,10]), function(m(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,0,0,0,0,0,0,0,0,3,0,3,0,0,0,0,0,0,0,0,0,4,0,0,4,0,0,0,0,0,0,0,0,5,0,0,0,5,0,0,0,0,0,0,0,6,0,0,0,0,6,0,0,9,6,0,0,7,0,0,0,0,0,7,7,0,0,11,0,8,0,0,0,0,0,7,8,0,0,11,0,9,0,0,0,0,9,0,0,9,9,0,0,10,0,0,0,0,6,0,0,9,10,0,0,11,0,0,0,0,0,11,11,0,0,11]), function(j(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,3,1,1,3,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,5,1,1,1,1,5,1,1,1,1,1,1,6,1,1,1,1,1,6,1,1,6,10,1,7,1,1,1,1,1,1,7,8,1,1,7,8,1,1,1,1,1,1,8,8,1,1,8,9,1,1,1,1,1,6,1,1,9,10,1,10,1,1,1,1,1,10,1,1,10,10,1,11,1,1,1,1,1,1,7,8,1,1,11])]). interpretation(12, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10]), function(^(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,0,0,0,0,0,0,0,0,3,0,3,0,0,0,0,0,0,0,0,0,4,0,0,4,0,0,0,0,0,0,11,0,5,0,0,0,5,0,0,0,0,5,0,0,6,0,0,0,0,6,0,0,9,0,0,0,7,0,0,0,0,0,7,7,0,0,0,0,8,0,0,0,0,0,7,8,0,0,0,0,9,0,0,0,0,9,0,0,9,0,0,0,10,0,0,0,5,0,0,0,0,10,0,0,11,0,0,11,0,0,0,0,0,0,11]), function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,3,1,1,3,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,4,5,1,1,1,1,5,1,1,1,1,10,1,6,1,1,1,1,1,6,1,1,6,1,1,7,1,1,1,1,1,1,7,8,1,1,1,8,1,1,1,1,1,1,8,8,1,1,1,9,1,1,1,1,1,6,1,1,9,1,1,10,1,1,1,1,10,1,1,1,1,10,1,11,1,1,1,4,1,1,1,1,1,1,11]), function(f(_,_), [1,1,1,1,1,1,1,1,1,1,1,1,1,0,3,2,5,4,7,6,9,8,11,10,1,3,3,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,5,1,1,5,1,1,1,1,1,1,10,1,4,1,1,1,4,1,1,1,1,4,1,1,7,1,1,1,1,7,1,1,8,1,1,1,6,1,1,1,1,1,6,6,1,1,1,1,9,1,1,1,1,1,6,9,1,1,1,1,8,1,1,1,1,8,1,1,8,1,1,1,11,1,1,1,4,1,1,1,1,11,1,1,10,1,1,10,1,1,1,1,1,1,10]), function(m(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,0,0,0,0,0,0,0,0,3,0,3,0,0,0,0,0,0,0,0,0,4,0,0,4,0,0,0,0,0,0,11,0,5,0,0,0,5,0,0,0,0,5,0,0,6,0,0,0,0,6,0,0,9,0,0,0,7,0,0,0,0,0,7,7,0,0,0,0,8,0,0,0,0,0,7,8,0,0,0,0,9,0,0,0,0,9,0,0,9,0,0,0,10,0,0,0,5,0,0,0,0,10,0,0,11,0,0,11,0,0,0,0,0,0,11]), function(j(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,3,1,1,3,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,4,5,1,1,1,1,5,1,1,1,1,10,1,6,1,1,1,1,1,6,1,1,6,1,1,7,1,1,1,1,1,1,7,8,1,1,1,8,1,1,1,1,1,1,8,8,1,1,1,9,1,1,1,1,1,6,1,1,9,1,1,10,1,1,1,1,10,1,1,1,1,10,1,11,1,1,1,4,1,1,1,1,1,1,11])]). interpretation(12, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10]), function(^(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,0,0,0,0,0,0,0,0,3,0,3,0,0,0,0,0,0,0,0,0,4,0,0,4,0,0,0,0,0,0,0,0,5,0,0,0,5,0,0,0,0,0,0,0,6,0,0,0,0,6,0,0,6,6,0,0,7,0,0,0,0,0,7,8,11,8,11,0,8,0,0,0,0,0,8,8,0,8,0,0,9,0,0,0,0,6,11,0,9,6,11,0,10,0,0,0,0,6,8,8,6,10,0,0,11,0,0,0,0,0,11,0,11,0,11]), function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,3,1,1,3,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,5,1,1,1,1,5,1,1,1,1,1,1,6,1,1,1,1,1,6,1,10,9,10,9,7,1,1,1,1,1,1,7,7,1,1,7,8,1,1,1,1,1,10,7,8,1,10,7,9,1,1,1,1,1,9,1,1,9,1,9,10,1,1,1,1,1,10,1,10,1,10,1,11,1,1,1,1,1,9,7,7,9,1,11]), function(f(_,_), [1,1,1,1,1,1,1,1,1,1,1,1,1,0,3,2,5,4,7,6,9,8,11,10,1,3,3,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,5,1,1,5,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,7,1,1,1,1,7,1,1,7,7,1,1,6,1,1,1,1,1,6,9,10,9,10,1,9,1,1,1,1,1,9,9,1,9,1,1,8,1,1,1,1,7,10,1,8,7,10,1,11,1,1,1,1,7,9,9,7,11,1,1,10,1,1,1,1,1,10,1,10,1,10]), function(m(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,0,0,0,0,0,0,0,0,3,0,3,0,0,0,0,0,0,0,0,0,4,0,0,4,0,0,0,0,0,0,0,0,5,0,0,0,5,0,0,0,0,0,0,0,6,0,0,0,0,6,0,0,6,6,0,0,7,0,0,0,0,0,7,8,11,8,11,0,8,0,0,0,0,0,8,8,0,8,0,0,9,0,0,0,0,6,11,0,9,6,11,0,10,0,0,0,0,6,8,8,6,10,0,0,11,0,0,0,0,0,11,0,11,0,11]), function(j(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,3,1,1,3,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,1,1,1,1,1,5,1,1,1,1,5,1,1,1,1,1,1,6,1,1,1,1,1,6,1,10,9,10,9,7,1,1,1,1,1,1,7,7,1,1,7,8,1,1,1,1,1,10,7,8,1,10,7,9,1,1,1,1,1,9,1,1,9,1,9,10,1,1,1,1,1,10,1,10,1,10,1,11,1,1,1,1,1,9,7,7,9,1,11])]). interpretation(12, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10]), function(^(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,0,0,0,0,0,0,0,0,3,0,3,0,0,0,0,0,0,0,0,0,4,0,0,4,0,0,7,4,0,0,11,0,5,0,0,0,5,5,0,0,9,5,0,0,6,0,0,0,5,6,0,0,9,6,0,0,7,0,0,7,0,0,7,7,0,0,11,0,8,0,0,4,0,0,7,8,0,0,11,0,9,0,0,0,9,9,0,0,9,9,0,0,10,0,0,0,5,6,0,0,9,10,0,0,11,0,0,11,0,0,11,11,0,0,11]), function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,3,1,1,3,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,4,8,1,1,4,5,1,1,1,1,5,6,1,1,5,10,1,6,1,1,1,1,6,6,1,1,6,10,1,7,1,1,1,4,1,1,7,8,1,1,7,8,1,1,1,8,1,1,8,8,1,1,8,9,1,1,1,1,5,6,1,1,9,10,1,10,1,1,1,1,10,10,1,1,10,10,1,11,1,1,1,4,1,1,7,8,1,1,11]), function(f(_,_), [1,1,1,1,1,1,1,1,1,1,1,1,1,0,3,2,5,4,7,6,9,8,11,10,1,3,3,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,5,1,1,5,1,1,6,5,1,1,10,1,4,1,1,1,4,4,1,1,8,4,1,1,7,1,1,1,4,7,1,1,8,7,1,1,6,1,1,6,1,1,6,6,1,1,10,1,9,1,1,5,1,1,6,9,1,1,10,1,8,1,1,1,8,8,1,1,8,8,1,1,11,1,1,1,4,7,1,1,8,11,1,1,10,1,1,10,1,1,10,10,1,1,10]), function(m(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,0,0,0,0,0,0,0,0,3,0,3,0,0,0,0,0,0,0,0,0,4,0,0,4,0,0,7,4,0,0,11,0,5,0,0,0,5,5,0,0,9,5,0,0,6,0,0,0,5,6,0,0,9,6,0,0,7,0,0,7,0,0,7,7,0,0,11,0,8,0,0,4,0,0,7,8,0,0,11,0,9,0,0,0,9,9,0,0,9,9,0,0,10,0,0,0,5,6,0,0,9,10,0,0,11,0,0,11,0,0,11,11,0,0,11]), function(j(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,3,1,1,3,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,4,8,1,1,4,5,1,1,1,1,5,6,1,1,5,10,1,6,1,1,1,1,6,6,1,1,6,10,1,7,1,1,1,4,1,1,7,8,1,1,7,8,1,1,1,8,1,1,8,8,1,1,8,9,1,1,1,1,5,6,1,1,9,10,1,10,1,1,1,1,10,10,1,1,10,10,1,11,1,1,1,4,1,1,7,8,1,1,11])]). interpretation(12, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10]), function(^(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,0,0,0,0,0,0,0,0,3,0,3,0,0,0,0,0,0,0,0,0,4,0,0,4,0,0,7,4,0,0,7,0,5,0,0,0,5,5,0,0,9,9,0,0,6,0,0,0,5,6,0,0,9,10,0,0,7,0,0,7,0,0,7,7,0,0,7,0,8,0,0,4,0,0,7,8,0,0,11,0,9,0,0,0,9,9,0,0,9,9,0,0,10,0,0,0,9,10,0,0,9,10,0,0,11,0,0,7,0,0,7,11,0,0,11]), function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,3,1,1,3,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,4,8,1,1,8,5,1,1,1,1,5,6,1,1,5,6,1,6,1,1,1,1,6,6,1,1,6,6,1,7,1,1,1,4,1,1,7,8,1,1,11,8,1,1,1,8,1,1,8,8,1,1,8,9,1,1,1,1,5,6,1,1,9,10,1,10,1,1,1,1,6,6,1,1,10,10,1,11,1,1,1,8,1,1,11,8,1,1,11]), function(f(_,_), [1,1,1,1,1,1,1,1,1,1,1,1,1,0,3,2,5,4,7,6,9,8,11,10,1,3,3,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,5,1,1,5,1,1,6,5,1,1,6,1,4,1,1,1,4,4,1,1,8,8,1,1,7,1,1,1,4,7,1,1,8,11,1,1,6,1,1,6,1,1,6,6,1,1,6,1,9,1,1,5,1,1,6,9,1,1,10,1,8,1,1,1,8,8,1,1,8,8,1,1,11,1,1,1,8,11,1,1,8,11,1,1,10,1,1,6,1,1,6,10,1,1,10]), function(m(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,0,0,0,0,0,0,0,0,3,0,3,0,0,0,0,0,0,0,0,0,4,0,0,4,0,0,7,4,0,0,7,0,5,0,0,0,5,5,0,0,9,9,0,0,6,0,0,0,5,6,0,0,9,10,0,0,7,0,0,7,0,0,7,7,0,0,7,0,8,0,0,4,0,0,7,8,0,0,11,0,9,0,0,0,9,9,0,0,9,9,0,0,10,0,0,0,9,10,0,0,9,10,0,0,11,0,0,7,0,0,7,11,0,0,11]), function(j(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,3,1,1,3,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,4,8,1,1,8,5,1,1,1,1,5,6,1,1,5,6,1,6,1,1,1,1,6,6,1,1,6,6,1,7,1,1,1,4,1,1,7,8,1,1,11,8,1,1,1,8,1,1,8,8,1,1,8,9,1,1,1,1,5,6,1,1,9,10,1,10,1,1,1,1,6,6,1,1,10,10,1,11,1,1,1,8,1,1,11,8,1,1,11])]). interpretation(12, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10]), function(^(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,0,0,0,0,0,0,11,0,3,0,3,0,0,0,0,0,0,3,0,0,4,0,0,4,0,0,7,4,0,0,0,0,5,0,0,0,5,5,0,0,9,0,0,0,6,0,0,0,5,6,0,0,9,0,0,0,7,0,0,7,0,0,7,7,0,0,0,0,8,0,0,4,0,0,7,8,0,0,0,0,9,0,0,0,9,9,0,0,9,0,0,0,10,0,3,0,0,0,0,0,0,10,0,0,11,11,0,0,0,0,0,0,0,0,11]), function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,2,3,1,1,3,1,1,1,1,1,1,10,1,4,1,1,1,4,1,1,4,8,1,1,1,5,1,1,1,1,5,6,1,1,5,1,1,6,1,1,1,1,6,6,1,1,6,1,1,7,1,1,1,4,1,1,7,8,1,1,1,8,1,1,1,8,1,1,8,8,1,1,1,9,1,1,1,1,5,6,1,1,9,1,1,10,1,1,10,1,1,1,1,1,1,10,1,11,1,2,1,1,1,1,1,1,1,1,11]), function(f(_,_), [1,1,1,1,1,1,1,1,1,1,1,1,1,0,3,2,5,4,7,6,9,8,11,10,1,3,3,1,1,1,1,1,1,1,1,10,1,2,1,2,1,1,1,1,1,1,2,1,1,5,1,1,5,1,1,6,5,1,1,1,1,4,1,1,1,4,4,1,1,8,1,1,1,7,1,1,1,4,7,1,1,8,1,1,1,6,1,1,6,1,1,6,6,1,1,1,1,9,1,1,5,1,1,6,9,1,1,1,1,8,1,1,1,8,8,1,1,8,1,1,1,11,1,2,1,1,1,1,1,1,11,1,1,10,10,1,1,1,1,1,1,1,1,10]), function(m(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,0,0,0,0,0,0,11,0,3,0,3,0,0,0,0,0,0,3,0,0,4,0,0,4,0,0,7,4,0,0,0,0,5,0,0,0,5,5,0,0,9,0,0,0,6,0,0,0,5,6,0,0,9,0,0,0,7,0,0,7,0,0,7,7,0,0,0,0,8,0,0,4,0,0,7,8,0,0,0,0,9,0,0,0,9,9,0,0,9,0,0,0,10,0,3,0,0,0,0,0,0,10,0,0,11,11,0,0,0,0,0,0,0,0,11]), function(j(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,2,3,1,1,3,1,1,1,1,1,1,10,1,4,1,1,1,4,1,1,4,8,1,1,1,5,1,1,1,1,5,6,1,1,5,1,1,6,1,1,1,1,6,6,1,1,6,1,1,7,1,1,1,4,1,1,7,8,1,1,1,8,1,1,1,8,1,1,8,8,1,1,1,9,1,1,1,1,5,6,1,1,9,1,1,10,1,1,10,1,1,1,1,1,1,10,1,11,1,2,1,1,1,1,1,1,1,1,11])]). interpretation(12, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10]), function(^(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,0,0,0,0,0,0,0,0,3,0,3,0,0,0,0,0,0,0,0,0,4,0,0,4,0,0,7,8,11,8,11,0,5,0,0,0,5,5,0,0,5,5,0,0,6,0,0,0,5,6,0,0,6,6,0,0,7,0,0,7,0,0,7,8,11,8,11,0,8,0,0,8,0,0,8,8,0,8,0,0,9,0,0,11,5,6,11,0,9,6,11,0,10,0,0,8,5,6,8,8,6,10,0,0,11,0,0,11,0,0,11,0,11,0,11]), function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,3,1,1,3,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,4,4,1,1,4,5,1,1,1,1,5,6,1,10,9,10,9,6,1,1,1,1,6,6,1,10,9,10,9,7,1,1,1,4,1,1,7,7,1,1,7,8,1,1,1,4,10,10,7,8,1,10,7,9,1,1,1,1,9,9,1,1,9,1,9,10,1,1,1,1,10,10,1,10,1,10,1,11,1,1,1,4,9,9,7,7,9,1,11]), function(f(_,_), [1,1,1,1,1,1,1,1,1,1,1,1,1,0,3,2,5,4,7,6,9,8,11,10,1,3,3,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,5,1,1,5,1,1,6,9,10,9,10,1,4,1,1,1,4,4,1,1,4,4,1,1,7,1,1,1,4,7,1,1,7,7,1,1,6,1,1,6,1,1,6,9,10,9,10,1,9,1,1,9,1,1,9,9,1,9,1,1,8,1,1,10,4,7,10,1,8,7,10,1,11,1,1,9,4,7,9,9,7,11,1,1,10,1,1,10,1,1,10,1,10,1,10]), function(m(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,0,0,0,0,0,0,0,0,3,0,3,0,0,0,0,0,0,0,0,0,4,0,0,4,0,0,7,8,11,8,11,0,5,0,0,0,5,5,0,0,5,5,0,0,6,0,0,0,5,6,0,0,6,6,0,0,7,0,0,7,0,0,7,8,11,8,11,0,8,0,0,8,0,0,8,8,0,8,0,0,9,0,0,11,5,6,11,0,9,6,11,0,10,0,0,8,5,6,8,8,6,10,0,0,11,0,0,11,0,0,11,0,11,0,11]), function(j(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,1,1,1,1,3,1,1,3,1,1,1,1,1,1,1,1,4,1,1,1,4,1,1,4,4,1,1,4,5,1,1,1,1,5,6,1,10,9,10,9,6,1,1,1,1,6,6,1,10,9,10,9,7,1,1,1,4,1,1,7,7,1,1,7,8,1,1,1,4,10,10,7,8,1,10,7,9,1,1,1,1,9,9,1,1,9,1,9,10,1,1,1,1,10,10,1,10,1,10,1,11,1,1,1,4,9,9,7,7,9,1,11])]). interpretation(12, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10]), function(^(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,0,0,0,0,2,2,0,0,3,0,3,0,0,0,0,8,11,8,11,0,4,0,0,4,0,0,7,0,0,0,0,0,5,0,0,0,5,5,0,0,0,0,0,0,6,0,0,0,5,6,0,0,0,0,0,0,7,0,0,7,0,0,7,0,0,0,0,0,8,0,8,0,0,0,0,8,0,8,0,0,9,2,11,0,0,0,0,0,9,2,11,0,10,2,8,0,0,0,0,8,2,10,0,0,11,0,11,0,0,0,0,0,11,0,11]), function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,10,9,10,9,3,1,1,3,1,1,1,1,3,1,1,3,4,1,1,1,4,1,1,4,1,1,1,1,5,1,1,1,1,5,6,1,1,1,1,1,6,1,1,1,1,6,6,1,1,1,1,1,7,1,1,1,4,1,1,7,1,1,1,1,8,1,10,3,1,1,1,1,8,1,10,3,9,1,9,1,1,1,1,1,1,9,1,9,10,1,10,1,1,1,1,1,10,1,10,1,11,1,9,3,1,1,1,1,3,9,1,11]), function(f(_,_), [1,1,1,1,1,1,1,1,1,1,1,1,1,0,3,2,5,4,7,6,9,8,11,10,1,3,3,1,1,1,1,1,1,3,3,1,1,2,1,2,1,1,1,1,9,10,9,10,1,5,1,1,5,1,1,6,1,1,1,1,1,4,1,1,1,4,4,1,1,1,1,1,1,7,1,1,1,4,7,1,1,1,1,1,1,6,1,1,6,1,1,6,1,1,1,1,1,9,1,9,1,1,1,1,9,1,9,1,1,8,3,10,1,1,1,1,1,8,3,10,1,11,3,9,1,1,1,1,9,3,11,1,1,10,1,10,1,1,1,1,1,10,1,10]), function(m(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,0,0,0,0,2,2,0,0,3,0,3,0,0,0,0,8,11,8,11,0,4,0,0,4,0,0,7,0,0,0,0,0,5,0,0,0,5,5,0,0,0,0,0,0,6,0,0,0,5,6,0,0,0,0,0,0,7,0,0,7,0,0,7,0,0,0,0,0,8,0,8,0,0,0,0,8,0,8,0,0,9,2,11,0,0,0,0,0,9,2,11,0,10,2,8,0,0,0,0,8,2,10,0,0,11,0,11,0,0,0,0,0,11,0,11]), function(j(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,1,10,9,10,9,3,1,1,3,1,1,1,1,3,1,1,3,4,1,1,1,4,1,1,4,1,1,1,1,5,1,1,1,1,5,6,1,1,1,1,1,6,1,1,1,1,6,6,1,1,1,1,1,7,1,1,1,4,1,1,7,1,1,1,1,8,1,10,3,1,1,1,1,8,1,10,3,9,1,9,1,1,1,1,1,1,9,1,9,10,1,10,1,1,1,1,1,10,1,10,1,11,1,9,3,1,1,1,1,3,9,1,11])]). interpretation(12, [ function(c(_), [1,0,3,2,5,4,7,6,10,11,8,9]), function(^(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,7,8,7,8,0,7,7,0,3,0,3,0,0,3,0,0,0,3,0,0,4,0,0,4,0,4,0,0,0,0,4,0,5,7,0,0,5,9,7,0,9,7,7,0,6,8,3,4,9,6,0,8,9,3,4,0,7,7,0,0,7,0,7,0,0,7,7,0,8,8,0,0,0,8,0,8,0,0,0,0,9,0,0,0,9,9,0,0,9,0,0,0,10,7,3,0,7,3,7,0,0,10,7,0,11,7,0,4,7,4,7,0,0,7,11]), function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,2,2,1,1,1,3,1,1,3,6,1,6,10,6,6,10,1,4,1,1,6,4,1,6,11,6,6,1,11,5,1,1,1,1,5,1,5,1,5,1,1,6,1,1,6,6,1,6,1,6,6,1,1,7,1,2,10,11,5,1,7,2,5,10,11,8,1,2,6,6,1,6,2,8,6,1,1,9,1,1,6,6,5,6,5,6,9,1,1,10,1,1,10,1,1,1,10,1,1,10,1,11,1,1,1,11,1,1,11,1,1,1,11]), function(f(_,_), [1,1,1,1,1,1,1,1,1,1,1,1,1,0,3,2,5,4,7,6,10,11,8,9,1,3,3,1,1,6,10,6,10,1,6,6,1,2,1,2,1,1,2,1,1,1,2,1,1,5,1,1,5,1,5,1,1,1,1,5,1,4,6,1,1,4,11,6,1,11,6,6,1,7,10,2,5,11,7,1,10,11,2,5,1,6,6,1,1,6,1,6,1,1,6,6,1,10,10,1,1,1,10,1,10,1,1,1,1,11,1,1,1,11,11,1,1,11,1,1,1,8,6,2,1,6,2,6,1,1,8,6,1,9,6,1,5,6,5,6,1,1,6,9]), function(m(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,7,8,7,8,0,7,7,0,3,0,3,0,0,3,0,0,0,3,0,0,4,0,0,4,0,4,0,0,0,0,4,0,5,7,0,0,5,9,7,0,9,7,7,0,6,8,3,4,9,6,0,8,9,3,4,0,7,7,0,0,7,0,7,0,0,7,7,0,8,8,0,0,0,8,0,8,0,0,0,0,9,0,0,0,9,9,0,0,9,0,0,0,10,7,3,0,7,3,7,0,0,10,7,0,11,7,0,4,7,4,7,0,0,7,11]), function(j(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,1,1,2,2,1,1,1,3,1,1,3,6,1,6,10,6,6,10,1,4,1,1,6,4,1,6,11,6,6,1,11,5,1,1,1,1,5,1,5,1,5,1,1,6,1,1,6,6,1,6,1,6,6,1,1,7,1,2,10,11,5,1,7,2,5,10,11,8,1,2,6,6,1,6,2,8,6,1,1,9,1,1,6,6,5,6,5,6,9,1,1,10,1,1,10,1,1,1,10,1,1,10,1,11,1,1,1,11,1,1,11,1,1,1,11])]). interpretation(12, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10]), function(^(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,5,2,0,0,9,0,11,0,3,0,3,3,0,0,7,3,0,3,0,0,4,0,3,4,0,0,7,3,0,4,0,0,5,5,0,0,5,5,0,0,11,0,11,0,6,2,0,0,5,6,0,0,9,0,11,0,7,0,7,7,0,0,7,7,0,7,0,0,8,0,3,3,0,0,7,8,0,8,0,0,9,9,0,0,11,9,0,0,9,0,11,0,10,0,3,4,0,0,7,8,0,10,0,0,11,11,0,0,11,11,0,0,11,0,11]), function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,6,1,1,2,1,2,3,1,1,3,4,1,1,3,8,1,10,1,4,1,1,4,4,1,1,4,10,1,10,1,5,1,2,1,1,5,6,1,1,2,1,5,6,1,6,1,1,6,6,1,1,6,1,6,7,1,1,3,4,1,1,7,8,1,10,1,8,1,1,8,10,1,1,8,8,1,10,1,9,1,2,1,1,2,6,1,1,9,1,9,10,1,1,10,10,1,1,10,10,1,10,1,11,1,2,1,1,5,6,1,1,9,1,11]), function(f(_,_), [1,1,1,1,1,1,1,1,1,1,1,1,1,0,3,2,5,4,7,6,9,8,11,10,1,3,3,1,1,4,3,1,1,8,1,10,1,2,1,2,2,1,1,6,2,1,2,1,1,5,1,2,5,1,1,6,2,1,5,1,1,4,4,1,1,4,4,1,1,10,1,10,1,7,3,1,1,4,7,1,1,8,1,10,1,6,1,6,6,1,1,6,6,1,6,1,1,9,1,2,2,1,1,6,9,1,9,1,1,8,8,1,1,10,8,1,1,8,1,10,1,11,1,2,5,1,1,6,9,1,11,1,1,10,10,1,1,10,10,1,1,10,1,10]), function(m(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,5,2,0,0,9,0,11,0,3,0,3,3,0,0,7,3,0,3,0,0,4,0,3,4,0,0,7,3,0,4,0,0,5,5,0,0,5,5,0,0,11,0,11,0,6,2,0,0,5,6,0,0,9,0,11,0,7,0,7,7,0,0,7,7,0,7,0,0,8,0,3,3,0,0,7,8,0,8,0,0,9,9,0,0,11,9,0,0,9,0,11,0,10,0,3,4,0,0,7,8,0,10,0,0,11,11,0,0,11,11,0,0,11,0,11]), function(j(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,6,1,1,2,1,2,3,1,1,3,4,1,1,3,8,1,10,1,4,1,1,4,4,1,1,4,10,1,10,1,5,1,2,1,1,5,6,1,1,2,1,5,6,1,6,1,1,6,6,1,1,6,1,6,7,1,1,3,4,1,1,7,8,1,10,1,8,1,1,8,10,1,1,8,8,1,10,1,9,1,2,1,1,2,6,1,1,9,1,9,10,1,1,10,10,1,1,10,10,1,10,1,11,1,2,1,1,5,6,1,1,9,1,11])]). interpretation(12, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10]), function(^(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,5,2,0,0,9,2,0,0,3,0,3,3,0,0,7,3,0,0,11,0,4,0,3,4,0,0,7,4,0,0,11,0,5,5,0,0,5,5,0,0,9,5,0,0,6,2,0,0,5,6,0,0,9,6,0,0,7,0,7,7,0,0,7,7,0,0,11,0,8,0,3,4,0,0,7,8,0,0,11,0,9,9,0,0,9,9,0,0,9,9,0,0,10,2,0,0,5,6,0,0,9,10,0,0,11,0,11,11,0,0,11,11,0,0,11]), function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,6,1,1,2,10,1,3,1,1,3,4,1,1,3,8,1,1,3,4,1,1,4,4,1,1,4,8,1,1,4,5,1,2,1,1,5,6,1,1,5,10,1,6,1,6,1,1,6,6,1,1,6,10,1,7,1,1,3,4,1,1,7,8,1,1,7,8,1,1,8,8,1,1,8,8,1,1,8,9,1,2,1,1,5,6,1,1,9,10,1,10,1,10,1,1,10,10,1,1,10,10,1,11,1,1,3,4,1,1,7,8,1,1,11]), function(f(_,_), [1,1,1,1,1,1,1,1,1,1,1,1,1,0,3,2,5,4,7,6,9,8,11,10,1,3,3,1,1,4,3,1,1,8,3,1,1,2,1,2,2,1,1,6,2,1,1,10,1,5,1,2,5,1,1,6,5,1,1,10,1,4,4,1,1,4,4,1,1,8,4,1,1,7,3,1,1,4,7,1,1,8,7,1,1,6,1,6,6,1,1,6,6,1,1,10,1,9,1,2,5,1,1,6,9,1,1,10,1,8,8,1,1,8,8,1,1,8,8,1,1,11,3,1,1,4,7,1,1,8,11,1,1,10,1,10,10,1,1,10,10,1,1,10]), function(m(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,5,2,0,0,9,2,0,0,3,0,3,3,0,0,7,3,0,0,11,0,4,0,3,4,0,0,7,4,0,0,11,0,5,5,0,0,5,5,0,0,9,5,0,0,6,2,0,0,5,6,0,0,9,6,0,0,7,0,7,7,0,0,7,7,0,0,11,0,8,0,3,4,0,0,7,8,0,0,11,0,9,9,0,0,9,9,0,0,9,9,0,0,10,2,0,0,5,6,0,0,9,10,0,0,11,0,11,11,0,0,11,11,0,0,11]), function(j(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,6,1,1,2,10,1,3,1,1,3,4,1,1,3,8,1,1,3,4,1,1,4,4,1,1,4,8,1,1,4,5,1,2,1,1,5,6,1,1,5,10,1,6,1,6,1,1,6,6,1,1,6,10,1,7,1,1,3,4,1,1,7,8,1,1,7,8,1,1,8,8,1,1,8,8,1,1,8,9,1,2,1,1,5,6,1,1,9,10,1,10,1,10,1,1,10,10,1,1,10,10,1,11,1,1,3,4,1,1,7,8,1,1,11])]). interpretation(12, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10]), function(^(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,5,2,0,0,9,9,0,0,3,0,3,3,0,0,7,3,0,0,7,0,4,0,3,4,0,0,7,4,0,0,7,0,5,5,0,0,5,5,0,0,9,9,0,0,6,2,0,0,5,6,0,0,9,10,0,0,7,0,7,7,0,0,7,7,0,0,7,0,8,0,3,4,0,0,7,8,0,0,11,0,9,9,0,0,9,9,0,0,9,9,0,0,10,9,0,0,9,10,0,0,9,10,0,0,11,0,7,7,0,0,7,11,0,0,11]), function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,6,1,1,2,6,1,3,1,1,3,4,1,1,3,8,1,1,8,4,1,1,4,4,1,1,4,8,1,1,8,5,1,2,1,1,5,6,1,1,5,6,1,6,1,6,1,1,6,6,1,1,6,6,1,7,1,1,3,4,1,1,7,8,1,1,11,8,1,1,8,8,1,1,8,8,1,1,8,9,1,2,1,1,5,6,1,1,9,10,1,10,1,6,1,1,6,6,1,1,10,10,1,11,1,1,8,8,1,1,11,8,1,1,11]), function(f(_,_), [1,1,1,1,1,1,1,1,1,1,1,1,1,0,3,2,5,4,7,6,9,8,11,10,1,3,3,1,1,4,3,1,1,8,8,1,1,2,1,2,2,1,1,6,2,1,1,6,1,5,1,2,5,1,1,6,5,1,1,6,1,4,4,1,1,4,4,1,1,8,8,1,1,7,3,1,1,4,7,1,1,8,11,1,1,6,1,6,6,1,1,6,6,1,1,6,1,9,1,2,5,1,1,6,9,1,1,10,1,8,8,1,1,8,8,1,1,8,8,1,1,11,8,1,1,8,11,1,1,8,11,1,1,10,1,6,6,1,1,6,10,1,1,10]), function(m(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,5,2,0,0,9,9,0,0,3,0,3,3,0,0,7,3,0,0,7,0,4,0,3,4,0,0,7,4,0,0,7,0,5,5,0,0,5,5,0,0,9,9,0,0,6,2,0,0,5,6,0,0,9,10,0,0,7,0,7,7,0,0,7,7,0,0,7,0,8,0,3,4,0,0,7,8,0,0,11,0,9,9,0,0,9,9,0,0,9,9,0,0,10,9,0,0,9,10,0,0,9,10,0,0,11,0,7,7,0,0,7,11,0,0,11]), function(j(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,6,1,1,2,6,1,3,1,1,3,4,1,1,3,8,1,1,8,4,1,1,4,4,1,1,4,8,1,1,8,5,1,2,1,1,5,6,1,1,5,6,1,6,1,6,1,1,6,6,1,1,6,6,1,7,1,1,3,4,1,1,7,8,1,1,11,8,1,1,8,8,1,1,8,8,1,1,8,9,1,2,1,1,5,6,1,1,9,10,1,10,1,6,1,1,6,6,1,1,10,10,1,11,1,1,8,8,1,1,11,8,1,1,11])]). interpretation(12, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10]), function(^(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,5,2,0,0,5,0,5,0,3,0,3,3,0,0,7,7,0,7,0,0,4,0,3,4,0,0,7,8,0,10,0,0,5,5,0,0,5,5,0,0,5,0,5,0,6,2,0,0,5,6,0,0,9,0,11,0,7,0,7,7,0,0,7,7,0,7,0,0,8,0,7,8,0,0,7,8,0,7,0,0,9,5,0,0,5,9,0,0,9,0,5,0,10,0,7,10,0,0,7,7,0,10,0,0,11,5,0,0,5,11,0,0,5,0,11]), function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,6,1,1,6,1,6,3,1,1,3,4,1,1,3,4,1,4,1,4,1,1,4,4,1,1,4,4,1,4,1,5,1,2,1,1,5,6,1,1,9,1,11,6,1,6,1,1,6,6,1,1,6,1,6,7,1,1,3,4,1,1,7,8,1,10,1,8,1,1,4,4,1,1,8,8,1,4,1,9,1,6,1,1,9,6,1,1,9,1,6,10,1,1,4,4,1,1,10,4,1,10,1,11,1,6,1,1,11,6,1,1,6,1,11]), function(f(_,_), [1,1,1,1,1,1,1,1,1,1,1,1,1,0,3,2,5,4,7,6,9,8,11,10,1,3,3,1,1,4,3,1,1,4,1,4,1,2,1,2,2,1,1,6,6,1,6,1,1,5,1,2,5,1,1,6,9,1,11,1,1,4,4,1,1,4,4,1,1,4,1,4,1,7,3,1,1,4,7,1,1,8,1,10,1,6,1,6,6,1,1,6,6,1,6,1,1,9,1,6,9,1,1,6,9,1,6,1,1,8,4,1,1,4,8,1,1,8,1,4,1,11,1,6,11,1,1,6,6,1,11,1,1,10,4,1,1,4,10,1,1,4,1,10]), function(m(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,5,2,0,0,5,0,5,0,3,0,3,3,0,0,7,7,0,7,0,0,4,0,3,4,0,0,7,8,0,10,0,0,5,5,0,0,5,5,0,0,5,0,5,0,6,2,0,0,5,6,0,0,9,0,11,0,7,0,7,7,0,0,7,7,0,7,0,0,8,0,7,8,0,0,7,8,0,7,0,0,9,5,0,0,5,9,0,0,9,0,5,0,10,0,7,10,0,0,7,7,0,10,0,0,11,5,0,0,5,11,0,0,5,0,11]), function(j(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,6,1,1,6,1,6,3,1,1,3,4,1,1,3,4,1,4,1,4,1,1,4,4,1,1,4,4,1,4,1,5,1,2,1,1,5,6,1,1,9,1,11,6,1,6,1,1,6,6,1,1,6,1,6,7,1,1,3,4,1,1,7,8,1,10,1,8,1,1,4,4,1,1,8,8,1,4,1,9,1,6,1,1,9,6,1,1,9,1,6,10,1,1,4,4,1,1,10,4,1,10,1,11,1,6,1,1,11,6,1,1,6,1,11])]). interpretation(12, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10]), function(^(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,5,2,0,0,2,2,0,0,3,0,3,3,0,0,7,8,11,8,11,0,4,0,3,4,0,0,7,8,11,8,11,0,5,5,0,0,5,5,0,0,5,5,0,0,6,2,0,0,5,6,0,0,6,6,0,0,7,0,7,7,0,0,7,8,11,8,11,0,8,0,8,8,0,0,8,8,0,8,0,0,9,2,11,11,5,6,11,0,9,6,11,0,10,2,8,8,5,6,8,8,6,10,0,0,11,0,11,11,0,0,11,0,11,0,11]), function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,6,1,10,9,10,9,3,1,1,3,4,1,1,3,3,1,1,3,4,1,1,4,4,1,1,4,4,1,1,4,5,1,2,1,1,5,6,1,10,9,10,9,6,1,6,1,1,6,6,1,10,9,10,9,7,1,1,3,4,1,1,7,7,1,1,7,8,1,10,3,4,10,10,7,8,1,10,7,9,1,9,1,1,9,9,1,1,9,1,9,10,1,10,1,1,10,10,1,10,1,10,1,11,1,9,3,4,9,9,7,7,9,1,11]), function(f(_,_), [1,1,1,1,1,1,1,1,1,1,1,1,1,0,3,2,5,4,7,6,9,8,11,10,1,3,3,1,1,4,3,1,1,3,3,1,1,2,1,2,2,1,1,6,9,10,9,10,1,5,1,2,5,1,1,6,9,10,9,10,1,4,4,1,1,4,4,1,1,4,4,1,1,7,3,1,1,4,7,1,1,7,7,1,1,6,1,6,6,1,1,6,9,10,9,10,1,9,1,9,9,1,1,9,9,1,9,1,1,8,3,10,10,4,7,10,1,8,7,10,1,11,3,9,9,4,7,9,9,7,11,1,1,10,1,10,10,1,1,10,1,10,1,10]), function(m(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,5,2,0,0,2,2,0,0,3,0,3,3,0,0,7,8,11,8,11,0,4,0,3,4,0,0,7,8,11,8,11,0,5,5,0,0,5,5,0,0,5,5,0,0,6,2,0,0,5,6,0,0,6,6,0,0,7,0,7,7,0,0,7,8,11,8,11,0,8,0,8,8,0,0,8,8,0,8,0,0,9,2,11,11,5,6,11,0,9,6,11,0,10,2,8,8,5,6,8,8,6,10,0,0,11,0,11,11,0,0,11,0,11,0,11]), function(j(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,6,1,10,9,10,9,3,1,1,3,4,1,1,3,3,1,1,3,4,1,1,4,4,1,1,4,4,1,1,4,5,1,2,1,1,5,6,1,10,9,10,9,6,1,6,1,1,6,6,1,10,9,10,9,7,1,1,3,4,1,1,7,7,1,1,7,8,1,10,3,4,10,10,7,8,1,10,7,9,1,9,1,1,9,9,1,1,9,1,9,10,1,10,1,1,10,10,1,10,1,10,1,11,1,9,3,4,9,9,7,7,9,1,11])]). interpretation(12, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10]), function(^(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,5,6,9,6,9,10,9,0,3,0,3,3,0,0,3,3,0,0,3,0,4,0,3,4,0,0,4,4,0,0,4,0,5,5,0,0,5,6,9,6,9,10,9,0,6,6,0,0,6,6,0,6,0,10,0,0,7,9,3,4,9,0,7,4,9,0,7,0,8,6,3,4,6,6,4,8,0,10,4,0,9,9,0,0,9,0,9,0,9,0,9,0,10,10,0,0,10,10,0,10,0,10,0,0,11,9,3,4,9,0,7,4,9,0,11]), function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,2,1,1,2,2,1,3,1,1,3,4,1,8,7,8,7,8,11,4,1,1,4,4,1,8,7,8,7,8,11,5,1,2,1,1,5,5,1,1,5,5,1,6,1,2,8,8,5,6,1,8,5,6,1,7,1,1,7,7,1,1,7,1,7,1,11,8,1,1,8,8,1,8,1,8,1,8,1,9,1,2,7,7,5,5,7,1,9,5,11,10,1,2,8,8,5,6,1,8,5,10,1,11,1,1,11,11,1,1,11,1,11,1,11]), function(f(_,_), [1,1,1,1,1,1,1,1,1,1,1,1,1,0,3,2,5,4,7,6,9,8,11,10,1,3,3,1,1,4,7,8,7,8,11,8,1,2,1,2,2,1,1,2,2,1,1,2,1,5,1,2,5,1,1,5,5,1,1,5,1,4,4,1,1,4,7,8,7,8,11,8,1,7,7,1,1,7,7,1,7,1,11,1,1,6,8,2,5,8,1,6,5,8,1,6,1,9,7,2,5,7,7,5,9,1,11,5,1,8,8,1,1,8,1,8,1,8,1,8,1,11,11,1,1,11,11,1,11,1,11,1,1,10,8,2,5,8,1,6,5,8,1,10]), function(m(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,5,6,9,6,9,10,9,0,3,0,3,3,0,0,3,3,0,0,3,0,4,0,3,4,0,0,4,4,0,0,4,0,5,5,0,0,5,6,9,6,9,10,9,0,6,6,0,0,6,6,0,6,0,10,0,0,7,9,3,4,9,0,7,4,9,0,7,0,8,6,3,4,6,6,4,8,0,10,4,0,9,9,0,0,9,0,9,0,9,0,9,0,10,10,0,0,10,10,0,10,0,10,0,0,11,9,3,4,9,0,7,4,9,0,11]), function(j(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,2,1,1,2,2,1,3,1,1,3,4,1,8,7,8,7,8,11,4,1,1,4,4,1,8,7,8,7,8,11,5,1,2,1,1,5,5,1,1,5,5,1,6,1,2,8,8,5,6,1,8,5,6,1,7,1,1,7,7,1,1,7,1,7,1,11,8,1,1,8,8,1,8,1,8,1,8,1,9,1,2,7,7,5,5,7,1,9,5,11,10,1,2,8,8,5,6,1,8,5,10,1,11,1,1,11,11,1,1,11,1,11,1,11])]). interpretation(12, [ function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10]), function(^(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,5,6,9,6,9,10,6,0,3,0,3,3,0,0,3,3,0,0,3,0,4,0,3,4,0,0,4,3,0,0,4,0,5,5,0,0,5,6,10,6,10,10,6,0,6,6,0,0,6,6,0,6,0,0,6,0,7,9,3,4,10,0,7,3,9,10,4,0,8,6,3,3,6,6,3,8,0,0,8,0,9,9,0,0,10,0,9,0,9,10,0,0,10,10,0,0,10,0,10,0,10,10,0,0,11,6,3,4,6,6,4,8,0,0,11]), function(v(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,2,1,1,2,2,1,3,1,1,3,4,1,8,7,8,7,7,11,4,1,1,4,4,1,11,7,11,7,7,11,5,1,2,1,1,5,5,1,1,2,5,1,6,1,2,8,11,5,6,1,8,2,5,11,7,1,1,7,7,1,1,7,1,7,7,1,8,1,1,8,11,1,8,1,8,1,1,11,9,1,2,7,7,2,2,7,1,9,9,1,10,1,2,7,7,5,5,7,1,9,10,1,11,1,1,11,11,1,11,1,11,1,1,11]), function(f(_,_), [1,1,1,1,1,1,1,1,1,1,1,1,1,0,3,2,5,4,7,6,9,8,11,10,1,3,3,1,1,4,7,8,7,8,11,7,1,2,1,2,2,1,1,2,2,1,1,2,1,5,1,2,5,1,1,5,2,1,1,5,1,4,4,1,1,4,7,11,7,11,11,7,1,7,7,1,1,7,7,1,7,1,1,7,1,6,8,2,5,11,1,6,2,8,11,5,1,9,7,2,2,7,7,2,9,1,1,9,1,8,8,1,1,11,1,8,1,8,11,1,1,11,11,1,1,11,1,11,1,11,11,1,1,10,7,2,5,7,7,5,9,1,1,10]), function(m(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,10,11,0,2,2,0,0,5,6,9,6,9,10,6,0,3,0,3,3,0,0,3,3,0,0,3,0,4,0,3,4,0,0,4,3,0,0,4,0,5,5,0,0,5,6,10,6,10,10,6,0,6,6,0,0,6,6,0,6,0,0,6,0,7,9,3,4,10,0,7,3,9,10,4,0,8,6,3,3,6,6,3,8,0,0,8,0,9,9,0,0,10,0,9,0,9,10,0,0,10,10,0,0,10,0,10,0,10,10,0,0,11,6,3,4,6,6,4,8,0,0,11]), function(j(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,1,2,2,1,1,2,2,1,3,1,1,3,4,1,8,7,8,7,7,11,4,1,1,4,4,1,11,7,11,7,7,11,5,1,2,1,1,5,5,1,1,2,5,1,6,1,2,8,11,5,6,1,8,2,5,11,7,1,1,7,7,1,1,7,1,7,7,1,8,1,1,8,11,1,8,1,8,1,1,11,9,1,2,7,7,2,2,7,1,9,9,1,10,1,2,7,7,5,5,7,1,9,10,1,11,1,1,11,11,1,11,1,11,1,1,11])]). % isofilter: input=8059, kept=18, checks=8041, perms=75677, 97.05 seconds.