op(400, infix, [^,v]).

interpretation(7, [           % L1
    function(^(_,_), [
        0,0,0,0,0,0,0,
        0,1,2,3,4,5,6,
        0,2,2,0,0,2,0,
        0,3,0,3,0,3,3,
        0,4,0,0,4,0,4,
        0,5,2,3,0,5,3,
        0,6,0,3,4,3,6]),
    function(v(_,_), [
        0,1,2,3,4,5,6,
        1,1,1,1,1,1,1,
        2,1,2,5,1,5,1,
        3,1,5,3,6,5,6,
        4,1,1,6,4,1,6,
        5,1,5,5,1,5,1,
        6,1,1,6,6,1,6])]).

interpretation(7, [           % L2 (dual of L1)
    function(^(_,_), [
        0,0,0,0,0,0,0,
        0,1,2,3,4,5,6,
        0,2,2,5,0,5,0,
        0,3,5,3,6,5,6,
        0,4,0,6,4,0,6,
        0,5,5,5,0,5,0,
        0,6,0,6,6,0,6]),
    function(v(_,_), [
        0,1,2,3,4,5,6,
        1,1,1,1,1,1,1,
        2,1,2,1,1,2,1,
        3,1,1,3,1,3,3,
        4,1,1,1,4,1,4,
        5,1,2,3,1,5,3,
        6,1,1,3,4,3,6])]).

interpretation(7, [           % L3
    function(^(_,_), [
        0,0,0,0,0,0,0,
        0,1,2,3,4,5,6,
        0,2,2,0,0,2,0,
        0,3,0,3,3,3,3,
        0,4,0,3,4,4,3,
        0,5,2,3,4,5,3,
        0,6,0,3,3,3,6]),
    function(v(_,_), [
        0,1,2,3,4,5,6,
        1,1,1,1,1,1,1,
        2,1,2,5,5,5,1,
        3,1,5,3,4,5,6,
        4,1,5,4,4,5,1,
        5,1,5,5,5,5,1,
        6,1,1,6,1,1,6])]).

interpretation(6, [           % L4
    function(^(_,_), [
        0,0,0,0,0,0,
        0,1,2,3,4,5,
        0,2,2,0,0,2,
        0,3,0,3,0,3,
        0,4,0,0,4,0,
        0,5,2,3,0,5]),
    function(v(_,_), [
        0,1,2,3,4,5,
        1,1,1,1,1,1,
        2,1,2,5,1,5,
        3,1,5,3,1,5,
        4,1,1,1,4,1,
        5,1,5,5,1,5])]).

interpretation(6, [           % L5 (dual of L4)
    function(^(_,_), [
        0,0,0,0,0,0,
        0,1,2,3,4,5,
        0,2,2,5,0,5,
        0,3,5,3,0,5,
        0,4,0,0,4,0,
        0,5,5,5,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,1,3,
        4,1,1,1,4,1,
        5,1,2,3,1,5])]).

interpretation(8, [           % L6
    function(^(_,_), [
        0,0,0,0,0,0,0,0,
        0,1,2,3,4,5,6,7,
        0,2,2,2,2,0,2,2,
        0,3,2,3,2,0,3,3,
        0,4,2,2,4,0,2,4,
        0,5,0,0,0,5,0,0,
        0,6,2,3,2,0,6,6,
        0,7,2,3,4,0,6,7]),
    function(v(_,_), [
        0,1,2,3,4,5,6,7,
        1,1,1,1,1,1,1,1,
        2,1,2,3,4,1,6,7,
        3,1,3,3,7,1,6,7,
        4,1,4,7,4,1,7,7,
        5,1,1,1,1,5,1,1,
        6,1,6,6,7,1,6,7,
        7,1,7,7,7,1,7,7])]).

interpretation(9, [           % L7
    function(^(_,_), [
        0,0,0,0,0,0,0,0,0,
        0,1,2,3,4,5,6,7,8,
        0,2,2,2,2,0,2,2,2,
        0,3,2,3,2,0,2,3,2,
        0,4,2,2,4,0,4,4,4,
        0,5,0,0,0,5,0,0,5,
        0,6,2,2,4,0,6,6,6,
        0,7,2,3,4,0,6,7,6,
        0,8,2,2,4,5,6,6,8]),
    function(v(_,_), [
        0,1,2,3,4,5,6,7,8,
        1,1,1,1,1,1,1,1,1,
        2,1,2,3,4,8,6,7,8,
        3,1,3,3,7,1,7,7,1,
        4,1,4,7,4,8,6,7,8,
        5,1,8,1,8,5,8,1,8,
        6,1,6,7,6,8,6,7,8,
        7,1,7,7,7,1,7,7,1,
        8,1,8,1,8,8,8,1,8])]).

