M64:=
[
    [ <1, 0>, <2, -2>, <4, 7>, <8, -3>, <16, -1>, <32, 1>, <64, 2> ],
    [ <1, 2>, <2, 3>, <4, -2>, <8, -1>, <16, 2>, <32, 0>, <64, 0> ],
    [ <1, 0>, <2, 2>, <4, 1>, <8, -4>, <16, 7>, <32, -2>, <64, 0> ],
    [ <1, 0>, <2, 0>, <4, 6>, <8, -4>, <16, 2>, <32, 0>, <64, 0> ],
    [ <1, 0>, <2, 0>, <4, 2>, <8, -1>, <16, -2>, <32, 3>, <64, 2> ],
    [ <1, 0>, <2, -2>, <4, 7>, <8, -4>, <16, 1>, <32, 2>, <64, 0> ],
    [ <1, 0>, <2, -4>, <4, 8>, <8, 0>, <16, 0>, <32, 0>, <64, 0> ],
    [ <1, 0>, <2, 2>, <4, 3>, <8, -2>, <16, -1>, <32, 2>, <64, 0> ],
    [ <1, 0>, <2, 0>, <4, 0>, <8, 0>, <16, 8>, <32, -4>, <64, 0> ],
    [ <1, 8>, <2, -4>, <4, 0>, <8, 0>, <16, 0>, <32, 0>, <64, 0> ],
    [ <1, 0>, <2, 0>, <4, 0>, <8, 0>, <16, 0>, <32, -4>, <64, 8> ],
    [ <1, 0>, <2, 0>, <4, -4>, <8, 8>, <16, 0>, <32, 0>, <64, 0> ],
    [ <1, 0>, <2, 0>, <4, 0>, <8, 8>, <16, -4>, <32, 0>, <64, 0> ],
    [ <1, 2>, <2, 1>, <4, -1>, <8, -3>, <16, 7>, <32, -2>, <64, 0> ]
]
;
M64:=
[
    [ <1, 0>, <2, 2>, <4, 5>, <8, -3>, <16, -3>, <32, 5>, <64, 2> ],
    [ <1, 8>, <2, -4>, <4, -4>, <8, 8>, <16, 0>, <32, 0>, <64, 0> ],
    [ <1, 0>, <2, -2>, <4, 9>, <8, -1>, <16, -3>, <32, 7>, <64, -2> ],
    [ <1, 0>, <2, -4>, <4, 12>, <8, -2>, <16, 0>, <32, -2>, <64, 4> ],
    [ <1, -2>, <2, 9>, <4, -2>, <8, -1>, <16, 8>, <32, -4>, <64, 0> ],
    [ <1, 0>, <2, 0>, <4, -4>, <8, 8>, <16, 8>, <32, -4>, <64, 0> ],
    [ <1, 0>, <2, 2>, <4, 1>, <8, -1>, <16, 5>, <32, 3>, <64, -2> ],
    [ <1, -2>, <2, 7>, <4, 1>, <8, -3>, <16, 1>, <32, 0>, <64, 4> ],
    [ <1, -4>, <2, 18>, <4, -4>, <8, -2>, <16, 0>, <32, 0>, <64, 0> ],
    [ <1, -2>, <2, 9>, <4, 2>, <8, -3>, <16, 0>, <32, -2>, <64, 4> ],
    [ <1, 8>, <2, -4>, <4, 0>, <8, -1>, <16, -2>, <32, 9>, <64, -2> ],
    [ <1, -2>, <2, 7>, <4, -3>, <8, -1>, <16, 9>, <32, -2>, <64, 0> ],
    [ <1, 0>, <2, 0>, <4, 0>, <8, 0>, <16, 0>, <32, -8>, <64, 16> ],
    [ <1, 4>, <2, 6>, <4, -4>, <8, -1>, <16, 0>, <32, 5>, <64, -2> ],
    [ <1, 0>, <2, 0>, <4, 0>, <8, -1>, <16, 6>, <32, 5>, <64, -2> ],
    [ <1, -2>, <2, 7>, <4, -3>, <8, -2>, <16, -1>, <32, 11>, <64, -2> ],
    [ <1, 0>, <2, 0>, <4, 0>, <8, 0>, <16, 16>, <32, -8>, <64, 0> ],
    [ <1, 0>, <2, 2>, <4, 1>, <8, -1>, <16, -3>, <32, 3>, <64, 6> ],
    [ <1, 0>, <2, -4>, <4, 8>, <8, 0>, <16, 0>, <32, -4>, <64, 8> ],
    [ <1, 8>, <2, -4>, <4, 0>, <8, 8>, <16, -4>, <32, 0>, <64, 0> ],
    [ <1, -2>, <2, 5>, <4, 6>, <8, -1>, <16, 0>, <32, 0>, <64, 0> ],
    [ <1, 0>, <2, 0>, <4, -4>, <8, 16>, <16, -4>, <32, 0>, <64, 0> ],
    [ <1, -4>, <2, 12>, <4, -3>, <8, -2>, <16, -3>, <32, 12>, <64, -4> ],
    [ <1, 2>, <2, 7>, <4, -2>, <8, -3>, <16, 4>, <32, 0>, <64, 0> ],
    [ <1, -2>, <2, 3>, <4, 5>, <8, -1>, <16, 1>, <32, 2>, <64, 0> ],
    [ <1, 0>, <2, 6>, <4, -1>, <8, -1>, <16, -5>, <32, 11>, <64, -2> ],
    [ <1, 6>, <2, 5>, <4, -2>, <8, -1>, <16, 0>, <32, 0>, <64, 0> ],
    [ <1, 4>, <2, 2>, <4, -2>, <8, -2>, <16, 2>, <32, 4>, <64, 0> ],
    [ <1, 0>, <2, 0>, <4, -8>, <8, 16>, <16, 0>, <32, 0>, <64, 0> ],
    [ <1, 2>, <2, 5>, <4, -3>, <8, -3>, <16, 5>, <32, 2>, <64, 0> ]
]
;
