lp27 524888 lp2.7 lp27 67015 lp2.7/doc lp27 112826 lp2.7/examples lp27 11616 lp2.7/examples/acl86 lp27 21569 lp2.7/examples/cade9 lp27 27704 lp2.7/examples/meta88 lp27 8761 lp2.7/examples/metainterp lp27 11821 lp2.7/examples/misc lp27 15822 lp2.7/examples/slp87 lp27 15533 lp2.7/examples/typeinf lp27 166010 lp2.7/src lp27 166727 lp2.7/src-quintus lp27 5516 lp2.7/sysmods