For games on December 20, how many points did the scoring leaders get?
CREATE TABLE table_10812293_4 (
    high_points VARCHAR,
    date VARCHAR
)
SELECT high_points FROM table_10812293_4 WHERE date = "December 20"
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: For games on December 20, how many points did the scoring leaders get? ### Input: CREATE TABLE table_10812293_4 (
    high_points VARCHAR,
    date VARCHAR
) ### Response: SELECT high_points FROM table_10812293_4 WHERE date = "December 20"