Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Qual é o arranco quando o peso de 139kg foi 305kg e o Recorde Olímpico foi o recorde mundial?
 ###Tabelas: CREATE TABLE televoting_results (televoting_results_id AUTO_INCREMENT PRIMARY KEY, Draw INT, Televotes VARCHAR, Televote Points VARCHAR, Jury Points VARCHAR, Total VARCHAR, Final Points VARCHAR) CREATE TABLE 2013_fixtures_and_results (2013_fixtures_and_results_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Tournament VARCHAR, Location VARCHAR, Home team VARCHAR, Score VARCHAR, Away team VARCHAR) CREATE TABLE records (records_id AUTO_INCREMENT PRIMARY KEY, World record VARCHAR, Snatch VARCHAR, Mu Shuangshuang ( CHN ) VARCHAR, 139kg VARCHAR, Doha , Qatar VARCHAR) CREATE TABLE franklin_local_board (franklin_local_board_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Years VARCHAR, Gender VARCHAR, Area VARCHAR, Authority VARCHAR, Decile INT, Roll INT) CREATE TABLE players_with_100_or_more_appearances (players_with_100_or_more_appearances_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Position VARCHAR, Club career VARCHAR, League apps INT, League goals INT, Total apps INT, Total goals INT)  
SELECT Snatch FROM records WHERE World record = olympic record AND 139kg = 305kg