s0 -> true
s0 -> true
s1 -> true
s0 -> true
s1 -> true
s1 -> true
s0 -> false
s1 -> false
s0 -> false
s0 -> false
s1 -> false
s0 -> false
s1 -> false
s1 -> false
s0 -> false
s1 -> false
s0 -> false
s0 -> false
s1 -> false
s0 -> false
s1 -> false
s1 -> false
s0 -> false
s1 -> false
==== i1 -> true
s0 -> false
s0 -> false
s1 -> false
s0 -> true
s1 -> false
s1 -> false
s0 -> true
s1 -> false
==== i2 -> true
s0 -> true
s0 -> false
s1 -> false
s0 -> false
s1 -> false
s1 -> true
s0 -> false
s1 -> true
==== i3 -> true
s0 -> false
s0 -> false
s1 -> false
s0 -> false
s1 -> false
s1 -> false
s0 -> true
s1 -> true
==== i2 -> false
s0 -> true
s0 -> true
s1 -> true
s0 -> true
s1 -> true
s1 -> true
s0 -> false
s1 -> true
==== i1 -> false
s0 -> true
s0 -> true
s1 -> true
s0 -> true
s1 -> false
s1 -> false
s0 -> true
s1 -> false
==== i2 -> true
s0 -> false
s0 -> false
s1 -> false
s0 -> false
s1 -> true
s1 -> true
s0 -> false
s1 -> true