| matrices | 758 | 87 | 8.744 | 0.001688 | 1506.00057,1506.00085,etc |
| cocycle | 83 | 12 | 7.0 | 0.001687 | 1506.00345,1506.00692,etc |
| morphism | 486 | 29 | 17.0 | 0.0016 | 1506.00387,1506.00719,etc |
| codewords | 83 | 11 | 7.0 | 0.001333 | 1506.00194,1506.00213,etc |
| diffeomorphisms | 67 | 11 | 6.1 | 0.001266 | 1506.00338,1506.00941,etc |
| varphi | 77 | 13 | 6.167 | 0.001251 | 1506.00338,1506.00605,etc |
| codimension | 135 | 12 | 11.818 | 0.001207 | 1506.00603,1506.00969,etc |
| endpoints | 196 | 25 | 7.75 | 0.001129 | 1506.00018,1506.00296,etc |
| homeomorphic | 99 | 16 | 6.4 | 0.000993 | 1506.00230,1506.00603,etc |
| morphisms | 184 | 22 | 8.429 | 0.000954 | 1506.00338,1506.00719,etc |
| equivariant | 80 | 14 | 5.615 | 0.000902 | 1506.00017,1506.00872,etc |
| tuple | 79 | 14 | 5.846 | 0.000887 | 1506.00220,1506.00760,etc |
| diffeomorphism | 80 | 15 | 5.429 | 0.000865 | 1506.00276,1506.00338,etc |
| ldots | 87 | 19 | 4.444 | 0.000851 | 1506.00216,1506.00362,etc |
| ll | 163 | 31 | 5.333 | 0.000761 | 1506.00056,1506.00197,etc |
| codeword | 141 | 18 | 8.0 | 0.00071 | 1506.00154,1506.00194,etc |
| endpoint | 93 | 14 | 6.615 | 0.000703 | 1506.00296,1506.00969,etc |
| simplices | 91 | 12 | 7.455 | 0.000619 | 1506.00187,1506.00757,etc |
| optimality | 61 | 12 | 5.273 | 0.000581 | 1506.00057,1506.00193,etc |
| abelian | 76 | 13 | 6.0 | 0.000484 | 1506.00230,1506.00405,etc |
| langle | 67 | 15 | 4.357 | 0.00039 | 1506.00372,1506.00692,etc |