https://proofs.charliekrug.com/ https://proofs.charliekrug.com/about/ https://proofs.charliekrug.com/results/c1264/ https://proofs.charliekrug.com/problems/jacobian-2026-reproduction/ https://proofs.charliekrug.com/problems/erdos-242/ https://proofs.charliekrug.com/problems/ramsey-r55/ https://proofs.charliekrug.com/problems/covering-c1264/ https://proofs.charliekrug.com/problems/erdos-647/ https://proofs.charliekrug.com/problems/erdos-307/ https://proofs.charliekrug.com/problems/erdos-835/ https://proofs.charliekrug.com/problems/erdos-7/ https://proofs.charliekrug.com/problems/erdos-1041/ https://proofs.charliekrug.com/problems/erdos-1082/ https://proofs.charliekrug.com/problems/erdos-23/ https://proofs.charliekrug.com/problems/erdos-287/ https://proofs.charliekrug.com/problems/erdos-364/ https://proofs.charliekrug.com/problems/erdos-366/ https://proofs.charliekrug.com/problems/erdos-375/ https://proofs.charliekrug.com/problems/erdos-398/ https://proofs.charliekrug.com/problems/formal-conjectures-3688/ https://proofs.charliekrug.com/problems/scout-bdf77f43574b/ https://proofs.charliekrug.com/problems/scout-1b950f384759/ https://proofs.charliekrug.com/problems/leanarchitect-5-cycle-detection/ https://proofs.charliekrug.com/problems/langlands-47-inversion-finsets/ https://proofs.charliekrug.com/problems/langlands-46-standard-parabolic/ https://proofs.charliekrug.com/problems/langlands-49-sl2-triple/ https://proofs.charliekrug.com/problems/mathlib-37366-gcd-sum-difference/ https://proofs.charliekrug.com/problems/formal-mathfin-67-fra/ https://proofs.charliekrug.com/problems/deepmind-superhuman-13-answerbench-column/ https://proofs.charliekrug.com/problems/deepmind-superhuman-16-faithfulness/ https://proofs.charliekrug.com/problems/iris-lean-127-simp-to-model/ https://proofs.charliekrug.com/problems/leanbridge-56-totally-positive/ https://proofs.charliekrug.com/problems/deepmind-superhuman-14-geometry-answer/ https://proofs.charliekrug.com/problems/rocq-16807-identref-time-printer/ https://proofs.charliekrug.com/problems/rocq-18136-rewrite-strategy-warning/ https://proofs.charliekrug.com/problems/deepmind-ai-foundations-37-layernorm-count/ https://proofs.charliekrug.com/problems/deepmind-distrax-337-hmm-padding/ https://proofs.charliekrug.com/problems/deepmind-synthid-text-26-device-guard/ https://proofs.charliekrug.com/problems/deepmind-alphageometry-32-cc-tangent0/ https://proofs.charliekrug.com/problems/erdos-458/ https://proofs.charliekrug.com/problems/erdos-488/ https://proofs.charliekrug.com/problems/erdos-617/ https://proofs.charliekrug.com/problems/erdos-672/ https://proofs.charliekrug.com/problems/erdos-699/ https://proofs.charliekrug.com/problems/erdos-723/ https://proofs.charliekrug.com/problems/erdos-742/ https://proofs.charliekrug.com/problems/covering-c1553/ https://proofs.charliekrug.com/problems/covering-c1563/ https://proofs.charliekrug.com/problems/covering-c1783/ https://proofs.charliekrug.com/problems/covering-c18114/ https://proofs.charliekrug.com/attempts/jacobian-2026-reproduction-001/ https://proofs.charliekrug.com/attempts/erdos-647-20260720-162134-fd027a/ https://proofs.charliekrug.com/attempts/erdos-647-20260720-162607-f232b3/ https://proofs.charliekrug.com/attempts/erdos-242-20260720-164438-51ba99/ https://proofs.charliekrug.com/attempts/erdos-242-20260720-181822-bad8d7/ https://proofs.charliekrug.com/attempts/ramsey-r55-20260720-194611-f14832/ https://proofs.charliekrug.com/attempts/scout-bdf77f43574b-20260720-195251-a9f2d4/ https://proofs.charliekrug.com/attempts/ramsey-r55-20260720-201853-f9f229/ https://proofs.charliekrug.com/attempts/erdos-364-20260720-204912-aa8f3d/ https://proofs.charliekrug.com/attempts/ramsey-r55-20260720-211702-50a040/ https://proofs.charliekrug.com/attempts/ramsey-r55-20260720-224631-ebf6f8/ https://proofs.charliekrug.com/attempts/erdos-366-20260720-231157-f9a691/ https://proofs.charliekrug.com/attempts/ramsey-r55-20260720-235107-8e574c/ https://proofs.charliekrug.com/attempts/ramsey-r55-20260721-001847-bbfd27/ https://proofs.charliekrug.com/attempts/erdos-307-20260721-010133-c85502/ https://proofs.charliekrug.com/attempts/ramsey-r55-20260721-023427-94891a/ https://proofs.charliekrug.com/attempts/erdos-835-20260721-025353-29df74/ https://proofs.charliekrug.com/attempts/ramsey-r55-20260721-043422-7a2274/ https://proofs.charliekrug.com/attempts/erdos-7-20260721-045309-4d8aa9/ https://proofs.charliekrug.com/attempts/ramsey-r55-20260721-063540-e1ccef/ https://proofs.charliekrug.com/attempts/erdos-1041-20260721-070253-0e83fd/ https://proofs.charliekrug.com/attempts/ramsey-r55-20260721-082900-aea66d/ https://proofs.charliekrug.com/attempts/erdos-1082-20260721-085234-e90afe/ https://proofs.charliekrug.com/attempts/ramsey-r55-20260721-103733-ba8afb/ https://proofs.charliekrug.com/attempts/erdos-23-20260721-104401-8f0f00/ https://proofs.charliekrug.com/attempts/ramsey-r55-20260721-123303-2aa131/ https://proofs.charliekrug.com/attempts/erdos-287-20260721-125231-22a5f5/ https://proofs.charliekrug.com/attempts/ramsey-r55-20260721-143151-8fb809/ https://proofs.charliekrug.com/attempts/erdos-375-20260721-144714-02603d/ https://proofs.charliekrug.com/attempts/ramsey-r55-20260721-164650-ef8c5a/ https://proofs.charliekrug.com/attempts/ramsey-r55-20260721-173738-495bea/ https://proofs.charliekrug.com/attempts/ramsey-r55-20260721-184001-fccb60/ https://proofs.charliekrug.com/attempts/scout-bdf77f43574b-20260721-185748-323167/ https://proofs.charliekrug.com/attempts/ramsey-r55-20260721-195309-1f8700/ https://proofs.charliekrug.com/attempts/ramsey-r55-20260721-204644-7cb261/ https://proofs.charliekrug.com/attempts/scout-bdf77f43574b-20260721-220806-a12504/ https://proofs.charliekrug.com/attempts/scout-bdf77f43574b-20260721-223958-e0f52b/ https://proofs.charliekrug.com/attempts/ramsey-r55-20260722-042015-10c217/ https://proofs.charliekrug.com/attempts/scout-bdf77f43574b-20260722-044204-213e81/ https://proofs.charliekrug.com/attempts/scout-bdf77f43574b-20260722-063944-5d5057/ https://proofs.charliekrug.com/attempts/scout-bdf77f43574b-20260722-083636-48022a/ https://proofs.charliekrug.com/attempts/scout-bdf77f43574b-20260722-103623-04157b/ https://proofs.charliekrug.com/attempts/scout-bdf77f43574b-20260722-123644-28aa03/ https://proofs.charliekrug.com/attempts/covering-c1264-20260722-131509-6394f5/ https://proofs.charliekrug.com/attempts/scout-bdf77f43574b-20260722-144134-7b4bbd/ https://proofs.charliekrug.com/attempts/covering-c1264-20260722-151254-64a392/ https://proofs.charliekrug.com/attempts/deepmind-superhuman-13-answerbench-column-20260722-153446-675bb9/ https://proofs.charliekrug.com/attempts/covering-c1264-20260722-162852-2f041d/ https://proofs.charliekrug.com/attempts/deepmind-superhuman-13-answerbench-column-20260722-164036-934de3/ https://proofs.charliekrug.com/attempts/deepmind-superhuman-13-answerbench-column-20260722-170424-418499/ https://proofs.charliekrug.com/attempts/deepmind-ai-foundations-37-layernorm-count-20260722-182913-37098e/ https://proofs.charliekrug.com/attempts/deepmind-ai-foundations-37-layernorm-count-20260722-184603-20e44d/ https://proofs.charliekrug.com/attempts/deepmind-superhuman-14-geometry-answer-20260722-192533-af3889/ https://proofs.charliekrug.com/attempts/covering-c1264-20260722-202640-1e718a/ https://proofs.charliekrug.com/attempts/deepmind-distrax-337-hmm-padding-20260722-205223-8244a2/ https://proofs.charliekrug.com/attempts/deepmind-distrax-337-hmm-padding-20260722-210253-6fe0d4/ https://proofs.charliekrug.com/attempts/deepmind-synthid-text-26-device-guard-20260722-213011-ecd7fd/ https://proofs.charliekrug.com/attempts/deepmind-synthid-text-26-device-guard-20260722-214240-e5c8df/ https://proofs.charliekrug.com/attempts/deepmind-synthid-text-26-device-guard-20260722-215511-5c5b86/ https://proofs.charliekrug.com/attempts/iris-lean-127-simp-to-model-20260722-223326-810dbc/ https://proofs.charliekrug.com/attempts/iris-lean-127-simp-to-model-20260722-234149-4304e5/ https://proofs.charliekrug.com/attempts/covering-c1264-20260723-002258-5c2382/ https://proofs.charliekrug.com/attempts/covering-c1264-20260723-042600-a864b7/ https://proofs.charliekrug.com/attempts/iris-lean-127-simp-to-model-20260723-052301-5a467e/ https://proofs.charliekrug.com/attempts/iris-lean-127-simp-to-model-20260723-064559-a6057e/ https://proofs.charliekrug.com/attempts/iris-lean-127-simp-to-model-20260723-084958-103b2e/ https://proofs.charliekrug.com/attempts/iris-lean-127-simp-to-model-20260723-132018-f1fbe5/ https://proofs.charliekrug.com/attempts/iris-lean-127-simp-to-model-20260723-215142-060c26/ https://proofs.charliekrug.com/attempts/iris-lean-127-simp-to-model-20260723-215731-7805ba/ https://proofs.charliekrug.com/attempts/iris-lean-127-simp-to-model-20260723-225300-934337/ https://proofs.charliekrug.com/attempts/covering-c1264-20260724-manual-backfill-classification-closure/ https://proofs.charliekrug.com/attempts/covering-c1264-20260724-manual-backfill-exclusion-ledger-47of47/ https://proofs.charliekrug.com/attempts/covering-c1553-20260807-224024-0711f1/ https://proofs.charliekrug.com/attempts/covering-c1563-20260808-001644-974dd4/ https://proofs.charliekrug.com/attempts/iris-lean-127-simp-to-model-20260808-005734-10fe34/ https://proofs.charliekrug.com/attempts/covering-c1553-20260808-161009-a1d172/ https://proofs.charliekrug.com/attempts/covering-c1563-20260808-164111-4220bb/ https://proofs.charliekrug.com/attempts/covering-c1553-20260808-170047-690e25/ https://proofs.charliekrug.com/attempts/covering-c1563-20260808-172243-9e867d/ https://proofs.charliekrug.com/attempts/covering-c1553-20260808-174207-c109e4/ https://proofs.charliekrug.com/attempts/covering-c1563-20260808-175948-a18f71/ https://proofs.charliekrug.com/attempts/covering-c1553-20260808-181753-3e29f1/ https://proofs.charliekrug.com/attempts/covering-c1563-20260808-183711-118eac/ https://proofs.charliekrug.com/attempts/covering-c1553-20260808-185948-86dc42/ https://proofs.charliekrug.com/attempts/covering-c1563-20260808-192457-b8fa70/ https://proofs.charliekrug.com/attempts/covering-c1553-20260808-194739-f4b8a6/ https://proofs.charliekrug.com/attempts/covering-c1563-20260808-200642-a9c581/ https://proofs.charliekrug.com/attempts/covering-c1553-20260808-202319-498a53/ https://proofs.charliekrug.com/attempts/covering-c1563-20260808-203651-37e5ff/ https://proofs.charliekrug.com/attempts/covering-c1553-20260808-205235-630fd2/ https://proofs.charliekrug.com/attempts/covering-c1563-20260808-211546-ab17f3/ https://proofs.charliekrug.com/attempts/covering-c1553-20260808-213153-c28ac5/ https://proofs.charliekrug.com/attempts/covering-c1563-20260808-214507-29230d/ https://proofs.charliekrug.com/attempts/covering-c1553-20260808-220506-ab17bb/ https://proofs.charliekrug.com/attempts/covering-c1563-20260808-223144-2b4c5d/ https://proofs.charliekrug.com/attempts/covering-c1553-20260808-225001-1f26a5/ https://proofs.charliekrug.com/attempts/covering-c1563-20260808-231300-9d5b0b/ https://proofs.charliekrug.com/attempts/covering-c1553-20260808-233239-3a9c96/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-002810-944f57/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-004157-1f6df1/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-010012-4e3ba3/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-011802-595aaf/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-013913-b694a5/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-015713-6f2e0e/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-021920-52db42/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-024005-16ae80/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-030142-21ee97/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-032621-79584e/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-034209-44f3f4/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-040548-24d7c8/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-042813-d089c5/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-045343-f6bfdf/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-051409-43dc34/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-053756-3db159/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-055240-03787f/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-061756-422bbb/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-063824-6e7c69/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-065659-da6272/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-072127-a0797c/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-073938-1c70ca/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-080339-458005/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-082947-cb7c24/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-084824-d8e579/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-091408-a12487/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-094129-5e45b6/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-100451-c1d431/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-161703-26477a/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-163338-6cc89a/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-165025-6ed65d/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-172033-7098eb/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-173913-8f03d3/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-175816-bef0d5/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-181306-819f7e/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-201733-02c9dc/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-203817-7f885a/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-205543-990ea1/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-211108-ede0ad/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-212801-d5e91d/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-214442-4cd039/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-220614-99d89c/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-221759-2ae2be/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-223623-40568f/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-230018-5dc524/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-232147-637749/ https://proofs.charliekrug.com/attempts/covering-c1563-20260809-234131-a562fa/ https://proofs.charliekrug.com/attempts/covering-c1553-20260809-235922-ec82c8/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-002517-28fe6c/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-005024-4de0fa/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-012106-e26df2/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-013935-4956f1/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-020144-0c0c5c/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-022232-82b1d2/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-023728-86463c/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-030448-e5ac97/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-032507-d3f846/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-035106-d60da8/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-041529-75c17a/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-043328-3e8e26/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-045711-c1f492/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-052658-05074b/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-055610-543c01/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-061855-e0112d/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-064145-82c1a9/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-070644-0afa58/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-073031-745fc9/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-075136-2d8b70/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-080921-0afaf7/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-083112-59a043/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-091138-992b4e/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-092912-6dbe43/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-095232-af3e50/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-100915-997ac1/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-103325-e2a042/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-105731-bf0f24/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-112028-9e4882/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-114038-541050/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-120516-bfa61c/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-122112-49bd4e/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-124313-a02e3e/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-132455-dc7f80/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-134026-1270e6/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-140123-0a6a41/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-141949-33a150/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-143846-ec0419/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-145841-211fd9/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-152341-f8137e/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-154328-3b6175/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-155941-234a24/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-161940-5c9080/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-164110-37d3a2/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-165611-4cc90a/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-172012-38c9ac/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-174240-1c121b/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-180212-990f21/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-182728-1c6ba7/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-184715-1fb124/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-190553-c816ac/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-192237-a34cfb/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-194133-68baa4/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-200151-664a78/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-202657-fada5b/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-204630-d6ba7d/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-210250-948a6d/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-212512-5bfe6b/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-214307-27d9c8/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-215930-1a7da8/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-222357-342f3c/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-224204-f71a36/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-230911-c519b1/ https://proofs.charliekrug.com/attempts/covering-c1553-20260810-232845-0b2769/ https://proofs.charliekrug.com/attempts/covering-c1563-20260810-235627-61125f/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-001343-f54f29/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-003221-2c4008/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-005706-446845/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-011720-6b396d/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-013913-020ceb/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-020126-55b5de/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-021915-bdb7f8/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-023607-ab41a3/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-031942-744f1b/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-033941-085b46/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-041435-31cbdd/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-043446-7fc474/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-045537-2cd7c5/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-051350-e3ed51/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-053703-0a6f7e/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-055812-ad0a73/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-062643-9a3205/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-064650-fbc6b2/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-071517-e3ac5d/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-073856-b9377a/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-080002-d08b01/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-082036-12cad3/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-084545-68f95f/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-090051-e54072/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-092757-449efd/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-094646-4cc0af/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-100617-779162/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-103701-e1a983/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-105612-9d5424/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-111508-5ba63b/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-113500-713bb3/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-115044-00ee33/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-121658-7fc807/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-123459-33e94c/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-131019-3f2dce/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-133032-3109dc/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-135640-3ae07c/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-141702-43f65e/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-143826-283807/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-145816-dd25f9/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-152022-2fadd6/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-154053-4ec4ea/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-160041-9c3496/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-162159-d95784/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-164238-7498de/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-170736-c18481/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-174025-074a22/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-180125-333833/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-182459-179445/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-184446-913acc/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-191051-998375/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-193637-00e64a/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-195459-b1dfb1/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-201039-7aff20/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-202932-51235f/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-205122-770db2/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-210923-be596a/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-213126-5a7ad3/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-215414-4f4c4b/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-221052-7cdcbc/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-223106-bf56eb/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-224921-b5ef8c/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-231017-d032d4/ https://proofs.charliekrug.com/attempts/covering-c1563-20260811-232845-6ca794/ https://proofs.charliekrug.com/attempts/covering-c1553-20260811-235211-fd9a69/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-001122-0471b7/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-002722-e781db/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-005158-ed0001/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-012121-bdbd39/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-014132-5d18f2/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-020605-5dd8c5/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-022937-c43d35/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-030704-bc98f3/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-033035-35ec97/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-035029-c33e7d/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-041458-f1c086/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-043210-6ee493/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-045208-844dd5/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-051150-18434e/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-053518-652154/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-060454-790033/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-062836-f281b6/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-065146-3d696f/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-071624-4e8c56/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-074018-83add0/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-075712-5bd90b/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-082433-85a31b/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-085435-5eb761/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-091129-f04c88/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-093359-2df264/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-095753-6f22ad/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-101946-a8b8d6/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-104024-a25485/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-105816-a7b306/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-112351-0066ed/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-114219-748668/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-120655-5fbc6f/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-122653-ea6c8b/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-125210-dff608/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-130958-c53e9a/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-133504-a1169c/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-135352-d355e7/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-141511-862550/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-143444-2cd35e/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-145323-5014b0/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-150945-dca947/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-152958-ccebf5/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-155023-ccf5bc/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-161148-9c7ef6/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-163020-7f7b61/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-165746-87cf68/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-171654-a17042/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-174704-04afec/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-181543-71b10b/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-184217-b66aef/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-190156-d87f75/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-192015-1a5ffb/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-194032-8e3c5a/ https://proofs.charliekrug.com/attempts/covering-c1553-20260812-200454-133e4e/ https://proofs.charliekrug.com/attempts/covering-c1563-20260812-202321-9cce8c/ https://proofs.charliekrug.com/publications/deepmind-superhuman-13-answerbench-column-20260722-170424-418499/