What is the total revenue of all companies whose main office is at Tokyo or Taiwan?
CREATE TABLE manufacturers (
    revenue INTEGER,
    Headquarter VARCHAR
)
SELECT SUM(revenue) FROM manufacturers WHERE Headquarter = 'Tokyo' OR Headquarter = 'Taiwan'
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What is the total revenue of all companies whose main office is at Tokyo or Taiwan? ### Input: CREATE TABLE manufacturers (
    revenue INTEGER,
    Headquarter VARCHAR
) ### Response: SELECT SUM(revenue) FROM manufacturers WHERE Headquarter = 'Tokyo' OR Headquarter = 'Taiwan'