Lehman's algorithm