which olympic games have 1272 or more athletes?
(AND olympics.olympic_games (ge olympics.olympic_games.number_of_athletes 1272^^http://www.w3.org/2001/XMLSchema#integer))