tightened iteration bounds in registribution for AS/SH with respect to SY
tightened iteration bounds in registribution for AS/SH with respect to SY

devinamatthews/ctf,devinamatthews/ctf,devinamatthews/ctf