terms(interpretations).

interpretation( 6, [number = 1,seconds = 0], [
    function(^(_,_), [
        0,0,0,0,0,0,
        0,1,2,3,4,5,
        0,2,2,0,0,0,
        0,3,0,3,5,5,
        0,4,0,5,4,5,
        0,5,0,5,5,5]),
    function(v(_,_), [
        0,1,2,3,4,5,
        1,1,1,1,1,1,
        2,1,2,1,1,1,
        3,1,1,3,1,3,
        4,1,1,1,4,4,
        5,1,1,3,4,5]),
    function(c1, [2]),
    function(c2, [3]),
    function(c3, [4]),
    function(c4, [2]),
    function(c5, [3]),
    function(c6, [4])]).
% isofilter: input=1, kept=1, checks=0, perms=0, 0.00 seconds.

end_of_list.