N~ao, 'e claro que eles ainda n~ao est~ao dispon'iveis. Mas estar~ao dispon'iveis em http://imo.wolfram.com assim que a prova for aplicada. Pelo menos em ingl^es. E provavelmente tamb'em os arquivos *.tex ou *.doc com os >50 outros idiomas. Enviarei as provas em portugu^es assim que puder, mas o endere,co acima provavelmente liberar'a os problemas 1o. []s, N.