Lista de Times Brasileiros Campeões da Libertadores
Santos 3 0
São Paulo 3 2
Cruzeiro 2 1
Grêmio 2 1
Internacional 2 1
Vasco 1 0
Flamengo 1 3
Palmeiras 1 1
Corinthians 1 0

<?php

$lines = file('input.txt');

$sum = 0;
for ( $i = 1; $i < count($lines); $i++ ) {
if ( preg_match( "/.*\s+([0-9]+)\s+([01])/", $lines[$i], $matches ) ) {
if ( $matches[2] > 0 )
$sum += $matches[1];
}
}

echo $sum;

?>