/[[:digit:]]+/ {
	cals += $1;
}
function push() {
	if (cals > max1) {
		max3 = max2;
		max2 = max1;
		max1 = cals;
	} else if (cals > max2) {
		max1 = max2;
		max2 = cals;
	} else if (cals > max3) {
		max3 = cals;
	}
	cals = 0;
}
/^$/ {
	push();
}
END {
	push();
	print max1;
	print max1 + max2 + max3;
}