cdc2_cdc13@F,(!slp1) || (ste9 && rum1)/cdc2_cdc13_a@F,(!slp1 && !wee1_mik1 && cdc25) || (ste9 && rum1 && !slp1 && !wee1_mik1);F,(ste9 && rum1 && !slp1 && cdc25) || (!slp1 && !wee1_mik1 && cdc25);F,(!slp1 && !wee1_mik1 && cdc25) || (ste9 && rum1 && !wee1_mik1 && cdc25)
