500
187356620211149088 551195453381
331302784789593981 576249123167
513322554835407565 388452071593
55602136316414340 440884292867
793298196597323410 562256848697
456958799118282840 873501008957
992972309688813078 537425859083
148603679974525918 359508293891
625865819715572114 312281056457
289403807404172794 473242916491
628078385589939135 438255915947
823086312451148474 551621491963
873582956398506994 298042860571
966821178390967328 468874365637
93576471952521600 592038598643
41159416668125320 734007335183
219562816048820663 414157235777
155394711305247536 633730834747
52925339864847456 319960673729
354162302135709816 500210091313
464434866290600336 663862262269
972522673891711760 357179855239
271837078133999419 624359829773
80292743103822706 369012471151
125905917893957157 671260852123
376801413973060450 432521078317
226815257297379872 769190019487
521305121527963663 637433569139
348582871123482240 815262183977
498956298186416970 684631350457
385760803939722465 514163879419
641413000086676964 663252586277
798354151367498258 651149036647
342513510174031266 708688102391
593069219504611288 378346329013
183582967313194280 369133220333
95861992399011913 637755985331
478063961436681836 494388568231
14858528246392652 706362469061
373780413438035866 376660978411
215898782333475736 537555440491
102208413712769670 476855703497
26928563065009920 536084136691
673347394459439238 787370348753
362692462408234036 408953990429
991346602957885760 301912259897
130333366988472962 604248858767
401857315059255673 675264885287
955253594710153120 545312130947
120860521544021712 830104432139
713235226513699075 434700153649
161574115160778320 755766814139
341280475000726536 451014780967
211064995944469644 371492903099
511491097835539866 867664463923
483718774587763616 733608058103
72603828439000976 676264162741
739440922898103200 442893651713
289265348418547054 333489082453
526312586959963340 672750698749
261637187633525452 385219411823
430466544664044017 313950408971
29262199816616229 558374991959
226179453595726698 809630152313
296164808931290208 401683248931
362357925480098072 389968904407
416045093019356502 666826609597
724238403389718304 759945240359
228818142480729493 584612265269
4732135627812558 360877089613
90101804449449702 652385699869
61379340569251062 318486961579
647109833763966692 560823277501
512664329578440446 602632405097
892707639106477730 455507022577
866946691785508640 608473763329
471747313196085849 450321423319
286394965302026880 427116116311
453275386814203950 433895975413
343305184330338368 572379708203
370245114941873280 462176921023
113603892196245308 666941309687
248900081832747090 334644565049
208400370697054592 339263753963
887252869314729704 363589426507
273771256205104056 568267454273
630319313530695925 341611286701
6482781580654280 600644025953
212914267599600795 524496088121
993745110689303818 700164386321
212978309994885941 399072646649
321309807194664728 921329527771
474104229516404044 748751641597
26984503912786752 486110622827
796390120625386320 398790173357
737085010733512989 590778031013
708132774612775760 662651132041
776606100222347055 910134062683
173663464171767790 402464972029
604722563693051680 394325328913
828559041386282525 893931624307
2385380329737530 825067059833
651595795915617305 547851038171
677020897726731024 486655238711
347678539941013320 442471981429
161928960648928284 653237438519
125456748086621456 591403944811
626934383033822604 708900903743
566435433174528540 426791995141
304981406883120381 713482347713
286316162312426496 482511726947
117199886197622514 598009541273
558709902468065280 446675391923
195874580908043524 401889445073
612454327359941396 747174285883
27697379435967492 514775353751
405842997694993900 425457622861
359229402040919334 770614382669
687685378422375862 744766195391
797103286930634335 773435587039
403994839088042605 740949555767
75164866466011334 623534645953
632209333919333550 848289431233
786223379212666710 655355714471
845318966459739996 659124617713
367541035243826300 618787085141
12965086992918144 799730545963
944390560868113999 426158208347
355055227512443506 609504417167
965509362841286510 397591119851
805262426554012250 482844769559
483319706751969351 600539151349
778529914064148070 647298083359
515956251640005159 582896505547
500438568657138958 345110304283
118438553911709664 392502148277
857637526895629242 464925963353
783328806816190390 488121872893
515045727461658784 590380173247
318106036093386405 498625260983
732825710212440536 883479493187
407452146919228336 419815752673
764445937676106028 691345701413
119227886587397416 693872599159
634847634040559688 463478651057
824676441804939249 567710365757
735231210894446730 706521785279
275198092667618298 791477226629
291545379275267969 714798867883
199166512981890051 324075779453
210987864804517027 705897569213
972288966719265624 702621616493
57779215498279430 543425301019
61998402265429952 628883034517
156489017767445164 509987331577
136945454951670975 616897811267
788528179365221936 754774862267
529059850455053956 852999804961
610874597561636416 801436646323
625080484551974542 378125672107
138285446149549912 855160278811
347586446829252254 643706526829
882230304463984269 429555524033
1201411316318790 609355398131
160099008809742220 734665774267
209409981334379648 482718839969
20175079829359680 494781976547
509418972952284056 555758252809
677567676479116962 772856879269
350957090745033960 510398573849
82753780607446409 276559229021
105501135480158200 366563609917
311516817414263479 508804223857
718459842284767134 678683680601
731653885224625605 515177352901
65594083100183253 640060226941
7296452452174784 786784045687
353680792356822030 455289451843
114078820746441312 347835507251
955892022663298000 509663711327
116288157975414240 616149351967
767126843863161600 576200075963
484030209128975894 555271161139
224103293347810298 726113256359
756402362377121464 800539886711
271321084214048915 360106572281
674710210360734592 904734761129
327205972800868048 405487138003
526960024392843012 704838081247
530777721603203216 680335056091
639680298662029001 644098297229
713930910991371833 461409899147
430443739913456633 461311548853
231074504791160712 583609933351
734931425817452931 559370650331
298878212225679840 520501312559
84791023911074394 510731589839
154940158694995440 602761240771
428154104640344774 668326892749
65342272087744700 703971096079
940137514108730910 847302743347
150880554694696120 576682347317
115495227737590245 497934594697
130207961672768464 324654840119
742390551200103264 445740930553
165097971205760933 612859472881
311563996491438546 447699302653
130958435046174711 662640124793
190537956833275582 500197676677
321082754824742272 412638866131
173435144394820224 566611322863
192128541101462636 753642838063
175714427348726355 679455869077
295700832342205136 383347264243
537396658159252826 488446489163
900540825109921024 400734419933
958733533462938496 763961586389
42116338853415855 371560148257
599991550375611301 433346136473
332876903172054956 804676552639
451575102787976708 623469486707
810112810982587877 763849423591
771987160523566192 464972188061
21520009589702552 526364146697
140124058476601595 529553476681
868806977221650081 661078229059
5363066517697768 825631420063
79246964455829611 513040725919
135570335438669888 552736392517
751961532638357465 316074636671
839768968194556928 833120999989
68032884987756608 477216974581
128958632736957676 312760100633
347844000946399200 736624242397
482977427031649512 774506474411
648364114414871831 780061518637
85716272024645592 617328947647
174439239652207784 566805688487
241764473935718145 378070832987
748048402188634213 672502613113
604523615760760704 307127472943
949801828955675840 599520882683
196726451728624766 417078524249
260250622238337390 694561551469
185264033116350483 929830540003
302991093888456560 388773748049
305242282847610150 652725446171
407977369913296586 265373590613
854984197598890212 353363126969
580849861429578650 523504218607
610251850422033700 554057063999
260020018889852076 506022072613
584369236180461667 495796617247
341008579326158482 427544260081
328582888486263792 696566486911
335507241662029380 432104908861
586569568424900754 451629442177
459082990805634260 595582071407
663077361023165912 562403911079
203810923791501096 791115067357
822970555114767746 408306040279
575130465579952280 287309184881
358762123939297771 449617839691
962814927868870647 477493019987
678390642387562230 401011293323
799406558262461106 520206201191
121599125379780737 533522227669
102635024743190488 557556378941
632386475554340948 539198723537
91113950944963172 806785922359
907720730341130094 442669124789
607028957184612720 653269866163
370987895661557768 565574778143
205566446399204586 361882093973
980119512842104476 385218063193
565482604253489490 650178899281
627752078916264468 461504946533
13227203825234586 472163574133
347900708913274248 319791749633
907794855783443960 809392384181
835465230200827868 524149491787
239953354490422905 429992960261
496426992715478915 504010641203
570090828197557200 703585655099
436327775159475932 574384935217
405463283491621068 434875819009
378091336585717768 831974635691
72333285364589475 578616399271
12674592673317216 562191287509
536168361805477020 521829874271
605377326239280388 777966025481
868071462359244428 287406229883
121047739004055120 413515279963
401101693387127910 283854825791
16144842724023376 550572762263
267106105271240250 469153761127
800349113059960930 619599904639
517054859757383168 362338673857
318044891994498708 405892177919
554449730455462928 766590707471
689654741483234336 619196881157
423754777926942720 444043493581
190527992579445885 507074829731
691980272114340384 483831688337
83092431784906971 693608306093
571396963474605528 593988079901
358974373532437652 477251566487
61358927514705510 402547472731
574964707532000984 417984151499
694866041763693530 418075710139
303555901949627612 572318280139
504112483365309585 336405307393
472117368288318398 384087136471
554760296991589988 471932797781
172791635274792988 434558124739
213240619401197762 577031727451
210146700053952624 617433817843
280340500636846252 614258009237
792543337474978482 472034519797
900029293138993380 618863656097
84932667465631384 531237427073
295763622229300535 784243315409
799823641522166028 776480941987
208623558307137489 676130610097
285777756321089078 341789698787
567235013758455163 495715588723
810318421838901508 751663955281
459093398573699037 500084388803
587096875852815825 553390742627
764318658228414152 301240483309
239123215648554707 494740800427
135581106845077605 423474299813
798967548738219081 847398054011
714535989149077324 537673102201
473727021981178475 594564010721
2018007565117407 451364159017
924708163741897820 488485247197
966072473896219426 461029018889
406890773492090399 395755547069
56026060831767498 739027645817
255382948133667230 460649177119
450978392093333598 524380359733
494928081687614844 487949145923
354542540922349778 700131824773
321673406365925432 783400440377
317517598972018060 747339032161
984064751758362280 467185472293
548436019404748400 568809187069
209485803757154400 356080523527
498926587763514240 588693993431
117833115197790738 435383544493
79637064094316574 533166762809
750960845624564392 348194557939
613944204189937450 562919639369
159677221929400703 608549059763
782824330393852720 484634665019
10140706611355640 663719435651
240272011664251635 525525182027
804897646668262238 681812620259
507671913120766880 653783611073
726493517265066915 725066608313
519910795373769030 599308818721
191058222927740946 564921232193
399206143517773984 698586764149
191018447006290780 665604471391
21999955717456206 377759396129
278631044377215830 425861171653
68652260903507140 451368200669
446352135700140810 394771667723
280155520022434754 453019738331
966852923821139125 542405966237
16649907616612640 327867717299
247150131061010918 807149075507
487832443111445900 600851294627
751086004212591389 465131393533
927161086580384184 557820476419
112256275869654573 375320707297
475996536607709535 472273936649
362579439079019586 322240302611
989796269077684264 396306723949
397768064350110915 466679914517
396850618932256159 400192642981
155405631230919612 448635308153
470213625955271977 446065786729
349045495797526374 528104143339
235679520920409238 385770134417
782456603049115871 631570744249
15544345644224232 589853143819
6875066803726943 506019886303
553078722967637632 493844667013
388440711205610851 734618220839
82452265956997298 647869601777
810423665744484411 416265895891
272696027394578827 682101055609
623150282091789405 403517523421
651321781322723186 438952304081
158291444564181602 489537606193
489033926565557186 518615167039
190231236707359922 617310229339
501742018891844194 697180697429
186826777905383060 498371572253
10007722960588696 506542722649
35511320819268442 727524539039
810789906024934495 352085031563
102951920499636545 631526771401
665999452819421432 380645536883
142175992153041604 669222335981
298865294054577756 584265491497
29919272471036416 337311101629
198216487011632482 329441188897
178425464861262082 690984033367
27088638323736704 768531033581
25845788326098312 509069407337
713052638833146878 562592465899
365729505603703068 386142538009
648579482547492230 580500672503
342130097164801512 669432773237
325780565017346700 473570832433
252741852519160258 651467084129
916523857610956800 844149938113
620063029924175665 326439105037
873811186364355468 846903354313
383208266013511050 418890694993
616831471157426900 449427384253
17700685180088764 367004317571
553192273307325638 599550054167
463080676661240568 315135649207
328585773387499110 791981220769
540418080074606423 746083506767
749404753161315621 696251267479
762393593240782972 491661670739
253886010476751796 502364767699
981701388616812366 508854200837
47027957612256056 581059291531
299702234220531737 466651404733
252119671537426095 574460098339
487350420869078165 369872617417
168371554487111963 544092670529
115824912952005035 685829393917
301746525895437620 478566089453
622446135325610508 421076506639
523153087963049898 703942077533
606141014864483680 444030170989
556641102789925686 487006509383
287064194820024528 447628336759
576044067751572054 619405657019
516213648378398640 309917749499
8845361124547920 750271995899
813491727555079568 528448085443
584695617471660 454414948189
447042388794187992 663095433929
715418143617834430 525397889011
499188404274283704 413149134581
605682144869260500 535735111339
793609493890016 421312119913
612716921020643652 568295803381
625515334283948996 696152218049
956716351375453064 653886460571
87825329035828864 483030260173
514218253745432952 703029302897
465334551964821139 540587129897
991320842849284304 570504305647
369827520846244882 437208497801
415012629252352244 518059231423
481050890478577888 316194523091
206111135958931674 451142382979
713105975329281286 764492692247
338638752603195482 662638457027
184786460197627663 388809726839
775487358242055348 459753048383
116631061334004 526339018141
465042599372377739 317843773837
185038398124571348 566594022283
29722607005354690 328132090721
142330842479275800 582871194497
636911496366464275 355641498083
310453550225943659 654621429041
137116846873434670 752340851809
39876185419984452 355663153513
800744703893517928 900064690769
123036542877689632 581926315829
79188399562955392 492372234073
1323493592727264 448306785167
34746716258255580 496758530987
466402156072401840 599560584401
542414271573543718 622458112721
679206274606441858 501858134377
934292308381711280 480285006679
585897339030572498 454972600483
110541810955569600 640643333887
139064530523696215 412865373647
638071020031587226 380238536303
816205958745753548 309497720977
87362497633899028 822977570971
166668069847119845 419464634317
173947829501125000 480251567857
473020453180152240 921376180159
529925706601951904 583638826643
218398758137900000 667481460257
492504294667514414 998902301401