Polymath software keeps giving constant p