#include <stdio.h>
 
int main(){
    for(int i = 0; i < 5000000; ++i) putchar('(');
 
    int a, b, c, d;
    while(1){
        scanf("%d%d%d%d", &a, &b, &c, &d);
        if(a == 0){ break; }
        printf("%d+%d+%d+%d\n", a, b, c, d);
    }
}