a := (1,374)(2,708)(3,1312)(4,1036)(5,1151)(6,1366)(7,1307)(8,1571)(9,1402)
     (10,236)(11,1438)(12,363)(13,590)(14,288)(15,1372)(16,38)(17,1886)(18,
     816)(19,1953)(20,1582)(21,1109)(22,525)(23,124)(25,1218)(27,1795)(28,499)
     (29,1574)(30,802)(32,1040)(33,117)(34,1643)(36,1344)(37,1559)(39,180)(40,
     1183)(41,979)(42,1819)(43,152)(45,1161)(46,1500)(47,332)(48,1131)(49,946)
     (50,1599)(52,985)(53,1428)(56,401)(57,1661)(58,1351)(59,272)(60,692)(61,
     120)(62,1545)(63,1221)(64,1211)(65,1423)(67,318)(68,1536)(69,1722)(70,
     119)(71,790)(72,407)(73,2024)(74,146)(75,2045)(76,937)(77,424)(78,339)
     (79,1395)(80,2056)(81,568)(82,1111)(83,444)(84,746)(85,510)(86,1123)(87,
     2058)(88,1810)(89,550)(90,116)(91,103)(92,1009)(93,902)(94,632)(95,1799)
     (96,1308)(97,1910)(98,1034)(99,1706)(100,693)(102,922)(105,571)(106,2031)
     (107,714)(108,1447)(109,1385)(110,1977)(111,409)(112,1220)(113,1456)(114,
     1094)(115,212)(118,1922)(121,971)(122,769)(123,387)(125,1060)(126,1057)
     (127,480)(128,1628)(129,398)(131,1477)(132,1326)(133,1166)(134,1974)(135,
     1272)(136,1324)(137,1295)(138,490)(139,291)(140,1216)(141,1389)(142,822)
     (143,306)(144,552)(145,1301)(147,1957)(148,1401)(150,1407)(151,766)(154,
     1000)(155,656)(156,638)(159,943)(160,677)(161,232)(163,1031)(164,425)
     (165,195)(166,1403)(167,285)(168,219)(169,311)(170,657)(171,1289)(172,
     852)(173,1518)(174,587)(175,1159)(176,1350)(177,1180)(178,1041)(179,923)
     (181,1334)(182,1735)(183,399)(184,1278)(185,1273)(186,1498)(187,488)(188,
     908)(189,1770)(190,537)(191,1941)(192,595)(193,1404)(194,617)(196,686)
     (197,1845)(198,1924)(199,939)(200,1112)(201,706)(202,579)(203,1262)(204,
     749)(205,789)(206,775)(207,843)(208,1826)(209,1675)(210,1900)(211,1776)
     (214,966)(215,896)(216,1673)(217,1331)(218,1437)(220,1139)(221,1472)(222,
     494)(223,1640)(224,2008)(225,995)(226,982)(227,1086)(228,1766)(229,800)
     (230,565)(233,853)(234,1551)(235,808)(238,1043)(239,1240)(240,551)(241,
     553)(242,1305)(243,1069)(244,1641)(245,811)(247,2051)(248,596)(250,1349)
     (251,1408)(252,1593)(253,1380)(254,1065)(255,451)(256,476)(257,1915)(258,
     1597)(260,1113)(261,1225)(263,457)(264,709)(265,554)(266,1572)(267,1846)
     (268,447)(269,1748)(270,1300)(271,614)(273,890)(274,1125)(275,1507)(277,
     1674)(278,1785)(279,1609)(280,308)(281,1635)(282,607)(283,815)(284,1682)
     (286,427)(289,2043)(290,1843)(292,756)(293,810)(294,1345)(295,1794)(296,
     1524)(297,1587)(298,911)(299,1660)(300,1358)(301,975)(302,1771)(303,1368)
     (305,886)(307,1008)(309,705)(310,1194)(312,1379)(313,410)(314,1269)(315,
     757)(316,1037)(317,1454)(319,1501)(320,702)(321,859)(322,731)(323,1642)
     (324,813)(325,1752)(326,1064)(327,1557)(328,373)(329,778)(330,527)(331,
     539)(333,1657)(334,2027)(335,1237)(336,470)(337,1870)(338,1616)(340,1023)
     (341,1178)(342,1624)(343,1014)(344,1081)(346,1420)(347,1050)(348,1063)
     (349,1699)(350,1035)(351,654)(352,406)(353,1242)(354,487)(355,1450)(356,
     2013)(357,1526)(358,700)(359,976)(360,2041)(361,404)(362,1991)(364,1634)
     (365,1669)(367,683)(370,446)(371,1820)(372,2023)(375,824)(376,1999)(377,
     473)(378,474)(379,676)(380,1306)(381,1774)(382,1769)(383,509)(384,1714)
     (385,1589)(386,1595)(388,1979)(389,840)(390,412)(391,1936)(392,1554)(394,
     1523)(395,1731)(396,695)(397,1598)(402,1867)(403,1981)(405,1443)(408,
     1662)(411,669)(413,1659)(414,912)(417,1110)(418,1101)(419,534)(420,1762)
     (421,1441)(422,628)(423,1383)(426,1778)(428,1357)(429,1003)(430,434)(431,
     1683)(432,989)(433,485)(435,888)(436,1865)(437,1011)(438,849)(439,1916)
     (440,1478)(441,906)(442,2022)(443,1013)(445,1746)(448,1534)(449,1586)
     (450,1962)(453,1996)(454,1410)(455,1566)(456,1458)(458,1744)(459,1029)
     (460,1012)(461,897)(462,806)(463,1883)(464,1955)(465,1457)(467,1836)(468,
     1747)(469,1779)(471,1837)(472,1839)(475,1116)(478,2020)(479,1266)(482,
     1878)(483,1937)(484,1603)(486,1824)(489,1784)(491,1756)(492,1627)(493,
     759)(495,1146)(496,1189)(497,667)(498,1859)(500,861)(501,1975)(502,660)
     (504,566)(505,1068)(506,1286)(507,1834)(508,1644)(511,729)(512,1583)(513,
     1448)(514,515)(516,1920)(517,581)(518,578)(519,1569)(520,1073)(521,1104)
     (523,925)(524,1653)(526,881)(528,1804)(529,1907)(530,1021)(531,1633)(532,
     689)(533,1758)(535,872)(536,1701)(538,1973)(540,592)(541,1816)(542,1128)
     (543,1088)(544,622)(545,1154)(546,1855)(547,580)(548,1892)(549,1103)(555,
     901)(556,557)(559,1963)(560,972)(561,629)(562,1096)(563,1198)(564,1179)
     (567,1532)(569,981)(570,1600)(572,1995)(573,740)(574,1118)(575,1321)(576,
     1475)(577,776)(582,1754)(583,1230)(584,904)(585,684)(586,600)(591,1188)
     (593,1719)(594,987)(597,1939)(598,704)(599,1209)(601,1783)(602,764)(604,
     1315)(605,1611)(608,1905)(609,1788)(610,2029)(612,1540)(613,1390)(615,
     619)(616,715)(618,2036)(620,1740)(624,1680)(626,845)(627,1235)(630,1544)
     (631,1596)(633,1020)(634,1303)(635,2046)(636,1467)(637,1224)(639,894)
     (640,1364)(641,1550)(642,1016)(643,1274)(644,1736)(645,919)(646,1543)
     (647,1718)(649,1330)(650,1253)(651,1002)(652,798)(653,1157)(655,658)(659,
     707)(662,732)(663,809)(664,1208)(665,1347)(666,1044)(668,1849)(670,1181)
     (673,1340)(674,851)(675,1832)(678,857)(679,774)(680,1797)(681,1019)(682,
     1909)(687,1511)(688,1913)(690,1369)(691,1562)(694,1429)(696,1793)(697,
     1455)(698,984)(699,826)(701,1869)(703,1860)(710,1099)(711,1091)(712,1811)
     (713,818)(716,1153)(717,1879)(718,1847)(719,1292)(720,1445)(721,1509)
     (722,1647)(723,948)(724,1809)(725,1415)(727,1813)(728,1573)(730,1434)
     (733,959)(734,1048)(736,1451)(737,1728)(738,1392)(741,1531)(742,1186)
     (743,1267)(744,1932)(745,1926)(747,1129)(748,1985)(750,1397)(751,1055)
     (752,1333)(754,1688)(758,1137)(760,864)(761,1901)(762,1030)(763,1238)
     (765,2050)(767,1474)(768,1945)(770,1512)(771,1651)(772,1430)(777,1652)
     (779,1614)(780,910)(781,1329)(783,1923)(785,1033)(787,1906)(792,1142)
     (793,1084)(794,1986)(796,834)(797,1233)(799,1751)(801,1182)(803,1440)
     (804,924)(805,1460)(807,945)(814,1670)(817,1650)(819,1948)(820,991)(823,
     1414)(825,1246)(827,1763)(830,973)(831,920)(832,1169)(833,854)(835,933)
     (837,1245)(838,1895)(839,1270)(841,1664)(842,1463)(844,1689)(846,929)
     (847,1960)(848,1537)(850,1538)(856,1122)(858,1772)(860,1254)(862,1723)
     (863,1298)(865,1730)(866,2030)(867,1519)(868,998)(869,1249)(870,1817)
     (871,1823)(874,1490)(875,2009)(876,882)(877,934)(878,1320)(879,1742)(880,
     1409)(883,1339)(884,1965)(885,1265)(887,1418)(889,1155)(891,1812)(892,
     1684)(895,1726)(898,935)(899,1281)(900,1177)(905,1782)(907,1854)(909,
     1231)(913,1453)(914,2052)(915,1844)(916,1446)(917,1127)(918,1332)(921,
     1681)(926,1863)(927,1842)(930,1570)(931,1059)(932,2001)(936,1980)(938,
     1958)(940,1257)(941,1090)(942,1356)(944,1929)(947,2034)(949,1287)(951,
     1359)(952,1902)(953,2047)(954,1677)(955,1071)(956,1607)(957,1904)(958,
     1092)(960,1489)(961,1934)(962,988)(963,2016)(965,1089)(968,1138)(969,
     1919)(970,1163)(974,1781)(978,1696)(980,1602)(983,2042)(986,1175)(990,
     2033)(993,1825)(996,1360)(997,1737)(999,1115)(1001,1581)(1006,1061)(1007,
     1535)(1010,2014)(1015,1713)(1018,1051)(1022,1285)(1024,1251)(1025,2003)
     (1026,1806)(1027,1406)(1028,1136)(1032,1821)(1038,1579)(1039,1992)(1042,
     1695)(1045,1830)(1046,1342)(1047,1297)(1049,1851)(1052,1506)(1053,1394)
     (1054,1528)(1056,1432)(1058,1687)(1062,1712)(1070,1172)(1072,1950)(1074,
     1196)(1075,1283)(1076,1631)(1077,1427)(1078,1575)(1079,1911)(1080,1250)
     (1082,1705)(1083,1818)(1085,1119)(1087,1590)(1095,1261)(1097,1882)(1098,
     1120)(1100,2044)(1105,1741)(1106,1610)(1107,1263)(1108,1276)(1114,2057)
     (1117,1717)(1121,1124)(1126,1464)(1130,1626)(1132,1367)(1133,1725)(1134,
     1656)(1135,1876)(1141,1792)(1143,1658)(1144,1343)(1145,1508)(1147,1984)
     (1148,1439)(1149,1887)(1150,1828)(1152,1775)(1156,1522)(1158,1555)(1160,
     1436)(1162,1621)(1164,1993)(1165,1807)(1167,1709)(1170,1654)(1171,1697)
     (1173,1327)(1174,1502)(1184,1734)(1185,1604)(1187,1314)(1190,1484)(1191,
     1707)(1192,1768)(1193,2015)(1195,1229)(1197,1790)(1199,1693)(1200,1773)
     (1201,1966)(1202,2048)(1204,1493)(1207,1341)(1210,1558)(1212,1874)(1213,
     1354)(1214,1938)(1219,1750)(1222,1852)(1227,1594)(1228,2004)(1232,1858)
     (1234,1258)(1241,1488)(1244,1884)(1247,1749)(1248,1391)(1255,1400)(1256,
     1517)(1259,1759)(1264,1319)(1268,1492)(1271,1944)(1277,2005)(1279,1580)
     (1280,1363)(1282,1989)(1284,1831)(1288,1336)(1290,1577)(1293,1399)(1294,
     1676)(1296,1412)(1299,1648)(1302,1462)(1304,2035)(1311,1564)(1313,1803)
     (1316,1373)(1317,1850)(1318,1796)(1322,1592)(1323,1623)(1325,1724)(1328,
     1838)(1337,1703)(1338,1925)(1346,1721)(1348,1361)(1352,2010)(1353,1903)
     (1355,1617)(1362,1384)(1365,1994)(1371,1767)(1374,1630)(1375,1503)(1376,
     1396)(1378,1619)(1381,1546)(1382,1388)(1386,1618)(1387,1829)(1393,1416)
     (1398,2006)(1405,1888)(1413,1959)(1417,1868)(1419,1608)(1421,1997)(1424,
     1636)(1426,1969)(1431,1889)(1433,1893)(1435,1872)(1444,1576)(1449,1615)
     (1452,2000)(1459,1542)(1461,1466)(1465,1520)(1468,1612)(1469,1971)(1471,
     1764)(1473,1961)(1476,1708)(1479,1970)(1480,1760)(1482,1814)(1485,2049)
     (1487,1496)(1494,1632)(1495,1848)(1497,1857)(1499,2012)(1504,1533)(1510,
     1983)(1513,1908)(1514,1873)(1515,1548)(1516,1917)(1521,1885)(1529,1568)
     (1530,2055)(1539,1930)(1541,1646)(1547,1553)(1549,1668)(1560,1710)(1561,
     1987)(1563,1791)(1567,1686)(1578,1700)(1584,1685)(1591,2018)(1601,2032)
     (1605,1745)(1613,1921)(1620,2002)(1622,2007)(1625,1732)(1629,2053)(1637,
     1912)(1638,1733)(1649,1757)(1655,1942)(1663,2038)(1665,1765)(1666,1729)
     (1671,2017)(1678,1761)(1679,1897)(1690,1890)(1691,1739)(1692,1952)(1694,
     1877)(1698,1727)(1702,2025)(1704,1949)(1711,1978)(1715,1720)(1716,1943)
     (1738,1743)(1753,2028)(1777,1833)(1787,1802)(1789,2011)(1800,1808)(1801,
     1951)(1805,2039)(1822,1954)(1835,1881)(1840,1968)(1841,1998)(1853,1862)
     (1861,1875)(1864,1927)(1866,2021)(1880,1898)(1891,1946)(1899,1982)(1931,
     1990)(1933,1964)(1940,1988)(1947,1972)(1976,2054);


