/* package whatever; // don't place package name! */
import java.util.* ;
import java.lang.* ;
import java.io.* ;
/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
{
// TODO Auto-generated method stub
Scanner input
= new Scanner
( System .
in ) ;
char helper;
int stack[ ] = new int [ 10 ] ;
int l;
int i =- 1 ;
List< String> outcome = new ArrayList<> ( ) ;
while ( true ) {
znak= input.nextLine ( ) ;
if ( znak.isEmpty ( ) ) {
input.close ( ) ;
break ;
}
if ( znak.charAt ( 0 ) == '+' && i< 9 ) {
znak= input.nextLine ( ) ;
if ( znak.isEmpty ( ) ) {
input.close ( ) ;
break ;
}
l= znak.length ( ) ;
char [ ] checker= znak.toCharArray ( ) ;
for ( int a= 0 ; a< l; a++ ) {
if ( ( int ) checker[ a] < 48 || ( int ) checker[ a] > 57 ) {
}
}
i++;
outcome.add ( ":)" ) ;
} else if ( znak.charAt ( 0 ) == '-' && i>= 0 && i<= 9 ) {
outcome.
add ( String .
valueOf ( stack
[ i
] ) ) ; i--;
}
else {
outcome.add ( ":(" ) ;
}
znak= input.nextLine ( ) ;
if ( znak.isEmpty ( ) ) {
input.close ( ) ;
break ;
}
if ( znak.charAt ( 0 ) == '+' && i< 9 ) {
znak= input.nextLine ( ) ;
if ( znak.isEmpty ( ) ) {
input.close ( ) ;
break ;
}
l= znak.length ( ) ;
char [ ] checker= znak.toCharArray ( ) ;
for ( int a= 0 ; a< l; a++ ) {
if ( ( int ) checker[ a] < 48 || ( int ) checker[ a] > 57 ) {
}
}
i++;
outcome.add ( ":)" ) ;
} else if ( znak.charAt ( 0 ) == '-' && i>= 0 && i<= 9 ) {
outcome.
add ( String .
valueOf ( stack
[ i
] ) ) ;
i--;
}
else {
outcome.add ( ":(" ) ;
}
}
}
}
}
LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CgovKiBOYW1lIG9mIHRoZSBjbGFzcyBoYXMgdG8gYmUgIk1haW4iIG9ubHkgaWYgdGhlIGNsYXNzIGlzIHB1YmxpYy4gKi8KY2xhc3MgSWRlb25lCnsKCXB1YmxpYyBzdGF0aWMgdm9pZCBtYWluIChTdHJpbmdbXSBhcmdzKSB0aHJvd3MgamF2YS5sYW5nLkV4Y2VwdGlvbgoJewoJCS8vIFRPRE8gQXV0by1nZW5lcmF0ZWQgbWV0aG9kIHN0dWIKICAgICAgICAgU2Nhbm5lciBpbnB1dCA9IG5ldyBTY2FubmVyKFN5c3RlbS5pbik7CiAgICAgICAgIFN0cmluZyB6bmFrOwogICAgICAgICAKICAgICAgICAgY2hhciBoZWxwZXI7CgkJIGludCBzdGFja1tdPW5ldyBpbnRbMTBdOwoJCSBpbnQgbDsKCQkgIAoJCSBpbnQgaSA9LTE7CgkJIExpc3Q8U3RyaW5nPiBvdXRjb21lID0gbmV3IEFycmF5TGlzdDw+KCk7CgkJIAoJCQoJCXdoaWxlICh0cnVlKXsKCQkKCQkJem5haz1pbnB1dC5uZXh0TGluZSgpOwoJCQlpZih6bmFrLmlzRW1wdHkoKSl7CgkJCQlpbnB1dC5jbG9zZSgpOwoJICAgICAgICAJYnJlYWs7CgkgICAgICAgIH0KCQkJCgkgICAgICAgIGlmKHpuYWsuY2hhckF0KDApPT0nKycgJiYgaTw5KXsKCSAgICAgICAgCXpuYWs9aW5wdXQubmV4dExpbmUoKTsKCSAgICAgICAgCWlmKHpuYWsuaXNFbXB0eSgpKXsKCSAgICAgICAgCQlpbnB1dC5jbG9zZSgpOwoJCSAgICAgICAgCWJyZWFrOwoJCSAgICAgICAgfQoJICAgICAgICAJbD16bmFrLmxlbmd0aCgpOwoJICAgICAgICAJY2hhcltdIGNoZWNrZXI9em5hay50b0NoYXJBcnJheSgpOwoJICAgICAgICAJZm9yKGludCBhPTA7YTxsO2ErKykgewoJICAgICAgICAJCWlmKChpbnQpY2hlY2tlclthXTw0OCB8fCAoaW50KWNoZWNrZXJbYV0+NTcpIHsKCSAgICAgICAgCQkJU3lzdGVtLmV4aXQoMCk7CgkgICAgICAgIAkJfQoJICAgICAgICAJfQoJICAgICAgICBpKys7CgkgICAgICAgIHN0YWNrW2ldPUludGVnZXIucGFyc2VJbnQoem5hayk7CgkgICAgICAgIG91dGNvbWUuYWRkKCI6KSIpOwoJICAgICAgICAKCSAgICAgICAgfWVsc2UgaWYoem5hay5jaGFyQXQoMCk9PSctJyAmJiBpPj0wICYmIGk8PTkpewoJICAgICAgICBvdXRjb21lLmFkZChTdHJpbmcudmFsdWVPZihzdGFja1tpXSkpOwoJICAgICAgICBpLS07CgkgICAgICAgIH0KCSAgICAgICAgZWxzZXsKCQkgICAgICAgIG91dGNvbWUuYWRkKCI6KCIpOwoJCSAgICAgICAgCgkJICAgIH0KCSAgICAgICAgem5haz1pbnB1dC5uZXh0TGluZSgpOwoJICAgICAgICAKCSAgICAgICAgaWYoem5hay5pc0VtcHR5KCkpewoJICAgICAgICAJaW5wdXQuY2xvc2UoKTsKCSAgICAgICAgCWJyZWFrOwoJICAgICAgICB9CgkgICAgICAgIAoJICAgICAgICBpZih6bmFrLmNoYXJBdCgwKT09JysnICYmIGk8OSl7CgkgICAgICAgIAl6bmFrPWlucHV0Lm5leHRMaW5lKCk7CgkgICAgICAgIAlpZih6bmFrLmlzRW1wdHkoKSl7CgkgICAgICAgIAkJaW5wdXQuY2xvc2UoKTsKCQkgICAgICAgIAlicmVhazsKCQkgICAgICAgIH0KCSAgICAgICAgCWw9em5hay5sZW5ndGgoKTsKCSAgICAgICAgCWNoYXJbXSBjaGVja2VyPXpuYWsudG9DaGFyQXJyYXkoKTsKCSAgICAgICAgCWZvcihpbnQgYT0wO2E8bDthKyspIHsKCSAgICAgICAgCQlpZigoaW50KWNoZWNrZXJbYV08NDggfHwgKGludCljaGVja2VyW2FdPjU3KSB7CgkgICAgICAgIAkJCVN5c3RlbS5leGl0KDApOwoJICAgICAgICAJCX0KCSAgICAgICAgCX0KCSAgICAgICAgaSsrOwogICAgICAgICAgICBzdGFja1tpXT1JbnRlZ2VyLnBhcnNlSW50KHpuYWspOwogICAgICAgICAgICBvdXRjb21lLmFkZCgiOikiKTsKICAgICAgICAgICAgCgkgICAgICAgIH1lbHNlIGlmKHpuYWsuY2hhckF0KDApPT0nLScgJiYgaT49MCAmJiBpPD05KXsKICAgICAgICAgICAgb3V0Y29tZS5hZGQoU3RyaW5nLnZhbHVlT2Yoc3RhY2tbaV0pKTsKICAgICAgICAgICAgCiAgICAgICAgICAgIGktLTsKICAgICAgICAgICAgCgkgICAgICAgIH0KCSAgICAgICAgCgkgICAgICAgIGVsc2V7CgkJICAgICAgICBvdXRjb21lLmFkZCgiOigiKTsKCQkgICAgfQoJICAgICAgICAKCQkJfQoJICAgICAgCgkJCgkJZm9yKFN0cmluZyBzOiBvdXRjb21lKSB7CgkJCVN5c3RlbS5vdXQucHJpbnRsbihzKTsKCQl9CgkJCgkJCgkJCgkJCgkJCgkJCgkJCgl9Cn0=