actor actor#1 "w0" @7:15 order=0
actor actor#2 "w1" @7:28 order=1
actor actor#3 "w2" @7:41 order=2
actor actor#4 "w3" @7:54 order=3
actor actor#5 "w4" @7:67 order=4
ask ask#1 "seed" @8:34 order=5 type="string"
actor actor#6 "seed" @8:20 order=6
ask ask#2 "picked" @10:26 order=7 type="string"
fact ask-data ask#2 <- ask#1 exact
fact ask-actor ask#1 <- actor#6 exact
fact ask-actor ask#2 <- actor#1 inexact
fact ask-actor ask#2 <- actor#2 inexact
fact ask-actor ask#2 <- actor#3 inexact
fact ask-actor ask#2 <- actor#4 inexact
fact ask-actor ask#2 <- actor#5 inexact
fact return <- ask#2 exact
region seq#1 seq entered
spawn actor#1 in=seq#1
spawn actor#2 in=seq#1
spawn actor#3 in=seq#1
spawn actor#4 in=seq#1
spawn actor#5 in=seq#1
spawn actor#6 in=seq#1
issue ask#1 in=seq#1 phase=unphased
settle ask#1 in=seq#1
issue ask#2 in=seq#1 phase=unphased
settle ask#2 in=seq#1
jump return seq#1 in=seq#1 phase=unphased
