main(n,m,t){for(;~scanf("%d%d",&n,&m);puts(0<m?"Pass":"Fail"))for(m*=n+n-1;--n;m-=t)scanf("%d",&t);}