#include <stdio.h>

main(argc, argv)
int argc;
char *argv[];
{
    int i, j, dn, table_len;
    double temp, index;
    double low, high, min, max;
    static double table[4096];

    /* extract the max value for this entry */
    table_len = 0;
    while(scanf("%*lf%*lf%*lf%*lf%lf", &(table[table_len])) == 1) {
	table_len++;
    }
    table[table_len] = 0;
    table_len++;

    /* reverse the order table */
    for(i = 0, j = table_len - 1; i < j; i++, j--) {
	temp = table[i];
	table[i] = table[j];
	table[j] = temp;
    }

    /* divide the table into 256 equal sized bins */
    min = table[0];
    for(i = 1; i < 256; i++) {
	index = ((double) i * (table_len-1)) / 256.0;

	low = table[(int) index];
	high = table[(int) index + 1];
	max = low + ((index - (int) index) * (high - low));
	dn = (min + max) / 2.0;
	
	printf("%3d %9.4lf %9.4lf %4d\n", i-1, min, max, dn);
	min = max;
    }
    dn = (min + table[table_len - 1]) / 2.0;
    printf("%3d %9.4lf %9.4lf %4d\n", i-1, min, table[table_len - 1], dn);
}