interpretation(9, [           % L8 (dual of L7)
    function(^(_,_), [
        0,0,0,0,0,0,0,0,0,
        0,1,2,3,4,5,6,7,8,
        0,2,2,3,4,8,6,7,8,
        0,3,3,3,7,0,7,7,0,
        0,4,4,7,4,8,6,7,8,
        0,5,8,0,8,5,8,0,8,
        0,6,6,7,6,8,6,7,8,
        0,7,7,7,7,0,7,7,0,
        0,8,8,0,8,8,8,0,8]),
    function(v(_,_), [
        0,1,2,3,4,5,6,7,8,
        1,1,1,1,1,1,1,1,1,
        2,1,2,2,2,1,2,2,2,
        3,1,2,3,2,1,2,3,2,
        4,1,2,2,4,1,4,4,4,
        5,1,1,1,1,5,1,1,5,
        6,1,2,2,4,1,6,6,6,
        7,1,2,3,4,1,6,7,6,
        8,1,2,2,4,5,6,6,8])]).

interpretation(9, [           % L9
    function(^(_,_), [
        0,0,0,0,0,0,0,0,0,
        0,1,2,3,4,5,6,7,8,
        0,2,2,2,2,2,0,2,2,
        0,3,2,3,3,2,0,3,2,
        0,4,2,3,4,2,0,4,2,
        0,5,2,2,2,5,0,5,5,
        0,6,0,0,0,0,6,0,6,
        0,7,2,3,4,5,0,7,5,
        0,8,2,2,2,5,6,5,8]),
    function(v(_,_), [
        0,1,2,3,4,5,6,7,8,
        1,1,1,1,1,1,1,1,1,
        2,1,2,3,4,5,8,7,8,
        3,1,3,3,4,7,1,7,1,
        4,1,4,4,4,7,1,7,1,
        5,1,5,7,7,5,8,7,8,
        6,1,8,1,1,8,6,1,8,
        7,1,7,7,7,7,1,7,1,
        8,1,8,1,1,8,8,1,8])]).

interpretation(9, [           % L10 (dual of L9)
    function(^(_,_), [
        0,0,0,0,0,0,0,0,0,
        0,1,2,3,4,5,6,7,8,
        0,2,2,3,4,5,8,7,8,
        0,3,3,3,4,7,0,7,0,
        0,4,4,4,4,7,0,7,0,
        0,5,5,7,7,5,8,7,8,
        0,6,8,0,0,8,6,0,8,
        0,7,7,7,7,7,0,7,0,
        0,8,8,0,0,8,8,0,8]),
    function(v(_,_), [
        0,1,2,3,4,5,6,7,8,
        1,1,1,1,1,1,1,1,1,
        2,1,2,2,2,2,1,2,2,
        3,1,2,3,3,2,1,3,2,
        4,1,2,3,4,2,1,4,2,
        5,1,2,2,2,5,1,5,5,
        6,1,1,1,1,1,6,1,6,
        7,1,2,3,4,5,1,7,5,
        8,1,2,2,2,5,6,5,8])]).

interpretation(10, [           % L11
    function(^(_,_), [
        0,0,0,0,0,0,0,0,0,0,
        0,1,2,3,4,5,6,7,8,9,
        0,2,2,0,2,2,2,2,2,2,
        0,3,0,3,0,0,3,0,3,0,
        0,4,2,0,4,2,4,4,4,4,
        0,5,2,0,2,5,2,2,2,5,
        0,6,2,3,4,2,6,4,6,4,
        0,7,2,0,4,2,4,7,7,7,
        0,8,2,3,4,2,6,7,8,7,
        0,9,2,0,4,5,4,7,7,9]),
    function(v(_,_), [
        0,1,2,3,4,5,6,7,8,9,
        1,1,1,1,1,1,1,1,1,1,
        2,1,2,6,4,5,6,7,8,9,
        3,1,6,3,6,1,6,8,8,1,
        4,1,4,6,4,9,6,7,8,9,
        5,1,5,1,9,5,1,9,1,9,
        6,1,6,6,6,1,6,8,8,1,
        7,1,7,8,7,9,8,7,8,9,
        8,1,8,8,8,1,8,8,8,1,
        9,1,9,1,9,9,1,9,1,9])]).

interpretation(10, [           % L12 (dual of L11)
    function(^(_,_), [
        0,0,0,0,0,0,0,0,0,0,
        0,1,2,3,4,5,6,7,8,9,
        0,2,2,6,4,5,6,7,8,9,
        0,3,6,3,6,0,6,8,8,0,
        0,4,4,6,4,9,6,7,8,9,
        0,5,5,0,9,5,0,9,0,9,
        0,6,6,6,6,0,6,8,8,0,
        0,7,7,8,7,9,8,7,8,9,
        0,8,8,8,8,0,8,8,8,0,
        0,9,9,0,9,9,0,9,0,9]),
    function(v(_,_), [
        0,1,2,3,4,5,6,7,8,9,
        1,1,1,1,1,1,1,1,1,1,
        2,1,2,1,2,2,2,2,2,2,
        3,1,1,3,1,1,3,1,3,1,
        4,1,2,1,4,2,4,4,4,4,
        5,1,2,1,2,5,2,2,2,5,
        6,1,2,3,4,2,6,4,6,4,
        7,1,2,1,4,2,4,7,7,7,
        8,1,2,3,4,2,6,7,8,7,
        9,1,2,1,4,5,4,7,7,9])]).

