struct Prime { uint64_t n, invm_mod_n, invm_mod_n_shoup; };
static const Prime primes[1000] = {
    {UINT64_C(9223372036854775783), UINT64_C(1), UINT64_C(2)}, // 2^63-25
    {UINT64_C(9223372036854775643), UINT64_C(2174080551544339973), UINT64_C(4348161103088680023)}, // 2^63-165
    {UINT64_C(9223372036854775549), UINT64_C(4196139478669109789), UINT64_C(8392278957338219813)}, // 2^63-259
    {UINT64_C(9223372036854775507), UINT64_C(819472669938580582), UINT64_C(1638945339877161217)}, // 2^63-301
    {UINT64_C(9223372036854775433), UINT64_C(7020619613728807357), UINT64_C(14041239227457615284)}, // 2^63-375
    {UINT64_C(9223372036854775421), UINT64_C(5241777736790394358), UINT64_C(10483555473580789155)}, // 2^63-387
    {UINT64_C(9223372036854775417), UINT64_C(8320414596651337192), UINT64_C(16640829193302675089)}, // 2^63-391
    {UINT64_C(9223372036854775399), UINT64_C(1006686748518991328), UINT64_C(2013373497037982745)}, // 2^63-409
    {UINT64_C(9223372036854775351), UINT64_C(67085500503948287), UINT64_C(134171001007896580)}, // 2^63-457
    {UINT64_C(9223372036854775337), UINT64_C(4055185350850434877), UINT64_C(8110370701700870168)}, // 2^63-471
    {UINT64_C(9223372036854775291), UINT64_C(3782575405628567065), UINT64_C(7565150811257134554)}, // 2^63-517
    {UINT64_C(9223372036854775279), UINT64_C(4259975323811413069), UINT64_C(8519950647622826626)}, // 2^63-529
    {UINT64_C(9223372036854775259), UINT64_C(4141842253573290422), UINT64_C(8283684507146581337)}, // 2^63-549
    {UINT64_C(9223372036854775181), UINT64_C(5282806517567257267), UINT64_C(10565613035134515252)}, // 2^63-627
    {UINT64_C(9223372036854775159), UINT64_C(5393776748814967291), UINT64_C(10787553497629935341)}, // 2^63-649
    {UINT64_C(9223372036854775139), UINT64_C(7558629513596523396), UINT64_C(15117259027193047888)}, // 2^63-669
    {UINT64_C(9223372036854775097), UINT64_C(6956350873264556283), UINT64_C(13912701746529113638)}, // 2^63-711
    {UINT64_C(9223372036854775073), UINT64_C(5739462781638583825), UINT64_C(11478925563277168564)}, // 2^63-735
    {UINT64_C(9223372036854775057), UINT64_C(8872110676806524041), UINT64_C(17744221353613049526)}, // 2^63-751
    {UINT64_C(9223372036854774959), UINT64_C(7148549630462663219), UINT64_C(14297099260925327754)}, // 2^63-849
    {UINT64_C(9223372036854774937), UINT64_C(3003186813111107351), UINT64_C(6006373626222215269)}, // 2^63-871
    {UINT64_C(9223372036854774917), UINT64_C(5260896248698641442), UINT64_C(10521792497397283900)}, // 2^63-891
    {UINT64_C(9223372036854774893), UINT64_C(7590572072035832988), UINT64_C(15181144144071667482)}, // 2^63-915
    {UINT64_C(9223372036854774797), UINT64_C(1616248814012095237), UINT64_C(3232497628024190828)}, // 2^63-1011
    {UINT64_C(9223372036854774739), UINT64_C(7267892435138671089), UINT64_C(14535784870277343862)}, // 2^63-1069
    {UINT64_C(9223372036854774713), UINT64_C(214166628320147774), UINT64_C(428333256640295598)}, // 2^63-1095
    {UINT64_C(9223372036854774679), UINT64_C(2261756566405897252), UINT64_C(4523513132811795057)}, // 2^63-1129
    {UINT64_C(9223372036854774629), UINT64_C(4347220123995725309), UINT64_C(8694440247991451729)}, // 2^63-1179
    {UINT64_C(9223372036854774587), UINT64_C(8604327271838314), UINT64_C(17208654543676630)}, // 2^63-1221
    {UINT64_C(9223372036854774571), UINT64_C(7328928380263746762), UINT64_C(14657856760527495489)}, // 2^63-1237
    {UINT64_C(9223372036854774559), UINT64_C(6522688220510028595), UINT64_C(13045376441020058956)}, // 2^63-1249
    {UINT64_C(9223372036854774511), UINT64_C(6716644720854626267), UINT64_C(13433289441709254423)}, // 2^63-1297
    {UINT64_C(9223372036854774509), UINT64_C(6716543009471016635), UINT64_C(13433086018942035161)}, // 2^63-1299
    {UINT64_C(9223372036854774499), UINT64_C(1570484544985354275), UINT64_C(3140969089970708995)}, // 2^63-1309
    {UINT64_C(9223372036854774451), UINT64_C(1748029042319259629), UINT64_C(3496058084638519772)}, // 2^63-1357
    {UINT64_C(9223372036854774413), UINT64_C(4708944785791915287), UINT64_C(9417889571583831998)}, // 2^63-1395
    {UINT64_C(9223372036854774341), UINT64_C(315203153258108505), UINT64_C(630406306516217110)}, // 2^63-1467
    {UINT64_C(9223372036854774319), UINT64_C(3898889478973457453), UINT64_C(7797778957946916164)}, // 2^63-1489
    {UINT64_C(9223372036854774307), UINT64_C(6006015865025358958), UINT64_C(12012031730050719870)}, // 2^63-1501
    {UINT64_C(9223372036854774277), UINT64_C(7840514205410933576), UINT64_C(15681028410821869754)}, // 2^63-1531
    {UINT64_C(9223372036854774257), UINT64_C(5145588224778384142), UINT64_C(10291176449556770014)}, // 2^63-1551
    {UINT64_C(9223372036854774247), UINT64_C(1119887550839293453), UINT64_C(2239775101678587285)}, // 2^63-1561
    {UINT64_C(9223372036854774233), UINT64_C(4839033908974840209), UINT64_C(9678067817949682070)}, // 2^63-1575
    {UINT64_C(9223372036854774199), UINT64_C(767069852477850845), UINT64_C(1534139704955701957)}, // 2^63-1609
    {UINT64_C(9223372036854774179), UINT64_C(8138580534072459504), UINT64_C(16277161068144921882)}, // 2^63-1629
    {UINT64_C(9223372036854774173), UINT64_C(5068991516433819722), UINT64_C(10137983032867641241)}, // 2^63-1635
    {UINT64_C(9223372036854774053), UINT64_C(987644432161762606), UINT64_C(1975288864323525587)}, // 2^63-1755
    {UINT64_C(9223372036854773999), UINT64_C(5176250811910213376), UINT64_C(10352501623820428782)}, // 2^63-1809
    {UINT64_C(9223372036854773977), UINT64_C(8326992629867391035), UINT64_C(16653985259734785376)}, // 2^63-1831
    {UINT64_C(9223372036854773953), UINT64_C(5819031809072053073), UINT64_C(11638063618144108486)}, // 2^63-1855
    {UINT64_C(9223372036854773899), UINT64_C(672331748759296830), UINT64_C(1344663497518593938)}, // 2^63-1909
    {UINT64_C(9223372036854773867), UINT64_C(1876031243309774668), UINT64_C(3752062486619550125)}, // 2^63-1941
    {UINT64_C(9223372036854773783), UINT64_C(1523460488053452341), UINT64_C(3046920976106905350)}, // 2^63-2025
    {UINT64_C(9223372036854773639), UINT64_C(87970198249545532), UINT64_C(175940396499091105)}, // 2^63-2169
    {UINT64_C(9223372036854773561), UINT64_C(550016678692540082), UINT64_C(1100033357385080431)}, // 2^63-2247
    {UINT64_C(9223372036854773557), UINT64_C(4390886178712881200), UINT64_C(8781772357425764543)}, // 2^63-2251
    {UINT64_C(9223372036854773519), UINT64_C(165730578229228043), UINT64_C(331461156458456168)}, // 2^63-2289
    {UINT64_C(9223372036854773507), UINT64_C(8526471494673201947), UINT64_C(17052942989346408148)}, // 2^63-2301
    {UINT64_C(9223372036854773489), UINT64_C(4962416918188912537), UINT64_C(9924833836377827569)}, // 2^63-2319
    {UINT64_C(9223372036854773477), UINT64_C(6762433861037563456), UINT64_C(13524867722075130330)}, // 2^63-2331
    {UINT64_C(9223372036854773443), UINT64_C(3044423392123597686), UINT64_C(6088846784247196933)}, // 2^63-2365
    {UINT64_C(9223372036854773429), UINT64_C(4745246025811588), UINT64_C(9490492051623178)}, // 2^63-2379
    {UINT64_C(9223372036854773407), UINT64_C(3702417831439126407), UINT64_C(7404835662878254741)}, // 2^63-2401
    {UINT64_C(9223372036854773353), UINT64_C(1899565270744879435), UINT64_C(3799130541489759881)}, // 2^63-2455
    {UINT64_C(9223372036854773293), UINT64_C(3831679448302738215), UINT64_C(7663358896605478519)}, // 2^63-2515
    {UINT64_C(9223372036854773173), UINT64_C(1715229498612636848), UINT64_C(3430458997225274676)}, // 2^63-2635
    {UINT64_C(9223372036854773069), UINT64_C(7595810067683603947), UINT64_C(15191620135367212405)}, // 2^63-2739
    {UINT64_C(9223372036854773047), UINT64_C(7704460554304989210), UINT64_C(15408921108609983032)}, // 2^63-2761
    {UINT64_C(9223372036854772961), UINT64_C(4395286952719440264), UINT64_C(8790573905438883241)}, // 2^63-2847
    {UINT64_C(9223372036854772957), UINT64_C(7545779284340315121), UINT64_C(15091558568680634906)}, // 2^63-2851
    {UINT64_C(9223372036854772949), UINT64_C(2330842167592266813), UINT64_C(4661684335184535070)}, // 2^63-2859
    {UINT64_C(9223372036854772903), UINT64_C(7899695099288513391), UINT64_C(15799390198577031758)}, // 2^63-2905
    {UINT64_C(9223372036854772847), UINT64_C(3643390324295687206), UINT64_C(7286780648591376751)}, // 2^63-2961
    {UINT64_C(9223372036854772801), UINT64_C(6421381154817779768), UINT64_C(12842762309635563722)}, // 2^63-3007
    {UINT64_C(9223372036854772733), UINT64_C(8724428211890622756), UINT64_C(17448856423781251329)}, // 2^63-3075
    {UINT64_C(9223372036854772681), UINT64_C(2500886670688297991), UINT64_C(5001773341376597677)}, // 2^63-3127
    {UINT64_C(9223372036854772547), UINT64_C(137764494775624802), UINT64_C(275528989551249701)}, // 2^63-3261
    {UINT64_C(9223372036854772469), UINT64_C(1673850260942598736), UINT64_C(3347700521885198683)}, // 2^63-3339
    {UINT64_C(9223372036854772429), UINT64_C(8254637497683366732), UINT64_C(16509274995366739512)}, // 2^63-3379
    {UINT64_C(9223372036854772367), UINT64_C(6868369653173667196), UINT64_C(13736739306347339516)}, // 2^63-3441
    {UINT64_C(9223372036854772289), UINT64_C(5285219209584343171), UINT64_C(10570438419168690374)}, // 2^63-3519
    {UINT64_C(9223372036854772241), UINT64_C(5810943480681095040), UINT64_C(11621886961362194574)}, // 2^63-3567
    {UINT64_C(9223372036854772169), UINT64_C(995477999757234884), UINT64_C(1990955999514470553)}, // 2^63-3639
    {UINT64_C(9223372036854772141), UINT64_C(1799316649911971787), UINT64_C(3598633299823945004)}, // 2^63-3667
    {UINT64_C(9223372036854772061), UINT64_C(8716928324845307807), UINT64_C(17433856649690622696)}, // 2^63-3747
    {UINT64_C(9223372036854772051), UINT64_C(6942312133734918167), UINT64_C(13884624267469841989)}, // 2^63-3757
    {UINT64_C(9223372036854772039), UINT64_C(574422573043548772), UINT64_C(1148845146087098013)}, // 2^63-3769
    {UINT64_C(9223372036854771989), UINT64_C(4137105993521671283), UINT64_C(8274211987043345991)}, // 2^63-3819
    {UINT64_C(9223372036854771977), UINT64_C(687018512284180937), UINT64_C(1374037024568362444)}, // 2^63-3831
    {UINT64_C(9223372036854771973), UINT64_C(1247654365163195699), UINT64_C(2495308730326392435)}, // 2^63-3835
    {UINT64_C(9223372036854771953), UINT64_C(7444786746903086767), UINT64_C(14889573493806179757)}, // 2^63-3855
    {UINT64_C(9223372036854771869), UINT64_C(8323393684076437937), UINT64_C(16646787368152882983)}, // 2^63-3939
    {UINT64_C(9223372036854771841), UINT64_C(4507442302381320654), UINT64_C(9014884604762645185)}, // 2^63-3967
    {UINT64_C(9223372036854771833), UINT64_C(8976032441857130630), UINT64_C(17952064883714268996)}, // 2^63-3975
    {UINT64_C(9223372036854771797), UINT64_C(8109147800243373016), UINT64_C(16218295600486753084)}, // 2^63-4011
    {UINT64_C(9223372036854771749), UINT64_C(5820506437144768920), UINT64_C(11641012874289542962)}, // 2^63-4059
    {UINT64_C(9223372036854771737), UINT64_C(24246564932213607), UINT64_C(48493129864427235)}, // 2^63-4071
    {UINT64_C(9223372036854771727), UINT64_C(3072174341763733315), UINT64_C(6144348683527469348)}, // 2^63-4081
    {UINT64_C(9223372036854771703), UINT64_C(5585610174861676699), UINT64_C(11171220349723358369)}, // 2^63-4105
    {UINT64_C(9223372036854771689), UINT64_C(7300366798616274036), UINT64_C(14600733597232554592)}, // 2^63-4119
    {UINT64_C(9223372036854771673), UINT64_C(9038967037644250542), UINT64_C(18077934075288509188)}, // 2^63-4135
    {UINT64_C(9223372036854771613), UINT64_C(2918035221218362545), UINT64_C(5836070442436727744)}, // 2^63-4195
    {UINT64_C(9223372036854771571), UINT64_C(1766933848054480674), UINT64_C(3533867696108962971)}, // 2^63-4237
    {UINT64_C(9223372036854771569), UINT64_C(333618003036688035), UINT64_C(667236006073376376)}, // 2^63-4239
    {UINT64_C(9223372036854771563), UINT64_C(3385525154481312313), UINT64_C(6771050308962627742)}, // 2^63-4245
    {UINT64_C(9223372036854771559), UINT64_C(1702972813769176851), UINT64_C(3405945627538355271)}, // 2^63-4249
    {UINT64_C(9223372036854771541), UINT64_C(6502287540959226359), UINT64_C(13004575081918458734)}, // 2^63-4267
    {UINT64_C(9223372036854771487), UINT64_C(3744228571874949336), UINT64_C(7488457143749902180)}, // 2^63-4321
    {UINT64_C(9223372036854771457), UINT64_C(1273967101238197229), UINT64_C(2547934202476395659)}, // 2^63-4351
    {UINT64_C(9223372036854771451), UINT64_C(1516021018773990762), UINT64_C(3032042037547982956)}, // 2^63-4357
    {UINT64_C(9223372036854771239), UINT64_C(6195867384518688005), UINT64_C(12391734769037382148)}, // 2^63-4569
    {UINT64_C(9223372036854771227), UINT64_C(5921421105190071967), UINT64_C(11842842210380149816)}, // 2^63-4581
    {UINT64_C(9223372036854771149), UINT64_C(5995104103641611338), UINT64_C(11990208207283228732)}, // 2^63-4659
    {UINT64_C(9223372036854771109), UINT64_C(1262209350041009851), UINT64_C(2524418700082020988)}, // 2^63-4699
    {UINT64_C(9223372036854771071), UINT64_C(5076908625612954744), UINT64_C(10153817251225914702)}, // 2^63-4737
    {UINT64_C(9223372036854771023), UINT64_C(6249141665654183639), UINT64_C(12498283331308373761)}, // 2^63-4785
    {UINT64_C(9223372036854771017), UINT64_C(6443720658441826860), UINT64_C(12887441316883660414)}, // 2^63-4791
    {UINT64_C(9223372036854770939), UINT64_C(4340951463733699459), UINT64_C(8681902927467403501)}, // 2^63-4869
    {UINT64_C(9223372036854770911), UINT64_C(5960406537863156285), UINT64_C(11920813075726318899)}, // 2^63-4897
    {UINT64_C(9223372036854770813), UINT64_C(8226726337690455539), UINT64_C(16453452675380919988)}, // 2^63-4995
    {UINT64_C(9223372036854770749), UINT64_C(4900377140394550708), UINT64_C(9800754280789106791)}, // 2^63-5059
    {UINT64_C(9223372036854770723), UINT64_C(4541439955085527847), UINT64_C(9082879910171060701)}, // 2^63-5085
    {UINT64_C(9223372036854770591), UINT64_C(6078596243850946602), UINT64_C(12157192487701900080)}, // 2^63-5217
    {UINT64_C(9223372036854770569), UINT64_C(367586646044990261), UINT64_C(735173292089980939)}, // 2^63-5239
    {UINT64_C(9223372036854770351), UINT64_C(5720161067349135749), UINT64_C(11440322134698278266)}, // 2^63-5457
    {UINT64_C(9223372036854770321), UINT64_C(2257332940642636998), UINT64_C(4514665881285276681)}, // 2^63-5487
    {UINT64_C(9223372036854770309), UINT64_C(7939413489573388256), UINT64_C(15878826979146785979)}, // 2^63-5499
    {UINT64_C(9223372036854770287), UINT64_C(3394545021269398217), UINT64_C(6789090042538800497)}, // 2^63-5521
    {UINT64_C(9223372036854770203), UINT64_C(5105754284242469181), UINT64_C(10211508568484944567)}, // 2^63-5605
    {UINT64_C(9223372036854770153), UINT64_C(1214998607625584205), UINT64_C(2429997215251169899)}, // 2^63-5655
    {UINT64_C(9223372036854770129), UINT64_C(4085635507828755304), UINT64_C(8171271015657515639)}, // 2^63-5679
    {UINT64_C(9223372036854770027), UINT64_C(4359114941557240825), UINT64_C(8718229883114487114)}, // 2^63-5781
    {UINT64_C(9223372036854769939), UINT64_C(7171518289988452069), UINT64_C(14343036579976913264)}, // 2^63-5869
    {UINT64_C(9223372036854769921), UINT64_C(392469056090191027), UINT64_C(784938112180382555)}, // 2^63-5887
    {UINT64_C(9223372036854769823), UINT64_C(1983315965772790531), UINT64_C(3966631931545583635)}, // 2^63-5985
    {UINT64_C(9223372036854769799), UINT64_C(7238433754922876573), UINT64_C(14476867509845762577)}, // 2^63-6009
    {UINT64_C(9223372036854769763), UINT64_C(3988211835456027773), UINT64_C(7976423670912060773)}, // 2^63-6045
    {UINT64_C(9223372036854769721), UINT64_C(3040151774546523934), UINT64_C(6080303549093051880)}, // 2^63-6087
    {UINT64_C(9223372036854769459), UINT64_C(5821902043012747745), UINT64_C(11643804086025503505)}, // 2^63-6349
    {UINT64_C(9223372036854769421), UINT64_C(5252135767415992688), UINT64_C(10504271534831992649)}, // 2^63-6387
    {UINT64_C(9223372036854769369), UINT64_C(1955039303648215958), UINT64_C(3910078607296434645)}, // 2^63-6439
    {UINT64_C(9223372036854769357), UINT64_C(7136086616654069858), UINT64_C(14272173233308149698)}, // 2^63-6451
    {UINT64_C(9223372036854769331), UINT64_C(6667536852859756510), UINT64_C(13335073705719522384)}, // 2^63-6477
    {UINT64_C(9223372036854769303), UINT64_C(8860710956168672544), UINT64_C(17721421912337357586)}, // 2^63-6505
    {UINT64_C(9223372036854769289), UINT64_C(4965137514362301481), UINT64_C(9930275028724609980)}, // 2^63-6519
    {UINT64_C(9223372036854769249), UINT64_C(2129815423852567906), UINT64_C(4259630847705138841)}, // 2^63-6559
    {UINT64_C(9223372036854769243), UINT64_C(5851241497471322470), UINT64_C(11702482994942653269)}, // 2^63-6565
    {UINT64_C(9223372036854769231), UINT64_C(2789363317638435982), UINT64_C(5578726635276875942)}, // 2^63-6577
    {UINT64_C(9223372036854769163), UINT64_C(3596291417594668241), UINT64_C(7192582835189341663)}, // 2^63-6645
    {UINT64_C(9223372036854769141), UINT64_C(3649340951456556355), UINT64_C(7298681902913117985)}, // 2^63-6667
    {UINT64_C(9223372036854769103), UINT64_C(8414708245863177), UINT64_C(16829416491726366)}, // 2^63-6705
    {UINT64_C(9223372036854769099), UINT64_C(5400939358848633395), UINT64_C(10801878717697274647)}, // 2^63-6709
    {UINT64_C(9223372036854769063), UINT64_C(1914945813669374118), UINT64_C(3829891627338751036)}, // 2^63-6745
    {UINT64_C(9223372036854769061), UINT64_C(8052736870524931508), UINT64_C(16105473741049874797)}, // 2^63-6747
    {UINT64_C(9223372036854769009), UINT64_C(5336427636777850373), UINT64_C(10672855273555708613)}, // 2^63-6799
    {UINT64_C(9223372036854768973), UINT64_C(6556864689981936714), UINT64_C(13113729379963883145)}, // 2^63-6835
    {UINT64_C(9223372036854768967), UINT64_C(2054945479683599992), UINT64_C(4109890959367203032)}, // 2^63-6841
    {UINT64_C(9223372036854768841), UINT64_C(4402148118473541179), UINT64_C(8804296236947089008)}, // 2^63-6967
    {UINT64_C(9223372036854768823), UINT64_C(8777410933455954840), UINT64_C(17554821866911922974)}, // 2^63-6985
    {UINT64_C(9223372036854768773), UINT64_C(7388898914997933126), UINT64_C(14777797829995877523)}, // 2^63-7035
    {UINT64_C(9223372036854768743), UINT64_C(2945017113538208297), UINT64_C(5890034227076421105)}, // 2^63-7065
    {UINT64_C(9223372036854768679), UINT64_C(8544654179771571232), UINT64_C(17089308359543155672)}, // 2^63-7129
    {UINT64_C(9223372036854768539), UINT64_C(429439754492933796), UINT64_C(858879508985868268)}, // 2^63-7269
    {UINT64_C(9223372036854768509), UINT64_C(3762381084231679688), UINT64_C(7524762168463365330)}, // 2^63-7299
    {UINT64_C(9223372036854768497), UINT64_C(8333255379388937852), UINT64_C(16666510758777888914)}, // 2^63-7311
    {UINT64_C(9223372036854768467), UINT64_C(1207703925282847937), UINT64_C(2415407850565697796)}, // 2^63-7341
    {UINT64_C(9223372036854768451), UINT64_C(4016063143773040271), UINT64_C(8032126287546086948)}, // 2^63-7357
    {UINT64_C(9223372036854768427), UINT64_C(85848399591197431), UINT64_C(171696799182394999)}, // 2^63-7381
    {UINT64_C(9223372036854768347), UINT64_C(5814726631053589024), UINT64_C(11629453262107187455)}, // 2^63-7461
    {UINT64_C(9223372036854768337), UINT64_C(2685778378986125862), UINT64_C(5371556757972256075)}, // 2^63-7471
    {UINT64_C(9223372036854768269), UINT64_C(7947467971163751200), UINT64_C(15894935942327515392)}, // 2^63-7539
    {UINT64_C(9223372036854768157), UINT64_C(7420061668931070590), UINT64_C(14840123337862153490)}, // 2^63-7651
    {UINT64_C(9223372036854768101), UINT64_C(3776055440428838441), UINT64_C(7552110880857683192)}, // 2^63-7707
    {UINT64_C(9223372036854768083), UINT64_C(1171460522919116234), UINT64_C(2342921045838234430)}, // 2^63-7725
    {UINT64_C(9223372036854767971), UINT64_C(4035915562766399982), UINT64_C(8071831125532806822)}, // 2^63-7837
    {UINT64_C(9223372036854767881), UINT64_C(6659575478366743105), UINT64_C(13319150956733497657)}, // 2^63-7927
    {UINT64_C(9223372036854767839), UINT64_C(4417971308833951612), UINT64_C(8835942617667910858)}, // 2^63-7969
    {UINT64_C(9223372036854767819), UINT64_C(5216872753721414088), UINT64_C(10433745507442837213)}, // 2^63-7989
    {UINT64_C(9223372036854767713), UINT64_C(6485135675288180082), UINT64_C(12970271350576371547)}, // 2^63-8095
    {UINT64_C(9223372036854767633), UINT64_C(4985140355215461559), UINT64_C(9970280710430931955)}, // 2^63-8175
    {UINT64_C(9223372036854767609), UINT64_C(5762220227512847547), UINT64_C(11524440455025705338)}, // 2^63-8199
    {UINT64_C(9223372036854767509), UINT64_C(8924428418933053755), UINT64_C(17848856837866123570)}, // 2^63-8299
    {UINT64_C(9223372036854767483), UINT64_C(7236898292303200601), UINT64_C(14473796584606414266)}, // 2^63-8325
    {UINT64_C(9223372036854767383), UINT64_C(8311446449231772895), UINT64_C(16622892898463560974)}, // 2^63-8425
    {UINT64_C(9223372036854767371), UINT64_C(991225193668211410), UINT64_C(1982450387336424633)}, // 2^63-8437
    {UINT64_C(9223372036854767293), UINT64_C(204386192347759213), UINT64_C(408772384695518803)}, // 2^63-8515
    {UINT64_C(9223372036854767237), UINT64_C(4745881163445654452), UINT64_C(9491762326891317724)}, // 2^63-8571
    {UINT64_C(9223372036854767161), UINT64_C(1891643174014861855), UINT64_C(3783286348029727256)}, // 2^63-8647
    {UINT64_C(9223372036854767131), UINT64_C(5696401809503339801), UINT64_C(11392803619006690319)}, // 2^63-8677
    {UINT64_C(9223372036854767087), UINT64_C(4315959569413735280), UINT64_C(8631919138827478721)}, // 2^63-8721
    {UINT64_C(9223372036854767083), UINT64_C(2145013507669863274), UINT64_C(4290027015339730606)}, // 2^63-8725
    {UINT64_C(9223372036854767021), UINT64_C(5617141040647841521), UINT64_C(11234282081295693744)}, // 2^63-8787
    {UINT64_C(9223372036854766969), UINT64_C(5797719677237461695), UINT64_C(11595439354474934502)}, // 2^63-8839
    {UINT64_C(9223372036854766963), UINT64_C(5625053597672002580), UINT64_C(11250107195344015948)}, // 2^63-8845
    {UINT64_C(9223372036854766943), UINT64_C(4645648582224465040), UINT64_C(9291297164448939010)}, // 2^63-8865
    {UINT64_C(9223372036854766859), UINT64_C(7144967632536667897), UINT64_C(14289935265073349658)}, // 2^63-8949
    {UINT64_C(9223372036854766787), UINT64_C(4063910421066559606), UINT64_C(8127820842133127161)}, // 2^63-9021
    {UINT64_C(9223372036854766771), UINT64_C(1353072209429524677), UINT64_C(2706144418859052005)}, // 2^63-9037
    {UINT64_C(9223372036854766751), UINT64_C(6082001386953090663), UINT64_C(12164002773906193270)}, // 2^63-9057
    {UINT64_C(9223372036854766541), UINT64_C(8033084679461007339), UINT64_C(16066169358922030820)}, // 2^63-9267
    {UINT64_C(9223372036854766387), UINT64_C(1512683442792646346), UINT64_C(3025366885585295782)}, // 2^63-9421
    {UINT64_C(9223372036854766379), UINT64_C(8312922907297751473), UINT64_C(16625845814595519942)}, // 2^63-9429
    {UINT64_C(9223372036854766321), UINT64_C(9044912067834506825), UINT64_C(18089824135669032256)}, // 2^63-9487
    {UINT64_C(9223372036854766261), UINT64_C(4166010067808879788), UINT64_C(8332020135617768200)}, // 2^63-9547
    {UINT64_C(9223372036854766243), UINT64_C(5191899842910456545), UINT64_C(10383799685820923858)}, // 2^63-9565
    {UINT64_C(9223372036854766199), UINT64_C(8532008125729665517), UINT64_C(17064016251459348811)}, // 2^63-9609
    {UINT64_C(9223372036854766169), UINT64_C(3145855288112416038), UINT64_C(6291710576224838651)}, // 2^63-9639
    {UINT64_C(9223372036854766129), UINT64_C(866536801216429545), UINT64_C(1733073602432860908)}, // 2^63-9679
    {UINT64_C(9223372036854766061), UINT64_C(5885489739503942065), UINT64_C(11770979479007896569)}, // 2^63-9747
    {UINT64_C(9223372036854766033), UINT64_C(2984404824997663700), UINT64_C(5968809649995333725)}, // 2^63-9775
    {UINT64_C(9223372036854766031), UINT64_C(7702253484574517246), UINT64_C(15404506969149050821)}, // 2^63-9777
    {UINT64_C(9223372036854766013), UINT64_C(8924668915502236835), UINT64_C(17849337831004492625)}, // 2^63-9795
    {UINT64_C(9223372036854766009), UINT64_C(2762188088625888552), UINT64_C(5524376177251782973)}, // 2^63-9799
    {UINT64_C(9223372036854765941), UINT64_C(6680438141705849870), UINT64_C(13360876283411714033)}, // 2^63-9867
    {UINT64_C(9223372036854765827), UINT64_C(5127941937226868719), UINT64_C(10255883874453748536)}, // 2^63-9981
    {UINT64_C(9223372036854765809), UINT64_C(1061000143683562870), UINT64_C(2122000287367128040)}, // 2^63-9999
    {UINT64_C(9223372036854765793), UINT64_C(1888934645931126727), UINT64_C(3777869291862257556)}, // 2^63-10015
    {UINT64_C(9223372036854765773), UINT64_C(5678032310752056505), UINT64_C(11356064621504125365)}, // 2^63-10035
    {UINT64_C(9223372036854765767), UINT64_C(7659186090488290888), UINT64_C(15318372180976598452)}, // 2^63-10041
    {UINT64_C(9223372036854765707), UINT64_C(6530676793174772178), UINT64_C(13061353586349558660)}, // 2^63-10101
    {UINT64_C(9223372036854765571), UINT64_C(7882446440653622053), UINT64_C(15764892881307261603)}, // 2^63-10237
    {UINT64_C(9223372036854765557), UINT64_C(2000556553440492579), UINT64_C(4001113106880989604)}, // 2^63-10251
    {UINT64_C(9223372036854765523), UINT64_C(3365615399605581258), UINT64_C(6731230799211170022)}, // 2^63-10285
    {UINT64_C(9223372036854765521), UINT64_C(1055011024851400935), UINT64_C(2110022049702804223)}, // 2^63-10287
    {UINT64_C(9223372036854765487), UINT64_C(6640747401346212469), UINT64_C(13281494802692439800)}, // 2^63-10321
    {UINT64_C(9223372036854765373), UINT64_C(5415383110431701022), UINT64_C(10830766220863414297)}, // 2^63-10435
    {UINT64_C(9223372036854765343), UINT64_C(274438263651644167), UINT64_C(548876527303288956)}, // 2^63-10465
    {UINT64_C(9223372036854765323), UINT64_C(362671732478541829), UINT64_C(725343464957084482)}, // 2^63-10485
    {UINT64_C(9223372036854765319), UINT64_C(2799498125198513130), UINT64_C(5598996250397032627)}, // 2^63-10489
    {UINT64_C(9223372036854765299), UINT64_C(3714106336278556501), UINT64_C(7428212672557121465)}, // 2^63-10509
    {UINT64_C(9223372036854765173), UINT64_C(6385675553261267236), UINT64_C(12771351106522549197)}, // 2^63-10635
    {UINT64_C(9223372036854765143), UINT64_C(8343928501741486351), UINT64_C(16687857003482991998)}, // 2^63-10665
    {UINT64_C(9223372036854765091), UINT64_C(5715753632886148273), UINT64_C(11431507265772309828)}, // 2^63-10717
    {UINT64_C(9223372036854765019), UINT64_C(2398560892872232442), UINT64_C(4797121785744470495)}, // 2^63-10789
    {UINT64_C(9223372036854765001), UINT64_C(2474588048768881058), UINT64_C(4949176097537767914)}, // 2^63-10807
    {UINT64_C(9223372036854764947), UINT64_C(5897710063292038801), UINT64_C(11795420126584091491)}, // 2^63-10861
    {UINT64_C(9223372036854764923), UINT64_C(8512667371872195998), UINT64_C(17025334743744412088)}, // 2^63-10885
    {UINT64_C(9223372036854764891), UINT64_C(1819889945149234310), UINT64_C(3639779890298472928)}, // 2^63-10917
    {UINT64_C(9223372036854764843), UINT64_C(7363017241378842634), UINT64_C(14726034482757702774)}, // 2^63-10965
    {UINT64_C(9223372036854764753), UINT64_C(4042061778055688342), UINT64_C(8084123556111386373)}, // 2^63-11055
    {UINT64_C(9223372036854764693), UINT64_C(7168546005561107231), UINT64_C(14337092011122231739)}, // 2^63-11115
    {UINT64_C(9223372036854764687), UINT64_C(8504343891055384401), UINT64_C(17008687782110789310)}, // 2^63-11121
    {UINT64_C(9223372036854764639), UINT64_C(7203735227605393240), UINT64_C(14407470455210803926)}, // 2^63-11169
    {UINT64_C(9223372036854764623), UINT64_C(8503322615803183751), UINT64_C(17006645231606388125)}, // 2^63-11185
    {UINT64_C(9223372036854764617), UINT64_C(8207266170989264687), UINT64_C(16414532341978549290)}, // 2^63-11191
    {UINT64_C(9223372036854764597), UINT64_C(8443508803561180723), UINT64_C(16887017607122381972)}, // 2^63-11211
    {UINT64_C(9223372036854764557), UINT64_C(2958115907890076896), UINT64_C(5916231815780161008)}, // 2^63-11251
    {UINT64_C(9223372036854764549), UINT64_C(2633417665842889037), UINT64_C(5266835331685784503)}, // 2^63-11259
    {UINT64_C(9223372036854764513), UINT64_C(5881357762608109255), UINT64_C(11762715525216232914)}, // 2^63-11295
    {UINT64_C(9223372036854764501), UINT64_C(27308893783039393), UINT64_C(54617787566078852)}, // 2^63-11307
    {UINT64_C(9223372036854764471), UINT64_C(834907912090051391), UINT64_C(1669815824180104834)}, // 2^63-11337
    {UINT64_C(9223372036854764417), UINT64_C(6669327448733625647), UINT64_C(13338654897467267767)}, // 2^63-11391
    {UINT64_C(9223372036854764401), UINT64_C(1667457201463396395), UINT64_C(3334914402926796914)}, // 2^63-11407
    {UINT64_C(9223372036854764317), UINT64_C(8774672640354406320), UINT64_C(17549345280708834503)}, // 2^63-11491
    {UINT64_C(9223372036854764287), UINT64_C(5851873830871940077), UINT64_C(11703747661743894773)}, // 2^63-11521
    {UINT64_C(9223372036854764251), UINT64_C(6860807289948658051), UINT64_C(13721614579897333295)}, // 2^63-11557
    {UINT64_C(9223372036854764233), UINT64_C(5119228239662945244), UINT64_C(10238456479325903336)}, // 2^63-11575
    {UINT64_C(9223372036854764083), UINT64_C(2248037347309358583), UINT64_C(4496074694618722881)}, // 2^63-11725
    {UINT64_C(9223372036854764057), UINT64_C(559862020453968050), UINT64_C(1119724040907937526)}, // 2^63-11751
    {UINT64_C(9223372036854764023), UINT64_C(6030049271981793933), UINT64_C(12060098543963603275)}, // 2^63-11785
    {UINT64_C(9223372036854764011), UINT64_C(3424259493403255828), UINT64_C(6848518986806520415)}, // 2^63-11797
    {UINT64_C(9223372036854763939), UINT64_C(6936330118427891857), UINT64_C(13872660236855801565)}, // 2^63-11869
    {UINT64_C(9223372036854763913), UINT64_C(3161079646020880529), UINT64_C(6322159292041769211)}, // 2^63-11895
    {UINT64_C(9223372036854763847), UINT64_C(8413013488790306785), UINT64_C(16826026977580635390)}, // 2^63-11961
    {UINT64_C(9223372036854763813), UINT64_C(7950525392651984065), UINT64_C(15901050785303988809)}, // 2^63-11995
    {UINT64_C(9223372036854763807), UINT64_C(7058092513475440714), UINT64_C(14116185026950899795)}, // 2^63-12001
    {UINT64_C(9223372036854763717), UINT64_C(7438504461855164208), UINT64_C(14877008923710347918)}, // 2^63-12091
    {UINT64_C(9223372036854763651), UINT64_C(7046912963665739559), UINT64_C(14093825927331497694)}, // 2^63-12157
    {UINT64_C(9223372036854763621), UINT64_C(7494334235969051817), UINT64_C(14988668471938123438)}, // 2^63-12187
    {UINT64_C(9223372036854763583), UINT64_C(8360631021762954873), UINT64_C(16721262043525931908)}, // 2^63-12225
    {UINT64_C(9223372036854763499), UINT64_C(8556374349331667848), UINT64_C(17112748698663358533)}, // 2^63-12309
    {UINT64_C(9223372036854763453), UINT64_C(7176685517333485835), UINT64_C(14353371034666990896)}, // 2^63-12355
    {UINT64_C(9223372036854763393), UINT64_C(2209763969847742736), UINT64_C(4419527939695491420)}, // 2^63-12415
    {UINT64_C(9223372036854763373), UINT64_C(6904965995602163894), UINT64_C(13809931991204346406)}, // 2^63-12435
    {UINT64_C(9223372036854763283), UINT64_C(50468406775859170), UINT64_C(100936813551718477)}, // 2^63-12525
    {UINT64_C(9223372036854763153), UINT64_C(5546047361736719508), UINT64_C(11092094723473454234)}, // 2^63-12655
    {UINT64_C(9223372036854763127), UINT64_C(6331566216372020041), UINT64_C(12663132432744057492)}, // 2^63-12681
    {UINT64_C(9223372036854763057), UINT64_C(2565078653440874320), UINT64_C(5130157306881755732)}, // 2^63-12751
    {UINT64_C(9223372036854763027), UINT64_C(8466377413457157661), UINT64_C(16932754826914338786)}, // 2^63-12781
    {UINT64_C(9223372036854763013), UINT64_C(5368054285336336440), UINT64_C(10736108570672687773)}, // 2^63-12795
    {UINT64_C(9223372036854762799), UINT64_C(90315004170614654), UINT64_C(180630008341229562)}, // 2^63-13009
    {UINT64_C(9223372036854762779), UINT64_C(8247306227435684122), UINT64_C(16494612454871391544)}, // 2^63-13029
    {UINT64_C(9223372036854762757), UINT64_C(847969845824091281), UINT64_C(1695939691648184961)}, // 2^63-13051
    {UINT64_C(9223372036854762713), UINT64_C(4507686099887057739), UINT64_C(9015372199774128277)}, // 2^63-13095
    {UINT64_C(9223372036854762673), UINT64_C(6255882976833989994), UINT64_C(12511765953667997806)}, // 2^63-13135
    {UINT64_C(9223372036854762643), UINT64_C(5949470203388452184), UINT64_C(11898940406776921351)}, // 2^63-13165
    {UINT64_C(9223372036854762551), UINT64_C(181251709305114200), UINT64_C(362503418610228921)}, // 2^63-13257
    {UINT64_C(9223372036854762529), UINT64_C(813119401679554590), UINT64_C(1626238803359111521)}, // 2^63-13279
    {UINT64_C(9223372036854762481), UINT64_C(5194842013509372313), UINT64_C(10389684027018759638)}, // 2^63-13327
    {UINT64_C(9223372036854762467), UINT64_C(2519494878222206835), UINT64_C(5038989756444420958)}, // 2^63-13341
    {UINT64_C(9223372036854762463), UINT64_C(731119428289984390), UINT64_C(1462238856579970895)}, // 2^63-13345
    {UINT64_C(9223372036854762461), UINT64_C(471212635976708971), UINT64_C(942425271953419305)}, // 2^63-13347
    {UINT64_C(9223372036854762407), UINT64_C(2800143512773488765), UINT64_C(5600287025546985666)}, // 2^63-13401
    {UINT64_C(9223372036854762179), UINT64_C(7644032844627529543), UINT64_C(15288065689255081676)}, // 2^63-13629
    {UINT64_C(9223372036854762121), UINT64_C(1700319079361395702), UINT64_C(3400638158722796450)}, // 2^63-13687
    {UINT64_C(9223372036854762119), UINT64_C(6154907094745613982), UINT64_C(12309814189491246233)}, // 2^63-13689
    {UINT64_C(9223372036854762109), UINT64_C(2508821258906754449), UINT64_C(5017642517813516350)}, // 2^63-13699
    {UINT64_C(9223372036854762071), UINT64_C(4717986896907673827), UINT64_C(9435973793815361707)}, // 2^63-13737
    {UINT64_C(9223372036854762023), UINT64_C(2048252746452900531), UINT64_C(4096505492905807184)}, // 2^63-13785
    {UINT64_C(9223372036854762011), UINT64_C(6425766596827983190), UINT64_C(12851533193655985604)}, // 2^63-13797
    {UINT64_C(9223372036854761923), UINT64_C(3616635577807151539), UINT64_C(7233271155614313967)}, // 2^63-13885
    {UINT64_C(9223372036854761869), UINT64_C(7746505858466056858), UINT64_C(15493011716932137130)}, // 2^63-13939
    {UINT64_C(9223372036854761857), UINT64_C(784883115716979089), UINT64_C(1569766231433960552)}, // 2^63-13951
    {UINT64_C(9223372036854761827), UINT64_C(5943756984240266710), UINT64_C(11887513968480551439)}, // 2^63-13981
    {UINT64_C(9223372036854761809), UINT64_C(6919754186938791363), UINT64_C(13839508373877603731)}, // 2^63-13999
    {UINT64_C(9223372036854761777), UINT64_C(5196817854061548956), UINT64_C(10393635708123113723)}, // 2^63-14031
    {UINT64_C(9223372036854761741), UINT64_C(3222281259349545047), UINT64_C(6444562518699099922)}, // 2^63-14067
    {UINT64_C(9223372036854761701), UINT64_C(5711517518310639829), UINT64_C(11423035036621297129)}, // 2^63-14107
    {UINT64_C(9223372036854761651), UINT64_C(7648637721124084017), UINT64_C(15297275442248191513)}, // 2^63-14157
    {UINT64_C(9223372036854761561), UINT64_C(374756025797195759), UINT64_C(749512051594392675)}, // 2^63-14247
    {UINT64_C(9223372036854761551), UINT64_C(7140825392436204527), UINT64_C(14281650784872431129)}, // 2^63-14257
    {UINT64_C(9223372036854761419), UINT64_C(6140958918586183595), UINT64_C(12281917837172386350)}, // 2^63-14389
    {UINT64_C(9223372036854761389), UINT64_C(4074078736616627542), UINT64_C(8148157473233267822)}, // 2^63-14419
    {UINT64_C(9223372036854761377), UINT64_C(1134627837019786150), UINT64_C(2269255674039575850)}, // 2^63-14431
    {UINT64_C(9223372036854761239), UINT64_C(5235316257520197374), UINT64_C(10470632515040411287)}, // 2^63-14569
    {UINT64_C(9223372036854761237), UINT64_C(1646205261049068130), UINT64_C(3292410522098141461)}, // 2^63-14571
    {UINT64_C(9223372036854761231), UINT64_C(6913332390224572879), UINT64_C(13826664780449167610)}, // 2^63-14577
    {UINT64_C(9223372036854761197), UINT64_C(6802250296959852989), UINT64_C(13604500593919727529)}, // 2^63-14611
    {UINT64_C(9223372036854761129), UINT64_C(8750720339606191115), UINT64_C(17501440679212410083)}, // 2^63-14679
    {UINT64_C(9223372036854761057), UINT64_C(5022293126554104734), UINT64_C(10044586253108225532)}, // 2^63-14751
    {UINT64_C(9223372036854761053), UINT64_C(5217775206214830294), UINT64_C(10435550412429677282)}, // 2^63-14755
    {UINT64_C(9223372036854761047), UINT64_C(1945283494472797416), UINT64_C(3890566988945601058)}, // 2^63-14761
    {UINT64_C(9223372036854761033), UINT64_C(2945932084760695548), UINT64_C(5891864169521400534)}, // 2^63-14775
    {UINT64_C(9223372036854761029), UINT64_C(3796612406681995039), UINT64_C(7593224813364002244)}, // 2^63-14779
    {UINT64_C(9223372036854760969), UINT64_C(4457743504243448631), UINT64_C(8915487008486911605)}, // 2^63-14839
    {UINT64_C(9223372036854760949), UINT64_C(2573125912353579797), UINT64_C(5146251824707167884)}, // 2^63-14859
    {UINT64_C(9223372036854760937), UINT64_C(3679088377305260470), UINT64_C(7358176754610532803)}, // 2^63-14871
    {UINT64_C(9223372036854760789), UINT64_C(6840144794776372343), UINT64_C(13680289589552766962)}, // 2^63-15019
    {UINT64_C(9223372036854760679), UINT64_C(6468427404786084203), UINT64_C(12936854809572189626)}, // 2^63-15129
    {UINT64_C(9223372036854760643), UINT64_C(7512000633374777943), UINT64_C(15024001266749580588)}, // 2^63-15165
    {UINT64_C(9223372036854760637), UINT64_C(694264261900133587), UINT64_C(1388528523800269457)}, // 2^63-15171
    {UINT64_C(9223372036854760523), UINT64_C(7372393833411831832), UINT64_C(14744787666823688099)}, // 2^63-15285
    {UINT64_C(9223372036854760493), UINT64_C(6620271972210286437), UINT64_C(13240543944420594859)}, // 2^63-15315
    {UINT64_C(9223372036854760471), UINT64_C(7918754192450561750), UINT64_C(15837508384901149835)}, // 2^63-15337
    {UINT64_C(9223372036854760361), UINT64_C(2401191794392166263), UINT64_C(4802383588784340568)}, // 2^63-15447
    {UINT64_C(9223372036854760319), UINT64_C(278064113074687464), UINT64_C(556128226149375861)}, // 2^63-15489
    {UINT64_C(9223372036854760249), UINT64_C(2644358796099498675), UINT64_C(5288717592199006271)}, // 2^63-15559
    {UINT64_C(9223372036854760201), UINT64_C(148759487142670001), UINT64_C(297518974285340505)}, // 2^63-15607
    {UINT64_C(9223372036854760117), UINT64_C(5160579461138719213), UINT64_C(10321158922277455984)}, // 2^63-15691
    {UINT64_C(9223372036854760069), UINT64_C(4348164439125405136), UINT64_C(8696328878250825111)}, // 2^63-15739
    {UINT64_C(9223372036854760013), UINT64_C(5486186290118846535), UINT64_C(10972372580237711860)}, // 2^63-15795
    {UINT64_C(9223372036854760009), UINT64_C(5528513766229843198), UINT64_C(11057027532459705335)}, // 2^63-15799
    {UINT64_C(9223372036854759947), UINT64_C(5584855796393626383), UINT64_C(11169711592787271974)}, // 2^63-15861
    {UINT64_C(9223372036854759923), UINT64_C(6100438163012130042), UINT64_C(12200876326024281097)}, // 2^63-15885
    {UINT64_C(9223372036854759907), UINT64_C(6706025056223959903), UINT64_C(13412050112447942928)}, // 2^63-15901
    {UINT64_C(9223372036854759809), UINT64_C(8028006198764438948), UINT64_C(16056012397528905747)}, // 2^63-15999
    {UINT64_C(9223372036854759779), UINT64_C(7219716191342263814), UINT64_C(14439432382684552721)}, // 2^63-16029
    {UINT64_C(9223372036854759761), UINT64_C(4119759887672295239), UINT64_C(8239519775344604813)}, // 2^63-16047
    {UINT64_C(9223372036854759743), UINT64_C(6185024604526488804), UINT64_C(12370049209052999153)}, // 2^63-16065
    {UINT64_C(9223372036854759739), UINT64_C(6435881056350694327), UINT64_C(12871762112701411079)}, // 2^63-16069
    {UINT64_C(9223372036854759709), UINT64_C(2363529192676013173), UINT64_C(4727058385352034596)}, // 2^63-16099
    {UINT64_C(9223372036854759533), UINT64_C(7755795647411643990), UINT64_C(15511591294823315350)}, // 2^63-16275
    {UINT64_C(9223372036854759529), UINT64_C(5543349918875477165), UINT64_C(11086699837750973897)}, // 2^63-16279
    {UINT64_C(9223372036854759491), UINT64_C(8010734962749587616), UINT64_C(16021469925499203575)}, // 2^63-16317
    {UINT64_C(9223372036854759449), UINT64_C(1925155932349992029), UINT64_C(3850311864699990887)}, // 2^63-16359
    {UINT64_C(9223372036854759437), UINT64_C(94086679770119568), UINT64_C(188173359540239469)}, // 2^63-16371
    {UINT64_C(9223372036854759389), UINT64_C(1640774774992519930), UINT64_C(3281549549985045701)}, // 2^63-16419
    {UINT64_C(9223372036854759379), UINT64_C(2614422765750711249), UINT64_C(5228845531501431811)}, // 2^63-16429
    {UINT64_C(9223372036854759299), UINT64_C(4356175982346739320), UINT64_C(8712351964693494234)}, // 2^63-16509
    {UINT64_C(9223372036854759209), UINT64_C(741196726652452486), UINT64_C(1482393453304907639)}, // 2^63-16599
    {UINT64_C(9223372036854759169), UINT64_C(5040658673274474350), UINT64_C(10081317346548966886)}, // 2^63-16639
    {UINT64_C(9223372036854759149), UINT64_C(3651680992250549428), UINT64_C(7303361984501112047)}, // 2^63-16659
    {UINT64_C(9223372036854759109), UINT64_C(5686244248254257295), UINT64_C(11372488496508535179)}, // 2^63-16699
    {UINT64_C(9223372036854759101), UINT64_C(3449153544781853624), UINT64_C(6898307089563719743)}, // 2^63-16707
    {UINT64_C(9223372036854759059), UINT64_C(4063060846853415779), UINT64_C(8126121693706846314)}, // 2^63-16749
    {UINT64_C(9223372036854759019), UINT64_C(4441853142989793561), UINT64_C(8883706285979603292)}, // 2^63-16789
    {UINT64_C(9223372036854758977), UINT64_C(3547331743340476170), UINT64_C(7094663486680965286)}, // 2^63-16831
    {UINT64_C(9223372036854758933), UINT64_C(3520629617705507798), UINT64_C(7041259235411028478)}, // 2^63-16875
    {UINT64_C(9223372036854758921), UINT64_C(8763224606482948214), UINT64_C(17526449212965928517)}, // 2^63-16887
    {UINT64_C(9223372036854758891), UINT64_C(1780978968160532456), UINT64_C(3561957936321071445)}, // 2^63-16917
    {UINT64_C(9223372036854758869), UINT64_C(5957854079865973788), UINT64_C(11915708159731969459)}, // 2^63-16939
    {UINT64_C(9223372036854758857), UINT64_C(4412531806140494891), UINT64_C(8825063612281006000)}, // 2^63-16951
    {UINT64_C(9223372036854758801), UINT64_C(7922531049648303749), UINT64_C(15845062099296636714)}, // 2^63-17007
    {UINT64_C(9223372036854758753), UINT64_C(5079146365828729602), UINT64_C(10158292731657477987)}, // 2^63-17055
    {UINT64_C(9223372036854758689), UINT64_C(977659177558181716), UINT64_C(1955318355116367061)}, // 2^63-17119
    {UINT64_C(9223372036854758687), UINT64_C(8559140277923745464), UINT64_C(17118280555847522704)}, // 2^63-17121
    {UINT64_C(9223372036854758623), UINT64_C(8436154113209147378), UINT64_C(16872308226418326192)}, // 2^63-17185
    {UINT64_C(9223372036854758581), UINT64_C(642128012700323277), UINT64_C(1284256025400648952)}, // 2^63-17227
    {UINT64_C(9223372036854758567), UINT64_C(1611829334369657633), UINT64_C(3223658668739321291)}, // 2^63-17241
    {UINT64_C(9223372036854758401), UINT64_C(3191001459918776119), UINT64_C(6382002919837564282)}, // 2^63-17407
    {UINT64_C(9223372036854758399), UINT64_C(5336138959928909261), UINT64_C(10672277919857838665)}, // 2^63-17409
    {UINT64_C(9223372036854758389), UINT64_C(5472573629214007905), UINT64_C(10945147258428036480)}, // 2^63-17419
    {UINT64_C(9223372036854758381), UINT64_C(7960305989460534790), UINT64_C(15920611978921099661)}, // 2^63-17427
    {UINT64_C(9223372036854758327), UINT64_C(9039235339238163880), UINT64_C(18078470678476362024)}, // 2^63-17481
    {UINT64_C(9223372036854758317), UINT64_C(3667209379777981170), UINT64_C(7334418759555976248)}, // 2^63-17491
    {UINT64_C(9223372036854758249), UINT64_C(1509925173070126966), UINT64_C(3019850346140259681)}, // 2^63-17559
    {UINT64_C(9223372036854758243), UINT64_C(6692853935003174116), UINT64_C(13385707870006373723)}, // 2^63-17565
    {UINT64_C(9223372036854758213), UINT64_C(414167086276666797), UINT64_C(828334172553335174)}, // 2^63-17595
    {UINT64_C(9223372036854758137), UINT64_C(3972399535784782731), UINT64_C(7944799071569580683)}, // 2^63-17671
    {UINT64_C(9223372036854758021), UINT64_C(49125883295407938), UINT64_C(98251766590816065)}, // 2^63-17787
    {UINT64_C(9223372036854757997), UINT64_C(35628905547439505), UINT64_C(71257811094879147)}, // 2^63-17811
    {UINT64_C(9223372036854757979), UINT64_C(8343200125839874703), UINT64_C(16686400251679781661)}, // 2^63-17829
    {UINT64_C(9223372036854757919), UINT64_C(8790743462603662362), UINT64_C(17581486925207358823)}, // 2^63-17889
    {UINT64_C(9223372036854757909), UINT64_C(7884700369759911355), UINT64_C(15769400739519853312)}, // 2^63-17899
    {UINT64_C(9223372036854757777), UINT64_C(602121686270915617), UINT64_C(1204243372541833588)}, // 2^63-18031
    {UINT64_C(9223372036854757757), UINT64_C(6986890368019391524), UINT64_C(13973780736038810395)}, // 2^63-18051
    {UINT64_C(9223372036854757723), UINT64_C(7168117363747787081), UINT64_C(14336234727495602272)}, // 2^63-18085
    {UINT64_C(9223372036854757693), UINT64_C(7928787915118441416), UINT64_C(15857575830236913976)}, // 2^63-18115
    {UINT64_C(9223372036854757619), UINT64_C(6121049478775474443), UINT64_C(12242098957550973028)}, // 2^63-18189
    {UINT64_C(9223372036854757591), UINT64_C(2005766069593279587), UINT64_C(4011532139186567097)}, // 2^63-18217
    {UINT64_C(9223372036854757567), UINT64_C(8573202511101904864), UINT64_C(17146405022203843638)}, // 2^63-18241
    {UINT64_C(9223372036854757559), UINT64_C(7427832828888660034), UINT64_C(14855665657777349460)}, // 2^63-18249
    {UINT64_C(9223372036854757553), UINT64_C(387696465520751339), UINT64_C(775392931041504212)}, // 2^63-18255
    {UINT64_C(9223372036854757423), UINT64_C(7922969225513584405), UINT64_C(15845938451027200395)}, // 2^63-18385
    {UINT64_C(9223372036854757421), UINT64_C(5952646086155309415), UINT64_C(11905292172310642563)}, // 2^63-18387
    {UINT64_C(9223372036854757387), UINT64_C(7015651748069711920), UINT64_C(14031303496139451863)}, // 2^63-18421
    {UINT64_C(9223372036854757367), UINT64_C(8054155017914518667), UINT64_C(16108310035829069540)}, // 2^63-18441
    {UINT64_C(9223372036854757351), UINT64_C(6294030996740124302), UINT64_C(12588061993480273794)}, // 2^63-18457
    {UINT64_C(9223372036854757321), UINT64_C(357704554821213156), UINT64_C(715409109642427745)}, // 2^63-18487
    {UINT64_C(9223372036854757193), UINT64_C(2748893663662378937), UINT64_C(5497787327324768969)}, // 2^63-18615
    {UINT64_C(9223372036854757181), UINT64_C(7899101524051611803), UINT64_C(15798203048103255511)}, // 2^63-18627
    {UINT64_C(9223372036854757153), UINT64_C(3007770392615838180), UINT64_C(6015540785231688526)}, // 2^63-18655
    {UINT64_C(9223372036854757127), UINT64_C(2404994674634586127), UINT64_C(4809989349269181996)}, // 2^63-18681
    {UINT64_C(9223372036854757109), UINT64_C(2534690258334940011), UINT64_C(5069380516669890299)}, // 2^63-18699
    {UINT64_C(9223372036854757069), UINT64_C(364859243340645115), UINT64_C(729718486681291712)}, // 2^63-18739
    {UINT64_C(9223372036854757057), UINT64_C(8097628487768052727), UINT64_C(16195256975536138378)}, // 2^63-18751
    {UINT64_C(9223372036854757049), UINT64_C(2439777205375062718), UINT64_C(4879554410750135360)}, // 2^63-18759
    {UINT64_C(9223372036854757021), UINT64_C(3188618086245408450), UINT64_C(6377236172490829889)}, // 2^63-18787
    {UINT64_C(9223372036854756881), UINT64_C(4153339675688243036), UINT64_C(8306679351376503117)}, // 2^63-18927
    {UINT64_C(9223372036854756877), UINT64_C(148707508635477877), UINT64_C(297415017270956364)}, // 2^63-18931
    {UINT64_C(9223372036854756811), UINT64_C(1312021463813625818), UINT64_C(2624042927627257040)}, // 2^63-18997
    {UINT64_C(9223372036854756763), UINT64_C(6062565478135767420), UINT64_C(12125130956271559876)}, // 2^63-19045
    {UINT64_C(9223372036854756749), UINT64_C(9092246107450803716), UINT64_C(18184492214901645008)}, // 2^63-19059
    {UINT64_C(9223372036854756731), UINT64_C(1067943708798619858), UINT64_C(2135887417597244133)}, // 2^63-19077
    {UINT64_C(9223372036854756607), UINT64_C(6491922901634202406), UINT64_C(12983845803268431841)}, // 2^63-19201
    {UINT64_C(9223372036854756553), UINT64_C(7544667631668995984), UINT64_C(15089335263338023468)}, // 2^63-19255
    {UINT64_C(9223372036854756541), UINT64_C(6360617339094585130), UINT64_C(12721234678189196833)}, // 2^63-19267
    {UINT64_C(9223372036854756533), UINT64_C(9144573095400198038), UINT64_C(18289146190800434296)}, // 2^63-19275
    {UINT64_C(9223372036854756499), UINT64_C(3728225210075186524), UINT64_C(7456450420150388657)}, // 2^63-19309
    {UINT64_C(9223372036854756497), UINT64_C(3239512070634104857), UINT64_C(6479024141268223279)}, // 2^63-19311
    {UINT64_C(9223372036854756493), UINT64_C(8901963707293834775), UINT64_C(17803927414587706833)}, // 2^63-19315
    {UINT64_C(9223372036854756413), UINT64_C(5294860900580161143), UINT64_C(10589721801160344554)}, // 2^63-19395
    {UINT64_C(9223372036854756409), UINT64_C(5359682272423871228), UINT64_C(10719364544847765001)}, // 2^63-19399
    {UINT64_C(9223372036854756367), UINT64_C(892449769719390149), UINT64_C(1784899539438784060)}, // 2^63-19441
    {UINT64_C(9223372036854756343), UINT64_C(7354280655605243609), UINT64_C(14708561311210518258)}, // 2^63-19465
    {UINT64_C(9223372036854756259), UINT64_C(8461185006017961092), UINT64_C(16922370012035958051)}, // 2^63-19549
    {UINT64_C(9223372036854756251), UINT64_C(3243047885350015937), UINT64_C(6486095770700045626)}, // 2^63-19557
    {UINT64_C(9223372036854756233), UINT64_C(8683445397373955571), UINT64_C(17366890794747948000)}, // 2^63-19575
    {UINT64_C(9223372036854756227), UINT64_C(8782416014470421762), UINT64_C(17564832028940880813)}, // 2^63-19581
    {UINT64_C(9223372036854756211), UINT64_C(4127211163224125212), UINT64_C(8254422326448267962)}, // 2^63-19597
    {UINT64_C(9223372036854756169), UINT64_C(8180600840930063085), UINT64_C(16361201681860161007)}, // 2^63-19639
    {UINT64_C(9223372036854756083), UINT64_C(5546972627400093434), UINT64_C(11093945254800210593)}, // 2^63-19725
    {UINT64_C(9223372036854756073), UINT64_C(7204981158590229605), UINT64_C(14409962317180490042)}, // 2^63-19735
    {UINT64_C(9223372036854756059), UINT64_C(3939551874005740646), UINT64_C(7879103748011498162)}, // 2^63-19749
    {UINT64_C(9223372036854756041), UINT64_C(1443463633585195773), UINT64_C(2886927267170397733)}, // 2^63-19767
    {UINT64_C(9223372036854755959), UINT64_C(4396702080733939756), UINT64_C(8793404161467898435)}, // 2^63-19849
    {UINT64_C(9223372036854755939), UINT64_C(2357148376014458404), UINT64_C(4714296752028926963)}, // 2^63-19869
    {UINT64_C(9223372036854755869), UINT64_C(5123303618587951436), UINT64_C(10246607237175925023)}, // 2^63-19939
    {UINT64_C(9223372036854755777), UINT64_C(1627705272725409970), UINT64_C(3255410545450827009)}, // 2^63-20031
    {UINT64_C(9223372036854755737), UINT64_C(5470144577168155818), UINT64_C(10940289154336335443)}, // 2^63-20071
    {UINT64_C(9223372036854755729), UINT64_C(5105274804644945672), UINT64_C(10210549609289913572)}, // 2^63-20079
    {UINT64_C(9223372036854755713), UINT64_C(8505269082932512285), UINT64_C(17010538165865061630)}, // 2^63-20095
    {UINT64_C(9223372036854755693), UINT64_C(6652622098045478516), UINT64_C(13305244196090986049)}, // 2^63-20115
    {UINT64_C(9223372036854755573), UINT64_C(3937772590783264126), UINT64_C(7875545181566545530)}, // 2^63-20235
    {UINT64_C(9223372036854755509), UINT64_C(4529152772299137745), UINT64_C(9058305544598295425)}, // 2^63-20299
    {UINT64_C(9223372036854755477), UINT64_C(6569940220623389603), UINT64_C(13139880441246808170)}, // 2^63-20331
    {UINT64_C(9223372036854755431), UINT64_C(7329588966124350814), UINT64_C(14659177932248734014)}, // 2^63-20377
    {UINT64_C(9223372036854755401), UINT64_C(5525712837775419883), UINT64_C(11051425675550864217)}, // 2^63-20407
    {UINT64_C(9223372036854755347), UINT64_C(80085445923197544), UINT64_C(160170891846395443)}, // 2^63-20461
    {UINT64_C(9223372036854755281), UINT64_C(1240216513757405642), UINT64_C(2480433027514816804)}, // 2^63-20527
    {UINT64_C(9223372036854755257), UINT64_C(3874556723059150824), UINT64_C(7749113446118318914)}, // 2^63-20551
    {UINT64_C(9223372036854755231), UINT64_C(7766805441581428161), UINT64_C(15533610883162890976)}, // 2^63-20577
    {UINT64_C(9223372036854755189), UINT64_C(4896012472437372757), UINT64_C(9792024944874767404)}, // 2^63-20619
    {UINT64_C(9223372036854755173), UINT64_C(1797712036623631441), UINT64_C(3595424073247270925)}, // 2^63-20635
    {UINT64_C(9223372036854755141), UINT64_C(6363389334776708530), UINT64_C(12726778669553445577)}, // 2^63-20667
    {UINT64_C(9223372036854755089), UINT64_C(8996453903871337356), UINT64_C(17992907807742715130)}, // 2^63-20719
    {UINT64_C(9223372036854754927), UINT64_C(2425595712264350283), UINT64_C(4851191424528711548)}, // 2^63-20881
    {UINT64_C(9223372036854754879), UINT64_C(1738565223619827844), UINT64_C(3477130447239663578)}, // 2^63-20929
    {UINT64_C(9223372036854754843), UINT64_C(126703446754689614), UINT64_C(253406893509379804)}, // 2^63-20965
    {UINT64_C(9223372036854754841), UINT64_C(8095703361664706732), UINT64_C(16191406723329450271)}, // 2^63-20967
    {UINT64_C(9223372036854754789), UINT64_C(7670221243167193364), UINT64_C(15340442486334421687)}, // 2^63-21019
    {UINT64_C(9223372036854754697), UINT64_C(3895711255819518548), UINT64_C(7791422511639054929)}, // 2^63-21111
    {UINT64_C(9223372036854754679), UINT64_C(7029582807888028212), UINT64_C(14059165615776088630)}, // 2^63-21129
    {UINT64_C(9223372036854754561), UINT64_C(5180727887851462372), UINT64_C(10361455775702948612)}, // 2^63-21247
    {UINT64_C(9223372036854754547), UINT64_C(8505041869443227227), UINT64_C(17010083738886493664)}, // 2^63-21261
    {UINT64_C(9223372036854754517), UINT64_C(6355725312333079235), UINT64_C(12711450624666187812)}, // 2^63-21291
    {UINT64_C(9223372036854754409), UINT64_C(2499657486187802311), UINT64_C(4999314972375616220)}, // 2^63-21399
    {UINT64_C(9223372036854754391), UINT64_C(7464023672013433780), UINT64_C(14928047344026902223)}, // 2^63-21417
    {UINT64_C(9223372036854754351), UINT64_C(3900232608167813252), UINT64_C(7800465216335644650)}, // 2^63-21457
    {UINT64_C(9223372036854754349), UINT64_C(7752952086608499848), UINT64_C(15505904173217035771)}, // 2^63-21459
    {UINT64_C(9223372036854754327), UINT64_C(1336346346727237323), UINT64_C(2672692693454480870)}, // 2^63-21481
    {UINT64_C(9223372036854754319), UINT64_C(3716407639647741489), UINT64_C(7432815279295500295)}, // 2^63-21489
    {UINT64_C(9223372036854754297), UINT64_C(5951303973501689560), UINT64_C(11902607947003406879)}, // 2^63-21511
    {UINT64_C(9223372036854754283), UINT64_C(1263045317270440643), UINT64_C(2526090634540887181)}, // 2^63-21525
    {UINT64_C(9223372036854754201), UINT64_C(2688980661075823167), UINT64_C(5377961322151658932)}, // 2^63-21607
    {UINT64_C(9223372036854754189), UINT64_C(2627798690593097073), UINT64_C(5255597381186206464)}, // 2^63-21619
    {UINT64_C(9223372036854754049), UINT64_C(6604683550519181124), UINT64_C(13209367101038393410)}, // 2^63-21759
    {UINT64_C(9223372036854754043), UINT64_C(9047605239108028243), UINT64_C(18095210478216099186)}, // 2^63-21765
    {UINT64_C(9223372036854753989), UINT64_C(4834867885074981445), UINT64_C(9669735770149985764)}, // 2^63-21819
    {UINT64_C(9223372036854753979), UINT64_C(6273775672574323029), UINT64_C(12547551345148675754)}, // 2^63-21829
    {UINT64_C(9223372036854753929), UINT64_C(1741296553179866785), UINT64_C(3482593106359741831)}, // 2^63-21879
    {UINT64_C(9223372036854753889), UINT64_C(5548548831482660856), UINT64_C(11097097662965348083)}, // 2^63-21919
    {UINT64_C(9223372036854753853), UINT64_C(8815211701760743887), UINT64_C(17630423403521529740)}, // 2^63-21955
    {UINT64_C(9223372036854753803), UINT64_C(8994218207281980179), UINT64_C(17988436414564003274)}, // 2^63-22005
    {UINT64_C(9223372036854753797), UINT64_C(626566715009863962), UINT64_C(1253133430019730914)}, // 2^63-22011
    {UINT64_C(9223372036854753773), UINT64_C(2268791704740837541), UINT64_C(4537583409481685922)}, // 2^63-22035
    {UINT64_C(9223372036854753751), UINT64_C(8405888275701781917), UINT64_C(16811776551403604038)}, // 2^63-22057
    {UINT64_C(9223372036854753689), UINT64_C(8464597513573900473), UINT64_C(16929195027147841544)}, // 2^63-22119
    {UINT64_C(9223372036854753667), UINT64_C(6841175748355501880), UINT64_C(13682351496711036604)}, // 2^63-22141
    {UINT64_C(9223372036854753637), UINT64_C(8904456862999559178), UINT64_C(17808913725999161164)}, // 2^63-22171
    {UINT64_C(9223372036854753601), UINT64_C(5060886848449638232), UINT64_C(10121773696899300834)}, // 2^63-22207
    {UINT64_C(9223372036854753593), UINT64_C(4748408289069565928), UINT64_C(9496816578139154729)}, // 2^63-22215
    {UINT64_C(9223372036854753559), UINT64_C(2055733875617229811), UINT64_C(4111467751234469539)}, // 2^63-22249
    {UINT64_C(9223372036854753517), UINT64_C(7301900292297429958), UINT64_C(14603800584594895210)}, // 2^63-22291
    {UINT64_C(9223372036854753499), UINT64_C(1529525125893016205), UINT64_C(3059050251786039809)}, // 2^63-22309
    {UINT64_C(9223372036854753493), UINT64_C(7402841595509924999), UINT64_C(14805683191019885818)}, // 2^63-22315
    {UINT64_C(9223372036854753467), UINT64_C(8651826201484319314), UINT64_C(17303652402968680541)}, // 2^63-22341
    {UINT64_C(9223372036854753451), UINT64_C(8248674228929061184), UINT64_C(16497348457858162356)}, // 2^63-22357
    {UINT64_C(9223372036854753439), UINT64_C(7329753300523890185), UINT64_C(14659506601047815922)}, // 2^63-22369
    {UINT64_C(9223372036854753409), UINT64_C(1951178823279993060), UINT64_C(3902357646559995596)}, // 2^63-22399
    {UINT64_C(9223372036854753383), UINT64_C(327707660598220941), UINT64_C(655415321196443475)}, // 2^63-22425
    {UINT64_C(9223372036854753377), UINT64_C(2554751749352269689), UINT64_C(5109503498704551804)}, // 2^63-22431
    {UINT64_C(9223372036854753233), UINT64_C(921570596236670155), UINT64_C(1843141192473344821)}, // 2^63-22575
    {UINT64_C(9223372036854753227), UINT64_C(2216233206058133036), UINT64_C(4432466412116276923)}, // 2^63-22581
    {UINT64_C(9223372036854753181), UINT64_C(9114545569467487058), UINT64_C(18229091138935018836)}, // 2^63-22627
    {UINT64_C(9223372036854753101), UINT64_C(7202948212887375518), UINT64_C(14405896425774786501)}, // 2^63-22707
    {UINT64_C(9223372036854753007), UINT64_C(1055030412229230993), UINT64_C(2110060824458467202)}, // 2^63-22801
    {UINT64_C(9223372036854752969), UINT64_C(6611275987874545543), UINT64_C(13222551975749123827)}, // 2^63-22839
    {UINT64_C(9223372036854752923), UINT64_C(8188312626229851107), UINT64_C(16376625252459742847)}, // 2^63-22885
    {UINT64_C(9223372036854752911), UINT64_C(3555465632376815180), UINT64_C(7110931264753648012)}, // 2^63-22897
    {UINT64_C(9223372036854752893), UINT64_C(6038648115386089038), UINT64_C(12077296230772208081)}, // 2^63-22915
    {UINT64_C(9223372036854752873), UINT64_C(2513108608539464512), UINT64_C(5026217217078941522)}, // 2^63-22935
    {UINT64_C(9223372036854752869), UINT64_C(7020601511430797385), UINT64_C(14041203022861629691)}, // 2^63-22939
    {UINT64_C(9223372036854752867), UINT64_C(5511410482423980111), UINT64_C(11022820964847987638)}, // 2^63-22941
    {UINT64_C(9223372036854752783), UINT64_C(7479439058862543920), UINT64_C(14958878117725125182)}, // 2^63-23025
    {UINT64_C(9223372036854752737), UINT64_C(5474753786230222231), UINT64_C(10949507572460471850)}, // 2^63-23071
    {UINT64_C(9223372036854752731), UINT64_C(3431167898501877761), UINT64_C(6862335797003772691)}, // 2^63-23077
    {UINT64_C(9223372036854752723), UINT64_C(4698177101636779530), UINT64_C(9396354203273582577)}, // 2^63-23085
    {UINT64_C(9223372036854752563), UINT64_C(6013004670985371573), UINT64_C(12026009341970773454)}, // 2^63-23245
    {UINT64_C(9223372036854752561), UINT64_C(7449455626078814763), UINT64_C(14898911252157667077)}, // 2^63-23247
    {UINT64_C(9223372036854752551), UINT64_C(1968685784303100797), UINT64_C(3937371568606211522)}, // 2^63-23257
    {UINT64_C(9223372036854752521), UINT64_C(7977450293072294519), UINT64_C(15954900586144629320)}, // 2^63-23287
    {UINT64_C(9223372036854752489), UINT64_C(6108157729512732523), UINT64_C(12216315459025495931)}, // 2^63-23319
    {UINT64_C(9223372036854752453), UINT64_C(7872751054191866351), UINT64_C(15745502108383772572)}, // 2^63-23355
    {UINT64_C(9223372036854752431), UINT64_C(3835904106921794297), UINT64_C(7671808213843608038)}, // 2^63-23377
    {UINT64_C(9223372036854752429), UINT64_C(8749194916426750982), UINT64_C(17498389832853546318)}, // 2^63-23379
    {UINT64_C(9223372036854752377), UINT64_C(8457947726631048200), UINT64_C(16915895453262139373)}, // 2^63-23431
    {UINT64_C(9223372036854752281), UINT64_C(2162053831206303439), UINT64_C(4324107662412617907)}, // 2^63-23527
    {UINT64_C(9223372036854752191), UINT64_C(6204626664913529979), UINT64_C(12409253329827091732)}, // 2^63-23617
    {UINT64_C(9223372036854752171), UINT64_C(5467181572278792567), UINT64_C(10934363144557613155)}, // 2^63-23637
    {UINT64_C(9223372036854752123), UINT64_C(5646089264496886034), UINT64_C(11292178528993801065)}, // 2^63-23685
    {UINT64_C(9223372036854752041), UINT64_C(4458037645345186504), UINT64_C(8916075290690395983)}, // 2^63-23767
    {UINT64_C(9223372036854751933), UINT64_C(3543499259635616504), UINT64_C(7086998519271251352)}, // 2^63-23875
    {UINT64_C(9223372036854751913), UINT64_C(5000878144030536263), UINT64_C(10001756288061098437)}, // 2^63-23895
    {UINT64_C(9223372036854751889), UINT64_C(2679278678122129539), UINT64_C(5358557356244272974)}, // 2^63-23919
    {UINT64_C(9223372036854751877), UINT64_C(4615789537817139200), UINT64_C(9231579075634302352)}, // 2^63-23931
    {UINT64_C(9223372036854751861), UINT64_C(4055936626164165427), UINT64_C(8111873252328351915)}, // 2^63-23947
    {UINT64_C(9223372036854751859), UINT64_C(1147020481093345673), UINT64_C(2294040962186697302)}, // 2^63-23949
    {UINT64_C(9223372036854751817), UINT64_C(1117984939325657235), UINT64_C(2235969878651320286)}, // 2^63-23991
    {UINT64_C(9223372036854751669), UINT64_C(4676617274064637712), UINT64_C(9353234548129299902)}, // 2^63-24139
    {UINT64_C(9223372036854751649), UINT64_C(8736212889373184120), UINT64_C(17472425778746414005)}, // 2^63-24159
    {UINT64_C(9223372036854751597), UINT64_C(1779578093919161184), UINT64_C(3559156187838331710)}, // 2^63-24211
    {UINT64_C(9223372036854751507), UINT64_C(2010670879861625336), UINT64_C(4021341759723261267)}, // 2^63-24301
    {UINT64_C(9223372036854751499), UINT64_C(1725011191075742272), UINT64_C(3450022382151493636)}, // 2^63-24309
    {UINT64_C(9223372036854751463), UINT64_C(8953996730652930100), UINT64_C(17907993461305907467)}, // 2^63-24345
    {UINT64_C(9223372036854751453), UINT64_C(5521699884951961443), UINT64_C(11043399769903952046)}, // 2^63-24355
    {UINT64_C(9223372036854751397), UINT64_C(6664417490685677973), UINT64_C(13328834981371391222)}, // 2^63-24411
    {UINT64_C(9223372036854751381), UINT64_C(4351038476673077640), UINT64_C(8702076953346178326)}, // 2^63-24427
    {UINT64_C(9223372036854751277), UINT64_C(5807991517695999655), UINT64_C(11615983035392030204)}, // 2^63-24531
    {UINT64_C(9223372036854751247), UINT64_C(6427589255536075011), UINT64_C(12855178511072184254)}, // 2^63-24561
    {UINT64_C(9223372036854751051), UINT64_C(1467729260894144676), UINT64_C(2935458521788297231)}, // 2^63-24757
    {UINT64_C(9223372036854751037), UINT64_C(938225847673460859), UINT64_C(1876451695346926757)}, // 2^63-24771
    {UINT64_C(9223372036854750967), UINT64_C(39938908177668232), UINT64_C(79877816355336679)}, // 2^63-24841
    {UINT64_C(9223372036854750947), UINT64_C(1652075282978475551), UINT64_C(3304150565956960008)}, // 2^63-24861
    {UINT64_C(9223372036854750871), UINT64_C(1837854550075262925), UINT64_C(3675709100150535787)}, // 2^63-24937
    {UINT64_C(9223372036854750833), UINT64_C(4869578511716520263), UINT64_C(9739157023433066897)}, // 2^63-24975
    {UINT64_C(9223372036854750791), UINT64_C(3483343672374147208), UINT64_C(6966687344748313312)}, // 2^63-25017
    {UINT64_C(9223372036854750773), UINT64_C(5266655743170819635), UINT64_C(10533311486341667860)}, // 2^63-25035
    {UINT64_C(9223372036854750727), UINT64_C(6477557253291215160), UINT64_C(12955114506582465548)}, // 2^63-25081
    {UINT64_C(9223372036854750683), UINT64_C(6966291603513889388), UINT64_C(13932583207027816729)}, // 2^63-25125
    {UINT64_C(9223372036854750601), UINT64_C(5404636037779441841), UINT64_C(10809272075558913223)}, // 2^63-25207
    {UINT64_C(9223372036854750547), UINT64_C(2506637470099081314), UINT64_C(5013274940198176358)}, // 2^63-25261
    {UINT64_C(9223372036854750497), UINT64_C(8401368941532553127), UINT64_C(16802737883065152364)}, // 2^63-25311
    {UINT64_C(9223372036854750431), UINT64_C(9128164577695169061), UINT64_C(18256329155390388352)}, // 2^63-25377
    {UINT64_C(9223372036854750323), UINT64_C(1783860995901943489), UINT64_C(3567721991803896835)}, // 2^63-25485
    {UINT64_C(9223372036854750317), UINT64_C(2539726619509345209), UINT64_C(5079453239018704456)}, // 2^63-25491
    {UINT64_C(9223372036854750233), UINT64_C(6707018355298237817), UINT64_C(13414036710596512829)}, // 2^63-25575
    {UINT64_C(9223372036854750169), UINT64_C(5322713015346243030), UINT64_C(10645426030692515652)}, // 2^63-25639
    {UINT64_C(9223372036854750167), UINT64_C(4665446935013839033), UINT64_C(9330893870027704005)}, // 2^63-25641
    {UINT64_C(9223372036854750037), UINT64_C(8354123207027241202), UINT64_C(16708246414054529088)}, // 2^63-25771
    {UINT64_C(9223372036854749987), UINT64_C(8141814103573799005), UINT64_C(16283628207147643596)}, // 2^63-25821
    {UINT64_C(9223372036854749911), UINT64_C(2875386311933226582), UINT64_C(5750772623866469310)}, // 2^63-25897
    {UINT64_C(9223372036854749897), UINT64_C(119043838337793045), UINT64_C(238087676675586758)}, // 2^63-25911
    {UINT64_C(9223372036854749881), UINT64_C(7915629061695314840), UINT64_C(15831258123390674181)}, // 2^63-25927
    {UINT64_C(9223372036854749867), UINT64_C(3500667372911272874), UINT64_C(7001334745822565439)}, // 2^63-25941
    {UINT64_C(9223372036854749863), UINT64_C(6576857296081993846), UINT64_C(13153714592164024692)}, // 2^63-25945
    {UINT64_C(9223372036854749777), UINT64_C(8845909874683463733), UINT64_C(17691819749366977397)}, // 2^63-26031
    {UINT64_C(9223372036854749749), UINT64_C(5118922367549727828), UINT64_C(10237844735099484581)}, // 2^63-26059
    {UINT64_C(9223372036854749743), UINT64_C(4536661298955386986), UINT64_C(9073322597910799612)}, // 2^63-26065
    {UINT64_C(9223372036854749713), UINT64_C(95263525940924556), UINT64_C(190527051881849651)}, // 2^63-26095
    {UINT64_C(9223372036854749701), UINT64_C(4905202890484750988), UINT64_C(9810405780969529744)}, // 2^63-26107
    {UINT64_C(9223372036854749699), UINT64_C(7259447310931086073), UINT64_C(14518894621862213245)}, // 2^63-26109
    {UINT64_C(9223372036854749689), UINT64_C(8612999300244243288), UINT64_C(17225998600488535357)}, // 2^63-26119
    {UINT64_C(9223372036854749623), UINT64_C(6284843833957139464), UINT64_C(12569687667914314613)}, // 2^63-26185
    {UINT64_C(9223372036854749603), UINT64_C(1891611465685324250), UINT64_C(3783222931370659248)}, // 2^63-26205
    {UINT64_C(9223372036854749549), UINT64_C(6034352565720342450), UINT64_C(12068705131440719259)}, // 2^63-26259
    {UINT64_C(9223372036854749507), UINT64_C(9126891578481114842), UINT64_C(18253783156962281735)}, // 2^63-26301
    {UINT64_C(9223372036854749503), UINT64_C(4610266761166981607), UINT64_C(9220533522333989510)}, // 2^63-26305
    {UINT64_C(9223372036854749441), UINT64_C(8556436146477505330), UINT64_C(17112872292955059580)}, // 2^63-26367
    {UINT64_C(9223372036854749393), UINT64_C(7699798344134064254), UINT64_C(15399596688268172611)}, // 2^63-26415
    {UINT64_C(9223372036854749363), UINT64_C(7241166022761535349), UINT64_C(14482332045523112221)}, // 2^63-26445
    {UINT64_C(9223372036854749339), UINT64_C(8324035702875612951), UINT64_C(16648071405751273678)}, // 2^63-26469
    {UINT64_C(9223372036854749303), UINT64_C(1958138433443871606), UINT64_C(3916276866887754466)}, // 2^63-26505
    {UINT64_C(9223372036854749299), UINT64_C(1697131767038542424), UINT64_C(3394263534077094603)}, // 2^63-26509
    {UINT64_C(9223372036854749287), UINT64_C(280420966771644722), UINT64_C(560841933543291056)}, // 2^63-26521
    {UINT64_C(9223372036854749231), UINT64_C(2342712595158000246), UINT64_C(4685425190316013992)}, // 2^63-26577
    {UINT64_C(9223372036854749141), UINT64_C(4195344449197589660), UINT64_C(8390688898395203579)}, // 2^63-26667
    {UINT64_C(9223372036854749023), UINT64_C(1776916974607518546), UINT64_C(3553833949215047412)}, // 2^63-26785
    {UINT64_C(9223372036854748979), UINT64_C(4459676410709584684), UINT64_C(8919352821419195312)}, // 2^63-26829
    {UINT64_C(9223372036854748921), UINT64_C(6936404345270744355), UINT64_C(13872808690541529150)}, // 2^63-26887
    {UINT64_C(9223372036854748919), UINT64_C(2000694276029508550), UINT64_C(4001388552059028765)}, // 2^63-26889
    {UINT64_C(9223372036854748879), UINT64_C(5051868111417243877), UINT64_C(10103736222834517253)}, // 2^63-26929
    {UINT64_C(9223372036854748807), UINT64_C(5752230561239112041), UINT64_C(11504461122478257760)}, // 2^63-27001
    {UINT64_C(9223372036854748697), UINT64_C(5501811513337521133), UINT64_C(11003623026675074609)}, // 2^63-27111
    {UINT64_C(9223372036854748693), UINT64_C(1087200572147704533), UINT64_C(2174401144295415458)}, // 2^63-27115
    {UINT64_C(9223372036854748609), UINT64_C(2489556237984457955), UINT64_C(4979112475968930593)}, // 2^63-27199
    {UINT64_C(9223372036854748603), UINT64_C(3319137428905577612), UINT64_C(6638274857811174804)}, // 2^63-27205
    {UINT64_C(9223372036854748511), UINT64_C(1055304997127567915), UINT64_C(2110609994255142076)}, // 2^63-27297
    {UINT64_C(9223372036854748499), UINT64_C(3480406837602468506), UINT64_C(6960813675204957621)}, // 2^63-27309
    {UINT64_C(9223372036854748441), UINT64_C(4730953429881659548), UINT64_C(9461906859763347170)}, // 2^63-27367
    {UINT64_C(9223372036854748417), UINT64_C(1575524647584852902), UINT64_C(3151049295169715161)}, // 2^63-27391
    {UINT64_C(9223372036854748387), UINT64_C(5533595227477675053), UINT64_C(11067190454955383008)}, // 2^63-27421
    {UINT64_C(9223372036854748379), UINT64_C(7233878966861739370), UINT64_C(14467757933723521765)}, // 2^63-27429
    {UINT64_C(9223372036854748337), UINT64_C(8098764231281936679), UINT64_C(16197528462563921600)}, // 2^63-27471
    {UINT64_C(9223372036854748313), UINT64_C(4836058725236335763), UINT64_C(9672117450472700358)}, // 2^63-27495
    {UINT64_C(9223372036854748231), UINT64_C(1355697919913931072), UINT64_C(2711395839827870250)}, // 2^63-27577
    {UINT64_C(9223372036854748219), UINT64_C(4042138656109945650), UINT64_C(8084277312219915481)}, // 2^63-27589
    {UINT64_C(9223372036854748133), UINT64_C(6844619606254572622), UINT64_C(13689239212509186318)}, // 2^63-27675
    {UINT64_C(9223372036854747997), UINT64_C(202048535776973005), UINT64_C(404097071553947228)}, // 2^63-27811
    {UINT64_C(9223372036854747991), UINT64_C(444060931911135224), UINT64_C(888121863822273126)}, // 2^63-27817
    {UINT64_C(9223372036854747983), UINT64_C(6273097369272903392), UINT64_C(12546194738545844633)}, // 2^63-27825
    {UINT64_C(9223372036854747899), UINT64_C(7763855961420204474), UINT64_C(15527711922840455933)}, // 2^63-27909
    {UINT64_C(9223372036854747847), UINT64_C(2806635004095276885), UINT64_C(5613270008190570786)}, // 2^63-27961
    {UINT64_C(9223372036854747833), UINT64_C(7042514406681158972), UINT64_C(14085028813362360664)}, // 2^63-27975
    {UINT64_C(9223372036854747809), UINT64_C(8026395615699107438), UINT64_C(16052791231398263606)}, // 2^63-27999
    {UINT64_C(9223372036854747799), UINT64_C(4487010282144476643), UINT64_C(8974020564288980537)}, // 2^63-28009
    {UINT64_C(9223372036854747767), UINT64_C(6140798218750281297), UINT64_C(12281596437500599932)}, // 2^63-28041
    {UINT64_C(9223372036854747743), UINT64_C(6672556562851552451), UINT64_C(13345113125703145508)}, // 2^63-28065
    {UINT64_C(9223372036854747677), UINT64_C(7330020974943516014), UINT64_C(14660041949887076740)}, // 2^63-28131
    {UINT64_C(9223372036854747649), UINT64_C(3746710276316461293), UINT64_C(7493420552632945463)}, // 2^63-28159
    {UINT64_C(9223372036854747623), UINT64_C(5298311091816553331), UINT64_C(10596622183633139043)}, // 2^63-28185
    {UINT64_C(9223372036854747617), UINT64_C(1165227893470932584), UINT64_C(2330455786941872290)}, // 2^63-28191
    {UINT64_C(9223372036854747589), UINT64_C(4990628772104977847), UINT64_C(9981257544209986231)}, // 2^63-28219
    {UINT64_C(9223372036854747587), UINT64_C(3215412312719369577), UINT64_C(6430824625438758830)}, // 2^63-28221
    {UINT64_C(9223372036854747493), UINT64_C(1113994825200424655), UINT64_C(2227989650400856149)}, // 2^63-28315
    {UINT64_C(9223372036854747491), UINT64_C(1179704916193767652), UINT64_C(2359409832387542547)}, // 2^63-28317
    {UINT64_C(9223372036854747467), UINT64_C(7202230460144019727), UINT64_C(14404460920288083715)}, // 2^63-28341
    {UINT64_C(9223372036854747451), UINT64_C(8820575847701523622), UINT64_C(17641151695403101481)}, // 2^63-28357
    {UINT64_C(9223372036854747437), UINT64_C(7640166581169358269), UINT64_C(15280333162338763540)}, // 2^63-28371
    {UINT64_C(9223372036854747367), UINT64_C(4596716106406652124), UINT64_C(9193432212813332596)}, // 2^63-28441
    {UINT64_C(9223372036854747281), UINT64_C(335916763431479994), UINT64_C(671833526862962065)}, // 2^63-28527
    {UINT64_C(9223372036854747253), UINT64_C(2623152165663549380), UINT64_C(5246304331327115002)}, // 2^63-28555
    {UINT64_C(9223372036854747251), UINT64_C(6334635700883908657), UINT64_C(12669271401767856540)}, // 2^63-28557
    {UINT64_C(9223372036854747241), UINT64_C(7080946293495285493), UINT64_C(14161892586990614848)}, // 2^63-28567
    {UINT64_C(9223372036854747229), UINT64_C(5991984212596629318), UINT64_C(11983968425193295768)}, // 2^63-28579
    {UINT64_C(9223372036854747197), UINT64_C(3487537537111861493), UINT64_C(6975075074223744622)}, // 2^63-28611
    {UINT64_C(9223372036854747181), UINT64_C(6209732901346064287), UINT64_C(12419465802692167120)}, // 2^63-28627
    {UINT64_C(9223372036854747133), UINT64_C(3314137268184147765), UINT64_C(6628274536368316136)}, // 2^63-28675
    {UINT64_C(9223372036854747077), UINT64_C(6624018376416630026), UINT64_C(13248036752833301319)}, // 2^63-28731
    {UINT64_C(9223372036854747073), UINT64_C(579498694884289913), UINT64_C(1158997389768583436)}, // 2^63-28735
    {UINT64_C(9223372036854747067), UINT64_C(7933911161763713963), UINT64_C(15867822323527477371)}, // 2^63-28741
    {UINT64_C(9223372036854747049), UINT64_C(4105369809044553468), UINT64_C(8210739618089132537)}, // 2^63-28759
    {UINT64_C(9223372036854746993), UINT64_C(6330010209685734890), UINT64_C(12660020419371509331)}, // 2^63-28815
    {UINT64_C(9223372036854746971), UINT64_C(1427923647477007501), UINT64_C(2855847294954023930)}, // 2^63-28837
    {UINT64_C(9223372036854746863), UINT64_C(6842167944044213299), UINT64_C(13684335888088469542)}, // 2^63-28945
    {UINT64_C(9223372036854746843), UINT64_C(6632776939867619652), UINT64_C(13265553879735280963)}, // 2^63-28965
    {UINT64_C(9223372036854746803), UINT64_C(4821844246186297328), UINT64_C(9643688492372624982)}, // 2^63-29005
    {UINT64_C(9223372036854746789), UINT64_C(8161697625735075245), UINT64_C(16323395251470201847)}, // 2^63-29019
    {UINT64_C(9223372036854746747), UINT64_C(7938929069356299069), UINT64_C(15877858138712648165)}, // 2^63-29061
    {UINT64_C(9223372036854746723), UINT64_C(5178627308296251429), UINT64_C(10357254616592535518)}, // 2^63-29085
    {UINT64_C(9223372036854746669), UINT64_C(6148399356867630013), UINT64_C(12296798713735298874)}, // 2^63-29139
    {UINT64_C(9223372036854746647), UINT64_C(598659701025214057), UINT64_C(1197319402050431899)}, // 2^63-29161
    {UINT64_C(9223372036854746633), UINT64_C(8393718518923685516), UINT64_C(16787437037847424133)}, // 2^63-29175
    {UINT64_C(9223372036854746527), UINT64_C(7835727938742314703), UINT64_C(15671455877484679157)}, // 2^63-29281
    {UINT64_C(9223372036854746401), UINT64_C(8932440874965739770), UINT64_C(17864881749931536498)}, // 2^63-29407
    {UINT64_C(9223372036854746383), UINT64_C(1929513365481294115), UINT64_C(3859026730962600541)}, // 2^63-29425
    {UINT64_C(9223372036854746347), UINT64_C(4971149611495170030), UINT64_C(9942299222990371817)}, // 2^63-29461
    {UINT64_C(9223372036854746231), UINT64_C(6944244884015828832), UINT64_C(13888489768031702200)}, // 2^63-29577
    {UINT64_C(9223372036854746191), UINT64_C(8444053914413753006), UINT64_C(16888107828827560241)}, // 2^63-29617
    {UINT64_C(9223372036854746171), UINT64_C(4951362824917991645), UINT64_C(9902725649836015109)}, // 2^63-29637
    {UINT64_C(9223372036854746167), UINT64_C(3716298723196031127), UINT64_C(7432597446392086140)}, // 2^63-29641
    {UINT64_C(9223372036854746101), UINT64_C(1313255357358224860), UINT64_C(2626510714716458179)}, // 2^63-29707
    {UINT64_C(9223372036854746027), UINT64_C(3422613739835626058), UINT64_C(6845227479671274218)}, // 2^63-29781
    {UINT64_C(9223372036854745901), UINT64_C(7133347700682164365), UINT64_C(14266695401364374990)}, // 2^63-29907
    {UINT64_C(9223372036854745843), UINT64_C(7167130206152422135), UINT64_C(14334260412304890839)}, // 2^63-29965
    {UINT64_C(9223372036854745753), UINT64_C(690639812553483894), UINT64_C(1381279625106972288)}, // 2^63-30055
    {UINT64_C(9223372036854745729), UINT64_C(5519584331393823372), UINT64_C(11039168662787682744)}, // 2^63-30079
    {UINT64_C(9223372036854745687), UINT64_C(6099616027298227653), UINT64_C(12199232054596495145)}, // 2^63-30121
    {UINT64_C(9223372036854745667), UINT64_C(1122580897024472305), UINT64_C(2245161794048951946)}, // 2^63-30141
    {UINT64_C(9223372036854745639), UINT64_C(1949650951178290210), UINT64_C(3899301902356593174)}, // 2^63-30169
    {UINT64_C(9223372036854745591), UINT64_C(4233894782951984515), UINT64_C(8467789565903996771)}, // 2^63-30217
    {UINT64_C(9223372036854745571), UINT64_C(2537381090068392566), UINT64_C(5074762180136801768)}, // 2^63-30237
    {UINT64_C(9223372036854745507), UINT64_C(2718932968683272040), UINT64_C(5437865937366561944)}, // 2^63-30301
    {UINT64_C(9223372036854745397), UINT64_C(8221236754931834896), UINT64_C(16442473509863724005)}, // 2^63-30411
    {UINT64_C(9223372036854745339), UINT64_C(3413046052155523285), UINT64_C(6826092104311069119)}, // 2^63-30469
    {UINT64_C(9223372036854745303), UINT64_C(4095632165623614363), UINT64_C(8191264331247255817)}, // 2^63-30505
    {UINT64_C(9223372036854745243), UINT64_C(4645540160031372771), UINT64_C(9291080320062776331)}, // 2^63-30565
    {UINT64_C(9223372036854745157), UINT64_C(2890966410225899464), UINT64_C(5781932820451818142)}, // 2^63-30651
    {UINT64_C(9223372036854745151), UINT64_C(689832956260402776), UINT64_C(1379665912520810137)}, // 2^63-30657
    {UINT64_C(9223372036854744983), UINT64_C(3775152163157312884), UINT64_C(7550304326314651001)}, // 2^63-30825
    {UINT64_C(9223372036854744941), UINT64_C(981410266099906044), UINT64_C(1962820532199818656)}, // 2^63-30867
    {UINT64_C(9223372036854744887), UINT64_C(5496058083538631314), UINT64_C(10992116167077299478)}, // 2^63-30921
    {UINT64_C(9223372036854744863), UINT64_C(769720482466696224), UINT64_C(1539440964933397612)}, // 2^63-30945
    {UINT64_C(9223372036854744749), UINT64_C(3108619804964127790), UINT64_C(6217239609928276516)}, // 2^63-31059
    {UINT64_C(9223372036854744589), UINT64_C(3436449619148530305), UINT64_C(6872899238297083873)}, // 2^63-31219
    {UINT64_C(9223372036854744569), UINT64_C(3027243815641015721), UINT64_C(6054487631282051948)}, // 2^63-31239
    {UINT64_C(9223372036854744547), UINT64_C(918795969056937592), UINT64_C(1837591938113881412)}, // 2^63-31261
    {UINT64_C(9223372036854744541), UINT64_C(7043824646924297457), UINT64_C(14087649293848642670)}, // 2^63-31267
    {UINT64_C(9223372036854744523), UINT64_C(6323432096402975230), UINT64_C(12646864192805993357)}, // 2^63-31285
    {UINT64_C(9223372036854744481), UINT64_C(4392710446082947061), UINT64_C(8785420892165923961)}, // 2^63-31327
    {UINT64_C(9223372036854744361), UINT64_C(4661499183309426092), UINT64_C(9322998366618883970)}, // 2^63-31447
    {UINT64_C(9223372036854744323), UINT64_C(43464097806772476), UINT64_C(86928195613545248)}, // 2^63-31485
    {UINT64_C(9223372036854744277), UINT64_C(4368029083453621801), UINT64_C(8736058166907273467)}, // 2^63-31531
    {UINT64_C(9223372036854744173), UINT64_C(5195060979887793523), UINT64_C(10390121959775622682)}, // 2^63-31635
    {UINT64_C(9223372036854744103), UINT64_C(3509634972783502104), UINT64_C(7019269945567028336)}, // 2^63-31705
    {UINT64_C(9223372036854744073), UINT64_C(952409930853912844), UINT64_C(1904819861707832241)}, // 2^63-31735
    {UINT64_C(9223372036854744029), UINT64_C(8518899131255074065), UINT64_C(17037798262510206833)}, // 2^63-31779
    {UINT64_C(9223372036854744017), UINT64_C(2381210631818537013), UINT64_C(4762421263637090441)}, // 2^63-31791
    {UINT64_C(9223372036854743993), UINT64_C(2440674421491041380), UINT64_C(4881348842982099597)}, // 2^63-31815
    {UINT64_C(9223372036854743909), UINT64_C(3691780008067420798), UINT64_C(7383560016134867132)}, // 2^63-31899
    {UINT64_C(9223372036854743891), UINT64_C(5921795285403377248), UINT64_C(11843590570806795480)}, // 2^63-31917
    {UINT64_C(9223372036854743819), UINT64_C(8564782479081724632), UINT64_C(17129564958163508673)}, // 2^63-31989
    {UINT64_C(9223372036854743791), UINT64_C(8341250464600743005), UINT64_C(16682500929201543919)}, // 2^63-32017
    {UINT64_C(9223372036854743767), UINT64_C(3348564812525040470), UINT64_C(6697129625050104205)}, // 2^63-32041
    {UINT64_C(9223372036854743741), UINT64_C(4698359399082994231), UINT64_C(9396718798166021131)}, // 2^63-32067
    {UINT64_C(9223372036854743659), UINT64_C(6031477749885976751), UINT64_C(12062955499771995548)}, // 2^63-32149
    {UINT64_C(9223372036854743633), UINT64_C(208044823493843467), UINT64_C(416089646987688385)}, // 2^63-32175
    {UINT64_C(9223372036854743609), UINT64_C(7786748023264115155), UINT64_C(15573496046528284677)}, // 2^63-32199
    {UINT64_C(9223372036854743561), UINT64_C(2050879571708325460), UINT64_C(4101759143416665260)}, // 2^63-32247
    {UINT64_C(9223372036854743527), UINT64_C(4586354569422143220), UINT64_C(9172709138844318543)}, // 2^63-32281
    {UINT64_C(9223372036854743491), UINT64_C(5571886864358497752), UINT64_C(11143773728717034549)}, // 2^63-32317
    {UINT64_C(9223372036854743479), UINT64_C(7715307426789584921), UINT64_C(15430614853579223928)}, // 2^63-32329
    {UINT64_C(9223372036854743441), UINT64_C(7529099953533753943), UINT64_C(15058199907067560728)}, // 2^63-32367
    {UINT64_C(9223372036854743413), UINT64_C(2923734185138138549), UINT64_C(5847468370276297635)}, // 2^63-32395
    {UINT64_C(9223372036854743381), UINT64_C(5415724295797754728), UINT64_C(10831448591595547536)}, // 2^63-32427
    {UINT64_C(9223372036854743333), UINT64_C(2000006761534488412), UINT64_C(4000013523068990907)}, // 2^63-32475
    {UINT64_C(9223372036854743239), UINT64_C(6533292489114996498), UINT64_C(13066584978230039135)}, // 2^63-32569
    {UINT64_C(9223372036854742973), UINT64_C(3869875679905774069), UINT64_C(7739751359811575691)}, // 2^63-32835
    {UINT64_C(9223372036854742883), UINT64_C(7453747187898150919), UINT64_C(14907494375796355053)}, // 2^63-32925
    {UINT64_C(9223372036854742759), UINT64_C(8659024341817913462), UINT64_C(17318048683635888977)}, // 2^63-33049
    {UINT64_C(9223372036854742727), UINT64_C(5998790380413655618), UINT64_C(11997580760827354267)}, // 2^63-33081
    {UINT64_C(9223372036854742681), UINT64_C(8321503387900317939), UINT64_C(16643006775800695653)}, // 2^63-33127
    {UINT64_C(9223372036854742643), UINT64_C(38382380426473252), UINT64_C(76764760852946780)}, // 2^63-33165
    {UINT64_C(9223372036854742633), UINT64_C(3929362424641718937), UINT64_C(7858724849283466140)}, // 2^63-33175
    {UINT64_C(9223372036854742603), UINT64_C(2320167087536536834), UINT64_C(4640334175073090373)}, // 2^63-33205
    {UINT64_C(9223372036854742589), UINT64_C(6500486839533199044), UINT64_C(13000973679066444912)}, // 2^63-33219
    {UINT64_C(9223372036854742499), UINT64_C(1687427803220472468), UINT64_C(3374855606440957123)}, // 2^63-33309
    {UINT64_C(9223372036854742477), UINT64_C(6429201666964845100), UINT64_C(12858403333929736667)}, // 2^63-33331
    {UINT64_C(9223372036854742451), UINT64_C(5205592533744471993), UINT64_C(10411185067488981638)}, // 2^63-33357
    {UINT64_C(9223372036854742399), UINT64_C(3095132759682794585), UINT64_C(6190265519365611592)}, // 2^63-33409
    {UINT64_C(9223372036854742397), UINT64_C(7196639005685539476), UINT64_C(14393278011371131090)}, // 2^63-33411
    {UINT64_C(9223372036854742379), UINT64_C(4955721299633345140), UINT64_C(9911442599266726202)}, // 2^63-33429
    {UINT64_C(9223372036854742297), UINT64_C(841447245815995751), UINT64_C(1682894491631997616)}, // 2^63-33511
    {UINT64_C(9223372036854742259), UINT64_C(3998457369813838549), UINT64_C(7996914739627706185)}, // 2^63-33549
    {UINT64_C(9223372036854742231), UINT64_C(4210097397839976282), UINT64_C(8420194795679983217)}, // 2^63-33577
    {UINT64_C(9223372036854742223), UINT64_C(2458070907374324612), UINT64_C(4916141814748667125)}, // 2^63-33585
    {UINT64_C(9223372036854742187), UINT64_C(7243958961611043894), UINT64_C(14487917923222140599)}, // 2^63-33621
    {UINT64_C(9223372036854742163), UINT64_C(2944836414814480272), UINT64_C(5889672829628982028)}, // 2^63-33645
    {UINT64_C(9223372036854742159), UINT64_C(4207457620656256737), UINT64_C(8414915241312544173)}, // 2^63-33649
    {UINT64_C(9223372036854742157), UINT64_C(4174368213637704719), UINT64_C(8348736427275439897)}, // 2^63-33651
    {UINT64_C(9223372036854742153), UINT64_C(7508037337096744468), UINT64_C(15016074674193543727)}, // 2^63-33655
    {UINT64_C(9223372036854742121), UINT64_C(1523298046602585338), UINT64_C(3046596093205181803)}, // 2^63-33687
    {UINT64_C(9223372036854742099), UINT64_C(8586345247413414887), UINT64_C(17172690494826892535)}, // 2^63-33709
    {UINT64_C(9223372036854742001), UINT64_C(5244616504105614455), UINT64_C(10489233008211267356)}, // 2^63-33807
    {UINT64_C(9223372036854741937), UINT64_C(794683031033651846), UINT64_C(1589366062067309528)}, // 2^63-33871
    {UINT64_C(9223372036854741929), UINT64_C(7632668014771577732), UINT64_C(15265336029543211536)}, // 2^63-33879
    {UINT64_C(9223372036854741881), UINT64_C(1366483004200103140), UINT64_C(2732966008400216332)}, // 2^63-33927
    {UINT64_C(9223372036854741859), UINT64_C(9181907374889494058), UINT64_C(18363814749779055708)}, // 2^63-33949
    {UINT64_C(9223372036854741847), UINT64_C(1010714854188172843), UINT64_C(2021429708376353129)}, // 2^63-33961
    {UINT64_C(9223372036854741827), UINT64_C(50532858714044127), UINT64_C(101065717428088626)}, // 2^63-33981
    {UINT64_C(9223372036854741757), UINT64_C(2299540820932014059), UINT64_C(4599081641864045096)}, // 2^63-34051
    {UINT64_C(9223372036854741713), UINT64_C(3916571335219832502), UINT64_C(7833142670439693959)}, // 2^63-34095
    {UINT64_C(9223372036854741683), UINT64_C(8967582150354037125), UINT64_C(17935164300708140607)}, // 2^63-34125
    {UINT64_C(9223372036854741613), UINT64_C(2979332486850219063), UINT64_C(5958664973700460217)}, // 2^63-34195
    {UINT64_C(9223372036854741599), UINT64_C(584893666594400073), UINT64_C(1169787333188804484)}, // 2^63-34209
    {UINT64_C(9223372036854741593), UINT64_C(7910679352678166989), UINT64_C(15821358705356392668)}, // 2^63-34215
    {UINT64_C(9223372036854741541), UINT64_C(5012299205457937079), UINT64_C(10024598410915911401)}, // 2^63-34267
    {UINT64_C(9223372036854741361), UINT64_C(8628979020199152666), UINT64_C(17257958040398369786)}, // 2^63-34447
    {UINT64_C(9223372036854741347), UINT64_C(1485967739713617656), UINT64_C(2971935479427246415)}, // 2^63-34461
    {UINT64_C(9223372036854741329), UINT64_C(6275107429885973150), UINT64_C(12550214859771993215)}, // 2^63-34479
    {UINT64_C(9223372036854741169), UINT64_C(4910638504380139163), UINT64_C(9821277008760315210)}, // 2^63-34639
    {UINT64_C(9223372036854741149), UINT64_C(1758372151020113699), UINT64_C(3516744302040240612)}, // 2^63-34659
    {UINT64_C(9223372036854741079), UINT64_C(4849518129329759087), UINT64_C(9699036258659554694)}, // 2^63-34729
    {UINT64_C(9223372036854741071), UINT64_C(8942722288525659486), UINT64_C(17885444577051386332)}, // 2^63-34737
    {UINT64_C(9223372036854741037), UINT64_C(1129104009060889167), UINT64_C(2258208018121786847)}, // 2^63-34771
    {UINT64_C(9223372036854741023), UINT64_C(4966599128687057762), UINT64_C(9933198257374152986)}, // 2^63-34785
    {UINT64_C(9223372036854740981), UINT64_C(8357843453209553088), UINT64_C(16715686906419169293)}, // 2^63-34827
    {UINT64_C(9223372036854740959), UINT64_C(2254513702873079768), UINT64_C(4509027405746176572)}, // 2^63-34849
    {UINT64_C(9223372036854740951), UINT64_C(3322120485375610028), UINT64_C(6644240970751245165)}, // 2^63-34857
    {UINT64_C(9223372036854740939), UINT64_C(929219199417142609), UINT64_C(1858438398834292243)}, // 2^63-34869
    {UINT64_C(9223372036854740917), UINT64_C(6168171609136636538), UINT64_C(12336343218273319743)}, // 2^63-34891
    {UINT64_C(9223372036854740867), UINT64_C(4107350801935088284), UINT64_C(8214701603870207687)}, // 2^63-34941
    {UINT64_C(9223372036854740857), UINT64_C(4503249496569334581), UINT64_C(9006498993138703291)}, // 2^63-34951
    {UINT64_C(9223372036854740783), UINT64_C(5180611295982070251), UINT64_C(10361222591964179847)}, // 2^63-35025
    {UINT64_C(9223372036854740717), UINT64_C(7360351440913156695), UINT64_C(14720702881826369396)}, // 2^63-35091
    {UINT64_C(9223372036854740701), UINT64_C(341875296212240776), UINT64_C(683750592424484154)}, // 2^63-35107
    {UINT64_C(9223372036854740693), UINT64_C(1204162226898259439), UINT64_C(2408324453796528046)}, // 2^63-35115
    {UINT64_C(9223372036854740573), UINT64_C(1727556611302904865), UINT64_C(3455113222605822929)}, // 2^63-35235
    {UINT64_C(9223372036854740563), UINT64_C(6010196932902307498), UINT64_C(12020393865804660929)}, // 2^63-35245
    {UINT64_C(9223372036854740533), UINT64_C(5678159487009589693), UINT64_C(11356318974019222818)}, // 2^63-35275
    {UINT64_C(9223372036854740521), UINT64_C(8784764228992170413), UINT64_C(17569528457984408043)}, // 2^63-35287
    {UINT64_C(9223372036854740497), UINT64_C(459009665135820825), UINT64_C(918019330271645164)}, // 2^63-35311
    {UINT64_C(9223372036854740437), UINT64_C(7163055007607066422), UINT64_C(14326110015214187783)}, // 2^63-35371
    {UINT64_C(9223372036854740357), UINT64_C(4269279441441985479), UINT64_C(8538558882884003776)}, // 2^63-35451
    {UINT64_C(9223372036854740321), UINT64_C(3421940854516556027), UINT64_C(6843881709033138385)}, // 2^63-35487
    {UINT64_C(9223372036854740299), UINT64_C(6477174353145412200), UINT64_C(12954348706290874272)}, // 2^63-35509
    {UINT64_C(9223372036854740159), UINT64_C(8626528886578043743), UINT64_C(17253057773156154170)}, // 2^63-35649
    {UINT64_C(9223372036854740147), UINT64_C(1382561162851829278), UINT64_C(2765122325703669246)}, // 2^63-35661
    {UINT64_C(9223372036854740077), UINT64_C(1375690987083910576), UINT64_C(2751381974167831810)}, // 2^63-35731
    {UINT64_C(9223372036854740053), UINT64_C(5841078846934015312), UINT64_C(11682157693868075910)}, // 2^63-35755
    {UINT64_C(9223372036854740047), UINT64_C(8926707459398321848), UINT64_C(17853414918796712917)}, // 2^63-35761
    {UINT64_C(9223372036854739991), UINT64_C(6542795796427823571), UINT64_C(13085591592855697957)}, // 2^63-35817
    {UINT64_C(9223372036854739987), UINT64_C(7671844350240800027), UINT64_C(15343688700481659644)}, // 2^63-35821
    {UINT64_C(9223372036854739969), UINT64_C(6952503761077132395), UINT64_C(13905007522154318820)}, // 2^63-35839
    {UINT64_C(9223372036854739919), UINT64_C(7546229732827019855), UINT64_C(15092459465654098436)}, // 2^63-35889
    {UINT64_C(9223372036854739901), UINT64_C(8839572435192345972), UINT64_C(17679144870384760769)}, // 2^63-35907
    {UINT64_C(9223372036854739853), UINT64_C(4646293198537056796), UINT64_C(9292586397074149816)}, // 2^63-35955
    {UINT64_C(9223372036854739789), UINT64_C(5065033211308517729), UINT64_C(10130066422617075017)}, // 2^63-36019
    {UINT64_C(9223372036854739763), UINT64_C(3619323065628308761), UINT64_C(7238646131256645810)}, // 2^63-36045
    {UINT64_C(9223372036854739717), UINT64_C(6176975713280087987), UINT64_C(12353951426560224314)}, // 2^63-36091
    {UINT64_C(9223372036854739639), UINT64_C(2270759141689150097), UINT64_C(4541518283378318003)}, // 2^63-36169
    {UINT64_C(9223372036854739637), UINT64_C(5028426568411677783), UINT64_C(10056853136823395005)}, // 2^63-36171
    {UINT64_C(9223372036854739619), UINT64_C(8895219350207201352), UINT64_C(17790438700414472506)}, // 2^63-36189
    {UINT64_C(9223372036854739553), UINT64_C(2369098829399626707), UINT64_C(4738197658799272038)}, // 2^63-36255
    {UINT64_C(9223372036854739537), UINT64_C(1869870022551619804), UINT64_C(3739740045103254314)}, // 2^63-36271
    {UINT64_C(9223372036854739529), UINT64_C(7655528338577325757), UINT64_C(15311056677154711738)}, // 2^63-36279
    {UINT64_C(9223372036854739471), UINT64_C(8339620019811698885), UINT64_C(16679240039623463480)}, // 2^63-36337
    {UINT64_C(9223372036854739457), UINT64_C(8588266462783490368), UINT64_C(17176532925567048431)}, // 2^63-36351
    {UINT64_C(9223372036854739391), UINT64_C(7913224521255527056), UINT64_C(15826449042511116600)}, // 2^63-36417
    {UINT64_C(9223372036854739381), UINT64_C(1360397647179043608), UINT64_C(2720795294358097961)}, // 2^63-36427
    {UINT64_C(9223372036854739321), UINT64_C(3288382119311817106), UINT64_C(6576764238623660229)}, // 2^63-36487
    {UINT64_C(9223372036854739303), UINT64_C(1647146635527908861), UINT64_C(3294293271055830760)}, // 2^63-36505
    {UINT64_C(9223372036854739297), UINT64_C(9053599725144149036), UINT64_C(18107199450288369749)}, // 2^63-36511
    {UINT64_C(9223372036854739237), UINT64_C(3834230561327957639), UINT64_C(7668461122655945683)}, // 2^63-36571
    {UINT64_C(9223372036854739201), UINT64_C(1456765735103789518), UINT64_C(2913531470207590599)}, // 2^63-36607
    {UINT64_C(9223372036854739157), UINT64_C(2270444529472623838), UINT64_C(4540889058945265720)}, // 2^63-36651
    {UINT64_C(9223372036854739133), UINT64_C(2388969751153345376), UINT64_C(4777939502306709750)}, // 2^63-36675
    {UINT64_C(9223372036854739033), UINT64_C(2779029170231680252), UINT64_C(5558058340463382664)}, // 2^63-36775
    {UINT64_C(9223372036854738991), UINT64_C(8102747738412925400), UINT64_C(16205495476825915487)}, // 2^63-36817
    {UINT64_C(9223372036854738947), UINT64_C(5180644115350210408), UINT64_C(10361288230700462224)}, // 2^63-36861
    {UINT64_C(9223372036854738907), UINT64_C(262212635751521155), UINT64_C(524425271503044408)}, // 2^63-36901
    {UINT64_C(9223372036854738871), UINT64_C(9128502290696271795), UINT64_C(18257004581392616704)}, // 2^63-36937
    {UINT64_C(9223372036854738857), UINT64_C(8730851914039705583), UINT64_C(17461703828079481121)}, // 2^63-36951
    {UINT64_C(9223372036854738823), UINT64_C(1567914734571657301), UINT64_C(3135829469143327176)}, // 2^63-36985
    {UINT64_C(9223372036854738799), UINT64_C(194405951530969210), UINT64_C(388811903061939980)}, // 2^63-37009
    {UINT64_C(9223372036854738781), UINT64_C(8717371576781851306), UINT64_C(17434743153563772603)}, // 2^63-37027
    {UINT64_C(9223372036854738701), UINT64_C(4351557055919626608), UINT64_C(8703114111839288229)}, // 2^63-37107
    {UINT64_C(9223372036854738661), UINT64_C(718186588054899014), UINT64_C(1436373176109803812)}, // 2^63-37147
    {UINT64_C(9223372036854738629), UINT64_C(3334779168798857526), UINT64_C(6669558337597741936)}, // 2^63-37179
    {UINT64_C(9223372036854738611), UINT64_C(484076110822597433), UINT64_C(968152221645198770)}, // 2^63-37197
    {UINT64_C(9223372036854738593), UINT64_C(196213856819099952), UINT64_C(392427713638201487)}, // 2^63-37215
    {UINT64_C(9223372036854738533), UINT64_C(2397516907686658963), UINT64_C(4795033815373337304)}, // 2^63-37275
    {UINT64_C(9223372036854738509), UINT64_C(3388650525733644258), UINT64_C(6777301051467315923)}, // 2^63-37299
    {UINT64_C(9223372036854738437), UINT64_C(6899051889397492996), UINT64_C(13798103778795041898)}, // 2^63-37371
    {UINT64_C(9223372036854738337), UINT64_C(4020759420789949363), UINT64_C(8041518841579931395)}, // 2^63-37471
    {UINT64_C(9223372036854738281), UINT64_C(4853227819820415081), UINT64_C(9706455639640869654)}, // 2^63-37527
    {UINT64_C(9223372036854738251), UINT64_C(121907057660022431), UINT64_C(243814115320045854)}, // 2^63-37557
    {UINT64_C(9223372036854738233), UINT64_C(7507122268205490614), UINT64_C(15014244536411042394)}, // 2^63-37575
    {UINT64_C(9223372036854738221), UINT64_C(2516780950867333495), UINT64_C(5033561901734687502)}, // 2^63-37587
    {UINT64_C(9223372036854738143), UINT64_C(3180754044894239531), UINT64_C(6361508089788505040)}, // 2^63-37665
    {UINT64_C(9223372036854738109), UINT64_C(3120198227293152457), UINT64_C(6240396454586330420)}, // 2^63-37699
    {UINT64_C(9223372036854738107), UINT64_C(8339429879057850148), UINT64_C(16678859758115768471)}, // 2^63-37701
    {UINT64_C(9223372036854738101), UINT64_C(8918117204034131806), UINT64_C(17836234408068336530)}, // 2^63-37707
    {UINT64_C(9223372036854738097), UINT64_C(469080927801520606), UINT64_C(938161855603045047)}, // 2^63-37711
    {UINT64_C(9223372036854738053), UINT64_C(6639107529086956833), UINT64_C(13278215058173968019)}, // 2^63-37755
    {UINT64_C(9223372036854738047), UINT64_C(8673184275074646117), UINT64_C(17346368550149363251)}, // 2^63-37761
    {UINT64_C(9223372036854738029), UINT64_C(8232683896656841542), UINT64_C(16465367793313750526)}, // 2^63-37779
    {UINT64_C(9223372036854738013), UINT64_C(7801180114172099058), UINT64_C(15602360228344262050)}, // 2^63-37795
    {UINT64_C(9223372036854737987), UINT64_C(7298541045637296330), UINT64_C(14597082091274652516)}, // 2^63-37821
    {UINT64_C(9223372036854737863), UINT64_C(2923068014735597038), UINT64_C(5846136029471218127)}, // 2^63-37945
    {UINT64_C(9223372036854737857), UINT64_C(326085342344856337), UINT64_C(652170684689715357)}, // 2^63-37951
    {UINT64_C(9223372036854737837), UINT64_C(6261419940859292231), UINT64_C(12522839881718636016)}, // 2^63-37971
    {UINT64_C(9223372036854737833), UINT64_C(7599231122426995697), UINT64_C(15198462244854053969)}, // 2^63-37975
    {UINT64_C(9223372036854737789), UINT64_C(1136098829043869448), UINT64_C(2272197658087748262)}, // 2^63-38019
    {UINT64_C(9223372036854737759), UINT64_C(5711236094989085899), UINT64_C(11422472189978218918)}, // 2^63-38049
    {UINT64_C(9223372036854737689), UINT64_C(5499850999347216896), UINT64_C(10999701998694479252)}, // 2^63-38119
    {UINT64_C(9223372036854737687), UINT64_C(2466564477909893806), UINT64_C(4933128955819808001)}, // 2^63-38121
    {UINT64_C(9223372036854737627), UINT64_C(7739499812532068915), UINT64_C(15478999625064201906)}, // 2^63-38181
    {UINT64_C(9223372036854737611), UINT64_C(7522026269300341588), UINT64_C(15044052538600745478)}, // 2^63-38197
    {UINT64_C(9223372036854737557), UINT64_C(3632414038785738356), UINT64_C(7264828077571506840)}, // 2^63-38251
    {UINT64_C(9223372036854737501), UINT64_C(3817609410721612537), UINT64_C(7635218821443256784)}, // 2^63-38307
    {UINT64_C(9223372036854737479), UINT64_C(389197477691344025), UINT64_C(778394955382691284)}, // 2^63-38329
    {UINT64_C(9223372036854737473), UINT64_C(4422873587149082339), UINT64_C(8845747174298201443)}, // 2^63-38335
    {UINT64_C(9223372036854737369), UINT64_C(6100523141927110176), UINT64_C(12201046283854271200)}, // 2^63-38439
    {UINT64_C(9223372036854737347), UINT64_C(1055139439718867431), UINT64_C(2110278879437743661)}, // 2^63-38461
    {UINT64_C(9223372036854737221), UINT64_C(4360305530896129592), UINT64_C(8720611061792295667)}, // 2^63-38587
    {UINT64_C(9223372036854737159), UINT64_C(8746372170523627990), UINT64_C(17492744341047329280)}, // 2^63-38649
    {UINT64_C(9223372036854737149), UINT64_C(2081352757456281931), UINT64_C(4162705514912581309)}, // 2^63-38659
    {UINT64_C(9223372036854737071), UINT64_C(4121967222937528244), UINT64_C(8243934445875091111)}, // 2^63-38737
    {UINT64_C(9223372036854736991), UINT64_C(8749843636248680614), UINT64_C(17499687272497434876)}, // 2^63-38817
    {UINT64_C(9223372036854736919), UINT64_C(4445391843399215444), UINT64_C(8890783686798468374)}, // 2^63-38889
    {UINT64_C(9223372036854736883), UINT64_C(6786718876138228948), UINT64_C(13573437752276515179)}, // 2^63-38925
    {UINT64_C(9223372036854736867), UINT64_C(7666789125212410740), UINT64_C(15333578250424886218)}, // 2^63-38941
    {UINT64_C(9223372036854736769), UINT64_C(8237644412899265652), UINT64_C(16475288825798601037)}, // 2^63-39039
    {UINT64_C(9223372036854736729), UINT64_C(1616188941726063399), UINT64_C(3232377883452140493)}, // 2^63-39079
    {UINT64_C(9223372036854736723), UINT64_C(7153309314506922252), UINT64_C(14306618629013905129)}, // 2^63-39085
    {UINT64_C(9223372036854736639), UINT64_C(2929457974281715429), UINT64_C(5858915948563455739)}, // 2^63-39169
    {UINT64_C(9223372036854736601), UINT64_C(1869367838496529293), UINT64_C(3738735676993074478)}, // 2^63-39207
    {UINT64_C(9223372036854736543), UINT64_C(2686785460961966292), UINT64_C(5373570921923955459)}, // 2^63-39265
    {UINT64_C(9223372036854736463), UINT64_C(2193755392651656720), UINT64_C(4387510785303332156)}, // 2^63-39345
    {UINT64_C(9223372036854736379), UINT64_C(6891026968962059304), UINT64_C(13782053937924177524)}, // 2^63-39429
    {UINT64_C(9223372036854736373), UINT64_C(7922245269234215392), UINT64_C(15844490538468498527)}, // 2^63-39435
    {UINT64_C(9223372036854736367), UINT64_C(7095941224829408753), UINT64_C(14191882449658878193)}, // 2^63-39441
    {UINT64_C(9223372036854736361), UINT64_C(989147459273107308), UINT64_C(1978294918546223076)}, // 2^63-39447
    {UINT64_C(9223372036854736357), UINT64_C(7418347087311978856), UINT64_C(14836694174624021172)}, // 2^63-39451
    {UINT64_C(9223372036854736349), UINT64_C(3479553642543345259), UINT64_C(6959107285086720290)}, // 2^63-39459
    {UINT64_C(9223372036854736307), UINT64_C(5271621919904897231), UINT64_C(10543243839809839615)}, // 2^63-39501
    {UINT64_C(9223372036854736253), UINT64_C(8902512776365770718), UINT64_C(17805025552731617793)}, // 2^63-39555
    {UINT64_C(9223372036854736217), UINT64_C(6203528491018209405), UINT64_C(12407056982036472066)}, // 2^63-39591
    {UINT64_C(9223372036854736171), UINT64_C(9038202449813671949), UINT64_C(18076404899627421580)}, // 2^63-39637
    {UINT64_C(9223372036854736157), UINT64_C(8544179580419786941), UINT64_C(17088359160839647344)}, // 2^63-39651
    {UINT64_C(9223372036854736063), UINT64_C(245161908022486757), UINT64_C(490323816044975626)}, // 2^63-39745
    {UINT64_C(9223372036854736039), UINT64_C(3203435006199188325), UINT64_C(6406870012398404274)}, // 2^63-39769
    {UINT64_C(9223372036854736021), UINT64_C(5524995391196089641), UINT64_C(11049990782392226948)}, // 2^63-39787
    {UINT64_C(9223372036854736009), UINT64_C(2217696663613848145), UINT64_C(4435393327227715428)}, // 2^63-39799
    {UINT64_C(9223372036854735973), UINT64_C(599049385210466908), UINT64_C(1198098770420938990)}, // 2^63-39835
    {UINT64_C(9223372036854735943), UINT64_C(1529773181029038080), UINT64_C(3059546362058089383)}, // 2^63-39865
    {UINT64_C(9223372036854735941), UINT64_C(4267909743462157878), UINT64_C(8535819486924352651)}, // 2^63-39867
    {UINT64_C(9223372036854735857), UINT64_C(6940888571775872997), UINT64_C(13881777143551806122)}, // 2^63-39951
    {UINT64_C(9223372036854735827), UINT64_C(5422349103235305687), UINT64_C(10844698206470658383)}, // 2^63-39981
    {UINT64_C(9223372036854735751), UINT64_C(1171823005796662665), UINT64_C(2343646011593335508)}, // 2^63-40057
    {UINT64_C(9223372036854735737), UINT64_C(402364981788044104), UINT64_C(804729963576091704)}, // 2^63-40071
    {UINT64_C(9223372036854735671), UINT64_C(1619945857982195274), UINT64_C(3239891715964404646)}, // 2^63-40137
    {UINT64_C(9223372036854735659), UINT64_C(6105089856969335044), UINT64_C(12210179713938723238)}, // 2^63-40149
    {UINT64_C(9223372036854735629), UINT64_C(4402571240676577971), UINT64_C(8805142481353194299)}, // 2^63-40179
    {UINT64_C(9223372036854735607), UINT64_C(4382828013624682671), UINT64_C(8765656027249403547)}, // 2^63-40201
    {UINT64_C(9223372036854735533), UINT64_C(5752965089034782482), UINT64_C(11505930178069615206)}, // 2^63-40275
    {UINT64_C(9223372036854735523), UINT64_C(1338683113741237822), UINT64_C(2677366227482487337)}, // 2^63-40285
    {UINT64_C(9223372036854735521), UINT64_C(543734471065672848), UINT64_C(1087468942131350445)}, // 2^63-40287
    {UINT64_C(9223372036854735439), UINT64_C(7324145805923511703), UINT64_C(14648291611847087518)}, // 2^63-40369
    {UINT64_C(9223372036854735329), UINT64_C(6778195429961032674), UINT64_C(13556390859922124843)}, // 2^63-40479
    {UINT64_C(9223372036854735197), UINT64_C(21401858740049943), UINT64_C(42803717480100074)}, // 2^63-40611
    {UINT64_C(9223372036854735091), UINT64_C(5574728015476208732), UINT64_C(11149456030952466683)}, // 2^63-40717
    {UINT64_C(9223372036854735083), UINT64_C(378994214007903251), UINT64_C(757988428015809848)}, // 2^63-40725
    {UINT64_C(9223372036854735013), UINT64_C(2899951717156244564), UINT64_C(5799903434312514780)}, // 2^63-40795
    {UINT64_C(9223372036854734977), UINT64_C(5188381326865818715), UINT64_C(10376762653731683366)}, // 2^63-40831
    {UINT64_C(9223372036854734971), UINT64_C(8363161839451946384), UINT64_C(16726323678903966824)}, // 2^63-40837
    {UINT64_C(9223372036854734953), UINT64_C(8888455413381884366), UINT64_C(17776910826763847474)}, // 2^63-40855
    {UINT64_C(9223372036854734951), UINT64_C(543473212744962997), UINT64_C(1086946425489930808)}, // 2^63-40857
    {UINT64_C(9223372036854734881), UINT64_C(6687590619933915498), UINT64_C(13375181239867890345)}, // 2^63-40927
    {UINT64_C(9223372036854734831), UINT64_C(699157918869423245), UINT64_C(1398315837738852702)}, // 2^63-40977
    {UINT64_C(9223372036854734809), UINT64_C(4655093107826092725), UINT64_C(9310186215652226834)}, // 2^63-40999
    {UINT64_C(9223372036854734789), UINT64_C(6260374324477423964), UINT64_C(12520748648954903611)}, // 2^63-41019
    {UINT64_C(9223372036854734711), UINT64_C(8981525747392638074), UINT64_C(17963051494785356186)}, // 2^63-41097
    {UINT64_C(9223372036854734683), UINT64_C(5516110864600237230), UINT64_C(11032221729200523650)}, // 2^63-41125
    {UINT64_C(9223372036854734641), UINT64_C(3231759277498620079), UINT64_C(6463518554997269006)}, // 2^63-41167
    {UINT64_C(9223372036854734509), UINT64_C(4967843564838726023), UINT64_C(9935687129677496534)}, // 2^63-41299
    {UINT64_C(9223372036854734461), UINT64_C(8167000778573662586), UINT64_C(16334001557147398394)}, // 2^63-41347
    {UINT64_C(9223372036854734419), UINT64_C(7855314322006709989), UINT64_C(15710628644013490477)}, // 2^63-41389
    {UINT64_C(9223372036854734411), UINT64_C(3455400371739307645), UINT64_C(6910800743478646307)}, // 2^63-41397
    {UINT64_C(9223372036854734383), UINT64_C(2433971930528331002), UINT64_C(4867943861056683867)}, // 2^63-41425
    {UINT64_C(9223372036854734333), UINT64_C(288172363286224521), UINT64_C(576344726572451633)}, // 2^63-41475
    {UINT64_C(9223372036854734327), UINT64_C(3789458969537608063), UINT64_C(7578917939075250211)}, // 2^63-41481
    {UINT64_C(9223372036854734287), UINT64_C(7058937874382036317), UINT64_C(14117875748764136188)}, // 2^63-41521
    {UINT64_C(9223372036854734281), UINT64_C(8623432287754705755), UINT64_C(17246864575509489161)}, // 2^63-41527
    {UINT64_C(9223372036854734279), UINT64_C(4150711252065791094), UINT64_C(8301422504131619565)}, // 2^63-41529
    {UINT64_C(9223372036854734261), UINT64_C(5385130048043893601), UINT64_C(10770260096087835717)}, // 2^63-41547
    {UINT64_C(9223372036854734243), UINT64_C(8795930782623047439), UINT64_C(17591861565246174155)}, // 2^63-41565
    {UINT64_C(9223372036854734203), UINT64_C(5745328891044824829), UINT64_C(11490657782089701490)}, // 2^63-41605
    {UINT64_C(9223372036854734153), UINT64_C(5595300036404827650), UINT64_C(11190600072809705839)}, // 2^63-41655
    {UINT64_C(9223372036854734113), UINT64_C(4647657883974978609), UINT64_C(9295315767949999238)}, // 2^63-41695
    {UINT64_C(9223372036854734111), UINT64_C(1342500668766051355), UINT64_C(2685001337532114848)}, // 2^63-41697
    {UINT64_C(9223372036854734071), UINT64_C(15005322357252516), UINT64_C(30010644714505167)}, // 2^63-41737
    {UINT64_C(9223372036854733987), UINT64_C(2920520582796470752), UINT64_C(5841041165592967988)}, // 2^63-41821
    {UINT64_C(9223372036854733969), UINT64_C(2558357827135189867), UINT64_C(5116715654270402944)}, // 2^63-41839
    {UINT64_C(9223372036854733951), UINT64_C(3656076722000604928), UINT64_C(7312153444001243039)}, // 2^63-41857
    {UINT64_C(9223372036854733829), UINT64_C(3552546344837379793), UINT64_C(7105092689674791923)}, // 2^63-41979
    {UINT64_C(9223372036854733817), UINT64_C(9205913571792474110), UINT64_C(18411827143585032043)}, // 2^63-41991
    {UINT64_C(9223372036854733799), UINT64_C(4571077639904447337), UINT64_C(9142155279808936313)}, // 2^63-42009
    {UINT64_C(9223372036854733787), UINT64_C(2280557817701216941), UINT64_C(4561115635402454662)}, // 2^63-42021
    {UINT64_C(9223372036854733699), UINT64_C(8791291548493535814), UINT64_C(17582583096987151900)}, // 2^63-42109
    {UINT64_C(9223372036854733697), UINT64_C(1183215082630478796), UINT64_C(2366430165260968396)}, // 2^63-42111
    {UINT64_C(9223372036854733663), UINT64_C(4129475195034469567), UINT64_C(8258950390068976872)}, // 2^63-42145
    {UINT64_C(9223372036854733651), UINT64_C(27531938408314448), UINT64_C(55063876816629147)}, // 2^63-42157
    {UINT64_C(9223372036854733621), UINT64_C(2706131492677238536), UINT64_C(5412262985354501827)}, // 2^63-42187
    {UINT64_C(9223372036854733523), UINT64_C(1760348578015547494), UINT64_C(3520697156031111128)}, // 2^63-42285
    {UINT64_C(9223372036854733507), UINT64_C(663996886684523528), UINT64_C(1327993773369053146)}, // 2^63-42301
    {UINT64_C(9223372036854733463), UINT64_C(8854994363764385540), UINT64_C(17709988727528852387)}, // 2^63-42345
    {UINT64_C(9223372036854733409), UINT64_C(1243387648019585717), UINT64_C(2486775296039182865)}, // 2^63-42399
    {UINT64_C(9223372036854733403), UINT64_C(5198782671739704422), UINT64_C(10397565343479456647)}, // 2^63-42405
    {UINT64_C(9223372036854733339), UINT64_C(132792054356476998), UINT64_C(265584108712955218)}, // 2^63-42469
    {UINT64_C(9223372036854733291), UINT64_C(8218224299549626102), UINT64_C(16436448599099327971)}, // 2^63-42517
    {UINT64_C(9223372036854733279), UINT64_C(8198037749710102620), UINT64_C(16396075499420280842)}, // 2^63-42529
    {UINT64_C(9223372036854733267), UINT64_C(4014446921727370111), UINT64_C(8028893843454777253)}, // 2^63-42541
    {UINT64_C(9223372036854733223), UINT64_C(4741725922560870076), UINT64_C(9483451845121783937)}, // 2^63-42585
    {UINT64_C(9223372036854733189), UINT64_C(4355432057181130328), UINT64_C(8710864114362300906)}, // 2^63-42619
    {UINT64_C(9223372036854733183), UINT64_C(1345584119027334641), UINT64_C(2691168238054681718)}, // 2^63-42625
    {UINT64_C(9223372036854733133), UINT64_C(7464278655923295520), UINT64_C(14928557311846660111)}, // 2^63-42675
    {UINT64_C(9223372036854733057), UINT64_C(6576241607717971774), UINT64_C(13152483215436004510)}, // 2^63-42751
    {UINT64_C(9223372036854733031), UINT64_C(8133982096998543595), UINT64_C(16267964193997162639)}, // 2^63-42777
    {UINT64_C(9223372036854732973), UINT64_C(6625780683876111922), UINT64_C(13251561367752285386)}, // 2^63-42835
    {UINT64_C(9223372036854732961), UINT64_C(1819543217260104389), UINT64_C(3639086434520225683)}, // 2^63-42847
    {UINT64_C(9223372036854732943), UINT64_C(4512321337689900425), UINT64_C(9024642675379842791)}, // 2^63-42865
    {UINT64_C(9223372036854732929), UINT64_C(8724198748665710556), UINT64_C(17448397497331502228)}, // 2^63-42879
    {UINT64_C(9223372036854732859), UINT64_C(8609233162756698731), UINT64_C(17218466325513477640)}, // 2^63-42949
    {UINT64_C(9223372036854732821), UINT64_C(4218527404896817250), UINT64_C(8437054809793673822)}, // 2^63-42987
    {UINT64_C(9223372036854732817), UINT64_C(2280073984956184309), UINT64_C(4560147969912389873)}, // 2^63-42991
    {UINT64_C(9223372036854732769), UINT64_C(8772908802434266880), UINT64_C(17545817604868615634)}, // 2^63-43039
    {UINT64_C(9223372036854732751), UINT64_C(496861508594736223), UINT64_C(993723017189477084)}, // 2^63-43057
    {UINT64_C(9223372036854732683), UINT64_C(7411679691465688316), UINT64_C(14823359382931445940)}  // 2^63-43125
};
