LPM 0.72

faster LP counting