graph{DiGr￿{DiGr￿{DiGr￿}}}