500
792432311880583979 463302155009
631790600031786150 420017137669
882199907061606767 317128008341
192788273662915464 494560274581
459843411070779480 953146103257
848085509368349228 892238645971
28408702465791520 325953795773
884078940991467488 257850248893
595290132020046939 603388724011
59241782045565656 748849961033
476822389542364580 434462757221
8793998942460410 461251487267
10588331239094484 673377669623
508153255766917356 539232504631
113872659922827848 621924089629
275924771990766748 501474481639
91014769139645250 398520745771
543116291215673152 484915082633
38793974932166242 762885940681
881360458183022241 614496494813
75432049870313682 518343283763
127426103658736386 434066016497
224611244136046130 473309138747
428296187510032464 465324134173
25614085945929275 641374397603
962054507843780000 338451932173
123653733669889250 599972895211
180615641800814457 536810816309
273373002671714139 617451732607
216573688346099856 851442537271
217636930048202180 710049125087
76888390259286825 434104315693
361864587798239190 394795163383
24163817892673920 536467646623
452685918175005359 477341453959
392037751807875000 465260162251
123672237198407069 358307990431
205763886388658150 288403470637
833807020523670280 533808170771
2966032426253984 490713158989
202501716747661115 728594446661
511285153776630425 558954960803
641837479408777300 572008648391
200065899529913409 442629579697
895197546838313025 446572510171
108209069063789152 745380152879
963479505669764676 575078162933
281122043965064780 629731860671
925748868953201340 550484229517
327545841419887987 375529707881
484278463919249746 497193285517
508583871366452778 648792346453
41547253753959108 655380206989
969320011269730682 522477985039
107154746220284146 727133987291
284472929090802380 422052634403
858063796881690596 622894420639
713113014709207320 273200639069
175730007342096360 575465450551
114402045550270949 819205605677
864423661473398565 547097353337
944156474705280576 672043775213
544865172979510859 660119265791
368667964326419863 522423089861
359789318166001108 432285681473
1181152994676732 486587152369
842287256048761100 684154475399
486905804066823133 699754238507
12714023411367630 790959015887
762620596649915722 770119498217
327449806921281140 790662560533
679028925258787480 863226104981
144234014030567296 583258329343
274808539824827138 732843302423
593416956278800433 705267505871
878494440965275290 332959676107
499107254783328624 526686736193
953942256730215656 358940053939
317052594179040894 285029481817
198681091666463123 502113717881
1882680899424024 483667095323
142005642010965368 697685897149
602950993407980572 531170047019
507451989420881496 533690825611
294450770281644753 673694271473
804949143641075136 518938207741
136545480252953343 686939379283
773920328250193900 906966347501
490279927914942248 871576107799
633638839449406902 440541291583
443198214778762275 372552589177
373119203007682612 736026268189
84171407187070998 690657346433
75754982904150548 607286929463
512946577538551559 423473163403
292500288027091076 749105626273
475297775307131310 634909984273
884840153064277676 562247687387
869378842611020128 836409017459
616193632999079907 799061555791
16345599345006800 564031213231
519598582812648742 971706167329
17228959728837306 896789603701
379697454322792040 347182353673
928636390129580229 419876151727
378696239941379708 617994162931
900482352365973542 435585214037
976755235580692288 729211374413
514385635028033600 550967830421
689207461031726720 507129567751
379045062078658140 543088374781
88194202268333964 675672731627
483456774653060120 464171613067
274602541650200640 556409594579
154955198400631100 341632448539
328859869420461792 422556465151
28929479502420108 610987941173
17150689906272960 532417723169
106146565132674920 527647895897
56348947840323087 713523691817
871749917353127588 328590045493
40730181412126830 462770851891
63091905290206704 292211046293
185719447978552404 462686498227
87507841000570458 792574513279
2557565281815744 316462027153
116750415466210500 802186079369
101681420129850596 385888000541
330538190523723160 623593118851
84794890598685618 574440721831
52838144307131160 649291440209
166688741294938950 558107842777
710328408780602163 488855156627
646589875849600800 589454192599
669300710665377409 439863070711
12700386076628825 366789718157
96806722138889672 355603087993
581323005996846780 664365684413
462056189351219840 308111759029
597941215812745060 351566263207
241018896449174722 539987485039
338128870071213064 708812775373
144925295608513266 737860086793
387855014595572864 843193318511
425610690835681137 700538147513
555697285591505309 297540210379
536320658841182924 445342680331
140027091719229519 694476543977
545836620144023828 642167048693
7617444320553392 382365209489
90030563992434910 664833704791
894368794170806603 578524327987
287123145258341811 410888697029
664132386169500794 886755683029
659016723392744592 347587652119
354951784585825700 456684918769
108253197333975430 399904133647
533895220888032485 752914493939
382936957880368284 524369767127
51943149110798660 315314769817
847807073739884940 510256771403
91503118977948432 517070987267
172208036248641580 615306256723
444221332899829400 641795566537
272776792735594476 478875451643
368663655468462352 705371986331
579249345013364344 560309839997
30857925558364476 670991665381
129708049539733565 734737090621
639460463187157690 291148634089
324530510333837309 540423658517
156526732331886462 672968251933
957177303546922478 794708307859
193487560274461072 309602796557
32544803656098430 667736498861
64692195401015711 664486053289
46852894873420992 482667607613
454704732950508388 547001915507
63346184129716565 916452825833
185052628301837580 506505975853
763796038270777600 675466621871
204741706283850842 429546058351
225494946461185828 474266454331
780471098279653352 639094790707
584864814469144362 570739439969
784840887485669308 435925256359
726338661783684725 636926253433
108593567196185364 482021093263
73977196797285184 613478168869
287738507609720934 365093749001
528790706161039745 710601186661
478788494456127360 480209453441
658563197474070008 501135748291
851583741677506863 607918934291
347028729308696376 509023462747
144304261636219696 796955705519
902940266368135009 418254635251
555093300460063600 398944526663
850688949252784620 508797425621
679809571363908225 793507746091
127347700972456418 585714729167
322760089575641184 528103565513
587808993773603404 701017465111
699558998833104249 679022453101
8203816919175170 830466598993
32893770025840680 597427618597
15028731463960656 505649035163
250217529337981296 445416837287
471708562227227380 457167323573
668169415313166206 608595003223
807882854863028205 437777245819
1431785144913760 325002301079
756431158646262633 768421455719
663559499433508524 549076454441
248650875334587726 655952659717
893472078180485836 584581116019
247417244268145315 339538455757
171787473462917864 689862160543
419133668159618435 542953024633
568558904568723310 519608860369
965619190452324094 684322267613
371435147914407786 279929519521
92159264130982640 360451320587
143667343386138560 319668463441
341865063004315425 761195420779
378216857439808380 753779202947
305323950568273085 616942084091
877764666413774203 887155412237
688410466205871282 564533513617
628362163837777600 554384788121
683388419634130986 539816309869
259361256911446347 478951896253
710630341042311362 675067263709
91987296272793297 602438193319
31626646549295369 607538300947
635060670394479146 723557195041
890712075328154088 511837328089
567616974711753182 645978234001
345002418994451223 816440255767
638343869040770518 442427676673
420180068764345280 569388839399
801269363284636111 577574821171
288879420993865600 608816332447
277148897388215608 380294006371
728140246630918436 410985113923
45086302981235228 542238258767
864751850733838410 678050708837
76212745264613407 299490354643
80287957061627278 571925402357
650168749521184723 459683902217
34021815645411836 366682405967
36347548539410688 510372863837
301207646556004494 535071903581
134002025965493398 598421941009
263316392865522469 634497401339
327341853458069319 633846288181
31061031918855155 718889301763
2484512152414578 654255224881
660459593811293640 618347559757
304618995696097875 491211069127
391340336413981340 713961926971
201485810829820900 732366094549
374043682147062527 761087156147
492019077454869246 593974461127
430581594543954600 454795229617
875819493491637510 382367921981
116758326092385730 684221581759
925410116173879008 317596650727
451023184377027752 595258410739
514502778130784832 392812900999
332872063894906808 483088182611
339623717159224401 532771782211
181298591353978182 926314618409
936533584640515354 700675481267
388291798145481626 746631318761
243557856508087310 535525499891
209449256791667197 525261380591
750794092549288706 758651637641
675824427371586564 531734101501
66562633877673466 354823468333
932401149457082992 556958667389
590685082832853531 583346505109
804362377932354096 477184241327
768138560098960464 337584654721
488184317140911828 804306588221
15448654146107884 358237206149
487649658332326473 718009137103
418897711846584926 325609588061
912454216480090049 495977410241
991060975909743893 546761548189
188506668649566288 526375928107
986873683874025920 739566371443
217759414825166450 766163108419
294957500440319093 439748231063
218326367763073880 854268066419
10193854899555050 727793470051
239435046929586544 797153162459
765619145415613920 301494468109
646913073270215790 731681366023
75521279137467997 540301134839
123582334035545184 677865506611
138193462903782704 441720487963
420091839841715368 703652842601
12277811236538775 679296689767
133719075796986225 615030952183
653557737588237580 751926468637
269112738403763176 834242786137
405219631146301646 411312778561
813397013658719904 672445587841
339932815936740194 656263751701
272460020974350216 680740323223
890549478153556027 578714401987
611702509252628846 551456172271
64941105953537440 313862418421
468413942955410172 358202431703
656237025608232348 368837895187
402408098254496314 803607307903
563094795067555860 562564875317
7029142467467046 772775693671
629235511880723901 426808801121
438795365739485192 736301102743
414935588510075778 595258784161
893566659996542112 466096768537
709614938602813950 902694314713
51059034892026020 487468062229
415266121158900823 523191769039
277524718692071856 515753110513
72743580990717360 387154166909
346246028748898759 638153198629
517160901816782484 747245851813
402079981951659795 536099819711
6828594957955275 428792584733
664942453350580280 421021438769
791722883087761512 356795462293
458936101331152870 819613146959
977072680788343240 502924140503
792257332262089344 462228328633
93965997359112240 446198860553
251096546721227760 734147922689
536629128439974182 871077990071
19960202943843594 507735247021
141094120778071757 359789698591
630821575585363659 699715034743
322435756608492402 476717264591
970937213498615059 635670861767
435890711752018725 330270100219
820702680284852360 588996257219
451555774503532070 495385704113
33601240313080146 583030872647
350652132792283898 290795095183
193149604206544822 492115218139
412479023108643402 418130553193
519914326935120265 540294103889
403875564963487136 579623736371
605377362851544838 519537326459
390361710162559822 389606464279
221531043953583897 419994011821
716500408421584124 418861484291
726642476689704956 557032419161
832590641648152800 611180928641
31142860788535686 761660232107
615277091462397975 354635086217
240617349710279430 712865981189
443997369196691422 560611109783
829629058841195870 366948690413
180916675997115592 933174384899
4762078854960572 514761879523
367956417324620843 587317224073
717090156781576448 454730365891
531155304709145793 577232504053
584059892433310410 862229973377
131480564597658328 769224234707
281768063500962368 383687781077
254079628746565853 783881275483
220399609150737920 427345879897
323786334612892844 510413359579
968008652560987697 453765297473
126482922089622297 535943775473
149452606239311544 752208500587
353223722783232775 513238764523
156151009069079974 270978707947
919122904234714216 538293682637
429390825543072116 848400196789
319132006485472340 545802573839
145725378397217284 432721692391
815097390955228480 332147013371
572213469728227450 800194332013
250211094829369713 601242650809
506415528872080704 854993766281
156719787764855479 717307876939
375652934018523888 542636562257
763874359698843960 499564197059
57754228646664192 430733881979
413388831754459641 554389038901
214639499149383406 623608705823
516336321311650400 366321841001
91753079049453274 312834640081
208646617557181764 705904644461
804181737632898066 394735788047
228718370341950489 597860943857
352268902884622876 586507730227
641408271593998510 439767969323
403680583414002846 662959368053
593424393277767643 667617646513
252770532593286736 443487874393
365274121989350656 607297652419
498303405741295240 352534197679
484110961827248924 843070350599
50498117478660514 587122972417
226049878812767664 586248207137
822182733166427057 630432540107
554211201876362946 702813426949
874171393352725000 767180792839
177369082149581046 800270707787
560345868124872672 361006536287
762234593188364352 668536342087
772956675601030627 541739951107
42934844926795208 535630477507
737622918979465697 565623351439
865353079678705050 408633592537
44057171703554625 512280911341
196526402739933534 734373937897
349393158774908500 540287926363
284603704014194434 608283423557
144963478699522116 442288827209
24893995016214723 613732777711
754094885874619344 531807954533
178110514021119510 804450090361
777992440100859582 456579489601
335774278372956608 642186917033
458947605231502080 370712292959
139200548954013593 327266640457
706188863137804572 355244918131
519389143658504784 612756337673
464950616301162468 348640298621
559609377431987590 367177200133
562105254779473662 653167677839
706460605245033339 629876695639
665739956140284372 539867160401
669078440811392502 396347913473
727805923240537575 535200693851
980038825457497971 524140086781
35966961860302510 650332383137
258404252220123398 622240323197
967661994304752694 826698417031
338559471444227796 405331468931
721767966067784800 764323769551
49807651256446564 862729786883
123910396063942026 854545938443
487326387962027710 472837878367
218196887271588294 443548829011
774023791582444846 614144485277
113036888830599210 362998743119
607366369035029568 688539552289
568935867232490880 556290072743
864621811779816471 466631214611
428147725134764349 599355570679
640336813040586389 469074153391
87695070879359538 568162755473
734434818874357860 571110058397
449139931786348173 562018122541
773048782773428496 545111371487
486279283689410850 798217901083
384506924790665376 405692212687
220426231649667512 607047391943
537750918704595140 745520977603
268849888676464978 485354747561
101331896855097717 659917913047
828830248096254771 447021742199
296202044346046494 327641800813
117914541109100194 661769461697
204746420607171000 661208622761
732295315400462895 439288663153
114065835757258538 647817005489
233409720342612642 498100195097
519840108596053170 575413730083
126075711245574243 546920626627
430697324787059782 467495668793
72034233557825673 632450992223
919092313064120384 574782815083
129390438955353000 486529100153
118966515045399530 390308267039
191242833877431892 474055219949
32709573043538126 289817522857
280534819250379590 776177833579
783375120404160822 425546524801
249795958563043920 364729481771
462795446892388960 702015929159
302116454339741832 537345560057
153257751710643294 320880523987
524869666993355752 477795588103
228597626729410092 542481518993
529651632511918008 513460146673
525417033152904840 496758957463
386835244159616642 761806884929
239467420083329626 614956657421
703356352762277056 591152039347
42826502077225956 486111889657
361391626100028388 466799679967
997667426446715700 555324530401