lama_byterun/regression/deep-expressions/generated00773.expr
2018-02-25 18:11:52 +03:00

7 lines
1.4 KiB
Text

read (x0);
read (x1);
read (x2);
read (x3);
y := ((((((926!=x1)<x1-x2)!=((x0!=571)>=(772>x2)))>(((x2<=x1)<=(714<97))<=(x3==x0)*(493<=x2)))==((307+x1)*(x1>=x3)>((817>=668)!=588+x1))*((x2<x2!!x0>49)!=((754!=375)>(378!!x1))))*((((x0&&x3)>x3*899)>=((550>635)<=(x0==911)))*(((x3&&x2)<=(779<707))>=(x1<=x0!!991+x0))&&((584*x3>=(x1>540))<=(654!=762)+(533+x3))>=((x3>x2)<=x0+155)-((656!!109)&&875>=x2))<=((((386>=x1)<=(801==x0))>((431>x3)>x1*x0)!!(x1*x1!!x1>=150)>=(x1>=x0&&513<x2))>=(((812==149)*(x0<=864)>(x1+218<=(495&&x0)))!=((425!=x2&&(53&&x1))>=((x0&&442)&&x1*x3)))!!((((x0>x0)!=x1+237)==(173<x2&&x1>=970))>=((x2>=x2)+(936<x1)!!(x1>x2!!282>=x3))!!(839*603-(381<838)<=(961+x3<x1*923))>(((284&&x3)>=(x3&&x0))>((x0!!629)>=(483==341))))))==(((((x0<=412)<x3+473)+((x2-x2)-(685!=695)))*(((156+100)-x1*x3)-((x1<546)!=(401>=903)))>((x1==x1)+(x3+x0)<(x3>836)-(386<201)&&(x0<=x3)+(x0>=x2)!=(x2+x3>=565*763)))<((((855<465)>x3-x2&&(734>x3)-(358<=x1))!=((985>=x3)<=(x1<x0))-((933>=277)-(x1&&x3)))!=(((x2>617)-(615&&x3)!=((299<x3)>(x3!=x0)))<=((x0<645)==(x2==x0))*((699>x3)-(275!=x1)))))*((((274>694)-(x3-72)!=((x1==x2)>=(476==x3)))-(((x0<=x1)<(x0<791))<((x0!!x2)<=(769>189)))!=(((777!!x0)<255-685)==((886!=x2)!=(x0==x1))&&(x0*x3==(91!=476))<(x1>=x1)*(x1*830)))*((((x0!=553)+(x0<=817))-((x1&&283)&&425<=x3)>((126&&390)+(x1>x3)<(x3>=x1!!x2!=744)))-(((451&&x2)-(557-638)&&(741>=x1)>=(x2<=233))-(((602!=715)==(569!!752))+((317>=x3)>94*x1)))));
write (y)