#include <cstdio>
int a,d,t,c;main(){d=1;while(~(c=getchar())){if(c<33){t+=d?d*a:(t*2-1)*a-t;d-=(d+2)/2;a=0;}else a=a*10+c-48;if(c<11){puts(t>0?"Pass":"Fail");a=t=0;d=1;}}}
Note that non-ascii characters in the above source code will be escaped (such as \x9f).