import std.stdio;void main(){char[400]s;for(char*p,q;gets(q=p=&*s);printf(*q?&*"failed at: %s ":"yes ",*p?p:&*"EOL"))for(;*p%9%5%3?*q++=*p:(*p^*--q)<7&&*q;)p++;}