char buf[1<<18];

int main(){
	read(0,buf,sizeof buf);
	char*rp=buf;
	while(*rp++!=10);
	for(int c;c=*rp;rp+=2){
		if(c!='0'){
			write(1,"Yes",3);
			_exit(0);
		}
	}
	write(1,"No",2);
	_exit(0);
}