Factoring via Network-Enabled Recursion (FAFNER) was a 1995 project trying to solve the RSA-130 factoring problem.
It was an internet-based sieving effort from Cooperating Systems Corporation. Although much human intervention was required to distribute and collate results, this project can be seen as one of the forerunners for internet-based distributed computing projects such as SETI@home and distributed.net.
Tatsumiya Island, the mobile and battle-equipped base of the Fafner robots, sends out forces to investigate a similar abandoned island.
script stays true to the subtitles, but the translators might want to re-check their subs: all the Fafners are numbered in German, and "Achat" and "Hguc" are obviously not German numbers (it's pretty clear that the spoken words are Acht and Fünf).
Along with the usual language options and previews on this disc is an extensive art gallery, although most of it consists of ordinary publicity images.
FAFNER knows how to interact with GNFSD; once you have one running, you can register it with FAFNER, and the two will have merry conversations about task allocation, sieving, solution files, etc. --- hopefully without intervention from you.
FAFNER will expect that all clients use the same base, although you could probably get away with moving from base-16 down to base-8, or something like that.
FAFNER was the dragon who guarded, among other bankable treasures, the ring of the Niebelungen.