experimental-projects/oeis-research/Michel Marcus/Smallest m such that gcd of the x's that satisfy sigma(x) = m is n/upper-bounds.txt

a(6) <= 6187272
a(10) <= 196602
a(11) <= 8105688
a(16) <= 2031554
a(25) <= 1355816
a(31) <= 8880128
a(80) <= 11532
a(97) <= 5488
a(127) <= 4096
a(144) <= 5334186182
a(151) <= 3465904
a(69192) <= 193635
a(70687) <= 9265217536
a(72473) <= 76314
a(73999) <= 74000
a(82944) <= 123832601772
a(93125) <= 117150
a(96721) <= 3008023
a(102400) <= 253921
a(103968) <= 312039
a(114244) <= 1459002372058
a(117649) <= 44970883480
a(128053) <= 110204296832
a(132001) <= 2474245488
a(189759) <= 259072
a(218749) <= 669921875000
a(236196) <= 72928616551854
a(262144) <= 524287
a(313632) <= 1013859
a(329141) <= 338550
a(332928) <= 1017705
a(531441) <= 1167043704
a(541696) <= 1131991
a(605000) <= 1558095
a(631157) <= 5054130228180
a(797161) <= 7784785162627296
a(801028) <= 750257785648
a(814088) <= 1737645
a(890453) <= 910434
a(924800) <= 2426835
a(1162084) <= 2607731
a(1364191) <= 1353278464
a(1478656) <= 3120771
a(1638400) <= 4063201
a(1743463) <= 4617251584715264
a(1771561) <= 638477637880
a(1806331) <= 5701502712136
a(1985287) <= 7246340905760
a(2362369) <= 2493673
a(2928200) <= 7488825
a(2985984) <= 13106845032
a(3024121) <= 3175599
a(3150625) <= 3993253
a(3593203) <= 6230615736
a(4194304) <= 422212465065978
a(4414201) <= 4877509
a(4826809) <= 7655318952
a(6553600) <= 16252897
a(6908733) <= 240949883860
a(8111104) <= 16398517
a(8242641) <= 14017003
a(9765625) <= 9095556454348
a(10567201) <= 1065195096004
a(10940653) <= 10951168
a(15814688) <= 33772221
a(19531250) <= 298188789449734092
a(19784704) <= 39836667
a(21020917) <= 148659932096
a(21977344) <= 44019073
a(22667121) <= 1097396311
a(23658496) <= 49938051
a(24137569) <= 4000802052
a(26353800) <= 97354725
a(26987537) <= 7934336172
a(33554432) <= 27021597764222970
a(35145728) <= 70814835
a(35153041) <= 1398413255
a(35313608) <= 73162635
a(36966400) <= 96743901
a(37515625) <= 919504011448
a(37844689) <= 240086713360
a(43046721) <= 2001672511
a(47652211) <= 47676424
a(48428101) <= 412316860428
a(49042009) <= 50446207
a(53158681) <= 55746271
a(53831641) <= 517860396040
a(56698087) <= 1857882947584
a(60855601) <= 63261601
a(67092481) <= 13194139533336
a(68574961) <= 2686637971
a(85766121) <= 219632063064
a(94633984) <= 199753347
a(96059601) <= 4913168455
a(98942809) <= 119550847
a(113607841) <= 11133568516
a(148035889) <= 24143307708
a(183458857) <= 5687224598
a(187388721) <= 9439201811
a(191102976) <= 838938891624
a(197885618) <= 358652541
a(200533921) <= 7705469771
a(214358881) <= 7309637839
a(245178368) <= 493177449
a(282475249) <= 23727920904
a(296071777) <= 31975752024
a(312900721) <= 11944559191
a(320013504) <= 1004991640
a(373248000) <= 1396631028
a(375762341) <= 6593877536268016290174278730202023718898326861547280
a(384160000) <= 1117853891
a(411925951) <= 606355001344
a(418161601) <= 15447448955
a(429981696) <= 1289869711
a(461017351) <= 23305349178304
a(466948881) <= 25227729351
a(473896897) <= 2821582130692
a(481890304) <= 1124272087
a(506250000) <= 1831542031
a(512000000) <= 1279964085
a(519098191) <= 16689874688
a(520289282) <= 33038369406
a(533794816) <= 1126762151
a(547981281) <= 27072305611
a(570425344) <= 1207959534
a(575930368) <= 1247803060
a(591462400) <= 1548079581
a(592240896) <= 1913112971
a(598738037) <= 4611686018427387936
a(603979776) <= 1744830451
a(612220032) <= 1829485515
a(617522881) <= 108086391056891928
a(651714363) <= 1025846680
a(655360000) <= 1637874931
a(671898241) <= 25403364191
a(686128968) <= 2250328515
a(700176392) <= 1312830750
a(715827883) <= 8589934608
a(720842996) <= 1261475250
a(729000000) <= 2711117641
a(741200625) <= 1521938605
a(745964389) <= 647497090520
a(796594176) <= 2776101911
a(805190794) <= 1207959588
a(805306378) <= 1207959570
a(815730721) <= 27394956711
a(815730722) <= 1223596086
a(835210000) <= 2148508351
a(850045634) <= 1275068454
a(855036081) <= 1353737801
a(872415232) <= 1879048178
a(888215331) <= 1184287112
a(907039232) <= 1993537491
a(937890625) <= 1367675081
a(959512576) <= 2110898455
a(1049760000) <= 3927454531
a(1073741824) <= 2147483647
a(1073741827) <= 1073741828
a(1073741836) <= 1879048220
a(1134793633) <= 111209776132
a(1140850688) <= 2415919086
a(1140850721) <= 1140850722
a(1146228736) <= 2396367151
a(1167575877) <= 1897243180
a(1184287112) <= 2321471895
a(1196015611) <= 1366874992
a(1207959552) <= 3489660915
a(1222830961) <= 1429173805
a(1275989841) <= 2232847961
a(1282952938) <= 1924429410
a(1286859803) <= 1286859804
a(1291467969) <= 2129947681
a(1303210000) <= 3330489371
a(1331826343) <= 1334990248
a(1342177280) <= 3221225466
a(1342177289) <= 1342177290
a(1352745536) <= 2684354550
a(1358917633) <= 1362240580
a(1358954496) <= 4060086151
a(1366874984) <= 2562890610
a(1384561738) <= 2415919122
a(1431655766) <= 2147483652
a(1445900625) <= 2923955441
a(1475789056) <= 3436782111
a(1475790841) <= 1686618112
a(1476395029) <= 1476395030
a(1492499197) <= 1710777536
a(1528823808) <= 4584373179
a(1542131167) <= 1544804416
a(1544804416) <= 3257063209
a(1589311291) <= 1600950224
a(1591616671) <= 1595054752
a(1600000000) <= 3999509671
a(1610612741) <= 1610612742
a(1655595487) <= 2091617200
a(1709509901) <= 1879048206
a(1731891456) <= 5486944771
a(1798045696) <= 3795837880
a(1836036801) <= 2879092801
a(1838265625) <= 2680766467
a(1848197800) <= 4297060350
a(1857437604) <= 5168743489
a(1871773696) <= 4055467811
a(1879048192) <= 4294967288
a(1879048213) <= 2147483680
a(1908029761) <= 2215419905
a(1934917632) <= 5804631555
a(1944810000) <= 8205616331
a(1953125000) <= 4577636715
a(2013265949) <= 2013265950
a(2020445312) <= 4199339235
a(2099387989) <= 205740023020
a(2108554561) <= 2156579299
a(2117950381) <= 2122981564
a(2147483647) <= 36028797018963968
a(2147483648) <= 4294967295
a(2147483654) <= 3221225484
a(2176782336) <= 6529545751
a(2224365053) <= 2224365054
a(2281701376) <= 4831838190
a(2305694172) <= 5379953096
a(2306601573) <= 3075468768
a(2315685267) <= 4052375668
a(2342560000) <= 6427360555
a(2357947691) <= 2593742460
a(2365849600) <= 6192353757
a(2373046875) <= 4443359284
a(2385443281) <= 2745735281
a(2392031263) <= 2392031264
a(2392743361) <= 2431968724
a(2415919104) <= 6979321843
a(2471326208) <= 5349310989
a(2498207293) <= 2498207294
a(2517630976) <= 5874119951
a(2562890625) <= 4805173321
a(2684354578) <= 4026531870
a(2702336256) <= 8505534191
a(2745954241) <= 2762576168
a(2798410000) <= 7083194371
a(2847396321) <= 5458322705
a(2904609391) <= 2904609392
a(2952790016) <= 6442450932
a(2952790037) <= 2952790038
a(3010936384) <= 6306761707
a(3061257408) <= 9899482360
a(3092313043) <= 3092313044
a(3099363912) <= 8716960995
a(3150464641) <= 3318878783
a(3221225482) <= 4831838226
a(3227992561) <= 58103866116
a(3246328087) <= 3417187480
a(3317760000) <= 12386340571
a(3422525849) <= 3422525850
a(3486725353) <= 3534488788
a(3486784401) <= 5230176601
a(3489660928) <= 7516192754
a(3518743761) <= 5715343999
a(3579139415) <= 4294967304
a(3603000625) <= 5252694381
a(3611342281) <= 3612609172
a(3645153819) <= 5771445640
a(3672178249) <= 3672178250
a(3722098081) <= 4256274901
a(3835631419) <= 118904574020
a(3855122432) <= 8995137495
a(3906250000) <= 9460449211
a(3922925153) <= 4563402786
a(3996969003) <= 6190591720
a(3998099596) <= 6996674300
a(4032758016) <= 14085531551
a(4096000000) <= 10239849397
a(4097152081) <= 4711694905
a(4160214298) <= 6240321450
a(4201025641) <= 4201025642
a(4228250625) <= 8386113241
a(4264333987) <= 2320343524222464
a(4278255361) <= 4278255362
a(4294901761) <= 4317155332
a(4294967296) <= 8589934591
a(4294967297) <= 4301668356
a(4294967308) <= 7516192796
a(4460158341) <= 6442450950
a(4563402752) <= 9663676398
a(4569760000) <= 12348274631
a(4831838208) <= 13958643699
a(4857532416) <= 15961842655
a(5117705539) <= 5126575624
a(5159780352) <= 15479049388
a(5314410000) <= 19300064971
a(5368709120) <= 12884901882
a(5473632256) <= 11631371611
a(5489031744) <= 19052781427
a(5554571841) <= 10486554661
a(5698733971) <= 6667412224
a(5719140625) <= 7863765505
a(5727832153) <= 733162515712
a(5802782976) <= 18089339191
a(5832000000) <= 21838372809
a(6146560000) <= 17918475971
a(6177695707) <= 6177695708
a(6476931724) <= 11451483064
a(6566760001) <= 6566760002
a(6591796875) <= 12207031240
a(6597500625) <= 12999652061
a(6879707136) <= 20638062991
a(6973568801) <= 52189589187251028
a(6975757441) <= 7411742281
a(7095062437) <= 7095062438
a(7256313856) <= 15961940947
a(7433116428) <= 17343938360
a(7516192768) <= 17179869176
a(7516192789) <= 8589934624
a(7780827681) <= 12838277905
a(7930971136) <= 18230715055
a(7992538801) <= 9052129901
a(8000000000) <= 19997556546
a(8053063705) <= 9663676452
a(8053063709) <= 8053063710
a(8100000000) <= 30190902511
a(8111481969) <= 10815309296
a(8123248981) <= 8312161792
a(8303765625) <= 15569351491
a(8340725952) <= 26563538440
a(8540717056) <= 18030257831
a(8589934592) <= 17179869183
a(8999178496) <= 23051263655
a(9039207968) <= 20761930791
a(9126805537) <= 9126805538
a(9265217536) <= 18933085999
a(9272716111) <= 9272716112
a(9474296896) <= 19655128711
a(9475854336) <= 30665965451
a(9663676416) <= 27917287411
a(9684836827) <= 9684836828
a(9845600625) <= 21527984621
a(10000000000) <= 24987792457
a(10021590374) <= 15032385564
a(10253151247) <= 10253151248
a(10331743752) <= 31949215215
a(10485760000) <= 26206010611
a(10604499373) <= 11488207654
a(10720765125) <= 23403416556
a(10884540241) <= 12207300701
a(10934999872) <= 21699140498
a(11019855601) <= 11019855602
a(11019960576) <= 32995311391
a(11156640625) <= 15107902421
a(11811160064) <= 25769803764
a(11859210000) <= 47180096755
a(11980986577) <= 13692556096
a(12151136899) <= 14108711080
a(12169074026) <= 18253611042
a(12230590464) <= 36674993083
a(12358435328) <= 26236028841
a(12745506816) <= 44422714391
a(12884901893) <= 12884901894
a(13363360000) <= 35415734431
a(13564461457) <= 13564461458
a(13841287201) <= 16148168401
a(13910911268) <= 24344094726
a(13958643712) <= 30064771058
a(13958643737) <= 13958643738
a(14166950625) <= 27647307061
a(14706125000) <= 40211497005
a(15006250000) <= 42397927511
a(15138702801) <= 21867015170
a(15178486401) <= 24664958501
a(15318627451) <= 15321148504
a(15330734336) <= 30601583502
a(15352201216) <= 33774616855
a(15625000000) <= 38757324187
a(15943877551) <= 18221574352
a(16148168401) <= 16148168402
a(16243247601) <= 30076188461
a(16796160000) <= 62954559811
a(16983563041) <= 17927094321
a(16983563042) <= 25477079916
a(17179607041) <= 45035996273704980
a(17363069361) <= 28531167049
a(17414258688) <= 52241946135
a(17555190016) <= 44286193651
a(17596287801) <= 28031260531
a(17827599112) <= 33426748350
a(18105670612) <= 31684923578
a(18253611008) <= 38654705646
a(18339659776) <= 38346262831
a(18370338093) <= 26730899000
a(19272755473) <= 19327352868
a(19327352832) <= 55834574835
a(19397579293) <= 19397579294
a(19770609664) <= 42831091213
a(19775390625) <= 36926269501
a(20503125004) <= 35880468764
a(20657287969) <= 20661047296
a(20851360000) <= 54899357051
a(21743271936) <= 64961380231
a(21753909997) <= 21786234460
a(21970650625) <= 35230992005
a(22185807051) <= 2898945455056
a(22223646961) <= 400025645316
a(23069590307) <= 23069590308
a(23134410000) <= 90642618671
a(23372600161) <= 25962155701
a(23401962307) <= 23417680360
a(23598797161) <= 23781307543
a(23612624896) <= 55089397791
a(23887872000) <= 89395127796
a(24087491072) <= 50801710443
a(24344094727) <= 24344094728
a(24591257856) <= 80988034855
a(24794911296) <= 73803603091
a(25025203125) <= 50806771540
a(25082265599) <= 25084121736
a(25085030513) <= 1354591647756
a(25344958401) <= 46622311681
a(25600000000) <= 63999478951
a(25628906255) <= 30754687512
a(25769803786) <= 38654705682
a(25937424601) <= 28531167061
a(26843545600) <= 66571993057
a(26904200625) <= 50429233261
a(27128955176) <= 50866790970
a(27680640625) <= 38060391727
a(27710263296) <= 87952181251
a(28149950088) <= 85730159985
a(28327310813) <= 28491052668
a(28531167061) <= 28532988972
a(28991029248) <= 85899345880
a(29747146887) <= 44437096088
a(29817294604) <= 52229921128
a(29948379136) <= 64887949091
a(30840979456) <= 71962060759
a(31116960000) <= 135260320811
a(31401724537) <= 31401724538
a(32625390625) <= 43330544221
a(32768000000) <= 81918931893
a(33107082931) <= 37858271320
a(33627687517) <= 33698267000
a(33733974499) <= 33734611240
a(33871089681) <= 60294881405
a(34038001076) <= 59566501890
a(34296447249) <= 54277878313
a(34828517376) <= 104484689431
a(34869635163) <= 57533920708
a(34908883807) <= 39896997536
a(35880468757) <= 41006250016
a(36469158961) <= 40244983721
a(36507222016) <= 77309411310
a(37423460467) <= 37426095256
a(37480960000) <= 103026438955
a(37822859361) <= 66186639441
a(38443359389) <= 38443359390
a(38654705664) <= 111669149683
a(38654705679) <= 51539607576
a(38736564343) <= 38920150168
a(40282095616) <= 93985961231
a(41006250000) <= 148960372951
a(41709719232) <= 130282528360
a(42859350625) <= 67685943721
a(42949672946) <= 64424509422
a(42949672949) <= 42949672950
a(42949672960) <= 103079215098
a(42949672979) <= 42949672980
a(43237380096) <= 136338220271
a(43912253952) <= 153472404723
a(44386483761) <= 70740864301
a(44774560000) <= 116758462051
a(45533982237) <= 60711976320
a(46656000000) <= 174856414153
a(47446779661) <= 47446779662
a(47971512576) <= 155594584691
a(49353293539) <= 54247835180
a(50689400581) <= 50689400582
a(50776309927) <= 61905917200
a(50906640625) <= 67168422641
a(51240001732) <= 89670003038
a(51336683776) <= 127015969451
a(52379047267) <= 52379047268
a(53030239093) <= 61037877460
a(53084160000) <= 198182866651
a(54423757521) <= 99155066681
a(54875873536) <= 120491126959
a(54975581384) <= 103079215110
a(55325956044) <= 129093897464
a(55788314221) <= 56083890104
a(56367906201) <= 81420308970
a(57266230618) <= 85899345930
a(57574218747) <= 76765625000
a(57648010000) <= 162833525811
a(57731386987) <= 57807651136
a(58050510848) <= 127709168595
a(59305521269) <= 59305521270
a(60037250625) <= 123780147205
a(60129542171) <= 60129542172
a(61917364224) <= 185750955523
a(61971863907) <= 82644189184
a(62500000000) <= 155944824091
a(62523502209) <= 109415927377
a(62613893044) <= 110730297608
a(63531945793) <= 63541524820
a(64424509469) <= 64424509470
a(64524128256) <= 225781974431
a(66074188401) <= 106928702001
a(66430125000) <= 233540272365
a(67652010000) <= 259969510471
a(68641485507) <= 119957822348
a(68719214593) <= 68719739908
a(68719476736) <= 137438953471
a(68719476767) <= 68719476768
a(69257922561) <= 109658264321
a(73014444032) <= 154618822638
a(73116160000) <= 197934867911
a(73255930237) <= 83797669376
a(74912328481) <= 74912328482
a(75418890625) <= 102128438833
a(75794375168) <= 158324383239
a(75969140625) <= 165488684801
a(76863927373) <= 76886718748
a(77309411328) <= 223338299379
a(77720518656) <= 255418713055
a(78310985281) <= 81870575521
a(78364164096) <= 235085301451
a(79534664283) <= 106064726608
a(80102584576) <= 196892572471
a(81420308971) <= 81420308972
a(82330546489) <= 82720601509
a(82653950016) <= 270503355487
a(83740234375) <= 122070312400
a(83925549247) <= 83925549248
a(84402451441) <= 108315804105
a(84835994984) <= 172323114810
a(85030560000) <= 318139780651
a(87578116096) <= 186103276891
a(88140507853) <= 91179835740
a(91506250000) <= 243776730655
a(91828963717) <= 91829661676
a(92844527616) <= 289960425271
a(94019085427) <= 103797070312512
a(94259832517) <= 97209095192
a(95006081547) <= 154382265532
a(97200761492) <= 170101332618
a(97434620557) <= 97435662496
a(97844723712) <= 293399952315
a(98344960000) <= 286728429251
a(98867482624) <= 210067753897
a(99049307841) <= 172930030405
a(100343116693) <= 100343116694
a(101661495916) <= 177907617860
a(103355177121) <= 180860796881
a(103359800557) <= 118189707580
a(105560010000) <= 402989213891
a(106376475037) <= 121573114336
a(107049369856) <= 254633755355
a(107918163081) <= 169157918749
a(109312890625) <= 142851977641
a(109884542401) <= 111685928404
a(110075314176) <= 330209155471
a(110730297608) <= 242222526015
a(111577100832) <= 329501125863
a(111669149696) <= 240518168562
a(115074924544) <= 242934080440
a(115330078121) <= 115330078122
a(115991971831) <= 118689459592
a(116212666369) <= 116997874070
a(117117950625) <= 237806987561
a(117649000000) <= 340457341309
a(118587876497) <= 125999618778
a(119538913536) <= 415850635431
a(120259084301) <= 120259084302
a(125000000000) <= 312194823963
a(125333700625) <= 194128125521
a(129600000000) <= 483940670191
a(133974300625) <= 184155714589
a(136651472896) <= 288486188711
a(137045788471) <= 137438953488
a(137390522537) <= 137438953476
a(137405657593) <= 137405657594
a(137522843648) <= 275012120574
a(137858491849) <= 149346699503
a(139211092639) <= 139374596240
a(139314069504) <= 417941149207
a(139314442753) <= 139463125060
a(140283207936) <= 446256392491
a(140608000000) <= 380748641980
a(140770302408) <= 420468907965
a(141276239497) <= 141276239498
a(143986855936) <= 369496870055
a(146028888064) <= 309237645294
a(148718980881) <= 233218219321
a(149289169177) <= 149289169178
a(151613669376) <= 490711605131
a(152587890625) <= 190734863281
a(152587890626) <= 228970112844
a(153436090543) <= 153436090544
a(154550410641) <= 268065808505
a(154618822656) <= 446676598771
a(154618822691) <= 154618822692
a(157529610000) <= 667367523251
a(158164877312) <= 342685333005
a(160278416659) <= 160279218760
a(160848321481) <= 161419442023
a(161107556692) <= 281950621876
a(164130859375) <= 239355463848
a(164648481361) <= 208096820541
a(165026251657) <= 165051190480
a(167772160000) <= 419296181491
a(172005949696) <= 418745777471
a(176318949313) <= 189888588008
a(176319369216) <= 528893533471
a(177978515625) <= 333557128633
a(178506250000) <= 468344975051
a(180383630701) <= 180812095804
a(185542587171) <= 274877906960
a(185997033223) <= 185997905080
a(189747360000) <= 777710627155
a(192699928576) <= 406761300331
a(193220905761) <= 332233969001
a(195269260957) <= 195270453340
a(195562950625) <= 300925829941
a(198359290368) <= 594496739859
a(200806696351) <= 200827491304
a(203928109056) <= 710768514071
a(207594140625) <= 389238570241
a(208422380089) <= 267475049269
a(208827064576) <= 451574931591
a(211164779827) <= 211443730096
a(213813760000) <= 567691351711
a(217849313953) <= 220899204349356
a(218889236736) <= 691760016311
a(220884028884) <= 558345739770
a(221445125000) <= 570905875905
a(222348972847) <= 222348972848
a(225199600704) <= 725848687873
a(226671210000) <= 857066518891
a(226886055643) <= 244338829168
a(228524021156) <= 399917037030
a(229783203125) <= 335100063342
a(230639102001) <= 443928543305
a(233289844416) <= 732973596280
a(240100000000) <= 698881966391
a(240518168603) <= 240518168604
a(243201527596) <= 425602673300
a(244132781251) <= 244140625000
a(245635219456) <= 540394111255
a(246727835648) <= 575697446871
a(255806016192) <= 786205148440
a(257846356909) <= 264856663448
a(260919263232) <= 781684047508
a(261351000625) <= 389176052705
a(262144000000) <= 655351591861
a(265462278481) <= 265462278482
a(267004296882) <= 578509309950
a(268738560000) <= 1007388244291
a(274371577992) <= 814168174695
a(274877906951) <= 274877906952
a(276648024019) <= 276654247696
a(278985273841) <= 278986352292
a(280883040256) <= 709879084531
a(282429005041) <= 282429005042
a(282429536481) <= 423644304721
a(288871483556) <= 505525096230
a(289254654976) <= 674597973479
a(291843050625) <= 635576020101
a(293434556416) <= 613544593711
a(297783623389) <= 342491811968
a(301489944561) <= 515009263021
a(307759840207) <= 318372248520
a(309237645312) <= 893353197555
a(313044726016) <= 730307814355
a(316406250000) <= 1144714354531
a(317733228541) <= 317734424284
a(320000000000) <= 799987776585
a(325234848133) <= 368340207340
a(326653399296) <= 1140985308071
a(329514508916) <= 576650390610
a(330927451093) <= 342338742540
a(331869318561) <= 570115083505
a(333621760000) <= 880001239931
a(342488300625) <= 682047441361
a(343597383680) <= 824633720826
a(347165113597) <= 347165113598
a(347439955201) <= 347439955202
a(347891761153) <= 347891761154
a(347892350976) <= 1039382085511
a(351298031616) <= 1228829391091
a(351530410000) <= 1092160752155
a(368293445632) <= 858993458800
a(370150560000) <= 1494141230351
a(373248000000) <= 1399000744905
a(373714754427) <= 645926736040
a(377149515625) <= 500895287677
a(377801998336) <= 881531248671
a(379212163768) <= 711022807080
a(381639390811) <= 436159303792
a(387620798464) <= 818191269507
a(391767305156) <= 685592784030
a(393460125696) <= 1298185897255
a(409600000000) <= 1023998987431
a(414549052276) <= 725460841490
a(419936400625) <= 640000884941
a(421875000000) <= 1550292967480
a(428698630543) <= 428698630544
a(430467210000) <= 1563306231091
a(438668366137) <= 438668366138
a(443364212736) <= 1407395964931
a(449920319121) <= 852877557181
a(458032979258) <= 687194767380
a(463250390625) <= 951515626105
a(464404086784) <= 1021686989779
a(470025421056) <= 1471216421311
a(479174066176) <= 1038207649571
a(481036337152) <= 1099511627768
a(481481944321) <= 596836558341
a(488455618816) <= 1132079571455
a(491459276617) <= 491461097236
a(494562511489) <= 26706375620460
a(497871360000) <= 2168135592491
a(498874521883) <= 500944540888
a(500188017672) <= 1641238910655
a(509831700625) <= 690176167461
a(512000000000) <= 1279997427522
a(514675673281) <= 660461147969
a(522006250000) <= 1343246870851
a(531441000000) <= 1977307639357
a(534397550625) <= 1057269222581
a(536376953125) <= 726318358780
a(538047491611) <= 615093749984
a(549562090148) <= 962072674332
a(549755813888) <= 1099511627775
a(557256278016) <= 1671766988311
a(560977693167) <= 747974738224
a(565036352721) <= 896820816001
a(567869252041) <= 717722755051
a(576650390625) <= 1081213356763
a(584115552289) <= 584115552290
a(586181640625) <= 854797362581
a(586722975668) <= 1026765207426
a(599695360000) <= 1648611693355
a(603351125000) <= 1531926582495
a(606355001344) <= 1267678419463
a(610673479936) <= 1403070728591
a(618475290624) <= 1786706395123
a(630247042161) <= 1039901154505
a(644513529856) <= 1503775421711
a(647395642881) <= 1095307718021
a(654022685443) <= 654022685444
a(656100000000) <= 2455443567031
a(661231600128) <= 2178936477663
a(663074150083) <= 4503599627370528
a(663464967393) <= 884619956528
a(665313708289) <= 20624724956990
a(678223072850) <= 1261494915594
a(685749610000) <= 2098264255351
a(687194767360) <= 1649267441658
a(691798081536) <= 2181661197551
a(709054151677) <= 730423828144
a(713229760897) <= 1463547469362696
a(716392960000) <= 1871562744931
a(721239217544) <= 1352323532910
a(722825514687) <= 963767352920
a(728933458176) <= 2789202902255
a(735091890625) <= 969900495271
a(742912017121) <= 742912017122
a(747377296875) <= 1522415669080
a(751274631121) <= 925180399161
a(764269350625) <= 1116184741705
a(767544201216) <= 2494080710771
a(768844365739) <= 768867187480
a(782757789696) <= 2347199626171
a(790939860992) <= 1680721554345
a(797493650625) <= 1743854257541
a(814506250000) <= 2082221101871
a(821386940416) <= 2035983964331
a(824633720837) <= 824633720838
a(829997587232) <= 1797463524843
a(847288609443) <= 1270932914164
a(849346560000) <= 3170927283931
a(863345304648) <= 2537368781235
a(878013976576) <= 1931394952879
a(881647759521) <= 1477083384821
a(885842380864) <= 2050817386927
a(886261567132) <= 1550957742488
a(892615861873) <= 892615861874
a(892616806656) <= 2672620243111
a(893353197568) <= 1924145348594
a(903687890625) <= 1828056192941
a(918156973073) <= 932065347906
a(922368160000) <= 2684126828691
a(932065347907) <= 932065347908
a(941192000000) <= 2742424095741
a(941480149401) <= 1553441192437
a(952857108736) <= 2174956474411
a(960596010000) <= 3837184563355
a(962072674304) <= 2199023255544
a(1000000000000) <= 2499694822171
a(1004006004001) <= 1395751758805
a(1032386052096) <= 3612925060511
a(1048870932736) <= 2407676096455
a(1071942580109) <= 1086626725116
a(1082432160000) <= 4285303866151
a(1095216660221) <= 1095216660222
a(1099510579201) <= 1104072864004
a(1099511627776) <= 2199023255551
a(1099511627777) <= 1103789883396
a(1099511627791) <= 1099511627792
a(1121144263281) <= 1953928376521
a(1126162419264) <= 3559970087437
a(1147523000625) <= 2248571477581
a(1168231104512) <= 2473901162478
a(1169858560000) <= 3167320360391
a(1192518600625) <= 1730242945805
a(1215506250000) <= 5130149228831
a(1229457398481) <= 1997862876221
a(1236950581248) <= 3573412790259
a(1243528298496) <= 4086728639455
a(1259557135303) <= 1259557135304
a(1264438221128) <= 2370821664630
a(1265319018496) <= 2741519267341
a(1281641353216) <= 3156060784951
a(1300461249636) <= 3399662588630
a(1315703055681) <= 2446113806981
a(1340095640625) <= 2930077748431
a(1360488960000) <= 5099575231531
a(1374389534720) <= 3298534883322
a(1375668606321) <= 2169178412841
a(1401249857536) <= 2977653761371
a(1406408618241) <= 2320456321729
a(1421970391296) <= 5358629431771
a(1464100000000) <= 4018384173055
a(1485512441856) <= 4639897802551
a(1490902050625) <= 2144419254461
a(1511828488192) <= 3298534883316
a(1573519360000) <= 4587687681731
a(1586874322944) <= 4760041834003
a(1586875582657) <= 1629764111956
a(1601806640625) <= 3003234860821
a(1613227676641) <= 1967648554161
a(1649211398543) <= 1649267441688
a(1649267441674) <= 2473901162514
a(1653064453081) <= 1653064453082
a(1688960160000) <= 6642822203171
a(1712789917696) <= 4081614657755
a(1713826168832) <= 3458253966765
a(1733314693111) <= 1733337155824
a(1749006250000) <= 4428411306871
a(1761203699713) <= 1764386095400
a(1761205026816) <= 5283346635151
a(1766870399287) <= 2024782585856
a(1771561000000) <= 4833669749329
a(1779622700625) <= 4262950032605
a(1785793904896) <= 3787400305591
a(1785793904897) <= 1785831594756
a(1786706395136) <= 3848290697202
a(1806169418869) <= 1822832093720
a(1857123663337) <= 1857172321156
a(1873887210000) <= 7372016614391
a(1883730285578) <= 2825595428370
a(1893180613041) <= 3141420839821
a(1912622616576) <= 6665817132711
a(1924145348608) <= 4398046511096
a(1958569461121) <= 2475266895081
a(1973822685184) <= 4605580535767
a(1981355655168) <= 5944033322499
a(1991891886336) <= 6560360009455
a(2005339210000) <= 6017971891151
a(2015993900449) <= 2141993519227
a(2029987739667) <= 2706650319560
a(2032619496214) <= 3050215176888
a(2046089933056) <= 4625638379411
a(2052941630481) <= 3791819580601
a(2073600000000) <= 7743936953071
a(2141993519227) <= 2141993519228
a(2143588810000) <= 5708827152259
a(2179240250625) <= 4084767925381
a(2186423566336) <= 4615781082791
a(2187587157841) <= 2192783327284
a(2194972623936) <= 6893290545751
a(2198687694851) <= 2199023255556
a(2200096993277) <= 2200096993278
a(2244531326976) <= 7153201782571
a(2251875390625) <= 3283983181881
a(2303789694976) <= 5912626572455
a(2313060765625) <= 3022711172083
a(2326311300625) <= 3324150697681
a(2336462209024) <= 4947802324974
a(2425818710016) <= 7851441840011
a(2441406250000) <= 5912780761711
a(2473896585241) <= 2473901162532
a(2473901162496) <= 7146825580531
a(2473901162511) <= 3298534883352
a(2520473760000) <= 11000800141331
a(2560720050625) <= 3679833720805
a(2565164201769) <= 4168389146923
a(2642656640625) <= 5242995850741
a(2682639092089) <= 2948685944330
a(2684354560000) <= 6708738915571
a(2737808220703) <= 2801478179368
a(2743558264161) <= 4903817586005
a(2752095195136) <= 6712224389951
a(2786442301696) <= 6237930658211
a(2789889508852) <= 4882306640498
a(2821109907456) <= 8463265086751
a(2839760855281) <= 3520115943919
a(2856100000000) <= 7720138137131
a(2920407867727) <= 3427814640416
a(2932031007403) <= 35184372088848
a(2936017137361) <= 4003115827805
a(2954001875841) <= 4869643030241
a(2985984000000) <= 11192155390921
a(3023656976384) <= 6597069766644
a(3035957760000) <= 12466199113555
a(3063651608241) <= 5361386818761
a(3129007210000) <= 9328700728171
a(3138428376721) <= 3452271214393
a(3262849744896) <= 11372301308951
a(3277060045561) <= 3277060045562
a(3291332841653) <= 3298534883340
a(3298065088517) <= 3298534883334
a(3321506250000) <= 12066395677471
a(3341233033216) <= 7238454529671
a(3365972911332) <= 8508431525958
a(3421020160000) <= 9084101228191
a(3452271214393) <= 3455429743588
a(3471607400625) <= 8189999190241
a(3502227787776) <= 11088466327991
a(3543369523456) <= 8251714052911
a(3570467226624) <= 10706171502247
a(3573412790272) <= 7696581394418
a(3574462890625) <= 4914855953005
a(3593560957561) <= 3656180493163
a(3595305184641) <= 5730013558021
a(3626739360000) <= 14127773908171
a(3800061711332) <= 6650107994838
a(3814697265625) <= 4768371582031
a(3841600000000) <= 11202626588471
a(3848290697243) <= 3848290697244
a(3885692518656) <= 12603793794011
a(3930163511296) <= 8646306021655
a(4001504141376) <= 13895822776879
a(4123437890625) <= 8127379139561
a(4158271385856) <= 15368932303571
a(4181616010000) <= 12064457633855
a(4199851523548) <= 7349740166216
a(4299816960000) <= 16118327195971
a(4324951614747) <= 5766602153000
a(4347792138496) <= 9160745198031
a(4359848400625) <= 5788570721461
a(4363953127297) <= 4363953127298
a(4397375389702) <= 6597069766668
a(4397840241149) <= 4398046511136
a(4398046511104) <= 8796093022207
a(4398046511119) <= 4398046511120
a(4398048608257) <= 4458350786696
a(4408324359201) <= 8064338935601
a(4411471739168) <= 9408842068689
a(4444945756416) <= 14579426362039
a(4494128644096) <= 11359365338611
a(4581179456161) <= 6205391153905
a(4656209326831) <= 149096019669248
a(4669488810000) <= 19702856623131
a(4694952902656) <= 9816717887791
a(4826809000000) <= 12970311731791
a(4863017300625) <= 10026695043805
a(4947802324992) <= 14293651161075
a(4995336750625) <= 7069713452681
a(5008715616256) <= 11706362636755
a(5062500000000) <= 18869323715011
a(5222680231973) <= 5222680231974
a(5226454388736) <= 18289257648551
a(5289852801024) <= 17446401455071
a(5337948160000) <= 14081631366011
a(5352009260481) <= 8696573193321
a(5479812810000) <= 21143470682191
a(5496819875849) <= 5497558138890
a(5497558138880) <= 13194139533306
a(5534900853769) <= 6816119619037
a(5566277615616) <= 16630113369991
a(5609891727441) <= 8882324912441
a(5614032482757) <= 8392166157100
a(5624486560000) <= 18003036914555
a(5689253622001) <= 102406565196036
a(5727449317681) <= 7690804522081
a(5744050616023) <= 5744063732848
a(5766503906255) <= 6919804687512
a(5864062014806) <= 8796093022212
a(5922408960000) <= 23950119017231
a(5983385641216) <= 13266661563211
a(6044831973376) <= 14104600862751
a(6053445140625) <= 11350064346223
a(6122304000241) <= 7295725947629
a(6131066257801) <= 6471681049901
a(6153500390625) <= 13459290472121
a(6165115844583) <= 8220154459448
a(6295362011136) <= 20773351695655
a(6302794178043) <= 10385344810204
a(6327518887936) <= 13445951957929
a(6343189807761) <= 9906339638041
a(6488309350656) <= 23824001268991
a(6553600000000) <= 16383991123111
a(6596130177034) <= 9895604650002
a(6718982410000) <= 19840027433171
a(6802837650625) <= 9533901847481
a(6836598566721) <= 13106212296705
a(6887475360000) <= 25769338196371
a(6906762437184) <= 21483055681123
a(6972900390625) <= 9442443839921
a(7093827403776) <= 22518496503811
a(7115818779603) <= 10629803362244
a(7412006250000) <= 29496984409255
a(7495915709689) <= 43042061565890478
a(7520406736896) <= 23582649132991
a(7529536000000) <= 21958158131197
a(7666785058816) <= 16611322857251
a(7696581394432) <= 17592186044408
a(7815289901056) <= 18146504441855
a(7965941760000) <= 34694139939371
a(8022993935121) <= 14064499415005
a(8073105468757) <= 9226406250016
a(8157307210000) <= 21395461191291
a(8352100000000) <= 22141908096931
a(8371769346801) <= 14649724659401
a(8446359843412) <= 14781129725978
a(8550360810000) <= 32775345900011
a(8550986578849) <= 10189924987831
a(8650804500625) <= 12611719521181
a(8670998958336) <= 30810684397955
a(8727906254593) <= 6755399441055756
a(8854344140625) <= 17285089294561
a(8916097462273) <= 9038235783748
a(8916100448256) <= 26748283770391
a(8936757492481) <= 11921825997701
a(8978887098652) <= 15713052422648
a(9256148959232) <= 21597351339495
a(9336104694016) <= 20565186681431
a(9378906250000) <= 26498718240011
a(9452240316751) <= 9607195076104
a(9486554000625) <= 19263332589281
a(9595125760000) <= 26377975763755
a(9682651996416) <= 33821372754351
a(9690519961600) <= 25363929354717
a(9725147867869) <= 11118078615488
a(9726655034461) <= 9726675881212
a(9770775678976) <= 22490317686671
a(9837262146481) <= 13197457428905
a(9895604649984) <= 28587302322163
a(9945587248756) <= 17404777685330
a(10004942438476) <= 17508649267340
a(10030613004288) <= 30091829741259
a(10090298369529) <= 17649948062293
a(10152029750625) <= 23489503188041
a(10240000000000) <= 25599987268681
a(10312216477696) <= 24060406789391
a(10412618228113) <= 10412672716468
a(10497600000000) <= 39359174672311
a(10614726900625) <= 14001060664701
a(10778947368421) <= 10778947368422
a(10851569165599) <= 1389000853196800
a(10851918350625) <= 22282841465269
a(10971993760000) <= 34587517241431
a(10993706844179) <= 10995116277780
a(11068769304576) <= 34906828834031
a(11362939842816) <= 36148581657811
a(11390625000000) <= 42361755336391
a(11416525335601) <= 11416525335602
a(11462287360000) <= 29948431271011
a(11533007812519) <= 11533007812520
a(11662935330816) <= 44709121276655
a(11688200277602) <= 17532300416406
a(11943113486161) <= 14232121865505
a(12046237451361) <= 18890687467441
a(12094627905536) <= 26388279066612
a(12228309610000) <= 34601726992855
a(12280707219456) <= 39909858728051
a(12332795428864) <= 26035851772267
a(12359619140625) <= 23078918457001
a(12518583261921) <= 21801947285105
a(12759898410000) <= 54059481983771
a(12827693806929) <= 20444124131887
a(12880614703499) <= 155695605468768
a(12984625321516) <= 22723094312660
a(13032100000000) <= 34323063969551
a(13142191046656) <= 32579471882411
a(13319353292409) <= 19239173154916
a(13336526990241) <= 25179715285461
a(13339032325696) <= 33969331257163
a(13589544960000) <= 50734837960411
a(13729107068821) <= 13729142501644
a(13731656640625) <= 22026407179505
a(13768202308647) <= 18357603078200
a(13852158886376) <= 25972797911970
a(13932481925376) <= 50668239073991
a(14048223625216) <= 30905856167599
a(14281868906496) <= 42840376538791
a(14412774445056) <= 46814382695809
a(14459006250000) <= 56669741981171
a(14607875100625) <= 20276443602481
a(14757890560000) <= 43024819674771
a(15147461271367) <= 15148435964296
a(15245713739776) <= 34863147714091
a(15369536160000) <= 63251655221755
a(15650893366641) <= 27020780900321
a(15840599000625) <= 36412025422861
a(16000000000000) <= 39999694791451
a(16333985898991) <= 522687548767744
a(16475541930098) <= 24713312895150
a(16518176833536) <= 57807214437791
a(16679880978201) <= 29189626919861
a(16748793615841) <= 20760290129081
a(16777216000000) <= 41942503109557
a(16781934923776) <= 38593492966855
a(16815125390625) <= 31528343720761
a(16914992230656) <= 54640566722511
a(17318914560000) <= 68690653557031
a(17416274304961) <= 21242551192801
a(17455812509186) <= 15762598695796764
a(17592186044416) <= 35184372088831
a(17730028175616) <= 56035373068031
a(17903468100001) <= 20924663595829
a(17964597756043) <= 18017905168120
a(18046378835968) <= 42107859350376
a(18075490334784) <= 53802826699567
a(18247483105633) <= 18249719050948
a(18360368010000) <= 69705715805011
a(18452812500000) <= 68116441476069
a(18681767262081) <= 35960016411905
a(18689348599841) <= 18691697672226
a(18691697672192) <= 39582418599918
a(18717736960000) <= 50677488240071
a(19080297610000) <= 53637531319955
a(19190085661201) <= 25355015852701
a(19448100000000) <= 84564717933311
a(19611996157531) <= 19611996157532
a(19791209299968) <= 57174604644339
a(19802886224943) <= 26403848299928
a(19896452775936) <= 65387687461855
a(20047612231936) <= 41835864091231
a(20179187015625) <= 41600008157611
a(20390869140625) <= 27081603981721
a(20506261651456) <= 50502752184631
a(20742867599252) <= 36300018298698
a(21169431050625) <= 47090302377305
a(21607027568896) <= 55349375897655
a(21667061919397) <= 21963870986860
a(21767823360000) <= 81602542445611
a(21942447635236) <= 38399283361670
a(21990232555520) <= 52776558133242
a(22419997720576) <= 47642461513051
a(22483074023424) <= 78654532409587
a(22751526260736) <= 85895369228251
a(22793224350625) <= 31431332286101
a(22798194742537) <= 23110498780180
a(22876787671993) <= 23198285501288
a(22876792454961) <= 34315188682441
a(22973401023271) <= 735148832744704
a(23298085122481) <= 25239592216021
a(23425600000000) <= 64412103251455
a(23456248059224) <= 43980465111060
a(23639287100625) <= 51691765403421
a(23681912633937) <= 35376684305138
a(23768199069696) <= 74238895839031
a(23811286661762) <= 35716929992646
a(23854432810000) <= 66476996888291
a(24137569000000) <= 63613701534979
a(24420685509441) <= 41886001300741
a(25002110044521) <= 39586649363101
a(25176309760000) <= 73403035721411
a(25356622807296) <= 88367245536955
a(25628906250000) <= 93100280685451
a(25949267578121) <= 25949267578122
a(26133781118641) <= 34192649263501
a(26458925342976) <= 92419867206191
a(26559922791424) <= 58403298973867
a(26693971670287) <= 26694380719480
a(26787094140625) <= 42317234681221
a(26881414803441) <= 46367789560105
a(27023362560000) <= 106480150031651
a(27404638683136) <= 65313309096155
a(27741552350625) <= 55248615019081
a(27935463730801) <= 32436164218409
a(27984100000000) <= 72997360574551
a(28167055144705) <= 33800466173652
a(28179275120641) <= 28182431056900
a(28179280429056) <= 84533546310031
a(28473963210000) <= 132151451010755
a(28572702478336) <= 60709581023671
a(28722900390625) <= 41887512172717
a(29721861554176) <= 65388090115027
a(29982195360000) <= 121519370643671
a(30601961865216) <= 106665281089191
a(30786325577728) <= 70368744177656
a(31037498732203) <= 31037513499088
a(31816650390625) <= 41980285610141
a(31870270181376) <= 105158334319855
a(32085427360000) <= 99199472141231
a(32373889918021) <= 32396521357304
a(32737438928896) <= 74145996019091
a(33177600000000) <= 123903877479151
a(33232930569601) <= 38771752331201
a(34012224000000) <= 127528558062781
a(34014848450625) <= 77440107077861
a(34297420960000) <= 94103570154979
a(34867844010000) <= 126627805686811
a(34925275077121) <= 44220066700505
a(34982777061376) <= 73852499388071
a(35184372088832) <= 70368744177663
a(35912501231616) <= 114464328023851
a(36030006250000) <= 101803478638311
a(36343632130624) <= 91150789891477
a(36443545848801) <= 69086548761301
a(36860635119616) <= 94602701810855
a(37220980810000) <= 103048671628111
a(37523281640625) <= 77387316334705
a(38072059105536) <= 119174510073031
a(38771752331201) <= 38774519976900
a(38806720086016) <= 81141169027591
a(38813099360256) <= 125623125598091
a(39000037490001) <= 72217223559261
a(39062500000000) <= 97465515136591
a(39062500000001) <= 39264896373252
a(39564905124096) <= 136981628146055
a(39582418599936) <= 114349209288691
a(40327580160000) <= 176335722030611
a(40777534861441) <= 50213791193121
a(40971520810000) <= 114074845344955
a(41048434103654) <= 61572651155484
a(41296367750625) <= 83511316262781
a(41426511213649) <= 43309534450633
a(41688729535761) <= 79915798904249
a(42150011228416) <= 106337475296451
a(42282506250000) <= 162532871372971
a(42761175875209) <= 49977121617739
a(42949672960000) <= 107339822660851
a(43155831390208) <= 86861418594146
a(43286201600625) <= 85643104434701
a(44033523122176) <= 107407882189631
a(44583076827136) <= 99990000041891
a(45137751800833) <= 45137765242948
a(45137758519296) <= 135413209939231
a(45579633110361) <= 79764261019381
a(45697600000000) <= 123748828730411
a(45767944570401) <= 72938955787321
a(45767944570402) <= 68651916855606
a(47045881000000) <= 123177362899417
a(47480712890625) <= 103430480872301
a(48575324160000) <= 199482014895955
a(48944365800625) <= 63940919481901
a(49464551874816) <= 169771558159511
a(49836931190593) <= 49851053305540
a(50064115360000) <= 153773099099851
a(50096498540544) <= 150220776143803
a(50096505618433) <= 51450846818408
a(51050010415041) <= 84231994159105
a(51062866158357) <= 3961408129402565693560114380
a(52205595918336) <= 181956826027031
a(52432029861901) <= 52432029861902
a(52439047073361) <= 89082010355741
a(52751532150625) <= 84594643006005
a(53144100000000) <= 198900909393151
a(53459728531456) <= 115828528098951
a(54495238003921) <= 68547307280605
a(54736322560000) <= 145346659251871
a(54980371265625) <= 111626383644469
a(55545718410000) <= 253889974897471
a(56035644604416) <= 177435767314871
a(56117612986561) <= 72719998118501
a(56693912375296) <= 132269647372591
a(57191406250000) <= 152360534543155
a(58027829760000) <= 226459092136651
a(59043610112256) <= 226847485628855
a(59312611607124) <= 138396093749984
a(59986403617921) <= 68984353413409
a(60254729561664) <= 197287031439499
a(60492429205313) <= 70368744177666
a(60842138314329) <= 87960930222100
a(60853245120801) <= 111946828298481
a(61085389725361) <= 61085389725362
a(61465600000000) <= 179262540541751
a(61905817400625) <= 135058353746305
a(62171080298496) <= 202030675081691
a(62259690411362) <= 93389535617046
a(62882616180736) <= 138340896588055
a(63403380965376) <= 190209069065731
a(63403380965377) <= 64554466617512
a(64000000000000) <= 159999694693147
a(64511804814368) <= 134945591711301
a(64596985700625) <= 141252282364061
a(65975006250000) <= 251948753326391
a(66465571882009) <= 66465861139216
a(66532342173696) <= 246354059684051
a(66905856160000) <= 198868962932255
a(68130645548641) <= 78421156564221
a(68320556640625) <= 89282531665141
a(68797071360000) <= 257893350422851
a(69564674215936) <= 146840829583311
a(69757574410000) <= 179445692365291
a(71119132102656) <= 233698789298359
a(71413468521201) <= 120132046198541
a(71906058305536) <= 181751145403891
a(72074394832896) <= 229604055009421
a(72277174927981) <= 72277174927982
a(72301961339136) <= 216482239712431
a(73198719140625) <= 148676867725061
a(74766790688768) <= 158329674399726
a(75119246442496) <= 157067490593071
a(75960984159193) <= 11112006825574400
a(77181425807616) <= 263169733403731
a(77808276810000) <= 310827546357955
a(77847802734363) <= 103797070312488
a(78333562890625) <= 121368854363021
a(78672340886049) <= 123372457152673
a(79164837199872) <= 228698418577395
a(79925388010000) <= 219161117033111
a(80139449860096) <= 187323239795155
a(80980417183744) <= 175457562539533
a(81000000000000) <= 302463073482691
a(81324486324081) <= 168885962815405
a(83344647990241) <= 96772391758897
a(83623270219776) <= 292661615096231
a(83733937890625) <= 115134105602089
a(84958545551616) <= 291328807671055
a(85407170560000) <= 225307713383291
a(85766121000000) <= 372119874050737
a(87562450665361) <= 112726199402521
a(87677004960000) <= 348526242535471
a(89060441849856) <= 266081813921671
a(89991784960000) <= 288577055512955
a(90812685325761) <= 158914125234241
a(92949363050625) <= 182143429289701
a(94758543360000) <= 383245763607311
a(95367431640625) <= 119209289550781
a(95734170259456) <= 212656017346891
a(96594006650625) <= 209359396442405
a(96717311574016) <= 225673714688031
a(98456006250000) <= 417238004635751
a(99214346657791) <= 99214346657792
a(99586049276961) <= 161826894211541
a(100725792178176) <= 332376004470055
a(101559956668416) <= 304679288612371
a(101559966746113) <= 102183034026928
a(102132064693681) <= 119366109435505
a(102905300850625) <= 162523616842521
a(103523248646001) <= 149533581377570
a(103812949610496) <= 381883354979071
a(104857600000000) <= 262143865293991
a(106306843291441) <= 121563794842641
a(106571947510161) <= 198145160907101
a(107503718560000) <= 327040452204851
a(108845402410000) <= 295550957271911
a(110199605760000) <= 413065849640851
a(110284387207041) <= 147045849609392
a(111429157112001) <= 176420535212961
a(111566406250000) <= 292715759037551
a(113379904000000) <= 311752668635857
a(113501238460416) <= 360296105125891
a(113919098077521) <= 187966393850809
a(114254951251968) <= 342759623546535
a(114349209288704) <= 246290604621810
a(115179601694976) <= 435820431719491
a(116507435287321) <= 134104910028181
a(117018760585441) <= 145784552055605
a(118592100000000) <= 486224484939655
a(120326507790336) <= 377365572519871
a(120763066100625) <= 259474729789781
a(122226844140625) <= 188138751817441
a(122668560941056) <= 265781166180131
a(123259377746176) <= 304983481312251
a(125044638416896) <= 290377302368255
a(125855742785791) <= 125909504318584
a(126324651851776) <= 294757162936279
a(127455068160000) <= 555110209489451
a(129746337890625) <= 243274230757741
a(130516915360000) <= 352680021572571
a(130671441807921) <= 238085475053481
a(131756972359936) <= 337495646612159
a(133633600000000) <= 354920487714211
a(136805772960000) <= 540264572738891
a(138412872010000) <= 390963305156611
a(138735983333376) <= 493875373588355
a(140478247931904) <= 444590101261783
a(141167095653376) <= 305712693882641
a(141669506250000) <= 535837768131391
a(142657607172096) <= 427972552283671
a(144149438750625) <= 346708192321205
a(144649306296576) <= 458275436976511
a(148035889000000) <= 383884318854541
a(149377675104256) <= 329646661658711
a(150062500000000) <= 436801452278891
a(150712593939481) <= 172995117187520
a(151784864010000) <= 597163310267711
a(151939915084881) <= 292350228851017
a(153347629656321) <= 255493574253541
a(153522012160000) <= 422047800890155
a(154922431942656) <= 542134763661231
a(156332410863616) <= 359886269015951
a(158329674399744) <= 457396837154803
a(158644126350801) <= 299507294304801
a(159360553668481) <= 196598577789605
a(161343242793216) <= 531389489952055
a(162432476010000) <= 728174598829271
a(163344375390625) <= 243312768490205
a(164170508913216) <= 529385421659221
a(164251342240969) <= 164345361328144
a(164995463643136) <= 384966508672271
a(165163004855941) <= 165163053801484
a(165733284577536) <= 559702243908731
a(166288272068961) <= 307152798363121
a(167961600000000) <= 629818872356791
a(167961600000001) <= 168437411898372
a(169835630410000) <= 434032880605731
a(172757272757271) <= 230343030343032
a(173630693610000) <= 690768085423339
a(175551900160000) <= 554415565018711
a(176518460300625) <= 330866201987101
a(177100308873216) <= 558509511017711
a(181744694737984) <= 447054724877713
a(181807037485056) <= 579438419489491
a(182401906640625) <= 397361965007601
a(183396597760000) <= 479178327688291
a(186606965293056) <= 715427815267055
a(188024675659681) <= 229319482034321
a(188431215350625) <= 402222234419401
a(188565401138641) <= 188565401138642
a(191102976000000) <= 716299289904073
a(192326305566976) <= 472767183971271
a(195652953760000) <= 570370403011255
a(196194120249632) <= 407715906143763
a(196491315511296) <= 638562307004531
a(197753906250000) <= 715446472167031
a(199234608272401) <= 229326717916421
a(200859416110144) <= 438438444227911
a(202650285909841) <= 260066252098105
a(204158374560000) <= 891109525603451
a(205891132094649) <= 308836698141973
a(207418324100625) <= 445259880217405
a(208513600000000) <= 550176549852431
a(210275056746496) <= 521275278571691
a(214055187890625) <= 426415885678861
a(214819392573451) <= 214819392573452
a(216270112515625) <= 315389877039931
a(217432719360000) <= 811757408784091
a(219706506250000) <= 682818622564655
a(222228219397041) <= 397229156658605
a(222919710806016) <= 812179151184071
a(224771578003456) <= 494497235603119
a(225701826437376) <= 754789609643531
a(227081481823729) <= 259671875249263
a(228274900695361) <= 258538578397641
a(228451144493521) <= 228476610018544
a(228509887387393) <= 228509887387394
a(228509902503936) <= 685524477269671
a(231344100000000) <= 934136714592851
a(232630513987208) <= 436182213726030
a(233726001610000) <= 628569751676911
a(236126248960000) <= 688475905212051
a(237817388126241) <= 484377015164405
a(239274151943121) <= 396050884798361
a(243931419836416) <= 557874207548971
a(244140625000000) <= 605583190917937
a(244217776561921) <= 244270626117844
a(245912578560000) <= 1013883185756155
a(246290604621824) <= 562949953421304
a(248155780267521) <= 434272601343681
a(248656346483281) <= 288715854039705
a(253449584010000) <= 1128772788108691
a(254212698514401) <= 417724816941553
a(256000000000000) <= 639999694299931
a(256096265048064) <= 896225861145007
a(257025537024256) <= 713229148749355
a(262254607552729) <= 301592783120581
a(262460250390625) <= 400128389372441
a(264290829336576) <= 924915844474271
a(267181325549568) <= 800444465020564
a(268510958780416) <= 617566562893255
a(269042006250000) <= 977378655343591
a(270639875690496) <= 875852998090191
a(274941996890625) <= 547478549430961
a(277102632960000) <= 1099176248611111
a(280379743338241) <= 280434154316292
a(281200199450625) <= 666097372158361
a(281406274007041) <= 281410836353284
a(281474959933441) <= 281962784821252
a(281474976710656) <= 562949953421311
a(283680450809856) <= 898210843053311
a(287012931399936) <= 998457400402231
a(289531494140625) <= 594697570313605
a(291219719955921) <= 464131101749341
a(293765888160000) <= 1149020025043891
a(296196766695424) <= 691125459052007
a(299483791360000) <= 810840174314951
a(300926215200625) <= 466129352064321
a(305284761760000) <= 884154145306355
a(308915776000000) <= 836534042481103
a(310873353823201) <= 377706090989641
a(311169600000000) <= 1355517817204991
a(314741094011136) <= 1020907929748931
a(316659348799488) <= 914793674309619
a(318343244414976) <= 1046203028620255
a(318644812890625) <= 431497963154961
a(320761795710976) <= 670601884092511
a(321672295800625) <= 515820156563789
a(326253906250000) <= 839529723433351
a(327680000000000) <= 819199971015753
a(328100186423296) <= 808049814579511
a(333998469140625) <= 661004447210081
a(336819982254336) <= 1249964155367291
a(338550579265536) <= 1116703879828447
a(338710896810000) <= 1459799373696455
a(342198238957201) <= 418120517564605
a(345712441102336) <= 887214751424055
a(348285173760000) <= 1305650017870891
a(352171163218176) <= 1108450168961751
a(353147720450625) <= 700417057296781
a(354233654641216) <= 865647191617699
a(354586679213911) <= 354586721114824
a(357074273095281) <= 653244232318121
a(358719963529216) <= 762279385539931
a(360040606269696) <= 1185753180403519
a(360040606269697) <= 360050322166276
a(362954575232074) <= 633318697598994
a(364024420171776) <= 1374483205971931
a(364691589610000) <= 974371300869131
a(366363525390625) <= 534248352050081
a(368484630051289) <= 368484741360100
a(368484741360097) <= 368484741360098
a(371075535949041) <= 750852329622505
a(374809600000000) <= 1030711608505855
a(380291185115136) <= 1187822864422711
a(381670924960000) <= 1095798239029571
a(387420489000000) <= 1441458171970321
a(393904401350625) <= 812162801668405
a(395321003747761) <= 499640478495341
a(402820956160000) <= 1174448604356291
a(404622276800625) <= 855435327774401
a(404961208827904) <= 860542541015977
a(405705964916736) <= 1416469879047355
a(410062500000000) <= 1534653013879531
a(412986285220096) <= 1005468411176271
a(413976684737889) <= 784470971270743
a(423342805487616) <= 1481430787252271
a(428593506250000) <= 1311834275117851
a(432373800960000) <= 1703877395287331
a(432510009765625) <= 594701232422977
a(433512750098961) <= 704457776990241
a(435930295269007) <= 559439123732088
a(438474218930176) <= 1045020420110555
a(442032795979776) <= 1385572512473059
a(443864837610000) <= 1712707065591511
a(447745600000000) <= 1170100548857431
a(450868486864896) <= 1352536741108111
a(454401229922721) <= 719468323410161
a(455583411360000) <= 2178367466661155
a(457163239653376) <= 971464472512951
a(457396837154816) <= 985162418487282
a(463923394732161) <= 930587347171801
a(469546644450625) <= 722565891744741
a(477668344140625) <= 697838414679205
a(479715125760000) <= 1947877035112151
a(481890304000000) <= 1405491008684029
a(484654236938496) <= 1605266049148531
a(485067544014001) <= 554682225386061
a(492581209243648) <= 1125899906842616
a(495906624019521) <= 882782839663109
a(498433531640625) <= 1090257235245041
a(501393782046976) <= 1264861383386391
a(501471520157781) <= 774056185954326
a(509066406250000) <= 1301388853914371
a(509924322902016) <= 1682725923286255
a(513366837760000) <= 1590103476142511
a(513798374428641) <= 805688333702161
a(513798374428642) <= 770697561642966
a(523799022862336) <= 1186471718253971
a(525553057403136) <= 1937619805687111
a(530841600000000) <= 1982462925896431
a(533756191302432) <= 1838946495951243
a(533944956348001) <= 648145462826705
a(535881988265625) <= 1060101241331203
a(544237575210000) <= 2400643319413691
a(547263141046336) <= 1294120473454537
a(548758735360000) <= 1508419458198499
a(551029849700625) <= 1153602123545201
a(553764483904401) <= 1065935828197305
a(554671277635669) <= 562949953421344
a(557885504160000) <= 2087316409869691
a(559724432982016) <= 1181639992272551
a(562949953421312) <= 1125899906842623
a(564804931640625) <= 1142535704630441
a(570630428688384) <= 1711890211526167
a(574600019705856) <= 1831442347884331
a(582622237229761) <= 619036127056621
a(589770161913856) <= 1513643905625255
a(590490000000000) <= 2213243741293861
a(595535692960000) <= 1698641006514991
a(598134325510144) <= 1266637395197934
a(600372506250000) <= 2399006806375855
a(609152945688576) <= 1910290434458311
a(610851724137931) <= 610851724137932
a(621009589764096) <= 2009970065727371
a(625000000000000) <= 1562309265134671
a(627503752500625) <= 1090082123626705
a(633038481985536) <= 2195727037464455
a(633318697598976) <= 1829587348619251
a(645241282560000) <= 2821694472259091
a(645779095649856) <= 2241543403911211
a(649862508744801) <= 1139281619567605
a(655544332960000) <= 1880395031331355
a(660741884010000) <= 2588850804146211
a(667544833198321) <= 803295059544641
a(674400179654656) <= 1704521057051331
a(676520100000000) <= 2679170879728651
a(678113317090881) <= 1186627697523521
a(686339028913329) <= 1132459338619561
a(687194767360000) <= 1717437162585331
a(692579225610000) <= 2654936237475731
a(694500426604537) <= 793714773262336
a(700715164550625) <= 1526018062062901
a(702350915625216) <= 2505850786448555
a(704536369954816) <= 1718538406984511
a(713329229234176) <= 1600023110180771
a(714540961348201) <= 809271757483099
a(717201875390625) <= 1405806311965081
a(722204109434881) <= 722314724253700
a(722204136308736) <= 2166612327578911
a(723877356890961) <= 1442540945721821
a(729000000000000) <= 2732166440632903
a(731161600000000) <= 1980207878222891
a(745324125390625) <= 1081747446633305
a(750966441768274) <= 1126449662652414
a(751620387164416) <= 2045592188008355
a(756224480215296) <= 2488387588453151
a(759691406250000) <= 3206344907041331
a(766237436601154) <= 1337006139375654
a(768410874050625) <= 1560330906328601
a(774056185954304) <= 1688849860263924
a(777205186560000) <= 3191735067414355
a(780713364922093) <= 784413428263168
a(783109852810000) <= 1982168503938931
a(784294811709696) <= 2739668664386871
a(789298907447296) <= 1666297641976171
a(791432829997056) <= 2721328440087191
a(796818233864961) <= 1596892348897505
a(801025845760000) <= 2464883473046731
a(803437664440576) <= 1764110590554823
a(820972403643456) <= 2596403764749649
a(822314409800625) <= 1910414883252161
a(835289534693376) <= 2911309221516311
a(844403454967801) <= 844403454967802
a(849917529325568) <= 1869790033342635
a(850305600000000) <= 3188253128844031
a(853698068844544) <= 2190888128562379
a(855355656503296) <= 1853269705207431
a(859792878950625) <= 1694128340428821
a(875781160960000) <= 2325547587630751
a(879005386400625) <= 1812276387270349
a(888731494560000) <= 4185089586213151
a(893661000777263) <= 87578778076171872
a(896570313670656) <= 2838992583104951
a(907102598004736) <= 2116556580487471
a(909087685468561) <= 1019566679916641
a(915062500000000) <= 2511491391985555
a(920398127268096) <= 2928036928148731
a(922417564483584) <= 2996480559203713
a(928445276160000) <= 3623760183792331
a(931813781640625) <= 1340690368741961
a(944697761796096) <= 3636218698211255
a(967392192379041) <= 1722086745726105
a(975745233560241) <= 1530145696565161
a(976929722015625) <= 2137002477600187
a(983449600000000) <= 2868221163794231
a(987783103546801) <= 987810135769204
a(990493078410000) <= 4186808966135455
a(994737284775936) <= 3232860775684571
a(1001129150390625) <= 1877021789548321
a(1006121858891776) <= 2213454345650455
a(1008267297900625) <= 1536733520799741
a(1014005244215601) <= 1766046346889705
a(1033551771210000) <= 4378820753285891
a(1041595649085121) <= 1245220041311461
a(1055600100000000) <= 4153090740315671
a(1064517474779136) <= 3942116097771731
a(1070493698560000) <= 3187741047706655
a(1073741824000000) <= 2684320200242101
a(1080258686209521) <= 2047880810943981
a(1093128906250000) <= 2767758481619371
a(1100753141760000) <= 4126293722052931
a(1112264187890625) <= 2665195268720105
a(1113034787454976) <= 2349722179747791
a(1114641555517504) <= 2697804001485727
a(1116121190560000) <= 2957959638666571
a(1125236832690851) <= 1125899906842632
a(1125282374039227) <= 1125899906842640
a(1125899906842624) <= 2251799813685247
a(1128531035955456) <= 4120877196092111
a(1135573198803289) <= 1273576881629347
a(1137906113642496) <= 3739608596279479
a(1146551135499121) <= 1318525618765705
a(1150496932888576) <= 2908019626448371
a(1156038148314721) <= 1433004612073141
a(1156831381426176) <= 3470070499969711
a(1171179506250000) <= 4608982899476891
a(1172781940777216) <= 3170954879645455
a(1178420166015625) <= 1595777281407583
a(1183237883150625) <= 2453449675900201
a(1195389135360000) <= 5206003180647291
a(1201907943079936) <= 2513079853877551
a(1224105913200625) <= 1933183445058261
a(1234902812921856) <= 4218440873405011
a(1235736291547681) <= 1585861534181169
a(1244932428960000) <= 5123641167384355
a(1253337006250000) <= 3762434485253651
a(1266637395197952) <= 3659174697238515
a(1267722362697921) <= 2188793082337241
a(1278806208160000) <= 3612623574319991
a(1282231197761536) <= 2997193274329555
a(1283088519050625) <= 2961411092449381
a(1283918464548864) <= 3851755118036683
a(1291467969000000) <= 5283201036016597
a(1296000000000000) <= 4839963069765571
a(1297463378906258) <= 1946195068359390
a(1325648358836768) <= 2728500670389879
a(1337972323516416) <= 4682619334259111
a(1339743006250000) <= 3569157273664759
a(1352551652462011) <= 1352551652462012
a(1356652282883121) <= 2511995105618801
a(1359336728825856) <= 4669812648989455
a(1362025156640625) <= 2553795860912881
a(1366514728960000) <= 3604925025659771
a(1370114370683136) <= 4443948901787031
a(1402832079360000) <= 5586650592187951
a(1407374883553280) <= 3377699720527866
a(1407422119140625) <= 2052490537869381
a(1418484168747361) <= 1590868277139861
a(1424967069597696) <= 4257309022748551
a(1436132282224896) <= 4538868030257351
a(1438916737499136) <= 5033899525593331
a(1439868559360000) <= 4617761353087355
a(1450180916100081) <= 2531884295095309
a(1453944562890625) <= 2078258164935181
a(1466227025326336) <= 3930001110783391
a(1487189808810000) <= 5646446307980731
a(1491077447838784) <= 3205428211434667
a(1513223148228561) <= 2912763133768505
a(1516136693760000) <= 6131976077048591
a(1525878906250000) <= 3695487976074211
a(1530520183013201) <= 1530520183013202
a(1531578985264449) <= 2527091060093953
a(1531746724151296) <= 3402885709885771
a(1534059642118511) <= 1556956054687512
a(1544804416000000) <= 4102833301362307
a(1545504106410000) <= 6490141289714555
a(1547476985184256) <= 3610779535892511
a(1554396938557281) <= 3067956918176821
a(1567309824061696) <= 3728115959238419
a(1575296100000000) <= 6877697431253831
a(1579440828553963) <= 1580188315933528
a(1587429546524671) <= 1587429546524672
a(1600135042849344) <= 5027504469113827
a(1600450031640625) <= 2300631099908305
a(1611612674850816) <= 5318018448860455
a(1623856590786816) <= 5062139555038951
a(1628413597910449) <= 1899815864228857
a(1646484813610000) <= 5038232122118151
a(1651660400390625) <= 3276874081788241
a(1661007193767936) <= 6110833014340351
a(1677721600000000) <= 4194301852028071
a(1686221298140625) <= 3303823311086719
a(1688340249560507) <= 1688849860263960
a(1714723915100625) <= 3829881534669905
a(1720059496960000) <= 5242247248551731
a(1741526438560000) <= 4871823844062791
a(1763193692160000) <= 6609810032752531
a(1785062500000000) <= 4825088802199631
a(1803810389321521) <= 2221358193409961
a(1816019815366656) <= 5764737843079171
a(1835010710850625) <= 3126433461515705
a(1838265625000000) <= 5319714045935059
a(1842873627119616) <= 6985920070869571
a(1846251172400625) <= 3803191206618221
a(1853020145805121) <= 1853044273434244
a(1853020188851841) <= 2779530283277761
a(1853020188851842) <= 2779530283277766
a(1870004703089601) <= 3038757591478519
a(1887144894920961) <= 3053990658138541
a(1897473600000000) <= 7793864493426055
a(1902199139467264) <= 4184837890130899
a(1914782255150625) <= 4187243105452341
a(1925224124645376) <= 6037892346709951
a(1932209057610000) <= 8043716623483211
a(1945645914793300) <= 4222051635101678
a(1946195068359387) <= 2594926757812520
a(1952102938046881) <= 2168386733471641
a(1955629506250000) <= 5832301306340671
a(1961517735450625) <= 2696223818440933
a(1962696975056896) <= 4252498659346211
a(1972150043938816) <= 4888688249371131
a(1978075526264721) <= 3392936356356061
a(2000714214670336) <= 4646070069190655
a(2039281090560000) <= 8881767322290731
a(2053886447390976) <= 7186959201067555
a(2064377754059776) <= 4384660733857669
a(2070185663499849) <= 3847486726703467
a(2075941406250000) <= 7541501153489971
a(2088270645760000) <= 5653232987673051
a(2108111557758976) <= 5409837263014079
a(2116836270609921) <= 4137310560883621
a(2138137600000000) <= 5679377761590691
a(2143172952781056) <= 7486009300953911
a(2169754625390625) <= 5120385396427741
a(2176782336000000) <= 8162808585161917
a(2177394599078721) <= 3755979422164705
a(2188892367360000) <= 8660092202160971
a(2213314919066161) <= 2336276859014281
a(2214605952160000) <= 6444588675323491
a(2219775733334016) <= 7902910400634755
a(2234039306640625) <= 3071784973140505
a(2236640050610641) <= 2533157477195261
a(2247065740400625) <= 4475140588814401
a(2251795163642407) <= 2251799813685280
a(2262772562194881) <= 3924775870427489
a(2266712100000000) <= 8832680629520671
a(2282191536579841) <= 2282199807433684
a(2282521666977793) <= 2282521770414148
a(2282521714753536) <= 6847560848496151
a(2287809918075136) <= 6092053084825211
a(2287914286629609) <= 3773332437331549
a(2306391020010000) <= 10747953961957355
a(2312537669462233) <= 2335434082031268
a(2314388900745216) <= 7345859303864191
a(2325992456359936) <= 5878867086622741
a(2390042801668096) <= 5274950261295191
a(2392537302040609) <= 2392537302040610
a(2401000000000000) <= 7001645196900971
a(2410618415606401) <= 3351399294812805
a(2428557824160000) <= 9843562953122591
a(2449254009351661) <= 2449254009351662
a(2450446051830281) <= 2337725533446089028
a(2456352194560000) <= 6752765002912555
a(2478758911082496) <= 8675149018171311
a(2483630085505024) <= 5193044567947783
a(2501318573817856) <= 5758221490284431
a(2518339109499136) <= 6743900746170455
a(2533274790395939) <= 2533274790395940
a(2577148681640625) <= 5079614558827061
a(2581491884691456) <= 8517830356550455
a(2598919616160000) <= 12003136129088951
a(2613510006250000) <= 7542695823196355
a(2639927418290176) <= 6159464138798351
a(2651732553240576) <= 8971665518310011
a(2687385600000000) <= 10077174035308471
a(2691867376137681) <= 4691382032075321
a(2717370086560000) <= 7154541999662211
a(2724905250390625) <= 3619012932708961
a(2736715256013376) <= 6347094445452853
a(2755202724500625) <= 6298248708704381
a(2758547353515625) <= 4022881472787167
a(2778091097760000) <= 11386531988752459
a(2780914306640625) <= 5211830139159883
a(2808830402560000) <= 8871664329455191
a(2824295364810000) <= 10256852261600131
a(2828947281246801) <= 5350628070761105
a(2833604941971456) <= 8936152425956591
a(2863237160100625) <= 4846410491199805
a(2908912599760896) <= 9272075824796371
a(2917096519063104) <= 10130061149461387
a(2928229434235008) <= 8750373114022455
a(2934345564160000) <= 7666856670364771
a(2951927213752881) <= 5596013916295021
a(2985711444688896) <= 11446926919113455
a(3010936384000000) <= 7944454956764761
a(3014899445610000) <= 12468889267001431
a(3024196681833703) <= 3024196681833704
a(3039385812890625) <= 6268687173731305
a(3045940625581681) <= 3571380100385261
a(3051757812500000) <= 7510185241699203
a(3057437052457216) <= 7272614273273055
a(3077220889071616) <= 7578152649527751
a(3083836787548416) <= 9653141295862351
a(3122085469140625) <= 4419983040190181
a(3130447260160000) <= 9142669219305655
a(3143861048180736) <= 10217001479428211
a(3159003036690081) <= 5873468570633781
a(3164062500000000) <= 11793327331527511
a(3190049736054122) <= 4785074604081186
a(3197848176967297) <= 3654683630819776
a(3204757315051776) <= 11140795062688655
a(3206175906594816) <= 9614129673272251
a(3256467325403473) <= 3256827195820900
a(3256599688890625) <= 5224055187272839
a(3266533992960000) <= 14283910223518331
a(3302980323776721) <= 6075868734367641
a(3318693185610000) <= 13803056286739555
a(3336217600000000) <= 8803832323978511
a(3345005787800625) <= 6792023663983701
a(3364400907943936) <= 8340408185600171
a(3376787092396641) <= 6499598157162929
a(3424242424242421) <= 82181818181818128
a(3424883006250000) <= 13218892456044691
a(3435973836800000) <= 8589384836182206
a(3478923509760000) <= 12988118541962971
a(3506182329650625) <= 6937095756616421
a(3515304100000000) <= 11255494068727055
a(3518743761000000) <= 14176550722847563
a(3555482906449321) <= 3555482906449322
a(3566715372896256) <= 12996353744945351
a(3573226485213841) <= 3969123726998431
a(3579655823550625) <= 6006518331745261
a(3596345248055296) <= 7911959306571439
a(3611229222998016) <= 12098790005068811
a(3628410392018944) <= 8466274766455087
a(3655688315536801) <= 3655688315536802
a(3656158440062976) <= 10968470088963751
a(3659174697238553) <= 3659174697238554
a(3701505600000000) <= 14973608276379731
a(3707203510202481) <= 5908351888464241
a(3739616025760000) <= 10361262680867791
a(3826440000150625) <= 5697961965098249
a(3845937744140625) <= 8412060845159621
a(3856302691946496) <= 12724236807251467
a(3873359651615041) <= 4724324295564961
a(3892362992828641) <= 3892362992828642
a(3902902717382656) <= 8926051164907051
a(3934601256960000) <= 16223987674306555
a(3940649673949211) <= 3940649673949212
a(3964493629850625) <= 7736851257310021
a(4006628701860096) <= 13807619040064031
a(4034942722397601) <= 7450018743607441
a(4055193344160000) <= 18606544991081971
a(4096000000000000) <= 10239999686435611
a(4112408592388096) <= 11432602656371755
a(4135050843618321) <= 6822791527531705
a(4199364006250000) <= 12403980070545671
a(4228653269385216) <= 14798653925057951
a(4247562812942241) <= 7216004924011061
a(4251773531640625) <= 5960592993584981
a(4287691165655296) <= 10608508255960391
a(4296175340486656) <= 9881135681715655
a(4304672100000000) <= 16110983641308871
a(4330238011047936) <= 14015251899973071
a(4358062744140625) <= 5901527404777421
a(4412961507515625) <= 8274196915505851
a(4414114278317601) <= 8294224180953205
a(4433230883183877) <= 6403555720154502
a(4433642127360000) <= 17586945769476391
a(4499203191210000) <= 20649018536909191
a(4503599627370496) <= 9007199254740991
a(4517347060908032) <= 9787435951929105
a(4538887212957696) <= 14373018362817791
a(4543753614603737) <= 245362695188601852
a(4545526651911441) <= 8799119772338621
a(4583287833600256) <= 10692503097468619
a(4592206902398976) <= 16004627332083511
a(4612761269305344) <= 14696425490016397
a(4632503906250000) <= 18435624679721755
a(4700254210560000) <= 18418048972865971
a(4702525276151521) <= 5943469298401881
a(4752697264956481) <= 5244768641646081
a(4782532419092736) <= 18375568386483455
a(4791740661760000) <= 12973443151513031
a(4814819443210000) <= 14450009913993951
a(4858898693051601) <= 8347106763022489
a(4859462956225993) <= 4861502986182656
a(4884556188160000) <= 14172419969088755
a(4912661929267456) <= 12956413100730211
a(4929112854784881) <= 9104700308143401
a(4978713600000000) <= 21690767405551871
a(5014371209450625) <= 10984374043118905
a(5035029816707136) <= 15668302058389471
a(5035857504178176) <= 16364494819126211
a(5076410591206501) <= 5076410591206502
a(5093491910639616) <= 16739248487154655
a(5098317006250000) <= 13376436857803791
a(5132188731375616) <= 10730858204112991
a(5146756732810000) <= 15990424853477459
a(5182746699759616) <= 11229284331959821
a(5220062500000000) <= 13838699634659431
a(5232355841750625) <= 11441434958992181
a(5249602982772736) <= 12928802812897591
a(5334057471375424) <= 12290093753379919
a(5343975506250000) <= 20491137863512511
a(5389119716069376) <= 20036118192981371
a(5406752812890625) <= 7884843815008681
a(5419374348960000) <= 24063144514802855
a(5489031744000000) <= 24000266837398321
a(5518582289439921) <= 9488959944270741
a(5531399057637376) <= 14197060759846455
a(5533965087890625) <= 10803186331482061
a(5535654892472401) <= 5535655078737904
a(5572562780160000) <= 20890409624675371
a(5585473432800625) <= 9310946104204481
a(5629499534213120) <= 13510798882111482
a(5634738611490816) <= 17767740379580631
a(5650363527210000) <= 21712928776200211
a(5739519416467456) <= 12196470169970011
a(5760649700315136) <= 19006857731282239
a(5784490950217281) <= 9731184034109861
a(5824390722748416) <= 21991888593870811
a(5835065433760000) <= 16061410798197611
a(5838585205078121) <= 5838585205078122
a(5855789482383781) <= 5855830198344364
a(5856458791942513) <= 5886989099968328
a(5856458868470016) <= 17535061416727351
a(5861816406250000) <= 16561698913552511
a(5892961181640625) <= 7826589043881427
a(5929096250390625) <= 12043430601826781
a(5964309791355136) <= 12897431622386731
a(5996953600000000) <= 16491503692576255
a(6030848887787371) <= 6055976992231716
a(6084658961842176) <= 19005166361761591
a(6106734799360000) <= 17564938113290051
a(6148288841550625) <= 10307214251974805
a(6233669215980921) <= 11137588011699283
a(6251695490416896) <= 21403746664678651
a(6278211847988224) <= 13247531109147347
a(6302470421610000) <= 25177046851720555
a(6345018594140625) <= 14685631377925541
a(6445135298560000) <= 18791177702514371
a(6473956428810000) <= 26518495161006431
a(6491295438667776) <= 22666112015213755
a(6499837226778624) <= 19499511082427923
a(6540611801654401) <= 7265276742309061
a(6544492927533056) <= 13088586410950470
a(6561000000000000) <= 24599496744984811
a(6587283392250561) <= 13735593058400005
a(6588516227028768) <= 19456711982944299
a(6607780563521536) <= 16117009307132751
a(6634204312890625) <= 8753459542152201
a(6690247966372096) <= 17472443773649011
a(6773484887801856) <= 23705605507989551
a(6782448969140625) <= 13931226777852769
a(6857496100000000) <= 21624106922103931
a(6881642189680896) <= 23693940465213655
a(6917980815360000) <= 27262233319378211
a(6964478817623209) <= 7685548583340013
a(7015587502882816) <= 16720334196340955
a(7049377146803761) <= 9612052772081805
a(7092558503894241) <= 13639870127705041
a(7101837401760000) <= 28232042274750391
a(7138759111704481) <= 7139097105149764
a(7151478715085056) <= 16574879915606999
a(7163929600000000) <= 18723751561383511
a(7213113116974081) <= 7213113116974082
a(7213895789838336) <= 21640587857877391
a(7256313856000000) <= 19954568597373649
a(7289334581760000) <= 34917823717067555
a(7314611834454016) <= 15543542736341431
a(7355827511386641) <= 12872690070709561
a(7456475858388544) <= 17031323573578987
a(7464445928850625) <= 11115287176959405
a(7528898407100625) <= 14753626912071421
a(7535366532507121) <= 9669811671514793
a(7642693506250000) <= 21632990855055355
a(7675442012160000) <= 31169599666607831
a(7724761962890625) <= 14424324035644501
a(7754467791015936) <= 25731378098973811
a(7824114538700625) <= 17027320829667005
a(7974936506250000) <= 33797974292596271
a(8022300512751616) <= 20274911137608471
a(8066469991433841) <= 13107978432372461
a(8084777718513664) <= 18864458436569047
a(8140406085191601) <= 13228085215079219
a(8145062500000000) <= 21451925946782051
a(8158789166432256) <= 26923807346748655
a(8213869404160000) <= 25444567540162991
a(8272697240188161) <= 14443299241696105
a(8303765625000000) <= 30895827306233107
a(8335329368900625) <= 19665357637945041
a(8380784365797376) <= 18983683274012051
a(8408848918450176) <= 31058794184702791
a(8493465600000000) <= 31719407700572911
a(8507630225817856) <= 19812365441243711
a(8582285400390625) <= 13766511524367005
a(8610854306606721) <= 14709219175959561
a(8632327748323041) <= 16049767976016821
a(8707801203360000) <= 39571894716786971
a(8780139765760000) <= 24137473666894819
a(8816477595210000) <= 35761665829901231
a(8872957063140625) <= 14017843128901081
a(8926168066560000) <= 33458334076795771
a(8940870419742976) <= 22596454083958055
a(8955590927712256) <= 18906239878424231
a(8990607867641856) <= 28457185987087831
a(9007199254740992) <= 18014398509481983
a(9025761726072081) <= 14290780436022681
a(9036878906250000) <= 35418606843543671
a(9129921937890625) <= 12676827347839981
a(9134249824299601) <= 9134249824299602
a(9193600315293696) <= 29303090665652011
a(9223681600000000) <= 26899106242787271
a(9227446944279201) <= 15225287333706289
a(9329547737293056) <= 35303226417024811
a(9351388785251241) <= 14903775827350411
a(9436322590621696) <= 24218303166655655
a(9474296896000000) <= 24759027210531853
a(9478296534253568) <= 22116024905852391
a(9478519607420721) <= 17639930798728205
a(9528571087360000) <= 27228118364705071
a(9570149208162337) <= 9570149208162338
a(9724154565432384) <= 37128479064079159
a(9746447131017216) <= 30568145224622791
a(9781808354150625) <= 21103229883150701
a(9900374375390625) <= 22764788969910361
a(9936153436225536) <= 32159521107795851
a(10066642224916707) <= 15764670540030412
a(10485760000000000) <= 26214399450922057
a(10506912570445824) <= 34143275502446293
a(11112006825558016) <= 25927224666044919
a(11215359537152005) <= 13510798882111512
a(11250271162170377) <= 11258999068426260
a(11485810791015625) <= 15154889208776521
a(11631660463230976) <= 28833269696640529
a(12230590464000000) <= 45843155898745801
a(12696463968316569) <= 23218108453731493
a(12855002631049216) <= 28277553517093063
a(13025869301613892) <= 22797790370746300
a(13177032454057536) <= 39222260664030571
a(13623356939173877) <= 15569570325254592
a(13841287201000000) <= 40054514384071237
a(14261398819954376) <= 26740122787414470
a(14533214836718656) <= 32978328156656401
a(14710627334390625) <= 30340259929487047
a(15207904832401321) <= 486652954636842304
a(15625000000000000) <= 39057731628415921
a(16390160963076096) <= 57365348316705199
a(16784294883374656) <= 38302283456313787
a(16984304054288649) <= 27586874292110953
a(17080198121677824) <= 59751166304955467
a(17578787578787571) <= 23438383438383432
a(17596287801000000) <= 69529775777732047
a(17878787578787871) <= 23838383438383832
a(18014398509481984) <= 36028797018963967
a(18226538222455809) <= 28858685461773553
a(18337934234432341) <= 18337934234432342
a(18479491928031232) <= 43118447994844008
a(18895680000000000) <= 70857317335463205
a(19770609664000000) <= 53544612810437071
a(20266198323167249) <= 20266198323167250
a(20938994384765625) <= 45783050804779681
a(21667237072994304) <= 71469182495724511
a(21914624432020321) <= 22910743724384881
a(22517998136852480) <= 54043195528445946
a(22670953897037824) <= 55830835799532067
a(24520684595090761) <= 31468210281891517
a(24794911296000000) <= 92968377059912593
a(24813987121582041) <= 33085316162109392
a(25522890677454333) <= 34030520903272448
a(25917517364985856) <= 55074724240731049
a(26494507823224896) <= 99627813351384361
a(27197360938418176) <= 59834165533143211
a(27680640625000000) <= 75527056517718079
a(27829857704427901) <= 27834249349961212
a(28290098942705664) <= 88687297747156963
a(29192926025390625) <= 54736732481116543
a(29676814482639833) <= 31525197391593486
a(30117495006966173) <= 3614099400835940880
a(30840979456000000) <= 89951593444065277
a(31172897213027361) <= 54624993928188727
a(33026110934832482) <= 49539595901075478
a(33227552537453169) <= 58148146333090297
a(34050628916015625) <= 63844927903881631
a(34296447249000000) <= 134632857649062781
a(35024841026965504) <= 83465675575323721
a(36028796343097027) <= 36028797018963976
a(36028797018963968) <= 72057594037927935
a(36063998579311616) <= 72092778410012670
a(36141574462890625) <= 47230466575078333
a(36457053939633601) <= 36457054411796932
a(36520347436056576) <= 109560973587895831
a(36743670183012619) <= 36977706298828144
a(37287823182704704) <= 78617588136190867
a(38923901367187519) <= 38923901367187520
a(40080690652640625) <= 81412808428553113
a(41329862121590784) <= 144570724578241963
a(42420747482776576) <= 88654617020445751
a(43925697850453056) <= 143822336004684247
a(44371263363765625) <= 68751384500681989
a(45730621526284864) <= 102777513200353573
a(46656000000000000) <= 174879666299609671
a(49010527528462368) <= 159206736785919039
a(49037943386265625) <= 67426309088309683
a(50515130076626944) <= 106643052215026027
a(52542233833181184) <= 167457820764286417
a(54043194823406981) <= 54043195528445964
a(54043195528445957) <= 54043195528445958
a(54636676406050816) <= 140233691156096203
a(57352136505929721) <= 89938577598683269
a(59034724126949376) <= 191775115855709569
a(59553411580726777) <= 68061041806544896
a(59604644775390625) <= 74505805969238281
a(60758248384885689) <= 105772224192474421
a(62523502209000000) <= 271399314655223749
a(64925062108545024) <= 194774086813918723
a(65444321109049129) <= 72260952514468123
a(66060088129912832) <= 140375545282541445
a(66809249633371609) <= 84439466940070243
a(68719476736000000) <= 171796492816724917
a(71337059553120256) <= 173997736820232991
a(72057594037927936) <= 144115188075855871
a(72676684723410496) <= 161744263966927069
a(74037208411275264) <= 222111201589258927
a(75418890625000000) <= 202663714738763041
a(79634114535719241) <= 121510083124523581
a(79792266297612001) <= 93090977347214001
a(81064157633052707) <= 81064793292668964
a(82653950016000000) <= 340745666818991701
a(84933920324457009) <= 146576666660801833
a(86482825840140625) <= 133125632279411647
a(88273515312500000) <= 253441532785591521
a(88896053935223519) <= 88896054604464120
a(90071992547409920) <= 216172782113783802
a(92090671199944704) <= 322169579089352947
a(94585080322265625) <= 177347025306377473
a(95428956661682176) <= 206737499841428011
a(97656250000000000) <= 244021415710448707
a(98867482624000000) <= 262612887690311299
a(99079191802150933) <= 99079191802150934
a(102408642742358016) <= 324254244933160291
a(104218470266268736) <= 241276614757064839
a(107918163081000000) <= 419585560508013313
a(108086389029291081) <= 144115188075855904
a(108086389646813962) <= 162129586585337892
a(108632783658742001) <= 1955390105857356036
a(110764198096878249) <= 213220677750325309
a(116997070082015232) <= 350991204982314663
a(117649000000000000) <= 343100612206724947
a(119042423827613001) <= 189722791978493071
a(119680300997734464) <= 385922214117771913
a(121740744925904896) <= 267829625091146707
a(132491882463990336) <= 488630814291340309
a(133609165294515625) <= 199019424937327261
a(139314069504000000) <= 522420730319506621
a(141652154820234304) <= 296707161094813687
a(144555105949057024) <= 313202580209415953
a(146426514344294976) <= 479213219541106723
a(148863517207035904) <= 376292710077423637
a(150094635296999121) <= 225141952945498681
a(157660912023890625) <= 344721135604644583
a(158952325472321536) <= 332354862098840071
a(165542400249498441) <= 283821359647444459
a(175149776384856064) <= 409362603170900149
a(177978515625000000) <= 661902427673305141
a(178250690949465223) <= 178250690949465224
a(186694177220038656) <= 653349062009749771
a(191183608905939441) <= 329640911950795033
a(192699928576000000) <= 508506220964146777
a(200432715733265625) <= 399294188419884997
a(200902779135623168) <= 424121617605262035
a(204928424136473857) <= 204928424136473858
a(205195258022068224) <= 615304299089492923
a(205195258475053057) <= 205248021462579460
a(208422380089000000) <= 663455008783650553
a(210832519264920576) <= 632188721096618731
a(225199600704000000) <= 914331708431845579
a(228686495053685824) <= 504078713328800737
a(232218265089212416) <= 541842602387734831
a(246803372284575744) <= 814449022459217419
a(253295162119140625) <= 348280840779805891
a(258236334233446464) <= 946152380438145007
a(260492994726131232) <= 833369368549990797
a(262144000000000000) <= 655359999157953307
a(270215977642229785) <= 324259173170675748
a(272129286015015625) <= 414888267346596331
a(282429536481000000) <= 1050823008269243077
a(284291868588198843) <= 379059236351952400
a(295216721235542016) <= 940572997330462861
a(298023223876953125) <= 372529029846191406
a(301789003173921081) <= 572140589139210211
a(303305489096114176) <= 707712807203464679
a(315299797119140625) <= 650008447038313861
a(322241908269256704) <= 1010543796537544543
a(331695788784615424) <= 718674197574858253
a(334095024862954369) <= 414138623556168967
a(341379678168027136) <= 792662660897125327
a(351298031616000000) <= 1536201672491643697
a(360287970189639680) <= 864691128455135226
a(362033331456891249) <= 573216205632881273
a(364032580038765625) <= 492954475571106151
a(368498212375764307) <= 368498630100716416
a(369232960092848929) <= 473848390073940001
a(374813367582081024) <= 1124405787557544247
a(377149515625000000) <= 993976808572941229
a(390657969445640625) <= 773166848710725631
a(398954829822778944) <= 1414473677485808941
a(415989582513831936) <= 1247968745886623251
a(424731610940495769) <= 676606486872886753
a(445726644327885376) <= 976064670084181651
a(448795318603515625) <= 654492378234828967
a(464404086784000000) <= 1277094788036592337
a(470772960728745024) <= 1634831638980114247
a(474373167657323761) <= 474374743852439524
a(477214454936866816) <= 1098453318040830571
a(500341152077816841) <= 825562858562992957
a(500433139478737924) <= 875787780761718748
a(517425773984874496) <= 1207325339949066199
a(520900360822838529) <= 884534030929027207
a(522452710592335513) <= 525472668457031268
a(531441000000000000) <= 1992659224136656531
a(546566339893690368) <= 1912942200193090635
a(567869252041000000) <= 1780266077370437287
a(575398903529078784) <= 1821263322679954903
a(576038677260534784) <= 1151514816750309374
a(598488882256079424) <= 1892779530073502197
a(604661760000000000) <= 2267467672348882213
a(606355001344000000) <= 1584768172277879821
a(614910264406779661) <= 614910264406779662
a(622345892187672576) <= 2394640724518680247
a(651175550545069081) <= 801910630784363941
a(668143373050140625) <= 976103162316060409
a(670327006904296875) <= 1464328856094528788
a(672442404508532736) <= 2185432240672818901
a(675316625115787371) <= 1008806316530991132
a(696255373967798743) <= 849213351508011864
a(712181767349390625) <= 1557875781969530311
a(720575940379279360) <= 1729382256910270458
a(720575940379279378) <= 1080863910568919070
a(735091890625000000) <= 1924670929514618167
a(744426269646782464) <= 1845551027889460753
a(782757789696000000) <= 2933961978864616393
a(812573693972260416) <= 2948699773623899611
a(822720168387149824) <= 1809980918180462791
a(827832861927597681) <= 1392019531620876271
a(843330077059682304) <= 2529681394480900843
a(859068301025390625) <= 1744184568578488219
a(864689658536367467) <= 864691128455135256
a(870315550029381632) <= 1914694181526761643
a(885842380864000000) <= 2583358482834074821
a(930125749549993984) <= 2126972330166713233
a(941480149401000000) <= 3853213011044854969
a(977455262145747007) <= 1117091728166568016
a(984930291881790849) <= 1723628009756660657
a(1000000000000000000) <= 2499995231628286897
a(1006015020015006001) <= 1398638534054719567
a(1048970301636870144) <= 3671389185472557487
a(1074194872535977984) <= 2470346486540678971
a(1086995459474473536) <= 3503533035098091031
a(1089620125312500000) <= 4022230457944542753
a(1126162419264000000) <= 4484396798389001551
a(1126718743138509533) <= 1152921504606847008
a(1152921504606846976) <= 2305843009213693951
a(1166498446237171776) <= 3665053053645241231
a(1187113512876717321) <= 2076498739602140701
a(1229255326344515625) <= 2409587460648856363
a(1265319018496000000) <= 3426861653959619023
a(1297036692682702863) <= 1729382256910270488
a(1302260124847515625) <= 1890061583443017307
a(1340095640625000000) <= 5814447452207019487
a(1346274334462890625) <= 1823079790580805593
a(1357463919448850432) <= 2838290340222233655
a(1363233428552319129) <= 2215254286091212003
a(1386703172671635456) <= 4574027813913072607
a(1402535963649300544) <= 2909664452996879887
a(1441151880758558720) <= 3458764513820540922
a(1450941049410420736) <= 3573602906706051619
a(1509165348691389921) <= 2806099145970413959
a(1568336880910795776) <= 5172955400012321791
a(1569323814085808704) <= 3996462705800222659
a(1586874322944000000) <= 5950691185888218001
a(1613506575999231369) <= 2553550606902609133
a(1658721111359094784) <= 3524782353022495657
a(1667889514952984961) <= 2752015973536738273
a(1695648500686393344) <= 6425601725678655913
a(1771561000000000000) <= 4871197794776604607
a(1810566332333162496) <= 5675997712766926819
a(1820428676364390625) <= 2619202997760403111
a(1837139054046216001) <= 1837339156328552404
a(1846155759002530087) <= 2177953337809436672
a(1846757320839659521) <= 1846757320839659522
a(1973822685184000000) <= 5756902149308465149
a(1995065421633751104) <= 6937374228879968329
a(2027286529541015625) <= 3801159858703413991
a(2049007255704356689) <= 2499167939909905993
a(2077601987473440768) <= 6232770778048144899
a(2113922820157210624) <= 4492083850840422277
a(2126563362397002816) <= 7384814584302467719
a(2161727821137838105) <= 2594073385365405732
a(2177953337809371136) <= 5081852349802846271
a(2194972623936000000) <= 8683289267743883773
a(2241589825725792256) <= 5342445202094951497
a(2313060765625000000) <= 5998269255034948291
a(2337302235907620864) <= 7011902309675554327
a(2337302237436444673) <= 2337302237436444674
a(2374061173201265625) <= 5709892319689213027
a(2386420683693101056) <= 5070524916720782611
a(2446194060654759801) <= 3836055394895916709
a(2497991279001643706) <= 3746994889972252698
a(2498367244688962981) <= 18002484855055260559397400
a(2548039680000000000) <= 9542041400135628748
a(2553352521523584032) <= 5864731572874482063
a(2565164201769000000) <= 10339426670426245351
a(2604882107720890089) <= 4338252233609285083
a(2645111175781810176) <= 9253638319735410091
a(2740996416574767169) <= 3464310708794394397
a(2811244662428995584) <= 9275974442632824151
a(2824752490000000000) <= 8234838374795330849
a(2839760855281000000) <= 8731425831586612603
a(2882303753709462605) <= 3458764513820540952
a(2926759777682231296) <= 6628744965544063909
a(2941473244627851129) <= 5433544731631153957
a(2985984000000000000) <= 11192319657274122823
a(3125000000000000000) <= 7812380790710432835
a(3138428376721000000) <= 8563141254215329741
a(3217048938978890625) <= 6031889551410874663
a(3232968324904124416) <= 6825155344890216811
a(3244063884388769323) <= 3707501605224609248
a(3266610929719399786) <= 4899916394579099682
a(3362702965323595776) <= 10718588508734639569
a(3379220508056640625) <= 4928029903494696181
a(3460412257114765743) <= 6055669977167806584
a(3496747289987252224) <= 8974973084918260939
a(3548148153495765625) <= 5071651395493355653
a(3650910584581040834) <= 5476377146882523174
a(3670536736379502144) <= 11422199355032775163
a(3689348814741910328) <= 6917529027641081880
a(3743906242624487424) <= 11231718721569543847
a(3778222344124760064) <= 12273607774832084353
a(3809357562483616032) <= 11952535894645063473
a(3814697265625000000) <= 9462237358093261687
a(3888527896632684096) <= 13433072472444251467
a(4001504141376000000) <= 17504187294023131717
a(4097728243011390625) <= 5890408647128067511
a(4275791976535782976) <= 10723812301388920861
a(4295968701416015625) <= 8554461824962399711
a(4398046511104000000) <= 10994975540271625141
a(4544344858450091409) <= 8123010793224347791
a(4565571811399696384) <= 11137193437220057887
a(4625763390369824768) <= 10022487196448995089
a(4651307822298271744) <= 10431868237425981277
a(4738381338321616896) <= 14215143591303768751
a(4826809000000000000) <= 13071011712009512353
a(4991442320607327751) <= 5006522206772304904
a(5030809580542463641) <= 6859709781886001923
a(5077105058047319361) <= 8400304601590634209
a(5362398255800861289) <= 9384196939480567933
a(5534900853769000000) <= 16906955299485279169
a(5559917313492231481) <= 6115909044841454629
a(5631351470947265625) <= 10558724403381325513
a(5764607523034234880) <= 13835058055282163706
a(6107453226347659264) <= 13232790084161002027
a(6148914691236517208) <= 11529215046068469780
a(6327518887936000000) <= 16807256368583046787
a(6428888932339941376) <= 13572092385480932051
a(6468385699029515625) <= 15321502539888881533
a(6568408355712890625) <= 12315765571578095761
a(6669982097041199104) <= 15561391743898567687
a(6757968902587890625) <= 9292206764220704227
a(6765811783780036261) <= 6765811783780036262
a(6817162424448154689) <= 10864852587473654407
a(6917529027641081856) <= 18446744073709551612
a(7037580381120954241) <= 7037580388900466500
a(7254530433280328041) <= 7261096233082692104
a(7326680472586200649) <= 9402573268364140877
a(7791407675257913344) <= 17141096005956158419
a(8274302826591796875) <= 15514317482120287084
a(8373156066650390625) <= 16564293905192737453
a(8754351502366574589) <= 11672468669822099456
a(8762203435012037029) <= 9223372036854775840
a(9103472456715015625) <= 12090394597542864751
a(9216006757374186129) <= 12288009009832248176
a(9223372036854775808) <= 18446744073709551615
a(9255722232902778801) <= 16933733351404437961
a(9295997013522923584) <= 18446744073709551614
a(9606056662107307657) <= 9607522564237957780
a(9805414491403863409) <= 13282688175650925529
a(11164702521065640625) <= 15805886695402406569
a(12107634757774102801) <= 12129043751579851208
a(12157665459056928801) <= 18236498188585393201
a(12936633131256641441) <= 12936633131256641442
a(13706983254118028329) <= 18406837635738039517
a(15148594334612313289) <= 18052074627723215899
a(18446744069414584321) <= 18446744069414584322
a(46116860184273879040) <= 110680464442257309690
a(257602404736347888037) <= 83076775527472193892255000
a(368934881474191032320) <= 885443715538058477562
a(387046666318802181695) <= 464455999582562618040
a(793209995169510719401) <= 793209995169510719402
a(818024248174798715473) <= 576659512488319640760239335767441960
a(1475739525896764129280) <= 3541774862152233910266
a(5902958103587056517120) <= 14167099448608935641082
a(23611832414348226068480) <= 56668397794435742564346
a(60449980329546200632523) <= 60449980329546200632524
a(83754157347443182510089) <= 127163101869005946790573
a(94447329657392904273920) <= 226673591177742970257402
a(100746940798449663082496) <= 201493785517129432279722
a(116989845971726418581701) <= 3626685225123518976032762
a(188894659314785808547840) <= 453347182355485940514810
a(377789318629571617095680) <= 906694364710971881029626
a(1511157274518286468382720) <= 3626777458843887524118522
a(3022314549036572936765440) <= 7253554917687775048237050
a(6044629098073145873530880) <= 14507109835375550096474106
a(12089258196146291747061760) <= 29014219670751100192948218
a(24178516392292583494123520) <= 58028439341502200385896442
a(29754409558058946562670021) <= 922386696299827343442770682
a(96714065569170333976494080) <= 232113757366008801543585786
a(182623909754850658614108119) <= 182625296410303197703985640
a(365258912753321629970152919) <= 365258912753321629970152920
a(386856262276681335905976320) <= 928455029464035206174343162
a(489854328764926759121311886) <= 734781548282898604193377320
a(773712524553362671811952640) <= 1856910058928070412348686330
a(1547425049106725343623905280) <= 3713820117856140824697372666
a(12379400392853802748991242240) <= 29710560942849126597578981370
a(49517601571415210995964968960) <= 118842243771396506390315925498
a(73972926549756182599475227209) <= 112006085090688994973639858077
a(99035203142830421991929937920) <= 237684487542793012780631851002
a(208890128845653695840192598193) <= 12533407730739221750411555891640
a(396140812571321687967719751680) <= 950737950171172051122527404026
a(605250196630595958691126596707) <= 605250346249718482831271169240
a(792281625142643375935439503360) <= 1901475900342344102245054808058
a(2101081470873102416758885754127) <= 2801441961164136555678514338840
a(3169126500570573503741758013440) <= 7605903601369376408980219232250
a(6338253001141147007483516026880) <= 15211807202738752817960438464506
a(25353012004564588029934064107520) <= 60847228810955011271841753858042
a(49599100096253796919327450276603) <= 57696916217337649457550172952760
a(50706024009129176059868128215040) <= 121694457621910022543683507716090
a(101412048018258352119736256430080) <= 243388915243820045087367015432186
a(119824324699030709436916527957444) <= 302889265211438737743316779003630
a(121188518497206582808502537193743) <= 125367432928144740836381935028040
a(473113167871727804943178406841719) <= 510456800928637094409403171698120
a(1021802383286633394438787893358199) <= 1021802383286633394438787893358200
a(7302163520356100427268551206767970429) <= 7374462169072732631436305502391118040
a(35078348942010804880737859266140265283) <= 9471154214342917317799222001857871626680
a(45318186723355467483739617508409936239) <= 45318186724342084406977476517430804280
a(245548442594075634165165014862981857027) <= 22099359833466807074864851337668367132520
a(247243736494488751544337726770212495723) <= 247244292914891037345190538509071917880
a(332866681242746179394836715079514939785) <= 576975293942389695423234821881457106120
a(580123120609590652707770390818397792281) <= 261055404274315793718496675868279006526900
a(2663762116529839782051147867344896088878) <= 3995643174794759673076721801017344133320
a(51565162212341468592193044886238517214987) <= 51565172944755883208933434122730507385880
a(85345219981793700090367272292129505567041) <= 11265569037596768411928479942561094734849544
a(1411981864083712174601983865709916258790363) <= 1411981864083712174601983865709916258790364
a(6331218349080962149520638923995452132443539) <= 6478455985106100804160653782693020786686456
a(62901595260696573957895122253759154342266203043) <= 65070615786927490301270816124578435526482279040
a(18503010491182030514512706826156765380933813205491) <= 444072251788368732348304963827762369142411516931808
a(72566238716504379007097307507398130470758755815215) <= 87079486467709779779714411836484570197671095373408
a(197365445238212621301294434482487184769623495335339) <= 197365445238262808853409389612153716853473098910112