a(1) = 1 a(2) = 2 a(3) = 4 a(4) = 6 a(5) = 16 a(6) = 12 a(7) = 24 a(8) = 48 a(9) = 36 a(10) = 96 a(11) = 72 a(12) = 144 a(13) = 210 a(14) = 180 a(15) = 420 a(16) = 360 a(17) = 504 a(18) = 864 a(19) = 630 a(20) = 1080 a(21) = 1512 a(22) = 2160 a(23) = 1260 a(24) = 3150 a(25) = 1890 a(26) = 2520 a(27) = 5040 a(28) = 6300 a(29) = 3780 a(30) = 10080 a(31) = 12600 a(32) = 9450 a(33) = 7560 a(34) = 32760 a(35) = 15120 a(36) = 18900 a(37) = 22680 a(38) = 30240 a(39) = 88830 a(40) = 37800 a(41) = 45360 a(42) = 75600 a(43) = 105840 a(44) = 90720 a(45) = 151200 a(46) = 162540 a(47) = 254520 a(48) = 226800 a(49) = 317520 a(50) = 355320 a(51) = 381780 a(52) = 491400 a(53) = 568890 a(54) = 325080 a(55) = 1018080 a(56) = 650160 a(57) = 982800 a(58) = 763560 a(59) = 1137780 a(60) = 1243620 a(61) = 1625400 a(62) = 1527120 a(63) = 2948400 a(64) = 2290680 a(65) = 3730860 a(66) = 2487240 a(67) = 2275560 a(68) = 3054240 a(69) = 3738420 a(70) = 4551120 a(71) = 6826680 a(72) = 7635600 a(73) = 9427320 a(74) = 9090900 a(75) = 10909080 a(76) = 8722980 a(77) = 13084470 a(78) = 7476840 a(79) = 17561880 a(80) = 15278760 a(81) = 14953680 a(82) = 25454520 a(83) = 22430520 a(84) = 17445960 a(85) = 21818160 a(86) = 27272700 a(87) = 26168940 a(88) = 36363600 a(89) = 49999950 a(90) = 65991240 a(91) = 43636320 a(92) = 53475660 a(93) = 65454480 a(94) = 72727200 a(95) = 54545400 a(96) = 81288900 a(97) = 52337880 a(98) = 134303400 a(99) = 101818080 a(100) = 127272600 a(101) = 99999900 a(102) = 106951320 a(103) = 189674100 a(104) = 172727100 a(105) = 109090800 a(106) = 207272520 a(107) = 152727120 a(108) = 250908840 a(109) = 254545200 a(110) = 411863760 a(111) = 199999800 a(112) = 370908720 a(113) = 345454200 a(114) = 327272400 a(115) = 239999760 a(116) = 359999640 a(117) = 455217840 a(118) = 299999700 a(119) = 414545040 a(120) = 399999600 a(121) = 518181300 a(122) = 479999520 a(123) = 690908400 a(124) = 836362800 a(125) = 916362720 a(126) = 829090080 a(127) = 763635600 a(128) = 1003635360 a(129) = 1139998860 a(130) = 1235591280 a(131) = 599999400 a(132) = 899999100 a(133) = 1254544200 a(134) = 1399998600 a(135) = 1527271200 a(136) = 1499998500 a(137) = 1854543600 a(138) = 2039997960 a(139) = 1439998560 a(140) = 2099997900 a(141) = 2519997480 a(142) = 1679998320 a(143) = 2759997240 a(144) = 1199998800 a(145) = 2072725200 a(146) = 2279997720 a(147) = 1799998200 a(148) <= 3419996580 a(149) = 2999997000 a(150) <= 3399996600 a(151) = 2399997600 a(152) <= 4145450400 a(153) <= 3799996200 a(154) <= 4079995920 a(155) <= 5599994400 a(156) <= 4199995800 a(157) <= 5099994900 a(158) <= 7254538200 a(159) <= 5039994960 a(160) <= 5519994480 a(161) <= 6899993100 a(162) <= 3599996400 a(163) <= 4559995440 a(164) <= 5699994300 a(165) <= 7047265680 a(166) <= 7599992400 a(167) <= 6839993160 a(168) <= 12436351200 a(169) <= 9199990800 a(170) <= 7199992800 a(171) <= 9119990880 a(172) <= 8399991600 a(173) <= 12599987400 a(174) <= 15199984800 a(175) <= 13299986700 a(176) <= 10199989800 a(177) <= 15890893200 a(178) <= 16559983440 a(179) <= 18399981600 a(180) <= 13799986200 a(181) <= 11399988600 a(182) <= 17618164200 a(183) <= 15959984040 a(184) <= 34499965500 a(185) <= 23799976200 a(186) <= 17099982900 a(187) <= 13679986320 a(188) <= 23836339800 a(189) <= 33119966880 a(190) <= 28559971440 a(191) <= 25199974800 a(192) <= 20399979600 a(193) <= 30599969400 a(194) <= 48959951040 a(195) <= 41109049800 a(196) <= 27359972640 a(197) <= 27599972400 a(198) <= 22799977200 a(199) <= 50999949000 a(200) <= 46919953080 a(201) <= 39899960100 a(202) <= 52439947560 a(203) <= 40799959200 a(204) <= 31919968080 a(205) <= 34199965800 a(206) <= 38759961240 a(207) <= 55199944800 a(208) <= 85499914500 a(209) <= 53199946800 a(210) <= 82218099600 a(211) <= 110199889800 a(212) <= 61199938800 a(213) <= 71399928600 a(214) <= 105708985200 a(215) <= 63839936160 a(216) <= 78199921800 a(217) <= 64599935400 a(218) <= 112438806480 a(219) <= 143018038800 a(220) <= 106399893600 a(221) <= 87399912600 a(222) <= 79799920200 a(223) <= 104879895120 a(224) <= 119699880300 a(225) <= 68399931600 a(226) <= 132239867760 a(227) <= 77519922480 a(228) <= 131099868900 a(229) <= 95759904240 a(230) <= 243599756400 a(231) <= 214199785800 a(232) <= 142799857200 a(233) <= 156399843600 a(234) <= 129199870800 a(235) <= 209759790240 a(236) <= 187679812320 a(237) <= 193199806800 a(238) <= 174799825200 a(239) <= 246654298800 a(240) <= 155039844960 a(241) <= 191519808480 a(242) <= 348839651160 a(243) <= 159599840400 a(244) <= 333708757200 a(245) <= 226099773900 a(246) <= 322999677000 a(247) <= 234599765400 a(248) <= 383039616960 a(249) <= 386399613600 a(250) <= 290699709300 a(251) <= 310079689920 a(252) <= 393299606700 a(253) <= 262199737800 a(254) <= 193799806200 a(255) <= 271319728680 a(256) <= 516799483200 a(257) <= 667417514400 a(258) <= 462839537160 a(259) <= 563039436960 a(260) <= 655499344500 a(261) <= 638399361600 a(262) <= 620159379840 a(263) <= 645999354000 a(264) <= 629279370720 a(265) <= 562194032400 a(266) <= 547399452600 a(267) <= 697679302320 a(268) <= 856799143200 a(269) <= 465119534880 a(270) <= 797999202000 a(271) <= 478799521200 a(272) <= 452199547800 a(273) <= 611799388200 a(274) <= 524399475600 a(275) <= 387599612400 a(276) <= 1060198939800 a(277) <= 1656478343520 a(278) <= 734159265840 a(279) <= 813959186040 a(280) <= 542639457360 a(281) <= 1388518611480 a(282) <= 925679074320 a(283) <= 938399061600 a(284) <= 1966498033500 a(285) <= 891479108520 a(286) <= 1048798951200 a(287) <= 1979038020960 a(288) <= 775199224800 a(289) <= 1313758686240 a(290) <= 1915198084800 a(291) <= 1860478139520 a(292) <= 1407598592400 a(293) <= 904399095600 a(294) <= 1468318531680 a(295) <= 1223598776400 a(296) <= 1085278914720 a(297) <= 2345997654000 a(298) <= 2393997606000 a(299) <= 1550398449600 a(300) <= 1642198357800 a(301) <= 2836524436200 a(302) <= 2403117596880 a(303) <= 2753097246900 a(304) <= 2034897965100 a(305) <= 1162798837200 a(306) <= 1937998062000 a(307) <= 2202477797520 a(308) <= 1485798514200 a(309) <= 1808798191200 a(310) <= 2314197685800 a(311) <= 1356598643400 a(312) <= 1782958217040 a(313) <= 5038794961200 a(314) <= 3941276058720 a(315) <= 6725193274800 a(316) <= 4588495411500 a(317) <= 3746796253200 a(318) <= 3146396853600 a(319) <= 3617596382400 a(320) <= 2325597674400 a(321) <= 3488396511600 a(322) <= 4926595073400 a(323) <= 4883755116240 a(324) <= 4404955595040 a(325) <= 5673048872400 a(326) <= 3255836744160 a(327) <= 4521995478000 a(328) <= 3284396715600 a(329) <= 8282391717600 a(330) <= 2971597028400 a(331) <= 4651195348800 a(332) <= 7421392578600 a(333) <= 8023311976680 a(334) <= 4628395371600 a(335) <= 3670796329200 a(336) <= 2713197286800 a(337) <= 6686093313900 a(338) <= 4069795930200 a(339) <= 6511673488320 a(340) <= 6007793992200 a(341) <= 4160235839760 a(342) <= 9302390697600 a(343) <= 9043990956000 a(344) <= 5348874651120 a(345) <= 15116384883600 a(346) <= 5200294799700 a(347) <= 7428992571000 a(348) <= 5943194056800 a(349) <= 6782993217000 a(350) <= 4457395542600 a(351) <= 7341592658400 a(352) <= 5426394573600 a(353) <= 11143488856500 a(354) <= 6240353759640 a(355) <= 7868272131720 a(356) <= 12209387790600 a(357) <= 13137586862400 a(358) <= 18992381007600 a(359) <= 21253378746600 a(360) <= 11886388113600 a(361) <= 14683185316800 a(362) <= 8320471679520 a(363) <= 13885186114800 a(364) <= 10697749302240 a(365) <= 10852789147200 a(366) <= 16046623953360 a(367) <= 8139591860400 a(368) <= 23333496666480 a(369) <= 14857985142000 a(370) <= 30745769254200 a(371) <= 16821823178160 a(372) <= 11240388759600 a(373) <= 16860583139400 a(374) <= 13565986434000 a(375) <= 26976933023040 a(376) <= 20348979651000 a(377) <= 8914791085200 a(378) <= 33333566666400 a(379) <= 21395498604480 a(380) <= 13372186627800 a(381) <= 27770372229600 a(382) <= 30415169584800 a(383) <= 18721061278920 a(384) <= 22024777975200 a(385) <= 16279183720800 a(386) <= 10400589599400 a(387) <= 15600884399100 a(388) <= 12480707519280 a(389) <= 36707963292000 a(390) <= 27131972868000 a(391) <= 22480777519200 a(392) <= 22286977713000 a(393) <= 50000349999600 a(394) <= 42581237418720 a(395) <= 17829582170400 a(396) <= 48062351937600 a(397) <= 61046938953000 a(398) <= 32558367441600 a(399) <= 26227573772400 a(400) <= 55620544379400 a(401) <= 63566336433600 a(402) <= 36046763953200 a(403) <= 33721166278800 a(404) <= 48837551162400 a(405) <= 40697959302000 a(406) <= 67287292712640 a(407) <= 51705788294160 a(408) <= 56072743927200 a(409) <= 35659164340800 a(410) <= 24961415038560 a(411) <= 70968729031200 a(412) <= 26744373255600 a(413) <= 65568934431000 a(414) <= 20801179198800 a(415) <= 42054557945400 a(416) <= 56897343102600 a(417) <= 53226546773400 a(418) <= 153024326975520 a(419) <= 44573955426000 a(420) <= 72093527906400 a(421) <= 108140291859600 a(422) <= 37442122557840 a(423) <= 81395918604000 a(424) <= 67442332557600 a(425) <= 95247504752400 a(426) <= 39341360658600 a(427) <= 49922830077120 a(428) <= 71318328681600 a(429) <= 86176313823600 a(430) <= 179846220153600 a(431) <= 31201768798200 a(432) <= 53488746511200 a(433) <= 52002947997000 a(434) <= 140181859818000 a(435) <= 41602358397600 a(436) <= 121835478164400 a(437) <= 89147910852000 a(438) <= 110543409456480 a(439) <= 80233119766800 a(440) <= 92119507880400 a(441) <= 94419265580640 a(442) <= 142636657363200 a(443) <= 224807775192000 a(444) <= 150502649497200 a(445) <= 146202573797280 a(446) <= 74884245115680 a(447) <= 84109115890800 a(448) <= 83204716795200 a(449) <= 184342375657440 a(450) <= 329036834599200 a(451) <= 178295821704000 a(452) <= 165815114184720 a(453) <= 204575075424720 a(454) <= 118024081975800 a(455) <= 222482177517600 a(456) <= 172352627647200 a(457) <= 78682721317200 a(458) <= 188838531161280 a(459) <= 233334966664800 a(460) <= 160466239533600 a(461) <= 104005895994000 a(462) <= 243670956328800 a(463) <= 184239015760800 a(464) <= 93605306394600 a(465) <= 62403537596400 a(466) <= 213954986044800 a(467) <= 168218231781600 a(468) <= 399382640616960 a(469) <= 421810378189200 a(470) <= 301005298994400 a(471) <= 270415329584400 a(472) <= 212906187093600 a(473) <= 344705255294400 a(474) <= 267443732556000 a(475) <= 320932479067200 a(476) <= 444964355035200 a(477) <= 332818867180800 a(478) <= 331630228369440 a(479) <= 409150150849440 a(480) <= 319359280640400 a(481) <= 157365442634400 a(482) <= 208011791988000 a(483) <= 252327347672400 a(484) <= 299536980462720 a(485) <= 341384058615600 a(486) <= 623510976488400 a(487) <= 124807075192800 a(488) <= 814530385468800 a(489) <= 236048163951600 a(490) <= 436824763174800 a(491) <= 620469459529920 a(492) <= 460597539402000 a(493) <= 258528941470800 a(494) <= 540830659168800 a(495) <= 416023583976000 a(496) <= 532265467734000 a(497) <= 314730885268800 a(498) <= 672872927126400 a(499) <= 420545579454000 a(500) <= 586593253406160 a(501) <= 365506434493200 a(502) <= 676671403327920 a(503) <= 187210612789200 a(504) <= 249614150385600 a(505) <= 504654695344800 a(506) <= 638718561280800 a(507) <= 487832872166640 a(508) <= 1069774930224000 a(509) <= 766672033327200 a(510) <= 898610941388160 a(511) <= 686438913560400 a(512) <= 629461770537600 a(513) <= 873649526349600 a(514) <= 361940518059120 a(515) <= 472096327903200 a(516) <= 386901933097680 a(517) <= 312017687982000 a(518) <= 1247021952976800 a(519) <= 841091158908000 a(520) <= 696904103095200 a(521) <= 517057882941600 a(522) <= 1093418506580400 a(523) <= 499228300771200 a(524) <= 1664094335904000 a(525) <= 921711878287200 a(526) <= 552717047282400 a(527) <= 374421225578400 a(528) <= 1256985543013200 a(529) <= 775586824412400 a(530) <= 731012868986400 a(531) <= 1022875377123600 a(532) <= 944192655806400 a(533) <= 561631838367600 a(534) <= 1682182317816000 a(535) <= 1180240819758000 a(536) <= 894450705548400 a(537) <= 975665744333280 a(538) <= 998456601542400 a(539) <= 624035375964000 a(540) <= 1034115765883200 a(541) <= 2653041826955520 a(542) <= 603234196765200 a(543) <= 829075570923600 a(544) <= 773803866195360 a(545) <= 748842451156800 a(546) <= 1105434094564800 a(547) <= 2119937320060560 a(548) <= 723881036118240 a(549) <= 644836555162800 a(550) <= 2146681693316160 a(551) <= 2059316740681200 a(552) <= 1462025737972800 a(553) <= 1684895515102800 a(554) <= 3494598105398400 a(555) <= 936053063946000 a(556) <= 1248070751928000 a(557) <= 2045750754247200 a(558) <= 1123263676735200 a(559) <= 1551173648824800 a(560) <= 2068231531766400 a(561) <= 1381792618206000 a(562) <= 2046836033161920 a(563) <= 1788901411096800 a(564) <= 3120176879820000 a(565) <= 1497684902313600 a(566) <= 3686847513148800 a(567) <= 1547607732390720 a(568) <= 3289557910438800 a(569) <= 1658151141847200 a(570) <= 1447762072236480 a(571) <= 2433737966259600 a(572) <= 3698087901908400 a(573) <= 4751583648411600 a(574) <= 1206468393530400 a(575) <= 2496141503856000 a(576) <= 1289673110325600 a(577) <= 3244983955012800 a(578) <= 2924051475945600 a(579) <= 1872106127892000 a(580) <= 3102347297649600 a(581) <= 2995369804627200 a(582) <= 3411393388603200 a(583) <= 5161586518408320 a(584) <= 2763585236412000 a(585) <= 2171643108354720 a(586) <= 4421736378259200 a(587) <= 6552371447622000 a(588) <= 2808159191838000 a(589) <= 2321411598586080 a(590) <= 3316302283694400 a(591) <= 3383357016639600 a(592) <= 2412936787060800 a(593) <= 2932966267030800 a(594) <= 2895524144472960 a(595) <= 2579346220651200 a(596) <= 3681808718187600 a(597) <= 3744212255784000 a(598) <= 4867475932519200 a(599) <= 7742379777612480 a(600) <= 6204694595299200 a(601) <= 3016170983826000 a(602) <= 2558545041452400 a(603) <= 4145377854618000 a(604) <= 5527170472824000 a(605) <= 6822786777206400 a(606) <= 2439164360833200 a(607) <= 8187344132647680 a(608) <= 9210762149228640 a(609) <= 4343286216709440 a(610) <= 7301213898778800 a(611) <= 3224182775814000 a(612) <= 6190430929562880 a(613) <= 4642823197172160 a(614) <= 1809702590295600 a(615) <= 10341157658832000 a(616) <= 6514929325064160 a(617) <= 5158692441302400 a(618) <= 5865932534061600 a(619) <= 1934509665488400 a(620) <= 6600091799901600 a(621) <= 6964234795758240 a(622) <= 12380861859125760 a(623) <= 5366704233290400 a(624) <= 6766714033279200 a(625) <= 9677974722015600 a(626) <= 9617276622713760 a(627) <= 6451983148010400 a(628) <= 9651747148243200 a(629) <= 8290755709236000 a(630) <= 12719623920363360 a(631) <= 9900137699852400 a(632) <= 12683654676332640 a(633) <= 6032341967652000 a(634) <= 8686572433418880 a(635) <= 9410453469537120 a(636) <= 4878328721666400 a(637) <= 5117090082904800 a(638) <= 6448365551628000 a(639) <= 9285646394344320 a(640) <= 13029858650128320 a(641) <= 17056966943016000 a(642) <= 8798898801092400 a(643) <= 10733408466580800 a(644) <= 17909815290166800 a(645) <= 12667918132069200 a(646) <= 7317493082499600 a(647) <= 3869019330976800 a(648) <= 3619405180591200 a(649) <= 26316463283510400 a(650) <= 16581511418472000 a(651) <= 12064683935304000 a(652) <= 15253207546777200 a(653) <= 5429107770886800 a(654) <= 9756657443332800 a(655) <= 25367309352665280 a(656) <= 20976813503165520 a(657) <= 12896731103256000 a(658) <= 10599686600302800 a(659) <= 28265830934140800 a(660) <= 24301720498255200 a(661) <= 13541567658418800 a(662) <= 20118900521079360 a(663) <= 10234180165809600 a(664) <= 29516873283097200 a(665) <= 5803528996465200 a(666) <= 12792725207262000 a(667) <= 14839561240423920 a(668) <= 21466816933161600 a(669) <= 36166919833044000 a(670) <= 7238810361182400 a(671) <= 12195821804166000 a(672) <= 24129367870608000 a(673) <= 27856939183032960 a(674) <= 21952479247498800 a(675) <= 19513314886665600 a(676) <= 28231360408611360 a(677) <= 34148301051664800 a(678) <= 14634986164999200 a(679) <= 25793462206512000 a(680) <= 9048512951478000 a(681) <= 34384349215616400 a(682) <= 11220156059832720 a(683) <= 51071055168893760 a(684) <= 15351270248714400 a(685) <= 25977701222272800 a(686) <= 43983641216314800 a(687) <= 30506415093554400 a(688) <= 22661398938578400 a(689) <= 9672548327442000 a(690) <= 36818087181876000 a(691) <= 20468360331619200 a(692) <= 27083135316837600 a(693) <= 33261085538881200 a(694) <= 14477620722364800 a(695) <= 15476077323907200 a(696) <= 11607057992930400 a(697) <= 29269972329998400 a(698) <= 31725958514009760 a(699) <= 53661615938330400 a(700) <= 16028794371189600 a(701) <= 24391643608332000 a(702) <= 17410586989395600 a(703) <= 46690326829626480 a(704) <= 52793392806554400 a(705) <= 80492423907495600 a(706) <= 36368781711181920 a(707) <= 42708981130976160 a(708) <= 23526133673842800 a(709) <= 31126884553084320 a(710) <= 24043191556784400 a(711) <= 28955241444729600 a(712) <= 45242564757390000 a(713) <= 21716431083547200 a(714) <= 18097025902956000 a(715) <= 30952154647814400 a(716) <= 48861969937981200 a(717) <= 19345096654884000 a(718) <= 42559212640744800 a(719) <= 27145538854434000 a(720) <= 23214115985860800 a(721) <= 95067332132572800 a(722) <= 56653497346446000 a(723) <= 64944253055682000 a(724) <= 48362741637210000 a(725) <= 22440312119665440 a(726) <= 39813456986503200 a(727) <= 32574646625320800 a(728) <= 80500563499356000 a(729) <= 33660468179498160 a(730) <= 96779747220156000 a(731) <= 88933955865955200 a(732) <= 42398746401211200 a(733) <= 59720185479754800 a(734) <= 34821173978791200 a(735) <= 85417962261952320 a(736) <= 36194051805912000 a(737) <= 29017644982326000 a(738) <= 43432862167094400 a(739) <= 102067226092671840 a(740) <= 38690193309768000 a(741) <= 63418273381663200 a(742) <= 133556051163815280 a(743) <= 123034814725062240 a(744) <= 40071985927974000 a(745) <= 50297251302698400 a(746) <= 46428231971721600 a(747) <= 72129574670353200 a(748) <= 48086383113568800 a(749) <= 90645595754313600 a(750) <= 64115177484758400 a(751) <= 65149293250641600 a(752) <= 93380653659252960 a(753) <= 44880624239330880 a(754) <= 59358244961695680 a(755) <= 54291077708868000 a(756) <= 86865724334188800 a(757) <= 95914237285666800 a(758) <= 104463521936373600 a(759) <= 69642347957582400 a(760) <= 72388103611824000 a(761) <= 106398031601862000 a(762) <= 190018771981038000 a(763) <= 133044342155524800 a(764) <= 75445876954047600 a(765) <= 77380386619536000 a(766) <= 100981404538494480 a(767) <= 99533642466258000 a(768) <= 58035289964652000 a(769) <= 102529012270885200 a(770) <= 100005738794161200 a(771) <= 128488883910987600 a(772) <= 119440370959509600 a(773) <= 105996866003028000 a(774) <= 94104534695371200 a(775) <= 67320936358996320 a(776) <= 127196239203633600 a(777) <= 144776207223648000 a(778) <= 87052934946978000 a(779) <= 80143971855948000 a(780) <= 114136070263815600 a(781) <= 190794358805450400 a(782) <= 199566513233287200 a(783) <= 299349769849930800 a(784) <= 89761248478661760 a(785) <= 77817211382710800 a(786) <= 139284695915164800 a(787) <= 79314896285024400 a(788) <= 203123514876282000 a(789) <= 243748217851538400 a(790) <= 283803947395768800 a(791) <= 120215957783922000 a(792) <= 116070579929304000 a(793) <= 270831353168376000 a(794) <= 249015076424674560 a(795) <= 212796063203724000 a(796) <= 446367078032475600 a(797) <= 162873233126604000 a(798) <= 150891753908095200 a(799) <= 74197806202119600 a(800) <= 192345532454275200 a(801) <= 178074734885087040 a(802) <= 106772452827440400 a(803) <= 211993732006056000 a(804) <= 160287943711896000 a(805) <= 134641872717992640 a(806) <= 179522496957323520 a(807) <= 205058024541770400 a(808) <= 278569391830329600 a(809) <= 399282794956805760 a(810) <= 174105869893956000 a(811) <= 242500147099610400 a(812) <= 220034873564906400 a(813) <= 208374326825464800 a(814) <= 201962809076988960 a(815) <= 170112043487786400 a(816) <= 220783716016063200 a(817) <= 235261336738428000 a(818) <= 209768135031655200 a(819) <= 56100780299163600 a(820) <= 300017216382483600 a(821) <= 282313604086113600 a(822) <= 331175574024094800 a(823) <= 166367831232002400 a(824) <= 763744415934820320 a(825) <= 314652202547482800 a(826) <= 255168065231679600 a(827) <= 312142495057192800 a(828) <= 158629792570048800 a(829) <= 240431915567844000 a(830) <= 233451634148132400 a(831) <= 155634422765421600 a(832) <= 458562899836641600 a(833) <= 360647873351766000 a(834) <= 440791845207714000 a(835) <= 181843908555909600 a(836) <= 534224204655261120 a(837) <= 269283745435985280 a(838) <= 603816629782766400 a(839) <= 377229384770238000 a(840) <= 410116049083540800 a(841) <= 571866018533409600 a(842) <= 605888427230966880 a(843) <= 440069747129812800 a(844) <= 213544905654880800 a(845) <= 222593418606358800 a(846) <= 237944688855073200 a(847) <= 441567432032126400 a(848) <= 291724057555650720 a(849) <= 320317358482321200 a(850) <= 638388189611172000 a(851) <= 332735662464004800 a(852) <= 148395612404239200 a(853) <= 493686866632639680 a(854) <= 425280108719466000 a(855) <= 500028693970806000 a(856) <= 480863831135688000 a(857) <= 603567015632380800 a(858) <= 520935817063662000 a(859) <= 687844349754962400 a(860) <= 590025447973962000 a(861) <= 272765862833864400 a(862) <= 112201560598327200 a(863) <= 317259585140097600 a(864) <= 389086056913554000 a(865) <= 575485423714000800 a(866) <= 363687817111819200 a(867) <= 629304405094965600 a(868) <= 570680351319078000 a(869) <= 510336130463359200 a(870) <= 168302340897490800 a(871) <= 392705462094145200 a(872) <= 415919578080006000 a(873) <= 721295746703532000 a(874) <= 883134864064252800 a(875) <= 740530299948959520 a(876) <= 615174073625311200 a(877) <= 499103493696007200 a(878) <= 680448173951145600 a(879) <= 466903268296264800 a(880) <= 454609771389774000 a(881) <= 849526101673048800 a(882) <= 665471324928009600 a(883) <= 1207134031264761600 a(884) <= 583448115111301440 a(885) <= 667780255819076400 a(886) <= 296791224808478400 a(887) <= 370989031010598000 a(888) <= 533862264137202000 a(889) <= 987373733265279360 a(890) <= 224403121196654400 a(891) <= 960952075446963600 a(892) <= 689238157961152800 a(893) <= 855989325209818800 a(894) <= 640634716964642400 a(895) <= 1618597996760384640 a(896) <= 622537691061686400 a(897) <= 1033857236941729200 a(898) <= 816175868223315600 a(899) <= 634519170280195200 a(900) <= 753353335445911200 a(901) <= 445186837212717600 a(902) <= 1290317946880762800 a(903) <= 818297588501593200 a(904) <= 1038769286829674400 a(905) <= 1800103298294901600 a(906) <= 998206987392014400 a(907) <= 1418548301850279600 a(908) <= 1562807451190986000 a(909) <= 1011623747975240400 a(910) <= 778172113827108000 a(911) <= 280503901495818000 a(912) <= 793148962850244000 a(913) <= 1435094154104410800 a(914) <= 1875368941429183200 a(915) <= 504907022692472400 a(916) <= 336604681794981600 a(917) <= 785410924188290400 a(918) <= 1872854970343156800 a(919) <= 593582449616956800 a(920) <= 1166896230222602880 a(921) <= 448806242393308800 a(922) <= 657180569218773600 a(923) <= 1537935184063278000 a(924) <= 1054694669624275680 a(925) <= 1447400131718420880 a(926) <= 1907426530171562400 a(927) <= 951778755420292800 a(928) <= 964571480627554800 a(929) <= 964933421145613920 a(930) <= 1067724528274404000 a(931) <= 2000114775883224000 a(932) <= 1189723444275366000 a(933) <= 1112967093031794000 a(934) <= 1091063451335457600 a(935) <= 1427668133130439200 a(936) <= 2041344521853436800 a(937) <= 890373674425435200 a(938) <= 1663678312320024000 a(939) <= 1187164899233913600 a(940) <= 741978062021196000 a(941) <= 920052796906283040 a(942) <= 1711978650419637600 a(943) <= 897612484786617600 a(944) <= 1636595177003186400 a(945) <= 1363829314169322000 a(946) <= 673209363589963200 a(947) <= 1514721068077417200 a(948) <= 2333792460445205760 a(949) <= 1867613073185059200 a(950) <= 2162781806016031200 a(951) <= 1570821848376580800 a(952) <= 1883383338614778000 a(953) <= 729310143889126800 a(954) <= 561007802991636000 a(955) <= 1632351736446631200 a(956) <= 2562538867858569600 a(957) <= 3402240869755728000 a(958) <= 1402519507479090000 a(959) <= 2334516341481324000 a(960) <= 1314361138437547200 a(961) <= 2870188308208821600 a(962) <= 2109389339248551360 a(963) <= 1009814045384944800 a(964) <= 841511704487454000 a(965) <= 2260060006337733600 a(966) <= 2495517468480036000 a(967) <= 3197744477052325200 a(968) <= 1642951423046934000 a(969) <= 1929866842291227840 a(970) <= 1234217166581599200 a(971) <= 1780747348850870400 a(972) <= 3828606800029371360 a(973) <= 2855336266260878400 a(974) <= 1483956124042392000 a(975) <= 3112688455308432000 a(976) <= 2379446888550732000 a(977) <= 2356232772564871200 a(978) <= 1346418727179926400 a(979) <= 2671121023276305600 a(980) <= 3636878171118192000 a(981) <= 3569170332826098000 a(982) <= 1122015605983272000 a(983) <= 3141643696753161600 a(984) <= 4135428947766916800 a(985) <= 1840105593812566080 a(986) <= 1929142961255109600 a(987) <= 3545956216840237200 a(988) <= 3807115021681171200 a(989) <= 2225934186063588000 a(990) <= 3164084008872827040 a(991) <= 3264703472893262400 a(992) <= 3561494697701740800 a(993) <= 3410540540256049200 a(994) <= 2019628090769889600 a(995) <= 2628722276875094400 a(996) <= 3029442136154834400 a(997) <= 3766766677229556000 a(998) <= 4046494991900961600 a(999) <= 6232615720978046400 a(1000) <= 1458620287778253600 a(1001) <= 2805039014958180000 a(1002) <= 2692837454359852800 a(1003) <= 4818863576731604400 a(1004) <= 2468434333163198400 a(1005) <= 5018305282889698800 a(1006) <= 4124374606821268800 a(1007) <= 2967912248084784000 a(1008) <= 2187930431667380400 a(1009) <= 6283287393506323200 a(1010) <= 1683023408974908000 a(1011) <= 3859733684582455680 a(1012) <= 5364395302399333200 a(1013) <= 2244031211966544000 a(1014) <= 2524535113462362000 a(1015) <= 6546380708012745600 a(1016) <= 4838208673386488400 a(1017) <= 3927054620941452000 a(1018) <= 5455317256677288000 a(1019) <= 3943083415312641600 a(1020) <= 3285902846093868000 a(1021) <= 6892381579611528000 a(1022) <= 4928854269140802000 a(1023) <= 3422147598248979600 a(1024) <= 2973341355855670800 a(1025) <= 4451868372127176000 a(1026) <= 3085542916453998000 a(1027) <= 3858285922510219200 a(1028) <= 3680211187625132160 a(1029) <= 5610078029916360000 a(1030) <= 3702651499744797600 a(1031) <= 6328168017745654080 a(1032) <= 8182975885015932000 a(1033) <= 8684400790310525280 a(1034) <= 10684484093105222400 a(1035) <= 4377670565925056400 a(1036) <= 2917240575556507200 a(1037) <= 8559893252098188000 a(1038) <= 4526066178329295600 a(1039) <= 5787428883765328800 a(1040) <= 2412333552864034800 a(1041) <= 2636736674060689200 a(1042) <= 9859102346487794400 a(1043) <= 14666346849638484000 a(1044) <= 8407379006212586400 a(1045) <= 15994525914258091200 a(1046) <= 8976124847866176000 a(1047) <= 3309946037650652400 a(1048) <= 8248749213642537600 a(1049) <= 7573605340387086000 a(1050) <= 3646550719445634000 a(1051) <= 2300131992265707600 a(1052) <= 9359157761632879200 a(1053) <= 7360422375250264320 a(1054) <= 7886166830625283200 a(1055) <= 7455600250792293600 a(1056) <= 10728790604798666400 a(1057) <= 8161758682233156000 a(1058) <= 6571805692187736000 a(1059) <= 4375860863334760800 a(1060) <= 11220156059832720000 a(1061) <= 9493699788690717600 a(1062) <= 5049070226924724000 a(1063) <= 10461890674498863600 a(1064) <= 6974593782999242400 a(1065) <= 7864967457424677600 a(1066) <= 6563791295002141200 a(1067) <= 9571517000073428400 a(1068) <= 13773646414739811600 a(1069) <= 14272038508107219840 a(1070) <= 17634990110592254400 a(1071) <= 10536088480700983200 a(1072) <= 5834481151113014400 a(1073) <= 11579201053747367040 a(1074) <= 12373123820463806400 a(1075) <= 6171085832907996000 a(1076) <= 17368801580621050560 a(1077) <= 11797451186137016400 a(1078) <= 6844295196497959200 a(1079) <= 10832879705509461600 a(1080) <= 5946682711711341600 a(1081) <= 7966310802481231200 a(1082) <= 11574857767530657600 a(1083) <= 6381011333382285600 a(1084) <= 9645714806275548000 a(1085) <= 17200987072595726400 a(1086) <= 14456590730194813200 a(1087) <= 9256628749361994000 a(1088) <= 20296875410304292800 a(1089) <= 16830234089749080000 a(1090) <= 13133011697775169200 a(1091) <= 13642162161024196800 a(1092) <= 17362286651295986400 a(1093) <= 10098140453849448000 a(1094) <= 20073221131558795200 a(1095) <= 11040633562875396480 a(1096) <= 13464187271799264000 a(1097) <= 4824667105728069600 a(1098) <= 7237000658592104400 a(1099) <= 16560950344313094720 a(1100) <= 11668962302226028800 a(1101) <= 8755341131850112800 a(1102) <= 6619892075301304800 a(1103) <= 8920024067567012400 a(1104) <= 15638576135808225600 a(1105) <= 53755405742140502400 a(1106) <= 18987399577381435200 a(1107) <= 10939652158336902000 a(1108) <= 9929838112951957200 a(1109) <= 7910210022182067600 a(1110) <= 19352834693545953600 a(1111) <= 25245351134623620000 a(1112) <= 13949187565998484800 a(1113) <= +oo a(1114) <= 4600263984531415200 a(1115) <= 6900395976797122800 a(1116) <= 71573762407606018560 a(1117) <= 24746247640927612800 a(1118) <= +oo a(1119) <= 11893365423422683200 a(1120) <= 13688590392995918400 a(1121) <= 16381427847355771200 a(1122) <= 17727846574535697600 a(1123) <= 30932809551159516000 a(1124) <= +oo a(1125) <= 19291429612551096000 a(1126) <= 20196280907698896000 a(1127) <= 28481099366072152800 a(1128) <= 12762022666764571200 a(1129) <= 20923781348997727200 a(1130) <= 30294421361548344000 a(1131) <= +oo a(1132) <= 45201200126754672000 a(1133) <= 14586202877782536000 a(1134) <= 17503443453339043200 a(1135) <= 10546946696242756800 a(1136) <= 23457864203712338400 a(1137) <= 9649334211456139200 a(1138) <= 13239784150602609600 a(1139) <= 18513257498723988000 a(1140) <= 19143034000146856800 a(1141) <= 29029252040318930400 a(1142) <= 27769886248085982000 a(1143) <= 17510682263700225600 a(1144) <= 17110737991244898000 a(1145) <= 18104264713317182400 a(1146) <= +oo a(1147) <= 31277152271616451200 a(1148) <= 47124655451297424000 a(1149) <= 49492495281855225600 a(1150) <= 21711001975776313200 a(1151) <= +oo a(1152) <= +oo a(1153) <= 12061667764320174000 a(1154) <= 27377180785991836800 a(1155) <= 39382747770012847200 a(1156) <= 24572141771033656800 a(1157) <= +oo a(1158) <= 9200527969062830400 a(1159) <= 14474001317184208800 a(1160) <= 26266023395550338400 a(1161) <= 29789514338855871600 a(1162) <= 17840048135134024800 a(1163) <= 60588842723096688000 a(1164) <= 35006886906678086400 a(1165) <= +oo a(1166) <= +oo a(1167) <= 19859676225903914400 a(1168) <= 20701187930391368400 a(1169) <= 11500659961328538000 a(1170) <= +oo a(1171) <= 25524045333529142400 a(1172) <= +oo a(1173) <= +oo a(1174) <= +oo a(1175) <= 21093893392485513600 a(1176) <= 48382086733864884000 a(1177) <= +oo a(1178) <= +oo a(1179) <= 19298668422912278400 a(1180) <= 57874288837653288000 a(1181) <= +oo a(1182) <= 13800791953594245600 a(1183) <= +oo a(1184) <= +oo a(1185) <= +oo a(1186) <= 35021364527400451200 a(1187) <= 41065771178987755200 a(1188) <= 38286068000293713600 a(1189) <= +oo a(1190) <= +oo a(1191) <= +oo a(1192) <= +oo a(1193) <= +oo a(1194) <= 53183539723607092800 a(1195) <= +oo a(1196) <= 43758608633347608000 a(1197) <= 52510330360017129600 a(1198) <= +oo a(1199) <= 34221475982489796000 a(1200) <= +oo a(1201) <= 28948002634368417600 a(1202) <= +oo a(1203) <= +oo a(1204) <= 52532046791100676800 a(1205) <= +oo a(1206) <= +oo a(1207) <= 51332213973734694000 a(1208) <= +oo a(1209) <= 26367366740606892000 a(1210) <= 24123335528640348000 a(1211) <= +oo a(1212) <= +oo a(1213) <= +oo a(1214) <= 36185003292960522000 a(1215) <= +oo a(1216) <= +oo a(1217) <= +oo a(1218) <= +oo a(1219) <= +oo a(1220) <= +oo a(1221) <= 47461260133092405600 a(1222) <= +oo a(1223) <= +oo a(1224) <= 39551050110910338000 a(1225) <= +oo a(1226) <= +oo a(1227) <= +oo a(1228) <= +oo a(1229) <= 27601583907188491200 a(1230) <= +oo a(1231) <= +oo a(1232) <= 23001319922657076000 a(1233) <= +oo a(1234) <= +oo a(1235) <= 34501979883985614000 a(1236) <= +oo a(1237) <= +oo a(1238) <= +oo a(1239) <= +oo a(1240) <= +oo a(1241) <= +oo a(1242) <= +oo a(1243) <= +oo a(1244) <= +oo a(1245) <= +oo a(1246) <= +oo a(1247) <= 52734733481213784000 a(1248) <= +oo a(1249) <= +oo a(1250) <= 48246671057280696000 a(1251) <= 63281680177456540800 a(1252) <= +oo a(1253) <= +oo a(1254) <= +oo a(1255) <= +oo a(1256) <= +oo a(1257) <= +oo a(1258) <= +oo a(1259) <= +oo a(1260) <= +oo a(1261) <= +oo a(1262) <= +oo a(1263) <= +oo a(1264) <= +oo a(1265) <= +oo a(1266) <= +oo a(1267) <= +oo a(1268) <= +oo a(1269) <= +oo a(1270) <= +oo a(1271) <= +oo a(1272) <= +oo a(1273) <= +oo a(1274) <= +oo a(1275) <= +oo a(1276) <= 46002639845314152000