@gsuberland For this one to be true, they'd have to have factored any number at all already. AIUI they've only "factored" fixed inputs baked into the program tailored to the specific input, which isn't even computation at all. It's like saying printf("2,3"); factored 6.