read `Cfinite.txt`:

print(`The first factorization discovered (and "proved") in James Sellers' paper`):
print(`Domino Tilings and Products of Fibonacci and Pell Numbers`):
print(`published in        Journal of Integer Sequences, Vol. 5 (2002), Article 02.1.2, is: `):
print(FactorizeI1([[2,10,36,145],[2,7,2,-1]],2)):

print(`The second factorization discovered (and "proved") in that paper is:`):
print(FactorizeI1([[1,8,95,1183],[15,-32,15,-1]],2)):


print(`The third factorization discovered (and whose "proof" was left to the reader, since it was too "complicated") in that paper is:`):
print(FactorizeI1(RtoC(TDB(t)[3],t),2)):

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

quit: