M set
P
C 1 element 20 8 60 60 
Q
T In 1 0 1 0 1 0 5 30 40 20 
V
v
t
T Value 0 0 1 0 1 0 27 5 40 20 
V
v
t
T Out 1 0 0 0 1 0 49 30 40 20 
V
v
t
q
c
C 2 set 20 239 60 60 
Q
T In 1 0 1 0 1 0 10 13 40 20 
V
v
t
q
c
C 3 empty 20 162 60 60 
Q
T In 1 0 1 0 1 0 10 13 40 20 
V
v
t
q
c
C 4 requests 220 239 60 60 
Q
T Out 1 0 0 0 1 0 10 13 40 20 
V
v
t
q
c
C 5 aSet 20 316 60 60 
Q
T In 1 0 1 0 1 0 10 13 40 20 
V
v
t
q
c
p
X
x
R
L 0 1 220 316 60 60 
Q
q
O
N 0 0 set set 67 5 60 60 
Q
T In 1 0 1 0 1 0 5 14 40 20 
V
v
t
q
n
N 0 0 requests set 5 5 60 60 
Q
T Out 1 0 0 0 1 0 5 14 40 20 
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 120 8 60 60 
Q
T In 1 1 0 0 1 0 5 46 71 28 
V
S add
V
T N 0 0 0 0 1 0 0 1 21 24 
V
v
t
v
s
v
t
T Value 0 1 0 0 1 0 77 6 71 28 
V
T V 0 0 0 0 1 0 0 1 35 26 
V
v
t
v
t
T Value 0 0 1 0 1 0 77 46 71 28 
V
T V 0 0 0 0 1 0 0 1 35 26 
V
v
t
v
t
T Out 1 1 1 0 1 0 149 46 71 28 
V
S add
V
T N 0 0 0 0 1 0 0 1 21 24 
V
v
t
v
s
v
t
q
O
o
B
b
G
F  149 6 71 28 V < N
f
g
l
L 1 0 220 8 60 60 
Q
T In 1 1 0 0 1 0 5 36 63 26 
V
S add
V
T N 0 0 0 0 1 0 0 1 7 16 
V
v
t
v
s
v
t
T Value 0 1 0 0 1 0 69 5 63 26 
V
T V 0 0 0 0 1 0 0 1 13 18 
V
v
t
v
t
T Value 0 0 1 0 1 0 69 36 63 26 
V
T N 0 0 0 0 1 0 0 1 13 18 
V
v
t
v
t
T Out 1 1 1 0 1 0 133 36 63 26 
V
S add
V
T V 0 0 0 0 1 0 0 1 7 16 
V
v
t
v
s
v
t
q
O
o
B
b
G
F  133 5 63 26 N < V
f
g
l
L 1 0 320 8 60 60 
Q
T In 1 1 0 0 1 0 5 49 66 25 
V
S add
V
T N 0 0 0 0 1 0 0 1 17 21 
V
v
t
v
s
v
t
T Value 0 1 0 0 1 0 73 8 66 25 
V
T V 0 0 0 0 1 0 0 1 29 23 
V
v
t
v
t
T Value 0 0 1 0 1 0 73 49 66 25 
V
T V 0 0 0 0 1 0 0 1 29 23 
V
v
t
v
t
T Out 1 1 1 0 1 0 141 49 66 25 
V
v
t
q
O
o
B
b
G
F  141 8 66 25 N =:= V
f
g
l
L 2 1 120 239 60 60 
Q
T In 1 1 0 0 1 0 5 25 40 20 
V
v
t
q
O
N 3 0 empty module 47 5 60 60 
Q
T In 1 0 1 0 1 0 5 6 40 20 
V
v
t
q
n
o
B
D
3 1 -1
1 1 3 1 -1
d
b
G
g
l
L 3 1 320 162 60 60 
Q
T In 1 1 0 1 1 0 10 13 40 20 
V
v
t
q
O
o
B
b
G
g
l
L 1 1 20 85 60 60 
Q
T In 1 1 0 1 1 0 5 30 40 20 
V
v
t
T Value 0 1 0 1 1 0 5 5 40 20 
V
v
t
T Out 1 1 1 1 1 0 47 30 40 20 
V
v
t
q
O
o
B
b
G
g
l
L 3 1 120 162 60 60 
Q
T In 1 1 0 0 1 0 5 20 94 35 
V
S add
V
T V 0 0 0 0 1 0 0 1 5 17 
V
v
t
v
s
v
t
q
O
N 3 0 empty module 197 5 94 65 
Q
T In 1 0 1 0 1 0 5 14 40 20 
V
v
t
q
n
N 1 0 element module 101 5 94 65 
Q
T In 1 0 1 0 1 0 5 30 40 20 
V
v
t
T Value 0 0 1 1 1 0 27 5 40 20 
V
T V 0 0 0 0 1 0 0 1 7 15 
V
v
t
v
t
T Out 1 0 0 0 1 0 49 30 40 20 
V
v
t
q
n
o
B
D
1 2 3 3 -1
1 1 3 1 -1
d
D
3 1 -1
1 2 3 1 -1
d
b
G
g
l
L 4 1 320 239 60 60 
Q
T Out 1 1 1 1 1 0 5 5 338 44 
V
S add
V
A 4
a
v
s
S add
V
A 2
a
v
s
S has
V
A 2
a
T R 0 0 0 0 1 0 5 1 4 33 
V
v
t
v
s
S add
V
A 1
a
v
s
v
t
q
O
o
B
b
G
g
l
L 5 1 120 316 60 60 
Q
T In 1 1 0 0 1 0 5 30 40 20 
V
v
t
q
O
N 1 0 element module 47 5 70 70 
Q
T In 1 0 1 0 1 0 5 31 40 20 
V
v
t
T Value 0 0 1 1 1 0 27 5 40 20 
V
A 1
a
v
t
T Out 1 0 0 0 1 0 49 31 40 20 
V
v
t
q
n
N 1 0 element module 119 5 70 70 
Q
T In 1 0 1 0 1 0 5 31 40 20 
V
v
t
T Value 0 0 1 1 1 0 27 5 40 20 
V
A 2
a
v
t
T Out 1 0 0 0 1 0 49 31 40 20 
V
v
t
q
n
N 1 0 element module 191 5 70 70 
Q
T In 1 0 1 0 1 0 5 31 40 20 
V
v
t
T Value 0 0 1 1 1 0 27 5 40 20 
V
A 3
a
v
t
T Out 1 0 0 0 1 0 49 31 40 20 
V
v
t
q
n
N 3 0 empty module 263 10 60 60 
Q
T In 1 0 1 0 1 0 5 13 40 20 
V
v
t
q
n
o
B
D
3 1 -1
1 1 3 1 -1
d
D
1 1 3 3 -1
1 2 3 1 -1
d
D
1 2 3 3 -1
1 3 3 1 -1
d
D
1 3 3 3 -1
1 4 3 1 -1
d
b
G
g
l
L 1 0 120 85 60 60 
Q
T In 1 1 0 0 1 0 5 41 125 28 
V
S has
V
T N 0 0 0 0 1 0 0 1 23 24 
V
v
t
T R 0 0 1 0 1 0 24 1 47 24 
V
S true
V
v
s
v
t
v
s
v
t
T Value 0 1 0 0 1 0 134 7 64 22 
V
T V 0 0 0 0 1 0 0 1 31 20 
V
v
t
v
t
T Value 0 0 1 0 1 0 134 44 64 22 
V
T V 0 0 0 0 1 0 0 1 31 20 
V
v
t
v
t
T Out 1 1 1 0 1 0 210 44 64 22 
V
v
t
q
O
o
B
b
G
F  210 7 64 22 V =:= N
f
g
l
L 1 0 220 85 60 60 
Q
T In 1 1 0 0 1 0 7 53 83 29 
V
S has
V
T N 0 0 0 0 1 0 0 1 15 25 
V
v
t
T R 0 0 1 0 1 0 16 1 31 25 
V
T R1 0 0 1 0 1 0 0 1 15 23 
V
v
t
v
t
v
s
v
t
T Value 0 1 0 0 1 0 103 8 83 29 
V
T V 0 0 0 0 1 0 0 1 41 27 
V
v
t
v
t
T Value 0 0 1 0 1 0 103 53 83 29 
V
T V 0 0 0 0 1 0 0 1 41 27 
V
v
t
v
t
T Out 1 1 1 0 1 0 199 53 83 29 
V
S has
V
T N 0 0 0 0 1 0 0 1 19 25 
V
v
t
T R1 0 0 0 0 1 0 20 1 19 25 
V
v
t
v
s
v
t
q
O
o
B
b
G
F  199 8 83 29 V =\= N
f
g
l
L 3 0 220 162 60 60 
Q
T In 1 1 0 0 1 0 5 7 163 33 
V
S has
V
T N 0 0 0 0 1 0 0 1 9 29 
V
v
t
T R 0 0 1 0 1 0 10 1 20 29 
V
S false
V
v
s
v
t
v
s
v
t
q
O
o
B
b
G
g
l
r
m
