prim-7.0-public-prf digits top 1000 lemmas

Nr.FormCount
11204787
22167451
33126613
44103679
5598750
6671325
71062663
8859591
9759290
10051497
11950390
122049156
131244311
141539519
151139309
163032573
171331657
181931239
191630880
201830782
211430340
22i28620
231727673
2400025110
255023781
262523618
27ii23047
282120618
292420005
30200019228
3110019036
322218820
334018663
346017167
352316934
368015920
372815417
382615299
39200315290
40200115029
412714655
42200214148
433113552
442913468
45199912657
46200412247
47199811840
487011771
49200511332
500011258
51iii11223
52198911090
533511078
543210754
55199710459
569010441
57200610144
5819969726
59459718
6019909512
612009137
62339084
6320079041
6419959036
6519938734
6619458682
67v8617
6820108547
69368412
7020098277
7119688232
7219928168
73348159
7419948138
7519917999
7620087910
775007872
78377809
79387718
8020117472
81427444
82397220
83417090
8419887070
85486952
86iv6927
87646811
88556640
893006602
90446590
91436590
9220126587
93466557
9419486483
95016236
961506206
97756205
98496021
99655988
10019395977
101475938
102515934
103525863
104535715
10519695557
106545372
10719845357
10819875309
10919705304
11019805249
11119865238
112955177
113565158
11419855135
115585076
1164005025
11719185025
118994947
119724902
120574857
12119444853
122614844
12319674844
12419384779
12519754728
12619794716
127634651
128854592
129594586
130624579
131984527
132664523
13319834520
1341204485
13519824468
13619654408
13719764386
138764316
139674300
14019774278
14119744265
14219414232
14319504218
14419424195
14519644177
14619814171
14719604161
148684144
14919714126
150734121
1512504106
15219664086
1536004058
15419634050
15519784019
15620134008
15719733980
15819463934
15919403919
16019563900
16119723842
162773837
163713825
164693802
165023719
166963716
16719473657
168973654
16919493634
170833604
17119623571
172743556
173893529
174813504
175933487
17610003477
177783467
1788003455
17919533448
18019433425
181883416
182823415
183793400
184923371
18519613341
186873334
187vi3309
18819583280
189863222
190943146
1911803127
192913118
193843109
19419573092
19519593091
19619553082
19719512973
19819192970
19919522877
2001102876
20119142851
20219542816
203072810
2041602809
20519202757
2061282728
2071012716
2081252682
2091302674
2101052501
2111402481
212¹2476
213l2455
21419302430
215052386
2161022356
21719362329
2181112301
21919352269
22019212265
221vii2257
22219332218
22319252218
2247002212
22519372201
2262692200
22718482164
2281032164
2291042124
2309002112
23119292097
23219322078
23319222058
2341122025
2351152018
236viii2011
23719232009
23819281998
2391061989
2401081984
2411071961
242ix1939
2431191925
244x1921
24519341900
2461091899
2471701895
2481181878
24919311874
2501131862
25119171827
25219101822
25319241819
2543501779
25519261756
2561171751
2572201725
2581161717
2591221713
2601331697
2611311695
2621351693
2631141684
26419271669
26519121662
26619131638
2672401635
26819001628
2691271624
27012001621
2711231608
2721211598
2731261591
2741291574
275041571
2761241569
2771901563
278081562
279²1561
2801451558
2811441528
28219051520
2831391519
2841431516
2851381510
2861681503
2871461501
2881361495
2892561490
2902831485
29120141472
2921371471
293061467
2941751464
2951321461
2961421450
2971471439
2981721430
2991551423
30019071420
30119111415
302031414
3031341391
30415001388
3051411385
3061611370
3071661369
3084501356
3091521349
3101671346
3111571344
3121491343
3131951331
3141651331
3152301326
3161731324
3171921320
3181511314
3191691312
320xii1311
3211481302
32219151299
32319061292
3241561281
32519081278
3264211277
3271541271
32819091268
3291581260
3301531243
3313601242
3321235
3331851220
33430001212
3351711210
3361641200
3372551198
338091194
3392101176
3401621173
3411631169
3421891163
3431761163
34419031160
3452251159
346xi1158
3471991156
3483201151
3491781145
3501861144
3511831140
352xiv1130
3531741125
3541841124
35518951120
35618731117
3571591113
3581791109
3599901104
3602701098
3611771096
3621821095
3631961088
3642601087
3652091062
36618901062
3671871061
3681811053
36919041050
3703571039
3712801036
3722111034
3731981028
37418801028
3751911020
3761971016
3772081013
3781931012
37950001008
3802011005
3811881005
3822051004
38319161004
3841870998
3851902989
386222978
3871849977
388480975
389204968
390345961
3911901955
392750949
393223942
394194941
395212940
396207939
397215935
398206934
399203933
400224932
4011896930
4021883930
4031898929
404247921
405216919
406221915
407214914
408232913
409202912
410213907
4111894907
412xiii901
413949898
414318896
4151600890
416xvi885
4171800884
418235883
419217883
420mv882
421³876
422245873
423978865
424231865
4251888862
426290859
427811852
4281885849
4291893848
4301867841
431249840
4321879836
4331884835
434243833
4351889826
4361868822
4371897820
4381899818
4391891815
440218812
441xx811
4421850809
443251806
444219803
445234798
4461881797
447233793
448365792
4491875790
450512788
4511871785
452239782
4531861779
454226775
455330772
456041771
4571876770
458xv767
459248766
4601878766
4611830764
4621886762
4631882760
464238758
465241757
466227754
467254753
468242753
469244748
4701869743
4711872742
472088741
473268739
474264739
475305738
476237738
477229738
4781892735
479252733
4801846723
481236719
482275716
4831874712
484228707
485253704
486271701
4874000699
488263697
4896000694
490265694
491246694
4921863690
493650687
494272687
495266683
496262683
497974680
4981887678
499261675
5001860675
501550671
502380663
5031024661
5041865659
5051847655
506259652
507257652
5081840650
509273640
5101844638
511288637
512328634
513420631
514310629
515299629
516308627
517367625
518302623
519277623
520285622
521340621
522274621
523303615
524287615
525258615
5261877615
5271780614
5282500611
5291845606
530276604
531399602
532490601
533640596
534267595
535282591
536850589
537286583
538279583
539325582
540311582
5411862575
5421773575
543281573
5441843572
5451526570
546323569
547½568
548430565
5491864564
550768561
551278560
552390558
553370558
554293556
555xviii555
556304555
5571866555
558802554
559322549
5601859548
5611100548
562440542
5631400542
564313540
565295539
566xvii538
567284538
568291537
569289537
5701300536
571375532
5721820532
573292531
574301529
575297527
5762015527
577526
578333526
579315524
580319523
581312518
5821852514
583314511
584294511
585317507
586999506
587337505
5881842505
589296497
5901841492
5911836486
5921835486
593484
5941851480
595xix478
596321478
597343477
598306477
5992020475
6001700472
601316470
602307469
603037469
604466
605821465
6061832464
607298461
608040457
609369456
610xxiii455
611332455
6121825455
6131280454
6141335453
615048452
6161831451
6171856450
618917449
6190905449
620329448
621410444
622384444
623331444
624443
625346442
626010442
627324438
628335436
629326435
630xxx434
631460433
632309429
633520425
634336425
6351815424
636353422
637338422
6381789422
6391336422
640395420
641339420
6421839416
6431790415
644720413
645524413
646327413
6471857406
6481853404
649499403
650347401
651344401
652001399
653355398
654414397
6551812393
656364389
657415388
6581770388
659432387
660393387
661361386
662341383
6631834383
6641837382
665950381
666381
6671838381
668356380
669368377
6701855377
671374
6721858374
6731792372
6741750371
675960370
676470370
6771829370
678540367
679590366
680352366
681641364
682366362
6831761362
6841783361
685451360
686381359
687348359
6888000355
689373353
6901808353
691455351
692431351
693378351
694363349
6951824347
6961822347
697374345
698387344
699334344
7001809344
701371343
7022400343
703425342
7041793342
705359341
7061818341
707379340
708354338
709351338
710385337
711342336
7121854336
7131805336
714362334
715435333
716397333
7170903332
718376330
719461329
720386325
721428324
7221821324
7231781324
7241833323
725412322
7261814321
727580320
728444320
729394320
730560318
731851317
732630316
7337000315
734486315
7351650315
736032313
737349311
738377310
739442309
7401819309
7411777309
742510307
743429306
7441791306
7451776306
746396305
7471775305
748690304
7491806304
7501786304
751409301
752372301
753522300
754383300
7551828300
756544299
7571250299
758880298
759870298
760699298
7611778298
762525297
763422297
764401297
765391296
7661826296
7671787296
768567295
769417295
770427294
7713500294
7721760294
7731440294
774533293
775610292
776506292
777479292
778392292
7791810292
780820291
781530291
782388290
783475289
784411289
7851823289
786033288
787404287
7881801286
7891784286
790570283
791419283
792358283
7931270283
794416281
795xxi280
796413279
7971804278
7989000276
799433275
800457274
801439274
8021813273
8031803273
804476272
805456271
8061811271
8071683271
808434270
809529269
810437269
811813268
8121799268
8131740268
814840266
815620266
816405266
817832265
818780265
819406265
8201817265
821890263
822790263
823472263
824449263
825418263
826443262
827423262
828389262
8291827262
830462261
831426261
8327053260
833680260
834592260
835511260
836474260
837403260
8381711260
839043260
840458259
841445259
842408259
8431785259
844436258
845454257
8461772257
8471720257
848xxii256
849831256
850565256
851382256
852424255
8531769255
854980254
855496254
856484254
857448254
858446253
859080253
860407250
861402250
8622976249
863666248
8641719248
865452247
8661439247
867055247
868471246
869447246
8701794246
8711802245
872459244
873095244
874087244
875483243
876453243
877660242
878730241
879552241
880485241
881622240
882477240
883488239
8841610239
8851241239
886566238
8871774238
888582237
889468237
8903200237
8911450237
892575236
893860235
894599234
8951807234
8961710234
897940233
898814233
899670233
900441233
901438233
9021564233
903760232
904595232
905495232
906473232
9071816232
908627230
909508230
910398230
9111520230
912920229
913494229
914489229
915925228
916605228
9171646228
918034228
9191764227
920543226
9211715226
9221708226
9231550226
9241536226
9251490226
9261113226
927089226
928536225
9291797225
9301795225
931861224
932491224
9332200224
934864223
935655223
936535223
9371663223
938465222
9391556222
940576221
941492221
942885220
943602220
944501220
9451788220
9461431220
947513218
9482100218
949970217
950625217
951555217
9521782217
9531434217
9541430217
955585216
956469216
9571682216
958050216
959551215
960514215
961497215
9621749215
963911214
964553214
9651798214
966741213
9671796213
9681580213
9691291213
97000421213
971487212
9725443211
973521211
9741763211
975528210
976955209
977532209
978526209
9791563209
980799208
981482208
9821530208
983930207
984833207
985541207
986516207
987478207
9881768207
9891668207
9901620207
991907206
992493206
993481206
9941529206
995dvi205
996623205
9971608205
998631204
999537204
1000503204