lemke with nonrandom tie-breaking rule and pivot history recording