Тк чтобы сравнить два бинарных числа достаточно сравнить первый символ после совпадающего префикса
Мы можем хранить состояние как
// dp[бит][x уже больше l][x уже меньше r][y уже больше l][y уже меньше r]
И идти по убыванию значимости битов (слева направо)