Vypadá to OK. Z popisu:
Z vašeho příkladu:
64FE4083D6BA7CB4E0400F0A0E0A18B0 64FE4083D6BB7CB4E0400F0A0E0A18B0 64FE4083D6BC7CB4E0400F0A0E0A18B0 64FE4083D6BD7CB4E0400F0A0E0A18B0 64FE4083D6BE7CB4E0400F0A0E0A18B0
Nikdo se nezmínil o distribuci těchto hodnot GUID. Měly by se neopakovat a jsou. Pokud nedostanete pokaždé přesně stejný výstup.