`define EOF 32'hFFFF_FFFF
`define STDIN 32'h8000_0000

module cat;
	integer c,i,d;
	initial begin
		c = $fgetc(`STDIN);
		i = 1;
		d = 0;
		while (c != `EOF) begin
			while ( c != 10)begin
				d = (c - 48) * i;
				i *= 2;
				c = $fgetc(`STDIN);
			end
			$write("%d", d);
			c = $fgetc(`STDIN);
		end
	end
endmodule