| 1 | case | 88920 | 8253 | 10.853 | 0.001202 | 1501.00001,1501.00028,etc |
| 2 | result | 68439 | 7969 | 8.607 | 0.001021 | 1501.00001,1501.00028,etc |
| 3 | proof | 68470 | 6715 | 10.233 | 0.001179 | 1501.00028,1501.00046,etc |
| 4 | paper | 40329 | 6554 | 6.205 | 0.000801 | 1501.00001,1501.00046,etc |
| 5 | note | 54235 | 6476 | 8.077 | 0.000896 | 1501.00028,1501.00046,etc |
| 6 | section | 42692 | 6053 | 7.122 | 0.000793 | 1501.00028,1501.00046,etc |
| 7 | function | 55279 | 5237 | 10.951 | 0.001739 | 1501.00028,1501.00046,etc |
| 8 | order | 39725 | 5117 | 7.477 | 0.001283 | 1501.00028,1501.00046,etc |
| 9 | use | 31799 | 5111 | 5.786 | 0.000601 | 1501.00028,1501.00046,etc |
| 10 | fact | 33477 | 5049 | 6.488 | 0.000589 | 1501.00028,1501.00046,etc |
| 11 | example | 32712 | 4912 | 6.633 | 0.000787 | 1501.00028,1501.00061,etc |
| 12 | number | 44626 | 4758 | 9.37 | 0.001582 | 1501.00001,1501.00028,etc |
| 13 | point | 55859 | 4754 | 12.978 | 0.00209 | 1501.00028,1501.00047,etc |
| 14 | term | 32362 | 4404 | 7.465 | 0.000904 | 1501.00001,1501.00028,etc |
| 15 | definition | 29827 | 4254 | 6.798 | 0.000708 | 1501.00028,1501.00090,etc |
| 16 | form | 28567 | 4130 | 6.779 | 0.000842 | 1501.00001,1501.00028,etc |
| 17 | theorem | 22191 | 3561 | 6.743 | 0.000886 | 1501.00028,1501.00046,etc |
| 18 | problem | 29668 | 3503 | 8.943 | 0.001492 | 1501.00001,1501.00028,etc |
| 19 | condition | 24857 | 3467 | 7.314 | 0.001036 | 1501.00001,1501.00046,etc |
| 20 | respect | 22781 | 3451 | 6.939 | 0.000805 | 1501.00028,1501.00145,etc |
| 21 | value | 23780 | 3382 | 7.163 | 0.000993 | 1501.00028,1501.00046,etc |
| 22 | solution | 38994 | 3360 | 12.26 | 0.001991 | 1501.00047,1501.00069,etc |
| 23 | item | 28192 | 3161 | 9.376 | 0.001354 | 1501.00001,1501.00028,etc |
| 24 | work | 16587 | 3131 | 5.265 | 0.000546 | 1501.00028,1501.00093,etc |
| 25 | sequence | 25738 | 3068 | 8.302 | 0.001614 | 1501.00028,1501.00051,etc |
| 26 | element | 29521 | 3029 | 8.907 | 0.001599 | 1501.00028,1501.00077,etc |
| 27 | property | 17717 | 2947 | 6.117 | 0.000785 | 1501.00028,1501.00047,etc |
| 28 | time | 28276 | 2941 | 9.69 | 0.001442 | 1501.00069,1501.00128,etc |
| 29 | equation | 25332 | 2933 | 9.696 | 0.001634 | 1501.00001,1501.00069,etc |
| 30 | need | 15514 | 2865 | 5.593 | 0.000461 | 1501.00028,1501.00069,etc |
| 31 | study | 14644 | 2746 | 5.379 | 0.000628 | 1501.00156,1501.00161,etc |
| 32 | system | 27055 | 2666 | 9.059 | 0.001869 | 1501.00001,1501.00047,etc |
| 33 | right | 25149 | 2659 | 8.136 | 0.00158 | 1501.00028,1501.00051,etc |
| 34 | assumption | 15873 | 2654 | 5.815 | 0.000665 | 1501.00046,1501.00047,etc |
| 35 | space | 21421 | 2516 | 8.605 | 0.00143 | 1501.00028,1501.00097,etc |
| 36 | map | 29443 | 2497 | 12.312 | 0.001705 | 1501.00028,1501.00090,etc |
| 37 | lemma | 14115 | 2354 | 6.249 | 0.000718 | 1501.00028,1501.00069,etc |
| 38 | notation | 11624 | 2323 | 4.802 | 0.000407 | 1501.00028,1501.00093,etc |
| 39 | method | 17346 | 2218 | 6.896 | 0.001417 | 1501.00001,1501.00046,etc |
| 40 | parameter | 15044 | 2168 | 7.428 | 0.00103 | 1501.00001,1501.00047,etc |
| 41 | equivalent | 11399 | 2107 | 5.324 | 0.000644 | 1501.00028,1501.00097,etc |
| 42 | construction | 14109 | 2101 | 7.247 | 0.000874 | 1501.00028,1501.00093,etc |
| 43 | estimate | 18060 | 2046 | 7.643 | 0.001159 | 1501.00001,1501.00093,etc |
| 44 | model | 19390 | 2043 | 11.125 | 0.001566 | 1501.00046,1501.00177,etc |
| 45 | matrix | 16032 | 1937 | 8.765 | 0.001459 | 1501.00046,1501.00047,etc |
| 46 | existence | 11452 | 1916 | 5.759 | 0.000888 | 1501.00028,1501.00221,etc |
| 47 | dimension | 13649 | 1915 | 7.434 | 0.00117 | 1501.00046,1501.00090,etc |
| 48 | part | 10845 | 1910 | 5.842 | 0.000753 | 1501.00028,1501.00069,etc |
| 49 | pair | 13328 | 1907 | 7.289 | 0.001054 | 1501.00028,1501.00080,etc |
| 50 | way | 9406 | 1872 | 5.027 | 0.00048 | 1501.00028,1501.00090,etc |
| 51 | class | 14173 | 1852 | 7.961 | 0.001409 | 1501.00028,1501.00069,etc |
| 52 | vector | 12312 | 1841 | 6.634 | 0.001187 | 1501.00001,1501.00046,etc |
| 53 | edge | 28286 | 1802 | 13.317 | 0.003266 | 1501.00028,1501.00123,etc |
| 54 | degree | 15496 | 1777 | 9.595 | 0.001564 | 1501.00001,1501.00028,etc |
| 55 | choice | 9926 | 1768 | 5.395 | 0.000566 | 1501.00028,1501.00093,etc |
| 56 | sum | 10543 | 1747 | 6.096 | 0.000916 | 1501.00001,1501.00028,etc |
| 57 | graph | 27809 | 1730 | 15.555 | 0.004168 | 1501.00046,1501.00051,etc |
| 58 | component | 14374 | 1702 | 10.276 | 0.001359 | 1501.00028,1501.00046,etc |
| 59 | approach | 8949 | 1685 | 5.754 | 0.000741 | 1501.00028,1501.00047,etc |
| 60 | subset | 10120 | 1640 | 5.902 | 0.000898 | 1501.00077,1501.00128,etc |
| 61 | algorithm | 17923 | 1630 | 9.36 | 0.001778 | 1501.00077,1501.00080,etc |
| 62 | vertices | 21747 | 1608 | 11.471 | 0.002766 | 1501.00061,1501.00123,etc |
| 63 | boundary | 14004 | 1600 | 7.752 | 0.001252 | 1501.00028,1501.00225,etc |
| 64 | sense | 8096 | 1573 | 4.983 | 0.000461 | 1501.00028,1501.00156,etc |
| 65 | limit | 11108 | 1553 | 7.193 | 0.000863 | 1501.00093,1501.00168,etc |
| 66 | group | 17899 | 1525 | 12.409 | 0.002509 | 1501.00028,1501.00156,etc |
| 67 | state | 11526 | 1525 | 6.904 | 0.001384 | 1501.00097,1501.00123,etc |
| 68 | detail | 6579 | 1466 | 4.654 | 0.00037 | 1501.00028,1501.00093,etc |
| 69 | convergence | 10454 | 1463 | 5.903 | 0.001029 | 1501.00188,1501.00251,etc |
| 70 | family | 10736 | 1457 | 8.31 | 0.001254 | 1501.00028,1501.00097,etc |
| 71 | coefficient | 9806 | 1436 | 6.035 | 0.001122 | 1501.00028,1501.00069,etc |
| 72 | distribution | 12243 | 1434 | 9.15 | 0.001505 | 1501.00001,1501.00128,etc |
| 73 | end | 7671 | 1429 | 5.46 | 0.000863 | 1501.00001,1501.00028,etc |
| 74 | length | 11496 | 1425 | 7.686 | 0.001531 | 1501.00153,1501.00168,etc |
| 75 | relation | 10079 | 1424 | 8.94 | 0.001301 | 1501.00028,1501.00185,etc |
| 76 | application | 6505 | 1409 | 4.737 | 0.00063 | 1501.00047,1501.00097,etc |
| 77 | probability | 12678 | 1401 | 9.471 | 0.001409 | 1501.00046,1501.00128,etc |
| 78 | argument | 7195 | 1400 | 5.639 | 0.000464 | 1501.00028,1501.00168,etc |
| 79 | inequality | 9169 | 1398 | 7.972 | 0.00131 | 1501.00046,1501.00093,etc |
| 80 | vertex | 17879 | 1397 | 10.643 | 0.002626 | 1501.00061,1501.00123,etc |
| 81 | proposition | 7794 | 1366 | 5.495 | 0.00059 | 1501.00028,1501.00069,etc |
| 82 | set | 9436 | 1359 | 6.911 | 0.001316 | 1501.00115,1501.00153,etc |
| 83 | instance | 7483 | 1359 | 6.078 | 0.000638 | 1501.00069,1501.00128,etc |
| 84 | type | 12308 | 1351 | 9.779 | 0.001688 | 1501.00051,1501.00181,etc |
| 85 | operator | 13430 | 1339 | 10.136 | 0.001784 | 1501.00051,1501.00069,etc |
| 86 | image | 9555 | 1332 | 7.803 | 0.000963 | 1501.00028,1501.00046,etc |
| 87 | size | 9113 | 1319 | 6.148 | 0.001421 | 1501.00077,1501.00176,etc |
| 88 | analysis | 6821 | 1309 | 5.571 | 0.000533 | 1501.00001,1501.00093,etc |
| 89 | action | 14646 | 1308 | 11.832 | 0.00162 | 1501.00028,1501.00181,etc |
| 90 | claim | 7797 | 1299 | 6.295 | 0.00062 | 1501.00221,1501.00225,etc |
| 91 | formula | 9051 | 1283 | 7.726 | 0.001291 | 1501.00028,1501.00093,etc |
| 92 | domain | 9303 | 1261 | 7.41 | 0.001118 | 1501.00028,1501.00069,etc |
| 93 | norm | 8366 | 1241 | 7.118 | 0.001087 | 1501.00046,1501.00047,etc |
| 94 | integer | 7972 | 1233 | 5.853 | 0.001155 | 1501.00028,1501.00090,etc |
| 95 | notion | 7340 | 1219 | 5.895 | 0.000745 | 1501.00028,1501.00097,etc |
| 96 | notice | 7658 | 1196 | 6.096 | 0.000627 | 1501.00028,1501.00168,etc |
| 97 | addition | 5743 | 1195 | 4.694 | 0.000473 | 1501.00161,1501.00163,etc |
| 98 | measure | 10476 | 1179 | 9.391 | 0.001559 | 1501.00128,1501.00181,etc |
| 99 | figure | 7238 | 1177 | 5.024 | 0.000879 | 1501.00028,1501.00046,etc |
| 100 | structure | 8231 | 1165 | 7.373 | 0.001189 | 1501.00329,1501.00348,etc |
|