main(n,a,b){for(;~scanf("%d%d",&n,&a);puts(a>0?"Pass":"Fail"))for(a*=2*n-1;--n;a-=b)scanf("%d",&b);}