#include <cstring>
#include <string>
#include <map>
#include <deque>
#include <queue>
#include <stack>
#include <sstream>
#include <iostream>
#include <iomanip>
#include <cstdio>
#include <cmath>
#include <algorithm>
#include <vector>
#include <set>
#include <list>
#include <climits>
#include <functional>
using namespace std;
struct Device{
bool ON;
int C;
};
int main(){
// freopen("in.txt", "r", stdin);
int N, M, C, Cases = 1;
while(scanf("%d %d %d", &N, &M, &C) != EOF){
if(!N && !M && !C) break;
printf("Sequence %d\n", Cases++);
Device arr[100];
bool Blow = 0;
for(int i = 1; i <= N; i++) {scanf("%d", &arr[i].C); arr[i].ON = 0;}
int Consumption = 0, MAX = 0;
while(M--){
int i; scanf("%d", &i);
if(arr[i].ON) {Consumption -= arr[i].C; arr[i].ON = 0;}
else if(Consumption+arr[i].C <= C) {Consumption += arr[i].C; arr[i].ON = 1;}
else {Blow = 1; break;}
MAX = max(MAX, Consumption);
}
(Blow) ? puts("Fuse was blown."):puts("Fuse was not blown.");
if(!Blow) printf("Maximal power consumption was %d amperes.\n", MAX);
puts("");
}
return 0;
}
I2luY2x1ZGUgPGNzdHJpbmc+CiNpbmNsdWRlIDxzdHJpbmc+CiNpbmNsdWRlIDxtYXA+CiNpbmNsdWRlIDxkZXF1ZT4KI2luY2x1ZGUgPHF1ZXVlPgojaW5jbHVkZSA8c3RhY2s+CiNpbmNsdWRlIDxzc3RyZWFtPgojaW5jbHVkZSA8aW9zdHJlYW0+CiNpbmNsdWRlIDxpb21hbmlwPgojaW5jbHVkZSA8Y3N0ZGlvPgojaW5jbHVkZSA8Y21hdGg+CiNpbmNsdWRlIDxhbGdvcml0aG0+CiNpbmNsdWRlIDx2ZWN0b3I+CiNpbmNsdWRlIDxzZXQ+CiNpbmNsdWRlIDxsaXN0PgojaW5jbHVkZSA8Y2xpbWl0cz4KI2luY2x1ZGUgPGZ1bmN0aW9uYWw+Cgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKc3RydWN0IERldmljZXsKCWJvb2wgT047CglpbnQgQzsKfTsKCmludCBtYWluKCl7Ci8vCWZyZW9wZW4oImluLnR4dCIsICJyIiwgc3RkaW4pOwoJaW50IE4sIE0sIEMsIENhc2VzID0gMTsKCXdoaWxlKHNjYW5mKCIlZCAlZCAlZCIsICZOLCAmTSwgJkMpICE9IEVPRil7CgkJaWYoIU4gJiYgIU0gJiYgIUMpIGJyZWFrOwoJCXByaW50ZigiU2VxdWVuY2UgJWRcbiIsIENhc2VzKyspOwoJCURldmljZSBhcnJbMTAwXTsKCQlib29sIEJsb3cgPSAwOwoJCWZvcihpbnQgaSA9IDE7IGkgPD0gTjsgaSsrKSB7c2NhbmYoIiVkIiwgJmFycltpXS5DKTsgYXJyW2ldLk9OID0gMDt9CgkJaW50IENvbnN1bXB0aW9uID0gMCwgTUFYID0gMDsKCQl3aGlsZShNLS0pewoJCQlpbnQgaTsgc2NhbmYoIiVkIiwgJmkpOwoJCQlpZihhcnJbaV0uT04pIHtDb25zdW1wdGlvbiAtPSBhcnJbaV0uQzsgYXJyW2ldLk9OID0gMDt9CgkJCWVsc2UgaWYoQ29uc3VtcHRpb24rYXJyW2ldLkMgPD0gQykge0NvbnN1bXB0aW9uICs9IGFycltpXS5DOyBhcnJbaV0uT04gPSAxO30KCQkJZWxzZSB7QmxvdyA9IDE7IGJyZWFrO30KCQkJTUFYID0gbWF4KE1BWCwgQ29uc3VtcHRpb24pOwoJCX0KCQkoQmxvdykgPyBwdXRzKCJGdXNlIHdhcyBibG93bi4iKTpwdXRzKCJGdXNlIHdhcyBub3QgYmxvd24uIik7CgkJaWYoIUJsb3cpIHByaW50ZigiTWF4aW1hbCBwb3dlciBjb25zdW1wdGlvbiB3YXMgJWQgYW1wZXJlcy5cbiIsIE1BWCk7CgkJcHV0cygiIik7Cgl9CglyZXR1cm4gMDsKfQ==