User:ARsygo/Hunting for the smallest 100,000 digit Sophie Germain prime