adjacentAutX[0, 1]:=[[64, 32, -6, -9, -71, -48, -95, -140, -114, -87, -59, -30, -71, -48, -95, -141, -115, -87, -59, -30], [[889, 444, -82, -125, -999, -668, -1336, -1976, -1617, -1226, -835, -423, -974, -665, -1309, -1942, -1579, -1195, -811, -416], [0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [984, 492, -91, -138, -1104, -738, -1476, -2184, -1788, -1356, -924, -468, -1080, -738, -1452, -2154, -1752, -1326, -900, -462], [1500, 750, -138, -211, -1686, -1128, -2256, -3336, -2730, -2070, -1410, -714, -1644, -1122, -2208, -3276, -2664, -2016, -1368, -702], [44, 22, -4, -6, -51, -34, -68, -101, -82, -62, -42, -21, -48, -33, -65, -96, -78, -59, -40, -21], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [56, 28, -5, -8, -63, -42, -84, -125, -102, -78, -53, -27, -61, -42, -82, -122, -99, -75, -51, -26], [0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [64, 32, -6, -9, -71, -48, -95, -141, -115, -87, -59, -30, -71, -48, -95, -141, -115, -87, -59, -30], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [42, 21, -4, -6, -47, -32, -63, -93, -76, -58, -40, -20, -45, -31, -61, -90, -73, -55, -37, -19], [22, 11, -2, -3, -25, -17, -34, -50, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -21, -11], [12, 6, -1, -2, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6], [42, 21, -4, -6, -46, -31, -62, -91, -74, -56, -38, -19, -46, -32, -62, -92, -75, -57, -39, -20], [22, 11, -2, -3, -26, -17, -34, -51, -42, -32, -22, -11, -24, -16, -32, -47, -38, -29, -20, -10], [44, 22, -4, -6, -49, -33, -66, -97, -79, -60, -41, -21, -50, -34, -67, -100, -81, -61, -41, -21], [42, 21, -4, -6, -48, -32, -64, -95, -78, -59, -40, -20, -44, -30, -59, -88, -72, -55, -37, -19], [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, -31, -21, -11, -24, -17, -33, -48, -39, -30, -20, -10], [42, 21, -4, -6, -47, -31, -62, -92, -75, -57, -39, -20, -46, -31, -61, -91, -74, -56, -38, -20]], [[A[2], [[8, 4, -1, -1, -8, -5, -10, -15, -12, -9, -6, -3, -10, -7, -14, -20, -16, -12, -8, -4], [12, 6, -1, -2, -13, -9, -18, -26, -21, -16, -11, -6, -12, -8, -16, -24, -20, -15, -10, -5]]], [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, 1, 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], [[8, 4, -1, -1, -10, -7, -14, -20, -16, -12, -8, -4, -8, -5, -10, -15, -12, -9, -6, -3]]], [A[1], [[20, 10, -2, -3, -22, -15, -29, -43, -35, -27, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9]]], [A[1], [[22, 11, -2, -3, -25, -17, -33, -49, -40, -31, -21, -11, -25, -17, -33, -49, -40, -30, -20, -10]]], [A[1], [[22, 11, -2, -3, -24, -17, -33, -48, -39, -30, -20, -10, -25, -17, -34, -50, -41, -31, -21, -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, 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, 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], [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, -14, -9, -18, -27, -22, -17, -12, -6, -15, -10, -20, -30, -24, -18, -12, -6], [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, -12, -23, -34, -28, -21, -14, -7, -15, -10, -20, -30, -24, -18, -12, -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, -22, -32, -26, -20, -14, -7, -16, -11, -21, -31, -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, -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, -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, -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], [21, 10, -2, -3, -22, -15, -30, -44, -36, -27, -18, -9, -24, -16, -32, -48, -39, -30, -20, -10], [20, 10, -2, -3, -21, -14, -28, -42, -34, -26, -18, -9, -22, -15, -29, -43, -35, -27, -18, -9], [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, -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, -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, -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], [43, 21, -4, -6, -49, -33, -65, -96, -78, -59, -40, -20, -47, -32, -63, -94, -77, -58, -39, -20], [42, 21, -4, -6, -47, -32, -63, -93, -76, -58, -40, -20, -45, -31, -61, -90, -73, -55, -37, -19], [42, 21, -4, -6, -47, -31, -62, -92, -75, -57, -39, -20, -46, -31, -61, -91, -74, -56, -38, -20], [42, 21, -4, -6, -46, -31, -62, -91, -74, -56, -38, -19, -46, -32, -62, -92, -75, -57, -39, -20], [42, 21, -4, -6, -45, -30, -60, -89, -73, -56, -38, -19, -47, -32, -63, -94, -77, -58, -39, -20], [44, 22, -4, -6, -49, -33, -66, -97, -79, -60, -41, -21, -50, -34, -67, -100, -81, -61, -41, -21], [56, 28, -5, -8, -63, -42, -84, -124, -101, -77, -52, -26, -62, -42, -83, -123, -100, -76, -51, -26], [64, 32, -6, -9, -71, -48, -95, -141, -115, -87, -59, -30, -71, -48, -95, -141, -115, -87, -59, -30]]];
adjacentAutX[0, 2]:=[[57, 28, -5, -8, -64, -43, -86, -127, -103, -78, -52, -26, -64, -43, -85, -127, -103, -78, -53, -27], [[472, 236, -41, -69, -527, -356, -705, -1037, -842, -636, -424, -212, -516, -348, -690, -1032, -841, -643, -435, -226], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0], [492, 246, -43, -72, -552, -372, -738, -1086, -882, -666, -444, -222, -534, -360, -714, -1068, -870, -666, -450, -234], [828, 414, -72, -121, -924, -624, -1236, -1818, -1476, -1116, -744, -372, -906, -612, -1212, -1812, -1476, -1128, -762, -396], [34, 17, -3, -5, -38, -25, -50, -74, -60, -45, -30, -15, -38, -25, -50, -75, -61, -46, -31, -16], [14, 7, -1, -2, -17, -12, -23, -34, -28, -21, -14, -7, -15, -10, -20, -30, -24, -18, -12, -6], [34, 17, -3, -5, -37, -25, -50, -73, -59, -45, -30, -15, -38, -25, -50, -75, -61, -47, -32, -17], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0], [22, 11, -2, -3, -25, -17, -33, -49, -40, -30, -20, -10, -25, -17, -33, -49, -40, -31, -21, -11], [12, 6, -1, -2, -13, -9, -18, -26, -21, -16, -11, -6, -12, -8, -16, -24, -20, -15, -10, -5], [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], [12, 6, -1, -2, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0], [34, 17, -3, -5, -38, -26, -51, -75, -60, -45, -30, -15, -37, -25, -50, -74, -60, -46, -31, -16], [14, 7, -1, -2, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7], [21, 10, -2, -3, -22, -15, -30, -44, -36, -27, -18, -9, -24, -16, -32, -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], [35, 17, -3, -5, -40, -27, -54, -79, -64, -48, -32, -16, -38, -26, -51, -76, -62, -47, -32, -17]], [[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, 1, 0, 0, 0, 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], [[8, 4, -1, -1, -10, -7, -14, -20, -16, -12, -8, -4, -8, -5, -10, -15, -12, -9, -6, -3], [14, 7, -1, -2, -15, -10, -20, -30, -24, -18, -12, -6, -17, -12, -23, -34, -28, -21, -14, -7]]], [A[2], [[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]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0]]], [A[1], [[13, 6, -1, -2, -15, -10, -20, -30, -24, -18, -12, -6, -14, -9, -18, -27, -22, -17, -12, -6]]], [A[1], [[22, 11, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -26, -17, -34, -51, -41, -31, -21, -11]]], [A[1], [[23, 11, -2, -3, -27, -18, -36, -53, -43, -33, -22, -11, -26, -18, -35, -52, -42, -32, -22, -11]]]], [[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, 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, 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], [1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2], [8, 4, -1, -1, -8, -5, -10, -15, -12, -9, -6, -3, -10, -7, -14, -20, -16, -12, -8, -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, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7], [14, 7, -1, -2, -16, -11, -22, -32, -26, -20, -14, -7, -16, -11, -21, -31, -25, -19, -13, -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, -23, -16, -31, -46, -37, -28, -19, -10, -23, -16, -31, -46, -37, -28, -19, -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, -31, -21, -11, -24, -16, -32, -48, -39, -30, -21, -11], [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, -47, -38, -29, -20, -10, -26, -17, -34, -51, -42, -32, -22, -11], [34, 17, -3, -5, -38, -25, -50, -74, -60, -45, -30, -15, -38, -25, -50, -75, -61, -46, -31, -16], [34, 17, -3, -5, -37, -25, -50, -73, -59, -45, -30, -15, -38, -26, -51, -76, -61, -46, -31, -16], [35, 17, -3, -5, -40, -27, -54, -79, -64, -48, -32, -16, -38, -26, -51, -76, -62, -47, -32, -17], [36, 18, -3, -5, -40, -27, -54, -79, -64, -48, -32, -16, -42, -28, -56, -83, -67, -51, -35, -18]]];
adjacentAutX[0, 3]:=[[64, 32, -6, -9, -72, -48, -96, -142, -116, -89, -60, -31, -69, -47, -93, -138, -113, -86, -59, -30], [[1076, 533, -101, -148, -1217, -817, -1624, -2398, -1955, -1502, -1012, -522, -1176, -802, -1593, -2352, -1924, -1460, -996, -500], [21, 10, -2, -3, -23, -15, -30, -45, -37, -28, -19, -10, -23, -16, -31, -46, -38, -29, -20, -10], [1224, 606, -115, -168, -1386, -930, -1848, -2730, -2226, -1710, -1152, -594, -1338, -912, -1812, -2676, -2190, -1662, -1134, -570], [1794, 888, -168, -247, -2028, -1362, -2706, -3996, -3258, -2502, -1686, -870, -1962, -1338, -2658, -3924, -3210, -2436, -1662, -834], [73, 36, -7, -10, -83, -56, -111, -164, -133, -102, -69, -36, -79, -54, -107, -158, -129, -98, -67, -34], [20, 10, -2, -3, -22, -15, -29, -43, -35, -27, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9], [66, 33, -6, -9, -75, -50, -100, -148, -120, -92, -62, -32, -73, -50, -99, -146, -120, -91, -62, -31], [0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [21, 10, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -22, -15, -30, -44, -36, -27, -18, -9], [74, 37, -7, -10, -83, -56, -111, -164, -134, -103, -70, -36, -82, -56, -111, -164, -134, -102, -70, -35], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0], [65, 32, -6, -9, -74, -49, -98, -145, -118, -91, -62, -32, -71, -48, -96, -142, -116, -88, -60, -30], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 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], [64, 32, -6, -9, -72, -48, -96, -142, -116, -89, -60, -31, -69, -47, -94, -138, -113, -86, -59, -30], [22, 11, -2, -3, -25, -17, -33, -49, -40, -31, -21, -11, -25, -17, -33, -49, -40, -30, -20, -10], [73, 36, -7, -10, -82, -55, -110, -162, -132, -101, -68, -35, -80, -54, -108, -160, -131, -100, -68, -34], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], [65, 32, -6, -9, -74, -50, -99, -146, -119, -92, -62, -32, -70, -48, -95, -140, -115, -88, -60, -30], [8, 4, -1, -1, -8, -5, -10, -15, -12, -9, -6, -3, -10, -7, -14, -20, -16, -12, -8, -4]], [[A[2], [[8, 4, -1, -1, -9, -6, -12, -18, -15, -12, -8, -4, -8, -6, -11, -16, -13, -10, -7, -4], [12, 6, -1, -2, -13, -9, -18, -26, -21, -16, -11, -6, -12, -8, -16, -24, -20, -15, -10, -5]]], [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, 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, 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], [[14, 7, -1, -2, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7]]], [A[1], [[22, 11, -2, -3, -25, -17, -34, -50, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -21, -11]]]], [[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, 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, 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], [8, 4, -1, -1, -10, -7, -14, -20, -16, -12, -8, -4, -8, -5, -10, -15, -12, -9, -6, -3], [8, 4, -1, -1, -8, -6, -11, -16, -13, -10, -7, -4, -9, -6, -12, -18, -15, -12, -8, -4], [8, 4, -1, -1, -8, -5, -10, -15, -12, -9, -6, -3, -10, -7, -14, -20, -16, -12, -8, -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, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6], [14, 7, -1, -2, -16, -11, -21, -31, -25, -19, -13, -7, -16, -11, -22, -32, -26, -20, -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], [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, -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, -17, -33, -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, -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, -25, -17, -34, -50, -41, -32, -22, -11], [22, 11, -2, -3, -24, -16, -32, -47, -38, -29, -20, -10, -26, -17, -34, -51, -42, -32, -22, -11], [52, 26, -5, -7, -60, -40, -80, -118, -96, -74, -50, -26, -56, -38, -75, -112, -92, -70, -48, -24], [64, 32, -6, -9, -72, -48, -96, -142, -116, -89, -60, -31, -69, -47, -94, -138, -113, -86, -59, -30]]];
adjacentAutX[0, 4]:=[[74, 37, -7, -10, -83, -56, -111, -164, -134, -103, -69, -35, -82, -55, -110, -164, -134, -103, -70, -36], [[1045, 522, -100, -141, -1172, -779, -1558, -2307, -1873, -1439, -968, -486, -1165, -783, -1562, -2330, -1896, -1462, -987, -512], [0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [1200, 600, -115, -162, -1344, -894, -1788, -2646, -2148, -1650, -1110, -558, -1338, -900, -1794, -2676, -2178, -1680, -1134, -588], [1692, 846, -162, -229, -1896, -1260, -2520, -3732, -3030, -2328, -1566, -786, -1884, -1266, -2526, -3768, -3066, -2364, -1596, -828], [74, 37, -7, -10, -84, -56, -112, -165, -134, -103, -69, -35, -82, -55, -110, -164, -133, -102, -69, -36], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [60, 30, -6, -8, -68, -45, -90, -133, -108, -83, -56, -28, -66, -44, -88, -132, -108, -83, -56, -29], [22, 11, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -25, -17, -34, -50, -41, -32, -22, -11], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0], [74, 37, -7, -10, -83, -55, -110, -163, -132, -101, -68, -34, -83, -56, -111, -166, -135, -104, -71, -37], [22, 11, -2, -3, -25, -17, -34, -50, -41, -32, -22, -11, -24, -16, -32, -48, -39, -30, -20, -10], [8, 4, -1, -1, -8, -5, -10, -15, -12, -9, -6, -3, -10, -7, -14, -20, -16, -12, -8, -4], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0], [8, 4, -1, -1, -9, -6, -12, -18, -15, -12, -8, -4, -8, -6, -11, -16, -13, -10, -7, -4], [22, 11, -2, -3, -26, -17, -34, -51, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -20, -10], [74, 37, -7, -10, -82, -55, -109, -161, -131, -101, -68, -34, -84, -56, -112, -167, -136, -105, -71, -37], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [82, 41, -8, -11, -92, -62, -123, -182, -148, -113, -76, -38, -91, -61, -122, -182, -148, -114, -77, -40], [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [74, 37, -7, -10, -83, -55, -110, -163, -133, -102, -68, -34, -83, -56, -111, -166, -135, -104, -70, -36]], [[A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0], [8, 4, -1, -1, -9, -6, -12, -18, -15, -12, -8, -4, -8, -6, -11, -16, -13, -10, -7, -4]]], [A[2], [[8, 4, -1, -1, -8, -6, -11, -16, -13, -10, -7, -4, -9, -6, -12, -18, -15, -12, -8, -4], [14, 7, -1, -2, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7]]], [A[2], [[10, 5, -1, -1, -12, -8, -16, -24, -20, -15, -10, -5, -12, -8, -16, -24, -20, -15, -10, -5], [20, 10, -2, -3, -22, -15, -29, -43, -35, -27, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 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]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [22, 11, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -25, -17, -34, -50, -41, -32, -22, -11]]], [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], [[22, 11, -2, -3, -25, -17, -34, -50, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -21, -11]]], [A[1], [[22, 11, -2, -3, -24, -17, -33, -48, -39, -30, -20, -10, -25, -17, -34, -50, -41, -31, -21, -11]]]], [[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, 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, 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], [8, 4, -1, -1, -10, -7, -14, -20, -16, -12, -8, -4, -8, -5, -10, -15, -12, -9, -6, -3], [8, 4, -1, -1, -8, -5, -10, -15, -12, -9, -6, -3, -10, -7, -14, -20, -16, -12, -8, -4], [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, -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, -17, -34, -51, -41, -31, -21, -11, -24, -16, -32, -48, -39, -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, -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]]];
adjacentAutX[0, 5]:=[[80, 40, -7, -11, -91, -61, -122, -181, -147, -112, -75, -38, -89, -60, -119, -178, -145, -110, -75, -38], [[1545, 767, -139, -215, -1748, -1181, -2355, -3486, -2829, -2162, -1445, -728, -1701, -1137, -2264, -3391, -2767, -2104, -1430, -717], [23, 11, -2, -3, -27, -18, -36, -53, -43, -33, -22, -11, -26, -18, -35, -52, -42, -32, -22, -11], [1680, 834, -151, -234, -1902, -1284, -2562, -3792, -3078, -2352, -1572, -792, -1848, -1236, -2460, -3684, -3006, -2286, -1554, -780], [2598, 1290, -234, -361, -2940, -1986, -3960, -5862, -4758, -3636, -2430, -1224, -2862, -1914, -3810, -5706, -4656, -3540, -2406, -1206], [21, 10, -2, -3, -22, -15, -30, -44, -36, -27, -18, -9, -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], [87, 43, -8, -12, -98, -66, -132, -195, -158, -121, -81, -41, -96, -64, -128, -192, -157, -119, -81, -41], [80, 40, -7, -11, -92, -62, -124, -184, -149, -114, -76, -38, -88, -59, -117, -175, -143, -109, -74, -37], [20, 10, -2, -3, -22, -15, -29, -43, -35, -27, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9], [101, 50, -9, -14, -114, -77, -154, -228, -185, -141, -95, -48, -112, -75, -149, -223, -182, -138, -94, -47], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 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], [22, 11, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -26, -17, -34, -51, -41, -31, -21, -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, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0], [101, 50, -9, -14, -115, -78, -155, -229, -186, -142, -95, -48, -111, -74, -148, -221, -181, -138, -94, -47], [78, 39, -7, -11, -87, -59, -118, -174, -141, -108, -72, -36, -86, -58, -115, -172, -140, -106, -72, -36], [22, 11, -2, -3, -26, -17, -34, -51, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -20, -10], [79, 39, -7, -11, -89, -60, -120, -178, -145, -111, -74, -37, -87, -58, -116, -174, -142, -108, -74, -37], [8, 4, -1, -1, -10, -7, -14, -20, -16, -12, -8, -4, -8, -5, -10, -15, -12, -9, -6, -3]], [[A[2], [[0, 0, 0, 0, 0, 1, 0, 0, 0, 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, 0, 0, 0, 0, 1, 0, 0], [22, 11, -2, -3, -26, -17, -34, -51, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -20, -10]]], [A[2], [[14, 7, -1, -2, -15, -10, -20, -30, -24, -18, -12, -6, -17, -12, -23, -34, -28, -21, -14, -7], [22, 11, -2, -3, -25, -17, -34, -50, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -21, -11]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0], [22, 11, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -26, -17, -34, -51, -41, -31, -21, -11]]], [A[2], [[0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 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], [[10, 5, -1, -1, -12, -8, -16, -24, -20, -15, -10, -5, -12, -8, -16, -24, -20, -15, -10, -5]]], [A[1], [[14, 7, -1, -2, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7]]]], [[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, 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, 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], [8, 4, -1, -1, -10, -7, -14, -20, -16, -12, -8, -4, -8, -5, -10, -15, -12, -9, -6, -3], [12, 6, -1, -2, -13, -9, -18, -26, -21, -16, -11, -6, -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], [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, -22, -15, -30, -44, -36, -27, -18, -9, -24, -16, -32, -48, -39, -30, -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, -25, -17, -34, -50, -41, -32, -22, -11, -24, -16, -32, -48, -39, -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, -20, -10, -25, -17, -34, -50, -41, -32, -22, -11], [22, 11, -2, -3, -24, -16, -32, -47, -38, -29, -20, -10, -26, -17, -34, -51, -42, -32, -22, -11]]];
adjacentAutX[0, 6]:=[[176, 88, -16, -25, -193, -130, -260, -383, -312, -238, -161, -81, -197, -134, -264, -391, -318, -243, -165, -84], [[3981, 1987, -371, -557, -4388, -2957, -5904, -8701, -7099, -5422, -3670, -1837, -4452, -3022, -5958, -8819, -7153, -5487, -3735, -1908], [14, 7, -1, -2, -16, -11, -22, -32, -26, -20, -14, -7, -16, -11, -21, -31, -25, -19, -13, -7], [4458, 2226, -415, -624, -4914, -3312, -6612, -9744, -7950, -6072, -4110, -2058, -4986, -3384, -6672, -9876, -8010, -6144, -4182, -2136], [6696, 3342, -624, -937, -7380, -4974, -9930, -14634, -11940, -9120, -6174, -3090, -7488, -5082, -10020, -14832, -12030, -9228, -6282, -3210], [150, 75, -14, -21, -164, -111, -222, -327, -267, -204, -138, -69, -168, -114, -225, -333, -270, -207, -141, -72], [20, 10, -2, -3, -21, -14, -28, -42, -34, -26, -18, -9, -22, -15, -29, -43, -35, -27, -18, -9], [301, 150, -28, -42, -333, -224, -448, -660, -539, -412, -279, -140, -336, -228, -450, -666, -540, -414, -282, -144], [22, 11, -2, -3, -25, -17, -33, -49, -40, -30, -20, -10, -25, -17, -33, -49, -40, -31, -21, -11], [150, 75, -14, -21, -165, -111, -222, -327, -266, -204, -138, -69, -168, -114, -225, -333, -270, -207, -141, -72], [150, 75, -14, -21, -165, -111, -222, -327, -267, -203, -138, -69, -168, -114, -225, -333, -270, -207, -141, -72], [163, 81, -15, -23, -179, -121, -241, -355, -290, -222, -150, -75, -182, -124, -244, -361, -293, -225, -153, -78], [8, 4, -1, -1, -10, -7, -14, -20, -16, -12, -8, -4, -8, -5, -10, -15, -12, -9, -6, -3], [171, 85, -16, -24, -188, -127, -253, -373, -304, -232, -157, -79, -191, -130, -256, -379, -307, -235, -160, -82], [173, 86, -16, -24, -191, -129, -257, -379, -309, -236, -160, -80, -195, -132, -261, -386, -313, -240, -163, -83], [150, 75, -14, -21, -165, -111, -222, -327, -267, -204, -138, -69, -168, -114, -224, -333, -270, -207, -141, -72], [150, 75, -14, -21, -165, -111, -222, -327, -267, -204, -138, -69, -168, -114, -225, -332, -270, -207, -141, -72], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [172, 86, -16, -24, -191, -129, -257, -379, -309, -236, -160, -80, -191, -130, -256, -379, -308, -236, -161, -82], [150, 75, -14, -21, -165, -111, -222, -327, -267, -204, -138, -69, -168, -114, -225, -333, -270, -207, -140, -72], [163, 81, -15, -23, -180, -121, -242, -357, -291, -222, -150, -75, -182, -123, -243, -360, -292, -224, -153, -78]], [[A[3], [[14, 7, -1, -2, -16, -11, -22, -32, -26, -20, -14, -7, -16, -11, -21, -31, -25, -19, -13, -7], [21, 10, -2, -3, -22, -15, -30, -44, -36, -27, -18, -9, -24, -16, -32, -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]]], [A[3], [[20, 10, -2, -3, -21, -14, -28, -42, -34, -26, -18, -9, -22, -15, -29, -43, -35, -27, -18, -9], [22, 11, -2, -3, -24, -17, -33, -48, -39, -30, -20, -10, -25, -17, -34, -50, -41, -31, -21, -11], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[3], [[22, 11, -2, -3, -25, -17, -34, -50, -41, -31, -21, -11, -24, -17, -33, -48, -39, -30, -20, -10], [22, 11, -2, -3, -24, -16, -32, -47, -38, -29, -20, -10, -26, -17, -34, -51, -42, -32, -22, -11], [12, 6, -1, -2, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6]]], [A[1], [[34, 17, -3, -5, -37, -25, -50, -73, -59, -45, -30, -15, -38, -26, -51, -75, -61, -47, -32, -16]]], [A[1], [[42, 21, -4, -6, -46, -31, -62, -91, -74, -56, -38, -19, -46, -32, -62, -92, -75, -57, -39, -20]]], [A[1], [[56, 28, -5, -8, -63, -42, -84, -124, -101, -77, -52, -26, -62, -42, -83, -123, -100, -76, -51, -26]]], [A[1], [[56, 28, -5, -8, -62, -42, -84, -124, -101, -77, -52, -26, -62, -42, -83, -123, -100, -76, -52, -26]]], [A[1], [[56, 28, -5, -8, -61, -41, -82, -121, -99, -76, -51, -26, -63, -43, -84, -125, -102, -78, -53, -27]]], [A[1], [[56, 28, -5, -8, -61, -41, -82, -121, -98, -75, -51, -26, -63, -43, -85, -126, -102, -78, -53, -27]]]], [[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, 1, 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, -8, -5, -10, -15, -12, -9, -6, -3, -10, -7, -14, -20, -16, -12, -8, -4], [12, 6, -1, -2, -13, -9, -18, -26, -21, -16, -11, -6, -12, -8, -16, -24, -20, -15, -10, -5], [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, -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], [20, 10, -2, -3, -22, -15, -29, -43, -35, -27, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9], [23, 11, -2, -3, -27, -18, -36, -53, -43, -33, -22, -11, -26, -18, -35, -52, -42, -32, -22, -11], [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, -30, -20, -10, -25, -17, -33, -49, -40, -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, -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], [162, 81, -15, -23, -178, -120, -240, -353, -288, -220, -149, -75, -180, -122, -241, -357, -290, -222, -151, -77], [164, 82, -15, -23, -180, -121, -242, -357, -291, -222, -150, -75, -185, -126, -248, -367, -298, -228, -155, -79]]];
adjacentAutX[0, 7]:=[[140, 70, -13, -20, -153, -102, -204, -303, -245, -187, -127, -64, -155, -105, -209, -310, -254, -194, -131, -67], [[3111, 1552, -282, -446, -3407, -2273, -4546, -6748, -5471, -4194, -2840, -1420, -3458, -2334, -4658, -6916, -5650, -4307, -2898, -1482], [14, 7, -1, -2, -15, -10, -20, -30, -24, -18, -12, -6, -17, -12, -23, -34, -28, -21, -14, -7], [3390, 1692, -307, -486, -3714, -2478, -4956, -7356, -5964, -4572, -3096, -1548, -3768, -2544, -5076, -7536, -6156, -4692, -3156, -1614], [5364, 2676, -486, -769, -5874, -3918, -7836, -11634, -9432, -7230, -4896, -2448, -5964, -4026, -8034, -11928, -9744, -7428, -4998, -2556], [132, 66, -12, -19, -144, -96, -192, -285, -231, -177, -120, -60, -147, -99, -198, -294, -240, -182, -123, -63], [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [142, 71, -13, -20, -156, -104, -208, -309, -251, -192, -130, -65, -159, -107, -214, -318, -260, -198, -133, -68], [145, 72, -13, -21, -158, -106, -211, -313, -254, -195, -132, -66, -161, -109, -217, -322, -263, -201, -135, -69], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [154, 77, -14, -22, -170, -114, -227, -337, -273, -209, -142, -71, -170, -115, -229, -340, -278, -212, -143, -73], [132, 66, -12, -19, -144, -96, -192, -285, -231, -177, -119, -60, -147, -99, -198, -294, -240, -183, -123, -63], [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, 0], [21, 10, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -22, -15, -30, -44, -36, -27, -18, -9], [132, 66, -12, -19, -144, -96, -192, -285, -231, -177, -120, -60, -147, -99, -197, -294, -240, -183, -123, -63], [132, 66, -12, -19, -144, -96, -192, -285, -231, -177, -120, -60, -147, -99, -198, -293, -240, -183, -123, -63], [155, 77, -14, -22, -171, -114, -228, -338, -274, -210, -142, -71, -173, -117, -233, -346, -282, -215, -145, -74], [132, 66, -12, -19, -143, -96, -192, -285, -231, -177, -120, -60, -147, -99, -198, -294, -240, -183, -123, -63], [14, 7, -1, -2, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7], [132, 66, -12, -19, -144, -96, -192, -285, -231, -177, -120, -60, -147, -99, -198, -294, -240, -183, -123, -62]], [[A[3], [[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, -47, -38, -29, -20, -10, -22, -15, -30, -44, -36, -28, -19, -10], [0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[3], [[8, 4, -1, -1, -8, -5, -10, -15, -12, -9, -6, -3, -10, -7, -14, -20, -16, -12, -8, -4], [12, 6, -1, -2, -13, -9, -18, -26, -21, -16, -11, -6, -12, -8, -16, -24, -20, -15, -10, -5], [22, 11, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -25, -17, -34, -50, -41, -32, -22, -11]]], [A[3], [[20, 10, -2, -3, -21, -14, -28, -42, -34, -26, -18, -9, -22, -15, -29, -43, -35, -27, -18, -9], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0], [22, 11, -2, -3, -24, -16, -32, -47, -38, -29, -20, -10, -26, -17, -34, -51, -42, -32, -22, -11]]], [A[3], [[0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [42, 21, -4, -6, -46, -31, -61, -91, -74, -56, -38, -19, -46, -31, -62, -92, -76, -58, -39, -20], [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [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, -21, -11, -25, -17, -34, -50, -41, -31, -21, -11]]], [A[1], [[42, 21, -4, -6, -46, -31, -62, -92, -74, -56, -38, -19, -46, -31, -62, -92, -75, -57, -39, -20]]], [A[1], [[42, 21, -4, -6, -45, -30, -60, -89, -72, -55, -37, -19, -47, -32, -63, -94, -77, -59, -40, -21]]]], [[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, 1, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0], [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], [21, 10, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -22, -15, -30, -44, -36, -27, -18, -9], [21, 10, -2, -3, -22, -15, -30, -44, -36, -27, -18, -9, -24, -16, -32, -48, -39, -30, -20, -10], [20, 10, -2, -3, -22, -15, -29, -43, -35, -27, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9], [22, 11, -2, -3, -24, -17, -33, -48, -39, -30, -20, -10, -25, -17, -34, -50, -41, -31, -21, -11]]];
adjacentAutX[0, 8]:=[[152, 76, -14, -21, -173, -115, -230, -342, -277, -212, -144, -72, -167, -113, -222, -331, -270, -208, -142, -73], [[5837, 2913, -532, -810, -6650, -4442, -8873, -13167, -10675, -8172, -5543, -2777, -6412, -4326, -8515, -12694, -10328, -7951, -5437, -2787], [22, 11, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -25, -17, -34, -50, -41, -32, -22, -11], [6396, 3192, -583, -888, -7284, -4866, -9720, -14424, -11694, -8952, -6072, -3042, -7026, -4740, -9330, -13908, -11316, -8712, -5958, -3054], [9738, 4860, -888, -1351, -11094, -7410, -14802, -21966, -17808, -13632, -9246, -4632, -10698, -7218, -14208, -21180, -17232, -13266, -9072, -4650], [266, 133, -24, -37, -304, -203, -405, -601, -487, -373, -253, -127, -292, -197, -388, -578, -470, -362, -248, -127], [22, 11, -2, -3, -25, -17, -33, -49, -40, -30, -20, -10, -25, -17, -33, -49, -40, -31, -21, -11], [274, 137, -25, -38, -312, -208, -416, -618, -501, -384, -261, -131, -301, -203, -400, -596, -485, -373, -255, -131], [273, 136, -25, -38, -310, -207, -414, -614, -498, -381, -258, -129, -300, -202, -398, -594, -483, -372, -254, -130], [22, 11, -2, -3, -26, -18, -35, -52, -42, -32, -22, -11, -23, -16, -31, -46, -38, -29, -20, -10], [253, 126, -23, -35, -288, -192, -384, -570, -462, -354, -240, -120, -279, -188, -370, -552, -449, -346, -237, -122], [274, 137, -25, -38, -313, -209, -418, -620, -503, -385, -261, -131, -300, -203, -399, -594, -483, -372, -254, -130], [22, 11, -2, -3, -24, -16, -32, -47, -38, -29, -20, -10, -26, -17, -34, -51, -42, -32, -22, -11], [260, 130, -24, -36, -296, -198, -395, -586, -475, -364, -247, -124, -285, -192, -378, -564, -459, -354, -242, -124], [274, 137, -25, -38, -311, -208, -415, -616, -500, -383, -260, -130, -302, -204, -401, -598, -486, -374, -256, -131], [21, 10, -2, -3, -24, -16, -32, -47, -38, -29, -20, -10, -22, -15, -30, -44, -36, -28, -19, -10], [266, 133, -24, -37, -303, -202, -404, -600, -486, -372, -252, -126, -293, -198, -389, -580, -472, -363, -248, -127], [22, 11, -2, -3, -25, -17, -34, -50, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -21, -11], [275, 137, -25, -38, -314, -210, -419, -622, -504, -386, -262, -131, -303, -204, -402, -599, -487, -375, -256, -131], [273, 136, -25, -38, -311, -207, -414, -615, -499, -382, -259, -130, -299, -202, -397, -592, -482, -371, -254, -130], [274, 137, -25, -38, -312, -209, -417, -618, -501, -384, -260, -130, -301, -203, -400, -596, -485, -373, -255, -131]], [[A[4], [[22, 11, -2, -3, -26, -18, -35, -52, -42, -32, -22, -11, -23, -16, -31, -46, -38, -29, -20, -10], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [22, 11, -2, -3, -25, -17, -33, -49, -40, -30, -20, -10, -25, -17, -33, -49, -40, -31, -21, -11], [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[4], [[0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [21, 10, -2, -3, -24, -16, -32, -47, -38, -29, -20, -10, -22, -15, -30, -44, -36, -28, -19, -10], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0], [22, 11, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -25, -17, -34, -50, -41, -32, -22, -11]]], [A[4], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [22, 11, -2, -3, -26, -17, -34, -51, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -20, -10], [8, 4, -1, -1, -9, -6, -12, -18, -15, -12, -8, -4, -8, -6, -11, -16, -13, -10, -7, -4], [22, 11, -2, -3, -24, -16, -32, -47, -38, -29, -20, -10, -26, -17, -34, -51, -42, -32, -22, -11]]], [A[2], [[14, 7, -1, -2, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7], [20, 10, -2, -3, -21, -14, -28, -42, -34, -26, -18, -9, -22, -15, -29, -43, -35, -27, -18, -9]]], [A[1], [[44, 22, -4, -6, -50, -33, -66, -99, -80, -61, -42, -21, -49, -33, -65, -97, -79, -61, -42, -22]]]], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [8, 4, -1, -1, -10, -7, -14, -20, -16, -12, -8, -4, -8, -5, -10, -15, -12, -9, -6, -3], [13, 6, -1, -2, -15, -10, -20, -30, -24, -18, -12, -6, -14, -9, -18, -27, -22, -17, -12, -6], [14, 7, -1, -2, -16, -11, -22, -32, -26, -20, -14, -7, -16, -11, -21, -31, -25, -19, -13, -7], [20, 10, -2, -3, -22, -15, -29, -43, -35, -27, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9], [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, -17, -34, -51, -42, -32, -22, -11, -24, -16, -32, -47, -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, -16, -32, -48, -39, -30, -21, -11], [22, 11, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -26, -17, -34, -51, -41, -31, -21, -11], [44, 22, -4, -6, -51, -34, -68, -101, -82, -63, -43, -22, -48, -32, -63, -94, -77, -60, -41, -21], [56, 28, -5, -8, -63, -42, -84, -125, -101, -77, -52, -26, -61, -42, -82, -122, -99, -76, -52, -27]]];
adjacentAutX[0, 9]:=[[252, 126, -22, -35, -284, -191, -382, -563, -456, -349, -237, -121, -280, -191, -378, -560, -457, -350, -238, -121], [[17726, 8860, -1533, -2462, -20014, -13454, -26908, -39704, -32162, -24609, -16732, -8531, -19702, -13455, -26586, -39393, -32174, -24621, -16744, -8536], [12, 6, -1, -2, -13, -9, -18, -26, -21, -16, -11, -6, -12, -8, -16, -24, -20, -15, -10, -5], [18402, 9198, -1591, -2556, -20778, -13968, -27936, -41220, -33390, -25548, -17370, -8856, -20454, -13968, -27600, -40896, -33402, -25560, -17382, -8862], [29556, 14772, -2556, -4105, -33372, -22434, -44868, -66204, -53628, -41034, -27900, -14226, -32850, -22434, -44328, -65682, -53646, -41052, -27918, -14232], [648, 324, -56, -90, -732, -492, -984, -1452, -1176, -899, -612, -312, -720, -492, -972, -1440, -1176, -900, -612, -312], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [1317, 658, -114, -183, -1487, -1000, -1999, -2950, -2390, -1829, -1244, -634, -1463, -999, -1974, -2925, -2389, -1828, -1243, -634], [648, 324, -56, -90, -732, -492, -984, -1452, -1176, -900, -611, -312, -720, -492, -972, -1440, -1176, -900, -612, -312], [22, 11, -2, -3, -24, -16, -32, -47, -38, -29, -20, -10, -26, -17, -34, -51, -42, -32, -22, -11], [648, 324, -56, -90, -731, -492, -984, -1452, -1176, -900, -612, -312, -720, -492, -972, -1440, -1176, -900, -612, -312], [648, 324, -56, -90, -732, -492, -984, -1451, -1176, -900, -612, -312, -720, -492, -972, -1440, -1176, -900, -612, -312], [661, 330, -57, -92, -747, -502, -1004, -1482, -1200, -918, -624, -318, -734, -501, -990, -1467, -1198, -917, -624, -318], [22, 11, -2, -3, -25, -17, -34, -50, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -21, -11], [648, 324, -56, -90, -732, -492, -984, -1452, -1176, -900, -612, -312, -720, -491, -972, -1440, -1176, -900, -612, -312], [648, 324, -56, -90, -732, -492, -984, -1452, -1176, -900, -612, -312, -720, -492, -971, -1440, -1176, -900, -612, -312], [648, 324, -56, -90, -732, -492, -984, -1452, -1176, -900, -612, -312, -720, -492, -972, -1439, -1176, -900, -612, -312], [669, 334, -58, -93, -754, -507, -1014, -1496, -1212, -927, -630, -321, -744, -508, -1004, -1488, -1215, -930, -632, -322], [648, 324, -56, -90, -732, -492, -984, -1452, -1176, -900, -612, -312, -720, -492, -972, -1440, -1176, -899, -612, -312], [662, 331, -57, -92, -747, -502, -1004, -1482, -1201, -919, -625, -319, -737, -503, -994, -1473, -1203, -921, -626, -319], [656, 328, -57, -91, -742, -499, -998, -1472, -1192, -912, -620, -316, -728, -497, -982, -1455, -1188, -909, -618, -315]], [[A[5], [[22, 11, -2, -3, -26, -17, -34, -51, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -20, -10], [22, 11, -2, -3, -24, -17, -33, -48, -39, -30, -20, -10, -25, -17, -34, -50, -41, -31, -21, -11], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [14, 7, -1, -2, -16, -11, -21, -31, -25, -19, -13, -7, -16, -11, -22, -32, -26, -20, -14, -7], [22, 11, -2, -3, -25, -17, -34, -50, -41, -32, -22, -11, -24, -16, -32, -48, -39, -30, -20, -10]]], [A[5], [[22, 11, -2, -3, -25, -17, -34, -50, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -21, -11], [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [22, 11, -2, -3, -25, -17, -34, -50, -41, -31, -21, -11, -24, -17, -33, -48, -39, -30, -20, -10], [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, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0]]], [A[5], [[22, 11, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -25, -17, -34, -50, -41, -32, -22, -11], [12, 6, -1, -2, -13, -9, -18, -26, -21, -16, -11, -6, -12, -8, -16, -24, -20, -15, -10, -5], [23, 11, -2, -3, -27, -18, -36, -53, -43, -33, -22, -11, -26, -18, -35, -52, -42, -32, -22, -11], [0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [21, 10, -2, -3, -24, -16, -32, -47, -38, -29, -20, -10, -22, -15, -30, -44, -36, -28, -19, -10]]], [A[1], [[36, 18, -3, -5, -41, -28, -56, -82, -66, -50, -34, -17, -40, -27, -54, -80, -65, -50, -34, -17]]], [A[1], [[36, 18, -3, -5, -40, -27, -54, -79, -64, -49, -33, -17, -41, -28, -55, -82, -67, -52, -35, -18]]], [A[1], [[56, 28, -5, -8, -61, -41, -82, -121, -98, -75, -51, -26, -63, -43, -85, -126, -102, -78, -53, -27]]]], [[14, 7, -1, -2, -15, -10, -20, -30, -24, -18, -12, -6, -17, -12, -23, -34, -28, -21, -14, -7], [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, -22, -32, -26, -20, -14, -7, -16, -11, -21, -31, -25, -19, -13, -7], [22, 11, -2, -3, -24, -16, -32, -48, -39, -30, -21, -11, -25, -17, -34, -50, -41, -31, -21, -11], [22, 11, -2, -3, -26, -18, -35, -52, -42, -32, -22, -11, -23, -16, -31, -46, -38, -29, -20, -10]]];
adjacentAutX[0, 10]:=[[148, 74, -13, -21, -171, -114, -228, -338, -272, -206, -140, -70, -160, -108, -212, -316, -260, -199, -134, -69], [[7136, 3568, -630, -1014, -8181, -5458, -10915, -16158, -13016, -9867, -6714, -3357, -7765, -5250, -10291, -15326, -12596, -9651, -6502, -3353], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [7560, 3780, -667, -1074, -8670, -5784, -11568, -17124, -13794, -10458, -7116, -3558, -8226, -5562, -10902, -16236, -13344, -10224, -6888, -3552], [12168, 6084, -1074, -1729, -13950, -9306, -18612, -27552, -22194, -16824, -11448, -5724, -13242, -8952, -17550, -26136, -21480, -16458, -11088, -5718], [408, 204, -36, -58, -467, -312, -624, -924, -744, -564, -384, -192, -444, -300, -588, -876, -720, -552, -372, -192], [0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [429, 214, -38, -61, -492, -328, -656, -972, -783, -594, -404, -202, -466, -315, -618, -920, -756, -579, -390, -201], [408, 204, -36, -58, -468, -312, -624, -923, -744, -564, -384, -192, -444, -300, -588, -876, -720, -552, -372, -192], [14, 7, -1, -2, -15, -10, -20, -30, -24, -18, -12, -6, -17, -12, -23, -34, -28, -21, -14, -7], [8, 4, -1, -1, -10, -7, -14, -20, -16, -12, -8, -4, -8, -5, -10, -15, -12, -9, -6, -3], [408, 204, -36, -58, -468, -312, -624, -924, -744, -564, -384, -192, -443, -300, -588, -876, -720, -552, -372, -192], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0], [408, 204, -36, -58, -468, -312, -624, -924, -744, -564, -383, -192, -444, -300, -588, -876, -720, -552, -372, -192], [418, 209, -37, -59, -480, -320, -640, -948, -764, -579, -394, -197, -456, -308, -604, -900, -740, -567, -382, -197], [12, 6, -1, -2, -13, -9, -18, -26, -21, -16, -11, -6, -12, -8, -16, -24, -20, -15, -10, -5], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [430, 215, -38, -61, -493, -329, -658, -974, -785, -595, -405, -203, -468, -317, -621, -924, -759, -582, -392, -202], [408, 204, -36, -58, -468, -312, -624, -924, -744, -564, -384, -192, -444, -300, -588, -876, -720, -551, -372, -192], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0], [408, 204, -36, -58, -468, -312, -624, -924, -744, -564, -384, -192, -444, -300, -588, -876, -720, -552, -372, -191]], [[A[5], [[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, 0, 0, 0, 0], [14, 7, -1, -2, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7], [8, 4, -1, -1, -10, -7, -14, -20, -16, -12, -8, -4, -8, -5, -10, -15, -12, -9, -6, -3], [14, 7, -1, -2, -15, -10, -20, -30, -24, -18, -12, -6, -17, -12, -23, -34, -28, -21, -14, -7]]], [A[5], [[0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [13, 6, -1, -2, -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], [22, 11, -2, -3, -26, -18, -35, -52, -42, -32, -22, -11, -23, -16, -31, -46, -38, -29, -20, -10], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[5], [[12, 6, -1, -2, -13, -9, -18, -26, -21, -16, -11, -6, -12, -8, -16, -24, -20, -15, -10, -5], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [22, 11, -2, -3, -26, -17, -34, -51, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -20, -10], [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[1], [[14, 7, -1, -2, -18, -12, -24, -35, -28, -21, -14, -7, -14, -10, -19, -28, -23, -18, -12, -6]]], [A[1], [[20, 10, -2, -3, -23, -15, -30, -45, -36, -27, -18, -9, -20, -14, -27, -40, -33, -25, -17, -9]]], [A[1], [[22, 11, -2, -3, -25, -17, -34, -50, -40, -30, -20, -10, -24, -16, -32, -48, -40, -31, -21, -11]]]], [[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, -47, -38, -29, -20, -10, -22, -15, -30, -44, -36, -28, -19, -10], [20, 10, -2, -3, -21, -14, -28, -42, -34, -26, -18, -9, -22, -15, -29, -43, -35, -27, -18, -9], [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, -47, -38, -29, -20, -10, -26, -17, -34, -51, -42, -32, -22, -11]]];
adjacentAutX[0, 11]:=[[304, 152, -27, -42, -341, -231, -456, -677, -551, -420, -284, -142, -340, -230, -455, -680, -554, -424, -288, -147], [[20402, 10196, -1818, -2815, -22853, -15472, -30586, -45352, -36917, -28130, -18989, -9500, -22865, -15480, -30605, -45730, -37284, -28490, -19348, -9848], [20, 10, -2, -3, -22, -15, -29, -43, -35, -27, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9], [21828, 10908, -1945, -3012, -24450, -16554, -32724, -48522, -39498, -30096, -20316, -10164, -24462, -16560, -32742, -48924, -39888, -30480, -20700, -10536], [33798, 16890, -3012, -4663, -37860, -25632, -50670, -75132, -61158, -46602, -31458, -15738, -37878, -25644, -50700, -75756, -61764, -47196, -32052, -16314], [709, 354, -63, -98, -794, -538, -1063, -1576, -1283, -978, -660, -330, -794, -538, -1063, -1588, -1295, -990, -672, -342], [717, 358, -64, -99, -803, -543, -1074, -1593, -1297, -988, -667, -334, -803, -544, -1075, -1606, -1310, -1001, -680, -346], [696, 348, -62, -96, -780, -528, -1044, -1548, -1260, -960, -648, -324, -780, -528, -1044, -1560, -1271, -972, -660, -336], [696, 348, -62, -96, -780, -528, -1044, -1548, -1260, -960, -648, -324, -780, -528, -1044, -1560, -1272, -971, -660, -336], [704, 352, -63, -97, -788, -534, -1055, -1564, -1273, -970, -655, -328, -789, -534, -1056, -1578, -1287, -984, -668, -340], [709, 354, -63, -98, -794, -537, -1062, -1575, -1282, -977, -660, -330, -795, -538, -1064, -1590, -1296, -990, -672, -342], [696, 348, -62, -96, -780, -528, -1044, -1548, -1260, -960, -647, -324, -780, -528, -1044, -1560, -1272, -972, -660, -336], [22, 11, -2, -3, -23, -16, -31, -46, -38, -29, -20, -10, -26, -18, -35, -52, -42, -32, -22, -11], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0], [710, 355, -63, -98, -796, -539, -1065, -1579, -1285, -979, -661, -331, -796, -539, -1066, -1592, -1298, -992, -674, -343], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0], [1413, 706, -126, -195, -1582, -1071, -2118, -3140, -2556, -1948, -1315, -658, -1584, -1072, -2120, -3167, -2582, -1973, -1340, -682], [696, 348, -62, -96, -780, -528, -1043, -1548, -1260, -960, -648, -324, -780, -528, -1044, -1560, -1272, -972, -660, -336], [696, 348, -62, -96, -780, -528, -1044, -1547, -1260, -960, -648, -324, -780, -528, -1044, -1560, -1272, -972, -660, -336], [717, 358, -64, -99, -803, -544, -1075, -1594, -1297, -988, -667, -334, -803, -544, -1075, -1606, -1309, -1000, -679, -346], [696, 348, -62, -96, -780, -528, -1044, -1548, -1260, -960, -648, -324, -780, -528, -1044, -1560, -1272, -972, -660, -335]], [[D[4], [[56, 28, -5, -8, -62, -42, -83, -123, -100, -76, -52, -26, -62, -42, -83, -124, -101, -77, -52, -27], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0], [22, 11, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -25, -17, -34, -50, -41, -32, -22, -11], [14, 7, -1, -2, -17, -12, -23, -34, -28, -21, -14, -7, -15, -10, -20, -30, -24, -18, -12, -6]]], [A[5], [[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, -30, -20, -10, -25, -17, -33, -49, -40, -31, -21, -11], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0], [22, 11, -2, -3, -24, -16, -32, -48, -39, -30, -20, -10, -26, -17, -34, -51, -41, -31, -21, -11], [22, 11, -2, -3, -26, -18, -35, -52, -42, -32, -22, -11, -23, -16, -31, -46, -38, -29, -20, -10]]], [A[5], [[22, 11, -2, -3, -25, -17, -34, -50, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -21, -11], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [22, 11, -2, -3, -26, -17, -34, -51, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -20, -10], [22, 11, -2, -3, -23, -16, -31, -46, -38, -29, -20, -10, -26, -18, -35, -52, -42, -32, -22, -11], [14, 7, -1, -2, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7]]], [A[3], [[20, 10, -2, -3, -22, -15, -29, -43, -35, -27, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9], [81, 40, -7, -11, -91, -62, -122, -181, -147, -112, -76, -38, -92, -62, -123, -184, -150, -115, -78, -40], [0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]]], [[10, 5, -1, -1, -12, -8, -16, -24, -20, -15, -10, -5, -12, -8, -16, -24, -20, -15, -10, -5], [14, 7, -1, -2, -15, -10, -20, -30, -24, -18, -12, -6, -17, -12, -23, -34, -28, -21, -14, -7], [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, -24, -17, -33, -48, -39, -30, -20, -10, -25, -17, -34, -50, -41, -31, -21, -11], [22, 11, -2, -3, -24, -16, -32, -47, -38, -29, -20, -10, -26, -17, -34, -51, -42, -32, -22, -11]]];
adjacentAutX[0, 12]:=[[206, 103, -19, -29, -231, -156, -312, -457, -371, -285, -193, -97, -224, -153, -300, -447, -365, -278, -191, -98], [[8859, 4424, -815, -1243, -10022, -6759, -13518, -19810, -16080, -12350, -8392, -4196, -9570, -6531, -12834, -19130, -15628, -11898, -8164, -4196], [22, 11, -2, -3, -24, -16, -32, -47, -38, -29, -20, -10, -26, -17, -34, -51, -42, -32, -22, -11], [9792, 4890, -901, -1374, -11076, -7470, -14940, -21894, -17772, -13650, -9276, -4638, -10578, -7218, -14184, -21144, -17274, -13152, -9024, -4638], [14934, 7458, -1374, -2095, -16896, -11394, -22788, -33396, -27108, -20820, -14148, -7074, -16134, -11010, -21636, -32250, -26346, -20058, -13764, -7074], [469, 234, -43, -66, -531, -358, -716, -1050, -852, -654, -444, -222, -506, -345, -678, -1011, -826, -629, -432, -222], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [935, 467, -86, -131, -1058, -714, -1427, -2092, -1698, -1304, -886, -443, -1011, -690, -1356, -2021, -1651, -1257, -862, -443], [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, 0, 0, 0, 0, 0], [456, 228, -42, -64, -516, -348, -696, -1020, -828, -635, -432, -216, -492, -336, -660, -984, -804, -612, -420, -216], [477, 238, -44, -67, -538, -363, -726, -1064, -864, -664, -451, -226, -516, -352, -692, -1031, -842, -641, -440, -226], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [21, 10, -2, -3, -24, -16, -32, -47, -38, -29, -20, -10, -22, -15, -30, -44, -36, -28, -19, -10], [456, 228, -42, -64, -516, -348, -696, -1020, -828, -636, -432, -216, -492, -335, -660, -984, -804, -612, -420, -216], [14, 7, -1, -2, -16, -11, -22, -32, -26, -20, -14, -7, -16, -11, -21, -31, -25, -19, -13, -7], [456, 228, -42, -64, -516, -348, -696, -1020, -828, -636, -432, -216, -492, -336, -660, -984, -804, -612, -420, -215], [457, 228, -42, -64, -516, -348, -696, -1020, -828, -636, -432, -216, -495, -338, -664, -990, -809, -616, -423, -218], [8, 4, -1, -1, -10, -7, -14, -20, -16, -12, -8, -4, -8, -5, -10, -15, -12, -9, -6, -3], [469, 234, -43, -66, -530, -357, -714, -1047, -850, -653, -444, -222, -507, -346, -680, -1014, -828, -630, -432, -222], [456, 228, -42, -64, -516, -348, -696, -1020, -828, -636, -432, -216, -492, -336, -660, -983, -804, -612, -420, -216]], [[D[4], [[42, 21, -4, -6, -46, -31, -62, -91, -74, -56, -38, -19, -46, -32, -62, -92, -75, -57, -39, -20], [22, 11, -2, -3, -25, -17, -34, -50, -41, -31, -21, -11, -24, -16, -32, -48, -39, -30, -21, -11], [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]]], [A[5], [[14, 7, -1, -2, -16, -11, -22, -32, -26, -20, -14, -7, -16, -11, -21, -31, -25, -19, -13, -7], [20, 10, -2, -3, -22, -15, -29, -43, -35, -27, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [22, 11, -2, -3, -24, -17, -33, -48, -39, -30, -20, -10, -25, -17, -34, -50, -41, -31, -21, -11], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0]]], [A[5], [[0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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], [8, 4, -1, -1, -9, -6, -12, -18, -15, -12, -8, -4, -8, -6, -11, -16, -13, -10, -7, -4], [22, 11, -2, -3, -24, -16, -32, -47, -38, -29, -20, -10, -26, -17, -34, -51, -42, -32, -22, -11]]], [A[3], [[8, 4, -1, -1, -10, -7, -14, -20, -16, -12, -8, -4, -8, -5, -10, -15, -12, -9, -6, -3], [56, 28, -5, -8, -62, -42, -84, -123, -100, -77, -52, -26, -61, -42, -82, -122, -100, -77, -53, -27], [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, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0], [14, 7, -1, -2, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7], [21, 10, -2, -3, -24, -16, -32, -47, -38, -29, -20, -10, -22, -15, -30, -44, -36, -28, -19, -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, -25, -17, -34, -50, -41, -32, -22, -11, -24, -16, -32, -48, -39, -30, -20, -10]]];
adjacentAutX[1, 1]:=[[45, 22, -11, -3, -50, -34, -67, -99, -81, -62, -42, -21, -49, -33, -65, -97, -79, -61, -42, -21], [[321, 156, -78, -22, -350, -236, -472, -700, -572, -436, -300, -150, -350, -236, -472, -700, -572, -436, -300, -150], [18, 9, -4, -1, -21, -14, -28, -42, -34, -26, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9], [320, 156, -77, -22, -350, -236, -472, -700, -572, -436, -300, -150, -350, -236, -472, -700, -572, -436, -300, -150], [540, 264, -132, -37, -588, -396, -792, -1176, -960, -732, -504, -252, -588, -396, -792, -1176, -960, -732, -504, -252], [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, 1, 0, 0], [16, 8, -4, -1, -16, -11, -22, -32, -26, -20, -14, -7, -19, -13, -26, -38, -31, -24, -16, -8], [13, 6, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -14, -9, -18, -27, -22, -17, -12, -6], [16, 8, -4, -1, -18, -12, -24, -36, -30, -23, -16, -8, -17, -12, -23, -34, -28, -21, -14, -7], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0], [29, 14, -7, -2, -31, -21, -42, -62, -51, -39, -27, -14, -32, -22, -43, -64, -52, -40, -28, -14], [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, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [16, 8, -4, -1, -19, -13, -26, -38, -31, -24, -16, -8, -16, -11, -22, -32, -26, -20, -14, -7], [13, 6, -3, -1, -14, -9, -18, -27, -22, -17, -12, -6, -15, -10, -20, -30, -24, -18, -12, -6], [16, 8, -4, -1, -17, -12, -23, -34, -28, -21, -14, -7, -18, -12, -24, -36, -30, -23, -16, -8], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [29, 14, -7, -2, -32, -22, -43, -64, -52, -40, -28, -14, -31, -21, -42, -62, -51, -39, -27, -14], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1]], [[A[2], [[0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 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]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0], [16, 8, -4, -1, -19, -13, -26, -38, -31, -24, -16, -8, -16, -11, -22, -32, -26, -20, -14, -7]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [16, 8, -4, -1, -17, -12, -23, -34, -28, -21, -14, -7, -18, -12, -24, -36, -30, -23, -16, -8]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 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]]], [A[1], [[13, 6, -3, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -10, -19, -28, -23, -18, -12, -6]]], [A[1], [[16, 8, -4, -1, -19, -13, -25, -37, -30, -23, -16, -8, -17, -11, -22, -33, -27, -21, -14, -7]]], [A[1], [[16, 8, -4, -1, -17, -11, -22, -33, -27, -21, -14, -7, -19, -13, -25, -37, -30, -23, -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, 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, 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], [4, 2, -1, 0, -5, -4, -7, -10, -8, -6, -4, -2, -5, -4, -7, -10, -8, -6, -4, -2], [12, 6, -3, -1, -14, -9, -18, -27, -22, -17, -12, -6, -11, -8, -15, -22, -18, -14, -10, -5], [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], [12, 6, -3, -1, -11, -8, -15, -22, -18, -14, -10, -5, -14, -9, -18, -27, -22, -17, -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, -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, -22, -32, -26, -20, -14, -7, -15, -10, -20, -30, -25, -20, -14, -7], [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], [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, -30, -23, -16, -8, -17, -11, -22, -33, -27, -21, -15, -8], [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, -16, -11, -22, -32, -26, -20, -14, -7, -19, -13, -26, -38, -31, -24, -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], [28, 14, -7, -2, -30, -20, -40, -60, -49, -38, -26, -13, -30, -20, -40, -60, -49, -38, -26, -13], [29, 14, -7, -2, -31, -21, -42, -62, -51, -39, -27, -14, -32, -22, -43, -64, -52, -40, -28, -14]]];
adjacentAutX[1, 2]:=[[43, 21, -10, -3, -48, -33, -65, -96, -79, -60, -40, -20, -47, -32, -63, -93, -76, -58, -40, -20], [[320, 156, -71, -22, -361, -241, -482, -716, -589, -447, -298, -149, -364, -250, -485, -720, -584, -448, -306, -156], [17, 8, -4, -1, -20, -13, -26, -39, -32, -24, -16, -8, -19, -13, -26, -38, -31, -24, -16, -8], [292, 142, -65, -20, -330, -220, -440, -654, -538, -408, -272, -136, -332, -228, -442, -656, -532, -408, -278, -142], [540, 264, -120, -37, -612, -408, -816, -1212, -996, -756, -504, -252, -612, -420, -816, -1212, -984, -756, -516, -264], [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, 1, 0, 0, 0], [14, 7, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -17, -12, -23, -34, -28, -21, -14, -7], [0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [31, 15, -7, -2, -36, -24, -48, -72, -59, -45, -30, -15, -34, -24, -46, -68, -55, -42, -29, -15], [14, 7, -3, -1, -15, -10, -20, -30, -25, -19, -13, -7, -17, -11, -22, -33, -27, -21, -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], [16, 8, -4, -1, -17, -11, -22, -33, -27, -21, -14, -7, -19, -13, -25, -37, -30, -23, -16, -8], [30, 15, -7, -2, -34, -23, -46, -68, -56, -42, -28, -14, -33, -23, -44, -65, -53, -41, -28, -14], [1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2], [14, 7, -3, -1, -17, -12, -23, -34, -28, -21, -14, -7, -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], [13, 6, -3, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -10, -19, -28, -23, -18, -12, -6], [16, 8, -3, -1, -20, -13, -26, -39, -32, -24, -16, -8, -19, -13, -25, -37, -30, -23, -16, -8], [12, 6, -3, -1, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6]], [[A[3], [[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, 1, 0, 0, 0, 0, 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]]], [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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [12, 6, -3, -1, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], [13, 6, -3, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -10, -19, -28, -23, -18, -12, -6]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0], [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, -19, -13, -26, -38, -31, -24, -16, -8, -16, -11, -22, -32, -26, -20, -14, -7]]], [A[1], [[16, 8, -4, -1, -17, -12, -23, -34, -28, -21, -14, -7, -18, -12, -24, -36, -30, -23, -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, 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, 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], [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], [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], [14, 7, -3, -1, -17, -12, -23, -34, -28, -21, -14, -7, -14, -10, -19, -28, -23, -18, -13, -7], [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], [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, -18, -12, -24, -36, -30, -23, -16, -8, -17, -12, -23, -34, -28, -21, -14, -7], [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], [28, 14, -6, -2, -31, -21, -42, -62, -51, -39, -26, -13, -32, -22, -43, -64, -52, -40, -28, -14], [30, 15, -7, -2, -34, -23, -46, -68, -56, -42, -28, -14, -33, -23, -44, -65, -53, -41, -28, -14], [31, 15, -7, -2, -35, -24, -47, -70, -58, -44, -30, -15, -35, -24, -47, -69, -56, -43, -30, -15]]];
adjacentAutX[1, 3]:=[[46, 23, -11, -3, -50, -34, -68, -100, -81, -62, -42, -21, -52, -36, -70, -103, -84, -64, -44, -22], [[245, 122, -61, -16, -262, -178, -354, -516, -416, -316, -216, -108, -275, -190, -366, -542, -443, -344, -237, -122], [0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [244, 122, -61, -16, -262, -178, -354, -516, -416, -316, -216, -108, -272, -188, -362, -536, -438, -340, -234, -120], [384, 192, -96, -25, -408, -276, -552, -804, -648, -492, -336, -168, -432, -300, -576, -852, -696, -540, -372, -192], [16, 8, -4, -1, -17, -11, -22, -33, -27, -21, -14, -7, -19, -13, -25, -37, -30, -23, -16, -8], [4, 2, -1, 0, -5, -4, -7, -10, -8, -6, -4, -2, -5, -4, -7, -10, -8, -6, -4, -2], [28, 14, -7, -2, -29, -20, -40, -58, -47, -36, -24, -12, -31, -21, -41, -61, -50, -39, -27, -14], [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], [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, 1, 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], [28, 14, -7, -2, -29, -20, -39, -57, -46, -35, -24, -12, -31, -22, -42, -62, -51, -39, -27, -14], [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], [16, 8, -4, -1, -16, -11, -22, -32, -26, -20, -14, -7, -19, -13, -26, -38, -31, -24, -16, -8], [16, 8, -4, -1, -18, -12, -24, -35, -28, -21, -14, -7, -17, -12, -23, -34, -28, -22, -16, -8], [14, 7, -3, -1, -16, -11, -22, -32, -26, -20, -14, -7, -16, -11, -21, -31, -25, -19, -13, -7]], [[A[2], [[0, 0, 0, 0, 0, 1, 0, 0, 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]]], [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, -16, -11, -22, -32, -26, -20, -14, -7, -16, -11, -21, -31, -25, -19, -13, -7]]], [A[2], [[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]]], [A[2], [[0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], [16, 8, -4, -1, -16, -11, -22, -32, -26, -20, -14, -7, -19, -13, -26, -38, -31, -24, -16, -8]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 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]]]], [[1, 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, 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, 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, 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], [1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -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], [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, -16, -11, -21, -31, -25, -19, -13, -7, -16, -11, -22, -32, -26, -20, -14, -7], [17, 8, -4, -1, -19, -13, -26, -38, -31, -24, -16, -8, -20, -13, -26, -39, -32, -24, -16, -8], [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, -21, -14, -7, -18, -12, -24, -36, -30, -23, -16, -8], [18, 9, -4, -1, -21, -14, -28, -42, -34, -26, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9], [29, 14, -7, -2, -31, -21, -42, -62, -50, -38, -26, -13, -32, -23, -44, -64, -52, -40, -28, -14], [28, 14, -7, -2, -29, -20, -40, -58, -47, -36, -24, -12, -31, -22, -42, -62, -50, -38, -26, -13], [30, 15, -7, -2, -32, -22, -44, -64, -52, -40, -27, -14, -34, -24, -46, -68, -56, -43, -30, -15], [30, 15, -7, -2, -32, -22, -44, -64, -52, -39, -26, -13, -35, -24, -47, -69, -56, -43, -30, -15]]];
adjacentAutX[1, 5]:=[[46, 23, -11, -3, -52, -36, -70, -104, -85, -65, -44, -23, -49, -34, -67, -98, -80, -62, -42, -21], [[597, 298, -145, -39, -666, -459, -896, -1325, -1088, -828, -560, -292, -643, -443, -880, -1286, -1049, -812, -544, -276], [0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [580, 290, -141, -38, -646, -446, -870, -1286, -1056, -804, -544, -284, -624, -430, -854, -1248, -1018, -788, -528, -268], [936, 468, -228, -61, -1044, -720, -1404, -2076, -1704, -1296, -876, -456, -1008, -696, -1380, -2016, -1644, -1272, -852, -432], [14, 7, -3, -1, -16, -11, -21, -31, -25, -19, -13, -7, -16, -11, -22, -32, -26, -20, -14, -7], [44, 22, -11, -3, -48, -33, -64, -95, -78, -59, -40, -21, -47, -32, -64, -94, -77, -60, -40, -20], [16, 8, -4, -1, -19, -13, -26, -38, -31, -24, -16, -8, -16, -11, -22, -32, -26, -20, -14, -7], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0], [46, 23, -11, -3, -52, -36, -70, -104, -86, -65, -44, -23, -49, -34, -67, -98, -80, -62, -42, -21], [16, 8, -4, -1, -16, -11, -22, -32, -26, -20, -14, -7, -19, -13, -26, -38, -31, -24, -16, -8], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0], [48, 24, -12, -3, -54, -37, -72, -107, -88, -67, -46, -24, -51, -35, -70, -102, -83, -64, -43, -22], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [12, 6, -3, -1, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6], [62, 31, -15, -4, -70, -48, -94, -139, -114, -87, -59, -31, -67, -46, -91, -134, -109, -84, -56, -28], [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], [62, 31, -15, -4, -69, -48, -93, -138, -113, -86, -58, -30, -68, -46, -92, -135, -110, -85, -57, -29], [0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 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]], [[A[3], [[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]]], [A[3], [[1, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2, 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], [13, 6, -3, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -10, -19, -28, -23, -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, -16, -11, -21, -31, -25, -19, -13, -7, -16, -11, -22, -32, -26, -20, -14, -7]]], [A[2], [[0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [16, 8, -4, -1, -19, -13, -26, -38, -31, -24, -16, -8, -16, -11, -22, -32, -26, -20, -14, -7]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [16, 8, -4, -1, -18, -12, -24, -36, -29, -22, -15, -8, -17, -12, -23, -34, -28, -22, -15, -8]]], [A[1], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 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]]]], [[1, 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, 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, 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], [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, -15, -10, -20, -30, -25, -19, -13, -7, -17, -11, -22, -33, -27, -21, -14, -7], [17, 8, -4, -1, -20, -13, -26, -39, -32, -24, -16, -8, -19, -13, -26, -38, -31, -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, -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, -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], [16, 8, -4, -1, -16, -11, -22, -32, -26, -20, -14, -7, -19, -13, -26, -38, -31, -24, -16, -8], [46, 23, -11, -3, -52, -36, -70, -104, -86, -65, -44, -23, -49, -34, -67, -98, -80, -62, -42, -21]]];
adjacentAutX[1, 6]:=[[76, 38, -18, -5, -84, -57, -112, -167, -136, -103, -70, -35, -86, -59, -116, -170, -138, -106, -72, -36], [[1730, 861, -408, -114, -1925, -1314, -2583, -3844, -3134, -2379, -1616, -808, -1942, -1330, -2607, -3838, -3120, -2402, -1632, -817], [17, 8, -4, -1, -20, -13, -26, -39, -32, -24, -16, -8, -19, -13, -26, -38, -31, -24, -16, -8], [1640, 816, -387, -108, -1826, -1246, -2450, -3646, -2972, -2256, -1532, -766, -1840, -1260, -2470, -3636, -2956, -2276, -1546, -774], [2748, 1368, -648, -181, -3060, -2088, -4104, -6108, -4980, -3780, -2568, -1284, -3084, -2112, -4140, -6096, -4956, -3816, -2592, -1296], [13, 6, -3, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -10, -19, -28, -23, -18, -12, -6], [90, 45, -21, -6, -101, -69, -135, -201, -164, -124, -84, -42, -101, -69, -135, -199, -162, -125, -85, -43], [16, 8, -4, -1, -16, -11, -22, -32, -26, -20, -14, -7, -19, -13, -26, -38, -31, -24, -16, -8], [92, 46, -22, -6, -103, -70, -138, -206, -168, -127, -86, -43, -102, -70, -137, -202, -164, -126, -86, -43], [91, 45, -21, -6, -102, -70, -137, -204, -166, -126, -86, -43, -103, -70, -138, -203, -165, -127, -86, -43], [16, 8, -4, -1, -17, -11, -22, -33, -27, -21, -14, -7, -19, -13, -25, -37, -30, -23, -16, -8], [90, 45, -21, -6, -101, -69, -136, -202, -165, -125, -85, -43, -100, -69, -135, -198, -161, -124, -84, -42], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [92, 46, -22, -6, -102, -70, -137, -204, -167, -127, -86, -43, -103, -70, -138, -203, -165, -127, -86, -43], [106, 53, -25, -7, -119, -81, -159, -237, -193, -147, -100, -50, -118, -81, -159, -234, -190, -146, -99, -50], [93, 46, -22, -6, -104, -71, -140, -208, -170, -129, -88, -44, -104, -71, -139, -205, -167, -129, -88, -44], [14, 7, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -17, -12, -23, -34, -28, -21, -14, -7], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [105, 52, -25, -7, -117, -80, -157, -233, -190, -144, -98, -49, -117, -80, -157, -231, -188, -144, -98, -49], [90, 45, -21, -6, -100, -68, -134, -200, -163, -124, -84, -42, -101, -69, -136, -200, -163, -126, -86, -43], [4, 2, -1, 0, -5, -4, -7, -10, -8, -6, -4, -2, -5, -4, -7, -10, -8, -6, -4, -2]], [[A[3], [[4, 2, -1, 0, -5, -4, -7, -10, -8, -6, -4, -2, -5, -4, -7, -10, -8, -6, -4, -2], [12, 6, -3, -1, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1]]], [A[3], [[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, 1, 0, 0, 0], [14, 7, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -17, -12, -23, -34, -28, -21, -14, -7]]], [A[3], [[14, 7, -3, -1, -16, -11, -21, -31, -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], [16, 8, -4, -1, -18, -12, -24, -36, -29, -22, -15, -8, -18, -12, -24, -35, -28, -21, -14, -7]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 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]]], [A[2], [[0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [16, 8, -4, -1, -16, -11, -22, -32, -26, -20, -14, -7, -19, -13, -26, -38, -31, -24, -16, -8]]], [A[2], [[0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [17, 8, -4, -1, -20, -13, -26, -39, -32, -24, -16, -8, -19, -13, -26, -38, -31, -24, -16, -8]]]], [[0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 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, -16, -11, -22, -32, -26, -20, -14, -7, -16, -11, -21, -31, -25, -19, -13, -7], [14, 7, -3, -1, -15, -10, -20, -30, -25, -19, -13, -7, -17, -11, -22, -33, -27, -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, -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], [18, 9, -4, -1, -21, -14, -28, -42, -34, -26, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9]]];
adjacentAutX[1, 7]:=[[106, 53, -25, -7, -119, -81, -159, -235, -192, -146, -99, -50, -117, -81, -159, -234, -192, -147, -99, -51], [[2341, 1170, -552, -157, -2669, -1819, -3579, -5271, -4294, -3257, -2214, -1111, -2535, -1752, -3445, -5070, -4160, -3184, -2147, -1103], [0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [2208, 1104, -521, -148, -2518, -1716, -3376, -4972, -4050, -3072, -2088, -1048, -2390, -1652, -3248, -4780, -3922, -3002, -2024, -1040], [3768, 1884, -888, -253, -4296, -2928, -5760, -8484, -6912, -5244, -3564, -1788, -4080, -2820, -5544, -8160, -6696, -5124, -3456, -1776], [134, 67, -32, -9, -152, -103, -203, -300, -244, -185, -126, -63, -145, -100, -197, -290, -238, -182, -123, -63], [118, 59, -28, -8, -133, -91, -179, -263, -214, -162, -110, -55, -128, -89, -174, -256, -210, -161, -109, -56], [136, 68, -32, -9, -155, -106, -208, -307, -250, -190, -129, -65, -148, -102, -201, -296, -243, -186, -125, -64], [0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [120, 60, -28, -8, -138, -94, -185, -273, -222, -168, -114, -57, -130, -90, -177, -260, -213, -163, -110, -57], [12, 6, -3, -1, -13, -9, -18, -26, -21, -16, -11, -6, -12, -8, -16, -24, -20, -15, -10, -5], [120, 60, -28, -8, -137, -93, -183, -270, -220, -167, -114, -57, -131, -91, -178, -262, -215, -165, -111, -57], [16, 8, -4, -1, -19, -13, -26, -38, -31, -24, -16, -8, -16, -11, -22, -32, -26, -20, -14, -7], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0], [118, 59, -28, -8, -134, -92, -180, -265, -216, -164, -112, -56, -127, -88, -173, -254, -208, -159, -107, -55], [136, 68, -32, -9, -156, -106, -209, -308, -251, -190, -129, -65, -148, -102, -200, -295, -242, -185, -125, -64], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0], [132, 66, -31, -9, -150, -102, -201, -296, -241, -183, -124, -62, -144, -99, -195, -287, -235, -180, -121, -62], [122, 61, -29, -8, -139, -95, -187, -275, -224, -170, -116, -58, -132, -91, -179, -264, -217, -166, -112, -58], [14, 7, -3, -1, -16, -11, -21, -31, -25, -19, -13, -7, -16, -11, -22, -32, -26, -20, -14, -7], [118, 59, -28, -8, -135, -92, -181, -267, -218, -165, -112, -56, -126, -87, -171, -252, -207, -159, -107, -55]], [[A[4], [[16, 8, -4, -1, -18, -12, -24, -36, -30, -23, -16, -8, -17, -12, -23, -34, -28, -21, -14, -7], [14, 7, -3, -1, -16, -11, -21, -31, -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, 0, 0, 0, 0, 1, 0], [16, 8, -4, -1, -17, -12, -23, -34, -28, -21, -14, -7, -18, -12, -24, -36, -30, -23, -16, -8]]], [A[4], [[12, 6, -3, -1, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6], [4, 2, -1, 0, -5, -4, -7, -10, -8, -6, -4, -2, -5, -4, -7, -10, -8, -6, -4, -2], [14, 7, -3, -1, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7], [16, 8, -4, -1, -16, -11, -22, -32, -26, -20, -14, -7, -19, -13, -26, -38, -31, -24, -16, -8]]], [A[3], [[13, 6, -3, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -10, -19, -28, -23, -18, -12, -6], [0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [17, 8, -4, -1, -20, -13, -26, -39, -32, -24, -16, -8, -19, -13, -26, -38, -31, -24, -16, -8]]], [A[3], [[14, 7, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -17, -12, -23, -34, -28, -21, -14, -7], [0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 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]]], [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]]]], [[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], [12, 6, -3, -1, -13, -9, -18, -26, -21, -16, -11, -6, -12, -8, -16, -24, -20, -15, -10, -5], [14, 7, -3, -1, -17, -12, -23, -34, -28, -21, -14, -7, -15, -10, -20, -30, -24, -18, -12, -6], [14, 7, -3, -1, -16, -11, -22, -32, -26, -20, -14, -7, -16, -11, -21, -31, -25, -19, -13, -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, -35, -28, -21, -14, -7, -18, -12, -24, -36, -29, -22, -15, -8]]];
adjacentAutX[1, 8]:=[[94, 47, -22, -6, -104, -71, -140, -208, -169, -130, -88, -44, -106, -73, -143, -211, -173, -132, -91, -47], [[2113, 1053, -496, -138, -2326, -1587, -3120, -4645, -3783, -2914, -1984, -992, -2371, -1639, -3218, -4736, -3874, -2951, -2028, -1045], [14, 7, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -17, -12, -23, -34, -28, -21, -14, -7], [1990, 992, -467, -130, -2190, -1494, -2938, -4374, -3562, -2744, -1868, -934, -2234, -1544, -3032, -4462, -3650, -2780, -1910, -984], [3324, 1656, -780, -217, -3660, -2496, -4908, -7308, -5952, -4584, -3120, -1560, -3732, -2580, -5064, -7452, -6096, -4644, -3192, -1644], [14, 7, -3, -1, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7], [108, 54, -25, -7, -120, -82, -161, -240, -195, -150, -102, -51, -121, -84, -165, -242, -198, -151, -104, -54], [16, 8, -4, -1, -18, -12, -24, -36, -30, -23, -16, -8, -17, -12, -23, -34, -28, -21, -14, -7], [123, 61, -29, -8, -134, -92, -180, -268, -218, -168, -114, -57, -139, -96, -189, -278, -227, -173, -119, -61], [14, 7, -3, -1, -16, -11, -22, -32, -26, -20, -14, -7, -16, -11, -21, -31, -25, -19, -13, -7], [122, 61, -29, -8, -134, -91, -179, -267, -217, -167, -114, -57, -136, -94, -185, -272, -223, -170, -117, -60], [124, 62, -29, -8, -136, -93, -183, -272, -222, -171, -116, -58, -140, -97, -190, -280, -229, -175, -120, -62], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], [12, 6, -3, -1, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6], [121, 60, -28, -8, -133, -91, -179, -266, -217, -167, -114, -57, -136, -94, -185, -272, -223, -170, -117, -60], [122, 61, -29, -8, -134, -92, -180, -268, -218, -168, -114, -57, -136, -94, -184, -271, -222, -169, -116, -60], [18, 9, -4, -1, -21, -14, -28, -42, -34, -26, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9], [123, 61, -29, -8, -135, -92, -181, -269, -219, -169, -115, -58, -138, -96, -188, -276, -226, -172, -118, -61], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [120, 60, -28, -8, -132, -90, -177, -264, -215, -166, -113, -57, -134, -93, -182, -268, -219, -167, -115, -59], [124, 62, -29, -8, -136, -93, -182, -271, -221, -170, -116, -58, -141, -97, -191, -281, -230, -175, -120, -62]], [[A[4], [[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], [1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2], [0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[4], [[4, 2, -1, 0, -5, -4, -7, -10, -8, -6, -4, -2, -5, -4, -7, -10, -8, -6, -4, -2], [14, 7, -3, -1, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7], [0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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]]], [A[3], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 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, 1, 0, 0]]], [A[3], [[14, 7, -3, -1, -16, -11, -22, -32, -26, -20, -14, -7, -16, -11, -21, -31, -25, -19, -13, -7], [16, 8, -4, -1, -17, -12, -23, -34, -28, -21, -14, -7, -18, -12, -24, -36, -30, -23, -16, -8], [0, 0, 0, 0, 0, 0, 0, 0, 1, 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, 1, 0, 0, 0, 0], [18, 9, -4, -1, -21, -14, -28, -42, -34, -26, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9]]]], [[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], [13, 6, -3, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -10, -19, -28, -23, -18, -12, -6], [12, 6, -3, -1, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6], [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, -17, -12, -23, -34, -28, -22, -15, -8, -18, -12, -24, -36, -29, -22, -15, -8], [16, 8, -4, -1, -16, -11, -22, -32, -26, -20, -14, -7, -19, -13, -26, -38, -31, -24, -16, -8]]];
adjacentAutX[1, 9]:=[[110, 55, -26, -8, -121, -84, -164, -241, -197, -150, -102, -51, -120, -80, -160, -237, -193, -149, -102, -51], [[2929, 1464, -684, -210, -3220, -2237, -4384, -6433, -5262, -4001, -2732, -1366, -3235, -2154, -4308, -6372, -5194, -4016, -2740, -1374], [0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [2736, 1368, -639, -196, -3008, -2090, -4096, -6010, -4916, -3738, -2552, -1276, -3022, -2012, -4024, -5952, -4852, -3752, -2560, -1284], [5040, 2520, -1176, -361, -5544, -3852, -7548, -11076, -9060, -6888, -4704, -2352, -5568, -3708, -7416, -10968, -8940, -6912, -4716, -2364], [14, 7, -3, -1, -16, -11, -22, -32, -26, -20, -14, -7, -16, -11, -21, -31, -25, -19, -13, -7], [180, 90, -42, -13, -198, -138, -270, -396, -324, -246, -168, -84, -198, -132, -264, -390, -318, -246, -167, -84], [196, 98, -46, -14, -215, -149, -292, -429, -351, -267, -182, -91, -217, -145, -289, -427, -348, -269, -184, -92], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0], [180, 90, -42, -13, -198, -138, -270, -396, -324, -246, -168, -84, -198, -132, -263, -390, -318, -246, -168, -84], [16, 8, -4, -1, -16, -11, -22, -32, -26, -20, -14, -7, -19, -13, -26, -38, -31, -24, -16, -8], [194, 97, -45, -14, -215, -149, -292, -429, -351, -267, -182, -91, -213, -142, -284, -420, -343, -265, -181, -91], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [196, 98, -46, -14, -216, -150, -294, -431, -352, -267, -182, -91, -216, -144, -288, -426, -347, -268, -183, -92], [0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [180, 90, -42, -13, -198, -138, -270, -396, -323, -246, -168, -84, -198, -132, -264, -390, -318, -246, -168, -84], [14, 7, -3, -1, -15, -10, -20, -30, -25, -19, -13, -7, -17, -11, -22, -33, -27, -21, -14, -7], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [196, 98, -46, -14, -215, -150, -293, -430, -352, -268, -183, -92, -216, -144, -288, -426, -347, -268, -183, -92], [180, 90, -42, -13, -198, -137, -270, -396, -324, -246, -168, -84, -198, -132, -264, -390, -318, -246, -168, -84], [16, 8, -4, -1, -19, -13, -25, -37, -30, -23, -16, -8, -17, -11, -22, -33, -27, -21, -14, -7]], [[A[5], [[0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 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], [0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [13, 6, -3, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -10, -19, -28, -23, -18, -12, -6], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0]]], [A[5], [[14, 7, -3, -1, -16, -11, -21, -31, -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], [12, 6, -3, -1, -13, -9, -18, -26, -21, -16, -11, -6, -12, -8, -16, -24, -20, -15, -10, -5], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [16, 8, -4, -1, -17, -12, -23, -34, -28, -21, -14, -7, -18, -12, -24, -36, -30, -23, -16, -8]]], [A[3], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [12, 6, -3, -1, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6], [16, 8, -4, -1, -19, -13, -25, -37, -30, -23, -16, -8, -17, -11, -22, -33, -27, -21, -14, -7]]], [A[3], [[16, 8, -4, -1, -19, -13, -26, -38, -31, -24, -16, -8, -16, -11, -22, -32, -26, -20, -14, -7], [12, 6, -3, -1, -11, -8, -15, -22, -18, -14, -10, -5, -14, -9, -18, -27, -22, -17, -12, -6], [14, 7, -3, -1, -17, -12, -23, -34, -28, -21, -14, -7, -15, -10, -20, -30, -24, -18, -12, -6]]]], [[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, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [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, -22, -32, -26, -20, -14, -7, -15, -10, -20, -30, -25, -20, -14, -7], [14, 7, -3, -1, -15, -11, -21, -30, -24, -18, -12, -6, -17, -11, -22, -33, -27, -21, -14, -7], [14, 7, -3, -1, -15, -10, -20, -30, -25, -19, -13, -7, -17, -11, -22, -33, -27, -21, -14, -7], [16, 8, -4, -1, -16, -11, -22, -32, -26, -20, -14, -7, -19, -13, -26, -38, -31, -24, -16, -8]]];
adjacentAutX[1, 10]:=[[124, 62, -29, -8, -138, -95, -186, -276, -225, -171, -116, -58, -139, -95, -190, -278, -227, -172, -117, -59], [[3680, 1836, -867, -235, -4104, -2807, -5512, -8208, -6692, -5074, -3456, -1728, -4116, -2812, -5624, -8232, -6716, -5092, -3468, -1734], [16, 8, -4, -1, -17, -12, -23, -34, -28, -21, -14, -7, -18, -12, -24, -36, -30, -23, -16, -8], [3476, 1734, -819, -222, -3876, -2652, -5206, -7752, -6320, -4792, -3264, -1632, -3888, -2656, -5312, -7776, -6344, -4810, -3276, -1638], [5652, 2820, -1332, -361, -6300, -4308, -8460, -12600, -10272, -7788, -5304, -2652, -6324, -4320, -8640, -12648, -10320, -7824, -5328, -2664], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [205, 102, -49, -13, -228, -156, -306, -456, -372, -282, -192, -96, -228, -156, -312, -456, -372, -282, -192, -96], [18, 9, -4, -1, -21, -14, -28, -42, -34, -26, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9], [216, 108, -51, -14, -241, -165, -324, -482, -393, -298, -203, -102, -240, -164, -328, -480, -392, -297, -202, -101], [205, 102, -48, -13, -228, -156, -306, -456, -372, -282, -192, -96, -231, -158, -316, -462, -377, -286, -195, -98], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [220, 110, -52, -14, -246, -168, -330, -491, -400, -303, -206, -103, -246, -168, -336, -492, -401, -304, -207, -104], [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, 1, 0, 0, 0, 0, 0, 0], [408, 204, -96, -26, -456, -312, -612, -912, -744, -564, -384, -192, -456, -312, -623, -912, -744, -564, -384, -192], [16, 8, -4, -1, -16, -11, -22, -32, -26, -20, -14, -7, -19, -13, -26, -38, -31, -24, -16, -8], [217, 108, -51, -14, -243, -166, -326, -486, -396, -300, -204, -102, -242, -165, -330, -483, -394, -299, -204, -102], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0], [221, 110, -52, -14, -247, -169, -332, -494, -403, -306, -208, -104, -248, -169, -338, -495, -404, -306, -208, -104], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]], [[A[5], [[12, 6, -3, -1, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6], [4, 2, -1, 0, -5, -4, -7, -10, -8, -6, -4, -2, -5, -4, -7, -10, -8, -6, -4, -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], [16, 8, -4, -1, -19, -13, -26, -38, -31, -24, -16, -8, -16, -11, -22, -32, -26, -20, -14, -7]]], [A[5], [[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, 1, 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, -16, -11, -22, -32, -26, -20, -14, -7, -19, -13, -26, -38, -31, -24, -16, -8], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0]]], [A[3], [[0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [14, 7, -3, -1, -16, -11, -21, -31, -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]]], [A[3], [[16, 8, -4, -1, -17, -12, -23, -34, -28, -21, -14, -7, -18, -12, -24, -36, -30, -23, -16, -8], [31, 15, -7, -2, -35, -24, -47, -70, -57, -44, -30, -15, -35, -24, -48, -70, -57, -43, -29, -15], [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, 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, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [17, 8, -4, -1, -20, -13, -26, -39, -32, -24, -16, -8, -19, -13, -26, -38, -31, -24, -16, -8], [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], [18, 9, -4, -1, -21, -14, -28, -42, -34, -26, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9], [32, 16, -7, -2, -35, -24, -47, -70, -58, -44, -30, -15, -38, -26, -52, -76, -62, -47, -32, -16], [46, 23, -11, -3, -52, -36, -70, -104, -84, -64, -44, -22, -50, -34, -68, -100, -82, -62, -42, -21]]];
adjacentAutX[1, 11]:=[[217, 108, -51, -15, -239, -166, -325, -477, -390, -296, -202, -101, -239, -166, -325, -477, -390, -296, -202, -101], [[10801, 5400, -2520, -750, -11880, -8280, -16200, -23760, -19440, -14760, -10080, -5040, -11880, -8280, -16200, -23760, -19440, -14760, -10080, -5040], [0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [10080, 5040, -2351, -700, -11088, -7728, -15120, -22176, -18144, -13776, -9408, -4704, -11088, -7728, -15120, -22176, -18144, -13776, -9408, -4704], [18000, 9000, -4200, -1249, -19800, -13800, -27000, -39600, -32400, -24600, -16800, -8400, -19800, -13800, -27000, -39600, -32400, -24600, -16800, -8400], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0], [720, 360, -168, -50, -792, -552, -1080, -1584, -1296, -984, -672, -336, -792, -551, -1080, -1584, -1296, -984, -672, -336], [720, 360, -168, -50, -792, -552, -1080, -1584, -1296, -984, -672, -336, -792, -552, -1079, -1584, -1296, -984, -672, -336], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0], [720, 360, -168, -50, -792, -552, -1080, -1584, -1296, -984, -672, -336, -792, -552, -1080, -1584, -1295, -984, -672, -336], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], [720, 360, -168, -50, -792, -552, -1080, -1584, -1296, -984, -672, -336, -792, -552, -1080, -1584, -1296, -984, -671, -336], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [720, 360, -168, -50, -792, -551, -1080, -1584, -1296, -984, -672, -336, -792, -552, -1080, -1584, -1296, -984, -672, -336], [720, 360, -168, -50, -792, -552, -1079, -1584, -1296, -984, -672, -336, -792, -552, -1080, -1584, -1296, -984, -672, -336], [0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [720, 360, -168, -50, -792, -552, -1080, -1584, -1295, -984, -672, -336, -792, -552, -1080, -1584, -1296, -984, -672, -336], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [720, 360, -168, -50, -792, -552, -1080, -1584, -1296, -984, -671, -336, -792, -552, -1080, -1584, -1296, -984, -672, -336], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0]], [[A[9], [[16, 8, -4, -1, -18, -12, -24, -36, -30, -23, -16, -8, -17, -12, -23, -34, -28, -21, -14, -7], [14, 7, -3, -1, -16, -11, -21, -31, -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], [12, 6, -3, -1, -13, -9, -18, -26, -21, -16, -11, -6, -12, -8, -16, -24, -20, -15, -10, -5], [4, 2, -1, 0, -5, -4, -7, -10, -8, -6, -4, -2, -5, -4, -7, -10, -8, -6, -4, -2], [12, 6, -3, -1, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6], [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, -16, -11, -21, -31, -25, -19, -13, -7], [16, 8, -4, -1, -17, -12, -23, -34, -28, -21, -14, -7, -18, -12, -24, -36, -30, -23, -16, -8]]], [A[9], [[0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 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], [16, 8, -4, -1, -19, -13, -26, -38, -31, -24, -16, -8, -16, -11, -22, -32, -26, -20, -14, -7], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [13, 6, -3, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -10, -19, -28, -23, -18, -12, -6], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], [16, 8, -4, -1, -16, -11, -22, -32, -26, -20, -14, -7, -19, -13, -26, -38, -31, -24, -16, -8], [14, 7, -3, -1, -17, -12, -23, -34, -28, -21, -14, -7, -15, -10, -20, -30, -24, -18, -12, -6], [0, 0, 0, 0, 0, 0, 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, 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, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]];
adjacentAutX[1, 12]:=[[250, 125, -59, -17, -277, -185, -370, -548, -449, -343, -231, -119, -276, -191, -375, -552, -453, -348, -236, -118], [[17540, 8766, -4155, -1192, -19392, -12928, -25856, -38328, -31400, -24010, -16164, -8310, -19380, -13379, -26302, -38760, -31832, -24448, -16608, -8304], [16, 8, -4, -1, -18, -12, -24, -36, -30, -23, -16, -8, -17, -12, -23, -34, -28, -21, -14, -7], [16628, 8310, -3939, -1130, -18384, -12256, -24512, -36336, -29768, -22762, -15324, -7878, -18372, -12684, -24934, -36744, -30176, -23176, -15744, -7872], [28620, 14304, -6780, -1945, -31644, -21096, -42192, -62544, -51240, -39180, -26376, -13560, -31620, -21828, -42912, -63240, -51936, -39888, -27096, -13548], [912, 456, -216, -62, -1008, -672, -1344, -1992, -1632, -1247, -840, -432, -1008, -696, -1368, -2016, -1656, -1272, -864, -432], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [912, 456, -216, -62, -1008, -672, -1343, -1992, -1632, -1248, -840, -432, -1008, -696, -1368, -2016, -1656, -1272, -864, -432], [16, 8, -4, -1, -19, -13, -26, -38, -31, -24, -16, -8, -16, -11, -22, -32, -26, -20, -14, -7], [925, 462, -219, -63, -1022, -681, -1362, -2019, -1654, -1265, -852, -438, -1023, -706, -1388, -2046, -1680, -1290, -876, -438], [912, 456, -216, -62, -1007, -672, -1344, -1992, -1632, -1248, -840, -432, -1008, -696, -1368, -2016, -1656, -1272, -864, -432], [17, 8, -4, -1, -20, -13, -26, -39, -32, -24, -16, -8, -19, -13, -26, -38, -31, -24, -16, -8], [912, 456, -216, -62, -1008, -672, -1344, -1992, -1632, -1248, -840, -432, -1008, -696, -1368, -2016, -1656, -1271, -864, -432], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [913, 456, -217, -62, -1008, -672, -1344, -1992, -1632, -1248, -840, -432, -1008, -696, -1368, -2016, -1656, -1272, -864, -432], [930, 465, -220, -63, -1029, -686, -1372, -2034, -1666, -1274, -858, -441, -1029, -710, -1396, -2058, -1690, -1298, -882, -441], [12, 6, -3, -1, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6], [913, 456, -216, -62, -1011, -674, -1348, -1998, -1637, -1252, -843, -434, -1008, -696, -1368, -2016, -1656, -1272, -864, -432], [912, 456, -216, -62, -1008, -672, -1344, -1992, -1632, -1248, -840, -431, -1008, -696, -1368, -2016, -1656, -1272, -864, -432], [928, 464, -220, -63, -1026, -684, -1368, -2028, -1661, -1270, -855, -440, -1026, -708, -1392, -2051, -1684, -1293, -878, -439], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0]], [[A[9], [[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], [14, 7, -3, -1, -15, -10, -20, -30, -25, -19, -13, -7, -17, -11, -22, -33, -27, -21, -14, -7], [16, 8, -4, -1, -19, -13, -26, -38, -31, -24, -16, -8, -16, -11, -22, -32, -26, -20, -14, -7], [14, 7, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -17, -12, -23, -34, -28, -21, -14, -7], [0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 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], [12, 6, -3, -1, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -18, -26, -21, -16, -11, -6]]], [A[9], [[16, 8, -4, -1, -16, -11, -22, -32, -26, -20, -14, -7, -19, -13, -26, -38, -31, -24, -16, -8], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0], [16, 8, -4, -1, -18, -12, -24, -36, -30, -23, -16, -8, -17, -12, -23, -34, -28, -21, -14, -7], [14, 7, -3, -1, -16, -11, -21, -31, -25, -19, -13, -7, -16, -11, -22, -32, -26, -20, -14, -7], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [13, 6, -3, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -10, -19, -28, -23, -18, -12, -6], [0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [17, 8, -4, -1, -20, -13, -26, -39, -32, -24, -16, -8, -19, -13, -26, -38, -31, -24, -16, -8], [12, 6, -3, -1, -13, -9, -18, -26, -21, -16, -11, -6, -12, -8, -16, -24, -20, -15, -10, -5]]]], [[14, 7, -3, -1, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7], [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]]];
adjacentAutX[2, 1]:=[[24, 12, -5, -2, -25, -17, -33, -49, -40, -31, -21, -11, -27, -18, -36, -54, -44, -34, -23, -12], [[185, 92, -39, -14, -200, -139, -266, -393, -320, -247, -167, -87, -211, -139, -278, -417, -343, -264, -178, -92], [0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [184, 92, -39, -14, -200, -139, -266, -393, -320, -247, -167, -87, -208, -137, -274, -411, -338, -260, -175, -90], [302, 151, -64, -23, -325, -227, -433, -639, -520, -401, -271, -141, -344, -226, -452, -678, -559, -430, -290, -150], [14, 7, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -17, -11, -22, -33, -27, -21, -14, -7], [24, 12, -5, -2, -25, -18, -34, -50, -41, -31, -21, -11, -27, -18, -36, -54, -44, -34, -23, -12], [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], [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, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0], [14, 7, -3, -1, -14, -10, -19, -28, -23, -18, -13, -7, -17, -11, -22, -33, -27, -21, -14, -7], [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, 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], [4, 2, -1, 0, -5, -4, -7, -10, -8, -6, -4, -2, -5, -4, -7, -10, -8, -6, -4, -2], [10, 5, -2, -1, -9, -6, -12, -18, -15, -12, -8, -4, -12, -8, -16, -24, -20, -15, -10, -5], [14, 7, -3, -1, -16, -11, -21, -31, -25, -19, -13, -7, -15, -10, -20, -30, -25, -20, -14, -7], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0], [12, 6, -2, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -9, -18, -27, -22, -17, -12, -6]], [[A[3], [[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]]], [A[3], [[1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2], [0, 1, 0, 0, 0, 0, 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]]], [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, 0, 1, 0, 0, 0, 0, 0, 0, 0], [10, 5, -2, -1, -11, -7, -14, -21, -17, -13, -9, -5, -11, -7, -14, -21, -17, -13, -9, -5]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [10, 5, -2, -1, -9, -6, -12, -18, -15, -12, -8, -4, -12, -8, -16, -24, -20, -15, -10, -5]]], [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, 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, 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, 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, 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], [4, 2, -1, 0, -5, -4, -7, -10, -8, -6, -4, -2, -5, -4, -7, -10, -8, -6, -4, -2], [8, 4, -1, -1, -8, -6, -11, -16, -13, -10, -7, -4, -9, -6, -12, -18, -15, -12, -8, -4], [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, -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], [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, -16, -11, -21, -31, -25, -19, -13, -7, -15, -10, -20, -30, -25, -20, -14, -7], [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], [14, 7, -3, -1, -14, -10, -19, -28, -23, -18, -13, -7, -17, -11, -22, -33, -27, -21, -14, -7], [24, 12, -5, -2, -25, -18, -34, -50, -41, -31, -21, -11, -27, -18, -36, -54, -44, -34, -23, -12]]];
adjacentAutX[2, 2]:=[[34, 17, -7, -3, -37, -25, -49, -73, -60, -46, -32, -16, -36, -24, -48, -72, -59, -45, -31, -16], [[228, 114, -47, -19, -247, -168, -331, -494, -403, -312, -216, -108, -247, -168, -331, -494, -403, -312, -216, -108], [1, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [228, 113, -47, -19, -247, -168, -331, -494, -403, -312, -216, -108, -247, -168, -331, -494, -403, -312, -216, -108], [399, 199, -83, -33, -431, -294, -578, -862, -704, -546, -378, -189, -431, -294, -578, -862, -704, -546, -378, -189], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [10, 5, -2, -1, -10, -7, -14, -20, -16, -12, -8, -4, -11, -8, -15, -22, -18, -14, -10, -5], [0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [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], [10, 5, -2, -1, -9, -6, -12, -18, -15, -12, -8, -4, -12, -8, -16, -24, -20, -15, -10, -5], [24, 12, -5, -2, -27, -18, -36, -54, -44, -34, -24, -12, -25, -17, -33, -49, -40, -31, -22, -11], [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], [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, 0, 0, 0, 0, 1, 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], [0, 0, 0, 0, 0, 0, 0, 0, 1, 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], [24, 12, -5, -2, -25, -17, -33, -49, -40, -31, -22, -11, -27, -18, -36, -54, -44, -34, -24, -12], [0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]], [[A[3], [[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, 1, 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[3], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [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, 1, 0, 0, 0, 0, 0, 0, 0]]], [A[3], [[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], [14, 7, -3, -1, -16, -11, -22, -32, -26, -20, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7]]], [A[2], [[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]]], [A[2], [[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]]], [A[2], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 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]]]], [[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, 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, 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], [10, 5, -2, -1, -11, -8, -15, -22, -18, -14, -10, -5, -9, -6, -12, -18, -15, -12, -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], [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, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -24, -18, -12, -6], [14, 7, -3, -1, -15, -10, -20, -30, -25, -19, -13, -7, -16, -11, -22, -32, -26, -20, -14, -7], [22, 11, -4, -2, -24, -16, -32, -48, -40, -31, -22, -11, -24, -16, -32, -48, -39, -30, -21, -11], [24, 12, -5, -2, -25, -17, -33, -49, -40, -31, -22, -11, -27, -18, -36, -54, -44, -34, -24, -12]]];
adjacentAutX[2, 3]:=[[65, 32, -12, -6, -70, -48, -94, -140, -114, -87, -60, -30, -73, -49, -97, -145, -118, -91, -62, -32], [[1009, 501, -189, -90, -1104, -758, -1483, -2203, -1785, -1361, -932, -469, -1131, -758, -1510, -2257, -1839, -1415, -959, -496], [14, 7, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -17, -11, -22, -33, -27, -21, -14, -7], [943, 468, -177, -84, -1032, -708, -1386, -2059, -1668, -1272, -871, -438, -1057, -708, -1411, -2109, -1718, -1322, -896, -463], [1829, 909, -343, -163, -2001, -1374, -2688, -3992, -3234, -2466, -1688, -849, -2051, -1374, -2738, -4092, -3334, -2566, -1738, -899], [10, 5, -2, -1, -11, -7, -14, -21, -17, -13, -9, -5, -11, -7, -14, -21, -17, -13, -9, -5], [66, 33, -12, -6, -73, -50, -98, -146, -118, -90, -62, -31, -74, -49, -98, -147, -120, -92, -62, -32], [10, 5, -2, -1, -10, -7, -14, -20, -16, -12, -8, -4, -11, -8, -15, -22, -18, -14, -10, -5], [69, 34, -13, -6, -75, -52, -101, -150, -122, -93, -64, -32, -78, -52, -104, -156, -127, -98, -66, -34], [12, 6, -2, -1, -15, -10, -20, -30, -24, -18, -12, -6, -13, -9, -18, -26, -21, -16, -11, -6], [10, 5, -2, -1, -9, -6, -12, -18, -15, -12, -8, -4, -12, -8, -16, -24, -20, -15, -10, -5], [68, 34, -13, -6, -75, -52, -101, -150, -121, -92, -63, -32, -75, -50, -100, -150, -122, -94, -64, -33], [12, 6, -2, -1, -14, -9, -18, -27, -22, -17, -12, -6, -14, -10, -19, -28, -23, -18, -12, -6], [11, 5, -2, -1, -13, -9, -17, -25, -20, -15, -10, -5, -12, -8, -16, -24, -20, -15, -10, -5], [12, 6, -2, -1, -13, -9, -18, -26, -21, -16, -11, -6, -15, -10, -20, -30, -24, -18, -12, -6], [10, 5, -2, -1, -12, -8, -16, -24, -20, -15, -10, -5, -9, -6, -12, -18, -15, -12, -8, -4], [68, 34, -13, -6, -73, -50, -98, -146, -118, -90, -62, -31, -77, -52, -103, -154, -125, -96, -65, -34], [12, 6, -2, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -9, -18, -27, -22, -17, -12, -6], [65, 32, -12, -6, -70, -48, -94, -140, -113, -86, -59, -30, -73, -49, -98, -146, -119, -92, -62, -32], [14, 7, -3, -1, -16, -11, -22, -32, -26, -20, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7], [66, 33, -12, -6, -72, -49, -96, -143, -116, -88, -60, -30, -75, -50, -100, -150, -122, -94, -64, -33]], [[A[4], [[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], [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, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0]]], [A[4], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [10, 5, -2, -1, -9, -6, -12, -18, -15, -12, -8, -4, -12, -8, -16, -24, -20, -15, -10, -5], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 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]]], [A[4], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [10, 5, -2, -1, -11, -7, -14, -21, -17, -13, -9, -5, -11, -7, -14, -21, -17, -13, -9, -5], [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], [10, 5, -2, -1, -10, -7, -14, -20, -16, -12, -8, -4, -11, -8, -15, -22, -18, -14, -10, -5]]], [A[1], [[19, 9, -3, -2, -21, -14, -28, -42, -34, -26, -18, -9, -21, -14, -28, -42, -34, -26, -18, -9]]]], [[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, 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], [8, 4, -1, -1, -8, -6, -11, -16, -13, -10, -7, -4, -9, -6, -12, -18, -15, -12, -8, -4], [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, -13, -9, -18, -26, -21, -16, -11, -6, -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], [35, 17, -7, -3, -38, -26, -51, -76, -62, -47, -32, -16, -39, -26, -52, -78, -63, -48, -33, -17], [54, 27, -10, -5, -58, -40, -78, -116, -94, -72, -50, -25, -60, -40, -80, -120, -98, -76, -52, -27]]];
adjacentAutX[2, 4]:=[[56, 28, -11, -5, -61, -41, -81, -121, -98, -74, -50, -25, -61, -41, -82, -122, -101, -77, -53, -28], [[529, 262, -108, -46, -580, -386, -772, -1153, -926, -699, -466, -233, -570, -383, -759, -1135, -941, -718, -490, -262], [10, 5, -2, -1, -12, -8, -16, -24, -20, -15, -10, -5, -9, -6, -12, -18, -15, -12, -8, -4], [529, 262, -108, -46, -580, -386, -772, -1153, -927, -699, -466, -233, -570, -383, -759, -1135, -941, -718, -490, -262], [962, 476, -196, -84, -1055, -703, -1406, -2099, -1686, -1272, -848, -424, -1035, -694, -1377, -2060, -1708, -1304, -890, -476], [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, 0, 1, 0], [10, 5, -2, -1, -10, -7, -14, -20, -16, -12, -8, -4, -11, -8, -15, -22, -18, -14, -10, -5], [56, 28, -11, -5, -62, -41, -82, -123, -99, -75, -50, -25, -60, -40, -80, -120, -100, -76, -52, -28], [1, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [12, 6, -2, -1, -15, -10, -20, -30, -24, -18, -12, -6, -13, -9, -18, -26, -21, -16, -11, -6], [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, 1, 0, 0, 0, 0], [10, 5, -2, -1, -11, -7, -14, -21, -17, -13, -9, -5, -11, -7, -14, -21, -17, -13, -9, -5], [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, 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, 0, 0], [58, 29, -12, -5, -63, -42, -84, -126, -101, -76, -51, -26, -62, -42, -83, -124, -103, -79, -54, -29], [11, 5, -2, -1, -13, -9, -17, -25, -20, -15, -10, -5, -12, -8, -16, -24, -20, -15, -10, -5], [0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [68, 34, -14, -6, -74, -50, -99, -148, -119, -90, -60, -30, -73, -49, -97, -145, -120, -91, -62, -33]], [[A[5], [[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], [0, 1, 0, 0, 0, 0, 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]]], [A[4], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [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, 1, 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]]], [A[4], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0], [10, 5, -2, -1, -10, -7, -14, -20, -16, -12, -8, -4, -11, -8, -15, -22, -18, -14, -10, -5], [0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [14, 7, -3, -1, -16, -11, -22, -32, -26, -20, -14, -7, -15, -10, -20, -30, -25, -19, -13, -7]]], [A[3], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 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], [12, 6, -2, -1, -15, -10, -20, -30, -24, -18, -12, -6, -13, -9, -18, -26, -21, -16, -11, -6]]]], [[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, 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, 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], [14, 7, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -17, -11, -22, -33, -27, -21, -14, -7]]];
adjacentAutX[2, 5]:=[[44, 22, -9, -4, -46, -31, -61, -91, -75, -57, -38, -19, -49, -32, -64, -96, -78, -60, -42, -21], [[426, 210, -87, -36, -444, -297, -589, -881, -729, -548, -367, -186, -495, -321, -642, -963, -782, -601, -420, -210], [12, 6, -2, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -9, -18, -27, -22, -17, -12, -6], [425, 210, -86, -36, -444, -297, -589, -881, -729, -548, -367, -186, -495, -321, -642, -963, -782, -601, -420, -210], [760, 375, -155, -64, -792, -531, -1052, -1573, -1302, -979, -656, -333, -885, -573, -1146, -1719, -1396, -1073, -750, -375], [14, 7, -3, -1, -15, -10, -20, -30, -25, -19, -13, -7, -16, -11, -22, -32, -26, -20, -14, -7], [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, 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], [58, 29, -12, -5, -61, -41, -81, -121, -100, -75, -50, -25, -66, -43, -86, -128, -104, -80, -56, -28], [1, 0, 0, 0, 0, 0, 0, 0, 0, 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, 0, 0, 0, 0, 1], [10, 5, -2, -1, -11, -7, -14, -21, -17, -13, -9, -5, -11, -7, -14, -21, -17, -13, -9, -5], [55, 27, -11, -5, -56, -38, -75, -112, -93, -70, -47, -24, -63, -41, -82, -123, -100, -77, -54, -27], [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, 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], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0], [59, 29, -12, -5, -62, -41, -82, -123, -102, -77, -52, -26, -68, -44, -88, -132, -108, -83, -58, -29], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0]], [[A[5], [[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], [10, 5, -2, -1, -10, -7, -14, -20, -16, -12, -8, -4, -11, -8, -15, -22, -18, -14, -10, -5], [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, 1, 0, 0, 0, 0, 0]]], [A[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, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [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]]], [A[4], [[10, 5, -2, -1, -12, -8, -16, -24, -20, -15, -10, -5, -9, -6, -12, -18, -15, -12, -8, -4], [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], [10, 5, -2, -1, -9, -6, -12, -18, -15, -12, -8, -4, -12, -8, -16, -24, -20, -15, -10, -5]]], [A[3], [[0, 1, 0, 0, 0, 0, 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], [12, 6, -2, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -9, -18, -27, -22, -17, -12, -6]]]], [[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, 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], [1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -3, -2, -4, -6, -5, -4, -3, -2], [11, 5, -2, -1, -12, -8, -16, -24, -20, -15, -10, -5, -13, -9, -17, -25, -20, -15, -10, -5], [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]]];
adjacentAutX[2, 6]:=[[126, 63, -26, -11, -138, -95, -185, -275, -222, -169, -116, -58, -136, -89, -178, -267, -220, -168, -116, -58], [[4452, 2226, -913, -395, -4834, -3341, -6502, -9663, -7810, -5951, -4092, -2046, -4825, -3156, -6312, -9463, -7789, -5935, -4080, -2040], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], [4442, 2221, -911, -394, -4822, -3333, -6486, -9639, -7790, -5936, -4082, -2041, -4816, -3150, -6300, -9445, -7774, -5923, -4072, -2036], [8146, 4073, -1670, -723, -8846, -6114, -11898, -17682, -14290, -10888, -7486, -3743, -8828, -5775, -11550, -17315, -14252, -10859, -7466, -3733], [10, 5, -2, -1, -11, -8, -15, -22, -18, -14, -10, -5, -10, -7, -14, -20, -16, -12, -8, -4], [360, 180, -74, -32, -390, -270, -525, -779, -630, -480, -330, -165, -390, -255, -510, -765, -630, -480, -330, -165], [0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [360, 180, -74, -32, -390, -269, -525, -780, -630, -480, -330, -165, -390, -255, -510, -765, -630, -480, -330, -165], [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], [374, 187, -77, -33, -407, -281, -547, -813, -657, -501, -344, -172, -405, -265, -530, -795, -654, -498, -342, -171], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0], [374, 187, -77, -33, -405, -280, -545, -810, -655, -499, -343, -172, -406, -266, -532, -797, -656, -500, -344, -172], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [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, 1, 0, 0, 0, 0, 0, 0, 0, 0], [361, 180, -74, -32, -393, -272, -529, -786, -635, -484, -333, -167, -390, -255, -510, -765, -630, -480, -330, -165], [0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [371, 185, -76, -33, -402, -278, -541, -804, -650, -495, -340, -170, -403, -264, -527, -790, -650, -495, -340, -170], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0]], [[A[9], [[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], [10, 5, -2, -1, -10, -7, -14, -20, -16, -12, -8, -4, -11, -8, -15, -22, -18, -14, -10, -5], [0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [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, 0, 0, 0, 1], [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, 1, 0, 0, 0, 0, 0, 0, 0, 0]]], [A[9], [[11, 5, -2, -1, -13, -9, -17, -25, -20, -15, -10, -5, -12, -8, -16, -24, -20, -15, -10, -5], [0, 1, 0, 0, 0, 0, 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], [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], [0, 0, 0, 0, 0, 0, 0, 0, 1, 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], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 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, 1, 0, 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], [10, 5, -2, -1, -9, -6, -12, -18, -15, -12, -8, -4, -12, -8, -16, -24, -20, -15, -10, -5]]];
adjacentAutX[2, 7]:=[[145, 70, -28, -13, -160, -110, -215, -320, -260, -200, -135, -70, -160, -105, -210, -315, -255, -195, -130, -65], [[6214, 3002, -1226, -543, -6855, -4710, -9210, -13710, -11139, -8568, -5782, -2996, -6862, -4506, -9012, -13513, -10942, -8371, -5584, -2792], [435, 210, -86, -38, -480, -330, -645, -960, -780, -600, -405, -210, -479, -315, -630, -945, -765, -585, -390, -195], [6200, 2995, -1223, -542, -6840, -4700, -9190, -13680, -11115, -8550, -5770, -2990, -6845, -4495, -8990, -13480, -10915, -8350, -5570, -2785], [11530, 5570, -2276, -1007, -12720, -8740, -17090, -25440, -20670, -15900, -10730, -5560, -12730, -8360, -16720, -25070, -20300, -15530, -10360, -5180], [0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [435, 210, -86, -38, -480, -330, -645, -960, -780, -600, -405, -209, -480, -315, -630, -945, -765, -585, -390, -195], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0], [447, 216, -88, -39, -494, -339, -663, -987, -802, -617, -417, -216, -494, -325, -649, -973, -788, -603, -402, -201], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0], [445, 215, -88, -39, -490, -337, -659, -980, -796, -612, -413, -214, -491, -323, -645, -967, -783, -599, -400, -200], [0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [435, 210, -86, -38, -480, -329, -645, -960, -780, -600, -405, -210, -480, -315, -630, -945, -765, -585, -390, -195], [435, 211, -86, -38, -480, -330, -645, -960, -780, -600, -405, -210, -480, -315, -630, -945, -765, -585, -390, -195], [0, 0, 0, 0, 0, 0, 0, 0, 1, 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], [436, 210, -86, -38, -480, -330, -645, -960, -780, -600, -405, -210, -483, -317, -634, -951, -770, -589, -393, -197], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [447, 216, -88, -39, -495, -340, -665, -990, -804, -618, -417, -216, -493, -324, -648, -971, -786, -601, -401, -201], [10, 5, -2, -1, -9, -6, -12, -18, -15, -12, -8, -4, -12, -8, -16, -24, -20, -15, -10, -5], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0]], [[A[9], [[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], [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], [0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [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], [12, 6, -2, -1, -14, -10, -19, -28, -23, -18, -12, -6, -14, -9, -18, -27, -22, -17, -12, -6]]], [A[9], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 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], [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], [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, 1, 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], [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, 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], [14, 7, -3, -1, -17, -11, -22, -33, -27, -21, -14, -7, -15, -10, -20, -30, -24, -18, -12, -6], [14, 7, -3, -1, -15, -10, -20, -30, -24, -18, -12, -6, -17, -11, -22, -33, -27, -21, -14, -7]]];