Fixed bracketing bug in Flyspeck expression and updated the results.