Process:
	CC
States:
	80
Transitions:
	CC = Q0,
	Q0	= (reqB -> Q9
		  |reqA -> Q26),
	Q1	= (putdown -> Q65),
	Q2	= (putdown -> Q68),
	Q3	= (moveFeed -> Q67),
	Q4	= (process[0].end -> Q70),
	Q5	= (picksuccess -> Q77),
	Q6	= (picksuccess -> Q53),
	Q7	= (move[0] -> Q64),
	Q8	= (pickup -> Q66),
	Q9	= (pickup -> Q56),
	Q10	= (putsuccess -> Q57),
	Q11	= (moveOut -> Q2),
	Q12	= (pickup -> Q76),
	Q13	= (pickup -> Q49),
	Q14	= (process[0] -> Q75),
	Q15	= (pickup -> Q78),
	Q16	= (process[1].end -> Q41),
	Q17	= (putdown -> Q79),
	Q18	= (reset -> Q71),
	Q19	= (moveOut -> Q54),
	Q20	= (reset -> Q72),
	Q21	= (putdown -> Q74),
	Q22	= (move[1] -> Q63),
	Q23	= (moveFeed -> Q18),
	Q24	= (picksuccess -> Q7),
	Q25	= (move[1] -> Q21),
	Q26	= (pickup -> Q6),
	Q27	= (picksuccess -> Q11),
	Q28	= (putdown -> Q10),
	Q29	= (pickup -> Q5),
	Q30	= (reset -> Q72),
	Q31	= (moveFeed -> Q20),
	Q32	= (moveOut -> Q17),
	Q33	= (moveOut -> Q69),
	Q34	= (picksuccess -> Q19),
	Q35	= (picksuccess -> Q22),
	Q36	= (putsuccess -> Q3),
	Q37	= (move[1] -> Q1),
	Q38	= (putsuccess -> Q14),
	Q39	= (process[1].end -> Q8),
	Q40	= (process[0] -> Q4),
	Q41	= (pickup -> Q60),
	Q42	= (putdown -> Q38),
	Q43	= (pickup -> Q27),
	Q44	= (moveFeed -> Q30),
	Q45	= (move[0] -> Q62),
	Q46	= (putsuccess -> Q23),
	Q47	= (putsuccess -> Q14),
	Q48	= (putsuccess -> Q40),
	Q49	= (picksuccess -> Q25),
	Q50	= (reqB -> Q12
		  |reqA -> Q15),
	Q51	= (putsuccess -> Q57),
	Q52	= (process[1] -> Q16),
	Q53	= (move[0] -> Q73),
	Q54	= (putdown -> Q36),
	Q55	= (pickup -> Q35),
	Q56	= (picksuccess -> Q37),
	Q57	= (process[1] -> Q39),
	Q58	= (putsuccess -> Q40),
	Q59	= (pickup -> Q24),
	Q60	= (picksuccess -> Q33),
	Q61	= (move[1] -> Q28),
	Q62	= (putdown -> Q48),
	Q63	= (putdown -> Q51),
	Q64	= (putdown -> Q47),
	Q65	= (putsuccess -> Q52),
	Q66	= (picksuccess -> Q32),
	Q67	= (reset -> Q50),
	Q68	= (putsuccess -> Q31),
	Q69	= (putdown -> Q46),
	Q70	= (pickup -> Q34),
	Q71	= (reqB -> Q13
		  |reqA -> Q29),
	Q72	= (reqB -> Q55
		  |reqA -> Q59),
	Q73	= (putdown -> Q58),
	Q74	= (putsuccess -> Q52),
	Q75	= (process[0].end -> Q43),
	Q76	= (picksuccess -> Q61),
	Q77	= (move[0] -> Q42),
	Q78	= (picksuccess -> Q45),
	Q79	= (putsuccess -> Q44).
