4.0 inactive inactive inactive inside DEGRADED source inside PROTEIN pr1 inside DEGRADED sa2_degraded x-production STATE_TRANSITION sa1 sa2 sa2 $\frac{A\mathrm{s2}}{h+\mathrm{s2}}$ x-degradation STATE_TRANSITION sa2 sa3 $\mathrm{delta}\mathrm{s2}$