interpretation(6, [ function(c(_), [1,0,3,2,5,4]), function(^(_,_), [0,0,0,0,0,0,0,1,2,3,4,5,0,2,2,0,0,0,0,3,0,3,0,0,0,4,0,0,4,0,0,5,0,0,0,5]), function(v(_,_), [0,1,2,3,4,5,1,1,1,1,1,1,2,1,2,1,1,1,3,1,1,3,1,1,4,1,1,1,4,1,5,1,1,1,1,5]), function(f(_,_), [1,1,1,1,1,1,1,0,3,2,5,4,1,3,3,1,1,1,1,2,1,2,1,1,1,5,1,1,5,1,1,4,1,1,1,4]), function(m(_,_), [0,0,0,0,0,0,0,1,2,3,4,5,0,2,2,0,0,0,0,3,0,3,0,0,0,4,0,0,4,0,0,5,0,0,0,5]), function(j(_,_), [0,1,2,3,4,5,1,1,1,1,1,1,2,1,2,1,1,1,3,1,1,3,1,1,4,1,1,1,4,1,5,1,1,1,1,5])]). interpretation(6, [ function(c(_), [1,0,3,2,5,4]), function(^(_,_), [0,0,0,0,0,0,0,1,2,3,4,5,0,2,2,0,0,5,0,3,0,3,3,0,0,4,0,3,4,0,0,5,5,0,0,5]), function(v(_,_), [0,1,2,3,4,5,1,1,1,1,1,1,2,1,2,1,1,2,3,1,1,3,4,1,4,1,1,4,4,1,5,1,2,1,1,5]), function(f(_,_), [1,1,1,1,1,1,1,0,3,2,5,4,1,3,3,1,1,4,1,2,1,2,2,1,1,5,1,2,5,1,1,4,4,1,1,4]), function(m(_,_), [0,0,0,0,0,0,0,1,2,3,4,5,0,2,2,0,0,5,0,3,0,3,3,0,0,4,0,3,4,0,0,5,5,0,0,5]), function(j(_,_), [0,1,2,3,4,5,1,1,1,1,1,1,2,1,2,1,1,2,3,1,1,3,4,1,4,1,1,4,4,1,5,1,2,1,1,5])]). % isofilter: input=5, kept=2, checks=3, perms=3, 0.03 seconds.