UVa12716：gcd等于xor（打表+类素数筛+差分约束）

紫书给的分析缺少一些证明性的东西，将我自己的OneNote笔记贴在这里。