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

 Centre  Gimel Conjugates
X(1){3,1},{30,1},{40,2956},{511,1},{512,1},{513,1},{514,1},{515,1},{516,1},{517,1},{518,1},{519,1},{520,1},{521,1},{522,1},{523,1},{524,1},{525,1},{526,1},{527,1},{528,1},{529,1},{530,1},{531,1},{532,1},{533,1},{534,1},{535,1},{536,1},{537,1},{538,1},{539,1},{540,1},{541,1},{542,1},{543,1},{544,1},{545,1},{674,1},{680,1},{688,1},{690,1},{696,1},{698,1},{700,1},{702,1},{704,1},{706,1},{708,1},{710,1},{712,1},{714,1},{716,1},{718,1},{720,1},{722,1},{724,1},{726,1},{730,1},{732,1},{734,1},{736,1},{740,1},{742,1},{744,1},{746,1},{752,1},{754,1},{758,1},{760,1},{766,1},{768,1},{772,1},{776,1},{778,1},{780,1},{782,1},{784,1},{786,1},{788,1},{790,1},{792,1},{794,1},{796,1},{802,1},{804,1},{806,1},{808,1},{812,1},{814,1},{816,1},{818,1},{824,1},{826,1},{830,1},{832,1},{834,1},{838,1},{888,1},{891,1},{900,1},{912,1},{916,1},{918,1},{924,1},{926,1},{928,1},{952,1},{971,1},{1154,1},{1499,1},{1503,1},{1510,1},{1912,1},{1938,1},{2385,1},{2386,1},{2387,1},{2388,1},{2389,1},{2390,1},{2391,1},{2392,1},{2393,1},{2574,1},{2575,1},{2771,1},{2772,1},{2773,1},{2774,1},{2775,1},{2776,1},{2777,1},{2778,1},{2779,1},{2780,1},{2781,1},{2782,1},{2783,1},{2784,1},{2785,1},{2786,1},{2787,1},{2788,1},{2789,1},{2790,1},{2791,1},{2792,1},{2793,1},{2794,1},{2795,1},{2796,1},{2797,1},{2798,1},{2799,1},{2800,1},{2801,1},{2802,1},{2803,1},{2804,1},{2805,1},{2806,1},{2807,1},{2808,1},{2809,1},{2810,1},{2811,1},{2812,1},{2813,1},{2814,1},{2815,1},{2816,1},{2817,1},{2818,1},{2819,1},{2820,1},{2821,1},{2822,1},{2823,1},{2824,1},{2825,1},{2826,1},{2827,1},{2828,1},{2829,1},{2830,1},{2831,1},{2832,1},{2833,1},{2834,1},{2835,1},{2836,1},{2837,1},{2838,1},{2839,1},{2840,1},{2841,1},{2842,1},{2843,1},{2844,1},{2845,1},{2846,1},{2847,1},{2848,1},{2849,1},{2850,1},{2851,1},{2852,1},{2853,1},{2854,1},{2869,1},{2870,1},{2871,1},{2872,1},{2873,1},{2874,1},{2875,1},{2876,1},{2877,1},{2878,1},{2879,1},{2880,1},{2881,1},{2882,1},{3221,1},{3307,1},{3308,1},{3309,1},{3413,1},{3414,1},{3564,1},{3566,1},{3667,1},{3738,1},{3800,1},{3805,1},{3808,1},{3810,1},{3827,1},{3849,1},{3852,1},{3880,1},{3887,1},{3900,1},{3906,1},{3907,1},{3910,1},{4083,1},{4132,1},{4139,1},{4145,1},{4151,1},{4155,1},{4160,1},{4715,1},{4725,1},{4762,1},{4777,1},{4778,1},{4785,1},{4802,1},{4843,1},{4844,1},{4912,1},{4926,1},{4943,1},{4961,1},{4962,1},{4964,1}
X(2){69,329},{320,2},{350,2},{513,2},{693,2},{1444,2},{2978,2},{4010,2},{4106,2},{4131,2},{4811,2},{4872,2}
X(3){3,1771},{21,3149},{283,3},{522,3},{663,3},{1944,3},{3100,3},{3685,3},{3737,3},{4511,3},{4560,3}
X(4){21,4},{521,4},{1948,4},{4391,4}
X(5){1789,5},{3738,5}
X(6){63,219},{239,6},{514,6},{649,6},{1019,6},{1021,6},{1790,6},{3218,6},{3798,6},{4025,6},{4063,6},{4091,6},{4107,6},{4498,6},{4560,6},{4707,6},{4750,6},{4765,6},{4786,6},{4932,6},{4960,6}
X(7){693,7},{3900,7}
X(8){63,4266},{513,8},{4397,8},{4462,8}
X(9){2,2270},{63,9},{514,9},{661,9},{693,9},{857,9},{908,9},{914,9},{1577,9},{1959,9},{2084,9},{2582,9},{2583,9},{3239,9},{3250,9},{3762,9},{3766,9},{3835,9},{3904,9},{3912,9},{3936,9},{3948,9},{4129,9},{4358,9},{4391,9},{4462,9},{4468,9},{4486,9},{4728,9},{4766,9},{4776,9},{4789,9},{4791,9},{4801,9},{4823,9}
X(10){513,10},{1791,10},{2517,10},{2533,10},{4036,10},{4391,10},{4581,10},{4645,10}
X(11){149,11},{3738,11}
X(12){3738,12}
X(15){4560,15}
X(16){4560,16}
X(19){2,19},{92,1741},{297,19},{525,19},{850,19},{2501,19},{2592,19},{2593,19},{3569,19},{3580,19},{4025,1445},{4391,19}
X(20){1792,20},{3900,20},{4397,20}
X(21){523,21},{4833,21},{4879,21}
X(27){850,27}
X(28){1,1780},{447,28},{525,28}
X(29){520,29}
X(30){8,30},{21,1532},{1793,30},{4086,30}
X(31){23,31},{385,31},{523,31},{659,31},{669,31},{1176,31},{4057,31},{4580,31}
X(32){824,32},{4560,32}
X(33){521,33}
X(34){521,34}
X(35){3,3075},{72,72},{521,1071},{522,35},{1794,35},{3465,35},{4040,35},{4064,35}
X(36){1,36},{522,36},{905,910},{1459,36},{1795,36},{2401,36}
X(37){514,37},{1796,37},{4024,37},{4382,37},{4608,37},{4813,37}
X(38){523,38},{2528,38}
X(39){812,39},{4481,39},{4560,39}
X(40){8,84},{78,40},{522,40},{3717,40},{4041,40},{4086,40},{4147,40},{4163,40},{4391,40},{4397,40},{4723,40},{4768,40},{4811,40}
X(41){918,41},{3287,41}
X(42){513,42},{4380,42},{4824,42}
X(43){44,43},{48,43},{513,43},{649,43},{650,43},{652,43},{654,43},{656,43},{657,43},{659,43},{661,43},{672,43},{770,43},{798,43},{822,43},{851,43},{896,43},{899,43},{910,43},{1155,43},{1491,43},{1575,43},{1635,43},{1755,43},{2173,43},{2182,43},{2183,43},{2225,43},{2227,43},{2228,43},{2229,43},{2230,43},{2231,43},{2232,43},{2233,43},{2234,43},{2235,43},{2236,43},{2237,43},{2238,43},{2239,43},{2240,43},{2243,43},{2244,43},{2245,43},{2246,43},{2247,43},{2252,43},{2253,43},{2254,43},{2265,43},{2272,43},{2290,43},{2312,43},{2313,43},{2314,43},{2315,43},{2348,43},{2483,43},{2484,43},{2503,43},{2509,43},{2511,43},{2515,43},{2516,43},{2522,43},{2526,43},{2578,43},{2579,43},{2590,43},{2591,43},{2600,43},{2610,43},{2624,43},{2630,43},{2631,43},{2635,43},{2637,43},{2641,43},{2642,43},{3000,43},{3013,43},{3287,43},{3330,43},{3768,43},{4394,43},{4724,43},{4782,43},{4784,43},{4790,43},{4813,43},{4893,43}
X(44){2,44},{514,44},{1022,44},{1797,44},{2403,44},{4049,44},{4379,44},{4893,44}
X(45){514,45},{4120,45}
X(46){1,46},{4,1728},{240,46},{521,84},{522,46},{656,46},{860,46},{1577,46},{1725,46},{1733,46},{1734,46},{1735,46},{1736,46},{1737,46},{1738,46},{1739,46},{1769,46},{1772,46},{1784,46},{1785,46},{1861,46},{1895,3182},{2517,46},{2588,46},{2589,46},{2618,46},{4142,46}
X(47){3,255},{54,47},{186,47},{523,47}
X(48){97,48},{323,48},{401,48},{525,48},{2623,48},{3288,48},{3904,48}
X(50){4560,50}
X(52){4560,52}
X(55){522,55},{3935,55},{4088,55},{4105,55},{4468,55},{4724,55}
X(56){522,56},{4318,56},{4449,56}
X(57){77,57},{521,1709},{522,57},{693,57},{1266,57},{2254,57},{3676,57},{4017,57},{4025,57},{4077,57},{4374,57},{4442,57},{4453,57},{4458,57},{4467,57},{4509,57},{4804,57},{4815,57}
X(58){523,58},{1325,58},{1798,58},{3733,58},{4367,58},{4560,58},{4581,58}
X(59){1331,1618},{2398,59}
X(61){4560,61}
X(62){4560,62}
X(63){69,63},{325,63},{523,63},{684,63},{693,63},{850,63},{858,63},{1273,63},{1491,63},{2512,63},{2513,63},{2514,63},{2517,63},{3001,63},{3004,63},{3005,63},{3006,63},{3007,63},{3014,63},{3260,63},{3261,63},{3262,63},{3263,63},{3264,63},{3265,63},{3266,63},{3267,63},{3268,63},{3837,63},{4397,63},{4927,63}
X(65){522,65}
X(71){4391,71}
X(72){72,35},{514,72}
X(73){521,73}
X(75){316,75},{512,75},{850,75},{1799,75},{3766,75},{3978,75}
X(76){788,76}
X(77){3900,77},{4025,2261},{4131,77},{4467,77}
X(78){513,78}
X(79){1577,79}
X(80){80,80},{521,2829},{3738,80},{3762,80}
X(81){523,81},{4467,81},{4608,81},{4784,81},{4840,81},{4897,81}
X(82){826,82}
X(84){8,40},{271,84},{521,46},{4397,84}
X(85){926,85},{4374,85}
X(86){512,86}
X(87){649,87},{4083,87},{4367,87},{4435,87},{4449,87}
X(88){900,88},{903,88},{4453,88},{4927,88}
X(89){4777,89}
X(90){90,90}
X(91){96,91},{924,91}
X(92){95,92},{340,92},{520,92},{850,92}
X(99){874,99},{3903,99},{4155,99},{4594,99}
X(100){78,102},{100,100},{190,100},{659,100},{890,100},{900,100},{1633,100},{2976,100},{2977,100},{3570,100},{3699,100},{3807,100},{3952,100},{4427,100},{4436,100},{4491,100},{4557,100},{4571,100},{4578,100},{4756,100},{4767,100},{4781,100}
X(101){78,972},{190,101},{644,101},{651,101},{664,101},{883,101},{918,101},{1332,101},{2284,101},{2397,101},{3904,101},{4552,101},{4559,101},{4585,101}
X(102){78,100}
X(103){78,1292}
X(104){78,1293},{521,2800},{1320,104},{2804,104},{3904,104}
X(105){918,105},{1280,105}
X(106){900,106},{1120,106},{1320,106}
X(108){651,108},{1897,108}
X(109){3,1795},{59,109},{78,1295},{100,109},{108,109},{653,109},{1897,109},{2804,109},{4242,109},{4552,109}
X(110){643,110},{4427,110}
X(119){3738,119}
X(141){830,141}
X(142){693,142},{3309,142}
X(144){693,144}
X(145){513,145}
X(155){1800,155}
X(158){520,158},{1105,158}
X(159){1801,159}
X(162){107,162},{110,162},{250,162},{520,2632},{648,162},{4240,162}
X(163){3,293},{99,163},{112,163},{249,163},{525,3708},{648,163},{877,163},{2407,163},{2799,163},{4235,163},{4558,163},{4611,163},{4612,163}
X(165){9,1750},{219,165},{522,165},{650,165},{1639,165},{2325,165},{3239,165},{3693,165},{3700,165},{3709,165},{3712,165},{3716,165},{3985,165},{4009,165},{4070,165},{4130,165},{4157,165},{4521,165},{4522,165},{4526,165},{4529,165},{4765,165},{4820,165},{4913,165},{4944,165}
X(169){348,169},{918,169},{3261,169},{4391,169}
X(170){657,170},{1802,170},{3900,170},{4130,170},{4171,170},{4827,170}
X(171){522,171},{649,171},{2359,171},{3509,171},{4024,171},{4581,171}
X(172){824,172}
X(175){3900,175}
X(176){3900,176}
X(181){2254,181}
X(182){3810,182},{4560,182}
X(187){192,187},{4560,187}
X(189){4131,189},{4397,189}
X(190){668,190},{891,190},{1978,190},{3766,190},{3799,190},{3952,190}
X(191){72,191},{523,191},{1577,191},{3932,191},{3992,191},{4036,191},{4086,191},{4404,191},{4705,191},{4808,191},{4815,191}
X(192){4083,192}
X(194){4083,194}
X(200){513,200},{4468,200}
X(210){4468,210},{4778,210}
X(213){514,213}
X(214){900,214},{3904,214}
X(216){4560,216}
X(218){514,218},{657,218},{1803,218}
X(219){63,6},{514,219}
X(220){514,220}
X(222){4025,222}
X(223){521,223},{1804,223},{4025,223},{4131,223}
X(225){521,225}
X(226){521,226},{693,226}
X(228){4064,228}
X(237){192,237}
X(238){1,238},{514,238},{663,238},{885,238},{1027,238},{4040,238},{4375,238},{4449,238},{4724,238},{4794,238}
X(239){75,239},{513,239}
X(240){4,240},{525,240},{1297,240},{2435,240}
X(241){7,241},{522,241},{2400,241},{4025,2182}
X(242){3868,242},{4391,242}
X(243){92,243},{521,243}
X(244){149,244},{900,244},{4440,244},{4810,244}
X(255){3,47},{523,255},{2071,255}
X(256){661,256},{3907,256}
X(257){3805,257}
X(260){522,260}
X(267){4036,267}
X(269){3900,269},{4025,269}
X(271){4397,271}
X(274){512,274},{4374,274}
X(277){3309,277}
X(278){521,278}
X(279){3900,279}
X(280){4397,280}
X(281){63,573},{4391,281}
X(282){63,610},{4091,1743},{4131,282}
X(283){523,283}
X(284){63,2287},{448,284},{525,284},{4467,284},{4560,284}
X(286){850,286}
X(291){291,291},{812,291},{2254,291},{4444,291}
X(292){335,292},{812,292},{3572,292}
X(293){3,163},{98,293},{1297,293},{2799,293}
X(294){63,3939},{673,294},{918,294},{2400,294}
X(295){2254,295}
X(296){1952,296}
X(304){512,304}
X(306){513,306}
X(307){693,307}
X(313){838,313}
X(314){512,314}
X(321){834,321}
X(326){512,326}
X(329){69,2},{693,329}
X(330){4083,330}
X(332){512,332}
X(333){850,333},{4374,333},{4581,333}
X(346){4462,346}
X(347){3900,347}
X(350){788,350}
X(351){192,351}
X(354){522,354}
X(355){3738,355},{4086,355}
X(371){1805,371},{4560,371}
X(372){1806,372},{4560,372}
X(377){2517,377}
X(379){3261,379}
X(380){449,380},{525,380},{4468,380}
X(385){3805,385}
X(386){3,498},{513,386},{4560,386}
X(387){513,387}
X(388){521,388}
X(389){4560,389}
X(390){3900,390},{4462,390}
X(391){4462,391}
X(392){514,392}
X(394){1444,4383}
X(404){900,404},{3733,404}
X(405){514,405}
X(441){4329,441}
X(442){1577,442}
X(443){3309,443}
X(451){2850,451}
X(452){4462,452}
X(474){1019,474},{3667,474}
X(480){4468,480}
X(481){3900,481}
X(482){3900,482}
X(484){10,484},{522,484},{1807,484},{4036,484},{4791,484}
X(495){3738,495}
X(496){3738,496}
X(497){521,497}
X(498){3,386},{513,498}
X(499){513,499}
X(500){4560,500}
X(502){4036,502}
X(511){8,511},{1808,511},{3907,511},{4041,511},{4560,511},{4913,511}
X(512){8,512},{192,512},{256,512},{257,512},{585,512},{586,512},{740,512},{984,512},{1654,512},{1655,512},{2292,512},{3728,512},{4073,512},{4451,512},{4835,512}
X(513){1,513},{2,513},{8,513},{10,513},{42,513},{43,513},{78,513},{100,521},{145,513},{200,513},{239,513},{306,513},{386,513},{387,513},{498,513},{499,513},{519,513},{551,513},{612,513},{614,513},{677,910},{869,513},{899,513},{936,513},{938,513},{975,513},{976,513},{978,513},{995,513},{997,513},{1026,513},{1103,513},{1125,513},{1149,513},{1189,513},{1193,513},{1198,513},{1201,513},{1210,513},{1331,513},{1644,513},{1647,513},{1698,513},{1714,513},{1722,513},{1737,513},{1961,513},{1998,513},{1999,513},{2000,513},{2057,513},{2340,513},{2398,513},{2534,513},{2535,513},{2664,513},{2999,513},{3006,513},{3008,513},{3009,513},{3011,513},{3017,513},{3083,513},{3084,513},{3085,513},{3086,513},{3178,513},{3187,513},{3190,513},{3214,513},{3216,513},{3240,513},{3241,513},{3244,513},{3293,513},{3507,513},{3582,513},{3584,513},{3616,513},{3617,513},{3621,513},{3622,513},{3623,513},{3624,513},{3625,513},{3626,513},{3632,513},{3633,513},{3634,513},{3635,513},{3636,513},{3661,513},{3679,513},{3682,513},{3687,513},{3705,513},{3720,513},{3741,513},{3757,513},{3771,513},{3783,513},{3809,513},{3811,513},{3828,513},{3831,513},{3840,513},{3870,513},{3872,513},{3912,513},{3920,513},{3924,513},{3935,513},{3938,513},{3957,513},{3961,513},{3979,513},{4028,513},{4039,513},{4061,513},{4062,513},{4362,513},{4384,513},{4393,513},{4420,513},{4489,513},{4511,513},{4651,513},{4666,513},{4668,513},{4669,513},{4677,513},{4678,513},{4685,513},{4691,513},{4701,513},{4745,513},{4746,513},{4816,513},{4847,513},{4853,513},{4861,513},{4871,513},{4882,513},{4915,513},{4946,513}
X(514){7,514},{8,514},{65,514},{69,514},{75,514},{85,514},{319,514},{320,514},{322,514},{377,514},{388,514},{518,514},{664,4091},{883,514},{1122,514},{1231,514},{1441,514},{1463,514},{1469,514},{1909,514},{2550,514},{3059,514},{3212,514},{3262,514},{3416,514},{3696,514},{3779,514},{3868,514},{4012,514},{4059,514},{4259,514},{4645,514},{4955,514}
X(515){8,515},{521,515},{1809,515},{4397,515}
X(516){8,516},{885,516},{3900,516},{4391,516}
X(517){8,517},{522,517},{4474,517},{4543,517},{4814,517}
X(518){8,518},{514,518},{1810,518},{4546,518}
X(519){8,519},{513,519},{1811,519}
X(520){8,520},{3152,520}
X(521){8,521},{20,521},{40,521},{63,521},{84,521},{100,513},{189,521},{271,521},{280,521},{515,521},{1158,521},{1782,521},{2357,521},{3101,521}
X(522){3,1459},{4,522},{8,522},{63,657},{72,522},{92,522},{100,522},{318,522},{321,522},{329,522},{355,522},{517,522},{962,522},{1309,1737},{1530,522},{1824,522},{1828,522},{1829,522},{1851,522},{1867,522},{1868,522},{1871,522},{1872,522},{1878,522},{1900,522},{1902,522},{3419,522},{3421,522},{3434,522},{3436,522},{3681,522},{3765,522},{3869,522},{4385,522},{4388,522},{4463,522},{4487,522},{4696,522},{4737,522}
X(523){8,523},{79,523},{758,523},{1330,523},{1478,523},{2475,523},{2895,523},{4295,523},{4647,523},{4661,523},{4680,523},{4692,523}
X(524){8,524},{4160,524},{4761,524}
X(525){8,525},{2893,525},{2897,525},{4329,525}
X(526){8,526},{4736,526}
X(527){8,527},{693,527}
X(528){8,528},{3762,528},{3887,528}
X(529){8,529}
X(530){8,530}
X(531){8,531}
X(532){8,532}
X(533){8,533}
X(534){8,534}
X(535){8,535}
X(536){8,536}
X(537){8,537},{891,537}
X(538){8,538}
X(539){8,539}
X(540){8,540}
X(541){8,541}
X(542){8,542}
X(543){8,543}
X(544){8,544}
X(545){8,545}
X(550){4768,550}
X(551){513,551}
X(553){693,553}
X(559){522,559}
X(560){826,560}
X(561){688,561}
X(564){252,564},{526,564},{562,564}
X(566){4560,566}
X(567){4560,567}
X(568){4560,568}
X(569){4560,569}
X(570){4560,570}
X(571){4560,571}
X(572){3904,572},{3910,572},{4435,572},{4560,572}
X(573){63,281},{650,573},{1812,573},{3975,573},{4391,573},{4560,573}
X(574){4560,574}
X(575){4560,575}
X(576){4560,576}
X(577){4560,577}
X(578){4560,578}
X(579){81,579},{693,579},{905,579},{4560,579}
X(580){60,580},{4560,580}
X(581){521,581},{4560,581}
X(582){4560,582}
X(583){3960,583},{4560,583}
X(584){4560,584}
X(594){3762,594}
X(595){523,595},{4491,595}
X(596){4132,596}
X(597){2832,597}
X(601){2804,601}
X(603){2804,603}
X(604){3910,604},{4467,604}
X(609){824,609}
X(610){63,282},{394,610},{441,610},{525,610},{647,610},{905,610},{2504,610},{2510,610},{2519,610},{2522,610},{2523,610},{2524,610},{2525,610},{3265,610},{3977,610},{4025,610}
X(611){514,611}
X(612){513,612},{4122,612}
X(613){514,613}
X(614){513,614}
X(643){4427,643}
X(644){63,2316},{190,644},{2415,644},{3977,2265}
X(645){63,2311},{799,645}
X(646){668,646}
X(647){192,647},{3151,647},{4329,647}
X(649){2,649},{37,649},{63,4521},{75,649},{190,3239},{192,649},{312,649},{321,649},{344,649},{345,649},{346,649},{350,649},{536,649},{1229,649},{1267,649},{1278,649},{1332,649},{1575,649},{1646,649},{1997,649},{2276,649},{2277,649},{2345,649},{2397,649},{3175,649},{3210,649},{3263,649},{3290,649},{3644,649},{3666,649},{3672,649},{3693,649},{3739,649},{3752,649},{3772,649},{3797,649},{3995,649},{3998,649},{4000,649},{4037,649},{4043,649},{4261,649},{4358,649},{4359,649},{4441,649},{4452,649},{4461,649},{4479,649},{4506,649},{4657,649},{4664,649},{4671,649},{4681,649},{4686,649},{4687,649},{4688,649},{4698,649},{4699,649},{4704,649},{4718,649},{4726,649},{4739,649},{4740,649},{4751,649},{4755,649},{4764,649},{4772,649},{4788,649},{4812,649},{4821,649},{4850,649},{4908,649}
X(650){2,650},{7,650},{9,650},{57,650},{63,650},{142,650},{144,650},{226,650},{307,650},{329,650},{527,650},{553,650},{579,650},{672,650},{894,650},{908,650},{1025,650},{1400,650},{1423,650},{1445,650},{1447,650},{1652,650},{1653,650},{1708,650},{1741,650},{1813,650},{1944,650},{2002,650},{2094,650},{2285,650},{2406,650},{3218,650},{3219,650},{3305,650},{3306,650},{3452,650},{3509,650},{3598,650},{3599,650},{3662,650},{3911,650},{3928,650},{3929,650},{3982,650},{4031,650},{4114,650},{4357,650},{4654,650}
X(651){63,2338},{100,651},{658,651},{664,651},{934,651},{1331,1633},{2283,651},{2398,651},{4025,3942},{4453,651},{4566,651}
X(652){2,652},{63,3239},{92,652},{273,652},{278,652},{281,652},{347,652},{587,652},{651,652},{1214,652},{1441,652},{1465,652},{1880,652},{1948,652},{2405,652}
X(653){4566,653}
X(654){2,654},{63,1639},{2006,654},{4552,654},{4858,654}
X(656){2,656},{3,656},{4,656},{5,656},{20,656},{21,656},{22,656},{23,656},{24,656},{25,656},{26,656},{27,656},{28,656},{29,656},{30,656},{110,656},{140,656},{186,656},{199,656},{235,656},{237,656},{297,656},{376,656},{377,656},{378,656},{379,656},{381,656},{382,656},{383,656},{384,656},{401,656},{402,656},{403,656},{404,656},{405,656},{406,656},{407,656},{408,656},{409,656},{410,656},{411,656},{412,656},{413,656},{414,656},{415,656},{416,656},{417,656},{418,656},{419,656},{420,656},{421,656},{422,656},{423,656},{424,656},{425,656},{426,656},{427,656},{428,656},{429,656},{430,656},{431,656},{432,656},{433,656},{434,656},{435,656},{436,656},{437,656},{438,656},{439,656},{440,656},{441,656},{442,656},{443,656},{444,656},{445,656},{446,656},{447,656},{448,656},{449,656},{450,656},{451,656},{452,656},{453,656},{454,656},{455,656},{456,656},{457,656},{458,656},{460,656},{461,656},{462,656},{463,656},{464,656},{465,656},{466,656},{467,656},{468,656},{469,656},{470,656},{471,656},{472,656},{473,656},{474,656},{475,656},{546,656},{547,656},{548,656},{549,656},{550,656},{631,656},{632,656},{851,656},{852,656},{853,656},{854,656},{855,656},{856,656},{857,656},{858,656},{859,656},{860,656},{861,656},{862,656},{863,656},{864,656},{865,656},{866,656},{867,656},{868,656},{964,656},{1003,656},{1004,656},{1005,656},{1006,656},{1008,656},{1009,656},{1010,656},{1011,656},{1012,656},{1013,656},{1080,656},{1113,656},{1114,656},{1304,1725},{1312,656},{1313,656},{1314,656},{1315,656},{1316,656},{1325,656},{1344,656},{1345,656},{1346,656},{1347,656},{1368,656},{1370,656},{1375,656},{1513,656},{1529,656},{1532,656},{1536,656},{1551,656},{1556,656},{1557,656},{1559,656},{1563,656},{1564,656},{1567,656},{1583,656},{1584,656},{1585,656},{1586,656},{1589,656},{1590,656},{1591,656},{1592,656},{1593,656},{1594,656},{1595,656},{1596,656},{1597,656},{1598,656},{1599,656},{1600,656},{1628,656},{1650,656},{1651,656},{1656,656},{1657,656},{1658,656},{1816,656},{1817,656},{1883,656},{1884,656},{1885,656},{1889,656},{1894,656},{1904,656},{1906,656},{1907,656},{1981,656},{1982,656},{1984,656},{1985,656},{1995,656},{2041,656},{2042,656},{2043,656},{2044,656},{2045,656},{2046,656},{2047,656},{2048,656},{2049,656},{2050,656},{2060,656},{2070,656},{2071,656},{2072,656},{2073,656},{2074,656},{2075,656},{2409,656},{2450,656},{2454,656},{2455,656},{2475,656},{2476,656},{2478,656},{2479,656},{2480,656},{2552,656},{2553,656},{2554,656},{2555,656},{2566,656},{2567,656},{2570,656},{2571,656},{2675,656},{2676,656},{2915,656},{2937,656},{3078,656},{3079,656},{3080,656},{3081,656},{3088,656},{3089,656},{3090,656},{3091,656},{3109,656},{3127,656},{3128,656},{3129,656},{3130,656},{3131,656},{3132,656},{3133,656},{3134,656},{3135,656},{3136,656},{3137,656},{3138,656},{3139,656},{3140,656},{3141,656},{3142,656},{3143,656},{3144,656},{3145,656},{3146,656},{3147,656},{3148,656},{3149,656},{3150,656},{3151,656},{3152,656},{3153,656},{3154,656},{3155,656},{3156,656},{3363,656},{3515,656},{3516,656},{3517,656},{3518,656},{3520,656},{3522,656},{3523,656},{3524,656},{3525,656},{3526,656},{3528,656},{3529,656},{3530,656},{3533,656},{3534,656},{3535,656},{3536,656},{3537,656},{3538,656},{3539,656},{3540,656},{3541,656},{3542,656},{3543,656},{3544,656},{3545,656},{3546,656},{3547,656},{3548,656},{3549,656},{3552,656},{3559,656},{3560,656},{3568,656},{3575,656},{3627,656},{3628,656},{3651,656},{3658,656},{3830,656},{3832,656},{3839,656},{3843,656},{3845,656},{3850,656},{3851,656},{3853,656},{3854,656},{3855,656},{3856,656},{3857,656},{3858,656},{3859,656},{3860,656},{3861,656},{4183,656},{4184,656},{4185,656},{4186,656},{4187,656},{4188,656},{4189,656},{4190,656},{4191,656},{4192,656},{4193,656},{4194,656},{4195,656},{4196,656},{4197,656},{4198,656},{4199,656},{4200,656},{4201,656},{4202,656},{4203,656},{4204,656},{4205,656},{4206,656},{4207,656},{4208,656},{4209,656},{4210,656},{4211,656},{4212,656},{4213,656},{4214,656},{4215,656},{4216,656},{4217,656},{4218,656},{4219,656},{4220,656},{4221,656},{4222,656},{4223,656},{4224,656},{4225,656},{4226,656},{4227,656},{4228,656},{4229,656},{4230,656},{4231,656},{4232,656},{4233,656},{4234,656},{4235,656},{4236,656},{4237,656},{4238,656},{4239,656},{4240,656},{4241,656},{4242,656},{4243,656},{4244,656},{4245,656},{4246,656},{4247,656},{4248,656},{4249,656},{4250,656}
X(657){2,657},{63,522},{85,657},{241,657},{279,657},{348,657},{948,657},{1088,657},{1212,657},{1427,657},{1446,657},{1996,657},{3177,657}
X(658){4569,658}
X(659){2,659},{38,659},{244,659},{291,659},{335,659},{537,659},{756,659},{982,659},{984,659},{1215,659},{3842,659},{3952,659},{4096,659},{4283,659},{4310,659},{4392,659},{4438,659},{4518,659},{4712,659}
X(660){876,660},{4562,660}
X(661){2,661},{6,661},{69,661},{81,661},{86,661},{141,661},{183,661},{193,661},{230,661},{298,661},{299,661},{302,661},{303,661},{323,661},{325,661},{333,661},{343,661},{352,661},{385,661},{391,661},{394,661},{395,661},{396,661},{491,661},{492,661},{524,661},{590,661},{591,661},{597,661},{599,661},{615,661},{940,661},{965,661},{966,661},{992,661},{1007,661},{1150,661},{1184,661},{1185,661},{1211,661},{1213,661},{1270,661},{1271,661},{1611,661},{1613,661},{1641,661},{1648,661},{1654,661},{1812,661},{1963,661},{1991,661},{1992,661},{1993,661},{1994,661},{2063,661},{2086,661},{2106,661},{2238,661},{2287,661},{2303,661},{2407,661},{2421,661},{2668,661},{2895,661},{2966,1580},{3051,661},{3054,661},{3055,661},{3068,661},{3069,661},{3180,661},{3181,661},{3231,661},{3289,661},{3314,661},{3329,661},{3570,661},{3578,661},{3580,661},{3589,661},{3593,661},{3595,661},{3618,661},{3619,661},{3620,661},{3629,661},{3630,661},{3631,661},{3763,661},{3815,661},{3936,661},{3945,661},{4383,661},{4417,661},{4558,661},{4585,661},{4648,661},{4869,661},{4921,661}
X(662){69,2349},{99,662},{110,662},{690,662},{2396,662},{3268,662},{3573,662},{4226,662},{4427,662},{4563,662},{4576,662},{4610,662}
X(663){144,663},{145,663},{192,663},{193,663},{390,663},{518,663},{1858,663},{3056,663},{3057,663},{3177,663},{3486,663},{3869,663},{3962,663}
X(664){883,664},{926,664},{3888,664}
X(665){7,665},{192,665},{335,665},{2171,665},{3020,665},{3252,665},{4032,665},{4440,665},{4552,665},{4876,665}
X(666){660,666},{883,666}
X(667){1,667},{87,667},{192,667},{194,667},{330,667},{726,667},{894,667},{2309,667},{3494,667},{3685,667},{3729,667},{3923,667},{3993,667},{4195,667}
X(668){668,668},{3888,668}
X(669){192,669},{714,669},{2667,669}
X(672){2,672},{650,672},{693,672},{1814,672},{2402,672},{4762,672},{4885,672}
X(673){885,673},{2481,673},{3766,673}
X(674){8,674}
X(676){149,676},{152,676},{2801,676},{4430,676}
X(678){900,678}
X(680){8,680}
X(688){8,688},{718,688}
X(690){8,690}
X(692){1331,692},{2398,692},{4427,692}
X(693){69,693},{674,693},{1233,693},{1269,693},{3434,693},{4441,693}
X(696){8,696}
X(698){8,698}
X(700){8,700}
X(702){8,702}
X(704){8,704}
X(706){8,706}
X(708){8,708}
X(710){8,710}
X(712){8,712}
X(714){8,714}
X(716){8,716}
X(718){8,718},{688,718}
X(720){8,720}
X(722){8,722}
X(724){8,724}
X(726){8,726},{4083,726}
X(727){659,727}
X(728){4462,728}
X(730){8,730},{788,730}
X(732){8,732}
X(734){8,734}
X(736){8,736}
X(740){8,740},{512,740}
X(741){875,741},{4155,741}
X(742){8,742}
X(744){8,744}
X(746){8,746}
X(750){900,750},{4784,750},{4789,750}
X(752){8,752}
X(754){8,754}
X(758){8,758},{523,758},{4774,758}
X(760){8,760},{824,760}
X(764){519,764},{4645,764}
X(766){8,766}
X(768){8,768}
X(770){2,770}
X(772){8,772}
X(774){523,774}
X(776){8,776},{1928,776}
X(778){8,778}
X(780){8,780}
X(782){8,782}
X(784){8,784}
X(786){8,786}
X(788){8,788},{194,788},{730,788}
X(790){8,790},{1502,790}
X(792){8,792}
X(794){8,794}
X(796){8,796}
X(798){2,798},{39,798},{76,798},{194,798},{274,798},{305,798},{310,798},{538,798},{980,798},{1180,798},{1194,798},{1196,798},{1228,798},{1230,798},{1645,798},{1655,798},{2229,798},{2396,798},{3117,798},{3229,798},{3266,798},{3291,798},{3767,798},{3788,798},{3926,798},{3934,798},{3948,798},{3978,798},{4352,798},{4563,798}
X(799){69,1821},{670,799},{888,799},{4576,799},{4609,799}
X(800){4560,800}
X(802){8,802},{561,802}
X(804){8,804}
X(806){8,806}
X(808){8,808}
X(810){3,1577},{20,810},{185,810},{193,810},{194,810},{511,810},{3164,810}
X(811){877,811}
X(812){8,812},{76,812},{668,812},{2481,812},{4441,812}
X(813){78,2724},{874,813},{4583,813}
X(814){8,814},{4710,814}
X(816){8,816}
X(818){8,818}
X(820){520,820}
X(822){2,822},{216,822},{232,822},{264,822},{324,822},{393,822},{648,822},{2052,822},{2404,822},{3164,822}
X(824){8,824},{315,824},{760,824},{4769,824}
X(826){8,826}
X(830){6,830},{8,830},{594,830},{964,830},{1220,830},{2295,830},{2298,830},{2345,830},{3713,830},{3780,830},{4344,830}
X(832){8,832},{31,832},{987,832},{4195,832},{4339,832}
X(834){8,834},{4424,834}
X(838){8,838}
X(846){71,846},{523,846},{661,846},{3700,846},{3930,846},{3943,846},{3994,846},{4010,846},{4024,846},{4037,846},{4053,846},{4062,846},{4064,846},{4079,846},{4088,846},{4120,846},{4122,846},{4140,846},{4144,846},{4156,846},{4171,846},{4804,846},{4806,846},{4824,846},{4838,846},{4841,846},{4931,846}
X(851){2,851},{656,851}
X(853){3177,853}
X(854){3210,854}
X(855){145,855}
X(856){20,856}
X(857){69,857}
X(859){1,859}
X(860){4,860}
X(861){144,861}
X(862){193,862}
X(863){194,863}
X(866){4440,866}
X(867){149,867}
X(869){513,869}
X(870){788,870}
X(874){512,874},{668,874}
X(875){291,875},{740,875}
X(876){335,876},{740,876},{4645,876}
X(885){518,885}
X(887){192,887}
X(888){8,888}
X(890){192,890},{872,890},{3240,890},{3952,890}
X(891){8,891},{537,891},{4440,891},{4655,891},{4740,891},{4741,891}
X(893){661,893}
X(894){693,894},{2533,894},{4083,894}
X(896){2,896},{523,896},{895,896},{1649,896},{2408,896},{4789,896},{4948,896}
X(897){671,897},{690,897}
X(899){2,899},{513,899},{4448,899},{4776,899}
X(900){8,900},{80,900},{100,2804},{149,900},{1089,900},{1479,900},{2802,900},{3678,900},{3878,900},{3952,900},{4671,900},{4738,900},{4894,900}
X(901){78,2716},{2397,901}
X(902){192,902},{4777,902}
X(904){3805,904}
X(905){1,905},{3,1734},{7,905},{20,905},{77,905},{170,905},{175,905},{176,905},{269,905},{279,905},{347,905},{390,905},{481,905},{482,905},{516,905},{962,905},{990,905},{991,905},{1042,905},{1044,905},{1323,905},{1371,905},{1372,905},{1373,905},{1374,905},{1442,905},{1443,905},{1448,905},{1458,905},{1721,905},{1742,905},{1770,905},{2263,905},{2293,905},{2951,905},{3000,905},{3007,905},{3010,905},{3012,905},{3019,905},{3100,905},{3160,905},{3188,905},{3332,905},{3600,905},{3638,905},{3639,905},{3663,905},{3664,905},{3668,905},{3671,905},{3672,905},{3674,905},{3945,905},{4021,905},{4089,905},{4292,905},{4293,905},{4294,905},{4295,905},{4296,905},{4297,905},{4298,905},{4299,905},{4300,905},{4301,905},{4302,905},{4303,905},{4304,905},{4305,905},{4306,905},{4307,905},{4308,905},{4309,905},{4310,905},{4311,905},{4312,905},{4313,905},{4314,905},{4315,905},{4316,905},{4317,905},{4318,905},{4319,905},{4320,905},{4321,905},{4322,905},{4323,905},{4324,905},{4325,905},{4326,905},{4327,905},{4328,905},{4329,905},{4330,905},{4331,905},{4332,905},{4333,905},{4334,905},{4335,905},{4336,905},{4337,905},{4338,905},{4339,905},{4340,905},{4341,905},{4342,905},{4343,905},{4344,905},{4345,905},{4346,905},{4347,905},{4348,905},{4349,905},{4350,905},{4351,905},{4352,905},{4353,905},{4354,905},{4355,905},{4356,905},{4862,905},{4887,905},{4888,905},{4896,905},{4902,905},{4909,905}
X(906){101,906},{1305,906},{4552,906}
X(908){69,908},{693,908},{3657,908}
X(909){2401,909},{2990,909},{3904,909}
X(910){2,910},{677,513},{905,36},{1815,910},{2400,910},{3239,910},{4025,910}
X(911){1815,911},{2400,911},{2989,911}
X(912){8,912}
X(913){2990,913}
X(914){69,914}
X(916){8,916}
X(918){8,918},{150,918},{1930,918},{2809,918}
X(920){4,920},{403,920},{522,1753},{523,920}
X(921){254,921}
X(922){194,922},{3906,922}
X(923){690,923},{895,923},{2408,923}
X(924){8,924}
X(926){8,926},{3177,926},{4712,926}
X(927){883,927}
X(928){8,928},{201,928},{1937,928},{1952,928},{4552,928}
X(934){664,934}
X(936){513,936}
X(938){513,938}
X(940){522,940}
X(942){522,942}
X(944){521,944}
X(946){521,946},{4811,946}
X(948){77,4253},{521,948}
X(950){521,950},{4462,950}
X(952){8,952},{3738,952},{4768,952}
X(953){78,2743}
X(954){514,954}
X(956){514,956}
X(958){514,958}
X(960){514,960}
X(961){3910,961}
X(962){3900,962},{4811,962}
X(964){834,964}
X(966){4391,966}
X(968){523,968}
X(970){4560,970}
X(971){8,971},{4163,971}
X(972){78,101}
X(975){513,975}
X(976){513,976}
X(977){832,977}
X(978){513,978},{603,978},{663,978},{855,978},{1149,978},{1279,978},{1284,978},{1319,978},{1455,978},{1456,978},{1457,978},{1458,978},{1459,978},{1463,978},{1464,978},{1769,978},{2605,978},{3669,978},{3777,978},{4017,978},{4367,978},{4822,978}
X(979){4498,979}
X(980){522,980}
X(982){522,982},{4382,982}
X(983){3810,983}
X(984){514,984},{4088,984},{4474,984}
X(985){824,985},{4817,985}
X(986){522,986}
X(988){522,988}
X(990){3900,990}
X(991){3900,991},{4560,991}
X(993){523,993},{3904,993}
X(995){513,995},{4922,995}
X(997){513,997},{3904,997}
X(999){522,999}
X(1001){514,1001}
X(1002){4762,1002}
X(1006){3904,1006}
X(1008){788,1008}
X(1009){812,1009}
X(1010){512,1010},{4581,1010}
X(1014){4467,1014},{4843,1014}
X(1015){812,1015},{4440,1015}
X(1016){874,1016}
X(1018){190,1018},{646,1018},{668,1018},{812,1018},{874,1018},{1018,1018},{3732,1018},{3762,1018},{3768,1018},{3882,1018},{4033,1018},{4505,1018},{4595,1018}
X(1019){1,1019},{75,1019},{86,1019},{274,1019},{304,1019},{314,1019},{326,1019},{332,1019},{740,1019},{874,1019},{1010,1019},{1043,1019},{1045,1019},{1097,1019},{1733,1019},{1740,1019},{1930,1019},{1964,1019},{1966,1019},{2234,1019},{2274,1019},{2667,1019},{2669,1019},{3403,1019},{3736,1019},{3875,1019},{3886,1019},{3905,1019},{4008,1019},{4360,1019},{4592,1019},{4647,1019},{4673,1019}
X(1020){664,1020},{1897,1020}
X(1021){19,1021},{27,1021},{63,1021},{75,1021},{92,1021},{286,1021},{333,1021},{662,1021},{1748,1021},{1755,1021},{1760,1021},{1761,1021},{1762,1021},{1965,1021},{2322,1021},{2580,1021},{2581,1021},{4269,1021}
X(1022){320,1022},{519,1022},{679,1022},{903,1022},{1266,1022},{4510,1022},{4555,1022},{4792,1022},{4887,1022}
X(1023){190,1023},{514,1023},{1016,1023},{3257,1023},{4482,1023},{4555,1023},{4582,1023},{4752,1023}
X(1024){239,1024},{294,1024},{666,1024},{2481,1024}
X(1025){100,1025},{693,1025},{927,1025},{4554,1025}
X(1026){190,1026},{513,1026},{660,1026},{3799,1026},{3888,1026},{4553,1026},{4562,1026}
X(1027){239,1027},{335,1027},{518,1027},{660,1027},{673,1027}
X(1029){4036,1029}
X(1030){4560,1030}
X(1038){522,1038}
X(1040){522,1040}
X(1042){3900,1042}
X(1043){512,1043}
X(1044){1,1745},{656,1044},{3900,1044}
X(1045){228,1045},{512,1045},{661,1045},{4041,1045},{4524,1045},{4705,1045},{4729,1045},{4730,1045},{4770,1045},{4822,1045}
X(1046){73,1046},{523,1046},{656,1046},{2457,1046},{2533,1046},{3801,1046},{4017,1046},{4041,1046},{4695,1046}
X(1047){520,1047},{656,1047}
X(1048){526,1048}
X(1052){764,1052},{1647,1052},{3675,1052},{3937,1052}
X(1053){4530,1053}
X(1054){11,1054},{244,1054},{676,1054},{867,1054},{900,1054},{1086,1054},{1459,1054},{1638,1054},{1647,1054},{1769,1054},{2254,1054},{2310,1054},{2486,1054},{2504,1054},{2505,1054},{3120,1054},{3122,1054},{3123,1054},{3756,1054},{3837,1054},{4010,1054},{4459,1054},{4466,1054},{4728,1054},{4750,1054},{4809,1054}
X(1055){192,1055}
X(1056){521,1056}
X(1058){521,1058}
X(1060){522,1060}
X(1062){522,1062}
X(1064){521,1064}
X(1066){521,1066}
X(1068){521,1068}
X(1070){521,1070}
X(1071){521,35}
X(1072){521,1072}
X(1075){1816,1075}
X(1079){521,1079}
X(1082){522,1082}
X(1083){514,1083},{3685,1083}
X(1086){149,1086},{150,1086},{3887,1086}
X(1087){526,1087}
X(1096){520,1096}
X(1097){512,1097}
X(1099){146,1099},{526,1099}
X(1100){514,1100}
X(1101){4226,1101}
X(1103){513,1103}
X(1104){514,1104}
X(1107){514,1107}
X(1108){514,1108}
X(1109){526,1109},{3448,1109}
X(1111){150,1111},{926,1111}
X(1122){3676,1122}
X(1124){514,1124}
X(1125){513,1125},{4801,1125}
X(1145){153,1145},{2827,1145},{3762,1145}
X(1146){150,1146},{3762,1146}
X(1149){145,1149},{513,1149}
X(1150){4406,1150}
X(1151){4560,1151}
X(1152){4560,1152}
X(1154){8,1154}
X(1155){2,1155},{522,1155}
X(1156){1121,1156}
X(1158){8,1158},{318,1753},{2804,1158},{4397,1158}
X(1159){522,1159}
X(1160){4560,1160}
X(1161){4560,1161}
X(1171){4608,1171}
X(1172){525,1172}
X(1182){4560,1182}
X(1183){918,1183}
X(1189){513,1189}
X(1190){4025,1190}
X(1191){514,1191}
X(1192){4560,1192}
X(1193){513,1193}
X(1195){650,1195}
X(1197){649,1197}
X(1198){513,1198}
X(1200){650,1200}
X(1201){513,1201}
X(1203){514,1203}
X(1207){4560,1207}
X(1210){513,1210}
X(1212){514,1212}
X(1213){1577,1213}
X(1214){522,1214}
X(1220){4581,1220}
X(1249){1817,1249}
X(1252){2397,1252}
X(1255){4608,1255}
X(1260){4468,1260}
X(1266){3434,1266}
X(1276){4391,1276}
X(1277){4391,1277}
X(1279){145,1279},{514,1279}
X(1281){4010,1281}
X(1282){918,1282},{1818,1282},{2254,1282},{4088,1282},{4712,1282},{4925,1282}
X(1283){4088,1283}
X(1284){145,1284},{3907,1284},{4804,1284}
X(1290){4585,1290}
X(1292){78,103},{644,1292}
X(1293){78,104},{3699,1293}
X(1295){78,109}
X(1317){3738,1317}
X(1319){145,1319},{522,1319}
X(1320){900,1320}
X(1323){7,1323},{3900,1323}
X(1324){4064,1324}
X(1326){4560,1326}
X(1329){1577,1329}
X(1330){2533,1330}
X(1331){100,1331}
X(1332){4427,1332}
X(1333){4560,1333}
X(1334){63,3707},{4140,1334},{4462,1334},{4762,1334}
X(1335){514,1335}
X(1339){3667,1339}
X(1340){4560,1340}
X(1341){4560,1341}
X(1342){4560,1342}
X(1343){4560,1343}
X(1350){4560,1350}
X(1351){4560,1351}
X(1357){2254,1357}
X(1362){2254,1362}
X(1371){3900,1371}
X(1372){3900,1372}
X(1373){3900,1373}
X(1374){3900,1374}
X(1375){7,1375}
X(1376){649,1376},{3239,1376},{3667,1376},{4120,1376}
X(1379){4560,1379}
X(1380){4560,1380}
X(1381){78,1382},{522,1381}
X(1382){78,1381},{522,1382}
X(1384){4560,1384}
X(1385){522,1385},{4959,1385}
X(1386){514,1386}
X(1387){3738,1387}
X(1388){522,1388}
X(1392){4926,1392}
X(1400){693,1400},{3669,1400}
X(1401){2254,1401}
X(1402){522,1402}
X(1403){522,1403}
X(1404){3210,1404}
X(1405){4453,1405}
X(1407){4025,1407}
X(1411){3738,1411}
X(1412){4467,1412}
X(1415){1813,1415},{2406,1415},{4552,1415}
X(1418){4025,1418}
X(1419){4025,1419}
X(1420){522,1420}
X(1421){3738,1421}
X(1422){4131,1422}
X(1423){693,1423},{3907,1423},{4449,1423}
X(1424){4374,1424},{4449,1424}
X(1427){4025,1427}
X(1428){3810,1428}
X(1429){522,1429},{3875,1429}
X(1430){3187,1430}
X(1431){3907,1431}
X(1432){3907,1432}
X(1434){4374,1434}
X(1438){918,1438},{1814,1438},{2402,1438},{2991,1438},{4435,1438}
X(1439){4025,1439}
X(1440){4131,1440}
X(1442){3900,1442}
X(1443){3873,1443},{3900,1443}
X(1445){693,1445},{4025,19}
X(1447){693,1447},{3873,1447}
X(1448){3900,1448}
X(1449){514,1449},{4380,1449},{4467,1449}
X(1453){514,1453}
X(1454){522,1454}
X(1455){145,1455}
X(1456){145,1456}
X(1457){145,1457},{521,1457}
X(1458){145,1458},{3900,1458}
X(1459){3,522},{20,1459},{145,1459},{517,1459},{944,1459},{1071,1459},{2096,1459},{3555,1459},{3868,1459},{3885,1459},{4018,1459},{4430,1459}
X(1460){522,1460}
X(1461){664,1461}
X(1463){145,1463},{4449,1463}
X(1464){145,1464}
X(1465){7,1465},{4025,1465}
X(1466){522,1466}
X(1467){522,1467}
X(1468){523,1468}
X(1469){2254,1469},{3907,1469}
X(1470){522,1470}
X(1474){525,1474}
X(1475){4762,1475}
X(1477){1280,1477}
X(1478){521,1478},{2517,1478}
X(1479){521,1479}
X(1482){522,1482}
X(1483){3738,1483}
X(1484){3738,1484}
X(1490){521,1490},{1259,1490}
X(1491){2,1491},{31,1491},{171,1491},{238,1491},{748,1491},{750,1491},{752,1491},{985,1491},{2239,1491},{2887,1491},{3836,1491},{3847,1491},{4307,1491},{4388,1491},{4645,1491},{4766,1491}
X(1492){4586,1492}
X(1495){192,1495}
X(1496){523,1496}
X(1497){523,1497}
X(1498){1819,1498}
X(1499){8,1499}
X(1500){812,1500}
X(1503){8,1503}
X(1504){4560,1504}
X(1505){4560,1505}
X(1509){4155,1509}
X(1510){8,1510}
X(1512){4391,1512}
X(1519){521,1519}
X(1528){521,1528}
X(1532){21,30}
X(1541){521,1541}
X(1542){4391,1542}
X(1543){521,1543}
X(1544){4391,1544}
X(1558){521,1558}
X(1570){4560,1570}
X(1572){824,1572}
X(1575){2,1575},{649,1575},{3835,1575},{4375,1575},{4785,1575}
X(1577){3,810},{4,1577},{69,1577},{76,1577},{99,1577},{264,1577},{286,1577},{311,1577},{314,1577},{315,1577},{316,1577},{317,1577},{340,1577},{511,1577},{621,1577},{622,1577},{633,1577},{634,1577},{637,1577},{638,1577},{877,1577},{1232,1577},{1234,1577},{1235,1577},{1236,1577},{1330,1577},{1352,1577},{1531,1577},{1843,1577},{2893,1577},{3186,1577},{3260,1577},{3491,1577},{3818,1577}
X(1578){4560,1578}
X(1579){4560,1579}
X(1580){6,1580},{248,1580},{523,1580},{647,2173},{879,1580},{1316,1580},{1640,1580},{2395,1580},{2422,1580},{2451,1580},{2452,1580},{2453,1580},{2966,661},{3049,1580},{3050,1580},{3287,1580},{3288,1580}
X(1581){694,1581},{804,1581},{2395,1581},{3569,1581}
X(1582){525,1582},{669,1582},{2528,1582}
X(1609){4560,1609}
X(1610){525,1610}
X(1612){523,1612}
X(1615){4025,1615}
X(1616){514,1616}
X(1617){522,1617}
X(1618){1331,59},{2398,1618}
X(1620){4560,1620}
X(1621){523,1621}
X(1622){522,1622}
X(1630){525,1630}
X(1633){644,1633},{1252,1633},{1331,651},{1783,1633},{1897,1633},{2398,1633},{2427,1633},{3952,1633},{4574,1633}
X(1635){2,1635},{45,1635},{88,1635},{190,1635},{545,1635},{903,1635},{1086,1635},{3782,1635},{4080,1635},{4286,1635},{4346,1635},{4363,1635},{4364,1635},{4370,1635},{4389,1635},{4409,1635},{4415,1635},{4419,1635},{4422,1635},{4440,1635},{4454,1635},{4465,1635},{4470,1635},{4472,1635},{4473,1635},{4499,1635},{4713,1635},{4945,1635}
X(1638){7,1638},{149,1638},{3254,1638}
X(1639){63,654},{329,1639}
X(1642){514,1642}
X(1643){239,1643},{527,1643},{1266,1643},{4440,1643},{4700,1643}
X(1644){513,1644}
X(1646){4440,1646}
X(1647){149,1647},{513,1647}
X(1652){693,1652}
X(1653){693,1653}
X(1654){2533,1654}
X(1659){521,1659}
X(1662){4560,1662}
X(1663){4560,1663}
X(1664){4560,1664}
X(1665){4560,1665}
X(1666){4560,1666}
X(1667){4560,1667}
X(1668){4560,1668}
X(1669){4560,1669}
X(1670){4560,1670}
X(1671){4560,1671}
X(1672){3810,1672}
X(1673){3810,1673}
X(1674){3810,1674}
X(1675){3810,1675}
X(1683){4560,1683}
X(1684){4560,1684}
X(1685){4560,1685}
X(1686){4560,1686}
X(1687){4560,1687}
X(1688){4560,1688}
X(1689){4560,1689}
X(1690){4560,1690}
X(1691){4560,1691}
X(1692){4560,1692}
X(1693){4560,1693}
X(1694){4560,1694}
X(1697){522,1697},{4462,1697}
X(1698){513,1698},{1577,1698}
X(1699){521,1699}
X(1706){3667,1706},{4391,1706}
X(1707){6,1707},{230,1707},{231,1707},{232,1707},{468,1707},{520,2184},{523,1707},{647,1707},{650,1707},{652,1750},{676,1707},{1637,1707},{1886,1707},{1990,1707},{2485,1707},{2489,1707},{2490,1707},{2491,1707},{2492,1707},{2493,1707},{2501,1707},{2977,1707},{3003,1707},{3011,1707},{3012,1707},{3018,1707},{3064,1707},{3290,1707},{3291,1707},{3310,1707},{3806,1707},{4874,1707}
X(1708){7,1708},{342,1767},{693,1708}
X(1709){9,1709},{521,57},{3064,1709},{3239,1709},{4086,1709}
X(1710){10,1710},{4064,1710},{4086,1710}
X(1711){19,1711},{661,1711},{3064,1711}
X(1712){20,1712},{1559,1712}
X(1713){27,1713},{514,1713}
X(1714){28,1714},{513,1714}
X(1715){29,1715},{522,1715}
X(1716){31,1716},{661,1716},{663,1716},{810,1716},{862,1716},{2356,1716}
X(1717){35,1717}
X(1718){36,1718},{1845,1718},{3738,1718},{4707,1718}
X(1719){37,1719},{424,1719},{2501,1719},{3700,1719},{4036,1719}
X(1720){40,1720},{1528,1720}
X(1721){55,1721},{652,1743},{3064,1721},{3700,1721},{3900,1721}
X(1722){56,1722},{513,1722},{1835,1722},{1874,1722},{1875,1722},{1876,1722},{1877,1722},{1878,1722},{1884,1722}
X(1723){57,1723},{514,1723},{905,2270},{3064,1723},{4077,1723}
X(1724){1,1777},{58,1724},{242,1724},{514,1724},{1459,1724},{1870,1724},{3737,1724}
X(1725){4,1725},{74,1725},{523,1725},{525,2312},{1304,656},{1552,1725},{2394,1725},{2574,1823},{2575,1822}
X(1726){75,1726}
X(1727){80,1727}
X(1728){4,46},{84,1728},{514,1728}
X(1729){85,1729},{3261,1729}
X(1730){86,1730},{3261,1730},{4025,1730}
X(1731){88,1731},{92,1731},{4462,1731}
X(1732){89,1732},{4801,1732}
X(1733){4,1733},{98,1733},{512,1733},{879,1733},{2574,2581},{2575,2580}
X(1734){3,905},{4,1734},{9,1734},{10,1734},{19,1734},{40,1734},{71,1734},{101,1734},{169,1734},{242,1734},{281,1734},{516,1734},{573,1734},{966,1734},{1276,1734},{1277,1734},{1512,1734},{1542,1734},{1544,1734},{1706,1734},{1753,1734},{1766,1734},{1826,1734},{1839,1734},{1842,1734},{1855,1734},{1861,1734},{1869,1734},{1890,1734},{2183,1734},{2270,1734},{2333,1734},{2345,1734},{2354,1734},{2550,1734},{2551,1734},{3496,1734},{3501,1734},{3730,1734},{3923,1734},{4456,1734},{4660,1734}
X(1735){4,1735},{102,1735},{522,1735}
X(1736){4,1736},{103,1736},{514,1736}
X(1737){4,1737},{104,1737},{513,1737},{1309,522}
X(1738){3,1818},{4,1738},{105,1738},{885,1738},{3309,1738}
X(1739){4,1739},{106,1739},{2457,1739},{3667,1739},{4049,1739}
X(1740){184,1740},{187,1740},{237,1740},{351,1740},{512,1740},{647,1740},{649,1740},{663,1740},{665,1740},{667,1740},{669,1740},{887,1740},{890,1740},{902,1740},{1055,1740},{1495,1740},{1946,1740},{1960,1740},{2223,1740},{2488,1740},{2502,1740},{2978,1740},{3005,1740},{3009,1740},{3010,1740},{3016,1740},{3229,1740},{3230,1740},{3231,1740},{3250,1740},{3288,1740},{3331,1740},{3569,1740},{3724,1740},{3747,1740},{3804,1740},{4775,1740},{4834,1740}
X(1741){92,19},{189,1741},{693,1741}
X(1742){212,1742},{650,1742},{663,1742},{861,1742},{2340,1742},{3689,1742},{3900,1742},{4041,1742},{4105,1742},{4162,1742},{4433,1742},{4435,1742},{4477,1742},{4814,1742},{4895,1742},{4959,1742}
X(1743){63,2324},{222,1743},{241,1743},{514,1743},{650,1743},{652,1721},{665,1743},{905,1743},{1323,1743},{1375,1743},{1465,1743},{1638,1743},{3002,1743},{3004,1743},{3008,1743},{3015,1743},{3669,1743},{3676,1743},{3776,1743},{3911,1743},{3960,1743},{4091,282},{4369,1743},{4763,1743},{4841,1743}
X(1744){226,1744},{1577,1744}
X(1745){1,1044},{255,1745},{521,1745},{656,1745},{810,1745},{856,1745},{905,1745},{1459,1745},{1818,1745},{2584,1745},{2585,1745}
X(1746){261,1746}
X(1747){262,1747},{826,1747}
X(1748){264,1748},{850,1748}
X(1749){5,1749},{265,1749},{523,1749}
X(1750){9,165},{268,1750},{521,1750},{652,1707},{3239,1750}
X(1751){272,1751}
X(1752){277,1752},{918,1752}
X(1753){280,1753},{318,1158},{522,920},{4391,1753}
X(1754){243,1754},{284,1754},{522,1754},{652,1754},{1021,1754},{1731,1754},{1776,1754},{3064,1754}
X(1755){2,1755},{287,1755},{647,1755},{850,1755},{2395,1755}
X(1756){1,1756},{293,1756},{810,1756},{1577,1756},{3907,1756}
X(1757){10,1757},{295,1757},{514,1757},{764,1757},{876,1757},{1491,1757},{2530,1757},{2533,1757},{3126,1757},{3777,1757},{4147,1757},{4444,1757},{4490,1757},{4705,1757},{4824,1757}
X(1758){226,1758},{296,1758},{522,1758}
X(1759){304,1759},{824,1759},{1577,1759},{3261,1759},{4509,1759}
X(1760){305,1760},{826,1760},{850,1760},{1236,1760}
X(1761){306,1761},{850,1761},{1577,1761},{4024,1761}
X(1762){307,1762},{850,1762},{4077,1762},{4086,1762},{4088,1762}
X(1763){326,1763},{656,1763},{4025,1763}
X(1764){332,1764},{522,1764},{4087,1764}
X(1765){333,1765},{3064,1765}
X(1766){345,1766},{3700,1766},{3910,1766},{4391,1766}
X(1767){342,1708},{347,1767}
X(1768){8,2950},{11,1768},{123,1768},{521,1768},{2804,1768},{2968,1768},{3318,1768},{4081,1768},{4516,1768},{4768,1768},{4858,1768},{4939,1768}
X(1769){4,1769},{145,1769},{149,1769},{153,1769},{901,1769},{952,1769},{1320,1769},{1482,1769},{1537,1769},{1862,1769},{1897,1769},{2969,1769},{4080,1769}
X(1770){10,1782},{943,1770},{3900,1770},{4036,1770}
X(1771){3,3},{522,1771},{947,1771}
X(1772){4,1772},{900,1772},{953,1772}
X(1773){1038,1773},{2517,1773}
X(1774){1061,1774}
X(1775){1063,1775}
X(1776){92,1776},{1156,1776}
X(1777){1,1724},{1167,1777}
X(1778){423,1778},{1171,1778},{2501,1778},{4608,1778}
X(1779){650,1779},{1172,1779}
X(1780){1,28},{523,1780},{1175,1780},{2074,1780}
X(1781){525,1781},{1214,1781},{1577,1781},{3700,1781},{4077,1781},{4707,1781}
X(1782){10,1770},{1257,1782},{4397,1782}
X(1783){651,1783},{653,1783},{1262,1783},{1783,1783},{1981,1783},{2406,1783},{3732,1783},{4566,1783}
X(1784){4,1784},{520,1784},{1294,1784}
X(1785){4,1785},{521,1785},{1295,1785}
X(1786){1442,1786},{4467,1786}
X(1787){1443,1787},{4453,1787}
X(1788){1476,1788}
X(1790){4467,1790}
X(1795){3,109},{104,1795},{1295,1795},{2804,1795}
X(1797){4453,1797}
X(1805){4560,1805}
X(1806){4560,1806}
X(1807){3738,1807}
X(1813){664,1813}
X(1817){3265,1817},{4467,1817}
X(1818){3,1738},{20,1818},{3309,1818}
X(1821){69,799},{290,1821},{879,1821}
X(1822){3,1823},{523,1822},{1113,1822},{2575,1725}
X(1823){3,1822},{523,1823},{1114,1823},{2574,1725}
X(1826){4391,1826}
X(1837){3738,1837}
X(1838){521,1838}
X(1839){4391,1839}
X(1842){4391,1842}
X(1844){525,1844}
X(1848){521,1848}
X(1855){4391,1855}
X(1861){4,1861},{4391,1861}
X(1864){4468,1864}
X(1869){4391,1869}
X(1870){521,1870},{3868,1870}
X(1877){521,1877}
X(1890){4391,1890}
X(1891){521,1891}
X(1895){520,1895}
X(1896){520,1896}
X(1901){1577,1901}
X(1909){788,1909}
X(1910){287,1910},{2395,1910},{2799,1910},{2987,1910}
X(1912){8,1912}
X(1914){824,1914}
X(1917){4580,1917}
X(1918){784,1918}
X(1919){194,1919},{712,1919},{4393,1919}
X(1921){1912,1921}
X(1923){523,1923}
X(1924){6,1924},{194,1924},{384,1924},{698,1924},{1975,1924},{2998,1924},{3224,1924},{3360,1924},{4048,1924}
X(1929){2786,1929},{4010,1929},{4444,1929},{4458,1929}
X(1930){512,1930},{3267,1930}
X(1931){86,1931},{523,1931}
X(1935){4449,1935}
X(1936){63,1936},{522,1936}
X(1938){8,1938},{4331,1938}
X(1944){693,1944},{1938,1944},{3869,1944}
X(1946){192,1946},{3100,1946},{3164,1946}
X(1953){525,1953}
X(1954){523,1954}
X(1955){3,1955},{525,1955},{878,1955},{879,1955}
X(1956){684,1956}
X(1957){450,1957},{2451,1957},{2501,1957}
X(1958){669,1958},{3265,1958},{3566,1958}
X(1959){69,1959},{523,1959}
X(1960){192,1960},{537,1960},{3241,1960},{4488,1960}
X(1961){513,1961},{4024,1961},{4820,1961}
X(1962){523,1962},{4963,1962}
X(1964){512,1964}
X(1965){850,1965},{3221,1965}
X(1966){76,1966},{512,1966}
X(1967){804,1967},{881,1967},{1916,1967}
X(1970){4560,1970}
X(1973){525,1973},{2451,1973}
X(1980){696,1980}
X(1981){811,1981},{4566,1981}
X(1983){655,1983},{662,1983},{4552,1983},{4560,1983},{4564,1983}
X(1998){513,1998}
X(1999){513,1999}
X(2000){513,2000}
X(2002){693,2002}
X(2003){4025,2003}
X(2006){3738,2006}
X(2007){812,2007}
X(2008){812,2008}
X(2011){4560,2011}
X(2012){4560,2012}
X(2019){4560,2019}
X(2020){4560,2020}
X(2021){4560,2021}
X(2022){4560,2022}
X(2024){4560,2024}
X(2025){4560,2025}
X(2026){4560,2026}
X(2027){4560,2027}
X(2028){4560,2028}
X(2029){4560,2029}
X(2030){4560,2030}
X(2031){4560,2031}
X(2032){4560,2032}
X(2033){4560,2033}
X(2034){4560,2034}
X(2035){4560,2035}
X(2036){4560,2036}
X(2037){4560,2037}
X(2038){4560,2038}
X(2052){680,2052}
X(2053){4449,2053}
X(2054){4010,2054}
X(2055){4560,2055}
X(2057){513,2057}
X(2061){522,2061}
X(2069){366,2069}
X(2076){4560,2076}
X(2077){78,2077},{522,2077}
X(2078){522,2078},{3870,2078}
X(2080){4560,2080}
X(2082){918,2082},{4462,2082}
X(2083){2799,2083}
X(2084){69,2084},{194,2084},{695,2084},{732,2084},{2896,2084},{3094,2084},{3866,2084}
X(2085){804,2085},{2514,2085},{4580,2085}
X(2087){514,2087},{4440,2087}
X(2088){4560,2088}
X(2092){661,2092},{4560,2092}
X(2093){522,2093}
X(2094){693,2094}
X(2095){522,2095}
X(2097){4025,2097}
X(2098){522,2098}
X(2099){522,2099}
X(2100){4086,2100}
X(2101){4086,2101}
X(2108){659,2108},{812,2108},{3716,2108},{4010,2108},{4368,2108},{4375,2108},{4432,2108},{4448,2108},{4455,2108},{4465,2108},{4486,2108},{4760,2108},{4800,2108},{4810,2108},{4830,2108}
X(2109){4375,2109}
X(2112){918,2112},{4366,2112}
X(2128){3566,2128}
X(2136){3667,2136},{4404,2136},{4462,2136},{4487,2136},{4546,2136},{4729,2136},{4855,2136},{4899,2136}
X(2155){3265,2155}
X(2156){3267,2156}
X(2159){2394,2159},{2986,2159},{3268,2159}
X(2160){1577,2160}
X(2161){3762,2161},{4080,2161}
X(2162){649,2162}
X(2163){4777,2163}
X(2166){265,2166},{526,2166}
X(2169){3,2190},{3484,2169}
X(2170){918,2170},{4440,2170}
X(2171){3910,2171}
X(2172){525,2172},{3049,2172},{4580,2172}
X(2173){2,2173},{525,2173},{647,1580},{1640,2173},{2394,2173},{2433,2173}
X(2176){514,2176}
X(2177){900,2177}
X(2182){2,2182},{2399,2182},{4025,241}
X(2183){2,2183},{905,2183},{2401,2183},{4391,2183}
X(2184){520,1707},{3265,2184}
X(2190){3,2169}
X(2191){3309,2191}
X(2193){4560,2193}
X(2195){885,2195}
X(2201){3187,2201}
X(2205){768,2205}
X(2209){890,2209}
X(2220){4560,2220}
X(2222){78,2745}
X(2223){192,2223},{522,2223}
X(2224){2412,2224}
X(2225){2,2225},{2412,2225},{3261,2225}
X(2227){2,2227},{669,2227}
X(2228){2,2228},{667,2228}
X(2229){2,2229},{798,2229}
X(2230){2,2230},{788,2230}
X(2231){2,2231},{2084,2231}
X(2232){2,2232}
X(2233){2,2233}
X(2234){2,2234},{512,2234},{3111,2234},{4108,2234}
X(2235){2,2235},{3250,2235}
X(2236){2,2236},{881,2236},{3005,2236}
X(2237){2,2237}
X(2238){2,2238},{661,2238},{3572,2238},{4369,2238},{4444,2238},{4481,2238}
X(2239){2,2239},{1491,2239},{4874,2239}
X(2240){2,2240}
X(2241){824,2241}
X(2242){824,2242}
X(2243){2,2243},{824,2243}
X(2244){2,2244},{826,2244}
X(2245){2,2245},{1577,2245},{4560,2245}
X(2246){2,2246},{918,2246},{1638,2246},{1639,2246},{4453,2246}
X(2247){2,2247},{1637,2247},{2799,2247},{3268,2247}
X(2248){4024,2248}
X(2250){3904,2250}
X(2251){194,2251}
X(2252){2,2252},{2990,2252}
X(2253){2,2253},{2989,2253}
X(2254){2,2254},{11,2254},{55,2254},{100,2254},{105,2254},{120,2254},{149,2254},{390,2254},{497,2254},{528,2254},{673,2254},{1001,2254},{1376,2254},{1621,2254},{2110,2254},{2550,2254},{2886,2254},{3021,2254},{3035,2254},{3058,2254},{3434,2254},{3816,2254},{3826,2254},{3829,2254},{3925,2254},{4026,2254},{4366,2254},{4413,2254},{4421,2254},{4423,2254},{4428,2254},{4429,2254}
X(2256){514,2256}
X(2257){514,2257}
X(2260){4801,2260}
X(2261){905,2261},{3904,2261},{4025,77}
X(2263){3900,2263}
X(2264){63,3965},{4468,2264}
X(2265){2,2265},{905,2316},{3904,2265},{3977,644}
X(2267){3904,2267}
X(2268){3910,2268}
X(2269){63,3686},{4462,2269}
X(2270){2,9},{905,1723},{4025,2270},{4391,2270}
X(2271){4560,2271}
X(2272){2,2272}
X(2273){514,2273}
X(2274){512,2274}
X(2275){812,2275}
X(2276){661,2276},{812,2276}
X(2278){4560,2278}
X(2279){4762,2279}
X(2280){918,2280},{4467,2280}
X(2283){522,2283},{4552,2283}
X(2284){514,2284},{1018,2284}
X(2285){693,2285},{3910,2285}
X(2287){63,284},{3265,2287}
X(2290){2,2290},{2413,2290}
X(2292){523,2292}
X(2293){3900,2293}
X(2294){525,2294}
X(2295){812,2295}
X(2298){3910,2298}
X(2300){514,2300}
X(2301){525,2301}
X(2302){525,2302}
X(2303){525,2303}
X(2304){525,2304}
X(2305){4024,2305},{4560,2305}
X(2308){4782,2308},{4802,2308}
X(2309){2978,2309},{4083,2309}
X(2310){149,2310}
X(2311){63,645},{1821,2311},{2395,2311}
X(2312){2,2312},{525,1725},{2419,2312},{3265,2312}
X(2313){2,2313}
X(2314){2,2314}
X(2315){2,2315},{2986,2315}
X(2316){63,644},{88,2316},{905,2265},{2401,2316},{4453,2316}
X(2319){649,2319}
X(2320){4777,2320}
X(2321){63,2347},{4462,2321}
X(2322){850,2322}
X(2323){63,2323},{514,2323}
X(2324){63,1743},{514,2324}
X(2325){329,2325},{4462,2325}
X(2328){523,2328}
X(2329){514,2329}
X(2330){3810,2330}
X(2332){525,2332}
X(2333){4391,2333}
X(2334){4778,2334}
X(2338){63,651}
X(2340){144,2340},{513,2340}
X(2341){2349,2341},{2394,2341}
X(2342){2804,2342}
X(2344){824,2344}
X(2345){4391,2345}
X(2347){63,2321},{650,2347},{4462,2347}
X(2348){2,2348},{63,3693},{3676,2348},{4468,2348},{4521,2348}
X(2349){69,662},{1494,2349},{3268,2349}
X(2352){522,2352}
X(2354){4391,2354}
X(2356){193,2356},{521,2356}
X(2357){4397,2357}
X(2359){3910,2359}
X(2360){525,2360}
X(2363){4581,2363}
X(2385){8,2385}
X(2386){8,2386}
X(2387){8,2387}
X(2388){8,2388}
X(2389){8,2389}
X(2390){8,2390}
X(2391){8,2391}
X(2392){8,2392}
X(2393){8,2393}
X(2398){513,2398}
X(2400){4872,2400}
X(2401){517,2401}
X(2403){320,2403}
X(2406){693,2406},{4566,2406}
X(2415){4106,2415}
X(2420){4560,2420}
X(2423){3218,2423}
X(2424){516,2424}
X(2427){514,2427},{4552,2427}
X(2440){239,2440}
X(2446){522,2446}
X(2447){522,2447}
X(2448){1,2449},{522,2448}
X(2449){1,2448},{522,2449}
X(2456){4560,2456}
X(2457){942,2457},{2475,2457}
X(2458){4560,2458}
X(2459){4560,2459}
X(2460){4560,2460}
X(2461){4560,2461}
X(2462){4560,2462}
X(2475){4036,2475}
X(2481){926,2481},{3766,2481}
X(2483){2,2483},{1930,2483}
X(2484){2,2484},{304,2484}
X(2486){149,2486}
X(2488){192,2488}
X(2502){192,2502}
X(2503){2,2503}
X(2504){149,2504},{4329,2504}
X(2505){149,2505}
X(2509){2,2509},{169,2509},{1763,2509}
X(2510){4329,2510}
X(2511){2,2511}
X(2515){2,2515}
X(2516){2,2516},{4488,2516},{4862,2516}
X(2517){4,2517},{835,2517}
X(2519){4329,2519}
X(2522){2,2522},{19,2522},{534,2522},{1848,2522},{2339,2522},{3101,2522},{4329,2522}
X(2523){4329,2523}
X(2524){4329,2524}
X(2525){4329,2525}
X(2526){2,2526},{3883,2526},{4344,2526}
X(2527){4671,2527}
X(2530){1,2530},{2896,2530},{3502,2530},{3662,2530},{3821,2530},{4201,2530},{4645,2530},{4660,2530}
X(2533){2475,2533},{4645,2533}
X(2534){513,2534}
X(2535){513,2535}
X(2550){3309,2550},{4391,2550}
X(2551){4391,2551}
X(2556){522,2556}
X(2557){522,2557}
X(2558){4560,2558}
X(2559){4560,2559}
X(2560){4560,2560}
X(2561){4560,2561}
X(2562){4560,2562}
X(2563){4560,2563}
X(2564){522,2564}
X(2565){522,2565}
X(2572){522,2572}
X(2573){522,2573}
X(2574){8,2574}
X(2575){8,2575}
X(2576){394,2577},{525,2576}
X(2577){394,2576},{525,2577}
X(2578){2,2578},{648,2579},{2593,2578}
X(2579){2,2579},{648,2578},{2592,2579}
X(2580){69,2581},{850,2580},{2575,1733}
X(2581){69,2580},{850,2581},{2574,1733}
X(2582){69,2582},{99,2583},{2575,2582}
X(2583){69,2583},{99,2582},{2574,2583}
X(2584){3,2588},{20,2584},{2575,2584}
X(2585){3,2589},{20,2585},{2574,2585}
X(2586){520,2586}
X(2587){520,2587}
X(2588){3,2584},{4,2588},{107,2589},{1113,2588},{2575,2588},{2593,2588}
X(2589){3,2585},{4,2589},{107,2588},{1114,2589},{2574,2589},{2592,2589}
X(2590){2,2590},{651,2591}
X(2591){2,2591},{651,2590}
X(2594){3738,2594}
X(2596){3738,2596}
X(2600){2,2600},{2167,2600}
X(2602){2167,2602}
X(2605){145,2605},{758,2605},{3648,2605},{4294,2605}
X(2606){3738,2606}
X(2607){758,2607},{1577,2607}
X(2610){2,2610},{662,2610},{2185,2610},{2278,2610}
X(2613){662,2613}
X(2616){3,2616},{54,2616},{97,2616},{195,2616},{1154,2616},{1157,2616},{1493,2616},{1993,2616},{2979,2616}
X(2617){110,2617},{351,2617},{526,2617},{684,2617},{1576,2617},{1624,2617},{1634,2617},{2421,2617},{4556,2617},{4558,2617},{4636,2617}
X(2618){4,2618},{93,2618},{562,2618},{930,2618},{1154,2618},{2888,2618},{3410,2618},{3519,2618}
X(2620){1154,2620}
X(2624){2,2624},{94,2624},{300,2624},{301,2624},{328,2624},{338,2624},{566,2624},{1272,2624},{1989,2624},{2410,2624},{2493,2624}
X(2626){526,2626}
X(2629){122,2629},{125,2629},{520,2629},{684,2629},{1650,2629},{2972,2629},{4466,2629}
X(2630){2,2630}
X(2631){2,2631},{648,2631},{1494,2631},{3163,2631}
X(2632){520,162},{3448,2632}
X(2633){4240,2633}
X(2635){2,2635},{521,2635}
X(2637){2,2637}
X(2640){115,2640},{125,2640},{245,2640},{246,2640},{247,2640},{647,2640},{686,2640},{690,2640},{868,2640},{1116,2640},{1562,2640},{1637,2640},{1640,2640},{1648,2640},{2081,2640},{2088,2640},{2610,2640},{3120,2640},{3124,2640},{3125,2640},{3269,2640},{3569,2640},{4120,2640}
X(2641){2,2641}
X(2642){2,2642},{99,2642},{111,2642},{115,2642},{126,2642},{148,2642},{543,2642},{574,2642},{620,2642},{671,2642},{2482,2642},{2549,2642},{3734,2642},{4045,2642}
X(2643){148,2643},{690,2643},{3448,2643}
X(2645){148,2645}
X(2646){522,2646}
X(2647){521,2647}
X(2648){2785,2648}
X(2650){523,2650}
X(2651){333,2651},{523,2651}
X(2652){2785,2652}
X(2654){521,2654}
X(2655){521,2655},{1214,2655}
X(2658){520,2658}
X(2659){520,2659}
X(2662){522,2662}
X(2663){514,2663}
X(2664){37,2664},{513,2664},{876,2664},{2196,2664},{3250,2664},{3252,2664},{3572,2664},{4079,2664},{4502,2664}
X(2665){3572,2665}
X(2667){512,2667}
X(2669){274,2669},{512,2669}
X(2673){4560,2673}
X(2674){4560,2674}
X(2702){3570,2702}
X(2716){78,901}
X(2717){78,2742}
X(2724){78,813}
X(2742){78,2717}
X(2743){78,953}
X(2745){78,2222}
X(2766){4242,2766}
X(2771){8,2771}
X(2772){8,2772}
X(2773){8,2773}
X(2774){8,2774}
X(2775){8,2775}
X(2776){8,2776}
X(2777){8,2777}
X(2778){8,2778}
X(2779){8,2779}
X(2780){8,2780}
X(2781){8,2781}
X(2782){8,2782}
X(2783){8,2783}
X(2784){8,2784}
X(2785){8,2785}
X(2786){8,2786}
X(2787){8,2787},{4783,2787}
X(2788){8,2788}
X(2789){8,2789},{4459,2789}
X(2790){8,2790}
X(2791){8,2791}
X(2792){8,2792}
X(2793){8,2793}
X(2794){8,2794}
X(2795){8,2795}
X(2796){8,2796},{4010,2796}
X(2797){8,2797}
X(2798){8,2798}
X(2799){8,2799}
X(2800){8,2800},{521,104},{2804,2800}
X(2801){8,2801},{3904,2801},{4528,2801}
X(2802){8,2802},{900,2802}
X(2803){8,2803}
X(2804){8,2804},{100,900},{153,2804},{2800,2804}
X(2805){8,2805}
X(2806){8,2806}
X(2807){8,2807}
X(2808){8,2808}
X(2809){8,2809},{918,2809}
X(2810){8,2810},{2254,2810}
X(2811){8,2811}
X(2812){8,2812},{221,2812},{651,2812}
X(2813){8,2813}
X(2814){8,2814}
X(2815){8,2815}
X(2816){8,2816}
X(2817){8,2817}
X(2818){8,2818}
X(2819){8,2819}
X(2820){8,2820},{220,2820},{294,2820},{644,2820},{1146,2820},{4513,2820}
X(2821){8,2821},{2310,2821}
X(2822){8,2822}
X(2823){8,2823}
X(2824){8,2824}
X(2825){8,2825}
X(2826){8,2826},{3254,2826},{4858,2826}
X(2827){8,2827},{11,2827},{1320,2827},{1329,2827},{2098,2827},{3036,2827},{3699,2827},{3711,2827},{3813,2827},{4023,2827},{4152,2827},{4193,2827},{4345,2827}
X(2828){8,2828}
X(2829){8,2829},{521,80}
X(2830){8,2830}
X(2831){8,2831}
X(2832){8,2832},{599,2832},{1086,2832}
X(2833){8,2833}
X(2834){8,2834}
X(2835){8,2835}
X(2836){8,2836},{4707,2836}
X(2837){8,2837}
X(2838){8,2838}
X(2839){8,2839}
X(2840){8,2840}
X(2841){8,2841},{1769,2841}
X(2842){8,2842}
X(2843){8,2843}
X(2844){8,2844}
X(2845){8,2845}
X(2846){8,2846},{1148,2846}
X(2847){8,2847}
X(2848){8,2848}
X(2849){8,2849},{1897,2849}
X(2850){8,2850}
X(2851){8,2851}
X(2852){8,2852}
X(2853){8,2853}
X(2854){8,2854}
X(2869){8,2869}
X(2870){8,2870}
X(2871){8,2871}
X(2872){8,2872}
X(2873){8,2873}
X(2874){8,2874}
X(2875){8,2875}
X(2876){8,2876}
X(2877){8,2877}
X(2878){8,2878}
X(2879){8,2879}
X(2880){8,2880}
X(2881){8,2881}
X(2882){8,2882}
X(2887){832,2887}
X(2900){4468,2900}
X(2901){834,2901}
X(2911){514,2911}
X(2938){2318,2938},{3700,2938},{4041,2938},{4843,2938}
X(2939){525,2939},{656,2939},{3682,2939},{4064,2939}
X(2941){3694,2941},{3700,2941},{4086,2941}
X(2944){3910,2944}
X(2947){521,2947},{652,2947},{2289,2947}
X(2948){4707,2948},{4736,2948}
X(2950){8,1768},{2804,2950}
X(2951){1260,2951},{3239,2951},{3900,2951},{4148,2951},{4163,2951},{4524,2951},{4528,2951},{4546,2951}
X(2956){40,1}
X(2959){2292,2959},{4041,2959},{4122,2959}
X(2960){4086,2960}
X(2961){1040,2961}
X(2962){1510,2962}
X(2964){523,2964},{2070,2964}
X(2965){4560,2965}
X(2968){2849,2968}
X(2975){523,2975}
X(2976){3952,2976}
X(2977){3952,2977}
X(2978){192,2978}
X(2999){513,2999},{3004,2999},{4025,2999},{4897,2999}
X(3000){2,3000},{3900,3000}
X(3001){4560,3001}
X(3002){7,3002},{4560,3002}
X(3003){4560,3003}
X(3004){7,3004}
X(3005){192,3005},{744,3005}
X(3006){513,3006}
X(3007){3900,3007}
X(3008){7,3008},{513,3008},{885,3008}
X(3009){192,3009},{513,3009}
X(3010){192,3010},{3900,3010}
X(3011){513,3011}
X(3012){3900,3012}
X(3013){2,3013}
X(3015){7,3015}
X(3016){192,3016}
X(3017){513,3017}
X(3019){3900,3019}
X(3020){4453,3020}
X(3030){2254,3030}
X(3033){2254,3033}
X(3035){2827,3035}
X(3036){3762,3036}
X(3038){4728,3038}
X(3039){3762,3039}
X(3051){786,3051}
X(3053){4560,3053}
X(3056){3907,3056}
X(3057){522,3057}
X(3059){4163,3059},{4468,3059}
X(3061){514,3061}
X(3062){3239,3062}
X(3063){63,3063},{194,3063},{239,3063},{2082,3063},{3177,3063},{3210,3063},{3496,3063},{3500,3063}
X(3064){92,3064},{1947,3064},{2994,3064}
X(3072){522,3072}
X(3073){663,3073}
X(3074){514,3074}
X(3075){3,35},{522,3075},{4091,3075}
X(3083){513,3083}
X(3084){513,3084}
X(3085){513,3085}
X(3086){513,3086}
X(3094){4560,3094}
X(3095){4560,3095}
X(3097){812,3097},{1491,3097},{4913,3097}
X(3098){4560,3098}
X(3099){824,3099}
X(3100){3869,3100},{3900,3100}
X(3101){4397,3101}
X(3102){4560,3102}
X(3103){4560,3103}
X(3104){4560,3104}
X(3105){4560,3105}
X(3106){4560,3106}
X(3107){4560,3107}
X(3109){758,3109}
X(3110){740,3110},{4560,3110}
X(3111){4560,3111}
X(3112){688,3112}
X(3116){804,3116},{3005,3116}
X(3120){149,3120},{3448,3120},{4010,3120}
X(3121){4440,3121}
X(3122){148,3122},{149,3122},{2787,3122}
X(3123){149,3123}
X(3125){148,3125},{150,3125},{2786,3125},{4440,3125},{4707,3125}
X(3126){516,3126},{3685,3126},{3912,3126},{4645,3126}
X(3145){4064,3145}
X(3149){21,3}
X(3158){3667,3158},{4380,3158},{4468,3158},{4480,3158}
X(3160){3900,3160}
X(3161){4106,3161},{4462,3161}
X(3169){4380,3169},{4462,3169},{4498,3169}
X(3174){3309,3174},{4468,3174}
X(3178){513,3178}
X(3179){1577,3179}
X(3182){20,3341},{1895,46}
X(3187){513,3187}
X(3188){3900,3188}
X(3189){3309,3189}
X(3190){513,3190}
X(3191){514,3191}
X(3193){523,3193}
X(3208){812,3208},{4462,3208}
X(3214){513,3214}
X(3216){36,3216},{238,3216},{513,3216},{667,3216},{859,3216},{905,3216},{1019,3216},{1437,3216},{1756,3216},{2530,3216},{3220,3216},{3286,3216},{3733,3216},{3737,3216},{3803,3216},{4040,3216},{4057,3216},{4164,3216},{4455,3216},{4481,3216},{4491,3216},{4833,3216},{4840,3216},{4905,3216}
X(3218){75,3218},{693,3218},{4411,3218},{4777,3218},{4828,3218}
X(3219){693,3219},{4036,3219},{4408,3219},{4608,3219},{4802,3219},{4824,3219}
X(3220){1,3220}
X(3221){8,3221}
X(3223){669,3223},{2451,3223},{3221,3223}
X(3227){891,3227}
X(3229){192,3229}
X(3230){192,3230},{514,3230}
X(3231){192,3231}
X(3234){883,3234}
X(3235){824,3235}
X(3236){824,3236}
X(3237){3907,3237}
X(3238){3907,3238}
X(3239){63,652},{69,3239},{189,3239},{190,649},{309,3239},{312,3239},{329,3239},{1903,3239},{4872,3239}
X(3240){513,3240}
X(3241){513,3241}
X(3242){514,3242}
X(3243){514,3243}
X(3244){513,3244}
X(3245){522,3245},{3679,3245}
X(3246){514,3246},{3241,3246}
X(3247){514,3247},{4838,3247}
X(3248){891,3248}
X(3249){536,3249}
X(3250){69,3250},{192,3250},{742,3250},{4419,3250},{4741,3250}
X(3251){519,3251},{4480,3251}
X(3254){3887,3254}
X(3256){522,3256}
X(3257){4555,3257},{4618,3257}
X(3261){315,3261},{766,3261}
X(3265){4329,3265}
X(3284){4560,3284}
X(3285){4560,3285}
X(3286){1,3286},{4151,3286},{4560,3286}
X(3287){2,3287},{63,3709},{257,3287},{1432,3287},{1959,3287},{3061,3287},{3212,3287}
X(3288){192,3288}
X(3293){484,3293},{513,3293},{1734,3293},{1757,3293},{4063,3293},{4705,3293},{4834,3293}
X(3294){514,3294},{4079,3294}
X(3295){522,3295}
X(3296){4801,3296}
X(3297){514,3297}
X(3298){514,3298}
X(3299){514,3299}
X(3301){514,3301}
X(3303){522,3303}
X(3304){522,3304}
X(3305){693,3305},{4806,3305}
X(3306){693,3306},{900,3306},{4406,3306},{4897,3306}
X(3307){8,3307},{100,3308},{3308,3307}
X(3308){8,3308},{100,3307},{3307,3308}
X(3309){8,3309},{9,3309},{346,3309},{390,3309},{391,3309},{452,3309},{728,3309},{950,3309},{1334,3309},{1697,3309},{1731,3309},{2082,3309},{2136,3309},{2269,3309},{2321,3309},{2325,3309},{2347,3309},{3161,3309},{3169,3309},{3208,3309},{3685,3309},{3686,3309},{3691,3309},{3692,3309},{3707,3309},{3710,3309},{3717,3309},{3790,3309},{3883,3309},{3886,3309},{3895,3309},{4007,3309},{4034,3309},{4050,3309},{4060,3309},{4266,3309},{4530,3309},{4545,3309},{4587,3309},{4779,3309},{4873,3309},{4901,3309},{4923,3309}
X(3310){3210,3310},{4440,3310}
X(3311){4560,3311}
X(3312){4560,3312}
X(3313){4560,3313}
X(3315){900,3315}
X(3329){3808,3329}
X(3330){2,3330}
X(3331){192,3331}
X(3332){3900,3332}
X(3333){522,3333},{4801,3333}
X(3336){522,3336},{4823,3336}
X(3337){522,3337}
X(3338){522,3338},{4905,3338}
X(3339){522,3339}
X(3340){522,3340}
X(3341){20,3182}
X(3359){522,3359}
X(3361){522,3361},{3669,3361}
X(3364){4560,3364}
X(3365){4560,3365}
X(3368){4560,3368}
X(3369){4560,3369}
X(3371){4560,3371}
X(3372){4560,3372}
X(3375){623,3375}
X(3377){485,3377}
X(3378){486,3378}
X(3379){4560,3379}
X(3380){4560,3380}
X(3384){624,3384}
X(3385){4560,3385}
X(3386){4560,3386}
X(3389){4560,3389}
X(3390){4560,3390}
X(3393){4560,3393}
X(3394){4560,3394}
X(3395){4560,3395}
X(3396){4560,3396}
X(3398){4560,3398}
X(3401){804,3401}
X(3403){512,3403}
X(3404){1916,3404},{2799,3404}
X(3405){76,3405},{826,3405},{882,3405}
X(3413){8,3413}
X(3414){8,3414}
X(3416){830,3416},{4761,3416}
X(3419){3762,3419}
X(3428){522,3428}
X(3430){78,3651},{4560,3430}
X(3436){2517,3436}
X(3437){4064,3437}
X(3445){3667,3445}
X(3452){693,3452}
X(3460){2618,3460}
X(3464){1099,3464}
X(3465){72,3465},{521,3465},{4064,3465}
X(3468){521,3468}
X(3474){2346,3474}
X(3475){521,3475}
X(3476){521,3476}
X(3485){521,3485}
X(3486){521,3486}
X(3487){521,3487},{4801,3487}
X(3488){521,3488}
X(3494){4083,3494}
X(3496){824,3496},{4391,3496}
X(3500){663,3500}
X(3501){812,3501},{4391,3501},{4498,3501},{4529,3501}
X(3503){522,3503}
X(3507){513,3507}
X(3508){514,3508}
X(3509){321,3509},{693,3509},{824,3509},{3776,3509},{4024,3509},{4444,3509},{4500,3509}
X(3510){42,3510},{649,3510},{788,3510},{875,3510},{1908,3510},{3572,3510},{4507,3510}
X(3512){4088,3512}
X(3513){522,3513}
X(3514){522,3514}
X(3550){522,3550},{659,3550},{4122,3550},{4477,3550}
X(3551){3835,3551},{4879,3551}
X(3553){514,3553}
X(3554){514,3554}
X(3555){514,3555}
X(3557){4560,3557}
X(3558){4560,3558}
X(3561){523,3561}
X(3562){523,3562}
X(3564){8,3564}
X(3566){8,3566}
X(3569){192,3569}
X(3570){660,3570},{799,3570},{3952,3570},{4576,3570},{4583,3570},{4589,3570},{4639,3570}
X(3571){661,3571},{740,3571}
X(3572){4562,3572}
X(3573){190,3573},{523,3573}
X(3576){522,3576},{3904,3576},{4895,3576}
X(3579){522,3579}
X(3581){4560,3581}
X(3582){513,3582}
X(3583){521,3583}
X(3584){513,3584}
X(3585){521,3585},{4036,3585}
X(3586){521,3586},{3762,3586}
X(3587){522,3587}
X(3592){4560,3592}
X(3594){4560,3594}
X(3598){693,3598}
X(3599){693,3599}
X(3600){3900,3600}
X(3601){522,3601}
X(3612){522,3612}
X(3614){3738,3614}
X(3615){526,3615}
X(3616){513,3616}
X(3617){513,3617}
X(3621){513,3621}
X(3622){513,3622}
X(3623){513,3623}
X(3624){513,3624},{4170,3624},{4815,3624}
X(3625){513,3625}
X(3626){513,3626}
X(3632){513,3632},{4404,3632},{4768,3632}
X(3633){513,3633}
X(3634){513,3634}
X(3635){513,3635}
X(3636){513,3636}
X(3638){3900,3638}
X(3639){3900,3639}
X(3640){514,3640}
X(3641){514,3641}
X(3647){523,3647}
X(3648){4036,3648}
X(3649){4815,3649}
X(3650){1577,3650}
X(3651){78,3430}
X(3652){4086,3652}
X(3654){4086,3654}
X(3657){4511,3657}
X(3658){4427,3658}
X(3660){522,3660}
X(3661){513,3661}
X(3662){693,3662}
X(3663){3900,3663},{4106,3663}
X(3664){3900,3664}
X(3665){4509,3665}
X(3666){522,3666}
X(3667){8,3667},{210,3667},{312,3667},{341,3667},{497,3667},{960,3667},{1265,3667},{1837,3667},{2478,3667},{2551,3667},{2899,3667},{3057,3667},{3701,3667},{3702,3667},{3706,3667},{3714,3667},{3876,3667},{3877,3667},{3880,3667},{3885,3667},{3893,3667},{3902,3667},{3966,3667},{3974,3667},{3975,3667},{4009,3667},{4113,3667},{4124,3667},{4514,3667},{4517,3667},{4519,3667},{4571,3667},{4662,3667},{4673,3667},{4679,3667},{4711,3667},{4723,3667},{4863,3667},{4886,3667},{4903,3667},{4914,3667}
X(3668){3900,3668}
X(3669){7,3669},{145,3669},{1266,3669},{3243,3669},{3340,3669},{3680,3669},{3875,3669},{3879,3669},{4373,3669},{4452,3669},{4460,3669},{4464,3669}
X(3670){522,3670}
X(3671){3900,3671}
X(3672){3900,3672}
X(3673){926,3673}
X(3674){3900,3674}
X(3675){522,3675},{4440,3675}
X(3676){7,3676},{3434,3676},{3873,3676}
X(3677){522,3677}
X(3679){513,3679},{3762,3679},{4086,3679},{4506,3679},{4761,3679}
X(3680){3667,3680}
X(3681){4963,3681}
X(3682){513,3682}
X(3683){4468,3683}
X(3684){63,3684},{649,3684},{4468,3684}
X(3685){3869,3685},{4083,3685},{4462,3685}
X(3686){63,2269},{4462,3686}
X(3687){513,3687}
X(3689){144,3689},{4468,3689}
X(3691){4462,3691}
X(3692){4462,3692}
X(3693){63,2348},{329,3693},{4468,3693}
X(3694){4468,3694}
X(3699){3888,3699},{3952,3699}
X(3700){329,3700},{2893,3700},{2895,3700},{4671,3700}
X(3702){834,3702}
X(3705){513,3705}
X(3707){63,1334},{4462,3707}
X(3708){148,3708},{525,163},{2799,3708}
X(3709){63,3287},{329,3709},{1655,3709},{1959,3709},{3177,3709}
X(3710){4462,3710}
X(3711){4468,3711}
X(3712){329,3712}
X(3713){4468,3713}
X(3715){4468,3715}
X(3716){329,3716},{2810,3716}
X(3717){3436,3717},{4462,3717}
X(3720){513,3720}
X(3721){824,3721}
X(3722){900,3722}
X(3723){514,3723}
X(3724){192,3724}
X(3726){824,3726}
X(3727){824,3727}
X(3728){4774,3728}
X(3729){3766,3729},{4083,3729},{4106,3729}
X(3730){4130,3730},{4391,3730},{4762,3730}
X(3731){514,3731},{3700,3731},{4106,3731},{4500,3731}
X(3732){668,3732},{883,3732},{4566,3732},{4569,3732},{4572,3732}
X(3733){1,3733},{596,3733},{4065,3733},{4418,3733}
X(3735){824,3735}
X(3736){512,3736},{4560,3736}
X(3737){1,3737},{21,3737},{31,3737},{38,3737},{47,3737},{58,3737},{63,3737},{81,3737},{191,3737},{255,3737},{283,3737},{595,3737},{758,3737},{774,3737},{846,3737},{896,3737},{920,3737},{968,3737},{993,3737},{1046,3737},{1468,3737},{1496,3737},{1497,3737},{1580,3737},{1612,3737},{1621,3737},{1707,3737},{1725,3737},{1749,3737},{1780,3737},{1822,3737},{1823,3737},{1923,3737},{1931,3737},{1954,3737},{1959,3737},{1962,3737},{2292,3737},{2328,3737},{2650,3737},{2651,3737},{2964,3737},{2975,3737},{3193,3737},{3561,3737},{3562,3737},{3573,3737},{3647,3737},{3743,3737},{3747,3737},{3794,3737},{3868,3737},{3869,3737},{3873,3737},{3874,3737},{3877,3737},{3878,3737},{3881,3737},{3884,3737},{3889,3737},{3890,3737},{3892,3737},{3894,3737},{3897,3737},{3898,3737},{3899,3737},{3901,3737},{3915,3737},{4512,3737},{4575,3737},{4653,3737},{4658,3737}
X(3738){3,3738},{8,3738},{100,3738},{104,3738},{944,3738},{952,3738},{956,3738},{1145,3738},{1150,3738},{1623,3738},{1809,3738},{2932,3738},{2968,3738},{2975,3738}
X(3740){3239,3740},{4813,3740}
X(3741){513,3741}
X(3742){3667,3742},{4382,3742}
X(3743){523,3743}
X(3744){522,3744}
X(3745){522,3745}
X(3746){522,3746}
X(3747){192,3747},{523,3747}
X(3748){522,3748}
X(3749){522,3749}
X(3750){522,3750}
X(3751){514,3751},{1734,3751},{2254,3751},{4041,3751},{4761,3751},{4807,3751},{4905,3751}
X(3752){3667,3752},{4025,3752}
X(3753){3667,3753}
X(3754){900,3754}
X(3755){3309,3755}
X(3756){149,3756},{2827,3756}
X(3757){513,3757}
X(3758){891,3758}
X(3760){788,3760}
X(3761){788,3761}
X(3762){69,3762},{150,3762},{668,3762},{2810,3762},{3421,3762},{3596,3762}
X(3764){2787,3764}
X(3766){69,3766}
X(3768){2,3768},{668,3768},{1015,3768},{1573,3768},{3227,3768}
X(3771){513,3771}
X(3776){7,3776}
X(3777){145,3777},{4310,3777},{4645,3777},{4743,3777}
X(3778){814,3778}
X(3779){4041,3779}
X(3783){513,3783},{3789,3783},{4643,3783}
X(3790){4462,3790}
X(3794){523,3794}
X(3795){3783,3795},{4724,3795},{4785,3795}
X(3798){75,3798},{497,3798}
X(3799){190,3799}
X(3800){8,3800}
X(3801){2475,3801}
X(3802){812,3802}
X(3803){1,3803},{346,3803},{1219,3803},{2297,3803},{3950,3803}
X(3804){192,3804}
X(3805){8,3805}
X(3807){3952,3807}
X(3808){8,3808}
X(3809){513,3809}
X(3810){8,3810},{1352,3810}
X(3811){513,3811}
X(3812){3667,3812}
X(3821){4010,3821}
X(3826){1577,3826}
X(3827){8,3827}
X(3828){513,3828}
X(3831){513,3831}
X(3835){69,3835},{350,3835},{497,3835},{3056,3835},{4388,3835}
X(3837){149,3837}
X(3840){513,3840}
X(3849){8,3849}
X(3852){8,3852}
X(3864){812,3864}
X(3865){3907,3865}
X(3868){523,3868}
X(3869){523,3869}
X(3870){513,3870}
X(3871){900,3871}
X(3872){513,3872}
X(3873){523,3873}
X(3874){523,3874}
X(3875){512,3875}
X(3877){523,3877}
X(3878){523,3878}
X(3880){8,3880},{3667,3880}
X(3881){523,3881}
X(3882){99,3882},{100,3882},{668,3882},{799,3882},{2787,3882},{4236,3882}
X(3883){4462,3883}
X(3884){523,3884}
X(3885){900,3885}
X(3886){512,3886},{4462,3886}
X(3887){8,3887},{190,3887},{528,3887},{1121,3887},{1156,3887},{4081,3887}
X(3888){100,3888},{932,3888},{4595,3888},{4598,3888}
X(3889){523,3889}
X(3890){523,3890}
X(3891){834,3891}
X(3892){523,3892}
X(3894){523,3894}
X(3895){900,3895},{4462,3895}
X(3897){523,3897}
X(3898){523,3898}
X(3899){523,3899}
X(3900){8,3900},{144,3900},{516,3900},{3062,3900},{3146,3900},{3729,3900},{3951,3900},{4416,3900},{4431,3900},{4461,3900},{4480,3900},{4488,3900},{4899,3900}
X(3901){523,3901}
X(3903){804,3903}
X(3904){69,3904},{1227,3904}
X(3905){512,3905}
X(3906){8,3906}
X(3907){8,3907},{511,3907}
X(3908){4427,3908},{4482,3908}
X(3909){100,3909},{1634,3909}
X(3910){8,3910}
X(3911){7,3911},{693,3911}
X(3912){69,3912},{513,3912}
X(3913){3667,3913},{4498,3913}
X(3915){523,3915}
X(3919){4926,3919}
X(3920){513,3920}
X(3923){4010,3923},{4083,3923},{4391,3923}
X(3924){513,3924}
X(3927){4163,3927}
X(3928){693,3928}
X(3929){693,3929},{4086,3929}
X(3930){2895,3930}
X(3931){522,3931}
X(3932){1330,3932}
X(3935){513,3935},{3681,3935}
X(3936){69,3936}
X(3938){513,3938}
X(3939){63,294},{100,3939},{1292,3939},{2414,3939},{2826,3939},{3732,3939}
X(3940){4778,3940}
X(3941){4151,3941}
X(3942){4025,651}
X(3943){2895,3943}
X(3944){521,3944},{4010,3944}
X(3945){3900,3945}
X(3946){3309,3946}
X(3948){69,3948}
X(3951){4802,3951}
X(3952){3909,3952},{3952,3952},{4553,3952}
X(3953){522,3953}
X(3954){514,3954}
X(3957){513,3957}
X(3959){2786,3959}
X(3960){7,3960},{528,3960},{664,3960},{903,3960},{1317,3960},{1320,3960},{1358,3960},{2099,3960},{3241,3960},{3476,3960},{4360,3960},{4398,3960}
X(3961){513,3961},{4088,3961}
X(3965){63,2264},{4468,3965}
X(3968){4943,3968}
X(3970){514,3970}
X(3973){514,3973},{4521,3973},{4885,3973}
X(3976){522,3976}
X(3977){4106,3977},{4329,3977}
X(3979){513,3979}
X(3980){2517,3980},{4010,3980}
X(3982){693,3982}
X(3985){329,3985}
X(3986){4106,3986},{4801,3986}
X(3987){3667,3987}
X(3989){4802,3989}
X(3990){514,3990}
X(3992){1330,3992}
X(3993){4083,3993}
X(3994){2895,3994}
X(3997){4762,3997}
X(3999){522,3999}
X(4000){3309,4000}
X(4003){522,4003}
X(4004){4962,4004}
X(4007){4462,4007}
X(4008){512,4008}
X(4009){329,4009}
X(4010){149,4010},{2895,4010},{4388,4010}
X(4011){4010,4011}
X(4017){145,4017},{388,4017},{2099,4017},{2475,4017},{3434,4017},{3649,4017},{3891,4017},{4442,4017}
X(4021){3900,4021}
X(4022){784,4022}
X(4024){319,4024},{321,4024},{1029,4024},{2895,4024},{3770,4024}
X(4025){75,4025},{1370,4025},{3434,4025},{4329,4025},{4514,4025},{4872,4025}
X(4026){830,4026}
X(4028){513,4028}
X(4031){693,4031}
X(4033){668,4033}
X(4034){4462,4034}
X(4036){1330,4036},{2392,4036}
X(4037){2895,4037}
X(4038){522,4038}
X(4039){513,4039},{3770,4039}
X(4040){1,4040},{6,4040},{9,4040},{37,4040},{44,4040},{45,4040},{72,4040},{213,4040},{218,4040},{219,4040},{220,4040},{238,4040},{392,4040},{405,4040},{518,4040},{611,4040},{613,4040},{906,4040},{954,4040},{956,4040},{958,4040},{960,4040},{984,4040},{1001,4040},{1023,4040},{1083,4040},{1100,4040},{1104,4040},{1107,4040},{1108,4040},{1124,4040},{1191,4040},{1203,4040},{1212,4040},{1279,4040},{1335,4040},{1386,4040},{1449,4040},{1453,4040},{1616,4040},{1642,4040},{1713,4040},{1723,4040},{1724,4040},{1728,4040},{1736,4040},{1743,4040},{1757,4040},{2087,4040},{2176,4040},{2256,4040},{2257,4040},{2273,4040},{2284,4040},{2300,4040},{2323,4040},{2324,4040},{2329,4040},{2427,4040},{2663,4040},{2911,4040},{3061,4040},{3074,4040},{3191,4040},{3230,4040},{3242,4040},{3243,4040},{3246,4040},{3247,4040},{3294,4040},{3297,4040},{3298,4040},{3299,4040},{3301,4040},{3508,4040},{3553,4040},{3554,4040},{3555,4040},{3640,4040},{3641,4040},{3723,4040},{3731,4040},{3751,4040},{3954,4040},{3970,4040},{3973,4040},{3990,4040},{4053,4040},{4426,4040},{4649,4040},{4663,4040},{4864,4040},{4867,4040}
X(4041){144,4041},{1654,4041},{2475,4041},{2550,4041},{3436,4041},{3617,4041},{4733,4041}
X(4049){320,4049}
X(4050){4462,4050},{4785,4050}
X(4052){4106,4052}
X(4053){514,4053},{2895,4053}
X(4054){4106,4054}
X(4057){1,4057},{3159,4057},{3995,4057}
X(4060){4462,4060}
X(4061){513,4061}
X(4062){513,4062},{2895,4062}
X(4063){10,4063},{75,4063},{76,4063},{313,4063},{341,4063},{726,4063},{984,4063},{986,4063},{1226,4063},{1266,4063},{1269,4063},{1738,4063},{1921,4063},{2228,4063},{3264,4063},{3596,4063},{3663,4063},{3673,4063},{3717,4063},{3718,4063},{3821,4063},{4357,4063},{4385,4063},{4389,4063},{4398,4063},{4429,4063},{4561,4063}
X(4064){72,4064},{2895,4064}
X(4065){4132,4065}
X(4067){4802,4067}
X(4068){4151,4068}
X(4069){2832,4069},{3799,4069},{3909,4069},{4756,4069}
X(4070){329,4070}
X(4073){4468,4073}
X(4077){2893,4077},{3434,4077}
X(4079){1655,4079},{2895,4079},{3954,4079},{3995,4079}
X(4083){8,4083},{726,4083},{1278,4083},{3551,4083},{4660,4083},{4709,4083}
X(4084){4777,4084}
X(4086){1330,4086},{3436,4086}
X(4088){2836,4088},{2895,4088},{3416,4088},{3448,4088},{3681,4088},{3909,4088}
X(4089){3900,4089}
X(4091){75,4091},{280,4091},{309,4091},{347,4091},{348,4091},{664,514},{1440,4091}
X(4097){4380,4097}
X(4105){100,4724},{144,4105},{3059,4105},{3681,4105}
X(4107){75,4107},{3056,4107},{4459,4107}
X(4114){693,4114}
X(4116){788,4116}
X(4117){888,4117}
X(4118){826,4118}
X(4120){312,4120},{2895,4120}
X(4122){2895,4122}
X(4123){832,4123}
X(4128){4155,4128}
X(4129){69,4129},{2478,4129}
X(4130){329,4130},{2391,4130}
X(4132){8,4132}
X(4139){8,4139},{4683,4139}
X(4140){2895,4140}
X(4142){4,4142},{4812,4142}
X(4144){2895,4144}
X(4145){8,4145}
X(4147){3436,4147},{4645,4147}
X(4149){830,4149}
X(4151){8,4151},{3770,4151}
X(4155){8,4155},{148,4155}
X(4156){2895,4156}
X(4157){329,4157}
X(4160){8,4160},{524,4160},{4363,4160},{4644,4160},{4665,4160},{4754,4160}
X(4161){788,4161}
X(4162){144,4162},{3621,4162}
X(4163){3436,4163}
X(4164){1,4164},{1281,4164}
X(4171){2895,4171}
X(4188){4926,4188}
X(4189){4777,4189}
X(4192){3716,4192}
X(4195){4083,4195}
X(4199){661,4199}
X(4203){659,4203}
X(4220){3287,4220},{3700,4220}
X(4223){918,4223}
X(4225){2605,4225}
X(4234){4139,4234}
X(4242){110,4242},{1309,4242}
X(4250){651,4250}
X(4251){918,4251},{4560,4251}
X(4252){4560,4252}
X(4253){77,948},{3669,4253},{4560,4253},{4762,4253},{4801,4253}
X(4254){4468,4254},{4560,4254}
X(4255){3667,4255},{4560,4255}
X(4256){900,4256},{4560,4256},{4833,4256}
X(4257){4560,4257},{4777,4257}
X(4258){4560,4258}
X(4259){1734,4259},{4560,4259}
X(4260){2254,4260},{4560,4260}
X(4261){4560,4261}
X(4262){4560,4262}
X(4263){4560,4263}
X(4264){4560,4264}
X(4265){4560,4265}
X(4266){63,8},{4462,4266},{4560,4266}
X(4267){4560,4267}
X(4268){4560,4268}
X(4269){850,4269},{4560,4269}
X(4270){4560,4270}
X(4271){3762,4271},{4560,4271}
X(4272){4560,4272}
X(4273){4560,4273}
X(4274){1635,4274},{4560,4274}
X(4275){4560,4275}
X(4276){4560,4276}
X(4277){4560,4277}
X(4278){2605,4278},{4560,4278}
X(4279){659,4279},{4560,4279}
X(4280){4560,4280}
X(4281){4560,4281}
X(4282){2167,4282},{4560,4282}
X(4283){2530,4283},{4560,4283}
X(4284){4560,4284}
X(4285){4560,4285}
X(4286){4560,4286}
X(4287){4560,4287}
X(4288){4560,4288}
X(4289){4560,4289}
X(4290){4560,4290}
X(4291){4560,4291}
X(4292){2517,4292},{3900,4292}
X(4293){3900,4293}
X(4294){3900,4294}
X(4295){3900,4295}
X(4296){3900,4296}
X(4297){3900,4297}
X(4298){3900,4298}
X(4299){3900,4299}
X(4300){3900,4300}
X(4301){3900,4301}
X(4302){3900,4302}
X(4303){3900,4303}
X(4304){3900,4304}
X(4305){3900,4305}
X(4306){3900,4306}
X(4307){3900,4307}
X(4308){3900,4308}
X(4309){3900,4309}
X(4310){3900,4310}
X(4311){3900,4311}
X(4312){1577,4312},{3900,4312}
X(4313){3900,4313}
X(4314){3900,4314}
X(4315){3900,4315}
X(4316){3900,4316}
X(4317){3900,4317}
X(4318){3900,4318}
X(4319){3900,4319}
X(4320){3900,4320}
X(4321){3900,4321}
X(4322){3900,4322}
X(4323){3900,4323}
X(4324){3900,4324}
X(4325){3900,4325}
X(4326){3900,4326},{4468,4326}
X(4327){3900,4327}
X(4328){3900,4328}
X(4329){3900,4329}
X(4330){3900,4330}
X(4331){3900,4331}
X(4332){3900,4332}
X(4333){3900,4333}
X(4334){2254,4334},{3669,4334},{3900,4334},{4449,4334}
X(4335){661,4335},{3900,4335}
X(4336){3900,4336}
X(4337){3900,4337}
X(4338){3900,4338}
X(4339){3900,4339}
X(4340){3900,4340}
X(4341){3900,4341}
X(4342){3900,4342}
X(4343){3900,4343}
X(4344){3900,4344}
X(4345){3900,4345}
X(4346){3900,4346}
X(4347){3900,4347}
X(4348){3900,4348}
X(4349){3900,4349}
X(4350){3900,4350}
X(4351){3900,4351}
X(4352){3900,4352}
X(4353){3900,4353}
X(4354){3900,4354}
X(4355){3900,4355}
X(4356){3900,4356}
X(4357){693,4357}
X(4358){69,4358}
X(4359){3261,4359}
X(4360){512,4360}
X(4362){513,4362}
X(4364){4160,4364}
X(4367){145,4367},{740,4367},{1278,4367},{2650,4367},{4307,4367}
X(4368){4010,4368}
X(4369){7,4369},{310,4369},{314,4369},{1401,4369},{4441,4369}
X(4370){3762,4370}
X(4373){4106,4373}
X(4374){3434,4374}
X(4375){350,4375},{518,4375}
X(4378){519,4378},{4740,4378}
X(4379){320,4379},{4441,4379}
X(4380){313,4380},{4441,4380},{4651,4380}
X(4382){319,4382},{4441,4382}
X(4383){1443,4383},{1444,394},{1447,4383},{3676,4383},{3737,4383},{4724,4383},{4778,4383}
X(4384){513,4384},{3261,4384},{3766,4384},{4374,4384},{4406,4384},{4408,4384},{4411,4384}
X(4386){649,4386},{2786,4386}
X(4391){69,4391},{313,4391},{2995,4391},{3436,4391}
X(4392){4777,4392}
X(4393){513,4393}
X(4394){2,4394},{2415,4394},{3161,4394},{3663,4394},{3729,4394},{3731,4394},{3977,4394},{3986,4394},{4052,4394},{4054,4394},{4373,4394},{4656,4394},{4859,4394}
X(4397){2390,4397},{3436,4397}
X(4401){37,4401},{2275,4401},{3161,4401},{3616,4401}
X(4404){1330,4404},{3421,4404}
X(4414){3797,4414},{4010,4414},{4776,4414},{4777,4414}
X(4416){2533,4416}
X(4418){4010,4418},{4036,4418},{4132,4418}
X(4420){513,4420}
X(4421){4962,4421}
X(4422){2832,4422}
X(4423){4778,4423}
X(4424){522,4424}
X(4425){4010,4425}
X(4426){514,4426}
X(4427){3952,4427},{4010,4427},{4033,4427},{4145,4427}
X(4430){4802,4430}
X(4432){891,4432}
X(4433){144,4433}
X(4435){144,4435},{1278,4435}
X(4436){1018,4436},{3952,4436},{4103,4436},{4115,4436},{4120,4436},{4169,4436}
X(4442){3434,4442}
X(4444){4589,4444},{4645,4444}
X(4447){3572,4447}
X(4449){518,4449},{1278,4449},{3621,4449},{3893,4449}
X(4453){3434,4453}
X(4455){1,4455},{1655,4455},{2107,4455},{2665,4455},{4368,4455}
X(4456){4391,4456}
X(4458){3434,4458}
X(4459){149,4459}
X(4462){69,4462},{3264,4462}
X(4466){149,4466},{2806,4466}
X(4467){3434,4467}
X(4468){69,4468},{3263,4468},{3681,4468}
X(4474){3416,4474}
X(4475){4440,4475}
X(4477){144,4477}
X(4481){1,4481}
X(4486){69,4486}
X(4489){513,4489}
X(4490){3617,4490},{4645,4490}
X(4491){1,4491},{3952,4491},{4075,4491}
X(4492){4844,4492}
X(4498){75,4498},{3617,4498},{4346,4498},{4373,4498},{4696,4498}
X(4499){4761,4499}
X(4505){668,4505}
X(4509){315,4509},{3434,4509}
X(4511){513,4511},{3869,4511}
X(4512){523,4512},{4468,4512}
X(4514){832,4514}
X(4516){148,4516},{2785,4516}
X(4518){3808,4518}
X(4521){63,649},{329,4521},{4358,4521}
X(4522){329,4522}
X(4524){1654,4524}
X(4526){329,4526}
X(4529){329,4529}
X(4530){4462,4530}
X(4545){4462,4545}
X(4551){100,4551},{109,4551},{651,4551},{1025,4551},{1331,4551},{2254,4551},{3738,4551},{3882,4551},{3888,4551},{3909,4551},{3939,4551},{4551,4551},{4579,4551}
X(4552){3909,4552}
X(4553){1018,4553},{4427,4553}
X(4554){3888,4554}
X(4556){99,4556}
X(4557){1026,4557},{3952,4557},{4568,4557}
X(4559){3882,4559},{4552,4559}
X(4560){75,4560},{3869,4560}
X(4561){3888,4561}
X(4562){660,4562},{874,4562}
X(4564){883,4564}
X(4566){4566,4566}
X(4568){4553,4568}
X(4570){3573,4570}
X(4571){3952,4571}
X(4574){3882,4574}
X(4575){110,4575},{925,4575},{1632,4575}
X(4578){3952,4578}
X(4579){100,4579}
X(4581){65,4581},{321,4581},{3714,4581}
X(4584){874,4584},{4639,4584}
X(4585){99,4585},{901,4585},{4555,4585},{4600,4585},{4615,4585},{4622,4585},{4781,4585}
X(4587){190,4587}
X(4588){4781,4588}
X(4589){874,4589},{875,4589},{4589,4589}
X(4592){99,4592},{3565,4592}
X(4593){880,4593}
X(4594){799,4594},{3903,4594}
X(4595){668,4595}
X(4596){4596,4596}
X(4598){1978,4598}
X(4599){4577,4599},{4630,4599}
X(4602){670,4602}
X(4603){799,4603}
X(4604){4597,4604},{4781,4604}
X(4606){4756,4606}
X(4607){889,4607}
X(4608){319,4608}
X(4610){4576,4610}
X(4612){99,4612}
X(4618){4555,4618}
X(4623){4576,4623}
X(4629){4632,4629}
X(4631){4576,4631}
X(4636){110,4636}
X(4638){4555,4638}
X(4640){3239,4640},{4024,4640},{4893,4640}
X(4641){3676,4641},{4608,4641}
X(4642){900,4642}
X(4643){4160,4643}
X(4645){2533,4645}
X(4646){3667,4646}
X(4647){512,4647}
X(4648){3309,4648}
X(4649){514,4649}
X(4651){513,4651}
X(4652){4777,4652}
X(4653){523,4653}
X(4654){693,4654}
X(4656){4106,4656}
X(4657){830,4657},{4170,4657}
X(4658){523,4658}
X(4659){3766,4659}
X(4660){4391,4660}
X(4663){514,4663}
X(4664){891,4664}
X(4666){513,4666}
X(4668){513,4668}
X(4669){513,4669}
X(4672){891,4672}
X(4673){512,4673}
X(4674){80,4674},{900,4674},{4674,4674}
X(4675){3887,4675}
X(4676){891,4676}
X(4677){513,4677}
X(4678){513,4678}
X(4680){832,4680}
X(4682){3667,4682},{4024,4682}
X(4685){513,4685}
X(4689){522,4689}
X(4691){513,4691}
X(4694){522,4694}
X(4695){2475,4695}
X(4697){4139,4697}
X(4700){3646,4700}
X(4701){513,4701}
X(4705){10,4705},{894,4705},{1046,4705},{1330,4705},{1654,4705},{1757,4705},{4416,4705},{4645,4705}
X(4706){3646,4706}
X(4707){75,4707},{150,4707},{2893,4707},{3419,4707}
X(4715){8,4715}
X(4719){3667,4719}
X(4723){3436,4723}
X(4724){2,4724},{100,4105},{210,4724},{354,4724},{518,4724},{1002,4724},{3475,4724},{3681,4724},{3740,4724},{3742,4724},{3789,4724},{3848,4724},{3873,4724},{4430,4724},{4661,4724}
X(4725){8,4725}
X(4728){69,4728},{149,4728}
X(4729){1654,4729},{4461,4729},{4678,4729}
X(4730){148,4730},{1654,4730},{2796,4730},{3679,4730},{3729,4730},{4660,4730}
X(4733){4761,4733}
X(4742){834,4742}
X(4745){513,4745}
X(4746){513,4746}
X(4749){4160,4749}
X(4750){75,4750},{149,4750},{2805,4750}
X(4752){190,4752}
X(4756){3952,4756}
X(4761){2550,4761}
X(4762){8,4762},{3761,4762}
X(4763){7,4763},{1357,4763},{4554,4763}
X(4765){75,4765},{329,4765},{3646,4765}
X(4766){69,4766}
X(4767){3952,4767}
X(4768){2841,4768},{3436,4768}
X(4770){1654,4770}
X(4771){3646,4771}
X(4773){3646,4773},{4858,4773}
X(4775){192,4775},{519,4775},{4416,4775}
X(4776){69,4776}
X(4777){8,4777},{3585,4777},{4067,4777},{4793,4777}
X(4778){8,4778},{443,4778},{942,4778},{1056,4778},{3296,4778},{3555,4778},{3646,4778},{3753,4778},{3873,4778},{4359,4778},{4935,4778}
X(4779){4462,4779}
X(4781){3952,4781}
X(4782){2,4782},{726,4782},{3097,4782},{3971,4782},{3989,4782},{4141,4782},{4903,4782},{4937,4782}
X(4784){2,4784},{740,4784},{1962,4784},{3795,4784},{4734,4784},{4933,4784}
X(4785){8,4785},{350,4785},{3789,4785}
X(4786){75,4786}
X(4789){69,4789}
X(4790){2,4790},{2321,4790},{3247,4790},{3646,4790},{3875,4790},{3946,4790},{4402,4790}
X(4791){69,4791}
X(4792){900,4792}
X(4794){518,4794},{1992,4794},{3241,4794},{3877,4794},{4664,4794}
X(4795){4761,4795}
X(4801){69,4801}
X(4802){8,4802},{3901,4802},{4084,4802}
X(4804){2895,4804},{3434,4804}
X(4806){2895,4806}
X(4807){2550,4807}
X(4808){1330,4808}
X(4809){149,4809}
X(4811){3436,4811}
X(4813){2,4813},{319,4813},{1100,4813},{3759,4813},{4725,4813},{4851,4813},{4886,4813}
X(4814){144,4814}
X(4815){1330,4815},{3434,4815}
X(4816){513,4816}
X(4817){1002,4817},{4441,4817}
X(4818){3646,4818}
X(4820){329,4820}
X(4822){145,4822},{1654,4822}
X(4823){69,4823}
X(4824){2895,4824},{4645,4824},{4651,4824}
X(4825){3679,4825}
X(4826){1655,4826}
X(4827){63,4827},{3646,4827}
X(4830){3646,4830}
X(4831){3646,4831}
X(4832){1655,4832},{3210,4832},{3646,4832}
X(4833){1,4833}
X(4834){10,4834},{192,4834},{3790,4834},{4431,4834}
X(4838){2895,4838}
X(4840){1,4840}
X(4841){7,4841},{2895,4841},{3646,4841}
X(4843){8,4843}
X(4844){8,4844}
X(4845){1156,4845}
X(4847){513,4847}
X(4850){900,4850},{3004,4850},{4467,4850}
X(4851){830,4851}
X(4853){513,4853}
X(4855){900,4855}
X(4857){521,4857}
X(4858){150,4858},{928,4858},{3766,4858}
X(4859){3309,4859},{4077,4859},{4106,4859},{4170,4859}
X(4860){522,4860}
X(4861){513,4861}
X(4862){3900,4862}
X(4864){514,4864},{3621,4864}
X(4865){832,4865}
X(4866){4778,4866}
X(4867){514,4867}
X(4868){900,4868}
X(4871){513,4871}
X(4873){4462,4873}
X(4876){812,4876}
X(4879){740,4879},{3621,4879},{4788,4879}
X(4881){4926,4881}
X(4882){513,4882},{4163,4882}
X(4883){522,4883}
X(4887){3900,4887}
X(4888){3900,4888}
X(4890){3907,4890}
X(4893){2,4893},{44,4893},{89,4893},{320,4893},{3758,4893},{3834,4893},{4641,4893},{4643,4893},{4644,4893},{4670,4893},{4675,4893},{4708,4893},{4715,4893},{4741,4893},{4747,4893},{4748,4893},{4795,4893},{4796,4893},{4798,4893}
X(4894){832,4894}
X(4895){144,4895},{528,4895}
X(4896){3900,4896}
X(4901){4462,4901}
X(4902){3900,4902}
X(4904){150,4904},{2820,4904}
X(4905){1,4905},{142,4905},{277,4905},{443,4905},{1738,4905},{1818,4905},{2191,4905},{2550,4905},{3174,4905},{3189,4905},{3755,4905},{3946,4905},{4000,4905},{4648,4905},{4859,4905}
X(4906){3667,4906}
X(4909){3900,4909}
X(4912){8,4912}
X(4913){329,4913}
X(4915){513,4915}
X(4919){812,4919}
X(4923){4462,4923}
X(4926){8,4926},{3583,4926},{3899,4926},{4066,4926},{4134,4926},{4717,4926}
X(4931){2895,4931}
X(4932){75,4932},{354,4932},{3706,4932}
X(4939){2815,4939}
X(4943){8,4943},{3898,4943},{3956,4943}
X(4944){329,4944}
X(4946){513,4946}
X(4957){150,4957}
X(4959){144,4959}
X(4960){75,4960},{3874,4960}
X(4961){8,4961}
X(4962){8,4962},{3967,4962},{4005,4962}
X(4964){8,4964}
To ETC

Compiled by Peter J C Moses.