Process:
	HANDLE
States:
	60
Transitions:
	HANDLE = Q0,
	Q0	= (putdown -> ERROR
		  |{{moveFeed, pickup}, process[0..1], reset} -> Q0
		  |picksuccess -> Q1
		  |putsuccess -> Q2
		  |move[0] -> Q3
		  |move[1] -> Q4
		  |moveOut -> Q5),
	Q1	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |move[0] -> Q6
		  |move[1] -> Q7
		  |moveOut -> Q8
		  |{moveFeed, process[0..1], reset} -> Q9),
	Q2	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |{moveFeed, process[0..1], reset} -> Q0
		  |move[0] -> Q3
		  |move[1] -> Q4
		  |moveOut -> Q5),
	Q3	= (putdown -> ERROR
		  |moveFeed -> Q0
		  |{move[0], process[0..1], reset} -> Q3
		  |move[1] -> Q4
		  |moveOut -> Q5
		  |picksuccess -> Q10
		  |putsuccess -> Q11
		  |pickup -> Q12),
	Q4	= (putdown -> ERROR
		  |moveFeed -> Q0
		  |move[0] -> Q3
		  |{move[1], process[0..1], reset} -> Q4
		  |moveOut -> Q5
		  |picksuccess -> Q13
		  |putsuccess -> Q14
		  |pickup -> Q15),
	Q5	= ({pickup, putdown} -> ERROR
		  |moveFeed -> Q0
		  |move[0] -> Q3
		  |move[1] -> Q4
		  |{moveOut, process[0..1], reset} -> Q5
		  |picksuccess -> Q16
		  |putsuccess -> Q17),
	Q6	= (pickup -> ERROR
		  |{move[0], process[0..1], {putdown, reset}} -> Q6
		  |move[1] -> Q7
		  |moveOut -> Q8
		  |moveFeed -> Q9
		  |picksuccess -> Q10
		  |putsuccess -> Q11),
	Q7	= (pickup -> ERROR
		  |move[0] -> Q6
		  |{move[1], process[0..1], {putdown, reset}} -> Q7
		  |moveOut -> Q8
		  |moveFeed -> Q9
		  |picksuccess -> Q13
		  |putsuccess -> Q14),
	Q8	= (pickup -> ERROR
		  |move[0] -> Q6
		  |move[1] -> Q7
		  |{moveOut, process[0..1], {putdown, reset}} -> Q8
		  |moveFeed -> Q9
		  |picksuccess -> Q16
		  |putsuccess -> Q17),
	Q9	= ({pickup, putdown} -> ERROR
		  |picksuccess -> Q1
		  |putsuccess -> Q2
		  |move[0] -> Q6
		  |move[1] -> Q7
		  |moveOut -> Q8
		  |{moveFeed, process[0..1], reset} -> Q9),
	Q10	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |{move[0], process[0..1], reset} -> Q6
		  |move[1] -> Q7
		  |moveOut -> Q8
		  |moveFeed -> Q9),
	Q11	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |moveFeed -> Q0
		  |{move[0], process[0..1], reset} -> Q3
		  |move[1] -> Q4
		  |moveOut -> Q5),
	Q12	= ({pickup, putdown} -> ERROR
		  |putsuccess -> Q11
		  |{move[0], process[0..1], reset} -> Q12
		  |picksuccess -> Q18
		  |move[1] -> Q19
		  |moveOut -> Q20
		  |moveFeed -> Q21),
	Q13	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |move[0] -> Q6
		  |{move[1], process[0..1], reset} -> Q7
		  |moveOut -> Q8
		  |moveFeed -> Q9),
	Q14	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |moveFeed -> Q0
		  |move[0] -> Q3
		  |{move[1], process[0..1], reset} -> Q4
		  |moveOut -> Q5),
	Q15	= ({pickup, putdown} -> ERROR
		  |putsuccess -> Q14
		  |{move[1], process[0..1], reset} -> Q15
		  |picksuccess -> Q22
		  |move[0] -> Q23
		  |moveOut -> Q24
		  |moveFeed -> Q25),
	Q16	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |move[0] -> Q6
		  |move[1] -> Q7
		  |{moveOut, process[0..1], reset} -> Q8
		  |moveFeed -> Q9),
	Q17	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |moveFeed -> Q0
		  |move[0] -> Q3
		  |move[1] -> Q4
		  |{moveOut, process[0..1], reset} -> Q5),
	Q18	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |{move[0], process[0..1], reset} -> Q26
		  |move[1] -> Q27
		  |moveOut -> Q28
		  |moveFeed -> Q29),
	Q19	= (putdown -> ERROR
		  |move[0] -> Q12
		  |{move[1], process[0..1], reset} -> Q19
		  |moveOut -> Q20
		  |moveFeed -> Q21
		  |picksuccess -> Q30
		  |putsuccess -> Q31
		  |pickup -> Q32),
	Q20	= ({pickup, putdown} -> ERROR
		  |move[0] -> Q12
		  |move[1] -> Q19
		  |{moveOut, process[0..1], reset} -> Q20
		  |moveFeed -> Q21
		  |picksuccess -> Q33
		  |putsuccess -> Q34),
	Q21	= (putdown -> ERROR
		  |move[0] -> Q12
		  |move[1] -> Q19
		  |moveOut -> Q20
		  |{{moveFeed, pickup}, process[0..1], reset} -> Q21
		  |picksuccess -> Q35
		  |putsuccess -> Q36),
	Q22	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |move[0] -> Q37
		  |{move[1], process[0..1], reset} -> Q38
		  |moveOut -> Q39
		  |moveFeed -> Q40),
	Q23	= (putdown -> ERROR
		  |move[1] -> Q15
		  |{move[0], process[0..1], reset} -> Q23
		  |moveOut -> Q24
		  |moveFeed -> Q25
		  |picksuccess -> Q41
		  |putsuccess -> Q42
		  |pickup -> Q43),
	Q24	= ({pickup, putdown} -> ERROR
		  |move[1] -> Q15
		  |move[0] -> Q23
		  |{moveOut, process[0..1], reset} -> Q24
		  |moveFeed -> Q25
		  |picksuccess -> Q44
		  |putsuccess -> Q45),
	Q25	= (putdown -> ERROR
		  |move[1] -> Q15
		  |move[0] -> Q23
		  |moveOut -> Q24
		  |{{moveFeed, pickup}, process[0..1], reset} -> Q25
		  |picksuccess -> Q46
		  |putsuccess -> Q47),
	Q26	= (pickup -> ERROR
		  |putsuccess -> Q11
		  |picksuccess -> Q18
		  |{move[0], process[0..1], {putdown, reset}} -> Q26
		  |move[1] -> Q27
		  |moveOut -> Q28
		  |moveFeed -> Q29),
	Q27	= (pickup -> ERROR
		  |move[0] -> Q26
		  |{move[1], process[0..1], {putdown, reset}} -> Q27
		  |moveOut -> Q28
		  |moveFeed -> Q29
		  |picksuccess -> Q30
		  |putsuccess -> Q31),
	Q28	= (pickup -> ERROR
		  |move[0] -> Q26
		  |move[1] -> Q27
		  |{moveOut, process[0..1], {putdown, reset}} -> Q28
		  |moveFeed -> Q29
		  |picksuccess -> Q33
		  |putsuccess -> Q34),
	Q29	= ({pickup, putdown} -> ERROR
		  |move[0] -> Q26
		  |move[1] -> Q27
		  |moveOut -> Q28
		  |{moveFeed, process[0..1], reset} -> Q29
		  |picksuccess -> Q35
		  |putsuccess -> Q36),
	Q30	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |move[0] -> Q26
		  |{move[1], process[0..1], reset} -> Q27
		  |moveOut -> Q28
		  |moveFeed -> Q29),
	Q31	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |move[0] -> Q12
		  |{move[1], process[0..1], reset} -> Q19
		  |moveOut -> Q20
		  |moveFeed -> Q21),
	Q32	= ({pickup, putdown} -> ERROR
		  |putsuccess -> Q31
		  |{move[1], process[0..1], reset} -> Q32
		  |move[0] -> Q43
		  |picksuccess -> Q48
		  |moveOut -> Q49
		  |moveFeed -> Q50),
	Q33	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |move[0] -> Q26
		  |move[1] -> Q27
		  |{moveOut, process[0..1], reset} -> Q28
		  |moveFeed -> Q29),
	Q34	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |move[0] -> Q12
		  |move[1] -> Q19
		  |{moveOut, process[0..1], reset} -> Q20
		  |moveFeed -> Q21),
	Q35	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |move[0] -> Q26
		  |move[1] -> Q27
		  |moveOut -> Q28
		  |{moveFeed, process[0..1], reset} -> Q29),
	Q36	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |move[0] -> Q12
		  |move[1] -> Q19
		  |moveOut -> Q20
		  |{moveFeed, process[0..1], reset} -> Q21),
	Q37	= (pickup -> ERROR
		  |{move[0], process[0..1], {putdown, reset}} -> Q37
		  |move[1] -> Q38
		  |moveOut -> Q39
		  |moveFeed -> Q40
		  |picksuccess -> Q41
		  |putsuccess -> Q42),
	Q38	= (pickup -> ERROR
		  |putsuccess -> Q14
		  |picksuccess -> Q22
		  |move[0] -> Q37
		  |{move[1], process[0..1], {putdown, reset}} -> Q38
		  |moveOut -> Q39
		  |moveFeed -> Q40),
	Q39	= (pickup -> ERROR
		  |move[0] -> Q37
		  |move[1] -> Q38
		  |{moveOut, process[0..1], {putdown, reset}} -> Q39
		  |moveFeed -> Q40
		  |picksuccess -> Q44
		  |putsuccess -> Q45),
	Q40	= ({pickup, putdown} -> ERROR
		  |move[0] -> Q37
		  |move[1] -> Q38
		  |moveOut -> Q39
		  |{moveFeed, process[0..1], reset} -> Q40
		  |picksuccess -> Q46
		  |putsuccess -> Q47),
	Q41	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |{move[0], process[0..1], reset} -> Q37
		  |move[1] -> Q38
		  |moveOut -> Q39
		  |moveFeed -> Q40),
	Q42	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |move[1] -> Q15
		  |{move[0], process[0..1], reset} -> Q23
		  |moveOut -> Q24
		  |moveFeed -> Q25),
	Q43	= ({pickup, putdown} -> ERROR
		  |move[1] -> Q32
		  |putsuccess -> Q42
		  |{move[0], process[0..1], reset} -> Q43
		  |moveOut -> Q49
		  |moveFeed -> Q50
		  |picksuccess -> Q51),
	Q44	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |move[0] -> Q37
		  |move[1] -> Q38
		  |{moveOut, process[0..1], reset} -> Q39
		  |moveFeed -> Q40),
	Q45	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |move[1] -> Q15
		  |move[0] -> Q23
		  |{moveOut, process[0..1], reset} -> Q24
		  |moveFeed -> Q25),
	Q46	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |move[0] -> Q37
		  |move[1] -> Q38
		  |moveOut -> Q39
		  |{moveFeed, process[0..1], reset} -> Q40),
	Q47	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |move[1] -> Q15
		  |move[0] -> Q23
		  |moveOut -> Q24
		  |{moveFeed, process[0..1], reset} -> Q25),
	Q48	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |move[0] -> Q52
		  |{move[1], process[0..1], reset} -> Q53
		  |moveOut -> Q54
		  |moveFeed -> Q55),
	Q49	= ({pickup, putdown} -> ERROR
		  |move[1] -> Q32
		  |move[0] -> Q43
		  |{moveOut, process[0..1], reset} -> Q49
		  |moveFeed -> Q50
		  |picksuccess -> Q56
		  |putsuccess -> Q57),
	Q50	= (putdown -> ERROR
		  |move[1] -> Q32
		  |move[0] -> Q43
		  |moveOut -> Q49
		  |{{moveFeed, pickup}, process[0..1], reset} -> Q50
		  |picksuccess -> Q58
		  |putsuccess -> Q59),
	Q51	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |{move[0], process[0..1], reset} -> Q52
		  |move[1] -> Q53
		  |moveOut -> Q54
		  |moveFeed -> Q55),
	Q52	= (pickup -> ERROR
		  |putsuccess -> Q42
		  |picksuccess -> Q51
		  |{move[0], process[0..1], {putdown, reset}} -> Q52
		  |move[1] -> Q53
		  |moveOut -> Q54
		  |moveFeed -> Q55),
	Q53	= (pickup -> ERROR
		  |putsuccess -> Q31
		  |picksuccess -> Q48
		  |move[0] -> Q52
		  |{move[1], process[0..1], {putdown, reset}} -> Q53
		  |moveOut -> Q54
		  |moveFeed -> Q55),
	Q54	= (pickup -> ERROR
		  |move[0] -> Q52
		  |move[1] -> Q53
		  |{moveOut, process[0..1], {putdown, reset}} -> Q54
		  |moveFeed -> Q55
		  |picksuccess -> Q56
		  |putsuccess -> Q57),
	Q55	= ({pickup, putdown} -> ERROR
		  |move[0] -> Q52
		  |move[1] -> Q53
		  |moveOut -> Q54
		  |{moveFeed, process[0..1], reset} -> Q55
		  |picksuccess -> Q58
		  |putsuccess -> Q59),
	Q56	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |move[0] -> Q52
		  |move[1] -> Q53
		  |{moveOut, process[0..1], reset} -> Q54
		  |moveFeed -> Q55),
	Q57	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |move[1] -> Q32
		  |move[0] -> Q43
		  |{moveOut, process[0..1], reset} -> Q49
		  |moveFeed -> Q50),
	Q58	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |move[0] -> Q52
		  |move[1] -> Q53
		  |moveOut -> Q54
		  |{moveFeed, process[0..1], reset} -> Q55),
	Q59	= ({picksuccess, pickup, putdown, putsuccess} -> ERROR
		  |move[1] -> Q32
		  |move[0] -> Q43
		  |moveOut -> Q49
		  |{moveFeed, process[0..1], reset} -> Q50).
