Official results have been published by WCA.