| codeword | 129 | 12 | 11.0 | 0.002008 | 1508.00077,1508.01295,etc |
| tuple | 104 | 17 | 6.312 | 0.001882 | 1508.00553,1508.01020,etc |
| diffeomorphic | 56 | 11 | 5.3 | 0.0017 | 1508.00355,1508.00606,etc |
| nondegenerate | 63 | 11 | 5.9 | 0.001471 | 1508.00064,1508.00166,etc |
| endpoints | 177 | 28 | 6.0 | 0.001205 | 1508.00547,1508.00778,etc |
| diffeomorphism | 163 | 17 | 10.0 | 0.001184 | 1508.00449,1508.00627,etc |
| contracting | 88 | 11 | 8.2 | 0.001127 | 1508.00547,1508.00606,etc |
| simplicial | 159 | 18 | 9.0 | 0.001016 | 1508.00159,1508.00495,etc |
| codewords | 95 | 11 | 7.2 | 0.000929 | 1508.00077,1508.00168,etc |
| codimension | 122 | 18 | 7.0 | 0.000892 | 1508.00182,1508.00456,etc |
| boundedness | 66 | 11 | 6.3 | 0.000771 | 1508.00213,1508.00471,etc |
| endpoint | 81 | 15 | 5.571 | 0.000763 | 1508.00547,1508.01183,etc |
| equivariant | 129 | 21 | 6.0 | 0.00076 | 1508.00166,1508.00423,etc |
| morphism | 295 | 32 | 9.129 | 0.000751 | 1508.00054,1508.00182,etc |
| matrices | 555 | 86 | 6.412 | 0.000726 | 1508.00001,1508.00036,etc |
| ll | 149 | 28 | 5.333 | 0.000705 | 1508.00063,1508.00064,etc |
| pairing | 99 | 12 | 8.545 | 0.000704 | 1508.00014,1508.00383,etc |
| homeomorphic | 64 | 13 | 4.917 | 0.000571 | 1508.00159,1508.00502,etc |
| morphisms | 193 | 19 | 10.444 | 0.000565 | 1508.00054,1508.01048,etc |
| nontrivial | 65 | 14 | 4.615 | 0.000352 | 1508.00622,1508.00756,etc |
| langle | 53 | 11 | 4.8 | 0.000338 | 1508.00687,1508.01253,etc |
| monotonicity | 61 | 14 | 4.385 | 0.000318 | 1508.00335,1508.00687,etc |
| nabla | 51 | 12 | 4.273 | 0.000148 | 1508.00437,1508.00505,etc |