symbol_tmp7 = 9.089215e-01 
symbol_tmp16 = 9.917238e-01 
################################################################################
_symbol_tmp7_ = 5.041178e+00 
_symbol_tmp16_ = 4.711082e+00 
