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_add.in

Commit

test/ic3/integer_add.in
