If we know all the primes issued by voters we can verify everything. It's a problem of splitting a set of primes between two disjoint sets. Knowing the product of both sets defines pretty much everything you want to know about them (including the fact that the sets are not disjoint or have members other than from the original set).