InvalidEnd1 = Q0,
	Q0	= (end -> ERROR
		  |{[1].move.s, reset} -> Q0
		  |[1].arrivePicking[1] -> Q1),
	Q1	= ({[1].move.s, reset} -> Q0
		  |[1].arrivePicking[1] -> Q1
		  |end -> Q2),
	Q2	= ([1].move.s -> ERROR
		  |reset -> Q0
		  |{[1].arrivePicking[1], end} -> Q2).
