#3[0] → #30 · CTRL#8[1] → #1 · CTRL#8[2] → #27 · CTRL#11[1] → #6 · DATA#11[2] → #28 · DATA#12[1] → #7 · DATA#12[2] → #29 · DATA#14[1] → #11 · DATA#14[2] → #13 · DATA#15[0] → #8 · CTRL#15[1] → #14 · DATA#20[1] → #11 · DATA#20[2] → #19 · DATA#21[0] → #4 · CTRL#21[1] → #20 · DATA#27[1] → #9 · CTRL#27[2] → #10 · CTRL#28[1] → #25 · DATA#28[2] → #11 · DATA#29[1] → #12 · DATA#29[2] → #26 · DATA#30[0] → #5 · CTRL#30[1] → #12 · DATA$ctrl #1/0#1 $ctrl
Projection 0 of #2
Type not computed
[0] → #2 CTRLStart #2#2 Start
Type not computed
Stop #3#3 Stop
Type not computed
[0] → #30 CTRL0True #4/0#4 True
Projection 0 of #15
Type not computed
[0] → #15 CTRLFalse #5/1#5 False
Projection 1 of #15
Type not computed
[0] → #15 CTRL1 #6#6 1
Type not computed
2 #7#7 2
Type not computed
Loop #8#8 Loop
Type not computed
[0] → — DATA
[1] → #1 CTRL
[2] → #27 CTRL012True #9/0#9 True
Projection 0 of #21
Type not computed
[0] → #21 CTRLFalse #10/1#10 False
Projection 1 of #21
Type not computed
[0] → #21 CTRLφ_a #11#11 φ_a
Type not computed
[0] → #8 ASSOC
[1] → #6 DATA
[2] → #28 DATA[0] → #8012φ_b #12#12 φ_b
Type not computed
[0] → #8 ASSOC
[1] → #7 DATA
[2] → #29 DATA[0] → #801210 #13#13 10
Type not computed
< #14#14 <
Type not computed
[0] → — DATA
[1] → #11 DATA
[2] → #13 DATA012If #15#15 If
Type not computed
[0] → #8 CTRL
[1] → #14 DATA012 #19#19 2
Type not computed
== #20#20 ==
Type not computed
[0] → — DATA
[1] → #11 DATA
[2] → #19 DATA012If #21#21 If
Type not computed
[0] → #4 CTRL
[1] → #20 DATA013 #25#25 3
Type not computed
4 #26#26 4
Type not computed
Region #27#27 Region
Type not computed
[0] → — DATA
[1] → #9 CTRL
[2] → #10 CTRL012φ_a #28#28 φ_a
Type not computed
[0] → #27 ASSOC
[1] → #25 DATA
[2] → #11 DATA[0] → #27012φ_b #29#29 φ_b
Type not computed
[0] → #27 ASSOC
[1] → #12 DATA
[2] → #26 DATA[0] → #27012Return #30#30 Return
Type not computed
[0] → #5 CTRL
[1] → #12 DATA01Loop #8Loop · 14 nodes−Fold regionIf #21If · 7 nodes−Fold region