ppr128sol‘s Following are private.