{
  "python": "3.12.15",
  "architecture": "aarch64",
  "python_flint": "0.9.0",
  "mpmath": "1.3.0",
  "float_mantissa_bits": 53,
  "image_id": "sha256:1428b594859a19c2415124155f61f1f47071cbf2ce53cd0db05520402a232b7e",
  "supplied_code_sha256": {
    "code/verify.py": "977b2a32023ed71d80fee2a881e5d9591fa5b003d5b4edb6376533a861c58a87",
    "code/test_verify.py": "93de17afe8b8a3311bbab27c0bdcebd5b3acc4a803eb43b50af2d383baf62bb2",
    "code/search.c": "f87e8a299ea567f3cc7bd1d337ac3cbd16ce0be3d72e37480d598175539fd213"
  },
  "compressed_data_sha256": "a32b291753008ff9ce7b52115422eaeb013465c1d52075a7030f369a601e170e"
}