#3079261066358695020
#3043545656821032667
#3042109266187005906
#3041764768210755879
#3040726500853688359
#3040660402120698937
#3038495662560780366
#3038488793540734137
#3037156856477787523
#3037146791138043834
#3034267587945963554
#3033412960144861873
#3032699509906877824
#3030567783613080042
#3029867502055206595
#3028468821989010427
#3028352477155045344
#3027922959017717669
#3025537761730899525
#3021985594138961620
#3021985428396843786
#3021089131116635504
#3020527958205932348
#3020451119336793207
#3018286963632385248
#3018200557312550168
#3017551316072279069
#3017464384726248954
#3016311330828201514
#3015377602815733482
#3015375741115180925
#3014972477366348112
#3008030413999317355
#3006592071344596780
#3006588223892760777
#3005479748508854052
#3005406809780397581
#3005381492198090618
#3005126661973747472
#3004531228629020139
#3004530610933869924
#3002969566927135922
#3001500956329258392
#3001498968539540236
#3000974949545419994
#3000790470071690852
#3000056667376198046
#2999546438255387271
#2997908290458887688
#2997359209340743491
#2996440009088706110
#2995143931479466429
#2993649748235265484
#2993647543306432099
#2992998311453011380
#2992269471684504689
#2990644354617454152
#2990639532610695027
#2990635094357581966
#2987196322550916061
#2986305933014999084
#2984865730144512670
#2982688255503245671
#2982684833328672630
#2981951318647646119
#2981508493904718268
#2979883797828349874
#2979881387596720181
#2979181055665252993
#2977638136328234650
#2977621344172123359
#2977621069143220905
#2972664962683512969
#2971824693905989795
#2969803823285019997
#2966014722949785078
#2964591804126603988
#2963978897445628251
#2962511458191027693
#2962507975836577593
#2961723868420515414
#2961706533060094607
#2960239397338882386
#2958882177523131237
#2956617304684636300
#2956613161467257070
#2955264844162412292
#2950409677319449259
#2947988050539456787
#2945009946346925102
#2944304218837625990
#2941507451402331235
#2940707315537422250
#2935626356895000611
#2935598678414467351
#2931463157358538044
#2930703886119347768
#2929974906881844748
#2927934084560727882
#2927927311791565073
#2927009679924014933
#2926230521090416958
#2924914810489415223
#2924911492232916383
#2924150834574927037
#2921968166806497689
#2918537949878427721
#2916331470383489071
#2911104579405884522
#2911102687875443800
#2906809450352354182
#2906015588788740768
#2903182939544101903
#2896578191198003493
#2893738653891177590
#2892174216373740741
#2891604333579742768
#2889353504009235808
#2885644598388991469
#2883458535574741653
#2882060705618469407
#2881269151702199604
#2881266119002304135
#2876267911285058004
#2875436245142481448
#2874831665581007421
#2874033165914089315
#2871210455056002058
#2868279276048755139
#2866072299839168981
#2863946585744615969
#2863938109626655143
#2860991654779694680
#2859505400657488058
#2855961606557280135
#2855357511177875151
#2855333560200473101
#2854785916755520974
#2850901222838247863
#2847252329109925796
#2844334644806036564
#2840857628832181297
#2839931147687833497
#2838610430430030343
#2837257386958269920
#2835835870911668598
#2834156351423260162
#2833611040984408808
#2829831941992230868
#2829082441812027511
#2828539652443480422
#2828537098607274507
#2828515259252221639
#2827858913699832329
#2826230399816967313
#2825432780777728666
#2823998529213572053
#2823462704956581479
#2820636004946290769
#2818282175701459437
#2815536485065829734
#2815524842734889072
#2813892733343640362
#2813199254846187722
#2810203001405319766
#2809655111796662346
#2807718666475416445
#2803034179485312561
#2803028543884240750
#2800046987242647359
#2798719076459883318
#2797899138195268886
#2794989298212941493
#2792827751566943963
#2790059527821600085
#2790025919350186932
#2787062121534335989
#2782631208767466847
#2782106965982061380
#2781242810114778930
#2779984707440356746
#2778282373245051652
#2777542857823627987
#2777539837043945301
#2773912946013643664
#2772673460990651620
#2771867397928266323
#2770462524863163653
#2768232994815615312
#2767457070922867496
#2764602656059043628
#2762356585127748564
#2760984815716016614
#2758888614657008409
#2753190054967911386
#2742193584575882411
#2742192602009838751
#2739255355841194096
#2734273850580676404
#2734272206094739897
#2730694844199478315
#2724944131183879623
#2722095207737731141
#2705215163224563799
#2705212925966035179
#2702375044998243402
#2698904407646415921
#2698901756099699786
#2665382933866490869
#2663969563426694216
#2663279057516374937
#2629948157299008336
#2604508649904679617
#2604507641845656242
#2581224197439103835
#2579097608211408044
#2575400330678248270
#2564528139434729660
#2563957164855013076
#2560947465960303128
#2555379125736975046
#2553804118892225529
#2549455262113083221
#2543000747151207013
#2543000703438170723
#2540747383994592136
#2539938534647671239
#2538478829832250738
#2537161001132892178
#2535776945094796393
#2531188684523318311
#2526229593841477635
#2521932860114349218
#2520469073796541301
#2518413296810337183
#2473324264795678879
#2473322553452536920
#2346543624713415319
#2299990675426388018
#2286985848060652854
#2266769590065308854
#2265968572759023879
#2263106803770338890
#2260873800050549581
#2260262936826094174
#2259506743694338607
#2251477746846803619
#2241303722174982045
#2239811205973684045
#2238342769984677390
#2236997440257404541
#2236445719470812610
#2233348197395212425
#2229912592170626577
#2151543460132299007
#2139993503369801334
#2126201102473899093
#2120292119661782531
#2118106031664932982
#2115932613519617390
#2112478787743525193
#2105274529323429208
#2096507149449439191
#2096355467453279231
#2096355437505948669
#2092015320154776968
#2090668056106774094
#2090556424512876250
#2089229534422377784
#2088394815984117648
#2080484461593502939
#2077508089564638809
#2073216318143733936
#2069571734280875082
#2069569578878381118
#2066091390554614560
#2055075406641375411
#2047862509607595984
#2045175549646612943
#2032855018373129149
#2032852200731976459
#2031131602951610437
#2018878103727644830
#2010926280748312982
#2004380577884546728
#2004254990952048123
#2001592066651467195
#1996316311075958168
#1993371693703244492
#1991267066950199775
#1990536420938228708
#1986854127572889397
#1973933067865173086
#1966749408435381817
#1960793704130159499
#1960149789907625046
#1959363754470679040
#1957947101669237655
#1957549028296110058
#1956585645463840499
#1954383793234128318
#1949304072523753641
#1945705773241739802
#1942835248131745409
#1929711186786395415
#1920292241146916491
#1919567279599658334
#1918850623378304495
#1917386098435171293
#1916782912213101835
#1913739512211580297
#1910872872956471064
#1907876427315816756
#1905773204178216542
#1902094067328626630
#1897752274671772466
#1895650911523450412
#1891958627292422355
#1890623730980236898
#1889771262062897015
#1889239908329992015
#1886905248363062661
#1886234795990593510
#1885456191719482027
#1879661291333758706
#1865104629470079083
#1852954195007646979
#1825326616901854416
#1814500001544413544
#1812384146245299934
#1795612188023464323
#1787589383335979354
#1780426420061742984
#1775444996866975949
#1775444971608877259
#1770925903799395090
#1769606738308245394
#1765327050769442249
#1762380990715539040
#1759336855309919728
#1757138944048244171
#1751570659844041335
#1749316470686362261
#1747044187385112092
#1745688985188970474
#1744212715942978150
#1740543851145211664
#1738332098151852823
#1733900077124036485
#1728230875667115852
#1724568235300366101
#1720261156943176665
#1712874252153135409
#1711667756279016382
#1707248209270679141
#1707248186990536290
#1707215789095923479
#1703681725621612153
#1698527068704221425
#1697826678153161222
#1696986890789464842
#1696183622727379293
#1695566983971482147
#1695566853419575841
#1694152336659721611
#1693401341218531520
#1692661996605940863
#1691951802800416187
#1691331751617505391
#1689299088912163342
#1687566589324437642
#1685564312246036424
#1683956454647669648
#1683943795936207100
#1682746896990347913
#1680283200963750765
#1679607967638365219
#1674543533580626955
#1672418831143808260
#1669479959749468598
#1669479922202059186
#1669476724481466696
#1665869404501452819
#1653002763564492560
#1499198155416152832