%4,8,10,20,22,44tn(1,4).tn(N,M):-(0 is N mod 2, A is N-1,tn(A,B),M is B*2);(A is N-1,tn(A,B),M is B+2).%1,3,5,7,9,11s(1,1).s(N,B):-A is N-1,s(A,X),B is X+2.%1,3,6,10,15suma(1,1).suma(N,M):-N>1,A is N-1,P is N*(N+1),suma(A,X), M is P/2+X.%1,5,19,49,101,181tn1(1,10).tn1(N,M):-N>1,A is N-1,tn1(A,X),M is X+6.tn2(1,4).tn2(N,M):-N>1,A is N-1,tn2(A,X),tn1(A,Y), M is X+Y.tn3(1,1).tn3(N,M):-N>1,A is N-1,tn3(A,X),tn2(A,Y), M is X+Y.sm(1,1).sm(N,M):-N>1,A is N-1, sm(A,X),tn3(N,Y), M is X+Y.%8,9,11,14,18sum(1,8).sum(N,M):-N>1,A is N-1,P is N*(N-1),sum(A,X), M is P/2+8+X.%2,12,5,10,8,8,11,6tn0(1,2).tn0(2,12).tn0(N,M):-(0 is M mod 2, A is N-2,tn(A,B),M is B-2);(A is N-2, tn0(A,B),M is B+3).sico(N,M):-tn0(N,A),B is N-1,sico(B,C), M is A+C.%7,14,16,32,34,68,70tnp(1,7).tnp(N,M):-A is N-1,(0 is N mod 2),tnp(A,B),M is B*2;(tnp(A,B),M is B+2).oc(N,M):-tnp(N,A),B is N-1,oc(B,C),M is A+C.%1,2,9,64,625sp(0,0).sp(X,Y):- N is X-1, sp(N,M),Y is N*N+M.