awk '{  
	if ($3 == "basalt") {
	printf">\n %4.2f %4.2f\n %4.2f %4.2f\n %4.2f %4.2f\n %4.2f %4.2f\n %4.2f %4.2f\n", 0.02, -$1, 0.98, -$1, 0.98, -$2, 0.02, -$2, 0.02, -$1;
	}
	}'