#include<stdio.h>

typedef int capacita_tipo[20];
typedef int abilitato_tipo[20];

int main () {
  FILE *f;
  int n,m,c,i,o,cap_att,cap_max=0,cont=1;
  capacita_tipo capacita;
  abilitato_tipo abilitato;
  f=fopen("fuses.in","r");
  fscanf(f,"%d %d %d\n",&n,&m,&c);
  while(n+m+c>0)
    { cap_att=0;cap_max=0;
      for(i=0;i<n;i++)
	{
	  fscanf(f,"%d\n",&capacita[i]);
	  abilitato[i]=0;
	}
      for (i=0;i<m;i++)
	{
	  fscanf(f,"%d\n",&o);
	  o--;
	  abilitato[o]=!abilitato[o];
	  if (abilitato[o])
	    cap_att+=capacita[o];
	  else
	    cap_att-=capacita[o];
	  if (cap_max<cap_att)
	    cap_max=cap_att;
	}
      printf("Sequence %d\n",cont);
      cont++;
      if (cap_max>c)
	printf("Fuse was blown.\n\n");
      else
	{
	  printf("Fuse was not blown.\n");
	  printf("Maximal power consumption was %d amperes.\n\n",cap_max);
	}
      fscanf(f,"%d %d %d\n",&n,&m,&c);
    }
  return 0;
}