ETC Conjugates.

The table shows several kinds of conjugates for triangle centers in ETC. Column headings are identified as follows:
  Column 2     Isogonal Conjugate  
  Column 3     Isotomic Conjugate  
  Column 4     Complement  
  Column 5     Anticomplement  
  Column 6     Complementary Conjugate  
  Column 7     Anticomplementary Conjugate  
  Column 8     Cyclocevian Conjugate  
  Column 9     I-Ceva Conjugate  
  Column 10     G-Ceva Conjugate  
  Column 11     H-Ceva Conjugate  

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

Compiled by Peter J C Moses, 2012/01/30.