ETC Ceva 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)-Ceva Conjugate of X(k).

 Centre  Ceva Conjugates
X(1){2,9},{3,1745},{4,46},{5,3460},{6,43},{7,57},{8,40},{9,165},{10,191},{11,2957},{13,3179},{19,1707},{20,3182},{21,3},{25,1716},{27,579},{28,1724},{29,4},{30,3464},{31,1740},{33,1721},{34,1722},{37,846},{40,2956},{42,1045},{55,1742},{56,978},{57,1743},{58,3216},{59,4551},{63,610},{64,1044},{65,1046},{69,1763},{72,2939},{73,1047},{75,63},{76,1759},{77,223},{78,1490},{79,3336},{80,484},{81,6},{82,31},{85,169},{86,2},{88,44},{92,19},{98,1756},{99,1019},{100,513},{101,4040},{104,36},{105,238},{110,3737},{145,2136},{158,920},{162,656},{174,173},{188,164},{189,2270},{190,649},{200,2951},{210,2938},{219,2947},{220,170},{226,1781},{236,363},{238,2108},{244,1052},{257,3496},{259,503},{264,1726},{266,361},{270,580},{273,1708},{278,1723},{280,84},{281,1709},{282,1750},{285,3149},{286,1730},{291,1757},{292,2664},{293,1955},{296,2655},{312,1766},{314,1764},{318,1158},{321,1761},{331,1729},{333,573},{335,3509},{342,1767},{366,364},{388,1773},{393,1711},{483,3645},{497,2961},{502,267},{513,1054},{518,1282},{522,1768},{554,1652},{556,504},{561,1760},{644,3309},{648,1021},{651,650},{652,2636},{653,652},{655,654},{656,2629},{658,657},{660,659},{661,2640},{662,661},{664,514},{668,4063},{673,672},{679,88},{758,2948},{765,100},{771,770},{775,255},{799,798},{811,1577},{821,158},{823,822},{837,393},{870,4384},{897,896},{903,3218},{932,667},{934,905},{943,35},{950,2955},{960,2944},{983,3550},{996,3679},{1002,3751},{1014,4383},{1016,1018},{1043,20},{1065,1478},{1067,1479},{1081,1653},{1088,1445},{1098,411},{1100,1051},{1101,2617},{1120,519},{1126,3293},{1146,2958},{1156,1155},{1168,4674},{1170,218},{1172,1754},{1201,1050},{1220,10},{1222,8},{1255,37},{1257,72},{1258,213},{1268,3219},{1280,518},{1292,4905},{1320,517},{1390,984},{1434,4253},{1441,1762},{1476,56},{1488,258},{1492,1491},{1783,1734},{1807,3465},{1821,1755},{1826,1719},{1870,1718},{1895,1712},{1896,1715},{1897,522},{1910,1580},{1911,3510},{1937,1758},{2162,87},{2166,1749},{2167,48},{2170,1053},{2185,572},{2190,47},{2216,2964},{2298,171},{2320,3576},{2321,2941},{2326,4219},{2346,55},{2349,2173},{2363,58},{2580,2578},{2581,2579},{2586,2588},{2587,2589},{2594,1048},{2990,2323},{2991,3684},{3057,2943},{3059,2942},{3112,75},{3160,2124},{3193,155},{3226,239},{3257,1635},{3296,3338},{3307,2449},{3308,2448},{3577,2093},{3615,5},{3678,2940},{3699,3667},{3870,3174},{3903,512},{4146,362},{4373,3928},{4564,101},{4600,3882},{4604,4893},{4606,4790},{4607,3768},{4618,1022},{4625,4369}
X(2){1,192},{3,3164},{4,193},{6,194},{7,145},{8,144},{9,3177},{10,1654},{13,3180},{14,3181},{27,3187},{37,1655},{57,3210},{69,20},{75,8},{76,69},{83,6},{85,7},{86,1},{87,330},{95,3},{98,385},{99,523},{141,2896},{190,514},{253,3146},{261,2975},{264,4},{274,75},{275,1993},{276,264},{279,4452},{286,3868},{287,401},{290,511},{298,616},{299,617},{300,621},{301,622},{302,627},{303,628},{304,4329},{305,1370},{306,3151},{307,3152},{308,76},{309,962},{311,2888},{312,329},{313,1330},{314,3869},{319,3648},{321,2895},{325,147},{327,1352},{328,3153},{330,1278},{333,63},{334,4645},{348,347},{349,2893},{491,487},{492,488},{514,4440},{523,148},{598,1992},{646,4462},{648,525},{658,4025},{662,4560},{664,522},{666,918},{668,513},{670,512},{671,524},{673,239},{693,149},{801,394},{827,4580},{850,3448},{886,888},{889,891},{892,690},{903,519},{1016,190},{1121,527},{1219,4461},{1220,894},{1221,1909},{1222,3729},{1231,2897},{1232,2889},{1233,2890},{1236,2892},{1255,3995},{1268,10},{1269,2891},{1275,664},{1434,3875},{1441,2475},{1494,30},{1502,315},{1509,4360},{1799,22},{2373,23},{2481,518},{2966,2799},{2986,323},{3222,669},{3224,2998},{3225,698},{3226,726},{3227,536},{3228,538},{3260,146},{3261,150},{3262,153},{3596,3436},{3699,4468},{4373,3621},{4554,693},{4555,900},{4562,812},{4564,4552},{4569,3900},{4573,4467},{4577,826},{4586,824},{4590,99},{4597,4777},{4598,649},{4600,4427},{4632,4608}
X(3){1,3157},{2,6},{4,155},{5,195},{6,3167},{7,3173},{20,1498},{21,1},{22,159},{23,2930},{30,399},{54,1147},{57,3211},{63,219},{69,394},{77,222},{90,1069},{95,2},{96,68},{97,577},{98,3564},{99,525},{100,521},{103,916},{104,912},{110,520},{186,2931},{237,3511},{250,110},{264,1993},{271,1433},{283,255},{287,3289},{384,3499},{404,3216},{895,3292},{925,523},{1105,4},{1113,2574},{1114,2575},{1141,539},{1176,184},{1262,101},{1290,2850},{1294,30},{1295,517},{1297,511},{1305,514},{1325,2948},{1331,1459},{1444,63},{1494,323},{1790,48},{1791,72},{1796,71},{1798,1437},{1799,69},{1810,1818},{1813,652},{1817,610},{2071,2935},{2359,3955},{2370,519},{2373,524},{2694,2771},{2697,542},{2734,952},{3552,3360},{3565,512},{4558,647},{4563,3049}
X(4){1,1148},{2,1249},{3,1075},{5,3462},{6,3168},{7,196},{8,3176},{20,3183},{25,3186},{27,19},{29,1},{92,281},{107,523},{158,1068},{225,3144},{253,459},{254,3147},{264,2},{273,278},{275,6},{286,92},{412,1715},{648,2501},{653,3064},{683,76},{1093,3542},{1105,3},{1179,3518},{1217,631},{1300,186},{1585,3068},{1586,3069},{1826,4213},{1896,158},{2052,393},{3559,920}
X(5){2,216},{4,52},{110,523},{264,324},{265,30},{311,343},{324,53},{3615,1}
X(6){1,55},{2,3},{3,154},{4,25},{7,1486},{8,197},{9,198},{10,199},{13,3129},{14,3130},{17,3131},{18,3132},{19,2178},{20,1661},{21,3185},{25,3053},{28,2352},{31,2176},{32,1613},{37,1030},{44,3196},{54,184},{55,3207},{56,3052},{57,56},{58,31},{59,692},{63,3556},{68,161},{69,159},{74,1495},{75,1631},{76,22},{81,1},{83,2},{85,1626},{88,36},{89,999},{94,2070},{95,160},{96,3135},{98,237},{99,669},{100,667},{101,649},{105,2223},{106,902},{108,1946},{109,663},{110,512},{111,187},{112,647},{141,2916},{190,4057},{219,3197},{220,1615},{222,221},{223,1035},{226,3145},{238,2110},{248,1971},{249,110},{250,1576},{251,32},{262,3148},{264,157},{275,4},{279,1617},{282,1436},{284,48},{287,1503},{288,54},{294,910},{311,2934},{312,2933},{321,2915},{323,399},{343,2917},{346,1604},{385,3511},{393,1609},{394,1498},{459,3515},{485,3155},{486,3156},{493,1151},{494,1152},{524,2930},{588,371},{589,372},{593,595},{598,1995},{644,4394},{648,523},{651,513},{662,3733},{666,659},{667,1979},{671,23},{677,926},{691,351},{694,2076},{699,3229},{727,3009},{729,3231},{739,3230},{741,3747},{749,4497},{751,4471},{759,3724},{765,4557},{785,2978},{801,20},{825,3250},{827,3005},{829,158},{843,2502},{847,2351},{895,2393},{898,890},{901,1960},{907,3804},{919,665},{943,228},{947,2187},{959,1460},{961,1402},{967,4252},{1014,3941},{1016,100},{1073,64},{1126,42},{1167,212},{1169,1333},{1170,57},{1171,58},{1172,19},{1173,51},{1174,41},{1175,2194},{1176,206},{1178,1964},{1249,1033},{1252,101},{1255,35},{1258,171},{1262,109},{1275,1633},{1383,1384},{1400,2305},{1407,1616},{1412,3915},{1433,2192},{1438,1914},{1461,1459},{1462,1279},{1509,1621},{1576,3050},{1613,3360},{1783,650},{1797,2390},{1814,3827},{1976,1691},{1993,155},{1994,195},{2052,24},{2065,1976},{2149,4559},{2207,1611},{2221,1191},{2226,106},{2259,2174},{2287,610},{2291,1055},{2298,37},{2311,1755},{2316,2183},{2338,2272},{2341,2173},{2501,2079},{2715,3569},{2981,15},{2982,65},{2983,71},{2984,97},{2985,8},{2986,30},{2987,511},{2988,515},{2989,516},{2990,517},{2991,518},{3051,3499},{3108,39},{3114,183},{3194,204},{3225,385},{3257,4491},{3266,2936},{3449,2175},{3450,1397},{3451,604},{3453,2206},{3580,2931},{3782,2920},{3926,1619},{4358,2932},{4558,924},{4563,3566},{4565,2605},{4573,4367},{4588,4775},{4590,1634},{4601,4436}
X(7){2,3160},{4,2898},{27,3188},{57,3212},{75,347},{85,2},{86,77},{286,273},{309,1440},{331,278},{658,514},{664,3676},{1088,279},{1275,651},{1434,57},{4554,3669}
X(8){2,3161},{4,2899},{69,329},{75,2},{190,3239},{290,3948},{312,346},{314,312},{319,2895},{333,9},{645,3700},{646,650},{668,4391},{765,3952},{1016,644},{1043,78},{1219,3616},{1222,1},{1494,3936},{1909,1655},{2985,6},{3596,345},{3699,522},{4076,3699},{4102,2321},{4554,4130},{4555,3904},{4582,1639}
X(9){1,3158},{2,1},{4,2900},{6,3169},{7,3174},{8,200},{21,55},{27,3189},{29,3190},{55,3208},{57,2136},{63,40},{81,3913},{85,3870},{88,3880},{92,3811},{100,3900},{144,2951},{190,522},{257,3961},{294,3684},{312,78},{318,33},{329,1490},{333,8},{346,2324},{643,4041},{644,650},{645,3737},{650,4919},{651,521},{655,2804},{660,926},{664,4105},{765,3939},{799,3907},{894,1045},{1121,3935},{1220,42},{1223,142},{1252,1018},{1261,4513},{1320,3689},{1821,740},{2053,2319},{2185,3871},{2287,219},{2297,1449},{2319,4050},{2322,281},{2339,1697},{2349,758},{3219,191},{3257,3738},{3596,4149},{3699,663},{3903,4477},{4076,4069},{4102,4420},{4564,100}
X(10){1,3159},{2,37},{4,2901},{7,3175},{8,72},{12,3178},{29,3191},{37,3971},{75,321},{80,519},{85,3970},{86,3995},{100,522},{190,4024},{226,3950},{257,3954},{291,726},{310,4043},{313,306},{321,2321},{334,3912},{335,4037},{668,514},{1016,4115},{1018,4151},{1220,1},{1224,1125},{1240,312},{1268,2},{1441,226},{1826,4028},{1897,4064},{1978,4079},{3952,523},{4033,661},{4052,4072},{4080,3943},{4552,3700},{4566,525},{4589,2786},{4600,190},{4613,4122}
X(11){1,523},{2,650},{4,513},{7,514},{8,522},{80,900},{83,3287},{98,659},{261,4560},{262,1491},{278,3064},{312,3700},{314,3910},{941,784},{1000,4777},{1086,4534},{1111,1086},{1156,2826},{1320,2804},{1440,3669},{1751,652},{2051,661},{2481,918},{2997,525},{3296,4802},{3596,4391},{3615,3737},{4858,1146}
X(12){10,201},{226,2171},{4551,523},{4605,4024}
X(15){1,202},{3,3165},{4,2902},{6,3170},{13,62},{54,3200},{74,16},{2981,6}
X(16){1,203},{3,3166},{4,2903},{6,3171},{14,61},{54,3201},{74,15}
X(17){1487,18}
X(18){1487,17}
X(19){1,204},{4,33},{27,4},{28,25},{29,3192},{57,208},{63,1712},{92,1},{158,1096},{196,207},{278,34},{281,2331},{1172,6},{1396,4186},{1748,920},{2190,31},{2322,1249},{2580,2588},{2581,2589}
X(20){69,2},{489,487},{490,488},{801,6},{1043,1},{1503,147},{1975,194}
X(21){29,3193},{86,81},{99,4560},{261,333},{283,1816},{314,1812},{333,2287},{643,3737},{662,1021},{1098,283},{1444,1817},{2185,284},{4570,100},{4612,650},{4631,3063}
X(22){76,6},{1286,523},{1799,2},{4611,2485}
X(23){671,6},{1287,523},{2373,2}
X(24){4,2904},{249,112},{317,1993},{1288,523},{2052,6}
X(25){2,3162},{3,1033},{4,6},{6,3172},{19,607},{24,1609},{28,19},{33,3195},{34,608},{56,3209},{69,2138},{107,2501},{112,2489},{250,112},{393,2207},{917,1886},{1105,1249},{1179,53},{1289,523},{1299,3003},{1300,1990},{1301,647},{1474,1973},{2299,31},{2374,468},{3563,232},{4183,204}
X(27){4,2905},{286,29}
X(28){4,2906},{27,1172},{29,3194},{270,58},{286,81}
X(29){4,2907},{286,27},{823,1021},{1896,3559}
X(30){2,3163},{4,113},{20,3184},{265,5},{340,3580},{476,523},{687,2501},{1294,3},{1494,2},{2407,1637},{2986,6}
X(31){1,48},{4,2908},{6,41},{9,205},{19,1973},{32,2209},{55,2187},{56,604},{58,6},{75,2172},{82,1},{101,1919},{109,649},{162,661},{163,798},{238,2112},{293,2312},{603,2199},{662,1924},{692,667},{727,1914},{757,4251},{765,101},{775,610},{849,2220},{923,922},{985,2280},{987,2268},{1101,163},{1110,692},{1126,2174},{1167,198},{1333,32},{1415,3063},{1822,2578},{1823,2579},{2190,19},{2192,2208},{2194,184},{2214,2304},{2216,1953},{2259,2200},{2299,25},{2328,154},{2363,284}
X(32){2,206},{4,2909},{6,184},{25,1974},{31,2175},{54,3202},{112,512},{251,6},{384,3492},{385,3506},{604,1397},{692,1980},{699,1691},{1169,2194},{1252,692},{1333,31},{1415,667},{1576,669},{2204,1973},{2206,560},{3407,182},{4590,110},{4630,688}
X(33){1,2331},{4,19},{29,281},{108,650},{318,9},{1041,34},{1172,607},{1897,3064},{4183,55}
X(34){1,207},{4,208},{28,56},{57,3213},{273,57},{278,19},{1041,33},{1119,1435},{1396,608}
X(35){943,1},{1255,6},{1442,2003}
X(36){88,6},{104,1},{1290,513},{3218,2323},{4242,3738},{4591,649}
X(37){1,42},{2,10},{4,209},{9,71},{10,210},{57,3214},{65,4849},{72,3198},{81,3293},{100,4705},{101,650},{190,513},{226,65},{274,4651},{281,1826},{292,1575},{321,72},{330,4685},{335,518},{943,55},{983,1918},{1018,661},{1020,656},{1214,227},{1219,4061},{1221,75},{1255,1},{1257,200},{1258,43},{1791,197},{1897,3900},{1978,4083},{2161,44},{2250,2245},{2298,6},{3219,3579},{3952,512},{3995,3159},{4033,4132},{4052,3962},{4080,758},{4551,4041},{4552,523},{4554,2533},{4566,4524},{4567,100},{4601,4553}
X(38){1,1964},{75,1930},{163,656},{799,661},{813,2254},{1934,1959},{1967,2227},{2157,896},{3404,2236},{4553,2530}
X(39){2,141},{4,211},{6,3051},{38,3688},{54,3203},{99,512},{141,3917},{384,3491},{427,1843},{695,3118},{1241,69},{1576,647},{1634,3005},{1843,3787},{1916,511},{3108,6},{3455,187},{4576,688},{4609,3221}
X(40){4,2910},{8,1},{20,1490},{63,9},{329,2324},{347,223},{1817,198}
X(41){6,31},{9,212},{33,2212},{48,2187},{55,1253},{101,663},{284,55},{909,902},{911,2223},{1174,6},{1415,1946},{1910,3747},{2149,692},{2159,3724},{2194,2175},{2259,42},{2316,2361},{2332,607},{3451,3052}
X(42){1,37},{6,213},{8,3588},{10,71},{19,2198},{33,1824},{37,1334},{55,228},{65,1400},{80,2183},{86,3294},{100,649},{101,4079},{200,3198},{291,672},{313,4456},{692,663},{1018,798},{1126,6},{1220,9},{1268,3730},{1783,657},{1826,2333},{1897,4024},{1911,3009},{2259,41},{2359,205},{2983,220},{4069,4729},{4551,661},{4557,512},{4559,3709},{4570,101},{4674,2245}
X(43){6,1},{171,846},{192,3208},{1258,37},{1376,165},{1575,2108},{3212,1423},{3684,1282}
X(44){1,678},{2,214},{88,1},{100,3251},{104,55},{519,3689},{1022,3722},{1023,1635},{2161,37},{2743,4162},{3218,517},{3257,513},{3911,1319}
X(45){100,4825},{3679,3711},{4653,2177},{4671,3940},{4752,4893},{4767,4775},{4945,4867}
X(46){4,1},{1068,1079},{1158,1720},{1452,1773},{1708,1723},{1737,1718},{1770,1717},{1788,1722},{1940,1047},{3193,3157},{3474,1721},{3559,1068}
X(47){92,48},{2190,1}
X(48){1,31},{3,212},{57,3215},{63,255},{92,47},{101,652},{102,2361},{163,822},{222,603},{284,6},{662,656},{909,2252},{911,2253},{947,55},{1437,184},{1790,3},{1794,4055},{1803,222},{1813,1459},{2066,605},{2148,563},{2159,2315},{2167,1},{2168,1820},{2193,577},{2359,71},{2360,154},{2576,2578},{2577,2579},{4575,810}
X(49){94,50},{1994,2965}
X(50){1,215},{74,184},{94,49},{1291,512},{1983,2624},{2981,3201},{4282,2290}
X(51){4,53},{5,216},{6,217},{53,3199},{107,647},{1173,6},{1576,512}
X(52){4,5},{24,3133},{317,467},{324,216}
X(53){4,51},{112,2501},{324,5},{1179,25},{1989,1990}
X(54){5,2120},{95,97},{288,6},{1141,1157}
X(55){1,6},{3,198},{4,2911},{7,218},{8,219},{9,220},{21,9},{35,1030},{36,3196},{40,3197},{54,3204},{58,3217},{59,101},{74,2245},{98,2238},{99,3287},{100,650},{101,657},{102,2183},{103,672},{104,44},{105,2348},{109,652},{165,1615},{260,259},{281,607},{284,41},{477,3013},{644,3063},{842,2503},{901,654},{939,1696},{943,37},{947,48},{951,1400},{972,910},{983,2176},{1037,56},{1110,4557},{1261,200},{1292,513},{1293,649},{1294,3330},{1295,2182},{1318,2316},{1320,2323},{1381,2590},{1382,2591},{1476,1743},{2223,2110},{2298,213},{2328,212},{2342,2361},{2346,1},{2716,2265},{2717,2246},{2736,2254},{2743,1635},{3939,663},{4076,644},{4183,33},{4578,4162}
X(56){1,221},{2,478},{3,1035},{7,222},{8,2122},{21,1394},{28,34},{34,1406},{57,6},{58,603},{59,109},{84,1413},{104,1455},{105,1456},{106,1457},{108,513},{269,1407},{278,608},{604,1403},{934,3669},{951,73},{961,65},{1014,57},{1037,55},{1262,1415},{1412,604},{1416,1428},{1420,1616},{1461,649},{1476,1},{1477,1458},{2982,1409},{4564,4559},{4617,3063}
X(57){1,1419},{2,223},{7,1},{9,2124},{27,278},{56,1423},{77,1394},{81,222},{85,77},{88,1465},{189,1422},{241,2114},{269,1420},{273,34},{279,269},{604,1424},{651,3669},{653,514},{658,3676},{934,513},{1014,56},{1170,6},{1262,1020},{1414,4017},{1434,7},{1462,1429},{1847,4341},{2982,2003},{3676,1421},{4564,651},{4565,1019},{4626,663}
X(58){1,501},{10,2126},{21,2360},{27,1474},{60,1437},{81,284},{86,1790},{110,3733},{162,3737},{270,28},{593,1333},{741,1326},{757,81},{1014,1412},{1171,6},{1414,1019},{2363,1},{4556,649},{4567,101},{4570,110},{4600,662},{4610,1919}
X(59){4564,1252},{4619,101}
X(60){757,593},{1101,110}
X(61){4,2912},{14,16},{54,3205},{1173,62}
X(62){4,2913},{13,15},{54,3206},{1173,61}
X(63){7,224},{19,2128},{69,78},{75,1},{77,4855},{304,326},{333,2},{348,77},{775,1958},{1332,905},{1444,3},{1812,394},{2580,2582},{2581,2583},{4561,1459},{4564,1813},{4592,656}
X(64){20,2130},{253,1073},{1073,6}
X(65){1,73},{4,225},{7,226},{10,227},{57,1400},{109,513},{226,37},{653,650},{664,3669},{961,56},{1020,661},{1411,1319},{1441,1214},{2982,6},{3668,1427},{4551,4017}
X(68){96,3}
X(69){76,2},{99,3265},{249,4576},{304,345},{305,3926},{314,75},{315,1370},{332,326},{670,3267},{801,1975},{1241,39},{1275,190},{1799,3},{3260,1272},{4561,4025},{4563,525},{4590,4558}
X(71){3,228},{9,37},{10,42},{40,3198},{63,72},{72,2318},{190,4064},{219,3990},{306,3682},{573,3588},{906,652},{1214,73},{1332,1459},{1794,212},{1796,3},{2359,48},{2983,6},{4574,647}
X(72){8,10},{63,71},{69,306},{78,3682},{306,3694},{307,1214},{321,37},{1257,1},{1331,521},{1791,3},{4561,905},{4567,906}
X(73){1,65},{77,1214},{222,1409},{226,1400},{651,652},{951,56},{1020,822},{1037,1402},{1214,71},{2006,2252},{4551,656}
X(74){30,2132}
X(75){76,312},{274,2},{310,76},{314,69},{561,304},{668,693},{799,1577},{1218,4687},{1221,37},{1240,313},{1821,1966},{1969,92},{1978,514},{2481,350},{3112,1},{3596,322},{4554,4391},{4572,3261},{4583,3766},{4602,661}
X(76){290,3978},{308,2},{310,75},{561,3596},{670,850},{683,4},{1240,1920},{1502,305},{1978,3261},{4609,523}
X(77){85,57},{86,7},{348,63},{658,4091},{664,4025},{1444,1804}
X(78){69,63},{312,9},{332,345},{345,3692},{765,1331},{1043,8},{1792,1259},{1812,219},{3718,3719},{4564,644},{4571,521}
X(81){7,229},{37,2134},{86,21},{99,3733},{261,4225},{274,1444},{286,28},{333,1817},{648,4560},{662,1019},{741,2106},{757,58},{1414,3737},{1434,1014},{1509,86},{2185,1790},{4567,662},{4600,100},{4601,99},{4603,649},{4623,667}
X(83){308,1799}
X(84){20,3353},{189,282},{271,3341},{280,1},{285,1433},{1440,1422}
X(85){274,348},{4569,693},{4572,3676},{4625,4077}
X(86){261,1444},{274,333},{799,1019},{873,274},{1509,81},{4573,4560},{4594,513},{4600,99},{4601,190},{4610,514},{4620,662},{4635,1021}
X(87){330,2319},{2162,1}
X(88){679,1},{903,1320},{3257,1022},{4582,2403},{4618,513}
X(92){75,1895},{85,342},{264,318},{286,4},{331,273},{823,1577},{1969,75}
X(95){276,275}
X(97){95,54},{2984,6}
X(98){290,287},{685,879},{2966,2395}
X(99){249,1078},{512,2142},{670,4563},{689,670},{799,645},{4577,110},{4590,2},{4600,86},{4601,81},{4610,662},{4620,333},{4623,799},{4625,4573},{4632,190}
X(100){59,2975},{99,190},{190,644},{643,1331},{662,101},{664,651},{666,2284},{668,1332},{765,1},{835,4756},{1016,6},{1252,1621},{1275,220},{3257,1023},{4076,145},{4555,4585},{4564,9},{4567,37},{4570,21},{4596,662},{4600,81},{4601,213},{4618,3257}
X(101){59,55},{100,3939},{110,692},{190,1331},{651,109},{662,100},{677,2426},{765,31},{1016,595},{1110,4251},{1252,6},{1262,3},{2149,572},{4564,1},{4567,58},{4570,42},{4600,1918},{4619,59},{4620,171},{4629,110},{4638,901}
X(103){677,2424}
X(105){673,294},{2481,1814}
X(106){88,2316},{903,1797},{2226,6},{4638,649}
X(108){162,109},{653,1783}
X(109){59,56},{162,108},{651,101},{664,1813},{765,1420},{934,1461},{1252,1617},{1262,6},{1414,651},{4564,604},{4565,1415},{4619,2149}
X(110){99,4558},{249,6},{250,3},{648,112},{670,4611},{685,4226},{827,1576},{1101,60},{1414,4565},{4556,163},{4567,1333},{4570,58},{4577,99},{4590,32},{4629,101},{4636,4575}
X(111){671,895}
X(112){249,24},{250,25},{648,110},{687,4240},{933,1576},{2966,2409}
X(113){2,3003},{4,30}
X(114){2,230},{4,511},{99,2799}
X(115){2,523},{4,512},{12,4705},{76,826},{338,125},{393,2501},{427,2514},{594,4024},{671,690},{1029,513},{1109,4092},{1502,850},{1916,2799},{1989,1637},{2165,647},{2980,669},{2996,525},{3120,2643},{3613,3005}
X(116){4,514},{1002,824}
X(117){4,515}
X(118){4,516}
X(119){4,517},{100,2804}
X(120){2,3290},{4,518},{668,918}
X(121){4,519}
X(122){4,520},{253,525},{3346,523}
X(123){4,521},{1295,2804},{2995,525}
X(124){4,522}
X(125){2,647},{4,523},{6,826},{66,512},{67,690},{68,520},{69,525},{70,924},{290,2799},{305,2525},{338,115},{459,2501},{3695,4064},{4466,3708}
X(126){2,3291},{4,524},{670,690}
X(127){2,2485},{4,525},{1297,2799}
X(128){2,231},{4,1154}
X(132){2,232},{4,1503}
X(133){2,1990}
X(136){2,2501},{4,924},{254,523}
X(137){4,1510},{3459,523}
X(140){2,233},{930,523}
X(141){2,39},{67,524},{69,3313},{99,2528},{110,525},{660,918},{670,523},{694,698},{1235,427},{1930,3703},{3665,4884},{4576,826},{4609,2531}
X(142){2,1212},{100,514},{1223,9},{3254,527},{4569,522}
X(143){249,1625}
X(144){8,2},{3729,192},{4416,1654}
X(145){7,2},{3875,3210},{4076,100}
X(146){3260,2}
X(147){325,2},{1503,20}
X(148){523,2}
X(149){693,2}
X(150){3261,2}
X(153){3262,2}
X(154){3,6},{1249,3172},{2328,31},{2360,48}
X(155){4,3},{1993,6},{3193,1},{3542,454}
X(157){264,6},{1632,523}
X(158){821,1},{829,6},{1896,4}
X(159){22,3},{69,6}
X(160){95,6}
X(161){68,6}
X(162){1,2633},{250,270},{811,662}
X(163){249,849},{662,4575},{1101,31},{4556,110},{4570,2206},{4599,662}
X(164){188,1}
X(165){9,1},{910,1282},{1376,43},{3160,1419},{3740,1051},{4640,846}
X(169){85,1},{3732,514},{4228,1486}
X(170){220,1}
X(171){292,238},{894,2329},{1258,6},{2298,1},{4579,4367},{4620,101}
X(172){171,2330},{894,3955},{1911,1914}
X(173){174,1}
X(174){7,2089},{4146,188}
X(175){8,176}
X(176){8,175}
X(177){7,234}
X(181){12,2197},{59,4559},{65,2171},{2171,1500}
X(182){3407,32}
X(183){3114,6}
X(184){3,577},{4,571},{6,32},{54,6},{74,50},{110,647},{692,1946},{1173,2965},{1175,1333},{1176,3},{1177,187},{1437,48},{1798,2193},{2194,31}
X(185){3,417},{4,235},{648,647}
X(186){4,2914},{340,323},{1300,4}
X(187){23,2393},{111,6},{524,3292},{691,512},{1177,184},{3455,39},{4235,690}
X(188){2,236},{4146,174}
X(189){309,280}
X(190){99,100},{100,4595},{645,1332},{666,3570},{668,3699},{799,668},{932,4598},{1016,2},{1275,69},{1978,4561},{4076,344},{4554,664},{4567,333},{4582,2397},{4594,4553},{4600,10},{4601,86},{4620,319},{4632,99}
X(191){10,1},{3219,9},{4418,1045}
X(192){1,2},{894,1654},{3225,2238},{3729,144},{4595,3835}
X(193){4,2}
X(194){6,2},{384,2896},{1975,20}
X(195){5,3},{1994,6},{2888,2917}
X(196){7,4},{92,278}
X(197){8,6},{1791,37}
X(198){3,55},{9,6},{223,221},{610,3197},{1167,31},{1817,40},{2360,2187}
X(199){10,6}
X(200){8,9},{9,4936},{78,2324},{341,3692},{346,728},{644,4130},{765,644},{1043,346},{1222,3161},{1257,37},{1261,55},{2287,220},{3699,3239},{4578,3900}
X(201){10,12},{1214,2197}
X(202){1,15},{1391,203}
X(203){1,16},{1391,202},{2981,2245}
X(204){1,19},{1895,610},{3194,6},{4183,25}
X(205){9,31},{2359,42}
X(206){2,32},{1176,6},{2172,4548}
X(207){1,34},{196,19}
X(208){4,34},{57,19},{196,2331},{342,223},{3194,221}
X(209){4,37},{579,2198}
X(210){8,2321},{9,1334},{10,37},{200,2318},{668,4140},{1018,4171},{1441,3991},{2321,4515},{3699,650},{3701,3694},{3939,3900},{3952,3700},{4069,4041},{4518,3693}
X(211){4,39}
X(212){3,48},{9,41},{78,2289},{219,1802},{283,219},{1167,6},{1331,652},{1794,71},{2328,55},{2359,2200}
X(213){6,42},{31,1918},{37,228},{41,2200},{101,667},{292,2223},{607,2333},{1258,1},{1400,1402},{1783,4705},{2298,55},{4557,669},{4559,512},{4601,100}
X(214){1,758},{2,44},{100,3738},{662,1635},{4564,1023}
X(215){1,50},{54,2245},{59,1983},{60,4282},{110,654}
X(216){2,5},{3,418},{5,51},{324,52},{648,520},{925,512},{1972,511}
X(217){6,51},{216,418},{1987,237}
X(218){7,55},{1170,1},{1445,1617}
X(219){8,55},{59,3939},{63,3},{78,1260},{283,212},{345,1259},{1252,906},{1332,521},{1791,228},{1812,78},{1815,1818},{2287,9},{2327,2289},{4571,1946},{4587,652}
X(220){9,55},{200,480},{346,1260},{644,3900},{645,4477},{1252,3939},{1275,100},{2287,200},{2328,1253},{2338,2340},{2983,42},{3939,4105}
X(221){1,56},{196,3209},{222,6},{223,198},{1394,1035},{3194,208}
X(222){7,56},{77,3},{81,57},{348,1804},{651,905},{1803,48}
X(223){2,57},{77,1},{342,208},{347,40}
X(224){7,63}
X(225){4,65},{278,1880}
X(226){2,1214},{7,65},{85,1441},{349,307},{651,514},{1441,10},{1446,3668},{2006,3911},{3668,4848},{4554,3676},{4566,523},{4620,664}
X(227){10,65},{1214,37}
X(228){3,71},{37,213},{48,2200},{55,42},{72,3990},{73,1409},{212,4055},{943,6},{1791,219},{4574,3049}
X(229){7,81}
X(230){2,114},{297,1503},{2396,804},{2966,523}
X(231){2,128}
X(232){2,132},{297,511},{685,512},{1976,1968},{2409,2881},{3563,25}
X(233){2,140},{5,3078}
X(234){7,177}
X(235){4,185},{1301,523}
X(236){2,188}
X(237){98,6},{232,2211},{511,3289},{694,3051},{1987,217},{2715,3049},{4230,3569}
X(238){105,1},{239,3684},{292,171},{1447,1429},{3253,4366},{3573,659},{4584,649}
X(239){75,1281},{86,4368},{190,4375},{291,894},{350,3685},{673,2},{874,659},{3226,1},{3570,812},{4589,513}
X(240){1910,1957}
X(241){7,1362},{927,513},{1447,1463}
X(243){1937,1940}
X(244){1,513},{2,661},{56,4017},{57,649},{75,514},{87,3777},{88,1635},{106,1769},{269,3669},{291,2254},{513,764},{596,523},{679,1022},{749,4905},{757,1019},{897,2832},{1015,3123},{1086,2170},{1111,3942},{1358,3020},{1581,3808},{1929,659},{2191,663}
X(248){98,1976},{2966,879}
X(251){83,1176},{3115,308}
X(255){63,48},{283,3},{394,2289},{775,1},{1101,4575},{1822,2584},{1823,2585}
X(258){1488,1}
X(259){174,266},{260,55}
X(261){873,1509},{4590,4612}
X(264){276,2}
X(265){94,1989}
X(266){174,259}
X(267){502,1}
X(268){280,2192}
X(269){279,57},{479,738},{1275,1020},{1847,1435},{4617,3669}
X(270){250,162}
X(273){264,342},{286,7},{331,92}
X(274){310,314},{873,86},{4601,799},{4620,4554},{4623,693}
X(275){276,95}
X(278){27,57},{92,196},{273,4},{331,7},{1847,1119}
X(279){1088,7},{1275,658},{4626,3676}
X(280){309,189}
X(281){29,33},{92,4},{653,522},{2322,9}
X(282){2,3341},{189,84},{285,2192}
X(283){21,1800},{333,284},{1098,21},{1444,1790},{1792,1819},{1812,2327},{4570,4575}
X(284){21,2328},{27,1780},{29,2299},{60,2194},{81,58},{333,283},{662,3737},{1790,2360},{2185,21},{2326,1172},{2363,31},{4636,663}
X(287){290,98}
X(291){335,4876},{660,876},{4562,3572}
X(292){238,2144},{335,295},{660,875},{741,1911},{813,3572},{2311,2196}
X(293){1821,1910}
X(294){666,885},{673,105}
X(295){335,292}
X(296){1952,1945}
X(297){264,2967}
X(298){300,303},{1494,299}
X(299){301,302},{1494,298}
X(302){301,299}
X(303){300,298}
X(304){305,3718},{561,75}
X(305){1502,76}
X(306){69,72},{312,321},{313,10},{345,3998},{1231,307},{4561,4064},{4570,4568},{4600,1331}
X(307){75,1441},{348,1214},{349,226},{1231,306},{4620,1813}
X(308){3115,251}
X(311){76,343},{99,850},{328,3260}
X(312){8,4110},{76,75},{304,322},{314,8},{646,4391},{668,4397},{1016,4033},{1240,10},{3596,341},{4572,4163}
X(313){76,321},{1240,75}
X(314){310,274},{4600,668},{4601,645},{4631,4391}
X(315){1502,2}
X(317){4590,648}
X(318){264,92}
X(319){4620,190}
X(320){4615,514}
X(321){75,10},{76,313},{190,4391},{312,306},{313,3701},{349,1441},{668,4036},{1978,693},{4033,1577},{4601,668}
X(322){304,312},{3596,75}
X(323){340,186},{1494,3},{2986,2},{3260,2071}
X(324){264,5},{2052,467}
X(325){287,1975},{2396,2799},{3978,698}
X(326){304,63},{332,69},{3926,3719}
X(329){69,8},{312,2}
X(330){87,2}
X(332){4600,4592},{4620,645}
X(333){261,21},{274,86},{314,1043},{645,4560},{4567,190},{4600,643},{4620,99}
X(335){334,4518},{4562,4444},{4583,876}
X(338){76,850},{264,523}
X(339){76,525},{264,850},{305,3267}
X(341){3596,312}
X(342){85,92},{264,273}
X(343){76,311},{311,5},{4558,525}
X(344){4076,190}
X(345){304,69},{332,78},{1016,1332},{3596,8},{3718,1265}
X(346){312,8},{646,4397},{1016,3699},{1043,200},{3699,4163},{4076,4578}
X(347){75,7},{348,2}
X(348){274,85},{4569,4131}
X(349){76,1231},{4554,3261}
X(350){335,1909},{874,3766},{1921,3975},{2481,75},{4639,514}
X(351){111,3124},{468,1648},{691,6},{1177,3269}
X(354){1,2293},{101,513},{142,1212},{658,650}
X(358){3602,3275}
X(361){266,1}
X(362){4146,1}
X(363){236,1}
X(364){366,1}
X(365){238,2146},{366,4166}
X(371){4,372},{588,6}
X(372){4,371},{589,6}
X(381){1302,523}
X(384){694,385}
X(385){1,4366},{98,2},{511,401},{666,3287},{694,384},{3225,6}
X(388){1010,1038}
X(389){1303,512}
X(393){158,1857},{837,1},{2052,4}
X(394){69,3},{249,4558},{326,1259},{801,2},{1812,63},{3926,3964},{4563,3265}
X(395){2,619},{1989,396}
X(396){2,618},{1989,395}
X(399){30,3},{146,2935},{323,6}
X(401){287,2},{511,385}
X(403){4,1986},{1304,523}
X(404){270,3868}
X(407){653,2501}
X(409){2648,2651}
X(410){2656,2659}
X(411){1098,1}
X(415){243,2659}
X(416){1936,2651}
X(417){3,185}
X(418){3,216},{216,217}
X(427){4,1843},{112,523},{264,1235},{1235,141}
X(429){4,1829},{108,523}
X(430){4,1839},{1897,2501}
X(431){4,1858}
X(440){190,525},{1305,523}
X(441){325,3564},{2966,525}
X(442){100,523}
X(444){19,1829}
X(450){1942,1941}
X(453){3559,3193}
X(454){3542,155}
X(455){1370,3162}
X(459){253,4}
X(460){685,2501}
X(467){317,52},{2052,324}
X(468){2,1560},{935,523},{2374,25}
X(478){2,56}
X(480){200,220},{1261,4936},{4578,4130}
X(481){79,482}
X(482){79,481}
X(484){30,3465},{80,1}
X(485){847,486}
X(486){847,485}
X(487){4,488},{489,20},{491,2}
X(488){4,487},{490,20},{492,2}
X(491){264,492}
X(492){264,491}
X(497){8,4012},{3673,4000},{4554,650}
X(500){1,942}
X(501){1,58}
X(503){259,1}
X(504){556,1}
X(511){4,114},{290,2},{297,232},{385,3229},{805,512},{877,2799},{1297,3},{1916,39},{1972,216},{2396,2491},{2421,3569},{2966,647},{2987,6},{4230,684}
X(512){1,1015},{2,1084},{4,115},{6,3124},{31,3271},{37,3121},{42,3122},{64,3269},{65,3125},{66,125},{67,1648},{74,2088},{99,39},{100,2092},{107,800},{110,6},{112,32},{476,3003},{513,661},{523,647},{648,1196},{649,798},{660,2238},{661,3709},{663,810},{669,3221},{670,2},{685,232},{691,187},{694,2086},{805,511},{850,2485},{876,665},{886,538},{889,2229},{892,3291},{901,2245},{925,216},{930,570},{931,4263},{1018,1500},{1291,50},{1296,574},{1303,389},{1306,1504},{1307,1505},{1379,2029},{1380,2028},{1576,51},{1824,4516},{2395,2491},{2501,2489},{2623,3049},{2715,1692},{3228,1645},{3565,3},{3566,2519},{3903,1},{3952,37},{4557,42},{4559,213},{4576,3589},{4577,1194},{4581,650},{4603,2670}
X(513){1,244},{2,1015},{4,11},{7,1086},{8,3756},{57,2170},{79,3120},{80,1647},{81,3125},{87,3248},{88,2087},{99,3666},{100,1},{101,354},{105,3675},{108,56},{109,65},{110,942},{162,1104},{189,1146},{190,37},{256,3122},{267,2611},{269,3942},{274,3121},{514,650},{649,4083},{651,6},{653,1108},{660,518},{662,1100},{664,3752},{666,3290},{668,2},{670,3739},{693,905},{799,1107},{831,3745},{885,676},{889,536},{898,3999},{901,517},{927,241},{932,982},{934,57},{985,4475},{1018,3720},{1019,649},{1020,2260},{1022,1635},{1027,659},{1029,115},{1290,36},{1292,55},{1293,3057},{1305,1214},{1308,1155},{1310,940},{1381,2447},{1382,2446},{1461,2262},{1492,1386},{1633,1486},{1783,614},{2222,1319},{2401,3310},{2995,4858},{3062,2310},{3227,1646},{3257,44},{3551,3123},{3669,4394},{3676,3669},{3737,1459},{3903,3742},{3952,1125},{4427,3743},{4551,1193},{4554,2275},{4562,1575},{4569,4000},{4581,523},{4589,239},{4594,86},{4597,4850},{4618,88},{4622,3218},{4626,1418}
X(514){2,1086},{4,116},{7,11},{8,4904},{27,4466},{75,244},{85,1111},{86,3120},{92,4858},{99,1125},{100,142},{101,2140},{190,2},{253,2968},{257,3125},{279,1565},{310,3122},{330,1015},{513,3835},{651,226},{653,57},{655,3911},{658,7},{664,1},{666,3008},{668,10},{670,3741},{693,522},{789,3821},{799,4357},{835,4657},{889,4871},{903,1647},{927,516},{934,946},{1088,2310},{1305,3},{1897,4000},{1978,75},{2400,676},{2401,3960},{3257,908},{3261,4025},{3676,3667},{3699,4859},{3732,169},{3952,3739},{4033,4359},{4373,3756},{4444,2786},{4552,3666},{4554,3663},{4555,519},{4560,905},{4562,3912},{4566,942},{4572,982},{4573,3664},{4581,4369},{4583,726},{4597,551},{4598,3662},{4608,523},{4610,86},{4615,320},{4623,4425},{4624,3672},{4626,1699},{4639,350},{4817,4785}
X(515){4,117},{1309,522},{2988,6}
X(516){4,118},{927,514},{2398,676},{2989,6}
X(517){4,119},{655,650},{901,513},{1295,3},{1320,1},{2397,3310},{2990,6},{3218,44}
X(518){4,120},{100,3126},{239,1575},{294,1376},{335,37},{660,513},{666,650},{677,521},{883,918},{885,3035},{1026,2254},{1280,1},{2481,2},{2991,6},{3912,3693}
X(519){2,4370},{4,121},{8,1145},{80,10},{320,908},{903,2},{1120,1},{2370,3},{3264,3977},{4358,2325},{4555,514}
X(520){3,2972},{4,122},{68,125},{110,3},{255,1364},{265,1650},{394,3269},{521,656},{525,647},{648,216},{1303,3819},{2435,684},{4091,822},{4552,828},{4558,577},{4566,1214}
X(521){4,123},{8,2968},{100,3},{110,960},{644,1040},{651,9},{664,1214},{677,518},{1331,72},{1332,219},{2994,1146},{2997,4858},{4025,905},{4391,650},{4571,78},{4612,2193}
X(522){2,1146},{4,124},{8,11},{75,4858},{85,3119},{100,10},{190,9},{280,2968},{312,2170},{341,4939},{514,4521},{644,4847},{645,3686},{646,2321},{650,4147},{653,281},{664,2},{668,3452},{693,514},{835,958},{885,3716},{1120,1647},{1309,515},{1897,1},{1978,3061},{2400,918},{3699,8},{3903,3741},{3952,960},{4373,1086},{4391,3239},{4451,4516},{4518,4124},{4560,650},{4569,142},{4582,2325}
X(523){1,11},{2,115},{4,125},{10,3120},{37,2486},{74,3134},{75,1086},{76,3124},{92,1146},{94,2088},{98,868},{99,2},{100,442},{101,3136},{102,3137},{103,3138},{104,3139},{105,3140},{106,3141},{107,4},{108,429},{109,3142},{110,5},{111,3143},{112,427},{190,1213},{254,136},{264,338},{321,3125},{459,1562},{476,30},{477,3154},{514,661},{522,656},{596,244},{648,6},{653,1901},{655,2245},{666,2238},{668,1211},{670,141},{671,1648},{685,1503},{691,858},{693,1577},{759,867},{835,4205},{847,2970},{850,525},{876,3837},{892,524},{925,3},{927,857},{929,851},{930,140},{931,2476},{933,1594},{935,468},{1018,3925},{1113,1312},{1114,1313},{1138,3258},{1286,22},{1287,23},{1288,24},{1289,25},{1294,1650},{1297,3150},{1301,235},{1302,381},{1304,403},{1305,440},{1306,1591},{1307,1592},{1309,860},{1577,3700},{1632,157},{1897,1834},{2052,3269},{2394,1637},{2395,804},{2396,2023},{2501,3566},{2715,2450},{2966,230},{2998,1084},{3225,2086},{3346,122},{3459,137},{3565,1368},{3668,4466},{3903,2886},{3952,10},{4033,594},{4049,4120},{4427,3634},{4551,12},{4552,37},{4555,3936},{4566,226},{4576,3934},{4577,3589},{4580,2485},{4581,513},{4583,3948},{4605,2294},{4608,514},{4609,76},{4613,4026}
X(524){2,2482},{4,126},{67,141},{99,1649},{316,858},{671,2},{892,523},{2373,3}
X(525){4,127},{69,125},{75,2968},{76,339},{99,3},{110,141},{190,440},{253,122},{264,2972},{290,3150},{304,1565},{306,4466},{648,2},{651,1211},{670,1368},{850,523},{1494,1650},{2479,2454},{2480,2455},{2867,1503},{2966,441},{2995,123},{2996,115},{2997,11},{3267,3265},{4025,656},{4391,1577},{4552,1214},{4558,343},{4563,69},{4566,10},{4580,647}
X(526){4,3258},{110,1511},{323,2088},{2394,647},{2407,3003}
X(527){1121,2},{3254,142}
X(532){13,619}
X(533){14,618}
X(536){889,513},{3227,2}
X(538){886,512},{3228,2}
X(539){1141,3}
X(542){2697,3}
X(551){4597,514}
X(553){7,3649},{4552,3669},{4573,3676}
X(559){1255,1082}
X(560){2206,32}
X(563){2148,48}
X(570){2,1209},{930,512}
X(571){4,184},{1993,1147}
X(572){2149,101},{2185,1}
X(573){333,1},{4225,3185}
X(574){1296,512}
X(577){2,1147},{3,184},{20,1660},{97,3},{394,1092},{2193,48},{4558,520}
X(579){27,1},{3868,3190}
X(580){270,1}
X(590){2,641},{2963,615}
X(593){249,4556},{757,60},{763,757}
X(594){2,4075},{10,756},{321,1089},{1016,3952},{1018,3700},{2321,3949},{4033,523},{4103,4024},{4605,4064}
X(595){593,6},{1016,101}
X(603){57,604},{58,56},{109,1459},{222,48}
X(604){6,2199},{34,1395},{56,31},{57,603},{1407,1106},{1408,1397},{1412,56},{1474,608},{2149,1415},{3451,6},{4564,109}
X(605){2066,48}
X(607){6,3195},{19,25},{281,55},{1172,33},{2299,2212},{2332,41}
X(608){19,3209},{34,25},{278,56},{1172,3213},{1396,34},{1435,1398},{1474,604}
X(610){63,1},{775,31},{1817,3},{1895,204},{1958,1740},{2287,6}
X(612){388,2285},{1010,2345}
X(614){1,4319},{658,649},{1783,513},{4000,2082}
X(615){2,642},{2963,590}
X(616){30,617},{298,2},{621,628}
X(617){30,616},{299,2},{622,627}
X(618){2,396},{14,533}
X(619){2,395},{13,532}
X(621){265,622},{300,2}
X(622){265,621},{301,2}
X(626){805,2799}
X(627){5,628},{302,2},{622,617}
X(628){5,627},{303,2},{621,616}
X(631){1217,4}
X(633){3519,634}
X(634){3519,633}
X(637){68,638}
X(638){68,637}
X(641){2,590}
X(642){2,615}
X(643){99,662},{4567,2287},{4600,333}
X(644){190,100},{643,3939},{645,3699},{646,4571},{765,200},{1016,8},{3699,4578},{4076,55},{4564,78},{4567,4420}
X(645){799,99},{4600,1043},{4601,314},{4620,332}
X(646){1978,668}
X(647){1,3270},{2,125},{6,3269},{63,3937},{107,51},{110,184},{112,6},{393,1562},{523,512},{525,520},{648,185},{650,661},{652,822},{905,656},{935,2393},{1020,1425},{1073,2972},{1289,1843},{1301,25},{1304,1495},{1415,2092},{1459,810},{1576,39},{2165,115},{2218,3271},{2394,526},{2407,974},{2433,686},{2489,2519},{2966,511},{3049,2524},{4551,3611},{4558,3},{4559,1409},{4563,3917},{4574,71},{4580,525}
X(648){4590,317}
X(649){1,3248},{6,1015},{19,2170},{27,3120},{56,3271},{57,244},{58,3122},{64,3270},{84,2310},{99,2309},{100,42},{101,6},{109,31},{110,2308},{163,2260},{190,1},{267,2643},{513,663},{514,1459},{651,1201},{653,3924},{658,614},{660,3009},{662,1193},{692,1475},{799,3720},{813,672},{893,3121},{901,902},{1018,1100},{1019,513},{1020,1104},{1292,2293},{1293,55},{1407,3937},{1415,1400},{1461,56},{2160,3125},{2161,2087},{2162,1977},{2248,3124},{2702,1914},{3257,1149},{3345,2638},{3500,3123},{3733,667},{4556,58},{4559,2300},{4584,238},{4591,36},{4598,2},{4603,81},{4604,995},{4607,899},{4629,1203},{4638,106},{4817,4724}
X(650){1,2310},{2,11},{4,3270},{7,3022},{8,3271},{9,2170},{21,4516},{100,55},{101,37},{107,1859},{108,33},{189,1364},{190,3057},{274,4459},{277,1086},{280,4081},{281,1146},{346,4534},{513,4162},{514,513},{522,3900},{643,3683},{644,9},{645,960},{646,8},{648,1858},{651,1},{653,65},{655,517},{658,354},{662,2646},{666,518},{668,3056},{885,926},{979,3248},{1018,2269},{1020,2654},{1021,652},{1024,4435},{1029,3024},{1247,2643},{1292,4319},{1783,6},{1897,1864},{2401,900},{3362,2638},{3699,210},{3737,663},{3939,1212},{4069,3691},{4391,521},{4552,950},{4554,497},{4560,522},{4581,512},{4582,3880},{4606,1697},{4612,21}
X(651){648,653},{658,934},{662,1813},{664,100},{765,1445},{927,2283},{1275,7},{1414,109},{4564,57},{4573,664},{4620,1014}
X(652){1,2638},{3,3270},{90,2310},{101,48},{109,55},{163,2269},{222,1364},{522,663},{651,73},{653,1},{823,2654},{905,1459},{906,71},{1020,2646},{1021,650},{1331,212},{1751,11},{1813,3},{4571,2318},{4587,219}
X(653){1,2639},{648,651}
X(654){74,3270},{110,215},{655,1},{901,55},{1983,2245},{3065,2310},{3466,2638}
X(656){1,2632},{63,3708},{69,3942},{90,2611},{91,1109},{109,2292},{162,1},{163,38},{307,4466},{521,520},{522,523},{653,2294},{662,48},{823,1953},{905,647},{1020,37},{1332,3958},{1577,661},{1751,2170},{4025,525},{4551,73},{4592,63}
X(657){6,3270},{9,2310},{55,3022},{101,55},{190,4319},{282,2638},{650,663},{651,2293},{653,4336},{658,1},{1021,3900},{1783,42},{3732,3938},{3900,4105},{3939,1253}
X(658){1275,279},{4569,664},{4616,934},{4635,4569}
X(659){98,11},{99,4366},{242,4124},{660,1},{666,6},{812,4435},{874,239},{1026,1279},{1027,513},{1929,244},{2665,3248},{3512,2170},{3570,2238},{3572,4367},{3573,238}
X(660){4584,813},{4589,4562}
X(661){1,2643},{2,244},{4,2310},{6,2170},{10,3122},{19,3708},{37,3125},{57,2611},{65,4516},{76,3123},{87,4128},{92,1109},{100,1962},{101,2294},{162,31},{163,1953},{190,2292},{226,3120},{513,512},{514,523},{523,4041},{650,647},{651,2650},{662,1},{668,3728},{799,38},{823,774},{876,4155},{1018,37},{1019,4132},{1020,65},{1022,4145},{1577,656},{2051,11},{2184,2632},{2222,3724},{2616,810},{3064,2501},{3223,4117},{3257,758},{3669,4139},{3952,756},{4017,4729},{4033,10},{4103,1213},{4444,2254},{4551,42},{4552,4642},{4559,2171},{4562,740},{4602,75},{4605,1834}
X(662){1,2644},{99,643},{249,2185},{799,4592},{811,162},{4567,81},{4573,1414},{4590,757},{4593,799},{4596,100},{4599,163},{4600,58},{4610,99},{4612,4558},{4620,86}
X(663){1,2170},{33,2310},{55,3271},{100,2347},{101,41},{108,1400},{109,6},{162,1195},{282,3119},{513,649},{522,652},{643,2269},{644,1334},{650,657},{651,1200},{664,2082},{692,42},{934,1475},{2191,244},{2192,3270},{2222,2183},{2424,665},{2701,1951},{2720,1404},{3445,1015},{3699,9},{3737,650},{3939,55},{4069,3683},{4551,2264},{4626,57},{4636,284}
X(664){1275,2},{4554,190},{4569,658},{4573,651},{4620,226},{4625,4554}
X(665){105,3271},{241,3675},{292,1015},{651,1362},{876,512},{919,6},{2254,926},{2283,2223},{2284,672},{2424,663}
X(667){6,1977},{25,3271},{28,3125},{31,3248},{56,1015},{100,6},{101,213},{104,2087},{110,2300},{649,3063},{662,1197},{692,31},{898,3230},{932,1},{1333,3121},{1415,32},{2217,2170},{3444,3124},{3733,649},{4557,2308},{4623,81}
X(668){670,1978},{799,190},{1978,646},{4572,4554},{4600,314},{4601,321}
X(669){25,3124},{31,1977},{32,1084},{98,2086},{99,6},{110,3051},{512,3049},{667,798},{931,1185},{1402,3121},{1576,32},{1919,1924},{2373,1648},{2980,115},{3222,2},{4557,213}
X(670){689,99}
X(672){103,55},{238,3009},{241,1458},{291,42},{292,3252},{518,2340},{673,1},{813,649},{1025,2254},{1861,2356},{2283,926},{2284,665},{3286,2223},{3912,1818}
X(673){927,885}
X(676){2,1566},{885,513},{917,2969},{2398,516},{2400,514}
X(678){1,44},{100,1635},{765,1023}
X(682){110,3049}
X(684){287,3269},{2421,3289},{2435,520},{2799,3569},{4230,511}
X(686){2433,647}
X(688){6,1084},{512,3005},{882,2491},{4576,39},{4630,32}
X(690){67,125},{99,2482},{523,1649},{524,1648},{670,126},{671,115},{892,2},{4235,187},{4750,2642}
X(692){59,6},{100,906},{109,1415},{110,101},{765,2220},{901,1983},{1110,31},{1252,32},{2149,41},{4567,2205},{4570,1333}
X(693){75,1111},{76,1086},{85,4858},{664,1441},{668,75},{799,4359},{1978,321},{3261,4391},{4554,2},{4555,3262},{4569,85},{4583,3263},{4623,274}
X(694){805,882}
X(698){694,141},{3225,2},{3978,325}
X(726){291,10},{350,3912},{3226,2},{4583,514}
X(728){346,200}
X(732){880,804}
X(733){783,881}
X(738){479,269}
X(740){239,2238},{350,3948},{874,812},{1821,9},{3573,3716},{3948,3985},{4562,661}
X(741){805,875}
X(750){4363,4390}
X(756){10,594},{12,2171},{37,1500},{210,3690},{765,1018},{1089,3949},{3952,661},{4013,4053},{4103,4079},{4557,4041}
X(757){763,593},{1509,2185},{4590,662}
X(758){1,214},{320,3936},{2349,9},{3218,2245},{3257,661},{4080,37},{4585,2610}
X(762){4103,4705}
X(764){513,244},{514,3125},{693,1086},{876,3675},{1022,2087},{3669,1015}
X(765){4567,1252},{4600,1016}
X(770){771,1}
X(774){1,820},{823,661}
X(784){941,11}
X(788){263,3271},{1002,1015},{3799,2276}
X(798){1,4117},{6,3248},{19,2643},{57,4128},{101,3725},{163,31},{190,2667},{213,3121},{649,512},{661,810},{662,1964},{667,669},{799,1},{813,3747},{1018,42},{1400,3122},{2156,3708},{2350,1015},{3063,3049},{4557,872}
X(799){4593,662},{4601,274},{4623,99},{4631,4563}
X(800){2,2883},{107,512}
X(804){4,2679},{874,1966},{880,732},{2395,523},{2396,230},{3978,2086}
X(810){1,3708},{656,822},{661,798},{663,512},{811,2083},{1459,647},{2616,661},{4575,48},{4592,4020}
X(812){874,740},{876,4369},{1447,4124},{1821,4858},{3570,239},{3766,3716},{4562,2}
X(813){4584,660}
X(820){1,774},{662,822}
X(822){3,2638},{63,2632},{163,48},{652,647},{653,2658},{656,810},{662,820},{823,1},{921,2643},{1018,836},{1020,73},{1820,3708},{4091,520}
X(824){1002,116},{3807,3661},{4505,3773},{4586,2}
X(826){6,125},{76,115},{523,3005},{4576,141},{4577,2}
X(828){4552,520}
X(834){1246,1086}
X(836){1018,822}
X(846){37,1},{171,43},{1761,2939},{1961,1051},{3509,1282},{4640,165}
X(849){249,163},{593,2150}
X(850){76,338},{99,311},{264,339},{648,1235},{668,1234},{670,76},{892,1236},{1502,115},{1978,1230},{3261,1577}
X(851){929,523},{2648,2650},{2656,2658}
X(857){927,523}
X(858){316,524},{691,523}
X(860){1309,523}
X(867){759,523}
X(868){98,523},{297,3569},{325,2799}
X(869){3736,2276}
X(872){42,1500},{4557,798}
X(875){660,292},{805,741}
X(876){660,291},{4583,335}
X(878){2395,2422}
X(879){685,98},{2966,248}
X(881){783,733}
X(882){805,694}
X(885){666,294},{927,673}
X(888){538,1645},{886,2},{3228,1084}
X(890){739,1977},{898,6}
X(891){536,1646},{889,2},{3227,1015},{4728,4526}
X(893){1178,904},{1432,1431}
X(894){65,1999},{291,239},{1220,2}
X(895){671,111}
X(896){897,1},{2157,38}
X(899){4607,649}
X(900){4,3259},{80,11},{100,1145},{190,4370},{519,1647},{903,1086},{1120,3756},{2370,2968},{2401,650},{2415,2325},{3762,1639},{3911,4530},{4358,2087},{4555,2}
X(901){4622,3257},{4638,101}
X(902){6,1017},{36,2183},{106,6},{901,649},{909,41},{1319,1404},{3285,2251}
X(903){4615,4049}
X(904){1178,893}
X(905){7,1364},{63,3942},{69,3937},{348,1565},{651,222},{658,1439},{664,1071},{693,513},{934,1},{1332,63},{1813,1214},{4025,521},{4560,514},{4561,72},{4565,3666},{4592,3916}
X(906){100,692},{1252,219},{4558,1331},{4567,72}
X(908){320,519},{3257,514}
X(909){104,2342}
X(910){241,1279},{294,6},{972,55}
X(912){104,3}
X(916){103,3}
X(918){335,1086},{660,141},{666,2},{668,120},{693,3126},{883,518},{885,4885},{1280,4904},{2400,522},{2414,3693},{2481,11},{3263,3675},{3766,3837}
X(920){158,1},{1748,19},{3559,4}
X(922){923,31}
X(924){4,136},{70,125},{110,1147},{687,3003},{4558,6}
X(926){4,1566},{660,9},{677,6},{885,650},{1280,1015},{2254,665},{2283,672}
X(934){658,651},{1275,1407},{4564,4350},{4616,658},{4626,4617},{4637,1461}
X(940){1310,513}
X(942){1,500},{110,513},{4566,514}
X(946){934,514}
X(950){4552,650}
X(952){2734,3}
X(958){835,522},{2334,3913}
X(960){2,2092},{8,3704},{21,4267},{110,521},{645,650},{3687,3965},{3903,3900},{3952,522},{4357,3666}
X(962){309,2}
X(974){2407,647}
X(978){56,1},{3210,3169},{4383,1743}
X(982){932,513},{3662,3061},{3794,3784},{3888,3777},{4572,514}
X(984){1,3795},{1390,1},{3786,3781},{3799,1491},{3807,3250}
X(995){4604,649},{4850,4266}
X(999){1,1480},{89,6}
X(1014){552,1434},{1434,81},{4620,651},{4637,1019}
X(1015){1,512},{2,513},{6,649},{56,667},{106,1960},{244,3271},{292,665},{330,514},{593,3733},{614,2495},{941,4790},{1002,788},{1086,3937},{1280,926},{2191,2488},{2334,4834},{2350,798},{3020,1357},{3108,2483},{3227,891},{3445,663},{3669,764}
X(1016){4600,765}
X(1017){6,902},{101,1960}
X(1018){100,4557},{190,3952},{644,4574},{765,756},{1016,1},{1252,9},{3952,4069},{4552,4551},{4562,1026},{4564,3678}
X(1019){99,1},{662,81},{757,244},{799,86},{873,3248},{1414,58},{4565,57},{4614,4658},{4637,1014}
X(1020){658,4566},{1262,57},{1275,269},{4566,4551}
X(1021){162,4183},{643,2328},{648,1},{662,21},{823,29},{931,4512},{1098,2310},{4560,3737},{4635,86}
X(1022){679,244},{3257,88},{4555,4674},{4618,1}
X(1023){765,678},{3257,100},{4564,214}
X(1025){883,1026}
X(1026){765,4712},{883,1025},{4562,1018}
X(1030){35,55},{37,6}
X(1033){3,25},{1249,6}
X(1035){3,56},{223,6},{1394,221}
X(1038){1010,388}
X(1040){644,521}
X(1042){34,1426},{56,1410},{269,1427},{1427,1400}
X(1043){314,333},{4600,645}
X(1044){64,1}
X(1045){42,1},{894,9},{4418,191}
X(1046){65,1},{1935,1745},{2907,3144},{4641,1743}
X(1047){73,1},{1940,46}
X(1048){2594,1},{2595,3460}
X(1050){1201,1}
X(1051){1100,1},{1961,846},{3740,165}
X(1052){244,1}
X(1053){2170,1}
X(1054){513,1},{4440,4919}
X(1055){2291,6}
X(1068){158,4},{3559,46}
X(1069){90,3},{2994,2164}
X(1071){664,905}
X(1073){2,3343},{253,64}
X(1075){3,4}
X(1078){249,99}
X(1079){1068,46}
X(1082){1255,559}
X(1084){2,512},{6,688},{32,669},{2998,523},{3228,888}
X(1086){2,514},{7,513},{75,523},{76,693},{274,3004},{277,650},{278,3669},{279,3676},{330,3776},{334,3837},{335,918},{693,764},{903,900},{1111,11},{1246,834},{1358,3756},{2973,2969},{4373,522}
X(1087){2617,2618}
X(1089){321,594},{3701,3695},{3952,4086}
X(1092){394,577}
X(1096){158,19}
X(1098){261,2185}
X(1100){1,1962},{2,3647},{662,513},{1018,649},{1125,3683},{4359,3916}
X(1104){162,513},{1020,649}
X(1106){1407,604}
X(1107){799,513}
X(1108){653,513},{1210,1864}
X(1109){1,2618},{75,1577},{91,656},{92,661},{1089,4036}
X(1110){59,2149},{4570,1252}
X(1111){7,4077},{75,693},{76,1577},{85,514},{273,3676},{310,4509},{561,3261},{1441,3004}
X(1113){250,1114}
X(1114){250,1113}
X(1119){1847,278}
X(1122){7,3663},{658,3669}
X(1125){1,4065},{2,1213},{8,3650},{75,3578},{99,514},{553,4856},{1224,10},{1269,4001},{3952,513},{4359,3686}
X(1126){1268,1796}
X(1135){3604,3274}
X(1137){3603,3273}
X(1145){8,519},{100,900},{1016,2427}
X(1146){2,522},{8,3900},{9,3700},{11,4953},{92,523},{189,513},{257,3910},{281,650},{346,3239},{2994,521},{4858,11}
X(1147){2,577},{54,3},{110,924},{1993,571}
X(1148){1,4},{1940,3144}
X(1149){3257,649},{3911,2183}
X(1151){493,6},{3532,1152}
X(1152){494,6},{3532,1151}
X(1154){3,1511},{4,128}
X(1155){1156,1},{1308,513}
X(1157){30,3484},{1141,54}
X(1158){318,1}
X(1162){4,3127}
X(1163){4,3128}
X(1172){27,28},{29,4183},{81,3194},{270,2299},{2326,284}
X(1176){83,251},{4577,4580}
X(1185){931,669}
X(1191){2221,6}
X(1193){1,2292},{662,649},{1848,2354},{3666,2269},{4551,513}
X(1194){4577,512}
X(1195){162,663}
X(1196){2,1368},{25,3080},{648,512}
X(1197){662,667}
X(1200){651,663}
X(1201){1,3057},{651,649},{3752,2347}
X(1203){4629,649}
X(1209){2,570}
X(1211){2,3666},{651,525},{668,523},{3882,3910},{4357,2292}
X(1212){2,142},{142,354},{664,3900},{3939,650},{4847,3059}
X(1213){2,1125},{190,523},{1125,1962},{3578,3650},{3686,3958},{4103,661},{4359,4647},{4647,4046}
X(1214){2,226},{77,73},{307,72},{348,307},{664,521},{1305,513},{1441,65},{1813,905},{2982,3173},{4552,525},{4566,520}
X(1215){894,2295},{1237,4019},{1909,3963},{3963,4095},{4579,3907}
X(1227){76,4358},{799,3762}
X(1228){4554,3267}
X(1229){76,1233},{3699,4391},{4572,4397}
X(1230){76,1269},{1269,4647},{1978,850}
X(1231){76,349}
X(1233){76,1229},{668,3261}
X(1234){668,850}
X(1235){264,427},{648,850}
X(1236){892,850}
X(1237){1920,3963}
X(1245){2221,2281}
X(1249){2,4},{20,3079},{1105,25},{2322,19}
X(1250){1082,2307}
X(1251){1081,2306}
X(1252){4564,59},{4567,765},{4570,1110},{4619,1331}
X(1253){55,41},{200,1802},{983,3217},{2328,220},{3939,657}
X(1254){65,1425}
X(1259){326,394},{345,219},{1792,78}
X(1260){78,219},{346,220},{765,4574},{1792,3692},{2327,1802}
X(1262){4619,1461}
X(1265){3718,345},{4076,4571}
X(1269){76,1230},{670,3261}
X(1272){3260,69}
X(1278){330,2}
X(1279){241,910},{1026,659},{1462,6},{3008,2348},{4318,3827}
X(1281){75,239}
X(1282){518,1},{910,165},{3509,846},{3684,43}
X(1284){242,1874}
X(1312){4,2575},{264,2593},{1113,523}
X(1313){4,2574},{264,2592},{1114,523}
X(1317){7,3911}
X(1318){679,2226}
X(1319){1411,65},{1443,1465},{1465,2182},{2222,513},{3911,44}
X(1320){903,88}
X(1323){7,3321}
X(1326){741,58}
X(1329){901,2804}
X(1330){313,2}
X(1331){190,101},{643,100},{765,78},{1332,4587},{4558,906},{4564,2289},{4567,2327},{4570,3682},{4592,1332},{4600,306},{4619,1252}
X(1332){645,190},{668,100},{1016,345},{4561,4571},{4563,4561},{4567,3998},{4592,1331},{4600,1792}
X(1333){28,2203},{58,2194},{81,1437},{593,58},{849,2206},{1169,6},{1175,184},{1412,1408},{2189,1474},{4565,3733},{4567,110},{4570,692}
X(1334){9,210},{37,42},{226,4878},{644,663},{1018,4041},{2321,2318},{4557,4524},{4876,2340}
X(1342){83,1343}
X(1343){83,1342}
X(1352){327,2}
X(1357){7,3669},{3020,1015}
X(1358){7,3676},{279,3669}
X(1361){7,1465}
X(1362){7,241},{59,2283},{651,665},{1037,2223}
X(1364){7,905},{189,650},{222,652},{255,520},{1433,1459},{1804,4091}
X(1368){2,1196},{670,525},{3565,523}
X(1370){305,2},{315,69}
X(1376){294,518},{3729,4513}
X(1379){249,1380}
X(1380){249,1379}
X(1381){59,1382}
X(1382){59,1381}
X(1384){1383,6}
X(1386){1492,513},{3799,4782}
X(1394){21,56},{77,57}
X(1395){34,604},{608,1973},{2203,1397}
X(1397){59,1415},{604,32},{1408,604},{2203,1395},{3450,6}
X(1398){1119,1407},{1435,608}
X(1399){2003,2174}
X(1400){6,1409},{19,1880},{56,1402},{57,65},{65,42},{108,663},{226,73},{951,55},{1020,4017},{1415,649},{1427,1042},{2006,1457}
X(1401){7,3665}
X(1402){56,1400},{65,1409},{961,6},{1037,73},{1400,213}
X(1403){604,56},{1423,2176}
X(1404){1319,902},{2720,663}
X(1405){2099,2177}
X(1406){34,56}
X(1407){269,56},{1119,1398},{1262,1461},{1275,934},{1396,1435}
X(1408){1412,1333}
X(1409){6,1400},{65,1402},{73,228},{109,1946},{222,73},{2982,56},{4559,647}
X(1410){56,1042}
X(1411){2006,2161}
X(1412){1014,58},{4620,1414}
X(1413){84,56},{1422,1436}
X(1414){4573,662},{4616,4637},{4620,1412}
X(1415){59,1397},{109,692},{1262,56},{2149,604},{4565,109}
X(1416){1462,1438}
X(1418){57,1475},{109,3669},{4626,513}
X(1419){1,57},{1456,2114},{3160,165}
X(1420){269,57},{765,109}
X(1421){3676,57}
X(1422){189,57},{1440,84}
X(1423){56,57},{238,2114},{3212,43}
X(1424){604,57}
X(1425){65,1254},{1020,647}
X(1426){34,1042}
X(1427){269,1042},{279,3668},{1446,1439},{1461,3669},{3668,65}
X(1428){1416,56},{1429,1914}
X(1429){1447,238},{1462,57}
X(1431){1432,893}
X(1433){189,1436},{271,3},{285,84}
X(1434){552,1014},{4620,4573}
X(1435){1119,34},{1396,1407},{1847,269}
X(1436){84,2192},{189,1433},{282,6},{1422,1413}
X(1437){60,58},{81,1333},{1790,2193},{1798,3}
X(1438){105,2195},{1462,1416}
X(1439){7,3668},{658,905},{1446,1427}
X(1440){309,7}
X(1441){75,307},{85,226},{349,321},{664,693}
X(1444){261,86},{274,81}
X(1445){765,651},{1088,1}
X(1446){1088,3668}
X(1449){2297,9},{3616,4512}
X(1455){104,56}
X(1456){105,56}
X(1457){106,56},{1465,2183},{2006,1400}
X(1458){241,672},{1477,56}
X(1459){3,3937},{77,3942},{86,4466},{101,1473},{109,603},{514,649},{905,652},{1331,3},{1332,71},{1433,1364},{1461,6},{1813,48},{3737,513},{4025,4091},{4561,63},{4575,4303}
X(1460){388,2286},{959,6}
X(1461){934,109},{1262,1407},{4619,1262},{4637,934}
X(1463){1447,241}
X(1464){1870,1835}
X(1465){7,1361},{88,57},{1440,1537},{1443,1319}
X(1468){940,2268}
X(1473){101,1459}
X(1474){27,58},{28,2299},{2189,1333}
X(1475){57,1418},{354,2293},{692,649},{934,663}
X(1478){1065,1}
X(1479){1067,1}
X(1480){1,999}
X(1486){7,6},{1633,513},{4228,169}
X(1490){20,40},{78,1},{329,9}
X(1491){262,11},{984,4475},{1492,1},{3799,984},{4481,3250},{4505,3661}
X(1493){110,1510}
X(1495){30,3284},{74,6},{186,3003},{1304,647},{4240,1637}
X(1498){20,3},{394,6}
X(1500){37,756},{42,872},{594,3690},{1018,512},{1252,4557},{2171,181}
X(1501){249,1576}
X(1503){4,132},{287,6},{297,230},{685,523},{2867,525}
X(1504){1306,512}
X(1505){1307,512}
X(1507){356,1508}
X(1508){356,1507}
X(1509){873,261},{4590,4610}
X(1510){4,137},{110,1493}
X(1511){2,3284},{3,1154},{110,526},{249,2420}
X(1537){1440,1465}
X(1560){2,468},{4,2393}
X(1562){393,647},{459,523}
X(1565){69,4025},{279,514},{304,525},{348,905},{1014,3004},{1440,3676}
X(1566){2,676},{4,926}
X(1575){239,518},{292,37},{4562,513}
X(1576){249,1501},{250,6},{827,110},{933,112}
X(1577){2,4858},{75,1109},{76,1111},{313,3120},{561,2643},{668,4647},{693,523},{799,75},{811,1},{823,92},{850,4086},{3261,850},{4033,321},{4077,4404},{4391,525},{4602,1930}
X(1580){1755,1955},{1910,1},{1967,1582}
X(1582){1967,1580}
X(1585){2052,1586}
X(1586){2052,1585}
X(1591){1306,523}
X(1592){1307,523}
X(1594){933,523}
X(1599){1585,1993}
X(1600){1586,1993}
X(1604){346,6}
X(1609){24,25},{393,6}
X(1611){2207,6}
X(1613){32,6}
X(1615){165,55},{220,6}
X(1616){1407,6},{1420,56}
X(1617){279,6},{1252,109},{1445,218}
X(1619){3926,6}
X(1621){1252,100},{1509,6}
X(1625){249,143}
X(1626){85,6}
X(1631){75,6}
X(1633){1275,6}
X(1634){99,4576},{4590,6}
X(1635){44,2087},{88,244},{100,678},{104,2310},{513,3251},{662,214},{900,4895},{1022,513},{1023,44},{2161,2170},{2743,55},{3257,1},{3911,1647},{3960,1769}
X(1636){2420,3284}
X(1637){2,3258},{1989,115},{2394,523},{2407,30},{4240,1495}
X(1638){7,3328},{658,3321}
X(1639){8,4542},{522,4543},{1023,3943},{2325,4530},{3699,4152},{3762,900},{3904,2804},{4582,8},{4768,4528}
X(1645){538,888},{3228,512}
X(1646){536,891},{3227,513},{3230,3768}
X(1647){11,3259},{80,513},{519,900},{903,514},{1120,522},{3264,3762},{3911,1635},{4358,4120}
X(1648){2,1649},{67,512},{468,351},{524,690},{671,523},{2373,669}
X(1649){2,1648},{99,524},{523,690}
X(1650){265,520},{1294,523},{1494,525}
X(1652){554,1},{2160,1653}
X(1653){1081,1},{2160,1652}
X(1654){10,2},{894,192},{1330,3151},{4416,144}
X(1655){37,2},{1909,8},{3770,2895}
X(1660){20,577}
X(1661){20,6}
X(1670){76,1671}
X(1671){76,1670}
X(1685){3597,1686}
X(1686){3597,1685}
X(1687){98,1688}
X(1688){98,1687}
X(1689){262,1690}
X(1690){262,1689}
X(1691){237,1971},{699,32},{1976,6}
X(1692){2715,512}
X(1696){939,55}
X(1697){2339,9},{3672,2999},{4606,650}
X(1698){4654,4898},{4756,4802}
X(1699){4626,514}
X(1707){19,1},{1778,1724}
X(1708){273,1}
X(1709){281,1}
X(1711){393,1}
X(1712){63,19},{1895,1}
X(1715){412,4},{1896,1}
X(1716){25,1}
X(1717){1770,46}
X(1718){1737,46},{1870,1}
X(1719){1826,1}
X(1720){1158,46}
X(1721){33,1},{3474,46}
X(1722){34,1},{1788,46}
X(1723){278,1},{1708,46}
X(1724){28,1},{579,1754},{1778,1707}
X(1726){264,1}
X(1729){331,1}
X(1730){286,1}
X(1734){1783,1}
X(1740){31,1},{1958,610}
X(1742){55,1}
X(1743){57,1},{145,3158},{1476,55},{4383,978},{4641,1046}
X(1745){3,1},{1935,1046}
X(1749){2166,1}
X(1750){282,1}
X(1751){272,2218}
X(1754){579,1724},{1172,1}
X(1755){1581,1964},{1821,1},{2311,6},{3405,1959}
X(1756){98,1}
X(1757){291,1},{2238,2664}
X(1758){851,2655},{1937,1},{2652,2647}
X(1759){76,1}
X(1760){315,4123},{561,1}
X(1761){321,1}
X(1762){1441,1}
X(1763){69,1}
X(1764){314,1}
X(1766){312,1}
X(1767){342,1}
X(1768){522,1}
X(1769){106,244},{162,1845},{2006,2170},{3960,1635}
X(1773){388,1},{1452,46}
X(1780){27,284}
X(1781){226,1}
X(1783){648,1897},{653,108}
X(1785){4,1845}
X(1790){86,58},{1444,283},{2185,81},{4556,4091},{4610,4025}
X(1792){332,1812},{4600,1332}
X(1796){1268,1126}
X(1797){903,106}
X(1799){308,83}
X(1800){21,283}
X(1802){200,1253},{219,212},{2327,1260}
X(1804){348,222},{1444,77}
X(1805){21,1806}
X(1806){21,1805}
X(1812){314,21},{332,1792},{4567,4558}
X(1813){662,651},{664,109},{4564,63},{4620,307}
X(1814){2481,105}
X(1816){283,21}
X(1817){333,81},{1444,21}
X(1818){1810,3},{1815,219},{3912,672}
X(1819){1792,283}
X(1820){2168,48}
X(1822){1101,1823},{2580,2576}
X(1823){1101,1822},{2581,2577}
X(1824){4,1826},{19,2333},{33,42},{225,1880}
X(1826){4,1824},{281,37},{1783,3064}
X(1829){4,429},{19,444}
X(1834){4,1842},{1897,523},{4605,661}
X(1835){1870,1464}
X(1838){4,1844},{92,2294}
X(1839){4,430}
X(1841){1838,1859}
X(1842){4,1834}
X(1843){4,427},{427,39},{648,2489},{1289,647}
X(1844){4,1838}
X(1845){4,1785},{162,1769}
X(1846){4,1877}
X(1851){4,1863},{286,3673}
X(1856){4,2262},{108,3064}
X(1857){158,393}
X(1858){4,431},{648,650}
X(1859){4,1865},{107,650},{1838,1841}
X(1863){4,1851}
X(1864){1210,1108},{1897,650}
X(1865){4,1859},{1783,2501}
X(1874){242,1284}
X(1877){4,1846}
X(1880){19,1400},{225,1824},{278,225}
X(1886){917,25}
X(1895){75,92}
X(1897){648,1783},{1309,4242}
X(1901){653,523}
X(1903){84,2357}
X(1909){335,350},{668,2533},{1221,2}
X(1910){1821,293}
X(1911){291,2196},{741,292}
X(1914){727,31},{1429,1428},{1438,6},{1911,172},{2702,649}
X(1918){31,213},{32,2205},{42,2200},{692,1919},{983,37},{4600,101}
X(1919){32,1977},{101,31},{604,3248},{692,1918},{1474,3122},{4610,58}
X(1920){334,1921},{1240,76}
X(1921){334,1920}
X(1923){31,1964},{163,1924}
X(1924){163,1923},{560,4117},{662,31},{1919,669}
X(1925){1934,1926}
X(1926){1934,1925}
X(1930){75,38},{4602,1577}
X(1931){238,2106},{1929,1963}
X(1932){1927,1933}
X(1933){1927,1932}
X(1935){296,1936}
X(1936){296,1935},{1948,2202}
X(1940){1937,243}
X(1941){1942,450}
X(1945){1952,296},{2249,1949}
X(1946){55,3270},{108,6},{109,1409},{650,3063},{692,184},{1415,41},{2188,2638},{2218,2170},{4571,219}
X(1947){1952,1948}
X(1948){1952,1947}
X(1949){2249,1945}
X(1950){1949,1951}
X(1951){1949,1950},{2701,663}
X(1953){19,2180},{163,661},{823,656},{2216,31}
X(1955){293,1},{1755,1580}
X(1957){1910,240}
X(1958){293,1959},{775,63}
X(1959){293,1958},{1934,38},{1966,2227},{3405,1755}
X(1960){101,1017},{106,1015},{901,6},{1319,2087},{2423,3063}
X(1962){1,1100},{100,661},{1125,1213},{1929,2238},{3065,2245},{4647,3958}
X(1963){1929,1931}
X(1964){1,38},{31,1923},{38,4020},{662,798},{1178,6},{1581,1755}
X(1965){1581,1966}
X(1966){874,804},{1581,1965},{1821,75}
X(1968){1976,232}
X(1971){237,1691},{248,6}
X(1973){19,31},{25,2212},{608,1395},{1474,25},{2203,1974},{2204,32},{2332,3172}
X(1974){25,32},{2203,1973}
X(1975){287,325},{801,69}
X(1976){98,248},{685,2395},{2065,6},{2715,2422}
X(1977){6,667},{31,669},{32,1919},{739,890},{1397,1980},{1509,3733},{1919,3249},{2162,649}
X(1978){670,668}
X(1979){667,6}
X(1980){692,32},{1397,1977},{2203,3121}
X(1983){59,215},{901,692}
X(1986){4,403}
X(1989){94,265}
X(1990){2,133},{1300,25},{1989,53}
X(1992){598,2}
X(1993){264,3},{275,2},{317,24},{1585,1599},{1586,1600}
X(1995){598,6}
X(1999){65,894}
X(2003){1442,35},{2982,57}
X(2023){2396,523}
X(2028){1380,512}
X(2029){1379,512}
X(2039){4,3413}
X(2040){4,3414}
X(2053){87,2162}
X(2070){94,6}
X(2071){3260,323}
X(2076){694,6}
X(2077){908,2323}
X(2079){2501,6}
X(2081){50,2088},{654,2624}
X(2082){497,4319},{664,663},{4000,614}
X(2083){811,810}
X(2084){4593,2085}
X(2085){4593,2084}
X(2086){98,669},{694,512},{3225,523},{3978,804}
X(2087){1,3251},{44,1635},{88,513},{104,667},{519,4730},{1022,764},{1319,1960},{2161,649},{4358,900}
X(2088){50,2081},{74,512},{94,523},{323,526},{2245,2624}
X(2089){7,174}
X(2092){2,960},{6,2300},{100,512},{646,4139},{1193,3725},{1415,647},{3666,2292}
X(2093){3577,1}
X(2106){238,1931},{741,81}
X(2108){238,1},{1575,43}
X(2110){238,6},{2223,55}
X(2112){238,31}
X(2114){238,1423},{241,57},{1456,1419}
X(2120){5,54}
X(2122){8,56}
X(2124){9,57},{3160,1}
X(2126){10,58}
X(2128){19,63}
X(2130){20,64}
X(2132){30,74}
X(2134){37,81}
X(2136){57,9},{145,1}
X(2138){69,25}
X(2140){101,514}
X(2142){512,99}
X(2144){238,292}
X(2146){238,365}
X(2148){2167,2169}
X(2149){59,1110},{4619,109}
X(2150){593,849}
X(2151){2159,2152}
X(2152){2159,2151}
X(2161){2006,1411}
X(2162){87,2053}
X(2163){89,2364}
X(2164){2994,1069}
X(2165){96,2351}
X(2169){2167,2148}
X(2170){1,663},{6,661},{8,4041},{9,650},{11,2310},{19,649},{57,513},{278,4017},{312,522},{673,2254},{959,4822},{1086,244},{1320,4895},{1751,656},{2006,1769},{2161,1635},{2185,3737},{2186,3250},{2217,667},{2218,1946},{3512,659},{3680,3900},{4900,4814}
X(2171){12,756},{37,2197},{65,181},{226,12},{4552,4017},{4559,661},{4564,4551}
X(2172){75,31}
X(2173){2341,6},{2349,1}
X(2174){80,2361},{1126,31},{2003,1399},{2259,6}
X(2175){8,4548},{31,32},{692,3063},{2194,41},{3449,6}
X(2176){31,6},{983,55},{1016,4595},{1423,1403}
X(2177){2099,1405},{4653,45}
X(2178){19,6}
X(2179){19,2181}
X(2180){19,1953}
X(2181){19,2179}
X(2182){1295,55},{1465,1319},{2765,3900}
X(2183){36,902},{80,42},{102,55},{1465,1457},{2222,663},{2316,6},{2427,3310},{3911,1149}
X(2185){249,662},{261,1098},{1509,757}
X(2187){48,41},{55,31},{221,2199},{947,6},{2360,198}
X(2192){84,1436},{280,268},{285,282},{1433,6}
X(2193){21,2194},{1790,1437},{1798,184},{4612,521}
X(2194){21,2193},{58,1333},{60,284},{1169,32},{1172,2204},{1175,6},{3453,2220}
X(2195){105,1438}
X(2196){291,1911},{2311,292}
X(2197){12,181},{37,2171},{201,3690},{1214,201}
X(2198){19,42},{579,209}
X(2199){6,604},{221,2187},{603,31}
X(2200){41,213},{42,1918},{48,228},{71,4055},{2259,31},{2359,212}
X(2202){1948,1936}
X(2203){28,1333},{1474,2204}
X(2204){1172,2194},{1474,2203},{2189,2299}
X(2205){32,1918},{4567,692}
X(2206){849,1333},{3453,6},{4570,163}
X(2207){393,25}
X(2208){2192,31}
X(2209){32,31}
X(2211){232,237}
X(2212){25,1973},{33,41},{2299,607}
X(2218){272,1751}
X(2220){765,692},{849,31},{3453,2194}
X(2223){105,6},{292,213},{911,41},{919,3063},{1037,1362},{2283,665},{3286,672}
X(2226){679,1318}
X(2227){1966,1959},{1967,38}
X(2229){889,512}
X(2236){3404,38}
X(2238){1,4094},{83,4366},{98,55},{238,3747},{239,740},{660,512},{666,523},{740,4433},{1929,1962},{2665,2667},{3225,192},{3512,2292},{3570,659},{3573,4155}
X(2245){36,3724},{54,215},{74,55},{655,523},{901,512},{1983,654},{2250,37},{2981,203},{3065,1962},{3218,758},{4674,42}
X(2246){2717,55}
X(2251){3285,902}
X(2252){909,48},{2006,73}
X(2253){911,48}
X(2254){291,244},{518,3675},{673,2170},{813,38},{1024,4449},{1025,672},{1026,518},{2736,55},{4444,661},{4562,3252}
X(2260){163,649},{1020,513}
X(2262){4,1856},{1461,513}
X(2264){4551,663}
X(2265){2716,55}
X(2268){940,1468},{987,31}
X(2269){1,3725},{163,652},{643,663},{1018,650},{3666,1193}
X(2270){189,1}
X(2272){2338,6}
X(2275){982,3056},{3662,3784},{4554,513}
X(2276){2,3789},{984,4517},{3661,3781},{3736,869},{3799,788}
X(2280){985,31}
X(2281){2221,1245}
X(2283){59,1362},{927,651},{1025,2284}
X(2284){660,4557},{666,100},{677,3939},{1025,2283}
X(2285){388,612},{2303,2286}
X(2286){388,1460},{2303,2285}
X(2287){333,21},{1098,2328},{4567,643}
X(2289){78,212},{394,255},{2327,219},{4564,1331}
X(2290){4282,50}
X(2291){1156,4845}
X(2292){1,1193},{75,3687},{109,656},{190,661},{3512,2238},{3666,2092},{4357,1211}
X(2293){1,354},{354,1475},{651,657},{1292,649}
X(2294){92,1838},{101,661},{653,656},{4605,523}
X(2295){894,1215}
X(2299){28,1474},{29,284},{270,1172},{1172,2332},{2189,2204}
X(2300){6,2092},{81,4267},{110,667},{4559,649}
X(2304){2214,31}
X(2305){1400,6}
X(2306){1081,1251}
X(2307){1082,1250}
X(2308){110,649},{4557,667}
X(2309){99,649}
X(2310){1,650},{4,661},{9,657},{11,2170},{33,663},{55,4041},{84,649},{90,652},{104,1635},{158,3064},{200,3900},{341,3239},{346,4171},{1088,514},{1098,1021},{1146,3119},{3062,513},{3065,654},{3577,4893}
X(2312){293,31}
X(2315){2159,48}
X(2316){88,106},{1318,55}
X(2318){72,71},{78,3694},{200,210},{2321,1334},{4571,652}
X(2319){330,87},{2053,9}
X(2321){8,210},{312,3701},{321,10},{346,3694},{644,3239},{646,522},{3701,4082},{4033,4086},{4102,8}
X(2323){908,2077},{1320,55},{2990,1},{3218,36},{4585,3738}
X(2324){78,200},{329,40},{346,9}
X(2325){8,4152},{2415,900},{3699,4543},{4358,519},{4582,522}
X(2327){1043,2328},{1812,283},{4567,1331}
X(2328){21,284},{643,1021},{1043,2327},{1098,2287},{2322,2332}
X(2329){894,171},{4579,4477},{4600,3939}
X(2330){171,172},{4579,3287}
X(2331){1,33},{196,208},{281,19},{3194,3195}
X(2332){1172,2299},{2322,2328},{2326,4183}
X(2333){19,1824},{607,213},{1826,42}
X(2340){518,672},{2338,220},{4876,1334}
X(2342){104,909}
X(2345){1010,612},{4385,3974}
X(2347){100,663},{3752,1201}
X(2348){105,55},{3008,1279}
X(2351){96,2165},{847,6}
X(2352){28,6}
X(2354){1848,1193}
X(2356){1861,672}
X(2357){84,1903}
X(2360){21,58},{1790,284}
X(2361){80,2174},{102,48},{2316,41},{2342,55}
X(2364){89,2163}
X(2390){1797,6}
X(2393){4,1560},{23,187},{895,6},{935,647}
X(2395){685,1976},{2966,98}
X(2397){4582,190}
X(2398){190,3234}
X(2403){4582,88}
X(2407){99,3233}
X(2409){2966,112}
X(2420){249,1511}
X(2421){877,4230}
X(2422){2395,878},{2715,1976}
X(2424){677,103}
X(2426){677,101}
X(2427){1016,1145}
X(2446){57,2590},{1382,513}
X(2447){57,2591},{1381,513}
X(2448){3308,1}
X(2449){3307,1}
X(2450){2715,523}
X(2451){878,3569}
X(2454){2479,525}
X(2455){2480,525}
X(2475){1441,2}
X(2476){931,523}
X(2482){2,524},{99,690}
X(2483){3108,1015}
X(2484){2297,3248}
X(2485){2,127},{850,512},{2419,2881},{4580,523},{4611,22}
X(2486){37,523},{4651,4151}
X(2488){41,3271},{2191,1015}
X(2489){25,2971},{112,25},{648,1843},{2207,3124},{2501,512}
X(2491){2,2679},{882,688},{2395,512},{2396,511}
X(2495){614,1015}
X(2501){2,136},{92,2969},{107,25},{112,53},{264,2971},{393,115},{459,125},{648,4},{653,407},{685,460},{687,30},{1783,1865},{1897,430},{2052,2970},{3064,661}
X(2502){843,6}
X(2503){842,55}
X(2509){4025,3900}
X(2514){83,3124},{427,115}
X(2519){2489,647},{3566,512}
X(2524){3049,647}
X(2525){305,125},{4576,3917}
X(2528){99,141}
X(2530){274,3125},{292,3675},{4553,38},{4568,3954}
X(2531){99,3118},{1576,3051},{4609,141}
X(2533){171,4459},{668,1909},{4554,37},{4639,4037}
X(2536){573,2537}
X(2537){573,2536}
X(2574){4,1313},{110,2575},{1113,3}
X(2575){4,1312},{110,2574},{1114,3}
X(2576){2580,1822}
X(2577){2581,1823}
X(2578){163,2579},{662,2585},{1822,31},{2576,48},{2580,1},{2582,2584}
X(2579){163,2578},{662,2584},{1823,31},{2577,48},{2581,1},{2583,2585}
X(2582){662,2583},{811,2589},{2580,63}
X(2583){662,2582},{811,2588},{2581,63}
X(2584){662,2579},{1822,255},{2582,2578},{4575,2585}
X(2585){662,2578},{1823,255},{2583,2579},{4575,2584}
X(2588){162,2589},{811,2583},{2580,19},{2586,1}
X(2589){162,2588},{811,2582},{2581,19},{2587,1}
X(2590){57,2446},{101,2591},{1381,55}
X(2591){57,2447},{101,2590},{1382,55}
X(2592){264,1313},{648,2593}
X(2593){264,1312},{648,2592}
X(2594){1,2599},{1262,4559}
X(2595){2603,2596}
X(2596){2603,2595}
X(2599){1,2594},{655,2600}
X(2600){655,2599}
X(2601){2597,2602}
X(2602){2597,2601}
X(2605){1,2611},{4565,6}
X(2606){2614,2607}
X(2607){2614,2606}
X(2610){2250,3708},{4242,3724},{4585,758},{4674,2643}
X(2611){1,2605},{57,661},{90,656},{267,513}
X(2612){2608,2613}
X(2613){2608,2612}
X(2617){1101,1}
X(2618){1,1109},{2617,1087}
X(2619){2627,2620}
X(2620){2627,2619}
X(2624){654,2081},{1983,50},{2245,2088}
X(2625){2621,2626}
X(2626){2621,2625}
X(2629){656,1}
X(2631){2349,2632}
X(2632){1,656},{63,822},{2184,661},{2349,2631}
X(2633){1,162}
X(2636){652,1}
X(2638){1,652},{3,822},{282,657},{2188,1946},{3345,649},{3362,650},{3466,654}
X(2639){1,653}
X(2640){661,1}
X(2642){897,2643},{2157,3708},{4750,690}
X(2643){1,661},{19,798},{267,649},{561,1577},{756,4705},{897,2642},{921,822},{1089,4024},{1109,3708},{1247,650},{2171,4079},{3120,115},{3125,3124},{4674,2610}
X(2644){1,662}
X(2646){1,2650},{662,650},{1020,652}
X(2647){2652,1758}
X(2650){1,2646},{651,661},{2648,851}
X(2651){1936,416},{2648,409}
X(2654){1,2658},{823,652},{1020,650}
X(2655){296,1},{851,1758},{2660,2662}
X(2658){1,2654},{653,822},{2656,851}
X(2659){243,415},{2656,410}
X(2662){2660,2655}
X(2663){2107,2664}
X(2664){292,1},{2107,2663},{2238,1757}
X(2667){1,3720},{190,798},{2665,2238}
X(2668){2665,2669}
X(2669){2665,2668}
X(2670){4603,512}
X(2679){2,2491},{4,804}
X(2771){2694,3}
X(2786){3570,3912},{4444,514},{4589,10}
X(2799){99,114},{290,125},{325,868},{805,626},{877,511},{1297,127},{1916,115},{2396,325},{2966,2}
X(2804){100,119},{655,9},{901,1329},{1295,123},{1320,11},{2399,3239},{3904,1639}
X(2826){1156,11}
X(2832){897,244}
X(2850){1290,3}
X(2872){755,3124}
X(2881){2409,232},{2419,2485}
X(2883){2,800}
X(2886){3903,523}
X(2887){3662,3721},{3888,3810}
X(2888){311,2}
X(2889){1232,2}
X(2890){1233,2}
X(2891){1269,2}
X(2892){1236,2}
X(2893){349,2}
X(2895){319,8},{321,2},{3770,1655}
X(2896){141,2},{384,194}
X(2897){1231,2}
X(2898){4,7}
X(2899){4,8}
X(2900){4,9}
X(2901){4,10}
X(2902){4,15}
X(2903){4,16}
X(2904){4,24}
X(2905){4,27}
X(2906){4,28}
X(2907){4,29}
X(2908){4,31}
X(2909){4,32}
X(2910){4,40}
X(2911){4,55}
X(2912){4,61}
X(2913){4,62}
X(2914){4,186}
X(2915){321,6}
X(2916){141,6}
X(2917){343,6},{2888,195}
X(2920){3782,6}
X(2930){23,3},{524,6}
X(2931){186,3},{3580,6}
X(2932){4358,6}
X(2933){312,6}
X(2934){311,6}
X(2935){146,399},{2071,3}
X(2936){3266,6}
X(2938){210,1}
X(2939){72,1},{1761,846}
X(2940){3678,1}
X(2941){2321,1}
X(2942){3059,1}
X(2943){3057,1}
X(2944){960,1}
X(2947){219,1}
X(2948){758,1},{1325,3}
X(2951){144,9},{200,1}
X(2955){950,1}
X(2956){40,1}
X(2957){11,1}
X(2958){1146,1}
X(2961){497,1}
X(2964){2216,1}
X(2965){1173,184},{1994,49}
X(2967){250,4230},{264,297},{648,3569}
X(2968){2,3239},{8,521},{75,525},{253,514},{264,4391},{280,522},{1494,3904},{2370,900}
X(2969){92,2501},{917,676},{2973,1086}
X(2970){847,523},{2052,2501}
X(2971){25,2489},{264,2501}
X(2972){3,520},{264,525},{1073,647}
X(2975){59,100},{261,2}
X(2978){785,6}
X(2998){3224,2}
X(2999){3672,1697}
X(3003){2,113},{186,1495},{476,512},{687,924},{1299,25},{2407,526}
X(3004){274,1086},{1014,1565},{1441,1111},{4509,3910}
X(3005){2,3124},{66,3269},{512,688},{523,826},{827,6},{1634,39},{3613,115}
X(3008){7,3021},{666,514}
X(3009){238,672},{660,649},{727,6},{1911,42}
X(3013){477,55}
X(3020){7,4017},{57,3669},{85,3676},{1358,244}
X(3021){7,3008}
X(3022){7,650},{33,3709},{55,657},{480,4105},{1253,4524},{2192,3063}
X(3023){7,4369}
X(3024){1029,650}
X(3025){7,3960}
X(3035){885,518}
X(3049){110,682},{512,669},{2623,512},{2715,237},{3063,798},{4563,3},{4574,228}
X(3050){110,3203},{1576,6}
X(3051){6,39},{110,669},{694,237},{1576,2531}
X(3052){56,6},{3451,41}
X(3053){25,6},{193,3167}
X(3056){668,650},{982,2275},{3794,3061}
X(3057){1,1201},{190,650},{1293,513},{3663,3752}
X(3059){8,4847},{190,4130},{4847,1212}
X(3061){1978,522},{3662,982},{3705,4073},{3794,3056}
X(3063){6,3271},{644,55},{649,667},{650,1946},{692,2175},{919,2223},{1172,4516},{1415,31},{2192,3022},{2423,1960},{4617,56},{4631,21}
X(3064){108,1856},{158,2310},{278,11},{653,4},{1783,1826},{1897,33}
X(3068){393,3069},{1585,4}
X(3069){393,3068},{1586,4}
X(3078){5,233}
X(3079){20,1249}
X(3080){25,1196}
X(3081){30,3163}
X(3102){3399,3103}
X(3103){3399,3102}
X(3118){99,2531},{695,39}
X(3119){9,3900},{85,522},{200,4105},{220,4171},{281,4041},{282,663},{728,4130},{1146,2310}
X(3120){10,523},{27,649},{79,513},{86,514},{225,4017},{226,661},{313,1577},{321,4024},{903,4707},{1086,3125},{4052,3700},{4080,4120}
X(3121){37,512},{213,798},{274,513},{292,4455},{893,649},{1015,3122},{1333,667},{1402,669},{2203,1980}
X(3122){10,661},{37,4079},{42,512},{58,649},{244,3125},{256,513},{310,514},{1015,3121},{1400,798},{1474,1919},{2054,4455}
X(3123){43,4083},{76,661},{1015,244},{3500,649},{3551,513}
X(3124){2,3005},{6,512},{25,669},{76,523},{83,2514},{111,351},{594,4705},{694,3569},{755,2872},{1500,4079},{2207,2489},{2248,649},{3125,2643},{3444,667}
X(3125){10,4705},{28,667},{37,661},{65,512},{81,513},{105,4455},{244,3122},{257,514},{274,2530},{321,523},{335,4010},{514,764},{1086,3120},{1427,4017},{2160,649},{3120,4516},{4674,4730}
X(3126){100,518},{693,918}
X(3127){4,1162}
X(3128){4,1163}
X(3129){13,6}
X(3130){14,6}
X(3131){17,6}
X(3132){18,6}
X(3133){24,52}
X(3134){74,523}
X(3135){96,6}
X(3136){101,523}
X(3137){102,523}
X(3138){103,523}
X(3139){104,523}
X(3140){105,523}
X(3141){106,523}
X(3142){109,523}
X(3143){111,523}
X(3144){225,4},{1940,1148},{2907,1046}
X(3145){226,6}
X(3146){253,2}
X(3147){254,4}
X(3148){262,6}
X(3149){285,1}
X(3150){290,525},{1297,523}
X(3151){306,2},{1330,1654}
X(3152){307,2}
X(3153){328,2}
X(3154){477,523}
X(3155){485,6},{2351,3156}
X(3156){486,6},{2351,3155}
X(3157){1,3},{3173,3211},{3193,46}
X(3158){1,9},{100,4394},{145,1743},{3161,4936},{3913,3169}
X(3159){1,10},{3995,37}
X(3160){2,7}
X(3161){2,8},{190,3667},{1222,200}
X(3162){2,25},{1370,455}
X(3163){2,30},{30,3081}
X(3164){3,2}
X(3165){3,15}
X(3166){3,16}
X(3167){6,3},{193,3053}
X(3168){6,4}
X(3169){6,9},{3210,978},{3913,3158}
X(3170){6,15}
X(3171){6,16}
X(3172){6,25},{1249,154},{2332,1973}
X(3173){7,3},{2982,1214}
X(3174){7,9},{3870,1}
X(3175){7,10},{3875,3214}
X(3176){8,4}
X(3177){9,2}
X(3178){12,10}
X(3179){13,1}
X(3180){13,2}
X(3181){14,2}
X(3182){20,1}
X(3183){20,4}
X(3184){20,30}
X(3185){21,6},{4225,573}
X(3186){25,4}
X(3187){27,2}
X(3188){27,7}
X(3189){27,9}
X(3190){29,9},{264,3730},{3868,579}
X(3191){29,10}
X(3192){29,19}
X(3193){29,21},{3559,453}
X(3194){29,28},{81,1172}
X(3195){6,607},{33,25},{208,3209},{3194,2331}
X(3196){36,55},{44,6}
X(3197){40,55},{219,6},{610,198}
X(3198){40,71},{72,37},{200,42}
X(3199){53,51}
X(3200){54,15}
X(3201){54,16},{2981,50}
X(3202){54,32}
X(3203){54,39},{110,3050}
X(3204){54,55}
X(3205){54,61}
X(3206){54,62}
X(3207){55,6}
X(3208){55,9},{192,43},{4595,4147}
X(3209){19,608},{56,25},{196,221},{208,3195}
X(3210){57,2},{3875,145}
X(3211){57,3},{3173,3157}
X(3212){57,7}
X(3213){57,34},{1172,608}
X(3214){57,37},{3875,3175}
X(3215){57,48}
X(3216){58,1},{404,3}
X(3217){58,55},{983,1253},{4383,3915}
X(3218){320,4511},{903,1},{1443,4881},{4585,3960},{4622,513}
X(3219){319,4420},{1268,1}
X(3221){669,512},{4609,39}
X(3224){2998,3504}
X(3229){385,511},{699,6}
X(3230){739,6},{898,667}
X(3231){729,6}
X(3233){99,2407}
X(3234){190,2398}
X(3239){2,2968},{8,4081},{190,8},{341,2310},{346,1146},{522,4546},{644,2321},{2399,2804},{3699,200},{4391,522},{4397,4163},{4554,4847}
X(3248){1,649},{6,798},{31,667},{87,513},{604,1919},{649,3249},{873,1019},{979,650},{1178,3733},{2297,2484},{2665,659}
X(3249){649,3248},{1919,1977}
X(3250){789,3778},{825,6},{2186,2170},{3807,984},{4481,1491}
X(3251){1,2087},{100,44},{513,1635}
X(3252){292,672},{4562,2254}
X(3257){4615,4555},{4618,100},{4622,901}
X(3258){2,1637},{4,526},{1138,523}
X(3259){2,3310},{4,900},{11,1647}
X(3260){328,311}
X(3261){561,1111},{668,1233},{670,1269},{1978,76},{4554,349},{4572,75}
X(3262){4555,693}
X(3263){76,4437},{4583,693}
X(3265){99,69},{3267,525},{4558,3933},{4563,394}
X(3267){305,339},{670,69},{4554,1228}
X(3269){6,647},{64,512},{66,3005},{287,684},{394,520},{1177,351},{1987,3569},{2052,523}
X(3270){1,647},{3,652},{4,650},{6,657},{55,1946},{64,649},{74,654},{2192,663}
X(3271){6,3063},{8,650},{9,3709},{25,667},{31,512},{41,2488},{55,663},{56,649},{105,665},{244,1015},{263,788},{479,3669},{1411,3310},{2218,647}
X(3273){3603,1137}
X(3274){3604,1135}
X(3275){3602,358}
X(3284){2,1511},{30,1495},{2420,1636}
X(3285){4591,3733}
X(3287){83,11},{99,55},{666,385},{894,4459},{3907,4477},{4369,4367},{4579,2330}
X(3289){287,3},{511,237},{2421,684}
X(3290){2,120},{666,513}
X(3291){2,126},{892,512}
X(3292){524,187},{895,3}
X(3293){81,37},{83,3294},{100,4057},{1126,1},{4360,3995}
X(3294){83,3293},{86,42}
X(3307){100,3308}
X(3308){100,3307}
X(3309){644,1}
X(3310){2,3259},{1411,3271},{2397,517},{2401,513},{2427,2183}
X(3313){69,141}
X(3321){7,1323},{658,1638}
X(3328){7,1638}
X(3330){1294,55}
X(3336){5,3468},{79,1}
X(3338){3296,1}
X(3341){2,282},{271,84}
X(3342){2,3351},{1034,3345}
X(3343){2,1073}
X(3344){2,3350},{1032,3346}
X(3345){20,3472},{1034,3342}
X(3346){20,3355},{1032,3344}
X(3350){2,3344}
X(3351){2,3342}
X(3353){20,84}
X(3355){20,3346}
X(3360){1613,6},{3552,3}
X(3364){18,3365}
X(3365){18,3364}
X(3368){3382,3369}
X(3369){3382,3368}
X(3371){486,3372}
X(3372){486,3371}
X(3379){1139,3380}
X(3380){1139,3379}
X(3385){485,3386}
X(3386){485,3385}
X(3389){17,3390}
X(3390){17,3389}
X(3393){1140,3394}
X(3394){1140,3393}
X(3413){4,2039},{99,3414}
X(3414){4,2040},{99,3413}
X(3436){3596,2}
X(3448){850,2}
X(3452){2,3752},{668,522}
X(3460){5,1},{2595,1048}
X(3462){5,4}
X(3464){30,1}
X(3465){30,484},{1807,1}
X(3468){5,3336}
X(3472){20,3345}
X(3484){30,1157}
X(3491){384,39}
X(3492){384,32}
X(3496){257,1}
X(3499){384,3},{3051,6}
X(3504){2998,3224}
X(3506){385,32}
X(3507){385,3508}
X(3508){385,3507}
X(3509){335,1},{385,3510}
X(3510){385,3509},{1911,1}
X(3511){237,3},{385,6}
X(3513){105,3514}
X(3514){105,3513}
X(3515){459,6}
X(3518){1179,4}
X(3542){1093,4}
X(3550){983,1}
X(3556){63,6}
X(3559){1896,29}
X(3564){98,3},{325,441}
X(3566){2501,523},{4563,6}
X(3569){297,868},{648,2967},{694,3124},{878,2451},{1987,3269},{2421,511},{2715,6},{2799,684},{4230,237}
X(3570){666,190},{1016,4366}
X(3572){813,292},{4562,291}
X(3573){813,4579}
X(3574){4,3575}
X(3575){4,3574}
X(3576){2320,1}
X(3578){75,1125}
X(3579){3219,37}
X(3580){340,30}
X(3581){74,4550}
X(3588){8,42},{573,71}
X(3589){4576,512},{4577,523}
X(3596){561,76}
X(3611){4551,647}
X(3616){1219,8},{1449,4734}
X(3621){4373,2}
X(3634){4427,523}
X(3638){80,3639}
X(3639){80,3638}
X(3645){483,1}
X(3647){2,1100}
X(3648){319,2}
X(3649){7,553}
X(3650){8,1125},{3578,1213}
X(3661){3807,824},{4505,1491}
X(3662){4598,514}
X(3663){7,1122},{4554,514}
X(3664){4573,514}
X(3665){7,1401}
X(3666){2,1211},{99,513},{4357,960},{4552,514},{4565,905}
X(3667){145,3756},{190,3161},{3676,514},{3699,1},{4462,4521}
X(3668){7,1439},{279,1427},{934,3676},{1088,1446},{1446,226}
X(3669){7,1357},{57,3020},{109,1418},{269,244},{278,1086},{279,1358},{479,3271},{651,57},{658,1122},{664,65},{934,56},{1119,3937},{1422,3942},{1440,11},{1461,1427},{3676,513},{4552,553},{4554,7},{4617,269}
X(3672){4624,514}
X(3673){286,1851}
X(3674){4625,3676}
X(3675){105,513},{241,665},{292,2530},{518,2254},{876,764},{3263,918}
X(3676){7,1358},{85,3020},{273,1111},{279,1086},{658,57},{664,7},{934,3668},{1440,1565},{1847,3942},{4552,4059},{4554,226},{4572,85},{4573,553},{4624,4654},{4625,3674},{4626,279}
X(3678){319,3969},{4564,1018}
X(3679){996,1},{4671,4873},{4720,3940},{4767,4777},{4945,4908}
X(3682){78,72},{306,71},{326,3998},{394,3990},{4570,1331}
X(3683){643,650},{1125,1100},{4069,663}
X(3684){239,238},{294,9},{2991,1},{3570,3716}
X(3685){350,239},{3570,4148}
X(3686){8,4046},{645,522},{4359,1125}
X(3687){75,2292},{4033,4391}
X(3688){8,3703},{38,39},{645,3709}
X(3689){519,44},{1320,9}
X(3690){72,3949},{201,2197},{210,756},{594,1500}
X(3691){3739,3720},{4069,650}
X(3692){341,200},{345,78},{765,4578},{1792,1260}
X(3693){2414,918},{3912,518},{4518,210}
X(3694){78,2318},{306,72},{345,3710},{346,2321},{3701,210}
X(3695){306,3949},{1016,4574},{3701,1089}
X(3696){4441,4044}
X(3699){645,644},{668,190},{1016,346},{4076,8}
X(3700){8,4092},{9,1146},{312,11},{318,4081},{522,4041},{645,8},{646,3704},{1018,594},{1577,523},{3699,4046},{3701,4516},{3952,210},{4052,3120},{4391,4086},{4552,10}
X(3701){312,2321},{313,321},{341,3710},{3699,4397}
X(3702){1269,4359}
X(3703){8,3688},{1930,141}
X(3704){8,960},{646,3700}
X(3706){8,4111}
X(3708){1,810},{19,661},{63,656},{1109,2643},{1254,4705},{1820,822},{2156,798},{2157,2642},{2250,2610},{4466,125}
X(3709){9,3271},{33,3022},{37,4516},{281,4092},{645,3688},{646,4111},{650,4041},{661,512},{2395,4155},{3952,4531},{4041,4524},{4559,42}
X(3710){341,3701},{345,3694}
X(3711){3679,45},{4720,4873},{4767,4944}
X(3715){4756,4820}
X(3716){885,522},{3570,3684},{3573,740},{3685,4124},{3766,812}
X(3717){3263,3912}
X(3718){305,304}
X(3719){3718,78},{3926,326}
X(3720){1,2667},{799,649},{1018,513},{3739,3691}
X(3721){982,3778},{3662,2887}
X(3722){1022,44}
X(3724){36,2245},{759,6},{2159,41},{2222,661},{4242,2610}
X(3725){1,2269},{101,798},{1193,2092}
X(3728){668,661}
X(3729){1222,2}
X(3730){264,3190},{1268,42}
X(3733){99,81},{110,58},{593,1015},{662,6},{1178,3248},{1509,1977},{4565,1333},{4591,3285}
X(3737){100,4267},{110,1},{162,58},{643,21},{645,9},{662,284},{1414,81},{2185,2170},{3615,11},{4560,1021}
X(3738){100,214},{3257,9},{4242,36},{4453,3960},{4585,2323}
X(3739){670,513},{3952,514},{4059,4891}
X(3741){670,514},{3903,522}
X(3742){3903,513}
X(3743){4427,513}
X(3745){831,513}
X(3747){238,2238},{741,6},{813,798},{1910,41}
X(3751){1002,1}
X(3752){2,3452},{664,513},{3663,3057}
X(3756){2,4521},{8,513},{145,3667},{1120,900},{1358,1086},{4373,514}
X(3762){668,4738},{799,1227},{3264,1647}
X(3766){874,350},{4444,4374},{4583,75}
X(3768){3230,1646},{4607,1}
X(3773){3799,4522},{4505,824}
X(3776){330,1086}
X(3777){87,244},{3888,982}
X(3778){789,3250},{982,3721}
X(3781){3661,2276},{3786,984}
X(3784){3662,2275},{3794,982}
X(3787){1843,39}
X(3789){2,2276},{668,4762},{2481,3797}
X(3794){670,4560}
X(3795){1,984},{100,4782}
X(3797){2481,3789}
X(3804){907,6}
X(3808){1581,244}
X(3810){561,4858},{3888,2887}
X(3811){92,9}
X(3819){1303,520}
X(3821){789,514}
X(3827){1814,6},{4318,1279}
X(3828){4781,4777}
X(3835){513,514},{4595,192}
X(3837){334,1086},{876,523},{3766,918}
X(3868){270,404},{286,2}
X(3869){314,2}
X(3870){85,9}
X(3871){2185,9}
X(3875){1434,2}
X(3877){4389,4850}
X(3880){88,9},{4582,650}
X(3882){4600,1}
X(3886){4441,4384}
X(3900){8,1146},{9,3119},{100,9},{200,2310},{522,650},{644,220},{664,1212},{1021,657},{1897,37},{2765,2182},{3239,4130},{3680,2170},{3903,960},{3939,210},{4025,2509},{4569,2},{4578,200}
X(3904){1494,2968},{4555,8},{4585,3936}
X(3907){799,9},{3112,4858},{4374,4369},{4579,1215}
X(3910){257,1146},{314,11},{321,4858},{3882,1211},{4509,3004}
X(3911){7,1317},{655,514},{2006,226}
X(3912){75,4712},{334,10},{350,726},{3263,3717},{3570,2786},{4562,514}
X(3913){81,9},{2334,958},{3875,4383}
X(3915){1412,6},{4383,3217}
X(3916){63,3958},{4359,1100},{4592,905}
X(3917){69,3933},{141,39},{4563,647},{4576,2525}
X(3924){653,649}
X(3925){1018,523}
X(3926){305,69},{4563,4143},{4590,4563}
X(3928){4373,1}
X(3930){3912,3932}
X(3932){3912,3930}
X(3933){69,3917},{4558,3265}
X(3934){4576,523}
X(3935){1121,9}
X(3936){75,4736},{320,758},{1494,8},{4555,523},{4585,3904}
X(3937){3,1459},{63,647},{69,905},{1086,1015},{1119,3669},{1407,649}
X(3938){3732,657}
X(3939){59,219},{100,101},{643,644},{677,2284},{765,9},{1252,220},{3699,4587},{4600,2329}
X(3940){4671,45},{4720,3679}
X(3941){1014,6}
X(3942){63,905},{69,656},{77,1459},{269,513},{304,4025},{1111,244},{1422,3669},{1847,3676}
X(3943){1023,1639},{4080,10},{4169,4120},{4358,3992}
X(3948){290,8},{350,740},{4583,523}
X(3949){72,3690},{306,3695},{1089,756},{2321,594}
X(3950){145,4849},{226,10}
X(3952){190,1018},{668,4033},{765,8},{1016,594}
X(3954){257,10},{668,4705},{4568,2530}
X(3955){894,172},{2359,3}
X(3958){63,3916},{1332,656},{3686,1213},{4647,1962}
X(3960){7,3025},{2401,514},{4453,3738},{4585,3218}
X(3961){257,9}
X(3962){4052,37}
X(3963){1909,1215},{1920,1237}
X(3964){3926,394}
X(3965){3687,960}
X(3969){319,3678}
X(3970){85,10}
X(3971){37,10}
X(3974){4385,2345}
X(3975){1921,350}
X(3977){3264,519}
X(3978){290,76}
X(3985){3685,4433},{3948,740}
X(3990){72,228},{219,71},{255,4055},{394,3682}
X(3991){1441,210},{3870,4878}
X(3992){4358,3943}
X(3995){86,10},{190,4063},{1255,2},{3112,4651},{4360,3293}
X(3998){326,3682},{345,306},{4567,1332}
X(3999){898,513}
X(4000){1897,514},{3673,497},{4569,513}
X(4001){1269,1125},{4563,4025}
X(4010){238,4124},{335,3125}
X(4012){8,497},{646,4130}
X(4014){1376,4449}
X(4017){7,3020},{56,244},{225,3120},{278,2170},{1020,1400},{1414,57},{1427,3125},{4551,65},{4552,2171}
X(4019){1237,1215}
X(4020){38,1964},{4592,810}
X(4024){12,4092},{190,10},{321,3120},{523,4705},{594,115},{1089,2643},{1577,4036},{1897,42},{4103,594},{4605,12}
X(4025){69,1565},{304,3942},{658,2},{664,77},{1414,4357},{3261,514},{4561,69},{4563,4001},{4610,1790}
X(4026){4613,523}
X(4028){1826,10}
X(4033){668,3952},{1016,312}
X(4036){668,321},{1089,1109},{1577,4024},{4086,4064}
X(4037){335,10},{4639,2533}
X(4039){37,4368}
X(4040){101,1}
X(4041){8,2170},{55,2310},{210,4516},{281,3119},{522,3700},{523,661},{643,9},{650,3709},{1018,1334},{3700,4171},{4069,210},{4551,37},{4557,756}
X(4043){310,10}
X(4044){4441,3696}
X(4046){8,3686},{3699,3700},{4647,1213}
X(4049){4615,903}
X(4050){2319,9}
X(4053){4013,756}
X(4055){71,2200},{212,228},{255,3990},{1794,48}
X(4057){100,3293},{190,6}
X(4059){4552,3676}
X(4061){1219,37}
X(4063){190,3995},{668,1}
X(4064){190,71},{1897,10},{3695,125},{4086,4036},{4561,306},{4605,594}
X(4065){1,1125}
X(4069){3952,1018},{4076,9}
X(4072){4052,10}
X(4073){3705,3061}
X(4075){2,594},{3952,4132}
X(4077){7,1111},{331,4858},{4625,85}
X(4079){37,3122},{101,42},{661,4705},{1500,3124},{1978,10},{2171,2643},{4103,756}
X(4080){903,4674}
X(4081){8,3239},{280,650},{318,3700},{346,4130}
X(4082){346,4515},{3701,2321},{4578,4163}
X(4083){43,3123},{649,513},{1978,37}
X(4086){850,1577},{3596,4858},{3952,1089},{4033,2321},{4391,3700}
X(4089){320,4453}
X(4091){658,77},{1414,4303},{1804,1364},{4025,1459},{4556,1790}
X(4092){8,3700},{12,4024},{281,3709},{1109,115}
X(4094){1,2238}
X(4095){3963,1215}
X(4097){100,4401}
X(4105){200,3119},{480,3022},{664,9},{3900,657},{3939,220}
X(4107){513,4375},{4623,4368}
X(4110){8,312}
X(4111){8,3706},{646,3709}
X(4115){190,4427},{1016,10}
X(4117){1,798},{560,1924},{3223,661}
X(4120){44,4530},{900,4730},{4049,523},{4080,3120},{4169,3943},{4358,1647}
X(4121){69,4173}
X(4122){4613,10}
X(4123){315,1760}
X(4124){238,4010},{239,4435},{242,659},{1447,812},{3685,3716},{4518,522}
X(4128){1,4367},{57,798},{87,661}
X(4130){190,3059},{346,4081},{644,200},{646,4012},{728,3119},{3239,3900},{4554,8},{4578,480}
X(4131){4569,348}
X(4132){1019,661},{3952,4075},{4033,37}
X(4136){8,4531}
X(4139){646,2092},{3669,661}
X(4140){668,210}
X(4143){4563,3926}
X(4145){1022,661}
X(4147){650,522},{4595,3208}
X(4148){3570,3685}
X(4149){3596,9}
X(4150){315,4463}
X(4151){1018,10},{4651,2486}
X(4152){8,2325},{3699,1639},{4738,4370}
X(4155){876,661},{2395,3709},{3573,2238}
X(4162){145,4534},{513,650},{644,4936},{2743,44},{3667,4394},{4578,55}
X(4163){3699,346},{4397,3239},{4572,312},{4578,4082}
X(4166){366,365}
X(4171){220,3119},{346,2310},{1018,210},{3700,4041},{3900,4524}
X(4173){69,4121}
X(4180){8,4181}
X(4181){8,4180}
X(4183){29,1172},{162,1021},{2326,2332}
X(4186){1396,19}
X(4205){835,523}
X(4213){1826,4}
X(4219){2326,1}
X(4225){261,81}
X(4226){685,110}
X(4230){250,2967},{877,2421}
X(4240){687,112}
X(4242){1309,1897}
X(4251){757,31},{1110,101}
X(4252){967,6}
X(4253){1434,1}
X(4263){931,512}
X(4266){4850,995}
X(4267){21,960},{81,2300},{100,3737}
X(4282){60,215}
X(4303){1414,4091},{4575,1459}
X(4319){1,614},{190,657},{497,2082},{1292,650}
X(4329){304,2}
X(4336){653,657}
X(4341){1847,57}
X(4350){4564,934}
X(4357){799,514},{1414,4025}
X(4358){75,4738},{76,1227},{3264,4723}
X(4359){75,4647},{799,693},{1269,3702},{4033,514}
X(4360){1509,2}
X(4361){3760,4387}
X(4363){4482,4379}
X(4366){1,385},{83,2238},{99,659},{1016,3570},{3253,238}
X(4367){1,4128},{3572,659},{4369,3287},{4573,6},{4579,171}
X(4368){37,4039},{86,239},{4623,4107}
X(4369){7,3023},{876,812},{4374,3907},{4581,514},{4625,1}
X(4370){2,519},{190,900},{4738,4152}
X(4374){4444,3766}
X(4375){190,239},{513,4107}
X(4379){4363,4403},{4411,4474},{4482,4363}
X(4383){1014,1},{3875,3913}
X(4384){870,1},{4441,3886}
X(4387){3760,4361}
X(4390){4363,750},{4482,4474}
X(4391){190,321},{264,2968},{312,4858},{646,312},{668,8},{3261,693},{3596,11},{3699,1229},{4033,3687},{4554,75},{4631,314}
X(4394){100,3158},{644,6},{3667,4162},{3669,513}
X(4397){646,346},{668,312},{3699,3701},{4572,1229}
X(4401){100,4097}
X(4403){4363,4379}
X(4404){145,4939},{4077,1577}
X(4415){3663,4642}
X(4420){319,3219},{4102,9},{4567,644}
X(4425){4623,514}
X(4427){190,4115},{4600,2}
X(4433){740,2238},{3685,3985}
X(4435){239,4124},{812,659},{1024,650}
X(4436){4601,6}
X(4437){76,3263}
X(4440){514,2}
X(4444){4562,335}
X(4449){1024,2254},{1376,4014}
X(4452){279,2}
X(4453){320,4089}
X(4455){105,3125},{292,3121},{2054,3122}
X(4456){313,42},{1760,4463}
X(4459){171,2533},{274,650},{894,3287}
X(4461){1219,2}
X(4462){646,2}
X(4463){315,4150},{1760,4456}
X(4466){27,514},{86,1459},{306,525},{307,656},{3668,523}
X(4467){4573,2}
X(4468){344,4904},{3699,2}
X(4471){751,6}
X(4474){4411,4379},{4482,4390}
X(4475){984,1491},{985,513}
X(4477){645,220},{3903,9},{3907,3287},{4579,2329}
X(4491){3257,6}
X(4497){749,6}
X(4509){310,1111}
X(4511){320,3218}
X(4512){931,1021},{3616,1449}
X(4513){1261,9},{3729,1376}
X(4515){346,4082},{2321,210}
X(4516){21,650},{37,3709},{42,4705},{65,661},{210,4041},{1172,3063},{1824,512},{3120,3125},{3701,3700},{4451,522}
X(4517){984,2276}
X(4518){334,335}
X(4521){2,3756},{145,4953},{514,522},{3161,4534},{4462,3667}
X(4522){3799,3773}
X(4524){1253,3022},{3900,4171},{4041,3709},{4557,1334},{4566,37}
X(4526){4728,891}
X(4528){4768,1639}
X(4530){8,4543},{11,4542},{44,4120},{519,4895},{2325,1639},{3911,900}
X(4531){8,4136},{3952,3709}
X(4534){8,4546},{145,4162},{346,650},{1086,11},{3161,4521},{4939,4953}
X(4542){8,1639},{11,4530},{4152,4543}
X(4543){8,4530},{522,1639},{3699,2325},{4152,4542}
X(4546){8,4534},{522,3239}
X(4548){8,2175},{2172,206}
X(4550){74,3581}
X(4551){59,1},{651,4559},{664,4552},{4552,1018},{4564,2171},{4566,1020}
X(4552){664,4551},{4564,2}
X(4553){4576,4568},{4594,190},{4601,37}
X(4554){4572,668},{4620,274},{4625,664}
X(4555){4615,3257}
X(4556){249,593}
X(4557){100,1018},{660,2284},{765,6},{1110,55},{1252,1500},{3952,4574},{4551,4559}
X(4558){99,110},{249,394},{4567,1812},{4590,69},{4612,662}
X(4559){59,181},{651,4551},{1262,2594},{2149,6},{4551,4557},{4564,56}
X(4560){99,21},{261,11},{645,333},{648,81},{662,2},{670,3794},{4573,86}
X(4561){1978,190},{4563,1332}
X(4562){4589,660},{4639,4583}
X(4563){670,99},{4590,3926},{4631,799}
X(4565){1414,110}
X(4566){658,1020}
X(4567){4590,4600}
X(4568){4570,306},{4576,4553}
X(4569){4635,658}
X(4571){646,644},{4076,1265},{4561,1332}
X(4573){4620,1434},{4625,99},{4635,4616}
X(4574){644,1018},{765,1260},{1016,3695},{3952,4557}
X(4575){662,163},{1101,255},{4570,283},{4636,110}
X(4576){99,1634},{249,69}
X(4578){765,3692},{3699,644},{4076,346}
X(4579){813,3573}
X(4580){827,2},{4577,1176}
X(4583){4639,4562}
X(4585){4555,100}
X(4587){1332,1331},{3699,3939}
X(4592){799,662},{4600,332}
X(4595){100,190},{1016,2176}
X(4598){932,190}
X(4600){4590,4567}
X(4608){4632,2}
X(4610){4590,1509}
X(4611){670,110}
X(4612){4590,261}
X(4616){4635,4573}
X(4617){4626,934}
X(4637){4616,1414}
X(4642){3663,4415},{4552,661}
X(4645){334,2}
X(4646){3672,4656}
X(4647){75,4359},{668,1577},{1269,1230},{4359,1213}
X(4651){274,37},{3112,3995}
X(4654){4624,3676}
X(4656){3672,4646}
X(4657){835,514}
X(4658){4614,1019}
X(4674){903,4080},{1168,1},{4555,1022}
X(4685){330,37}
X(4687){1218,75}
X(4705){10,3125},{12,115},{42,4516},{100,37},{523,4024},{594,3124},{661,4079},{668,3954},{756,2643},{1254,3708},{1783,213},{4103,762}
X(4707){903,3120}
X(4712){75,3912},{765,1026}
X(4723){3264,4358}
X(4724){4817,649}
X(4729){4017,661},{4069,42}
X(4730){519,2087},{900,4120},{4674,3125}
X(4734){1449,3616}
X(4736){75,3936}
X(4738){75,4358},{668,3762}
X(4756){835,100}
X(4762){668,3789}
X(4765){4801,4778}
X(4770){4777,4931}
X(4775){4588,6},{4767,45},{4833,4893}
X(4777){1000,11},{4597,2},{4767,3679},{4781,3828},{4791,4944}
X(4778){4801,4765}
X(4782){100,3795},{3799,1386}
X(4785){4817,514}
X(4790){941,1015},{4606,1}
X(4791){668,4793},{4671,4957}
X(4793){668,4791}
X(4802){3296,11},{4756,1698},{4823,4820},{4960,4813}
X(4813){4840,4834},{4960,4802}
X(4814){4777,4893},{4900,2170}
X(4815){4801,4841}
X(4820){4756,3715},{4823,4802}
X(4822){959,2170},{4778,4841},{4790,4832}
X(4825){100,45}
X(4832){4790,4822}
X(4834){2334,1015},{4840,4813}
X(4841){4624,4854},{4778,4822},{4801,4815},{4815,4843}
X(4843){4815,4841}
X(4845){1156,2291}
X(4847){8,3059},{644,522},{4554,3239}
X(4848){3668,226}
X(4849){65,37},{145,3950}
X(4850){4389,3877},{4597,513}
X(4854){4624,4841}
X(4855){77,63}
X(4856){553,1125}
X(4858){2,1577},{75,522},{85,693},{92,514},{312,4391},{321,3910},{331,4077},{561,3810},{1111,4939},{1821,812},{2995,513},{2997,521},{3112,3907},{3596,4086}
X(4859){3699,514}
X(4867){4945,45}
X(4871){889,514}
X(4873){4671,3679},{4720,3711}
X(4876){335,291}
X(4878){226,1334},{3870,3991}
X(4881){1443,3218}
X(4884){3665,141}
X(4885){885,918}
X(4891){4059,3739}
X(4893){3577,2310},{4604,1},{4752,45},{4777,4814},{4833,4775}
X(4895){519,4530},{900,1635},{1320,2170}
X(4898){4654,1698}
X(4904){8,514},{344,4468},{1280,918}
X(4905){749,244},{1292,1}
X(4908){4945,3679}
X(4919){650,9},{4440,1054}
X(4931){4777,4770}
X(4936){9,200},{644,4162},{1261,480},{3161,3158}
X(4939){145,4404},{341,522},{1111,4858}
X(4944){4767,3711},{4791,4777}
X(4953){11,1146},{145,4521},{4939,4534}
X(4957){4671,4791}
To ETC

Compiled by Peter J C Moses.