Recorre el fichero y suma los números. Hay un montón de códigos por ahí para recorrer las líneas de un fichero, por ejemplo:
Código PHP:
Ver original$file = fopen("archivo.txt", "r");
$total = 0;
{
}
echo "TOTAL: ".$total."<br />";
Prueba algo así, no sé si me habré dejado algo, pero esa es la idea.