memorizzare interi da file di testo

[k.b]

$numeroni = file_get_contents('prova.txt');
$numeri = preg_split("/\s+/", $numeroni);