exploring with .lp extension