0 KLIEG Ver. 3.3
M eight_puzzle  770 132 161 30 161 30 948 555  
P
C 1 eight_puzzle 5 5 90 70 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 25 21 40 20 40 20 40 20  
V
v
t
q
c
C 2 extend 155 210 92 90 60 60 60 60  
Q
T B 1 0 1 0 1 0 26 5 40 20 40 20 40 20  
V
v
t
T Nexts 1 0 0 0 1 0 26 57 40 20 40 20 40 20  
V
v
t
T Copy 1 0 1 0 1 0 26 31 40 20 40 20 40 20  
V
v
t
q
c
C 3 ch_0_1 435 80 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
c
C 4 ch_1_2 679 80 60 60 60 60 60 65  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
c
C 5 ch_0_3 435 145 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
c
C 6 ch_1_4 557 145 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
c
C 7 ch_2_5 679 145 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
c
C 8 ch_3_4 435 225 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
c
C 9 ch_4_5 679 225 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
c
C 10 ch_3_6 435 305 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
c
C 11 ch_4_7 557 305 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 0 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 0 0 10 27 40 20 40 20 40 20  
V
v
t
q
c
C 12 ch_5_8 679 305 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 0 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 0 0 10 27 40 20 40 20 40 20  
V
v
t
q
c
C 13 ch_6_7 435 370 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 0 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 0 0 10 27 40 20 40 20 40 20  
V
v
t
q
c
C 14 ch_7_8 679 370 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 0 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 0 0 10 27 40 20 40 20 40 20  
V
v
t
q
c
p
X
x
R
L 0 1 20 370 60 60 60 60 661 415  
Q
q
O
N 0 0 eight_puzzle eight_puzzle 5 145 307 49 307 49 307 49  
Q
T Ins 1 0 1 1 1 0 26 8 254 24 40 20 40 20  
V
S extend
V
S ep
V
T B 1 0 0 1 0 0 0 1 95 18 0 0 0 0  
V
A 1
a
A 2
a
A 3
a
A 4
a
A 0
a
A 6
a
A 7
a
A 8
a
A 5
a
v
t
v
s
T Outs 1 0 0 0 1 0 197 1 8 20 0 0 0 0  
V
v
t
v
s
v
t
q
n
N 0 0 equal eight_puzzle 38 5 240 139 240 139 240 139  
Q
T S1 0 0 1 0 1 0 28 11 185 20 83 16 83 16  
V
S ep
V
T B 1 0 0 1 1 0 0 1 73 10 0 0 0 0  
V
A 0
a
A 0
a
v
t
v
s
v
t
T R 0 0 0 0 1 0 28 99 185 20 40 20 40 20  
V
v
t
T S2 0 0 1 0 1 0 28 55 185 20 40 20 40 20  
V
S ep
V
T B 1 0 0 0 1 0 0 1 73 10 0 0 0 0  
V
A 1
a
A 0
a
v
t
v
s
v
t
q
n
o
B
b
G
g
l
L 2 1 249 235 60 40 60 40 190 165  
Q
T B 1 1 0 1 1 0 54 5 168 20 145 20 152 20  
V
S ep
V
T B 1 0 0 0 0 0 0 1 15 0 0 0 0 0  
V
A 0
a
v
t
v
s
v
t
T Nexts 1 1 1 1 1 0 37 117 202 20 161 20 161 20  
V
S ep
V
T B1 1 0 1 0 1 0 0 1 7 0 0 0 0 0  
V
v
t
v
s
S ep
V
T B2 1 0 1 0 1 0 0 1 7 0 0 0 0 0  
V
v
t
v
s
v
t
T Copy 1 1 0 0 1 0 54 27 169 20 146 20 146 20  
V
v
t
q
O
N 3 0 ch_0_1 module 211 52 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
N 5 0 ch_0_3 module 5 52 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
3 3 -1
1 1 3 1 -1
d
D
3 3 -1
1 2 3 1 -1
d
D
1 1 3 2 -1
3 2 4 1 4 1 -1
d
D
1 2 3 2 -1
3 2 4 2 4 1 -1
d
b
G
g
l
L 3 1 497 89 59 42 59 42 275 255  
Q
T Ins 1 1 0 0 0 0 5 5 243 20 40 20 40 20  
V
T P0 0 0 0 0 1 0 0 1 18 12 0 0 0 0  
V
v
t
T P1 0 0 0 0 1 0 19 1 18 12 0 0 0 0  
V
v
t
v
t
T Outs 1 1 1 0 0 0 5 27 243 20 40 20 40 20  
V
T P1 0 0 0 0 1 0 0 1 18 12 0 0 0 0  
V
v
t
T P0 0 0 0 0 1 0 19 1 18 12 0 0 0 0  
V
v
t
v
t
q
O
o
B
D
3 1 -1
3 2 -1
d
b
G
g
l
L 4 1 741 89 59 42 59 42 250 208  
Q
T Ins 1 1 0 0 0 0 5 5 200 20 40 20 40 20  
V
T P0 0 0 0 0 1 0 0 1 13 12 0 0 0 0  
V
v
t
T P1 0 0 0 0 1 0 14 1 13 12 0 0 0 0  
V
v
t
T P2 0 0 0 0 1 0 28 1 13 12 0 0 0 0  
V
v
t
v
t
T Outs 1 1 1 0 0 0 5 27 200 20 40 20 40 20  
V
T P0 0 0 0 0 1 0 0 1 13 12 0 0 0 0  
V
v
t
T P2 0 0 0 0 1 0 14 1 13 12 0 0 0 0  
V
v
t
T P1 0 0 0 0 1 0 28 1 13 12 0 0 0 0  
V
v
t
v
t
q
O
o
B
D
3 1 -1
3 2 -1
d
b
G
g
l
L 5 1 497 154 59 42 59 42 240 110  
Q
T Ins 1 1 0 0 0 0 5 5 212 20 40 20 40 20  
V
T P0 0 0 0 0 1 0 0 1 10 12 0 0 0 0  
V
v
t
T P1 0 0 0 0 1 0 11 1 10 12 0 0 0 0  
V
v
t
T P2 0 0 0 0 1 0 22 1 10 12 0 0 0 0  
V
v
t
T P3 0 0 0 0 1 0 33 1 10 12 0 0 0 0  
V
v
t
v
t
T Outs 1 1 1 0 0 0 5 27 212 20 40 20 40 20  
V
T P3 0 0 0 0 1 0 0 1 10 12 0 0 0 0  
V
v
t
T P1 0 0 0 0 1 0 11 1 10 12 0 0 0 0  
V
v
t
T P2 0 0 0 0 1 0 22 1 10 12 0 0 0 0  
V
v
t
T P0 0 0 0 0 1 0 33 1 10 12 0 0 0 0  
V
v
t
v
t
q
O
o
B
D
3 1 -1
3 2 -1
d
b
G
g
l
L 6 1 619 154 59 42 59 42 149 118  
Q
T Ins 1 1 0 0 0 0 5 5 130 20 40 20 40 20  
V
T P0 0 0 0 0 1 0 0 1 8 12 0 0 0 0  
V
v
t
T P1 0 0 0 0 1 0 9 1 8 12 0 0 0 0  
V
v
t
T P2 0 0 0 0 1 0 18 1 8 12 0 0 0 0  
V
v
t
T P3 0 0 0 0 1 0 27 1 8 12 0 0 0 0  
V
v
t
T P4 0 0 0 0 1 0 36 1 8 12 0 0 0 0  
V
v
t
v
t
T Outs 1 1 1 0 0 0 5 27 131 20 40 20 40 20  
V
T P0 0 0 0 0 1 0 0 1 8 12 0 0 0 0  
V
v
t
T P4 0 0 0 0 1 0 9 1 8 12 0 0 0 0  
V
v
t
T P2 0 0 0 0 1 0 18 1 8 12 0 0 0 0  
V
v
t
T P3 0 0 0 0 1 0 27 1 8 12 0 0 0 0  
V
v
t
T P1 0 0 0 0 1 0 36 1 8 12 0 0 0 0  
V
v
t
v
t
q
O
o
B
D
3 1 -1
3 2 -1
d
b
G
g
l
L 7 1 741 154 59 42 59 42 219 147  
Q
T Ins 1 1 0 0 0 0 5 5 175 20 40 20 40 20  
V
T P0 0 0 0 0 1 0 0 1 7 12 0 0 0 0  
V
v
t
T P1 0 0 0 0 1 0 8 1 7 12 0 0 0 0  
V
v
t
T P2 0 0 0 0 1 0 16 1 7 12 0 0 0 0  
V
v
t
T P3 0 0 0 0 1 0 24 1 7 12 0 0 0 0  
V
v
t
T P4 0 0 0 0 1 0 32 1 7 12 0 0 0 0  
V
v
t
T P5 0 0 0 0 1 0 40 1 7 12 0 0 0 0  
V
v
t
v
t
T Outs 1 1 1 0 0 0 5 27 175 20 40 20 40 20  
V
T P0 0 0 0 0 1 0 0 1 7 12 0 0 0 0  
V
v
t
T P1 0 0 0 0 1 0 8 1 7 12 0 0 0 0  
V
v
t
T P5 0 0 0 0 1 0 16 1 7 12 0 0 0 0  
V
v
t
T P3 0 0 0 0 1 0 24 1 7 12 0 0 0 0  
V
v
t
T P4 0 0 0 0 1 0 32 1 7 12 0 0 0 0  
V
v
t
T P2 0 0 0 0 1 0 40 1 7 12 0 0 0 0  
V
v
t
v
t
q
O
o
B
D
3 1 -1
3 2 -1
d
b
G
g
l
L 8 1 497 234 59 42 59 42 182 113  
Q
T Ins 1 1 0 0 0 0 5 5 141 20 40 20 40 20  
V
T P0 0 0 0 0 1 0 0 1 8 12 0 0 0 0  
V
v
t
T P1 0 0 0 0 1 0 9 1 8 12 0 0 0 0  
V
v
t
T P2 0 0 0 0 1 0 18 1 8 12 0 0 0 0  
V
v
t
T P3 0 0 0 0 1 0 27 1 8 12 0 0 0 0  
V
v
t
T P4 0 0 0 0 1 0 36 1 8 12 0 0 0 0  
V
v
t
v
t
T Outs 1 1 1 0 0 0 5 27 141 20 40 20 40 20  
V
T P0 0 0 0 0 1 0 0 1 8 12 0 0 0 0  
V
v
t
T P1 0 0 0 0 1 0 9 1 8 12 0 0 0 0  
V
v
t
T P2 0 0 0 0 1 0 18 1 8 12 0 0 0 0  
V
v
t
T P4 0 0 0 0 1 0 27 1 8 12 0 0 0 0  
V
v
t
T P3 0 0 0 0 1 0 36 1 8 12 0 0 0 0  
V
v
t
v
t
q
O
o
B
D
3 1 -1
3 2 -1
d
b
G
g
l
L 9 1 741 234 59 42 59 42 229 135  
Q
T Ins 1 1 0 0 0 0 5 5 184 20 40 20 40 20  
V
T P0 0 0 0 0 1 0 0 1 7 12 0 0 0 0  
V
v
t
T P1 0 0 0 0 1 0 8 1 7 12 0 0 0 0  
V
v
t
T P2 0 0 0 0 1 0 16 1 7 12 0 0 0 0  
V
v
t
T P3 0 0 0 0 1 0 24 1 7 12 0 0 0 0  
V
v
t
T P4 0 0 0 0 1 0 32 1 7 12 0 0 0 0  
V
v
t
T P5 0 0 0 0 1 0 40 1 7 12 0 0 0 0  
V
v
t
v
t
T Outs 1 1 1 0 0 0 5 27 184 20 40 20 40 20  
V
T P0 0 0 0 0 1 0 0 1 7 12 0 0 0 0  
V
v
t
T P1 0 0 0 0 1 0 8 1 7 12 0 0 0 0  
V
v
t
T P2 0 0 0 0 1 0 16 1 7 12 0 0 0 0  
V
v
t
T P3 0 0 0 0 1 0 24 1 7 12 0 0 0 0  
V
v
t
T P5 0 0 0 0 1 0 32 1 7 12 0 0 0 0  
V
v
t
T P4 0 0 0 0 1 0 40 1 7 12 0 0 0 0  
V
v
t
v
t
q
O
o
B
D
3 1 -1
3 2 -1
d
b
G
g
l
L 10 1 497 314 59 42 59 42 363 115  
Q
T Ins 1 1 0 0 0 0 5 5 251 20 40 20 40 20  
V
T P0 0 0 0 0 1 0 0 1 6 12 0 0 0 0  
V
v
t
T P1 0 0 0 0 1 0 7 1 6 12 0 0 0 0  
V
v
t
T P2 0 0 0 0 1 0 14 1 6 12 0 0 0 0  
V
v
t
T P3 0 0 0 0 1 0 21 1 6 12 0 0 0 0  
V
v
t
T P4 0 0 0 0 1 0 28 1 6 12 0 0 0 0  
V
v
t
T P5 0 0 0 0 1 0 35 1 6 12 0 0 0 0  
V
v
t
T P6 0 0 0 0 1 0 42 1 6 12 0 0 0 0  
V
v
t
v
t
T Outs 1 1 1 0 0 0 5 27 251 20 40 20 40 20  
V
T P0 0 0 0 0 1 0 0 1 6 12 0 0 0 0  
V
v
t
T P1 0 0 0 0 1 0 7 1 6 12 0 0 0 0  
V
v
t
T P2 0 0 0 0 1 0 14 1 6 12 0 0 0 0  
V
v
t
T P6 0 0 0 0 1 0 21 1 6 12 0 0 0 0  
V
v
t
T P4 0 0 0 0 1 0 28 1 6 12 0 0 0 0  
V
v
t
T P5 0 0 0 0 1 0 35 1 6 12 0 0 0 0  
V
v
t
T P3 0 0 0 0 1 0 42 1 6 12 0 0 0 0  
V
v
t
v
t
q
O
o
B
D
3 1 -1
3 2 -1
d
b
G
g
l
L 11 1 620 314 57 42 57 42 365 82  
Q
T Ins 1 1 0 0 0 0 5 5 261 20 40 20 40 20  
V
T P0 0 0 0 0 1 0 0 1 17 11 0 0 0 0  
V
v
t
T P1 0 0 0 0 1 0 6 1 17 11 0 0 0 0  
V
v
t
T P2 0 0 0 0 1 0 12 1 17 11 0 0 0 0  
V
v
t
T P3 0 0 0 0 1 0 18 1 17 11 0 0 0 0  
V
v
t
T P4 0 0 0 0 1 0 24 1 17 11 0 0 0 0  
V
v
t
T P5 0 0 0 0 1 0 30 1 17 11 0 0 0 0  
V
v
t
T P6 0 0 0 0 1 0 36 1 17 11 0 0 0 0  
V
v
t
T P7 0 0 0 0 1 0 42 1 17 11 0 0 0 0  
V
v
t
v
t
T Outs 1 1 1 0 0 0 5 27 261 20 40 20 40 20  
V
T P0 0 0 0 0 1 0 0 1 17 11 0 0 0 0  
V
v
t
T P1 0 0 0 0 1 0 6 1 17 11 0 0 0 0  
V
v
t
T P2 0 0 0 0 1 0 12 1 17 11 0 0 0 0  
V
v
t
T P3 0 0 0 0 1 0 18 1 17 11 0 0 0 0  
V
v
t
T P7 0 0 0 0 1 0 24 1 17 11 0 0 0 0  
V
v
t
T P5 0 0 0 0 1 0 30 1 17 11 0 0 0 0  
V
v
t
T P6 0 0 0 0 1 0 36 1 17 11 0 0 0 0  
V
v
t
T P4 0 0 0 0 1 0 42 1 17 11 0 0 0 0  
V
v
t
v
t
q
O
o
B
D
3 1 -1
3 2 -1
d
b
G
g
l
L 12 1 741 314 59 42 59 42 339 88  
Q
T Ins 1 1 0 1 0 0 5 5 298 20 40 20 40 20  
V
T Out 0 0 0 0 1 0 0 1 4 12 0 0 0 0  
V
v
t
T Out1 0 0 0 0 1 0 5 1 4 12 0 0 0 0  
V
v
t
T Out2 0 0 0 0 1 0 10 1 4 12 0 0 0 0  
V
v
t
T Out3 0 0 0 0 1 0 15 1 4 12 0 0 0 0  
V
v
t
T Out4 0 0 0 0 1 0 20 1 4 12 0 0 0 0  
V
v
t
T Out5 0 0 0 0 1 0 25 1 4 12 0 0 0 0  
V
v
t
T Out6 0 0 0 0 1 0 30 1 4 12 0 0 0 0  
V
v
t
T Out7 0 0 0 0 1 0 35 1 4 12 0 0 0 0  
V
v
t
T Out8 0 0 0 0 1 0 40 1 4 12 0 0 0 0  
V
v
t
v
t
T Outs 1 1 1 1 0 0 5 27 298 20 40 20 40 20  
V
T Out 0 0 0 0 1 0 0 1 4 12 0 0 0 0  
V
v
t
T Out1 0 0 0 0 1 0 5 1 4 12 0 0 0 0  
V
v
t
T Out2 0 0 0 0 1 0 10 1 4 12 0 0 0 0  
V
v
t
T Out3 0 0 0 0 1 0 15 1 4 12 0 0 0 0  
V
v
t
T Out4 0 0 0 0 1 0 20 1 4 12 0 0 0 0  
V
v
t
T Out8 0 0 0 0 1 0 25 1 4 12 0 0 0 0  
V
v
t
T Out6 0 0 0 0 1 0 30 1 4 12 0 0 0 0  
V
v
t
T Out7 0 0 0 0 1 0 35 1 4 12 0 0 0 0  
V
v
t
T Out5 0 0 0 0 1 0 40 1 4 12 0 0 0 0  
V
v
t
v
t
q
O
o
B
b
G
g
l
L 13 1 498 379 57 42 57 42 340 95  
Q
T Ins 1 1 0 0 0 0 5 5 320 20 40 20 40 20  
V
T Out 0 0 0 0 1 0 0 1 5 12 0 0 0 0  
V
v
t
T Out1 0 0 0 0 1 0 6 1 5 12 0 0 0 0  
V
v
t
T Out2 0 0 0 0 1 0 12 1 5 12 0 0 0 0  
V
v
t
T Out3 0 0 0 0 1 0 18 1 5 12 0 0 0 0  
V
v
t
T Out4 0 0 0 0 1 0 24 1 5 12 0 0 0 0  
V
v
t
T Out5 0 0 0 0 1 0 30 1 5 12 0 0 0 0  
V
v
t
T Out6 0 0 0 0 1 0 36 1 5 12 0 0 0 0  
V
v
t
T Out7 0 0 0 0 1 0 42 1 5 12 0 0 0 0  
V
v
t
v
t
T Outs 1 1 1 0 0 0 5 27 320 20 40 20 40 20  
V
T Out 0 0 0 0 1 0 0 1 5 12 0 0 0 0  
V
v
t
T Out1 0 0 0 0 1 0 6 1 5 12 0 0 0 0  
V
v
t
T Out2 0 0 0 0 1 0 12 1 5 12 0 0 0 0  
V
v
t
T Out3 0 0 0 0 1 0 18 1 5 12 0 0 0 0  
V
v
t
T Out4 0 0 0 0 1 0 24 1 5 12 0 0 0 0  
V
v
t
T Out5 0 0 0 0 1 0 30 1 5 12 0 0 0 0  
V
v
t
T Out7 0 0 0 0 1 0 36 1 5 12 0 0 0 0  
V
v
t
T Out6 0 0 0 0 1 0 42 1 5 12 0 0 0 0  
V
v
t
v
t
q
O
o
B
D
3 1 -1
3 2 -1
d
b
G
g
l
L 14 1 742 379 57 42 57 42 300 86  
Q
T Ins 1 1 0 1 0 0 5 5 290 20 40 20 40 20  
V
T Out 0 0 0 0 1 0 0 1 25 18 0 0 0 0  
V
v
t
T Out1 0 0 0 0 1 0 5 1 25 18 0 0 0 0  
V
v
t
T Out2 0 0 0 0 1 0 10 1 25 18 0 0 0 0  
V
v
t
T Out3 0 0 0 0 1 0 15 1 25 18 0 0 0 0  
V
v
t
T Out4 0 0 0 0 1 0 20 1 25 18 0 0 0 0  
V
v
t
T Out5 0 0 0 0 1 0 25 1 25 18 0 0 0 0  
V
v
t
T Out6 0 0 0 0 1 0 30 1 25 18 0 0 0 0  
V
v
t
T Out7 0 0 0 0 1 0 35 1 25 18 0 0 0 0  
V
v
t
T Out8 0 0 0 0 1 0 40 1 25 18 0 0 0 0  
V
v
t
v
t
T Outs 1 1 1 1 0 0 5 27 290 20 40 20 40 20  
V
T Out 0 0 0 0 1 0 0 1 25 18 0 0 0 0  
V
v
t
T Out1 0 0 0 0 1 0 5 1 25 18 0 0 0 0  
V
v
t
T Out2 0 0 0 0 1 0 10 1 25 18 0 0 0 0  
V
v
t
T Out3 0 0 0 0 1 0 15 1 25 18 0 0 0 0  
V
v
t
T Out4 0 0 0 0 1 0 20 1 25 18 0 0 0 0  
V
v
t
T Out5 0 0 0 0 1 0 25 1 25 18 0 0 0 0  
V
v
t
T Out6 0 0 0 0 1 0 30 1 25 18 0 0 0 0  
V
v
t
T Out8 0 0 0 0 1 0 35 1 25 18 0 0 0 0  
V
v
t
T Out7 0 0 0 0 1 0 40 1 25 18 0 0 0 0  
V
v
t
v
t
q
O
o
B
b
G
g
l
L 2 1 311 235 60 40 60 40 258 261  
Q
T B 1 1 0 1 1 0 50 5 179 20 40 20 40 20  
V
S ep
V
T B 1 0 0 0 0 0 0 1 20 0 0 0 0 0  
V
T P0 0 0 0 0 1 0 0 1 6 -2 0 0 0 0  
V
v
t
A 0
a
v
t
v
s
v
t
T Nexts 1 1 1 1 1 0 37 117 205 20 40 20 40 20  
V
S ep
V
T Ins 1 0 1 0 1 0 0 1 5 0 0 0 0 0  
V
v
t
v
s
S ep
V
T Ins1 1 0 1 0 1 0 0 1 5 0 0 0 0 0  
V
v
t
v
s
S ep
V
T Ins2 1 0 1 0 1 0 0 1 5 0 0 0 0 0  
V
v
t
v
s
v
t
T Copy 1 1 0 0 1 0 119 27 40 20 40 20 40 20  
V
v
t
q
O
N 3 0 ch_0_1 module 5 52 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
N 4 0 ch_1_2 module 109 52 60 60 60 60 60 65  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
N 6 0 ch_1_4 module 213 52 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
3 3 -1
1 1 3 1 -1
d
D
3 3 -1
1 2 3 1 -1
d
D
3 3 -1
1 3 3 1 -1
d
D
1 3 3 2 -1
3 2 4 1 4 1 -1
d
D
1 2 3 2 -1
3 2 4 2 4 1 -1
d
D
1 1 3 2 -1
3 2 4 3 4 1 -1
d
b
G
g
l
L 2 1 373 235 60 40 60 40 232 223  
Q
T B 1 1 0 1 1 0 62 5 135 20 40 20 40 20  
V
S ep
V
T B 1 0 0 0 0 0 0 1 19 0 0 0 0 0  
V
T P0 0 0 0 0 1 0 0 1 4 -2 0 0 0 0  
V
v
t
T P1 0 0 0 0 1 0 5 1 4 -2 0 0 0 0  
V
v
t
A 0
a
v
t
v
s
v
t
T Nexts 1 1 1 1 1 0 37 117 184 20 40 20 40 20  
V
S ep
V
T Ins 1 0 1 0 1 0 0 1 7 0 0 0 0 0  
V
v
t
v
s
S ep
V
T Ins1 1 0 1 0 1 0 0 1 7 0 0 0 0 0  
V
v
t
v
s
v
t
T Copy 1 1 0 0 1 0 109 27 40 20 40 20 40 20  
V
v
t
q
O
N 4 0 ch_1_2 module 5 52 60 60 60 60 60 65  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
N 7 0 ch_2_5 module 193 52 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
3 3 -1
1 1 3 1 -1
d
D
3 3 -1
1 2 3 1 -1
d
D
1 1 3 2 -1
3 2 4 2 4 1 -1
d
D
1 2 3 2 -1
3 2 4 1 4 1 -1
d
b
G
g
l
L 2 1 249 315 60 40 60 40 197 175  
Q
T B 1 1 0 1 1 0 63 5 161 20 40 20 40 20  
V
S ep
V
T B 1 0 0 0 0 0 0 1 22 0 0 0 0 0  
V
T P0 0 0 0 0 1 0 0 1 3 -2 0 0 0 0  
V
v
t
T P1 0 0 0 0 1 0 4 1 3 -2 0 0 0 0  
V
v
t
T P2 0 0 0 0 1 0 8 1 3 -2 0 0 0 0  
V
v
t
A 0
a
v
t
v
s
v
t
T Nexts 1 1 1 1 1 0 37 117 212 20 40 20 40 20  
V
S ep
V
T Ins 1 0 1 0 1 0 0 1 5 0 0 0 0 0  
V
v
t
v
s
S ep
V
T Ins1 1 0 1 0 1 0 0 1 5 0 0 0 0 0  
V
v
t
v
s
S ep
V
T Ins2 1 0 1 0 1 0 0 1 5 0 0 0 0 0  
V
v
t
v
s
v
t
T Copy 1 1 0 0 1 0 123 27 40 20 40 20 40 20  
V
v
t
q
O
N 5 0 ch_0_3 module 5 52 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
N 8 0 ch_3_4 module 113 52 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
N 10 0 ch_3_6 module 221 52 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
3 3 -1
1 1 3 1 -1
d
D
3 3 -1
1 2 3 1 -1
d
D
3 3 -1
1 3 3 1 -1
d
D
1 1 3 2 -1
3 2 4 3 4 1 -1
d
D
1 2 3 2 -1
3 2 4 2 4 1 -1
d
D
1 3 3 2 -1
3 2 4 1 4 1 -1
d
b
G
g
l
L 2 1 311 315 60 40 60 40 300 254  
Q
T B 1 1 0 1 1 0 124 5 166 20 40 20 40 20  
V
S ep
V
T B 1 0 0 0 0 0 0 1 13 1 0 0 0 0  
V
T Out 0 0 0 0 1 0 0 1 1 -1 0 0 0 0  
V
v
t
T Out1 0 0 0 0 1 0 2 1 1 -1 0 0 0 0  
V
v
t
T Out2 0 0 0 0 1 0 4 1 1 -1 0 0 0 0  
V
v
t
T Out3 0 0 0 0 1 0 6 1 1 -1 0 0 0 0  
V
v
t
A 0
a
v
t
v
s
v
t
T Nexts 1 1 1 1 1 0 37 95 340 20 40 20 40 20  
V
S ep
V
T Ins 1 0 1 0 1 0 0 1 3 1 0 0 0 0  
V
v
t
v
s
S ep
V
T Ins1 1 0 1 0 1 0 0 1 3 1 0 0 0 0  
V
v
t
v
s
S ep
V
T Ins2 1 0 1 0 1 0 0 1 3 1 0 0 0 0  
V
v
t
v
s
S ep
V
T Ins3 1 0 1 0 1 0 0 1 3 1 0 0 0 0  
V
v
t
v
s
v
t
T Copy 1 1 0 0 1 0 359 5 40 20 40 20 40 20  
V
v
t
q
O
N 6 0 ch_1_4 module 5 30 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
N 8 0 ch_3_4 module 177 30 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
N 9 0 ch_4_5 module 349 30 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
N 11 0 ch_4_7 module 411 30 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 0 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 0 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
3 3 -1
1 1 3 1 -1
d
D
3 3 -1
1 2 3 1 -1
d
D
3 3 -1
1 3 3 1 -1
d
D
3 3 -1
1 4 3 1 -1
d
D
1 4 3 2 -1
3 2 4 1 4 1 -1
d
D
1 3 3 2 -1
3 2 4 2 4 1 -1
d
D
1 2 3 2 -1
3 2 4 3 4 1 -1
d
D
1 1 3 2 -1
3 2 4 4 4 1 -1
d
b
G
g
l
L 2 1 373 315 60 40 60 40 299 238  
Q
T B 1 1 0 1 1 0 38 5 235 20 40 20 40 20  
V
S ep
V
T B 1 0 0 0 0 0 0 1 33 0 0 0 0 0  
V
T Out 0 0 0 0 1 0 0 1 3 -2 0 0 0 0  
V
v
t
T Out1 0 0 0 0 1 0 5 1 3 -2 0 0 0 0  
V
v
t
T Out2 0 0 0 0 1 0 10 1 3 -2 0 0 0 0  
V
v
t
T Out3 0 0 0 0 1 0 15 1 3 -2 0 0 0 0  
V
v
t
T Out4 0 0 0 0 1 0 20 1 3 -2 0 0 0 0  
V
v
t
A 0
a
v
t
v
s
v
t
T Nexts 1 1 1 1 1 0 37 117 236 20 40 20 40 20  
V
S ep
V
T Ins 1 0 1 0 1 0 0 1 5 0 0 0 0 0  
V
v
t
v
s
S ep
V
T Ins1 1 0 1 0 1 0 0 1 5 0 0 0 0 0  
V
v
t
v
s
S ep
V
T Ins2 1 0 1 0 1 0 0 1 5 0 0 0 0 0  
V
v
t
v
s
v
t
T Copy 1 1 0 0 1 0 135 27 40 20 40 20 40 20  
V
v
t
q
O
N 7 0 ch_2_5 module 5 52 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
N 9 0 ch_4_5 module 125 52 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
N 12 0 ch_5_8 module 245 52 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 0 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 0 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
3 3 -1
1 1 3 1 -1
d
D
3 3 -1
1 2 3 1 -1
d
D
3 3 -1
1 3 3 1 -1
d
D
1 1 3 2 -1
3 2 4 3 4 1 -1
d
D
1 2 3 2 -1
3 2 4 2 4 1 -1
d
D
1 3 3 2 -1
3 2 4 1 4 1 -1
d
b
G
g
l
L 2 1 249 380 60 40 60 40 229 297  
Q
T B 1 1 0 1 1 0 5 5 201 20 40 20 40 20  
V
S ep
V
T Outs 1 0 0 0 0 0 0 1 37 0 0 0 0 0  
V
T Out 0 0 0 0 1 0 0 1 3 -2 0 0 0 0  
V
v
t
T Out1 0 0 0 0 1 0 5 1 3 -2 0 0 0 0  
V
v
t
T Out2 0 0 0 0 1 0 10 1 3 -2 0 0 0 0  
V
v
t
T Out3 0 0 0 0 1 0 15 1 3 -2 0 0 0 0  
V
v
t
T Out4 0 0 0 0 1 0 20 1 3 -2 0 0 0 0  
V
v
t
T Out5 0 0 0 0 1 0 25 1 3 -2 0 0 0 0  
V
v
t
A 0
a
v
t
v
s
v
t
T Nexts 1 1 1 1 1 0 7 117 197 20 40 20 40 20  
V
S ep
V
T Ins 1 0 1 0 1 0 0 1 7 0 0 0 0 0  
V
v
t
v
s
S ep
V
T Ins1 1 0 1 0 1 0 0 1 7 0 0 0 0 0  
V
v
t
v
s
v
t
T Copy 1 1 0 0 1 0 85 27 40 20 40 20 40 20  
V
v
t
q
O
N 10 0 ch_3_6 module 75 52 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 1 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
N 13 0 ch_6_7 module 177 52 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 0 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 0 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
3 3 -1
1 1 3 1 -1
d
D
3 3 -1
1 2 3 1 -1
d
D
1 1 3 2 -1
3 2 4 2 4 1 -1
d
D
1 2 3 2 -1
3 2 4 1 4 1 -1
d
b
G
g
l
L 2 1 311 380 60 40 60 40 359 344  
Q
T B 1 1 0 1 1 0 47 5 283 20 40 20 40 20  
V
S ep
V
T B 1 0 0 0 0 0 0 1 34 0 0 0 0 0  
V
T Out 0 0 0 0 1 0 0 1 2 -2 0 0 0 0  
V
v
t
T Out1 0 0 0 0 1 0 4 1 2 -2 0 0 0 0  
V
v
t
T Out2 0 0 0 0 1 0 8 1 2 -2 0 0 0 0  
V
v
t
T Out3 0 0 0 0 1 0 12 1 2 -2 0 0 0 0  
V
v
t
T Out4 0 0 0 0 1 0 16 1 2 -2 0 0 0 0  
V
v
t
T Out5 0 0 0 0 1 0 20 1 2 -2 0 0 0 0  
V
v
t
T Out6 0 0 0 0 1 0 24 1 2 -2 0 0 0 0  
V
v
t
A 0
a
v
t
v
s
v
t
T Nexts 1 1 1 1 1 0 37 117 303 20 40 20 40 20  
V
S ep
V
T Ins 1 0 1 0 1 0 0 1 5 0 0 0 0 0  
V
v
t
v
s
S ep
V
T Ins1 1 0 1 0 1 0 0 1 5 0 0 0 0 0  
V
v
t
v
s
S ep
V
T Ins2 1 0 1 0 1 0 0 1 5 0 0 0 0 0  
V
v
t
v
s
v
t
T Copy 1 1 0 0 1 0 168 27 40 20 40 20 40 20  
V
v
t
q
O
N 11 0 ch_4_7 module 5 52 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 0 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 0 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
N 13 0 ch_6_7 module 158 52 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 0 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 0 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
N 14 0 ch_7_8 module 311 52 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 0 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 0 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
3 3 -1
1 1 3 1 -1
d
D
3 3 -1
1 2 3 1 -1
d
D
3 3 -1
1 3 3 1 -1
d
D
1 1 3 2 -1
3 2 4 3 4 1 -1
d
D
1 2 3 2 -1
3 2 4 2 4 1 -1
d
D
1 3 3 2 -1
3 2 4 1 4 1 -1
d
b
G
g
l
L 2 1 373 380 60 40 60 40 349 235  
Q
T B 1 1 0 1 1 0 37 5 285 20 40 20 40 20  
V
S ep
V
T Outs 1 0 0 0 0 0 0 1 37 0 0 0 0 0  
V
T Out 0 0 0 0 1 0 0 1 2 -2 0 0 0 0  
V
v
t
T Out1 0 0 0 0 1 0 4 1 2 -2 0 0 0 0  
V
v
t
T Out2 0 0 0 0 1 0 8 1 2 -2 0 0 0 0  
V
v
t
T Out3 0 0 0 0 1 0 12 1 2 -2 0 0 0 0  
V
v
t
T Out4 0 0 0 0 1 0 16 1 2 -2 0 0 0 0  
V
v
t
T Out5 0 0 0 0 1 0 20 1 2 -2 0 0 0 0  
V
v
t
T Out6 0 0 0 0 1 0 24 1 2 -2 0 0 0 0  
V
v
t
T Out7 0 0 0 0 1 0 28 1 2 -2 0 0 0 0  
V
v
t
A 0
a
v
t
v
s
v
t
T Nexts 1 1 1 1 1 0 49 117 260 20 40 20 40 20  
V
S ep
V
T Ins 1 0 1 0 1 0 0 1 7 0 0 0 0 0  
V
v
t
v
s
S ep
V
T Ins1 1 0 1 0 1 0 0 1 7 0 0 0 0 0  
V
v
t
v
s
v
t
T Copy 1 1 0 0 1 0 159 27 40 20 40 20 40 20  
V
v
t
q
O
N 12 0 ch_5_8 module 5 52 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 0 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 0 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
N 14 0 ch_7_8 module 293 52 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 0 0 10 5 40 20 40 20 40 20  
V
v
t
T Outs 1 0 0 0 0 0 10 27 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
3 3 -1
1 1 3 1 -1
d
D
3 3 -1
1 2 3 1 -1
d
D
1 1 3 2 -1
3 2 4 2 4 1 -1
d
D
1 2 3 2 -1
3 2 4 1 4 1 -1
d
b
G
g
l
L 1 1 20 80 60 60 60 60 60 60  
Q
T Ins 1 1 0 1 1 0 10 16 40 20 40 20 40 20  
V
v
t
q
O
o
B
b
G
g
l
L 1 1 95 235 58 40 58 40 395 290  
Q
T Ins 1 1 0 0 1 0 52 5 189 20 40 20 40 20  
V
S extend
V
S ep
V
T B 1 0 0 0 1 0 0 1 6 0 0 0 0 0  
V
v
t
v
s
T Ins 1 0 1 0 1 0 14 1 6 2 0 0 0 0  
V
v
t
v
s
v
t
q
O
N 2 0 extend module 191 30 103 90 92 90 92 90  
Q
T B 1 0 1 1 1 0 5 5 96 20 40 20 40 20  
V
S ep
V
T B 1 0 0 0 1 0 0 1 10 6 0 0 0 0  
V
v
t
v
s
v
t
T Nexts 1 0 0 0 1 0 33 57 40 20 40 20 40 20  
V
v
t
T Copy 1 0 1 0 1 0 33 31 40 20 40 20 40 20  
V
v
t
q
n
N 1 0 eight_puzzle module 5 40 90 70 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 25 21 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
1 1 3 1 4 1 4 1 -1
1 1 3 3 -1
d
D
1 1 3 2 -1
3 1 4 1 4 2 -1
d
D
3 1 -1
1 2 3 1 -1
d
b
G
g
l
L 1 0 96 90 56 40 56 40 311 108  
Q
T Ins 1 1 0 0 1 0 5 5 153 26 137 26 137 26  
V
S equal
V
T S 0 0 0 0 1 0 0 1 8 19 0 0 0 0  
V
v
t
T S 0 0 0 0 1 0 8 1 8 19 0 0 0 0  
V
v
t
T R 0 0 1 0 1 0 16 1 18 19 0 0 0 0  
V
S true
V
v
s
v
t
v
s
v
t
q
O
o
B
b
G
g
l
L 1 0 173 90 57 40 57 40 676 116  
Q
T Ins 1 1 0 0 1 0 14 27 225 19 40 20 40 20  
V
S equal
V
T S1 0 0 0 0 1 0 0 1 14 8 0 0 0 0  
V
v
t
T S2 0 0 0 0 1 0 8 1 14 8 0 0 0 0  
V
v
t
T A 0 0 1 0 1 0 16 1 30 8 0 0 0 0  
V
S false
V
v
s
v
t
v
s
v
t
q
O
o
B
b
G
F  5 5 243 20 60 20 60 20  compare(S1,S2,R),R=\=0
f
g
l
L 1 0 97 156 55 39 55 39 1268 137  
Q
T Ins 1 1 0 0 1 0 16 29 285 20 178 20 178 20  
V
S is_goal
V
T S 0 0 0 0 1 0 0 1 25 9 0 0 0 0  
V
v
t
T A 0 0 1 0 1 0 9 1 52 9 0 0 0 0  
V
S true
V
v
s
v
t
v
s
v
t
q
O
o
B
b
G
F  5 5 306 23 278 23 278 23  compare(S,ep([1,2,3,4,5,6,7,8,0]),R),R=:=0
f
g
l
L 1 0 174 156 55 39 55 39 1530 133  
Q
T Ins 1 1 0 0 1 0 9 27 285 20 40 20 40 20  
V
S is_goal
V
T S 0 0 0 0 1 0 0 1 30 9 0 0 0 0  
V
v
t
T A 0 0 1 0 1 0 9 1 61 9 0 0 0 0  
V
S false
V
v
s
v
t
v
s
v
t
q
O
o
B
b
G
F  5 5 292 20 60 20 60 20  compare(S,ep([1,2,3,4,5,6,7,8,0]),R),R=\=0
f
g
l
L 1 0 97 20 55 40 55 40 503 92  
Q
T Ins 1 1 0 0 1 0 5 6 190 20 40 20 40 20  
V
S init
V
T S 0 0 1 0 1 0 0 1 149 16 0 0 0 0  
V
S ep
V
T B 1 0 0 1 0 0 0 1 122 12 0 0 0 0  
V
A 1
a
A 2
a
A 3
a
A 4
a
A 0
a
A 5
a
A 7
a
A 8
a
A 6
a
v
t
v
s
v
t
v
s
v
t
q
O
o
B
b
G
g
l
r
m
