| optimality | 105 | 19 | 5.667 | 0.002288 | 1601.00132,1601.00608,etc |
| cohomology | 71 | 13 | 5.667 | 0.002048 | 1601.00269,1601.01064,etc |
| morphism | 365 | 34 | 10.879 | 0.001918 | 1601.00269,1601.00302,etc |
| simplicial | 86 | 13 | 6.833 | 0.001732 | 1601.00101,1601.01015,etc |
| matrices | 465 | 66 | 7.092 | 0.00117 | 1601.00029,1601.00168,etc |
| ll | 171 | 31 | 5.6 | 0.001021 | 1601.00419,1601.00608,etc |
| nabla | 67 | 13 | 5.25 | 0.000911 | 1601.01077,1601.02147,etc |
| ldots | 75 | 12 | 6.273 | 0.000861 | 1601.00314,1601.00388,etc |
| tuple | 104 | 18 | 5.765 | 0.000832 | 1601.00029,1601.00214,etc |
| pairing | 54 | 11 | 4.7 | 0.000773 | 1601.00950,1601.01377,etc |
| endpoints | 91 | 19 | 4.889 | 0.000752 | 1601.00101,1601.00943,etc |
| nontrivial | 61 | 13 | 4.75 | 0.00073 | 1601.00870,1601.01070,etc |
| codewords | 79 | 12 | 6.727 | 0.000658 | 1601.01286,1601.03121,etc |
| morphisms | 157 | 22 | 7.286 | 0.000592 | 1601.00269,1601.00302,etc |
| tuples | 65 | 14 | 4.615 | 0.000554 | 1601.00029,1601.00050,etc |
| codimension | 91 | 14 | 6.308 | 0.000389 | 1601.01164,1601.02299,etc |
| diffeomorphism | 67 | 14 | 4.923 | 0.000378 | 1601.00063,1601.00936,etc |
| codeword | 77 | 13 | 6.083 | 0.000267 | 1601.01152,1601.01286,etc |