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,9,0,9,
        0,5,0,0,0,5,0,0,5,0,
        0,6,0,0,0,0,6,0,6,0,
        0,7,0,0,9,0,0,7,0,9,
        0,8,0,0,0,5,6,0,8,0,
        0,9,0,0,9,0,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,1,1,1,4,
        5,1,1,1,1,5,8,1,8,1,
        6,1,1,1,1,8,6,1,8,1,
        7,1,1,1,1,1,1,7,1,7,
        8,1,1,1,1,8,8,1,8,1,
        9,1,1,1,4,1,1,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,8,1,8,
        1,4,1,1,1,4,1,1,4,1,
        1,7,1,1,1,1,7,1,7,1,
        1,6,1,1,8,1,1,6,1,8,
        1,9,1,1,1,4,7,1,9,1,
        1,8,1,1,8,1,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,9,0,9,
        0,5,0,0,0,5,0,0,5,0,
        0,6,0,0,0,0,6,0,6,0,
        0,7,0,0,9,0,0,7,0,9,
        0,8,0,0,0,5,6,0,8,0,
        0,9,0,0,9,0,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,1,1,1,4,
        5,1,1,1,1,5,8,1,8,1,
        6,1,1,1,1,8,6,1,8,1,
        7,1,1,1,1,1,1,7,1,7,
        8,1,1,1,1,8,8,1,8,1,
        9,1,1,1,4,1,1,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,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,0,0,9,0,9,
        0,3,0,3,0,0,0,0,3,0,
        0,4,0,0,4,0,0,4,0,0,
        0,5,0,0,0,5,6,0,6,0,
        0,6,0,0,0,6,6,0,6,0,
        0,7,9,0,4,0,0,7,0,9,
        0,8,0,3,0,6,6,0,8,0,
        0,9,9,0,0,0,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,2,
        3,1,1,3,1,1,8,1,8,1,
        4,1,1,1,4,1,1,7,1,7,
        5,1,1,1,1,5,5,1,1,1,
        6,1,1,8,1,5,6,1,8,1,
        7,1,1,1,7,1,1,7,1,7,
        8,1,1,8,1,1,8,1,8,1,
        9,1,2,1,7,1,1,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,8,1,8,
        1,2,1,2,1,1,1,1,2,1,
        1,5,1,1,5,1,1,5,1,1,
        1,4,1,1,1,4,7,1,7,1,
        1,7,1,1,1,7,7,1,7,1,
        1,6,8,1,5,1,1,6,1,8,
        1,9,1,2,1,7,7,1,9,1,
        1,8,8,1,1,1,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,9,0,9,
        0,3,0,3,0,0,0,0,3,0,
        0,4,0,0,4,0,0,4,0,0,
        0,5,0,0,0,5,6,0,6,0,
        0,6,0,0,0,6,6,0,6,0,
        0,7,9,0,4,0,0,7,0,9,
        0,8,0,3,0,6,6,0,8,0,
        0,9,9,0,0,0,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,2,
        3,1,1,3,1,1,8,1,8,1,
        4,1,1,1,4,1,1,7,1,7,
        5,1,1,1,1,5,5,1,1,1,
        6,1,1,8,1,5,6,1,8,1,
        7,1,1,1,7,1,1,7,1,7,
        8,1,1,8,1,1,8,1,8,1,
        9,1,2,1,7,1,1,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,7,0,7,2,0,
        0,3,0,3,0,0,3,0,0,9,
        0,4,0,0,4,0,4,0,0,0,
        0,5,7,0,0,5,0,7,7,0,
        0,6,0,3,4,0,6,0,0,9,
        0,7,7,0,0,7,0,7,7,0,
        0,8,2,0,0,7,0,7,8,0,
        0,9,0,9,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,2,8,1,
        3,1,1,3,6,1,6,1,1,3,
        4,1,1,6,4,1,6,1,1,6,
        5,1,1,1,1,5,1,5,1,1,
        6,1,1,6,6,1,6,1,1,6,
        7,1,2,1,1,5,1,7,8,1,
        8,1,8,1,1,1,1,8,8,1,
        9,1,1,3,6,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,6,1,6,3,1,
        1,2,1,2,1,1,2,1,1,8,
        1,5,1,1,5,1,5,1,1,1,
        1,4,6,1,1,4,1,6,6,1,
        1,7,1,2,5,1,7,1,1,8,
        1,6,6,1,1,6,1,6,6,1,
        1,9,3,1,1,6,1,6,9,1,
        1,8,1,8,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,7,0,7,2,0,
        0,3,0,3,0,0,3,0,0,9,
        0,4,0,0,4,0,4,0,0,0,
        0,5,7,0,0,5,0,7,7,0,
        0,6,0,3,4,0,6,0,0,9,
        0,7,7,0,0,7,0,7,7,0,
        0,8,2,0,0,7,0,7,8,0,
        0,9,0,9,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,2,8,1,
        3,1,1,3,6,1,6,1,1,3,
        4,1,1,6,4,1,6,1,1,6,
        5,1,1,1,1,5,1,5,1,1,
        6,1,1,6,6,1,6,1,1,6,
        7,1,2,1,1,5,1,7,8,1,
        8,1,8,1,1,1,1,8,8,1,
        9,1,1,3,6,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,7,0,7,7,0,
        0,3,0,3,0,0,3,0,0,0,
        0,4,0,0,4,0,4,0,0,0,
        0,5,7,0,0,5,0,7,7,0,
        0,6,0,3,4,0,6,0,0,9,
        0,7,7,0,0,7,0,7,7,0,
        0,8,7,0,0,7,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,2,1,1,
        3,1,1,3,6,1,6,1,1,6,
        4,1,1,6,4,1,6,1,1,6,
        5,1,1,1,1,5,1,5,1,1,
        6,1,1,6,6,1,6,1,1,6,
        7,1,2,1,1,5,1,7,8,1,
        8,1,1,1,1,1,1,8,8,1,
        9,1,1,6,6,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,6,1,6,6,1,
        1,2,1,2,1,1,2,1,1,1,
        1,5,1,1,5,1,5,1,1,1,
        1,4,6,1,1,4,1,6,6,1,
        1,7,1,2,5,1,7,1,1,8,
        1,6,6,1,1,6,1,6,6,1,
        1,9,6,1,1,6,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,7,0,7,7,0,
        0,3,0,3,0,0,3,0,0,0,
        0,4,0,0,4,0,4,0,0,0,
        0,5,7,0,0,5,0,7,7,0,
        0,6,0,3,4,0,6,0,0,9,
        0,7,7,0,0,7,0,7,7,0,
        0,8,7,0,0,7,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,2,1,1,
        3,1,1,3,6,1,6,1,1,6,
        4,1,1,6,4,1,6,1,1,6,
        5,1,1,1,1,5,1,5,1,1,
        6,1,1,6,6,1,6,1,1,6,
        7,1,2,1,1,5,1,7,8,1,
        8,1,1,1,1,1,1,8,8,1,
        9,1,1,6,6,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,7,0,7,8,0,
        0,3,0,3,0,0,3,0,0,3,
        0,4,0,0,4,0,4,0,0,4,
        0,5,7,0,0,5,0,7,8,0,
        0,6,0,3,4,0,6,0,0,6,
        0,7,7,0,0,7,0,7,8,0,
        0,8,8,0,0,8,0,8,8,0,
        0,9,0,3,4,0,6,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,2,2,1,
        3,1,1,3,6,1,6,1,1,9,
        4,1,1,6,4,1,6,1,1,9,
        5,1,1,1,1,5,1,5,5,1,
        6,1,1,6,6,1,6,1,1,9,
        7,1,2,1,1,5,1,7,7,1,
        8,1,2,1,1,5,1,7,8,1,
        9,1,1,9,9,1,9,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,6,1,6,9,1,
        1,2,1,2,1,1,2,1,1,2,
        1,5,1,1,5,1,5,1,1,5,
        1,4,6,1,1,4,1,6,9,1,
        1,7,1,2,5,1,7,1,1,7,
        1,6,6,1,1,6,1,6,9,1,
        1,9,9,1,1,9,1,9,9,1,
        1,8,1,2,5,1,7,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,7,0,7,8,0,
        0,3,0,3,0,0,3,0,0,3,
        0,4,0,0,4,0,4,0,0,4,
        0,5,7,0,0,5,0,7,8,0,
        0,6,0,3,4,0,6,0,0,6,
        0,7,7,0,0,7,0,7,8,0,
        0,8,8,0,0,8,0,8,8,0,
        0,9,0,3,4,0,6,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,2,2,1,
        3,1,1,3,6,1,6,1,1,9,
        4,1,1,6,4,1,6,1,1,9,
        5,1,1,1,1,5,1,5,5,1,
        6,1,1,6,6,1,6,1,1,9,
        7,1,2,1,1,5,1,7,7,1,
        8,1,2,1,1,5,1,7,8,1,
        9,1,1,9,9,1,9,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,7,0,7,0,7,
        0,3,0,3,0,0,3,0,0,0,
        0,4,0,0,4,0,4,0,0,4,
        0,5,7,0,0,5,8,7,8,7,
        0,6,0,3,4,8,6,0,8,4,
        0,7,7,0,0,7,0,7,0,7,
        0,8,0,0,0,8,8,0,8,0,
        0,9,7,0,4,7,4,7,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,2,1,1,
        3,1,1,3,6,1,6,1,6,1,
        4,1,1,6,4,1,6,9,6,9,
        5,1,1,1,1,5,1,5,5,1,
        6,1,1,6,6,1,6,1,6,1,
        7,1,2,1,9,5,1,7,5,9,
        8,1,1,6,6,5,6,5,8,1,
        9,1,1,1,9,1,1,9,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,6,1,6,1,6,
        1,2,1,2,1,1,2,1,1,1,
        1,5,1,1,5,1,5,1,1,5,
        1,4,6,1,1,4,9,6,9,6,
        1,7,1,2,5,9,7,1,9,5,
        1,6,6,1,1,6,1,6,1,6,
        1,9,1,1,1,9,9,1,9,1,
        1,8,6,1,5,6,5,6,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,7,0,7,0,7,
        0,3,0,3,0,0,3,0,0,0,
        0,4,0,0,4,0,4,0,0,4,
        0,5,7,0,0,5,8,7,8,7,
        0,6,0,3,4,8,6,0,8,4,
        0,7,7,0,0,7,0,7,0,7,
        0,8,0,0,0,8,8,0,8,0,
        0,9,7,0,4,7,4,7,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,2,1,1,
        3,1,1,3,6,1,6,1,6,1,
        4,1,1,6,4,1,6,9,6,9,
        5,1,1,1,1,5,1,5,5,1,
        6,1,1,6,6,1,6,1,6,1,
        7,1,2,1,9,5,1,7,5,9,
        8,1,1,6,6,5,6,5,8,1,
        9,1,1,1,9,1,1,9,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,3,4,0,
        0,5,5,0,0,5,0,9,0,9,
        0,6,6,0,0,0,6,0,6,0,
        0,7,9,3,3,9,0,7,3,9,
        0,8,6,3,4,0,6,3,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,1,8,1,
        5,1,2,1,1,5,2,1,1,5,
        6,1,2,8,8,2,6,1,8,2,
        7,1,1,7,1,1,1,7,1,7,
        8,1,1,8,8,1,8,1,8,1,
        9,1,2,7,1,5,2,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,2,5,1,
        1,4,4,1,1,4,1,8,1,8,
        1,7,7,1,1,1,7,1,7,1,
        1,6,8,2,2,8,1,6,2,8,
        1,9,7,2,5,1,7,2,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,3,4,0,
        0,5,5,0,0,5,0,9,0,9,
        0,6,6,0,0,0,6,0,6,0,
        0,7,9,3,3,9,0,7,3,9,
        0,8,6,3,4,0,6,3,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,1,8,1,
        5,1,2,1,1,5,2,1,1,5,
        6,1,2,8,8,2,6,1,8,2,
        7,1,1,7,1,1,1,7,1,7,
        8,1,1,8,8,1,8,1,8,1,
        9,1,2,7,1,5,2,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,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=1247, kept=15, checks=1232, perms=6030, 6.48 seconds.