read Cfinite:

print(`Proof of the first Sellers identity`):
KefelV([[1, 2], [1, 1]], [[2, 5], [2, 1]]):

print(`Proof of the second Sellers identity`):

KefelV([[1, 2], [3, -1]], [[1, 4], [5, -1]]):


print(`Proof of the third Sellers identity`):

KefelV([[1, 1], [1, 1]], [
    [1, 1, 17, 51, 449, 1853, 12853, 61557], [1, 25, 11, -47, -11, 25, -1, -1]]):

print(`This took`, time(), `seconds. `):

quit: