CREATE TABLE table_name_16 (builder VARCHAR(255), works_number VARCHAR(255))
Who is the builder with a works number of 2534?
    
SQL: SELECT builder FROM table_name_16 WHERE works_number = "2534"