Edit

kc3-lang/kc3/test/ic3/integer_lt.in

Branch :

  • test/ic3/integer_lt.in 
  • 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