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
fold
t
x
0
t
fold
t
x
s
n
f
fold
t
x
n
x
2.2
f
t
x
f'
t
g
x
foldC
t
s
n
f
foldC
t
n
C
fold
t
x
s
n
fold
t
x
n
foldB
t
s
n
foldB
t
n
f''
triple
a
b
c
foldC
triple
a
b
0
c
foldC
t
s
n
foldC
t
n
foldB
t
s
n
f
foldB
t
n
B
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
fold
t
x
s
n
f
fold
t
x
n
x
f'
triple
a
b
c
A
f''
foldB
triple
s
a
0
c
b
true
fold
t
x
s
n
fold
t
x
n
true
s
1
1
1
foldC
2
0
f'
2
0
triple
3
0
C
0
0
f
2
0
B
0
0
foldB
2
0
fold
3
3
0
0
0
0
foldB
2
0
A
0
0
f
2
0
g
1
0
fold
3
0
f'
2
0
foldC
2
0
g
1
0
f''
1
0
f''
1
0
fold
t
x
s
n
f
fold
t
x
n
x
false
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
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
foldB
t
s
n
f
foldB
t
n
B
foldC
t
s
n
foldC
t
n
f
t
x
f'
t
g
x
true
s
1
1
145146
foldC
2
1
2
0
f'
2
1
119705
triple
3
2
3
1
C
0
1
f
2
1
145146
B
0
3
foldB
2
1
2
22541
fold
3
0
0
0
48581
foldB
2
1
2
71123
A
0
5
f
2
1
119705
g
1
0
fold
3
0
f'
2
1
145146
foldC
2
1
2
25440
g
1
1
1
f''
1
1
74024
f''
1
1
48582
f
t
x
f'
t
g
x
f'
triple
a
b
c
B
f
triple
a
b
c
A
f''
triple
a
b
c
foldC
triple
a
b
0
c
foldB
t
s
n
f
foldB
t
n
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
f
t
x
f'
t
g
x
f'
triple
a
b
c
B
f
triple
a
b
c
A
true
s
1
1
1
foldC
2
0
f'
2
2
119705
triple
3
1
C
0
31252
f
2
1
0
B
0
54889
foldB
2
1
2
39787
fold
3
0
0
0
12237
foldB
2
71123
A
0
31250
f
2
2
143343
g
1
0
fold
3
0
f'
2
1
0
foldC
2
1
0
g
1
1
23637
f''
1
1
f''
1
1
48582
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
t
x
g
x
false
NaTT
certifiable-1.6