prim-8.0-public-all digits top 1000 lemmas

Nr.FormCount
113269632
222569101
332032384
401709480
541510520
651472258
7001217408
861201646
9101149307
10301041962
117942557
1215935302
1320928473
148903919
159866755
1612798941
1711740449
1817689320
1918685891
2019680376
2116654843
2214629854
2313602071
2421477494
2522462772
2625457141
2750415175
2823382809
2924346662
3040321037
31000283602
3226279601
33i271675
3428265175
3527263884
3645247166
37100235078
3835232666
3929231944
4031230854
41ii220565
4260218011
43v210428
442008201690
452009197231
462010189102
472007171624
4855169902
4990167994
5080167412
512006161632
5270157731
5332153714
542013152527
5533144108
562002140670
572011140514
582000138043
59200136483
6005135091
612012134901
622004134346
632005127605
64500126785
6536125718
662003125524
6734124666
682001116783
6937116509
702014111563
7138110408
7246101925
7339101297
744297115
757592883
764891379
774191312
7830091195
794390467
80199890459
814990428
824489755
8315088859
84iii87948
85199986575
865286270
876584444
88201582657
895182621
904780590
915476134
9240073640
935373578
940172967
95199770625
965670199
975768610
985868170
995967301
100199567237
1018567217
102198967149
103199666576
1046661842
105199461415
1066460574
1070958443
1086258136
109090557764
1107757696
1116356850
112199356634
1136854540
1147254485
11512054125
11625053584
11760053424
1186153378
1196752734
120199251793
121199051754
1227651385
1239551091
1246950765
1257849843
1260249836
1277349770
1287149539
12980048899
1300848417
1317448120
1328247513
133iv46747
1349946138
1358845191
1367945159
1378144964
1388344852
1398444112
140201644112
1418943983
142199143960
1430743051
1448742449
1458642413
146xvi41857
14770037552
1489836587
149196834927
1500634112
1519633890
152100033575
1530332674
1549232539
1550431972
156194531587
1579131117
1589730900
1599330598
16011030296
16113030141
1629429895
16318027685
164198827615
16590026775
166c25969
167090325610
16835025555
16916024798
17014024723
171090724084
172198023268
173198422987
174194822810
175198622459
176198522031
177198721269
178150021052
179vi21019
180198220461
181196920033
182197019940
183090819801
18410519764
185197919657
186197619639
187193919588
188198319296
18912519116
190194419096
191198119014
19217018727
193197517923
19445017886
195197417879
19611117559
197197217514
198197817467
19910117196
200197717020
201196717012
202x16944
203195016765
204197316508
205091816361
206193816347
207300016132
20822015910
20911215908
21010215836
211197115807
212196015772
21310315485
21411515266
215201715244
216091515206
217191815081
218196415034
21910614991
220196514691
22110814631
22275014582
22310414495
224196614486
225196314016
226196213733
227500013679
228195613558
229194613184
230194213091
231194913087
23210713006
233195312843
234091112693
235ix12665
23624012609
237194712594
23813512527
23919012403
24015812335
241194012248
242195812168
24323012078
24410912004
245194111977
246196111902
247090411883
24811411877
24911311800
250091711652
25111611633
25205711434
25311711358
254195911268
25536011197
25612311157
257194311098
25811811097
25927011052
26015910994
261195710981
26212110975
263195210948
26417510785
26511910779
266195110660
26712610635
26865010611
269195410582
270120010538
271195510364
27216510362
273vii10337
27412210289
27512810267
27626010266
27755010225
278202010051
27914510016
2802109813
2812809734
2821549673
2831279671
28419199669
2851559607
2861249588
2870419566
2880439561
2893209443
29019209347
2911329298
2924209160
2934219050
2941298736
2951318713
2961388668
2971368590
298viii8539
29919308524
3003308495
30119368398
30209028375
3032258348
3041448326
3051338302
3061858031
3071348023
3081377991
309xii7952
3108507928
31119297886
31219337861
3131667795
3141957793
3151527788
3161397758
3170487749
31819147711
3191427698
32040007661
32109337656
32225007640
32319377632
3241497597
3257757504
3261417472
32719217468
32819357449
32919327438
3303807390
3311477378
33219287317
3331467202
3342057165
33509107155
3361437153
33719347137
3381567128
3391487090
34019257034
3411686936
34219316831
34316006827
34419246800
3452226765
34619236734
34719226723
3481766694
3492156675
35019006639
3513406616
3521616616
3531536607
35409486588
3551826540
3561646520
3572066501
3581636461
35919276441
3601726427
3611516427
3621786418
3631626383
36418486365
36518006336
3661996297
3671576265
3681746246
3694806242
3702906223
3711736204
3722086189
3731836168
3741676129
37513006120
3764306067
3771926041
37819266031
3791696007
3801865978
38111005973
3828525922
3833705912
3840335894
3851965885
3861715878
3872245865
3884405861
3890375832
3901885825
3912025819
3921795794
3938115772
3942265772
3951845770
3961775695
3972215687
3982125686
3992075604
4001935579
40119045572
4022355568
4031895563
40435005547
4052445523
4061915517
40719175516
4083105489
4092115465
4100445445
41160005441
4121985431
4131875427
4141945408
4152045400
4162015381
4171815376
4189905326
419xi5307
4209785305
4213655291
42219055205
4232235159
4244605141
42519125103
4262285088
42719105087
4282275074
4292325059
4302315057
4310385040
4329504991
4332034974
4342564921
4353574906
4364904899
437mv4899
4385204891
4392334862
4409204830
4419494828
44214004818
4432344806
4442164803
4452094785
4465604769
4474154761
44819134751
4493904730
4502134730
4513334707
4522144666
4532554615
4542454612
4551974611
4569114598
4572174589
45817004580
4592754579
4605404538
4612494538
4622184536
4636604535
4642654496
4654104490
4666304480
467xiii4454
4685804443
4697254438
4704704425
4714324408
4722294390
4732194332
4743234310
47520184279
4760104279
4776404271
4783154271
47919084248
4802384244
4819704241
4822694211
4837804207
4842474202
485xiv4197
4862374157
4870424155
48819074154
4890804143
4903114131
4913754123
4924424095
4932884089
49419114067
4955304064
49619154064
4972484045
4985704021
4992413994
5003253988
5012853986
5022363977
50370003959
5044083943
5056203942
506¹3916
5072523914
5082423891
5093313862
5107203856
5113083843
5123053835
5133123832
5143323821
5152663810
5160363795
5177603788
5182643788
51909003763
5202623757
52119093757
52209443750
5235523743
52480003724
5252513722
5263663716
52719063709
5282633697
5292783694
5308213686
5312813685
5320513679
5333073669
53419163666
5352833662
5363183652
5372893649
5383013631
5399173628
5402573612
5412393610
5423193607
5435553597
5449743590
5454113583
5469603537
5472533524
5482613521
5493173520
5502543520
5515903518
5526903512
5530323509
5547773508
5550453507
5566803498
5572733485
5582993476
5592723474
5602953472
5612433465
5624333464
5633453463
5643223445
5655113442
5660013442
5677903439
5682463438
5693853434
570xxiii3427
5719683421
5726703401
5732713396
5742593390
5753693371
5762773371
5779403360
5788403347
5799993339
5808143339
5810343335
5823133331
5832743319
5842863311
5850403304
5866253299
5878203297
5883213297
5897303282
5903093280
5912683278
59219033270
593mi3257
5946033251
5956113250
5964283240
5973633238
5985963217
5996023209
6005643204
6013463203
6025103202
6032873187
6042973175
6055453165
6067833163
6075123159
6085323157
609xv3151
6102673150
6118303148
6127403142
6133353141
6142583136
6153553132
6163033130
6177703126
6188313125
6198803118
620lv3111
6213953109
62218953101
6236553089
6245423089
6253063086
62618983080
6272933078
62818603078
62918903071
6300473065
6313563064
63218963064
6335133063
6346103056
6353143043
6362983038
63719013036
6382763033
6393023032
6403363029
6413283026
6424263024
64308003017
6444613006
64508173005
6463243000
6472822980
6487792979
64911502979
6503992978
6514162971
65219022971
6533162965
6549832962
655²2947
6563262935
6572922927
6584052921
6592842919
6608902918
6615952915
6624632914
6630552913
66409492898
6650502895
6663272891
6677782885
6684252883
6693412881
6702912880
6719052870
6723372869
673004202867
67418492863
6757102847
6763492845
6778102844
6784552844
6793862840
6805512839
6813292838
6828702830
68318702825
6842792821
6857722802
6863932800
687xx2795
6884992790
6897372788
690l2787
6914352785
69218882776
6935472771
69408502771
6956542769
6968882757
6974942753
6982752
6999102751
7004222750
7012962738
7024752728
7030462727
7043592726
7053042723
70645002722
7074312717
7083432716
70918802704
7103612702
7115052701
7125412699
7135252693
7146182692
7153872691
7168602683
7175652683
7183392679
7199972677
7205332651
7212942649
7224142643
7234182641
7244012638
7255622633
7263822629
7273882608
72818502608
7295822607
7304652606
7313842605
7325852604
7335192600
7343642599
7353382593
7360072589
7378082583
73818992580
7395312557
7406662552
7415012549
7420522543
7433812541
7445922534
7456442529
7463982527
7475222520
7484122512
7499082509
7503522499
7514562497
7529692495
75318942494
7542494
7553712485
7560352478
7574442474
7583542474
7595672471
7604132471
7616462464
7625752462
7635362461
7643682460
7653442459
7663422446
7674512441
7684722439
7699552438
7704452438
7714462437
77218972435
7739802425
7740222423
7753582422
77620302417
7775022416
7784022412
7794062411
7804952409
7814392405
7820312401
78332002400
7849822391
7853342389
7866332383
7873782382
7885532378
7899342377
7908512377
7914042377
7925032375
79324002372
7945072366
7957322363
7965442360
7973472356
7989032355
7995142354
80090002345
8017682345
8028182344
8035292342
8046642341
8054842341
8063742335
8073622334
8083672332
80912602331
8103942330
8113482329
8125272317
8134092317
81433002317
8156152316
8163512314
81722002314
8184072310
8194882309
8203912308
8215262302
8224032302
8235972298
8244292292
82518632292
8265152287
8273532287
8280212286
8294372283
8309152281
8317422280
8328152279
8337472279
8344232279
8354192277
83618932277
8373722276
8384792275
8396382271
8404852270
8416512266
8423772262
8438122257
8444972256
8454962253
84618672252
84718912251
8488322250
8499302247
850004212239
8514642238
8525212235
8535042235
8544522233
8555242232
85618892232
8576042228
8586632226
8594272225
8606142224
8614712224
86275002220
8633792216
8645182210
86518752200
866ci2200
8674932196
8688172192
86920502190
8705172188
8715342185
87218832184
8734912177
8744982176
8754582173
8764862171
8770022171
8785772167
8797492159
88018862156
8813732147
88213352146
8834542138
8844532136
8854812135
8860112135
8870542134
8888292127
8895762127
89018812127
8915632123
8924892122
89318922114
8948582113
8953962113
89636002111
8975862109
8983832107
8999842106
9005352105
90118852105
9024482102
903xvii2101
9049012100
905m2097
9065372096
9073922093
9084622092
9094172088
9104762086
9113762085
9125662084
9134822083
9148852082
9156222082
9164242082
9173972081
9184472077
9193892072
9209582071
921xxi2070
9228022066
92318612066
9240662065
9255462063
9264382063
9276012060
9284832049
9296052048
9307622047
9314732045
9325582038
9335992033
93418712033
9350202032
9365812031
93718302031
9388252028
9395432027
94018732023
9415162022
9426162013
94318692011
9449072008
9454742007
94618722002
9476481998
94818871992
9497381990
9505061989
95126001989
95218761988
9535481981
9546591975
9555781975
9560171973
9579381972
9588131972
9595091965
9604771965
96123001963
9624681962
9634431961
96428001961
9655491960
9665231956
96718781951
96818681949
9695081946
9706471944
9717311942
97218821942
9736131937
9744921937
97518791932
9766451927
9775561926
9785381925
97921001921
98018841921
9815711914
9827871908
9837561907
9845281905
98527001903
9865871899
9876751898
9885611890
9894411888
9907481886
9916351886
9924671880
9935721877
9945691875
99518401872
9965541868
99718461868
9986561867
9997651864
10007231860