prim-6.1-public-inf digits top 1000 lemmas

Nr.FormCount
111624534
221264832
331015192
40902338
54787233
65753721
76654984
810572470
900566066
107511349
118469809
1215465500
1330463381
1420459328
159457368
1612407601
1711378473
1819335662
1918328743
2016328066
2114322861
2217321495
2313320359
2421248070
2525238092
2622235672
2750202735
2823199838
2924177361
3040168310
31000157277
3226143885
3327132030
3428130842
3545129622
3635128897
372009123114
382008119035
3931115682
4029115357
41100112651
42i100043
43201098733
44200698106
45ii97372
466097043
47200793429
485591095
49200489863
503283385
51200582784
52200280078
533379227
549076388
55200375641
560574930
578071716
587070620
593670283
603469304
61200067363
6250066839
6320064983
643760524
653859672
66200158883
673954117
684251547
694149159
704347496
714446426
72199845355
7330045184
744644262
754843628
764942821
777542574
78199941333
794740561
805240287
816538301
825138156
83201138000
84iii37437
8515037317
86199536627
875436519
8840036125
89199734774
905334167
915634006
92199633724
93199433002
945731845
955931645
965831233
970931063
98199328744
998528738
1006628132
1010127866
102198927738
1039527484
104v27173
1056226835
1060826816
10760026802
1086426719
1096125942
1107225544
111199225254
1126324979
11312024616
11480024512
11525023810
1166723621
1176823581
1187723432
1190722897
120199022764
1219922539
1227622423
1236921900
124090521557
1250221538
126xvi21423
1277321422
1287121312
1299821169
1300621098
1317821084
1327420985
133199119754
1348219662
135iv19557
1367919016
13770018968
1388818477
1398118348
1409618338
1418918326
1428318097
1438417805
144201217412
1458617200
1469217180
1478717107
1480317004
1499716682
150100016514
1519116303
1520416211
1539416055
1549315984
15511015597
15613014199
15790012923
15818012476
15935012374
160196812091
16114011988
16205711798
16316011611
164198811204
16510510748
166150010209
167201310128
168198010076
16909079968
17019869730
17119849436
1721259279
17319859253
17419879152
17509039111
1761708981
1774508973
17819828623
1791018615
18019458584
1811028391
18219768388
1831128313
184ix8233
18519798200
18630008136
1871038113
18819818075
18919837954
190vi7729
1911047688
1921117645
1931067620
1941087546
1951157535
19619707527
1977507483
19819747384
19919727357
20019787321
20119697245
20209337235
2032207222
20450007091
20519777039
20619487038
2071077006
20809086981
20919756971
21019736800
2117756783
2121586551
2131356419
2141596287
2151096239
2161906159
2171176150
21819716100
2192406052
2201166046
2211136023
2221185811
2231145769
22419675684
2252305667
2262705592
2270415560
2286505447
2291195403
23019445384
23119605361
2321755361
2331265360
23419395347
2351235309
23609155278
23719505177
2381655173
2391275131
2405505127
24119645118
2423605091
2431455089
2441285085
2451225075
2461215073
2472104938
24819664933
2491324903
25012004762
2512804682
2521244673
25319384618
2543204610
25519654600
25619624573
2571554457
25819634405
2591364384
2602604377
2611294356
26219534339
26319564261
2641334253
26520144205
266x4171
2671384136
2683304132
2692254126
27019584126
27119614099
2721374099
2731314095
2748504091
2751524037
2761344035
277vii4023
2781853992
2791393961
28019493941
28140003839
2821493825
2831443821
2841463806
2851433786
2861663785
2871423771
28819473738
28919463729
2901953726
2911473691
29220153669
2931543646
29419523645
2951413632
29625003583
29719593561
29819573553
29909043521
3001823505
3013803481
3021783473
3031563462
304viii3444
3051483444
30619553440
30719543430
3081623428
30919183426
3101643422
3111533418
3121683388
3132223349
31419423338
3151763298
31619403273
3172903270
3184203226
31919513220
3202053197
3211723187
3222153162
3231633161
3244803143
3251883132
3261513123
3274403106
3281613105
3291833104
3303403098
3311963087
3321673086
3331923060
3341743010
33519433004
3362242977
3371732976
3381842936
33920202934
34018002932
3411862919
3421692906
3431712883
3442072878
3451572863
3462022852
3471992849
3481932846
34909182834
35019412826
3511792814
35216002807
3531772804
3543702791
3551892788
3561942784
3572062782
3581872750
35911002729
36060002722
36113002694
3623102692
3635202664
3644302663
3652212660
3660102655
3672012633
3681912628
3691812617
3702352611
371xii2588
3722272588
3732122583
3744602574
3752082574
3769502525
3772042524
3782112506
3792032480
38019302477
3811982468
3827792457
38319292456
38419192446
38519042443
3864612435
38719202427
38819362407
3893332403
3902562399
3915602394
3924902372
3932282357
3945802342
39508172342
3966602339
3973902309
3983652306
3992342302
4002182302
4012142289
4026302288
4032092268
4043322251
4052652227
40619002227
4071972222
40814002222
40909112210
41019332208
4115112205
4122162197
4133152196
4142132185
41535002181
4169902172
4174212168
4182322159
4192262158
42017002154
42119342147
4222332146
4232552145
4247782136
4255402133
4262452132
4276202113
4286402090
42919322088
43019372083
4314702065
4322232062
4332752053
43419282052
43519352036
4365302035
4377722034
4382382031
4392312023
4403312014
44119242011
4422172005
4433752000
4442191999
4454101997
44670001995
44780001979
44819211971
4493251970
45019221955
4518111936
4522361935
4537201934
4542441931
4552571926
456ci1921
4577601901
45819231884
4595951872
4600661869
4612831868
4627241867
4630511860
4642521858
4655701837
4663191834
4672411808
46819271786
46909021786
4702951785
4716801784
4722611782
47319311781
4742371775
4752421773
47619051766
4773661764
4782471763
4792641761
4802291749
4812481746
4823071743
4839401740
4843011740
4852851737
4863121736
48719261733
4888201731
48919251731
4903261726
4913081726
4920801723
4937801719
4942761703
4958801696
4963571691
4973351669
4983051668
4995101659
5000011659
5017901655
5027301655
5032531653
5046701649
5052591645
5062391642
507l1639
5085901638
50909101628
5103231622
5113141620
5122491616
5133451610
5148401608
5152541605
5167321599
5173171599
5182511596
5192661592
520xi1589
5212621589
5220401583
5237371575
5245411575
5252711562
5264751560
5279111553
5286901553
5293241549
5302741545
5312631541
5328101540
5332461538
5342581535
5358301533
5362811521
5372681520
5384161515
5392931515
5409601513
5412431513
5422781512
5432871511
5443111508
545xiv1506
5462731503
5472991497
5483181496
54919141490
5502861488
5516251482
5522671476
5535961465
5540071464
5552981460
5563851457
5574311452
5582721452
5593461451
5604251443
5612771443
5623061441
5635551440
5642881436
5655131426
5667701422
5677401422
5683131421
5699991416
5703021415
5713031413
5724651409
573xiii1406
5746021404
5757621402
5764151401
5773271395
57819171394
5792891393
5804421387
5813211381
5822691380
58318481379
5843221378
5854281377
5866101372
5873871365
5883421364
5893711359
5904111357
5915851355
5927681352
5933981350
5946151349
5955051348
5965011346
5973281346
5983861345
5992921344
6005751343
6013561343
60218601337
6033681335
6042821333
6055451332
60645001332
6073991331
6083551331
6094551330
6103691325
6113951321
61209321320
61320161318
6144051317
6154011317
6165121316
6179201313
6186331312
6190501306
6203091304
6215641298
6222841294
6239801288
6240541285
6254141276
6263361273
6275821270
62819121270
6294991269
6305031265
6314081265
6328601264
6332971264
63412601264
6353041262
6365251261
6374071261
6388141255
63919081252
6404091250
6413911250
6423641250
6438701247
6443841246
6455521245
646xxi1239
6473161239
6486661236
6494031236
650mv1234
6513471233
6529491231
6533781229
6544181228
65519101228
6564121227
6578901226
6582911225
6593381224
6603371219
6615151218
6623881217
6635041214
6644351214
6657471213
66690001212
6674221212
6682961212
6692791212
6709101210
6710481206
6723521201
6737101200
6742941199
6753431193
6769701188
6770431187
6784261183
6794851180
6804061178
6815331175
6823341174
6834971173
6844631173
6853821172
6864951165
6873541163
688xv1161
6893791161
6905651160
6913771160
6923511160
6933491158
6947421157
6955621157
6964531150
6975291147
6984511146
6993591144
7003391142
7014041137
7025311128
7036041124
7047251123
7053721122
7063671119
7070551119
7083441118
7093811117
7106391113
7113291113
7126071110
7139951108
7143961106
71575001105
71619131105
7174441104
7180251104
7195321102
720004201098
7213921097
7223531097
72320301096
7246471095
7253731095
7268151094
7277231092
7284021092
7294451091
7303481089
7314471088
7323611088
7334821086
7347861082
7355161081
73619071081
7375471078
7384721077
7393621076
7404831075
7414541073
7424131071
7435421070
7446631069
7456181068
7468321067
7474561067
7485511064
7493411062
75077221061
7515971057
7525441057
7534741056
7549301053
7559071053
7563831053
75724001053
7589031051
7595071051
7606591049
7615261047
7624321044
7634461043
7644191043
765902101042
7667871042
7673761040
7684411039
76920501036
7707881035
7714731035
7724641031
7734521030
7744241028
7756551027
7766421027
77722001027
7780521027
7790371026
7804231025
7818211022
7827771021
7836221021
7844481021
7854331021
7867071020
7875431019
7886011014
7895171013
7900031013
7917391012
7925461011
7934861011
7943891011
7954891010
7964961009
7975921008
7980351007
7994291006
8005141004
8015351003
80219091002
8034711001
804587998
805498998
806374997
807363997
808358997
809952994
810675994
811502993
812665992
813095992
814913989
815522988
816875987
817734986
818536983
819852982
820393982
821599980
822603978
823394978
824397976
8251915973
826563970
827553969
828d968
829769966
830776962
831635962
832951960
833651960
8341911960
835xxx955
836437954
837915952
838549950
839506950
840467950
841417949
842613947
843538946
844518946
8451916943
846012943
847626942
848478941
849458941
850481938
851738937
852571931
853466930
854664929
855825926
856925925
857566925
858479924
859901923
860020922
861033921
862476919
863802916
864523916
865908915
866758914
867576914
868554914
869638913
870484911
871645910
872556910
873644909
874488909
875574907
876492906
877812905
878494901
879634900
880765898
881462896
882528895
883053895
884034895
885468894
886013893
887434892
8881896892
889746891
890521890
891449889
8921906889
893537888
8942018888
895605885
896036885
897427884
898584882
899lv880
900905880
901662877
902714876
903968875
904032875
905906873
906648872
907598872
908534872
909654870
910443870
911548867
912469867
913656866
9142300866
915568864
916509863
917668862
918816859
919771857
920671857
921616856
922524856
923581855
924559855
9252600855
926609854
927623853
928436853
929624852
930612847
931572847
932763846
933979845
934493844
9351898844
936749843
937611842
938753839
939621839
940619837
941xx836
942975836
943561836
944056836
945649835
946627835
947757833
948508832
949477832
950438830
951577827
952702826
953637826
954896823
955669823
956439823
9572700823
958569822
9591899821
960004821
961715820
962009819
963904818
964005817
965591816
966712815
967491814
9682100814
969042814
970672813
971487813
9721903812
973685811
974567810
975822807
976614807
977457807
978888805
979807805
980527804
981756803
982628802
983687801
984692800
9852800800
986767799
9877784798
988586797
989667796
990594796
991863795
992539795
993558792
994632791
995459791
996xxiii790
997583788
998519788
999xvii787
1000641786