finite distinct

I N Lukas Lauermann 1600358400000