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

 Centre  Beth Conjugates
X(1){1,56},{2,948},{8,8},{9,45},{21,1},{29,34},{55,869},{99,85},{100,1},{110,603},{162,208},{333,4384},{643,1},{644,1},{645,3758},{663,875},{664,1},{1043,78},{1113,34},{1114,34},{1120,1},{1280,1},{1320,1},{1897,1},{2320,89},{3685,874},{3699,1},{3903,1},{4614,1}
X(2){2,57},{8,3679},{9,2276},{21,995},{86,3598},{190,2},{312,312},{314,4441},{333,2},{643,55},{645,2},{646,2},{648,196},{650,3572},{662,222},{2580,278},{2581,278},{3699,2},{4554,2},{4560,1022},{4582,2},{4621,2},{4633,2}
X(3){3,603},{8,355},{21,56},{78,78},{100,3},{110,221},{271,84},{283,3},{333,379},{643,8},{644,4513},{1331,3},{1792,1259},{1793,3},{1808,3},{1809,3},{1810,3},{1811,3},{1822,56},{1823,56},{4571,3},{4587,3},{4592,348}
X(4){4,34},{8,40},{29,4},{162,56},{318,318},{811,331},{1309,4},{1896,1118},{1897,4},{2586,1118},{2587,1118}
X(5){5,1393}
X(6){1,2263},{6,604},{8,3416},{9,9},{21,1001},{55,2177},{101,6},{112,3209},{284,6},{294,6},{333,1150},{644,6},{645,6},{651,6},{662,7},{666,6},{1172,608},{1783,6},{2287,219},{2311,6},{2316,6},{2323,1983},{2338,6},{2341,6},{2364,2163},{2576,608},{2577,608},{3684,3570},{3737,1027},{3939,6},{4627,6},{4845,6}
X(7){1,1469},{7,269},{21,991},{75,75},{86,7},{99,7},{190,7},{286,1119},{290,7},{314,69},{645,344},{648,7},{662,6},{664,7},{666,7},{668,7},{670,7},{671,7},{811,264},{886,7},{889,7},{892,7},{903,7},{1121,7},{1494,7},{2479,7},{2480,7},{2481,7},{2966,7},{3225,7},{3226,7},{3227,7},{3228,7},{4555,7},{4562,7},{4569,7},{4577,7},{4586,7},{4597,7}
X(8){8,1},{99,3160},{200,4517},{341,341},{346,4873},{643,3},{644,3730},{668,8},{1043,8},{2287,4266},{3699,8}
X(9){8,2550},{9,6},{190,9},{200,3711},{333,3306},{346,346},{644,9},{645,75},{662,1419},{1043,3886},{2287,9},{2322,19},{4578,9}
X(10){8,10},{10,65},{21,1201},{100,73},{312,4044},{318,225},{341,3710},{643,35},{644,1334},{668,349},{3699,10},{3701,3701},{3952,10},{4518,10}
X(11){1,1361},{8,1145},{11,244},{522,11},{693,11},{1309,11},{2400,11},{3239,11},{3737,3937},{4397,11}
X(12){10,12},{12,1254},{100,2594},{1018,1500},{1089,1089},{3701,3695},{3952,12},{4013,12},{4103,12},{4551,1425},{4583,12}
X(19){9,198},{19,608},{112,604},{281,281},{648,273},{653,19},{1021,2432},{1172,19},{1783,19},{2322,9}
X(20){20,1394},{21,4306},{643,1259},{664,20},{1043,280}
X(21){21,58},{99,21},{643,21},{1043,1043},{1098,21},{1792,1819},{4636,1437}
X(22){643,345},{833,22},{4123,4123}
X(23){643,3712}
X(24){162,1118}
X(25){25,1395},{33,33},{55,2187},{108,25},{162,278},{2299,25},{4183,55}
X(27){27,1396},{270,4247},{333,1817},{648,27},{823,27}
X(28){21,2360},{29,29},{107,28},{162,28},{270,28}
X(29){29,28},{811,29},{1098,4225}
X(30){8,30},{21,1464}
X(31){8,4680},{21,993},{31,1397},{55,55},{109,31},{110,57},{284,2280},{643,31},{692,31},{2194,31},{2195,31},{2299,1395},{2328,212},{2342,31},{3939,31}
X(32){8,4769},{41,41},{163,56},{284,2278},{919,32},{1415,32}
X(33){33,25},{1897,33},{2328,3185},{4183,33}
X(34){1,221},{4,4},{28,34},{29,1},{34,1398},{100,3811},{107,158},{108,34},{110,47},{112,1973},{162,34},{811,34},{1113,1},{1114,1},{1783,34},{1897,34},{2586,34},{2587,34}
X(35){35,1399},{100,35},{643,10},{4420,4420}
X(36){21,36},{100,36},{110,1457},{643,519},{3738,513},{4242,36},{4511,4511},{4636,36}
X(37){8,3696},{9,37},{21,1386},{37,1400},{101,1409},{190,1441},{281,1880},{346,3694},{644,37},{645,894},{646,37},{1018,37},{1334,3774},{2321,2321},{2325,4169},{4069,37},{4552,37},{4606,37},{4876,37}
X(38){8,4692},{38,1401},{643,38},{3703,3703},{4553,38}
X(40){8,4},{21,1420},{40,221},{100,40},{643,78},{644,728}
X(41){41,32},{101,41},{220,220},{2332,1973}
X(42){21,551},{42,1402},{55,42},{100,226},{200,2318},{210,210},{643,171},{644,3997},{3699,42},{3939,42},{4069,42},{4183,1856},{4551,42},{4557,42}
X(43){43,1403},{643,3550},{660,43},{3699,43}
X(44){9,44},{21,3246},{44,1404},{644,44},{645,239},{1023,44},{2325,2325},{3939,2223}
X(45){9,1},{45,1405},{644,45},{645,4363},{4582,45},{4752,45},{4873,4873}
X(46){8,3436},{46,1406},{100,46},{643,3811},{3193,46}
X(47){110,34},{643,47}
X(48){101,48},{112,3213},{163,2199},{219,219},{268,1436},{284,604},{906,48},{1813,48},{2193,48},{2327,2289},{4558,77},{4587,48}
X(50){1983,50}
X(55){8,3419},{21,999},{55,31},{100,55},{200,200},{643,2},{677,55},{1021,1024},{2328,55},{3939,55},{4183,25},{4578,55}
X(56){1,1},{6,1405},{21,3},{28,1398},{56,1106},{58,56},{74,56},{98,56},{99,56},{100,56},{101,56},{102,56},{103,56},{104,56},{105,56},{106,56},{107,56},{108,56},{109,56},{110,56},{111,56},{112,56},{162,4},{163,32},{476,56},{477,56},{643,145},{675,56},{681,56},{689,56},{691,56},{697,56},{699,56},{701,56},{703,56},{705,56},{707,56},{709,56},{711,56},{713,56},{715,56},{717,56},{719,56},{721,56},{723,56},{725,56},{727,56},{729,56},{731,56},{733,56},{735,56},{737,56},{739,56},{741,56},{743,56},{745,56},{747,56},{753,56},{755,56},{759,56},{761,56},{767,56},{769,56},{773,56},{777,56},{779,56},{781,56},{783,56},{785,56},{787,56},{789,56},{791,56},{793,56},{795,56},{797,56},{803,56},{805,56},{807,56},{809,56},{813,56},{815,56},{817,56},{819,56},{825,56},{827,56},{831,56},{833,56},{835,56},{839,56},{840,56},{841,56},{842,56},{843,56},{898,56},{901,56},{907,56},{915,56},{917,56},{919,56},{925,56},{927,56},{929,56},{930,56},{931,56},{932,56},{933,56},{934,56},{935,56},{953,56},{972,56},{1113,56},{1114,56},{1141,56},{1286,56},{1287,56},{1288,56},{1289,56},{1290,56},{1291,56},{1292,56},{1293,56},{1294,56},{1295,56},{1296,56},{1297,56},{1298,56},{1299,56},{1300,56},{1301,56},{1302,56},{1303,56},{1304,56},{1305,56},{1306,56},{1307,56},{1308,56},{1309,56},{1310,56},{1311,56},{1379,56},{1380,56},{1381,56},{1382,56},{1414,279},{1477,56},{1822,3},{1823,3},{2222,56},{2249,56},{2291,56},{2365,56},{2366,56},{2367,56},{2368,56},{2369,56},{2370,56},{2371,56},{2372,56},{2373,56},{2374,56},{2375,56},{2376,56},{2377,56},{2378,56},{2379,56},{2380,56},{2381,56},{2382,56},{2383,56},{2384,56},{2687,56},{2688,56},{2689,56},{2690,56},{2691,56},{2692,56},{2693,56},{2694,56},{2695,56},{2696,56},{2697,56},{2698,56},{2699,56},{2700,56},{2701,56},{2702,56},{2703,56},{2704,56},{2705,56},{2706,56},{2707,56},{2708,56},{2709,56},{2710,56},{2711,56},{2712,56},{2713,56},{2714,56},{2715,56},{2716,56},{2717,56},{2718,56},{2719,56},{2720,56},{2721,56},{2722,56},{2723,56},{2724,56},{2725,56},{2726,56},{2727,56},{2728,56},{2729,56},{2730,56},{2731,56},{2732,56},{2733,56},{2734,56},{2735,56},{2736,56},{2737,56},{2738,56},{2739,56},{2740,56},{2741,56},{2742,56},{2743,56},{2744,56},{2745,56},{2746,56},{2747,56},{2748,56},{2749,56},{2750,56},{2751,56},{2752,56},{2753,56},{2754,56},{2755,56},{2756,56},{2757,56},{2758,56},{2759,56},{2760,56},{2761,56},{2762,56},{2763,56},{2764,56},{2765,56},{2766,56},{2767,56},{2768,56},{2769,56},{2770,56},{2855,56},{2856,56},{2857,56},{2858,56},{2859,56},{2860,56},{2861,56},{2862,56},{2863,56},{2864,56},{2865,56},{2866,56},{2867,56},{2868,56},{3067,56},{3222,56},{3563,56},{3565,56},{3659,56},{4575,1147},{4588,56}
X(57){1,2099},{2,2},{8,3421},{21,3576},{27,1435},{57,1407},{81,57},{88,57},{100,57},{110,31},{162,57},{190,57},{333,63},{643,3870},{648,92},{651,57},{653,57},{655,57},{658,57},{660,57},{662,57},{673,57},{771,57},{799,57},{823,57},{897,57},{1156,57},{1492,57},{1821,57},{2349,57},{2580,57},{2581,57},{3257,57},{4560,2401},{4573,1088},{4598,57},{4599,57},{4604,57},{4606,57},{4607,57}
X(58){21,21},{58,1408},{60,58},{110,58},{162,58},{284,4273},{643,58},{1098,283},{1414,58},{4636,58}
X(59){100,2222},{765,765},{4570,59}
X(60){60,849},{1098,1098},{4636,60}
X(63){8,1478},{63,222},{78,3940},{190,63},{333,57},{345,345},{643,63},{645,312},{662,223},{1332,63},{1812,63},{4571,63}
X(64){1,207}
X(65){1,65},{4,1426},{8,72},{10,10},{21,1385},{65,1042},{80,65},{100,65},{101,213},{109,1410},{110,1399},{284,2288},{291,65},{644,3991},{664,1446},{668,65},{1018,65},{1381,1042},{1382,1042},{1783,65},{3952,65},{4551,65},{4566,65},{4589,65},{4596,65},{4674,65}
X(69){8,3751},{69,77},{78,3781},{99,347},{314,7},{332,69},{645,69},{668,69},{3718,3718},{4561,69},{4592,1804}
X(71){9,1400},{71,1409},{219,71},{644,2321},{1018,71},{1332,307},{3694,3694},{3939,71},{4574,71},{4587,71}
X(72){8,65},{72,73},{78,72},{100,227},{644,72},{3699,3701},{3710,3710},{3952,72},{4561,1231},{4571,72}
X(73){1,1042},{3,73},{21,946},{72,72},{73,1410},{78,3682},{100,10},{101,73},{295,73},{906,2200},{1331,73},{1807,73},{1897,73},{4551,73},{4561,73},{4574,73}
X(75){8,984},{75,7},{99,77},{312,4671},{314,75},{333,4850},{522,876},{645,9},{646,75},{668,75},{811,342},{3596,3596},{4572,75}
X(76){76,85},{312,3661},{314,4389},{799,348},{1978,76},{4391,4444}
X(77){21,990},{69,69},{86,269},{99,75},{190,3729},{332,326},{336,77},{662,77},{664,77},{811,77},{1310,77},{1332,77},{1444,77},{4558,48},{4561,77},{4592,77}
X(78){78,3},{643,40},{1043,1},{1265,1265},{1792,78},{3699,78},{4561,78},{4571,78}
X(79){3615,79}
X(80){8,100},{80,1411}
X(81){21,4653},{81,1412},{333,333},{643,81},{645,81},{648,81},{662,81},{931,81},{2185,81},{4573,81},{4603,81},{4612,81},{4631,81},{4636,2194}
X(84){21,1394},{84,1413},{271,3},{280,280},{285,84}
X(85){76,76},{85,279},{99,1},{274,85},{668,85},{789,85},{799,85},{811,85},{1978,85},{4554,85},{4583,85},{4593,85},{4602,85}
X(86){21,3736},{86,1014},{99,86},{261,86},{314,314},{645,86},{811,86},{4594,86},{4612,284},{4625,86}
X(87){932,87}
X(88){333,190},{1320,4792},{3257,88},{4582,88}
X(89){2320,1},{4604,89}
X(92){92,278},{312,329},{648,57}
X(99){21,741},{99,1414},{4600,99}
X(100){8,80},{21,106},{55,1911},{100,109},{333,673},{643,100},{644,4752},{765,100},{3699,3699},{4076,100},{4600,4554}
X(101){9,2161},{21,105},{41,1922},{101,1415},{644,644},{1252,101},{4564,101},{4567,664}
X(102){21,108}
X(103){21,934},{677,103}
X(104){21,109},{1309,104}
X(105){21,101},{105,1416},{927,105}
X(106){21,100},{106,1417},{901,106},{1318,106},{1320,1320}
X(108){21,102},{162,108},{1309,108},{1897,1897}
X(109){1,1411},{21,104},{58,1417},{59,109},{81,1462},{100,100},{110,109},{643,1331},{677,109},{765,109},{901,109},{1252,109},{4570,109},{4600,109}
X(110){21,759},{643,643},{4570,110},{4636,110}
X(115){3700,115},{4024,115}
X(120){4583,120}
X(123){4397,123}
X(125){3700,125},{4036,125},{4064,125}
X(141){645,141},{4568,141}
X(142){142,1418},{190,142},{1229,1229}
X(144){8,4312},{144,1419},{190,144},{645,346}
X(145){8,3632},{145,1420},{643,56},{644,4253},{3699,145}
X(149){149,1421}
X(150){8,1282}
X(153){8,1768}
X(154){109,154},{2328,2192}
X(158){107,34},{158,1118},{1896,158}
X(163){249,1414}
X(165){100,165},{643,200}
X(170){664,170}
X(171){100,171},{643,42},{4579,171}
X(172){101,172},{2329,2329}
X(174){556,556}
X(175){664,175}
X(176){664,176}
X(181){42,181},{210,3690},{660,181},{756,756},{3952,181},{4557,181}
X(183){645,183}
X(184){212,212},{692,184},{2188,2208},{2194,1397},{4575,222}
X(186){4242,186}
X(187){55,187}
X(188){188,266}
X(189){189,1422}
X(190){9,292},{190,651},{314,2481},{333,88},{645,190},{646,646},{1016,190},{3699,4767},{4076,190},{4567,1813},{4582,190},{4601,4572}
X(191){8,2475},{643,191}
X(192){192,1423},{646,192},{4110,4110},{4562,192},{4595,192}
X(193){645,193},{662,608}
X(194){194,1424}
X(196){648,2},{653,196}
X(197){3939,1260}
X(198){9,19},{101,198},{198,2199},{2324,2324},{3939,480}
X(200){100,223},{200,55},{643,165},{1043,3872},{3699,200},{3939,3185},{4578,200}
X(201){10,1254},{72,201},{201,1425},{1018,201},{3695,3695},{3952,1089}
X(204){108,204},{162,223}
X(207){1,64},{3176,3176}
X(208){1,1854},{4,1118},{108,208},{162,1},{3194,208}
X(209){3190,209},{3939,209},{3952,209}
X(210){8,3753},{200,210},{210,42},{1043,3902},{3699,321},{3939,228},{3952,210},{4069,210},{4082,4082},{4578,210}
X(212){212,184},{1260,1260},{1331,212},{2328,31},{3939,212}
X(213){41,213},{101,65},{644,213},{1334,1334},{4559,213}
X(214){21,244},{643,2802},{4511,214}
X(218){644,218}
X(219){101,478},{219,48},{644,219},{1332,219},{2287,6},{2327,219},{3692,3692},{4587,219}
X(220){101,221},{220,41},{644,220},{728,728}
X(221){1,34},{40,40},{99,1975},{101,220},{109,221},{110,3},{112,3172},{1783,221},{2360,221}
X(222){21,1012},{63,63},{81,1407},{100,1376},{110,222},{287,222},{648,222},{651,222},{662,2},{677,222},{895,222},{1331,222},{1332,222},{1790,222},{1797,222},{1812,394},{1813,222},{1814,222},{1815,222},{2986,222},{2987,222},{2988,222},{2989,222},{2990,222},{2991,222},{4558,222},{4563,222},{4575,184}
X(223){2,278},{100,200},{162,204},{329,329},{651,223},{662,63},{1817,223},{1897,223}
X(224){4571,224}
X(225){4,225},{10,227},{108,1042},{225,1426},{318,10},{1783,2333},{1897,225}
X(226){2,226},{21,1064},{100,42},{190,226},{226,1427},{312,306},{321,321},{335,226},{662,2003},{835,226},{1897,226},{1978,226},{3952,226},{4033,226},{4080,226},{4552,226},{4613,226},{4624,226},{4632,226},{4639,226}
X(227){10,225},{40,227},{100,72},{1018,4515},{4551,227}
X(228){55,1402},{212,228},{1331,1214},{2318,2318},{3939,210},{4557,228},{4571,228}
X(229){21,501}
X(230){281,230},{645,230}
X(231){281,231}
X(232){281,232}
X(237){55,237}
X(238){21,238},{238,1428},{643,902},{644,238},{932,238},{3573,238},{3685,3685}
X(239){239,1429},{333,239},{643,2223},{645,44},{3570,239},{3685,4693},{3699,239},{3975,3975},{4435,649},{4598,239},{4631,239}
X(240){29,1874},{318,240}
X(241){2,241},{100,241},{662,1443},{1025,241},{1026,241},{2414,241},{3912,3912},{4238,241},{4554,241}
X(242){29,242}
X(243){243,1430},{1897,243},{2322,243}
X(244){8,4738},{11,11},{21,214},{244,1357},{513,244},{522,244},{643,3722},{650,244},{1024,244},{1320,2802},{2222,244},{3676,244},{3737,244},{4124,3766}
X(245){3700,245}
X(246){3700,246}
X(247){3700,247}
X(251){4628,251}
X(255){110,1394},{283,603},{643,255},{1259,1259},{1331,255}
X(256){256,1431},{3903,256},{4451,4451}
X(257){257,1432}
X(260){100,260}
X(261){261,757},{4623,261}
X(264){264,273},{811,7},{3596,322}
X(266){188,188},{3659,266}
X(269){7,7},{86,77},{651,269},{662,1445},{664,269},{934,269},{1014,269},{1414,269},{3737,2424},{4565,604},{4625,269},{4626,269}
X(271){271,1433}
X(273){75,347},{264,264},{273,1119},{286,273},{648,19},{811,273},{823,273}
X(274){274,1434},{799,274},{4631,274}
X(278){2,223},{27,278},{92,92},{100,3190},{107,278},{162,25},{278,1435},{648,278},{653,278},{662,1993},{685,278},{687,278},{823,2052},{1897,278},{2580,2},{2581,2}
X(279){85,85},{274,348},{279,738},{658,279},{664,279},{927,279},{1414,56},{1434,279},{4554,279},{4573,279},{4624,279}
X(280){280,84},{1043,20}
X(281){281,19},{346,2324},{2287,573},{2322,281}
X(282){282,1436},{2287,610}
X(283){283,1437},{643,283},{1098,58},{1792,1792},{4592,283},{4636,2360}
X(284){284,1333},{662,284},{2287,2287},{2326,1474},{4612,86}
X(286){811,286}
X(289){3659,289}
X(291){8,668},{660,291},{4518,4518}
X(292){9,190},{813,292},{2311,292},{4876,4876}
X(294){294,1438},{666,294},{2287,3939}
X(295){78,4561},{660,295},{1808,295}
X(298){645,298}
X(299){645,299}
X(302){645,302}
X(303){645,303}
X(304){304,348},{1978,304}
X(306){306,1214},{312,226},{345,306},{3699,306},{4033,306},{4571,2318}
X(307){69,307},{75,3668},{190,307},{307,1439},{337,307},{668,313},{1332,71},{4561,307}
X(309){309,1440}
X(310){670,310},{4631,333}
X(312){312,2},{645,63},{646,312},{1043,3877},{1978,312},{3699,3681}
X(313){313,1441},{314,3663},{646,2321},{668,307},{3596,313},{3701,3773}
X(314){314,86},{670,314},{1043,3786}
X(318){318,4},{1043,3869}
X(319){8,4649},{319,1442},{645,4416},{668,319}
X(320){314,320},{320,1443},{645,3912},{668,320},{4511,3792}
X(321){8,4424},{190,1214},{312,321},{321,226},{333,3752},{645,3219},{646,321},{3699,210},{3701,4125},{4033,321},{4391,4049}
X(322){322,347},{668,322},{3596,264}
X(323){645,323},{4585,323}
X(325){645,325},{3596,325}
X(326){326,1804},{332,77},{1264,1264},{4561,326}
X(329){8,2093},{190,329},{312,92},{329,223},{645,345}
X(330){4598,330}
X(331){331,1847},{811,4},{1969,1969}
X(332){332,1444}
X(333){333,81},{643,4184},{645,333},{799,333},{1043,4720},{4612,1790},{4631,310}
X(334){4518,3864},{4583,334}
X(335){312,1978},{4562,335},{4876,3862}
X(337){4583,337}
X(338){4086,4092}
X(341){341,8},{1043,3885},{3699,3869}
X(342){811,75}
X(343){645,343}
X(344){344,1445},{645,7},{646,344}
X(345){345,63},{643,22},{645,329},{646,345}
X(346){190,347},{346,9},{644,573},{645,144},{646,346},{1043,390}
X(347){75,273},{99,69},{190,346},{322,322},{648,1249},{664,347}
X(348){99,348},{274,279},{304,304},{799,76},{4554,348},{4561,348},{4563,348},{4592,3}
X(349){76,349},{349,1446},{668,10},{1978,349}
X(350){99,1457},{314,350},{350,1447},{645,672},{646,350},{874,350},{3685,3783},{3716,513},{4087,4087}
X(351){55,351},{3709,351},{3712,351}
X(352){645,352}
X(354){100,354},{643,3957},{3254,354},{4569,354},{4847,4847}
X(355){8,3}
X(365){4182,4182}
X(367){4181,4181}
X(377){377,1448},{668,377}
X(379){333,3},{666,379}
X(380){4578,380}
X(381){8,3654}
X(385){645,385},{3570,385}
X(386){21,3616},{100,388},{3699,386},{3876,3876}
X(387){3699,387}
X(388){100,386},{388,4320},{668,388},{1010,388},{1897,388},{4385,4385}
X(390){664,390},{1043,346}
X(391){391,1449},{645,391}
X(392){392,1450},{644,392}
X(393){281,2331}
X(394){78,1060},{645,394},{1332,394},{1812,222},{3719,3719}
X(395){645,395}
X(396){645,396}
X(404){643,3871}
X(405){405,1451},{644,405},{835,405}
X(406){406,1452}
X(440){4552,440}
X(441){345,441}
X(442){3952,442}
X(452){452,1453}
X(460){1857,460}
X(468){281,468}
X(478){101,219},{1766,1766},{1783,478}
X(479){658,479},{1088,1088},{4569,479},{4616,479},{4626,479},{4637,1407}
X(480){480,1253},{3939,198},{4578,480}
X(481){664,481}
X(482){664,482}
X(484){100,484}
X(491){645,491}
X(492){645,492}
X(497){497,614},{1897,497},{4569,497}
X(498){498,1454},{3699,498}
X(499){3699,499}
X(500){21,3649}
X(501){21,229},{4636,501}
X(511){8,511},{21,1284},{3903,511}
X(512){8,512},{21,4367},{42,512},{55,512},{65,512},{210,512},{607,512},{663,512},{1002,512},{1334,512},{1824,512},{1857,512},{2334,512},{2357,512},{4041,4041}
X(513){1,513},{4,513},{7,513},{8,513},{9,513},{21,513},{79,513},{80,513},{84,513},{90,513},{104,513},{177,513},{256,513},{284,3063},{294,513},{314,513},{522,522},{650,4893},{663,788},{885,513},{941,513},{943,513},{981,513},{983,513},{987,513},{989,513},{1000,513},{1039,513},{1041,513},{1061,513},{1063,513},{1156,513},{1172,513},{1251,513},{1320,513},{1389,513},{1392,513},{1476,513},{1896,513},{1937,513},{2298,513},{2320,513},{2335,513},{2344,513},{2346,513},{2481,513},{2648,513},{2997,513},{3062,513},{3065,513},{3254,513},{3255,513},{3296,513},{3307,513},{3308,513},{3427,513},{3467,513},{3495,513},{3551,513},{3577,513},{3680,513},{3716,350},{3737,513},{3738,36},{4180,513},{4560,4762},{4866,513},{4876,513},{4900,513}
X(514){2,514},{8,514},{21,663},{29,514},{85,514},{92,514},{178,514},{189,514},{257,514},{312,514},{314,4406},{333,514},{514,3669},{522,4777},{650,3250},{663,1912},{1121,514},{1220,514},{1311,514},{1952,514},{2090,514},{2399,514},{2988,514},{2994,514},{3904,3218},{4102,514},{4181,514},{4391,4391},{4518,514},{4560,514}
X(515){8,515},{21,1457},{515,1455},{1897,515}
X(516){8,516},{21,1458},{516,1456},{664,516},{2398,516}
X(517){8,517},{21,1319},{100,517},{517,1457},{643,4511},{644,3693},{3699,4723}
X(518){8,518},{21,1279},{100,1465},{518,1458},{643,3218},{644,518},{668,518},{883,518},{1026,518},{3699,4358},{3717,3717}
X(519){8,519},{21,1149},{100,1457},{519,1319},{643,36},{644,672},{2325,4908},{3699,519},{4723,4723}
X(520){8,520},{72,520},{219,520},{1259,520},{1264,520},{3682,520}
X(521){8,521},{69,521},{78,521},{271,521},{521,1459},{1034,521},{1043,4397},{1257,521},{1265,521},{1792,521},{1809,521},{2287,521},{3692,521}
X(522){8,522},{21,1459},{75,522},{253,522},{280,522},{314,3261},{318,522},{341,522},{346,522},{522,513},{1043,522},{1219,522},{1222,522},{2287,657},{2322,522},{2370,522},{3239,4944},{4397,4397},{4451,522}
X(523){8,523},{9,3709},{10,523},{21,2605},{281,523},{314,4374},{522,523},{523,4017},{996,523},{1441,523},{2321,523},{3307,4017},{3308,4017},{3596,523},{3700,4931},{3701,523},{4086,4086},{4768,3992}
X(524){8,524},{645,524},{3712,4933}
X(525){8,525},{306,525},{321,525},{345,525},{1231,525},{3710,525}
X(526){8,526},{758,526},{3678,526}
X(527){8,527},{190,527}
X(528){8,528},{4555,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},{646,536},{4009,4937}
X(537){8,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},{645,4370},{4582,545}
X(551){8,4669},{21,42},{3699,551},{3902,3902},{4781,551}
X(552){873,873},{4610,552},{4623,552}
X(553){190,553},{1125,4870},{4359,4359},{4427,553},{4610,553}
X(556){556,174}
X(559){100,559}
X(560){1576,604},{2175,2175}
X(571){163,608}
X(572){284,2220}
X(573){644,346},{2287,281}
X(577){906,577},{2289,2289}
X(579){190,579},{651,1119}
X(581){21,3485},{100,3085},{1897,581}
X(590){645,590}
X(591){645,591}
X(593){2185,2185},{4556,593},{4612,593},{4636,593}
X(594){8,4026},{594,2171},{646,3963},{1018,2197},{2321,594},{4103,594}
X(595){21,2975},{643,595},{901,595},{3871,3871}
X(597){645,597}
X(599){645,599}
X(603){3,3},{58,1106},{109,603},{110,1},{162,603},{163,603},{283,255},{293,603},{906,603},{1331,603},{1433,1413},{1437,603},{1795,603},{1822,603},{1823,603},{4575,603},{4592,603}
X(604){6,6},{58,1471},{101,604},{112,19},{163,604},{284,48},{662,604},{692,604},{909,604},{911,604},{913,604},{923,604},{1333,604},{1415,604},{1438,604},{1461,604},{1576,560},{1910,604},{2159,604},{2224,604},{2576,604},{2577,604},{4565,269},{4586,604},{4593,604}
X(605){3939,605}
X(606){3939,606}
X(607){607,1973},{1783,607},{2332,607}
X(608){4,1892},{6,2199},{19,19},{101,2911},{112,608},{163,571},{648,608},{662,193},{1172,6},{1474,608},{1783,608},{2576,6},{2577,6}
X(610){651,610},{2287,282}
X(611){644,611}
X(612){612,1460},{3699,612},{3974,3974}
X(613){644,613}
X(614){21,997},{108,614},{497,497},{643,3749},{1633,614},{3699,614},{4626,614}
X(615){645,615}
X(643){643,110},{4600,643}
X(644){644,101},{1016,644},{2287,2316}
X(645){645,662},{2287,2311},{4601,645}
X(646){346,4876},{646,190}
X(647){9,3700},{37,647},{55,647},{71,647},{219,647},{281,647},{345,647},{652,647},{1214,647},{2318,647},{2335,647},{2336,647},{3694,647}
X(649){6,649},{9,649},{19,649},{55,649},{57,649},{81,3676},{284,649},{333,649},{650,650},{663,4775},{673,649},{893,649},{909,649},{1021,652},{1024,649},{1172,3064},{1174,649},{1436,649},{1751,649},{1945,649},{2160,649},{2161,649},{2164,649},{2195,649},{2258,649},{2259,649},{2287,4521},{2291,649},{2299,649},{2316,649},{2319,649},{2337,649},{2339,649},{2343,649},{2364,649},{2432,649},{2590,649},{2591,649},{3451,649},{3512,649},{3737,4724},{4435,239}
X(650){2,650},{9,650},{200,650},{281,650},{282,650},{333,693},{346,650},{650,649},{1021,650},{2184,650},{2287,650},{2297,650},{3239,3239},{3900,4814},{4148,3975},{4183,650}
X(651){2,2006},{190,190},{645,1332},{651,1461},{662,651},{666,651},{765,651},{898,651},{1016,651},{1275,651},{2287,2338},{3257,651},{4564,651},{4567,651},{4570,692},{4584,651},{4601,651},{4620,4569}
X(652){9,652},{63,652},{219,652},{268,652},{1021,649},{1073,652},{1260,652},{1812,4025},{1815,652},{2287,3239},{2322,652},{2327,652},{2328,652},{2983,652},{3692,652}
X(653){648,653}
X(654){9,654},{284,3310},{1021,654},{1252,654},{2287,1639},{2323,654},{2328,926},{3218,654}
X(655){190,4564}
X(656){8,4086},{9,656},{10,656},{72,656},{78,656},{307,656},{318,656},{521,656},{522,4017},{1793,656},{2574,4017},{2575,4017},{3694,656},{3710,656},{3718,656}
X(657){9,657},{220,657},{480,657},{657,3063},{728,657},{1223,657},{2125,657},{2287,522},{2338,657},{2371,657},{4130,4130}
X(658){658,4617},{1275,658},{4554,4554},{4573,658},{4620,658}
X(659){9,659},{21,1960},{87,659},{238,659},{242,659},{261,659},{1447,659},{2726,659},{3684,659},{3685,659},{3716,3716},{3737,659},{4076,659}
X(661){2,4077},{8,4761},{9,661},{33,661},{37,661},{210,661},{226,661},{312,661},{333,4369},{522,4804},{650,661},{1639,3943},{1826,661},{1903,661},{2250,661},{2321,661},{2341,661},{3700,3700},{4041,4770}
X(662){645,645},{662,4565},{4567,662},{4590,4625},{4612,662},{4620,662}
X(663){1,663},{21,514},{33,663},{55,663},{64,663},{103,663},{200,663},{220,663},{663,667},{963,663},{1043,663},{2192,663},{2328,663},{2332,663},{2342,663},{3900,3900},{4845,663}
X(664){99,664},{664,934},{668,668},{1016,664},{4555,664},{4567,101},{4589,664},{4600,664},{4607,664}
X(665){2,665},{9,900},{55,665},{241,665},{333,3766},{650,665},{672,665},{949,665},{1252,665},{2115,665},{2340,665},{3693,665}
X(666){645,765}
X(667){21,667},{25,667},{31,667},{41,667},{55,667},{56,667},{58,3669},{105,667},{663,663},{884,667},{904,667},{1036,667},{1261,667},{2053,667},{2194,667},{2204,667},{2208,667},{2218,667},{2328,4162},{3415,667},{3423,667}
X(668){8,291},{314,903},{668,664},{3699,3799}
X(669){55,669},{1402,669},{1918,669},{2175,669}
X(670){670,4625}
X(672){9,672},{101,1457},{190,672},{644,519},{645,350},{1025,672},{2284,672},{3693,3693},{3939,672}
X(673){333,100},{666,673},{673,1462}
X(674){8,674},{3939,674}
X(676){7,676},{8,4528},{281,676},{516,676},{522,676},{2723,676}
X(678){55,3248},{3689,678},{4152,4152}
X(679){4618,679}
X(680){8,680},{2289,680}
X(684){219,684},{3596,684}
X(686){219,686},{3700,686}
X(688){8,688},{2175,688},{3688,688}
X(689){21,719}
X(690){8,690},{3700,690},{3712,690},{4062,690}
X(692){59,692},{284,1438},{1110,692},{2328,2342},{2742,692},{3939,3939},{4570,651}
X(693){75,693},{264,693},{309,693},{312,693},{314,693},{333,650},{522,1491},{693,3676},{3596,693},{4391,4791}
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}
X(719){21,689}
X(720){8,720}
X(722){8,722}
X(724){8,724}
X(726){8,726},{726,1463}
X(727){21,932}
X(728){644,40},{728,220}
X(730){8,730}
X(731){21,789}
X(732){8,732}
X(734){8,734}
X(736){8,736}
X(738){279,279},{658,738},{934,738},{1414,4350},{4617,738},{4635,738},{4637,738}
X(740){8,740},{643,3724},{740,1284},{3685,740}
X(741){21,99},{805,741}
X(742){8,742}
X(744){8,744}
X(746){8,746}
X(748){4387,4387}
X(750){9,4414},{643,2177}
X(752){8,752}
X(754){8,754}
X(756){8,4714},{210,756},{756,181},{3699,1215},{4069,756}
X(757){261,261},{4612,757}
X(758){8,758},{643,758},{644,3930},{758,1464},{3699,3992},{3952,758},{4511,758}
X(759){21,110},{476,759}
X(760){8,760}
X(761){21,825}
X(764){11,764},{105,764},{244,764},{1320,764},{1358,764},{1411,764},{2170,764},{2446,764},{2447,764},{2969,764},{4518,764}
X(765){643,901},{645,666},{765,59},{4076,4076}
X(766){8,766}
X(768){8,768}
X(770){9,770}
X(772){8,772}
X(774){643,774},{2765,774}
X(776){8,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},{41,788},{663,513},{869,788},{1469,788},{3786,788},{4517,788}
X(789){21,731}
X(790){8,790}
X(792){8,792}
X(794){8,794}
X(796){8,796}
X(798){6,4017},{9,798},{41,798},{213,798},{1334,798},{1400,798},{2212,798},{2279,798},{2311,798},{2333,798},{3063,798},{3709,3709}
X(799){799,4573},{4601,799},{4631,799}
X(802){8,802},{2998,802}
X(804){8,804},{740,804},{3685,4155},{3907,804},{4039,804},{4095,804}
X(806){8,806}
X(808){8,808}
X(810){33,810},{41,810},{42,810},{55,4041},{73,810},{78,810},{212,810},{228,810},{1808,810},{1946,810},{2318,810}
X(812){8,812},{239,812},{330,812},{333,1635},{3685,812},{3716,4800},{3975,812},{4560,812}
X(813){644,1016}
X(814){8,814},{4362,814}
X(816){8,816}
X(818){8,818}
X(822){9,822},{71,822},{212,822},{2289,822},{3719,822},{3990,822}
X(824){8,824},{3661,824},{3790,824},{4391,3261},{4522,4951}
X(825){21,761}
X(826){8,826},{3703,826}
X(830){8,830},{3920,830}
X(832){8,832},{66,832},{976,832}
X(834){8,834},{284,834},{386,834},{994,834},{1126,834},{3737,4778},{3876,834}
X(838){8,838},{2194,838}
X(840){21,1308}
X(846){643,846}
X(849){60,60},{4636,849}
X(850){312,3700},{313,850},{314,4467},{850,4077},{3596,850},{4086,4122}
X(851){9,851},{1936,851},{4551,851}
X(852){219,852}
X(853){220,853}
X(854){6,854}
X(855){1,855}
X(856){78,856}
X(857){312,857},{333,1375}
X(858){3596,858}
X(859){21,859},{110,859},{4246,859}
X(860){29,1884},{318,860},{860,1835},{4242,1464}
X(861){200,861}
X(862){33,862}
X(863){41,863}
X(864){2175,864}
X(865){3709,865}
X(866){650,866}
X(867){522,867}
X(868){3700,868}
X(869){55,1},{3699,869},{4517,4517}
X(870){789,870}
X(872){4069,872},{4557,2171}
X(873){873,552},{4623,873},{4631,873}
X(874){3685,1}
X(875){663,1},{1911,875},{1967,875}
X(876){291,876},{522,75},{1581,876},{4518,876},{4876,876}
X(883){668,883},{1016,883}
X(884){105,884},{2195,884}
X(885){885,1027},{2481,885}
X(887){55,887}
X(888){8,888},{3709,888}
X(890){55,890},{3063,890},{4076,890}
X(891){8,891},{650,891},{899,891},{4009,891}
X(894){190,894},{645,37}
X(896){9,896},{643,896},{3712,3712}
X(898){21,2382}
X(899){9,899},{3699,899},{4009,4009}
X(900){8,900},{9,665},{314,3766},{519,900},{522,900},{596,900},{2325,900},{2757,900},{4076,900},{4723,900},{4768,4768}
X(901){21,2718},{643,765},{1320,1168}
X(902){55,902},{643,238},{3689,3689},{3939,902}
X(903){314,668},{4555,903},{4582,903}
X(905){2,905},{21,905},{63,905},{78,905},{280,905},{283,1946},{333,4391},{345,905},{348,905},{1791,905},{1812,905},{2339,905},{2417,905},{4560,3669}
X(906){1252,906},{4587,4587}
X(908){190,908},{312,908},{333,3911},{908,1465},{2397,908},{3699,3717}
X(909){284,1415}
X(910){9,910},{651,910}
X(911){284,1461},{2338,2338}
X(912){8,912},{4571,912}
X(914){312,914}
X(916){8,916},{4587,916}
X(918){8,918},{76,918},{333,4453},{1016,918},{3717,918},{3912,918},{4391,918}
X(919){21,2725}
X(920){643,920}
X(922){41,922}
X(924){8,924}
X(926){8,926},{55,3310},{200,1639},{220,926},{518,926},{2328,654},{2340,926},{3900,926}
X(927){99,4564}
X(928){8,928},{1252,928}
X(932){21,727}
X(934){21,103},{664,664},{927,934},{1414,934},{4564,934}
X(936){936,1466},{3699,936}
X(938){8,4882},{938,1467},{3699,938}
X(940){100,940},{645,940}
X(942){21,2646},{100,942}
X(944){1897,944}
X(946){21,73},{1897,946}
X(948){2,1},{666,948},{1897,948},{4554,948}
X(950){950,1104},{1897,950}
X(951){1257,1257}
X(952){8,952}
X(953){21,2222}
X(954){644,954}
X(956){644,956}
X(958){21,1191},{643,4189},{644,958},{958,1468}
X(959){931,959}
X(960){21,1104},{644,960},{960,1193},{1043,3702},{3699,4696}
X(961){1220,1220},{2363,961}
X(962){664,962}
X(965){645,965}
X(966){645,966}
X(968){643,968}
X(971){8,971},{21,1456}
X(975){3699,975}
X(976){643,986},{3699,976}
X(977){833,977}
X(978){3699,978}
X(980){100,980}
X(982){8,4737},{100,982},{314,4485},{643,3938},{3056,3116},{3705,3705},{3794,982},{3888,982}
X(984){8,75},{643,4414},{644,984},{984,1469},{3786,984},{3790,3790},{3799,984}
X(985){1492,985}
X(986){8,4385},{100,986},{643,976}
X(988){100,988}
X(990){21,77},{664,990}
X(991){21,7},{664,991},{677,991}
X(992){645,992}
X(993){21,31},{643,993},{644,4390},{835,993}
X(995){21,2},{100,3476},{110,995},{3699,995},{3877,3877}
X(997){21,614},{997,1470},{3699,997}
X(999){21,55},{100,999},{643,3241},{3872,3872}
X(1001){21,6},{99,1001},{644,1001},{1001,1471},{3886,3886}
X(1007){645,1007}
X(1011){3939,1011}
X(1012){21,222}
X(1014){86,86},{99,1014},{261,1444},{662,1014},{757,1014},{1414,1014},{4556,1333},{4584,1014},{4596,1014},{4614,1014},{4616,1014},{4622,1014},{4623,1014}
X(1015){9,4370},{649,1015},{650,1015},{663,1015},{884,1015},{919,1015},{1019,1358},{1021,4534},{2170,2170},{2423,1015},{3669,1015},{4560,1015}
X(1016){644,813},{645,3257},{1016,4564}
X(1017){41,1977}
X(1018){644,1018},{1018,4559}
X(1019){21,1019},{27,1019},{81,1019},{270,1019},{333,1019},{1434,1019},{2185,1019},{2363,1019},{3737,4833},{4560,4560}
X(1020){651,1020},{655,1020},{4552,4552},{4564,1020}
X(1021){333,1021},{2287,1021},{2322,1021}
X(1022){88,1022},{1320,1022},{4560,2}
X(1023){644,1023}
X(1024){294,1024},{673,1024},{1021,55}
X(1025){190,1025},{765,1025}
X(1026){1026,2283},{3699,1026}
X(1027){105,1027},{294,1027},{885,885},{3737,6}
X(1030){9,1781}
X(1034){1034,3345}
X(1035){108,1035},{1490,1490}
X(1036){1036,1472},{1310,1036}
X(1038){100,1038},{1010,4320},{4561,1038}
X(1040){100,1040},{1040,1473}
X(1042){1,73},{21,4297},{56,1042},{65,65},{100,4848},{108,225},{109,1042},{664,1042},{1381,65},{1382,65},{1411,1042},{1945,1042},{4551,1042},{4559,1042}
X(1043){643,4225},{1043,21}
X(1044){664,1044}
X(1046){8,1330},{643,1046}
X(1054){660,1054}
X(1055){55,1055},{101,1055},{4619,1055}
X(1056){1897,1056}
X(1058){1897,1058}
X(1060){78,394},{100,1060}
X(1062){100,1062}
X(1064){21,226},{1897,1064}
X(1066){100,1210},{1897,1066}
X(1068){1897,1068},{3559,1068}
X(1070){1897,1070}
X(1071){4571,1071}
X(1072){1897,1072}
X(1079){453,1079},{1897,1079}
X(1082){100,1082}
X(1083){644,1083}
X(1084){3709,1084}
X(1086){514,1086},{522,1086},{645,4422},{655,1086},{666,1086},{885,1086},{929,1086},{1086,3020},{2401,1086},{3737,3271},{4391,1086},{4560,1086},{4581,1086},{4582,1086},{4858,4858}
X(1088){1088,479},{4554,1088},{4569,1088},{4572,1088},{4573,57},{4625,1088}
X(1089){8,4642},{1089,12},{3699,3678},{3701,1089},{3952,201}
X(1096){33,3195},{1857,1857}
X(1098){1098,60}
X(1099){1099,1354}
X(1100){284,2300},{644,1100},{3686,3686},{4612,1100}
X(1103){100,1490},{3699,1103}
X(1104){21,960},{108,1104},{644,1104},{950,950}
X(1106){56,56},{58,603},{109,1106},{110,1420},{1408,1106},{1414,1106},{1415,1106},{1416,1106},{1417,1106}
X(1107){644,1107}
X(1108){644,1108}
X(1109){8,4736},{522,2611},{1109,1365},{4036,1109},{4086,1109}
X(1111){8,4712},{11,4475},{314,1227},{693,1111},{1111,1358},{4391,1111},{4560,2170},{4858,4957}
X(1116){3700,1116}
X(1118){4,208},{107,1118},{158,158},{162,24},{1896,4},{2586,4},{2587,4}
X(1119){273,273},{286,7},{651,579},{653,1119}
X(1122){86,1441},{668,1122},{934,1122},{3663,3663},{4622,1122}
X(1124){644,1124}
X(1125){8,3626},{21,1193},{643,3746},{835,1125},{3699,1125},{3702,3702},{4427,1125}
X(1145){8,11},{4723,1145}
X(1146){1146,2170},{3239,1146},{4163,1146},{4391,1146}
X(1147){4575,56}
X(1149){1,1149},{21,519},{1293,1149},{3699,1149},{3880,3880}
X(1150){333,6},{645,1150}
X(1154){8,1154}
X(1155){9,1155},{100,1155},{643,3935}
X(1159){100,1159}
X(1168){1320,901}
X(1171){4629,1171}
X(1172){648,1172},{1172,1474},{2322,2322},{2326,1172}
X(1184){645,1184}
X(1185){645,1185}
X(1189){3699,1189}
X(1190){651,1190},{662,3599}
X(1191){21,958},{109,1191},{644,1191},{1697,1697}
X(1193){21,1125},{101,1193},{960,960},{3699,1193},{4267,1193},{4636,1193}
X(1197){4631,1197}
X(1198){3699,1198}
X(1200){658,1200}
X(1201){21,10},{109,1201},{3057,3057},{3699,1201}
X(1202){658,1202},{3939,1202}
X(1203){644,1203},{4636,1203}
X(1206){3939,1206},{4631,1206}
X(1210){100,1066},{3699,1210}
X(1211){312,1230},{645,1211},{3687,1211},{3952,1211}
X(1212){644,1212},{1212,1475},{4554,1212}
X(1213){8,4733},{9,2092},{645,1213},{3686,1213},{4115,1213}
X(1214){2,1427},{63,1214},{100,1214},{190,321},{306,306},{345,3998},{1331,228},{1332,1214},{3952,3967},{4552,1214}
X(1215){3699,756},{3952,1215}
X(1220){1220,961}
X(1222){1222,1476}
X(1227){314,1111}
X(1229){646,1229},{1229,142}
X(1230){312,1211}
X(1231){76,1446},{99,4296},{304,1231},{668,1231},{4561,72}
X(1233){1978,1233}
X(1245){1036,1245}
X(1249){648,347},{653,1249},{1249,3213}
X(1250){3939,1250}
X(1252){1252,2149}
X(1253){480,480},{692,2199},{1253,2175},{3939,1253}
X(1254){10,201},{12,12},{65,1254},{2222,1254},{4551,1254}
X(1255){4102,4102}
X(1257){1257,951}
X(1259){643,20},{1259,255},{1792,3},{4571,1259}
X(1260){1260,212},{3939,197},{4571,1260},{4578,1260}
X(1262){4564,4564},{4619,1262}
X(1264){1264,326}
X(1265){1265,78},{3699,3436}
X(1266){75,1266},{314,3264}
X(1267){646,1267}
X(1269){314,4357},{646,4431},{3702,3775}
X(1270){645,1270}
X(1271){645,1271}
X(1273){3596,1273}
X(1275){4620,1275}
X(1278){646,1278}
X(1279){1,1279},{21,518},{644,1279},{1292,1279}
X(1280){1280,1477}
X(1281){874,1281}
X(1282){8,150},{660,1282}
X(1284){1,1284},{21,511},{99,1284},{238,1284},{740,740},{874,1284},{1018,1284},{3573,1284},{3903,1284},{4613,1284}
X(1292){21,1477}
X(1308){21,840}
X(1317){1,1357},{519,1317},{4555,1317},{4738,4738}
X(1318){4618,1318}
X(1319){1,1319},{21,517},{99,1447},{100,1319},{519,519},{1023,1319},{4597,1319},{4618,1319}
X(1320){1043,3699},{1320,106},{4555,1320}
X(1323){2,1323},{664,1323}
X(1330){8,1046}
X(1331){78,1807},{643,109},{765,1331},{1792,1809},{1812,1814},{4571,4571}
X(1332){219,2196},{645,651},{1016,1332},{1332,1813},{1812,1797}
X(1333){112,1333},{163,1333},{284,284},{2150,1333},{4556,1014},{4565,1333},{4612,1333}
X(1334){220,1334},{644,10},{1018,1334},{1334,213},{2287,3707},{4515,4515}
X(1335){644,1335}
X(1354){1,3024},{30,1354},{476,1354},{1099,1099},{3233,1354},{4240,1354}
X(1355){1,3023},{511,1355},{805,1355},{877,1355}
X(1356){1,3027},{512,1356},{669,1356},{805,1356},{875,1356},{881,1356},{886,1356}
X(1357){1,1317},{244,244},{513,1357},{649,1357},{660,1357},{889,1357},{901,1357},{3572,1357},{3733,1357},{3737,3756},{4581,1357}
X(1358){1,1362},{514,1358},{693,1358},{927,1358},{1019,1015},{1111,1111},{3676,1358},{4444,1358},{4555,1358},{4560,4904},{4583,1358},{4608,1358},{4817,1358}
X(1359){1,1364},{515,1359},{1309,1359}
X(1360){1,3022},{516,1360},{927,1360},{3234,1360}
X(1361){1,11},{517,1361},{901,1361}
X(1362){1,1358},{518,1362},{660,1362},{677,1362},{883,1362},{2284,1362},{4712,4712}
X(1363){1,3324},{520,1363}
X(1364){1,1359},{521,1364},{677,1364},{4131,1364}
X(1365){1,3028},{476,1365},{523,1365},{661,3124},{685,1365},{850,1365},{892,1365},{1109,1109},{2395,1365},{2501,1365},{3120,1365},{4024,1365},{4036,1365},{4581,1365},{4608,1365}
X(1366){1,3325},{524,1366},{892,1366}
X(1367){1,3320},{525,1367},{850,1367},{2867,1367},{3265,1367}
X(1371){664,1371}
X(1372){664,1372}
X(1373){664,1373}
X(1374){664,1374}
X(1375){2,1375},{333,857}
X(1376){100,222}
X(1381){21,1382},{100,1381}
X(1382){21,1381},{100,1382}
X(1385){21,65},{100,1385},{643,4861}
X(1386){21,37},{644,1386},{1310,1386},{3883,3883}
X(1388){1,1420},{21,1482},{100,1388},{3632,3632}
X(1393){5,5},{100,3874},{110,2964},{162,1393},{1625,2179},{1956,1393},{2166,1393},{2222,1393},{2617,1393}
X(1394){20,20},{21,84},{110,255},{162,1394},{934,1394}
X(1395){25,25},{110,1707},{162,1395},{2203,1395},{2299,31}
X(1396){27,27},{162,1396},{648,1396}
X(1397){31,31},{110,1397},{685,1397},{692,1397},{1177,1397},{1492,1397},{1576,1397},{1976,1397},{2194,184},{2206,1397},{4575,3167},{4577,1397},{4630,1397}
X(1398){28,56},{34,34},{108,1398}
X(1399){35,35},{80,3585},{109,1399},{110,65}
X(1400){6,1400},{9,71},{37,37},{81,4031},{101,1400},{190,1400},{284,2317},{292,1400},{644,3950},{651,3668},{692,1918},{1018,1400},{1020,1400},{1783,1826},{1903,2358},{2161,1400},{2250,1400},{3939,4878},{4557,1400},{4559,1400},{4584,1400},{4628,1400},{4629,1400}
X(1401){38,38},{67,1401},{110,1401},{660,1401},{670,1401},{694,1401},{1634,1401},{4553,1401},{4576,1401}
X(1402){31,1402},{42,42},{55,228},{100,1402},{109,1427},{643,1999},{692,1402},{1911,1402},{3939,4849},{4557,1402},{4613,1402}
X(1403){43,43},{100,1403}
X(1404){6,1404},{44,44},{101,1404},{284,2183},{662,1429},{1023,1404},{2429,1404},{3285,1404},{4604,1404},{4638,1404}
X(1405){6,56},{45,45},{101,1405},{3257,1405},{4273,1405},{4752,1405}
X(1406){46,46},{109,1406},{3193,3157}
X(1407){57,57},{81,222},{109,1407},{110,1617},{651,1407},{1412,1407},{1461,1407},{1462,1407},{1813,3173},{4565,1407},{4573,1407},{4617,1407},{4637,479}
X(1408){58,58},{60,1437},{110,1408},{163,1408},{849,1408}
X(1409){48,1409},{71,71},{101,37},{219,3990},{284,2262},{692,1409},{906,1409},{1332,1409},{1783,1409},{1813,1439},{2196,1409},{4559,1409},{4574,1409}
X(1410){73,73},{108,1410},{109,65},{603,1410},{1415,1410},{1949,1410}
X(1411){1,109},{80,80},{759,1411},{1168,1411},{2222,1411}
X(1412){21,4221},{81,81},{110,1412},{593,1412},{662,1412},{2185,1790},{4556,1412},{4565,1412},{4591,1412},{4610,1412},{4627,1412},{4629,1412},{4637,1412}
X(1413){84,84},{285,1433},{1433,603}
X(1414){99,99},{249,163},{4567,1414},{4600,1414},{4622,1414}
X(1415){58,1416},{101,101},{163,1415},{284,909},{919,1415},{1110,1415},{1252,1415},{1262,1415},{2149,1415},{4567,1415}
X(1416){58,1415},{105,105},{919,1416}
X(1417){58,109},{106,106},{901,1417},{4622,1417}
X(1418){142,142},{651,1418},{1292,1418}
X(1419){144,144},{651,1419},{662,9}
X(1420){1,1388},{21,40},{100,1420},{110,1106},{145,145}
X(1421){149,149},{1290,1421}
X(1422){189,189}
X(1423){190,1423},{192,192},{932,1423},{3903,1423},{4595,1423}
X(1424){194,194},{799,1424},{932,1424}
X(1425){73,1425},{201,201},{4551,12},{4559,1425}
X(1426){4,65},{34,1426},{108,1426},{225,225},{4559,2198}
X(1427){2,1214},{57,1427},{108,1427},{109,1402},{226,226},{651,1427},{1020,1427},{1937,1427},{2006,1427},{4551,1427},{4552,1427},{4554,1427}
X(1428){1,4318},{58,1428},{101,1428},{238,238},{1492,1428},{3573,1428}
X(1429){81,1429},{100,1429},{239,239},{662,1404},{3570,1429},{3573,1429},{4586,1429},{4603,1429},{4610,1429},{4621,1429}
X(1430){108,1430},{243,243},{1172,1430}
X(1431){256,256},{1178,1431},{3903,1431},{4594,1431}
X(1432){257,257},{3903,1432},{4603,1432}
X(1433){271,271},{285,1413}
X(1434){99,1434},{274,274},{799,1434},{1509,1434},{4573,1434},{4589,1434},{4610,1434},{4615,1434},{4632,1434},{4633,1434},{4635,1434}
X(1435){27,57},{108,1435},{109,2352},{278,278},{651,1708},{653,1435},{1396,1435}
X(1436){268,48},{282,282}
X(1437){60,1408},{110,1437},{283,283},{4575,1437},{4636,21}
X(1438){284,692},{294,294},{919,1438}
X(1439){77,1439},{307,307},{651,1439},{664,1441},{1813,1409},{4566,1439}
X(1440){309,309}
X(1441){75,1441},{86,1122},{99,1442},{190,37},{313,313},{334,1441},{664,1439},{668,1441},{839,1441},{1441,3668},{4033,1441}
X(1442){99,1441},{319,319},{664,1442},{4596,1442}
X(1443){86,1443},{320,320},{662,241},{664,1443},{4453,3676},{4585,1443},{4604,1443},{4618,1443}
X(1444){99,1444},{261,1014},{332,332},{4592,1444},{4612,1444}
X(1445){190,1445},{344,344},{662,269}
X(1446){76,1231},{85,1446},{349,349},{664,65},{4554,1446}
X(1447){86,1447},{99,1319},{190,1447},{350,350},{789,1447},{874,1447},{3253,1447},{3570,1447},{4594,1447},{4623,1447}
X(1448){162,1448},{377,377},{664,1448}
X(1449){391,391},{644,1449},{662,1449}
X(1450){100,4315},{101,1450},{392,392}
X(1451){1,4332},{101,1451},{162,1451},{405,405}
X(1452){162,1452},{406,406}
X(1453){162,1453},{452,452},{644,1453}
X(1454){100,1454},{498,498}
X(1455){1,1455},{108,1455},{515,515}
X(1456){1,1456},{21,971},{99,3685},{100,3689},{110,2361},{516,516},{934,1456},{1783,1456},{2398,1456}
X(1457){1,1457},{21,515},{99,350},{100,519},{101,672},{109,1457},{110,36},{517,517},{859,1457},{1381,2447},{1382,2446},{1897,1457},{2427,1457},{4246,1785}
X(1458){1,1458},{21,516},{100,3911},{101,1458},{518,518},{664,1458},{1026,1458},{2283,1458},{2284,1458},{3286,1458},{4238,1861}
X(1459){1,1459},{3,1459},{21,522},{29,1459},{77,1459},{78,1459},{102,1459},{219,1459},{282,1459},{283,1459},{284,1459},{296,1459},{332,1459},{521,521},{945,1459},{947,1459},{949,1459},{951,1459},{1036,1459},{1037,1459},{1057,1459},{1059,1459},{1065,1459},{1067,1459},{1069,1459},{1433,1459},{1794,1459},{1795,1459},{1807,1459},{2066,1459},{2338,1459},{2359,1459},{2656,1459},{3345,1459},{3362,1459},{3422,1459},{3466,1459},{3469,1459},{3477,1459},{3478,1459}
X(1460){100,1460},{612,612}
X(1461){59,1461},{284,911},{651,651},{662,1813},{1262,1461},{4564,1461},{4565,1461},{4620,1461}
X(1462){81,109},{666,1462},{673,673}
X(1463){1,1463},{668,1463},{726,726},{932,1463}
X(1464){1,1464},{21,30},{36,1464},{110,1464},{758,758},{2608,1464},{4242,860},{4551,1464}
X(1465){2,1465},{100,518},{190,4358},{651,1465},{662,3218},{799,1921},{908,908},{2397,1465},{4246,1465}
X(1466){100,1466},{936,936}
X(1467){1,3303},{100,1467},{938,938}
X(1468){101,1468},{643,1468},{958,958}
X(1469){1,7},{101,1469},{660,1469},{668,1469},{984,984},{3736,1469},{3786,3781},{3799,1469},{3903,1469}
X(1470){100,1470},{997,997}
X(1471){58,604},{101,1471},{1001,1001},{1414,1471}
X(1472){1036,1036}
X(1473){109,1473},{1040,1040},{1633,1473},{4571,1473}
X(1474){112,1474},{1172,1172},{2189,1474},{2326,284}
X(1475){101,1475},{644,3244},{658,1475},{1212,1212}
X(1476){1222,1222}
X(1477){21,1292},{1280,1280}
X(1478){8,63},{1897,1478}
X(1479){1897,1479}
X(1482){21,1388},{100,1482}
X(1486){1292,1486}
X(1490){100,1103},{1490,1035},{1897,1490}
X(1491){9,1491},{522,693},{984,1491},{3596,1491},{3786,1491},{3790,1491},{4451,1491},{4518,1491},{4522,4522}
X(1495){55,1495}
X(1496){643,1496}
X(1497){643,1497}
X(1499){8,1499}
X(1500){644,2295},{1018,12},{1334,1500}
X(1503){8,1503}
X(1509){4610,1509},{4631,1509}
X(1510){8,1510}
X(1519){1897,1519}
X(1528){1897,1528}
X(1541){1897,1541}
X(1543){1897,1543}
X(1558){1897,1558}
X(1562){3700,1562}
X(1565){693,1565},{4025,1565},{4560,1565}
X(1566){918,1566}
X(1575){9,1575},{646,1575}
X(1576){1101,4565}
X(1577){8,4041},{312,1577},{318,1577},{321,1577},{349,1577},{3701,1577},{4391,1577}
X(1580){643,1580},{3573,1580}
X(1611){645,1611}
X(1612){643,1612}
X(1613){645,1613},{803,1613}
X(1615){651,1615}
X(1616){644,1616},{1293,1616},{2136,2136}
X(1617){21,3428},{100,1617},{110,1407},{3870,3870}
X(1621){643,1621},{3996,3996}
X(1622){100,1622}
X(1631){831,1631},{4149,4149}
X(1633){2737,1633},{4076,1633}
X(1635){9,1635},{44,1635},{333,812},{650,1635},{1639,1639},{2325,1635},{3689,1635},{3911,1635}
X(1636){219,1636}
X(1637){281,1637},{3700,1637}
X(1638){2,1638},{522,1638},{527,1638},{1275,1638}
X(1639){9,3310},{200,926},{346,1639},{1639,1635},{2287,654},{2325,1639},{3239,1639},{4358,1639}
X(1640){3700,1640}
X(1641){645,1641},{3712,1641}
X(1642){644,1642},{3693,1642}
X(1643){88,1643},{294,1643},{650,1643},{2246,1643}
X(1644){2325,1644},{3699,1644}
X(1645){3709,1645}
X(1646){646,1646},{650,1646},{3271,1646},{3768,1646},{4526,1646}
X(1647){11,1647},{522,1647},{900,1647},{1639,1647},{3699,1647},{4768,1647}
X(1648){645,1648},{3700,1648},{4092,1648}
X(1649){3712,1649}
X(1652){190,1652}
X(1653){190,1653}
X(1654){645,1654}
X(1659){1897,1659}
X(1692){607,1692}
X(1697){100,1697},{1697,1191}
X(1698){8,3617},{3699,1698},{4756,1698}
X(1699){1897,1699}
X(1706){8,2551}
X(1707){110,1395},{643,1707}
X(1708){190,1708},{651,1435}
X(1713){644,1713}
X(1714){3699,1714}
X(1715){100,1715}
X(1721){664,1721}
X(1722){2899,2899},{3699,1722}
X(1723){644,1723}
X(1724){644,1724}
X(1725){318,1725},{643,1725}
X(1726){655,1726}
X(1728){644,1728}
X(1730){333,1764},{651,1730}
X(1731){2322,1731}
X(1733){318,1733}
X(1734){8,4391},{318,1734},{3681,1734}
X(1735){100,1735},{318,1735}
X(1736){318,1736},{644,1736}
X(1737){318,1737},{3699,1737}
X(1738){8,3717},{318,1738}
X(1739){8,4723},{318,1739}
X(1741){190,1741}
X(1742){21,4334},{664,1742}
X(1743){644,1743},{645,3759},{2287,2324},{3161,3161},{3939,3941}
X(1745){1816,1745},{1897,1745}
X(1749){643,1749}
X(1750){1897,1750}
X(1754){100,1754},{643,3190}
X(1755){9,1755}
X(1756){21,1756},{3903,1756}
X(1757){8,4645},{644,1757}
X(1758){100,1758},{2651,1758}
X(1760){645,3718}
X(1761){9,2305}
X(1763){651,1763}
X(1764){100,1764},{333,1730}
X(1766){9,2178},{644,3692},{1766,478}
X(1767){653,1767}
X(1768){8,153}
X(1769){1,1769},{8,4768},{21,3738},{318,1769},{517,1769},{522,1769},{1785,1769},{2716,1769},{2804,2804}
X(1770){664,1770}
X(1771){100,1771}
X(1772){318,1772}
X(1776){2322,1776}
X(1780){643,1780}
X(1781){9,1030}
X(1784){29,1835},{318,1784}
X(1785){29,1877},{318,1785},{1785,1875},{1897,1785},{4246,1457}
X(1786){662,1786}
X(1787){3257,1787}
X(1788){100,4306}
X(1790){662,1790},{1812,1812},{2185,1412},{4558,1790},{4612,333},{4636,1790}
X(1792){1792,283}
X(1795){1809,1809}
X(1797){1812,1332},{3257,1797}
X(1802){4587,1802}
X(1804){99,1804},{326,326},{4558,1804},{4592,69}
X(1807){78,1331},{1793,1807}
X(1809){1792,1331},{1809,1795}
X(1812){645,1812},{1812,1790},{4563,1812},{4612,1817}
X(1813){662,1461},{1332,1332},{4558,1813},{4564,1813},{4567,190},{4570,1813}
X(1814){666,1814},{1812,1331}
X(1817){333,27},{662,1817},{4612,1812}
X(1818){78,1818},{1026,1818},{4561,1818},{4571,3977},{4587,1818}
X(1819){1792,21}
X(1822){643,1822}
X(1823){643,1823}
X(1824){33,1824}
X(1826){29,1890},{281,1826},{1783,1400},{1826,1880}
X(1828){108,1828}
X(1829){1783,1829}
X(1834){8,3704},{950,1834}
X(1835){4,1835},{29,1784},{162,1835},{860,860},{1870,1835},{4242,1835}
X(1836){4569,1836}
X(1837){1837,3924}
X(1838){1897,1838}
X(1839){1172,2354}
X(1841){1783,1841}
X(1845){4242,1845}
X(1846){4,2969},{1309,1846},{1785,1846}
X(1847){331,331},{664,3868}
X(1848){1897,1848}
X(1854){1,208},{2765,1854}
X(1856){4183,42}
X(1857){1857,1096},{4183,3192}
X(1861){318,1861},{1861,1876},{4238,1458}
X(1864){4578,1864}
X(1866){162,1866}
X(1870){29,1870},{162,1875},{1897,1870},{4242,1870}
X(1874){4,1874},{29,240},{242,1874},{811,1874}
X(1875){4,1875},{108,1875},{162,1870},{1785,1785},{4246,1875}
X(1876){1,3827},{4,1876},{1783,1876},{1861,1861},{4238,1876}
X(1877){1,2390},{4,1877},{29,1785},{1897,1877}
X(1878){4,1878}
X(1880){4,1893},{19,1880},{281,37},{1783,1880},{1826,1826}
X(1884){4,1884},{29,860}
X(1886){281,1886},{653,1886}
X(1890){29,1826}
X(1891){1897,1891}
X(1892){4,608}
X(1893){4,1880}
X(1897){1897,108}
X(1901){4552,1901}
X(1903){282,1903}
X(1909){668,1909}
X(1911){55,100}
X(1912){8,1912},{663,514}
X(1914){284,1914},{3684,3684},{3939,1914},{4612,1914}
X(1918){692,1400},{2175,1918},{3939,1918}
X(1919){32,1919},{41,1919},{284,1919},{604,1919},{1438,1919},{1973,1919},{2175,1919},{2344,1919},{3063,3063}
X(1920){1978,1920}
X(1921){799,1465},{3975,3797},{4631,3218}
X(1922){41,101}
X(1923){643,1923}
X(1924){41,1924},{2205,1924}
X(1930){1930,3665}
X(1931){643,1931}
X(1935){21,3073},{932,1935}
X(1936){100,1936},{2287,1936}
X(1938){8,1938}
X(1943){4598,1943}
X(1944){190,1944},{1043,1944}
X(1945){2249,1945}
X(1946){3,1946},{55,1946},{212,1946},{283,905},{939,1946},{943,1946},{972,1946},{1260,1946},{1792,1946},{1802,1946},{2188,1946},{2328,3900},{4183,1946}
X(1951){101,1951},{2328,1951}
X(1954){643,1954}
X(1958){662,2199}
X(1959){312,1959},{643,1959}
X(1960){21,659},{55,1960},{663,1960},{840,1960},{902,1960},{1318,1960},{1319,1960},{2320,1960},{3478,1960},{3689,1960},{4895,4895}
X(1961){3699,1961}
X(1962){55,3725},{643,1962},{3683,1962},{4046,4046},{4069,1962}
X(1963){645,1963}
X(1964){3688,3688}
X(1966){874,1966}
X(1969){1969,331}
X(1973){112,34},{607,607},{2204,1973},{2332,41}
X(1974){2212,2212}
X(1975){99,221}
X(1977){41,1017},{1919,1977},{2185,4366},{3063,1977}
X(1978){312,335},{646,3807},{1978,4554}
X(1980){560,1980},{1397,1980},{1974,1980},{2175,1980},{2194,1980}
X(1983){1252,1983},{2323,6}
X(1990){281,1990}
X(1991){645,1991}
X(1992){645,1992}
X(1993){645,1993},{662,278}
X(1994){645,1994}
X(1996){4554,1996}
X(1997){646,1997}
X(1998){3699,1998}
X(1999){312,2064},{643,1402},{645,4641},{3699,1999}
X(2000){3699,2000}
X(2002){190,2002}
X(2003){651,2003},{662,226},{3219,3219},{4629,2003}
X(2006){2,651},{655,2006}
X(2052){823,278}
X(2053){932,2053}
X(2057){3699,2057}
X(2061){100,2061}
X(2063){645,2063}
X(2064){312,1999},{1978,2064}
X(2066){3939,2066}
X(2067){101,2067},{1805,2067}
X(2077){100,2077}
X(2078){100,2078},{2346,2078},{3935,3935}
X(2081){3700,2081}
X(2082){658,2082},{1783,2082},{3732,2082}
X(2084){41,2084},{312,2084}
X(2086){645,2086},{3287,2086},{3709,2086}
X(2087){644,2087},{650,2087},{1635,2087},{1639,2087},{2170,2087},{4530,4530},{4895,2087}
X(2088){2610,2088},{3700,2088}
X(2092){9,1213},{2269,2092},{4557,2092}
X(2093){8,329},{100,2093}
X(2094){190,2094}
X(2095){100,2095}
X(2097){651,2097},{2728,2097}
X(2098){100,2098}
X(2099){1,57},{100,2099},{3679,3679},{4555,2099},{4653,2099},{4720,3940},{4752,2099},{4767,2099},{4792,2099}
X(2106){645,2106}
X(2124){658,2124}
X(2136){2136,1616}
X(2149){1252,1252},{4619,2149}
X(2150){4556,2150}
X(2161){9,101},{655,2161},{2341,2161}
X(2162){2319,2319}
X(2163){2320,2320},{2364,6},{4588,2163}
X(2170){514,2170},{650,2170},{1021,2170},{1146,1146},{2170,1015},{2341,2265},{3064,2170},{3239,2170},{3900,2170},{4560,1111}
X(2171){37,2171},{190,4032},{594,594},{1018,2171},{2321,3949},{4033,2171},{4103,2171},{4557,872},{4562,2171},{4605,2171}
X(2173){9,2173}
X(2174){101,2174}
X(2175){692,2175},{1253,1253},{2175,560}
X(2176){644,2176},{813,2176},{3208,3208}
X(2177){55,6},{643,750},{3711,3711},{3939,2177}
X(2178){9,1766},{101,2178}
X(2179){1625,1393}
X(2182){9,2182},{1783,2182},{2406,2182}
X(2183){9,2183},{101,2183},{284,1404},{644,2325},{645,3975},{2427,2183},{3939,2340}
X(2185){2185,593},{4610,2185},{4612,2185}
X(2187){55,25},{692,2187}
X(2189){2326,2326}
X(2191){1292,2191}
X(2192){2192,2208},{2328,154}
X(2193){2327,2327},{4558,2193}
X(2194){110,2194},{2194,2206},{2328,2328},{4636,81}
X(2196){219,1332},{813,2196}
X(2197){71,2197},{1018,594},{3949,3949},{4557,2197},{4574,2197}
X(2198){644,2901},{1018,2198},{4559,1426}
X(2199){6,608},{163,48},{198,198},{662,1958},{692,1253},{1415,2199}
X(2200){906,73},{4587,2200}
X(2201){1172,2201}
X(2202){1783,2202},{1981,2202},{4183,2202}
X(2203){2299,2299}
X(2204){112,2204},{2332,2332}
X(2206){1576,2206},{2194,2194},{4636,2206}
X(2208){2188,184},{2192,2192}
X(2209){3939,2209}
X(2210){2194,2210},{4636,2210}
X(2211){607,2211}
X(2212){2212,1974}
X(2215){2335,2335}
X(2218){1305,2218}
X(2220){284,572}
X(2221){2339,2339}
X(2222){21,953},{100,59}
X(2223){55,2223},{100,2223},{643,239},{2283,2223},{2340,2340},{3939,44}
X(2225){9,2225}
X(2226){4638,2226}
X(2227){9,2227}
X(2228){9,2228}
X(2229){9,2229}
X(2230){9,2230}
X(2231){9,2231}
X(2232){9,2232}
X(2233){9,2233}
X(2234){9,2234}
X(2235){9,2235}
X(2236){9,2236}
X(2237){9,2237}
X(2238){9,2238},{645,2238},{3684,2238},{3985,3985},{4069,2238}
X(2239){9,2239}
X(2240){9,2240}
X(2242){4390,4390}
X(2243){9,2243},{4070,4070}
X(2244){9,2244},{4157,4157}
X(2245){9,2245},{644,3943},{645,3948},{1018,2245},{2323,2245}
X(2246){9,2246},{3257,2246}
X(2247){9,2247}
X(2250){9,4559}
X(2251){41,2251}
X(2252){9,2252},{4587,2252}
X(2253){9,2253}
X(2254){8,3762},{9,2254},{21,3960},{75,2254},{518,2254},{522,2254},{765,2254},{1861,2254},{2751,2254},{3693,2254},{3717,2254}
X(2256){644,2256}
X(2257){644,2257},{653,2257}
X(2260){101,2260},{653,2260}
X(2261){1783,2261}
X(2262){284,1409},{1783,2262}
X(2263){1,6},{664,2263},{1292,2263},{1783,2263},{2550,2550}
X(2264){1783,2264},{2287,3965},{4578,2264}
X(2265){9,2265},{2341,2170}
X(2266){3939,2266}
X(2267){3939,2267}
X(2268){3713,3713},{3939,2268}
X(2269){2269,2300},{2287,3686},{3882,2269},{3939,2269},{3965,3965}
X(2270){651,2270}
X(2272){9,2272},{653,2272}
X(2273){644,2273}
X(2274){101,2274}
X(2275){101,2275},{333,3765},{3056,4787},{3061,3061}
X(2276){9,2},{646,2276},{3786,3789},{3939,2276}
X(2277){9,2345},{101,2277},{646,2277}
X(2278){284,32}
X(2280){284,31},{662,2280},{3939,2280}
X(2283){100,2283},{643,2398},{1026,1026},{1252,2283}
X(2284){644,2284},{1016,2284}
X(2285){190,2285},{1783,2285},{2303,2285},{2345,2345}
X(2286){101,2286},{1332,2286}
X(2287){645,2287},{2287,284}
X(2288){284,65},{1783,2288}
X(2289){2289,577},{2327,48},{4587,2289}
X(2290){9,2290}
X(2292){8,4647},{643,2292},{960,2292},{1018,2292},{3704,3704}
X(2293){664,2293},{3059,3059},{3939,2293}
X(2294){1018,2294}
X(2295){644,1500},{1018,2295},{2329,2295},{4095,4095}
X(2299){162,2299},{1301,2299},{2299,2203},{4183,4183}
X(2300){284,1100},{644,2300},{692,2300},{2269,2269}
X(2303){645,2303}
X(2305){9,1761}
X(2307){101,2307}
X(2308){3683,3683},{3939,2308},{4636,2308}
X(2309){3939,2309}
X(2310){522,2310},{2310,3271},{3900,2310},{4081,4081},{4130,2310},{4163,2310}
X(2311){2287,645},{4584,2311}
X(2312){9,2312}
X(2313){9,2313}
X(2314){9,2314}
X(2315){9,2315}
X(2316){2287,644},{3257,2316}
X(2317){101,2317},{284,1400}
X(2318){200,42},{1260,2318},{2318,228},{4069,2318},{4571,306},{4578,4082}
X(2319){2319,2162},{4598,2319}
X(2320){2320,2163},{4597,2320}
X(2321){8,3755},{312,4054},{346,2321},{644,71},{646,313},{1043,3883},{2287,2347},{2321,37},{4033,2321}
X(2322){2322,1172}
X(2323){644,2323},{2287,2323},{4585,2323}
X(2324){346,281},{644,2324},{2287,1743},{2324,198}
X(2325){346,2325},{644,2183},{2325,44},{4578,2340}
X(2326){2326,2189}
X(2327){2327,2193}
X(2328){643,2328},{2328,2194}
X(2329){644,2329},{2329,172},{4621,2329}
X(2330){3939,2330},{4579,2330}
X(2331){281,393},{1783,2331},{2331,3209}
X(2332){2332,2204}
X(2333){607,2333},{1783,225}
X(2334){4866,4866}
X(2335){2335,2215}
X(2338){2287,651},{2338,911}
X(2339){2339,2221}
X(2340){200,2340},{1026,2340},{2340,2223},{3699,2340},{3939,2183},{4578,2325}
X(2342){2328,692}
X(2344){4586,2344}
X(2345){9,2277},{646,2345},{2345,2285}
X(2347){101,2347},{2287,2321}
X(2348){9,2348},{2287,3693},{4578,2348}
X(2352){100,2352},{109,1435},{643,3187},{3190,3190}
X(2354){1172,1839}
X(2356){33,2356},{1897,2356}
X(2357){2192,2357}
X(2358){1903,1400}
X(2360){21,28},{110,2360},{4636,283}
X(2361){110,1456},{2328,2361},{3939,2361}
X(2362){1783,2362}
X(2364){4604,2364}
X(2382){21,898}
X(2385){8,2385}
X(2386){8,2386}
X(2387){8,2387}
X(2388){8,2388}
X(2389){8,2389}
X(2390){1,1877},{8,2390},{109,2390}
X(2391){8,2391},{658,2391}
X(2392){8,2392},{4636,2392}
X(2393){8,2393}
X(2397){646,2397},{1016,2397}
X(2398){643,2283},{3699,2398}
X(2401){4560,57}
X(2406){190,2406}
X(2407){645,2407}
X(2421){645,2421}
X(2423){909,2423},{2342,2423}
X(2424){103,2424},{2338,2424},{3737,269}
X(2425){101,2425}
X(2426){59,2426},{3939,2426}
X(2427){644,2427},{1252,2427}
X(2432){1021,19}
X(2440){294,2440}
X(2441){2316,2441}
X(2443){1783,2443}
X(2446){1,2447},{100,2446},{1382,1457},{3307,2446}
X(2447){1,2446},{100,2447},{1381,1457},{3308,2447}
X(2448){100,2448}
X(2449){100,2449}
X(2457){10,2457}
X(2474){3703,2474}
X(2475){8,191}
X(2481){314,190}
X(2482){3712,2482}
X(2483){9,2483}
X(2484){9,2484},{607,2484},{2285,2484},{3497,2484}
X(2485){281,2485},{4456,2485}
X(2486){522,2486},{4151,2486}
X(2488){7,2488},{55,2488},{354,2488},{1827,2488},{2293,2488},{3059,2488},{3477,2488}
X(2489){281,2489},{607,2489},{1880,2489},{2333,2489}
X(2490){281,2490}
X(2491){281,2491},{2175,2491},{3709,2491}
X(2492){281,2492}
X(2493){281,2493}
X(2494){7,2494}
X(2495){7,2495},{607,2495}
X(2496){7,2496}
X(2497){7,2497}
X(2498){7,2498}
X(2499){7,2499},{4343,2499}
X(2501){281,2501},{1826,2501},{1857,2501},{3064,2501}
X(2502){55,2502}
X(2503){9,2503}
X(2504){345,2504},{522,2504},{1751,2504}
X(2505){522,2505}
X(2509){9,2509}
X(2510){345,2510}
X(2511){9,2511}
X(2512){3596,2512}
X(2513){3596,2513}
X(2514){607,2514},{3596,2514}
X(2515){9,2515}
X(2516){9,2516},{3973,2516}
X(2517){318,2517},{3596,2517},{4385,2517}
X(2518){3703,2518}
X(2519){345,2519}
X(2520){7,2520},{1836,2520},{1857,2520},{4336,2520}
X(2522){9,2522},{345,2522},{2345,2522}
X(2523){345,2523}
X(2524){345,2524}
X(2525){345,2525},{3703,2525}
X(2526){9,2526},{1390,2526}
X(2528){3703,2528}
X(2530){21,2530},{38,2530},{427,2530},{1390,2530},{3665,2530},{3703,2530},{4518,2530}
X(2531){3703,2531}
X(2533){8,4705},{10,2533},{1215,2533},{3907,2533},{4095,2533},{4518,2533}
X(2534){3699,2534}
X(2535){3699,2535}
X(2550){8,9},{668,2550},{2550,2263}
X(2551){8,1706}
X(2556){100,2556}
X(2557){100,2557}
X(2564){100,2564}
X(2565){100,2565}
X(2572){100,2572}
X(2573){100,2573}
X(2574){8,2574}
X(2575){8,2575}
X(2578){9,2578}
X(2579){9,2579}
X(2582){312,2582}
X(2583){312,2583}
X(2584){78,2584}
X(2585){78,2585}
X(2588){318,2588}
X(2589){318,2589}
X(2590){9,2590},{1021,2591}
X(2591){9,2591},{1021,2590}
X(2594){35,2594},{100,12},{3678,3678},{4551,2594}
X(2600){9,2600}
X(2605){1,2605},{21,523},{35,2605},{74,2605},{1250,2605},{1442,2605},{4420,2605}
X(2610){9,2610},{594,2610},{2323,2624},{3700,2610},{4053,2610}
X(2611){522,1109},{523,2611}
X(2618){318,2618}
X(2624){9,2624},{2245,2624},{2323,2610}
X(2630){9,2630}
X(2631){9,2631}
X(2632){4064,2632},{4086,2632}
X(2635){9,2635},{1897,2635}
X(2637){9,2637}
X(2641){9,2641}
X(2642){9,2642},{4041,2642}
X(2643){4041,2643},{4086,2643},{4092,4092},{4516,2643},{4705,2643}
X(2645){4041,2645}
X(2646){21,942},{100,2646}
X(2647){409,2647},{1897,2647}
X(2650){643,2650},{2646,2650},{4551,2650}
X(2651){643,2651}
X(2652){2648,2652}
X(2654){1897,2654}
X(2655){416,2655},{1897,2655}
X(2658){4551,2658}
X(2662){100,2662}
X(2663){644,2663}
X(2664){3699,2664}
X(2667){4069,2667},{4111,4111}
X(2668){645,2668}
X(2679){4155,2679}
X(2716){21,2720}
X(2718){21,901}
X(2720){21,2716}
X(2725){21,919}
X(2771){8,2771}
X(2772){8,2772}
X(2773){8,2773},{4570,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},{4600,2785}
X(2786){8,2786}
X(2787){8,2787}
X(2788){8,2788}
X(2789){8,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}
X(2797){8,2797}
X(2798){8,2798}
X(2799){8,2799}
X(2800){8,2800}
X(2801){8,2801}
X(2802){8,2802},{643,214},{1320,244},{3699,4738}
X(2803){8,2803}
X(2804){8,2804},{2804,1769},{3262,2804},{4397,2804}
X(2805){8,2805}
X(2806){8,2806}
X(2807){8,2807},{677,2807}
X(2808){8,2808}
X(2809){8,2809},{644,4712}
X(2810){8,2810},{660,2810}
X(2811){8,2811}
X(2812){8,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}
X(2821){8,2821}
X(2822){8,2822}
X(2823){8,2823}
X(2824){8,2824}
X(2825){8,2825}
X(2826){8,2826},{693,2826}
X(2827){8,2827}
X(2828){8,2828}
X(2829){8,2829},{1309,2829}
X(2830){8,2830}
X(2831){8,2831}
X(2832){8,2832}
X(2833){8,2833}
X(2834){8,2834}
X(2835){8,2835}
X(2836){8,2836}
X(2837){8,2837}
X(2838){8,2838}
X(2839){8,2839}
X(2840){8,2840}
X(2841){8,2841},{901,2841}
X(2842){8,2842}
X(2843){8,2843}
X(2844){8,2844}
X(2845){8,2845}
X(2846){8,2846}
X(2847){8,2847}
X(2848){8,2848}
X(2849){8,2849},{775,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){3705,2887},{3952,2887}
X(2895){645,2895}
X(2898){4569,2898}
X(2899){2899,1722}
X(2900){4578,2900}
X(2901){644,2198}
X(2911){101,608},{644,2911}
X(2938){4614,2938}
X(2947){1897,2947}
X(2948){8,3448}
X(2951){664,2951}
X(2964){110,1393},{643,2964}
X(2968){4397,2968}
X(2969){4,1846},{3064,2969}
X(2975){21,595},{643,2975}
X(2976){7,2976},{3161,2976},{3667,2976},{4076,2976}
X(2977){281,2977},{4076,2977}
X(2978){55,2978},{314,2978}
X(2999){651,2999},{3699,2999}
X(3000){9,3000},{664,3000}
X(3001){3596,3001}
X(3002){2,3002}
X(3003){281,3003}
X(3004){2,3004},{261,3004},{3596,3004},{3687,3004},{4357,3004}
X(3005){55,3005},{3596,3005},{3688,3005},{3703,3005}
X(3006){3596,3006},{3699,3006}
X(3007){664,3007},{3596,3007}
X(3008){2,3008},{333,3912},{3699,3008}
X(3009){55,3009},{3699,3009}
X(3010){55,3010},{664,3010}
X(3011){281,3011},{3699,3011}
X(3012){281,3012},{664,3012}
X(3013){9,3013}
X(3014){3596,3014}
X(3015){2,3015}
X(3016){55,3016}
X(3017){3699,3017}
X(3018){281,3018}
X(3019){664,3019}
X(3020){513,3020},{514,3020},{876,3020},{1019,3020},{1022,3020},{1027,3020},{1086,1086},{1308,3020},{3257,3020},{3669,3020},{3733,3248},{4562,3020}
X(3022){1,1360},{3900,3022},{4105,3022}
X(3023){1,1355},{3907,3023}
X(3024){1,1354}
X(3025){1,3319},{3738,3025}
X(3027){1,1356},{740,3027},{874,3027},{4368,3027}
X(3028){1,1365},{758,3028},{4736,4736}
X(3030){660,3030}
X(3033){660,3033}
X(3035){8,3036}
X(3036){8,3035}
X(3040){8,3042}
X(3042){8,3040}
X(3049){41,3709},{213,3049},{219,3049},{607,3049},{1409,3049},{2175,3049},{2200,3049}
X(3051){645,3051}
X(3052){1293,3052},{3158,3158},{3939,3052}
X(3054){645,3054}
X(3055){645,3055}
X(3056){3888,3056},{3903,3056},{3939,3056},{4073,4073}
X(3057){100,3057},{1043,3701},{3057,1201}
X(3059){668,3059},{3059,2293},{4578,3059}
X(3061){644,3061},{3061,2275}
X(3063){6,3063},{41,3063},{220,3063},{284,513},{294,3063},{607,3063},{657,657},{911,3063},{949,3063},{1170,3063},{1253,3063},{2155,3063},{2287,3063},{3063,1919}
X(3064){92,3064},{281,3064},{459,3064},{1172,649},{2322,3064}
X(3068){645,3068}
X(3069){645,3069}
X(3072){100,3072}
X(3073){21,1935}
X(3074){644,3074}
X(3075){100,3075}
X(3083){3699,3083}
X(3084){3699,3084}
X(3085){100,581},{3699,3085}
X(3086){1309,3086},{3699,3086}
X(3094){3061,3662}
X(3100){664,3100},{1043,3100},{3100,3220}
X(3101){643,3998}
X(3116){3056,982}
X(3119){3239,3119},{4130,3119}
X(3120){11,3120},{522,3120},{523,3120},{2689,3120},{3064,3120},{3700,3120},{4077,3120},{4086,3120}
X(3121){650,3121},{798,3121},{2489,3121},{3063,3121},{3709,3121}
X(3122){8,4783},{512,3122},{522,3122},{663,3122},{2701,3122},{3271,3122},{3709,3122},{4017,3122},{4041,3122},{4516,4516}
X(3123){522,3123},{876,3123},{4083,3123},{4147,3123}
X(3124){661,1365},{3700,3124},{3709,3124},{4079,3124}
X(3125){650,3125},{661,3125},{2170,3125},{2501,3125},{3700,3125},{4041,3125},{4391,3125},{4530,4120}
X(3126){3263,3126},{3693,3126},{4518,3126},{4712,3126}
X(3144){2907,3144}
X(3157){1331,3157},{1800,3157},{3193,1406}
X(3158){3158,3052},{4578,3158}
X(3160){99,8},{664,3160}
X(3161){3161,1743}
X(3167){4575,1397}
X(3172){112,221}
X(3173){1332,3173},{1813,1407}
X(3174){4578,3174}
X(3175){646,3175}
X(3176){3176,207}
X(3177){4554,3177}
X(3178){3699,3178}
X(3180){645,3180}
X(3181){645,3181}
X(3185){2328,33},{3939,200}
X(3187){643,2352},{3699,3187}
X(3188){99,3868},{664,3188}
X(3190){100,278},{643,1754},{3190,2352},{3699,3190}
X(3191){644,3191}
X(3192){4183,1857}
X(3193){643,3193}
X(3194){162,3194}
X(3195){33,1096}
X(3197){1783,3197}
X(3198){4551,3198}
X(3207){101,3207}
X(3208){644,3501},{3208,2176},{4595,3208}
X(3209){112,6},{2331,2331}
X(3210){646,3210}
X(3211){4587,3211}
X(3212){668,3212},{4595,3212},{4598,3212}
X(3213){112,48},{1249,1249}
X(3214){3699,3214},{3913,3214}
X(3215){1331,3215}
X(3216){3699,3216}
X(3218){190,3218},{333,3218},{643,518},{645,4358},{662,1465},{3904,514},{4511,4867},{4585,3218},{4612,3218},{4631,1921}
X(3219){190,3219},{643,4640},{645,321},{3219,2003}
X(3220){21,3220},{643,3977},{934,3220},{3100,3100}
X(3221){8,3221}
X(3227){4607,3227}
X(3229){55,3229}
X(3230){55,3230},{644,3230}
X(3231){55,3231},{645,3231}
X(3237){3903,3237}
X(3238){3903,3238}
X(3239){312,3239},{346,3239},{2287,652},{3239,650}
X(3240){3699,3240}
X(3241){8,4677},{643,999},{3699,3241},{4555,3241}
X(3242){643,4392},{644,3242},{4901,4901}
X(3243){644,3243}
X(3244){8,3625},{644,1475},{3699,3244}
X(3245){100,3245}
X(3246){21,44},{644,3246},{2320,3246}
X(3247){644,3247}
X(3248){21,4432},{55,678},{663,3248},{667,3248},{1027,3248},{3063,3248},{3271,3271},{3733,3020},{3737,3248}
X(3249){1977,3249}
X(3250){55,3250},{312,3250},{650,514},{2276,3250},{4517,3250},{4876,3250}
X(3251){678,3251},{1317,3251},{1320,3251},{3689,3251},{4152,3251},{4543,4543},{4895,3251}
X(3252){4562,3252},{4876,3252}
X(3256){100,3256}
X(3257){645,1016},{4582,4582}
X(3259){900,3259},{2804,3259}
X(3260){3596,3260}
X(3261){76,3261},{314,522},{1240,3261},{1969,3261},{3596,3261},{4391,824}
X(3262){668,3262},{3596,3262}
X(3263){646,3263},{3596,3263}
X(3264){314,1266},{646,3912},{3596,3264},{4723,4439}
X(3265){345,3265},{1264,3265},{3596,3265}
X(3266){314,4442},{3596,3266}
X(3267){3596,3267}
X(3268){3596,3268}
X(3269){3700,3269}
X(3270){521,3270},{3900,3270}
X(3271){200,4152},{513,3271},{657,3271},{663,3271},{885,3271},{2310,2310},{2424,3271},{3271,3248},{3737,1086},{3900,3271}
X(3284){219,3284}
X(3285){284,3285}
X(3286){21,3286},{99,3286},{4238,3286}
X(3287){9,3287},{894,3287},{2287,3709},{2329,3287},{4529,4529}
X(3288){55,3288}
X(3289){219,3289},{645,3289}
X(3290){9,3693},{281,3290},{646,3290}
X(3291){9,3712},{281,3291}
X(3292){219,3292}
X(3293){3699,3293},{3871,3293}
X(3294){644,3294}
X(3295){21,3304},{100,3295},{643,3616}
X(3297){644,3297}
X(3298){644,3298}
X(3299){644,3299}
X(3301){644,3301}
X(3303){1,1467},{100,3303},{643,3622},{4882,4882}
X(3304){21,3295},{100,3304},{643,3623},{4853,4853}
X(3305){190,3305}
X(3306){190,3306},{333,9}
X(3307){8,3307}
X(3308){8,3308}
X(3309){8,3309},{21,3669},{1280,3309},{3870,3309}
X(3310){6,3310},{9,1639},{55,926},{281,3310},{284,654},{650,3310},{1465,3310},{2183,3310}
X(3314){645,3314},{3807,3314}
X(3318){4397,3318}
X(3319){1,3025},{952,3319}
X(3320){1,1367}
X(3321){527,3321}
X(3322){528,3322}
X(3323){883,3323},{918,3323},{2400,3323}
X(3324){1,1363}
X(3325){1,1366},{4160,3325}
X(3326){2804,3326}
X(3329){645,3329}
X(3330){9,3330}
X(3331){55,3331}
X(3332){664,3332}
X(3333){21,3601},{100,3333}
X(3336){100,3336}
X(3337){100,3337}
X(3338){21,3612},{100,3338}
X(3339){100,3339}
X(3340){100,3340},{3617,3617}
X(3345){1034,1034}
X(3359){100,3359}
X(3361){100,3361},{1414,3361},{3616,3616}
X(3413){8,3413}
X(3414){8,3414}
X(3416){8,6},{668,3416}
X(3419){8,55}
X(3421){8,57}
X(3428){21,1617},{100,3428}
X(3436){8,46},{3699,1265}
X(3445){21,3913},{1293,3445},{3680,3680}
X(3448){8,2948}
X(3452){190,3452},{3452,3752}
X(3454){3952,3454}
X(3465){1897,3465}
X(3468){1897,3468}
X(3475){1897,3475}
X(3476){100,995},{1897,3476},{4234,3476},{4555,3476},{4737,4737}
X(3485){21,581},{99,3485},{1897,3485}
X(3486){1897,3486}
X(3487){1897,3487}
X(3488){1897,3488}
X(3501){644,3208}
X(3503){100,3503}
X(3507){3699,3507}
X(3508){644,3508}
X(3509){190,3509}
X(3513){100,3513}
X(3514){100,3514}
X(3550){100,3550},{643,43}
X(3553){644,3553}
X(3554){644,3554}
X(3555){644,3555}
X(3556){109,3556}
X(3561){643,3561}
X(3562){643,3562}
X(3564){8,3564}
X(3566){8,3566},{4028,3566}
X(3569){55,3569},{3700,3569}
X(3570){645,3570},{3684,6},{4076,3570}
X(3572){292,3572},{650,2},{694,3572},{2311,3572},{4876,3572}
X(3573){643,3573}
X(3576){21,57},{100,3576},{643,3872}
X(3578){645,3578}
X(3579){100,3579},{643,4420}
X(3580){645,3580}
X(3582){3699,3582}
X(3583){1897,3583}
X(3584){3699,3584}
X(3585){80,1399},{1897,3585}
X(3586){1897,3586}
X(3587){100,3587}
X(3588){4557,3588}
X(3589){645,3589}
X(3593){645,3593}
X(3595){645,3595}
X(3596){314,4398},{341,3790},{3596,75}
X(3598){86,2},{190,3598},{927,3598},{4626,3598}
X(3599){190,3599},{662,1190}
X(3600){664,3600}
X(3601){21,3333},{100,3601},{3601,4252}
X(3612){21,3338},{100,3612}
X(3616){8,4668},{21,386},{99,3616},{643,3295},{3616,3361},{3699,3616},{4673,4673}
X(3617){8,1698},{3617,3340},{3699,3617}
X(3618){645,3618}
X(3619){645,3619}
X(3620){645,3620}
X(3621){8,3633},{3699,3621}
X(3622){643,3303},{3699,3622}
X(3623){8,4816},{643,3304},{3699,3623}
X(3624){8,4678},{3699,3624}
X(3625){8,3244},{3699,3625}
X(3626){8,1125},{3699,3626}
X(3629){645,3629}
X(3630){645,3630}
X(3631){645,3631}
X(3632){8,145},{3632,1388},{3699,3632}
X(3633){8,3621},{3699,3633}
X(3634){8,4691},{3699,3634}
X(3635){8,4701},{3699,3635}
X(3636){8,4746},{3699,3636}
X(3638){664,3638}
X(3639){664,3639}
X(3640){644,3640}
X(3641){644,3641}
X(3644){646,3644}
X(3647){643,3647},{4427,3647}
X(3648){99,3648}
X(3649){21,500},{99,3649},{1125,3649},{3952,3649},{4115,3649},{4427,3649},{4647,4647}
X(3650){4427,3650}
X(3654){8,381}
X(3660){7,3660},{100,3660}
X(3661){312,76},{645,4643},{3699,3661},{3807,3661}
X(3662){190,3662},{3061,3094}
X(3663){314,313},{664,3663},{3663,1122}
X(3664){664,3664}
X(3665){99,3665},{1916,3665},{1930,1930},{4568,3665},{4576,3665},{4583,3665},{4609,3665}
X(3666){100,3666},{333,4359},{643,3920},{646,3666},{3687,3687},{3882,3666},{4612,3666}
X(3667){8,3667},{145,3667},{522,4926},{1120,3667},{3161,3667},{4373,3667}
X(3668){7,3668},{75,307},{651,1400},{653,3668},{664,3668},{1305,3668},{1441,1441},{1952,3668},{4552,3668},{4566,3668},{4572,3668}
X(3669){1,3669},{2,3669},{21,3309},{28,3669},{57,3669},{58,667},{81,3669},{88,3669},{89,3669},{105,3669},{274,3669},{277,3669},{278,3669},{279,3669},{291,3669},{330,3669},{333,4462},{367,3669},{514,514},{955,3669},{957,3669},{959,3669},{961,3669},{985,3669},{1002,3669},{1019,3669},{1022,3669},{1123,3669},{1170,3669},{1219,3669},{1224,3669},{1255,3669},{1257,3669},{1258,3669},{1280,3669},{1336,3669},{1390,3669},{1422,3669},{1432,3669},{1929,3669},{2006,3669},{2224,3669},{2282,3669},{2306,3669},{2362,3669},{2401,3669},{2982,3669},{2990,3669},{3227,3669},{3300,3669},{3302,3669},{4560,905}
X(3670){8,4696},{100,3670},{3909,3670}
X(3671){664,3671},{3616,3671},{3952,3671},{4673,4101}
X(3672){646,3672},{664,3672}
X(3674){664,3674},{1978,3674},{4610,3674}
X(3675){11,3675},{100,3675},{650,3675},{693,3675},{2254,3675}
X(3676){2,3676},{7,3676},{27,3676},{75,3676},{81,649},{86,3676},{234,3676},{272,3676},{273,3676},{310,3676},{333,4468},{335,3676},{554,3676},{673,3676},{675,3676},{693,693},{871,3676},{903,3676},{1081,3676},{1088,3676},{1223,3676},{1240,3676},{1246,3676},{1268,3676},{1440,3676},{1659,3676},{2296,3676},{2400,3676},{2989,3676},{4373,3676},{4453,1443}
X(3677){100,3677}
X(3678){8,3754},{3678,2594},{3699,1089},{3952,3678},{4420,3678}
X(3679){8,2},{3679,2099},{3699,3679},{4720,3679},{4767,3679}
X(3680){3680,3445}
X(3681){3699,312}
X(3682){78,73},{1259,3682},{3699,3682},{4571,3710},{4587,3682}
X(3683){3683,2308},{4427,3683},{4578,3683}
X(3684){2287,3684},{3570,3684},{3684,1914},{4578,3684}
X(3685){99,1456},{874,3685},{1043,3685},{3685,238}
X(3686){2287,2269},{3686,1100}
X(3687){3687,3666},{3699,3687}
X(3688){3688,1964},{3939,4271},{4553,3688}
X(3689){100,1456},{200,3689},{3689,902},{4578,3689}
X(3690){210,181},{2318,3690}
X(3692){644,1766},{3692,219}
X(3693){9,3290},{346,3693},{644,517},{646,3693},{2287,2348},{3693,672},{4578,3693}
X(3694){346,37},{3692,3694},{3694,71},{4578,3694},{4587,3990}
X(3695){3695,201},{3701,12},{3710,3695}
X(3696){8,37},{668,3696},{3886,3696}
X(3697){8,3698},{3952,3697}
X(3698){8,3697},{3952,3698},{4853,3698}
X(3699){1043,1320},{3699,100},{4076,3699}
X(3700){9,647},{200,4524},{312,850},{321,3700},{346,3700},{2321,3700},{3239,3700},{3700,661},{4082,3700}
X(3701){8,3987},{341,3701},{1043,3057},{3699,72},{3701,10}
X(3702){1043,960},{3702,1125}
X(3703){3703,38}
X(3704){8,1834},{3704,2292}
X(3705){3699,3705},{3705,982}
X(3706){3706,3720}
X(3707){2287,1334}
X(3708){4024,3708},{4041,3708}
X(3709){9,523},{37,3709},{41,3049},{220,3709},{346,3709},{657,3709},{1334,3709},{2287,3287},{3709,798},{4171,4171},{4515,3709}
X(3710){341,10},{644,4456},{1265,3710},{3710,72},{4571,3682}
X(3711){200,9},{3711,2177},{4578,3711},{4767,3711}
X(3712){9,3291},{346,3712},{643,23},{3712,896}
X(3713){3713,2268},{4578,3713}
X(3714){8,4646}
X(3715){4578,3715},{4756,3715}
X(3716){346,3716},{350,3716},{1043,4895},{3685,3716},{3716,659}
X(3717){8,1738},{341,3717},{3699,908},{3717,518}
X(3718){645,1760},{3718,69}
X(3719){3719,394}
X(3720){643,3750},{3699,3720},{3706,3706},{4436,3720}
X(3721){1018,3721},{3061,3721},{4136,4136}
X(3722){643,244}
X(3723){644,3723},{4060,4060}
X(3724){55,3724},{643,740},{2361,3724},{4557,3724}
X(3725){55,1962},{4069,3725}
X(3726){4119,4119}
X(3727){4167,4167}
X(3728){4069,3728}
X(3729){190,77}
X(3730){644,8}
X(3731){644,3731}
X(3733){21,3733},{28,3733},{58,3733},{60,3733},{261,3733},{272,3733},{284,3733},{759,3733},{1014,3733},{1169,3733},{1175,3733},{1178,3733},{2189,3733},{2311,3733},{3453,3733},{3737,3737}
X(3735){4165,4165}
X(3736){21,86},{3786,3786}
X(3737){21,3737},{29,3737},{86,3737},{285,3737},{1043,3737},{1098,3737},{2287,3737},{2326,3737},{3615,3737},{3737,3733}
X(3738){8,3738},{21,1769},{320,3738},{765,3738},{1043,4768},{1098,3738},{4511,3738}
X(3739){646,3739}
X(3740){3699,4359}
X(3741){3699,3741}
X(3742){8,4711},{4594,3742}
X(3743){643,3743}
X(3744){100,3744}
X(3745){100,3745}
X(3746){100,3746},{643,1125}
X(3747){55,3747},{643,3747},{4433,4433}
X(3748){100,3748}
X(3749){100,3749},{643,614}
X(3750){100,3750},{643,3720}
X(3751){8,69},{644,3751},{660,3751}
X(3752){333,321},{646,3752},{651,3752},{3452,3452}
X(3753){8,210},{3872,3753},{3952,3753}
X(3754){8,3678},{1320,4642},{3952,3754},{4861,3754}
X(3755){8,2321},{390,3755},{4566,3755}
X(3756){522,3756},{2731,3756},{3667,3756},{3737,1357},{4521,3756},{4939,4939}
X(3757){3699,3757}
X(3758){645,1}
X(3759){645,1743}
X(3762){8,2254},{312,3762},{333,3960},{4358,3762},{4391,3762},{4723,3762}
X(3763){645,3763}
X(3765){333,2275},{3699,4517}
X(3766){312,3766},{314,900},{333,665},{350,3766},{3975,3766},{4087,3766},{4124,244}
X(3768){9,3768},{663,3768},{3230,3768},{4526,4526}
X(3771){3699,3771}
X(3772){646,3772},{655,3772}
X(3773){8,4085},{3701,313},{3790,3773}
X(3774){1334,37}
X(3775){3702,1269}
X(3776){2,3776},{3662,3776},{3705,3776}
X(3777){1,3777},{262,3777},{982,3777},{3061,3777},{3705,3777},{3794,3777},{3810,3810},{3865,3777},{4518,3777}
X(3778){8,4710},{3056,3778},{4557,3778}
X(3779){668,3779},{3939,3779}
X(3781){78,69},{3786,1469},{3799,3781},{4587,3781}
X(3782){4582,3782}
X(3783){3685,350},{3699,3783},{3786,3783}
X(3784){1331,3784},{3888,3784}
X(3786){1043,314},{3786,3736}
X(3789){3786,2276},{3886,4441}
X(3790){341,3596},{3790,984},{4505,3790}
X(3792){3786,3792},{3799,3792},{4511,320}
X(3794){643,3794},{4594,3794}
X(3797){646,3797},{3975,1921}
X(3798){193,3798},{333,3798}
X(3799){3699,668}
X(3800){8,3800}
X(3801){8,4808},{10,3801},{2887,3801},{3705,3801},{3810,3801},{4136,3801}
X(3803){21,3803}
X(3804){55,3804}
X(3805){8,3805},{984,3805},{2329,3805},{3907,4374}
X(3806){281,3806},{3703,3806}
X(3807){646,1978},{4076,3807}
X(3808){8,3808},{238,3808},{3061,3808}
X(3809){3699,3809}
X(3810){8,3810},{3705,3810},{3810,3777}
X(3811){100,34},{643,46},{3699,3811}
X(3812){8,4662}
X(3815){645,3815}
X(3822){3952,3822}
X(3824){4756,3824}
X(3827){1,1876},{8,3827},{1783,3827}
X(3828){8,4745},{3699,3828}
X(3831){3699,3831}
X(3835){192,3835},{312,3835},{335,3835},{4110,3835},{4451,3835}
X(3837){522,3837},{726,3837},{3596,3837}
X(3840){3699,3840}
X(3841){3952,3841}
X(3842){8,4732}
X(3849){8,3849}
X(3852){8,3852}
X(3862){4876,335}
X(3864){3790,4505},{4518,334}
X(3865){3903,3865}
X(3868){99,3188},{643,3868},{664,1847},{668,3868},{3868,4306}
X(3869){643,3869},{1043,318},{3699,341}
X(3870){643,57},{3699,3870},{3870,1617}
X(3871){643,404},{3871,595}
X(3872){643,3576},{1043,200},{3699,3872},{3872,999}
X(3873){643,3873}
X(3874){100,1393},{643,3874}
X(3876){1043,4673},{3699,4385},{3876,386}
X(3877){643,3877},{1043,312},{3699,4737},{3877,995}
X(3878){643,3878}
X(3880){8,3880},{643,4881},{1043,4723},{3699,4487},{3880,1149}
X(3881){643,3881}
X(3882){765,3882}
X(3883){1043,2321},{3883,1386}
X(3884){643,3884}
X(3885){1043,341}
X(3886){1043,9},{3886,1001}
X(3887){8,3887},{3935,3887}
X(3888){765,3888}
X(3889){643,3889}
X(3890){643,3890}
X(3891){3699,4383}
X(3892){643,3892}
X(3894){8,4661},{643,3894}
X(3896){3699,4849}
X(3897){643,3897}
X(3898){643,3898}
X(3899){643,3899}
X(3900){8,3900},{200,3900},{728,3900},{1043,4391},{1261,3900},{2328,1946},{3900,663},{4163,4163}
X(3901){643,3901}
X(3902){1043,210},{3902,551}
X(3904){312,3904},{1016,3904},{3904,3960}
X(3906){8,3906}
X(3907){8,3907},{1043,4041},{1909,3907},{3907,4367}
X(3909){765,3909}
X(3910){8,3910},{2985,3910},{3687,3910}
X(3911){2,3911},{100,1458},{190,3911},{333,908},{2415,3911},{4358,4358}
X(3912){312,3912},{333,3008},{645,320},{646,3264},{1978,3912},{3699,3912},{3912,241}
X(3913){21,3445},{643,4188},{3913,3915}
X(3914){497,3914}
X(3915){643,3915},{1293,3915},{3913,3913}
X(3916){4427,3916},{4571,3916}
X(3917){4553,3917}
X(3918){8,4015},{3952,3918}
X(3919){8,4134},{3952,3919}
X(3920){643,3666},{3699,3920}
X(3921){8,4731},{3952,3921}
X(3922){8,4533},{3952,3922}
X(3923){8,4660}
X(3924){1837,1837},{2222,3924},{3699,3924}
X(3925){3952,3925},{4847,3925}
X(3927){78,3984},{4571,3927},{4756,3927}
X(3928){190,3928}
X(3929){190,3929}
X(3930){644,758},{2321,3930},{3693,3930},{4033,3930},{4069,3930}
X(3931){100,3931}
X(3932){3699,3936},{3701,3932},{3717,3932}
X(3935){643,1155},{3699,3935},{3935,2078}
X(3936){312,3936},{645,3936},{3699,3932},{4033,3936}
X(3937){513,3937},{521,3937},{652,3937},{1459,3937},{2720,3937},{3737,11}
X(3938){643,982},{3699,3938}
X(3939){765,3939},{2287,294},{3939,692},{4578,4578}
X(3940){78,63},{4571,3940},{4720,2099},{4767,3940}
X(3941){1292,3941},{3939,1743}
X(3942){514,3942},{521,3942},{905,3942},{2728,3942},{3737,3942},{4560,4858}
X(3943){644,2245},{646,3948},{1639,661},{2321,3943},{2325,3943},{4169,3943}
X(3944){1897,3944}
X(3945){645,3945},{664,3945}
X(3947){3952,3947}
X(3948){312,3948},{645,2245},{646,3943},{3975,3948}
X(3949){2321,2171},{3694,3949},{3949,2197},{4069,3949},{4103,3949}
X(3950){644,1400},{3161,3950}
X(3951){4571,3951}
X(3952){8,4674},{3699,3952},{3952,4551},{4076,3952}
X(3953){100,3953}
X(3954){644,3954}
X(3955){1331,3955},{4579,3955}
X(3956){8,3968},{3699,4714},{3952,3956}
X(3957){643,354},{3699,3957}
X(3958){4115,3958}
X(3959){1783,3959}
X(3960){2,3960},{21,2254},{333,3762},{2167,3960},{2185,3960},{2320,3960},{3218,3960},{3904,3904},{4511,3960},{4560,3960},{4564,3960}
X(3961){3699,3961}
X(3962){8,4018},{3952,3962}
X(3963){646,594},{3963,4032},{4033,3963}
X(3965){2287,2264},{3965,2269},{4578,3965}
X(3967){3952,1214}
X(3968){8,3956},{3952,3968}
X(3969){4033,3969}
X(3970){644,3970}
X(3971){3699,4090}
X(3973){644,3973}
X(3974){3974,612}
X(3975){645,2183},{3975,239},{4148,650}
X(3976){100,3976}
X(3977){345,3977},{643,3220},{4571,1818}
X(3979){3699,3979}
X(3982){190,3982}
X(3983){8,4002},{3952,3983},{4882,3983}
X(3984){78,3927},{4571,3984}
X(3985){346,3985},{3985,2238}
X(3987){8,3701},{3885,3987}
X(3988){3952,3988}
X(3990){219,1409},{644,3990},{2289,3990},{4574,3990},{4587,3694}
X(3991){644,65}
X(3992){8,4695},{3699,758},{3701,3992},{4723,3992},{4768,523}
X(3993){8,4709}
X(3994){2321,3994},{4009,3994}
X(3995){646,3995}
X(3996){643,4210},{3996,1621}
X(3997){644,42}
X(3998){345,1214},{643,3101},{646,3998},{3719,3998},{4571,3998}
X(3999){100,3999},{4373,3999}
X(4000){8,4901},{646,4000},{653,4000},{666,4000},{3732,4000}
X(4002){8,3983},{3952,4002}
X(4003){100,4003}
X(4004){8,4005},{3952,4004}
X(4005){8,4004},{3952,4005}
X(4008){8,4073}
X(4009){346,4009},{4009,899}
X(4010){8,4730},{314,4010},{522,4010},{740,4010},{2321,4010},{3685,4010},{3716,4010},{3985,4010},{4087,4010},{4451,4010}
X(4012){668,4012},{4012,4319}
X(4014){885,4014},{4449,4014}
X(4015){8,3918},{3699,4647},{3952,4015}
X(4016){1018,4016}
X(4017){1,4017},{6,798},{8,4404},{10,4017},{19,4017},{37,4017},{65,4017},{75,4017},{82,4017},{91,4017},{158,4017},{225,4017},{267,4017},{513,4017},{522,656},{523,523},{596,4017},{759,4017},{775,4017},{876,4017},{897,4017},{921,4017},{969,4017},{994,4017},{1247,4017},{1581,4017},{1910,4017},{2153,4017},{2154,4017},{2166,4017},{2168,4017},{2186,4017},{2190,4017},{2214,4017},{2216,4017},{2217,4017},{2218,4017},{2219,4017},{2363,4017},{2574,656},{2575,656},{2588,4017},{2589,4017},{2652,4017},{2962,4017},{3307,523},{3308,523},{3668,4017},{4674,4017}
X(4018){8,3962},{3952,4018}
X(4021){664,4021}
X(4024){594,4024},{2321,4024},{3700,4024},{4102,4024}
X(4025){69,4025},{75,4025},{332,4025},{333,4025},{345,4025},{1812,652},{3718,4025}
X(4026){8,594},{3883,4026}
X(4028){3699,4028}
X(4031){81,1400},{190,4031},{4615,4031},{4781,4031}
X(4032){190,2171},{894,4032},{3963,3963},{4552,4032},{4562,4032}
X(4033){312,4080},{646,4033},{4033,4552},{4076,4069}
X(4035){4033,4035}
X(4036){1089,4036},{3701,4036},{4086,4036}
X(4037){646,4037},{2321,4037},{3985,4037}
X(4038){100,4038}
X(4039){3699,4039}
X(4040){21,4040},{1621,4040},{3996,4040}
X(4041){8,1577},{10,4041},{55,810},{200,4041},{210,4041},{341,4041},{1043,3907},{3900,4041},{4041,512},{4082,4041},{4515,4041},{4866,4041}
X(4043){646,4043}
X(4044){312,10},{1978,4044}
X(4046){4046,1962}
X(4047){1332,4047}
X(4049){4080,4049},{4391,321}
X(4053){644,4053},{2321,4053},{4103,4053}
X(4054){312,2321},{4033,4054}
X(4055){3939,4055}
X(4057){21,4057},{106,4057},{595,4057},{3871,4057},{4222,4057}
X(4059){668,4059}
X(4060){4060,3723}
X(4061){3699,4061}
X(4062){2321,4062},{3699,4062},{3712,4062}
X(4063){88,4063},{333,4063},{3871,4063}
X(4064){1089,4064},{2321,4064},{3695,4064},{3710,4064}
X(4067){8,4084},{3952,4067}
X(4069){4069,4557},{4076,4033},{4578,4069}
X(4070){346,4070},{4070,2243}
X(4071){4033,4071}
X(4073){8,4008},{4073,3056},{4578,4073}
X(4076){4076,765}
X(4077){2,661},{75,4077},{92,4077},{313,4077},{321,4077},{561,4077},{693,4077},{850,850},{1441,4077},{1821,4077},{1934,4077},{2995,4077},{2997,4077},{3112,4077},{3113,4077}
X(4079){1334,4079},{1500,4079},{2171,4079},{2321,4079},{3709,4079},{4876,4079}
X(4080){312,4033},{4582,4080}
X(4081){4081,2310},{4163,4081},{4397,4081}
X(4082){4082,210},{4578,2318}
X(4083){8,4083},{43,4083},{291,4083},{2319,4083},{3208,4083},{3212,4083},{4147,4147}
X(4084){8,4067},{3952,4084}
X(4085){8,3773}
X(4086){8,656},{313,4086},{341,4086},{346,4171},{3701,4086},{4086,523},{4397,4086}
X(4087){4087,350}
X(4088){8,4707},{313,4088},{2321,4088},{3717,4088},{3932,4088},{4086,4088}
X(4089){664,4089},{693,4089},{3904,4089},{4453,4089}
X(4090){3699,3971},{3952,4090}
X(4091){63,4091},{271,4091},{283,4091},{333,4091},{394,4091},{1259,4091},{2365,4091},{3719,4091}
X(4092){4036,4092},{4086,338},{4092,2643}
X(4093){3688,4093},{4069,4093}
X(4094){55,4117},{4433,4094}
X(4095){4095,2295}
X(4101){4561,4101},{4673,3671}
X(4102){4102,1255}
X(4104){3952,4104}
X(4105){200,4105},{480,4105}
X(4106){314,4106},{3875,4106},{4373,4106}
X(4107){239,4107},{333,4107},{385,4107}
X(4110){4110,192}
X(4111){4111,2667}
X(4114){190,4114}
X(4117){55,4094}
X(4118){4178,4178}
X(4119){4119,3726}
X(4120){1639,4120},{2321,4120},{2325,4120},{3700,4120},{3943,4120},{4530,3125}
X(4122){2321,4122},{3773,4122},{3790,4122},{4086,850},{4522,4122}
X(4123){4123,22}
X(4124){3239,4124},{3716,4124},{3766,4124},{4148,4124}
X(4125){3699,4134},{3701,321}
X(4127){8,4757},{3952,4127}
X(4128){512,4128},{3907,4128}
X(4129){8,4807},{312,4129},{3995,4129},{4080,4129}
X(4130){346,4130},{728,4130},{4130,657}
X(4131){69,4131},{314,4131},{326,4131},{1264,4131},{1812,4131},{3719,4131}
X(4132){8,4132},{3293,4132},{3871,4132},{4674,4132}
X(4133){8,4780}
X(4134){8,3919},{3699,4125},{3952,4134}
X(4135){4903,4135}
X(4136){4136,3721}
X(4138){3952,4138}
X(4139){8,4139},{3214,4139},{3913,4139}
X(4140){2321,4140},{3963,4140},{4095,4140},{4529,4140}
X(4142){318,4142},{4388,4142}
X(4143){1264,4143}
X(4144){2321,4144},{4070,4144}
X(4145){8,4145}
X(4147){341,4147},{4147,4083},{4518,4147}
X(4148){3975,4148},{4148,4435}
X(4149){4149,1631}
X(4151){8,4151},{3996,4151},{4651,4151}
X(4152){200,3271},{4152,678}
X(4155){8,4155},{3685,804},{4041,4155},{4433,4155}
X(4156){2321,4156},{4157,4156}
X(4157){346,4157},{4157,2244}
X(4160){8,4160}
X(4162){145,4162},{200,4162},{1280,4162},{2328,667},{3158,4162},{3680,4162},{3900,4959},{4546,4546},{4936,4162}
X(4163){341,4163},{4163,3900}
X(4164){21,4164},{238,4164},{419,4164},{1580,4164},{2329,4164}
X(4165){4165,3735}
X(4167){4167,3727}
X(4169){2325,37}
X(4170){8,4729},{3896,4170}
X(4171){346,4086},{728,4171},{2321,4171},{4130,4171},{4171,3709},{4515,4171}
X(4178){4178,4118}
X(4179){4182,4179}
X(4181){4181,367}
X(4182){4182,365}
X(4183){4183,2299}
X(4184){643,333}
X(4185){1783,4185}
X(4188){643,3913}
X(4189){643,958}
X(4199){4613,4199}
X(4204){4069,4204}
X(4210){643,3996}
X(4211){270,4227}
X(4221){21,1412}
X(4225){643,1043},{931,4225},{1098,29},{4636,4225}
X(4227){270,4211}
X(4247){270,27}
X(4252){109,4252},{3601,3601}
X(4253){644,145}
X(4254){4578,4254}
X(4257){901,4257}
X(4259){668,4259}
X(4260){660,4260}
X(4261){646,4261}
X(4264){4628,4264}
X(4265){831,4265}
X(4266){2287,8}
X(4267){931,4267}
X(4271){3939,3688}
X(4272){4069,4272}
X(4273){284,58}
X(4286){4582,4286}
X(4292){21,4303},{664,4292}
X(4293){664,4293},{1309,4293}
X(4294){664,4294}
X(4295){664,4295}
X(4296){99,1231},{664,4296},{833,4296}
X(4297){21,1042},{664,4297}
X(4298){21,4300},{664,4298},{835,4298}
X(4299){664,4299}
X(4300){21,4298},{664,4300}
X(4301){21,4322},{664,4301}
X(4302){664,4302}
X(4303){21,4292},{664,4303},{1331,4303},{4636,4303}
X(4304){664,4304}
X(4305){664,4305}
X(4306){21,20},{100,1788},{110,4306},{664,4306},{3868,3868}
X(4307){664,4307}
X(4308){664,4308}
X(4309){664,4309}
X(4310){664,4310}
X(4311){664,4311}
X(4312){8,144},{664,4312}
X(4313){664,4313}
X(4314){664,4314}
X(4315){100,1450},{664,4315}
X(4316){664,4316}
X(4317){664,4317}
X(4318){1,1428},{664,4318},{1222,4318}
X(4319){664,4319},{4012,4012}
X(4320){108,4320},{388,388},{664,4320},{1010,1038}
X(4321){664,4321}
X(4322){21,4301},{664,4322}
X(4323){664,4323}
X(4324){664,4324}
X(4325){664,4325}
X(4326){664,4326},{4578,4326}
X(4327){664,4327}
X(4328){664,4328},{4606,4328}
X(4329){664,4329}
X(4330){664,4330}
X(4331){664,4331},{929,4331}
X(4332){1,1451},{664,4332}
X(4333){664,4333}
X(4334){21,1742},{660,4334},{664,4334},{932,4334}
X(4335){664,4335}
X(4336){664,4336}
X(4337){664,4337}
X(4338){664,4338}
X(4339){664,4339}
X(4340){664,4340}
X(4341){664,4341}
X(4342){664,4342}
X(4343){664,4343}
X(4344){664,4344}
X(4345){664,4345}
X(4346){664,4346},{4582,4346}
X(4347){664,4347}
X(4348){664,4348}
X(4349){664,4349}
X(4350){664,4350},{1414,738}
X(4351){664,4351},{4242,4351}
X(4352){664,4352}
X(4353){664,4353}
X(4354){664,4354}
X(4355){664,4355}
X(4356){664,4356}
X(4357){190,4357},{314,1269}
X(4358){190,1465},{312,4358},{645,3218},{646,4358},{3699,518},{4358,3911}
X(4359){333,3666},{646,4359},{3699,3740},{3702,4717},{4359,553},{4631,4359}
X(4360){4555,4360}
X(4361){4483,4361}
X(4362){3699,4362}
X(4363){8,4643},{645,45},{4482,4363},{4494,4494},{4582,4363}
X(4364){8,4665},{21,4749},{4582,4364}
X(4365){4387,4365}
X(4366){2185,1977}
X(4367){1,4367},{21,512},{98,4367},{171,4367},{2319,4367},{2329,4367},{3907,3907}
X(4368){3685,4368}
X(4369){2,4369},{333,661},{894,4369},{1821,4369},{3907,4774}
X(4370){9,1015},{645,545},{2325,4370},{4582,4370}
X(4374){75,4374},{290,4374},{314,523},{1909,4374},{3907,3805}
X(4375){3685,4375},{4366,4375}
X(4376){8,4805}
X(4377){8,4735},{4494,4377}
X(4378){21,4775},{750,4378},{1320,4378},{1390,4378},{4390,4378},{4474,4474}
X(4379){333,4893},{4363,4379},{4494,4379}
X(4380){333,4394},{3759,4380}
X(4382){4102,4382},{4361,4382},{4387,4382},{4483,4382},{4496,4382}
X(4383){645,4383},{3699,3891}
X(4384){333,1},{799,4384},{3699,4384}
X(4385){8,986},{3699,3876},{4385,388}
X(4387){4387,748}
X(4389){99,4389},{314,76},{4582,4389}
X(4390){644,993},{4390,2242},{4482,4390}
X(4391){8,1734},{76,4391},{312,4391},{333,905},{341,4391},{1043,3900},{4391,514}
X(4392){643,3242}
X(4393){3699,4393}
X(4394){9,4394},{333,4380},{1261,4394},{1743,4394},{3158,4394},{3161,4394},{4521,4521}
X(4397){341,4397},{1043,521},{3596,4397},{4397,522}
X(4398){314,3596},{4555,4398}
X(4403){4379,4403},{4474,4403}
X(4404){8,4017},{3701,4404}
X(4406){314,514}
X(4408){314,4926},{3760,4408},{4483,4501}
X(4409){4582,4409}
X(4411){314,4777},{3761,4411},{4494,4411}
X(4414){9,750},{643,984}
X(4415){3452,4415},{4552,4415},{4582,4415}
X(4416){645,319}
X(4417){645,4417}
X(4419){8,4659},{4582,4419}
X(4420){643,3579},{1043,4861},{3699,4420},{4420,35}
X(4422){645,1086},{4582,4422}
X(4423){835,4423}
X(4424){8,321},{100,4424},{3877,4424}
X(4425){4613,4425}
X(4426){644,4426}
X(4427){4076,4427}
X(4431){646,1269}
X(4432){21,3248},{3685,4432}
X(4433){200,4433},{4433,3747}
X(4435){200,4435},{239,4435},{1021,4435},{2319,4435},{3684,4435},{4148,4148}
X(4436){4076,4436}
X(4439){3790,4439},{4723,3264}
X(4440){645,4473},{4562,4440},{4582,4440}
X(4441){314,2},{646,4441},{670,4441},{3886,3789}
X(4442){75,4442},{314,3266}
X(4444){335,4444},{1916,4444},{4391,76},{4518,4444}
X(4447){1026,4447}
X(4448){2325,4448},{3685,4448},{3716,4448},{4432,4448}
X(4449){1222,4449},{1376,4449},{2319,4449},{3680,4449},{4513,4449}
X(4451){4451,256}
X(4452){646,4452}
X(4453){75,4453},{95,4453},{261,4453},{320,4453},{333,918}
X(4454){4582,4454}
X(4455){21,4455},{663,4455},{862,4455},{1284,4455},{1334,4455},{3685,4455},{3747,4455},{4433,4455}
X(4456){644,3710}
X(4458){75,4458},{4645,4458}
X(4459){522,4459},{3907,4459},{4374,4459},{4529,4459}
X(4461){646,4461}
X(4462){8,4905},{312,4462},{333,3669}
X(4463){4123,4463}
X(4465){3685,4465},{4582,4465}
X(4466){522,4466},{525,4466},{1577,4466},{2769,4466}
X(4467){75,4467},{314,850},{319,4467},{522,4784},{1494,4467},{2985,4467}
X(4468){312,4468},{333,3676},{344,4468}
X(4470){4582,4470}
X(4472){4582,4472}
X(4473){645,4440},{4582,4473}
X(4474){1043,4814},{3761,4474},{4474,4378}
X(4475){11,1111},{650,4475},{1491,4475},{4522,4475}
X(4477){200,4477}
X(4479){646,4479}
X(4481){21,4481},{3786,4481}
X(4485){314,982}
X(4486){312,4486},{3685,4486},{3790,4486},{3797,4486}
X(4487){8,4694},{3699,3880}
X(4489){3699,4489}
X(4490){4518,4490},{4866,4490}
X(4491){21,4491},{1318,4491},{2718,4491},{4076,4491}
X(4494){4494,4363}
X(4498){333,4498},{979,4498},{3913,4498},{4383,4498},{4866,4498}
X(4499){4582,4499}
X(4501){4361,4501},{4483,4408}
X(4502){4876,4502}
X(4504){145,4504}
X(4505){3790,3864}
X(4506){646,4506},{4494,4506}
X(4508){4396,4508}
X(4509){75,4509}
X(4511){643,517},{1043,4511},{3699,4511},{4511,36}
X(4512){643,4512},{4578,4512}
X(4513){644,3}
X(4515){728,4515},{1018,227},{4515,1334}
X(4516){523,4516},{2310,4516},{3900,4516},{4041,4516},{4171,4516},{4397,4516},{4516,3122}
X(4517){200,8},{3699,3765},{3799,4517},{4517,869}
X(4518){4518,291},{4583,4518}
X(4521){346,4521},{2287,649},{3161,4521},{4521,4394}
X(4522){346,4522},{3790,4522},{4522,1491}
X(4524){200,3700},{210,4524},{480,4524},{4105,4524}
X(4525){8,4744},{3952,4525}
X(4526){346,4526},{536,4526},{3900,4526},{4526,3768}
X(4527){8,4743}
X(4528){8,676},{4163,4528},{4528,4895},{4723,4528}
X(4529){346,4529},{4529,3287}
X(4530){1146,4530},{1639,4530},{3239,4530},{3762,4530},{4528,4530},{4530,2087}
X(4532){3952,4532}
X(4533){8,3922},{3952,4533}
X(4534){1021,1015},{3239,4534},{4462,4534},{4521,4534},{4546,4534}
X(4536){3952,4536}
X(4537){3952,4537}
X(4539){3952,4539}
X(4540){3952,4540}
X(4542){4528,4542},{4543,4542}
X(4543){4152,4543},{4528,4543},{4543,3251},{4738,4543}
X(4546){4546,4162}
X(4547){3952,4547}
X(4551){100,4551},{660,4551},{765,4551},{3952,3952}
X(4552){190,4552},{765,4557},{1016,4552},{4033,4033},{4552,1020},{4562,4552}
X(4554){799,4554},{889,4554},{1978,1978},{4554,658},{4600,100},{4601,4554},{4639,4554}
X(4556){249,4556},{4612,4612}
X(4557){643,4781},{765,4552},{2748,4557},{3939,4557},{4069,4069},{4076,4557}
X(4558){4567,4558},{4612,4565}
X(4559){9,2250},{101,4559},{644,4574},{813,4559},{1016,4559},{1018,1018},{1252,4559},{4564,4566}
X(4560){274,4560},{333,4560},{1043,4560},{4560,1019}
X(4561){78,295}
X(4563){4601,4563},{4631,4573}
X(4564){99,927},{190,655},{1016,1016},{4564,1262},{4567,4564}
X(4565){249,4565},{250,4565},{662,662},{687,4565},{691,4565},{1101,1576},{2966,4565},{4556,4565},{4567,4565},{4570,4565},{4590,4565},{4591,4565},{4612,4558}
X(4566){664,4566},{4564,4559}
X(4567){4612,4591}
X(4569){4569,4626},{4572,4572},{4620,651},{4625,4569}
X(4571){4076,4571},{4571,1331}
X(4572){670,4572},{4572,4569},{4601,190}
X(4573){799,799},{892,4573},{4573,4637},{4590,4573},{4600,4573},{4601,4573},{4610,4573},{4615,4573},{4620,4573},{4631,4563}
X(4574){644,4559},{4587,4574}
X(4575){4570,4575}
X(4578){4076,4578},{4578,3939}
X(4579){765,4579}
X(4581){1220,4581}
X(4582){4582,3257}
X(4584){645,4601}
X(4585){645,4585},{1016,4585}
X(4587){4587,906}
X(4591){4612,4567}
X(4592){4600,4592}
X(4601){645,4584},{4601,4620},{4631,4615}
X(4605){4552,4605}
X(4608){1268,4608},{4102,4608}
X(4610){4590,4610},{4631,4631}
X(4612){4590,4612},{4612,4556}
X(4615){4631,4601}
X(4616){4620,4616},{4625,4625}
X(4617){658,658},{1275,4617},{4637,4617}
X(4620){4590,4620},{4601,4601}
X(4624){4633,4624}
X(4625){670,670},{4590,662},{4601,4625},{4623,4625},{4625,4616},{4634,4625}
X(4626){1275,4626},{4569,4569},{4616,4626}
X(4631){4631,4610}
X(4637){4573,4573},{4620,4637}
X(4640){643,3219}
X(4641){645,1999}
X(4642){8,1089},{1320,3754},{3057,4642},{4551,4642}
X(4643){8,4363},{645,3661}
X(4644){666,4644}
X(4645){8,1757},{668,4645}
X(4646){8,3714},{1697,4646},{4551,4646}
X(4647){8,2292},{3699,4015},{3702,4647},{4647,3649}
X(4648){645,4648}
X(4649){8,319},{644,4649}
X(4651){3699,4651},{3996,4651}
X(4652){4571,4652},{4592,4652}
X(4653){21,81},{643,4653},{4720,4720}
X(4654){190,4654},{4756,4654}
X(4656){4552,4656}
X(4657){646,4657}
X(4658){643,4658}
X(4659){8,4419}
X(4660){8,3923}
X(4661){8,3894}
X(4662){8,3812}
X(4663){644,4663}
X(4664){646,4664}
X(4665){8,4364}
X(4666){3699,4666}
X(4668){8,3616},{3699,4668}
X(4669){8,551},{3699,4669}
X(4670){8,4690}
X(4671){312,75},{646,4671}
X(4673){1043,3876},{4673,3616}
X(4674){8,3952},{1320,4674}
X(4677){8,3241},{3699,4677}
X(4678){8,3624},{3699,4678}
X(4679){835,4679}
X(4680){8,31}
X(4681){646,4681}
X(4684){4673,4684}
X(4685){3699,4685}
X(4686){646,4686}
X(4687){646,4687}
X(4688){646,4688}
X(4689){100,4689}
X(4690){8,4670}
X(4691){8,3634},{3699,4691}
X(4692){8,38}
X(4693){3685,239},{4720,4693}
X(4694){8,4487},{100,4694}
X(4695){8,3992},{10,4695},{3880,4695}
X(4696){8,3670},{3699,960}
X(4697){4427,4697}
X(4698){646,4698}
X(4699){646,4699}
X(4700){391,4700}
X(4701){8,3635},{3699,4701}
X(4702){3886,4702}
X(4704){646,4704}
X(4705){8,2533},{12,4705},{210,4705},{756,4705},{3701,4705},{4041,4705},{4518,4705}
X(4706){391,4706}
X(4707){8,4088},{321,4707},{333,4707},{3904,4707},{3936,4707},{4391,4707}
X(4709){8,3993}
X(4710){8,3778}
X(4711){8,3742}
X(4712){8,1111},{644,2809},{3717,4712},{4712,1362}
X(4713){4582,4713}
X(4714){8,756},{3699,3956},{3902,4714}
X(4715){8,4715}
X(4717){3702,4359},{4717,4870}
X(4718){646,4718}
X(4720){1043,333},{4720,4653}
X(4723){8,1739},{341,4723},{1043,3880},{3699,517},{4723,519}
X(4724){9,4724},{21,4794},{86,4724},{1001,4724},{3737,649},{3886,4724}
X(4725){8,4725}
X(4726){646,4726}
X(4727){4007,4727}
X(4728){312,4728},{333,4763},{522,4728},{536,4728},{4009,4728}
X(4729){8,4170},{210,4729},{3158,4729},{4162,4729},{4848,4729},{4849,4729}
X(4730){8,4010},{210,4730},{1261,4730},{3689,4730},{4041,4730},{4723,4730},{4895,4730}
X(4731){8,3921},{3952,4731},{4915,4731}
X(4732){8,3842}
X(4733){8,1213}
X(4735){8,4377}
X(4736){8,1109},{4736,3028}
X(4737){8,982},{3699,3877},{4737,3476}
X(4738){8,244},{3699,2802},{4723,4738},{4738,1317}
X(4739){646,4739}
X(4740){646,4740}
X(4742){4673,4742}
X(4743){8,4527}
X(4744){8,4525},{3952,4744}
X(4745){8,3828},{3699,4745}
X(4746){8,3636},{3699,4746}
X(4749){21,4364}
X(4750){333,4750},{522,4750},{524,4750},{2768,4750},{3712,4750}
X(4751){646,4751}
X(4752){644,100}
X(4755){646,4755}
X(4756){4076,4756}
X(4757){8,4127},{3952,4757}
X(4760){3685,4760}
X(4761){8,661}
X(4762){8,4762},{274,4762},{3886,4762},{4384,4762},{4560,513}
X(4763){2,4763},{333,4728}
X(4764){646,4764}
X(4765){333,4765},{346,4765},{391,4765},{4765,4790}
X(4766){312,4766}
X(4767){3699,190},{4076,4767},{4720,4792}
X(4768){8,1769},{341,4768},{1043,3738},{3264,4768},{4397,4768},{4723,4768},{4768,900}
X(4769){8,32}
X(4770){210,4770},{3711,4770},{4041,661},{4720,4774},{4814,4770}
X(4771){391,4771},{3570,4771}
X(4772){646,4772}
X(4773){391,4773},{2325,4773},{4700,4773},{4765,4773}
X(4774){3679,4774},{3907,4369},{4720,4770}
X(4775){21,4378},{55,4775},{663,649},{1320,4775},{2099,4775},{2177,4775},{3711,4775},{4720,4775},{4814,4814}
X(4776){312,4776},{4664,4776}
X(4777){8,4777},{314,4411},{522,514},{3679,4777},{4720,4777},{4873,4777}
X(4778){8,4778},{86,4778},{391,4778},{3616,4778},{3737,834},{4673,4778},{4811,4811},{4835,4778}
X(4780){8,4133}
X(4781){643,4557},{4076,4781}
X(4782){9,4782},{1929,4782}
X(4783){8,3122},{4723,4783}
X(4784){9,4784},{522,4467},{4649,4784},{4913,4913}
X(4785){8,4785},{4393,4785}
X(4786){333,4786},{1992,4786}
X(4787){3056,2275}
X(4788){646,4788}
X(4789){312,4789}
X(4790){9,4790},{81,4790},{391,4790},{1449,4790},{4512,4790},{4765,4765}
X(4791){312,4791},{4391,693},{4671,4791},{4720,4814}
X(4792){1320,88},{4720,4767}
X(4794){21,4724},{2320,4794}
X(4800){3685,4800},{3716,812},{4693,4800},{4873,4800}
X(4801){274,4801},{312,4801},{4673,4801}
X(4802){8,4802},{1224,4802},{1698,4802},{4007,4802}
X(4804){75,4804},{522,661},{2321,4804},{3696,4804},{3886,4804}
X(4805){8,4376}
X(4806){2321,4806},{3993,4806}
X(4807){8,4129}
X(4808){8,3801},{3701,4808}
X(4809){522,4809},{752,4809},{4070,4809}
X(4810){3685,4810},{4007,4810},{4716,4810}
X(4811){314,4811},{341,4811},{4673,4811},{4811,4778}
X(4812){646,4812}
X(4813){9,4813},{3715,4813},{4007,4813},{4102,4813},{4654,4813},{4820,4820},{4877,4813}
X(4814){200,4814},{1043,4474},{3679,4814},{3711,4814},{3900,650},{4720,4791},{4814,4775}
X(4815){75,4815},{3701,4815},{4673,4815},{4811,4815}
X(4816){8,3623},{3699,4816}
X(4817){3407,4817}
X(4818){391,4818},{3790,4818}
X(4819){4061,4819}
X(4820){346,4820},{4007,4820},{4820,4813}
X(4821){646,4821}
X(4822){1,4822},{210,4822},{3671,4822},{4061,4822},{4512,4822},{4673,4822},{4843,4843}
X(4823){312,4823}
X(4824){2321,4824},{3842,4824},{4518,4824},{4913,4824}
X(4825){3711,4825},{4814,4893}
X(4826){1334,4826},{4007,4826}
X(4827){391,4827},{728,4827},{2287,4827}
X(4829){4061,4829}
X(4830){391,4830},{3685,4830}
X(4831){391,4831}
X(4832){6,4832},{391,4832},{1334,4832},{4258,4832}
X(4833){21,4833},{2341,4833},{3737,1019},{4653,4833},{4720,4833}
X(4834){55,4834},{3715,4834}
X(4835){4594,4835}
X(4838){2321,4838},{4007,4838},{4820,4838}
X(4839){239,4839},{3985,4839},{4061,4839},{4765,4839},{4771,4839}
X(4840){21,4840},{4658,4840},{4877,4840}
X(4841){2,4841},{391,4841},{461,4841},{2321,4841},{4061,4841},{4765,4841}
X(4843){8,4843},{4061,4843},{4082,4843},{4843,4822}
X(4844){8,4844},{4720,4893}
X(4847){3699,4847},{4572,4847},{4847,354}
X(4848){100,1042},{145,4848},{3952,4848}
X(4849){3158,4849},{3699,3896},{3939,1402},{4069,4849}
X(4850){333,75},{646,4850},{662,4850}
X(4853){3699,4853},{4853,3304}
X(4855){4571,4855}
X(4857){1897,4857}
X(4858){3261,4858},{4391,4858},{4397,4858},{4560,3942},{4858,1086}
X(4860){100,4860}
X(4861){643,1385},{1043,4420},{3699,4861}
X(4862){664,4862}
X(4864){644,4864},{3680,4864}
X(4866){4866,2334}
X(4867){644,4867},{4511,3218},{4720,4867},{4767,4867}
X(4869){645,4869}
X(4870){1125,553},{4427,4870},{4717,4717},{4767,4870}
X(4871){3699,4871}
X(4872){314,4872},{4569,4872}
X(4873){346,8},{4873,45}
X(4874){281,4874},{3923,4874}
X(4876){346,646},{4562,4876},{4876,292}
X(4878){3939,1400},{4069,4878}
X(4879){3680,4879}
X(4880){4756,4880}
X(4881){643,3880}
X(4882){8,938},{3699,4882},{4882,3303}
X(4883){100,4883}
X(4885){3729,4885}
X(4887){664,4887},{4373,4887}
X(4888){664,4888}
X(4890){3903,4890}
X(4892){3952,4892}
X(4893){9,4893},{45,4893},{333,4379},{650,513},{3711,4893},{4720,4844},{4814,4825},{4873,4893},{4944,4944}
X(4895){200,4895},{519,4895},{1043,3716},{3689,4895},{3900,4895},{4528,4528},{4895,1960},{4900,4895}
X(4896){664,4896}
X(4897){3879,4897},{4373,4897}
X(4901){8,4000},{4901,3242}
X(4902){664,4902}
X(4904){4391,4904},{4468,4904},{4560,1358}
X(4905){8,4462},{21,4905},{1280,4905},{3873,4905}
X(4908){646,4908},{2325,519},{4873,4908}
X(4909){664,4909}
X(4912){8,4912}
X(4913){346,4913},{4913,4784}
X(4915){3699,4915}
X(4921){645,4921}
X(4922){519,4922},{3907,4922},{4434,4922}
X(4925){3161,4925},{3717,4925},{4899,4925}
X(4926){8,4926},{314,4408},{522,3667},{3632,4926}
X(4927){693,4927},{1266,4927},{3596,4927},{4373,4927}
X(4930){4767,4930}
X(4931){2321,4931},{3700,523},{4873,4931},{4944,4931}
X(4932){333,4932}
X(4933){3712,524},{4873,4933}
X(4937){4009,536},{4873,4937}
X(4938){4007,4938}
X(4939){4397,4939},{4939,3756}
X(4943){8,4943},{3635,4943}
X(4944){346,4944},{3239,522},{4671,4944},{4873,4944},{4944,4893}
X(4945){4582,4945}
X(4946){3699,4946}
X(4948){4873,4948}
X(4949){3161,4949},{4007,4949},{4898,4949}
X(4951){3790,4951},{4522,824},{4873,4951}
X(4953){4163,4953},{4546,4953}
X(4955){668,4955}
X(4957){4391,4957},{4791,4957},{4858,1111}
X(4958){2325,4958},{4007,4958},{4727,4958},{4820,4958}
X(4959){200,4959},{3632,4959},{3900,4162}
X(4960){333,4960},{3615,4960}
X(4961){8,4961}
X(4962){8,4962},{3621,4962}
X(4963){4007,4963}
X(4964){8,4964}
To ETC

Compiled by Peter J C Moses.