Adding Two Binary Strings In Python Definition