interpretation(8, [
    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(c(_), [1,0,3,2,5,4,7,6]),
    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(^(_,_), [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(c(_), [1,0,3,2,5,4,7,6]),
    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])]).
interpretation(8, [
    function(^(_,_), [0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,0,2,2,0,0,7,0,7,0,3,0,3,0,0,3,0,0,4,0,0,4,0,4,0,0,5,7,0,0,5,0,7,0,6,0,3,4,0,6,0,0,7,7,0,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,1,1,1,2,3,1,1,3,6,1,6,1,4,1,1,6,4,1,6,1,5,1,1,1,1,5,1,5,6,1,1,6,6,1,6,1,7,1,2,1,1,5,1,7]),
    function(c(_), [1,0,3,2,5,4,7,6]),
    function(f(_,_), [1,1,1,1,1,1,1,1,1,0,3,2,5,4,7,6,1,3,3,1,1,6,1,6,1,2,1,2,1,1,2,1,1,5,1,1,5,1,5,1,1,4,6,1,1,4,1,6,1,7,1,2,5,1,7,1,1,6,6,1,1,6,1,6])]).
interpretation(8, [
    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(c(_), [1,0,3,2,5,4,7,6]),
    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])]).
% interpfilter distributivity nonmodels: checked 5, passed 4, 0.02 seconds.