g
c
x1
g
f
c
x1
g
f
c
x1
g
f
f
c
x1
g
g
x1
g
f
g
x1
f
f
g
x1
g
f
x1
2.2
g
f
c
x1
f
f
c
x1
g
c
x1
f
c
x1
f
f
g
x1
g
f
x1
g
c
x1
g
f
c
x1
g
g
x1
g
f
g
x1
g
f
c
x1
g
f
f
c
x1
f
f
g
x1
f
x1
g
g
x1
f
g
x1
true
g
g
x1
f
g
x1
f
f
g
x1
f
x1
g
g
x1
g
f
g
x1
f
f
g
x1
g
f
x1
true
c
1
42736
f
1
1
0
f
1
1
0
g
1
1
8366
g
1
1
8367
g
g
x1
g
f
g
x1
f
f
g
x1
g
f
x1
g
c
x1
g
f
c
x1
g
g
x1
g
f
g
x1
g
f
c
x1
g
f
f
c
x1
g
g
x1
g
f
g
x1
true
2
1
c
1
1
1
1
1
1
0
1
f
1
0
1
1
0
1
3153
16674
f
1
0
0
g
1
0
0
1
0
1
0
0
g
1
18005
34680
f
f
g
x1
g
f
x1
g
c
x1
g
f
c
x1
g
g
x1
g
f
g
x1
g
f
c
x1
g
f
f
c
x1
g
c
x1
g
f
c
x1
false
g
f
c
x1
g
f
f
c
x1
false
g
c
x1
f
c
x1
false
g
f
c
x1
f
f
c
x1
false
NaTT
certifiable-1.6