user: Question: What is the high 10 profile number when the high profile is 80?
Columns: ['Level', 'Luma samples/s', 'Macroblocks/s', 'Luma samples', 'Macroblocks', 'Baseline, Extended and Main Profiles', 'High Profile', 'High 10 Profile', 'Examples for high resolution @ highest frame rate (max stored frames) Toggle additional details']
Types: ['text', 'real', 'real', 'real', 'real', 'real', 'real', 'real', 'text']
Sample row: ['1', 380160.0, 1485.0, 25344.0, 99.0, 64.0, 80.0, 192.0, '128×96@30.9 (8) 176×144@15.0 (4)']
SQL:

assistant: SELECT "High 10 Profile" FROM "Table" WHERE "High Profile" = 80.0;