digraph {
color=white;
graph [ fontname="sans-serif" ];
node [ fontname="sans-serif" ];
edge [ fontname="sans-serif" ];
A_0_true [ label="", shape=octagon ];
subgraph cluster_0 {
T_0_18446744073709551615 [ shape=point, height=0.015, width=0.015 ];
A_0_true -> T_0_18446744073709551615 [ arrowhead=none, direction=forward ];
T_0_18446744073709551615 -> A_0_true;
D_0_18446744073709551615_1 [ label="C →\nTask", shape=plain ];
D_0_18446744073709551615_1 -> T_0_18446744073709551615 [ color=Black, style=dashed ];
S_0_18446744073709551615_2 [ label="Task\n→ W", shape=plain ];
T_0_18446744073709551615 -> S_0_18446744073709551615_2 [ color=Black, style=dashed ];
S_0_18446744073709551615_2 -> A_0_true [ style=invis ];
}
}