#include <stdio.h>
int main(void) 
{
     FILE *fin, *fout;
     int state[20], capacity[20];
     int i, amps, max, n, m, c, dev, blown, caseno;
     fin = fopen("fuses.in", "r");
     fout = stdout;
     caseno = 1;
     while (fscanf(fin, "%d %d %d", &n, &m, &c) && n && m && c) {
	  amps = 0; max = 0, blown=0;
	  for (i=0; i<20;i++)
	       state[i]=0,capacity[i]=0;
	  for (i=0; i<n; i++)
	       fscanf(fin, "%d", &capacity[i]);
	  for (i=0; i<m;i++) {
	       fscanf(fin, "%d", &dev);
	       if (!state[dev-1]) {
		    amps += capacity[dev-1];
		    state[dev-1]=1;
		    if (max<amps)
			 max = amps;
	       } else {
		    amps -= capacity[dev-1];
		    state[dev-1]=0;
	       }
	       if (amps>c) blown=1;
	  }
	  if (!blown) {
	       fprintf(fout, "Sequence %d\n", caseno++);
	       fprintf(fout, "Fuse was not blown.\n");
	       fprintf(fout, "Maximal power consumption was %d amperes.\n\n",
		       max);
	  } else {
	       fprintf(fout, "Sequence %d\n", caseno++);
	       fprintf(fout, "Fuse was blown.\n\n");
	  }
     }
     return 0;
}