kmx git

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

Commit

test/ic3/integer_mod-2.in
