M56:=[
    [ <1, 8>, <2, 4>, <4, -4>, <7, 0>, <8, 0>, <14, 0>, <28, 0>, <56, 0> ],
    [ <1, 4>, <2, -2>, <4, 0>, <7, 12>, <8, 0>, <14, -6>, <28, 0>, <56, 0> ],
    [ <1, 0>, <2, -4>, <4, 8>, <7, 0>, <8, 0>, <14, -4>, <28, 8>, <56, 0> ],
    [ <1, 5>, <2, -3>, <4, 0>, <7, 5>, <8, 0>, <14, 1>, <28, 0>, <56, 0> ],
    [ <1, 0>, <2, 5>, <4, -3>, <7, 0>, <8, 0>, <14, -7>, <28, 13>, <56, 0> ],
    [ <1, 2>, <2, 4>, <4, -1>, <7, 2>, <8, -1>, <14, -4>, <28, 7>, <56, -1> ],
    [ <1, 4>, <2, 0>, <4, -1>, <7, 4>, <8, 1>, <14, -4>, <28, 3>, <56, 1> ],
    [ <1, 0>, <2, 13>, <4, -7>, <7, 0>, <8, 0>, <14, -3>, <28, 5>, <56, 0> ],
    [ <1, 0>, <2, 7>, <4, -4>, <7, 0>, <8, 1>, <14, -5>, <28, 8>, <56, 1> ],
    [ <1, 0>, <2, -2>, <4, 7>, <7, 0>, <8, 1>, <14, -2>, <28, 3>, <56, 1> ],
    [ <1, 8>, <2, -8>, <4, 8>, <7, 0>, <8, 0>, <14, 0>, <28, 0>, <56, 0> ],
    [ <1, 0>, <2, -4>, <4, 8>, <7, 0>, <8, 0>, <14, 8>, <28, -4>, <56, 0> ],
    [ <1, 2>, <2, 1>, <4, 1>, <7, 2>, <8, 0>, <14, -3>, <28, 5>, <56, 0> ],
    [ <1, 5>, <2, 5>, <4, -4>, <7, -3>, <8, 0>, <14, 5>, <28, 0>, <56, 0> ],
    [ <1, 8>, <2, -4>, <4, -3>, <7, 0>, <8, 5>, <14, 0>, <28, 5>, <56, -3> ],
    [ <1, 4>, <2, -2>, <4, 0>, <7, 4>, <8, 0>, <14, -6>, <28, 8>, <56, 0> ],
    [ <1, 0>, <2, 2>, <4, -1>, <7, 8>, <8, 1>, <14, -6>, <28, 3>, <56, 1> ],
    [ <1, 0>, <2, 0>, <4, 0>, <7, 0>, <8, 0>, <14, 4>, <28, 4>, <56, 0> ],
    [ <1, 0>, <2, 0>, <4, 0>, <7, 16>, <8, 0>, <14, -8>, <28, 0>, <56, 0> ],
    [ <1, 4>, <2, -2>, <4, 4>, <7, 4>, <8, -2>, <14, -2>, <28, 4>, <56, -2> ],
    [ <1, 2>, <2, -1>, <4, 2>, <7, 2>, <8, -1>, <14, 7>, <28, -2>, <56, -1> ],
    [ <1, 16>, <2, -8>, <4, 0>, <7, 0>, <8, 0>, <14, 0>, <28, 0>, <56, 0> ],
    [ <1, 0>, <2, 4>, <4, -2>, <7, 0>, <8, 2>, <14, -4>, <28, 6>, <56, 2> ],
    [ <1, 4>, <2, -2>, <4, -3>, <7, 4>, <8, 5>, <14, -2>, <28, 5>, <56, -3> ],
    [ <1, 0>, <2, 8>, <4, -4>, <7, 0>, <8, 0>, <14, -4>, <28, 8>, <56, 0> ],
    [ <1, 10>, <2, -6>, <4, 0>, <7, -6>, <8, 0>, <14, 10>, <28, 0>, <56, 0> ],
    [ <1, 0>, <2, 1>, <4, 5>, <7, 0>, <8, 0>, <14, -3>, <28, 5>, <56, 0> ],
    [ <1, 9>, <2, -5>, <4, 0>, <7, 1>, <8, 0>, <14, 3>, <28, 0>, <56, 0> ]
];
