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])]).
% isofilter: input=1, kept=1, checks=0, perms=0, 0.01 seconds.