M48:=
[
    [ <1, 2>, <2, -4>, <3, -6>, <4, 0>, <6, 12>, <8, 0>, <12, 0>, <16, 0>, <24, 
    0>, <48, 0> ],
    [ <1, 0>, <2, -4>, <3, 0>, <4, 8>, <6, 0>, <8, 0>, <12, 0>, <16, 0>, <24, 
    0>, <48, 0> ],
    [ <1, 1>, <2, -2>, <3, 1>, <4, 5>, <6, 0>, <8, -4>, <12, -5>, <16, 0>, <24, 
    8>, <48, 0> ],
    [ <1, 0>, <2, 0>, <3, 0>, <4, 0>, <6, -4>, <8, 0>, <12, 8>, <16, 0>, <24, 
    0>, <48, 0> ],
    [ <1, 0>, <2, -4>, <3, 0>, <4, 5>, <6, 8>, <8, -2>, <12, -5>, <16, 1>, <24, 
    0>, <48, 1> ],
    [ <1, 0>, <2, 0>, <3, 0>, <4, 8>, <6, 0>, <8, -4>, <12, 0>, <16, 0>, <24, 
    0>, <48, 0> ],
    [ <1, 0>, <2, 0>, <3, 0>, <4, 0>, <6, 0>, <8, 0>, <12, 8>, <16, 0>, <24, 
    -4>, <48, 0> ],
    [ <1, 8>, <2, -4>, <3, 0>, <4, 0>, <6, 0>, <8, 0>, <12, 0>, <16, 0>, <24, 
    0>, <48, 0> ],
    [ <1, 0>, <2, 0>, <3, 8>, <4, 0>, <6, -4>, <8, 0>, <12, 0>, <16, 0>, <24, 
    0>, <48, 0> ],
    [ <1, 0>, <2, 0>, <3, 0>, <4, 0>, <6, 0>, <8, -4>, <12, 0>, <16, 8>, <24, 
    0>, <48, 0> ],
    [ <1, 0>, <2, 0>, <3, 0>, <4, 0>, <6, 0>, <8, 0>, <12, 0>, <16, 0>, <24, 
    -4>, <48, 8> ],
    [ <1, 6>, <2, -3>, <3, 0>, <4, 0>, <6, 0>, <8, -1>, <12, 0>, <16, 2>, <24, 
    0>, <48, 0> ],
    [ <1, 0>, <2, 0>, <3, 6>, <4, 0>, <6, -3>, <8, 0>, <12, 0>, <16, 0>, <24, 
    -1>, <48, 2> ],
    [ <1, -4>, <2, 6>, <3, 8>, <4, -2>, <6, -4>, <8, 0>, <12, 0>, <16, 0>, <24, 
    0>, <48, 0> ]
]
;
M48:=
[
    [ <1, 8>, <2, -4>, <3, 0>, <4, 0>, <6, 0>, <8, -4>, <12, 0>, <16, 8>, <24, 
    0>, <48, 0> ],
    [ <1, 8>, <2, -4>, <3, 0>, <4, 0>, <6, -4>, <8, 0>, <12, 8>, <16, 0>, <24, 
    0>, <48, 0> ],
    [ <1, 9>, <2, -8>, <3, -1>, <4, 7>, <6, 7>, <8, -1>, <12, -5>, <16, -1>, 
    <24, 0>, <48, 1> ],
    [ <1, 0>, <2, 0>, <3, 0>, <4, 0>, <6, -4>, <8, -4>, <12, 8>, <16, 8>, <24, 
    0>, <48, 0> ],
    [ <1, 12>, <2, -6>, <3, 0>, <4, 0>, <6, 0>, <8, -2>, <12, 0>, <16, 4>, <24, 
    0>, <48, 0> ],
    [ <1, 0>, <2, 0>, <3, 0>, <4, 0>, <6, 0>, <8, -4>, <12, 8>, <16, 8>, <24, 
    -4>, <48, 0> ],
    [ <1, 1>, <2, -8>, <3, -1>, <4, 15>, <6, 7>, <8, -1>, <12, -5>, <16, -1>, 
    <24, 0>, <48, 1> ],
    [ <1, 0>, <2, 0>, <3, 4>, <4, 8>, <6, -2>, <8, -4>, <12, 0>, <16, 0>, <24, 
    -2>, <48, 4> ],
    [ <1, 1>, <2, -3>, <3, 1>, <4, 4>, <6, -1>, <8, -3>, <12, 8>, <16, 1>, <24, 
    -1>, <48, 1> ],
    [ <1, 0>, <2, 0>, <3, 4>, <4, 0>, <6, -2>, <8, 0>, <12, 8>, <16, 0>, <24, 
    -6>, <48, 4> ],
    [ <1, 0>, <2, 0>, <3, 0>, <4, 8>, <6, 0>, <8, -8>, <12, 0>, <16, 8>, <24, 
    0>, <48, 0> ],
    [ <1, 0>, <2, -4>, <3, 0>, <4, 8>, <6, -4>, <8, 0>, <12, 8>, <16, 0>, <24, 
    0>, <48, 0> ],
    [ <1, 10>, <2, -8>, <3, -6>, <4, 0>, <6, 12>, <8, 0>, <12, 0>, <16, 0>, <24,
    0>, <48, 0> ],
    [ <1, 4>, <2, -6>, <3, 0>, <4, 8>, <6, 0>, <8, -2>, <12, 0>, <16, 4>, <24, 
    0>, <48, 0> ],
    [ <1, 0>, <2, 0>, <3, 0>, <4, 0>, <6, 0>, <8, 0>, <12, 0>, <16, 0>, <24, 
    -8>, <48, 16> ],
    [ <1, 0>, <2, -1>, <3, 0>, <4, 2>, <6, -5>, <8, -2>, <12, 12>, <16, 1>, <24,
    0>, <48, 1> ],
    [ <1, 2>, <2, -4>, <3, -6>, <4, 8>, <6, 12>, <8, -4>, <12, 0>, <16, 0>, <24,
    0>, <48, 0> ],
    [ <1, 2>, <2, -8>, <3, -6>, <4, 8>, <6, 12>, <8, 0>, <12, 0>, <16, 0>, <24, 
    0>, <48, 0> ],
    [ <1, 1>, <2, -6>, <3, 1>, <4, 10>, <6, 0>, <8, -1>, <12, 4>, <16, 0>, <24, 
    -1>, <48, 0> ],
    [ <1, 0>, <2, 0>, <3, 0>, <4, 8>, <6, -4>, <8, -4>, <12, 8>, <16, 0>, <24, 
    0>, <48, 0> ],
    [ <1, 4>, <2, -8>, <3, -12>, <4, 0>, <6, 24>, <8, 0>, <12, 0>, <16, 0>, <24,
    0>, <48, 0> ],
    [ <1, 8>, <2, -4>, <3, 0>, <4, 0>, <6, 0>, <8, 0>, <12, 8>, <16, 0>, <24, 
    -4>, <48, 0> ],
    [ <1, 0>, <2, 0>, <3, 0>, <4, 8>, <6, 0>, <8, -4>, <12, 8>, <16, 0>, <24, 
    -4>, <48, 0> ],
    [ <1, 2>, <2, -4>, <3, -6>, <4, 0>, <6, 12>, <8, -4>, <12, 0>, <16, 8>, <24,
    0>, <48, 0> ],
    [ <1, 1>, <2, -4>, <3, -1>, <4, 7>, <6, 3>, <8, -1>, <12, 3>, <16, -1>, <24,
    0>, <48, 1> ],
    [ <1, 1>, <2, -5>, <3, -1>, <4, 9>, <6, 6>, <8, -3>, <12, -1>, <16, 0>, <24,
    0>, <48, 2> ],
    [ <1, 1>, <2, -2>, <3, 9>, <4, 2>, <6, -4>, <8, -1>, <12, 4>, <16, 0>, <24, 
    -1>, <48, 0> ],
    [ <1, 0>, <2, 0>, <3, 4>, <4, 0>, <6, -2>, <8, -4>, <12, 0>, <16, 8>, <24, 
    -2>, <48, 4> ],
    [ <1, 0>, <2, 0>, <3, 12>, <4, 0>, <6, -6>, <8, 0>, <12, 0>, <16, 0>, <24, 
    -2>, <48, 4> ],
    [ <1, 0>, <2, 0>, <3, 0>, <4, 0>, <6, 0>, <8, 0>, <12, 8>, <16, 0>, <24, 
    -8>, <48, 8> ]
]
;
