a
a
x1
b
b
b
x1
a
x1
d
c
d
x1
b
b
b
x1
a
f
x1
b
b
x1
c
c
c
x1
c
c
x1
d
d
d
x1
c
d
d
x1
f
x1
f
f
x1
f
a
x1
2.2
c
d
d
x1
f
x1
b
b
b
x1
f
x1
a
a
x1
b
x1
b
b
x1
c
c
x1
b
b
x1
c
x1
a
a
x1
b
b
b
x1
b
b
x1
c
c
c
x1
b
b
b
x1
a
f
x1
f
f
x1
f
a
x1
a
x1
c
d
x1
a
a
x1
b
b
x1
f
f
x1
a
x1
true
f
f
x1
a
x1
b
b
x1
c
x1
a
a
x1
b
b
x1
a
x1
c
d
x1
f
f
x1
f
a
x1
b
b
x1
c
c
x1
a
a
x1
b
x1
b
b
b
x1
f
x1
b
b
b
x1
a
f
x1
b
b
x1
c
c
c
x1
a
a
x1
b
b
b
x1
c
d
d
x1
f
x1
true
a
1
1
678006
d
1
1
193716
b
1
1
452004
c
1
1
290574
f
1
1
678006
f
1
1
387431
c
1
1
0
a
1
1
355147
b
1
1
129145
a
a
x1
b
b
b
x1
b
b
b
x1
a
f
x1
f
f
x1
f
a
x1
b
b
x1
c
c
c
x1
a
a
x1
b
b
b
x1
b
b
b
x1
a
f
x1
c
c
x1
d
d
d
x1
f
f
x1
f
a
x1
c
d
d
x1
f
x1
a
x1
d
c
d
x1
a
a
x1
b
b
b
x1
b
b
b
x1
a
f
x1
true
a
1
1
14
d
1
1
4
b
1
1
9
c
1
1
6
f
1
1
f
1
1
387431
c
1
1
0
a
1
1
16
b
1
1
0
b
b
x1
c
c
c
x1
a
a
x1
b
b
b
x1
b
b
b
x1
a
f
x1
c
c
x1
d
d
d
x1
f
f
x1
f
a
x1
c
d
d
x1
f
x1
a
x1
d
c
d
x1
f
f
x1
f
a
x1
true
a
1
0
d
1
0
b
1
0
c
1
1
f
1
1
f
1
0
1
c
1
0
a
1
0
b
1
0
a
1
1
159429
d
1
1
44286
b
1
1
106286
c
1
1
70857
f
1
1
159429
f
1
1
1
c
1
1
a
1
1
b
1
1
b
b
x1
c
c
c
x1
a
a
x1
b
b
b
x1
b
b
b
x1
a
f
x1
c
c
x1
d
d
d
x1
f
f
x1
f
a
x1
c
d
d
x1
f
x1
a
x1
d
c
d
x1
NaTT
certifiable-1.6