3
M counter
P
C 1 counter 62 28 98 66 126 66 120 120  
Q
T In 1 0 1 0 1 0 7 12 19 20 40 20 80 40  
V
v
t
T Value 0 0 1 0 1 0 28 9 65 26 65 26 80 40  
V
v
t
q
c
C 2 requests 81 275 60 60 60 60 120 120  
Q
T Outs 1 0 0 0 1 0 10 9 40 20 40 20 80 40  
V
v
t
q
c
p
X
x
R
L 0 1 57 387 109 81 60 60 343 159  
Q
q
O
N 0 0 counter counter 67 5 98 66 98 66 196 132  
Q
T In 1 0 1 0 1 0 5 11 19 20 19 20 80 40  
V
v
t
T Value 0 0 1 0 1 0 25 8 65 26 65 26 80 40  
V
A 0
a
v
t
q
n
N 0 0 requests counter 5 8 60 60 60 60 120 120  
Q
T Outs 1 0 0 0 1 0 5 9 40 20 40 20 80 40  
V
v
t
q
n
o
B
D
1 2 3 1 -1
1 1 3 1 -1
d
b
G
g
l
L 1 0 237 10 196 103 60 60 196 103  
Q
T In 1 1 0 0 1 0 5 43 92 30 40 20 80 40  
V
S add
V
T X 0 0 0 0 1 0 0 1 27 26 0 0 0 0 
V
v
t
v
s
v
t
T Value 0 1 0 0 1 0 110 7 65 26 40 20 80 40  
V
T V 0 0 0 0 1 0 0 1 36 23 0 0 0 0 
V
v
t
v
t
T Value 0 0 1 0 1 0 101 41 90 34 40 20 80 40  
V
A V + X
a
v
t
q
O
o
B
b
G
g
l
L 1 0 220 134 231 99 60 60 231 99  
Q
T In 1 1 0 0 1 0 5 44 107 26 40 20 80 40  
V
S sub
V
T X 0 0 0 0 1 0 0 1 31 22 0 0 0 0 
V
v
t
v
s
v
t
T Value 0 1 0 0 1 0 25 7 65 26 40 20 80 40  
V
T V 0 0 0 0 1 0 0 1 33 23 0 0 0 0 
V
v
t
v
t
T Value 0 0 1 0 1 0 128 44 65 26 40 20 80 40  
V
A V - X
a
v
t
q
O
o
B
b
G
F  122 8 103 23 80 23 160 46  V - X > 0
f
g
l
L 1 0 446 10 231 102 60 60 231 102  
Q
T In 1 1 0 0 1 0 5 40 139 35 40 20 80 40  
V
S value
V
T X 0 0 1 0 1 0 0 1 65 31 0 0 0 0 
V
T V 0 0 0 0 1 0 0 1 32 29 0 0 0 0 
V
v
t
v
t
v
s
v
t
T Value 0 1 0 0 1 0 150 8 65 26 40 20 80 40  
V
T V 0 0 0 0 1 0 0 1 34 20 0 0 0 0 
V
v
t
v
t
T Value 0 0 1 0 1 0 150 46 65 26 40 20 80 40  
V
T V 0 0 0 0 1 0 0 1 34 20 0 0 0 0 
V
v
t
v
t
q
O
o
B
b
G
g
l
L 1 1 513 149 97 69 60 60 120 120  
Q
T In 1 1 0 1 1 0 5 13 19 20 40 20 80 40  
V
v
t
T Value 0 1 0 1 1 0 52 13 65 26 40 20 80 40  
V
v
t
q
O
o
B
b
G
g
l
L 2 1 305 275 60 60 60 60 421 75  
Q
T Outs 1 1 1 1 1 0 5 9 401 21 40 20 401 21  
V
S add
V
A 1
a
v
s
S add
V
A 1
a
v
s
S add
V
A 1
a
v
s
S value
V
T V 0 0 0 0 1 0 0 1 4 17 0 0 0 0 
V
v
t
v
s
S sub
V
A 2
a
v
s
v
t
q
O
o
B
b
G
g
l
r
m
