main(int r){for(;r%61-3;)__builtin_printf("%d\n",r=r/2|'@@'*r&'@');}