#include<iostream>
#define q std::cin
int main(){int n,x,s;while(q>>n){q>>s;s*=2*n-1;while(--n)q>>x,s-=x;std::cout<<((s>0)?"Pass\n":"Fail\n");}return 0;}