The Prime Power Conjecture (PPC) states that abelian planar diierence sets of order n exist only for n a prime power. Evans and Mann 2] veriied this for cyclic diierence sets for n 1600. In this paper we verify the PPC for n 2;000;000, using many necessary conditions on the group of multipliers.