lama_byterun/regression/deep-expressions/generated00059.expr
2018-02-25 17:39:27 +03:00

7 lines
1.4 KiB
Text

skip;
read (x0);
read (x1);
read (x2);
read (x3);
y := (((((x2!=23)==(580>=363))>=((x3>829)>=(x2&&x2))&&((x1>=x0)+(x0>x3))-(x0+444&&270*x0)!!(524*x3!!x1==x0)>((x3&&632)==(x1!=661))&&((892<=721)>=x0*604)>=((335&&825)==x3-433))<=((((x3>630)>=x3*215)+(x0>773!!625>=x2)<(112-641<=(933>341)!!(822==x0)-(697-515)))==(((536<x0)*(942+302)>=((x3<=x0)>=(480&&425)))<((x2<=930)-(891>=x3)&&(x0>=x1)<=(x1!!x1)))))-((((393>621)*(100!!324)==(x2+x2==(130>878))!!((x2<=x0)!=x1+x0)-((x3!=x3)>=(x3&&450)))&&((x2>=x3)>x2*495)-((x2<447)>(x0!!x3))<=(173<509)*(941<424)-((x0==x2)-(562>x1)))-(((701*x1!!x1&&130)!!(x2<=653)<=(700!!x2))*((373!=x0&&x1-442)&&x0+495<=(x1<x0)))*(((333<x3)+(x2&&x3)<x3*32-(x0==x1))<(x0+x3!=(x0>=x0))+((923!=781)-(x3>822))))!!((((x0>x0)==(x3==423)!!(541<x2)<(80&&771))<=(((512<869)>=155-151)!=((x2>=x0)==(350<=x2))))*(((x1!=x0)!=(x3==x2)&&851*462!=(x3>=882))>=((x0>=x2)-(303&&x3)<=((746!=x1)<=(863<=x3))))+(((943*x3!!x1>=x2)==(x0!!607)*(x2&&402)!!(219*x0<(162<=x3))==(147+x3==x0*x0))!!(((x2-996)+(x0<=841))*((x3&&x0)<(812<=x3))!!(879-x2<=(27>x0))>((x3<=x1)==(x3<=940))))!!(((12>418!!x2==x3)+((846==x1)<x3*x2)<(((x3<=656)!=(x0!!x3))!=(626>371!!3&&305)))==(((x1-705>(x0!=374))>=((x2!=491)>(784<640)))>=(((674>x2)>(x0&&150))<((x1>651)>=x2+466))))<((x2+973<=(260>317)!!(811>=x1)>(x1==x2))+((787-381&&623<x0)!=(321<=x1)*(x0<=841)))+((x3==x0&&x3-385)-((164!!768)!!(x3!!741))&&((x3<x2)-(607+827))-(x2*657!=865*x2))));
write (y)