Hogyan rendezni egy nagyon nagy (100 GB) fájlt egész számokkal, egyet minden sorban?