kmx git

quote -170141183460469231731687303715884105728 & -170141183460469231731687303715884105728
-170141183460469231731687303715884105728 & -170141183460469231731687303715884105728
quote -170141183460469231731687303715884105728 & -170141183460469231731687303715884105727
-170141183460469231731687303715884105728 & -170141183460469231731687303715884105727
quote -170141183460469231731687303715884105728 & -9223372036854775808
-170141183460469231731687303715884105728 & -9223372036854775808
quote -170141183460469231731687303715884105728 & -9223372036854775807
-170141183460469231731687303715884105728 & -9223372036854775807
quote -170141183460469231731687303715884105728 & -2147483648
-170141183460469231731687303715884105728 & -2147483648
quote -170141183460469231731687303715884105728 & -2147483647
-170141183460469231731687303715884105728 & -2147483647
quote -170141183460469231731687303715884105728 & -32768
-170141183460469231731687303715884105728 & -32768
quote -170141183460469231731687303715884105728 & -32767
-170141183460469231731687303715884105728 & -32767
quote -170141183460469231731687303715884105728 & -128
-170141183460469231731687303715884105728 & -128
quote -170141183460469231731687303715884105728 & -127
-170141183460469231731687303715884105728 & -127
quote -170141183460469231731687303715884105728 & 255
-170141183460469231731687303715884105728 & 255
quote -170141183460469231731687303715884105728 & 256
-170141183460469231731687303715884105728 & 256
quote -170141183460469231731687303715884105728 & 65535
-170141183460469231731687303715884105728 & 65535
quote -170141183460469231731687303715884105728 & 65536
-170141183460469231731687303715884105728 & 65536
quote -170141183460469231731687303715884105728 & 4294967295
-170141183460469231731687303715884105728 & 4294967295
quote -170141183460469231731687303715884105728 & 4294967296
-170141183460469231731687303715884105728 & 4294967296
quote -170141183460469231731687303715884105728 & 18446744073709551615
-170141183460469231731687303715884105728 & 18446744073709551615
quote -170141183460469231731687303715884105728 & 18446744073709551616
-170141183460469231731687303715884105728 & 18446744073709551616
quote -170141183460469231731687303715884105728 & 340282366920938463463374607431768211455
-170141183460469231731687303715884105728 & 340282366920938463463374607431768211455
quote -170141183460469231731687303715884105728 & 340282366920938463463374607431768211456
-170141183460469231731687303715884105728 & 340282366920938463463374607431768211456
quote -170141183460469231731687303715884105727 & -170141183460469231731687303715884105728
-170141183460469231731687303715884105727 & -170141183460469231731687303715884105728
quote -170141183460469231731687303715884105727 & -170141183460469231731687303715884105727
-170141183460469231731687303715884105727 & -170141183460469231731687303715884105727
quote -170141183460469231731687303715884105727 & -9223372036854775808
-170141183460469231731687303715884105727 & -9223372036854775808
quote -170141183460469231731687303715884105727 & -9223372036854775807
-170141183460469231731687303715884105727 & -9223372036854775807
quote -170141183460469231731687303715884105727 & -2147483648
-170141183460469231731687303715884105727 & -2147483648
quote -170141183460469231731687303715884105727 & -2147483647
-170141183460469231731687303715884105727 & -2147483647
quote -170141183460469231731687303715884105727 & -32768
-170141183460469231731687303715884105727 & -32768
quote -170141183460469231731687303715884105727 & -32767
-170141183460469231731687303715884105727 & -32767
quote -170141183460469231731687303715884105727 & -128
-170141183460469231731687303715884105727 & -128
quote -170141183460469231731687303715884105727 & -127
-170141183460469231731687303715884105727 & -127
quote -170141183460469231731687303715884105727 & 255
-170141183460469231731687303715884105727 & 255
quote -170141183460469231731687303715884105727 & 256
-170141183460469231731687303715884105727 & 256
quote -170141183460469231731687303715884105727 & 65535
-170141183460469231731687303715884105727 & 65535
quote -170141183460469231731687303715884105727 & 65536
-170141183460469231731687303715884105727 & 65536
quote -170141183460469231731687303715884105727 & 4294967295
-170141183460469231731687303715884105727 & 4294967295
quote -170141183460469231731687303715884105727 & 4294967296
-170141183460469231731687303715884105727 & 4294967296
quote -170141183460469231731687303715884105727 & 18446744073709551615
-170141183460469231731687303715884105727 & 18446744073709551615
quote -170141183460469231731687303715884105727 & 18446744073709551616
-170141183460469231731687303715884105727 & 18446744073709551616
quote -170141183460469231731687303715884105727 & 340282366920938463463374607431768211455
-170141183460469231731687303715884105727 & 340282366920938463463374607431768211455
quote -170141183460469231731687303715884105727 & 340282366920938463463374607431768211456
-170141183460469231731687303715884105727 & 340282366920938463463374607431768211456
quote -9223372036854775808 & -170141183460469231731687303715884105728
-9223372036854775808 & -170141183460469231731687303715884105728
quote -9223372036854775808 & -170141183460469231731687303715884105727
-9223372036854775808 & -170141183460469231731687303715884105727
quote -9223372036854775808 & -9223372036854775808
-9223372036854775808 & -9223372036854775808
quote -9223372036854775808 & -9223372036854775807
-9223372036854775808 & -9223372036854775807
quote -9223372036854775808 & -2147483648
-9223372036854775808 & -2147483648
quote -9223372036854775808 & -2147483647
-9223372036854775808 & -2147483647
quote -9223372036854775808 & -32768
-9223372036854775808 & -32768
quote -9223372036854775808 & -32767
-9223372036854775808 & -32767
quote -9223372036854775808 & -128
-9223372036854775808 & -128
quote -9223372036854775808 & -127
-9223372036854775808 & -127
quote -9223372036854775808 & 255
-9223372036854775808 & 255
quote -9223372036854775808 & 256
-9223372036854775808 & 256
quote -9223372036854775808 & 65535
-9223372036854775808 & 65535
quote -9223372036854775808 & 65536
-9223372036854775808 & 65536
quote -9223372036854775808 & 4294967295
-9223372036854775808 & 4294967295
quote -9223372036854775808 & 4294967296
-9223372036854775808 & 4294967296
quote -9223372036854775808 & 18446744073709551615
-9223372036854775808 & 18446744073709551615
quote -9223372036854775808 & 18446744073709551616
-9223372036854775808 & 18446744073709551616
quote -9223372036854775808 & 340282366920938463463374607431768211455
-9223372036854775808 & 340282366920938463463374607431768211455
quote -9223372036854775808 & 340282366920938463463374607431768211456
-9223372036854775808 & 340282366920938463463374607431768211456
quote -9223372036854775807 & -170141183460469231731687303715884105728
-9223372036854775807 & -170141183460469231731687303715884105728
quote -9223372036854775807 & -170141183460469231731687303715884105727
-9223372036854775807 & -170141183460469231731687303715884105727
quote -9223372036854775807 & -9223372036854775808
-9223372036854775807 & -9223372036854775808
quote -9223372036854775807 & -9223372036854775807
-9223372036854775807 & -9223372036854775807
quote -9223372036854775807 & -2147483648
-9223372036854775807 & -2147483648
quote -9223372036854775807 & -2147483647
-9223372036854775807 & -2147483647
quote -9223372036854775807 & -32768
-9223372036854775807 & -32768
quote -9223372036854775807 & -32767
-9223372036854775807 & -32767
quote -9223372036854775807 & -128
-9223372036854775807 & -128
quote -9223372036854775807 & -127
-9223372036854775807 & -127
quote -9223372036854775807 & 255
-9223372036854775807 & 255
quote -9223372036854775807 & 256
-9223372036854775807 & 256
quote -9223372036854775807 & 65535
-9223372036854775807 & 65535
quote -9223372036854775807 & 65536
-9223372036854775807 & 65536
quote -9223372036854775807 & 4294967295
-9223372036854775807 & 4294967295
quote -9223372036854775807 & 4294967296
-9223372036854775807 & 4294967296
quote -9223372036854775807 & 18446744073709551615
-9223372036854775807 & 18446744073709551615
quote -9223372036854775807 & 18446744073709551616
-9223372036854775807 & 18446744073709551616
quote -9223372036854775807 & 340282366920938463463374607431768211455
-9223372036854775807 & 340282366920938463463374607431768211455
quote -9223372036854775807 & 340282366920938463463374607431768211456
-9223372036854775807 & 340282366920938463463374607431768211456
quote -2147483648 & -170141183460469231731687303715884105728
-2147483648 & -170141183460469231731687303715884105728
quote -2147483648 & -170141183460469231731687303715884105727
-2147483648 & -170141183460469231731687303715884105727
quote -2147483648 & -9223372036854775808
-2147483648 & -9223372036854775808
quote -2147483648 & -9223372036854775807
-2147483648 & -9223372036854775807
quote -2147483648 & -2147483648
-2147483648 & -2147483648
quote -2147483648 & -2147483647
-2147483648 & -2147483647
quote -2147483648 & -32768
-2147483648 & -32768
quote -2147483648 & -32767
-2147483648 & -32767
quote -2147483648 & -128
-2147483648 & -128
quote -2147483648 & -127
-2147483648 & -127
quote -2147483648 & 255
-2147483648 & 255
quote -2147483648 & 256
-2147483648 & 256
quote -2147483648 & 65535
-2147483648 & 65535
quote -2147483648 & 65536
-2147483648 & 65536
quote -2147483648 & 4294967295
-2147483648 & 4294967295
quote -2147483648 & 4294967296
-2147483648 & 4294967296
quote -2147483648 & 18446744073709551615
-2147483648 & 18446744073709551615
quote -2147483648 & 18446744073709551616
-2147483648 & 18446744073709551616
quote -2147483648 & 340282366920938463463374607431768211455
-2147483648 & 340282366920938463463374607431768211455
quote -2147483648 & 340282366920938463463374607431768211456
-2147483648 & 340282366920938463463374607431768211456
quote -2147483647 & -170141183460469231731687303715884105728
-2147483647 & -170141183460469231731687303715884105728
quote -2147483647 & -170141183460469231731687303715884105727
-2147483647 & -170141183460469231731687303715884105727
quote -2147483647 & -9223372036854775808
-2147483647 & -9223372036854775808
quote -2147483647 & -9223372036854775807
-2147483647 & -9223372036854775807
quote -2147483647 & -2147483648
-2147483647 & -2147483648
quote -2147483647 & -2147483647
-2147483647 & -2147483647
quote -2147483647 & -32768
-2147483647 & -32768
quote -2147483647 & -32767
-2147483647 & -32767
quote -2147483647 & -128
-2147483647 & -128
quote -2147483647 & -127
-2147483647 & -127
quote -2147483647 & 255
-2147483647 & 255
quote -2147483647 & 256
-2147483647 & 256
quote -2147483647 & 65535
-2147483647 & 65535
quote -2147483647 & 65536
-2147483647 & 65536
quote -2147483647 & 4294967295
-2147483647 & 4294967295
quote -2147483647 & 4294967296
-2147483647 & 4294967296
quote -2147483647 & 18446744073709551615
-2147483647 & 18446744073709551615
quote -2147483647 & 18446744073709551616
-2147483647 & 18446744073709551616
quote -2147483647 & 340282366920938463463374607431768211455
-2147483647 & 340282366920938463463374607431768211455
quote -2147483647 & 340282366920938463463374607431768211456
-2147483647 & 340282366920938463463374607431768211456
quote -32768 & -170141183460469231731687303715884105728
-32768 & -170141183460469231731687303715884105728
quote -32768 & -170141183460469231731687303715884105727
-32768 & -170141183460469231731687303715884105727
quote -32768 & -9223372036854775808
-32768 & -9223372036854775808
quote -32768 & -9223372036854775807
-32768 & -9223372036854775807
quote -32768 & -2147483648
-32768 & -2147483648
quote -32768 & -2147483647
-32768 & -2147483647
quote -32768 & -32768
-32768 & -32768
quote -32768 & -32767
-32768 & -32767
quote -32768 & -128
-32768 & -128
quote -32768 & -127
-32768 & -127
quote -32768 & 255
-32768 & 255
quote -32768 & 256
-32768 & 256
quote -32768 & 65535
-32768 & 65535
quote -32768 & 65536
-32768 & 65536
quote -32768 & 4294967295
-32768 & 4294967295
quote -32768 & 4294967296
-32768 & 4294967296
quote -32768 & 18446744073709551615
-32768 & 18446744073709551615
quote -32768 & 18446744073709551616
-32768 & 18446744073709551616
quote -32768 & 340282366920938463463374607431768211455
-32768 & 340282366920938463463374607431768211455
quote -32768 & 340282366920938463463374607431768211456
-32768 & 340282366920938463463374607431768211456
quote -32767 & -170141183460469231731687303715884105728
-32767 & -170141183460469231731687303715884105728
quote -32767 & -170141183460469231731687303715884105727
-32767 & -170141183460469231731687303715884105727
quote -32767 & -9223372036854775808
-32767 & -9223372036854775808
quote -32767 & -9223372036854775807
-32767 & -9223372036854775807
quote -32767 & -2147483648
-32767 & -2147483648
quote -32767 & -2147483647
-32767 & -2147483647
quote -32767 & -32768
-32767 & -32768
quote -32767 & -32767
-32767 & -32767
quote -32767 & -128
-32767 & -128
quote -32767 & -127
-32767 & -127
quote -32767 & 255
-32767 & 255
quote -32767 & 256
-32767 & 256
quote -32767 & 65535
-32767 & 65535
quote -32767 & 65536
-32767 & 65536
quote -32767 & 4294967295
-32767 & 4294967295
quote -32767 & 4294967296
-32767 & 4294967296
quote -32767 & 18446744073709551615
-32767 & 18446744073709551615
quote -32767 & 18446744073709551616
-32767 & 18446744073709551616
quote -32767 & 340282366920938463463374607431768211455
-32767 & 340282366920938463463374607431768211455
quote -32767 & 340282366920938463463374607431768211456
-32767 & 340282366920938463463374607431768211456
quote -128 & -170141183460469231731687303715884105728
-128 & -170141183460469231731687303715884105728
quote -128 & -170141183460469231731687303715884105727
-128 & -170141183460469231731687303715884105727
quote -128 & -9223372036854775808
-128 & -9223372036854775808
quote -128 & -9223372036854775807
-128 & -9223372036854775807
quote -128 & -2147483648
-128 & -2147483648
quote -128 & -2147483647
-128 & -2147483647
quote -128 & -32768
-128 & -32768
quote -128 & -32767
-128 & -32767
quote -128 & -128
-128 & -128
quote -128 & -127
-128 & -127
quote -128 & 255
-128 & 255
quote -128 & 256
-128 & 256
quote -128 & 65535
-128 & 65535
quote -128 & 65536
-128 & 65536
quote -128 & 4294967295
-128 & 4294967295
quote -128 & 4294967296
-128 & 4294967296
quote -128 & 18446744073709551615
-128 & 18446744073709551615
quote -128 & 18446744073709551616
-128 & 18446744073709551616
quote -128 & 340282366920938463463374607431768211455
-128 & 340282366920938463463374607431768211455
quote -128 & 340282366920938463463374607431768211456
-128 & 340282366920938463463374607431768211456
quote -127 & -170141183460469231731687303715884105728
-127 & -170141183460469231731687303715884105728
quote -127 & -170141183460469231731687303715884105727
-127 & -170141183460469231731687303715884105727
quote -127 & -9223372036854775808
-127 & -9223372036854775808
quote -127 & -9223372036854775807
-127 & -9223372036854775807
quote -127 & -2147483648
-127 & -2147483648
quote -127 & -2147483647
-127 & -2147483647
quote -127 & -32768
-127 & -32768
quote -127 & -32767
-127 & -32767
quote -127 & -128
-127 & -128
quote -127 & -127
-127 & -127
quote -127 & 255
-127 & 255
quote -127 & 256
-127 & 256
quote -127 & 65535
-127 & 65535
quote -127 & 65536
-127 & 65536
quote -127 & 4294967295
-127 & 4294967295
quote -127 & 4294967296
-127 & 4294967296
quote -127 & 18446744073709551615
-127 & 18446744073709551615
quote -127 & 18446744073709551616
-127 & 18446744073709551616
quote -127 & 340282366920938463463374607431768211455
-127 & 340282366920938463463374607431768211455
quote -127 & 340282366920938463463374607431768211456
-127 & 340282366920938463463374607431768211456
quote 255 & -170141183460469231731687303715884105728
255 & -170141183460469231731687303715884105728
quote 255 & -170141183460469231731687303715884105727
255 & -170141183460469231731687303715884105727
quote 255 & -9223372036854775808
255 & -9223372036854775808
quote 255 & -9223372036854775807
255 & -9223372036854775807
quote 255 & -2147483648
255 & -2147483648
quote 255 & -2147483647
255 & -2147483647
quote 255 & -32768
255 & -32768
quote 255 & -32767
255 & -32767
quote 255 & -128
255 & -128
quote 255 & -127
255 & -127
quote 255 & 255
255 & 255
quote 255 & 256
255 & 256
quote 255 & 65535
255 & 65535
quote 255 & 65536
255 & 65536
quote 255 & 4294967295
255 & 4294967295
quote 255 & 4294967296
255 & 4294967296
quote 255 & 18446744073709551615
255 & 18446744073709551615
quote 255 & 18446744073709551616
255 & 18446744073709551616
quote 255 & 340282366920938463463374607431768211455
255 & 340282366920938463463374607431768211455
quote 255 & 340282366920938463463374607431768211456
255 & 340282366920938463463374607431768211456
quote 256 & -170141183460469231731687303715884105728
256 & -170141183460469231731687303715884105728
quote 256 & -170141183460469231731687303715884105727
256 & -170141183460469231731687303715884105727
quote 256 & -9223372036854775808
256 & -9223372036854775808
quote 256 & -9223372036854775807
256 & -9223372036854775807
quote 256 & -2147483648
256 & -2147483648
quote 256 & -2147483647
256 & -2147483647
quote 256 & -32768
256 & -32768
quote 256 & -32767
256 & -32767
quote 256 & -128
256 & -128
quote 256 & -127
256 & -127
quote 256 & 255
256 & 255
quote 256 & 256
256 & 256
quote 256 & 65535
256 & 65535
quote 256 & 65536
256 & 65536
quote 256 & 4294967295
256 & 4294967295
quote 256 & 4294967296
256 & 4294967296
quote 256 & 18446744073709551615
256 & 18446744073709551615
quote 256 & 18446744073709551616
256 & 18446744073709551616
quote 256 & 340282366920938463463374607431768211455
256 & 340282366920938463463374607431768211455
quote 256 & 340282366920938463463374607431768211456
256 & 340282366920938463463374607431768211456
quote 65535 & -170141183460469231731687303715884105728
65535 & -170141183460469231731687303715884105728
quote 65535 & -170141183460469231731687303715884105727
65535 & -170141183460469231731687303715884105727
quote 65535 & -9223372036854775808
65535 & -9223372036854775808
quote 65535 & -9223372036854775807
65535 & -9223372036854775807
quote 65535 & -2147483648
65535 & -2147483648
quote 65535 & -2147483647
65535 & -2147483647
quote 65535 & -32768
65535 & -32768
quote 65535 & -32767
65535 & -32767
quote 65535 & -128
65535 & -128
quote 65535 & -127
65535 & -127
quote 65535 & 255
65535 & 255
quote 65535 & 256
65535 & 256
quote 65535 & 65535
65535 & 65535
quote 65535 & 65536
65535 & 65536
quote 65535 & 4294967295
65535 & 4294967295
quote 65535 & 4294967296
65535 & 4294967296
quote 65535 & 18446744073709551615
65535 & 18446744073709551615
quote 65535 & 18446744073709551616
65535 & 18446744073709551616
quote 65535 & 340282366920938463463374607431768211455
65535 & 340282366920938463463374607431768211455
quote 65535 & 340282366920938463463374607431768211456
65535 & 340282366920938463463374607431768211456
quote 65536 & -170141183460469231731687303715884105728
65536 & -170141183460469231731687303715884105728
quote 65536 & -170141183460469231731687303715884105727
65536 & -170141183460469231731687303715884105727
quote 65536 & -9223372036854775808
65536 & -9223372036854775808
quote 65536 & -9223372036854775807
65536 & -9223372036854775807
quote 65536 & -2147483648
65536 & -2147483648
quote 65536 & -2147483647
65536 & -2147483647
quote 65536 & -32768
65536 & -32768
quote 65536 & -32767
65536 & -32767
quote 65536 & -128
65536 & -128
quote 65536 & -127
65536 & -127
quote 65536 & 255
65536 & 255
quote 65536 & 256
65536 & 256
quote 65536 & 65535
65536 & 65535
quote 65536 & 65536
65536 & 65536
quote 65536 & 4294967295
65536 & 4294967295
quote 65536 & 4294967296
65536 & 4294967296
quote 65536 & 18446744073709551615
65536 & 18446744073709551615
quote 65536 & 18446744073709551616
65536 & 18446744073709551616
quote 65536 & 340282366920938463463374607431768211455
65536 & 340282366920938463463374607431768211455
quote 65536 & 340282366920938463463374607431768211456
65536 & 340282366920938463463374607431768211456
quote 4294967295 & -170141183460469231731687303715884105728
4294967295 & -170141183460469231731687303715884105728
quote 4294967295 & -170141183460469231731687303715884105727
4294967295 & -170141183460469231731687303715884105727
quote 4294967295 & -9223372036854775808
4294967295 & -9223372036854775808
quote 4294967295 & -9223372036854775807
4294967295 & -9223372036854775807
quote 4294967295 & -2147483648
4294967295 & -2147483648
quote 4294967295 & -2147483647
4294967295 & -2147483647
quote 4294967295 & -32768
4294967295 & -32768
quote 4294967295 & -32767
4294967295 & -32767
quote 4294967295 & -128
4294967295 & -128
quote 4294967295 & -127
4294967295 & -127
quote 4294967295 & 255
4294967295 & 255
quote 4294967295 & 256
4294967295 & 256
quote 4294967295 & 65535
4294967295 & 65535
quote 4294967295 & 65536
4294967295 & 65536
quote 4294967295 & 4294967295
4294967295 & 4294967295
quote 4294967295 & 4294967296
4294967295 & 4294967296
quote 4294967295 & 18446744073709551615
4294967295 & 18446744073709551615
quote 4294967295 & 18446744073709551616
4294967295 & 18446744073709551616
quote 4294967295 & 340282366920938463463374607431768211455
4294967295 & 340282366920938463463374607431768211455
quote 4294967295 & 340282366920938463463374607431768211456
4294967295 & 340282366920938463463374607431768211456
quote 4294967296 & -170141183460469231731687303715884105728
4294967296 & -170141183460469231731687303715884105728
quote 4294967296 & -170141183460469231731687303715884105727
4294967296 & -170141183460469231731687303715884105727
quote 4294967296 & -9223372036854775808
4294967296 & -9223372036854775808
quote 4294967296 & -9223372036854775807
4294967296 & -9223372036854775807
quote 4294967296 & -2147483648
4294967296 & -2147483648
quote 4294967296 & -2147483647
4294967296 & -2147483647
quote 4294967296 & -32768
4294967296 & -32768
quote 4294967296 & -32767
4294967296 & -32767
quote 4294967296 & -128
4294967296 & -128
quote 4294967296 & -127
4294967296 & -127
quote 4294967296 & 255
4294967296 & 255
quote 4294967296 & 256
4294967296 & 256
quote 4294967296 & 65535
4294967296 & 65535
quote 4294967296 & 65536
4294967296 & 65536
quote 4294967296 & 4294967295
4294967296 & 4294967295
quote 4294967296 & 4294967296
4294967296 & 4294967296
quote 4294967296 & 18446744073709551615
4294967296 & 18446744073709551615
quote 4294967296 & 18446744073709551616
4294967296 & 18446744073709551616
quote 4294967296 & 340282366920938463463374607431768211455
4294967296 & 340282366920938463463374607431768211455
quote 4294967296 & 340282366920938463463374607431768211456
4294967296 & 340282366920938463463374607431768211456
quote 18446744073709551615 & -170141183460469231731687303715884105728
18446744073709551615 & -170141183460469231731687303715884105728
quote 18446744073709551615 & -170141183460469231731687303715884105727
18446744073709551615 & -170141183460469231731687303715884105727
quote 18446744073709551615 & -9223372036854775808
18446744073709551615 & -9223372036854775808
quote 18446744073709551615 & -9223372036854775807
18446744073709551615 & -9223372036854775807
quote 18446744073709551615 & -2147483648
18446744073709551615 & -2147483648
quote 18446744073709551615 & -2147483647
18446744073709551615 & -2147483647
quote 18446744073709551615 & -32768
18446744073709551615 & -32768
quote 18446744073709551615 & -32767
18446744073709551615 & -32767
quote 18446744073709551615 & -128
18446744073709551615 & -128
quote 18446744073709551615 & -127
18446744073709551615 & -127
quote 18446744073709551615 & 255
18446744073709551615 & 255
quote 18446744073709551615 & 256
18446744073709551615 & 256
quote 18446744073709551615 & 65535
18446744073709551615 & 65535
quote 18446744073709551615 & 65536
18446744073709551615 & 65536
quote 18446744073709551615 & 4294967295
18446744073709551615 & 4294967295
quote 18446744073709551615 & 4294967296
18446744073709551615 & 4294967296
quote 18446744073709551615 & 18446744073709551615
18446744073709551615 & 18446744073709551615
quote 18446744073709551615 & 18446744073709551616
18446744073709551615 & 18446744073709551616
quote 18446744073709551615 & 340282366920938463463374607431768211455
18446744073709551615 & 340282366920938463463374607431768211455
quote 18446744073709551615 & 340282366920938463463374607431768211456
18446744073709551615 & 340282366920938463463374607431768211456
quote 18446744073709551616 & -170141183460469231731687303715884105728
18446744073709551616 & -170141183460469231731687303715884105728
quote 18446744073709551616 & -170141183460469231731687303715884105727
18446744073709551616 & -170141183460469231731687303715884105727
quote 18446744073709551616 & -9223372036854775808
18446744073709551616 & -9223372036854775808
quote 18446744073709551616 & -9223372036854775807
18446744073709551616 & -9223372036854775807
quote 18446744073709551616 & -2147483648
18446744073709551616 & -2147483648
quote 18446744073709551616 & -2147483647
18446744073709551616 & -2147483647
quote 18446744073709551616 & -32768
18446744073709551616 & -32768
quote 18446744073709551616 & -32767
18446744073709551616 & -32767
quote 18446744073709551616 & -128
18446744073709551616 & -128
quote 18446744073709551616 & -127
18446744073709551616 & -127
quote 18446744073709551616 & 255
18446744073709551616 & 255
quote 18446744073709551616 & 256
18446744073709551616 & 256
quote 18446744073709551616 & 65535
18446744073709551616 & 65535
quote 18446744073709551616 & 65536
18446744073709551616 & 65536
quote 18446744073709551616 & 4294967295
18446744073709551616 & 4294967295
quote 18446744073709551616 & 4294967296
18446744073709551616 & 4294967296
quote 18446744073709551616 & 18446744073709551615
18446744073709551616 & 18446744073709551615
quote 18446744073709551616 & 18446744073709551616
18446744073709551616 & 18446744073709551616
quote 18446744073709551616 & 340282366920938463463374607431768211455
18446744073709551616 & 340282366920938463463374607431768211455
quote 18446744073709551616 & 340282366920938463463374607431768211456
18446744073709551616 & 340282366920938463463374607431768211456
quote 340282366920938463463374607431768211455 & -170141183460469231731687303715884105728
340282366920938463463374607431768211455 & -170141183460469231731687303715884105728
quote 340282366920938463463374607431768211455 & -170141183460469231731687303715884105727
340282366920938463463374607431768211455 & -170141183460469231731687303715884105727
quote 340282366920938463463374607431768211455 & -9223372036854775808
340282366920938463463374607431768211455 & -9223372036854775808
quote 340282366920938463463374607431768211455 & -9223372036854775807
340282366920938463463374607431768211455 & -9223372036854775807
quote 340282366920938463463374607431768211455 & -2147483648
340282366920938463463374607431768211455 & -2147483648
quote 340282366920938463463374607431768211455 & -2147483647
340282366920938463463374607431768211455 & -2147483647
quote 340282366920938463463374607431768211455 & -32768
340282366920938463463374607431768211455 & -32768
quote 340282366920938463463374607431768211455 & -32767
340282366920938463463374607431768211455 & -32767
quote 340282366920938463463374607431768211455 & -128
340282366920938463463374607431768211455 & -128
quote 340282366920938463463374607431768211455 & -127
340282366920938463463374607431768211455 & -127
quote 340282366920938463463374607431768211455 & 255
340282366920938463463374607431768211455 & 255
quote 340282366920938463463374607431768211455 & 256
340282366920938463463374607431768211455 & 256
quote 340282366920938463463374607431768211455 & 65535
340282366920938463463374607431768211455 & 65535
quote 340282366920938463463374607431768211455 & 65536
340282366920938463463374607431768211455 & 65536
quote 340282366920938463463374607431768211455 & 4294967295
340282366920938463463374607431768211455 & 4294967295
quote 340282366920938463463374607431768211455 & 4294967296
340282366920938463463374607431768211455 & 4294967296
quote 340282366920938463463374607431768211455 & 18446744073709551615
340282366920938463463374607431768211455 & 18446744073709551615
quote 340282366920938463463374607431768211455 & 18446744073709551616
340282366920938463463374607431768211455 & 18446744073709551616
quote 340282366920938463463374607431768211455 & 340282366920938463463374607431768211455
340282366920938463463374607431768211455 & 340282366920938463463374607431768211455
quote 340282366920938463463374607431768211455 & 340282366920938463463374607431768211456
340282366920938463463374607431768211455 & 340282366920938463463374607431768211456
quote 340282366920938463463374607431768211456 & -170141183460469231731687303715884105728
340282366920938463463374607431768211456 & -170141183460469231731687303715884105728
quote 340282366920938463463374607431768211456 & -170141183460469231731687303715884105727
340282366920938463463374607431768211456 & -170141183460469231731687303715884105727
quote 340282366920938463463374607431768211456 & -9223372036854775808
340282366920938463463374607431768211456 & -9223372036854775808
quote 340282366920938463463374607431768211456 & -9223372036854775807
340282366920938463463374607431768211456 & -9223372036854775807
quote 340282366920938463463374607431768211456 & -2147483648
340282366920938463463374607431768211456 & -2147483648
quote 340282366920938463463374607431768211456 & -2147483647
340282366920938463463374607431768211456 & -2147483647
quote 340282366920938463463374607431768211456 & -32768
340282366920938463463374607431768211456 & -32768
quote 340282366920938463463374607431768211456 & -32767
340282366920938463463374607431768211456 & -32767
quote 340282366920938463463374607431768211456 & -128
340282366920938463463374607431768211456 & -128
quote 340282366920938463463374607431768211456 & -127
340282366920938463463374607431768211456 & -127
quote 340282366920938463463374607431768211456 & 255
340282366920938463463374607431768211456 & 255
quote 340282366920938463463374607431768211456 & 256
340282366920938463463374607431768211456 & 256
quote 340282366920938463463374607431768211456 & 65535
340282366920938463463374607431768211456 & 65535
quote 340282366920938463463374607431768211456 & 65536
340282366920938463463374607431768211456 & 65536
quote 340282366920938463463374607431768211456 & 4294967295
340282366920938463463374607431768211456 & 4294967295
quote 340282366920938463463374607431768211456 & 4294967296
340282366920938463463374607431768211456 & 4294967296
quote 340282366920938463463374607431768211456 & 18446744073709551615
340282366920938463463374607431768211456 & 18446744073709551615
quote 340282366920938463463374607431768211456 & 18446744073709551616
340282366920938463463374607431768211456 & 18446744073709551616
quote 340282366920938463463374607431768211456 & 340282366920938463463374607431768211455
340282366920938463463374607431768211456 & 340282366920938463463374607431768211455
quote 340282366920938463463374607431768211456 & 340282366920938463463374607431768211456
340282366920938463463374607431768211456 & 340282366920938463463374607431768211456
kc3-lang/kc3/test/ic3/integer_band.in

Commit

test/ic3/integer_band.in
