g
A
A
g
B
A
g
B
B
g
C
A
g
C
B
g
C
C
foldB
t
0
t
foldB
t
s
n
f
foldB
t
n
B
foldC
t
0
t
foldC
t
s
n
f
foldC
t
n
C
f
t
x
f'
t
g
x
f'
triple
a
b
c
C
triple
a
b
s
c
f'
triple
a
b
c
B
f
triple
a
b
c
A
f'
triple
a
b
c
A
f''
foldB
triple
s
a
0
c
b
f''
triple
a
b
c
foldC
triple
a
b
0
c
2.2
f
t
x
f'
t
g
x
foldC
t
s
n
f
foldC
t
n
C
foldB
t
s
n
foldB
t
n
foldC
t
s
n
foldC
t
n
f''
triple
a
b
c
foldC
triple
a
b
0
c
f'
triple
a
b
c
A
foldB
triple
s
a
0
c
b
f
t
x
g
x
f'
triple
a
b
c
B
f
triple
a
b
c
A
foldB
t
s
n
f
foldB
t
n
B
f'
triple
a
b
c
A
f''
foldB
triple
s
a
0
c
b
true
f'
triple
a
b
c
A
f''
foldB
triple
s
a
0
c
b
foldB
t
s
n
f
foldB
t
n
B
f'
triple
a
b
c
B
f
triple
a
b
c
A
foldB
t
s
n
foldB
t
n
foldC
t
s
n
f
foldC
t
n
C
f'
triple
a
b
c
A
foldB
triple
s
a
0
c
b
f''
triple
a
b
c
foldC
triple
a
b
0
c
foldC
t
s
n
foldC
t
n
f
t
x
f'
t
g
x
true
s
1
1
23625
foldC
2
1
2
0
f'
2
1
2
23613
triple
3
2
3
0
C
0
4
f
2
1
23625
B
0
9
foldB
2
1
2
23612
0
0
1
foldB
2
1
2
23615
A
0
3
f
2
1
2
23619
g
1
0
f'
2
1
23625
foldC
2
1
2
1
g
1
1
5
f''
1
1
2
f''
1
1
2
f'
triple
a
b
c
A
foldB
triple
s
a
0
c
b
f'
triple
a
b
c
B
f
triple
a
b
c
A
foldB
t
s
n
f
foldB
t
n
B
g
C
A
f''
triple
a
b
c
foldC
triple
a
b
0
c
foldB
t
s
n
f
foldB
t
n
B
g
A
A
g
B
B
g
C
B
foldC
t
s
n
f
foldC
t
n
C
foldB
t
0
t
f'
triple
a
b
c
A
f''
foldB
triple
s
a
0
c
b
f'
triple
a
b
c
C
triple
a
b
s
c
f
t
x
f'
t
g
x
foldC
t
0
t
f'
triple
a
b
c
B
f
triple
a
b
c
A
g
C
C
g
B
A
f'
triple
a
b
c
A
foldB
triple
s
a
0
c
b
false
foldB
t
s
n
f
foldB
t
n
B
false
f'
triple
a
b
c
B
f
triple
a
b
c
A
false
f
t
x
g
x
false
NaTT
certifiable-1.6