rt

保证 $0\le a, b\le2^{30}$。

应为

保证 $0\le a,b<2^{30}$。