{"claim_id":"509b6cb6-7354-4d6d-8008-2175e2dc30a4","submission_revision_id":"152321f1-2777-4f85-8550-6dec9715a1be","expires_in_minutes":60,"files":[{"file_id":"c1a76a3d-36e8-43ae-a19f-193c80207a5f","filename":"Problem.lean","category":"input_materials","content_type":"application/octet-stream","size_bytes":2600,"download_url":"https://storage.googleapis.com/agenthle-formdata-backup/him141195/2026-07-24_16-57-40_e75f13e7/_Input_Materials/Problem.lean?X-Goog-Algorithm=GOOG4-RSA-SHA256&X-Goog-Credential=form-to-gcs%40agenthle-488519.iam.gserviceaccount.com%2F20261015%2Fauto%2Fstorage%2Fgoog4_request&X-Goog-Date=20261015T144151Z&X-Goog-Expires=3600&X-Goog-SignedHeaders=host&X-Goog-Signature=bf5e257cf0748be46dc90de303f93236b244d05123a7e0a29015873ba23c2bc28df0ac0f7f8e582fef0c3dd0ef21a9e471390952d3622f7386394de7083f770764a24e8b36a1b3b041152edcf1c7ec0516d604c33f51dfa01dc099b161a29c4fd3cbe1b42a282a5fa1c6ba887bc8b3658a4d96b7811602acd07d7d04e381ce26cf4866bdc329081cd1743a8df202619fd034c64841765bd873d2517a9fcf7fc7adfd3919b92ba62ab57b1c03204b8f9042b2317858135fed46593dcb7e7505d9dcd3efad02e2c853c33230291ed85b9ff016fba03838e41840757ef9238dad73154d0bc984037f402ff5cb31b9b0d531d45981730bec06761bee8b4a50588be7"},{"file_id":"d8d9e470-dc62-4e0c-a1e1-3478038681a3","filename":"reference_solution.lean","category":"reference_output","content_type":"application/octet-stream","size_bytes":37670,"download_url":"https://storage.googleapis.com/agenthle-formdata-backup/him141195/2026-07-24_16-57-40_e75f13e7/_Reference_Output/reference_solution.lean?X-Goog-Algorithm=GOOG4-RSA-SHA256&X-Goog-Credential=form-to-gcs%40agenthle-488519.iam.gserviceaccount.com%2F20261015%2Fauto%2Fstorage%2Fgoog4_request&X-Goog-Date=20261015T144152Z&X-Goog-Expires=3600&X-Goog-SignedHeaders=host&X-Goog-Signature=93157fd026b8a76292f176d7deeff95ab5f621fccca172fd4693025b57efe63c6fe7d8deb6f566310e82d1c4f325f117d499b72d858b885de716ca68588a6901b26f016138e6ef5540b6e2c65fe4b147cac22e12572b7e48fb8b433f4c84ede9b64d75ddbebfbf4c9ca45619fc28c0498eabb65d57e1ebc4cf7ebc64d1d029e8c1a3f77e2c25648eb20e468ba6cc2730afabe6ed98cec84f9151a078b8a2bf07e223723f8495a0bf158cb3a151c67e378029418170e3fe9165f3aaa72b9541ae556d46edb20ac4e6e8f76314dc9d586e9446ce9c205a7b998a7aaafa60922743d59611b0deef922d7b8c95c6b2e7f850ae4ad7b3b272ce3046510cb405de997e"},{"file_id":"6cce1a81-0e86-4d78-81ac-990b8a8725d0","filename":"evidence.txt","category":"difficulty_self_test_evidence","content_type":"text/plain","size_bytes":582,"download_url":"https://storage.googleapis.com/agenthle-formdata-backup/him141195/2026-07-24_16-57-40_e75f13e7/_Difficulty_Self_Test_Evidence/evidence.txt?X-Goog-Algorithm=GOOG4-RSA-SHA256&X-Goog-Credential=form-to-gcs%40agenthle-488519.iam.gserviceaccount.com%2F20261015%2Fauto%2Fstorage%2Fgoog4_request&X-Goog-Date=20261015T144152Z&X-Goog-Expires=3600&X-Goog-SignedHeaders=host&X-Goog-Signature=0bf1efe90da710e40dcb0a070ba0b8a3f0c1cf19a3df7e2c8095372dd3c69c251ec2e878f2490e418c8e8174427778982b6d68ceb6557553d5bb6c868e57a8090f0910cf4992236f4641efc2135c0948cd009f87c37f4d81bd7f1cd4a4d4fb926e9dc706ff3217d4692ed15adab81c2a6362e43c96916e6780fcd0d8bb8b0a73b20571f8c5138e680b42071a079a5b07910b4113c3fb66801715bfdc20551c9350f412d98b587d8b5f1ee927a4d592b897b4288cc489683e43e220b070c23ef524c146b241cd3a10d7246a492a752a2427532dd2085df2221415d8af475f296d780997dbb96f72bfa1126828f6f91531d31e720c73ceaed78cfa4bce84cca272"}]}