symbol_tmp7 = 8.236102e-01 
symbol_tmp16 = 9.873606e-01 
################################################################################
_symbol_tmp7_ = 4.816860e+00 
_symbol_tmp16_ = 4.844882e+00 
