**** New globals: {b:b, i:i, i1:i1, i2:i2, i4:i4, i8:i8, u1:u1, u2:u2, u4:u4, u8:u8}

> 0xC3 band 0x55
195 band 85 : i8
Binder : BitAnd(195, 85)
Reducer: 65
###
> 0xC3 bxor 0x55
195 bxor 85 : i8
Binder : BitXor(195, 85)
Reducer: 150
###
> 0xC3 bor 0x55
195 bor 85 : i8
Binder : BitOr(195, 85)
Reducer: 215
###
> i  band 0i1
i band 0 : i
Binder : BitAnd(i, 0)
Reducer: 0
###
> i8 band 0i1
i8 band 0 : i8
Binder : BitAnd(i8, 0)
Reducer: 0
###
> i4 band 0i1
i4 band 0 : i4
Binder : BitAnd(i4, 0)
Reducer: 0
###
> i2 band 0i1
i2 band 0 : i2
Binder : BitAnd(i2, 0)
Reducer: 0
###
> i1 band 0i1
i1 band 0 : i1
Binder : BitAnd(i1, 0)
Reducer: 0
###
> 0i1 band i
0 band i : i
Binder : BitAnd(0, i)
Reducer: 0
###
> 0i1 band i8
0 band i8 : i8
Binder : BitAnd(0, i8)
Reducer: 0
###
> 0i1 band i4
0 band i4 : i4
Binder : BitAnd(0, i4)
Reducer: 0
###
> 0i1 band i2
0 band i2 : i2
Binder : BitAnd(0, i2)
Reducer: 0
###
> 0i1 band i1
0 band i1 : i1
Binder : BitAnd(0, i1)
Reducer: 0
###
> u8 band 0u1
u8 band 0 : u8
Binder : BitAnd(u8, 0)
Reducer: 0
###
> u4 band 0u1
u4 band 0 : u4
Binder : BitAnd(u4, 0)
Reducer: 0
###
> u2 band 0u1
u2 band 0 : u2
Binder : BitAnd(u2, 0)
Reducer: 0
###
> u1 band 0u1
u1 band 0 : u1
Binder : BitAnd(u1, 0)
Reducer: 0
###
> b band false
b band false : b
Binder : BitAnd(b, false)
Reducer: false
###
> 0u1 band u8
0 band u8 : u8
Binder : BitAnd(0, u8)
Reducer: 0
###
> 0u1 band u4
0 band u4 : u4
Binder : BitAnd(0, u4)
Reducer: 0
###
> 0u1 band u2
0 band u2 : u2
Binder : BitAnd(0, u2)
Reducer: 0
###
> 0u1 band u1
0 band u1 : u1
Binder : BitAnd(0, u1)
Reducer: 0
###
> false band b
false band b : b
Binder : BitAnd(false, b)
Reducer: false
###
> i  band -1i1
i band -1 : i
Binder : BitAnd(i, -1)
Reducer: i
###
> i8 band -1i1
i8 band -1 : i8
Binder : BitAnd(i8, -1)
Reducer: i8
###
> i4 band -1i1
i4 band -1 : i4
Binder : BitAnd(i4, -1)
Reducer: i4
###
> i2 band -1i1
i2 band -1 : i2
Binder : BitAnd(i2, -1)
Reducer: i2
###
> i1 band -1i1
i1 band -1 : i1
Binder : BitAnd(i1, -1)
Reducer: i1
###
> -1i1 band i
-1 band i : i
Binder : BitAnd(-1, i)
Reducer: i
###
> -1i1 band i8
-1 band i8 : i8
Binder : BitAnd(-1, i8)
Reducer: i8
###
> -1i1 band i4
-1 band i4 : i4
Binder : BitAnd(-1, i4)
Reducer: i4
###
> -1i1 band i2
-1 band i2 : i2
Binder : BitAnd(-1, i2)
Reducer: i2
###
> -1i1 band i1
-1 band i1 : i1
Binder : BitAnd(-1, i1)
Reducer: i1
###
> u8 band bnot 0u8
u8 band bnot 0 : u8
Binder : BitAnd(u8, BitXor(0, 18446744073709551615))
Reducer: u8
###
> u4 band bnot 0u4
u4 band bnot 0 : u4
Binder : BitAnd(u4, BitXor(0, 4294967295))
Reducer: u4
###
> u2 band bnot 0u2
u2 band bnot 0 : u2
Binder : BitAnd(u2, BitXor(0, 65535))
Reducer: u2
###
> u1 band bnot 0u1
u1 band bnot 0 : u1
Binder : BitAnd(u1, BitXor(0, 255))
Reducer: u1
###
> b band true
b band true : b
Binder : BitAnd(b, true)
Reducer: b
###
> bnot 0u8 band u8
bnot 0 band u8 : u8
Binder : BitAnd(BitXor(0, 18446744073709551615), u8)
Reducer: u8
###
> bnot 0u4 band u4
bnot 0 band u4 : u4
Binder : BitAnd(BitXor(0, 4294967295), u4)
Reducer: u4
###
> bnot 0u2 band u2
bnot 0 band u2 : u2
Binder : BitAnd(BitXor(0, 65535), u2)
Reducer: u2
###
> bnot 0u1 band u1
bnot 0 band u1 : u1
Binder : BitAnd(BitXor(0, 255), u1)
Reducer: u1
###
> true band b
true band b : b
Binder : BitAnd(true, b)
Reducer: b
###
> i  bor 0i1
i bor 0 : i
Binder : BitOr(i, 0)
Reducer: i
###
> i8 bor 0i1
i8 bor 0 : i8
Binder : BitOr(i8, 0)
Reducer: i8
###
> i4 bor 0i1
i4 bor 0 : i4
Binder : BitOr(i4, 0)
Reducer: i4
###
> i2 bor 0i1
i2 bor 0 : i2
Binder : BitOr(i2, 0)
Reducer: i2
###
> i1 bor 0i1
i1 bor 0 : i1
Binder : BitOr(i1, 0)
Reducer: i1
###
> 0i1 bor i
0 bor i : i
Binder : BitOr(0, i)
Reducer: i
###
> 0i1 bor i8
0 bor i8 : i8
Binder : BitOr(0, i8)
Reducer: i8
###
> 0i1 bor i4
0 bor i4 : i4
Binder : BitOr(0, i4)
Reducer: i4
###
> 0i1 bor i2
0 bor i2 : i2
Binder : BitOr(0, i2)
Reducer: i2
###
> 0i1 bor i1
0 bor i1 : i1
Binder : BitOr(0, i1)
Reducer: i1
###
> u8 bor 0u1
u8 bor 0 : u8
Binder : BitOr(u8, 0)
Reducer: u8
###
> u4 bor 0u1
u4 bor 0 : u4
Binder : BitOr(u4, 0)
Reducer: u4
###
> u2 bor 0u1
u2 bor 0 : u2
Binder : BitOr(u2, 0)
Reducer: u2
###
> u1 bor 0u1
u1 bor 0 : u1
Binder : BitOr(u1, 0)
Reducer: u1
###
> b bor false
b bor false : b
Binder : BitOr(b, false)
Reducer: b
###
> 0u1 bor u8
0 bor u8 : u8
Binder : BitOr(0, u8)
Reducer: u8
###
> 0u1 bor u4
0 bor u4 : u4
Binder : BitOr(0, u4)
Reducer: u4
###
> 0u1 bor u2
0 bor u2 : u2
Binder : BitOr(0, u2)
Reducer: u2
###
> 0u1 bor u1
0 bor u1 : u1
Binder : BitOr(0, u1)
Reducer: u1
###
> false bor b
false bor b : b
Binder : BitOr(false, b)
Reducer: b
###
> i  bor -1i1
i bor -1 : i
Binder : BitOr(i, -1)
Reducer: -1
###
> i8 bor -1i1
i8 bor -1 : i8
Binder : BitOr(i8, -1)
Reducer: -1
###
> i4 bor -1i1
i4 bor -1 : i4
Binder : BitOr(i4, -1)
Reducer: -1
###
> i2 bor -1i1
i2 bor -1 : i2
Binder : BitOr(i2, -1)
Reducer: -1
###
> i1 bor -1i1
i1 bor -1 : i1
Binder : BitOr(i1, -1)
Reducer: -1
###
> -1i1 bor i
-1 bor i : i
Binder : BitOr(-1, i)
Reducer: -1
###
> -1i1 bor i8
-1 bor i8 : i8
Binder : BitOr(-1, i8)
Reducer: -1
###
> -1i1 bor i4
-1 bor i4 : i4
Binder : BitOr(-1, i4)
Reducer: -1
###
> -1i1 bor i2
-1 bor i2 : i2
Binder : BitOr(-1, i2)
Reducer: -1
###
> -1i1 bor i1
-1 bor i1 : i1
Binder : BitOr(-1, i1)
Reducer: -1
###
> u8 bor bnot 0u8
u8 bor bnot 0 : u8
Binder : BitOr(u8, BitXor(0, 18446744073709551615))
Reducer: 18446744073709551615
###
> u4 bor bnot 0u4
u4 bor bnot 0 : u4
Binder : BitOr(u4, BitXor(0, 4294967295))
Reducer: 4294967295
###
> u2 bor bnot 0u2
u2 bor bnot 0 : u2
Binder : BitOr(u2, BitXor(0, 65535))
Reducer: 65535
###
> u1 bor bnot 0u1
u1 bor bnot 0 : u1
Binder : BitOr(u1, BitXor(0, 255))
Reducer: 255
###
> b bor true
b bor true : b
Binder : BitOr(b, true)
Reducer: true
###
> bnot 0u8 bor u8
bnot 0 bor u8 : u8
Binder : BitOr(BitXor(0, 18446744073709551615), u8)
Reducer: 18446744073709551615
###
> bnot 0u4 bor u4
bnot 0 bor u4 : u4
Binder : BitOr(BitXor(0, 4294967295), u4)
Reducer: 4294967295
###
> bnot 0u2 bor u2
bnot 0 bor u2 : u2
Binder : BitOr(BitXor(0, 65535), u2)
Reducer: 65535
###
> bnot 0u1 bor u1
bnot 0 bor u1 : u1
Binder : BitOr(BitXor(0, 255), u1)
Reducer: 255
###
> true bor b
true bor b : b
Binder : BitOr(true, b)
Reducer: true
###
> i  bxor 0i1
i bxor 0 : i
Binder : BitXor(i, 0)
Reducer: i
###
> i8 bxor 0i1
i8 bxor 0 : i8
Binder : BitXor(i8, 0)
Reducer: i8
###
> i4 bxor 0i1
i4 bxor 0 : i4
Binder : BitXor(i4, 0)
Reducer: i4
###
> i2 bxor 0i1
i2 bxor 0 : i2
Binder : BitXor(i2, 0)
Reducer: i2
###
> i1 bxor 0i1
i1 bxor 0 : i1
Binder : BitXor(i1, 0)
Reducer: i1
###
> 0i1 bxor i
0 bxor i : i
Binder : BitXor(0, i)
Reducer: i
###
> 0i1 bxor i8
0 bxor i8 : i8
Binder : BitXor(0, i8)
Reducer: i8
###
> 0i1 bxor i4
0 bxor i4 : i4
Binder : BitXor(0, i4)
Reducer: i4
###
> 0i1 bxor i2
0 bxor i2 : i2
Binder : BitXor(0, i2)
Reducer: i2
###
> 0i1 bxor i1
0 bxor i1 : i1
Binder : BitXor(0, i1)
Reducer: i1
###
> u8 bxor 0u1
u8 bxor 0 : u8
Binder : BitXor(u8, 0)
Reducer: u8
###
> u4 bxor 0u1
u4 bxor 0 : u4
Binder : BitXor(u4, 0)
Reducer: u4
###
> u2 bxor 0u1
u2 bxor 0 : u2
Binder : BitXor(u2, 0)
Reducer: u2
###
> u1 bxor 0u1
u1 bxor 0 : u1
Binder : BitXor(u1, 0)
Reducer: u1
###
> b bxor false
b bxor false : b
Binder : BitXor(b, false)
Reducer: b
###
> 0u1 bxor u8
0 bxor u8 : u8
Binder : BitXor(0, u8)
Reducer: u8
###
> 0u1 bxor u4
0 bxor u4 : u4
Binder : BitXor(0, u4)
Reducer: u4
###
> 0u1 bxor u2
0 bxor u2 : u2
Binder : BitXor(0, u2)
Reducer: u2
###
> 0u1 bxor u1
0 bxor u1 : u1
Binder : BitXor(0, u1)
Reducer: u1
###
> false bxor b
false bxor b : b
Binder : BitXor(false, b)
Reducer: b
###
> i1 band 0x55i1 band i1
i1 band 85 band i1 : i1
Binder : BitAnd(i1, 85, i1)
Reducer: BitAnd(i1, i1, 85)
###
> i1 band 0x00i1 band i1
i1 band 0 band i1 : i1
Binder : BitAnd(i1, 0, i1)
Reducer: 0
###
> i1 band 0xFFi1 band i1
i1 band 255 band i1 : i1
Binder : BitAnd(i1, -1, i1)
Reducer: BitAnd(i1, i1)
###
> i1 bor  0x55i1 bor  i1
i1 bor 85 bor i1 : i1
Binder : BitOr(i1, 85, i1)
Reducer: BitOr(i1, i1, 85)
###
> i1 bor  0x00i1 bor  i1
i1 bor 0 bor i1 : i1
Binder : BitOr(i1, 0, i1)
Reducer: BitOr(i1, i1)
###
> i1 bor  0xFFi1 bor  i1
i1 bor 255 bor i1 : i1
Binder : BitOr(i1, -1, i1)
Reducer: -1
###
> i1 bxor 0x55i1 bxor i1
i1 bxor 85 bxor i1 : i1
Binder : BitXor(i1, 85, i1)
Reducer: BitXor(i1, i1, 85)
###
> i1 bxor 0x00i1 bxor i1
i1 bxor 0 bxor i1 : i1
Binder : BitXor(i1, 0, i1)
Reducer: BitXor(i1, i1)
###
> i1 bxor 0xFFi1 bxor i1
i1 bxor 255 bxor i1 : i1
Binder : BitXor(i1, -1, i1)
Reducer: BitXor(i1, i1, -1)
###
> i1 band 0x55i1 band (i1 band 0x11i1)
i1 band 85 band (i1 band 17) : i1
Binder : BitAnd(i1, 85, i1, 17)
Reducer: BitAnd(i1, i1, 17)
###
> i1 band 0x55i1 band (i1 band 0xAAi1)
i1 band 85 band (i1 band 170) : i1
Binder : BitAnd(i1, 85, i1, -86)
Reducer: 0
###
