LLL algorithm