Process:
	CC
States:
	22
Transitions:
	CC = Q0,
	Q0	= (ready -> Q4),
	Q1	= (exit -> Q17),
	Q2	= (supplyE -> Q0),
	Q3	= (exit -> Q20),
	Q4	= (consumeI -> Q1
		  |consumeG -> Q3
		  |consumeE -> Q6
		  |consumeC -> Q7
		  |consumeB -> Q9
		  |consumeJ -> Q12
		  |consumeH -> Q15
		  |consumeF -> Q18
		  |consumeA -> Q19
		  |consumeD -> Q21),
	Q5	= (supplyB -> Q0),
	Q6	= (exit -> Q2),
	Q7	= (exit -> Q11),
	Q8	= (supplyJ -> Q0),
	Q9	= (exit -> Q5),
	Q10	= (supplyH -> Q0),
	Q11	= (supplyC -> Q0),
	Q12	= (exit -> Q8),
	Q13	= (supplyF -> Q0),
	Q14	= (supplyA -> Q0),
	Q15	= (exit -> Q10),
	Q16	= (supplyD -> Q0),
	Q17	= (supplyI -> Q0),
	Q18	= (exit -> Q13),
	Q19	= (exit -> Q14),
	Q20	= (supplyG -> Q0),
	Q21	= (exit -> Q16).