never { /* ((<>g1 ) && (<>g2 ) && (<>g1c ) && (<>g2c ) && ((!g1)Ur1) && ((!g1)Ur2) && ((!g2)Ur2) && ((!g2)Ur3)  && ((!g1c)Ug1) &&  ((!g2c)Ug2)) */
T0_init:
	if
	:: (!g1 && !g2 && !g1c && !g2c) -> goto T0_init
	:: (!g1 && !g2 && !g1c && !g2c && r3) -> goto T0_S2
	:: (!g1 && !g2 && !g1c && !g2c && r2) -> goto T0_S8
	:: (!g1 && !g1c && !g2c && r2 && r3) -> goto T0_S9
	:: (!g1 && !g2 && !g1c && !g2c && r1) -> goto T0_S11
	:: (!g1 && !g2 && !g1c && !g2c && r1 && r3) -> goto T0_S12
	:: (!g2 && !g1c && !g2c && r1 && r2) -> goto T0_S20
	:: (!g1c && !g2c && r1 && r2 && r3) -> goto T0_S22
	:: (!g1 && g2 && !g1c && r2 && r3) -> goto T0_S40
	:: (g2 && !g1c && r1 && r2 && r3) -> goto T0_S44
	:: (!g1 && g2 && !g1c && g2c && r2 && r3) -> goto T0_S48
	:: (g2 && !g1c && g2c && r1 && r2 && r3) -> goto T0_S50
	:: (g1 && !g2 && !g2c && r1 && r2) -> goto T1_S60
	:: (g1 && !g2c && r1 && r2 && r3) -> goto T1_S63
	:: (g1 && !g2 && g1c && !g2c && r1 && r2) -> goto T1_S69
	:: (g1 && g1c && !g2c && r1 && r2 && r3) -> goto T1_S70
	:: (g1 && g2 && r1 && r2 && r3) -> goto T2_S76
	:: (g1 && g2 && g2c && r1 && r2 && r3) -> goto T2_S78
	:: (g1 && g2 && g1c && r1 && r2 && r3) -> goto T3_S80
	:: (g1 && g2 && g1c && g2c && r1 && r2 && r3) -> goto accept_all
	fi;
T0_S2:
	if
	:: (!g1 && !g2 && !g1c && !g2c) -> goto T0_S2
	:: (!g1 && !g1c && !g2c && r2) -> goto T0_S9
	:: (!g1 && !g2 && !g1c && !g2c && r1) -> goto T0_S12
	:: (!g1c && !g2c && r1 && r2) -> goto T0_S22
	:: (!g1 && g2 && !g1c && r2) -> goto T0_S40
	:: (g2 && !g1c && r1 && r2) -> goto T0_S44
	:: (!g1 && g2 && !g1c && g2c && r2) -> goto T0_S48
	:: (g2 && !g1c && g2c && r1 && r2) -> goto T0_S50
	:: (g1 && !g2c && r1 && r2) -> goto T1_S63
	:: (g1 && g1c && !g2c && r1 && r2) -> goto T1_S70
	:: (g1 && g2 && r1 && r2) -> goto T2_S76
	:: (g1 && g2 && g2c && r1 && r2) -> goto T2_S78
	:: (g1 && g2 && g1c && r1 && r2) -> goto T3_S80
	:: (g1 && g2 && g1c && g2c && r1 && r2) -> goto accept_all
	fi;
T0_S8:
	if
	:: (!g1 && !g2 && !g1c && !g2c) -> goto T0_S8
	:: (!g1 && !g1c && !g2c && r3) -> goto T0_S9
	:: (!g2 && !g1c && !g2c && r1) -> goto T0_S20
	:: (!g1c && !g2c && r1 && r3) -> goto T0_S22
	:: (!g1 && g2 && !g1c && r3) -> goto T0_S40
	:: (g2 && !g1c && r1 && r3) -> goto T0_S44
	:: (!g1 && g2 && !g1c && g2c && r3) -> goto T0_S48
	:: (g2 && !g1c && g2c && r1 && r3) -> goto T0_S50
	:: (g1 && !g2 && !g2c && r1) -> goto T1_S60
	:: (g1 && !g2c && r1 && r3) -> goto T1_S63
	:: (g1 && !g2 && g1c && !g2c && r1) -> goto T1_S69
	:: (g1 && g1c && !g2c && r1 && r3) -> goto T1_S70
	:: (g1 && g2 && r1 && r3) -> goto T2_S76
	:: (g1 && g2 && g2c && r1 && r3) -> goto T2_S78
	:: (g1 && g2 && g1c && r1 && r3) -> goto T3_S80
	:: (g1 && g2 && g1c && g2c && r1 && r3) -> goto accept_all
	fi;
T0_S9:
	if
	:: (!g1 && !g1c && !g2c) -> goto T0_S9
	:: (!g1c && !g2c && r1) -> goto T0_S22
	:: (!g1 && g2 && !g1c) -> goto T0_S40
	:: (g2 && !g1c && r1) -> goto T0_S44
	:: (!g1 && g2 && !g1c && g2c) -> goto T0_S48
	:: (g2 && !g1c && g2c && r1) -> goto T0_S50
	:: (g1 && !g2c && r1) -> goto T1_S63
	:: (g1 && g1c && !g2c && r1) -> goto T1_S70
	:: (g1 && g2 && r1) -> goto T2_S76
	:: (g1 && g2 && g2c && r1) -> goto T2_S78
	:: (g1 && g2 && g1c && r1) -> goto T3_S80
	:: (g1 && g2 && g1c && g2c && r1) -> goto accept_all
	fi;
T0_S11:
	if
	:: (!g1 && !g2 && !g1c && !g2c) -> goto T0_S11
	:: (!g1 && !g2 && !g1c && !g2c && r3) -> goto T0_S12
	:: (!g2 && !g1c && !g2c && r2) -> goto T0_S20
	:: (!g1c && !g2c && r2 && r3) -> goto T0_S22
	:: (g2 && !g1c && r2 && r3) -> goto T0_S44
	:: (g2 && !g1c && g2c && r2 && r3) -> goto T0_S50
	:: (g1 && !g2 && !g2c && r2) -> goto T1_S60
	:: (g1 && !g2c && r2 && r3) -> goto T1_S63
	:: (g1 && !g2 && g1c && !g2c && r2) -> goto T1_S69
	:: (g1 && g1c && !g2c && r2 && r3) -> goto T1_S70
	:: (g1 && g2 && r2 && r3) -> goto T2_S76
	:: (g1 && g2 && g2c && r2 && r3) -> goto T2_S78
	:: (g1 && g2 && g1c && r2 && r3) -> goto T3_S80
	:: (g1 && g2 && g1c && g2c && r2 && r3) -> goto accept_all
	fi;
T0_S12:
	if
	:: (!g1 && !g2 && !g1c && !g2c) -> goto T0_S12
	:: (!g1c && !g2c && r2) -> goto T0_S22
	:: (g2 && !g1c && r2) -> goto T0_S44
	:: (g2 && !g1c && g2c && r2) -> goto T0_S50
	:: (g1 && !g2c && r2) -> goto T1_S63
	:: (g1 && g1c && !g2c && r2) -> goto T1_S70
	:: (g1 && g2 && r2) -> goto T2_S76
	:: (g1 && g2 && g2c && r2) -> goto T2_S78
	:: (g1 && g2 && g1c && r2) -> goto T3_S80
	:: (g1 && g2 && g1c && g2c && r2) -> goto accept_all
	fi;
T0_S20:
	if
	:: (!g2 && !g1c && !g2c) -> goto T0_S20
	:: (!g1c && !g2c && r3) -> goto T0_S22
	:: (g2 && !g1c && r3) -> goto T0_S44
	:: (g2 && !g1c && g2c && r3) -> goto T0_S50
	:: (g1 && !g2 && !g2c) -> goto T1_S60
	:: (g1 && !g2c && r3) -> goto T1_S63
	:: (g1 && !g2 && g1c && !g2c) -> goto T1_S69
	:: (g1 && g1c && !g2c && r3) -> goto T1_S70
	:: (g1 && g2 && r3) -> goto T2_S76
	:: (g1 && g2 && g2c && r3) -> goto T2_S78
	:: (g1 && g2 && g1c && r3) -> goto T3_S80
	:: (g1 && g2 && g1c && g2c && r3) -> goto accept_all
	fi;
T0_S22:
	if
	:: (!g1c && !g2c) -> goto T0_S22
	:: (g2 && !g1c) -> goto T0_S44
	:: (g2 && !g1c && g2c) -> goto T0_S50
	:: (g1 && !g2c) -> goto T1_S63
	:: (g1 && g1c && !g2c) -> goto T1_S70
	:: (g1 && g2) -> goto T2_S76
	:: (g1 && g2 && g2c) -> goto T2_S78
	:: (g1 && g2 && g1c) -> goto T3_S80
	:: (g1 && g2 && g1c && g2c) -> goto accept_all
	fi;
T0_S40:
	if
	:: (!g1 && !g1c) -> goto T0_S40
	:: (!g1c && r1) -> goto T0_S44
	:: (!g1 && !g1c && g2c) -> goto T0_S48
	:: (!g1c && g2c && r1) -> goto T0_S50
	:: (g1 && r1) -> goto T2_S76
	:: (g1 && g2c && r1) -> goto T2_S78
	:: (g1 && g1c && r1) -> goto T3_S80
	:: (g1 && g1c && g2c && r1) -> goto accept_all
	fi;
T0_S44:
	if
	:: (!g1c) -> goto T0_S44
	:: (!g1c && g2c) -> goto T0_S50
	:: (g1) -> goto T2_S76
	:: (g1 && g2c) -> goto T2_S78
	:: (g1 && g1c) -> goto T3_S80
	:: (g1 && g1c && g2c) -> goto accept_all
	fi;
T0_S48:
	if
	:: (!g1 && !g1c) -> goto T0_S48
	:: (!g1c && r1) -> goto T0_S50
	:: (g1 && r1) -> goto T2_S78
	:: (g1 && g1c && r1) -> goto accept_all
	fi;
T0_S50:
	if
	:: (!g1c) -> goto T0_S50
	:: (g1) -> goto T2_S78
	:: (g1 && g1c) -> goto accept_all
	fi;
T1_S60:
	if
	:: (!g2 && !g2c) -> goto T1_S60
	:: (!g2c && r3) -> goto T1_S63
	:: (!g2 && g1c && !g2c) -> goto T1_S69
	:: (g1c && !g2c && r3) -> goto T1_S70
	:: (g2 && r3) -> goto T2_S76
	:: (g2 && g2c && r3) -> goto T2_S78
	:: (g2 && g1c && r3) -> goto T3_S80
	:: (g2 && g1c && g2c && r3) -> goto accept_all
	fi;
T1_S63:
	if
	:: (!g2c) -> goto T1_S63
	:: (g1c && !g2c) -> goto T1_S70
	:: (g2) -> goto T2_S76
	:: (g2 && g2c) -> goto T2_S78
	:: (g2 && g1c) -> goto T3_S80
	:: (g2 && g1c && g2c) -> goto accept_all
	fi;
T1_S69:
	if
	:: (!g2 && !g2c) -> goto T1_S69
	:: (!g2c && r3) -> goto T1_S70
	:: (g2 && r3) -> goto T3_S80
	:: (g2 && g2c && r3) -> goto accept_all
	fi;
T1_S70:
	if
	:: (!g2c) -> goto T1_S70
	:: (g2) -> goto T3_S80
	:: (g2 && g2c) -> goto accept_all
	fi;
T2_S76:
	if
	:: (1) -> goto T2_S76
	:: (g2c) -> goto T2_S78
	:: (g1c) -> goto T3_S80
	:: (g1c && g2c) -> goto accept_all
	fi;
T2_S78:
	if
	:: (1) -> goto T2_S78
	:: (g1c) -> goto accept_all
	fi;
T3_S80:
	if
	:: (1) -> goto T3_S80
	:: (g2c) -> goto accept_all
	fi;
accept_all:
	skip
}