| monotonicity | 68 | 13 | 5.333 | 0.00182 | 1705.00174,1705.00323,etc |
| morphism | 438 | 31 | 14.367 | 0.001671 | 1705.00167,1705.00466,etc |
| matrices | 518 | 71 | 7.157 | 0.001619 | 1705.00056,1705.00474,etc |
| abelian | 83 | 14 | 6.0 | 0.001483 | 1705.00784,1705.00874,etc |
| equivariant | 133 | 19 | 7.167 | 0.001355 | 1705.00423,1705.00784,etc |
| homeomorphic | 89 | 12 | 6.909 | 0.001219 | 1705.01220,1705.01223,etc |
| codimension | 70 | 11 | 6.6 | 0.001105 | 1705.00423,1705.01084,etc |
| homotopy | 80 | 11 | 7.6 | 0.000845 | 1705.01184,1705.01220,etc |
| morphisms | 283 | 29 | 9.929 | 0.000798 | 1705.00167,1705.00401,etc |
| cohomology | 66 | 13 | 5.25 | 0.000707 | 1705.00032,1705.00423,etc |
| optimality | 91 | 17 | 5.5 | 0.000568 | 1705.00410,1705.00474,etc |
| ll | 158 | 28 | 5.556 | 0.000563 | 1705.00337,1705.00369,etc |
| diffeomorphism | 115 | 19 | 5.833 | 0.000506 | 1705.00989,1705.01117,etc |
| endpoints | 58 | 14 | 4.231 | 0.000433 | 1705.00784,1705.01395,etc |
| tuple | 71 | 17 | 4.25 | 0.000382 | 1705.00302,1705.00337,etc |
| diffeomorphisms | 68 | 11 | 5.5 | 0.000372 | 1705.01603,1705.03674,etc |