0 KLIEG Ver. 3.3
M node  19 547 123 34 123 34 927 1033  
P
C 1 node 5 5 88 89 88 89 135 151  
Q
T Paren 1 0 0 0 1 0 5 5 40 20 40 20 40 20  
V
v
t
T Ins 1 0 1 0 1 0 5 71 40 20 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 5 27 40 20 40 20 40 20  
V
v
t
T State 1 0 1 0 1 0 5 49 40 20 40 20 40 20  
V
v
t
T Impl 1 0 0 0 1 0 50 49 40 20 40 20 40 20  
V
v
t
q
c
C 2 eq_check 162 145 94 82 94 82 148 139  
Q
T Paren 1 0 0 0 1 0 5 5 40 20 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 5 27 40 20 40 20 40 20  
V
v
t
T Result 0 0 1 0 1 0 50 5 40 20 40 20 40 20  
V
v
t
T Ans 0 0 0 0 1 0 5 49 40 20 40 20 40 20  
V
v
t
T State 0 0 1 0 1 0 50 27 40 20 40 20 40 20  
V
v
t
q
c
C 3 exist_chk 264 233 83 81 83 81 233 215  
Q
T Ins 1 0 1 0 1 0 5 30 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 49 30 40 20 40 20 40 20  
V
v
t
T Node 1 0 0 0 1 0 27 5 40 20 40 20 40 20  
V
v
t
q
c
C 4 filter 275 319 60 60 60 60 60 60  
Q
T Outs 1 0 0 0 1 0 47 8 40 20 40 20 40 20  
V
v
t
T Ins 1 0 1 0 1 0 5 8 40 20 40 20 40 20  
V
v
t
q
c
C 5 equal_filter 159 232 100 83 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 5 30 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 49 30 40 20 40 20 40 20  
V
v
t
T Node 1 0 0 0 1 0 27 5 40 20 40 20 40 20  
V
v
t
q
c
p
X
x
R
L 0 1 19 379 60 60 60 60 552 338  
Q
q
O
N 0 0 node node 5 5 175 119 175 119 175 119  
Q
T Paren 1 0 0 0 1 0 75 8 60 20 40 20 40 20  
V
v
t
T Ins 1 0 1 1 1 0 43 82 125 20 40 20 40 20  
V
S is_goal
V
T Out 0 0 0 0 1 0 0 1 7 12 0 0 0 0  
V
v
t
v
s
S extend
V
T Outs 1 0 0 0 1 0 0 1 7 12 0 0 0 0  
V
v
t
v
s
v
t
T Depth 0 0 1 0 1 0 5 45 40 20 40 20 40 20  
V
A 0
a
v
t
T State 1 0 1 1 1 0 47 39 116 33 40 20 40 20  
V
S mc
V
A 3
a
A 3
a
A 1
a
v
s
v
t
T Impl 1 0 0 0 1 0 165 45 49 20 40 20 40 20  
V
v
t
q
n
N 0 0 m_and_c missionaries_cannibals 181 22 145 85 145 85 145 85  
Q
T Nm 0 0 1 0 1 0 5 9 40 20 40 20 40 20  
V
A 3
a
v
t
T Nc 0 0 1 0 1 0 52 9 40 20 40 20 40 20  
V
A 3
a
v
t
T Bcapa 0 0 1 0 1 0 99 9 40 20 40 20 40 20  
V
A 2
a
v
t
T Ins 1 0 1 0 1 0 52 47 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
1 1 3 5 -1
1 2 3 4 -1
d
b
G
g
l
L 1 1 99 165 60 43 60 43 335 291  
Q
T Paren 1 1 1 0 1 0 345 124 60 20 40 20 40 20  
V
v
t
T Ins 1 1 0 0 1 0 81 249 200 22 40 20 40 20  
V
S exist
V
T St 0 0 0 0 1 0 0 1 8 2 0 0 0 0  
V
v
t
T Ans 0 0 1 0 1 0 7 1 8 2 0 0 0 0  
V
v
t
v
s
v
t
T Depth 0 1 0 0 1 0 60 124 39 21 39 21 79 21  
V
T D 0 0 0 0 1 0 0 1 3 4 0 0 0 0  
V
v
t
v
t
T State 1 1 0 1 1 0 5 248 72 24 72 24 93 24  
V
T Sn 0 0 0 0 1 0 0 1 7 4 0 0 0 0  
V
v
t
v
t
T Impl 1 1 1 0 1 0 467 249 128 23 49 20 49 20  
V
S equal
V
T St 0 0 0 0 1 0 0 1 4 2 0 0 0 0  
V
v
t
T Sn 0 0 0 0 1 0 4 1 4 2 0 0 0 0  
V
v
t
T A 0 0 0 0 1 0 8 1 4 2 0 0 0 0  
V
v
t
v
s
v
t
q
O
N 1 0 node module 193 5 181 115 181 115 181 115  
Q
T Paren 1 0 0 0 1 0 5 5 88 20 48 20 48 20  
V
v
t
T Ins 1 0 1 0 1 0 5 77 88 20 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 5 27 88 20 40 20 40 20  
V
T D 0 0 0 0 1 0 0 1 5 4 0 0 0 0  
V
v
t
v
t
T State 1 0 1 1 1 0 5 52 88 20 48 19 55 33  
V
T Sn 0 0 0 0 1 0 0 1 11 9 0 0 0 0  
V
v
t
v
t
T Impl 1 0 0 0 1 0 95 52 49 20 49 20 49 20  
V
v
t
q
n
N 2 0 eq_check module 377 149 153 94 39 31 148 139  
Q
T Paren 1 0 0 0 1 0 11 5 55 20 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 6 33 64 20 58 20 58 20  
V
T D 0 0 0 0 1 0 0 1 12 7 0 0 0 0  
V
v
t
v
t
T Result 0 0 1 0 1 0 87 5 55 20 40 20 40 20  
V
v
t
T Ans 0 0 0 0 1 0 11 61 55 20 40 20 40 20  
V
v
t
T State 0 0 1 0 1 0 82 33 64 20 40 20 40 20  
V
T St 0 0 0 0 1 0 0 1 12 7 0 0 0 0  
V
v
t
v
t
q
n
o
B
D
1 1 3 1 -1
3 1 -1
d
D
3 2 -1
1 1 3 2 -1
d
D
1 1 3 5 -1
3 5 -1
d
D
3 5 4 1 4 3 -1
1 2 3 3 -1
d
D
1 2 3 4 -1
3 2 4 1 4 2 -1
d
D
1 2 3 1 -1
3 1 -1
d
b
G
g
l
L 2 1 275 165 60 43 60 43 160 272  
Q
T Paren 1 1 1 1 1 0 5 43 40 20 40 20 40 20  
V
v
t
T Depth 0 1 0 0 1 0 5 21 40 20 40 20 40 20  
V
v
t
T Result 0 1 0 0 1 0 64 5 62 24 62 24 78 24  
V
S true
V
v
s
v
t
T Ans 0 1 1 0 1 0 27 68 66 22 40 20 40 20  
V
S true
V
v
s
v
t
T State 0 1 0 0 1 0 5 95 40 20 40 20 40 20  
V
v
t
q
O
o
B
b
G
g
l
L 2 1 351 165 60 43 60 43 188 268  
Q
T Paren 1 1 1 1 1 0 51 55 40 20 40 20 40 20  
V
v
t
T Depth 0 1 0 0 1 0 5 30 64 21 40 20 40 20  
V
A 0
a
v
t
T Result 0 1 0 0 1 0 140 30 78 20 40 20 40 20  
V
S false
V
v
s
v
t
T Ans 0 1 1 0 1 0 93 5 85 20 40 20 40 20  
V
S false
V
v
s
v
t
T State 0 1 0 0 1 0 51 5 40 20 40 20 40 20  
V
v
t
q
O
o
B
b
G
g
l
L 2 1 413 165 60 43 60 43 197 269  
Q
T Paren 1 1 1 1 1 0 5 5 120 24 40 20 40 20  
V
S exist
V
T St 0 0 1 0 1 0 0 1 7 5 0 0 0 0  
V
v
t
T R 0 0 0 0 1 0 5 1 7 5 0 0 0 0  
V
v
t
v
s
v
t
T Depth 0 1 0 0 1 0 79 51 97 26 40 20 40 20  
V
T D 0 0 0 0 1 0 0 1 12 8 0 0 0 0  
V
v
t
v
t
T Result 0 1 0 0 1 0 220 69 81 20 40 20 40 20  
V
S false
V
v
s
v
t
T Ans 0 1 1 0 1 0 282 39 40 20 40 20 40 20  
V
v
t
T State 0 1 0 0 1 0 138 19 79 28 40 20 40 20  
V
v
t
q
O
o
B
D
3 5 -1
3 1 4 1 4 1 -1
d
D
3 1 4 1 4 2 -1
3 4 -1
d
b
G
F  180 94 76 20 60 20 60 20  0 < D
f
g
l
L 1 1 99 252 60 43 60 43 1489 1016  
Q
T Paren 1 1 1 0 1 0 469 8 288 16 60 20 60 20  
V
v
t
T Ins 1 1 0 0 1 0 469 384 289 10 289 10 321 29  
V
S extend
V
T Ns 1 0 1 0 1 0 0 1 8 -2 0 0 0 0  
V
v
t
v
s
v
t
T Depth 0 1 0 0 1 0 5 199 91 17 91 17 91 33  
V
T D 0 0 0 0 1 0 0 1 2 0 0 0 0 0  
V
v
t
v
t
T State 1 1 0 1 1 0 5 8 91 17 91 17 120 33  
V
T S 0 0 0 0 1 0 0 1 5 -1 0 0 0 0  
V
v
t
v
t
T Impl 1 1 1 0 1 0 1049 5 254 23 152 23 152 23  
V
S extend
V
T S 0 0 0 0 1 0 0 1 5 -1 0 0 0 0  
V
v
t
T Nexts 1 0 0 0 1 0 10 1 5 -1 0 0 0 0  
V
v
t
v
s
v
t
q
O
E 1 children 0  0 52 220 1122 163 1122 163 1122 234  
 86 27 362 110 220 110 220 110  Q
