Restricted shares are already counted in the OS. I just finished depositing two mature R144 certs and verified they were already included in the OS at the time of issuance.