# A110553 Column 12 of an array illustrated in A089584 and related to A034261. 
# Table of n, a(n) for n = 0..1000
# Print[LinearRecurrence[{14,-91,364,-1001,2002,-3003,3432,-3003,2002,-1001,364,-91,14,-1}, 
#   {9, 284, 3004,19078, 88938, 335612, 1084387, 3109060, 8104089,19539904, 
#   44141520, 94346102, 192252586, 375787005, 708083995, 1291443529, 2287680232}, 1001]] 
# (* Georg Fischer Feb 28 2019; signature by Michel Marcus and confirmed by Colin Barker *)
0 9
1 284
2 3004
3 19078
4 88938
5 335612
6 1084387
7 3109060
8 8104089
9 19539904
10 44141520
11 94346102
12 192252586
13 375787005
14 708083995
15 1291443529
16 2287680232
17 3947261426
18 6650353141
19 10963787826
20 17719064134
21 28117822582
22 43872849975
23 67394593662
24 102035462287
25 152406906280
26 224787468082
27 327643734178
28 472290479958
29 673721352543
30 951647271487
31 1331786435787
32 1847457509030
33 2541536322394
34 3468846406159
35 4699064962350
36 6320238662002
37 8443018038576
38 11205735413435
39 14780469400600
40 19380259278789
41 25267655084032
42 32764814374036
43 42265384467646
44 54248439805106
45 69294778158049
46 88105917008307
47 111526172793805
48 140568251186692
49 176442826439442
50 220592642442825
51 274731727837882
52 340890382684078
53 421466665199338
54 519285184367023
55 637664088183762
56 780491228456187
57 952310581822600
58 1158420113579574
59 1404982386459914
60 1699149341288830
61 2049202811017027
62 2464712474596791
63 2956713113161615
64 3537903198651330
65 4222867025082074
66 5028322785812707
67 5973399207156246
68 7079943570308026
69 8372864190625636
70 9880510676646739
71 11635095561751532
72 13673161189983985
73 16036096045193472
74 18770705040336472
75 21929838632515270
76 25573086000194682
77 29767537913136453
78 34588625344072843
79 40121040315196753
80 46459745943409312
81 53711083147214962
82 61993982006511645
83 71441286325658754
84 82201200541534294
85 94438868743279710
86 108338096230589927
87 124103224734301606
88 141961173158280295
89 162163656476875560
90 184989596239224634
91 210747736992216882
92 239779483839816806
93 272461977309573031
94 309211422699463791
95 350486692131754579
96 396793218647340382
97 448687202836244890
98 506780153719747127
99 571743786879261502
100 644315304168935490
101 725303080755342232
102 815592786701093803
103 916153971852214848
104 1028047144404296733
105 1152431375212472512
106 1290572461677859612
107 1443851686891131790
108 1613775211645202434
109 1801984138946603049
110 2010265292762078115
111 2240562754936325077
112 2494990206511902396
113 2775844122076408850
114 3085617868258487665
115 3427016760096499594
116 3802974131715397182
117 4216668480572064466
118 4671541747470898911
119 5171318797613533946
120 5720028171133252819
121 6322024174879844232
122 6982010390668510270
123 7705064678791168282
124 8496665759314400782
125 9362721457559812235
126 10309598704184162407
127 11344155384452980503
128 12473774135637145978
129 13706398195961981338
130 15050569413207678987
131 16515468525903428262
132 18110957835080582410
133 19847626389757884364
134 21736837814729546179
135 23790780914820358420
136 26022523195566619977
137 28446067446283273536
138 31076411537692077280
139 33929611592718933270
140 37022848695726746954
141 40374499312339657357
142 44004209599141529851
143 47932973789902750041
144 52183216852611237976
145 56778881619462990834
146 61745520600111269957
147 67110392696888823250
148 72902565049411465062
149 79153020244951253062
150 85894769140240879255
151 93162969549945349582
152 100995051066920330303
153 109430846289576605608
154 118512728742194986818
155 128285757784893959362
156 138797830821151724662
157 150099843122333622255
158 162245855600583893919
159 175293270873716228059
160 189303017978389513750
161 204339746100892919002
162 220472027708297133151
163 237772571476565893710
164 256318445426473439250
165 276191310692849150464
166 297477666367780394907
167 320269105873958687336
168 344662585340363106421
169 370760704468949040256
170 398672000397960521124
171 428511255084921593182
172 460399816750297461330
173 494465935941260911217
174 530845116793965176467
175 569680484092222760925
176 611123166740532598132
177 655332698289997442578
178 702477435176841833113
179 752734993354990846298
180 806292704026513869262
181 863348089196688677562
182 924109357804012322575
183 988795923199690045474
184 1057638942775985184939
185 1130881880568325593480
186 1208781093682249400902
187 1291606443423149261866
188 1379641932034353919390
189 1473186365977383654355
190 1572554046717246846999
191 1678075490005423554207
192 1790098174683724042546
193 1908987322063531182426
194 2035126706967051311411
195 2168919501550124661814
196 2310789153059900008282
197 2461180296715275358260
198 2620559704933464061747
199 2789417274162380685372
200 2968267050615770659745
201 3157648296246149602432
202 3358126596329690132328
203 3570295010077213974118
204 3794775265726433514778
205 4032219001612558292437
206 4283309054757357012587
207 4548760798560763707745
208 4829323531224156965904
209 5125781916580543406194
210 5438957479054060709485
211 5769710154519501728802
212 6118939898881970002806
213 6487588356247329153070
214 6876640588605825227335
215 7287126869004163410934
216 7720124540235430314007
217 8176759941131592194856
218 8658210402599890239306
219 9165706315602318922066
220 9700533273336535371654
221 10264034289937029694007
222 10857612098077211838415
223 11482731527916263581027
224 12140921969899188637902
225 12833779923984494200090
226 13562971637941378025607
227 14330235837427201667678
228 15137386550626427830498
229 15986316030304113916008
230 16878997776200510581387
231 17817489660768339924112
232 18803937161330949442765
233 19840576701817782219584
234 20929739107313498209324
235 22073853174738653817390
236 23275449363063125175202
237 24537163606538473089721
238 25861741254522223327875
239 27252041141555603822565
240 28711039791446670041644
241 30241835759202990993682
242 31847654114752191368641
243 33531851072484680710186
244 35297918770750879242846
245 37149490205545203359394
246 39090344322711033516607
247 41124411273104885476170
248 43255777835264074930307
249 45488693010230338423432
250 47827573793292183365710
251 50277011127521220468282
252 52841776044092417144878
253 55526825994495134751003
254 58337311379861010801863
255 61278582282756254760487
256 64356195406909778262762
257 67575921230474813802010
258 70943751378550326402139
259 74465906220819627552454
260 78148842700297196966570
261 81999262399310843293852
262 86024119848985027912611
263 90230631088632474958180
264 94626282481605134807545
265 99218839794302196813504
266 104016357545182200053232
267 109027188630778408569526
268 114259994235871540825066
269 119723754035131713097501
270 125427776693702115005659
271 131381710674360524420457
272 137595555359061331283400
273 144079672492830318398962
274 150844797958157085618837
275 157902053888205745999730
276 165262961127343412968582
277 172939452047668081222678
278 180943883730402826459383
279 189289051521211855986718
280 197988202968685880213487
281 207055052155439590847912
282 216503794431462772731730
283 226349121559568790484194
284 236606237282989926909334
285 247290873325378356315775
286 258419305833684461904127
287 270008372274600802095851
288 282075488795480346527110
289 294638668060861689346650
290 307716537575961856894639
291 321328358508729110780782
292 335494045022283858334386
293 350234184129815473407696
294 365570056084246555153531
295 381523655315223964784824
296 398117711926247935115557
297 415375713765006700084480
298 433321929080244497229492
299 451981429778755511519742
300 471380115296365410929650
301 491544737097035630080257
302 512502923814503546169203
303 534283207051154219820013
304 556915047849106501534948
305 580428863848788091839762
306 604856057150570650248937
307 630229042895337335725050
308 656581278580161290811374
309 683947294125584615128714
310 712362722711303374086255
311 741864332397385218700402
312 772490058548472316185691
313 804279037078753572924040
314 837271638535826636588630
315 871509503041911958265674
316 907035576111228344667582
317 943894145362692001871971
318 982130878147459132984951
319 1021792860111195770875311
320 1062928634711327772452514
321 1105588243709898842296282
322 1149823268663045160860035
323 1195686873428481736680022
324 1243233847712788054390522
325 1292520651680679022889220
326 1343605461648851713388307
327 1396548216887408988658828
328 1451410667552277936525393
329 1508256423772464107260928
330 1567151005916411991304312
331 1628161896062178036691462
332 1691358590696564871446970
333 1756812654668814342307429
334 1824597776424912585606219
335 1894789824549022687702385
336 1967466905639029650439552
337 2042709423543658431931506
338 2120600139989108865350845
339 2201224236623641349916610
340 2284669378509044441219734
341 2371025779088419925392382
342 2460386266660232727141031
343 2552846352389092159771206
344 2648504299884257661211591
345 2747461196377396359608104
346 2849821025531661661953882
347 2955690741914711646840690
348 3065180347168843455899302
349 3178402967911985206729927
350 3295474935403860282752815
351 3416515867012220282837107
352 3541648749514632526959678
353 3671000024271905905439898
354 3804699674309845121197783
355 3942881313346638100475262
356 4085682276803804631807362
357 4233243714839266230781240
358 4385710687441737915114859
359 4543232261626292107456224
360 4705961610771603359479165
361 4874056116140050108565952
362 5047677470622526336660796
363 5226991784750501899603150
364 5412169695018565535073090
365 5603386474561389239690569
366 5800822146229766933118307
367 6004661598111104202365941
368 6215094701540469546855836
369 6432316431649061029001746
370 6656526990497695681725969
371 6887931932843692540001482
372 7126742294590293855507070
373 7373174723968553030036082
374 7627451615502412173474207
375 7889801246808497065894810
376 8160457918282972791417907
377 8439662095728629525621128
378 8727660555976205011037278
379 9024706535554798260066138
380 9331059882467088095798862
381 9646987211125940394025387
382 9972762060509869440189735
383 10308665055595711780298039
384 10654984072127775442699354
385 11012014404783643557090970
386 11380058938797739317805227
387 11759428325104699051091686
388 12150441159065551972320330
389 12553424162840669181331820
390 12968712371474420666018179
391 13396649322757467690039732
392 13837587250933619055724201
393 14291887284319193483953216
394 14759919646903856866475776
395 15242063864002942550811734
396 15738708972032315242899082
397 16250253732477904688042925
398 16777106850133114147660987
399 17319687195678400959887737
400 17878424032678432289377080
401 18453757249073338669700082
402 19046137593241721255630053
403 19656026914714215968400658
404 20283898409617579071774118
405 20930236870930434298533862
406 21595538943633011594899287
407 22280313384834412004446830
408 22985081328962152314530719
409 23710376558099976979074984
410 24456745777561173655134050
411 25224748896785892591008002
412 26014959315652249226207926
413 26827964216292283854501135
414 27664364860505162207982175
415 28524776892861326491026939
416 29409830649592647877569782
417 30320171473364988933940186
418 31256460034030957994121471
419 32219372655462027347441806
420 33209601648560593354152274
421 34227855650553979436950432
422 35274859970673822462225755
423 36351356942325739480688392
424 37458106281855645301250517
425 38595885454020582083824000
426 39765490044273430216456132
427 40967734137972395351442078
428 42203450706627709776347538
429 43473492001299547452995473
430 44778729953262731235298387
431 46120056582055408141373437
432 47498384411030484273826900
433 48914646890530245222752274
434 50369798828806240718322489
435 51864816830808184094501530
436 53400699744967307954149902
437 54978469118101327461618266
438 56599169658569892105956815
439 58263869707811155751438530
440 59973661720391863498713099
441 61729662752705142497277832
442 63533014960451992556972646
443 65384886105044301382981226
444 67286470069069058686661086
445 69238987380955313485956339
446 71243685748987309787912407
447 73301840604809147726879935
448 75414755656568250301563922
449 77583763451846870299576922
450 79810225950532848008266195
451 82095535107782828075224182
452 84441113467233163592231578
453 86848414764615777324851668
454 89318924541938314190185203
455 91854160772390005792366812
456 94455674496136777255470337
457 97125050467171258944104320
458 99863907811385521131917704
459 102673900696036528467587494
460 105556719010776513398008410
461 108514089060422693742034677
462 111547774269643009569228331
463 114659575899736828631951745
464 117851333777691868032427760
465 121124927037700902787026034
466 124482274875324179687295757
467 127925337314485827561764706
468 131456115987494952926215606
469 135076654928284533286332366
470 138789041379063669239932679
471 142595406610581231232479382
472 146497926756201437566564215
473 150498823659994427272326952
474 154600365739047444931428202
475 158804868860204834733734290
476 163114697231447648156182982
477 167532264308126303911657303
478 172060033714262400447777423
479 176700520179138470508407683
480 181456290489397184332857262
481 186329964456874253189134362
482 191324215902392058349522215
483 196441773655743832551935134
484 201685422572101051683171874
485 207058004565079554105938440
486 212562419656702793967434827
487 218201627044503553211912496
488 223978646186008385112890925
489 229896557900852040184114240
490 235958505490772133564743244
491 242167695877737351648099182
492 248527400760465565080368866
493 255040957789591315543398361
494 261711771761745275202888771
495 268543315832811440600305669
496 275539132750631017345470732
497 282702836107425178480477970
498 290038111612212138089141857
499 297548718383497272876037482
500 305238490262518348293258910
501 313111337147331262610761282
502 321171246348025112368565503
503 329422283963358806178739178
504 337868596279114911126024163
505 346514411188469907313919112
506 355364039634683551685169262
507 364421877076413612380761210
508 373692404975965829860040814
509 383180192310792591058424379
510 392889897108557468281903495
511 402826268006086475604294727
512 412994145832530632520701386
513 423398465217068197797288730
514 434044256221478746123193595
515 444936645997925106596782854
516 456080860472283065548757482
517 467482226053362657003618876
518 479146171368368822495259491
519 491078229024953218270044676
520 503284037400212982421502809
521 515769342456996347496080832
522 528539999587879095882461200
523 541601975487180006142454262
524 554961350051387628655934762
525 568624318308374958833823805
526 582597192375782846001559707
527 596886403448957286172380553
528 611498503818830097618288808
529 626440168920136869711724018
530 641718199410370508259389237
531 657339523279873174789738162
532 673311197993473933297439430
533 689640412664083976103533494
534 706334490258665901072568759
535 723400889836998155753077950
536 740847208823660450392418127
537 758681185313670671540094376
538 776910700412208601415831410
539 795543780608866565702236450
540 814588600186871994251078614
541 834053483667731785692949407
542 853946908291753318440114111
543 874277506534901947401263371
544 895054068662459868215983206
545 916285545319956319299248474
546 937981050161844226797097807
547 960149862518403579030682030
548 982801430101357045485741042
549 1005945371748688631228743792
550 1029591480209161481141756475
551 1053749724967036319909772632
552 1078430255107497433612792453
553 1103643402223298567418290688
554 1129399683363146631587649748
555 1155709804022346675154323262
556 1182584661176237203555488562
557 1210035346356950583558190625
558 1238073148774038996372821299
559 1266709558479512168250469389
560 1295956269577838927477386180
561 1325825183481470507872624402
562 1356328412212449442028840841
563 1387478281750673862978252090
564 1419287335429393061084688430
565 1451768337378516224129439274
566 1484934276016322423145916207
567 1518798367590166094940828946
568 1553374059766778514794296251
569 1588675035272772049936793736
570 1624715215585960336437751414
571 1661508764678113929491622282
572 1699070092809777440137011710
573 1737413860377780690579650947
574 1776554981816082995899291447
575 1816508629550596312394681295
576 1857290238008639682552375682
577 1898915507683684154008975578
578 1941400409256054155309265443
579 1984761187770258175143459478
580 2029014366869628514476245562
581 2074176753088956862961474212
582 2120265440205819492674179795
583 2167297813651292963893218604
584 2215291554980768399842318769
585 2264264646405579610356002560
586 2314235375386167628792998552
587 2365222339287511572588846406
588 2417244450097563146038955770
589 2470320939209429574653073285
590 2524471362268057294143720459
591 2579715604082176314228602257
592 2636073883602272838366300256
593 2693566758965365445733947506
594 2752215132607367931625378141
595 2812040256443829757430954754
596 2873063737119852981890567382
597 2935307541329992531826008990
598 2998794001208954723497082727
599 3063545819793917065528592102
600 3129586076559300561466207015
601 3196938233024833984883688232
602 3265626138437757923029901178
603 3335674035530024776721483698
604 3407106566351359365008201958
605 3479948778179053313517414887
606 3554226129505375005778389487
607 3629964496103485547695431315
608 3707190177172759937142133534
609 3785929901564421443850981274
610 3866210834088406089838820215
611 3948060581902383078007328702
612 4031507200983866046758922946
613 4116579202686359131945066200
614 4203305560380490994690633515
615 4291715716181099225091996544
616 4381839587761236857947342557
617 4473707575254082138027252416
618 4567350568243742149415884636
619 4662799952845950476634732046
620 4760087618879668695090660994
621 4859245967130611195358986857
622 4960307916707722630414216995
623 5063306912493647137651700757
624 5168276932690238428901035132
625 5275252496460169862117333010
626 5384268671665713708552404657
627 5495361082705769009459962378
628 5608565918452227677284966078
629 5723919940286778838337425938
630 5841460490239261837668027487
631 5961225499228688832761928762
632 6083253495408068491265516435
633 6207583612614172979778755464
634 6334255598923401186305430654
635 6463309825314901958779919770
636 6594787294442132066709481102
637 6728729649514034602915179211
638 6865179183287034638154785255
639 7004178847169060123602033495
640 7145772260436807305275748154
641 7290003719567481271099331482
642 7436918207686253695868191051
643 7586561404130691382554665766
644 7738979694133420820634194826
645 7894220178624305694022703884
646 8052330684153426073325840707
647 8213359772936159919970710100
648 8377356753021679513977622537
649 8544371688586187493193134912
650 8714455410352229360308949280
651 8887659526135431575499250582
652 9064036431520026707589599178
653 9243639320664539565893936333
654 9426522197239020778795602043
655 9612739885495226924379107737
656 9802348041471159053519973912
657 9995403164331384277391084530
658 10191962607844578019929211269
659 10392084591999737562010750034
660 10595828214762530628500069350
661 10803253463973255992548634502
662 11014421229387906394132348951
663 11229393314863837492415127310
664 11448232450691560094718046975
665 11671002306074186529257674664
666 11897767501756075754999185282
667 12128593622802235630557246786
668 12363547231530054695680614646
669 12602695880594949854087965231
670 12846108126231530485898432799
671 13093853541651893762239073307
672 13346002730602680284434281430
673 13602627341082533626113012442
674 13863800079221621919235249567
675 14129594723324894295069023950
676 14400086138080759769175732882
677 14675350288936891046119595328
678 14955464256644870715544711963
679 15240506251975412417101044648
680 15530555630605904768092195637
681 15825692908182041175309469312
682 16125999775555314091957488100
683 16431559114198167832518596574
684 16742455011798619723501256914
685 17058772778036175146929302705
686 17380598960540877926814827027
687 17708021361037353517381056541
688 18041129051675718576129106740
689 18380012391551246745643213330
690 18724763043414696825974975449
691 19075473990575225995213317082
692 19432239553997827330111175246
693 19795155409597247592083180026
694 20164318605730358077194554511
695 20539827580888968282616822114
696 20921782181595089217120300907
697 21310283680500670380199380360
698 21705434794693851754079769222
699 22107339704213789595835799722
700 22516104070776132383851978270
701 22931835056711240964600780307
702 23354641344117264762885687703
703 23784633154230203862025157343
704 24221922267013104830643099378
705 24666622040966556370501065562
706 25118847433162669185876265587
707 25578715019504742930080345270
708 26046343015214841669552225754
709 26521851295551518021272925044
710 27005361416759944965772934835
711 27496996637256733316468253052
712 27996881939051731937207504481
713 28505144049409127044480737920
714 29021911462750176309474587560
715 29547314462799932988805756134
716 30081485144980334962075561882
717 30624557439052053340116060181
718 31176667132007515230699607531
719 31737951891217535309318427041
720 32308551287834011042171658704
721 32888606820451156747490592882
722 33478261939027772160557518765
723 34077662069073061788002276002
724 34686954636098542098968768502
725 35306289090338594505310170990
726 35935816931742243130878321607
727 36575691735238757562005050678
728 37226069176279702108219371223
729 37887107056660074584896205608
730 38558965330621199258684538762
731 39241806131238060373013713362
732 39935793797093784595527414790
733 40641094899244002802750397559
734 41357878268473843840461118799
735 42086315022850335271935390115
736 42826578595573008651256450702
737 43578844763125529536073317146
738 44343291673731195284353003975
739 45120099876115166663637677790
740 45909452348576322439912778594
741 46711534528371649407247723432
742 47526534341416103769721454091
743 48354642232300903394628611536
744 49196051194633234221419687821
745 50050956801700378035104666944
746 50919557237461292896792346732
747 51802053327868701768498052270
748 52698648572524769275185525282
749 53609549176673471115072529657
750 54534964083532785360385695235
751 55475105006969859785863301157
752 56430186464522334422243483628
753 57400425810769023757611592978
754 58386043271053188401689427713
755 59387261975561651587809608362
756 60404307993763041615312663262
757 61437410369208467232318205410
758 62486801154697959026144098239
759 63552715447816036126971452554
760 64635391426839783940574889795
761 65735070387022855208956489352
762 66851996777258833454441478286
763 67986418237127424794120825530
764 69138585634326971218370820270
765 70308753102496805710456351579
766 71497178079432997044850433607
767 72704121345701059740798581351
768 73929847063649232465747562666
769 75174622816825956181472051226
770 76438719649805211505001602459
771 77722412108423403117709600582
772 79025978280431507600114430250
773 80349699836566229798003790812
774 81693862072043941738372113187
775 83058753948481207212308425380
776 84444668136245724427341366457
777 85851901057241548604796660928
778 87280752928132486059411202608
779 88731527804007581149741611318
780 90204533622492647529772064362
781 91700082248311825365538419037
782 93218489518303176606518897755
783 94760075286892361020975392169
784 96325163472028466518346978184
785 97914082101586098291185483250
786 99527163360237862514972625877
787 101164743636801411747463831026
788 102827163572065250770963560710
789 104514768107097533422152913750
790 106227906532042112955768158839
791 107966932535406140691578386782
792 109732204253843540099745025711
793 111524084322438716088782800296
794 113342939925494892074001903506
795 115189142847831500423519595874
796 117063069526595085104714908182
797 118965101103588208787395211455
798 120895623478120890301984611967
799 122855027360389132202771783467
800 124843708325385132248713204550
801 126862066867343806888524961882
802 128910508454730289323864350703
803 130989443585773099425357408238
804 133099287844547717692130133298
805 135240461957615330577413290512
806 137413391851221549851781128187
807 139618508709059944242724766200
808 141856249030605257375627109349
809 144127054690021222047877560064
810 146431372995647917095925172980
811 148769656750073649565605835902
812 151142364310796381570184202866
813 153549959651479758119320083265
814 155992912423808829326701466355
815 158471698019950597755486024749
816 160986797635624559240067527332
817 163538698333788443331144886546
818 166127893108944397549735413801
819 168754880952070897905760177786
820 171420166916185706639262152814
821 174124262182545236878325198282
822 176867684127485722878476017135
823 179650956389911633714908403122
824 182474608939436807742409726747
825 185339178145183824819538282120
826 188245206845247173214545516182
827 191193244416825808271912133578
828 194183846847030740321328621118
829 197217576804373329956660042403
830 200295003710940009702057373687
831 203416703815259192217082735087
832 206583260265866166573677366370
833 209795263185571825766197064154
834 213053309746441110492752218819
835 216358004245487096372904977110
836 219709958181086694144585063802
837 223109790330123975013083327556
838 226558126825867176208367298195
839 230055601236585484944939392460
840 233602854644911742372233601809
841 237200535727957252754332549632
842 240849300838184927026800028856
843 244549814085047034046885148806
844 248302747417393877282487979066
845 252108780706659759376312357029
846 255968601830832641975802946507
847 259882906759213953438008671665
848 263852399637975042502675641152
849 267877792876516821777896332402
850 271959807234639190901779219965
851 276099171910526875532109692482
852 280296624629558364875108902678
853 284552911733944677295426439998
854 288868788273204730653694137383
855 293245018095484141396595088262
856 297682373939724324078741668487
857 302181637528688810926991097640
858 306743599662853759267443367834
859 311369060315169663124555225074
860 316058828726701334071860804390
861 320813723503153265466014488327
862 325634572712287543531569079471
863 330522213982241518384381469875
864 335477494600752497988112200190
865 340501271615296778232272714394
866 345594411934150372802997366807
867 350757792428378857290503520766
868 355992300034763793041384157186
869 361298831859673247620789631096
870 366678295283883980400539511019
871 372131608068362913735607347232
872 377659698461015562434590890045
873 383263505304409146771072490432
874 388943978144478167123548567932
875 394702077340220271473227173710
876 400538774174390300432827513282
877 406455050965200448226938191753
878 412451901179034532096879948003
879 418530329544184416961756482613
880 424691352165616696833851083612
881 430935996640777789462129247762
882 437265302176445655963735234385
883 443680319706636412801425053514
884 450182112011574159376266099454
885 456771753837732400731065563570
886 463450332018955501402281725727
887 470218945598668663318044832986
888 477078705953184977818792909555
889 484030736916118159376342678920
890 491076174903909626408401796254
891 498216169042478652730025579482
892 505451881295004371652774008526
893 512784486590848473537782387691
894 520215172955627496732076035751
895 527745141642443671269694839159
896 535375607264283334502011501082
897 543107797927591997936496746650
898 550942955367035205011579396587
899 558882335081454380318647791462
900 566927206471026931902125142730
901 575078852975639929726413532332
902 583338572214486745195832940803
903 591707676126896098751981259508
904 600187491114403025053712095593
905 608779358184071328069677634112
906 617484633093077161583627182912
907 626304686494563434129906582230
908 635240904084774801242392701194
909 644294686751483072115949065709
910 653467450723712922346936585275
911 662760627722777869339895720377
912 672175665114636532242776649976
913 681714026063579263904580506610
914 691377189687255308338541055525
915 701166651213050703522580890514
916 711083922135827216078282975782
917 721130530377032661441595950886
918 731308020445193030574513914071
919 741617953597796912068617407406
920 752061908004582766660216175199
921 762641478912239679714485227432
922 773358278810532286144028237730
923 784213937599860631507335930242
924 795210102760265802686236626742
925 806348439521892231570271485775
926 817630631036917645581583319007
927 829058378552961709658005574203
928 840633401587984475476202707638
929 852357438106685825242575540698
930 864232244698417169308841357887
931 876259596756616729183369762062
932 888441288659779810210148228050
933 900779133953975541276317734624
934 913274965536921632388215941339
935 925930635843628774826455543880
936 938748017033626382854416432277
937 951729001179781450613315154816
938 964875500458722372892412353540
939 978189447342879653916612025630
940 991672794794155504147384774674
941 1005327516459234401348305109457
942 1019155606866546768825230165971
943 1033159081624898000814969200701
944 1047339977623775142466910460436
945 1061700353235343609741200618514
946 1076242288518146412836433345657
947 1090967885422518425461124656410
948 1105879267997728321378265787022
949 1120978582600860879182687322522
950 1136267998107452436218584374095
951 1151749706123892352911090567682
952 1167425921201603429573002688203
953 1183298881053014298957407781768
954 1199370846769336899460815616678
955 1215644103040162215941222435562
956 1232120958374887557603103226462
957 1248803745325988725318431180595
958 1265694820714150504101242030679
959 1282796565855269000234790590719
960 1300111386789339426766785645010
961 1317641714511243025741341555802
962 1335390005203446900627960378131
963 1353358740470630617939872308470
964 1371550427576253523008236003610
965 1389967599681076801296860382484
966 1408612816083654403506088315507
967 1427488662462807040026118128156
968 1446597751122093538061174790081
969 1465942721236293942958428409216
970 1485526239099918833941248284104
971 1505350998377759413567137081382
972 1525419720357493019808378217690
973 1545735154204358799689922490677
974 1566300077217918373916215424427
975 1587117295090916412878408432065
976 1608189642170256135857594285232
977 1629519981720104837130255832178
978 1651111206187144635040917533773
979 1672966237467983732935949106658
980 1695088027178743574153502110262
981 1717479556926837367039582254862
982 1740143838584955550211196948615
983 1763083914567273863016299403734
984 1786302858107899781348813612599
985 1809803773541573174667310688040
986 1833589796586637136239864332202
987 1857664094630295035297195350546
988 1882029867016169936923381870150
989 1906690345334182633150128888215
990 1931648793712764626848829538319
991 1956908509113422508636388538307
992 1982472821627670266127999155566
993 2008345094776346164484758146586
994 2034528725811330937318163936871
995 2061027146019684127629173240094
996 2087843821030215519578597816482
997 2114982251122508703510219605320
998 2142445971538413918780108533707
999 2170238552796027421587268446832
1000 2198363601006174728153944424685