interpretation(3, [
    function(*(_,_), [
        0,1,2,
        1,2,0,
        2,0,1]),
    function(/(_,_), [
        0,2,1,
        1,0,2,
        2,1,0]),
    function(\(_,_), [
        0,1,2,
        2,0,1,
        1,2,0])]).

interpretation(3, [
    function(*(_,_), [
        0,1,2,
        2,0,1,
        1,2,0]),
    function(/(_,_), [
        0,1,2,
        2,0,1,
        1,2,0]),
    function(\(_,_), [
        0,1,2,
        1,2,0,
        2,0,1])]).

interpretation(3, [
    function(*(_,_), [
        0,2,1,
        1,0,2,
        2,1,0]),
    function(/(_,_), [
        0,1,2,
        1,2,0,
        2,0,1]),
    function(\(_,_), [
        0,2,1,
        1,0,2,
        2,1,0])]).

interpretation(3, [
    function(*(_,_), [
        0,2,1,
        2,1,0,
        1,0,2]),
    function(/(_,_), [
        0,2,1,
        2,1,0,
        1,0,2]),
    function(\(_,_), [
        0,2,1,
        2,1,0,
        1,0,2])]).

interpretation(3, [
    function(*(_,_), [
        1,0,2,
        0,2,1,
        2,1,0]),
    function(/(_,_), [
        1,0,2,
        0,2,1,
        2,1,0]),
    function(\(_,_), [
        1,0,2,
        0,2,1,
        2,1,0])]).
% isofilter: input=8, kept=5, checks=16, perms=88, 0.00 seconds.