#include <stdio.h>
#include <strings.h>

char cy[2002];
char mat[2002][2002];
char prog[2002][81];
int label[200000];
int l[2002],r[2002];
int n,n1;

main(){  
   int i,j,k;
   for (n=0;gets(prog[n]);n++) {
      if (!prog[n][0]) n1=n;
      label[atoi(prog[n])+100000*(n1>0)] = n;
      for(j=0,k=6;prog[n][k];k++) if (prog[n][k]!=' ')prog[n][j++]=prog[n][k];
      prog[n][j]=0;
      l[n] = n+1;
      for (j=strlen(prog[n])-1; j&&isdigit(prog[n][j]); j--){}
      j++;
      k = atoi(prog[n]+j);
      if (j == 4 && !strncmp("goto",prog[n],j)) {
         prog[n][4] = 0;
         r[n] = k + 100000 * (n1>0);
      }
      if (!strncmp("if(",prog[n],3) && !strncmp(")goto",prog[n]+j-5,5)){
         prog[n][j] = 0;
         r[n] = k + 100000 * (n1>0);
      }
   }
   for (i=0;i<n;i++) {
      if (r[i]) r[i] = label[r[i]];
   }
   for (i=0;i<n;i++) cycles(i);
   if (same(0,n1+1)) printf("The programs are equivalent.\n");
   else printf("The programs are not equivalent.\n");
}

same(int a, int b){
  if (mat[a][b]) return 1;
  mat[a][b] = 1;
  if (cy[a] && cy[b]) return 1;
  if (cy[a] != cy[b]) return 0;
  if (!strcmp(prog[a],"goto")) return same(r[a],b);
  if (!strcmp(prog[b],"goto")) return same(a,r[b]);
  if (strcmp(prog[a],prog[b])) return 0;
  if (!strcmp(prog[a],"stop")) return 1;
  if (!same(a+1,b+1)) return 0;
  if (r[a] && !same(r[a],r[b])) return 0;
  return 1;
}

cycles(int a){
   if (cy[a]) return 1;
   if (strcmp("goto",prog[a])) return 0;
   cy[a] = 1;
   if (cycles(r[a])) return 1;
   cy[a] = 0;
   return 0;
}