isabelle 10 min

45,06345k
27 votes
252
99.6%
0.4%