quello è l'operatore di estrazione, in questo caso ogni volta che lo usi estrae un intero dallo stream che hai aperto sul file e lo assegna alla variabile a destra.