Upper bound · compressions verified

Claim: 90 compressions record
Submitter: lucemans
Assisted by: Claude Opus 5.5
Commit: d320fb4493 in https://github.com/leanEthereum/ots.golf-submissions.git
Pull request: #50
Code: View source on GitHub
Queued: 2026-09-27 07:35:51 UTC
Finished: 2026-09-27 08:41:58 UTC · 472 s