( 7~s / 4 10 .)