Polymath equations file