3
M nqueen
P
C 1 filter 33 5 60 60 60 60 120 120  
Q
T In 1 0 1 0 1 0 5 5 40 20 40 20 80 40  
V
v
t
T Row 0 0 1 0 1 0 47 5 40 20 40 20 80 40  
V
v
t
T Out 1 0 0 0 1 0 89 5 40 20 40 20 80 40  
V
v
t
q
c
C 2 check 33 70 60 60 60 60 120 120  
Q
T Queens 1 0 1 0 1 0 5 5 40 20 40 20 80 40  
V
v
t
T Copy 1 0 1 0 1 0 5 30 40 20 40 20 80 40  
V
v
t
T Row 0 0 1 0 1 0 47 5 40 20 40 20 80 40  
V
v
t
T Ans 1 0 0 0 1 0 89 5 40 20 40 20 80 40  
V
v
t
T Dist 0 0 1 0 1 0 47 30 40 20 40 20 80 40  
V
v
t
q
c
C 3 nqueen 5 469 117 93 60 60 117 93  
Q
T Ans 1 0 0 0 1 0 50 27 40 20 40 20 80 40  
V
v
t
T Init 1 0 1 0 1 0 5 27 40 20 40 20 80 40  
V
v
t
T Row 0 0 1 0 1 0 5 5 40 20 40 20 80 40  
V
v
t
T Col 0 0 1 0 1 0 50 5 40 20 40 20 80 40  
V
v
t
q
c
p
X
x
R
L 0 1 381 900 357 226 60 60 357 226  
Q
q
O
N 0 0 nqueen nqueen 5 5 117 93 117 93 234 186  
Q
T Ans 1 0 0 0 1 0 67 38 40 20 40 20 80 40  
V
v
t
T Init 1 0 1 1 1 0 9 38 40 20 40 20 80 40  
V
T Outs 1 0 0 1 1 0 0 1 19 18 0 0 0 0 
V
v
t
v
t
T Row 0 0 1 0 1 0 9 6 40 20 40 20 80 40  
V
A 4
a
v
t
T Col 0 0 1 0 1 0 67 6 40 20 40 20 80 40  
V
A 4
a
v
t
q
n
N 0 0 sink sink 123 16 70 71 60 60 120 120  
Q
T Ins 1 0 1 0 1 0 15 6 40 20 40 20 80 40  
V
v
t
q
n
o
B
D
1 1 3 1 -1
1 2 3 1 -1
d
b
G
g
l
L 1 1 529 5 60 60 60 60 120 120  
Q
T In 1 1 0 0 1 0 5 109 40 20 40 20 80 40  
V
T Qs 1 0 0 0 1 0 0 1 5 0 0 0 0 0 
V
v
t
v
t
T Row 0 1 0 1 1 0 5 5 40 20 40 20 80 40  
V
T R 0 0 0 0 1 0 0 1 5 0 0 0 0 0 
V
v
t
v
t
T Out 1 1 1 0 1 0 141 109 40 20 40 20 80 40  
V
v
t
q
O
N 1 0 filter module 27 30 60 60 60 60 120 120  
Q
T In 1 0 1 0 1 0 5 23 40 20 40 20 80 40  
V
v
t
T Row 0 0 1 1 1 0 47 23 40 20 40 20 80 40  
V
T R 0 0 0 0 1 0 0 1 19 18 0 0 0 0 
V
v
t
v
t
T Out 1 0 0 0 1 0 89 23 40 20 40 20 80 40  
V
v
t
q
n
N 2 0 check module 27 134 60 60 60 60 120 120  
Q
T Queens 1 0 1 0 1 0 5 7 40 20 40 20 80 40  
V
v
t
T Copy 1 0 1 0 1 0 5 41 40 20 40 20 80 40  
V
v
t
T Row 0 0 1 1 1 0 47 7 40 20 40 20 80 40  
V
T R 0 0 0 0 1 0 0 1 19 18 0 0 0 0 
V
v
t
v
t
T Ans 1 0 0 0 1 0 89 7 40 20 40 20 80 40  
V
v
t
T Dist 0 0 1 1 1 0 47 41 40 20 40 20 80 40  
V
A 1
a
v
t
q
n
o
B
D
3 1 -1
1 1 3 1 -1
d
D
3 1 4 1 -1
1 2 3 1 -1
d
D
3 1 4 1 -1
1 2 3 2 -1
d
D
1 1 3 3 -1
3 3 -1
d
D
1 2 3 4 -1
3 3 -1
d
b
G
g
l
L 2 0 529 70 60 60 60 60 120 120  
Q
T Queens 1 1 0 0 1 0 5 30 40 20 40 20 80 40  
V
T Q 0 0 0 0 1 0 0 1 5 5 0 0 0 0 
V
v
t
v
t
T Copy 1 1 0 0 1 0 5 55 40 20 40 20 80 40  
V
v
t
T Row 0 1 0 0 1 0 5 5 40 20 40 20 80 40  
V
T R 0 0 0 0 1 0 0 1 5 5 0 0 0 0 
V
v
t
v
t
T Row 0 0 1 0 1 0 47 30 40 20 40 20 80 40  
V
T R 0 0 0 0 1 0 0 1 5 5 0 0 0 0 
V
v
t
v
t
T Ans 1 1 1 0 1 0 89 30 40 20 40 20 80 40  
V
v
t
T Dist 0 1 0 0 1 0 47 5 40 20 40 20 80 40  
V
T D 0 0 0 0 1 0 0 1 5 5 0 0 0 0 
V
v
t
v
t
T Dist 0 0 1 0 1 0 47 55 40 20 40 20 80 40  
V
A D + 1
a
v
t
q
O
o
B
b
G
F  121 5 20 20 20 20 40 40  Q =\= R
f
F  143 5 20 20 20 20 40 40  D =\= R - Q
f
F  165 5 20 20 20 20 40 40  D =\= Q - R
f
g
l
L 2 1 967 70 60 60 60 60 120 120  
Q
T Queens 1 1 0 1 1 0 5 5 40 20 40 20 80 40  
V
v
t
T Copy 1 1 0 0 1 0 113 30 40 20 40 20 80 40  
V
v
t
T Row 0 1 0 1 1 0 47 5 40 20 40 20 80 40  
V
T R 0 0 0 0 1 0 0 1 6 9 0 0 0 0 
V
v
t
v
t
T Ans 1 1 1 1 1 0 91 5 40 20 40 20 80 40  
V
T In 1 0 1 0 1 0 0 1 8 9 0 0 0 0 
V
T R 0 0 0 0 1 0 0 1 3 7 0 0 0 0 
V
v
t
v
t
v
t
T Dist 0 1 0 1 1 0 69 30 40 20 40 20 80 40  
V
v
t
q
O
o
B
D
3 2 -1
3 4 4 1 -1
d
b
G
g
l
L 1 1 967 5 60 60 60 60 120 120  
Q
T In 1 1 0 1 1 0 5 5 40 20 40 20 80 40  
V
v
t
T Row 0 1 0 1 1 0 47 5 40 20 40 20 80 40  
V
v
t
T Out 1 1 1 1 1 0 89 5 40 20 40 20 80 40  
V
v
t
q
O
o
B
b
G
g
l
L 2 1 1029 70 60 60 60 60 120 120  
Q
T Queens 1 1 0 0 1 0 5 5 40 20 40 20 80 40  
V
T Q 0 0 0 0 1 0 0 1 7 9 0 0 0 0 
V
v
t
v
t
T Copy 1 1 0 0 1 0 5 30 40 20 40 20 80 40  
V
v
t
T Row 0 1 0 1 1 0 47 5 40 20 40 20 80 40  
V
T R 0 0 0 0 1 0 0 1 7 9 0 0 0 0 
V
v
t
v
t
T Ans 1 1 1 1 1 0 101 30 40 20 40 20 80 40  
V
v
t
T Dist 0 1 0 1 1 0 47 30 40 20 40 20 80 40  
V
T D 0 0 0 0 1 0 0 1 7 9 0 0 0 0 
V
v
t
v
t
q
O
o
B
b
G
F  89 5 20 20 20 20 40 40  Q =:= R
f
g
l
L 2 1 1091 70 60 60 60 60 120 120  
Q
T Queens 1 1 0 0 1 0 5 5 40 20 40 20 80 40  
V
T Q 0 0 0 0 1 0 0 1 7 9 0 0 0 0 
V
v
t
v
t
T Copy 1 1 0 0 1 0 5 30 40 20 40 20 80 40  
V
v
t
T Row 0 1 0 1 1 0 47 5 40 20 40 20 80 40  
V
T R 0 0 0 0 1 0 0 1 7 9 0 0 0 0 
V
v
t
v
t
T Ans 1 1 1 1 1 0 101 30 40 20 40 20 80 40  
V
v
t
T Dist 0 1 0 1 1 0 47 30 40 20 40 20 80 40  
V
T D 0 0 0 0 1 0 0 1 7 9 0 0 0 0 
V
v
t
v
t
q
O
o
B
b
G
F  89 5 20 20 20 20 40 40  D =:= R - Q
f
g
l
L 2 1 1153 70 60 60 60 60 120 120  
Q
T Queens 1 1 0 0 1 0 5 5 40 20 40 20 80 40  
V
T Q 0 0 0 0 1 0 0 1 7 9 0 0 0 0 
V
v
t
v
t
T Copy 1 1 0 0 1 0 5 30 40 20 40 20 80 40  
V
v
t
T Row 0 1 0 1 1 0 47 5 40 20 40 20 80 40  
V
T R 0 0 0 0 1 0 0 1 7 9 0 0 0 0 
V
v
t
v
t
T Ans 1 1 1 1 1 0 101 30 40 20 40 20 80 40  
V
v
t
T Dist 0 1 0 1 1 0 47 30 40 20 40 20 80 40  
V
T D 0 0 0 0 1 0 0 1 7 9 0 0 0 0 
V
v
t
v
t
q
O
o
B
b
G
F  89 5 20 20 20 20 40 40  D =:= Q - R
f
g
l
L 3 1 123 135 873 760 873 760 2026 1166  
Q
T Ans 1 1 1 0 1 0 722 293 40 20 40 20 80 40  
V
v
t
T Init 1 1 0 0 1 0 27 293 40 20 40 20 80 40  
V
v
t
T Row 0 1 0 0 1 0 722 42 40 20 40 20 80 40  
V
v
t
T Col 0 1 0 0 1 0 5 42 40 20 40 20 80 40  
V
v
t
q
O
E 1 columns 0  0 117 104 534 398 534 398 1068 796  
Q
T In 1 1 0 0 1 6 5 277 40 20 40 20 80 40  
V
v
t
T Rows 1 1 0 0 1 3 541 5 69 20 69 20 138 40  
V
v
t
T Cols 1 1 0 0 0 1 188 5 225 20 225 20 250 40  
V
T C 0 0 0 0 1 0 0 1 23 13 0 0 0 0 
V
v
t
T C 0 0 0 0 1 0 24 1 23 13 0 0 0 0 
V
v
t
T C 0 0 0 0 1 0 48 1 23 13 0 0 0 0 
V
v
t
v
t
T Out 1 1 1 0 1 6 555 277 40 20 40 20 80 40  
V
v
t
q
H
I process 5 5 60 60 60 60 120 120  
Q
q
#
!
Z
z
O
o
i
I process 67 5 60 60 60 60 120 120  
Q
q
#
!
Z
z
O
o
i
I process 181 5 60 60 60 60 120 120  
Q
q
#
!
Z
z
O
o
i
h
O
E 1 rows 1  1 5 6 150 273 150 273 300 546  
Q
T In 1 1 0 0 1 3 5 94 40 20 40 20 80 40  
V
v
t
T Out 1 1 1 0 1 4 2212 94 40 20 40 20 80 40  
V
v
t
T Cols 1 1 0 0 0 1 960 18 1270 20 207 20 1270 20  
V
T R 0 0 0 0 1 0 0 1 8 18 0 0 0 0 
V
v
t
T R 0 0 0 0 1 0 9 1 8 18 0 0 0 0 
V
v
t
T R 0 0 0 0 1 0 18 1 8 18 0 0 0 0 
V
v
t
v
t
q
H
I process 5 5 60 60 60 60 120 120  
Q
q
#
!
Z
z
O
o
i
I process 67 5 60 60 60 60 120 120  
Q
q
#
!
Z
z
O
o
i
I process 181 5 60 60 60 60 120 120  
Q
q
#
!
Z
z
O
o
i
h
O
N 0 1 filter nqueen 5 5 60 60 60 60 120 120  
Q
T In 1 0 1 0 1 0 5 5 40 20 40 20 80 40  
V
v
t
T Row 0 0 1 1 1 0 47 5 40 20 40 20 80 40  
V
T R 0 0 0 0 1 0 0 1 14 18 0 0 0 0 
V
v
t
v
t
T Out 1 0 0 0 1 0 89 5 40 20 40 20 80 40  
V
v
t
q
n
N 0 2 filter nqueen 5 65 60 60 60 60 120 120  
Q
T In 1 0 1 0 1 0 5 7 40 20 40 20 80 40  
V
v
t
T Row 0 0 1 1 1 0 47 7 40 20 40 20 80 40  
V
T R 0 0 0 0 1 0 0 1 13 18 0 0 0 0 
V
v
t
v
t
T Out 1 0 0 0 1 0 89 7 40 20 40 20 80 40  
V
v
t
q
n
N 0 3 filter nqueen 5 177 60 60 60 60 120 120  
Q
T In 1 0 1 0 1 0 5 9 40 20 40 20 80 40  
V
v
t
T Row 0 0 1 1 1 0 47 9 40 20 40 20 80 40  
V
T R 0 0 0 0 1 0 0 1 8 18 0 0 0 0 
V
v
t
v
t
T Out 1 0 0 0 1 0 89 9 40 20 40 20 80 40  
V
v
t
q
n
o
B
D
3 1 -1
1 1 3 1 -1
d
D
3 1 -1
1 2 3 1 -1
d
D
3 1 -1
1 3 3 1 -1
d
D
1 1 3 3 -1
3 2 -1
d
D
1 2 3 3 -1
3 2 -1
d
D
1 3 3 3 -1
3 2 -1
d
b
#
!
Z
z
e
E 1 rows 1  2 155 5 150 274 150 274 300 548  
Q
T In 1 1 0 0 1 3 5 95 40 20 40 20 80 40  
V
v
t
T Out 1 1 1 0 1 4 353 95 40 20 40 20 80 40  
V
v
t
T Cols 1 1 0 0 0 1 167 20 205 19 205 19 410 38  
V
T R 0 0 0 0 1 0 0 1 8 17 0 0 0 0 
V
v
t
T R 0 0 0 0 1 0 9 1 8 17 0 0 0 0 
V
v
t
T R 0 0 0 0 1 0 18 1 8 17 0 0 0 0 
V
v
t
v
t
q
H
I process 5 5 60 60 60 60 120 120  
Q
q
#
!
Z
z
O
o
i
I process 67 5 60 60 60 60 120 120  
Q
q
#
!
Z
z
O
o
i
I process 181 5 60 60 60 60 120 120  
Q
q
#
!
Z
z
O
o
i
h
O
N 0 1 filter nqueen 5 5 60 60 60 60 120 120  
Q
T In 1 0 1 0 1 0 5 9 40 20 40 20 80 40  
V
v
t
T Row 0 0 1 1 1 0 47 9 40 20 40 20 80 40  
V
T R 0 0 0 0 1 0 0 1 8 18 0 0 0 0 
V
v
t
v
t
T Out 1 0 0 0 1 0 89 9 40 20 40 20 80 40  
V
v
t
q
n
N 0 2 filter nqueen 5 67 60 60 60 60 120 120  
Q
T In 1 0 1 0 1 0 5 9 40 20 40 20 80 40  
V
v
t
T Row 0 0 1 1 1 0 47 9 40 20 40 20 80 40  
V
T R 0 0 0 0 1 0 0 1 8 18 0 0 0 0 
V
v
t
v
t
T Out 1 0 0 0 1 0 89 9 40 20 40 20 80 40  
V
v
t
q
n
N 0 3 filter nqueen 5 181 60 60 60 60 120 120  
Q
T In 1 0 1 0 1 0 5 9 40 20 40 20 80 40  
V
v
t
T Row 0 0 1 1 1 0 47 9 40 20 40 20 80 40  
V
T R 0 0 0 0 1 0 0 1 8 18 0 0 0 0 
V
v
t
v
t
T Out 1 0 0 0 1 0 89 9 40 20 40 20 80 40  
V
v
t
q
n
o
B
D
3 1 -1
1 1 3 1 -1
d
D
3 1 -1
1 2 3 1 -1
d
D
3 1 -1
1 3 3 1 -1
d
D
1 1 3 3 -1
3 2 -1
d
D
1 2 3 3 -1
3 2 -1
d
D
1 3 3 3 -1
3 2 -1
d
b
#
!
Z
z
e
E 1 rows 1  3 359 6 150 273 150 273 300 546  
Q
T In 1 1 0 0 1 3 5 94 40 20 40 20 80 40  
V
v
t
T Out 1 1 1 0 1 4 353 94 40 20 40 20 80 40  
V
v
t
T Cols 1 1 0 0 0 1 167 19 205 19 205 19 410 38  
V
T R 0 0 0 0 1 0 0 1 8 17 0 0 0 0 
V
v
t
T R 0 0 0 0 1 0 9 1 8 17 0 0 0 0 
V
v
t
T R 0 0 0 0 1 0 18 1 8 17 0 0 0 0 
V
v
t
v
t
q
H
I process 5 5 60 60 60 60 120 120  
Q
q
#
!
Z
z
O
o
i
I process 67 5 60 60 60 60 120 120  
Q
q
#
!
Z
z
O
o
i
I process 181 5 60 60 60 60 120 120  
Q
q
#
!
Z
z
O
o
i
h
O
N 0 1 filter nqueen 5 5 60 60 60 60 120 120  
Q
T In 1 0 1 0 1 0 5 9 40 20 40 20 80 40  
V
v
t
T Row 0 0 1 1 1 0 47 9 40 20 40 20 80 40  
V
T R 0 0 0 0 1 0 0 1 8 18 0 0 0 0 
V
v
t
v
t
T Out 1 0 0 0 1 0 89 9 40 20 40 20 80 40  
V
v
t
q
n
N 0 2 filter nqueen 5 67 60 60 60 60 120 120  
Q
T In 1 0 1 0 1 0 5 9 40 20 40 20 80 40  
V
v
t
T Row 0 0 1 1 1 0 47 9 40 20 40 20 80 40  
V
T R 0 0 0 0 1 0 0 1 8 18 0 0 0 0 
V
v
t
v
t
T Out 1 0 0 0 1 0 89 9 40 20 40 20 80 40  
V
v
t
q
n
N 0 3 filter nqueen 5 181 60 60 60 60 120 120  
Q
T In 1 0 1 0 1 0 5 9 40 20 40 20 80 40  
V
v
t
T Row 0 0 1 1 1 0 47 9 40 20 40 20 80 40  
V
T R 0 0 0 0 1 0 0 1 8 18 0 0 0 0 
V
v
t
v
t
T Out 1 0 0 0 1 0 89 9 40 20 40 20 80 40  
V
v
t
q
n
o
B
D
3 1 -1
1 1 3 1 -1
d
D
3 1 -1
1 2 3 1 -1
d
D
3 1 -1
1 3 3 1 -1
d
D
1 1 3 3 -1
3 2 -1
d
D
1 2 3 3 -1
3 2 -1
d
D
1 3 3 3 -1
3 2 -1
d
b
#
!
Z
z
e
o
B
D
3 1 -1
1 1 3 1 -1
d
D
1 1 3 2 -1
1 2 3 1 -1
d
D
1 2 3 2 -1
1 3 3 1 -1
d
D
1 3 3 2 -1
3 4 -1
d
D
3 2 -1
1 1 3 3 -1
d
D
3 2 -1
1 2 3 3 -1
d
D
3 2 -1
1 3 3 3 -1
d
b
#
!
Z
z
e
N 0 0 interval math 49 5 132 94 132 94 198 144  
Q
T First 0 0 1 0 1 0 5 5 40 20 40 20 80 40  
V
A 1
a
v
t
T Last 0 0 1 0 1 0 5 29 40 20 40 20 80 40  
V
v
t
T Out 1 0 0 0 1 0 50 17 40 20 40 20 80 40  
V
v
t
q
n
N 0 0 interval math 586 7 134 90 134 90 198 144  
Q
T First 0 0 1 0 1 0 50 5 40 20 40 20 80 40  
V
A 1
a
v
t
T Last 0 0 1 0 1 0 50 29 40 20 40 20 80 40  
V
v
t
T Out 1 0 0 0 0 0 5 17 40 20 40 20 80 40  
V
v
t
q
n
o
B
D
1 1 3 4 -1
3 1 -1
d
D
3 2 -1
1 1 3 1 -1
d
D
1 2 3 3 -1
1 1 3 3 -1
d
D
1 3 3 3 -1
1 1 3 2 -1
d
D
3 4 -1
1 2 3 2 -1
d
D
3 3 -1
1 3 3 2 -1
d
b
G
g
l
r
m
