read `ResPerms.txt`: K:=25: gu:=[seq(Vrr(1,n),n=1..K)]: print(`The first `, K, `terms of the sequence enumerating the number of permutations such that |pi[i+1]-pi[i]|<>1 are `): print(``): print(gu): print(``): ope:=findrec([1,op(gu)],1,4,n,Sn): print(``): print(`It satisfies the recurrence `): print(``): print(add(coeff(ope,Sn,i)*a(n+i),i=0..degree(ope,Sn))=0): print(``): print(`and in Maple notation`): print(``): lprint(add(coeff(ope,Sn,i)*a(n+i),i=0..degree(ope,Sn))=0): print(``): quit: