Aleph från @logic_int är så bra att den både tog #1 på Putnam och hittade 15 fel i benchmarken🔥 Och stort tack till George för att han avslöjade det!