read Cfinite: print(`Let's take z0=3, and try to factorize the Dimer C-finite sequences`): z0:=3: for n from 4 by 2 to 8 do print(``): print(`n is`, n): print(``): lprint(Factorize(DimerData(z0)[n],[2,2^(n/2-1)])): od: quit: