#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", a, b, c, d);
	}
}