interpretation(9, [           % L13
    function(^(_,_), [
        0,0,0,0,0,0,0,0,0,
        0,1,2,3,4,5,6,7,8,
        0,2,2,2,0,0,2,2,0,
        0,3,2,3,0,0,3,3,0,
        0,4,0,0,4,0,4,0,4,
        0,5,0,0,0,5,0,5,5,
        0,6,2,3,4,0,6,3,4,
        0,7,2,3,0,5,3,7,5,
        0,8,0,0,4,5,4,5,8]),
    function(v(_,_), [
        0,1,2,3,4,5,6,7,8,
        1,1,1,1,1,1,1,1,1,
        2,1,2,3,6,7,6,7,1,
        3,1,3,3,6,7,6,7,1,
        4,1,6,6,4,8,6,1,8,
        5,1,7,7,8,5,1,7,8,
        6,1,6,6,6,1,6,1,1,
        7,1,7,7,1,7,1,7,1,
        8,1,1,1,8,8,1,1,8])]).

interpretation(9, [           % L14 (dual of L13)
    function(^(_,_), [
        0,0,0,0,0,0,0,0,0,
        0,1,2,3,4,5,6,7,8,
        0,2,2,3,6,7,6,7,0,
        0,3,3,3,6,7,6,7,0,
        0,4,6,6,4,8,6,0,8,
        0,5,7,7,8,5,0,7,8,
        0,6,6,6,6,0,6,0,0,
        0,7,7,7,0,7,0,7,0,
        0,8,0,0,8,8,0,0,8]),
    function(v(_,_), [
        0,1,2,3,4,5,6,7,8,
        1,1,1,1,1,1,1,1,1,
        2,1,2,2,1,1,2,2,1,
        3,1,2,3,1,1,3,3,1,
        4,1,1,1,4,1,4,1,4,
        5,1,1,1,1,5,1,5,5,
        6,1,2,3,4,1,6,3,4,
        7,1,2,3,1,5,3,7,5,
        8,1,1,1,4,5,4,5,8])]).

interpretation(10, [           % L15
    function(^(_,_), [
        0,0,0,0,0,0,0,0,0,0,
        0,1,2,3,4,5,6,7,8,9,
        0,2,2,0,2,2,0,2,2,2,
        0,3,0,3,3,0,3,3,3,3,
        0,4,2,3,4,2,3,4,4,4,
        0,5,2,0,2,5,0,2,5,2,
        0,6,0,3,3,0,6,3,3,6,
        0,7,2,3,4,2,3,7,7,7,
        0,8,2,3,4,5,3,7,8,7,
        0,9,2,3,4,2,6,7,7,9]),
    function(v(_,_), [
        0,1,2,3,4,5,6,7,8,9,
        1,1,1,1,1,1,1,1,1,1,
        2,1,2,4,4,5,9,7,8,9,
        3,1,4,3,4,8,6,7,8,9,
        4,1,4,4,4,8,9,7,8,9,
        5,1,5,8,8,5,1,8,8,1,
        6,1,9,6,9,1,6,9,1,9,
        7,1,7,7,7,8,9,7,8,9,
        8,1,8,8,8,8,1,8,8,1,
        9,1,9,9,9,1,9,9,1,9])]).

interpretation(5, [           % M3
    function(^(_,_), [
        0,0,0,0,0,
        0,1,2,3,4,
        0,2,2,0,0,
        0,3,0,3,0,
        0,4,0,0,4]),
    function(v(_,_), [
        0,1,2,3,4,
        1,1,1,1,1,
        2,1,2,1,1,
        3,1,1,3,1,
        4,1,1,1,4])]).

interpretation(5, [           % N5
    function(^(_,_), [
        0,0,0,0,0,
        0,1,2,3,4,
        0,2,2,3,0,
        0,3,3,3,0,
        0,4,0,0,4]),
    function(v(_,_), [
        0,1,2,3,4,
        1,1,1,1,1,
        2,1,2,2,1,
        3,1,2,3,1,
        4,1,1,1,4])]).

interpretation(8, [           % NM08
    function(^(_,_), [
        0,0,0,0,0,0,0,0,
        0,1,2,3,4,5,6,7,
        0,2,2,2,2,2,0,2,
        0,3,2,3,2,2,0,3,
        0,4,2,2,4,2,0,4,
        0,5,2,2,2,5,0,5,
        0,6,0,0,0,0,6,0,
        0,7,2,3,4,5,0,7]),
    function(v(_,_), [
        0,1,2,3,4,5,6,7,
        1,1,1,1,1,1,1,1,
        2,1,2,3,4,5,1,7,
        3,1,3,3,7,7,1,7,
        4,1,4,7,4,7,1,7,
        5,1,5,7,7,5,1,7,
        6,1,1,1,1,1,6,1,
        7,1,7,7,7,7,1,7])]).