#3542240360178655629
#3542240111976522123
#3541607118152934972
#3540947170431609290
#3540946840138557892
#3540112225794531886
#3539453919832845738
#3538786991791416207
#3537979113467815817
#3537978960937756550
#3537290169910567922
#3537289985075979248
#3536516590105273614
#3535776851278439697
#3535193879932316303
#3534457499853791618
#3534457361030717696
#3533606415677531659
#3533606256772130311
#3531886375756377511
#3530707975461153288
#3530068204430828723
#3529371859378250215
#3528661916585042709
#3527807411710601708
#3527807266940004842
#3527125882147710122
#3526325153938023489
#3525604167257172296
#3525604032854894824
#3524931747118589557
#3524266699819853828
#3524266545687570434
#3523536877015541402
#3523536742109947543
#3522700080349981297
#3522699879677700573
#3521945643750796789
#3521272111333124801
#3520616245407787818
#3520615958282512750
#3519905220593197849
#3519135437002122361
#3518504425851203269
#3517675873618635319
#3517675568071977524
#3516830629750647125
#3516166450370848573
#3516166236939495227
#3515517092092716709
#3514870020784007582
#3514868584184555760
#3514103592569023795
#3513481807754440377
#3512576414547191133
#3512576257369843035
#3511192290292934331
#3511192167575987895
#3510367242812401783
#3509804780279047657
#3509073915618012645
#3509073675896761822
#3508335709951896902
#3508334375819290942
#3507472038920986962
#3507471725346434682
#3506805883906566967
#3506804543247623136
#3506121358855646298
#3505334946182998772
#3505334619220224752
#3504625657281782200
#3503977692745705378
#3503318063665654845
#3502417780706124632
#3502417561092367189
#3501632992093153298
#3501632652262254607
#3500977464463598328
#3500977184921625329
#3500221278311165534
#3500219918484254295
#3499534487245563053
#3498804957413388024
#3498803181083700257
#3498200219743431732
#3498199960233454641
#3497297454217306828
#3496707120433210348
#3495909025030087628
#3495240036671040910
#3495239730520403340
#3494468570929177231
#3493712833785375121
#3493712691816573326
#3490891022001516433
#3490890701112093999
#3490178602253692215
#3490178482439203803
#3489462664055235967
#3488688722575106182
#3488023412520003272
#3485905238995510553
#3485107942682798735
#3485107611978705548
#3484328403014787103
#3484328151423655965
#3483668452718159425
#3482914785295608374
#3482171821359375387
#3479264575386300406
#3478588481037410663
#3477079975553672635
#3477079669856019473
#3476394169226767022
#3475828389720368740
#3474924772456934135
#3474276536624884790
#3473540472461337334
#3471228393830230473
#3470698155320814645
#3470697792849062963
#3469851346809662864
#3469849500946804104
#3469106992772031504
#3468423593161925557
#3467735089436174570
#3467734829942974305
#3466931307034976528
#3465515910595357104
#3465515628310309146
#3464868467646145642
#3464216868326222119
#3464216657193346975
#3463454241853549603
#3462779015952081622
#3462778675131327181
#3461855109867120536
#3461854795545978769
#3461065822259128602
#3459720886972588210
#3459046028164998381
#3459045802997981951
#3458270306991353278
#3456756858688122153
#3456756664869334309
#3456059030059886979
#3456057886046691866
#3454669138838954227
#3454000276611018171
#3451712871921102764
#3451068531657942660
#3450323775353006112
#3449624516056067324
#3448954868931243712
#3448954510997728527
#3448199719786915192
#3447469966029236248
#3447469827491375125
#3446648194920882210
#3446648054562693150
#3445265084899667787
#3444592294202714609
#3443824233136793505
#3443231532959933977
#3443231083926135974
#3442249157975223205
#3440126035734045636
#3440125684981179004
#3440125364888674537
#3439462003633040878
#3438758249761876457
#3438075270731410098
#3437214307559941172
#3435323078463201890
#3435316079520394306
#3434493174976881974
#3433847029602723841
#3433005912183285254
#3432378486541525371
#3431394265022867607
#3431394144461793428
#3430101989877361955
#3429256018062749527
#3428541095951214558
#3427942674500428719
#3427153815424477319
#3427151424989962535
#3424897681477085880
#3424321748374399944
#3424319603038234422
#3423532586654245179
#3422837661776227455
#3422835149488792870
#3422021066279627569
#3422020862335789870
#3421491552722100265
#3419916106716950013
#3419063490940252094
#3418493207892207688
#3417791374248912114
#3417055845605715728
#3417054160535695106
#3416271494341207043
#3416271322165027523
#3414884801763615304
#3414127913727961754
#3414125765061518147
#3413313839184227260
#3412758593512940720
#3411985542701657745
#3411165805545531969
#3411165640868768193
#3409606739262186858
#3408216668978031977
#3407628610813568820
#3406910665028282755
#3406909323043939001
#3406097978321019413
#3406097828156547602
#3405520698385376757
#3405520374434112436
#3404485083237721285
#3403899409249870575
#3403215557762230853
#3402510776320141265
#3401838232189543937
#3401003380615687074
#3399562299474715362
#3398866396443058536
#3398279923767454958
#3397444419777995972
#3396732148709861473
#3395088597391518592
#3395088246009506685
#3394400398432282477
#3394400283709679465
#3393089475604130846
#3393089347543641113
#3392417247724055100
#3392417125527202361
#3391614704613862612
#3390809594673506311
#3389352361393660554
#3389352157701481093
#3388691109537392083
#3388690989840344529
#3387929609872877111
#3387202492486921804
#3386485869660613685
#3386485659047832627
#3385813810265729650
#3384950274987667068
#3384947397418296108
#3384231388386438086
#3383541704089939258
#3383541534883327287
#3382935819974093337
#3382295565902555666
#3381479420245058764
#3380754276019088443
#3380754115024923665
#3379897635270831323
#3379897468840848601
#3379173568083405190
#3378553644273117092
#3378553507345868706
#3377713237603655680
#3377222380261746379
#3377220682743033715
#3375609939580954228
#3375609751189595759
#3374827992130791859
#3374825893703722700
#3374097427396045600
#3373467037270551132
#3373466786233067797
#3372610923393985562
#3372606995562506537
#3371809559076153785
#3371178881103965110
#3370534432166391282
#3370534262993333607
#3368986777166553266
#3368984908998389519
#3368382857444601680
#3367660843343818517
#3367005204112223044
#3367004928714222399
#3366299803003658841
#3365481152415541151
#3365480990364411648
#3363931354302522334
#3363931054007132382
#3363394144289431558
#3362735284226630640
#3361933591083756855
#3361166182936749228
#3361166059003454634
#3360368032722463550
#3360367632627803816
#3359625046304762265
#3359624796139694228
#3358871623410132694
#3358155283674179064
#3356837092360462739
#3356079608582647197
#3356079352142900406
#3355017542040038670
#3355017080985364929
#3353236327372955675
#3353234811324999868
#3352417755553868110
#3351650480508904809
#3350956061120013909
#3350251281951237053
#3350251090380596047
#3349396040255021487
#3348669287245031214
#3348667515654909910
#3348074915008884400
#3347339439180361240
#3346575935729053097
#3345930595996806145
#3345930234397469178
#3345155407172608721
#3345155084186037915
#3344382071098320954
#3343682647049120149
#3343682344488806527
#3342991089576453625
#3342987953386301303
#3342300736036806698
#3342299609329311779
#3341551486373997298
#3341549867288766492
#3340082966146589402
#3340082695286825688
#3339264782795548041
#3339263823969263892
#3338552150975325720
#3338550304323940144
#3337912697965520218
#3337912534245057413
#3337912183961952794
#3337265743401070122
#3337264204947139404
#3336501517917105104
#3335933266329873260
#3335931492877477137
#3333542971436969531
#3333540594575222485
#3332831390591888893
#3332830043062676146
#3332142792292966665
#3332141399440107929
#3331430796413117326
#3331429438003883679
#3330744664658553864
#3330743505050938370
#3329923983674976989
#3329923742309559003
#3329330535670490476
#3329328205793341279
#3327900045600105669
#3327899058671985723
#3327221636960102504
#3326531111839870392
#3326526918827716356
#3325665868045625370
#3325665572489799701
#3324822056062691881
#3324821639484418366
#3324408360744266327
#3324395879988734023
#3323378703655773671
#3323376504372470066
#3322619388141514226
#3322617921913497214
#3321979472583863190
#3321978118620588943
#3321284583751691790
#3321284428562443786
#3321284213646306824
#3320577555043459378
#3320575281562921416
#3319825044082796135
#3319824719309448803
#3318998286576133815
#3318996475207233502
#3318278275926599255
#3318278148663027190
#3317731238952837993
#3317729060490063050
#3316178600566205216
#3316177336981793560
#3315495806043169758
#3315493408755166321
#3314712186114286134
#3314711980375289827
#3313653654858245830
#3312535772162174246
#3312533400258094843
#3311851952408636773
#3311849332495361532
#3311124121907111462
#3311122480684347080
#3310332823533003956
#3310330919486758942
#3309681574026423347
#3308976809890030532
#3308975024534200539
#3307502275458507871
#3307500997772845393
#3306821929838584704
#3306819034544090143
#3306017078393184804
#3306015764871393185
#3305268358999451039
#3305266494186729023
#3304624559994449342
#3304624407380503994
#3304624189830344120
#3304152392437604769
#3304151639887195683
#3303065027069617745
#3303064234748814210
#3302370226108114046
#3302369502934606960
#3301672282161686019
#3301672063546172927
#3300967620416643408
#3300966872152809797
#3300268012858256284
#3300267078610593567
#3299541960271865280
#3299541686971016195
#3298845195193295369
#3297974957249669647
#3297348454086356230
#3297347849754258690
#3296603863766803657
#3295962705545931507
#3295962495503575791
#3295209937768033371
#3294438344594825383
#3293697379370279106
#3293027712599338322
#3292067791376493833
#3291473837136290028
#3290861972983131143
#3290288080719719575
#3289440912714770516
#3289300205333130055
#3289300039188359496
#3289299760611075588
#3288635261616922889
#3288153554493121139
#3287251244896231902
#3286470329588788165
#3286025859881775038
#3285387522271619513
#3283931001226536080
#3282684610525277185
#3282197677994945725
#3281381570086185428
#3279967210839221543
#3279226711031425080
#3279226622347061302
#3279226523646699572
#3279212387307105254
#3277689036176630241
#3277004367051369030
#3276256686620290044
#3275582507021509716
#3274170856229580363
#3272689492925885513
#3271923584242560689
#3271190866999389381
#3270553120970647920
#3269810029879896625
#3269069064563074539
#3268379373295642237
#3267548900776486353
#3266949032274044437
#3265410824843308313
#3263951768718943560
#3263316936791959595
#3262479509504402387
#3261855036057067804
#3261064927623784322
#3260365940990157799
#3259636810078234448
#3258913126568962920
#3258279860073670775
#3257382070703367993
#3255960243254864225
#3255251996772411169
#3254562069944475968
#3253817261495952796
#3253817105971160475
#3253817023729247641
#3253816913628767638
#3253816744891917716
#3252640845056190939
#3252038335081751141
#3250953771626277847
#3250209128970200849
#3250141465635989505
#3250141022566491844
#3250140102478800028
#3250139707417305970
#3250139376209896082
#3248754259021277614
#3248053346799461673
#3247440300154560944
#3246526237136400169
#3245889110270814772
#3245133059552453804
#3244511594469663962
#3243680883806316612
#3242920662364333125
#3242240053551833342
#3241456768294856222
#3240789492361079752
#3240020326104444056
#3239360658193523121
#3239360358518893942
#3238626530758239289
#3237209842657535941
#3236422531657248719
#3235687654523675198
#3234274695385722257
#3233468070102050980
#3232084002420565581
#3231348426146851461
#3230638504853644156
#3229197736272208712
#3228533935663229143
#3228002033130810988
#3227021462124636339
#3226383956286907151
#3224860863441677630
#3223409230362980001
#3222699034426745643
#3221909875919433251
#3221193852400445646
#3220466620484824725
#3219812608290858807
#3218343148069596916
#3218342954326306546
#3216826340875448200
#3216284202068619251
#3215452726724928101
#3214698985734285740
#3213940979664955008
#3213265147392960348
#3211075835586947607
#3210437398009749937
#3209678455385892082
#3208978503609362631
#3208308359451125952
#3205569531787355830
#3204780867947865954
#3204130029332079945
#3203297250641979391
#3201755811810386612
#3200953254137572817
#3200288918184404067
#3198120695531840197
#3196846256580210532
#3195509402652123710
#3194402850406933286
#3192939637937024425
#3191032508049270313
#3190036924052022687
#3188855849644728889
#3187138081593502452
#3186422337239002937
#3185305005431205372
#3184264032488006363
#3181024301377661872
#3179222901790353800
#3177976910596550564
#3176525097422826582
#3175590319550900793
#3174337290231096276
#3172628477153124991
#3170454490545398489
#3169008188024431103
#3167567154480423943
#3165405105482640283
#3163941701953791723
#3162053844523821408
#3158946784860974187
#3157411009497410795
#3154595731231222069
#3150482317496034678
#3142919489721475621
#3138589079893978980
#3136410563882527117
#3135203695982030614
#3129238625342992047