#include <stdio.h>
#include <string.h>
int main() {
char name1[11], name2[11], name3[11];
float score1, score2, score3;
scanf("%s", name1);
scanf("%s", name2);
scanf("%s", name3);
scanf("%f", &score1);
scanf("%f", &score2);
scanf("%f", &score3);
printf("%10s%8s\n", "姓名", "分数");
printf("%10s:%8.2f\n", name1, score3);
printf("%10s:%8.2f\n", name2, score3);
printf("%10s:%8.2f\n", name3, score3);
return 0;
}