#由Robert Israel使用Maple计算，2019年4月11日1 972 4873 14557个4 322615 2753936 2208617 155418 23429599 105184710 24639193人11 4037309312 7069731713 3185190114 4728913315 45633017916 1000045317 15407572318 13070260919 30415418920 14358410921 18329823722 7945116723 105878202724 35284520325 56762041326 459218451127 589077296328 965154024729 408198804130 477248402931 752386707732 105636991333 973308955934 1028959559935 1422412255936 880793838737 312517075338 1919765908339 1221538225340 1533079798341 638511020342 4863188302343 1066801723744 8465531833945 1237650472746 5930464678947 11045047114148 9654973998149 2933657318350 45077105951 20444428820352 4737607318353 15150678607754 18337140572955 6853950061356 15351013672757 78508760958 284094360759 105623650760 2542424596361 7353966263362 6101518030763 2388952903164 20685543440365 19340983483366 2643265215167 6418182748768 16922306116969 63430412800970 6304329981171 20933896914172 65079865498173 32140776784774 65634968517175 93119618112176 26604128716377 50110186650178 169523733702179 113464761204780 35447924353781 148702432353182 46408624041183 25674033820384 44119677152385 84765969891186 153289517749387 42349153234988 56238524635189 56713215324190 195985828650191 132963688773192 9612440631193 17080162959194 12478620912795 1049445803658196 61488090822797 290289476622798 244456277014799 12184844870747100 983620089229101 1724399767133102 4779097927861103 2467467968741104 313150955947105 6219184844923106 2769236512067107 5634164064229108 8516492522819109 164106828113110 620031714373111 412605232801112 7350440147023113 9605520855989114 236580304339115 1600663373279116 4129093532203117 7349569609009118 1253243073827119 729269706863120 2449816304249121 2473509282239122 7246860348193123 1321760076419124 7917538838441125 10910506895291126 3835415381689127 3785459220691128 1898489583241129 11716716308483130 23986090437137131 8575106707283132 382715484727133 9840632122219134 25601214882941135 480048618397136 4743110575057137 4680587526133138 22005984391291139 12535125429767140 22798586353007141 2752041274877142 5000524206347143 6911468955277144 12018476614919145 39467931504317146 362851678249147 24214471073839148 15282649424617149 10997210831011150 5870342178383151 5683378798883152 6552267795929153 32996854012523154 1993345980767155 16639145288923156 64586201091001157 7362645791231158 18509422194149159 26777851720441160 13532951575747161 62280033198049162 36008319597067163 7111963168991164 8863955414453165 54744001301177166 81786127473779167 17305442414033168 6821682710233169 23384891191943170 52398675364793171 12196467165413172 51588874340123173 893096113529174 13131132697987175 11046409759873176 111936101385289177 11440646780111178 70712537976541179 20409518419331180 71645743565387181 120766984378987182 20623707445063183 17906285959249184 20835673389197185 226355695824007186 6076674443141187 3342293621263188 2635152916223189 11501892425327190 45045127238659191 18767959316009192 87398515981723193 75136901760803194 3570412474669195 1563887791273196 83459503010579197 61499432705257198 218316216083167199 92939310972103200 24047954521567201 9155960534597202 69626129706667203 435772225833083204 56610026553961205 46249090999981206 81833514868933207 109590221669959208 88549053420727209 8072258578603210 228933976165327211 72239639914049212 53575125587629213 71378197399687214 118514306976427215 203389076467091216 17084798017697217 75905183311093218 84532307357033219 65903628618133220 58396125544091221 34027762035739222 38115622606811223 1052197638949224 152434853257457225 40500263746291226 110811179560373227 185071908349049228 80614767174677229 129310206254503230 107018013881641231 18513014468009232 82563798437381233 372148777720403234 136577112959333235 16287526406303236 258963529690189237 262553369735981238 19064137293391239 139948210122841240 24980912403683241 301496620153103242 72463843794131243 46202408277743244 248575585458481245 48451959907861246 35558559627401247 43411249871419248 46159607825869249 22689852662527250 123344073516263251 279453467971252 132245734071653253 118547465206151254 373651788086459255 44996925109841256 17132136980719257 413876802687149258 100386408892669259 797912942825611260 289643654439521261 175703853277081262 118205145944591263 86102833739899264 139350463392311265 37789542455503266 347587057903207267 152468565202427268 328652950947991269 319098023753407270 178953618055339271 205915917486949272 342150266840887273 232249471583777274 306193316572961275 186894471436793276 578552674776499277 619015168647881278 21634314687757279 65413825982839280 307775129532961281 198440192798831282 41916718568693283 152648687486909284 119627356597717285 476393860324099286 36674823505709287 162352022035937288 653186832886411289 330859139105153290 413092419753527291 62478965342831292 1000 582 17335147293 71176279862537294 510476918223733295 78611239770919296 1019969226657697297 2404422959291147298 241474465818763299 460585462466141300 1056308172676381301 526063995274379302 163465794112207303 163158610453837304 677915386513657305 1170596363154091306 346889677030459307 1110927899002877308 583823752686619309 311199292066657310 22729741669751311 3931155400765381312 199799499390019313 522162207002893314 182446693368083315 1213970335699193316 8436911537519317 709781756747309318 1271429862761027319 18191931568931320 279439328610419321 588873563821409322 1076230738566353323 915507036288751324 671533653857873325 387544910963737326 1459146068735237327 356223045298739328 2243441897921989329 132151573254271330 396420345840733331 547911585753151332 1000542030111443333 2618581326629161334 159174065800523335 854586286888277336 863964120337567337 1091926055159479338 119979722118143339 739275190623857340 343389546104939341 255602695449917342 605174440125271343 1359187180012567344 390784444509773345 1391894060357953346 1096863809435099347 1856844068897969348 1037572946131571349 268015653215371350 880845693092221351 2134906700651993352 1626460902945539353 452030000718073354 1005690710410403355 76982021178631356 1107895054069777357 440154187516201358 757008202491007359 110068416244181360 6956935702105373361 186067966628123362 275923020069449363 735169248640711364 428702294297089365 1981800144111811366 1439789766430649367 1184420033217139368 6924650248220727369 3446456874806321370 2550626895070349371 612786926824361372 1445002223241287373 259255359642193374 711611688676457375 8892821860987693376 546626643748499377 253759095548953378 3150962377715773379 483410154349613380 3660464921469113381 794496595257241382 3539636442776573383 800237761739879384 751743588485161385 615721757959391386 773754733588987387 2144701635984793388 135371231386519389 15323498014339390 2450100837910007391 265417988162941392 1259152586354147393 491428551879107394 1102653591494339395 433065324466837396 128728320319397 592531872089153398 4644020225691247399 269414533901581400 326428464487399401 15792147578005429402 3258503789014049403 1226485136068057404 781045823248843405 4150877558386939406 56399849763539407 1051456049707331408 3218766520027207409 137646429534787410 809332982089367411 1241151511876777412 10809239026256387413 4587692865518831414 2566187209883221415 1310919755630437416 1172546275500869417 463025921666353418 1245259079934013419 3312328724247619420 5020843875553117421 3124865821411777422 3360256351350179423 1387445710111379424 961039434810407425 399976072244669426 10788180212012057427 2604783453024839428 222118307573809429 1062807556365979430 1002370294287667431 680302273243843432 1635632415906029433 3621871078782989434 1639885759101721435 1087039341200167436 4614326151798421437 4971641919520919438 8783710852190591439 27597893970637440 5037645291254659441 11200270309601267442 1942158612457199443 9209273436625159444 18940984580469899445 5106994693180319446 3314645798128019447 5314484102757239448 1396093518046769449 1472940449229443450 2150300218466419451 3975049560183971452 2194432040137787453 4351711090793743454 228465464367433455 2721050951944499456 615831954128759457 3708553109213047458 2459126797646923459 8948482119685117460 15945902581233403461 1219070317965949462 922993437429587463 1284068453797097464 1006808480285749465 13498887875211643466 1010197657542127467 16560836107061468 8193740422901897469 5418065403379243470 4875660559409153471 1670005026869359472 3110441849987057473 4757209602078539474 9286880510805659475 1353681600931189476 2068689416649509477 3858615010827589478 11687355611390539479 12978495720187601480 3840075585622841481 585789839204569482 25872558301778197483 881322168998617484 209256672129913485 1340694599221501486 1712064002318809487 7445377006968149488 2441341337795807489 8475669431446033490 1756720316818451491 456709224301973492 3432112052502643493 1060603622795867494 4065065821939541495 192921600596849496 5572460616088517497 2179641806519189498 11794826541932857499 8388881530818403500 17176878885206813