ETC Crosssums.

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)-Crosssum of X(k).

 Centre  Crosssums
X(1){1,1},{2,192},{3,3157},{4,1148},{6,55},{9,3158},{10,3159},{11,523},{15,202},{16,203},{19,204},{31,48},{33,2331},{34,207},{37,42},{38,1964},{44,678},{50,215},{56,221},{57,1419},{58,501},{65,73},{162,2633},{214,758},{244,513},{354,2293},{385,4366},{500,942},{512,1015},{614,4319},{647,3270},{649,3248},{650,2310},{652,2638},{653,2639},{656,2632},{661,2643},{662,2644},{663,2170},{774,820},{798,4117},{810,3708},{984,3795},{999,1480},{1100,1962},{1109,2618},{1125,4065},{1193,2292},{1201,3057},{2087,3251},{2238,4094},{2269,3725},{2594,2599},{2605,2611},{2646,2650},{2654,2658},{2667,3720},{4128,4367}
X(2){1,43},{2,194},{3,3167},{4,3168},{6,6},{9,3169},{15,3170},{16,3171},{25,3172},{31,41},{32,184},{39,3051},{42,213},{51,217},{125,826},{512,3124},{604,2199},{607,3195},{647,3269},{649,1015},{657,3270},{661,2170},{667,1977},{688,1084},{798,3248},{902,1017},{1400,1409},{2092,2300},{3063,3271}
X(3){1,46},{2,193},{3,155},{4,4},{5,52},{6,25},{7,2898},{8,2899},{9,2900},{10,2901},{11,513},{15,2902},{16,2903},{19,33},{24,2904},{27,2905},{28,2906},{29,2907},{30,113},{31,2908},{32,2909},{34,208},{37,209},{39,211},{40,2910},{51,53},{55,2911},{61,2912},{62,2913},{65,225},{114,511},{115,512},{116,514},{117,515},{118,516},{119,517},{120,518},{121,519},{122,520},{123,521},{124,522},{125,523},{126,524},{127,525},{128,1154},{132,1503},{136,924},{137,1510},{184,571},{185,235},{186,2914},{371,372},{403,1986},{427,1843},{429,1829},{430,1839},{431,1858},{487,488},{526,3258},{650,3270},{661,2310},{804,2679},{900,3259},{926,1566},{1162,3127},{1163,3128},{1312,2575},{1313,2574},{1560,2393},{1785,1845},{1824,1826},{1834,1842},{1838,1844},{1846,1877},{1851,1863},{1856,2262},{1859,1865},{2039,3413},{2040,3414},{3574,3575}
X(4){1,1745},{2,3164},{3,3},{4,1075},{6,154},{15,3165},{16,3166},{25,1033},{48,212},{55,198},{56,1035},{71,228},{184,577},{185,417},{216,418},{520,2972},{652,3270},{822,2638},{1154,1511},{1459,3937}
X(5){3,1147},{6,184},{15,3200},{16,3201},{32,3202},{39,3203},{54,54},{55,3204},{61,3205},{62,3206},{215,2245}
X(6){1,9},{2,2},{3,6},{4,1249},{5,216},{7,3160},{8,3161},{10,37},{11,650},{25,3162},{30,3163},{32,206},{39,141},{44,214},{56,478},{57,223},{113,3003},{114,230},{115,523},{120,3290},{125,647},{126,3291},{127,2485},{128,231},{132,232},{133,1990},{136,2501},{140,233},{142,1212},{188,236},{226,1214},{244,661},{282,3341},{395,619},{396,618},{468,1560},{512,1084},{513,1015},{514,1086},{519,4370},{522,1146},{524,2482},{570,1209},{577,1147},{590,641},{594,4075},{615,642},{676,1566},{800,2883},{960,2092},{1073,3343},{1100,3647},{1125,1213},{1196,1368},{1211,3666},{1511,3284},{1577,4858},{1637,3258},{1648,1649},{2276,3789},{2491,2679},{2968,3239},{3005,3124},{3259,3310},{3342,3351},{3344,3350},{3452,3752},{3756,4521}
X(7){1,1742},{6,3207},{9,3208},{31,2187},{41,1253},{42,228},{55,55},{657,3022},{663,3271},{1946,3270},{2310,4041}
X(8){1,978},{6,3052},{25,3209},{31,604},{56,56},{57,1423},{244,4017},{649,3271},{667,1015},{1042,1410},{1400,1402}
X(9){1,1743},{2,3210},{3,3211},{6,56},{7,3212},{9,2136},{19,208},{34,3213},{37,3214},{48,3215},{57,57},{65,1400},{244,649},{513,2170},{603,604},{661,2611},{798,4128},{1418,1475},{2446,2590},{2447,2591},{3020,3669}
X(10){1,3216},{6,31},{55,3217},{56,603},{58,58},{649,3122},{1333,2194}
X(11){1,4551},{6,692},{55,101},{56,109},{59,59},{100,2975},{181,4559},{215,1983},{219,3939},{1110,2149},{1362,2283},{1381,1382},{1397,1415}
X(12){58,1437},{60,60},{215,4282},{284,2194}
X(13){15,15}
X(14){16,16}
X(15){1,3179},{2,3180},{6,3129},{13,13},{15,62},{532,619}
X(16){2,3181},{6,3130},{14,14},{16,61},{533,618}
X(17){61,61}
X(18){62,62}
X(19){1,610},{3,219},{6,3556},{9,40},{19,1712},{48,255},{63,63},{71,72},{647,3937},{656,3708},{822,2632},{905,3942},{3916,3958}
X(20){1,1044},{64,64},{512,3269},{649,3270}
X(21){1,1046},{37,4849},{42,1400},{65,65},{181,2171},{512,3125},{661,4516},{894,1999},{1254,1425},{1402,1409}
X(22){66,66},{125,512},{3005,3269}
X(23){67,67},{125,690},{141,524},{512,1648}
X(24){6,161},{68,68},{125,520},{637,638}
X(25){1,1763},{2,20},{3,394},{6,159},{8,329},{25,2138},{63,78},{69,69},{72,306},{125,525},{141,3313},{656,3942},{905,3937},{1565,4025},{3917,3933},{4121,4173}
X(26){70,70},{125,924}
X(27){71,71},{2200,4055}
X(28){1,2939},{37,3198},{71,2318},{72,72},{228,3990},{3690,3949}
X(29){1,1047},{73,73},{228,1409}
X(30){6,1495},{15,16},{50,184},{55,2245},{74,74},{512,2088},{523,3134},{654,3270},{3581,4550}
X(31){1,63},{2,8},{6,1631},{7,347},{10,321},{31,2172},{38,1930},{75,75},{92,1895},{239,1281},{244,514},{307,1441},{522,4858},{523,1086},{525,2968},{693,1111},{1109,1577},{1125,3578},{2292,3687},{3912,4712},{3936,4736},{4358,4738},{4359,4647}
X(32){1,1759},{2,69},{6,22},{75,312},{76,76},{115,826},{311,343},{313,321},{338,850},{339,525},{349,1231},{523,3124},{661,3123},{693,1086},{1111,1577},{1227,4358},{1229,1233},{1230,1269},{1670,1671},{3263,4437}
X(33){1,223},{3,222},{57,1394},{63,4855},{73,1214},{77,77},{1459,3942}
X(34){1,1490},{72,3682},{78,78},{200,2324},{212,2289},{219,1260},{2318,3694}
X(35){1,3336},{79,79},{481,482},{513,3120}
X(36){1,484},{10,519},{11,900},{42,2183},{80,80},{513,1647},{2174,2361},{3638,3639}
X(37){1,6},{9,3913},{37,3293},{57,222},{58,284},{81,81},{513,3125},{1172,3194},{1333,1437},{2300,4267}
X(38){1,31},{82,82}
X(39){2,6},{11,3287},{83,83},{251,1176},{1342,1343},{2238,4366},{2514,3124},{3293,3294}
X(40){56,1413},{84,84},{649,2310},{1436,2192},{1903,2357}
X(41){1,169},{2,7},{6,1626},{9,3870},{10,3970},{57,77},{85,85},{92,342},{226,1441},{514,1111},{522,3119},{693,4858},{3020,3676}
X(42){1,2},{7,77},{10,3995},{21,81},{42,3294},{58,1790},{86,86},{239,4368},{514,3120},{1459,4466}
X(43){2,330},{87,87},{244,3777},{513,3248},{661,4128},{2053,2162}
X(44){1,44},{6,36},{9,3880},{57,1465},{88,88},{106,2316},{244,1635},{513,2087}
X(45){6,999},{89,89},{2163,2364}
X(46){3,1069},{90,90},{652,2310},{656,2611}
X(47){91,91},{656,1109}
X(48){1,19},{4,281},{9,3811},{47,48},{92,92},{196,278},{514,4858},{523,1146},{661,1109},{1838,2294},{2501,2969}
X(49){93,93}
X(50){6,2070},{49,50},{94,94},{265,1989},{523,2088}
X(51){2,3},{6,160},{54,97},{95,95}
X(52){3,68},{6,3135},{96,96},{2165,2351}
X(53){3,577},{97,97}
X(54){1,3460},{3,195},{4,3462},{5,5},{51,216},{54,2120},{233,3078},{627,628},{3336,3468}
X(55){1,57},{2,145},{3,3173},{4,196},{6,1486},{7,7},{9,3174},{10,3175},{11,514},{55,218},{56,222},{63,224},{65,226},{81,229},{174,2089},{177,234},{241,1362},{513,1086},{553,3649},{650,3022},{905,1364},{1111,4077},{1122,3663},{1317,3911},{1323,3321},{1357,3669},{1358,3676},{1361,1465},{1401,3665},{1439,3668},{1638,3328},{3008,3021},{3020,4017},{3023,4369},{3025,3960}
X(56){1,40},{2,144},{4,3176},{6,197},{8,8},{9,200},{10,72},{11,522},{42,3588},{55,219},{56,2122},{175,176},{210,2321},{312,4110},{497,4012},{513,3756},{514,4904},{519,1145},{521,2968},{650,3271},{960,3704},{1125,3650},{1146,3900},{1639,4542},{2170,4041},{2175,4548},{2325,4152},{3059,4847},{3239,4081},{3686,4046},{3688,3703},{3700,4092},{3706,4111},{4136,4531},{4180,4181},{4530,4543},{4534,4546}
X(57){1,165},{2,3177},{6,198},{9,9},{31,205},{37,71},{41,212},{55,220},{57,2124},{200,4936},{210,1334},{650,2170},{657,2310},{1146,3700},{3119,3900},{3271,3709}
X(58){1,191},{2,1654},{6,199},{10,10},{12,201},{37,210},{42,71},{58,2126},{65,227},{523,3120},{594,756},{661,3122},{3125,4705}
X(59){1,2957},{11,11},{1146,4953},{1647,3259},{2170,2310},{4530,4542}
X(60){10,3178},{12,12},{115,4705},{181,2197},{756,2171},{4024,4092}
X(61){6,3131},{17,17},{3389,3390}
X(62){6,3132},{18,18},{3364,3365}
X(63){1,1707},{6,2178},{19,19},{25,607},{31,1973},{42,2198},{63,2128},{444,1829},{608,3209},{649,2170},{661,3708},{798,2643},{1400,1880},{1824,2333},{1953,2180},{2179,2181}
X(64){1,3182},{3,1498},{4,3183},{6,1661},{20,20},{30,3184},{40,1490},{64,2130},{84,3353},{577,1660},{1249,3079},{3345,3472},{3346,3355}
X(65){1,3},{6,3185},{9,55},{21,21},{56,1394},{58,2360},{283,1800},{284,2328},{650,4516},{960,4267},{1805,1806},{2193,2194}
X(66){3,159},{22,22}
X(67){3,2930},{23,23},{187,2393}
X(68){24,24},{25,1609},{52,3133}
X(69){1,1716},{4,3186},{6,3053},{25,25},{32,1974},{667,3271},{669,3124},{1196,3080},{1973,2212},{2489,2971}
X(70){26,26}
X(71){1,579},{2,3187},{4,19},{7,3188},{9,3189},{27,27},{28,1172},{57,278},{58,1474},{284,1780},{514,4466},{649,3120}
X(72){1,1724},{6,2352},{19,25},{28,28},{34,56},{667,3125},{1333,2203},{1474,2299}
X(73){1,4},{9,3190},{10,3191},{19,3192},{21,3193},{28,3194},{29,29},{33,281},{284,2299},{1172,4183}
X(74){1,3464},{3,399},{30,30},{74,2132},{484,3465},{616,617},{1157,3484},{1495,3284},{3081,3163}
X(75){1,1740},{6,2176},{31,31},{32,2175},{213,1918},{512,3271},{667,3248},{669,1977},{1923,1964}
X(76){6,1613},{31,2209},{32,32},{669,1084},{1918,2205},{1919,1977}
X(77){1,1721},{25,3195},{33,33},{41,2212},{42,1824},{663,2310},{3022,3709}
X(78){1,1722},{25,608},{34,34},{56,1406},{604,1395},{1042,1426}
X(79){35,35},{55,1030}
X(80){36,36},{55,3196},{902,2183},{2245,3724}
X(81){1,846},{2,1655},{6,1030},{10,3971},{37,37},{42,1334},{81,2134},{213,228},{512,3121},{523,2486},{661,3125},{756,1500},{2171,2197},{3122,4079},{3709,4516},{4039,4368}
X(82){38,38},{39,3688},{1964,4020}
X(83){39,39}
X(84){1,2956},{40,40},{55,3197},{71,3198}
X(85){41,41},{213,2200},{2488,3271}
X(86){1,1045},{42,42},{512,3122},{872,1500},{1918,2200},{4516,4705}
X(87){43,43},{3123,4083}
X(88){6,3196},{44,44},{1635,2087},{4120,4530}
X(89){45,45}
X(90){46,46}
X(91){47,47}
X(92){41,2187},{48,48},{228,2200}
X(93){49,49}
X(94){50,50},{2081,2088}
X(95){51,51}
X(96){52,52}
X(97){51,3199},{53,53}
X(98){237,3289},{385,401},{511,511}
X(99){99,2142},{512,512},{669,3049},{688,3005}
X(100){1,1054},{244,764},{512,661},{513,513},{514,3835},{649,663},{650,4162},{1635,3251},{4107,4375}
X(101){2,4440},{513,650},{514,514},{522,4521},{523,661},{649,1459},{764,3125}
X(102){515,515}
X(103){516,516}
X(104){517,517}
X(105){1,1282},{518,518},{672,2340},{2254,3675}
X(106){44,3689},{519,519},{900,1647},{2087,4730},{4530,4895}
X(107){520,520}
X(108){520,656},{521,521}
X(109){1,1768},{522,522},{523,656},{650,3900},{652,663},{1639,4543},{3239,4546},{3700,4041}
X(110){2,148},{512,647},{523,523},{661,4041},{690,1649},{826,3005},{4024,4705}
X(111){6,2930},{187,3292},{524,524},{690,1648}
X(112){520,647},{525,525}
X(114){6,1976},{2065,2065}
X(115){6,110},{24,112},{69,4576},{99,1078},{143,1625},{163,849},{249,249},{394,4558},{593,4556},{662,2185},{1379,1380},{1501,1576},{1511,2420}
X(122){64,1301},{112,154}
X(125){3,110},{6,1576},{25,112},{162,270},{250,250},{1113,1114},{2967,4230}
X(132){878,3269}
X(136){1576,1609}
X(137){252,930}
X(140){6,51},{61,62},{184,2965},{1173,1173}
X(141){6,32},{251,251}
X(142){6,41},{1174,1174}
X(143){252,252}
X(145){663,1015},{3445,3445}
X(149){3446,3446}
X(154){2,3146},{4,459},{64,1073},{122,525},{253,253},{514,2968}
X(155){4,3147},{136,523},{254,254}
X(157){127,520}
X(158){255,255},{520,1364},{3990,4055}
X(159){127,523}
X(160){338,512}
X(162){1,2629},{656,656},{810,822}
X(163){523,3700},{656,661},{1577,1577},{4024,4036}
X(164){505,505}
X(165){513,2310},{3062,3062}
X(169){6,1473}
X(171){256,256},{513,3122}
X(172){1,3496},{9,3961},{10,3954},{257,257},{514,3125},{1146,3910}
X(173){258,258}
X(174){1,503},{259,259}
X(177){55,259},{260,260}
X(181){2,2975},{11,4560},{21,333},{81,4225},{86,1444},{261,261},{1098,2185}
X(182){6,3148},{11,1491},{262,262},{1689,1690}
X(183){263,263},{788,3271}
X(184){1,1726},{2,4},{3,1993},{5,324},{6,157},{92,318},{264,264},{273,342},{297,2967},{338,523},{339,850},{427,1235},{491,492},{525,2972},{1312,2593},{1313,2592},{2501,2971},{2968,4391},{3190,3730}
X(185){3,4},{25,1249},{1105,1105}
X(186){5,30},{265,265},{520,1650},{621,622}
X(187){2,524},{6,23},{111,895},{115,690},{523,1648},{671,671}
X(188){1,361},{266,266}
X(189){198,198}
X(190){512,798},{513,4083},{649,649},{667,3063},{3248,3249}
X(191){267,267},{513,2611},{649,2643}
X(192){1,87},{649,1977},{2162,2162}
X(193){647,3124}
X(194){2,2998},{3224,3224}
X(195){137,523},{3459,3459}
X(196){268,268}
X(197){124,514}
X(198){1,2270},{57,1422},{84,282},{189,189},{513,1146},{650,1364},{1433,1436}
X(199){125,514}
X(200){56,1407},{57,1420},{244,3669},{269,269},{513,3942},{1042,1427}
X(201){1,580},{28,58},{270,270},{404,3868},{1172,2299}
X(204){1,2184}
X(206){6,2353},{339,523}
X(207){1,3345}
X(208){3,1433},{84,3341},{271,271}
X(209){272,272},{1751,2218}
X(210){1,4383},{6,3941},{56,57},{58,1412},{1014,1014},{1565,3004}
X(212){1,1708},{4,278},{34,57},{273,273},{1111,3676}
X(213){2,75},{37,4651},{81,1444},{85,348},{86,333},{274,274},{513,3121},{650,4459},{1086,3004},{2530,3125}
X(214){1,4674},{1168,1168}
X(216){2,1993},{4,6},{275,275}
X(217){2,264},{95,275},{276,276}
X(218){277,277},{650,1086}
X(219){1,1723},{11,3064},{19,34},{56,608},{225,1880},{278,278},{1086,3669},{2170,4017}
X(220){2,4452},{6,1617},{57,269},{279,279},{514,1565},{1086,3676},{1358,3669},{1427,3668}
X(221){1,84},{268,2192},{280,280},{522,2968},{650,4081}
X(222){1,1709},{19,2331},{37,1826},{55,607},{281,281},{650,1146},{3119,4041},{3709,4092}
X(223){1,1750},{6,1436},{282,282},{657,2638},{663,3119}
X(225){3,255},{21,1816},{212,219},{283,283}
X(226){6,48},{41,55},{284,284}
X(227){1,3149},{84,1433},{282,2192},{285,285}
X(228){1,1730},{2,3868},{4,92},{7,273},{27,29},{28,81},{286,286},{1851,3673}
X(230){6,511},{2987,2987}
X(231){6,1154}
X(232){2,401},{3,3289},{6,1503},{287,287},{325,1975},{684,3269}
X(233){6,54},{288,288}
X(235){3,1092},{6,1660}
X(236){289,289}
X(237){2,511},{8,3948},{76,3978},{98,287},{125,2799},{290,290},{525,3150}
X(238){1,1757},{10,726},{42,672},{239,894},{244,2254},{291,291},{1911,2196}
X(239){1,2664},{37,1575},{171,238},{213,2223},{292,292},{665,1015},{672,3252},{2530,3675},{3121,4455}
X(240){1,1955},{31,2312},{293,293},{1958,1959}
X(241){6,910},{9,3684},{294,294},{518,1376}
X(242){295,295}
X(243){1,2655},{296,296},{1935,1936}
X(244){1,100},{6,4557},{8,3952},{9,3939},{31,101},{78,1331},{109,1420},{200,644},{651,1445},{678,1023},{692,2220},{756,1018},{765,765},{1026,4712},{1260,4574},{3692,4578}
X(245){1,2613}
X(248){230,1503},{232,511},{297,297},{868,3569}
X(249){115,115}
X(250){125,125}
X(251){2,2896},{6,2916},{39,3917},{141,141}
X(252){143,143}
X(253){154,154}
X(254){155,155}
X(255){1,920},{4,1068},{19,1096},{158,158},{393,1857},{2310,3064}
X(256){43,846},{171,171},{172,2330},{2533,4459}
X(257){172,172}
X(258){173,173}
X(259){1,173},{174,174},{259,266}
X(260){177,177}
X(261){181,181}
X(262){182,182}
X(263){183,183}
X(264){184,184}
X(265){3,2931},{186,186},{1495,3003}
X(266){1,164},{188,188}
X(267){191,191}
X(268){19,207},{196,196},{208,2331},{221,3209}
X(269){1,2951},{42,3198},{200,200},{210,2318},{220,480},{1253,1802},{2310,3900},{3119,4105}
X(270){201,201},{2197,3690}
X(271){208,208},{3195,3209}
X(272){209,209}
X(273){212,212},{228,4055}
X(274){213,213},{798,3121}
X(275){216,216},{217,418}
X(276){217,217}
X(277){218,218}
X(278){1,2947},{6,3197},{71,3990},{212,1802},{219,219}
X(279){1,170},{6,1615},{220,220},{3119,4171}
X(280){221,221},{2187,2199}
X(281){6,221},{48,603},{73,1409},{222,222},{652,1364}
X(282){6,1035},{198,221},{223,223}
X(283){4,3144},{225,225},{1824,1880},{3120,4017}
X(284){1,1781},{6,3145},{10,3950},{12,2171},{37,65},{73,1400},{226,226},{661,3120},{1334,4878}
X(285){227,227}
X(286){228,228}
X(287){232,232},{237,2211}
X(288){233,233}
X(289){1,363},{236,236}
X(290){3,3511},{237,237},{1691,1971}
X(291){1,2108},{6,2110},{31,2112},{238,238},{292,2144},{365,2146},{672,3009},{1423,2114},{1931,2106},{2238,3747},{4010,4124}
X(292){238,3684},{239,239},{518,1575},{740,2238},{4124,4435}
X(293){240,240}
X(294){57,2114},{241,241},{665,3675},{672,1458},{910,1279}
X(295){242,242},{659,4124},{1284,1874}
X(296){243,243},{415,2659}
X(297){6,1971},{248,248}
X(298){3457,3457}
X(299){3458,3458}
X(304){1973,1973}
X(305){1974,1974}
X(306){25,1973},{604,608},{1474,1474},{1919,3122},{2203,2204}
X(307){25,31},{607,2212},{2299,2299}
X(308){6,3499},{3051,3051}
X(309){2187,2187}
X(310){1918,1918}
X(312){32,1397},{56,1403},{57,1424},{604,604},{1919,3248}
X(313){32,560},{2206,2206}
X(314){669,3121},{1402,1402}
X(315){2353,2353}
X(316){39,187},{3455,3455}
X(317){2351,2351},{3155,3156}
X(318){31,2199},{603,603}
X(319){667,3122}
X(320){42,902},{1960,3271}
X(321){31,32},{667,3121},{1333,1333}
X(322){2208,2208}
X(323){53,1990},{115,1637},{395,396},{1989,1989}
X(325){6,1691},{232,1968},{1976,1976}
X(326){1096,1096}
X(329){1436,1436}
X(330){2176,2176}
X(333){6,2305},{213,1402},{798,3122},{1400,1400}
X(334){2210,2210}
X(335){1914,1914}
X(338){3,1634},{6,1625},{32,1576},{163,2150}
X(339){184,1576}
X(340){51,1495},{3129,3130}
X(341){1106,1106}
X(342){1946,2638},{2188,2188}
X(343){6,571},{25,32}
X(344){1015,3063}
X(345){608,608},{1395,1973}
X(346){6,1616},{604,1106},{649,3937},{1407,1407}
X(347){31,2208},{663,3270},{2192,2192},{3022,3063}
X(348){213,2333},{607,607}
X(350){1,3510},{42,3009},{172,1914},{1911,1911}
X(351){2,690},{512,3291},{523,524},{850,1236},{892,892}
X(354){1,55},{2346,2346}
X(355){3417,3417}
X(356){3605,3605}
X(357){358,358}
X(358){357,357}
X(359){360,360}
X(360){359,359}
X(365){1,364},{365,4166},{366,366}
X(366){365,365}
X(367){1,365}
X(371){6,3155},{485,485},{3385,3386}
X(372){6,3156},{486,486},{3371,3372}
X(376){3426,3426}
X(378){4846,4846}
X(380){2213,2336}
X(381){3431,3431}
X(384){39,3118},{695,695}
X(385){6,2076},{141,698},{237,3051},{384,385},{512,2086},{694,694},{3124,3569}
X(386){1,1698},{6,1011}
X(388){1036,1036}
X(389){3,5},{6,418}
X(390){1,4334}
X(391){940,4383}
X(393){6,1498},{255,2289},{394,394},{520,3269},{577,1092},{3682,3990}
X(394){1,1711},{6,1609},{25,2207},{115,2501},{393,393},{647,1562},{3068,3069}
X(395){6,16},{50,3200},{202,2245}
X(396){6,15},{50,3201},{203,2245},{2981,2981}
X(397){3,61}
X(398){3,62}
X(399){523,3258},{1138,1138}
X(401){217,237},{1987,1987},{3269,3569}
X(403){184,3284}
X(404){661,3271}
X(405){838,1015}
X(407){3,283},{21,411},{573,2328}
X(408){4,1896},{29,412}
X(411){661,3270}
X(412){822,3270}
X(417){4,1093}
X(418){4,2052},{264,317}
X(427){3,184},{6,206},{1176,1176}
X(428){3,3917}
X(429){3,1437},{184,2193},{1798,1798}
X(430){3,1790}
X(440){6,1474},{25,2332},{28,4219},{284,579}
X(441){6,232}
X(442){6,2194},{184,1333},{1175,1175}
X(446){98,511},{287,385}
X(450){450,1941},{1942,1942}
X(452){2213,2213}
X(468){3,3292},{6,2393},{895,895}
X(476){526,526}
X(478){6,3435},{650,2968}
X(479){480,480},{3022,4105}
X(480){269,738},{479,479},{3271,3669}
X(482){55,2066}
X(484){654,2310},{1962,2245},{3065,3065}
X(485){371,371}
X(486){372,372}
X(493){3068,3068}
X(494){3069,3069}
X(497){55,56},{73,1402},{1037,1037},{1362,2223}
X(500){1,79}
X(501){1,267},{502,502}
X(502){501,501}
X(505){164,164}
X(511){1,1756},{2,385},{3,3564},{6,237},{11,659},{55,2238},{98,98},{248,1976},{523,868},{669,2086},{1687,1688}
X(512){1,1019},{2,523},{3,525},{6,669},{21,4560},{39,512},{55,3287},{69,3265},{81,3733},{99,99},{100,190},{110,4558},{114,2799},{141,2528},{311,850},{513,3666},{514,1125},{524,1649},{643,662},{649,2309},{659,4366},{690,2482},{1634,4576},{2407,3233},{2531,3118},{3413,3414}
X(513){1,513},{3,521},{6,667},{9,3900},{10,522},{37,4705},{42,649},{44,3251},{45,4825},{55,650},{100,100},{101,3939},{119,2804},{142,514},{190,4595},{214,3738},{442,523},{512,2092},{518,3126},{661,1962},{663,2347},{678,1635},{692,906},{900,1145},{1018,4557},{3158,4394},{3293,4057},{3307,3308},{3737,4267},{3795,4782},{4097,4401}
X(514){1,4040},{6,649},{31,1919},{37,650},{41,663},{42,4079},{48,652},{55,657},{101,101},{213,667},{354,513},{514,2140},{523,3136},{661,2294},{798,3725},{1017,1960},{1459,1473},{2590,2591}
X(515){48,2361},{55,2183},{102,102},{523,3137}
X(516){3,916},{55,672},{103,103},{523,3138}
X(517){1,36},{3,912},{44,55},{56,1455},{104,104},{523,3139},{667,2087},{909,2342},{1635,2310}
X(518){1,238},{6,2223},{55,2348},{56,1456},{105,105},{513,3675},{523,3140},{665,3271},{1438,2195},{3125,4455},{3513,3514}
X(519){6,902},{56,1457},{106,106},{244,1769},{523,3141},{1015,1960}
X(520){4,523},{25,2501},{51,647},{107,107},{512,800},{650,1859}
X(521){6,1946},{33,650},{56,513},{108,108},{429,523},{663,1400},{1856,3064}
X(522){6,663},{31,649},{55,652},{65,513},{109,109},{523,3142},{603,1459},{656,2292},{692,1415},{1409,1946},{1418,3669}
X(523){1,3737},{3,520},{5,523},{6,512},{58,3733},{101,692},{110,110},{141,525},{184,647},{215,654},{513,942},{521,960},{526,1511},{649,2308},{667,2300},{669,3051},{682,3049},{924,1147},{1493,1510},{2574,2575},{3050,3203}
X(524){6,187},{111,111},{351,3124},{523,3143}
X(525){6,647},{25,2489},{32,512},{53,2501},{112,112},{427,523}
X(526){30,523},{476,476},{512,3003}
X(527){6,1055},{2291,2291}
X(528){840,840}
X(530){2378,2378}
X(531){2379,2379}
X(532){2380,2380}
X(533){2381,2381}
X(536){6,3230},{739,739},{890,1977}
X(537){2382,2382}
X(538){6,3231},{729,729}
X(539){2383,2383}
X(541){841,841}
X(542){55,2503},{842,842}
X(543){6,2502},{843,843}
X(545){2384,2384}
X(551){6,2177}
X(553){55,1334}
X(560){1,1760},{75,304},{76,3596},{561,561},{1111,3261},{1577,2643},{3810,4858}
X(561){560,560},{1924,4117}
X(563){1,1820}
X(566){6,381}
X(570){2,1994},{5,6}
X(571){6,26},{68,2165},{338,525}
X(572){11,661},{2051,2051}
X(573){11,649}
X(574){2,1992},{6,1995},{598,598}
X(577){4,393},{6,24},{324,467},{523,3269},{1585,1586},{2052,2052},{2501,2970}
X(579){11,652},{656,2170},{1751,1751}
X(580){11,656}
X(588){590,590}
X(589){615,615}
X(590){6,371},{588,588}
X(593){115,4024},{594,594},{1500,3690},{3124,4705}
X(594){6,595},{58,1333},{593,593},{849,2150},{1015,3733}
X(595){244,523},{596,596}
X(596){595,595}
X(597){6,574}
X(598){574,574}
X(599){6,1384},{1383,1383}
X(603){1,1158},{9,33},{318,318},{3700,4081}
X(604){1,1766},{2,329},{6,2933},{8,346},{9,78},{11,3700},{306,321},{312,312},{522,2170},{2321,3701},{4391,4858}
X(607){2,347},{63,77},{222,1804},{307,1214},{348,348},{905,1565}
X(608){78,3692},{219,1259},{306,3998},{345,345},{3694,3710}
X(609){2,4741}
X(610){661,2632},{2184,2184}
X(612){1,2999},{1036,2221}
X(614){1,200},{42,72},{2340,4712}
X(615){6,372},{589,589}
X(616){3440,3440}
X(617){3441,3441}
X(618){6,3457}
X(619){6,3458}
X(620){6,3124}
X(621){3438,3438}
X(622){3439,3439}
X(626){6,1501}
X(627){3489,3489}
X(628){3490,3490}
X(631){3527,3527}
X(633){3442,3442}
X(634){3443,3443}
X(643){661,4729},{4017,4017}
X(644){513,4394},{661,4139},{764,1015},{3669,3669}
X(647){1,1021},{2,525},{4,2501},{6,523},{81,4560},{110,112},{185,647},{216,520},{512,1196},{648,648},{650,1858},{651,653},{850,1235},{1783,1897},{1843,2489},{2592,2593},{2967,3569}
X(648){647,647}
X(649){1,649},{2,514},{6,4057},{8,3239},{9,522},{10,4024},{37,513},{71,4064},{100,644},{101,1331},{190,190},{239,4375},{321,4391},{440,525},{523,1213},{650,3057},{657,4319},{661,2292},{798,2667},{900,4370},{1018,3952},{2398,3234},{3059,4130},{3161,3667},{3995,4063},{4115,4427}
X(650){1,650},{6,513},{9,521},{57,3669},{73,652},{101,109},{222,905},{226,514},{525,1211},{649,1201},{651,651},{657,2293},{661,2650},{663,1200},{665,1362},{4551,4559}
X(651){9,4919},{522,4147},{647,661},{650,650},{657,663},{1946,3063},{3709,4041}
X(652){1,652},{4,3064},{57,514},{65,650},{108,1783},{281,522},{407,2501},{513,1108},{523,1901},{649,3924},{653,653},{656,2294},{657,4336},{822,2658}
X(653){1,2636},{647,822},{652,652}
X(654){1,654},{9,2804},{514,3911},{517,650},{523,2245},{655,655},{2599,2600}
X(655){654,654},{2081,2624}
X(656){1,656},{31,661},{58,3737},{108,109},{162,162},{513,1104},{663,1195},{1021,4183},{1769,1845},{2588,2589}
X(657){1,657},{2,4025},{7,514},{57,3676},{77,4091},{354,650},{614,649},{651,934},{658,658},{905,1439},{1020,4566},{1122,3669},{1638,3321}
X(658){657,657}
X(659){1,659},{9,926},{141,918},{291,876},{292,875},{512,2238},{513,518},{649,3009},{660,660},{2284,4557}
X(660){659,659}
X(661){1,661},{2,4560},{6,3733},{21,1021},{31,1924},{48,656},{81,1019},{100,101},{163,4575},{214,1635},{284,3737},{513,1100},{649,1193},{650,2646},{651,1813},{662,662},{667,1197},{798,1964},{820,822},{2578,2585},{2579,2584},{2582,2583}
X(662){1,2640},{512,3709},{661,661},{798,810},{4079,4705}
X(663){1,514},{2,522},{7,3676},{9,4105},{65,3669},{77,4025},{100,651},{109,1813},{513,3752},{521,1214},{663,2082},{664,664},{693,1441},{905,1071},{1212,3900},{4551,4552}
X(664){512,810},{663,663}
X(665){2,918},{6,659},{100,2284},{190,3570},{294,885},{385,3287},{513,3290},{514,3008},{518,650},{523,2238},{666,666}
X(666){665,665}
X(667){1,4063},{2,513},{8,4391},{10,514},{75,693},{100,1332},{120,918},{190,3699},{210,4140},{312,4397},{321,4036},{522,3452},{523,1211},{650,3056},{661,3728},{668,668},{850,1234},{1233,3261},{1577,4647},{1909,2533},{3762,4738},{3789,4762},{3952,4033},{3954,4705},{4791,4793}
X(668){6,1979},{667,667},{669,798}
X(669){2,512},{69,3267},{76,850},{99,4563},{110,4611},{126,690},{141,523},{513,3739},{514,3741},{525,1368},{668,1978},{670,670},{1269,3261},{3794,4560}
X(670){512,3221},{669,669}
X(671){187,187}
X(672){1,672},{2,239},{105,294},{673,673},{2170,2254}
X(673){672,672}
X(674){675,675}
X(675){674,674}
X(676){6,926},{101,2426},{103,2424},{518,521},{677,677},{2284,3939}
X(677){676,676}
X(678){1,88},{244,1022},{679,679},{1318,2226}
X(679){678,678}
X(680){681,681}
X(681){680,680}
X(682){4,76},{683,683}
X(683){682,682}
X(684){98,879},{110,4226},{232,512},{460,2501},{523,1503},{685,685},{1976,2395}
X(685){684,684}
X(686){30,2501},{112,4240},{687,687},{924,3003}
X(687){686,686}
X(688){99,670},{689,689}
X(689){688,688}
X(690){6,351},{187,512},{523,858},{691,691}
X(691){690,690}
X(692){2,149},{513,905},{514,522},{523,1577},{693,693},{764,1086},{918,3126}
X(693){31,667},{32,1980},{42,663},{184,1946},{649,1475},{692,692},{1918,1919},{2175,3063}
X(694){6,3511},{32,3506},{385,385},{511,3229},{3507,3508},{3509,3510}
X(695){3,3499},{32,3492},{39,3491},{194,2896},{384,384}
X(696){697,697}
X(697){696,696}
X(698){6,3229},{32,1691},{699,699}
X(699){698,698}
X(700){701,701}
X(701){700,700}
X(702){703,703}
X(703){702,702}
X(704){705,705}
X(705){704,704}
X(706){707,707}
X(707){706,706}
X(708){709,709}
X(709){708,708}
X(710){711,711}
X(711){710,710}
X(712){713,713}
X(713){712,712}
X(714){715,715}
X(715){714,714}
X(716){717,717}
X(717){716,716}
X(718){719,719}
X(719){718,718}
X(720){721,721}
X(721){720,720}
X(722){723,723}
X(723){722,722}
X(724){725,725}
X(725){724,724}
X(726){6,3009},{31,1914},{727,727}
X(727){726,726}
X(728){738,738}
X(729){538,538},{888,1645}
X(730){731,731}
X(731){730,730}
X(732){733,733}
X(733){732,732}
X(734){735,735}
X(735){734,734}
X(736){737,737}
X(737){736,736}
X(738){728,728},{3119,4130}
X(739){536,536},{891,1646}
X(740){6,3747},{58,1326},{81,2106},{292,1911},{741,741}
X(741){740,740},{2238,4433}
X(742){743,743}
X(743){742,742}
X(744){745,745}
X(745){744,744}
X(746){747,747}
X(747){746,746}
X(748){6,4497},{244,4905},{749,749}
X(749){748,748}
X(750){6,4471},{751,751}
X(751){750,750}
X(752){753,753}
X(753){752,752}
X(754){755,755},{2872,3124}
X(755){754,754}
X(756){31,4251},{58,81},{60,593},{244,1019},{757,757}
X(757){756,756},{2643,4705}
X(758){6,3724},{523,867},{759,759}
X(759){1,2948},{758,758}
X(760){761,761}
X(761){760,760}
X(762){593,757},{763,763}
X(763){762,762}
X(764){100,765},{513,3315},{692,1252}
X(765){1,1052},{244,244},{1015,3271},{3122,3125}
X(766){767,767}
X(767){766,766}
X(768){769,769}
X(769){768,768}
X(770){1,770},{771,771}
X(771){770,770}
X(772){773,773}
X(773){772,772}
X(774){1,255},{31,610},{63,1958},{775,775}
X(775){774,774}
X(776){777,777}
X(777){776,776}
X(778){779,779}
X(779){778,778}
X(780){781,781}
X(781){780,780}
X(782){733,881},{783,783}
X(783){782,782}
X(784){6,2978},{785,785}
X(785){784,784}
X(786){787,787}
X(787){786,786}
X(788){514,3821},{789,789},{3250,3778}
X(789){788,788}
X(790){791,791}
X(791){790,790}
X(792){793,793}
X(793){792,792}
X(794){795,795}
X(795){794,794}
X(796){797,797}
X(797){796,796}
X(798){1,798},{9,3907},{38,661},{75,1577},{86,1019},{99,645},{190,668},{513,1107},{514,4357},{649,3720},{662,4592},{693,4359},{799,799},{1227,3762}
X(799){798,798}
X(800){2,394},{6,20},{69,1975},{801,801}
X(801){800,800}
X(802){803,803}
X(803){802,802}
X(804){511,512},{626,2799},{694,882},{741,875},{805,805}
X(805){804,804}
X(806){807,807}
X(807){806,806}
X(808){809,809}
X(809){808,808}
X(810){1,1577},{162,662},{810,2083},{811,811},{2582,2589},{2583,2588}
X(811){810,810}
X(812){38,2254},{292,3572},{649,672},{798,3747},{813,813},{3573,4579}
X(813){659,4435},{812,812}
X(814){815,815}
X(815){814,814}
X(816){817,817}
X(817){816,816}
X(818){819,819}
X(819){818,818}
X(820){1,158},{821,821}
X(821){820,820}
X(822){1,822},{29,1021},{92,1577},{652,2654},{656,1953},{661,774},{823,823}
X(823){822,822}
X(824){6,3250},{825,825}
X(825){824,824}
X(826){2,4580},{6,3005},{110,1576},{827,827}
X(827){826,826}
X(828){6,158},{829,829}
X(829){828,828}
X(830){513,3745},{831,831}
X(831){830,830}
X(832){833,833}
X(833){832,832}
X(834){100,4756},{514,4657},{522,958},{523,4205},{835,835}
X(835){834,834}
X(836){1,393},{837,837}
X(837){836,836}
X(838){839,839}
X(839){838,838}
X(840){528,528}
X(841){541,541}
X(842){542,542}
X(843){543,543}
X(846){513,2643},{649,4128}
X(847){1147,1147}
X(849){756,3949},{1089,1089},{1109,4036},{2643,4024}
X(850){6,3050},{32,669},{39,647},{51,512},{1576,1576},{2531,3051}
X(851){1,851},{21,2651},{29,2659},{296,1937},{1021,1984}
X(858){184,187},{351,3269},{1177,1177}
X(859){10,758},{210,3943}
X(867){184,1983},{692,2245}
X(868){110,511},{1976,2715}
X(869){1,4384},{870,870}
X(870){869,869}
X(872){86,274},{261,1509},{873,873},{1019,3248}
X(873){872,872}
X(874){875,875}
X(875){239,659},{350,3766},{740,812},{804,1966},{874,874}
X(876){238,659},{740,3716},{2238,4155},{3573,3573}
X(877){878,878},{2451,3569}
X(878){511,2799},{877,877},{2421,4230}
X(879){237,3569},{511,684},{4230,4230}
X(880){881,881}
X(881){732,804},{880,880}
X(882){385,804}
X(883){884,884}
X(884){518,918},{883,883},{1025,1026}
X(885){665,2223},{672,926},{2283,2283}
X(886){887,887}
X(887){2,888},{512,538},{886,886}
X(888){6,887},{669,3231}
X(889){890,890}
X(890){2,891},{512,2229},{513,536},{514,4871},{889,889}
X(891){6,890},{513,3999},{667,3230},{898,898}
X(892){351,351}
X(893){9,1045},{171,2329},{172,3955},{192,1654},{894,894},{1215,2295},{3287,4459}
X(894){649,3121},{893,893}
X(895){351,1648},{468,468}
X(896){1,896},{244,2832},{897,897},{2642,2643}
X(897){896,896}
X(898){891,891}
X(899){1,899},{3248,3768}
X(900){6,1960},{55,654},{512,2245},{513,517},{649,902},{692,1983},{901,901},{1329,2804}
X(901){900,900},{1635,4895},{4120,4730}
X(902){1,3218},{2,519},{88,1320},{106,1797},{514,1647},{900,1086},{903,903},{3120,4707},{4080,4674}
X(903){902,902}
X(904){8,1655},{1215,3963},{1909,1909}
X(905){1,1734},{6,650},{42,657},{213,4705},{513,614},{1783,1783},{1826,3064},{1865,2501}
X(907){3800,3800}
X(908){41,902},{48,2252},{909,909}
X(909){908,908},{2077,2323}
X(910){1,910},{6,3220},{9,518},{103,2338}
X(912){915,915}
X(913){914,914}
X(914){913,913}
X(915){912,912}
X(916){25,1886},{676,2969},{917,917}
X(917){916,916}
X(918){6,665},{919,919},{2223,3063}
X(919){918,918}
X(920){822,2643},{921,921}
X(921){920,920}
X(923){524,3712}
X(924){3,523},{216,512},{925,925}
X(925){924,924}
X(926){241,513},{514,516},{523,857},{651,2283},{673,885},{927,927}
X(927){926,926}
X(928){523,851},{929,929}
X(929){928,928}
X(930){1510,1510}
X(932){4083,4083}
X(934){657,4105},{3900,3900},{4171,4524}
X(936){937,937}
X(937){936,936}
X(938){55,1696},{939,939}
X(939){938,938}
X(940){11,784},{941,941},{1015,4790}
X(941){940,940},{1468,2268}
X(942){1,35},{6,228},{37,55},{943,943}
X(943){942,942}
X(944){945,945}
X(945){944,944}
X(946){6,2187},{48,55},{947,947}
X(947){946,946}
X(948){949,949}
X(949){948,948}
X(950){55,1400},{56,73},{951,951}
X(951){1,2955},{950,950}
X(952){953,953}
X(953){952,952}
X(954){955,955}
X(955){954,954}
X(956){957,957}
X(957){956,956}
X(958){6,1460},{959,959},{2170,4822}
X(959){958,958}
X(960){6,1402},{56,65},{961,961}
X(961){1,2944},{960,960}
X(962){963,963}
X(963){962,962}
X(966){6,4252},{967,967}
X(967){966,966}
X(968){969,969}
X(969){968,968}
X(971){55,910},{972,972}
X(972){971,971}
X(973){3,1209}
X(974){3,113},{25,3163}
X(976){977,977}
X(977){976,976}
X(978){650,3248},{979,979}
X(979){978,978}
X(980){981,981}
X(981){980,980}
X(982){1,3550},{37,1918},{55,2176},{983,983},{1253,3217}
X(983){982,982},{2275,3056},{3721,3778}
X(984){31,2280},{513,4475},{985,985}
X(985){984,984},{1491,4475},{2276,4517}
X(986){31,2268},{987,987}
X(987){986,986}
X(988){989,989}
X(989){988,988}
X(991){1,4312},{11,4724}
X(993){994,994}
X(994){993,993}
X(995){1,3679},{996,996}
X(996){995,995}
X(997){998,998}
X(998){997,997}
X(999){11,4777},{1000,1000}
X(1000){999,999}
X(1001){1,3751},{116,824},{788,1015},{1002,1002}
X(1002){1001,1001}
X(1005){1242,1242}
X(1006){1243,1243}
X(1009){1244,1244}
X(1010){1245,1245}
X(1011){834,1086},{1246,1246}
X(1014){1,2938},{210,210},{756,3690},{4041,4516}
X(1015){1,1018},{2,190},{6,100},{8,644},{10,4115},{101,595},{312,4033},{345,1332},{346,3699},{594,3952},{1016,1016},{1145,2427},{2176,4595},{3570,4366},{3695,4574}
X(1016){244,3123},{1015,1015},{3121,3122}
X(1017){2,903},{6,1623}
X(1018){513,649},{661,4132},{1019,1019}
X(1019){10,4151},{37,661},{42,798},{210,4171},{512,1500},{513,3720},{523,3925},{594,3700},{649,1100},{650,2269},{822,836},{1018,1018},{1334,4041}
X(1020){650,652},{657,3900},{1021,1021}
X(1021){37,656},{65,661},{73,822},{513,2260},{647,1425},{649,1104},{650,2654},{652,2646},{1020,1020},{1400,4017}
X(1022){44,1635},{1023,1023},{1639,3943}
X(1023){44,3722},{513,1635},{661,4145},{764,2087},{1022,1022}
X(1024){672,2254},{1025,1025},{2283,2284}
X(1025){650,4435},{1024,1024},{2254,4449}
X(1026){513,659},{1027,1027}
X(1027){518,2254},{659,1279},{1026,1026}
X(1028){1085,1085}
X(1029){1030,1030}
X(1030){115,513},{650,3024},{1029,1029}
X(1032){1033,1033}
X(1033){1032,1032},{3344,3346}
X(1034){1035,1035}
X(1035){1034,1034},{3342,3345}
X(1036){1,1773},{388,388},{612,2285},{1460,2286}
X(1037){1,2961},{497,497},{2082,4319}
X(1038){1039,1039}
X(1039){1038,1038}
X(1040){33,34},{1041,1041}
X(1041){1040,1040}
X(1042){1,20},{8,78},{200,346},{1043,1043},{2327,2328}
X(1043){1042,1042}
X(1045){513,4128},{649,4117}
X(1046){650,2643},{1247,1247}
X(1047){1248,1248}
X(1049){1077,1077}
X(1055){2,527},{9,3935},{1121,1121}
X(1056){1057,1057}
X(1057){1056,1056}
X(1058){1059,1059}
X(1059){1058,1058}
X(1060){1061,1061}
X(1061){1060,1060}
X(1062){1063,1063}
X(1063){1062,1062}
X(1064){1,1478},{1065,1065}
X(1065){1064,1064}
X(1066){1,1479},{1067,1067}
X(1067){1066,1066}
X(1068){1069,1069}
X(1069){46,1079},{1068,1068}
X(1071){1,1777},{19,55},{25,2331}
X(1073){6,1033},{154,3172},{1249,1249}
X(1077){1049,1049}
X(1078){688,3124}
X(1081){1250,1250}
X(1082){1251,1251}
X(1084){2,4576},{6,99},{76,670},{110,1627},{305,4563},{799,873},{1509,4623}
X(1085){1028,1028}
X(1086){6,101},{9,1018},{32,692},{100,1621},{109,1617},{219,906},{220,3939},{1252,1252},{1500,4557}
X(1088){1253,1253},{3022,4524}
X(1089){31,2220},{849,849},{1333,2206}
X(1092){4,3542},{1093,1093}
X(1093){1092,1092}
X(1094){1,3383}
X(1095){1,3376}
X(1096){326,326},{394,1259},{3682,3998}
X(1098){1254,1254},{3708,4705}
X(1099){31,2159}
X(1100){1,37},{2,3995},{6,35},{559,1082},{1255,1255}
X(1101){115,4092},{1109,1109},{2643,3708}
X(1103){1256,1256}
X(1104){1,72},{37,200},{1257,1257}
X(1105){185,185}
X(1106){200,3692},{341,341},{522,4939},{2310,3239},{3701,3710}
X(1107){1,213},{6,171},{37,43},{1258,1258}
X(1108){1,219},{6,40}
X(1109){1,2617},{31,163},{60,110},{255,4575},{1101,1101},{1822,1823}
X(1110){11,1086},{244,3942},{1111,1111},{4858,4939}
X(1111){31,692},{55,4557},{101,4251},{1110,1110}
X(1112){3,125}
X(1113){2574,2574}
X(1114){2575,2575}
X(1118){1259,1259}
X(1119){1260,1260}
X(1120){1149,1149}
X(1121){1055,1055}
X(1122){9,4513},{55,200},{480,4936},{1261,1261}
X(1123){1124,1124}
X(1124){1123,1123}
X(1125){1,3293},{6,42},{31,2174},{1126,1126}
X(1126){1100,3683},{1125,1125},{1213,1962}
X(1127){1129,1129}
X(1128){1130,1130}
X(1129){1127,1127}
X(1130){1128,1128}
X(1131){1151,1151}
X(1132){1152,1152}
X(1134){1135,1135}
X(1135){1134,1134}
X(1136){1137,1137}
X(1137){1136,1136}
X(1138){399,399}
X(1139){3396,3396}
X(1140){3369,3369}
X(1141){1154,1154}
X(1146){3,101},{6,109},{56,1415},{57,1020},{1262,1262},{1407,1461},{2594,4559}
X(1147){6,2351},{485,486},{523,2970},{847,847}
X(1148){1,3362}
X(1149){1,519},{522,1647},{900,3756},{1120,1120}
X(1151){1131,1131}
X(1152){1132,1132}
X(1154){3,539},{54,1157},{1141,1141}
X(1155){1,1155},{11,2826},{1156,1156},{2291,4845}
X(1156){1155,1155}
X(1157){1263,1263}
X(1166){1209,1209}
X(1167){1108,1864},{1210,1210}
X(1168){214,214}
X(1169){1211,1211}
X(1170){1212,1212}
X(1171){1213,1213}
X(1172){37,227},{71,73},{201,2197},{1214,1214}
X(1173){140,140}
X(1174){142,142},{354,1212}
X(1175){442,442}
X(1176){39,1843},{115,2514},{427,427}
X(1177){858,858}
X(1178){1215,1215}
X(1179){1216,1216}
X(1180){6,3763}
X(1181){4,631},{1217,1217}
X(1184){69,3618}
X(1185){75,4687},{1218,1218}
X(1191){2,4461},{8,3616},{37,4061},{1219,1219}
X(1192){20,3091}
X(1193){1,10},{2,894},{9,42},{1220,1220}
X(1194){2,384},{3,3051},{6,141}
X(1195){2,1943},{63,226}
X(1196){2,1975},{6,69}
X(1197){2,1909},{37,75},{1221,1221}
X(1199){5,140},{216,3078}
X(1200){7,9},{57,3160}
X(1201){1,8},{2,3729},{200,3161},{1222,1222}
X(1202){9,142},{1223,1223}
X(1203){10,1125},{1224,1224}
X(1204){4,20},{489,490}
X(1205){23,858}
X(1206){37,3739}
X(1207){39,3934}
X(1208){40,946}
X(1209){1166,1166}
X(1210){6,212},{31,198},{1167,1167}
X(1211){6,1333},{32,2194},{1169,1169}
X(1212){1,218},{6,57},{1170,1170}
X(1213){6,58},{1171,1171}
X(1214){1,1754},{6,19},{33,607},{608,3213},{1172,1172},{2194,2204},{2299,2332},{3063,4516}
X(1215){6,1964},{893,904},{1178,1178},{3248,3733}
X(1216){4,3518},{25,53},{1179,1179}
X(1217){1181,1181}
X(1218){1185,1185}
X(1219){1191,1191}
X(1220){1193,1193},{2092,3725}
X(1221){1197,1197}
X(1222){1,1050},{1201,1201}
X(1223){1202,1202}
X(1224){1203,1203}
X(1229){32,604}
X(1230){32,2206},{1333,2220}
X(1231){32,1973},{2204,2204}
X(1237){32,1923}
X(1238){1974,3199}
X(1242){1005,1005}
X(1243){1006,1006}
X(1244){1009,1009}
X(1245){388,1038},{612,2345},{1010,1010}
X(1246){1011,1011}
X(1247){1046,1046}
X(1248){1047,1047}
X(1249){6,64},{647,2972},{1073,1073}
X(1250){1,1653},{1081,1081},{1251,2306}
X(1251){1082,1082},{1250,2307}
X(1252){11,4534},{244,2170},{1015,3937},{1086,1086},{3120,3125}
X(1253){1,1445},{7,279},{514,2310},{1088,1088},{1446,3668}
X(1254){1,411},{21,283},{1021,2310},{1098,1098},{2287,2328}
X(1255){1,1051},{1100,1100}
X(1256){1103,1103}
X(1257){1104,1104}
X(1258){1107,1107}
X(1259){1118,1118}
X(1260){34,1435},{1119,1119},{1398,1407},{3669,3937}
X(1261){1122,1122}
X(1262){1,2958},{1146,1146},{2310,3119}
X(1263){1157,1157}
X(1265){1398,1398}
X(1266){31,902}
X(1268){2308,2308}
X(1269){32,1918}
X(1279){1,518},{918,4904},{926,1015},{1280,1280}
X(1280){1279,1279}
X(1284){1,511},{9,4433},{291,295},{3271,4435}
X(1292){3309,3309}
X(1293){3667,3667},{4162,4394}
X(1296){1499,1499}
X(1297){20,147},{1503,1503}
X(1299){155,2931}
X(1304){30,402}
X(1308){3887,3887}
X(1317){55,2316},{1318,1318}
X(1318){1317,1317}
X(1319){1,517},{9,3689},{11,2804},{55,2323},{1320,1320},{2170,4895}
X(1320){902,1404},{1319,1319},{1960,2087}
X(1323){4845,4845}
X(1324){124,3738},{758,3454}
X(1326){3120,4010}
X(1329){6,1397},{3450,3450}
X(1330){3437,3437}
X(1331){514,3798}
X(1333){1,1761},{2,2895},{6,2915},{10,2321},{37,72},{321,321},{523,3125},{594,1089},{3120,4024},{3910,4858}
X(1334){1,4253},{2,3875},{7,57},{81,1014},{1434,1434}
X(1335){1336,1336}
X(1336){1335,1335}
X(1337){3479,3479}
X(1338){3480,3480}
X(1348){1341,3557}
X(1349){1340,3558}
X(1350){3424,3424}
X(1352){3425,3425}
X(1356){55,645},{261,4631}
X(1357){8,3699},{9,4069},{55,644},{100,145},{190,344},{346,4578},{1265,4571},{4076,4076}
X(1358){55,3939},{101,218},{200,4069},{692,3052}
X(1360){55,2338}
X(1362){11,885},{55,294}
X(1364){4,108},{40,4551},{55,1783},{100,3436}
X(1365){60,4636},{643,1098}
X(1368){6,1974},{25,1968},{184,3053}
X(1370){669,3269}
X(1376){124,3810},{513,3271}
X(1379){3413,3413}
X(1380){3414,3414}
X(1381){1,2449},{3307,3307}
X(1382){1,2448},{3308,3308}
X(1383){599,599}
X(1384){115,3906}
X(1385){1389,1389}
X(1386){1,984},{1390,1390}
X(1387){202,203},{1391,1391}
X(1388){1392,1392}
X(1389){1385,1385}
X(1390){1386,1386}
X(1391){1387,1387}
X(1392){1388,1388}
X(1393){9,212}
X(1395){78,3719},{345,1265},{3718,3718}
X(1396){3694,3694}
X(1397){2,3436},{8,345},{9,4149},{11,4391},{75,322},{312,341},{3596,3596},{4086,4858}
X(1398){1265,1265}
X(1400){1,573},{2,63},{8,9},{21,2287},{81,1817},{283,284},{333,333}
X(1401){8,55},{1146,4477}
X(1402){1,1764},{2,3869},{8,312},{11,3910},{21,1812},{69,75},{314,314},{333,1043}
X(1403){8,4903},{11,3810},{522,3271}
X(1404){2,908},{8,2325},{9,4511},{11,1639},{522,4530}
X(1405){9,3872}
X(1407){6,1604},{9,2324},{200,728},{220,1260},{346,346},{650,4534},{1146,3239},{2310,4171},{2321,3694},{4081,4130},{4082,4515}
X(1408){210,3694},{1089,3695},{2321,4082},{3700,4516},{3701,3701}
X(1409){1,1765},{2,92},{21,1172},{29,2322},{281,318}
X(1410){4,1895},{8,318},{2287,4183}
X(1411){4511,4511}
X(1412){1,2941},{210,4515},{594,3949},{1334,2318},{2321,2321}
X(1413){40,1103}
X(1414){3709,4524},{4041,4041}
X(1415){521,650},{522,3239},{525,1577},{3700,4086},{4391,4391}
X(1416){3717,3717}
X(1417){4723,4723}
X(1418){9,220}
X(1419){1,3062},{650,3119}
X(1420){2170,3900},{3680,3680}
X(1422){2324,2324}
X(1423){9,4050},{2319,2319}
X(1425){3,3562},{21,29},{2322,4183}
X(1426){78,1259},{283,1819},{1260,3692},{1792,1792}
X(1427){6,610},{9,219},{200,220},{2287,2287}
X(1428){210,3693},{522,4124},{4518,4518}
X(1429){1334,2340},{4876,4876}
X(1431){3907,4459}
X(1432){2329,2329}
X(1433){1,1720},{198,3195}
X(1434){1334,1334}
X(1435){3692,3692}
X(1436){9,1490},{40,2324},{329,329}
X(1437){1,1710},{4,451},{37,1824}
X(1438){518,3693},{672,1818},{3912,3912},{3930,3932}
X(1439){25,204},{33,55},{4183,4183}
X(1441){31,184},{41,2175},{2194,2194}
X(1442){663,4516}
X(1443){210,3689},{2310,4895}
X(1444){512,4516},{1824,1824}
X(1445){657,2170}
X(1447){926,3271},{2329,3684}
X(1449){1,3731},{244,4813}
X(1456){1,971},{200,3693}
X(1457){1,515},{8,4511},{200,2325},{663,4530},{1639,4081}
X(1458){1,516},{8,3685},{9,2340},{3729,3912}
X(1459){1,522},{10,4064},{33,3064},{37,3900},{42,4024},{430,2501},{514,4000},{523,1834},{650,1864},{1897,1897}
X(1461){3239,3239},{3900,4130}
X(1462){3693,3693}
X(1463){55,3684}
X(1464){1,30},{80,1807}
X(1465){6,2182},{9,2323},{220,3689},{3119,4895}
X(1468){9,612},{244,4778},{1146,4843}
X(1470){1,3359}
X(1472){2345,3974},{4385,4385}
X(1473){10,1824}
X(1474){2,3151},{71,3682},{72,3694},{306,306},{525,4466},{3695,3949}
X(1475){1,3730},{2,9},{10,3294}
X(1476){1,2943},{3057,3057}
X(1478){3422,3422}
X(1479){55,2178}
X(1486){116,522},{513,4904}
X(1487){1493,1493}
X(1490){649,2638},{3345,3345}
X(1491){1,1491},{513,1386},{1492,1492}
X(1492){1491,1491}
X(1493){17,18},{1487,1487}
X(1494){1495,1495}
X(1495){2,30},{3,323},{8,3936},{298,299},{525,1650},{1494,1494},{2968,3904}
X(1498){122,523},{3346,3346}
X(1499){512,574},{1296,1296}
X(1500){2,4360},{6,1621},{81,86},{757,2185},{1509,1509},{1977,3733}
X(1501){2,315},{76,305},{115,850},{1502,1502}
X(1502){1501,1501}
X(1503){3,511},{127,2799},{523,3150},{1297,1297}
X(1504){2,3068},{6,1599}
X(1505){2,3069},{6,1600}
X(1509){1500,1500},{3124,4079}
X(1510){140,523},{512,570},{930,930}
X(1511){13,14},{74,3470}
X(1513){182,511}
X(1531){186,378}
X(1537){55,909}
X(1560){6,1177}
X(1562){3,112},{2063,4558}
X(1565){55,692},{101,3730},{3690,4557}
X(1566){101,103},{651,1814}
X(1570){2,230}
X(1574){1977,4057}
X(1575){1,1575},{6,238}
X(1576){2,3448},{512,2485},{523,525},{850,850},{1577,4086}
X(1577){31,798},{38,656},{48,822},{163,163},{649,2260},{652,2269},{661,1953},{1923,1924},{2578,2579}
X(1580){244,3808},{1581,1581},{1755,1964},{1965,1966}
X(1581){1580,1580}
X(1587){3,3311}
X(1588){3,3312}
X(1593){3,1181},{2522,3270}
X(1594){3,49},{184,216}
X(1609){115,520}
X(1611){520,1084}
X(1612){244,520}
X(1613){523,1084},{2998,2998},{3224,3504}
X(1616){522,3756},{1015,3900}
X(1617){11,3900}
X(1619){122,512}
X(1621){244,512},{2170,2488}
X(1624){520,523}
X(1625){523,647}
X(1626){124,3900}
X(1627){826,3124}
X(1631){116,513}
X(1632){512,520}
X(1633){512,656},{513,3900},{926,3126}
X(1634){512,523}
X(1635){1,1635},{6,4491},{9,3738},{44,513},{88,1022},{100,1023},{514,908},{649,1149},{661,758},{3257,3257}
X(1636){4,1637},{523,1990}
X(1637){3,1636},{6,526},{74,2433},{110,2420},{520,3284},{525,3580}
X(1639){1465,3669}
X(1642){1643,3675}
X(1643){1642,3126}
X(1645){99,3231}
X(1646){100,3230},{739,898},{3227,4607}
X(1647){101,902},{106,901},{2323,3939}
X(1648){110,187},{111,691}
X(1649){110,691},{111,512}
X(1650){74,1304},{110,2071},{112,1495}
X(1654){649,3124},{2248,2248}
X(1659){48,605},{2066,2066}
X(1670){1677,1677}
X(1671){1676,1676}
X(1676){1671,1671}
X(1677){1670,1670}
X(1682){11,4581}
X(1687){2009,2009}
X(1688){2010,2010}
X(1691){39,511},{115,2799},{1916,1916}
X(1692){2,325},{684,3124}
X(1697){1,3361}
X(1699){48,1253},{55,3207}
X(1707){656,2643}
X(1708){652,2170}
X(1711){822,4128}
X(1713){244,822}
X(1714){822,3248}
X(1715){822,2310}
X(1716){656,4128}
X(1722){652,3248}
X(1723){244,652}
X(1724){244,656}
X(1725){31,2173},{2631,2643}
X(1731){44,65}
X(1733){31,1755}
X(1734){31,513},{650,4336},{652,2293},{656,1962}
X(1735){31,2182}
X(1736){31,910}
X(1737){6,2361},{31,2183}
X(1738){31,672}
X(1739){31,44}
X(1740){661,4117},{3223,3223}
X(1743){1,3973},{9,3680},{244,650}
X(1744){652,2611}
X(1745){650,2638},{3362,3362}
X(1748){822,3708},{1820,1820}
X(1749){2624,2643}
X(1751){209,2198},{579,579},{1724,1754}
X(1754){656,2310}
X(1755){1,1755},{9,740},{75,1966},{293,1910},{812,4858},{1821,1821}
X(1756){42,1755}
X(1757){244,659},{1929,1929},{1931,1963},{1962,2238}
X(1758){409,2651},{851,2650},{2648,2648}
X(1759){798,2611}
X(1760){798,3708},{2156,2156}
X(1761){513,3708},{649,2611}
X(1762){650,3708}
X(1764){798,2310}
X(1769){1,3738},{31,1635},{44,3900},{522,1737},{656,758},{1023,3939}
X(1772){31,2265}
X(1776){65,1155}
X(1778){656,3125}
X(1780){656,3120}
X(1781){650,2611},{652,2632}
X(1783){647,656},{652,1459},{905,905}
X(1785){1795,1795}
X(1788){652,3271}
X(1789){1825,1825}
X(1790){1,1719},{4,4213},{10,4028},{42,2333},{1826,1826}
X(1791){1829,1829}
X(1792){1426,1426}
X(1793){1835,1835}
X(1794){1838,1838},{1841,1859}
X(1795){1785,1785}
X(1796){1839,1839}
X(1797){1635,4530}
X(1798){429,429}
X(1799){39,3787},{1843,1843}
X(1802){57,4341},{269,1435},{278,1119},{1847,1847},{3676,3942}
X(1803){1855,1855}
X(1804){1857,1857}
X(1807){1,1718},{1464,1835},{1870,1870}
X(1808){1874,1874}
X(1809){1875,1875}
X(1811){1878,1878}
X(1812){1880,1880}
X(1813){661,2501},{3064,3064}
X(1815){1886,1886}
X(1817){1903,1903}
X(1818){1,1738},{4,242},{19,2356}
X(1820){19,920},{1748,1748}
X(1821){1580,1955},{1755,1755}
X(1822){2588,2588}
X(1823){2589,2589}
X(1824){3,63},{21,1817},{77,1804},{283,1790},{1444,1444}
X(1825){1789,1789}
X(1826){3,48},{284,2360},{1437,2193},{1790,1790}
X(1827){3,77}
X(1828){3,78}
X(1829){3,72},{37,197},{219,228},{1791,1791}
X(1831){3,201}
X(1834){3,58},{6,2328},{21,404}
X(1835){1793,1793}
X(1836){3,55}
X(1837){3,56}
X(1838){48,4055},{71,212},{1794,1794}
X(1839){3,71},{1796,1796}
X(1840){3,4020}
X(1841){3,3990},{72,219}
X(1842){3,3682},{71,1260}
X(1843){2,22},{3,69},{1799,1799}
X(1845){3,1807}
X(1846){3,1795}
X(1847){1802,1802}
X(1848){3,3955},{42,205},{48,71},{212,2200},{2359,2359}
X(1851){3,1260},{228,3682}
X(1853){3,154},{206,577}
X(1854){1,1394},{3,221},{55,478}
X(1855){48,222},{1803,1803}
X(1857){1364,4091},{1804,1804}
X(1858){1,1935},{3,65},{478,1402}
X(1859){3,1214}
X(1860){3,4055}
X(1862){3,3937}
X(1864){3,57},{56,223}
X(1865){3,2193},{577,1437}
X(1870){1,3465},{1807,1807}
X(1874){1808,1808}
X(1875){1809,1809}
X(1878){1811,1811}
X(1879){6,156}
X(1880){63,394},{78,219},{283,2327},{1812,1812}
X(1881){3,4100}
X(1885){3,185}
X(1886){219,1818},{1815,1815}
X(1890){3,3781}
X(1895){31,2155}
X(1897){647,810},{1459,1459}
X(1898){3,46}
X(1899){3,25},{52,418},{206,571},{237,2967}
X(1900){3,3916}
X(1901){3,284},{6,2360}
X(1902){3,1071}
X(1903){3,610},{40,198},{1817,1817}
X(1905){3,1060}
X(1909){904,904}
X(1910){1959,1959}
X(1911){239,3685},{350,350},{726,3912},{740,3948}
X(1914){1,3509},{10,4037},{37,518},{291,4876},{292,295},{335,335},{350,1909},{918,1086},{3125,4010}
X(1916){1691,1691}
X(1917){1928,1928}
X(1918){10,4043},{75,76},{274,314},{310,310},{514,3122},{1111,4509}
X(1919){10,4079},{37,4083},{75,514},{76,3261},{190,4561},{321,693},{522,3061},{646,668},{850,1230},{1978,1978}
X(1921){1922,1922}
X(1922){350,3975},{1921,1921}
X(1923){75,561}
X(1924){75,661},{1577,1930},{4602,4602}
X(1926){1927,1927},{1932,1933}
X(1927){1926,1926}
X(1928){1917,1917}
X(1929){1757,1757}
X(1930){31,560}
X(1931){1757,1961}
X(1933){38,1959},{1925,1926},{1934,1934}
X(1934){1933,1933}
X(1936){1,1758},{243,1940},{1937,1937}
X(1937){416,2651},{1936,1936}
X(1942){450,450}
X(1944){1945,1945}
X(1945){1944,1944}
X(1946){2,521},{7,693},{108,651},{226,522},{318,4391},{442,525},{513,3772},{514,1210},{653,1897}
X(1948){1949,1949},{1950,1951}
X(1949){1936,2202},{1948,1948}
X(1951){296,1945},{1947,1948},{1952,1952}
X(1952){1951,1951}
X(1953){1,48},{2148,2169},{2167,2167}
X(1955){1956,1956}
X(1956){1955,1955}
X(1959){1,1580},{41,3747},{240,1957},{1910,1910}
X(1960){2,900},{8,3904},{100,4585},{514,519},{523,3936},{693,3262},{1022,4674},{4555,4555}
X(1962){1,81},{6,4068},{86,4360},{1126,1255}
X(1964){1,75},{3112,3112},{3907,4858},{3995,4651}
X(1966){38,2227},{1580,1582},{1967,1967}
X(1967){1959,2227},{1966,1966}
X(1968){525,3269}
X(1971){216,511},{1972,1972}
X(1972){1971,1971}
X(1973){2,4329},{63,326},{69,345},{304,304},{312,322},{525,1565},{3942,4025}
X(1974){2,1370},{69,3926},{125,2525},{304,3718},{305,305},{339,3267}
X(1976){2,147},{325,325},{441,3564},{868,2799}
X(1977){2,668},{43,1018},{75,4033},{76,1978},{190,4360},{646,3596},{1500,3952}
X(1978){669,1924},{1919,1919},{1977,3249}
X(1980){10,3835},{76,693},{313,3261},{321,4705},{850,1228},{3705,4391}
X(1983){523,2610},{654,2605},{661,1769},{1577,3762},{2600,2618}
X(1984){851,1020}
X(1986){3,265}
X(1987){401,401}
X(1988){3164,3164}
X(1989){6,399},{323,323},{526,2088}
X(1990){3,3284},{1636,2972}
X(1993){115,647},{2165,2165}
X(1994){590,615},{2963,2963}
X(1995){125,3906}
X(1999){663,3121}
X(2006){2323,2323}
X(2009){1687,1687}
X(2010){1688,1688}
X(2023){1662,1663}
X(2051){572,572}
X(2052){577,577}
X(2053){43,1423},{3212,3212}
X(2065){114,114}
X(2066){1659,1659}
X(2070){125,526},{1154,1209}
X(2072){184,3003}
X(2076){115,804}
X(2078){142,527},{3254,3254}
X(2081){50,523}
X(2082){3,218},{9,57},{1214,1400}
X(2083){19,63},{47,2172}
X(2084){662,799},{2084,2085},{4593,4593}
X(2085){31,75}
X(2086){2,2396},{99,385}
X(2087){1,1023},{2,2397},{44,100},{88,3257},{644,4511}
X(2088){2,2407},{50,110},{112,403},{476,1989}
X(2092){2,81},{6,21},{58,572},{1169,1798},{1220,2298}
X(2098){1,1420}
X(2099){1,3576},{2320,2320}
X(2107){2669,2669}
X(2113){1282,2108}
X(2115){1282,2114}
X(2120){2121,2121}
X(2121){2120,2120}
X(2122){2123,2123}
X(2123){2122,2122}
X(2124){2125,2125}
X(2125){2124,2124}
X(2126){2127,2127}
X(2127){2126,2126}
X(2128){2129,2129}
X(2129){2128,2128}
X(2130){2131,2131}
X(2131){2130,2130}
X(2132){2133,2133}
X(2133){2132,2132}
X(2134){2135,2135}
X(2135){2134,2134}
X(2136){2137,2137}
X(2137){2136,2136}
X(2138){2139,2139}
X(2139){2138,2138}
X(2140){2141,2141}
X(2141){2140,2140}
X(2142){2143,2143}
X(2143){2142,2142}
X(2149){11,1146},{4858,4858}
X(2150){12,594},{201,2171},{1109,4024}
X(2156){1760,1760},{4456,4463}
X(2160){9,191},{37,3579},{3219,3219}
X(2161){36,2323},{44,517},{758,2245},{3218,3218}
X(2162){43,3208},{192,192}
X(2163){45,3711},{3679,3679}
X(2164){2178,3157}
X(2165){6,155},{571,1147},{1993,1993}
X(2167){1953,1953}
X(2169){1953,2181}
X(2170){1,101},{2,4552},{9,100},{56,4559},{57,651},{59,1252},{63,1813},{78,644},{109,604},{214,1023},{934,4350},{1018,3678},{1331,2289},{2171,4551},{4564,4564}
X(2171){1,572},{9,3871},{21,284},{81,1790},{2170,3737},{2185,2185}
X(2173){1,2173},{9,758},{2349,2349},{2631,2632}
X(2175){2,3434},{7,348},{8,344},{75,85},{349,1441},{1086,3777},{4081,4391}
X(2176){2,1278},{37,4685},{87,2319},{330,330},{514,1015},{1086,3776}
X(2177){1,3306},{2,3241},{89,2320}
X(2178){521,1146},{1069,2164},{2994,2994}
X(2179){63,75}
X(2180){91,1820}
X(2181){63,255}
X(2182){1,2182},{3,2323},{9,517}
X(2183){1,2183},{2,3218},{9,519},{63,914},{649,1647},{900,1146},{909,1795},{4466,4707}
X(2184){198,3197},{610,610}
X(2185){181,1500},{2171,2171},{2643,4079}
X(2187){2,962},{7,1440},{189,280},{309,309}
X(2188){1,1767},{208,223},{342,342}
X(2189){201,3949}
X(2191){1,3174},{3870,3870},{3991,4878}
X(2192){40,223},{347,347}
X(2193){1,1744},{65,1880},{225,1826}
X(2194){1,1762},{2,2475},{10,226},{65,1214},{210,3991},{1111,3004},{1441,1441}
X(2195){241,518},{516,3008},{3912,4899}
X(2196){238,2201}
X(2197){27,81},{29,1172},{60,2189},{270,2326}
X(2198){1751,2997}
X(2199){2,189},{271,282}
X(2200){27,86},{85,331},{92,264}
X(2201){71,1818}
X(2202){1943,1944}
X(2203){72,3998},{306,3710},{4064,4466}
X(2204){2,2897},{306,307},{1231,1231}
X(2205){76,561},{693,3125}
X(2206){2,1330},{10,306},{42,4456},{313,313},{321,3701},{1577,3120}
X(2207){6,1619},{326,3719},{394,3964},{3926,3926}
X(2208){322,322}
X(2209){244,693},{514,3123}
X(2210){2,4645},{10,3912},{334,334},{335,4518},{1086,3837},{1920,1921}
X(2212){69,348},{307,1231}
X(2213){452,452}
X(2217){3869,3869}
X(2218){579,3190},{3868,3868}
X(2220){1086,1577}
X(2221){2345,2345}
X(2222){3738,3738}
X(2223){2,518},{11,918},{75,350},{105,1814},{2481,2481},{3789,3797}
X(2225){1,2225}
X(2226){4370,4370}
X(2227){1,2227},{31,1580},{43,3747}
X(2228){1,2228}
X(2229){1,2229}
X(2230){1,2230}
X(2231){1,2231}
X(2232){1,2232}
X(2233){1,2233}
X(2234){1,2234}
X(2235){1,2235}
X(2236){1,2236},{1581,1967}
X(2237){1,2237}
X(2238){1,2238},{6,3286},{81,1931},{86,2669},{291,292},{659,1015},{741,2311}
X(2239){1,2239}
X(2240){1,2240}
X(2242){2,4419}
X(2243){1,2243}
X(2244){1,2244}
X(2245){1,2245},{6,859},{11,654},{80,2161},{759,2341},{2610,2611}
X(2246){1,2246}
X(2247){1,2247}
X(2248){1654,1654}
X(2250){517,2183}
X(2251){2,320},{75,4358},{1086,4927},{1111,3762}
X(2252){1,2252},{19,1785}
X(2253){1,2253}
X(2254){1,2254},{100,3573},{105,1027},{513,1279},{661,3747},{663,672},{1024,2195}
X(2256){1,2257}
X(2257){9,1706},{939,2343}
X(2258){940,958}
X(2259){442,2294},{2260,4303}
X(2260){1,71},{2,3219},{9,10},{1794,2259}
X(2262){1,198},{3,9}
X(2264){9,65},{57,1214},{951,2983}
X(2265){1,2265},{9,2802}
X(2268){1,2285},{11,4841},{941,959}
X(2269){1,1400},{2,1999},{57,226},{961,2298}
X(2271){2,3945}
X(2272){1,2272},{9,516}
X(2275){1,3501},{6,1376},{9,43},{10,213},{220,3913},{2238,4154}
X(2276){2,4393},{6,1001},{985,2344}
X(2277){6,958}
X(2279){4384,4384}
X(2280){244,3250}
X(2281){2345,4385}
X(2283){513,676},{518,3035},{522,3716},{650,926},{885,885},{918,4885}
X(2284){513,665},{514,812},{1024,1027}
X(2285){9,1697},{2339,2339}
X(2287){1042,1400},{1427,1427},{3125,4017}
X(2289){393,1118}
X(2290){1,2290},{1109,2624}
X(2291){527,527}
X(2292){1,58},{31,284},{2363,2363}
X(2293){1,7},{2,3870},{1170,2346}
X(2294){1,284},{48,58},{943,2259}
X(2295){1,39},{256,893},{1015,1019}
X(2297){2999,2999}
X(2298){1193,2269},{2092,2292},{3666,3666}
X(2299){2,3152},{72,1214},{307,307},{656,4466}
X(2300){2,321},{8,37},{75,1909},{1791,2298}
X(2303){37,4646}
X(2305){115,522}
X(2308){1,3219},{2,10},{42,3730},{1126,1796},{1268,1268}
X(2309){1,894},{2,42},{10,192}
X(2310){1,651},{7,4566},{57,109},{59,1262},{63,100},{101,1253},{255,1813},{269,934},{412,653},{1020,1254},{1106,1461}
X(2311){1284,2238}
X(2312){1,2312},{63,1959}
X(2313){1,2313}
X(2314){1,2314},{19,1725}
X(2315){1,2315},{19,1784}
X(2316){44,1319},{900,4530},{1149,2183},{1635,1647},{3911,3911}
X(2318){27,4248},{28,1396},{34,278},{57,4306},{269,1119}
X(2319){1403,2176},{1423,1423}
X(2320){1405,2177},{2099,2099}
X(2321){6,3915},{56,604},{1333,1408},{1412,1412}
X(2322){1409,1410}
X(2323){73,2252},{226,3911},{1400,1457},{1411,2161},{1769,2170},{2006,2006}
X(2324){1413,1436},{1422,1422},{3669,3942}
X(2325){6,1149},{56,1404}
X(2326){1425,2197}
X(2327){1426,1880},{2501,3120}
X(2328){65,1427},{226,4848},{523,4466},{3668,3668}
X(2329){893,1431},{1432,1432}
X(2330){11,3004},{256,1432},{514,4459}
X(2331){1,282},{268,1433}
X(2332){1214,1439}
X(2333){63,69},{1444,1812},{4025,4466}
X(2334){1449,4512},{3616,3616}
X(2336){380,1453}
X(2338){910,1456},{1458,2272}
X(2339){2285,2285}
X(2340){1,3008},{7,1447},{57,1458},{105,1462},{676,1086}
X(2341){1464,2245}
X(2342){515,3911},{517,1465}
X(2343){1467,2257}
X(2344){1469,2276},{3250,4475}
X(2345){6,1191},{1245,2281},{2221,2221}
X(2346){354,354},{1475,2293}
X(2347){2,57},{9,145}
X(2348){1,2348},{57,241},{650,3675},{665,1357}
X(2349){2173,2173}
X(2350){3294,4651}
X(2351){24,1993},{52,467},{317,317}
X(2352){11,525},{521,4858},{2997,2997}
X(2353){69,1370},{315,315},{1760,4123},{4150,4463}
X(2354){2,3101},{10,1766},{63,306},{71,78}
X(2355){63,72}
X(2356){2,3100},{63,1818}
X(2357){20,63},{40,329}
X(2359){1193,2354},{1848,1848}
X(2361){36,2003},{65,1465},{80,2006},{912,1214}
X(2362){3,1124}
X(2363){2292,2292}
X(2364){45,2099}
X(2365){2385,2385}
X(2366){2386,2386}
X(2367){2387,2387}
X(2368){2388,2388}
X(2369){2389,2389}
X(2370){2390,2390}
X(2371){2391,2391}
X(2372){2392,2392}
X(2373){2393,2393}
X(2378){530,530}
X(2379){531,531}
X(2380){532,532}
X(2381){533,533}
X(2382){537,537}
X(2383){539,539}
X(2384){545,545}
X(2385){2365,2365}
X(2386){2366,2366}
X(2387){2367,2367}
X(2388){2368,2368}
X(2389){2369,2369}
X(2390){3,519},{900,2968},{2370,2370}
X(2391){2371,2371}
X(2392){2372,2372}
X(2393){2,23},{3,524},{669,1648},{2373,2373}
X(2394){1636,3284},{2420,2420}
X(2395){511,3569},{684,3289},{2421,2421}
X(2396){2422,2422}
X(2397){1960,3063},{2423,2423}
X(2398){663,665},{2424,2424}
X(2399){2425,2425}
X(2400){2426,2426}
X(2401){2183,3310},{2427,2427}
X(2402){2428,2428}
X(2403){2429,2429}
X(2404){2430,2430}
X(2405){2431,2431}
X(2406){2432,2432}
X(2407){647,686},{2433,2433}
X(2408){2434,2434}
X(2409){520,684},{2435,2435}
X(2410){2436,2436}
X(2411){2437,2437}
X(2412){2438,2438}
X(2413){2439,2439}
X(2414){2440,2440}
X(2415){2441,2441}
X(2416){2442,2442}
X(2417){2443,2443}
X(2418){2444,2444}
X(2419){2445,2445}
X(2420){523,1637},{526,647},{2394,2394}
X(2421){512,2491},{523,804},{878,2422},{2395,2395},{3709,4155}
X(2422){230,804},{325,2799},{511,2491},{523,2023},{2396,2396}
X(2423){517,3310},{2397,2397}
X(2424){516,676},{2398,2398}
X(2425){2399,2399},{2804,3239}
X(2426){514,676},{522,918},{2400,2400}
X(2427){513,3310},{514,3960},{650,900},{2401,2401}
X(2428){2402,2402}
X(2429){2403,2403}
X(2430){2404,2404}
X(2431){2405,2405}
X(2432){2406,2406}
X(2433){30,1637},{526,3003},{647,974},{2407,2407}
X(2434){2408,2408}
X(2435){232,2881},{2409,2409}
X(2436){2410,2410}
X(2437){2411,2411}
X(2438){2412,2412}
X(2439){2413,2413}
X(2440){918,3693},{2414,2414}
X(2441){900,2325},{2415,2415}
X(2442){2416,2416}
X(2443){2417,2417}
X(2444){2418,2418}
X(2445){2419,2419},{2485,2881}
X(2446){1,1381}
X(2447){1,1382}
X(2448){2310,2590}
X(2449){2310,2591}
X(2450){184,511}
X(2451){2,647}
X(2475){1946,3269}
X(2481){55,2110},{2223,2223}
X(2482){6,111}
X(2483){1,2483},{9,3910}
X(2484){1,2484}
X(2485){6,525},{39,520},{523,3767},{2528,3051}
X(2486){58,692}
X(2488){100,664}
X(2489){3,3049},{6,3566},{69,525},{394,3265},{647,3917},{1332,4561},{3926,4143},{4001,4025},{4563,4563}
X(2491){6,804},{98,2422},{99,2421},{325,525},{645,874},{670,880}
X(2492){6,690},{524,525}
X(2493){6,542}
X(2501){3,647},{6,924},{343,525},{520,577},{906,1331},{3265,3933},{4558,4558}
X(2502){2,543}
X(2503){1,2503}
X(2509){1,2509},{6,905}
X(2511){1,2511}
X(2514){110,4576}
X(2515){1,2515}
X(2516){1,2516},{513,1743}
X(2522){1,2522}
X(2524){2,2451}
X(2526){1,2526}
X(2528){251,512},{827,4630}
X(2530){100,692},{650,2330}
X(2531){308,850},{689,4577}
X(2533){58,667},{512,2653}
X(2548){6,3796}
X(2550){3423,3423}
X(2551){56,1466}
X(2574){3,2574},{523,1312},{1113,1113}
X(2575){3,2575},{523,1313},{1114,1114}
X(2576){2578,2584},{2582,2582}
X(2577){2579,2585},{2583,2583}
X(2578){1,2578},{19,2588},{63,2582},{1822,2576},{2580,2580}
X(2579){1,2579},{19,2589},{63,2583},{1823,2577},{2581,2581}
X(2580){2578,2578}
X(2581){2579,2579}
X(2582){48,2578},{2576,2576}
X(2583){48,2579},{2577,2577}
X(2584){1,2588},{2586,2586}
X(2585){1,2589},{2587,2587}
X(2586){2584,2584}
X(2587){2585,2585}
X(2588){31,2578},{255,2584},{1822,1822}
X(2589){31,2579},{255,2585},{1823,1823}
X(2590){1,2590},{9,3307},{650,2447}
X(2591){1,2591},{9,3308},{650,2446}
X(2594){1,5},{11,3737},{3615,3615}
X(2596){2597,2597},{2601,2602}
X(2597){2596,2596}
X(2599){1,54}
X(2600){1,2600},{654,2594},{1983,4551}
X(2602){2595,2596},{2603,2603}
X(2603){2602,2602}
X(2605){1,523},{514,3946},{522,1125}
X(2607){2608,2608},{2612,2613}
X(2608){2607,2607}
X(2610){1,2610},{110,1983},{2245,2605},{3737,4282}
X(2611){1,110}
X(2613){2606,2607},{2614,2614}
X(2614){2613,2613}
X(2616){1087,2618},{2617,2617}
X(2617){661,810},{2616,2616}
X(2618){1,2616},{564,2618}
X(2620){2621,2621},{2625,2626}
X(2621){2620,2620}
X(2623){523,570}
X(2624){1,2624},{661,1725},{2290,2618}
X(2626){2619,2620},{2627,2627}
X(2627){2626,2626}
X(2630){1,2630}
X(2631){1,2631},{656,2173}
X(2632){1,162},{662,1760},{2586,2587}
X(2635){1,2635},{2637,2638}
X(2637){1,2637},{652,2635}
X(2638){1,653},{347,4566},{411,651}
X(2641){1,2641}
X(2642){1,2642},{661,896}
X(2643){1,662},{63,4575},{99,261},{110,593},{162,1748},{163,560},{326,4592},{849,4556},{1098,4612},{2185,4636},{4567,4570},{4585,4736}
X(2646){1,65}
X(2648){1758,1758}
X(2650){1,21}
X(2651){1758,2647},{2652,2652}
X(2652){2651,2651}
X(2654){1,73}
X(2655){410,2659},{851,2658},{2656,2656}
X(2656){2655,2655}
X(2658){1,29},{21,3562}
X(2659){2655,2662},{2660,2660}
X(2660){2659,2659}
X(2664){659,3248},{2238,2667},{2665,2665},{2668,2669}
X(2665){2664,2664}
X(2667){1,86},{81,1621}
X(2669){2107,2107},{2663,2664}
X(2671){2673,2673}
X(2672){2674,2674}
X(2673){2671,2671}
X(2674){2672,2672}
X(2679){98,99}
X(2687){2771,2771}
X(2688){2772,2772}
X(2689){2773,2773}
X(2690){2774,2774}
X(2691){2775,2775}
X(2692){2776,2776}
X(2693){2777,2777}
X(2694){2778,2778}
X(2695){2779,2779}
X(2696){2780,2780}
X(2697){2781,2781}
X(2698){2782,2782}
X(2699){2783,2783}
X(2700){2784,2784}
X(2701){2785,2785}
X(2702){2786,2786}
X(2703){2787,2787}
X(2704){2788,2788}
X(2705){2789,2789}
X(2706){2790,2790}
X(2707){2791,2791}
X(2708){2792,2792}
X(2709){2793,2793}
X(2710){2794,2794}
X(2711){2795,2795}
X(2712){2796,2796}
X(2713){2797,2797}
X(2714){2798,2798}
X(2715){684,3569},{2799,2799}
X(2716){2800,2800}
X(2717){2801,2801}
X(2718){2802,2802}
X(2719){2803,2803}
X(2720){2804,2804}
X(2721){2805,2805}
X(2722){2806,2806}
X(2723){2807,2807}
X(2724){2808,2808}
X(2725){2809,2809}
X(2726){2810,2810}
X(2727){2811,2811}
X(2728){2812,2812}
X(2729){2813,2813}
X(2730){2814,2814}
X(2731){2815,2815}
X(2732){2816,2816}
X(2733){2817,2817}
X(2734){2818,2818}
X(2735){2819,2819}
X(2736){2820,2820}
X(2737){2821,2821}
X(2738){2822,2822}
X(2739){2823,2823}
X(2740){2824,2824}
X(2741){2825,2825}
X(2742){2826,2826}
X(2743){2827,2827}
X(2744){2828,2828}
X(2745){2829,2829}
X(2746){2830,2830}
X(2747){2831,2831}
X(2748){2832,2832}
X(2749){2833,2833}
X(2750){2834,2834}
X(2751){2835,2835}
X(2752){2836,2836}
X(2753){2837,2837}
X(2754){2838,2838}
X(2755){2839,2839}
X(2756){2840,2840}
X(2757){2841,2841}
X(2758){2842,2842}
X(2759){2843,2843}
X(2760){2844,2844}
X(2761){2845,2845}
X(2762){2846,2846}
X(2763){2847,2847}
X(2764){2848,2848}
X(2765){2849,2849}
X(2766){2850,2850}
X(2767){2851,2851}
X(2768){2852,2852}
X(2769){2853,2853}
X(2770){2854,2854}
X(2771){2687,2687}
X(2772){2688,2688}
X(2773){2689,2689}
X(2774){2690,2690}
X(2775){2691,2691}
X(2776){2692,2692}
X(2777){2693,2693}
X(2778){3,2771},{2694,2694}
X(2779){2695,2695}
X(2780){2696,2696}
X(2781){3,542},{2697,2697}
X(2782){2698,2698}
X(2783){2699,2699}
X(2784){2700,2700}
X(2785){663,1951},{2701,2701}
X(2786){649,1914},{2702,2702}
X(2787){2703,2703}
X(2788){2704,2704}
X(2789){2705,2705}
X(2790){2706,2706}
X(2791){2707,2707}
X(2792){2708,2708}
X(2793){2709,2709}
X(2794){2710,2710}
X(2795){2711,2711}
X(2796){2712,2712}
X(2797){2713,2713}
X(2798){2714,2714}
X(2799){6,3569},{237,3049},{512,1692},{523,2450},{1976,2422},{2715,2715}
X(2800){55,2265},{2716,2716}
X(2801){55,2246},{2717,2717}
X(2802){2718,2718}
X(2803){2719,2719}
X(2804){663,1404},{2720,2720}
X(2805){2721,2721}
X(2806){2722,2722}
X(2807){2723,2723}
X(2808){2724,2724}
X(2809){2725,2725}
X(2810){2726,2726}
X(2811){2727,2727}
X(2812){2728,2728}
X(2813){2729,2729}
X(2814){2730,2730}
X(2815){2731,2731}
X(2816){2732,2732}
X(2817){2733,2733}
X(2818){3,952},{2734,2734}
X(2819){2735,2735}
X(2820){55,2254},{2736,2736}
X(2821){2737,2737}
X(2822){2738,2738}
X(2823){2739,2739}
X(2824){2740,2740}
X(2825){2741,2741}
X(2826){2742,2742}
X(2827){44,4162},{55,1635},{2743,2743}
X(2828){2744,2744}
X(2829){2745,2745}
X(2830){2746,2746}
X(2831){2747,2747}
X(2832){2748,2748}
X(2833){2749,2749}
X(2834){2750,2750}
X(2835){2751,2751}
X(2836){2752,2752}
X(2837){2753,2753}
X(2838){2754,2754}
X(2839){2755,2755}
X(2840){2756,2756}
X(2841){2757,2757}
X(2842){2758,2758}
X(2843){2759,2759}
X(2844){2760,2760}
X(2845){2761,2761}
X(2846){2762,2762}
X(2847){2763,2763}
X(2848){2764,2764}
X(2849){2182,3900},{2765,2765}
X(2850){2766,2766}
X(2851){2767,2767}
X(2852){2768,2768}
X(2853){2769,2769}
X(2854){2770,2770}
X(2855){2869,2869}
X(2856){2870,2870}
X(2857){2871,2871}
X(2858){2872,2872}
X(2859){2873,2873}
X(2860){2874,2874}
X(2861){2875,2875}
X(2862){2876,2876}
X(2863){2877,2877}
X(2864){2878,2878}
X(2865){2879,2879}
X(2866){2880,2880}
X(2867){2881,2881}
X(2868){2882,2882}
X(2869){2855,2855}
X(2870){2856,2856}
X(2871){2857,2857}
X(2872){2858,2858}
X(2873){2859,2859}
X(2874){2860,2860}
X(2875){2861,2861}
X(2876){2862,2862}
X(2877){2863,2863}
X(2878){2864,2864}
X(2879){2865,2865}
X(2880){2866,2866}
X(2881){525,1503},{2867,2867}
X(2882){2868,2868}
X(2886){6,2175},{3449,3449}
X(2887){6,560}
X(2888){3432,3432}
X(2895){667,3124},{3444,3444}
X(2900){1459,3020}
X(2911){905,1086}
X(2914){1263,3471}
X(2915){125,513}
X(2932){513,3259}
X(2933){124,513}
X(2937){125,1510}
X(2939){513,2632}
X(2947){513,2638}
X(2962){2964,2964}
X(2963){6,195},{49,2965},{1994,1994}
X(2964){2962,2962}
X(2965){6,2937},{2963,3519}
X(2966){3569,3569}
X(2967){125,879},{184,248}
X(2968){184,1415},{198,692}
X(2969){3,1331},{101,3190},{184,906},{692,2911},{1260,4587},{3690,4574}
X(2970){571,1576}
X(2971){69,4563},{110,193},{184,4558}
X(2972){4,107},{20,110},{112,184}
X(2975){512,2170}
X(2978){2,784}
X(2979){115,669},{2980,2980}
X(2980){2979,2979}
X(2981){396,396}
X(2982){1,2954}
X(2983){1104,2264}
X(2986){3003,3003}
X(2987){230,230}
X(2991){3290,3290}
X(2992){3129,3129}
X(2993){3130,3130}
X(2994){2178,2178}
X(2995){3185,3185}
X(2996){3053,3053}
X(2997){2352,2352}
X(2998){6,3360},{1613,1613}
X(2999){9,1449},{2297,2297},{2484,3248}
X(3000){1,3000}
X(3002){6,851}
X(3003){2,323},{6,30},{2986,2986}
X(3004){6,2483},{692,4557}
X(3005){2,826},{99,110},{512,1194},{523,3589},{1176,4580},{4577,4577}
X(3007){184,902},{1960,3270}
X(3008){6,672}
X(3009){1,239},{2,726},{3226,3226}
X(3011){6,674}
X(3013){1,3013}
X(3020){9,644},{41,3939},{100,3870},{101,1743},{728,4578},{3692,4587},{3699,3996}
X(3022){7,658},{55,651},{100,144},{279,934},{348,664},{479,4626}
X(3027){55,2311}
X(3028){55,2341}
X(3035){6,3271}
X(3039){6,1357}
X(3049){2,850},{4,2489},{76,3267},{99,648},{343,3265},{427,2501},{647,1899}
X(3050){39,523},{216,525}
X(3051){2,76},{83,1799},{308,308}
X(3052){1,3928},{2,3621},{514,3756},{522,1086},{4373,4373}
X(3053){115,525},{2996,2996}
X(3054){6,576}
X(3055){6,575}
X(3056){1,1423},{55,4383},{226,1402}
X(3057){1,56},{55,1743},{1476,1476}
X(3058){55,4253}
X(3059){56,269},{57,1617}
X(3061){6,1403},{41,3915}
X(3062){55,1615},{165,165}
X(3063){2,693},{7,3669},{8,4130},{37,2533},{75,4391},{190,664},{226,3676},{349,3261},{497,650},{513,2275},{514,3663},{1228,3267},{3239,4847},{4554,4554}
X(3064){3,652},{48,1459},{905,1214},{1813,1813}
X(3065){484,484}
X(3068){6,1151},{493,493}
X(3069){6,1152},{494,494}
X(3070){3,371}
X(3071){3,372}
X(3086){42,3990},{1124,1335}
X(3094){32,182},{3407,3407}
X(3095){3406,3406}
X(3100){65,1456},{665,3270},{1409,2223}
X(3108){3589,3589}
X(3112){1964,1964}
X(3113){3116,3116}
X(3114){3117,3117}
X(3115){3118,3118}
X(3116){3113,3113}
X(3117){6,183},{3114,3114}
X(3118){251,308},{3115,3115}
X(3119){41,109},{57,934},{77,651},{101,165},{269,1461},{738,4617}
X(3120){21,100},{42,101},{58,110},{163,2206},{283,4575},{306,4568},{692,1333},{1110,1252},{1331,3682},{4570,4570}
X(3121){6,4436},{37,4553},{81,99},{86,190},{100,213},{274,799},{314,645},{321,668},{4601,4601}
X(3122){1,3882},{2,4427},{10,190},{58,662},{81,100},{86,99},{101,1918},{306,1331},{314,668},{332,4592},{333,643},{645,1043},{765,1016},{1332,1792},{2329,3939},{4600,4600}
X(3123){1,3888},{31,100},{87,932},{101,2209}
X(3124){2,99},{6,1634},{32,110},{69,4558},{261,4612},{317,648},{662,757},{1509,4610},{3926,4563},{4567,4600},{4590,4590}
X(3125){37,100},{58,101},{72,906},{81,662},{110,1333},{190,333},{643,2287},{644,4420},{692,2205},{765,1252},{1331,2327},{1332,3998},{1812,4558},{4567,4567}
X(3126){6,884},{105,513},{692,919}
X(3129){2992,2992}
X(3130){2993,2993}
X(3134){184,2420}
X(3135){338,924}
X(3136){58,184}
X(3142){184,284}
X(3145){125,522}
X(3146){1151,1152},{3532,3532}
X(3151){649,3269}
X(3152){663,3269}
X(3157){1,90}
X(3158){513,3020}
X(3160){663,3022}
X(3161){6,3445},{649,1357}
X(3163){6,74}
X(3164){1988,1988}
X(3167){2,2996}
X(3172){2,253}
X(3174){663,3020}
X(3182){3347,3347}
X(3183){3348,3348}
X(3185){123,525},{513,4858},{2995,2995}
X(3186){3504,3504}
X(3187){647,1015}
X(3189){1357,1459}
X(3190){1086,1459}
X(3193){647,4516}
X(3195){2,280},{905,2968}
X(3196){650,3025}
X(3197){650,3318}
X(3198){64,2184}
X(3199){69,394}
X(3200){13,18}
X(3201){14,17}
X(3202){1676,1677}
X(3205){3391,3392}
X(3206){3366,3367}
X(3207){514,1146},{918,1566}
X(3210){663,1977}
X(3211){650,2969}
X(3212){9,2319},{2053,2053}
X(3216){661,3248}
X(3217){514,3020}
X(3218){37,44},{649,2087},{1635,2170},{2161,2161}
X(3219){649,3125},{1652,1653},{2160,2160}
X(3220){8,4645},{10,516},{71,2340},{3912,4416}
X(3221){2,669},{3222,3222}
X(3222){3221,3221}
X(3223){1740,1740}
X(3224){194,194}
X(3225){3229,3229}
X(3226){3009,3009}
X(3227){1646,3768},{3230,3230}
X(3228){3231,3231}
X(3229){2,698},{6,385},{192,2238},{523,2086},{3225,3225}
X(3230){2,536},{513,1646},{891,1015},{3227,3227}
X(3231){2,538},{512,1645},{888,1084},{3228,3228}
X(3233){512,2433}
X(3234){649,2424}
X(3239){6,1459},{56,649},{513,2262},{1427,3669},{1461,1461}
X(3241){1015,4775}
X(3247){6,3303}
X(3248){1,190},{2,3952},{75,668},{312,3699},{341,646},{872,1018},{1016,4076},{1089,4033},{2176,4557},{3718,4561},{4069,4095}
X(3250){2,824},{4586,4586}
X(3251){1,1022},{88,513},{100,3257},{4618,4618}
X(3252){239,4366}
X(3254){2078,2078}
X(3255){3256,3256}
X(3256){3255,3255}
X(3257){1635,1635}
X(3258){74,110}
X(3259){100,104}
X(3261){32,1919},{213,3063},{1980,2205}
X(3262){2175,2251}
X(3263){31,2210}
X(3265){6,2485},{25,512},{1974,2489}
X(3267){32,3049},{512,1843},{669,1501},{2489,3199}
X(3268){512,1495}
X(3269){2,648},{3,1625},{4,112},{6,1624},{99,315},{107,393},{110,577},{162,2326},{2479,2480},{3163,4240}
X(3270){1,1020},{2,1897},{3,651},{4,653},{7,934},{100,329},{108,278},{1813,3561}
X(3271){2,100},{7,664},{8,190},{12,4552},{56,651},{57,4551},{345,3699},{480,644},{765,4564},{1259,1332},{2295,4557},{3952,3969}
X(3273){1135,3274},{3604,3604}
X(3274){358,3275},{3602,3602}
X(3275){1137,3273},{3603,3603}
X(3276){3606,3606}
X(3277){3607,3607}
X(3284){2,3580},{4,1990},{6,186},{125,1637},{281,860},{470,471}
X(3285){10,3943},{37,758},{3120,4120},{4080,4080}
X(3286){10,740},{115,4155}
X(3287){1,3287},{650,3666}
X(3288){512,3117},{523,3815}
X(3289){4,232}
X(3290){1,3684},{6,518},{2991,2991}
X(3291){6,524},{525,1648}
X(3292){4,468}
X(3295){1,3338},{11,4802},{3296,3296}
X(3296){3295,3295}
X(3299){3300,3300}
X(3300){3299,3299}
X(3301){3302,3302}
X(3302){3301,3301}
X(3303){1,3333}
X(3304){1,1697}
X(3305){2170,4813}
X(3306){2170,4893}
X(3307){55,2590},{513,2447},{1381,1381}
X(3308){55,2591},{513,2446},{1382,1382}
X(3309){1,4905},{55,513},{649,2293},{650,4319},{1292,1292}
X(3310){2,3904},{6,900},{100,2427},{104,2423},{190,4585},{519,3239},{525,3936},{651,2406}
X(3311){3316,3316}
X(3312){3317,3317}
X(3313){66,2353}
X(3315){678,2087}
X(3316){3311,3311}
X(3317){3312,3312}
X(3321){55,4845}
X(3328){101,4845}
X(3330){1,3330}
X(3333){55,2256}
X(3336){3467,3467}
X(3341){3342,3342}
X(3342){3341,3341}
X(3343){3344,3344}
X(3344){3343,3343}
X(3345){1490,1490}
X(3346){1498,1498}
X(3347){3182,3182}
X(3348){3183,3183}
X(3349){3350,3350}
X(3350){3349,3349}
X(3351){3352,3352}
X(3352){3351,3351}
X(3353){3354,3354}
X(3354){3353,3353}
X(3355){3637,3637}
X(3361){4866,4866}
X(3362){1745,1745}
X(3364){3366,3366}
X(3365){3367,3367}
X(3366){3364,3364}
X(3367){3365,3365}
X(3368){3370,3370}
X(3369){1140,1140},{3393,3394}
X(3370){3368,3368}
X(3371){3373,3373}
X(3372){3374,3374}
X(3373){3371,3371}
X(3374){3372,3372}
X(3375){3376,3376}
X(3376){3375,3375}
X(3377){3378,3378}
X(3378){3377,3377}
X(3379){3381,3381}
X(3380){3368,3369},{3382,3382}
X(3381){3379,3379}
X(3382){3380,3380}
X(3383){3384,3384}
X(3384){3383,3383}
X(3385){3387,3387}
X(3386){3388,3388}
X(3387){3385,3385}
X(3388){3386,3386}
X(3389){3391,3391}
X(3390){3392,3392}
X(3391){3389,3389}
X(3392){3390,3390}
X(3394){3395,3396}
X(3395){3397,3397}
X(3396){1139,1139},{3379,3380}
X(3397){3395,3395}
X(3398){3102,3103},{3399,3399}
X(3399){3398,3398}
X(3400){3401,3401}
X(3401){3400,3400}
X(3402){3403,3403}
X(3403){3402,3402}
X(3404){1755,1959},{3405,3405}
X(3405){38,2236},{3404,3404}
X(3406){3095,3095}
X(3407){3094,3094}
X(3408){3409,3409}
X(3409){3408,3408}
X(3413){512,2029},{1379,1379}
X(3414){512,2028},{1380,1380}
X(3415){3416,3416}
X(3416){3415,3415}
X(3417){355,355}
X(3418){3419,3419}
X(3419){3418,3418}
X(3420){3421,3421}
X(3421){3420,3420}
X(3422){1478,1478}
X(3423){2550,2550}
X(3424){1350,1350}
X(3425){1352,1352}
X(3426){376,376}
X(3427){3428,3428}
X(3428){3427,3427}
X(3429){3430,3430}
X(3430){3429,3429}
X(3431){381,381}
X(3432){195,2917},{2888,2888}
X(3433){3434,3434}
X(3434){3433,3433}
X(3435){3436,3436}
X(3436){3435,3435}
X(3437){1330,1330},{1654,3151}
X(3438){616,628},{621,621}
X(3439){617,627},{622,622}
X(3440){616,616}
X(3441){617,617}
X(3442){633,633}
X(3443){634,634}
X(3444){2895,2895}
X(3445){1,2136},{145,145},{1743,3158},{3667,3756},{3950,4849},{4162,4534},{4404,4939},{4521,4953}
X(3446){149,149}
X(3447){3448,3448}
X(3448){3447,3447}
X(3449){2886,2886}
X(3450){1329,1329}
X(3451){3452,3452}
X(3452){6,604},{41,3052},{3451,3451}
X(3453){3454,3454}
X(3454){6,2206},{2194,2220},{3453,3453}
X(3455){316,316},{524,858}
X(3456){69,1369}
X(3457){2,616},{298,298}
X(3458){2,617},{299,299}
X(3459){195,195}
X(3460){3461,3461}
X(3461){3460,3460}
X(3462){3463,3463}
X(3463){3462,3462}
X(3465){654,2638},{3466,3466}
X(3466){3465,3465}
X(3467){3336,3336}
X(3468){3469,3469}
X(3469){3468,3468}
X(3470){3471,3471}
X(3471){3470,3470}
X(3472){3473,3473}
X(3473){3472,3472}
X(3474){652,3022}
X(3475){3477,3477}
X(3476){3478,3478}
X(3477){3475,3475}
X(3478){3476,3476}
X(3479){1337,1337}
X(3480){1338,1338}
X(3481){3482,3482}
X(3482){3481,3481}
X(3489){627,627}
X(3490){628,628}
X(3494){3502,3502}
X(3495){3503,3503}
X(3496){3497,3497}
X(3497){3496,3496}
X(3500){3501,3501}
X(3501){649,3123},{3500,3500}
X(3502){3494,3494}
X(3503){3495,3495}
X(3504){3186,3186}
X(3507){659,3123}
X(3509){659,2170},{2238,2292},{3512,3512}
X(3511){523,2679}
X(3512){846,1282},{3509,3509}
X(3518){633,634},{3519,3519}
X(3519){3518,3518}
X(3520){3521,3521}
X(3521){3520,3520}
X(3524){3531,3531}
X(3525){3311,3312}
X(3527){631,631}
X(3531){3524,3524}
X(3532){3146,3146}
X(3550){513,3123},{3551,3551}
X(3551){3550,3550}
X(3554){1,2324},{37,3682},{3083,3084}
X(3556){123,522},{513,2968}
X(3561){2310,2501}
X(3562){647,2310}
X(3563){3564,3564}
X(3564){25,232},{3563,3563}
X(3565){512,2519},{3566,3566}
X(3566){3,512},{523,1368},{3565,3565}
X(3567){3,1656}
X(3569){2,2799},{98,2395},{112,2409},{230,523},{248,879},{441,525},{511,647},{2966,2966}
X(3570){659,4367},{3572,3572}
X(3572){239,812},{659,2238},{2786,3912},{3570,3570},{3684,3716},{3685,4148}
X(3573){512,665},{523,3837},{661,4155},{764,3675},{812,4369},{876,876}
X(3574){3,54}
X(3576){1,2093},{2310,4893},{3577,3577}
X(3577){3576,3576}
X(3580){6,50},{32,1495},{647,2088}
X(3583){35,36}
X(3589){6,39},{1015,2483},{3108,3108}
X(3590){3592,3592}
X(3591){3594,3594}
X(3592){3590,3590}
X(3594){3591,3591}
X(3596){1397,1397},{1977,1980}
X(3601){1,3339}
X(3602){3274,3274}
X(3603){3275,3275}
X(3604){3273,3273}
X(3605){356,356},{1507,1508}
X(3606){3276,3276}
X(3607){3277,3277}
X(3611){21,27}
X(3615){1,1048},{2594,2594}
X(3616){958,3913},{1015,4834},{2334,2334}
X(3618){1015,2484}
X(3620){3124,3804}
X(3634){6,2308}
X(3637){3355,3355}
X(3649){21,3871},{55,284}
X(3657){3658,3658}
X(3658){3657,3657}
X(3662){41,2209},{42,2205}
X(3663){31,55}
X(3664){42,55}
X(3665){55,2175}
X(3666){1,171},{6,37},{55,213},{2298,2298}
X(3667){55,649},{513,3057},{1293,1293}
X(3668){31,154},{55,212},{220,1253},{2328,2328}
X(3669){1,3309},{6,4394},{9,650},{55,3063},{200,4130},{220,3900},{521,1040},{522,4847},{644,644},{663,1334},{1018,4574},{2321,3239},{4162,4936}
X(3670){31,37}
X(3671){55,2268}
X(3673){31,1253},{228,1918}
X(3674){41,1334},{55,2330}
X(3675){55,2284},{100,518},{692,1914}
X(3676){55,663},{210,3900},{220,4105},{650,1212},{657,1253},{3939,3939}
X(3677){55,1191}
X(3678){56,1393},{244,3733}
X(3679){2163,2163}
X(3680){56,1616},{1420,1420}
X(3681){244,667},{2170,2520}
X(3682){1,1714},{34,1118},{393,1096}
X(3683){1,4641},{56,2003},{57,65}
X(3684){1400,1458}
X(3685){65,1463}
X(3686){56,1400},{604,1399}
X(3687){604,1400}
X(3688){2,3891},{7,56},{1086,4367}
X(3689){57,1319}
X(3690){27,28},{1086,3733}
X(3691){57,1400}
X(3692){608,1398},{1435,1435}
X(3693){6,1279},{57,1429},{1416,1438},{1462,1462}
X(3694){19,4186},{34,608},{1396,1396},{1407,1435}
X(3695){1474,2203},{3733,3937}
X(3700){6,2605},{57,1019},{109,1415},{905,3666},{1333,3733},{4565,4565}
X(3701){604,1397},{1408,1408}
X(3702){604,1402}
X(3703){56,1397}
X(3704){56,1408},{1333,1397}
X(3706){56,1402}
X(3707){56,1405}
X(3708){1,163},{19,162},{63,662},{1822,2577},{1823,2576},{2185,4556},{2580,2581},{4100,4575}
X(3709){2,4467},{6,4367},{86,4560},{514,3664},{553,3676},{651,664},{662,1414},{4573,4573}
X(3710){608,1395},{1106,1398}
X(3715){57,3361}
X(3716){1911,3572}
X(3717){56,1428},{1416,1416}
X(3718){1395,1395}
X(3720){1,42},{9,4097}
X(3721){1,32}
X(3722){1,244}
X(3723){1,1100},{6,3746}
X(3724){2,758},{81,1325},{3738,4858}
X(3725){1,333},{75,86},{81,2975}
X(3726){1,1914}
X(3727){1,172}
X(3728){31,81}
X(3730){649,1086}
X(3731){6,3304},{244,4790}
X(3732){647,798},{649,657}
X(3733){10,523},{37,512},{210,3700},{513,1125},{514,3739},{522,960},{661,756},{1018,4069},{1089,4086},{3709,4531},{3952,3952},{4075,4132},{4557,4574}
X(3735){1,609}
X(3736){10,3993}
X(3737){12,523},{37,4041},{42,661},{65,4017},{73,656},{513,1193},{647,3611},{663,2264},{4551,4551},{4557,4559}
X(3738){513,1319},{661,3724},{663,2183},{2222,2222}
X(3739){6,213}
X(3741){6,1918},{31,172},{42,2176}
X(3742){2329,3158}
X(3743){6,1962},{81,1963}
X(3744){1,982}
X(3745){1,3666}
X(3746){1,3337}
X(3747){2,740},{244,812},{291,335}
X(3748){1,354}
X(3749){244,4449}
X(3751){244,4724}
X(3752){1,1376},{6,9},{220,3158}
X(3756){6,3939},{101,3052},{1293,3445}
X(3759){1015,3709}
X(3762){649,2183},{667,2251},{798,3724}
X(3766){39,665},{667,2223},{875,1911}
X(3767){6,394},{3051,3313}
X(3768){1,3768},{649,899},{4607,4607}
X(3770){667,1084}
X(3772){6,219}
X(3777){513,4906}
X(3778){2,31}
X(3780){1015,4040}
X(3782){32,55}
X(3783){238,4649}
X(3798){71,4079}
X(3799){513,4782}
X(3800){6,3804},{907,907}
X(3803){513,612}
X(3804){2,3800},{523,3763}
X(3811){244,1459}
X(3815){6,182}
X(3821){31,2276}
X(3822){2194,4273}
X(3827){1,3220},{3,518}
X(3834){6,2251}
X(3835){6,1919},{100,932},{649,2275}
X(3836){6,2210}
X(3840){6,2209}
X(3852){3,732},{339,804}
X(3868){647,3271},{1946,2170},{2218,2218}
X(3869){667,2170},{2217,2217}
X(3870){244,663},{1015,2488},{2191,2191}
X(3871){1357,4017}
X(3875){663,3248}
X(3877){56,2099}
X(3879){663,3122}
X(3880){56,1319}
X(3882){513,4367},{649,661},{663,798}
X(3883){56,1469}
X(3885){56,1388}
X(3887){513,1155},{1308,1308}
X(3888){661,669}
X(3893){56,1420}
X(3900){1,905},{56,3669},{57,513},{109,1461},{514,946},{663,1475},{934,934},{3668,3676}
X(3903){4367,4367}
X(3904){649,1404}
X(3907){663,1193}
X(3909){661,667}
X(3910){1415,4559}
X(3911){6,2183},{41,2361},{2316,2316}
X(3912){6,1914},{1438,1438}
X(3913){513,1357}
X(3914){3,31},{58,2328}
X(3915){244,522},{523,3756}
X(3916){19,1824}
X(3917){4,25}
X(3924){1,78}
X(3925){58,2194}
X(3926){6,1611},{2207,2207},{2489,3124}
X(3928){2170,4394}
X(3929){2170,4790}
X(3930){105,1438}
X(3931){6,968}
X(3933){25,1974}
X(3934){6,3051},{32,3203}
X(3936){6,3285}
X(3937){2,3732},{4,1897},{8,100},{25,1783},{200,1018},{594,4557},{644,1260},{3695,3952}
X(3938){1,614}
X(3939){57,1421},{513,3669},{514,3667},{3676,3676}
X(3941){2,4661},{523,4904},{3900,4858}
X(3942){1,1633},{9,101},{19,1783},{100,3681},{220,4557},{1018,3949},{1802,3939}
X(3943){58,3285}
X(3944){48,2209}
X(3945){1,4335}
X(3946){6,1334}
X(3948){1911,1922}
X(3949){19,4222},{28,1474},{1019,3942},{1396,1412}
X(3952){649,667},{3733,3733}
X(3954){81,1333},{82,251},{595,4251}
X(3958){1,1778},{19,28}
X(3959){3,2176},{9,3550}
X(3960){6,1635},{44,650},{1018,1023}
X(3961){244,4367}
X(3963){31,3051}
X(3965){1407,1427}
X(3966){56,1460}
X(3973){244,4394}
X(3978){39,3229},{1084,2491},{1691,1915}
X(3981){2,3552},{3,1613}
X(3987){31,4268}
X(3989){1,2308}
X(3990){1,1713},{158,393}
X(3998){1096,2207}
X(3999){55,3230}
X(4000){6,220},{9,3501},{71,213}
X(4001){25,2333}
X(4010){667,1914},{3286,3733}
X(4014){55,100}
X(4016){1,1333},{284,595}
X(4017){9,4041},{21,3737},{100,1331},{643,643},{644,3939},{650,3683},{663,2269},{1021,2328}
X(4020){19,92}
X(4021){55,2308}
X(4022){1,1918}
X(4024){58,649},{110,163},{1790,4091},{4556,4556}
X(4025){31,663},{37,2509},{1918,4079}
X(4026){58,3736}
X(4027){882,3124}
X(4028){1459,3122}
X(4030){56,1401}
X(4033){667,1919}
X(4036){163,1576},{667,1333}
X(4037){58,1914}
X(4039){694,1967}
X(4040){42,513},{649,1964},{650,2293},{661,2667}
X(4041){57,4017},{58,1019},{81,3737},{109,651},{110,4565},{1414,1414},{4025,4357},{4091,4303}
X(4046){56,1412}
X(4047){19,4185}
X(4051){56,2176},{1743,3550}
X(4055){158,2052}
X(4056){55,1631}
X(4057){10,513},{121,900},{141,514},{512,1213},{522,1329},{523,3454},{2885,3667}
X(4062){111,923}
X(4063){37,649},{38,513},{661,4016},{798,1962}
X(4064){58,1459},{649,2206}
X(4069){513,4498}
X(4071){1193,1914}
X(4076){1357,1357}
X(4079){58,1919},{86,514},{99,662},{1790,4025},{4610,4610}
X(4080){902,2251},{3285,3285}
X(4081){56,1461},{109,222},{692,3207},{1415,2175}
X(4082){1106,1407}
X(4083){1,667},{190,4598},{513,982},{932,932}
X(4086){56,3733},{1193,1459},{1393,4017}
X(4088){649,2210}
X(4089){692,902}
X(4091){19,3064},{33,657},{649,3554},{650,2262},{1826,4024}
X(4092){56,4565},{60,4556},{757,1414}
X(4103){649,4057}
X(4105){57,663},{279,3676},{513,1418},{514,1699},{934,4617},{4626,4626}
X(4106){55,667},{982,4905}
X(4108){373,512}
X(4111){56,1014}
X(4115){649,3733},{1019,4063}
X(4116){1,3761}
X(4117){1,799},{561,4602}
X(4118){1,560}
X(4120){36,649},{3285,3733},{4591,4591}
X(4124){56,2283},{101,2223},{109,1428}
X(4128){1,99},{1178,4603},{3570,4154}
X(4129){1919,2308}
X(4130){56,3063},{269,3669},{4617,4617}
X(4131){1824,4705}
X(4132){1,3733},{513,3670},{523,4187},{667,1100}
X(4137){1,2206}
X(4139){21,3733},{523,4193}
X(4142){652,2330}
X(4143){2207,2489}
X(4151){31,3733}
X(4154){3572,4128}
X(4155){662,3573}
X(4161){1,1909}
X(4162){1,3669},{650,4907},{3663,3676}
X(4169){649,4491}
X(4170){55,3733},{3670,4905}
X(4171){934,1461},{1014,1019},{4637,4637}
X(4173){25,264}
X(4183){1439,1439}
X(4184){512,3120}
X(4186){521,3937}
X(4187){184,2220}
X(4192){3270,3287}
X(4202){31,2273}
X(4205){58,386}
X(4219){656,3270}
X(4222){656,3937}
X(4226){512,3569}
X(4230){879,879}
X(4251){661,1086}
X(4253){6,4191},{11,657}
X(4261){6,405}
X(4263){2,940},{6,4189}
X(4267){12,65},{37,181},{226,4032}
X(4272){1,1213}
X(4273){10,4029},{37,3753}
X(4274){2,1150},{6,4216},{8,45}
X(4282){11,2600},{1109,2610},{2245,2594}
X(4286){6,4245}
X(4288){1826,1869}
X(4292){42,198},{55,71},{212,2174}
X(4295){3,3295}
X(4298){55,2269}
X(4300){1,4292}
X(4303){1,1770},{10,3811},{19,42},{33,1826}
X(4319){1,269},{222,1617},{1042,1439}
X(4320){1191,3556}
X(4322){1,962}
X(4329){667,3270}
X(4336){1,77}
X(4343){1,3664}
X(4350){2310,4105}
X(4357){6,172},{31,42},{41,1918}
X(4358){31,2251},{1015,3310}
X(4359){31,213}
X(4360){512,3248}
X(4364){6,2242}
X(4366){1015,3572}
X(4367){1,512},{9,4477},{513,3742},{522,3741},{523,2886},{960,3900},{3903,3903}
X(4368){42,292}
X(4369){6,798},{650,1107},{657,2269}
X(4370){6,106},{2226,2226}
X(4373){3052,3052}
X(4374){31,669},{663,2309}
X(4375){292,649},{3252,3572}
X(4380){649,1334}
X(4382){649,4253}
X(4383){650,1015}
X(4384){2279,2279}
X(4385){1472,1472}
X(4389){31,2177}
X(4391){31,3063},{32,667},{41,1946},{647,2092},{649,1400},{1415,1415}
X(4393){1015,3250}
X(4394){1,4394},{9,513},{514,3452},{650,2098}
X(4397){604,667}
X(4401){210,513}
X(4408){667,3941}
X(4415){284,1333}
X(4417){1919,3271}
X(4421){513,4014}
X(4422){6,1015}
X(4423){1015,4507}
X(4424){31,2278},{58,4653}
X(4425){42,172},{1918,2174}
X(4427){512,649},{513,4132}
X(4433){57,1284}
X(4435){1,665},{241,3669},{292,876},{2283,4559}
X(4436){512,513}
X(4442){31,187}
X(4443){31,750}
X(4444){2238,4435}
X(4446){31,748}
X(4447){659,3271}
X(4449){1,663}
X(4453){31,1960},{663,902}
X(4455){10,2786},{239,513},{660,4562},{4589,4589}
X(4456){66,2156},{649,4466}
X(4458){663,1914}
X(4459){101,2330},{109,1402}
X(4462){41,667},{649,2347}
X(4463){2156,2353}
X(4466){71,101},{110,4184},{112,1474},{163,284},{1172,1783}
X(4467){31,512},{663,2308}
X(4468){41,649}
X(4475){100,984},{985,1492}
X(4477){57,4367}
X(4491){10,900},{513,519},{514,3834}
X(4498){1,4401},{9,649},{37,4394}
X(4511){65,1319},{1411,1411},{3271,3310}
X(4512){57,3340}
X(4513){1015,3669},{1743,3749}
X(4515){269,1407}
X(4516){21,662},{59,4564},{65,651},{81,110},{86,664},{100,3219},{109,1412},{172,692},{283,1813},{643,1812},{653,3559},{1014,1414},{1408,4565}
X(4517){57,4334}
X(4518){1428,1428}
X(4520){1743,3750}
X(4521){101,1293},{3669,3752}
X(4524){658,934},{1414,4637},{4616,4616}
X(4530){36,101},{109,1404},{901,2316}
X(4531){56,85}
X(4534){56,101}
X(4542){1318,4638}
X(4551){513,1459},{650,663},{3737,3737}
X(4552){663,3063}
X(4553){513,667}
X(4554){798,3049},{3063,3063}
X(4555){1960,1960}
X(4556){4024,4024}
X(4557){513,514},{523,4129},{1019,3737}
X(4558){6,2079},{512,2489},{523,3566},{2501,2501}
X(4559){514,905},{522,650},{1021,3737},{4560,4560}
X(4560){42,3709},{213,512},{647,1409},{649,2300},{661,2171},{4559,4559}
X(4563){647,2519},{2489,2489}
X(4564){1,1053},{2170,2170}
X(4565){3700,3700},{4041,4171}
X(4566){663,1946}
X(4567){2643,3124},{3125,3125}
X(4568){649,1919}
X(4570){115,2643},{3120,3120},{3125,4516}
X(4571){764,1357}
X(4573){3709,3709}
X(4576){512,669}
X(4577){3005,3005}
X(4578){764,3020}
X(4579){661,3005}
X(4580){3005,3051}
X(4585){661,1635}
X(4586){3250,3250}
X(4588){4770,4931},{4777,4777},{4814,4893}
X(4589){4455,4455}
X(4590){3124,3124}
X(4591){4120,4120}
X(4593){2084,2084}
X(4595){1015,3249}
X(4597){4775,4775}
X(4598){798,3221}
X(4600){3122,3122}
X(4601){3121,3121}
X(4602){1924,1924}
X(4604){4893,4893}
X(4606){4790,4790},{4822,4832}
X(4607){3768,3768}
X(4610){4079,4079}
X(4613){788,3250}
X(4614){4822,4822}
X(4616){4524,4524}
X(4617){4130,4130}
X(4618){3251,3251}
X(4622){4730,4730}
X(4626){4105,4105}
X(4627){4841,4841}
X(4630){826,2525}
X(4633){4832,4832}
X(4637){4171,4171}
X(4640){1,4650},{513,4516}
X(4641){650,3125}
X(4642){1,404},{21,58},{31,572}
X(4645){2092,3747}
X(4646){1,474},{6,4512}
X(4647){31,1333},{58,595}
X(4648){6,4258}
X(4649){3122,3250}
X(4654){55,4258}
X(4656){31,4258}
X(4673){1468,3915}
X(4674){44,902}
X(4687){1015,4832}
X(4705){81,513},{110,662},{905,1437},{1333,1980},{1444,4131},{4556,4636}
X(4712){31,1438},{244,1027}
X(4723){1417,1417}
X(4724){1,4724},{649,869}
X(4729){21,1019}
X(4730){513,3218},{901,3257},{4622,4622}
X(4749){1,4643}
X(4762){984,1734}
X(4763){6,3768},{899,4449}
X(4765){649,1191}
X(4770){81,4833},{4588,4604}
X(4775){2,4777},{513,4850},{514,551},{4597,4597}
X(4777){6,4775},{4588,4588}
X(4781){649,4775}
X(4782){1,4782},{513,984}
X(4784){1,4784},{512,2276},{523,3826},{659,3802},{3739,4762}
X(4785){649,2276}
X(4790){1,4790},{650,1697},{4606,4606}
X(4802){6,4834}
X(4806){3733,3736}
X(4813){1,4813},{386,649}
X(4817){788,3774},{2276,3250}
X(4822){1019,4658},{4614,4614}
X(4825){89,513}
X(4826){86,4960}
X(4832){4633,4633}
X(4833){37,4770},{523,3822}
X(4834){2,4802}
X(4840){523,3841}
X(4841){4627,4627}
X(4845){1323,1323}
X(4846){378,378}
X(4847){31,56}
X(4850){6,45}
X(4853){56,1191}
X(4854){55,58}
X(4858){6,4559},{41,692},{101,572},{604,1415},{2149,2149}
X(4862){55,3052}
X(4863){56,1617}
X(4864){1,1279}
X(4866){3361,3361}
X(4874){6,788}
X(4875){56,213},{171,1743}
X(4876){1428,1914},{1429,1429}
X(4878){277,2191}
X(4879){1,4367},{512,2275},{523,3816}
X(4883){1,3750}
X(4885){6,3063}
X(4887){55,902}
X(4890){55,81}
X(4892){6,922}
X(4893){1,4893},{649,995},{4604,4604}
X(4895){1,3960},{106,1022},{1319,3669}
X(4896){55,2177}
X(4897){55,512}
X(4904){101,4253}
X(4905){650,1253}
X(4906){3061,3158}
X(4907){55,1407},{1419,1420}
X(4920){55,560}
X(4927){55,1960}
X(4934){55,110}
X(4939){604,692}
X(4941){55,2162}
X(4947){55,1979}
X(4953){109,1407}
X(4957){101,2278}
X(4960){42,4826}
X(4962){649,3052}
X(4965){56,4557}
To ETC

Compiled by Peter J C Moses.