demo/digraph.lgf
changeset 742 8e68671af789