Find the number and averaged salary of all instructors who are in the department with the highest budget.
CREATE TABLE department (
    dept_name VARCHAR,
    budget VARCHAR
)

CREATE TABLE instructor (
    salary INTEGER,
    dept_name VARCHAR
)
SELECT AVG(T1.salary), COUNT(*) FROM instructor AS T1 JOIN department AS T2 ON T1.dept_name = T2.dept_name ORDER BY T2.budget DESC LIMIT 1
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: Find the number and averaged salary of all instructors who are in the department with the highest budget. ### Input: CREATE TABLE department (
    dept_name VARCHAR,
    budget VARCHAR
)

CREATE TABLE instructor (
    salary INTEGER,
    dept_name VARCHAR
) ### Response: SELECT AVG(T1.salary), COUNT(*) FROM instructor AS T1 JOIN department AS T2 ON T1.dept_name = T2.dept_name ORDER BY T2.budget DESC LIMIT 1