#include<stdio.h>

int main(){

char shrt;
char log;
while(scanf("%c", &shrt) != EOF){
    int sign = 1;
    log = '\0';
    int st[128]={0};
    int lo[128]={0};
    st[shrt] = 1;
    while(shrt != '\n'){
    scanf("%c", &shrt);
    st[shrt] = 1;
    }
    while(log != '\n'){
    scanf("%c", &log);
    lo[log] = 1;
}
for(int i=11; i<128; i++){
    if(st[i]==1 && lo[i]==0){
        sign =0;
        break;
    }
}
if(sign==1){
    printf("true\n");
}
else{
    printf("false\n");
}
}

}