user: Question: What is the Android version is the code name is Lotus?
Columns: ['Code name', 'Market name', 'Platform', 'Release date', 'Android version', 'System on chip', 'RAM', 'ROM', 'Display', 'Weight', 'Battery ( mAh )', 'Bluetooth', 'Wi-Fi', 'NFC', 'Camera', 'Network']
Types: ['text', 'text', 'text', 'text', 'text', 'text', 'text', 'text', 'text', 'text', 'real', 'text', 'text', 'text', 'text', 'text']
Sample row: ['Nozomi', 'Xperia S', 'Fuji', '2012-02', '2.3/ 4.0/ 4.1', '1.5GHz Qualcomm Snapdragon S3 MSM8260, dual-core', '1GB', '32GB', '4.3" HD', '144g', 1750.0, '2.1 + EDR', '802.11b/g/n', 'Yes', 'Rear: 12.1MP Front: 1.3MP', 'GSM / HSPA+']
SQL:

assistant: SELECT "Android version" FROM "Table" WHERE "Code name" = 'Lotus';