char a[2][1024]={{99,104,97,114,32,97,91,50,93,91,49,48,50,52,93,61,123},{125,59,10,105,110,116,32,109,97,105,110,40,118,111,105,100,41,123,105,110,116,32,105,44,106,59,112,114,105,110,116,102,40,34,37,115,34,44,97,91,48,93,41,59,102,111,114,40,105,61,48,59,105,60,50,59,105,43,43,41,123,112,114,105,110,116,102,40,34,123,34,41,59,102,111,114,40,106,61,48,59,97,91,105,93,91,106,93,59,106,43,43,41,112,114,105,110,116,102,40,34,37,100,37,99,34,44,97,91,105,93,91,106,93,44,97,91,105,93,91,106,43,49,93,61,61,39,92,48,39,63,39,125,39,58,39,44,39,41,59,112,114,105,110,116,102,40,34,37,99,34,44,105,61,61,49,63,39,44,39,58,39,92,48,39,41,59,125,112,114,105,110,116,102,40,34,37,115,34,44,97,91,49,93,41,59,114,101,116,117,114,110,32,48,59,125}};
int main(void){int i,j;printf("%s",a[0]);for(i=0;i<2;i++){printf("{");for(j=0;a[i][j];j++)printf("%d%c",a[i][j],a[i][j+1]==0?'}':',');printf("%c",i==0?',':'\0');}printf("%s",a[1]);return 0;}