"0.64020001888275146484"^^ . "1.0"^^ . . . . "0.97625398635864257812"^^ . . "0.99999499320983886719"^^ . . . . . . . . . . . . . . . . . . "0.62599998712539672852"^^ . . . "0.63599997758865356445"^^ . . . . . . . . . . . . . . . .