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

Commit

test/ic3/integer_gt.in
