f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
s
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x2
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
s
x3
x4
x5
x6
x7
x8
x9
x10
f
x3
x3
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
s
x4
x5
x6
x7
x8
x9
x10
f
x4
x4
x4
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
0
s
x5
x6
x7
x8
x9
x10
f
x5
x5
x5
x5
x5
x6
x7
x8
x9
x10
f
0
0
0
0
0
s
x6
x7
x8
x9
x10
f
x6
x6
x6
x6
x6
x6
x7
x8
x9
x10
f
0
0
0
0
0
0
s
x7
x8
x9
x10
f
x7
x7
x7
x7
x7
x7
x7
x8
x9
x10
f
0
0
0
0
0
0
0
s
x8
x9
x10
f
x8
x8
x8
x8
x8
x8
x8
x8
x9
x10
f
0
0
0
0
0
0
0
0
s
x9
x10
f
x9
x9
x9
x9
x9
x9
x9
x9
x9
x10
f
0
0
0
0
0
0
0
0
0
s
x10
f
x10
x10
x10
x10
x10
x10
x10
x10
x10
x10
f
0
0
0
0
0
0
0
0
0
0
0
f
10
s
1
0
0
INNERMOST
tct_complexity/TCT_12/polycounter-10.trs