files / problems / hilbert16-degree-8 / compute / certs

..
census_balls_r4.json810 B
census_span_classification.json49 KB
deep_ball_r7.json1.2 KB
harnack_d8.json3.4 KB
m1cert_balls_r6.json12 KB
mcert_balls_r6.json7.1 KB
mcert_collections.json32 KB
new_schemes.json124 KB
outside_census_sweeps.json2.3 KB
productive_certs_r7.json2.6 KB
thick_summary.json1.1 KB

This folder on GitHub