dots <= 32