isabelle 39 sec

7,1437k
24 votes
222
96.6%
3.4%