prim-7.0-public-inf digits top 1000 lemmas

Nr.FormCount
112559595
222042169
331591853
401507996
541175309
651132746
761005214
810770332
97727187
1000718872
118644990
1230644453
1315619311
149613367
1520610938
1612546179
1711524095
1818456201
1917451176
2016443764
2119441048
2214439653
2313427683
2421334333
2525318129
2622317927
2723272866
2850270095
2924252053
3040219645
3126207428
32000204773
3327195656
3428193037
3529171134
3645169120
3731168275
3835163702
39100159115
4060151298
412008149014
422009146687
432010133206
4490131429
45ii129578
46i128470
4732122440
482007119756
4933114258
502006112961
5180108606
5255108350
5370107136
5434101359
5536101080
56201398131
57200495396
58200295204
5920094755
603790961
61200590242
6250090106
633889743
64201188932
65200388359
66200086648
674683669
683981488
69201281113
700579074
714277540
724173969
73200172803
744472573
754372476
764869995
774969629
787568937
795265864
804764254
815163645
8230062466
836560676
845460640
85199858122
865358054
8715057582
885656654
895756187
905855722
91201455661
925955022
9340053895
94199953779
958548931
96iii45971
976645704
98199744820
99199544591
1006244183
1016443681
102199642583
1036342475
1047740832
1056840418
1066140391
1070940210
1087240008
109199439779
1106739300
1110139132
1127638809
1136938257
1147837827
115xvi37720
1169537694
117198937384
11860037334
1197337084
12025036848
1217136739
1227436683
12380035538
1248235095
12512035061
126199334985
1277934285
1288133589
1298833514
1308433179
1318333109
1328933070
1339932834
1340232129
1358631838
136199231626
1378731244
1380830771
1390729922
140199029678
1419828634
142v28095
14370026432
1449626258
1450325536
146199125245
1470425081
1489225001
149090524928
150iv24278
1519123819
1529723683
1539423357
1549322939
1550622906
15611021824
157100021622
15813019966
15990018167
16035018005
16118017475
16214016795
163196816731
16416016052
165150015167
166198814648
16710514593
16812513097
169198012834
17045012802
171201512741
17217012669
17310112391
174198612385
175198412187
176300012016
177198511876
178198711841
17910211747
180090311462
18110311385
182198211151
18305711079
184090711060
18511210849
18610610810
18710410690
188197610629
18911510618
190194510570
191197910401
19210810393
19375010338
194198310332
195198110316
19622010274
1971119950
198vi9811
1991079763
20050009758
20119709523
20219789460
20319699400
20419729274
20519749203
20619489038
2071098878
20819778783
20919758752
2101908654
21119738610
2121598607
2132408403
2141358394
2151138202
2161148123
2172308120
2181588048
2191167998
2201187905
2211177833
2226507663
22309337629
22419717607
2251757595
22609087583
22719677449
2285507418
2291267325
2301197251
2312707249
23219447227
23319507191
2341237090
2351657045
2361226978
2373606961
2381456961
23919606941
2401286876
2412106844
2421216767
24319646744
2441276741
2457756729
24619396681
24712006603
2481326598
2492806575
250l6422
2511246404
2523206396
2532606383
25419666345
25519626286
25620206231
25719636214
2581556205
25919656143
2601296085
26119385984
2621365863
2632255828
2643305792
2651385757
2668505745
2671335718
2681855668
26919535585
2701315581
2711345563
27219565424
27319585410
2741375387
27509155358
2761395341
27719615335
278ix5304
2791955283
28040005222
2811445183
282x5175
2831525172
28425005091
28519495088
2863805070
2871425043
2881665042
2891495004
2901474898
2911544881
2921414798
29320164784
2941464775
29519474764
2961434744
2972054742
2981564714
29919524700
30019594688
30119184623
30219464602
30319574589
3044204585
3051824563
30619544539
3071784536
3081764520
3091484513
3103404461
3111684415
3122154407
3134804387
31419424384
3151534383
3161924382
3172224369
3181724349
3191884321
32019554319
3214404317
3221624297
32319514282
3241964271
32509044240
3261834202
3271644202
3282064193
3291634175
3302904162
3311994145
3321734105
3331514101
33419404073
33518004070
3361844060
3372074057
3381864046
3391614043
3401744024
3411934021
34219434016
3431794016
3441674004
3451693993
3462023992
3471893949
34811003943
34916003941
3502083915
3511573887
3521943878
3532243860
3541773859
3553703850
3563103831
3574303800
35813003785
3592013773
3601873764
3612353762
3621713756
3634213755
36419413733
3651913728
3662123717
3675203705
3681983690
369vii3628
37060003618
3712033576
3729503560
3734603552
3742213535
3752273526
3762043523
3771813519
3782113477
37909183429
3802283381
38135003370
3825603337
3831973314
3846303294
3855803287
3862323287
3872093285
38819203276
3899903269
39019363253
3912343251
39219303227
3933653221
3944903202
3952563201
3963903187
39719043169
39819293162
3992183153
40019193149
40114003149
4022143139
4032653119
4042133108
405viii3095
4062263091
40719003083
4084103066
4092453059
4104703038
4112163035
4126603029
4135403029
4143153020
41509113013
416xii3010
4172752983
41819332983
4192172980
4202232975
4218112954
422mv2949
4233752944
42408172939
4252332934
4262312934
42717002908
4286402886
4292552886
4305302859
4313332848
43219342842
43319372836
4342192818
4353252806
4366202795
43780002778
43819322778
4392382771
4402292768
4415702750
44270002721
4437792710
4443322675
44519282666
4463312657
4472362653
4482852642
44909022642
45019212625
4517202608
4522422604
4532372597
45419352576
45519242570
4566802568
4570432547
4583072535
4592492525
4602482524
4612522518
4622442489
4632412489
4643082477
4652832467
4667602464
4672952463
4682732461
4693122458
47019312455
47119142451
4722662435
4732642433
4749112429
4755902426
4765952425
477lv2424
47819222413
4792392402
4802572393
48111502388
48219272384
4832472381
4842892375
4853052359
4863452358
4873192352
4883662347
4892632345
4902612339
4912512338
4923232322
49319252322
4946902318
4952462313
4967802312
4972622306
4982782297
4995102285
5002862283
5010512283
5022542276
5032592275
5043172269
5057782266
5062772265
50719262259
5088202253
50919232251
5103012240
5113852239
51219052237
5139402234
5142532234
5156702233
5163352229
5173112215
5180482210
5197302203
5203572196
5215112195
5227902192
5232432192
5242882187
5252992185
5263062180
5270802171
5282582168
5296252165
5304152162
5312982154
5322742146
5330412139
5342722135
5358102133
5368402120
5372682118
5383222112
5394252109
5408302108
5412712107
5423242096
5432812096
5442672090
5452872084
546xxiii2079
5474752074
5485852071
5497402060
5500012053
5514422052
5525552048
553xi2044
5547372043
5553272043
5560402043
5579992038
5583022038
5595962036
5602692033
5612932027
56218602024
5634162023
5643552023
5653952022
5663142017
5673132011
5685412008
5693461999
5700371998
5713031996
5723181994
5732761994
5744221990
5758801989
5763281988
5770071981
57809101968
5796021963
5804111958
5814281955
5825121954
5830661945
5842921940
5859601938
5863211936
5876101934
588ci1933
5894551932
5902841932
59120181931
5924651929
5935251925
5945651924
5950501920
5963561919
5973991918
5983261918
5995131916
6007701908
6013691905
6023981904
6033871903
6044051884
6052821883
6065751882
60719121874
6084991871
60919171863
6108141861
6117721859
61245001857
6134311848
614xiii1844
6152971844
6164321839
6173861839
6187101837
6192961831
6208601826
6215521825
6223161810
6233091807
6243841802
6253681793
6263361793
627xiv1790
6283041789
6294011784
6309201782
6314141781
6325451780
6332911778
6343371777
6352791776
6369801775
6374121775
6385311774
6394351764
6407321758
6410441753
6425821748
6435331747
6444181742
6453431740
6465621737
64720171737
6483441726
6495011724
65090001722
6510361722
6523711720
6533471712
6543641710
6555031708
6562941708
6574081707
6584071707
6590551704
6604611696
6613381694
6628701692
6633521692
66419131692
6653821691
6663781691
6674261690
66819081689
6693391686
67019101679
6713541676
6725321675
6734331674
6743291674
6758901673
6763341673
6770421668
6787621661
67918481657
6803611642
6813421642
6823911639
68320301634
6847681633
6859101631
6863631630
6876661628
6884061628
6893591627
6905641626
6913881626
6920101625
69309481621
6944511618
6953931618
6963621618
6974041617
6983491617
6994851613
7004631613
7013721612
70224001610
7038211609
7043511608
7055151602
7069491600
7075421598
7084031597
7094971595
7103481594
7119701589
7123771589
7134091582
7144951577
7155511574
71675001573
7176331573
7184021572
7194451571
7205361568
7217771567
7228151566
7235051562
72409171562
7253531560
7264961550
7273791548
7280351548
7297251546
7300541543
7315021542
7320521539
7333671538
7344441537
7356631535
7364561534
7374531533
7383921525
7393811525
7409301524
7413961522
74220501522
7435631520
7444131520
7453831520
74622001518
7475441512
7480331509
7494231504
7505471499
7513761498
7524721496
7533731495
7543411493
7556751491
7565761490
7578121486
7587471486
7595261485
7605871481
7615211477
7623891476
7635141473
7644831466
7655221465
76619111464
7675291463
76819071463
7693741462
770xv1461
7715351460
7725071460
7734241460
7745971458
7755661457
7765681456
7774471455
7784641454
7794191454
7805461453
7815811450
7820341445
7834541444
7843971444
7854371443
7865991442
7875171442
7885181441
7896551439
7905161439
7914821438
7924521435
7934861434
7945041431
7954981426
7960251425
7976011421
7983941419
7996591418
8004741416
8017871413
8023581413
8035531412
8040321410
8055841409
8065711409
8079011407
8086181407
8094711406
8106351405
81119151403
8125231402
8135721400
8144291399
8158751398
8166421398
8174171398
8188321397
8194461395
8207421394
8218251390
8226111387
8236221385
8245431383
8256151380
8267381377
8275371377
8288311370
8299131367
8304731367
8314621367
8326391365
8334891359
8345241355
83519091355
8364671352
83709321350
8389741346
8394581346
8406651345
84112601345
8425591343
8435491343
8440201341
845xxi1337
8465921337
8474841336
8486511332
8494411330
8504941327
8515741325
8524911323
85319161322
8546131320
8555061319
8564661319
8574481318
8585771316
8598521315
8605861311
8614271310
8626031307
8634431306
8646241304
8654761302
8665281301
8676441299
86823001295
8694811291
87033001288
8716561287
8726641286
8735831284
874004201283
8755081274
8764921274
8774341271
87826001271
8790951268
8805091263
8818161260
8825541260
8834691260
8845611259
8854881259
8864791258
8876041256
8884361248
88932001248
8906381247
89121001247
8924391246
8936141240
8949171238
8955381238
89628001236
8975271235
8985581233
8996541230
9005481229
9015691227
9026161226
90319061226
9045561225
9055341225
9069521224
9079251224
9087391224
9095781224
9108021222
9115911218
9129081217
9136071217
9149151215
9159051212
9165881212
9177861211
9187691211
9194681211
9200531211
9216341210
9229031209
9236451209
9246121209
9257651207
9267121206
9274931206
9287341204
9294491203
93018961203
9314381199
9326621198
9335191198
9346231197
935xxx1193
9364771192
9375391190
9389951188
9398391188
9406261188
9415671188
9425941185
9437881184
9444871181
9455571179
94618981176
9475731174
9485981170
9497581167
9505931165
9510311164
9526851161
95327001161
9540471161
9557021160
9568221155
9576051155
9584571154
9599511153
9607011153
9618581152
9626671150
96336001149
9649751145
9654781145
9660121145
9678631142
9688291138
9696481138
9709971134
9716321134
9726721133
9736091132
9747461131
9756681131
97619031129
9777231128
9788851126
9796371126
98009441126
9815891124
9824591122
9838131121
9846991120
9856871120
98613351118
9877571115
9888961108
98918901108
9900221108
9918331101
9927761101
9937151100
9946881100
9959061099
99677221099
9976491095
9980131095
9997711093
10006711093