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

 Centre  Zayin Conjugates
X(1){1,1},{6,1743},{9,3973},{31,1707},{33,1750},{37,9},{38,63},{42,43},{44,44},{48,610},{55,165},{65,46},{73,1745},{221,2956},{244,1054},{354,57},{367,364},{513,513},{517,484},{518,1757},{649,649},{650,650},{652,652},{654,654},{656,656},{657,657},{659,659},{661,661},{663,4040},{672,672},{770,770},{774,920},{798,798},{822,822},{851,851},{896,896},{899,899},{910,910},{942,3336},{1042,1044},{1100,6},{1104,1724},{1108,1723},{1155,1155},{1193,3216},{1201,978},{1279,238},{1284,1756},{1319,36},{1491,1491},{1575,1575},{1635,1635},{1725,1749},{1755,1755},{1953,19},{1962,846},{1964,1740},{2099,2093},{2173,2173},{2182,2182},{2183,2183},{2225,2225},{2227,2227},{2228,2228},{2229,2229},{2230,2230},{2231,2231},{2232,2232},{2233,2233},{2234,2234},{2235,2235},{2236,2236},{2237,2237},{2238,2238},{2239,2239},{2240,2240},{2243,2243},{2244,2244},{2245,2245},{2246,2246},{2247,2247},{2252,2252},{2253,2253},{2254,2254},{2260,579},{2262,2270},{2265,2265},{2269,573},{2272,2272},{2290,2290},{2292,191},{2293,1742},{2294,1781},{2312,2312},{2313,2313},{2314,2314},{2315,2315},{2317,2261},{2348,2348},{2446,2449},{2447,2448},{2483,2483},{2484,2484},{2503,2503},{2509,2509},{2511,2511},{2515,2515},{2516,2516},{2522,2522},{2526,2526},{2578,2578},{2579,2579},{2590,2590},{2591,2591},{2599,3460},{2600,2600},{2605,3737},{2610,2610},{2624,2624},{2630,2630},{2631,2631},{2632,2629},{2635,2635},{2637,2637},{2638,2636},{2641,2641},{2642,2642},{2643,2640},{2646,3},{2650,1046},{2654,4},{2658,1047},{2667,1045},{3000,3000},{3009,2664},{3013,3013},{3057,40},{3287,3287},{3304,3361},{3330,3330},{3669,4905},{3720,2},{3721,1759},{3722,100},{3723,37},{3726,3509},{3727,3496},{3744,3550},{3745,171},{3748,55},{3768,3768},{3900,1734},{3924,1722},{3938,200},{3989,3219},{4016,1761},{4083,4063},{4118,1760},{4162,3309},{4319,2951},{4336,1721},{4367,1019},{4394,4394},{4449,514},{4724,4724},{4782,4782},{4784,4784},{4790,4790},{4813,4813},{4864,518},{4879,512},{4893,4893}
X(2){1,6},{7,1730},{21,573},{36,2183},{58,579},{81,4253},{86,2},{238,672},{320,3218},{350,239},{513,649},{614,1724},{693,514},{905,657},{1010,391},{1019,798},{1125,9},{1193,1743},{1756,1755},{2309,43},{3086,1713},{3664,57},{3720,1},{3737,661},{4038,1475},{4040,513},{4106,4498},{4131,4091},{4292,2270},{4303,610},{4357,63},{4425,3496},{4653,4266},{4811,4765}
X(3){1,4},{9,573},{21,3},{58,3149},{284,6},{522,513},{652,650},{663,3309},{960,40},{1021,661},{1731,44},{1776,1155},{1800,155},{1858,46},{2194,1754},{2264,1743},{2360,1498},{2646,1},{3100,971},{3601,581},{3683,165},{4511,517},{4653,1012}
X(4){1,3},{4,1715},{29,4},{33,1754},{281,1765},{284,573},{497,1764},{650,652},{950,40},{1021,822},{1172,579},{2299,1779},{2323,2252},{2654,1},{3737,656}
X(5){1,54},{2600,654},{3615,5},{4282,2245}
X(6){1,2},{6,3216},{57,579},{58,4383},{81,6},{239,1575},{284,3},{514,650},{649,513},{942,57},{1019,661},{1021,656},{1100,1},{1172,3149},{1197,1740},{1333,1724},{1449,386},{1459,905},{1870,1465},{1914,238},{1919,667},{2300,978},{2303,474},{3125,1054},{3218,44},{3554,1714},{3666,9},{3670,63},{3733,1019},{4025,2509},{4063,649},{4498,4394},{4658,940},{4850,4286}
X(7){1,55},{650,657},{1734,652},{2346,3730},{3309,649},{4040,650}
X(8){1,56},{650,649},{1222,8}
X(9){1,57},{2,9},{3,1763},{5,1726},{6,46},{8,3928},{9,40},{10,63},{37,1},{39,43},{44,484},{57,2270},{141,1759},{142,169},{178,362},{216,1745},{226,19},{230,1756},{233,3460},{241,910},{281,84},{396,3179},{442,1762},{513,4063},{514,649},{519,3218},{522,514},{523,1019},{525,1021},{551,3306},{647,3737},{650,513},{665,659},{726,239},{800,1044},{905,650},{942,1730},{960,1764},{1015,1054},{1100,3336},{1125,2},{1146,1768},{1196,1716},{1210,1708},{1211,1761},{1212,165},{1213,191},{1214,610},{1215,75},{1249,3182},{1465,2182},{1575,1757},{1639,900},{1698,3929},{2090,504},{2092,1046},{2276,3751},{2325,519},{2509,1734},{2887,1760},{3002,851},{3004,2483},{3008,672},{3159,3187},{3161,2136},{3163,3464},{3239,522},{3247,3333},{3290,238},{3452,1766},{3634,3219},{3663,2082},{3666,6},{3667,4498},{3669,4394},{3693,518},{3700,523},{3709,512},{3712,524},{3716,812},{3723,3337},{3731,1697},{3743,81},{3752,1743},{3767,1711},{3772,1723},{3911,2183},{3912,3509},{3946,4253},{3960,1635},{3971,3875},{3985,740},{4009,536},{4021,1475},{4070,752},{4130,3900},{4157,754},{4357,3496},{4369,798},{4422,1018},{4521,3667},{4522,824},{4526,891},{4529,3907},{4698,3294},{4763,3768},{4765,4778},{4820,4802},{4944,4777}
X(10){1,58},{661,649},{1220,10},{2298,1400},{3737,513},{3907,514},{4071,3509},{4086,522}
X(11){1,59},{1983,2245}
X(12){1,60},{2610,654}
X(13){1,15}
X(14){1,16}
X(15){1,13}
X(16){1,14}
X(17){1,61}
X(18){1,62}
X(19){1,63},{4,1708},{19,920},{92,19},{226,9},{278,1741},{281,1158},{514,652},{661,656},{908,2252},{946,57},{1519,3911},{1577,822},{1699,1445},{1826,46},{1848,579},{1855,1709},{1953,1},{2173,1749},{2294,191},{2582,2578},{2583,2579},{3064,522}
X(20){1,64},{1043,20},{2287,573},{4397,3667}
X(21){1,65},{650,661},{1758,851}
X(22){1,66}
X(23){1,67}
X(24){1,68}
X(25){1,69},{1019,656},{2484,2522}
X(26){1,70}
X(27){1,71},{522,822},{3465,2245},{4040,656}
X(28){1,72},{513,656}
X(29){1,73},{652,822},{2655,851}
X(30){1,74},{2341,2245}
X(31){1,75},{82,31},{798,661},{812,2254},{1577,656},{1933,1580},{1966,2227},{3405,2236},{4063,513}
X(32){1,76}
X(33){1,77},{657,652}
X(34){1,78},{649,652}
X(35){1,79},{523,513},{943,35}
X(36){1,80},{104,36},{654,650},{900,513},{1319,1},{2161,44},{2182,1743},{2250,2183}
X(37){1,81},{661,513},{1019,649},{1126,4641},{1255,37},{3723,1},{4132,4063},{4826,4834}
X(38){1,82}
X(39){1,83},{261,992}
X(40){1,84},{8,40},{9,9},{10,1158},{11,1768},{55,1709},{72,1490},{210,165},{497,57},{518,971},{519,515},{521,513},{522,3667},{950,4},{952,2829},{960,3},{1001,3358},{1145,2950},{1837,46},{1864,1750},{2321,1766},{2802,2800},{2804,900},{3057,1},{3058,1699},{3059,2951},{3239,649},{3307,3307},{3308,3308},{3686,573},{3688,1742},{3706,1764},{3738,2827},{3877,3576},{3880,517},{3900,3309},{4046,2941},{4111,2938},{4520,3294},{4662,3579},{4847,63}
X(41){1,85},{4369,661}
X(42){1,86},{798,649},{1019,513}
X(43){1,87},{6,43},{25,1044},{31,978},{32,1716},{39,9},{41,1742},{42,1},{51,46},{184,1745},{213,1740},{237,1756},{512,3737},{649,4040},{667,513},{669,1019},{672,2664},{800,1711},{1400,1707},{1475,1743},{2092,846},{2223,238},{2271,4335},{2308,3216},{2309,2},{2347,165},{2451,1021},{3271,1054},{3778,63}
X(44){1,88},{6,4674},{9,106},{43,903},{44,1},{46,1797},{57,2316},{88,44},{104,1465},{513,1022},{517,57},{1022,1635},{1023,244},{1054,3257},{1635,513},{1731,3},{1739,63},{1743,1320},{1766,1417},{1769,905},{2087,1054},{2161,36},{2316,517},{2640,4622},{2827,3669},{3216,4080},{3218,6},{3257,2087},{3737,4049},{3960,650},{4498,2441},{4585,3125},{4674,3218}
X(45){1,89},{4893,513}
X(46){1,90},{4,46},{6,9},{19,1723},{25,1711},{33,1709},{34,1728},{51,43},{65,1},{185,1745},{208,1720},{225,920},{427,1726},{429,1710},{430,1719},{924,3737},{1503,1756},{1785,1727},{1824,1707},{1825,47},{1826,19},{1827,1721},{1828,1722},{1829,1724},{1830,109},{1831,580},{1834,191},{1835,1725},{1836,57},{1837,40},{1839,579},{1841,1713},{1842,1714},{1843,1716},{1844,1717},{1845,1718},{1854,84},{1855,1752},{1858,3},{1859,1754},{1864,165},{1865,1744},{1874,1733},{1875,1735},{1876,1736},{1877,1737},{1878,1739},{1887,1771},{1899,1763},{1901,1781},{1902,1777},{2262,1743},{2501,1021},{3064,652},{3566,1019},{3574,3460},{3827,238},{3914,63},{4295,3338}
X(47){1,91},{1825,46},{2148,48},{2190,47}
X(48){1,92},{822,656},{1577,661},{2148,47},{2167,48}
X(49){1,93}
X(50){1,94}
X(51){1,95}
X(52){1,96}
X(53){1,97}
X(54){1,5},{654,2600}
X(55){1,7},{514,513},{657,650},{1174,218},{2346,55},{3748,1}
X(56){1,8},{649,650},{1476,56},{3667,513}
X(57){1,9},{4,2270},{7,57},{30,2245},{56,1723},{65,1743},{177,173},{226,169},{354,1},{497,40},{511,2238},{512,3287},{513,650},{514,657},{515,2183},{516,672},{517,44},{518,2348},{522,652},{542,2503},{553,4253},{900,654},{942,6},{946,19},{950,573},{971,910},{1071,610},{1387,2161},{1401,978},{1439,223},{1836,46},{2800,2265},{2801,2246},{2820,2254},{2827,1635},{3057,3973},{3307,2590},{3308,2591},{3309,513},{3333,2257},{3649,1781},{3663,63},{3664,2},{3667,649},{3668,1708},{3671,2285},{3672,3929},{3676,514},{3782,1759},{3881,3217},{4014,1054},{4021,3219},{4106,4063},{4292,579},{4298,1400},{4854,191},{4862,3928},{4883,3294},{4887,3218},{4890,846},{4896,3306},{4897,1019},{4920,1760}
X(58){1,10},{522,656},{649,661},{2363,58},{3509,2238}
X(59){1,11},{1768,513}
X(60){1,12},{654,2610}
X(61){1,17}
X(62){1,18}
X(63){1,19},{2,169},{8,1766},{10,9},{38,1},{75,63},{240,2312},{307,1763},{321,1759},{522,649},{656,661},{693,4063},{726,3509},{982,2082},{986,2285},{1210,2270},{1266,3218},{1441,1726},{1577,798},{1725,2173},{1733,1755},{1734,513},{1735,2182},{1736,910},{1737,2183},{1738,672},{1739,44},{1769,1635},{1772,2265},{1930,1760},{2085,1740},{2292,1781},{2588,2578},{2589,2579},{3123,1054},{3663,57},{3670,6},{3673,1445},{3676,4498},{3728,846},{3741,3496},{3778,43},{3914,46},{4025,514},{4357,2},{4389,3306},{4467,1019},{4647,1761},{4847,40}
X(64){1,20}
X(65){1,21},{661,650},{1021,652}
X(66){1,22}
X(67){1,23}
X(68){1,24}
X(69){1,25},{1021,798},{1734,649},{2522,2484}
X(70){1,26}
X(71){1,27},{9,3651},{943,226},{1021,513},{1577,649},{2259,1770}
X(72){1,28},{656,513},{1021,649},{1257,72}
X(73){1,29},{822,652},{1021,650}
X(74){1,30},{9,2173},{1021,2631}
X(75){1,31},{661,798},{1215,9},{1580,1755},{1926,1966},{3112,75},{4040,649}
X(76){1,32},{3737,798}
X(77){1,33},{652,657},{1734,650}
X(78){1,34},{652,649}
X(79){1,35}
X(80){1,36},{6,2245},{650,654}
X(81){1,37},{484,2245},{513,661},{1734,656},{1757,2238},{3743,9},{4063,798}
X(82){1,38}
X(83){1,39}
X(84){1,40},{280,84},{281,9},{282,2270},{1854,46}
X(85){1,41}
X(86){1,42},{649,798},{2664,2238},{4040,661}
X(87){1,43},{2162,87},{2309,3216},{3229,2238}
X(88){1,44},{513,1635},{679,88},{1168,2316},{3315,1023}
X(89){1,45},{513,4893}
X(90){1,46},{1858,1715}
X(91){1,47}
X(92){1,48},{656,822},{1955,1755}
X(93){1,49}
X(94){1,50},{3737,2624}
X(95){1,51}
X(96){1,52}
X(97){1,53}
X(98){1,511},{9,1755}
X(99){1,512},{9,798},{43,661},{846,649},{1045,513},{1711,822},{1716,656}
X(100){1,513},{6,661},{9,649},{31,4040},{42,830},{44,1635},{78,3667},{200,3309},{238,2254},{519,3738},{595,3737},{765,100},{1016,3888},{1110,1633},{1252,101},{1449,4813},{1621,1019},{1713,822},{1723,652},{1724,656},{1743,650},{1757,659},{2340,2820},{3681,4063},{3722,1},{3731,4790},{3749,663},{3751,4724},{3811,522},{3870,514},{3935,3887},{3961,512},{3973,4394},{4511,2827},{4512,3803}
X(101){1,514},{2,661},{9,513},{57,650},{59,651},{63,649},{579,656},{672,2254},{1252,100},{1319,3960},{1420,905},{1445,657},{1708,652},{2149,109},{2323,3738},{2324,3667},{2329,830},{2975,1019},{3218,1635},{3305,4813},{3306,4893},{3509,659},{3869,4063},{3928,4394},{3929,4790},{4564,101}
X(102){1,515},{9,2182},{521,3738}
X(103){1,516},{9,910},{3900,2820}
X(104){1,517},{9,2183},{522,2827},{3872,1512}
X(105){1,518},{9,672},{513,2254}
X(106){1,519},{9,44},{649,1635}
X(107){1,520},{9,822},{1745,656}
X(108){1,521},{3,656},{9,652},{610,650},{1490,513},{1765,822}
X(109){1,522},{4,656},{9,650},{19,652},{33,1734},{40,513},{169,657},{212,4040},{516,2254},{517,2849},{573,661},{1766,649},{1830,46},{1870,1769},{2149,101},{3496,3287},{4347,4017}
X(110){1,523},{9,661},{46,656},{191,513},{1744,652},{1759,798},{1761,649},{1781,650},{2245,2610}
X(111){1,524},{9,896},{1019,2642}
X(112){1,525},{9,656},{1726,822},{1762,652},{1763,661}
X(114){1,2065}
X(115){1,249}
X(125){1,250}
X(140){1,1173}
X(141){1,251}
X(142){1,1174}
X(143){1,252}
X(144){3900,649}
X(145){1,3445},{4394,649}
X(149){1,3446}
X(154){1,253}
X(155){1,254},{1800,3},{3193,155}
X(158){1,255},{661,822},{821,158}
X(162){1,656},{19,822},{610,661},{1781,652},{2173,2631},{2939,513}
X(163){1,1577},{19,656},{63,661},{1101,662},{1748,822},{1760,798},{1761,513},{1762,650}
X(164){1,505},{9,168},{188,164},{259,173}
X(165){1,3062},{6,1750},{9,165},{37,1709},{41,1721},{55,1},{71,2947},{210,40},{212,1490},{220,2951},{650,3309},{652,4040},{663,3667},{1212,9},{1334,1742},{1864,46},{2082,1743},{2264,1754},{2293,1699},{2310,1768},{2340,516},{2347,43},{3683,3},{3689,517},{3691,573},{3900,513},{4105,514},{4433,511},{4477,512},{4895,2827}
X(168){9,164}
X(169){2,63},{7,1445},{57,1708},{85,169},{142,9},{226,57},{514,514},{908,3218},{1446,1729},{3119,1768},{3452,3928},{3674,4253},{4077,4369},{4462,4063},{4468,649}
X(170){220,170},{1253,1742}
X(171){1,256},{512,513},{2298,171},{3287,650},{3700,1734},{3745,1}
X(172){1,257}
X(173){1,258},{174,173},{177,57},{259,164}
X(174){1,259}
X(177){1,260}
X(181){1,261}
X(182){1,262}
X(183){1,263}
X(184){1,264}
X(185){1,1105}
X(186){1,265}
X(187){1,671}
X(188){1,266}
X(189){1,198}
X(190){1,649},{2,798},{43,513},{75,4063},{350,812},{899,3768},{978,650},{1714,822},{1722,652},{2664,659},{2999,2484},{3216,661},{3264,3762},{3760,4380},{3875,514},{4360,1019}
X(191){1,267},{10,191},{12,1710},{37,1781},{42,1719},{72,2960},{201,2939},{210,2941},{594,1761},{756,846},{1213,9},{1834,46},{2292,1},{2294,19},{2533,4063},{3122,2640},{3136,1726},{3925,1762},{4024,649},{4037,3509},{4064,522},{4205,1698},{4642,1046},{4854,57}
X(192){1,2162},{667,649}
X(194){1,3224}
X(195){1,3459}
X(196){1,268},{521,652}
X(198){1,189},{947,222},{3239,513},{4091,650}
X(200){1,269},{657,649},{905,513},{3938,1}
X(201){1,270}
X(208){1,271},{3239,652}
X(209){1,272}
X(210){1,1014}
X(212){1,273}
X(213){1,274},{798,513},{1258,213},{4369,650}
X(214){1,1168}
X(216){1,275}
X(217){1,276}
X(218){1,277},{663,905},{1170,218},{1174,55},{3676,650}
X(219){1,278},{652,513}
X(220){1,279},{657,513}
X(221){1,280},{3239,650}
X(222){1,281},{522,650},{947,198}
X(223){1,282},{3,610},{77,223},{521,650},{603,1743},{1040,1490},{1439,57},{4091,657}
X(225){1,283},{661,652}
X(226){1,284},{656,652},{943,71},{3737,650},{4077,514}
X(227){1,285}
X(228){1,286},{1577,513}
X(230){1,2987}
X(232){1,287}
X(233){1,288}
X(236){1,289}
X(237){1,290}
X(238){1,291},{105,238},{292,1575},{659,513},{665,650},{910,1743},{1027,2254},{1279,1},{1914,6},{2223,43},{3290,9},{3675,1054},{3827,46}
X(239){1,292},{291,672},{350,2},{659,649},{726,9},{3226,239}
X(240){1,293}
X(241){1,294},{103,910},{105,2348},{1456,1743},{2254,650},{2820,513}
X(242){1,295},{665,652}
X(243){1,296}
X(244){1,765},{1023,44}
X(248){1,297},{1726,1755}
X(249){1,115}
X(250){1,125}
X(251){1,141}
X(252){1,143}
X(253){1,154}
X(254){1,155}
X(255){1,158},{775,255},{822,661}
X(256){1,171},{650,3287}
X(257){1,172}
X(258){1,173},{1488,258}
X(259){1,174}
X(260){1,177}
X(261){1,181}
X(262){1,182}
X(263){1,183}
X(264){1,184}
X(265){1,186},{1021,2624}
X(266){1,188}
X(267){1,191},{502,267}
X(268){1,196}
X(269){1,200},{649,657},{3309,650}
X(270){1,201}
X(271){1,208}
X(272){1,209}
X(273){1,212},{4040,652}
X(274){1,213},{513,798},{3510,2238}
X(275){1,216}
X(276){1,217}
X(277){1,218}
X(278){1,219},{513,652},{2077,2252}
X(279){1,220},{513,657}
X(280){1,221}
X(281){1,222},{905,652}
X(282){1,223},{222,610},{1071,1763}
X(283){1,225},{652,661}
X(284){1,226},{514,661},{652,656}
X(285){1,227}
X(286){1,228},{1734,822}
X(287){1,232},{46,1755}
X(288){1,233}
X(289){1,236}
X(290){1,237},{43,1755}
X(291){1,238},{6,2238},{513,659}
X(292){1,239},{2,2238},{649,659}
X(293){1,240},{19,1755}
X(294){1,241},{57,672},{650,2254}
X(295){1,242},{522,659},{579,2238}
X(296){1,243},{4,851}
X(297){1,248}
X(298){1,3457}
X(299){1,3458}
X(304){1,1973},{656,798}
X(305){1,1974}
X(306){1,1474},{656,649}
X(307){1,2299}
X(308){1,3051}
X(309){1,2187}
X(310){1,1918},{4040,798}
X(312){1,604}
X(313){1,2206}
X(314){1,1402},{650,798}
X(315){1,2353}
X(316){1,3455}
X(317){1,2351}
X(318){1,603}
X(321){1,1333},{3737,649}
X(322){1,2208}
X(323){1,1989}
X(325){1,1976}
X(326){1,1096},{822,798}
X(329){1,1436},{521,649}
X(330){1,2176}
X(332){652,798}
X(333){1,1400},{514,798}
X(334){1,2210}
X(335){1,1914},{3216,2238},{4040,659}
X(336){1707,1755}
X(341){1,1106}
X(342){1,2188}
X(344){4905,649}
X(345){1,608}
X(346){1,1407},{905,649}
X(347){1,2192}
X(348){1,607}
X(350){1,1911}
X(351){1,892}
X(354){1,2346}
X(355){1,3417}
X(356){1,3605}
X(357){1,358}
X(358){1,357}
X(359){1,360}
X(360){1,359}
X(361){266,361}
X(362){178,9},{188,504},{4146,362}
X(363){236,363}
X(364){366,364},{367,1},{4179,510}
X(365){1,366}
X(366){1,365}
X(371){1,485},{58,372}
X(372){1,486},{58,371}
X(376){1,3426}
X(378){1,4846}
X(379){990,579}
X(381){1,3431}
X(384){1,695}
X(385){1,694}
X(386){1449,6}
X(388){1,1036},{2522,652}
X(391){1010,2},{2297,474}
X(393){1,394},{837,393},{1019,822}
X(394){1,393}
X(396){1,2981}
X(399){1,1138}
X(401){1,1987}
X(405){2257,579}
X(411){1098,411}
X(427){1,1176}
X(429){1,1798}
X(442){1,1175}
X(450){1,1942}
X(452){1,2213}
X(468){1,895}
X(474){2297,391},{2303,6}
X(476){1,526},{9,2624}
X(479){1,480},{3309,657}
X(480){1,479}
X(484){1,3065},{44,9},{80,484},{517,1},{3583,3336},{4120,649}
X(485){1,371}
X(486){1,372}
X(493){1,3068}
X(494){1,3069}
X(497){1,1037}
X(501){1,502},{4024,661}
X(502){1,501}
X(503){259,503}
X(504){188,362},{556,504},{2090,9}
X(505){1,164}
X(510){4179,364}
X(511){1,98},{2311,2238},{4433,165}
X(512){1,99},{3570,659},{3709,9},{3882,513},{3903,512},{3961,100},{4477,165},{4879,1}
X(513){1,100},{2,4557},{3,4551},{6,1018},{9,101},{19,906},{31,4553},{40,109},{42,4436},{43,190},{44,1023},{46,1331},{57,3939},{63,692},{87,4595},{100,513},{101,650},{109,521},{165,651},{170,658},{171,3882},{188,3659},{190,667},{191,110},{200,1633},{238,1026},{512,171},{513,1},{514,55},{516,2283},{521,40},{522,3},{523,35},{573,4559},{579,4574},{610,1783},{644,4394},{649,6},{650,9},{651,3900},{652,219},{654,2323},{656,72},{657,220},{659,238},{661,37},{662,4705},{663,1376},{665,3684},{667,43},{672,2284},{692,1734},{798,213},{812,2223},{822,3990},{830,3666},{832,986},{846,662},{900,36},{905,200},{928,1936},{978,3699},{1018,649},{1019,42},{1021,71},{1022,678},{1023,1635},{1025,926},{1026,659},{1045,99},{1046,643},{1054,765},{1490,108},{1491,984},{1577,228},{1633,905},{1635,44},{1707,1332},{1709,1813},{1710,4575},{1716,4561},{1719,4558},{1722,4571},{1723,4587},{1734,63},{1740,668},{1742,664},{1743,644},{1745,1897},{1757,3573},{1761,163},{1766,1415},{1768,59},{2108,660},{2136,1293},{2183,2427},{2254,518},{2516,3973},{2530,3961},{2610,4053},{2617,4036},{2640,4567},{2664,3570},{2804,2077},{2820,241},{2826,2078},{2827,1319},{2938,1414},{2939,162},{2941,4565},{2947,653},{2950,2720},{2951,934},{2958,4619},{3063,3501},{3126,1282},{3174,1292},{3216,3952},{3239,198},{3250,4386},{3257,3251},{3287,2329},{3293,4427},{3307,1382},{3308,1381},{3309,57},{3465,4242},{3510,874},{3550,3888},{3570,4455},{3667,56},{3669,3158},{3733,3293},{3737,10},{3738,517},{3768,3230},{3799,4782},{3803,2999},{3882,512},{3887,1155},{3888,4083},{3900,165},{3909,4132},{3939,3309},{3952,4057},{3960,3689},{4024,1030},{4040,2},{4041,4640},{4057,3216},{4063,31},{4064,2915},{4069,4401},{4083,3550},{4160,4689},{4164,3507},{4375,2110},{4380,3941},{4383,4069},{4391,3185},{4394,1743},{4401,4383},{4418,1634},{4427,3733},{4436,1019},{4449,4421},{4455,2664},{4468,1486},{4498,3052},{4551,522},{4553,4063},{4557,4040},{4581,4267},{4585,4730},{4604,4825},{4705,846},{4724,1001},{4778,3295},{4784,4649},{4790,1449},{4794,4413},{4822,4682},{4893,45},{4905,3870}
X(514){1,101},{77,651},{100,649},{109,652},{145,1018},{347,1020},{514,169},{521,573},{522,9},{651,657},{664,514},{693,2},{934,4091},{1897,3239},{2254,672},{3669,4253},{3676,57},{3738,2183},{3870,100},{3875,190},{3879,3882},{3882,798},{3891,3952},{3896,4427},{3900,3730},{3905,4568},{3907,10},{4017,1400},{4025,63},{4077,226},{4105,165},{4374,894},{4449,1},{4453,3218},{4458,3509},{4467,3219},{4509,4357},{4551,650}
X(515){1,102},{519,40},{2323,573},{4768,3667}
X(516){1,103},{294,672},{2338,2272},{2340,165},{3684,573},{3716,3667},{4919,813}
X(517){1,104},{1320,517},{2316,44},{3689,165},{3738,513},{3880,40},{4511,3},{4895,3309}
X(518){1,105},{294,910},{1027,659},{1280,518},{2254,513},{3693,9},{4864,1}
X(519){1,106},{1120,519},{1635,649},{2316,2183},{2325,9}
X(520){1,107}
X(521){1,108},{109,513},{1783,650},{4163,1376}
X(522){1,109},{33,1633},{101,649},{522,1158},{523,1782},{1783,652},{1897,522},{2331,1783},{2901,4427},{3064,19},{3239,9},{3811,100},{4028,3882},{4064,191},{4086,10},{4551,513}
X(523){1,110},{522,3652},{1983,654},{2610,2245},{3700,9}
X(524){1,111},{3712,9}
X(525){1,112}
X(526){1,476}
X(527){1,2291},{3887,649}
X(528){1,840}
X(530){1,2378}
X(531){1,2379}
X(532){1,2380}
X(533){1,2381}
X(536){1,739},{4009,9}
X(537){1,2382}
X(538){1,729}
X(539){1,2383}
X(541){1,841}
X(542){1,842}
X(543){1,843}
X(545){1,2384}
X(560){1,561}
X(561){1,560}
X(572){1,2051},{2150,580},{2185,572},{4560,661}
X(573){2,1765},{8,1764},{9,3},{21,2},{284,4},{333,573},{521,514},{650,3667},{950,57},{1697,940},{1946,3835},{2082,1754},{2269,1},{2287,20},{2323,515},{3684,516},{3686,40},{3687,1766},{3691,165},{3872,1150},{4267,2051},{4391,649},{4877,631}
X(574){1,598}
X(577){1,2052}
X(579){1,1751},{4,1730},{19,1724},{27,579},{57,6},{58,2},{278,1713},{990,379},{1172,4},{1474,1714},{1838,1708},{1839,46},{1848,19},{2201,1738},{2257,405},{2260,1},{2354,1722},{3220,3008},{4292,57}
X(580){270,580},{1831,46},{2150,572}
X(581){3601,3}
X(584){4960,661}
X(588){1,590}
X(589){1,615}
X(590){1,588}
X(593){1,594},{900,2610}
X(594){1,593}
X(595){1,596}
X(596){1,595}
X(598){1,574}
X(599){1,1383}
X(603){1,318}
X(604){1,312},{4063,650}
X(607){1,348}
X(608){1,345},{4063,652}
X(610){1,2184},{3,223},{48,1},{63,610},{71,1745},{72,1763},{219,1490},{222,282},{268,3345},{1071,57},{1214,9},{2083,1707},{2584,2582},{2585,2583},{3708,2629},{3958,2939},{4303,2}
X(612){2484,649}
X(615){1,589}
X(616){1,3440}
X(617){1,3441}
X(621){1,3438}
X(622){1,3439}
X(627){1,3489}
X(628){1,3490}
X(631){1,3527},{4877,573}
X(633){1,3442}
X(634){1,3443}
X(643){1,4017},{169,798},{1046,513},{1722,656},{1743,661},{1781,649}
X(644){1,3669},{57,649},{1743,513},{3680,4498},{4383,661}
X(645){57,798},{978,661},{1046,649}
X(646){978,649},{4383,798}
X(647){1,648}
X(648){1,647},{43,656},{46,822},{1046,652},{1047,650},{1745,661},{1763,798},{2939,649}
X(649){1,190},{2,1018},{3,4552},{6,3952},{9,100},{10,3882},{19,1331},{20,1020},{31,4568},{36,2397},{37,4427},{40,651},{43,668},{45,4781},{46,1332},{57,644},{63,101},{81,4115},{100,514},{101,522},{163,4064},{165,664},{169,3939},{170,4569},{190,649},{191,662},{200,3732},{411,4605},{484,4585},{512,894},{513,2},{514,9},{516,1025},{521,329},{522,63},{523,3219},{573,4551},{610,1897},{644,3667},{649,1},{650,8},{651,3239},{652,78},{654,4511},{656,306},{657,200},{659,239},{660,4375},{661,10},{662,4024},{663,3729},{665,3685},{667,192},{672,1026},{693,3730},{764,4473},{798,42},{812,672},{822,3682},{830,4357},{846,99},{900,3218},{905,346},{910,2398},{928,1944},{978,646},{1018,513},{1019,37},{1021,72},{1022,4370},{1023,900},{1024,4712},{1026,812},{1045,799},{1046,645},{1054,1016},{1158,1813},{1282,666},{1449,4756},{1490,653},{1491,3661},{1577,71},{1633,4025},{1635,519},{1707,4561},{1708,4587},{1710,4558},{1719,4592},{1723,4571},{1726,906},{1730,4574},{1734,69},{1740,1978},{1742,4554},{1743,3699},{1757,3570},{1759,692},{1761,110},{1763,1783},{1764,4559},{1766,109},{1768,4564},{1769,3977},{1781,643},{2108,4562},{2254,3912},{2483,3920},{2484,612},{2516,3621},{2640,4600},{2642,4062},{2664,874},{2786,3509},{2827,3911},{2938,4573},{2939,648},{2941,1414},{2951,658},{3216,4033},{3218,1023},{3239,40},{3250,3923},{3294,4436},{3306,4752},{3309,7},{3496,4579},{3501,3888},{3509,3573},{3572,4368},{3573,2786},{3667,57},{3669,3161},{3699,4498},{3732,657},{3733,3995},{3737,321},{3738,908},{3762,2183},{3768,899},{3799,4785},{3803,3672},{3835,3501},{3882,661},{3887,527},{3888,3835},{3900,144},{3909,4129},{3939,4468},{3952,4063},{3960,2325},{4024,191},{4040,75},{4041,4416},{4063,6},{4069,4380},{4079,4418},{4091,2324},{4107,3508},{4120,484},{4162,4488},{4253,4069},{4369,1334},{4380,4253},{4391,573},{4394,145},{4401,3875},{4427,1019},{4468,169},{4498,1743},{4502,3980},{4551,4391},{4585,4120},{4705,1654},{4724,4384},{4778,3305},{4782,4393},{4790,3616},{4794,4659},{4813,1698},{4893,3679},{4895,4480},{4905,344},{4962,3928}
X(650){1,651},{2,4559},{3,1020},{6,4551},{9,109},{40,1461},{43,664},{46,1813},{57,101},{63,1415},{100,3669},{101,513},{109,905},{165,934},{169,692},{170,4626},{191,4565},{223,1783},{238,1025},{513,57},{514,6},{521,223},{522,222},{523,2003},{610,108},{647,1935},{649,56},{650,1},{651,650},{652,3},{654,36},{656,1214},{657,55},{659,1429},{661,65},{665,238},{667,1423},{672,2283},{798,1402},{846,1414},{905,9},{978,190},{1019,1400},{1020,652},{1021,73},{1024,1362},{1025,665},{1045,4573},{1046,662},{1047,648},{1054,4564},{1577,1409},{1635,1319},{1708,906},{1722,1332},{1723,1331},{1734,77},{1740,4554},{1742,658},{1743,100},{1744,4575},{1745,653},{1762,163},{1768,1262},{1781,110},{1783,521},{2254,241},{2484,1460},{2522,1038},{2590,1382},{2591,1381},{2655,1981},{2938,4637},{2951,4617},{2957,4619},{3008,2284},{3064,3157},{3126,2114},{3216,4552},{3239,221},{3287,171},{3309,269},{3667,1407},{3669,1743},{3676,218},{3732,3063},{3737,226},{3738,1465},{3900,1419},{3911,2427},{3960,44},{4017,4641},{4040,7},{4063,604},{4091,198},{4253,4557},{4369,213},{4383,1018},{4394,1420},{4551,514},{4763,3230},{4790,3361},{4893,2099},{4905,1445}
X(651){1,650},{3,661},{40,649},{46,652},{57,657},{59,101},{77,514},{165,513},{269,905},{484,654},{517,1635},{1253,4040},{1443,3960},{1715,822},{1754,656},{1764,798},{2448,2590},{2449,2591},{3562,1021},{3576,4893}
X(652){1,653},{4,1020},{9,108},{19,109},{46,651},{57,1783},{109,514},{513,278},{514,19},{521,196},{522,57},{579,4551},{580,4605},{647,1940},{649,34},{650,4},{651,3064},{652,1},{653,652},{654,1870},{656,226},{657,33},{661,225},{665,242},{822,73},{905,281},{920,1813},{1019,1880},{1020,650},{1021,65},{1046,648},{1047,823},{1158,1461},{1577,1400},{1633,3676},{1635,1877},{1707,664},{1708,101},{1709,934},{1710,4565},{1716,4554},{1718,655},{1719,1414},{1721,658},{1722,190},{1723,100},{1724,4552},{1726,1415},{1729,692},{1730,4559},{1734,7},{1735,2406},{1738,1025},{1743,1897},{1744,110},{1754,4566},{1758,1981},{1762,112},{1769,3911},{1781,162},{1783,522},{2522,388},{2637,2635},{3064,46},{3239,208},{3309,1119},{3667,1435},{4040,273},{4063,608},{4091,2331},{4369,2333}
X(653){1,652},{4,822},{223,657},{1490,649},{1745,650},{2635,2637},{2947,513},{3465,654}
X(654){1,655},{9,2222},{30,1020},{484,651},{513,2006},{514,2161},{649,1411},{650,80},{652,1807},{654,1},{655,654},{900,57},{1727,1813},{1983,523},{2081,2595},{2245,4551},{2600,5},{2610,12},{2624,2594},{3465,653}
X(655){1,654},{5,2624},{1718,652}
X(656){1,162},{3,108},{4,109},{6,1783},{9,112},{19,163},{25,1633},{36,4246},{43,648},{46,110},{47,2617},{109,3737},{162,656},{163,661},{238,4238},{513,28},{514,2299},{521,3194},{522,58},{579,101},{580,4551},{649,1474},{650,1172},{652,284},{656,1},{657,2332},{661,19},{798,1973},{810,1957},{822,48},{905,4183},{920,4575},{1019,25},{1021,6},{1577,31},{1633,1019},{1707,662},{1709,4565},{1711,4558},{1713,906},{1714,1331},{1716,99},{1719,4556},{1721,1414},{1722,643},{1724,100},{1726,1576},{1730,692},{1734,81},{1740,811},{1745,107},{1754,651},{1756,4230},{1765,1415},{1779,1813},{1783,1021},{2522,2303},{2578,2577},{2579,2576},{2588,1823},{2589,1822},{2618,2964},{2631,2173},{3182,1301},{3216,1897},{3220,4244},{3286,4250},{3309,1396},{3460,933},{3464,1304},{3733,4222},{3737,4},{4040,27},{4063,2203},{4219,1020},{4242,1769},{4369,2212},{4905,4233}
X(657){1,658},{2,1020},{6,4566},{9,934},{40,4617},{43,4569},{57,651},{63,1461},{101,3676},{165,4626},{169,109},{191,4637},{223,653},{269,3732},{513,279},{514,57},{649,269},{650,7},{651,514},{652,77},{653,4091},{654,1443},{657,1},{658,657},{661,3668},{665,1447},{798,1042},{846,4616},{905,2},{978,4554},{1019,1427},{1020,905},{1021,1439},{1045,4635},{1046,4573},{1054,1275},{1445,101},{1465,2406},{1708,1813},{1743,664},{1762,4565},{1781,1414},{1783,4025},{2484,4320},{3008,1025},{3309,479},{3667,738},{3676,1445},{3732,649},{3737,1446},{3960,3911},{4040,1088},{4063,1407},{4091,223},{4253,4551},{4369,1400},{4383,4552}
X(658){1,657},{20,798},{170,513},{1721,652},{1742,650},{2951,649}
X(659){1,660},{9,813},{43,4562},{100,876},{190,875},{291,1026},{511,4551},{513,291},{522,295},{649,292},{650,4876},{659,1},{660,659},{665,9},{666,926},{813,665},{846,4584},{875,2664},{876,1757},{1018,3572},{1026,513},{1027,518},{1045,4589},{1491,3864},{1740,4583},{1757,100},{2238,1018},{2664,190},{3507,3888},{3509,101},{3510,668},{3570,512},{3572,2238},{4040,335},{4063,1911}
X(660){1,659},{2108,513}
X(661){1,662},{2,101},{3,651},{4,1813},{6,100},{9,110},{19,4575},{20,1461},{32,3888},{39,4579},{40,4565},{43,99},{46,4558},{48,2617},{58,3882},{63,163},{100,1019},{101,3737},{163,656},{165,1414},{170,4616},{191,4556},{411,1020},{513,81},{514,284},{521,1817},{522,1790},{572,4551},{573,109},{579,1331},{610,162},{649,58},{650,21},{651,1021},{652,283},{656,63},{657,2328},{661,1},{662,661},{798,31},{799,1924},{810,1958},{822,255},{905,2287},{978,645},{1018,3733},{1019,6},{1021,3},{1045,4610},{1046,4612},{1051,4596},{1054,4567},{1333,3909},{1577,48},{1707,4592},{1716,4563},{1724,1332},{1730,906},{1734,1444},{1740,799},{1742,4573},{1743,643},{1745,648},{1756,2421},{1759,1576},{1763,112},{1764,1415},{1781,4636},{1924,1740},{1983,3738},{2084,1582},{2108,4584},{2238,3573},{2323,3658},{2578,1823},{2579,1822},{2582,2577},{2583,2576},{2610,758},{2617,1577},{2642,896},{2951,4637},{3064,1800},{3216,190},{3239,2360},{3309,1014},{3667,1412},{3684,4236},{3737,2},{3882,649},{3909,4063},{4024,501},{4040,86},{4063,1333},{4253,3939},{4369,41},{4383,644},{4455,2106},{4551,4560},{4560,572},{4585,1635},{4813,4658},{4893,4653},{4960,584}
X(662){1,661},{63,798},{191,649},{846,513},{896,2642},{920,822},{1046,650},{1101,163},{1707,656},{1725,2631},{1749,2624}
X(663){1,664},{1025,2254},{3749,100},{4763,899},{4964,3214}
X(664){1,663},{43,650},{165,649},{573,798},{1707,652},{1742,513},{1743,657},{1779,822}
X(665){1,666},{813,659},{1025,650},{4444,2238}
X(666){1,665},{43,2254},{1054,672},{1282,649}
X(667){1,668},{87,3888},{190,513},{932,667},{1919,6},{3903,4705}
X(668){1,667},{6,798},{43,649},{1740,513},{3510,659}
X(669){1,670}
X(670){1,669},{43,798}
X(671){1,187},{43,896},{3737,2642}
X(672){1,673},{9,105},{40,1462},{43,2481},{46,1814},{57,294},{63,1438},{105,3008},{169,2195},{238,2},{291,239},{294,516},{514,1024},{516,57},{649,1027},{650,885},{672,1},{673,672},{812,649},{1024,2254},{1025,2170},{1027,812},{1054,666},{1438,1738},{1738,63},{1766,1416},{2254,514},{2820,3676},{3008,9},{4905,2402}
X(673){1,672},{4040,2254}
X(674){1,675}
X(675){1,674},{9,2225}
X(676){1,677}
X(677){1,676}
X(678){1,679},{1022,513}
X(679){1,678}
X(680){1,681}
X(681){1,680}
X(682){1,683}
X(683){1,682}
X(684){1,685}
X(685){1,684}
X(686){1,687}
X(687){1,686}
X(688){1,689}
X(689){1,688}
X(690){1,691}
X(691){1,690},{9,2642}
X(692){1,693},{63,513},{169,650},{1729,652},{1730,656},{1759,649},{4384,1491}
X(693){1,692}
X(694){1,385}
X(695){1,384}
X(696){1,697}
X(697){1,696}
X(698){1,699}
X(699){1,698},{9,2227}
X(700){1,701}
X(701){1,700}
X(702){1,703}
X(703){1,702}
X(704){1,705}
X(705){1,704}
X(706){1,707}
X(707){1,706}
X(708){1,709}
X(709){1,708}
X(710){1,711}
X(711){1,710}
X(712){1,713}
X(713){1,712},{9,2228}
X(714){1,715}
X(715){1,714},{9,2229}
X(716){1,717}
X(717){1,716},{9,2230}
X(718){1,719}
X(719){1,718},{9,2231}
X(720){1,721}
X(721){1,720},{9,2232}
X(722){1,723}
X(723){1,722},{9,2233}
X(724){1,725}
X(725){1,724}
X(726){1,727}
X(727){1,726},{9,1575}
X(728){1,738}
X(729){1,538},{9,2234}
X(730){1,731}
X(731){1,730},{9,2235}
X(732){1,733}
X(733){1,732},{9,2236}
X(734){1,735}
X(735){1,734},{9,2237}
X(736){1,737}
X(737){1,736}
X(738){1,728},{3667,657}
X(739){1,536},{9,899},{4063,3768}
X(740){1,741},{2311,1755},{3985,9}
X(741){1,740},{9,2238}
X(742){1,743}
X(743){1,742},{9,2239}
X(744){1,745}
X(745){1,744},{9,2240}
X(746){1,747}
X(747){1,746}
X(748){1,749}
X(749){1,748}
X(750){1,751}
X(751){1,750}
X(752){1,753},{4070,9}
X(753){1,752},{9,2243}
X(754){1,755},{4157,9}
X(755){1,754},{9,2244}
X(756){1,757}
X(757){1,756}
X(758){1,759},{2341,2173},{2610,661}
X(759){1,758},{9,2245},{661,2610}
X(760){1,761}
X(761){1,760}
X(762){1,763}
X(763){1,762}
X(765){1,244},{1054,513}
X(766){1,767}
X(767){1,766}
X(768){1,769}
X(769){1,768}
X(770){1,771},{770,1},{771,770}
X(771){1,770}
X(772){1,773}
X(773){1,772}
X(774){1,775}
X(775){1,774}
X(776){1,777}
X(777){1,776}
X(778){1,779}
X(779){1,778}
X(780){1,781}
X(781){1,780}
X(782){1,783}
X(783){1,782}
X(784){1,785}
X(785){1,784}
X(786){1,787}
X(787){1,786}
X(788){1,789}
X(789){1,788},{1740,1491}
X(790){1,791}
X(791){1,790}
X(792){1,793}
X(793){1,792}
X(794){1,795}
X(795){1,794}
X(796){1,797}
X(797){1,796}
X(798){1,799},{2,190},{3,4554},{6,668},{9,99},{19,4592},{20,658},{40,4573},{43,670},{46,4563},{57,645},{63,662},{69,3732},{99,4369},{165,4625},{169,643},{190,1019},{191,4610},{194,4598},{333,3882},{513,274},{514,333},{573,664},{579,4561},{610,811},{649,86},{650,314},{652,332},{656,304},{657,1043},{661,75},{662,1577},{798,1},{799,798},{822,326},{846,4623},{1019,2},{1021,69},{1046,4631},{1054,4601},{1577,63},{1726,4558},{1730,1332},{1740,4602},{1756,2396},{1759,110},{1760,163},{1762,4612},{1763,648},{1764,651},{1766,1414},{1768,4620},{2084,1965},{2108,4639},{2238,874},{2484,1010},{2582,2581},{2583,2580},{2951,4635},{3216,1978},{3570,812},{3667,1434},{3732,1021},{3737,76},{3882,514},{4040,310},{4063,81},{4253,3699},{4369,9},{4383,646},{4585,3762}
X(799){1,798},{1045,649},{1740,661}
X(800){1,801}
X(801){1,800}
X(802){1,803}
X(803){1,802}
X(804){1,805}
X(805){1,804}
X(806){1,807}
X(807){1,806}
X(808){1,809}
X(809){1,808}
X(810){1,811}
X(811){1,810},{610,798},{1707,822},{1740,656}
X(812){1,813},{350,190},{1026,649},{1027,672},{3570,798},{3716,9}
X(813){1,812},{9,659},{765,3570},{3208,2820},{4919,516}
X(814){1,815}
X(815){1,814}
X(816){1,817}
X(817){1,816}
X(818){1,819}
X(819){1,818}
X(820){1,821}
X(821){1,820}
X(822){1,823},{4,653},{9,107},{19,162},{46,648},{162,1577},{412,1020},{522,27},{579,1897},{650,1896},{652,29},{653,1021},{656,92},{661,158},{798,1096},{822,1},{823,822},{920,662},{1019,393},{1021,4},{1577,19},{1707,811},{1711,99},{1713,100},{1714,190},{1715,651},{1726,112},{1730,1783},{1734,286},{1748,163},{1765,108},{1779,664},{2578,2587},{2579,2586},{2588,2581},{2589,2580},{2631,1784},{3064,3559},{3737,2052}
X(823){1,822},{1047,652}
X(824){1,825},{4522,9}
X(825){1,824},{9,1491}
X(826){1,827}
X(827){1,826}
X(828){1,829}
X(829){1,828}
X(830){1,831},{42,100},{2321,1633},{2329,101}
X(831){1,830},{9,2483}
X(832){1,833}
X(833){1,832}
X(834){1,835}
X(835){1,834}
X(836){1,837}
X(837){1,836}
X(838){1,839}
X(839){1,838}
X(840){1,528},{9,2246}
X(841){1,541}
X(842){1,542},{9,2247}
X(843){1,543}
X(846){37,846},{42,1046},{228,2939},{756,191},{1334,2938},{1500,1045},{1962,1},{2092,43},{2171,1719},{3122,1054},{3125,2640},{3728,63},{3747,2959},{3954,1761},{4705,513},{4890,57}
X(847){1,1147}
X(849){1,1089}
X(850){1,1576}
X(851){3,1937},{4,296},{9,2249},{573,1945},{851,1},{928,3737},{1758,21},{1765,1949},{1981,3270},{2249,3002},{2648,2651},{2655,29},{2656,2659},{3002,9}
X(858){1,1177}
X(859){2250,2245}
X(869){1,870},{4817,4724}
X(870){1,869}
X(872){1,873}
X(873){1,872}
X(874){1,875},{2238,798},{2664,649},{3510,513}
X(875){1,874},{190,659},{798,2238},{2663,3570}
X(876){1,3573},{100,659},{661,2238},{1961,3570}
X(877){1,878}
X(878){1,877}
X(879){1,4230},{1021,1755}
X(880){1,881}
X(881){1,880}
X(883){1,884}
X(884){1,883}
X(885){1,2283},{650,672},{4551,2254}
X(886){1,887}
X(887){1,886}
X(889){1,890},{43,3768}
X(890){1,889}
X(891){1,898},{4526,9}
X(892){1,351},{43,2642}
X(893){1,894},{514,3287}
X(894){1,893},{512,649},{4374,514}
X(895){1,468},{46,896},{1021,2642}
X(896){1,897},{9,111},{43,671},{46,895},{63,923},{896,1},{897,896},{2642,661}
X(897){1,896},{661,2642}
X(898){1,891},{9,3768},{1054,899}
X(899){9,739},{43,3227},{899,1},{1054,898},{3768,649},{4763,663}
X(900){1,901},{1023,649},{1639,9},{2804,40},{3943,1018}
X(901){1,900},{9,1635},{1252,1023}
X(902){1,903}
X(903){1,902},{43,44},{4040,1635}
X(904){1,1909}
X(905){1,1783},{109,650},{269,651},{513,1743},{663,218},{934,905},{1020,657},{1149,2427},{1420,101},{1459,6},{1616,1018},{1617,4551},{1633,513},{1769,44},{2849,2182},{3676,4383}
X(906){19,513},{1708,650},{1713,656},{1726,649},{1730,661}
X(907){1,3800}
X(908){1,909},{3738,649}
X(909){1,908},{63,2183}
X(910){9,103},{46,1815},{57,2338},{63,911},{103,241},{241,9},{294,518},{649,2424},{910,1},{911,1736},{971,57},{1736,63},{2338,971},{4040,2400}
X(911){63,910}
X(912){1,915}
X(913){1,914},{63,2252}
X(914){1,913}
X(915){1,912},{9,2252}
X(916){1,917}
X(917){1,916},{9,2253}
X(918){1,919}
X(919){1,918},{9,2254}
X(920){1,921},{19,19},{158,920},{225,46},{774,1},{2181,1707},{2588,2588},{2589,2589}
X(921){1,920}
X(923){63,896},{798,2642}
X(924){1,925}
X(925){1,924}
X(926){1,927},{666,659},{1025,513}
X(927){1,926},{1275,1025},{1742,2254}
X(928){1,929}
X(929){1,928}
X(930){1,1510}
X(932){1,4083}
X(933){3460,656}
X(934){1,3900},{9,657},{165,650},{1709,652},{2951,513}
X(936){1,937}
X(937){1,936}
X(938){1,939}
X(939){1,938}
X(940){1,941},{1697,573},{4658,6}
X(941){1,940}
X(942){1,943}
X(943){1,942}
X(944){1,945}
X(945){1,944}
X(946){1,947}
X(947){1,946}
X(948){1,949}
X(949){1,948}
X(950){1,951}
X(951){1,950}
X(952){1,953}
X(953){1,952},{9,2265}
X(954){1,955}
X(955){1,954}
X(956){1,957}
X(957){1,956}
X(958){1,959}
X(959){1,958}
X(960){1,961}
X(961){1,960}
X(962){1,963}
X(963){1,962}
X(966){1,967},{2551,1764}
X(967){1,966}
X(968){1,969}
X(969){1,968}
X(971){1,972},{518,40},{2338,910},{3100,3}
X(972){1,971},{9,2272}
X(976){1,977}
X(977){1,976}
X(978){1,979},{31,43},{56,978},{1042,1722},{1201,1},{1400,1743},{1401,57},{2300,6},{3937,1054}
X(979){1,978}
X(980){1,981}
X(981){1,980}
X(982){1,983}
X(983){1,982}
X(984){1,985},{1390,984},{1491,513}
X(985){1,984},{513,1491}
X(986){1,987},{832,513}
X(987){1,986}
X(988){1,989}
X(989){1,988}
X(992){261,39}
X(993){1,994}
X(994){1,993}
X(995){1,996}
X(996){1,995}
X(997){1,998}
X(998){1,997}
X(999){1,1000}
X(1000){1,999}
X(1001){1,1002},{4724,513}
X(1002){1,1001},{513,4724}
X(1005){1,1242}
X(1006){1,1243}
X(1009){1,1244}
X(1010){1,1245},{2484,798}
X(1011){1,1246}
X(1012){4653,3}
X(1014){1,210},{3309,661}
X(1015){1,1016},{3570,2238}
X(1016){1,1015},{1054,649}
X(1018){1,1019},{2,649},{6,513},{8,4063},{145,514},{346,3667},{940,4790},{1016,1018},{1616,905},{2176,4040},{2238,659},{3187,1021},{3589,2483},{3618,2484},{3621,4498},{3943,900},{4383,650},{4422,9},{4513,3309}
X(1019){1,1018},{86,3882},{99,1019},{100,661},{110,1021},{190,798},{523,9},{525,1759},{659,2238},{664,1577},{669,43},{804,1756},{890,2229},{900,2245},{932,1924},{1610,1783},{1621,100},{1633,656},{1634,3737},{2975,101},{3004,1211},{3265,1763},{3566,46},{3733,6},{4068,4436},{4360,190},{4367,1},{4427,649},{4436,513},{4453,3936},{4467,63},{4879,3501},{4897,57}
X(1020){1,1021},{2,657},{3,650},{4,652},{20,649},{30,654},{347,514},{411,661},{412,822},{1593,2522},{4192,3287},{4219,656},{4329,4063}
X(1021){1,1020},{110,1019},{523,1726},{525,9},{648,1021},{651,661},{653,822},{1625,3737},{1783,656},{1897,1577},{2451,43},{2501,46},{3187,1018},{3562,651},{3569,1756},{3732,798},{4560,1765}
X(1022){1,1023},{100,1635},{513,44},{679,3257},{4618,1022}
X(1023){1,1022},{44,513},{88,1635},{517,4063},{765,3257},{1252,901},{3218,649},{3315,88}
X(1024){1,1025},{101,2254},{514,672}
X(1025){1,1024},{171,1027},{238,650},{516,649},{1275,927},{1738,652},{3008,657},{4872,4063}
X(1026){1,1027},{238,513},{291,659},{672,649},{3009,4040}
X(1027){1,1026},{100,2254},{171,1025},{649,672},{663,2664},{4449,3507}
X(1028){1,1085}
X(1029){1,1030}
X(1030){1,1029},{4024,513}
X(1032){1,1033}
X(1033){1,1032}
X(1034){1,1035}
X(1035){1,1034}
X(1036){1,388},{652,2522}
X(1037){1,497}
X(1038){1,1039},{2522,650}
X(1039){1,1038},{650,2522}
X(1040){1,1041}
X(1041){1,1040}
X(1042){1,1043},{798,657}
X(1043){1,1042},{657,798}
X(1044){25,43},{64,1044},{800,9},{1042,1},{1204,1745},{2357,1707}
X(1045){42,1045},{1500,846},{2667,1},{3725,1740},{4079,4040}
X(1046){1,1247},{42,846},{65,1046},{1425,1047},{2092,9},{2171,1781},{2650,1},{3120,1054},{4516,2640},{4642,191}
X(1047){1,1248},{73,1047},{1425,1046},{2658,1}
X(1048){2594,1048}
X(1049){1,1077}
X(1050){1201,1050}
X(1051){1100,1051}
X(1052){244,1052},{764,1054},{3271,1053}
X(1053){2170,1053},{3271,1052},{4516,2957}
X(1054){244,1},{513,1054},{764,1052},{1015,9},{2087,44},{2170,1743},{2310,1707},{3120,1046},{3122,846},{3123,63},{3125,6},{3271,43},{3675,238},{3937,978},{4014,57}
X(1055){1,1121}
X(1056){1,1057}
X(1057){1,1056}
X(1058){1,1059}
X(1059){1,1058}
X(1060){1,1061}
X(1061){1,1060}
X(1062){1,1063}
X(1063){1,1062}
X(1064){1,1065}
X(1065){1,1064}
X(1066){1,1067}
X(1067){1,1066}
X(1068){1,1069}
X(1069){1,1068}
X(1073){1,1249}
X(1077){1,1049}
X(1081){1,1250}
X(1082){1,1251}
X(1085){1,1028}
X(1086){1,1252}
X(1088){1,1253},{4040,657}
X(1089){1,849}
X(1092){1,1093}
X(1093){1,1092}
X(1096){1,326},{798,822}
X(1098){1,1254}
X(1100){1,1255}
X(1101){1,1109}
X(1103){1,1256}
X(1104){1,1257}
X(1105){1,185}
X(1106){1,341}
X(1107){1,1258}
X(1109){1,1101}
X(1110){1,1111}
X(1111){1,1110}
X(1113){1,2574},{9,2578}
X(1114){1,2575},{9,2579}
X(1118){1,1259}
X(1119){1,1260},{3309,652}
X(1120){1,1149}
X(1121){1,1055},{43,1155}
X(1122){1,1261}
X(1123){1,1124}
X(1124){1,1123}
X(1125){1,1126}
X(1126){1,1125}
X(1127){1,1129}
X(1128){1,1130}
X(1129){1,1127}
X(1130){1,1128}
X(1131){1,1151}
X(1132){1,1152}
X(1134){1,1135}
X(1135){1,1134}
X(1136){1,1137}
X(1137){1,1136}
X(1138){1,399}
X(1139){1,3396}
X(1140){1,3369}
X(1141){1,1154},{9,2290}
X(1146){1,1262}
X(1147){1,847}
X(1149){1,1120}
X(1150){3872,573}
X(1151){1,1131}
X(1152){1,1132}
X(1154){1,1141}
X(1155){1,1156},{9,2291},{43,1121},{57,4845},{1155,1},{1156,1155},{1776,3},{3887,513}
X(1156){1,1155}
X(1157){1,1263}
X(1158){4,1753},{9,1766},{10,40},{281,19},{318,1158},{522,522}
X(1166){1,1209}
X(1167){1,1210}
X(1168){1,214}
X(1169){1,1211}
X(1170){1,1212}
X(1171){1,1213}
X(1172){1,1214},{650,656}
X(1173){1,140}
X(1174){1,142}
X(1175){1,442}
X(1176){1,427}
X(1177){1,858}
X(1178){1,1215}
X(1179){1,1216}
X(1181){1,1217}
X(1185){1,1218}
X(1191){1,1219}
X(1193){1,1220}
X(1197){1,1221}
X(1201){1,1222}
X(1202){1,1223}
X(1203){1,1224}
X(1209){1,1166}
X(1210){1,1167}
X(1211){1,1169},{3004,1019}
X(1212){1,1170}
X(1213){1,1171}
X(1214){1,1172},{656,650}
X(1215){1,1178}
X(1216){1,1179}
X(1217){1,1181}
X(1218){1,1185}
X(1219){1,1191}
X(1220){1,1193}
X(1221){1,1197}
X(1222){1,1201}
X(1223){1,1202}
X(1224){1,1203}
X(1231){1,2204}
X(1242){1,1005}
X(1243){1,1006}
X(1244){1,1009}
X(1245){1,1010},{798,2484},{1021,2522}
X(1246){1,1011}
X(1247){1,1046}
X(1248){1,1047}
X(1249){1,1073}
X(1250){1,1081}
X(1251){1,1082}
X(1252){1,1086}
X(1253){1,1088}
X(1254){1,1098}
X(1255){1,1100}
X(1256){1,1103}
X(1257){1,1104}
X(1258){1,1107}
X(1259){1,1118}
X(1260){1,1119}
X(1261){1,1122}
X(1262){1,1146},{1768,650}
X(1263){1,1157}
X(1265){1,1398}
X(1268){1,2308}
X(1275){1054,657}
X(1276){519,1277}
X(1277){519,1276}
X(1279){1,1280}
X(1280){1,1279},{1743,2348}
X(1282){518,1282},{3126,513}
X(1292){1,3309},{3174,513}
X(1293){1,3667},{9,4394},{2136,513},{3158,3309},{3880,2827}
X(1296){1,1499}
X(1297){1,1503},{9,2312}
X(1298){9,2313}
X(1299){9,2314}
X(1300){9,2315}
X(1301){3182,656}
X(1304){9,2631},{3464,656}
X(1308){1,3887}
X(1310){9,2484},{1707,2522}
X(1317){1,1318}
X(1318){1,1317}
X(1319){1,1320},{1635,650},{2827,513}
X(1320){1,1319},{650,1635},{1743,44}
X(1323){1,4845}
X(1329){1,3450}
X(1330){1,3437}
X(1331){19,649},{46,513},{579,661},{1714,656},{1723,650},{1731,1635},{1732,4893},{1738,2254}
X(1332){46,649},{1707,513},{1722,650},{1724,661},{1730,798},{1739,1635}
X(1333){1,321},{4063,661}
X(1334){1,1434},{4369,649},{4964,4498}
X(1335){1,1336}
X(1336){1,1335}
X(1337){1,3479}
X(1338){1,3480}
X(1350){1,3424}
X(1352){1,3425}
X(1357){1,4076}
X(1362){1024,650}
X(1376){663,513},{4163,521},{4521,3309}
X(1379){1,3413}
X(1380){1,3414}
X(1381){1,3307},{9,2590},{2591,650},{3308,513}
X(1382){1,3308},{9,2591},{2590,650},{3307,513}
X(1383){1,599}
X(1385){1,1389}
X(1386){1,1390}
X(1387){1,1391}
X(1388){1,1392}
X(1389){1,1385}
X(1390){1,1386}
X(1391){1,1387}
X(1392){1,1388}
X(1395){1,3718}
X(1396){1,3694},{3309,656}
X(1397){1,3596}
X(1398){1,1265}
X(1400){1,333},{1019,650},{1577,652},{2298,10},{4017,514},{4298,57},{4369,657}
X(1402){1,314},{798,650}
X(1407){1,346},{3667,650},{4063,657}
X(1408){1,3701}
X(1409){1577,650}
X(1411){1,4511},{573,2245},{649,654}
X(1412){1,2321},{3667,661}
X(1414){1,4041},{165,661},{846,650},{1719,652},{1721,656},{1766,798},{1781,657},{2938,513},{2941,649}
X(1415){1,4391},{63,650},{1726,652},{1764,661},{1765,656},{1766,513}
X(1416){1,3717},{1766,672},{3667,2254}
X(1417){1,4723},{1766,44}
X(1419){3900,650}
X(1420){1,3680},{4394,650}
X(1422){1,2324}
X(1423){1,2319},{667,650},{983,3501}
X(1426){1,1792}
X(1427){1,2287},{1019,657}
X(1428){1,4518}
X(1429){1,4876},{659,650}
X(1431){649,3287}
X(1432){1,2329},{513,3287}
X(1434){1,1334},{3667,798}
X(1435){1,3692},{3667,652}
X(1436){1,329}
X(1438){1,3912},{63,672},{649,2254}
X(1439){1,4183},{1021,657}
X(1441){1,2194}
X(1443){654,657}
X(1444){1,1824},{1734,661}
X(1445){7,169},{1088,1445},{1699,19},{3673,63},{3676,657},{4905,650}
X(1446){3737,657}
X(1447){665,657}
X(1449){4790,513}
X(1459){1,1897}
X(1460){2484,650}
X(1461){1,3239},{20,661},{40,650},{63,657},{1158,652}
X(1462){1,3693},{40,672},{3309,2254}
X(1465){102,2182},{104,44},{1455,1743},{1870,6},{3738,650}
X(1472){1,4385}
X(1474){1,306},{649,656}
X(1475){4021,9},{4038,2}
X(1476){1,3057}
X(1477){9,2348}
X(1478){1,3422},{1065,1478}
X(1479){1067,1479}
X(1486){4468,513}
X(1487){1,1493}
X(1490){1,3345},{72,40},{78,1490},{212,165},{219,610},{1040,223},{2318,2947}
X(1491){1,1492},{9,825},{43,4586},{182,4551},{513,985},{650,2344},{1491,1},{1492,1491},{1740,789},{3216,4613},{4384,692}
X(1492){1,1491}
X(1493){1,1487}
X(1494){1,1495},{43,2173}
X(1495){1,1494}
X(1498){1,3346},{2360,3}
X(1499){1,1296}
X(1500){1,1509}
X(1501){1,1502}
X(1502){1,1501}
X(1503){1,1297}
X(1509){1,1500}
X(1510){1,930}
X(1512){3872,104}
X(1575){9,727},{43,3226},{239,6},{292,238},{1575,1},{2664,3253}
X(1576){1,850},{1726,656},{1759,661}
X(1577){1,163},{162,822},{662,798},{664,1019},{811,1577},{1897,1021},{2617,661}
X(1580){1,1581},{1910,1580},{1933,31},{1967,2227},{2312,1707},{3404,1755}
X(1581){1,1580},{31,2236}
X(1582){2084,661}
X(1613){1,2998}
X(1633){19,1734},{25,656},{33,522},{200,513},{1110,100},{2321,830},{2324,3309}
X(1634){4418,513}
X(1635){1,3257},{9,901},{43,4555},{44,100},{88,1023},{100,1022},{191,4591},{513,88},{514,2316},{517,651},{522,1797},{649,106},{650,1320},{661,4674},{846,4622},{901,3960},{978,4582},{1022,44},{1023,513},{1045,4615},{1635,1},{1731,1331},{1739,1332},{1769,63},{2827,57},{3218,101},{3257,1635},{3737,4080},{3960,9},{4040,903},{4585,661},{4674,4585},{4893,4792}
X(1652){553,1653},{554,1652}
X(1653){553,1652},{1081,1653}
X(1654){1,2248},{4705,649}
X(1659){1,2066}
X(1670){1,1677}
X(1671){1,1676}
X(1676){1,1671}
X(1677){1,1670}
X(1685){4281,1686}
X(1686){4281,1685}
X(1687){1,2009}
X(1688){1,2010}
X(1689){3736,1690}
X(1690){3736,1689}
X(1691){1,1916}
X(1697){3731,9}
X(1698){4205,191},{4813,649}
X(1699){2293,165},{3058,40}
X(1707){19,1707},{25,1722},{31,1},{607,1721},{1400,43},{1824,46},{1880,1711},{2083,610},{2179,1740},{2181,920},{2310,1054},{2312,1580},{2333,1716},{2355,1724},{2356,1738},{2357,1044},{3708,2640}
X(1708){4,19},{33,1752},{57,169},{158,1741},{225,1723},{273,1708},{1210,9},{1393,1743},{1785,1731},{1838,579},{3668,57}
X(1709){33,46},{37,165},{55,40},{281,1709},{650,1734},{1855,19},{1856,1753},{1859,1715},{4081,1768}
X(1710){12,191},{37,1761},{429,46},{1826,1744},{4705,1734}
X(1711){25,46},{393,1711},{800,43},{1880,1707},{3199,1716},{3767,9}
X(1712){1895,1712}
X(1713){28,1730},{278,579},{393,1714},{1841,46},{3086,2}
X(1714){34,1724},{393,1713},{1474,579},{1842,46},{1851,1730},{3554,6}
X(1715){4,4},{1172,1765},{1857,1779},{1858,90},{1859,1709},{1896,1715}
X(1716){25,1716},{32,43},{1196,9},{1402,1740},{1843,46},{2333,1707},{3199,1711}
X(1717){1844,46}
X(1718){1845,46},{1870,1718}
X(1719){42,191},{430,46},{1826,1719},{2171,846}
X(1720){208,46},{227,2956}
X(1721){33,1721},{41,165},{42,1742},{607,1707},{1827,46},{4336,1}
X(1722){25,1707},{34,1722},{604,1743},{1042,978},{1828,46},{1880,1723},{2354,579},{3924,1}
X(1723){19,46},{56,57},{225,1708},{278,1723},{393,1728},{1108,1},{1427,1743},{1829,1730},{1841,1724},{1880,1722},{1886,1738},{3772,9}
X(1724){19,579},{28,1724},{34,1714},{56,3216},{614,2},{1104,1},{1333,6},{1829,46},{1841,1723},{1870,1739},{2299,1754},{2355,1707}
X(1725){1835,46},{2159,2173}
X(1726){2,1759},{5,9},{92,1729},{264,1726},{427,46},{429,1744},{442,1761},{523,1021},{1441,63},{2450,1756},{3007,3218},{3136,191},{3142,1781}
X(1727){1785,46}
X(1728){34,46},{393,1723},{1436,2270}
X(1729){92,1726},{331,1729},{1446,169}
X(1730){4,579},{7,2},{28,1713},{29,1765},{286,1730},{942,9},{1829,1723},{1851,1714}
X(1731){106,3218},{1785,1708}
X(1732){2163,3306}
X(1733){1874,46},{1910,1755}
X(1734){19,1633},{33,109},{650,1709},{663,1777},{692,513},{1783,1734},{2509,9},{3064,1754},{3700,171},{3900,1},{4559,4040},{4705,1710}
X(1735){1875,46}
X(1736){911,910},{1876,46}
X(1737){909,2183},{1877,46}
X(1738){1438,672},{1886,1723},{2201,579},{2356,1707}
X(1739){1870,1724},{1878,46}
X(1740){1,3223},{31,1740},{213,43},{1197,6},{1402,1716},{1919,4040},{1924,661},{1964,1},{2085,63},{2179,1707},{2223,3510},{3725,1045}
X(1741){158,1708},{278,19}
X(1742){41,43},{42,1721},{55,1742},{657,4040},{1200,1743},{1253,170},{1334,165},{2293,1},{3063,3309},{3688,40}
X(1743){6,1},{42,4859},{57,1743},{65,57},{513,905},{603,223},{604,1722},{910,238},{1193,2},{1200,1742},{1393,1708},{1400,978},{1427,1723},{1455,1465},{1456,241},{1457,3911},{1458,3008},{1468,2999},{1475,43},{2082,165},{2170,1054},{2182,36},{2260,3216},{2262,46},{2264,3},{2285,3361},{2999,3731},{3669,650},{3752,9},{4394,513},{4498,649}
X(1744){65,1762},{429,1726},{1826,1710},{1865,46}
X(1745){1,3362},{3,1745},{71,610},{73,1},{184,43},{185,46},{212,2947},{216,9},{520,3737},{1204,1044},{3270,2636},{3917,1763},{4303,3468}
X(1748){1,1820}
X(1749){1725,1},{2166,1749},{2173,19}
X(1750){6,165},{33,1},{282,1750},{1864,40}
X(1751){1,579}
X(1752){33,1708},{1855,46}
X(1753){4,1158},{1856,1709}
X(1754){19,1779},{33,4},{1172,1754},{1859,46},{2082,573},{2194,3},{2264,165},{2299,1724},{3064,1734}
X(1755){1,1821},{9,98},{19,293},{43,290},{46,287},{63,1910},{75,3404},{1019,2395},{1021,879},{1580,75},{1581,1966},{1707,336},{1726,248},{1733,63},{1755,1},{1756,2},{1759,1976},{1821,1755},{1910,1733},{1955,92},{2311,740},{3404,1580}
X(1756){98,1756},{230,9},{237,43},{804,1019},{1284,1},{1503,46},{2450,1726},{3569,1021}
X(1757){1,1929},{291,1757},{518,1},{876,659},{1575,9}
X(1758){1,2648},{1937,1758}
X(1759){2,1726},{76,1759},{141,9},{313,1760},{321,63},{343,1763},{525,1019},{1211,1762},{1229,1766},{3721,1},{3782,57},{4391,4063}
X(1760){1,2156},{313,1759},{561,1760},{1930,63},{2887,9},{4118,1},{4920,57}
X(1761){10,1762},{37,1710},{321,1761},{442,1726},{594,191},{1211,9},{3954,846},{4016,1},{4036,4063},{4415,1781},{4647,63}
X(1762){10,1761},{12,1781},{65,1744},{442,9},{1211,1759},{1441,1762},{3925,191}
X(1763){3,9},{69,1763},{72,610},{307,63},{343,1759},{1071,282},{1439,2184},{1899,46},{3265,1019},{3917,1745}
X(1764){8,573},{21,1765},{314,1764},{497,4},{960,9},{2551,966},{3702,1766},{3706,40},{4459,1768}
X(1765){2,573},{21,1764},{29,1730},{281,4},{1172,1715},{4560,1021}
X(1766){8,63},{9,1158},{312,1766},{1229,1759},{2170,1768},{2321,40},{3239,3667},{3452,9},{3687,573},{3702,1764},{4397,4063}
X(1767){342,1767}
X(1768){11,40},{522,1768},{1146,9},{2170,1766},{2310,165},{3119,169},{4081,1709},{4459,1764},{4516,2941}
X(1769){1870,109},{4242,656}
X(1770){2259,71}
X(1771){1887,46}
X(1773){388,1773}
X(1777){663,1734},{1902,46}
X(1779){19,1754},{1857,1715},{2299,4}
X(1781){12,1762},{37,191},{226,1781},{1901,46},{2171,1046},{2292,63},{2294,1},{3142,1726},{3649,57},{4415,1761}
X(1782){523,522}
X(1783){1,905},{6,656},{57,652},{223,650},{610,513},{1610,1019},{1630,3737},{1730,822},{1763,649},{2331,522},{2999,2522}
X(1784){2159,2315},{2631,822}
X(1785){1,1795},{909,2252}
X(1789){1,1825}
X(1790){1,1826},{522,661},{1727,2245}
X(1791){1,1829}
X(1792){1,1426}
X(1793){1,1835},{1723,2245}
X(1794){1,1838}
X(1795){1,1785},{19,2183}
X(1796){1,1839}
X(1797){46,44},{522,1635}
X(1798){1,429}
X(1799){1,1843}
X(1800){3064,661}
X(1802){1,1847}
X(1803){1,1855}
X(1804){1,1857}
X(1807){1,1870},{579,2245},{652,654}
X(1808){1,1874},{1723,2238}
X(1809){1,1875},{1723,2183}
X(1810){1723,2348}
X(1811){1,1878}
X(1812){1,1880}
X(1813){1,3064},{4,661},{46,650},{920,652},{1158,649},{1708,657},{1709,513},{1727,654},{1779,656}
X(1814){46,672},{1734,2254}
X(1815){1,1886},{46,910}
X(1817){1,1903},{521,661}
X(1820){1,1748}
X(1821){1,1755}
X(1822){1,2588},{19,2578},{2579,661},{2589,656}
X(1823){1,2589},{19,2579},{2578,661},{2588,656}
X(1824){1,1444}
X(1825){1,1789}
X(1826){1,1790}
X(1829){1,1791}
X(1835){1,1793}
X(1838){1,1794}
X(1839){1,1796}
X(1843){1,1799}
X(1847){1,1802}
X(1848){1,2359}
X(1855){1,1803}
X(1857){1,1804}
X(1870){1,1807},{654,652}
X(1874){1,1808}
X(1875){1,1809}
X(1877){1635,652}
X(1878){1,1811}
X(1880){1,1812},{1019,652}
X(1886){1,1815}
X(1896){650,822}
X(1897){1,1459},{579,822},{610,649},{1743,652},{1745,513},{3216,656}
X(1903){1,1817}
X(1909){1,904}
X(1910){1,1959},{63,1755}
X(1911){1,350},{4063,659}
X(1914){1,335}
X(1916){1,1691}
X(1917){1,1928}
X(1918){1,310}
X(1919){1,1978}
X(1921){1,1922}
X(1922){1,1921}
X(1924){1,4602},{799,661},{932,1019}
X(1926){1,1927}
X(1927){1,1926}
X(1928){1,1917}
X(1929){1,1757}
X(1931){1929,2238}
X(1933){1,1934}
X(1934){1,1933}
X(1935){647,650}
X(1936){1,1937},{928,513}
X(1937){1,1936},{3,851}
X(1940){647,652}
X(1942){1,450}
X(1944){1,1945},{928,649}
X(1945){1,1944},{573,851}
X(1948){1,1949}
X(1949){1,1948},{1765,851}
X(1951){1,1952}
X(1952){1,1951}
X(1953){1,2167}
X(1955){1,1956},{293,1955}
X(1956){1,1955},{48,2313}
X(1957){810,656}
X(1958){810,661}
X(1959){1,1910},{293,2312}
X(1960){1,4555}
X(1964){1,3112}
X(1965){2084,798}
X(1966){1,1967},{1581,1755},{1926,75}
X(1967){1,1966},{75,2236}
X(1971){1,1972}
X(1972){1,1971}
X(1973){1,304},{798,656}
X(1974){1,305}
X(1976){1,325},{1759,1755}
X(1978){1,1919},{1740,649},{3216,798}
X(1981){1758,652},{2655,650}
X(1983){2149,2222},{4282,3737}
X(1987){1,401}
X(1988){1,3164}
X(1989){1,323},{1019,2624}
X(1993){1,2165}
X(1994){1,2963}
X(2003){523,650}
X(2006){1,2323},{3,2245},{513,654}
X(2009){1,1687}
X(2010){1,1688}
X(2051){1,572},{4267,573}
X(2052){1,577},{3737,822}
X(2053){1,3212}
X(2065){1,114}
X(2066){1,1659}
X(2077){2804,513}
X(2078){1,3254},{2826,513}
X(2082){982,63},{3663,9}
X(2084){1,4593}
X(2087){3257,44}
X(2093){2099,1},{3577,2093}
X(2099){1,2320},{4893,650}
X(2106){4455,661}
X(2107){1,2669}
X(2108){238,2108}
X(2110){4375,513}
X(2114){3126,650}
X(2120){1,2121}
X(2121){1,2120}
X(2122){1,2123}
X(2123){1,2122}
X(2124){1,2125},{3160,2124}
X(2125){1,2124}
X(2126){1,2127}
X(2127){1,2126}
X(2128){1,2129}
X(2129){1,2128}
X(2130){1,2131}
X(2131){1,2130}
X(2132){1,2133}
X(2133){1,2132}
X(2134){1,2135}
X(2135){1,2134}
X(2136){1,2137},{145,2136},{3161,9}
X(2137){1,2136}
X(2138){1,2139}
X(2139){1,2138}
X(2140){1,2141}
X(2141){1,2140}
X(2142){1,2143}
X(2143){1,2142}
X(2149){1,4858}
X(2156){1,1760}
X(2159){63,2173},{1577,2631}
X(2160){1,3219}
X(2161){1,3218},{2,2245},{514,654},{1387,57}
X(2162){1,192}
X(2163){1,3679},{649,4893}
X(2165){1,1993}
X(2166){48,2290},{661,2624}
X(2167){1,1953},{1749,2290}
X(2170){1,4564},{1025,672}
X(2171){1,2185}
X(2173){1,2349},{9,74},{43,1494},{63,2159},{1019,2433},{1725,63},{2159,1725},{2173,1},{2341,758},{2349,2173},{2631,656},{3737,2394}
X(2176){1,330}
X(2178){1,2994}
X(2182){9,102},{102,1465},{514,2432},{1465,9},{1735,63},{2182,1},{2849,905}
X(2183){2,2250},{9,104},{19,1795},{36,2},{63,909},{80,3218},{104,3911},{169,2342},{513,2401},{515,57},{909,1737},{1723,1809},{1737,63},{2183,1},{2250,36},{2316,519},{3738,514},{3762,649},{3911,9},{4063,2423},{4242,4466}
X(2184){1,610},{1439,1763}
X(2185){1,2171}
X(2187){1,309}
X(2188){1,342}
X(2191){1,3870}
X(2192){1,347}
X(2194){1,1441}
X(2195){169,672},{514,2254}
X(2196){1730,2238}
X(2203){4063,656}
X(2204){1,1231}
X(2206){1,313}
X(2207){1,3926}
X(2208){1,322}
X(2210){1,334}
X(2212){4369,656}
X(2213){1,452}
X(2217){1,3869}
X(2218){1,3868}
X(2221){1,2345},{522,2522},{4063,2484}
X(2222){1,3738},{9,654},{48,2600},{572,2610},{2149,1983}
X(2223){1,2481},{812,513}
X(2224){63,2225}
X(2225){9,675},{63,2224},{2225,1}
X(2226){1,4370}
X(2227){9,699},{43,3225},{1966,31},{1967,1580},{2227,1}
X(2228){9,713},{2228,1}
X(2229){9,715},{890,1019},{2229,1}
X(2230){9,717},{2230,1}
X(2231){9,719},{2231,1}
X(2232){9,721},{2232,1}
X(2233){9,723},{2233,1}
X(2234){9,729},{43,3228},{2234,1}
X(2235){9,731},{2235,1}
X(2236){9,733},{31,1581},{75,1967},{1581,3405},{2236,1},{3405,31}
X(2237){9,735},{2237,1}
X(2238){2,292},{6,291},{9,741},{57,2311},{385,2275},{511,57},{579,295},{659,1019},{661,876},{665,3737},{798,875},{1019,3572},{1054,4584},{1723,1808},{1730,2196},{1757,81},{1929,1931},{2238,1},{2311,511},{2664,86},{2665,2669},{3216,335},{3229,87},{3509,58},{3510,274},{3570,1015},{3572,659},{3737,4444},{4383,4876},{4444,665}
X(2239){9,743},{2239,1}
X(2240){9,745},{2240,1}
X(2243){9,753},{2243,1}
X(2244){9,755},{2244,1}
X(2245){2,2161},{3,2006},{6,80},{9,759},{30,57},{57,2341},{484,81},{573,1411},{579,1807},{654,3737},{900,1019},{1723,1793},{1727,1790},{1983,11},{2088,2606},{2245,1},{2250,859},{2341,30},{2610,523},{2624,2605},{3465,27},{4282,5}
X(2246){9,840},{2246,1},{2801,57}
X(2247){9,842},{2247,1}
X(2248){1,1654}
X(2249){9,851}
X(2250){2,2183}
X(2252){9,915},{46,2990},{63,913},{908,19},{909,1785},{1021,3657},{2077,278},{2252,1},{2323,4}
X(2253){9,917},{46,2989},{2253,1}
X(2254){9,919},{43,666},{100,1027},{101,1024},{238,100},{291,3573},{513,105},{514,2195},{516,109},{649,1438},{650,294},{672,101},{812,31},{1024,672},{1025,663},{1027,238},{1734,1814},{1738,1331},{1742,927},{2254,1},{2820,57},{3008,3939},{3309,1462},{3667,1416},{4040,673},{4444,3747},{4551,885}
X(2257){3333,57}
X(2261){2317,1}
X(2265){9,953},{1772,63},{2265,1},{2800,57}
X(2270){4,57},{57,9},{189,2270},{282,84},{1210,63},{1436,1728},{2262,1},{4292,2}
X(2272){9,972},{2272,1},{2338,516}
X(2275){385,2238}
X(2279){1,4384},{649,4724}
X(2281){1577,2522}
X(2283){1,885},{516,513},{672,650}
X(2284){672,513},{3008,650}
X(2285){1,2339},{986,63},{3671,57}
X(2287){1,1427},{905,661}
X(2290){9,1141},{48,2166},{1749,2167},{2290,1},{2624,2616}
X(2291){1,527},{9,1155}
X(2292){1,2363}
X(2297){1,2999}
X(2298){1,3666}
X(2299){1,307},{514,656}
X(2303){2522,656}
X(2308){1,1268}
X(2311){57,2238}
X(2312){9,1297},{240,63},{293,1959},{1021,2435},{2312,1}
X(2313){9,1298},{48,1956},{2313,1}
X(2314){9,1299},{2314,1}
X(2315){9,1300},{46,2986},{2159,1784},{2315,1}
X(2316){1,3911},{57,44},{514,1635},{1168,88}
X(2319){1,1423}
X(2320){1,2099},{650,4893}
X(2321){1,1412}
X(2323){1,2006},{654,513},{2990,2323}
X(2324){1,1422},{4091,649}
X(2325){3960,649}
X(2328){1,3668},{657,661}
X(2329){1,1432},{3287,513}
X(2331){4091,652}
X(2332){657,656}
X(2333){4369,652}
X(2334){1,3616},{649,4790}
X(2338){57,910}
X(2339){1,2285},{514,2484}
X(2341){57,2245}
X(2342){169,2183}
X(2344){650,1491}
X(2345){1,2221}
X(2346){1,354}
X(2348){9,1477},{105,241},{518,57},{1723,1810},{1743,1280},{2348,1}
X(2349){1,2173},{656,2631}
X(2351){1,317}
X(2352){1,2997}
X(2353){1,315}
X(2359){1,1848}
X(2360){3239,661}
X(2363){1,2292}
X(2364){514,4893}
X(2365){1,2385}
X(2366){1,2386}
X(2367){1,2387}
X(2368){1,2388}
X(2369){1,2389}
X(2370){1,2390}
X(2371){1,2391}
X(2372){1,2392}
X(2373){1,2393}
X(2378){1,530}
X(2379){1,531}
X(2380){1,532}
X(2381){1,533}
X(2382){1,537}
X(2383){1,539}
X(2384){1,545}
X(2385){1,2365}
X(2386){1,2366}
X(2387){1,2367}
X(2388){1,2368}
X(2389){1,2369}
X(2390){1,2370}
X(2391){1,2371}
X(2392){1,2372}
X(2393){1,2373}
X(2394){1,2420},{3737,2173}
X(2395){1,2421},{1019,1755}
X(2396){1,2422},{1756,798}
X(2397){1,2423},{36,649}
X(2398){1,2424},{910,649}
X(2399){1,2425}
X(2400){1,2426},{4040,910}
X(2401){1,2427},{513,2183}
X(2402){1,2428},{4905,672}
X(2403){1,2429}
X(2404){1,2430}
X(2405){1,2431}
X(2406){1,2432},{1465,657},{1735,652}
X(2407){1,2433}
X(2408){1,2434}
X(2409){1,2435}
X(2410){1,2436}
X(2411){1,2437}
X(2412){1,2438}
X(2413){1,2439}
X(2414){1,2440}
X(2415){1,2441}
X(2416){1,2442}
X(2417){1,2443}
X(2418){1,2444}
X(2419){1,2445}
X(2420){1,2394}
X(2421){1,2395},{1756,661}
X(2422){1,2396}
X(2423){1,2397},{4063,2183}
X(2424){1,2398},{649,910}
X(2425){1,2399}
X(2426){1,2400}
X(2427){1,2401},{1149,905},{2183,513},{3911,650}
X(2428){1,2402}
X(2429){1,2403},{3218,4394}
X(2430){1,2404}
X(2431){1,2405}
X(2432){1,2406},{514,2182}
X(2433){1,2407},{1019,2173}
X(2434){1,2408}
X(2435){1,2409},{1021,2312}
X(2436){1,2410}
X(2437){1,2411}
X(2438){1,2412}
X(2439){1,2413}
X(2440){1,2414}
X(2441){1,2415},{4498,44}
X(2442){1,2416}
X(2443){1,2417}
X(2444){1,2418}
X(2445){1,2419}
X(2448){11,2449},{2447,1},{3308,2448}
X(2449){11,2448},{2446,1},{3307,2449}
X(2481){1,2223},{43,672}
X(2483){9,831},{831,3004},{2483,1},{3004,9},{3589,1018}
X(2484){9,1310},{514,2339},{798,1245},{2484,1},{2522,69},{2999,190},{3618,1018},{4063,2221}
X(2489){1,4563}
X(2501){1,4558}
X(2503){542,57},{2503,1}
X(2509){2509,1},{4025,6}
X(2511){2511,1}
X(2515){2515,1}
X(2516){2516,1}
X(2522){522,2221},{650,1039},{652,1036},{1021,1245},{1577,2281},{1593,1020},{1707,1310},{2484,25},{2522,1},{2999,1783}
X(2526){2526,1}
X(2550){1,3423}
X(2574){1,1113},{1021,2579}
X(2575){1,1114},{1021,2578}
X(2576){1,2582},{63,2578},{2579,656},{2583,661}
X(2577){1,2583},{63,2579},{2578,656},{2582,661}
X(2578){1,2580},{9,1113},{19,1822},{63,2576},{610,2586},{656,2583},{661,2589},{822,2585},{1021,2575},{1577,2579},{1822,2582},{2576,2588},{2578,1},{2580,2578},{2582,19},{2588,63},{3737,2593}
X(2579){1,2581},{9,1114},{19,1823},{63,2577},{610,2587},{656,2582},{661,2588},{822,2584},{1021,2574},{1577,2578},{1823,2583},{2577,2589},{2579,1},{2581,2579},{2583,19},{2589,63},{3737,2592}
X(2580){1,2578},{2583,798},{2589,822}
X(2581){1,2579},{2582,798},{2588,822}
X(2582){1,2576},{656,2579},{1822,2578},{2584,610}
X(2583){1,2577},{656,2578},{1823,2579},{2585,610}
X(2584){1,2586},{822,2579}
X(2585){1,2587},{822,2578}
X(2586){1,2584},{610,2578},{2579,822}
X(2587){1,2585},{610,2579},{2578,822}
X(2588){1,1822},{661,2579},{2576,2578},{2586,2588},{2588,920}
X(2589){1,1823},{661,2578},{2577,2579},{2587,2589},{2589,920}
X(2590){9,1381},{514,2591},{650,3308},{2448,651},{2590,1},{3307,57}
X(2591){9,1382},{514,2590},{650,3307},{2449,651},{2591,1},{3308,57}
X(2592){3737,2579}
X(2593){3737,2578}
X(2594){1,3615},{2624,654}
X(2595){2081,654}
X(2596){1,2597}
X(2597){1,2596}
X(2600){48,2222},{654,54},{1983,2616},{2081,2601},{2600,1},{4282,4551}
X(2601){2081,2600}
X(2602){1,2603}
X(2603){1,2602}
X(2605){2624,2245}
X(2606){2088,2245}
X(2607){1,2608}
X(2608){1,2607}
X(2610){30,4565},{484,4556},{572,2222},{654,60},{661,759},{900,593},{1983,3737},{2088,2612},{2245,110},{2610,1},{4282,2617}
X(2612){2088,2610}
X(2613){1,2614}
X(2614){1,2613}
X(2616){1,2617},{1983,2600},{2624,2290}
X(2617){1,2616},{47,656},{48,661},{1101,2617},{2290,2624},{4282,2610}
X(2620){1,2621}
X(2621){1,2620}
X(2624){5,655},{9,476},{654,3615},{661,2166},{1019,1989},{1021,265},{1749,662},{2290,2617},{2624,1},{3737,94}
X(2626){1,2627}
X(2627){1,2626}
X(2629){656,2629},{810,2640},{2632,1},{3708,610}
X(2630){2630,1}
X(2631){9,1304},{656,2349},{1021,74},{1577,2159},{1725,662},{2173,162},{2341,4242},{2631,1}
X(2635){2635,1},{2637,652}
X(2636){652,2636},{2638,1},{3270,1745}
X(2637){2635,653},{2637,1}
X(2640){661,2640},{810,2629},{2643,1},{3122,191},{3125,846},{3708,1707},{4516,1046}
X(2641){2641,1}
X(2642){9,691},{43,892},{661,897},{798,923},{896,662},{1019,111},{1021,895},{2642,1},{3737,671}
X(2648){1,1758}
X(2651){1,2652},{2648,851}
X(2652){1,2651}
X(2655){1,2656},{296,2655}
X(2656){1,2655}
X(2659){1,2660},{2656,851}
X(2660){1,2659}
X(2664){1,2665},{292,2664},{663,1027},{672,43},{875,659},{3009,1},{4455,513}
X(2665){1,2664}
X(2669){1,2107},{2665,2238}
X(2671){1,2673}
X(2672){1,2674}
X(2673){1,2671}
X(2674){1,2672}
X(2687){1,2771}
X(2688){1,2772}
X(2689){1,2773}
X(2690){1,2774}
X(2691){1,2775}
X(2692){1,2776}
X(2693){1,2777}
X(2694){1,2778}
X(2695){1,2779}
X(2696){1,2780}
X(2697){1,2781}
X(2698){1,2782}
X(2699){1,2783}
X(2700){1,2784}
X(2701){1,2785}
X(2702){1,2786}
X(2703){1,2787}
X(2704){1,2788}
X(2705){1,2789}
X(2706){1,2790}
X(2707){1,2791}
X(2708){1,2792}
X(2709){1,2793}
X(2710){1,2794}
X(2711){1,2795}
X(2712){1,2796}
X(2713){1,2797}
X(2714){1,2798}
X(2715){1,2799}
X(2716){1,2800}
X(2717){1,2801}
X(2718){1,2802}
X(2719){1,2803}
X(2720){1,2804},{2950,513}
X(2721){1,2805}
X(2722){1,2806}
X(2723){1,2807}
X(2724){1,2808}
X(2725){1,2809}
X(2726){1,2810}
X(2727){1,2811}
X(2728){1,2812}
X(2729){1,2813}
X(2730){1,2814}
X(2731){1,2815}
X(2732){1,2816}
X(2733){1,2817}
X(2734){1,2818}
X(2735){1,2819}
X(2736){1,2820}
X(2737){1,2821}
X(2738){1,2822}
X(2739){1,2823}
X(2740){1,2824}
X(2741){1,2825}
X(2742){1,2826}
X(2743){1,2827}
X(2744){1,2828}
X(2745){1,2829}
X(2746){1,2830}
X(2747){1,2831}
X(2748){1,2832}
X(2749){1,2833}
X(2750){1,2834}
X(2751){1,2835}
X(2752){1,2836}
X(2753){1,2837}
X(2754){1,2838}
X(2755){1,2839}
X(2756){1,2840}
X(2757){1,2841}
X(2758){1,2842}
X(2759){1,2843}
X(2760){1,2844}
X(2761){1,2845}
X(2762){1,2846}
X(2763){1,2847}
X(2764){1,2848}
X(2765){1,2849}
X(2766){1,2850}
X(2767){1,2851}
X(2768){1,2852}
X(2769){1,2853}
X(2770){1,2854}
X(2771){1,2687}
X(2772){1,2688}
X(2773){1,2689}
X(2774){1,2690}
X(2775){1,2691}
X(2776){1,2692}
X(2777){1,2693}
X(2778){1,2694}
X(2779){1,2695}
X(2780){1,2696}
X(2781){1,2697}
X(2782){1,2698}
X(2783){1,2699}
X(2784){1,2700}
X(2785){1,2701}
X(2786){1,2702},{3573,649}
X(2787){1,2703}
X(2788){1,2704}
X(2789){1,2705}
X(2790){1,2706}
X(2791){1,2707}
X(2792){1,2708}
X(2793){1,2709}
X(2794){1,2710}
X(2795){1,2711}
X(2796){1,2712}
X(2797){1,2713}
X(2798){1,2714}
X(2799){1,2715}
X(2800){1,2716},{2802,40}
X(2801){1,2717}
X(2802){1,2718}
X(2803){1,2719}
X(2804){1,2720}
X(2805){1,2721}
X(2806){1,2722}
X(2807){1,2723}
X(2808){1,2724}
X(2809){1,2725}
X(2810){1,2726}
X(2811){1,2727}
X(2812){1,2728}
X(2813){1,2729}
X(2814){1,2730}
X(2815){1,2731}
X(2816){1,2732}
X(2817){1,2733}
X(2818){1,2734}
X(2819){1,2735}
X(2820){1,2736},{2340,100},{3208,813},{3900,103}
X(2821){1,2737}
X(2822){1,2738}
X(2823){1,2739}
X(2824){1,2740}
X(2825){1,2741}
X(2826){1,2742}
X(2827){1,2743},{522,104},{3738,40},{3880,1293},{4511,100},{4895,165}
X(2828){1,2744}
X(2829){1,2745},{952,40}
X(2830){1,2746}
X(2831){1,2747}
X(2832){1,2748}
X(2833){1,2749}
X(2834){1,2750}
X(2835){1,2751}
X(2836){1,2752}
X(2837){1,2753}
X(2838){1,2754}
X(2839){1,2755}
X(2840){1,2756}
X(2841){1,2757}
X(2842){1,2758}
X(2843){1,2759}
X(2844){1,2760}
X(2845){1,2761}
X(2846){1,2762}
X(2847){1,2763}
X(2848){1,2764}
X(2849){1,2765},{517,109}
X(2850){1,2766}
X(2851){1,2767}
X(2852){1,2768}
X(2853){1,2769}
X(2854){1,2770}
X(2855){1,2869}
X(2856){1,2870}
X(2857){1,2871}
X(2858){1,2872}
X(2859){1,2873}
X(2860){1,2874}
X(2861){1,2875}
X(2862){1,2876}
X(2863){1,2877}
X(2864){1,2878}
X(2865){1,2879}
X(2866){1,2880}
X(2867){1,2881}
X(2868){1,2882}
X(2869){1,2855}
X(2870){1,2856}
X(2871){1,2857}
X(2872){1,2858}
X(2873){1,2859}
X(2874){1,2860}
X(2875){1,2861}
X(2876){1,2862}
X(2877){1,2863}
X(2878){1,2864}
X(2879){1,2865}
X(2880){1,2866}
X(2881){1,2867}
X(2882){1,2868}
X(2886){1,3449}
X(2888){1,3432}
X(2895){1,3444}
X(2915){4064,513}
X(2938){210,2938},{1334,846},{4111,40}
X(2939){72,2939},{201,191},{228,846},{3958,610}
X(2940){3678,2940}
X(2941){210,191},{2321,2941},{4046,40},{4516,1768}
X(2942){3059,2942}
X(2943){3057,2943}
X(2944){960,2944}
X(2947){71,165},{212,1745},{219,2947},{2318,1490}
X(2948){758,2948}
X(2950){1145,40}
X(2951){200,2951},{220,165},{3059,40},{4130,3309},{4319,1}
X(2955){950,2955}
X(2956){40,2956},{221,1},{227,1720}
X(2957){11,2957},{2310,2958},{4516,1053}
X(2958){1146,2958},{2310,2957}
X(2959){3747,846}
X(2960){72,191}
X(2961){497,2961}
X(2962){1,2964}
X(2963){1,1994}
X(2964){1,2962},{2216,2964},{2618,656}
X(2966){1,3569}
X(2979){1,2980}
X(2980){1,2979}
X(2981){1,396}
X(2986){1,3003},{46,2315}
X(2987){1,230}
X(2989){46,2253}
X(2990){46,2252}
X(2991){1,3290}
X(2992){1,3129}
X(2993){1,3130}
X(2994){1,2178}
X(2995){1,3185}
X(2996){1,3053}
X(2997){1,2352}
X(2998){1,1613}
X(2999){1,2297},{1468,1743},{3803,513}
X(3000){3000,1}
X(3002){2249,851}
X(3003){1,2986}
X(3004){831,2483}
X(3005){1,4577}
X(3008){105,672},{1429,4253},{1458,1743},{3220,579}
X(3009){1,3226}
X(3013){3013,1}
X(3051){1,308}
X(3052){1,4373},{4498,513}
X(3053){1,2996}
X(3057){1,1476}
X(3062){1,165}
X(3063){1,4554},{3732,650}
X(3064){1,1813},{651,652}
X(3065){1,484}
X(3068){1,493}
X(3069){1,494}
X(3094){1,3407}
X(3095){1,3406}
X(3108){1,3589}
X(3112){1,1964}
X(3113){1,3116}
X(3114){1,3117}
X(3115){1,3118}
X(3116){1,3113}
X(3117){1,3114}
X(3118){1,3115}
X(3120){1,4570}
X(3121){1,4601}
X(3122){1,4600}
X(3124){1,4590}
X(3125){1,4567},{4585,44}
X(3129){1,2992}
X(3130){1,2993}
X(3146){1,3532}
X(3149){58,3},{285,3149},{1172,6}
X(3157){3064,650}
X(3158){3669,513}
X(3161){3669,649}
X(3164){1,1988}
X(3174){3870,3174}
X(3179){13,3179},{396,9}
X(3182){1,3347},{20,3182},{1249,9},{1394,3341}
X(3183){1,3348}
X(3185){1,2995},{4391,513}
X(3186){1,3504}
X(3187){3159,9}
X(3194){521,656}
X(3212){1,2053}
X(3214){4964,663}
X(3216){6,6},{56,1724},{58,3216},{667,4040},{1193,1},{1203,3293},{2260,1743},{2308,43},{2309,87},{3733,3737},{4057,513}
X(3217){3881,57}
X(3218){1,2161},{80,2183},{106,1731},{320,2},{519,9},{900,649},{903,3218},{908,169},{1266,63},{3007,1726},{4453,514},{4674,44},{4887,57},{4927,4498}
X(3219){1,2160},{523,649},{1268,3219},{3634,9},{3989,1},{4021,57},{4467,514},{4897,4498}
X(3221){1,3222}
X(3222){1,3221}
X(3223){1,1740}
X(3224){1,194}
X(3225){1,3229},{43,2227}
X(3226){1,3009},{43,1575}
X(3227){1,3230},{43,899},{513,3768}
X(3228){1,3231},{43,2234}
X(3229){1,3225}
X(3230){1,3227},{3768,513},{4763,650}
X(3231){1,3228}
X(3239){1,1461},{651,649},{1897,514}
X(3250){1,4586}
X(3251){1,4618},{3257,513}
X(3253){2664,1575}
X(3254){1,2078}
X(3255){1,3256}
X(3256){1,3255}
X(3257){1,1635},{679,1022},{765,1023},{1054,44}
X(3270){1981,851}
X(3273){1,3604}
X(3274){1,3602}
X(3275){1,3603}
X(3276){1,3606}
X(3277){1,3607}
X(3285){1,4080}
X(3287){39,4551},{512,57},{513,1432},{514,893},{649,1431},{650,256},{1046,4603},{1743,3903},{3287,1},{3496,109},{4192,1020}
X(3290){1,2991}
X(3293){512,4040},{1126,3293},{1203,3216},{3733,513}
X(3294){512,4063},{4520,40},{4698,9},{4883,57}
X(3295){1,3296},{4778,513}
X(3296){1,3295}
X(3299){1,3300}
X(3300){1,3299}
X(3301){1,3302}
X(3302){1,3301}
X(3305){4778,649}
X(3306){551,9},{2163,1732},{4389,63},{4896,57}
X(3307){1,1381},{522,3308},{650,2591},{3307,40}
X(3308){1,1382},{522,3307},{650,2590},{3308,40}
X(3309){1,1292},{200,100},{644,3309},{650,165},{663,3},{2321,4436},{2324,1633},{3063,1742},{3158,1293},{3900,40},{3939,513},{4041,3579},{4069,3667},{4130,2951},{4162,1},{4513,1018},{4521,1376},{4895,517}
X(3311){1,3316}
X(3312){1,3317}
X(3316){1,3311}
X(3317){1,3312}
X(3330){3330,1}
X(3333){3247,9}
X(3336){1,3467},{79,3336},{942,1},{1100,9},{3583,484}
X(3337){3723,9}
X(3338){3296,3338},{4295,46}
X(3341){1,3342},{1394,3182}
X(3342){1,3341}
X(3343){1,3344}
X(3344){1,3343}
X(3345){1,1490},{268,610}
X(3346){1,1498}
X(3347){1,3182}
X(3348){1,3183}
X(3349){1,3350}
X(3350){1,3349}
X(3351){1,3352}
X(3352){1,3351}
X(3353){1,3354}
X(3354){1,3353}
X(3355){1,3637}
X(3358){1001,40}
X(3361){1,4866},{2285,1743},{3304,1},{4790,650}
X(3362){1,1745}
X(3364){1,3366}
X(3365){1,3367}
X(3366){1,3364}
X(3367){1,3365}
X(3368){1,3370}
X(3369){1,1140}
X(3370){1,3368}
X(3371){1,3373},{1805,3372}
X(3372){1,3374},{1805,3371}
X(3373){1,3371}
X(3374){1,3372}
X(3375){1,3376}
X(3376){1,3375}
X(3377){1,3378}
X(3378){1,3377}
X(3379){1,3381}
X(3380){1,3382}
X(3381){1,3379}
X(3382){1,3380}
X(3383){1,3384}
X(3384){1,3383}
X(3385){1,3387},{1806,3386}
X(3386){1,3388},{1806,3385}
X(3387){1,3385}
X(3388){1,3386}
X(3389){1,3391}
X(3390){1,3392}
X(3391){1,3389}
X(3392){1,3390}
X(3395){1,3397}
X(3396){1,1139}
X(3397){1,3395}
X(3398){1,3399}
X(3399){1,3398}
X(3400){1,3401}
X(3401){1,3400}
X(3402){1,3403}
X(3403){1,3402}
X(3404){1,3405},{75,1755}
X(3405){1,3404},{1581,2236}
X(3406){1,3095}
X(3407){1,3094}
X(3408){1,3409}
X(3409){1,3408}
X(3413){1,1379},{3907,3414}
X(3414){1,1380},{3907,3413}
X(3415){1,3416}
X(3416){1,3415}
X(3417){1,355}
X(3418){1,3419}
X(3419){1,3418}
X(3420){1,3421}
X(3421){1,3420}
X(3422){1,1478}
X(3423){1,2550}
X(3424){1,1350}
X(3425){1,1352}
X(3426){1,376}
X(3427){1,3428}
X(3428){1,3427}
X(3429){1,3430}
X(3430){1,3429}
X(3431){1,381}
X(3432){1,2888}
X(3433){1,3434}
X(3434){1,3433}
X(3435){1,3436}
X(3436){1,3435}
X(3437){1,1330}
X(3438){1,621}
X(3439){1,622}
X(3440){1,616}
X(3441){1,617}
X(3442){1,633}
X(3443){1,634}
X(3444){1,2895}
X(3445){1,145},{649,4394}
X(3446){1,149}
X(3447){1,3448}
X(3448){1,3447}
X(3449){1,2886}
X(3450){1,1329}
X(3451){1,3452}
X(3452){1,3451}
X(3453){1,3454}
X(3454){1,3453}
X(3455){1,316}
X(3457){1,298}
X(3458){1,299}
X(3459){1,195}
X(3460){1,3461},{5,3460},{233,9},{2599,1},{3574,46}
X(3461){1,3460}
X(3462){1,3463}
X(3463){1,3462}
X(3464){30,3464},{3163,9}
X(3465){1,3466},{1807,3465}
X(3466){1,3465}
X(3467){1,3336}
X(3468){1,3469},{4303,1745}
X(3469){1,3468}
X(3470){1,3471}
X(3471){1,3470}
X(3472){1,3473}
X(3473){1,3472}
X(3474){1174,3730}
X(3475){1,3477}
X(3476){1,3478}
X(3477){1,3475}
X(3478){1,3476}
X(3479){1,1337}
X(3480){1,1338}
X(3481){1,3482}
X(3482){1,3481}
X(3489){1,627}
X(3490){1,628}
X(3494){1,3502}
X(3495){1,3503}
X(3496){1,3497},{257,3496},{350,3509},{3727,1},{3741,63},{4357,9},{4425,2}
X(3497){1,3496}
X(3500){1,3501}
X(3501){1,3500},{983,1423},{3063,513},{3835,649},{4879,1019}
X(3502){1,3494}
X(3503){1,3495}
X(3504){1,3186}
X(3507){4164,513},{4449,1027}
X(3508){4107,649}
X(3509){1,3512},{335,3509},{350,3496},{726,63},{2786,649},{3726,1},{3912,9},{4010,4063},{4037,191},{4071,10},{4458,514}
X(3510){1911,3510},{2223,1740}
X(3512){1,3509}
X(3518){1,3519}
X(3519){1,3518}
X(3520){1,3521}
X(3521){1,3520}
X(3524){1,3531}
X(3527){1,631}
X(3531){1,3524}
X(3532){1,3146}
X(3550){1,3551},{983,3550},{3744,1},{4083,513}
X(3551){1,3550}
X(3559){3064,822}
X(3563){1,3564}
X(3564){1,3563}
X(3565){1,3566}
X(3566){1,3565}
X(3569){1,2966}
X(3570){1,3572},{86,4444},{765,813},{1757,649},{1961,876},{2663,875},{2664,513},{4600,4584},{4601,4589}
X(3572){1,3570},{1018,659},{1019,2238}
X(3573){1,876},{291,2254},{1757,513},{2238,661},{3509,649}
X(3576){1,3577},{2320,3576},{3877,40}
X(3577){1,3576}
X(3579){3737,3667},{4041,3309},{4662,40}
X(3589){1,3108}
X(3590){1,3592}
X(3591){1,3594}
X(3592){1,3590}
X(3594){1,3591}
X(3596){1,1397}
X(3602){1,3274}
X(3603){1,3275}
X(3604){1,3273}
X(3605){1,356}
X(3606){1,3276}
X(3607){1,3277}
X(3615){1,2594},{654,2624}
X(3616){1,2334},{4790,649}
X(3621){2516,649}
X(3637){1,3355}
X(3645){483,3645}
X(3651){9,71}
X(3652){522,523}
X(3657){1,3658},{1021,2252}
X(3658){1,3657},{2323,661}
X(3659){188,513}
X(3661){1491,649}
X(3666){1,2298},{830,513}
X(3667){1,1293},{78,100},{346,1018},{522,40},{644,649},{650,573},{663,165},{2324,101},{3239,1766},{3699,3667},{3701,4427},{3716,516},{3737,3579},{4069,3309},{4397,20},{4521,9},{4768,515}
X(3668){1,2328},{661,657}
X(3669){1,644},{100,650},{1293,4394},{2827,44}
X(3672){3803,649}
X(3676){1,3939},{101,657},{1633,652},{2820,672}
X(3679){1,2163},{996,3679},{4893,649}
X(3680){1,1420},{650,4394}
X(3682){822,649}
X(3684){665,513},{2991,3684}
X(3685){665,649}
X(3689){3960,513}
X(3692){1,1435}
X(3693){1,1462}
X(3694){1,1396}
X(3699){978,513},{1743,649},{4253,798}
X(3700){1,4565}
X(3701){1,1408}
X(3709){1,4573}
X(3717){1,1416}
X(3718){1,1395}
X(3729){663,649}
X(3730){693,649},{1174,3474},{2346,7},{3900,514}
X(3731){2999,1743}
X(3732){69,798},{200,649},{269,657}
X(3733){1,3952},{1018,661},{4427,513}
X(3737){1,4551},{101,661},{109,656},{110,3737},{512,43},{520,1745},{595,100},{647,9},{654,2245},{665,2238},{924,46},{928,851},{1625,1021},{1630,1783},{1634,1019},{1983,2610},{2605,1},{3733,3216},{4282,1983}
X(3738){1,2222},{519,100},{521,102},{1983,661},{2323,101}
X(3747){4444,2254}
X(3751){1002,3751},{2276,9}
X(3762){3264,190},{4585,798}
X(3768){1,4607},{9,898},{43,889},{513,3227},{898,4763},{899,190},{3768,1},{4063,739},{4607,3768},{4763,9}
X(3800){1,907}
X(3803){4512,100}
X(3835){1946,573},{3888,649}
X(3864){1491,659}
X(3868){1,2218}
X(3869){1,2217}
X(3870){1,2191},{4905,513}
X(3875){3971,9},{4401,649}
X(3882){10,649},{58,661},{86,1019},{171,513},{319,4063},{333,798},{1918,4040},{3879,514},{4028,522},{4600,3882}
X(3887){1,1308},{3935,100}
X(3888){32,661},{87,667},{1016,100},{2209,4040},{3501,649},{3507,659},{3550,513}
X(3900){1,934},{651,513},{4130,9}
X(3903){1,4367},{1743,3287}
X(3907){4529,9}
X(3909){1333,661}
X(3911){1,2316},{104,2183},{1457,1743},{1519,19},{1769,652},{2827,649},{3960,657}
X(3912){1,1438},{2254,649}
X(3920){2483,649}
X(3923){3250,649}
X(3926){1,2207}
X(3928){8,9},{3452,169},{4373,3928},{4862,57},{4962,649}
X(3929){1698,9},{3672,57}
X(3936){4453,1019}
X(3939){1,3676},{57,513},{169,649},{2191,4905},{3008,2254},{4253,661}
X(3941){4380,513}
X(3952){1,3733},{6,649},{3216,513},{3891,514}
X(3960){901,1635},{1319,101},{1443,651}
X(3961){2530,513}
X(3973){9,1},{2516,513},{3057,57}
X(3977){1769,649}
X(3980){4502,649}
X(3990){822,513}
X(3995){3733,649}
X(4017){1,643},{4347,109}
X(4024){1,4556},{662,649}
X(4025){1633,649},{1783,657}
X(4033){3216,649}
X(4036){2617,513}
X(4040){31,100},{55,4551},{101,4040},{212,109},{512,3293},{649,43},{652,165},{657,1742},{663,1},{667,3216},{1253,651},{1918,3882},{1919,1740},{2176,1018},{2209,3888},{3009,1026},{4079,1045},{4557,513},{4559,1734}
X(4041){1,1414}
X(4049){3737,44}
X(4052){3737,4394}
X(4053){2610,513}
X(4057){3952,513}
X(4062){2642,649}
X(4063){8,1018},{75,190},{319,3882},{512,3294},{513,9},{517,1023},{668,4063},{693,63},{2533,191},{3681,100},{3869,101},{3909,661},{3952,649},{4010,3509},{4036,1761},{4083,1},{4106,57},{4132,37},{4329,1020},{4391,1759},{4397,1766},{4462,169},{4553,513},{4651,4427},{4872,1025}
X(4064){163,649}
X(4069){4253,649},{4383,513}
X(4076){1,1357}
X(4079){1,4610}
X(4080){1,3285},{3216,44},{3737,1635}
X(4083){1,932},{3888,513}
X(4091){653,657},{934,514},{4131,2}
X(4105){1,4626}
X(4115){81,649}
X(4120){1,4591},{4585,649}
X(4129){3909,649}
X(4130){1,4617}
X(4132){3909,513}
X(4171){1,4637}
X(4183){1,1439},{905,656}
X(4219){2326,4219}
X(4222){3733,656}
X(4230){1,879},{1756,656}
X(4233){4905,656}
X(4236){3684,661}
X(4238){238,656}
X(4242){2341,2631},{3465,513}
X(4244){3220,656}
X(4246){36,656}
X(4250){3286,656}
X(4253){57,4383},{81,2},{553,57},{1429,3008},{1434,4253},{3669,514},{3674,169},{3946,9},{4380,649}
X(4266){4653,2}
X(4267){4581,513}
X(4286){4850,6}
X(4320){2484,657}
X(4335){2271,43}
X(4357){830,649},{4509,514}
X(4367){1,3903}
X(4368){3572,649}
X(4369){99,798},{4077,169},{4625,4369}
X(4370){1,2226},{1022,649}
X(4373){1,3052},{4040,4394}
X(4375){660,649}
X(4380){3760,190},{4069,649}
X(4383){57,4253},{58,6},{1014,4383},{3676,905},{4401,513}
X(4384){1,2279},{870,4384},{4724,649}
X(4385){1,1472}
X(4386){3250,513}
X(4391){1,1415},{4551,649}
X(4393){4782,649}
X(4394){9,1293},{644,513},{649,3445},{650,3680},{1293,3669},{3218,2429},{3669,9},{3737,4052},{3928,101},{3973,100},{4040,4373},{4394,1},{4498,6}
X(4401){4069,513}
X(4413){4794,513}
X(4416){4041,649}
X(4418){4079,649}
X(4421){4449,513}
X(4427){37,649},{2901,522},{3293,513},{3701,3667},{3896,514},{4651,4063}
X(4436){42,513},{2321,3309},{3294,649},{4068,1019}
X(4444){86,3570},{3737,2238}
X(4455){1,4589},{3570,513}
X(4466){4242,2183}
X(4468){3939,649}
X(4473){764,649}
X(4480){4895,649}
X(4488){4162,649}
X(4498){3621,1018},{3667,9},{3676,63},{3680,644},{3699,649},{4106,2},{4897,3219},{4927,3218},{4964,1334}
X(4511){1,1411},{654,649}
X(4518){1,1428}
X(4524){1,4616}
X(4551){1,3737},{3,513},{6,650},{39,3287},{55,4040},{59,4551},{182,1491},{511,659},{572,661},{573,649},{579,652},{580,656},{991,4724},{1617,905},{2245,654},{4253,657},{4282,2600}
X(4552){3,649},{1724,652},{3216,650},{4383,657}
X(4553){31,513}
X(4554){1,3063},{3,798},{978,657},{1716,652},{1740,650},{1742,649}
X(4555){1,1960},{43,1635}
X(4556){1,4024},{191,661},{484,2610},{1719,656}
X(4557){2,513},{4253,650}
X(4558){1,2501},{46,661},{1710,649},{1711,656},{1719,513},{1726,798}
X(4559){1,4560},{2,650},{573,513},{1730,652},{1764,649}
X(4560){1,4559},{4551,661}
X(4561){579,798},{1707,649},{1716,513}
X(4562){43,659},{2108,649}
X(4563){1,2489},{46,798},{1716,661}
X(4564){1,2170},{1054,650},{1768,649}
X(4565){1,3700},{30,2610},{40,661},{191,650},{1709,656},{1710,652},{1762,657},{2941,513}
X(4566){6,657},{1754,652}
X(4567){1,3125},{1054,661},{2640,513}
X(4568){31,649},{3905,514}
X(4569){43,657},{170,649}
X(4570){1,3120}
X(4571){1722,513},{1723,649}
X(4573){1,3709},{40,798},{1045,650},{1046,657},{1742,661},{2938,649}
X(4574){579,513},{1730,649}
X(4575){19,661},{920,656},{1710,513},{1744,650}
X(4577){1,3005}
X(4579){39,661},{3496,649}
X(4582){978,1635}
X(4583){1740,659}
X(4584){846,659},{1054,2238},{2108,661},{4600,3570}
X(4585){484,649},{4674,1635}
X(4586){1,3250},{43,1491}
X(4587){1708,649},{1723,513}
X(4588){1,4777},{9,4893}
X(4589){1,4455},{1045,659},{4601,3570}
X(4590){1,3124}
X(4591){1,4120},{191,1635}
X(4592){19,798},{1707,661},{1719,649}
X(4593){1,2084}
X(4595){87,513}
X(4596){1051,661}
X(4597){1,4775},{43,4893}
X(4598){194,798}
X(4600){1,3122},{2640,649}
X(4601){1,3121},{1054,798}
X(4602){1,1924},{1740,798}
X(4603){1046,3287}
X(4604){1,4893}
X(4605){411,649},{580,652}
X(4606){1,4790}
X(4607){1,3768}
X(4610){1,4079},{191,798},{1045,661}
X(4612){1046,661},{1762,798}
X(4613){3216,1491}
X(4614){1,4822},{846,4790}
X(4615){1045,1635}
X(4616){1,4524},{170,661},{846,657}
X(4617){1,4130},{40,657},{2951,650}
X(4618){1,3251}
X(4619){2957,650},{2958,513}
X(4620){1768,798}
X(4622){1,4730},{846,1635},{2640,44}
X(4623){846,798}
X(4624){1742,4790}
X(4625){165,798}
X(4626){1,4105},{165,657},{170,650}
X(4627){1,4841},{191,4790}
X(4631){1046,798}
X(4633){1,4832},{1045,4790}
X(4635){1045,657},{2951,798}
X(4636){1781,661}
X(4637){1,4171},{191,657},{2938,650},{2951,661}
X(4639){2108,798}
X(4640){4041,513}
X(4641){1126,37},{4017,650}
X(4649){4784,513}
X(4653){4893,661}
X(4658){4813,661}
X(4659){4794,649}
X(4674){6,44},{661,1635},{1168,4674}
X(4682){4822,513}
X(4689){4160,513}
X(4705){662,513},{3903,667}
X(4712){1024,649}
X(4723){1,1417}
X(4724){513,1002},{649,2279},{991,4551},{3751,100},{4724,1},{4817,869}
X(4730){1,4622},{4585,513}
X(4752){3306,649}
X(4756){1449,649}
X(4763){898,3768}
X(4765){4811,2}
X(4775){1,4597}
X(4777){1,4588},{4944,9}
X(4778){4765,9}
X(4781){45,649}
X(4782){3799,513},{4782,1}
X(4784){4784,1}
X(4785){3799,649}
X(4790){1,4606},{191,4627},{649,2334},{650,4866},{846,4614},{940,1018},{1045,4633},{1742,4624},{3731,100},{3929,101},{4606,4790},{4790,1}
X(4792){4893,1635}
X(4802){4820,9}
X(4813){1449,100},{3305,101},{4813,1}
X(4822){1,4614}
X(4825){4604,513}
X(4832){1,4633}
X(4834){4826,37}
X(4841){1,4627}
X(4845){1,1323},{57,1155}
X(4846){1,378}
X(4858){1,2149}
X(4859){42,1743}
X(4866){1,3361},{650,4790}
X(4876){1,1429},{650,659},{4383,2238}
X(4893){1,4604},{9,4588},{43,4597},{513,89},{514,2364},{649,2163},{650,2320},{1732,1331},{3306,101},{3576,651},{4604,4893},{4893,1}
X(4905){1292,4905},{2191,3939},{3669,1}
To ETC

Compiled by Peter J C Moses.