uniform half4 colorRed;uniform half4 colorGreen;uniform half unknownInput;bool a(){bool b=true;half4 c=half4(6.,6.,7.,8.);b=b&&c==half4(6.,6.,7.,8.);c=half4(7.,9.,9.,9.);b=b&&c==half4(7.,9.,9.,9.);c=half4(9.,9.,10.,10.);b=b&&c==half4(9.,9.,10.,10.);c.xyz=half3(6.,6.,6.);b=b&&c==half4(6.,6.,6.,10.);c.xy=half2(3.,3.);b=b&&c==half4(3.,3.,6.,10.);c=half4(6.,6.,6.,6.);b=b&&c==half4(6.);c=half4(6.,6.,7.,8.);b=b&&c==half4(6.,6.,7.,8.);c=half4(-7.,-9.,-9.,-9.);b=b&&c==half4(-7.,-9.,-9.,-9.);c=half4(9.,9.,10.,10.);b=b&&c==half4(9.,9.,10.,10.);c.xyz=half3(6.,6.,6.);b=b&&c==half4(6.,6.,6.,10.);c.xy=half2(8.,8.);b=b&&c==half4(8.,8.,6.,10.);c=half4(2.,1.,.5,.25);b=b&&c==half4(2.,1.,.5,.25);c=half4(6.,6.,6.,6.);b=b&&c==half4(6.);half d=unknownInput;c=half4(d);b=b&&c==half4(d);c=half4(0.);b=b&&c==half4(0.);c=half4(0.)/d;b=b&&c==half4(0.);c=half4(d);b=b&&c==half4(d);c=half4(d);b=b&&c==half4(d);c=half4(d);b=b&&c==half4(d);c=half4(d);b=b&&c==half4(d);c=half4(d);b=b&&c==half4(d);c=half4(d);b=b&&c==half4(d);c=half4(0.);b=b&&c==half4(0.);c=0./half4(d);b=b&&c==half4(0.);c=half4(d);b=b&&c==half4(d);c=half4(d);b=b&&c==half4(d);c=half4(0.);b=b&&c==half4(0.);c=half4(d);b=b&&c==half4(d);c=half4(d);b=b&&c==half4(d);c=half4(d);c+=1.;c-=1.;b=b&&c==half4(d);c=half4(d);c=c+1.;c=c-1.;b=b&&c==half4(d);return b;}bool b(){bool c=true;int4 d=int4(6,6,7,8);c=c&&d==int4(6,6,7,8);d=int4(7,9,9,9);c=c&&d==int4(7,9,9,9);d=int4(9,9,10,10);c=c&&d==int4(9,9,10,10);d.xyz=int3(6,6,6);c=c&&d==int4(6,6,6,10);d.xy=int2(3,3);c=c&&d==int4(3,3,6,10);d=int4(6,6,6,6);c=c&&d==int4(6);d=int4(6,6,7,8);c=c&&d==int4(6,6,7,8);d=int4(-7,-9,-9,-9);c=c&&d==int4(-7,-9,-9,-9);d=int4(9,9,10,10);c=c&&d==int4(9,9,10,10);d.xyz=int3(6,6,6);c=c&&d==int4(6,6,6,10);d.xy=int2(8,8);c=c&&d==int4(8,8,6,10);d=int4(200,100,50,25);c=c&&d==int4(200,100,50,25);d=int4(6,6,6,6);c=c&&d==int4(6);int e=int(unknownInput);d=int4(e);c=c&&d==int4(e);d=int4(0);c=c&&d==int4(0);d=int4(0)/e;c=c&&d==int4(0);d=int4(e);c=c&&d==int4(e);d=int4(e);c=c&&d==int4(e);d=int4(e);c=c&&d==int4(e);d=int4(e);c=c&&d==int4(e);d=int4(e);c=c&&d==int4(e);d=int4(e);c=c&&d==int4(e);d=int4(0);c=c&&d==int4(0);d=0/int4(e);c=c&&d==int4(0);d=int4(e);c=c&&d==int4(e);d=int4(e);c=c&&d==int4(e);d=int4(0);c=c&&d==int4(0);d=int4(e);c=c&&d==int4(e);d=int4(e);c=c&&d==int4(e);d=int4(e);d+=1;d-=1;c=c&&d==int4(e);d=int4(e);d=d+1;d=d-1;c=c&&d==int4(e);return c;}half4 main(float2 c){return a()&&b()?colorGreen:colorRed;}