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,6,5,6,5,
        0,3,0,3,3,0,0,3,
        0,4,6,3,4,0,6,3,
        0,5,5,0,0,5,0,5,
        0,6,6,0,6,0,6,0,
        0,7,5,3,3,5,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,2,1,
        3,1,1,3,4,7,4,7,
        4,1,1,4,4,1,4,1,
        5,1,2,7,1,5,2,7,
        6,1,2,4,4,2,6,1,
        7,1,1,7,1,7,1,7]),
    function(f(_,_), [
        1,1,1,1,1,1,1,1,
        1,0,3,2,5,4,7,6,
        1,3,3,1,7,4,7,4,
        1,2,1,2,2,1,1,2,
        1,5,7,2,5,1,7,2,
        1,4,4,1,1,4,1,4,
        1,7,7,1,7,1,7,1,
        1,6,4,2,2,4,1,6])]).
% isofilter: input=5, kept=2, checks=3, perms=3, 0.01 seconds.