never {
q1:
	if
	:: ((! (o2) && ! (u2) && ! (g2) && ! (o1) && ! (u1) && ! (g1)) || (! (o2) && ! (u2) && ! (g2) && (o1) && ! (u1) && ! (g1)) || ((o2) && ! (u2) && ! (g2) && ! (o1) && ! (u1) && ! (g1)) || ((o2) && ! (u2) && ! (g2) && (o1) && ! (u1) && ! (g1))) -> goto q1
	:: ((! (o2) && ! (u2) && ! (g2) && ! (o1) && ! (u1) && (g1)) || (! (o2) && ! (u2) && ! (g2) && (o1) && ! (u1) && (g1)) || (! (o2) && ! (u2) && (g2) && ! (o1) && ! (u1) && ! (g1)) || (! (o2) && ! (u2) && (g2) && ! (o1) && ! (u1) && (g1)) || (! (o2) && ! (u2) && (g2) && ! (o1) && (u1) && ! (g1)) || (! (o2) && ! (u2) && (g2) && ! (o1) && (u1) && (g1)) || (! (o2) && ! (u2) && (g2) && (o1) && ! (u1) && ! (g1)) || (! (o2) && ! (u2) && (g2) && (o1) && ! (u1) && (g1)) || (! (o2) && ! (u2) && (g2) && (o1) && (u1) && ! (g1)) || (! (o2) && ! (u2) && (g2) && (o1) && (u1) && (g1)) || (! (o2) && (u2) && ! (g2) && ! (o1) && ! (u1) && (g1)) || (! (o2) && (u2) && ! (g2) && (o1) && ! (u1) && (g1)) || (! (o2) && (u2) && (g2) && ! (o1) && ! (u1) && (g1)) || (! (o2) && (u2) && (g2) && (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && ! (g2) && ! (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && ! (g2) && (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && (g2) && ! (o1) && ! (u1) && ! (g1)) || ((o2) && ! (u2) && (g2) && ! (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && (g2) && ! (o1) && (u1) && ! (g1)) || ((o2) && ! (u2) && (g2) && ! (o1) && (u1) && (g1)) || ((o2) && ! (u2) && (g2) && (o1) && ! (u1) && ! (g1)) || ((o2) && ! (u2) && (g2) && (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && (g2) && (o1) && (u1) && ! (g1)) || ((o2) && ! (u2) && (g2) && (o1) && (u1) && (g1)) || ((o2) && (u2) && ! (g2) && ! (o1) && ! (u1) && (g1)) || ((o2) && (u2) && ! (g2) && (o1) && ! (u1) && (g1)) || ((o2) && (u2) && (g2) && ! (o1) && ! (u1) && (g1)) || ((o2) && (u2) && (g2) && (o1) && ! (u1) && (g1))) -> goto q2
	:: ((! (o2) && (u2) && ! (g2) && ! (o1) && ! (u1) && ! (g1)) || (! (o2) && (u2) && ! (g2) && (o1) && ! (u1) && ! (g1)) || (! (o2) && (u2) && (g2) && ! (o1) && ! (u1) && ! (g1)) || (! (o2) && (u2) && (g2) && (o1) && ! (u1) && ! (g1)) || ((o2) && (u2) && ! (g2) && ! (o1) && ! (u1) && ! (g1)) || ((o2) && (u2) && ! (g2) && (o1) && ! (u1) && ! (g1)) || ((o2) && (u2) && (g2) && ! (o1) && ! (u1) && ! (g1)) || ((o2) && (u2) && (g2) && (o1) && ! (u1) && ! (g1))) -> goto q3
	:: ((! (o2) && (u2) && ! (g2) && ! (o1) && (u1) && ! (g1)) || (! (o2) && (u2) && ! (g2) && ! (o1) && (u1) && (g1)) || (! (o2) && (u2) && ! (g2) && (o1) && (u1) && ! (g1)) || (! (o2) && (u2) && ! (g2) && (o1) && (u1) && (g1)) || (! (o2) && (u2) && (g2) && ! (o1) && (u1) && ! (g1)) || (! (o2) && (u2) && (g2) && ! (o1) && (u1) && (g1)) || (! (o2) && (u2) && (g2) && (o1) && (u1) && ! (g1)) || (! (o2) && (u2) && (g2) && (o1) && (u1) && (g1)) || ((o2) && (u2) && ! (g2) && ! (o1) && (u1) && ! (g1)) || ((o2) && (u2) && ! (g2) && ! (o1) && (u1) && (g1)) || ((o2) && (u2) && ! (g2) && (o1) && (u1) && ! (g1)) || ((o2) && (u2) && ! (g2) && (o1) && (u1) && (g1)) || ((o2) && (u2) && (g2) && ! (o1) && (u1) && ! (g1)) || ((o2) && (u2) && (g2) && ! (o1) && (u1) && (g1)) || ((o2) && (u2) && (g2) && (o1) && (u1) && ! (g1)) || ((o2) && (u2) && (g2) && (o1) && (u1) && (g1))) -> goto q4
	:: ((! (o2) && ! (u2) && ! (g2) && ! (o1) && (u1) && ! (g1)) || (! (o2) && ! (u2) && ! (g2) && ! (o1) && (u1) && (g1)) || (! (o2) && ! (u2) && ! (g2) && (o1) && (u1) && ! (g1)) || (! (o2) && ! (u2) && ! (g2) && (o1) && (u1) && (g1)) || ((o2) && ! (u2) && ! (g2) && ! (o1) && (u1) && ! (g1)) || ((o2) && ! (u2) && ! (g2) && ! (o1) && (u1) && (g1)) || ((o2) && ! (u2) && ! (g2) && (o1) && (u1) && ! (g1)) || ((o2) && ! (u2) && ! (g2) && (o1) && (u1) && (g1))) -> goto q5
	fi;
accept_q2:
q2:
	if
	:: ((! (o2) && ! (u2) && ! (g2) && ! (o1) && ! (u1) && ! (g1)) || (! (o2) && ! (u2) && ! (g2) && ! (o1) && ! (u1) && (g1)) || (! (o2) && ! (u2) && ! (g2) && ! (o1) && (u1) && ! (g1)) || (! (o2) && ! (u2) && ! (g2) && ! (o1) && (u1) && (g1)) || (! (o2) && ! (u2) && ! (g2) && (o1) && ! (u1) && ! (g1)) || (! (o2) && ! (u2) && ! (g2) && (o1) && ! (u1) && (g1)) || (! (o2) && ! (u2) && ! (g2) && (o1) && (u1) && ! (g1)) || (! (o2) && ! (u2) && ! (g2) && (o1) && (u1) && (g1)) || (! (o2) && ! (u2) && (g2) && ! (o1) && ! (u1) && ! (g1)) || (! (o2) && ! (u2) && (g2) && ! (o1) && ! (u1) && (g1)) || (! (o2) && ! (u2) && (g2) && ! (o1) && (u1) && ! (g1)) || (! (o2) && ! (u2) && (g2) && ! (o1) && (u1) && (g1)) || (! (o2) && ! (u2) && (g2) && (o1) && ! (u1) && ! (g1)) || (! (o2) && ! (u2) && (g2) && (o1) && ! (u1) && (g1)) || (! (o2) && ! (u2) && (g2) && (o1) && (u1) && ! (g1)) || (! (o2) && ! (u2) && (g2) && (o1) && (u1) && (g1)) || (! (o2) && (u2) && ! (g2) && ! (o1) && ! (u1) && ! (g1)) || (! (o2) && (u2) && ! (g2) && ! (o1) && ! (u1) && (g1)) || (! (o2) && (u2) && ! (g2) && ! (o1) && (u1) && ! (g1)) || (! (o2) && (u2) && ! (g2) && ! (o1) && (u1) && (g1)) || (! (o2) && (u2) && ! (g2) && (o1) && ! (u1) && ! (g1)) || (! (o2) && (u2) && ! (g2) && (o1) && ! (u1) && (g1)) || (! (o2) && (u2) && ! (g2) && (o1) && (u1) && ! (g1)) || (! (o2) && (u2) && ! (g2) && (o1) && (u1) && (g1)) || (! (o2) && (u2) && (g2) && ! (o1) && ! (u1) && ! (g1)) || (! (o2) && (u2) && (g2) && ! (o1) && ! (u1) && (g1)) || (! (o2) && (u2) && (g2) && ! (o1) && (u1) && ! (g1)) || (! (o2) && (u2) && (g2) && ! (o1) && (u1) && (g1)) || (! (o2) && (u2) && (g2) && (o1) && ! (u1) && ! (g1)) || (! (o2) && (u2) && (g2) && (o1) && ! (u1) && (g1)) || (! (o2) && (u2) && (g2) && (o1) && (u1) && ! (g1)) || (! (o2) && (u2) && (g2) && (o1) && (u1) && (g1)) || ((o2) && ! (u2) && ! (g2) && ! (o1) && ! (u1) && ! (g1)) || ((o2) && ! (u2) && ! (g2) && ! (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && ! (g2) && ! (o1) && (u1) && ! (g1)) || ((o2) && ! (u2) && ! (g2) && ! (o1) && (u1) && (g1)) || ((o2) && ! (u2) && ! (g2) && (o1) && ! (u1) && ! (g1)) || ((o2) && ! (u2) && ! (g2) && (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && ! (g2) && (o1) && (u1) && ! (g1)) || ((o2) && ! (u2) && ! (g2) && (o1) && (u1) && (g1)) || ((o2) && ! (u2) && (g2) && ! (o1) && ! (u1) && ! (g1)) || ((o2) && ! (u2) && (g2) && ! (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && (g2) && ! (o1) && (u1) && ! (g1)) || ((o2) && ! (u2) && (g2) && ! (o1) && (u1) && (g1)) || ((o2) && ! (u2) && (g2) && (o1) && ! (u1) && ! (g1)) || ((o2) && ! (u2) && (g2) && (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && (g2) && (o1) && (u1) && ! (g1)) || ((o2) && ! (u2) && (g2) && (o1) && (u1) && (g1)) || ((o2) && (u2) && ! (g2) && ! (o1) && ! (u1) && ! (g1)) || ((o2) && (u2) && ! (g2) && ! (o1) && ! (u1) && (g1)) || ((o2) && (u2) && ! (g2) && ! (o1) && (u1) && ! (g1)) || ((o2) && (u2) && ! (g2) && ! (o1) && (u1) && (g1)) || ((o2) && (u2) && ! (g2) && (o1) && ! (u1) && ! (g1)) || ((o2) && (u2) && ! (g2) && (o1) && ! (u1) && (g1)) || ((o2) && (u2) && ! (g2) && (o1) && (u1) && ! (g1)) || ((o2) && (u2) && ! (g2) && (o1) && (u1) && (g1)) || ((o2) && (u2) && (g2) && ! (o1) && ! (u1) && ! (g1)) || ((o2) && (u2) && (g2) && ! (o1) && ! (u1) && (g1)) || ((o2) && (u2) && (g2) && ! (o1) && (u1) && ! (g1)) || ((o2) && (u2) && (g2) && ! (o1) && (u1) && (g1)) || ((o2) && (u2) && (g2) && (o1) && ! (u1) && ! (g1)) || ((o2) && (u2) && (g2) && (o1) && ! (u1) && (g1)) || ((o2) && (u2) && (g2) && (o1) && (u1) && ! (g1)) || ((o2) && (u2) && (g2) && (o1) && (u1) && (g1))) -> goto q2
	fi;
q3:
	if
	:: (((o2) && ! (u2) && ! (g2) && ! (o1) && ! (u1) && ! (g1)) || ((o2) && ! (u2) && ! (g2) && (o1) && ! (u1) && ! (g1))) -> goto q1
	:: ((! (o2) && ! (u2) && ! (g2) && ! (o1) && ! (u1) && (g1)) || (! (o2) && ! (u2) && ! (g2) && (o1) && ! (u1) && (g1)) || (! (o2) && ! (u2) && (g2) && ! (o1) && ! (u1) && (g1)) || (! (o2) && ! (u2) && (g2) && (o1) && ! (u1) && (g1)) || (! (o2) && (u2) && ! (g2) && ! (o1) && ! (u1) && (g1)) || (! (o2) && (u2) && ! (g2) && (o1) && ! (u1) && (g1)) || (! (o2) && (u2) && (g2) && ! (o1) && ! (u1) && (g1)) || (! (o2) && (u2) && (g2) && (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && ! (g2) && ! (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && ! (g2) && (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && (g2) && ! (o1) && ! (u1) && ! (g1)) || ((o2) && ! (u2) && (g2) && ! (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && (g2) && ! (o1) && (u1) && ! (g1)) || ((o2) && ! (u2) && (g2) && ! (o1) && (u1) && (g1)) || ((o2) && ! (u2) && (g2) && (o1) && ! (u1) && ! (g1)) || ((o2) && ! (u2) && (g2) && (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && (g2) && (o1) && (u1) && ! (g1)) || ((o2) && ! (u2) && (g2) && (o1) && (u1) && (g1)) || ((o2) && (u2) && ! (g2) && ! (o1) && ! (u1) && (g1)) || ((o2) && (u2) && ! (g2) && (o1) && ! (u1) && (g1)) || ((o2) && (u2) && (g2) && ! (o1) && ! (u1) && (g1)) || ((o2) && (u2) && (g2) && (o1) && ! (u1) && (g1))) -> goto q2
	:: ((! (o2) && ! (u2) && ! (g2) && ! (o1) && ! (u1) && ! (g1)) || (! (o2) && ! (u2) && ! (g2) && (o1) && ! (u1) && ! (g1)) || (! (o2) && ! (u2) && (g2) && ! (o1) && ! (u1) && ! (g1)) || (! (o2) && ! (u2) && (g2) && (o1) && ! (u1) && ! (g1)) || (! (o2) && (u2) && ! (g2) && ! (o1) && ! (u1) && ! (g1)) || (! (o2) && (u2) && ! (g2) && (o1) && ! (u1) && ! (g1)) || (! (o2) && (u2) && (g2) && ! (o1) && ! (u1) && ! (g1)) || (! (o2) && (u2) && (g2) && (o1) && ! (u1) && ! (g1)) || ((o2) && (u2) && ! (g2) && ! (o1) && ! (u1) && ! (g1)) || ((o2) && (u2) && ! (g2) && (o1) && ! (u1) && ! (g1)) || ((o2) && (u2) && (g2) && ! (o1) && ! (u1) && ! (g1)) || ((o2) && (u2) && (g2) && (o1) && ! (u1) && ! (g1))) -> goto q3
	:: ((! (o2) && ! (u2) && ! (g2) && ! (o1) && (u1) && ! (g1)) || (! (o2) && ! (u2) && ! (g2) && ! (o1) && (u1) && (g1)) || (! (o2) && ! (u2) && ! (g2) && (o1) && (u1) && ! (g1)) || (! (o2) && ! (u2) && ! (g2) && (o1) && (u1) && (g1)) || (! (o2) && ! (u2) && (g2) && ! (o1) && (u1) && ! (g1)) || (! (o2) && ! (u2) && (g2) && ! (o1) && (u1) && (g1)) || (! (o2) && ! (u2) && (g2) && (o1) && (u1) && ! (g1)) || (! (o2) && ! (u2) && (g2) && (o1) && (u1) && (g1)) || (! (o2) && (u2) && ! (g2) && ! (o1) && (u1) && ! (g1)) || (! (o2) && (u2) && ! (g2) && ! (o1) && (u1) && (g1)) || (! (o2) && (u2) && ! (g2) && (o1) && (u1) && ! (g1)) || (! (o2) && (u2) && ! (g2) && (o1) && (u1) && (g1)) || (! (o2) && (u2) && (g2) && ! (o1) && (u1) && ! (g1)) || (! (o2) && (u2) && (g2) && ! (o1) && (u1) && (g1)) || (! (o2) && (u2) && (g2) && (o1) && (u1) && ! (g1)) || (! (o2) && (u2) && (g2) && (o1) && (u1) && (g1)) || ((o2) && (u2) && ! (g2) && ! (o1) && (u1) && ! (g1)) || ((o2) && (u2) && ! (g2) && ! (o1) && (u1) && (g1)) || ((o2) && (u2) && ! (g2) && (o1) && (u1) && ! (g1)) || ((o2) && (u2) && ! (g2) && (o1) && (u1) && (g1)) || ((o2) && (u2) && (g2) && ! (o1) && (u1) && ! (g1)) || ((o2) && (u2) && (g2) && ! (o1) && (u1) && (g1)) || ((o2) && (u2) && (g2) && (o1) && (u1) && ! (g1)) || ((o2) && (u2) && (g2) && (o1) && (u1) && (g1))) -> goto q4
	:: (((o2) && ! (u2) && ! (g2) && ! (o1) && (u1) && ! (g1)) || ((o2) && ! (u2) && ! (g2) && ! (o1) && (u1) && (g1)) || ((o2) && ! (u2) && ! (g2) && (o1) && (u1) && ! (g1)) || ((o2) && ! (u2) && ! (g2) && (o1) && (u1) && (g1))) -> goto q5
	fi;
q4:
	if
	:: (((o2) && ! (u2) && ! (g2) && (o1) && ! (u1) && ! (g1))) -> goto q1
	:: ((! (o2) && ! (u2) && ! (g2) && (o1) && ! (u1) && (g1)) || (! (o2) && ! (u2) && (g2) && (o1) && ! (u1) && (g1)) || (! (o2) && (u2) && ! (g2) && (o1) && ! (u1) && (g1)) || (! (o2) && (u2) && (g2) && (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && ! (g2) && (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && (g2) && ! (o1) && ! (u1) && ! (g1)) || ((o2) && ! (u2) && (g2) && ! (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && (g2) && ! (o1) && (u1) && ! (g1)) || ((o2) && ! (u2) && (g2) && ! (o1) && (u1) && (g1)) || ((o2) && ! (u2) && (g2) && (o1) && ! (u1) && ! (g1)) || ((o2) && ! (u2) && (g2) && (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && (g2) && (o1) && (u1) && ! (g1)) || ((o2) && ! (u2) && (g2) && (o1) && (u1) && (g1)) || ((o2) && (u2) && ! (g2) && (o1) && ! (u1) && (g1)) || ((o2) && (u2) && (g2) && (o1) && ! (u1) && (g1))) -> goto q2
	:: ((! (o2) && ! (u2) && ! (g2) && (o1) && ! (u1) && ! (g1)) || (! (o2) && ! (u2) && (g2) && (o1) && ! (u1) && ! (g1)) || (! (o2) && (u2) && ! (g2) && (o1) && ! (u1) && ! (g1)) || (! (o2) && (u2) && (g2) && (o1) && ! (u1) && ! (g1)) || ((o2) && (u2) && ! (g2) && (o1) && ! (u1) && ! (g1)) || ((o2) && (u2) && (g2) && (o1) && ! (u1) && ! (g1))) -> goto q3
	:: ((! (o2) && ! (u2) && ! (g2) && ! (o1) && ! (u1) && ! (g1)) || (! (o2) && ! (u2) && ! (g2) && ! (o1) && ! (u1) && (g1)) || (! (o2) && ! (u2) && ! (g2) && ! (o1) && (u1) && ! (g1)) || (! (o2) && ! (u2) && ! (g2) && ! (o1) && (u1) && (g1)) || (! (o2) && ! (u2) && ! (g2) && (o1) && (u1) && ! (g1)) || (! (o2) && ! (u2) && ! (g2) && (o1) && (u1) && (g1)) || (! (o2) && ! (u2) && (g2) && ! (o1) && ! (u1) && ! (g1)) || (! (o2) && ! (u2) && (g2) && ! (o1) && ! (u1) && (g1)) || (! (o2) && ! (u2) && (g2) && ! (o1) && (u1) && ! (g1)) || (! (o2) && ! (u2) && (g2) && ! (o1) && (u1) && (g1)) || (! (o2) && ! (u2) && (g2) && (o1) && (u1) && ! (g1)) || (! (o2) && ! (u2) && (g2) && (o1) && (u1) && (g1)) || (! (o2) && (u2) && ! (g2) && ! (o1) && ! (u1) && ! (g1)) || (! (o2) && (u2) && ! (g2) && ! (o1) && ! (u1) && (g1)) || (! (o2) && (u2) && ! (g2) && ! (o1) && (u1) && ! (g1)) || (! (o2) && (u2) && ! (g2) && ! (o1) && (u1) && (g1)) || (! (o2) && (u2) && ! (g2) && (o1) && (u1) && ! (g1)) || (! (o2) && (u2) && ! (g2) && (o1) && (u1) && (g1)) || (! (o2) && (u2) && (g2) && ! (o1) && ! (u1) && ! (g1)) || (! (o2) && (u2) && (g2) && ! (o1) && ! (u1) && (g1)) || (! (o2) && (u2) && (g2) && ! (o1) && (u1) && ! (g1)) || (! (o2) && (u2) && (g2) && ! (o1) && (u1) && (g1)) || (! (o2) && (u2) && (g2) && (o1) && (u1) && ! (g1)) || (! (o2) && (u2) && (g2) && (o1) && (u1) && (g1)) || ((o2) && (u2) && ! (g2) && ! (o1) && ! (u1) && ! (g1)) || ((o2) && (u2) && ! (g2) && ! (o1) && ! (u1) && (g1)) || ((o2) && (u2) && ! (g2) && ! (o1) && (u1) && ! (g1)) || ((o2) && (u2) && ! (g2) && ! (o1) && (u1) && (g1)) || ((o2) && (u2) && ! (g2) && (o1) && (u1) && ! (g1)) || ((o2) && (u2) && ! (g2) && (o1) && (u1) && (g1)) || ((o2) && (u2) && (g2) && ! (o1) && ! (u1) && ! (g1)) || ((o2) && (u2) && (g2) && ! (o1) && ! (u1) && (g1)) || ((o2) && (u2) && (g2) && ! (o1) && (u1) && ! (g1)) || ((o2) && (u2) && (g2) && ! (o1) && (u1) && (g1)) || ((o2) && (u2) && (g2) && (o1) && (u1) && ! (g1)) || ((o2) && (u2) && (g2) && (o1) && (u1) && (g1))) -> goto q4
	:: (((o2) && ! (u2) && ! (g2) && ! (o1) && ! (u1) && ! (g1)) || ((o2) && ! (u2) && ! (g2) && ! (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && ! (g2) && ! (o1) && (u1) && ! (g1)) || ((o2) && ! (u2) && ! (g2) && ! (o1) && (u1) && (g1)) || ((o2) && ! (u2) && ! (g2) && (o1) && (u1) && ! (g1)) || ((o2) && ! (u2) && ! (g2) && (o1) && (u1) && (g1))) -> goto q5
	fi;
q5:
	if
	:: ((! (o2) && ! (u2) && ! (g2) && (o1) && ! (u1) && ! (g1)) || ((o2) && ! (u2) && ! (g2) && (o1) && ! (u1) && ! (g1))) -> goto q1
	:: ((! (o2) && ! (u2) && ! (g2) && (o1) && ! (u1) && (g1)) || (! (o2) && ! (u2) && (g2) && ! (o1) && ! (u1) && ! (g1)) || (! (o2) && ! (u2) && (g2) && ! (o1) && ! (u1) && (g1)) || (! (o2) && ! (u2) && (g2) && ! (o1) && (u1) && ! (g1)) || (! (o2) && ! (u2) && (g2) && ! (o1) && (u1) && (g1)) || (! (o2) && ! (u2) && (g2) && (o1) && ! (u1) && ! (g1)) || (! (o2) && ! (u2) && (g2) && (o1) && ! (u1) && (g1)) || (! (o2) && ! (u2) && (g2) && (o1) && (u1) && ! (g1)) || (! (o2) && ! (u2) && (g2) && (o1) && (u1) && (g1)) || (! (o2) && (u2) && ! (g2) && (o1) && ! (u1) && (g1)) || (! (o2) && (u2) && (g2) && (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && ! (g2) && (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && (g2) && ! (o1) && ! (u1) && ! (g1)) || ((o2) && ! (u2) && (g2) && ! (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && (g2) && ! (o1) && (u1) && ! (g1)) || ((o2) && ! (u2) && (g2) && ! (o1) && (u1) && (g1)) || ((o2) && ! (u2) && (g2) && (o1) && ! (u1) && ! (g1)) || ((o2) && ! (u2) && (g2) && (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && (g2) && (o1) && (u1) && ! (g1)) || ((o2) && ! (u2) && (g2) && (o1) && (u1) && (g1)) || ((o2) && (u2) && ! (g2) && (o1) && ! (u1) && (g1)) || ((o2) && (u2) && (g2) && (o1) && ! (u1) && (g1))) -> goto q2
	:: ((! (o2) && (u2) && ! (g2) && (o1) && ! (u1) && ! (g1)) || (! (o2) && (u2) && (g2) && (o1) && ! (u1) && ! (g1)) || ((o2) && (u2) && ! (g2) && (o1) && ! (u1) && ! (g1)) || ((o2) && (u2) && (g2) && (o1) && ! (u1) && ! (g1))) -> goto q3
	:: ((! (o2) && (u2) && ! (g2) && ! (o1) && ! (u1) && ! (g1)) || (! (o2) && (u2) && ! (g2) && ! (o1) && ! (u1) && (g1)) || (! (o2) && (u2) && ! (g2) && ! (o1) && (u1) && ! (g1)) || (! (o2) && (u2) && ! (g2) && ! (o1) && (u1) && (g1)) || (! (o2) && (u2) && ! (g2) && (o1) && (u1) && ! (g1)) || (! (o2) && (u2) && ! (g2) && (o1) && (u1) && (g1)) || (! (o2) && (u2) && (g2) && ! (o1) && ! (u1) && ! (g1)) || (! (o2) && (u2) && (g2) && ! (o1) && ! (u1) && (g1)) || (! (o2) && (u2) && (g2) && ! (o1) && (u1) && ! (g1)) || (! (o2) && (u2) && (g2) && ! (o1) && (u1) && (g1)) || (! (o2) && (u2) && (g2) && (o1) && (u1) && ! (g1)) || (! (o2) && (u2) && (g2) && (o1) && (u1) && (g1)) || ((o2) && (u2) && ! (g2) && ! (o1) && ! (u1) && ! (g1)) || ((o2) && (u2) && ! (g2) && ! (o1) && ! (u1) && (g1)) || ((o2) && (u2) && ! (g2) && ! (o1) && (u1) && ! (g1)) || ((o2) && (u2) && ! (g2) && ! (o1) && (u1) && (g1)) || ((o2) && (u2) && ! (g2) && (o1) && (u1) && ! (g1)) || ((o2) && (u2) && ! (g2) && (o1) && (u1) && (g1)) || ((o2) && (u2) && (g2) && ! (o1) && ! (u1) && ! (g1)) || ((o2) && (u2) && (g2) && ! (o1) && ! (u1) && (g1)) || ((o2) && (u2) && (g2) && ! (o1) && (u1) && ! (g1)) || ((o2) && (u2) && (g2) && ! (o1) && (u1) && (g1)) || ((o2) && (u2) && (g2) && (o1) && (u1) && ! (g1)) || ((o2) && (u2) && (g2) && (o1) && (u1) && (g1))) -> goto q4
	:: ((! (o2) && ! (u2) && ! (g2) && ! (o1) && ! (u1) && ! (g1)) || (! (o2) && ! (u2) && ! (g2) && ! (o1) && ! (u1) && (g1)) || (! (o2) && ! (u2) && ! (g2) && ! (o1) && (u1) && ! (g1)) || (! (o2) && ! (u2) && ! (g2) && ! (o1) && (u1) && (g1)) || (! (o2) && ! (u2) && ! (g2) && (o1) && (u1) && ! (g1)) || (! (o2) && ! (u2) && ! (g2) && (o1) && (u1) && (g1)) || ((o2) && ! (u2) && ! (g2) && ! (o1) && ! (u1) && ! (g1)) || ((o2) && ! (u2) && ! (g2) && ! (o1) && ! (u1) && (g1)) || ((o2) && ! (u2) && ! (g2) && ! (o1) && (u1) && ! (g1)) || ((o2) && ! (u2) && ! (g2) && ! (o1) && (u1) && (g1)) || ((o2) && ! (u2) && ! (g2) && (o1) && (u1) && ! (g1)) || ((o2) && ! (u2) && ! (g2) && (o1) && (u1) && (g1))) -> goto q5
	fi;
}
/* type, BA, WDBA, minWDBA:  obligation+guarantee, 6, 11, 9, 5 */