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