lama_byterun/regression/deep-expressions/generated00100.expr

8 lines
1.4 KiB
Text
Raw Normal View History

2018-02-25 18:11:52 +03:00
2018-02-25 17:39:27 +03:00
read (x0);
read (x1);
read (x2);
read (x3);
2018-02-25 15:44:28 +03:00
y := (((((172<=x3)>=(756>=556))+(x0-x0&&x0<x3)<=((x2==x2&&x1<=x2)&&(x1>643)==(x2==340))!!((x0+796>=4-341)<((x3!=x2)<=(539<x3)))>=((803*4>=x3+722)<=(855+x2!!x1==552)))!!((x3*x0==x1+x2)*(x0<466!!763==573)<=((87!!x2)<=(578&&x2))+((331>x0)>(329<=714)))<=((((652<x3)<=784-x2)>=(x0!=928)-(481-140))==((x0<x3)>=(x0&&x3))*((x3==4)>=(61<=384))))!!(((((x1!!x2)<=692-x1)>=((753!!x0)<x0+x3))>=((498==x0!!291<=831)>=((x3<=370)>(x0!=572))))<=(((871==x2)+(795!=x2))*((964&&x0)>=(x2>=x3))>=(251-648>(473<=853))*((750&&x0)+(261>=978))))>=(((273<x3)*(x1<=981)!!860*228<=(x1<x0))<=(((x0<903)>=(362!!627))!=((x1<=x0)==(x0==x3))))*((((120>x2)==(478!=747))<=(x3>x0)+(x0<=89))-((x0<852)+x0*902<(621-269)-x0*349)))!=(((((x2+x0>(314==x1))>(x2+568)-(x2==206))==(x2*298+(562<=714))+((437!!360)!=(x0<=139)))>((((x1>67)>(x3<=x0))>=((52!!x3)<=138-x1))==((x2>x0!!x2<=x2)<((823!!x3)>=(813&&603))))!!(((x2>=297)>(x0!=286))+((x1!!x2)-(x1-x3))!!((160!!79)>=x2*x0)+(x0*x1&&571>=x1))-(((x2>x0)<=(716<x2))<=(497*566<(627!!717))&&((334!=x0)-(326!=770))*((317<=x3)<=x2+172)))>=(((((x0>=x1)<=(371!=545))>=(x3>907!!403*x0))*(((x3>x3)<x2*x2)<=((788<x1)==(x3>=x2)))==(((739==x0)-(395<776)<(188*915<(x2>779)))==((x2-x0)+(x3!=894))-((x3<x2)<=x2*923)))<=((((137!!x1)!=(329>x2))!=((x3!!x0)&&x0!=x3))!=((x3>=x1)*(x1==765)<=(657!=80&&738>952)))*(((x0&&855)+(995<19)<(x1<=x2)-(408-x1))+(((202>=x1)>=(x0!!x1))>=((16>131)==(x0==241))))));
write (y)