prim-9.0-public-inf digits top 1000 lemmas

Nr.FormCount
113946044
223169925
332433145
402319703
541765609
651698879
761454982
8001393668
9101265578
10301147172
1171073278
12151039089
13201001283
148995427
159959178
1612890099
1711842014
1817778835
1918763960
2019749890
2116740111
2214711963
2313677833
2421535932
2522523746
2625501015
2750446669
2823430600
2924380400
3040348696
3126313818
3227295911
3328294363
3445284024
35000277651
3631267751
37i264812
3835262568
3929262128
40100244215
4160232789
42ii211781
432008203379
442009200046
4555199165
462010196687
4790193214
48v188767
492007177847
5032174637
512013170466
5280170301
532006164876
5470164375
5533163056
5605158012
572011152255
582012149833
59200144234
6036143813
6134143047
622004139803
6346133987
6437133844
652002132985
662005132439
672014130514
68500128423
6938127352
702003123011
712000122223
7239118354
7342111557
7441106828
7548106016
7649105754
7743105214
7844105069
7975104086
802001104012
812018103301
8252102909
83201598299
845197276
854795073
866594689
8715093209
8830092090
895490743
905388790
915686395
92iii86016
935985535
945884731
955784719
96201683990
970183060
98201778330
9940078252
1008576677
101199874933
1020971997
103199970688
104201969077
1056668983
1066467351
1076266167
1087765089
1096364942
1106862227
1117262186
1120861163
1136160740
1146759840
1157659165
1166958725
1177858566
1180258247
119199757851
120090557671
1217357448
1227157387
123199556782
124199656085
12525056084
1267455832
1278255581
12812054879
1290754694
13060054297
1318853137
1328352784
133198952756
1349552659
1357952567
1368152459
1378952016
1388451770
139199451585
14080051507
1418650133
1428749994
1439947463
144199346424
145iv44908
1460644273
1470342999
1480442694
149199242124
150199041073
151xvi40693
15270039650
1539837979
1549635852
1559234438
156199134432
1579132947
1589732441
159100032256
1609332095
1619431980
16211031758
16313030187
16418026868
16590026622
16635026584
167c25685
168090325591
169196825087
170090724365
17114024197
17216024054
173150022630
17410520062
175198819423
176090819414
177194518907
17812518826
17917018644
18011118059
18145018025
182202017528
183vi17458
18410117241
185300017214
186198017018
18710216740
188091816560
18910316354
190198616316
191198516061
192198415844
19322015738
19411215633
195198715505
19611515496
19710615484
198091515397
19975015138
20010814929
201197614722
20210414614
203198214610
204500014228
205197913898
206194813828
207198113791
208198313644
209196913583
210197013427
21110713232
212x12922
213197212838
214197412768
215197812758
21613512514
21719012509
218194412333
219091112304
22024012192
221197512163
22215812131
223091712080
22423012053
22505712022
22611411997
22710911987
228197711981
229197311733
23011311664
23111611609
232090411382
233196711333
234193911313
235195011291
23611711233
23715911055
23865011049
23927010882
24012310847
24111810811
242197110776
243196010749
24455010739
24536010694
24612110583
24717510530
24812610416
249120010366
25011910324
25126010250
25212210069
2532109935
2540419929
2551659918
2560439865
25719649820
2581459738
25919389731
2602809678
2611289584
2623209436
2631279404
2641549372
2651249319
26619629293
2671559261
26819669208
2694209188
2701329125
27119639118
27219658982
27319188839
2744218817
27509028604
2761298548
2771368410
27819498401
27919568381
2803308377
28119538342
282vii8284
2832258284
28419588250
2858508204
286ix8195
2871318183
2881388162
2891857992
2907757967
29119617964
2921337890
29319477864
2941347843
2951377801
29619467699
29740007691
2980487675
2991527672
30025007645
3011447640
30209337637
3031427611
3041957595
30519527552
3061397469
3073807457
30819427432
30919597320
3102057232
3111667200
3121497123
3133407089
31419577061
31519546992
3161416958
31719516953
31809106950
31919406850
3200426826
3211476803
3221566801
3231466726
3242066724
3256306717
3261996659
32709486646
32819556599
3291436597
3301486595
3311536594
3321766563
3332226559
33419416475
3352156408
3369786393
3371686376
3381826345
33919436337
3400336276
3414806246
3421836207
3431786199
3441646180
34516006155
3461726149
3478526133
3482906126
3492086103
3501636038
3511746024
35213006004
3534306004
3544405978
3551625971
3561615969
3571575963
3583705961
3591515940
360viii5908
36118005901
3621925876
3631885871
3642025846
3651735829
36611005828
36719195818
3682115817
3690445809
3701865772
3711965764
3722265731
3731675686
37435005666
3753105661
37619205650
3771695618
3782125593
3791795585
38019305529
3811775528
3821935528
3832075522
3841845506
3850375462
3862245462
3871895452
3882015427
3892215418
3902045389
3912355386
39219365367
3931985354
3941715349
3951945331
3961915291
3971875288
39860005286
39919295284
4004605258
4012445240
4029905232
403xii5158
4049505153
4055205140
4062235098
4071815080
40819335058
4092285055
4102275046
41119325005
41219284986
4132034962
4145604962
4156204926
4162314902
417mv4887
4189204887
4198114870
4203654863
4215804850
4224154835
4234324816
4244904802
42519374800
4269114785
42719004780
4282454769
4292324766
4306404759
4312334750
4323904725
4337254701
4343334682
4356604679
43619344658
43714004657
4382344647
4395404598
44019244594
4412164574
4424424574
4431974572
4444104569
4452094538
4464704535
4470104514
4482144511
4492654503
45019214498
45119354494
4522754479
45319044468
4542174459
4552564448
45619314447
4572134441
4589704430
4592184427
4603154421
4616104402
46219254398
46317004386
46419274383
4652294362
4660804355
4675704325
46819144301
4699494292
4702554254
4713574220
4722194184
4735304163
47419224154
4753754145
4763114144
47719234132
4783234128
4792384101
4807804082
48119264074
4822884047
4834084029
4842494020
4855524010
48670004001
4877203980
4880513960
4892423957
4902373954
4910363943
4927603922
4932853900
4943253900
4955963894
4963553890
4972473879
4983123868
4992483865
5003323846
5013663844
5022893826
5032783811
5043313809
50580003806
5062363803
5072413785
5086903784
5096803758
5100453756
5112663744
5122523738
5134113732
51409003711
5153053696
5163083683
5173073682
5185113664
5193853658
52009443651
5214333644
5225553640
523xi3626
5242643603
5257403599
5265903598
5277903588
5287773587
5290323585
5303173582
5319603580
5322733575
5339173562
5342573536
5352613518
5366703506
5372633486
5383453485
5390313484
5409683483
5412513462
5429403461
5430343460
5446113460
5452953458
5467373456
5472393448
5483193444
5495323444
5502833426
5515103424
5522813399
5537303399
5548403396
5552723375
5563013366
5572623364
5588103356
55918483352
56020303349
5619993347
5628213344
5632863343
5643213342
5656033338
5668143338
5670473333
5682593333
5692543332
5702463331
5714283323
5722533321
5732773321
57419053312
5753133308
5763633305
5775643295
5786253294
5798203294
58013353285
5817103284
5822993282
5833093272
5845953268
5853223265
5862713258
5875133256
5882433242
58919173236
5908803234
5915423233
5923183228
5938303224
5943463210
5952743196
5965453188
5973953185
5980383175
5997703174
6006023173
6019743173
6029833172
6034263171
6040013154
6057793152
606lv3135
6072683130
6082583118
6093693097
6103353094
61119123093
6122973092
6132873090
6140503088
6152693087
6166553087
6175123082
6183563080
6192983072
6204163072
6212673064
6224253063
6235253056
6243863051
6250553050
6264633046
6275653040
6284053036
6293033029
6303063027
6313283026
63211503024
6332763017
6343143017
6350403008
6363993006
6377783006
6383243004
639xiii3003
6408902996
6414612988
6425852979
6435472978
6443412974
6453162970
6465022967
6473492948
64808172941
64908002931
6503272930
6515622930
6529052930
6533262924
6549972922
655004202918
6560072913
6573022912
65820212908
6595512893
6602912888
6619102886
6626542885
6633362884
6644352869
66509492867
6663432867
6674552867
6680462860
6695042853
6702922852
6713932848
6722842847
6737832842
6742932841
6754222829
6764092826
6775232825
6783592821
6798882816
6804462813
6812822796
6824722794
6834752793
6844942791
6854312789
6868702785
6873292779
6885052778
68945002774
6905752774
6915532771
6924952769
6938312769
6949082768
69508502761
6963872761
6975412756
6987722752
6998602751
7004652750
7015972746
7023372737
7033822736
7044992735
7056332735
7063612727
7074182724
7085332718
70920222717
7105922716
711xiv2714
7120522712
7134642708
71419102705
7154012702
7166182699
7174122685
7185012685
7193392683
7200222679
72119132678
7223882677
7234132671
7243382668
7254142666
7265192662
7273982650
7288082649
72918602648
730xxiii2640
7313642638
7322962635
7339692633
7343422626
7356442621
7365822615
7370662603
7385312596
7390202595
74019082595
7413522588
7426662583
7432792576
7445432570
7455072568
7466462566
7473042545
7483842539
7495362538
7503722529
7514452524
7522942522
7535152519
7544392517
7554442517
7564562512
7579802507
7585142501
75919152498
760mi2492
7613442492
7620352491
7637322489
7649822489
7655292487
7663812483
7675672477
7683542476
7694072476
7704062473
7715272473
7723682462
7738152462
7745222458
7754712456
7763582450
7774022443
7785212443
7799552431
7803782430
7814962428
78290002423
7834042422
7846142422
7855182419
7868182418
7873772403
78833002402
7893472398
79024002396
7919152388
7929302386
7936642385
7943342383
7953742382
79632002376
7973712375
7985032367
7999342360
8004852354
8014512353
80219072352
8033942351
8046382349
8050022344
80619112344
8073512344
8083482337
8097422337
8103732334
81122002333
8124842333
8135632332
8144232331
8158122331
8163912324
8173672321
8184032319
8195262318
8206152317
8213532316
8224882315
8234522314
8244982312
8253622311
8266512311
8276352305
8286632305
82920502304
8304972302
8314372299
8325342298
8334292295
8345442286
8356042284
8365172280
8374242277
8380542275
8398322275
8405242271
84175002266
84219162259
8438172257
84412602252
8454382249
8464792249
8474582248
8484822246
8499842245
8503792243
8516012241
8525462238
8538512238
8545772236
8555692235
8567472235
8575862234
8584932231
8594192225
8605682223
8615352215
8624912212
8638292205
8640172202
8655762199
8664272198
8673962192
8688582182
86936002180
8704542180
8713832179
8726752177
8738252175
8744532171
8755582170
8764892166
8773892160
8784732160
8795372156
8807622155
8814762144
8824812144
8834622140
8845992139
8854432136
8866162136
8879032136
8883922135
8894832133
8907682133
8913972132
8929012128
893004212127
8944172127
8954862121
8966132118
8975662117
89819092115
8995712101
9005482100
9015082096
9024482094
9036482092
9043762091
9057652091
9065722089
9075872089
908ci2085
9094692078
9105162078
9115612075
9124472072
9135812072
9147382066
9158072066
916m2065
9174682065
9185282059
91928002053
9204742053
9216592051
9226472050
9236222046
9246422046
925xv2045
9264772042
9275492039
9280112037
9296372036
93020252034
93119062031
9329382031
9338852029
9345842020
935l2016
9366052006
9374672004
9387871995
9399071995
9405091994
9417231993
9425591991
94321001987
9449021985
9450911984
9466561983
9470251981
9485881979
9497311978
9505061973
9515541970
9526321968
9534661967
95426001966
9557121965
9565381962
9578961962
9584341959
95927001957
9608011955
9615741951
96223001948
9636451941
9646091940
9655571939
9666671935
9679131935
9689611935
96918981933
9706651933
9715561928
9728161923
9737841921
9744411920
9757331915
9764361905
9774921905
9786341905
9795831904
9807441904
9818751901
9827561900
9837391899
9849951893
9857551889
9866121886
9879391877
9887481875
9895781874
9904871873
9915731873
9926391870
9937511863
9945981862
9959561838
9967021837
9976241836
9985391833
9990061831
10006721830