a
x1
g
d
x1
b
b
b
x1
c
d
c
x1
b
b
x1
a
g
g
x1
c
d
x1
g
g
x1
g
g
g
x1
b
b
x1
2.2
b
b
b
x1
c
x1
b
b
x1
g
g
x1
c
d
x1
g
g
x1
b
b
x1
g
x1
c
d
x1
g
x1
b
b
x1
a
g
g
x1
g
g
g
x1
b
b
x1
b
b
b
x1
c
d
c
x1
a
x1
g
d
x1
g
g
g
x1
b
x1
true
g
g
g
x1
b
x1
b
b
b
x1
c
d
c
x1
g
g
g
x1
b
b
x1
c
d
x1
g
g
x1
b
b
x1
g
g
x1
c
d
x1
g
x1
b
b
x1
g
x1
b
b
b
x1
c
x1
true
a
1
1
23600
d
1
1
0
b
1
1
35400
c
1
1
47200
g
1
1
0
c
1
1
23601
a
1
0
g
1
1
23600
b
1
1
2
c
d
x1
g
g
x1
a
x1
g
d
x1
b
b
x1
a
g
g
x1
g
g
g
x1
b
b
x1
b
b
b
x1
c
d
c
x1
b
b
x1
a
g
g
x1
false
a
x1
g
d
x1
false
NaTT
certifiable-1.6