read P12345: lprint(Seqs(20,2)); print(`This took`, time(), `seconds . `): quit: