代码，做法是直接在 01Trie 上删除和插入数字，同时把所有数都放进堆里，查询时暴力检查堆顶元素 $x$ 与和它异或过的数字 $y$ 是否还在 Trie 里，如果不在就更新放回堆里。感觉是可以通过加很多删除操作来卡掉的做法，求 hack / 复杂度证明。