lama_byterun/regression/deep-expressions/generated00006.expr

8 lines
1.4 KiB
Text
Raw Normal View History

2018-02-25 15:44:28 +03:00
skip;
x0 := read ();
x1 := read ();
x2 := read ();
x3 := read ();
y := ((((((x1>690)<(x2!!545))>=((x3&&85)>x3-497)&&(837-x1>=(x1!=x0))+((791!!575)-(864<231)))>(((478!=954)-(x3<x1)>=((x1>=x2)<(865>=544)))!=((693>=830)*(x3-493)!!(x1<=963)<=(x3&&690))))>=((x2*981!!x0<x2)*((x1!!454)>(742==810))+((x1-x0)+(x3-x0)!=(45<=x0)*(201<=599))>=(x0*x1+(x3&&138)<=(x1>=725)*(x0>x3)&&(678>=x3&&x3>x3)>=925*x0-(x1<468)))!!(((x0<=984)<(775&&x1))-(908+x0)*(x1>=x1)==(102-68>=709+546)*((x3==x3)<=(722<=x3)))*(((x1!!x2)>(22!!492))*((x2==357)>=(701>x0))<((924+x2!!x1+x3)<=(937-x2)+(x0>=x2)))-(((((x0<=x0)<=(158==474))>(552*414<(x3!!x3)))<((x1!=x3)!=x3*921&&522-704>=(361!!952)))<((326+x0>(860!!539))==(173+x3>353+225))-(((x3&&x3)>=875-444)+(x2*506+(899!!x1)))))!!(((((x0<=x2)>=x2-x2)>=(577+270!!x1>x1))>=((x3!!440)&&(x3&&x2))-((x0&&673)-(878<394)))+(((679!!437)&&(x3!!594))<((x1>=x3)>=(x3!=377)))*(((x2>=63)==749-x3)-((806!=882)-(367+x1))))*(((((x1>=54)<=(x0>x3))<(x3+628)+(995<=x1))==((x2==879)<=(111&&x1))-(711>=x1!!x0!=123))==(((953<=x3)>=(373>=x2))>=(848!=679)+(496&&x3)&&((660&&x0)*(179==x2)!!455*x3-(x1>=53))))&&((x0*258&&x2<=918!!(644!=x0!!939<=788))-(((x0<=x1)>=(889!=108))>((x3!!x1)==(x1!=704)))<((x2>x0)+(507==x2)>(x3!=x2!!856*x3))*((275==x0)+(715>=x3)>=(814-x1<(274&&x2))))>=((((x3<=304)>=x3-x3)<=((x0!!278)!=(x3!!x3)))==((x1!!x3)==(x0<=618)&&(55!=612)!=(195<602)))*((((430<22)<=(x1&&477))>=(x2>x1)*(16>653))==((x3-570<(x1>423))!=(613!!756)+(672>542))));
write (y)