tower
x
f
a
x
s
0
f
a
0
y
y
f
a
s
x
y
f
b
y
s
x
f
b
y
x
f
a
half
x
exp
y
exp
0
s
0
exp
s
x
double
exp
x
double
0
0
double
s
x
s
s
double
x
half
0
double
0
half
s
0
half
0
half
s
s
x
s
half
x
tower
1
f
3
a
0
s
1
0
0
b
0
half
1
exp
1
double
1
INNERMOST
./TRS/Thiemann/tower_sizeChange.trs