phase phase#1 "A" @25:1
phase phase#2 "B" @31:1
phase phase#3 "C" @39:1
lane actor#1 name-head="a-" @27:19 families=fanout#1
lane actor#2 name-head="b-" @33:19 families=fanout#2
lane actor#3 name-head="c-" @42:21 families=fanout#3
region seq#1 seq
region fanout#1 fanout parent=seq#1 @26:15 label="map"
region fanout#2 fanout parent=seq#1 @32:15 label="map"
region fanout#3 fanout parent=seq#1 @41:3 label="map"
step ask#1 ask "ask" label-head="a-" @27:35 lane=actor#1 phase=phase#1 region=fanout#1 maybe serial
step ask#2 ask "ask" label-head="b-" @33:35 lane=actor#2 phase=phase#2 region=fanout#2 maybe serial
step ask#3 ask "ask" label-head="c-" @42:37 lane=actor#3 phase=phase#3 region=fanout#3 maybe serial
edge ask#1 -> ask#1 carry 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#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
