#桁dp #xor mod → 大小関係を見る を適用. x > y 余りは y で, xor は y ^ x. y % x = y ^ x (与えられた式) y = x ^ y 0 ^ y = x ^ y x = 0 制約より不可 (そもそも x ≤ y が制約). y = x y % x = y ^ x (与えられた式) 0 = 0 常に ok. x x, yの桁数が違う…