corresponding star numbers:
Hipparcos - FK6 - TGAS
Hipparcos FK6 TGAS
112355 1669 6341236706775821696
30678 1662 5188501981706060672
1007 1655 4612817175374228352
10768 1657 4612085072429051648
32500 1661 5189660007968635008
51472 1663 5190698771578659584
26661 1660 4614105321966841344
10993 1656 4613736023497896064
53702 1664 5191251070014901120
102205 1668 6346292639197238272
23148 917 4621086224370367872
20049 166 4622365334350649984
94714 1499 6367263830633164544
18729 1114 4665895618168998656
12394 95 4695167125961452288
24372 196 4658926844752435968
20384 163 4675672887879804544
97971 1518 6443608076909556224
66925 1356 6064141428481688576
105133 1557 6479092890550503808
100151 1528 6668966557118372608
76397 1410 6001075881052903552
3521 1017 4980885461640701184
10440 1060 4962999568552700544
112832 1599 6546508896251679360
7941 58 5010687483793377408
3344 1016 5004217854296634496
10673 1062 4966650737432272128
15265 1092 5058105537649606912
22192 1132 4880808806633950336
56076 1298 3484749478278211456
17007 1102 5081269120910254592
75288 1404 6214458789844765056
560 1003 2337191185233219072
117488 1624 2389176644750732416
14117 1084 5152342995638424832
1600 1007 2367059075004367488
83854 1449 4135514298684205440
103460 1548 6883484608592608512
75294 1405 6259917136022564608
14501 1087 5155981932450162176
6748 1041 2457106878295968256
42509 325 5747442875216347776
44936 1240 5736048498778144640
83962 1450 4335291232113679360
40766 1218 5752319587242739840
117541 897 2434686805413714944
68888 1366 3615972823798924160
22024 1131 3185907715406864128
78436 1420 4347852018589647872
87710 1467 4171518906436951168
116428 888 2439978411280588288
39326 1213 3067055628047250816
4592 1024 2524518314152035456
108506 1580 2669361138407651584
27435 1155 3023711264771623808
97871 1519 4233847025162916224
6605 1037 2484969671174920192
52316 404 3805647788000480128
85307 1458 4373106013973679872
75342 1406 4415459442393751552
104189 1553 2689992374590902016
50684 1266 3856568370506107904
101489 1537 4245434159730810880
84113 1451 4395236468621556992
67481 1359 3722049204521351424
75971 1408 1164574541155154944
65721 1349 3740176921448479488
38848 1208 666735776545812096
115910 1615 2814441869491951872
90762 1481 4522375987442850816
62807 1333 3934695784125629056
47909 1253 621397002256987904
10155 1056 93118704908241024
73156 1392 1262279927538417280
39191 1211 682015620916591232
19513 1116 162405529644328960
55781 1295 3994663217023420544
68478 517 1450969317004082944
51399 1271 729160652291583488
93843 1498 2037646387758121984
47701 1251 696553741616152832
65709 1350 1468494570278160640
68065 1360 1457566455490262272
28429 1162 3451460595516455040
96052 1510 2046564629647401600
107445 1571 1949310936385364864
101067 1535 2056972675436812928
72469 1386 1294674907346517120
115280 1610 1916957325701168512
65072 1346 1524687207959634048
30640 1172 958485655058956032
38959 1209 923090520333365760
66294 1353 1501901341302334208
95534 1506 2126627286810626816
42452 323 1029443222072332160
102499 1544 2182419152504820992
25973 1150 269413334155771136
95520 1507 2142523441811425280
71040 536 1618237642980201344
107418 1572 2203889762737550592
57498 1303 859735526469608832
61936 478 1580707806431193984
111797 853 2205279579796992128
74605 565 1645425610597706112
66435 505 1687031130593183872
109400 837 2230744509610810240
26638 205 502835185965114496
40793 310 1137182751569485440
22361 173 551765480625936128
80850 623 1704511269530244352
104105 795 2284809420494735488
111056 1593 2285649894054051584
5626 41 565525971727957632
77013 1645 1723762137584646400
118027 1650 2287540950974597760
45421 1640 1147658108085156224
98382 1647 2302398308003350528
58874 1642 1726941822135312512
54901 1641 1148086848900307200
25911 1637 571663033323133824
43 3928 423196562335109888
60 4001 4901114312497618432
106 3929 393907153116609152
128 3930 537612876192148096
150 3931 2307753376307231104
179 4002 2420857526116427392
184 4003 2765462887081324288
237 4004 2306123315959300352
249 4005 2873571749408042624
283 4006 2766175645494093440
294 4007 2740136323933757056
332 4008 2312777972647472256
453 4010 2444877319698022272
568 4013 4923606781349348736
599 4014 4995839369534285952
630 4016 2880880924751409152
720 4018 2340353208876408192
759 4019 2796824394679193344
798 2007 4904631134798814336
909 4021 2751811522509674368
938 4022 4634308985565484032
966 2009 4995360188623033856
1018 4023 2544753554351226240
1066 4024 2308146692232683008
1101 2011 4977328232287840384
1131 4025 537903044182468608
1140 2013 4922906804758801792
1272 4027 2741090493864869504
1315 4028 2316305515188098176
1345 4030 4974051103521554048
1353 4031 2800675502874951936
1421 2017 2547964815499312768
1428 4032 428224938244880384
1556 4035 2416904884893910912
1591 4036 385172564026248704
1667 2019 4997268184894545920
1763 4039 2863734521952881664
1773 4040 527474623068986752
1939 2021 2540974567246007936
2020 4042 4972717052319467136
2129 4043 2793345814766862208
2140 4044 2426443526222444672
2159 2025 2347526697613534976
2204 4046 419402353866498816
2337 2030 2374591794806523776
2349 4048 4905439275845512192
2422 2031 540077259706137088
2733 4050 2805812111962504960
2745 4051 2346591494254683392
2787 2036 2542768008149864576
2833 4053 2557331795574005120
2841 2038 4906761816535027072
2917 4054 2528458585868869120
2928 4056 4616597674307618816
2954 2040 2550687962203677184
3020 4057 4979372739799295872
3058 2041 425557041998729856
3193 2042 2527541868049371008
3299 2045 527641405239491840
3316 4060 2377028415652891392
3368 4061 2350015098585947136
3471 4063 4926712695538848896
3488 4064 4690102500525615360
3506 4065 5007768349141109760
3597 4067 369194529770725248
3649 4068 426793855141617024
3685 2051 2789223092839567872
3807 2053 4975349386235485696
3811 4071 5002475059647103232
3938 4074 2582223330077574016
4046 4075 4908443897528751360
4262 4077 2805477276311887488
4281 4078 526697337066624384
4320 4079 574069623752026112
4321 4080 364251434729870464
4326 4081 2345439171708981504
4346 2058 2474724765425055616
4366 2059 2805741846297577344
4382 4083 2776998275885194752
4402 4084 312444783291806720
4419 4085 533097662972860032
4552 2061 362706002418747648
4588 4090 4928427418282458496
4665 4092 4704522286286624512
4709 2063 533481495609136256
4719 4093 5001910700944130560
4736 4095 2473386556694620288
4796 4097 2476303939000240000
4839 4098 4981857326840796672
4869 2067 4635939904906451072
5080 4099 2468256372878890880
5084 3973 4617778240558233984
5198 4101 4988181305406551680
5204 2068 2584631810298226944
5240 2069 412052427872989568
5241 4102 5032794367660722944
5472 2076 5034629967963498752
5575 2079 2579957236613228544
5623 2081 4686358560353849600
5665 2080 5014085318320591616
5776 4109 411764527621744640
5798 4110 5012889599426707584
5833 2084 2533660341020132224
5916 4112 5014582916051752448
5943 2086 4704612652398500608
5953 4113 4612945337199106048
5985 4114 2531792751800898560
6046 4115 4927932088293795584
6090 4116 566116478190156416
6197 4117 5040068186836755584
6207 4118 4933752456174792832
6224 4119 525705096542343296
6248 4121 371582256709420800
6272 2088 2470289885274409984
6288 4122 2456199575045089664
6289 4123 2591483588805814400
6308 4124 293716733019206912
6315 2089 308747538004536704
6412 4125 4715689166896942976
6487 2094 2451106293587403520
6520 4127 400125750367459584
6534 4128 4687321114064461440
6636 4130 320554025143859200
6699 4134 5042945024648688128
6740 4135 2477292125075547136
6812 2097 4687774147220506496
6909 4136 2450402606145930496
6971 2098 5037156130288604800
7179 4138 406520028957605632
7231 2103 4631571235971845504
7283 4141 576394850325241984
7382 4143 2484630746716137344
7399 2102 407290271210932736
7409 4144 4959703954247126656
7443 2105 5008573088574314880
7514 4146 4929815998389132672
7542 4147 4911471265354811520
7610 2111 4931140978619979520
7615 4148 4698704014349653632
7658 2110 96780525305543936
7975 4151 2589245498527320704
7986 4153 5139072508766486272
8096 4154 305434881272267136
8207 4159 298683811154107776
8241 2118 4912947565873334272
8251 4160 4954077169132553856
8278 4161 4712905547052004096
8296 4162 2453230034656304256
8306 4163 2574182979500850432
8433 2120 305334275954291200
8473 4166 347591428388047744
8531 4168 2467123223066697216
8593 2123 4940552591995065344
8654 4169 92205869739023104
8778 2125 5141797510897014656
8820 2127 4961654625313980288
8860 4171 572910154379600512
8867 4172 518458593374872192
8976 4173 4616850939939607680
9025 4174 5141009092340355456
9068 4175 356114602008159360
9305 4179 504620930287281920
9318 2137 4698218854843681792
9348 4180 5021251110477120384
9386 3974 4618118676846480640
9479 4182 5141684329918760448
9492 4183 97594060831336576
9495 4184 4943919193520715648
9528 4185 4714422254623576832
9777 4188 92375503770886784
9812 4190 4958368631735175424
9875 4192 2463063585618668160
9919 4193 4970940138449319936
9923 4194 4718332976965308160
9952 4195 73254721682710528
9956 4197 521881716656813696
10029 4198 5123991160603974528
10054 3943 568948064229302272
10069 2147 5121585600960415744
10094 4199 74117322914198272
10105 4200 4644660337784670720
10115 2146 456058078669081088
10152 4201 4968275884336400000
10220 2148 324628437279401088
10254 2152 4942765118628445056
10355 4204 333200985843334656
10433 4205 520408439793667200
10510 4207 106774948562951808
10601 4210 4944637655649363968
10625 4211 132095430040224768
10657 2156 101040376948722048
10718 2157 458694295237187200
10806 4215 4617305484918013568
11022 4218 4938438059336157568
11028 4219 2516606056682348928
11043 2162 4949848275613124864
11123 4222 4739386391254190592
11135 4223 331726849988807808
11244 4224 5068575568405988992
11299 4225 132840624046058368
11360 2166 2517397842491320448
11403 4227 547104238518429952
11434 4228 4634133579100900096
11483 4229 568667173367645056
11556 4230 4951317016989408000
11625 4231 458089632561625344
11986 4234 5126469906490981376
11993 4235 102148547230572544
11995 4236 89799244944261248
12048 4237 2495335110887352832
12064 4238 340573898503148416
12078 4239 4613792476549099520
12173 4241 4620501627781360000
12250 2181 5125533088222297472
12316 4243 5177426566720238848
12384 4246 5070761809837819520
12409 4247 5062090923702384384
12432 4248 466016252402688256
12611 2189 4753362798950483072
12836 4251 454331192578162688
12876 2191 4695212583895064704
12925 4252 6478253791395968
13018 4254 21568054450244352
13078 4256 4949339476607425792
13094 4257 85038359596165504
13119 4258 4640763221899224320
13129 4259 4753230032921762688
13141 2196 4721400202089666304
13223 4260 31986236361233920
13315 4261 4740687422747057408
13317 4262 5065150005568872576
13473 2200 5045597665170201984
13518 2202 4748354489126245632
13614 4264 143046428415601792
13618 4265 4748144860362443136
13649 4266 4721875465991492352
13662 4267 336306831314161536
13727 4268 5049364317129394176
13794 2208 4728731195867816064
13853 4270 547205874625018496
13865 4271 5045799116316124288
13902 2210 4755367689684254976
13947 2211 5052495691885264640
13970 4272 5158985798216847872
13973 4273 115377871135975296
13994 4274 114900064614507904
14024 4275 109883680251620864
14038 4276 5079732965727405184
14074 4277 5179359405082466944
14102 4278 4646007102089726336
14282 4279 5182619010381909248
14336 4280 434213634483179136
14358 4281 3266783289620583168
14494 4284 5186929714438088192
14623 4286 5074588385180614272
14643 4287 5073393181681378304
14674 4289 5104615497979400832
14710 2223 4747624104168195072
14724 4290 541018785256781312
14784 4291 123818512665200896
14790 4292 446251878060258176
14833 4293 462986032715935232
14967 4294 4850864397725207296
14984 4295 112186538636376448
15049 4296 5169427688350832000
15096 4297 5048233916096317824
15115 4298 2917004348752384
15147 2229 5103239493536717184
15353 2235 4671503814665664896
15375 4302 17379190026592000
15445 4304 4672000690841730048
15519 4306 55449092943249920
15695 4307 4723968420733783808
15700 2237 5061926065677761024
15775 2238 5105319735176726656
15847 4308 5099977311256578816
15874 4309 4846330080491737856
15882 4310 61728850526487168
15927 4311 3248628806458000000
16004 4312 238079967183432960
16054 4313 5164846813668219776
16163 2245 4730064491155550848
16203 4315 120908964379500672
16398 4318 235023393576463872
16409 2253 4730921113792557184
16499 2249 241996496319297792
16531 2256 4722730920397075200
16725 2251 544439640808218752
16815 4320 4625618480019346944
16820 4321 444732937104920960
16825 4322 4733095775993871232
16939 4326 4642033054750098816
16962 4327 249486197730293376
17049 4329 41201174594407040
17067 4330 4856120235104762240
17082 4331 5108320611646572032
17117 4332 4729441858336684416
17196 4333 237066870295924608
17211 4334 449986163144775552
17259 4335 3277745832866088832
17287 4336 4615393468557507328
17298 2264 4835819299086021248
17417 4339 3243088642243272960
17434 4340 244541453421866368
17442 4341 4836645788232722816
17553 4342 5081983391151204864
17565 4343 4887901446906849024
17649 4344 219904662017704192
17673 4345 575949273238323072
17792 2270 3302605687691053056
17805 2273 3257625113675461504
17812 4346 69987660319540736
17963 2274 251618700531201024
17968 4348 4680564615111795328
18057 4349 474851721684732288
18059 4350 63845582208243584
18109 4351 3257271002211911424
18187 4352 4842770342878133888
18277 4353 3194381720241577984
18318 4354 5109859515608792192
18383 4357 469624162371769088
18454 4358 3271925946021601408
18468 4359 571307959779649664
18554 2286 4829750853894246400
18605 4360 4669567265451021952
18607 4361 4828812111482193920
18675 4362 245526856359512576
18872 4363 4612757870465794176
18894 4364 4831414483706495360
18902 4365 39075406300802816
18913 2285 554832637030958848
19121 2294 3195405674804675968
19129 2291 493756381016405248
19139 4371 476260505317607296
19222 4372 549863772189618944
19277 4373 4681928696724985984
19298 2296 232255476135425664
19387 4374 5090982653306902912
19440 4375 3251822544138810880
19462 4376 4840605026525195520
19469 4377 3197167813986904320
19500 4380 494192990210760832
19597 2303 4780107560302676736
19606 4381 176895581069882240
19618 4382 169535209715322240
19663 4383 3303975232504357376
19727 4384 246497931283300352
19728 4385 5096447226096403712
19741 2309 4868769051230680704
19751 2308 4885508978324278144
19764 4386 489545835596871808
19790 2314 4627983873127999872
19792 4387 163176321655349760
19794 4388 4844396348776622336
19823 2304 469173156447235712
19855 4389 3285218251327446912
19894 4391 4869790016496484736
19899 4392 3255633451440772096
19995 4394 4676447871778699648
20052 4395 4837527940156180736
20233 4398 3203009210028187136
20271 2322 3198981046100104192
20325 4399 4612340365286045440
20330 2312 551177997818812672
20424 4400 3283305582131877760
20585 4404 4655995959072363520
20592 4405 4628540844487508096
20715 2327 3287470532177440128
20775 4406 179969197106080896
20776 2321 557440300654550528
20952 4408 3307836476821257344
21168 4410 3177451165319169024
21295 2335 3282524172961450624
21300 2340 4652675262158210944
21322 4411 4871280370148390144
21452 2336 476166634513816576
21480 4414 4615671576280058624
21495 4415 4778278694509230464
21689 2343 148144795112440320
21870 4420 3229148003034771456
21882 4421 3293067870996535168
21914 2351 4784427335329778560
21933 4423 4877563048309410304
22008 4426 3200790120684932480
22036 4427 4881072380186908032
22054 4429 252933544639210240
22081 2356 4664994327872561664
22093 2346 556424145753059200
22146 4431 3281536021246726016
22154 4432 556702459633447168
22207 4433 154751966642508032
22302 4435 4774656559609325824
22314 4436 158401829850320768
22323 4437 4784730628740680704
22329 2360 4814494133626340736
22334 4438 147169940616329472
22352 4439 3412648075575445632
22364 4440 4663190785206276224
22372 4441 4661610168528991872
22379 4442 4611896128227831168
22439 2363 3179824461168372864
22480 4443 500902210164070016
22513 4444 259427603912771584
22576 4446 174156250928382848
22620 4447 4786899793383262080
22737 2372 4661781726696303616
22787 4451 4824866891963046016
23011 4452 3186480045569139584
23067 4453 3212619491410184832
23103 4454 3239248804041967488
23255 4455 3228121712008647552
23294 4456 4655052268857640192
23392 4461 571440347851297408
23408 2376 3228620237452693504
23412 4462 4823703986617986944
23430 2377 2959158387348381568
23433 4463 157386671380265216
23455 4464 482490441280732032
23517 4465 2975940783079038592
23569 4466 255165312729159296
23811 4469 265728011696543872
23889 4470 2955981932615685632
23991 4471 2962249458131154176
24017 2384 479290003449908736
24103 4472 3395051010446692992
24178 2392 4875876225673170176
24184 4474 185475242102468224
24369 4477 4771174646802832640
24666 4479 3240485204866900096
24853 4483 2989254666300822272
24973 4486 194811401491322496
24983 4487 4661182664656327296
25003 4488 4648984785737759104
25067 4492 4819657165352684544
25107 4493 4649606456482466688
25140 4494 4762606977320751616
25180 4495 2955204955851457280
25328 4497 286339697188961024
25350 4498 4822879593416230656
25468 4499 485791759302112256
25469 4500 3222304127267517184
25486 2409 3009908373754300288
25636 4502 3209745883411654272
25714 2404 552383509239431808
25924 4503 556974554401595520
26262 4505 3449712097150115072
26269 4506 4621382130437230976
26292 4507 2902530961537465728
26364 4508 189703276627066112
26386 2420 3339859649902122880
26395 2421 3010113295232699264
26419 4510 3447645599406023552
26511 4513 2996397781029194624
26651 4514 3428665073772531328
26680 4515 3339560995055968768
26817 4518 4766561955005743360
26819 4519 4802385693106835712
26823 2429 4659468972710563840
26852 4521 3441808360894466048
26932 4523 4614556946366728704
26941 4524 3009396688529351168
26995 4526 4659285800947081472
27015 4527 571591771218253184
27075 4528 2966790166276461184
27211 4529 3320539890571039232
27213 4530 480239019423722752
27462 4532 4801242235373780864
27469 4533 264341321375932160
27560 2439 3319644991185957120
27712 2445 2914027626915986304
27795 2438 481773456619233024
27857 4535 3455271502820309120
27877 4536 3423998437188170112
27919 4537 3323066877529307904
27935 4538 2910930921136380160
27936 4539 3025295317429748608
28054 4541 192035065910294272
28078 4542 286722842636609536
28356 4544 3315967537107175168
28372 4545 2889079364484871552
28389 4546 2882836955937451264
28464 2462 5495799470032432384
28520 2460 2911477069178443520
28607 4549 1104921740380737152
28656 4551 997524571315821056
28700 4552 3329797160001607424
28748 4553 3430605299478700288
28831 2459 1116160123606159232
28849 4554 5207377641420501888
28867 4555 2896189837462741248
29076 3977 5207364756515699712
29137 4560 1143333557054288384
29157 4561 5476515341753945344
29174 4562 2994671788292218240
29284 2476 5260522192348710784
29314 4563 5481327629267108992
29448 4565 962457194136769920
29660 2482 5266349741416357120
29716 2477 3121655176460337920
29780 4568 3317910683392318464
29946 4571 5553568807387512704
29971 4572 3007327098409347456
30002 4573 3452731630958586240
30036 4574 3437030158237519488
30104 2486 5553647078872137088
30229 4575 3375473690517974272
30248 4576 3124558711788435584
30267 2485 962134418753882240
30332 4577 3118617363268950016
30451 4579 5573663000861298304
30481 4580 1104324258893111936
30497 2487 942678972817219584
30505 2492 5573426262262680960
30532 4581 3369620131131370880
30562 4582 2944086350674061440
30583 4583 2895088985804175744
30588 4584 3376305574146752256
30637 4585 1005159099022720896
30887 4589 5207801778028508800
30892 4590 1116579518573076352
30973 2502 5284477286543027200
31368 4595 3371879249570307456
31382 4596 2938842367405356288
31406 4597 3120474541488745344
31429 4598 1149838920679841152
31501 4600 967962311417860096
31723 4602 1113445395037531904
31811 4605 2940476207323424256
31841 4606 5557209324746465920
31943 4608 943883728324661760
32143 4610 938032299240538880
32175 4611 2918427769371137024
32243 4612 2920514711160151168
32296 3950 1143461753238696064
32351 4614 5206328123209191040
32431 4615 3379621357617073280
32472 4617 5483374404522420224
32476 4618 5577606124435450240
32490 4619 3098514167544422144
32637 4620 2952372957499968256
32711 4621 3113430692042656512
32766 4622 3101933408189096960
32780 4624 5563192214189914752
32782 2528 2919222029083241984
32880 4625 5579770994110957568
32948 3949 1152096767812244224
32964 4627 3381992591880587264
33189 2534 5562479627575774208
33331 4629 3385205880252270976
33440 4630 5485045937074744192
33647 4631 3366033421122626944
33655 4632 891103253180414976
33672 2539 981578251099805056
33880 2542 1099823614200384896
33881 4633 2935254970201699456
33913 4634 981091511045321088
34001 4635 953610489219688704
34049 4636 3109541410178360448
34056 4637 3152880653851208576
34204 4638 2948319092488717824
34242 4640 947738238134230912
34308 4642 5280959983205876224
34337 4643 3159295410846078848
34381 4644 5212834758144779648
34416 2548 953107531369055744
34531 4645 886464104385880960
34554 4646 5208250447492186368
34704 4649 870659071413303168
34791 4651 5605986546772624640
34952 2550 1140247846391344128
34956 2552 1111365187757333632
34965 4652 3140256782898424960
34992 2560 5293138620673771520
35158 4654 5490362694271982464
35180 2561 3031312257372942080
35230 4655 3047992707761284224
35265 4656 890234398476992640
35345 2563 886770215294741632
35376 4657 5560254697078860672
35463 2566 5591106958996675072
35629 4663 3061685922492877184
35669 2569 3058192086857241600
35831 4665 3058953361219912064
35868 4666 986985546205883648
35910 2573 5485643624724617216
35946 2576 5264068564025752960
35999 4668 5267550717350551296
36161 4669 869804029324289152
36169 4670 5293329901335029248
36259 4671 5507638805083345792
36346 2584 5288387527849406592
36411 2577 864696832173128192
36434 4673 989231161266761344
36481 4674 864706006224270592
36562 4675 3053918800556939264
36634 2581 1087238088713648128
36701 4676 1095918698654337408
36715 4677 1141697827349891456
36777 4680 5494202601190737664
36809 2588 3027503033701678208
37091 2589 923593203306531328
37127 4684 5588111820599880320
37150 4686 1086422869560921088
37179 4687 892548629934850688
37271 2590 985278760562027008
37311 4688 1149359430530324864
37313 4689 5717155830994840448
37338 4690 3148366677583585280
37428 2595 867070059301440384
37512 4694 5194737827543840256
37530 2600 5295126262817079296
37664 2603 5536661136050509056
37674 2598 926636170455034368
37774 4698 5288982672877769984
37789 4699 920377956428553216
37836 4700 3164686763035034624
37959 4702 3056388956507912832
37968 4703 5614333695453360640
38017 3978 5206876367194427136
38200 2608 5594744315256505856
38210 2610 5275049833328897920
38237 4706 5587554883602935680
38307 2609 3037408121636845952
38333 4707 1082027228230944000
38476 4708 5537704228987950080
38496 4709 3082575956226953088
38559 4710 1110958780771777408
38647 4711 882410273732826624
38700 4712 5518695356570847232
38723 2613 906647736256989824
38778 4713 877398631015052672
38789 4714 5712510772324942848
38844 4716 5294909830825025152
38900 2612 1138343732769676928
38989 4717 3151067902774743168
39019 4719 5296230000692219008
39239 4721 3068276154673464320
39243 4722 922266539447566464
39296 4723 670167867732260224
39394 4724 929418793866884736
39395 4725 1095068432568689152
39455 2628 5270611139248191872
39462 4727 5724133503584359296
39700 2629 5694066327329724416
39712 4728 934922193161720448
39772 4729 5196332153763910656
39812 4731 656497261706295424
39818 2642 5208940356679619584
39866 2631 5541099108578869760
39882 4732 3090725845649407488
39905 4733 1145453209314152320
39922 4735 5276350830461585280
39961 2634 5520757731149443712
40040 4736 1083360489158784896
40071 4737 1031735360218226816
40093 2635 908828067814716416
40172 4739 5290443133555867648
40453 4741 5726442787241015040
40486 4743 5644493711720089600
40611 4744 5694399754230958848
40806 4745 932134278350114816
40810 4746 5515084766543846272
40820 4747 3093174458043605632
40836 4748 663483867826499072
40866 2646 675727788795680896
40947 2648 5540043302537295104
40964 4750 1097315422019040640
41036 2650 3065006791206115840
41060 4752 1089876985339238784
41096 4753 683030298350423296
41159 4754 901427598646224512
41166 4755 3076254073604426240
41208 3952 1145595905307576064
41254 4756 5219698768718366464
41280 4757 5700048220340649344
41328 2657 5722357139469529344
41364 4758 5708173886147825792
41373 2661 5321368856594220160
41406 4759 914352770147048320
41484 2660 918107533636639744
41537 4763 5526782127154166656
41629 2663 710757920018862720
41676 2662 1093722561617028096
41731 4765 3079465266032174848
41747 4766 5748069390683750144
41755 2659 1138058443861656576
41808 4768 1121822952088639488
41864 4769 5315326490446416384
41900 4770 657901612932540544
42019 2668 1034688751529972352
42136 4773 5321854050462817152
42184 2673 666490035696059264
42197 2671 916566636809463168
42265 2675 599730747674876672
42273 2670 1118404707875016960
42403 4776 666427535336361088
42486 4777 5748552591685561472
42529 4778 582379560835202304
42606 2682 5750482646908016256
42699 4781 704441294436752128
42759 4782 5761657327178482432
42786 4783 1015393696851565568
42900 4784 5329132920512767488
42915 2694 5216745789725551744
42959 4785 1013602351892191616
43068 3953 1145894938110599936
43079 4787 659866508930842752
43166 4789 5705597111929566720
43185 4790 1092822542632054656
43354 2697 5525892587887744640
43431 2692 1137916538142596864
43518 4792 581811250762097536
43569 4793 608182830996480512
43625 2702 1017229675111384576
43685 2704 716773554292836480
43727 4795 686102127679983616
43767 4796 1017631374812654208
43894 2706 720375726184132992
43950 2708 685845322995749376
44060 4800 1125897467301985024
44075 2713 5730371101767409920
44168 4801 5323810528320033536
44336 4802 611181439723303680
44350 4803 1009749903666361728
44407 4804 5743609531003314688
44415 2715 5628212349694389376
44468 4806 5732297514858594944
44523 4808 5299925665435608064
44717 2716 1039276154558611584
44753 2722 5324052730117862016
44794 4810 715870546008753920
44800 3979 5195336133667933696
44806 4811 688790571048771712
44836 4812 5624796063988333952
44865 4813 816419853576442752
44887 2726 5648353100614800768
44934 4816 5679338059838035200
45013 4817 5326830474444683520
45037 2728 5651800413163247872
45097 4819 1144778212254783872
45166 2735 5215370609916982528
45282 4821 587012078200434048
45306 2729 1120352527083170560
45328 2736 5310185277159015296
45445 4823 5732724228450587904
45510 4824 635652239230433792
45517 4825 701542638188289664
45606 4826 638929367998323712
45649 4827 819077373181077888
45740 4828 590788488325020928
45764 4829 1121216227826467712
45813 4830 1019491473608933888
45854 2744 5683324373606350720
45879 4831 594232605419767808
45962 2746 5422737403402000256
46044 4834 5744829851471230976
46059 4835 1064282725466260480
46076 4836 637329063182576000
46097 4837 5426071878571734528
46107 2753 5195912621358763520
46125 2748 810712323076734720
46190 4838 1067814459893895936
46243 4842 811303654174442240
46496 4843 1018081899702160512
46524 4844 1024967556911563520
46694 4845 696321847744743040
46700 4846 1026580368670594816
46825 4847 5299242731274513280
46918 4849 5409197433102008832
47047 4851 3825514794883046272
47269 4854 5436907118986809600
47380 2770 814765569612979072
47394 4856 5309495127446188544
47506 4859 1147817709069673856
47557 4860 619609746105911424
47658 4862 5202005461965229312
47698 2779 5665458340445033600
47740 4864 640828121498537600
47949 4866 5687279969764390272
47956 2784 5203572506553737216
47957 4867 5657456438415485824
48066 4868 5244417886057642496
48138 4869 5664177203240925952
48154 4871 1147335057824965248
48168 4872 621114874444912768
48176 4873 643207636459747840
48260 4874 5257490151601719936
48313 4875 3834221312067726336
48391 4877 826740453830301696
48505 4878 5660178245090290688
48566 4881 800160584862776064
48620 4882 5189058540748259200
48647 4884 5435803381111435648
48715 2799 5242303490837216640
48730 2797 5405253587977021568
48806 2801 5246544547706033408
48834 4886 1066662927622286080
48861 2798 820479250506389632
48863 4887 5419980927752365312
49163 2805 1127168983779677440
49205 4889 5259768064811510912
49221 4890 3830131541129126912
49222 2808 5463495543529951360
49261 4891 5192433938367322880
49282 4892 747389111970828928
49328 4893 3881135927037011840
49338 2810 5407121074122402816
49366 4894 3766401957398155136
49380 4896 5404938371734699904
49396 4897 3875070299343289728
49412 4898 3828401734460999424
49437 4899 827224273306262144
49603 4901 5407437080628773760
49630 4903 808525119571263232
49688 3955 1147461501662498816
49829 4905 1052784307741330560
49891 4906 5421159466777338752
49899 4907 5672937115458883584
49900 2818 3772650035301493888
49934 2819 5258611378582677376
50019 4908 739701120510892032
50076 4909 5461853319834125440
50079 4910 1045894527363589120
50192 4911 802253608325501824
50222 2821 1048502431505463424
50300 4912 752491601837723264
50455 4915 848242331424623488
50481 4916 5354866887083994752
50505 2826 806000812673038208
50546 2827 834677209795921024
50554 4918 3779009679276299392
50573 4919 1076377078494172800
50609 2831 5365315786599756160
50728 2832 5473711071703359232
50850 4922 3755397254752574720
50852 4923 741926154088424064
51064 4926 1047321624736616960
51424 4930 5230567406802979328
51434 2840 847302145903443968
51448 2839 1052673050908034304
51552 4933 1078384340049604096
51621 4934 5367865347908499456
51640 4935 5204555607387424640
51645 4936 3750669217314259584
51668 4937 1072186942759652736
51736 4938 3762124204330566528
51767 4939 5447692365983617280
51835 2847 5204503243144662912
51868 4942 5357774373782607744
51883 2845 1133828347751913216
51917 4943 751036707436693632
52028 4944 3987277900498873984
52065 4945 5188952918912768768
52120 2851 3886447530271695104
52204 2854 5364365636753487616
52216 4950 830780574946823936
52349 4951 3778018469543419392
52379 4953 3553582445231052032
52495 4954 835805480524742912
52536 2859 5470699715513599232
52576 4955 5454820602946079488
52707 4956 3871997542300750976
52730 2861 5231898674864228736
52827 2862 5350316111533455488
52959 2863 731365894660043392
53021 4957 3864193002608001664
53022 4958 3557807421741501184
53062 2864 1128231627408058880
53196 2867 3764461662971756672
53261 2869 849917884066414592
53269 4960 5360200755426905984
53271 4961 3801078733071967616
53304 4963 849940698932830976
53382 4964 1054368978874624000
53387 2872 3550772952503378688
53530 2874 5360285761420076416
53532 4965 3804543775246648832
53565 4966 775207168470579200
53613 4968 5401365817937685248
53675 4970 3552431290915987200
53737 2877 3871570759990399488
53847 4971 1072659973277748096
53951 4972 860354139199251200
53975 4973 3758780005354572672
53979 4974 1080154966087194112
54019 4975 3535772315365204608
54030 2881 5451717643692305024
54089 4977 3969816040942523520
54192 4978 5452098624471591680
54276 4980 5237740414502734464
54369 4983 761759900744811904
54391 4984 5191279554237100928
54417 4985 3867000158873316864
54442 2888 1075339551834398592
54598 4987 789558956308728704
54752 4989 5400635467337048832
54811 2894 5376592137335905920
54960 2898 3539823946994562816
55038 4991 5374577522797651200
55048 2896 1129090036751442944
55082 4992 1130153195776263936
55209 4993 3964066866439134848
55210 4994 3786697017900891392
55255 4995 3534297732833347200
55324 4996 3811925071682130176
55440 4997 3997938971400329216
55444 4998 3482643776073119744
55485 2907 856414417238217984
55538 4999 5345850032740401280
55577 5001 3558674798974881664
55589 5002 3817410775711138048
55613 5003 764122510714308736
55657 2911 5227760078739809024
55744 5005 789951825557269760
55830 5008 3544391799332542080
56056 5011 3797392379820905728
56101 5013 3973638836713425536
56160 5014 5385279550505722880
56250 2920 5336114544471768320
56255 5015 3993135961012700672
56306 5016 770909246236825984
56311 5017 1146903121553856000
56318 2921 3592801921913707520
56378 5018 3812902846756764032
56483 5020 1057399198561356672
56500 5021 3786113692622390016
56535 5022 3916283156247876224
56545 5023 841161064224657152
56553 2927 3916227424752643584
56587 5024 4024063127160746112
56830 2933 3491774876544112256
56886 5027 773617309016812544
56931 5029 3483782560881272960
56960 5032 3591819095957319168
56968 5033 3911073257839090560
57005 5034 3547545301760730368
57016 5035 3464732628577009408
57096 5037 5370230706656050816
57161 5038 3543326132046671872
57165 2939 3463642428439798016
57264 5040 3794636316487167104
57573 5041 768310550504539776
57591 2943 4019599213028451584
57841 2948 3479307170599975424
57853 5044 1058004514071987328
57971 2949 3464333608935006080
58027 5047 3896603272500747648
58040 5048 3479624620221528576
58135 2952 4004753366512053888
58149 5049 4031295749005393152
58287 2954 4035051027890702592
58327 2955 3926664985559283968
58339 5051 5224925262881268608
58356 5053 5343538378262707456
58410 2957 5224212023432195072
58453 2959 5369005232225300736
58555 5055 1546421804061426048
58650 5057 1585077162560455168
58656 5058 4034726362722863360
58663 5059 3920061868474919808
58753 5060 3493416138166555136
58766 5061 3567831428731789056
58777 5062 4007916214789196416
58820 5063 6125002180215556992
58895 5064 3892988696744162304
58946 5065 3465708548225250816
58949 5066 3601738889863102592
58995 5068 1549140621439415808
59044 5069 1539799376807947776
59068 2968 3574381837973205888
59100 5071 3905984924183827328
59107 5072 3925922162371768960
59135 2970 3472640934678628992
59151 2971 5838154096334381568
59197 5074 3472689966026657792
59209 5075 3594696552246936448
59271 5076 4033732438571472000
59314 5078 4001998402690329600
59353 2974 3461102281700759296
59415 5079 1727125474934523648
59440 5080 4028704887296060416
59482 5081 3488270251949295744
59487 5082 6054199644358100864
59552 5084 3461180621904616192
59658 2979 1681089232317315712
59666 5085 4014538710761703936
59767 3958 1728674137062244992
59970 5087 3700872576210782848
59999 5088 6125796371207205120
60043 5089 3473063628180454016
60102 5090 3469149366785603456
60280 5091 3698197017743335168
60305 2991 1545376786979102848
60407 5093 3583546198671243904
60467 2993 1535113498768454656
60500 5094 3900342814625561344
60591 2995 6146374659032077824
60678 5095 1571927725046979840
60790 5098 3946262612089584000
60791 5099 1534726539395277312
60912 3984 5770644288547528576
60943 5101 3907471085948144128
60986 5102 1583679752001277440
61147 5103 4010969146262166144
61192 5104 5787350989775180416
61203 5105 1571720845062940288
61208 3003 3515159977038057088
61265 5106 6074327819591117824
61283 5107 1519934328430139648
61459 5109 1517927341752326144
61487 5110 1541967545018710400
61573 5111 3932503701536765056
61648 5114 1689719470882297728
61709 3008 5837321766033434880
61748 3013 1518706070862695040
61768 5116 3500391130694944512
61866 5117 3523431465574649728
61965 5118 6128873182695817856
61995 3014 1515183407406383232
62017 5119 3962902758503389440
62079 5120 1521755532003124736
62090 5121 3496587645096562176
62141 5124 3682214551081997184
62170 3017 1719315403324264576
62176 5127 3929254610317372544
62189 5128 3522268113553393024
62219 5129 6056660420079387392
62242 5130 6151932140553546112
62363 5131 1528404931651072512
62437 3019 1567523596862268928
62484 5133 3942086598208147456
62541 3022 3930809147960260736
62543 5134 1570383186087938048
62704 5137 3704586176733725696
62904 3026 3941974963417782272
62927 5138 1516787045115103744
62942 5139 3709422000670924416
62945 5140 1728757803025927168
62972 3027 1515555866969906304
63083 3031 6184754555507525376
63251 5143 6183479431257059712
63286 5144 3498999423854429568
63325 5145 3629180810307376000
63472 5146 3930044368903759360
63479 5147 1467118256597859712
63555 5148 3622567900701302528
63623 3040 6186834041234656384
63647 3041 1579166394207965184
63677 5152 3944504802234531968
63711 5154 6134493989217389568
63751 5155 3497836277988859776
63804 5157 1523622330947930624
63972 3044 6139174782016856832
64021 5159 1461278784703249536
64024 5160 1685753223203266304
64055 5161 6181162760257521024
64162 5163 6179410757198875008
64231 3050 1675593220366533760
64527 3057 1688161222389012992
64566 5167 3732602007886957568
64580 3055 6062236180986724736
64655 5168 1726647221736475392
64699 5169 6137559565073789952
64755 5170 3744272499181889408
64769 3058 3686494743690385536
64865 5172 3624962499588411520
64906 3063 1556189968442651264
64939 5173 3729731079952127616
64979 3064 1473207558150821120
64981 5176 3506582343232118656
65091 5178 1526334138939134976
65129 3065 6063901116468128256
65131 5179 1563603597390786944
65165 5180 1663419049666873472
65210 5181 1476569418031966592
65321 5182 5869559824918687616
65515 5183 1565867457472631936
65544 5184 1441519083282571904
65661 5185 1446376107178727040
65672 5186 1719015717686684672
65735 5188 3623889925994718336
65790 3076 3738318334479918976
65824 5189 6068965089065576704
65837 5190 1475372771423902848
65872 5191 6062914923258798976
66044 5193 1470330995214846464
66116 5195 1552355730877847168
66202 5196 1712765131522135168
66288 5197 3738877092545168384
66446 5199 3714412752668943616
66460 5200 3662718732452500224
66482 5201 3634253613359958016
66516 5202 1558790004203848576
66520 5203 1672307776543666560
66525 5204 6292920901675517824
66592 5206 6191481058409095680
66778 5210 6111867001989246208
66895 5212 3741990290999828096
67003 5214 6069207153427675136
67004 5215 3632431241556764800
67098 5216 5839999867119740800
67134 5217 1725849319891893504
67250 3094 1496459686458560000
67338 3095 1500502934310450560
67345 5218 5850310503049695616
67384 3096 1457268968875170176
67538 5222 6094713795964334464
67544 5223 1450561501269647360
67589 3103 1672793554525050752
67662 5224 1497007140169064832
67714 3104 3728422592390894592
67782 3106 1452083294081385088
67993 5226 1674652759968081280
68029 5227 1715203264196140544
68030 3109 1230899968760552960
68136 5230 6287231616196595712
68142 5231 1664784471309682560
68283 5236 6121997936488100096
68351 5238 6109430656026141568
68369 5239 1498814256249216640
68373 5240 3660538675772950656
68431 3111 5786162177186750976
68436 5242 5852093292435100160
68488 5244 1511368686173256192
68501 5245 1454489850160860160
68569 5246 5765879314390914176
68576 5247 1483443908326432384
68643 3116 6291511533927214080
68767 5248 1247412777984000000
68842 3119 5896467176549784064
68919 5250 1245412422735446272
68945 5251 5866087464120286976
68956 3125 1712013374806060032
68966 5252 6121344826581608192
68986 5253 1226616993013865728
69055 5254 5784889836076848384
69065 3121 5853903810129721728
69107 3126 1660014411915009920
69542 5256 6092369946409818240
69563 5257 1725578393355461888
69634 5259 1699472688776710400
69828 5262 6283933768508658304
69841 5263 1225259783347503232
69959 5265 1492165578155334784
70218 5267 1284721990653098880
70229 5268 6096441884645177984
70282 5270 3653591033595422976
70295 5271 1713848459712687488
70296 5272 1255523909622259712
70543 5274 5892468390201294080
70606 5275 1605325287661242368
70614 5276 6271279317386348800
70693 5278 6119088216403360768
70747 5279 3643320186243016832
70752 5280 6329406167819086976
70762 3144 1480408672118269440
70814 5281 1507046128007252352
70859 5282 5899454652721805440
70952 3150 1667027543749822080
71044 5283 6324180154693006720
71083 5284 6324737847606054144
71098 5285 6285913404834232704
71146 5286 3669210420901947648
71203 5289 6118767055928848128
71251 3154 1610729215513070080
71350 3152 5796384096271736576
71403 5295 1618388550951116288
71571 3160 1235912092515570688
71588 5296 1240757777698501376
71617 5297 6099831919515385472
71624 5298 1720748444932676864
71652 5300 6229904729191761664
71671 5301 6098082699592211840
71678 5302 5850175022602201856
71725 5303 1728461209764198912
71746 3162 5893245057731775488
71760 5304 1287666310993418624
72012 3166 1489574647723731840
72181 5307 1698533224810083584
72328 5309 1236341486165952000
72421 5312 1157551376272781952
72435 5313 5799521690144107776
72449 3169 3650616648484245760
72459 5314 6203148045010697600
72499 3170 1174894110616598784
72513 5316 1589995862187702912
72552 3171 1281505644263769472
72794 5318 1289231087838442496
72840 5319 6232350833326140032
72866 5320 1266514559133287808
72880 5321 1489551317461631872
73048 5322 1295972674665462528
73095 3176 5900079037890791424
73100 3179 1592338509149257600
73119 5323 1722624486648134400
73253 5325 1182157003394016128
73296 5327 6230827906642222976
73311 5328 1180043329727910912
73318 5329 5906965828968407168
73333 5330 6197033798288072192
73358 5332 6339270676906546688
73416 5333 6307283066155467904
73433 5334 6305149326403496192
73456 5335 1159912680572590464
73791 5338 5766327021781672192
73875 5339 1600002792389347328
74004 5341 4419383187076618496
74033 5342 1167602390019498112
74122 5345 5876629066206937984
74149 5346 6212549900219981696
74188 5347 6334826072949587968
74301 5348 6309409246765334144
74361 5351 6307743074332660480
74480 5352 1645002710937986432
74507 5353 1184148184591503616
74514 3202 1388536229280091136
74553 5354 1393463587561386496
74673 5355 5795241153934701312
74732 3206 6252246324431821568
74818 3208 1700675245259633792
74918 5359 6321167595911890048
75092 5360 6214741295614244224
75131 5361 6322569748114578432
75230 3213 1170407278541647360
75349 3212 5883156694942372224
75384 5362 1215881705076826624
75465 5364 1273757695060496512
75484 5365 1696993736733330432
75532 5366 6257906575932853248
75584 5367 1165804001313408896
75596 5368 5998838031290428928
75634 3959 1724173835970429184
75674 3219 1222055531586726656
75740 5369 4428696222362351744
75788 3222 1601127249187657088
75874 5370 1721050948069006592
75899 5371 1395737652484911360
75903 5372 5796029125814999680
75930 5373 1596504867944270592
75958 5374 1207805723451586304
76048 3223 6206717506433221888
76106 3224 6254552378272413312
76133 3226 4416110078400333952
76233 3227 4400452826661590656
76347 5378 1374084042287092480
76438 5379 1194433634833224832
76450 3244 1721001882362618624
76476 5380 6002124712064513664
76591 3234 6009052253792010240
76607 5382 4403899555096794368
76617 3238 1374185884551131904
76632 5383 1727283976407758464
76636 5384 6240974887138108416
76730 5385 5988998467374323840
76736 3233 5819811287449277696
76780 5386 4427657012075106560
76802 5387 1389966247231236224
76814 5388 1377139447660826496
76833 5389 1644572801891577472
76867 5391 1402521742307558144
77110 5394 1602083686864767232
77113 5395 5833716226888528896
77480 5399 5981938640648938368
77507 5400 6011252685797155584
77675 5402 5826074655439842688
77761 5404 5778551460778225664
77910 3256 4454410775679119488
77982 3253 5820481542869867520
77998 5407 1696364781721620608
78012 3259 1373540058908646272
78048 5408 1382687033579154304
78286 3260 1403076617722492672
78377 5411 4410101281713174784
78429 5412 1321449355512658176
78444 5413 4457933404775664768
78450 5414 1320140249480834688
78452 3270 1641893360774024448
78467 5415 6243661578160976512
78695 5418 4413345803087644160
78858 5421 4454882088209989888
78866 5422 5764662876572779264
79007 3274 4456326434172164864
79098 3275 6242058868164139776
79199 3277 6035292270589610496
79216 5425 1710603938337844096
79465 3282 4457407906937055104
79479 5427 6023000280351318784
79487 5428 5991621524157628544
79541 5429 6038324002101934336
79634 5431 4456926767521661184
79658 5432 6042369174105245056
79685 5433 1427909156558848384
79691 5434 1330534139057213312
79692 3286 4329233816397917312
79861 5437 1628490210952618240
79887 3285 5806372025540302208
79948 5438 4354994927160020352
79955 5439 1202442786767821568
79972 5440 4328390319180819968
80144 5441 5808869944158698112
80193 5442 4345561907668350336
80210 5443 5781235334301938688
80284 5444 1623867657910485888
80391 5446 6022327551027491200
80398 5447 4358494707031745792
80435 5448 1302163509244959360
80464 5449 6244920484615692800
80525 5451 5942415355159591168
80527 5452 4432896425500803328
80549 5453 1380960972122650752
80567 3988 5768798998798273152
80662 5456 4467096528523320448
80691 5457 1305975241180926080
80697 5458 1411622846727675776
80790 5459 5933752955885505664
80818 5460 1410183792165355264
81237 5466 4131459677747681152
81269 5467 6017929676328066176
81331 5468 4432221600238690048
81347 5469 4351579569166226432
81383 5470 4331258532700634880
81401 5471 1405327421104576768
81425 3316 4461228744204481408
81524 5473 1300615018915583360
81671 5474 4326157142345129984
81673 5475 1328030276203444992
81717 5476 4435483679440447744
81728 3322 6047774064024718336
81779 5477 5809340019742670848
81800 3328 1412260529112829696
81891 3325 6030367317488733184
82001 5479 6030517263386294528
82071 5480 4565651665595806976
82091 3331 5940061266408612480
82113 5481 1408600942097483264
82140 5482 6046673109290164864
82289 5483 4353557865462505728
82306 5484 4127392584240328704
82332 3338 1413944396810753920
82364 5486 4132368905144375552
82421 5488 1631547574832456192
82517 3337 5815996085176391936
82568 3340 4559467325006283520
82718 3345 1650155228584779392
82730 3342 4341074079160233088
82763 5492 1728150322850836224
82764 3343 4564651041294981888
82778 5493 5929182423479899904
82880 3351 1653853676462575744
82893 5494 1312951436300213120
82894 5495 1709658323978031232
82989 3346 4545340868332115072
83065 5496 5964715512553281792
83090 3348 4140049612341593984
83366 5500 5767744910746350208
83416 5501 4392322213051632256
83436 5502 1635884873325684352
83442 5503 1650193230455407488
83480 5504 4380309911079352192
83686 5506 5914164606477796224
83688 5507 4444650514039862784
83849 3361 5926689796261364864
83862 5511 4575081111675986432
83876 5512 4572036426539884928
83950 5513 1341066841976684416
83977 5514 4335834734458413184
83984 3362 5913667352346164480
84048 5515 4545155738061830400
84072 5516 1415750104140716672
84129 5517 1433906855046337792
84275 5521 4567169232160174080
84349 5522 5817031928210914176
84399 3364 5776428441263932672
84480 5523 1361532086263428352
84510 3368 5802431169708166528
84588 5526 4108133332411218688
84706 5527 4114691575671860608
84711 3380 1650799095721238656
84712 5528 4137758711148318336
85015 5531 5975416303312541056
85091 5532 1348250123238484992
85157 3383 4569194154623300480
85179 5533 1414741955058798976
85195 3382 4122800577008509184
85317 3390 1434752723085381888
85540 5540 5810787870394917760
85620 5541 1440518665141026048
85779 5542 4487270745826979840
85978 5543 4598909727672418944
86107 5545 4493663272070823936
86292 5546 1344241819243573888
86325 5547 1342188859232058880
86383 5548 4123532576868544640
86409 5550 4375297203210895744
86433 5551 4581698041372290560
86468 3403 4054222524952157056
86498 5552 4061944635629791488
86499 3406 1422205817943297408
86505 5553 5910589922376086144
86510 3401 5812260322624272640
86639 5554 1706754891726712448
86664 3402 5803347028533496576
86695 5557 1724513447623791360
86732 3407 4500356446028317312
86832 5558 4164745571216411520
86925 3410 4598003833171875584
86939 3411 1342887049115492608
87020 5559 1422872328148120192
87056 5561 4490044848024001408
87077 5562 5918656386353332480
87174 3412 5920429520648882048
87194 3415 4581969895620859008
87217 3409 5809778312564695424
87240 5566 4041428264056050816
87258 5567 5801278881521755904
87300 5569 1417352711057378688
87576 5571 1368694648604799232
87623 5572 1346435413656469888
87660 5573 5953851135080049920
87744 3428 1418298737733673728
87767 5574 5954547847496856960
87780 5575 5765349555944030464
87782 3423 4119588766099744256
87797 5577 4179131546992304512
87824 5578 4063833149930384128
87829 5579 4164191382992325248
87851 5581 1638092005479294848
87858 5582 5908927598232257792
88082 3421 5800672260339542656
88161 5585 6706216533598684032
88260 5586 4602722352961377280
88274 3989 6346768246695286016
88328 3431 6647326278498180096
88494 5591 4495226056054295296
88515 5592 2114164803546510464
88568 5594 4576766388122686080
88583 3440 2257922959580710144
88760 3438 4070030237985412096
88834 5599 2112494576664087680
88862 3442 4498139074669869312
89065 3445 4469952544339394816
89173 5604 6647817073001412864
89279 3451 2109179136790853248
89288 3450 4174338707089879296
89448 3455 2259778522891420928
89465 3960 2303574682365863296
89505 5607 4590177062728807552
89553 5608 2122107572467265792
89611 5609 4277773545486169984
89668 5610 2108867562682362496
89958 5615 2268929723810413056
89974 5616 2157540296744101248
90179 3467 2294311331262420864
90209 5618 4591891476233038464
90509 3991 6347016220928497408
90584 5621 4484011690285127552
90669 5623 4510198105892131584
90795 5624 4272933323497542912
90905 3475 2148205374305424256
90915 3472 4535569267981082880
90936 3470 6723753056866960640
90955 5630 4524374555983151744
91041 3476 4525675965430370176
91093 3473 6654470905055425664
91116 5633 6649970878843750400
91152 5634 4538864504326336256
91250 3481 2117048856905564288
91281 5635 4273510360945881088
91311 5638 2095073605196627840
91461 3482 6705303767148962688
91610 5640 2110727386602029056
91612 5641 4047112223770825088
91667 5642 4098680899664698752
91675 3487 2090075397137110528
91744 5643 6419817703301055488
91774 5644 2096724624985800064
91950 5646 2253858339971600000
92058 5647 6433032286879106560
92093 5648 2098347263629879808
92132 5649 2117411730103174016
92240 5650 4078256371666338560
92269 3497 2143787914541453184
92297 5652 4518635929917761792
92494 5657 4266470187991392512
92509 5659 6347199495771557888
92524 3500 4258727049151121920
92577 5662 2144442639355747072
92579 5663 2042191871907503232
92586 3992 6347218393627648256
92649 3502 6761074879560159616
92654 5664 4254999326778101120
92760 5666 6710469650733348864
92785 5667 4519091814929130496
92902 3504 6637901299185859456
92928 3496 6360472044227889024
92963 3510 4264967396119595136
93095 5672 2256192293919191168
93219 5675 4265078549880968320
93406 5676 4306900192617046912
93547 3516 6636878203614928768
93631 5678 2100727362705844608
93634 5679 2040945644192963328
93673 5680 2106479148549283712
93862 3523 6661700125288694912
94009 5682 4314102303024198784
94083 3536 2292498683264201856
94096 5683 2044559120440550912
94097 5684 2043312514770419456
94115 5686 4081125306739643136
94124 3528 6743314124644442368
94140 3531 2254586869503353088
94168 3524 6419933323821730688
94261 5687 6762355913688011648
94267 5688 2303300388574725504
94278 5689 6642972521689852672
94311 3532 2042565396619331584
94428 3527 6364586519818476544
94482 5691 4261444938825692672
94532 5692 6365453347298228096
94637 5694 4083800796491302144
94708 5695 4201590686896246784
94755 3541 2127789642400342784
94770 3538 6435246737657325184
94804 5696 6657096126505956352
94807 5697 4185160237970868608
94880 5698 2133045376701631744
94947 5699 2022349981991570560
95045 5700 4292859635288771200
95052 5701 2127100523489443456
95096 5702 6738873506414085120
95204 5704 4515002593742689152
95253 3548 4308655013174974464
95382 5706 2294809925425393792
95576 3556 2240439281591362176
95606 5710 6766504233619403008
95664 3555 4319684523551516672
95761 5714 2053599545563740032
95781 5715 6346060539164773888
95999 3557 6420970025846637440
96001 5717 2289042437181547520
96023 5719 4179804963504216448
96126 5720 4288297933343864064
96183 5721 2018474478380248704
96245 5722 2021509817668388864
96286 5723 2128851220876524800
96314 3993 6359710426267132800
96555 5725 4317002952134291840
96590 5727 6440683238541761664
96657 5728 4183571684182674304
96693 3572 2077959088236964736
96742 5730 2238962396955680768
96821 5733 2305191651653458688
96825 3575 2079990264172082304
96884 5734 6641054183137203840
96890 5735 4290612611482694784
96892 5736 6365886864117580544
96940 5737 6766725235458783488
96984 5738 1824169608156968832
96994 5739 6869904093800830592
97067 3576 6739798711087415808
97076 5740 6684949264298742272
97086 5742 2137312787487808896
97117 5743 4297974425950041344
97244 3579 4234608643120600832
97332 5745 2263857676670819968
97349 5746 6767756439923638272
97377 5747 2028303081542053504
97492 5748 4209442814830170240
97515 3582 6753461414374104320
97542 5749 2301473343846896768
97553 5750 2034775562894977024
97554 5751 6751626432546089984
97625 5752 6642709119935463680
97698 5753 6746415743864409216
97959 5757 2086470545188677888
98019 5758 1819622474740599552
98206 5759 1834178634307167616
98234 3592 1820154054250572288
98377 5761 4303793831750454528
98385 3596 4237709472069321472
98401 3605 2288940732357277184
98536 5763 6447494266398461440
98565 5764 4248878379903794432
98643 3601 4221176184444690176
98853 3614 2288029031058208768
98926 5768 6850012073029190016
98964 5769 4247115794045043328
99026 3613 2089367346006204672
99050 5771 4220849663849196032
99109 5773 6693570397532600192
99145 3615 2058352665611822720
99234 3616 4300560683451133440
99358 5775 6430149642268353408
99435 5776 2249990567301746304
99465 3617 6674070387015973376
99493 5777 6850808978440534016
99530 5778 2236694035756134016
99687 5779 6341580579039201792
99704 5780 2062156769683803776
99762 3619 6430238221673714560
99763 5782 6872826904949332352
99850 5785 6423980660481866624
99869 5786 4222669870988467072
99894 3623 4246124824833564032
99926 5787 6699141313714050688
99952 5788 6854129400477892608
99981 5789 6701033745023590144
99995 5790 1808447382151302272
100121 3624 4230522960998964480
100283 3628 4216467766414159360
100300 3626 6472322475903839360
100359 5792 6349054818565088896
100403 5793 2185338218437878656
100412 3630 6667791110468879872
100447 5794 2085074131057614208
100516 5796 4244949378182955520
100547 5797 1753996473967315328
100579 5800 2057893997459820288
100732 5802 6797247815681608192
100830 5804 6679383398999394944
100965 3963 2298389351170474240
101017 3637 6695552267242504704
101088 5807 6900734777800979328
101201 5809 6474253012164796160
101406 5810 4225935729762078208
101556 3646 2180724324053073920
101570 3642 6374494734492106880
101634 5812 2291186313057648384
101721 5813 2245144504162683008
101865 5815 6374756005942745600
101884 5816 2305812429046555392
101972 5817 6681138185197587072
102011 3654 2194570130382229888
102097 5820 2183293882728848384
102181 5821 6675320772254271232
102253 3656 2245998171863193600
102373 5825 6798782665194488448
102384 5827 1814740230795737600
102427 5828 1748132606657154176
102494 5830 6806916680418423936
102521 5831 6861955037050486144
102590 5832 2168042350775901440
102614 5833 6907036010221004800
102729 5836 2064903865125451648
102755 5837 1869552088032926848
102762 5838 6856967343067638912
102771 3667 2197085503747781248
103083 5839 1762021706259280768
103253 5841 6808334260144118656
103346 3671 2190023203122842368
103435 5843 2304904576040072960
103477 5844 1738167354817532672
103492 5845 2169761815166892544
103508 5846 2298966800932537088
103548 5848 1864840749424566656
103646 3674 6775638701345234688
103673 3673 6477114285017012992
103743 5850 6478298562118591104
103760 5851 1729652049576642304
103763 5852 2270245426912537856
103778 5853 1756890354210095616
103931 3678 6917116126666762880
104100 5855 6452873489597883264
104111 5856 6912350156075577216
104171 3693 2271780379503363968
104172 3686 1844903442517082368
104235 5858 1852570165297750656
104269 3685 6452979936067331968
104291 3694 2270071154318260096
104320 5859 1760034235911425152
104363 5861 6777870228912317696
104453 5864 6349783932213475072
104458 5865 2277447606030334336
104501 3691 6449825299768402304
104540 5866 6833975043102345984
104554 5867 6895515808420600704
104620 3695 6462951372659644416
104634 5868 6884689742055605248
104648 5869 1839842665370230272
104756 3964 2297763248017625472
104776 5873 6463185465557597696
104804 5874 6832430023106893056
104941 5875 1968984223066971520
105066 5878 2689215226029216768
105169 3697 6368887293910624256
105179 5879 1785038504716152576
105202 5880 1743504796574291584
105268 3703 2220601652284354048
105282 3702 2165102394123079424
105345 5881 1963865068722511104
105500 5884 2693123337030213504
105526 3709 2284461012746805760
105541 5885 6577029724130872960
105623 3706 1747323744054939264
105840 5889 2297399000432359552
105861 5890 6842169428388588032
105864 3711 2691084670673622784
106066 5892 2192101142660400384
106131 5895 2691501419940297088
106151 5897 1951398427929620480
106161 5898 2686697997235913472
106173 5899 1771311892317343360
106209 5900 6368857126059652864
106280 5902 6894055175943604096
106474 3995 6348011485108648320
106483 5905 6563749960129457024
106489 5906 1797466422083862144
106591 5907 6814412051184810368
106725 5908 1766832378867109760
106881 3723 6354979399532269824
106953 5909 1773847228692041088
106959 5910 1849523830894040192
106976 5911 6589464341648217088
106982 5912 6578615082459081472
107024 5913 2674228813823343616
107026 5914 2203481809562370688
107041 3731 2174385192840781696
107160 5915 6561908621750422016
107251 5916 2667434003761485056
107264 5917 6397134950218429696
107299 3734 6458951761677926784
107334 3965 2300352494822665088
107344 3736 6585580935297639936
107431 5919 6809672537594341760
107485 5922 6562778610326028672
107496 3738 6402951332370039680
107583 5924 1780347816313364608
107747 3996 6345402481457626752
107749 3745 1960290831298463232
107793 5927 6844291245310182400
107832 5928 2174829636056710912
107869 5929 1793532266402030080
107939 5930 2680000665753092352
107963 3746 6572147308388284672
108051 5933 1766121853837267328
108151 3750 2222696702970750720
108165 3749 2198963813207266432
108166 5935 1769450556570730880
108167 3747 1898230306217934208
108224 5936 1973359145472026624
108268 3748 6557682854967380224
108352 5938 6824652902485739136
108363 5939 2300264671330976512
108366 5940 1948347523680706688
108420 3758 2280111585266758912
108473 5941 2695668500290097024
108500 5942 2224435065214404096
108601 5943 1956186251313181952
108646 5944 2280112959656306944
108672 5945 1897909042664187904
108745 5946 1959762275444058752
108758 3763 1981220894128485888
108778 5947 6399369467083622272
108827 5948 2676493361099768960
108972 5950 2669120792037779072
108976 3766 6399295628005872768
109047 5951 6560024161899517056
109059 5952 6613486609130064256
109102 3769 1962865750096188928
109190 3770 2199772263488688640
109199 5953 6819008525184861056
109290 5955 6826910474735462272
109415 5958 6345105922553098496
109458 3772 1781427193134575360
109550 5959 6568053895317559808
109654 3776 1906169982762972160
109686 5961 6342086766702393088
109713 5962 2004537824907909632
109923 5964 6511157295316546048
109939 3780 2722819634267956736
110036 3781 6508631167351140736
110058 5966 2708423247489181056
110063 5967 6822734082896562560
110078 3779 6356922786334262016
110116 3784 2280642340144023296
110201 5968 6566431291033118336
110207 5969 2201264816163683200
110306 5972 6404427392371078144
110325 3785 6599628364573838592
110376 5973 6507952150201791104
110487 3787 1906111502486813056
110501 5974 2730829816994477952
110535 5975 6614540800262957952
110552 5976 2678456161153421056
110673 3792 6510874823908435456
110781 5978 6405214024220663936
110814 5980 2206651976463894016
110851 5981 1957628398253029120
110912 5982 6594547968019068800
110958 5983 6628362211179891456
111012 5984 2735962852669002112
111230 3801 6385223528439869696
111278 3804 1873642752320874624
111296 3806 2736188183833223296
111311 5987 6620446586453376512
111317 5988 2006409812166092544
111343 5989 6510772466247159936
111379 3808 2201834638064968448
111411 5990 6506916032291025664
111495 5992 2628840389712600192
111512 3809 6510669696268776576
111563 5993 2595112904890002944
111568 5994 1901204450811801984
111576 5995 1932413985286689408
111632 5996 6382682866304300672
111825 5998 6345191134704783104
111877 5999 1983719912258645632
111967 3816 6504126296413786112
112088 6000 2279585400233318528
112098 3817 2002400099418702976
112162 6002 2397451981577782400
112263 6003 1989892467464454016
112324 3822 2007432392347755392
112365 6004 6603910103370315136
112378 6005 6391994424120837760
112395 6006 2719073941749975680
112402 6007 1903664298844267136
112414 6008 6514371305242892160
112429 3820 6357580191208651520
112507 6009 2611413542731790848
112533 3823 6392407015859246592
112615 3825 2605155259983229440
112671 6012 6623271231826583296
112726 6014 6503388214874709504
112807 6015 2650319521159583744
112849 6016 2608357862476352000
112870 6017 2720132496569558912
112883 3827 1890576090380914432
112890 6019 2655378442878466688
112958 6020 2402698610547532800
112998 3830 2014529258861130112
113085 6023 2603998711189532288
113189 3831 6554145107585983232
113193 6026 6546965468455001728
113196 6027 6541354694978060672
113240 6028 6543115872088935168
113268 6029 2003814518053154944
113292 6030 2410650038121650688
113317 6031 1883138959372187904
113365 6032 1928606032923055616
113371 3835 1928558616483203328
113387 3837 2231627383090019712
113432 6033 6379165013210650624
113449 6035 1989060583836146944
113501 3838 1990221908631971840
113511 6036 6491077361134689920
113594 6037 1915382893770305536
113651 6039 2835851834787872384
114152 3849 1914928658028469760
114201 3851 1885657734352294016
114218 6044 2634863651848691712
114437 6046 1909882655571214592
114506 6048 2413773235259707264
114512 6049 1942205342491791232
114613 6051 6499867784800313344
114670 6052 2817129453866455936
114684 6053 2228270952046111488
114821 6054 6555006196988960896
114831 3862 2227360350259401216
114844 3861 2845828219179916672
114933 6057 2386410307854955648
114950 6058 6502256233293031296
114993 6059 6351167083480351360
115041 6060 2762147584645939712
115098 3866 6527486142500048384
115172 6063 2840719063523538688
115247 3869 6378379755749651584
115351 6064 2412307586260075520
115395 3874 2010848918564265728
115435 6066 2845059901070930048
115443 6067 2814595698040122496
115695 6069 2286543453411577984
115739 6071 6380474840797574784
115759 3875 6525840585910265856
115775 6072 1937126423403709696
115858 3879 2380618733434517504
115865 6074 2661237121867677440
115889 6075 2764370178681610240
115953 3881 2633314336885651072
116002 6078 2329248588112078080
116102 3884 2868981631958385152
116111 6080 6551158696566117248
116114 6081 2281749204760772352
116183 3886 2433614850296312320
116184 6082 6486432405544679680
116196 3888 1994066969510283648
116275 6084 6488833635859538048
116375 6085 6551325478735577856
116387 3892 6495777567184935552
116420 6087 2395051610255407616
116529 6089 2763398725799053696
116534 6090 1912533303227857536
116535 6091 1919848285369222144
116573 6092 6522627744214502528
116577 6093 2826029278938797824
116824 3899 1918687372887754496
116854 6096 2439779983791491712
116954 6098 1940086789742597760
116972 3901 2819898951858139008
117012 6099 2643048656923847552
117049 6101 2826801720217217408
117066 6102 6350283488450879232
117113 6104 2867879921307763968
117137 6105 2756991562306032512
117146 3907 2214480052578417024
117162 6106 2771307581657008768
117216 6107 6389209155010129024
117324 3911 6388647098409043968
117337 6108 2310420276120501376
117481 6109 2328281189678351232
117484 6110 2851254790099377664
117500 3913 2866785048244272768
117514 6111 2012896552812942080
117605 3915 6523955026548452352
117655 3917 2312183617893228160
117672 6113 1922598095230254336
117678 6114 2314020730025020800
117681 3919 2233703673359427328
117757 6116 6495033060374909824
117777 6117 2442576935214126208
117924 6120 2441322117569187072
118029 3922 2338151471201811840
118036 6122 1945543150554610816
118197 3926 6494945958437069184
118198 6124 2339692402388248832
118320 6125 2745084538572074496