M128:=[
    [ <1, 0>, <2, 2>, <4, -1>, <8, 4>, <16, -2>, <32, 8>, <64, -5>, <128, 2> ],
    [ <1, 0>, <2, 0>, <4, 0>, <8, -6>, <16, 17>, <32, -4>, <64, -1>, <128, 2> ],
    [ <1, 0>, <2, 0>, <4, 0>, <8, -3>, <16, 9>, <32, -1>, <64, 1>, <128, 2> ],
    [ <1, 0>, <2, 0>, <4, 4>, <8, 1>, <16, -3>, <32, 7>, <64, -3>, <128, 2> ],
    [ <1, 2>, <2, -1>, <4, -4>, <8, 9>, <16, -3>, <32, 0>, <64, 3>, <128, 2> ],
    [ <1, 0>, <2, 0>, <4, 4>, <8, 2>, <16, -6>, <32, 10>, <64, -6>, <128, 4> ],
    [ <1, 8>, <2, -2>, <4, 3>, <8, 0>, <16, -1>, <32, 0>, <64, 0>, <128, 0> ],
    [ <1, -2>, <2, 7>, <4, -3>, <8, -3>, <16, 9>, <32, 0>, <64, 0>, <128, 0> ],
    [ <1, 0>, <2, 0>, <4, -2>, <8, 8>, <16, -4>, <32, 2>, <64, 4>, <128, 0> ],
    [ <1, 0>, <2, 0>, <4, -4>, <8, 8>, <16, 0>, <32, 8>, <64, -4>, <128, 0> ],
    [ <1, 0>, <2, 0>, <4, 0>, <8, 0>, <16, -1>, <32, 0>, <64, -1>, <128, 10> ],
    [ <1, -2>, <2, 9>, <4, -4>, <8, -3>, <16, 10>, <32, -2>, <64, 0>, <128, 0> 
    ],
    [ <1, 0>, <2, 2>, <4, 3>, <8, 0>, <16, -1>, <32, 0>, <64, -4>, <128, 8> ],
    [ <1, 2>, <2, -1>, <4, 0>, <8, -3>, <16, 5>, <32, 0>, <64, 3>, <128, 2> ],
    [ <1, 0>, <2, 4>, <4, -2>, <8, 8>, <16, -4>, <32, 0>, <64, -2>, <128, 4> ],
    [ <1, 0>, <2, 0>, <4, -4>, <8, 7>, <16, 1>, <32, 1>, <64, 1>, <128, 2> ],
    [ <1, 0>, <2, 2>, <4, -5>, <8, 12>, <16, -2>, <32, 0>, <64, -1>, <128, 2> ],
    [ <1, 0>, <2, 0>, <4, 2>, <8, -2>, <16, 9>, <32, -2>, <64, -1>, <128, 2> ],
    [ <1, 0>, <2, 0>, <4, 0>, <8, -4>, <16, 8>, <32, 0>, <64, -4>, <128, 8> ],
    [ <1, 2>, <2, -1>, <4, -2>, <8, 9>, <16, -2>, <32, 2>, <64, 0>, <128, 0> ],
    [ <1, 0>, <2, 0>, <4, 0>, <8, 9>, <16, -4>, <32, 1>, <64, 2>, <128, 0> ],
    [ <1, 0>, <2, 2>, <4, -1>, <8, 4>, <16, -2>, <32, 0>, <64, -5>, <128, 10> ],
    [ <1, 0>, <2, 0>, <4, 0>, <8, 0>, <16, -1>, <32, 8>, <64, -1>, <128, 2> ],
    [ <1, 0>, <2, 0>, <4, -4>, <8, 8>, <16, 0>, <32, 0>, <64, -4>, <128, 8> ],
    [ <1, 0>, <2, 0>, <4, 2>, <8, -1>, <16, 6>, <32, 1>, <64, -4>, <128, 4> ],
    [ <1, 0>, <2, 4>, <4, 2>, <8, -4>, <16, 8>, <32, -2>, <64, 0>, <128, 0> ],
    [ <1, 2>, <2, 1>, <4, 1>, <8, 0>, <16, 0>, <32, 1>, <64, 1>, <128, 2> ],
    [ <1, -2>, <2, 7>, <4, -3>, <8, -1>, <16, 10>, <32, -4>, <64, -1>, <128, 2> 
    ],
    [ <1, 10>, <2, -5>, <4, -4>, <8, 9>, <16, -2>, <32, 0>, <64, 0>, <128, 0> ],
    [ <1, 4>, <2, 2>, <4, 2>, <8, 2>, <16, -2>, <32, 0>, <64, 0>, <128, 0> ],
    [ <1, 2>, <2, 5>, <4, -3>, <8, 4>, <16, -3>, <32, 1>, <64, 2>, <128, 0> ],
    [ <1, 2>, <2, 1>, <4, -1>, <8, 2>, <16, 2>, <32, -1>, <64, 1>, <128, 2> ],
    [ <1, 2>, <2, 1>, <4, 1>, <8, -1>, <16, 8>, <32, -4>, <64, -1>, <128, 2> ],
    [ <1, 0>, <2, 0>, <4, -4>, <8, 8>, <16, -1>, <32, 0>, <64, 3>, <128, 2> ],
    [ <1, 0>, <2, 0>, <4, 0>, <8, -2>, <16, 0>, <32, 6>, <64, 4>, <128, 0> ],
    [ <1, 0>, <2, 0>, <4, 0>, <8, -5>, <16, 9>, <32, 1>, <64, 1>, <128, 2> ],
    [ <1, 0>, <2, 0>, <4, -8>, <8, 16>, <16, 0>, <32, 0>, <64, 0>, <128, 0> ],
    [ <1, 2>, <2, -1>, <4, -4>, <8, 8>, <16, -1>, <32, 1>, <64, 1>, <128, 2> ],
    [ <1, 0>, <2, 2>, <4, -3>, <8, 4>, <16, -3>, <32, 4>, <64, 4>, <128, 0> ],
    [ <1, 0>, <2, 0>, <4, 0>, <8, 0>, <16, 0>, <32, 0>, <64, -8>, <128, 16> ],
    [ <1, 2>, <2, -7>, <4, 13>, <8, -3>, <16, 1>, <32, 2>, <64, 0>, <128, 0> ],
    [ <1, 6>, <2, 3>, <4, -3>, <8, 1>, <16, 1>, <32, 0>, <64, 0>, <128, 0> ],
    [ <1, 0>, <2, 0>, <4, 2>, <8, 0>, <16, -1>, <32, 2>, <64, 3>, <128, 2> ],
    [ <1, 8>, <2, -4>, <4, 0>, <8, -1>, <16, 1>, <32, 1>, <64, 1>, <128, 2> ],
    [ <1, 0>, <2, 2>, <4, -3>, <8, 5>, <16, -3>, <32, 1>, <64, -2>, <128, 8> ],
    [ <1, 0>, <2, 0>, <4, -2>, <8, 9>, <16, -5>, <32, -1>, <64, 5>, <128, 2> ],
    [ <1, 0>, <2, 0>, <4, 0>, <8, -1>, <16, 8>, <32, -1>, <64, 2>, <128, 0> ],
    [ <1, 0>, <2, 0>, <4, -4>, <8, 8>, <16, 8>, <32, -4>, <64, 0>, <128, 0> ],
    [ <1, 8>, <2, -4>, <4, 0>, <8, 0>, <16, 8>, <32, -4>, <64, 0>, <128, 0> ],
    [ <1, 0>, <2, 2>, <4, 1>, <8, 5>, <16, -5>, <32, 5>, <64, -4>, <128, 4> ],
    [ <1, 2>, <2, -1>, <4, 8>, <8, -1>, <16, 0>, <32, 0>, <64, 0>, <128, 0> ],
    [ <1, 2>, <2, 1>, <4, -1>, <8, -6>, <16, 13>, <32, -3>, <64, 2>, <128, 0> ],
    [ <1, 2>, <2, -5>, <4, 4>, <8, 9>, <16, -2>, <32, 0>, <64, 0>, <128, 0> ],
    [ <1, -2>, <2, 7>, <4, -3>, <8, 0>, <16, 2>, <32, 1>, <64, 1>, <128, 2> ],
    [ <1, 0>, <2, 0>, <4, 2>, <8, 1>, <16, -4>, <32, 5>, <64, 0>, <128, 4> ],
    [ <1, 0>, <2, 0>, <4, 0>, <8, -1>, <16, 0>, <32, 1>, <64, 4>, <128, 4> ]
];
