digraph Taskflow {
rankdir="TB"
p0x7fca00803e30[label="init" ];
p0x7fca00803e30 -> p0x7fca00803f50;
p0x7fca00803f50[label="flip-coin-1" shape=diamond color=black fillcolor=aquamarine style=filled];
p0x7fca00803f50 -> p0x7fca00804070 [style=dashed label="0"];
p0x7fca00803f50 -> p0x7fca00803f50 [style=dashed label="1"];
p0x7fca00803f50 -> p0x7fca00803f50 [style=dashed label="2"];
p0x7fca00804070[label="flip-coin-2" shape=diamond color=black fillcolor=aquamarine style=filled];
p0x7fca00804070 -> p0x7fca00804190 [style=dashed label="0"];
p0x7fca00804070 -> p0x7fca00803f50 [style=dashed label="1"];
p0x7fca00804070 -> p0x7fca00803f50 [style=dashed label="2"];
p0x7fca00804190[label="flip-coin-3" shape=diamond color=black fillcolor=aquamarine style=filled];
p0x7fca00804190 -> p0x7fca008042b0 [style=dashed label="0"];
p0x7fca00804190 -> p0x7fca00803f50 [style=dashed label="1"];
p0x7fca00804190 -> p0x7fca00803f50 [style=dashed label="2"];
p0x7fca008042b0[label="flip-coin-4" shape=diamond color=black fillcolor=aquamarine style=filled];
p0x7fca008042b0 -> p0x7fca008043d0 [style=dashed label="0"];
p0x7fca008042b0 -> p0x7fca00803f50 [style=dashed label="1"];
p0x7fca008042b0 -> p0x7fca00803f50 [style=dashed label="2"];
p0x7fca008043d0[label="flip-coin-5" shape=diamond color=black fillcolor=aquamarine style=filled];
p0x7fca008043d0 -> p0x7fca008044f0 [style=dashed label="0"];
p0x7fca008043d0 -> p0x7fca00803f50 [style=dashed label="1"];
p0x7fca008043d0 -> p0x7fca00803f50 [style=dashed label="2"];
p0x7fca008044f0[label="stop" ];
}
