Want to earn some cash the hard way? Pomerance, Selfridge and Wagstaff offer $620 to the first person to give an example of a number n = 2 or 3 (mod 5) which is both a base-2 pseudoprime,

We call such numbers Baillie-PSW pseudoprimes. My student Zhuo Chen and I have used standard techniques to construct numbers M, N and sets P of primes with the following property: If A is a subset of P (of size at least 2) and n is the product of the elements in A, then n will be a Baillie-PSW pseudoprimes if n = 1 (mod M) and n = -1 (mod N). One might expect that as A ranges over all the possible subsets of P, n = n(A) will vary randomly over the reduced residue classes of M and N, so if P is large enough, the case n = 1 (mod M) and n = -1 (mod N) should arise. In fact, if

then we have reason to expect that there will be subsets A and Baillie-PSW pseudoprimes n. Zhuo Chen and I have an example where the inequality is just barely realized and one where

is very large. For the smaller example, let

M = 543015110191988716155009520162399059008606754688836243251439
230563575464710791687835688098724832009189470277869669537060
785752672785197199394110876307981160011058597828942839598297
562342

and

N = 115780868171445771283961131055279088092484004244270107571761
190986332787880726232554024651313222527328825909440994955739
554808719363613695289220003964399396746785669377839930519739
165138944

For these M and N we have constructed a set P with 1248 primes. Since

we should expect roughly 740 Baillie-PSW pseudoprimes to be found among the products of elements in subsets of P. Here is our set P:

P = {863, 887, 983, 1163, 1223, 1627, 1787, 1913, 2243, 3083, 4513, 5783, 5903, 6947, 7883, 8087, 8123, 8387, 8863, 9227, 9623, 12503, 14627, 15263, 16427, 16607, 16823, 17747, 19183, 25163, 26387, 28463, 29303, 31063, 32027, 34847, 36583, 43577, 51263, 58427, 59273, 60383, 62423, 67033, 71807, 75167, 76423, 80783, 81083, 89363, 106787, 111427, 114143, 126443, 136483, 138107, 141623, 163327, 186947, 187223, 208223, 208457, 216233, 226643, 231323, 241823, 251063, 259967, 261467, 262543, 291923, 298943, 310697, 312047, 315593, 338707, 348083, 355643, 361943, 372443, 390527, 393727, 396203, 443563, 449303, 468137, 470627, 474983, 491983, 493127, 507347, 530603, 537587, 541763, 550127, 566723, 590963, 638303, 639143, 641867, 665387, 684647, 691897, 729527, 769007, 779983, 901447, 909287, 927683, 970217, 1020143, 1029383, 1108423, 1137167, 1178843, 1210483, 1241423, 1290823, 1345583, 1345787, 1402697, 1454987, 1524587, 1528937, 1571393, 1637687, 1679687, 1715603, 1908943, 1930667, 1966387, 2070863, 2084777, 2167327, 2330903, 2338703, 2468363, 2541593, 2556143, 2570207, 2617987, 2618873, 2641367, 2706047, 2805923, 2832383, 2861363, 2931587, 2943767, 2961067, 2994923, 3043223, 3086423, 3133547, 3254057, 3383423, 3432983, 3471263, 3545783, 3654743, 3952937, 4058867, 4125623, 4332767, 4405367, 4525067, 4649083, 4926167, 4950527, 4979977, 5000927, 5100083, 5116127, 5141963, 5456807, 5479027, 5551193, 5636177, 5830007, 5897627, 5905247, 6076267, 6193367, 6365003, 6474137, 6675107, 7128647, 7279267, 7316297, 7573763, 7751987, 7772543, 7795247, 7914383, 7999463, 8043323, 8088137, 8283263, 8357683, 8625527, 8678783, 8737343, 9137567, 9170297, 9372527, 10257367, 10791647, 10824353, 11467327, 11545943, 11870207, 12585983, 12586913, 12635423, 12739247, 12986863, 13253003, 13669703, 14226647, 14229503, 14524823, 16629827, 16797607, 17402303, 17459263, 17589983, 18332927, 18994643, 20001763, 20125583, 20190847, 20391323, 21982067, 22121663, 23081273, 23453147, 23459003, 23684207, 23892887, 24075143, 24902963, 24969887, 25796207, 26176463, 27484607, 28441873, 28646507, 29602847, 30519143, 30540407, 31017923, 31125503, 31188977, 32629463, 34565207, 35732663, 35875487, 37590263, 38549747, 39481367, 41961167, 42334163, 42769343, 43004183, 43485887, 43674047, 43976033, 44069327, 46091753, 46199833, 46669283, 46857983, 47423807, 48900827, 49198943, 49244183, 49376227, 53203567, 53397583, 55507583, 55683647, 57535103, 58607567, 61076783, 63438217, 64073033, 66123943, 66680267, 67228703, 67625447, 68130743, 70948343, 71270447, 71630723, 72343703, 72483443, 72522713, 73935503, 74534063, 74896907, 78066647, 78716483, 78789023, 83466323, 84669023, 85800443, 85985843, 87020207, 89948927, 90301823, 95837873, 96370073, 97992623, 98282507, 98362703, 101344127, 103375007, 106431137, 109742753, 117649187, 119109407, 120104063, 122851327, 124042913, 124165823, 128222147, 128546687, 129339803, 129342527, 129752243, 130343167, 131657723, 134070227, 135157163, 136504327, 138695327, 139441163, 146317823, 150615167, 153981647, 159359903, 164134427, 168670127, 179363423, 180960083, 183628427, 186779843, 188540927, 190462963, 195275263, 200560403, 200841103, 204476543, 209912327, 217633183, 241529363, 253578827, 254355767, 259987547, 267371183, 267898823, 270112727, 301148063, 305459183, 307089287, 308914427, 309109987, 309156863, 312356087, 315516167, 316813823, 319120127, 319614947, 321303263, 324180683, 333953267, 334007207, 347574683, 350975987, 355385447, 358032383, 358086023, 363005723, 366347567, 368008607, 376706807, 379021547, 389120993, 417406163, 422647807, 436245083, 448188547, 463237367, 465567623, 470871587, 471868447, 473047303, 473214103, 483539057, 496534187, 497855807, 499262147, 516571787, 521657657, 529613963, 537047747, 542789747, 544417067, 544438883, 551571833, 553096223, 554935487, 557781823, 560935303, 572021867, 584466863, 608599727, 640514473, 641954483, 663592697, 665745337, 665906537, 667588847, 674005663, 754371593, 780455807, 783242783, 784575983, 795744223, 797029903, 804643667, 814158647, 821218273, 894691907, 900197803, 911258783, 918483343, 939629843, 946093403, 948761087, 960657223, 982577303, 986224223, 995283563, 1014205583, 1019194907, 1047313177, 1052008847, 1062136367, 1067926507, 1077628063, 1106563193, 1111588927, 1128084227, 1148624387, 1194420683, 1241359787, 1252262027, 1314467527, 1319237603, 1408079177, 1451048497, 1521037883, 1523777543, 1548394703, 1569237443, 1574757887, 1577371513, 1589158367, 1591135967, 1616495723, 1662429683, 1758671657, 1833934607, 1899195047, 1989055043, 2011113407, 2031501977, 2081627423, 2087932927, 2092150763, 2142240323, 2324572433, 2351566187, 2382994727, 2413793033, 2418549407, 2421047177, 2490490367, 2553444953, 2614256123, 2642760023, 2659060223, 2679554987, 2703674807, 2709130103, 2715281423, 2737746203, 2738343343, 2754129407, 2788246163, 2793804287, 2915865863, 2941244723, 2979664547, 3107691017, 3112497467, 3134557183, 3241784603, 3255612263, 3256048223, 3304684007, 3506634323, 3542536223, 3553360127, 3586632323, 3673885307, 3707593163, 3721117193, 3820887743, 3932693503, 3956997383, 4118789663, 4172098687, 4285140107, 4289189087, 4346572127, 4414567193, 4418178857, 4465832183, 4484220623, 4554559547, 4555939207, 4592382803, 4653357983, 4699914623, 4736579047, 4758139583, 4814043383, 4881697423, 4924561223, 4934434787, 4938697817, 5054975963, 5154816167, 5197869223, 5288586467, 5371925063, 5604266123, 5743831367, 5876665607, 6003838387, 6055471787, 6128009777, 6168906143, 6309856127, 6351184403, 6423883607, 6538129487, 6610543727, 6813226067, 6955402847, 6983222503, 7002820007, 7009763407, 7248023903, 7500520543, 7508518187, 7529797367, 7697692763, 7723977623, 7798861247, 7807760707, 7836576023, 8069583523, 8157169183, 8188106207, 8205749147, 8243340407, 8520468713, 8573345567, 8794198627, 8950622423, 8963381363, 9033391487, 9250932023, 9521869463, 9568083227, 9688847807, 9800336963, 9839873663, 10127008187, 10403763743, 10552057577, 10681782583, 10709614393, 10836390527, 10904229467, 10935755027, 11072021927, 11215866527, 11632020227, 11820956183, 12278653823, 12564761777, 12672600767, 12946852043, 13213138207, 13292851027, 13608080963, 14028624937, 14380439543, 14574249047, 14594051743, 14600041667, 14851690523, 15047955763, 15258440303, 15699799403, 15701417027, 15748855487, 16073687303, 16190869787, 16328179943, 16541538287, 16547131807, 17060098823, 17413746127, 17576319923, 17657745407, 17739314927, 19177737143, 19784920007, 20590150547, 20772224747, 20943018623, 21208788647, 21219736063, 22586900267, 22716006587, 23370489143, 23798873663, 23867567167, 23884181687, 24112311827, 25251046343, 25604131607, 26124470927, 26287983863, 27491876987, 27601925063, 28261764863, 28328195003, 29290374527, 29523861953, 29743500503, 30121452287, 30406564273, 30434885183, 30702638423, 31899725527, 32041652273, 32234839577, 33410686703, 33470384777, 33577507583, 33677414527, 34217879273, 34813327823, 35157682367, 35698218263, 37105621577, 38453946623, 39875812127, 41641653503, 43243834607, 43504833023, 43603880027, 44488520423, 44688047743, 45887268527, 46737101087, 46738142903, 47191984127, 48488820467, 48986351867, 49024113503, 50145563483, 51321991247, 51586960223, 52079351543, 52345525247, 53859863023, 54051171767, 54406621487, 56266651807, 58478871527, 59214642623, 59242100807, 60200463443, 62132510483, 63501835583, 63983804147, 64760497523, 65611358207, 65785614623, 66331444427, 67184204543, 67654375847, 68229112463, 69079832123, 69572643887, 70029383327, 70279875863, 70575511423, 71873234207, 72988752383, 74736871483, 75843298607, 77134364927, 77156574923, 77274472273, 77783845487, 79765034353, 81067084883, 81763667963, 81942550847, 82643373647, 86698278083, 87087244943, 88521830567, 89459266723, 90656976167, 93082745087, 94117510943, 95914770983, 96816027647, 97273898303, 97769581703, 98474375273, 98478244583, 99006396023, 102699844703, 105206127667, 106459403363, 106673099807, 106945593497, 107467436987, 107773119007, 108347011823, 108454907723, 110708381123, 111466289663, 112056361727, 118372933183, 120723725207, 121550826743, 122191127423, 122931266123, 128681194223, 130156705667, 131352405623, 131609904863, 132388546553, 133104039727, 135126116927, 135713668703, 138005854403, 138778993007, 140087111327, 140582781827, 142914264767, 143114457683, 143525040383, 145730943023, 148011133163, 154488042983, 156772075463, 158843906047, 159512510483, 162012332987, 162061811647, 163225217663, 165693201353, 181136928767, 182886629507, 185575079447, 187846727903, 188760587387, 190282549913, 191555227103, 192251345303, 192395872943, 197515214927, 205372648223, 208801601447, 219846095827, 223928460323, 233173331483, 235418769527, 238710584687, 242445960017, 244485176027, 252679757087, 253535312843, 272464031897, 273178351307, 274234265483, 286185351887, 293807225227, 295113855383, 303203248307, 311835206807, 315283586507, 332017743067, 337887845927, 347779160423, 348489740873, 376914180323, 378080911007, 384604260083, 387969302393, 390077364167, 399394190843, 404610446423, 426470532377, 428710785497, 434361825263, 441404349443, 443384031743, 444757176137, 449656745903, 449765470043, 471595445063, 472130360423, 492291910223, 502953934247, 503507015447, 520290153503, 532773445247, 581239985327, 610096762367, 611370498047, 619691565023, 620214930287, 624236473043, 642384353087, 643290080707, 643420300423, 667278510623, 669236318843, 673052053343, 677087994857, 686949652223, 701202199433, 701802852143, 746445429377, 763758302207, 786870076903, 821084609927, 824237561087, 832391138303, 850769678783, 852621648383, 853237254143, 864797683103, 919081333817, 923112439523, 949528094327, 949863733417, 953373880457, 963609250223, 981397138697, 990853768607, 1020598138463, 1051894006073, 1065083711903, 1127093163743, 1128539777207, 1142489071643, 1183767943103, 1190588560127, 1243877313407, 1257079296923, 1272188494487, 1316838893567, 1364159890367, 1372505754383, 1413748834963, 1434589392167, 1464384259007, 1494618859007, 1525865691503, 1538346605993, 1630929108383, 1705700545823, 1709517344497, 1730825526803, 1802198964323, 1838357016623, 1878852078923, 1894761487127, 1899533151647, 1959767323667, 1990383593347, 1995521316287, 1998500526233, 2022288341243, 2033321499263, 2071268833457, 2136097090247, 2145485453723, 2169793771577, 2174093172287, 2178821546963, 2199279734783, 2326414319503, 2342255921903, 2350076683007, 2423109012803, 2429082620777, 2441660011883, 2460059170703, 2470581524783, 2488010874623, 2616161958167, 2652438032063, 2782849103087, 2902524645193, 2954670732287, 2990741565127, 3017462832023, 3262390440713, 3278449605887, 3298555001393, 3576834852953, 3605209984247, 3697043036807, 3714674652287, 3735152288537, 3816665705753, 3885530010623, 4016259792767, 4027837961123, 4139369857043, 4294517338967, 4312142565407, 4380652468903, 4461959259647, 4483239739967, 4502107469987, 4538733748667, 4562246267567, 4676774595767, 4698158842343, 4706924626223, 4810610219927, 4890172932107, 4894917820847, 5124053395007, 5135534527103, 5184050464727, 5209731276947, 5352254947643, 5378846512607, 5404835859263, 5536666816367, 5691456372103, 5823941725183, 6018574293863, 6059693412827, 6125407956347, 6155030027483, 6376144533383, 6557535175283, 6709948966423, 6713189931527, 6768001948303, 6769194121187, 6872003512487, 7277043465983, 7419058032527, 7876199258747, 8356903243027, 8470131862103, 8593380468527, 8718051130793, 8734297613263, 8773273278953, 8804017118527, 9797878552337, 9941530087763, 10095507845567, 10333289190527, 10531005991423, 11275121217337, 11387239839743, 11644561451423, 11835071089843, 12014357908463, 12440670068807, 13452204324443, 13533270752303, 13721415386687, 13876836701183, 14043703729823, 14110293581567, 14862689480627, 14942722262057, 14963410505863, 14982754682267, 15542888784767, 16119160223183, 16238826243323, 16487665341673, 16714503129983, 17069939406647, 17106148291247, 17177997423707, 17575111738367, 17797362916607, 17966200211723, 18243982681913, 18438858954127, 18688963673087, 19175120908763, 19509796075487, 20109780496387, 20889949519727, 21371729902307, 21429057962443, 21541582541207, 21738100103543, 22081520832407, 23069358987263, 23919501441083, 23954640367127, 24188858798267, 24961469863247, 25335893253217, 25488038664593, 25753824071543, 26287532467487, 26488492357367, 27289271482103, 28149388242047, 28171584511487, 28262597853967, 28835419675193, 28835819974697, 29743702527527, 31391966306303, 31665790632743, 33045222889043, 34090183309823, 34691326062667, 34819041938123, 37971378452603, 38403430073513, 39029184804793, 44609274621647, 46528568738387, 47208527312003, 47574169202393, 47751228715607, 48976235814923, 48991554485807, 49861489910807, 50106759151247, 54091386392663, 54444157197263, 57627793939913, 58404407545097, 58472704599443, 58526157391703, 60695134007903, 63138504709463, 69314188986953, 70307641479167, 75264281121023, 79343085280343, 79869088531303, 82692047798963, 83992440431033, 84001540362247, 84532213016063, 84822295582727, 99559820381867, 102993994277063, 105230383323983, 110005887965003, 110945019501187, 113633506740407, 120042490455863, 120602877711467, 124397641245203, 128142678553163, 129954848369147, 135398666795003, 137319952915367, 145157075652863, 154364599607723, 164894852521673, 167687254125203, 169836252719407, 183921160720223, 186823652712383, 200572104941807, 201824305105697, 203322745412027, 221932299412163, 222277496626187, 231109530385553, 233107289418923, 238453525274507, 260629828470233, 267279580983983, 269104445796383, 274986771848447, 288267772540907, 293079130665023, 298609875588473, 309925800963887, 315473895569387, 329814040529663, 357750004443443, 362456043207623, 373921888310783, 384484764172447, 391239205685423, 395898824233403, 401434010604607, 436157332516223, 468907481792023, 487584510410687, 496068663699967, 497498451531047, 508504944635747, 518522759983103, 552358247670503, 574303387593167, 581046149349527, 581088514770377, 584646720898283, 585736010818463, 611596605685943, 648781987621727, 650314010152007, 667914192268703, 669979614393407, 703320573850217, 713693099918033, 714834346965623, 725443977046153, 818948782153727, 916393257376703, 960610908428263, 997048364600543, 998802428313887, 1141901826059303, 1188576134112487, 1201138450182863, 1320082944650023, 1548186115403663, 1572745750974143, 1598427034938623, 1625525752133183, 1767966570871327, 1810579518464987, 1853417073906287, 1924949429175347, 1965753410708783, 2080865183742047, 2127283102134107, 2139330369456983, 2164534664396183, 2170336947888383, 2279399363334143, 2469637711494227, 2559410399915687, 2630353056293663, 2692105589372543, 2695581147564287, 2796404424426887, 2817026568310607, 2989013303055313, 3018392485876223, 3066816236541023, 3908061836718467, 4189113357036947, 4535992281608243, 4638715138319627, 5094755482837247, 5251297375106963, 5365199784604703, 5399464083024383, 5938745661489343, 6117827598944447, 6450948505065023, 7594248715463303, 7884079937004923, 8683138957801247, 9208004972846503, 9707581708165043, 10542740065157483, 10867457355817193, 11820057394747967, 11988341075724287, 12254761058373107, 13988620709182943, 15152940949655783, 18887676241350047, 19814767534568267, 21923041851764063, 22027536549552847, 25707319731247967, 25721738981811167, 26717910951598343, 27131980202233583, 29399955234058943, 29412099782584793, 34056680697626927, 34661464933567337, 37279705684643927, 46234518137351147, 47126310633551423, 49247540110328353, 59535360355814207, 62098195231404593, 84983930224357823, 102984237802865407, 103309472341461527, 207116344937416643, 276244318258676447, 298743464833915193, 321213295682666297, 339675247367843423, 465344500356689087, 556530185388823703, 715197509348167633, 813118929186953663, 830782855272219263, 1822207242914724863, 2879214714933236387, 2963825916963982127, 3015254699947637023, 4492474857843709367, 6158640462803916287}



