ask ask#1 "勘察员" @16:35 order=0 type="Survey"
actor actor#1 "勘察员" @16:22 order=1
ask hole#21b40fca/ask#1 "分组员" @18:36 order=3 type="Plan"
actor hole#21b40fca/actor#1 "分组员" @18:23 order=4
ask hole#7c7fc07b/ask#1 "排序员" @21:31 order=6 type="Order"
actor hole#7c7fc07b/actor#1 "排序员" @21:18 order=7
ask ask#2 "执行者" @26:21 order=8 type="string"
actor actor#2 "执行者" @26:8 order=9
fact ask-data ask#2 <- hole#21b40fca/ask#1 exact
fact ask-data ask#2 <- hole#7c7fc07b/ask#1 exact
fact ask-data hole#21b40fca/ask#1 <- ask#1 exact
fact ask-data hole#7c7fc07b/ask#1 <- hole#21b40fca/ask#1 exact
fact ask-actor ask#1 <- actor#1 exact
fact ask-actor ask#2 <- actor#2 exact
fact ask-actor hole#21b40fca/ask#1 <- hole#21b40fca/actor#1 exact
fact ask-actor hole#7c7fc07b/ask#1 <- hole#7c7fc07b/actor#1 exact
fact return <- ask#2 exact
region seq#1 seq entered
region call#1 call parent=seq#1 @17:20 entered label="决定分组" strand
region call#2 call parent=call#1 @19:23 entered label="决定顺序" strand
mark phase#1 in=seq#1
spawn actor#1 in=seq#1
issue ask#1 in=seq#1 phase=phase#1
settle ask#1 in=seq#1
mark hole#21b40fca in=seq#1
spawn hole#21b40fca/actor#1 in=seq#1>call#1
issue hole#21b40fca/ask#1 in=seq#1>call#1 phase=hole#21b40fca
settle hole#21b40fca/ask#1 in=seq#1>call#1
mark hole#7c7fc07b in=seq#1>call#1
mark phase#2 in=seq#1>call#1>call#2
spawn hole#7c7fc07b/actor#1 in=seq#1>call#1>call#2
issue hole#7c7fc07b/ask#1 in=seq#1>call#1>call#2 phase=phase#2
settle hole#7c7fc07b/ask#1 in=seq#1>call#1>call#2
jump return call#2 in=seq#1>call#1>call#2 phase=phase#2
settle hole#7c7fc07b/ask#1 in=seq#1>call#1 joins=call#2
jump return call#1 in=seq#1>call#1 phase=hole#21b40fca
settle hole#21b40fca/ask#1,hole#7c7fc07b/ask#1 in=seq#1 joins=call#1
mark phase#3 in=seq#1
spawn actor#2 in=seq#1
issue ask#2 in=seq#1 phase=phase#3
jump return seq#1 in=seq#1 phase=phase#3
phase phase#1 "摸底" @15:1
phase hole#21b40fca "决定分组" @17:20
phase hole#7c7fc07b "决定顺序" @19:23 fill=hole#21b40fca
phase phase#2 "排序" @20:5 fill=hole#7c7fc07b
phase phase#3 "执行" @25:1
