prim-10.0-public-inf digits top 1000 lemmas

Nr.FormCount
111452646
221237622
30948023
43820303
51.804901
64611021
72.606203
85555410
93.545200
1010490077
116428437
124.420784
135.386144
147355598
1520348281
1615346240
176.340606
1812336413
198326540
2011321495
218.312817
229.306707
237.297119
2410.295122
259286863
2630271617
2714239992
2813239107
2918237285
3011.235401
3112.229006
3216228440
3350220896
34000213040
3517207980
36100199104
372008197594
3820.195122
392009193667
4015.191173
4125191119
422010190000
4319177832
4417.173959
4514.171995
4613.171833
472007169680
4816.168400
4921166370
5019.162578
5118.160809
5240158797
532006157455
542013156971
5522156415
5624155480
572011141923
5830.140883
5921.140328
602012138384
6160137754
6223134123
632004131929
6422.128410
652002127762
662005125567
6725.122757
68200121026
692014120911
7023.118852
712000118404
722003117297
7324.116457
7426114867
7531.113882
76500112813
7728.109651
7826.108305
792018106279
8027.105392
8117.00105072
8218.00104625
8327102528
8429.100785
852899887
86200199776
8719.0098394
8820.0096112
898095637
909093383
913592860
927092728
93201592378
940083570
953282965
962980591
97201978154
984678087
99201675740
10030075383
10115074861
1024574443
10316.0074010
104199872895
10519.3072166
1063171720
107201770456
1083370284
109199969153
11010.0066991
11140066253
1123665772
1133461750
11417.3059511
11515.0058797
1163758508
11714.0058156
118090557419
119199756316
1205555667
121199654168
1227553835
123198953541
1243852493
12590.50640
12660.50318
127199449799
1286549730
12912.0049494
130199549483
1313948355
1324847609
1334247428
13425046550
1354946295
1360145520
13760045517
13816.3045463
139199345324
14015.3044360
1414144154
14213.0043882
1435243865
14480043690
14550.43213
14612043011
1474442144
1485142059
1494341899
150199240953
151199040498
15211.0039171
1539.0038890
15418.3038083
1558538042
1564737752
15780.36514
1585436471
15970.35941
1605335530
16110.3035496
16240.34908
1637734194
1646634026
165199133863
16614.3033391
1675633316
1686432555
1695731905
170100031405
17170031256
1725931229
1735830957
17421.0030866
1756230832
17622.0030532
177ii30454
17835.30417
1796329940
1807229382
1819529164
1826829044
18320.3028868
1840228426
1856128316
18632.28066
18745.27974
18833.27873
1896927290
1907127279
1917627112
1926727085
1937826378
19436.26320
19534.26223
19613.3026091
197090325988
1987325967
19938.25921
2008.0025736
20137.25480
2027425364
203196825274
2049925225
205202025045
2068224845
20755.24764
208090723915
2098123585
21039.23412
21111023276
21213023036
2137922861
2148822690
21544.22634
2168322623
2178422598
21812.3022434
21943.22287
22018022071
22190022043
22242.22033
223150022005
2249.3021887
22552.21856
2268921637
22735021288
22848.21277
22953.21239
23059.21092
23158.21013
23257.20976
2338720974
2340920884
2358620878
23651.20660
23754.20629
23849.20609
23947.20462
24056.20382
2419820217
24241.19891
24375.19744
24465.19698
24519.1519312
246090819205
247198819170
24816019077
24914018698
250194518453
2519618438
2520718049
25320.1517944
25446.17929
25511.3017059
25685.17046
257198016924
258300016830
259i16648
2600816387
261091816329
2629116315
2639716258
2640516124
265198616085
26621.3016011
267198515913
268198415739
2699215456
270198715350
2719315225
272091515205
2739414869
27417014613
27562.14607
27663.14522
277197614468
278198214418
27945014387
28088.14289
2818.3014187
28268.14072
283500013958
284194813813
285197913728
2860413695
28764.13651
28889.13639
289198113577
29078.13539
291196913483
292198313483
29312513460
29422.3013435
29573.13384
29672.13278
29717.4513230
298197013215
299iii13091
30077.12822
30166.12821
30287.12797
30323.0012785
30482.12778
30583.12770
30667.12755
307197212675
30876.12622
309197812594
31086.12576
311197412544
31222012523
313194412364
314091112349
31561.12302
31611112224
31710512160
31871.12044
31917.1512042
320197512024
32169.12002
322091711880
323197711857
3240311840
32584.11767
32681.11754
32774.11715
32819.4511551
32979.11536
330090411501
331197311476
332100.11309
33305711274
33475011174
3350.11154
336193911128
337196711045
338195010928
339196010654
3400610645
341197110582
34212009928
3431159925
34419649759
3452409685
34619389678
3471129642
3481909598
3490419479
3502309376
35116.159360
3527.009205
35319629203
35419669187
3551019129
35622.159108
35718.459093
35819639001
35915.158976
36019658925
3610438893
36219188856
36318.558803
3641028761
3653608724
3666508722
3672708721
3685508685
3691358680
37015.458667
37109028652
37219498455
3736.008440
3741088423
37519568362
37619538300
3771598250
3781038244
3791068199
38019588170
3817.307991
38219617945
38319477882
38420.457858
38522.057852
386150.7838
3871757830
3882607771
38922.107770
39019467703
39109337632
39219.107625
3932807597
3943207564
39514.057541
39618.157508
39719527442
39840007439
39919427425
40025007400
4011047389
4020487358
40319597337
4042107320
4051587286
406200.7255
40720.057208
40819.507159
4091237129
4107757051
41119517043
41209107037
4131147033
41419577028
41516.057006
416000.7004
4171216921
41819546912
41921.456820
4201076815
4211166806
42219406788
4231656717
42418.106682
42521.506648
42619556642
42709.006593
428-16567
4291176542
43009486533
4311546503
43219416501
4331556492
43417.056469
4351186420
4361136419
4373306392
43823.156369
4391456361
44018.406346
4412256340
4428506332
44319436320
4440426305
44523.306304
44622.206295
4471226227
44818.506214
4491286200
45014.456195
4511266139
45211.456136
45322.256134
4541096131
45517.506105
45617.556076
45719196073
45822.456040
45920.506006
46016005954
4610335920
4621195904
46317.205904
46421.555903
46513.155890
4663805871
46719205860
46816.555858
46919.555853
47021.155821
47115.105812
4721275805
47312.105799
47413005794
47518005740
4761245736
4771855730
47818.355729
47914.155728
48021.405661
4811325660
4821385630
48319.205620
48422.355612
4858525612
48611005570
48712.155531
48835005506
4890445493
49023.105493
4911955457
49219305445
49314.505444
49415.405441
49522.405433
496+4215392
4971365387
4981525363
49916.455345
5001315342
50119365335
5024205322
50319295314
50416.105312
50518.055312
50613.055300
5071295281
5082055258
5093405245
51015.505232
5116305210
512iv5198
51313.105158
51460005154
51523.055140
51619285130
51721.355130
5184805116
51916.355083
52011.155080
52112.055069
52219335060
5230375054
52415.205020
5252065017
5261445006
52714.204974
5280.004960
5291424948
53019324932
53108.004917
53210.154914
53313.454889
53416.254879
5351374877
53616.504866
5371334864
5384404822
5392224818
54019374796
5414304780
54214.104758
54318.254758
54419.404754
5452904740
5461664707
5471344699
54817.404685
54919344684
5501494661
55119244650
55219004636
5531764606
5543704597
5551994591
55619214539
55717.104519
5581394514
55920214513
5601474511
56119354506
56219314493
56318.204486
5648114467
56514004464
56616.404453
56715.054452
5682084451
56917.254443
5701684440
57122.504422
57219254410
57319044406
5749.054400
57510.454393
5761824386
57719274379
5782154365
57916.204352
5801464325
5819204292
5821414278
5831834266
58419224248
5852264243
5869904242
5871534240
5881564240
5892114239
59000.004236
59119234181
5924324162
5931484160
5941744140
5953104135
59623.204134
5972024130
59819144129
5991964125
6005204114
6014604109
6029114106
6031884101
6042444091
605500.4089
60617.354076
60719264062
6082214061
6091724060
6104154051
61120.554042
6125804038
6130804034
61411.054026
6151434026
61617004021
61714.554012
6181924012
6199504006
6209.154003
6212243999
6221783979
62323.453975
6246203966
6251733964
62622.553957
6279493957
62810.103945
62921.053943
63014.403942
6315603940
6321643936
63314.253935
6341863918
63570003890
6361613884
6371633872
63815.253871
63912.453870
6409703868
6414903865
6424423854
64321.103837
64413.353830
6456603824
6466403821
6471573816
64815.353806
64913.403797
650ix3795
6512353795
6523653793
6535403789
65414.353783
6552123770
6562013743
6572043732
6580103721
65915.553720
6601623712
6612233708
66280003704
66311.103703
66420.103696
6651513694
66619.053692
6671933688
66823.253683
6691773668
6700513662
6712073660
6720453658
6733903648
6741673647
6751843626
6762283621
6772313615
6781913591
67923.403590
68009443581
681300.3575
68209003570
6831893570
68401.3560
68524.003556
6866103534
6874703533
6885703533
6891873528
69012.353525
691-23519
6920363517
69313.503517
6941943507
6953333497
6961713495
697+13491
6982333485
6995523484
70006.003477
7011693474
70209.3467
7031983459
7042273458
7052453455
7061793440
7071813434
7087253432
7091x3426
71009.303417
7112323392
71223.353392
71312.403383
71421.203381
7159783373
71613.553365
7174083359
71820303357
71919053351
7203573342
7213153337
7222563333
7232343325
72410.053314
7253233303
7262033291
72719173289
7285303263
7297803263
73004.3258
7310323246
732120.3246
7339173223
7340343204
7352753185
73606.3169
7373663169
7389683136
739158.3135
7404103135
74110.203118
74219.253117
74313.203109
74411.553108
74508.303099
7462883091
7477203090
7487603077
7499.453076
7502653071
75111.253069
75205.3066
753-203049
754-223043
755250.3043
75612.553039
75710.0003037
7583553034
7598213034
76018483029
76119123029
76221.253026
76323.503017
7649603014
76508.3013
7665553000
7672552997
7682492989
769-32989
770-232977
77123.552977
7722292972
7732182967
7745112962
7756.302962
77603.2959
77711502956
77808002955
77919.522945
7809742940
7811972936
78208172931
7838142931
7840472925
78511.202912
7862092904
78710.402900
78811.502894
7896802892
790vi2887
791-212880
7923112879
7935962879
7946112874
7957832865
7962172858
7972782857
7983852852
7995902842
80011.352841
801004202833
8026902833
80313.252832
80412.202822
8052142815
8067772815
8072132814
808-192810
8092162810
8109402803
8113752801
8127402801
81309492796
8142192791
8156032790
81611.402789
8178402785
8184332784
8192382776
8205322771
8210382762
82208502761
82312.502761
8243122760
8255642748
8268312748
8279992745
8282852744
8295952743
8305422733
8312482727
8323322721
833100.0002719
8348202708
8350552703
8363252701
837400.2694
83820222693
8394212691
8406702690
84120.202689
8422422687
8437902684
84419.352674
84502.2664
8467792664
8478802657
84812.252653
8492812645
850-42644
8513312637
8523082631
85345002628
8545452621
8555102619
85619102618
8572372613
858+4202612
8595132612
8602892604
8614282604
86207.2601
8637302600
8643052599
8652412598
86610.352593
8672612590
8689.502586
8693172580
87020.402575
87119132573
8728102559
8736552550
8742522548
8750402545
8762362543
87710.552538
87819082533
8793012530
8807102525
8810462523
8829052523
88307.002520
8843692519
8858302513
88619152507
887-182500
8882662500
8892472498
89018602497
8912.52488
892+22461
8932862461
8943452459
8953462455
8966022449
8971.52438
8984262438
8991.002434
9008882426
9013072420
9022632417
9033092412
9042642409
9053212409
9063132407
9077782406
9087722400
9090522397
9109972393
9115852388
91220.352385
9135532384
9145512383
9155472374
9163222370
9173182360
9189082360
9195412359
9202532356
9212722355
9223952349
9231.12347
9244612347
9253632341
9266542338
9275252335
92819162333
9292732330
93020502327
9310312324
93290002319
9338.452317
9346252315
9359832314
9362572313
9372992313
93819072310
9398082310
9409102305
9413.52304
94233002301
943-52298
9447702297
94532002296
94624002294
9472.002283
9484112276
949-172275
9502622273
95119112271
9524632269
9532512266
9545232265
9552832258
9567372258
9572712255
9583992254
9592952251
960-72249
9614162248
96210.502247
9635332245
9644052243
96522002241
9662462238
9672542235
9685042235
96975002233
970-102232
9714952230
9720502227
97395.2226
9745122224
9756332223
9765652221
9770222219
9785022219
9795.002218
9804462217
9814252205
9825922205
9838702197
9844092190
9852742188
9865622188
98792.2186
9882392183
9895192182
9903282178
9913562170
9924.002167
9935052166
9944722164
9959.552155
9969.352151
9973242150
9984552144
999-62144
10002772140