ETC Cross Conjugates.

Last update: 2012/02/09.

4965 points sampled.
The appearance of {j, k} after a triangle centre X(n) means that X(n) is the X(j)-Cross Conjugate of X(k).

 Centre  Cross Conjugates
X(1){2,87},{3,90},{4,3362},{6,57},{8,979},{11,3737},{19,2184},{21,1247},{29,1248},{31,19},{33,282},{34,3345},{35,3467},{36,3065},{37,2},{38,75},{42,6},{44,88},{48,63},{54,3461},{55,9},{56,84},{57,3062},{58,267},{64,3347},{65,4},{71,1751},{73,3},{75,3223},{172,3497},{192,43},{202,3179},{204,610},{207,1490},{221,40},{238,1929},{239,2665},{240,1956},{243,2656},{244,513},{245,2614},{255,921},{259,258},{266,505},{292,2111},{354,7},{367,366},{500,35},{501,191},{512,1018},{513,100},{517,80},{518,291},{523,4551},{560,2156},{563,1748},{612,2297},{614,269},{647,1020},{649,190},{650,651},{652,653},{654,655},{656,162},{657,658},{659,660},{661,662},{663,101},{672,673},{678,44},{758,4674},{770,771},{774,158},{798,799},{810,163},{820,255},{822,823},{836,394},{869,2279},{872,2350},{896,897},{902,2161},{922,2157},{942,79},{982,3551},{995,2163},{1015,1019},{1042,64},{1064,3422},{1094,3384},{1095,3375},{1100,81},{1104,28},{1107,274},{1108,278},{1109,2616},{1148,1745},{1149,106},{1155,1156},{1193,58},{1201,56},{1212,277},{1279,105},{1284,98},{1319,104},{1386,985},{1419,165},{1455,1295},{1456,972},{1457,102},{1458,103},{1459,109},{1464,74},{1491,1492},{1635,3257},{1697,4866},{1725,2166},{1755,1821},{1769,2222},{1870,3466},{1914,3512},{1936,2648},{1953,92},{1959,1581},{1962,37},{1964,31},{2087,1022},{2098,3680},{2099,3577},{2170,514},{2171,2051},{2173,2349},{2260,27},{2262,189},{2268,2339},{2269,333},{2275,3500},{2292,10},{2293,55},{2294,226},{2295,83},{2308,2160},{2309,893},{2310,650},{2331,223},{2446,3307},{2447,3308},{2578,2580},{2579,2581},{2584,1822},{2585,1823},{2594,54},{2599,5},{2605,110},{2611,523},{2618,2617},{2632,656},{2633,2629},{2638,652},{2639,2636},{2643,661},{2644,2640},{2646,21},{2650,65},{2654,29},{2658,73},{2667,42},{3009,292},{3056,2319},{3057,8},{3157,46},{3158,1743},{3159,3216},{3248,649},{3251,1023},{3270,1021},{3445,2137},{3554,1422},{3666,256},{3669,1292},{3708,1577},{3720,86},{3721,76},{3722,765},{3723,1255},{3724,2250},{3725,1400},{3726,335},{3727,257},{3744,983},{3745,2298},{3748,2346},{3768,4607},{3900,1783},{3924,34},{3989,1268},{4016,321},{4022,310},{4065,3293},{4083,668},{4094,2238},{4117,798},{4118,561},{4128,512},{4132,3952},{4137,313},{4161,904},{4162,644},{4272,1171},{4319,200},{4322,963},{4336,33},{4367,99},{4435,666},{4449,664},{4790,4606},{4864,1280},{4879,3903},{4893,4604}
X(2){1,7},{3,69},{4,253},{5,264},{6,4},{8,4373},{9,8},{10,75},{11,693},{15,2992},{16,2993},{30,1494},{32,66},{37,1},{39,6},{44,80},{45,1000},{57,189},{63,2994},{65,2995},{69,2996},{72,2997},{75,330},{76,2998},{81,1029},{83,1031},{113,3260},{114,325},{115,523},{116,3261},{119,3262},{120,3263},{121,3264},{122,3265},{125,850},{126,3266},{127,3267},{128,1273},{140,95},{141,76},{142,85},{178,4146},{187,67},{206,315},{214,320},{216,3},{223,329},{226,92},{230,98},{231,1141},{232,1297},{233,5},{281,280},{282,1034},{292,2113},{297,1972},{325,1916},{339,4580},{386,1246},{393,3346},{395,14},{396,13},{440,306},{441,287},{442,1441},{468,2373},{478,3436},{511,290},{512,670},{513,668},{514,190},{518,2481},{519,903},{522,664},{523,99},{524,671},{525,648},{527,1121},{536,3227},{538,3228},{566,3431},{570,54},{571,70},{577,68},{590,485},{594,596},{597,598},{615,486},{618,298},{619,299},{620,4590},{623,300},{624,301},{626,1502},{629,302},{630,303},{641,492},{642,491},{647,110},{650,100},{656,4566},{661,3952},{665,660},{676,927},{690,892},{698,3225},{726,3226},{800,64},{812,4562},{824,4586},{826,4577},{828,255},{888,886},{891,889},{900,4555},{905,651},{918,666},{942,286},{946,309},{960,314},{1015,513},{1073,1032},{1084,512},{1086,514},{1100,79},{1107,256},{1108,84},{1125,86},{1146,522},{1147,317},{1194,251},{1196,25},{1209,311},{1210,273},{1211,321},{1212,9},{1213,10},{1214,63},{1215,3112},{1249,20},{1329,3596},{1368,305},{1427,2184},{1489,1143},{1506,3613},{1511,340},{1560,858},{1573,4492},{1575,291},{1577,4552},{1637,476},{1834,3668},{1989,1138},{1990,1294},{2072,328},{2090,556},{2092,65},{2165,254},{2276,1002},{2277,959},{2325,1120},{2345,1219},{2482,524},{2485,112},{2489,3565},{2491,805},{2492,691},{2493,842},{2501,925},{2509,1783},{2799,2966},{2887,561},{2963,3459},{2968,4025},{3003,74},{3005,4576},{3008,673},{3011,675},{3018,477},{3039,4076},{3068,1131},{3069,1132},{3086,1440},{3117,263},{3120,4608},{3125,4581},{3126,883},{3160,144},{3161,145},{3162,1370},{3163,30},{3229,694},{3239,1897},{3258,3268},{3284,265},{3290,105},{3291,111},{3310,901},{3452,312},{3454,313},{3580,94},{3589,83},{3634,1268},{3647,319},{3666,81},{3693,1280},{3709,3903},{3739,274},{3741,310},{3752,57},{3756,3676},{3767,393},{3772,278},{3789,4441},{3815,262},{3831,1240},{3835,1978},{3836,334},{3837,4583},{3900,4569},{3912,335},{3931,969},{3934,308},{3936,4080},{3946,1434},{3960,3257},{4000,279},{4075,4360},{4129,4033},{4357,257},{4369,799},{4370,519},{4422,1016},{4521,3699},{4763,4607},{4777,4597},{4850,89},{4858,4560},{4874,789},{4885,4554}
X(3){6,1073},{48,222},{54,3463},{55,268},{64,3348},{69,3504},{71,63},{73,1},{184,6},{185,4},{212,219},{216,2},{228,48},{255,1069},{417,1092},{418,577},{426,3964},{520,110},{577,394},{603,1433},{647,4558},{652,1813},{682,32},{810,4574},{1181,3527},{1204,64},{1216,3519},{1364,521},{1459,1331},{1818,295},{1946,906},{2525,1634},{2972,520},{3049,4563},{3269,525},{3270,652},{3289,287},{3292,895},{3917,69},{3937,1459}
X(4){3,254},{5,847},{6,2},{19,278},{25,393},{30,1300},{33,281},{46,1068},{51,6},{52,24},{53,2052},{54,3459},{64,3346},{65,1},{74,1138},{113,403},{125,523},{155,3542},{184,2165},{185,3},{225,158},{235,1093},{389,54},{393,459},{397,17},{398,18},{407,225},{427,264},{430,1826},{511,3563},{512,112},{513,108},{516,917},{517,915},{520,1301},{523,107},{524,2374},{525,1289},{526,1304},{690,935},{900,1309},{924,110},{973,1166},{1112,250},{1146,514},{1154,2383},{1194,308},{1495,1989},{1503,98},{1510,933},{1562,525},{1587,3316},{1588,3317},{1593,1217},{1594,93},{1824,19},{1825,2190},{1826,92},{1827,33},{1828,34},{1829,28},{1831,270},{1834,10},{1836,7},{1837,8},{1839,27},{1843,25},{1845,1870},{1846,1785},{1851,1119},{1853,253},{1854,280},{1858,21},{1859,1172},{1864,9},{1885,1105},{1898,90},{1899,69},{1901,226},{1903,2184},{1905,1061},{1986,186},{2082,277},{2182,2006},{2262,57},{2362,1123},{2390,106},{2393,111},{2501,648},{2574,1113},{2575,1114},{2777,477},{2778,2687},{2781,842},{2818,953},{2905,4213},{2906,451},{2907,3144},{3064,653},{3070,485},{3071,486},{3270,650},{3566,99},{3574,5},{3827,105},{3852,733},{3914,75},{3959,330},{3981,2998},{4295,3296}
X(5){51,53},{54,2121},{216,343},{233,2},{1154,1263},{2599,1},{3574,4}
X(6){1,2162},{2,3224},{4,1988},{25,64},{31,56},{32,25},{39,2},{41,55},{42,1},{43,2176},{48,2164},{51,4},{55,3445},{58,2248},{115,2623},{154,3532},{184,3},{187,111},{194,1613},{213,31},{216,2165},{217,184},{228,2218},{232,1987},{237,98},{292,2109},{351,691},{511,694},{512,110},{570,2963},{604,1436},{607,2192},{647,112},{649,101},{661,4559},{663,109},{665,919},{667,100},{669,99},{672,292},{688,1634},{692,3446},{798,4557},{800,393},{890,898},{902,106},{1015,649},{1017,902},{1055,2291},{1193,893},{1194,695},{1197,904},{1333,3444},{1397,3435},{1400,19},{1402,2217},{1404,909},{1409,48},{1475,57},{1495,74},{1501,2353},{1504,493},{1505,494},{1570,2987},{1576,3447},{1692,1976},{1843,66},{1946,108},{1960,901},{1977,667},{2086,2422},{2087,2423},{2088,2433},{2092,37},{2175,3433},{2183,2161},{2187,963},{2199,198},{2206,3437},{2223,105},{2260,2160},{2293,2191},{2300,1333},{2308,58},{2309,86},{2347,9},{2393,67},{2451,648},{2502,843},{2978,785},{3003,1989},{3005,827},{3009,727},{3049,1576},{3051,32},{3063,692},{3124,512},{3167,3053},{3172,154},{3195,221},{3221,670},{3229,699},{3230,739},{3231,729},{3248,3733},{3250,825},{3269,647},{3270,1459},{3271,513},{3457,3440},{3458,3441},{3569,2715},{3724,759},{3747,741},{3764,4492},{3778,75},{3804,907},{4263,941},{4775,4588}
X(7){1,2},{4,189},{11,514},{55,277},{56,278},{57,279},{65,57},{79,1029},{177,174},{222,348},{226,85},{234,555},{269,1440},{354,1},{482,1659},{497,8},{513,651},{514,658},{516,673},{517,88},{522,653},{553,1434},{900,655},{942,81},{946,92},{950,333},{982,330},{1071,63},{1122,269},{1317,3911},{1319,2006},{1357,3669},{1358,3676},{1361,1465},{1362,241},{1364,905},{1401,56},{1439,77},{1479,2994},{1537,908},{1565,693},{1836,4},{2827,3257},{3021,3008},{3022,650},{3023,4369},{3025,3960},{3309,100},{3321,1323},{3328,1638},{3649,226},{3663,75},{3664,86},{3666,274},{3667,190},{3668,273},{3669,4554},{3676,664},{3677,1219},{3782,76},{3999,3227},{4014,513},{4017,4552},{4021,1268},{4077,4566},{4106,668},{4170,3952},{4292,27},{4459,4581},{4854,10},{4862,4373},{4887,903},{4890,37},{4897,99},{4907,346},{4920,561},{4927,4555},{4934,523},{4941,192}
X(8){1,280},{4,1034},{9,2},{10,318},{11,522},{55,281},{56,2123},{72,78},{200,346},{210,9},{219,345},{497,7},{521,100},{522,3699},{650,646},{950,29},{960,21},{1146,4391},{1639,4582},{1837,4},{1864,282},{2170,4560},{2321,312},{2968,4397},{3057,1},{3059,200},{3239,190},{3271,650},{3686,333},{3687,4451},{3688,55},{3700,645},{3703,3596},{3704,3701},{3706,314},{3717,4518},{3877,2320},{3880,1320},{3885,1392},{3893,3680},{3900,644},{4046,2321},{4051,330},{4060,4102},{4081,3239},{4086,3952},{4092,3700},{4111,210},{4124,885},{4130,4554},{4152,2325},{4180,4182},{4531,41},{4534,514},{4542,1639},{4847,75},{4853,1219},{4875,274}
X(9){6,282},{8,2319},{37,281},{41,33},{55,1},{57,2125},{71,219},{198,2324},{200,3680},{210,8},{212,78},{220,200},{650,644},{652,101},{657,3939},{663,3699},{672,2338},{1146,1021},{1212,2},{1334,55},{1864,4},{2082,57},{2170,650},{2264,1172},{2269,284},{2310,522},{2347,6},{2348,294},{3119,3900},{3271,3737},{3287,645},{3683,21},{3689,1320},{3691,333},{3693,4876},{3700,1018},{3709,4069},{3711,4900},{3715,4866},{3900,100},{4041,643},{4105,664},{4266,2364},{4477,3903},{4936,3158}
X(10){1,502},{37,226},{42,1826},{58,2127},{71,306},{201,72},{210,2321},{523,3952},{594,321},{656,4551},{661,4033},{756,37},{1213,2},{1834,4},{2092,2051},{2292,1},{2294,92},{2321,4052},{2486,693},{2533,668},{3120,523},{3122,661},{3125,514},{3136,264},{3700,4552},{3914,3668},{3925,1441},{3943,4080},{4024,190},{4037,335},{4041,1018},{4064,1897},{4079,1978},{4122,4613},{4642,65},{4647,596},{4695,4674},{4705,4103},{4854,7}
X(11){2170,1086},{2310,1146},{4516,2170},{4542,4530},{4953,4534}
X(12){125,4036},{756,594},{1109,523},{4024,4605},{4092,4024}
X(13){15,18},{30,14},{396,2}
X(14){16,17},{30,13},{395,2}
X(15){1511,16},{3200,62}
X(16){1511,15},{3201,61}
X(17){16,14},{140,18},{397,4}
X(18){15,13},{140,17},{398,4}
X(19){25,34},{31,1},{63,2129},{607,33},{1195,284},{1400,6},{1824,4},{1880,393},{1973,1096},{2083,63},{2170,3064},{2179,31},{2181,158},{2183,913},{2310,513},{2312,1910},{2333,25},{2354,1474},{2355,28},{2357,64},{2578,2576},{2579,2577},{3209,2331},{3708,661}
X(20){64,2131},{154,1249},{1249,2},{3183,2060},{3198,610}
X(21){1,29},{3,283},{9,333},{55,284},{58,285},{284,81},{522,100},{650,4612},{652,651},{663,644},{960,8},{1021,662},{1040,332},{1731,88},{1776,1156},{1800,3193},{1858,4},{2193,1812},{2194,1172},{2264,57},{2328,2287},{2646,1},{3063,4631},{3683,9},{3737,643},{4267,60},{4511,1320},{4516,650}
X(22){2485,4611},{3313,315},{4456,1760}
X(24){52,4},{571,1993}
X(25){32,6},{1196,2},{1402,31},{1843,4},{1973,608},{1974,2207},{2212,607},{2333,19},{2489,112},{2971,2489},{3124,2501},{3199,393}
X(27){4,286},{19,28},{57,81},{58,86},{1172,29},{1838,273},{1839,4},{1842,1119},{1848,92},{2260,1},{2354,34},{3798,4610},{4000,274},{4292,7},{4466,514}
X(28){19,27},{25,1474},{56,58},{614,86},{1104,1},{1333,81},{1474,1396},{1829,4},{1841,278},{2299,1172},{2355,19}
X(29){1,21},{4,1896},{33,1172},{284,333},{497,314},{650,653},{950,8},{1021,823},{1172,27},{2654,1},{3193,3559},{3737,162},{4183,2322}
X(30){74,2133},{1495,1990},{1511,3471},{1637,2407},{3081,3163},{3163,2},{3258,523}
X(31){32,604},{213,6},{560,1973},{667,692},{798,163},{922,923},{1197,81},{1397,2208},{1402,25},{1755,1967},{1918,32},{1919,101},{1923,560},{1924,662},{1964,1},{1973,2155},{2085,75},{2175,41},{2176,2209},{2179,19},{2223,1911},{2300,904},{3063,1415},{3248,667},{3725,42}
X(32){560,1397},{669,1576},{682,3},{688,4630},{1084,669},{1501,1974},{1918,31},{1977,1919},{1980,692},{2205,560},{3051,6}
X(33){41,9},{42,55},{607,19},{1824,1857},{1827,4},{3119,650},{4336,1}
X(34){25,19},{604,57},{608,1435},{1042,56},{1426,1118},{1828,4},{1880,278},{2170,3669},{2354,27},{3924,1}
X(35){500,1},{2174,2003}
X(36){1464,1870},{2245,3218},{2361,2323}
X(37){42,65},{81,2135},{213,1824},{228,72},{512,3952},{647,4559},{661,1018},{756,10},{1334,210},{1400,1903},{1500,42},{1962,1},{2092,6},{2171,1826},{2197,71},{3121,512},{3122,513},{3125,661},{3709,4557},{3728,75},{3954,321},{4041,4551},{4516,523},{4524,4566},{4705,100},{4890,7}
X(38){2530,4553},{3954,141}
X(39){688,4576},{1964,1401},{3005,1634},{3051,1843}
X(40){64,3354},{198,223},{208,3342},{221,1},{2187,2331}
X(41){213,607},{2175,31},{4531,8}
X(42){181,1824},{213,1400},{512,4557},{798,1018},{872,213},{1402,2357},{1500,37},{1918,2333},{2200,71},{2238,2107},{2667,1},{3121,649},{3122,512},{3709,4559},{3725,31},{3747,2054},{4079,101},{4516,663}
X(43){192,1},{2176,1423},{3123,4083}
X(44){678,1},{902,1319},{1635,1023},{2087,1635},{3251,100}
X(45){2177,2099},{4775,4767},{4825,100},{4893,4752}
X(46){3157,1}
X(47){2180,1748}
X(48){41,2188},{184,603},{228,3},{810,4575},{822,163},{1409,6},{2200,184},{4020,63}
X(51){217,216}
X(53){51,5}
X(54){3,96},{6,275},{186,74},{389,4},{523,110},{570,2},{1199,1173},{2594,1}
X(55){9,2053},{31,2192},{41,6},{42,33},{228,212},{657,101},{663,3939},{902,2342},{1200,57},{1253,220},{1334,9},{1946,692},{2175,607},{2195,2115},{2293,1},{3022,657},{3063,644},{3270,3900},{3271,663},{3688,8},{4041,4557}
X(56){25,1436},{31,6},{244,3733},{604,1407},{649,1461},{667,1415},{1015,3669},{1042,34},{1106,1413},{1191,2334},{1201,1},{1397,608},{1400,57},{1401,7},{1402,604},{1410,603},{1423,1403},{1457,1411},{2300,81},{3063,4617},{3271,649},{3937,513},{4274,89}
X(57){6,1},{9,2137},{19,84},{41,2191},{56,269},{65,7},{244,3676},{513,934},{603,77},{604,34},{649,109},{650,108},{654,2720},{659,927},{663,4626},{672,1477},{673,2111},{910,105},{1086,1019},{1193,86},{1200,55},{1202,1174},{1393,273},{1400,56},{1404,1411},{1407,1422},{1418,279},{1427,278},{1436,3345},{1465,2006},{1475,6},{1635,2222},{1743,1420},{1755,741},{2082,9},{2160,267},{2170,513},{2173,759},{2182,104},{2183,106},{2260,58},{2262,4},{2264,21},{2265,2718},{2272,103},{2275,87},{2347,3445},{2590,1381},{2591,1382},{3020,3669},{3212,1423},{3213,1394},{3215,4341},{3669,651},{3752,2},{3942,514},{3959,3551},{4000,3500},{4017,1414},{4394,100},{4498,190}
X(58){6,81},{31,1333},{36,106},{56,28},{238,727},{513,109},{603,1437},{649,4556},{667,101},{859,759},{1193,1},{1203,1126},{1333,1412},{1473,1444},{1919,4610},{2194,284},{2206,1474},{2210,1438},{2260,57},{2275,274},{2308,6},{2309,2162},{3122,649},{3220,103},{3286,741},{3733,110},{4057,100},{4455,2702},{4491,901}
X(59){1,110},{3,100},{6,651},{36,901},{55,101},{56,109},{101,4619},{181,4559},{182,1492},{215,1983},{219,1813},{511,660},{572,662},{573,190},{579,653},{580,162},{604,4565},{940,785},{999,4588},{1110,1252},{1155,2742},{1319,2720},{1362,2283},{1397,1415},{1617,934},{2149,1262},{2197,4552},{2223,919},{2245,655},{2268,4627},{2352,112},{2594,4551},{4253,658}
X(60){58,270},{215,4282},{284,2185},{2150,593},{2194,2150},{3737,110},{4267,21}
X(61){1493,62},{3201,16}
X(62){1493,61},{3200,15}
X(63){3,77},{9,271},{48,1},{71,3},{72,69},{219,78},{255,326},{652,1331},{656,4592},{822,4575},{905,1332},{1071,7},{1214,2},{1459,4561},{1820,921},{2083,19},{2252,1795},{2578,1822},{2579,1823},{3708,656},{3916,1444},{3942,905},{3958,72},{4020,48},{4091,1813},{4303,86}
X(64){25,6},{800,2},{1042,1},{1204,3},{2357,19},{2972,523}
X(65){42,37},{181,1400},{512,4559},{661,1020},{851,2652},{1254,225},{1400,1427},{1402,1880},{1409,1214},{1425,73},{1824,1903},{2092,2},{2171,226},{2650,1},{3120,513},{3611,71},{4017,4551},{4139,3952},{4516,661},{4642,10},{4729,1018}
X(66){32,2},{1843,6}
X(67){187,2},{1205,1177},{2393,6}
X(68){115,525},{577,2},{2351,2165}
X(69){3,2},{4,1032},{25,2139},{63,348},{72,63},{78,345},{125,525},{185,1073},{306,304},{307,75},{343,76},{394,3926},{520,4558},{521,1332},{525,4563},{916,1815},{1216,97},{1565,4025},{1899,4},{3265,99},{3564,287},{3917,3},{3933,305},{3937,905},{4025,4561},{4173,184}
X(70){571,2}
X(71){228,73},{647,4574},{2197,37},{2200,42},{3611,65},{3690,72},{4055,3682}
X(72){71,1214},{201,10},{228,37},{2318,3694},{3690,71},{3949,306},{3958,63},{3990,3998}
X(73){228,71},{822,1020},{851,2660},{1425,65},{2197,1214},{2658,1}
X(74){186,54},{526,110},{686,4558},{1464,1},{1495,6},{3003,2}
X(75){1,92},{2,85},{7,309},{8,312},{10,2},{38,1},{63,304},{244,514},{307,69},{321,76},{347,322},{514,1978},{522,190},{523,4033},{656,662},{661,4602},{693,668},{726,335},{774,2184},{1109,1577},{1111,693},{1210,189},{1266,903},{1441,264},{1577,799},{1725,2349},{1733,1821},{1734,100},{1738,673},{1739,88},{1769,3257},{1930,561},{2085,31},{2227,1581},{2254,4562},{2292,226},{2588,2580},{2589,2581},{2786,4639},{3116,2186},{3123,513},{3263,334},{3663,7},{3668,253},{3670,81},{3673,1088},{3728,37},{3741,257},{3766,4583},{3778,6},{3914,4},{3963,308},{4025,664},{4151,3952},{4357,86},{4359,274},{4374,670},{4391,4554},{4442,671},{4443,751},{4446,749},{4453,4555},{4467,99},{4642,2051},{4647,321},{4712,3912},{4736,3936},{4738,4358},{4793,4671},{4847,8},{4858,3261}
X(76){2,264},{69,305},{141,2},{312,3596},{313,561},{321,75},{338,850},{343,69},{349,1969},{523,4609},{525,99},{698,1916},{850,670},{918,4583},{1086,693},{1211,1441},{1229,312},{1230,313},{1231,304},{1269,310},{3094,262},{3124,523},{3261,1978},{3580,1494},{3721,1},{3782,7},{4391,668},{4437,3263}
X(77){3,63},{73,222},{521,651},{603,57},{1040,78},{1214,348},{1439,7},{1459,1813},{4091,658},{4303,1790}
X(78){3,271},{72,8},{212,9},{219,63},{521,4571},{1040,77},{1260,3692},{2289,3719},{2318,219},{3682,1259},{3694,345}
X(79){942,1},{1100,2},{3583,80}
X(80){44,2},{517,1},{2161,2006},{3583,79},{4120,190},{4530,514}
X(81){1,86},{3,272},{6,58},{57,27},{58,1014},{222,1790},{284,21},{514,651},{649,100},{667,4623},{834,1310},{942,7},{982,310},{1019,662},{1021,162},{1100,1},{1104,269},{1107,87},{1172,285},{1197,31},{1333,28},{1437,1444},{1459,934},{1914,105},{1919,932},{2300,56},{3125,513},{3218,88},{3285,759},{3666,2},{3670,75},{3733,99},{3737,1414},{4063,190},{4083,4594},{4267,261}
X(82){1,3112},{798,662},{1577,162},{1933,1910},{4063,100}
X(83){2,308},{6,251},{316,671},{384,3115},{512,99},{850,648},{1176,1799},{1691,98},{2295,1},{2485,107},{3050,110},{3589,2},{3766,666},{3978,3225}
X(84){19,57},{56,1},{64,3345},{1108,2},{1208,947},{1364,3737},{1413,1256},{1436,1422},{1903,189},{2192,282},{2357,1436}
X(85){2,75},{7,1088},{57,273},{92,309},{142,2},{226,7},{514,664},{693,4569},{908,903},{1446,331},{3020,3676},{3119,522},{3452,4373},{3674,1434},{3676,4572},{4077,4625},{4357,310},{4462,668},{4468,190},{4858,693}
X(86){1,81},{2,274},{7,286},{21,333},{58,27},{77,1444},{81,1434},{238,673},{320,903},{350,3226},{513,190},{514,4610},{614,28},{663,4603},{667,4598},{693,664},{905,658},{1019,799},{1021,4635},{1125,2},{1193,57},{1459,4556},{1756,1821},{2309,6},{3120,514},{3664,7},{3720,1},{3737,662},{3741,330},{4040,100},{4292,189},{4303,63},{4357,75},{4368,239},{4425,257},{4466,3261},{4560,4573}
X(87){2,1},{1107,81},{1977,1019},{2053,2319},{2275,57}
X(88){1,679},{6,1168},{44,1},{513,4618},{517,7},{1022,3257},{1635,100},{1731,21},{1739,75},{1769,934},{2087,513},{2161,104},{2316,1320},{3218,81},{3960,651},{4674,903}
X(89){2364,2320},{4274,56},{4850,2}
X(90){3,1},{1898,4}
X(91){48,92}
X(92){1,75},{4,273},{19,158},{48,91},{226,2},{281,318},{514,653},{661,162},{946,7},{1577,823},{1699,1088},{1826,4},{1848,27},{1855,281},{1953,1},{2173,2166},{2294,10},{2582,2580},{2583,2581},{3064,1897}
X(93){50,94},{1594,4}
X(94){30,264},{50,93},{265,328},{2081,110},{2088,523},{3580,2}
X(95){2,276},{3,97},{54,275},{140,2},{340,1494},{520,648},{850,99}
X(96){3,54}
X(97){3,95},{525,4558},{1216,69}
X(98){3,2065},{230,2},{237,6},{248,287},{446,511},{694,3225},{804,99},{868,523},{878,2715},{879,685},{1284,1},{1503,4},{1513,262},{1691,83},{1971,275},{2395,2966},{2450,264},{3569,648}
X(99){1,1016},{2,4590},{3,249},{21,4567},{22,250},{63,1275},{81,4601},{86,4600},{100,662},{110,648},{190,799},{333,4620},{512,83},{520,801},{523,2},{525,76},{526,2986},{643,645},{662,4573},{664,811},{669,6},{670,3222},{684,287},{690,671},{804,98},{850,95},{887,729},{924,275},{1019,1509},{1499,598},{1621,765},{1632,107},{1633,162},{1634,110},{1649,524},{2528,141},{2605,2985},{2975,4564},{3233,2407},{3265,69},{3267,1799},{3268,1494},{3288,3114},{3566,4},{3573,666},{3733,81},{4057,1171},{4184,4570},{4226,2966},{4367,1},{4427,190},{4436,100},{4467,75},{4558,4563},{4560,274},{4576,670},{4580,1241},{4897,7}
X(100){1,765},{3,59},{6,1016},{9,4564},{35,4570},{37,4567},{55,1252},{101,651},{171,4600},{190,932},{198,1262},{213,4601},{220,1275},{512,2298},{513,1},{514,2346},{521,8},{522,21},{523,943},{649,81},{650,2},{654,2990},{656,1257},{659,105},{661,1255},{665,2991},{667,6},{692,1783},{798,1258},{890,739},{900,104},{906,1332},{926,294},{1018,190},{1023,3257},{1026,660},{1030,249},{1491,1390},{1633,934},{1635,88},{1734,75},{2254,1280},{2283,677},{2284,666},{2915,250},{3126,518},{3185,2149},{3251,44},{3309,7},{3667,1476},{3733,1126},{3737,1220},{3738,1320},{3882,3903},{3887,1156},{3900,9},{3913,4076},{3939,644},{4040,86},{4057,58},{4063,82},{4083,983},{4394,57},{4401,1014},{4436,99},{4455,292},{4491,106},{4551,1897},{4553,668},{4557,101},{4705,37},{4730,2161},{4782,985},{4825,45},{4834,2214}
X(101){6,1252},{31,765},{41,1110},{42,4570},{48,2149},{55,59},{172,4567},{199,250},{512,1126},{513,1174},{514,2141},{647,2983},{649,6},{650,284},{652,9},{654,2316},{657,55},{661,2259},{663,1},{667,58},{692,109},{926,103},{1635,909},{1918,4600},{1919,31},{1946,1167},{1960,106},{2176,1016},{2284,813},{2426,677},{2484,2258},{3207,1262},{3900,947},{3939,1293},{4040,4251},{4057,251},{4079,42},{4394,3451},{4557,100},{4559,1783}
X(102){1457,1},{2342,2316}
X(103){926,101},{1458,1},{2272,57},{2424,677},{3220,58}
X(104){654,651},{900,100},{1319,1},{2161,88},{2182,57}
X(105){659,100},{665,651},{676,108},{884,919},{910,57},{1279,1},{1438,1462},{1914,81},{2195,294},{2223,6},{3290,2},{3675,513},{3827,4}
X(106){6,2226},{36,58},{649,4638},{902,6},{1149,1},{1960,101},{2183,57},{2390,4},{3310,1461},{4491,100}
X(107){24,250},{108,162},{112,648},{523,4},{647,275},{1609,249},{1612,765},{1624,110},{1632,99},{2409,685},{2485,83},{2501,2052}
X(108){513,4},{523,961},{647,2982},{650,57},{663,1172},{676,105},{1415,651},{1946,6},{2178,1262},{2352,2149},{3669,1041}
X(109){6,1262},{31,2149},{56,59},{513,58},{604,4564},{649,57},{652,222},{663,6},{667,3451},{692,101},{834,959},{1415,1461},{1459,1},{1946,284},{2305,249},{2426,919},{2605,1126},{3052,1252},{3145,250},{3733,961},{3915,765},{4057,3450},{4559,651}
X(110){1,59},{3,250},{6,249},{31,1252},{32,4590},{48,1262},{58,4570},{101,662},{109,162},{163,4565},{351,111},{512,6},{513,1175},{520,3},{521,1798},{523,54},{525,1176},{526,74},{595,765},{647,2},{649,1171},{667,1169},{669,251},{684,1297},{690,1177},{692,163},{924,4},{1333,4567},{1510,1173},{1576,112},{1624,107},{1625,648},{1634,99},{2081,94},{2421,805},{2605,1},{3005,3108},{3050,83},{3569,2987},{3733,58},{3737,60},{4057,3453},{4367,3449},{4558,3565}
X(111){23,251},{187,6},{351,110},{2393,4},{2492,112},{3291,2},{3455,1177}
X(112){25,250},{512,4},{523,251},{647,6},{650,1169},{1415,163},{1576,110},{1946,1175},{2352,59},{2485,2},{2489,25},{2491,1976},{2492,111},{2881,1297},{3050,275},{3053,249}
X(115){2643,1365}
X(141){38,3665},{39,427},{826,4576},{2528,99},{2531,4609},{3118,3051},{3917,3933},{3954,38}
X(142){1212,4847}
X(143){137,1510}
X(144){165,3160},{3160,2}
X(145){3158,3161},{3161,2},{3756,3667},{4534,4462},{4849,1743},{4953,4521}
X(154){3172,6}
X(158){19,92},{225,4},{774,1},{2181,19},{2310,3064},{2588,2586},{2589,2587}
X(162){47,1101},{108,107},{109,110},{163,662},{522,2363},{579,4564},{580,59},{656,1},{661,92},{822,2167},{1021,81},{1577,82},{1633,99},{1724,765},{1769,759},{1778,4567},{1780,4570},{1783,648},{2618,2216},{2631,2349},{3737,29}
X(163){6,2149},{31,1101},{32,1110},{661,2148},{692,110},{798,31},{810,1},{822,48},{1415,112},{2206,4570},{2220,1252},{2624,2159}
X(165){1419,1},{3207,1419}
X(171){2295,894},{2330,2329},{4367,4579}
X(174){1,1488},{173,2089},{177,7},{259,188}
X(181){872,1500},{2643,512}
X(183){182,458}
X(184){217,6},{418,2351},{2200,48},{4173,69}
X(186){50,323},{1986,4}
X(188){259,174}
X(189){4,7},{57,2},{84,1440},{282,280},{1210,75},{1903,84},{2262,1},{2968,693},{4292,86}
X(190){2,1016},{9,765},{10,4600},{63,4564},{71,4570},{100,664},{101,1897},{144,1275},{513,86},{514,2},{522,75},{523,1268},{573,59},{644,3699},{649,1},{650,1222},{659,3226},{661,1220},{668,4598},{812,673},{894,4601},{900,903},{1018,100},{1019,1255},{1021,1257},{1331,4561},{1635,1120},{1654,4590},{2786,335},{3161,4076},{3219,4567},{3234,2398},{3239,8},{3667,7},{3730,1252},{3732,658},{3882,662},{3952,668},{4024,10},{4040,3112},{4057,4360},{4063,81},{4064,313},{4088,334},{4115,3952},{4120,80},{4375,239},{4380,1434},{4391,333},{4416,4620},{4427,99},{4468,85},{4498,57},{4568,1978},{4724,870},{4765,1219},{4781,4597},{4893,996},{4962,4373}
X(191){501,1}
X(192){43,3212},{3835,4595},{4941,7}
X(193){3787,3053}
X(194){1613,3186}
X(196){221,347}
X(197){205,478}
X(198){2187,221},{2199,6}
X(200){220,9},{480,728},{1802,3692},{2310,3900},{2318,1260},{3059,8},{3119,3239},{3900,4578},{4130,644},{4319,1},{4515,346}
X(201){125,656},{2632,4064},{3690,3949}
X(204){3172,3213}
X(208){2199,223},{3195,2331}
X(210){1334,37},{3690,2318},{4041,4069},{4111,8},{4171,1018},{4516,4041}
X(212){184,2188},{228,55}
X(213){669,4557},{872,42},{1918,1402},{3121,798}
X(216){217,51}
X(218){4878,3870}
X(219){48,268},{71,9},{212,3},{652,4587},{1802,1260},{1946,4571},{2318,78},{3270,521},{3990,2289}
X(220){1253,55},{3022,3900},{4105,3939}
X(221){2187,198},{3195,6}
X(222){6,1433},{48,3},{73,77},{652,109},{1409,603}
X(223){6,3342},{198,40},{227,347},{2199,208},{2331,1}
X(225){407,4},{1254,65},{1400,226},{1824,1826},{4516,3064}
X(226){12,1441},{37,10},{65,3668},{73,307},{440,1751},{523,4566},{661,4551},{1400,225},{1901,4},{2171,65},{2292,75},{2294,1},{3120,4077},{3142,264},{3649,7},{3950,4848},{4016,596},{4415,321},{4466,1577}
X(228){2200,1409},{3049,4574}
X(230){1692,460}
X(232){237,511},{446,694}
X(238){292,2145},{659,3573},{1284,242},{1914,1429},{2210,2201},{2238,239},{3747,1914}
X(239){238,1447},{659,874},{740,350},{812,3570},{1914,242},{2238,238},{3684,3685},{4124,3766},{4368,86},{4375,190},{4435,3573}
X(240){1755,1959}
X(241){665,2283},{672,518},{1362,7}
X(242){862,2201},{1284,238},{1914,239}
X(243){851,1936},{1951,1944}
X(244){764,513},{1015,3020},{3122,1015},{3125,1086},{3271,2170}
X(249){3,99},{6,110},{32,827},{187,691},{394,4558},{571,933},{593,4556},{1030,100},{1151,1306},{1152,1307},{1501,1576},{1609,107},{1691,2715},{1993,648},{2076,805},{2305,109},{2979,670},{3003,1304},{3053,112}
X(250){2,827},{3,110},{4,933},{6,648},{22,99},{23,691},{24,107},{25,112},{26,925},{186,1304},{199,101},{237,2715},{1112,4},{1511,4240},{2070,476},{2915,100},{2937,930},{2967,4230},{3145,109},{3515,1301}
X(251){6,83},{23,111},{385,699},{523,112},{659,919},{669,110},{1194,2},{4057,101}
X(253){4,2},{64,459},{122,525},{1853,4},{3668,75}
X(254){3,4},{2165,2}
X(255){820,1},{828,2},{3990,394},{4055,577}
X(256){239,291},{513,4594},{893,1432},{1107,2},{3666,1}
X(257){350,335},{3727,1},{3741,75},{4357,2},{4425,86},{4516,693}
X(258){259,1}
X(261){11,4560},{21,2185},{2185,1509},{3737,645},{4267,81}
X(262){1513,98},{3094,76},{3815,2}
X(263){3117,2}
X(264){2,76},{4,2052},{5,2},{30,94},{92,331},{235,459},{339,850},{427,4},{442,321},{523,648},{858,671},{1312,2593},{1313,2592},{1368,2996},{1441,75},{1594,275},{2072,2986},{2450,98},{2967,297},{2968,4391},{2971,2501},{2972,525},{3007,903},{3134,2394},{3136,10},{3141,4049},{3142,226}
X(265){1531,4846},{3284,2}
X(266){6,289}
X(267){58,1},{2160,57}
X(268){48,219},{55,3},{2188,1433}
X(269){34,1422},{56,57},{244,3669},{614,1},{1042,1407},{1104,81},{1106,1435},{1122,7},{1407,738},{1427,279},{1456,1462},{3669,4617},{3937,1019}
X(270){58,60},{1831,4},{2150,2185},{2299,2189}
X(271){3,78},{9,63},{2188,282}
X(272){3,81}
X(273){4,92},{57,85},{225,278},{278,1847},{1210,2},{1393,57},{1838,27},{3668,7}
X(274){2,86},{75,310},{81,286},{239,2481},{333,314},{514,668},{650,4594},{693,4623},{1107,1},{2275,58},{3121,513},{3261,4554},{3666,7},{3739,2},{4000,27},{4025,4569},{4359,75},{4560,99},{4875,8}
X(275){6,54},{50,1300},{54,95},{647,107},{654,1309},{924,99},{1594,264},{1971,98},{2623,933},{3050,112}
X(276){2,95},{401,290}
X(277){55,7},{1212,1},{1358,514},{2082,4}
X(278){11,3676},{19,4},{34,1119},{56,7},{225,273},{608,1118},{1108,1},{1427,57},{1829,286},{1841,28},{1880,34},{3772,2}
X(279){57,7},{269,479},{278,1440},{1086,3676},{1407,1119},{1418,57},{1427,269},{3668,1088},{3669,934},{3676,4626},{4000,2}
X(280){1,8},{281,2},{282,189},{1854,4}
X(281){33,4},{37,9},{55,8},{607,1857},{650,1783},{1855,92},{1859,1896},{4081,522}
X(282){6,9},{33,1},{1864,8},{2188,271},{2192,84}
X(283){3,21},{212,2193},{219,1812},{521,1331},{1946,4587},{2193,1790}
X(284){6,1172},{41,2194},{48,2193},{55,21},{650,101},{663,4636},{1195,19},{1946,109},{2194,58},{2269,9},{2323,2316},{3056,314},{3063,3939}
X(285){58,21},{1172,81}
X(286){4,27},{7,86},{81,274},{942,2},{1829,278},{3673,310}
X(287){248,98},{441,2},{684,99},{2435,2867},{3289,3},{3564,69}
X(288){6,1173},{647,933}
X(289){6,266}
X(290){385,308},{401,276},{511,2},{879,2966}
X(291){239,256},{518,1},{876,660},{1575,2},{3572,4562}
X(292){238,893},{672,6},{875,660},{3009,1},{3572,813},{4455,100}
X(294){926,100},{2195,105},{2348,9},{4435,644}
X(295){1818,3}
X(297){511,325},{2967,264},{3569,4230}
X(298){15,470},{618,2}
X(299){16,471},{619,2}
X(300){623,2},{3260,301}
X(301){624,2},{3260,300}
X(302){61,473},{629,2}
X(303){62,472},{630,2}
X(304){63,75},{306,69},{345,3718},{1231,76},{3942,4025}
X(305){69,76},{339,3267},{1368,2},{3265,4563},{3933,69}
X(306){71,10},{72,307},{440,2},{3694,3710},{3949,72},{4064,4561},{4466,525}
X(307){72,306},{73,226},{201,1214}
X(308){2,83},{385,290},{523,670},{1194,4},{3934,2},{3963,75},{4580,4577}
X(309){7,75},{92,85},{946,2}
X(310){75,274},{693,1978},{982,81},{1269,76},{3122,514},{3673,286},{3741,2},{4022,1},{4025,4610},{4357,85}
X(311){5,324},{1209,2}
X(312){8,75},{9,318},{78,3718},{306,345},{346,341},{1229,76},{2170,522},{2321,8},{3239,3699},{3452,2},{3687,333},{3701,3596},{3702,314},{3904,4582},{4163,4572},{4391,646},{4397,668},{4858,4391},{4939,693}
X(313){321,349},{1089,321},{1230,76},{3120,1577},{3454,2},{4064,190},{4086,4033},{4137,1}
X(314){8,333},{69,332},{333,274},{497,29},{521,4612},{522,646},{960,2},{3056,284},{3702,312},{3706,8},{4391,4631},{4459,522}
X(315){206,2},{3313,22},{4463,1760}
X(317){52,1993},{1147,2}
X(318){9,312},{10,8},{281,92},{522,1897}
X(319){3647,2},{3678,3219}
X(320){214,2},{758,3218},{3738,4585},{4089,4453}
X(321){10,1441},{442,264},{525,4552},{594,10},{1089,313},{1211,2},{1577,4033},{2321,3701},{3120,693},{3125,523},{3700,3952},{3704,3596},{3954,37},{4016,1},{4036,668},{4415,226},{4647,75}
X(322){347,75}
X(323){50,186},{1154,340},{2088,526}
X(324){5,311}
X(325){114,2},{511,297},{684,2421},{868,2799},{2799,2396}
X(326){255,63},{1259,3719},{3682,394},{3998,3926}
X(327){3314,1502}
X(328){265,94},{2072,2}
X(329){40,347},{223,2}
X(330){75,2},{982,7},{3741,86},{3959,4},{4051,8}
X(331){92,264},{1446,85}
X(332){69,314},{78,1812},{283,333},{1040,21}
X(333){8,314},{9,21},{21,86},{63,1812},{283,332},{284,29},{521,664},{650,3699},{652,4636},{950,7},{1021,643},{2082,1172},{2269,1},{2287,1043},{3686,8},{3687,312},{3691,9},{4391,190},{4560,645},{4886,4102}
X(334){3263,75},{3836,2},{4088,190}
X(335){295,337},{350,257},{726,75},{876,4583},{2786,190},{3675,693},{3726,1},{3912,2},{4010,668},{4037,10},{4071,1220},{4444,4562},{4458,664},{4876,4518}
X(336){293,1821}
X(337){295,335}
X(338){115,2970},{125,339}
X(339){125,338}
X(340){1154,323},{1511,2}
X(341){346,312},{2310,3239},{3710,1265},{4082,346}
X(343){216,5}
X(344){3991,3870},{4904,4468}
X(345){78,69},{219,8},{306,312},{1259,1264},{3692,1265},{3694,78},{3710,3718},{3998,3719}
X(346){200,8},{1146,3239},{1260,1265},{3694,3692},{3965,2287},{4081,4397},{4082,341},{4130,4578},{4163,3699},{4515,200},{4907,7},{4953,522}
X(347){40,329},{221,196},{227,223}
X(348){63,69},{222,7},{1214,77},{4131,4569}
X(349){321,313}
X(350){740,239},{3685,3975},{3716,3570},{3766,874},{3948,1921}
X(354){1475,1418},{2293,1212}
X(357){3274,3603}
X(365){292,2147}
X(366){367,1},{4166,4182}
X(371){1147,372}
X(372){1147,371}
X(385){732,3978},{1691,419},{4039,1966}
X(388){612,2345}
X(391){4061,4673},{4258,461},{4512,3616}
X(393){25,4},{115,2501},{800,6},{1096,1118},{1880,19},{3199,25},{3767,2}
X(394){255,1804},{577,3},{836,1},{1092,3964},{1364,4131},{2289,1259},{2972,3265},{3269,520},{3682,326},{3990,255}
X(403){113,4},{3003,3580}
X(415){1758,2651}
X(416){2655,2659}
X(419){1691,385}
X(427){39,141}
X(429){2092,1211}
X(451){1030,2895},{2906,4}
X(458){182,183}
X(459){64,253},{235,264},{393,4},{1562,523}
X(460){1692,230}
X(461){4258,391}
X(468){187,524}
X(470){15,298}
X(471){16,299}
X(472){62,303}
X(473){61,302}
X(476){1637,2},{2070,250},{2420,648},{2433,2986}
X(477){2777,4},{3018,2}
X(478){205,197}
X(479){269,279},{3271,3669}
X(480){3022,4105}
X(485){3,486},{590,2},{3070,4}
X(486){3,485},{615,2},{3071,4}
X(491){372,1586},{642,2}
X(492){371,1585},{641,2}
X(493){394,494},{1504,6}
X(494){394,493},{1505,6}
X(497){2082,4000}
X(502){1,10}
X(505){266,1}
X(511){237,232},{446,98},{684,4230},{2491,2396},{2679,512},{3569,2421}
X(512){99,2143},{669,2489},{688,669},{1084,2},{1645,3228},{2086,694},{2491,2395},{2643,181},{2679,511},{3005,523},{3049,647},{3121,37},{3122,42},{3124,6},{3269,2353},{3569,882},{4079,661},{4128,1}
X(513){244,1},{512,649},{649,3669},{661,514},{663,650},{764,244},{1015,2},{1357,3445},{1364,3435},{1635,1022},{1646,3227},{2087,88},{2170,57},{2254,876},{2310,19},{2488,663},{2530,693},{3020,2191},{3120,65},{3121,274},{3122,37},{3123,75},{3125,81},{3251,1635},{3259,517},{3270,1436},{3271,6},{3310,2401},{3675,105},{3835,4083},{3937,56},{4014,7},{4162,4394},{4475,985},{4516,2160}
X(514){11,7},{244,75},{513,3676},{523,693},{650,522},{661,513},{676,2400},{918,4444},{1015,596},{1086,2},{1146,4},{1358,277},{1459,4025},{1566,516},{1647,903},{2170,1},{2310,1088},{3119,3062},{3120,86},{3122,310},{3125,10},{3328,1323},{3756,4373},{3942,57},{4124,2481},{4466,27},{4521,3667},{4530,80},{4534,8},{4707,4049},{4858,2051}
X(516){676,2398},{1566,514}
X(517){2183,1465},{3259,513},{3310,2397}
X(518){672,241},{926,2284},{2254,1026},{2340,3693},{3126,100},{3675,2254},{3930,3912}
X(519){44,3911},{1647,900},{3689,2325},{3943,4358},{4370,2},{4530,3762},{4730,4169},{4895,1023}
X(520){2972,3},{3269,394}
X(521){652,905},{656,522},{1364,3},{1946,650},{3270,219}
X(522){11,8},{244,3680},{650,514},{656,521},{663,3064},{1146,2},{2170,312},{2310,9},{3119,85},{3700,4391},{3900,3239},{4041,650},{4081,281},{4124,4518},{4459,314},{4516,2321},{4542,2325},{4543,1639},{4546,4521},{4953,346}
X(523){115,2},{125,4},{338,3613},{512,2501},{647,525},{826,850},{868,98},{1109,12},{1562,459},{1637,2394},{1648,671},{1649,690},{2088,94},{2611,1},{2643,594},{2972,64},{3005,512},{3120,10},{3124,76},{3125,321},{3258,30},{3269,2052},{4024,1577},{4041,3700},{4120,4049},{4516,37},{4705,661},{4934,7}
X(524){187,468},{1648,690},{1649,99},{2482,2}
X(525){115,68},{122,253},{125,69},{520,3265},{647,523},{1562,4},{1650,1494},{2525,3267},{2972,264},{3269,3},{3569,2435},{3708,3695},{4466,306}
X(526){2088,323}
X(527){1155,1323}
X(536){1646,891}
X(538){1645,888}
X(552){757,1509}
X(553){1100,1125}
X(554){553,1081}
X(555){174,4146},{234,7}
X(556){188,4146},{2090,2}
X(560){1923,31},{2205,32},{4117,1924}
X(561){75,1969},{313,76},{1111,3261},{1930,75},{2643,1577},{2887,2},{4118,1},{4920,7}
X(577){418,3},{4055,255}
X(579){209,3868},{2198,2352},{2352,4306}
X(588){1994,589}
X(589){1994,588}
X(593){58,757},{1015,3733},{1019,4565},{1333,849},{2150,60}
X(594){115,4024},{756,12},{762,756},{2643,523},{3124,4705},{3690,3695},{4024,4103},{4092,4036}
X(596){594,2},{1015,514},{4016,226},{4647,10}
X(598){597,2},{1499,99}
X(603){184,48},{1409,222},{1410,56},{1946,1415}
X(604){32,31},{1397,1106},{1402,56},{1973,2208}
X(607){213,41},{2175,55},{2212,25},{3022,663}
X(608){1395,1398},{1397,56},{1973,25}
X(610){154,1394},{204,1},{3198,20}
X(643){8,765},{219,4564},{283,4570},{644,645},{1021,333},{2287,4567},{3737,21},{3871,4076},{4041,9},{4895,2341}
X(644){55,4076},{200,765},{219,1252},{650,9},{657,1261},{663,21},{3063,55},{3239,2287},{3900,8},{3939,100},{4069,3699},{4130,200},{4162,1},{4394,3161},{4435,294},{4513,1016},{4574,4587},{4895,1320}
X(645){9,4076},{312,1016},{643,99},{644,643},{1043,4600},{1812,4567},{3287,9},{3700,8},{3737,261},{4560,333}
X(646){345,1016},{346,4076},{522,314},{650,8},{3699,668},{4140,2321},{4391,312},{4397,3596},{4560,4102}
X(647){3049,512},{3124,2351},{3269,6},{3708,2197}
X(648){6,250},{110,99},{112,107},{193,4590},{520,95},{523,264},{525,2},{647,1105},{651,662},{653,823},{850,83},{1625,110},{1636,1294},{1783,162},{1897,811},{1993,249},{2407,687},{2420,476},{2451,6},{2501,4},{3187,1016},{3569,98},{3732,799}
X(649){244,2350},{512,513},{665,3572},{798,667},{1015,6},{3063,663},{3121,42},{3122,58},{3125,1400},{3248,1},{3249,3248},{3271,56}
X(650){647,652},{657,3900},{661,3064},{663,513},{926,885},{1946,521},{2170,9},{2310,1},{3022,7},{3119,33},{3270,4},{3271,8},{3310,2432},{3709,663},{4041,522},{4516,21}
X(651){6,59},{57,4564},{101,100},{109,934},{218,1252},{222,1262},{513,7},{514,81},{521,77},{649,1476},{650,1},{652,21},{654,104},{657,2346},{665,105},{905,2},{1020,653},{1415,108},{1743,765},{1983,1290},{2283,927},{2427,901},{3063,1037},{3287,2298},{3669,57},{3676,1170},{3960,88},{4369,1258},{4383,1016},{4551,664},{4559,109},{4641,4567},{4905,1088}
X(652){647,650},{1946,1459},{2638,1},{3270,3}
X(653){109,664},{514,92},{522,7},{579,59},{650,29},{652,1},{1020,651},{1708,4564},{1723,765},{1783,1897},{3064,4}
X(654){2081,2600}
X(655){654,1},{900,7},{2245,59},{2600,3615}
X(656){125,201},{810,661},{2632,1},{2643,1820},{3708,63}
X(657){3022,55},{4524,3900}
X(658){279,1275},{514,7},{651,664},{657,1},{905,86},{934,4626},{1020,934},{1445,4564},{3676,1088},{3732,190},{4091,77},{4253,59},{4566,4569}
X(660){511,59},{659,1},{665,2},{875,292},{876,291},{926,3252},{1026,100},{1027,1280},{1757,765},{2238,1016},{3509,4564},{3570,3903}
X(661){115,2171},{512,4017},{810,656},{2084,798},{2632,2156},{2643,1},{3122,10},{3124,756},{3125,37},{3708,19},{3709,4041},{4079,512},{4155,876},{4516,65},{4705,523}
X(662){2,4564},{6,765},{48,1101},{58,4600},{81,4567},{100,99},{101,110},{110,1414},{163,162},{284,4570},{572,59},{649,2363},{651,648},{656,75},{661,1},{798,82},{822,775},{1019,81},{1021,21},{1577,2167},{1635,759},{1813,4558},{1924,31},{2617,811},{2642,897},{3733,757},{3737,86},{3882,190},{3888,670},{3909,668},{4251,1252},{4560,2185},{4575,4592},{4579,4577},{4585,3257}
X(663){810,1946},{2488,513},{3022,607},{3063,649},{3271,55},{3709,650},{4516,42}
X(664){1,4564},{2,1275},{100,190},{109,653},{145,1016},{226,4620},{514,85},{521,333},{522,2},{651,658},{693,86},{1999,4601},{2254,673},{2398,666},{2785,1952},{3669,1434},{3676,7},{3870,765},{3879,4600},{3882,799},{3888,4598},{3907,1220},{4025,75},{4105,9},{4449,1},{4453,903},{4458,335},{4467,1268},{4551,651},{4552,4554}
X(666){239,1016},{885,2481},{918,2},{2284,100},{2348,4076},{2398,664},{3573,99},{3766,83},{4435,1}
X(667){669,1919},{798,649},{1977,6},{3121,1333},{3122,1402},{3248,31}
X(668){8,1016},{72,4567},{190,4554},{319,4600},{321,4601},{329,1275},{513,2},{514,274},{661,1221},{693,75},{891,3227},{2533,10},{2895,4590},{3681,765},{3699,646},{3766,2481},{3869,4564},{3909,662},{3952,190},{4010,335},{4033,1978},{4036,321},{4083,1},{4106,7},{4132,1255},{4140,1920},{4391,76},{4397,312},{4462,85},{4553,100}
X(669){688,512},{1084,32},{2491,881}
X(670){69,4590},{314,4601},{512,2},{523,308},{668,799},{826,1241},{850,76},{888,3228},{1978,4602},{2979,249},{3221,6},{3267,1502},{3888,662},{4374,75},{4576,99}
X(671){67,2373},{316,83},{524,2},{690,99},{858,264},{1648,523},{4442,75}
X(672){665,2284},{926,2283},{2223,1458}
X(673){238,86},{291,3226},{516,7},{672,1},{812,190},{885,927},{1738,75},{2254,664},{3008,2}
X(675){3011,2}
X(677){2283,100},{2340,1252},{2424,103},{2426,101}
X(679){1,88},{244,1022},{513,3257}
X(685){879,98},{1692,4590},{2409,107},{2715,2966}
X(687){2407,648}
X(688){2531,3005}
X(689){99,4577},{1078,4590}
X(690){1648,524},{1649,523}
X(691){23,250},{187,249},{351,6},{2492,2}
X(692){31,1110},{32,1252},{41,2149},{663,2194},{667,31},{1919,1333},{1946,55},{1980,32},{2205,4567},{2209,765},{3063,6}
X(693){11,2},{522,4391},{523,514},{764,1086},{1086,76},{1111,75},{1358,4373},{1565,7},{1577,3261},{2486,10},{2530,513},{2968,189},{3120,321},{3126,918},{3675,335},{3837,4444},{4089,903},{4466,1446},{4516,257},{4858,85},{4939,312}
X(694){98,1987},{385,695},{446,232},{511,6},{882,805},{2086,512},{3229,2}
X(695){385,694},{1194,6}
X(699){385,251},{3229,6}
X(727){238,58},{1911,1438},{3009,6}
X(728){480,200},{3119,4130}
X(729){887,99},{3231,6}
X(732){782,880}
X(733){881,805},{2491,4630},{3852,4}
X(738){1407,269}
X(739){890,100},{3230,6}
X(740){804,874},{4037,3948},{4093,3747},{4433,3985}
X(741){875,813},{1755,57},{3286,58},{3747,6}
X(749){4446,75}
X(751){4443,75}
X(756){762,594},{1500,2171},{2643,4705},{3124,661},{4079,4103},{4092,4041}
X(757){58,593},{60,2185},{81,1509},{244,1019},{3733,662}
X(758){2610,4585},{4053,3936}
X(759){1,1168},{859,58},{1324,3453},{1635,662},{1769,162},{2173,57},{3285,81},{3724,6}
X(765){1,100},{6,662},{8,643},{9,190},{31,101},{41,4621},{44,3257},{78,3699},{200,644},{595,110},{678,1023},{756,1018},{896,2748},{1252,4564},{1612,107},{1621,99},{1713,823},{1723,653},{1724,162},{1743,651},{1757,660},{2209,692},{2280,4586},{3678,3952},{3681,668},{3692,1332},{3722,1},{3731,4606},{3747,813},{3811,1897},{3870,664},{3915,109},{3930,4562},{3949,4033},{3961,3903},{4712,1026}
X(771){770,1}
X(775){1,821},{822,662}
X(785){940,59},{2978,6}
X(789){1001,1016},{4613,4586},{4874,2}
X(798){1084,872},{2084,661},{3121,213},{4117,1}
X(799){99,4625},{190,99},{274,4601},{333,4600},{661,3112},{662,811},{668,670},{798,1},{1019,86},{1577,75},{3732,648},{3882,664},{4369,2},{4598,3222}
X(801){520,99}
X(804){2086,3978}
X(805){875,1967},{881,733},{882,694},{2076,249},{2421,110},{2422,2987},{2491,2}
X(811){162,823},{662,799},{664,99},{1577,1969},{1897,648},{2617,662}
X(812){4010,3766},{4124,1447},{4435,3716}
X(813){875,741},{1755,2149},{2284,101},{3572,292},{3747,765}
X(821){1,775},{661,823}
X(823){162,811},{653,648},{661,821},{822,1},{1019,837},{1021,29},{1577,92},{1713,765}
X(825){3250,6}
X(827){2,250},{32,249},{110,4577},{1576,4630},{1627,4590},{3005,6},{4628,4599}
X(835){1011,1252}
X(837){1019,823}
X(839){405,1016}
X(842){2493,2},{2781,4}
X(843){2502,6}
X(847){5,4},{6,2052},{523,925}
X(849){1333,593}
X(850){115,1502},{125,2},{338,76},{339,264},{525,3267},{826,523},{4036,1577}
X(858){1560,2}
X(860){2245,3936}
X(869){3774,2276}
X(870){4724,190}
X(872){1084,798}
X(873){86,1509},{3248,1019}
X(874){659,239},{804,740},{3766,350}
X(876){2254,513},{4155,661}
X(877){2421,2396}
X(879){878,2395}
X(880){782,732}
X(881){2491,669}
X(882){3569,512}
X(883){3126,2}
X(885){926,650},{4124,8},{4435,4560}
X(886){888,2}
X(888){1645,538}
X(889){891,2}
X(891){1646,536}
X(892){524,4590},{690,2}
X(893){238,292},{649,4603},{904,1431},{1193,6},{2309,1}
X(894){1215,1909},{2295,171},{3287,4579},{4459,4374}
X(895){3292,3}
X(897){896,1},{2642,662}
X(898){890,6},{3230,1016}
X(900){1647,519},{2087,4358},{4120,3762},{4530,3911},{4730,1635},{4895,1639}
X(901){36,59},{101,4638},{649,2226},{902,1252},{1960,6},{2183,1262},{2423,2990},{2427,651},{3310,2},{4491,58}
X(902){1017,6},{2251,1404}
X(903){320,86},{519,2},{900,190},{908,85},{1266,75},{1647,514},{3007,264},{4049,4615},{4089,693},{4453,664},{4674,88},{4887,7}
X(904){1197,6},{1914,1911},{2300,31},{4161,1}
X(905){647,1459},{652,521},{656,4025},{1364,7},{3937,69},{3942,63},{4466,1214}
X(906){652,2193},{1802,1110},{1946,3}
X(907){3804,6}
X(908){1537,7},{2183,1785}
X(909){1404,6},{1635,101}
X(913){2183,19}
X(914){2252,1737}
X(915){517,4},{2361,1172}
X(917){516,4}
X(918){3126,693},{3675,3263}
X(919){659,251},{665,6},{884,105},{1914,1252},{2223,59},{2426,109},{2440,1462}
X(921){255,1},{1820,63}
X(923){922,31}
X(925){26,250},{523,847},{686,2986},{2501,2}
X(927){241,1275},{659,57},{676,2},{885,673},{1279,1016},{2283,651},{2424,2989}
X(930){523,1487},{2937,250}
X(931){2303,4567}
X(932){190,100},{1919,81}
X(933){4,250},{523,1166},{571,249},{647,288},{1510,4},{2485,2984},{2623,275}
X(934){56,1262},{109,651},{513,57},{663,1170},{1020,658},{1407,1275},{1420,4564},{1459,81},{1461,4617},{1616,1016},{1617,59},{1633,100},{1769,88},{2605,2982},{3669,279},{3676,1014},{3941,2149},{4367,961}
X(935){690,4}
X(940){2268,958}
X(941){2258,959},{4263,6}
X(943){523,100},{2259,2982}
X(947){1208,84},{3900,101}
X(953){2818,4}
X(958){2268,940}
X(959){834,109},{2258,941},{2277,2}
X(960){1682,4267},{2269,3666}
X(961){523,108},{3733,109},{4367,934}
X(963){2187,6},{4322,1}
X(966){968,3485},{2271,4207}
X(969){3931,2}
X(972){1456,1}
X(979){8,1}
X(982){3056,3061},{3721,3662},{3777,3888},{3778,2275}
X(983){3744,1},{4083,100}
X(984){1491,3799},{3250,3807},{4475,1491}
X(985){1386,1},{4475,513},{4782,100}
X(996){4893,190}
X(1000){45,2}
X(1002){2276,2}
X(1010){612,2303}
X(1014){56,1412},{57,1434},{58,81},{1019,4637},{1408,1396},{1428,1462},{3676,934},{3733,4565},{4401,100}
X(1015){3121,3248},{3122,244},{3248,1357}
X(1016){1,99},{2,190},{6,100},{8,668},{145,664},{192,4621},{239,666},{312,645},{344,4554},{345,646},{346,3699},{405,839},{519,4555},{594,3952},{940,4606},{1001,789},{1191,1310},{1265,4561},{1279,927},{1616,934},{2176,101},{2238,660},{2295,1018},{3187,648},{3230,898},{3241,4597},{3759,4573},{3932,4583},{3969,4033},{4366,3570},{4383,651},{4393,4586},{4422,2},{4513,644},{4687,4633}
X(1018){512,1},{661,37},{756,765},{798,42},{2295,1016},{3700,9},{4041,10},{4120,2250},{4151,3294},{4171,210},{4557,4551},{4729,65},{4730,4674}
X(1019){244,757},{649,3733},{1015,1},{1086,57},{1977,87},{3248,873},{3937,269},{3960,1022}
X(1020){647,1},{656,1439},{661,65},{822,73},{4017,3668},{4559,4551}
X(1021){1146,9},{2310,1098},{3270,1}
X(1022){244,679},{1635,513},{1769,3676},{2087,1},{2170,1168},{3960,1019}
X(1023){678,765},{1635,44},{3251,1},{4895,519}
X(1024){884,1027}
X(1025){2284,1026}
X(1026){2254,518},{2284,1025},{4712,765}
X(1027){884,1024}
X(1029){79,7},{81,2}
X(1031){83,2}
X(1032){4,69},{1073,2}
X(1034){4,8},{282,2}
X(1036){1245,1039}
X(1037){3063,651}
X(1039){1245,1036}
X(1041){3669,108}
X(1042){1402,1400}
X(1043){78,1792},{200,2287},{2287,333},{2328,2322},{4319,4183},{4397,3699}
X(1061){1905,4}
X(1068){46,4}
X(1069){255,3}
X(1073){6,3},{185,69},{647,1301}
X(1081){553,554}
X(1084){4117,1356}
X(1086){244,1358},{764,693},{1015,2969},{2170,11},{3120,1111},{3125,244},{3937,1565},{4534,3756}
X(1088){7,85},{269,1847},{1699,92},{2310,514},{3668,279},{3673,75},{3676,658},{4905,651}
X(1089){115,1577},{1109,4036},{2643,4024}
X(1092){417,3}
X(1093){235,4},{393,2052}
X(1096){1973,19}
X(1098){2310,1021}
X(1100){1962,1125}
X(1101){31,163},{47,162},{48,662},{255,4575},{2150,4556}
X(1105){647,648},{1885,4}
X(1106){1397,604}
X(1107){3728,3741}
X(1110){31,692},{32,163},{41,101},{212,3939},{1802,906}
X(1111){11,4858},{3120,1086}
X(1113){523,1114},{2574,4}
X(1114){523,1113},{2575,4}
X(1118){608,278},{1096,393},{1426,34}
X(1119){34,278},{1407,279},{1426,1435},{1842,27},{1851,4},{3937,3669}
X(1120){1635,190},{2325,2}
X(1121){527,2}
X(1122){1201,3752}
X(1123){2362,4},{3086,1336}
X(1125){1100,553},{1213,4359},{1962,1100},{2308,1839},{3683,3686}
X(1126){6,1171},{512,101},{1203,58},{2605,109},{3733,100}
X(1131){3068,2},{3146,1132}
X(1132){3069,2},{3146,1131}
X(1134){3273,3602}
X(1136){3275,3604}
X(1138){74,4},{1989,2}
X(1139){3394,3397}
X(1140){3380,3370}
X(1141){231,2},{2070,1166}
X(1143){1489,2}
X(1146){2310,11},{3119,4081},{3270,2968}
X(1156){1155,1},{1776,21},{3887,100}
X(1157){2914,3470}
X(1166){523,933},{973,4},{2070,1141}
X(1167){1946,101}
X(1168){1,759},{6,88},{513,2222},{661,3257},{2170,1022}
X(1169){6,2298},{650,112},{667,110}
X(1170){6,1174},{663,934},{1174,2346},{3676,651}
X(1171){6,1126},{649,110},{4057,99},{4272,1}
X(1172){6,284},{33,29},{607,2299},{663,108},{1859,4},{2082,333},{2194,21},{2264,9},{2299,28},{2332,4183},{2361,915},{3064,1783}
X(1173){6,288},{1199,54},{1510,110}
X(1174){6,1170},{513,101},{1202,57},{2078,2291}
X(1175){6,2982},{513,110},{1946,112}
X(1176){3,1799},{525,110},{3049,4558}
X(1177){690,110},{1205,67},{3455,111}
X(1193){2092,3666},{3725,2300}
X(1211){2092,429}
X(1212){2293,354}
X(1213){1962,3649}
X(1214){71,72},{73,1439},{201,307},{520,4566},{1409,65},{2197,73},{4466,905}
X(1215){2295,4032}
X(1217){1593,4}
X(1219){2345,2},{3677,7},{4765,190},{4853,8}
X(1220){1,2363},{661,190},{3737,100},{3907,664},{4071,335},{4086,1897}
X(1221){661,668}
X(1222){1,1476},{650,190}
X(1231){1214,1441}
X(1240){1577,1978},{3831,2}
X(1241){826,670},{4580,99}
X(1245){3804,4557}
X(1246){386,2}
X(1247){21,1}
X(1248){29,1}
X(1249){6,3344},{154,20}
X(1252){6,101},{31,110},{32,692},{55,100},{218,651},{219,644},{220,3939},{595,4628},{902,901},{1011,835},{1110,59},{1260,1331},{1500,4557},{1914,919},{2220,163},{2340,677},{2911,1783},{3052,109},{3190,1897},{3688,3903},{3690,3952},{3730,190},{4251,662}
X(1254){181,2171},{1365,4017}
X(1255){661,100},{1019,190},{3723,1},{4132,668}
X(1256){1413,84}
X(1257){656,100},{1021,190}
X(1258){798,100},{4369,651}
X(1259){2289,394},{3682,78}
X(1260){1802,219},{2318,200}
X(1261){657,644},{4546,4578}
X(1262){6,109},{48,110},{56,934},{57,4565},{198,100},{222,651},{1407,1461},{1425,4566},{1461,4619},{2149,59},{2178,108},{2183,901},{3207,101}
X(1263){1154,5}
X(1264){1259,345},{3719,3926}
X(1265){1260,346},{3692,345},{3710,341}
X(1268){523,190},{3634,2},{3989,1},{4021,7},{4129,1978},{4467,664}
X(1269){4647,4359}
X(1270){1151,3535}
X(1271){1152,3536}
X(1273){128,2}
X(1275){2,664},{7,4569},{63,99},{85,4573},{144,190},{220,100},{241,927},{269,4616},{279,658},{329,668},{348,4554},{908,4555},{1407,934}
X(1278){4050,4903}
X(1280){1027,660},{2254,100},{3693,2},{4864,1}
X(1284){3747,2238}
X(1289){525,4}
X(1290){1983,651}
X(1292){3669,1}
X(1293){3939,101}
X(1294){1636,648},{1990,2}
X(1295){1455,1}
X(1297){232,2},{248,2987},{684,110},{2881,112}
X(1300){30,4},{50,275}
X(1301){520,4},{647,1073},{3515,250}
X(1304){186,250},{526,4},{686,2052},{3003,249}
X(1306){1151,249}
X(1307){1152,249}
X(1309){654,275},{900,4},{2432,2988}
X(1310){834,81},{1191,1016}
X(1317){678,4370}
X(1318){55,2316}
X(1319){902,44}
X(1320){2316,88},{3689,9},{3738,100},{3880,8},{4511,21},{4895,644}
X(1323){1155,527},{3321,7},{3328,514}
X(1327){3830,1328}
X(1328){3830,1327}
X(1331){521,283},{647,1796},{652,63},{656,1794},{810,2359},{906,1813},{1260,1252},{1459,3},{2289,4564},{3682,4570},{4574,1332}
X(1332){521,69},{647,1791},{905,63},{906,100},{1459,1444},{3692,765},{3998,4567},{4574,1331},{4587,4571}
X(1333){31,58},{32,2206},{604,1474},{649,1415},{1919,692},{2206,1408},{2300,6},{3121,667}
X(1334){4524,4557}
X(1336){3086,1123}
X(1342){3203,1343}
X(1343){3203,1342}
X(1356){4117,1084}
X(1357){3248,1015}
X(1358){244,1086},{764,3669}
X(1365){2643,115}
X(1370){3162,2}
X(1376){4014,4449}
X(1379){512,1380}
X(1380){512,1379}
X(1381){513,1382},{2590,57}
X(1382){513,1381},{2591,57}
X(1390){1491,100}
X(1392){3885,8}
X(1393){51,1953}
X(1394){154,610},{3213,57}
X(1395){1974,1973}
X(1396){1407,1412},{1408,1014},{1474,28}
X(1397){560,32}
X(1398){1395,608}
X(1400){181,65},{213,42},{1402,1042},{2333,2357},{3122,4017},{3125,649},{3725,1}
X(1401){1964,39}
X(1402){1918,213},{3122,667}
X(1403){1423,56},{2209,2176}
X(1404){2251,902}
X(1407){604,56},{608,1413},{1042,269}
X(1408){604,1412},{2206,1333}
X(1409){2200,228}
X(1411){1404,57},{1457,56},{2087,3669}
X(1412){56,1014},{604,1408},{1333,58},{1407,1396},{3669,1461}
X(1413){608,1407},{1106,56},{2208,1436}
X(1414){56,4564},{109,4565},{110,662},{651,4573},{1019,1434},{1412,4620},{3737,81},{4017,57},{4565,4637}
X(1415){604,2149},{649,1333},{667,56},{1397,59},{1946,603},{3063,31}
X(1418){1475,354}
X(1419){3207,165}
X(1420){1743,57},{3052,1743}
X(1422){34,269},{1407,57},{1436,84},{3554,1}
X(1423){2176,43},{3212,57}
X(1424){1613,1740}
X(1427){1254,3668},{1400,65},{1410,1439},{3125,4017}
X(1428){2210,1914}
X(1429){1284,1447},{1914,238}
X(1431){904,893},{3121,3669}
X(1432){893,256},{3122,3676}
X(1433){6,222},{603,3},{2188,268}
X(1434){57,1014},{81,86},{553,7},{1019,1414},{3669,664},{3674,85},{3946,2},{4380,190}
X(1435){608,34},{1106,269},{1426,1119}
X(1436){25,56},{604,6},{2208,1413},{2357,84},{3270,513}
X(1437){48,1790},{603,58}
X(1438){1911,727},{2210,58},{3572,2702}
X(1439){73,1214},{656,1020},{1410,1427}
X(1440){84,189},{269,7},{278,279},{3086,2}
X(1441){10,321},{12,226},{226,1446},{442,2},{523,4552},{1211,76},{1214,1231},{3925,10},{4404,4033}
X(1442){35,3219},{2594,2003}
X(1443){36,3218}
X(1444){3,1790},{77,86},{283,1812},{1437,81},{1459,1332},{1473,58},{3916,63}
X(1445){218,3870},{1617,4350}
X(1446){226,1441},{4466,693}
X(1447){238,239},{1284,1429},{4124,812}
X(1449){4258,4512}
X(1458){2223,672}
X(1459){647,905},{1946,652},{3270,6},{3937,3}
X(1461){649,56},{1407,1262},{1415,109},{2425,2720},{3310,106},{3669,1412}
X(1462){1428,1014},{1438,105},{1456,269},{2440,919}
X(1463){3009,1575}
X(1464){3724,2245}
X(1465){1361,7},{2183,517}
X(1469){869,2276}
X(1472){2281,2221}
X(1474){25,28},{604,1333},{1973,2203},{2204,2299},{2206,58},{2354,19}
X(1476){1,1222},{649,651},{3667,100}
X(1477){672,57}
X(1487){523,930}
X(1488){1,174}
X(1490){64,3473},{207,1},{1035,3341}
X(1491){4475,984}
X(1492){182,59},{1491,1}
X(1494){30,2},{265,2986},{340,95},{1650,525},{3268,99},{3580,76}
X(1498){64,3637},{1033,3343}
X(1500){872,181},{3124,4079}
X(1502){115,850},{626,2},{3267,670},{3314,327}
X(1509){81,757},{86,873},{757,552},{1019,99},{1977,3733},{2185,261}
X(1510){137,143}
X(1565){3937,1086}
X(1575){3009,1463}
X(1576){669,32},{1501,249},{2531,3051},{3049,6}
X(1577){115,1089},{523,4077},{1109,75},{2643,561},{3120,313},{3700,4086},{3708,1},{4024,523},{4036,850},{4466,226}
X(1580){2236,1966}
X(1581){1821,1956},{1959,1},{2227,75}
X(1585){371,492},{1993,1586}
X(1586){372,491},{1993,1585}
X(1613){194,6}
X(1634){688,6},{2525,3},{3005,39}
X(1635){2087,44},{3251,513},{4730,900}
X(1638){3328,7}
X(1639){4530,2325},{4542,8},{4543,522},{4895,900}
X(1659){482,7}
X(1670){3202,1671}
X(1671){3202,1670}
X(1676){32,1677}
X(1677){32,1676}
X(1698){3715,4007},{4802,4756}
X(1708){2911,3811}
X(1737){2252,914}
X(1740){1613,1424}
X(1743){3052,1420},{3158,1},{4849,145}
X(1745){1148,1}
X(1748){563,1},{2180,47}
X(1751){71,1},{440,226}
X(1760){4456,22},{4463,315}
X(1783){650,281},{657,4183},{692,100},{2509,2},{2911,1252},{3064,1172},{3700,2298},{3900,1},{4559,101}
X(1785){1846,4},{2183,908}
X(1790){3,1444},{48,1437},{222,81},{905,1813},{2193,283},{4091,4556},{4303,77}
X(1791){3,1798},{647,1332}
X(1792){78,1043},{1260,2327},{2327,1812}
X(1794){656,1331}
X(1795){2252,63}
X(1796){647,1331}
X(1798){3,1791},{521,110}
X(1799){3,1176},{647,4563},{1176,83},{3267,99}
X(1800){3157,3193}
X(1804){255,394},{1364,4091}
X(1805){1437,1806}
X(1806){1437,1805}
X(1812){63,333},{78,332},{219,283},{283,1444},{652,4571},{2193,21},{2327,1792}
X(1813){219,59},{652,3},{905,1790},{906,1331},{1459,77},{4091,63}
X(1815){916,69}
X(1817){198,2360}
X(1820){2643,656}
X(1821){293,336},{1580,3112},{1733,75},{1755,1},{1756,86},{3404,1910}
X(1822){656,1823},{810,2577},{2578,63},{2584,1}
X(1823){656,1822},{810,2576},{2579,63},{2585,1}
X(1824){181,42},{213,37},{2333,1880}
X(1826){42,10},{430,4},{1824,225},{2171,37}
X(1829){2300,3666}
X(1839){2308,1125}
X(1843){3051,39}
X(1847){269,1088},{278,273},{3942,3676}
X(1848){1193,4357}
X(1855){2293,4847}
X(1857){607,281},{1824,33}
X(1861){672,3912}
X(1870){1464,36},{1845,4}
X(1877){1404,3911}
X(1880){1402,65},{2333,1824},{3125,2501},{4516,4017}
X(1896){4,29},{1859,281}
X(1897){101,190},{522,318},{1783,653},{3064,92},{3189,4076},{3190,1252},{3239,2},{3811,765},{3900,2322},{4028,4600},{4064,10},{4086,1220},{4551,100}
X(1903){1400,37},{1824,65}
X(1909){1215,894},{3963,1920}
X(1910){1933,82},{2312,19},{3404,1821}
X(1911){1914,904},{2223,31}
X(1914){2210,1428},{3747,238}
X(1916){290,1972},{325,2},{698,76}
X(1919){669,667},{1924,1980},{1977,32},{3249,1977}
X(1920){3963,1909},{4140,668}
X(1921){3948,350},{3975,4087}
X(1924){4117,560}
X(1929){238,1}
X(1936){851,243}
X(1940){1950,1943}
X(1943){1950,1940}
X(1944){1951,243}
X(1946){810,663}
X(1952){2785,664}
X(1953){51,1393},{2179,2181}
X(1956){240,1},{1821,1581}
X(1959){1755,240}
X(1966){2236,1580},{4039,385}
X(1967){875,805},{1755,31}
X(1969){75,561},{349,76},{1577,811}
X(1972){290,1916},{297,2}
X(1973){560,31},{1974,1395}
X(1974){1084,2489},{1501,32}
X(1976){1692,6},{2422,2715},{2491,112}
X(1977){3249,1919}
X(1978){306,4600},{514,75},{668,4572},{693,310},{1577,1240},{3261,76},{3835,2},{4033,668},{4079,10},{4129,1268},{4568,190}
X(1980){1924,1919}
X(1983){215,59},{654,4282},{2624,2245}
X(1987){98,694},{232,6}
X(1988){4,6}
X(1989){1495,4},{3003,6}
X(1990){1495,30}
X(1992){1384,4232}
X(1993){52,317},{571,24}
X(1994){2965,3518}
X(2003){2174,35},{2594,1442}
X(2006){1319,7},{1465,57},{1647,3676},{2161,80},{2182,4}
X(2009){511,2010}
X(2010){511,2009}
X(2051){2092,10},{2171,1},{4642,75},{4858,514}
X(2052){4,264},{6,847},{53,4},{393,1093},{686,1304},{2501,107},{3269,523}
X(2053){9,55},{292,2115}
X(2054){292,2107},{3747,42}
X(2060){3183,20}
X(2065){3,98},{6,2987},{512,2715}
X(2086){2679,3124}
X(2089){173,174}
X(2099){2177,45}
X(2106){2664,2669}
X(2107){292,2054},{2238,42}
X(2109){292,6},{727,2162},{1929,2248}
X(2111){292,1},{673,57}
X(2113){292,2}
X(2115){292,2053},{2195,55}
X(2121){54,5}
X(2123){56,8}
X(2124){1615,2951}
X(2125){57,9}
X(2127){58,10}
X(2129){63,19}
X(2131){64,20}
X(2133){74,30}
X(2135){81,37}
X(2137){9,57},{3445,1}
X(2139){25,69}
X(2141){514,101}
X(2143){99,512}
X(2145){292,238}
X(2147){292,365}
X(2148){31,2190},{48,2168},{661,163}
X(2149){6,163},{31,109},{41,692},{48,101},{604,1415},{1755,813},{2352,108},{3185,100},{3724,2222},{3941,934}
X(2150){1333,2189},{2194,60}
X(2153){2173,2154}
X(2154){2173,2153}
X(2155){1973,31}
X(2156){560,1},{2632,661}
X(2157){922,1}
X(2159){2624,163}
X(2160){2260,6},{2308,1},{4516,513}
X(2161){902,1},{2183,6},{4730,100}
X(2162){1,6},{649,4598},{727,2109},{893,2248},{2309,58}
X(2163){995,1}
X(2164){48,6}
X(2165){184,4},{216,6},{2351,68}
X(2166){1725,1},{2173,92}
X(2167){48,2169},{822,162},{1577,662},{2148,2190}
X(2168){48,2148}
X(2169){48,2167},{656,4575}
X(2170){3271,244},{4516,11}
X(2171){115,661},{181,1254},{1500,756},{3708,4024}
X(2175){1918,2212}
X(2176){43,6},{2209,1403}
X(2181){2179,1953}
X(2183){3310,2427}
X(2184){19,1},{774,75},{1427,2},{1903,4}
X(2185){21,261},{60,757},{284,60},{2150,270},{2170,3737},{4560,662}
X(2186){3116,75}
X(2188){41,48},{184,212}
X(2189){1333,2150},{2299,270}
X(2190){31,2148},{1825,4},{2148,2167}
X(2191){41,57},{2293,6},{3020,513}
X(2192){31,55},{607,6}
X(2193){48,284},{212,283},{652,906}
X(2194){31,2299},{41,284},{663,692}
X(2197){3708,647}
X(2201){862,242},{2210,238}
X(2203){1397,2206},{1973,1474}
X(2204){2212,2299}
X(2206){32,1333},{1397,2203}
X(2207){1974,25},{3124,2489}
X(2208){1397,31},{1973,604}
X(2209){2176,31}
X(2212){1918,2175}
X(2214){4834,100}
X(2216){2618,162}
X(2217){1402,6}
X(2218){228,6}
X(2221){2281,1472}
X(2222){513,1168},{1635,57},{1769,1},{3724,2149}
X(2226){6,106},{649,901}
X(2238){3747,1284},{4094,1},{4154,2295},{4155,3573}
X(2245){2088,2610},{2624,1983},{3724,1464}
X(2248){58,6},{893,2162},{1929,2109}
X(2250){3724,1},{4120,1018}
X(2254){3675,518}
X(2258){2484,101}
X(2259){661,101}
X(2275){3778,982}
X(2276){788,3799},{869,1469},{3774,869}
X(2279){869,1}
X(2283){665,241},{926,672},{1362,59},{2254,3286}
X(2284){665,672},{926,518}
X(2285){1460,4320}
X(2287){9,2322},{200,1043},{219,2327},{220,2328},{657,4578},{2328,21},{3239,644},{3965,346}
X(2289){3990,219}
X(2291){1055,6},{2078,1174}
X(2295){4128,4367},{4154,2238}
X(2297){612,1}
X(2298){6,1169},{512,100},{3287,651},{3700,1783},{3745,1}
X(2299){31,2194},{607,1172},{2204,1474},{2212,2204}
X(2300){3725,1193}
X(2303){612,1010}
X(2310){3022,3119}
X(2316){55,1318},{654,101},{2323,284},{2342,102}
X(2318){3690,210}
X(2319){8,9},{2053,87},{3056,1}
X(2320){2364,89},{3877,8}
X(2321){210,10},{2318,3710},{3949,3694},{4046,8},{4140,646},{4171,4069},{4515,4082},{4516,522}
X(2322){9,2287},{2328,1043},{3900,1897},{4183,29}
X(2323){2361,36}
X(2324){198,9}
X(2325){3689,519},{4152,8},{4530,1639},{4542,522},{4543,3699}
X(2327){219,2287},{1260,1792}
X(2328){55,4183},{220,2287},{3900,3939}
X(2329){2330,171},{4477,4579}
X(2331){2187,40},{3195,208},{3209,19}
X(2333){1918,42}
X(2334){1191,56}
X(2338){672,9}
X(2339){2268,1}
X(2341){4895,643}
X(2342){902,55},{4895,3939}
X(2345){612,388}
X(2346){514,100},{657,651},{1174,1170},{3748,1}
X(2349){1725,75},{2173,1},{2631,162}
X(2350){244,649},{872,1}
X(2351){418,184},{3124,647}
X(2352){2198,579}
X(2353){1501,6},{3269,512}
X(2357){1402,42},{2333,1400}
X(2359){810,1331}
X(2360){198,1817},{221,3194}
X(2363){1,1220},{522,162},{649,662}
X(2364){4266,9}
X(2373){67,671},{468,2}
X(2374){524,4}
X(2383){1154,4}
X(2394){1637,523},{3134,264}
X(2395){878,879},{2491,512}
X(2396){2421,877},{2491,511},{2799,325}
X(2397){2804,3262},{3310,517}
X(2398){676,516},{3234,190}
X(2400){676,514}
X(2401){3310,513}
X(2407){1637,30},{2420,4240},{3233,99}
X(2419){2799,3267}
X(2420){1636,3284}
X(2421){684,325},{3569,511}
X(2422){2086,6}
X(2423){2087,6}
X(2427){3310,2183}
X(2432){3310,650}
X(2433){2088,6}
X(2435){3569,525}
X(2479){525,2480}
X(2480){525,2479}
X(2481){239,274},{518,2},{885,666},{918,4554},{3766,668},{4124,514}
X(2489){669,512},{1084,1974},{2971,25},{3124,2207}
X(2501){115,393},{512,523},{2971,264},{3124,25},{3125,1880}
X(2574){125,2575}
X(2575){125,2574}
X(2576){661,2577},{810,1823},{2578,19}
X(2577){661,2576},{810,1822},{2579,19}
X(2578){3708,2579}
X(2579){3708,2578}
X(2580){661,2587},{1577,2581},{2576,2586},{2578,1},{2582,92},{2588,75}
X(2581){661,2586},{1577,2580},{2577,2587},{2579,1},{2583,92},{2589,75}
X(2582){2578,2588},{3708,2589}
X(2583){2579,2589},{3708,2588}
X(2584){2632,2585}
X(2585){2632,2584}
X(2586){661,2581},{2576,2580},{2588,158}
X(2587){661,2580},{2577,2581},{2589,158}
X(2588){1109,2589},{2578,2582},{3708,2583}
X(2589){1109,2588},{2579,2583},{3708,2582}
X(2590){2170,2591}
X(2591){2170,2590}
X(2592){338,2593},{1313,264}
X(2593){338,2592},{1312,264}
X(2594){2611,2605}
X(2600){2081,654}
X(2605){2611,2594}
X(2610){2088,2245}
X(2614){245,1}
X(2616){1109,1}
X(2617){2618,1}
X(2623){115,6}
X(2629){2633,1}
X(2636){2639,1}
X(2640){2644,1}
X(2648){1936,1}
X(2651){1758,415}
X(2652){851,65}
X(2656){243,1}
X(2659){2655,416}
X(2660){851,73}
X(2665){239,1}
X(2669){2664,2106}
X(2687){2778,4}
X(2702){3572,1438},{4455,58}
X(2715){237,250},{512,2065},{878,98},{1691,249},{2422,1976},{3569,6}
X(2718){2265,57}
X(2720){654,57},{900,3450},{1319,59},{2425,1461}
X(2742){1155,59}
X(2748){896,765}
X(2799){868,325}
X(2858){754,4590}
X(2867){2435,287}
X(2895){1030,451}
X(2951){1615,2124}
X(2963){570,6}
X(2966){385,4590},{879,290},{2395,98},{2715,685},{2799,2},{4226,99}
X(2968){3270,1146}
X(2969){1015,1086}
X(2970){115,338}
X(2971){1084,3124}
X(2982){6,1175},{647,108},{2259,943},{2605,934}
X(2983){647,101}
X(2984){2485,933}
X(2985){6,3450},{2605,99}
X(2986){265,1494},{526,99},{686,925},{2072,264},{2433,476}
X(2987){6,2065},{248,1297},{1570,6},{2422,805},{3569,110}
X(2988){2432,1309}
X(2989){2424,927}
X(2990){654,100},{2423,901}
X(2991){665,100}
X(2992){15,2},{340,2993}
X(2993){16,2},{340,2992}
X(2994){63,2},{1479,7}
X(2995){65,2}
X(2996){69,2},{1368,264}
X(2997){72,2}
X(2998){76,2},{3981,4}
X(2999){4646,3672}
X(3005){2531,688}
X(3008){3021,7}
X(3020){1015,244}
X(3051){2531,1576},{3118,141}
X(3053){3167,6},{3787,193}
X(3057){2347,3752}
X(3061){3056,982}
X(3062){57,1},{3119,514}
X(3064){661,650},{663,522},{2170,19},{2310,158},{4516,225}
X(3065){36,1},{74,3466}
X(3108){3005,110}
X(3112){1,82},{661,799},{1215,2},{1580,1821},{4040,190}
X(3114){3288,99}
X(3115){384,83}
X(3119){3022,2310}
X(3120){2643,3125}
X(3122){3124,3125}
X(3124){1084,2971},{2679,2086}
X(3125){2643,3120},{3124,3122}
X(3144){2907,4}
X(3158){4936,9}
X(3160){165,144}
X(3161){3158,145},{4394,644},{4534,4521}
X(3163){3081,30}
X(3179){202,1}
X(3186){1613,194}
X(3193){46,3559},{1800,21},{3157,1800}
X(3194){221,2360}
X(3212){43,192}
X(3213){3172,204}
X(3216){3159,1}
X(3218){36,1443},{758,320},{2245,36},{2323,4511},{3960,4585}
X(3219){35,1442},{3678,319}
X(3222){670,99},{4598,799}
X(3223){75,1}
X(3224){2,6}
X(3225){694,98},{698,2},{3978,83}
X(3226){291,673},{350,86},{659,190},{726,2}
X(3227){536,2},{891,668},{1646,513},{3999,7}
X(3228){538,2},{888,670},{1645,512}
X(3230){1646,3768}
X(3239){1146,346},{2310,341},{3119,200},{3900,522},{4081,8},{4130,4163},{4171,3900}
X(3248){3121,1015},{3249,649}
X(3252){926,660}
X(3257){44,765},{100,4618},{513,679},{661,1168},{1022,88},{1023,100},{1635,1},{1769,75},{2827,7},{3218,4564},{3960,2},{4585,662}
X(3260){113,2}
X(3261){116,2},{1111,561},{1577,693},{4466,86},{4858,75}
X(3262){119,2},{2804,2397}
X(3263){120,2},{3675,918},{3932,3912},{4437,76}
X(3264){121,2},{1647,3762},{3992,4358}
X(3265){122,2},{520,525},{2972,394}
X(3266){126,2}
X(3267){127,2},{339,305},{525,850},{2525,525},{2799,2419}
X(3268){3258,2}
X(3284){1636,2420}
X(3286){2254,2283}
X(3293){4065,1}
X(3294){4151,1018}
X(3296){4295,4}
X(3307){11,3308},{2446,1}
X(3308){11,3307},{2447,1}
X(3316){1587,4},{3525,3317}
X(3317){1588,4},{3525,3316}
X(3341){6,3352},{1035,1490}
X(3342){6,223},{208,40}
X(3343){6,3349},{1033,1498}
X(3344){6,1249}
X(3345){34,1},{64,84},{1436,57}
X(3346){64,4},{393,2}
X(3347){64,1}
X(3348){64,3}
X(3349){6,3343}
X(3350){6,3356}
X(3352){6,3341}
X(3354){64,40}
X(3356){6,3350}
X(3362){4,1}
X(3364){3206,3365}
X(3365){3206,3364}
X(3366){62,3367}
X(3367){62,3366}
X(3370){3380,1140}
X(3373){372,3374}
X(3374){372,3373}
X(3375){1095,1}
X(3381){3396,3382}
X(3382){3396,3381}
X(3384){1094,1}
X(3387){371,3388}
X(3388){371,3387}
X(3389){3205,3390}
X(3390){3205,3389}
X(3391){61,3392}
X(3392){61,3391}
X(3397){3394,1139}
X(3413){115,3414}
X(3414){115,3413}
X(3422){1064,1}
X(3431){566,2}
X(3433){2175,6}
X(3435){1364,513},{1397,6}
X(3436){478,2}
X(3437){2206,6}
X(3438){186,3439}
X(3439){186,3438}
X(3440){74,3441},{3438,3490},{3457,6}
X(3441){74,3440},{3439,3489},{3458,6}
X(3442){3518,3443}
X(3443){3518,3442}
X(3444){1333,6}
X(3445){55,6},{1357,513},{2347,57}
X(3446){692,6}
X(3447){1576,6}
X(3449){4367,110}
X(3450){6,2985},{900,2720},{4057,109}
X(3451){667,109},{4394,101}
X(3452){3057,3663}
X(3453){1324,759},{4057,110}
X(3457){1495,3458}
X(3458){1495,3457}
X(3459){54,4},{2963,2}
X(3461){54,1}
X(3463){54,3}
X(3466){74,3065},{1870,1}
X(3467){35,1},{54,3469}
X(3469){54,3467}
X(3470){2914,1157}
X(3471){1511,30}
X(3473){64,1490}
X(3485){968,966}
X(3489){54,3490},{3439,3441}
X(3490){54,3489},{3438,3440}
X(3497){172,1}
X(3500){2275,1},{4000,57}
X(3504){69,3}
X(3512){1914,1}
X(3513){1362,3514}
X(3514){1362,3513}
X(3518){2965,1994}
X(3519){1216,3}
X(3527){1181,3}
X(3532){154,6}
X(3535){1151,1270}
X(3536){1152,1271}
X(3542){155,4}
X(3551){982,1},{3959,57}
X(3559){46,3193},{3193,29}
X(3563){511,4}
X(3565){2489,2},{4558,110}
X(3570){812,239},{3716,350},{4148,3685},{4366,1016}
X(3572){665,649}
X(3573){659,238},{4155,2238},{4435,239}
X(3577){2099,1}
X(3580){3003,403}
X(3596){11,4391},{312,76},{1329,2},{2804,4582},{3701,312},{3703,8},{3704,321},{4397,646}
X(3602){3273,1134}
X(3603){3274,357}
X(3604){3275,1136}
X(3613){338,523},{1506,2}
X(3615){1146,4560},{2600,655}
X(3616){4512,391}
X(3618){3796,3785}
X(3634){3723,3982}
X(3637){64,1498}
X(3649){1962,1213}
X(3661){824,3807},{1491,4505}
X(3662){3061,3705},{3721,982}
X(3663){3057,3452},{4642,3752}
X(3665){38,141}
X(3666){2092,1193},{2269,960},{2292,4357},{2300,1829}
X(3667){3756,145},{4162,4521},{4521,514},{4729,4394}
X(3668){65,226},{1254,1427},{1834,2},{3914,10},{4017,1020}
X(3669){244,269},{649,513},{764,1358},{1015,56},{1357,7},{2087,1411},{2170,34},{3020,57},{3121,1431},{3271,479},{3937,1119},{4017,3676}
X(3672){4646,2999}
X(3673){3914,4000}
X(3674){3666,4357}
X(3676){11,278},{244,57},{513,514},{1086,279},{1358,7},{1647,2006},{1769,1022},{3020,85},{3122,1432},{3756,2},{3942,1847},{4017,3669}
X(3679){3711,4873},{4777,4767},{4814,4752},{4908,4945}
X(3680){200,9},{244,522},{2098,1},{3893,8}
X(3682){4055,71}
X(3684){4433,3685}
X(3685){3684,239},{3985,3975},{4124,3716},{4148,3570},{4433,3684}
X(3686){3683,1125},{4046,3702}
X(3687){960,4357}
X(3691){4111,3706}
X(3692){1260,78},{1802,200},{3694,346}
X(3693){2340,518}
X(3694){2318,72},{3949,2321}
X(3695){125,4064},{3690,594},{3708,525}
X(3699){8,4076},{78,765},{346,1016},{522,8},{644,190},{650,333},{663,9},{2324,4564},{3239,312},{3700,4102},{4069,644},{4163,346},{4397,1043},{4521,2},{4543,2325}
X(3700){4041,523},{4092,8},{4516,3701}
X(3701){2321,321},{3695,3710},{3704,8},{4516,3700}
X(3702){3686,4359},{4046,3686}
X(3705){3061,3662}
X(3706){3691,3739},{4111,3691}
X(3710){2318,2321},{3694,306},{3695,3701}
X(3716){4124,3685},{4435,812}
X(3717){3693,3912}
X(3718){78,312},{345,304},{3710,345}
X(3719){1259,326},{2289,78},{3998,345}
X(3733){244,56},{649,1019},{1015,593},{1977,1509},{3248,6}
X(3737){11,1},{650,4560},{1364,84},{2170,2185},{3271,9}
X(3738){654,3960}
X(3739){3691,3706},{3720,4059}
X(3741){3728,1107}
X(3747){4093,740}
X(3752){1201,1122},{2347,3057},{4642,3663}
X(3756){4534,1086}
X(3760){4365,4361}
X(3761){4474,4482}
X(3762){1639,4768},{1647,3264},{4120,900},{4530,519}
X(3765){4710,4485}
X(3766){4010,812},{4124,239}
X(3768){1646,3230}
X(3785){3796,3618}
X(3786){4522,3799}
X(3794){3810,3888}
X(3799){788,2276},{1491,984},{4522,3786}
X(3807){824,3661},{3250,984}
X(3811){2911,1708}
X(3868){209,579}
X(3870){218,1445},{3991,344},{4878,218}
X(3875){3214,4383}
X(3877){4266,4850}
X(3888){3777,982},{3810,3794}
X(3900){657,650},{2310,200},{3022,220},{3119,9},{3270,55},{4105,4130},{4171,3239},{4524,657}
X(3903){3570,660},{3688,1252},{3709,2},{3882,100},{3961,765},{4477,9},{4879,1}
X(3904){3738,4453}
X(3907){3287,4369},{4477,4529}
X(3911){44,519},{1317,7},{1404,1877},{4530,900}
X(3912){672,1861},{3693,3717},{3930,518},{3932,3263},{4712,75}
X(3913){3217,4383}
X(3916){3958,4001}
X(3926){394,69},{3719,1264},{3964,4176},{3998,326},{4143,4563}
X(3933){3917,141}
X(3936){2245,860},{4053,758},{4736,75}
X(3939){212,1110},{220,1252},{657,9},{663,55},{3063,284},{3900,2328},{4105,220},{4895,2342}
X(3943){4120,4169}
X(3948){4037,740}
X(3949){3690,201}
X(3950){4849,4848}
X(3952){512,37},{523,10},{594,1016},{661,2},{1018,4552},{3678,765},{3690,1252},{3700,321},{4086,8},{4103,4033},{4115,190},{4120,4080},{4132,1},{4139,65},{4145,4674},{4151,75},{4170,7}
X(3960){654,3738},{3025,7}
X(3964){426,3},{1092,394}
X(3969){2611,4467}
X(3975){3685,350},{3985,3685}
X(3978){732,385},{2086,804}
X(3982){3723,3634}
X(3985){4433,740}
X(3995){4065,4360}
X(3998){3990,72}
X(4000){2082,497},{3914,3673}
X(4001){3958,3916}
X(4007){3715,1698}
X(4017){512,661},{1365,1254},{3122,1400},{3125,1427},{4516,1880}
X(4024){115,594},{2643,1089},{3708,2171},{4092,12}
X(4025){656,905},{1459,514},{1565,69},{2968,2},{3942,304}
X(4032){2295,1215}
X(4033){523,75},{661,10},{1577,321},{3949,765},{3969,1016},{4086,313},{4103,3952},{4129,2},{4404,1441}
X(4036){125,12},{1109,1089},{4092,594}
X(4041){3709,661},{4092,756},{4516,210},{4524,4171}
X(4049){3141,264},{4120,523},{4707,514}
X(4052){2321,10}
X(4059){3720,3739}
X(4064){125,3695},{2632,201}
X(4069){3709,9},{4041,210},{4171,2321}
X(4076){8,3699},{9,645},{55,644},{346,646},{2325,4582},{2348,666},{3039,2},{3161,190},{3189,1897},{3871,643},{3913,100}
X(4077){523,1577},{3120,226}
X(4079){3124,1500}
X(4080){3936,2},{3943,10},{4120,3952},{4707,4552}
X(4081){3119,1146}
X(4082){4515,2321}
X(4083){3123,43},{3835,513}
X(4086){3700,1577}
X(4087){3975,1921}
X(4091){520,4131},{1364,1804}
X(4102){3700,3699},{4060,8},{4560,646},{4886,333}
X(4103){4024,594},{4079,756},{4705,10}
X(4105){3022,480}
X(4106){4139,4498}
X(4130){3119,728},{4105,3900}
X(4131){520,4091},{1364,394}
X(4146){174,555},{178,2},{188,556}
X(4151){2486,4651}
X(4152){4542,4543}
X(4163){4130,3239}
X(4169){4120,3943},{4730,519}
X(4171){4524,4041}
X(4176){3964,3926}
X(4182){4166,366},{4180,8}
X(4183){55,2328},{657,1783},{2332,1172},{4319,1043}
X(4207){2271,966}
X(4213){2905,4}
X(4230){684,511},{2967,250},{3569,297}
X(4232){1384,1992}
X(4235){126,4590}
X(4240){1511,250},{2420,2407}
X(4242){1983,4585}
X(4251){4040,101}
X(4267){1682,960}
X(4273){2177,4653}
X(4282){215,60},{654,1983}
X(4306){2352,579}
X(4320){1460,2285}
X(4341){3215,57}
X(4350){1617,1445}
X(4357){960,3687},{1193,1848},{2292,3666},{3666,3674}
X(4358){2087,900},{2325,4723},{3943,519},{3992,3264},{4738,75}
X(4359){1213,1125},{3686,3702},{4647,1269}
X(4360){4057,190},{4065,3995},{4075,2}
X(4361){4365,3760}
X(4363){4379,4482},{4403,4379}
X(4367){4128,2295}
X(4369){2533,4374},{3023,7},{3287,3907}
X(4370){678,1317}
X(4373){8,2},{1358,693},{3452,85},{3756,514},{4862,7},{4962,190}
X(4374){2533,4369},{4459,894}
X(4379){4403,4363}
X(4383){3214,3875},{3217,3913}
X(4384){3696,4441}
X(4389){4424,4850}
X(4391){11,3596},{522,693},{1146,8},{2968,264},{3239,4397},{3700,522},{3910,4560},{4858,312}
X(4394){4162,513},{4729,3667}
X(4397){2968,8},{3239,4391},{4081,346}
X(4441){3696,4384},{3789,2}
X(4444){918,514},{3837,693}
X(4449){4014,1376}
X(4451){3687,8},{3975,4518}
X(4453){3738,3904},{4089,320}
X(4462){4534,145}
X(4467){2611,3969}
X(4468){4904,344}
X(4482){4379,4363},{4474,3761}
X(4485){4710,3765}
X(4492){1573,2},{3764,6}
X(4498){4139,4106}
X(4505){1491,3661}
X(4511){2323,3218}
X(4512){4258,1449}
X(4518){3717,8},{3975,4451},{4124,522},{4876,335}
X(4521){4162,3667},{4534,3161},{4546,522},{4953,145}
X(4529){4477,3907}
X(4530){4542,11}
X(4534){4953,11}
X(4543){4542,4152}
X(4551){523,1},{656,10},{661,226},{2171,4564},{2594,59},{4017,65},{4041,37},{4557,1018},{4559,1020}
X(4552){523,1441},{525,321},{1018,3952},{1577,2},{2197,59},{3178,4600},{3700,10},{4017,7},{4551,4566},{4707,4080}
X(4553){2530,38}
X(4554){190,668},{344,1016},{348,1275},{664,4569},{918,2481},{2397,4555},{3261,274},{3669,7},{4130,8},{4391,75},{4552,664},{4885,2}
X(4555){519,1016},{900,2},{908,1275},{2397,4554},{4453,75},{4927,7}
X(4556){593,249},{649,58},{1333,4570},{1459,86},{2150,1101},{4091,1790}
X(4557){512,42},{669,213},{798,6},{1500,1252},{3709,37},{3804,1245},{4041,55},{4524,1334}
X(4558){394,249},{520,69},{525,97},{647,3},{686,74},{906,4575},{1331,4592},{1813,662},{2327,4570},{3049,1176}
X(4559){181,59},{512,65},{647,37},{661,6},{3709,42}
X(4560){11,261},{650,3737},{1146,3615},{2170,8},{3910,4391},{4435,885},{4858,2}
X(4561){1265,1016},{1331,190},{1459,63},{4025,69},{4064,306}
X(4562){812,2},{1959,4564},{2254,75},{3572,291},{3930,765},{4444,335}
X(4563){525,69},{647,1799},{1332,4592},{3049,3},{3265,305},{3926,4590},{4143,3926},{4558,99}
X(4564){1,664},{2,662},{9,100},{56,1414},{57,651},{63,190},{219,643},{579,162},{604,109},{958,4614},{1252,765},{1420,934},{1445,658},{1708,653},{1813,4619},{1959,4562},{2171,4551},{2289,1331},{2324,3699},{2975,99},{3218,3257},{3306,4604},{3509,660},{3869,668},{3873,4569},{3929,4606}
X(4565){57,1262},{109,1414},{163,110},{604,59},{1019,593},{3733,1014}
X(4566){520,1214},{523,226},{656,2},{1425,1262},{4077,7},{4524,37},{4551,4552}
X(4567){1,4596},{21,99},{37,100},{72,668},{81,662},{172,101},{333,4612},{518,4589},{593,4629},{765,4600},{1252,4570},{1333,110},{1778,162},{1792,4592},{1812,645},{1931,4584},{2205,692},{2287,643},{2303,931},{3219,190},{3998,1332},{4641,651}
X(4569){7,1275},{664,4554},{693,85},{3873,4564},{3900,2},{4025,274},{4131,348},{4566,658}
X(4570){6,4629},{21,4636},{35,100},{42,101},{58,110},{71,190},{283,643},{284,662},{672,4584},{906,4619},{1252,4567},{1333,4556},{1780,162},{1801,4592},{1918,4628},{2206,163},{2327,4558},{3285,4591},{3682,1331},{4184,99}
X(4571){521,78},{652,1812},{1946,219},{4587,1332}
X(4572){307,4620},{668,1978},{3676,85},{4163,312}
X(4573){85,1275},{651,1414},{662,99},{664,4625},{1414,4616},{1434,4620},{3759,1016},{4560,86}
X(4574){647,71},{810,3},{3049,228}
X(4575){255,1101},{656,2169},{810,48},{822,63},{906,4558}
X(4576){688,39},{826,141},{3005,2}
X(4577){6,4590},{99,689},{110,827},{826,2},{4579,662},{4580,308}
X(4578){657,2287},{3900,200},{4130,346},{4546,1261}
X(4579){3287,894},{4367,171},{4477,2329}
X(4580){339,2}
X(4581){3125,2},{4459,7}
X(4582){1639,8},{2325,4076},{2804,3596},{3904,312}
X(4583){876,335},{918,76},{3766,75},{3837,2},{3932,1016}
X(4584){238,4600},{660,4589},{672,4570},{1931,4567},{2106,4601}
X(4585){1983,4242},{2610,758},{3738,320},{3960,3218}
X(4586){824,2},{2280,765},{4393,1016},{4613,789},{4649,4600}
X(4587){652,219},{1946,283},{4574,644}
X(4588){999,59},{4775,6}
X(4589){239,4601},{518,4567},{660,4584},{4562,4639}
X(4590){2,99},{6,4577},{32,110},{69,670},{126,4235},{193,648},{261,4623},{385,2966},{524,892},{620,2},{754,2858},{1078,689},{1509,4610},{1627,827},{1654,190},{1692,685},{2895,668},{3926,4563}
X(4591){901,4622},{3285,4570}
X(4592){656,63},{1331,4558},{1332,4563},{1792,4567},{1801,4570},{4575,662}
X(4593){662,4599}
X(4594){513,256},{650,274},{3903,4603},{4083,81}
X(4595){3835,192}
X(4596){1,4567},{757,4600}
X(4597){3241,1016},{4777,2},{4781,190}
X(4598){649,2162},{667,86},{668,190},{3888,664}
X(4599){662,4593},{4628,827}
X(4600){2,4632},{10,190},{58,662},{81,4610},{86,99},{171,100},{238,4584},{306,1978},{319,668},{333,799},{595,4629},{757,4596},{765,4567},{1016,4601},{1043,645},{1918,101},{3178,4552},{3879,664},{3912,4639},{4028,1897},{4567,4620},{4649,4586}
X(4601){81,99},{86,4623},{213,100},{239,4589},{274,799},{314,670},{321,668},{894,190},{1016,4600},{1509,4632},{1999,664},{2106,4584}
X(4602){661,75},{1978,670}
X(4603){649,893},{663,86},{3903,4594}
X(4604){3306,4564},{4893,1}
X(4605){4024,12}
X(4606){940,1016},{3731,765},{3929,4564},{4790,1}
X(4607){3768,1},{4763,2}
X(4608){3120,2}
X(4609){523,76},{2531,141}
X(4610){81,4600},{99,4623},{274,4620},{514,86},{1509,4590},{1919,58},{3798,27},{4025,310}
X(4611){2485,22}
X(4612){333,4567},{521,314},{650,21}
X(4613){4122,10}
X(4614){958,4564},{4606,4633}
X(4615){3257,4622},{4049,903},{4555,4634}
X(4616){269,1275},{658,4635},{934,4637},{1414,4573}
X(4617){1461,934},{3063,56},{3669,269}
X(4618){100,3257},{513,88}
X(4619){101,59},{906,4570},{1461,1262},{1813,4564}
X(4620){86,4625},{226,664},{274,4610},{307,4572},{333,99},{1412,1414},{1434,4573},{4416,190},{4567,4600}
X(4621){41,765},{192,1016}
X(4622){901,4591},{3257,4615}
X(4623){86,4601},{99,4610},{261,4590},{667,81},{693,274}
X(4625){86,4620},{99,799},{664,4573},{4077,85},{4573,4635}
X(4626){663,57},{934,658},{3676,279}
X(4627){2268,59}
X(4628){595,1252},{1918,4570}
X(4629){6,4570},{593,4567},{595,4600}
X(4630){688,32},{1576,827},{2491,733}
X(4631){3063,21},{4391,314}
X(4632){2,4600},{1509,4601}
X(4633){4606,4614},{4687,1016}
X(4634){4555,4615}
X(4635){658,4616},{1021,86},{4573,4625}
X(4636){21,4570},{652,333},{663,284}
X(4637){934,4616},{1019,1014},{4565,1414}
X(4638){101,901},{649,106}
X(4639){2786,75},{3912,4600},{4562,4589}
X(4651){2486,4151}
X(4653){2177,4273},{4775,4752},{4867,4792}
X(4654){4949,4756}
X(4671){4793,75},{4944,4767},{4957,4791}
X(4673){4061,391}
X(4674){758,1},{4145,3952},{4695,10},{4730,1018}
X(4700){4819,4742}
X(4705){2643,756},{3124,594}
X(4723){2325,4358}
X(4742){4819,4700}
X(4752){4775,4653},{4814,3679},{4893,45}
X(4756){4802,1698},{4949,4654}
X(4765){4843,4811}
X(4767){4775,45},{4777,3679},{4944,4671}
X(4768){1639,3762}
X(4777){4770,4893},{4814,4944},{4931,4791}
X(4778){4822,4790},{4841,4801}
X(4790){4822,4778}
X(4791){4931,4777},{4957,4671}
X(4792){4867,4653}
X(4801){4765,4811},{4841,4778}
X(4802){4838,4823}
X(4811){4765,4801},{4843,4765}
X(4813){4826,4834}
X(4823){4838,4802}
X(4834){4826,4813}
X(4840){4813,4960}
X(4846){1531,265}
X(4847){1212,142},{2293,1855}
X(4848){3950,226},{4849,3950}
X(4850){4266,3877},{4424,4389}
X(4858){11,1111}
X(4866){1697,1},{3715,9}
X(4873){3711,3679}
X(4876){3693,9}
X(4893){4770,4777}
X(4900){3711,9}
X(4903){4050,1278}
X(4944){4814,4777}
X(4945){4908,3679}
X(4960){4813,4840}
To ETC

Compiled by Peter J C Moses.