Thank you.

-------------------- summary of created expresions:
		var	literal	other
bv 32 (int)	2	8	2
bv 64 (long)	0	2	0
fp 32 (float)	0	3	0
fp 64 (double)	0	2	0
reference	0	7	0
field/array	1	0	0
reference type	0	5	0
constraint	0	2	8
uninterpreted f	0	0	0


-------------------- summary of the explored non-isomorphic execution paths:
me(0, 0)

	1234567 >= #var0_1

me(1234568, 0)
 ==> java.lang.ArithmeticException: / by zero at please.Cover.me(Cover.java:13)
	1234567 < #var0_1
	#var1_1 >= 0
	0 == #var1_1

me(1234568, 1)

	1234567 < #var0_1
	#var1_1 >= 0
	0 != #var1_1
	0 < ((2 + #var0_1) / #var1_1)

me(2147483647, 1)

	1234567 < #var0_1
	#var1_1 >= 0
	0 != #var1_1
	0 >= ((2 + #var0_1) / #var1_1)

me(2147483647, -2147483648)

	1234567 < #var0_1
	#var1_1 < 0

4 SAT calls to Z3.
4 SAT.
5 unique user code paths found.

=== Runtime [ms] 1602