ETC Isogonal and Isotomic Conjugates.

Last update: 2018/08/11.

20770 points sampled.
  Column 2     Isogonal Conjugate of column 1.  
  Column 3     Isotomic Conjugate of column 1.  

1 2 3
  X(1)   X(1)   X(75)
  X(2)   X(6)   X(2)
  X(3)   X(4)   X(264)
  X(4)   X(3)   X(69)
  X(5)   X(54)   X(95)
  X(6)   X(2)   X(76)
  X(7)   X(55)   X(8)
  X(8)   X(56)   X(7)
  X(9)   X(57)   X(85)
  X(10)   X(58)   X(86)
  X(11)   X(59)   X(4998)
  X(12)   X(60)   X(261)
  X(13)   X(15)   X(298)
  X(14)   X(16)   X(299)
  X(15)   X(13)   X(300)
  X(16)   X(14)   X(301)
  X(17)   X(61)   X(302)
  X(18)   X(62)   X(303)
  X(19)   X(63)   X(304)
  X(20)   X(64)   X(253)
  X(21)   X(65)   X(1441)
  X(22)   X(66)   X(18018)
  X(23)   X(67)   X(18019)
  X(24)   X(68)   X(20563)
  X(25)   X(69)   X(305)
  X(26)   X(70)   X(20564)
  X(27)   X(71)   X(306)
  X(28)   X(72)   X(20336)
  X(29)   X(73)   X(307)
  X(30)   X(74)   X(1494)
  X(31)   X(75)   X(561)
  X(32)   X(76)   X(1502)
  X(33)   X(77)   X(7182)
  X(34)   X(78)   X(3718)
  X(35)   X(79)   X(20565)
  X(36)   X(80)   X(20566)
  X(37)   X(81)   X(274)
  X(38)   X(82)   X(3112)
  X(39)   X(83)   X(308)
  X(40)   X(84)   X(309)
  X(41)   X(85)   X(20567)
  X(42)   X(86)   X(310)
  X(43)   X(87)   X(6384)
  X(44)   X(88)   X(20568)
  X(45)   X(89)   X(20569)
  X(46)   X(90)   X(20570)
  X(47)   X(91)   X(20571)
  X(48)   X(92)   X(1969)
  X(49)   X(93)   X(20572)
  X(50)   X(94)   X(20573)
  X(51)   X(95)
  X(52)   X(96)
  X(53)   X(97)
  X(54)   X(5)   X(311)
  X(55)   X(7)   X(6063)
  X(56)   X(8)   X(3596)
  X(57)   X(9)   X(312)
  X(58)   X(10)   X(313)
  X(59)   X(11)
  X(60)   X(12)
  X(61)   X(17)
  X(62)   X(18)
  X(63)   X(19)   X(92)
  X(64)   X(20)   X(14615)
  X(65)   X(21)   X(314)
  X(66)   X(22)   X(315)
  X(67)   X(23)   X(316)
  X(68)   X(24)   X(317)
  X(69)   X(25)   X(4)
  X(70)   X(26)
  X(71)   X(27)
  X(72)   X(28)   X(286)
  X(73)   X(29)
  X(74)   X(30)   X(3260)
  X(75)   X(31)   X(1)
  X(76)   X(32)   X(6)
  X(77)   X(33)   X(318)
  X(78)   X(34)   X(273)
  X(79)   X(35)   X(319)
  X(80)   X(36)   X(320)
  X(81)   X(37)   X(321)
  X(82)   X(38)   X(1930)
  X(83)   X(39)   X(141)
  X(84)   X(40)   X(322)
  X(85)   X(41)   X(9)
  X(86)   X(42)   X(10)
  X(87)   X(43)   X(6376)
  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(93)   X(49)
  X(94)   X(50)   X(323)
  X(95)   X(51)   X(5)
  X(96)   X(52)
  X(97)   X(53)   X(324)
  X(98)   X(511)   X(325)
  X(99)   X(512)   X(523)
  X(100)   X(513)   X(693)
  X(101)   X(514)   X(3261)
  X(102)   X(515)
  X(103)   X(516)
  X(104)   X(517)   X(3262)
  X(105)   X(518)   X(3263)
  X(106)   X(519)   X(3264)
  X(107)   X(520)   X(3265)
  X(108)   X(521)
  X(109)   X(522)
  X(110)   X(523)   X(850)
  X(111)   X(524)   X(3266)
  X(112)   X(525)   X(3267)
  X(113)   X(10419)
  X(114)   X(2065)
  X(115)   X(249)   X(4590)
  X(116)   X(15378)
  X(117)   X(15379)
  X(118)   X(15380)
  X(119)   X(15381)
  X(120)   X(15382)
  X(121)   X(15383)
  X(122)   X(15384)
  X(123)   X(15385)
  X(124)   X(15386)
  X(125)   X(250)   X(18020)
  X(126)   X(15387)
  X(127)   X(15388)
  X(128)   X(15401)
  X(132)   X(15407)
  X(133)   X(15404)
  X(140)   X(1173)
  X(141)   X(251)   X(83)
  X(142)   X(1174)
  X(143)   X(252)
  X(144)   X(11051)   X(10405)
  X(145)   X(3445)   X(4373)
  X(147)   X(9473)
  X(148)   X(9217)
  X(149)   X(3446)   X(8047)
  X(154)   X(253)
  X(155)   X(254)
  X(158)   X(255)   X(326)
  X(159)   X(13575)
  X(162)   X(656)   X(14208)
  X(163)   X(1577)
  X(164)   X(505)
  X(165)   X(3062)
  X(171)   X(256)   X(7018)
  X(172)   X(257)
  X(173)   X(258)
  X(174)   X(259)   X(556)
  X(181)   X(261)   X(18021)
  X(182)   X(262)   X(327)
  X(183)   X(263)   X(262)
  X(184)   X(264)   X(18022)
  X(185)   X(1105)
  X(186)   X(265)   X(328)
  X(187)   X(671)   X(18023)
  X(188)   X(266)   X(4146)
  X(189)   X(198)   X(329)
  X(190)   X(649)   X(514)
  X(191)   X(267)
  X(192)   X(2162)   X(330)
  X(193)   X(8770)   X(2996)
  X(194)   X(3224)   X(2998)
  X(195)   X(3459)
  X(196)   X(268)
  X(197)   X(8048)
  X(198)   X(189)
  X(199)   X(8044)
  X(200)   X(269)   X(1088)
  X(201)   X(270)
  X(202)   X(14358)
  X(203)   X(14359)
  X(204)   X(19611)
  X(206)   X(18018)
  X(208)   X(271)
  X(209)   X(272)
  X(210)   X(1014)
  X(212)   X(273)
  X(213)   X(274)   X(6385)
  X(214)   X(1168)
  X(216)   X(275)   X(276)
  X(217)   X(276)
  X(218)   X(277)
  X(219)   X(278)   X(331)
  X(220)   X(279)
  X(221)   X(280)
  X(222)   X(281)   X(7017)
  X(223)   X(282)
  X(225)   X(283)   X(332)
  X(226)   X(284)   X(333)
  X(227)   X(285)
  X(228)   X(286)
  X(230)   X(2987)   X(8781)
  X(232)   X(287)
  X(233)   X(288)
  X(236)   X(289)
  X(237)   X(290)   X(18024)
  X(238)   X(291)   X(334)
  X(239)   X(292)   X(335)
  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(7035)
  X(248)   X(297)
  X(249)   X(115)   X(338)
  X(250)   X(125)   X(339)
  X(251)   X(141)   X(8024)
  X(252)   X(143)
  X(253)   X(154)   X(20)
  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(261)   X(181)   X(12)
  X(262)   X(182)   X(183)
  X(263)   X(183)   X(20023)
  X(264)   X(184)   X(3)
  X(265)   X(186)   X(340)
  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(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(282)   X(223)
  X(283)   X(225)
  X(284)   X(226)   X(349)
  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(298)   X(3457)   X(13)
  X(299)   X(3458)   X(14)
  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(306)   X(1474)   X(27)
  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(312)   X(604)   X(57)
  X(313)   X(2206)   X(58)
  X(314)   X(1402)   X(65)
  X(315)   X(2353)   X(66)
  X(316)   X(3455)   X(67)
  X(317)   X(2351)   X(68)
  X(318)   X(603)   X(77)
  X(319)   X(6186)   X(79)
  X(320)   X(6187)   X(80)
  X(321)   X(1333)   X(81)
  X(322)   X(2208)   X(84)
  X(323)   X(1989)   X(94)
  X(324)   X(14533)   X(97)
  X(325)   X(1976)   X(98)
  X(326)   X(1096)   X(158)
  X(327)   X(182)
  X(328)   X(186)
  X(329)   X(1436)   X(189)
  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(341)   X(1106)   X(269)
  X(342)   X(2188)   X(271)
  X(343)   X(8882)   X(275)
  X(344)   X(277)
  X(345)   X(608)   X(278)
  X(346)   X(1407)   X(279)
  X(347)   X(2192)   X(280)
  X(348)   X(607)   X(281)
  X(349)   X(284)
  X(350)   X(1911)   X(291)
  X(351)   X(892)
  X(352)   X(6094)
  X(353)   X(13377)
  X(354)   X(2346)
  X(355)   X(3417)
  X(356)   X(3605)
  X(357)   X(358)
  X(358)   X(357)
  X(359)   X(360)
  X(360)   X(359)
  X(365)   X(366)
  X(366)   X(365)   X(18297)
  X(369)   X(3232)
  X(371)   X(485)
  X(372)   X(486)
  X(373)   X(11169)
  X(376)   X(3426)
  X(378)   X(4846)
  X(381)   X(3431)
  X(382)   X(11270)
  X(384)   X(695)   X(9229)
  X(385)   X(694)   X(1916)
  X(388)   X(1036)
  X(393)   X(394)   X(3926)
  X(394)   X(393)   X(2052)
  X(395)   X(6151)
  X(396)   X(2981)
  X(399)   X(1138)
  X(401)   X(1987)   X(1972)
  X(403)   X(5504)
  X(409)   X(9399)
  X(418)   X(8795)
  X(427)   X(1176)   X(1799)
  X(429)   X(1798)
  X(441)   X(6330)
  X(442)   X(1175)
  X(450)   X(1942)
  X(452)   X(2213)
  X(459)   X(15905)
  X(468)   X(895)
  X(476)   X(526)   X(3268)
  X(477)   X(5663)
  X(479)   X(480)   X(5423)
  X(480)   X(479)
  X(484)   X(3065)
  X(485)   X(371)   X(492)
  X(486)   X(372)   X(491)
  X(487)   X(8946)
  X(488)   X(8948)
  X(491)   X(486)
  X(492)   X(8577)   X(485)
  X(493)   X(3068)
  X(494)   X(3069)
  X(497)   X(1037)   X(8817)
  X(501)   X(502)
  X(502)   X(501)
  X(505)   X(164)
  X(511)   X(98)   X(290)
  X(512)   X(99)   X(670)
  X(513)   X(100)   X(668)
  X(514)   X(101)   X(190)
  X(515)   X(102)
  X(516)   X(103)   X(18025)
  X(517)   X(104)   X(18816)
  X(518)   X(105)   X(2481)
  X(519)   X(106)   X(903)
  X(520)   X(107)   X(6528)
  X(521)   X(108)   X(18026)
  X(522)   X(109)   X(664)
  X(523)   X(110)   X(99)
  X(524)   X(111)   X(671)
  X(525)   X(112)   X(648)
  X(526)   X(476)
  X(527)   X(2291)   X(1121)
  X(528)   X(840)   X(18821)
  X(530)   X(2378)
  X(531)   X(2379)
  X(532)   X(2380)   X(11117)
  X(533)   X(2381)   X(11118)
  X(536)   X(739)   X(3227)
  X(537)   X(2382)   X(18822)
  X(538)   X(729)   X(3228)
  X(539)   X(2383)
  X(541)   X(841)
  X(542)   X(842)   X(5641)
  X(543)   X(843)   X(18823)
  X(545)   X(2384)
  X(549)   X(14483)
  X(550)   X(16835)
  X(552)   X(7064)   X(6057)
  X(553)   X(4102)
  X(554)   X(10638)
  X(555)   X(6731)
  X(556)   X(174)
  X(557)   X(7014)
  X(560)   X(561)   X(1928)
  X(561)   X(560)   X(31)
  X(566)   X(7578)
  X(567)   X(9221)
  X(571)   X(5392)
  X(572)   X(2051)
  X(573)   X(13478)
  X(574)   X(598)
  X(575)   X(7608)
  X(576)   X(7607)
  X(577)   X(2052)   X(18027)
  X(578)   X(13599)
  X(579)   X(1751)
  X(585)   X(7030)
  X(586)   X(7029)
  X(588)   X(590)
  X(589)   X(615)
  X(590)   X(588)
  X(592)   X(11272)
  X(593)   X(594)
  X(594)   X(593)   X(1509)
  X(595)   X(596)
  X(596)   X(595)   X(4360)
  X(597)   X(10302)
  X(598)   X(574)   X(599)
  X(599)   X(1383)   X(598)
  X(603)   X(318)
  X(604)   X(312)
  X(607)   X(348)
  X(608)   X(345)
  X(610)   X(2184)
  X(615)   X(589)
  X(616)   X(3440)   X(19776)
  X(617)   X(3441)   X(19777)
  X(618)   X(16459)   X(11119)
  X(619)   X(16460)   X(11120)
  X(621)   X(3438)   X(2992)
  X(622)   X(3439)   X(2993)
  X(627)   X(3489)   X(19712)
  X(628)   X(3490)   X(19713)
  X(631)   X(3527)   X(8797)
  X(633)   X(3442)
  X(634)   X(3443)
  X(643)   X(4017)   X(4077)
  X(644)   X(3669)
  X(645)   X(7180)   X(7178)
  X(646)   X(3669)
  X(647)   X(648)   X(6331)
  X(648)   X(647)   X(525)
  X(649)   X(190)   X(1978)
  X(650)   X(651)   X(4554)
  X(651)   X(650)   X(4391)
  X(652)   X(653)
  X(653)   X(652)   X(6332)
  X(654)   X(655)
  X(655)   X(654)   X(3904)
  X(656)   X(162)   X(811)
  X(657)   X(658)
  X(658)   X(657)
  X(659)   X(660)   X(4583)
  X(660)   X(659)   X(3766)
  X(661)   X(662)   X(799)
  X(662)   X(661)   X(1577)
  X(663)   X(664)   X(4572)
  X(664)   X(663)   X(522)
  X(665)   X(666)
  X(666)   X(665)   X(918)
  X(667)   X(668)   X(6386)
  X(668)   X(667)   X(513)
  X(669)   X(670)   X(4609)
  X(670)   X(669)   X(512)
  X(671)   X(187)   X(524)
  X(672)   X(673)   X(18031)
  X(673)   X(672)   X(3912)
  X(674)   X(675)
  X(675)   X(674)   X(3006)
  X(676)   X(677)
  X(677)   X(676)
  X(678)   X(679)
  X(679)   X(678)   X(4738)
  X(680)   X(681)
  X(681)   X(680)
  X(682)   X(683)
  X(683)   X(682)   X(6467)
  X(684)   X(685)
  X(685)   X(684)   X(6333)
  X(686)   X(687)
  X(687)   X(686)   X(6334)
  X(688)   X(689)
  X(689)   X(688)   X(3005)
  X(690)   X(691)   X(892)
  X(691)   X(690)
  X(692)   X(693)
  X(693)   X(692)   X(100)
  X(694)   X(385)   X(3978)
  X(695)   X(384)   X(9230)
  X(696)   X(697)   X(18824)
  X(697)   X(696)
  X(698)   X(699)   X(3225)
  X(699)   X(698)
  X(700)   X(701)
  X(701)   X(700)
  X(702)   X(703)
  X(703)   X(702)
  X(704)   X(705)
  X(705)   X(704)
  X(706)   X(707)
  X(707)   X(706)
  X(708)   X(709)
  X(709)   X(708)
  X(710)   X(711)
  X(711)   X(710)
  X(712)   X(713)   X(18825)
  X(713)   X(712)
  X(714)   X(715)   X(18826)
  X(715)   X(714)
  X(716)   X(717)
  X(717)   X(716)
  X(718)   X(719)
  X(719)   X(718)
  X(720)   X(721)
  X(721)   X(720)
  X(722)   X(723)
  X(723)   X(722)
  X(724)   X(725)
  X(725)   X(724)
  X(726)   X(727)   X(3226)
  X(727)   X(726)
  X(728)   X(738)
  X(729)   X(538)
  X(730)   X(731)
  X(731)   X(730)
  X(732)   X(733)   X(14970)
  X(733)   X(732)
  X(734)   X(735)
  X(735)   X(734)
  X(736)   X(737)
  X(737)   X(736)
  X(738)   X(728)
  X(739)   X(536)
  X(740)   X(741)   X(18827)
  X(741)   X(740)
  X(742)   X(743)
  X(743)   X(742)
  X(744)   X(745)
  X(745)   X(744)
  X(746)   X(747)
  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(753)   X(752)
  X(754)   X(755)
  X(755)   X(754)
  X(756)   X(757)   X(873)
  X(757)   X(756)   X(1089)
  X(758)   X(759)   X(14616)
  X(759)   X(758)
  X(760)   X(761)
  X(761)   X(760)
  X(762)   X(763)
  X(763)   X(762)
  X(765)   X(244)   X(1111)
  X(766)   X(767)
  X(767)   X(766)
  X(768)   X(769)
  X(769)   X(768)
  X(770)   X(771)
  X(771)   X(770)
  X(772)   X(773)
  X(773)   X(772)
  X(774)   X(775)
  X(775)   X(774)   X(17858)
  X(776)   X(777)
  X(777)   X(776)
  X(778)   X(779)
  X(779)   X(778)
  X(780)   X(781)
  X(781)   X(780)
  X(782)   X(783)   X(18828)
  X(783)   X(782)
  X(784)   X(785)
  X(785)   X(784)
  X(786)   X(787)
  X(787)   X(786)
  X(788)   X(789)
  X(789)   X(788)   X(1491)
  X(790)   X(791)
  X(791)   X(790)
  X(792)   X(793)
  X(793)   X(792)
  X(794)   X(795)
  X(795)   X(794)
  X(796)   X(797)
  X(797)   X(796)
  X(798)   X(799)   X(4602)
  X(799)   X(798)   X(661)
  X(800)   X(801)
  X(801)   X(800)   X(13567)
  X(802)   X(803)
  X(803)   X(802)
  X(804)   X(805)   X(18829)
  X(805)   X(804)   X(14295)
  X(806)   X(807)
  X(807)   X(806)
  X(808)   X(809)
  X(809)   X(808)
  X(810)   X(811)
  X(811)   X(810)   X(656)
  X(812)   X(813)   X(4562)
  X(813)   X(812)
  X(814)   X(815)
  X(815)   X(814)
  X(816)   X(817)
  X(817)   X(816)
  X(818)   X(819)
  X(819)   X(818)
  X(820)   X(821)
  X(821)   X(820)
  X(822)   X(823)
  X(823)   X(822)
  X(824)   X(825)   X(4586)
  X(825)   X(824)
  X(826)   X(827)   X(4577)
  X(827)   X(826)
  X(828)   X(829)
  X(829)   X(828)
  X(830)   X(831)
  X(831)   X(830)
  X(832)   X(833)
  X(833)   X(832)
  X(834)   X(835)
  X(835)   X(834)
  X(836)   X(837)
  X(837)   X(836)
  X(838)   X(839)
  X(839)   X(838)
  X(840)   X(528)
  X(841)   X(541)
  X(842)   X(542)
  X(843)   X(543)
  X(846)   X(13610)
  X(847)   X(1147)   X(9723)
  X(849)   X(1089)
  X(850)   X(1576)   X(110)
  X(858)   X(1177)   X(2373)
  X(869)   X(870)   X(871)
  X(870)   X(869)   X(984)
  X(871)   X(18900)   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(17941)   X(880)
  X(883)   X(884)   X(885)
  X(884)   X(883)
  X(885)   X(2283)   X(883)
  X(886)   X(887)   X(888)
  X(887)   X(886)
  X(888)   X(9150)   X(886)
  X(889)   X(890)   X(891)
  X(890)   X(889)
  X(891)   X(898)   X(889)
  X(892)   X(351)   X(690)
  X(893)   X(894)   X(1920)
  X(894)   X(893)   X(257)
  X(895)   X(468)
  X(896)   X(897)
  X(897)   X(896)   X(14210)
  X(898)   X(891)
  X(900)   X(901)   X(4555)
  X(901)   X(900)
  X(902)   X(903)
  X(903)   X(902)   X(519)
  X(904)   X(1909)
  X(905)   X(1783)   X(6335)
  X(906)   X(17924)
  X(907)   X(3800)
  X(908)   X(909)
  X(909)   X(908)
  X(912)   X(915)
  X(913)   X(914)
  X(914)   X(913)
  X(915)   X(912)
  X(916)   X(917)
  X(917)   X(916)
  X(918)   X(919)   X(666)
  X(919)   X(918)
  X(920)   X(921)
  X(921)   X(920)
  X(923)   X(14210)
  X(924)   X(925)
  X(925)   X(924)   X(6563)
  X(926)   X(927)
  X(927)   X(926)
  X(928)   X(929)
  X(929)   X(928)
  X(930)   X(1510)
  X(931)   X(8672)
  X(932)   X(4083)
  X(933)   X(6368)
  X(934)   X(3900)   X(4397)
  X(935)   X(9517)
  X(936)   X(937)
  X(937)   X(936)
  X(938)   X(939)
  X(939)   X(938)
  X(940)   X(941)
  X(941)   X(940)
  X(942)   X(943)
  X(943)   X(942)
  X(944)   X(945)
  X(945)   X(944)
  X(946)   X(947)
  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(953)   X(952)
  X(954)   X(955)
  X(955)   X(954)
  X(956)   X(957)
  X(957)   X(956)
  X(958)   X(959)
  X(959)   X(958)
  X(960)   X(961)
  X(961)   X(960)
  X(962)   X(963)
  X(963)   X(962)
  X(966)   X(967)
  X(967)   X(966)
  X(968)   X(969)
  X(969)   X(968)
  X(971)   X(972)
  X(972)   X(971)
  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(7033)
  X(983)   X(982)
  X(984)   X(985)   X(870)
  X(985)   X(984)
  X(986)   X(987)
  X(987)   X(986)
  X(988)   X(989)
  X(989)   X(988)
  X(993)   X(994)
  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(1000)   X(999)
  X(1001)   X(1002)
  X(1002)   X(1001)   X(4441)
  X(1005)   X(1242)
  X(1006)   X(1243)
  X(1007)   X(7612)
  X(1009)   X(1244)
  X(1010)   X(1245)
  X(1011)   X(1246)
  X(1014)   X(210)   X(3701)
  X(1015)   X(1016)
  X(1016)   X(1015)   X(1086)
  X(1018)   X(1019)   X(7199)
  X(1019)   X(1018)   X(4033)
  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(1030)   X(1029)
  X(1031)   X(10329)   X(2896)
  X(1032)   X(1033)   X(14361)
  X(1033)   X(1032)
  X(1034)   X(1035)   X(5932)
  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(1044)   X(7038)
  X(1045)   X(18298)
  X(1046)   X(1247)
  X(1047)   X(1248)
  X(1049)   X(1077)
  X(1054)   X(9282)
  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(1073)   X(1249)   X(15466)
  X(1075)   X(13855)
  X(1077)   X(1049)
  X(1078)   X(3613)
  X(1079)   X(7042)
  X(1081)   X(1250)
  X(1082)   X(1251)
  X(1085)   X(1028)
  X(1086)   X(1252)   X(1016)
  X(1088)   X(1253)   X(200)
  X(1089)   X(849)   X(757)
  X(1092)   X(1093)
  X(1093)   X(1092)   X(3964)
  X(1096)   X(326)
  X(1098)   X(1254)
  X(1100)   X(1255)
  X(1101)   X(1109)
  X(1102)   X(6520)
  X(1103)   X(1256)
  X(1104)   X(1257)
  X(1105)   X(185)
  X(1106)   X(341)
  X(1107)   X(1258)   X(1221)
  X(1109)   X(1101)
  X(1110)   X(1111)
  X(1111)   X(1110)   X(765)
  X(1113)   X(2574)
  X(1114)   X(2575)
  X(1117)   X(14354)
  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(1126)   X(1125)   X(1269)
  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(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(1143)   X(1274)
  X(1145)   X(10428)
  X(1146)   X(1262)   X(1275)
  X(1147)   X(847)
  X(1149)   X(1120)
  X(1151)   X(1131)
  X(1152)   X(1132)
  X(1154)   X(1141)
  X(1155)   X(1156)
  X(1156)   X(1155)
  X(1157)   X(1263)
  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(1173)   X(140)   X(1232)
  X(1174)   X(142)   X(1233)
  X(1175)   X(442)   X(1234)
  X(1176)   X(427)   X(1235)
  X(1177)   X(858)   X(1236)
  X(1178)   X(1215)   X(1237)
  X(1179)   X(1216)   X(1238)
  X(1180)   X(1239)
  X(1181)   X(1217)
  X(1185)   X(1218)
  X(1191)   X(1219)
  X(1193)   X(1220)   X(1240)
  X(1194)   X(1241)
  X(1197)   X(1221)
  X(1199)   X(14938)
  X(1201)   X(1222)
  X(1202)   X(1223)
  X(1203)   X(1224)
  X(1204)   X(18848)
  X(1209)   X(1166)
  X(1210)   X(1167)
  X(1211)   X(1169)   X(14534)
  X(1212)   X(1170)
  X(1213)   X(1171)
  X(1214)   X(1172)
  X(1215)   X(1178)
  X(1216)   X(1179)
  X(1217)   X(1181)
  X(1218)   X(1185)   X(5283)
  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(17322)
  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(10547)   X(1176)
  X(1236)   X(1177)
  X(1237)   X(1178)
  X(1238)   X(1179)
  X(1239)   X(16285)   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(10449)
  X(1247)   X(1046)
  X(1248)   X(1047)
  X(1249)   X(1073)
  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(17863)
  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(7337)   X(1118)
  X(1265)   X(1398)   X(1119)
  X(1266)   X(1120)
  X(1267)   X(1123)
  X(1268)   X(2308)   X(1125)
  X(1269)   X(1126)
  X(1270)   X(1131)
  X(1271)   X(1132)
  X(1272)   X(1138)
  X(1273)   X(1141)
  X(1274)   X(1143)
  X(1275)   X(14936)   X(1146)
  X(1276)   X(7060)
  X(1277)   X(7059)
  X(1279)   X(1280)
  X(1280)   X(1279)
  X(1282)   X(9499)
  X(1289)   X(8673)
  X(1290)   X(8674)
  X(1292)   X(3309)
  X(1293)   X(3667)
  X(1294)   X(6000)
  X(1295)   X(6001)
  X(1296)   X(1499)
  X(1297)   X(1503)
  X(1300)   X(13754)
  X(1301)   X(8057)
  X(1302)   X(8675)
  X(1304)   X(9033)
  X(1305)   X(8676)   X(20294)
  X(1308)   X(3887)
  X(1309)   X(8677)
  X(1310)   X(8678)   X(2517)
  X(1311)   X(8679)
  X(1312)   X(15460)
  X(1313)   X(15461)
  X(1316)   X(9513)
  X(1317)   X(1318)
  X(1318)   X(1317)
  X(1319)   X(1320)
  X(1320)   X(1319)
  X(1323)   X(4845)
  X(1325)   X(10693)
  X(1326)   X(11599)
  X(1327)   X(6200)
  X(1328)   X(6396)
  X(1329)   X(3450)
  X(1330)   X(3437)   X(8044)
  X(1331)   X(7649)
  X(1332)   X(6591)   X(17924)
  X(1333)   X(321)
  X(1334)   X(1434)
  X(1335)   X(1336)
  X(1336)   X(1335)   X(5391)
  X(1337)   X(3479)
  X(1338)   X(3480)
  X(1350)   X(3424)
  X(1351)   X(7612)
  X(1352)   X(3425)
  X(1357)   X(4076)
  X(1358)   X(6065)   X(4076)
  X(1365)   X(6064)
  X(1370)   X(13575)
  X(1376)   X(9309)
  X(1379)   X(3413)
  X(1380)   X(3414)
  X(1381)   X(3307)
  X(1382)   X(3308)
  X(1383)   X(599)   X(9464)
  X(1384)   X(5485)
  X(1385)   X(1389)
  X(1386)   X(1390)
  X(1387)   X(1391)
  X(1388)   X(1392)
  X(1389)   X(1385)
  X(1390)   X(1386)
  X(1391)   X(1387)
  X(1392)   X(1388)
  X(1395)   X(3718)
  X(1396)   X(3694)
  X(1397)   X(3596)
  X(1398)   X(1265)
  X(1400)   X(333)
  X(1402)   X(314)
  X(1403)   X(7155)
  X(1404)   X(4997)
  X(1407)   X(346)
  X(1408)   X(3701)
  X(1411)   X(4511)
  X(1412)   X(2321)
  X(1413)   X(7080)
  X(1414)   X(4041)   X(4086)
  X(1415)   X(4391)
  X(1416)   X(3717)
  X(1417)   X(4723)
  X(1418)   X(6605)
  X(1419)   X(19605)
  X(1420)   X(3680)
  X(1422)   X(2324)
  X(1423)   X(2319)
  X(1426)   X(1792)
  X(1427)   X(2287)
  X(1428)   X(4518)
  X(1429)   X(4876)
  X(1431)   X(7081)
  X(1432)   X(2329)   X(17787)
  X(1433)   X(7952)
  X(1434)   X(1334)   X(2321)
  X(1435)   X(3692)
  X(1436)   X(329)
  X(1438)   X(3912)
  X(1439)   X(4183)
  X(1440)   X(7074)   X(7080)
  X(1441)   X(2194)   X(21)
  X(1442)   X(7073)
  X(1444)   X(1824)
  X(1446)   X(2287)
  X(1447)   X(7077)   X(4518)
  X(1458)   X(14942)
  X(1459)   X(1897)
  X(1462)   X(3693)
  X(1463)   X(8851)
  X(1464)   X(6740)
  X(1472)   X(4385)
  X(1474)   X(306)
  X(1476)   X(3057)
  X(1477)   X(5853)
  X(1478)   X(3422)
  X(1479)   X(7163)
  X(1485)   X(11442)
  X(1486)   X(13577)
  X(1487)   X(1493)
  X(1490)   X(3345)
  X(1491)   X(1492)   X(789)
  X(1492)   X(1491)
  X(1493)   X(1487)
  X(1494)   X(1495)   X(30)
  X(1495)   X(1494)
  X(1498)   X(3346)
  X(1499)   X(1296)
  X(1500)   X(1509)
  X(1501)   X(1502)
  X(1502)   X(1501)   X(32)
  X(1503)   X(1297)
  X(1509)   X(1500)   X(594)
  X(1510)   X(930)
  X(1511)   X(5627)
  X(1565)   X(15742)
  X(1575)   X(20332)
  X(1576)   X(850)
  X(1577)   X(163)   X(662)
  X(1580)   X(1581)   X(1934)
  X(1581)   X(1580)   X(1966)
  X(1582)   X(9285)   X(9239)
  X(1585)   X(6413)   X(11090)
  X(1586)   X(6414)   X(11091)
  X(1593)   X(15740)
  X(1609)   X(6504)
  X(1611)   X(6339)
  X(1613)   X(2998)
  X(1614)   X(6662)
  X(1616)   X(6553)
  X(1617)   X(6601)
  X(1621)   X(13476)
  X(1625)   X(15412)
  X(1627)   X(6664)
  X(1631)   X(7357)
  X(1635)   X(3257)
  X(1636)   X(15459)
  X(1640)   X(5649)   X(6035)
  X(1646)   X(5381)
  X(1647)   X(9268)
  X(1652)   X(7089)
  X(1653)   X(7088)
  X(1654)   X(2248)   X(6625)
  X(1656)   X(13472)
  X(1657)   X(13452)
  X(1658)   X(16000)
  X(1659)   X(2066)
  X(1670)   X(1677)
  X(1671)   X(1676)
  X(1676)   X(1671)
  X(1677)   X(1670)
  X(1687)   X(2009)
  X(1688)   X(2010)
  X(1691)   X(1916)   X(18896)
  X(1692)   X(8781)
  X(1697)   X(7091)
  X(1707)   X(8769)
  X(1711)   X(7092)
  X(1716)   X(7093)
  X(1726)   X(7094)
  X(1733)   X(8773)
  X(1740)   X(3223)   X(18832)
  X(1743)   X(8056)
  X(1745)   X(3362)
  X(1748)   X(1820)
  X(1751)   X(579)   X(18134)
  X(1755)   X(1821)
  X(1756)   X(7095)
  X(1757)   X(1929)   X(18032)
  X(1758)   X(2648)
  X(1759)   X(7096)
  X(1760)   X(2156)
  X(1763)   X(7097)
  X(1783)   X(905)   X(15413)
  X(1785)   X(1795)
  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(8756)
  X(1798)   X(429)
  X(1799)   X(1843)   X(427)
  X(1802)   X(1847)
  X(1803)   X(1855)
  X(1804)   X(1857)
  X(1807)   X(1870)
  X(1808)   X(1874)
  X(1809)   X(1875)
  X(1811)   X(1878)
  X(1812)   X(1880)
  X(1813)   X(3064)
  X(1814)   X(5089)
  X(1815)   X(1886)
  X(1817)   X(1903)
  X(1820)   X(1748)
  X(1821)   X(1755)   X(1959)
  X(1822)   X(2588)
  X(1823)   X(2589)
  X(1824)   X(1444)
  X(1825)   X(1789)
  X(1826)   X(1790)   X(17206)
  X(1829)   X(1791)
  X(1835)   X(1793)
  X(1838)   X(1794)
  X(1839)   X(1796)
  X(1843)   X(1799)
  X(1847)   X(1802)   X(3692)
  X(1848)   X(2359)
  X(1855)   X(1803)
  X(1857)   X(1804)   X(7055)
  X(1870)   X(1807)
  X(1874)   X(1808)
  X(1875)   X(1809)
  X(1878)   X(1811)
  X(1880)   X(1812)
  X(1886)   X(1815)
  X(1895)   X(19614)   X(19611)
  X(1897)   X(1459)   X(4025)
  X(1903)   X(1817)
  X(1909)   X(904)   X(256)
  X(1910)   X(1959)
  X(1911)   X(350)   X(18891)
  X(1914)   X(335)   X(18895)
  X(1915)   X(9229)
  X(1916)   X(1691)   X(385)
  X(1917)   X(1928)
  X(1918)   X(310)
  X(1919)   X(1978)
  X(1920)   X(7104)   X(893)
  X(1921)   X(1922)   X(292)
  X(1922)   X(1921)
  X(1923)   X(18833)
  X(1924)   X(4602)
  X(1925)   X(9236)   X(9288)
  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(9278)
  X(1932)   X(9239)
  X(1933)   X(1934)
  X(1934)   X(1933)   X(1580)
  X(1935)   X(7105)
  X(1936)   X(1937)
  X(1937)   X(1936)
  X(1940)   X(7016)
  X(1941)   X(9244)
  X(1942)   X(450)
  X(1943)   X(7106)   X(7108)
  X(1944)   X(1945)   X(1952)
  X(1945)   X(1944)
  X(1946)   X(18026)
  X(1947)   X(7107)
  X(1948)   X(1949)
  X(1949)   X(1948)
  X(1950)   X(7108)
  X(1951)   X(1952)
  X(1952)   X(1951)   X(1944)
  X(1953)   X(2167)
  X(1954)   X(9251)
  X(1955)   X(1956)
  X(1956)   X(1955)
  X(1957)   X(9255)
  X(1958)   X(9258)
  X(1959)   X(1910)   X(1821)
  X(1960)   X(4555)
  X(1961)   X(9277)
  X(1963)   X(9281)
  X(1964)   X(3112)   X(18833)
  X(1965)   X(9288)   X(9285)
  X(1966)   X(1967)   X(1581)
  X(1967)   X(1966)   X(1926)
  X(1968)   X(9289)
  X(1969)   X(9247)   X(48)
  X(1970)   X(9290)
  X(1971)   X(1972)
  X(1972)   X(1971)   X(401)
  X(1973)   X(304)
  X(1974)   X(305)
  X(1975)   X(9292)   X(9307)
  X(1976)   X(325)
  X(1978)   X(1919)   X(649)
  X(1979)   X(9295)
  X(1980)   X(6386)
  X(1986)   X(12028)
  X(1987)   X(401)
  X(1988)   X(3164)
  X(1989)   X(323)   X(7799)
  X(1990)   X(14919)
  X(1992)   X(5485)
  X(1993)   X(2165)   X(5392)
  X(1994)   X(2963)   X(11140)
  X(1995)   X(5486)
  X(2003)   X(7110)
  X(2006)   X(2323)
  X(2009)   X(1687)
  X(2010)   X(1688)
  X(2030)   X(5503)
  X(2051)   X(572)   X(14829)
  X(2052)   X(577)   X(394)
  X(2053)   X(3212)
  X(2054)   X(17731)
  X(2065)   X(114)
  X(2066)   X(1659)
  X(2067)   X(14121)
  X(2071)   X(11744)
  X(2076)   X(11606)
  X(2078)   X(3254)
  X(2082)   X(7131)
  X(2084)   X(4593)
  X(2087)   X(5376)
  X(2092)   X(14534)
  X(2098)   X(18811)
  X(2099)   X(2320)
  X(2107)   X(2669)
  X(2113)   X(8301)   X(20345)
  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(2141)   X(2140)
  X(2142)   X(2143)
  X(2143)   X(2142)
  X(2148)   X(14213)
  X(2149)   X(4858)
  X(2150)   X(6358)
  X(2155)   X(18750)
  X(2156)   X(1760)   X(20641)
  X(2157)   X(16568)
  X(2159)   X(14206)
  X(2160)   X(3219)
  X(2161)   X(3218)
  X(2162)   X(192)   X(6382)
  X(2163)   X(3679)
  X(2164)   X(5905)
  X(2165)   X(1993)   X(7763)
  X(2166)   X(6149)
  X(2167)   X(1953)   X(14213)
  X(2170)   X(4564)
  X(2171)   X(2185)
  X(2173)   X(2349)
  X(2175)   X(6063)
  X(2176)   X(330)   X(6383)
  X(2178)   X(2994)
  X(2184)   X(610)   X(18750)
  X(2185)   X(2171)   X(6358)
  X(2186)   X(3403)
  X(2187)   X(309)
  X(2188)   X(342)
  X(2190)   X(18695)
  X(2191)   X(3870)
  X(2192)   X(347)
  X(2194)   X(1441)
  X(2195)   X(9436)
  X(2203)   X(20336)
  X(2204)   X(1231)
  X(2205)   X(6385)
  X(2206)   X(313)
  X(2207)   X(3926)
  X(2208)   X(322)
  X(2209)   X(6384)
  X(2210)   X(334)
  X(2212)   X(7182)
  X(2213)   X(452)
  X(2215)   X(5271)
  X(2217)   X(3869)
  X(2218)   X(3868)
  X(2221)   X(2345)
  X(2222)   X(3738)
  X(2223)   X(2481)
  X(2226)   X(4370)
  X(2248)   X(1654)
  X(2249)   X(8680)
  X(2251)   X(20568)
  X(2258)   X(10436)
  X(2259)   X(5249)
  X(2275)   X(17743)
  X(2276)   X(14621)
  X(2279)   X(4384)
  X(2283)   X(885)
  X(2285)   X(2339)
  X(2287)   X(1427)   X(1446)
  X(2291)   X(527)
  X(2292)   X(2363)
  X(2297)   X(2999)
  X(2298)   X(3666)
  X(2299)   X(307)
  X(2308)   X(1268)
  X(2310)   X(7045)
  X(2311)   X(16609)
  X(2316)   X(3911)
  X(2319)   X(1423)
  X(2320)   X(2099)
  X(2321)   X(1412)   X(1434)
  X(2323)   X(2006)
  X(2324)   X(1422)
  X(2328)   X(3668)
  X(2329)   X(1432)
  X(2330)   X(7249)
  X(2333)   X(17206)
  X(2339)   X(2285)
  X(2341)   X(18593)
  X(2344)   X(7146)
  X(2345)   X(2221)
  X(2346)   X(354)
  X(2349)   X(2173)   X(14206)
  X(2350)   X(17277)   X(18152)
  X(2351)   X(317)
  X(2352)   X(2997)
  X(2353)   X(315)
  X(2357)   X(8822)
  X(2359)   X(1848)
  X(2361)   X(18815)
  X(2363)   X(2292)   X(18697)
  X(2364)   X(5219)
  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(2374)   X(8681)
  X(2375)   X(8682)
  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(2386)   X(2366)
  X(2387)   X(2367)
  X(2388)   X(2368)
  X(2389)   X(2369)
  X(2390)   X(2370)
  X(2391)   X(2371)
  X(2392)   X(2372)
  X(2393)   X(2373)
  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(2481)   X(2223)   X(518)
  X(2482)   X(10630)
  X(2488)   X(6606)
  X(2489)   X(4563)
  X(2492)   X(17708)
  X(2501)   X(4558)   X(4563)
  X(2502)   X(18823)
  X(2517)   X(1310)
  X(2533)   X(4594)
  X(2550)   X(3423)
  X(2574)   X(1113)   X(15164)
  X(2575)   X(1114)   X(15165)
  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(2592)   X(8115)
  X(2593)   X(8116)
  X(2594)   X(3615)
  X(2595)   X(7134)
  X(2596)   X(2597)
  X(2597)   X(2596)
  X(2601)   X(7135)
  X(2602)   X(2603)
  X(2603)   X(2602)
  X(2605)   X(6742)
  X(2606)   X(7136)
  X(2607)   X(2608)
  X(2608)   X(2607)
  X(2612)   X(7137)
  X(2613)   X(2614)
  X(2614)   X(2613)
  X(2616)   X(2617)
  X(2617)   X(2616)
  X(2619)   X(9387)
  X(2620)   X(2621)
  X(2621)   X(2620)
  X(2623)   X(14570)
  X(2625)   X(9389)
  X(2626)   X(2627)
  X(2627)   X(2626)
  X(2629)   X(9390)
  X(2633)   X(9392)
  X(2636)   X(9394)
  X(2640)   X(9395)
  X(2644)   X(9396)
  X(2646)   X(17097)
  X(2647)   X(9398)
  X(2648)   X(1758)
  X(2651)   X(2652)
  X(2652)   X(2651)
  X(2655)   X(2656)
  X(2656)   X(2655)
  X(2659)   X(2660)
  X(2660)   X(2659)
  X(2663)   X(9401)
  X(2664)   X(2665)
  X(2665)   X(2664)
  X(2668)   X(9403)
  X(2669)   X(2107)
  X(2671)   X(2673)
  X(2672)   X(2674)
  X(2673)   X(2671)
  X(2674)   X(2672)
  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(2772)   X(2688)
  X(2773)   X(2689)
  X(2774)   X(2690)
  X(2775)   X(2691)
  X(2776)   X(2692)
  X(2777)   X(2693)
  X(2778)   X(2694)
  X(2779)   X(2695)
  X(2780)   X(2696)
  X(2781)   X(2697)
  X(2782)   X(2698)
  X(2783)   X(2699)
  X(2784)   X(2700)
  X(2785)   X(2701)
  X(2786)   X(2702)
  X(2787)   X(2703)
  X(2788)   X(2704)
  X(2789)   X(2705)
  X(2790)   X(2706)
  X(2791)   X(2707)
  X(2792)   X(2708)
  X(2793)   X(2709)
  X(2794)   X(2710)
  X(2795)   X(2711)
  X(2796)   X(2712)
  X(2797)   X(2713)
  X(2798)   X(2714)
  X(2799)   X(2715)   X(2966)
  X(2800)   X(2716)
  X(2801)   X(2717)
  X(2802)   X(2718)
  X(2803)   X(2719)
  X(2804)   X(2720)
  X(2805)   X(2721)
  X(2806)   X(2722)
  X(2807)   X(2723)
  X(2808)   X(2724)
  X(2809)   X(2725)
  X(2810)   X(2726)
  X(2811)   X(2727)
  X(2812)   X(2728)
  X(2813)   X(2729)
  X(2814)   X(2730)
  X(2815)   X(2731)
  X(2816)   X(2732)
  X(2817)   X(2733)
  X(2818)   X(2734)
  X(2819)   X(2735)
  X(2820)   X(2736)
  X(2821)   X(2737)
  X(2822)   X(2738)
  X(2823)   X(2739)
  X(2824)   X(2740)
  X(2825)   X(2741)
  X(2826)   X(2742)
  X(2827)   X(2743)
  X(2828)   X(2744)
  X(2829)   X(2745)
  X(2830)   X(2746)
  X(2831)   X(2747)
  X(2832)   X(2748)
  X(2833)   X(2749)
  X(2834)   X(2750)
  X(2835)   X(2751)
  X(2836)   X(2752)
  X(2837)   X(2753)
  X(2838)   X(2754)
  X(2839)   X(2755)
  X(2840)   X(2756)
  X(2841)   X(2757)
  X(2842)   X(2758)
  X(2843)   X(2759)
  X(2844)   X(2760)
  X(2845)   X(2761)
  X(2846)   X(2762)
  X(2847)   X(2763)
  X(2848)   X(2764)
  X(2849)   X(2765)
  X(2850)   X(2766)
  X(2851)   X(2767)
  X(2852)   X(2768)
  X(2853)   X(2769)
  X(2854)   X(2770)
  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(2870)   X(2856)
  X(2871)   X(2857)
  X(2872)   X(2858)
  X(2873)   X(2859)
  X(2874)   X(2860)
  X(2875)   X(2861)
  X(2876)   X(2862)
  X(2877)   X(2863)
  X(2878)   X(2864)
  X(2879)   X(2865)
  X(2880)   X(2866)
  X(2881)   X(2867)
  X(2882)   X(2868)
  X(2886)   X(3449)
  X(2888)   X(3432)
  X(2895)   X(3444)   X(1029)
  X(2896)   X(14370)   X(1031)
  X(2898)   X(15374)
  X(2899)   X(15375)
  X(2901)   X(15376)
  X(2905)   X(15377)
  X(2911)   X(15474)
  X(2914)   X(15392)
  X(2930)   X(13574)
  X(2951)   X(8917)
  X(2962)   X(2964)
  X(2963)   X(1994)   X(7769)
  X(2964)   X(2962)
  X(2965)   X(11140)
  X(2966)   X(3569)   X(2799)
  X(2979)   X(2980)
  X(2980)   X(2979)   X(7796)
  X(2981)   X(396)
  X(2985)   X(17053)   X(3782)
  X(2986)   X(3003)   X(3580)
  X(2987)   X(230)
  X(2988)   X(8607)
  X(2989)   X(8608)
  X(2990)   X(8609)
  X(2991)   X(3290)
  X(2992)   X(3129)   X(621)
  X(2993)   X(3130)   X(622)
  X(2994)   X(2178)   X(5905)
  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(2999)   X(2297)
  X(3001)   X(2367)
  X(3003)   X(2986)
  X(3004)   X(8707)
  X(3005)   X(4577)   X(689)
  X(3006)   X(675)
  X(3007)   X(2370)
  X(3009)   X(3226)
  X(3035)   X(18771)
  X(3049)   X(6331)
  X(3050)   X(11794)
  X(3051)   X(308)
  X(3052)   X(4373)
  X(3053)   X(2996)
  X(3057)   X(1476)
  X(3061)   X(7132)
  X(3062)   X(165)   X(16284)
  X(3063)   X(4554)
  X(3064)   X(1813)
  X(3065)   X(484)   X(17791)
  X(3068)   X(493)   X(5490)
  X(3069)   X(494)   X(5491)
  X(3091)   X(14528)
  X(3094)   X(3407)   X(3114)
  X(3095)   X(3406)
  X(3098)   X(14458)   X(14387)
  X(3108)   X(3589)
  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(3120)   X(4570)   X(4600)
  X(3121)   X(4601)
  X(3122)   X(4600)
  X(3124)   X(4590)
  X(3125)   X(4567)   X(4601)
  X(3129)   X(2992)
  X(3130)   X(2993)
  X(3146)   X(3532)
  X(3157)   X(7040)
  X(3158)   X(19604)
  X(3164)   X(1988)
  X(3180)   X(11121)
  X(3181)   X(11122)
  X(3182)   X(3347)
  X(3183)   X(3348)
  X(3185)   X(2995)
  X(3186)   X(3504)
  X(3190)   X(15467)
  X(3196)   X(8046)
  X(3207)   X(10405)
  X(3208)   X(7153)   X(7209)
  X(3212)   X(2053)   X(7155)
  X(3218)   X(2161)   X(18359)
  X(3219)   X(2160)
  X(3221)   X(3222)
  X(3222)   X(3221)
  X(3223)   X(1740)   X(17149)
  X(3224)   X(194)   X(6374)
  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(3230)   X(3227)
  X(3231)   X(3228)
  X(3232)   X(369)
  X(3239)   X(1461)   X(658)
  X(3248)   X(7035)
  X(3250)   X(4586)
  X(3251)   X(4618)
  X(3252)   X(6654)
  X(3254)   X(2078)
  X(3255)   X(3256)
  X(3256)   X(3255)
  X(3257)   X(1635)   X(3762)
  X(3258)   X(15395)
  X(3260)   X(74)
  X(3261)   X(101)
  X(3262)   X(104)
  X(3263)   X(105)
  X(3264)   X(106)
  X(3265)   X(107)
  X(3266)   X(111)
  X(3267)   X(112)
  X(3268)   X(14560)   X(476)
  X(3271)   X(4998)
  X(3273)   X(3604)
  X(3274)   X(3602)
  X(3275)   X(3603)
  X(3277)   X(3607)
  X(3284)   X(16080)
  X(3285)   X(4080)
  X(3286)   X(13576)
  X(3289)   X(16081)
  X(3290)   X(2991)
  X(3292)   X(17983)
  X(3295)   X(3296)
  X(3296)   X(3295)
  X(3299)   X(3300)
  X(3300)   X(3299)
  X(3301)   X(3302)
  X(3302)   X(3301)
  X(3303)   X(5558)
  X(3304)   X(7320)
  X(3307)   X(1381)
  X(3308)   X(1382)
  X(3309)   X(1292)
  X(3310)   X(13136)
  X(3311)   X(3316)
  X(3312)   X(3317)
  X(3313)   X(16277)
  X(3314)   X(18898)   X(3407)
  X(3316)   X(3311)
  X(3317)   X(3312)
  X(3333)   X(7160)
  X(3336)   X(3467)
  X(3337)   X(7161)
  X(3338)   X(7162)
  X(3341)   X(3342)
  X(3342)   X(3341)
  X(3343)   X(3344)
  X(3344)   X(3343)
  X(3345)   X(1490)
  X(3346)   X(1498)   X(6527)
  X(3347)   X(3182)
  X(3348)   X(3183)
  X(3349)   X(3350)
  X(3350)   X(3349)
  X(3351)   X(3352)
  X(3352)   X(3351)
  X(3353)   X(3354)
  X(3354)   X(3353)
  X(3355)   X(3637)
  X(3356)   X(14481)
  X(3361)   X(4866)
  X(3362)   X(1745)   X(18749)
  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(5401)
  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(3413)   X(1379)   X(6190)
  X(3414)   X(1380)   X(6189)
  X(3415)   X(3416)
  X(3416)   X(3415)
  X(3417)   X(355)
  X(3418)   X(3419)
  X(3419)   X(3418)
  X(3420)   X(3421)
  X(3421)   X(3420)
  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(13577)
  X(3435)   X(3436)
  X(3436)   X(3435)   X(8048)
  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(3446)   X(149)
  X(3447)   X(3448)
  X(3448)   X(3447)   X(13485)
  X(3449)   X(2886)
  X(3450)   X(1329)
  X(3451)   X(3452)
  X(3452)   X(3451)
  X(3453)   X(3454)
  X(3454)   X(3453)
  X(3455)   X(316)
  X(3456)   X(7768)
  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(7164)
  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(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(7165)
  X(3484)   X(8439)
  X(3489)   X(627)
  X(3490)   X(628)
  X(3494)   X(3502)
  X(3495)   X(3503)
  X(3496)   X(3497)
  X(3497)   X(3496)   X(17788)
  X(3500)   X(3501)   X(17786)
  X(3501)   X(3500)
  X(3502)   X(3494)
  X(3503)   X(3495)
  X(3504)   X(3186)
  X(3505)   X(16101)
  X(3507)   X(7166)
  X(3508)   X(7167)
  X(3509)   X(3512)
  X(3510)   X(7168)
  X(3512)   X(3509)   X(17789)
  X(3515)   X(15077)
  X(3518)   X(3519)
  X(3519)   X(3518)
  X(3520)   X(3521)
  X(3521)   X(3520)
  X(3524)   X(3531)
  X(3527)   X(631)
  X(3531)   X(3524)
  X(3532)   X(3146)
  X(3534)   X(11738)
  X(3535)   X(6415)
  X(3536)   X(6416)
  X(3542)   X(15316)
  X(3550)   X(3551)
  X(3551)   X(3550)
  X(3556)   X(7219)
  X(3557)   X(6177)
  X(3563)   X(3564)
  X(3564)   X(3563)
  X(3565)   X(3566)
  X(3566)   X(3565)
  X(3569)   X(2966)
  X(3570)   X(3572)   X(4444)
  X(3571)   X(9421)
  X(3572)   X(3570)
  X(3573)   X(876)
  X(3576)   X(3577)
  X(3577)   X(3576)
  X(3579)   X(10308)
  X(3580)   X(14910)   X(2986)
  X(3581)   X(18316)
  X(3589)   X(3108)   X(10159)
  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(13323)
  X(3601)   X(5665)
  X(3602)   X(3274)
  X(3603)   X(3275)
  X(3604)   X(3273)
  X(3605)   X(356)
  X(3607)   X(3277)
  X(3612)   X(17098)
  X(3613)   X(5012)   X(1078)
  X(3615)   X(2594)
  X(3616)   X(2334)   X(5936)
  X(3618)   X(18840)
  X(3619)   X(18841)
  X(3620)   X(5395)
  X(3637)   X(3355)
  X(3657)   X(3658)
  X(3658)   X(3657)
  X(3661)   X(14621)
  X(3662)   X(17743)
  X(3663)   X(1222)
  X(3666)   X(2298)
  X(3667)   X(1293)
  X(3668)   X(2328)   X(1043)
  X(3669)   X(644)   X(646)
  X(3672)   X(7050)   X(1219)
  X(3673)   X(7084)
  X(3675)   X(5377)
  X(3676)   X(3939)   X(3699)
  X(3679)   X(2163)
  X(3680)   X(1420)
  X(3682)   X(8747)
  X(3685)   X(7233)
  X(3692)   X(1435)   X(1847)
  X(3693)   X(1462)
  X(3694)   X(1396)
  X(3699)   X(3676)
  X(3700)   X(4565)   X(4573)
  X(3701)   X(1408)   X(1014)
  X(3709)   X(4573)
  X(3712)   X(7316)
  X(3717)   X(1416)
  X(3718)   X(1395)   X(34)
  X(3724)   X(14616)
  X(3729)   X(9315)   X(9311)
  X(3730)   X(14377)
  X(3733)   X(3952)
  X(3737)   X(4551)
  X(3738)   X(2222)
  X(3746)   X(5557)
  X(3747)   X(18827)
  X(3760)   X(749)
  X(3761)   X(751)
  X(3762)   X(3257)
  X(3766)   X(660)
  X(3768)   X(4607)
  X(3776)   X(4621)
  X(3782)   X(2985)
  X(3785)   X(8801)
  X(3796)   X(8801)
  X(3800)   X(907)
  X(3807)   X(4817)
  X(3808)   X(8684)
  X(3810)   X(8685)
  X(3830)   X(20421)
  X(3835)   X(4598)
  X(3837)   X(8709)
  X(3849)   X(6323)
  X(3868)   X(2218)   X(2997)
  X(3869)   X(2217)   X(2995)
  X(3870)   X(2191)
  X(3871)   X(20615)
  X(3880)   X(8686)
  X(3887)   X(1308)
  X(3900)   X(934)   X(4569)
  X(3903)   X(4367)   X(4374)
  X(3904)   X(655)
  X(3906)   X(11636)
  X(3910)   X(8687)   X(6648)
  X(3911)   X(2316)   X(4997)
  X(3912)   X(1438)   X(673)
  X(3926)   X(2207)   X(393)
  X(3937)   X(15742)
  X(3939)   X(3676)
  X(3948)   X(18268)
  X(3952)   X(3733)   X(7192)
  X(3961)   X(7194)
  X(3964)   X(6524)   X(1093)
  X(3977)   X(8752)   X(6336)
  X(3978)   X(9468)   X(694)
  X(3998)   X(5317)
  X(4000)   X(7123)
  X(4010)   X(4589)
  X(4017)   X(643)   X(7257)
  X(4024)   X(4556)   X(4610)
  X(4025)   X(8750)   X(1897)
  X(4033)   X(1019)
  X(4041)   X(1414)   X(4625)
  X(4057)   X(8050)
  X(4069)   X(7203)
  X(4076)   X(1357)   X(1358)
  X(4077)   X(643)
  X(4079)   X(4610)
  X(4080)   X(3285)   X(16704)
  X(4081)   X(7339)
  X(4083)   X(932)   X(18830)
  X(4086)   X(1414)
  X(4092)   X(7340)
  X(4100)   X(6521)
  X(4102)   X(553)
  X(4105)   X(4626)
  X(4110)   X(7153)
  X(4120)   X(4591)   X(4615)
  X(4130)   X(4617)
  X(4139)   X(8690)
  X(4143)   X(6529)
  X(4146)   X(188)
  X(4149)   X(7213)
  X(4160)   X(8691)
  X(4163)   X(6614)   X(4626)
  X(4171)   X(4637)   X(4635)
  X(4176)   X(6524)
  X(4183)   X(1439)
  X(4184)   X(15320)
  X(4225)   X(15232)
  X(4230)   X(879)
  X(4235)   X(10097)   X(14977)
  X(4238)   X(10099)
  X(4240)   X(14380)
  X(4251)   X(17758)
  X(4321)   X(7218)
  X(4329)   X(7169)   X(7219)
  X(4334)   X(7220)
  X(4357)   X(1220)
  X(4358)   X(9456)   X(88)
  X(4359)   X(1255)
  X(4360)   X(596)
  X(4367)   X(3903)
  X(4370)   X(2226)
  X(4373)   X(3052)   X(145)
  X(4374)   X(3903)
  X(4384)   X(2279)
  X(4385)   X(1472)
  X(4388)   X(7224)
  X(4389)   X(996)
  X(4391)   X(1415)   X(651)
  X(4397)   X(934)
  X(4417)   X(13478)
  X(4427)   X(4608)
  X(4437)   X(6185)
  X(4440)   X(6630)
  X(4441)   X(1002)
  X(4444)   X(3570)
  X(4451)   X(7176)
  X(4452)   X(6553)
  X(4455)   X(4589)
  X(4467)   X(6742)
  X(4475)   X(5384)
  X(4492)   X(17126)
  X(4511)   X(1411)   X(18815)
  X(4518)   X(1428)   X(1447)
  X(4524)   X(4616)
  X(4551)   X(3737)   X(18155)
  X(4552)   X(7252)   X(4560)
  X(4553)   X(18108)
  X(4554)   X(3063)   X(650)
  X(4555)   X(1960)   X(900)
  X(4556)   X(4024)
  X(4557)   X(7192)
  X(4558)   X(2501)   X(14618)
  X(4559)   X(4560)
  X(4560)   X(4559)   X(4552)
  X(4561)   X(7649)
  X(4562)   X(8632)   X(812)
  X(4563)   X(2489)   X(2501)
  X(4564)   X(2170)   X(4858)
  X(4565)   X(3700)
  X(4566)   X(7253)
  X(4567)   X(3125)   X(16732)
  X(4568)   X(10566)
  X(4569)   X(8641)   X(3900)
  X(4570)   X(3120)
  X(4572)   X(663)
  X(4573)   X(3709)   X(3700)
  X(4574)   X(17925)
  X(4576)   X(18105)
  X(4577)   X(3005)   X(826)
  X(4583)   X(659)
  X(4586)   X(3250)   X(824)
  X(4588)   X(4777)
  X(4589)   X(4455)   X(4010)
  X(4590)   X(3124)   X(115)
  X(4591)   X(4120)
  X(4593)   X(2084)   X(8061)
  X(4594)   X(7234)   X(2533)
  X(4596)   X(4983)
  X(4597)   X(4775)   X(4777)
  X(4598)   X(3835)
  X(4599)   X(8061)
  X(4600)   X(3122)   X(3120)
  X(4601)   X(3121)   X(3125)
  X(4602)   X(1924)   X(798)
  X(4604)   X(4893)   X(4791)
  X(4606)   X(4790)   X(4801)
  X(4607)   X(3768)   X(4728)
  X(4608)   X(4427)
  X(4609)   X(9426)   X(669)
  X(4610)   X(4079)   X(4024)
  X(4614)   X(4822)   X(4815)
  X(4615)   X(14407)   X(4120)
  X(4616)   X(4524)
  X(4617)   X(4130)
  X(4618)   X(3251)
  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(16892)
  X(4629)   X(4988)
  X(4632)   X(4988)
  X(4633)   X(4832)   X(4841)
  X(4634)   X(4730)
  X(4635)   X(4171)
  X(4637)   X(4171)
  X(4638)   X(6544)
  X(4645)   X(8852)   X(7261)
  X(4671)   X(89)
  X(4705)   X(4623)
  X(4723)   X(1417)
  X(4728)   X(4607)
  X(4730)   X(4622)   X(4634)
  X(4738)   X(679)
  X(4762)   X(8693)
  X(4765)   X(4624)
  X(4775)   X(4597)
  X(4777)   X(4588)   X(4597)
  X(4778)   X(8694)
  X(4790)   X(4606)
  X(4791)   X(4604)
  X(4801)   X(4606)
  X(4802)   X(8652)
  X(4815)   X(4614)
  X(4817)   X(3807)
  X(4822)   X(4614)
  X(4832)   X(4633)
  X(4841)   X(4627)   X(4633)
  X(4843)   X(5545)
  X(4844)   X(8695)
  X(4845)   X(1323)
  X(4846)   X(378)
  X(4858)   X(2149)   X(4564)
  X(4866)   X(3361)
  X(4876)   X(1429)   X(10030)
  X(4893)   X(4604)
  X(4900)   X(13462)
  X(4912)   X(8696)
  X(4926)   X(8697)
  X(4927)   X(6079)
  X(4943)   X(8698)
  X(4957)   X(5385)
  X(4962)   X(8699)
  X(4971)   X(8700)
  X(4977)   X(8701)   X(6540)
  X(4983)   X(4596)
  X(4988)   X(4629)   X(4632)
  X(4997)   X(1404)   X(3911)
  X(4998)   X(3271)   X(11)
  X(4999)   X(18772)
  X(5006)   X(11611)
  X(5007)   X(10159)
  X(5008)   X(10302)
  X(5010)   X(5561)
  X(5012)   X(3613)
  X(5013)   X(5395)
  X(5018)   X(7281)
  X(5020)   X(17040)
  X(5024)   X(18842)
  X(5027)   X(18829)
  X(5050)   X(14494)
  X(5053)   X(14554)
  X(5054)   X(14491)
  X(5060)   X(11608)
  X(5061)   X(11609)
  X(5085)   X(14484)
  X(5089)   X(1814)
  X(5091)   X(14947)
  X(5092)   X(14492)
  X(5095)   X(15398)
  X(5108)   X(14948)
  X(5119)   X(7284)
  X(5127)   X(5620)
  X(5128)   X(7285)
  X(5169)   X(19151)
  X(5172)   X(11604)
  X(5181)   X(10422)
  X(5191)   X(5641)
  X(5193)   X(12641)
  X(5203)   X(6091)
  X(5204)   X(7319)
  X(5205)   X(9432)
  X(5217)   X(5556)
  X(5219)   X(2364)
  X(5239)   X(7052)
  X(5249)   X(2259)
  X(5264)   X(15315)
  X(5271)   X(2215)
  X(5283)   X(1218)
  X(5285)   X(15314)
  X(5291)   X(17946)
  X(5317)   X(3998)
  X(5376)   X(2087)
  X(5377)   X(3675)
  X(5379)   X(18210)
  X(5380)   X(14419)
  X(5381)   X(1646)
  X(5383)   X(6377)
  X(5384)   X(4475)
  X(5385)   X(4957)
  X(5386)   X(14438)
  X(5391)   X(1336)
  X(5392)   X(571)   X(1993)
  X(5395)   X(5013)   X(3620)
  X(5396)   X(5397)
  X(5397)   X(5396)
  X(5401)   X(3393)
  X(5412)   X(11091)
  X(5413)   X(11090)
  X(5414)   X(13390)
  X(5417)   X(5418)
  X(5418)   X(5417)
  X(5419)   X(5420)
  X(5420)   X(5419)
  X(5423)   X(7023)   X(479)
  X(5424)   X(5425)
  X(5425)   X(5424)
  X(5435)   X(6557)
  X(5457)   X(6123)
  X(5466)   X(5467)   X(5468)
  X(5467)   X(5466)
  X(5468)   X(9178)   X(5466)
  X(5480)   X(5481)
  X(5481)   X(5480)
  X(5485)   X(1384)   X(1992)
  X(5486)   X(1995)   X(11185)
  X(5490)   X(6423)   X(3068)
  X(5491)   X(6424)   X(3069)
  X(5503)   X(2030)
  X(5504)   X(403)
  X(5505)   X(7426)
  X(5510)   X(15403)
  X(5511)   X(15402)
  X(5512)   X(15406)
  X(5513)   X(15397)
  X(5523)   X(18876)
  X(5524)   X(7312)
  X(5525)   X(7313)
  X(5539)   X(7315)
  X(5545)   X(4843)
  X(5546)   X(7178)
  X(5547)   X(7181)
  X(5552)   X(7318)
  X(5553)   X(11248)
  X(5556)   X(5217)
  X(5557)   X(3746)   X(5564)
  X(5558)   X(3303)
  X(5559)   X(5563)   X(7321)
  X(5560)   X(7280)   X(17361)
  X(5561)   X(5010)   X(17360)
  X(5562)   X(8884)   X(8795)
  X(5563)   X(5559)
  X(5564)   X(5557)
  X(5584)   X(10429)
  X(5606)   X(8702)
  X(5609)   X(14536)
  X(5613)   X(16258)
  X(5617)   X(16257)
  X(5620)   X(5127)
  X(5623)   X(8445)
  X(5624)   X(8455)
  X(5627)   X(1511)   X(6148)
  X(5628)   X(5629)
  X(5629)   X(5628)
  X(5630)   X(5631)
  X(5631)   X(5630)
  X(5632)   X(5633)
  X(5633)   X(5632)
  X(5637)   X(14146)
  X(5638)   X(6190)
  X(5639)   X(6189)
  X(5641)   X(5191)   X(542)
  X(5642)   X(9139)
  X(5649)   X(1640)   X(18312)
  X(5663)   X(477)
  X(5665)   X(3601)
  X(5667)   X(8431)
  X(5668)   X(8462)
  X(5669)   X(8452)
  X(5670)   X(8486)
  X(5671)   X(8487)
  X(5672)   X(7326)
  X(5673)   X(7325)
  X(5674)   X(8491)
  X(5675)   X(8492)
  X(5676)   X(8534)
  X(5677)   X(7327)
  X(5678)   X(8535)
  X(5679)   X(8536)
  X(5680)   X(7328)
  X(5681)   X(8489)
  X(5682)   X(8490)
  X(5684)   X(8494)
  X(5685)   X(7329)
  X(5853)   X(1477)
  X(5878)   X(5879)
  X(5879)   X(5878)
  X(5897)   X(15311)
  X(5899)   X(5900)
  X(5900)   X(5899)
  X(5902)   X(15175)
  X(5903)   X(15446)
  X(5905)   X(2164)   X(2994)
  X(5906)   X(7331)
  X(5913)   X(6096)
  X(5930)   X(5931)
  X(5931)   X(5930)
  X(5932)   X(7037)   X(1034)
  X(5961)   X(5962)
  X(5962)   X(5961)
  X(5963)   X(5964)
  X(5964)   X(5963)
  X(5965)   X(5966)
  X(5966)   X(5965)
  X(5967)   X(5968)
  X(5968)   X(5967)
  X(5969)   X(5970)
  X(5970)   X(5969)
  X(5996)   X(9066)
  X(6000)   X(1294)
  X(6001)   X(1295)
  X(6002)   X(6010)
  X(6003)   X(6011)
  X(6004)   X(6012)
  X(6005)   X(6013)
  X(6006)   X(6014)
  X(6007)   X(6015)
  X(6008)   X(6016)
  X(6009)   X(6017)
  X(6010)   X(6002)
  X(6011)   X(6003)
  X(6012)   X(6004)
  X(6013)   X(6005)
  X(6014)   X(6006)
  X(6015)   X(6007)
  X(6016)   X(6008)
  X(6017)   X(6009)
  X(6035)   X(6041)   X(1640)
  X(6041)   X(6035)
  X(6046)   X(6061)
  X(6057)   X(7341)   X(552)
  X(6059)   X(7055)
  X(6061)   X(6046)
  X(6063)   X(2175)   X(55)
  X(6064)   X(1365)
  X(6065)   X(1358)
  X(6078)   X(6084)
  X(6079)   X(6085)   X(4927)
  X(6080)   X(6086)
  X(6081)   X(6087)
  X(6082)   X(6088)
  X(6083)   X(6089)
  X(6084)   X(6078)
  X(6085)   X(6079)
  X(6086)   X(6080)
  X(6087)   X(6081)
  X(6088)   X(6082)
  X(6089)   X(6083)
  X(6091)   X(5203)
  X(6094)   X(352)
  X(6096)   X(5913)
  X(6101)   X(11816)
  X(6104)   X(11600)
  X(6105)   X(11601)
  X(6123)   X(5457)
  X(6129)   X(13138)
  X(6135)   X(6364)
  X(6136)   X(6365)
  X(6145)   X(7488)
  X(6148)   X(5627)
  X(6149)   X(2166)
  X(6151)   X(395)
  X(6157)   X(6158)
  X(6158)   X(6157)
  X(6163)   X(6164)
  X(6164)   X(6163)
  X(6168)   X(6169)
  X(6169)   X(6168)
  X(6177)   X(3557)
  X(6182)   X(6183)
  X(6183)   X(6182)
  X(6184)   X(6185)
  X(6185)   X(6184)   X(4437)
  X(6186)   X(319)
  X(6187)   X(320)
  X(6189)   X(5639)   X(3414)
  X(6190)   X(5638)   X(3413)
  X(6191)   X(7345)
  X(6192)   X(7344)
  X(6196)   X(7346)
  X(6198)   X(7100)
  X(6200)   X(1327)
  X(6203)   X(7348)
  X(6204)   X(7347)
  X(6205)   X(7349)
  X(6210)   X(7350)
  X(6211)   X(7351)
  X(6212)   X(6213)
  X(6213)   X(6212)
  X(6221)   X(14241)
  X(6233)   X(8704)
  X(6239)   X(6401)
  X(6244)   X(10307)
  X(6288)   X(15620)
  X(6323)   X(3849)
  X(6325)   X(8705)
  X(6327)   X(7087)   X(7357)
  X(6328)   X(14366)
  X(6330)   X(8779)   X(441)
  X(6331)   X(3049)   X(647)
  X(6332)   X(653)
  X(6333)   X(685)
  X(6334)   X(687)
  X(6335)   X(905)
  X(6336)   X(3977)
  X(6337)   X(14248)
  X(6339)   X(1611)   X(6392)
  X(6340)   X(19118)   X(6353)
  X(6353)   X(6391)   X(6340)
  X(6354)   X(7054)   X(7058)
  X(6358)   X(2150)   X(2185)
  X(6360)   X(8761)   X(7361)
  X(6362)   X(6606)
  X(6363)   X(8706)
  X(6364)   X(6135)
  X(6365)   X(6136)
  X(6366)   X(14733)
  X(6367)   X(6578)
  X(6368)   X(933)   X(18831)
  X(6371)   X(8707)
  X(6372)   X(8708)
  X(6373)   X(8709)
  X(6374)   X(3224)
  X(6376)   X(7121)   X(87)
  X(6377)   X(5383)
  X(6378)   X(7304)
  X(6379)   X(6380)
  X(6380)   X(6379)
  X(6382)   X(2162)
  X(6383)   X(2176)
  X(6384)   X(2209)   X(43)
  X(6385)   X(2205)   X(213)
  X(6386)   X(1980)   X(667)
  X(6390)   X(8753)   X(17983)
  X(6391)   X(6353)
  X(6392)   X(6339)
  X(6393)   X(6531)
  X(6394)   X(6530)
  X(6396)   X(1328)
  X(6398)   X(14226)
  X(6400)   X(6402)
  X(6401)   X(6239)
  X(6402)   X(6400)
  X(6413)   X(1585)
  X(6414)   X(1586)
  X(6415)   X(3535)
  X(6416)   X(3536)
  X(6419)   X(10195)
  X(6420)   X(10194)
  X(6423)   X(5490)
  X(6424)   X(5491)
  X(6467)   X(683)
  X(6502)   X(7090)
  X(6504)   X(1609)   X(6515)
  X(6507)   X(6520)   X(6521)
  X(6515)   X(6504)
  X(6516)   X(18344)
  X(6520)   X(6507)   X(1102)
  X(6521)   X(4100)   X(6507)
  X(6524)   X(3964)   X(4176)
  X(6525)   X(15394)
  X(6527)   X(3346)
  X(6528)   X(520)
  X(6529)   X(4143)
  X(6530)   X(17974)   X(6394)
  X(6531)   X(6393)
  X(6535)   X(6628)
  X(6539)   X(8025)
  X(6540)   X(4977)
  X(6542)   X(17962)   X(6650)
  X(6544)   X(4638)
  X(6545)   X(6632)
  X(6548)   X(17780)
  X(6550)   X(6551)   X(6635)
  X(6551)   X(6550)
  X(6553)   X(1616)   X(4452)
  X(6557)   X(5435)
  X(6563)   X(925)
  X(6566)   X(6568)
  X(6567)   X(6569)
  X(6568)   X(6566)
  X(6569)   X(6567)
  X(6571)   X(8710)
  X(6573)   X(8711)
  X(6574)   X(8712)
  X(6575)   X(8713)
  X(6577)   X(8714)
  X(6578)   X(6367)
  X(6591)   X(1332)
  X(6593)   X(10415)
  X(6601)   X(1617)   X(6604)
  X(6604)   X(6601)
  X(6605)   X(1418)
  X(6606)   X(2488)   X(6362)
  X(6614)   X(4163)
  X(6625)   X(18755)   X(1654)
  X(6628)   X(6535)
  X(6630)   X(9259)   X(4440)
  X(6631)   X(9262)
  X(6632)   X(6545)
  X(6635)   X(8661)   X(6550)
  X(6636)   X(15321)
  X(6648)   X(3910)
  X(6650)   X(17735)   X(6542)
  X(6651)   X(9506)
  X(6654)   X(3252)
  X(6662)   X(1614)
  X(6664)   X(1627)   X(7760)
  X(6724)   X(6727)
  X(6726)   X(7371)
  X(6727)   X(6724)
  X(6728)   X(6733)
  X(6731)   X(7370)   X(555)
  X(6733)   X(6728)
  X(6740)   X(1464)
  X(6742)   X(2605)   X(4467)
  X(6757)   X(17104)
  X(6758)   X(7372)
  X(6759)   X(15318)
  X(6767)   X(18490)
  X(7001)   X(7010)
  X(7003)   X(7011)
  X(7004)   X(7012)
  X(7008)   X(7013)
  X(7009)   X(7015)   X(7019)
  X(7010)   X(7001)
  X(7011)   X(7003)
  X(7012)   X(7004)   X(17880)
  X(7013)   X(7008)   X(7020)
  X(7014)   X(557)
  X(7015)   X(7009)
  X(7016)   X(1940)
  X(7017)   X(222)
  X(7018)   X(7122)   X(171)
  X(7019)   X(7009)
  X(7020)   X(7114)   X(7013)
  X(7023)   X(5423)
  X(7026)   X(19373)
  X(7027)   X(7371)
  X(7029)   X(586)
  X(7030)   X(585)
  X(7032)   X(7033)   X(7034)
  X(7033)   X(7032)   X(982)
  X(7034)   X(7032)
  X(7035)   X(3248)   X(244)
  X(7036)   X(7044)
  X(7037)   X(5932)
  X(7038)   X(1044)
  X(7039)   X(7041)
  X(7040)   X(3157)
  X(7041)   X(7039)
  X(7042)   X(1079)
  X(7043)   X(7051)
  X(7044)   X(7036)
  X(7045)   X(2310)
  X(7046)   X(7053)   X(7056)
  X(7048)   X(7057)
  X(7049)   X(20764)
  X(7050)   X(3672)
  X(7051)   X(7043)
  X(7052)   X(5239)
  X(7053)   X(7046)
  X(7054)   X(6354)
  X(7055)   X(6059)   X(1857)
  X(7056)   X(7071)   X(7046)
  X(7057)   X(7048)
  X(7058)   X(6354)
  X(7059)   X(1277)
  X(7060)   X(1276)
  X(7064)   X(552)
  X(7070)   X(8809)
  X(7071)   X(7056)
  X(7073)   X(1442)
  X(7074)   X(1440)
  X(7077)   X(1447)   X(18033)
  X(7079)   X(7177)
  X(7080)   X(1413)   X(1440)
  X(7081)   X(1431)   X(7249)
  X(7083)   X(8817)
  X(7084)   X(3673)
  X(7087)   X(6327)
  X(7088)   X(1653)
  X(7089)   X(1652)
  X(7090)   X(6502)
  X(7091)   X(1697)
  X(7092)   X(1711)
  X(7093)   X(1716)
  X(7094)   X(1726)
  X(7095)   X(1756)
  X(7096)   X(1759)   X(20444)
  X(7097)   X(1763)
  X(7099)   X(7101)
  X(7100)   X(6198)
  X(7101)   X(7099)   X(7177)
  X(7104)   X(1920)
  X(7105)   X(1935)
  X(7106)   X(1943)
  X(7107)   X(1947)
  X(7108)   X(1950)   X(1943)
  X(7110)   X(2003)   X(17095)
  X(7113)   X(18359)
  X(7114)   X(7020)
  X(7121)   X(6376)
  X(7122)   X(7018)
  X(7123)   X(4000)
  X(7131)   X(2082)
  X(7132)   X(3061)
  X(7133)   X(13389)
  X(7134)   X(2595)
  X(7135)   X(2601)
  X(7136)   X(2606)
  X(7137)   X(2612)
  X(7146)   X(2344)
  X(7153)   X(3208)   X(4110)
  X(7155)   X(1403)   X(3212)
  X(7160)   X(3333)
  X(7161)   X(3337)
  X(7162)   X(3338)
  X(7163)   X(1479)
  X(7164)   X(3464)
  X(7165)   X(3483)
  X(7166)   X(3507)
  X(7167)   X(3508)
  X(7168)   X(3510)   X(19567)
  X(7169)   X(4329)
  X(7170)   X(9424)
  X(7176)   X(4451)
  X(7177)   X(7079)   X(7101)
  X(7178)   X(5546)   X(645)
  X(7180)   X(645)
  X(7181)   X(5547)
  X(7182)   X(2212)   X(33)
  X(7192)   X(4557)   X(3952)
  X(7194)   X(3961)
  X(7199)   X(1018)
  X(7203)   X(4069)
  X(7209)   X(3208)
  X(7213)   X(4149)
  X(7216)   X(7259)   X(7258)
  X(7218)   X(4321)
  X(7219)   X(3556)   X(4329)
  X(7220)   X(4334)
  X(7224)   X(4388)
  X(7233)   X(3685)
  X(7234)   X(4594)
  X(7237)   X(7305)
  X(7241)   X(17127)
  X(7249)   X(2330)   X(7081)
  X(7250)   X(7256)
  X(7252)   X(4552)
  X(7253)   X(4566)
  X(7256)   X(7250)
  X(7257)   X(4017)
  X(7258)   X(7216)
  X(7259)   X(7216)
  X(7261)   X(17798)   X(4645)
  X(7270)   X(8615)   X(15314)
  X(7280)   X(5560)
  X(7281)   X(5018)
  X(7282)   X(8606)
  X(7284)   X(5119)
  X(7285)   X(5128)
  X(7304)   X(6378)
  X(7305)   X(7237)
  X(7312)   X(5524)
  X(7313)   X(5525)
  X(7315)   X(5539)
  X(7316)   X(3712)
  X(7318)   X(5552)
  X(7319)   X(5204)
  X(7320)   X(3304)
  X(7321)   X(5559)
  X(7325)   X(5673)
  X(7326)   X(5672)
  X(7327)   X(5677)
  X(7328)   X(5680)
  X(7329)   X(5685)
  X(7331)   X(5906)
  X(7337)   X(1264)
  X(7339)   X(4081)
  X(7340)   X(4092)
  X(7341)   X(6057)
  X(7344)   X(6192)
  X(7345)   X(6191)
  X(7346)   X(6196)
  X(7347)   X(6204)
  X(7348)   X(6203)
  X(7349)   X(6205)
  X(7350)   X(6210)
  X(7351)   X(6211)
  X(7357)   X(1631)   X(6327)
  X(7361)   X(6360)
  X(7367)   X(14256)
  X(7370)   X(6731)
  X(7371)   X(6726)   X(7027)
  X(7372)   X(6758)
  X(7426)   X(5505)
  X(7464)   X(10293)
  X(7469)   X(10100)
  X(7471)   X(15453)
  X(7480)   X(14220)
  X(7488)   X(6145)
  X(7503)   X(14542)
  X(7505)   X(15317)
  X(7575)   X(11564)
  X(7578)   X(566)
  X(7603)   X(20251)
  X(7607)   X(576)
  X(7608)   X(575)
  X(7612)   X(1351)   X(1007)
  X(7649)   X(1331)   X(4561)
  X(7664)   X(10415)
  X(7669)   X(13485)
  X(7691)   X(15619)
  X(7712)   X(11058)
  X(7757)   X(9462)
  X(7760)   X(6664)
  X(7763)   X(2165)
  X(7768)   X(3456)   X(15321)
  X(7769)   X(2963)
  X(7771)   X(18575)
  X(7779)   X(11606)
  X(7782)   X(13481)
  X(7783)   X(8601)
  X(7786)   X(10014)
  X(7787)   X(17042)
  X(7788)   X(14458)
  X(7790)   X(9515)   X(9516)
  X(7796)   X(2980)
  X(7799)   X(11060)   X(1989)
  X(7927)   X(7953)
  X(7950)   X(7954)
  X(7952)   X(1433)
  X(7953)   X(7927)
  X(7954)   X(7950)
  X(8012)   X(10509)
  X(8024)   X(251)
  X(8025)   X(6539)
  X(8044)   X(199)   X(1330)
  X(8045)   X(8052)
  X(8046)   X(3196)
  X(8047)   X(16686)   X(149)
  X(8048)   X(197)   X(3436)
  X(8049)   X(8053)   X(17135)
  X(8050)   X(4057)   X(20295)
  X(8051)   X(8055)
  X(8052)   X(8045)
  X(8053)   X(8049)
  X(8055)   X(8051)
  X(8056)   X(1743)   X(18743)
  X(8057)   X(1301)
  X(8058)   X(8059)
  X(8059)   X(8058)
  X(8061)   X(4599)   X(4593)
  X(8063)   X(8064)
  X(8064)   X(8063)
  X(8076)   X(10498)
  X(8105)   X(8115)
  X(8106)   X(8116)
  X(8115)   X(8105)   X(2592)
  X(8116)   X(8106)   X(2593)
  X(8172)   X(8446)
  X(8173)   X(8456)
  X(8174)   X(8471)
  X(8175)   X(8479)
  X(8269)   X(17115)
  X(8290)   X(9477)
  X(8298)   X(9505)
  X(8301)   X(2113)
  X(8371)   X(9170)
  X(8424)   X(18760)
  X(8431)   X(5667)
  X(8432)   X(8488)
  X(8433)   X(8501)
  X(8434)   X(8502)
  X(8435)   X(8499)
  X(8436)   X(8500)
  X(8437)   X(8495)
  X(8438)   X(8496)
  X(8439)   X(3484)
  X(8440)   X(8493)
  X(8441)   X(8529)
  X(8442)   X(8531)
  X(8444)   X(16882)
  X(8445)   X(5623)
  X(8446)   X(8172)
  X(8452)   X(5669)
  X(8454)   X(16883)
  X(8455)   X(5624)
  X(8456)   X(8173)
  X(8462)   X(5668)
  X(8471)   X(8174)
  X(8479)   X(8175)
  X(8481)   X(8482)
  X(8482)   X(8481)
  X(8486)   X(5670)
  X(8487)   X(5671)
  X(8488)   X(8432)
  X(8489)   X(5681)
  X(8490)   X(5682)
  X(8491)   X(5674)
  X(8492)   X(5675)
  X(8493)   X(8440)
  X(8494)   X(5684)
  X(8495)   X(8437)
  X(8496)   X(8438)
  X(8499)   X(8435)
  X(8500)   X(8436)
  X(8501)   X(8433)
  X(8502)   X(8434)
  X(8529)   X(8441)
  X(8531)   X(8442)
  X(8534)   X(5676)
  X(8535)   X(5678)
  X(8536)   X(5679)
  X(8553)   X(13579)
  X(8577)   X(492)
  X(8586)   X(8587)
  X(8587)   X(8586)
  X(8588)   X(17503)
  X(8599)   X(9145)   X(9146)
  X(8601)   X(7783)
  X(8603)   X(8838)
  X(8604)   X(8836)
  X(8606)   X(7282)
  X(8607)   X(2988)
  X(8608)   X(2989)
  X(8609)   X(2990)
  X(8612)   X(8613)
  X(8613)   X(8612)
  X(8615)   X(7270)
  X(8619)   X(18824)
  X(8620)   X(18825)
  X(8623)   X(14970)
  X(8632)   X(4562)
  X(8640)   X(18830)
  X(8641)   X(4569)
  X(8652)   X(4802)
  X(8661)   X(6635)
  X(8672)   X(931)
  X(8673)   X(1289)
  X(8674)   X(1290)
  X(8675)   X(1302)
  X(8676)   X(1305)
  X(8677)   X(1309)
  X(8678)   X(1310)
  X(8679)   X(1311)
  X(8680)   X(2249)
  X(8681)   X(2374)
  X(8682)   X(2375)
  X(8684)   X(3808)
  X(8685)   X(3810)
  X(8686)   X(3880)
  X(8687)   X(3910)
  X(8690)   X(4139)
  X(8691)   X(4160)
  X(8693)   X(4762)
  X(8694)   X(4778)
  X(8695)   X(4844)
  X(8696)   X(4912)
  X(8697)   X(4926)
  X(8698)   X(4943)
  X(8699)   X(4962)
  X(8700)   X(4971)
  X(8701)   X(4977)
  X(8702)   X(5606)
  X(8703)   X(13603)
  X(8704)   X(6233)
  X(8705)   X(6325)
  X(8706)   X(6363)
  X(8707)   X(6371)   X(3004)
  X(8708)   X(6372)
  X(8709)   X(6373)   X(3837)
  X(8710)   X(6571)
  X(8711)   X(6573)
  X(8712)   X(6574)
  X(8713)   X(6575)
  X(8714)   X(6577)
  X(8743)   X(14376)
  X(8747)   X(3682)
  X(8749)   X(11064)
  X(8750)   X(4025)
  X(8752)   X(3977)
  X(8753)   X(6390)
  X(8756)   X(1797)
  X(8758)   X(8759)
  X(8759)   X(8758)
  X(8761)   X(6360)
  X(8763)   X(8764)
  X(8764)   X(8763)
  X(8766)   X(8767)
  X(8767)   X(8766)
  X(8769)   X(1707)   X(18156)
  X(8770)   X(193)
  X(8772)   X(8773)
  X(8773)   X(8772)   X(1733)
  X(8776)   X(8777)
  X(8777)   X(8776)
  X(8779)   X(6330)
  X(8781)   X(1692)   X(230)
  X(8789)   X(14603)   X(18901)
  X(8795)   X(418)   X(5562)
  X(8797)   X(11402)   X(631)
  X(8800)   X(8883)
  X(8801)   X(3796)   X(3785)
  X(8809)   X(7070)
  X(8811)   X(13614)
  X(8814)   X(13615)
  X(8817)   X(7083)   X(497)
  X(8822)   X(2357)
  X(8836)   X(8604)
  X(8838)   X(8603)
  X(8851)   X(1463)
  X(8852)   X(4645)
  X(8868)   X(8875)
  X(8875)   X(8868)
  X(8882)   X(343)
  X(8883)   X(8800)
  X(8884)   X(5562)
  X(8905)   X(14518)
  X(8906)   X(14517)
  X(8917)   X(2951)
  X(8946)   X(487)
  X(8947)   X(8949)
  X(8948)   X(488)
  X(8949)   X(8947)
  X(8999)   X(9056)
  X(9000)   X(9057)
  X(9001)   X(9058)
  X(9002)   X(9059)
  X(9003)   X(9060)
  X(9004)   X(9061)
  X(9005)   X(9062)
  X(9006)   X(9063)
  X(9007)   X(9064)
  X(9008)   X(9065)
  X(9009)   X(9066)
  X(9010)   X(9067)
  X(9011)   X(9068)
  X(9012)   X(9069)
  X(9013)   X(9070)
  X(9014)   X(9071)
  X(9015)   X(9072)
  X(9016)   X(9073)
  X(9017)   X(9074)
  X(9018)   X(9075)
  X(9019)   X(9076)
  X(9020)   X(9077)
  X(9021)   X(9078)
  X(9022)   X(9079)
  X(9023)   X(9080)
  X(9024)   X(9081)
  X(9025)   X(9082)
  X(9026)   X(9083)
  X(9027)   X(9084)
  X(9028)   X(9085)
  X(9029)   X(9086)
  X(9030)   X(9087)
  X(9031)   X(9088)
  X(9032)   X(9089)
  X(9033)   X(1304)   X(16077)
  X(9034)   X(9090)
  X(9035)   X(9091)
  X(9036)   X(9092)
  X(9037)   X(9093)
  X(9038)   X(9094)
  X(9039)   X(9095)
  X(9040)   X(9096)
  X(9041)   X(9097)
  X(9042)   X(9098)
  X(9043)   X(9099)
  X(9044)   X(9100)
  X(9045)   X(9101)
  X(9046)   X(9102)
  X(9047)   X(9103)
  X(9048)   X(9104)
  X(9049)   X(9105)
  X(9050)   X(9106)
  X(9051)   X(9107)
  X(9052)   X(9108)
  X(9053)   X(9109)
  X(9054)   X(9110)
  X(9055)   X(9111)
  X(9056)   X(8999)
  X(9057)   X(9000)
  X(9058)   X(9001)
  X(9059)   X(9002)
  X(9060)   X(9003)
  X(9061)   X(9004)
  X(9062)   X(9005)
  X(9063)   X(9006)   X(17415)
  X(9064)   X(9007)
  X(9065)   X(9008)
  X(9066)   X(9009)   X(5996)
  X(9067)   X(9010)
  X(9068)   X(9011)
  X(9069)   X(9012)
  X(9070)   X(9013)
  X(9071)   X(9014)
  X(9072)   X(9015)
  X(9073)   X(9016)
  X(9074)   X(9017)
  X(9075)   X(9018)
  X(9076)   X(9019)
  X(9077)   X(9020)
  X(9078)   X(9021)
  X(9079)   X(9022)
  X(9080)   X(9023)   X(9191)
  X(9081)   X(9024)
  X(9082)   X(9025)
  X(9083)   X(9026)
  X(9084)   X(9027)
  X(9085)   X(9028)
  X(9086)   X(9029)
  X(9087)   X(9030)
  X(9088)   X(9031)
  X(9089)   X(9032)
  X(9090)   X(9034)
  X(9091)   X(9035)
  X(9092)   X(9036)
  X(9093)   X(9037)
  X(9094)   X(9038)
  X(9095)   X(9039)
  X(9096)   X(9040)
  X(9097)   X(9041)
  X(9098)   X(9042)
  X(9099)   X(9043)
  X(9100)   X(9044)
  X(9101)   X(9045)
  X(9102)   X(9046)
  X(9103)   X(9047)
  X(9104)   X(9048)
  X(9105)   X(9049)
  X(9106)   X(9050)
  X(9107)   X(9051)
  X(9108)   X(9052)
  X(9109)   X(9053)
  X(9110)   X(9054)
  X(9111)   X(9055)
  X(9123)   X(9124)
  X(9124)   X(9123)
  X(9131)   X(9132)   X(9133)
  X(9132)   X(9131)
  X(9133)   X(9131)
  X(9139)   X(5642)
  X(9140)   X(9141)
  X(9141)   X(9142)   X(9140)
  X(9142)   X(9141)
  X(9145)   X(8599)
  X(9146)   X(8599)
  X(9148)   X(9150)
  X(9150)   X(888)   X(9148)
  X(9154)   X(9155)
  X(9155)   X(9154)
  X(9164)   X(9166)
  X(9166)   X(9164)
  X(9170)   X(9171)   X(8371)
  X(9171)   X(9170)
  X(9178)   X(5468)
  X(9180)   X(9181)   X(9182)
  X(9181)   X(9180)
  X(9182)   X(9180)
  X(9185)   X(9186)   X(9187)
  X(9186)   X(9185)
  X(9187)   X(9188)   X(9185)
  X(9188)   X(9187)
  X(9189)   X(9190)
  X(9190)   X(9189)
  X(9191)   X(9192)   X(9080)
  X(9192)   X(9191)
  X(9194)   X(9197)   X(9199)
  X(9195)   X(9196)   X(9198)
  X(9196)   X(9195)
  X(9197)   X(9194)
  X(9198)   X(9195)
  X(9199)   X(9194)
  X(9204)   X(9206)
  X(9205)   X(9207)
  X(9206)   X(9204)
  X(9207)   X(9205)
  X(9210)   X(9211)
  X(9211)   X(9210)
  X(9213)   X(14559)
  X(9214)   X(9717)
  X(9217)   X(148)
  X(9218)   X(9293)
  X(9221)   X(567)
  X(9225)   X(9227)
  X(9226)   X(9228)
  X(9227)   X(9225)
  X(9228)   X(9226)
  X(9229)   X(1915)   X(384)
  X(9230)   X(695)
  X(9236)   X(1925)
  X(9239)   X(1932)   X(1582)
  X(9244)   X(1941)
  X(9247)   X(1969)
  X(9251)   X(1954)
  X(9255)   X(1957)
  X(9258)   X(1958)
  X(9259)   X(6630)
  X(9262)   X(6631)
  X(9263)   X(9265)   X(9295)
  X(9265)   X(9263)
  X(9266)   X(9267)
  X(9267)   X(9266)   X(9296)
  X(9268)   X(1647)
  X(9269)   X(9271)
  X(9271)   X(9269)
  X(9277)   X(1961)
  X(9278)   X(1931)
  X(9281)   X(1963)
  X(9282)   X(1054)   X(18159)
  X(9285)   X(1582)   X(1965)
  X(9288)   X(1965)   X(1925)
  X(9289)   X(1968)   X(9308)
  X(9290)   X(1970)
  X(9292)   X(1975)
  X(9293)   X(9218)
  X(9295)   X(1979)   X(9263)
  X(9296)   X(9299)   X(9267)
  X(9299)   X(9296)
  X(9301)   X(9302)
  X(9302)   X(9301)
  X(9306)   X(9307)
  X(9307)   X(9306)   X(1975)
  X(9308)   X(9289)
  X(9309)   X(1376)
  X(9310)   X(9311)
  X(9311)   X(9310)   X(3729)
  X(9312)   X(9439)
  X(9315)   X(3729)
  X(9317)   X(9322)
  X(9318)   X(9319)
  X(9319)   X(9318)
  X(9322)   X(9317)
  X(9324)   X(9325)
  X(9325)   X(9324)
  X(9327)   X(9328)
  X(9328)   X(9327)
  X(9332)   X(9333)
  X(9333)   X(9332)
  X(9337)   X(9338)
  X(9338)   X(9337)
  X(9342)   X(9343)
  X(9343)   X(9342)
  X(9347)   X(9348)
  X(9348)   X(9347)
  X(9352)   X(9353)
  X(9353)   X(9352)
  X(9355)   X(9357)
  X(9357)   X(9355)
  X(9359)   X(9361)
  X(9361)   X(9359)   X(18149)
  X(9363)   X(9368)
  X(9364)   X(9365)
  X(9365)   X(9364)
  X(9368)   X(9363)
  X(9369)   X(9435)
  X(9370)   X(9375)
  X(9371)   X(9372)
  X(9372)   X(9371)
  X(9375)   X(9370)
  X(9380)   X(9381)
  X(9381)   X(9380)
  X(9387)   X(2619)
  X(9389)   X(2625)
  X(9390)   X(2629)
  X(9392)   X(2633)
  X(9394)   X(2636)
  X(9395)   X(2640)
  X(9396)   X(2644)
  X(9398)   X(2647)
  X(9399)   X(409)
  X(9401)   X(2663)
  X(9403)   X(2668)
  X(9409)   X(16077)
  X(9414)   X(9415)
  X(9415)   X(9414)
  X(9418)   X(18024)
  X(9421)   X(3571)
  X(9424)   X(7170)
  X(9426)   X(4609)
  X(9432)   X(5205)
  X(9435)   X(9369)
  X(9436)   X(2195)   X(14942)
  X(9439)   X(9312)
  X(9440)   X(9445)
  X(9441)   X(9442)
  X(9442)   X(9441)
  X(9445)   X(9440)
  X(9447)   X(20567)
  X(9451)   X(9452)
  X(9452)   X(9451)
  X(9454)   X(18031)
  X(9456)   X(4358)
  X(9462)   X(9463)   X(7757)
  X(9463)   X(9462)
  X(9464)   X(1383)
  X(9465)   X(9516)
  X(9467)   X(9469)
  X(9468)   X(3978)   X(14603)
  X(9469)   X(9467)
  X(9470)   X(9472)
  X(9472)   X(9470)   X(18034)
  X(9473)   X(147)
  X(9475)   X(9476)
  X(9476)   X(9475)   X(15595)
  X(9477)   X(8290)
  X(9481)   X(9484)
  X(9482)   X(9483)
  X(9483)   X(9482)   X(15573)
  X(9484)   X(9481)
  X(9486)   X(9487)
  X(9487)   X(9486)
  X(9496)   X(9497)
  X(9497)   X(9496)
  X(9499)   X(1282)
  X(9500)   X(20533)
  X(9501)   X(9504)
  X(9502)   X(9503)
  X(9503)   X(9502)
  X(9504)   X(9501)
  X(9505)   X(8298)
  X(9506)   X(6651)   X(18035)
  X(9509)   X(9510)
  X(9510)   X(9509)
  X(9513)   X(1316)
  X(9515)   X(7790)
  X(9516)   X(9465)   X(7790)
  X(9517)   X(935)
  X(9544)   X(13481)
  X(9605)   X(18841)
  X(9717)   X(9214)
  X(9723)   X(14593)   X(847)
  X(9732)   X(14244)
  X(9733)   X(14229)
  X(9738)   X(14238)
  X(9739)   X(14234)
  X(9770)   X(11172)
  X(9830)   X(9831)
  X(9831)   X(9830)
  X(9909)   X(16774)
  X(9957)   X(15179)
  X(9979)   X(17708)
  X(10013)   X(17018)
  X(10014)   X(7786)
  X(10015)   X(13136)
  X(10030)   X(4876)
  X(10097)   X(4235)
  X(10099)   X(4238)
  X(10100)   X(7469)
  X(10117)   X(13573)
  X(10152)   X(11589)
  X(10159)   X(5007)   X(3589)
  X(10167)   X(14493)
  X(10194)   X(6420)
  X(10195)   X(6419)
  X(10215)   X(10231)
  X(10230)   X(10232)
  X(10231)   X(10215)
  X(10232)   X(10230)
  X(10246)   X(14497)
  X(10261)   X(13616)
  X(10262)   X(13617)
  X(10266)   X(14882)
  X(10282)   X(15319)
  X(10293)   X(7464)
  X(10298)   X(18434)
  X(10302)   X(5008)   X(597)
  X(10304)   X(14490)
  X(10305)   X(10306)
  X(10306)   X(10305)
  X(10307)   X(6244)
  X(10308)   X(3579)
  X(10309)   X(10310)
  X(10310)   X(10309)
  X(10329)   X(1031)
  X(10378)   X(13618)
  X(10389)   X(10390)
  X(10390)   X(10389)
  X(10405)   X(3207)   X(144)
  X(10411)   X(15475)   X(10412)
  X(10412)   X(10411)
  X(10415)   X(6593)   X(7664)
  X(10416)   X(10417)
  X(10417)   X(10416)
  X(10419)   X(113)
  X(10422)   X(5181)
  X(10426)   X(10427)
  X(10427)   X(10426)
  X(10428)   X(1145)
  X(10429)   X(5584)
  X(10434)   X(10435)
  X(10435)   X(10434)
  X(10436)   X(2258)
  X(10437)   X(10438)
  X(10438)   X(10437)
  X(10449)   X(1246)
  X(10481)   X(10482)
  X(10482)   X(10481)
  X(10484)   X(10485)
  X(10485)   X(10484)
  X(10498)   X(8076)
  X(10509)   X(8012)
  X(10510)   X(10511)   X(10512)
  X(10511)   X(10510)
  X(10512)   X(10510)
  X(10519)   X(14486)
  X(10546)   X(18361)
  X(10547)   X(1235)
  X(10566)   X(4568)
  X(10570)   X(10571)
  X(10571)   X(10570)
  X(10578)   X(10579)
  X(10579)   X(10578)
  X(10602)   X(10603)   X(10604)
  X(10603)   X(10602)   X(16051)
  X(10604)   X(10602)
  X(10605)   X(18850)
  X(10606)   X(16251)
  X(10623)   X(12699)
  X(10630)   X(2482)
  X(10638)   X(554)
  X(10645)   X(12816)
  X(10646)   X(12817)
  X(10665)   X(13429)
  X(10666)   X(13440)
  X(10693)   X(1325)
  X(10977)   X(10978)
  X(10978)   X(10977)
  X(11003)   X(18575)
  X(11051)   X(144)
  X(11057)   X(14479)   X(11058)
  X(11058)   X(7712)   X(11057)
  X(11060)   X(7799)
  X(11061)   X(14364)
  X(11063)   X(13582)
  X(11064)   X(8749)   X(16080)
  X(11077)   X(14918)
  X(11078)   X(11086)   X(11092)
  X(11079)   X(14920)
  X(11080)   X(11131)   X(11129)
  X(11081)   X(11092)
  X(11082)   X(11127)   X(11133)
  X(11084)   X(14922)
  X(11085)   X(11130)   X(11128)
  X(11086)   X(11078)
  X(11087)   X(11126)
  X(11090)   X(5413)   X(1585)
  X(11091)   X(5412)   X(1586)
  X(11092)   X(11081)   X(11078)
  X(11117)   X(532)
  X(11118)   X(533)
  X(11119)   X(618)
  X(11120)   X(619)
  X(11121)   X(19780)   X(3180)
  X(11122)   X(19781)   X(3181)
  X(11126)   X(11087)
  X(11127)   X(11082)
  X(11128)   X(11085)
  X(11129)   X(11080)
  X(11130)   X(11085)
  X(11131)   X(11080)
  X(11133)   X(11082)
  X(11138)   X(11145)
  X(11139)   X(11146)
  X(11140)   X(2965)   X(1994)
  X(11143)   X(11144)
  X(11144)   X(11143)
  X(11145)   X(11138)
  X(11146)   X(11139)
  X(11163)   X(11166)   X(11167)
  X(11166)   X(11163)
  X(11167)   X(11163)
  X(11169)   X(373)
  X(11170)   X(11171)
  X(11171)   X(11170)
  X(11172)   X(11173)   X(9770)
  X(11173)   X(11172)
  X(11174)   X(11175)
  X(11175)   X(11174)
  X(11180)   X(11181)
  X(11181)   X(11180)
  X(11185)   X(5486)
  X(11244)   X(19775)
  X(11248)   X(5553)
  X(11270)   X(382)
  X(11272)   X(592)
  X(11279)   X(11280)
  X(11280)   X(11279)
  X(11328)   X(19222)
  X(11337)   X(20029)
  X(11402)   X(8797)
  X(11442)   X(1485)
  X(11538)   X(15109)   X(15108)
  X(11559)   X(13619)
  X(11564)   X(7575)
  X(11584)   X(14367)
  X(11588)   X(11614)
  X(11589)   X(10152)
  X(11591)   X(11815)
  X(11593)   X(11594)
  X(11594)   X(11593)
  X(11595)   X(11596)
  X(11596)   X(11595)
  X(11599)   X(1326)   X(17731)
  X(11600)   X(6104)
  X(11601)   X(6105)
  X(11604)   X(5172)
  X(11606)   X(2076)   X(7779)
  X(11608)   X(5060)
  X(11609)   X(5061)
  X(11611)   X(5006)   X(19623)
  X(11614)   X(11588)
  X(11636)   X(3906)
  X(11645)   X(14388)
  X(11668)   X(15520)
  X(11738)   X(3534)
  X(11741)   X(11742)
  X(11742)   X(11741)
  X(11744)   X(2071)
  X(11794)   X(3050)
  X(11815)   X(11591)
  X(11816)   X(6101)
  X(11824)   X(14237)
  X(11825)   X(14232)
  X(12023)   X(13620)
  X(12028)   X(1986)
  X(12073)   X(12074)
  X(12074)   X(12073)
  X(12077)   X(18315)
  X(12087)   X(16623)
  X(12100)   X(14487)
  X(12112)   X(18317)
  X(12215)   X(17980)
  X(12641)   X(5193)
  X(12699)   X(10623)
  X(12816)   X(10645)
  X(12817)   X(10646)
  X(12974)   X(14240)
  X(12975)   X(14236)
  X(13136)   X(3310)   X(10015)
  X(13138)   X(6129)   X(17896)
  X(13139)   X(13321)
  X(13219)   X(13573)
  X(13321)   X(13139)
  X(13323)   X(3597)
  X(13346)   X(13380)
  X(13367)   X(14860)
  X(13377)   X(353)
  X(13380)   X(13346)
  X(13386)   X(13387)
  X(13387)   X(13386)
  X(13389)   X(7133)
  X(13390)   X(5414)
  X(13391)   X(13597)
  X(13397)   X(15313)
  X(13404)   X(13405)
  X(13405)   X(13404)
  X(13414)   X(16070)
  X(13415)   X(16071)
  X(13418)   X(13621)
  X(13424)   X(13435)
  X(13425)   X(13437)
  X(13426)   X(13436)
  X(13428)   X(13439)
  X(13429)   X(10665)   X(13441)
  X(13430)   X(13440)
  X(13435)   X(13424)
  X(13436)   X(13426)
  X(13437)   X(13425)
  X(13439)   X(13428)
  X(13440)   X(10666)   X(13430)
  X(13441)   X(13429)
  X(13450)   X(19210)
  X(13452)   X(1657)
  X(13453)   X(13454)
  X(13454)   X(13453)
  X(13458)   X(13459)
  X(13459)   X(13458)
  X(13462)   X(4900)
  X(13472)   X(1656)
  X(13476)   X(1621)   X(17143)
  X(13477)   X(13482)
  X(13478)   X(573)   X(4417)
  X(13479)   X(13480)
  X(13480)   X(13479)
  X(13481)   X(9544)   X(7782)
  X(13482)   X(13477)
  X(13485)   X(7669)   X(3448)
  X(13489)   X(13491)
  X(13491)   X(13489)
  X(13567)   X(801)
  X(13573)   X(10117)   X(13219)
  X(13574)   X(2930)   X(14360)
  X(13575)   X(159)   X(1370)
  X(13576)   X(3286)
  X(13577)   X(1486)   X(3434)
  X(13579)   X(8553)
  X(13582)   X(11063)
  X(13595)   X(13622)
  X(13596)   X(13623)
  X(13597)   X(13391)
  X(13599)   X(578)
  X(13603)   X(8703)
  X(13608)   X(14262)
  X(13610)   X(846)   X(17762)
  X(13614)   X(8811)
  X(13615)   X(8814)
  X(13616)   X(10261)
  X(13617)   X(10262)
  X(13618)   X(10378)
  X(13619)   X(11559)
  X(13620)   X(12023)
  X(13621)   X(13418)
  X(13622)   X(13595)
  X(13623)   X(13596)
  X(13624)   X(16615)
  X(13754)   X(1300)
  X(13855)   X(1075)
  X(14052)   X(14060)
  X(14060)   X(14052)
  X(14074)   X(14077)
  X(14077)   X(14074)
  X(14078)   X(14085)   X(14087)
  X(14085)   X(14078)
  X(14086)   X(14089)
  X(14087)   X(14088)   X(14078)
  X(14088)   X(14087)
  X(14089)   X(14090)   X(14086)
  X(14090)   X(14089)
  X(14121)   X(2067)
  X(14146)   X(5637)
  X(14190)   X(14191)
  X(14191)   X(14190)
  X(14206)   X(2159)   X(2349)
  X(14208)   X(162)
  X(14210)   X(923)   X(897)
  X(14213)   X(2148)   X(2167)
  X(14220)   X(7480)
  X(14223)   X(14999)
  X(14226)   X(6398)
  X(14229)   X(9733)
  X(14232)   X(11825)
  X(14234)   X(9739)
  X(14236)   X(12975)
  X(14237)   X(11824)
  X(14238)   X(9738)
  X(14240)   X(12974)
  X(14241)   X(6221)
  X(14244)   X(9732)
  X(14246)   X(14357)
  X(14247)   X(14378)
  X(14248)   X(6337)
  X(14249)   X(14379)   X(15394)
  X(14250)   X(14381)
  X(14251)   X(14382)
  X(14252)   X(14383)
  X(14253)   X(14384)
  X(14254)   X(14385)
  X(14255)   X(14386)
  X(14256)   X(7367)
  X(14262)   X(13608)
  X(14264)   X(15454)
  X(14295)   X(17938)   X(805)
  X(14354)   X(1117)
  X(14355)   X(14356)
  X(14356)   X(14355)
  X(14357)   X(14246)
  X(14358)   X(202)
  X(14359)   X(203)
  X(14360)   X(13574)
  X(14361)   X(1032)
  X(14362)   X(14365)
  X(14363)   X(14371)
  X(14364)   X(11061)
  X(14365)   X(14362)
  X(14366)   X(6328)
  X(14367)   X(11584)
  X(14368)   X(14372)
  X(14369)   X(14373)
  X(14370)   X(2896)
  X(14371)   X(14363)
  X(14372)   X(14368)
  X(14373)   X(14369)
  X(14374)   X(14709)
  X(14375)   X(14710)
  X(14376)   X(8743)   X(17907)
  X(14377)   X(3730)   X(17233)
  X(14378)   X(14247)
  X(14379)   X(14249)
  X(14380)   X(4240)
  X(14381)   X(14250)
  X(14382)   X(14251)
  X(14383)   X(14252)
  X(14384)   X(14253)
  X(14385)   X(14254)
  X(14386)   X(14255)
  X(14387)   X(3098)
  X(14388)   X(11645)
  X(14407)   X(4615)
  X(14419)   X(5380)
  X(14438)   X(5386)
  X(14457)   X(17928)
  X(14458)   X(3098)   X(7788)
  X(14479)   X(11057)
  X(14481)   X(3356)
  X(14483)   X(549)
  X(14484)   X(5085)   X(15589)
  X(14486)   X(10519)
  X(14487)   X(12100)
  X(14488)   X(17508)
  X(14489)   X(14912)
  X(14490)   X(10304)
  X(14491)   X(5054)
  X(14492)   X(5092)
  X(14493)   X(10167)
  X(14494)   X(5050)
  X(14496)   X(17502)
  X(14497)   X(10246)
  X(14517)   X(8906)
  X(14518)   X(8905)
  X(14528)   X(3091)
  X(14533)   X(324)
  X(14534)   X(2092)   X(1211)
  X(14536)   X(5609)
  X(14542)   X(7503)
  X(14550)   X(14551)
  X(14551)   X(14550)
  X(14552)   X(14553)
  X(14553)   X(14552)
  X(14554)   X(5053)
  X(14559)   X(9213)
  X(14560)   X(3268)
  X(14567)   X(18023)
  X(14570)   X(2623)   X(15412)
  X(14575)   X(18022)
  X(14582)   X(14590)
  X(14585)   X(18027)
  X(14586)   X(18314)   X(15415)
  X(14590)   X(14582)   X(14592)
  X(14591)   X(14592)
  X(14592)   X(14591)   X(14590)
  X(14593)   X(9723)
  X(14598)   X(18891)
  X(14599)   X(18895)
  X(14602)   X(18896)
  X(14603)   X(8789)   X(9468)
  X(14604)   X(18901)
  X(14606)   X(14607)
  X(14607)   X(14606)
  X(14608)   X(14609)
  X(14609)   X(14608)
  X(14615)   X(64)
  X(14616)   X(3724)   X(758)
  X(14618)   X(4558)
  X(14619)   X(14622)
  X(14620)   X(14623)
  X(14621)   X(2276)   X(3661)
  X(14622)   X(14619)
  X(14623)   X(14620)
  X(14624)   X(16705)
  X(14631)   X(14633)
  X(14633)   X(14631)
  X(14642)   X(15466)
  X(14645)   X(14659)
  X(14659)   X(14645)
  X(14665)   X(14839)
  X(14709)   X(14374)
  X(14710)   X(14375)
  X(14733)   X(6366)
  X(14829)   X(2051)
  X(14838)   X(15455)
  X(14839)   X(14665)
  X(14860)   X(13367)
  X(14861)   X(14865)
  X(14865)   X(14861)
  X(14882)   X(10266)
  X(14906)   X(14907)
  X(14907)   X(14906)
  X(14910)   X(3580)
  X(14912)   X(14489)
  X(14918)   X(11077)
  X(14919)   X(1990)
  X(14920)   X(11079)
  X(14922)   X(11084)
  X(14936)   X(1275)
  X(14938)   X(1199)
  X(14940)   X(15002)
  X(14941)   X(16089)
  X(14942)   X(1458)   X(9436)
  X(14944)   X(16096)
  X(14947)   X(5091)
  X(14948)   X(5108)
  X(14970)   X(8623)   X(732)
  X(14977)   X(4235)
  X(14978)   X(20574)
  X(14987)   X(14988)
  X(14988)   X(14987)
  X(14998)   X(14999)
  X(14999)   X(14998)   X(14223)
  X(15002)   X(14940)
  X(15019)   X(15464)
  X(15077)   X(3515)
  X(15108)   X(11538)
  X(15109)   X(11538)
  X(15164)   X(2574)
  X(15165)   X(2575)
  X(15175)   X(5902)
  X(15179)   X(9957)
  X(15222)   X(15225)
  X(15224)   X(15223)
  X(15225)   X(15222)
  X(15227)   X(15228)
  X(15228)   X(15227)
  X(15232)   X(4225)
  X(15309)   X(15322)
  X(15310)   X(15323)
  X(15311)   X(5897)
  X(15312)   X(15324)
  X(15313)   X(13397)
  X(15314)   X(5285)   X(7270)
  X(15315)   X(5264)
  X(15316)   X(3542)
  X(15317)   X(7505)
  X(15318)   X(6759)   X(20477)
  X(15319)   X(10282)
  X(15320)   X(4184)
  X(15321)   X(6636)   X(7768)
  X(15322)   X(15309)
  X(15323)   X(15310)
  X(15324)   X(15312)
  X(15326)   X(15337)
  X(15328)   X(15329)
  X(15329)   X(15328)
  X(15337)   X(15326)
  X(15338)   X(15339)
  X(15339)   X(15338)
  X(15360)   X(15364)
  X(15363)   X(15365)
  X(15364)   X(15360)
  X(15365)   X(15363)
  X(15369)   X(19583)
  X(15374)   X(2898)
  X(15375)   X(2899)
  X(15376)   X(2901)
  X(15377)   X(2905)
  X(15378)   X(116)
  X(15379)   X(117)
  X(15380)   X(118)
  X(15381)   X(119)
  X(15382)   X(120)
  X(15383)   X(121)
  X(15384)   X(122)
  X(15385)   X(123)
  X(15386)   X(124)
  X(15387)   X(126)
  X(15388)   X(127)
  X(15392)   X(2914)
  X(15394)   X(6525)   X(14249)
  X(15395)   X(3258)
  X(15397)   X(5513)
  X(15398)   X(5095)
  X(15401)   X(128)
  X(15402)   X(5511)
  X(15403)   X(5510)
  X(15404)   X(133)
  X(15406)   X(5512)
  X(15407)   X(132)
  X(15412)   X(1625)   X(14570)
  X(15413)   X(1783)
  X(15415)   X(14586)
  X(15421)   X(16237)
  X(15446)   X(5903)
  X(15451)   X(18831)
  X(15453)   X(7471)
  X(15454)   X(14264)
  X(15455)   X(14838)
  X(15459)   X(1636)
  X(15460)   X(1312)
  X(15461)   X(1313)
  X(15464)   X(15019)
  X(15466)   X(14642)   X(1073)
  X(15467)   X(3190)
  X(15474)   X(2911)   X(17776)
  X(15475)   X(10411)
  X(15478)   X(16172)
  X(15519)   X(16079)   X(16078)
  X(15520)   X(11668)
  X(15533)   X(17503)
  X(15573)   X(9483)
  X(15589)   X(14484)
  X(15595)   X(9476)
  X(15619)   X(7691)
  X(15620)   X(6288)
  X(15726)   X(15731)
  X(15727)   X(15732)
  X(15728)   X(15733)
  X(15730)   X(15734)
  X(15731)   X(15726)
  X(15732)   X(15727)
  X(15733)   X(15728)
  X(15734)   X(15730)
  X(15740)   X(1593)
  X(15742)   X(3937)   X(1565)
  X(15749)   X(15750)
  X(15750)   X(15749)
  X(15815)   X(18845)
  X(15905)   X(459)
  X(15909)   X(15931)
  X(15910)   X(15932)
  X(15931)   X(15909)
  X(15932)   X(15910)
  X(15965)   X(15968)
  X(15966)   X(15967)
  X(15967)   X(15966)
  X(15968)   X(15965)
  X(16000)   X(1658)
  X(16030)   X(17500)
  X(16039)   X(16040)
  X(16040)   X(16039)
  X(16051)   X(10603)
  X(16068)   X(16069)
  X(16069)   X(16068)
  X(16070)   X(13414)
  X(16071)   X(13415)
  X(16075)   X(16076)
  X(16076)   X(16075)
  X(16077)   X(9409)   X(9033)
  X(16080)   X(3284)   X(11064)
  X(16081)   X(3289)
  X(16084)   X(16098)
  X(16085)   X(16100)
  X(16086)   X(16099)
  X(16089)   X(14941)
  X(16093)   X(16103)
  X(16095)   X(16102)
  X(16096)   X(14944)
  X(16098)   X(16084)
  X(16099)   X(16086)
  X(16100)   X(16085)
  X(16101)   X(3505)
  X(16102)   X(16095)
  X(16103)   X(16093)
  X(16168)   X(16169)
  X(16169)   X(16168)
  X(16170)   X(16171)
  X(16171)   X(16170)
  X(16172)   X(15478)
  X(16230)   X(17932)
  X(16237)   X(15421)
  X(16251)   X(10606)
  X(16257)   X(5617)
  X(16258)   X(5613)
  X(16277)   X(3313)
  X(16284)   X(3062)
  X(16285)   X(1239)
  X(16459)   X(618)
  X(16460)   X(619)
  X(16540)   X(16542)
  X(16542)   X(16540)
  X(16556)   X(18834)
  X(16568)   X(2157)
  X(16609)   X(2311)
  X(16615)   X(13624)
  X(16620)   X(16661)
  X(16623)   X(12087)
  X(16661)   X(16620)
  X(16686)   X(8047)
  X(16696)   X(18098)
  X(16703)   X(18098)
  X(16704)   X(4080)
  X(16705)   X(14624)
  X(16732)   X(4567)
  X(16774)   X(9909)
  X(16813)   X(17434)
  X(16835)   X(550)
  X(16867)   X(16868)
  X(16868)   X(16867)
  X(16882)   X(8444)
  X(16883)   X(8454)
  X(16887)   X(18082)
  X(16892)   X(4628)
  X(17018)   X(10013)
  X(17040)   X(5020)
  X(17042)   X(7787)
  X(17053)   X(2985)
  X(17095)   X(7110)
  X(17097)   X(2646)
  X(17098)   X(3612)
  X(17100)   X(17101)
  X(17101)   X(17100)
  X(17104)   X(6757)
  X(17115)   X(8269)
  X(17126)   X(4492)
  X(17127)   X(7241)
  X(17132)   X(17222)
  X(17133)   X(17223)
  X(17135)   X(8049)
  X(17143)   X(13476)
  X(17149)   X(3223)
  X(17187)   X(18082)
  X(17206)   X(2333)   X(1826)
  X(17222)   X(17132)
  X(17223)   X(17133)
  X(17233)   X(14377)
  X(17277)   X(2350)   X(17758)
  X(17322)   X(1224)
  X(17360)   X(5561)
  X(17361)   X(5560)
  X(17402)   X(20578)
  X(17403)   X(20579)
  X(17415)   X(9063)
  X(17434)   X(16813)
  X(17484)   X(19302)
  X(17500)   X(16030)
  X(17502)   X(14496)
  X(17503)   X(8588)   X(15533)
  X(17505)   X(17506)
  X(17506)   X(17505)
  X(17508)   X(14488)
  X(17708)   X(2492)   X(9979)
  X(17711)   X(17714)
  X(17714)   X(17711)
  X(17731)   X(2054)   X(11599)
  X(17735)   X(6650)
  X(17738)   X(18783)
  X(17739)   X(18784)
  X(17743)   X(2275)   X(3662)
  X(17751)   X(20028)
  X(17758)   X(4251)   X(17277)
  X(17762)   X(18757)   X(13610)
  X(17763)   X(17954)
  X(17776)   X(15474)
  X(17780)   X(6548)
  X(17786)   X(3500)
  X(17787)   X(1432)
  X(17788)   X(3497)
  X(17789)   X(3512)
  X(17790)   X(17961)   X(17946)
  X(17791)   X(3065)
  X(17792)   X(18299)
  X(17798)   X(7261)   X(18036)
  X(17858)   X(775)
  X(17863)   X(1257)
  X(17880)   X(7012)
  X(17896)   X(13138)
  X(17907)   X(14376)
  X(17924)   X(906)   X(1332)
  X(17925)   X(4574)
  X(17927)   X(17972)
  X(17928)   X(14457)
  X(17929)   X(17989)   X(18003)
  X(17930)   X(17990)   X(18004)
  X(17931)   X(17992)   X(18006)
  X(17932)   X(17994)   X(16230)
  X(17933)   X(18000)   X(18013)
  X(17934)   X(18001)   X(18014)
  X(17935)   X(18002)   X(18015)
  X(17938)   X(14295)
  X(17939)   X(18003)
  X(17940)   X(18004)
  X(17941)   X(882)
  X(17942)   X(18013)
  X(17943)   X(18014)
  X(17944)   X(18015)
  X(17946)   X(5291)   X(17790)
  X(17947)   X(17966)   X(17950)
  X(17950)   X(17963)   X(17947)
  X(17954)   X(17763)
  X(17956)   X(18028)
  X(17961)   X(17790)
  X(17962)   X(6542)
  X(17963)   X(17950)
  X(17966)   X(17947)
  X(17970)   X(17984)
  X(17971)   X(17987)
  X(17972)   X(17927)
  X(17973)   X(17985)
  X(17974)   X(6530)
  X(17976)   X(17982)
  X(17977)   X(17981)
  X(17980)   X(12215)
  X(17981)   X(17977)
  X(17982)   X(17976)
  X(17983)   X(3292)   X(6390)
  X(17984)   X(17970)
  X(17985)   X(17973)
  X(17987)   X(17971)
  X(17989)   X(17929)
  X(17990)   X(17930)
  X(17992)   X(17931)
  X(17994)   X(17932)
  X(18000)   X(17933)
  X(18001)   X(17934)
  X(18002)   X(17935)
  X(18003)   X(17939)   X(17929)
  X(18004)   X(17940)   X(17930)
  X(18006)   X(17931)
  X(18013)   X(17942)   X(17933)
  X(18014)   X(17943)   X(17934)
  X(18015)   X(17944)   X(17935)
  X(18018)   X(206)   X(22)
  X(18019)   X(18374)   X(23)
  X(18020)   X(125)
  X(18021)   X(181)
  X(18022)   X(14575)   X(184)
  X(18023)   X(14567)   X(187)
  X(18024)   X(9418)   X(237)
  X(18025)   X(516)
  X(18026)   X(1946)   X(521)
  X(18027)   X(14585)   X(577)
  X(18028)   X(17956)
  X(18031)   X(9454)   X(672)
  X(18032)   X(18266)   X(1757)
  X(18033)   X(18265)   X(7077)
  X(18034)   X(18264)   X(9472)
  X(18035)   X(18263)   X(9506)
  X(18036)   X(18262)   X(17798)
  X(18082)   X(17187)   X(16887)
  X(18098)   X(16696)   X(16703)
  X(18105)   X(4576)
  X(18108)   X(4553)
  X(18134)   X(1751)
  X(18149)   X(9361)
  X(18152)   X(2350)
  X(18155)   X(4551)
  X(18156)   X(8769)
  X(18157)   X(18785)
  X(18159)   X(9282)
  X(18206)   X(18785)
  X(18210)   X(5379)
  X(18262)   X(18036)
  X(18263)   X(18035)
  X(18264)   X(18034)
  X(18265)   X(18033)
  X(18266)   X(18032)
  X(18268)   X(3948)
  X(18297)   X(18753)   X(366)
  X(18298)   X(18756)   X(1045)
  X(18299)   X(18758)   X(17792)
  X(18312)   X(5649)
  X(18314)   X(14586)   X(18315)
  X(18315)   X(12077)   X(18314)
  X(18316)   X(3581)
  X(18317)   X(12112)
  X(18332)   X(18333)
  X(18333)   X(18332)
  X(18344)   X(6516)
  X(18349)   X(18350)   X(18354)
  X(18350)   X(18349)
  X(18354)   X(18349)
  X(18355)   X(18356)
  X(18356)   X(18355)
  X(18359)   X(7113)   X(3218)
  X(18361)   X(10546)
  X(18363)   X(18364)
  X(18364)   X(18363)
  X(18365)   X(18366)
  X(18366)   X(18365)
  X(18368)   X(18369)
  X(18369)   X(18368)
  X(18371)   X(18372)
  X(18372)   X(18371)
  X(18374)   X(18019)
  X(18400)   X(18401)
  X(18401)   X(18400)
  X(18434)   X(10298)
  X(18490)   X(6767)
  X(18531)   X(18532)
  X(18532)   X(18531)
  X(18575)   X(11003)   X(7771)
  X(18593)   X(2341)
  X(18695)   X(2190)
  X(18697)   X(2363)
  X(18743)   X(8056)
  X(18749)   X(3362)
  X(18750)   X(2155)   X(2184)
  X(18753)   X(18297)
  X(18755)   X(6625)
  X(18756)   X(18298)
  X(18757)   X(17762)
  X(18758)   X(18299)
  X(18759)   X(18760)
  X(18760)   X(18759)   X(8424)
  X(18771)   X(3035)
  X(18772)   X(4999)
  X(18783)   X(17738)   X(20446)
  X(18784)   X(17739)
  X(18785)   X(18206)   X(18157)
  X(18786)   X(18787)
  X(18787)   X(18786)
  X(18792)   X(18793)
  X(18793)   X(18792)
  X(18794)   X(18795)
  X(18795)   X(18794)
  X(18796)   X(18797)
  X(18797)   X(18796)
  X(18798)   X(18799)
  X(18799)   X(18798)
  X(18811)   X(2098)
  X(18815)   X(2361)   X(4511)
  X(18816)   X(517)
  X(18821)   X(528)
  X(18822)   X(537)
  X(18823)   X(2502)   X(543)
  X(18824)   X(8619)   X(696)
  X(18825)   X(8620)   X(712)
  X(18826)   X(714)
  X(18827)   X(3747)   X(740)
  X(18828)   X(782)
  X(18829)   X(5027)   X(804)
  X(18830)   X(8640)   X(4083)
  X(18831)   X(15451)   X(6368)
  X(18832)   X(1740)
  X(18833)   X(1923)   X(1964)
  X(18834)   X(16556)
  X(18840)   X(3618)
  X(18841)   X(9605)   X(3619)
  X(18842)   X(5024)
  X(18845)   X(15815)
  X(18848)   X(1204)
  X(18850)   X(10605)
  X(18853)   X(19347)
  X(18855)   X(19357)
  X(18876)   X(5523)
  X(18880)   X(19220)   X(19221)
  X(18881)   X(19221)
  X(18891)   X(14598)   X(1911)
  X(18895)   X(14599)   X(1914)
  X(18896)   X(14602)   X(1691)
  X(18898)   X(3314)
  X(18900)   X(871)
  X(18901)   X(14604)   X(8789)
  X(18906)   X(19222)
  X(19118)   X(6340)
  X(19151)   X(5169)
  X(19210)   X(13450)
  X(19213)   X(19214)
  X(19214)   X(19213)
  X(19215)   X(19218)
  X(19216)   X(19217)
  X(19217)   X(19216)
  X(19218)   X(19215)
  X(19220)   X(18880)
  X(19221)   X(18881)   X(18880)
  X(19222)   X(11328)   X(18906)
  X(19302)   X(17484)
  X(19347)   X(18853)
  X(19357)   X(18855)
  X(19373)   X(7026)
  X(19567)   X(7168)
  X(19583)   X(15369)
  X(19604)   X(3158)
  X(19605)   X(1419)
  X(19611)   X(204)   X(1895)
  X(19614)   X(1895)
  X(19623)   X(11611)
  X(19627)   X(20573)
  X(19712)   X(627)
  X(19713)   X(628)
  X(19772)   X(19774)
  X(19773)   X(19775)
  X(19774)   X(19772)
  X(19775)   X(11244)   X(19773)
  X(19776)   X(616)
  X(19777)   X(617)
  X(19780)   X(11121)
  X(19781)   X(11122)
  X(20021)   X(20022)
  X(20022)   X(20021)
  X(20023)   X(263)
  X(20024)   X(20025)
  X(20025)   X(20024)
  X(20026)   X(20027)
  X(20027)   X(20026)
  X(20028)   X(17751)
  X(20029)   X(11337)
  X(20184)   X(20185)
  X(20185)   X(20184)
  X(20186)   X(20187)
  X(20187)   X(20186)
  X(20188)   X(20189)
  X(20189)   X(20188)
  X(20251)   X(7603)
  X(20294)   X(1305)
  X(20295)   X(8050)
  X(20332)   X(1575)
  X(20336)   X(2203)   X(28)
  X(20345)   X(2113)
  X(20421)   X(3830)
  X(20444)   X(7096)
  X(20446)   X(18783)
  X(20477)   X(15318)
  X(20512)   X(20640)
  X(20525)   X(20696)
  X(20533)   X(9500)
  X(20563)   X(24)
  X(20564)   X(26)
  X(20565)   X(35)
  X(20566)   X(36)
  X(20567)   X(9447)   X(41)
  X(20568)   X(2251)   X(44)
  X(20569)   X(45)
  X(20570)   X(46)
  X(20571)   X(47)
  X(20572)   X(49)
  X(20573)   X(19627)   X(50)
  X(20574)   X(14978)
  X(20578)   X(17402)
  X(20579)   X(17403)
  X(20615)   X(3871)
  X(20640)   X(20512)
  X(20641)   X(2156)
  X(20696)   X(20525)
  X(20725)   X(20726)
  X(20726)   X(20725)
  X(20764)   X(7049)
To ETC

Compiled by Peter J C Moses.