mats:=[ [ [ 1, 0, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 0, 1 ] ], [ [ 0, 1, 0, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 1 ] ], [ [ 0, 0, 1575, 0, 0, 0, 0 ], [ 0, 0, 0, 1575, 0, 0, 0 ], [ 1, 0, 144, 54, 512, 0, 864 ], [ 0, 1, 54, 144, 0, 512, 864 ], [ 0, 0, 36, 0, 324, 243, 972 ], [ 0, 0, 0, 36, 243, 324, 972 ], [ 0, 0, 18, 18, 288, 288, 963 ] ], [ [ 0, 0, 0, 1575, 0, 0, 0 ], [ 0, 0, 1575, 0, 0, 0, 0 ], [ 0, 1, 54, 144, 0, 512, 864 ], [ 1, 0, 144, 54, 512, 0, 864 ], [ 0, 0, 0, 36, 243, 324, 972 ], [ 0, 0, 36, 0, 324, 243, 972 ], [ 0, 0, 18, 18, 288, 288, 963 ] ], [ [ 0, 0, 0, 0, 22400, 0, 0 ], [ 0, 0, 0, 0, 0, 22400, 0 ], [ 0, 0, 512, 0, 4608, 3456, 13824 ], [ 0, 0, 0, 512, 3456, 4608, 13824 ], [ 1, 0, 324, 243, 4336, 3888, 13608 ], [ 0, 1, 243, 324, 3888, 4336, 13608 ], [ 0, 0, 288, 288, 4032, 4032, 13760 ] ], [ [ 0, 0, 0, 0, 0, 22400, 0 ], [ 0, 0, 0, 0, 22400, 0, 0 ], [ 0, 0, 0, 512, 3456, 4608, 13824 ], [ 0, 0, 512, 0, 4608, 3456, 13824 ], [ 0, 1, 243, 324, 3888, 4336, 13608 ], [ 1, 0, 324, 243, 4336, 3888, 13608 ], [ 0, 0, 288, 288, 4032, 4032, 13760 ] ], [ [ 0, 0, 0, 0, 0, 0, 75600 ], [ 0, 0, 0, 0, 0, 0, 75600 ], [ 0, 0, 864, 864, 13824, 13824, 46224 ], [ 0, 0, 864, 864, 13824, 13824, 46224 ], [ 0, 0, 972, 972, 13608, 13608, 46440 ], [ 0, 0, 972, 972, 13608, 13608, 46440 ], [ 1, 1, 963, 963, 13760, 13760, 46152 ] ] ];