View Single Post
Old 2020-08-03, 16:05   #774
henryzz
Just call me Henry
 
henryzz's Avatar
 
"David"
Sep 2007
Cambridge (GMT/BST)

17×337 Posts
Default

Are the files available that contain all the factors used in the proof?
How do you check that all the composites hit have been trial factored to at least the assumed level given that pfn doesn't output a file containing the composites hit(I suppose you could extract them from the log)?
Does it even matter if there are unfound small factors in non-roadblock composites apart from them causing gcd errors?
henryzz is online now   Reply With Quote