What is the mean number of play-offs when the league number was bigger than 18, where the player was John Grant and the total number was bigger than 25?
CREATE TABLE table_77795 (
    "Player" text,
    "Club" text,
    "League" real,
    "Play-offs" real,
    "FA Cup" real,
    "FA Trophy" real,
    "Total" real
)
SELECT AVG("Play-offs") FROM table_77795 WHERE "League" > '18' AND "Player" = 'john grant' AND "Total" > '25'
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 mean number of play-offs when the league number was bigger than 18, where the player was John Grant and the total number was bigger than 25? ### Input: CREATE TABLE table_77795 (
    "Player" text,
    "Club" text,
    "League" real,
    "Play-offs" real,
    "FA Cup" real,
    "FA Trophy" real,
    "Total" real
) ### Response: SELECT AVG("Play-offs") FROM table_77795 WHERE "League" > '18' AND "Player" = 'john grant' AND "Total" > '25'