gen_map.py

import sys

N = 16
shifts = []

for i in range(2**N):
    lr = []
    i = i ^ (2**N - 1)
    b = 0
    while i:
        if i & 1:
            lr.append(b)
        i >>= 1
        b += 1
    shifts.append(len(lr))
    lr += [255] * (N - len(lr))
    sys.stdout.buffer.write(bytes(lr))

sys.stdout.buffer.write(bytes(shifts))