500
329950502538925986 570591118271
250552563419940326 574844708237
357726856582184740 854698528381
890833593587122008 465617078021
385435447699101842 343094500891
339960034162165840 553369541887
403645233902017341 519649925593
478723703735668859 631667503171
334605079626438685 892205398471
18513490796119310 471589176673
199854160883400383 353513930543
93602115751107540 948454650421
226775767037642128 482849264101
177941859826930265 698688919153
842840372837639910 608324881573
288942111368343279 562049515921
241715179600510781 495972725387
328623979008686670 705972734849
453451127233964915 376402916359
723454045792098312 483434485621
116013929999542784 520839861167
575481402534356344 651570676459
187441838010154451 340723696673
769236967563536081 787320866767
274432937833549625 443000618981
691142441704078925 481381329571
957640260395830704 465559056217
185713839913347878 766655067467
257490732304437886 802032592111
888651066846674502 796624769921
828774092364629817 483825154753
56506260899245761 494015226283
902197195256100710 373501111927
890011932620324580 600747144919
109797018908564382 548376112811
756464852418395703 593110267019
157408299645269900 551633153117
241745209540998680 655398933991
425194126843401280 361107069431
766770446914652668 446765184157
131017915216862595 539491123751
176276106815628996 680687724127
419391063074550636 491110984423
335797492834577600 360781446517
403332650567340745 503961131887
84231313746933556 321359207867
39995696715562263 520128132961
481227210538160736 519423284929
657477833418098964 657291690283
963095400221731106 849136567217
384477031382667787 484142813563
655539751906812386 683534587409
125731035667213256 867233116877
816857165571698160 730632960529
175371145792344793 512737952501
590160041586071430 478118298233
249551403450003008 372327756071
270586853901134000 471407047403
358349035111070562 500862992479
82819614231452978 653247180479
9061854121173330 588266460791
127781741119211072 555660503287
431999724384318000 285920487323
473476442970992136 372600614311
330360078457382450 719522156057
94358544402888520 756414295787
455364359391817750 748432212589
139594832930533220 303551246399
830209825419474800 655811594677
409287812993823712 589164247649
958327944862923192 405097620131
669754825882123605 852030716599
325026468416586230 365279890741
575640705468779928 502580188921
262836409146076125 442614417653
259745297122271152 624370166473
778867243074815768 374169991889
598190894417393034 342050935739
78293481983487388 796667746099
77779056644456222 527747539541
807177058563662076 624696201917
840267509971367478 683282071421
558983748707920187 623256967019
783564834554309846 501339687337
185275547364111948 660474304099
33426637422884139 657809553083
788253995328360160 402353161103
13630766683818960 525222321073
539854339852035988 788825167909
985600356054291898 529289282363
656059200107473619 504788476783
83878857653540354 688844606689
383273457409265662 276869451631
738078009419885745 650139302387
651610970496031614 438358081067
189785778602583512 441883250507
590745970411892253 688543207129
898104452772553887 607180967621
653944033773025280 295852001131
122005807609109504 531107122643
44470417776719254 504355528613
468167892432386410 915129444707
175034445920549232 770702507989
147406226018539472 572222207903
619458394766064400 530636200949
84908236183965950 303948059537
526526422831774350 479111388857
573589029117839430 348545817413
616519732386266240 725760333313
21186920663277422 528546406009
125154106517200778 344342601331
255881588114491350 618984452831
303577170014163700 363863702767
181707456735599576 398271520511
336343519314852524 570023047151
436700423140356148 380911813549
476471267396485570 380964850471
200373601067725836 620078043553
21955065458868765 827088550573
756725851229220964 551360161753
527605305941904295 360380431343
260455656105128911 556678933061
45162107133368192 554894200097
57410327357162780 690359209973
779566015447509485 843059777453
594426295311342597 391475181337
372887428330558394 801132744551
189805458565061724 509176340437
3313108508146472 551438183033
170213088200740817 545468709769
11787226502087829 541261048789
270234485152192385 356738391571
774140286203629049 740720442047
630558208098598550 755790921299
465004613206982160 750004143397
6841143237242370 558507013079
494526970259305775 760458839761
875206000767972364 428477113193
246945337924308716 499078711297
849353021298272477 637759589567
302583743941987142 384237549239
393553006623806832 526339284397
202619390398418701 572220589399
800821829909408240 473667506681
505545857910947836 825884924831
739339390616793480 555085353959
130727270831028984 357752734033
774820245682162514 530373329543
808607780180271700 572112723001
6680292570526180 522502195711
180159439978662302 602979932657
147727309601555479 541782771643
125172312861545352 574677723923
4068837900132688 350035734623
711195267579615802 625085326387
240156698687361582 598798211653
32861769604390082 397669432763
10301351790005172 454669889831
112943221144441528 723761414339
631251629508235130 330116600069
143926062480821198 409116880369
808030997185456350 656171795957
514268745740484314 535046890801
590886547824235068 696574462627
248311495009688200 619172735369
435753093688822820 366497776313
223444925192792680 369140596817
221390104422696130 672641243363
411285024185004572 538886059973
437305955150471527 742296936379
914348234584604416 431428685767
117163841706327379 394798121659
992754764438392960 774810175171
295386216194897434 682195823069
52011047252831446 775781869021
708216164179734867 503353885733
344717683983582682 536944293569
409192626026983029 717139031183
363512089541449494 394419199859
62529516990063750 520836664813
715152743271263106 313447625861
22295658962687920 598596099797
414239193781339073 660548552537
593570399872704660 948021547267
654185249200189145 885544072559
729445145797034090 632406601637
330136513417401586 505439677957
126648750801515481 807968124701
526623902419207554 540643131467
109857429203680744 433246769899
601194991047029280 599504596927
909382794847076008 464290501637
618604486438733104 834007532023
100176622638435576 567027245831
468639200590143214 345416828891
31933202230666100 744477606259
259260206644860214 348617389951
317988506754145695 328977478787
244428174948583296 499980016843
369409816252769362 764383004093
965002507245051912 577943271331
222106513883432468 811903021091
885924951076909357 688460937301
168098844375893376 398957674637
276748723872741986 413420879999
353391654314596404 776266611871
92675941489099072 424322051311
947900117168748897 563498909081
917093633164352830 564742444349
239334976227970980 669211471813
743120201560108630 650249292527
460013119718657367 485633798297
424738390079330652 632603252243
5550240999797715 512470442053
30715817810579984 500351538493
498438815485365472 742872685859
339428833254073824 380798683241
260969456055644720 483878591627
110155469137485248 561103160161
707613177987987600 660787332869
520028346014591211 477854046743
25455419358889750 905240485013
80509916003553409 337305870907
784851612434000116 387646825691
703406957420028715 508645811941
291383588883297036 631315670129
269575443206466436 474106315841
627947820959631524 500113584623
809487956352869145 726395382949
34953645879517239 276420394091
730624633991186542 393093933371
191192158668318610 404754294631
97592122490559845 489068033837
249703726424581409 776840297371
267562323691784975 530623719331
253065884287224678 471935234879
580649434514128092 875013879913
73975617831956715 666101782273
274004863081954495 452337858983
399870457562636520 421083588077
54291004618865274 307774908179
43989708107540184 597478445833
17768478991112181 847296773093
87214034380202132 690866877067
716378497778288268 340840898537
715164711055825796 589308756691
559975464975178098 422307934099
134257128001048704 647077314517
110657060523779868 483670542071
557886963867484015 310639817507
383064234423602228 399554428723
21869287878514776 661873295527
495702180859884831 547692078763
433352223846513152 488798587877
897839718157088190 805262575289
164080264511441309 384826244191
76594586774633725 888417182399
440440525429491376 782719890941
568134252773239944 551814437443
655700524623358650 448738984597
912227334659857968 594635307443
280835760577210350 449778242561
336023398302597503 438892174081
91042986790159310 981876983179
561392245885530662 531617836307
90228312475560903 729979907179
186108698624492700 328405229063
102435802728776523 478683631661
208539819590249922 427076906719
427492126271011644 614235852533
952938884827800780 427999208471
759167297843891383 429900409663
950422844793331126 549272206871
534679801119421712 756173899777
95338487087658140 506209106971
162247910847230728 584457127817
668498040082697370 732920290477
997613250990536506 457660791673
583686394121952950 641481622363
364013137957216540 362871743057
378086135988929544 514452674101
330916651428256784 358574618719
831346130400683919 677438623607
956345985364127620 617598777473
47998503194967246 446706007831
489854931359683888 833058874327
3665911224299275 674943919543
999501456882440001 585835220869
945416222426818540 793604527979
387740513355024155 893767163099
455983149350064560 400108279007
671033306614886266 807534544513
848772027895924270 367280322221
415767238167585270 326802786329
907550417210910500 951384025369
772659117141718720 568424951761
634047609311740892 559241134241
968894219275681978 634629192097
360802368837357573 681445739543
725365164084495190 458285775931
13762492994675160 495578327401
60572354238880043 440385377837
811456572311922600 456224274887
562215825192621970 845942476117
379394692200498268 527284485193
168122875831597611 520859295431
896879521743083288 557598160927
779256452374059454 509102474119
294300894808414730 295168511753
449844515352619100 356321409413
130551754480956396 405959881247
695278902606843212 568999793137
179764898425955485 616597804961
338903020910384476 454300571141
791446440373428540 376722139861
224149766595106117 874878189761
510554065805322527 847522094051
897146173072092193 609793668829
83474169314280150 518366757541
399295571551687040 662876383781
612252469868447300 451441595587
840386635117991248 512181080209
547651494633747800 594820238399
323833096200980574 311391131791
841962074165483410 487729506631
103224241918725160 483499292009
171693925827894976 609273084767
298011840966482320 601585462931
587690477343534187 785474621311
122834529449522050 446581105577
582652797848282080 603661485871
950951586037971823 471018679463
757966224082626504 686268776801
996973090621010800 447001978723
963185851946484366 577097657317
461053390785535708 432733277099
465304416165639050 644053380667
508875463128714583 455287869469
254740790125285912 563025288647
760483627255716483 662223259757
41144386155625520 553759650911
435606390447000077 797712234947
5314623473727600 607121106719
430617006078922180 486664253419
515393315822698730 379263219317
49929458461261731 553787149709
136270200798847750 799224377023
75330115864081740 726400678831
119727473450198144 476259585623
223981840043611898 751015694461
286932126439031738 570368214329
749018827155255000 276060986521
28250404826511868 515798866613
551877993359858675 515933187431
907873600097447610 511178835901
248777406087585091 778576646767
873311803236224000 686090841907
227396637380801896 707555284351
890803428047928976 637597151857
143817417813229824 636369363023
434671501519142541 642431263531
424767302049502764 416597043953
744633755168435378 581942374999
649083630872210408 406231671709
549771475817737188 393169880351
442760871410005875 310978621319
611226139698664000 531053632069
324408459189227845 864627090641
258214028587963764 599215594709
253198061784733566 342764717597
155424467681668080 440286239543
557253859452662212 323620008707
260737741062725450 403374496123
597845685399393410 649720074791
546357352240415193 946435539479
71503812346809672 638878575133
181949778137572260 348855359191
601583380229003840 435892590473
750177067008039892 751154408233
124643105079394480 456347159087
178673362722384640 681387845909
405206611409362488 974024467253
4627787918160400 546685070473
113047345979834993 508309394609
851536793720235285 519112582721
870459685298144619 372844112227
529149643157102754 490524424909
223347673978905965 635134083953
209608747381134591 468654740303
457902306727906623 619305878831
293524552978543160 685891837721
423395336109979138 458451976889
747142150352406770 548698834487
189405014634280302 525750495449
59980984401072475 494827671797
213478652695310745 305678647489
600266649680537942 407425414243
249355494951106459 720960386053
109653424271152346 407339607769
457679880573122064 877309920523
231554781604633256 425166104633
670493122204258427 374269300061
936023327284355162 719853260611
683135546188733778 647342786413
893195225619907616 427596637957
38492275070572218 351121615633
341503224407574432 447179846513
864457431078493814 536511334003
258922099175504661 516075672841
285945027267647392 736221178439
857770266189569168 598924807333
981608460118739253 645469425059
157872788076129486 658974956593
254760998822987820 512249413603
44559521438522472 373137640961
229922977260457448 663090495083
779598943378927776 723387938137
524996212409297664 668934087281
20968965888605523 419220771751
677130415801600904 307163525563
500854817102505201 597065003063
23939519996182322 695839907611
904479047581623450 576437847899
380653493671219352 498985733557
296352857057477330 550379793149
925210781334303768 760572359399
659699957738329770 562490724979
59656321993536864 794487259087
283834809777224544 553586404531
30152906378006216 473052807709
471725162096598394 737641262887
392165038977112750 264235397323
220288514919444636 444977020951
23902612125433964 534583020637
885127204267212680 596811124159
350211303957675420 723860374997
66756230934563284 575453390341
114085913850018272 563561000881
802631864892146560 342630136567
518944183894371324 516120922979
154805658283467788 621013888093
10581871441400512 356791019369
859009192298370610 517612006537
110610185058748090 697531089421
161137837161901452 461352375683
97928812335340350 534025437937
488454488773004808 414398574323
98517366719136428 328693150837
685359109229670655 313269275071
333199128747699972 871709472833
112316353746601385 458798134373
760411215410362620 375150993949
330245924463270280 681512233291
29338353272840192 354187242971
399501648945644318 394724495257
993440261078595601 805919395949
36214116441810264 491262859679
440269072472868875 401306751037
84625316634571512 469600202713
394674341681042640 513029557583
925354757703581360 316109151173
416842859422900200 435365368583
450140852036561720 398752826767
315808099889681384 332880784009
157954272360446770 487286839111
435798837820460100 589136618827
708318598114283920 591394461059
677953510038681212 435550242131
682185735535243750 474475639541
589522715583102900 341710273741
692994026895395400 406199523383
755388674922613824 960055593557
512058278790321360 336722190671
306012885906806334 649131649819
713945156348227520 365472500333
764015542572122295 467559399101
416823603763617605 366874304129
978360362091598014 424158693403
458576911168967359 735751335107
964021311541324096 516127975793
968981722318797104 526446304663
777435717024431820 790230108047
449262464662942842 438276973649
683363447694015120 647005107013
692136309389080221 855389318191
325115773548619904 459574131377
421262028443117790 459402713233
80301651167390 757384282981
113548762219420860 709718789543
604521819339277388 575024701541
746568754033393000 529737039731
824125931559163505 290075683319
38823160556000090 482428509463
718430294545141890 431138058223
422845993053092970 471041319893
765827560348231040 285452513537
579140427162924964 842690702153
696673778102453340 312581318663
769803459257152305 634503519107
742171358156769200 636097168249