#3[0] → #29 · CTRL#4[0] → #2 · ASSOC#5[0] → #2 · ASSOC#12[0] → #2 · ASSOC#13[0] → #2 · ASSOC#14[2] → #7 · MEM#14[3] → #7 · MEM#15[0] → #6 · CTRL#15[1] → #14 · MEM#15[2] → #13 · DATA#15[3] → #8 · DATA#15[4] → #12 · DATA#21[0] → #2 · ASSOC#22[0] → #2 · ASSOC#23[1] → #17 · MEM#23[2] → #16 · DATA#23[3] → #21 · DATA#23[4] → #22 · DATA#24[1] → #7 · MEM#24[2] → #17 · MEM#24[3] → #23 · MEM#29[0] → #6 · CTRL#29[1] → #24 · MEM#29[2] → #4 · DATAStart #2[ Ctrl, MemBot, int]#2 Start
[ Ctrl, MemBot, int]
[0] → — ASSOC
[1] → — CTRL
[2] → — CTRL012Stop #3#3 Stop
Bot
[0] → #29 CTRL0Con #40#4 Con
0
[0] → #2 ASSOC0Xctrl #5~Ctrl#5 Xctrl
~Ctrl
[0] → #2 ASSOC0$ctrl #6/0Ctrl#6 $ctrl
Projection 0 of #2
Ctrl
[0] → #2 CTRL$mem #7/1MemBot#7 $mem
Projection 1 of #2
MemBot
[0] → #2 MEMarg #8/2int#8 arg
Projection 2 of #2
int
[0] → #2 DATACon #1210#12 Con
10
[0] → #2 ASSOC0Con #1316#13 Con
16
[0] → #2 ASSOC0MemMerge #14MemBot#14 MemMerge
MemBot
[0] → — CTRL
[1] → — DATA
[2] → #7 MEM
[3] → #7 MEM0123new_Pair #15[ *Pair {int !x; int !y; }, MemBot]#15 new_Pair
[ *Pair {int !x; int !y; }, MemBot]
[0] → #6 CTRL
[1] → #14 MEM
[2] → #13 DATA
[3] → #8 DATA
[4] → #12 DATA01234Pair #16/0*Pair {int !x; int !y; }#16 Pair
Projection 0 of #15
*Pair {int !x; int !y; }
[0] → #15 DATA$mem #17/1MemBot#17 $mem
Projection 1 of #15
MemBot
[0] → #15 MEMCon #218#21 Con
8
[0] → #2 ASSOC0Con #2299#22 Con
99
[0] → #2 ASSOC0st_y #23MEM#3:[10-99]#23 st_y
MEM#3:[10-99]
[0] → — CTRL
[1] → #17 MEM
[2] → #16 DATA
[3] → #21 DATA
[4] → #22 DATA01234MemMerge #24MemBot#24 MemMerge
MemBot
[0] → — CTRL
[1] → #7 MEM
[2] → #17 MEM
[3] → #23 MEM0123Return #29[ Ctrl, MemBot, 0]#29 Return
[ Ctrl, MemBot, 0]
[0] → #6 CTRL
[1] → #24 MEM
[2] → #4 DATA012