<div id="image_box" style="position:relative;">
   <img id="image" src="salat.gif" />
   <div id="text_box" style="position:absolute; bottom:0; right:0;">lulz</div>
</div>

#!/usr/bin/env python3
# -*- coding: utf-8 -*-

#Fill 2D matrix: empty lines indicate new rows
mat = [[]]
for l in open("HDCP.txt"):
    #Convert current row part from hex strings to ints
    l = [int(e,16) for e in l.split()]
    #Continue with last row unless empty line is encountered
    if l != []:
        mat[-1] += l
    else:
        mat += [l]

#For faster & easier matrix multiplication
from numpy import array
mat = array(mat)

#I you want to generate both keys, you need to calculate
#…this with both the transposed and the unchanged matrix
def gen_key(ksv, sink):
    if sink: m = mat.T
    else:    m = mat
    #add up rows for which the bit is set in the KSV.
    #lowest (rightmost) bit = first row, so we have to reverse the array.
    vec = array(40*[0])
    for e,t in zip(m, reversed(ksv)):
        if t: vec += e
    return [e%(2**56) for e in vec]

testksv = 20*[1] + 20*[0] #TODO: KSV input

#Explanation of "%014X":
#Format string used to convert an int back to a zero padded 56-bit hex string
for sink in (False,True):
    print("".join("%014X"%e for e in gen_key(testksv, sink))+"\n")

C:\Users\flying sheep\Dev>python HDCP.py
FFFFFFD244CCEF000000360F70B3FFFFFFE0C7AEEFFFFFFFBB0C7D71FFFFFFEFBB9E450000001DD79F5200000017F9FE65FFFFFFC2D1A3E50000002D10F150FFFFFF87D0E221
00000026A7F76F00000038D56F62FFFFFFEF3ADDCEFFFFFFDE14D9DE00000019530148FFFFFFE2C901D60000002A4B1C2FFFFFFF85A2DCF600000040964A0600000024AECDC9
FFFFFFF562184A0000007089FDFFFFFFFFA1F1F9AAFFFFFF9A7FA27F0000003E0BB40F00000041205D2D000000708AED0800000038751D08FFFFFFFDE7ED93FFFFFF9ED39431
00000051A16341FFFFFF819E5AB200000066ECD5BC00000044B68622FFFFFFE01504F2000000406F4AE9FFFFFFDCF204940000003F091D73FFFFFFACBC9AC4FFFFFFB24278A0

FFFFFFE31A089AFFFFFFB10D7295FFFFFFFD7BE9BAFFFFFFB56DFE6300000058B03C0100000044156209FFFFFF8E36B8B3FFFFFFD421BF7300000000607C2300000072793A3C
FFFFFFF6F3C675FFFFFFD7AC5AC80000005AC48162FFFFFFBF2AF9890000002F72BBB8FFFFFFCA8BE4CEFFFFFFBF114611000000729AD41C0000001116754EFFFFFF9BADBB4E
FFFFFFE5831C6AFFFFFFEB3D23CEFFFFFFBD82621CFFFFFF863D1649FFFFFFCDF2E49EFFFFFFBEF6FE18FFFFFF84F6E42AFFFFFFB69E54EE00000052B3A44EFFFFFFD6969470
00000024B3335FFFFFFFA682FC54FFFFFFE4C4B7D00000004E72B47D000000146E2AD5000000703DB0170000003A6664EFFFFFFFCB6B7FD0FFFFFFDA82594F00000017F02C76