lama_byterun/regression/deep-expressions/generated00302.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 := (((((((x0>=x2)==(x3>x0))>=((x3&&x0)&&(357!!x2)))>=(((514!!x1)>816+x0)!=(x1<x2)-(x3>=x2)))>=(((492!=x1)==(342>=x1))>=((82>=x1)<=x3*479))-((600==303!!x3+x2)<=((484<x3)<(287<=x0))))<((706>827!!213>x3)+(x0<875&&x1>=245)==(x0*533-(788<=x2)<=((x0>x0)>(492<=216))))*(((212*845>=(302<817))>((338<=382)==(x3==x3)))==(((x0<=x2)>=(x2&&x0))==(x2==x3)+(x3==22))))<(((616!=x1&&x3<904)<(901*766!=(431>x3))&&(968+x0==x2-x3&&(x2<x1!!141<=x2))!!((x0!!x0)-(x3+x1))+((810!!888)&&x1>800)<=((285-x1)+(123!!x0)<=x3*x0-(x0+877)))>=((((x3<83)+(954>268))*(685<=x0!!94==301)==(x0>=368&&x1>86!!(x0<x2)==(324<=590)))>=(113+102>(x2>=x2)&&(685<634)-(x0+x1))+((x2*x0)*(319<=x3)<=((x2<=623)!=(148>921))))))*(((((x2==414)*(x0>x3)>=(420+x2&&x3<=x3))<=((x0!!x2)*(x3!=x0)<(x3-x2&&x0!=x3))&&((438<x0!!99<102)==((856>x3)>(x0&&559)))+(((x3>x1)<=(x0==533))<=(737+x2!=(x2!=x1))))<=((x2!=x2&&986*x2)*((x0&&x3)&&599==x1)!=(x0*x3+(x0<411))*((804<=731)*(x3-962)))+((((x0>=x3)<=(x3!=x1))<=(660-554==(x0==x1)))==((251<601)<306*455&&(x1>=x2)>=(470<=255))))>=(((x1<x3)-(346>=x0)>(x1-x0>=(882>224)))*((106>=x0!!(x3!!166))-(x2*971<=(x1&&x1)))==((x0+441)*(x0&&644)>=(x1!=146)-(69==x3)&&(22>=350&&x3*368)>(x1&&x0)*(878!!x2)))+((((65!=x2)+474*193&&x2*131!=(27>=259))<((x2!!626)!!x0*868)*((197>670)-(x1&&535)))-((394<436)*(195+x3)-((929&&x3)<158*231)&&(x3!=x3)*(80>934)+((26<=x3)-(x2<=91)))));
write (y)