Overnight, one iteration of CHG came through! Now, there's a good chance that we will have a proof (based on the %-age, we will need maybe 6-7 iterations; and I sacrificed factors of N-1 to make the proof actually shorter: the CHG proof needs only one pass if G or F == 1).

**EDIT**: just 3 iterations were sufficient.

10^388080-10^112433-1 is prime.

Also, we have

another 388k prime, too. This one will be easily proved with PFGW.