how many olympic medals were gained by the person who scored 9.712 in floor exercise at the world artistic gymnastics championships of 2002 ?
31