nawk '
		{ 
			print;
			if ($0 == "4VECT" ) line = 1;
			else if (line == 1) {
				line = 2;
				for ( i =0; i<$1; i++)
					printf("1 ");
				printf("\n");
			} else if (line == 2) line = 0;
		}
'
