files / problems / two-smooth-summands / compute / certs
| .. | |
| covering_refined.json | 3.4 KB |
| covering_search.json | 15 KB |
| f_exceptions_exact.json | 15 KB |
| f_exceptions.json | 13 KB |
| g_certified.json | 1.9 KB |
| g_of_y.json | 3.9 KB |
| obstruction.json | 7.5 KB |
| trivial_cover.json | 1.3 KB |