interpretation( 6, [number = 1,seconds = 0], [
    function(f(_,_), [
        3,3,1,1,1,1,
        3,4,5,0,1,2,
        1,5,5,1,1,1,
        1,0,1,0,1,1,
        1,1,1,1,1,1,
        1,2,1,1,1,2])]).
% isofilter ignore_constants: input=10, kept=1, checks=9, perms=13, 0.01 seconds.