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