Types: L: int, Q: int, S: str, T_d: List[str]
Ranges: 1 ≤ L ≤ 20, 1 ≤ Q ≤ 1,000,000, S is a length 2^L string, T_d is a length L string consisting of {'0', '1', '?'}
Addtl Info: None