Effective Ratner Theorem for $ASL(2, \mathbb{R})$ and the gaps of the sequence $\sqrt n$ mod $1$