  We show that no projective 16-divisible binary linear code of length 131
exists. This implies several improved upper bounds for constant-dimension
codes, used in random linear network coding, and partial spreads.
