read P123:

lprint(Seqs(25,7)):


time();


quit: