Có bao nhiêu cặp số nguyên (x; y) thỏa mãn 0 ≤ x ≤ 2020 và log₂(4x + 4) + x = y + 1 + 2^y?