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]),
    function(m(_,_), [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(j(_,_), [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])]).
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,7,0,5,0,0,0,5,5,0,0,6,0,0,0,5,6,0,0,7,0,0,7,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,4,5,1,1,1,1,5,6,1,6,1,1,1,1,6,6,1,7,1,1,1,4,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,6,1,4,1,1,1,4,4,1,1,7,1,1,1,4,7,1,1,6,1,1,6,1,1,6]),
    function(m(_,_), [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,7,0,5,0,0,0,5,5,0,0,6,0,0,0,5,6,0,0,7,0,0,7,0,0,7]),
    function(j(_,_), [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,4,5,1,1,1,1,5,6,1,6,1,1,1,1,6,6,1,7,1,1,1,4,1,1,7])]).
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,5,2,0,0,3,0,3,3,0,0,7,0,4,0,3,4,0,0,7,0,5,5,0,0,5,5,0,0,6,2,0,0,5,6,0,0,7,0,7,7,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,2,6,1,3,1,1,3,4,1,1,3,4,1,1,4,4,1,1,4,5,1,2,1,1,5,6,1,6,1,6,1,1,6,6,1,7,1,1,3,4,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,4,3,1,1,2,1,2,2,1,1,6,1,5,1,2,5,1,1,6,1,4,4,1,1,4,4,1,1,7,3,1,1,4,7,1,1,6,1,6,6,1,1,6]),
    function(m(_,_), [0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,0,2,2,0,0,5,2,0,0,3,0,3,3,0,0,7,0,4,0,3,4,0,0,7,0,5,5,0,0,5,5,0,0,6,2,0,0,5,6,0,0,7,0,7,7,0,0,7]),
    function(j(_,_), [0,1,2,3,4,5,6,7,1,1,1,1,1,1,1,1,2,1,2,1,1,2,6,1,3,1,1,3,4,1,1,3,4,1,1,4,4,1,1,4,5,1,2,1,1,5,6,1,6,1,6,1,1,6,6,1,7,1,1,3,4,1,1,7])]).
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,2,2,0,0,3,0,3,4,7,4,7,0,4,0,4,4,0,4,0,0,5,2,7,0,5,2,7,0,6,2,4,4,2,6,0,0,7,0,7,0,7,0,7]),
    function(v(_,_), [0,1,2,3,4,5,6,7,1,1,1,1,1,1,1,1,2,1,2,1,6,5,6,5,3,1,1,3,3,1,1,3,4,1,6,3,4,1,6,3,5,1,5,1,1,5,1,5,6,1,6,1,6,1,6,1,7,1,5,3,3,5,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,3,3,1,1,2,1,2,5,6,5,6,1,5,1,5,5,1,5,1,1,4,3,6,1,4,3,6,1,7,3,5,5,3,7,1,1,6,1,6,1,6,1,6]),
    function(m(_,_), [0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,0,2,2,0,0,2,2,0,0,3,0,3,4,7,4,7,0,4,0,4,4,0,4,0,0,5,2,7,0,5,2,7,0,6,2,4,4,2,6,0,0,7,0,7,0,7,0,7]),
    function(j(_,_), [0,1,2,3,4,5,6,7,1,1,1,1,1,1,1,1,2,1,2,1,6,5,6,5,3,1,1,3,3,1,1,3,4,1,6,3,4,1,6,3,5,1,5,1,1,5,1,5,6,1,6,1,6,1,6,1,7,1,5,3,3,5,1,7])]).
% isofilter: input=41, kept=4, checks=37, perms=61, 0.21 seconds.