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