threeinvols_AutXa[0]:=[[[43, 21, -4, -6, -47, -32, -63, -93, -76, -58, -39, -20, -48, -33, -65, -96, -78, -60, -40, -20], [[208, 104, -18, -29, -240, -161, -315, -469, -383, -297, -200, -103, -228, -152, -304, -456, -369, -282, -188, -94], [1, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2, 0, 0, 0, 0, 0, 0, 0, 0], [216, 108, -19, -30, -252, -168, -330, -492, -402, -312, -210, -108, -234, -156, -312, -468, -378, -288, -192, -96], [348, 174, -30, -49, -402, -270, -528, -786, -642, -498, -336, -174, -378, -252, -504, -756, -612, -468, -312, -156], [22, 11, -2, -3, -26, -17, -34, -51, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -20, -10], [14, 7, -1, -2, -17, -12, -23, -34, -28, -21, -14, -7, -15, -10, -20, -30, -24, -18, -12, -6], [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [22, 11, -2, -3, -25, -17, -34, -50, -41, -32, -22, -11, -24, -16, -32, -48, -39, -30, -20, -10], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0], [13, 6, -1, -2, -14, -9, -18, -27, -22, -17, -12, -6, -15, -10, -20, -30, -24, -18, -12, -6], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0], [22, 11, -2, -3, -25, -17, -33, -49, -40, -31, -21, -11, -25, -17, -33, -49, -40, -30, -20, -10], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [14, 7, -1, -2, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0]], [[A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0]]], [A[2], [[8, 4, -1, -1, -8, -5, -10, -15, -12, -9, -6, -3, -10, -7, -14, -20, -16, -12, -8, -4], [13, 6, -1, -2, -14, -10, -19, -28, -23, -18, -12, -6, -14, -10, -19, -28, -23, -18, -12, -6]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[1], [[8, 4, -1, -1, -8, -6, -11, -16, -13, -10, -7, -4, -9, -6, -12, -18, -15, -12, -8, -4]]], [A[1], [[21, 10, -2, -3, -22, -15, -30, -44, -36, -27, -18, -9, -24, -16, -32, -48, -39, -30, -20, -10]]], [A[1], [[22, 11, -2, -3, -25, -17, -34, -50, -41, -31, -21, -11, -24, -17, -33, -48, -39, -30, -20, -10]]]], [[0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [1, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2, 0, 0, 0, 0, 0, 0, 0, 0], [1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2], [8, 4, -1, -1, -10, -7, -14, -20, -16, -12, -8, -4, -8, -5, -10, -15, -12, -9, -6, -3], [8, 4, -1, -1, -9, -6, -12, -18, -15, -12, -8, -4, -8, -6, -11, -16, -13, -10, -7, -4], [10, 5, -1, -1, -12, -8, -16, -24, -20, -15, -10, -5, -12, -8, -16, -24, -20, -15, -10, -5], [12, 6, -1, -2, -13, -9, -18, -26, -21, -16, -11, -6, -12, -8, -16, -24, -20, -15, -10, -5], [12, 6, -1, -2, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6], [13, 6, -1, -2, -14, -9, -18, -27, -22, -17, -12, -6, -15, -10, -20, -30, -24, -18, -12, -6], [14, 7, -1, -2, -17, -12, -23, -34, -28, -21, -14, -7, -15, -10, -20, -30, -24, -18, -12, -6], [14, 7, -1, -2, -16, -11, -21, -31, -25, -19, -13, -7, -16, -11, -22, -32, -26, -20, -14, -7], [14, 7, -1, -2, -15, -10, -20, -30, -25, -19, -13, -7, -17, -11, -22, -33, -27, -21, -14, -7], [14, 7, -1, -2, -15, -10, -20, -30, -24, -18, -12, -6, -17, -12, -23, -34, -28, -21, -14, -7], [20, 10, -2, -3, -22, -15, -29, -43, -35, -27, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9], [20, 10, -2, -3, -21, -14, -28, -42, -34, -26, -18, -9, -22, -15, -29, -43, -35, -27, -18, -9], [21, 10, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -22, -15, -30, -44, -36, -27, -18, -9], [21, 10, -2, -3, -24, -16, -32, -47, -38, -29, -20, -10, -22, -15, -30, -44, -36, -28, -19, -10], [21, 10, -2, -3, -23, -16, -31, -46, -37, -28, -19, -10, -23, -16, -31, -46, -37, -28, -19, -10], [21, 10, -2, -3, -23, -15, -30, -45, -37, -28, -19, -10, -23, -16, -31, -46, -38, -29, -20, -10], [21, 10, -2, -3, -22, -15, -30, -44, -36, -28, -19, -10, -24, -16, -32, -47, -38, -29, -20, -10], [22, 11, -2, -3, -26, -17, -34, -51, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -20, -10], [22, 11, -2, -3, -25, -17, -34, -50, -41, -32, -22, -11, -24, -16, -32, -48, -39, -30, -20, -10], [22, 11, -2, -3, -25, -17, -33, -49, -40, -31, -21, -11, -25, -17, -33, -49, -40, -30, -20, -10], [22, 11, -2, -3, -25, -17, -33, -49, -40, -30, -20, -10, -25, -17, -33, -49, -40, -31, -21, -11], [22, 11, -2, -3, -24, -17, -33, -48, -39, -30, -20, -10, -25, -17, -34, -50, -41, -31, -21, -11], [22, 11, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -25, -17, -34, -50, -41, -32, -22, -11], [22, 11, -2, -3, -23, -16, -31, -46, -38, -29, -20, -10, -26, -18, -35, -52, -42, -32, -22, -11], [23, 11, -2, -3, -27, -18, -36, -53, -43, -33, -22, -11, -26, -18, -35, -52, -42, -32, -22, -11], [23, 11, -2, -3, -26, -18, -35, -52, -42, -32, -22, -11, -27, -18, -36, -53, -43, -33, -22, -11]]], [[64, 32, -6, -9, -71, -47, -94, -140, -114, -87, -59, -30, -71, -48, -95, -141, -115, -88, -60, -30], [[416, 203, -38, -59, -457, -313, -616, -908, -743, -568, -382, -196, -460, -316, -621, -920, -748, -566, -384, -192], [21, 10, -2, -3, -23, -15, -30, -45, -37, -28, -19, -10, -23, -16, -31, -46, -38, -29, -20, -10], [468, 228, -43, -66, -516, -354, -696, -1026, -840, -642, -432, -222, -516, -354, -696, -1032, -840, -636, -432, -216], [726, 354, -66, -103, -798, -546, -1074, -1584, -1296, -990, -666, -342, -804, -552, -1086, -1608, -1308, -990, -672, -336], [13, 6, -1, -2, -14, -10, -19, -28, -23, -18, -12, -6, -14, -10, -19, -28, -23, -18, -12, -6], [20, 10, -2, -3, -22, -15, -29, -43, -35, -27, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9], [22, 11, -2, -3, -25, -17, -34, -50, -41, -31, -21, -11, -24, -17, -33, -48, -39, -30, -20, -10], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], [21, 10, -2, -3, -22, -15, -30, -44, -36, -27, -18, -9, -24, -16, -32, -48, -39, -30, -20, -10], [22, 11, -2, -3, -25, -17, -33, -49, -40, -31, -21, -11, -25, -17, -33, -49, -40, -30, -20, -10], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0], [21, 10, -2, -3, -22, -15, -30, -44, -36, -28, -19, -10, -24, -16, -32, -47, -38, -29, -20, -10], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0], [23, 11, -2, -3, -27, -18, -36, -53, -43, -33, -22, -11, -26, -18, -35, -52, -42, -32, -22, -11], [12, 6, -1, -2, -13, -9, -18, -26, -21, -16, -11, -6, -12, -8, -16, -24, -20, -15, -10, -5], [22, 11, -2, -3, -23, -16, -31, -46, -38, -29, -20, -10, -26, -18, -35, -52, -42, -32, -22, -11], [21, 10, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -22, -15, -30, -44, -36, -27, -18, -9], [0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [21, 10, -2, -3, -23, -16, -31, -46, -37, -28, -19, -10, -23, -16, -31, -46, -37, -28, -19, -10], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1]], [[A[2], [[0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [21, 10, -2, -3, -23, -15, -30, -45, -37, -28, -19, -10, -23, -16, -31, -46, -38, -29, -20, -10]]], [A[2], [[0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [20, 10, -2, -3, -22, -15, -29, -43, -35, -27, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1]]], [A[1], [[8, 4, -1, -1, -8, -5, -10, -15, -12, -9, -6, -3, -10, -7, -14, -20, -16, -12, -8, -4]]], [A[1], [[20, 10, -2, -3, -21, -14, -28, -42, -34, -26, -18, -9, -22, -15, -29, -43, -35, -27, -18, -9]]], [A[1], [[22, 11, -2, -3, -26, -17, -34, -51, -42, -32, -22, -11, -24, -16, -32, -47, -38, -29, -20, -10]]], [A[1], [[22, 11, -2, -3, -26, -17, -34, -51, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -20, -10]]], [A[1], [[22, 11, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -25, -17, -34, -50, -41, -32, -22, -11]]], [A[1], [[22, 11, -2, -3, -24, -16, -32, -47, -38, -29, -20, -10, -26, -17, -34, -51, -42, -32, -22, -11]]]], [[0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [8, 4, -1, -1, -10, -7, -14, -20, -16, -12, -8, -4, -8, -5, -10, -15, -12, -9, -6, -3], [8, 4, -1, -1, -9, -6, -12, -18, -15, -12, -8, -4, -8, -6, -11, -16, -13, -10, -7, -4], [8, 4, -1, -1, -8, -6, -11, -16, -13, -10, -7, -4, -9, -6, -12, -18, -15, -12, -8, -4], [10, 5, -1, -1, -12, -8, -16, -24, -20, -15, -10, -5, -12, -8, -16, -24, -20, -15, -10, -5], [13, 6, -1, -2, -15, -10, -20, -30, -24, -18, -12, -6, -14, -9, -18, -27, -22, -17, -12, -6], [13, 6, -1, -2, -14, -9, -18, -27, -22, -17, -12, -6, -15, -10, -20, -30, -24, -18, -12, -6], [12, 6, -1, -2, -13, -9, -18, -26, -21, -16, -11, -6, -12, -8, -16, -24, -20, -15, -10, -5], [12, 6, -1, -2, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6], [14, 7, -1, -2, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7], [14, 7, -1, -2, -16, -11, -21, -31, -25, -19, -13, -7, -16, -11, -22, -32, -26, -20, -14, -7], [14, 7, -1, -2, -15, -10, -20, -30, -25, -19, -13, -7, -17, -11, -22, -33, -27, -21, -14, -7], [14, 7, -1, -2, -15, -10, -20, -30, -24, -18, -12, -6, -17, -12, -23, -34, -28, -21, -14, -7], [21, 10, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -22, -15, -30, -44, -36, -27, -18, -9], [21, 10, -2, -3, -24, -16, -32, -47, -38, -29, -20, -10, -22, -15, -30, -44, -36, -28, -19, -10], [21, 10, -2, -3, -22, -15, -30, -44, -36, -28, -19, -10, -24, -16, -32, -47, -38, -29, -20, -10], [21, 10, -2, -3, -22, -15, -30, -44, -36, -27, -18, -9, -24, -16, -32, -48, -39, -30, -20, -10], [23, 11, -2, -3, -27, -18, -36, -53, -43, -33, -22, -11, -26, -18, -35, -52, -42, -32, -22, -11], [22, 11, -2, -3, -26, -18, -35, -52, -42, -32, -22, -11, -23, -16, -31, -46, -38, -29, -20, -10], [22, 11, -2, -3, -25, -17, -34, -50, -41, -32, -22, -11, -24, -16, -32, -48, -39, -30, -20, -10], [22, 11, -2, -3, -25, -17, -34, -50, -41, -31, -21, -11, -24, -17, -33, -48, -39, -30, -20, -10], [22, 11, -2, -3, -25, -17, -34, -50, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -21, -11], [22, 11, -2, -3, -25, -17, -33, -49, -40, -31, -21, -11, -25, -17, -33, -49, -40, -30, -20, -10], [22, 11, -2, -3, -25, -17, -33, -49, -40, -30, -20, -10, -25, -17, -33, -49, -40, -31, -21, -11], [22, 11, -2, -3, -24, -16, -32, -48, -39, -30, -21, -11, -25, -17, -34, -50, -41, -31, -21, -11], [22, 11, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -26, -17, -34, -51, -41, -31, -21, -11], [22, 11, -2, -3, -23, -16, -31, -46, -38, -29, -20, -10, -26, -18, -35, -52, -42, -32, -22, -11]]], [[49, 24, -4, -7, -56, -38, -75, -111, -90, -69, -47, -24, -54, -36, -72, -107, -87, -66, -45, -23], [[555, 272, -50, -76, -630, -429, -848, -1256, -1023, -783, -533, -272, -616, -415, -823, -1221, -992, -752, -512, -261], [22, 11, -2, -3, -24, -17, -33, -48, -39, -30, -20, -10, -25, -17, -34, -50, -41, -31, -21, -11], [612, 300, -55, -84, -696, -474, -936, -1386, -1128, -864, -588, -300, -678, -456, -906, -1344, -1092, -828, -564, -288], [930, 456, -84, -127, -1056, -720, -1422, -2106, -1716, -1314, -894, -456, -1032, -696, -1380, -2046, -1662, -1260, -858, -438], [8, 4, -1, -1, -10, -7, -14, -20, -16, -12, -8, -4, -8, -5, -10, -15, -12, -9, -6, -3], [21, 10, -2, -3, -23, -16, -31, -46, -38, -29, -20, -10, -23, -15, -30, -45, -37, -28, -19, -10], [23, 11, -2, -3, -27, -18, -36, -53, -43, -33, -22, -11, -26, -18, -35, -52, -42, -32, -22, -11], [22, 11, -2, -3, -24, -16, -32, -48, -39, -30, -21, -11, -25, -17, -34, -50, -41, -31, -21, -11], [14, 7, -1, -2, -17, -12, -23, -34, -28, -21, -14, -7, -15, -10, -20, -30, -24, -18, -12, -6], [21, 10, -2, -3, -22, -15, -30, -44, -36, -28, -19, -10, -24, -16, -32, -47, -38, -29, -20, -10], [22, 11, -2, -3, -26, -18, -35, -52, -42, -32, -22, -11, -23, -16, -31, -46, -38, -29, -20, -10], [22, 11, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -26, -17, -34, -51, -41, -31, -21, -11], [22, 11, -2, -3, -25, -17, -33, -49, -40, -31, -21, -11, -25, -17, -33, -49, -40, -30, -20, -10], [14, 7, -1, -2, -16, -11, -22, -32, -26, -20, -14, -7, -16, -11, -21, -31, -25, -19, -13, -7], [21, 10, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -22, -15, -30, -44, -36, -27, -18, -9], [22, 11, -2, -3, -25, -17, -34, -50, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -21, -11], [23, 11, -2, -3, -26, -18, -35, -52, -42, -32, -22, -11, -27, -18, -36, -53, -43, -33, -22, -11], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], [22, 11, -2, -3, -25, -17, -34, -50, -41, -32, -22, -11, -24, -16, -32, -48, -39, -30, -20, -10], [21, 10, -2, -3, -23, -16, -31, -46, -37, -28, -19, -10, -23, -16, -31, -46, -37, -28, -19, -10]], [[A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [14, 7, -1, -2, -17, -12, -23, -34, -28, -21, -14, -7, -15, -10, -20, -30, -24, -18, -12, -6]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0], [14, 7, -1, -2, -16, -11, -22, -32, -26, -20, -14, -7, -16, -11, -21, -31, -25, -19, -13, -7]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0]]], [A[1], [[1, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[1], [[12, 6, -1, -2, -13, -9, -18, -26, -21, -16, -11, -6, -12, -8, -16, -24, -20, -15, -10, -5]]], [A[1], [[13, 6, -1, -2, -15, -10, -20, -30, -24, -18, -12, -6, -14, -9, -18, -27, -22, -17, -12, -6]]], [A[1], [[13, 6, -1, -2, -14, -9, -18, -27, -22, -17, -12, -6, -15, -10, -20, -30, -24, -18, -12, -6]]], [A[1], [[14, 7, -1, -2, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7]]], [A[1], [[14, 7, -1, -2, -16, -11, -21, -31, -25, -19, -13, -7, -16, -11, -22, -32, -26, -20, -14, -7]]]], [[0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2], [8, 4, -1, -1, -10, -7, -14, -20, -16, -12, -8, -4, -8, -5, -10, -15, -12, -9, -6, -3], [12, 6, -1, -2, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6], [13, 6, -1, -2, -14, -10, -19, -28, -23, -18, -12, -6, -14, -10, -19, -28, -23, -18, -12, -6], [14, 7, -1, -2, -15, -10, -20, -30, -25, -19, -13, -7, -17, -11, -22, -33, -27, -21, -14, -7], [14, 7, -1, -2, -15, -10, -20, -30, -24, -18, -12, -6, -17, -12, -23, -34, -28, -21, -14, -7], [20, 10, -2, -3, -22, -15, -29, -43, -35, -27, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9], [21, 10, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -22, -15, -30, -44, -36, -27, -18, -9], [21, 10, -2, -3, -24, -16, -32, -47, -38, -29, -20, -10, -22, -15, -30, -44, -36, -28, -19, -10], [21, 10, -2, -3, -23, -16, -31, -46, -38, -29, -20, -10, -23, -15, -30, -45, -37, -28, -19, -10], [21, 10, -2, -3, -23, -16, -31, -46, -37, -28, -19, -10, -23, -16, -31, -46, -37, -28, -19, -10], [21, 10, -2, -3, -22, -15, -30, -44, -36, -28, -19, -10, -24, -16, -32, -47, -38, -29, -20, -10], [22, 11, -2, -3, -26, -18, -35, -52, -42, -32, -22, -11, -23, -16, -31, -46, -38, -29, -20, -10], [22, 11, -2, -3, -26, -17, -34, -51, -42, -32, -22, -11, -24, -16, -32, -47, -38, -29, -20, -10], [22, 11, -2, -3, -26, -17, -34, -51, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -20, -10], [22, 11, -2, -3, -25, -17, -34, -50, -41, -32, -22, -11, -24, -16, -32, -48, -39, -30, -20, -10], [22, 11, -2, -3, -25, -17, -34, -50, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -21, -11], [22, 11, -2, -3, -25, -17, -33, -49, -40, -31, -21, -11, -25, -17, -33, -49, -40, -30, -20, -10], [22, 11, -2, -3, -24, -17, -33, -48, -39, -30, -20, -10, -25, -17, -34, -50, -41, -31, -21, -11], [22, 11, -2, -3, -24, -16, -32, -48, -39, -30, -21, -11, -25, -17, -34, -50, -41, -31, -21, -11], [22, 11, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -26, -17, -34, -51, -41, -31, -21, -11], [22, 11, -2, -3, -24, -16, -32, -47, -38, -29, -20, -10, -26, -17, -34, -51, -42, -32, -22, -11], [23, 11, -2, -3, -27, -18, -36, -53, -43, -33, -22, -11, -26, -18, -35, -52, -42, -32, -22, -11], [23, 11, -2, -3, -26, -18, -35, -52, -42, -32, -22, -11, -27, -18, -36, -53, -43, -33, -22, -11]]]]; threeinvols_AutXa[1]:=[[[30, 15, -7, -2, -33, -22, -44, -66, -54, -41, -28, -14, -34, -23, -45, -67, -55, -42, -28, -14], [[125, 62, -31, -8, -141, -94, -188, -282, -227, -172, -117, -62, -136, -88, -176, -264, -216, -168, -112, -56], [0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [124, 62, -31, -8, -138, -92, -184, -276, -222, -168, -114, -60, -136, -88, -176, -264, -216, -168, -112, -56], [192, 96, -48, -13, -216, -144, -288, -432, -348, -264, -180, -96, -204, -132, -264, -396, -324, -252, -168, -84], [0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [16, 8, -4, -1, -19, -13, -25, -37, -30, -23, -16, -8, -17, -11, -22, -33, -27, -21, -14, -7], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [14, 7, -3, -1, -15, -10, -20, -30, -25, -19, -13, -7, -17, -11, -22, -33, -27, -21, -14, -7], [16, 8, -4, -1, -18, -12, -24, -36, -29, -22, -15, -8, -18, -12, -24, -35, -28, -21, -14, -7], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0], [16, 8, -4, -1, -18, -12, -24, -36, -29, -22, -15, -8, -17, -12, -23, -34, -28, -22, -15, -8], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0]], [[A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0]]], [A[2], [[0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [14, 7, -3, -1, -15, -10, -20, -30, -25, -19, -13, -7, -17, -11, -22, -33, -27, -21, -14, -7]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[1], [[0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[1], [[0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[1], [[14, 7, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -17, -12, -23, -34, -28, -21, -14, -7]]], [A[1], [[16, 8, -4, -1, -18, -12, -24, -36, -30, -23, -16, -8, -17, -12, -23, -34, -28, -21, -14, -7]]]], [[1, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [1, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2], [4, 2, -1, 0, -5, -4, -7, -10, -8, -6, -4, -2, -5, -4, -7, -10, -8, -6, -4, -2], [13, 6, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -14, -9, -18, -27, -22, -17, -12, -6], [13, 6, -3, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -10, -19, -28, -23, -18, -12, -6], [13, 6, -3, -1, -14, -9, -18, -27, -22, -17, -12, -6, -15, -10, -20, -30, -24, -18, -12, -6], [12, 6, -3, -1, -13, -9, -18, -26, -21, -16, -11, -6, -12, -8, -16, -24, -20, -15, -10, -5], [12, 6, -3, -1, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6], [14, 7, -3, -1, -17, -12, -23, -34, -28, -21, -14, -7, -15, -10, -20, -30, -24, -18, -12, -6], [14, 7, -3, -1, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7], [14, 7, -3, -1, -16, -11, -22, -32, -26, -20, -14, -7, -16, -11, -21, -31, -25, -19, -13, -7], [17, 8, -4, -1, -20, -13, -26, -39, -32, -24, -16, -8, -19, -13, -26, -38, -31, -24, -16, -8], [17, 8, -4, -1, -19, -13, -26, -38, -31, -24, -16, -8, -20, -13, -26, -39, -32, -24, -16, -8], [16, 8, -4, -1, -19, -13, -25, -37, -30, -23, -16, -8, -17, -11, -22, -33, -27, -21, -14, -7], [16, 8, -4, -1, -18, -12, -24, -36, -29, -22, -15, -8, -18, -12, -24, -35, -28, -21, -14, -7], [16, 8, -4, -1, -18, -12, -24, -36, -29, -22, -15, -8, -17, -12, -23, -34, -28, -22, -15, -8], [16, 8, -4, -1, -17, -12, -23, -34, -28, -21, -14, -7, -18, -12, -24, -36, -30, -23, -16, -8], [16, 8, -4, -1, -17, -11, -22, -33, -27, -21, -14, -7, -19, -13, -25, -37, -30, -23, -16, -8], [16, 8, -4, -1, -16, -11, -22, -32, -26, -20, -14, -7, -19, -13, -26, -38, -31, -24, -16, -8], [18, 9, -4, -1, -21, -14, -28, -42, -34, -26, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9]]], [[30, 15, -7, -2, -34, -23, -45, -67, -55, -42, -28, -14, -33, -22, -44, -66, -54, -41, -28, -14], [[125, 62, -31, -8, -136, -88, -176, -264, -216, -168, -112, -56, -141, -94, -188, -282, -227, -172, -117, -62], [0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [124, 62, -31, -8, -136, -88, -176, -264, -216, -168, -112, -56, -138, -92, -184, -276, -222, -168, -114, -60], [192, 96, -48, -13, -204, -132, -264, -396, -324, -252, -168, -84, -216, -144, -288, -432, -348, -264, -180, -96], [16, 8, -4, -1, -18, -12, -24, -35, -28, -21, -14, -7, -18, -12, -24, -36, -29, -22, -15, -8], [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [16, 8, -4, -1, -17, -12, -23, -34, -28, -22, -15, -8, -18, -12, -24, -36, -29, -22, -15, -8], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0], [16, 8, -4, -1, -17, -11, -22, -33, -27, -21, -14, -7, -19, -13, -25, -37, -30, -23, -16, -8], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [14, 7, -3, -1, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7]], [[A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [14, 7, -3, -1, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0]]], [A[1], [[0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[1], [[14, 7, -3, -1, -17, -12, -23, -34, -28, -21, -14, -7, -15, -10, -20, -30, -24, -18, -12, -6]]], [A[1], [[16, 8, -4, -1, -17, -12, -23, -34, -28, -21, -14, -7, -18, -12, -24, -36, -30, -23, -16, -8]]]], [[1, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [1, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2, 0, 0, 0, 0, 0, 0, 0, 0], [1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2], [4, 2, -1, 0, -5, -4, -7, -10, -8, -6, -4, -2, -5, -4, -7, -10, -8, -6, -4, -2], [12, 6, -3, -1, -13, -9, -18, -26, -21, -16, -11, -6, -12, -8, -16, -24, -20, -15, -10, -5], [12, 6, -3, -1, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6], [13, 6, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -14, -9, -18, -27, -22, -17, -12, -6], [13, 6, -3, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -10, -19, -28, -23, -18, -12, -6], [13, 6, -3, -1, -14, -9, -18, -27, -22, -17, -12, -6, -15, -10, -20, -30, -24, -18, -12, -6], [14, 7, -3, -1, -16, -11, -21, -31, -25, -19, -13, -7, -16, -11, -22, -32, -26, -20, -14, -7], [14, 7, -3, -1, -15, -10, -20, -30, -25, -19, -13, -7, -17, -11, -22, -33, -27, -21, -14, -7], [14, 7, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -17, -12, -23, -34, -28, -21, -14, -7], [16, 8, -4, -1, -19, -13, -26, -38, -31, -24, -16, -8, -16, -11, -22, -32, -26, -20, -14, -7], [16, 8, -4, -1, -19, -13, -25, -37, -30, -23, -16, -8, -17, -11, -22, -33, -27, -21, -14, -7], [16, 8, -4, -1, -18, -12, -24, -36, -30, -23, -16, -8, -17, -12, -23, -34, -28, -21, -14, -7], [16, 8, -4, -1, -18, -12, -24, -35, -28, -21, -14, -7, -18, -12, -24, -36, -29, -22, -15, -8], [16, 8, -4, -1, -17, -12, -23, -34, -28, -22, -15, -8, -18, -12, -24, -36, -29, -22, -15, -8], [16, 8, -4, -1, -17, -11, -22, -33, -27, -21, -14, -7, -19, -13, -25, -37, -30, -23, -16, -8], [17, 8, -4, -1, -20, -13, -26, -39, -32, -24, -16, -8, -19, -13, -26, -38, -31, -24, -16, -8], [17, 8, -4, -1, -19, -13, -26, -38, -31, -24, -16, -8, -20, -13, -26, -39, -32, -24, -16, -8], [18, 9, -4, -1, -21, -14, -28, -42, -34, -26, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9]]], [[43, 21, -10, -3, -46, -31, -62, -92, -75, -57, -39, -20, -49, -33, -66, -98, -80, -61, -41, -21], [[350, 171, -82, -23, -400, -267, -534, -794, -646, -490, -334, -171, -388, -261, -515, -769, -627, -477, -321, -165], [17, 8, -4, -1, -20, -13, -26, -39, -32, -24, -16, -8, -19, -13, -26, -38, -31, -24, -16, -8], [336, 164, -79, -22, -384, -256, -512, -762, -620, -470, -320, -164, -372, -250, -494, -738, -602, -458, -308, -158], [564, 276, -132, -37, -648, -432, -864, -1284, -1044, -792, -540, -276, -624, -420, -828, -1236, -1008, -768, -516, -264], [13, 6, -3, -1, -14, -9, -18, -27, -22, -17, -12, -6, -15, -10, -20, -30, -24, -18, -12, -6], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [14, 7, -3, -1, -17, -12, -23, -34, -28, -21, -14, -7, -15, -10, -20, -30, -24, -18, -12, -6], [16, 8, -4, -1, -18, -12, -24, -36, -29, -22, -15, -8, -17, -12, -23, -34, -28, -22, -15, -8], [17, 8, -4, -1, -19, -13, -26, -38, -31, -24, -16, -8, -20, -13, -26, -39, -32, -24, -16, -8], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [14, 7, -3, -1, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7], [16, 8, -4, -1, -18, -12, -24, -36, -29, -22, -15, -8, -18, -12, -24, -35, -28, -21, -14, -7], [14, 7, -3, -1, -15, -10, -20, -30, -25, -19, -13, -7, -17, -11, -22, -33, -27, -21, -14, -7], [14, 7, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -17, -12, -23, -34, -28, -21, -14, -7], [1, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2, 0, 0, 0, 0, 0, 0, 0, 0], [16, 8, -4, -1, -18, -12, -24, -35, -28, -21, -14, -7, -18, -12, -24, -36, -29, -22, -15, -8], [16, 8, -4, -1, -18, -12, -24, -36, -30, -23, -16, -8, -17, -12, -23, -34, -28, -21, -14, -7], [13, 6, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -14, -9, -18, -27, -22, -17, -12, -6], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0], [18, 9, -4, -1, -21, -14, -28, -42, -34, -26, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9]], [[A[2], [[1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2], [12, 6, -3, -1, -13, -9, -18, -26, -21, -16, -11, -6, -12, -8, -16, -24, -20, -15, -10, -5]]], [A[2], [[0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [13, 6, -3, -1, -14, -9, -18, -27, -22, -17, -12, -6, -15, -10, -20, -30, -24, -18, -12, -6]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0], [14, 7, -3, -1, -15, -10, -20, -30, -25, -19, -13, -7, -17, -11, -22, -33, -27, -21, -14, -7]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0], [14, 7, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -17, -12, -23, -34, -28, -21, -14, -7]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[1], [[0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[1], [[12, 6, -3, -1, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6]]], [A[1], [[16, 8, -4, -1, -16, -11, -22, -32, -26, -20, -14, -7, -19, -13, -26, -38, -31, -24, -16, -8]]]], [[0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [1, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [1, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2, 0, 0, 0, 0, 0, 0, 0, 0], [13, 6, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -14, -9, -18, -27, -22, -17, -12, -6], [13, 6, -3, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -10, -19, -28, -23, -18, -12, -6], [14, 7, -3, -1, -17, -12, -23, -34, -28, -21, -14, -7, -15, -10, -20, -30, -24, -18, -12, -6], [14, 7, -3, -1, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7], [14, 7, -3, -1, -16, -11, -22, -32, -26, -20, -14, -7, -16, -11, -21, -31, -25, -19, -13, -7], [14, 7, -3, -1, -16, -11, -21, -31, -25, -19, -13, -7, -16, -11, -22, -32, -26, -20, -14, -7], [16, 8, -4, -1, -18, -12, -24, -36, -30, -23, -16, -8, -17, -12, -23, -34, -28, -21, -14, -7], [16, 8, -4, -1, -18, -12, -24, -36, -29, -22, -15, -8, -18, -12, -24, -35, -28, -21, -14, -7], [16, 8, -4, -1, -18, -12, -24, -36, -29, -22, -15, -8, -17, -12, -23, -34, -28, -22, -15, -8], [16, 8, -4, -1, -18, -12, -24, -35, -28, -21, -14, -7, -18, -12, -24, -36, -29, -22, -15, -8], [16, 8, -4, -1, -17, -12, -23, -34, -28, -22, -15, -8, -18, -12, -24, -36, -29, -22, -15, -8], [16, 8, -4, -1, -17, -12, -23, -34, -28, -21, -14, -7, -18, -12, -24, -36, -30, -23, -16, -8], [17, 8, -4, -1, -20, -13, -26, -39, -32, -24, -16, -8, -19, -13, -26, -38, -31, -24, -16, -8], [17, 8, -4, -1, -19, -13, -26, -38, -31, -24, -16, -8, -20, -13, -26, -39, -32, -24, -16, -8], [18, 9, -4, -1, -21, -14, -28, -42, -34, -26, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9]]]]; threeinvols_AutXa[2]:=[[[37, 18, -7, -3, -41, -28, -55, -82, -67, -51, -35, -18, -42, -29, -57, -84, -68, -52, -35, -18], [[233, 113, -47, -19, -262, -178, -351, -518, -423, -322, -221, -113, -257, -173, -341, -509, -413, -317, -216, -108], [14, 7, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -17, -11, -22, -33, -27, -21, -14, -7], [233, 113, -47, -19, -262, -178, -351, -519, -423, -322, -221, -113, -257, -173, -341, -509, -413, -317, -216, -108], [409, 199, -83, -33, -461, -314, -618, -912, -744, -566, -388, -199, -451, -304, -598, -892, -724, -556, -378, -189], [12, 6, -2, -1, -14, -9, -18, -27, -22, -17, -12, -6, -14, -10, -19, -28, -23, -18, -12, -6], [10, 5, -2, -1, -12, -8, -16, -24, -20, -15, -10, -5, -9, -6, -12, -18, -15, -12, -8, -4], [12, 6, -2, -1, -13, -9, -18, -26, -21, -16, -11, -6, -15, -10, -20, -30, -24, -18, -12, -6], [1, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [12, 6, -2, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -9, -18, -27, -22, -17, -12, -6], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [14, 7, -3, -1, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -24, -18, -12, -6], [10, 5, -2, -1, -10, -7, -14, -20, -16, -12, -8, -4, -11, -8, -15, -22, -18, -14, -10, -5], [11, 5, -2, -1, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -17, -25, -20, -15, -10, -5], [10, 5, -2, -1, -11, -7, -14, -21, -17, -13, -9, -5, -11, -7, -14, -21, -17, -13, -9, -5], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [14, 7, -3, -1, -16, -11, -22, -32, -26, -20, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [11, 5, -2, -1, -13, -9, -17, -25, -20, -15, -10, -5, -12, -8, -16, -24, -20, -15, -10, -5], [14, 7, -3, -1, -15, -10, -20, -30, -25, -19, -13, -7, -16, -11, -22, -32, -26, -20, -14, -7], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0]], [[A[2], [[1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2], [10, 5, -2, -1, -11, -8, -15, -22, -18, -14, -10, -5, -10, -7, -14, -20, -16, -12, -8, -4]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0], [11, 5, -2, -1, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -17, -25, -20, -15, -10, -5]]], [A[2], [[0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [12, 6, -2, -1, -14, -9, -18, -27, -22, -17, -12, -6, -14, -10, -19, -28, -23, -18, -12, -6]]], [A[2], [[0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [12, 6, -2, -1, -13, -9, -18, -26, -21, -16, -11, -6, -15, -10, -20, -30, -24, -18, -12, -6]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0], [14, 7, -3, -1, -15, -10, -20, -30, -25, -19, -13, -7, -16, -11, -22, -32, -26, -20, -14, -7]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[1], [[1, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[1], [[4, 2, -1, 0, -5, -4, -7, -10, -8, -6, -4, -2, -5, -4, -7, -10, -8, -6, -4, -2]]], [A[1], [[12, 6, -2, -1, -15, -10, -20, -30, -24, -18, -12, -6, -13, -9, -18, -26, -21, -16, -11, -6]]]], [[0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [1, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [10, 5, -2, -1, -12, -8, -16, -24, -20, -15, -10, -5, -9, -6, -12, -18, -15, -12, -8, -4], [10, 5, -2, -1, -11, -7, -14, -21, -17, -13, -9, -5, -11, -7, -14, -21, -17, -13, -9, -5], [10, 5, -2, -1, -10, -7, -14, -20, -16, -12, -8, -4, -11, -8, -15, -22, -18, -14, -10, -5], [10, 5, -2, -1, -9, -6, -12, -18, -15, -12, -8, -4, -12, -8, -16, -24, -20, -15, -10, -5], [11, 5, -2, -1, -13, -9, -17, -25, -20, -15, -10, -5, -12, -8, -16, -24, -20, -15, -10, -5], [12, 6, -2, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -9, -18, -27, -22, -17, -12, -6], [14, 7, -3, -1, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -24, -18, -12, -6], [14, 7, -3, -1, -16, -11, -22, -32, -26, -20, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7], [14, 7, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -17, -11, -22, -33, -27, -21, -14, -7]]], [[25, 12, -5, -2, -27, -18, -36, -54, -44, -34, -23, -12, -28, -19, -38, -56, -46, -35, -24, -12], [[146, 70, -29, -12, -159, -106, -212, -318, -260, -195, -130, -65, -164, -111, -222, -328, -270, -205, -140, -70], [12, 6, -2, -1, -15, -10, -20, -30, -24, -18, -12, -6, -13, -9, -18, -26, -21, -16, -11, -6], [145, 70, -28, -12, -159, -106, -212, -318, -260, -195, -130, -65, -164, -111, -222, -328, -270, -205, -140, -70], [260, 125, -51, -22, -282, -188, -376, -564, -460, -345, -230, -115, -292, -198, -396, -584, -480, -365, -250, -125], [0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [11, 5, -2, -1, -13, -9, -17, -25, -20, -15, -10, -5, -12, -8, -16, -24, -20, -15, -10, -5], [14, 7, -3, -1, -15, -10, -20, -30, -25, -19, -13, -7, -16, -11, -22, -32, -26, -20, -14, -7], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0], [11, 5, -2, -1, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -17, -25, -20, -15, -10, -5], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0], [14, 7, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -17, -11, -22, -33, -27, -21, -14, -7], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], [10, 5, -2, -1, -12, -8, -16, -24, -20, -15, -10, -5, -9, -6, -12, -18, -15, -12, -8, -4], [1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2]], [[A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0]]], [A[2], [[0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2]]], [A[2], [[1, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2, 0, 0, 0, 0, 0, 0, 0, 0], [10, 5, -2, -1, -9, -6, -12, -18, -15, -12, -8, -4, -12, -8, -16, -24, -20, -15, -10, -5]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [14, 7, -3, -1, -15, -10, -20, -30, -25, -19, -13, -7, -16, -11, -22, -32, -26, -20, -14, -7]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[1], [[0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[1], [[1, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]]], [[0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [4, 2, -1, 0, -5, -4, -7, -10, -8, -6, -4, -2, -5, -4, -7, -10, -8, -6, -4, -2], [10, 5, -2, -1, -12, -8, -16, -24, -20, -15, -10, -5, -9, -6, -12, -18, -15, -12, -8, -4], [10, 5, -2, -1, -11, -8, -15, -22, -18, -14, -10, -5, -10, -7, -14, -20, -16, -12, -8, -4], [10, 5, -2, -1, -11, -7, -14, -21, -17, -13, -9, -5, -11, -7, -14, -21, -17, -13, -9, -5], [10, 5, -2, -1, -10, -7, -14, -20, -16, -12, -8, -4, -11, -8, -15, -22, -18, -14, -10, -5], [11, 5, -2, -1, -13, -9, -17, -25, -20, -15, -10, -5, -12, -8, -16, -24, -20, -15, -10, -5], [11, 5, -2, -1, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -17, -25, -20, -15, -10, -5], [12, 6, -2, -1, -15, -10, -20, -30, -24, -18, -12, -6, -13, -9, -18, -26, -21, -16, -11, -6], [12, 6, -2, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -9, -18, -27, -22, -17, -12, -6], [12, 6, -2, -1, -14, -9, -18, -27, -22, -17, -12, -6, -14, -10, -19, -28, -23, -18, -12, -6], [12, 6, -2, -1, -13, -9, -18, -26, -21, -16, -11, -6, -15, -10, -20, -30, -24, -18, -12, -6], [14, 7, -3, -1, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -24, -18, -12, -6], [14, 7, -3, -1, -16, -11, -22, -32, -26, -20, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7], [14, 7, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -17, -11, -22, -33, -27, -21, -14, -7]]], [[36, 18, -7, -3, -40, -27, -54, -80, -65, -50, -34, -17, -40, -27, -54, -80, -65, -49, -33, -17], [[87, 43, -18, -7, -99, -67, -129, -191, -154, -117, -80, -43, -95, -64, -128, -190, -152, -114, -76, -38], [0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [86, 43, -18, -7, -96, -65, -125, -185, -149, -113, -77, -41, -95, -64, -128, -190, -152, -114, -76, -38], [148, 74, -31, -12, -168, -115, -220, -325, -262, -199, -136, -73, -160, -107, -214, -320, -256, -192, -128, -64], [14, 7, -3, -1, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -24, -18, -12, -6], [10, 5, -2, -1, -11, -8, -15, -22, -18, -14, -10, -5, -10, -7, -14, -20, -16, -12, -8, -4], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [12, 6, -2, -1, -13, -9, -18, -26, -21, -16, -11, -6, -15, -10, -20, -30, -24, -18, -12, -6], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0], [4, 2, -1, 0, -5, -4, -7, -10, -8, -6, -4, -2, -5, -4, -7, -10, -8, -6, -4, -2], [10, 5, -2, -1, -11, -7, -14, -21, -17, -13, -9, -5, -11, -7, -14, -21, -17, -13, -9, -5], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0]], [[A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0]]], [A[2], [[0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [10, 5, -2, -1, -11, -8, -15, -22, -18, -14, -10, -5, -10, -7, -14, -20, -16, -12, -8, -4]]], [A[2], [[10, 5, -2, -1, -9, -6, -12, -18, -15, -12, -8, -4, -12, -8, -16, -24, -20, -15, -10, -5], [12, 6, -2, -1, -15, -10, -20, -30, -24, -18, -12, -6, -13, -9, -18, -26, -21, -16, -11, -6]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [12, 6, -2, -1, -13, -9, -18, -26, -21, -16, -11, -6, -15, -10, -20, -30, -24, -18, -12, -6]]], [A[2], [[0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [14, 7, -3, -1, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -24, -18, -12, -6]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[1], [[0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[1], [[14, 7, -3, -1, -16, -11, -22, -32, -26, -20, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7]]]], [[1, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [1, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2], [4, 2, -1, 0, -5, -4, -7, -10, -8, -6, -4, -2, -5, -4, -7, -10, -8, -6, -4, -2], [11, 5, -2, -1, -13, -9, -17, -25, -20, -15, -10, -5, -12, -8, -16, -24, -20, -15, -10, -5], [10, 5, -2, -1, -12, -8, -16, -24, -20, -15, -10, -5, -9, -6, -12, -18, -15, -12, -8, -4], [11, 5, -2, -1, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -17, -25, -20, -15, -10, -5], [10, 5, -2, -1, -11, -7, -14, -21, -17, -13, -9, -5, -11, -7, -14, -21, -17, -13, -9, -5], [10, 5, -2, -1, -10, -7, -14, -20, -16, -12, -8, -4, -11, -8, -15, -22, -18, -14, -10, -5], [12, 6, -2, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -9, -18, -27, -22, -17, -12, -6], [12, 6, -2, -1, -14, -9, -18, -27, -22, -17, -12, -6, -14, -10, -19, -28, -23, -18, -12, -6], [14, 7, -3, -1, -15, -10, -20, -30, -25, -19, -13, -7, -16, -11, -22, -32, -26, -20, -14, -7], [14, 7, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -17, -11, -22, -33, -27, -21, -14, -7]]]];