#!/usr/bin/awk -f
BEGIN {
    FS="\t"
}

/[0-9]+a/ {
    n_righe = NR
    punteggi[++riga]=$3
}

/^[0-9]+[^0-9a]/ {
    classifica[$2]+=punteggi[$1]
}

END {
    print "Classifica\n"
    for (player in classifica)
    print classifica[player], player
}