Very short primality proofs