concatenation of graphs