-1/10 C++ KeygenMe

import re
import sys


MASK32 = 0xFFFFFFFF

TABLE = [
    0x243F6A88, 0x85A308D3, 0x13198A2E, 0x03707344,
    0xA4093822, 0x299F31D0, 0x082EFA98, 0xEC4E6C89,
    0x452821E6, 0x38D01377, 0xBE5466CF, 0x34E90C6C,
    0xC0AC29B7, 0xC97C50DD, 0x3F84D5B5, 0xB5470917,
]


def u32(value):
    return value & MASK32


def rol32(value, count):
    value &= MASK32
    count &= 31
    if count == 0:
        return value
    return ((value << count) | (value >> (32 - count))) & MASK32


def ror32(value, count):
    return rol32(value, 32 - (count & 31))


def mix_no_final(value):
    value = u32(value)
    value ^= value >> 16
    value = u32(value * 0x7FEB352D)
    value ^= value >> 15
    return u32(value * 0x846CA68B)


def mix_final(value):
    value = mix_no_final(value)
    return u32(value ^ (value >> 16))


def normalize_name(name):
    name = name.strip()
    if not (3 <= len(name) <= 24):
        raise ValueError("name length must be 3..24 after trimming")
    if not re.fullmatch(r"[A-Za-z0-9_-]+", name):
        raise ValueError("name may contain only letters, digits, '_' and '-'")
    return name.upper()


def name_state(name):
    state = [0x6D2B79F5, 0x1B56C4E9, 0xA54FF53A, 0x3C6EF372]
    data = normalize_name(name).encode("ascii")

    for i, ch in enumerate(data):
        lane = i & 3
        prev = (lane - 1) & 3

        rot_a = ((i + ch) & 0xF) + 1
        a = u32(i * 0x045D9F3B)
        a = u32(a + TABLE[(3 * lane + 5 * i) & 0xF] + ch)
        a ^= rol32(state[prev], rot_a)
        a = mix_no_final(a)

        b = (a >> 16) ^ state[lane] ^ a
        b = rol32(b, (ch & 7) + 5)
        b = u32(b - u32(i * 0x7A143595))
        b = u32(b + 0x9E3779B9)

        state[lane] = b

        c = u32(ch * 0x27D4EB2D)
        c = u32(c + b)
        c = rol32(c, ((lane + i) % 11 + 7) & 31)

        nxt = (lane + 1) & 3
        add_to = (lane - 2) & 3
        state[nxt] = u32(state[nxt] ^ c)
        table_index = ((i * 4 - 25) & 0x3C) >> 2
        state[add_to] = u32(state[add_to] + (state[nxt] ^ TABLE[table_index]))

    n = len(data)
    mul = u32(n * 0x045D9F3B)

    state[0] = u32(state[0] ^ rol32(state[1], (n % 31 + 1) & 31))
    state[0] = mix_final(u32((mul ^ TABLE[n & 0xF]) + state[0]))

    state[1] = u32(state[1] ^ rol32(state[2], ((n + 5) % 31 + 1) & 31))
    state[1] = mix_final(u32((mul ^ TABLE[(n + 7) & 0xF]) + state[1]))

    state[2] = u32(state[2] ^ rol32(state[3], ((n + 10) % 31 + 1) & 31))
    state[2] = mix_final(u32((mul ^ TABLE[(n + 14) & 0xF]) + state[2]))

    state[3] = u32(state[3] ^ rol32(state[0], ((n + 15) % 31 + 1) & 31))
    state[3] = mix_final(u32((mul ^ TABLE[(n + 21) & 0xF]) + state[3]))

    return state


def serial_for(name):
    s0, s1, s2, s3 = name_state(name)

    w0 = mix_no_final(u32((s0 ^ ror32(s1, 0x17) ^ 0x6C8E9CF5) + ror32(s2, 0x1D))) & 0xFFFF
    w1 = mix_no_final(u32((s1 ^ ror32(s2, 0x16) ^ 0x9E3779B9) + ror32(s3, 0x1C))) & 0xFFFF
    w2 = mix_no_final(u32(ror32(s0, 0x1B) + (s2 ^ ror32(s3, 0x15) ^ 0x7F4A7C15))) & 0xFFFF
    w3 = mix_no_final(u32(ror32(s1, 0x1A) + (s3 ^ ror32(s0, 0x14) ^ 0x94D049BB))) & 0xFFFF

    return f"{w0:04X}-{w1:04X}-{w2:04X}-{w3:04X}"


def main(argv):
    if len(argv) > 1:
        name = " ".join(argv[1:])
    else:
        name = input("name: ")

    try:
        print(serial_for(name))
    except ValueError as exc:
        print(f"error: {exc}", file=sys.stderr)
        return 1
    return 0


if __name__ == "__main__":
    raise SystemExit(main(sys.argv))