#include <stdio.h>

// ne menuvaj ovde
void wf() {
    FILE *f = fopen("livce.txt", "w");
    char c;
    while((c = getchar()) != '#') {
        fputc(c, f);
    }
    fclose(f);
}

int main() {
    wf();
    FILE *file = fopen("livce.txt", "r");
    int vlog = 0;
    int t,ft;
    double m,fm;
    char a[10], b[10];
    int flag = 1;

    fscanf(file, "%d", &vlog);
    double nande = vlog;
    while(!feof(file)){
    	fscanf(file, "%s", a);
        if(a[0] == '#') break;
        fscanf(file, "%d", &t);
        fscanf(file, "%lf", &m);
        nande *= m;
        if(flag || fm < m){
            flag = 0;
            for(int i=0;i<10;i++) b[i] = a[i];
            fm = m;
            ft = t;
        }
    }
    nande /= m;
    printf("%s %d %.2f\n",b,ft,fm);
    printf("%.2f", nande);
    return 0;

}