I made a game of Regex Golf for Magic: The Gathering card names. Will anyone find a set of at least 20 cards that can be golfed in at most 8 characters?

Question

https://outsidetheasylum.blog/card-name-regex-golf/

10 cards in each list, 20 cards total.

Resolves to NO if I'm unaware of anyone having done so by close.

Manifold Markets · Accepted Answer

Yes — resolved on Feb 4, 2023 by Manifold Markets prediction market.