Ile liczb w pliku dane.txt jest nie większych niż 512?