Fix CI for differences bug: use normal dist if n > 36