user: Question: What is the number of annual ridership with a station that has more than 13 stations and larger than 4 lines?
Columns: ['Annual ridership (2012)', 'Rider. per mile', 'Opened', 'Stations', 'Lines']
Types: ['real', 'real', 'real', 'real', 'real']
Sample row: [2544892400.0, 37613.0, 1904.0, 468.0, 24.0]
SQL:

assistant: SELECT SUM("Annual ridership (2012)") FROM "Table" WHERE "Stations" = 13.0 AND "Lines" > 4.0;