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