| case | 92496 | 8499 | 10.858 | 0.001215 | 1701.00016,1701.00018,etc |
| result | 72678 | 8368 | 8.184 | 0.001009 | 1701.00016,1701.00018,etc |
| proof | 71942 | 6820 | 10.41 | 0.001159 | 1701.00018,1701.00020,etc |
| paper | 41749 | 6815 | 6.029 | 0.000808 | 1701.00016,1701.00034,etc |
| note | 57304 | 6676 | 8.908 | 0.000858 | 1701.00016,1701.00018,etc |
| section | 46386 | 6479 | 7.23 | 0.000739 | 1701.00018,1701.00033,etc |
| function | 55455 | 5464 | 10.35 | 0.001685 | 1701.00018,1701.00033,etc |
| order | 42264 | 5446 | 7.542 | 0.00119 | 1701.00033,1701.00034,etc |
| use | 35065 | 5430 | 6.267 | 0.000658 | 1701.00018,1701.00020,etc |
| fact | 35076 | 5102 | 7.042 | 0.000595 | 1701.00018,1701.00033,etc |
| example | 33456 | 5051 | 6.815 | 0.000794 | 1701.00018,1701.00033,etc |
| number | 47276 | 4957 | 8.751 | 0.001597 | 1701.00033,1701.00034,etc |
| point | 56781 | 4732 | 12.317 | 0.002094 | 1701.00018,1701.00033,etc |
| term | 34023 | 4645 | 7.259 | 0.000905 | 1701.00018,1701.00033,etc |
| definition | 32938 | 4540 | 7.889 | 0.000709 | 1701.00018,1701.00020,etc |
| form | 28740 | 4226 | 6.545 | 0.000865 | 1701.00016,1701.00018,etc |
| problem | 33672 | 3812 | 8.472 | 0.001561 | 1701.00016,1701.00033,etc |
| respect | 24813 | 3713 | 7.069 | 0.000821 | 1701.00020,1701.00033,etc |
| solution | 41001 | 3610 | 11.051 | 0.00187 | 1701.00016,1701.00018,etc |
| theorem | 22317 | 3545 | 5.763 | 0.000912 | 1701.00018,1701.00033,etc |
| work | 19431 | 3537 | 5.241 | 0.000614 | 1701.00018,1701.00033,etc |
| condition | 24762 | 3496 | 7.676 | 0.001014 | 1701.00020,1701.00033,etc |
| value | 24207 | 3494 | 6.709 | 0.000939 | 1701.00018,1701.00033,etc |
| item | 30886 | 3313 | 8.807 | 0.00168 | 1701.00069,1701.00089,etc |
| sequence | 27070 | 3110 | 8.72 | 0.001674 | 1701.00033,1701.00089,etc |
| time | 30372 | 3106 | 11.294 | 0.001557 | 1701.00016,1701.00018,etc |
| element | 30372 | 3085 | 10.038 | 0.001621 | 1701.00034,1701.00113,etc |
| need | 16812 | 3052 | 5.506 | 0.000472 | 1701.00018,1701.00033,etc |
| property | 18556 | 3010 | 5.907 | 0.000759 | 1701.00034,1701.00089,etc |
| study | 15570 | 2954 | 5.617 | 0.000631 | 1701.00033,1701.00034,etc |
| equation | 26041 | 2902 | 8.8 | 0.001536 | 1701.00020,1701.00033,etc |
| right | 26648 | 2851 | 9.021 | 0.002068 | 1701.00018,1701.00020,etc |
| assumption | 17509 | 2790 | 5.963 | 0.000694 | 1701.00018,1701.00033,etc |
| system | 27609 | 2718 | 9.473 | 0.00205 | 1701.00033,1701.00069,etc |
| space | 23773 | 2671 | 9.095 | 0.00156 | 1701.00018,1701.00033,etc |
| method | 20881 | 2542 | 7.193 | 0.001442 | 1701.00068,1701.00069,etc |
| map | 30456 | 2528 | 11.284 | 0.001684 | 1701.00020,1701.00034,etc |
| notation | 12328 | 2407 | 5.187 | 0.000362 | 1701.00018,1701.00111,etc |
| lemma | 14272 | 2356 | 6.219 | 0.000675 | 1701.00020,1701.00033,etc |
| construction | 15018 | 2223 | 6.672 | 0.000761 | 1701.00020,1701.00034,etc |
| equivalent | 12202 | 2189 | 5.621 | 0.000669 | 1701.00020,1701.00069,etc |
| model | 19876 | 2155 | 9.431 | 0.001563 | 1701.00018,1701.00033,etc |
| parameter | 14615 | 2151 | 6.467 | 0.001031 | 1701.00016,1701.00033,etc |
| estimate | 19297 | 2101 | 9.338 | 0.001292 | 1701.00018,1701.00033,etc |
| pair | 14001 | 2017 | 7.117 | 0.001025 | 1701.00260,1701.00297,etc |
| part | 11431 | 1999 | 5.976 | 0.000822 | 1701.00068,1701.00069,etc |
| dimension | 14147 | 1970 | 7.313 | 0.001093 | 1701.00034,1701.00154,etc |
| vector | 13096 | 1948 | 6.586 | 0.001247 | 1701.00111,1701.00154,etc |
| matrix | 15409 | 1940 | 7.98 | 0.001372 | 1701.00016,1701.00033,etc |
| existence | 11568 | 1921 | 5.812 | 0.000884 | 1701.00034,1701.00139,etc |
| algorithm | 19923 | 1902 | 10.019 | 0.00189 | 1701.00016,1701.00182,etc |
| class | 14929 | 1894 | 7.387 | 0.001419 | 1701.00018,1701.00113,etc |
| degree | 16811 | 1872 | 11.007 | 0.001658 | 1701.00018,1701.00155,etc |
| edge | 32937 | 1857 | 18.106 | 0.003488 | 1701.00034,1701.00131,etc |
| approach | 10206 | 1857 | 5.483 | 0.000698 | 1701.00016,1701.00089,etc |
| way | 9302 | 1852 | 4.908 | 0.000523 | 1701.00089,1701.00090,etc |
| choice | 10092 | 1801 | 5.436 | 0.000533 | 1701.00113,1701.00154,etc |
| subset | 11394 | 1770 | 6.06 | 0.000981 | 1701.00034,1701.00089,etc |
| component | 16249 | 1769 | 9.007 | 0.001356 | 1701.00034,1701.00111,etc |
| sum | 10881 | 1757 | 6.133 | 0.001114 | 1701.00131,1701.00139,etc |
| graph | 30679 | 1749 | 17.441 | 0.004093 | 1701.00113,1701.00154,etc |
| state | 12173 | 1726 | 6.739 | 0.001345 | 1701.00033,1701.00068,etc |
| vertices | 23460 | 1695 | 12.22 | 0.002824 | 1701.00034,1701.00090,etc |
| sense | 8321 | 1629 | 4.992 | 0.000451 | 1701.00018,1701.00033,etc |
| boundary | 14208 | 1628 | 10.0 | 0.001173 | 1701.00033,1701.00034,etc |
| convergence | 11039 | 1572 | 6.614 | 0.001028 | 1701.00018,1701.00033,etc |
| detail | 6836 | 1545 | 4.309 | 0.000381 | 1701.00018,1701.00115,etc |
| application | 7334 | 1544 | 4.763 | 0.000546 | 1701.00162,1701.00175,etc |
| inequality | 10573 | 1537 | 6.457 | 0.001245 | 1701.00089,1701.00090,etc |
| family | 12039 | 1527 | 7.318 | 0.001458 | 1701.00111,1701.00113,etc |
| vertex | 19191 | 1521 | 12.593 | 0.002442 | 1701.00034,1701.00090,etc |
| limit | 10532 | 1501 | 8.133 | 0.000784 | 1701.00018,1701.00033,etc |
| claim | 9296 | 1493 | 5.773 | 0.000609 | 1701.00034,1701.00154,etc |
| end | 8115 | 1489 | 5.412 | 0.000718 | 1701.00018,1701.00034,etc |
| argument | 7603 | 1475 | 4.552 | 0.000563 | 1701.00018,1701.00034,etc |
| coefficient | 10155 | 1466 | 6.709 | 0.001108 | 1701.00068,1701.00113,etc |
| instance | 8584 | 1459 | 5.029 | 0.000574 | 1701.00033,1701.00309,etc |
| length | 11673 | 1450 | 7.563 | 0.00156 | 1701.00090,1701.00113,etc |
| group | 17985 | 1447 | 11.12 | 0.002443 | 1701.00113,1701.00154,etc |
| probability | 12776 | 1444 | 8.972 | 0.001357 | 1701.00018,1701.00033,etc |
| set | 9595 | 1396 | 6.992 | 0.001267 | 1701.00018,1701.00034,etc |
| size | 10034 | 1395 | 7.109 | 0.001253 | 1701.00111,1701.00175,etc |
| action | 15279 | 1380 | 11.269 | 0.001441 | 1701.00113,1701.00154,etc |
| node | 30118 | 1379 | 23.278 | 0.004005 | 1701.00034,1701.00090,etc |
| proposition | 7761 | 1372 | 6.382 | 0.000604 | 1701.00020,1701.00111,etc |
| formula | 10251 | 1367 | 7.604 | 0.001272 | 1701.00018,1701.00069,etc |
| type | 11345 | 1366 | 7.612 | 0.001458 | 1701.00154,1701.00155,etc |
| relation | 9204 | 1366 | 6.364 | 0.001007 | 1701.00069,1701.00111,etc |
| addition | 6816 | 1366 | 5.118 | 0.000528 | 1701.00033,1701.00034,etc |
| operator | 13869 | 1362 | 10.025 | 0.001755 | 1701.00018,1701.00020,etc |
| integer | 8582 | 1360 | 6.293 | 0.001051 | 1701.00068,1701.00113,etc |
| domain | 9438 | 1350 | 7.52 | 0.001162 | 1701.00034,1701.00115,etc |
| analysis | 7102 | 1343 | 5.087 | 0.000579 | 1701.00116,1701.00139,etc |
| statement | 7218 | 1324 | 6.01 | 0.000613 | 1701.00034,1701.00175,etc |
| image | 9552 | 1317 | 7.616 | 0.00094 | 1701.00113,1701.00115,etc |
| distribution | 10981 | 1314 | 8.52 | 0.001304 | 1701.00018,1701.00089,etc |
| norm | 8598 | 1306 | 6.295 | 0.000935 | 1701.00033,1701.00056,etc |
| notice | 8099 | 1275 | 6.5 | 0.000645 | 1701.00033,1701.00044,etc |
| notion | 7760 | 1273 | 5.342 | 0.000658 | 1701.00113,1701.00154,etc |
| structure | 8816 | 1269 | 7.469 | 0.001195 | 1701.00034,1701.00056,etc |
|