| homotopy | 190 | 19 | 10.278 | 0.00271 | 1608.00141,1608.00325,etc |
| tuple | 100 | 19 | 5.278 | 0.001706 | 1608.00191,1608.01278,etc |
| polytope | 96 | 13 | 7.5 | 0.0014 | 1608.01614,1608.01622,etc |
| matrices | 645 | 81 | 7.975 | 0.001295 | 1608.00034,1608.00419,etc |
| simplicial | 130 | 17 | 7.5 | 0.001292 | 1608.01290,1608.01589,etc |
| monotonicity | 54 | 11 | 5.0 | 0.001218 | 1608.00644,1608.01893,etc |
| ll | 129 | 22 | 6.0 | 0.001102 | 1608.00126,1608.00644,etc |
| diffeomorphisms | 87 | 12 | 7.182 | 0.001052 | 1608.00439,1608.01832,etc |
| morphism | 284 | 39 | 7.184 | 0.001048 | 1608.00141,1608.00499,etc |
| equivariant | 197 | 26 | 7.6 | 0.001048 | 1608.00401,1608.00709,etc |
| diffeomorphism | 99 | 19 | 5.111 | 0.001035 | 1608.00051,1608.00439,etc |
| tuples | 73 | 11 | 6.9 | 0.001012 | 1608.00954,1608.00956,etc |
| cocycle | 83 | 11 | 8.0 | 0.000967 | 1608.00401,1608.00499,etc |
| simplices | 107 | 15 | 6.714 | 0.000918 | 1608.00246,1608.00499,etc |
| cohomology | 187 | 23 | 8.136 | 0.000875 | 1608.00141,1608.00401,etc |
| morphisms | 181 | 26 | 6.84 | 0.000732 | 1608.00141,1608.00253,etc |
| parametrization | 48 | 11 | 4.5 | 0.000706 | 1608.00166,1608.01504,etc |
| endpoints | 164 | 26 | 6.44 | 0.000641 | 1608.00321,1608.00520,etc |
| homotopic | 70 | 11 | 6.7 | 0.000579 | 1608.02157,1608.02295,etc |
| homeomorphic | 92 | 17 | 5.562 | 0.000528 | 1608.00521,1608.00741,etc |
| pairwise | 65 | 14 | 4.462 | 0.000446 | 1608.00592,1608.01040,etc |
| subalgebra | 52 | 11 | 4.2 | 0.00042 | 1608.00253,1608.01812,etc |
| fibration | 100 | 12 | 7.909 | 0.000412 | 1608.00051,1608.01290,etc |
| optimality | 103 | 18 | 5.647 | 0.000407 | 1608.00042,1608.00085,etc |
| discretize | 47 | 11 | 4.2 | 0.000337 | 1608.00541,1608.00644,etc |
| langle | 49 | 13 | 3.833 | 0.000212 | 1608.00592,1608.01158,etc |