ac1
a
ac2
b
c
ac1
b
f
ac2
a
c
ac2
a
ac1
b
c
ac2
b
f
ac1
a
c
ac1
ac2
ac1
ac2
2.2
ac2
x
y
ac2
y
x
ac2
x
ac2
y
z
ac2
ac2
x
y
z
ac1
x
ac1
y
z
ac1
ac1
x
y
z
ac1
x
y
ac1
y
x
ac1
x
ac1
y
z
ac1
ac1
x
y
z
ac1
x
ac1
y
z
ac1
x
y
ac1
x
y
ac1
y
x
ac2
x
ac2
y
z
ac2
x
y
ac2
x
y
ac2
y
x
ac2
x
ac2
y
z
ac2
ac2
x
y
z
ac2
a
ac1
b
c
ac1
a
c
ac1
a
ac2
b
c
ac2
a
c
ac2
a
ac1
b
c
ac2
b
f
ac1
a
c
ac1
a
ac2
b
c
ac1
b
f
ac2
a
c
ac2
ac2
a
ac1
b
c
_1
ac2
ac2
b
f
ac1
a
c
_1
ac1
ac1
a
ac2
b
c
_1
ac1
ac1
b
f
ac2
a
c
_1
ac2
x
ac2
y
z
ac2
ac2
x
y
z
ac1
a
ac2
b
c
ac1
b
f
ac2
a
c
ac2
a
ac1
b
c
ac2
b
f
ac1
a
c
ac2
x
y
ac2
y
x
ac1
a
ac2
b
c
ac2
a
c
ac1
x
ac1
y
z
ac1
ac1
x
y
z
ac2
x
ac2
y
z
ac2
x
y
ac1
x
y
ac1
y
x
ac1
x
ac1
y
z
ac1
x
y
ac2
a
ac1
b
c
ac1
a
c
true
a
0
0
ac1
2
2
b
0
11292
c
0
1
f
1
3
ac1
2
1
2
3
ac2
2
1
2
1
ac2
2
1
2
0
ac2
a
ac1
b
c
ac1
a
c
ac2
x
ac2
y
z
ac2
x
y
ac1
a
ac2
b
c
ac2
a
c
ac2
a
ac1
b
c
ac2
b
f
ac1
a
c
ac2
x
ac2
y
z
ac2
ac2
x
y
z
ac2
x
y
ac2
y
x
ac2
a
ac1
b
c
ac2
b
f
ac1
a
c
ac1
x
y
ac1
y
x
ac1
a
ac2
b
c
ac1
b
f
ac2
a
c
ac1
x
ac1
y
z
ac1
x
y
ac1
x
ac1
y
z
ac1
ac1
x
y
z
true
a
0
0
ac1
2
1
2
2
b
0
0
c
0
1
f
1
1
ac1
2
1
2
1
ac2
2
1
2
1
ac2
2
1
2
0
ac1
x
ac1
y
z
ac1
x
y
ac1
a
ac2
b
c
ac1
b
f
ac2
a
c
ac1
x
y
ac1
y
x
ac1
a
ac2
b
c
ac1
b
f
ac2
a
c
ac1
x
ac1
y
z
ac1
ac1
x
y
z
ac2
x
ac2
y
z
ac2
ac2
x
y
z
ac2
x
y
ac2
y
x
ac2
a
ac1
b
c
ac2
b
f
ac1
a
c
ac1
x
y
ac1
y
x
ac1
x
ac1
y
z
ac1
ac1
x
y
z
true
ac2
x
ac2
y
z
ac2
ac2
x
y
z
ac2
x
y
ac2
y
x
true
ac2
x
ac2
y
z
ac2
x
y
ac2
x
y
ac2
y
x
ac2
ac2
a
ac1
b
c
_1
ac2
ac2
b
f
ac1
a
c
_1
ac2
x
ac2
y
z
ac2
ac2
x
y
z
true
a
0
0
ac1
2
1
2
2
b
0
0
c
0
2
f
1
1
ac1
2
1
2
0
ac2
2
1
2
1
ac2
2
1
2
0
ac2
ac2
a
ac1
b
c
_1
ac2
ac2
b
f
ac1
a
c
_1
ac2
x
ac2
y
z
ac2
x
y
ac1
x
y
ac1
y
x
ac1
a
ac2
b
c
ac1
b
f
ac2
a
c
ac1
x
ac1
y
z
ac1
ac1
x
y
z
ac2
x
ac2
y
z
ac2
ac2
x
y
z
ac2
x
y
ac2
y
x
ac2
a
ac1
b
c
ac2
b
f
ac1
a
c
ac2
x
ac2
y
z
ac2
ac2
x
y
z
ac2
x
y
ac2
y
x
true
ac1
x
y
ac1
y
x
ac1
x
ac1
y
z
ac1
ac1
x
y
z
ac1
x
ac1
y
z
ac1
x
y
ac1
ac1
a
ac2
b
c
_1
ac1
ac1
b
f
ac2
a
c
_1
true
a
0
0
ac1
2
1
2
2
b
0
1
c
0
1
f
1
1
ac1
2
1
2
1
ac2
2
1
2
1
ac2
2
1
2
0
ac1
ac1
a
ac2
b
c
_1
ac1
ac1
b
f
ac2
a
c
_1
ac1
x
ac1
y
z
ac1
x
y
ac1
x
y
ac1
y
x
ac1
a
ac2
b
c
ac1
b
f
ac2
a
c
ac1
x
ac1
y
z
ac1
ac1
x
y
z
ac2
x
ac2
y
z
ac2
ac2
x
y
z
ac2
x
y
ac2
y
x
ac2
a
ac1
b
c
ac2
b
f
ac1
a
c
ac1
x
y
ac1
y
x
ac1
x
ac1
y
z
ac1
ac1
x
y
z
true
NaTT
certifiable-1.6