never{
T0_init:
	if
	:: ((((((((((((((((!(g1)) && (!(u1))) && (!(o1))) && (!(g2))) && (!(u2))) && (!(o2))) || (((((!(g1)) && (u1)) && (!(g2))) && (!(u2))) && (!(o2)))) || ((((((!(g1)) && (!(u1))) && (o1)) && (!(g2))) && (!(u2))) && (!(o2)))) || (((((!(g1)) && (!(u1))) && (o1)) && (!(g2))) && (u2))) || ((((!(g1)) && (u1)) && (!(g2))) && (u2))) || (((((!(g1)) && (!(u1))) && (!(o1))) && (!(g2))) && (u2))) || ((((((!(g1)) && (!(u1))) && (o1)) && (!(g2))) && (!(u2))) && (o2))) || (((((!(g1)) && (u1)) && (!(g2))) && (!(u2))) && (o2))) || ((((((!(g1)) && (!(u1))) && (!(o1))) && (!(g2))) && (!(u2))) && (o2))) || (((((((g1) && (u1)) && (!(g2))) && (!(u2))) && (!(o2))) || ((((g1) && (u1)) && (!(g2))) && (u2))) || (((((g1) && (u1)) && (!(g2))) && (!(u2))) && (o2)))) || (((((((!(g1)) && (!(u1))) && (!(o1))) && (g2)) && (u2)) || ((((!(g1)) && (u1)) && (g2)) && (u2))) || (((((!(g1)) && (!(u1))) && (o1)) && (g2)) && (u2)))) || ((((g1) && (u1)) && (g2)) && (u2)) -> goto T1
	:: ((((((((((!(g1)) && (!(u1))) && (!(o1))) && (!(g2))) && (!(u2))) && (!(o2))) || (((((!(g1)) && (u1)) && (!(g2))) && (!(u2))) && (!(o2)))) || ((((((!(g1)) && (!(u1))) && (o1)) && (!(g2))) && (!(u2))) && (!(o2)))) || (((((g1) && (u1)) && (!(g2))) && (!(u2))) && (!(o2)))) || ((((((((!(g1)) && (!(u1))) && (o1)) && (!(g2))) && (!(u2))) && (o2)) || (((((!(g1)) && (u1)) && (!(g2))) && (!(u2))) && (o2))) || ((((((!(g1)) && (!(u1))) && (!(o1))) && (!(g2))) && (!(u2))) && (o2)))) || (((((g1) && (u1)) && (!(g2))) && (!(u2))) && (o2)) -> goto T2
	:: ((((((((((((((((!(g1)) && (!(u1))) && (!(o1))) && (!(g2))) && (!(u2))) && (!(o2))) || (((((!(g1)) && (u1)) && (!(g2))) && (!(u2))) && (!(o2)))) || ((((((!(g1)) && (!(u1))) && (o1)) && (!(g2))) && (!(u2))) && (!(o2)))) || (((((!(g1)) && (!(u1))) && (o1)) && (!(g2))) && (u2))) || ((((!(g1)) && (u1)) && (!(g2))) && (u2))) || (((((!(g1)) && (!(u1))) && (!(o1))) && (!(g2))) && (u2))) || ((((((!(g1)) && (!(u1))) && (o1)) && (!(g2))) && (!(u2))) && (o2))) || (((((!(g1)) && (u1)) && (!(g2))) && (!(u2))) && (o2))) || ((((((!(g1)) && (!(u1))) && (!(o1))) && (!(g2))) && (!(u2))) && (o2))) || (((((((g1) && (u1)) && (!(g2))) && (!(u2))) && (!(o2))) || ((((g1) && (u1)) && (!(g2))) && (u2))) || (((((g1) && (u1)) && (!(g2))) && (!(u2))) && (o2)))) || (((((((!(g1)) && (!(u1))) && (!(o1))) && (g2)) && (u2)) || ((((!(g1)) && (u1)) && (g2)) && (u2))) || (((((!(g1)) && (!(u1))) && (o1)) && (g2)) && (u2)))) || ((((g1) && (u1)) && (g2)) && (u2)) -> goto T3
	:: ((((((((((!(g1)) && (!(u1))) && (!(o1))) && (!(g2))) && (!(u2))) && (!(o2))) || (((((!(g1)) && (!(u1))) && (!(o1))) && (!(g2))) && (u2))) || ((((((!(g1)) && (!(u1))) && (!(o1))) && (!(g2))) && (!(u2))) && (o2))) || ((((((((!(g1)) && (!(u1))) && (o1)) && (!(g2))) && (!(u2))) && (!(o2))) || (((((!(g1)) && (!(u1))) && (o1)) && (!(g2))) && (u2))) || ((((((!(g1)) && (!(u1))) && (o1)) && (!(g2))) && (!(u2))) && (o2)))) || (((((!(g1)) && (!(u1))) && (!(o1))) && (g2)) && (u2))) || (((((!(g1)) && (!(u1))) && (o1)) && (g2)) && (u2)) -> goto T4
	:: (((g1) && (!(u1))) || (((((((!(g1)) && (!(u1))) && (o1)) && (g2)) && (!(u2))) || ((((!(g1)) && (u1)) && (g2)) && (!(u2)))) || (((((!(g1)) && (!(u1))) && (!(o1))) && (g2)) && (!(u2))))) || ((((g1) && (u1)) && (g2)) && (!(u2))) -> goto accept_T5
	fi;
T1:
	if
	:: (((((!(g2)) && (!(u2))) && (!(o2))) || ((!(g2)) && (u2))) || (((!(g2)) && (!(u2))) && (o2))) || ((((g2) && (!(u2))) && (!(o2))) || ((g2) && (u2))) -> goto T6
	:: ((g2) && (!(u2))) && (o2) -> goto accept_T5
	:: ((!(g2)) && (!(u2))) && (o2) -> goto T2
	fi;
T2:
	if
	:: (!(g2)) && (!(u2)) -> goto T2
	:: (g2) && (!(u2)) -> goto accept_T5
	fi;
T3:
	if
	:: (((((!(g1)) && (!(u1))) && (!(o1))) || ((!(g1)) && (u1))) || (((!(g1)) && (!(u1))) && (o1))) || ((((g1) && (!(u1))) && (!(o1))) || ((g1) && (u1))) -> goto T3
	:: ((g1) && (!(u1))) && (o1) -> goto accept_T5
	:: ((!(g1)) && (!(u1))) && (o1) -> goto T4
	fi;
T4:
	if
	:: (g1) && (!(u1)) -> goto accept_T5
	:: (!(g1)) && (!(u1)) -> goto T4
	fi;
accept_T5:
	skip;
T6:
	if
	:: (((((!(g2)) && (!(u2))) && (!(o2))) || ((!(g2)) && (u2))) || (((!(g2)) && (!(u2))) && (o2))) || ((((g2) && (!(u2))) && (!(o2))) || ((g2) && (u2))) -> goto T7
	:: ((g2) && (!(u2))) && (o2) -> goto accept_T5
	:: ((!(g2)) && (!(u2))) && (o2) -> goto T2
	fi;
T7:
	if
	:: (((((!(g2)) && (!(u2))) && (!(o2))) || ((!(g2)) && (u2))) || (((!(g2)) && (!(u2))) && (o2))) || ((((g2) && (!(u2))) && (!(o2))) || ((g2) && (u2))) -> goto T7
	:: ((g2) && (!(u2))) && (o2) -> goto accept_T5
	:: ((!(g2)) && (!(u2))) && (o2) -> goto T2
	fi;
}