| case | 89654 | 8470 | 10.794 | 0.001148 | 1601.00010,1601.00019,etc |
| result | 70764 | 8279 | 8.559 | 0.001008 | 1601.00010,1601.00012,etc |
| paper | 41647 | 6841 | 6.255 | 0.000788 | 1601.00010,1601.00037,etc |
| proof | 71310 | 6819 | 11.06 | 0.001205 | 1601.00010,1601.00029,etc |
| note | 54829 | 6627 | 7.964 | 0.000836 | 1601.00010,1601.00019,etc |
| section | 44885 | 6366 | 6.945 | 0.000795 | 1601.00010,1601.00037,etc |
| function | 55418 | 5449 | 9.654 | 0.001812 | 1601.00010,1601.00037,etc |
| order | 40308 | 5370 | 8.198 | 0.001183 | 1601.00019,1601.00029,etc |
| use | 33646 | 5313 | 6.451 | 0.000609 | 1601.00019,1601.00029,etc |
| fact | 34352 | 5171 | 6.977 | 0.000584 | 1601.00010,1601.00029,etc |
| example | 33602 | 5017 | 6.316 | 0.000803 | 1601.00019,1601.00029,etc |
| number | 45221 | 4841 | 9.211 | 0.001633 | 1601.00010,1601.00019,etc |
| point | 55440 | 4757 | 10.919 | 0.002271 | 1601.00063,1601.00084,etc |
| term | 32300 | 4510 | 7.647 | 0.000832 | 1601.00010,1601.00029,etc |
| definition | 31161 | 4476 | 7.343 | 0.000731 | 1601.00010,1601.00029,etc |
| form | 27955 | 4171 | 6.684 | 0.00093 | 1601.00029,1601.00044,etc |
| problem | 32300 | 3694 | 8.838 | 0.001463 | 1601.00012,1601.00044,etc |
| solution | 41810 | 3593 | 11.08 | 0.001782 | 1601.00012,1601.00029,etc |
| theorem | 21790 | 3551 | 6.474 | 0.000858 | 1601.00010,1601.00021,etc |
| respect | 23789 | 3512 | 6.624 | 0.000887 | 1601.00037,1601.00063,etc |
| condition | 24535 | 3456 | 7.734 | 0.001017 | 1601.00050,1601.00063,etc |
| value | 23828 | 3447 | 7.022 | 0.000973 | 1601.00010,1601.00044,etc |
| work | 18128 | 3361 | 5.113 | 0.000592 | 1601.00010,1601.00012,etc |
| item | 30307 | 3215 | 10.342 | 0.001575 | 1601.00010,1601.00012,etc |
| time | 28888 | 3128 | 9.268 | 0.001374 | 1601.00029,1601.00044,etc |
| sequence | 26405 | 3067 | 8.421 | 0.001473 | 1601.00037,1601.00050,etc |
| need | 16673 | 3035 | 5.504 | 0.0005 | 1601.00037,1601.00050,etc |
| element | 27962 | 3020 | 9.652 | 0.001525 | 1601.00023,1601.00101,etc |
| property | 17864 | 3016 | 5.5 | 0.000912 | 1601.00037,1601.00063,etc |
| equation | 26052 | 2931 | 9.435 | 0.001559 | 1601.00029,1601.00044,etc |
| study | 14829 | 2836 | 5.314 | 0.000612 | 1601.00050,1601.00063,etc |
| right | 25675 | 2827 | 11.455 | 0.001775 | 1601.00037,1601.00044,etc |
| assumption | 16791 | 2694 | 6.081 | 0.000689 | 1601.00010,1601.00021,etc |
| system | 26906 | 2673 | 9.924 | 0.001749 | 1601.00012,1601.00019,etc |
| space | 23105 | 2667 | 7.971 | 0.001437 | 1601.00019,1601.00063,etc |
| method | 19131 | 2450 | 8.031 | 0.001361 | 1601.00010,1601.00029,etc |
| map | 28133 | 2401 | 11.572 | 0.001713 | 1601.00084,1601.00090,etc |
| lemma | 14706 | 2379 | 6.162 | 0.000724 | 1601.00010,1601.00029,etc |
| notation | 11708 | 2337 | 5.07 | 0.000411 | 1601.00044,1601.00063,etc |
| parameter | 14638 | 2195 | 6.95 | 0.001022 | 1601.00012,1601.00050,etc |
| equivalent | 11509 | 2126 | 5.64 | 0.000714 | 1601.00021,1601.00044,etc |
| model | 18976 | 2109 | 9.331 | 0.001355 | 1601.00050,1601.00152,etc |
| construction | 13833 | 2083 | 7.074 | 0.000806 | 1601.00010,1601.00050,etc |
| estimate | 19435 | 2079 | 11.598 | 0.001199 | 1601.00010,1601.00063,etc |
| part | 11928 | 2011 | 5.904 | 0.001089 | 1601.00010,1601.00037,etc |
| pair | 14012 | 1985 | 7.553 | 0.001096 | 1601.00010,1601.00029,etc |
| dimension | 13505 | 1943 | 6.344 | 0.001206 | 1601.00037,1601.00044,etc |
| vector | 13166 | 1937 | 6.441 | 0.001249 | 1601.00010,1601.00037,etc |
| existence | 11492 | 1890 | 6.212 | 0.000907 | 1601.00021,1601.00029,etc |
| matrix | 14833 | 1885 | 7.682 | 0.001324 | 1601.00010,1601.00029,etc |
| class | 14064 | 1878 | 7.113 | 0.001396 | 1601.00050,1601.00101,etc |
| way | 9428 | 1878 | 5.12 | 0.000528 | 1601.00019,1601.00084,etc |
| choice | 10198 | 1835 | 5.957 | 0.000483 | 1601.00063,1601.00108,etc |
| sum | 11903 | 1829 | 6.331 | 0.00131 | 1601.00010,1601.00084,etc |
| degree | 15422 | 1818 | 8.767 | 0.001614 | 1601.00029,1601.00037,etc |
| approach | 9809 | 1788 | 5.316 | 0.00072 | 1601.00019,1601.00044,etc |
| edge | 29849 | 1777 | 16.093 | 0.003073 | 1601.00029,1601.00101,etc |
| algorithm | 18771 | 1766 | 11.398 | 0.001821 | 1601.00084,1601.00108,etc |
| graph | 29876 | 1734 | 17.761 | 0.004261 | 1601.00029,1601.00084,etc |
| component | 15087 | 1727 | 9.411 | 0.001293 | 1601.00023,1601.00037,etc |
| subset | 10769 | 1696 | 7.234 | 0.001068 | 1601.00063,1601.00101,etc |
| vertices | 23768 | 1685 | 12.609 | 0.002877 | 1601.00037,1601.00101,etc |
| boundary | 14155 | 1618 | 8.137 | 0.00129 | 1601.00044,1601.00084,etc |
| sense | 8168 | 1606 | 5.066 | 0.000473 | 1601.00050,1601.00063,etc |
| state | 11549 | 1603 | 6.746 | 0.001305 | 1601.00010,1601.00037,etc |
| detail | 7224 | 1590 | 4.983 | 0.000362 | 1601.00063,1601.00084,etc |
| application | 7249 | 1555 | 4.545 | 0.000519 | 1601.00012,1601.00084,etc |
| inequality | 10094 | 1549 | 6.079 | 0.001215 | 1601.00012,1601.00084,etc |
| convergence | 11547 | 1547 | 7.833 | 0.001025 | 1601.00037,1601.00132,etc |
| limit | 10734 | 1531 | 6.809 | 0.000831 | 1601.00010,1601.00012,etc |
| family | 11907 | 1510 | 9.066 | 0.00146 | 1601.00012,1601.00050,etc |
| end | 7996 | 1510 | 5.819 | 0.000886 | 1601.00063,1601.00084,etc |
| length | 11906 | 1498 | 7.862 | 0.001647 | 1601.00063,1601.00101,etc |
| probability | 14271 | 1490 | 9.338 | 0.001423 | 1601.00152,1601.00202,etc |
| coefficient | 10281 | 1470 | 7.279 | 0.001043 | 1601.00137,1601.00152,etc |
| argument | 7687 | 1449 | 5.805 | 0.000538 | 1601.00010,1601.00037,etc |
| group | 16845 | 1438 | 10.01 | 0.002516 | 1601.00023,1601.00179,etc |
| claim | 8376 | 1411 | 5.529 | 0.000653 | 1601.00037,1601.00050,etc |
| operator | 13248 | 1405 | 9.63 | 0.001757 | 1601.00063,1601.00132,etc |
| type | 11436 | 1402 | 8.69 | 0.001389 | 1601.00084,1601.00090,etc |
| set | 9676 | 1401 | 6.939 | 0.001297 | 1601.00050,1601.00152,etc |
| instance | 7470 | 1400 | 5.75 | 0.000685 | 1601.00108,1601.00193,etc |
| vertex | 18022 | 1398 | 12.63 | 0.002392 | 1601.00168,1601.00193,etc |
| distribution | 11257 | 1397 | 8.015 | 0.001361 | 1601.00063,1601.00168,etc |
| size | 10154 | 1388 | 6.5 | 0.001263 | 1601.00010,1601.00029,etc |
| norm | 9837 | 1378 | 6.602 | 0.001104 | 1601.00044,1601.00063,etc |
| domain | 9440 | 1346 | 6.932 | 0.001231 | 1601.00037,1601.00084,etc |
| analysis | 7201 | 1344 | 5.578 | 0.000585 | 1601.00084,1601.00101,etc |
| relation | 8565 | 1340 | 6.632 | 0.001043 | 1601.00050,1601.00168,etc |
| integer | 8109 | 1330 | 5.302 | 0.001092 | 1601.00010,1601.00063,etc |
| formula | 9624 | 1312 | 7.435 | 0.001378 | 1601.00010,1601.00050,etc |
| proposition | 7550 | 1308 | 5.55 | 0.000563 | 1601.00063,1601.00084,etc |
| action | 13868 | 1304 | 10.132 | 0.001563 | 1601.00063,1601.00101,etc |
| addition | 6342 | 1286 | 5.581 | 0.000535 | 1601.00152,1601.00193,etc |
| notice | 8181 | 1252 | 7.348 | 0.000706 | 1601.00044,1601.00084,etc |
| statement | 6620 | 1244 | 5.337 | 0.000651 | 1601.00050,1601.00084,etc |
| node | 27513 | 1228 | 50.691 | 0.003609 | 1601.00037,1601.00137,etc |
| image | 8713 | 1223 | 6.167 | 0.000898 | 1601.00090,1601.00101,etc |
| structure | 8064 | 1208 | 6.262 | 0.001022 | 1601.00037,1601.00050,etc |
| notion | 7006 | 1197 | 5.367 | 0.000863 | 1601.00023,1601.00050,etc |
|