T MapIn 1 1 0 0 0 1 453 5 97 21 58 21 131 24  
V
T NS 0 0 0 0 1 0 0 1 9 6 0 0 0 0  
V
v
t
T NS 0 0 0 0 1 0 6 1 9 6 0 0 0 0  
V
v
t
T NS 0 0 0 0 1 0 12 1 9 6 0 0 0 0  
V
v
t
v
t
T Paren 1 1 1 0 1 4 231 5 72 21 72 21 114 21  
V
v
t
T MapOut 1 1 1 0 0 1 103 139 329 18 130 18 200 18  
V
S node
V
A D+1
a
T Ctrl 1 0 0 0 1 0 9 1 18 5 0 0 0 0  
V
v
t
v
s
S node
V
A D+1
a
T Ctrl 1 0 0 0 1 0 9 1 18 5 0 0 0 0  
V
v
t
v
s
S node
V
A D+1
a
T Ctrl 1 0 0 0 1 0 9 1 18 5 0 0 0 0  
V
v
t
v
s
v
t
T Impl 1 1 1 0 1 4 472 72 58 20 58 20 58 21  
V
v
t
T Depth 0 1 0 0 1 3 5 5 76 21 76 21 85 23  
V
T D 0 0 0 0 1 0 0 1 9 3 0 0 0 0  
V
v
t
v
t
q
H
I hole 5 6 106 61 106 61 106 61  
Q
q
#
!
Z
z
O
o
i
I hole 113 6 106 61 106 61 106 61  
Q
q
#
!
Z
z
O
o
i
I hole 273 5 106 62 106 62 106 62  
Q
q
#
!
Z
z
O
o
i
h
O
N 0 1 node node 5 6 106 61 106 61 106 61  
Q
T Paren 1 0 0 0 1 0 5 5 55 17 41 17 40 20  
V
v
t
T Ins 1 0 1 0 1 0 5 59 55 17 41 17 40 20  
V
v
t
T Depth 0 0 1 0 1 0 5 23 55 17 41 17 62 20  
V
A D+1
a
v
t
T State 1 0 1 1 1 0 5 41 55 17 41 17 62 19  
V
T NS 0 0 0 0 1 0 0 1 11 13 0 0 0 0  
V
v
t
v
t
T Impl 1 0 0 0 1 0 64 39 49 20 40 20 40 20  
V
v
t
q
n
N 0 2 node node 113 6 106 61 106 61 106 61  
Q
T Paren 1 0 0 0 1 0 5 5 55 18 40 20 40 20  
V
v
t
T Ins 1 0 1 0 1 0 5 65 55 18 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 5 25 55 18 40 20 40 20  
V
A D+1
a
v
t
T State 1 0 1 1 1 0 5 45 55 19 40 19 40 20  
V
T NS 0 0 0 0 1 0 0 1 11 13 0 0 0 0  
V
v
t
v
t
T Impl 1 0 0 0 1 0 64 44 49 20 40 20 40 20  
V
v
t
q
n
N 0 3 node node 273 5 106 62 106 62 106 62  
Q
T Paren 1 0 0 0 1 0 5 5 55 18 40 20 40 20  
V
v
t
T Ins 1 0 1 0 1 0 5 65 55 18 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 5 25 55 18 40 20 40 20  
V
A D+1
a
v
t
T State 1 0 1 1 1 0 5 45 55 19 40 19 40 20  
V
T NS 0 0 0 0 1 0 0 1 11 13 0 0 0 0  
V
v
t
v
t
T Impl 1 0 0 0 1 0 64 44 49 20 40 20 40 20  
V
v
t
q
n
o
B
D
1 1 3 1 -1
3 2 -1
d
D
1 2 3 1 -1
3 2 -1
d
D
1 3 3 1 -1
3 2 -1
d
D
3 3 4 1 4 2 -1
1 1 3 2 -1
d
D
3 3 4 2 4 2 -1
1 2 3 2 -1
d
D
3 3 4 3 4 2 -1
1 3 3 2 -1
d
D
1 1 3 5 -1
3 4 -1
d
D
1 2 3 5 -1
3 4 -1
d
D
1 3 3 5 -1
3 4 -1
d
b
#
!
Z
z
e
E 0 parent 0  0 53 32 1121 163 1121 163 1123 236  
Q
T Paren 1 1 1 0 1 6 47 5 94 20 40 20 40 20  
V
v
t
T Nexts 1 1 0 0 0 6 228 5 40 20 40 20 40 20  
V
v
t
T Children 1 1 0 0 1 6 48 123 93 20 40 20 40 20  
V
v
t
T Ns 1 1 1 0 1 6 170 123 40 20 40 20 40 20  
V
v
t
T Impl 1 1 1 0 1 6 154 5 73 20 40 20 40 20  
V
v
t
T Depth 0 1 0 0 1 5 5 123 40 20 40 20 40 20  
V
T D 0 0 0 0 1 0 0 1 19 11 0 0 0 0  
V
v
t
v
t
T Status 0 1 0 0 1 5 5 5 40 20 40 20 40 20  
V
T S 0 0 0 0 1 0 0 1 8 0 0 0 0 0  
V
v
t
v
t
q
H
I hole 50 30 88 89 88 89 88 89  
Q
q
#
!
Z
z
O
o
i
I hole1 140 33 100 83 100 83 100 83  
Q
q
#
!
Z
z
O
o
i
h
O
N 0 1 node node 50 30 88 89 88 89 88 89  
Q
T Paren 1 0 0 0 1 0 5 5 40 20 40 20 40 20  
V
v
t
T Ins 1 0 1 0 1 0 5 71 40 20 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 5 27 40 20 40 20 40 20  
V
T D 0 0 0 0 1 0 0 1 18 5 0 0 0 0  
V
v
t
v
t
T State 1 0 1 1 1 0 5 49 40 20 40 20 40 20  
V
T S 0 0 0 0 1 0 0 1 8 0 0 0 0 0  
V
v
t
v
t
T Impl 1 0 0 0 1 0 50 5 40 20 40 20 40 20  
V
v
t
q
n
N 0 2 equal_filter node 140 33 100 83 100 83 100 83  
Q
T Ins 1 0 1 0 1 0 50 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 50 29 40 20 40 20 40 20  
V
v
t
T Node 1 0 0 0 0 0 5 17 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
1 1 3 1 -1
3 1 -1
d
D
3 3 -1
1 1 3 2 -1
d
D
3 2 -1
1 2 3 1 -1
d
D
1 2 3 2 -1
3 4 -1
d
D
1 2 3 3 -1
1 1 3 2 -1
d
D
1 1 3 5 -1
3 5 -1
d
b
#
!
Z
z
e
o
B
D
1 1 3 3 -1
3 2 4 1 4 1 -1
d
D
1 1 3 4 -1
3 5 -1
d
D
3 3 4 1 -1
1 1 3 5 -1
d
D
1 2 3 1 -1
3 1 -1
d
D
1 1 3 2 -1
1 2 3 3 -1
d
D
1 2 3 4 -1
1 1 3 1 -1
d
D
3 5 4 1 4 2 -1
1 2 3 2 -1
d
D
1 2 3 5 -1
3 5 -1
d
D
3 3 4 1 -1
1 2 3 6 -1
d
D
3 4 4 1 -1
1 2 3 7 -1
d
b
G
g
l
L 1 1 19 98 60 43 60 43 97 121  
Q
T Paren 1 1 1 1 1 0 5 94 48 20 48 20 48 20  
V
v
t
T Ins 1 1 0 1 1 0 5 72 48 20 40 20 40 20  
V
v
t
T Depth 0 1 0 0 1 0 5 50 48 20 40 20 40 20  
V
v
t
T State 1 1 0 0 1 0 5 30 48 19 48 19 48 19  
V
v
t
T Impl 1 1 1 1 1 0 31 5 49 20 49 20 49 20  
V
v
t
q
O
o
B
b
G
g
l
L 4 1 275 381 60 43 60 43 111 119  
Q
T Outs 1 1 1 1 1 0 41 7 34 20 34 20 67 20  
V
v
t
T Ins 1 1 0 1 1 0 5 7 34 20 34 20 66 20  
V
v
t
q
O
o
B
b
G
g
l
L 3 1 413 252 60 43 60 43 60 60  
Q
T Ins 1 1 0 1 1 0 5 5 40 20 40 20 40 20  
V
v
t
T Outs 1 1 1 1 1 0 5 30 40 20 40 20 40 20  
V
v
t
T Node 1 1 1 1 1 0 47 5 40 20 40 20 40 20  
V
v
t
q
O
o
B
b
G
g
l
L 1 1 98 328 60 43 60 43 351 298  
Q
T Paren 1 1 1 0 1 0 5 197 40 20 40 20 40 20  
V
v
t
T Ins 1 1 0 0 1 0 27 5 201 20 112 20 112 20  
V
S is_goal
V
T R 0 0 1 0 1 0 0 1 6 -1 0 0 0 0  
V
v
t
v
s
v
t
T Depth 0 1 0 0 1 0 5 30 40 20 40 20 40 20  
V
v
t
T State 1 1 0 1 1 0 255 197 87 20 40 20 40 20  
V
T S 0 0 0 0 1 0 0 1 4 1 0 0 0 0  
V
v
t
v
t
T Impl 1 1 1 0 1 0 343 197 198 20 105 20 105 20  
V
S is_goal
V
T S 0 0 0 0 1 0 0 1 5 -1 0 0 0 0  
V
v
t
T Re 0 0 0 0 1 0 5 1 5 -1 0 0 0 0  
V
v
t
v
s
v
t
q
O
N 1 0 node module 162 42 135 151 135 151 135 151  
Q
T Paren 1 0 0 0 1 0 5 7 86 20 40 20 40 20  
V
v
t
T Ins 1 0 1 0 1 0 5 115 86 20 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 5 43 86 20 40 20 40 20  
V
v
t
T State 1 0 1 1 1 0 5 79 86 20 40 20 40 20  
V
T S 0 0 0 0 1 0 0 1 15 5 0 0 0 0  
V
v
t
v
t
T Impl 1 0 0 0 1 0 93 79 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
1 1 3 1 -1
3 1 -1
d
D
3 3 -1
1 1 3 3 -1
d
D
3 2 -1
1 1 3 2 -1
d
D
3 5 4 1 4 2 -1
3 2 4 1 4 1 -1
d
D
1 1 3 5 -1
3 5 -1
d
b
G
g
l
L 3 0 351 252 60 43 60 43 270 148  
Q
T Ins 1 1 0 0 1 0 5 30 72 20 40 20 40 20  
V
T S 0 0 0 0 1 0 0 1 13 13 0 0 0 0  
V
v
t
v
t
T Outs 1 1 1 0 1 0 79 30 181 20 181 20 228 20  
V
S exist
V
T S 0 0 0 0 1 0 0 1 15 11 0 0 0 0  
V
v
t
T R 0 0 0 0 1 0 9 1 15 11 0 0 0 0  
V
v
t
v
s
v
t
T Node 1 1 1 0 1 0 79 5 181 20 181 20 229 20  
V
S exist
V
T S 0 0 0 0 1 0 0 1 15 11 0 0 0 0  
V
v
t
T R 0 0 0 0 1 0 9 1 15 11 0 0 0 0  
V
v
t
v
s
v
t
q
O
o
B
b
G
g
l
L 4 0 351 328 60 43 60 43 268 132  
Q
T Outs 1 1 1 0 1 0 161 7 72 20 40 20 40 20  
V
T S 0 0 0 0 1 0 0 1 14 18 0 0 0 0  
V
v
t
v
t
T Ins 1 1 0 0 1 0 5 7 155 20 40 20 40 20  
V
S exist
V
T S 0 0 0 0 1 0 0 1 14 16 0 0 0 0  
V
v
t
S false
V
v
s
v
s
v
t
q
O
o
B
b
G
g
l
L 4 0 351 381 60 43 60 43 279 63  
Q
T Outs 1 1 1 0 1 0 171 7 40 20 40 20 40 20  
V
v
t
T Ins 1 1 0 0 1 0 5 7 164 20 40 20 40 20  
V
S exist
V
T S 0 0 0 0 1 0 0 1 9 16 0 0 0 0  
V
v
t
S true
V
v
s
v
s
v
t
q
O
o
B
b
G
g
l
L 5 1 179 328 60 43 60 43 257 161  
Q
T Ins 1 1 0 0 1 0 5 147 40 20 40 20 40 20  
V
v
t
T Outs 1 1 1 0 1 0 155 147 40 20 40 20 40 20  
V
v
t
T Node 1 1 1 0 1 0 91 5 40 20 40 20 40 20  
V
v
t
q
O
N 3 0 exist_chk module 27 30 83 81 83 81 233 215  
Q
T Ins 1 0 1 0 1 0 5 44 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 49 44 40 20 40 20 40 20  
V
v
t
T Node 1 0 0 0 1 0 27 8 40 20 40 20 40 20  
V
v
t
q
n
N 4 0 filter module 113 82 60 60 60 60 60 60  
Q
T Outs 1 0 0 0 1 0 47 16 40 20 40 20 40 20  
V
v
t
T Ins 1 0 1 0 1 0 5 16 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
1 1 3 3 -1
3 3 -1
d
D
3 1 -1
1 1 3 1 -1
d
D
1 1 3 2 -1
1 2 3 2 -1
d
D
1 2 3 1 -1
3 2 -1
d
b
G
g
l
L 1 1 98 28 60 43 60 43 273 216  
Q
T Paren 1 1 1 0 1 0 135 157 40 20 40 20 40 20  
V
v
t
T Ins 1 1 0 0 1 0 5 27 40 20 40 20 40 20  
V
v
t
T Depth 0 1 0 0 1 0 5 157 40 20 40 20 40 20  
V
v
t
T State 1 1 0 1 1 0 5 5 40 20 40 20 40 20  
V
v
t
T Impl 1 1 1 0 1 0 157 5 73 20 40 20 40 20  
V
S init
V
T S 0 0 0 0 1 0 0 1 8 3 0 0 0 0  
V
v
t
v
s
v
t
q
O
N 1 0 node module 27 52 127 100 88 89 135 151  
Q
T Paren 1 0 0 0 1 0 17 5 40 20 40 20 40 20  
V
v
t
T Ins 1 0 1 0 1 0 17 71 40 20 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 17 27 40 20 40 20 40 20  
V
v
t
T State 1 0 1 1 1 0 5 49 65 20 40 20 40 20  
V
T S 0 0 0 0 1 0 0 1 13 4 0 0 0 0  
V
v
t
v
t
T Impl 1 0 0 0 1 0 78 49 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
1 1 3 1 -1
3 1 -1
d
D
3 3 -1
1 1 3 3 -1
d
D
1 1 3 5 -1
3 5 -1
d
D
3 2 -1
1 1 3 2 -1
d
b
G
g
l
L 1 1 180 98 59 43 59 43 248 174  
Q
T Paren 1 1 1 0 1 0 213 5 40 20 40 20 40 20  
V
v
t
T Ins 1 1 0 0 1 0 27 135 159 20 40 20 40 20  
V
S path
V
T Tail 1 0 0 0 1 0 0 1 7 1 0 0 0 0  
V
v
t
T R 1 0 1 0 1 0 6 1 15 1 0 0 0 0  
V
T S 0 0 0 0 1 0 0 1 7 -1 0 0 0 0  
V
v
t
v
t
v
s
v
t
T Depth 0 1 0 0 1 0 5 5 40 20 40 20 40 20  
V
A 0
a
v
t
T State 1 1 0 1 1 0 5 110 40 20 40 20 40 20  
V
T S 0 0 0 0 1 0 0 1 4 3 0 0 0 0  
V
v
t
v
t
T Impl 1 1 1 0 1 0 235 110 40 20 40 20 40 20  
V
v
t
q
O
N 1 0 node module 143 30 88 89 88 89 135 151  
Q
T Paren 1 0 0 0 1 0 5 5 40 20 40 20 40 20  
V
v
t
T Ins 1 0 1 0 1 0 5 77 40 20 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 5 27 40 20 40 20 40 20  
V
A 0
a
v
t
T State 1 0 1 1 1 0 5 52 40 20 40 20 40 20  
V
T S 0 0 0 0 1 0 0 1 12 6 0 0 0 0  
V
v
t
v
t
T Impl 1 0 0 0 1 0 47 52 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
1 1 3 1 -1
3 1 -1
d
D
1 1 3 5 -1
3 5 -1
d
D
3 2 -1
1 1 3 2 -1
d
D
3 2 4 1 4 1 -1
3 2 4 1 4 2 -1
d
b
G
g
l
L 1 1 99 98 59 43 59 43 276 190  
Q
T Paren 1 1 1 0 1 0 235 5 173 20 40 20 40 20  
V
S path
V
T Tail 1 0 0 0 1 0 0 1 55 16 0 0 0 0  
V
T S 0 0 0 0 1 0 0 1 27 14 0 0 0 0  
V
v
t
v
t
T R 1 0 0 0 1 0 9 1 27 16 0 0 0 0  
V
v
t
v
s
v
t
T Ins 1 1 0 0 1 0 119 135 200 20 40 20 40 20  
V
S path
V
T Tail 1 0 0 0 1 0 0 1 38 16 0 0 0 0  
V
v
t
T R 1 0 1 0 1 0 7 1 38 16 0 0 0 0  
V
v
t
v
s
v
t
T Depth 0 1 0 0 1 0 5 5 40 20 40 20 40 20  
V
T D 0 0 0 0 1 0 0 1 16 18 0 0 0 0  
V
v
t
v
t
T State 1 1 0 1 1 0 5 123 40 20 40 20 40 20  
V
T S 0 0 0 0 1 0 0 1 16 18 0 0 0 0  
V
v
t
v
t
T Impl 1 1 1 0 1 0 389 123 40 20 40 20 40 20  
V
v
t
q
O
N 1 0 node module 27 30 88 89 88 89 135 151  
Q
T Paren 1 0 0 0 1 0 5 5 40 20 40 20 40 20  
V
v
t
T Ins 1 0 1 0 1 0 5 77 40 20 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 5 27 40 20 40 20 40 20  
V
T D 0 0 0 0 1 0 0 1 15 13 0 0 0 0  
V
v
t
v
t
T State 1 0 1 1 1 0 5 52 40 20 40 20 40 20  
V
T S 0 0 0 0 1 0 0 1 15 13 0 0 0 0  
V
v
t
v
t
T Impl 1 0 0 0 1 0 47 52 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
1 1 3 5 -1
3 5 -1
d
D
1 1 3 1 -1
3 1 -1
d
D
3 2 -1
1 1 3 2 -1
d
D
3 1 4 1 4 2 -1
3 2 4 1 4 2 -1
d
b
G
F  87 5 60 20 60 20 60 20  0<D
f
g
l
r
m
