CRPT$ (Mxrxgxa version)