Expression 60: "R" Subscript, "L" , Baseline equals left parenthesis, "M" Subscript, "F" , Baseline to left bracket, , right bracket , "M" Subscript, "Z" , Baseline to left bracket, , right bracket , "M" Subscript, "C" , Baseline to left bracket, , right bracket , "K" Subscript, "C" "L" , Baseline to 1 , right parenthesisRL=MF→,MZ→,MC→,KCL→1
60
Expression 61: "A" Subscript, "C" , Baseline equals left brace, "K" Subscript, "C" "L" , Baseline greater than 2 times StartFraction, length left parenthesis, "C" Subscript, "C" "L" , Baseline , right parenthesis Over 3 , EndFraction : "R" Subscript, "L" , Baseline , "K" Subscript, "C" "L" , Baseline greater than StartFraction, length left parenthesis, "C" Subscript, "C" "L" , Baseline , right parenthesis Over 3 , EndFraction : left parenthesis, "K" Subscript, "C" "L" , Baseline to "K" Subscript, "C" "L" , Baseline plus 1 , right parenthesis , left parenthesis, "K" Subscript, "C" "L" , Baseline to "K" Subscript, "C" "L" , Baseline plus 1 , left brace, "T" Subscript, "P" , Baseline left parenthesis, "F" Subscript, "P" , Baseline left parenthesis, "C" Subscript, "C" "L" , Baseline , "K" Subscript, "C" "L" , Baseline , right parenthesis , left bracket, 0 , 0 , 0 , right bracket , left parenthesis, alpha , beta , right parenthesis , right parenthesis left bracket, 3 , right bracket greater than 1 : left parenthesis, "M" Subscript, "F" , Baseline to join left parenthesis, "M" Subscript, "F" , Baseline , "F" Subscript, "C" "c" , Baseline left parenthesis, "F" Subscript, "P" , Baseline left parenthesis, "C" Subscript, "C" "L" , Baseline , "K" Subscript, "C" "L" , Baseline , right parenthesis , left parenthesis, alpha , beta , right parenthesis , right parenthesis , right parenthesis , "M" Subscript, "Z" , Baseline to join left parenthesis, "M" Subscript, "Z" , Baseline , "F" Subscript, "C" "c" "z" , Baseline left parenthesis, "F" Subscript, "P" , Baseline left parenthesis, "C" Subscript, "C" "L" , Baseline , "K" Subscript, "C" "L" , Baseline , right parenthesis , left parenthesis, alpha , beta , right parenthesis , right parenthesis , right parenthesis , "M" Subscript, "C" , Baseline to join left parenthesis, "M" Subscript, "C" , Baseline , "C" Subscript, "C" "c" , Baseline left parenthesis, "F" Subscript, "P" , Baseline left parenthesis, "C" Subscript, "C" "L" , Baseline , "K" Subscript, "C" "L" , Baseline , right parenthesis , left parenthesis, alpha , beta , right parenthesis , right parenthesis , right parenthesis , right parenthesis , right brace , right parenthesis , right braceAC=KCL>2·lengthCCL3:RL,KCL>lengthCCL3:KCL→KCL+1,KCL→KCL+1,TPFPCCL,KCL,0,0,0,α,β3>1:MF→joinMF,FCcFPCCL,KCL,α,β,MZ→joinMZ,FCczFPCCL,KCL,α,β,MC→joinMC,CCcFPCCL,KCL,α,β