{
  "command": [
    "C:\\Python313\\python.exe",
    "verify_sympy.py"
  ],
  "files_sha256": {
    "README.md": "eb8138ef0f4313252b1c1bd1a34c4d69da8eb837095f323bedd79fffb1aafe8c",
    "certificate_sympy.json": "7039f3a8ea176381c584ca8630a78918513484aab86779a89706ec1725e819fe",
    "independent_reproduction.md": "f63251053023d70a70cf8201fc277d607238fd9401b8c06d7efafb84d0e7f4f0",
    "paper.md": "8d9443e6445a9c272e043489d75763eddf23558879b0b1659e03437db122248b",
    "requirements.txt": "630f8ff6a2a97d3ca8c5791a950e5b45988b3e30b9388e64dea40b5681d2aed7",
    "verify_maple.mpl": "cb3eda618738742de54e8b8bedc499c734203290a31b4ed5422f718bc23ff559",
    "verify_sage.py": "140b502098ab842abb9cff362121a0fc7ca379dcee5670b5d038af5a4e262605",
    "verify_sympy.py": "ab6f76ff669439c68af177c45731823e92b1a2261c5917c17990dbf09f334a98"
  },
  "platform": "Windows-10-10.0.19045-SP0",
  "python": "3.13.3 (tags/v3.13.3:6280bb5, Apr  8 2025, 14:47:33) [MSC v.1943 64 bit (AMD64)]",
  "status": "PASS",
  "stdout": "{\n  \"status\": \"PASS\",\n  \"certificate\": \"certificate_sympy.json\",\n  \"sha256\": \"d9dbbb3ac7a946b40fef10677726224032c848e8f17a9857d5a71cbdb723784e\",\n  \"family_grid_count\": 27,\n  \"odd_collision_count\": 10\n}\n"
}