b := (1,502,696,1824,104,1598,1981)(2,1182,1781,1423,1382,1332,1482)(3,1390,
     518,1281,1792,2002,898)(4,34,436,1016,282,173,269)(5,2015,1798,1861,835,
     1022,224)(6,1815,149,2057,1814,689,93)(7,1118,1509,284,55,2019,1492)(8,
     395,914,492,48,1047,393)(9,1677,1130,1988,1083,719,1572)(10,291,2000,
     1727,1601,174,642)(11,1453,621,1319,1511,1129,1067)(12,1711,704,859,1657,
     538,1181)(13,1737,237,1680,557,1816,1361)(14,1432,1302,482,1305,1102,
     1516)(15,681,1692,111,1526,1918,633)(16,1600,1904,53,39,1560,1379)(17,
     339,167,1849,1842,1270,2039)(18,1556,1518,1444,670,1038,1943)(19,1001,
     587,1623,1371,1758,261)(20,651,1413,2007,1275,470,497)(21,532,1797,1188,
     431,778,1907)(22,230,1580,2046,1741,236,405)(23,1171,1754,306,966,1341,
     1159)(24,226,883,774,890,958,1207)(25,1055,1682,410,1293,299,792)(26,
     1099,1065,708,1819,1780,1768)(27,1338,125,992,586,66,1740)(28,1553,91,
     1419,2008,264,887)(29,191,1335,384,1285,1435,1881)(30,1906,92,721,102,
     846,1519)(31,643,1210,112,346,660,1367)(32,698,225,1299,751,1460,1721)
     (33,189,1138,596,803,750,2030)(35,727,672,1404,545,2042,473)(36,717,157,
     379,486,1749,440)(37,1368,968,1935,1729,832,817)(38,697,126,1388,1298,
     1115,542)(40,59,434,1146,1066,1877,1828)(41,1604,1555,1072,685,577,1440)
     (42,1176,1587,1295,228,1801,1494)(43,1662,620,653,1014,874,1169)(44,420,
     1073,1304,1093,1421,1415)(45,363,1785,1147,1050,734,1564)(46,1800,377,
     1962,1386,354,1436)(47,1164,1142,1915,1243,1429,1848)(49,1921,1080,965,
     487,1455,649)(50,231,1945,409,352,2003,1475)(51,2044,1944,1730,1410,1023,
     1879)(52,1841,871,1551,1654,1919,506)(54,528,303,641,1312,1528,953)(56,
     1480,302,980,199,1716,192)(57,394,785,1927,882,1162,912)(58,571,1670,973,
     484,1449,1329)(60,2040,108,1003,1051,504,274)(61,1128,1544,1674,1784,
     1216,217)(62,258,501,136,1123,1483,702)(63,425,1406,1477,978,267,722)(64,
     1110,2018,399,480,820,286)(65,1498,746,1901,1286,724,1485)(67,892,118,
     776,694,1236,1113)(68,1594,172,1620,132,334,1764)(69,215,145,984,166,
     1149,356)(70,1392,2005,360,328,1717,632)(71,468,281,1314,932,873,739)(72,
     2001,1979,923,1966,1874,1546)(73,1651,543,511,329,1300,1955)(74,929,1830,
     276,889,183,1442)(75,106,562,667,263,223,1772)(76,855,1450,971,1950,396,
     761)(77,849,1977,819,84,1165,1889)(78,1947,1543,840,1707,1505,2013)(79,
     1489,475,341,1878,663,860)(80,1961,1074,198,972,176,1127)(81,1144,1131,
     400,1315,1806,691)(82,1255,659,1173,656,1547,1267)(83,1201,646,879,1121,
     1186,1177)(85,888,514,239,1812,826,1058)(86,1088,1175,645,1230,1239,160)
     (87,1833,135,1750,798,1351,986)(88,771,742,1323,669,823,342)(89,1232,836,
     546,1744,1219,248)(90,850,1803,146,983,970,441)(94,1513,2034,1695,1358,
     544,389)(95,2012,1905,1272,1787,1958,1042)(96,1380,446,1484,1724,1005,
     322)(97,757,537,1839,703,1153,293)(98,1347,513,1708,974,130,554)(99,1409,
     2036,1827,611,423,602)(100,265,1076,591,1752,143,2023)(101,861,680,1558,
     494,720,397)(103,1431,316,1642,1071,2024,897)(105,1321,800,1478,1241,254,
     1602)(107,1140,314,1693,1490,1616,376)(109,1660,609,1342,1385,1418,1027)
     (110,705,699,756,181,1922,1671)(113,863,547,1212,1715,385,1463)(114,1454,
     1416,937,764,467,1090)(115,599,153,2037,1220,1339,772)(116,1706,1595,
     1934,1638,1557,298)(117,1297,1590,814,270,748,1769)(119,1373,448,936,687,
     1120,1166)(120,960,1702,1865,1661,2017,1884)(121,1019,725,755,406,1325,
     1540)(122,1583,676,658,1209,1631,595)(123,1568,1183,1290,1802,371,1685)
     (124,1247,1189,1245,945,250,782)(127,1673,1135,367,928,1200,1428)(128,
     1832,1194,1993,1024,1002,1978)(129,999,1688,549,1786,1515,326)(131,1658,
     1049,1514,1006,818,1111)(133,920,184,1354,1575,995,1838)(134,1930,208,
     364,1936,179,796)(137,1825,2049,584,317,1020,865)(138,637,1491,998,1941,
     1264,1818)(139,726,1973,1751,1891,1686,1411)(140,682,947,415,1681,1582,
     952)(141,234,349,1048,462,1664,1765)(142,1139,1032,1565,982,1082,1535)
     (144,1713,1522,1229,428,730,245)(147,1886,1742,617,2043,568,1282)(148,
     505,1548,1615,1972,590,474)(150,412,517,1829,1320,1920,1869)(151,1446,
     1119,893,615,1308,246)(152,177,458,1569,1263,272,1052)(154,1913,1603,997,
     1687,1387,1148)(155,827,381,1646,1506,636,737)(156,485,1537,427,1345,294,
     2033)(158,331,977,550,353,766,2045)(159,1458,1168,536,1310,954,747)(161,
     1037,1313,1469,671,683,257)(162,793,1694,1343,1887,603,1698)(163,287,
     2006,1571,885,1847,509)(164,1331,275,1018,219,868,1588)(165,1914,337,
     2052,344,437,718)(168,1644,895,2047,1269,862,753)(169,1326,876,1424,2041,
     1114,407)(170,1316,1258,1378,1172,1487,305)(171,351,315,1529,1191,1946,
     1928)(175,222,661,1652,1468,606,374)(178,736,454,1967,1372,498,1248)(180,
     1228,530,2009,340,1951,1599)(182,2025,249,1805,1731,1017,1964)(185,1224,
     783,1626,1261,1679,1628)(186,1163,1284,1739,1536,931,451)(187,348,1510,
     1703,1709,1813,1116)(188,433,1026,1725,910,336,866)(190,1854,935,1107,
     1355,1452,1112)(193,197,604,422,946,961,1970)(194,712,1606,1105,1903,
     1152,845)(195,466,673,839,1217,411,1996)(196,401,244,1393,564,1527,1990)
     (200,1124,1639,301,624,1443,1084)(201,867,1545,1895,1971,904,288)(202,
     810,1054,1276,933,731,1060)(203,221,426,1909,1292,780,1370)(204,277,1046,
     1405,1624,1125,1902)(205,1021,1760,1992,1137,323,1586)(206,445,1821,307,
     655,2056,1457)(207,688,956,1619,1430,834,1794)(209,908,1500,1422,1690,
     799,442)(210,375,875,847,638,955,243)(211,1985,1608,869,1467,943,253)
     (212,1211,690,740,1554,1126,273)(213,1734,1939,1912,1178,1012,1607)(214,
     790,1611,1938,886,318,1488)(216,560,350,1796,878,255,1809)(218,877,1984,
     1041,1924,777,1605)(220,512,640,2035,380,805,738)(227,678,816,1496,1349,
     623,775)(229,1156,1145,534,1942,902,1132)(232,1426,449,1771,1294,1456,
     884)(233,308,2014,1963,1352,921,1079)(235,2032,1811,1508,493,567,1278)
     (238,327,662,570,1170,2026,1856)(240,989,2031,1222,490,1402,1307)(241,
     695,1044,1900,1253,378,1636)(242,1960,1277,582,813,996,1350)(247,1756,
     749,489,310,911,903)(251,1397,1103,2054,464,2028,1647)(252,283,309,1208,
     1184,1868,844)(256,438,1322,330,1767,2038,828)(259,1100,1656,516,1013,
     262,940)(260,465,589,1445,1840,460,1998)(266,365,1096,1427,361,1078,614)
     (268,1532,271,1507,526,1425,626)(278,359,675,523,1501,1244,597)(279,525,
     1384,1949,1799,1161,404)(280,1864,843,668,333,648,1150)(285,510,373,558,
     1667,2029,1087)(289,1362,1237,1356,1844,585,2027)(290,1675,555,1389,601,
     1056,711)(292,1533,1360,1793,1635,942,1193)(295,930,1957,2055,1718,1309,
     830)(296,1254,1328,2010,508,1584,1053)(297,1757,1407,1092,500,1473,773)
     (300,1577,1738,1648,1898,815,1249)(304,1523,1617,1567,808,647,854)(311,
     324,679,781,472,527,1289)(312,1479,1691,729,1524,478,1218)(313,1234,629,
     417,1039,421,1383)(319,988,1438,1157,1552,1396,1303)(320,1610,744,788,
     957,758,1634)(321,1850,539,896,476,1983,975)(325,1381,495,1363,519,1000,
     837)(332,864,1659,1704,1732,916,905)(335,787,1101,1009,1202,1908,1911)
     (338,1994,1910,1743,1395,1883,1327)(343,1531,1645,529,804,569,1574)(345,
     1481,1699,802,1517,432,1495)(347,1719,1762,745,1196,1086,728)(355,1179,
     455,1198,593,503,594)(357,987,1061,1502,1835,1185,1441)(358,1206,1989,
     964,1214,572,1205)(362,1592,430,1279,469,2020,829)(366,1011,1643,1280,
     631,461,909)(368,917,926,1401,807,1420,1291)(369,1999,566,1077,565,1837,
     1775)(370,1174,765,976,1040,754,1810)(372,1573,413,853,851,610,388)(382,
     1273,1233,913,1755,1782,521)(383,1525,435,1890,1627,1549,1340)(386,1896,
     1893,1783,1591,794,1497)(387,559,1822,1753,1892,1311,1541)(390,1274,1747,
     1141,767,635,552)(391,1227,812,924,1880,1160,1845)(392,900,419,1474,414,
     1916,786)(398,1167,1414,1774,1499,1882,1034)(402,768,969,1597,1872,925,
     1143)(403,1226,1008,583,561,1064,1070)(408,625,612,838,1043,709,459)(416,
     1933,1265,1663,1578,1668,752)(418,1589,581,1465,1464,575,852)(424,707,
     1633,1197,948,981,1336)(429,452,1923,1629,1666,1412,938)(439,652,959,
     1899,1863,496,1520)(443,1195,471,622,1550,574,1676)(444,1015,1621,1504,
     665,1462,1683)(447,811,710,1059,1256,1559,1010)(450,941,806,1561,608,
     1334,1965)(453,1748,1472,463,1855,951,1470)(456,1246,1885,1860,479,1672,
     714)(457,1085,1714,1447,994,1122,1852)(477,842,553,1808,628,548,1151)
     (481,1007,1035,1843,1403,1817,1953)(483,1931,950,1028,1466,1807,1831)
     (488,1976,1759,857,605,1260,1581)(491,2050,507,1301,1778,578,1542)(499,
     1486,1925,741,716,1736,1613)(515,1133,1417,1324,825,1804,1317)(520,1710,
     715,1400,743,1733,1094)(522,1075,822,1437,664,1337,607)(524,692,1104,
     1593,1846,1538,713)(531,1089,1991,1180,1875,1795,1252)(533,1081,1203,556,
     1576,1622,1213)(535,1625,1726,1296,1098,613,1250)(540,1408,1669,1689,906,
     1566,627)(541,700,2022,944,1353,1033,927)(551,733,1974,894,1745,650,1369)
     (563,576,1956,1766,1451,770,1788)(573,1521,1394,1777,1779,1684,1439)(579,
     1776,723,618,1493,1374,1215)(580,1563,2021,1109,2048,831,1929)(588,784,
     1640,2011,1820,1199,1940)(592,1969,1154,1045,1461,1696,1062)(598,1701,
     1770,1722,833,1063,1231)(600,1851,634,666,1826,1190,1873)(616,1618,1433,
     732,1712,2051,880)(619,1095,963,1240,1221,1980,795)(630,1391,1665,763,
     1653,1790,1238)(639,1612,769,1512,1346,901,1259)(644,1894,1987,2058,759,
     654,1596)(657,1251,872,1650,907,1720,1655)(674,1333,1398,1348,1318,918,
     1357)(677,1223,1937,841,1459,1534,1268)(684,1030,1091,1791,1344,1746,
     1649)(686,791,809,1866,1257,1632,1926)(693,993,991,1539,779,1948,848)
     (701,919,1375,1995,1283,1366,1697)(706,1330,1836,1888,1637,1471,1287)
     (735,1997,1025,1106,1630,1376,1952)(760,899,1503,1705,1968,1068,1823)
     (762,1448,1857,1399,934,1562,1579)(789,1917,801,1134,1187,1678,949)(797,
     858,1723,856,2016,1834,1862)(821,1306,1859,1235,1773,1932,1867)(824,1641,
     1155,1986,985,1982,990)(870,1530,967,1700,1036,1609,1262)(881,1728,1108,
     1789,2053,1377,1858)(891,1029,962,1242,1365,1954,1288)(915,1097,1585,
     1876,1364,1271,1192)(922,1057,1476,2004,1136,1204,1158)(939,1570,1031,
     1870,1117,1434,1761)(979,1069,1614,1975,1897,1004,1853)(1225,1735,1871,
     1359,1266,1763,1959);