wolffd@0: digraph G {
wolffd@0: 	style=bold;
wolffd@0: 	subgraph cluster_outer {
wolffd@0: 		Act_1 -> Act_21;
wolffd@0: 		Act_1 -> Act_23;
wolffd@0: 		Act_25 -> Act_3;
wolffd@0: 		subgraph cluster_inner {
wolffd@0: 			label = "                          Act_2";
wolffd@0: 			{Act_21 -> Act_22 [minlen=2]; rank=same;}
wolffd@0: 			Act_22 -> Act_23;
wolffd@0: 			Act_22 -> Act_24;
wolffd@0: 			{Act_23 -> Act_24 [minlen=2]; rank=same;}
wolffd@0: 			Act_23 -> Act_25;
wolffd@0: 			Act_24 -> Act_25;
wolffd@0: 		}
wolffd@0: 	}
wolffd@0: 	Ext_1 -> Act_1;
wolffd@0: 	Act_3 -> Ext_2;
wolffd@0: 	Ext_3 -> Act_24;
wolffd@0: }