#include <stdlib.h>
#include <stdio.h>

FILE *vstup;
int c,zn;

int main(void)
{
   vstup=fopen("zavorky.in","r");
   c=0;
   while((zn=fgetc(vstup))!=EOF) {
     if(zn=='(') c++; else c--;
     if(c<0) break;
   }
   if(c==0) printf("Spravne uzavorkovano.");
       else printf("Spatne uzavorkovano.");
   fclose(vstup);
}