ETC Hirst Inverses.

Last update: 2012/02/21.

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

Centre  Hirst Inverses
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,239},{3,1936},{4,243},{5,2596},{6,238},{9,518},{19,240},{21,2651},{29,2659},{31,1580},{37,1757},{42,2664},{43,3009},{48,1955},{54,2602},{57,241},{63,1959},{65,1758},{73,2655},{75,1966},{81,1931},{86,2669},{105,294},{110,2613},{244,1054},{291,292},{293,1910},{296,1937},{365,2069},{415,2907},{512,3571},{523,2607},{1279,1743},{1447,3212},{1581,1967},{2107,2665},{2597,2603},{2608,2614},{2616,2620},{2617,2626},{2621,2627},{2629,2632},{2636,2638},{2640,2643},{2648,2652},{2656,2660},{3973,4864}
X(2){1,239},{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},{3,401},{4,297},{6,385},{8,3912},{20,441},{21,448},{27,447},{63,1944},{69,325},{75,350},{76,3978},{92,1948},{98,287},{115,148},{145,3008},{192,1575},{193,230},{194,3229},{291,335},{298,299},{395,3180},{396,3181},{449,452},{694,1916},{894,3509},{1086,4440},{3506,4027},{4506,4671}
X(3){1,1936},{2,401},{3,520},{3,647},{3,652},{3,684},{3,686},{3,852},{3,1459},{3,1636},{3,3049},{3,3284},{3,3289},{3,3292},{4,450},{6,511},{21,416},{194,385},{219,1818},{295,2196}
X(4){1,243},{2,297},{3,450},{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},{19,242},{21,425},{24,421},{25,419},{27,423},{28,422},{29,415},{281,1861},{420,427},{424,451},{470,471},{1249,1503}
X(5){1,2596},{5,2081},{5,2600}
X(6){1,238},{2,385},{3,511},{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},{15,16},{19,2202},{25,232},{31,1914},{32,1691},{39,2076},{48,1951},{55,672},{56,1458},{58,1326},{81,2106},{171,3510},{182,2080},{184,1971},{248,1976},{292,1911},{371,2459},{372,2460},{401,3164},{419,3186},{518,1083},{523,1316},{1384,2030},{1423,1429},{1438,2195},{1687,1688},{1692,3053},{1945,1949},{1977,1979},{2329,3508},{3110,3286}
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},{57,1447},{516,3160},{1463,3212}
X(8){2,3912},{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},{9,3685},{312,3975},{346,3717},{4518,4876}
X(9){1,518},{8,3685},{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},{55,3684},{192,239},{200,3693},{2170,4919},{2348,3158}
X(10){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},{37,740},{42,4039},{321,3948},{2321,3932}
X(11){11,4530},{2170,4124}
X(12){12,2610},{12,4024}
X(13){13,395},{13,523},{14,1989}
X(14){13,1989},{14,396},{14,523},{14,3272}
X(15){6,16},{15,526}
X(16){6,15},{16,526}
X(17){17,523}
X(18){18,523}
X(19){1,240},{4,242},{6,2202},{19,661},{19,663},{19,810},{19,862},{19,2356},{25,2201},{34,1876},{204,2312},{423,2905}
X(20){2,441}
X(21){1,2651},{2,448},{3,416},{4,425},{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){4,421},{24,924}
X(25){4,419},{6,232},{19,2201},{25,512},{25,1692},{25,2211},{25,2484},{25,2489},{25,2495},{25,2514},{25,3049},{25,3063},{607,2356},{2386,3162}
X(27){2,447},{4,423},{27,242},{27,514},{27,1459},{27,1870},{27,3737}
X(28){4,422},{28,513},{28,1430},{28,2201}
X(29){1,2659},{4,415},{29,243},{29,522},{29,652},{29,1021},{29,1731},{29,1776},{29,3064}
X(30){30,1636},{30,1637},{30,1651},{30,3163},{402,1650},{523,542},{524,2799}
X(31){1,1580},{6,1914},{31,667},{31,788},{31,798},{31,810},{31,863},{31,922},{31,1919},{31,1924},{31,2084},{31,2251},{31,3063},{32,2210},{41,2223},{48,1755},{560,1933},{1403,1428},{1911,1922},{1927,1967},{2151,2152}
X(32){6,1691},{31,2210},{32,669},{32,688},{32,864},{32,1919},{32,1980},{32,2491},{32,3049},{184,237},{206,3852},{1974,2211}
X(33){33,657},{33,4041}
X(34){19,1876},{34,649},{34,4017},{56,1430}
X(35){35,2605}
X(36){36,654}
X(37){1,1757},{10,740},{37,512},{37,661},{37,4041},{37,4524},{37,4705},{37,4729},{37,4730},{37,4770},{37,4822},{42,2238},{210,3930},{1045,2664}
X(38){38,2084},{38,2530},{1964,2236}
X(39){6,2076},{39,688},{39,3005},{39,4093},{141,732}
X(41){31,2223},{41,3063},{1914,2176}
X(42){1,2664},{10,4039},{37,2238},{42,512},{42,798},{42,3709},{42,4079},{42,4455},{42,4826},{42,4832},{213,3747},{846,1757}
X(43){1,3009},{43,4083},{55,238},{672,1742}
X(44){44,678},{44,1635},{44,1960},{44,3251},{44,4730},{44,4895},{519,4432},{650,2246},{659,899},{1155,2254}
X(45){45,4770},{45,4775},{45,4814},{45,4825},{45,4893},{3679,4693}
X(46){243,1148}
X(48){1,1955},{6,1951},{31,1755},{48,810},{48,822},{48,1946},{1580,1740}
X(54){1,2602},{50,54},{54,647},{54,654},{54,924},{54,1971},{54,2081},{54,2623},{54,3050}
X(55){6,672},{9,3684},{43,238},{55,657},{55,663},{55,853},{55,926},{55,3063},{55,3709},{220,2340}
X(56){6,1458},{34,1430},{56,649},{56,854},{56,1404},{56,3063},{56,3310},{56,4832},{57,1429},{604,1428},{1416,1438}
X(57){1,241},{7,1447},{56,1429},{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},{105,1462},{910,1419}
X(58){6,1326},{58,649},{58,834},{58,1459},{58,1914},{58,1919},{58,3285},{58,3733},{284,3286}
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){1,1959},{2,1944},{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){1,1758},{65,647},{65,661},{65,3709},{65,4017},{73,851},{1047,2655},{1284,1400}
X(66){66,647},{66,826}
X(67){39,67},{67,647},{67,1640},{67,1649},{67,2528},{67,3906}
X(68){68,647}
X(69){2,325},{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){71,647},{71,810}
X(72){72,647},{72,656}
X(73){1,2655},{65,851},{73,647},{73,822},{1046,1758}
X(74){6,74},{74,647},{74,2433}
X(75){1,1966},{2,350},{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},{76,1921},{312,3263},{334,335},{336,1821},{561,1926},{1581,1934},{1909,4645}
X(76){2,3978},{75,1921},{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){37,80},{80,650},{80,4024},{80,4777}
X(81){1,1931},{6,2106},{36,81},{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}
X(82){82,661},{82,830},{82,1580},{82,1924},{82,4040}
X(83){23,83},{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){1,2669},{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}
X(87){87,649},{87,4083},{87,4367},{87,4435},{87,4449}
X(88){1,88},{88,513},{88,764},{88,1022},{88,3251},{88,4378},{88,4775},{4363,4945}
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){2,1948},{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){5,94},{94,523},{300,301}
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){2,287},{6,98},{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,99},{6,99},{69,99},{81,99},{86,99},{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},{648,877},{670,880},{2396,4563},{4584,4589}
X(100){1,100},{6,100},{9,100},{37,100},{44,100},{45,100},{72,100},{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},{101,3573},{190,3570},{644,1026},{651,1025},{660,813}
X(101){6,101},{31,101},{42,101},{55,101},{71,101},{100,3573},{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},{109,2283},{2284,3939}
X(102){6,102},{102,652},{102,2432}
X(103){6,103},{103,657},{103,1459},{103,2424}
X(104){6,104},{104,650},{104,2423}
X(105){1,294},{6,105},{57,1462},{105,513},{105,1024},{105,1027},{105,1643},{105,2440},{105,3063}
X(106){6,106},{106,649},{106,2441},{750,4792}
X(107){4,107},{6,107},{53,107},{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){6,108},{19,108},{34,108},{65,108},{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){6,109},{41,109},{48,109},{56,109},{73,109},{101,2283},{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){1,2613},{3,110},{6,110},{15,110},{16,110},{32,110},{39,110},{50,110},{52,110},{58,110},{61,110},{62,110},{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},{112,4230},{2421,4558}
X(111){6,111},{111,512},{111,2444},{111,2506}
X(112){6,112},{25,112},{51,112},{110,4230},{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){230,3564}
X(115){2,148},{115,1648},{125,868},{1637,1640}
X(125){115,868},{690,1640}
X(141){39,732},{141,826},{141,2474},{141,2518},{141,2525},{141,2528},{141,2530},{141,2531},{141,3005},{141,3806}
X(144){3161,3912}
X(145){2,3008},{145,2976},{145,3667},{145,4394},{145,4521},{145,4925},{145,4949},{3161,4899}
X(148){2,115}
X(154){511,3167}
X(155){450,1075}
X(158){158,661},{158,3064}
X(162){1,162},{19,162},{28,162},{48,162},{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},{656,2633}
X(163){31,163},{48,163},{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(165){518,3158}
X(171){6,3510},{171,3287},{171,3805},{171,4164},{171,4367},{172,1580},{291,1911},{385,894},{2329,4447}
X(172){171,1580},{292,1922}
X(177){177,650}
X(178){178,522}
X(181){181,4079}
X(182){6,2080},{182,3288}
X(183){183,3288}
X(184){6,1971},{32,237},{184,3049},{577,3289},{1613,1691}
X(186){186,526},{186,2081}
X(187){187,351},{512,2502},{1495,3569}
X(189){189,522},{189,905}
X(190){1,190},{2,190},{8,190},{10,190},{42,190},{43,190},{78,190},{100,3570},{145,190},{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},{660,4562},{664,883},{668,874}
X(192){2,1575},{9,239},{192,3835},{192,4083},{192,4147},{518,3177}
X(193){2,230},{193,3566},{193,3798},{297,1249}
X(194){2,3229},{3,385},{194,3221},{511,3164}
X(200){9,3693},{200,657},{200,3900},{200,4130},{200,4171},{200,4827}
X(202){203,3196}
X(203){202,3196}
X(204){19,2312},{240,1707}
X(206){32,3852}
X(210){37,3930},{210,3709},{210,4041},{210,4171},{740,3971},{1334,4433},{2321,3985}
X(212){212,1946}
X(213){42,3747},{213,669},{213,798}
X(219){3,1818},{219,652},{219,1946}
X(220){55,2340},{220,657},{220,4105},{220,4524},{3208,3684}
X(222){222,1459},{222,1946}
X(225){225,661},{225,2501},{1874,1880}
X(226){226,523},{226,656},{226,2457},{226,2533},{226,3801},{226,4017},{226,4041},{226,4695}
X(228){228,810},{228,3049}
X(230){2,193},{114,3564}
X(232){6,25},{232,3569},{511,2967},{3053,3172},{3168,3186}
X(234){234,514}
X(237){32,184},{237,2491}
X(238){1,6},{43,55},{238,659},{238,4435},{239,4366},{256,904}
X(239){1,2},{9,192},{238,4366},{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},{257,893}
X(240){1,19},{204,1707},{2588,2589}
X(241){1,57},{241,926},{241,1362},{241,2254},{1419,1743}
X(242){4,19},{242,4010},{242,4435}
X(243){1,4},{46,1148}
X(244){1,1054},{244,764},{244,2087},{2170,3675}
X(248){6,1976},{184,248},{248,647},{248,878}
X(249){110,249},{249,351},{249,526},{249,684},{249,1576},{249,1624},{249,1634},{249,2421},{249,4556},{249,4558},{249,4636}
X(250){110,250},{112,250},{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}
X(256){238,904},{256,650},{256,3250},{256,4083},{694,1581}
X(257){239,893},{257,522},{257,1491},{257,3835},{257,4010},{1581,1916}
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){216,265},{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}
X(275){186,275},{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}
X(280){280,521},{280,3239}
X(281){4,1861},{281,3064},{281,3700},{281,3900}
X(282){282,652},{282,3900}
X(283){283,652}
X(284){58,3286},{284,652},{284,663},{284,1951},{284,2361}
X(285){285,1021}
X(286){286,693},{286,905},{286,4560}
X(287){2,98},{3,287},{287,525},{287,878},{287,879}
X(288){288,1157},{288,1510}
X(290){2,290},{290,647},{290,850},{290,2395}
X(291){1,292},{2,335},{37,291},{171,1911},{291,513},{291,876},{291,3250},{291,3252},{291,3572},{291,4079},{291,4502},{334,1909}
X(292){1,291},{6,1911},{42,292},{172,1922},{292,649},{292,788},{292,875},{292,1908},{292,3572},{292,4507},{335,894}
X(293){1,1910},{48,293},{293,656}
X(294){1,105},{55,294},{294,650},{294,884},{294,1024}
X(295){3,2196},{71,295},{295,1459}
X(296){1,1937},{73,296},{296,652}
X(297){2,4},{114,297},{132,297},{193,1249},{297,684},{297,2799},{297,2967},{2592,2593},{4235,4240}
X(298){2,299},{298,3268}
X(299){2,298},{299,3268}
X(300){94,301},{300,850}
X(301){94,300},{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){8,3975},{75,3263},{312,522},{312,3717},{312,4041},{312,4086},{312,4147},{312,4163},{312,4391},{312,4397},{312,4723},{312,4768},{312,4811},{3596,4087}
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){10,3948},{321,523},{321,1577},{321,3932},{321,3992},{321,4036},{321,4086},{321,4404},{321,4705},{321,4808},{321,4815},{3963,4071}
X(323){323,526},{323,1511}
X(325){2,69},{325,2799},{325,3569}
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}
X(334){75,335},{291,1909},{321,334},{334,693},{334,824},{334,3776},{334,4024},{334,4444},{334,4500}
X(335){2,291},{10,335},{75,334},{292,894},{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){63,336},{75,1821},{336,822}
X(337){306,337},{337,4025}
X(338){338,868}
X(340){340,3268}
X(341){341,3239},{341,4171},{341,4397}
X(343){343,1568}
X(344){344,3309},{344,4468}
X(345){345,521}
X(346){8,3717},{346,3239},{346,3900},{346,4148},{346,4163},{346,4524},{346,4528},{346,4546},{3975,4110}
X(348){348,521},{348,4025},{348,4131}
X(349){349,850},{349,4077},{349,4086},{349,4088}
X(350){2,75},{350,812},{350,3766},{350,4148},{1281,1966}
X(351){888,2086}
X(365){1,2069}
X(367){367,513}
X(371){6,2459},{371,924},{372,3003}
X(372){6,2460},{371,3003},{372,924}
X(385){2,6},{3,194},{171,894},{385,804},{385,4107},{385,4154},{385,4164},{1691,4027}
X(386){386,834}
X(388){388,2522}
X(391){391,4765},{391,4843},{3616,4684}
X(393){393,460},{393,512},{393,2501},{393,2520}
X(394){394,520},{394,4091}
X(395){2,3180},{533,619}
X(396){2,3181},{532,618}
X(401){2,3},{6,3164}
X(402){30,1650}
X(403){403,686},{1585,1586}
X(415){1,2907},{4,29},{415,2785}
X(416){3,21}
X(419){4,25},{6,3186},{419,804}
X(420){4,427}
X(421){4,24}
X(422){4,28},{422,2787}
X(423){4,27},{19,2905},{423,2786}
X(424){4,451}
X(425){4,21},{425,2798}
X(427){4,420},{427,826}
X(441){2,20}
X(447){2,27}
X(448){2,21}
X(449){2,452}
X(450){3,4},{155,1075},{450,2797},{1935,1940}
X(451){4,424}
X(452){2,449}
X(459){459,523}
X(461){461,4827},{461,4843}
X(468){468,690}
X(470){4,471}
X(471){4,470}
X(476){6,476},{13,476},{14,476},{113,476},{115,476},{265,476},{381,476},{399,476},{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){6,477},{477,1637},{477,2436}
X(479){479,3669}
X(480){480,4105}
X(484){559,1082}
X(485){485,523}
X(486){486,523}
X(491){492,3580}
X(492){491,3580}
X(493){493,512}
X(494){494,512}
X(502){502,4024}
X(511){3,6},{154,3167},{194,3164},{232,2967},{511,684},{511,2491},{511,3569},{523,2782},{2574,2575}
X(512){1,3571},{187,2502},{351,512},{512,865},{512,888},{512,1084},{512,1645},{512,2086},{512,2491},{512,3121},{512,3122},{512,3124},{523,804},{647,3569},{798,4455},{878,2422},{881,882},{2393,2882}
X(513){244,513},{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},{514,812},{517,2810},{519,537},{523,2787},{649,659},{650,2254},{667,4164},{876,3572},{1024,1027},{1052,1054},{1155,2246}
X(514){11,514},{244,514},{513,812},{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},{519,545},{522,918},{523,2786},{524,2796},{527,528},{536,537},{649,4107},{693,3766},{876,4444}
X(515){523,2792}
X(516){7,3160},{516,676},{523,2784}
X(517){513,2810},{517,1769},{517,3310},{523,2783}
X(518){1,9},{6,1083},{165,3158},{192,3177},{518,665},{518,1642},{518,2254},{518,3126},{521,2808},{523,2795},{3307,3308},{3693,4712}
X(519){44,4432},{513,537},{514,545},{519,900},{519,1635},{519,1639},{519,1644},{519,4120},{519,4370},{519,4448},{519,4773},{519,4958},{522,528},{523,2796},{524,2786},{527,918},{536,812}
X(520){520,1636},{520,2972},{520,3269},{523,2797},{647,684}
X(521){518,2808},{523,2798}
X(522){11,522},{514,918},{519,528},{522,1146},{522,1639},{522,2170},{522,3119},{522,4124},{522,4530},{522,4534},{523,2785},{650,3716}
X(523){1,2607},{6,1316},{30,542},{115,523},{125,523},{245,523},{246,523},{247,523},{511,2782},{512,804},{513,2787},{514,2786},{515,2792},{516,2784},{517,2783},{518,2795},{519,2796},{520,2797},{521,2798},{522,2785},{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},{524,543},{525,2799},{530,531},{661,4010},{879,2395},{1499,2793},{1503,2794},{2788,3309},{2789,3667},{3700,4088}
X(524){30,2799},{351,524},{514,2796},{519,2786},{523,543},{524,690},{524,1641},{524,1649},{524,2482},{524,4750},{525,542},{527,2785},{536,2787},{538,804},{896,4760},{2795,4762},{3413,3414}
X(525){122,525},{125,525},{523,2799},{524,542},{525,684},{525,1650},{525,2972},{525,4466}
X(526){526,2088}
X(527){514,528},{519,918},{524,2785},{527,1638}
X(528){514,527},{519,522},{528,1642},{528,1643}
X(530){523,531}
X(531){523,530}
X(532){396,618}
X(533){395,619}
X(536){514,537},{519,812},{524,2787},{536,891},{536,4728},{899,4465}
X(537){513,519},{514,536}
X(538){524,804},{538,888}
X(542){30,523},{524,525},{542,1640}
X(543){523,524},{543,1641}
X(545){514,519},{545,1644}
X(554){514,554}
X(559){484,1082}
X(560){31,1933},{560,1924},{560,1980}
X(561){75,1926},{561,824},{561,1577},{561,3261},{561,4509}
X(577){184,3289}
X(588){512,588},{588,2459}
X(589){512,589},{589,2460}
X(593){593,3733}
X(594){594,4024},{594,4705},{756,4037}
X(595){595,4057}
X(596){596,661},{596,1639},{596,3837}
X(598){351,598},{523,598},{598,4108}
X(599){599,3906},{599,4141}
X(604){56,1428},{604,667}
X(607){25,2356},{607,3709}
X(608){608,667}
X(612){612,2484}
X(618){396,532}
X(619){395,533}
X(643){9,643},{21,643},{41,643},{78,643},{284,643},{643,1819},{643,2268},{643,2287},{643,2289},{643,2327},{643,3217},{643,3601},{643,3786},{643,3876},{643,4877}
X(644){9,644},{55,644},{100,1026},{200,644},{210,644},{380,644},{480,644},{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},{3570,4595}
X(645){8,645},{21,645},{55,645},{333,645},{345,645},{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){8,646},{210,646},{312,646},{341,646},{497,646},{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){512,3569},{520,684},{647,3269}
X(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},{99,877},{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},{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},{685,2966}
X(649){513,659},{514,4107},{649,1015},{649,1960},{649,3122},{649,3248},{649,3271},{649,3768},{649,4455},{663,665},{875,3572}
X(650){44,2246},{513,2254},{522,3716},{650,926},{650,2170},{650,2310},{650,3022},{650,3270},{650,3271},{650,4516},{650,4526},{650,4895},{663,4435},{812,3835}
X(651){1,651},{3,651},{35,651},{36,651},{40,651},{46,651},{55,651},{56,651},{57,651},{65,651},{100,1025},{165,651},{171,651},{241,651},{260,651},{354,651},{484,651},{517,651},{559,651},{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},{653,1981}
X(652){652,2637},{652,2638},{652,3270},{653,2639}
X(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},{651,1981},{652,2639},{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(655){1,655},{5,655},{11,655},{12,655},{80,655},{119,655},{355,655},{495,655},{496,655},{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,2633},{656,2631},{656,2632},{656,2634},{656,3708},{896,2247}
X(657){657,3022},{663,926}
X(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},{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){44,899},{513,649},{663,4083},{812,4375},{2235,2239}
X(660){1,660},{39,660},{100,813},{190,4562},{291,660},{292,660},{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){523,4010},{661,2642},{661,2643},{661,2645},{661,3122},{661,3125},{661,3708},{661,4155},{661,4516},{661,4730},{662,2644},{2173,2247}
X(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},{661,2644},{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){649,665},{650,4435},{657,926},{659,4083},{663,3271}
X(664){2,664},{7,664},{9,664},{57,664},{63,664},{142,664},{144,664},{190,883},{226,664},{307,664},{329,664},{527,664},{553,664},{579,664},{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},{666,927}
X(665){649,663},{902,1055}
X(666){2,666},{11,666},{55,666},{100,666},{105,666},{120,666},{149,666},{390,666},{497,666},{528,666},{664,927},{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){513,4164},{667,890},{667,1977},{667,3121},{667,3248}
X(668){2,668},{37,668},{75,668},{190,874},{192,668},{312,668},{321,668},{344,668},{345,668},{346,668},{350,668},{536,668},{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},{4562,4583}
X(669){669,887},{669,1084},{2491,3049}
X(670){2,670},{39,670},{76,670},{99,880},{194,670},{274,670},{305,670},{310,670},{538,670},{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){2,671},{523,671},{671,1649},{671,2408},{671,4789},{671,4948}
X(672){6,55},{43,1742},{665,672},{672,926},{1362,1458},{2590,2591}
X(673){1,673},{514,673},{663,673},{673,885},{673,1027},{673,4040},{673,4375},{673,4449},{673,4724},{673,4794}
X(675){6,675},{514,675}
X(677){3,677},{101,677},{103,677},{220,677},{677,911},{677,2338},{677,2808},{677,3207},{677,3730}
X(678){678,3251}
X(679){88,679},{679,1022},{679,1635},{679,3960}
X(681){6,681},{158,681}
X(683){683,2489},{683,3267}
X(684){520,647},{3284,3292}
X(685){4,685},{32,685},{98,685},{112,685},{115,685},{132,685},{248,685},{648,2966},{685,1285},{685,1561},{685,1968},{685,2794},{685,3767}
X(687){4,687},{110,687},{113,687},{136,687},{247,687},{687,1147},{687,1300},{687,2986},{687,3043}
X(688){782,826}
X(689){6,689},{76,689},{83,689},{308,689},{689,732},{689,880},{689,1186},{689,2231},{689,3499},{689,3770}
X(690){125,1640},{690,1648},{690,1649},{868,1637},{1641,2482}
X(691){6,691},{110,691},{111,691},{691,895},{691,1995},{691,2493},{691,2502},{691,2503},{691,2854},{691,2930},{691,3066},{691,3124}
X(692){31,692},{32,692},{41,692},{213,692},{228,692},{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){514,3766},{693,918},{693,1086},{693,1111},{693,1146},{693,3125},{693,3762},{693,4707},{693,4858},{693,4904},{693,4957},{4374,4458}
X(694){2,1916},{39,694},{256,1581},{512,694},{694,881},{694,882},{694,2524},{694,2531},{893,1967}
X(695){647,695},{695,3221}
X(697){6,697}
X(699){6,699},{699,3221}
X(701){6,701}
X(702){754,782}
X(703){6,703}
X(705){6,705}
X(706){736,804}
X(707){6,707}
X(709){6,709}
X(711){6,711}
X(713){6,713},{713,1980}
X(715){6,715},{715,1924}
X(716){752,794}
X(717){6,717}
X(719){6,719}
X(721){6,721}
X(723){6,723}
X(725){6,725}
X(726){726,3837}
X(727){6,727},{727,1919},{727,4057}
X(728){728,4105},{728,4130}
X(729){6,729},{669,729}
X(730){742,812}
X(731){6,731}
X(732){39,141}
X(733){6,733},{688,733},{733,882}
X(735){6,735}
X(736){706,804}
X(737){6,737}
X(739){6,739},{667,739}
X(740){10,37},{210,3971},{740,4010},{740,4839},{1654,1655},{2238,4368},{3747,4154}
X(741){6,741},{741,798},{741,3572},{741,3733}
X(742){730,812},{760,918}
X(743){6,743},{743,788}
X(745){6,745},{745,2084}
X(747){6,747}
X(748){748,4501}
X(749){749,3250}
X(750){106,4792},{750,4378},{4363,4396}
X(751){751,1635},{751,3250}
X(752){716,794},{752,4809}
X(753){6,753},{753,3250}
X(754){702,782}
X(755){6,755},{755,3005}
X(756){594,4037},{756,4079},{756,4155},{756,4705}
X(757){757,1019},{757,3960}
X(758){758,2610}
X(759){6,759},{661,759},{759,4833}
X(760){742,918}
X(761){6,761},{761,1491}
X(765){100,765},{101,765},{644,765},{765,1018},{765,1023},{765,1026},{765,1635},{765,3573},{765,3799},{765,3887},{765,4587},{765,4752}
X(767){6,767},{693,767}
X(769){6,769}
X(771){1,771},{771,1092}
X(773){6,773}
X(775){661,775}
X(777){6,777}
X(779){6,779}
X(781){6,781}
X(782){688,826},{702,754}
X(783){6,783}
X(785){6,785},{785,2205}
X(787){6,787},{787,1923}
X(788){794,824}
X(789){6,789},{75,789},{239,789},{742,789},{789,870},{789,894},{789,2235},{789,3758},{789,3759},{789,4361},{789,4363}
X(791){6,791}
X(793){6,793}
X(794){716,752},{788,824}
X(795){6,795}
X(797){6,797}
X(798){512,4455},{798,3121},{798,4117}
X(799){1,799},{75,799},{86,799},{274,799},{304,799},{314,799},{326,799},{332,799},{740,799},{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},{4589,4639}
X(801){523,801},{801,2071}
X(803){6,803}
X(804){512,523},{524,538},{706,736},{804,2086}
X(805){6,805},{694,805},{805,1084},{805,1178},{805,1634},{805,2311},{805,3117},{805,3511}
X(807){6,807}
X(809){6,809}
X(811){19,811},{27,811},{63,811},{75,811},{92,811},{286,811},{333,811},{811,1748},{811,1755},{811,1760},{811,1761},{811,1762},{811,1965},{811,2322},{811,2580},{811,2581},{811,4269}
X(812){513,514},{519,536},{650,3835},{659,4375},{730,742},{812,4124},{812,4448}
X(813){6,813},{100,660},{292,813},{813,869},{813,872},{813,1911},{813,1964},{813,2110},{813,3248},{813,3252},{813,3862},{813,4557}
X(815){6,815}
X(817){6,817},{817,2085}
X(819){6,819}
X(821){821,822}
X(823){1,823},{29,823},{92,823},{158,823},{820,823},{823,1047},{823,1096},{823,1784},{823,1895},{823,1896},{823,2586},{823,2587},{823,2658},{823,2659}
X(824){788,794},{824,4475},{1491,4486}
X(825){6,825},{560,825},{825,1631},{825,2210},{825,3764},{825,3778},{825,4471},{825,4484},{825,4497}
X(826){688,782}
X(827){6,827},{22,827},{251,827},{827,1176},{827,1180},{827,1501},{827,2916},{827,3060},{827,3796}
X(831){6,831},{38,831},{831,4722}
X(833){6,833},{833,977},{833,3721},{833,3868}
X(835){6,835},{10,835},{835,1377},{835,1378},{835,2049},{835,2214},{835,3416},{835,3686},{835,4349},{835,4700}
X(839){6,839},{321,839},{839,3187}
X(840){6,840},{665,840}
X(841){6,841}
X(842){6,842},{526,842},{842,2492},{842,3569}
X(843){6,843},{351,843}
X(846){42,1757},{1045,2238}
X(847){686,847},{847,2501}
X(850){115,850},{127,850},{338,850},{339,850},{850,2799}
X(851){65,73},{1046,1047}
X(859){859,3310}
X(862){862,4155},{1824,2333}
X(867){1086,4466}
X(868){115,125},{690,1637}
X(869){788,869}
X(870){649,870},{693,870},{812,870},{870,4369},{870,4379},{870,4380},{870,4382},{870,4817}
X(871){514,871}
X(873){812,873},{873,1019},{873,4509}
X(874){190,668},{239,874},{350,874},{874,2238},{874,3948},{874,3975},{874,4465}
X(875){649,3572},{798,875},{875,1084},{875,3248},{876,4367}
X(876){244,876},{513,3572},{514,4444},{661,876},{875,4367},{876,3124}
X(877){99,648},{232,877},{297,877},{325,877}
X(878){512,2422},{878,3049}
X(879){125,879},{523,2395},{647,879}
X(880){99,670},{385,880},{880,3978}
X(881){512,882},{688,881},{881,1084}
X(882){512,881},{882,2679},{882,3005},{882,3124}
X(883){190,664},{241,883},{883,3693},{883,3912}
X(884){884,3063},{884,3271}
X(885){11,885},{650,885},{885,1566}
X(886){2,886},{670,886},{886,1084},{886,3228}
X(887){887,1645}
X(888){351,2086},{888,1645}
X(889){2,889},{668,889},{889,1015},{889,1573},{889,3227}
X(891){891,1646}
X(892){2,892},{99,892},{111,892},{115,892},{126,892},{148,892},{543,892},{574,892},{620,892},{671,892},{892,2482},{892,2549},{892,3734},{892,4045}
X(893){239,257},{663,893},{694,1967},{788,893},{893,4455}
X(894){2,3509},{171,385},{292,335},{894,2533},{894,3907},{894,4039},{894,4107},{894,4367},{894,4369},{894,4434},{894,4447},{894,4477},{894,4504},{894,4774},{894,4922},{1909,1966}
X(895){3,895},{647,895}
X(896){524,4760},{656,2247},{896,2642}
X(897){1,897},{661,897},{897,4160}
X(898){6,898},{100,898},{739,898},{898,1977},{898,1979},{898,3240}
X(899){44,659},{536,4465},{891,899},{899,3768},{899,4526}
X(900){900,1647},{900,2087},{900,4530},{1635,4448},{1644,4370}
X(901){6,901},{101,901},{106,901},{202,901},{203,901},{901,995},{901,999},{901,1015},{901,1017},{901,2242},{901,2316},{901,2810},{901,3196},{901,3204},{901,4245}
X(902){665,1055},{902,1017},{902,1960}
X(903){2,903},{514,903},{903,1022},{903,2403},{903,4049},{903,4379},{903,4893}
X(904){238,256},{904,3063}
X(905){905,1364},{905,3270},{905,3937},{905,3942}
X(906){48,906},{184,906},{212,906},{228,906},{906,2253},{906,3990}
X(907){6,907},{907,3917}
X(908){908,1145},{908,1769},{908,2804}
X(909){31,909},{663,909},{909,2423}
X(910){57,1419}
X(911){31,911}
X(913){31,913}
X(915){6,915},{915,3657}
X(917){6,917}
X(918){514,522},{519,527},{742,760},{918,3126},{918,3675}
X(919){6,919},{692,919},{919,1438},{919,1486},{919,2175},{919,2195},{919,2876},{919,3271},{919,4749}
X(921){661,921}
X(923){31,923},{798,923}
X(925){5,925},{6,925},{68,925},{155,925},{485,925},{486,925},{925,1352},{925,1353},{925,2165},{925,2548},{925,3564},{925,3767}
X(926){657,663}
X(927){6,927},{7,927},{294,927},{379,927},{651,927},{664,666},{673,927},{927,948},{927,1086},{927,1462},{927,1814},{927,4000},{927,4644}
X(929){6,929},{11,929},{929,1985}
X(930){6,930},{17,930},{18,930},{195,930},{231,930},{233,930},{930,1209},{930,1506},{930,1656},{930,2439},{930,2963},{930,3519}
X(931){6,931},{21,931},{931,941},{931,1778}
X(932){6,932},{43,932},{87,932},{171,932},{932,1197},{932,1376},{932,1575},{932,1740},{932,2162},{932,2319},{932,3510},{932,3684},{932,4386}
X(933){6,933},{24,933},{54,933},{933,973},{933,2917},{933,3567}
X(934){6,934},{57,934},{222,934},{223,934},{269,934},{610,934},{910,934},{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){6,935},{67,935},{125,935},{935,1560}
X(937){649,937}
X(939){649,939}
X(941){512,941},{650,941},{941,2499},{941,2500},{941,2512},{941,4507}
X(943){650,943}
X(945){652,945},{945,3310}
X(947){652,947}
X(949){652,949},{926,949}
X(951){652,951}
X(953){6,953},{654,953},{953,3310}
X(955){513,955}
X(957){513,957},{957,3310}
X(959){513,959}
X(961){513,961}
X(963){657,963}
X(967){512,967},{967,1459}
X(969){661,969},{905,969}
X(972){6,972}
X(976){832,976}
X(977){649,977}
X(979){649,979}
X(981){650,981},{669,981}
X(982){982,3777},{982,3808}
X(983){650,983}
X(984){984,1491},{984,3250},{2276,3783},{3661,3797},{3862,3864}
X(985){513,985},{985,1919}
X(987){650,987},{987,1919}
X(989){650,989}
X(994){661,994},{994,1769}
X(996){649,996},{900,996},{996,2527},{996,3700}
X(998){649,998},{998,1769}
X(1000){650,1000},{900,1000}
X(1001){1001,4724}
X(1002){513,1002},{665,1002},{1002,3709}
X(1010){1010,2484}
X(1014){1014,1019},{1014,1429},{1014,3669},{1014,4790}
X(1015){1015,1646}
X(1016){100,1016},{190,1016},{659,1016},{890,1016},{900,1016},{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(1018){37,1018},{42,1018},{210,1018},{756,1018},{872,1018},{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){244,1019},{659,1019},{1019,3248},{1019,3942}
X(1020){42,1020},{65,1020},{73,1020},{227,1020},{851,1020},{1020,1042},{1020,1254},{1020,1427},{1020,1464},{1020,2594},{1020,2650},{1020,2658},{1020,3198},{1020,4642},{1020,4646}
X(1021){1021,1984},{1021,2310},{1021,2638}
X(1022){244,1022},{513,1022}
X(1023){44,1023},{678,1023},{902,1023},{1023,3689}
X(1024){513,1027},{663,1024},{1024,2170}
X(1025){100,651},{241,1025},{518,1025},{1025,1458},{1025,1818},{1025,2340},{1025,4447}
X(1026){100,644},{518,1026},{672,1026},{1026,3693},{1026,3930},{1026,4712}
X(1027){244,1027},{513,1024},{649,1027}
X(1029){523,1029}
X(1031){826,1031},{1031,4142}
X(1036){652,1036},{1036,3063}
X(1037){652,1037},{665,1037}
X(1038){1038,2522}
X(1039){650,1039}
X(1041){650,1041}
X(1042){798,1042}
X(1043){657,1043},{1021,1043},{1043,3239}
X(1045){37,2664},{846,2238}
X(1046){73,1758},{851,1047}
X(1047){65,2655},{851,1046}
X(1052){513,1054}
X(1054){1,244},{513,1052}
X(1055){665,902}
X(1057){652,1057}
X(1059){652,1059}
X(1061){650,1061}
X(1063){650,1063}
X(1065){652,1065}
X(1067){652,1067}
X(1069){652,1069}
X(1073){520,1073}
X(1075){155,450}
X(1078){1078,3050}
X(1081){514,1081}
X(1082){484,559}
X(1083){6,518}
X(1084){1084,1645},{2086,3124}
X(1086){2,4440},{764,1086},{867,4466},{1086,1647},{1086,3675}
X(1088){514,1088}
X(1089){1089,4024},{1089,4036}
X(1093){770,1093},{1093,2501}
X(1096){798,1096}
X(1098){1021,1098}
X(1101){163,1101},{1101,1983},{1101,2624},{1101,2626},{1101,4575}
X(1105){450,1105},{1105,2451},{1105,2501}
X(1106){1106,1919}
X(1110){692,1110},{1110,2874}
X(1113){6,1113},{1113,1345},{1113,2575},{1114,4230}
X(1114){6,1114},{1113,4230},{1114,1344},{1114,2574}
X(1119){1119,3669}
X(1120){9,1120},{649,1120},{1120,4521}
X(1121){2,1121},{522,1121}
X(1123){513,1123}
X(1126){649,1126},{1126,4057},{1126,4079}
X(1131){523,1131}
X(1132){523,1132}
X(1138){526,1138},{1138,1637}
X(1139){523,1139}
X(1140){523,1140}
X(1141){6,1141},{1141,2623}
X(1148){46,243}
X(1154){1154,2081}
X(1155){44,2254},{513,2246}
X(1156){1,1156},{650,1156},{1156,1643}
X(1166){1166,1510},{1166,2623}
X(1167){649,1167}
X(1168){1168,1635},{1168,1769},{1168,2161}
X(1169){512,1169}
X(1170){513,1170},{1170,2078}
X(1171){512,1171},{1171,1326},{1171,2605},{1171,3733}
X(1172){650,1172},{1172,1946},{1172,2202}
X(1173){647,1173}
X(1174){663,1174}
X(1175){647,1175},{1175,2605}
X(1176){647,1176}
X(1177){32,1177},{647,1177}
X(1179){1179,2501},{1179,3050}
X(1184){1184,2474}
X(1194){1194,2514}
X(1212){1212,2488}
X(1214){520,1214},{656,1214}
X(1215){804,1215},{1215,2533},{1215,4140},{2295,4039}
X(1217){520,1217},{1217,2501}
X(1218){512,1218},{693,1218}
X(1219){513,1219},{1219,2529},{1219,3239}
X(1220){522,1220},{649,1220},{1220,3509},{1220,4024},{1220,4581}
X(1221){693,1221},{1221,2533},{1221,4083}
X(1222){649,1222},{1222,3239},{1222,3667},{1222,4120}
X(1223){514,1223},{1223,4105}
X(1224){513,1224},{1224,4024},{1224,4820}
X(1231){1231,3265}
X(1235){1235,2525}
X(1239){512,1239}
X(1240){514,1240}
X(1241){512,1241},{1241,3267}
X(1242){647,1242}
X(1243){647,1243},{1243,1769}
X(1244){647,1244},{659,1244}
X(1245){647,1245},{798,1245}
X(1246){514,1246},{647,1246}
X(1247){661,1247}
X(1248){822,1248}
X(1249){4,1503},{193,297}
X(1251){650,1251}
X(1252){101,1252},{692,1252},{926,1252},{1252,1960},{1252,2284},{1252,3939},{1252,4557},{1252,4574}
X(1254){1254,4079}
X(1255){484,1255},{513,1255},{1255,1734},{1255,1757},{1255,4063},{1255,4705},{1255,4834}
X(1256){649,1256}
X(1257){513,1257}
X(1258){513,1258},{1258,3510}
X(1261){1261,3063},{1261,4130},{1261,4162}
X(1262){109,1262},{692,1262},{1262,1461},{1262,2426}
X(1263){233,1263}
X(1266){1266,4927}
X(1267){1267,4131}
X(1268){514,1268},{1268,4024},{1268,4382},{1268,4608},{1268,4813}
X(1273){1273,2081}
X(1275){100,1275},{658,1275},{664,1275},{934,1275},{1275,2283},{1275,2398},{1275,4453},{1275,4566}
X(1279){1,1743}
X(1280){9,1280},{513,1280},{1280,3126}
X(1281){350,1966},{3509,4645}
X(1284){65,1400}
X(1286){6,1286}
X(1287){6,1287},{1287,3448}
X(1288){6,1288},{70,1288},{1288,1594},{1288,2904}
X(1289){6,1289},{66,1289},{427,1289},{1289,1853},{1289,1899},{1289,3162}
X(1290){6,1290},{1290,1718},{1290,1781},{1290,2836},{1290,2948},{1290,3125}
X(1291){6,1291},{1291,3200},{1291,3201}
X(1292){6,1292},{354,1292},{374,1292},{614,1292},{1292,2191},{1292,2348},{1292,2428},{1292,3290}
X(1293){6,1293},{1201,1293},{1293,1696},{1293,2429},{1293,3217},{1293,3304},{1293,3445}
X(1294){6,1294},{1294,2430}
X(1295){6,1295},{1295,2431}
X(1296){6,1296},{373,1296},{1296,2434},{1296,3291},{1296,3292}
X(1297){6,1297},{520,1297},{1297,2435},{1297,2485}
X(1298){6,1298}
X(1299){6,1299}
X(1300){6,1300},{1300,2501}
X(1301){6,1301},{64,1301},{185,1301},{1033,1301},{1301,1593},{1301,1968},{1301,2138},{1301,2332},{1301,3172}
X(1302){6,1302},{30,1302},{1302,2549},{1302,4846}
X(1303){6,1303}
X(1304){6,1304},{74,1304},{112,1304},{378,1304},{974,1304},{1304,1986},{1304,2781},{1304,2935},{1304,3269}
X(1305){6,1305},{226,1305},{1305,1751},{1305,3173},{1305,3772}
X(1306){6,1306},{493,1306},{1306,1583}
X(1307){6,1307},{494,1307},{1307,1584}
X(1308){6,1308},{244,1308},{1308,2246},{1308,4860}
X(1309){6,1309},{281,1309},{1146,1309},{1309,1783}
X(1310){6,1310},{63,1310},{1310,2221},{1310,2281},{1310,2339},{1310,3666},{1310,4641}
X(1311){6,1311},{522,1311}
X(1316){6,523}
X(1318){654,1318},{1318,2316}
X(1319){1319,1635}
X(1320){9,1320},{650,1320}
X(1323){1323,1638},{1323,3321}
X(1325){1325,2850}
X(1326){6,58}
X(1327){523,1327}
X(1328){523,1328}
X(1331){3,1331},{48,1331},{71,1331},{219,1331},{916,1331},{1331,1802},{1331,1818},{1331,2200},{1331,2252},{1331,2289},{1331,3211},{1331,3682},{1331,3781}
X(1332){3,1332},{63,1332},{72,1332},{78,1332},{224,1332},{228,1332},{912,1332},{1071,1332},{1259,1332},{1260,1332},{1332,1473},{1332,3916},{1332,3927},{1332,3940},{1332,3951},{1332,3984},{1332,3998},{1332,4652},{1332,4855}
X(1333){667,1333},{838,1333},{1333,1980},{1333,2210}
X(1334){210,4433},{1334,3709},{1334,4524}
X(1336){513,1336}
X(1342){1342,3050}
X(1343){1343,3050}
X(1362){672,1458}
X(1376){1376,4449}
X(1379){6,1379}
X(1380){6,1380}
X(1381){6,1381},{1381,2591},{1382,2283}
X(1382){6,1382},{1381,2283},{1382,2590}
X(1383){512,1383},{1383,2030},{1383,2492},{1383,2498},{1383,2515}
X(1384){6,2030}
X(1389){650,1389}
X(1390){513,1390}
X(1391){654,1391},{1391,3196}
X(1392){650,1392}
X(1395){1395,1919}
X(1396){1396,3669},{1396,3733}
X(1397){1397,1919}
X(1400){65,1284},{512,1400},{810,1400}
X(1402){798,1402},{1402,3049}
X(1403){31,1428}
X(1404){1404,1960}
X(1405){1405,4775}
X(1407){667,1407}
X(1409){810,1409}
X(1410){1410,3049}
X(1411){649,1411},{1400,1411}
X(1412){1412,1428},{1412,3733}
X(1413){649,1413}
X(1414){57,1414},{77,1414},{81,1414},{284,1414},{604,1414},{1014,1414},{1412,1414},{1414,1449},{1414,1786},{1414,1790},{1414,1817},{1414,2280},{1414,4850}
X(1415){31,1415},{184,1415},{604,1415},{1397,1415},{1402,1415},{1409,1415},{1415,2175},{1415,2187},{1415,2300}
X(1416){56,1438},{604,1416},{1416,1919}
X(1417){604,1417}
X(1418){1418,2488}
X(1419){57,910},{241,1743}
X(1420){1420,4394}
X(1422){513,1422}
X(1423){6,1429},{1423,4083}
X(1426){1426,2489}
X(1427){512,1427},{1427,4017}
X(1428){31,1403},{56,604}
X(1429){6,1423},{56,57},{659,1429},{1429,3808},{1429,4164}
X(1430){34,56}
X(1431){649,1431}
X(1432){513,1432}
X(1433){652,1433}
X(1434){1434,1443},{1434,1447},{1434,3676},{1434,3737},{1434,4724},{1434,4778}
X(1436){663,1436}
X(1438){6,2195},{31,1438},{56,1416},{649,1438},{884,1438}
X(1439){647,1439}
X(1440){514,1440}
X(1441){525,1441},{1441,1577},{1441,3700},{1441,4077},{1441,4707}
X(1443){654,1443},{1443,3960}
X(1444){905,1444},{1444,4131}
X(1445){1445,3309}
X(1446){523,1446},{1446,4077}
X(1447){1,3212},{7,57},{812,1447},{1447,4107},{1447,4435},{1447,4839}
X(1449){1449,4790},{1449,4822}
X(1457){1457,3310}
X(1458){6,56},{665,1458},{672,1362}
X(1459){1459,3937}
X(1460){1460,2484}
X(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},{1461,1473},{1461,2390},{1461,3556},{1461,4252}
X(1462){56,1462},{57,105},{667,1462},{764,1462},{884,1462},{1027,1462},{1462,3669}
X(1463){7,3212}
X(1464){1464,2624}
X(1465){1361,1465},{1465,1769}
X(1469){1469,3250}
X(1472){1472,1919}
X(1474){649,1474}
X(1475){1475,2488}
X(1476){650,1476}
X(1477){6,1477}
X(1485){1485,3569}
X(1491){824,4486},{1491,4475}
X(1492){1,1492},{32,1492},{172,1492},{609,1492},{760,1492},{985,1492},{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){2,1494},{525,1494},{1494,1640},{1494,2394},{1494,2433}
X(1495){187,3569}
X(1499){523,2793}
X(1500){1500,4079}
X(1502){826,1502},{850,1502},{1236,1502}
X(1503){4,1249},{523,2794}
X(1509){659,1509},{1509,3004},{1509,3733},{1509,4453}
X(1575){2,192}
X(1576){32,1576},{184,1576},{211,1576},{217,1576},{237,1576},{1186,1576},{1501,1576},{1576,2206},{1576,2387},{1576,3051},{1576,3117},{1576,3118},{1576,3203}
X(1577){1109,1577},{1577,2632},{1577,2643},{1577,3120},{1577,4088}
X(1580){1,31},{48,1740},{171,172},{1580,4164}
X(1581){1,1967},{38,1581},{75,1934},{256,694},{257,1916},{661,1581},{1581,3805},{1582,1927}
X(1582){1581,1927}
X(1585){403,1586}
X(1586){403,1585}
X(1611){1611,2519}
X(1613){184,1691},{1613,2524},{1613,3221}
X(1621){1621,4040}
X(1624){185,1624},{800,1624}
X(1625){51,1625},{216,1625},{418,1625}
X(1629){1629,3050}
X(1632){1632,1899},{1632,2450},{1632,3767}
X(1633){614,1633},{1184,1633},{1633,2082}
X(1634){39,1634},{1634,3051},{1634,3787},{1634,3917}
X(1635){900,4448},{1635,2087},{1635,3251},{1643,2170}
X(1637){115,1640},{690,868},{1637,2682}
X(1638){1638,3328}
X(1639){1639,4530},{1639,4542},{1639,4543}
X(1640){115,1637},{125,690}
X(1641){690,2482}
X(1643){1635,2170}
X(1644){900,4370}
X(1648){1648,2682}
X(1650){30,402}
X(1654){740,1655}
X(1655){740,1654}
X(1659){514,1659}
X(1662){1662,2422}
X(1663){1663,2422}
X(1670){1671,3001}
X(1671){1670,3001}
X(1676){523,1676}
X(1677){523,1677}
X(1687){6,1688}
X(1688){6,1687}
X(1691){6,32},{184,1613},{385,4027}
X(1692){6,3053}
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(1707){204,240}
X(1740){48,1580}
X(1742){43,672}
X(1743){1,1279},{241,1419},{1743,4162},{1743,4394},{1743,4729}
X(1745){1936,3157}
X(1751){523,1751},{663,1751}
X(1755){31,48},{2578,2579}
X(1757){1,37},{42,846}
X(1758){1,65},{73,1046}
X(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},{1783,1824},{1783,1827},{1783,1859},{1783,2201},{1783,2355},{1783,3185},{1783,3198},{1783,4319},{1783,4386}
X(1784){1784,2631}
X(1790){1459,1790},{1790,4091}
X(1791){521,1791},{1791,2522}
X(1793){219,1793}
X(1794){652,1794}
X(1795){48,1795},{652,1795}
X(1796){1459,1796}
X(1797){3,1797},{1459,1797}
X(1798){647,1798}
X(1799){525,1799},{1799,3049},{1799,4580}
X(1803){1459,1803}
X(1804){1804,4091}
X(1807){71,1807},{652,1807}
X(1808){219,1808}
X(1809){219,1809}
X(1810){219,1810},{1459,1810}
X(1811){219,1811}
X(1812){521,1812},{1812,1946}
X(1813){3,1813},{73,1813},{212,1813},{222,1813},{255,1813},{603,1813},{1813,3157},{1813,3215},{1813,3784},{1813,3955},{1813,4303}
X(1814){3,1814},{905,1814},{1814,1946}
X(1815){3,1815},{1815,4091}
X(1818){3,219}
X(1820){810,1820}
X(1821){1,1821},{75,336},{810,1821},{1577,1821},{1821,3907}
X(1822){48,1822},{1822,2579},{1822,2585}
X(1823){48,1823},{1823,2578},{1823,2584}
X(1824){862,2333},{1824,2489},{1824,3709},{1824,4705}
X(1826){1826,2501},{1826,4024},{1826,4041},{1832,1833}
X(1832){1826,1833}
X(1833){1826,1832}
X(1843){1843,3005}
X(1847){1847,3676}
X(1857){1857,3709}
X(1861){4,281},{1861,4088}
X(1870){654,1870}
X(1874){225,1880}
X(1875){1875,3310}
X(1876){19,34},{665,1876}
X(1877){1635,1877}
X(1880){225,1874},{512,1880}
X(1896){650,1896}
X(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},{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(1899){2450,3767}
X(1903){647,1903},{1903,4041}
X(1909){75,4645},{291,334},{894,1966},{1909,4369},{1909,4374},{1909,4529},{1909,4842},{1920,3978}
X(1910){1,293},{31,1910},{661,1910}
X(1911){6,292},{31,1922},{171,291},{213,1911},{667,1911},{875,1911},{1911,1912},{1911,1913},{1911,3249}
X(1914){6,31},{41,2176},{1914,4455}
X(1916){2,694},{141,1916},{257,1581},{523,1916},{882,1916}
X(1918){669,1918},{1918,1924}
X(1919){1919,1977}
X(1920){1909,3978},{1920,2533},{1920,3805},{1920,4374}
X(1921){75,76},{1921,3766},{1921,4010}
X(1922){31,1911},{172,292},{1918,1922},{1919,1922}
X(1924){1924,4117}
X(1926){75,561}
X(1927){31,1967},{1581,1582},{1923,1927},{1924,1927}
X(1929){513,1929},{1100,1929}
X(1931){1,81}
X(1933){31,560}
X(1934){75,1581},{1577,1934},{1930,1934},{1965,1967}
X(1935){450,1940}
X(1936){1,3},{1745,3157}
X(1937){1,296},{65,1937},{650,1937},{1937,1938},{1937,1939}
X(1940){450,1935}
X(1942){185,1942},{647,1942}
X(1944){2,63}
X(1945){6,1949},{663,1945},{1400,1945}
X(1948){2,92}
X(1949){6,1945},{1409,1949},{1946,1949}
X(1951){6,48}
X(1952){226,1952},{522,1952}
X(1955){1,48}
X(1956){656,1956},{1953,1956}
X(1959){1,63},{2582,2583}
X(1964){38,2236},{1964,2084}
X(1965){1934,1967}
X(1966){1,75},{350,1281},{894,1909},{1966,4107}
X(1967){1,1581},{31,1927},{694,893},{798,1967},{1934,1965},{1964,1967}
X(1968){1968,2451}
X(1971){6,184}
X(1972){5,1972},{525,1972}
X(1973){798,1973}
X(1974){32,2211},{669,1974}
X(1975){1975,2451}
X(1976){6,248},{32,1976},{512,1976},{878,1976},{1976,2422}
X(1977){6,1979},{1977,3249}
X(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},{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(1979){6,1977}
X(1981){243,1981},{651,653},{1430,1981},{1936,1981}
X(1983){215,1983},{1983,2361},{1983,3724}
X(1987){51,1987},{647,1987}
X(1988){1988,2451}
X(1989){13,14},{51,1989},{512,1989},{1640,1989}
X(1990){1637,1990}
X(1992){1499,1992},{1992,4786}
X(1993){924,1993}
X(1994){1510,1994}
X(2003){2003,2605}
X(2006){65,2006},{513,2006}
X(2009){523,2009}
X(2010){523,2010}
X(2030){6,1384}
X(2051){523,2051},{1769,2051}
X(2052){403,2052},{523,2052}
X(2053){2053,3063}
X(2054){512,2054}
X(2065){248,2065},{2065,2422},{2065,3569}
X(2066){652,2066}
X(2067){1459,2067}
X(2069){1,365}
X(2073){2073,2774}
X(2075){2075,2773}
X(2076){6,39}
X(2080){6,182}
X(2086){351,888},{1084,3124}
X(2090){522,2090}
X(2091){2091,3669}
X(2099){2099,4893}
X(2106){6,81}
X(2107){1,2665},{798,2107},{2107,2667},{2107,2670}
X(2111){659,2111}
X(2113){665,2113}
X(2115){926,2115}
X(2125){2125,4105}
X(2137){2137,4394}
X(2148){810,2148}
X(2149){692,2149},{1415,2149}
X(2151){31,2152},{2151,2624}
X(2152){31,2151},{2152,2624}
X(2153){661,2153}
X(2154){661,2154}
X(2155){810,2155}
X(2156){810,2156}
X(2157){810,2157},{1964,2157}
X(2158){810,2158}
X(2159){31,2159},{810,2159}
X(2160){663,2160},{2160,2520},{2160,4813}
X(2161){42,2161},{663,2161},{1643,2161},{2161,3251},{2161,4705},{2161,4893}
X(2162){667,2162}
X(2163){649,2163}
X(2164){663,2164}
X(2165){512,2165}
X(2166){661,2166},{1953,2166}
X(2167){656,2167},{1955,2167},{2167,2616},{2167,3738}
X(2168){661,2168}
X(2169){822,2169}
X(2170){9,4919},{11,4124},{244,3675},{1635,1643}
X(2171){2171,4705}
X(2173){661,2247},{2173,2631}
X(2175){2209,2210}
X(2176){41,1914}
X(2177){2177,4775}
X(2183){2183,3310}
X(2184){656,2184},{2184,3900}
X(2185){2185,3737},{2185,3738}
X(2186){661,2186}
X(2190){661,2190},{2190,2616}
X(2191){649,2191}
X(2192){657,2192},{1946,2192}
X(2193){1946,2193}
X(2194){1946,2194},{2194,3063}
X(2195){6,1438},{41,2195},{663,2195},{884,2195}
X(2196){3,295},{228,2196}
X(2200){2200,3049}
X(2201){19,25}
X(2202){6,19}
X(2203){667,2203}
X(2204){2204,3063}
X(2205){1924,2205}
X(2206){1919,2206}
X(2207){669,2207},{2207,2489}
X(2208){2208,3063}
X(2209){2175,2210}
X(2210){31,32},{2175,2209}
X(2211){32,1974},{2211,2491}
X(2213){647,2213}
X(2214){661,2214},{667,2214}
X(2215){649,2215},{810,2215}
X(2216){661,2216}
X(2217){661,2217}
X(2218){661,2218},{832,2218},{2218,3063}
X(2219){661,2219},{1946,2219}
X(2221){667,2221},{1459,2221}
X(2222){6,2222},{1411,2222},{1953,2222},{2099,2222},{2161,2222},{2170,2222},{2171,2222},{2222,2265},{2222,4559}
X(2223){31,41}
X(2224){31,2224},{513,2224}
X(2226){106,2226},{1960,2226},{2226,4491}
X(2235){659,2239}
X(2236){38,1964}
X(2238){37,42},{740,4368},{846,1045},{2238,4094},{2238,4155},{2238,4455}
X(2239){659,2235}
X(2246){44,650},{513,1155},{1643,2246}
X(2247){656,896},{661,2173}
X(2248){512,2248}
X(2249){6,2249},{810,2249}
X(2250){42,2250},{810,2250},{2250,4041}
X(2254){44,1155},{513,650},{2254,3675}
X(2255){667,2255}
X(2258){663,2258},{798,2258}
X(2259){663,2259}
X(2276){788,2276},{984,3783},{2276,3250}
X(2279){649,2279}
X(2281){669,2281},{810,2281}
X(2282){513,2282},{810,2282}
X(2283){101,109},{672,2283},{1362,2283},{1381,1382},{1458,2283}
X(2284){101,3939},{672,2284},{2223,2284},{2284,2340}
X(2287){1021,2287},{2287,3900}
X(2291){6,2291},{663,2291}
X(2293){2293,2488}
X(2295){1215,4039}
X(2296){514,2296},{798,2296}
X(2297){649,2297},{2297,3900},{2297,4729}
X(2298){650,2298},{667,2298},{2298,4705}
X(2299){663,2299}
X(2303){2303,2522}
X(2306){513,2306}
X(2307){2307,2605}
X(2311){55,2311}
X(2312){19,204}
X(2316){55,2316},{663,2316}
X(2319){663,2319},{2319,3287}
X(2320){650,2320},{2320,3738}
X(2321){10,3932},{210,3985},{2321,3700},{2321,4041},{2321,4843}
X(2322){2322,3239}
X(2323){654,2323}
X(2325){1639,2325},{2325,4152},{2325,4528},{2325,4543},{2325,4895},{3716,4009}
X(2326){1021,2326}
X(2328){657,2328}
X(2329){6,3508},{171,4447},{2329,3287},{2329,4477}
X(2332){657,2332}
X(2333){862,1824},{2333,2489},{2333,4079}
X(2334){649,2334},{2334,3709},{2334,4502}
X(2335){650,2335}
X(2336){649,2336}
X(2337){663,2337}
X(2338){55,2338},{652,2338},{2338,4105}
X(2339){521,2339},{663,2339}
X(2340){55,220},{926,2340}
X(2341){55,2341},{2341,4041}
X(2342){41,2342},{657,2342}
X(2343){663,2343}
X(2344){650,2344}
X(2346){650,2346},{1734,2346},{2346,3309},{2346,4040}
X(2348){9,3158}
X(2349){1,2349},{656,2349}
X(2350){512,2350}
X(2351){2351,3049}
X(2353){2353,3005},{2353,3049}
X(2356){25,607}
X(2357){810,2357},{2357,3709}
X(2359){652,2359}
X(2362){513,2362}
X(2363){661,2363},{2363,3737}
X(2364){654,2364},{663,2364}
X(2365){6,2365}
X(2366){6,2366},{2366,3265}
X(2367){6,2367},{850,2367}
X(2368){6,2368}
X(2369){6,2369},{2369,3676}
X(2370){6,2370},{2370,3239}
X(2371){6,2371},{2371,4105}
X(2372){6,2372},{2372,4024}
X(2373){6,2373},{525,2373}
X(2374){6,2374},{2374,3566}
X(2375){6,2375}
X(2376){6,2376}
X(2377){6,2377}
X(2378){6,2378}
X(2379){6,2379}
X(2380){6,2380}
X(2381){6,2381}
X(2382){6,2382},{2382,3768},{2382,4491}
X(2383){6,2383}
X(2384){6,2384},{1960,2384}
X(2386){25,3162}
X(2393){512,2882}
X(2394){125,2394},{523,2394},{2394,2677},{2394,2678},{2394,3154},{2394,3258}
X(2395){115,2395},{512,2395},{523,879},{2395,2679},{2395,2680},{2395,2681},{2395,2682}
X(2396){99,4563},{114,2396},{325,2396},{511,2396},{1513,2396},{2396,2679},{2396,2683},{2396,2684}
X(2397){119,2397},{517,2397},{908,2397},{1145,2397},{1512,2397},{1519,2397},{1532,2397},{1537,2397},{1538,2397},{1548,2397},{2397,2677},{2397,2680},{2397,2683},{2397,3259}
X(2398){118,2398},{516,2398},{910,2398},{1521,2398},{1530,2398},{1536,2398},{1541,2398},{1547,2398},{1566,2398},{2398,2678},{2398,2681},{2398,2684},{2398,2685},{2398,3234}
X(2399){124,2399},{522,2399},{2399,2968}
X(2400){116,2400},{514,2400},{1146,2400},{1565,2400},{1566,2400}
X(2401){11,2401},{513,2401},{2401,3025},{2401,3259},{2401,3937}
X(2402){2402,3309},{2402,4904}
X(2403){2403,3667},{2403,3756}
X(2404){133,2404},{1515,2404},{1559,2404}
X(2405){1528,2405}
X(2406){117,2406},{515,2406},{1455,2406},{1521,2406},{1535,2406},{1542,2406},{1549,2406}
X(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},{2407,2682},{2407,2685},{2407,2686},{2407,3233},{2407,3258}
X(2408){1499,2408},{2408,2686}
X(2409){132,2409},{1503,2409},{1529,2409},{1554,2409}
X(2410){1522,2410},{1523,2410},{1553,2410}
X(2411){526,2411},{2411,3258}
X(2413){137,2413},{1510,2413}
X(2414){120,2414},{518,2414}
X(2415){121,2415},{519,2415},{2415,3544}
X(2416){122,2416},{520,2416}
X(2417){123,2417},{521,2417}
X(2418){126,2418},{524,2418}
X(2419){127,2419},{525,2419},{1562,2419}
X(2420){1495,2420},{2420,3284}
X(2421){110,4558},{237,2421},{511,2421}
X(2422){512,878},{669,2422},{2422,3124}
X(2423){667,2423},{2423,3271}
X(2424){649,2424},{2424,3937}
X(2427){2183,2427}
X(2428){2223,2428}
X(2429){902,2429}
X(2431){1946,2431}
X(2432){663,2432},{2432,3270}
X(2433){512,2433}
X(2434){187,2434}
X(2435){647,2435},{2435,2972}
X(2450){1899,3767}
X(2459){6,371}
X(2460){6,372}
X(2479){2,2479},{2480,4240}
X(2480){2,2480},{2479,4240}
X(2481){2,2481},{650,2481},{693,2481},{2402,2481},{2481,4762},{2481,4885}
X(2482){690,1641},{1649,2482}
X(2489){2489,2971},{2489,3124}
X(2491){669,3049}
X(2501){115,2501},{2501,2971},{2501,4516}
X(2502){187,512}
X(2574){511,2575},{647,2574}
X(2575){511,2574},{647,2575}
X(2576){31,2576},{2576,2579}
X(2577){31,2577},{2577,2578}
X(2578){810,2578},{1755,2579}
X(2579){810,2579},{1755,2578}
X(2580){1,2580},{2580,2583},{2580,2585},{2580,2589}
X(2581){1,2581},{2581,2582},{2581,2584},{2581,2588}
X(2582){656,2582},{1959,2583}
X(2583){656,2583},{1959,2582}
X(2584){822,2584}
X(2585){822,2585}
X(2586){19,2586},{2579,2586},{2586,2589}
X(2587){19,2587},{2578,2587},{2587,2588}
X(2588){240,2589},{661,2588}
X(2589){240,2588},{661,2589}
X(2590){663,2590},{672,2591}
X(2591){663,2591},{672,2590}
X(2592){297,2593},{523,2592},{1313,2592}
X(2593){297,2592},{523,2593},{1312,2593}
X(2594){2081,2594},{2594,2624}
X(2596){1,5}
X(2597){1,2603},{654,2597},{2594,2597},{2597,2598}
X(2599){2081,2599}
X(2602){1,54}
X(2603){1,2597},{2599,2603},{2600,2603},{2603,2604}
X(2605){2088,2605},{2605,2624}
X(2607){1,523}
X(2608){1,2614},{2245,2608},{2605,2608},{2608,2609}
X(2611){2088,2611}
X(2613){1,110}
X(2614){1,2608},{2610,2614},{2611,2614},{2614,2615}
X(2616){1,2620},{2616,2624},{2616,3708}
X(2617){1,2626},{1953,2617},{2179,2617},{2180,2617},{2290,2617}
X(2620){1,2616}
X(2621){1,2627},{2290,2621},{2618,2621},{2621,2622}
X(2626){1,2617}
X(2627){1,2621},{1109,2627},{2624,2627},{2627,2628}
X(2629){1,2632}
X(2632){1,2629}
X(2633){162,656},{2629,2633}
X(2635){2635,2637}
X(2636){1,2638}
X(2638){1,2636}
X(2639){652,653},{2636,2639}
X(2640){1,2643}
X(2643){1,2640}
X(2644){661,662},{2640,2644}
X(2648){1,2652},{650,2648},{2646,2648},{2648,2649}
X(2651){1,21}
X(2652){1,2648},{661,2652},{2650,2652},{2652,2653}
X(2655){1,73},{65,1047}
X(2656){1,2660},{652,2656},{2654,2656},{2656,2657}
X(2659){1,29}
X(2660){1,2656},{822,2660},{2658,2660},{2660,2661}
X(2664){1,42},{37,1045}
X(2665){1,2107},{649,2665},{2665,2666},{2665,3720}
X(2669){1,86}
X(2671){523,2671}
X(2672){523,2672}
X(2687){6,2687}
X(2688){6,2688}
X(2689){6,2689}
X(2690){6,2690},{2690,3120}
X(2691){6,2691}
X(2692){6,2692}
X(2693){6,2693},{1636,2693}
X(2694){6,2694}
X(2695){6,2695}
X(2696){6,2696}
X(2697){6,2697}
X(2698){6,2698},{2491,2698}
X(2699){6,2699}
X(2700){6,2700}
X(2701){6,2701}
X(2702){6,2702},{2054,2702},{2112,2702},{2702,3122}
X(2703){6,2703},{2703,3121}
X(2704){6,2704}
X(2705){6,2705}
X(2706){6,2706}
X(2707){6,2707}
X(2708){6,2708}
X(2709){6,2709}
X(2710){6,2710},{684,2710}
X(2711){6,2711}
X(2712){6,2712}
X(2713){6,2713},{1624,2713},{1942,2713}
X(2714){6,2714}
X(2715){6,2715},{157,2715},{248,2715},{1576,2715},{1976,2715},{2715,2871},{2715,3148}
X(2716){6,2716}
X(2717){6,2717},{1769,2717}
X(2718){6,2718},{1635,2718}
X(2719){6,2719}
X(2720){6,2720},{909,2720},{1415,2720},{1470,2720}
X(2721){6,2721}
X(2722){6,2722}
X(2723){6,2723}
X(2724){6,2724},{676,2724}
X(2725){6,2725},{2254,2725}
X(2726){6,2726},{900,2726},{2726,4435}
X(2727){6,2727}
X(2728){6,2728}
X(2729){6,2729},{2729,4750}
X(2730){6,2730}
X(2731){6,2731},{2731,4534}
X(2732){6,2732}
X(2733){6,2733}
X(2734){6,2734}
X(2735){6,2735}
X(2736){6,2736}
X(2737){6,2737},{2737,3756}
X(2738){6,2738}
X(2739){6,2739}
X(2740){6,2740}
X(2741){6,2741}
X(2742){6,2742}
X(2743){6,2743}
X(2744){6,2744}
X(2745){6,2745}
X(2746){6,2746}
X(2747){6,2747}
X(2748){6,2748},{2748,3722}
X(2749){6,2749}
X(2750){6,2750}
X(2751){6,2751}
X(2752){6,2752}
X(2753){6,2753}
X(2754){6,2754}
X(2755){6,2755}
X(2756){6,2756}
X(2757){6,2757},{1639,2757}
X(2758){6,2758},{2758,4120}
X(2759){6,2759}
X(2760){6,2760}
X(2761){6,2761}
X(2762){6,2762}
X(2763){6,2763}
X(2764){6,2764},{2764,2972}
X(2765){6,2765}
X(2766){6,2766}
X(2767){6,2767}
X(2768){6,2768}
X(2769){6,2769}
X(2770){6,2770},{690,2770}
X(2782){511,523}
X(2783){517,523}
X(2784){516,523}
X(2785){522,523},{524,527}
X(2786){514,523},{519,524}
X(2787){513,523},{524,536}
X(2788){523,3309}
X(2789){523,3667}
X(2792){515,523}
X(2793){523,1499}
X(2794){523,1503}
X(2795){518,523},{524,4762}
X(2796){514,524},{519,523}
X(2797){520,523}
X(2798){521,523}
X(2799){30,524},{523,525},{868,2799}
X(2808){518,521}
X(2810){513,517}
X(2855){6,2855}
X(2856){6,2856}
X(2857){6,2857},{2799,2857}
X(2858){6,2858},{620,2858}
X(2859){6,2859}
X(2860){6,2860},{1111,2860}
X(2861){6,2861}
X(2862){6,2862},{918,2862}
X(2863){6,2863},{2863,3762}
X(2864){6,2864}
X(2865){6,2865}
X(2866){6,2866}
X(2867){6,2867}
X(2868){6,2868}
X(2882){512,2393}
X(2887){2887,3801}
X(2905){19,423}
X(2907){1,415}
X(2962){661,2962}
X(2963){512,2963}
X(2966){2,2966},{98,2966},{110,2966},{114,2966},{125,2966},{147,2966},{182,2966},{184,2966},{287,2966},{542,2966},{648,685},{1352,2966},{1899,2966},{1976,2966},{2001,2966},{2966,3047},{2966,3410},{2966,3448},{2966,3506},{2966,4027}
X(2967){232,511}
X(2980){2980,3288}
X(2981){16,2981},{512,2981}
X(2982){513,2982},{1946,2982}
X(2983){649,2983}
X(2984){1510,2984}
X(2985){900,2985},{2985,4057}
X(2986){3,2986},{523,2986}
X(2987){3,2987},{512,2987}
X(2988){3,2988},{522,2988}
X(2989){3,2989},{514,2989}
X(2990){3,2990},{513,2990},{2990,3657}
X(2991){3,2991},{667,2991},{1083,2991},{2991,3126},{2991,3309}
X(2992){647,2992}
X(2993){647,2993}
X(2994){522,2994}
X(2995){905,2995},{1577,2995},{2995,4885}
X(2996){523,2996},{2996,4885}
X(2997){650,2997},{1577,2997}
X(2998){512,2998},{625,2998},{2998,3835}
X(3001){1670,1671}
X(3003){371,372},{686,3003}
X(3008){2,145},{2976,3008},{3008,3021}
X(3009){1,43}
X(3020){764,3020}
X(3049){669,2491}
X(3051){688,3051},{2531,3051}
X(3053){6,1692},{232,3172}
X(3062){650,3062},{3062,4449}
X(3064){2310,3064}
X(3065){650,3065},{1100,3065}
X(3067){6,3067},{359,3067}
X(3083){3083,4091}
X(3084){3084,4091}
X(3108){512,3108},{2076,3108}
X(3110){6,3286}
X(3112){798,3112},{812,3112},{1577,3112},{1966,3112},{3112,3405},{3112,4063}
X(3113){1577,3113},{1924,3113}
X(3114){669,3114},{804,3114},{850,3114},{3114,4108}
X(3115){850,3115}
X(3124){1084,2086}
X(3157){1745,1936}
X(3158){9,2348},{165,518},{3158,4162}
X(3160){7,516}
X(3161){144,3912},{145,4899},{3161,4162},{3161,4521},{3161,4546}
X(3162){25,2386}
X(3163){3081,3163}
X(3164){6,401},{194,511}
X(3167){154,511}
X(3168){232,3186}
X(3172){232,3053}
X(3175){3175,4139}
X(3177){192,518}
X(3180){2,395}
X(3181){2,396}
X(3186){6,419},{232,3168},{2524,3186}
X(3196){202,203}
X(3208){220,3684}
X(3212){1,1447},{7,1463},{3212,3835}
X(3214){3214,4139}
X(3218){214,3218},{3218,3738},{3218,3960}
X(3219){2605,3219}
X(3222){6,3222},{194,3222},{384,3222},{698,3222},{1975,3222},{2998,3222},{3222,3224},{3222,3360},{3222,4048}
X(3223){798,3223},{3223,4083}
X(3224){669,3224},{2451,3224},{3221,3224}
X(3225){2,3225},{669,3225}
X(3226){2,3226},{649,3226},{3226,3835},{3226,4375},{3226,4785}
X(3227){2,3227},{513,3227},{3227,4448},{3227,4776}
X(3228){2,3228},{512,3228},{3111,3228},{3228,4108}
X(3229){2,194}
X(3230){890,3230},{3230,3768}
X(3231){887,3231},{888,3231}
X(3233){3163,3233}
X(3239){1146,3239},{2310,3239},{3239,4081},{3239,4528},{3239,4953},{3900,4148}
X(3248){3248,3249}
X(3252){665,3252}
X(3253){239,3253}
X(3254){650,3254},{1212,3254}
X(3255){650,3255}
X(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},{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(3260){1637,3260}
X(3261){1111,3261},{3120,3261},{3261,4475}
X(3263){75,312},{918,3263},{3263,4437}
X(3264){3264,3762},{3264,4120}
X(3265){3265,3269}
X(3266){690,3266}
X(3267){125,3267},{339,3267}
X(3268){2088,3268}
X(3284){684,3292},{1636,3284}
X(3285){1960,3285}
X(3286){6,3110},{58,284},{665,3286}
X(3289){184,577}
X(3292){684,3284}
X(3293){3293,4132}
X(3296){650,3296},{2523,3296},{2527,3296}
X(3300){513,3300}
X(3302){513,3302}
X(3307){518,3308},{650,3307}
X(3308){518,3307},{650,3308}
X(3309){523,2788}
X(3316){523,3316}
X(3317){523,3317}
X(3345){652,3345}
X(3346){520,3346}
X(3361){3361,4790}
X(3362){652,3362}
X(3366){523,3366}
X(3367){523,3367}
X(3370){523,3370}
X(3373){523,3373}
X(3374){523,3374}
X(3381){523,3381}
X(3382){523,3382}
X(3387){523,3387}
X(3388){523,3388}
X(3391){523,3391}
X(3392){523,3392}
X(3397){523,3397}
X(3399){523,3399}
X(3402){798,3402}
X(3404){1964,3404}
X(3406){523,3406}
X(3407){523,3407}
X(3413){523,3413},{524,3414}
X(3414){523,3414},{524,3413}
X(3415){834,3415},{2483,3415},{3063,3415}
X(3417){654,3417}
X(3422){652,3422}
X(3423){665,3423},{1459,3423},{3063,3423}
X(3424){523,3424}
X(3425){924,3425},{2485,3425},{3049,3425},{3425,3569}
X(3426){647,3426}
X(3427){650,3427}
X(3429){523,3429}
X(3431){526,3431},{647,3431}
X(3433){665,3433}
X(3437){3049,3437}
X(3438){3049,3438}
X(3439){3049,3439}
X(3442){3049,3442}
X(3443){3049,3443}
X(3444){512,3444}
X(3445){649,3445}
X(3446){665,3446}
X(3447){3447,3569}
X(3449){665,3449}
X(3450){2605,3450}
X(3451){663,3451}
X(3453){3050,3453}
X(3455){3049,3455},{3051,3455}
X(3456){3049,3456}
X(3457){512,3457}
X(3458){512,3458}
X(3459){1510,3459}
X(3461){2600,3461}
X(3466){652,3466},{2260,3466}
X(3467){650,3467}
X(3469){652,3469}
X(3471){1637,3471}
X(3477){652,3477}
X(3478){652,3478}
X(3495){650,3495}
X(3497){1459,3497},{1491,3497}
X(3500){659,3500},{1459,3500}
X(3504){2524,3504},{3049,3504}
X(3506){2,4027}
X(3508){6,2329}
X(3509){2,894},{1281,4645}
X(3510){6,171}
X(3512){663,3512},{1193,3512},{1491,3512}
X(3513){665,3513}
X(3514){665,3514}
X(3518){1510,3518}
X(3519){647,3519}
X(3521){647,3521}
X(3527){647,3527}
X(3531){647,3531}
X(3532){647,3532}
X(3551){650,3551}
X(3563){6,3563},{924,3563},{2489,3563}
X(3564){114,230}
X(3565){6,3565},{1196,3565},{2056,3565},{3167,3565}
X(3569){187,1495},{512,647},{2679,3569}
X(3570){100,190},{238,3570},{239,3570},{644,4595},{740,3570},{3570,3685},{3570,3747},{3570,3797},{3570,3802},{3570,4094},{3570,4154},{3570,4366},{3570,4432},{3570,4693},{3570,4716}
X(3571){1,512}
X(3572){512,3572},{513,876},{649,875},{1015,3572},{3572,4128},{4369,4444}
X(3573){100,101},{238,3573},{1914,3573},{2238,3573},{3573,3684},{3573,3783}
X(3577){650,3577},{1769,3577}
X(3580){113,3580},{131,3580},{491,492}
X(3590){523,3590}
X(3591){523,3591}
X(3596){312,4087},{3596,3700},{3596,3910},{3596,4391}
X(3597){523,3597}
X(3613){826,3613},{3569,3613}
X(3615){654,3615},{1021,3615},{2596,3615}
X(3616){391,4684},{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){2516,3621},{3621,4962}
X(3632){3632,4926}
X(3635){3635,4943}
X(3657){647,3657},{3125,3657}
X(3658){912,3658}
X(3659){6,3659},{259,3659}
X(3661){824,3661},{984,3797},{1491,3661},{3661,4122},{3661,4439},{3661,4486},{3661,4522},{3661,4818},{3661,4951}
X(3662){3662,3776},{3662,3777},{3662,3801},{3662,3810}
X(3667){523,2789},{3667,3756},{3667,4534},{4521,4925}
X(3668){661,3668}
X(3669){244,3669},{1357,3669},{3020,3669},{3271,3669},{3669,3937}
X(3671){3671,4841}
X(3674){3004,3674}
X(3675){244,2170}
X(3676){1086,3676},{1358,3676},{2170,3676},{3020,3676},{3676,3942}
X(3679){45,4693},{3679,4777},{3679,4800},{3679,4893},{3679,4908},{3679,4931},{3679,4933},{3679,4937},{3679,4944},{3679,4948},{3679,4951}
X(3680){650,3680}
X(3681){1734,3681}
X(3682){520,3682},{822,3682}
X(3684){9,55},{220,3208},{3684,4435}
X(3685){8,9},{3685,3716},{3685,4148},{3685,4435}
X(3687){3687,3910}
X(3689){3689,4895}
X(3693){9,200},{518,4712},{926,3693}
X(3695){3695,4064}
X(3696){3696,4804}
X(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},{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){523,4088},{3700,4092},{3700,4516}
X(3701){3700,3701},{3701,4086}
X(3705){3705,3810}
X(3711){3711,4814}
X(3716){522,650},{2325,4009},{3716,4124},{3900,4147}
X(3717){8,346},{3912,4437}
X(3729){3729,4449},{3729,4885}
X(3732){497,3732},{614,3732},{1040,3732},{3732,3914},{3732,4000},{3732,4319}
X(3733){1015,3733},{1977,3733},{3733,3937}
X(3736){3250,3736}
X(3737){654,3737},{2170,3737},{3737,4435}
X(3747){42,213},{740,4154},{3747,4455}
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},{4363,4495}
X(3762){1647,3762}
X(3765){3765,4874}
X(3766){514,693}
X(3767){1899,2450}
X(3768){1646,3768}
X(3773){3773,4122}
X(3783){984,2276}
X(3790){3790,4522}
X(3797){984,3661},{3797,4486}
X(3799){984,3799},{2276,3799},{3774,3799},{3783,3799},{3789,3799},{3795,3799}
X(3807){984,3807},{3661,3807},{3773,3807},{3775,3807},{3790,3807},{3797,3807},{3807,4407},{3807,4439}
X(3835){650,812},{3123,3835}
X(3842){3842,4824}
X(3852){32,206}
X(3862){984,3864},{3250,3862}
X(3864){984,3862},{1491,3864}
X(3867){3806,3867}
X(3870){3309,3870}
X(3873){3873,4905}
X(3875){3875,4106},{3875,4498}
X(3879){3879,4897}
X(3882){960,3882},{1193,3882},{2292,3882},{3666,3882},{3725,3882},{3882,4719}
X(3888){982,3888},{2275,3888},{3061,3888},{3117,3888},{3721,3888}
X(3896){3896,4170}
X(3900){2310,3900},{3119,3900},{3239,4148},{3716,4147}
X(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},{3903,4199},{3903,4335}
X(3907){3907,4459}
X(3908){574,3908}
X(3909){3670,3909},{3909,4016}
X(3911){900,3911},{1317,3911},{3911,4895},{3911,4922}
X(3912){2,8},{144,3161},{918,3912},{2254,3912},{3717,4437},{3912,4088},{3912,4712},{3912,4925}
X(3920){830,3920},{2483,3920}
X(3923){3923,4874}
X(3926){520,3926},{3265,3926},{3926,4131},{3926,4143}
X(3930){37,210}
X(3932){10,2321},{3932,4088}
X(3933){2525,3933}
X(3935){3887,3935}
X(3936){3936,4707},{3936,4736}
X(3939){41,3939},{55,3939},{101,2284},{220,3939},{1190,3939},{1200,3939},{1334,3939},{1802,3939},{2318,3939},{2340,3939},{2389,3939},{3939,4258},{3939,4517}
X(3943){3943,4120},{3943,4730},{3992,4783},{3994,4010}
X(3948){10,321},{3948,4010},{3948,4155},{3948,4783}
X(3950){3950,4729}
X(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},{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){3005,3954}
X(3960){3025,3960}
X(3963){321,4071},{2533,3963}
X(3971){210,740}
X(3972){3972,4108}
X(3973){1,4864},{2516,3973}
X(3975){8,312},{346,4110},{3716,3975}
X(3978){2,76},{804,3978},{1909,1920}
X(3985){210,2321}
X(3990){822,3990}
X(3992){3943,4783},{3992,4120}
X(3993){3993,4806}
X(3994){3943,4010}
X(3995){3995,4129},{3995,4132}
X(3998){520,3998}
X(4007){4007,4820}
X(4009){2325,3716},{4009,4526}
X(4010){523,661},{3943,3994}
X(4013){594,4013},{4013,4024}
X(4017){3125,4017}
X(4024){115,4024},{2643,4024},{4024,4092}
X(4025){1565,4025},{3942,4025},{4025,4466}
X(4027){2,3506},{385,1691}
X(4028){3566,4028}
X(4032){2533,4032}
X(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},{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){115,4036},{1109,4036}
X(4037){594,756},{4037,4155}
X(4039){10,42},{804,4039},{1215,2295}
X(4041){4041,4516}
X(4043){4043,4151}
X(4044){4044,4804}
X(4049){523,4049},{3120,4049}
X(4052){523,4052}
X(4053){2610,4053}
X(4061){4061,4843}
X(4062){690,4062},{2642,4062}
X(4064){125,4064},{3708,4064}
X(4066){4066,4838}
X(4069){210,4069},{1334,4069},{4069,4433},{4069,4515}
X(4071){321,3963}
X(4074){782,4074}
X(4076){644,4076},{1639,4076},{3699,4076},{4076,4435}
X(4077){4077,4466}
X(4079){3124,4079},{4155,4705}
X(4080){10,4080},{523,4080},{4049,4080},{4080,4770}
X(4082){4082,4171}
X(4083){659,663},{3123,4083}
X(4087){312,3596}
X(4088){523,3700}
X(4091){1364,4091},{2638,4091}
X(4095){4095,4140}
X(4102){522,4102}
X(4103){594,4103},{756,4103},{4037,4103}
X(4105){3022,4105}
X(4107){514,649},{4367,4369}
X(4110){346,3975},{4110,4147}
X(4115){1213,4115},{1962,4115},{4046,4115}
X(4124){11,2170}
X(4125){4125,4931}
X(4128){2086,4128}
X(4130){3022,4130},{3119,4130}
X(4143){2972,4143}
X(4147){3716,3900}
X(4148){3239,3900}
X(4151){2486,4151}
X(4152){4152,4543}
X(4154){740,3747}
X(4155){4079,4705}
X(4163){3119,4163},{4081,4163}
X(4164){513,667}
X(4169){3943,4169},{4169,4819}
X(4176){4143,4176}
X(4180){650,4180}
X(4181){522,4181}
X(4183){3900,4183}
X(4186){4139,4186}
X(4222){4132,4222}
X(4226){114,4226},{230,4226},{1692,4226},{3564,4226}
X(4230){110,112},{232,4230},{511,4230},{1113,1114},{2211,4230},{2967,4230},{3289,4230}
X(4232){1499,4232}
X(4233){3309,4233}
X(4235){297,4240},{468,4235},{524,4235},{3292,4235}
X(4236){3290,4236}
X(4237){3011,4237}
X(4238){518,4238}
X(4240){30,4240},{297,4235},{1990,4240},{2479,2480},{3163,4240},{3284,4240}
X(4241){516,4241},{1886,4241}
X(4242){758,4242},{1870,4242},{2323,4242}
X(4243){916,4243}
X(4244){3827,4244}
X(4246){517,4246}
X(4248){3667,4248}
X(4249){674,4249}
X(4261){838,4261}
X(4273){4273,4775}
X(4282){215,4282}
X(4320){2484,4320}
X(4336){2520,4336}
X(4343){2499,4343}
X(4357){3004,4357},{3910,4357}
X(4358){900,4358},{1145,4358},{3762,4358},{4358,4528},{4358,4730},{4358,4738},{4358,4768},{4358,4783}
X(4360){4063,4360},{4129,4360}
X(4361){4361,4382}
X(4362){814,4362}
X(4363){88,4945},{750,4396},{3761,4495},{4363,4378},{4363,4379},{4363,4474},{4363,4508}
X(4366){238,239},{4366,4375}
X(4367){875,876},{2086,4367},{4107,4369}
X(4368){740,2238}
X(4369){804,4369},{3023,4369},{3572,4444},{4107,4367},{4128,4369},{4369,4459},{4369,4922}
X(4370){900,1644},{3251,4370},{4370,4543}
X(4373){514,4373},{4373,4521},{4373,4885}
X(4374){693,4458}
X(4375){659,812},{4432,4465}
X(4378){4379,4508}
X(4379){4378,4508},{4379,4403}
X(4380){4380,4965}
X(4383){4139,4383},{4383,4498}
X(4384){4384,4702},{4384,4724},{4384,4762},{4384,4804}
X(4385){2517,4385}
X(4387){4387,4501}
X(4388){4142,4388}
X(4391){11,4391},{123,4391},{2804,4391},{2968,4391},{3318,4391},{4081,4391},{4391,4516},{4391,4768},{4391,4858},{4391,4939}
X(4393){4393,4759},{4393,4782},{4393,4785},{4393,4806}
X(4396){750,4363},{4396,4508}
X(4397){1146,4397}
X(4411){4403,4411}
X(4427){1100,4427},{1125,4427},{1213,4427},{3686,4427},{3775,4427},{4427,4856}
X(4432){44,519},{4375,4465},{4432,4448}
X(4433){210,1334}
X(4434){4434,4922}
X(4435){650,663}
X(4436){3691,4436},{3720,4436}
X(4437){3126,4437},{3717,3912}
X(4440){2,1086}
X(4441){4441,4762}
X(4444){514,876},{523,4444},{1086,4444},{2643,4444},{3572,4369},{4444,4475}
X(4447){171,2329}
X(4448){900,1635}
X(4449){4014,4449}
X(4451){3239,4451},{4147,4451}
X(4453){4089,4453}
X(4455){512,798}
X(4456){2485,4456}
X(4458){693,4374}
X(4462){3756,4462},{4462,4925},{4462,4939},{4462,4953}
X(4463){2485,4463}
X(4465){536,899},{4375,4432}
X(4466){867,1086}
X(4468){4468,4904}
X(4481){4475,4481}
X(4482){750,4482},{4363,4482},{4396,4482}
X(4486){824,1491}
X(4492){891,4492},{3250,4492},{4492,4893}
X(4494){4474,4494}
X(4495){3761,4363},{4495,4508}
X(4505){3661,4505}
X(4506){2,4671}
X(4508){4378,4379}
X(4510){4363,4510},{4379,4510}
X(4511){654,4511},{3738,4511}
X(4512){4512,4827}
X(4515){4171,4515},{4515,4524}
X(4518){8,4876},{522,4518},{2321,4518},{4140,4518}
X(4521){3667,4925},{4521,4534},{4521,4953}
X(4530){4530,4542}
X(4543){4542,4543}
X(4546){4546,4953}
X(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,4551}
X(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},{4552,4731},{4552,4744},{4552,4757},{4552,4848},{4552,4892}
X(4553){38,4553},{39,4553},{3954,4553}
X(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},{4554,4645},{4554,4955}
X(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},{4555,4713},{4555,4945}
X(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,4556}
X(4557){42,4557},{213,4557},{1334,4557},{1500,4557},{2388,4557},{3690,4557},{3747,4557}
X(4558){3,4558},{49,4558},{110,2421},{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,4558}
X(4559){42,4559},{181,4559},{228,4559},{1400,4559},{1402,4559},{2092,4559},{2197,4559},{3588,4559},{3724,4559},{3778,4559}
X(4560){11,4560},{124,4560},{1364,4560},{3271,4560},{3716,4560},{3738,4560}
X(4561){63,4561},{69,4561},{71,4561},{306,4561},{345,4561},{464,4561},{914,4561},{3692,4561},{3719,4561},{3977,4561},{4001,4561}
X(4562){2,4562},{38,4562},{190,660},{244,4562},{291,4562},{335,4562},{537,4562},{668,4583},{756,4562},{982,4562},{984,4562},{1215,4562},{3842,4562},{3952,4562},{4096,4562},{4283,4562},{4310,4562},{4392,4562},{4438,4562},{4518,4562},{4562,4712}
X(4563){3,4563},{69,4563},{99,2396},{332,4563},{487,4563},{488,4563},{682,4563},{1238,4563},{1444,4563},{1792,4563},{3564,4563},{3785,4563},{3926,4563},{3933,4563},{3964,4563}
X(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},{4564,4579}
X(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,4565}
X(4566){37,4566},{226,4566},{440,4566},{1214,4566},{1427,4566},{1901,4566},{3668,4566},{4032,4566},{4415,4566},{4566,4656}
X(4567){100,4567},{110,4567},{643,4567},{662,4567},{692,4567},{1332,4567},{3658,4567},{3908,4567},{4553,4567}
X(4568){38,4568},{141,4568},{3703,4568},{4568,4884}
X(4569){2,4569},{85,4569},{241,4569},{279,4569},{348,4569},{948,4569},{1088,4569},{1212,4569},{1427,4569},{1446,4569},{1996,4569},{3177,4569}
X(4570){101,4570},{110,4570},{163,4570},{1331,4570},{2774,4570},{4243,4570}
X(4571){78,4571},{219,4571},{3692,4571},{3694,4571}
X(4572){76,4572},{85,4572},{226,4572},{304,4572},{312,4572},{349,4572},{1233,4572},{1920,4572},{2064,4572},{3674,4572},{3912,4572},{4044,4572}
X(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,4573}
X(4574){71,4574},{228,4574},{2318,4574},{3611,4574},{3690,4574}
X(4575){48,4575},{255,4575},{563,4575},{1437,4575},{2193,4575},{2315,4575},{4020,4575},{4100,4575}
X(4576){39,4576},{141,4576},{732,4576},{3933,4576}
X(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,4577}
X(4578){200,4578},{220,4578},{728,4578},{4515,4578},{4578,4936}
X(4579){171,4579},{172,4579},{1580,4579},{2295,4579},{2329,4579},{4447,4579}
X(4580){125,4580},{127,4580},{3150,4580}
X(4581){11,4581},{115,4581},{1015,4581},{2615,4581},{2787,4581},{3023,4581},{3140,4581}
X(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,4582}
X(4583){75,4583},{141,4583},{334,4583},{335,4583},{594,4583},{668,4562},{1086,4583},{3661,4583},{3662,4583},{3862,4583},{3963,4583},{4033,4583},{4110,4583},{4437,4583},{4583,4665}
X(4584){42,4584},{81,4584},{99,4589},{100,4584},{171,4584},{291,4584},{741,4584},{1808,4584},{1911,4584},{3736,4584},{4584,4649}
X(4585){36,4585},{214,4585},{758,4585},{3218,4585},{3724,4585},{4511,4585},{4585,4736},{4585,4867},{4585,4880},{4585,4881}
X(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},{4586,4645},{4586,4766}
X(4587){212,4587},{219,4587},{1260,4587},{2318,4587}
X(4588){6,4588},{36,4588},{609,4588},{2163,4588},{2251,4588},{2364,4588}
X(4589){37,4589},{86,4589},{99,4584},{190,4589},{292,4589},{335,4589},{337,4589},{799,4639},{894,4589},{4589,4670}
X(4590){99,4590},{110,4590},{690,4590},{2396,4590},{3268,4590},{3573,4590},{4226,4590},{4427,4590},{4563,4590},{4576,4590},{4590,4610}
X(4591){58,4591},{106,4591},{110,4591},{1201,4591},{1797,4591},{2842,4591}
X(4592){48,4592},{63,4592},{326,4592},{1444,4592},{1790,4592},{1812,4592},{2327,4592},{3958,4592}
X(4593){31,4593},{75,4593},{82,4593},{744,4593},{2236,4593},{3112,4593},{4418,4593}
X(4594){239,4594},{257,4594},{333,4594},{893,4594},{1107,4594},{3666,4594},{4594,4875}
X(4595){43,4595},{192,4595},{644,3570},{3971,4595},{4595,4734}
X(4596){37,4596},{81,4596},{1171,4596},{1255,4596},{1778,4596},{3219,4596},{4596,4641}
X(4597){2,4597},{44,4597},{89,4597},{320,4597},{3758,4597},{3834,4597},{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){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,4598}
X(4599){1,4599},{82,4599},{560,4599},{1747,4599},{1760,4599},{2244,4599},{3405,4599},{4118,4599}
X(4600){99,4600},{101,4600},{190,4600},{645,4600},{662,4600},{2786,4600},{4115,4600},{4237,4600},{4561,4600},{4568,4600}
X(4601){99,4601},{100,4601},{668,4601},{799,4601},{2787,4601},{4236,4601}
X(4602){38,4602},{75,4602},{310,4602},{561,4602},{714,4602},{1926,4602},{2227,4602},{3116,4602},{3728,4602}
X(4603){21,4603},{238,4603},{256,4603},{904,4603},{1178,4603},{1193,4603},{2309,4603},{3736,4603}
X(4604){1,4604},{89,4604},{902,4604},{2163,4604},{2320,4604},{3218,4604},{4084,4604},{4189,4604},{4257,4604},{4392,4604},{4414,4604},{4604,4652}
X(4605){12,4605},{201,4605},{756,4605},{1254,4605}
X(4606){1,4606},{210,4606},{2334,4606},{3940,4606},{4383,4606},{4423,4606},{4606,4866}
X(4607){1,4607},{190,4607},{537,4607},{3227,4607},{3248,4607},{3758,4607},{4432,4607},{4607,4664},{4607,4672},{4607,4676}
X(4608){115,4608},{116,4608},{1086,4608},{2786,4608}
X(4609){76,4609},{141,4609},{698,4609},{1502,4609},{3094,4609},{3096,4609},{3118,4609}
X(4610){58,4610},{86,4610},{238,4610},{261,4610},{320,4610},{757,4610},{1098,4610},{1125,4610},{1509,4610},{3664,4610},{4357,4610}
X(4611){22,4611},{206,4611},{3313,4611}
X(4612){21,4612},{60,4612},{960,4612},{1098,4612},{1776,4612},{1812,4612},{1858,4612},{2185,4612},{2194,4612},{2646,4612},{3683,4612},{4511,4612}
X(4613){10,4613},{213,4613},{2238,4613},{2295,4613},{3997,4613},{4071,4613},{4109,4613},{4144,4613},{4153,4613}
X(4614){9,4614},{81,4614}
X(4615){86,4615},{99,4615},{106,4615},{551,4615},{903,4615},{2796,4615},{3663,4615},{4234,4615},{4615,4653}
X(4616){81,4616},{279,4616},{1407,4616},{1434,4616}
X(4617){56,4617},{269,4617},{738,4617},{1122,4617},{1394,4617},{1456,4617},{3220,4617}
X(4618){44,4618},{88,4618},{679,4618},{2226,4618},{3218,4618},{3257,4618}
X(4619){36,4619},{59,4619},{1110,4619},{1262,4619},{1458,4619}
X(4620){99,4620},{109,4620},{643,4620},{664,4620},{1414,4620},{2785,4620},{4573,4620},{4592,4620}
X(4621){8,4621},{238,4621},{983,4621},{2209,4621},{3773,4621},{3915,4621}
X(4622){81,4622},{88,4622},{662,4622},{3752,4622},{4273,4622}
X(4623){81,4623},{239,4623},{274,4623},{873,4623},{1197,4623},{1206,4623},{1509,4623},{4359,4623}
X(4624){7,4624},{10,4624},{3339,4624},{4208,4624},{4624,4866}
X(4625){57,4625},{85,4625},{274,4625},{333,4625},{1424,4625},{1434,4625},{4384,4625}
X(4626){57,4626},{279,4626},{479,4626},{738,4626},{1200,4626},{1202,4626},{1475,4626},{2082,4626},{2124,4626},{2391,4626}
X(4627){55,4627},{58,4627},{2334,4627}
X(4628){42,4628},{251,4628},{2210,4628},{4251,4628},{4456,4628}
X(4629){35,4629},{42,4629},{58,4629},{1126,4629},{1171,4629},{1796,4629},{4184,4629}
X(4630){32,4630},{206,4630},{3852,4630}
X(4631){21,4631},{261,4631},{314,4631},{3685,4631},{3702,4631}
X(4632){10,4632},{86,4632},{319,4632},{1126,4632},{1268,4632},{3879,4632},{4632,4649},{4632,4658}
X(4633){8,4633},{86,4633},{2334,4633},{4633,4733}
X(4634){88,4634},{274,4634},{799,4634}
X(4635){86,4635},{269,4635},{1088,4635}
X(4636){60,4636},{283,4636},{284,4636},{1195,4636},{2150,4636},{2269,4636},{2323,4636}
X(4637){58,4637},{269,4637},{1014,4637},{1106,4637},{1471,4637},{3361,4637}
X(4638){36,4638},{106,4638},{901,4638},{902,4638},{1149,4638},{1318,4638},{2226,4638}
X(4639){10,4639},{274,4639},{291,4639},{334,4639},{668,4639},{799,4589},{1909,4639}
X(4645){75,1909},{1281,3509},{4458,4645}
X(4649){4649,4784}
X(4651){4151,4651}
X(4653){4653,4833},{4653,4893}
X(4654){4654,4802}
X(4658){4658,4813},{4658,4840}
X(4664){4664,4776}
X(4671){2,4506},{4671,4770},{4671,4777},{4671,4791}
X(4673){4673,4765},{4673,4811}
X(4674){37,4674},{661,4674}
X(4684){391,3616}
X(4693){45,3679},{4693,4800}
X(4700){4700,4773},{4706,4830}
X(4705){2643,4705},{3124,4705},{4079,4155}
X(4706){4700,4830}
X(4712){518,3693},{3126,4712}
X(4716){4716,4810}
X(4720){4720,4944}
X(4723){1639,4723},{4723,4768}
X(4727){4727,4958}
X(4742){4742,4773}
X(4752){45,4752},{2177,4752},{3711,4752}
X(4756){1698,4756},{4007,4756},{4716,4756},{4727,4756},{4756,4898}
X(4760){524,896}
X(4762){524,2795}
X(4767){45,4767},{3679,4767},{4693,4767},{4767,4873},{4767,4908}
X(4768){4530,4768}
X(4771){4771,4839}
X(4777){4800,4893}
X(4778){4773,4778},{4778,4839},{4790,4830}
X(4781){551,4781},{3707,4781},{4407,4781}
X(4783){3943,3992}
X(4790){4778,4830}
X(4791){4791,4957}
X(4792){45,4792},{106,750},{4792,4893}
X(4800){4777,4893},{4908,4937}
X(4802){4802,4958},{4810,4813}
X(4810){4802,4813}
X(4813){4802,4810}
X(4817){1086,4817},{3248,4817}
X(4822){4839,4841}
X(4830){4700,4706},{4778,4790}
X(4835){4765,4835},{4835,4839}
X(4839){4822,4841}
X(4841){4822,4839}
X(4845){55,4845},{657,4845}
X(4846){647,4846}
X(4849){4729,4849}
X(4864){1,3973}
X(4866){650,4866},{4171,4866}
X(4873){4814,4873},{4873,4944}
X(4876){8,4518},{210,4876},{650,4876}
X(4885){4014,4885}
X(4893){4777,4800}
X(4898){4898,4949}
X(4899){145,3161},{4899,4925}
X(4900){650,4900}
X(4908){4800,4937}
X(4919){9,2170}
X(4921){4921,4926}
X(4925){3667,4521}
X(4937){4800,4908}
X(4945){88,4363},{3679,4945},{4777,4945},{4825,4945}
X(4960){4810,4960}
To ETC

Compiled by Peter J C Moses.