CAV_rebuttal

Expression 17: # "b" "u" "t" "z" Subscript, "m" , Baseline "r" "e" "m" "a" "i" "n" "s" "e" "x" "a" "c" "t" "l" "y" "t" "h" "e" "s" "a" "m" "e" "a" "s" "n" Subscript, "o" , Baseline

Expression 18: alpha equals 0.3 0 7

0.0 0 0 1

Expression 19: beta equals negative 1.4 6 3

negative 2

negative 0.0 0 0 1

Expression 20: "p" Subscript, "s" "p" "l" "i" "t" "p" "o" "i" "n" "t" , Baseline equals 6.0 3 3

"z" Subscript, "o" , Baseline left parenthesis, "v" Subscript, "l" "b" , Baseline , right parenthesis

"z" Subscript, "o" , Baseline left parenthesis, "v" Subscript, "u" "b" , Baseline , right parenthesis

Expression 21:

Expression 22: # "F" "o" "r" "w" "a" "r" "d" minus "F" "a" "c" "i" "n" "g" "n" "e" "u" "r" "o" "n" "s" left parenthesis, "n" Subscript, "a" , Baseline , "n" Subscript, "b" , Baseline , right parenthesis

Expression 23: "n" Subscript, "a" , Baseline left parenthesis, "x" , right parenthesis equals max left parenthesis, 0 , "w" Subscript, "a" , Baseline times "x" plus "b" Subscript, "a" , Baseline , right parenthesis

Expression 24: "b" Subscript, "a" , Baseline equals negative left parenthesis, "p" Subscript, "s" "p" "l" "i" "t" "p" "o" "i" "n" "t" , Baseline minus "b" Subscript, "o" , Baseline , right parenthesis times alpha

equals

negative 1.7 3 1 6 2

Expression 25: "w" Subscript, "a" , Baseline equals "w" Subscript, "o" , Baseline times alpha

equals

0.8 1 6

Expression 26: "n" Subscript, "b" , Baseline left parenthesis, "x" , right parenthesis equals max left parenthesis, 0 , "w" Subscript, "b" , Baseline times "x" plus "b" Subscript, "b" , Baseline , right parenthesis

Expression 27: "b" Subscript, "b" , Baseline equals negative left parenthesis, "p" Subscript, "s" "p" "l" "i" "t" "p" "o" "i" "n" "t" , Baseline minus "b" Subscript, "o" , Baseline , right parenthesis times beta

equals

7.6 1 9 1 2 8

Expression 28: "w" Subscript, "b" , Baseline equals "w" Subscript, "o" , Baseline times beta

equals

negative 3.5 9 0 4

Expression 29:

Expression 30: # "W" "e" "i" "g" "h" "t" "e" "d" "S" "u" "m" "o" "f" "n" Subscript, "a" , Baseline "a" "n" "d" "n" Subscript, "b" , Baseline , "p" "l" "u" "s" "t" "h" "e" "b" "i" "a" "s"

Expression 31: "b" Subscript, "m" , Baseline equals "p" Subscript, "s" "p" "l" "i" "t" "p" "o" "i" "n" "t" , Baseline

equals

6.0 9 3

Expression 32: "z" Subscript, "m" , Baseline left parenthesis, "x" , right parenthesis equals StartFraction, 1 Over alpha , EndFraction times "n" Subscript, "a" , Baseline left parenthesis, "x" , right parenthesis plus StartFraction, 1 Over beta , EndFraction times "n" Subscript, "b" , Baseline left parenthesis, "x" , right parenthesis plus "b" Subscript, "m" , Baseline

Expression 33:

Expression 34: