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

Commit

test/ic3/integer_div.in
