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

 Centre  Daleth Conjugates
X(1){1,44},{1,513},{1,649},{1,650},{1,652},{1,654},{1,656},{1,657},{1,659},{1,661},{1,672},{1,770},{1,798},{1,822},{1,851},{1,896},{1,899},{1,910},{1,1155},{1,1491},{1,1575},{1,1635},{1,1755},{1,2173},{1,2182},{1,2183},{1,2225},{1,2227},{1,2228},{1,2229},{1,2230},{1,2231},{1,2232},{1,2233},{1,2234},{1,2235},{1,2236},{1,2237},{1,2238},{1,2239},{1,2240},{1,2243},{1,2244},{1,2245},{1,2246},{1,2247},{1,2252},{1,2253},{1,2254},{1,2265},{1,2272},{1,2290},{1,2312},{1,2313},{1,2314},{1,2315},{1,2348},{1,2483},{1,2484},{1,2503},{1,2509},{1,2511},{1,2515},{1,2516},{1,2522},{1,2526},{1,2578},{1,2579},{1,2590},{1,2591},{1,2600},{1,2610},{1,2624},{1,2630},{1,2631},{1,2635},{1,2637},{1,2641},{1,2642},{1,3000},{1,3013},{1,3287},{1,3330},{1,3768},{1,4394},{1,4724},{1,4782},{1,4784},{1,4790},{1,4813},{1,4893},{2,3008},{7,516},{75,1733},{82,3405},{679,1},{765,1},{1910,3404}
X(2){2,30},{2,511},{2,512},{2,513},{2,514},{2,515},{2,516},{2,517},{2,518},{2,519},{2,520},{2,521},{2,522},{2,523},{2,524},{2,525},{2,526},{2,527},{2,528},{2,529},{2,530},{2,531},{2,532},{2,533},{2,534},{2,535},{2,536},{2,537},{2,538},{2,539},{2,540},{2,541},{2,542},{2,543},{2,544},{2,545},{2,674},{2,680},{2,688},{2,690},{2,696},{2,698},{2,700},{2,702},{2,704},{2,706},{2,708},{2,710},{2,712},{2,714},{2,716},{2,718},{2,720},{2,722},{2,724},{2,726},{2,730},{2,732},{2,734},{2,736},{2,740},{2,742},{2,744},{2,746},{2,752},{2,754},{2,758},{2,760},{2,766},{2,768},{2,772},{2,776},{2,778},{2,780},{2,782},{2,784},{2,786},{2,788},{2,790},{2,792},{2,794},{2,796},{2,802},{2,804},{2,806},{2,808},{2,812},{2,814},{2,816},{2,818},{2,824},{2,826},{2,830},{2,832},{2,834},{2,838},{2,888},{2,891},{2,900},{2,912},{2,916},{2,918},{2,924},{2,926},{2,928},{2,952},{2,971},{2,1154},{2,1499},{2,1503},{2,1510},{2,1912},{2,1938},{2,2385},{2,2386},{2,2387},{2,2388},{2,2389},{2,2390},{2,2391},{2,2392},{2,2393},{2,2574},{2,2575},{2,2771},{2,2772},{2,2773},{2,2774},{2,2775},{2,2776},{2,2777},{2,2778},{2,2779},{2,2780},{2,2781},{2,2782},{2,2783},{2,2784},{2,2785},{2,2786},{2,2787},{2,2788},{2,2789},{2,2790},{2,2791},{2,2792},{2,2793},{2,2794},{2,2795},{2,2796},{2,2797},{2,2798},{2,2799},{2,2800},{2,2801},{2,2802},{2,2803},{2,2804},{2,2805},{2,2806},{2,2807},{2,2808},{2,2809},{2,2810},{2,2811},{2,2812},{2,2813},{2,2814},{2,2815},{2,2816},{2,2817},{2,2818},{2,2819},{2,2820},{2,2821},{2,2822},{2,2823},{2,2824},{2,2825},{2,2826},{2,2827},{2,2828},{2,2829},{2,2830},{2,2831},{2,2832},{2,2833},{2,2834},{2,2835},{2,2836},{2,2837},{2,2838},{2,2839},{2,2840},{2,2841},{2,2842},{2,2843},{2,2844},{2,2845},{2,2846},{2,2847},{2,2848},{2,2849},{2,2850},{2,2851},{2,2852},{2,2853},{2,2854},{2,2869},{2,2870},{2,2871},{2,2872},{2,2873},{2,2874},{2,2875},{2,2876},{2,2877},{2,2878},{2,2879},{2,2880},{2,2881},{2,2882},{2,3221},{2,3307},{2,3308},{2,3309},{2,3413},{2,3414},{2,3564},{2,3566},{2,3667},{2,3738},{2,3800},{2,3805},{2,3808},{2,3810},{2,3827},{2,3849},{2,3852},{2,3880},{2,3887},{2,3900},{2,3906},{2,3907},{2,3910},{2,4083},{2,4132},{2,4139},{2,4145},{2,4151},{2,4155},{2,4160},{2,4715},{2,4725},{2,4762},{2,4777},{2,4778},{2,4785},{2,4802},{2,4843},{2,4844},{2,4912},{2,4926},{2,4943},{2,4961},{2,4962},{2,4964},{1016,2},{1275,2},{4590,2}
X(3){2,441},{3,520},{3,647},{3,652},{3,684},{3,686},{3,852},{3,1459},{3,1636},{3,3049},{3,3284},{3,3289},{3,3292},{6,1570},{69,3564},{250,3}
X(4){4,230},{4,231},{4,232},{4,468},{4,523},{4,647},{4,650},{4,676},{4,1637},{4,1886},{4,1990},{4,2485},{4,2489},{4,2490},{4,2491},{4,2492},{4,2493},{4,2501},{4,2977},{4,3003},{4,3011},{4,3012},{4,3018},{4,3064},{4,3290},{4,3291},{4,3310},{4,3806},{4,4874}
X(5){2,297},{5,2081},{5,2600}
X(6){1,1279},{2,230},{4,1503},{6,187},{6,237},{6,351},{6,512},{6,647},{6,649},{6,663},{6,665},{6,667},{6,669},{6,887},{6,890},{6,902},{6,1055},{6,1495},{6,1946},{6,1960},{6,2223},{6,2488},{6,2502},{6,2978},{6,3005},{6,3009},{6,3010},{6,3016},{6,3229},{6,3230},{6,3231},{6,3250},{6,3288},{6,3331},{6,3569},{6,3724},{6,3747},{6,3804},{6,4775},{6,4834},{57,910},{58,3286},{249,6},{1016,6},{1252,6},{1262,6},{2226,6}
X(7){7,241},{7,514},{7,650},{7,665},{7,905},{7,1323},{7,1375},{7,1465},{7,1638},{7,3002},{7,3004},{7,3008},{7,3015},{7,3669},{7,3676},{7,3776},{7,3911},{7,3960},{7,4369},{7,4763},{7,4841}
X(8){8,522},{8,650},{8,1639},{8,2325},{8,3239},{8,3693},{8,3700},{8,3709},{8,3712},{8,3716},{8,3985},{8,4009},{8,4070},{8,4130},{8,4157},{8,4521},{8,4522},{8,4526},{8,4529},{8,4765},{8,4820},{8,4913},{8,4944},{4076,8}
X(9){1,4864},{9,650},{9,663},{9,861},{9,2340},{9,3689},{9,3900},{9,4041},{9,4105},{9,4162},{9,4433},{9,4435},{9,4477},{9,4814},{9,4895},{9,4959},{4564,9}
X(10){2,3912},{10,523},{10,661},{10,3700},{10,3930},{10,3943},{10,3994},{10,4010},{10,4024},{10,4037},{10,4053},{10,4062},{10,4064},{10,4079},{10,4088},{10,4120},{10,4122},{10,4140},{10,4144},{10,4156},{10,4171},{10,4804},{10,4806},{10,4824},{10,4838},{10,4841},{10,4931},{75,726},{4600,10}
X(11){7,11},{8,11},{11,4530},{261,11},{1123,11},{1336,11},{3596,11}
X(12){12,2610},{12,4024}
X(13){13,395},{13,523}
X(14){14,396},{14,523},{14,3272}
X(15){15,526}
X(16){16,526}
X(17){17,523}
X(18){18,523}
X(19){19,661},{19,663},{19,810},{19,862},{19,2356},{278,1886}
X(21){21,521},{21,650},{21,1021},{21,1936},{21,2323},{21,3063},{21,3684},{21,3737},{21,4827}
X(22){22,2485}
X(23){23,2492}
X(24){24,924}
X(25){4,460},{25,512},{25,1692},{25,2211},{25,2484},{25,2489},{25,2495},{25,2514},{25,3049},{25,3063},{250,25}
X(27){27,242},{27,514},{27,1459},{27,1870},{27,3737}
X(28){28,513},{28,1430},{28,2201}
X(29){29,243},{29,522},{29,652},{29,1021},{29,1731},{29,1776},{29,3064}
X(30){13,396},{14,395},{30,1636},{30,1637},{30,1651},{30,3163},{1494,30}
X(31){19,2312},{31,667},{31,788},{31,798},{31,810},{31,863},{31,922},{31,1919},{31,1924},{31,2084},{31,2251},{31,3063},{765,31},{1101,31},{1110,31}
X(32){6,1692},{32,669},{32,688},{32,864},{32,1919},{32,1980},{32,2491},{32,3049},{1252,32},{4590,32}
X(33){33,657},{33,4041}
X(34){34,649},{34,4017}
X(35){35,2605}
X(36){36,654}
X(37){1,518},{2,1575},{37,512},{37,661},{37,4041},{37,4524},{37,4705},{37,4729},{37,4730},{37,4770},{37,4822},{4567,37}
X(38){1,1959},{38,2084},{38,2530},{75,2227}
X(39){2,3229},{6,511},{39,688},{39,3005},{39,4093}
X(41){41,3063},{2149,41}
X(42){1,3009},{6,672},{42,512},{42,798},{42,3709},{42,4079},{42,4455},{42,4826},{42,4832},{4570,42}
X(43){43,4083}
X(44){44,678},{44,1635},{44,1960},{44,3251},{44,4730},{44,4895},{88,44}
X(45){45,4770},{45,4775},{45,4814},{45,4825},{45,4893}
X(48){48,810},{48,822},{48,1946}
X(51){6,232}
X(54){54,50},{54,647},{54,654},{54,924},{54,1971},{54,2081},{54,2623},{54,3050}
X(55){9,2348},{55,657},{55,663},{55,853},{55,926},{55,3063},{55,3709},{59,55},{1318,55},{4076,55}
X(56){56,649},{56,854},{56,1404},{56,3063},{56,3310},{56,4832},{59,56},{269,1456}
X(57){57,513},{57,663},{57,855},{57,1149},{57,1279},{57,1284},{57,1319},{57,1455},{57,1456},{57,1457},{57,1458},{57,1459},{57,1463},{57,1464},{57,1769},{57,2605},{57,3669},{57,3777},{57,4017},{57,4367},{57,4822},{4564,57}
X(58){58,649},{58,834},{58,1459},{58,1914},{58,1919},{58,3285},{58,3733},{4570,58},{4600,58}
X(59){59,101},{59,109},{59,654},{59,665},{59,906},{59,928},{59,1415},{59,1983},{59,2283},{59,2427},{59,4559}
X(60){60,654},{60,4282}
X(61){61,1510}
X(62){62,1510}
X(63){63,521},{63,656},{63,810},{63,856},{63,905},{63,1459},{63,1818},{63,2584},{63,2585}
X(64){64,647},{64,657},{64,2451}
X(65){7,1463},{57,241},{65,647},{65,661},{65,3709},{65,4017}
X(66){66,647},{66,826}
X(67){67,39},{67,647},{67,1640},{67,1649},{67,2528},{67,3906}
X(68){68,647}
X(69){69,441},{69,525},{69,647},{69,905},{69,2504},{69,2510},{69,2519},{69,2522},{69,2523},{69,2524},{69,2525},{69,3265},{69,3977},{69,4025}
X(70){70,647}
X(71){3,1818},{71,647},{71,810}
X(72){72,647},{72,656}
X(73){73,647},{73,822}
X(74){74,6},{74,647},{74,2433}
X(75){75,514},{75,661},{75,693},{75,857},{75,908},{75,914},{75,1577},{75,1959},{75,2084},{75,2582},{75,2583},{75,3239},{75,3250},{75,3762},{75,3766},{75,3835},{75,3904},{75,3912},{75,3936},{75,3948},{75,4129},{75,4358},{75,4391},{75,4462},{75,4468},{75,4486},{75,4728},{75,4766},{75,4776},{75,4789},{75,4791},{75,4801},{75,4823}
X(76){76,325},{76,523},{76,684},{76,693},{76,850},{76,858},{76,1273},{76,1491},{76,2512},{76,2513},{76,2514},{76,2517},{76,3001},{76,3004},{76,3005},{76,3006},{76,3007},{76,3014},{76,3260},{76,3261},{76,3262},{76,3263},{76,3264},{76,3265},{76,3266},{76,3267},{76,3268},{76,3837},{76,4397},{76,4927}
X(77){77,652},{77,905},{77,4091}
X(78){78,521},{78,652}
X(79){79,650},{79,4802}
X(80){80,37},{80,650},{80,4024},{80,4777}
X(81){81,36},{81,238},{81,513},{81,667},{81,859},{81,905},{81,1019},{81,1756},{81,2530},{81,3220},{81,3286},{81,3733},{81,3737},{81,3803},{81,4040},{81,4057},{81,4164},{81,4455},{81,4481},{81,4491},{81,4833},{81,4840},{81,4905},{4567,81},{4601,81}
X(82){82,661},{82,830},{82,1580},{82,1924},{82,4040}
X(83){83,23},{83,385},{83,523},{83,659},{83,669},{83,4057},{83,4580}
X(84){84,650},{84,1459}
X(85){85,522},{85,693},{85,1266},{85,2254},{85,3676},{85,4017},{85,4025},{85,4077},{85,4374},{85,4442},{85,4453},{85,4458},{85,4467},{85,4509},{85,4804},{85,4815}
X(86){86,239},{86,514},{86,649},{86,1019},{86,1021},{86,3218},{86,3798},{86,4025},{86,4063},{86,4091},{86,4107},{86,4498},{86,4560},{86,4707},{86,4750},{86,4765},{86,4786},{86,4932},{86,4960},{4600,86}
X(87){87,649},{87,4083},{87,4367},{87,4435},{87,4449}
X(88){88,1},{88,513},{88,764},{88,1022},{88,3251},{88,4378},{88,4775}
X(89){89,513},{89,1960},{89,3246},{89,3960},{89,4794}
X(90){90,650},{90,2605}
X(91){91,661},{91,2618}
X(92){92,240},{92,522},{92,656},{92,860},{92,1577},{92,1725},{92,1733},{92,1734},{92,1735},{92,1736},{92,1737},{92,1738},{92,1739},{92,1769},{92,1772},{92,1784},{92,1785},{92,1861},{92,2517},{92,2588},{92,2589},{92,2618},{92,4142}
X(93){93,2081},{93,2501}
X(94){94,5},{94,523}
X(95){95,323},{95,401},{95,525},{95,2623},{95,3288},{95,3904}
X(96){96,523},{96,2623}
X(97){97,520}
X(98){98,6},{98,523},{98,879},{98,1316},{98,1640},{98,2395},{98,2422},{98,2451},{98,2452},{98,2453},{98,3049},{98,3050},{98,3287},{98,3288}
X(99){2,620},{99,2},{99,6},{99,69},{99,81},{99,86},{99,141},{99,183},{99,193},{99,230},{99,298},{99,299},{99,302},{99,303},{99,323},{99,325},{99,333},{99,343},{99,352},{99,385},{99,391},{99,394},{99,395},{99,396},{99,491},{99,492},{99,524},{99,590},{99,591},{99,597},{99,599},{99,615},{99,940},{99,965},{99,966},{99,992},{99,1007},{99,1150},{99,1184},{99,1185},{99,1211},{99,1213},{99,1270},{99,1271},{99,1611},{99,1613},{99,1641},{99,1648},{99,1654},{99,1812},{99,1963},{99,1991},{99,1992},{99,1993},{99,1994},{99,2063},{99,2086},{99,2106},{99,2238},{99,2287},{99,2303},{99,2407},{99,2421},{99,2668},{99,2895},{99,3051},{99,3054},{99,3055},{99,3068},{99,3069},{99,3180},{99,3181},{99,3231},{99,3289},{99,3314},{99,3329},{99,3570},{99,3578},{99,3580},{99,3589},{99,3593},{99,3595},{99,3618},{99,3619},{99,3620},{99,3629},{99,3630},{99,3631},{99,3763},{99,3815},{99,3936},{99,3945},{99,4383},{99,4417},{99,4585},{99,4648},{99,4869},{99,4921}
X(100){1,3722},{100,1},{100,6},{100,9},{100,37},{100,44},{100,45},{100,72},{100,213},{100,218},{100,219},{100,220},{100,238},{100,392},{100,405},{100,518},{100,611},{100,613},{100,954},{100,956},{100,958},{100,960},{100,984},{100,1001},{100,1023},{100,1083},{100,1100},{100,1104},{100,1107},{100,1108},{100,1124},{100,1191},{100,1203},{100,1212},{100,1279},{100,1335},{100,1386},{100,1449},{100,1453},{100,1616},{100,1642},{100,1713},{100,1723},{100,1724},{100,1728},{100,1736},{100,1743},{100,1757},{100,2087},{100,2176},{100,2256},{100,2257},{100,2273},{100,2284},{100,2300},{100,2323},{100,2324},{100,2329},{100,2427},{100,2663},{100,2911},{100,3061},{100,3074},{100,3191},{100,3230},{100,3242},{100,3243},{100,3246},{100,3247},{100,3294},{100,3297},{100,3298},{100,3299},{100,3301},{100,3508},{100,3553},{100,3554},{100,3555},{100,3640},{100,3641},{100,3723},{100,3731},{100,3751},{100,3954},{100,3970},{100,3973},{100,3990},{100,4053},{100,4426},{100,4649},{100,4663},{100,4864},{100,4867},{664,2398},{4618,100}
X(101){101,6},{101,31},{101,42},{101,55},{101,71},{101,209},{101,212},{101,605},{101,606},{101,672},{101,674},{101,902},{101,1011},{101,1202},{101,1206},{101,1250},{101,1253},{101,1914},{101,1918},{101,2066},{101,2177},{101,2209},{101,2266},{101,2267},{101,2268},{101,2269},{101,2276},{101,2280},{101,2293},{101,2308},{101,2309},{101,2330},{101,2361},{101,2426},{101,3052},{101,3056},{101,3779},{101,4055},{4619,101},{4638,101}
X(102){102,6},{102,652},{102,2432}
X(103){103,6},{103,657},{103,1459},{103,2424}
X(104){104,6},{104,650},{104,2423}
X(105){105,6},{105,513},{105,1024},{105,1027},{105,1643},{105,2440},{105,3063}
X(106){106,6},{106,649},{106,2441}
X(107){107,4},{107,6},{107,53},{107,217},{107,387},{107,393},{107,397},{107,398},{107,1172},{107,1181},{107,1199},{107,1249},{107,1498},{107,1503},{107,1514},{107,1515},{107,1540},{107,1547},{107,1548},{107,1549},{107,1587},{107,1588},{107,1834},{107,1865},{107,1901},{107,1990},{107,2207},{107,2211},{107,2442},{107,2883},{107,3070},{107,3071},{107,3087},{107,3092},{107,3093},{107,3194},{107,3330},{107,3331},{107,3332},{107,3867}
X(108){108,6},{108,19},{108,34},{108,65},{108,221},{108,478},{108,607},{108,608},{108,1409},{108,1456},{108,1829},{108,1841},{108,1876},{108,1880},{108,2082},{108,2182},{108,2202},{108,2261},{108,2262},{108,2263},{108,2264},{108,2285},{108,2288},{108,2331},{108,2362},{108,2443},{108,3197},{108,3827},{108,3959},{108,4185}
X(109){109,6},{109,41},{109,48},{109,56},{109,73},{109,172},{109,198},{109,604},{109,1055},{109,1193},{109,1400},{109,1404},{109,1405},{109,1428},{109,1450},{109,1451},{109,1458},{109,1468},{109,1469},{109,1471},{109,1475},{109,1951},{109,2067},{109,2174},{109,2178},{109,2183},{109,2260},{109,2274},{109,2275},{109,2277},{109,2286},{109,2307},{109,2317},{109,2347},{109,2425},{109,3207}
X(110){99,4226},{110,3},{110,6},{110,15},{110,16},{110,32},{110,39},{110,50},{110,52},{110,58},{110,61},{110,62},{110,182},{110,187},{110,216},{110,284},{110,371},{110,372},{110,386},{110,389},{110,500},{110,511},{110,566},{110,567},{110,568},{110,569},{110,570},{110,571},{110,572},{110,573},{110,574},{110,575},{110,576},{110,577},{110,578},{110,579},{110,580},{110,581},{110,582},{110,583},{110,584},{110,800},{110,970},{110,991},{110,1030},{110,1151},{110,1152},{110,1160},{110,1161},{110,1182},{110,1192},{110,1207},{110,1326},{110,1333},{110,1340},{110,1341},{110,1342},{110,1343},{110,1350},{110,1351},{110,1379},{110,1380},{110,1384},{110,1504},{110,1505},{110,1570},{110,1578},{110,1579},{110,1609},{110,1620},{110,1662},{110,1663},{110,1664},{110,1665},{110,1666},{110,1667},{110,1668},{110,1669},{110,1670},{110,1671},{110,1683},{110,1684},{110,1685},{110,1686},{110,1687},{110,1688},{110,1689},{110,1690},{110,1691},{110,1692},{110,1693},{110,1694},{110,1805},{110,1806},{110,1970},{110,1983},{110,2011},{110,2012},{110,2019},{110,2020},{110,2021},{110,2022},{110,2024},{110,2025},{110,2026},{110,2027},{110,2028},{110,2029},{110,2030},{110,2031},{110,2032},{110,2033},{110,2034},{110,2035},{110,2036},{110,2037},{110,2038},{110,2055},{110,2076},{110,2080},{110,2088},{110,2092},{110,2193},{110,2220},{110,2245},{110,2271},{110,2278},{110,2305},{110,2420},{110,2456},{110,2458},{110,2459},{110,2460},{110,2461},{110,2462},{110,2558},{110,2559},{110,2560},{110,2561},{110,2562},{110,2563},{110,2673},{110,2674},{110,2965},{110,3001},{110,3002},{110,3003},{110,3053},{110,3094},{110,3095},{110,3098},{110,3102},{110,3103},{110,3104},{110,3105},{110,3106},{110,3107},{110,3110},{110,3111},{110,3284},{110,3285},{110,3286},{110,3311},{110,3312},{110,3313},{110,3364},{110,3365},{110,3368},{110,3369},{110,3371},{110,3372},{110,3379},{110,3380},{110,3385},{110,3386},{110,3389},{110,3390},{110,3393},{110,3394},{110,3395},{110,3396},{110,3398},{110,3430},{110,3557},{110,3558},{110,3581},{110,3592},{110,3594},{110,3736},{110,4251},{110,4252},{110,4253},{110,4254},{110,4255},{110,4256},{110,4257},{110,4258},{110,4259},{110,4260},{110,4261},{110,4262},{110,4263},{110,4264},{110,4265},{110,4266},{110,4267},{110,4268},{110,4269},{110,4270},{110,4271},{110,4272},{110,4273},{110,4274},{110,4275},{110,4276},{110,4277},{110,4278},{110,4279},{110,4280},{110,4281},{110,4282},{110,4283},{110,4284},{110,4285},{110,4286},{110,4287},{110,4288},{110,4289},{110,4290},{110,4291}
X(111){111,6},{111,512},{111,2444},{111,2506}
X(112){107,2409},{112,6},{112,25},{112,51},{112,154},{112,159},{112,161},{112,184},{112,206},{112,232},{112,1194},{112,1474},{112,1495},{112,1660},{112,1843},{112,1915},{112,1971},{112,1974},{112,2194},{112,2203},{112,2299},{112,2393},{112,2445},{112,3192},{112,3981}
X(114){325,511}
X(115){2,115},{115,1648},{393,115},{594,115},{1502,115}
X(122){20,122},{253,122}
X(125){4,125},{69,125},{3695,125}
X(136){317,136}
X(140){2,401}
X(141){2,325},{76,698},{141,826},{141,2474},{141,2518},{141,2525},{141,2528},{141,2530},{141,2531},{141,3005},{141,3806}
X(145){145,2976},{145,3667},{145,4394},{145,4521},{145,4925},{145,4949}
X(158){158,661},{158,3064}
X(162){162,1},{162,19},{162,28},{162,48},{162,240},{162,284},{162,380},{162,610},{162,1172},{162,1474},{162,1582},{162,1610},{162,1630},{162,1781},{162,1844},{162,1953},{162,1955},{162,1973},{162,2172},{162,2173},{162,2294},{162,2301},{162,2302},{162,2303},{162,2304},{162,2332},{162,2360},{162,2576},{162,2577},{162,2939}
X(163){163,31},{163,48},{163,560},{163,922},{163,1333},{163,1755},{163,1933},{163,1964},{163,2151},{163,2152},{163,2180},{163,2194},{163,2206},{163,2352},{163,3116},{163,3185},{163,3724},{163,3725},{163,3941},{163,4215}
X(171){171,3287},{171,3805},{171,4164},{171,4367}
X(177){177,650}
X(178){178,522}
X(181){59,181},{181,4079}
X(182){182,3288}
X(183){183,3288}
X(184){184,3049}
X(186){186,526},{186,2081}
X(187){111,187},{187,351}
X(189){189,522},{189,905}
X(190){2,4422},{190,1},{190,2},{190,8},{190,10},{190,42},{190,43},{190,78},{190,145},{190,200},{190,239},{190,306},{190,386},{190,387},{190,498},{190,499},{190,519},{190,551},{190,612},{190,614},{190,869},{190,899},{190,936},{190,938},{190,975},{190,976},{190,978},{190,995},{190,997},{190,1026},{190,1103},{190,1125},{190,1149},{190,1189},{190,1193},{190,1198},{190,1201},{190,1210},{190,1644},{190,1647},{190,1698},{190,1714},{190,1722},{190,1737},{190,1961},{190,1998},{190,1999},{190,2000},{190,2057},{190,2340},{190,2398},{190,2534},{190,2535},{190,2664},{190,2999},{190,3006},{190,3008},{190,3009},{190,3011},{190,3017},{190,3083},{190,3084},{190,3085},{190,3086},{190,3178},{190,3187},{190,3190},{190,3214},{190,3216},{190,3240},{190,3241},{190,3244},{190,3293},{190,3507},{190,3582},{190,3584},{190,3616},{190,3617},{190,3621},{190,3622},{190,3623},{190,3624},{190,3625},{190,3626},{190,3632},{190,3633},{190,3634},{190,3635},{190,3636},{190,3661},{190,3679},{190,3682},{190,3687},{190,3705},{190,3720},{190,3741},{190,3757},{190,3771},{190,3783},{190,3809},{190,3811},{190,3828},{190,3831},{190,3840},{190,3870},{190,3872},{190,3912},{190,3920},{190,3924},{190,3935},{190,3938},{190,3957},{190,3961},{190,3979},{190,4028},{190,4039},{190,4061},{190,4062},{190,4362},{190,4384},{190,4393},{190,4420},{190,4489},{190,4511},{190,4651},{190,4666},{190,4668},{190,4669},{190,4677},{190,4678},{190,4685},{190,4691},{190,4701},{190,4745},{190,4746},{190,4816},{190,4847},{190,4853},{190,4861},{190,4871},{190,4882},{190,4915},{190,4946}
X(192){192,3835},{192,4083},{192,4147}
X(193){193,3566},{193,3798}
X(194){194,3221}
X(200){200,657},{200,3900},{200,4130},{200,4171},{200,4827},{765,200}
X(202){59,202}
X(203){59,203}
X(210){9,3693},{210,3709},{210,4041},{210,4171}
X(212){212,1946}
X(213){31,2223},{213,669},{213,798},{4601,213}
X(215){59,215},{60,215}
X(216){3,511}
X(217){184,237}
X(219){219,652},{219,1946}
X(220){220,657},{220,4105},{220,4524},{1252,220},{1275,220}
X(222){222,1459},{222,1946}
X(225){225,661},{225,2501}
X(226){226,523},{226,656},{226,2457},{226,2533},{226,3801},{226,4017},{226,4041},{226,4695},{4620,226}
X(228){228,810},{228,3049}
X(230){2,6},{98,1503}
X(232){6,51},{25,1843},{232,3569}
X(234){234,514}
X(237){32,3051},{98,237},{184,217},{237,2491}
X(238){1,1100},{238,659},{238,4435}
X(239){1,3720},{2,1125},{239,659},{239,812},{239,3716},{239,4010},{239,4368},{239,4375},{239,4432},{239,4448},{239,4455},{239,4465},{239,4486},{239,4760},{239,4800},{239,4810},{239,4830}
X(240){1,1953}
X(241){1,354},{57,65},{241,926},{241,1362},{241,2254}
X(242){4,1839},{242,4010},{242,4435}
X(243){1,2654}
X(244){1,244},{75,244},{244,764},{244,2087},{269,244},{679,244},{757,244}
X(245){1,2611}
X(248){248,184},{248,647},{248,878}
X(249){249,110},{249,351},{249,526},{249,684},{249,1576},{249,1624},{249,1634},{249,2421},{249,4556},{249,4558},{249,4636}
X(250){250,110},{250,112},{250,1625},{250,1636},{250,2420},{250,3569},{250,4230}
X(251){251,512},{251,1691},{251,2483},{251,2485},{251,2494},{251,3050}
X(252){252,2623}
X(253){253,525},{253,3239}
X(254){254,924},{254,2501}
X(255){255,680},{255,822},{1101,255}
X(256){256,650},{256,3250},{256,4083}
X(257){257,522},{257,1491},{257,3835},{257,4010}
X(261){261,3904},{261,3910},{261,4435},{261,4560}
X(262){262,523},{262,3569}
X(263){263,512},{263,2021},{263,2491},{263,2497},{263,2513}
X(264){264,297},{264,525},{264,850},{264,2501},{264,2592},{264,2593},{264,3569},{264,3580},{264,4391}
X(265){265,216},{265,647}
X(267){267,661},{267,2605}
X(269){269,649},{269,3669}
X(270){270,3737}
X(272){272,514}
X(273){273,514},{273,3064},{273,4077}
X(274){274,320},{274,350},{274,513},{274,693},{274,2978},{274,4010},{274,4106},{274,4131},{274,4811},{274,4872},{4601,274}
X(275){275,186},{275,523}
X(276){276,340},{276,520},{276,850}
X(277){277,513}
X(278){278,513},{278,1835},{278,1874},{278,1875},{278,1876},{278,1877},{278,1878},{278,1884}
X(279){279,513},{279,676},{279,2488},{279,2494},{279,2495},{279,2496},{279,2497},{279,2498},{279,2499},{279,2520},{279,2976},{279,3660},{279,3676},{1275,279}
X(280){280,521},{280,3239}
X(281){281,3064},{281,3700},{281,3900}
X(282){282,652},{282,3900}
X(283){283,652}
X(284){284,652},{284,663},{284,1951},{284,2361}
X(285){285,1021}
X(286){286,693},{286,905},{286,4560}
X(287){287,3},{287,525},{287,878},{287,879}
X(288){288,1157},{288,1510}
X(290){290,2},{290,647},{290,850},{290,2395}
X(291){291,37},{291,513},{291,876},{291,3250},{291,3252},{291,3572},{291,4079},{291,4502}
X(292){292,42},{292,649},{292,788},{292,875},{292,1908},{292,3572},{292,4507}
X(293){293,48},{293,656}
X(294){294,55},{294,650},{294,884},{294,1024}
X(295){295,71},{295,1459}
X(296){296,73},{296,652}
X(297){2,5},{4,427},{297,114},{297,132},{297,684},{297,2799},{297,2967}
X(298){298,3268}
X(299){299,3268}
X(300){300,850}
X(301){301,850}
X(304){304,656},{304,4025}
X(305){305,525},{305,3267},{305,4143}
X(306){306,525},{306,656},{306,4064}
X(307){307,525}
X(308){308,316},{308,512},{308,850},{308,3766},{308,3978}
X(309){309,4025},{309,4391}
X(310){310,514},{310,1921},{310,3261},{310,4481},{310,4828}
X(312){312,522},{312,3717},{312,4041},{312,4086},{312,4147},{312,4163},{312,4391},{312,4397},{312,4723},{312,4768},{312,4811}
X(313){313,850},{313,1577},{313,4024}
X(314){314,650},{314,3975},{314,4391},{314,4560}
X(315){315,2485}
X(316){316,2492}
X(318){318,3064},{318,3239},{318,4086}
X(319){319,4467}
X(320){320,3904},{320,3960},{320,4453},{320,4707}
X(321){75,3263},{321,523},{321,1577},{321,3932},{321,3992},{321,4036},{321,4086},{321,4404},{321,4705},{321,4808},{321,4815},{4601,321}
X(323){323,526},{323,1511}
X(325){2,141},{69,343},{325,2799},{325,3569},{1916,698}
X(326){326,822},{326,4091},{326,4131}
X(327){327,850},{327,2525},{327,2799}
X(328){328,343},{328,525}
X(330){330,513},{330,3716},{330,3834},{330,3835},{330,3837},{330,4369},{330,4806},{330,4871},{330,4874},{330,4885},{330,4892},{330,4928},{330,4932},{330,4940}
X(331){331,693}
X(332){332,652}
X(333){333,522},{333,663},{333,1944},{333,3100},{333,3685},{333,3737},{333,4511},{333,4560},{4620,333}
X(334){334,321},{334,693},{334,824},{334,3776},{334,4024},{334,4444},{334,4500}
X(335){335,10},{335,514},{335,764},{335,876},{335,1491},{335,2530},{335,2533},{335,3126},{335,3777},{335,4147},{335,4444},{335,4490},{335,4705},{335,4824}
X(336){336,63},{336,822}
X(337){337,306},{337,4025}
X(338){76,338},{338,868},{2052,338}
X(339){264,339},{305,339}
X(340){340,3268}
X(341){341,3239},{341,4171},{341,4397}
X(343){69,325},{343,1568}
X(344){344,3309},{344,4468}
X(345){345,521}
X(346){346,3239},{346,3900},{346,4148},{346,4163},{346,4524},{346,4528},{346,4546},{1016,346}
X(348){348,521},{348,4025},{348,4131}
X(349){349,850},{349,4077},{349,4086},{349,4088}
X(350){2,3739},{75,4359},{350,812},{350,3766},{350,4148}
X(351){691,351}
X(354){1,241}
X(367){367,513}
X(371){371,924}
X(372){372,924}
X(385){2,3589},{385,804},{385,4107},{385,4154},{385,4164},{894,4697}
X(386){386,834}
X(388){388,2522}
X(391){391,4765},{391,4843}
X(393){393,460},{393,512},{393,2501},{393,2520}
X(394){249,394},{394,520},{394,4091},{1275,394}
X(395){2,396},{14,30}
X(396){2,395},{13,30}
X(401){2,140}
X(403){403,686}
X(415){415,2785}
X(418){577,3289}
X(419){4,428},{419,804}
X(421){4,3575}
X(422){422,2787}
X(423){423,2786}
X(424){4,429}
X(425){425,2798}
X(427){4,297},{427,826}
X(428){4,419}
X(429){4,424}
X(439){4590,439}
X(441){2,3},{287,3564}
X(450){4,1885},{450,2797}
X(459){459,523}
X(460){4,25}
X(461){461,4827},{461,4843}
X(462){4,463}
X(463){4,462}
X(468){468,690}
X(476){476,6},{476,13},{476,14},{476,113},{476,115},{476,265},{476,381},{476,399},{476,542},{476,1625},{476,1879},{476,1989},{476,2341},{476,2437},{476,2465},{476,2466},{476,3013},{476,3014},{476,3015},{476,3016},{476,3017},{476,3018},{476,3019},{476,3163},{476,3818}
X(477){477,6},{477,1637},{477,2436}
X(479){479,3669}
X(480){480,4105}
X(485){485,523}
X(486){486,523}
X(493){493,512}
X(494){494,512}
X(502){502,4024}
X(511){3,216},{6,39},{290,511},{325,114},{511,684},{511,2491},{511,3569},{694,3229}
X(512){110,512},{512,351},{512,865},{512,888},{512,1084},{512,1645},{512,2086},{512,2491},{512,3121},{512,3122},{512,3124},{649,665},{670,512},{3952,512},{4557,512}
X(513){100,513},{513,244},{513,665},{513,866},{513,891},{513,1015},{513,1635},{513,1643},{513,1646},{513,2087},{513,2170},{513,3121},{513,3125},{513,3310},{513,3675},{513,4475},{668,513},{934,513},{3676,676},{4618,513}
X(514){190,514},{514,11},{514,244},{514,676},{514,867},{514,900},{514,1086},{514,1638},{514,1647},{514,1769},{514,2254},{514,2310},{514,2486},{514,2504},{514,2505},{514,3120},{514,3122},{514,3123},{514,3756},{514,3837},{514,4010},{514,4459},{514,4466},{514,4728},{514,4750},{514,4809},{658,514},{1978,514},{4610,514}
X(516){7,1},{516,676},{673,3008}
X(517){517,1769},{517,3310}
X(518){1,37},{9,1212},{291,1575},{518,665},{518,1642},{518,2254},{518,3126},{2481,518}
X(519){519,900},{519,1635},{519,1639},{519,1644},{519,4120},{519,4370},{519,4448},{519,4773},{519,4958},{903,519}
X(520){110,520},{520,1636},{520,2972},{520,3269},{4566,520}
X(521){4571,521}
X(522){522,11},{522,1146},{522,1639},{522,2170},{522,3119},{522,4124},{522,4530},{522,4534},{664,522},{3699,522}
X(523){99,523},{107,523},{514,918},{523,115},{523,125},{523,245},{523,246},{523,247},{523,686},{523,690},{523,868},{523,1116},{523,1562},{523,1637},{523,1640},{523,1648},{523,2081},{523,2088},{523,2610},{523,3120},{523,3124},{523,3125},{523,3269},{523,3569},{523,4120},{693,3837},{3952,523},{4566,523},{4609,523}
X(524){524,351},{524,690},{524,1641},{524,1649},{524,2482},{524,4750},{671,524}
X(525){525,122},{525,125},{525,684},{525,1650},{525,2972},{525,4466},{648,525},{4563,525}
X(526){526,2088}
X(527){527,1638},{1121,527}
X(528){528,1642},{528,1643}
X(532){299,619}
X(533){298,618}
X(536){536,891},{536,4728},{3227,536}
X(538){538,888},{3228,538}
X(542){542,1640}
X(543){543,1641}
X(545){545,1644}
X(553){7,1447}
X(554){554,514}
X(560){560,1924},{560,1980},{1110,560}
X(561){561,824},{561,1577},{561,3261},{561,4509}
X(577){1262,577}
X(588){588,512},{588,2459}
X(589){589,512},{589,2460}
X(593){249,593},{593,3733},{4590,593}
X(594){10,3932},{594,4024},{594,4705},{1016,594}
X(595){595,4057}
X(596){596,661},{596,1639},{596,3837}
X(598){598,351},{598,523},{598,4108}
X(599){599,3906},{599,4141}
X(604){604,667},{2149,604},{4564,604}
X(605){2149,605}
X(606){2149,606}
X(607){607,3709}
X(608){608,667}
X(612){612,2484}
X(618){298,533}
X(619){299,532}
X(620){2,99}
X(643){643,9},{643,21},{643,41},{643,78},{643,284},{643,1819},{643,2268},{643,2287},{643,2289},{643,2327},{643,3217},{643,3601},{643,3786},{643,3876},{643,4877}
X(644){644,9},{644,55},{644,200},{644,210},{644,380},{644,480},{644,1260},{644,1864},{644,2264},{644,2348},{644,2900},{644,3059},{644,3158},{644,3174},{644,3683},{644,3684},{644,3689},{644,3693},{644,3694},{644,3711},{644,3713},{644,3715},{644,3965},{644,4073},{644,4254},{644,4326},{644,4512}
X(645){645,8},{645,21},{645,55},{645,333},{645,345},{645,958},{645,1043},{645,1259},{645,1792},{645,3189},{645,3486},{645,3703},{645,3704},{645,3712},{645,3871},{645,3913},{645,3996},{645,4030},{645,4042},{645,4046},{645,4267},{645,4313},{645,4433},{645,4720}
X(646){646,8},{646,210},{646,312},{646,341},{646,497},{646,960},{646,1265},{646,1837},{646,2478},{646,2551},{646,2899},{646,3057},{646,3701},{646,3702},{646,3706},{646,3714},{646,3876},{646,3877},{646,3880},{646,3885},{646,3893},{646,3902},{646,3966},{646,3974},{646,3975},{646,4009},{646,4113},{646,4124},{646,4514},{646,4517},{646,4519},{646,4662},{646,4673},{646,4679},{646,4711},{646,4723},{646,4863},{646,4886},{646,4903},{646,4914}
X(647){112,647},{647,3269},{4558,647},{4574,647}
X(648){648,2},{648,3},{648,4},{648,5},{648,20},{648,21},{648,22},{648,23},{648,24},{648,25},{648,26},{648,27},{648,28},{648,29},{648,30},{648,140},{648,186},{648,199},{648,235},{648,237},{648,297},{648,376},{648,377},{648,378},{648,379},{648,381},{648,382},{648,383},{648,384},{648,401},{648,402},{648,403},{648,404},{648,405},{648,406},{648,407},{648,408},{648,409},{648,410},{648,411},{648,412},{648,413},{648,414},{648,415},{648,416},{648,417},{648,418},{648,419},{648,420},{648,421},{648,422},{648,423},{648,424},{648,425},{648,426},{648,427},{648,428},{648,429},{648,430},{648,431},{648,432},{648,433},{648,434},{648,435},{648,436},{648,437},{648,438},{648,439},{648,440},{648,441},{648,442},{648,443},{648,444},{648,445},{648,446},{648,447},{648,448},{648,449},{648,450},{648,451},{648,452},{648,453},{648,454},{648,455},{648,456},{648,457},{648,458},{648,460},{648,461},{648,462},{648,463},{648,464},{648,465},{648,466},{648,467},{648,468},{648,469},{648,470},{648,471},{648,472},{648,473},{648,474},{648,475},{648,546},{648,547},{648,548},{648,549},{648,550},{648,631},{648,632},{648,851},{648,852},{648,853},{648,854},{648,855},{648,856},{648,857},{648,858},{648,859},{648,860},{648,861},{648,862},{648,863},{648,864},{648,865},{648,866},{648,867},{648,868},{648,964},{648,1003},{648,1004},{648,1005},{648,1006},{648,1008},{648,1009},{648,1010},{648,1011},{648,1012},{648,1013},{648,1080},{648,1113},{648,1114},{648,1312},{648,1313},{648,1314},{648,1315},{648,1316},{648,1325},{648,1344},{648,1345},{648,1346},{648,1347},{648,1368},{648,1370},{648,1375},{648,1513},{648,1529},{648,1532},{648,1536},{648,1551},{648,1556},{648,1557},{648,1559},{648,1563},{648,1564},{648,1567},{648,1583},{648,1584},{648,1585},{648,1586},{648,1589},{648,1590},{648,1591},{648,1592},{648,1593},{648,1594},{648,1595},{648,1596},{648,1597},{648,1598},{648,1599},{648,1600},{648,1628},{648,1650},{648,1651},{648,1656},{648,1657},{648,1658},{648,1816},{648,1817},{648,1883},{648,1884},{648,1885},{648,1889},{648,1894},{648,1904},{648,1906},{648,1907},{648,1981},{648,1982},{648,1984},{648,1985},{648,1995},{648,2041},{648,2042},{648,2043},{648,2044},{648,2045},{648,2046},{648,2047},{648,2048},{648,2049},{648,2050},{648,2060},{648,2070},{648,2071},{648,2072},{648,2073},{648,2074},{648,2075},{648,2409},{648,2450},{648,2454},{648,2455},{648,2475},{648,2476},{648,2478},{648,2479},{648,2480},{648,2552},{648,2553},{648,2554},{648,2555},{648,2566},{648,2567},{648,2570},{648,2571},{648,2675},{648,2676},{648,2915},{648,2937},{648,3078},{648,3079},{648,3080},{648,3081},{648,3088},{648,3089},{648,3090},{648,3091},{648,3109},{648,3127},{648,3128},{648,3129},{648,3130},{648,3131},{648,3132},{648,3133},{648,3134},{648,3135},{648,3136},{648,3137},{648,3138},{648,3139},{648,3140},{648,3141},{648,3142},{648,3143},{648,3144},{648,3145},{648,3146},{648,3147},{648,3148},{648,3149},{648,3150},{648,3151},{648,3152},{648,3153},{648,3154},{648,3155},{648,3156},{648,3363},{648,3515},{648,3516},{648,3517},{648,3518},{648,3520},{648,3522},{648,3523},{648,3524},{648,3525},{648,3526},{648,3528},{648,3529},{648,3530},{648,3533},{648,3534},{648,3535},{648,3536},{648,3537},{648,3538},{648,3539},{648,3540},{648,3541},{648,3542},{648,3543},{648,3544},{648,3545},{648,3546},{648,3547},{648,3548},{648,3549},{648,3552},{648,3559},{648,3560},{648,3568},{648,3575},{648,3627},{648,3628},{648,3651},{648,3658},{648,3830},{648,3832},{648,3839},{648,3843},{648,3845},{648,3850},{648,3851},{648,3853},{648,3854},{648,3855},{648,3856},{648,3857},{648,3858},{648,3859},{648,3860},{648,3861},{648,4183},{648,4184},{648,4185},{648,4186},{648,4187},{648,4188},{648,4189},{648,4190},{648,4191},{648,4192},{648,4193},{648,4194},{648,4195},{648,4196},{648,4197},{648,4198},{648,4199},{648,4200},{648,4201},{648,4202},{648,4203},{648,4204},{648,4205},{648,4206},{648,4207},{648,4208},{648,4209},{648,4210},{648,4211},{648,4212},{648,4213},{648,4214},{648,4215},{648,4216},{648,4217},{648,4218},{648,4219},{648,4220},{648,4221},{648,4222},{648,4223},{648,4224},{648,4225},{648,4226},{648,4227},{648,4228},{648,4229},{648,4230},{648,4231},{648,4232},{648,4233},{648,4234},{648,4235},{648,4236},{648,4237},{648,4238},{648,4239},{648,4240},{648,4241},{648,4242},{648,4243},{648,4244},{648,4245},{648,4246},{648,4247},{648,4248},{648,4249},{648,4250}
X(649){101,649},{190,649},{649,1015},{649,1960},{649,3122},{649,3248},{649,3271},{649,3768},{649,4455},{1461,649},{4556,649},{4638,649}
X(650){644,650},{646,650},{650,926},{650,2170},{650,2310},{650,3022},{650,3270},{650,3271},{650,4516},{650,4526},{650,4895},{651,650},{4612,650}
X(651){651,1},{651,3},{651,35},{651,36},{651,40},{651,46},{651,55},{651,56},{651,57},{651,65},{651,165},{651,171},{651,241},{651,260},{651,354},{651,484},{651,517},{651,559},{651,940},{651,942},{651,980},{651,982},{651,986},{651,988},{651,999},{651,1038},{651,1040},{651,1060},{651,1062},{651,1082},{651,1155},{651,1159},{651,1214},{651,1319},{651,1381},{651,1382},{651,1385},{651,1388},{651,1402},{651,1403},{651,1420},{651,1429},{651,1454},{651,1460},{651,1466},{651,1467},{651,1470},{651,1482},{651,1617},{651,1622},{651,1697},{651,1715},{651,1735},{651,1754},{651,1758},{651,1764},{651,1771},{651,1936},{651,2061},{651,2077},{651,2078},{651,2093},{651,2095},{651,2098},{651,2099},{651,2223},{651,2283},{651,2352},{651,2446},{651,2447},{651,2448},{651,2449},{651,2556},{651,2557},{651,2564},{651,2565},{651,2572},{651,2573},{651,2646},{651,2662},{651,3057},{651,3072},{651,3075},{651,3245},{651,3256},{651,3295},{651,3303},{651,3304},{651,3333},{651,3336},{651,3337},{651,3338},{651,3339},{651,3340},{651,3359},{651,3361},{651,3428},{651,3503},{651,3513},{651,3514},{651,3550},{651,3576},{651,3579},{651,3587},{651,3601},{651,3612},{651,3660},{651,3666},{651,3670},{651,3675},{651,3677},{651,3744},{651,3745},{651,3746},{651,3748},{651,3749},{651,3750},{651,3931},{651,3953},{651,3976},{651,3999},{651,4003},{651,4038},{651,4424},{651,4689},{651,4694},{651,4860},{651,4883}
X(652){652,2637},{652,2638},{652,3270},{653,652},{1813,652},{4587,652}
X(653){653,1},{653,4},{653,33},{653,34},{653,73},{653,223},{653,225},{653,226},{653,243},{653,278},{653,388},{653,497},{653,515},{653,581},{653,944},{653,946},{653,948},{653,950},{653,1056},{653,1058},{653,1064},{653,1066},{653,1068},{653,1070},{653,1072},{653,1079},{653,1457},{653,1478},{653,1479},{653,1490},{653,1519},{653,1528},{653,1541},{653,1543},{653,1558},{653,1659},{653,1699},{653,1745},{653,1750},{653,1785},{653,1838},{653,1848},{653,1870},{653,1877},{653,1891},{653,2356},{653,2635},{653,2647},{653,2654},{653,2655},{653,2947},{653,3465},{653,3468},{653,3475},{653,3476},{653,3485},{653,3486},{653,3487},{653,3488},{653,3583},{653,3585},{653,3586},{653,3944},{653,4857}
X(654){655,654}
X(655){655,1},{655,5},{655,11},{655,12},{655,80},{655,119},{655,355},{655,495},{655,496},{655,952},{655,1317},{655,1387},{655,1411},{655,1421},{655,1483},{655,1484},{655,1718},{655,1807},{655,1837},{655,2006},{655,2594},{655,2596},{655,2606},{655,3614},{655,4551}
X(656){162,656},{656,2631},{656,2632},{656,2634},{656,3708},{4592,656}
X(657){101,657},{657,3022},{658,657}
X(658){658,1},{658,7},{658,20},{658,77},{658,170},{658,175},{658,176},{658,269},{658,279},{658,347},{658,390},{658,481},{658,482},{658,516},{658,962},{658,990},{658,991},{658,1042},{658,1044},{658,1323},{658,1371},{658,1372},{658,1373},{658,1374},{658,1442},{658,1443},{658,1448},{658,1458},{658,1721},{658,1742},{658,1770},{658,2263},{658,2293},{658,2951},{658,3000},{658,3007},{658,3010},{658,3012},{658,3019},{658,3100},{658,3160},{658,3188},{658,3332},{658,3600},{658,3638},{658,3639},{658,3663},{658,3664},{658,3668},{658,3671},{658,3672},{658,3674},{658,3945},{658,4021},{658,4089},{658,4292},{658,4293},{658,4294},{658,4295},{658,4296},{658,4297},{658,4298},{658,4299},{658,4300},{658,4301},{658,4302},{658,4303},{658,4304},{658,4305},{658,4306},{658,4307},{658,4308},{658,4309},{658,4310},{658,4311},{658,4312},{658,4313},{658,4314},{658,4315},{658,4316},{658,4317},{658,4318},{658,4319},{658,4320},{658,4321},{658,4322},{658,4323},{658,4324},{658,4325},{658,4326},{658,4327},{658,4328},{658,4329},{658,4330},{658,4331},{658,4332},{658,4333},{658,4334},{658,4335},{658,4336},{658,4337},{658,4338},{658,4339},{658,4340},{658,4341},{658,4342},{658,4343},{658,4344},{658,4345},{658,4346},{658,4347},{658,4348},{658,4349},{658,4350},{658,4351},{658,4352},{658,4353},{658,4354},{658,4355},{658,4356},{658,4862},{658,4887},{658,4888},{658,4896},{658,4902},{658,4909}
X(659){660,659},{874,659},{3573,659}
X(660){660,1},{660,39},{660,291},{660,292},{660,1009},{660,1015},{660,1018},{660,1500},{660,2007},{660,2008},{660,2108},{660,2275},{660,2276},{660,2295},{660,3097},{660,3208},{660,3501},{660,3802},{660,3864},{660,4876},{660,4919}
X(661){513,2254},{661,2642},{661,2643},{661,2645},{661,3122},{661,3125},{661,3708},{661,4155},{661,4516},{661,4730},{662,661},{1018,661},{1020,661},{4033,661},{4602,661}
X(662){662,1},{662,21},{662,31},{662,38},{662,47},{662,58},{662,63},{662,81},{662,191},{662,255},{662,283},{662,595},{662,758},{662,774},{662,846},{662,896},{662,920},{662,968},{662,993},{662,1046},{662,1468},{662,1496},{662,1497},{662,1580},{662,1612},{662,1621},{662,1707},{662,1725},{662,1749},{662,1780},{662,1822},{662,1823},{662,1923},{662,1931},{662,1954},{662,1959},{662,1962},{662,2292},{662,2328},{662,2650},{662,2651},{662,2964},{662,2975},{662,3193},{662,3561},{662,3562},{662,3573},{662,3647},{662,3743},{662,3747},{662,3794},{662,3868},{662,3869},{662,3873},{662,3874},{662,3877},{662,3878},{662,3881},{662,3884},{662,3889},{662,3890},{662,3892},{662,3894},{662,3897},{662,3898},{662,3899},{662,3901},{662,3915},{662,4512},{662,4653},{662,4658}
X(663){109,663},{663,3271},{3699,663},{3939,663},{4626,663},{4636,663}
X(664){664,2},{664,7},{664,9},{664,57},{664,63},{664,142},{664,144},{664,226},{664,307},{664,329},{664,527},{664,553},{664,579},{664,672},{664,894},{664,908},{664,1025},{664,1400},{664,1423},{664,1445},{664,1447},{664,1652},{664,1653},{664,1708},{664,1741},{664,1944},{664,2002},{664,2094},{664,2285},{664,2406},{664,3218},{664,3219},{664,3305},{664,3306},{664,3452},{664,3509},{664,3598},{664,3599},{664,3662},{664,3911},{664,3928},{664,3929},{664,3982},{664,4031},{664,4114},{664,4357},{664,4654}
X(665){649,512},{663,2488},{919,665},{2284,665}
X(666){666,2},{666,11},{666,55},{666,100},{666,105},{666,120},{666,149},{666,390},{666,497},{666,528},{666,673},{666,1001},{666,1376},{666,1621},{666,2110},{666,2550},{666,2886},{666,3021},{666,3035},{666,3058},{666,3434},{666,3816},{666,3826},{666,3829},{666,3925},{666,4026},{666,4366},{666,4413},{666,4421},{666,4423},{666,4428},{666,4429}
X(667){100,667},{667,890},{667,1977},{667,3121},{667,3248},{692,667},{4623,667}
X(668){668,2},{668,37},{668,75},{668,192},{668,312},{668,321},{668,344},{668,345},{668,346},{668,350},{668,536},{668,1229},{668,1267},{668,1278},{668,1575},{668,1646},{668,1997},{668,2276},{668,2277},{668,2345},{668,2397},{668,3175},{668,3210},{668,3263},{668,3290},{668,3644},{668,3666},{668,3672},{668,3693},{668,3739},{668,3752},{668,3772},{668,3797},{668,3995},{668,3998},{668,4000},{668,4037},{668,4043},{668,4261},{668,4358},{668,4359},{668,4441},{668,4452},{668,4461},{668,4479},{668,4506},{668,4657},{668,4664},{668,4671},{668,4681},{668,4686},{668,4687},{668,4688},{668,4698},{668,4699},{668,4704},{668,4718},{668,4726},{668,4739},{668,4740},{668,4751},{668,4755},{668,4764},{668,4772},{668,4788},{668,4812},{668,4821},{668,4850},{668,4908}
X(669){99,669},{669,887},{669,1084},{1576,669},{4557,669}
X(670){670,2},{670,39},{670,76},{670,194},{670,274},{670,305},{670,310},{670,538},{670,980},{670,1180},{670,1194},{670,1196},{670,1228},{670,1230},{670,1645},{670,1655},{670,2229},{670,2396},{670,3117},{670,3229},{670,3266},{670,3291},{670,3767},{670,3788},{670,3926},{670,3934},{670,3948},{670,3978},{670,4352}
X(671){671,2},{671,523},{671,1649},{671,2408},{671,4789},{671,4948}
X(672){6,42},{55,2293},{292,3009},{672,665},{672,926},{673,672}
X(673){673,1},{673,514},{673,663},{673,885},{673,1027},{673,4040},{673,4375},{673,4449},{673,4724},{673,4794}
X(675){675,6},{675,514}
X(676){2398,676},{2400,676},{3676,513}
X(677){677,3},{677,101},{677,103},{677,220},{677,911},{677,2338},{677,2808},{677,3207},{677,3730}
X(678){1,678},{678,3251},{765,678}
X(679){679,88},{679,1022},{679,1635},{679,3960}
X(681){681,6},{681,158}
X(683){683,2489},{683,3267}
X(684){4230,684}
X(685){685,4},{685,32},{685,98},{685,112},{685,115},{685,132},{685,248},{685,1285},{685,1561},{685,1968},{685,2794},{685,3767}
X(687){687,4},{687,110},{687,113},{687,136},{687,247},{687,1147},{687,1300},{687,2986},{687,3043}
X(688){669,2491},{4576,688},{4630,688}
X(689){689,6},{689,76},{689,83},{689,308},{689,732},{689,880},{689,1186},{689,2231},{689,3499},{689,3770}
X(690){690,1648},{690,1649},{892,690}
X(691){691,6},{691,110},{691,111},{691,895},{691,1995},{691,2493},{691,2502},{691,2503},{691,2854},{691,2930},{691,3066},{691,3124}
X(692){109,2426},{692,31},{692,32},{692,41},{692,213},{692,228},{692,766},{692,869},{692,1185},{692,1188},{692,1197},{692,2198},{692,2205},{692,2210},{692,2223},{692,2225},{692,2251},{692,2304}
X(693){668,693},{693,918},{693,1086},{693,1111},{693,1146},{693,3125},{693,3762},{693,4707},{693,4858},{693,4904},{693,4957},{4569,693},{4623,693}
X(694){2,2023},{694,39},{694,512},{694,881},{694,882},{694,2524},{694,2531}
X(695){695,647},{695,3221}
X(697){697,6}
X(698){76,141},{1916,325},{3225,698}
X(699){699,6},{699,3221}
X(701){701,6}
X(703){703,6}
X(705){705,6}
X(707){707,6}
X(709){709,6}
X(711){711,6}
X(713){713,6},{713,1980}
X(715){715,6},{715,1924}
X(717){717,6}
X(719){719,6}
X(721){721,6}
X(723){723,6}
X(725){725,6}
X(726){75,10},{335,3912},{726,3837},{3226,726}
X(727){727,6},{727,1919},{727,4057}
X(728){728,4105},{728,4130}
X(729){729,6},{729,669}
X(731){731,6}
X(733){733,6},{733,688},{733,882}
X(735){735,6}
X(737){737,6}
X(739){739,6},{739,667}
X(740){10,1213},{740,4010},{740,4839}
X(741){741,6},{741,798},{741,3572},{741,3733}
X(743){743,6},{743,788}
X(745){745,6},{745,2084}
X(747){747,6}
X(748){748,4501}
X(749){749,3250}
X(750){750,4378}
X(751){751,1635},{751,3250}
X(752){752,4809}
X(753){753,6},{753,3250}
X(755){755,6},{755,3005}
X(756){37,3930},{756,4079},{756,4155},{756,4705},{765,756}
X(757){757,1019},{757,3960}
X(758){758,2610}
X(759){759,6},{759,661},{759,4833}
X(761){761,6},{761,1491}
X(764){513,764},{693,764}
X(765){765,100},{765,101},{765,644},{765,1018},{765,1023},{765,1026},{765,1635},{765,3573},{765,3799},{765,3887},{765,4587},{765,4752}
X(767){767,6},{767,693}
X(769){769,6}
X(770){771,770}
X(771){771,1},{771,1092}
X(773){773,6}
X(775){775,661}
X(777){777,6}
X(779){779,6}
X(781){781,6}
X(783){783,6}
X(785){785,6},{785,2205}
X(787){787,6},{787,1923}
X(788){3799,788}
X(789){789,6},{789,75},{789,239},{789,742},{789,870},{789,894},{789,2235},{789,3758},{789,3759},{789,4361},{789,4363}
X(791){791,6}
X(793){793,6}
X(795){795,6}
X(797){797,6}
X(798){163,798},{798,3121},{798,4117},{799,798},{1018,798}
X(799){799,1},{799,75},{799,86},{799,274},{799,304},{799,314},{799,326},{799,332},{799,740},{799,874},{799,1010},{799,1043},{799,1045},{799,1097},{799,1733},{799,1740},{799,1930},{799,1964},{799,1966},{799,2234},{799,2274},{799,2667},{799,2669},{799,3403},{799,3736},{799,3875},{799,3886},{799,3905},{799,4008},{799,4360},{799,4647},{799,4673}
X(801){801,523},{801,2071}
X(803){803,6}
X(804){804,2086}
X(805){805,6},{805,694},{805,1084},{805,1178},{805,1634},{805,2311},{805,3117},{805,3511}
X(807){807,6}
X(809){809,6}
X(810){4575,810}
X(811){811,19},{811,27},{811,63},{811,75},{811,92},{811,286},{811,333},{811,1748},{811,1755},{811,1760},{811,1761},{811,1762},{811,1965},{811,2322},{811,2580},{811,2581},{811,4269}
X(812){812,4124},{812,4448},{3570,812},{4562,812}
X(813){813,6},{813,292},{813,869},{813,872},{813,1911},{813,1964},{813,2110},{813,3248},{813,3252},{813,3862},{813,4557}
X(815){815,6}
X(817){817,6},{817,2085}
X(819){819,6}
X(821){821,822}
X(822){163,822},{823,822},{1020,822}
X(823){823,1},{823,29},{823,92},{823,158},{823,820},{823,1047},{823,1096},{823,1784},{823,1895},{823,1896},{823,2586},{823,2587},{823,2658},{823,2659}
X(824){824,4475},{3807,824},{4586,824}
X(825){825,6},{825,560},{825,1631},{825,2210},{825,3764},{825,3778},{825,4471},{825,4484},{825,4497}
X(826){523,2799},{4576,826},{4577,826}
X(827){827,6},{827,22},{827,251},{827,1176},{827,1180},{827,1501},{827,2916},{827,3060},{827,3796}
X(831){831,6},{831,38},{831,4722}
X(833){833,6},{833,977},{833,3721},{833,3868}
X(835){835,6},{835,10},{835,1377},{835,1378},{835,2049},{835,2214},{835,3416},{835,3686},{835,4349},{835,4700}
X(839){839,6},{839,321},{839,3187}
X(840){840,6},{840,665}
X(841){841,6}
X(842){842,6},{842,526},{842,2492},{842,3569}
X(843){843,6},{843,351}
X(847){847,686},{847,2501}
X(849){1101,849}
X(850){670,850},{850,115},{850,127},{850,338},{850,339},{850,2799}
X(851){65,2650},{73,2658}
X(859){859,3310}
X(862){862,4155}
X(868){98,868},{325,868}
X(869){869,788}
X(870){870,649},{870,693},{870,812},{870,4369},{870,4379},{870,4380},{870,4382},{870,4817}
X(871){871,514}
X(872){1110,872}
X(873){873,812},{873,1019},{873,4509}
X(874){874,239},{874,350},{874,2238},{874,3948},{874,3975},{874,4465}
X(875){660,875},{875,798},{875,1084},{875,3248}
X(876){660,876},{876,244},{876,661},{876,3124},{4583,876}
X(877){877,232},{877,297},{877,325}
X(878){878,3049}
X(879){685,879},{879,125},{879,647}
X(880){880,385},{880,3978}
X(881){881,688},{881,1084}
X(882){805,882},{882,2679},{882,3005},{882,3124}
X(883){664,4552},{883,241},{883,3693},{883,3912}
X(884){884,3063},{884,3271}
X(885){885,11},{885,650},{885,1566},{927,885}
X(886){886,2},{886,670},{886,1084},{886,3228}
X(887){887,1645}
X(888){886,888},{888,1645}
X(889){889,2},{889,668},{889,1015},{889,1573},{889,3227}
X(890){898,890}
X(891){889,891},{891,1646}
X(892){892,2},{892,99},{892,111},{892,115},{892,126},{892,148},{892,543},{892,574},{892,620},{892,671},{892,2482},{892,2549},{892,3734},{892,4045}
X(893){893,663},{893,788},{893,4455}
X(894){894,2533},{894,3907},{894,4039},{894,4107},{894,4367},{894,4369},{894,4434},{894,4447},{894,4477},{894,4504},{894,4774},{894,4922}
X(895){895,3},{895,647}
X(896){896,2642},{897,896}
X(897){897,1},{897,661},{897,4160}
X(898){898,6},{898,100},{898,739},{898,1977},{898,1979},{898,3240}
X(899){899,891},{899,3768},{899,4526}
X(900){900,1647},{900,2087},{900,4530},{4555,900}
X(901){901,6},{901,101},{901,106},{901,202},{901,203},{901,995},{901,999},{901,1015},{901,1017},{901,2242},{901,2316},{901,2810},{901,3196},{901,3204},{901,4245}
X(902){106,902},{902,1017},{902,1960}
X(903){903,2},{903,514},{903,1022},{903,2403},{903,4049},{903,4379},{903,4893}
X(904){904,3063}
X(905){905,1364},{905,3270},{905,3937},{905,3942},{1332,905}
X(906){906,48},{906,184},{906,212},{906,228},{906,2253},{906,3990}
X(907){907,6},{907,3917}
X(908){908,1145},{908,1769},{908,2804}
X(909){909,31},{909,663},{909,2423}
X(910){57,6},{105,1279}
X(911){911,31}
X(913){913,31}
X(915){915,6},{915,3657}
X(917){917,6}
X(918){514,523},{666,918},{918,3126},{918,3675},{4444,3837}
X(919){919,6},{919,692},{919,1438},{919,1486},{919,2175},{919,2195},{919,2876},{919,3271},{919,4749}
X(921){921,661}
X(922){923,922}
X(923){923,31},{923,798}
X(925){925,5},{925,6},{925,68},{925,155},{925,485},{925,486},{925,1352},{925,1353},{925,2165},{925,2548},{925,3564},{925,3767}
X(926){663,3709},{885,926},{2283,926}
X(927){927,6},{927,7},{927,294},{927,379},{927,651},{927,673},{927,948},{927,1086},{927,1462},{927,1814},{927,4000},{927,4644}
X(929){929,6},{929,11},{929,1985}
X(930){930,6},{930,17},{930,18},{930,195},{930,231},{930,233},{930,1209},{930,1506},{930,1656},{930,2439},{930,2963},{930,3519}
X(931){931,6},{931,21},{931,941},{931,1778}
X(932){932,6},{932,43},{932,87},{932,171},{932,1197},{932,1376},{932,1575},{932,1740},{932,2162},{932,2319},{932,3510},{932,3684},{932,4386}
X(933){933,6},{933,24},{933,54},{933,973},{933,2917},{933,3567}
X(934){934,6},{934,57},{934,222},{934,223},{934,269},{934,610},{934,910},{934,1190},{934,1407},{934,1418},{934,1419},{934,1427},{934,1439},{934,1465},{934,1615},{934,1730},{934,1763},{934,2003},{934,2097},{934,2270},{934,2999},{934,3752}
X(935){935,6},{935,67},{935,125},{935,1560}
X(937){937,649}
X(939){939,649}
X(941){941,512},{941,650},{941,2499},{941,2500},{941,2512},{941,4507}
X(943){943,650}
X(945){945,652},{945,3310}
X(947){947,652}
X(949){949,652},{949,926}
X(950){8,1731}
X(951){951,652}
X(953){953,6},{953,654},{953,3310}
X(955){955,513}
X(957){957,513},{957,3310}
X(959){959,513}
X(961){961,513}
X(963){963,657}
X(967){967,512},{967,1459}
X(969){969,661},{969,905}
X(972){972,6}
X(976){976,832}
X(977){977,649}
X(979){979,649}
X(981){981,650},{981,669}
X(982){982,3777},{982,3808}
X(983){983,650}
X(984){984,1491},{984,3250}
X(985){985,513},{985,1919}
X(987){987,650},{987,1919}
X(989){989,650}
X(994){994,661},{994,1769}
X(996){996,649},{996,900},{996,2527},{996,3700}
X(998){998,649},{998,1769}
X(1000){1000,650},{1000,900}
X(1001){1001,4724}
X(1002){1002,513},{1002,665},{1002,3709}
X(1010){1010,2484}
X(1014){1014,1019},{1014,1429},{1014,3669},{1014,4790}
X(1015){2,1015},{6,1015},{593,1015},{1015,1646},{1407,1015},{2226,1015}
X(1016){1016,100},{1016,190},{1016,659},{1016,890},{1016,900},{1016,1633},{1016,2976},{1016,2977},{1016,3570},{1016,3699},{1016,3807},{1016,3952},{1016,4427},{1016,4436},{1016,4491},{1016,4557},{1016,4571},{1016,4578},{1016,4756},{1016,4767},{1016,4781}
X(1017){6,1017},{1252,1017}
X(1018){100,1026},{1018,37},{1018,42},{1018,210},{1018,756},{1018,872},{1018,1962},{1018,2238},{1018,2318},{1018,2667},{1018,3725},{1018,3728},{1018,3930},{1018,3949},{1018,4093},{1018,4204},{1018,4272},{1018,4849},{1018,4878}
X(1019){662,1019},{799,1019},{1019,244},{1019,659},{1019,3248},{1019,3942},{4637,1019}
X(1020){1020,42},{1020,65},{1020,73},{1020,227},{1020,851},{1020,1042},{1020,1254},{1020,1427},{1020,1464},{1020,2594},{1020,2650},{1020,2658},{1020,3198},{1020,4642},{1020,4646}
X(1021){662,1021},{823,1021},{1021,1984},{1021,2310},{1021,2638},{4635,1021}
X(1022){1022,244},{1022,513},{3257,1022}
X(1023){1023,44},{1023,678},{1023,902},{1023,3689},{3257,1023}
X(1024){1024,663},{1024,2170}
X(1025){651,4551},{1025,241},{1025,518},{1025,1458},{1025,1818},{1025,2340},{1025,4447}
X(1026){100,1018},{1026,518},{1026,672},{1026,3693},{1026,3930},{1026,4712}
X(1027){1027,244},{1027,649}
X(1029){1029,523}
X(1031){1031,826},{1031,4142}
X(1036){1036,652},{1036,3063}
X(1037){1037,652},{1037,665}
X(1038){1038,2522}
X(1039){1039,650}
X(1041){1041,650}
X(1042){1042,798}
X(1043){1043,657},{1043,1021},{1043,3239},{4600,1043}
X(1055){2291,1055}
X(1057){1057,652}
X(1059){1059,652}
X(1061){1061,650}
X(1063){1063,650}
X(1065){1065,652}
X(1067){1067,652}
X(1069){1069,652}
X(1073){1073,520}
X(1078){1078,3050}
X(1081){1081,514}
X(1084){2,1084},{32,1084},{1084,1645},{1500,1084}
X(1086){2,1086},{76,1086},{279,1086},{1086,764},{1086,1647},{1086,3675},{1509,1086}
X(1088){1088,514}
X(1089){1089,4024},{1089,4036}
X(1090){1111,1090}
X(1093){1093,770},{1093,2501}
X(1094){1101,1094}
X(1095){1101,1095}
X(1096){1096,798}
X(1098){1098,1021}
X(1099){75,1099}
X(1100){1,238}
X(1101){1101,163},{1101,1983},{1101,2624},{1101,2626},{1101,4575}
X(1105){1105,450},{1105,2451},{1105,2501}
X(1106){1106,1919}
X(1109){75,1109},{158,1109},{1089,1109},{1928,1109}
X(1110){1110,692},{1110,2874}
X(1111){75,1111},{561,1111},{873,1111},{1088,1111}
X(1113){1113,6},{1113,1345},{1113,2575}
X(1114){1114,6},{1114,1344},{1114,2574}
X(1119){1119,3669}
X(1120){1120,9},{1120,649},{1120,4521}
X(1121){1121,2},{1121,522}
X(1123){1123,513}
X(1124){59,1124}
X(1125){2,239}
X(1126){1126,649},{1126,4057},{1126,4079}
X(1131){1131,523}
X(1132){1132,523}
X(1138){1138,526},{1138,1637}
X(1139){1139,523}
X(1140){1140,523}
X(1141){1141,6},{1141,2623}
X(1146){2,1146},{346,1146},{2052,1146}
X(1154){1154,2081}
X(1155){1156,1155}
X(1156){1156,1},{1156,650},{1156,1643}
X(1166){1166,1510},{1166,2623}
X(1167){1167,649}
X(1168){1168,1635},{1168,1769},{1168,2161}
X(1169){1169,512}
X(1170){1170,513},{1170,2078}
X(1171){1171,512},{1171,1326},{1171,2605},{1171,3733}
X(1172){1172,650},{1172,1946},{1172,2202}
X(1173){1173,647}
X(1174){1174,663}
X(1175){1175,647},{1175,2605}
X(1176){1176,647}
X(1177){1177,32},{1177,647}
X(1179){1179,2501},{1179,3050}
X(1184){1184,2474}
X(1194){1194,2514}
X(1196){25,2386}
X(1212){9,518},{1212,2488}
X(1213){10,740}
X(1214){1214,520},{1214,656}
X(1215){1215,804},{1215,2533},{1215,4140}
X(1217){1217,520},{1217,2501}
X(1218){1218,512},{1218,693}
X(1219){1219,513},{1219,2529},{1219,3239}
X(1220){1220,522},{1220,649},{1220,3509},{1220,4024},{1220,4581}
X(1221){1221,693},{1221,2533},{1221,4083}
X(1222){1222,649},{1222,3239},{1222,3667},{1222,4120}
X(1223){1223,514},{1223,4105}
X(1224){1224,513},{1224,4024},{1224,4820}
X(1229){312,3263}
X(1231){1231,3265}
X(1235){1235,2525}
X(1239){1239,512}
X(1240){1240,514}
X(1241){1241,512},{1241,3267}
X(1242){1242,647}
X(1243){1243,647},{1243,1769}
X(1244){1244,647},{1244,659}
X(1245){1245,647},{1245,798}
X(1246){1246,514},{1246,647}
X(1247){1247,661}
X(1248){1248,822}
X(1251){1251,650}
X(1252){1252,101},{1252,692},{1252,926},{1252,1960},{1252,2284},{1252,3939},{1252,4557},{1252,4574}
X(1253){1110,1253}
X(1254){1254,4079}
X(1255){1255,484},{1255,513},{1255,1734},{1255,1757},{1255,4063},{1255,4705},{1255,4834}
X(1256){1256,649}
X(1257){1257,513}
X(1258){1258,513},{1258,3510}
X(1261){1261,3063},{1261,4130},{1261,4162}
X(1262){1262,109},{1262,692},{1262,1461},{1262,2426}
X(1263){1263,233}
X(1266){1266,4927}
X(1267){1267,4131}
X(1268){1268,514},{1268,4024},{1268,4382},{1268,4608},{1268,4813}
X(1269){76,1921}
X(1273){1273,2081}
X(1275){1275,100},{1275,658},{1275,664},{1275,934},{1275,2283},{1275,2398},{1275,4453},{1275,4566}
X(1279){1,6},{105,910}
X(1280){1280,9},{1280,513},{1280,3126}
X(1286){1286,6}
X(1287){1287,6},{1287,3448}
X(1288){1288,6},{1288,70},{1288,1594},{1288,2904}
X(1289){1289,6},{1289,66},{1289,427},{1289,1853},{1289,1899},{1289,3162}
X(1290){1290,6},{1290,1718},{1290,1781},{1290,2836},{1290,2948},{1290,3125}
X(1291){1291,6},{1291,3200},{1291,3201}
X(1292){1292,6},{1292,354},{1292,374},{1292,614},{1292,2191},{1292,2348},{1292,2428},{1292,3290}
X(1293){1293,6},{1293,1201},{1293,1696},{1293,2429},{1293,3217},{1293,3304},{1293,3445}
X(1294){1294,6},{1294,2430}
X(1295){1295,6},{1295,2431}
X(1296){1296,6},{1296,373},{1296,2434},{1296,3291},{1296,3292}
X(1297){1297,6},{1297,520},{1297,2435},{1297,2485}
X(1298){1298,6}
X(1299){1299,6}
X(1300){1300,6},{1300,2501}
X(1301){1301,6},{1301,64},{1301,185},{1301,1033},{1301,1593},{1301,1968},{1301,2138},{1301,2332},{1301,3172}
X(1302){1302,6},{1302,30},{1302,2549},{1302,4846}
X(1303){1303,6}
X(1304){1304,6},{1304,74},{1304,112},{1304,378},{1304,974},{1304,1986},{1304,2781},{1304,2935},{1304,3269}
X(1305){1305,6},{1305,226},{1305,1751},{1305,3173},{1305,3772}
X(1306){1306,6},{1306,493},{1306,1583}
X(1307){1307,6},{1307,494},{1307,1584}
X(1308){1308,6},{1308,244},{1308,2246},{1308,4860}
X(1309){1309,6},{1309,281},{1309,1146},{1309,1783}
X(1310){1310,6},{1310,63},{1310,2221},{1310,2281},{1310,2339},{1310,3666},{1310,4641}
X(1311){1311,6},{1311,522}
X(1312){264,1312}
X(1313){264,1313}
X(1314){7,1314}
X(1315){7,1315}
X(1316){6,2451}
X(1317){7,1317}
X(1318){1318,654},{1318,2316}
X(1319){1319,1635}
X(1320){1320,9},{1320,650}
X(1323){1323,1638},{1323,3321}
X(1325){1325,2850}
X(1327){1327,523}
X(1328){1328,523}
X(1331){1331,3},{1331,48},{1331,71},{1331,219},{1331,916},{1331,1802},{1331,1818},{1331,2200},{1331,2252},{1331,2289},{1331,3211},{1331,3682},{1331,3781}
X(1332){1332,3},{1332,63},{1332,72},{1332,78},{1332,224},{1332,228},{1332,912},{1332,1071},{1332,1259},{1332,1260},{1332,1473},{1332,3916},{1332,3927},{1332,3940},{1332,3951},{1332,3984},{1332,3998},{1332,4652},{1332,4855}
X(1333){1333,667},{1333,838},{1333,1980},{1333,2210},{4567,1333}
X(1334){55,2340},{1334,3709},{1334,4524}
X(1335){59,1335}
X(1336){1336,513}
X(1342){1342,3050}
X(1343){1343,3050}
X(1354){7,1354}
X(1355){7,1355}
X(1356){7,1356},{181,1356},{1397,1356}
X(1357){7,1357},{56,1357}
X(1358){7,1358},{479,1358},{552,1358}
X(1359){7,1359}
X(1360){7,1360}
X(1361){7,1361}
X(1362){7,1362},{59,1362}
X(1363){7,1363}
X(1364){7,1364},{60,1364},{1124,1364},{1259,1364},{1264,1364},{1335,1364},{1804,1364}
X(1365){7,1365},{12,1365},{1118,1365}
X(1366){7,1366}
X(1367){7,1367}
X(1376){1376,4449}
X(1379){1379,6}
X(1380){1380,6}
X(1381){1381,6},{1381,2591}
X(1382){1382,6},{1382,2590}
X(1383){1383,512},{1383,2030},{1383,2492},{1383,2498},{1383,2515}
X(1389){1389,650}
X(1390){1390,513}
X(1391){1391,654},{1391,3196}
X(1392){1392,650}
X(1395){1395,1919}
X(1396){1396,3669},{1396,3733}
X(1397){59,1397},{1397,1919}
X(1400){56,1458},{1400,512},{1400,810}
X(1402){1402,798},{1402,3049}
X(1404){1404,1960}
X(1405){1405,4775}
X(1407){1262,1407},{1275,1407},{1407,667}
X(1409){1409,810}
X(1410){1410,3049}
X(1411){1411,649},{1411,1400}
X(1412){1412,1428},{1412,3733},{4620,1412}
X(1413){1413,649}
X(1414){1414,57},{1414,77},{1414,81},{1414,284},{1414,604},{1414,1014},{1414,1412},{1414,1449},{1414,1786},{1414,1790},{1414,1817},{1414,2280},{1414,4850}
X(1415){1415,31},{1415,184},{1415,604},{1415,1397},{1415,1402},{1415,1409},{1415,2175},{1415,2187},{1415,2300}
X(1416){1416,604},{1416,1919}
X(1417){1417,604}
X(1418){1418,2488}
X(1420){1420,4394}
X(1422){1422,513}
X(1423){1423,4083}
X(1426){1426,2489}
X(1427){1427,512},{1427,4017}
X(1429){1429,659},{1429,3808},{1429,4164}
X(1431){1431,649}
X(1432){1432,513}
X(1433){1433,652}
X(1434){1434,1443},{1434,1447},{1434,3676},{1434,3737},{1434,4724},{1434,4778},{4620,1434}
X(1436){1436,663}
X(1438){1438,31},{1438,649},{1438,884}
X(1439){1439,647}
X(1440){1440,514}
X(1441){1441,525},{1441,1577},{1441,3700},{1441,4077},{1441,4707}
X(1443){1443,654},{1443,3960}
X(1444){1444,905},{1444,4131}
X(1445){1445,3309}
X(1446){1446,523},{1446,4077}
X(1447){7,553},{1447,812},{1447,4107},{1447,4435},{1447,4839}
X(1449){1449,4790},{1449,4822}
X(1456){269,56}
X(1457){1457,3310}
X(1458){6,1475},{56,1400},{1458,665}
X(1459){1331,1459},{1459,3937},{4561,1459}
X(1460){1460,2484}
X(1461){1461,31},{1461,56},{1461,154},{1461,221},{1461,603},{1461,1042},{1461,1106},{1461,1191},{1461,1201},{1461,1399},{1461,1406},{1461,1407},{1461,1457},{1461,1473},{1461,2390},{1461,3556},{1461,4252},{4619,1461}
X(1462){1462,56},{1462,667},{1462,764},{1462,884},{1462,1027},{1462,3669}
X(1463){7,65}
X(1464){1464,2624}
X(1465){1465,1361},{1465,1769}
X(1469){1469,3250}
X(1472){1472,1919}
X(1474){1474,649}
X(1475){6,1458},{1475,2488}
X(1476){1476,650}
X(1477){1477,6}
X(1485){1485,3569}
X(1491){1491,4475},{1492,1491},{3799,1491},{4505,1491}
X(1492){1492,1},{1492,32},{1492,172},{1492,609},{1492,760},{1492,985},{1492,1572},{1492,1759},{1492,1914},{1492,2241},{1492,2242},{1492,2243},{1492,2344},{1492,3099},{1492,3235},{1492,3236},{1492,3496},{1492,3509},{1492,3721},{1492,3726},{1492,3727},{1492,3735}
X(1494){1494,2},{1494,525},{1494,1640},{1494,2394},{1494,2433}
X(1495){74,1495}
X(1500){1252,1500},{1500,4079}
X(1501){249,1501}
X(1502){1502,826},{1502,850},{1502,1236}
X(1503){4,6},{98,230}
X(1509){1509,659},{1509,3004},{1509,3733},{1509,4453},{4590,1509}
X(1562){459,1562},{1249,1562}
X(1565){69,1565},{305,1565}
X(1570){6,3}
X(1575){2,37},{291,518}
X(1576){1576,32},{1576,184},{1576,211},{1576,217},{1576,237},{1576,1186},{1576,1501},{1576,2206},{1576,2387},{1576,3051},{1576,3117},{1576,3118},{1576,3203}
X(1577){799,1577},{823,1577},{1577,1109},{1577,2632},{1577,2643},{1577,3120},{1577,4088},{4033,1577}
X(1580){1580,4164}
X(1581){1581,38},{1581,661},{1581,3805}
X(1599){249,1599}
X(1600){249,1600}
X(1611){1611,2519}
X(1613){1613,2524},{1613,3221}
X(1621){1621,4040}
X(1624){1624,185},{1624,800}
X(1625){110,4230},{1625,51},{1625,216},{1625,418}
X(1629){1629,3050}
X(1632){1632,1899},{1632,2450},{1632,3767}
X(1633){1633,614},{1633,1184},{1633,2082}
X(1634){110,2421},{1634,39},{1634,3051},{1634,3787},{1634,3917}
X(1635){1022,1635},{1023,1635},{1635,2087},{1635,3251},{3257,1635}
X(1636){2420,1636}
X(1637){1637,2682},{2394,1637},{2407,1637}
X(1638){1638,3328}
X(1639){1639,4530},{1639,4542},{1639,4543},{4582,1639}
X(1645){538,1645},{3228,1645}
X(1646){536,1646},{3227,1646},{3230,1646}
X(1647){519,1647},{903,1647},{3264,1647}
X(1648){524,1648},{671,1648},{1648,2682}
X(1649){99,1649},{523,1649}
X(1650){30,1650},{1494,1650}
X(1659){1659,514}
X(1662){1662,2422}
X(1663){1663,2422}
X(1672){59,1672}
X(1673){59,1673}
X(1676){1676,523}
X(1677){1677,523}
X(1682){59,1682}
X(1692){6,32}
X(1698){1698,4727},{1698,4802},{1698,4810},{1698,4813},{1698,4820},{1698,4826},{1698,4838},{1698,4938},{1698,4949},{1698,4958},{1698,4963}
X(1731){8,950}
X(1733){75,1}
X(1743){1743,4162},{1743,4394},{1743,4729}
X(1751){1751,523},{1751,663}
X(1755){31,1964},{1821,1755}
X(1757){1,3723}
X(1783){162,4238},{1783,19},{1783,25},{1783,33},{1783,37},{1783,55},{1783,197},{1783,198},{1783,228},{1783,612},{1783,910},{1783,968},{1783,1486},{1783,1696},{1783,1824},{1783,1827},{1783,1859},{1783,2201},{1783,2355},{1783,3185},{1783,3198},{1783,4319},{1783,4386}
X(1784){1784,2631}
X(1790){1790,1459},{1790,4091}
X(1791){1791,521},{1791,2522}
X(1793){1793,219}
X(1794){1794,652}
X(1795){1795,48},{1795,652}
X(1796){1796,1459}
X(1797){1797,3},{1797,1459}
X(1798){1798,647}
X(1799){1799,525},{1799,3049},{1799,4580}
X(1803){1803,1459}
X(1804){1804,4091}
X(1807){1807,71},{1807,652}
X(1808){1808,219}
X(1809){1809,219}
X(1810){1810,219},{1810,1459}
X(1811){1811,219}
X(1812){1812,521},{1812,1946}
X(1813){1813,3},{1813,73},{1813,212},{1813,222},{1813,255},{1813,603},{1813,3157},{1813,3215},{1813,3784},{1813,3955},{1813,4303}
X(1814){1814,3},{1814,905},{1814,1946}
X(1815){1815,3},{1815,4091}
X(1818){3,71}
X(1820){1820,810}
X(1821){1821,1},{1821,810},{1821,1577},{1821,3907}
X(1822){1822,48},{1822,2579},{1822,2585}
X(1823){1823,48},{1823,2578},{1823,2584}
X(1824){1824,2489},{1824,3709},{1824,4705}
X(1826){4,1861},{1826,2501},{1826,4024},{1826,4041}
X(1839){4,242}
X(1843){25,232},{1843,3005}
X(1847){1847,3676}
X(1855){281,1861}
X(1857){1857,3709}
X(1861){4,1826},{281,1855},{1861,4088}
X(1862){4,1897}
X(1870){1870,654}
X(1875){1875,3310}
X(1876){34,1880},{1876,665}
X(1877){1877,1635}
X(1880){34,1876},{1880,512}
X(1885){4,450}
X(1886){278,19}
X(1896){1896,650}
X(1897){4,1862},{1897,4},{1897,9},{1897,10},{1897,19},{1897,40},{1897,71},{1897,169},{1897,242},{1897,281},{1897,516},{1897,573},{1897,966},{1897,1276},{1897,1277},{1897,1512},{1897,1542},{1897,1544},{1897,1706},{1897,1753},{1897,1766},{1897,1826},{1897,1839},{1897,1842},{1897,1855},{1897,1861},{1897,1869},{1897,1890},{1897,2183},{1897,2270},{1897,2333},{1897,2345},{1897,2354},{1897,2550},{1897,2551},{1897,3496},{1897,3501},{1897,3730},{1897,3923},{1897,4456},{1897,4660}
X(1903){1903,647},{1903,4041}
X(1909){1909,4369},{1909,4374},{1909,4529},{1909,4842}
X(1910){1910,31},{1910,661}
X(1911){1911,213},{1911,667},{1911,875},{1911,1912},{1911,1913},{1911,3249}
X(1914){6,2308},{1914,4455}
X(1916){1916,141},{1916,523},{1916,882}
X(1917){1101,1917}
X(1918){1918,669},{1918,1924},{4600,1918}
X(1919){101,1919},{1919,1977},{4610,1919}
X(1920){1920,2533},{1920,3805},{1920,4374}
X(1921){76,1269},{1921,3766},{1921,4010}
X(1922){1922,1918},{1922,1919}
X(1924){662,1924},{1924,4117}
X(1927){1927,1923},{1927,1924}
X(1929){1929,513},{1929,1100}
X(1934){1934,1577},{1934,1930}
X(1936){1,2646}
X(1937){1937,65},{1937,650},{1937,1938},{1937,1939}
X(1942){1942,185},{1942,647}
X(1945){1945,663},{1945,1400}
X(1946){108,1946},{4571,1946}
X(1949){1949,1409},{1949,1946}
X(1952){1952,226},{1952,522}
X(1953){1,240}
X(1956){1956,656},{1956,1953}
X(1959){1,38},{1581,2227}
X(1960){901,1960}
X(1962){37,2238}
X(1964){31,1755},{1964,2084}
X(1966){894,4754},{1966,4107}
X(1967){1967,798},{1967,1964}
X(1968){1968,2451}
X(1972){1972,5},{1972,525}
X(1973){1973,798}
X(1974){1974,669}
X(1975){1975,2451}
X(1976){1976,32},{1976,512},{1976,878},{1976,2422}
X(1977){6,1977},{32,1977},{1509,1977},{1977,3249}
X(1978){1978,10},{1978,75},{1978,76},{1978,313},{1978,341},{1978,726},{1978,984},{1978,986},{1978,1226},{1978,1266},{1978,1269},{1978,1738},{1978,1921},{1978,2228},{1978,3264},{1978,3596},{1978,3663},{1978,3673},{1978,3717},{1978,3718},{1978,3821},{1978,4357},{1978,4385},{1978,4389},{1978,4398},{1978,4429}
X(1980){692,1980}
X(1981){1981,243},{1981,1430},{1981,1936}
X(1983){1983,215},{1983,2361},{1983,3724}
X(1987){1987,51},{1987,647}
X(1988){1988,2451}
X(1989){1989,51},{1989,512},{1989,1640}
X(1990){1990,1637}
X(1992){1992,1499},{1992,4786}
X(1993){1993,924}
X(1994){1994,1510}
X(2003){2003,2605}
X(2006){2006,65},{2006,513}
X(2007){59,2007}
X(2008){59,2008}
X(2009){2009,523}
X(2010){2010,523}
X(2023){2,694}
X(2028){6,2028}
X(2029){6,2029}
X(2051){2051,523},{2051,1769}
X(2052){2052,403},{2052,523}
X(2053){2053,3063}
X(2054){2054,512}
X(2065){2065,248},{2065,2422},{2065,3569}
X(2066){2066,652}
X(2067){2067,1459}
X(2073){2073,2774}
X(2075){2075,2773}
X(2086){694,2086},{1691,2086},{3978,2086}
X(2087){44,2087},{88,2087},{4358,2087}
X(2088){94,2088},{323,2088}
X(2090){2090,522}
X(2091){2091,3669}
X(2099){2099,4893}
X(2107){2107,798},{2107,2667},{2107,2670}
X(2111){2111,659}
X(2113){2113,665}
X(2115){2115,926}
X(2125){2125,4105}
X(2137){2137,4394}
X(2148){2148,810}
X(2149){2149,692},{2149,1415}
X(2151){2151,2624}
X(2152){2152,2624}
X(2153){2153,661}
X(2154){2154,661}
X(2155){2155,810}
X(2156){2156,810}
X(2157){2157,810},{2157,1964}
X(2158){2158,810}
X(2159){2159,31},{2159,810}
X(2160){2160,663},{2160,2520},{2160,4813}
X(2161){2161,42},{2161,663},{2161,1643},{2161,3251},{2161,4705},{2161,4893}
X(2162){2162,667}
X(2163){2163,649}
X(2164){2164,663}
X(2165){2165,512}
X(2166){2166,661},{2166,1953}
X(2167){2167,656},{2167,1955},{2167,2616},{2167,3738}
X(2168){2168,661}
X(2169){2169,822}
X(2170){9,2170},{57,2170},{312,2170},{2185,2170}
X(2171){2171,4705},{4564,2171}
X(2173){2173,2631},{2349,2173}
X(2177){2177,4775}
X(2183){2183,3310}
X(2184){2184,656},{2184,3900}
X(2185){2185,3737},{2185,3738}
X(2186){2186,661}
X(2190){2190,661},{2190,2616}
X(2191){2191,649}
X(2192){2192,657},{2192,1946}
X(2193){2193,1946}
X(2194){2194,1946},{2194,3063}
X(2195){2195,41},{2195,663},{2195,884}
X(2196){2196,228}
X(2200){2200,3049}
X(2201){19,2355}
X(2203){2203,667}
X(2204){2204,3063}
X(2205){2205,1924},{4567,2205}
X(2206){2206,1919},{4570,2206}
X(2207){2207,669},{2207,2489}
X(2208){2208,3063}
X(2211){2211,2491}
X(2213){2213,647}
X(2214){2214,661},{2214,667}
X(2215){2215,649},{2215,810}
X(2216){2216,661}
X(2217){2217,661}
X(2218){2218,661},{2218,832},{2218,3063}
X(2219){2219,661},{2219,1946}
X(2221){2221,667},{2221,1459}
X(2222){2222,6},{2222,1411},{2222,1953},{2222,2099},{2222,2161},{2222,2170},{2222,2171},{2222,2265},{2222,4559}
X(2223){31,213},{105,2223}
X(2224){2224,31},{2224,513}
X(2226){2226,106},{2226,1960},{2226,4491}
X(2227){75,38},{1581,1959}
X(2238){37,1962},{42,2667},{2238,4094},{2238,4155},{2238,4455}
X(2246){2246,1643}
X(2248){2248,512}
X(2249){2249,6},{2249,810}
X(2250){2250,42},{2250,810},{2250,4041}
X(2254){513,661},{1026,2254},{2254,3675}
X(2255){2255,667}
X(2258){2258,663},{2258,798}
X(2259){2259,663}
X(2276){2276,788},{2276,3250}
X(2279){2279,649}
X(2281){2281,669},{2281,810}
X(2282){2282,513},{2282,810}
X(2283){109,4559},{927,2283},{2283,672},{2283,1362},{2283,1458}
X(2284){101,4557},{666,2284},{2284,672},{2284,2223},{2284,2340}
X(2287){2287,1021},{2287,3900},{4567,2287}
X(2289){4564,2289}
X(2291){2291,6},{2291,663}
X(2293){55,672},{2293,2488}
X(2295){171,4447}
X(2296){2296,514},{2296,798}
X(2297){2297,649},{2297,3900},{2297,4729}
X(2298){2298,650},{2298,667},{2298,4705}
X(2299){2299,663}
X(2303){2303,2522}
X(2306){2306,513}
X(2307){2307,2605}
X(2308){6,1914}
X(2310){1,2310},{158,2310},{200,2310},{341,2310},{1088,2310},{1098,2310},{1256,2310}
X(2311){2311,55}
X(2312){19,31}
X(2316){2316,55},{2316,663}
X(2319){2319,663},{2319,3287}
X(2320){2320,650},{2320,3738}
X(2321){8,3717},{2321,3700},{2321,4041},{2321,4843}
X(2322){2322,3239}
X(2323){2323,654}
X(2325){2325,1639},{2325,4152},{2325,4528},{2325,4543},{2325,4895}
X(2326){2326,1021}
X(2328){2328,657},{4570,2328}
X(2329){2329,3287},{2329,4477}
X(2332){2332,657}
X(2333){25,2356},{2333,2489},{2333,4079}
X(2334){2334,649},{2334,3709},{2334,4502}
X(2335){2335,650}
X(2336){2336,649}
X(2337){2337,663}
X(2338){2338,55},{2338,652},{2338,4105}
X(2339){2339,521},{2339,663}
X(2340){55,1334},{2340,926}
X(2341){2341,55},{2341,4041}
X(2342){2342,41},{2342,657}
X(2343){2343,663}
X(2344){2344,650}
X(2346){2346,650},{2346,1734},{2346,3309},{2346,4040}
X(2348){9,55}
X(2349){2349,1},{2349,656}
X(2350){2350,512}
X(2351){2351,3049}
X(2353){2353,3005},{2353,3049}
X(2355){19,2201}
X(2356){25,2333}
X(2357){2357,810},{2357,3709}
X(2359){2359,652}
X(2362){2362,513}
X(2363){2363,661},{2363,3737}
X(2364){2364,654},{2364,663}
X(2365){2365,6}
X(2366){2366,6},{2366,3265}
X(2367){2367,6},{2367,850}
X(2368){2368,6}
X(2369){2369,6},{2369,3676}
X(2370){2370,6},{2370,3239}
X(2371){2371,6},{2371,4105}
X(2372){2372,6},{2372,4024}
X(2373){2373,6},{2373,525}
X(2374){2374,6},{2374,3566}
X(2375){2375,6}
X(2376){2376,6}
X(2377){2377,6}
X(2378){2378,6}
X(2379){2379,6}
X(2380){2380,6}
X(2381){2381,6}
X(2382){2382,6},{2382,3768},{2382,4491}
X(2383){2383,6}
X(2384){2384,6},{2384,1960}
X(2386){25,1196}
X(2394){2394,125},{2394,523},{2394,2677},{2394,2678},{2394,3154},{2394,3258}
X(2395){2395,115},{2395,512},{2395,2679},{2395,2680},{2395,2681},{2395,2682},{2966,2395}
X(2396){99,4576},{2396,114},{2396,325},{2396,511},{2396,1513},{2396,2679},{2396,2683},{2396,2684}
X(2397){2397,119},{2397,517},{2397,908},{2397,1145},{2397,1512},{2397,1519},{2397,1532},{2397,1537},{2397,1538},{2397,1548},{2397,2677},{2397,2680},{2397,2683},{2397,3259}
X(2398){664,100},{2398,118},{2398,516},{2398,910},{2398,1521},{2398,1530},{2398,1536},{2398,1541},{2398,1547},{2398,1566},{2398,2678},{2398,2681},{2398,2684},{2398,2685},{2398,3234}
X(2399){2399,124},{2399,522},{2399,2968}
X(2400){2400,116},{2400,514},{2400,1146},{2400,1565},{2400,1566}
X(2401){2401,11},{2401,513},{2401,3025},{2401,3259},{2401,3937}
X(2402){2402,3309},{2402,4904}
X(2403){2403,3667},{2403,3756}
X(2404){2404,133},{2404,1515},{2404,1559}
X(2405){2405,1528}
X(2406){2406,117},{2406,515},{2406,1455},{2406,1521},{2406,1535},{2406,1542},{2406,1549}
X(2407){2407,30},{2407,113},{2407,1495},{2407,1511},{2407,1514},{2407,1524},{2407,1525},{2407,1531},{2407,1533},{2407,1539},{2407,1544},{2407,1545},{2407,1546},{2407,1553},{2407,1554},{2407,1555},{2407,1558},{2407,1561},{2407,1568},{2407,2682},{2407,2685},{2407,2686},{2407,3233},{2407,3258}
X(2408){2408,1499},{2408,2686}
X(2409){107,112},{2409,132},{2409,1503},{2409,1529},{2409,1554}
X(2410){2410,1522},{2410,1523},{2410,1553}
X(2411){2411,526},{2411,3258}
X(2413){2413,137},{2413,1510}
X(2414){2414,120},{2414,518}
X(2415){2415,121},{2415,519},{2415,3544}
X(2416){2416,122},{2416,520}
X(2417){2417,123},{2417,521}
X(2418){2418,126},{2418,524}
X(2419){2419,127},{2419,525},{2419,1562}
X(2420){2420,1495},{2420,3284}
X(2421){110,1634},{2421,237},{2421,511}
X(2422){2422,669},{2422,3124},{2715,2422}
X(2423){2423,667},{2423,3271}
X(2424){677,2424},{2424,649},{2424,3937}
X(2426){109,692},{677,2426}
X(2427){2427,2183}
X(2428){2428,2223}
X(2429){2429,902}
X(2431){2431,1946}
X(2432){2432,663},{2432,3270}
X(2433){2433,512}
X(2434){2434,187}
X(2435){2435,647},{2435,2972}
X(2446){7,2446}
X(2447){7,2447}
X(2451){6,1316}
X(2454){2,2454}
X(2455){2,2455}
X(2479){2479,2}
X(2480){2480,2}
X(2481){2481,2},{2481,650},{2481,693},{2481,2402},{2481,4762},{2481,4885}
X(2482){2,2482},{2482,1649},{4590,2482}
X(2485){4611,2485}
X(2486){4651,2486}
X(2488){663,665}
X(2489){112,2489},{2489,2971},{2489,3124}
X(2491){669,688},{2395,2491},{2396,2491}
X(2501){648,2501},{2501,115},{2501,2971},{2501,4516}
X(2502){843,2502}
X(2528){99,2528}
X(2530){4553,2530}
X(2531){1576,2531},{4609,2531}
X(2574){2574,647}
X(2575){2575,647}
X(2576){2576,31},{2576,2579}
X(2577){2577,31},{2577,2578}
X(2578){2578,810},{2580,2578}
X(2579){2579,810},{2581,2579}
X(2580){2580,1},{2580,2583},{2580,2585},{2580,2589}
X(2581){2581,1},{2581,2582},{2581,2584},{2581,2588}
X(2582){2582,656}
X(2583){2583,656}
X(2584){2584,822}
X(2585){2585,822}
X(2586){2586,19},{2586,2579},{2586,2589}
X(2587){2587,19},{2587,2578},{2587,2588}
X(2588){2588,661}
X(2589){2589,661}
X(2590){2590,663}
X(2591){2591,663}
X(2592){2592,523},{2592,1313}
X(2593){2593,523},{2593,1312}
X(2594){2594,2081},{2594,2624}
X(2597){2597,654},{2597,2594},{2597,2598}
X(2599){2599,2081}
X(2603){2603,2599},{2603,2600},{2603,2604}
X(2605){2605,2088},{2605,2624}
X(2608){2608,2245},{2608,2605},{2608,2609}
X(2610){4585,2610}
X(2611){1,245},{2611,2088},{3678,2611}
X(2614){2614,2610},{2614,2611},{2614,2615}
X(2616){2616,2624},{2616,3708}
X(2617){2617,1953},{2617,2179},{2617,2180},{2617,2290}
X(2621){2621,2290},{2621,2618},{2621,2622}
X(2627){2627,1109},{2627,2624},{2627,2628}
X(2632){1,2632},{326,2632}
X(2633){2633,2629}
X(2635){2635,2637}
X(2638){1,2638},{255,2638}
X(2639){2639,2636}
X(2643){1,2643},{561,2643},{756,2643},{1089,2643},{1096,2643},{1254,2643}
X(2644){2644,2640}
X(2646){1,1936}
X(2648){2648,650},{2648,2646},{2648,2649}
X(2650){65,851}
X(2652){2652,661},{2652,2650},{2652,2653}
X(2654){1,243}
X(2656){2656,652},{2656,2654},{2656,2657}
X(2658){73,851}
X(2660){2660,822},{2660,2658},{2660,2661}
X(2665){2665,649},{2665,2666},{2665,3720}
X(2667){42,2238}
X(2671){2671,523}
X(2672){2672,523}
X(2687){2687,6}
X(2688){2688,6}
X(2689){2689,6}
X(2690){2690,6},{2690,3120}
X(2691){2691,6}
X(2692){2692,6}
X(2693){2693,6},{2693,1636}
X(2694){2694,6}
X(2695){2695,6}
X(2696){2696,6}
X(2697){2697,6}
X(2698){2698,6},{2698,2491}
X(2699){2699,6}
X(2700){2700,6}
X(2701){2701,6}
X(2702){2702,6},{2702,2054},{2702,2112},{2702,3122}
X(2703){2703,6},{2703,3121}
X(2704){2704,6}
X(2705){2705,6}
X(2706){2706,6}
X(2707){2707,6}
X(2708){2708,6}
X(2709){2709,6}
X(2710){2710,6},{2710,684}
X(2711){2711,6}
X(2712){2712,6}
X(2713){2713,6},{2713,1624},{2713,1942}
X(2714){2714,6}
X(2715){2715,6},{2715,157},{2715,248},{2715,1576},{2715,1976},{2715,2871},{2715,3148}
X(2716){2716,6}
X(2717){2717,6},{2717,1769}
X(2718){2718,6},{2718,1635}
X(2719){2719,6}
X(2720){2720,6},{2720,909},{2720,1415},{2720,1470}
X(2721){2721,6}
X(2722){2722,6}
X(2723){2723,6}
X(2724){2724,6},{2724,676}
X(2725){2725,6},{2725,2254}
X(2726){2726,6},{2726,900},{2726,4435}
X(2727){2727,6}
X(2728){2728,6}
X(2729){2729,6},{2729,4750}
X(2730){2730,6}
X(2731){2731,6},{2731,4534}
X(2732){2732,6}
X(2733){2733,6}
X(2734){2734,6}
X(2735){2735,6}
X(2736){2736,6}
X(2737){2737,6},{2737,3756}
X(2738){2738,6}
X(2739){2739,6}
X(2740){2740,6}
X(2741){2741,6}
X(2742){2742,6}
X(2743){2743,6}
X(2744){2744,6}
X(2745){2745,6}
X(2746){2746,6}
X(2747){2747,6}
X(2748){2748,6},{2748,3722}
X(2749){2749,6}
X(2750){2750,6}
X(2751){2751,6}
X(2752){2752,6}
X(2753){2753,6}
X(2754){2754,6}
X(2755){2755,6}
X(2756){2756,6}
X(2757){2757,6},{2757,1639}
X(2758){2758,6},{2758,4120}
X(2759){2759,6}
X(2760){2760,6}
X(2761){2761,6}
X(2762){2762,6}
X(2763){2763,6}
X(2764){2764,6},{2764,2972}
X(2765){2765,6}
X(2766){2766,6}
X(2767){2767,6}
X(2768){2768,6}
X(2769){2769,6}
X(2770){2770,6},{2770,690}
X(2799){523,826},{2396,2799},{2799,868},{2966,2799}
X(2855){2855,6}
X(2856){2856,6}
X(2857){2857,6},{2857,2799}
X(2858){2858,6},{2858,620}
X(2859){2859,6}
X(2860){2860,6},{2860,1111}
X(2861){2861,6}
X(2862){2862,6},{2862,918}
X(2863){2863,6},{2863,3762}
X(2864){2864,6}
X(2865){2865,6}
X(2866){2866,6}
X(2867){2867,6}
X(2868){2868,6}
X(2887){2887,3801}
X(2962){2962,661}
X(2963){2963,512}
X(2966){2966,2},{2966,98},{2966,110},{2966,114},{2966,125},{2966,147},{2966,182},{2966,184},{2966,287},{2966,542},{2966,1352},{2966,1899},{2966,1976},{2966,2001},{2966,3047},{2966,3410},{2966,3448},{2966,3506},{2966,4027}
X(2967){250,2967},{264,2967}
X(2968){69,2968},{264,2968},{1265,2968}
X(2969){4,2969},{264,2969},{1119,2969}
X(2970){264,2970},{1093,2970}
X(2971){25,2971},{264,2971}
X(2972){3,2972},{264,2972},{3964,2972},{4158,2972}
X(2973){264,2973}
X(2974){264,2974}
X(2976){3667,4394}
X(2978){785,2978}
X(2980){2980,3288}
X(2981){2981,16},{2981,512}
X(2982){2982,513},{2982,1946}
X(2983){2983,649}
X(2984){2984,1510}
X(2985){2985,900},{2985,4057}
X(2986){2986,3},{2986,523}
X(2987){2987,3},{2987,512}
X(2988){2988,3},{2988,522}
X(2989){2989,3},{2989,514}
X(2990){2990,3},{2990,513},{2990,3657}
X(2991){2991,3},{2991,667},{2991,1083},{2991,3126},{2991,3309}
X(2992){2992,647}
X(2993){2993,647}
X(2994){2994,522}
X(2995){2995,905},{2995,1577},{2995,4885}
X(2996){2996,523},{2996,4885}
X(2997){2997,650},{2997,1577}
X(2998){2998,512},{2998,625},{2998,3835}
X(3003){3003,686}
X(3005){512,3569},{827,3005},{1634,3005}
X(3008){2,1},{673,516},{3008,2976},{3008,3021}
X(3009){1,42},{292,672},{727,3009}
X(3020){57,3020},{85,3020},{738,3020},{3020,764}
X(3021){7,3021},{4076,3021}
X(3022){7,3022},{55,3022},{480,3022},{1857,3022}
X(3023){7,3023}
X(3024){7,3024}
X(3025){7,3025},{202,3025},{203,3025}
X(3026){7,3026}
X(3027){7,3027}
X(3028){7,3028}
X(3049){4563,3049},{4574,3049}
X(3051){32,237},{3051,688},{3051,2531}
X(3059){200,3693}
X(3062){3062,650},{3062,4449}
X(3063){644,3063},{1415,3063},{4617,3063},{4631,3063}
X(3064){653,3064},{3064,2310}
X(3065){3065,650},{3065,1100}
X(3067){3067,6},{3067,359}
X(3081){30,3081}
X(3083){3083,4091},{4564,3083}
X(3084){3084,4091},{4564,3084}
X(3108){3108,512},{3108,2076}
X(3112){3112,798},{3112,812},{3112,1577},{3112,1966},{3112,3405},{3112,4063}
X(3113){3113,1577},{3113,1924}
X(3114){3114,669},{3114,804},{3114,850},{3114,4108}
X(3115){3115,850}
X(3119){9,3119},{85,3119},{728,3119}
X(3120){10,3120},{86,3120},{313,3120},{3668,3120}
X(3121){37,3121},{213,3121},{274,3121},{1333,3121}
X(3122){10,3122},{42,3122},{58,3122},{310,3122},{1042,3122}
X(3123){43,3123}
X(3124){6,3124},{76,3124},{594,3124},{1500,3124},{2028,3124},{2029,3124},{2207,3124}
X(3125){37,3125},{81,3125},{244,3675},{321,3125},{1427,3125}
X(3126){100,3126},{693,3126}
X(3158){3158,4162}
X(3161){3161,4162},{3161,4521},{3161,4546}
X(3163){2,3163},{3163,3081}
X(3175){3175,4139}
X(3186){3186,2524}
X(3212){3212,3835}
X(3214){3214,4139}
X(3218){3218,214},{3218,3738},{3218,3960}
X(3219){3219,2605}
X(3222){3222,6},{3222,194},{3222,384},{3222,698},{3222,1975},{3222,2998},{3222,3224},{3222,3360},{3222,4048}
X(3223){3223,798},{3223,4083}
X(3224){3224,669},{3224,2451},{3224,3221}
X(3225){3225,2},{3225,669}
X(3226){3226,2},{3226,649},{3226,3835},{3226,4375},{3226,4785}
X(3227){3227,2},{3227,513},{3227,4448},{3227,4776}
X(3228){3228,2},{3228,512},{3228,3111},{3228,4108}
X(3229){2,39},{694,511},{699,3229}
X(3230){739,3230},{3230,890},{3230,3768}
X(3231){729,3231},{3231,887},{3231,888}
X(3233){99,3233},{3233,3163}
X(3234){190,3234}
X(3235){59,3235}
X(3236){59,3236}
X(3237){59,3237}
X(3238){59,3238}
X(3239){190,3239},{3239,1146},{3239,2310},{3239,4081},{3239,4528},{3239,4953}
X(3248){1,3248},{31,3248},{849,3248},{873,3248},{1106,3248},{3248,3249}
X(3249){649,3249},{1919,3249}
X(3250){825,3250},{3807,3250}
X(3251){100,3251},{513,3251}
X(3252){3252,665}
X(3253){3253,239}
X(3254){3254,650},{3254,1212}
X(3255){3255,650}
X(3257){3257,1},{3257,88},{3257,100},{3257,106},{3257,214},{3257,244},{3257,404},{3257,678},{3257,750},{3257,1054},{3257,1320},{3257,1772},{3257,2177},{3257,2802},{3257,3306},{3257,3315},{3257,3722},{3257,3754},{3257,3871},{3257,3885},{3257,3895},{3257,4256},{3257,4642},{3257,4674},{3257,4792},{3257,4850},{3257,4855},{3257,4868}
X(3259){1145,3259}
X(3260){3260,1637}
X(3261){1978,3261},{3261,1111},{3261,3120},{3261,4475}
X(3263){75,321},{312,1229},{3263,918},{3263,4437}
X(3264){3264,3762},{3264,4120}
X(3265){99,3265},{3265,3269}
X(3266){3266,690}
X(3267){3267,125},{3267,339}
X(3268){3268,2088}
X(3269){6,3269},{394,3269},{2052,3269}
X(3270){3,3270},{4,3270},{1260,3270},{1265,3270}
X(3271){8,3271},{55,3271},{56,3271},{60,3271},{479,3271},{1118,3271},{1318,3271},{2446,3271},{2447,3271}
X(3284){3284,1636}
X(3285){3285,1960}
X(3286){58,6},{3286,665}
X(3289){287,3289},{577,418}
X(3292){895,3292}
X(3293){3293,4132}
X(3296){3296,650},{3296,2523},{3296,2527}
X(3300){3300,513}
X(3302){3302,513}
X(3307){3307,650}
X(3308){3308,650}
X(3310){2397,3310},{2401,3310},{2427,3310}
X(3316){3316,523}
X(3317){3317,523}
X(3318){7,3318}
X(3319){7,3319}
X(3320){7,3320}
X(3321){7,3321}
X(3322){7,3322}
X(3323){7,3323}
X(3324){7,3324}
X(3325){7,3325}
X(3326){7,3326}
X(3327){7,3327}
X(3328){7,3328},{11,3328},{3321,3328}
X(3345){3345,652}
X(3346){3346,520}
X(3361){3361,4790}
X(3362){3362,652}
X(3366){3366,523}
X(3367){3367,523}
X(3370){3370,523}
X(3373){3373,523}
X(3374){3374,523}
X(3381){3381,523}
X(3382){3382,523}
X(3387){3387,523}
X(3388){3388,523}
X(3391){3391,523}
X(3392){3392,523}
X(3397){3397,523}
X(3399){3399,523}
X(3402){3402,798}
X(3404){1910,1},{3404,1964}
X(3405){82,1}
X(3406){3406,523}
X(3407){3407,523}
X(3413){3413,523}
X(3414){3414,523}
X(3415){3415,834},{3415,2483},{3415,3063}
X(3417){3417,654}
X(3422){3422,652}
X(3423){3423,665},{3423,1459},{3423,3063}
X(3424){3424,523}
X(3425){3425,924},{3425,2485},{3425,3049},{3425,3569}
X(3426){3426,647}
X(3427){3427,650}
X(3429){3429,523}
X(3431){3431,526},{3431,647}
X(3433){3433,665}
X(3437){3437,3049}
X(3438){3438,3049}
X(3439){3439,3049}
X(3442){3442,3049}
X(3443){3443,3049}
X(3444){3444,512}
X(3445){3445,649}
X(3446){3446,665}
X(3447){3447,3569}
X(3449){3449,665}
X(3450){3450,2605}
X(3451){3451,663}
X(3453){3453,3050}
X(3455){3455,3049},{3455,3051}
X(3456){3456,3049}
X(3457){3457,512}
X(3458){3458,512}
X(3459){3459,1510}
X(3461){3461,2600}
X(3466){3466,652},{3466,2260}
X(3467){3467,650}
X(3469){3469,652}
X(3471){3471,1637}
X(3477){3477,652}
X(3478){3478,652}
X(3495){3495,650}
X(3497){3497,1459},{3497,1491}
X(3500){3500,659},{3500,1459}
X(3504){3504,2524},{3504,3049}
X(3512){3512,663},{3512,1193},{3512,1491}
X(3513){3513,665}
X(3514){3514,665}
X(3518){3518,1510}
X(3519){3519,647}
X(3521){3521,647}
X(3527){3527,647}
X(3531){3531,647}
X(3532){3532,647}
X(3551){3551,650}
X(3563){3563,6},{3563,924},{3563,2489}
X(3564){69,3},{287,441}
X(3565){3565,6},{3565,1196},{3565,2056},{3565,3167}
X(3569){512,3005},{2421,3569},{2715,3569},{3569,2679}
X(3570){100,4436},{190,4427},{3570,238},{3570,239},{3570,740},{3570,3685},{3570,3747},{3570,3797},{3570,3802},{3570,4094},{3570,4154},{3570,4366},{3570,4432},{3570,4693},{3570,4716}
X(3571){1,4879}
X(3572){813,3572},{3572,512},{3572,1015},{3572,4128},{4562,3572}
X(3573){3573,238},{3573,1914},{3573,2238},{3573,3684},{3573,3783}
X(3575){4,421}
X(3577){3577,650},{3577,1769}
X(3580){3580,113},{3580,131}
X(3589){2,385}
X(3590){3590,523}
X(3591){3591,523}
X(3596){3596,3700},{3596,3910},{3596,4391}
X(3597){3597,523}
X(3613){3613,826},{3613,3569}
X(3615){3615,654},{3615,1021},{3615,2596}
X(3616){3616,4700},{3616,4706},{3616,4765},{3616,4771},{3616,4773},{3616,4778},{3616,4790},{3616,4818},{3616,4827},{3616,4830},{3616,4831},{3616,4832},{3616,4841}
X(3618){3618,3793},{3618,3800},{3618,3803},{3618,3804},{3618,3806}
X(3621){3621,2516},{3621,4962}
X(3632){3632,4926}
X(3635){3635,4943}
X(3638){7,3639}
X(3639){7,3638}
X(3657){3657,647},{3657,3125}
X(3658){3658,912}
X(3659){3659,6},{3659,259}
X(3661){3661,824},{3661,1491},{3661,4122},{3661,4439},{3661,4486},{3661,4522},{3661,4818},{3661,4951}
X(3662){3662,3776},{3662,3777},{3662,3801},{3662,3810}
X(3667){3667,3756},{3667,4534}
X(3668){3668,661}
X(3669){651,3669},{3669,244},{3669,1357},{3669,3020},{3669,3271},{3669,3937},{4554,3669},{4617,3669}
X(3671){3671,4841}
X(3674){3674,3004}
X(3675){105,3675},{244,3125},{518,3675},{3263,3675}
X(3676){664,3676},{3676,1086},{3676,1358},{3676,2170},{3676,3020},{3676,3942},{4572,3676},{4626,3676}
X(3679){3679,4777},{3679,4800},{3679,4893},{3679,4908},{3679,4931},{3679,4933},{3679,4937},{3679,4944},{3679,4948},{3679,4951}
X(3680){3680,650}
X(3681){3681,1734}
X(3682){3682,520},{3682,822},{4570,3682}
X(3683){9,3684}
X(3684){9,3683},{3684,4435}
X(3685){8,3686},{9,3691},{3685,3716},{3685,4148},{3685,4435}
X(3686){8,3685}
X(3687){3687,3910}
X(3689){1320,3689},{3689,4895}
X(3691){9,3685}
X(3693){9,210},{200,3059},{3693,926}
X(3695){3695,4064}
X(3696){3696,4804}
X(3699){3699,8},{3699,9},{3699,346},{3699,390},{3699,391},{3699,452},{3699,728},{3699,950},{3699,1334},{3699,1697},{3699,1731},{3699,2082},{3699,2136},{3699,2269},{3699,2321},{3699,2325},{3699,2347},{3699,3161},{3699,3169},{3699,3208},{3699,3685},{3699,3686},{3699,3691},{3699,3692},{3699,3707},{3699,3710},{3699,3717},{3699,3790},{3699,3883},{3699,3886},{3699,3895},{3699,4007},{3699,4034},{3699,4050},{3699,4060},{3699,4266},{3699,4530},{3699,4545},{3699,4779},{3699,4873},{3699,4901},{3699,4923}
X(3700){645,3700},{3700,4092},{3700,4516},{4552,3700}
X(3701){3701,3700},{3701,4086}
X(3702){312,3975}
X(3705){3705,3810}
X(3706){8,3975}
X(3708){19,3708},{63,3708},{3949,3708}
X(3709){663,926},{4559,3709}
X(3711){3711,4814}
X(3716){3716,4124}
X(3717){8,2321}
X(3720){1,239}
X(3722){1,100}
X(3723){1,1757}
X(3724){759,3724}
X(3729){3729,4449},{3729,4885}
X(3732){3732,497},{3732,614},{3732,1040},{3732,3914},{3732,4000},{3732,4319}
X(3733){99,3733},{110,3733},{3733,1015},{3733,1977},{3733,3937}
X(3736){3736,3250}
X(3737){643,3737},{1414,3737},{3737,654},{3737,2170},{3737,4435}
X(3739){2,350}
X(3747){741,3747},{3747,4455}
X(3756){145,3756},{4373,3756}
X(3758){3758,4761},{3758,4844}
X(3759){3759,4170},{3759,4380},{3759,4401},{3759,4961}
X(3760){3760,4382},{3760,4408}
X(3761){3761,4379},{3761,4411},{3761,4506}
X(3762){3762,1647}
X(3765){3765,4874}
X(3766){874,3766},{4583,3766}
X(3768){3768,1646},{4607,3768}
X(3773){3773,4122}
X(3775){3661,3797}
X(3777){3888,3777}
X(3790){3790,4522}
X(3797){3661,3775},{3797,4486}
X(3799){3799,984},{3799,2276},{3799,3774},{3799,3783},{3799,3789},{3799,3795}
X(3804){907,3804}
X(3807){3807,984},{3807,3661},{3807,3773},{3807,3775},{3807,3790},{3807,3797},{3807,4407},{3807,4439}
X(3835){3835,3123},{4595,3835}
X(3837){693,523},{4444,918}
X(3842){3842,4824}
X(3862){3862,3250}
X(3864){3864,1491}
X(3867){3867,3806}
X(3870){3870,3309}
X(3873){3873,4905}
X(3875){3875,4106},{3875,4498}
X(3879){3879,4897}
X(3882){3882,960},{3882,1193},{3882,2292},{3882,3666},{3882,3725},{3882,4719}
X(3888){3888,982},{3888,2275},{3888,3061},{3888,3117},{3888,3721}
X(3896){3896,4170}
X(3900){100,3900},{3900,2310},{3900,3119},{4569,3900},{4578,3900}
X(3903){3903,9},{3903,43},{3903,256},{3903,846},{3903,893},{3903,1045},{3903,1711},{3903,1716},{3903,2092},{3903,2238},{3903,2276},{3903,3571},{3903,4199},{3903,4335}
X(3907){3907,4459}
X(3908){3908,574}
X(3909){3909,3670},{3909,4016}
X(3911){3911,900},{3911,1317},{3911,4895},{3911,4922}
X(3912){2,10},{8,4847},{335,726},{3912,918},{3912,2254},{3912,4088},{3912,4712},{3912,4925}
X(3920){3920,830},{3920,2483}
X(3923){3923,4874}
X(3926){3926,520},{3926,3265},{3926,4131},{3926,4143},{4590,3926}
X(3930){37,756},{518,4712}
X(3932){10,594},{3912,4437},{3932,4088}
X(3933){3933,2525}
X(3934){2,3978}
X(3935){3935,3887}
X(3936){3936,4707},{3936,4736}
X(3937){3,3937},{69,3937},{1119,3937}
X(3939){3939,41},{3939,55},{3939,220},{3939,1190},{3939,1200},{3939,1334},{3939,1802},{3939,2318},{3939,2340},{3939,2389},{3939,4258},{3939,4517}
X(3942){63,3942},{304,3942},{1847,3942}
X(3943){3943,4120},{3943,4730},{4080,3943}
X(3948){321,4647},{3948,4010},{3948,4155},{3948,4783}
X(3950){145,4899},{3950,4729}
X(3952){3952,10},{3952,37},{3952,594},{3952,740},{3952,1187},{3952,1213},{3952,1500},{3952,1834},{3952,2092},{3952,2321},{3952,2901},{3952,3610},{3952,3694},{3952,3695},{3952,3696},{3952,3704},{3952,3714},{3952,3743},{3952,3755},{3952,3773},{3952,3774},{3952,3842},{3952,3931},{3952,3932},{3952,3943},{3952,3950},{3952,3986},{3952,3991},{3952,3993},{3952,4026},{3952,4029},{3952,4058},{3952,4065},{3952,4072},{3952,4078},{3952,4085},{3952,4095},{3952,4098},{3952,4133},{3952,4136},{3952,4169},{3952,4205},{3952,4356},{3952,4515},{3952,4527},{3952,4535},{3952,4646},{3952,4709},{3952,4732},{3952,4733},{3952,4743},{3952,4780},{3952,4868}
X(3954){3954,3005}
X(3960){3960,3025},{4585,3960}
X(3963){3963,2533}
X(3972){3972,4108}
X(3973){3973,2516}
X(3975){8,3706},{312,3702},{3975,3716}
X(3978){2,3934},{3978,804}
X(3985){210,4111},{2321,4046}
X(3990){3990,822}
X(3992){3992,4120}
X(3993){3993,4806}
X(3995){3995,4129},{3995,4132}
X(3998){3998,520},{4567,3998}
X(4007){4007,4820}
X(4009){4009,4526}
X(4013){4013,594},{4013,4024}
X(4014){1376,4014}
X(4017){1414,4017},{4017,3125},{4551,4017}
X(4024){190,4024},{523,4088},{4024,115},{4024,2643},{4024,4092},{4103,4024},{4605,4024}
X(4025){4025,1565},{4025,3942},{4025,4466},{4561,4025}
X(4027){4590,4027}
X(4028){4028,3566}
X(4032){4032,2533}
X(4033){4033,10},{4033,321},{4033,756},{4033,1089},{4033,2292},{4033,3159},{4033,3701},{4033,3710},{4033,3914},{4033,3948},{4033,3971},{4033,3987},{4033,3992},{4033,3994},{4033,4044},{4033,4066},{4033,4075},{4033,4082},{4033,4125},{4033,4135},{4033,4424},{4033,4425},{4033,4442},{4033,4642},{4033,4647},{4033,4656},{4033,4695},{4033,4714}
X(4036){668,4036},{4036,115},{4036,1109}
X(4037){335,4037},{4037,4155}
X(4039){4039,804}
X(4041){643,4041},{4041,4516},{4069,4041},{4551,4041}
X(4043){4043,4151}
X(4044){4044,4804}
X(4046){2321,3985}
X(4049){4049,523},{4049,3120},{4615,4049}
X(4052){4052,523}
X(4053){4053,2610}
X(4061){4061,4843}
X(4062){4062,690},{4062,2642}
X(4064){1897,4064},{4064,125},{4064,3708},{4561,4064}
X(4066){4066,4838}
X(4069){4069,210},{4069,1334},{4069,4433},{4069,4515}
X(4074){4074,782}
X(4076){4076,644},{4076,1639},{4076,3699},{4076,4435}
X(4077){4077,4466},{4625,4077}
X(4079){101,4079},{1978,4079},{4079,3124},{4103,4079}
X(4080){4080,10},{4080,523},{4080,4049},{4080,4770}
X(4081){8,4081}
X(4082){4082,4171}
X(4083){4083,3123}
X(4088){523,4024}
X(4089){320,4089}
X(4091){658,4091},{4091,1364},{4091,2638},{4556,4091}
X(4092){8,4092},{12,4092},{1857,4092}
X(4094){1,4094}
X(4095){4095,4140}
X(4102){4102,522}
X(4103){4103,594},{4103,756},{4103,4037}
X(4105){664,4105},{3939,4105},{4105,3022}
X(4110){4110,4147}
X(4111){210,3985}
X(4115){4115,1213},{4115,1962},{4115,4046}
X(4117){1,4117},{560,4117},{872,4117}
X(4120){4049,4120},{4169,4120}
X(4122){4613,4122}
X(4124){1447,4124},{3685,4124},{4087,4124},{4518,4124}
X(4125){4125,4931}
X(4128){1215,4128},{4128,2086}
X(4130){644,4130},{4130,3022},{4130,3119},{4554,4130}
X(4131){4569,4131}
X(4143){4143,2972},{4563,4143}
X(4148){3570,4148}
X(4151){4151,2486}
X(4152){8,4152},{4076,4152},{4152,4543}
X(4155){876,4155},{3573,4155}
X(4163){3699,4163},{4163,3119},{4163,4081},{4572,4163}
X(4169){4169,3943},{4169,4819}
X(4171){1018,4171}
X(4176){4176,4143}
X(4180){4180,650}
X(4181){4181,522}
X(4183){4183,3900}
X(4186){4186,4139}
X(4222){4222,4132}
X(4226){99,110},{4226,114},{4226,230},{4226,1692},{4226,3564}
X(4230){110,1625},{4230,232},{4230,511},{4230,2211},{4230,2967},{4230,3289}
X(4232){4232,1499}
X(4233){4233,3309}
X(4235){4235,468},{4235,524},{4235,3292}
X(4236){4236,3290}
X(4237){4237,3011}
X(4238){162,1783},{4238,518}
X(4240){4240,30},{4240,1990},{4240,3163},{4240,3284}
X(4241){4241,516},{4241,1886}
X(4242){4242,758},{4242,1870},{4242,2323}
X(4243){4243,916}
X(4244){4244,3827}
X(4246){4246,517}
X(4248){4248,3667}
X(4249){4249,674}
X(4261){4261,838}
X(4273){4273,4775}
X(4282){4282,215}
X(4320){4320,2484}
X(4336){4336,2520}
X(4343){4343,2499}
X(4357){4357,3004},{4357,3910}
X(4358){4358,900},{4358,1145},{4358,3762},{4358,4528},{4358,4730},{4358,4738},{4358,4768},{4358,4783}
X(4359){75,350}
X(4360){4360,4063},{4360,4129}
X(4361){4361,4382}
X(4362){4362,814}
X(4363){4363,4378},{4363,4379},{4363,4474},{4363,4508}
X(4366){1016,4366},{1509,4366},{4366,4375}
X(4367){4367,2086},{4579,4367}
X(4368){86,4368}
X(4369){4369,804},{4369,3023},{4369,4128},{4369,4459},{4369,4922}
X(4370){2,4370},{1016,4370},{4370,3251},{4370,4543}
X(4373){4373,514},{4373,4521},{4373,4885}
X(4375){190,4375}
X(4379){4379,4403},{4482,4379}
X(4380){4380,4965}
X(4383){4383,4139},{4383,4498}
X(4384){4384,4702},{4384,4724},{4384,4762},{4384,4804}
X(4385){4385,2517}
X(4387){4387,4501}
X(4388){4388,4142}
X(4391){646,4391},{4391,11},{4391,123},{4391,2804},{4391,2968},{4391,3318},{4391,4081},{4391,4516},{4391,4768},{4391,4858},{4391,4939},{4554,4391},{4631,4391}
X(4393){4393,4759},{4393,4782},{4393,4785},{4393,4806}
X(4394){3667,2976}
X(4396){4396,4508}
X(4397){668,4397},{4397,1146}
X(4403){4363,4403}
X(4410){3761,4495}
X(4411){4411,4403}
X(4422){2,190}
X(4427){190,3570},{4427,1100},{4427,1125},{4427,1213},{4427,3686},{4427,3775},{4427,4856}
X(4432){4432,4448}
X(4434){4434,4922}
X(4436){100,3570},{4436,3691},{4436,3720}
X(4437){76,4437},{1016,4437},{3912,3932},{4437,3126}
X(4441){4441,4762}
X(4444){4444,523},{4444,1086},{4444,2643},{4444,4475},{4562,4444}
X(4447){171,2295}
X(4449){4449,4014}
X(4451){4451,3239},{4451,4147}
X(4453){4453,4089}
X(4456){4456,2485}
X(4462){4462,3756},{4462,4925},{4462,4939},{4462,4953}
X(4463){4463,2485}
X(4466){27,4466},{306,4466}
X(4468){4468,4904}
X(4469){4567,4469}
X(4475){984,4475},{985,4475}
X(4476){4570,4476}
X(4477){3903,4477},{4579,4477}
X(4481){4481,4475}
X(4482){4482,750},{4482,4363},{4482,4396}
X(4492){4492,891},{4492,3250},{4492,4893}
X(4494){4494,4474}
X(4495){3761,4410},{4495,4508}
X(4505){4505,3661}
X(4510){4510,4363},{4510,4379}
X(4511){4511,654},{4511,3738}
X(4512){4512,4827}
X(4515){4515,4171},{4515,4524}
X(4516){21,4516},{65,4516},{210,4516},{3701,4516}
X(4518){4518,522},{4518,2321},{4518,4140}
X(4521){4521,4534},{4521,4953}
X(4524){4557,4524},{4566,4524}
X(4530){2325,4530},{3911,4530},{4530,4542}
X(4534){3161,4534}
X(4542){8,4542},{11,4542},{1317,4542},{4152,4542}
X(4543){522,4543},{3699,4543},{4543,4542}
X(4546){4546,4953}
X(4551){651,1025},{4551,37},{4551,65},{4551,71},{4551,201},{4551,1284},{4551,1334},{4551,1400},{4551,2171},{4551,2198},{4551,2245},{4551,2292},{4551,2294},{4551,2295},{4551,3721},{4551,4016}
X(4552){664,883},{4552,10},{4552,12},{4552,65},{4552,72},{4552,181},{4552,209},{4552,210},{4552,226},{4552,442},{4552,758},{4552,1211},{4552,1215},{4552,2887},{4552,3454},{4552,3649},{4552,3671},{4552,3678},{4552,3697},{4552,3698},{4552,3753},{4552,3754},{4552,3822},{4552,3841},{4552,3918},{4552,3919},{4552,3921},{4552,3922},{4552,3925},{4552,3947},{4552,3956},{4552,3962},{4552,3968},{4552,3983},{4552,3988},{4552,4002},{4552,4004},{4552,4005},{4552,4015},{4552,4018},{4552,4067},{4552,4084},{4552,4090},{4552,4104},{4552,4127},{4552,4134},{4552,4138},{4552,4525},{4552,4532},{4552,4533},{4552,4536},{4552,4537},{4552,4539},{4552,4540},{4552,4547},{4552,4731},{4552,4744},{4552,4757},{4552,4848},{4552,4892}
X(4553){4553,38},{4553,39},{4553,3954}
X(4554){4554,7},{4554,8},{4554,65},{4554,69},{4554,75},{4554,85},{4554,319},{4554,320},{4554,322},{4554,377},{4554,388},{4554,518},{4554,883},{4554,1122},{4554,1231},{4554,1441},{4554,1463},{4554,1469},{4554,1909},{4554,2550},{4554,3059},{4554,3212},{4554,3262},{4554,3416},{4554,3696},{4554,3779},{4554,3868},{4554,4012},{4554,4059},{4554,4259},{4554,4645},{4554,4955}
X(4555){4555,2},{4555,45},{4555,88},{4555,190},{4555,545},{4555,903},{4555,1086},{4555,3782},{4555,4080},{4555,4286},{4555,4346},{4555,4363},{4555,4364},{4555,4370},{4555,4389},{4555,4409},{4555,4415},{4555,4419},{4555,4422},{4555,4440},{4555,4454},{4555,4465},{4555,4470},{4555,4472},{4555,4473},{4555,4499},{4555,4713},{4555,4945}
X(4556){4556,36},{4556,58},{4556,60},{4556,501},{4556,593},{4556,849},{4556,1193},{4556,1203},{4556,1790},{4556,2206},{4556,2210},{4556,2308},{4556,2392},{4556,4225},{4556,4303}
X(4557){101,2284},{4557,42},{4557,213},{4557,1334},{4557,1500},{4557,2388},{4557,3690},{4557,3747}
X(4558){4558,3},{4558,49},{4558,155},{4558,184},{4558,185},{4558,283},{4558,394},{4558,1092},{4558,1147},{4558,1181},{4558,1204},{4558,1216},{4558,1437},{4558,1790},{4558,1800},{4558,1801},{4558,1819},{4558,3167},{4558,3292},{4558,3796},{4558,3917}
X(4559){109,2283},{4559,42},{4559,181},{4559,228},{4559,1400},{4559,1402},{4559,2092},{4559,2197},{4559,3588},{4559,3724},{4559,3778}
X(4560){645,4560},{4560,11},{4560,124},{4560,1364},{4560,3271},{4560,3716},{4560,3738},{4573,4560}
X(4561){4561,63},{4561,69},{4561,71},{4561,306},{4561,345},{4561,464},{4561,914},{4561,3692},{4561,3719},{4561,3977},{4561,4001}
X(4562){4562,2},{4562,38},{4562,244},{4562,291},{4562,335},{4562,537},{4562,756},{4562,982},{4562,984},{4562,1215},{4562,3842},{4562,3952},{4562,4096},{4562,4283},{4562,4310},{4562,4392},{4562,4438},{4562,4518},{4562,4712}
X(4563){4563,3},{4563,69},{4563,332},{4563,487},{4563,488},{4563,682},{4563,1238},{4563,1444},{4563,1792},{4563,3564},{4563,3785},{4563,3926},{4563,3933},{4563,3964}
X(4564){4564,100},{4564,109},{4564,651},{4564,1025},{4564,1331},{4564,2254},{4564,3738},{4564,3882},{4564,3888},{4564,3909},{4564,3939},{4564,4551},{4564,4579}
X(4565){4565,56},{4565,58},{4565,222},{4565,859},{4565,995},{4565,1397},{4565,1401},{4565,1408},{4565,1412},{4565,1437},{4565,1464},{4565,2194},{4565,2360},{4565,4306}
X(4566){4566,37},{4566,226},{4566,440},{4566,1214},{4566,1427},{4566,1901},{4566,3668},{4566,4032},{4566,4415},{4566,4656}
X(4567){4567,100},{4567,110},{4567,643},{4567,662},{4567,692},{4567,1332},{4567,3658},{4567,3908},{4567,4553}
X(4568){4568,38},{4568,141},{4568,3703},{4568,4884}
X(4569){4569,2},{4569,85},{4569,241},{4569,279},{4569,348},{4569,948},{4569,1088},{4569,1212},{4569,1427},{4569,1446},{4569,1996},{4569,3177}
X(4570){4570,101},{4570,110},{4570,163},{4570,1331},{4570,2774},{4570,4243}
X(4571){4571,78},{4571,219},{4571,3692},{4571,3694}
X(4572){4572,76},{4572,85},{4572,226},{4572,304},{4572,312},{4572,349},{4572,1233},{4572,1920},{4572,2064},{4572,3674},{4572,3912},{4572,4044}
X(4573){4573,7},{4573,21},{4573,56},{4573,86},{4573,348},{4573,1001},{4573,1014},{4573,1284},{4573,1434},{4573,1444},{4573,1804},{4573,3286},{4573,3485},{4573,3616},{4573,3648},{4573,3649},{4573,3665},{4573,4389}
X(4574){4574,71},{4574,228},{4574,2318},{4574,3611},{4574,3690}
X(4575){4575,48},{4575,255},{4575,563},{4575,1437},{4575,2193},{4575,2315},{4575,4020},{4575,4100}
X(4576){99,2396},{4576,39},{4576,141},{4576,732},{4576,3933}
X(4577){4577,2},{4577,32},{4577,83},{4577,251},{4577,315},{4577,626},{4577,754},{4577,1078},{4577,1369},{4577,1506},{4577,1627},{4577,1799},{4577,2240},{4577,2548},{4577,2896},{4577,3096},{4577,3785}
X(4578){4578,200},{4578,220},{4578,728},{4578,4515},{4578,4936}
X(4579){4579,171},{4579,172},{4579,1580},{4579,2295},{4579,2329},{4579,4447}
X(4580){4580,125},{4580,127},{4580,3150}
X(4581){4581,11},{4581,115},{4581,1015},{4581,2615},{4581,2787},{4581,3023},{4581,3140}
X(4582){4582,8},{4582,11},{4582,1320},{4582,1329},{4582,2098},{4582,3036},{4582,3699},{4582,3711},{4582,3813},{4582,4023},{4582,4152},{4582,4193},{4582,4345}
X(4583){4583,75},{4583,141},{4583,334},{4583,335},{4583,594},{4583,1086},{4583,3661},{4583,3662},{4583,3862},{4583,3963},{4583,4033},{4583,4110},{4583,4437},{4583,4665}
X(4584){4584,42},{4584,81},{4584,100},{4584,171},{4584,291},{4584,741},{4584,1808},{4584,1911},{4584,3736},{4584,4649}
X(4585){4585,36},{4585,214},{4585,758},{4585,3218},{4585,3724},{4585,4511},{4585,4736},{4585,4867},{4585,4880},{4585,4881}
X(4586){4586,2},{4586,31},{4586,171},{4586,238},{4586,748},{4586,750},{4586,752},{4586,985},{4586,2239},{4586,2887},{4586,3836},{4586,3847},{4586,4307},{4586,4388},{4586,4645},{4586,4766}
X(4587){4587,212},{4587,219},{4587,1260},{4587,2318}
X(4588){4588,6},{4588,36},{4588,609},{4588,2163},{4588,2251},{4588,2364}
X(4589){4589,37},{4589,86},{4589,190},{4589,292},{4589,335},{4589,337},{4589,894},{4589,4670}
X(4590){4590,99},{4590,110},{4590,690},{4590,2396},{4590,3268},{4590,3573},{4590,4226},{4590,4427},{4590,4563},{4590,4576},{4590,4610}
X(4591){4591,58},{4591,106},{4591,110},{4591,1201},{4591,1797},{4591,2842}
X(4592){4592,48},{4592,63},{4592,326},{4592,1444},{4592,1790},{4592,1812},{4592,2327},{4592,3958}
X(4593){4593,31},{4593,75},{4593,82},{4593,744},{4593,2236},{4593,3112},{4593,4418}
X(4594){4594,239},{4594,257},{4594,333},{4594,893},{4594,1107},{4594,3666},{4594,4875}
X(4595){4595,43},{4595,192},{4595,3971},{4595,4734}
X(4596){4596,37},{4596,81},{4596,1171},{4596,1255},{4596,1778},{4596,3219},{4596,4641}
X(4597){4597,2},{4597,44},{4597,89},{4597,320},{4597,3758},{4597,3834},{4597,4641},{4597,4643},{4597,4644},{4597,4670},{4597,4675},{4597,4708},{4597,4715},{4597,4741},{4597,4747},{4597,4748},{4597,4795},{4597,4796},{4597,4798}
X(4598){4598,1},{4598,87},{4598,192},{4598,194},{4598,330},{4598,726},{4598,894},{4598,2309},{4598,3494},{4598,3685},{4598,3729},{4598,3923},{4598,3993},{4598,4195}
X(4599){4599,1},{4599,82},{4599,560},{4599,1747},{4599,1760},{4599,2244},{4599,3405},{4599,4118}
X(4600){4600,99},{4600,101},{4600,190},{4600,645},{4600,662},{4600,2786},{4600,4115},{4600,4237},{4600,4561},{4600,4568}
X(4601){4601,99},{4601,100},{4601,668},{4601,799},{4601,2787},{4601,4236}
X(4602){4602,38},{4602,75},{4602,310},{4602,561},{4602,714},{4602,1926},{4602,2227},{4602,3116},{4602,3728}
X(4603){4603,21},{4603,238},{4603,256},{4603,904},{4603,1178},{4603,1193},{4603,2309},{4603,3736}
X(4604){4604,1},{4604,89},{4604,902},{4604,2163},{4604,2320},{4604,3218},{4604,4084},{4604,4189},{4604,4257},{4604,4392},{4604,4414},{4604,4652}
X(4605){4605,12},{4605,201},{4605,756},{4605,1254}
X(4606){4606,1},{4606,210},{4606,2334},{4606,3940},{4606,4383},{4606,4423},{4606,4866}
X(4607){4607,1},{4607,190},{4607,537},{4607,3227},{4607,3248},{4607,3758},{4607,4432},{4607,4664},{4607,4672},{4607,4676}
X(4608){4608,115},{4608,116},{4608,1086},{4608,2786}
X(4609){4609,76},{4609,141},{4609,698},{4609,1502},{4609,3094},{4609,3096},{4609,3118}
X(4610){4610,58},{4610,86},{4610,238},{4610,261},{4610,320},{4610,757},{4610,1098},{4610,1125},{4610,1509},{4610,3664},{4610,4357}
X(4611){4611,22},{4611,206},{4611,3313}
X(4612){4612,21},{4612,60},{4612,960},{4612,1098},{4612,1776},{4612,1812},{4612,1858},{4612,2185},{4612,2194},{4612,2646},{4612,3683},{4612,4511}
X(4613){4613,10},{4613,213},{4613,2238},{4613,2295},{4613,3997},{4613,4071},{4613,4109},{4613,4144},{4613,4153}
X(4614){4614,9},{4614,81}
X(4615){4615,86},{4615,99},{4615,106},{4615,551},{4615,903},{4615,2796},{4615,3663},{4615,4234},{4615,4653}
X(4616){4616,81},{4616,279},{4616,1407},{4616,1434}
X(4617){4617,56},{4617,269},{4617,738},{4617,1122},{4617,1394},{4617,1456},{4617,3220}
X(4618){4618,44},{4618,88},{4618,679},{4618,2226},{4618,3218},{4618,3257}
X(4619){4619,36},{4619,59},{4619,1110},{4619,1262},{4619,1458}
X(4620){4620,99},{4620,109},{4620,643},{4620,664},{4620,1414},{4620,2785},{4620,4573},{4620,4592}
X(4621){4621,8},{4621,238},{4621,983},{4621,2209},{4621,3773},{4621,3915}
X(4622){4622,81},{4622,88},{4622,662},{4622,3752},{4622,4273}
X(4623){4623,81},{4623,239},{4623,274},{4623,873},{4623,1197},{4623,1206},{4623,1509},{4623,4359}
X(4624){4624,7},{4624,10},{4624,3339},{4624,4208},{4624,4866}
X(4625){4625,57},{4625,85},{4625,274},{4625,333},{4625,1424},{4625,1434},{4625,4384}
X(4626){4626,57},{4626,279},{4626,479},{4626,738},{4626,1200},{4626,1202},{4626,1475},{4626,2082},{4626,2124},{4626,2391}
X(4627){4627,55},{4627,58},{4627,2334}
X(4628){4628,42},{4628,251},{4628,2210},{4628,4251},{4628,4456}
X(4629){4629,35},{4629,42},{4629,58},{4629,1126},{4629,1171},{4629,1796},{4629,4184}
X(4630){4630,32},{4630,206},{4630,3852}
X(4631){4631,21},{4631,261},{4631,314},{4631,3685},{4631,3702}
X(4632){4632,10},{4632,86},{4632,319},{4632,1126},{4632,1268},{4632,3879},{4632,4649},{4632,4658}
X(4633){4633,8},{4633,86},{4633,2334},{4633,4733}
X(4634){4634,88},{4634,274},{4634,799}
X(4635){4635,86},{4635,269},{4635,1088}
X(4636){4636,60},{4636,283},{4636,284},{4636,1195},{4636,2150},{4636,2269},{4636,2323}
X(4637){4637,58},{4637,269},{4637,1014},{4637,1106},{4637,1471},{4637,3361}
X(4638){4638,36},{4638,106},{4638,901},{4638,902},{4638,1149},{4638,1318},{4638,2226}
X(4639){4639,10},{4639,274},{4639,291},{4639,334},{4639,668},{4639,1909}
X(4645){4645,4458}
X(4647){321,3948}
X(4649){4649,4784}
X(4651){4651,4151}
X(4653){4653,4833},{4653,4893}
X(4654){4654,4802}
X(4658){4658,4813},{4658,4840}
X(4664){4664,4776}
X(4671){4671,4770},{4671,4777},{4671,4791}
X(4673){4673,4765},{4673,4811}
X(4674){4674,37},{4674,661}
X(4693){4693,4800}
X(4697){894,385}
X(4700){4700,4773}
X(4705){100,4705},{4705,2643},{4705,3124}
X(4712){75,4712},{518,3930},{765,4712},{4712,3126}
X(4716){4716,4810}
X(4720){4720,4944}
X(4723){4723,1639},{4723,4768}
X(4727){4727,4958}
X(4736){75,4736}
X(4738){75,4738}
X(4742){4742,4773}
X(4752){4752,45},{4752,2177},{4752,3711}
X(4754){894,1966}
X(4756){4756,1698},{4756,4007},{4756,4716},{4756,4727},{4756,4898}
X(4767){4767,45},{4767,3679},{4767,4693},{4767,4873},{4767,4908}
X(4768){4768,4530}
X(4771){4771,4839}
X(4775){4588,4775},{4767,4775}
X(4777){4597,4777},{4767,4777}
X(4778){4778,4773},{4778,4839}
X(4781){4781,551},{4781,3707},{4781,4407}
X(4790){4606,4790}
X(4791){4791,4957}
X(4792){4792,45},{4792,4893}
X(4802){4756,4802},{4802,4958}
X(4803){4600,4803}
X(4817){4586,4817},{4817,1086},{4817,3248}
X(4825){100,4825}
X(4834){4756,4834}
X(4835){4835,4765},{4835,4839}
X(4845){4845,55},{4845,657}
X(4846){4846,647}
X(4847){8,3912}
X(4849){4849,4729}
X(4858){85,4858},{312,4858}
X(4864){1,9}
X(4866){4866,650},{4866,4171}
X(4873){4873,4814},{4873,4944}
X(4876){4876,210},{4876,650}
X(4879){1,3571}
X(4885){4885,4014}
X(4893){4604,4893},{4752,4893}
X(4898){4898,4949}
X(4899){145,3950},{4899,4925}
X(4900){4900,650}
X(4904){344,4904}
X(4908){4945,4908}
X(4921){4921,4926}
X(4945){4945,3679},{4945,4777},{4945,4825}
X(4953){145,4953}
X(4957){4671,4957}
X(4960){4960,4810}
To ETC

Compiled by Peter J C Moses.