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

11×521 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 offline   Reply With Quote