DirectedGraphCompressed
begin DirectedGraphCompressed