symbol_tmp7 = 9.500973e-01 
symbol_tmp16 = 9.939506e-01 
################################################################################
_symbol_tmp7_ = 5.165764e+00 
_symbol_tmp16_ = 4.649129e+00 
