lama_byterun/regression/deep-expressions/generated00649.expr

8 lines
1.4 KiB
Text
Raw Normal View History

2018-02-25 15:44:28 +03:00
skip;
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 := (((((784&&481)!=(x3&&517))==(545+x2==(296<626)))!=((x2-540!!x3-x1)>=((x0==698)!=(849<430))))*((((487!!x1)!=(470<=x1))<=(169+290)-(177!=928))*((x1<564&&282==330)<(x1+x2)*(803<=16)))!!(((886!=x0)!=(427<x0))+((849!!295)==x3*x1)>=(((159!!x0)>=(172<x2))==(x0==x0&&234-x3)))!=((((x1!!230)==(x3==150))==(x3*x2>(784>581)))<=(x2*623-(713+274)!=(729<=x0)-(x2!!x1))))+((((722-324>=583*939)*((592!!x1)!=765-265)==((693>x2)-(x0+x1)!!x3==x0&&610<=507))>(((x0!=x1)<=563-300)<((x3!!x0)>=x2-57))*((196==x1)*(696==x0)+(682-x3&&(827&&x2))))<(((x2>394)>(x1!!x3)&&(x3*172!!313*x2))<=(((x0<=558)<(60<=x2))>((x1!!100)!!x0*367)))-((611>=400)*(x2<=x3)-(x0-624!!173!=895)!=((x3&&x2)+313*x0>=(x1!=782)+(x1==x0))))<=(((((159*988<(830!!480))<((x1&&x0)!=(311&&x3))!!((x1!!x2)<(x3&&x0))!=((995>=x0)!=(x1<=x3)))<((((x1<x2)>=(x2>=x3))!=(766>429)*(x3<=x1))>=((x1==x3!!(1!!436))<=(991-x0)*(379-x2))))!=((x1<=x2)*(x0&&x3)<=(x3+x2==(x3!!341))&&((x1!!x2)>=8*463)==(146+x0>(273==468))!!((x2==x2!!x1==171)>=((170&&x0)&&(883!!37)))>((535+924!!x1==x2)==((x3>281)>x1-x2))))>((((x0*x0+x0*486==((680!=148)>=(559&&157)))>=(((881<802)>=(487<=201))<=((646>=280)>=(277>=680))))>((((x2==937)<=(861<x2))<(x3!=x3&&349+x3))>=((748<x3)*(380<=798)!=((x1!!x1)<=(753==548)))))!=((x0*466-(x3>561)!!x2+985>(x2&&594))==(((811<=487)<(736>404))!=((x3>=x0)!=x2*x1))!!((x2==x0!!(82!!475))!!(141>x2)+(571>=535))<(570+322==x1*x2)-(x2*920-(x1!=588)))));
write (y)