ask ask#1 "planner" @7:37 order=0 type="string[]"
actor actor#1 "planner" @7:20 order=1
ask ask#2 "judge" @14:27 order=2 within=fan-out#1 type="string"
actor actor#2 "judge" @14:12 order=3 within=fan-out#1
join join#1 "join" @17:32 order=4 type="string[]"
fan-out fan-out#1 "fan-out" @17:36 order=5 type="string[]"
fact ask-data ask#2 <- ask#1 exact
fact ask-data ask#2 <- fan-out#1 exact
fact ask-actor ask#1 <- actor#1 exact
fact ask-actor ask#2 <- actor#2 exact
fact join-in join#1 <- ask#1 exact
fact join-in join#1 <- ask#2 exact
fact join-in join#1 <- fan-out#1 exact
fact fan-out-in fan-out#1 <- ask#1 exact
fact return <- ask#1 exact
fact return <- join#1 exact
fact return <- ask#2 exact
fact return <- fan-out#1 exact
region seq#1 seq entered
region fanout#1 fanout parent=seq#1 @17:36 label="map"
region call#1 call parent=fanout#1 @17:53 entered label="Judge"
region call#2 call parent=fanout#1 @17:53 entered label="go"
spawn actor#1 in=seq#1
issue ask#1 in=seq#1 phase=unphased
settle ask#1 in=seq#1
spawn actor#2 in=seq#1>fanout#1>call#2
issue ask#2 in=seq#1>fanout#1>call#2 phase=unphased
jump return call#2 in=seq#1>fanout#1>call#2 phase=unphased
settle ask#2 in=seq#1
jump return seq#1 in=seq#1 phase=unphased
