//JavaScript/BitMath.inc T=125
function AND(a,b){var hb=(a>0x80000000)&&(b>0x80000000);var r=0;if(a>0x80000000){a-=0x80000000;}if(b>0x80000000){b-=0x80000000;}r=a&b;if(hb){r+=0x80000000;}return r;}function OR(a,b){var hb=(a>0x80000000)||(b>0x80000000);var r=0;if(a>0x80000000){a-=0x80000000;}if(b>0x80000000){b-=0x80000000;}r=a|b;if(hb){r+=0x80000000;}return r;}function XOR(a,b){var hb=((a>0x80000000)&&(b<0x80000000))||((a<0x80000000)&&(b>0x80000000));var r=0;if(a>0x80000000){a-=0x80000000;}if(b>0x80000000){b-=0x80000000;}r=a^b;if(hb){r+=0x80000000;}return r;}function NOT(a){var b=0x80000000;var n=0;while(b>=1){if(a>=b){a-=b;}else{n+=b;}b=b/2;}return n;}
//*BitMath T=125