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]),
    function(m(_,_), [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(j(_,_), [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])]).
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,9,0,7,0,0,0,0,0,7,7,0,0,8,0,0,0,0,0,7,8,0,0,9,0,0,0,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,1,1,1,5,1,1,1,1,5,1,1,1,1,6,1,1,1,1,1,6,1,1,6,7,1,1,1,1,1,1,7,8,1,8,1,1,1,1,1,1,8,8,1,9,1,1,1,1,1,6,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,8,1,6,1,1,1,1,1,6,6,1,1,9,1,1,1,1,1,6,9,1,1,8,1,1,1,1,8,1,1,8]),
    function(m(_,_), [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,9,0,7,0,0,0,0,0,7,7,0,0,8,0,0,0,0,0,7,8,0,0,9,0,0,0,0,9,0,0,9]),
    function(j(_,_), [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,6,7,1,1,1,1,1,1,7,8,1,8,1,1,1,1,1,1,8,8,1,9,1,1,1,1,1,6,1,1,9])]).
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,7,4,0,0,5,0,0,0,5,5,0,0,9,0,6,0,0,0,5,6,0,0,9,0,7,0,0,7,0,0,7,7,0,0,8,0,0,4,0,0,7,8,0,0,9,0,0,0,9,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,8,1,5,1,1,1,1,5,6,1,1,5,6,1,1,1,1,6,6,1,1,6,7,1,1,1,4,1,1,7,8,1,8,1,1,1,8,1,1,8,8,1,9,1,1,1,1,5,6,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,6,5,1,1,4,1,1,1,4,4,1,1,8,1,7,1,1,1,4,7,1,1,8,1,6,1,1,6,1,1,6,6,1,1,9,1,1,5,1,1,6,9,1,1,8,1,1,1,8,8,1,1,8]),
    function(m(_,_), [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,7,4,0,0,5,0,0,0,5,5,0,0,9,0,6,0,0,0,5,6,0,0,9,0,7,0,0,7,0,0,7,7,0,0,8,0,0,4,0,0,7,8,0,0,9,0,0,0,9,9,0,0,9]),
    function(j(_,_), [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,8,1,5,1,1,1,1,5,6,1,1,5,6,1,1,1,1,6,6,1,1,6,7,1,1,1,4,1,1,7,8,1,8,1,1,1,8,1,1,8,8,1,9,1,1,1,1,5,6,1,1,9])]).
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,9,0,3,0,3,0,0,0,0,3,0,0,4,0,0,4,0,0,7,0,0,0,5,0,0,0,5,5,0,0,0,0,6,0,0,0,5,6,0,0,0,0,7,0,0,7,0,0,7,0,0,0,8,0,3,0,0,0,0,8,0,0,9,9,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,2,3,1,1,3,1,1,1,1,8,1,4,1,1,1,4,1,1,4,1,1,5,1,1,1,1,5,6,1,1,1,6,1,1,1,1,6,6,1,1,1,7,1,1,1,4,1,1,7,1,1,8,1,1,8,1,1,1,1,8,1,9,1,2,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,8,1,2,1,2,1,1,1,1,2,1,1,5,1,1,5,1,1,6,1,1,1,4,1,1,1,4,4,1,1,1,1,7,1,1,1,4,7,1,1,1,1,6,1,1,6,1,1,6,1,1,1,9,1,2,1,1,1,1,9,1,1,8,8,1,1,1,1,1,1,8]),
    function(m(_,_), [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,9,0,3,0,3,0,0,0,0,3,0,0,4,0,0,4,0,0,7,0,0,0,5,0,0,0,5,5,0,0,0,0,6,0,0,0,5,6,0,0,0,0,7,0,0,7,0,0,7,0,0,0,8,0,3,0,0,0,0,8,0,0,9,9,0,0,0,0,0,0,9]),
    function(j(_,_), [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,2,3,1,1,3,1,1,1,1,8,1,4,1,1,1,4,1,1,4,1,1,5,1,1,1,1,5,6,1,1,1,6,1,1,1,1,6,6,1,1,1,7,1,1,1,4,1,1,7,1,1,8,1,1,8,1,1,1,1,8,1,9,1,2,1,1,1,1,1,1,9])]).
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,4,4,0,0,5,0,0,0,5,6,9,6,9,0,6,0,0,0,6,6,0,6,0,0,7,0,0,4,9,0,7,4,9,0,8,0,0,4,6,6,4,8,0,0,9,0,0,0,9,0,9,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,8,7,8,7,5,1,1,1,1,5,5,1,1,5,6,1,1,1,8,5,6,1,8,5,7,1,1,1,7,1,1,7,1,7,8,1,1,1,8,1,8,1,8,1,9,1,1,1,7,5,5,7,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,5,5,1,1,4,1,1,1,4,7,8,7,8,1,7,1,1,1,7,7,1,7,1,1,6,1,1,5,8,1,6,5,8,1,9,1,1,5,7,7,5,9,1,1,8,1,1,1,8,1,8,1,8]),
    function(m(_,_), [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,4,4,0,0,5,0,0,0,5,6,9,6,9,0,6,0,0,0,6,6,0,6,0,0,7,0,0,4,9,0,7,4,9,0,8,0,0,4,6,6,4,8,0,0,9,0,0,0,9,0,9,0,9]),
    function(j(_,_), [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,8,7,8,7,5,1,1,1,1,5,5,1,1,5,6,1,1,1,8,5,6,1,8,5,7,1,1,1,7,1,1,7,1,7,8,1,1,1,8,1,8,1,8,1,9,1,1,1,7,5,5,7,1,9])]).
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,5,2,0,0,9,0,3,0,3,3,0,0,7,3,0,0,4,0,3,4,0,0,7,4,0,0,5,5,0,0,5,5,0,0,9,0,6,2,0,0,5,6,0,0,9,0,7,0,7,7,0,0,7,7,0,0,8,0,3,4,0,0,7,8,0,0,9,9,0,0,9,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,2,6,1,1,2,3,1,1,3,4,1,1,3,8,1,4,1,1,4,4,1,1,4,8,1,5,1,2,1,1,5,6,1,1,5,6,1,6,1,1,6,6,1,1,6,7,1,1,3,4,1,1,7,8,1,8,1,1,8,8,1,1,8,8,1,9,1,2,1,1,5,6,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,4,3,1,1,8,1,2,1,2,2,1,1,6,2,1,1,5,1,2,5,1,1,6,5,1,1,4,4,1,1,4,4,1,1,8,1,7,3,1,1,4,7,1,1,8,1,6,1,6,6,1,1,6,6,1,1,9,1,2,5,1,1,6,9,1,1,8,8,1,1,8,8,1,1,8]),
    function(m(_,_), [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,5,2,0,0,9,0,3,0,3,3,0,0,7,3,0,0,4,0,3,4,0,0,7,4,0,0,5,5,0,0,5,5,0,0,9,0,6,2,0,0,5,6,0,0,9,0,7,0,7,7,0,0,7,7,0,0,8,0,3,4,0,0,7,8,0,0,9,9,0,0,9,9,0,0,9]),
    function(j(_,_), [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,2,6,1,1,2,3,1,1,3,4,1,1,3,8,1,4,1,1,4,4,1,1,4,8,1,5,1,2,1,1,5,6,1,1,5,6,1,6,1,1,6,6,1,1,6,7,1,1,3,4,1,1,7,8,1,8,1,1,8,8,1,1,8,8,1,9,1,2,1,1,5,6,1,1,9])]).
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,5,2,0,0,5,0,3,0,3,3,0,0,7,7,0,0,4,0,3,4,0,0,7,8,0,0,5,5,0,0,5,5,0,0,5,0,6,2,0,0,5,6,0,0,9,0,7,0,7,7,0,0,7,7,0,0,8,0,7,8,0,0,7,8,0,0,9,5,0,0,5,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,2,6,1,1,6,3,1,1,3,4,1,1,3,4,1,4,1,1,4,4,1,1,4,4,1,5,1,2,1,1,5,6,1,1,9,6,1,6,1,1,6,6,1,1,6,7,1,1,3,4,1,1,7,8,1,8,1,1,4,4,1,1,8,8,1,9,1,6,1,1,9,6,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,4,3,1,1,4,1,2,1,2,2,1,1,6,6,1,1,5,1,2,5,1,1,6,9,1,1,4,4,1,1,4,4,1,1,4,1,7,3,1,1,4,7,1,1,8,1,6,1,6,6,1,1,6,6,1,1,9,1,6,9,1,1,6,9,1,1,8,4,1,1,4,8,1,1,8]),
    function(m(_,_), [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,5,2,0,0,5,0,3,0,3,3,0,0,7,7,0,0,4,0,3,4,0,0,7,8,0,0,5,5,0,0,5,5,0,0,5,0,6,2,0,0,5,6,0,0,9,0,7,0,7,7,0,0,7,7,0,0,8,0,7,8,0,0,7,8,0,0,9,5,0,0,5,9,0,0,9]),
    function(j(_,_), [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,2,6,1,1,6,3,1,1,3,4,1,1,3,4,1,4,1,1,4,4,1,1,4,4,1,5,1,2,1,1,5,6,1,1,9,6,1,6,1,1,6,6,1,1,6,7,1,1,3,4,1,1,7,8,1,8,1,1,4,4,1,1,8,8,1,9,1,6,1,1,9,6,1,1,9])]).
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,5,6,9,6,9,0,3,0,3,3,0,0,3,3,0,0,4,0,3,4,0,0,4,4,0,0,5,5,0,0,5,6,9,6,9,0,6,6,0,0,6,6,0,6,0,0,7,9,3,4,9,0,7,4,9,0,8,6,3,4,6,6,4,8,0,0,9,9,0,0,9,0,9,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,2,2,1,1,2,3,1,1,3,4,1,8,7,8,7,4,1,1,4,4,1,8,7,8,7,5,1,2,1,1,5,5,1,1,5,6,1,2,8,8,5,6,1,8,5,7,1,1,7,7,1,1,7,1,7,8,1,1,8,8,1,8,1,8,1,9,1,2,7,7,5,5,7,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,4,7,8,7,8,1,2,1,2,2,1,1,2,2,1,1,5,1,2,5,1,1,5,5,1,1,4,4,1,1,4,7,8,7,8,1,7,7,1,1,7,7,1,7,1,1,6,8,2,5,8,1,6,5,8,1,9,7,2,5,7,7,5,9,1,1,8,8,1,1,8,1,8,1,8]),
    function(m(_,_), [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,5,6,9,6,9,0,3,0,3,3,0,0,3,3,0,0,4,0,3,4,0,0,4,4,0,0,5,5,0,0,5,6,9,6,9,0,6,6,0,0,6,6,0,6,0,0,7,9,3,4,9,0,7,4,9,0,8,6,3,4,6,6,4,8,0,0,9,9,0,0,9,0,9,0,9]),
    function(j(_,_), [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,2,2,1,1,2,3,1,1,3,4,1,8,7,8,7,4,1,1,4,4,1,8,7,8,7,5,1,2,1,1,5,5,1,1,5,6,1,2,8,8,5,6,1,8,5,7,1,1,7,7,1,1,7,1,7,8,1,1,8,8,1,8,1,8,1,9,1,2,7,7,5,5,7,1,9])]).
% isofilter: input=487, kept=8, checks=479, perms=3511, 4.08 seconds.