两个序列 $a_{i}, b_{i}$，$a_{i}$ 初始为 0，$b_{i}$ 开始给定，支持三种操作：

1. $a_{i}$ 单点加减
2. $b_{i}$ 整体右移（不循环，左边补 0）
3. 查询 $\sum_{i=l}^{r} a_{i}\times b_{i}$

需要支持快速回溯到原始版本。能否做到 polylog？