{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:PPC2NJUMZM32WY65M2NJJ5GX6O","short_pith_number":"pith:PPC2NJUM","canonical_record":{"source":{"id":"2510.01346","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-10-01T18:21:13Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"2d3666cf2eb7aca793c645848fa27a5d8842fa7dc40a613623dc96d66078184b","abstract_canon_sha256":"e961f74cb02fc80c4bb07aaaf79ad1264534ea7e18e19c8daadd2bb8e0339f8d"},"schema_version":"1.0"},"canonical_sha256":"7bc5a6a68ccb37ab63dd669a94f4d7f3be5bc7a82bf3ab83ffc77e28ce91bc9b","source":{"kind":"arxiv","id":"2510.01346","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2510.01346","created_at":"2026-05-17T23:38:52Z"},{"alias_kind":"arxiv_version","alias_value":"2510.01346v2","created_at":"2026-05-17T23:38:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2510.01346","created_at":"2026-05-17T23:38:52Z"},{"alias_kind":"pith_short_12","alias_value":"PPC2NJUMZM32","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"PPC2NJUMZM32WY65","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"PPC2NJUM","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:PPC2NJUMZM32WY65M2NJJ5GX6O","target":"record","payload":{"canonical_record":{"source":{"id":"2510.01346","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-10-01T18:21:13Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"2d3666cf2eb7aca793c645848fa27a5d8842fa7dc40a613623dc96d66078184b","abstract_canon_sha256":"e961f74cb02fc80c4bb07aaaf79ad1264534ea7e18e19c8daadd2bb8e0339f8d"},"schema_version":"1.0"},"canonical_sha256":"7bc5a6a68ccb37ab63dd669a94f4d7f3be5bc7a82bf3ab83ffc77e28ce91bc9b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:38:52.971851Z","signature_b64":"24+H5OmhvUkoafRwyRQQRryC7sC1RD0RUEW2mD5ocCqTBnt2Vb85EAbFfVIuBNIptQUeAdKMqgA9Utlm0/tWCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7bc5a6a68ccb37ab63dd669a94f4d7f3be5bc7a82bf3ab83ffc77e28ce91bc9b","last_reissued_at":"2026-05-17T23:38:52.971156Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:38:52.971156Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2510.01346","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:38:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zdqoUSc6ymetxNT+IeiYHNDZwwPJfzI7T4bb/wWFnvmSEmprYLXoaGIUP1LAYlhyBBeBr49pfb0h3O12s/6VDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T07:39:58.706945Z"},"content_sha256":"1dd48c6975e462387a468147fd8c710b2706223dd74e2f2ce5e258fdbc6551fd","schema_version":"1.0","event_id":"sha256:1dd48c6975e462387a468147fd8c710b2706223dd74e2f2ce5e258fdbc6551fd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:PPC2NJUMZM32WY65M2NJJ5GX6O","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Aristotle: IMO-level Automated Theorem Proving","license":"http://creativecommons.org/licenses/by/4.0/","headline":"An AI system called Aristotle reaches gold-medal performance on the 2025 IMO problems by integrating Lean formal proof search with informal lemma generation and a dedicated geometry solver.","cross_cats":["cs.CL"],"primary_cat":"cs.AI","authors_text":"Aidan Swope, Alberto Bietti, Alexander Meiburg, Alex Best, Daniel Halpern-Leistner, Eric Rodriguez, Hari Sowrirajan, Harold Williams, Jonathan Thomm, Kevin Der, Kirsten Henningsgard, Laura Scharff, Lawrence Wu, Martin Michelsen, Math\\\"is F\\'ed\\'erico, Matyas Tamas, Riley Patterson, Sergei Gukov, Tudor Achim, Vikram Shanker, Vladmir Sicca, Vlad Tenev, Yury Kudryashov","submitted_at":"2025-10-01T18:21:13Z","abstract_excerpt":"We introduce Aristotle, an AI system that combines formal verification with informal reasoning, achieving gold-medal-equivalent performance on the 2025 International Mathematical Olympiad problems. Aristotle integrates three main components: a Lean proof search system, an informal reasoning system that generates and formalizes lemmas, and a dedicated geometry solver. Our system demonstrates state-of-the-art performance with favorable scaling properties for automated theorem proving."},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"achieving gold-medal-equivalent performance on the 2025 International Mathematical Olympiad problems","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That the described integration of informal reasoning and formal verification components can reliably produce complete, correct proofs for the full set of 2025 IMO problems without undisclosed human guidance or post-hoc adjustments.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Aristotle reaches gold-medal-equivalent performance on 2025 IMO problems via integrated Lean proof search, informal lemma formalization, and a dedicated geometry solver.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"An AI system called Aristotle reaches gold-medal performance on the 2025 IMO problems by integrating Lean formal proof search with informal lemma generation and a dedicated geometry solver.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"ac5a934421dd9288f558a871f4570c5d3dc7c517e120b303b0e50ab54fbdaad9"},"source":{"id":"2510.01346","kind":"arxiv","version":2},"verdict":{"id":"74423e99-e5fd-48c9-b262-4ef290090ad4","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-15T08:46:52.310675Z","strongest_claim":"achieving gold-medal-equivalent performance on the 2025 International Mathematical Olympiad problems","one_line_summary":"Aristotle reaches gold-medal-equivalent performance on 2025 IMO problems via integrated Lean proof search, informal lemma formalization, and a dedicated geometry solver.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That the described integration of informal reasoning and formal verification components can reliably produce complete, correct proofs for the full set of 2025 IMO problems without undisclosed human guidance or post-hoc adjustments.","pith_extraction_headline":"An AI system called Aristotle reaches gold-medal performance on the 2025 IMO problems by integrating Lean formal proof search with informal lemma generation and a dedicated geometry solver."},"references":{"count":66,"sample":[{"doi":"","year":2024,"title":"The surprising effectiveness of test-time training for few-shot learning.arXiv preprint arXiv:2411.07279","work_id":"e3b25df0-6672-4538-9b16-9887c089a5ef","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2017,"title":"Hindsight Experience Replay","work_id":"aa268f29-8c5d-45e5-b191-9d3915fd65a7","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2017,"title":"Thinking Fast and Slow with Deep Learning and Tree Search","work_id":"b4c71cab-3232-44f5-87f8-989465c328eb","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2023,"title":"arXiv:2302.12433 [cs.CL] https://arxiv.org/abs/2302.12433","work_id":"d5be73f4-5f56-4254-94ca-01e3bba69c3c","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2025,"title":"Seed-prover: Deep and broad reasoning for automated theorem proving.arXiv preprint arXiv:2507.23726, 2025b","work_id":"a5329c4e-41eb-48e2-b93a-3c8a6e30eec9","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":66,"snapshot_sha256":"bb16744ec721ee03e3a561ed34c2c49523d653f842a70601290800fe92fa8822","internal_anchors":2},"formal_canon":{"evidence_count":2,"snapshot_sha256":"2585f92d135d366ea66b7d0df0eca63b8989848f606e4efbb0a5d793ffbe42e5"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"74423e99-e5fd-48c9-b262-4ef290090ad4"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:38:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pu0V0g+Q5eYTUfjE27CSLXI+1fqxlt1pfyiq5MtQXqUznbrS7+Lle6FGrckb1PwHIJsX3ixorz9RFasKwKIVDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T07:39:58.707644Z"},"content_sha256":"cb0b3a02799629c9b534760a3dbe056ddbaae6a44d539024a460bfc43500a1e0","schema_version":"1.0","event_id":"sha256:cb0b3a02799629c9b534760a3dbe056ddbaae6a44d539024a460bfc43500a1e0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PPC2NJUMZM32WY65M2NJJ5GX6O/bundle.json","state_url":"https://pith.science/pith/PPC2NJUMZM32WY65M2NJJ5GX6O/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PPC2NJUMZM32WY65M2NJJ5GX6O/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-05T07:39:58Z","links":{"resolver":"https://pith.science/pith/PPC2NJUMZM32WY65M2NJJ5GX6O","bundle":"https://pith.science/pith/PPC2NJUMZM32WY65M2NJJ5GX6O/bundle.json","state":"https://pith.science/pith/PPC2NJUMZM32WY65M2NJJ5GX6O/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PPC2NJUMZM32WY65M2NJJ5GX6O/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:PPC2NJUMZM32WY65M2NJJ5GX6O","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"e961f74cb02fc80c4bb07aaaf79ad1264534ea7e18e19c8daadd2bb8e0339f8d","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-10-01T18:21:13Z","title_canon_sha256":"2d3666cf2eb7aca793c645848fa27a5d8842fa7dc40a613623dc96d66078184b"},"schema_version":"1.0","source":{"id":"2510.01346","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2510.01346","created_at":"2026-05-17T23:38:52Z"},{"alias_kind":"arxiv_version","alias_value":"2510.01346v2","created_at":"2026-05-17T23:38:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2510.01346","created_at":"2026-05-17T23:38:52Z"},{"alias_kind":"pith_short_12","alias_value":"PPC2NJUMZM32","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"PPC2NJUMZM32WY65","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"PPC2NJUM","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:cb0b3a02799629c9b534760a3dbe056ddbaae6a44d539024a460bfc43500a1e0","target":"graph","created_at":"2026-05-17T23:38:52Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"achieving gold-medal-equivalent performance on the 2025 International Mathematical Olympiad problems"},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That the described integration of informal reasoning and formal verification components can reliably produce complete, correct proofs for the full set of 2025 IMO problems without undisclosed human guidance or post-hoc adjustments."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Aristotle reaches gold-medal-equivalent performance on 2025 IMO problems via integrated Lean proof search, informal lemma formalization, and a dedicated geometry solver."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"An AI system called Aristotle reaches gold-medal performance on the 2025 IMO problems by integrating Lean formal proof search with informal lemma generation and a dedicated geometry solver."}],"snapshot_sha256":"ac5a934421dd9288f558a871f4570c5d3dc7c517e120b303b0e50ab54fbdaad9"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"2585f92d135d366ea66b7d0df0eca63b8989848f606e4efbb0a5d793ffbe42e5"},"paper":{"abstract_excerpt":"We introduce Aristotle, an AI system that combines formal verification with informal reasoning, achieving gold-medal-equivalent performance on the 2025 International Mathematical Olympiad problems. Aristotle integrates three main components: a Lean proof search system, an informal reasoning system that generates and formalizes lemmas, and a dedicated geometry solver. Our system demonstrates state-of-the-art performance with favorable scaling properties for automated theorem proving.","authors_text":"Aidan Swope, Alberto Bietti, Alexander Meiburg, Alex Best, Daniel Halpern-Leistner, Eric Rodriguez, Hari Sowrirajan, Harold Williams, Jonathan Thomm, Kevin Der, Kirsten Henningsgard, Laura Scharff, Lawrence Wu, Martin Michelsen, Math\\\"is F\\'ed\\'erico, Matyas Tamas, Riley Patterson, Sergei Gukov, Tudor Achim, Vikram Shanker, Vladmir Sicca, Vlad Tenev, Yury Kudryashov","cross_cats":["cs.CL"],"headline":"An AI system called Aristotle reaches gold-medal performance on the 2025 IMO problems by integrating Lean formal proof search with informal lemma generation and a dedicated geometry solver.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-10-01T18:21:13Z","title":"Aristotle: IMO-level Automated Theorem Proving"},"references":{"count":66,"internal_anchors":2,"resolved_work":66,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"The surprising effectiveness of test-time training for few-shot learning.arXiv preprint arXiv:2411.07279","work_id":"e3b25df0-6672-4538-9b16-9887c089a5ef","year":2024},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Hindsight Experience Replay","work_id":"aa268f29-8c5d-45e5-b191-9d3915fd65a7","year":2017},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"Thinking Fast and Slow with Deep Learning and Tree Search","work_id":"b4c71cab-3232-44f5-87f8-989465c328eb","year":2017},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"arXiv:2302.12433 [cs.CL] https://arxiv.org/abs/2302.12433","work_id":"d5be73f4-5f56-4254-94ca-01e3bba69c3c","year":2023},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"Seed-prover: Deep and broad reasoning for automated theorem proving.arXiv preprint arXiv:2507.23726, 2025b","work_id":"a5329c4e-41eb-48e2-b93a-3c8a6e30eec9","year":2025}],"snapshot_sha256":"bb16744ec721ee03e3a561ed34c2c49523d653f842a70601290800fe92fa8822"},"source":{"id":"2510.01346","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-15T08:46:52.310675Z","id":"74423e99-e5fd-48c9-b262-4ef290090ad4","model_set":{"reader":"grok-4.3"},"one_line_summary":"Aristotle reaches gold-medal-equivalent performance on 2025 IMO problems via integrated Lean proof search, informal lemma formalization, and a dedicated geometry solver.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"An AI system called Aristotle reaches gold-medal performance on the 2025 IMO problems by integrating Lean formal proof search with informal lemma generation and a dedicated geometry solver.","strongest_claim":"achieving gold-medal-equivalent performance on the 2025 International Mathematical Olympiad problems","weakest_assumption":"That the described integration of informal reasoning and formal verification components can reliably produce complete, correct proofs for the full set of 2025 IMO problems without undisclosed human guidance or post-hoc adjustments."}},"verdict_id":"74423e99-e5fd-48c9-b262-4ef290090ad4"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:1dd48c6975e462387a468147fd8c710b2706223dd74e2f2ce5e258fdbc6551fd","target":"record","created_at":"2026-05-17T23:38:52Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"e961f74cb02fc80c4bb07aaaf79ad1264534ea7e18e19c8daadd2bb8e0339f8d","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-10-01T18:21:13Z","title_canon_sha256":"2d3666cf2eb7aca793c645848fa27a5d8842fa7dc40a613623dc96d66078184b"},"schema_version":"1.0","source":{"id":"2510.01346","kind":"arxiv","version":2}},"canonical_sha256":"7bc5a6a68ccb37ab63dd669a94f4d7f3be5bc7a82bf3ab83ffc77e28ce91bc9b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7bc5a6a68ccb37ab63dd669a94f4d7f3be5bc7a82bf3ab83ffc77e28ce91bc9b","first_computed_at":"2026-05-17T23:38:52.971156Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:38:52.971156Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"24+H5OmhvUkoafRwyRQQRryC7sC1RD0RUEW2mD5ocCqTBnt2Vb85EAbFfVIuBNIptQUeAdKMqgA9Utlm0/tWCw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:38:52.971851Z","signed_message":"canonical_sha256_bytes"},"source_id":"2510.01346","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1dd48c6975e462387a468147fd8c710b2706223dd74e2f2ce5e258fdbc6551fd","sha256:cb0b3a02799629c9b534760a3dbe056ddbaae6a44d539024a460bfc43500a1e0"],"state_sha256":"20a07e57fac62d986fc847a1d385ba62df33c5f6fa2a2015230b55cc4e06f53f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Inue6PqNoG47p5rVLwHLPdKjBPHz5n/s2kqYUdvCdiN+yu3nPreYbMjpr6gyOlx43kGhg/k3N7hDa/bFn35NAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T07:39:58.711258Z","bundle_sha256":"58204b73d2333101277b829b6c8bfa14a5abc4429691c16550568e119c7feb1a"}}