Software MetapapersGenefer: Programs for Finding Large Probable Generalized Fermat PrimesBethune & Gallot