lenip [ flr * §ri ) eii.