What is the smallest diameter for Eirene Tholus?
CREATE TABLE table_name_97 (diameter__km_ INTEGER, name VARCHAR)
SELECT MIN(diameter__km_) FROM table_name_97 WHERE name = "eirene tholus"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_97 (diameter__km_ INTEGER, name VARCHAR) Question: What is the smallest diameter for Eirene Tholus? [/INST] SELECT MIN(diameter__km_) FROM table_name_97 WHERE name = "eirene tholus" </s>