The modular c = 12 certificate includes a length-44 relation vector. Its pairing with every one of the 1039 target columns is zero modulo p. There is also an exact rational certificate for the lifted ...