prim-6.1-public-prf digits top 1000 lemmas

Nr.FormCount
11183058
22146730
33112599
4596104
5493611
6668733
71061773
8857283
9756594
10948381
11047522
122045549
131242838
141539877
151136546
163033148
171629079
1800029054
191328561
201428146
211828112
221927236
23i25638
241724816
255024495
26200023698
272523042
2810020466
29ii19416
304018994
312118738
322418672
332217307
34200117221
35199816904
36199916611
376016380
382315449
39200214984
40199714839
412614128
422813927
438013615
44200313264
452713109
463112678
470011624
482911507
49199611423
507011190
5120010900
523510749
539010248
5450010055
55459702
56329360
5720049308
58iii9298
59019063
6019958910
6120058863
6219898314
633008288
6420068256
65338082
6619937622
67367531
6819947467
69557463
7019907461
7120077271
72427203
7319927109
74347102
75387099
76376658
771506625
78416581
79486442
80446354
81396337
8220086249
83436213
8420096198
8519916128
864006107
8720105985
8819455979
89755917
90465642
91v5635
92iv5631
93655544
94645505
95515497
96495489
97525469
98475258
99985167
1006005160
10119685108
102954922
103544890
104534806
1052504785
106994656
107584652
108564644
1091204561
11019884498
111624376
1128004292
113574274
114024235
115854208
11619394138
117664111
11819484089
119614054
120634005
121724001
122593904
12319183807
124673780
125683734
12619443720
127693684
12819803618
129073596
13019863579
131763578
132973525
13319853520
134733515
135773496
13610003471
13719703454
13819383453
139923427
14019843418
141963398
142813385
14320113367
14419873356
145713323
14619693278
14719823236
14819673227
149743224
1509003223
15119833104
15219793082
15319753077
1541803063
1557003061
15619743061
157783047
158823013
15919763012
16019642975
16119652972
16219602957
163832946
16419812934
16519732928
166882916
16719422865
168892852
1691102852
17019772829
1711602825
17219562822
173792814
17419502794
17519632792
176052790
17709052774
178872734
179842730
180862727
181932704
18219722702
18319662687
18419712667
185vi2664
18619402664
18719782651
188942649
18919412647
190912637
1911302635
19219462620
193¹2594
19419432535
1959902385
19619622365
19719472364
1981402364
19919582346
20019142334
20119532330
20219612303
2031252218
20419572213
20519492179
20619552169
20719592149
2083502139
2091282139
2101012103
21119192056
212062021
2131052006
21419511984
21519541968
21619201933
2171021864
2181111850
219031802
22019521801
221vii1790
22209031772
2231701765
2242201759
2254501754
22619301751
2271031747
228viii1705
2292401679
230ix1668
2311121662
23218481645
2331151643
2341041637
235041618
23619211616
23719371614
2381081607
2391061606
240081606
24119171592
24219361583
24319351581
24419331563
2451071550
24619251514
247²1492
2481191489
24919231478
25019281474
2511091459
25219321453
25319291445
25412001438
2551901433
25619121432
25719221429
25819101429
2591181421
2604211405
26119001385
2621171375
26319241363
2641161352
26519131347
2661351344
2671131331
26819341329
26919261327
270x1319
27115001314
2721541313
2732691311
2742301311
2757501298
2761261293
2778111290
2781241278
27919311267
28019051257
2811751246
2821221244
2831141240
2841211239
2851451234
2862101232
2871271232
2881311228
2891331213
290091204
2911231202
2921291196
2931441193
29430001192
29519271186
29619111177
2971391167
2983201161
2991321150
3003601148
3012701148
3021491143
30319151134
30419071119
305xii1116
3062561115
3071361114
3081381112
3091951109
3101371101
3111461099
3121661088
3131551084
3140441068
3152601064
31620121064
3171062
31819061058
3191471052
3201511051
3211341045
3221681044
3236501036
3241651036
325xi1034
3261421032
3271521030
3281721029
3299741023
33019081023
3313311021
3322801016
33319091015
33450001012
3351411012
3365501009
3371561004
33818001003
3391873993
340185979
341480978
342161973
343225966
344143965
345192954
346167949
347199930
348171923
349048921
350173916
351055914
352162900
353157900
354148898
355184883
3561903882
357169882
358158873
3591895869
360182848
361290846
3621880845
363949844
364088838
365255837
366186835
367163830
368153829
369095826
3701904824
371³821
372xiv819
3731870819
374176814
375205813
376208812
3771890812
3781916810
379179807
380183806
381178806
382370803
383357803
384196800
385490798
386040795
387181794
388420791
389318791
390235783
3911883782
3921600782
393164779
3941902775
395222773
396174769
3971849766
398850759
399330756
400177756
401188755
402159754
403189752
404198741
405206740
4061896740
407380737
408187734
409215731
410211720
4111898719
4121901718
413209717
414204716
4151894712
416202710
417197710
418201707
4194000706
420213701
421212699
422224689
423xx688
424216688
4251879688
426430686
427390686
428191684
4291888677
430xvi676
431203674
432249673
4336000672
434340670
435232669
4361884668
437245666
438xiii664
4391889664
440512661
441193661
442194660
4431893657
4441871657
4451881649
446310648
4471885648
4481876646
4492500645
4501868639
4511891637
4520907636
453221635
4541878635
455207634
456640630
4571899628
4581861627
4591850626
460223624
4611867621
462821620
4631882617
4641875617
465217612
466440611
467214611
468275610
469251610
470248606
4711874601
4721872601
4731830601
4741100600
475590599
476236598
477226596
4781897595
479266592
480242591
481234590
482238588
483264587
4841886587
485219586
4861869585
487032581
4881860580
4891840577
490365575
4911892575
4921846575
493247573
494227573
495254571
496272569
4971400568
498265567
499228566
500218566
501xv564
5021887564
503033564
504243562
5051863562
506252557
507239554
508237552
509244551
510286550
511328549
512305548
513262548
514229545
515268542
516010542
517999539
518034537
5191865535
520241533
521043532
522273531
523271531
524950529
525253528
5260908528
527041528
528333526
529540524
530246524
5311300524
532460522
533045522
534299520
535233520
5361877515
5371847510
538509
539231508
540263506
541037505
542375503
543323500
544520499
545274498
5461844498
547325495
548285494
549399489
550308489
551277489
552261485
553302484
554322480
5551845479
556276477
557544476
558½475
559288474
560259474
561080472
5621866471
563470
5641780470
565257466
566xvii461
567960460
568410459
569258459
570457
571313452
5721700451
573278448
5741859448
575l446
5761853446
577306445
578802443
5791862443
580312442
581xviii441
582315441
583369440
5841335440
585052440
586580437
587311436
5882013436
5891843436
5901836435
591295434
5921864434
593431
5940904431
595470426
596820425
597395425
598297425
599293424
600283424
6011820424
602267422
603385421
6041841419
605296418
606289418
607284418
608087418
609319416
610279415
611314412
612790411
613737409
614281408
615301407
616282407
617690406
618414406
619035406
6201024405
621499404
622321402
623720401
6241852401
6251526400
626911399
627630398
628303398
629324397
6301842397
631307395
6321336395
633444391
634851390
635038390
636455389
637810388
6381835388
639287387
640917386
641316386
642814385
643560384
6441856384
6451851384
646366383
647292383
648294380
6491832380
650336377
651355374
652373
653335372
654768370
655369
656031369
657680365
658412364
659317364
660291364
661304363
662432362
6631854362
664298361
6651831360
666347359
667940358
668089358
669831357
670332356
6711825356
672mv355
673415355
674326355
6751815354
676422351
677384351
678530350
679417350
680419349
681740348
682524348
683510348
684425347
685036346
686xix344
687620344
6881789342
689345341
6901790340
691309339
6928000337
693625337
694890335
6951761335
696364334
697980333
698760333
699451333
700442333
701337332
702367330
703051330
7041770329
705361327
706525326
707475325
7081812325
7091750324
7101839323
7111837323
7127000321
713348321
714570320
7153500320
716338320
717356319
718840317
7191792316
720042316
721xxiii315
722921315
723435315
7241838315
72500421315
726001315
727780314
728368314
7291857314
730056312
731551310
7322020310
733976309
734521309
735386309
736346309
7371793309
7389000308
7391834308
740972306
741610306
742327305
7431858305
744955304
745522304
746880303
747545303
748053303
749372302
750860301
751542300
752341300
753529299
7541855299
7551543299
756870298
757392297
7581783296
759387295
760352295
7611270293
762461292
763343292
764413291
765930290
766344289
7672015289
768047289
769945288
770670288
771537288
772405288
773526287
774329287
775920286
776349286
7772400286
778534285
779388285
780373285
7811824285
7821810285
783511284
784429284
7851250284
786378283
787431282
788xxi281
7891821281
7901809281
791058280
792567279
793404279
794841278
795394278
7961822278
7971805278
798449277
799358277
8001818277
801050276
802486275
803397275
8045443274
805543274
806903273
807396273
8081814273
809730272
810660272
811362272
8121776272
813830271
814354271
815054271
816379270
817351269
818389268
819020268
820623267
821622267
822533267
823439267
824398267
825359267
826353266
8272200266
828018266
829471265
830452265
831418265
832381265
833472264
834411264
835479263
836342263
837339263
8381781263
8391760263
8401650263
841437262
842433262
843465261
844427261
845363261
846334261
8471833261
8481773261
849602260
850572260
851426260
852971259
853536259
854905258
855416258
8561280258
857523257
858462257
8591787257
860376256
8611777256
862825255
863552255
864474255
865446255
866046255
867566253
868401253
869371253
870586252
871407252
8721829252
8731813252
874813251
875468251
8761775251
877496250
878575248
879406248
8801828248
881485246
882582245
883487245
8842976245
8851806245
886454244
887907243
888699243
889535243
890515243
891424243
892391243
893476242
894443242
895383242
8961791242
897013242
898xxx241
899770241
900436240
9011819240
9021778239
903655238
904864237
905393237
9061451237
907071237
908482236
909563235
910445235
911402235
9121720235
913541234
914438234
9151801234
9161785234
917592232
918382232
919642231
920527231
921484231
922374231
9231823231
924648230
925532230
926423230
927428229
928645228
929403228
9301811228
931599227
932605225
933585225
934513225
9351826225
9361799225
937565224
938528224
939377224
9401550224
941901223
942632223
943624223
944595223
945555223
946531223
947434223
948408222
9491784222
9501683222
951978221
952495221
9533200221
9541794221
955772220
956741219
957539219
958504219
959483219
9601804219
961453218
962456217
9631786217
964562216
965508216
9661440216
967970215
968559215
969458215
970832214
971588214
9721803214
9731769214
9741610214
975488213
9761797213
977005213
9781241212
979547211
980473210
981459210
982818209
983553209
9841817209
9851772209
9861556209
987612208
988457208
989497207
9902100207
9911450207
992092207
993491206
9941663206
995514205
996492205
997489204
9981816204
9991795204
1000516203