user: Question: what is the double dotted value when the triple dotted value is 15/128?
Columns: ['American name', 'British name', 'Value', 'Dotted Value', 'Double Dotted Value', 'Triple Dotted Value']
Types: ['text', 'text', 'text', 'text', 'text', 'text']
Sample row: ['octuple whole note', 'maxima', '32', '48', '56', '60']
SQL:

assistant: SELECT "Double Dotted Value" FROM "Table" WHERE "Triple Dotted Value" = '15/128';