#include<cstdio> char s1[100],s2[100]; int num[150]; int jg[150]; int bz; int main() { int n,i; while(~scanf("%d",&n)) { int tot=0; if(n==0) break; scanf("%s%s",s1,s2); if(s1[0]=='r') { printf("Stan may be honest "); continue; } else if(s1[0]=='t') { if(s2[0]=='h')//高了 { num[tot]=n; jg[tot]=1;//1表示高了 tot++; } else if(s2[0]=='l')//低了 { num[tot]=n; jg[tot]=0;//0表示低了 tot++; } } while(1) { scanf("%d",&n); scanf("%s%s",s1,s2); if(s1[0]=='r') { bz=n; break; } else if(s1[0]=='t') { if(s2[0]=='h')//高了 { num[tot]=n; jg[tot]=1;//1表示高了 tot++; } else if(s2[0]=='l')//低了 { num[tot]=n; jg[tot]=0;//0表示低了 tot++; } } } for(i=0;i<tot;i++) { if((num[i]>bz&&jg[i]==1)||(num[i]<bz&&jg[i]==0)) continue; else break; } if(i==tot) printf("Stan may be honest "); else printf("Stan is dishonest "); } return 0; }