Upper bound · compressions verified

Claim: 89 compressions record
Submitter: lucemans
Assisted by: Claude Opus 5.5
Commit: a1a9fa7337 in https://github.com/leanEthereum/ots.golf-submissions.git
Pull request: #56
Code: View source on GitHub
Queued: 2026-09-27 14:29:32 UTC
Finished: 2026-09-27 14:42:20 UTC · 493 s