stan32lem32 documents