read Cfinite: print(`------------------------------------------------------------------------------------`): 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: `): FactorizeI1v([[2,10,36,145],[2,7,2,-1]],2): print(`------------------------------------------------------------------------------------`): print(`The second factorization discovered (and "proved") in that paper is:`): FactorizeI1v([[1,8,95,1183],[15,-32,15,-1]],2): print(`------------------------------------------------------------------------------------`): print(`The third factorization discovered (and whose "proof" was left to the reader, since it was too "complicated") in that paper is:`): FactorizeI1v(RtoC(TDB(t)[3],t),2): print(`------------------------------------------------------------------------------------`): print(`This took`, time(), `seconds . `): quit: