If the file format is always going to be the same the best way is probably:
$filearray = file( "filename" );
foreach ( $filearray as $fileline )
{
$filedata = explode( " ", $fileline);
$file_a = filedata[0];
$file_b = filedata[1];
$file_c = filedata[2];
}
if you want totals then do:
$file_a = 0;
$file_b = 0;
$file_c = 0;
$filearray = file( "filename" );
foreach ( $filearray as $fileline )
{
$filedata = explode( " ", $fileline);
$file_a = $file_a + filedata[0];
$file_b = $file_b + filedata[1];
$file_c = $file_c + filedata[2];
}
Hope that helps