Showing detailed stats for user Lars Ganzhorn in the Sierpinskis Birthday Challenge