cdc25@F,(cdc2_cdc13 && !cdc25) || (!pp)/cdc2_cdc13@E,rum1,cdc2_cdc13:F,(ste9 && !slp1) || (!rum1 && !slp1);E,rum1,cdc2_cdc13:F,(ste9 && !rum1) || (!rum1 && !slp1)/cdc2_cdc13_a@F,(ste9 && rum1 && !slp1 && cdc25) || (!slp1 && !wee1_mik1 && cdc25);F,(ste9 && rum1 && !wee1_mik1 && cdc25) || (!slp1 && !wee1_mik1 && cdc25);F,(ste9 && rum1 && !slp1 && !wee1_mik1) || (!slp1 && !wee1_mik1 && cdc25)/wee1_mik1@F,(!cdc2_cdc13) || (!wee1_mik1 && pp)/sk@E,start,sk/slp1@E,cdc2_cdc13_a,slp1