No. 11 (2000): RS-11 On Ajtai’s Lower Bound Technique for R-way Branching Programs and the Hamming Distance Problem