apply-R-splitting done!