Print("[i, k , Number of colorings of Knot[k] by T[i], Number of colorings of m(Knot[k]) by T[i]]\n"); QKC:=[ [23,31,3024,0], [22,67,320,1280], [8,68,0,7920], [18,151,0,1512], [23,163,3024,1512], [19,164,448,4032], [15,165,15500,500], [23,167,0,1512], [18,168,1512,4536], [5,169,54,702], [23,171,6804,11340], [23,172,6048,10584], [18,174,0,1512], [23,175,1512,0], [22,176,640,320], [18,179,0,1512], [23,182,14364,30996], [22,186,640,320], [23,190,2268,5292], [22,191,1280,320], [7,194,0,336], [1,199,4212,12636], [23,201,1512,0], [23,202,1512,0], [18,203,0,1512], [23,231,3780,5292], [23,232,1512,0], [19,233,4032,448], [7,234,0,336], [23,235,0,3024], [22,237,640,320], [7,251,672,0], [22,252,320,1280], [12,266,324,4212], [23,267,0,1512], [22,269,320,1280], [23,271,0,1512], [18,273,3024,0], [22,274,320,640], [23,275,1512,0], [18,276,3024,1512], [18,277,0,1512], [18,279,1512,0], [23,287,12096,4536], [19,298,448,4032], [23,302,2268,756], [22,316,640,2560], [22,317,640,320], [11,319,2106,4212], [23,321,756,2268], [9,328,5376,2688], [17,329,1620,4860], [11,330,2106,5265], [18,350,0,1512], [23,351,7560,1512], [23,352,3024,4536], [22,353,320,640], [7,361,420,756], [19,362,4032,448], [23,363,0,1512], [18,364,3024,0], [7,365,336,0], [23,371,1512,0], [18,374,0,1512], [18,376,0,3024], [23,378,0,1512], [18,379,0,1512], [23,381,11340,30996], [22,385,1280,640], [22,387,320,640], [18,390,1512,0], [19,395,4032,448], [14,396,5376,0], [23,398,1512,0], [23,399,1512,4536], [14,401,5376,0], [18,405,1512,0], [18,412,0,1512], [22,413,640,320], [22,417,320,640], [23,436,3024,4536], [22,448,320,640], [23,450,3024,10584], [5,458,702,54], [11,462,6318,3159], [23,465,756,2268], [22,466,1280,320], [16,467,14580,4860], [22,481,320,640], [18,482,1512,0], [18,493,3024,1512], [23,500,0,1512], [23,501,0,1512], [23,503,0,1512], [23,504,4536,1512], [18,505,0,3024], [13,510,11988,4212], [18,513,3024,1512], [18,514,3024,1512], [23,516,0,1512], [19,517,4032,448], [23,518,756,2268], [14,519,5376,0], [22,522,320,1280], [23,523,1512,4536], [22,524,1280,640], [19,525,4032,448], [18,531,3024,0], [14,532,0,5376], [19,535,448,4032], [23,536,4536,1512], [17,538,4860,0], [11,539,2106,4212], [18,545,1512,0], [23,548,10584,3024], [23,549,1512,0], [23,550,0,1512], [17,552,1080,2700], [18,564,1512,0], [22,565,1280,320], [19,568,4032,448], [22,572,640,320], [7,575,0,336], [23,577,0,1512], [18,580,0,1512], [22,593,320,1280], [22,594,320,640], [22,620,320,640], [19,621,4032,448], [19,622,4032,448], [18,624,1512,0], [23,626,0,1512], [19,627,448,4032], [23,637,1512,0], [23,638,0,1512], [23,639,1512,0], [23,640,0,1512], [19,641,4032,448], [23,642,0,1512], [7,643,336,0], [14,647,8064,2688], [17,651,0,1620], [23,652,0,1512], [23,653,10584,6048], [22,655,320,1280], [23,656,0,1512], [23,657,0,3024], [23,658,1512,0], [22,659,1280,320], [23,662,3024,0], [23,663,0,1512], [22,666,640,320], [23,683,1512,6048], [22,684,640,320], [17,685,1890,270], [23,696,1512,0], [22,709,640,1280], [23,713,1512,6048], [23,716,5292,3780], [23,724,5292,2268], [23,725,1512,0], [22,726,1280,320], [22,732,320,640], [22,736,640,320], [23,738,3780,5292], [22,740,640,320], [18,744,0,1512], [22,745,320,640], [23,747,1512,0], [22,748,640,320], [18,750,1512,0], [23,755,3024,4536], [23,770,1512,4536], [14,775,5376,0], [17,788,1620,0], [22,790,320,640], [18,792,0,1512], [18,793,1512,0], [18,800,1512,6048], [23,802,0,1512], [23,803,0,1512], [23,805,0,1512], [19,806,448,4032], [23,807,1512,0], [23,808,12096,6048], [7,809,0,336], [19,811,448,4032], [12,812,324,4212], [22,814,640,320], [7,815,0,672], [18,816,1512,0], [23,824,1512,4536], [23,840,1512,0], [23,841,1512,0], [23,842,1512,0], [11,844,2106,5265], [23,846,0,1512], [18,847,0,1512], [23,848,1512,0], [18,849,0,1512], [23,850,3024,1512], [23,851,2268,756], [22,853,320,1280], [14,854,8064,2688], [19,855,4032,448], [22,856,640,320], [23,858,1512,0], [23,859,3024,0], [23,861,0,1512], [23,862,1512,0], [23,866,1512,0], [23,867,3024,1512], [18,869,1512,0], [23,871,1512,0], [22,873,320,640], [14,874,5376,0], [18,876,0,1512], [18,877,1512,0], [23,881,0,1512], [18,889,0,1512], [23,890,2268,756], [22,891,640,320], [18,894,1512,0], [23,895,756,2268], [19,901,448,4032], [23,902,3024,6048], [23,903,6048,9072], [18,906,0,1512], [23,908,9072,4536], [23,909,0,1512], [14,910,5376,0], [23,916,4536,3024], [23,921,3024,0], [23,926,1512,0], [18,927,1512,0], [19,928,4032,448], [7,930,0,336], [18,932,1512,0], [23,934,0,1512], [18,936,1512,0], [23,937,0,1512], [9,938,7056,4368], [18,939,1512,0], [18,940,0,1512], [18,941,1512,3024], [22,955,1280,320], [23,956,6048,7560], [18,963,0,1512], [13,964,8100,4212], [23,978,1512,4536], [18,985,1512,0], [22,986,320,640], [9,988,336,3024], [22,991,1280,320], [23,999,0,1512], [18,1001,0,1512], [18,1002,1512,0], [18,1003,3024,0], [23,1012,0,1512], [23,1023,0,1512], [5,1025,54,702], [23,1028,10584,3024], [22,1029,640,320], [12,1034,324,4212], [18,1068,0,3024], [7,1069,672,0], [23,1070,10584,3024], [23,1071,5292,3780], [9,1072,5376,2688], [23,1073,2268,756], [23,1074,0,3024], [9,1083,5712,8400], [23,1084,756,2268], [18,1085,1512,0], [22,1086,640,320], [23,1088,756,3780], [18,1089,1512,0], [22,1090,1280,640], [18,1091,1512,3024], [14,1092,16128,21504], [18,1095,1512,0], [19,1097,4032,448], [14,1102,5376,0], [18,1110,0,3024], [19,1111,4032,448], [23,1115,1512,4536], [22,1116,320,2560], [22,1117,1280,640], [11,1118,5265,2106], [18,1119,1512,0], [19,1120,4032,448], [18,1121,1512,3024], [11,1122,4212,2106], [23,1125,0,1512], [14,1126,6720,12096], [18,1127,0,1512], [23,1129,3024,1512], [18,1135,1512,0], [23,1136,0,1512], [18,1137,0,1512], [7,1138,672,0], [23,1139,756,3780], [19,1141,448,4032], [22,1143,1280,320], [19,1144,448,4032], [18,1145,0,1512], [23,1149,14364,32508], [23,1150,4536,1512], [23,1151,756,2268], [23,1152,5292,2268], [23,1156,2268,756], [13,1163,2268,6156], [19,1164,4032,448], [23,1165,6804,5292], [23,1166,0,1512], [18,1178,1512,3024], [18,1188,1512,0], [23,1189,2268,756], [23,1191,5292,3780], [18,1196,0,1512], [22,1199,320,640], [23,1200,3024,4536], [23,1204,10584,4536], [18,1205,0,1512], [23,1206,1512,4536], [13,1210,2268,6156], [18,1211,0,1512], [18,1212,1512,0], [23,1213,3780,756], [12,1216,4212,324], [23,1218,1512,6048], [23,1219,6048,4536], [23,1220,0,1512], [23,1229,11340,8316], [23,1230,3780,5292], [22,1233,1280,640], [22,1235,640,320], [22,1240,640,1280], [22,1241,320,640], [23,1242,10584,7560], [23,1252,756,2268], [22,1253,640,1280], [18,1256,0,1512], [18,1258,0,1512], [23,1259,4536,10584], [18,1262,1512,0], [23,1263,0,1512], [18,1265,1512,0], [18,1268,1512,0], [17,1271,2700,1080], [22,1274,320,640], [20,1276,4032,53184], [18,1280,1512,0], [23,1281,3780,5292], [18,1285,0,1512], [22,1288,320,640], [23,1293,1512,0], [23,1305,4536,3024], [23,1310,756,2268], [22,1314,320,640], [22,1325,1280,320], [22,1327,640,320], [23,1330,3024,10584], [22,1344,320,640], [19,1348,4032,448], [23,1356,2268,756], [18,1357,0,3024], [22,1358,320,1280], [23,1359,6048,1512], [18,1360,0,1512], [23,1363,4536,1512], [23,1364,3780,8316], [23,1365,3024,4536], [22,1366,320,640], [22,1367,320,640], [18,1369,3024,0], [13,1372,19764,11988], [23,1373,4536,10584], [19,1374,448,4032], [22,1387,640,320], [18,1388,1512,0], [19,1391,448,4032], [22,1394,320,640], [22,1399,640,320], [18,1400,1512,0], [23,1403,7560,1512], [18,1404,1512,0], [23,1405,2268,5292], [23,1406,1512,0], [18,1407,1512,0], [23,1410,1512,0], [23,1411,5292,2268], [22,1413,320,1280], [22,1419,320,640], [23,1420,0,1512], [18,1421,0,3024], [23,1422,756,2268], [18,1423,1512,3024], [23,1424,3780,5292], [23,1427,2268,756], [23,1428,1512,0], [18,1431,1512,0], [23,1432,1512,4536], [23,1433,6048,1512], [13,1434,4212,8100], [23,1436,0,1512], [18,1439,1512,0], [23,1440,1512,0], [18,1441,0,1512], [14,1446,2688,8064], [19,1447,448,4032], [23,1455,756,2268], [23,1456,2268,5292], [18,1458,1512,0], [23,1459,1512,0], [23,1460,1512,0], [23,1461,1512,0], [18,1462,0,1512], [14,1463,2688,8064], [14,1467,5376,0], [23,1468,0,1512], [11,1471,2106,6318], [18,1473,1512,3024], [18,1475,0,1512], [23,1476,0,4536], [17,1478,15660,2700], [18,1479,1512,0], [23,1481,1512,0], [23,1486,756,2268], [19,1488,448,4032], [19,1496,448,4032], [19,1497,448,4032], [23,1499,4536,1512], [23,1502,8316,12852], [18,1504,1512,3024], [22,1505,320,1280], [19,1508,4032,448], [18,1510,1512,0], [5,1512,702,54], [23,1531,4536,3024], [23,1535,0,1512], [23,1536,5292,6804], [23,1548,3780,5292], [22,1549,320,640], [23,1552,0,3024], [23,1553,756,2268], [23,1555,1512,4536], [23,1556,0,1512], [18,1557,0,1512], [22,1566,320,1280], [23,1569,1512,0], [18,1570,1512,0], [18,1571,0,1512], [13,1578,6156,2268], [18,1582,0,1512], [11,1583,4212,5265], [23,1585,1512,0], [23,1587,2268,756], [22,1599,1280,320], [19,1613,448,4032], [12,1615,4212,324], [18,1616,0,1512], [23,1618,0,1512], [23,1619,1512,0], [23,1620,0,1512], [23,1622,1512,0], [2,1625,3024,0], [7,1626,420,756], [22,1630,320,640], [23,1631,3024,10584], [23,1632,3024,10584], [22,1633,640,320], [19,1634,4032,448], [22,1647,320,640], [13,1648,8100,4212], [19,1649,4032,448], [23,1650,3024,0], [14,1654,0,5376], [13,1656,19764,11988], [19,1658,4032,448], [12,1659,4212,324], [23,1660,7560,10584], [17,1661,1620,4860], [18,1662,1512,3024], [17,1663,5130,3510], [13,1665,8100,4212], [23,1666,1512,4536], [23,1667,3024,1512], [18,1668,0,1512], [23,1669,25704,7560], [7,1671,0,336], [23,1672,0,1512], [22,1673,640,320], [23,1686,0,1512], [18,1688,3024,6048], [23,1689,2268,5292], [22,1690,320,640], [23,1692,4536,1512], [23,1693,756,2268], [18,1694,0,1512], [17,1695,270,1890], [23,1696,1512,0], [2,1699,3024,0], [18,1700,0,3024], [18,1701,0,3024], [7,1702,420,84], [18,1703,1512,0], [23,1707,0,1512], [18,1711,0,1512], [23,1712,1512,0], [18,1713,1512,0], [18,1714,0,1512], [18,1715,1512,0], [14,1716,6720,1344], [23,1717,6804,3780], [17,1718,1620,0], [23,1721,4536,10584], [23,1722,4536,1512], [23,1723,4536,3024], [23,1724,5292,6804], [23,1725,6804,5292], [23,1729,3780,5292], [23,1730,0,1512], [18,1731,1512,3024], [23,1732,756,2268], [18,1733,0,4536], [18,1734,3024,0], [19,1736,4032,448], [23,1737,0,1512], [13,1742,11988,19764], [22,1743,1280,640], [23,1744,1512,4536], [23,1745,8316,3780], [23,1746,4536,1512], [19,1747,448,4032], [11,1748,4212,6318], [18,1750,4536,1512], [23,1752,1512,0], [14,1753,8064,2688], [22,1755,320,640], [14,1756,5376,0], [18,1758,1512,0], [23,1761,5292,3780], [22,1762,640,320], [11,1763,8424,2106], [22,1764,320,1280], [18,1765,0,1512], [23,1766,0,1512], [22,1767,320,640], [7,1769,0,672], [23,1770,5292,2268], [18,1771,3024,1512], [17,1773,5130,1890], [22,1780,640,2560], [22,1781,320,1280], [17,1784,1080,2700], [18,1786,3024,4536], [18,1787,1512,4536], [23,1788,9828,5292], [22,1789,320,640], [22,1790,640,320], [18,1791,21168,15120], [22,1792,1280,5120], [18,1795,1512,0], [18,1797,1512,0], [18,1798,1512,0], [22,1799,1280,320], [23,1802,0,1512], [23,1803,5292,2268], [18,1804,0,1512], [22,1806,320,640], [23,1807,1512,0], [22,1808,1280,320], [7,1812,0,336], [23,1814,1512,0], [14,1816,5376,0], [12,1817,324,4212], [23,1818,6048,10584], [13,1819,8100,4212], [23,1822,4536,1512], [22,1837,1280,320], [23,1839,1512,0], [23,1848,0,1512], [18,1849,0,1512], [3,1852,0,4536], [23,1853,0,1512], [7,1855,84,420], [18,1857,1512,0], [23,1858,5292,11340], [23,1859,756,2268], [5,1862,702,54], [23,1863,2268,756], [23,1864,1512,0], [19,1866,448,4032], [22,1867,640,1280], [14,1870,8064,2688], [23,1871,0,1512], [5,1874,702,54], [22,1876,320,640], [23,1877,1512,10584], [5,1880,702,54], [18,1881,3024,1512], [18,1882,1512,0], [23,1884,1512,0], [22,1886,640,1280], [7,1887,336,0], [13,1888,2268,6156], [18,1890,1512,0], [23,1891,4536,1512], [13,1892,10044,6156], [23,1893,0,1512], [18,1895,0,4536], [23,1897,1512,0], [23,1898,3024,0], [14,1899,5376,0], [23,1902,3024,1512], [21,1903,53184,4032], [23,1904,1512,4536], [23,1909,0,1512], [18,1911,1512,3024], [23,1912,4536,1512], [18,1920,1512,0], [18,1922,0,1512], [18,1923,0,1512], [18,1924,3024,6048], [7,1925,420,1092], [22,1942,320,1280], [22,1944,640,320], [11,1951,2106,5265], [18,1952,1512,3024], [18,1953,0,3024], [5,1955,54,702], [22,1956,1280,320], [18,1968,0,1512], [18,1969,1512,0], [18,1970,0,1512], [17,1971,270,1890], [18,1973,3024,0], [18,1975,1512,0], [23,1976,0,1512], [5,1985,702,54], [18,1986,1512,0], [12,1988,324,4212], [18,1990,0,1512], [22,1991,640,320], [23,1998,2268,756], [14,1999,0,5376], [18,2005,1512,0], [23,2008,0,1512], [11,2009,4212,5265], [23,2010,0,3024], [18,2012,0,1512], [23,2019,4536,6048], [18,2020,3024,1512], [23,2024,3024,10584], [18,2025,4536,7560], [23,2026,11340,30996], [5,2027,54,702], [23,2028,1512,0], [18,2029,1512,3024], [23,2030,26460,17388], [23,2031,1512,0], [18,2032,3024,0], [19,2036,448,4032], [19,2037,448,4032], [23,2038,756,3780], [19,2039,448,4032], [19,2040,4032,448], [14,2042,5376,16128], [22,2045,640,320], [23,2046,2268,756], [23,2050,5292,6804], [7,2052,1092,420], [23,2053,5292,2268], [19,2054,448,4032], [18,2055,0,1512], [23,2056,2268,3780], [18,2057,1512,0], [23,2058,0,1512], [18,2059,1512,0], [18,2060,0,1512], [23,2061,3780,5292], [22,2062,640,320], [11,2063,2106,5265], [22,2065,640,320], [14,2066,5376,0], [22,2067,640,320], [23,2068,10584,4536], [11,2069,4212,5265], [22,2072,640,320], [14,2073,5376,0], [23,2090,1512,0], [23,2091,0,1512], [23,2092,1512,0], [5,2093,702,54], [22,2094,320,640], [23,2095,0,1512], [19,2096,4032,448], [22,2097,640,320], [23,2098,0,1512], [19,2099,4032,448], [23,2103,1512,0], [19,2104,448,4032], [23,2106,0,1512], [19,2108,4032,448], [23,2109,1512,0], [22,2112,1280,320], [22,2113,1280,320], [23,2116,1512,0], [23,2117,1512,0], [23,2118,3024,0], [23,2119,1512,0], [23,2120,12096,6048], [23,2121,0,1512], [23,2122,1512,3024], [23,2123,0,1512], [23,2138,3024,4536], [22,2139,640,320], [23,2140,4536,1512], [11,2157,5265,2106], [19,2158,4032,448], [23,2159,10584,6048], [19,2161,4032,448], [23,2162,1512,0], [19,2163,448,4032], [18,2165,1512,0], [23,2169,1512,0], [18,2172,3024,1512], [23,2173,756,2268], [23,2175,3024,0], [23,2176,3024,0], [23,2179,1512,0], [23,2180,3024,0], [23,2181,0,1512], [14,2183,10752,5376], [23,2184,3780,756], [19,2186,448,4032], [7,2187,336,0], [23,2189,1512,0], [18,2190,1512,0], [23,2191,0,1512], [23,2193,2268,756], [7,2194,420,756], [23,2195,2268,756], [22,2196,320,640], [12,2197,4212,324], [13,2198,8100,4212], [22,2199,640,320], [7,2200,336,672], [23,2201,1512,0], [23,2202,6048,10584], [14,2203,8064,2688], [23,2204,0,1512], [18,2205,1512,0], [22,2206,320,1280], [18,2207,1512,0], [19,2208,4032,448], [18,2209,1512,0], [23,2211,0,1512], [18,2213,1512,0], [18,2214,1512,0], [23,2215,1512,0], [23,2216,0,1512], [23,2217,1512,0], [23,2218,3024,0], [18,2219,1512,0], [23,2222,6048,4536], [23,2223,3024,0], [11,2224,3159,0], [22,2225,320,640], [23,2226,1512,0], [18,2227,3024,0], [19,2229,448,4032], [23,2230,1512,0], [23,2235,0,1512], [22,2237,320,640], [22,2238,640,320], [14,2262,10752,0], [7,2263,0,336], [23,2265,3024,1512], [23,2266,5292,2268], [23,2267,2268,756], [22,2268,640,320], [23,2270,0,1512], [23,2271,1512,0], [23,2272,4536,1512], [22,2273,320,640], [7,2277,336,672], [23,2278,1512,0], [11,2279,3159,9477], [18,2280,1512,0], [14,2282,0,5376], [23,2283,11340,6804], [23,2285,756,2268], [18,2286,0,1512], [23,2290,0,1512], [23,2291,0,1512], [19,2292,4032,448], [23,2294,4536,6048], [23,2295,1512,4536], [23,2297,3024,7560], [23,2298,3024,12096], [18,2299,3024,0], [23,2301,3024,7560], [23,2302,1512,12096], [22,2303,320,640], [18,2304,1512,0], [14,2305,5376,0], [14,2306,5376,0], [22,2315,640,320], [23,2316,3024,1512], [23,2320,0,3024], [17,2341,4860,1620], [14,2342,13440,2688], [17,2344,2700,1080], [22,2345,320,640], [22,2346,640,320], [22,2351,320,1280], [18,2352,0,1512], [17,2353,1620,0], [5,2354,702,54], [13,2355,8100,4212], [7,2356,672,0], [23,2357,12096,4536], [18,2364,3024,1512], [17,2370,1080,2700], [23,2375,6804,5292], [5,2379,54,702], [22,2380,320,640], [18,2381,0,1512], [18,2387,0,1512], [17,2401,1620,0], [23,2404,0,1512], [22,2405,640,320], [18,2406,0,1512], [23,2407,1512,4536], [23,2408,1512,4536], [23,2411,3024,0], [23,2412,5292,2268], [7,2413,336,0], [23,2415,1512,0], [23,2416,2268,756], [23,2420,4536,1512], [23,2423,4536,3024], [18,2424,0,1512], [18,2425,0,1512], [22,2426,1280,320], [18,2433,0,1512], [23,2434,0,1512], [18,2435,0,1512], [23,2437,4536,1512], [22,2442,1280,640], [7,2445,1092,420], [13,2448,4212,8100], [23,2449,5292,2268], [19,2450,448,4032], [14,2451,0,5376], [18,2452,1512,0], [23,2453,15120,4536], [23,2454,16632,9072], [14,2456,0,5376], [23,2458,5292,2268], [23,2461,1512,0], [23,2465,1512,0], [22,2467,640,320], [10,2470,2688,5376], [17,2471,1620,4860], [19,2473,4032,448], [23,2479,0,1512], [23,2482,8316,5292], [23,2485,756,2268], [5,2487,54,702], [19,2488,4032,448], [18,2489,0,1512], [18,2490,1512,0], [23,2494,0,1512], [22,2497,1280,640], [19,2498,448,4032], [23,2499,1512,0], [22,2501,640,320], [22,2502,640,320], [11,2507,8424,6318], [23,2510,6048,13608], [23,2511,4536,13608], [22,2512,640,320], [18,2513,0,1512], [22,2517,640,1280], [18,2518,0,1512], [18,2519,0,1512], [23,2520,1512,4536], [18,2523,0,1512], [23,2524,756,2268], [23,2529,30996,14364], [23,2533,3780,5292], [22,2536,640,320], [23,2544,3780,2268], [18,2545,0,1512], [22,2550,320,640], [18,2552,3024,0], [19,2554,4032,448], [22,2573,640,320], [7,2580,420,756], [18,2581,1512,0], [13,2582,6156,2268], [22,2595,640,1280], [18,2596,4536,3024], [22,2601,320,640], [23,2602,6048,4536], [22,2603,320,1280], [23,2604,1512,0], [18,2605,0,1512], [18,2606,0,3024], [23,2618,0,1512], [18,2619,1512,0], [18,2623,1512,0], [13,2625,8100,4212], [23,2628,1512,4536], [22,2629,320,640], [22,2630,1280,640], [23,2634,5292,2268], [23,2646,2268,5292], [18,2647,1512,0], [18,2648,0,1512], [23,2649,3024,1512], [23,2650,1512,0], [22,2651,640,320], [17,2652,1080,2700], [22,2654,320,640], [18,2655,3024,0], [6,2656,216,4590], [22,2657,1280,320], [23,2658,0,1512], [7,2675,0,336], [14,2678,2688,8064], [17,2679,0,1620], [18,2682,3024,1512], [23,2686,756,2268], [18,2688,0,1512], [18,2695,0,1512], [18,2698,1512,0], [7,2705,84,420], [15,2706,500,15500], [14,2707,12096,1344], [4,2711,1440,792], [18,2712,3024,1512], [18,2715,1512,3024], [18,2716,1512,0], [18,2720,0,1512], [23,2722,1512,0], [14,2724,8064,2688], [23,2733,4536,1512], [18,2734,0,1512], [18,2736,1512,0], [23,2738,1512,4536], [18,2745,0,1512], [23,2746,1512,0], [11,2747,2106,4212], [18,2748,1512,0], [14,2750,10752,16128], [23,2751,2268,5292], [23,2762,756,2268], [23,2764,756,2268], [5,2765,54,702], [23,2766,0,1512], [7,2768,336,672], [22,2769,320,640], [23,2771,0,3024], [18,2772,1512,0], [23,2773,0,1512], [18,2775,0,1512], [1,2777,12636,8424], [22,2779,320,1280], [22,2782,640,320], [18,2783,3024,1512], [18,2784,1512,0], [22,2785,320,640], [13,2786,8100,4212], [18,2787,3024,0], [23,2788,1512,0], [23,2791,4536,1512], [22,2793,640,320], [18,2794,1512,3024], [23,2797,1512,4536], [7,2798,0,336], [23,2799,1512,4536], [23,2800,5292,2268], [19,2801,448,4032], [23,2803,0,1512], [23,2804,1512,10584], [18,2805,0,1512], [18,2809,0,1512], [22,2816,640,320], [18,2818,0,1512], [18,2819,0,1512], [11,2820,5265,2106], [7,2821,84,756], [7,2822,84,420], [23,2823,5292,2268], [23,2824,1512,0], [18,2825,0,1512], [11,2827,4212,6318], [18,2837,0,1512], [14,2842,8064,13440], [7,2844,420,84], [23,2846,5292,8316], [23,2847,2268,756], [22,2851,640,320], [23,2854,1512,4536], [23,2856,2268,6804], [7,2857,336,672], [13,2858,6156,10044], [13,2859,10044,6156], [23,2860,0,3024], [19,2861,448,4032], [23,2862,1512,0], [18,2863,3024,1512], [23,2864,756,2268], [23,2865,5292,2268], [14,2867,5376,0], [5,2868,702,54], [18,2869,0,3024], [23,2871,0,1512], [10,2872,4368,1680], [11,2873,2106,4212], [23,2875,2268,756], [22,2877,640,320], [23,2880,1512,0], [23,2881,6804,2268], [22,2882,640,320], [22,2883,640,1280], [22,2885,640,320], [7,2886,336,0], [23,2888,5292,2268], [22,2889,320,1280], [22,2891,320,1280], [23,2901,756,2268], [23,2908,1512,4536], [18,2915,1512,0], [23,2917,1512,0], [18,2925,1512,3024], [23,2930,5292,2268], [23,2931,4536,3024], [23,2943,6804,11340], [5,2947,702,54], [18,2948,1512,0], [18,2950,1512,0], [23,2952,2268,756], [17,2953,0,1620], [17,2954,1890,270], [18,2955,0,1512], [23,2959,4536,1512], [14,2961,0,5376], [18,2962,6048,0], [22,2963,320,640], [18,2966,0,1512], [22,2967,640,1280], [23,2972,4536,1512], [13,2973,4212,8100] ];;