uniform half unknownInput;uniform half4 colorRed;uniform half4 colorGreen;bool a(){half b=unknownInput;bool c=true;c=c&&half4(0.)/half4(b)==half4(0.);half4 d=half4(b);d+=half4(1.);d-=half4(1.);d=d+half4(1.);d=d-half4(1.);c=c&&d==half4(b);d*=half4(2.);d/=half4(2.);d=d*half4(2.);d=d/half4(2.);c=c&&d==half4(b);return c;}bool b(){int c=int(unknownInput);bool d=true;d=d&&int4(0)/int4(c)==int4(0);int4 e=int4(c);e+=int4(1);e-=int4(1);e=e+int4(1);e=e-int4(1);d=d&&e==int4(c);e*=int4(2);e/=int4(2);e=e*int4(2);e=e/int4(2);d=d&&e==int4(c);return d;}half4 main(float2 c){return a()&&b()?colorGreen:colorRed;}
