int main(){char*a="7EE9777777777797777779C9C7CC7CC7ECEEC1=EG;E79CC9E7EG"
";CCE9E89P9O==O==O=CKE86OO7O9:89OP9:=EOEOQD9:;G;C;;;;;;OOOSCI5;EG;;;;G;"
";G:E:;G;;7E=9O9OOOQOOS;G;EON:EEQOQREQREDQE@EQO:EGG;G7;GGGGGFEDEE=0",*b=
"\n /_\\|";while(*a){putchar(b[(*a-'0')/6]);putchar(b[(*(a++)-48)%6]);}}