read (x0); read (x1); read (x2); read (x3); y := ((((x1!!248)<=(750<=413))+((805>=935)+(174>=605)))+(839*x0+(x2-x2)>((x1!!x1)&&547<=x2))<((x0<=x1&&x2+241)-((246!=x3)==(x0==x0)))+((687((x2!!913)!=(x2<559))))*(((x0-x3<(598==x1)!!934>=392&&(91!!x2))!!((x0!!943)>403-873)+((172&&890)>(897!=x3)))>(((x2-899)+(763+x0)>(x0-880)-(x2==x2))<=((335!!x1)==(977&&510))+((171<=74)>(x0&&345))))<=((((((x2==906)==(282<=696))!=((184!=241)>(x1>650)))<((47915)))>((x3+x1<=(936!=725)!!(x1==853)>=x1+647)>((812==x2)*(252!!x1)==((45!=883)<=(865<=x2)))))<((((846>=889)!=(x0!=150))-((689==x1)<(289x2)>(712==x0))<((804<=875)<(x3>=x0))&&(x2+55)+(357<=818)!=((x2!!988)>=(x3!!823))))&&((((x1<=x0)*(867==39)<=(840>696)*(x3*807))*(775*855&&x0==515!!(x2!!x1)>(700==607))==(((653!!x0)-(73>x2))+(x0-x1==(x0!=963)))+((316*x1<=(943!!442))!=(x3>=x1)+(x3>815)))>((((x1<807)==(x1!=x2))>=((576>x3)>=(x1!=x0)))!=((540!!847)!=(462<=x1)!!171==x2&&549*x0)!!((354<=77!!(x2!!235))<=(x0*x3<=(520!!x2)))<((x2!=x1)*(549+528)!!x2-x2>(x1==x2))))>((((704!=x0!!522&&x2)<=((917>696)>=(484&&106)))>=(((821<=x0)(x3==x1))>=(54*793)*(212>=731))*((x2*349!!518>x0)-(x1-x0<(x1551)))-((x3!!x1)*(655&&x2)&&x3*x0>=(767=931)*(x3&&486))+((x0>x0)+(855>x0)!=((508