ETC Reflections.

Last update: 2012/02/07.

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

 Centre  Reflections
X(1){2,551},{3,1385},{4,946},{6,1386},{8,10},{9,1001},{10,1125},{11,1387},{20,4297},{35,2646},{36,1319},{40,3},{43,995},{44,3246},{46,56},{57,999},{63,993},{65,942},{72,960},{79,3649},{80,11},{100,214},{145,3244},{165,3576},{190,4432},{191,21},{192,3993},{200,997},{238,1279},{267,229},{291,1015},{319,3775},{355,5},{484,36},{659,1960},{846,4653},{962,4301},{984,37},{1019,4367},{1044,4306},{1045,3736},{1046,58},{1054,106},{1125,3636},{1145,3035},{1282,101},{1478,226},{1697,3295},{1698,3616},{1709,1012},{1721,990},{1734,905},{1742,991},{1756,1284},{1757,238},{1768,104},{1770,4292},{1837,496},{2093,57},{2100,1113},{2101,1114},{2136,3913},{2254,3960},{2292,3743},{2448,1381},{2449,1382},{2550,142},{2939,2360},{2941,4221},{2948,110},{2956,1394},{2959,1326},{3216,1201},{3244,3635},{3245,1155},{3293,1193},{3338,3304},{3339,3333},{3416,141},{3419,2886},{3421,3452},{3586,497},{3621,3625},{3624,3622},{3625,3626},{3626,3634},{3632,8},{3633,145},{3654,549},{3663,4353},{3679,2},{3696,3739},{3729,3923},{3737,2605},{3751,6},{3753,3742},{3755,3946},{3762,3716},{3779,4260},{3868,3874},{3869,3878},{3873,3892},{3874,3881},{3877,3898},{3878,3884},{3894,3873},{3899,3877},{3901,3868},{4040,663},{4063,667},{4292,4298},{4293,4315},{4294,4314},{4295,3671},{4299,4311},{4302,4304},{4307,4349},{4312,7},{4333,4299},{4363,4670},{4365,4717},{4424,3666},{4474,4791},{4498,4401},{4643,4364},{4644,4667},{4646,4719},{4649,1100},{4659,4363},{4660,3821},{4661,4134},{4665,4472},{4668,1698},{4669,3828},{4674,244},{4677,3679},{4680,2887},{4690,4708},{4692,1215},{4693,4702},{4701,4691},{4707,4458},{4724,4794},{4761,4369},{4769,626},{4816,3617},{4862,4310},{4882,936},{4905,3669}
X(2){1,551},{3,549},{4,381},{5,547},{6,597},{8,3679},{10,3828},{20,376},{37,4755},{69,599},{75,4688},{99,2482},{145,3241},{148,671},{190,4370},{192,4664},{193,1992},{210,3740},{354,3742},{376,3},{381,5},{547,3628},{549,140},{551,1125},{597,3589},{599,141},{648,3163},{671,115},{903,1086},{944,3655},{1121,1146},{1278,4740},{1635,4763},{1651,402},{1699,3817},{1992,6},{2094,57},{2479,2454},{2480,2455},{2482,620},{2979,3917},{3060,51},{3146,3543},{3227,1015},{3228,1084},{3241,1},{3543,4},{3655,1385},{3679,10},{3681,210},{3742,3848},{3828,3634},{3830,3845},{3839,3545},{3873,354},{3877,392},{3917,3819},{4240,1651},{4363,4499},{4370,4422},{4430,3873},{4440,903},{4453,1638},{4499,4472},{4644,4795},{4661,3681},{4664,37},{4669,4745},{4677,4669},{4688,3739},{4728,4928},{4740,75},{4755,4698},{4795,4670}
X(3){1,1385},{2,549},{4,5},{5,140},{6,182},{20,550},{26,1658},{40,3579},{52,389},{64,3357},{110,1511},{114,620},{119,3035},{140,3530},{145,1483},{149,1484},{155,1147},{193,1353},{195,54},{265,125},{355,10},{381,2},{382,4},{399,110},{546,3628},{550,548},{576,575},{946,1125},{1350,3098},{1351,6},{1352,141},{1482,1},{1656,631},{1657,20},{2070,186},{2080,187},{2095,57},{3091,632},{3095,39},{3146,3627},{3526,3523},{3534,376},{3543,3845},{3627,546},{3652,3647},{3656,551},{3830,381},{3843,1656},{3845,547},{3851,3526},{3853,3850}
X(4){1,946},{2,381},{3,5},{5,546},{8,355},{20,3},{24,235},{25,1596},{40,10},{54,3574},{69,1352},{74,125},{98,115},{99,114},{100,119},{101,118},{102,124},{103,116},{104,11},{107,133},{109,117},{110,113},{112,132},{140,3850},{145,1482},{185,389},{186,403},{193,1351},{194,3095},{376,2},{378,427},{381,3845},{382,3627},{477,3258},{546,3861},{547,3860},{548,3628},{550,140},{631,3091},{632,3859},{925,131},{930,128},{944,1},{953,3259},{1071,942},{1113,1312},{1114,1313},{1141,137},{1292,120},{1293,121},{1294,122},{1295,123},{1296,126},{1297,127},{1298,130},{1299,135},{1300,136},{1303,129},{1350,141},{1352,3818},{1379,2040},{1380,2039},{1498,2883},{1593,1595},{1656,3858},{1657,550},{1986,1112},{2071,2072},{2077,3814},{2096,57},{2698,2679},{2724,1566},{3090,3832},{3091,3843},{3146,382},{3189,3811},{3241,3656},{3428,2886},{3430,3454},{3448,265},{3520,1594},{3522,1656},{3523,3851},{3524,3545},{3525,3855},{3526,3857},{3528,3090},{3529,20},{3533,3854},{3534,549},{3543,3830},{3545,3839},{3576,3817},{3627,3853},{3628,3856},{3648,3652},{3651,442},{4297,1125},{4549,4550}
X(5){2,547},{3,140},{4,546},{20,548},{52,143},{140,3628},{182,3589},{382,3853},{546,3850},{548,3530},{549,2},{550,3},{632,1656},{1263,137},{1353,6},{1385,1125},{1483,1},{1484,11},{3627,4},{3843,3859},{3845,381},{3853,3861},{3857,3851},{3858,3091},{3861,3856}
X(6){1,1386},{2,597},{3,182},{67,125},{69,141},{141,3589},{159,206},{182,575},{187,2030},{193,3629},{599,2},{694,1084},{1350,3},{1351,576},{1352,5},{1691,1692},{1975,4048},{2076,1691},{2097,57},{2453,1316},{2916,1176},{2930,110},{3050,3049},{3094,39},{3242,1},{3416,10},{3569,2492},{3630,3631},{3663,3946},{3751,4663},{3763,3618},{3875,4852},{3923,4672},{4259,4260},{4437,4422},{4655,3821},{4660,4085}
X(7){8,2550},{9,142},{144,9},{145,3243},{149,3254},{390,1},{673,1086},{1156,11}
X(8){1,10},{2,3679},{4,355},{7,2550},{10,3626},{11,3036},{20,40},{69,3416},{75,3696},{86,4733},{100,1145},{145,1},{149,80},{192,984},{193,3751},{210,4711},{315,4769},{329,3421},{346,4901},{376,3654},{390,9},{551,4745},{663,4147},{944,3},{960,4662},{962,4},{1019,4807},{1043,3704},{1120,3756},{1125,4691},{1280,4904},{1317,3035},{1320,11},{1361,3042},{1364,3040},{1482,5},{1483,140},{2098,1329},{2099,2886},{2102,1313},{2103,1312},{3021,3039},{3022,3041},{3057,960},{3189,3913},{3241,2},{3242,141},{3243,142},{3244,1125},{3434,3419},{3476,1376},{3486,958},{3555,942},{3600,1706},{3616,3617},{3617,4668},{3621,3632},{3623,1698},{3625,4701},{3626,4746},{3632,3625},{3633,3244},{3635,3634},{3679,4669},{3685,3717},{3786,4111},{3868,65},{3869,72},{3872,4847},{3873,3753},{3874,3754},{3875,3755},{3877,210},{3878,3678},{3881,3918},{3883,3686},{3884,4015},{3885,3057},{3886,2321},{3889,3698},{3890,3697},{3892,3968},{3894,3919},{3898,3956},{3899,4134},{3901,4084},{3902,3706},{3952,4738},{4318,1861},{4344,2345},{4360,4026},{4363,4665},{4419,4643},{4454,4659},{4560,4041},{4643,4690},{4644,4363},{4673,3714},{4693,4439},{4720,4046},{4864,3823},{4895,3716}
X(9){1,1001},{7,142},{84,3358},{2550,10},{3243,1},{3254,11}
X(10){1,1125},{2,3828},{8,3626},{37,3842},{65,3754},{72,3678},{141,3844},{142,3826},{145,3635},{210,3956},{214,3035},{226,3822},{354,3833},{551,2},{942,3812},{946,5},{1125,3634},{1385,140},{1386,3589},{2321,3773},{3057,3884},{3159,4075},{3244,1},{3452,3820},{3555,3881},{3625,8},{3626,4691},{3632,4701},{3635,3636},{3663,3821},{3678,4015},{3679,4745},{3696,4732},{3739,3846},{3753,3968},{3754,3918},{3755,4085},{3836,3823},{3874,942},{3878,960},{3892,3742},{3919,3753},{3950,4078},{3962,4127},{3988,4547},{3993,37},{4015,4540},{4018,4757},{4065,3743},{4067,72},{4084,65},{4127,3988},{4133,2321},{4134,210},{4135,4125},{4297,3},{4301,946},{4364,4708},{4432,4422},{4525,4134},{4527,4535},{4667,4670},{4669,3679},{4670,4472},{4701,4746},{4709,3696},{4744,3919},{4780,3755}
X(11){1,1387},{8,3036},{100,3035},{119,5},{214,1125},{1145,10},{1155,3911},{1317,1},{1537,946}
X(13){14,115},{15,396},{99,619},{298,623},{616,618}
X(14){13,115},{16,395},{99,618},{299,624},{617,619}
X(15){13,396},{16,187},{298,618},{316,624},{621,623}
X(16){14,395},{15,187},{299,619},{316,623},{622,624}
X(17){627,629}
X(18){628,630}
X(19){4319,1486}
X(20){1,4297},{2,376},{3,550},{4,3},{5,548},{8,40},{69,1350},{107,3184},{145,944},{146,110},{147,99},{148,98},{149,104},{150,103},{151,109},{152,101},{153,100},{355,3579},{376,3534},{382,5},{962,1},{1330,3430},{1352,3098},{2475,3651},{3091,3522},{3146,4},{3153,2071},{3434,3428},{3448,74},{3529,1657},{3543,2},{3627,140},{3830,549},{3832,3528},{3853,3530},{3868,1071}
X(21){191,3647},{2475,442},{3651,3}
X(22){378,3},{1993,184}
X(23){110,1495},{186,2070},{323,110},{691,187},{858,468},{2071,186},{3153,403},{3448,3580}
X(24){4,235}
X(25){4,1596},{1370,1368}
X(26){3,1658},{155,156}
X(27){3151,440}
X(31){3187,3791},{3938,3744},{4376,4797},{4680,10}
X(32){315,626},{1692,2032},{2458,1691},{4381,4836},{4769,10}
X(35){1,2646},{3585,12}
X(36){1,1319},{80,1737},{484,1155},{1737,3911},{2077,3},{3245,484},{3583,11},{4511,214},{4867,4511},{4880,3218}
X(37){2,4755},{10,3842},{75,3739},{192,4681},{1278,4726},{3696,10},{3739,4698},{4411,4885},{4686,75},{4688,2},{4709,4732},{4718,192},{4726,4739}
X(38){42,3666},{321,3741},{4365,3706},{4692,10}
X(39){76,3934},{115,2023},{187,2021},{1570,2025},{1692,2024}
X(40){1,3},{3,3579},{4,10},{57,3359},{84,1158},{944,4297},{962,946},{1012,4640},{1482,1385},{1537,3035},{3576,165},{3656,549},{3679,3654},{4301,1125}
X(42){38,3666},{321,1215},{4365,321},{4424,4868}
X(43){1,995},{982,3752}
X(44){1,3246},{320,3834},{1086,3008},{1266,4395},{1279,238},{3912,4422},{3943,2325},{4432,4759},{4645,3823},{4702,4432},{4727,3943},{4864,1279},{4908,4370}
X(46){1,56},{1479,1210},{3436,10}
X(51){210,375},{2979,3819},{3917,2}
X(52){3,389},{5,143},{113,1112},{1209,973},{3313,182}
X(54){4,3574},{195,1493},{2888,1209}
X(55){63,4640},{956,993},{1478,495},{1836,226},{2099,1},{3419,10},{3428,3},{3434,2886},{4863,4847}
X(56){1479,496},{1837,1210},{2098,1},{3436,1329}
X(57){1,999},{40,3359},{200,1376},{329,3452},{3421,10},{3476,4315}
X(58){1330,3454},{3430,3}
X(59){1618,692}
X(61){633,635}
X(62){634,636}
X(63){1,993},{55,4640},{1478,10},{1836,2886},{3434,4847},{3870,55},{3872,956}
X(64){3,3357},{1498,3}
X(65){1,942},{10,3754},{72,10},{210,3753},{960,3812},{1456,1876},{1898,1837},{3057,1},{3059,2550},{3244,3881},{3555,3874},{3678,3918},{3698,4004},{3753,3919},{3869,960},{3877,3742},{3878,1125},{3962,72},{3983,3922},{4005,3698},{4018,4084},{4067,3678},{4084,4757},{4127,4015},{4134,3968},{4523,4085},{4525,3956},{4536,4540},{4661,4711}
X(66){159,141},{1177,125}
X(67){6,125},{110,141}
X(68){155,5}
X(69){2,599},{4,1352},{6,141},{8,3416},{20,1350},{141,3631},{145,3242},{190,4437},{193,6},{194,3094},{895,125},{1351,5},{1353,140},{1992,2},{2104,1313},{2105,1312},{3448,67},{3618,3620},{3629,3589},{3729,2321},{3751,10},{3875,3663},{4663,3844}
X(72){1,960},{10,3678},{65,10},{210,4134},{1071,3},{1845,3042},{2901,3159},{3057,3878},{3244,3884},{3555,1},{3678,3988},{3697,4005},{3753,210},{3754,4015},{3868,942},{3874,1125},{3893,3625},{3894,3742},{3918,4547},{3919,3956},{3921,4539},{3962,4067},{4002,4533},{4004,3697},{4005,4537},{4018,65},{4067,4127},{4084,3754},{4127,4536},{4134,4532},{4744,3968},{4757,3918}
X(74){4,125},{110,3},{146,113},{399,1511},{1986,974}
X(75){2,4688},{8,3696},{37,3739},{192,37},{335,1086},{693,4411},{984,10},{1278,4686},{3644,192},{3739,4739},{3879,3664},{3993,1125},{4416,3686},{4664,2},{4681,4698},{4686,4726},{4687,4699},{4718,4681},{4751,4772},{4764,1278},{4788,4718}
X(76){39,3934},{194,39},{1569,620},{1916,115},{3094,141},{3095,5}
X(78){1837,1329}
X(79){1,3649},{191,442},{3065,11},{3648,3647},{3652,5}
X(80){1,11},{36,1737},{100,10},{1145,3036},{1317,1387},{4316,1155},{4511,3814},{4867,908}
X(81){2895,1211},{3920,3745},{4418,4697},{4683,4425}
X(84){9,3358},{40,1158},{1490,3}
X(85){3177,1212}
X(86){8,4733},{1654,1213}
X(92){1952,1146}
X(98){4,115},{99,3},{147,114},{1513,230}
X(99){2,2482},{4,114},{13,619},{14,618},{98,3},{115,620},{148,115},{194,1569},{316,325},{385,187},{671,2},{1916,39}
X(100){1,214},{4,119},{8,1145},{11,3035},{80,10},{104,3},{145,1317},{149,11},{962,1537},{1156,9},{1320,1},{1484,140},{3065,3647},{3218,1155},{3254,142},{3583,3814},{3935,3689}
X(101){4,118},{103,3},{150,116}
X(102){4,124},{109,3},{151,117}
X(103){4,116},{101,3},{152,118}
X(104){4,11},{100,3},{153,119},{1512,3911},{1537,1387}
X(105){644,1083},{1292,3}
X(106){1293,3}
X(107){4,133},{20,3184},{1294,3}
X(108){1295,3}
X(109){4,117},{102,3}
X(110){3,1511},{4,113},{23,1495},{67,141},{74,3},{265,5},{323,3292},{382,1539},{895,6},{1177,206},{3153,1568},{3448,125},{3580,468}
X(111){1296,3}
X(112){4,132},{1297,3}
X(113){52,1112},{125,5}
X(114){3,620},{115,5}
X(115){39,2023},{99,620},{114,5},{187,230},{325,625},{1569,39},{2482,2}
X(116){118,5}
X(117){124,5}
X(118){116,5}
X(119){3,3035},{11,5}
X(122){133,5},{3184,3}
X(124){117,5}
X(125){113,5},{185,974},{1495,468},{1511,140},{1539,546},{1568,2072},{1986,389},{3258,3154}
X(127){132,5}
X(128){137,5}
X(129){130,5}
X(130){129,5}
X(131){136,5}
X(132){127,5}
X(133){122,5}
X(136){131,5}
X(137){128,5}
X(140){3,3530},{4,3850},{5,3628},{546,5},{547,2},{548,3},{3627,3861},{3853,546}
X(141){6,3589},{10,3844},{69,3631},{182,140},{597,2},{1353,575},{1386,1125},{3629,6},{3630,69},{4852,3946}
X(142){10,3826},{1001,1125}
X(143){1216,3628}
X(144){7,9},{145,390},{149,1156},{4312,10},{4440,673}
X(145){1,3244},{2,3241},{3,1483},{4,1482},{7,3243},{8,1},{10,3635},{20,944},{69,3242},{100,1317},{144,390},{149,1320},{3146,962},{3434,2099},{3436,2098},{3617,3623},{3621,8},{3625,1125},{3632,10},{3868,3555},{3869,3057},{4454,4644},{4461,4344},{4462,4162},{4659,4667},{4661,3877},{4677,551},{4701,3636},{4729,4504},{4924,4856},{4929,3950}
X(146){20,110},{74,113},{265,1539},{476,1553},{3448,4},{3580,1514}
X(147){20,99},{98,114},{148,4},{385,1513}
X(148){2,671},{20,98},{99,115},{147,4},{194,1916},{616,14},{617,13}
X(149){3,1484},{7,3254},{8,80},{20,104},{100,11},{144,1156},{145,1320},{153,4},{2932,496},{3648,3065},{3935,908}
X(150){20,103},{101,116},{152,4},{664,1565},{1282,10},{3732,1146}
X(151){20,109},{102,117}
X(152){20,101},{103,118},{150,4},{4872,1530}
X(153){20,100},{104,119},{149,4},{1320,1537},{1768,10},{3218,1512}
X(154){1853,2}
X(155){3,1147},{26,156},{68,5},{2931,110}
X(159){6,206},{66,141}
X(165){1,3576},{1699,2},{3158,4421},{3576,3}
X(171){4388,3847}
X(175){176,3160}
X(176){175,3160}
X(182){5,3589},{6,575},{141,140},{576,6},{3098,3},{3818,5}
X(185){4,389},{125,974},{3627,143}
X(186){4,403},{23,2070},{403,468},{2071,3},{3153,2072}
X(187){6,2030},{39,2021},{115,230},{316,625},{325,620},{1570,1692},{1692,1691}
X(190){1,4432},{2,4370},{69,4437},{239,44},{320,3912},{335,37},{673,9},{903,2},{1086,4422},{1266,3008},{3888,4553},{3912,2325},{4360,4366},{4440,1086},{4645,3932}
X(191){1,21},{21,3647},{79,442},{2475,10}
X(192){1,3993},{2,4664},{8,984},{37,4681},{75,37},{1278,75},{3644,4718},{3766,4526},{4440,335},{4686,3739},{4699,4704},{4726,4698},{4740,2},{4764,4686},{4788,3644},{4821,4687}
X(193){2,1992},{3,1353},{4,1351},{6,3629},{8,3751},{69,6},{1352,576},{3416,4663},{3448,895},{3630,3589},{3663,4856}
X(194){4,3095},{69,3094},{76,39},{99,1569},{148,1916}
X(195){3,54},{54,1493},{2888,5},{3519,1209}
X(200){1,997},{57,1376},{497,3452}
X(210){2,3740},{8,4711},{10,3956},{51,375},{65,3753},{72,4134},{354,2},{3057,3877},{3175,3971},{3555,3892},{3753,10},{3873,3742},{3877,960},{3892,1125},{3894,942},{3919,3968},{3956,4015},{3971,4096},{4018,4744},{4134,3678},{4525,4532},{4711,4662},{4731,3921},{4744,3754}
X(214){10,3035},{11,1125}
X(221){1854,1}
X(222){1905,942}
X(226){10,3822},{993,1125},{2886,3838},{4847,2886}
X(238){1,1279},{1279,3246},{1738,3008},{1757,44},{3685,4432},{3932,4422},{4645,3836},{4693,3685},{4716,239}
X(239){190,44},{320,1086},{1086,4395},{3685,238},{3912,3008},{3943,4422},{4440,1266},{4562,1575},{4645,1738},{4693,4432},{4702,3246}
X(244){3994,4358},{4358,4871},{4695,1739},{4738,10}
X(256){1045,2092}
X(264){3164,216}
X(265){3,125},{110,5},{146,1539},{399,113},{3581,3580}
X(267){1,229}
X(287){648,6}
X(291){1,1015},{668,10},{3783,1575}
X(297){401,441},{648,1990},{2966,230}
X(298){13,623},{15,618},{299,325},{385,395},{3180,396}
X(299){14,624},{16,619},{298,325},{385,396},{3181,395}
X(306){3914,2887}
X(312){982,3840},{3210,3752}
X(315){8,4769},{32,626},{371,640},{372,639},{1975,3933},{3905,4920}
X(316){15,624},{16,623},{99,325},{187,625},{385,115},{691,858},{2080,5}
X(319){1,3775},{594,4478},{894,594},{4360,4357},{4431,4060},{4464,4021},{4649,10}
X(320){44,3834},{190,3912},{239,1086},{1266,4887},{1757,3836},{3257,908},{4480,2325}
X(321){38,3741},{42,1215},{3896,42},{4424,10}
X(323){23,110},{110,3292},{3448,858},{3581,1511}
X(325){115,625},{187,620},{385,230},{1513,114},{2966,441}
X(329){8,3421},{57,3452},{2093,10},{2094,2},{2095,5},{2096,3},{2097,141},{3474,1376},{4293,997}
X(335){75,1086},{190,37},{3797,3912}
X(339){2967,5}
X(340){648,297}
X(346){8,4901},{4452,4000}
X(350){4562,3912}
X(352){843,187}
X(354){2,3742},{10,3833},{210,2},{392,551},{3681,3740},{3740,3848},{4669,3968}
X(355){1,5},{3,10},{20,3579},{944,1385},{1482,946},{3654,3679},{3655,2},{3656,381}
X(371){315,640},{372,32},{637,639}
X(372){315,639},{371,32},{638,640}
X(376){2,3},{4,2},{8,3654},{20,3534},{381,549},{382,3845},{962,3656},{3146,3830},{3241,3655},{3534,550},{3543,381},{3545,3524},{3654,3579},{3656,1385},{3830,5},{3845,140}
X(378){4,427},{22,3}
X(381){2,5},{3,2},{4,3845},{376,549},{382,3830},{546,3860},{549,547},{568,51},{1482,3656},{1657,3534},{3534,3},{3654,10},{3655,551},{3656,946},{3830,4},{3845,546},{3860,3856}
X(382){3,4},{4,3627},{5,3853},{20,5},{110,1539},{376,3845},{381,3830},{548,3861},{550,546},{1350,3818},{1657,3},{3529,550},{3534,381},{3830,3543}
X(383){1080,1513}
X(385){99,187},{147,1513},{298,395},{299,396},{316,115},{325,230},{401,2966}
X(388){3340,3671},{3486,1},{4294,3295}
X(389){1216,140}
X(390){7,1},{8,9},{2550,1001},{2951,4297},{3059,960},{4326,4314}
X(391){4898,4098}
X(392){354,551},{3679,3740},{3753,2},{3919,3833},{4669,3956},{4677,4711}
X(394){1619,1660},{1899,1368}
X(395){396,230}
X(396){395,230}
X(399){3,110},{74,1511},{265,113},{3448,5},{3581,1495}
X(401){297,441},{385,2966},{648,3284}
X(403){186,468},{858,2072},{2072,5}
X(442){3650,191}
X(476){146,1553},{477,3}
X(477){4,3258},{476,3}
X(484){1,36},{36,1155},{3065,1749},{3465,2222},{3583,1737}
X(485){488,641}
X(486){487,642}
X(487){486,642},{2996,485}
X(488){485,641},{2996,486}
X(489){490,1975}
X(490){489,1975}
X(495){2886,3822}
X(496){1329,3825}
X(497){200,3452},{1376,3816},{3474,57},{3476,1},{4293,999}
X(546){3,3628},{4,3861},{5,3850},{140,5},{381,3860},{548,140},{550,3530},{3850,3856},{3853,4},{3859,3858}
X(547){2,3628},{4,3860},{140,2},{3830,3861},{3845,3850},{3853,3845}
X(548){4,3628},{5,3530},{140,3},{382,3861},{546,140},{3543,3860},{3627,3850},{3853,5},{3859,631}
X(549){2,140},{5,2},{381,547},{3534,548},{3627,3845},{3830,546},{3845,5},{3853,3860}
X(550){3,548},{4,140},{5,3},{382,546},{546,3530},{3146,3853},{3627,5},{3830,547},{3845,549},{3853,3628}
X(551){2,1125},{8,4745},{10,2},{3625,4669},{3679,3828},{3753,3833},{4301,3656},{4669,10},{4677,3626},{4745,3634}
X(568){381,51},{2979,549}
X(573){991,3}
X(576){3,575},{182,6},{3098,182}
X(590){615,3054}
X(591){1991,2}
X(594){319,4478},{4026,10},{4366,4422}
X(596){3159,1125}
X(597){2,3589},{141,2}
X(599){2,141},{6,2},{1992,597},{3534,3098},{3830,3818}
X(612){940,4682}
X(615){590,3054}
X(616){13,618},{148,14},{617,99},{621,298},{3180,15}
X(617){14,619},{148,13},{616,99},{622,299},{3181,16}
X(618){619,620}
X(619){618,620}
X(621){15,623},{616,298},{622,316},{3180,13}
X(622){16,624},{617,299},{621,316},{3181,14}
X(623){624,625}
X(624){623,625}
X(625){2030,3589}
X(627){17,629}
X(628){18,630}
X(631){4,3091},{632,140},{1656,632},{3091,1656},{3522,3},{3843,5}
X(632){4,3859},{5,1656},{631,140},{3858,5}
X(633){61,635}
X(634){62,636}
X(637){371,639},{638,315}
X(638){372,640},{637,315}
X(639){640,626}
X(640){639,626}
X(644){105,1083},{1280,1},{4534,3039}
X(647){2489,2485},{2525,3265},{3804,669}
X(648){2,3163},{287,6},{297,1990},{340,297},{401,3284},{1494,2},{1632,1576},{1972,216}
X(649){650,4394},{659,4782},{661,650},{663,667},{693,4369},{1459,3733},{2484,2483},{3250,665},{4010,4874},{4025,3798},{4040,4401},{4106,4885},{4382,693},{4449,4367},{4498,4063},{4502,3709},{4724,659},{4750,4786},{4775,1960},{4776,4763},{4813,661},{4814,4730},{4893,1635},{4958,4944}
X(650){649,4394},{693,4885},{2526,1491},{3239,4521},{3669,905},{3700,3239},{3803,4401},{4106,3835},{4162,663},{4394,2516},{4411,3739},{4790,649},{4820,3700},{4897,3798},{4944,1639}
X(651){1633,692},{1814,6},{4318,1456}
X(656){1459,905},{4086,10}
X(657){4171,4130}
X(659){1,1960},{649,4782},{667,4401},{693,4874},{764,3960},{876,665},{1491,650},{3777,905},{3801,4142},{4010,3716},{4367,667},{4775,4794},{4784,649},{4800,4448},{4810,4010},{4879,663}
X(661){649,650},{693,3835},{1577,4129},{1635,4893},{2254,1491},{2484,2509},{4010,4806},{4024,3700},{4041,4705},{4106,4940},{4382,4106},{4728,4776},{4729,4041},{4730,4770},{4761,10},{4790,4394},{4804,4010},{4838,4024},{4895,4775},{4931,4120}
X(663){8,4147},{649,667},{667,1960},{1459,2605},{2254,905},{2533,4874},{4040,4794},{4041,650},{4063,4401},{4163,4521},{4391,3716},{4449,1},{4474,4391},{4498,659},{4724,4040},{4814,4041},{4895,4162},{4905,3960},{4959,4895}
X(664){150,1565},{1121,2},{1952,1214},{3732,101}
X(665){4526,37}
X(667){659,4401},{663,1960},{764,3669},{1577,4874},{2530,905},{3777,3960},{4063,4782},{4378,4367},{4705,650},{4775,663},{4834,649}
X(668){291,10},{3227,2},{4568,4103}
X(669){2514,2485},{3005,647}
X(670){694,141},{3228,2}
X(671){2,115},{99,2}
X(672){3930,3693}
X(673){7,1086},{190,9}
X(676){4528,10}
X(691){23,187},{316,858},{842,3}
X(693){75,4411},{649,4369},{650,4885},{659,4874},{661,3835},{1491,3837},{1577,4823},{3762,4791},{4024,4500},{4025,3676},{4088,4522},{4380,649},{4391,1577},{4397,2517},{4462,4391},{4467,4025},{4468,3239},{4560,905},{4724,3716},{4776,4728},{4893,4928}
X(694){6,1084},{670,141}
X(756){4714,10}
X(764){659,3960},{667,3669},{2530,3777},{3762,3837},{4528,2505},{4705,2530},{4730,2254}
X(798){4079,3709},{4826,4079}
X(805){2698,3}
X(840){2742,3}
X(842){691,3}
X(843){352,187},{2709,3}
X(846){1,4653},{3979,3750}
X(850){4580,2485}
X(851){855,859}
X(855){851,859}
X(858){23,468},{403,2072},{3580,125}
X(869){4787,3764}
X(876){659,665},{3766,3837}
X(894){319,594},{4360,1100}
X(895){69,125},{110,6}
X(896){3722,902},{4062,3712},{4938,4062}
X(899){3994,4009}
X(901){953,3}
X(902){3120,3011}
X(903){2,1086},{190,2},{4908,3834}
X(905){1577,4885},{3669,3960},{3803,667},{4063,4394}
X(908){1155,3035},{1512,119},{1737,3814},{3218,3911}
X(910){1530,118}
X(917){1305,3}
X(925){4,131},{1300,3}
X(927){2724,3}
X(929){2723,3}
X(930){4,128},{1141,3},{1263,140}
X(934){972,3}
X(935){2697,3}
X(938){3600,3333},{4882,10}
X(940){612,4682}
X(942){10,3812},{960,1125},{3626,3918},{3678,3634},{3740,3833},{3884,3636},{4711,3968}
X(944){2,3655},{4,1},{8,3},{40,4297},{355,1385},{962,1482},{1482,1483},{3543,3656},{4301,3635}
X(946){3,1125},{10,5},{3579,140},{3654,3828},{4297,1385}
X(950){4292,942}
X(953){4,3259},{901,3}
X(956){55,993},{1478,2886},{3419,4847}
X(960){8,4662},{65,3812},{942,1125},{3626,4015},{3754,3634},{3881,3636},{4711,210}
X(962){1,4301},{8,4},{20,1},{40,946},{100,1537},{376,3656},{944,1482}
X(966){3247,3986}
X(972){934,3}
X(974){1112,389}
X(982){43,3752},{312,3840},{4737,10}
X(984){1,37},{75,10},{2667,3743},{3797,4439},{4709,3626}
X(986){4385,10}
X(990){1766,3}
X(991){573,3}
X(993){226,1125},{1478,3822}
X(995){3840,1125}
X(999){3421,3820},{3452,1125},{3940,997}
X(1001){142,1125},{2550,3826}
X(1012){40,4640},{1836,946},{3428,993}
X(1019){1,4367},{8,4807},{1577,4369},{3737,3733},{4040,667},{4063,649},{4724,4401}
X(1022){1635,3960},{3762,4928}
X(1043){8,3704}
X(1044){1,4306}
X(1045){1,3736},{256,2092}
X(1046){1,58},{1330,10}
X(1054){1,106}
X(1056){3488,1}
X(1071){4,942},{72,3},{4301,3881}
X(1080){383,1513}
X(1086){44,3008},{190,4422},{239,4395},{3717,3823},{3912,3834},{3932,3836},{3943,3912},{4370,2},{4409,4440},{4432,1125},{4437,141}
X(1089){3670,3831},{4642,10}
X(1092){1204,3}
X(1100){3775,1125}
X(1109){2611,11},{4736,10}
X(1111){4712,10}
X(1112){974,389}
X(1113){4,1312},{1114,3},{2102,1},{2104,6}
X(1114){4,1313},{1113,3},{2103,1},{2105,6}
X(1120){8,3756},{3699,1}
X(1121){2,1146},{664,2}
X(1125){1,3636},{8,4691},{10,3634},{3625,4746},{3626,10},{3635,1},{3754,3812},{3828,2},{3833,3848},{3842,4698},{4670,4758},{4701,3626},{4732,3846},{4745,3828}
X(1141){4,137},{930,3}
X(1145){1,3035},{11,10},{80,3036},{1317,214},{1320,1387},{1537,119}
X(1146){1565,116}
X(1155){11,3911},{908,3035},{1319,36},{3328,1323},{3689,100}
X(1156){7,11},{100,9}
X(1160){1161,3}
X(1161){1160,3}
X(1177){66,125},{110,206}
X(1181){1593,578}
X(1196){3787,1613}
X(1201){3214,3216}
X(1204){1092,3}
X(1205){1843,125}
X(1209){52,973},{3574,5}
X(1210){4311,56}
X(1211){4854,4425}
X(1213){4733,10}
X(1216){143,3628},{389,140}
X(1263){5,137},{930,140}
X(1266){44,4395},{190,3008},{320,4887},{3717,1738},{3912,1086},{3943,3834},{4480,44}
X(1278){2,4740},{37,4726},{75,4686},{192,75},{3644,37},{4704,4821},{4718,3739},{4788,192}
X(1279){44,238},{238,3246},{3717,4422},{3836,1125},{4645,3834},{4864,1}
X(1280){8,4904},{644,1}
X(1282){1,101},{150,10}
X(1290){1325,36},{2687,3}
X(1292){4,120},{105,3}
X(1293){4,121},{106,3}
X(1294){4,122},{107,3}
X(1295){4,123},{108,3}
X(1296){4,126},{111,3}
X(1297){4,127},{112,3}
X(1298){4,130},{1303,3}
X(1299){4,135}
X(1300){4,136},{925,3}
X(1303){4,129},{1298,3}
X(1304){2693,3}
X(1305){917,3}
X(1308){2717,3}
X(1309){2734,3}
X(1312){1313,5}
X(1313){1312,5}
X(1314){1315,3109}
X(1315){1314,3109}
X(1316){2452,6}
X(1317){8,3035},{11,1},{80,1387},{1145,214}
X(1319){1155,36},{3814,1125}
X(1320){8,11},{100,1},{153,1537},{1145,1387}
X(1325){1290,36}
X(1329){496,3825}
X(1330){20,3430},{58,3454},{1046,10}
X(1332){2991,6}
X(1342){1343,3398}
X(1343){1342,3398}
X(1350){3,3098},{4,141},{6,3},{382,3818},{1351,182},{1498,159}
X(1351){3,6},{6,576},{69,5},{1350,182},{2456,1570},{3098,575}
X(1352){3,141},{4,3818},{6,5},{20,3098},{193,576},{3313,1216}
X(1353){5,6},{69,140},{141,575},{1843,143}
X(1357){3030,1054}
X(1358){3021,1},{4534,4904}
X(1359){3318,1}
X(1361){8,3042},{1364,1}
X(1362){3022,1}
X(1364){8,3040},{1361,1},{1845,942}
X(1368){1596,5}
X(1370){25,1368}
X(1376){497,3816}
X(1379){4,2040},{1380,3},{3557,2029}
X(1380){4,2039},{1379,3},{3558,2028}
X(1381){1382,3}
X(1382){1381,3}
X(1385){5,1125},{10,140},{3579,3},{4663,575}
X(1386){10,3589},{141,1125},{3416,3844},{4663,6}
X(1387){3035,1125}
X(1449){4007,2345}
X(1456){65,1876}
X(1458){2340,1818}
X(1459){649,3733},{656,905},{663,2605},{4474,4036}
X(1469){3056,1},{3751,4260},{3779,4259}
X(1478){1,226},{55,495},{63,10},{956,2886},{993,3822},{4302,55}
X(1479){46,1210},{56,496},{4299,56}
X(1482){3,1},{8,5},{40,1385},{355,946},{381,3656},{944,1483},{3534,3655},{3654,551},{3927,3560}
X(1483){5,1},{8,140}
X(1484){5,11},{100,140}
X(1490){84,3},{2950,100}
X(1491){659,650},{693,3837},{3777,2530},{4010,3835},{4122,4522},{4367,905},{4378,3960},{4490,4705},{4810,4106}
X(1494){648,2}
X(1495){125,468},{1531,113},{3292,110}
X(1498){4,2883},{64,3},{1350,159},{2935,110}
X(1511){125,140},{1539,113}
X(1512){104,3911},{908,119},{1519,1532},{1537,1538}
X(1513){98,230},{325,114}
X(1519){1512,1532},{1532,1538}
X(1524){1525,1514},{1546,1525}
X(1525){1524,1514},{1545,1524}
X(1530){910,118},{1536,1541}
X(1531){1495,113},{1533,1514}
X(1532){1519,1538},{1537,1519},{2077,3035}
X(1533){1531,1514}
X(1536){1530,1541}
X(1537){11,946},{40,3035},{104,1387},{1145,119},{1512,1538},{1532,1519}
X(1539){125,546},{1511,113}
X(1545){1525,1524},{1546,1514}
X(1546){1524,1525},{1545,1514}
X(1553){3258,113}
X(1555){1561,1514}
X(1561){1555,1514}
X(1565){1146,116}
X(1568){125,2072}
X(1569){76,620},{115,39}
X(1570){39,2025},{187,1692},{1692,6},{2076,2030}
X(1577){661,4129},{667,4874},{693,4823},{905,4885},{1019,4369},{2530,3837},{3762,4391},{4040,3716},{4041,10},{4086,4036},{4170,4010},{4391,4791},{4404,4086},{4729,4807},{4761,2533}
X(1593){4,1595},{1181,578}
X(1596){1368,5}
X(1613){3981,1196}
X(1618){59,692}
X(1619){394,1660}
X(1621){3219,3683},{3957,3748}
X(1632){648,1576}
X(1633){651,692}
X(1635){2,4763},{661,4893},{1022,3960},{1962,351},{3251,1960},{4120,1639},{4728,2},{4893,650},{4895,3251},{4958,4120}
X(1638){1639,2}
X(1639){1638,2},{3700,4944},{4543,4528},{4773,1635},{4927,4928},{4944,3239}
X(1640){3569,1637}
X(1641){1648,2}
X(1644){1647,2}
X(1647){1644,2}
X(1648){1641,2}
X(1650){1651,2},{3081,1651},{4240,402}
X(1651){2,402},{1650,2},{3081,4240}
X(1654){86,1213}
X(1656){3,631},{4,3858},{631,632},{3091,5},{3843,3091}
X(1657){3,20},{4,550},{381,3534},{382,3},{3146,5},{3426,4549},{3627,548},{3830,376}
X(1662){1663,182}
X(1663){1662,182}
X(1664){1665,182}
X(1665){1664,182}
X(1666){1667,6}
X(1667){1666,6}
X(1670){1671,3}
X(1671){1670,3}
X(1687){1688,1691}
X(1688){1687,1691}
X(1689){1690,6}
X(1690){1689,6}
X(1691){6,1692},{1692,2030},{2076,187},{2456,182}
X(1692){32,2032},{39,2024},{187,1691},{1570,6},{1691,2030}
X(1697){1,3295},{3340,1},{3486,4314},{4853,958}
X(1698){1,3616},{3617,10},{3632,4816},{4668,3617},{4816,4668}
X(1699){2,3817},{165,2},{3097,262}
X(1706){2551,10}
X(1707){3749,3052}
X(1709){1,1012}
X(1717){2960,2915}
X(1721){1,990}
X(1734){1,905},{3762,4147},{3803,4394},{4040,650},{4170,3835},{4391,10},{4449,3960},{4490,4770},{4804,4823},{4905,2254}
X(1737){36,3911},{908,3814}
X(1738){238,3008},{3717,10},{3912,3836},{3932,3823}
X(1739){4694,244},{4723,10}
X(1742){1,991}
X(1743){4862,4000}
X(1750){3586,4}
X(1756){1,1284}
X(1757){1,238},{238,44},{320,3836},{4645,10},{4864,3246}
X(1766){990,3}
X(1768){1,104},{153,10},{2950,1158},{3062,1156}
X(1769){4768,10}
X(1770){1,4292}
X(1785){1845,1875}
X(1814){651,6}
X(1829){1902,4}
X(1834){3704,10}
X(1836){55,226},{63,2886},{1012,946},{4640,3838},{4863,3434}
X(1837){1,496},{56,1210},{78,1329}
X(1843){1205,125},{1353,143},{3313,141}
X(1845){72,3042},{1364,942},{1785,1875}
X(1853){154,2}
X(1854){221,1}
X(1885){3575,4}
X(1898){65,1837}
X(1899){394,1368}
X(1902){1829,4}
X(1905){222,942}
X(1916){76,115},{99,39}
X(1952){92,1146},{664,1214}
X(1960){3837,1125},{4770,650}
X(1962){1635,351}
X(1972){648,216}
X(1975){6,4048},{315,3933}
X(1986){4,1112},{74,974},{125,389}
X(1991){591,2}
X(1992){2,6},{69,2},{599,597}
X(1993){22,184}
X(2009){2010,115}
X(2010){2009,115}
X(2019){2020,2092}
X(2020){2019,2092}
X(2021){2025,2024}
X(2025){2021,2024}
X(2026){2027,39}
X(2027){2026,39}
X(2028){2029,39}
X(2029){2028,39}
X(2030){625,3589}
X(2037){2038,970}
X(2038){2037,970}
X(2039){2040,5}
X(2040){2039,5}
X(2041){2042,382}
X(2042){2041,382}
X(2043){2044,3}
X(2044){2043,3}
X(2070){3,186},{2072,468},{3153,5}
X(2071){4,2072},{23,186},{186,3},{3153,858}
X(2072){403,5},{2070,468}
X(2076){6,1691},{1570,2030},{1691,187}
X(2077){4,3814},{36,3},{1532,3035}
X(2080){3,187},{316,5},{2456,1691}
X(2088){3016,2493}
X(2093){1,57},{329,10}
X(2094){2,57},{329,2}
X(2095){3,57},{329,5}
X(2096){4,57},{329,3},{3421,3359}
X(2097){6,57},{329,141}
X(2098){8,1329},{56,1}
X(2099){8,2886},{55,1}
X(2100){1,1113},{2101,40}
X(2101){1,1114},{2100,40}
X(2102){8,1313},{1113,1},{2103,1482}
X(2103){8,1312},{1114,1},{2102,1482}
X(2104){69,1313},{1113,6},{2105,1351}
X(2105){69,1312},{1114,6},{2104,1351}
X(2130){3348,3}
X(2131){3355,3}
X(2136){1,3913},{3243,3174},{3680,1}
X(2173){4466,1375}
X(2177){4414,4689}
X(2183){2340,4557},{3942,241}
X(2222){2716,3}
X(2238){3726,3290},{4037,3985}
X(2243){4144,4070}
X(2244){4156,4157}
X(2254){1,3960},{661,1491},{663,905},{3762,10},{4010,3837},{4041,1734},{4449,3669},{4462,4147},{4724,650},{4804,693},{4895,1}
X(2263){4319,1},{4331,3668}
X(2292){1,3743},{2650,1},{3728,984},{4647,10}
X(2294){3958,9}
X(2310){3000,241}
X(2321){10,3773},{3663,141},{3755,10},{3773,4535},{3875,3946},{4133,4527},{4523,3678},{4780,4085},{4852,3589}
X(2325){3008,4422},{4700,44},{4887,3834}
X(2340){1458,1818},{2183,4557}
X(2345){3672,4657},{4007,4058}
X(2446){2447,1}
X(2447){2446,1}
X(2448){1,1381},{2449,40}
X(2449){1,1382},{2448,40}
X(2451){3049,6},{3288,3049},{3569,2489}
X(2452){1316,6}
X(2453){6,1316}
X(2454){2455,2}
X(2455){2454,2}
X(2456){1351,1570},{1691,182},{2080,1691}
X(2458){32,1691}
X(2459){2460,187}
X(2460){2459,187}
X(2461){2462,2458}
X(2462){2461,2458}
X(2475){20,3651},{21,442},{191,10},{3648,191}
X(2478){4190,474}
X(2479){2,2454},{2480,2}
X(2480){2,2455},{2479,2}
X(2482){2,620},{115,2}
X(2483){2484,2515}
X(2484){649,2483},{661,2509},{2483,2515}
X(2485){2489,2492}
X(2488){2495,2494},{4524,650}
X(2489){647,2485},{2485,2492},{2519,2506},{2524,2507}
X(2494){2495,2498}
X(2495){2488,2494},{2494,2498},{4524,2509}
X(2514){669,2485}
X(2516){2529,2527}
X(2517){4064,4522},{4391,4036},{4815,4823}
X(2519){2489,2506}
X(2524){2489,2507}
X(2525){647,3265},{3806,3005}
X(2526){650,1491},{3669,2530}
X(2528){3005,2525}
X(2529){2516,2527}
X(2530){667,905},{764,3777},{1577,3837},{4367,3960},{4378,3669},{4705,1491},{4730,1734}
X(2533){663,4874},{4010,1577},{4367,4369},{4490,4147},{4705,10},{4730,4807},{4822,4806},{4824,4705},{4922,4367}
X(2549){3734,4045}
X(2550){1,142},{9,10},{390,1001},{1001,3826},{3189,3174}
X(2551){1706,10}
X(2554){2555,3}
X(2555){2554,3}
X(2556){2557,3}
X(2557){2556,3}
X(2605){4057,1960}
X(2611){1109,11}
X(2612){2613,1101}
X(2613){2612,1101}
X(2643){4094,37}
X(2650){2292,1},{4065,3635}
X(2667){984,3743},{3728,37}
X(2678){2685,118}
X(2680){2683,119}
X(2681){2684,118}
X(2683){2680,119}
X(2684){2681,118}
X(2685){2678,118}
X(2687){1290,3}
X(2688){2690,3}
X(2689){2695,3}
X(2690){2688,3}
X(2691){2752,3}
X(2692){2758,3}
X(2693){1304,3}
X(2694){2766,3}
X(2695){2689,3}
X(2696){2770,3}
X(2697){935,3}
X(2698){4,2679},{805,3}
X(2699){2703,3}
X(2700){2702,3}
X(2701){2708,3}
X(2702){2700,3}
X(2703){2699,3}
X(2704){2711,3}
X(2705){2712,3}
X(2706){2713,3}
X(2707){2714,3}
X(2708){2701,3}
X(2709){843,3}
X(2710){2715,3}
X(2711){2704,3}
X(2712){2705,3}
X(2713){2706,3}
X(2714){2707,3}
X(2715){2710,3}
X(2716){2222,3}
X(2717){1308,3}
X(2718){2743,3}
X(2719){2744,3}
X(2720){2745,3}
X(2721){2746,3}
X(2722){2747,3}
X(2723){929,3}
X(2724){4,1566},{927,3}
X(2725){2736,3}
X(2726){2737,3}
X(2727){2738,3}
X(2728){2739,3}
X(2729){2740,3}
X(2730){2751,3}
X(2731){2757,3}
X(2732){2762,3}
X(2733){2765,3}
X(2734){1309,3}
X(2735){2768,3}
X(2736){2725,3}
X(2737){2726,3}
X(2738){2727,3}
X(2739){2728,3}
X(2740){2729,3}
X(2742){840,3}
X(2743){2718,3}
X(2744){2719,3}
X(2745){2720,3}
X(2746){2721,3}
X(2747){2722,3}
X(2751){2730,3}
X(2752){2691,3}
X(2757){2731,3}
X(2758){2692,3}
X(2762){2732,3}
X(2765){2733,3}
X(2766){2694,3}
X(2768){2735,3}
X(2770){2696,3}
X(2883){3357,140}
X(2886){226,3838},{495,3822}
X(2888){54,1209},{195,5}
X(2892){3448,66}
X(2895){81,1211}
X(2900){3680,2099}
X(2901){72,3159}
X(2916){6,1176}
X(2930){6,110},{3448,141}
X(2931){155,110}
X(2932){149,496}
X(2935){1498,110}
X(2939){1,2360}
X(2941){1,4221}
X(2948){1,110},{3448,10}
X(2950){1490,100},{1768,1158}
X(2951){390,4297},{3062,9}
X(2956){1,1394}
X(2959){1,1326}
X(2960){1717,2915}
X(2966){297,230},{325,441}
X(2967){339,5}
X(2971){2974,5}
X(2974){2971,5}
X(2975){3871,35}
X(2976){3676,2496}
X(2977){4874,2490}
X(2979){2,3917},{51,3819},{568,549},{3060,2}
X(2987){4558,6}
X(2991){1332,6}
X(2996){487,485},{488,486}
X(3000){2310,241}
X(3004){3700,3835},{4790,3798},{4897,4025}
X(3005){669,647},{2528,2525}
X(3006){4427,3977}
X(3008){2325,4422},{4887,1086}
X(3016){2088,2493}
X(3021){8,3039},{1358,1}
X(3022){8,3041},{1362,1}
X(3023){3027,1}
X(3024){3028,1}
X(3027){3023,1}
X(3028){3024,1}
X(3030){1357,1054}
X(3035){1387,1125},{3036,10}
X(3036){3035,10}
X(3040){3042,10}
X(3042){3040,10}
X(3043){3047,49}
X(3047){3043,49}
X(3049){2451,6},{3288,3050},{3569,2485}
X(3050){6,3049}
X(3056){1469,1},{3779,6},{4259,1386}
X(3057){8,960},{10,3884},{65,1},{72,3878},{210,3877},{3555,3244},{3625,3678},{3698,3890},{3753,3898},{3874,3635},{3893,8},{3962,3869},{4018,3874},{4084,3881}
X(3059){65,2550},{390,960}
X(3060){2,51},{2979,2}
X(3061){4050,4515}
X(3062){1768,1156},{2951,9},{4312,4}
X(3063){4501,4435}
X(3065){79,11},{100,3647},{484,1749}
X(3081){1650,1651},{1651,4240}
X(3085){4305,3601}
X(3090){4,3832},{3523,3526},{3528,3523},{3832,3851},{3851,5}
X(3091){3,632},{4,3843},{20,3522},{631,1656},{1656,5},{3522,631},{3843,3858},{3858,3859},{3859,3850}
X(3094){6,39},{76,141}
X(3095){3,39},{76,5}
X(3097){1699,262}
X(3098){182,3},{576,182},{1351,575},{3818,141}
X(3100){4318,1}
X(3102){3103,39}
X(3103){3102,39}
X(3104){3105,39},{3107,3106}
X(3105){3104,39},{3106,3107}
X(3106){3105,3107},{3107,39}
X(3107){3104,3106},{3106,39}
X(3120){902,3011},{3936,4892},{4062,3936}
X(3122){4783,10}
X(3124){3231,3291}
X(3125){3230,3290}
X(3146){2,3543},{3,3627},{4,382},{20,4},{145,962},{376,3830},{550,3853},{1657,5},{3529,3}
X(3151){27,440}
X(3153){20,2071},{23,403},{110,1568},{186,2072},{2070,5},{2071,858}
X(3158){165,4421},{3928,165}
X(3159){10,4075},{596,1125}
X(3161){4373,4859}
X(3164){264,216}
X(3175){210,3971},{3873,4891},{4685,4096}
X(3177){85,1212}
X(3180){298,396},{616,15},{621,13},{3181,385}
X(3181){299,395},{617,16},{622,14},{3180,385}
X(3182){3345,3}
X(3183){3346,3}
X(3184){122,3}
X(3187){31,3791}
X(3189){4,3811},{8,3913},{2550,3174},{3680,3244}
X(3208){4051,1212}
X(3210){312,3752}
X(3214){1201,3216}
X(3216){1,1201}
X(3218){100,1155},{153,1512},{908,3911},{3257,44},{3935,100},{4511,36},{4867,214}
X(3219){1621,3683},{3957,1621}
X(3227){2,1015},{668,2}
X(3228){2,1084},{670,2}
X(3230){3125,3290}
X(3231){3124,3291}
X(3237){3238,1}
X(3238){3237,1}
X(3239){650,4521},{3676,4885},{4394,2490},{4546,4163},{4765,650}
X(3240){4392,4850}
X(3241){2,1},{4,3656},{8,2},{376,3655},{3621,4677},{3625,4745},{3632,4669},{3654,1385},{3679,551},{3681,392},{4669,1125},{4677,10},{4745,3636}
X(3242){6,1},{8,141},{3751,1386},{3755,4353}
X(3243){8,142},{9,1},{2136,3174}
X(3244){1,3635},{8,1125},{10,1},{65,3881},{72,3884},{3621,4701},{3625,10},{3626,3636},{3632,3626},{3919,3892},{4067,3878},{4084,3874},{4134,3898},{4301,1482},{4525,3877},{4537,3890},{4660,4353},{4669,551},{4677,3828},{4701,3634},{4744,3873}
X(3245){1,1155},{36,484},{4867,100}
X(3246){3834,1125}
X(3247){966,3986},{4034,966}
X(3250){649,665},{3766,3835},{4502,4079}
X(3251){1635,1960},{4730,1635},{4825,650}
X(3254){9,11},{100,142}
X(3257){320,908},{3218,44}
X(3258){125,3154},{1553,113}
X(3261){3766,4408},{4079,3835},{4374,4411},{4406,4374}
X(3267){4580,647}
X(3269){3331,232}
X(3271){4014,1086},{4553,4422}
X(3287){4140,4529},{4367,4164},{4435,3063}
X(3288){2451,3049},{3049,3050},{3569,647}
X(3289){3331,1625}
X(3292){1495,110}
X(3293){1,1193}
X(3305){4666,4423}
X(3313){52,182},{1352,1216},{1843,141}
X(3318){1359,1}
X(3319){3326,1}
X(3322){3328,1}
X(3326){3319,1}
X(3328){1155,1323},{3322,1}
X(3331){3269,232},{3289,1625}
X(3338){1,3304}
X(3339){1,3333},{4882,1706}
X(3340){388,3671},{1697,1}
X(3345){3182,3}
X(3346){3183,3}
X(3347){3353,3}
X(3348){2130,3}
X(3353){3347,3}
X(3354){3472,3}
X(3355){2131,3}
X(3357){2883,140}
X(3416){1,141},{6,10},{193,4663},{1386,3844},{3923,3773}
X(3419){1,2886},{55,10},{956,4847},{3870,495},{4302,4640}
X(3421){1,3452},{57,10},{999,3820},{2096,3359},{3476,997},{4293,1376}
X(3426){1657,4549}
X(3428){4,2886},{55,3},{1012,993}
X(3430){4,3454},{58,3}
X(3434){8,3419},{20,3428},{55,2886},{63,4847},{145,2099},{3870,226},{4302,993}
X(3436){46,10},{56,1329},{145,2098}
X(3448){4,265},{20,74},{23,3580},{69,67},{110,125},{146,4},{193,895},{323,858},{399,5},{2892,66},{2930,141},{2948,10}
X(3452){10,3820},{999,1125}
X(3465){484,2222}
X(3472){3354,3}
X(3474){329,1376},{497,57},{3476,4293}
X(3476){8,1376},{57,4315},{497,1},{3421,997},{3474,4293}
X(3486){8,958},{388,1},{1697,4314}
X(3488){1056,1}
X(3509){3684,910}
X(3513){3514,3660}
X(3514){3513,3660}
X(3519){195,1209}
X(3520){4,1594}
X(3522){4,1656},{631,3},{3091,631},{3627,3859},{3843,632},{3858,140}
X(3523){4,3851},{3090,3526},{3528,3},{3832,3090}
X(3524){4,3545},{3545,2}
X(3525){4,3855}
X(3526){3,3523},{4,3857},{3832,5},{3851,3090}
X(3528){4,3090},{3090,3523},{3523,3},{3832,3526},{3857,140}
X(3529){4,20},{20,1657},{382,550},{3146,3},{3543,3534}
X(3530){3628,140},{3850,3628},{3853,3856},{3860,547},{3861,5}
X(3533){4,3854}
X(3534){3,376},{4,549},{376,550},{381,3},{382,381},{549,548},{599,3098},{1482,3655},{3543,5},{3627,547},{3655,4297},{3679,3579},{3830,2}
X(3543){2,4},{3,3845},{4,3830},{20,2},{376,381},{548,3860},{944,3656},{3529,3534},{3534,5},{3830,3627},{3845,3853}
X(3545){4,3839},{376,3524},{3524,2},{3839,381}
X(3555){8,942},{10,3881},{65,3874},{72,1},{210,3892},{3057,3244},{3625,3754},{3697,3889},{3753,3873},{3878,3635},{3962,3878},{4018,3868},{4067,3884}
X(3557){1379,2029},{3558,3095}
X(3558){1380,2028},{3557,3095}
X(3563){3565,3}
X(3565){3563,3}
X(3569){6,2492},{1640,1637},{2451,2489},{3049,2485},{3288,647}
X(3574){1209,5}
X(3575){1885,4}
X(3576){4,3817},{40,165},{165,3},{3817,1125}
X(3579){946,140},{1385,3},{3818,3844},{3845,3828},{4297,548}
X(3580){110,468},{146,1514},{858,125}
X(3581){265,3580},{323,1511},{399,1495}
X(3583){36,11},{100,3814},{484,1737},{4316,36}
X(3585){35,12},{4324,35}
X(3586){1,497},{1750,4}
X(3589){3631,141},{3844,3634}
X(3600){8,1706},{938,3333}
X(3616){8,3617},{3617,1698},{3623,1},{4470,4798},{4668,10}
X(3617){8,4668},{145,3623},{1698,10},{3616,1698},{3623,3616},{3876,3697},{4747,4470}
X(3618){69,3620},{3620,3763}
X(3620){3618,3763},{3763,141}
X(3621){1,3625},{8,3632},{145,8},{3241,4677},{3244,4701},{3633,10},{3885,72}
X(3623){8,1698},{3616,1},{3617,3616},{4816,10}
X(3624){1,3622},{4678,10}
X(3625){1,3626},{8,4701},{10,8},{145,1125},{551,4669},{1125,4746},{3057,3678},{3241,4745},{3244,10},{3555,3754},{3633,3635},{3635,4691},{3898,4711},{4301,355},{4667,4665}
X(3626){1,3634},{8,4746},{10,4691},{942,3918},{960,4015},{1125,10},{3244,3636},{3635,1125},{3678,4662},{3828,4745},{3881,3812},{4701,8},{4745,3679}
X(3627){3,546},{4,3853},{5,4},{20,140},{140,3861},{185,143},{548,3850},{549,3845},{550,5},{1657,548},{3522,3859},{3534,547}
X(3628){4,3856},{3530,140},{3850,5},{3861,3850}
X(3629){69,3589},{141,6},{3630,141},{4852,4856}
X(3630){6,3631},{141,69},{193,3589},{3629,141}
X(3631){3589,141}
X(3632){1,8},{8,3625},{10,4701},{145,10},{1698,4816},{3241,4669},{3244,3626},{3633,1},{3635,4746},{3679,4677},{3885,3878}
X(3633){1,145},{8,3244},{3621,10},{3625,3635},{3632,1},{3893,942},{4677,3241}
X(3634){3636,1125},{4662,4540},{4691,10},{4746,4691}
X(3635){8,3634},{10,3636},{1125,1},{3625,4691},{3626,1125},{3632,4746},{4665,4758},{4701,10},{4745,551}
X(3636){3634,1125},{4691,3634},{4746,10}
X(3638){3639,1323}
X(3639){3638,1323}
X(3640){3641,1}
X(3641){3640,1}
X(3642){3643,141}
X(3643){3642,141}
X(3644){75,192},{192,4718},{1278,37},{4686,4681},{4764,75}
X(3647){3649,1125}
X(3648){4,3652},{79,3647},{149,3065},{2475,191}
X(3649){3647,1125},{3650,3647},{4918,3178}
X(3650){442,191},{3649,3647}
X(3651){4,442},{21,3}
X(3652){3,3647},{79,5}
X(3654){1,549},{355,3679},{376,3579},{381,10},{946,3828},{1482,551},{3241,1385},{3655,3},{3656,2}
X(3655){2,1385},{355,2},{381,551},{3534,4297},{3654,3},{3656,1},{3679,549},{3830,946}
X(3656){3,551},{40,549},{355,381},{376,1385},{381,946},{3654,2},{3655,1},{3679,5}
X(3663){1,4353},{6,3946},{10,3821},{193,4856},{2321,141},{3923,1125}
X(3664){3686,3739},{4399,4739}
X(3666){3706,3741}
X(3669){650,905},{905,3960},{2526,2530},{4162,1},{4391,4885},{4498,4394},{4790,1019}
X(3670){1089,3831},{4696,10}
X(3671){4314,1}
X(3672){2345,4657},{4344,1},{4461,2345}
X(3676){2976,2496},{3239,4885},{4394,2487},{4468,4521}
X(3678){10,4015},{65,3918},{72,3988},{942,3634},{3626,4662},{3754,10},{3773,4538},{3833,3740},{3881,1125},{3884,960},{3918,4540},{3956,210},{3968,3956},{4015,4547},{4067,4536},{4127,72},{4532,4134},{4757,3754}
X(3679){1,2},{2,10},{8,4669},{10,4745},{40,3654},{392,3740},{551,3828},{3241,551},{3534,3579},{3632,4677},{3655,549},{3656,5},{3892,3833},{4669,3626},{4677,8},{4693,4908},{4745,4691},{4795,4499},{4948,4770}
X(3680){2136,1},{2900,2099},{3189,3244}
X(3681){2,210},{354,3740},{3241,392},{3833,4015},{3873,2},{3874,3833},{3919,4745},{4430,354}
X(3683){3748,1621}
X(3684){3509,910}
X(3685){8,3717},{238,4432},{239,238},{3717,2325},{4645,3912}
X(3686){3664,3739}
X(3688){3883,960}
X(3689){1155,100},{4542,2325}
X(3696){1,3739},{10,4732},{37,10},{3993,3842}
X(3697){72,4005},{3555,3889},{3698,10},{4004,3698},{4537,3678}
X(3698){65,4004},{3057,3890},{3697,10},{4005,3697}
X(3699){1120,1}
X(3700){650,3239},{1639,4944},{3004,3835},{4025,4885},{4765,4521},{4814,4528},{4841,661},{4897,4369}
X(3701){3987,10}
X(3702){4642,3831},{4696,1089}
X(3703){3782,2887}
X(3704){1834,10}
X(3706){3666,3741}
X(3707){4029,45}
X(3709){4832,798}
X(3711){4860,4413}
X(3712){4831,896}
X(3714){4646,10}
X(3715){4423,3305}
X(3716){3960,1125},{4369,4874},{4458,676},{4522,3239},{4830,659},{4913,650}
X(3717){1086,3823},{1266,1738},{1279,4422},{1738,10},{3685,2325},{3912,3932},{4684,3912}
X(3722){896,902}
X(3726){2238,3290}
X(3728){2292,984},{2667,37}
X(3729){1,3923},{69,2321},{3875,6},{4655,3773}
X(3731){4888,4648}
X(3732){150,1146},{664,101}
X(3733){4057,667},{4491,4057},{4833,3737},{4840,1019}
X(3734){2549,4045}
X(3737){1,2605},{1019,3733}
X(3739){10,3846},{37,4698},{75,4739},{3842,3634},{4681,37},{4726,75},{4755,2}
X(3740){354,3848},{942,3833},{3742,2},{3833,3634}
X(3742){2,3848},{3740,2},{3753,3812},{3956,3634},{4711,10}
X(3744){4641,31}
X(3748){3683,1621}
X(3749){1707,3052}
X(3751){1,6},{6,4663},{69,10},{1469,4260},{3242,1386},{3886,3923},{4655,4085}
X(3752){4849,43}
X(3753){1,3742},{10,3968},{65,3919},{72,210},{210,10},{392,2},{551,3833},{3057,3898},{3555,3873},{3742,3812},{3873,942},{3898,1125},{3899,960},{3919,3754},{3921,4731},{3962,4525},{3968,3918},{4067,4532},{4134,3956},{4525,3678},{4532,4015},{4539,3921}
X(3754){10,3918},{72,4015},{960,3634},{1125,3812},{3678,10},{3881,942},{3884,1125},{3956,3968},{3962,4536},{3968,3753},{3988,4540},{4067,3988},{4127,3678},{4532,3956},{4536,4547},{4757,65}
X(3755){1,3946},{10,4085},{2321,10},{3242,4353},{4133,3773},{4780,4743}
X(3762){1,3716},{693,4791},{764,3837},{1022,4928},{1577,4391},{1734,4147},{2254,10},{4378,4874},{4801,4823},{4922,1960}
X(3763){6,3618},{3620,141}
X(3766){192,4526},{876,3837},{3250,3835},{3261,4408},{4374,3261},{4406,4411}
X(3767){3926,3788}
X(3768){4826,4502}
X(3773){2321,4535},{3678,4538},{3821,3844},{3946,3634},{4085,10},{4527,2321},{4743,4085}
X(3775){1100,1125}
X(3776){4369,3676},{4500,693},{4522,3837}
X(3777){659,905},{667,3960},{1491,2530},{3801,3776},{4367,3669},{4391,3837},{4490,1491}
X(3778){4710,10}
X(3779){1,4260},{1469,4259},{3056,6}
X(3782){3703,2887}
X(3783){291,1575}
X(3786){8,4111}
X(3787){1196,1613}
X(3797){335,3912},{984,4439},{4664,4908}
X(3798){4885,2487}
X(3801){659,4142},{3777,3776},{4122,1577},{4367,4458},{4808,10}
X(3803){650,4401},{905,667},{1734,4394}
X(3804){647,669}
X(3806){2525,3005}
X(3812){3848,3833},{4662,10}
X(3814){1319,1125}
X(3817){3576,1125},{4297,3576}
X(3818){182,5},{3098,141},{3579,3844}
X(3821){3773,3844},{4672,3589}
X(3823){3834,3836}
X(3828){2,3634},{1125,2},{3626,4745},{4669,4691},{4677,4746},{4701,4669},{4745,10}
X(3830){2,3845},{3,381},{20,549},{376,5},{381,4},{382,3543},{547,3861},{549,546},{550,547},{599,3818},{1657,376},{3534,2},{3543,3627},{3655,946}
X(3832){20,3528},{3090,3851},{3523,3090},{3526,5},{3528,3526},{3851,3857}
X(3833){1125,3848},{3678,3740},{3681,4015},{3740,3634},{3881,354},{3956,3828}
X(3834){3246,1125},{3823,3836}
X(3835){4369,4885},{4932,4369}
X(3836){10,3823},{1279,1125},{4439,3932}
X(3837){1960,1125},{4806,3835},{4874,4885}
X(3839){2,3545},{3545,381}
X(3840){995,1125},{4135,312}
X(3842){1125,4698},{3739,3634},{4732,10}
X(3843){3,1656},{5,3859},{631,5},{1656,3091},{3091,3858},{3522,632},{3858,546}
X(3844){3589,3634}
X(3845){3,547},{5,381},{376,140},{381,546},{547,3850},{549,5},{550,549},{3543,3853},{3579,3828}
X(3846){4698,3634}
X(3848){3812,3833}
X(3850){546,3856},{3530,3628},{3628,5},{3860,381},{3861,546}
X(3851){3,3526},{3090,5},{3526,3090},{3832,3857}
X(3853){3,3850},{5,3861},{20,3530},{140,546},{546,4},{547,3845},{548,5},{549,3860},{550,3628},{3530,3856}
X(3857){5,3851},{3528,140}
X(3858){5,3091},{632,5},{3091,3859},{3522,140},{3843,546}
X(3859){546,3858},{548,631},{3091,3850}
X(3860){381,3856},{3530,547},{3850,381}
X(3861){5,3856},{3530,5},{3628,3850},{3850,546}
X(3868){1,3874},{8,65},{20,1071},{72,942},{145,3555},{3869,1},{3873,3894},{3877,3873},{3878,3881},{3885,145},{3899,3892},{3962,960},{4067,1125},{4661,3753}
X(3869){1,3878},{8,72},{65,960},{145,3057},{3868,1},{3873,3877},{3874,3884},{3877,3899},{3894,3898},{3901,3874},{4018,942},{4084,1125}
X(3870){63,55},{3419,495},{3434,226},{3872,1},{4863,2886}
X(3871){2975,35},{4861,2646}
X(3872){8,4847},{63,956},{3870,1},{3895,55}
X(3873){1,3892},{2,354},{8,3753},{210,3742},{3175,4891},{3681,2},{3753,942},{3868,3894},{3869,3877},{3877,1},{3892,3881},{3894,3874},{3899,3898},{4134,1125},{4661,210},{4711,3812}
X(3874){1,3881},{8,3754},{10,942},{72,1125},{3057,3635},{3681,3833},{3869,3884},{3878,1},{3892,3873},{3898,3892},{4067,960},{4134,3742},{4523,3946},{4661,3956}
X(3875){6,4852},{8,3755},{69,3663},{2321,3946},{3729,6},{3886,1},{4133,1125}
X(3876){3617,3697},{3889,3616}
X(3877){1,3898},{2,392},{8,210},{65,3742},{210,960},{3868,3873},{3869,3899},{3873,1},{3894,3892},{3898,3884},{3899,3878},{3919,1125},{4661,72}
X(3878){1,3884},{8,3678},{10,960},{65,1125},{3555,3635},{3868,3881},{3874,1},{3892,3898},{3893,4701},{3898,3877},{4084,942},{4744,3742}
X(3879){75,3664},{3883,1},{4416,37}
X(3881){8,3918},{960,3636},{3626,3812},{3678,1125},{3754,942},{3833,354},{3884,1},{3956,3742},{4127,960}
X(3883){8,3686},{3688,960},{3879,1}
X(3884){8,4015},{942,3636},{3678,960},{3754,1125},{3881,1},{4701,4662},{4757,942}
X(3885){8,3057},{3621,72},{3632,3878},{3868,145},{3893,960}
X(3886){8,2321},{3751,3923},{3875,1},{4780,1125}
X(3888){190,4553},{4440,4014}
X(3889){8,3698},{3876,3616},{3890,1},{4004,942}
X(3890){8,3697},{3889,1},{4005,960}
X(3892){8,3968},{10,3742},{210,1125},{3679,3833},{3873,3881},{3874,3873},{3878,3898},{3898,1},{3899,3884},{3919,942},{4525,960},{4661,3678}
X(3893){72,3625},{3057,8},{3633,942},{3878,4701},{3885,960}
X(3894){1,3873},{8,3919},{72,3742},{210,942},{3869,3898},{3873,3874},{3877,3892},{3898,3881},{3899,1},{4525,1125},{4661,10}
X(3895){3872,55}
X(3896){321,42},{3902,1},{4365,1215}
X(3898){8,3956},{3625,4711},{3753,1125},{3874,3892},{3877,3884},{3878,3877},{3892,1},{3894,3881},{3919,3742},{4134,960},{4661,4532},{4669,3740},{4744,942}
X(3899){1,3877},{8,4134},{3753,960},{3868,3892},{3873,3898},{3877,3878},{3892,3884},{3894,1},{3901,3894},{4661,4525},{4677,3681},{4744,1125}
X(3901){1,3868},{8,4084},{3869,3874},{3899,3894},{3962,942},{4661,4744}
X(3902){8,3706},{3896,1},{4692,4717}
X(3904){4474,4522},{4707,3960}
X(3905){315,4920}
X(3912){44,4422},{190,2325},{239,3008},{1086,3834},{1266,1086},{1738,3836},{3717,3932},{4440,4887},{4480,190},{4899,3717}
X(3914){306,2887}
X(3917){2,3819},{51,2}
X(3918){72,4547},{3678,4540},{3988,4015},{4015,10},{4536,3678}
X(3919){10,3753},{72,3956},{210,3968},{392,3833},{3244,3892},{3681,4745},{3753,3754},{3877,1125},{3892,942},{3898,3742},{3956,3918},{4067,4134},{4084,4744},{4134,10},{4525,210},{4744,65}
X(3920){81,3745}
X(3921){72,4539},{3753,4731},{4539,210},{4731,10}
X(3922){3983,4002},{4533,10}
X(3923){6,4672},{3416,3773},{3663,1125},{4655,141},{4660,10}
X(3926){3767,3788}
X(3927){1482,3560}
X(3928){3158,165},{4930,1385}
X(3929){4654,2}
X(3930){672,3693}
X(3932){238,4422},{1086,3836},{1738,3823}
X(3935){100,3689},{149,908},{3218,100}
X(3936){3120,4892},{4427,3712},{4442,3120}
X(3938){31,3744}
X(3940){999,997}
X(3942){2183,241}
X(3943){44,2325},{239,4422},{1086,3912},{1266,3834},{4370,4908}
X(3946){3773,3634}
X(3950){10,4078}
X(3952){8,4738},{4358,4009},{4674,10}
X(3956){210,4015},{3678,210},{3742,3634},{3754,3968},{3833,3828},{3881,3742},{3919,3918},{3968,10},{4127,4532},{4525,3988},{4532,3678},{4757,3919}
X(3957){1621,3748},{3219,1621}
X(3958){2294,9}
X(3960){3716,1125},{4791,4885}
X(3961){4514,3847}
X(3962){10,4127},{65,72},{72,4067},{3057,3869},{3555,3878},{3753,4525},{3754,4536},{3868,960},{3901,942},{4018,10},{4084,3678},{4744,4532},{4757,3988}
X(3967){4849,4090}
X(3968){3678,3956},{3753,3918},{3754,3753},{3956,10},{4127,4134},{4134,4015},{4532,210},{4711,4691}
X(3971){210,4096},{4685,210}
X(3973){4902,4859}
X(3979){846,3750}
X(3981){1613,1196}
X(3983){65,3922},{3922,4002},{4002,10}
X(3985){4771,2238}
X(3987){3701,10}
X(3988){10,4547},{3754,4540},{3918,4015},{4015,3678},{4536,72}
X(3992){4694,4871},{4695,10},{4738,4723}
X(3993){10,37},{75,1125},{3696,3842},{4709,10}
X(3994){244,4358},{899,4009},{4695,3992}
X(3995){4651,756}
X(3996){4514,3687}
X(3999){4009,4871}
X(4000){4901,10}
X(4002){72,4533},{3983,10},{4533,3983}
X(4004){72,3697},{3697,3698},{3889,942},{4005,10}
X(4005){65,3698},{72,4537},{3698,3697},{3890,960},{4004,10}
X(4007){1449,2345},{2345,4058}
X(4008){4073,10}
X(4009){3999,4871},{4706,899}
X(4010){649,4874},{659,3716},{661,4806},{1491,3835},{2254,3837},{2533,1577},{4122,3700},{4380,4782},{4448,4800},{4705,4129},{4730,10},{4784,4369},{4824,661},{4922,1}
X(4014){3271,1086}
X(4015){10,4540},{3678,4547},{3918,10},{3988,3678},{4536,3988}
X(4017){4041,656},{4404,10},{4581,4369},{4804,4815}
X(4018){10,4757},{65,4084},{72,65},{210,4744},{3057,3874},{3555,3868},{3869,942},{3962,10},{4067,3754}
X(4024){661,3700},{693,4500},{4088,4122},{4120,4931},{4467,4369},{4750,4789}
X(4025){649,3798},{693,3676},{3700,4885},{4468,650},{4786,4750}
X(4026){594,10}
X(4029){3707,45}
X(4034){3247,966}
X(4037){2238,3985}
X(4040){1,663},{649,4401},{663,4794},{1019,667},{1577,3716},{1734,650},{4063,659},{4367,1960},{4707,4142},{4834,4782},{4905,905}
X(4041){661,4705},{663,650},{1577,10},{2254,1734},{4017,656},{4170,4129},{4391,4147},{4449,905},{4560,4913},{4705,4770},{4729,4730},{4761,4807},{4804,1577},{4822,661},{4895,663},{4959,4162}
X(4046){4854,1211}
X(4050){3061,4515}
X(4051){3208,1212}
X(4057){2605,1960},{3733,667}
X(4061){4656,4104}
X(4062){896,3712},{3120,3936},{4442,4892}
X(4063){1,667},{663,4401},{667,4782},{905,4394},{1019,649},{4040,659},{4170,3716},{4382,4823},{4879,1960}
X(4064){2517,4522}
X(4065){10,3743},{2650,3635},{4647,1125}
X(4067){10,72},{65,3678},{72,4127},{3244,3878},{3555,3884},{3678,4536},{3753,4532},{3754,3988},{3868,1125},{3874,960},{3919,4134},{4018,3754},{4084,10},{4134,4525},{4744,210},{4757,4015},{4780,4523}
X(4073){4008,10}
X(4079){798,3709},{3261,3835}
X(4084){10,65},{65,4757},{72,3754},{3057,3881},{3244,3874},{3869,1125},{3878,942},{3919,4744},{3962,3678},{4067,10},{4127,3918},{4134,3919},{4525,3753},{4537,4004}
X(4085){3773,10},{4133,4535},{4527,3773},{4743,3755}
X(4086){656,10},{1577,4036},{4768,4397},{4815,1577}
X(4088){693,4522},{4024,4122},{4467,4913},{4707,10},{4724,4468},{4804,3700}
X(4090){4135,3967}
X(4094){2643,37}
X(4106){649,4885},{650,3835},{661,4940},{4380,4394},{4790,4369},{4897,3676}
X(4111){4890,1213}
X(4120){1635,1639},{4024,4931},{4453,4928},{4707,4049},{4750,2},{4931,3700}
X(4122){1491,4522},{3801,1577},{4010,3700}
X(4127){10,3988},{65,4015},{72,4536},{3678,72},{3754,3678},{3881,960},{3956,4532},{3968,4134},{4084,3918},{4757,10}
X(4129){4367,1125},{4807,10}
X(4130){4827,657}
X(4133){10,2321},{2321,4527},{3755,3773},{3875,1125},{4085,4535},{4780,10}
X(4134){10,210},{65,3968},{72,4532},{210,3678},{3244,3898},{3753,3956},{3873,1125},{3874,3742},{3898,960},{3919,10},{3968,4015},{4067,4525},{4084,3919},{4525,72},{4532,3988},{4744,3753}
X(4135){10,4125},{3840,312},{4090,3967}
X(4136){4920,626}
X(4140){3287,4529}
X(4144){2243,4070}
X(4156){2244,4157}
X(4162){650,663},{3669,1},{4546,4521},{4729,4394}
X(4163){663,4521},{4546,4528}
X(4170){1577,4010},{1734,3835},{4041,4129},{4063,3716},{4380,4401},{4705,4806},{4729,10},{4761,1577},{4834,4874}
X(4171){657,4130}
X(4190){2478,474}
X(4220){4221,3}
X(4221){4220,3}
X(4240){2,1651},{1650,402}
X(4259){6,4260},{3056,1386}
X(4292){1,4298},{950,942}
X(4293){1,4315},{329,997},{497,999},{3421,1376}
X(4294){1,4314},{388,3295},{4295,1}
X(4295){1,3671},{4294,1}
X(4297){4,1125},{10,3},{946,1385},{3579,548},{3817,3576},{4301,1}
X(4299){1,4311},{1479,56}
X(4301){10,946},{40,1125},{551,3656},{944,3635},{1071,3881},{3244,1482},{3625,355},{4297,1},{4669,381}
X(4302){1,4304},{1478,55},{3419,4640},{3434,993}
X(4304){4847,993}
X(4305){3085,3601}
X(4307){1,4349}
X(4311){1210,56}
X(4312){1,7},{144,10},{3062,4}
X(4314){3671,1}
X(4315){4342,1}
X(4316){80,1155},{3583,36}
X(4318){8,1861},{651,1456},{3100,1}
X(4319){19,1486},{2263,1}
X(4324){3585,35}
X(4326){390,4314}
X(4331){2263,3668}
X(4333){1,4299}
X(4342){4315,1}
X(4344){8,2345},{3672,1}
X(4349){4356,1}
X(4356){4349,1}
X(4357){4360,4021},{4431,594},{4464,4360}
X(4358){244,4871},{3952,4009},{4487,4723},{4723,3992}
X(4360){8,4026},{190,4366},{319,4357},{894,1100},{4357,4021}
X(4361){4851,142}
X(4362){4865,2886}
X(4363){1,4670},{2,4499},{8,4665},{4364,4472},{4419,4364},{4643,10}
X(4364){10,4708},{4363,4472},{4499,2},{4665,10},{4670,1125}
X(4365){1,4717},{38,3706},{42,321},{3896,1215}
X(4366){594,4422}
X(4367){659,667},{1491,905},{2530,3960},{2533,4369},{3287,4164},{3777,3669},{3801,4458},{4040,1960},{4129,1125},{4391,4874},{4490,650},{4498,4782},{4774,2533},{4784,1019},{4879,1},{4922,4504}
X(4369){3716,4874},{3776,3676},{3835,4885},{4504,4367},{4830,4782}
X(4370){2,4422},{1086,2},{3943,4908},{4908,2325}
X(4371){4916,4648}
X(4373){3161,4859}
X(4374){3261,4411},{3766,3261},{4502,3835}
X(4375){4486,3716}
X(4376){31,4797},{4799,2887},{4805,10}
X(4377){4735,10}
X(4378){667,4367},{1491,3960},{2530,3669},{3762,4874},{4705,905},{4724,1960},{4775,1},{4834,1019}
X(4379){4448,4874},{4724,4448},{4776,4928},{4893,2}
X(4380){693,649},{4010,4782},{4106,4394},{4170,4401},{4382,4369},{4391,4063},{4462,4498},{4724,4830},{4801,1019},{4810,4874}
X(4381){32,4836},{4837,626}
X(4382){649,693},{661,4106},{4063,4823},{4380,4369},{4467,3776},{4498,1577},{4724,4010}
X(4383){4387,4011}
X(4385){986,10}
X(4387){4383,4011}
X(4388){171,3847}
X(4391){663,3716},{693,1577},{1577,4791},{1734,10},{2517,4036},{3669,4885},{3777,3837},{4041,4147},{4367,4874},{4380,4063},{4397,4086},{4462,3762},{4560,650},{4801,693}
X(4392){3240,4850},{4850,4003}
X(4393){4741,4389}
X(4394){650,2516},{3239,2490},{3676,2487}
X(4395){4422,3008}
X(4397){693,2517},{4391,4086},{4811,4391}
X(4399){3664,4739}
X(4401){4823,4874}
X(4402){4869,4859}
X(4404){1577,4086},{4017,10},{4815,4036}
X(4406){3261,4374},{3766,4411}
X(4408){4411,3261}
X(4409){1086,4440}
X(4411){37,4885},{650,3739},{4408,3261}
X(4413){4860,3306}
X(4414){2177,4689}
X(4416){75,3686},{3879,37},{4686,4399}
X(4418){81,4697},{4683,1211}
X(4419){8,4643},{4363,4364},{4454,4363},{4644,1},{4659,10}
X(4422){4395,3008}
X(4423){3715,3305}
X(4424){1,3666},{42,4868},{321,10}
X(4427){3006,3977},{3936,3712}
X(4430){2,3873},{3681,354},{4661,2},{4677,3919}
X(4431){319,4060},{4357,594},{4464,1100}
X(4432){10,4422},{44,4759},{1086,1125},{4439,2325},{4753,44}
X(4435){3287,3063}
X(4437){6,4422},{1086,141}
X(4439){3836,3932},{4432,2325}
X(4440){2,903},{144,673},{190,1086},{192,335},{239,1266},{3888,4014},{3912,4887},{4480,3008}
X(4442){3936,3120},{4062,4892}
X(4444){4486,3837}
X(4448){4010,4800},{4379,4874},{4800,3716}
X(4449){649,4367},{663,1},{1734,3960},{2254,3669},{4041,905},{4462,3716},{4474,1577},{4498,667},{4724,663},{4814,1734}
X(4452){346,4000},{4488,1743}
X(4453){2,1638},{4120,4928},{4789,4379},{4944,4885}
X(4454){8,4659},{145,4644},{4419,4363}
X(4458){3716,676},{4522,4885}
X(4460){4461,1449}
X(4461){145,4344},{3672,2345},{4460,1449}
X(4462){145,4162},{693,4391},{2254,4147},{4380,4498},{4391,3762},{4449,3716},{4801,1577},{4905,10}
X(4464){319,4021},{4357,4360},{4431,1100}
X(4466){2173,1375}
X(4467){693,4025},{4024,4369},{4088,4913},{4382,3776},{4468,4765},{4789,4750},{4804,4458},{4820,4885}
X(4468){693,3239},{3676,4521},{4025,650},{4467,4765},{4897,4394}
X(4470){3616,4798},{4748,1698}
X(4472){4708,3634}
X(4474){1,4791},{663,4391},{1459,4036},{3904,4522},{4449,1577},{4560,4147},{4724,3762},{4814,8},{4922,4874}
X(4480){320,2325},{1266,44},{3912,190},{4440,3008}
X(4486){4375,3716},{4444,3837},{4817,4874}
X(4487){4358,4723},{4694,10},{4723,4738},{4742,3992}
X(4488){4452,1743}
X(4490){1491,4705},{1734,4770},{2533,4147},{3777,1491},{4367,650},{4801,3837}
X(4491){3733,4057},{4833,4040}
X(4498){1,4401},{649,4063},{663,659},{3669,4394},{4367,4782},{4382,1577},{4449,667},{4801,4369}
X(4499){2,4472},{4364,2},{4690,4745}
X(4500){3776,693},{4818,3837}
X(4501){3063,4435}
X(4502){649,3709},{3250,4079},{4374,3835}
X(4504){4369,4367}
X(4511){36,214},{80,3814},{3218,36}
X(4514){3961,3847},{3996,3687}
X(4522){3716,3239},{3776,3837},{4458,4885},{4818,1491}
X(4523){65,4085},{2321,3678},{3874,3946}
X(4524){2488,650},{2495,2509}
X(4525){10,4134},{65,3956},{210,4532},{3244,3877},{3753,3678},{3892,960},{3894,1125},{3919,210},{3956,3988},{4084,3753},{4134,72},{4669,3681},{4744,10}
X(4526){665,37}
X(4527){10,4535},{3773,2321},{4085,3773},{4743,10}
X(4528){676,10},{764,2505}
X(4532){3678,4134},{3753,4015},{3754,3956},{3956,3678},{3968,210},{4134,3988},{4744,3918},{4757,3753}
X(4533){3922,10},{4002,3983}
X(4534){644,3039},{1358,4904}
X(4536){65,4540},{3754,4547},{3918,3678},{3988,72},{4015,3988}
X(4537){3244,3890},{3697,3678},{4084,4004}
X(4539){3753,3921},{3921,210}
X(4540){4547,4015}
X(4542){3689,2325}
X(4543){1639,4528},{4895,1639}
X(4546){3239,4163},{4162,4521},{4163,4528},{4765,4041}
X(4547){4540,4015}
X(4549){4,4550},{4846,3}
X(4553){3271,4422}
X(4558){2987,6}
X(4560){8,4041},{693,905},{4041,4913},{4391,650},{4474,4147},{4801,3669}
X(4562){239,1575},{350,3912}
X(4568){668,4103}
X(4580){850,2485},{3267,647}
X(4581){4017,4369}
X(4640){1836,3838}
X(4641){3744,31}
X(4642){1089,10},{3702,3831}
X(4643){1,4364},{8,4690},{4363,10},{4644,4670},{4659,4665},{4667,1125},{4670,4708},{4795,2},{4798,4748}
X(4644){1,4667},{2,4795},{8,4363},{4419,1},{4643,4670},{4670,4796},{4748,4747}
X(4645){44,3823},{190,3932},{238,3836},{239,1738},{1279,3834},{1757,10},{3685,3912}
X(4646){1,4719},{3714,10}
X(4647){2292,10},{4065,1125}
X(4649){1,1100},{319,10}
X(4651){3995,756}
X(4654){3929,2}
X(4655){6,3821},{3729,3773},{3751,4085},{3923,141}
X(4656){4061,4104}
X(4659){1,4363},{145,4667},{4419,10},{4643,4665}
X(4660){1,3821},{6,4085},{3244,4353},{3923,10}
X(4661){1,4134},{2,3681},{65,4711},{145,3877},{3868,3753},{3873,210},{3874,3956},{3877,72},{3892,3678},{3894,10},{3898,4532},{3899,4525},{3901,4744},{4430,2},{4744,3626}
X(4662){3634,4540},{3812,10}
X(4663){69,3844},{1385,575},{1386,6}
X(4664){2,37},{75,2},{3797,4908},{4688,4755},{4709,4745},{4740,4688}
X(4665){1,4472},{3635,4758},{4364,10},{4690,3626}
X(4666){3305,4423}
X(4667){10,4670},{3625,4665},{4643,1125},{4669,4499},{4690,4472}
X(4668){1,1698},{1698,3617},{3616,10},{4816,8}
X(4669){1,3828},{2,4745},{10,3679},{354,3968},{392,3956},{551,10},{3241,1125},{3244,551},{3679,3626},{3828,4691},{3898,3740},{4301,381},{4525,3681},{4667,4499},{4688,4732}
X(4670){10,4472},{1125,4758},{4364,1125},{4643,4708},{4644,4796},{4690,10}
X(4672){3821,3589}
X(4673){8,3714}
X(4674){1,244},{3952,10}
X(4677){1,3679},{2,4669},{145,551},{392,4711},{551,3626},{3241,10},{3244,3828},{3633,3241},{3679,8},{3828,4746},{3899,3681},{4430,3919},{4740,4709},{4795,4665}
X(4678){3624,10}
X(4680){1,2887},{31,10}
X(4681){75,4698},{3739,37},{4686,4739},{4726,3739}
X(4683){81,4425},{4418,1211}
X(4684){3717,3912},{4899,3932}
X(4685){3175,4096},{3971,210}
X(4686){37,75},{75,4726},{192,3739},{3644,4681},{4416,4399},{4681,4739},{4718,37}
X(4687){75,4699},{4704,37}
X(4688){2,3739},{37,2},{4664,4755},{4669,4732}
X(4690){1,4708},{4499,4745},{4665,3626},{4667,4472},{4670,10}
X(4691){3634,10},{3636,3634},{4746,3626}
X(4692){1,1215},{38,10},{3902,4717}
X(4693){1,4702},{8,4439},{238,3685},{239,4432},{3679,4908},{4716,238}
X(4694){1739,244},{3992,4871},{4487,10}
X(4695){244,1739},{3992,10},{3994,3992},{4742,4871}
X(4696){3670,10},{3702,1089}
X(4698){3846,3634},{4739,3739}
X(4699){192,4704},{4704,4687},{4821,75}
X(4700){2325,44},{4887,4395}
X(4701){1,4691},{10,4746},{145,3636},{1125,3626},{3244,3634},{3626,8},{3635,10},{3828,4669},{3884,4662}
X(4702){44,4432},{239,3246},{4753,4759}
X(4704){1278,4821},{4687,37},{4699,4687},{4821,4699}
X(4705){667,650},{764,2530},{2530,1491},{2533,10},{4010,4129},{4041,4770},{4170,4806},{4378,905},{4730,4041}
X(4706){4009,899}
X(4707){1,4458},{3904,3960},{4040,4142},{4088,10},{4120,4049}
X(4708){4472,3634},{4796,4670}
X(4709){10,3696},{37,4732},{984,3626},{3993,10},{4664,4745}
X(4710){3778,10}
X(4711){210,4662},{942,3968},{960,210},{3742,10},{3873,3812},{3968,4691}
X(4712){1111,10}
X(4714){756,10}
X(4716){238,239},{4693,238}
X(4718){37,192},{75,4681},{1278,3739},{4686,37},{4764,4726}
X(4720){8,4046}
X(4723){1739,10},{4358,3992},{4487,4738},{4742,4358}
X(4724){1,4794},{649,659},{663,4040},{693,3716},{1019,4401},{2254,650},{4088,4468},{4378,1960},{4379,4448},{4380,4830},{4382,4010},{4449,663},{4474,3762},{4784,4782}
X(4726){37,4739},{192,4698},{3739,75},{4681,3739},{4889,3664}
X(4727){44,3943}
X(4728){2,4928},{661,4776},{1635,2},{4750,1638},{4776,3835}
X(4729){145,4504},{661,4041},{1577,4807},{4041,4730},{4162,4394},{4170,10},{4804,2533},{4822,4705},{4895,667}
X(4730){661,4770},{764,2254},{2530,1734},{2533,4807},{3251,1635},{4010,10},{4705,4041},{4775,650},{4895,1960}
X(4731){210,3921},{3921,10}
X(4732){1125,3846},{3842,10}
X(4733){1213,10}
X(4735){4377,10}
X(4736){1109,10}
X(4737){982,10}
X(4738){244,10},{3992,4723}
X(4739){4698,3739}
X(4740){2,75},{192,2},{4664,4688},{4677,4709}
X(4741){4393,4389}
X(4742){4487,3992},{4695,4871},{4723,4358}
X(4743){3773,4085},{4085,3755},{4527,10}
X(4744){10,3919},{72,3968},{210,3754},{3244,3873},{3878,3742},{3898,942},{3899,1125},{3919,65},{3962,4532},{4067,210},{4134,3753},{4525,10},{4532,3918},{4661,3626}
X(4745){551,3634},{1125,3828},{3241,3636},{3626,3679},{3635,551},{3679,4691},{3828,10}
X(4746){3634,4691},{3636,10},{4691,3626}
X(4747){3617,4470},{4748,4798},{4798,4670}
X(4748){4470,1698},{4644,4747},{4747,4798}
X(4750){649,4786},{4024,4789},{4120,2},{4728,1638},{4786,3798},{4789,4369}
X(4751){75,4772}
X(4753){4432,44},{4702,4759}
X(4755){2,4698},{3739,2}
X(4757){72,3918},{3678,3754},{3754,65},{3884,942},{3956,3919},{3962,3988},{4067,4015},{4127,10},{4532,3753}
X(4761){1,4369},{661,10},{1577,2533},{4041,4807},{4170,1577},{4775,4874},{4822,4129},{4824,4770}
X(4763){4928,2}
X(4764){75,1278},{192,4686},{3644,75},{4718,4726},{4788,37}
X(4765){3239,650},{3700,4521},{4546,4041}
X(4768){1769,10},{4086,4397},{4815,2517}
X(4769){1,626},{32,10}
X(4770){1960,650}
X(4771){3985,2238}
X(4773){1639,1635}
X(4774){4367,2533},{4775,4791},{4784,4761},{4879,1577},{4922,4369},{4948,3679}
X(4775){649,1960},{659,4794},{667,663},{4378,1},{4730,650},{4761,4874},{4774,4791},{4814,4770},{4825,4893},{4834,667}
X(4776){649,4763},{693,4728},{4379,4928},{4728,3835}
X(4780){10,3755},{2321,4085},{3755,4743},{3886,1125},{4067,4523},{4133,10}
X(4783){3122,10}
X(4784){659,649},{4010,4369},{4367,1019},{4724,4782},{4774,4761},{4810,693},{4824,4913},{4879,4367},{4963,4824}
X(4786){4025,4750},{4750,3798}
X(4787){869,3764}
X(4788){75,4718},{192,3644},{1278,192},{4764,37}
X(4789){4453,4379},{4467,4750},{4750,4369}
X(4790){650,649},{661,4394},{3004,3798},{3669,1019},{4106,4369},{4841,4765}
X(4791){3960,4885},{4794,3716},{4823,1577}
X(4794){4791,3716}
X(4795){2,4670},{3679,4499},{4643,2},{4677,4665}
X(4796){4708,4670}
X(4798){4643,4748},{4747,4670}
X(4799){4376,2887}
X(4800){659,4448},{4448,3716},{4948,4893},{4951,4944}
X(4801){3762,4823},{4380,1019},{4391,693},{4462,1577},{4490,3837},{4498,4369},{4560,3669},{4811,4815}
X(4804){661,4010},{1734,4823},{2254,693},{4017,4815},{4041,1577},{4088,3700},{4467,4458},{4729,2533},{4822,4170},{4824,4806}
X(4805){4376,10}
X(4806){3837,3835}
X(4807){4129,10},{4879,1125}
X(4808){3801,10}
X(4810){659,4010},{1491,4106},{4380,4874},{4784,693},{4834,4823},{4963,4813}
X(4811){4397,4391},{4801,4815}
X(4813){649,661},{4820,4949},{4838,4820},{4960,4823}
X(4814){649,4730},{663,4041},{3700,4528},{4449,1734},{4474,8},{4775,4770},{4893,4825},{4895,650},{4959,663}
X(4815){2517,4823},{4086,1577},{4404,4036},{4768,2517}
X(4816){1,3617},{1698,4668},{3623,10},{4668,8}
X(4817){4486,4874}
X(4818){4500,3837},{4522,1491},{4830,4765}
X(4820){650,3700},{4467,4885},{4813,4949}
X(4821){192,4687},{4699,75},{4704,4699}
X(4822){2533,4806},{4041,661},{4729,4705},{4761,4129},{4804,4170}
X(4823){4401,4874},{4791,1577}
X(4824){2533,4705},{4010,661},{4761,4770},{4784,4913},{4804,4806}
X(4825){3251,650},{4775,4893},{4893,4770}
X(4826){798,4079},{3768,4502}
X(4827){4130,657}
X(4830){3716,659},{4369,4782},{4818,4765}
X(4831){3712,896}
X(4832){3709,798}
X(4833){3733,3737},{4491,4040},{4840,3733}
X(4834){667,649},{4040,4782},{4170,4874},{4378,1019},{4775,667},{4810,4823}
X(4837){4381,626}
X(4838){661,4024},{4813,4820}
X(4840){3733,1019},{4833,3733}
X(4841){3700,661},{4790,4765}
X(4846){4549,3}
X(4847){226,2886},{4304,993}
X(4849){3752,43},{3967,4090}
X(4850){4392,4003}
X(4851){4361,142}
X(4852){141,3946},{2321,3589},{3629,4856}
X(4853){1697,958}
X(4854){1211,4425},{4046,1211}
X(4860){3711,4413},{4413,3306}
X(4861){3871,2646}
X(4862){1,4310},{1743,4000}
X(4863){55,4847},{1836,3434},{3870,2886}
X(4864){8,3823},{44,1279},{1279,1},{1757,3246},{4899,4422}
X(4865){4362,2886}
X(4867){36,4511},{80,908},{3218,214},{3245,100},{4880,36}
X(4869){4402,4859}
X(4872){152,1530}
X(4874){2977,2490},{3837,4885}
X(4879){659,663},{4063,1960},{4367,1},{4774,1577},{4784,4367},{4807,1125}
X(4880){36,3218},{4867,36}
X(4882){1,936},{938,10},{3339,1706}
X(4885){3798,2487},{4940,3835}
X(4887){2325,3834},{3008,1086},{4700,4395}
X(4888){3731,4648}
X(4889){4726,3664}
X(4890){4111,1213}
X(4893){649,1635},{693,4928},{1635,650},{4379,2},{4814,4825},{4825,4770},{4931,4944}
X(4895){8,3716},{661,4775},{663,4162},{1635,3251},{2254,1},{4041,663},{4543,1639},{4729,667},{4730,1960},{4814,650}
X(4897){650,3798},{3004,4025},{3700,4369},{4106,3676},{4468,4394}
X(4898){391,4098}
X(4899){3912,3717},{4684,3932},{4864,4422}
X(4901){4000,10}
X(4902){3973,4859}
X(4905){1,3669},{663,3960},{1734,2254},{4040,905},{4462,10}
X(4908){44,4370},{903,3834},{4370,2325}
X(4913){3716,650}
X(4916){4371,4648}
X(4918){3649,3178}
X(4920){4136,626}
X(4922){2533,4367},{3762,1960},{4010,1},{4367,4504},{4474,4874},{4774,4369}
X(4924){145,4856}
X(4927){1639,4928}
X(4928){4763,2}
X(4929){145,3950}
X(4930){3928,1385}
X(4931){661,4120},{4120,3700},{4893,4944}
X(4932){3835,4369}
X(4938){896,4062}
X(4940){4885,3835}
X(4944){650,1639},{1639,3239},{4453,4885}
X(4948){3679,4770},{4774,3679},{4800,4893}
X(4951){4800,4944}
X(4958){649,4944},{1635,4120}
X(4959){663,4895},{4041,4162},{4814,663}
X(4960){4813,4823}
X(4963){4784,4824},{4810,4813}
To ETC

Compiled by Peter J C Moses.