actor actor#1 "judge" @4:15 order=0
ask ask#1 "judge" @6:34 order=1 type="string"
ask ask#2 "s" @12:31 order=2 type="string"
actor actor#2 "s" @12:20 order=3
fact ask-data ask#1 <- ask#2 exact
fact ask-actor ask#1 <- actor#1 exact
fact ask-actor ask#2 <- actor#2 exact
fact return <- ask#1 exact
region seq#1 seq entered
region loop#1 loop parent=seq#1 @5:1 entered recursive label="even"
region call#1 call parent=loop#1 @13:19 entered label="even" strand
region choice#1 choice parent=call#1 @6:3 entered
region branch#1 branch parent=choice#1 @6:15
region loop#2 loop parent=call#1 @9:1 entered recursive label="odd"
region call#2 call parent=loop#2 @7:10 entered label="odd" strand
spawn actor#1 in=seq#1
spawn actor#2 in=seq#1
issue ask#2 in=seq#1 phase=unphased
settle ask#2 in=seq#1
issue ask#1 in=seq#1>loop#1>call#1>choice#1>branch#1 phase=unphased
settle ask#1 in=seq#1>loop#1>call#1>choice#1>branch#1
jump return call#1 in=seq#1>loop#1>call#1>choice#1>branch#1 phase=unphased
jump recur loop#1 in=seq#1>loop#1>call#1>loop#2>call#2 phase=unphased
jump return call#2 in=seq#1>loop#1>call#1>loop#2>call#2 phase=unphased
jump return call#1 in=seq#1>loop#1>call#1 phase=unphased
settle ask#1 in=seq#1 joins=call#1,call#2
jump return seq#1 in=seq#1 phase=unphased