For a more extreme example, let

M = 391503310121204881113221826377421073230588550480847994760111
437264285933394797561252633748976272034752759144054959758356
281631740751422332870766577461271728486411722501243608126322
081539854254895422161780480832565829680409393157195431459784
481602760641763660786715059347404742

and

N = 234140225752418688005464457713566506358755719892017711133836
422331572174538952682649975569313518021383999970255887289214
770286598356807954528507483688540755157670239035842269509644
277978341717565068329104640284794943619967653440781565902586
799586600590853417916276540721230114816

Here, we have constructed a set P with 4838 elements (so far--we are hoping to get more than 5000). Since

this means that we should have some

examples floating around as subset products in P. All you have to do to collect $620 is find one of these examples! Here is the set P for this case:

P = {1627, 1787, 1913, 2207, 2243, 2447, 3083, 4513, 5323, 5783, 5903, 6947, 7577, 7883, 8087, 8123, 8387, 8863, 9227, 9623, 12503, 14627, 15263, 16427, 16607, 16823, 17747, 18593, 19183, 21503, 25163, 26387, 28463, 29303, 31063, 32027, 34847, 36583, 38723, 43577, 44483, 48623, 51263, 55343, 58427, 59273, 60383, 62423, 67033, 71807, 75167, 76423, 80783, 81083, 88667, 89363, 99923, 106787, 111427, 113123, 114143, 115783, 126443, 136483, 138107, 141623, 149627, 163327, 178907, 186947, 187223, 208223, 208283, 208457, 216233, 222587, 226643, 231323, 241823, 243367, 251063, 251903, 259967, 261467, 262543, 290767, 291923, 298943, 306587, 310697, 312047, 315593, 327967, 338707, 348083, 355643, 361943, 367883, 372443, 390527, 393727, 396203, 414467, 422363, 443563, 449303, 450643, 468137, 470627, 474983, 491983, 493127, 507347, 530603, 537587, 541763, 550127, 566723, 590963, 631843, 638303, 639143, 641867, 665387, 665953, 684647, 691897, 692273, 729527, 769007, 779983, 801607, 829123, 830327, 876103, 901447, 909287, 927683, 970217, 981023, 988343, 992843, 1008467, 1020143, 1029383, 1108423, 1137167, 1178843, 1180447, 1200383, 1210483, 1217207, 1222537, 1241423, 1244447, 1286783, 1290823, 1302227, 1325867, 1334327, 1345583, 1345787, 1402697, 1454987, 1524587, 1528937, 1571393, 1637687, 1679687, 1685447, 1715603, 1855267, 1908943, 1913993, 1930667, 1966387, 2024387, 2031443, 2070863, 2084777, 2119967, 2167327, 2215097, 2243207, 2294113, 2330903, 2338207, 2338703, 2386567, 2397383, 2468363, 2479283, 2541593, 2556143, 2570207, 2617987, 2618873, 2641367, 2706047, 2805923, 2832383, 2861363, 2882447, 2898527, 2931587, 2943767, 2961067, 2990783, 2994923, 3030857, 3043223, 3068927, 3086423, 3133547, 3179983, 3209183, 3254057, 3380633, 3383423, 3432983, 3442183, 3471263, 3545783, 3654743, 3672007, 3694463, 3729503, 3844583, 3952937, 3988427, 4058867, 4125623, 4134887, 4223207, 4332767, 4405367, 4525067, 4551983, 4649083, 4716527, 4807967, 4926167, 4950527, 4972607, 4979977, 5000927, 5009167, 5069963, 5100083, 5116127, 5141963, 5208367, 5272307, 5451503, 5456807, 5479027, 5500223, 5551193, 5597873, 5636177, 5645903, 5699807, 5777423, 5790527, 5830007, 5897627, 5905247, 5929967, 6041507, 6076267, 6193367, 6365003, 6474137, 6600707, 6675107, 6792983, 6910703, 7048007, 7128647, 7145867, 7197023, 7216367, 7279267, 7316297, 7335707, 7541063, 7573763, 7751987, 7759007, 7772543, 7795247, 7914383, 7999463, 8043323, 8088137, 8206703, 8283263, 8326727, 8357683, 8528783, 8531903, 8605607, 8625527, 8668817, 8678783, 8737343, 8841983, 9066307, 9101177, 9106627, 9137567, 9170297, 9259433, 9287167, 9372527, 9417703, 9654167, 9777073, 9871607, 10257367, 10299503, 10308383, 10639763, 10791647, 10824353, 10847807, 10884163, 11047703, 11252567, 11467327, 11545943, 12403583, 12425687, 12585983, 12586913, 12635423, 12739247, 12861227, 12986863, 13253003, 13506047, 13669703, 13857803, 14030657, 14226647, 14229503, 14363423, 14524823, 15796223, 15922097, 16420223, 16629827, 16659707, 16797607, 16823903, 16967903, 17402303, 17458183, 17459263, 17589983, 17703187, 17789903, 18147743, 18332927, 18990767, 18994643, 19075583, 19211063, 19740137, 20001763, 20125583, 20190847, 20391323, 20765183, 20926553, 21198347, 21839057, 21982067, 22121663, 22299503, 22596857, 22861633, 22986923, 23081273, 23424227, 23453147, 23459003, 23684207, 23865623, 23892887, 24075143, 24902963, 24969887, 25681127, 25796207, 25922543, 26173187, 26176463, 26481113, 26535167, 26714143, 27484607, 27660977, 28441873, 28546103, 28646507, 29075177, 29602847, 29646107, 29783687, 30204107, 30519143, 30540407, 30856223, 31017923, 31125503, 31188977, 31344553, 31746367, 32069707, 32629463, 32792063, 33120623, 33125903, 33449807, 34022207, 34565207, 35732663, 35875487, 37590263, 37696163, 38381027, 38549747, 38750083, 39107183, 39271223, 39481367, 40802303, 41961167, 42126463, 42334163, 42769343, 43004183, 43435103, 43485887, 43674047, 43857887, 43976033, 44069327, 44788103, 45431423, 45437003, 46091753, 46199833, 46669283, 46857983, 47200463, 47270063, 47423807, 47448367, 48005423, 48126193, 48170383, 48900827, 49123367, 49198943, 49202567, 49244183, 49376227, 50021063, 50296487, 50799143, 50970643, 51282787, 52046473, 52968163, 53203567, 53397583, 54780163, 54978047, 55507583, 55683647, 56174147, 56697467, 57535103, 57617107, 57953827, 58607567, 58934783, 60740657, 61076783, 61183487, 61585423, 61959913, 62547227, 63438217, 64073033, 64924427, 66123943, 66299903, 66391313, 66680267, 67098047, 67228703, 67625447, 67648547, 68130743, 69242543, 69995507, 70948343, 71191823, 71270447, 71630723, 71880383, 72343703, 72483443, 72522713, 73935503, 74534063, 74896907, 75001463, 76761023, 77404463, 77461247, 78066647, 78716483, 78789023, 78861667, 79154107, 79411337, 79633163, 79992403, 80093543, 82060427, 82527667, 83420927, 83466323, 83574457, 83831827, 84669023, 84918347, 85800443, 85985843, 87020207, 87924383, 88881983, 89198567, 89758943, 89948927, 90301823, 90413353, 91121843, 91127167, 93383267, 95837873, 95994623, 96370073, 97468883, 97992623, 98282507, 98362703, 100361347, 101344127, 103375007, 104619113, 106431137, 107135423, 109742753, 112943027, 115145683, 117120683, 117324887, 117476963, 117518903, 117649187, 118418987, 119109407, 120104063, 120132143, 121392143, 122341867, 122851327, 124042913, 124165823, 124877783, 128102567, 128222147, 128546687, 129339803, 129342527, 129752243, 130343167, 130571107, 131657723, 134070227, 134596043, 135157163, 136504327, 138695327, 139441163, 141097967, 143267167, 143598023, 143945687, 144795323, 146042027, 146063387, 146317823, 147732107, 148747763, 150615167, 151453727, 153599087, 153981647, 154164427, 156063863, 158847707, 159111383, 159359903, 160941623, 164134427, 164156567, 165524147, 166765307, 167700443, 168670127, 168990307, 173126507, 173307383, 173504297, 179363423, 180960083, 182298047, 183628427, 184243667, 186644753, 186779843, 187817183, 188138543, 188540927, 189667697, 190462963, 193494263, 195180263, 195275263, 197890207, 199463447, 200560403, 200841103, 201121727, 202355827, 202415903, 202648343, 204263567, 204476543, 206377393, 206705843, 207875963, 209912327, 216047567, 217633183, 218519087, 218530523, 219427027, 220033067, 227551403, 229813847, 230183903, 231593273, 236178377, 236463743, 239448527, 241529363, 245916287, 251861387, 253578827, 254355767, 257029847, 259987547, 265728143, 267146923, 267371183, 267898823, 268667183, 270112727, 272928527, 280286987, 282583043, 294618307, 301148063, 303593963, 305459183, 307089287, 308914427, 309109987, 309156863, 312356087, 315516167, 316813823, 317561987, 319120127, 319614947, 319951103, 321303263, 322269407, 324180683, 328469993, 333918313, 333953267, 334007207, 336664943, 338827507, 340476683, 340741223, 342361007, 346017743, 347574683, 350975987, 355385447, 358032383, 358086023, 358919723, 361695287, 363005723, 365879183, 366240527, 366347567, 367183657, 367673567, 368008607, 370707947, 371257343, 375107903, 376706807, 379021547, 385863167, 389120993, 390123007, 393769423, 394314623, 402141143, 412147607, 412991567, 417406163, 422647807, 436245083, 440664683, 441691687, 448188547, 448913207, 451213067, 453250283, 453374657, 462817087, 463237367, 463310927, 465567623, 466412083, 468124043, 470871587, 471868447, 472853567, 473047303, 473214103, 477607463, 478213667, 480976763, 483539057, 490667663, 493543247, 496534187, 497855807, 499262147, 508780247, 510651107, 511994393, 516571787, 521657657, 523207523, 527264593, 527339723, 529613963, 530923667, 537047747, 542789747, 544417067, 544438883, 551571833, 552452903, 552573823, 553096223, 553928027, 554935487, 557781823, 560935303, 565201817, 572021867, 574157183, 580227467, 584466863, 585234203, 596055167, 600117407, 600704563, 604093247, 606179423, 608599727, 617821943, 628082927, 636688187, 637314823, 640514473, 641954483, 645414043, 649767743, 655235327, 661832207, 663347833, 663592697, 665745337, 665906537, 667588847, 671297257, 672568313, 674005663, 689495003, 691716827, 696187223, 700838903, 713953007, 715074263, 715121723, 720495647, 721641607, 748588823, 754371593, 769248673, 773794547, 780455807, 783242783, 784575983, 795744223, 797029903, 804643667, 814158647, 821218273, 833233103, 851573087, 886695083, 894691907, 895976303, 898555507, 900197803, 911258783, 915622793, 916525307, 918483343, 923797163, 928086167, 937725167, 939629843, 946093403, 948761087, 955728113, 960657223, 961555583, 964372553, 967169207, 969479603, 976022027, 982385387, 982577303, 983711087, 985015487, 986224223, 995283563, 1002848843, 1008357767, 1012444063, 1014205583, 1019194907, 1032602183, 1034291987, 1039250843, 1044971783, 1046261123, 1047313177, 1052008847, 1057826303, 1060634303, 1062136367, 1067926507, 1073070863, 1076694503, 1077628063, 1078827943, 1084507103, 1096876127, 1097944363, 1106563193, 1111588927, 1111751747, 1128084227, 1132731763, 1146788063, 1148624387, 1151650943, 1165649267, 1168488647, 1175102387, 1175799083, 1186565087, 1189123307, 1193854187, 1194420683, 1205120743, 1219522487, 1231947263, 1233739313, 1234443263, 1240469183, 1241359787, 1241511017, 1250168303, 1252262027, 1271403017, 1302181847, 1310428367, 1314467527, 1319237603, 1346070833, 1356345407, 1358706707, 1374130447, 1408079177, 1432579583, 1451048497, 1464889183, 1469403953, 1471874447, 1477361987, 1495305587, 1495472057, 1497817007, 1498832747, 1501691993, 1508219987, 1521037883, 1523777543, 1537931267, 1548394703, 1555513417, 1558191623, 1562749567, 1569237443, 1574757887, 1577371513, 1583940863, 1589158367, 1590641903, 1591135967, 1603005343, 1616495723, 1631549123, 1662429683, 1665773887, 1693445363, 1730072387, 1758671657, 1764195487, 1768752827, 1777913387, 1820943167, 1833934607, 1859157743, 1875124847, 1879367183, 1899195047, 1927302497, 1931449343, 1952923103, 1958231087, 1965135467, 1979918207, 1989055043, 2009976473, 2011113407, 2029458463, 2031501977, 2069791943, 2073095207, 2081627423, 2081798987, 2085221027, 2087932927, 2092150763, 2134358123, 2136619907, 2142240323, 2151478687, 2162316287, 2165528747, 2184530687, 2200291367, 2240748193, 2241295967, 2255874323, 2293115963, 2324572433, 2351566187, 2380570043, 2381807177, 2382994727, 2387526527, 2413793033, 2418549407, 2421047177, 2446263803, 2461456523, 2484073217, 2490490367, 2515294583, 2553444953, 2579786983, 2614256123, 2642760023, 2659060223, 2677417577, 2679554987, 2695508507, 2702665463, 2703674807, 2704550507, 2709130103, 2712670243, 2715281423, 2734184483, 2737746203, 2738050127, 2738343343, 2754129407, 2757367007, 2766353903, 2788246163, 2793804287, 2800072367, 2915865863, 2916747107, 2921008543, 2935335287, 2941244723, 2959240463, 2979664547, 2994719183, 3035873387, 3036550193, 3042448753, 3076398067, 3099532283, 3100801103, 3107691017, 3112497467, 3117634577, 3125071307, 3134557183, 3146030603, 3155761967, 3160671323, 3162906727, 3165354377, 3168296323, 3183993947, 3216746807, 3234622763, 3241784603, 3255612263, 3256048223, 3292330367, 3304684007, 3373539947, 3379650047, 3400006663, 3406627787, 3439829807, 3491734247, 3494859587, 3506634323, 3539408867, 3542536223, 3553360127, 3584879873, 3586632323, 3617447963, 3673885307, 3703444403, 3707593163, 3709361147, 3721117193, 3728050223, 3739993073, 3755632667, 3784939607, 3796667687, 3818852927, 3820887743, 3856779943, 3919682803, 3927390107, 3932693503, 3956997383, 4013832443, 4028407433, 4079065427, 4118789663, 4123526123, 4152472937, 4163788127, 4172098687, 4180644737, 4182748763, 4229265167, 4253643727, 4285140107, 4289189087, 4321574447, 4346572127, 4360599143, 4414567193, 4418178857, 4429780727, 4462299287, 4465832183, 4475010803, 4484220623, 4487089727, 4514106823, 4543584767, 4554559547, 4555939207, 4564845743, 4592382803, 4653357983, 4660671083, 4663190603, 4699914623, 4736579047, 4740117887, 4758139583, 4791884723, 4802497883, 4814043383, 4881697423, 4913398967, 4916771627, 4924561223, 4934434787, 4938697817, 4993097903, 5028910763, 5054975963, 5074337987, 5076872267, 5134336793, 5154816167, 5164083227, 5195301443, 5197869223, 5240195927, 5255636543, 5288586467, 5344553663, 5371925063, 5378684327, 5415268777, 5440217903, 5446487723, 5604266123, 5743831367, 5861325023, 5876665607, 5926048787, 5999809007, 6003838387, 6011038547, 6033906343, 6037676807, 6055471787, 6072432263, 6074912527, 6125988527, 6128009777, 6168906143, 6201084977, 6215527943, 6236799167, 6239333627, 6241869817, 6309856127, 6351184403, 6360581347, 6423883607, 6483331247, 6533659163, 6538129487, 6585978647, 6610543727, 6630983243, 6649960367, 6712591337, 6750625067, 6775566137, 6779741567, 6813226067, 6884498783, 6938981183, 6955187507, 6955402847, 6977804723, 6983222503, 6997159607, 7002820007, 7007618483, 7009763407, 7030777283, 7055724607, 7059951193, 7129589003, 7193983057, 7222535027, 7236576247, 7248023903, 7249828787, 7252764863, 7265599127, 7266927847, 7455375383, 7500520543, 7508518187, 7529797367, 7571188223, 7652394683, 7656637367, 7697692763, 7723977623, 7798861247, 7807760707, 7836576023, 7851982927, 7854195287, 8010222743, 8069583523, 8101117183, 8157169183, 8185803887, 8188106207, 8205749147, 8211248267, 8243340407, 8247561767, 8309264083, 8342473067, 8406577097, 8520468713, 8573345567, 8642254463, 8650151927, 8658078983, 8671830623, 8794198627, 8841332543, 8908603433, 8950622423, 8953525673, 8963381363, 9033391487, 9142963607, 9169227887, 9205266617, 9239828567, 9247113983, 9250932023, 9252603623, 9289992707, 9315103697, 9502777883, 9521869463, 9568083227, 9688847807, 9744677567, 9777185783, 9800336963, 9839873663, 9922450553, 9949258307, 9986271443, 10002183647, 10044486187, 10066113727, 10127008187, 10141072967, 10183941503, 10237405847, 10403763743, 10414067603, 10552057577, 10557002587, 10627864703, 10681782583, 10706518127, 10709614393, 10794436703, 10836390527, 10904229467, 10926698183, 10935755027, 11029480393, 11072021927, 11152659407, 11215866527, 11515940927, 11560988783, 11632020227, 11820956183, 11915660233, 12111189353, 12128043383, 12162046703, 12223382063, 12243820067, 12278653823, 12282565367, 12363985583, 12379934783, 12392734943, 12467945807, 12560921927, 12564761777, 12672600767, 12729272063, 12732884873, 12946852043, 13086426473, 13174270943, 13179946943, 13181083847, 13189085183, 13213138207, 13266577367, 13292851027, 13500498527, 13608080963, 13621548467, 13694743583, 13737712103, 13844982607, 13855300937, 14028624937, 14129720207, 14141751443, 14150817713, 14270932187, 14380439543, 14408816927, 14574249047, 14594051743, 14600041667, 14654482187, 14662290287, 14824806127, 14851690523, 15033698807, 15047955763, 15163994623, 15258440303, 15556532987, 15620152283, 15624926123, 15685108937, 15699799403, 15701417027, 15748855487, 15966138323, 15972243227, 16073687303, 16189879283, 16190869787, 16233255827, 16328179943, 16364160347, 16429828907, 16451954543, 16466284447, 16538621087, 16541538287, 16547131807, 16645284527, 16798043657, 16853115647, 17060098823, 17295829847, 17359601507, 17375026943, 17413746127, 17576319923, 17657745407, 17739314927, 17921206703, 17950380407, 17951736703, 18226138823, 18321441673, 18379777327, 18552044603, 18579631547, 18625520447, 19177737143, 19191470033, 19235063807, 19712317367, 19729292987, 19753234103, 19784920007, 19787421113, 19822523423, 19864652543, 19883116223, 20121013043, 20590150547, 20694608747, 20731671223, 20740377743, 20772224747, 20801901823, 20882161163, 20943018623, 20957801993, 21107231177, 21117063943, 21208788647, 21219736063, 21261391223, 21293671673, 21350652527, 21487871627, 21567931967, 21847991327, 21997399427, 22051737023, 22155919367, 22510727927, 22555499243, 22586900267, 22716006587, 23279352583, 23370489143, 23584394527, 23639646683, 23708288867, 23742159407, 23798873663, 23867567167, 23884181687, 24112311827, 24270362527, 24452732747, 24670529063, 24963567947, 24973115987, 25251046343, 25254866687, 25604131607, 25926195227, 26124470927, 26208697103, 26287983863, 26465462927, 26656981667, 26851680143, 26888856607, 27059795183, 27152415223, 27168251207, 27188663083, 27278232307, 27439048547, 27440753663, 27491876987, 27492446483, 27533896703, 27601868303, 27601925063, 27611953643, 27674889887, 27907924553, 28235019023, 28261764863, 28305902423, 28328195003, 28385918263, 28416744623, 28452570947, 28943138407, 29290374527, 29429725487, 29501803007, 29523861953, 29544744167, 29656068947, 29743500503, 29839395497, 30121452287, 30406564273, 30434885183, 30441626863, 30702638423, 30823640303, 31511407663, 31647700127, 31869212363, 31899725527, 32000933513, 32041652273, 32047958447, 32084918863, 32234839577, 32398736927, 32467247807, 32565323753, 32573769623, 32803619287, 33410686703, 33470384777, 33522125183, 33577507583, 33627655223, 33673272587, 33677414527, 33699437207, 33743219737, 33749572823, 33837771647, 34172095487, 34186345163, 34217879273, 34223782643, 34251787313, 34279924787, 34310591827, 34428605443, 34679113303, 34813327823, 34906335803, 35157682367, 35633952583, 35648418863, 35698218263, 35836217327, 35947705067, 36071558027, 36195862823, 36588376043, 37054939913, 37105621577, 37248740743, 37280325937, 37800137443, 37931168087, 38229717347, 38368450823, 38453946623, 38677957127, 38750262737, 38759490953, 38931902927, 39069767483, 39273232447, 39591373193, 39752250443, 39753002537, 39871105067, 39875812127, 39973221143, 40177773287, 40180535027, 40519227227, 40542179903, 41327362207, 41641653503, 41989138063, 42075459287, 42314441303, 42813799057, 43020109967, 43210689887, 43243834607, 43279966283, 43504833023, 43603880027, 43707206663, 44001757307, 44023754947, 44172600827, 44275444223, 44488520423, 44506639763, 44535208243, 44688047743, 44866980107, 45070597027, 45115070183, 45201429743, 45359536723, 45362423303, 45452110607, 45594252107, 45628584107, 45887268527, 46103908607, 46143210647, 46217054927, 46424840687, 46707476063, 46737101087, 46738142903, 46806644747, 46973420537, 47191984127, 47329068203, 47460208283, 47472537023, 47528067113, 47936455883, 48254998643, 48488820467, 48713335087, 48986351867, 49024113503, 49157817983, 49381393577, 49979853863, 50145563483, 50408798287, 50896020103, 51263432417, 51320193527, 51321991247, 51586960223, 51684979967, 52079351543, 52329291743, 52345525247, 53192270783, 53327331583, 53492736263, 53859863023, 53978497847, 54051171767, 54218389513, 54406621487, 54643270907, 56266651807, 56708267647, 56742643847, 56865992003, 56887803827, 57415014193, 57896839103, 58310215643, 58407051347, 58478871527, 58523265907, 58529055743, 59214642623, 59242100807, 59247851783, 59481869567, 59623721483, 60128819483, 60200463443, 60414260947, 60940562183, 61528714073, 61961394647, 62132510483, 62672606207, 62926137227, 63200215187, 63501835583, 63886797347, 63983804147, 64407393863, 64467074303, 64760497523, 65155811327, 65611358207, 65785614623, 66331444427, 67184204543, 67262010887, 67654375847, 67986543167, 68229112463, 68409895487, 68743790543, 69079832123, 69130151507, 69258842143, 69572643887, 69576410803, 70014846527, 70029383327, 70279875863, 70418620463, 70575511423, 71277564863, 71873234207, 72499135763, 72879996463, 72988752383, 73199536483, 73410372407, 73577141503, 73779224143, 74347370723, 74647814287, 74736871483, 74837544737, 75843298607, 76051737763, 76061323703, 76286128643, 76326024923, 76690745567, 76703841323, 76805108927, 77134364927, 77156574923, 77255209727, 77274472273, 77783845487, 78506980423, 79765034353, 80297568023, 81044972303, 81067084883, 81340392407, 81763667963, 81942550847, 82460205283, 82643373647, 82721401127, 83064669143, 83362180763, 83364548387, 83632990967, 83633277023, 83777084483, 83957340617, 86473859273, 86583361523, 86698278083, 87021590303, 87087244943, 87371578627, 87650120777, 87655061903, 87903584603, 88250606207, 88302780407, 88521830567, 88959690727, 89074918943, 89357923313, 89459266723, 89617027337, 89893137407, 90146068763, 90432021347, 90656976167, 91729385063, 91917303353, 92399893727, 92406054527, 92537075327, 93082745087, 94117510943, 94758832393, 95369512643, 95806150217, 95914770983, 96400443263, 96544865783, 96816027647, 97273898303, 97769581703, 97800544297, 98474375273, 98478244583, 98636647103, 98674485323, 99006396023, 99097174723, 100355854607, 100368738233, 100857818687, 101674633103, 101895277823, 102121338127, 102637121273, 102699844703, 103222067327, 103609421567, 103868123903, 104299834367, 104743903967, 105206127667, 106092760817, 106394390783, 106459403363, 106673099807, 106945593497, 106958367647, 107467436987, 107611248473, 107773119007, 108244464227, 108347011823, 108454907723, 108573186023, 108726511583, 108992355083, 109745256167, 110356128863, 110467678793, 110708381123, 111466289663, 111665918537, 112056361727, 113180708603, 113349150023, 113608397423, 114421167407, 114595618463, 114897798377, 115060138883, 115156236287, 117722485007, 118108555163, 118310034743, 118372933183, 118745403863, 119217291667, 119383130107, 120723725207, 121521674233, 121550826743, 122191127423, 122931266123, 123181357463, 124848074543, 125465782583, 125810541823, 126447010847, 126986974207, 127001904793, 127191867923, 127739629993, 128001122687, 128675151263, 128681194223, 128736094607, 129425931623, 130156705667, 130824151583, 131122008827, 131352405623, 131493945887, 131609904863, 131810108137, 131919650297, 132388546553, 133104039727, 133825320287, 133904605657, 135126116927, 135179247947, 135626714567, 135713668703, 137290343087, 137570612327, 137707122463, 138005854403, 138402464903, 138778993007, 139458348527, 139517608063, 139841191907, 140079189923, 140087111327, 140582781827, 140963791823, 141525456983, 141996838847, 142356382967, 142670117423, 142914264767, 143088799127, 143114457683, 143525040383, 143744779967, 143980046323, 144793282103, 145730943023, 145882463183, 145932721307, 147713563667, 148011133163, 148901784767, 149185353203, 149855333993, 150013172663, 150020615903, 150726601457, 152428433207, 153175185503, 154488042983, 155132028143, 155218972763, 155676479687, 155730029417, 156439463363, 156772075463, 157099914623, 158843906047, 159200034767, 159512510483, 159595177067, 159707871593, 160029959447, 160086091223, 160331600017, 162012332987, 162061811647, 162405284147, 163012124227, 163044625297, 163225217663, 163293406847, 164729157503, 165133739447, 165693201353, 167652447647, 168050494463, 170089457273, 170956160467, 171529094423, 173001715153, 173042073983, 175960152967, 175977718883, 176745676067, 177049817183, 177653236727, 178167119327, 178938543743, 180087111647, 181013779913, 181136001023, 181136928767, 181360635587, 182001030947, 182833777967, 182886629507, 183941338103, 185483826503, 185575079447, 185793142193, 186104122367, 187358782313, 187846727903, 188760587387, 190282549913, 191230640687, 191555227103, 192251345303, 192395872943, 194258799827, 194335945847, 196666832393, 197515214927, 199156979663, 200197823723, 201476838347, 202113831287, 202643776427, 205372648223, 206631774953, 206995683113, 208516163903, 208548276217, 208801601447, 209965727897, 210364390367, 210996950447, 211331988323, 211709814527, 214478542097, 214481761937, 215431588667, 219846095827, 220213887233, 223928460323, 224930395607, 225709717403, 226140166163, 227136766427, 228204450787, 228656118503, 229128856703, 229568284667, 230432811487, 230515263527, 230647122287, 231084189913, 232160629247, 232658838143, 233173331483, 233885290367, 234118815577, 235418769527, 236058466697, 237733094873, 238710584687, 238916402687, 239102448383, 240212798143, 240572675183, 240815113547, 242445960017, 243682029887, 244485176027, 244811507543, 245197688867, 245621784347, 245826439783, 247849932527, 252260651183, 252679757087, 252818892383, 252923282207, 253535312843, 253584762947, 259153066607, 259444068803, 261013516103, 261144502847, 262325721547, 263197586387, 264877590023, 272464031897, 273178351307, 274234265483, 275196704903, 275936250367, 276953609147, 277063173143, 277987768607, 278691321247, 284243283647, 286055405807, 286101771047, 286185351887, 288619492127, 290122877123, 291626843903, 293807225227, 295113855383, 296595210647, 297339693983, 299450843903, 300360538943, 300814784167, 301468962887, 301625174783, 303203248307, 303839159807, 305212490017, 307202686463, 308757489983, 309611709503, 311773227263, 311835206807, 314228952143, 315283586507, 317100171503, 318115309657, 318575800817, 321445755143, 327151607807, 328098287483, 330318857723, 332017743067, 332736761087, 332883915407, 333120850963, 333275128943, 333990116063, 334416056543, 336171068423, 337484409767, 337887845927, 339545569823, 340500625343, 343108167823, 346000575743, 347539507967, 347779160423, 348489740873, 350117537087, 353328619547, 354657531887, 356740662233, 360253465393, 360947463817, 363892082867, 365082197867, 366085945663, 368734676903, 372199059107, 372212680927, 376914180323, 376958708183, 378080911007, 378792387107, 379719019187, 380082489343, 383451262783, 383691242483, 384604260083, 386667434303, 387969302393, 388609989107, 389263949663, 390077364167, 395238935963, 396560728457, 396946274687, 399394190843, 401757096287, 404610446423, 406321538897, 409181035103, 409643793707, 410461144703, 411126798827, 412004044427, 414210207167, 416258416463, 416580140063, 416629033127, 418651918907, 420221591987, 425859073667, 426470532377, 426947531567, 427845851647, 428710785497, 430059026927, 432281238047, 432582756887, 434361825263, 435125654783, 438266018383, 439437672143, 441404349443, 442479976667, 443384031743, 443817796607, 444757176137, 446662412927, 447938942273, 449656745903, 449765470043, 453956631697, 454060033943, 456487625483, 459525521327, 460992668263, 462601941047, 465360312257, 465884760167, 467955073343, 468706964707, 471481145123, 471595445063, 471864791087, 472130360423, 477004095083, 478626983423, 481120872383, 484182662867, 484213379963, 487624701407, 490664532203, 492291910223, 492521190047, 493102072633, 496271586623, 498502018673, 500045322743, 500398306703, 500766818423, 500858237807, 502953934247, 503507015447, 507139501163, 507545550287, 511088152247, 513782874827, 515492667947, 517207361483, 520290153503, 521276968153, 521912017247, 524063887103, 525157509143, 531084801047, 532773445247, 532937712127, 536621485817, 537808340857, 538107987023, 539771252777, 543246522323, 549348969263, 549654357383, 552833213063, 555292993823, 557555199167, 561349475327, 564534652543, 564553106963, 565079357897, 566397434753, 569551390073, 573610180697, 573711523967, 577273672223, 577487059223, 581239985327, 582360506027, 583604263103, 583743319487, 584248634737, 585678853007, 587043087443, 588815883377, 590818054583, 591847801343, 594339326687, 597247257023, 598565389823, 598592033747, 599581814963, 602372997047, 610096762367, 611370498047, 611755805627, 614433944783, 615642931727, 618612064883, 618769819487, 619691565023, 620214930287, 621396165833, 624236473043, 630446605247, 631684430903, 635411259463, 639484788167, 641236499723, 642384353087, 643290080707, 643420300423, 645172778143, 647814355913, 649938431423, 650961526583, 651650036363, 656076536363, 662295493523, 665017511063, 667278510623, 669236318843, 671572439423, 673052053343, 677087994857, 677415705023, 681545910823, 681739855343, 686351729137, 686949652223, 688624158023, 696882339323, 700581401423, 701202199433, 701802852143, 705300369407, 718491305927, 719174313527, 719475287183, 725548357343, 725689382993, 726466191263, 728888535467, 735557876327, 736692243407, 737573174963, 739843520543, 745077557267, 745373538827, 746445429377, 746937149003, 749726929043, 752949209897, 753664655087, 754721716687, 758400103007, 759957631487, 763758302207, 764836947967, 766983038123, 773234748443, 781584108803, 786481840847, 786597419063, 786870076903, 793618902623, 795010117487, 816636286883, 819258739433, 821084609927, 824082072857, 824237561087, 824695587647, 828019733903, 828321311963, 830724747763, 832391138303, 838017273367, 838719735407, 839165070257, 840295970783, 843778447247, 846747831767, 850769678783, 851501307743, 852621648383, 853237254143, 864338697727, 864797683103, 872857495583, 877592188747, 885981130087, 887677600643, 895936961663, 899746759103, 902886749783, 903850878743, 915289488583, 918312771023, 918559756903, 919081333817, 923112439523, 931233082463, 933601281983, 947856099623, 948031613747, 949528094327, 949863733417, 953373880457, 958357530827, 963609250223, 967334741843, 968494405547, 974112738527, 981397138697, 982070386103, 983012156873, 984173284427, 985488111427, 988331862383, 990736017983, 990853768607, 992395507463, 993029649083, 995063399243, 996525789767, 997786798087, 1002208251647, 1002229617527, 1003028182483, 1006991074097, 1015591184207, 1020598138463, 1028169616847, 1029796167583, 1042633767743, 1051894006073, 1058092944347, 1060661881673, 1065083711903, 1069455603743, 1079171474057, 1082403908447, 1097990500847, 1110596525657, 1118758392377, 1121575724543, 1122579417527, 1122784325287, 1127093163743, 1128539777207, 1140343826497, 1142489071643, 1144149887927, 1147835553983, 1159590190643, 1161990425087, 1163629181807, 1171660950923, 1176390335303, 1179633287543, 1183767943103, 1190588560127, 1200255765983, 1208371603427, 1208811884543, 1213128942383, 1218475664927, 1224988925767, 1228438749647, 1239215178167, 1243877313407, 1248321423623, 1250728869937, 1254971655167, 1257079296923, 1257485132177, 1257601058303, 1262315917363, 1266583028617, 1272147742727, 1272188494487, 1281132191123, 1283500566587, 1287346076927, 1300382902367, 1316838893567, 1318403071343, 1331358931943, 1343064226943, 1346583670073, 1353792566803, 1354467832943, 1359033975407, 1361731394857, 1364159890367, 1365338253707, 1372505754383, 1376629874153, 1377617015897, 1379420150687, 1384758239047, 1385142886583, 1385400278627, 1398419867807, 1413748834963, 1417511668847, 1434589392167, 1435317147503, 1439343557107, 1445506157243, 1447990988207, 1452371140223, 1464384259007, 1473035914547, 1479964958207, 1483793098523, 1486617756023, 1492062931127, 1493698122547, 1494618859007, 1500190769663, 1517669192063, 1521505542743, 1521958340603, 1525865691503, 1529068316543, 1537296854783, 1538346605993, 1548992683967, 1554057934703, 1567236791927, 1568623892447, 1570135135073, 1576806927167, 1577569872383, 1587617652167, 1598217727697, 1619654659267, 1630929108383, 1646111832353, 1647220079207, 1649297657303, 1651368537527, 1659118883003, 1672342513577, 1693059360767, 1693114138187, 1694823668567, 1705700545823, 1707477986033, 1709517344497, 1712309888537, 1730323296503, 1730825526803, 1740672975623, 1744902862487, 1754088164953, 1756614305903, 1756834560683, 1774287925523, 1781737946873, 1782329947903, 1800200425423, 1802198964323, 1808130459167, 1816532804543, 1838357016623, 1847267427833, 1847588211017, 1857832910207, 1868996243843, 1872994383647, 1876037731583, 1878852078923, 1879984428137, 1885409672903, 1893380516927, 1894761487127, 1899533151647, 1917839884487, 1928114662787, 1933745990153, 1946172500507, 1952286755663, 1959767323667, 1988364220487, 1990383593347, 1995521316287, 1998500526233, 2005273997567, 2022288341243, 2029189738787, 2033321499263, 2041718051543, 2042190716983, 2054166702407, 2058053854823, 2058813968747, 2066624811833, 2067340064063, 2067795707647, 2071268833457, 2073958694783, 2079482610703, 2094714442367, 2102686981247, 2113847511497, 2114512687583, 2131227699487, 2131580831927, 2135844740303, 2136097090247, 2140418375567, 2142356645087, 2145485453723, 2169793771577, 2173387168727, 2173917134663, 2174093172287, 2177369747057, 2178821546963, 2180348118313, 2183230976687, 2187721474943, 2193757618463, 2199279734783, 2203086414407, 2222910230903, 2237452913393, 2244250592447, 2276956611263, 2278362053423, 2284944438743, 2291624294083, 2314477141943, 2324742749423, 2325860464817, 2326414319503, 2340367682123, 2342255921903, 2347666281553, 2350076683007, 2365609847903, 2372655360167, 2376191080223, 2423109012803, 2429082620777, 2431812273047, 2441660011883, 2452762410047, 2458045301087, 2459393828543, 2460059170703, 2470581524783, 2480984998403, 2484551243177, 2488010874623, 2505749851967, 2512691667067, 2543814050783, 2551689947843, 2581012124627, 2612214263447, 2616161958167, 2620820064383, 2643887837183, 2652438032063, 2653243043263, 2656766268287, 2673965138063, 2678934007583, 2679506696567, 2693235967787, 2700386285507, 2704035411967, 2706195727223, 2709107388107, 2716736215103, 2747905505663, 2761672539347, 2762470223683, 2782849103087, 2787122128727, 2788576566863, 2794027243703, 2803289183423, 2809410542207, 2827159517393, 2858254912727, 2860969548347, 2876288866943, 2895101553623, 2902524645193, 2921192636903, 2954670732287, 2954983134167, 2955754455257, 2959749985403, 2961654090977, 2990741565127, 2990990212127, 3007205521247, 3014503175087, 3014827304543, 3015521777663, 3017462832023, 3044561116607, 3058282737407, 3065057050967, 3091897616543, 3109518772907, 3124102490627, 3128850440843, 3154631258927, 3160663787087, 3186179774423, 3202622880227, 3239811568823, 3262390440713, 3273634977887, 3278449605887, 3287542011007, 3292048746263, 3298555001393, 3335902694783, 3359603840303, 3375066260807, 3399492185363, 3427131295043, 3456106071983, 3472081870223, 3477759864083, 3479856299207, 3519297089423, 3526960064363, 3542167624313, 3564762918203, 3574263737087, 3576834852953, 3591916399103, 3605209984247, 3625369407007, 3643083326387, 3643201638067, 3655362333743, 3662078127137, 3673468615727, 3697043036807, 3714674652287, 3716454426647, 3726147143707, 3735152288537, 3749946708227, 3753277252427, 3755538738863, 3809437323647, 3814615242943, 3815876838307, 3816665705753, 3825423563183, 3839567116127, 3857303068963, 3871012642703, 3871773259433, 3880197413977, 3882479740127, 3885530010623, 3923198775737, 3940472440703, 3950753381387, 3953221932007, 3965648874227, 3971336080007, 3976019851703, 3985021199987, 3988980347003, 3993098572303, 4002189454223, 4016259792767, 4027837961123, 4067782707383, 4077613343743, 4078797759227, 4083144084683, 4089416204147, 4100986888367, 4134792640967, 4137014578943, 4139369857043, 4174105044383, 4179090651647, 4191238065743, 4265399466863, 4294154242267, 4294517338967, 4312142565407, 4312972557427, 4376690411647, 4380652468903, 4451363145503, 4461959259647, 4468657071743, 4483239739967, 4492725994943, 4502107469987, 4511462489087, 4513946487047, 4522644670463, 4533499478327, 4538733748667, 4561101152297, 4562246267567, 4563030322187, 4577532066047, 4601247700367, 4606872417527, 4645332800327, 4676774595767, 4690798289087, 4698158842343, 4702607414207, 4706924626223, 4707254201183, 4711053757247, 4736875893023, 4748162619743, 4791347566847, 4810610219927, 4813623840383, 4818337271567, 4827349848983, 4830726155903, 4837434874403, 4842176441867, 4890172932107, 4894917820847, 4898286887183, 4898430180593, 4906295813423, 4909271959187, 4909705588223, 4944586925567, 4954417678943, 4965264095447, 4966905708767, 4968939302783, 4988302511057, 5028408750587, 5124053395007, 5135534527103, 5137666180063, 5165345906687, 5182301702063, 5184050464727, 5197890882007, 5209731276947, 5213735361017, 5246074869527, 5247420989903, 5256208180673, 5271040581563, 5271718074127, 5276758884407, 5283213065987, 5308024071257, 5333198969407, 5343554655377, 5352254947643, 5378349683123, 5378846512607, 5404835859263, 5444829757663, 5468313558647, 5470010894423, 5477957507663, 5482163545297, 5506587341207, 5513731800307, 5517503656103, 5536666816367, 5569269734687, 5591826684377, 5603822603513, 5634674991527, 5636917923647, 5680341731663, 5691456372103, 5703052303187, 5823941725183, 5834330797247, 5860229089807, 5903391618827, 5920977391103, 5970124244303, 5987563953983, 6001970934163, 6002087439743, 6006100689863, 6018574293863, 6059693412827, 6074113226147, 6125407956347, 6155030027483, 6186130982123, 6219577010627, 6245585881343, 6266483267087, 6361210683647, 6376144533383, 6403303007327, 6405913407167, 6420897979823, 6431711203583, 6440429452643, 6544600533287, 6557535175283, 6571487385737, 6577558994387, 6603070886543, 6645814142423, 6691427156807, 6708389530607, 6709948966423, 6712119781823, 6712577101823, 6713189931527, 6747664096127, 6763800069443, 6768001948303, 6769194121187, 6776801506463, 6814009961417, 6852727402967, 6870505049567, 6872003512487, 6873210741433, 6891689170943, 6912131904017, 6944910811823, 6972340475033, 6979231058003, 6986699709887, 6991028990567, 6993911379443, 7009152202463, 7015788608687, 7018784100283, 7029819031223, 7057265417827, 7081143283943, 7157327874407, 7183525840727, 7199875281527, 7232988207023, 7277043465983, 7280147347607, 7351622768183, 7359185493227, 7419058032527, 7424275418207, 7453663895897, 7499962192607, 7527857571347, 7541844421913, 7603463785913, 7636567923863, 7740788645963, 7749927911807, 7758978736127, 7772831069207, 7794038210687, 7876199258747, 7885422088447, 7890560002187, 7917837747647, 7951686609767, 7980118025153, 7985442102527, 8040844563623, 8051715389537, 8147247216827, 8154484008227, 8192664486527, 8201388290663, 8213215428023, 8269127409407, 8340534819107, 8352372908927, 8353968255337, 8356903243027, 8401726877903, 8454136780363, 8470131862103, 8474194119203, 8503129379447, 8525322640313, 8593380468527, 8601023747513, 8615265535007, 8625838647527, 8668142118143, 8669716109273, 8718051130793, 8734297613263, 8773273278953, 8782789867967, 8804017118527, 8809820147857, 8813192046383, 8845777747487, 8930118134783, 8972270181967, 9015785269727, 9067276872337, 9083021808383, 9089539560593, 9121923254627, 9128244846527, 9244504362623, 9273495550463, 9342507391337, 9363680355863, 9364447888043, 9380925912983, 9472432618307, 9561402867563, 9573218609783, 9582212933483, 9627423595343, 9665264076287, 9672812274743, 9749432311343, 9797878552337, 9880399522943, 9883589107967, 9897883583087, 9900570864887, 9941530087763, 10020455503523, 10073025213707, 10095507845567, 10203721224383, 10207781723807, 10255807961963, 10333289190527, 10375112435903, 10395543061247, 10412862006023, 10466295363787, 10524693813427, 10531005991423, 10544351853023, 10553395192523, 10636687309463, 10654292438063, 10722500775403, 10785486725903, 10823001401087, 10825586436383, 10837056966107, 10879047768863, 10905432265547, 10931466440627, 10945788510827, 10954728728063, 11075619379043, 11094921405233, 11129714914907, 11215513596473, 11275121217337, 11383280012123, 11387239839743, 11397293550527, 11496858424787, 11623292913887, 11644561451423, 11651481583267, 11663896165447, 11787730201187, 11835071089843, 11861668896767, 11916145732193, 11949601337963, 12014357908463, 12108022422143, 12139007442983, 12153760425503, 12156853979687, 12270768052343, 12399425299907, 12427464018617, 12432041512043, 12440670068807, 12451908545207, 12488208512777, 12728663180927, 12799329507323, 12808535528527, 12826668816287, 12835261180667, 13128005356727, 13130429594003, 13177441415903, 13186319440607, 13201102091087, 13213806539207, 13379634341243, 13404762325847, 13430260103867, 13445054927743, 13452204324443, 13474430728487, 13517204999183, 13531896821887, 13533270752303, 13559403872057, 13569698385767, 13580344582463, 13648000209407, 13650488459063, 13681960707263, 13700218168547, 13721415386687, 13731227059967, 13827789496223, 13828118429087, 13868042520767, 13876836701183, 13984918475147, 14042089297487, 14043703729823, 14110293581567, 14203768389623, 14325407494163, 14517850721263, 14570742293843, 14632354546577, 14702574140567, 14723054092823, 14731356409487, 14837152317443, 14837470139903, 14862689480627, 14942722262057, 14946894689183, 14963410505863, 14982754682267, 15057232367543, 15189647700683, 15205475907647, 15213709336913, 15227105626367, 15228454092287, 15238772576063, 15339479465507, 15476970278663, 15530966907983, 15536629678463, 15542888784767, 15575032382183, 15620929126307, 15713130671743, 15877101152123, 15979114112183, 16032141087803, 16069567431947, 16119160223183, 16234681170443, 16238826243323, 16336276768943, 16404891139547, 16421418491507, 16438893209327, 16442982330647, 16487665341673, 16502467264883, 16513958187407, 16626057599807, 16705384429847, 16714503129983, 16836785918387, 17069939406647, 17081534995883, 17106148291247, 17151916055723, 17164695174383, 17170963864783, 17172139868747, 17177997423707, 17202179742203, 17349596737943, 17377911415223, 17391417070103, 17444103120383, 17568068163007, 17575111738367, 17643505000703, 17673119116073, 17681229330943, 17722372756607, 17724201511433, 17797362916607, 17800655425547, 17881283343743, 17893559726687, 17966200211723, 18004079796767, 18243982681913, 18244697765407, 18438858954127, 18527214921983, 18655400034343, 18675983146367, 18688963673087, 18712833237227, 18882607880627, 19088567430143, 19132365098543, 19133667263327, 19138796395343, 19175120908763, 19207149975287, 19265690735747, 19336020430847, 19509796075487, 19661998482107, 19972949920163, 20062638288967, 20109780496387, 20194255030583, 20291471873927, 20397735144593, 20431677628867, 20486123069543, 20520149138663, 20566018386547, 20640055511167, 20673027372887, 20831267776103, 20889949519727, 20946115460687, 20948434914443, 21160869761327, 21198149203967, 21213339937063, 21259394167103, 21306216716513, 21348367946707, 21371729902307, 21429057962443, 21430637275427, 21471111586367, 21541582541207, 21738100103543, 21854838793247, 21897135751193, 22081520832407, 22182125331563, 22221567881287, 22471013546783, 22528832135993, 22540414583807, 22563921151703, 22673732455343, 22689818102803, 22714467129727, 22731466098587, 22930284018097, 23047548543947, 23069358987263, 23205516893183, 23281412949503, 23306864610203, 23312801005097, 23392229636987, 23492215340543, 23585890791457, 23706465615743, 23715125718083, 23854716534443, 23915113280423, 23919501441083, 23940708363017, 23954640367127, 24041441669183, 24050850813263, 24112125107297, 24175990759967, 24188858798267, 24262901629163, 24316809729647, 24361476414263, 24410374160927, 24430271528123, 24514869194507, 24608116050047, 24644097322937, 24841596930287, 24857713711097, 24961469863247, 25068358151747, 25123162512953, 25296007697663, 25335893253217, 25392129916427, 25488038664593, 25591422854687, 25612573285183, 25753824071543, 25788029929243, 25847422116647, 26146748697343, 26256190719593, 26287532467487, 26292527172713, 26373046155263, 26400672839507, 26419272587527, 26447952365063, 26460540294143, 26488492357367, 26536659417803, 26622883135787, 26715611678003, 27121566938047, 27131759245007, 27225878940223, 27289271482103, 27304303294703, 27320973454847, 27543486804913, 27580740693827, 27612382756463, 27667616327723, 28013035433783, 28081697087627, 28124505853487, 28133382105683, 28149388242047, 28171584511487, 28262597853967, 28386703890863, 28391081726687, 28596333901787, 28835419675193, 28835819974697, 28898130367097, 28914503567447, 28948945927807, 29108053142473, 29108658582827, 29208946103963, 29323846525247, 29479294652543, 29491637446727, 29553908533423, 29683964318027, 29702081629223, 29743702527527, 29761352869823, 30031873024063, 30133101566663, 30268158674687, 30279146458307, 30320032190267, 30485259641033, 30697052695223, 30935878153727, 31391966306303, 31665790632743, 31904746532543, 31993391066183, 32229103673183, 32307428141207, 32594169872447, 32830089204833, 32832007385297, 32877040389443, 33045222889043, 33836950861127, 34086679782647, 34090183309823, 34275046679147, 34324677321307, 34405625051423, 34691326062667, 34819041938123, 34899761026943, 34977903757343, 35195189074943, 35262891740987, 35408923823807, 35471450773483, 35485229307347, 35580157890803, 36003911789753, 36108636164303, 37037713515263, 37112066160023, 37126104270287, 37382229771563, 37482698772683, 37857065264747, 37971378452603, 38037184324847, 38037894544187, 38078834928793, 38403430073513, 38434757489927, 38554543717337, 38716679667923, 39029184804793, 39060289767047, 39113969456803, 39145215504383, 39160906405433, 39660123130847, 39893595967307, 39968165441663, 40020197133443, 40025327004547, 40048678566443, 40121229077087, 40370344120103, 40466204870417, 40856923832063, 40869185046587, 40870261675583, 40977161094143, 41004711227537, 41016916160287, 41335638055847, 41558043525587, 42075444295223, 42284351669303, 42402815629567, 42448122561023, 42558208861967, 42863180940287, 42874323489047, 43326675042163, 44001046160783, 44237581183027, 44609274621647, 44641497390647, 45185265062207, 45527234473163, 45620990406727, 45623008193663, 46327559572727, 46528568738387, 46836008821883, 46941315717977, 47208527312003, 47250571954043, 47285928392903, 47297143666607, 47574169202393, 47751228715607, 48003474359003, 48872437806707, 48976235814923, 48991554485807, 49143754583927, 49333685642867, 49758891825667, 49849408391903, 49861489910807, 50059476206783, 50106759151247, 50269412870927, 50694992138393, 50783716051967, 51143192528663, 51856136123017, 51975279834857, 51979134545843, 52901862144713, 53113915967183, 53179170994223, 53541360357143, 53569628746223, 53918722974383, 53970196939793, 54091386392663, 54444157197263, 54960411484007, 55067306707687, 55177187015843, 55353014702207, 55517847827177, 55860772118467, 56318190124943, 57127182150683, 57609232090847, 57627793939913, 57846679150703, 58198200795593, 58220327276603, 58228152952523, 58287018859343, 58336951664447, 58404407545097, 58472704599443, 58526157391703, 58562352007883, 58730334261587, 58797985037527, 58910316994187, 58919899766687, 59236943227967, 59896841303087, 60416698133177, 60453121283783, 60572777813567, 60695134007903, 61017194201783, 61104812166287, 61327069859063, 61616329910783, 61967164547723, 62224028171243, 62225828410523, 63138504709463, 63170796687503, 63777226417607, 63847791793367, 64043617676543, 64707347808223, 64864684144457, 66168783385433, 66277277287583, 66645331868473, 67009111046363, 67016234470907, 67116948454967, 67440488138297, 67483234875967, 67817310556643, 67878099053467, 68460201166823, 68654089543223, 69314188986953, 69406396099583, 69478868531663, 69520160761663, 69956815363423, 70245220530473, 70307641479167, 70355264430923, 70402562938223, 71291255168603, 71667090214807, 71795258793983, 72030998780963, 72287717305283, 72604517245823, 72626801698207, 72667180366943, 73178425287467, 73863348429823, 74034421338767, 74699247373703, 75264281121023, 75536418473273, 75693732775487, 75883950542947, 76324551975367, 76923786663487, 77011132843583, 78889548932783, 79343085280343, 79750687175927, 79869088531303, 80236675128767, 80599232398787, 80865918845843, 80953963964147, 81324648921023, 82488978132227, 82692047798963, 83916198680063, 83992440431033, 84001540362247, 84071594102143, 84532213016063, 84822295582727, 85038301105343, 85130956030823, 85328857357703, 86413488108767, 86637265883347, 86694196693883, 86890002472547, 87150602785003, 87330692141417, 87787719777983, 88383517249283, 89454020095007, 89907284689567, 91226057634323, 91795108236443, 92506307925193, 92616781626377, 92823625178327, 93269941204633, 93643715809463, 94898677371863, 95822279584487, 96737191449887, 97534339053887, 98779994882297, 99559820381867, 99957784917407, 100138162099307, 100719788695657, 100871403085457, 101203862164607, 102960970982143, 102993994277063, 103688846859833, 103744162808303, 103957552071647, 104139363703103, 104620756272023, 104848594415723, 105230383323983, 105796335313943, 106631922996223, 106666980974993, 106766603547647, 107179527898087, 107392651694723, 107600571239897, 108468539770337, 110005887965003, 110094695617103, 110945019501187, 111116588416367, 111799789213603, 111863291867783, 111912828292007, 112992138032993, 113633506740407, 114301422248147, 114586931653643, 114822759893423, 114984577874447, 115322351465987, 115406468266867, 115684460258183, 116215072573913, 116523991011383, 117691992422663, 118481113574903, 118637540454707, 120042490455863, 120193129249307, 120223664196767, 120602877711467, 120929371401203, 122304501743243, 122748339390587, 122812528188407, 123056924408153, 123419694607043, 124267276382147, 124339073117687, 124397641245203, 124419812333363, 124491884771567, 125177970021443, 125484156194867, 125985056625887, 126460654466827, 126658697289983, 127463641239923, 128142678553163, 128177292502547, 128444090131103, 129695236365683, 129839717180447, 129876023483147, 129954848369147, 129977743555367, 130465606929407, 131192549632223, 131685955144703, 131802992438633, 131818039329047, 132237419781143, 132275323087727, 132506620416983, 133227386099263, 135362491360223, 135398666795003, 136145356582223, 136312599536387, 137319952915367, 137444994750113, 137679513631703, 138584316476483, 138637377733247, 139940851554337, 140074354754783, 140347289386487, 140790078817727, 140917072587383, 143228449347803, 144774968420603, 145026378740807, 145157075652863, 145900964482547, 145954546185743, 146108322228703, 146167893316043, 148323755732927, 148476797196947, 148726804977227, 148961551945727, 149031687124363, 149507324909783, 149761139560943, 152856472861223, 153134085271163, 153433712330747, 153673284561767, 154364599607723, 154969694087807, 155035592235707, 155645637114563, 157032855303983, 157189407240167, 159249480064663, 159674958751127, 160927517861503, 161020864900463, 164007232713983, 164894852521673, 165205680269983, 165452646058103, 165510777109103, 167687254125203, 168166439230063, 168589412762843, 169836252719407, 170697780736127, 172219657234787, 173587323770303, 173816181809687, 176025341562403, 176473065118367, 178028151088873, 178720757085287, 180214079585723, 180988994932283, 182962924634507, 183153767888087, 183921160720223, 184341750314963, 185895887462027, 186823652712383, 187562385109643, 187571437510427, 187736522804153, 188843419043963, 188908157537207, 188983227097883, 190515408911647, 190745647316297, 191420904913967, 192536550948067, 193060440585143, 194656275272183, 196481473802563, 197510044896953, 197780245064267, 200039957235047, 200572104941807, 201220317182543, 201817708749623, 201824305105697, 202725523104443, 202814683419587, 203322745412027, 203435585236703, 205761165638687, 207237048300367, 208668312613307, 210147276318047, 212212793501543, 212254691902163, 212329110102383, 215363289903497, 216749890715167, 218208006741713, 219816946339547, 221932299412163, 222277496626187, 222463637449727, 223780849637003, 226271587581467, 228170211937487, 228619837810687, 229369805917487, 229512586613353, 230294216169863, 230745150549863, 230910606528127, 231109530385553, 231966298058867, 232247033957047, 233107289418923, 236251287152063, 237059780041127, 238453525274507, 239927138597567, 246898273792067, 246930934342387, 247279256932283, 248434435938347, 249522680523113, 250766266215167, 251618400020107, 252085028090867, 254321874315947, 254718341658623, 257037284743487, 258362488818367, 258693268205843, 259392096140363, 260629828470233, 262587350672783, 263565147878387, 266243544984383, 267205242072887, 267279580983983, 267293811143423, 269104445796383, 270812676630143, 274986771848447, 278152034085727, 278621898812927, 278757620096663, 285587374268687, 285894955267007, 287571435353567, 288267772540907, 288514567523687, 288847249103687, 289586471431567, 290766390020303, 292315992109247, 292376214568547, 293079130665023, 297957592887263, 298609875588473, 304618534380863, 305564084488937, 306940401878447, 309925800963887, 310132648599047, 311340667219793, 312648482962943, 313857800923787, 314072623317727, 314753074553663, 315473895569387, 315803349385343, 316387662725177, 316951228698343, 317592281514463, 317827920676463, 318332672891423, 320537094323057, 320768025852977, 323483050923467, 327277531608983, 328615448035423, 329814040529663, 330281297511467, 333304821190727, 335336495444063, 335852517072203, 338107514866103, 343914021957983, 344216035589183, 344993471507903, 346426278508313, 350984231814127, 353992016962403, 356490270874007, 357750004443443, 357910762258367, 358303758378983, 362451909092687, 362456043207623, 363232536859103, 364340082550817, 365182768101113, 366224903229607, 368598522885167, 369010463951257, 369010984690687, 370394187515087, 371862522882047, 372989406686023, 373921888310783, 377677787541503, 382631557746887, 382665569238727, 382888966892867, 383935481579483, 384484764172447, 386019321813743, 387096061832663, 391239205685423, 391744172924927, 395898824233403, 396995936838047, 397730503789607, 399607336608047, 401434010604607, 403383249993487, 405686216004767, 406186789130767, 406594162768067, 407356095381947, 407993163963263, 409403010256433, 409993583188463, 412844547716927, 413937296177393, 414689652834367, 414768678561553, 417453944392703, 417482030356847, 419159790414863, 420902907528023, 423686604290993, 424608589953607, 425479596427103, 426180972600503, 431099187127883, 431614821246407, 434721442945553, 438113200462393, 441868639805687, 441883038164543, 443260251966347, 444631515881687, 445089485070647, 446715948677987, 448394322989887, 448452178081727, 448492599993343, 451393031346443, 458840702997583, 459313869456947, 463589633728807, 467250055845007, 467250663577777, 468907481792023, 469244349749687, 470739683638403, 470850307784663, 471810122633123, 472092393270527, 472997510017943, 473164271451887, 479499675295967, 481585035753727, 486943051344947, 487020827939887, 487584510410687, 488258914116863, 489415893057953, 489724495422923, 494943712824023, 495300159478783, 496034983091903, 496068663699967, 497498451531047, 503001896627903, 503488554945947, 505691888276303, 508504944635747, 511234978944887, 512033697544643, 512469007345943, 513673831763327, 514933057642823, 517240455159247, 517795488696767, 518522759983103, 518845898498887, 519006244148747, 520787468007767, 528398545143743, 530403956114987, 531269811176777, 538321665366647, 540751214519027, 542439035950943, 545984764670087, 547246040521727, 547635368413043, 554437426299503, 558531897172523, 563625085119323, 563716176144227, 565048208034143, 565138002870143, 568772548128683, 574303387593167, 575120528911307, 577147995245243, 581046149349527, 581088514770377, 581624131681633, 581652998693183, 581752032315793, 581857311079817, 584646720898283, 585429102687383, 585736010818463, 586361368104947, 589417579040057, 589442456355047, 591575753255387, 593566283829947, 597449535186107, 598132125149183, 610251087092063, 611554335730447, 617534404238047, 622257463766303, 629539036637723, 633125286903383, 635598613691903, 635748177881087, 637142246763263, 639204252891023, 644122855037663, 648781987621727, 648900064960883, 650314010152007, 651773236963327, 667914192268703, 669979614393407, 675178053979223, 676048745749847, 681458452732727, 683812423873307, 691430766607127, 692842542606527, 698245864354403, 701347709748563, 701646692320463, 703320573850217, 703680250103423, 704721617040383, 712571515745363, 713608754880127, 713693099918033, 714834346965623, 718067708187647, 725443977046153, 729152844879167, 731173423716383, 735862256473507, 736909612559807, 737126711063513, 751276075058783, 751747866033347, 752065756115417, 756378469559353, 771810371327063, 775720107742763, 777546518024807, 780457945936547, 781357001490647, 785256201532043, 785912153271743, 786348519973433, 790187061971273, 790972432314923, 796603929537803, 800548689533867, 803111954203007, 809825909803433, 811349211392063, 815718461662673, 816201062522603, 818563862108543, 818948782153727, 835170174850967, 835398290643047, 849111491401727, 850040276093807, 851397752635627, 855598140099977, 858939588941183, 860303652363143, 862295673994847, 871294462957223, 871626399258623, 880543335607547, 881477061521143, 897849348488303, 904757287589503, 905310585789767, 906183173996627, 913924862784467, 916393257376703, 925625153450843, 928529725762367, 937626867515543, 943867663334207, 956081277289087, 959582710625087, 960610908428263, 962109980530427, 986738916158927, 997048364600543, 998802428313887, 999683339307647, 1004803046301767, 1008262019363327, 1011694247856737, 1018381726156783, 1019729259837107, 1050292897066687, 1071689250343007, 1091906080069967, 1093086266155817, 1095669250515113, 1101998222189567, 1106721440281367, 1110027113198387, 1112286149088227, 1116829042855943, 1119321221192063, 1132186942934447, 1133668167105923, 1141901826059303, 1144100276267183, 1150279356423167, 1160277124734743, 1161801344614067, 1166295444097967, 1169586239129767, 1178051284085183, 1186686219811327, 1188576134112487, 1195331695290367, 1199753880732527, 1201138450182863, 1209410705605607, 1212942002969087, 1216090642593023, 1219831331136307, 1220737058880767, 1225705859615147, 1239335984696687, 1240818741260603, 1254648772558763, 1255917387345323, 1266587136958427, 1270644379044743, 1287894190346483, 1288352124731543, 1302956430919487, 1307446989671987, 1313060573290943, 1317054564055673, 1317334230949193, 1320082944650023, 1324189527188903, 1325723192427383, 1336137888087943, 1340535221549567, 1363745499409967, 1364036736662783, 1383426066421583, 1390048307708663, 1405844294802767, 1419573303430703, 1421604407159567, 1429520194475423, 1431515010260063, 1444026676114457, 1461139598361343, 1478238328216847, 1480980183197063, 1481137338365807, 1482394648773977, 1490433151077083, 1508970374720423, 1509599897093087, 1528729253519903, 1528983011489207, 1533492139682483, 1547451309273143, 1548186115403663, 1558313651935363, 1560469064118623, 1572745750974143, 1574124700780403, 1578984472163183, 1585589520135167, 1590589509699347, 1597319136341723, 1598427034938623, 1601587077419603, 1611200399366447, 1613413262505647, 1625525752133183, 1625677215796547, 1626145053719327, 1628606400010907, 1674472627458047, 1685900115691703, 1703139991129067, 1704297335946047, 1713436180167167, 1713591455861447, 1713756808609823, 1722936306424607, 1735894277637563, 1753483782070127, 1764383884386623, 1767966570871327, 1810579518464987, 1817792130761153, 1819249131474367, 1847064235738247, 1852265682494567, 1853417073906287, 1890703443733703, 1897975696941983, 1924949429175347, 1927470485007107, 1928470046400017, 1951040789329367, 1957789330088393, 1965753410708783, 1968359865409727, 1974250266895103, 1985341237195103, 1995343326360823, 2004539934146303, 2026997732614247, 2036035698189767, 2043861385666283, 2048363519790323, 2058478823326703, 2080865183742047, 2089141873715027, 2095358923383857, 2127283102134107, 2139330369456983, 2152593278036783, 2154130717714223, 2164534664396183, 2170336947888383, 2177584744031243, 2186831454097967, 2187695812102547, 2189430733573847, 2211367438166143, 2248773206500367, 2252928618338303, 2279399363334143, 2328900151817513, 2352069014220287, 2358638721968687, 2398550080954043, 2421771620448623, 2426572277865503, 2435555339919503, 2436363797356043, 2469637711494227, 2469870459132287, 2509926744493183, 2517345021123083, 2538851173632887, 2559410399915687, 2560563319083593, 2599951125509033, 2628408963793607, 2641096080514313, 2649401205360953, 2656630025911187, 2678390226365687, 2692105589372543, 2695581147564287, 2701230629559073, 2732253775004363, 2767407811419967, 2769775694650007, 2793897912369023, 2796404424426887, 2809505811698387, 2817026568310607, 2818265863665383, 2824458898654927, 2824594514956007, 2879940793148063, 2886928280523407, 2898527113212623, 2906373482225663, 2918771413183487, 2933074097857793, 2957301896263487, 2958221281916447, 2989013303055313, 3013402283316863, 3018392485876223, 3034822253432663, 3041533565539327, 3042172048854527, 3066816236541023, 3071444935484087, 3152913887354687, 3157344817411487, 3203983486878443, 3204359343778303, 3215321933643863, 3216117094476443, 3283020142131767, 3340886535711743, 3353318601420287, 3387624124163063, 3393845209443263, 3422360488292987, 3454455471248063, 3506069820193643, 3525549801732617, 3533064950375927, 3565391837660927, 3566951509107887, 3578099547573503, 3604494885083327, 3619732694439023, 3629441863641967, 3656704706660543, 3677075945860913, 3686352233173703, 3726413110575143, 3732941909569727, 3745469502483983, 3760011634532063, 3774407895019967, 3819596439652883, 3823218421629023, 3823374225507383, 3829636305177047, 3865013339993387, 3871273574402207, 3908061836718467, 3922166980963043, 3963806002753703, 3973902081567433, 3983523412797287, 4025822272705067, 4030005953493017, 4048417406665727, 4051614306871867, 4055159489241383, 4066203503563177, 4091799311445647, 4098009078167707, 4133409425893343, 4166913653193887, 4189113357036947, 4197044387774897, 4229397040262987, 4260163911905483, 4270557354580343, 4281580985775263, 4302033217519787, 4323518092233707, 4339946818392127, 4348362082290467, 4376215334811923, 4398126975290627, 4419033643849007, 4421231553898727, 4430631090367007, 4489563226751747, 4535992281608243, 4565634215709977, 4602625255359503, 4603527368704993, 4638715138319627, 4663154694836303, 4713668659434407, 4755601881267203, 4785547595003423, 4813234881739103, 4841122331822687, 4909029118444543, 4940073919332107, 4976126885952463, 5015529076652747, 5018478863833223, 5037106348095407, 5109781201250207, 5182637877937007, 5197899148194287, 5212344901288787, 5214687949385483, 5270184722801987, 5299210086205543, 5365199784604703, 5399464083024383, 5442937723699967, 5500023413969303, 5506162847383427, 5511422663105993, 5597381553485507, 5600691662816843, 5630567894596583, 5637290115129947, 5657161000086287, 5785732757931323, 5860077746066783, 5908490448121343, 5954888076296927, 6008001778783583, 6076531157962847, 6117827598944447, 6167514584214623, 6219368733321563, 6386627915934047, 6389018825807507, 6450948505065023, 6517702271427407, 6530324244294887, 6568321106456383, 6633443134936067, 6642941517955583, 6814770353413103, 6822077289118463, 6896903520114287, 6953337401401343, 7013236531524497, 7027066946886227, 7059377563865087, 7079264098116127, 7093819849752287, 7150910916810473, 7343416610494127, 7417581887064707, 7511745351023747, 7558302618656063, 7581729970360127, 7594248715463303, 7694693479482367, 7718945767791763, 7761024930190787, 7847718132170183, 7884079937004923, 7932316619508863, 7996442834222207, 8083006124599823, 8170882737786623, 8177798903152607, 8210471858414603, 8358105724829183, 8358815048052743, 8402917516663463, 8453105717499647, 8474765208127583, 8540634434686243, 8683138957801247, 8764790246074367, 8842728752139647, 8914558134982067, 8915442335889407, 9012320302070563, 9066426719921663, 9105004853383427, 9208004972846503, 9322050647473607, 9352228677714287, 9398335798795217, 9631720163780713, 9700334363465903, 9839797258506587, 9855187546066703, 9877662505933363, 9880258428407663, 9888258898489343, 9965211662020607, 10186413490484927, 10248887267781143, 10355177304195767, 10455568897426307, 10542740065157483, 10574432620011863, 10605933331466327, 10652352515432447, 10817204193598307, 10970458707308543, 10998525531576923, 11003399247979763, 11063632921129727, 11063788967917583, 11352072071426843, 11538836306731007, 11559257175429083, 11600077767571193, 11777619063932927, 11820057394747967, 11862256081324247, 11988341075724287, 12254761058373107, 12291056974939643, 12292105950694943, 12336392850386047, 12355174414407527, 12450081718581007, 12485745687725507, 12514959127805023, 12642979602816767, 12658993969202387, 12670482669233663, 12693648942704663, 12810782462442623, 12878433930092543, 12886509987061027, 12979969677122183, 13048817300026727, 13145147690904503, 13351713472917503, 13381354228322783, 13713748479354527, 13794809765029127, 13988620709182943, 13995130979013887, 14085094466491583, 14156271139981937, 14167450524653567, 14277994430257247, 14624575109100647, 14654164166270513, 14987239173555263, 15056388658196063, 15152940949655783, 15178573667067227, 15199683347094443, 15214720335180167, 15704253366626483, 15768460415341247, 15901294391273567, 16086495337662023, 16306972727955887, 16411388816521577, 16620380925038927, 16628538863741183, 16688464823734783, 16963928871124553, 16987969100638043, 17127670768021703, 17430484898642687, 17574602656924223, 17636669455583903, 17671607531559143, 18059325118423577, 18140422915933823, 18379232511425927, 18527191372029887, 18529942952806793, 18995868486134297, 19094689024955183, 19103603038277327, 19315690786687283, 19501030472583167, 19800523700692127,19814767534568267, 20291773728744467, 20314626396012407, 20478956638283263, 20541993341906303, 20584547258128127, 20883458108616377, 20919348284364287, 21134767073339963, 21232499974466303, 21269327117670647, 21344585884955747, 21442884139715063, 21654007614173663, 21923041851764063, 22027536549552847, 22296463837158983, 22367825874056183, 22507557628247147, 22642263750790847, 22820828284845887, 22892636315497607, 22989976443668027, 23283043649672327, 23351497411908863, 23499520959070703, 23665340718863747, 23815225582184843, 24029163293770727, 24090267992006087, 24093672148999727, 24959661927573833, 25112327811087323, 25166379658306463, 25473822809876663, 25721738981811167, 25840261531431707, 25847601202561643, 26132474041648787, 26403454263801203, 26717910951598343, 28126192781873663, 28284803838410687, 28346785620472523, 28388047152314123, 28388385607755167, 28454555139657167, 28695803476125983, 28993007674931423, 29412099782584793, 29667952554673343, 30140166732052703, 30264219097987967, 30831081977401063, 30834127124932727, 30944206022678447, 31191132167451647, 32134979883207167, 32646861080843327, 33028066998196427, 33387163211820167, 33634945201017343, 34029622909663487, 34342884847142783, 34485010940017727, 35232540390766127, 35417535804843323, 35647608413923703, 35831289759704063, 36243182539939967, 36393027829538927, 36529995181985183, 36561111395292383, 36864107984156363, 37221694735528727, 37410031100784707, 37580372905500287, 37663450222439807, 37757196754234907, 37774772682091103, 38009728559231447, 38655212066177123, 38709252727173227, 38797782232351823, 39195008016692207, 40039645370282513, 40700611584724823, 40751240616480767, 40887503356782983, 41054907522429503, 42151812277707707, 42151959117779807, 42283532632592063, 42850269105309863, 43782812425605527, 43857137491546367, 44162858632737563, 44273419817165723, 44395390084301783, 44476203978875657, 44766004641314087, 45425880965919767, 45632902750198583, 45909535882251263, 45946119145942303, 46173604483310617, 46234518137351147, 47126310633551423, 47217759620551343, 47237774138745167, 47290464088486607, 49247540110328353, 49280996299683023, 49317732909471407, 49464818762194943, 49856804749336703, 50769453908321663, 50858258983095887, 51557183963394383, 52740295738946287, 52981359850879583, 53466004747905023, 53810783845191647, 55055569460299787, 56021589717179507, 56938120416905723, 56940763415423843, 57010940268946847, 57753269722163723, 58213870759380827, 58309556945308943, 59488260290990303, 59535360355814207, 59578626331277887, 59890138060229023, 60125958729849143, 60144728003737703, 61554352219348327, 61988040141813143, 62092893515357567, 62170683337691983, 62378773320628607, 62440656495791023, 62709113372254703, 65014146363161087, 65069291936101727, 68864953700710847, 68970371651245247, 69865840916127383, 70615376343055807, 70822732906100927, 71134138448043743, 72769968859423967, 74287629249408143, 75819819433596883, 79429051400422127, 79823571775862903, 81093002466198227, 82102500902827367, 83667897426537737, 85788691050531743, 86147461322475827, 87206389930219823, 88242926079342833, 88602556949259263, 89808769767782383, 92315678914614923, 93813369701370827, 94086828997970687, 96482975311017467, 97307954196927083, 97930339684487903, 98091836377242443, 99095785826568623, 100533945209245283, 101418428684141447, 101573270800988183, 102797554391249903, 102984237802865407, 103780086495001883, 104002406376063287, 105004414402136243, 106771076607008207, 110957546803765247, 113031196426668563, 115709650339408127, 123527130104457743, 126987987920695007, 129518200092356063, 129711850156727483, 131214225107896127, 137485237261227983, 140956384891870367, 144463810024441643, 146126621080733567, 152150917822979363, 160611342263781287, 165362468704085927, 165562795759612247, 166761458633087663, 169607829437168767, 169994795249352127, 170728102353813167, 170907029774219527, 176707137992714603, 178583661528136523, 180911336561524367, 180937786346512763, 192727459062183263, 192828321971376863, 206716528625794643, 212103705445733687, 212307571907569643, 218068334939787263, 221786283132176927, 234403236354900607, 237236450302815167, 237759554503616447, 252121736665919303, 255898643782159043, 259233122545570727, 261177385375783423, 262786143559761407, 277074958179140447, 279263364960337727, 280722904339542367, 298576176673815743, 305973274733349497, 306163865489776127, 310229045780272127, 317717635675311407, 318923154433860047, 342814517081372207, 364936669822745987, 437066500104829583, 443432232763749503, 444834906065632223, 447066588110465663, 460596523358796007, 492394651244885663, 512930323348303247, 521414189640093023, 530694363807134783, 588912338040661727, 763511893947871643, 838830017859673607, 934875691764675623, 943424773296001127, 1059370988135466527, 1108870220521410467, 1156652507804648447, 1368508966203896063, 1509412637601423647, 2563872858633401407, 2721732523382857727, 3625860087236022847, 3826201311734342143, 4651954492842676223, 5051698268689816703, 5148118516182037103, 6814648441551338783, 12153132329592741887}