phase phase#1 "A" @16:1
phase phase#2 "B" @23:1
phase phase#3 "C" @30:1
lane actor#1 name-head="a-" @18:19 families=fanout#1
lane actor#2 name-head="b-" @25:19 families=fanout#2
lane actor#3 name-head="c-" @33:21 families=fanout#3
region seq#1 seq
region fanout#1 fanout parent=seq#1 @17:15 label="map"
region fanout#2 fanout parent=seq#1 @24:15 label="map"
region fanout#3 fanout parent=seq#1 @32:3 label="map"
step ask#1 ask "ask" label-head="a-" @18:35 lane=actor#1 phase=phase#1 region=fanout#1 maybe serial
step ask#2 ask "ask" label-head="b-" @25:35 lane=actor#2 phase=phase#2 region=fanout#2 maybe serial
step ask#3 ask "ask" label-head="c-" @33:37 lane=actor#3 phase=phase#3 region=fanout#3 maybe serial
edge ask#1 -> ask#1 carry maybe
edge ask#1 -> ask#2 seq maybe
edge ask#1 -> ask#3 data maybe exact
edge ask#2 -> ask#2 carry maybe
edge ask#2 -> ask#3 data maybe exact
edge ask#3 -> ask#3 carry maybe
phase-edge phase#1 -> phase#1 carry maybe
phase-edge phase#1 -> phase#2 seq maybe
phase-edge phase#1 -> phase#3 data maybe
phase-edge phase#2 -> phase#2 carry maybe
phase-edge phase#2 -> phase#3 data maybe
phase-edge phase#3 -> phase#3 carry maybe
sink ask#3
