A Certified Version of Clark Kimberling's Encyclopedia of Triangle Centers

CrossSum

Point	is cross-sum of (i,j) for
X(1)	( 2, 192) ( 3, 3157) ( 4, 1148) ( 6, 55) ( 9, 3158) ( 10, 3159) ( 11, 523) ( 19, 204) ( 31, 48) ( 33, 2331) ( 34, 207) ( 37, 42) ( 38, 1964) ( 44, 678) ( 50, 215) ( 56, 221) ( 57, 1419) ( 58, 501) ( 65, 73) ( 214, 758) ( 244, 513) ( 354, 2293) ( 385, 4366) ( 500, 942) ( 512, 1015) ( 614, 4319) ( 647, 3270) ( 649, 3248) ( 650, 2310) ( 652, 2638) ( 653, 2639) ( 656, 2632) ( 661, 2643) ( 662, 2644) ( 663, 2170) ( 774, 820) ( 798, 4117) ( 810, 3708) ( 984, 3795) ( 999, 1480) ( 1100, 1962) ( 1109, 2618) ( 1125, 4065) ( 1193, 2292) ( 1201, 3057) ( 2087, 3251) ( 2238, 4094) ( 2269, 3725) ( 2594, 2599) ( 2605, 2611) ( 2646, 2650) ( 2654, 2658) ( 2667, 3720) ( 3125, 4983) ( 4128, 4367)
X(2)
X(3)	( 1, 46) ( 2, 193) ( 3, 155) ( 6, 25) ( 7, 2898) ( 8, 2899) ( 9, 2900) ( 10, 2901) ( 11, 513) ( 19, 33) ( 24, 2904) ( 27, 2905) ( 28, 2906) ( 29, 2907) ( 30, 113) ( 31, 2908) ( 32, 2909) ( 34, 208) ( 37, 209) ( 39, 211) ( 40, 2910) ( 51, 53) ( 55, 2911) ( 65, 225) ( 114, 511) ( 115, 512) ( 116, 514) ( 117, 515) ( 118, 516) ( 119, 517) ( 120, 518) ( 121, 519) ( 122, 520) ( 123, 521) ( 124, 522) ( 125, 523) ( 126, 524) ( 127, 525) ( 128, 1154) ( 132, 1503) ( 133, 6000) ( 136, 924) ( 137, 1510) ( 184, 571) ( 185, 235) ( 186, 2914) ( 403, 1986) ( 427, 1843) ( 430, 1839) ( 431, 1858) ( 468, 5095) ( 526, 3258) ( 650, 3270) ( 661, 2310) ( 674, 5513) ( 690, 5099) ( 804, 2679) ( 814, 5509) ( 834, 5515) ( 900, 3259) ( 926, 1566) ( 1499, 5512) ( 1560, 2393) ( 1785, 1845) ( 1824, 1826) ( 1834, 1842) ( 1838, 1844) ( 1846, 1877) ( 1851, 1863) ( 1856, 2262) ( 1859, 1865) ( 1878, 5151) ( 3309, 5511) ( 3566, 5139) ( 3574, 3575) ( 3667, 5510) ( 3900, 5514) ( 4083, 5518)
X(4)	( 2, 3164) ( 4, 1075) ( 6, 154) ( 25, 1033) ( 48, 212) ( 55, 198) ( 56, 1035) ( 71, 228) ( 184, 577) ( 185, 417) ( 216, 418) ( 520, 2972) ( 652, 3270) ( 822, 2638) ( 1154, 1511) ( 1459, 3937)
X(5)	( 3, 1147) ( 6, 184) ( 32, 3202) ( 39, 3203) ( 55, 3204) ( 215, 2245)
X(6)	( 1, 9) ( 3, 6) ( 4, 1249) ( 5, 216) ( 7, 3160) ( 8, 3161) ( 10, 37) ( 11, 650) ( 25, 3162) ( 30, 3163) ( 32, 206) ( 39, 141) ( 44, 214) ( 55, 5452) ( 56, 478) ( 57, 223) ( 100, 5375) ( 113, 3003) ( 114, 230) ( 115, 523) ( 120, 3290) ( 125, 647) ( 126, 3291) ( 127, 2485) ( 128, 231) ( 132, 232) ( 133, 1990) ( 136, 2501) ( 140, 233) ( 142, 1212) ( 226, 1214) ( 244, 661) ( 282, 3341) ( 325, 5976) ( 468, 1560) ( 512, 1084) ( 513, 1015) ( 514, 1086) ( 519, 4370) ( 522, 1146) ( 524, 2482) ( 570, 1209) ( 577, 1147) ( 594, 4075) ( 676, 1566) ( 800, 2883) ( 960, 2092) ( 1073, 3343) ( 1125, 1213) ( 1196, 1368) ( 1211, 3666) ( 1511, 3284) ( 1577, 4858) ( 1637, 3258) ( 1648, 1649) ( 2489, 5139) ( 2491, 2679) ( 2492, 5099) ( 2968, 3239) ( 3005, 3124) ( 3011, 5513) ( 3120, 4988) ( 3259, 3310) ( 3342, 3351) ( 3344, 3350) ( 3452, 3752) ( 3756, 4521) ( 4550, 5158) ( 5573, 5574)
X(7)	( 1, 1742) ( 6, 3207) ( 9, 3208) ( 31, 2187) ( 41, 1253) ( 42, 228) ( 657, 3022) ( 663, 3271) ( 1946, 3270) ( 2310, 4041)
X(8)	( 1, 978) ( 6, 3052) ( 25, 3209) ( 31, 604) ( 57, 1423) ( 244, 4017) ( 649, 3271) ( 667, 1015) ( 1042, 1410) ( 1400, 1402)
X(9)	( 1, 1743) ( 2, 3210) ( 3, 3211) ( 6, 56) ( 7, 3212) ( 9, 2136) ( 19, 208) ( 34, 3213) ( 37, 3214) ( 48, 3215) ( 65, 1400) ( 244, 649) ( 603, 604) ( 661, 2611) ( 798, 4128) ( 1418, 1475)
X(10)	( 1, 3216) ( 6, 31) ( 55, 3217) ( 56, 603) ( 649, 3122) ( 1333, 2194)
X(11)	( 1, 4551) ( 6, 692) ( 55, 101) ( 56, 109) ( 100, 2975) ( 181, 4559) ( 215, 1983) ( 219, 3939) ( 906, 6056) ( 1110, 2149) ( 1362, 2283) ( 1397, 1415)
X(12)	( 58, 1437) ( 215, 4282) ( 284, 2194)
X(13)
X(14)
X(15)
X(16)
X(17)
X(18)
X(19)	( 1, 610) ( 3, 219) ( 6, 3556) ( 9, 40) ( 19, 1712) ( 48, 255) ( 71, 72) ( 647, 3937) ( 656, 3708) ( 822, 2632) ( 905, 3942) ( 3916, 3958)
X(20)	( 1, 1044) ( 512, 3269) ( 649, 3270)
X(21)	( 1, 1046) ( 37, 4849) ( 42, 1400) ( 181, 2171) ( 512, 3125) ( 661, 4516) ( 894, 1999) ( 1254, 1425) ( 1402, 1409)
X(22)	( 125, 512) ( 3005, 3269)
X(23)	( 125, 690) ( 141, 524) ( 512, 1648)
X(24)	( 6, 161) ( 125, 520)
X(25)	( 1, 1763) ( 2, 20) ( 3, 394) ( 6, 159) ( 7, 5932) ( 8, 329) ( 25, 2138) ( 72, 306) ( 125, 525) ( 141, 3313) ( 343, 5562) ( 524, 5181) ( 656, 3942) ( 905, 3937) ( 1565, 4025) ( 3917, 3933) ( 4121, 4173)
X(26)	( 125, 924)
X(27)	( 2200, 4055)
X(28)	( 1, 2939) ( 37, 3198) ( 71, 2318) ( 228, 3990) ( 3690, 3949)
X(29)	( 1, 1047) ( 228, 1409)
X(30)	( 6, 1495) ( 50, 184) ( 55, 2245) ( 512, 2088) ( 523, 3134) ( 654, 3270) ( 3581, 4550)
X(31)	( 1, 63) ( 2, 8) ( 6, 1631) ( 7, 347) ( 10, 321) ( 31, 2172) ( 38, 1930) ( 92, 1895) ( 239, 1281) ( 244, 514) ( 307, 1441) ( 323, 4996) ( 522, 4858) ( 523, 1086) ( 525, 2968) ( 693, 1111) ( 1109, 1577) ( 1125, 3578) ( 2292, 3687) ( 3912, 4712) ( 3936, 4736) ( 4358, 4738) ( 4359, 4647)
X(32)	( 1, 1759) ( 2, 69) ( 6, 22) ( 75, 312) ( 115, 826) ( 311, 343) ( 313, 321) ( 338, 850) ( 339, 525) ( 349, 1231) ( 523, 3124) ( 661, 3123) ( 732, 5976) ( 1111, 1577) ( 1227, 4358) ( 1229, 1233) ( 1230, 1269) ( 3263, 4437)
X(33)	( 1, 223) ( 3, 222) ( 57, 1394) ( 63, 4855) ( 73, 1214) ( 1459, 3942)
X(34)	( 1, 1490) ( 72, 3682) ( 200, 2324) ( 212, 2289) ( 219, 1260) ( 2318, 3694)
X(35)	( 1, 3336) ( 11, 4977) ( 513, 3120)
X(36)	( 1, 484) ( 10, 519) ( 11, 900) ( 42, 2183) ( 513, 1647) ( 2174, 2361)
X(37)	( 1, 6) ( 9, 3913) ( 37, 3293) ( 57, 222) ( 58, 284) ( 244, 4979) ( 513, 3125) ( 1172, 3194) ( 1333, 1437) ( 2300, 4267)
X(38)	( 1, 31)
X(39)	( 2, 6) ( 11, 3287) ( 251, 1176) ( 2238, 4366) ( 3293, 3294)
X(40)	( 56, 1413) ( 649, 2310) ( 1436, 2192) ( 1903, 2357)
X(41)	( 1, 169) ( 2, 7) ( 6, 1626) ( 9, 3870) ( 10, 3970) ( 57, 77) ( 92, 342) ( 226, 1441) ( 514, 1111) ( 522, 3119) ( 693, 4858)
X(42)	( 1, 2) ( 7, 77) ( 10, 3995) ( 21, 81) ( 42, 3294) ( 58, 1790) ( 239, 4368) ( 514, 3120) ( 1086, 4977) ( 1459, 4466)
X(43)	( 2, 330) ( 244, 3777) ( 513, 3248) ( 661, 4128) ( 2053, 2162)
X(44)	( 1, 44) ( 6, 36) ( 57, 1465) ( 106, 2316) ( 244, 1635) ( 513, 2087)
X(45)	( 6, 999) ( 2163, 2364)
X(46)	( 3, 1069) ( 652, 2310) ( 656, 2611)
X(47)	( 656, 1109)
X(48)	( 1, 19) ( 2, 5905) ( 4, 281) ( 9, 3811) ( 47, 48) ( 196, 278) ( 514, 4858) ( 523, 1146) ( 661, 1109) ( 1838, 2294) ( 2501, 2969)
X(49)
X(50)	( 49, 50) ( 265, 1989) ( 523, 2088) ( 2245, 5399)
X(51)	( 2, 3) ( 6, 160) ( 54, 97) ( 1650, 5664) ( 3936, 4996)
X(52)	( 3, 68) ( 6, 3135)
X(53)	( 3, 577)
X(54)	( 1, 3460) ( 3, 195) ( 4, 3462) ( 51, 216) ( 233, 3078) ( 3336, 3468)
X(55)	( 1, 57) ( 2, 145) ( 3, 3173) ( 4, 196) ( 6, 1486) ( 9, 3174) ( 10, 3175) ( 11, 514) ( 55, 218) ( 56, 222) ( 63, 224) ( 65, 226) ( 81, 229) ( 241, 1362) ( 513, 1086) ( 553, 3649) ( 650, 3022) ( 905, 1364) ( 1111, 4077) ( 1122, 3663) ( 1317, 3911) ( 1323, 3321) ( 1357, 3669) ( 1358, 3676) ( 1401, 3665) ( 1439, 3668) ( 1638, 3328) ( 3008, 3021) ( 3020, 3776) ( 3023, 4369) ( 3025, 3960) ( 3322, 5723) ( 4654, 5586) ( 4907, 5575)
X(56)	( 1, 40) ( 2, 144) ( 4, 3176) ( 6, 197) ( 9, 200) ( 10, 72) ( 11, 522) ( 42, 3588) ( 55, 219) ( 56, 2122) ( 65, 5930) ( 210, 2321) ( 312, 4110) ( 497, 4012) ( 514, 4904) ( 519, 1145) ( 521, 2968) ( 650, 3271) ( 960, 3704) ( 1125, 3650) ( 1146, 3900) ( 1639, 4542) ( 2170, 4041) ( 2175, 4548) ( 2325, 4152) ( 3059, 4847) ( 3239, 4081) ( 3686, 4046) ( 3688, 3703) ( 3700, 4092) ( 3706, 4111) ( 4136, 4531) ( 4530, 4543) ( 4534, 4546)
X(57)	( 1, 165) ( 2, 3177) ( 6, 198) ( 31, 205) ( 37, 71) ( 41, 212) ( 55, 220) ( 57, 2124) ( 200, 4936) ( 210, 1334) ( 650, 2170) ( 657, 2310) ( 1146, 3700) ( 3119, 3900) ( 3271, 3709)
X(58)	( 1, 191) ( 2, 1654) ( 6, 199) ( 12, 201) ( 37, 210) ( 42, 71) ( 58, 2126) ( 65, 227) ( 244, 4977) ( 523, 3120) ( 594, 756) ( 661, 3122) ( 3125, 4705)
X(59)	( 1, 2957) ( 1146, 4953) ( 1647, 3259) ( 2170, 2310) ( 4530, 4542)
X(60)	( 10, 3178) ( 115, 4705) ( 181, 2197) ( 756, 2171) ( 4024, 4092)
X(61)
X(62)
X(63)	( 1, 1707) ( 6, 2178) ( 25, 607) ( 42, 2198) ( 63, 2128) ( 444, 1829) ( 608, 3209) ( 649, 2170) ( 661, 3708) ( 798, 2643) ( 1400, 1880) ( 1824, 2333) ( 1953, 2180) ( 2179, 2181)
X(64)	( 1, 3182) ( 3, 1498) ( 4, 3183) ( 6, 1661) ( 30, 3184) ( 40, 1490) ( 64, 2130) ( 84, 3353) ( 577, 1660) ( 1249, 3079) ( 3345, 3472)
X(65)	( 1, 3) ( 6, 3185) ( 9, 55) ( 56, 1394) ( 58, 2360) ( 283, 1800) ( 284, 2328) ( 650, 4516) ( 960, 4267) ( 2193, 2194)
X(66)	( 3, 159)
X(67)	( 3, 2930) ( 187, 2393)
X(68)
X(69)	( 1, 1716) ( 4, 3186) ( 6, 3053) ( 32, 1974) ( 667, 3271) ( 669, 3124) ( 1196, 3080) ( 1973, 2212) ( 2489, 2971)
X(70)
X(71)	( 1, 579) ( 2, 3187) ( 4, 19) ( 9, 3189) ( 28, 1172) ( 57, 278) ( 58, 1474) ( 284, 1780) ( 514, 4466) ( 649, 3120)
X(72)	( 1, 1724) ( 6, 2352) ( 19, 25) ( 34, 56) ( 667, 3125) ( 1333, 2203) ( 1474, 2299)
X(73)	( 1, 4) ( 9, 3190) ( 10, 3191) ( 19, 3192) ( 21, 3193) ( 28, 3194) ( 33, 281) ( 284, 2299) ( 1172, 4183)
X(74)	( 1, 3464) ( 3, 399) ( 4, 5667) ( 74, 2132) ( 484, 3465) ( 1263, 5671) ( 1495, 3284) ( 3065, 5677) ( 3081, 3163) ( 3482, 5684) ( 3483, 5685)
X(75)	( 1, 1740) ( 6, 2176) ( 32, 2175) ( 213, 1918) ( 512, 3271) ( 667, 3248) ( 669, 1977) ( 1923, 1964)
X(76)	( 6, 1613) ( 31, 2209) ( 669, 1084) ( 1918, 2205) ( 1919, 1977)
X(77)	( 1, 1721) ( 25, 3195) ( 41, 2212) ( 42, 1824) ( 663, 2310) ( 3022, 3709)
X(78)	( 1, 1722) ( 25, 608) ( 56, 1406) ( 604, 1395) ( 1042, 1426)
X(79)	( 55, 1030)
X(80)	( 55, 3196) ( 902, 2183) ( 2245, 3724)
X(81)	( 1, 846) ( 2, 1655) ( 6, 1030) ( 10, 3971) ( 42, 1334) ( 81, 2134) ( 213, 228) ( 512, 3121) ( 523, 2486) ( 661, 3125) ( 756, 1500) ( 1015, 4979) ( 2171, 2197) ( 3122, 4079) ( 3709, 4516) ( 4039, 4368)
X(82)	( 39, 3688) ( 1964, 4020)
X(83)
X(84)	( 1, 2956) ( 55, 3197) ( 71, 3198)
X(85)	( 213, 2200) ( 2488, 3271)
X(86)	( 1, 1045) ( 512, 3122) ( 872, 1500) ( 1918, 2200) ( 4516, 4705)
X(87)	( 3123, 4083)
X(88)	( 6, 3196) ( 1635, 2087) ( 4120, 4530)
X(89)
X(90)
X(91)
X(92)	( 41, 2187) ( 228, 2200)
X(93)
X(94)	( 2081, 2088)
X(95)
X(96)
X(97)	( 51, 3199)
X(98)	( 237, 3289) ( 385, 401)
X(99)	( 1, 5539) ( 99, 2142) ( 669, 3049) ( 688, 3005)
X(100)	( 1, 1054) ( 244, 764) ( 512, 661) ( 514, 3835) ( 649, 663) ( 650, 4162) ( 1635, 3251) ( 4107, 4375) ( 4979, 4983)
X(101)	( 1, 5540) ( 2, 4440) ( 513, 650) ( 522, 4521) ( 523, 661) ( 649, 1459) ( 764, 3125) ( 4977, 4988)
X(102)
X(103)
X(104)
X(105)	( 1, 1282) ( 672, 2340) ( 2254, 3675)
X(106)	( 1, 5541) ( 44, 3689) ( 900, 1647) ( 2087, 4730) ( 4530, 4895)
X(107)
X(108)	( 520, 656)
X(109)	( 1, 1768) ( 523, 656) ( 650, 3900) ( 652, 663) ( 1639, 4543) ( 3239, 4546) ( 3700, 4041)
X(110)	( 2, 148) ( 125, 5489) ( 512, 647) ( 661, 4041) ( 690, 1649) ( 826, 3005) ( 4024, 4705)
X(111)	( 6, 2930) ( 187, 3292) ( 690, 1648) ( 5524, 5525)
X(112)	( 520, 647) ( 3269, 5489)
X(113)	( 3, 5504)
X(114)	( 6, 1976)
X(115)	( 6, 110) ( 24, 112) ( 69, 4576) ( 99, 1078) ( 143, 1625) ( 163, 849) ( 394, 4558) ( 593, 4556) ( 662, 2185) ( 1501, 1576) ( 1511, 2420)
X(116)
X(117)
X(118)
X(119)
X(120)
X(121)
X(122)	( 64, 1301) ( 112, 154)
X(123)
X(124)
X(125)	( 3, 110) ( 6, 1576) ( 25, 112) ( 162, 270) ( 2967, 4230)
X(126)
X(127)
X(128)
X(129)
X(130)
X(131)
X(132)	( 878, 3269)
X(133)
X(134)
X(135)
X(136)	( 110, 5889) ( 1576, 1609)
X(137)	( 252, 930)
X(138)
X(139)
X(140)	( 6, 51) ( 184, 2965)
X(141)	( 6, 32)
X(142)	( 6, 41)
X(143)	( 3, 5449)
X(144)
X(145)	( 663, 1015)
X(146)
X(147)
X(148)
X(149)
X(150)
X(151)
X(152)
X(153)
X(154)	( 2, 3146) ( 4, 459) ( 64, 1073) ( 122, 525) ( 514, 2968)
X(155)	( 4, 3147) ( 136, 523)
X(156)
X(157)	( 127, 520)
X(158)	( 520, 1364) ( 577, 6056) ( 3990, 4055)
X(159)	( 127, 523)
X(160)	( 338, 512)
X(161)
X(162)	( 1, 2629) ( 810, 822)
X(163)	( 523, 3700) ( 656, 661) ( 4024, 4036)
X(164)
X(165)	( 513, 2310)
X(166)
X(167)
X(168)
X(169)	( 6, 1473)
X(170)
X(171)	( 513, 3122)
X(172)	( 1, 3496) ( 9, 3961) ( 10, 3954) ( 514, 3125) ( 1146, 3910)
X(173)
X(174)
X(175)
X(176)
X(177)
X(178)
X(179)
X(180)
X(181)	( 2, 2975) ( 11, 4560) ( 21, 333) ( 81, 4225) ( 86, 1444) ( 1098, 2185)
X(182)	( 6, 3148) ( 11, 1491)
X(183)	( 6, 5017) ( 788, 3271)
X(184)	( 1, 1726) ( 2, 4) ( 3, 1993) ( 5, 324) ( 6, 157) ( 92, 318) ( 273, 342) ( 297, 2967) ( 338, 523) ( 339, 850) ( 427, 1235) ( 525, 2972) ( 2501, 2971) ( 2968, 4391) ( 3190, 3730)
X(185)	( 3, 4) ( 25, 1249)
X(186)	( 5, 30) ( 520, 1650)
X(187)	( 2, 524) ( 4, 5523) ( 6, 23) ( 111, 895) ( 115, 690)
X(188)
X(189)
X(190)	( 512, 798) ( 513, 4083) ( 667, 3063) ( 3248, 3249)
X(191)	( 513, 2611) ( 649, 2643)
X(192)	( 1, 87) ( 649, 1977)
X(193)	( 6, 5023) ( 647, 3124)
X(194)	( 2, 2998)
X(195)	( 137, 523)
X(196)
X(197)	( 124, 514)
X(198)	( 1, 2270) ( 57, 1422) ( 84, 282) ( 513, 1146) ( 522, 5514) ( 650, 1364) ( 1433, 1436)
X(199)	( 125, 514)
X(200)	( 56, 1407) ( 57, 1420) ( 244, 3669) ( 513, 3942) ( 1042, 1427)
X(201)	( 1, 580) ( 404, 3868) ( 1172, 2299)
X(202)
X(203)
X(204)	( 1, 2184)
X(205)
X(206)	( 6, 2353) ( 339, 523)
X(207)	( 1, 3345)
X(208)	( 3, 1433) ( 84, 3341)
X(209)	( 1751, 2218)
X(210)	( 1, 4383) ( 6, 3941) ( 56, 57) ( 58, 1412) ( 1565, 3004)
X(211)
X(212)	( 1, 1708) ( 4, 278) ( 34, 57) ( 1111, 3676)
X(213)	( 2, 75) ( 37, 4651) ( 81, 1444) ( 85, 348) ( 86, 333) ( 513, 3121) ( 650, 4459) ( 1086, 3004) ( 1111, 4978) ( 2530, 3125)
X(214)	( 1, 4674)
X(215)
X(216)	( 2, 1993) ( 4, 6)
X(217)	( 2, 264) ( 95, 275)
X(218)	( 650, 1086)
X(219)	( 1, 1723) ( 11, 3064) ( 19, 34) ( 56, 608) ( 225, 1880) ( 1086, 3669) ( 2170, 4017)
X(220)	( 2, 4452) ( 6, 1617) ( 7, 5435) ( 57, 269) ( 514, 1565) ( 1086, 3676) ( 1427, 3668)
X(221)	( 1, 84) ( 268, 2192) ( 522, 2968) ( 650, 4081)
X(222)	( 1, 1709) ( 19, 2331) ( 37, 1826) ( 55, 607) ( 650, 1146) ( 3119, 4041) ( 3709, 4092)
X(223)	( 1, 1750) ( 6, 1436) ( 657, 2638) ( 663, 3119)
X(224)
X(225)	( 3, 255) ( 21, 1816) ( 212, 219)
X(226)	( 6, 48) ( 41, 55)
X(227)	( 1, 3149) ( 84, 1433) ( 282, 2192)
X(228)	( 1, 1730) ( 2, 3868) ( 4, 92) ( 7, 273) ( 27, 29) ( 28, 81) ( 1851, 3673)
X(229)
X(230)	( 6, 511)
X(231)	( 6, 1154)
X(232)	( 2, 401) ( 3, 3289) ( 6, 1503) ( 325, 1975) ( 684, 3269)
X(233)	( 6, 54)
X(234)
X(235)	( 3, 1092) ( 6, 1660)
X(236)
X(237)	( 2, 511) ( 8, 3948) ( 76, 3978) ( 98, 287) ( 125, 2799) ( 525, 3150)
X(238)	( 1, 1757) ( 10, 726) ( 42, 672) ( 239, 894) ( 244, 2254) ( 1911, 2196)
X(239)	( 1, 2664) ( 37, 1575) ( 171, 238) ( 213, 2223) ( 665, 1015) ( 672, 3252) ( 2530, 3675) ( 3121, 4455)
X(240)	( 1, 1955) ( 31, 2312) ( 1958, 1959)
X(241)	( 6, 910) ( 9, 3684) ( 518, 1376)
X(242)
X(243)	( 1, 2655) ( 1935, 1936)
X(244)	( 1, 100) ( 6, 4557) ( 8, 3952) ( 9, 3939) ( 31, 101) ( 78, 1331) ( 109, 1420) ( 200, 644) ( 651, 1445) ( 678, 1023) ( 692, 2220) ( 756, 1018) ( 1026, 4712) ( 1252, 6065) ( 1260, 4574) ( 3692, 4578)
X(245)	( 1, 2613)
X(246)
X(247)
X(248)	( 230, 1503) ( 232, 511) ( 868, 3569)
X(249)
X(250)
X(251)	( 2, 2896) ( 6, 2916) ( 39, 3917)
X(252)
X(253)
X(254)
X(255)	( 1, 920) ( 4, 1068) ( 19, 1096) ( 393, 1857) ( 2310, 3064)
X(256)	( 43, 846) ( 172, 2330) ( 2533, 4459)
X(257)
X(258)
X(259)
X(260)
X(261)
X(262)
X(263)
X(264)
X(265)	( 3, 2931) ( 1495, 3003)
X(266)
X(267)
X(268)	( 19, 207) ( 208, 2331) ( 221, 3209)
X(269)	( 1, 2951) ( 42, 3198) ( 210, 2318) ( 220, 480) ( 1253, 1802) ( 2310, 3900) ( 3119, 4105)
X(270)	( 2197, 3690)
X(271)	( 3195, 3209)
X(272)
X(273)	( 228, 4055)
X(274)	( 798, 3121)
X(275)	( 217, 418)
X(276)
X(277)
X(278)	( 1, 2947) ( 6, 3197) ( 71, 3990) ( 212, 1802)
X(279)	( 6, 1615) ( 3119, 4171)
X(280)	( 2187, 2199)
X(281)	( 6, 221) ( 73, 1409) ( 652, 1364)
X(282)	( 6, 1035) ( 198, 221)
X(283)	( 4, 3144) ( 1824, 1880) ( 3120, 4017)
X(284)	( 1, 1781) ( 6, 3145) ( 10, 3950) ( 12, 2171) ( 37, 65) ( 73, 1400) ( 661, 3120) ( 1334, 4878)
X(285)
X(286)
X(287)	( 237, 2211)
X(288)
X(289)
X(290)	( 3, 3511) ( 1691, 1971)
X(291)	( 1, 2108) ( 6, 2110) ( 31, 2112) ( 292, 2144) ( 672, 3009) ( 1423, 2114) ( 1931, 2106) ( 2238, 3747) ( 4010, 4124)
X(292)	( 238, 3684) ( 518, 1575) ( 740, 2238) ( 4124, 4435)
X(293)
X(294)	( 57, 2114) ( 665, 3675) ( 672, 1458) ( 910, 1279)
X(295)	( 659, 4124)
X(296)	( 415, 2659)
X(297)	( 6, 1971)
X(298)
X(299)
X(300)
X(301)
X(302)
X(303)
X(304)
X(305)
X(306)	( 6, 5301) ( 25, 1973) ( 604, 608) ( 1919, 3122) ( 2203, 2204)
X(307)	( 25, 31) ( 607, 2212)
X(308)	( 6, 3499)
X(309)
X(310)
X(311)
X(312)	( 32, 1397) ( 56, 1403) ( 57, 1424) ( 1919, 3248)
X(313)	( 32, 560)
X(314)
X(315)
X(316)	( 39, 187)
X(317)
X(318)	( 31, 2199)
X(319)
X(320)	( 42, 902) ( 1960, 3271)
X(321)	( 31, 32) ( 667, 3121)
X(322)
X(323)	( 53, 1990) ( 115, 1637)
X(324)
X(325)	( 6, 1691) ( 232, 1968)
X(326)	( 2207, 6059)
X(327)
X(328)
X(329)
X(330)
X(331)
X(332)
X(333)	( 6, 2305) ( 171, 5247) ( 213, 1402) ( 798, 3122)
X(334)
X(335)
X(336)
X(337)
X(338)	( 3, 1634) ( 6, 1625) ( 32, 1576) ( 110, 5012) ( 163, 2150)
X(339)	( 184, 1576)
X(340)	( 51, 1495)
X(341)
X(342)	( 1946, 2638)
X(343)	( 6, 571) ( 25, 32)
X(344)	( 1015, 3063)
X(345)	( 1395, 1973)
X(346)	( 6, 1616) ( 604, 1106) ( 649, 3937)
X(347)	( 31, 2208) ( 663, 3270) ( 3022, 3063)
X(348)	( 213, 2333)
X(349)
X(350)	( 1, 3510) ( 42, 3009) ( 172, 1914)
X(351)	( 2, 690) ( 99, 5468) ( 512, 3291) ( 523, 524) ( 525, 5159) ( 671, 5466) ( 850, 1236)
X(352)
X(353)
X(354)	( 1, 55)
X(355)
X(356)
X(357)
X(358)
X(359)
X(360)
X(361)
X(362)
X(363)
X(364)
X(365)
X(366)
X(367)
X(368)
X(369)
X(370)
X(371)
X(372)
X(373)
X(374)
X(375)
X(376)
X(377)
X(378)
X(379)
X(380)	( 2213, 2336)
X(381)	( 184, 5063)
X(382)
X(383)
X(384)	( 39, 3118)
X(385)	( 6, 2076) ( 141, 698) ( 237, 3051) ( 384, 385) ( 512, 2086) ( 3124, 3569)
X(386)	( 1, 1698) ( 6, 1011)
X(387)
X(388)
X(389)	( 3, 5) ( 6, 418)
X(390)	( 1, 4334)
X(391)	( 940, 4383)
X(392)
X(393)	( 6, 1498) ( 255, 2289) ( 520, 3269) ( 577, 1092) ( 3682, 3990)
X(394)	( 1, 1711) ( 6, 1609) ( 25, 2207) ( 115, 2501) ( 647, 1562)
X(395)
X(396)
X(397)
X(398)
X(399)	( 523, 3258)
X(400)
X(401)	( 217, 237) ( 3269, 3569)
X(402)
X(403)	( 184, 3284)
X(404)	( 661, 3271)
X(405)	( 838, 1015)
X(406)
X(407)	( 3, 283) ( 21, 411) ( 573, 2328)
X(408)	( 4, 1896) ( 29, 412)
X(409)
X(410)
X(411)	( 661, 3270)
X(412)	( 822, 3270)
X(413)
X(414)
X(415)
X(416)
X(417)	( 4, 1093)
X(418)	( 2, 5889) ( 4, 2052) ( 264, 317)
X(419)
X(420)
X(421)
X(422)
X(423)
X(424)
X(425)
X(426)
X(427)	( 3, 184) ( 6, 206)
X(428)	( 3, 3917)
X(429)	( 3, 1437) ( 184, 2193)
X(430)	( 3, 1790)
X(431)
X(432)
X(433)
X(434)
X(435)
X(436)
X(437)
X(438)
X(439)
X(440)	( 6, 1474) ( 25, 2332) ( 28, 4219) ( 284, 579)
X(441)	( 6, 232)
X(442)	( 6, 2194) ( 184, 1333)
X(443)
X(444)
X(445)
X(446)	( 98, 511) ( 287, 385)
X(447)
X(448)
X(449)
X(450)	( 450, 1941)
X(451)
X(452)
X(453)
X(454)
X(455)
X(456)
X(457)
X(458)
X(459)
X(460)
X(461)
X(462)
X(463)
X(464)
X(465)
X(466)
X(467)
X(468)	( 3, 3292) ( 6, 2393)
X(469)
X(470)
X(471)
X(472)
X(473)
X(474)
X(475)
X(476)
X(477)
X(478)	( 6, 3435)
X(479)	( 3022, 4105)
X(480)
X(481)
X(482)
X(483)
X(484)	( 1, 5131) ( 1962, 2245)
X(485)
X(486)
X(487)
X(488)
X(489)
X(490)
X(491)
X(492)
X(493)
X(494)
X(495)
X(496)
X(497)	( 55, 56) ( 73, 1402) ( 1362, 2223)
X(498)
X(499)
X(500)	( 1, 79)
X(501)	( 1, 267)
X(502)
X(503)
X(504)
X(505)
X(506)
X(507)
X(508)
X(509)
X(510)
X(511)	( 1, 1756) ( 2, 385) ( 3, 3564) ( 6, 237) ( 11, 659) ( 55, 2238) ( 248, 1976) ( 523, 868) ( 669, 2086)
X(512)	( 1, 1019) ( 2, 523) ( 3, 525) ( 6, 669) ( 21, 4560) ( 30, 5664) ( 39, 512) ( 55, 3287) ( 69, 3265) ( 81, 3733) ( 100, 190) ( 110, 4558) ( 114, 2799) ( 141, 2528) ( 311, 850) ( 513, 3666) ( 514, 1125) ( 522, 5745) ( 524, 1649) ( 643, 662) ( 649, 2309) ( 659, 4366) ( 690, 2482) ( 804, 5976) ( 1634, 4576) ( 2407, 3233) ( 2531, 3118) ( 3904, 4996)
X(513)	( 1, 513) ( 3, 521) ( 6, 667) ( 9, 3900) ( 10, 522) ( 37, 4705) ( 42, 649) ( 44, 3251) ( 45, 4825) ( 55, 650) ( 101, 3939) ( 119, 2804) ( 142, 514) ( 190, 4595) ( 214, 3738) ( 442, 523) ( 512, 2092) ( 518, 3126) ( 661, 1962) ( 663, 2347) ( 678, 1635) ( 692, 906) ( 900, 1145) ( 1018, 4557) ( 3158, 4394) ( 3293, 4057) ( 3737, 4267) ( 3795, 4782) ( 4097, 4401)
X(514)	( 1, 4040) ( 6, 649) ( 31, 1919) ( 37, 650) ( 41, 663) ( 42, 4079) ( 48, 652) ( 55, 657) ( 213, 667) ( 354, 513) ( 514, 2140) ( 523, 3136) ( 661, 2294) ( 798, 3725) ( 1459, 1473)
X(515)	( 48, 2361) ( 55, 2183) ( 523, 3137)
X(516)	( 3, 916) ( 55, 672) ( 523, 3138)
X(517)	( 1, 36) ( 3, 912) ( 44, 55) ( 56, 1455) ( 523, 3139) ( 667, 2087) ( 909, 2342) ( 1635, 2310)
X(518)	( 1, 238) ( 6, 2223) ( 55, 2348) ( 513, 3675) ( 523, 3140) ( 665, 3271) ( 1438, 2195) ( 3125, 4455)
X(519)	( 6, 902) ( 56, 1457) ( 244, 1769) ( 523, 3141) ( 1015, 1960)
X(520)	( 4, 523) ( 25, 2501) ( 51, 647) ( 512, 800) ( 650, 1859)
X(521)	( 6, 1946) ( 33, 650) ( 56, 513) ( 429, 523) ( 663, 1400) ( 1856, 3064)
X(522)	( 6, 663) ( 31, 649) ( 55, 652) ( 65, 513) ( 523, 3142) ( 603, 1459) ( 656, 2292) ( 692, 1415) ( 1409, 1946) ( 1418, 3669)
X(523)	( 1, 3737) ( 3, 520) ( 5, 523) ( 6, 512) ( 58, 3733) ( 101, 692) ( 141, 525) ( 184, 647) ( 215, 654) ( 513, 942) ( 521, 960) ( 526, 1511) ( 649, 2308) ( 667, 2300) ( 669, 3051) ( 682, 3049) ( 690, 5181) ( 924, 1147) ( 1493, 1510) ( 3050, 3203)
X(524)	( 6, 187) ( 351, 3124) ( 523, 3143)
X(525)	( 6, 647) ( 25, 2489) ( 53, 2501) ( 427, 523)
X(526)	( 30, 523) ( 512, 3003)
X(527)	( 6, 1055)
X(528)
X(529)
X(530)
X(531)
X(532)
X(533)
X(534)
X(535)
X(536)	( 6, 3230) ( 890, 1977)
X(537)
X(538)	( 6, 3231)
X(539)
X(540)
X(541)
X(542)	( 6, 5191) ( 55, 2503)
X(543)	( 6, 2502)
X(544)
X(545)
X(546)
X(547)
X(548)
X(549)
X(550)
X(551)	( 6, 2177)
X(552)
X(553)	( 55, 1334)
X(554)
X(555)
X(556)
X(557)
X(558)
X(559)
X(560)	( 1, 1760) ( 75, 304) ( 76, 3596) ( 1111, 3261) ( 1577, 2643) ( 3810, 4858)
X(561)	( 1924, 4117)
X(562)
X(563)	( 1, 1820)
X(564)
X(565)
X(566)	( 6, 381)
X(567)
X(568)
X(569)
X(570)	( 2, 1994) ( 5, 6)
X(571)	( 6, 26) ( 68, 2165) ( 338, 525)
X(572)	( 11, 661)
X(573)	( 11, 649)
X(574)	( 2, 1992) ( 6, 1995)
X(575)
X(576)
X(577)	( 4, 393) ( 6, 24) ( 324, 467) ( 523, 3269) ( 2501, 2970)
X(578)
X(579)	( 11, 652) ( 656, 2170)
X(580)	( 11, 656)
X(581)
X(582)
X(583)
X(584)
X(585)
X(586)
X(587)
X(588)
X(589)
X(590)
X(591)
X(592)
X(593)	( 115, 4024) ( 1500, 3690) ( 3124, 4705) ( 3125, 4988)
X(594)	( 6, 595) ( 58, 1333) ( 849, 2150) ( 1015, 3733)
X(595)	( 244, 523) ( 3122, 4988)
X(596)
X(597)	( 6, 574)
X(598)
X(599)	( 6, 1384)
X(600)
X(601)
X(602)
X(603)	( 1, 1158) ( 2, 5942) ( 8, 5552) ( 9, 33) ( 3700, 4081)
X(604)	( 1, 1766) ( 2, 329) ( 6, 2933) ( 8, 346) ( 9, 78) ( 11, 3700) ( 306, 321) ( 522, 2170) ( 2321, 3701) ( 4391, 4858)
X(605)
X(606)
X(607)	( 2, 347) ( 63, 77) ( 222, 1804) ( 307, 1214) ( 905, 1565)
X(608)	( 78, 3692) ( 219, 1259) ( 306, 3998) ( 3694, 3710)
X(609)	( 2, 4741)
X(610)	( 523, 5514) ( 661, 2632)
X(611)
X(612)	( 1, 2999) ( 1036, 2221)
X(613)
X(614)	( 1, 200) ( 42, 72) ( 2340, 4712)
X(615)
X(616)
X(617)
X(618)
X(619)
X(620)	( 6, 3124)
X(621)
X(622)
X(623)
X(624)
X(625)
X(626)	( 6, 1501)
X(627)
X(628)
X(629)
X(630)
X(631)
X(632)
X(633)
X(634)
X(635)
X(636)
X(637)
X(638)
X(639)
X(640)
X(641)
X(642)
X(643)	( 661, 4729) ( 4369, 6002)
X(644)	( 513, 4394) ( 661, 4139) ( 764, 1015)
X(645)
X(646)
X(647)	( 1, 1021) ( 2, 525) ( 4, 2501) ( 6, 523) ( 81, 4560) ( 110, 112) ( 185, 647) ( 216, 520) ( 323, 5664) ( 512, 1196) ( 650, 1858) ( 651, 653) ( 850, 1235) ( 1783, 1897) ( 1843, 2489) ( 2967, 3569)
X(648)
X(649)	( 1, 649) ( 2, 514) ( 6, 4057) ( 8, 3239) ( 9, 522) ( 10, 4024) ( 37, 513) ( 71, 4064) ( 100, 644) ( 101, 1331) ( 239, 4375) ( 321, 4391) ( 440, 525) ( 523, 1213) ( 650, 3057) ( 657, 4319) ( 661, 2292) ( 798, 2667) ( 900, 4370) ( 1018, 3952) ( 2398, 3234) ( 3059, 4130) ( 3161, 3667) ( 3995, 4063) ( 4115, 4427)
X(650)	( 1, 650) ( 6, 513) ( 9, 521) ( 57, 3669) ( 73, 652) ( 101, 109) ( 222, 905) ( 226, 514) ( 525, 1211) ( 649, 1201) ( 657, 2293) ( 661, 2650) ( 663, 1200) ( 665, 1362) ( 4551, 4559)
X(651)	( 9, 4919) ( 522, 4147) ( 647, 661) ( 657, 663) ( 1946, 3063) ( 3709, 4041)
X(652)	( 1, 652) ( 4, 3064) ( 57, 514) ( 65, 650) ( 108, 1783) ( 281, 522) ( 407, 2501) ( 513, 1108) ( 523, 1901) ( 649, 3924) ( 656, 2294) ( 657, 4336) ( 822, 2658)
X(653)	( 1, 2636) ( 647, 822)
X(654)	( 1, 654) ( 9, 2804) ( 514, 3911) ( 517, 650) ( 523, 2245) ( 2599, 2600)
X(655)	( 2081, 2624)
X(656)	( 1, 656) ( 31, 661) ( 58, 3737) ( 108, 109) ( 513, 1104) ( 663, 1195) ( 1021, 4183) ( 1769, 1845)
X(657)	( 1, 657) ( 2, 4025) ( 7, 514) ( 57, 3676) ( 77, 4091) ( 354, 650) ( 614, 649) ( 651, 934) ( 905, 1439) ( 1020, 4566) ( 1122, 3669) ( 1638, 3321)
X(658)
X(659)	( 1, 659) ( 9, 926) ( 141, 918) ( 291, 876) ( 292, 875) ( 512, 2238) ( 513, 518) ( 649, 3009) ( 2284, 4557)
X(660)
X(661)	( 1, 661) ( 2, 4560) ( 6, 3733) ( 21, 1021) ( 31, 1924) ( 48, 656) ( 81, 1019) ( 100, 101) ( 110, 5546) ( 163, 4575) ( 214, 1635) ( 284, 3737) ( 513, 1100) ( 514, 5249) ( 523, 5949) ( 649, 1193) ( 650, 2646) ( 651, 1813) ( 667, 1197) ( 798, 1964) ( 820, 822)
X(662)	( 1, 2640) ( 512, 3709) ( 798, 810) ( 4079, 4705)
X(663)	( 1, 514) ( 2, 522) ( 7, 3676) ( 9, 4105) ( 65, 3669) ( 77, 4025) ( 100, 651) ( 109, 1813) ( 513, 3752) ( 521, 1214) ( 663, 2082) ( 693, 1441) ( 905, 1071) ( 1212, 3900) ( 4551, 4552)
X(664)	( 512, 810)
X(665)	( 2, 918) ( 6, 659) ( 100, 2284) ( 190, 3570) ( 294, 885) ( 385, 3287) ( 513, 3290) ( 514, 3008) ( 518, 650) ( 523, 2238)
X(666)
X(667)	( 1, 4063) ( 2, 513) ( 10, 514) ( 75, 693) ( 100, 1332) ( 120, 918) ( 190, 3699) ( 210, 4140) ( 312, 4397) ( 321, 4036) ( 522, 3452) ( 523, 1211) ( 650, 3056) ( 661, 3728) ( 850, 1234) ( 1233, 3261) ( 1577, 4647) ( 1909, 2533) ( 3762, 4738) ( 3789, 4762) ( 3952, 4033) ( 3954, 4705) ( 4791, 4793)
X(668)	( 6, 1979) ( 669, 798)
X(669)	( 2, 512) ( 69, 3267) ( 76, 850) ( 99, 4563) ( 110, 4611) ( 126, 690) ( 141, 523) ( 513, 3739) ( 514, 3741) ( 525, 1368) ( 668, 1978) ( 1269, 3261) ( 3794, 4560)
X(670)	( 512, 3221)
X(671)
X(672)	( 1, 672) ( 2, 239) ( 9, 5853) ( 105, 294) ( 2170, 2254)
X(673)
X(674)
X(675)
X(676)	( 6, 926) ( 101, 2426) ( 103, 2424) ( 518, 521) ( 2284, 3939)
X(677)
X(678)	( 1, 88) ( 244, 1022) ( 1318, 2226)
X(679)
X(680)
X(681)
X(682)	( 4, 76)
X(683)
X(684)	( 98, 879) ( 110, 4226) ( 232, 512) ( 460, 2501) ( 523, 1503) ( 1976, 2395)
X(685)
X(686)	( 30, 2501) ( 112, 4240) ( 924, 3003)
X(687)
X(688)	( 99, 670)
X(689)
X(690)	( 6, 351) ( 110, 5467) ( 187, 512) ( 523, 858)
X(691)
X(692)	( 2, 149) ( 513, 905) ( 514, 522) ( 523, 1577) ( 764, 1086) ( 918, 3126)
X(693)	( 31, 667) ( 32, 1980) ( 42, 663) ( 184, 1946) ( 649, 1475) ( 1918, 1919) ( 2175, 3063)
X(694)	( 6, 3511) ( 32, 3506) ( 511, 3229) ( 3507, 3508) ( 3509, 3510)
X(695)	( 3, 3499) ( 32, 3492) ( 39, 3491) ( 194, 2896)
X(696)
X(697)
X(698)	( 6, 3229) ( 32, 1691)
X(699)
X(700)
X(701)
X(702)
X(703)
X(704)
X(705)
X(706)
X(707)
X(708)
X(709)
X(710)
X(711)
X(712)
X(713)
X(714)
X(715)
X(716)
X(717)
X(718)
X(719)
X(720)
X(721)
X(722)
X(723)
X(724)
X(725)
X(726)	( 6, 3009) ( 31, 1914)
X(727)
X(728)
X(729)	( 888, 1645)
X(730)
X(731)
X(732)	( 1084, 5027)
X(733)
X(734)
X(735)
X(736)
X(737)
X(738)	( 3119, 4130)
X(739)	( 891, 1646)
X(740)	( 6, 3747) ( 58, 1326) ( 81, 2106) ( 292, 1911)
X(741)	( 2238, 4433)
X(742)
X(743)
X(744)
X(745)
X(746)
X(747)
X(748)	( 6, 4497) ( 244, 4905)
X(749)
X(750)	( 6, 4471)
X(751)
X(752)
X(753)
X(754)	( 2872, 3124)
X(755)
X(756)	( 31, 4251) ( 58, 81) ( 60, 593) ( 244, 1019)
X(757)	( 2643, 4705) ( 3122, 4983)
X(758)	( 6, 3724) ( 523, 867)
X(759)
X(760)
X(761)
X(762)	( 593, 757)
X(763)
X(764)	( 100, 765) ( 513, 3315) ( 644, 6065) ( 692, 1252)
X(765)	( 1, 1052) ( 1015, 3271) ( 3122, 3125)
X(766)
X(767)
X(768)
X(769)
X(770)	( 1, 770)
X(771)
X(772)
X(773)
X(774)	( 1, 255) ( 31, 610) ( 63, 1958)
X(775)
X(776)
X(777)
X(778)
X(779)
X(780)
X(781)
X(782)	( 733, 881)
X(783)
X(784)	( 6, 2978)
X(785)
X(786)
X(787)
X(788)	( 514, 3821) ( 3250, 3778)
X(789)
X(790)
X(791)
X(792)
X(793)
X(794)
X(795)
X(796)
X(797)
X(798)	( 1, 798) ( 9, 3907) ( 38, 661) ( 75, 1577) ( 86, 1019) ( 99, 645) ( 190, 668) ( 513, 1107) ( 514, 4357) ( 649, 3720) ( 662, 4592) ( 693, 4359) ( 1227, 3762)
X(799)
X(800)	( 6, 20) ( 69, 1975)
X(801)
X(802)
X(803)
X(804)	( 6, 5027) ( 511, 512) ( 626, 2799) ( 694, 882) ( 741, 875)
X(805)
X(806)
X(807)
X(808)
X(809)
X(810)	( 1, 1577) ( 162, 662) ( 810, 2083)
X(811)
X(812)	( 38, 2254) ( 292, 3572) ( 649, 672) ( 798, 3747) ( 3573, 4579)
X(813)	( 659, 4435)
X(814)
X(815)
X(816)
X(817)
X(818)
X(819)
X(820)	( 1, 158)
X(821)
X(822)	( 1, 822) ( 29, 1021) ( 92, 1577) ( 652, 2654) ( 656, 1953) ( 661, 774)
X(823)
X(824)	( 6, 3250)
X(825)
X(826)	( 2, 4580) ( 6, 3005) ( 110, 1576) ( 512, 5007) ( 523, 5133)
X(827)
X(828)	( 6, 158)
X(829)
X(830)	( 513, 3745)
X(831)
X(832)
X(833)
X(834)	( 100, 4756) ( 514, 4657) ( 522, 958) ( 523, 4205)
X(835)
X(836)	( 1, 393)
X(837)
X(838)
X(839)
X(840)
X(841)
X(842)
X(843)
X(844)
X(845)
X(846)	( 513, 2643) ( 649, 4128)
X(847)
X(848)
X(849)	( 594, 6057) ( 756, 3949) ( 1109, 4036) ( 2643, 4024)
X(850)	( 6, 3050) ( 32, 669) ( 39, 647) ( 51, 512) ( 2531, 3051)
X(851)	( 1, 851) ( 21, 2651) ( 29, 2659) ( 296, 1937) ( 1021, 1984)
X(852)
X(853)
X(854)
X(855)
X(856)
X(857)
X(858)	( 184, 187) ( 351, 3269)
X(859)	( 10, 758) ( 210, 3943)
X(860)
X(861)
X(862)
X(863)
X(864)
X(865)
X(866)
X(867)	( 184, 1983) ( 692, 2245)
X(868)	( 110, 511) ( 1976, 2715)
X(869)	( 1, 4384) ( 4359, 5625)
X(870)
X(871)
X(872)	( 86, 274) ( 1019, 3248)
X(873)
X(874)
X(875)	( 239, 659) ( 350, 3766) ( 740, 812) ( 804, 1966)
X(876)	( 238, 659) ( 740, 3716) ( 1580, 5027) ( 2238, 4155)
X(877)	( 2451, 3569)
X(878)	( 511, 2799) ( 2421, 4230)
X(879)	( 237, 3569) ( 511, 684)
X(880)
X(881)	( 385, 5027) ( 732, 804)
X(882)	( 385, 804)
X(883)
X(884)	( 518, 918) ( 1025, 1026)
X(885)	( 665, 2223) ( 672, 926)
X(886)
X(887)	( 2, 888) ( 512, 538)
X(888)	( 6, 887) ( 669, 3231)
X(889)
X(890)	( 2, 891) ( 512, 2229) ( 513, 536) ( 514, 4871)
X(891)	( 6, 890) ( 513, 3999) ( 667, 3230)
X(892)
X(893)	( 9, 1045) ( 171, 2329) ( 172, 3955) ( 192, 1654) ( 1215, 2295) ( 3287, 4459)
X(894)	( 649, 3121)
X(895)	( 351, 1648)
X(896)	( 1, 896) ( 111, 5547) ( 244, 2832) ( 2642, 2643)
X(897)
X(898)
X(899)	( 1, 899) ( 3248, 3768)
X(900)	( 6, 1960) ( 55, 654) ( 512, 2245) ( 513, 517) ( 649, 902) ( 692, 1983) ( 1329, 2804)
X(901)	( 1635, 4895) ( 4120, 4730)
X(902)	( 1, 3218) ( 2, 519) ( 88, 1320) ( 106, 1797) ( 514, 1647) ( 900, 1086) ( 3120, 4707) ( 4080, 4674)
X(903)
X(904)	( 8, 1655) ( 1215, 3963)
X(905)	( 1, 1734) ( 6, 650) ( 42, 657) ( 213, 4705) ( 513, 614) ( 1826, 3064) ( 1865, 2501)
X(906)
X(907)
X(908)	( 41, 902) ( 48, 2252)
X(909)	( 2077, 2323)
X(910)	( 1, 910) ( 6, 3220) ( 9, 518) ( 103, 2338)
X(911)
X(912)
X(913)
X(914)
X(915)
X(916)	( 25, 1886) ( 676, 2969)
X(917)
X(918)	( 6, 665) ( 2223, 3063)
X(919)
X(920)	( 822, 2643)
X(921)
X(922)
X(923)	( 524, 3712)
X(924)	( 3, 523) ( 216, 512)
X(925)
X(926)	( 241, 513) ( 514, 516) ( 523, 857) ( 651, 2283) ( 673, 885) ( 2976, 5435)
X(927)
X(928)	( 523, 851)
X(929)
X(930)
X(931)
X(932)
X(933)
X(934)	( 657, 4105) ( 4171, 4524)
X(935)
X(936)
X(937)
X(938)	( 55, 1696)
X(939)
X(940)	( 11, 784) ( 1015, 4790)
X(941)	( 1468, 2268)
X(942)	( 1, 35) ( 6, 228) ( 37, 55)
X(943)
X(944)
X(945)
X(946)	( 6, 2187) ( 48, 55)
X(947)
X(948)
X(949)
X(950)	( 55, 1400) ( 56, 73)
X(951)	( 1, 2955)
X(952)
X(953)
X(954)
X(955)
X(956)
X(957)
X(958)	( 6, 1460) ( 2170, 4822)
X(959)
X(960)	( 1, 5247) ( 6, 1402) ( 56, 65)
X(961)	( 1, 2944)
X(962)
X(963)
X(964)
X(965)
X(966)	( 6, 4252)
X(967)
X(968)
X(969)
X(970)
X(971)	( 55, 910)
X(972)
X(973)
X(974)	( 3, 113) ( 25, 3163)
X(975)
X(976)
X(977)
X(978)	( 1, 6048) ( 650, 3248)
X(979)
X(980)	( 6, 5275)
X(981)
X(982)	( 1, 3550) ( 37, 1918) ( 55, 2176) ( 1253, 3217)
X(983)	( 2275, 3056) ( 3721, 3778)
X(984)	( 31, 2280) ( 513, 4475)
X(985)	( 1491, 4475) ( 2276, 4517)
X(986)	( 31, 2268)
X(987)
X(988)
X(989)
X(990)
X(991)	( 1, 4312) ( 11, 4724)
X(992)
X(993)
X(994)
X(995)	( 1, 3679)
X(996)
X(997)
X(998)
X(999)	( 1, 5119) ( 11, 4777)
X(1000)
X(1001)	( 1, 3751) ( 116, 824) ( 788, 1015)
X(1002)
X(1003)
X(1004)
X(1005)
X(1006)
X(1007)
X(1008)
X(1009)
X(1010)
X(1011)	( 834, 1086)
X(1012)
X(1013)
X(1014)	( 1, 2938) ( 756, 3690) ( 4041, 4516)
X(1015)	( 1, 1018) ( 2, 190) ( 6, 100) ( 8, 644) ( 10, 4115) ( 101, 595) ( 312, 4033) ( 345, 1332) ( 346, 3699) ( 594, 3952) ( 651, 5435) ( 1145, 2427) ( 2176, 4595) ( 3570, 4366) ( 3695, 4574)
X(1016)	( 244, 3123) ( 3121, 3122)
X(1017)	( 2, 903) ( 6, 1623)
X(1018)	( 513, 649) ( 661, 4132)
X(1019)	( 10, 4151) ( 37, 661) ( 42, 798) ( 210, 4171) ( 512, 1500) ( 513, 3720) ( 523, 3925) ( 594, 3700) ( 649, 1100) ( 650, 2269) ( 822, 836) ( 1334, 4041)
X(1020)	( 650, 652) ( 657, 3900)
X(1021)	( 37, 656) ( 65, 661) ( 73, 822) ( 513, 2260) ( 647, 1425) ( 649, 1104) ( 650, 2654) ( 652, 2646) ( 1400, 4017)
X(1022)	( 44, 1635) ( 1639, 3943)
X(1023)	( 44, 3722) ( 513, 1635) ( 661, 4145) ( 764, 2087)
X(1024)	( 672, 2254) ( 2283, 2284)
X(1025)	( 650, 4435) ( 2254, 4449)
X(1026)	( 513, 659)
X(1027)	( 518, 2254) ( 659, 1279)
X(1028)
X(1029)
X(1030)	( 115, 513) ( 650, 3024)
X(1031)
X(1032)
X(1033)	( 3344, 3346)
X(1034)
X(1035)	( 3342, 3345)
X(1036)	( 1, 1773) ( 612, 2285) ( 1460, 2286)
X(1037)	( 1, 2961) ( 2082, 4319)
X(1038)
X(1039)
X(1040)	( 33, 34)
X(1041)
X(1042)	( 1, 20) ( 8, 78) ( 200, 346) ( 1146, 4990) ( 2327, 2328)
X(1043)
X(1044)
X(1045)	( 513, 4128) ( 649, 4117)
X(1046)	( 650, 2643)
X(1047)
X(1048)
X(1049)
X(1050)
X(1051)
X(1052)
X(1053)
X(1054)
X(1055)	( 1, 5011) ( 2, 527) ( 9, 3935)
X(1056)
X(1057)
X(1058)
X(1059)
X(1060)
X(1061)
X(1062)
X(1063)
X(1064)	( 1, 1478)
X(1065)
X(1066)	( 1, 1479)
X(1067)
X(1068)
X(1069)	( 46, 1079)
X(1070)
X(1071)	( 1, 1777) ( 19, 55) ( 25, 2331)
X(1072)
X(1073)	( 6, 1033) ( 154, 3172)
X(1074)
X(1075)
X(1076)
X(1077)
X(1078)	( 688, 3124)
X(1079)
X(1080)
X(1081)
X(1082)
X(1083)
X(1084)	( 2, 4576) ( 6, 99) ( 76, 670) ( 110, 1627) ( 305, 4563) ( 799, 873) ( 1509, 4623) ( 2421, 5976)
X(1085)
X(1086)	( 6, 101) ( 9, 1018) ( 32, 692) ( 100, 1621) ( 109, 1617) ( 219, 906) ( 220, 3939) ( 1500, 4557)
X(1087)
X(1088)	( 3022, 4524)
X(1089)	( 31, 2220) ( 1333, 2206)
X(1090)
X(1091)
X(1092)	( 4, 3542)
X(1093)
X(1094)
X(1095)
X(1096)	( 394, 1259) ( 3682, 3998)
X(1097)
X(1098)	( 3708, 4705)
X(1099)	( 31, 2159)
X(1100)	( 1, 37) ( 2, 3995) ( 6, 35)
X(1101)	( 115, 4092) ( 2643, 3708)
X(1102)
X(1103)
X(1104)	( 1, 72) ( 6, 5285) ( 37, 200)
X(1105)
X(1106)	( 200, 3692) ( 346, 5423) ( 522, 4939) ( 2310, 3239) ( 3701, 3710)
X(1107)	( 1, 213) ( 6, 171) ( 37, 43)
X(1108)	( 1, 219) ( 6, 40) ( 9, 5687)
X(1109)	( 1, 2617) ( 31, 163) ( 60, 110) ( 255, 4575)
X(1110)	( 11, 1086) ( 244, 3942) ( 4858, 4939)
X(1111)	( 31, 692) ( 55, 4557) ( 101, 4251)
X(1112)	( 3, 125)
X(1113)
X(1114)
X(1115)
X(1116)
X(1117)
X(1118)
X(1119)
X(1120)
X(1121)
X(1122)	( 9, 4513) ( 55, 200) ( 480, 4936)
X(1123)
X(1124)
X(1125)	( 1, 3293) ( 6, 42) ( 31, 2174)
X(1126)	( 1, 5506) ( 1100, 3683) ( 1213, 1962)
X(1127)
X(1128)
X(1129)
X(1130)
X(1131)
X(1132)
X(1133)
X(1134)
X(1135)
X(1136)
X(1137)
X(1138)
X(1139)
X(1140)
X(1141)
X(1142)
X(1143)
X(1144)
X(1145)
X(1146)
X(1147)	( 6, 2351) ( 523, 2970)
X(1148)	( 1, 3362)
X(1149)	( 1, 519) ( 522, 1647) ( 900, 3756)
X(1150)
X(1151)
X(1152)
X(1153)
X(1154)	( 3, 539) ( 54, 1157) ( 265, 5961)
X(1155)	( 1, 1155) ( 11, 2826) ( 2291, 4845)
X(1156)
X(1157)
X(1158)
X(1159)
X(1160)
X(1161)
X(1162)
X(1163)
X(1164)
X(1165)
X(1166)
X(1167)	( 1108, 1864)
X(1168)
X(1169)
X(1170)
X(1171)
X(1172)	( 37, 227) ( 71, 73) ( 201, 2197)
X(1173)
X(1174)	( 354, 1212)
X(1175)
X(1176)	( 39, 1843) ( 115, 2514)
X(1177)
X(1178)
X(1179)
X(1180)	( 6, 3763)
X(1181)	( 4, 631)
X(1182)
X(1183)
X(1184)	( 69, 3618)
X(1185)	( 75, 4687)
X(1186)
X(1187)
X(1188)
X(1189)
X(1190)
X(1191)	( 2, 4461) ( 8, 3616) ( 37, 4061)
X(1192)	( 20, 3091)
X(1193)	( 1, 10) ( 9, 42)
X(1194)	( 2, 384) ( 3, 3051) ( 6, 141)
X(1195)	( 2, 1943) ( 63, 226)
X(1196)	( 2, 1975) ( 6, 69)
X(1197)	( 2, 1909) ( 37, 75)
X(1198)
X(1199)	( 5, 140) ( 216, 3078)
X(1200)	( 7, 9) ( 57, 3160)
X(1201)	( 1, 8) ( 2, 3729) ( 200, 3161)
X(1202)	( 9, 142)
X(1203)	( 10, 1125)
X(1204)	( 4, 20)
X(1205)	( 23, 858)
X(1206)	( 37, 3739)
X(1207)	( 39, 3934)
X(1208)	( 40, 946)
X(1209)
X(1210)	( 6, 212) ( 31, 198)
X(1211)	( 6, 1333) ( 32, 2194)
X(1212)	( 1, 218) ( 6, 57)
X(1213)	( 6, 58)
X(1214)	( 1, 1754) ( 6, 19) ( 33, 607) ( 608, 3213) ( 2194, 2204) ( 2299, 2332) ( 3063, 4516)
X(1215)	( 6, 1964) ( 893, 904) ( 3248, 3733)
X(1216)	( 4, 3518) ( 25, 53)
X(1217)
X(1218)
X(1219)
X(1220)	( 2092, 3725)
X(1221)
X(1222)	( 1, 1050)
X(1223)
X(1224)
X(1225)
X(1226)
X(1227)
X(1228)
X(1229)	( 32, 604)
X(1230)	( 32, 2206) ( 1333, 2220)
X(1231)	( 32, 1973)
X(1232)
X(1233)
X(1234)
X(1235)
X(1236)
X(1237)	( 32, 1923)
X(1238)	( 1974, 3199)
X(1239)
X(1240)
X(1241)
X(1242)
X(1243)
X(1244)
X(1245)	( 388, 1038) ( 612, 2345)
X(1246)
X(1247)
X(1248)
X(1249)	( 6, 64) ( 647, 2972)
X(1250)
X(1251)
X(1252)	( 11, 4534) ( 244, 2170) ( 1015, 3937) ( 3120, 3125)
X(1253)	( 1, 1445) ( 7, 279) ( 514, 2310) ( 1446, 3668)
X(1254)	( 1, 411) ( 21, 283) ( 1021, 2310) ( 2287, 2328)
X(1255)	( 1, 1051) ( 1125, 4970)
X(1256)
X(1257)
X(1258)
X(1259)
X(1260)	( 34, 1435) ( 1398, 1407) ( 3669, 3937)
X(1261)
X(1262)	( 1, 2958) ( 2310, 3119)
X(1263)
X(1264)
X(1265)
X(1266)	( 31, 902)
X(1267)
X(1268)
X(1269)	( 32, 1918)
X(1270)
X(1271)
X(1272)
X(1273)
X(1274)
X(1275)
X(1276)
X(1277)
X(1278)
X(1279)	( 1, 518) ( 918, 4904) ( 926, 1015)
X(1280)
X(1281)
X(1282)
X(1283)
X(1284)	( 1, 511) ( 9, 4433) ( 291, 295) ( 3271, 4435)
X(1285)
X(1286)
X(1287)
X(1288)
X(1289)
X(1290)
X(1291)
X(1292)
X(1293)	( 4162, 4394)
X(1294)
X(1295)
X(1296)
X(1297)
X(1298)
X(1299)	( 155, 2931)
X(1300)
X(1301)
X(1302)
X(1303)
X(1304)	( 30, 402)
X(1305)
X(1306)
X(1307)
X(1308)
X(1309)
X(1310)
X(1311)
X(1312)
X(1313)
X(1314)
X(1315)
X(1316)
X(1317)	( 55, 2316)
X(1318)
X(1319)	( 1, 517) ( 9, 3689) ( 11, 2804) ( 55, 2323) ( 2170, 4895)
X(1320)	( 902, 1404) ( 1960, 2087)
X(1321)
X(1322)
X(1323)
X(1324)	( 124, 3738) ( 758, 3454)
X(1325)
X(1326)	( 3120, 4010)
X(1327)
X(1328)
X(1329)	( 6, 1397)
X(1330)
X(1331)	( 514, 3798)
X(1332)
X(1333)	( 1, 1761) ( 2, 2895) ( 6, 2915) ( 10, 2321) ( 37, 72) ( 523, 3125) ( 594, 1089) ( 1086, 4978) ( 3120, 4024) ( 3910, 4858)
X(1334)	( 1, 4253) ( 2, 3875) ( 7, 57) ( 81, 1014)
X(1335)
X(1336)
X(1337)
X(1338)
X(1339)
X(1340)
X(1341)
X(1342)
X(1343)
X(1344)
X(1345)
X(1346)
X(1347)
X(1348)
X(1349)
X(1350)
X(1351)
X(1352)
X(1353)
X(1354)
X(1355)
X(1356)	( 55, 645) ( 261, 4631)
X(1357)	( 8, 3699) ( 9, 4069) ( 55, 644) ( 100, 145) ( 190, 344) ( 346, 4578) ( 1265, 4571)
X(1358)	( 55, 3939) ( 101, 218) ( 200, 4069) ( 692, 3052)
X(1359)
X(1360)	( 55, 2338)
X(1361)
X(1362)	( 11, 885) ( 55, 294)
X(1363)
X(1364)	( 4, 108) ( 40, 4551) ( 55, 1783) ( 100, 3436)
X(1365)	( 55, 5546) ( 60, 4636) ( 643, 1098)
X(1366)	( 55, 5547)
X(1367)
X(1368)	( 6, 1974) ( 25, 1968) ( 184, 3053)
X(1369)
X(1370)	( 669, 3269)
X(1371)
X(1372)
X(1373)
X(1374)
X(1375)
X(1376)	( 124, 3810) ( 513, 3271)
X(1377)
X(1378)
X(1379)
X(1380)
X(1381)
X(1382)
X(1383)
X(1384)	( 115, 3906)
X(1385)	( 1, 5903)
X(1386)	( 1, 984)
X(1387)
X(1388)
X(1389)
X(1390)
X(1391)
X(1392)
X(1393)	( 9, 212)
X(1394)
X(1395)	( 78, 3719) ( 345, 1265)
X(1396)
X(1397)	( 2, 3436) ( 8, 345) ( 9, 4149) ( 11, 4391) ( 75, 322) ( 312, 341) ( 4086, 4858)
X(1398)
X(1399)
X(1400)	( 1, 573) ( 2, 63) ( 8, 9) ( 11, 4976) ( 21, 2287) ( 81, 1817) ( 283, 284)
X(1401)	( 8, 55) ( 1146, 4477)
X(1402)	( 1, 1764) ( 2, 3869) ( 8, 312) ( 11, 3910) ( 21, 1812) ( 69, 75) ( 333, 1043) ( 4858, 4985)
X(1403)	( 8, 4903) ( 11, 3810) ( 522, 3271)
X(1404)	( 2, 908) ( 8, 2325) ( 9, 4511) ( 11, 1639) ( 522, 4530)
X(1405)	( 2, 5744) ( 9, 3872)
X(1406)
X(1407)	( 6, 1604) ( 9, 2324) ( 200, 728) ( 220, 1260) ( 650, 4534) ( 1146, 3239) ( 2310, 4171) ( 2321, 3694) ( 4081, 4130) ( 4082, 4515)
X(1408)	( 11, 4985) ( 210, 3694) ( 1089, 3695) ( 2321, 4082) ( 3700, 4516)
X(1409)	( 1, 1765) ( 2, 92) ( 21, 1172) ( 29, 2322) ( 281, 318)
X(1410)	( 4, 1895) ( 8, 318) ( 2287, 4183)
X(1411)
X(1412)	( 1, 2941) ( 210, 4515) ( 594, 3949) ( 1334, 2318) ( 2170, 4976)
X(1413)	( 40, 1103)
X(1414)	( 3709, 4524)
X(1415)	( 521, 650) ( 522, 3239) ( 525, 1577) ( 3700, 4086)
X(1416)
X(1417)
X(1418)	( 9, 220)
X(1419)	( 1, 3062) ( 650, 3119)
X(1420)	( 2170, 3900)
X(1421)	( 1, 5531)
X(1422)
X(1423)	( 9, 4050)
X(1424)
X(1425)	( 3, 3562) ( 21, 29) ( 2322, 4183)
X(1426)	( 78, 1259) ( 283, 1819) ( 1260, 3692)
X(1427)	( 6, 610) ( 9, 219) ( 200, 220)
X(1428)	( 210, 3693) ( 522, 4124)
X(1429)	( 1334, 2340)
X(1430)
X(1431)	( 3907, 4459)
X(1432)
X(1433)	( 1, 1720) ( 198, 3195)
X(1434)
X(1435)
X(1436)	( 9, 1490) ( 40, 2324)
X(1437)	( 1, 1710) ( 4, 451) ( 37, 1824)
X(1438)	( 518, 3693) ( 672, 1818) ( 3930, 3932)
X(1439)	( 25, 204) ( 33, 55)
X(1440)
X(1441)	( 31, 184) ( 41, 2175)
X(1442)	( 663, 4516)
X(1443)	( 210, 3689) ( 2310, 4895)
X(1444)	( 512, 4516)
X(1445)	( 657, 2170)
X(1446)
X(1447)	( 42, 5360) ( 926, 3271) ( 2329, 3684)
X(1448)
X(1449)	( 1, 3731) ( 6, 5217) ( 244, 4813)
X(1450)	( 1, 5657)
X(1451)
X(1452)
X(1453)
X(1454)
X(1455)	( 1, 6001)
X(1456)	( 1, 971) ( 200, 3693)
X(1457)	( 1, 515) ( 8, 4511) ( 200, 2325) ( 663, 4530) ( 1639, 4081)
X(1458)	( 1, 516) ( 8, 3685) ( 9, 2340) ( 3729, 3912)
X(1459)	( 1, 522) ( 10, 4064) ( 33, 3064) ( 37, 3900) ( 42, 4024) ( 430, 2501) ( 514, 4000) ( 523, 1834) ( 650, 1864)
X(1460)
X(1461)	( 3900, 4130)
X(1462)
X(1463)	( 55, 3684)
X(1464)	( 1, 30) ( 80, 1807)
X(1465)	( 6, 2182) ( 9, 2323) ( 220, 3689) ( 3119, 4895)
X(1466)
X(1467)
X(1468)	( 9, 612) ( 244, 4778) ( 1146, 4843)
X(1469)
X(1470)	( 1, 3359)
X(1471)
X(1472)	( 612, 5227) ( 2345, 3974)
X(1473)	( 10, 1824)
X(1474)	( 2, 3151) ( 71, 3682) ( 72, 3694) ( 525, 4466) ( 3695, 3949)
X(1475)	( 1, 3730) ( 2, 9) ( 10, 3294)
X(1476)	( 1, 2943)
X(1477)
X(1478)
X(1479)	( 55, 2178)
X(1480)
X(1481)
X(1482)
X(1483)
X(1484)
X(1485)
X(1486)	( 116, 522) ( 513, 4904)
X(1487)
X(1488)
X(1489)
X(1490)	( 649, 2638)
X(1491)	( 1, 1491) ( 513, 1386)
X(1492)
X(1493)
X(1494)
X(1495)	( 2, 30) ( 3, 323) ( 8, 3936) ( 525, 1650) ( 2968, 3904)
X(1496)
X(1497)
X(1498)	( 122, 523)
X(1499)	( 512, 574)
X(1500)	( 2, 4360) ( 6, 1621) ( 81, 86) ( 757, 2185) ( 1977, 3733)
X(1501)	( 2, 315) ( 76, 305) ( 115, 850)
X(1502)
X(1503)	( 3, 511) ( 127, 2799) ( 523, 3150)
X(1504)
X(1505)
X(1506)	( 6, 5012)
X(1507)
X(1508)
X(1509)	( 3124, 4079)
X(1510)	( 140, 523) ( 512, 570)
X(1511)	( 74, 3470)
X(1512)
X(1513)	( 182, 511)
X(1514)
X(1515)
X(1516)
X(1517)
X(1518)
X(1519)
X(1520)
X(1521)
X(1522)
X(1523)
X(1524)
X(1525)
X(1526)
X(1527)
X(1528)
X(1529)
X(1530)
X(1531)	( 186, 378)
X(1532)
X(1533)
X(1534)
X(1535)
X(1536)
X(1537)	( 55, 909)
X(1538)
X(1539)
X(1540)
X(1541)
X(1542)
X(1543)
X(1544)
X(1545)
X(1546)
X(1547)
X(1548)
X(1549)
X(1550)
X(1551)
X(1552)
X(1553)
X(1554)
X(1555)
X(1556)
X(1557)
X(1558)
X(1559)
X(1560)	( 6, 1177)
X(1561)
X(1562)	( 3, 112) ( 2063, 4558)
X(1563)
X(1564)
X(1565)	( 55, 692) ( 101, 3730) ( 3690, 4557)
X(1566)	( 101, 103) ( 651, 1814)
X(1567)
X(1568)
X(1569)
X(1570)	( 2, 230)
X(1571)
X(1572)
X(1573)
X(1574)	( 1977, 4057)
X(1575)	( 1, 1575) ( 6, 238)
X(1576)	( 2, 3448) ( 512, 2485) ( 523, 525) ( 1577, 4086)
X(1577)	( 31, 798) ( 38, 656) ( 48, 822) ( 649, 2260) ( 652, 2269) ( 661, 1953) ( 1923, 1924)
X(1578)
X(1579)
X(1580)	( 244, 3808) ( 1755, 1964) ( 1965, 1966)
X(1581)
X(1582)
X(1583)
X(1584)
X(1585)
X(1586)
X(1587)
X(1588)
X(1589)
X(1590)
X(1591)
X(1592)
X(1593)	( 3, 1181) ( 2522, 3270)
X(1594)	( 3, 49) ( 184, 216)
X(1595)
X(1596)
X(1597)
X(1598)
X(1599)
X(1600)
X(1601)
X(1602)
X(1603)
X(1604)	( 513, 5514)
X(1605)
X(1606)
X(1607)
X(1608)
X(1609)	( 115, 520)
X(1610)
X(1611)	( 520, 1084)
X(1612)	( 244, 520)
X(1613)	( 523, 1084) ( 3224, 3504)
X(1614)
X(1615)
X(1616)	( 522, 3756) ( 1015, 3900)
X(1617)	( 11, 3900)
X(1618)
X(1619)	( 122, 512)
X(1620)
X(1621)	( 244, 512) ( 2170, 2488)
X(1622)
X(1623)
X(1624)	( 520, 523)
X(1625)	( 523, 647)
X(1626)	( 124, 3900)
X(1627)	( 826, 3124)
X(1628)
X(1629)
X(1630)
X(1631)	( 116, 513)
X(1632)	( 512, 520)
X(1633)	( 512, 656) ( 513, 3900) ( 926, 3126)
X(1634)	( 512, 523)
X(1635)	( 1, 1635) ( 6, 4491) ( 9, 3738) ( 44, 513) ( 88, 1022) ( 100, 1023) ( 514, 908) ( 649, 1149) ( 650, 5048) ( 661, 758) ( 901, 5548)
X(1636)	( 4, 1637) ( 523, 1990) ( 647, 6000)
X(1637)	( 3, 1636) ( 6, 526) ( 74, 2433) ( 110, 2420) ( 520, 3284) ( 525, 3580)
X(1638)
X(1639)	( 1465, 3669)
X(1640)	( 647, 5622)
X(1641)
X(1642)	( 1643, 3675)
X(1643)	( 1642, 3126)
X(1644)
X(1645)	( 99, 3231)
X(1646)	( 100, 3230) ( 739, 898) ( 3227, 4607)
X(1647)	( 101, 902) ( 106, 901) ( 109, 5193) ( 2323, 3939)
X(1648)	( 6, 5467) ( 110, 187) ( 111, 691)
X(1649)	( 110, 691) ( 111, 512)
X(1650)	( 74, 1304) ( 110, 2071) ( 112, 1495)
X(1651)
X(1652)
X(1653)
X(1654)	( 649, 3124)
X(1655)
X(1656)
X(1657)
X(1658)
X(1659)
X(1660)
X(1661)
X(1662)
X(1663)
X(1664)
X(1665)
X(1666)
X(1667)
X(1668)
X(1669)
X(1670)
X(1671)
X(1672)
X(1673)
X(1674)
X(1675)
X(1676)
X(1677)
X(1678)
X(1679)
X(1680)
X(1681)
X(1682)	( 11, 4581)
X(1683)
X(1684)
X(1685)
X(1686)
X(1687)
X(1688)
X(1689)
X(1690)
X(1691)	( 39, 511) ( 115, 2799)
X(1692)	( 2, 325) ( 684, 3124)
X(1693)
X(1694)
X(1695)
X(1696)
X(1697)	( 1, 3361)
X(1698)
X(1699)	( 48, 1253) ( 55, 3207)
X(1700)
X(1701)
X(1702)
X(1703)
X(1704)
X(1705)
X(1706)
X(1707)	( 656, 2643)
X(1708)	( 652, 2170)
X(1709)
X(1710)
X(1711)	( 822, 4128)
X(1712)
X(1713)	( 244, 822)
X(1714)	( 822, 3248)
X(1715)	( 822, 2310)
X(1716)	( 656, 4128)
X(1717)
X(1718)
X(1719)
X(1720)
X(1721)
X(1722)	( 652, 3248)
X(1723)	( 244, 652)
X(1724)	( 244, 656)
X(1725)	( 31, 2173) ( 2631, 2643)
X(1726)
X(1727)
X(1728)
X(1729)
X(1730)
X(1731)	( 44, 65)
X(1732)
X(1733)	( 31, 1755)
X(1734)	( 31, 513) ( 650, 4336) ( 652, 2293) ( 656, 1962)
X(1735)	( 31, 2182)
X(1736)	( 31, 910)
X(1737)	( 6, 2361) ( 31, 2183)
X(1738)	( 31, 672)
X(1739)	( 31, 44)
X(1740)	( 523, 5518) ( 661, 4117)
X(1741)
X(1742)
X(1743)	( 1, 3973) ( 6, 5204) ( 9, 3680) ( 244, 650)
X(1744)	( 652, 2611)
X(1745)	( 650, 2638)
X(1746)
X(1747)
X(1748)	( 822, 3708)
X(1749)	( 2624, 2643)
X(1750)
X(1751)	( 209, 2198) ( 1724, 1754)
X(1752)
X(1753)
X(1754)	( 656, 2310)
X(1755)	( 1, 1755) ( 9, 740) ( 75, 1966) ( 293, 1910) ( 812, 4858)
X(1756)	( 42, 1755)
X(1757)	( 244, 659) ( 1931, 1963)
X(1758)	( 409, 2651) ( 851, 2650)
X(1759)	( 798, 2611)
X(1760)	( 798, 3708)
X(1761)	( 513, 3708) ( 649, 2611)
X(1762)	( 650, 3708)
X(1763)
X(1764)	( 798, 2310)
X(1765)
X(1766)
X(1767)
X(1768)
X(1769)	( 1, 3738) ( 31, 1635) ( 44, 3900) ( 522, 1737) ( 656, 758) ( 1023, 3939)
X(1770)
X(1771)
X(1772)	( 31, 2265)
X(1773)
X(1774)
X(1775)
X(1776)	( 65, 1155)
X(1777)
X(1778)	( 656, 3125)
X(1779)
X(1780)	( 656, 3120)
X(1781)	( 650, 2611) ( 652, 2632)
X(1782)
X(1783)	( 647, 656) ( 652, 1459)
X(1784)
X(1785)
X(1786)
X(1787)
X(1788)	( 652, 3271)
X(1789)
X(1790)	( 1, 1719) ( 4, 4213) ( 10, 4028) ( 42, 2333)
X(1791)
X(1792)
X(1793)
X(1794)	( 1841, 1859)
X(1795)
X(1796)
X(1797)	( 1635, 4530)
X(1798)
X(1799)	( 39, 3787)
X(1800)
X(1801)
X(1802)	( 57, 4341) ( 269, 1435) ( 278, 1119) ( 3676, 3942)
X(1803)
X(1804)	( 607, 6059)
X(1805)
X(1806)
X(1807)	( 1, 1718) ( 1464, 1835)
X(1808)
X(1809)
X(1810)
X(1811)
X(1812)
X(1813)	( 661, 2501)
X(1814)
X(1815)
X(1816)
X(1817)
X(1818)	( 1, 1738) ( 4, 242) ( 19, 2356)
X(1819)
X(1820)	( 19, 920)
X(1821)	( 1580, 1955)
X(1822)
X(1823)
X(1824)	( 3, 63) ( 21, 1817) ( 77, 1804) ( 283, 1790)
X(1825)
X(1826)	( 3, 48) ( 284, 2360) ( 1437, 2193)
X(1827)	( 3, 77)
X(1828)	( 3, 78)
X(1829)	( 3, 72) ( 9, 5285) ( 37, 197) ( 219, 228)
X(1830)
X(1831)	( 3, 201)
X(1832)
X(1833)
X(1834)	( 3, 58) ( 6, 2328) ( 21, 404)
X(1835)
X(1836)	( 3, 55)
X(1837)	( 3, 56)
X(1838)	( 48, 4055) ( 71, 212)
X(1839)	( 3, 71)
X(1840)	( 3, 4020)
X(1841)	( 3, 3990) ( 72, 219)
X(1842)	( 3, 3682) ( 71, 1260)
X(1843)	( 2, 22) ( 3, 69)
X(1844)
X(1845)	( 3, 1807)
X(1846)	( 3, 1795)
X(1847)
X(1848)	( 3, 3955) ( 42, 205) ( 48, 71) ( 212, 2200)
X(1849)
X(1850)
X(1851)	( 3, 1260) ( 228, 3682)
X(1852)
X(1853)	( 3, 154) ( 206, 577)
X(1854)	( 1, 1394) ( 3, 221) ( 55, 478)
X(1855)	( 48, 222)
X(1856)
X(1857)	( 1364, 4091)
X(1858)	( 1, 1935) ( 3, 65) ( 478, 1402)
X(1859)	( 3, 1214)
X(1860)	( 3, 4055)
X(1861)
X(1862)	( 3, 3937)
X(1863)
X(1864)	( 3, 57) ( 56, 223)
X(1865)	( 3, 2193) ( 577, 1437)
X(1866)
X(1867)
X(1868)
X(1869)
X(1870)	( 1, 3465) ( 72, 5440)
X(1871)
X(1872)
X(1873)
X(1874)
X(1875)
X(1876)
X(1877)
X(1878)	( 3, 5440)
X(1879)	( 6, 156)
X(1880)	( 63, 394) ( 78, 219) ( 283, 2327)
X(1881)	( 3, 4100)
X(1882)
X(1883)
X(1884)
X(1885)	( 3, 185)
X(1886)	( 219, 1818)
X(1887)
X(1888)
X(1889)
X(1890)	( 3, 3781)
X(1891)
X(1892)
X(1893)
X(1894)
X(1895)	( 31, 2155)
X(1896)
X(1897)	( 647, 810)
X(1898)	( 3, 46)
X(1899)	( 3, 25) ( 206, 571) ( 237, 2967)
X(1900)	( 3, 3916)
X(1901)	( 3, 284) ( 6, 2360)
X(1902)	( 3, 1071)
X(1903)	( 3, 610) ( 40, 198)
X(1904)
X(1905)	( 3, 1060)
X(1906)
X(1907)
X(1908)
X(1909)
X(1910)
X(1911)	( 239, 3685) ( 726, 3912) ( 740, 3948)
X(1912)
X(1913)
X(1914)	( 1, 3509) ( 10, 4037) ( 37, 518) ( 291, 4876) ( 292, 295) ( 350, 1909) ( 918, 1086) ( 3125, 4010)
X(1915)
X(1916)	( 2086, 5027)
X(1917)
X(1918)	( 10, 4043) ( 75, 76) ( 274, 314) ( 514, 3122) ( 1111, 4509)
X(1919)	( 10, 4079) ( 37, 4083) ( 75, 514) ( 76, 3261) ( 190, 4561) ( 321, 693) ( 522, 3061) ( 646, 668) ( 850, 1230)
X(1920)
X(1921)
X(1922)	( 350, 3975)
X(1923)	( 75, 561)
X(1924)	( 75, 661) ( 1577, 1930)
X(1925)
X(1926)	( 1932, 1933)
X(1927)
X(1928)
X(1929)
X(1930)	( 31, 560)
X(1931)	( 1757, 1961)
X(1932)
X(1933)	( 38, 1959) ( 1925, 1926)
X(1934)
X(1935)
X(1936)	( 1, 1758) ( 243, 1940)
X(1937)	( 416, 2651)
X(1938)
X(1939)
X(1940)
X(1941)
X(1942)
X(1943)
X(1944)
X(1945)
X(1946)	( 2, 521) ( 7, 693) ( 108, 651) ( 226, 522) ( 318, 4391) ( 442, 525) ( 513, 3772) ( 514, 1210) ( 653, 1897)
X(1947)
X(1948)	( 1950, 1951)
X(1949)	( 1936, 2202)
X(1950)
X(1951)	( 296, 1945) ( 1947, 1948)
X(1952)
X(1953)	( 1, 48) ( 2148, 2169)
X(1954)
X(1955)
X(1956)
X(1957)
X(1958)
X(1959)	( 1, 1580) ( 41, 3747) ( 240, 1957)
X(1960)	( 2, 900) ( 8, 3904) ( 100, 4585) ( 514, 519) ( 523, 3936) ( 693, 3262) ( 1022, 4674)
X(1961)
X(1962)	( 1, 81) ( 6, 4068) ( 86, 4360) ( 1126, 1255)
X(1963)
X(1964)	( 1, 75) ( 3907, 4858) ( 3995, 4651)
X(1965)
X(1966)	( 38, 2227) ( 1580, 1582)
X(1967)	( 1959, 2227)
X(1968)	( 525, 3269)
X(1969)
X(1970)
X(1971)	( 216, 511)
X(1972)
X(1973)	( 2, 4329) ( 63, 326) ( 69, 345) ( 312, 322) ( 525, 1565) ( 3942, 4025)
X(1974)	( 2, 1370) ( 69, 3926) ( 125, 2525) ( 304, 3718) ( 339, 3267)
X(1975)
X(1976)	( 2, 147) ( 441, 3564) ( 868, 2799)
X(1977)	( 2, 668) ( 43, 1018) ( 75, 4033) ( 76, 1978) ( 190, 4360) ( 646, 3596) ( 1500, 3952)
X(1978)	( 669, 1924) ( 1977, 3249)
X(1979)
X(1980)	( 10, 3835) ( 76, 693) ( 313, 3261) ( 321, 4705) ( 850, 1228) ( 3705, 4391)
X(1981)
X(1982)
X(1983)	( 523, 2610) ( 654, 2605) ( 661, 1769) ( 1577, 3762) ( 2600, 2618)
X(1984)	( 851, 1020)
X(1985)
X(1986)	( 3, 265)
X(1987)
X(1988)
X(1989)	( 6, 399) ( 526, 2088)
X(1990)	( 3, 3284) ( 6, 6000) ( 1636, 2972)
X(1991)
X(1992)	( 6, 5210)
X(1993)	( 115, 647)
X(1994)
X(1995)	( 125, 3906)
X(1996)
X(1997)
X(1998)
X(1999)	( 663, 3121)
X(2000)
X(2001)
X(2002)
X(2003)	( 1146, 4976)
X(2004)
X(2005)
X(2006)
X(2007)
X(2008)
X(2009)
X(2010)
X(2011)
X(2012)
X(2013)
X(2014)
X(2015)
X(2016)
X(2017)
X(2018)
X(2019)
X(2020)
X(2021)
X(2022)
X(2023)
X(2024)
X(2025)
X(2026)
X(2027)
X(2028)
X(2029)
X(2030)
X(2031)
X(2032)
X(2033)
X(2034)
X(2035)
X(2036)
X(2037)
X(2038)
X(2039)
X(2040)
X(2041)
X(2042)
X(2043)
X(2044)
X(2045)
X(2046)
X(2047)
X(2048)
X(2049)
X(2050)
X(2051)
X(2052)
X(2053)	( 43, 1423)
X(2054)
X(2055)
X(2056)
X(2057)
X(2058)
X(2059)
X(2060)
X(2061)
X(2062)
X(2063)
X(2064)
X(2065)
X(2066)
X(2067)
X(2068)
X(2069)
X(2070)	( 125, 526)
X(2071)
X(2072)	( 184, 3003)
X(2073)
X(2074)
X(2075)
X(2076)	( 115, 804)
X(2077)
X(2078)	( 1, 5536) ( 142, 527)
X(2079)
X(2080)
X(2081)	( 50, 523)
X(2082)	( 3, 218) ( 9, 57) ( 1214, 1400)
X(2083)	( 19, 63) ( 47, 2172)
X(2084)	( 662, 799) ( 2084, 2085)
X(2085)	( 31, 75)
X(2086)	( 2, 2396) ( 99, 385)
X(2087)	( 2, 2397) ( 44, 100) ( 88, 3257) ( 644, 4511) ( 1320, 5548)
X(2088)	( 2, 2407) ( 50, 110) ( 112, 403) ( 476, 1989)
X(2089)
X(2090)
X(2091)
X(2092)	( 2, 81) ( 6, 21) ( 58, 572) ( 1169, 1798) ( 1220, 2298)
X(2093)
X(2094)
X(2095)
X(2096)
X(2097)
X(2098)	( 1, 1420)
X(2099)	( 1, 3576)
X(2100)
X(2101)
X(2102)
X(2103)
X(2104)
X(2105)
X(2106)
X(2107)
X(2108)
X(2109)
X(2110)
X(2111)
X(2112)
X(2113)	( 1282, 2108)
X(2114)
X(2115)	( 1282, 2114)
X(2116)
X(2117)
X(2118)
X(2119)
X(2120)
X(2121)
X(2122)
X(2123)
X(2124)
X(2125)
X(2126)
X(2127)
X(2128)
X(2129)
X(2130)
X(2131)
X(2132)
X(2133)
X(2134)
X(2135)
X(2136)
X(2137)
X(2138)
X(2139)
X(2140)
X(2141)
X(2142)
X(2143)
X(2144)
X(2145)
X(2146)
X(2147)
X(2148)
X(2149)	( 11, 1146)
X(2150)	( 12, 594) ( 201, 2171) ( 1109, 4024)
X(2151)
X(2152)
X(2153)
X(2154)
X(2155)
X(2156)
X(2157)
X(2158)
X(2159)
X(2160)	( 9, 191) ( 37, 3579)
X(2161)	( 9, 5541) ( 36, 2323) ( 44, 517) ( 758, 2245)
X(2162)	( 43, 3208)
X(2163)	( 45, 3711)
X(2164)	( 2178, 3157)
X(2165)	( 6, 155) ( 571, 1147)
X(2166)
X(2167)
X(2168)
X(2169)	( 1953, 2181)
X(2170)	( 1, 101) ( 2, 4552) ( 9, 100) ( 56, 4559) ( 57, 651) ( 59, 1252) ( 63, 1813) ( 78, 644) ( 109, 604) ( 214, 1023) ( 934, 4350) ( 1018, 3678) ( 1331, 2289) ( 2171, 4551)
X(2171)	( 1, 572) ( 9, 3871) ( 21, 284) ( 81, 1790) ( 2170, 3737)
X(2172)
X(2173)	( 1, 2173) ( 9, 758) ( 2631, 2632)
X(2174)	( 4858, 4978)
X(2175)	( 2, 3434) ( 7, 348) ( 8, 344) ( 75, 85) ( 349, 1441) ( 1086, 3777) ( 4081, 4391)
X(2176)	( 2, 1278) ( 37, 4685) ( 87, 2319) ( 514, 1015) ( 1086, 3776)
X(2177)	( 1, 3306) ( 2, 3241) ( 89, 2320)
X(2178)	( 521, 1146) ( 1069, 2164)
X(2179)	( 63, 75)
X(2180)	( 91, 1820)
X(2181)	( 63, 255)
X(2182)	( 1, 2182) ( 3, 2323) ( 9, 517) ( 2804, 5514)
X(2183)	( 1, 2183) ( 2, 3218) ( 9, 519) ( 63, 914) ( 649, 1647) ( 900, 1146) ( 909, 1795) ( 4466, 4707)
X(2184)	( 198, 3197)
X(2185)	( 181, 1500) ( 2643, 4079)
X(2186)
X(2187)	( 2, 962) ( 7, 1440) ( 189, 280)
X(2188)	( 1, 1767) ( 208, 223)
X(2189)	( 201, 3949)
X(2190)
X(2191)	( 1, 3174) ( 3991, 4878)
X(2192)	( 40, 223) ( 1214, 5930)
X(2193)	( 1, 1744) ( 65, 1880) ( 225, 1826)
X(2194)	( 1, 1762) ( 2, 2475) ( 10, 226) ( 65, 1214) ( 210, 3991) ( 1111, 3004)
X(2195)	( 241, 518) ( 516, 3008) ( 3912, 4899)
X(2196)	( 238, 2201)
X(2197)	( 27, 81) ( 29, 1172) ( 60, 2189) ( 270, 2326)
X(2198)	( 1751, 2997)
X(2199)	( 2, 189) ( 271, 282)
X(2200)	( 27, 86) ( 85, 331) ( 92, 264)
X(2201)	( 71, 1818)
X(2202)	( 1943, 1944)
X(2203)	( 72, 3998) ( 306, 3710) ( 4064, 4466)
X(2204)	( 2, 2897) ( 306, 307)
X(2205)	( 76, 561) ( 693, 3125)
X(2206)	( 2, 1330) ( 10, 306) ( 42, 4456) ( 321, 3701) ( 1577, 3120)
X(2207)	( 6, 1619) ( 326, 3719) ( 394, 3964)
X(2208)
X(2209)	( 244, 693) ( 514, 3123)
X(2210)	( 2, 4645) ( 10, 3912) ( 335, 4518) ( 1086, 3837) ( 1920, 1921)
X(2211)
X(2212)	( 69, 348) ( 307, 1231)
X(2213)
X(2214)
X(2215)
X(2216)
X(2217)
X(2218)	( 579, 3190)
X(2219)
X(2220)	( 1086, 1577)
X(2221)
X(2222)
X(2223)	( 2, 518) ( 11, 918) ( 75, 350) ( 105, 1814) ( 3789, 3797)
X(2224)
X(2225)	( 1, 2225)
X(2226)
X(2227)	( 1, 2227) ( 31, 1580) ( 43, 3747)
X(2228)	( 1, 2228)
X(2229)	( 1, 2229)
X(2230)	( 1, 2230)
X(2231)	( 1, 2231)
X(2232)	( 1, 2232)
X(2233)	( 1, 2233)
X(2234)	( 1, 2234)
X(2235)	( 1, 2235)
X(2236)	( 1, 2236) ( 1581, 1967)
X(2237)	( 1, 2237)
X(2238)	( 1, 2238) ( 6, 3286) ( 81, 1931) ( 86, 2669) ( 291, 292) ( 659, 1015) ( 741, 2311)
X(2239)	( 1, 2239)
X(2240)	( 1, 2240)
X(2241)
X(2242)	( 2, 4419)
X(2243)	( 1, 2243)
X(2244)	( 1, 2244)
X(2245)	( 1, 2245) ( 6, 859) ( 11, 654) ( 80, 2161) ( 284, 5127) ( 759, 2341) ( 2610, 2611)
X(2246)	( 1, 2246)
X(2247)	( 1, 2247)
X(2248)
X(2249)
X(2250)	( 517, 2183)
X(2251)	( 2, 320) ( 75, 4358) ( 903, 4997) ( 1086, 4927) ( 1111, 3762)
X(2252)	( 1, 2252) ( 19, 1785)
X(2253)	( 1, 2253)
X(2254)	( 1, 2254) ( 100, 3573) ( 105, 1027) ( 513, 1279) ( 661, 3747) ( 663, 672) ( 1024, 2195)
X(2255)
X(2256)	( 1, 2257)
X(2257)	( 6, 5584) ( 9, 1706) ( 939, 2343)
X(2258)	( 940, 958)
X(2259)	( 442, 2294) ( 2260, 4303)
X(2260)	( 1, 71) ( 2, 3219) ( 9, 10) ( 1794, 2259)
X(2261)
X(2262)	( 1, 198) ( 3, 9)
X(2263)	( 1, 5732)
X(2264)	( 9, 65) ( 57, 1214) ( 951, 2983)
X(2265)	( 1, 2265) ( 9, 2802)
X(2266)
X(2267)
X(2268)	( 1, 2285) ( 11, 4841) ( 941, 959)
X(2269)	( 1, 1400) ( 2, 1999) ( 57, 226) ( 961, 2298)
X(2270)
X(2271)	( 2, 3945)
X(2272)	( 1, 2272) ( 9, 516)
X(2273)
X(2274)
X(2275)	( 1, 3501) ( 6, 1376) ( 9, 43) ( 10, 213) ( 220, 3913) ( 2238, 4154)
X(2276)	( 2, 4393) ( 6, 1001) ( 985, 2344)
X(2277)	( 6, 958)
X(2278)
X(2279)
X(2280)	( 244, 3250)
X(2281)	( 2345, 4385)
X(2282)
X(2283)	( 513, 676) ( 518, 3035) ( 522, 3716) ( 650, 926) ( 918, 4885)
X(2284)	( 513, 665) ( 514, 812) ( 1024, 1027)
X(2285)	( 9, 1697)
X(2286)
X(2287)	( 1042, 1400) ( 3125, 4017)
X(2288)
X(2289)	( 393, 1118)
X(2290)	( 1, 2290) ( 1109, 2624)
X(2291)	( 9, 5528) ( 5526, 5537)
X(2292)	( 1, 58) ( 31, 284)
X(2293)	( 1, 7) ( 2, 3870) ( 1170, 2346)
X(2294)	( 1, 284) ( 48, 58) ( 943, 2259)
X(2295)	( 1, 39) ( 256, 893) ( 1015, 1019)
X(2296)
X(2297)
X(2298)	( 1193, 2269) ( 2092, 2292)
X(2299)	( 2, 3152) ( 72, 1214) ( 226, 5930) ( 656, 4466)
X(2300)	( 2, 321) ( 8, 37) ( 75, 1909) ( 1791, 2298)
X(2301)
X(2302)
X(2303)	( 37, 4646)
X(2304)
X(2305)	( 115, 522)
X(2306)
X(2307)
X(2308)	( 1, 3219) ( 2, 10) ( 42, 3730) ( 1126, 1796)
X(2309)	( 1, 894) ( 2, 42) ( 10, 192)
X(2310)	( 1, 651) ( 57, 109) ( 59, 1262) ( 63, 100) ( 101, 1253) ( 255, 1813) ( 269, 934) ( 412, 653) ( 1020, 1254) ( 1106, 1461)
X(2311)	( 1284, 2238)
X(2312)	( 1, 2312) ( 63, 1959)
X(2313)	( 1, 2313)
X(2314)	( 1, 2314) ( 19, 1725)
X(2315)	( 1, 2315) ( 19, 1784)
X(2316)	( 44, 1319) ( 900, 4530) ( 1149, 2183) ( 1635, 1647)
X(2317)
X(2318)	( 27, 4248) ( 28, 1396) ( 34, 278) ( 57, 4306) ( 269, 1119)
X(2319)	( 1403, 2176)
X(2320)	( 1405, 2177)
X(2321)	( 6, 3915) ( 56, 604) ( 1333, 1408)
X(2322)	( 1409, 1410)
X(2323)	( 6, 5172) ( 73, 2252) ( 226, 3911) ( 1400, 1457) ( 1411, 2161) ( 1769, 2170)
X(2324)	( 1413, 1436) ( 3669, 3942)
X(2325)	( 6, 1149) ( 56, 1404)
X(2326)	( 1425, 2197)
X(2327)	( 1426, 1880) ( 2501, 3120)
X(2328)	( 65, 1427) ( 226, 4848) ( 523, 4466)
X(2329)	( 893, 1431)
X(2330)	( 11, 3004) ( 256, 1432) ( 514, 4459)
X(2331)	( 1, 282) ( 268, 1433)
X(2332)	( 1214, 1439)
X(2333)	( 63, 69) ( 1444, 1812) ( 4025, 4466)
X(2334)	( 1, 3646) ( 1449, 4512)
X(2335)
X(2336)	( 380, 1453)
X(2337)
X(2338)	( 910, 1456) ( 1458, 2272)
X(2339)
X(2340)	( 1, 3008) ( 7, 1447) ( 57, 1458) ( 105, 1462) ( 676, 1086)
X(2341)	( 1464, 2245)
X(2342)	( 515, 3911) ( 517, 1465)
X(2343)	( 1467, 2257)
X(2344)	( 1469, 2276) ( 3250, 4475)
X(2345)	( 6, 1191) ( 1245, 2281)
X(2346)	( 1475, 2293)
X(2347)	( 2, 57) ( 9, 145)
X(2348)	( 1, 2348) ( 57, 241) ( 650, 3675) ( 665, 1357)
X(2349)
X(2350)	( 3294, 4651)
X(2351)	( 24, 1993)
X(2352)	( 11, 525) ( 521, 4858)
X(2353)	( 2, 5596) ( 69, 1370) ( 1760, 4123) ( 4150, 4463)
X(2354)	( 2, 3101) ( 8, 5279) ( 10, 1766) ( 63, 306) ( 71, 78)
X(2355)	( 63, 72)
X(2356)	( 2, 3100) ( 63, 1818)
X(2357)	( 20, 63) ( 40, 329)
X(2358)
X(2359)	( 1193, 2354)
X(2360)
X(2361)	( 36, 2003) ( 65, 1465) ( 80, 2006) ( 912, 1214)
X(2362)
X(2363)
X(2364)	( 45, 2099)
X(2365)
X(2366)
X(2367)
X(2368)
X(2369)
X(2370)
X(2371)
X(2372)
X(2373)
X(2374)
X(2375)
X(2376)
X(2377)
X(2378)
X(2379)
X(2380)
X(2381)
X(2382)
X(2383)
X(2384)
X(2385)
X(2386)
X(2387)
X(2388)
X(2389)
X(2390)	( 3, 519) ( 900, 2968)
X(2391)
X(2392)
X(2393)	( 2, 23) ( 3, 524) ( 69, 5866) ( 669, 1648)
X(2394)	( 1636, 3284)
X(2395)	( 511, 3569) ( 684, 3289) ( 1692, 5027)
X(2396)	( 512, 5027)
X(2397)	( 1960, 3063)
X(2398)	( 663, 665)
X(2399)
X(2400)
X(2401)	( 2183, 3310)
X(2402)
X(2403)
X(2404)
X(2405)
X(2406)
X(2407)	( 647, 686)
X(2408)
X(2409)	( 520, 684)
X(2410)
X(2411)
X(2412)
X(2413)
X(2414)
X(2415)
X(2416)
X(2417)
X(2418)
X(2419)
X(2420)	( 523, 1637) ( 526, 647)
X(2421)	( 512, 2491) ( 523, 804) ( 878, 2422) ( 3709, 4155)
X(2422)	( 230, 804) ( 325, 2799) ( 511, 2491) ( 523, 2023)
X(2423)	( 517, 3310)
X(2424)	( 516, 676)
X(2425)	( 2804, 3239)
X(2426)	( 514, 676) ( 522, 918)
X(2427)	( 513, 3310) ( 514, 3960) ( 650, 900)
X(2428)
X(2429)
X(2430)
X(2431)
X(2432)
X(2433)	( 30, 1637) ( 526, 3003) ( 647, 974)
X(2434)
X(2435)	( 232, 2881)
X(2436)
X(2437)
X(2438)
X(2439)
X(2440)	( 918, 3693)
X(2441)	( 900, 2325)
X(2442)
X(2443)
X(2444)
X(2445)	( 2485, 2881)
X(2446)
X(2447)
X(2448)
X(2449)
X(2450)	( 184, 511)
X(2451)	( 2, 647)
X(2452)
X(2453)
X(2454)
X(2455)
X(2456)
X(2457)
X(2458)
X(2459)
X(2460)
X(2461)
X(2462)
X(2463)
X(2464)
X(2465)
X(2466)
X(2467)
X(2468)
X(2469)
X(2470)
X(2471)
X(2472)
X(2473)
X(2474)
X(2475)	( 1946, 3269)
X(2476)	( 184, 5019)
X(2477)
X(2478)
X(2479)
X(2480)
X(2481)	( 55, 2110)
X(2482)	( 6, 111)
X(2483)	( 1, 2483) ( 9, 3910) ( 514, 5750)
X(2484)	( 1, 2484)
X(2485)	( 6, 525) ( 39, 520) ( 523, 3767) ( 2528, 3051)
X(2486)	( 58, 692)
X(2487)
X(2488)	( 100, 664)
X(2489)	( 3, 3049) ( 6, 3566) ( 69, 525) ( 394, 3265) ( 647, 3917) ( 1332, 4561) ( 3926, 4143) ( 4001, 4025)
X(2490)
X(2491)	( 6, 804) ( 98, 2422) ( 99, 2421) ( 325, 525) ( 645, 874) ( 670, 880)
X(2492)	( 6, 690) ( 524, 525) ( 4576, 5468)
X(2493)	( 6, 542)
X(2494)
X(2495)
X(2496)
X(2497)
X(2498)
X(2499)
X(2500)
X(2501)	( 3, 647) ( 6, 924) ( 343, 525) ( 520, 577) ( 906, 1331) ( 3265, 3933)
X(2502)	( 2, 543)
X(2503)	( 1, 2503)
X(2504)
X(2505)
X(2506)
X(2507)
X(2508)
X(2509)	( 1, 2509) ( 6, 905)
X(2510)
X(2511)	( 1, 2511)
X(2512)
X(2513)
X(2514)	( 110, 4576)
X(2515)	( 1, 2515)
X(2516)	( 1, 2516) ( 513, 1743)
X(2517)	( 667, 5019)
X(2518)
X(2519)
X(2520)
X(2521)
X(2522)	( 1, 2522)
X(2523)
X(2524)	( 2, 2451)
X(2525)
X(2526)	( 1, 2526)
X(2527)
X(2528)	( 251, 512) ( 827, 4630)
X(2529)
X(2530)	( 100, 692) ( 650, 2330)
X(2531)	( 308, 850) ( 689, 4577)
X(2532)
X(2533)	( 58, 667) ( 512, 2653)
X(2534)
X(2535)
X(2536)
X(2537)
X(2538)
X(2539)
X(2540)
X(2541)
X(2542)
X(2543)
X(2544)
X(2545)
X(2546)
X(2547)
X(2548)	( 6, 3796)
X(2549)
X(2550)
X(2551)	( 56, 1466)
X(2552)
X(2553)
X(2554)
X(2555)
X(2556)
X(2557)
X(2558)
X(2559)
X(2560)
X(2561)
X(2562)
X(2563)
X(2564)
X(2565)
X(2566)
X(2567)
X(2568)
X(2569)
X(2570)
X(2571)
X(2572)
X(2573)
X(2574)
X(2575)
X(2576)	( 2578, 2584)
X(2577)	( 2579, 2585)
X(2578)
X(2579)
X(2580)
X(2581)
X(2582)
X(2583)
X(2584)
X(2585)
X(2586)
X(2587)
X(2588)
X(2589)
X(2590)
X(2591)
X(2592)
X(2593)
X(2594)	( 1, 5) ( 11, 3737)
X(2595)
X(2596)	( 2601, 2602)
X(2597)
X(2598)
X(2599)	( 1, 54)
X(2600)	( 1, 2600) ( 654, 2594) ( 1983, 4551)
X(2601)
X(2602)	( 2595, 2596)
X(2603)
X(2604)
X(2605)	( 1, 523) ( 514, 3946) ( 522, 1125)
X(2606)
X(2607)	( 2612, 2613)
X(2608)
X(2609)
X(2610)	( 1, 2610) ( 110, 1983) ( 2245, 2605) ( 3737, 4282)
X(2611)
X(2612)
X(2613)	( 2606, 2607)
X(2614)
X(2615)
X(2616)	( 1087, 2618)
X(2617)	( 661, 810)
X(2618)	( 1, 2616) ( 564, 2618)
X(2619)
X(2620)	( 2625, 2626)
X(2621)
X(2622)
X(2623)	( 523, 570)
X(2624)	( 1, 2624) ( 661, 1725) ( 2290, 2618)
X(2625)
X(2626)	( 2619, 2620)
X(2627)
X(2628)
X(2629)
X(2630)	( 1, 2630)
X(2631)	( 1, 2631) ( 656, 2173)
X(2632)	( 1, 162) ( 662, 1760)
X(2633)
X(2634)
X(2635)	( 1, 2635) ( 2637, 2638)
X(2636)
X(2637)	( 1, 2637) ( 652, 2635)
X(2638)
X(2639)
X(2640)
X(2641)	( 1, 2641)
X(2642)	( 1, 2642) ( 661, 896)
X(2643)	( 1, 662) ( 63, 4575) ( 99, 261) ( 110, 593) ( 162, 1748) ( 163, 560) ( 326, 4592) ( 849, 4556) ( 1098, 4612) ( 2185, 4636) ( 3882, 6042) ( 4567, 4570) ( 4585, 4736)
X(2644)
X(2645)
X(2646)	( 1, 65)
X(2647)
X(2648)
X(2649)
X(2650)	( 1, 21)
X(2651)	( 1758, 2647)
X(2652)
X(2653)
X(2654)	( 1, 73)
X(2655)	( 410, 2659) ( 851, 2658)
X(2656)
X(2657)
X(2658)	( 1, 29) ( 21, 3562)
X(2659)	( 2655, 2662)
X(2660)
X(2661)
X(2662)
X(2663)
X(2664)	( 659, 3248) ( 2238, 2667) ( 2668, 2669)
X(2665)
X(2666)
X(2667)	( 1, 86) ( 81, 1621)
X(2668)
X(2669)	( 2663, 2664)
X(2670)
X(2671)
X(2672)
X(2673)
X(2674)
X(2675)
X(2676)
X(2677)
X(2678)
X(2679)	( 98, 99)
X(2680)
X(2681)
X(2682)
X(2683)
X(2684)
X(2685)
X(2686)
X(2687)
X(2688)
X(2689)
X(2690)
X(2691)
X(2692)
X(2693)
X(2694)
X(2695)
X(2696)
X(2697)
X(2698)
X(2699)
X(2700)
X(2701)
X(2702)
X(2703)
X(2704)
X(2705)
X(2706)
X(2707)
X(2708)
X(2709)
X(2710)
X(2711)
X(2712)
X(2713)
X(2714)
X(2715)	( 684, 3569)
X(2716)
X(2717)
X(2718)
X(2719)
X(2720)
X(2721)
X(2722)
X(2723)
X(2724)
X(2725)
X(2726)
X(2727)
X(2728)
X(2729)
X(2730)
X(2731)
X(2732)
X(2733)
X(2734)
X(2735)
X(2736)
X(2737)
X(2738)
X(2739)
X(2740)
X(2741)
X(2742)
X(2743)
X(2744)
X(2745)
X(2746)
X(2747)
X(2748)
X(2749)
X(2750)
X(2751)
X(2752)
X(2753)
X(2754)
X(2755)
X(2756)
X(2757)
X(2758)
X(2759)
X(2760)
X(2761)
X(2762)
X(2763)
X(2764)
X(2765)
X(2766)
X(2767)
X(2768)
X(2769)
X(2770)
X(2771)
X(2772)
X(2773)
X(2774)
X(2775)
X(2776)
X(2777)	( 3, 5663)
X(2778)	( 3, 2771)
X(2779)
X(2780)
X(2781)	( 3, 542)
X(2782)
X(2783)
X(2784)
X(2785)	( 6, 5075) ( 663, 1951)
X(2786)	( 6, 5029) ( 649, 1914)
X(2787)	( 6, 5040) ( 512, 5164)
X(2788)
X(2789)
X(2790)
X(2791)
X(2792)
X(2793)	( 512, 5107)
X(2794)
X(2795)
X(2796)	( 6, 5168)
X(2797)
X(2798)
X(2799)	( 6, 3569) ( 237, 3049) ( 512, 1692) ( 523, 2450) ( 1976, 2422)
X(2800)	( 55, 2265)
X(2801)	( 55, 2246)
X(2802)
X(2803)
X(2804)	( 663, 1404)
X(2805)
X(2806)	( 513, 5137)
X(2807)
X(2808)
X(2809)
X(2810)
X(2811)
X(2812)
X(2813)
X(2814)
X(2815)
X(2816)
X(2817)
X(2818)	( 3, 952)
X(2819)
X(2820)	( 55, 2254)
X(2821)
X(2822)
X(2823)
X(2824)
X(2825)
X(2826)
X(2827)	( 44, 4162) ( 55, 1635) ( 513, 5048)
X(2828)
X(2829)
X(2830)
X(2831)
X(2832)
X(2833)
X(2834)
X(2835)
X(2836)
X(2837)
X(2838)
X(2839)
X(2840)
X(2841)
X(2842)
X(2843)
X(2844)
X(2845)
X(2846)
X(2847)
X(2848)
X(2849)	( 2182, 3900)
X(2850)
X(2851)
X(2852)
X(2853)
X(2854)
X(2855)
X(2856)
X(2857)
X(2858)
X(2859)
X(2860)
X(2861)
X(2862)
X(2863)
X(2864)
X(2865)
X(2866)
X(2867)
X(2868)
X(2869)
X(2870)
X(2871)
X(2872)
X(2873)
X(2874)
X(2875)
X(2876)
X(2877)
X(2878)
X(2879)
X(2880)
X(2881)	( 525, 1503)
X(2882)
X(2883)
X(2884)
X(2885)
X(2886)	( 6, 2175)
X(2887)	( 6, 560)
X(2888)
X(2889)
X(2890)
X(2891)
X(2892)
X(2893)
X(2894)
X(2895)	( 667, 3124)
X(2896)
X(2897)
X(2898)
X(2899)
X(2900)
X(2901)
X(2902)
X(2903)
X(2904)
X(2905)
X(2906)
X(2907)
X(2908)
X(2909)
X(2910)
X(2911)	( 905, 1086)
X(2912)
X(2913)
X(2914)	( 1263, 3471)
X(2915)	( 125, 513)
X(2916)
X(2917)
X(2918)
X(2919)
X(2920)
X(2921)
X(2922)
X(2923)
X(2924)
X(2925)
X(2926)
X(2927)
X(2928)
X(2929)
X(2930)	( 523, 5099)
X(2931)
X(2932)	( 513, 3259)
X(2933)	( 124, 513)
X(2934)
X(2935)
X(2936)	( 512, 5099)
X(2937)	( 125, 1510)
X(2938)
X(2939)	( 513, 2632)
X(2940)
X(2941)
X(2942)
X(2943)
X(2944)
X(2945)
X(2946)
X(2947)	( 513, 2638)
X(2948)	( 523, 5520)
X(2949)
X(2950)
X(2951)
X(2952)
X(2953)
X(2954)
X(2955)
X(2956)
X(2957)
X(2958)
X(2959)
X(2960)
X(2961)
X(2962)
X(2963)	( 6, 195) ( 49, 2965)
X(2964)
X(2965)	( 6, 2937) ( 2963, 3519)
X(2966)
X(2967)	( 125, 879) ( 184, 248)
X(2968)	( 184, 1415) ( 198, 692)
X(2969)	( 3, 1331) ( 101, 3190) ( 184, 906) ( 692, 2911) ( 1260, 4587) ( 3690, 4574)
X(2970)	( 571, 1576)
X(2971)	( 69, 4563) ( 110, 193) ( 184, 4558)
X(2972)	( 4, 107) ( 20, 110) ( 112, 184)
X(2973)
X(2974)
X(2975)
X(2976)
X(2977)
X(2978)	( 2, 784)
X(2979)	( 115, 669)
X(2980)
X(2981)
X(2982)	( 1, 2954)
X(2983)	( 1104, 2264)
X(2984)
X(2985)
X(2986)
X(2987)
X(2988)
X(2989)
X(2990)
X(2991)
X(2992)
X(2993)
X(2994)
X(2995)
X(2996)
X(2997)
X(2998)	( 6, 3360)
X(2999)	( 9, 1449) ( 2484, 3248)
X(3000)	( 1, 3000)
X(3001)
X(3002)	( 6, 851)
X(3003)	( 2, 323) ( 6, 30)
X(3004)	( 6, 2483) ( 692, 4557)
X(3005)	( 2, 826) ( 99, 110) ( 512, 1194) ( 523, 3589) ( 1176, 4580) ( 4027, 5027)
X(3006)
X(3007)	( 184, 902) ( 1960, 3270)
X(3008)	( 6, 672)
X(3009)	( 1, 239) ( 2, 726)
X(3010)	( 1, 5088)
X(3011)	( 6, 674)
X(3012)
X(3013)	( 1, 3013)
X(3014)
X(3015)
X(3016)
X(3017)
X(3018)	( 6, 5663)
X(3019)
X(3020)
X(3021)
X(3022)
X(3023)
X(3024)
X(3025)
X(3026)
X(3027)	( 55, 2311)
X(3028)	( 55, 2341)
X(3029)
X(3030)
X(3031)
X(3032)
X(3033)
X(3034)
X(3035)	( 6, 3271)
X(3036)
X(3037)
X(3038)
X(3039)	( 6, 1357)
X(3040)
X(3041)
X(3042)
X(3043)
X(3044)
X(3045)
X(3046)
X(3047)
X(3048)
X(3049)	( 2, 850) ( 4, 2489) ( 76, 3267) ( 99, 648) ( 343, 3265) ( 427, 2501) ( 523, 5254) ( 647, 1899)
X(3050)	( 39, 523) ( 216, 525)
X(3051)	( 2, 76) ( 83, 1799)
X(3052)	( 1, 3928) ( 2, 3621) ( 514, 3756) ( 522, 1086)
X(3053)	( 115, 525)
X(3054)	( 6, 576)
X(3055)	( 6, 575)
X(3056)	( 1, 1423) ( 55, 4383) ( 226, 1402)
X(3057)	( 1, 56) ( 55, 1743)
X(3058)	( 55, 4253)
X(3059)	( 56, 269) ( 57, 1617)
X(3060)
X(3061)	( 6, 1403) ( 41, 3915)
X(3062)	( 55, 1615)
X(3063)	( 2, 693) ( 7, 3669) ( 8, 4130) ( 37, 2533) ( 75, 4391) ( 190, 664) ( 226, 3676) ( 349, 3261) ( 497, 650) ( 513, 2275) ( 514, 3663) ( 1228, 3267) ( 3239, 4847)
X(3064)	( 3, 652) ( 48, 1459) ( 905, 1214)
X(3065)	( 191, 5541)
X(3066)
X(3067)
X(3068)
X(3069)
X(3070)
X(3071)
X(3072)
X(3073)
X(3074)
X(3075)
X(3076)
X(3077)
X(3078)
X(3079)
X(3080)
X(3081)
X(3082)
X(3083)
X(3084)
X(3085)
X(3086)	( 42, 3990)
X(3087)
X(3088)
X(3089)
X(3090)
X(3091)	( 184, 5065)
X(3092)
X(3093)
X(3094)	( 32, 182)
X(3095)
X(3096)
X(3097)
X(3098)
X(3099)
X(3100)	( 1, 5018) ( 65, 1456) ( 665, 3270) ( 1409, 2223)
X(3101)
X(3102)
X(3103)
X(3104)
X(3105)
X(3106)
X(3107)
X(3108)
X(3109)
X(3110)
X(3111)
X(3112)
X(3113)
X(3114)
X(3115)
X(3116)
X(3117)	( 6, 183)
X(3118)	( 251, 308)
X(3119)
X(3120)	( 21, 100) ( 42, 101) ( 58, 110) ( 163, 2206) ( 283, 4575) ( 306, 4568) ( 692, 1333) ( 1110, 1252) ( 1331, 3682) ( 2328, 5546)
X(3121)	( 6, 4436) ( 37, 4553) ( 81, 99) ( 86, 190) ( 100, 213) ( 274, 799) ( 314, 645) ( 321, 668)
X(3122)	( 1, 3882) ( 2, 4427) ( 10, 190) ( 58, 662) ( 81, 100) ( 86, 99) ( 101, 1918) ( 306, 1331) ( 314, 668) ( 332, 4592) ( 333, 643) ( 645, 1043) ( 765, 1016) ( 1332, 1792) ( 2329, 3939)
X(3123)	( 1, 3888) ( 31, 100) ( 87, 932) ( 101, 2209) ( 1016, 5383)
X(3124)	( 2, 99) ( 6, 1634) ( 32, 110) ( 69, 4558) ( 261, 4612) ( 662, 757) ( 1509, 4610) ( 2482, 5468) ( 3926, 4563) ( 4567, 4600)
X(3125)	( 21, 5546) ( 37, 100) ( 58, 101) ( 72, 906) ( 81, 662) ( 110, 1333) ( 190, 333) ( 643, 2287) ( 644, 4420) ( 692, 2205) ( 765, 1252) ( 1331, 2327) ( 1332, 3998) ( 1812, 4558)
X(3126)	( 6, 884) ( 105, 513) ( 692, 919)
X(3127)
X(3128)
X(3129)
X(3130)
X(3131)
X(3132)
X(3133)
X(3134)	( 184, 2420)
X(3135)	( 338, 924)
X(3136)	( 58, 184)
X(3137)
X(3138)
X(3139)
X(3140)
X(3141)
X(3142)	( 184, 284)
X(3143)	( 184, 5467)
X(3144)
X(3145)	( 125, 522)
X(3146)
X(3147)
X(3148)
X(3149)
X(3150)
X(3151)	( 649, 3269)
X(3152)	( 663, 3269)
X(3153)
X(3154)
X(3155)
X(3156)
X(3157)	( 1, 90)
X(3158)
X(3159)
X(3160)	( 663, 3022)
X(3161)	( 6, 3445) ( 649, 1357)
X(3162)
X(3163)	( 6, 74)
X(3164)
X(3165)
X(3166)
X(3167)	( 2, 2996) ( 2501, 5139)
X(3168)
X(3169)
X(3170)
X(3171)
X(3172)	( 2, 253)
X(3173)	( 3064, 5190)
X(3174)
X(3175)
X(3176)
X(3177)
X(3178)
X(3179)
X(3180)
X(3181)
X(3182)
X(3183)
X(3184)
X(3185)	( 123, 525) ( 513, 4858)
X(3186)
X(3187)	( 647, 1015)
X(3188)
X(3189)	( 1357, 1459)
X(3190)	( 1086, 1459)
X(3191)
X(3192)
X(3193)	( 647, 4516)
X(3194)
X(3195)	( 2, 280) ( 905, 2968)
X(3196)	( 650, 3025)
X(3197)	( 650, 3318)
X(3198)	( 64, 2184)
X(3199)	( 69, 394)
X(3200)
X(3201)
X(3202)
X(3203)
X(3204)
X(3205)
X(3206)
X(3207)	( 514, 1146) ( 918, 1566)
X(3208)
X(3209)
X(3210)	( 663, 1977)
X(3211)	( 650, 2969) ( 3064, 5521)
X(3212)	( 9, 2319)
X(3213)
X(3214)
X(3215)
X(3216)	( 661, 3248)
X(3217)
X(3218)	( 37, 44) ( 649, 2087) ( 1635, 2170)
X(3219)	( 649, 3125) ( 2170, 4979)
X(3220)	( 8, 4645) ( 10, 516) ( 71, 2340) ( 3912, 4416)
X(3221)	( 2, 669) ( 523, 5025)
X(3222)
X(3223)
X(3224)
X(3225)
X(3226)
X(3227)	( 1646, 3768)
X(3228)
X(3229)	( 2, 698) ( 6, 385) ( 192, 2238) ( 523, 2086)
X(3230)	( 2, 536) ( 513, 1646) ( 891, 1015)
X(3231)	( 2, 538) ( 512, 1645) ( 888, 1084)
X(3232)
X(3233)	( 512, 2433)
X(3234)	( 649, 2424)
X(3235)
X(3236)
X(3237)
X(3238)
X(3239)	( 6, 1459) ( 56, 649) ( 513, 2262) ( 1427, 3669)
X(3240)
X(3241)	( 1015, 4775)
X(3242)
X(3243)
X(3244)
X(3245)
X(3246)
X(3247)	( 6, 3303)
X(3248)	( 1, 190) ( 2, 3952) ( 75, 668) ( 312, 3699) ( 341, 646) ( 872, 1018) ( 1016, 4076) ( 1089, 4033) ( 2176, 4557) ( 3718, 4561) ( 4069, 4095)
X(3249)
X(3250)	( 2, 824)
X(3251)	( 1, 1022) ( 88, 513) ( 100, 3257)
X(3252)	( 239, 4366)
X(3253)
X(3254)
X(3255)
X(3256)
X(3257)
X(3258)
X(3259)	( 100, 104)
X(3260)
X(3261)	( 32, 1919) ( 213, 3063) ( 1980, 2205)
X(3262)	( 2175, 2251)
X(3263)	( 31, 2210)
X(3264)
X(3265)	( 6, 2485) ( 25, 512) ( 1974, 2489)
X(3266)
X(3267)	( 32, 3049) ( 512, 1843) ( 669, 1501) ( 2489, 3199)
X(3268)	( 512, 1495)
X(3269)	( 2, 648) ( 3, 1625) ( 4, 112) ( 6, 1624) ( 99, 315) ( 107, 393) ( 110, 577) ( 162, 2326) ( 3163, 4240)
X(3270)	( 1, 1020) ( 2, 1897) ( 3, 651) ( 4, 653) ( 7, 934) ( 100, 329) ( 108, 278) ( 1813, 3561)
X(3271)	( 2, 100) ( 7, 664) ( 8, 190) ( 12, 4552) ( 56, 651) ( 57, 4551) ( 345, 3699) ( 480, 644) ( 653, 5125) ( 765, 4564) ( 1259, 1332) ( 2295, 4557) ( 3952, 3969) ( 4585, 4996)
X(3272)
X(3273)
X(3274)
X(3275)
X(3276)
X(3277)
X(3278)
X(3279)
X(3280)
X(3281)
X(3282)
X(3283)
X(3284)	( 2, 3580) ( 4, 1990) ( 6, 186) ( 125, 1637) ( 281, 860)
X(3285)	( 10, 3943) ( 37, 758) ( 3120, 4120)
X(3286)	( 10, 740) ( 115, 4155)
X(3287)	( 1, 3287) ( 650, 3666)
X(3288)	( 512, 3117) ( 523, 3815)
X(3289)	( 4, 232)
X(3290)	( 1, 3684) ( 6, 518)
X(3291)	( 6, 524) ( 525, 1648)
X(3292)	( 4, 468)
X(3293)	( 3248, 4979)
X(3294)
X(3295)	( 1, 3338) ( 11, 4802)
X(3296)
X(3297)
X(3298)
X(3299)
X(3300)
X(3301)
X(3302)
X(3303)	( 1, 3333)
X(3304)	( 1, 1697)
X(3305)	( 2170, 4813)
X(3306)	( 2170, 4893)
X(3307)
X(3308)
X(3309)	( 1, 4905) ( 55, 513) ( 649, 2293) ( 650, 4319)
X(3310)	( 2, 3904) ( 6, 900) ( 100, 2427) ( 104, 2423) ( 190, 4585) ( 519, 3239) ( 525, 3936) ( 651, 2406)
X(3311)
X(3312)
X(3313)	( 66, 2353)
X(3314)
X(3315)	( 678, 2087)
X(3316)
X(3317)
X(3318)
X(3319)
X(3320)
X(3321)	( 55, 4845)
X(3322)
X(3323)
X(3324)
X(3325)
X(3326)
X(3327)
X(3328)	( 101, 4845)
X(3329)	( 6, 5116)
X(3330)	( 1, 3330)
X(3331)
X(3332)
X(3333)	( 55, 2256)
X(3334)
X(3335)
X(3336)
X(3337)
X(3338)
X(3339)
X(3340)
X(3341)
X(3342)
X(3343)
X(3344)
X(3345)
X(3346)
X(3347)
X(3348)
X(3349)
X(3350)
X(3351)
X(3352)
X(3353)
X(3354)
X(3355)
X(3356)
X(3357)
X(3358)
X(3359)
X(3360)
X(3361)
X(3362)
X(3363)
X(3364)
X(3365)
X(3366)
X(3367)
X(3368)
X(3369)
X(3370)
X(3371)
X(3372)
X(3373)
X(3374)
X(3375)
X(3376)
X(3377)
X(3378)
X(3379)
X(3380)
X(3381)
X(3382)
X(3383)
X(3384)
X(3385)
X(3386)
X(3387)
X(3388)
X(3389)
X(3390)
X(3391)
X(3392)
X(3393)
X(3394)
X(3395)
X(3396)
X(3397)
X(3398)
X(3399)
X(3400)
X(3401)
X(3402)
X(3403)
X(3404)	( 1755, 1959)
X(3405)	( 38, 2236)
X(3406)
X(3407)
X(3408)
X(3409)
X(3410)
X(3411)
X(3412)
X(3413)
X(3414)
X(3415)
X(3416)
X(3417)
X(3418)
X(3419)
X(3420)
X(3421)
X(3422)
X(3423)
X(3424)
X(3425)
X(3426)
X(3427)
X(3428)
X(3429)
X(3430)
X(3431)
X(3432)	( 195, 2917)
X(3433)
X(3434)
X(3435)
X(3436)
X(3437)	( 1654, 3151)
X(3438)
X(3439)
X(3440)
X(3441)
X(3442)
X(3443)
X(3444)
X(3445)	( 1, 2136) ( 1743, 3158) ( 3667, 3756) ( 3950, 4849) ( 4162, 4534) ( 4404, 4939) ( 4521, 4953)
X(3446)
X(3447)
X(3448)
X(3449)
X(3450)
X(3451)
X(3452)	( 6, 604) ( 41, 3052)
X(3453)
X(3454)	( 6, 2206) ( 2194, 2220)
X(3455)	( 524, 858)
X(3456)	( 69, 1369)
X(3457)
X(3458)
X(3459)
X(3460)
X(3461)
X(3462)
X(3463)
X(3464)
X(3465)	( 654, 2638)
X(3466)
X(3467)
X(3468)
X(3469)
X(3470)
X(3471)
X(3472)
X(3473)
X(3474)	( 652, 3022)
X(3475)
X(3476)
X(3477)
X(3478)
X(3479)
X(3480)
X(3481)
X(3482)
X(3483)
X(3484)
X(3485)
X(3486)
X(3487)
X(3488)
X(3489)
X(3490)
X(3491)
X(3492)
X(3493)
X(3494)
X(3495)
X(3496)
X(3497)
X(3498)
X(3499)
X(3500)
X(3501)	( 649, 3123)
X(3502)
X(3503)
X(3504)
X(3505)
X(3506)
X(3507)	( 659, 3123)
X(3508)
X(3509)	( 659, 2170) ( 2238, 2292)
X(3510)
X(3511)	( 523, 2679)
X(3512)	( 846, 1282)
X(3513)
X(3514)
X(3515)
X(3516)
X(3517)
X(3518)
X(3519)
X(3520)
X(3521)
X(3522)
X(3523)
X(3524)
X(3525)
X(3526)
X(3527)
X(3528)
X(3529)
X(3530)
X(3531)
X(3532)
X(3533)
X(3534)
X(3535)
X(3536)
X(3537)
X(3538)
X(3539)
X(3540)
X(3541)
X(3542)
X(3543)
X(3544)
X(3545)
X(3546)
X(3547)
X(3548)
X(3549)
X(3550)	( 513, 3123)
X(3551)
X(3552)
X(3553)
X(3554)	( 1, 2324) ( 37, 3682)
X(3555)
X(3556)	( 123, 522)
X(3557)
X(3558)
X(3559)
X(3560)
X(3561)	( 2310, 2501)
X(3562)	( 647, 2310)
X(3563)
X(3564)	( 25, 232)
X(3565)	( 512, 2519)
X(3566)	( 3, 512) ( 523, 1368)
X(3567)	( 3, 1656)
X(3568)
X(3569)	( 2, 2799) ( 32, 5027) ( 98, 2395) ( 112, 2409) ( 230, 523) ( 248, 879) ( 441, 525) ( 511, 647) ( 3573, 5546)
X(3570)	( 649, 5029) ( 659, 4367)
X(3571)
X(3572)	( 239, 812) ( 659, 2238) ( 2786, 3912) ( 3684, 3716) ( 3685, 4148)
X(3573)	( 512, 665) ( 523, 3837) ( 661, 4155) ( 764, 3675) ( 812, 4369)
X(3574)	( 3, 54)
X(3575)	( 3, 5562)
X(3576)	( 1, 2093) ( 2310, 4893)
X(3577)
X(3578)
X(3579)	( 2310, 4979)
X(3580)	( 6, 50) ( 32, 1495) ( 647, 2088)
X(3581)
X(3582)
X(3583)	( 35, 36)
X(3584)
X(3585)
X(3586)
X(3587)
X(3588)
X(3589)	( 6, 39) ( 1015, 2483)
X(3590)
X(3591)
X(3592)
X(3593)
X(3594)
X(3595)
X(3596)	( 1977, 1980)
X(3597)
X(3598)
X(3599)
X(3600)
X(3601)	( 1, 3339)
X(3602)
X(3603)
X(3604)
X(3605)
X(3606)
X(3607)
X(3608)
X(3609)
X(3610)
X(3611)	( 21, 27)
X(3612)
X(3613)
X(3614)
X(3615)	( 1, 1048)
X(3616)	( 958, 3913) ( 1015, 4834)
X(3617)
X(3618)	( 6, 5013) ( 1015, 2484)
X(3619)
X(3620)	( 3124, 3804)
X(3621)
X(3622)
X(3623)
X(3624)
X(3625)
X(3626)
X(3627)
X(3628)
X(3629)	( 6, 5206)
X(3630)
X(3631)
X(3632)
X(3633)
X(3634)	( 6, 2308)
X(3635)
X(3636)
X(3637)
X(3638)
X(3639)
X(3640)
X(3641)
X(3642)
X(3643)
X(3644)
X(3645)
X(3646)
X(3647)
X(3648)
X(3649)	( 21, 3871) ( 55, 284)
X(3650)
X(3651)
X(3652)
X(3653)
X(3654)
X(3655)
X(3656)
X(3657)
X(3658)
X(3659)
X(3660)	( 1, 5537)
X(3661)
X(3662)	( 41, 2209) ( 42, 2205)
X(3663)	( 31, 55)
X(3664)	( 42, 55)
X(3665)	( 55, 2175)
X(3666)	( 1, 171) ( 6, 37) ( 55, 213)
X(3667)	( 55, 649) ( 513, 3057)
X(3668)	( 31, 154) ( 55, 212) ( 220, 1253)
X(3669)	( 1, 3309) ( 6, 4394) ( 9, 650) ( 55, 3063) ( 200, 4130) ( 220, 3900) ( 521, 1040) ( 522, 4847) ( 663, 1334) ( 1018, 4574) ( 2321, 3239) ( 4162, 4936)
X(3670)	( 31, 37)
X(3671)	( 55, 2268)
X(3672)
X(3673)	( 31, 1253) ( 228, 1918)
X(3674)	( 41, 1334) ( 55, 2330)
X(3675)	( 55, 2284) ( 100, 518) ( 692, 1914)
X(3676)	( 55, 663) ( 210, 3900) ( 220, 4105) ( 650, 1212) ( 657, 1253)
X(3677)	( 55, 1191)
X(3678)
X(3679)
X(3680)	( 56, 1616)
X(3681)	( 244, 667) ( 2170, 2520)
X(3682)	( 1, 1714) ( 34, 1118) ( 393, 1096)
X(3683)	( 1, 4641) ( 56, 2003) ( 57, 65)
X(3684)	( 1400, 1458)
X(3685)	( 65, 1463)
X(3686)	( 56, 1400) ( 604, 1399)
X(3687)	( 604, 1400)
X(3688)	( 2, 3891) ( 7, 56) ( 1086, 4367)
X(3689)	( 57, 1319)
X(3690)	( 27, 28) ( 1086, 3733)
X(3691)	( 57, 1400)
X(3692)	( 608, 1398)
X(3693)	( 6, 1279) ( 57, 1429) ( 1416, 1438)
X(3694)	( 19, 4186) ( 34, 608) ( 1407, 1435)
X(3695)	( 1474, 2203) ( 3733, 3937)
X(3696)
X(3697)
X(3698)
X(3699)
X(3700)	( 6, 2605) ( 57, 1019) ( 109, 1415) ( 905, 3666) ( 1333, 3733)
X(3701)	( 604, 1397)
X(3702)	( 604, 1402)
X(3703)	( 56, 1397)
X(3704)	( 56, 1408) ( 1333, 1397)
X(3705)
X(3706)	( 56, 1402)
X(3707)	( 56, 1405)
X(3708)	( 1, 163) ( 19, 162) ( 63, 662) ( 2185, 4556) ( 4100, 4575)
X(3709)	( 2, 4467) ( 6, 4367) ( 86, 4560) ( 514, 3664) ( 553, 3676) ( 651, 664) ( 662, 1414)
X(3710)	( 608, 1395) ( 1106, 1398)
X(3711)
X(3712)
X(3713)
X(3714)
X(3715)	( 57, 3361)
X(3716)	( 1911, 3572)
X(3717)	( 56, 1428)
X(3718)
X(3719)
X(3720)	( 1, 42) ( 9, 4097)
X(3721)	( 1, 32)
X(3722)	( 1, 244)
X(3723)	( 1, 1100) ( 6, 3746)
X(3724)	( 2, 758) ( 81, 1325) ( 3738, 4858)
X(3725)	( 1, 333) ( 75, 86) ( 81, 2975)
X(3726)	( 1, 1914)
X(3727)	( 1, 172)
X(3728)	( 31, 81)
X(3729)
X(3730)	( 4466, 4988)
X(3731)	( 6, 3304) ( 244, 4790)
X(3732)	( 647, 798) ( 649, 657)
X(3733)	( 10, 523) ( 37, 512) ( 210, 3700) ( 513, 1125) ( 514, 3739) ( 522, 960) ( 661, 756) ( 1018, 4069) ( 1089, 4086) ( 4075, 4132) ( 4557, 4574)
X(3734)
X(3735)	( 1, 609)
X(3736)	( 10, 3993)
X(3737)	( 12, 523) ( 37, 4041) ( 42, 661) ( 65, 4017) ( 73, 656) ( 513, 1193) ( 647, 3611) ( 663, 2264) ( 4557, 4559)
X(3738)	( 513, 1319) ( 661, 3724) ( 663, 2183)
X(3739)	( 6, 213)
X(3740)
X(3741)	( 6, 1918) ( 31, 172) ( 42, 2176)
X(3742)	( 2329, 3158)
X(3743)	( 81, 1963)
X(3744)	( 1, 982)
X(3745)	( 1, 3666) ( 55, 5280)
X(3746)	( 1, 3337)
X(3747)	( 2, 740) ( 244, 812) ( 291, 335)
X(3748)	( 1, 354)
X(3749)	( 244, 4449)
X(3750)
X(3751)	( 244, 4724)
X(3752)	( 1, 1376) ( 6, 9) ( 220, 3158)
X(3753)
X(3754)
X(3755)
X(3756)	( 6, 3939) ( 101, 3052) ( 1293, 3445)
X(3757)
X(3758)
X(3759)	( 1015, 3709)
X(3760)
X(3761)
X(3762)	( 649, 2183) ( 667, 2251) ( 798, 3724)
X(3763)
X(3764)
X(3765)
X(3766)	( 39, 665) ( 667, 2223) ( 875, 1911)
X(3767)	( 6, 394) ( 3051, 3313)
X(3768)	( 1, 3768) ( 649, 899)
X(3769)
X(3770)	( 667, 1084)
X(3771)
X(3772)	( 6, 219)
X(3773)
X(3774)
X(3775)
X(3776)
X(3777)	( 1, 6004) ( 513, 4906)
X(3778)
X(3779)
X(3780)	( 1015, 4040)
X(3781)
X(3782)	( 32, 55)
X(3783)	( 238, 4649) ( 4334, 5018)
X(3784)
X(3785)
X(3786)
X(3787)
X(3788)
X(3789)
X(3790)
X(3791)
X(3792)
X(3793)
X(3794)
X(3795)
X(3796)
X(3797)
X(3798)	( 71, 4079)
X(3799)	( 513, 4782)
X(3800)	( 6, 3804)
X(3801)
X(3802)
X(3803)	( 513, 612)
X(3804)	( 2, 3800) ( 523, 3763)
X(3805)
X(3806)
X(3807)
X(3808)
X(3809)
X(3810)
X(3811)	( 244, 1459)
X(3812)
X(3813)
X(3814)
X(3815)	( 6, 182)
X(3816)
X(3817)
X(3818)
X(3819)
X(3820)
X(3821)	( 31, 2276)
X(3822)	( 2194, 4273)
X(3823)
X(3824)
X(3825)
X(3826)
X(3827)	( 1, 3220) ( 3, 518)
X(3828)
X(3829)
X(3830)
X(3831)
X(3832)
X(3833)
X(3834)	( 6, 2251)
X(3835)	( 6, 1919) ( 100, 932) ( 649, 2275)
X(3836)	( 6, 2210)
X(3837)
X(3838)
X(3839)
X(3840)	( 6, 2209)
X(3841)
X(3842)
X(3843)
X(3844)
X(3845)
X(3846)
X(3847)
X(3848)
X(3849)
X(3850)
X(3851)
X(3852)	( 3, 732) ( 339, 804)
X(3853)
X(3854)
X(3855)
X(3856)
X(3857)
X(3858)
X(3859)
X(3860)
X(3861)
X(3862)
X(3863)
X(3864)
X(3865)
X(3866)
X(3867)
X(3868)	( 647, 3271) ( 1946, 2170)
X(3869)	( 667, 2170)
X(3870)	( 1, 5272) ( 244, 663) ( 1015, 2488)
X(3871)	( 1357, 4017)
X(3872)
X(3873)
X(3874)
X(3875)	( 663, 3248)
X(3876)	( 56, 5221)
X(3877)	( 56, 2099)
X(3878)
X(3879)	( 663, 3122)
X(3880)	( 56, 1319)
X(3881)
X(3882)	( 513, 4367) ( 649, 661) ( 663, 798)
X(3883)	( 56, 1469)
X(3884)
X(3885)	( 56, 1388)
X(3886)
X(3887)	( 513, 1155) ( 514, 5074)
X(3888)	( 661, 669)
X(3889)
X(3890)
X(3891)
X(3892)
X(3893)	( 56, 1420)
X(3894)
X(3895)
X(3896)
X(3897)
X(3898)
X(3899)
X(3900)	( 1, 905) ( 56, 3669) ( 57, 513) ( 109, 1461) ( 514, 946) ( 663, 1475) ( 3668, 3676)
X(3901)
X(3902)
X(3903)
X(3904)	( 649, 1404)
X(3905)
X(3906)	( 512, 5008) ( 523, 5169)
X(3907)	( 663, 1193)
X(3908)
X(3909)	( 661, 667)
X(3910)	( 1415, 4559)
X(3911)	( 6, 2183) ( 41, 2361)
X(3912)	( 6, 1914)
X(3913)	( 513, 1357)
X(3914)	( 3, 31) ( 58, 2328)
X(3915)	( 244, 522) ( 523, 3756)
X(3916)	( 19, 1824)
X(3917)	( 4, 25)
X(3918)
X(3919)
X(3920)
X(3921)
X(3922)
X(3923)
X(3924)	( 1, 78)
X(3925)	( 58, 2194)
X(3926)	( 6, 1611) ( 2489, 3124)
X(3927)	( 19, 5338)
X(3928)	( 2170, 4394)
X(3929)	( 2170, 4790)
X(3930)	( 105, 1438)
X(3931)	( 6, 968)
X(3932)	( 58, 5009)
X(3933)	( 25, 1974)
X(3934)	( 6, 3051) ( 32, 3203)
X(3935)
X(3936)	( 6, 3285)
X(3937)	( 2, 3732) ( 4, 1897) ( 8, 100) ( 25, 1783) ( 200, 1018) ( 594, 4557) ( 644, 1260) ( 3695, 3952)
X(3938)	( 1, 614)
X(3939)	( 57, 1421) ( 513, 3669) ( 514, 3667)
X(3940)
X(3941)	( 2, 4661) ( 523, 4904) ( 3900, 4858)
X(3942)	( 1, 1633) ( 9, 101) ( 19, 1783) ( 100, 3681) ( 220, 4557) ( 1018, 3949) ( 1802, 3939)
X(3943)	( 58, 3285)
X(3944)	( 48, 2209)
X(3945)	( 1, 4335)
X(3946)	( 6, 1334)
X(3947)
X(3948)	( 1911, 1922)
X(3949)	( 19, 4222) ( 28, 1474) ( 1019, 3942)
X(3950)
X(3951)
X(3952)	( 649, 667)
X(3953)
X(3954)	( 81, 1333) ( 82, 251) ( 595, 4251)
X(3955)
X(3956)
X(3957)
X(3958)	( 1, 1778) ( 19, 28)
X(3959)	( 3, 2176) ( 9, 3550)
X(3960)	( 6, 1635) ( 44, 650) ( 1018, 1023)
X(3961)	( 244, 4367)
X(3962)
X(3963)	( 31, 3051)
X(3964)
X(3965)	( 1407, 1427)
X(3966)	( 56, 1460)
X(3967)
X(3968)
X(3969)
X(3970)
X(3971)
X(3972)
X(3973)	( 244, 4394)
X(3974)
X(3975)
X(3976)
X(3977)
X(3978)	( 39, 3229) ( 1084, 2491) ( 1691, 1915)
X(3979)
X(3980)
X(3981)	( 2, 3552) ( 3, 1613)
X(3982)
X(3983)
X(3984)
X(3985)
X(3986)
X(3987)	( 31, 4268)
X(3988)
X(3989)	( 1, 2308)
X(3990)	( 1, 1713) ( 28, 5317) ( 158, 393)
X(3991)
X(3992)
X(3993)
X(3994)
X(3995)
X(3996)
X(3997)
X(3998)	( 1096, 2207)
X(3999)	( 55, 3230)
X(4000)	( 6, 220) ( 9, 3501) ( 71, 213)
X(4001)	( 25, 2333)
X(4002)
X(4003)
X(4004)
X(4005)
X(4006)	( 3942, 4979)
X(4007)
X(4008)
X(4009)
X(4010)	( 42, 5029) ( 667, 1914) ( 3286, 3733)
X(4011)
X(4012)
X(4013)
X(4014)	( 55, 100)
X(4015)
X(4016)	( 1, 1333) ( 284, 595)
X(4017)	( 1, 6003) ( 9, 4041) ( 21, 3737) ( 100, 1331) ( 644, 3939) ( 650, 3683) ( 663, 2269) ( 1021, 2328)
X(4018)
X(4019)
X(4020)	( 19, 92)
X(4021)	( 55, 2308)
X(4022)	( 1, 1918)
X(4023)
X(4024)	( 58, 649) ( 110, 163) ( 1790, 4091)
X(4025)	( 31, 663) ( 37, 2509) ( 1918, 4079)
X(4026)	( 58, 3736)
X(4027)	( 882, 3124)
X(4028)	( 1459, 3122)
X(4029)
X(4030)	( 56, 1401)
X(4031)
X(4032)
X(4033)	( 667, 1919)
X(4034)
X(4035)
X(4036)	( 163, 1576) ( 667, 1333)
X(4037)	( 58, 1914)
X(4038)
X(4039)	( 694, 1967)
X(4040)	( 42, 513) ( 650, 2293) ( 661, 2667)
X(4041)	( 57, 4017) ( 58, 1019) ( 81, 3737) ( 109, 651) ( 110, 4565) ( 4025, 4357) ( 4091, 4303)
X(4042)
X(4043)
X(4044)
X(4045)
X(4046)	( 56, 1412)
X(4047)	( 19, 4185)
X(4048)
X(4049)
X(4050)
X(4051)	( 56, 2176) ( 1743, 3550)
X(4052)
X(4053)
X(4054)
X(4055)	( 92, 5125) ( 158, 2052)
X(4056)	( 55, 1631)
X(4057)	( 10, 513) ( 121, 900) ( 141, 514) ( 512, 1213) ( 522, 1329) ( 523, 3454) ( 2885, 3667)
X(4058)
X(4059)
X(4060)
X(4061)
X(4062)	( 111, 923)
X(4063)	( 37, 649) ( 661, 4016) ( 798, 1962)
X(4064)	( 58, 1459) ( 649, 2206)
X(4065)
X(4066)
X(4067)
X(4068)
X(4069)	( 513, 4498)
X(4070)
X(4071)	( 1193, 1914)
X(4072)
X(4073)
X(4074)
X(4075)
X(4076)
X(4077)
X(4078)
X(4079)	( 58, 1919) ( 86, 514) ( 99, 662) ( 1790, 4025)
X(4080)	( 902, 2251)
X(4081)
X(4082)	( 1106, 1407)
X(4083)	( 1, 667) ( 190, 4598) ( 513, 982)
X(4084)
X(4085)
X(4086)	( 56, 3733) ( 1193, 1459) ( 1393, 4017)
X(4087)
X(4088)	( 649, 2210)
X(4089)	( 692, 902)
X(4090)
X(4091)	( 19, 3064) ( 33, 657) ( 649, 3554) ( 650, 2262) ( 1826, 4024)
X(4092)	( 56, 4565) ( 60, 4556) ( 757, 1414)
X(4093)
X(4094)
X(4095)
X(4096)
X(4097)
X(4098)
X(4099)
X(4100)
X(4101)
X(4102)
X(4103)	( 649, 4057)
X(4104)
X(4105)
X(4106)	( 55, 667) ( 982, 4905)
X(4107)
X(4108)	( 373, 512)
X(4109)
X(4110)
X(4111)	( 56, 1014)
X(4112)
X(4113)
X(4114)
X(4115)	( 649, 3733) ( 1019, 4063)
X(4116)	( 1, 3761)
X(4117)	( 1, 799) ( 561, 4602)
X(4118)	( 1, 560)
X(4119)
X(4120)	( 36, 649) ( 3285, 3733)
X(4121)
X(4122)
X(4123)
X(4124)	( 56, 2283) ( 101, 2223) ( 109, 1428)
X(4125)
X(4126)
X(4127)
X(4128)	( 1, 99) ( 662, 6043) ( 1178, 4603) ( 3570, 4154)
X(4129)	( 1919, 2308)
X(4130)
X(4131)	( 1824, 4705)
X(4132)	( 1, 3733) ( 513, 3670) ( 523, 4187) ( 667, 1100)
X(4133)
X(4134)
X(4135)
X(4136)
X(4137)	( 1, 2206)
X(4138)
X(4139)	( 21, 3733) ( 523, 4193)
X(4140)
X(4141)
X(4142)	( 652, 2330)
X(4143)	( 2207, 2489)
X(4144)
X(4145)
X(4146)
X(4147)
X(4148)
X(4149)
X(4150)
X(4151)	( 31, 3733)
X(4152)
X(4153)
X(4154)	( 3572, 4128)
X(4155)	( 662, 3573)
X(4156)
X(4157)
X(4158)
X(4159)
X(4160)
X(4161)	( 1, 1909)
X(4162)	( 1, 3669) ( 650, 4907) ( 3663, 3676)
X(4163)
X(4164)
X(4165)
X(4166)
X(4167)
X(4168)
X(4169)	( 649, 4491)
X(4170)	( 55, 3733) ( 3670, 4905)
X(4171)	( 934, 1461) ( 1014, 1019)
X(4172)
X(4173)	( 25, 264)
X(4174)
X(4175)
X(4176)
X(4177)
X(4178)
X(4179)
X(4180)
X(4181)
X(4182)
X(4183)
X(4184)	( 512, 3120)
X(4185)
X(4186)	( 521, 3937)
X(4187)	( 184, 2220)
X(4188)
X(4189)
X(4190)
X(4191)
X(4192)	( 3270, 3287)
X(4193)
X(4194)
X(4195)
X(4196)
X(4197)
X(4198)
X(4199)
X(4200)
X(4201)
X(4202)	( 31, 2273)
X(4203)
X(4204)
X(4205)	( 58, 386)
X(4206)
X(4207)
X(4208)
X(4209)
X(4210)
X(4211)
X(4212)
X(4213)
X(4214)
X(4215)
X(4216)
X(4217)
X(4218)
X(4219)	( 656, 3270)
X(4220)
X(4221)
X(4222)	( 656, 3937)
X(4223)
X(4224)
X(4225)
X(4226)	( 512, 3569)
X(4227)
X(4228)
X(4229)
X(4230)	( 511, 5972)
X(4231)
X(4232)
X(4233)
X(4234)
X(4235)
X(4236)
X(4237)
X(4238)
X(4239)
X(4240)
X(4241)
X(4242)
X(4243)
X(4244)
X(4245)
X(4246)
X(4247)
X(4248)
X(4249)
X(4250)
X(4251)	( 661, 1086)
X(4252)	( 10, 5295)
X(4253)	( 6, 4191) ( 11, 657)
X(4254)
X(4255)
X(4256)
X(4257)
X(4258)	( 7, 5226)
X(4259)
X(4260)
X(4261)	( 6, 405)
X(4262)
X(4263)	( 2, 940) ( 6, 4189)
X(4264)
X(4265)
X(4266)	( 57, 5219)
X(4267)	( 12, 65) ( 37, 181) ( 226, 4032)
X(4268)
X(4269)
X(4270)
X(4271)
X(4272)	( 1, 1213)
X(4273)	( 10, 4029) ( 37, 3753)
X(4274)	( 2, 1150) ( 6, 4216) ( 8, 45)
X(4275)
X(4276)
X(4277)
X(4278)
X(4279)
X(4280)
X(4281)
X(4282)	( 11, 2600) ( 1109, 2610) ( 2245, 2594)
X(4283)
X(4284)
X(4285)
X(4286)	( 6, 4245)
X(4287)
X(4288)	( 1826, 1869)
X(4289)
X(4290)
X(4291)
X(4292)	( 42, 198) ( 55, 71) ( 212, 2174)
X(4293)
X(4294)
X(4295)	( 3, 3295)
X(4296)
X(4297)
X(4298)	( 55, 2269)
X(4299)
X(4300)	( 1, 4292)
X(4301)
X(4302)
X(4303)	( 1, 1770) ( 10, 3811) ( 19, 42) ( 33, 1826)
X(4304)
X(4305)
X(4306)
X(4307)
X(4308)
X(4309)
X(4310)
X(4311)
X(4312)
X(4313)
X(4314)
X(4315)
X(4316)
X(4317)
X(4318)
X(4319)	( 1, 269) ( 222, 1617) ( 1042, 1439)
X(4320)	( 1191, 3556)
X(4321)
X(4322)	( 1, 962)
X(4323)
X(4324)
X(4325)
X(4326)
X(4327)
X(4328)
X(4329)	( 667, 3270)
X(4330)
X(4331)
X(4332)
X(4333)
X(4334)
X(4335)
X(4336)	( 1, 77)
X(4337)
X(4338)
X(4339)
X(4340)
X(4341)
X(4342)
X(4343)	( 1, 3664)
X(4344)
X(4345)
X(4346)
X(4347)
X(4348)
X(4349)
X(4350)	( 2310, 4105)
X(4351)
X(4352)
X(4353)
X(4354)
X(4355)
X(4356)
X(4357)	( 6, 172) ( 31, 42) ( 41, 1918)
X(4358)	( 31, 2251) ( 1015, 3310)
X(4359)	( 31, 213)
X(4360)	( 512, 3248)
X(4361)
X(4362)
X(4363)
X(4364)	( 6, 2242)
X(4365)
X(4366)	( 1015, 3572)
X(4367)	( 1, 512) ( 9, 4477) ( 513, 3742) ( 522, 3741) ( 960, 3900)
X(4368)	( 42, 292)
X(4369)	( 6, 798) ( 650, 1107) ( 657, 2269)
X(4370)	( 6, 106)
X(4371)
X(4372)
X(4373)
X(4374)	( 31, 669) ( 663, 2309)
X(4375)	( 292, 649) ( 3252, 3572)
X(4376)
X(4377)
X(4378)
X(4379)
X(4380)	( 649, 1334)
X(4381)
X(4382)	( 649, 4253)
X(4383)	( 650, 1015)
X(4384)
X(4385)
X(4386)
X(4387)
X(4388)
X(4389)	( 31, 2177)
X(4390)
X(4391)	( 31, 3063) ( 32, 667) ( 41, 1946) ( 647, 2092) ( 649, 1400)
X(4392)
X(4393)	( 1015, 3250)
X(4394)	( 1, 4394) ( 9, 513) ( 514, 3452) ( 650, 2098) ( 3900, 5574)
X(4395)
X(4396)
X(4397)
X(4398)
X(4399)
X(4400)
X(4401)	( 210, 513)
X(4402)
X(4403)
X(4404)
X(4405)
X(4406)
X(4407)
X(4408)	( 667, 3941)
X(4409)
X(4410)
X(4411)
X(4412)
X(4413)
X(4414)
X(4415)	( 284, 1333)
X(4416)
X(4417)	( 1919, 3271)
X(4418)
X(4419)
X(4420)
X(4421)	( 513, 4014)
X(4422)	( 6, 1015)
X(4423)	( 1015, 4507)
X(4424)	( 31, 2278) ( 58, 4653)
X(4425)	( 42, 172) ( 1918, 2174)
X(4426)	( 6, 5329)
X(4427)	( 512, 649) ( 513, 4132)
X(4428)
X(4429)
X(4430)
X(4431)
X(4432)
X(4433)	( 57, 1284)
X(4434)
X(4435)	( 1, 665) ( 241, 3669) ( 292, 876) ( 2283, 4559)
X(4436)	( 512, 513)
X(4437)
X(4438)
X(4439)
X(4440)
X(4441)
X(4442)	( 31, 187)
X(4443)	( 31, 750)
X(4444)	( 672, 5029) ( 2238, 4435)
X(4445)
X(4446)	( 31, 748)
X(4447)	( 659, 3271)
X(4448)
X(4449)	( 1, 663)
X(4450)
X(4451)
X(4452)
X(4453)	( 31, 1960) ( 663, 902)
X(4454)
X(4455)	( 10, 2786) ( 239, 513) ( 660, 4562)
X(4456)	( 66, 2156) ( 649, 4466)
X(4457)
X(4458)	( 31, 5029) ( 663, 1914)
X(4459)	( 101, 2330) ( 109, 1402)
X(4460)
X(4461)
X(4462)	( 41, 667) ( 649, 2347)
X(4463)	( 2156, 2353)
X(4464)
X(4465)
X(4466)	( 71, 101) ( 110, 4184) ( 112, 1474) ( 163, 284) ( 1172, 1783)
X(4467)
X(4468)	( 41, 649)
X(4469)
X(4470)
X(4471)
X(4472)
X(4473)
X(4474)
X(4475)	( 100, 984) ( 985, 1492)
X(4476)
X(4477)	( 57, 4367)
X(4478)
X(4479)
X(4480)
X(4481)
X(4482)
X(4483)
X(4484)
X(4485)
X(4486)
X(4487)
X(4488)
X(4489)
X(4490)
X(4491)	( 10, 900) ( 513, 519) ( 514, 3834) ( 522, 5123)
X(4492)
X(4493)
X(4494)
X(4495)
X(4496)
X(4497)
X(4498)	( 1, 4401) ( 9, 649) ( 37, 4394)
X(4499)
X(4500)
X(4501)
X(4502)
X(4503)
X(4504)
X(4505)
X(4506)
X(4507)
X(4508)
X(4509)
X(4510)
X(4511)	( 65, 1319) ( 3271, 3310)
X(4512)	( 57, 3340)
X(4513)	( 1015, 3669) ( 1743, 3749)
X(4514)
X(4515)	( 269, 1407)
X(4516)	( 21, 662) ( 59, 4564) ( 65, 651) ( 81, 110) ( 86, 664) ( 100, 3219) ( 109, 1412) ( 172, 692) ( 283, 1813) ( 643, 1812) ( 653, 3559) ( 1014, 1414) ( 1408, 4565)
X(4517)	( 56, 5228) ( 57, 4334)
X(4518)
X(4519)
X(4520)	( 1743, 3750)
X(4521)	( 101, 1293) ( 3669, 3752)
X(4522)
X(4523)
X(4524)	( 658, 934) ( 1414, 4637)
X(4525)
X(4526)
X(4527)
X(4528)
X(4529)
X(4530)	( 36, 101) ( 109, 1404) ( 901, 2316)
X(4531)	( 56, 85)
X(4532)
X(4533)
X(4534)	( 56, 101)
X(4535)
X(4536)
X(4537)
X(4538)
X(4539)
X(4540)
X(4541)
X(4542)	( 1318, 4638)
X(4543)
X(4544)
X(4545)
X(4546)
X(4547)
X(4548)
X(4549)
X(4550)
X(4551)	( 1, 5400) ( 513, 1459) ( 650, 663)
X(4552)	( 663, 3063)
X(4553)	( 513, 667)
X(4554)	( 798, 3049)
X(4555)
X(4556)
X(4557)	( 513, 514) ( 523, 4129) ( 1019, 3737)
X(4558)	( 6, 2079) ( 512, 2489) ( 523, 3566)
X(4559)	( 514, 905) ( 522, 650) ( 1021, 3737)
X(4560)	( 42, 3709) ( 213, 512) ( 647, 1409) ( 649, 2300) ( 661, 2171)
X(4561)
X(4562)
X(4563)	( 647, 2519)
X(4564)	( 1, 1053)
X(4565)	( 4041, 4171)
X(4566)	( 663, 1946)
X(4567)	( 2643, 3124)
X(4568)	( 649, 1919)
X(4569)
X(4570)	( 115, 2643) ( 3125, 4516)
X(4571)	( 764, 1357)
X(4572)
X(4573)
X(4574)
X(4575)
X(4576)	( 512, 669)
X(4577)
X(4578)
X(4579)	( 661, 3005)
X(4580)	( 3005, 3051)
X(4581)
X(4582)
X(4583)
X(4584)
X(4585)	( 661, 1635)
X(4586)
X(4587)
X(4588)	( 4770, 4931) ( 4814, 4893)
X(4589)
X(4590)
X(4591)
X(4592)
X(4593)
X(4594)
X(4595)	( 1015, 3249)
X(4596)
X(4597)
X(4598)	( 798, 3221)
X(4599)
X(4600)
X(4601)
X(4602)
X(4603)
X(4604)
X(4605)
X(4606)	( 4822, 4832)
X(4607)
X(4608)
X(4609)
X(4610)
X(4611)
X(4612)
X(4613)	( 788, 3250)
X(4614)
X(4615)
X(4616)
X(4617)
X(4618)
X(4619)
X(4620)
X(4621)
X(4622)
X(4623)
X(4624)
X(4625)
X(4626)
X(4627)
X(4628)
X(4629)
X(4630)	( 826, 2525)
X(4631)
X(4632)
X(4633)
X(4634)
X(4635)
X(4636)
X(4637)
X(4638)
X(4639)
X(4640)	( 1, 4650) ( 513, 4516)
X(4641)	( 650, 3125)
X(4642)	( 1, 404) ( 21, 58) ( 31, 572)
X(4643)
X(4644)
X(4645)	( 2092, 3747)
X(4646)	( 1, 474) ( 6, 4512)
X(4647)	( 31, 1333) ( 58, 595)
X(4648)	( 6, 4258)
X(4649)	( 3122, 3250)
X(4650)
X(4651)
X(4652)
X(4653)
X(4654)	( 55, 4258)
X(4655)
X(4656)	( 31, 4258)
X(4657)
X(4658)
X(4659)
X(4660)
X(4661)
X(4662)
X(4663)
X(4664)
X(4665)
X(4666)
X(4667)
X(4668)
X(4669)
X(4670)
X(4671)
X(4672)
X(4673)
X(4674)	( 44, 902)
X(4675)
X(4676)
X(4677)
X(4678)
X(4679)
X(4680)
X(4681)
X(4682)
X(4683)
X(4684)
X(4685)
X(4686)
X(4687)	( 1015, 4832)
X(4688)
X(4689)
X(4690)
X(4691)
X(4692)
X(4693)
X(4694)
X(4695)	( 31, 5053)
X(4696)
X(4697)
X(4698)
X(4699)
X(4700)
X(4701)
X(4702)
X(4703)
X(4704)
X(4705)	( 81, 513) ( 110, 662) ( 905, 1437) ( 1333, 1980) ( 1444, 4131) ( 4556, 4636)
X(4706)
X(4707)
X(4708)
X(4709)
X(4710)
X(4711)
X(4712)	( 31, 1438) ( 244, 1027)
X(4713)
X(4714)	( 31, 5035)
X(4715)
X(4716)
X(4717)
X(4718)
X(4719)
X(4720)
X(4721)
X(4722)
X(4723)
X(4724)	( 1, 4724) ( 649, 869)
X(4725)
X(4726)
X(4727)
X(4728)
X(4729)	( 21, 1019)
X(4730)	( 513, 3218) ( 901, 3257)
X(4731)
X(4732)
X(4733)
X(4734)
X(4735)
X(4736)
X(4737)
X(4738)
X(4739)
X(4740)
X(4741)
X(4742)
X(4743)
X(4744)
X(4745)
X(4746)
X(4747)
X(4748)
X(4749)	( 1, 4643)
X(4750)
X(4751)
X(4752)
X(4753)
X(4754)
X(4755)
X(4756)
X(4757)
X(4758)
X(4759)
X(4760)
X(4761)
X(4762)	( 984, 1734)
X(4763)	( 6, 3768) ( 899, 4449)
X(4764)
X(4765)	( 649, 1191)
X(4766)
X(4767)
X(4768)
X(4769)
X(4770)	( 81, 4833) ( 4588, 4604)
X(4771)
X(4772)
X(4773)
X(4774)
X(4775)	( 2, 4777) ( 513, 4850) ( 514, 551)
X(4776)
X(4777)	( 6, 4775) ( 513, 5902)
X(4778)
X(4779)
X(4780)
X(4781)	( 649, 4775)
X(4782)	( 1, 4782) ( 513, 984)
X(4783)
X(4784)	( 1, 4784) ( 512, 2276) ( 523, 3826) ( 659, 3802) ( 3739, 4762)
X(4785)	( 649, 2276)
X(4786)
X(4787)
X(4788)
X(4789)
X(4790)	( 1, 4790) ( 650, 1697)
X(4791)
X(4792)
X(4793)
X(4794)
X(4795)
X(4796)
X(4797)
X(4798)
X(4799)
X(4800)
X(4801)
X(4802)	( 6, 4834)
X(4803)
X(4804)
X(4805)
X(4806)	( 3733, 3736)
X(4807)
X(4808)
X(4809)
X(4810)
X(4811)
X(4812)
X(4813)	( 1, 4813) ( 386, 649)
X(4814)
X(4815)
X(4816)
X(4817)	( 788, 3774) ( 2276, 3250)
X(4818)
X(4819)
X(4820)
X(4821)
X(4822)	( 1019, 4658)
X(4823)
X(4824)
X(4825)	( 89, 513)
X(4826)	( 86, 4960)
X(4827)
X(4828)
X(4829)
X(4830)
X(4831)
X(4832)
X(4833)	( 37, 4770) ( 523, 3822)
X(4834)	( 2, 4802) ( 522, 5325)
X(4835)
X(4836)
X(4837)
X(4838)
X(4839)
X(4840)	( 523, 3841)
X(4841)	( 650, 6051)
X(4842)
X(4843)
X(4844)
X(4845)
X(4846)
X(4847)	( 31, 56)
X(4848)
X(4849)
X(4850)	( 6, 45)
X(4851)
X(4852)
X(4853)	( 56, 1191)
X(4854)	( 55, 58)
X(4855)
X(4856)
X(4857)
X(4858)
X(4859)
X(4860)
X(4861)
X(4862)	( 55, 3052)
X(4863)
X(4864)	( 1, 1279)
X(4865)
X(4866)
X(4867)
X(4868)
X(4869)
X(4870)
X(4871)
X(4872)
X(4873)
X(4874)	( 6, 788)
X(4875)	( 56, 213) ( 171, 1743)
X(4876)	( 1428, 1914)
X(4877)
X(4878)	( 277, 2191)
X(4879)	( 1, 4367) ( 512, 2275) ( 523, 3816)
X(4880)
X(4881)
X(4882)
X(4883)	( 1, 3750)
X(4884)
X(4885)	( 6, 3063)
X(4886)
X(4887)	( 55, 902)
X(4888)
X(4889)
X(4890)	( 55, 81)
X(4891)
X(4892)	( 6, 922)
X(4893)	( 1, 4893) ( 649, 995) ( 4588, 5549)
X(4894)
X(4895)	( 1, 3960) ( 106, 1022) ( 1319, 3669)
X(4896)	( 55, 2177)
X(4897)	( 55, 512)
X(4898)
X(4899)
X(4900)
X(4901)
X(4902)
X(4903)
X(4904)	( 101, 4253)
X(4905)	( 650, 1253)
X(4906)	( 3061, 3158)
X(4907)
X(4908)
X(4909)
X(4910)
X(4911)
X(4912)
X(4913)
X(4914)
X(4915)
X(4916)
X(4917)
X(4918)
X(4919)
X(4920)	( 55, 560)
X(4921)
X(4922)
X(4923)
X(4924)
X(4925)
X(4926)	( 513, 5903)
X(4927)	( 55, 1960)
X(4928)
X(4929)
X(4930)
X(4931)
X(4932)
X(4933)
X(4934)	( 55, 110)
X(4935)
X(4936)
X(4937)
X(4938)
X(4939)	( 604, 692)
X(4940)
X(4941)	( 55, 2162)
X(4942)
X(4943)
X(4944)
X(4945)
X(4946)
X(4947)	( 55, 1979)
X(4948)
X(4949)
X(4950)
X(4951)
X(4952)
X(4953)	( 109, 1407)
X(4954)
X(4955)
X(4956)
X(4957)
X(4958)
X(4959)
X(4960)	( 42, 4826)
X(4961)
X(4962)	( 649, 3052)
X(4963)
X(4964)
X(4965)	( 56, 4557)
X(4966)
X(4967)	( 31, 2308)
X(4968)	( 31, 2300)
X(4969)	( 1015, 4491)
X(4970)
X(4971)
X(4972)	( 31, 39)
X(4973)
X(4974)
X(4975)
X(4976)
X(4977)	( 101, 4557) ( 512, 4272) ( 513, 5045)
X(4978)
X(4979)	( 1, 4979) ( 100, 1018) ( 513, 3723) ( 661, 3743)
X(4980)
X(4981)
X(4982)
X(4983)
X(4984)
X(4985)
X(4986)
X(4987)
X(4988)
X(4989)
X(4990)
X(4991)
X(4992)
X(4993)
X(4994)
X(4995)
X(4996)
X(4997)
X(4998)
X(4999)
X(5000)
X(5001)
X(5002)
X(5003)
X(5004)
X(5005)
X(5006)
X(5007)	( 2, 141) ( 160, 3051)
X(5008)	( 2, 599) ( 1086, 4789)
X(5009)	( 756, 3930) ( 3120, 4088) ( 3948, 3963)
X(5010)
X(5011)	( 35, 5526) ( 37, 1155)
X(5012)	( 115, 3005)
X(5013)	( 6, 5020) ( 115, 3800)
X(5014)
X(5015)
X(5016)
X(5017)
X(5018)	( 2310, 4435)
X(5019)	( 2, 5739) ( 8, 2345) ( 386, 573) ( 1086, 4801)
X(5020)
X(5021)	( 2, 391)
X(5022)
X(5023)	( 115, 3566)
X(5024)	( 2, 5032)
X(5025)
X(5026)
X(5027)	( 2, 804) ( 69, 684) ( 325, 523) ( 512, 3229) ( 694, 881) ( 732, 3005) ( 1634, 2421)
X(5028)
X(5029)	( 2, 2786) ( 239, 514)
X(5030)	( 1100, 1155) ( 3746, 5526)
X(5031)
X(5032)	( 6, 5585)
X(5033)
X(5034)	( 2513, 3124)
X(5035)	( 1577, 4957)
X(5036)
X(5037)
X(5038)
X(5039)
X(5040)	( 2, 2787)
X(5041)	( 2, 3589)
X(5042)	( 2512, 3124)
X(5043)
X(5044)
X(5045)	( 1, 3746) ( 55, 1100)
X(5046)
X(5047)
X(5048)	( 1, 1319)
X(5049)
X(5050)
X(5051)	( 31, 2092)
X(5052)	( 2, 183)
X(5053)	( 661, 1647) ( 900, 2170) ( 1193, 2183)
X(5054)
X(5055)
X(5056)
X(5057)	( 42, 1055)
X(5058)
X(5059)
X(5060)
X(5061)
X(5062)
X(5063)
X(5064)	( 3, 3796)
X(5065)	( 1146, 2517)
X(5066)
X(5067)
X(5068)
X(5069)	( 6, 474)
X(5070)
X(5071)
X(5072)
X(5073)
X(5074)
X(5075)	( 2, 2785) ( 522, 1944)
X(5076)
X(5077)
X(5078)	( 11, 2787)
X(5079)
X(5080)	( 2092, 3724)
X(5081)
X(5082)
X(5083)	( 55, 2170)
X(5084)
X(5085)	( 11, 2526)
X(5086)
X(5087)
X(5088)
X(5089)	( 6, 3827)
X(5090)
X(5091)
X(5092)
X(5093)
X(5094)
X(5095)	( 3, 895)
X(5096)
X(5097)
X(5098)
X(5099)	( 110, 895)
X(5100)
X(5101)	( 3, 1473)
X(5102)
X(5103)	( 39, 1691)
X(5104)	( 115, 2793)
X(5105)
X(5106)	( 2, 5969)
X(5107)
X(5108)
X(5109)
X(5110)
X(5111)
X(5112)	( 511, 5651)
X(5113)	( 385, 523)
X(5114)
X(5115)
X(5116)
X(5117)
X(5118)
X(5119)
X(5120)
X(5121)
X(5122)
X(5123)
X(5124)	( 115, 4132)
X(5125)
X(5126)	( 1, 3245)
X(5127)
X(5128)
X(5129)
X(5130)
X(5131)
X(5132)
X(5133)
X(5134)
X(5135)
X(5136)
X(5137)
X(5138)
X(5139)	( 3167, 4558)
X(5140)
X(5141)	( 184, 5042)
X(5142)
X(5143)
X(5144)
X(5145)
X(5146)
X(5147)
X(5148)
X(5149)
X(5150)
X(5151)
X(5152)
X(5153)
X(5154)
X(5155)
X(5156)
X(5157)
X(5158)	( 6, 378)
X(5159)
X(5160)
X(5161)
X(5162)
X(5163)
X(5164)
X(5165)
X(5166)
X(5167)
X(5168)	( 2, 2796)
X(5169)	( 184, 574)
X(5170)
X(5171)
X(5172)	( 1, 5535) ( 11, 3738) ( 442, 758)
X(5173)	( 55, 1212)
X(5174)
X(5175)
X(5176)	( 902, 2347)
X(5177)
X(5178)
X(5179)
X(5180)
X(5181)
X(5182)
X(5183)	( 1, 5122)
X(5184)
X(5185)	( 3, 1565)
X(5186)
X(5187)
X(5188)
X(5189)
X(5190)
X(5191)	( 2, 542)
X(5192)
X(5193)	( 1639, 4953) ( 3900, 4530)
X(5194)
X(5195)
X(5196)
X(5197)
X(5198)
X(5199)
X(5200)
X(5201)	( 115, 888) ( 141, 538)
X(5202)
X(5203)
X(5204)	( 1, 5128) ( 11, 3667)
X(5205)
X(5206)
X(5207)
X(5208)
X(5209)
X(5210)	( 115, 1499)
X(5211)
X(5212)
X(5213)
X(5214)
X(5215)
X(5216)
X(5217)	( 11, 4778)
X(5218)
X(5219)
X(5220)
X(5221)	( 9, 4512)
X(5222)	( 1001, 1376)
X(5223)
X(5224)
X(5225)
X(5226)
X(5227)
X(5228)
X(5229)
X(5230)
X(5231)
X(5232)
X(5233)	( 604, 1405)
X(5234)
X(5235)
X(5236)
X(5237)
X(5238)
X(5239)
X(5240)
X(5241)	( 6, 5035)
X(5242)
X(5243)
X(5244)
X(5245)
X(5246)
X(5247)	( 650, 3122)
X(5248)	( 244, 834)
X(5249)	( 6, 2174) ( 31, 2200) ( 41, 42)
X(5250)
X(5251)
X(5252)
X(5253)	( 42, 2347) ( 2170, 4705)
X(5254)	( 3, 32) ( 577, 3167)
X(5255)
X(5256)	( 1, 5268)
X(5257)	( 6, 1468)
X(5258)
X(5259)	( 42, 2260)
X(5260)	( 2170, 4983)
X(5261)
X(5262)	( 1, 5293) ( 228, 2300)
X(5263)
X(5264)
X(5265)
X(5266)	( 1, 3670) ( 6, 5310)
X(5267)
X(5268)
X(5269)
X(5270)
X(5271)
X(5272)
X(5273)
X(5274)	( 604, 1253) ( 3052, 3207)
X(5275)
X(5276)	( 6, 4265) ( 661, 4475)
X(5277)	( 513, 3124)
X(5278)
X(5279)
X(5280)
X(5281)
X(5282)	( 649, 4475)
X(5283)	( 6, 940)
X(5284)	( 42, 1475)
X(5285)	( 513, 4466)
X(5286)
X(5287)
X(5288)
X(5289)
X(5290)
X(5291)	( 6, 5078)
X(5292)
X(5293)
X(5294)
X(5295)
X(5296)
X(5297)
X(5298)
X(5299)
X(5300)
X(5301)	( 525, 1086)
X(5302)
X(5303)
X(5304)
X(5305)	( 6, 3917)
X(5306)	( 6, 3098)
X(5307)
X(5308)
X(5309)
X(5310)
X(5311)	( 1, 5256)
X(5312)
X(5313)
X(5314)
X(5315)
X(5316)
X(5317)
X(5318)
X(5319)
X(5320)	( 2, 377)
X(5321)
X(5322)	( 8, 4388)
X(5323)
X(5324)	( 65, 210) ( 71, 4878) ( 181, 201)
X(5325)
X(5326)
X(5327)
X(5328)
X(5329)	( 11, 814)
X(5330)
X(5331)
X(5332)
X(5333)
X(5334)
X(5335)
X(5336)
X(5337)
X(5338)	( 63, 3984)
X(5339)
X(5340)
X(5341)
X(5342)
X(5343)
X(5344)
X(5345)
X(5346)
X(5347)
X(5348)
X(5349)
X(5350)
X(5351)
X(5352)
X(5353)
X(5354)
X(5355)
X(5356)
X(5357)
X(5358)
X(5359)
X(5360)	( 21, 239) ( 98, 1821)
X(5361)
X(5362)
X(5363)
X(5364)
X(5365)
X(5366)
X(5367)
X(5368)
X(5369)
X(5370)
X(5371)
X(5372)
X(5373)
X(5374)
X(5375)	( 6, 3446)
X(5376)
X(5377)
X(5378)
X(5379)
X(5380)	( 351, 2642)
X(5381)
X(5382)
X(5383)
X(5384)
X(5385)
X(5386)
X(5387)
X(5388)
X(5389)
X(5390)
X(5391)
X(5392)
X(5393)
X(5394)
X(5395)
X(5396)
X(5397)
X(5398)
X(5399)	( 11, 2605)
X(5400)
X(5401)
X(5402)
X(5403)
X(5404)
X(5405)
X(5406)
X(5407)
X(5408)
X(5409)
X(5410)
X(5411)
X(5412)
X(5413)
X(5414)
X(5415)
X(5416)
X(5417)
X(5418)
X(5419)
X(5420)
X(5421)	( 6, 140)
X(5422)
X(5423)
X(5424)
X(5425)
X(5426)
X(5427)
X(5428)
X(5429)
X(5430)
X(5431)
X(5432)
X(5433)
X(5434)	( 55, 4266)
X(5435)	( 657, 3271)
X(5436)
X(5437)
X(5438)
X(5439)
X(5440)	( 1, 1739) ( 34, 1875)
X(5441)
X(5442)
X(5443)	( 42, 2317)
X(5444)
X(5445)
X(5446)
X(5447)
X(5448)
X(5449)
X(5450)
X(5451)
X(5452)	( 6, 3433) ( 650, 1565) ( 665, 3323)
X(5453)
X(5454)
X(5455)
X(5456)
X(5457)
X(5458)
X(5459)
X(5460)
X(5461)
X(5462)
X(5463)
X(5464)
X(5465)
X(5466)	( 187, 351)
X(5467)	( 512, 2492) ( 523, 690) ( 524, 620)
X(5468)	( 351, 512)
X(5469)
X(5470)
X(5471)
X(5472)
X(5473)
X(5474)
X(5475)
X(5476)
X(5477)	( 111, 5968)
X(5478)
X(5479)
X(5480)	( 3, 182)
X(5481)
X(5482)
X(5483)
X(5484)
X(5485)
X(5486)
X(5487)
X(5488)
X(5489)
X(5490)
X(5491)
X(5492)
X(5493)
X(5494)
X(5495)
X(5496)
X(5497)
X(5498)
X(5499)
X(5500)
X(5501)
X(5502)	( 30, 5972)
X(5503)
X(5504)
X(5505)
X(5506)
X(5507)
X(5508)
X(5509)
X(5510)
X(5511)
X(5512)
X(5513)
X(5514)	( 109, 198) ( 222, 1461)
X(5515)
X(5516)	( 106, 1293)
X(5517)
X(5518)
X(5519)	( 105, 1292)
X(5520)
X(5521)
X(5522)
X(5523)	( 577, 3292)
X(5524)
X(5525)
X(5526)	( 1086, 1638)
X(5527)
X(5528)
X(5529)
X(5530)
X(5531)
X(5532)
X(5533)
X(5534)
X(5535)
X(5536)
X(5537)
X(5538)
X(5539)
X(5540)
X(5541)
X(5542)	( 55, 2280)
X(5543)
X(5544)
X(5545)
X(5546)	( 661, 4017)
X(5547)
X(5548)
X(5549)
X(5550)
X(5551)
X(5552)
X(5553)
X(5554)
X(5555)
X(5556)
X(5557)
X(5558)
X(5559)
X(5560)
X(5561)
X(5562)	( 4, 24) ( 25, 393)
X(5563)
X(5564)
X(5565)
X(5566)
X(5567)
X(5568)
X(5569)
X(5570)
X(5571)
X(5572)	( 55, 354)
X(5573)	( 6, 480)
X(5574)
X(5575)
X(5576)	( 184, 570)
X(5577)
X(5578)
X(5579)
X(5580)
X(5581)
X(5582)
X(5583)
X(5584)
X(5585)
X(5586)
X(5587)
X(5588)
X(5589)
X(5590)
X(5591)
X(5592)
X(5593)
X(5594)
X(5595)
X(5596)
X(5597)
X(5598)
X(5599)
X(5600)
X(5601)
X(5602)
X(5603)
X(5604)
X(5605)
X(5606)
X(5607)
X(5608)
X(5609)
X(5610)
X(5611)
X(5612)
X(5613)
X(5614)
X(5615)
X(5616)
X(5617)
X(5618)
X(5619)
X(5620)
X(5621)
X(5622)
X(5623)
X(5624)
X(5625)
X(5626)
X(5627)
X(5628)
X(5629)
X(5630)
X(5631)
X(5632)
X(5633)
X(5634)
X(5635)
X(5636)
X(5637)
X(5638)
X(5639)
X(5640)
X(5641)
X(5642)
X(5643)
X(5644)
X(5645)
X(5646)
X(5647)
X(5648)
X(5649)
X(5650)
X(5651)
X(5652)	( 512, 5106)
X(5653)
X(5654)
X(5655)
X(5656)
X(5657)
X(5658)
X(5659)
X(5660)
X(5661)	( 6, 1316)
X(5662)
X(5663)	( 55, 3013) ( 523, 3154)
X(5664)
X(5665)
X(5666)
X(5667)
X(5668)
X(5669)
X(5670)
X(5671)
X(5672)
X(5673)
X(5674)
X(5675)
X(5676)
X(5677)
X(5678)
X(5679)
X(5680)
X(5681)
X(5682)
X(5683)
X(5684)
X(5685)
X(5686)
X(5687)	( 513, 3937)
X(5688)
X(5689)
X(5690)
X(5691)
X(5692)
X(5693)
X(5694)
X(5695)
X(5696)
X(5697)
X(5698)
X(5699)
X(5700)
X(5701)	( 6, 5091)
X(5702)
X(5703)
X(5704)
X(5705)
X(5706)
X(5707)
X(5708)
X(5709)
X(5710)	( 1, 988)
X(5711)
X(5712)
X(5713)
X(5714)
X(5715)
X(5716)
X(5717)	( 73, 1466)
X(5718)	( 6, 2278)
X(5719)
X(5720)
X(5721)	( 3, 5398)
X(5722)
X(5723)
X(5724)
X(5725)
X(5726)
X(5727)
X(5728)
X(5729)
X(5730)
X(5731)
X(5732)
X(5733)
X(5734)
X(5735)
X(5736)
X(5737)
X(5738)
X(5739)
X(5740)
X(5741)
X(5742)
X(5743)	( 6, 5019)
X(5744)
X(5745)	( 6, 1400)
X(5746)
X(5747)
X(5748)
X(5749)
X(5750)	( 6, 1193)
X(5751)
X(5752)
X(5753)
X(5754)
X(5755)
X(5756)
X(5757)
X(5758)
X(5759)
X(5760)
X(5761)
X(5762)
X(5763)
X(5764)
X(5765)
X(5766)
X(5767)
X(5768)
X(5769)
X(5770)
X(5771)
X(5772)
X(5773)
X(5774)
X(5775)
X(5776)
X(5777)
X(5778)
X(5779)
X(5780)
X(5781)
X(5782)
X(5783)
X(5784)
X(5785)
X(5786)
X(5787)
X(5788)
X(5789)
X(5790)
X(5791)
X(5792)
X(5793)
X(5794)
X(5795)	( 56, 1193)
X(5796)
X(5797)
X(5798)
X(5799)
X(5800)
X(5801)
X(5802)
X(5803)
X(5804)
X(5805)
X(5806)
X(5807)
X(5808)
X(5809)
X(5810)
X(5811)
X(5812)
X(5813)
X(5814)
X(5815)
X(5816)
X(5817)
X(5818)
X(5819)
X(5820)
X(5821)
X(5822)
X(5823)
X(5824)
X(5825)
X(5826)
X(5827)
X(5828)
X(5829)
X(5830)
X(5831)
X(5832)
X(5833)
X(5834)
X(5835)
X(5836)
X(5837)	( 56, 1468)
X(5838)
X(5839)
X(5840)
X(5841)
X(5842)
X(5843)
X(5844)
X(5845)
X(5846)
X(5847)
X(5848)
X(5849)
X(5850)
X(5851)
X(5852)
X(5853)	( 56, 1458)
X(5854)
X(5855)
X(5856)
X(5857)
X(5858)
X(5859)
X(5860)
X(5861)
X(5862)
X(5863)
X(5864)
X(5865)
X(5866)
X(5867)
X(5868)
X(5869)
X(5870)
X(5871)
X(5872)
X(5873)
X(5874)
X(5875)
X(5876)
X(5877)
X(5878)
X(5879)
X(5880)
X(5881)
X(5882)
X(5883)
X(5884)
X(5885)
X(5886)
X(5887)
X(5888)
X(5889)
X(5890)	( 3, 381)
X(5891)
X(5892)
X(5893)
X(5894)
X(5895)	( 3, 64)
X(5896)
X(5897)	( 1498, 2935)
X(5898)
X(5899)
X(5900)
X(5901)
X(5902)	( 1, 5010) ( 45, 55)
X(5903)
X(5904)
X(5905)
X(5906)
X(5907)
X(5908)
X(5909)
X(5910)
X(5911)
X(5912)
X(5913)
X(5914)
X(5915)
X(5916)
X(5917)
X(5918)
X(5919)
X(5920)
X(5921)
X(5922)
X(5923)
X(5924)
X(5925)
X(5926)
X(5927)
X(5928)
X(5929)
X(5930)
X(5931)
X(5932)
X(5933)
X(5934)
X(5935)
X(5936)
X(5937)
X(5938)
X(5939)
X(5940)
X(5941)
X(5942)
X(5943)
X(5944)
X(5945)
X(5946)
X(5947)
X(5948)
X(5949)
X(5950)
X(5951)
X(5952)
X(5953)
X(5954)
X(5955)
X(5956)
X(5957)
X(5958)
X(5959)
X(5960)
X(5961)
X(5962)
X(5963)
X(5964)
X(5965)
X(5966)
X(5967)
X(5968)	( 524, 5026)
X(5969)	( 6, 5106)
X(5970)
X(5971)
X(5972)
X(5973)
X(5974)
X(5975)
X(5976)	( 6, 694)
X(5977)
X(5978)
X(5979)
X(5980)
X(5981)
X(5982)
X(5983)
X(5984)
X(5985)
X(5986)
X(5987)
X(5988)
X(5989)
X(5990)
X(5991)
X(5992)
X(5993)
X(5994)
X(5995)
X(5996)
X(5997)
X(5998)
X(5999)
X(6000)	( 3, 30) ( 55, 3330) ( 523, 1650)
X(6001)	( 3, 517) ( 55, 2182) ( 123, 2804)
X(6002)	( 55, 798) ( 649, 2269)
X(6003)	( 55, 661) ( 513, 2646)
X(6004)	( 100, 1633) ( 513, 3744)
X(6005)
X(6006)	( 513, 5919) ( 649, 2177)
X(6007)
X(6008)
X(6009)
X(6010)
X(6011)
X(6012)
X(6013)
X(6014)
X(6015)
X(6016)
X(6017)
X(6018)
X(6019)
X(6020)
X(6021)
X(6022)
X(6023)
X(6024)
X(6025)
X(6026)
X(6027)
X(6028)
X(6029)
X(6030)
X(6031)
X(6032)
X(6033)
X(6034)
X(6035)
X(6036)
X(6037)
X(6038)
X(6039)
X(6040)
X(6041)	( 523, 6034)
X(6042)
X(6043)
X(6044)
X(6045)
X(6046)
X(6047)
X(6048)
X(6049)
X(6050)	( 513, 4383)
X(6051)
X(6052)
X(6053)
X(6054)
X(6055)
X(6056)	( 278, 1118)
X(6057)	( 1408, 1412)
X(6058)
X(6059)
X(6060)
X(6061)
X(6062)
X(6063)
X(6064)
X(6065)	( 1086, 3756)
X(6066)	( 11, 4904)
X(6067)
X(6068)
X(6069)

A Certified Version of Clark Kimberling's Encyclopedia of Triangle Centers

Legend

CrossSum