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