b11 := (1,2787)(2,2486)(3,3616)(4,3977)(5,2766)(6,3954)(7,1919)(8,2905)(9,4774)
     (10,1830)(11,5026)(12,1616)(13,4348)(14,4786)(15,4610)(16,264)(17,446)
     (18,2767)(19,5058)(20,1813)(21,4395)(22,3190)(23,5027)(24,1220)(25,3195)
     (26,2542)(27,3740)(28,2103)(29,5666)(30,2838)(31,1152)(32,3891)(33,4962)
     (34,540)(35,1446)(36,1008)(37,3401)(38,3148)(39,5773)(40,5904)(41,2264)
     (42,2265)(43,1718)(44,3370)(45,263)(46,2562)(47,3198)(48,1890)(49,937)
     (50,2543)(51,2934)(52,2935)(53,1057)(54,5994)(55,1140)(56,2839)(57,3903)
     (58,435)(59,732)(60,605)(61,995)(62,3204)(63,894)(64,1219)(65,1447)(66,
     2143)(67,1256)(68,597)(69,1848)(70,3250)(71,950)(72,1529)(73,1053)(74,
     1339)(75,4674)(76,2697)(77,3875)(78,1777)(79,1719)(80,703)(81,1829)(82,
     3890)(83,1821)(84,2774)(85,4028)(86,4029)(87,4405)(88,2299)(89,3402)(90,
     938)(91,3682)(92,613)(93,3938)(94,4975)(95,4125)(96,1058)(97,2112)(98,
     4919)(99,4956)(100,2967)(101,1823)(102,2682)(103,3961)(104,5864)(105,
     6138)(106,3678)(107,3398)(108,1199)(109,2932)(110,2364)(111,1600)(112,
     1726)(113,576)(114,1451)(115,1666)(116,3132)(117,1685)(118,2257)(119,
     2365)(120,1940)(121,967)(122,3910)(123,2857)(124,598)(125,1007)(126,2760)
     (127,828)(128,1350)(129,3805)(130,2895)(131,1990)(132,1143)(133,1144)
     (134,640)(135,4675)(136,696)(137,5512)(138,3953)(139,872)(140,2721)(141,
     2636)(142,434)(143,6043)(144,5909)(145,899)(146,604)(147,2494)(148,1629)
     (149,911)(150,912)(151,3960)(152,2799)(153,3991)(154,5132)(155,4861)(156,
     955)(157,3285)(158,4482)(159,4584)(160,1512)(161,1372)(162,2566)(163,
     1592)(164,3637)(165,4797)(166,3483)(167,3484)(168,4724)(169,5204)(170,
     2185)(171,1690)(172,575)(173,3670)(174,4829)(175,3753)(176,1074)(177,
     1108)(178,4211)(179,2564)(180,895)(181,1394)(182,1763)(183,4411)(184,
     4746)(185,5979)(186,2876)(187,2877)(188,1845)(189,1889)(190,418)(191,
     3551)(192,3552)(193,1508)(194,3413)(195,1727)(196,1092)(197,1739)(198,
     2262)(199,3278)(200,4525)(201,5219)(202,5220)(203,821)(204,1535)(205,
     1478)(206,1269)(207,1750)(208,858)(209,968)(210,5543)(211,5540)(212,2100)
     (213,804)(214,363)(215,472)(216,2752)(217,4108)(218,2393)(219,2447)(220,
     2448)(221,2110)(222,5458)(223,4940)(224,1526)(225,2992)(226,1351)(227,
     4709)(228,4780)(229,293)(230,3807)(231,5605)(232,1970)(233,1804)(234,
     1805)(235,1550)(236,2398)(237,2370)(238,873)(239,2674)(240,3846)(241,
     3799)(242,3677)(243,4380)(244,2668)(245,1169)(246,1852)(247,5829)(248,
     417)(249,1939)(250,1365)(251,653)(252,1630)(253,2345)(254,2346)(255,3784)
     (256,1217)(257,1134)(258,1802)(259,5103)(260,1039)(261,4862)(262,3767)
     (265,3895)(266,3509)(267,3407)(268,5547)(269,2348)(270,1245)(271,893)
     (272,1450)(273,2567)(274,3909)(275,1290)(276,2020)(277,2171)(278,3232)
     (279,5227)(280,6098)(281,5606)(282,2459)(283,4725)(284,1809)(285,5330)
     (286,827)(287,5853)(288,5987)(289,2593)(290,2641)(291,2074)(292,2039)
     (294,386)(295,5624)(296,2111)(297,2263)(298,5705)(299,6103)(300,1109)
     (301,3867)(302,3742)(303,1324)(304,896)(305,517)(306,669)(307,751)(308,
     345)(309,5193)(310,5194)(311,5166)(312,1781)(313,3985)(314,3986)(315,
     4069)(316,908)(317,936)(318,2865)(319,5659)(320,648)(321,595)(322,1301)
     (323,2037)(324,4720)(325,730)(326,2493)(327,5351)(328,3702)(329,2648)
     (330,1532)(331,5907)(332,4682)(333,2667)(334,2342)(335,2798)(336,2178)
     (337,3244)(338,4526)(339,3513)(340,4696)(341,378)(342,578)(343,745)(344,
     2210)(346,521)(347,6114)(348,5390)(349,5128)(350,5129)(351,397)(352,1558)
     (353,1025)(354,4582)(355,4583)(356,3992)(357,2101)(358,1591)(359,1311)
     (360,3636)(361,3745)(362,2106)(364,5173)(365,2726)(366,1424)(367,5025)
     (368,2394)(369,2172)(370,3233)(371,3574)(372,3094)(373,1400)(374,4181)
     (375,4182)(376,4941)(377,1527)(379,4191)(380,3349)(381,5964)(382,5307)
     (383,1456)(384,700)(385,3024)(387,1073)(388,5379)(389,5984)(390,5428)
     (391,4518)(392,4658)(393,5147)(394,2737)(395,3877)(396,2755)(398,591)
     (399,1212)(400,1106)(401,1331)(402,3203)(403,4863)(404,4864)(405,4984)
     (406,2720)(407,4171)(408,845)(409,660)(410,2349)(411,1200)(412,1388)(413,
     3809)(414,3810)(415,2819)(416,4528)(419,5229)(420,5949)(421,4806)(422,
     534)(423,884)(424,654)(425,1142)(426,2308)(427,4110)(428,4953)(429,3319)
     (430,2127)(431,666)(432,2985)(433,1950)(436,2750)(437,5848)(438,2205)
     (441,4200)(442,4697)(443,3862)(444,5082)(445,5083)(447,3748)(448,4458)
     (449,3510)(450,1853)(451,913)(452,5541)(453,2460)(454,2289)(455,1194)
     (456,4994)(457,4995)(458,1596)(459,1597)(460,2261)(461,2968)(462,4831)
     (463,1052)(464,1684)(465,4046)(466,4021)(467,3031)(468,3710)(469,4281)
     (470,4434)(471,5228)(473,3084)(474,3085)(475,1268)(476,2579)(477,3858)
     (478,820)(479,1335)(480,5697)(481,4176)(482,3696)(483,2651)(484,3524)
     (485,1941)(486,6149)(487,3100)(488,4451)(489,1621)(490,2495)(491,5693)
     (492,5929)(493,1021)(494,4730)(495,2969)(496,651)(497,5371)(498,829)(499,
     1061)(500,4708)(501,2104)(502,2105)(503,1999)(504,3001)(505,5990)(506,
     1766)(507,2643)(508,4132)(509,4695)(510,3743)(511,1107)(512,1255)(513,
     779)(514,3331)(515,3023)(516,4218)(518,964)(519,4130)(520,2409)(522,848)
     (523,900)(524,5906)(525,3474)(526,2673)(527,2303)(528,2430)(529,3970)
     (530,2669)(531,3251)(532,4113)(533,3927)(535,4379)(536,2431)(537,1736)
     (538,1911)(539,714)(541,1832)(542,2791)(543,596)(544,2884)(545,2655)(546,
     3055)(547,5230)(548,1236)(549,731)(550,1765)(551,1932)(552,963)(553,5899)
     (554,6034)(555,3703)(556,3412)(557,4062)(558,4063)(559,3221)(560,1035)
     (561,1660)(562,3838)(563,3837)(564,935)(565,1195)(566,693)(569,2151)(570,
     2152)(571,4239)(572,5509)(573,672)(574,3766)(577,3014)(579,2714)(580,
     4744)(581,4987)(582,1812)(583,2764)(584,863)(585,2184)(586,1100)(587,
     3761)(588,3188)(589,4394)(590,5862)(592,761)(593,2406)(594,892)(599,3945)
     (600,2285)(601,3399)(602,2272)(603,791)(606,2053)(607,2170)(608,5886)
     (609,5887)(610,3365)(611,4548)(612,2107)(614,5686)(615,5823)(616,6132)
     (617,686)(618,2988)(619,1595)(620,3508)(621,1808)(622,6077)(623,6078)
     (624,4435)(625,4739)(626,1693)(627,4301)(628,5709)(629,1293)(630,2026)
     (631,4173)(632,3128)(633,2926)(634,5232)(635,1906)(636,1567)(637,2287)
     (638,1981)(639,987)(641,1866)(642,1867)(643,2734)(644,3917)(645,5308)
     (646,4044)(647,4045)(649,3025)(650,2758)(652,5704)(655,5778)(656,4409)
     (657,6111)(658,3806)(659,2691)(661,690)(662,5325)(663,5283)(664,5870)
     (665,930)(667,2722)(668,3941)(670,1912)(671,972)(673,1547)(674,983)(675,
     1582)(676,864)(677,4684)(678,2282)(679,3381)(680,4413)(681,5435)(682,
     4099)(683,1120)(684,1419)(685,3211)(687,1015)(688,2428)(689,2429)(691,
     4119)(692,5198)(694,1378)(695,1888)(697,4960)(698,4779)(699,4529)(701,
     3844)(702,3845)(704,1300)(705,4436)(706,5865)(707,5788)(708,3044)(709,
     3170)(710,1706)(711,1434)(712,1075)(713,3946)(715,5378)(716,5298)(717,
     3641)(718,4449)(719,2684)(720,3197)(721,1797)(722,1531)(723,2128)(724,
     6083)(725,4731)(726,5632)(727,4475)(728,2710)(729,971)(733,3936)(734,
     3481)(735,5727)(736,2177)(737,4521)(738,4993)(739,4897)(740,5559)(742,
     5683)(743,4243)(744,5840)(746,6007)(747,5333)(748,4459)(749,1418)(750,
     914)(752,3045)(753,6086)(754,3974)(755,4722)(756,1160)(757,5648)(758,
     5032)(759,4001)(760,1247)(762,5794)(763,2930)(764,2683)(765,2458)(766,
     3354)(767,1024)(768,1581)(769,3119)(770,4319)(771,5322)(772,5925)(773,
     2586)(774,1019)(775,1634)(776,2309)(777,4226)(778,2209)(780,852)(781,
     5287)(782,5447)(783,3730)(784,5920)(785,4979)(786,4043)(787,5009)(788,
     5452)(789,3850)(790,4292)(792,4051)(793,5661)(794,5662)(795,3859)(796,
     5024)(797,5346)(798,5974)(799,2092)(800,4266)(801,1391)(802,5112)(803,
     5113)(805,2652)(806,4664)(807,2909)(808,1942)(809,5713)(810,861)(811,
     1665)(812,5028)(813,3107)(814,4163)(815,823)(816,3624)(817,2440)(818,
     3562)(819,4754)(822,2970)(824,3348)(825,5372)(826,5963)(830,2782)(831,
     4854)(832,4240)(833,3772)(834,4922)(835,3139)(836,5233)(837,3932)(838,
     5689)(839,2136)(840,2702)(841,4344)(842,4740)(843,2981)(844,881)(846,
     2941)(847,3333)(849,4657)(850,4625)(851,5568)(853,1793)(854,1176)(855,
     2679)(856,3853)(857,5278)(859,5464)(860,5465)(862,1238)(865,2960)(866,
     4156)(867,901)(868,5678)(869,2149)(870,1908)(871,4566)(874,1542)(875,
     4201)(876,4655)(877,2670)(878,1755)(879,4939)(880,4114)(882,1491)(883,
     2207)(885,4066)(886,2625)(887,3185)(888,5275)(889,3617)(890,1737)(891,
     2993)(897,3230)(898,981)(902,2656)(903,4254)(904,5231)(905,6025)(906,
     1403)(907,1198)(909,4810)(910,3183)(915,1226)(916,5037)(917,2410)(918,
     1487)(919,1860)(920,4109)(921,5477)(922,5866)(923,2598)(924,2599)(925,
     3222)(926,3006)(927,3007)(928,2553)(929,3839)(931,4978)(932,1983)(933,
     1125)(934,1786)(939,1779)(940,2718)(942,5245)(943,4166)(944,3208)(945,
     2989)(946,1413)(947,4131)(948,4846)(949,4847)(951,5869)(952,2575)(953,
     2576)(954,4212)(956,2597)(957,1810)(958,1811)(959,4988)(960,4970)(961,
     4971)(962,3951)(965,3762)(966,2290)(969,5420)(970,5406)(973,4492)(974,
     4619)(975,5565)(976,3523)(977,2813)(978,2094)(979,2095)(980,4819)(982,
     1404)(984,2323)(985,4830)(986,1157)(988,2943)(989,4135)(990,3367)(991,
     2852)(992,1420)(993,6008)(994,6124)(996,3074)(997,3709)(998,1258)(999,
     1975)(1000,4499)(1001,4412)(1002,4736)(1003,3016)(1004,4082)(1005,4763)
     (1006,2826)(1009,4142)(1010,1229)(1011,1930)(1012,5772)(1013,6084)(1014,
     6109)(1016,1679)(1017,5183)(1018,3494)(1020,3229)(1022,6081)(1023,6082)
     (1026,6144)(1027,5448)(1028,3563)(1029,3695)(1030,5646)(1031,6091)(1032,
     5347)(1033,5205)(1034,1186)(1036,5126)(1037,5127)(1038,3039)(1040,3129)
     (1041,2927)(1042,3249)(1043,1620)(1044,4557)(1045,2788)(1046,1568)(1047,
     5156)(1048,4341)(1049,5377)(1050,3477)(1051,2008)(1054,5635)(1055,5168)
     (1056,2840)(1059,5039)(1060,5468)(1062,4431)(1063,4357)(1064,4100)(1065,
     4662)(1066,4220)(1067,3741)(1070,1998)(1071,2479)(1072,3610)(1076,2509)
     (1077,2510)(1078,2644)(1079,6097)(1080,1724)(1081,2145)(1082,4702)(1083,
     4703)(1084,1129)(1085,2573)(1086,3718)(1087,3625)(1088,5599)(1089,1254)
     (1090,5383)(1091,3754)(1093,4699)(1094,5054)(1095,2014)(1096,2438)(1097,
     2439)(1098,2765)(1099,1565)(1101,5613)(1102,6122)(1103,5569)(1104,2305)
     (1105,1346)(1110,2583)(1111,3126)(1112,4322)(1113,5991)(1114,5992)(1115,
     4471)(1116,2385)(1117,1481)(1118,5018)(1119,5019)(1121,3614)(1122,1953)
     (1123,2950)(1124,3694)(1126,4338)(1127,2594)(1128,3553)(1130,3926)(1131,
     3843)(1132,3504)(1133,5154)(1135,5760)(1136,1379)(1137,1575)(1138,2391)
     (1139,1227)(1141,5389)(1145,4184)(1146,1831)(1147,1513)(1148,1514)(1149,
     1580)(1150,2436)(1151,4983)(1153,2883)(1154,2815)(1155,4004)(1156,3580)
     (1158,1587)(1159,4432)(1161,5033)(1162,5034)(1163,1707)(1164,2234)(1165,
     3266)(1166,1716)(1167,1875)(1168,2164)(1170,5182)(1171,2108)(1172,3142)
     (1173,5895)(1174,5896)(1175,3642)(1177,1389)(1178,1506)(1179,1722)(1180,
     4493)(1181,1798)(1182,4061)(1183,4551)(1184,2784)(1185,2622)(1187,1756)
     (1188,5442)(1189,5546)(1190,4927)(1191,3870)(1192,4643)(1193,2711)(1196,
     4578)(1197,2809)(1201,5050)(1203,5381)(1204,4317)(1205,2584)(1206,2880)
     (1207,2881)(1208,2574)(1209,1330)(1210,3555)(1215,4244)(1216,5988)(1218,
     2165)(1221,5334)(1222,3795)(1223,1776)(1224,6061)(1225,5159)(1228,2017)
     (1230,4242)(1231,4914)(1232,4508)(1233,2779)(1234,2780)(1235,2959)(1237,
     2139)(1239,1401)(1240,2925)(1241,1971)(1242,4002)(1243,3906)(1244,2216)
     (1246,5980)(1248,5264)(1249,3606)(1250,1395)(1251,3043)(1252,1816)(1253,
     2685)(1257,1997)(1259,4880)(1260,4656)(1261,5589)(1262,6088)(1263,3731)
     (1264,2295)(1265,4421)(1266,5440)(1267,2516)(1270,5682)(1271,6009)(1272,
     3374)(1273,1386)(1274,4519)(1275,3842)(1276,5315)(1277,3070)(1278,4275)
     (1279,5877)(1280,3364)(1281,3076)(1282,2230)(1283,1412)(1284,1946)(1285,
     1537)(1286,1538)(1287,2174)(1288,5340)(1289,4814)(1291,5081)(1292,1320)
     (1294,1864)(1295,2834)(1296,5881)(1297,3355)(1298,4750)(1299,5425)(1302,
     5317)(1303,3125)(1304,2044)(1305,2527)(1306,1842)(1307,1843)(1308,2762)
     (1309,3949)(1310,4691)(1312,2701)(1313,3145)(1314,6029)(1315,5845)(1316,
     2910)(1317,2936)(1318,4844)(1319,4751)(1321,4456)(1322,5463)(1323,4172)
     (1325,5109)(1326,3391)(1327,3106)(1328,1340)(1329,4781)(1332,4729)(1333,
     2996)(1334,2286)(1336,3579)(1337,4646)(1338,5012)(1341,3426)(1342,3257)
     (1343,3840)(1344,5745)(1345,1790)(1347,1762)(1348,4942)(1349,3933)(1352,
     3849)(1353,2258)(1354,2259)(1355,4241)(1356,5091)(1357,5092)(1358,5751)
     (1359,2757)(1360,1872)(1361,3911)(1362,3764)(1363,5312)(1364,5690)(1366,
     4126)(1367,2407)(1368,3261)(1369,5950)(1370,1374)(1371,1375)(1373,1589)
     (1376,1771)(1377,2690)(1380,5225)(1381,1425)(1382,1426)(1383,3093)(1384,
     1661)(1385,5939)(1387,1879)(1390,1644)(1392,4989)(1393,4560)(1396,1962)
     (1397,1966)(1398,2355)(1399,5851)(1402,2921)(1405,5786)(1406,4855)(1407,
     1461)(1408,3521)(1409,5679)(1410,2281)(1411,2483)(1414,5071)(1415,5831)
     (1416,2995)(1417,1601)(1421,1598)(1422,3841)(1423,3210)(1427,4083)(1428,
     4153)(1429,4067)(1430,4068)(1431,5118)(1432,5391)(1433,3282)(1435,2929)
     (1436,2319)(1437,3430)(1438,3771)(1439,3458)(1440,3186)(1441,2125)(1442,
     3169)(1443,2011)(1444,2664)(1445,1749)(1448,4990)(1449,3801)(1452,4778)
     (1455,3231)(1457,4189)(1458,1686)(1459,2045)(1460,1675)(1462,3827)(1463,
     2519)(1464,4497)(1465,4120)(1466,5133)(1467,5867)(1468,5806)(1469,2190)
     (1470,1539)(1471,1887)(1472,2863)(1473,4087)(1474,4088)(1475,3184)(1476,
     6139)(1477,5868)(1479,6142)(1480,6155)(1482,5038)(1483,4342)(1484,2191)
     (1485,5658)(1486,5548)(1488,4536)(1489,5453)(1490,1794)(1492,6030)(1493,
     4776)(1494,3751)(1495,4427)(1496,3075)(1497,4204)(1498,5983)(1499,3173)
     (1500,3567)(1501,4154)(1502,3978)(1503,5476)(1504,6042)(1505,5337)(1507,
     2727)(1509,3796)(1510,4893)(1511,5201)(1515,3899)(1516,2377)(1517,4165)
     (1518,4572)(1519,3388)(1520,4415)(1521,3856)(1522,2990)(1523,3335)(1524,
     4524)(1525,4103)(1528,5711)(1530,5854)(1533,4164)(1534,2879)(1536,5770)
     (1540,2763)(1541,5793)(1543,2421)(1544,3322)(1545,5784)(1546,5065)(1548,
     2071)(1549,2072)(1551,6085)(1552,4913)(1553,3973)(1554,5063)(1555,3342)
     (1556,1773)(1557,2712)(1559,6004)(1560,5558)(1561,5407)(1562,4408)(1563,
     5995)(1564,5945)(1566,2425)(1569,5860)(1570,5167)(1571,4443)(1572,4686)
     (1573,1938)(1574,2250)(1576,3675)(1577,4438)(1578,4115)(1579,4116)(1583,
     2324)(1584,3118)(1585,5139)(1586,5140)(1588,5321)(1590,2144)(1593,4787)
     (1594,4549)(1599,5723)(1602,2088)(1603,3120)(1604,5914)(1605,5514)(1606,
     2973)(1607,4796)(1608,5093)(1609,4737)(1610,3729)(1611,5639)(1612,4263)
     (1613,4404)(1614,3571)(1615,2846)(1617,5095)(1618,2362)(1619,2116)(1622,
     2920)(1623,5835)(1624,5825)(1625,5226)(1626,5369)(1627,3836)(1628,5608)
     (1631,1964)(1632,2961)(1633,1922)(1635,1740)(1636,4300)(1637,3479)(1638,
     3480)(1639,3952)(1640,2253)(1641,5595)(1642,2696)(1643,5902)(1645,5817)
     (1646,5304)(1647,5996)(1648,4920)(1649,6110)(1650,5756)(1651,3255)(1652,
     3937)(1653,5707)(1654,5710)(1655,4591)(1656,3350)(1657,4533)(1658,4081)
     (1659,2367)(1662,2159)(1663,5555)(1664,4235)(1667,4092)(1668,4118)(1669,
     2080)(1670,3242)(1671,3243)(1672,5919)(1673,5373)(1674,5982)(1676,4883)
     (1677,4884)(1678,1818)(1680,4716)(1681,1769)(1682,2357)(1683,2009)(1687,
     4035)(1688,2611)(1689,2382)(1691,5288)(1692,5466)(1694,5833)(1695,5834)
     (1696,4907)(1697,3283)(1698,4358)(1699,5186)(1700,4229)(1701,4791)(1702,
     3134)(1703,3500)(1704,2754)(1705,3534)(1709,3329)(1710,1803)(1711,3017)
     (1712,2314)(1713,4770)(1714,2997)(1715,2413)(1717,3791)(1720,4343)(1721,
     4771)(1723,1865)(1725,1792)(1728,5618)(1729,3332)(1730,4876)(1731,5892)
     (1732,5074)(1733,4531)(1734,3271)(1735,1767)(1738,3755)(1741,2518)(1742,
     5645)(1743,2678)(1744,5651)(1745,4356)(1746,4811)(1747,4812)(1748,3561)
     (1751,1884)(1752,5115)(1753,3683)(1754,4835)(1757,3864)(1758,4833)(1759,
     4053)(1760,5614)(1761,5557)(1764,2663)(1768,2661)(1770,4323)(1772,2933)
     (1774,4472)(1775,3384)(1778,1894)(1780,3434)(1782,3005)(1783,2231)(1784,
     4145)(1785,4853)(1787,5492)(1788,1856)(1789,1857)(1791,4721)(1795,4185)
     (1796,2454)(1799,3505)(1800,4535)(1801,4792)(1806,2153)(1807,5408)(1814,
     1992)(1815,3760)(1817,2029)(1819,4374)(1820,4375)(1822,2452)(1824,4899)
     (1825,5445)(1826,2352)(1827,3256)(1828,5718)(1833,2336)(1834,2337)(1835,
     4504)(1836,4448)(1837,3871)(1838,3872)(1839,2446)(1840,5363)(1841,5364)
     (1844,2620)(1846,3318)(1847,3649)(1849,2631)(1850,6014)(1851,6015)(1854,
     3102)(1855,4308)(1858,3773)(1859,4010)(1861,5698)(1862,4270)(1863,2168)
     (1868,2744)(1869,3527)(1870,1943)(1871,3018)(1873,6064)(1874,5748)(1876,
     4653)(1877,5585)(1878,4868)(1880,5137)(1881,5630)(1882,5582)(1883,2843)
     (1885,1969)(1886,2966)(1891,3525)(1892,4689)(1893,5747)(1895,2915)(1896,
     4102)(1897,5382)(1898,5758)(1899,5158)(1900,3541)(1901,5324)(1902,5603)
     (1903,4072)(1904,4465)(1905,5469)(1907,3556)(1910,3892)(1913,4315)(1915,
     5305)(1916,5989)(1917,4673)(1918,3224)(1920,5010)(1921,2596)(1923,2514)
     (1924,5805)(1925,6107)(1926,3457)(1927,6127)(1928,5966)(1929,2728)(1931,
     5302)(1933,5954)(1934,5878)(1935,2746)(1936,3648)(1937,2814)(1944,2845)
     (1945,2186)(1947,2010)(1948,1972)(1949,3969)(1951,5837)(1952,4546)(1954,
     4491)(1955,5981)(1956,3435)(1957,5120)(1958,5857)(1959,2496)(1960,3626)
     (1961,3607)(1963,4581)(1965,2626)(1967,3658)(1968,2013)(1973,4353)(1974,
     4208)(1976,4881)(1977,5633)(1978,2482)(1979,5634)(1980,5248)(1982,4889)
     (1984,5553)(1985,4362)(1986,6016)(1987,2851)(1988,3389)(1989,4569)(1991,
     3351)(1993,5905)(1994,2162)(1995,3777)(1996,4520)(2000,5316)(2001,4609)
     (2002,3931)(2003,5047)(2004,2688)(2005,4638)(2006,3015)(2007,5119)(2012,
     2249)(2015,4141)(2016,3707)(2018,4049)(2019,4050)(2021,4955)(2022,4991)
     (2023,5482)(2024,5529)(2025,3980)(2027,4026)(2028,5882)(2030,5374)(2031,
     5936)(2032,4783)(2033,4894)(2034,5733)(2035,6154)(2036,6071)(2038,5318)
     (2040,4326)(2041,5873)(2042,5725)(2043,4809)(2046,2275)(2047,2807)(2048,
     3207)(2049,3127)(2050,5062)(2051,2937)(2052,2441)(2054,5300)(2055,3878)
     (2056,4755)(2057,3576)(2058,4047)(2059,2824)(2060,2825)(2061,5846)(2062,
     4098)(2063,5594)(2064,2326)(2065,4821)(2066,3922)(2067,3811)(2068,5574)
     (2069,4948)(2070,5454)(2073,4677)(2075,2759)(2076,2528)(2077,4074)(2078,
     4219)(2079,2869)(2081,2499)(2082,5169)(2083,5236)(2084,2274)(2085,3368)
     (2086,4752)(2087,4065)(2089,3141)(2090,2855)(2091,2856)(2093,2368)(2096,
     4607)(2097,4428)(2098,5587)(2099,4867)(2102,4360)(2109,3934)(2113,3444)
     (2114,2769)(2115,3957)(2117,2492)(2118,5301)(2119,3492)(2120,5479)(2121,
     5480)(2122,5843)(2123,5341)(2124,4715)(2129,2221)(2130,2660)(2131,3765)
     (2132,2478)(2133,3432)(2134,3433)(2135,5955)(2137,5762)(2138,6005)(2140,
     3262)(2141,3750)(2142,2148)(2146,4287)(2147,5336)(2150,5912)(2154,6018)
     (2155,6056)(2156,2223)(2157,2255)(2158,2256)(2160,5940)(2161,2437)(2163,
     6113)(2166,2619)(2167,3780)(2169,4486)(2173,5141)(2175,2792)(2176,4009)
     (2179,4576)(2180,5545)(2181,2823)(2182,4788)(2183,6049)(2187,5767)(2188,
     4022)(2189,2490)(2192,2733)(2193,6128)(2194,6044)(2195,4856)(2196,2278)
     (2197,6065)(2198,5164)(2199,5470)(2200,2582)(2201,2484)(2202,2485)(2203,
     4335)(2204,4336)(2206,5498)(2208,4455)(2211,4803)(2212,5354)(2213,5976)
     (2214,2292)(2215,2293)(2217,5044)(2218,4036)(2219,3421)(2220,4018)(2222,
     3175)(2224,4084)(2225,4530)(2226,4268)(2227,4269)(2228,3091)(2229,4297)
     (2232,5392)(2233,4478)(2235,4012)(2236,3944)(2237,2246)(2238,4031)(2239,
     4032)(2240,4614)(2241,4908)(2242,3150)(2243,3459)(2244,4391)(2245,5426)
     (2247,3323)(2248,4373)(2251,2867)(2252,4106)(2254,2525)(2260,2873)(2266,
     5003)(2267,4815)(2269,4433)(2270,2945)(2271,4138)(2273,3591)(2276,2334)
     (2277,3440)(2279,3038)(2280,4634)(2283,4885)(2284,2400)(2288,3258)(2291,
     4667)(2294,4059)(2296,5171)(2297,4390)(2298,5444)(2300,5898)(2301,5841)
     (2302,6057)(2304,4850)(2306,5195)(2307,4005)(2310,3666)(2311,3667)(2312,
     3628)(2313,3629)(2315,2627)(2316,5266)(2317,3298)(2318,2747)(2320,4903)
     (2321,3490)(2322,5629)(2325,3546)(2327,4351)(2328,5386)(2329,3174)(2330,
     4424)(2331,3487)(2332,4659)(2333,4155)(2335,2693)(2338,3466)(2339,3467)
     (2340,3687)(2341,3746)(2343,4355)(2344,3155)(2347,5254)(2350,5802)(2351,
     5674)(2353,5023)(2356,4573)(2358,3287)(2359,2886)(2360,6130)(2361,6121)
     (2363,2451)(2366,2388)(2369,6106)(2372,5839)(2373,5144)(2374,5918)(2375,
     2796)(2376,2797)(2378,3793)(2379,3794)(2380,2889)(2381,4075)(2383,2592)
     (2384,3950)(2386,6045)(2387,6105)(2389,3473)(2390,5768)(2392,5395)(2395,
     3851)(2396,3852)(2397,2803)(2399,4992)(2401,5744)(2402,3000)(2403,3343)
     (2404,2457)(2405,3584)(2408,5814)(2411,4944)(2412,2924)(2414,2630)(2415,
     2919)(2416,4107)(2417,4798)(2418,4314)(2419,3416)(2420,3417)(2422,3216)
     (2423,3975)(2424,4711)(2426,4149)(2427,5263)(2434,2675)(2435,5780)(2442,
     3595)(2443,5819)(2444,4505)(2445,4396)(2449,3768)(2450,4916)(2453,2775)
     (2455,3213)(2456,4122)(2461,4808)(2462,5861)(2463,4629)(2464,5481)(2465,
     3897)(2466,3452)(2467,5002)(2468,5797)(2469,5515)(2470,5446)(2471,4553)
     (2472,3901)(2473,5518)(2474,5636)(2475,2917)(2476,2972)(2477,3286)(2480,
     4264)(2481,5427)(2487,2908)(2491,2561)(2497,3653)(2498,3302)(2500,4517)
     (2501,3549)(2502,3967)(2503,3728)(2504,2559)(2505,2638)(2506,3802)(2507,
     5152)(2508,5875)(2511,5293)(2512,5943)(2513,4157)(2515,4982)(2517,4909)
     (2520,5223)(2521,3543)(2522,3857)(2523,3415)(2524,4598)(2526,4095)(2529,
     3012)(2530,4950)(2531,2831)(2532,4307)(2533,4579)(2534,6126)(2535,2761)
     (2536,4726)(2537,2962)(2538,5930)(2539,4921)(2540,3215)(2541,4376)(2544,
     3248)(2545,5708)(2546,3689)(2547,4289)(2548,5483)(2549,5791)(2550,5792)
     (2551,4858)(2552,5513)(2554,4843)(2555,3300)(2556,3301)(2557,3217)(2558,
     4023)(2560,5294)(2563,4093)(2565,5196)(2568,4296)(2569,4447)(2570,2951)
     (2571,2952)(2572,6150)(2577,5415)(2578,5292)(2580,4717)(2581,3993)(2585,
     5251)(2587,4645)(2588,5847)(2589,5921)(2590,4034)(2591,5136)(2595,5252)
     (2600,5924)(2601,4494)(2602,5489)(2603,3284)(2604,2633)(2605,2677)(2606,
     5901)(2607,3133)(2608,5145)(2609,4178)(2610,3034)(2612,5903)(2613,4735)
     (2614,3410)(2615,4078)(2616,5041)(2617,3535)(2618,2676)(2623,5497)(2624,
     5329)(2628,5655)(2629,4147)(2632,5609)(2634,3759)(2635,5206)(2637,4236)
     (2639,5538)(2640,5539)(2642,2836)(2645,3004)(2646,5681)(2647,5855)(2649,
     6080)(2650,4453)(2653,5722)(2654,4150)(2657,5075)(2658,5131)(2659,5863)
     (2662,3265)(2665,2829)(2666,3373)(2671,6090)(2672,3069)(2680,4532)(2681,
     4728)(2686,5280)(2687,5703)(2689,3009)(2692,5647)(2694,5352)(2695,5353)
     (2698,5785)(2699,3396)(2700,3655)(2703,3472)(2704,2942)(2705,4133)(2706,
     3159)(2707,3984)(2708,4651)(2709,4213)(2713,3959)(2715,3962)(2716,5719)
     (2717,5649)(2719,3088)(2723,3315)(2724,5222)(2725,4430)(2729,4633)(2730,
     5575)(2731,4670)(2732,5601)(2735,5200)(2736,5239)(2738,4011)(2739,3528)
     (2740,4693)(2741,4597)(2742,3453)(2743,3454)(2745,3603)(2748,4825)(2749,
     4826)(2751,5399)(2753,3166)(2756,3209)(2768,4943)(2770,3854)(2771,6019)
     (2772,6074)(2773,4479)(2777,2949)(2778,4143)(2781,3456)(2783,4188)(2785,
     5290)(2786,5668)(2789,3630)(2790,4789)(2793,3238)(2794,4216)(2795,4253)
     (2800,5004)(2801,3570)(2802,4030)(2804,5237)(2805,5691)(2806,4259)(2808,
     3781)(2810,4064)(2811,3779)(2812,5586)(2816,5891)(2817,4765)(2818,5653)
     (2820,5915)(2821,5499)(2822,3930)(2830,3834)(2832,3228)(2833,5070)(2835,
     4615)(2837,3317)(2841,3929)(2842,4775)(2844,2860)(2847,3672)(2848,3378)
     (2849,5749)(2850,5375)(2853,3101)(2854,3566)(2858,6035)(2859,5475)(2861,
     5874)(2864,3393)(2866,3736)(2868,3341)(2870,3105)(2871,3722)(2872,5871)
     (2874,3010)(2875,4209)(2878,5189)(2882,3542)(2885,5604)(2887,4359)(2888,
     3449)(2890,3334)(2891,4370)(2892,3026)(2893,3027)(2896,3886)(2897,5016)
     (2898,4316)(2900,6055)(2901,5531)(2902,5457)(2903,3310)(2906,4949)(2907,
     5011)(2911,3646)(2912,4966)(2913,5413)(2914,6156)(2916,4206)(2918,4832)
     (2922,5494)(2923,3705)(2928,5879)(2931,4079)(2938,3072)(2939,4041)(2940,
     3252)(2944,3200)(2946,5398)(2947,5335)(2948,5968)(2953,3424)(2954,3090)
     (2955,6073)(2956,4600)(2957,4121)(2958,3152)(2963,4000)(2964,4437)(2965,
     3491)(2971,4734)(2974,4879)(2975,5810)(2976,3295)(2977,3112)(2978,5638)
     (2979,4817)(2980,5249)(2982,6038)(2983,5059)(2984,4898)(2986,4363)(2987,
     5490)(2991,5105)(2994,4747)(2998,4516)(2999,5913)(3002,5956)(3003,4795)
     (3008,4139)(3011,4741)(3013,3668)(3019,5210)(3020,5211)(3021,3338)(3022,
     3983)(3028,4574)(3029,4575)(3030,4767)(3032,5644)(3033,5800)(3035,3769)
     (3036,5917)(3037,5813)(3040,3835)(3041,5313)(3042,5621)(3046,3064)(3047,
     4265)(3048,4784)(3049,5339)(3050,5970)(3051,5998)(3052,3659)(3053,3660)
     (3054,6072)(3056,4039)(3057,4635)(3058,5370)(3059,5443)(3060,6020)(3061,
     5214)(3062,3321)(3063,4506)(3065,4460)(3066,3706)(3067,3369)(3068,3996)
     (3071,5303)(3073,3671)(3077,5008)(3078,3254)(3079,5830)(3080,5926)(3081,
     5432)(3082,3808)(3083,4048)(3086,4014)(3087,3408)(3089,3375)(3092,3812)
     (3095,3940)(3096,5053)(3097,4169)(3098,5242)(3099,5486)(3103,5663)(3104,
     5652)(3108,5975)(3109,5161)(3110,5170)(3111,4329)(3113,4174)(3114,4476)
     (3115,4477)(3116,4753)(3117,4915)(3121,4640)(3122,3382)(3123,4564)(3124,
     3979)(3130,4429)(3131,5888)(3135,3883)(3136,5013)(3137,4381)(3138,5414)
     (3140,3725)(3143,4604)(3144,5048)(3146,3865)(3147,3866)(3149,3757)(3151,
     3328)(3153,4152)(3154,4060)(3156,3622)(3157,5948)(3158,4228)(3160,6101)
     (3161,5615)(3162,5549)(3163,6104)(3164,3499)(3165,3690)(3167,5712)(3168,
     5790)(3171,6125)(3172,6053)(3176,5052)(3177,3274)(3178,4470)(3179,4224)
     (3180,5284)(3181,5673)(3182,6096)(3187,4946)(3189,3569)(3191,4392)(3192,
     5260)(3193,3202)(3194,3669)(3196,3611)(3199,4701)(3201,5640)(3205,5394)
     (3206,5993)(3212,6002)(3214,5257)(3218,3347)(3219,5959)(3220,5533)(3223,
     4350)(3225,4761)(3226,4762)(3227,4926)(3234,4442)(3235,4679)(3236,3442)
     (3237,4626)(3239,4637)(3240,3848)(3241,4985)(3245,5567)(3246,3383)(3247,
     5279)(3253,3863)(3259,4694)(3260,3916)(3263,5365)(3264,3311)(3267,5400)
     (3268,5401)(3269,3469)(3270,3879)(3272,4386)(3273,4802)(3275,4340)(3276,
     4969)(3277,3612)(3279,4685)(3280,5729)(3281,5724)(3288,3462)(3289,5285)
     (3290,3627)(3291,6115)(3292,4250)(3293,4251)(3294,4328)(3296,4273)(3297,
     4274)(3299,4019)(3303,4498)(3304,5036)(3305,3409)(3306,4681)(3307,5535)
     (3308,6135)(3309,5556)(3312,4462)(3313,4488)(3314,4723)(3316,5931)(3320,
     4403)(3324,3908)(3325,5564)(3326,3485)(3327,3486)(3330,5417)(3336,3596)
     (3337,4422)(3339,3824)(3340,3825)(3344,3520)(3345,3884)(3346,3885)(3352,
     5631)(3353,6048)(3356,5753)(3357,4452)(3358,5459)(3359,4369)(3360,5402)
     (3361,4816)(3363,3651)(3366,5217)(3371,4924)(3372,5560)(3376,4295)(3377,
     3723)(3379,3665)(3380,4827)(3385,4252)(3386,5358)(3387,5359)(3390,4648)
     (3392,4632)(3394,5116)(3395,5117)(3397,5153)(3400,3881)(3403,6022)(3404,
     5799)(3405,4552)(3406,5150)(3411,4006)(3414,5821)(3418,4828)(3419,5750)
     (3420,4901)(3422,6119)(3423,6120)(3425,3601)(3427,5720)(3428,4310)(3429,
     5328)(3431,4605)(3436,4352)(3437,3482)(3438,5592)(3439,5234)(3441,4986)
     (3443,3758)(3445,3688)(3446,3747)(3447,5314)(3448,5387)(3450,4680)(3451,
     3582)(3455,5694)(3460,5542)(3461,5757)(3463,5323)(3464,5268)(3465,3604)
     (3468,5826)(3470,3578)(3471,4466)(3475,4620)(3476,4621)(3478,5610)(3488,
     3502)(3489,4042)(3493,5064)(3495,5202)(3496,3997)(3497,5096)(3498,5804)
     (3501,5177)(3503,5769)(3506,4496)(3507,5554)(3511,4194)(3512,3994)(3514,
     5953)(3515,6094)(3516,5752)(3517,5255)(3518,5544)(3519,5969)(3522,4749)
     (3526,4958)(3529,5671)(3530,4234)(3531,4945)(3532,5078)(3533,5675)(3536,
     3790)(3537,6093)(3538,5289)(3539,5191)(3540,4799)(3544,4834)(3545,4712)
     (3547,4522)(3548,3778)(3550,3632)(3554,4318)(3558,4416)(3559,4177)(3560,
     5221)(3564,5396)(3565,5001)(3568,4202)(3572,5187)(3573,5571)(3575,3686)
     (3577,5511)(3581,6148)(3583,4683)(3585,4398)(3586,5422)(3587,5844)(3588,
     4123)(3589,5527)(3590,4630)(3592,5165)(3593,3684)(3594,5977)(3597,5455)
     (3598,3855)(3599,3902)(3600,5519)(3602,4402)(3605,4642)(3608,5941)(3609,
     5942)(3613,4555)(3615,6036)(3618,4608)(3620,4450)(3621,5456)(3623,4347)
     (3631,4954)(3633,3928)(3634,3661)(3635,4882)(3638,4965)(3639,4848)(3640,
     5680)(3643,5883)(3644,3831)(3645,4748)(3647,6076)(3650,3739)(3652,4547)
     (3654,6131)(3656,5100)(3657,5199)(3662,4793)(3663,5099)(3664,5836)(3673,
     4279)(3674,3785)(3676,6117)(3679,4377)(3680,5742)(3681,6037)(3685,5893)
     (3691,3966)(3692,5107)(3693,4661)(3697,6100)(3698,6059)(3699,4495)(3700,
     5573)(3701,4947)(3704,5944)(3708,4073)(3711,3995)(3712,5108)(3713,4928)
     (3714,4623)(3715,4146)(3716,6151)(3717,4162)(3719,5732)(3720,5419)(3721,
     3786)(3724,4559)(3726,5625)(3727,4207)(3732,4606)(3733,6123)(3734,6152)
     (3735,4446)(3737,4727)(3738,5590)(3744,5066)(3749,3800)(3752,4929)(3756,
     6031)(3763,5588)(3770,5000)(3774,4097)(3775,5089)(3776,5042)(3787,4195)
     (3788,6092)(3789,5142)(3792,4934)(3797,4910)(3798,5908)(3803,5496)(3804,
     5500)(3813,4192)(3814,5259)(3815,5856)(3816,5999)(3817,6032)(3818,4542)
     (3819,4668)(3820,4298)(3821,5138)(3822,6023)(3823,6017)(3826,5952)(3828,
     5779)(3829,4058)(3830,6137)(3832,4805)(3833,6147)(3847,4818)(3860,4090)
     (3861,5174)(3868,4193)(3869,5766)(3873,3918)(3874,4523)(3876,5272)(3880,
     4467)(3882,4507)(3887,4666)(3888,5911)(3889,4957)(3893,5967)(3894,4837)
     (3896,5798)(3898,5650)(3900,4305)(3904,3998)(3905,4502)(3907,5916)(3912,
     5162)(3913,4866)(3914,5433)(3915,5434)(3919,5736)(3920,5660)(3921,5240)
     (3923,4111)(3924,4951)(3925,5612)(3935,4337)(3939,4020)(3942,5056)(3943,
     4417)(3947,5384)(3948,4249)(3955,5157)(3956,4890)(3958,5685)(3963,6024)
     (3964,4996)(3965,4997)(3968,5246)(3971,6129)(3972,6108)(3976,4231)(3981,
     5737)(3982,5738)(3987,4444)(3988,4445)(3989,5759)(3990,5838)(3999,6116)
     (4003,4678)(4007,6010)(4008,5181)(4013,4096)(4015,4706)(4016,4707)(4024,
     4418)(4025,4419)(4027,5286)(4033,4334)(4037,4509)(4038,4820)(4040,4128)
     (4052,5849)(4054,4071)(4055,4738)(4056,5637)(4057,5130)(4076,5424)(4077,
     4371)(4080,4223)(4085,5362)(4089,4540)(4091,4565)(4101,5244)(4104,4719)
     (4105,5628)(4112,4217)(4117,5552)(4124,5439)(4127,4650)(4129,4278)(4134,
     4599)(4136,4365)(4137,5397)(4140,4205)(4144,5654)(4148,5620)(4151,5734)
     (4161,4304)(4167,4527)(4168,5261)(4170,4303)(4175,5273)(4179,4616)(4180,
     4617)(4183,4772)(4186,4886)(4187,5491)(4190,5106)(4196,5262)(4197,5532)
     (4198,4225)(4199,4905)(4203,4732)(4210,5423)(4214,4692)(4215,5510)(4221,
     4594)(4222,5357)(4227,5410)(4230,4918)(4232,5088)(4233,4489)(4237,5505)
     (4238,5178)(4245,6112)(4246,5938)(4247,5572)(4248,6052)(4255,5947)(4256,
     4801)(4257,4636)(4258,5299)(4262,5215)(4267,4977)(4271,5110)(4272,4306)
     (4276,4872)(4277,4669)(4280,5619)(4282,5827)(4283,6134)(4284,5775)(4285,
     4290)(4286,4291)(4288,5146)(4293,4592)(4294,5282)(4299,4900)(4302,5824)
     (4309,4891)(4311,5238)(4312,4937)(4313,4938)(4320,5350)(4321,5579)(4324,
     5536)(4325,4611)(4327,5030)(4330,5281)(4331,5098)(4332,6026)(4333,6012)
     (4339,5017)(4345,5822)(4346,5706)(4349,5522)(4354,4534)(4361,5735)(4364,
     4562)(4366,4705)(4367,5923)(4368,5073)(4372,5876)(4378,5910)(4382,4474)
     (4383,5474)(4384,5937)(4385,5014)(4387,5593)(4388,4511)(4389,4512)(4393,
     5777)(4397,4758)(4399,5462)(4400,6000)(4401,6070)(4406,5049)(4407,5761)
     (4410,4760)(4414,5932)(4420,5367)(4423,5031)(4425,5450)(4426,4824)(4439,
     4973)(4440,4974)(4441,5269)(4454,4561)(4457,4641)(4461,4733)(4463,5203)
     (4464,5180)(4468,5642)(4469,6089)(4473,5781)(4480,5006)(4481,5007)(4483,
     4571)(4484,4998)(4485,4999)(4487,5731)(4490,5291)(4500,4823)(4501,5692)
     (4503,5484)(4510,5114)(4513,6051)(4514,5962)(4515,6003)(4537,5741)(4538,
     5934)(4539,5717)(4541,5172)(4543,5687)(4550,5643)(4554,5274)(4556,5561)
     (4558,5344)(4563,5695)(4567,5069)(4568,5338)(4570,5809)(4577,5015)(4580,
     5755)(4585,4764)(4586,5900)(4587,5151)(4588,5267)(4589,4963)(4590,4964)
     (4593,4923)(4596,5393)(4601,5696)(4602,6039)(4603,5327)(4612,5368)(4613,
     5965)(4618,4665)(4622,4840)(4624,5051)(4627,4845)(4631,5388)(4639,5076)
     (4644,5057)(4647,4782)(4649,5566)(4652,4912)(4654,6068)(4660,4700)(4663,
     5828)(4671,5247)(4672,5811)(4676,5097)(4687,4888)(4688,4768)(4690,4959)
     (4698,5676)(4704,5702)(4710,6033)(4713,4972)(4714,5256)(4718,4790)(4745,
     5803)(4756,5927)(4757,5928)(4759,5526)(4766,5581)(4769,5607)(4773,5250)
     (4785,5104)(4794,5224)(4800,4849)(4804,5884)(4807,5121)(4813,5029)(4822,
     5667)(4836,5502)(4838,5020)(4839,5656)(4841,5361)(4842,5774)(4851,5730)
     (4852,6063)(4857,6060)(4859,5591)(4860,6028)(4865,4932)(4869,5684)(4870,
     4877)(4871,4892)(4873,5850)(4874,6050)(4875,5763)(4878,5207)(4887,4961)
     (4895,5421)(4896,5801)(4902,6102)(4904,4930)(4906,5832)(4911,5978)(4917,
     5451)(4925,5504)(4933,5418)(4935,5449)(4936,5672)(4952,5501)(4967,5355)
     (4968,5460)(4976,5102)(4980,5812)(4981,5623)(5005,5507)(5021,5212)(5022,
     5669)(5035,5880)(5040,6145)(5043,5523)(5045,5885)(5046,5124)(5055,5243)
     (5060,5209)(5061,5493)(5067,5922)(5068,6143)(5072,5765)(5077,5578)(5079,
     6046)(5080,5320)(5084,5754)(5085,5617)(5086,5960)(5087,5360)(5090,5580)
     (5094,5715)(5101,5135)(5111,5155)(5122,5577)(5125,5160)(5134,5626)(5143,
     5563)(5148,5746)(5149,6062)(5163,5216)(5175,5795)(5179,5297)(5184,5471)
     (5185,5472)(5188,6001)(5190,5946)(5192,5816)(5197,5985)(5208,5726)(5213,
     5345)(5218,6141)(5253,5616)(5258,5714)(5265,5740)(5270,5570)(5271,5467)
     (5276,5306)(5277,5597)(5295,5796)(5296,5664)(5309,5815)(5310,5503)(5311,
     5521)(5326,5852)(5331,5356)(5332,5776)(5342,5520)(5343,5935)(5348,6133)
     (5349,6006)(5366,5600)(5376,5699)(5380,6047)(5385,5602)(5404,5807)(5405,
     5461)(5409,5506)(5411,5437)(5416,5598)(5431,6095)(5436,5933)(5441,5951)
     (5473,6153)(5478,5957)(5485,5495)(5487,6066)(5488,5627)(5508,6021)(5516,
     5890)(5517,6099)(5524,5961)(5525,5657)(5528,5973)(5530,5665)(5534,5551)
     (5550,5596)(5562,5716)(5583,6054)(5584,5743)(5611,5622)(5670,5808)(5677,
     6079)(5688,5897)(5700,5958)(5701,5986)(5721,5764)(5728,5859)(5739,5783)
     (5771,6069)(5782,6027)(5787,6058)(5789,5820)(5818,6146)(5842,6075)(5858,
     6040)(5872,6140)(5889,6067)(6041,6136);