which olympic games have 172 events?
(AND olympics.olympic_games (JOIN olympics.olympic_games.number_of_events 172^^http://www.w3.org/2001/XMLSchema#integer))