gawk ' \
	{print $0 > "tmp.dat" ; \
	if ($1 > size) size=$1; \
	if ($2 > size) size=$2} \
	END {	close("tmp.dat"); print size ; \
		while (getline < "tmp.dat" > 0) print $0 ; \
		print "0 0 0"} \
	'
