interpretation(3, [
    function(f(_,_), [
        2,1,0,
        1,1,0,
        0,0,0])]).

interpretation(4, [
    function(f(_,_), [
        1,0,3,2,
        0,0,0,0,
        3,0,1,0,
        2,0,0,1])]).

interpretation(4, [
    function(f(_,_), [
        1,1,3,2,
        1,0,0,0,
        3,0,3,0,
        2,0,0,2])]).

interpretation(4, [
    function(f(_,_), [
        3,2,1,0,
        2,2,0,0,
        1,0,1,1,
        0,0,0,0])]).

interpretation(4, [
    function(f(_,_), [
        0,2,0,2,
        0,2,0,2,
        1,3,1,3,
        1,3,1,3])]).

interpretation(4, [
    function(f(_,_), [
        3,2,1,0,
        2,2,0,0,
        1,0,1,0,
        0,0,1,0])]).

interpretation(5, [
    function(f(_,_), [
        0,2,1,4,3,
        2,3,0,1,4,
        1,0,4,3,2,
        4,1,3,2,0,
        3,4,2,0,1])]).

interpretation(6, [
    function(f(_,_), [
        5,2,4,1,3,0,
        3,3,0,0,3,0,
        1,0,1,1,0,0,
        4,0,4,4,0,0,
        2,2,0,0,2,0,
        0,0,0,0,0,0])]).

interpretation(6, [
    function(f(_,_), [
        5,4,3,2,1,0,
        4,4,3,2,0,0,
        3,3,3,0,1,0,
        2,2,0,2,1,0,
        1,0,1,1,1,0,
        0,0,0,0,0,0])]).