symbol_tmp0 = 9.982547e-01 
symbol_tmp4 = 7.999816e+01 
################################################################################
_symbol_tmp0_ = 4.540313e+00 
_symbol_tmp4_ = 4.499794e+00 
