how many people live in the capital of texas
SELECT population FROM city WHERE city_name  =  ( SELECT capital FROM state WHERE state_name  =  "texas" );
SELECT population FROM city WHERE city_name  =  ( SELECT capital FROM state WHERE state_name  =  "texas" );
[{'Nenhum': 'Nenhum resultado encontrado'}]