Add braindead p+1 factoring